active dbl 0 mark 0 active dbl s X mark s s dbl X active dbls nil mark nil active dbls cons X Y mark cons dbl X dbls Y active sel 0 cons X Y mark X active sel s X cons Y Z mark sel X Z active indx nil X mark nil active indx cons X Y Z mark cons sel X Z indx Y Z active from X mark cons X from s X active dbl X dbl active X active dbls X dbls active X active sel X1 X2 sel active X1 X2 active sel X1 X2 sel X1 active X2 active indx X1 X2 indx active X1 X2 dbl mark X mark dbl X dbls mark X mark dbls X sel mark X1 X2 mark sel X1 X2 sel X1 mark X2 mark sel X1 X2 indx mark X1 X2 mark indx X1 X2 proper dbl X dbl proper X proper 0 ok 0 proper s X s proper X proper dbls X dbls proper X proper nil ok nil proper cons X1 X2 cons proper X1 proper X2 proper sel X1 X2 sel proper X1 proper X2 proper indx X1 X2 indx proper X1 proper X2 proper from X from proper X dbl ok X ok dbl X s ok X ok s X dbls ok X ok dbls X cons ok X1 ok X2 ok cons X1 X2 sel ok X1 ok X2 ok sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 from ok X ok from X top mark X top proper X top ok X top active X 2.2 active dbl s X s dbl X proper sel X1 X2 sel proper X1 proper X2 active dbl X dbl active X proper s X proper X top mark X top proper X indx mark X1 X2 indx X1 X2 cons ok X1 ok X2 cons X1 X2 proper indx X1 X2 indx proper X1 proper X2 top mark X proper X active dbls cons X Y cons dbl X dbls Y dbls mark X dbls X proper indx X1 X2 proper X1 top ok X top active X active dbls cons X Y dbls Y sel mark X1 X2 sel X1 X2 active indx cons X Y Z indx Y Z active from X s X active sel X1 X2 sel X1 active X2 active from X cons X from s X proper cons X1 X2 cons proper X1 proper X2 s ok X s X proper sel X1 X2 proper X2 active from X from s X sel ok X1 ok X2 sel X1 X2 sel X1 mark X2 sel X1 X2 active dbls X dbls active X active dbl X active X dbl mark X dbl X active indx cons X Y Z cons sel X Z indx Y Z proper cons X1 X2 proper X1 dbls ok X dbls X top ok X active X proper indx X1 X2 proper X2 active sel X1 X2 active X2 proper from X proper X from ok X from X proper sel X1 X2 proper X1 proper dbl X proper X active indx X1 X2 active X1 proper s X s proper X proper dbl X dbl proper X proper dbls X proper X proper from X from proper X active sel X1 X2 active X1 proper cons X1 X2 proper X2 indx ok X1 ok X2 indx X1 X2 active indx X1 X2 indx active X1 X2 proper dbls X dbls proper X active dbl s X dbl X active dbl s X s s dbl X active dbls cons X Y dbl X active sel s X cons Y Z sel X Z active dbls X active X dbl ok X dbl X active indx cons X Y Z sel X Z active sel X1 X2 sel active X1 X2 true top ok X top active X top mark X top proper X true cons 2 1 proper 1 1 ok 1 1 sel 2 2 from 1 1 active 1 1 active 1 1 s 1 0 1 dbls 1 2 1 dbl 1 3 1 top 1 0 indx 2 6 1 dbl 1 0 dbls 1 0 top 1 0 1 0 0 6 indx 2 0 1 2 sel 2 3 1 2 from 1 4 1 s 1 0 nil 0 3 mark 1 1 1 proper 1 0 cons 2 0 s 1 1 0 dbls 1 1 31113 dbl 1 1 31112 top 1 1 indx 2 1 2 62230 dbl 1 1 dbls 1 1 top 1 1 1 0 0 1 indx 2 1 2 1 sel 2 1 2 31115 from 1 1 51699 s 1 1 nil 0 19791 mark 1 1 0 proper 1 1 cons 2 1 31114 2 0 0 top ok X top active X sel X1 mark X2 mark sel X1 X2 active dbls cons X Y mark cons dbl X dbls Y dbl mark X mark dbl X active indx cons X Y Z mark cons sel X Z indx Y Z active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 proper sel X1 X2 sel proper X1 proper X2 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 proper indx X1 X2 indx proper X1 proper X2 indx ok X1 ok X2 ok indx X1 X2 proper s X s proper X proper from X from proper X active sel 0 cons X Y mark X sel ok X1 ok X2 ok sel X1 X2 active dbl X dbl active X active indx nil X mark nil proper dbl X dbl proper X proper cons X1 X2 cons proper X1 proper X2 s ok X ok s X active indx X1 X2 indx active X1 X2 dbls ok X ok dbls X active sel X1 X2 sel active X1 X2 proper dbls X dbls proper X proper nil ok nil active dbls X dbls active X active from X mark cons X from s X active sel X1 X2 sel X1 active X2 active sel s X cons Y Z mark sel X Z from ok X ok from X dbl ok X ok dbl X active dbl s X mark s s dbl X top ok X top active X true cons 2 0 s 1 1 0 dbls 1 1 0 dbl 1 1 0 top 1 0 indx 2 1 0 dbl 1 0 dbls 1 0 top 1 1 0 proper 1 16337 ok 1 1 2 0 0 16335 sel 2 0 indx 2 0 sel 2 1 0 from 1 1 0 s 1 0 nil 0 5969 mark 1 0 proper 1 0 from 1 0 active 1 1 1 cons 2 2 0 active 1 0 sel X1 mark X2 mark sel X1 X2 active dbls cons X Y mark cons dbl X dbls Y dbl mark X mark dbl X active indx cons X Y Z mark cons sel X Z indx Y Z active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 proper sel X1 X2 sel proper X1 proper X2 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 proper indx X1 X2 indx proper X1 proper X2 indx ok X1 ok X2 ok indx X1 X2 proper s X s proper X proper from X from proper X active sel 0 cons X Y mark X sel ok X1 ok X2 ok sel X1 X2 active dbl X dbl active X active indx nil X mark nil proper dbl X dbl proper X proper cons X1 X2 cons proper X1 proper X2 s ok X ok s X active indx X1 X2 indx active X1 X2 dbls ok X ok dbls X active sel X1 X2 sel active X1 X2 proper dbls X dbls proper X proper nil ok nil active dbls X dbls active X active from X mark cons X from s X active sel X1 X2 sel X1 active X2 active sel s X cons Y Z mark sel X Z from ok X ok from X dbl ok X ok dbl X active dbl s X mark s s dbl X top mark X proper X false top ok X active X false active dbl X active X active dbls X active X active sel X1 X2 active X1 active indx X1 X2 active X1 active sel X1 X2 active X2 true cons 2 0 s 1 1 dbls 1 1 1 dbl 1 1 1 top 1 0 indx 2 1 1 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 1 from 1 1 22857 s 1 0 nil 0 425 mark 1 1 0 proper 1 0 from 1 0 active 1 16335 cons 2 1 1 active 1 1 0 sel X1 mark X2 mark sel X1 X2 dbl mark X mark dbl X active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 sel ok X1 ok X2 ok sel X1 X2 active indx nil X mark nil dbls ok X ok dbls X proper nil ok nil from ok X ok from X dbl ok X ok dbl X active dbl s X s s dbl X false active dbl s X dbl X false active sel s X cons Y Z sel X Z false active sel X1 X2 sel X1 active X2 false active from X cons X from s X false active from X from s X false active from X s X false active dbls X dbls active X false active sel X1 X2 sel active X1 X2 false active indx X1 X2 indx active X1 X2 false active indx cons X Y Z cons sel X Z indx Y Z false active indx cons X Y Z sel X Z false active indx cons X Y Z indx Y Z false active dbls cons X Y cons dbl X dbls Y false active dbls cons X Y dbl X false active dbls cons X Y dbls Y false proper cons X1 X2 proper X1 proper sel X1 X2 proper X2 proper cons X1 X2 proper X2 proper dbls X proper X proper indx X1 X2 proper X1 proper dbl X proper X proper sel X1 X2 proper X1 proper from X proper X proper indx X1 X2 proper X2 proper s X proper X true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 1 1 top 1 0 indx 2 1 2 1 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 8822 ok 1 1 1911 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 1 from 1 1 1 s 1 0 nil 0 1 mark 1 1 0 proper 1 1 0 from 1 0 active 1 16335 cons 2 1 2 1 active 1 0 sel X1 mark X2 mark sel X1 X2 dbl mark X mark dbl X active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 sel ok X1 ok X2 ok sel X1 X2 active indx nil X mark nil dbls ok X ok dbls X proper nil ok nil from ok X ok from X dbl ok X ok dbl X proper dbls X dbls proper X false proper cons X1 X2 cons proper X1 proper X2 false cons ok X1 ok X2 cons X1 X2 true cons 2 1 0 s 1 1 2056 dbls 1 1 1 dbl 1 1 7556 top 1 0 indx 2 1 2 1 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 1 from 1 1 1 s 1 0 nil 0 1 mark 1 1 0 proper 1 0 from 1 0 active 1 16335 cons 2 1 2 1 active 1 0 sel X1 mark X2 mark sel X1 X2 dbl mark X mark dbl X active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 sel ok X1 ok X2 ok sel X1 X2 active indx nil X mark nil dbls ok X ok dbls X proper nil ok nil from ok X ok from X dbl ok X ok dbl X proper dbl X dbl proper X false proper from X from proper X false from ok X from X true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 1 1 top 1 0 indx 2 1 2 2561 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 1 from 1 1 10620 s 1 0 nil 0 1 mark 1 1 0 proper 1 0 from 1 1 0 active 1 16335 cons 2 1 2 1 active 1 0 sel X1 mark X2 mark sel X1 X2 dbl mark X mark dbl X active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 sel ok X1 ok X2 ok sel X1 X2 active indx nil X mark nil dbls ok X ok dbls X proper nil ok nil from ok X ok from X dbl ok X ok dbl X proper s X s proper X false proper indx X1 X2 indx proper X1 proper X2 false indx ok X1 ok X2 indx X1 X2 indx mark X1 X2 indx X1 X2 true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 1 1 top 1 0 indx 2 1 2 1 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 indx 2 1 0 sel 2 1 2 1 from 1 1 1 s 1 0 nil 0 3 mark 1 1 0 proper 1 0 from 1 0 active 1 3 cons 2 1 2 1 active 1 0 indx mark X1 X2 indx X1 X2 sel X1 mark X2 mark sel X1 X2 dbl mark X mark dbl X active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 sel ok X1 ok X2 ok sel X1 X2 active indx nil X mark nil dbls ok X ok dbls X proper nil ok nil from ok X ok from X dbl ok X ok dbl X indx mark X1 X2 indx X1 X2 true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 1 1 top 1 0 indx 2 1 2 1 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 indx 2 1 0 sel 2 1 2 1 from 1 1 1 s 1 0 nil 0 2 mark 1 1 1 proper 1 0 from 1 0 active 1 4 cons 2 1 2 1 active 1 0 sel X1 mark X2 mark sel X1 X2 dbl mark X mark dbl X active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 sel ok X1 ok X2 ok sel X1 X2 active indx nil X mark nil dbls ok X ok dbls X proper nil ok nil from ok X ok from X dbl ok X ok dbl X active dbl X dbl active X false dbl mark X dbl X dbl ok X dbl X true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 1 1 top 1 0 indx 2 1 2 1 dbl 1 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 1 from 1 1 1 s 1 0 nil 0 2 mark 1 1 1 proper 1 0 from 1 0 active 1 4 cons 2 1 2 1 active 1 0 sel X1 mark X2 mark sel X1 X2 dbl mark X mark dbl X active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 sel ok X1 ok X2 ok sel X1 X2 active indx nil X mark nil dbls ok X ok dbls X proper nil ok nil from ok X ok from X dbl ok X ok dbl X proper sel X1 X2 sel proper X1 proper X2 false sel X1 mark X2 sel X1 X2 sel ok X1 ok X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 1 1 top 1 0 indx 2 1 2 1 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 1 0 0 1 sel 2 1 0 indx 2 0 sel 2 1 2 1 from 1 1 1 s 1 0 nil 0 1 mark 1 1 1 proper 1 0 from 1 0 active 1 4 cons 2 1 2 1 active 1 0 sel X1 mark X2 sel X1 X2 sel X1 mark X2 mark sel X1 X2 dbl mark X mark dbl X active dbl 0 mark 0 active dbls nil mark nil dbls mark X mark dbls X proper 0 ok 0 indx mark X1 X2 mark indx X1 X2 cons ok X1 ok X2 ok cons X1 X2 sel mark X1 X2 mark sel X1 X2 indx ok X1 ok X2 ok indx X1 X2 sel ok X1 ok X2 ok sel X1 X2 active indx nil X mark nil dbls ok X ok dbls X proper nil ok nil from ok X ok from X dbl ok X ok dbl X sel X1 mark X2 sel X1 X2 true cons 2 0 s 1 20056 dbls 1 26956 dbl 1 59710 top 1 0 indx 2 33991 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 ok 1 1 0 0 0 1 sel 2 2 0 indx 2 0 sel 2 2 1 from 1 1 1 s 1 0 nil 0 1 mark 1 1 1 proper 1 0 from 1 0 active 1 26955 cons 2 26954 active 1 0 active dbl 0 mark 0 active dbls nil mark nil proper 0 ok 0 active indx nil X mark nil proper nil ok nil from ok X ok from X active dbl s X s dbl X false s ok X s X true cons 2 0 s 1 20057 dbls 1 24197 dbl 1 24197 top 1 0 indx 2 24197 dbl 1 0 dbls 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 26480 sel 2 0 indx 2 0 sel 2 24196 from 1 1 2089 s 1 1 0 nil 0 1 mark 1 24196 proper 1 0 from 1 0 active 1 24196 cons 2 2 31797 active 1 0 active dbl 0 mark 0 active dbls nil mark nil active indx nil X mark nil proper nil ok nil from ok X ok from X dbls mark X dbls X dbls ok X dbls X true cons 2 0 s 1 22613 dbls 1 55753 dbl 1 55753 top 1 0 indx 2 1 1 dbl 1 0 dbls 1 1 0 top 1 0 proper 1 22612 ok 1 1 1 0 0 22612 sel 2 0 indx 2 0 sel 2 22613 from 1 1 25337 s 1 0 nil 0 22611 mark 1 1 0 proper 1 0 from 1 0 active 1 55752 cons 2 2 7802 active 1 0 dbls mark X dbls X active dbl 0 mark 0 active dbls nil mark nil active indx nil X mark nil proper nil ok nil from ok X ok from X dbls mark X dbls X true cons 2 0 s 1 1 1 dbls 1 41144 dbl 1 1 1 top 1 0 indx 2 1 12340 dbl 1 0 dbls 1 1 0 top 1 0 proper 1 39292 ok 1 1 25150 0 0 14143 sel 2 0 indx 2 0 sel 2 1 2 16688 from 1 1 1 s 1 0 nil 0 8590 mark 1 1 12114 proper 1 0 from 1 0 active 1 41143 cons 2 1 2 1 active 1 0 active dbl 0 mark 0 active dbls nil mark nil active indx nil X mark nil proper nil ok nil from ok X ok from X NaTT certifiable-1.6