app
app
add
0
y
y
app
app
add
app
s
x
y
app
s
app
app
add
x
y
app
app
mult
0
y
0
app
app
mult
app
s
x
y
app
app
add
app
app
mult
x
y
y
app
app
app
rec
f
x
0
x
app
app
app
rec
f
x
app
s
y
app
app
f
app
s
y
app
app
app
rec
f
x
y
fact
app
app
rec
mult
app
s
0
2.2
app
app
add
app
s
x
y
app
app
add
x
y
app
app
app
rec
f
x
app
s
y
app
app
app
rec
f
x
y
app
app
mult
app
s
x
y
app
mult
x
fact
app
s
0
app
app
mult
app
s
x
y
app
add
app
app
mult
x
y
app
app
mult
app
s
x
y
app
app
mult
x
y
fact
app
app
rec
mult
app
s
0
app
app
mult
app
s
x
y
app
app
add
app
app
mult
x
y
y
app
app
app
rec
f
x
app
s
y
app
f
app
s
y
app
app
add
app
s
x
y
app
add
x
app
app
add
app
s
x
y
app
s
app
app
add
x
y
fact
app
rec
mult
app
app
app
rec
f
x
app
s
y
app
app
f
app
s
y
app
app
app
rec
f
x
y
true
fact
app
rec
mult
false
fact
app
s
0
false
app
app
app
rec
f
x
app
s
y
app
app
f
app
s
y
app
app
app
rec
f
x
y
app
app
app
rec
f
x
app
s
y
app
app
app
rec
f
x
y
app
app
app
rec
f
x
app
s
y
app
f
app
s
y
true
Failed!
NaTT
certifiable-1.6