times
x
plus
y
1
plus
times
x
plus
y
times
1
0
x
times
x
1
x
plus
x
0
x
times
x
0
0
2.2
times
x
plus
y
1
times
x
plus
y
times
1
0
times
x
plus
y
1
plus
y
times
1
0
times
x
plus
y
1
plus
times
x
plus
y
times
1
0
x
times
x
plus
y
1
times
1
0
true
times
x
plus
y
1
times
x
plus
y
times
1
0
true
1
0
3
plus
2
0
1
2
times
2
0
2
0
0
0
times
2
2
2
plus
2
1
2
1
1
0
8367
plus
2
1
1
2
1
0
times
2
2
0
0
0
0
times
2
1
2
0
plus
2
1
0
2
8366
0
times
x
0
0
times
x
plus
y
1
plus
times
x
plus
y
times
1
0
x
plus
x
0
x
times
x
1
x
times
x
plus
y
1
plus
times
x
plus
y
times
1
0
x
false
times
x
plus
y
1
plus
y
times
1
0
false
times
x
plus
y
1
times
1
0
false
NaTT
certifiable-1.6