plus
0
y
y
plus
s
x
y
s
plus
x
y
lt
0
s
y
true
lt
x
0
false
lt
s
x
s
y
lt
x
y
fib
x
fibiter
x
0
0
s
0
fibiter
b
c
x
y
if
lt
c
b
b
c
x
y
if
false
b
c
x
y
x
if
true
b
c
x
y
fibiter
b
s
c
y
plus
x
y
2.2
fib
x
fibiter
x
0
0
s
0
fibiter
b
c
x
y
lt
c
b
lt
s
x
s
y
lt
x
y
fibiter
b
c
x
y
if
lt
c
b
b
c
x
y
if
true
b
c
x
y
fibiter
b
s
c
y
plus
x
y
plus
s
x
y
plus
x
y
if
true
b
c
x
y
plus
x
y
true
fib
x
fibiter
x
0
0
s
0
false
if
true
b
c
x
y
fibiter
b
s
c
y
plus
x
y
fibiter
b
c
x
y
if
lt
c
b
b
c
x
y
true
Failed!
NaTT
certifiable-1.6