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