half
0
0
half
s
0
0
half
s
s
x
s
half
x
s
log
0
s
0
log
s
x
s
log
half
s
x
2.2
log
s
x
log
half
s
x
s
log
0
s
0
half
s
s
x
half
x
log
s
x
half
s
x
log
s
x
s
log
half
s
x
half
s
s
x
s
half
x
true
log
s
x
log
half
s
x
true
s
1
1
log
1
0
1
half
1
0
half
1
0
log
1
0
0
0
0
s
1
0
s
1
1
8366
log
1
1
1
half
1
1
half
1
1
0
log
1
1
0
0
1
s
1
1
s
log
0
s
0
half
0
0
half
s
s
x
s
half
x
half
s
0
0
log
s
x
s
log
half
s
x
false
log
s
x
half
s
x
false
half
s
s
x
half
x
true
s
1
1
1
log
1
0
half
1
1
0
half
1
11293
log
1
1
0
0
0
1
s
1
0
half
0
0
half
s
0
0
half
s
s
x
s
half
x
false
s
log
0
s
0
false
NaTT
certifiable-1.6