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