fibs_2#1
zipwith_l
plus
tail_l
x3
ConsL
S
0
zipwith_l#3
fibs
fibs_2
zipwith_l
plus
tail_l
cond_take_l_n_xs
ConsL
x16
x18
0
Nil
cond_take_l_n_xs
ConsL
x7
fibs_2
x4
x8
x12
S
x16
Cons
x7
cond_take_l_n_xs
fibs_2#1
x4
x8
x12
bot[0]
x16
cond_take_l_n_xs
ConsL
x7
zipwith_l_f_xs_ys
x4
x8
x12
S
x16
Cons
x7
cond_take_l_n_xs
zipwith_l_f_xs_ys#1
x4
x8
x12
bot[0]
x16
plus#2
0
x12
x12
plus#2
S
x4
x2
S
plus#2
x4
x2
cond_zipwith_l_f_xs_ys_1
ConsL
x4
x3
x2
x1
ConsL
plus#2
x2
x4
zipwith_l#3
x1
x3
cond_zipwith_l_f_xs_ys
ConsL
x5
x4
zipwith_l_f_xs_ys
x1
x2
x3
cond_zipwith_l_f_xs_ys_1
zipwith_l_f_xs_ys#1
x1
x2
x3
bot[6]
x5
x4
cond_zipwith_l_f_xs_ys
ConsL
x5
x4
fibs_2
x1
x2
x3
cond_zipwith_l_f_xs_ys_1
fibs_2#1
x1
x2
x3
bot[6]
x5
x4
zipwith_l_f_xs_ys#1
plus
fibs
x5
x3
cond_zipwith_l_f_xs_ys
ConsL
0
fibs_2
zipwith_l
plus
tail_l
x5
zipwith_l_f_xs_ys#1
plus
fibs_2
x3
x4
x5
x2
x1
cond_zipwith_l_f_xs_ys
fibs_2#1
x3
x4
x5
bot[7]
x2
zipwith_l_f_xs_ys#1
plus
zipwith_l_f_xs_ys
x3
x4
x5
x2
x1
cond_zipwith_l_f_xs_ys
zipwith_l_f_xs_ys#1
x3
x4
x5
bot[7]
x2
zipwith_l#3
x8
x4
zipwith_l_f_xs_ys
plus
x8
x4
main
x12
cond_take_l_n_xs
ConsL
0
fibs_2
zipwith_l
plus
tail_l
x12
fibs_2#1
4
zipwith_l
0
plus
0
tail_l
0
ConsL
2
S
1
0
0
zipwith_l#3
2
fibs
0
fibs_2
3
cond_take_l_n_xs
2
Nil
0
Cons
2
bot[0]
0
zipwith_l_f_xs_ys
3
zipwith_l_f_xs_ys#1
4
plus#2
2
cond_zipwith_l_f_xs_ys_1
3
cond_zipwith_l_f_xs_ys
2
bot[6]
0
bot[7]
0
main
1
INNERMOST
hoca/fib_llist.trs