h
x
c
y
z
h
c
s
y
x
z
h
c
s
x
c
s
0
y
z
h
y
c
s
0
c
x
z
2.2
h
x
c
y
z
h
c
s
y
x
z
h
c
s
x
c
s
0
y
z
h
y
c
s
0
c
x
z
true
h
c
s
x
c
s
0
y
z
h
y
c
s
0
c
x
z
h
x
c
y
z
h
c
s
y
x
z
true
2
1
h
2
0
0
s
1
0
1
1
0
1
32002
51021
c
2
1
2
83746
32724
0
0
32006
1
h
2
0
0
1
0
1
1
0
0
0
2
0
0
NaTT
certifiable-1.6