half
0
0
half
s
0
0
half
s
s
x
s
half
x
lastbit
0
0
lastbit
s
0
s
0
lastbit
s
s
x
lastbit
x
conv
0
cons
nil
0
conv
s
x
cons
conv
half
s
x
lastbit
s
x
2.2
half
s
s
x
half
x
conv
s
x
lastbit
s
x
conv
s
x
conv
half
s
x
lastbit
s
s
x
lastbit
x
conv
s
x
half
s
x
true
conv
s
x
conv
half
s
x
true
conv
1
0
s
1
0
1
conv
1
0
1
half
1
0
lastbit
1
0
half
1
0
lastbit
1
0
0
0
0
nil
0
0
cons
2
0
1
2
conv
1
1
s
1
1
21239
conv
1
1
1
half
1
1
lastbit
1
1
half
1
1
0
lastbit
1
1
0
0
1
nil
0
0
cons
2
1
2
1
half
0
0
half
s
s
x
s
half
x
half
s
0
0
conv
s
x
half
s
x
false
conv
s
x
lastbit
s
x
false
lastbit
s
s
x
lastbit
x
true
conv
1
0
s
1
1
1
conv
1
0
half
1
0
lastbit
1
1
0
half
1
11293
lastbit
1
0
0
0
11294
nil
0
0
cons
2
0
half
s
s
x
half
x
true
conv
1
0
s
1
1
1
conv
1
0
half
1
1
0
lastbit
1
0
half
1
20163
lastbit
1
0
0
0
20164
nil
0
0
cons
2
0
NaTT
certifiable-1.6