even
0
true
even
s
0
false
even
s
s
x
even
x
half
0
0
half
s
s
x
s
half
x
plus
0
y
y
plus
s
x
y
s
plus
x
y
times
0
y
0
times
s
x
y
if_times
even
s
x
s
x
y
if_times
true
s
x
y
plus
times
half
s
x
y
times
half
s
x
y
if_times
false
s
x
y
plus
y
times
x
y
2.2
times
s
x
y
even
s
x
if_times
true
s
x
y
plus
times
half
s
x
y
times
half
s
x
y
if_times
true
s
x
y
times
half
s
x
y
half
s
s
x
half
x
even
s
s
x
even
x
if_times
true
s
x
y
times
half
s
x
y
if_times
true
s
x
y
half
s
x
plus
s
x
y
plus
x
y
if_times
false
s
x
y
plus
y
times
x
y
times
s
x
y
if_times
even
s
x
s
x
y
if_times
true
s
x
y
half
s
x
if_times
false
s
x
y
times
x
y
true
if_times
false
s
x
y
times
x
y
times
s
x
y
if_times
even
s
x
s
x
y
if_times
true
s
x
y
times
half
s
x
y
if_times
true
s
x
y
times
half
s
x
y
true
s
1
1
8946
if_times
3
2
0
even
1
1
plus
2
0
false
0
2
half
1
0
true
0
2
half
1
1
0
even
1
0
times
2
1
0
0
0
36459
times
2
0
if_times
3
0
plus
2
0
if_times
true
s
x
y
times
half
s
x
y
if_times
true
s
x
y
times
half
s
x
y
times
s
x
y
if_times
even
s
x
s
x
y
half
0
0
half
s
s
x
s
half
x
if_times
true
s
x
y
times
half
s
x
y
if_times
true
s
x
y
times
half
s
x
y
times
s
x
y
if_times
even
s
x
s
x
y
true
if_times
3
2
s
1
1
1
even
1
2
plus
2
0
1
2
false
0
0
half
1
0
true
0
2
half
1
1
even
1
0
times
2
0
1
0
0
1
times
2
0
1
2
if_times
3
0
3
2
1
plus
2
0
2
1
s
1
1
1
even
1
3
plus
2
1
1
2
1
0
false
0
0
half
1
1
true
0
2
half
1
1
0
even
1
1
times
2
1
0
0
0
0
1
times
2
1
1
2
1
0
if_times
3
1
2
3
1
plus
2
1
2
1
half
0
0
half
s
s
x
s
half
x
if_times
false
s
x
y
plus
y
times
x
y
false
if_times
true
s
x
y
plus
times
half
s
x
y
times
half
s
x
y
false
plus
s
x
y
plus
x
y
true
s
1
1
1
if_times
3
0
even
1
1
plus
2
1
0
false
0
2
half
1
0
true
0
2
half
1
1
61160
even
1
0
times
2
1
0
0
11966
times
2
0
if_times
3
0
plus
2
0
if_times
true
s
x
y
half
s
x
false
if_times
true
s
x
y
half
s
x
false
half
s
s
x
half
x
true
s
1
1
1
if_times
3
0
even
1
1
plus
2
0
false
0
2
half
1
1
0
true
0
2
half
1
1
61160
even
1
0
times
2
1
0
0
3037
times
2
0
if_times
3
0
plus
2
0
times
s
x
y
even
s
x
false
even
s
s
x
even
x
true
s
1
1
1
if_times
3
0
even
1
1
plus
2
0
false
0
2
half
1
0
true
0
2
half
1
1
19428
even
1
1
0
times
2
1
0
0
1
times
2
0
if_times
3
0
plus
2
0
NaTT
certifiable-1.6