times
x
0
0
times
x
s
y
plus
times
x
y
x
plus
s
x
s
y
s
s
plus
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
plus
s
x
x
plus
if
gt
x
x
id
x
id
x
s
x
plus
zero
y
y
plus
id
x
s
y
s
plus
x
if
gt
s
y
y
y
s
y
id
x
x
if
true
x
y
x
if
false
x
y
y
not
x
if
x
false
true
gt
s
x
zero
true
gt
zero
y
false
gt
s
x
s
y
gt
x
y
2.2
times
x
s
y
times
x
y
gt
s
x
s
y
gt
x
y
plus
s
x
s
y
gt
x
y
plus
s
x
s
y
if
gt
x
y
x
y
plus
s
x
s
y
if
not
gt
x
y
id
x
id
y
plus
s
x
s
y
not
gt
x
y
plus
s
x
s
y
id
x
plus
s
x
x
id
x
not
x
if
x
false
true
plus
s
x
s
y
gt
x
y
plus
id
x
s
y
gt
s
y
y
plus
s
x
x
if
gt
x
x
id
x
id
x
plus
s
x
x
id
x
plus
s
x
x
plus
if
gt
x
x
id
x
id
x
s
x
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
times
x
s
y
plus
times
x
y
x
plus
s
x
s
y
plus
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
plus
s
x
s
y
id
y
plus
id
x
s
y
if
gt
s
y
y
y
s
y
plus
s
x
x
gt
x
x
true
times
x
s
y
times
x
y
true
zero
0
0
s
1
1
1
gt
2
0
plus
2
0
false
0
0
id
1
0
true
0
0
not
1
0
times
2
2
0
0
0
0
if
3
0
times
2
0
gt
2
0
plus
2
0
if
3
0
id
1
0
not
1
0
times
x
s
y
plus
times
x
y
x
false
plus
s
x
s
y
plus
if
gt
x
y
x
y
if
not
gt
x
y
id
x
id
y
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
plus
s
x
x
plus
if
gt
x
x
id
x
id
x
s
x
true
zero
0
0
s
1
1
85474
gt
2
2
1
0
plus
2
1
81715
2
38978
0
false
0
2
id
1
0
true
0
2
not
1
0
times
2
0
0
0
0
if
3
2
42736
3
0
0
times
2
0
gt
2
0
plus
2
0
if
3
0
id
1
1
0
not
1
1
0
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
if
true
x
y
x
id
x
x
if
false
x
y
y
plus
id
x
s
y
plus
x
if
gt
s
y
y
y
s
y
true
zero
0
1
s
1
1
gt
2
1
plus
2
1
0
false
0
1
id
1
0
true
0
1
not
1
0
times
2
0
0
0
0
if
3
1
2
3
0
times
2
0
gt
2
0
plus
2
0
if
3
0
id
1
1
1
not
1
1
if
true
x
y
x
id
x
x
gt
zero
y
false
gt
s
x
zero
true
if
false
x
y
y
gt
s
x
s
y
gt
x
y
plus
id
x
s
y
if
gt
s
y
y
y
s
y
false
plus
id
x
s
y
gt
s
y
y
false
plus
s
x
s
y
if
gt
x
y
x
y
false
plus
s
x
s
y
gt
x
y
false
plus
s
x
s
y
if
not
gt
x
y
id
x
id
y
false
plus
s
x
s
y
not
gt
x
y
false
not
x
if
x
false
true
false
plus
s
x
s
y
gt
x
y
false
plus
s
x
s
y
id
x
false
plus
s
x
s
y
id
y
false
plus
s
x
x
if
gt
x
x
id
x
id
x
false
plus
s
x
x
gt
x
x
false
gt
s
x
s
y
gt
x
y
true
zero
0
1
s
1
1
1
gt
2
1
plus
2
1
0
false
0
1
id
1
0
true
0
1
not
1
0
times
2
0
0
0
0
if
3
1
2
3
0
times
2
0
gt
2
2
0
plus
2
0
if
3
0
id
1
1
1
not
1
1
if
true
x
y
x
id
x
x
gt
zero
y
false
gt
s
x
zero
true
if
false
x
y
y
gt
s
x
s
y
gt
x
y
plus
s
x
x
id
x
false
plus
s
x
x
id
x
false
NaTT
certifiable-1.6