plus
0
x
x
plus
s
x
y
s
plus
p
s
x
y
times
0
y
0
times
s
x
y
plus
y
times
p
s
x
y
p
s
0
0
p
s
s
x
s
p
s
x
fac
0
x
x
fac
s
x
y
fac
p
s
x
times
s
x
y
factorial
x
fac
x
s
0
2.2
plus
s
x
y
p
s
x
fac
s
x
y
p
s
x
times
s
x
y
times
p
s
x
y
fac
s
x
y
times
s
x
y
times
s
x
y
p
s
x
fac
s
x
y
fac
p
s
x
times
s
x
y
p
s
s
x
p
s
x
plus
s
x
y
plus
p
s
x
y
times
s
x
y
plus
y
times
p
s
x
y
factorial
x
fac
x
s
0
true
factorial
x
fac
x
s
0
false
fac
s
x
y
fac
p
s
x
times
s
x
y
true
2
1
s
1
1
1
0
0
1
75882
13477
fac
2
1
0
1
0
1
0
0
plus
2
0
0
p
1
0
0
p
1
0
0
1
1
1
32156
30248
times
2
0
0
0
0
1
1
times
2
0
0
1
0
1
0
0
0
1
2
0
1
fac
2
0
0
plus
2
1
0
1
0
2
6437
19913
factorial
1
0
0
factorial
1
0
0
times
0
y
0
p
s
0
0
p
s
s
x
s
p
s
x
fac
s
x
y
p
s
x
false
fac
s
x
y
times
s
x
y
false
times
s
x
y
times
p
s
x
y
true
2
1
s
1
1
1
0
0
1
2
1
fac
2
1
0
1
0
1
0
0
plus
2
0
0
p
1
0
0
p
1
0
0
1
1
1
0
0
times
2
1
0
1
1
1
0
0
0
0
1
1
times
2
0
0
1
0
1
0
0
0
1
2
15875
1
fac
2
0
0
plus
2
1
0
0
0
1
1
0
1
0
2
20361
20362
factorial
1
0
0
factorial
1
0
0
times
0
y
0
p
s
0
0
p
s
s
x
s
p
s
x
times
s
x
y
plus
y
times
p
s
x
y
false
plus
s
x
y
plus
p
s
x
y
true
2
1
s
1
1
1
1
1
1
1
2
fac
2
0
0
plus
2
0
1
1
1
1
0
0
p
1
0
0
p
1
1
1
0
0
1
0
0
times
2
0
0
0
0
1
1
times
2
1
0
1
0
1
2
0
1
fac
2
0
0
plus
2
1
1
0
0
1
1
1
1
0
2
20361
17617
factorial
1
0
0
factorial
1
0
0
times
0
y
0
p
s
0
0
p
s
s
x
s
p
s
x
times
s
x
y
p
s
x
false
plus
s
x
y
p
s
x
false
p
s
s
x
p
s
x
true
s
1
1
1
fac
2
0
plus
2
0
p
1
1
0
p
1
1
times
2
0
0
0
2
times
2
2
1
fac
2
0
plus
2
1
2
1
factorial
1
0
factorial
1
0
NaTT
certifiable-1.6