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 2.2 active fib1 X Y fib1 Y add X Y proper fib1 X1 X2 proper X2 fib1 X1 mark X2 fib1 X1 X2 active fib1 X1 X2 active X1 fib1 mark X1 X2 fib1 X1 X2 proper fib1 X1 X2 proper X1 proper fib1 X1 X2 fib1 proper X1 proper X2 proper s X s proper X proper sel X1 X2 sel proper X1 proper X2 active fib N sel N fib1 s 0 s 0 proper sel X1 X2 proper X1 active sel X1 X2 active X1 active add s X Y s add X Y proper s X proper X top mark X top proper X active add X1 X2 add X1 active X2 active fib N s 0 fib1 ok X1 ok X2 fib1 X1 X2 s mark X s X active fib1 X1 X2 fib1 X1 active X2 active cons X1 X2 cons active X1 X2 active sel X1 X2 sel X1 active X2 active sel X1 X2 sel active X1 X2 proper cons X1 X2 cons proper X1 proper X2 active add X1 X2 active X1 fib ok X fib X active sel X1 X2 active X2 active fib X active X active fib N s 0 active fib1 X1 X2 active X2 active add s X Y add X Y active fib X fib active X fib mark X fib X proper sel X1 X2 proper X2 proper cons X1 X2 proper X1 proper add X1 X2 proper X1 top mark X proper X cons mark X1 X2 cons X1 X2 active cons X1 X2 active X1 top ok X active X add ok X1 ok X2 add X1 X2 sel mark X1 X2 sel X1 X2 proper fib X proper X active add X1 X2 add active X1 X2 active fib1 X1 X2 fib1 active X1 X2 proper fib X fib proper X active add X1 X2 active X2 active s X s active X top ok X top active X proper add X1 X2 add proper X1 proper X2 sel X1 mark X2 sel X1 X2 proper cons X1 X2 proper X2 sel ok X1 ok X2 sel X1 X2 proper add X1 X2 proper X2 add mark X1 X2 add X1 X2 active fib1 X Y add X Y active fib1 X Y cons X fib1 Y add X Y active fib N fib1 s 0 s 0 active sel s N cons X XS sel N XS add X1 mark X2 add X1 X2 s ok X s X cons ok X1 ok X2 cons X1 X2 active s X active X true top ok X top active X top mark X top proper X true cons 2 2 top 1 1 proper 1 1 ok 1 1 active 1 1 active 1 1 s 1 4 1 top 1 0 fib1 2 0 fib1 2 3 2 1 fib 1 5 1 0 0 5 sel 2 0 sel 2 3 1 2 s 1 0 mark 1 1 1 proper 1 0 cons 2 2 1 add 2 0 1 2 add 2 5 1 2 fib 1 0 s 1 1 0 top 1 1 fib1 2 1 1 0 fib1 2 1 36413 2 36413 0 fib 1 1 43294 0 0 1 sel 2 2 1 sel 2 1 2 6879 s 1 1 mark 1 1 0 proper 1 1 cons 2 1 36413 2 0 0 add 2 1 1 2 1 0 add 2 1 0 2 0 0 fib 1 1 top ok X top active X sel X1 mark X2 mark sel X1 X2 active add s X Y mark s add X Y active add X1 X2 add X1 active X2 active sel X1 X2 sel active X1 X2 active fib N mark sel N fib1 s 0 s 0 active add 0 X mark X fib mark X mark fib X s mark X mark s X cons ok X1 ok X2 ok cons X1 X2 proper sel X1 X2 sel proper X1 proper X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 proper fib1 X1 X2 fib1 proper X1 proper X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 proper s X s proper X active sel 0 cons X XS mark X sel ok X1 ok X2 ok sel X1 X2 active fib1 X1 X2 fib1 active X1 X2 active fib X fib active X fib1 X1 mark X2 mark fib1 X1 X2 proper fib X fib proper X proper cons X1 X2 cons proper X1 proper X2 active add X1 X2 add active X1 X2 proper add X1 X2 add proper X1 proper X2 active s X s active X add mark X1 X2 mark add X1 X2 add X1 mark X2 mark add X1 X2 active fib1 X1 X2 fib1 X1 active X2 active sel X1 X2 sel X1 active X2 active cons X1 X2 cons active X1 X2 active sel s N cons X XS mark sel N XS add ok X1 ok X2 ok add X1 X2 s ok X ok s X proper 0 ok 0 active fib1 X Y mark cons X fib1 Y add X Y top ok X top active X true cons 2 0 s 1 1 0 top 1 0 top 1 1 0 fib1 2 0 fib1 2 1 0 proper 1 3 fib 1 1 0 ok 1 1 2 0 0 1 sel 2 0 sel 2 1 0 s 1 0 mark 1 0 proper 1 0 active 1 1 1 cons 2 1 0 active 1 0 add 2 0 add 2 2 0 fib 1 0 sel X1 mark X2 mark sel X1 X2 active add s X Y mark s add X Y active add X1 X2 add X1 active X2 active sel X1 X2 sel active X1 X2 active fib N mark sel N fib1 s 0 s 0 active add 0 X mark X fib mark X mark fib X s mark X mark s X cons ok X1 ok X2 ok cons X1 X2 proper sel X1 X2 sel proper X1 proper X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 proper fib1 X1 X2 fib1 proper X1 proper X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 proper s X s proper X active sel 0 cons X XS mark X sel ok X1 ok X2 ok sel X1 X2 active fib1 X1 X2 fib1 active X1 X2 active fib X fib active X fib1 X1 mark X2 mark fib1 X1 X2 proper fib X fib proper X proper cons X1 X2 cons proper X1 proper X2 active add X1 X2 add active X1 X2 proper add X1 X2 add proper X1 proper X2 active s X s active X add mark X1 X2 mark add X1 X2 add X1 mark X2 mark add X1 X2 active fib1 X1 X2 fib1 X1 active X2 active sel X1 X2 sel X1 active X2 active cons X1 X2 cons active X1 X2 active sel s N cons X XS mark sel N XS add ok X1 ok X2 ok add X1 X2 s ok X ok s X proper 0 ok 0 active fib1 X Y mark cons X fib1 Y add X Y top ok X active X false top mark X proper X false active s X active X active fib1 X1 X2 active X2 active fib X active X active sel X1 X2 active X2 active add X1 X2 active X1 active add X1 X2 active X2 active sel X1 X2 active X1 active cons X1 X2 active X1 active fib1 X1 X2 active X1 true cons 2 0 s 1 1 11575 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 1 0 fib 1 1 1 ok 1 621 0 0 4447 sel 2 0 sel 2 1 2 1 s 1 0 mark 1 1 0 proper 1 0 active 1 32044 cons 2 1 2 32042 active 1 1 0 add 2 0 add 2 1 2 1 fib 1 0 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X s mark X mark s X cons ok X1 ok X2 ok cons X1 X2 proper sel X1 X2 sel proper X1 proper X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 proper fib1 X1 X2 fib1 proper X1 proper X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 proper s X s proper X sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper fib X fib proper X proper cons X1 X2 cons proper X1 proper X2 proper add X1 X2 add proper X1 proper X2 add mark X1 X2 mark add X1 X2 add X1 mark X2 mark add X1 X2 add ok X1 ok X2 ok add X1 X2 s ok X ok s X proper 0 ok 0 active fib1 X Y cons X fib1 Y add X Y false active fib1 X Y add X Y false active sel s N cons X XS sel N XS false active cons X1 X2 cons active X1 X2 false active sel X1 X2 sel X1 active X2 false active fib1 X1 X2 fib1 X1 active X2 false active s X s active X false active add X1 X2 add active X1 X2 false active fib X fib active X false active fib1 X1 X2 fib1 active X1 X2 false active fib N sel N fib1 s 0 s 0 false active fib N fib1 s 0 s 0 false active fib N s 0 false active fib N s 0 false active sel X1 X2 sel active X1 X2 false active add X1 X2 add X1 active X2 false active add s X Y s add X Y false active add s X Y add X Y false active fib1 X Y fib1 Y add X Y false proper cons X1 X2 proper X1 proper sel X1 X2 proper X2 proper add X1 X2 proper X2 proper cons X1 X2 proper X2 proper s X proper X proper sel X1 X2 proper X1 proper fib X proper X proper fib1 X1 X2 proper X1 proper fib1 X1 X2 proper X2 proper add X1 X2 proper X1 true cons 2 0 s 1 1 1 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 1 0 fib 1 1 12831 ok 1 1 0 0 1 sel 2 0 sel 2 1 2 3 s 1 0 mark 1 1 0 proper 1 1 0 active 1 3 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 2 1 fib 1 0 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X s mark X mark s X cons ok X1 ok X2 ok cons X1 X2 proper sel X1 X2 sel proper X1 proper X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 proper fib1 X1 X2 fib1 proper X1 proper X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 proper s X s proper X sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper fib X fib proper X proper cons X1 X2 cons proper X1 proper X2 proper add X1 X2 add proper X1 proper X2 add mark X1 X2 mark add X1 X2 add X1 mark X2 mark add X1 X2 add ok X1 ok X2 ok add X1 X2 s ok X ok s X proper 0 ok 0 proper add X1 X2 add proper X1 proper X2 false add X1 mark X2 add X1 X2 add mark X1 X2 add X1 X2 add ok X1 ok X2 add X1 X2 true cons 2 0 s 1 1 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 2 fib 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 1 s 1 0 mark 1 1 1 proper 1 0 active 1 3 cons 2 1 2 1 active 1 0 add 2 2 0 add 2 1 0 fib 1 0 add mark X1 X2 add X1 X2 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 add mark X1 X2 add X1 X2 true cons 2 0 s 1 1 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 2 fib 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 36457 s 1 0 mark 1 1 1 proper 1 0 active 1 36459 cons 2 1 2 36457 active 1 0 add 2 1 0 add 2 1 0 fib 1 0 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 proper cons X1 X2 cons proper X1 proper X2 false cons ok X1 ok X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 2 0 s 1 33309 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 42356 fib 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 1 s 1 0 mark 1 1 1 proper 1 0 active 1 36459 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 fib 1 0 cons mark X1 X2 cons X1 X2 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 42356 fib 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 2 s 1 0 mark 1 1 1 proper 1 0 active 1 3 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 fib 1 0 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 proper fib X fib proper X false fib mark X fib X fib ok X fib X true cons 2 0 s 1 1 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 2 fib 1 1 3020 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 2 s 1 0 mark 1 1 1 proper 1 0 active 1 3 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 fib 1 1 0 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 proper s X s proper X false s ok X s X s mark X s X true cons 2 0 s 1 1 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 2 fib 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 1 s 1 1 0 mark 1 1 1 proper 1 0 active 1 3 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 fib 1 0 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 proper fib1 X1 X2 fib1 proper X1 proper X2 false fib1 ok X1 ok X2 fib1 X1 X2 fib1 mark X1 X2 fib1 X1 X2 fib1 X1 mark X2 fib1 X1 X2 true cons 2 0 s 1 1 top 1 0 top 1 0 fib1 2 2 0 fib1 2 1 2 1 proper 1 2 fib 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 1 s 1 0 mark 1 1 1 proper 1 0 active 1 3 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 fib 1 0 fib1 mark X1 X2 fib1 X1 X2 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 fib1 mark X1 X2 fib1 X1 X2 true cons 2 0 s 1 1 top 1 0 top 1 0 fib1 2 1 0 fib1 2 1 2 1 proper 1 2 fib 1 1 1 ok 1 1 1 0 0 1 sel 2 0 sel 2 1 2 2 s 1 0 mark 1 1 1 proper 1 0 active 1 3 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 fib 1 0 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 proper sel X1 X2 sel proper X1 proper X2 false sel ok X1 ok X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 1 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 34409 proper 1 2 fib 1 1 19098 ok 1 1 1 0 0 1 sel 2 1 0 sel 2 1 2 85326 s 1 0 mark 1 1 1 proper 1 0 active 1 85327 cons 2 1 2 50917 active 1 0 add 2 0 add 2 1 0 fib 1 0 sel X1 mark X2 sel X1 X2 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 sel X1 mark X2 sel X1 X2 true cons 2 0 s 1 1 top 1 0 top 1 0 fib1 2 0 fib1 2 1 2 1 proper 1 2 fib 1 1 1 ok 1 1 1 0 0 1 sel 2 2 0 sel 2 1 2 24055 s 1 0 mark 1 1 20948 proper 1 0 active 1 45003 cons 2 1 2 1 active 1 0 add 2 0 add 2 1 0 fib 1 0 sel X1 mark X2 mark sel X1 X2 fib mark X mark fib X cons ok X1 ok X2 ok cons X1 X2 fib1 mark X1 X2 mark fib1 X1 X2 fib ok X ok fib X sel mark X1 X2 mark sel X1 X2 fib1 ok X1 ok X2 ok fib1 X1 X2 cons mark X1 X2 mark cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 fib1 X1 mark X2 mark fib1 X1 X2 proper 0 ok 0 NaTT certifiable-1.6