le
0
y
true
le
s
x
0
false
le
s
x
s
y
le
x
y
quot
x
0
quotZeroErro
quot
x
s
y
quotIter
x
s
y
0
0
0
quotIter
x
s
y
z
u
v
if
le
x
z
x
s
y
z
u
v
if
true
x
y
z
u
v
v
if
false
x
y
z
u
v
if2
le
y
s
u
x
y
s
z
s
u
v
if2
false
x
y
z
u
v
quotIter
x
y
z
u
v
if2
true
x
y
z
u
v
quotIter
x
y
z
0
s
v
le
2
0
0
true
0
s
1
false
0
quot
2
quotZeroErro
0
quotIter
5
if
6
if2
6
INNERMOST
./TRS/SchneiderKamp/trs/thiemann36.trs