cond_scanr_f_z_xs_1
Cons
0
x11
0
Cons
0
Cons
0
x11
cond_scanr_f_z_xs_1
Cons
S
x2
x11
0
Cons
S
x2
Cons
S
x2
x11
cond_scanr_f_z_xs_1
Cons
0
x11
M
x2
Cons
0
Cons
0
x11
cond_scanr_f_z_xs_1
Cons
S
x40
x23
M
0
Cons
S
x40
Cons
S
x40
x23
cond_scanr_f_z_xs_1
Cons
S
x8
x23
M
S
x4
Cons
minus#2
x8
x4
Cons
S
x8
x23
cond_scanr_f_z_xs_1
Cons
0
x11
S
x2
Cons
S
x2
Cons
0
x11
cond_scanr_f_z_xs_1
Cons
S
x2
x11
S
x4
Cons
plus#2
S
x4
S
x2
Cons
S
x2
x11
scanr#3
Nil
Cons
0
Nil
scanr#3
Cons
x4
x2
cond_scanr_f_z_xs_1
scanr#3
x2
x4
foldl#3
x2
Nil
x2
foldl#3
x6
Cons
x4
x2
foldl#3
max#2
x6
x4
x2
minus#2
0
x16
0
minus#2
S
x20
0
S
x20
minus#2
S
x4
S
x2
minus#2
x4
x2
plus#2
0
S
x2
S
x2
plus#2
S
x4
S
x2
S
plus#2
x4
S
x2
max#2
0
x8
x8
max#2
S
x12
0
S
x12
max#2
S
x4
S
x2
S
max#2
x4
x2
main
x1
foldl#3
0
scanr#3
x1
cond_scanr_f_z_xs_1
2
Cons
2
0
0
S
1
M
1
minus#2
2
plus#2
2
scanr#3
1
Nil
0
foldl#3
2
max#2
2
main
1
INNERMOST
hoca/mss.trs