active fib N mark sel N fib1 s 0 s 0 active fib1 X Y mark cons X fib1 Y add X Y active add 0 X mark X active add s X Y mark s add X Y active sel 0 cons X XS mark X active sel s N cons X XS mark sel N XS active fib X fib active X active sel X1 X2 sel active X1 X2 active sel X1 X2 sel X1 active X2 active fib1 X1 X2 fib1 active X1 X2 active fib1 X1 X2 fib1 X1 active X2 active s X s active X active cons X1 X2 cons active X1 X2 active add X1 X2 add active X1 X2 active add X1 X2 add X1 active X2 fib mark X mark fib X sel mark X1 X2 mark sel X1 X2 sel X1 mark X2 mark sel X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 s mark X mark s X cons mark X1 X2 mark cons X1 X2 add mark X1 X2 mark add X1 X2 add X1 mark X2 mark add X1 X2 proper fib X fib proper X proper sel X1 X2 sel proper X1 proper X2 proper fib1 X1 X2 fib1 proper X1 proper X2 proper s X s proper X proper 0 ok 0 proper cons X1 X2 cons proper X1 proper X2 proper add X1 X2 add proper X1 proper X2 fib ok X ok fib X sel ok X1 ok X2 ok sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 s ok X ok s X cons ok X1 ok X2 ok cons X1 X2 add ok X1 ok X2 ok add X1 X2 top mark X top proper X top ok X top active X active 1 fib 1 mark 1 sel 2 fib1 2 s 1 0 0 cons 2 add 2 proper 1 ok 1 top 1 INNERMOST ./TRS/TRCSR/inn/Ex8_BLR02_C.trs