fac
0
1
fac
s
x
*
s
x
fac
x
floop
0
y
y
floop
s
x
y
floop
x
*
s
x
y
*
x
0
0
*
x
s
y
+
*
x
y
x
+
x
0
x
+
x
s
y
s
+
x
y
1
s
0
fac
0
s
0
2.2
fac
s
x
fac
x
+
x
s
y
+
x
y
floop
s
x
y
floop
x
*
s
x
y
fac
0
1
*
x
s
y
+
*
x
y
x
fac
s
x
*
s
x
fac
x
floop
s
x
y
*
s
x
y
*
x
s
y
*
x
y
true
floop
s
x
y
floop
x
*
s
x
y
true
1
0
0
s
1
1
1
fac
1
0
*
2
0
0
0
17221
fac
1
0
floop
2
1
0
floop
2
0
+
2
1
2
2
1
0
0
+
2
0
*
2
1
2
44083
floop
s
x
y
*
s
x
y
false
fac
s
x
fac
x
true
1
0
0
s
1
1
1
fac
1
1
0
*
2
0
0
0
33954
fac
1
0
floop
2
0
floop
2
0
+
2
1
2
2
1
0
0
+
2
0
*
2
1
2
44083
fac
s
x
*
s
x
fac
x
false
*
x
s
y
*
x
y
true
1
0
0
s
1
1
1
fac
1
0
*
2
2
0
0
0
33954
fac
1
0
floop
2
0
floop
2
0
+
2
1
2
2
1
0
0
+
2
0
*
2
1
2
44083
*
x
s
y
+
*
x
y
x
false
+
x
s
y
+
x
y
true
1
0
0
s
1
1
1
fac
1
0
*
2
0
0
0
33954
fac
1
0
floop
2
0
floop
2
0
+
2
1
2
2
1
0
0
+
2
2
0
*
2
1
2
44083
fac
0
1
false
NaTT
certifiable-1.6