times
x
0
0
times
x
s
y
plus
times
x
y
x
plus
x
0
x
plus
0
x
x
plus
x
s
y
s
plus
x
y
plus
s
x
y
s
plus
x
y
2.2
times
x
s
y
times
x
y
plus
s
x
y
plus
x
y
times
x
s
y
plus
times
x
y
x
plus
x
s
y
plus
x
y
true
times
x
s
y
times
x
y
true
s
1
1
1
plus
2
0
times
2
2
0
0
0
0
times
2
0
plus
2
0
times
x
s
y
plus
times
x
y
x
false
plus
x
s
y
plus
x
y
plus
s
x
y
plus
x
y
true
s
1
1
1
plus
2
1
0
times
2
0
0
0
0
times
2
0
plus
2
0
plus
x
s
y
plus
x
y
plus
x
s
y
plus
x
y
true
s
1
1
1
plus
2
2
0
times
2
0
0
0
0
times
2
0
plus
2
0
NaTT
certifiable-1.6