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 dbl1 0 mark 01 active dbl1 s X mark s1 s1 dbl1 X active sel1 0 cons X Y mark X active sel1 s X cons Y Z mark sel1 X Z active quote 0 mark 01 active quote s X mark s1 quote X active quote dbl X mark dbl1 X active quote sel X Y mark sel1 X Y 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 active dbl1 X dbl1 active X active s1 X s1 active X active sel1 X1 X2 sel1 active X1 X2 active sel1 X1 X2 sel1 X1 active X2 active quote X quote active X 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 dbl1 mark X mark dbl1 X s1 mark X mark s1 X sel1 mark X1 X2 mark sel1 X1 X2 sel1 X1 mark X2 mark sel1 X1 X2 quote mark X mark quote X 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 proper dbl1 X dbl1 proper X proper 01 ok 01 proper s1 X s1 proper X proper sel1 X1 X2 sel1 proper X1 proper X2 proper quote X quote 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 dbl1 ok X ok dbl1 X s1 ok X ok s1 X sel1 ok X1 ok X2 ok sel1 X1 X2 quote ok X ok quote X top mark X top proper X top ok X top active X 2.2 active dbl s X s dbl X active dbls cons X Y dbl X sel X1 mark X2 sel X1 X2 active from X cons X from s X indx ok X1 ok X2 indx X1 X2 active quote s X s1 quote X s1 ok X s1 X sel mark X1 X2 sel X1 X2 proper indx X1 X2 proper X2 proper indx X1 X2 proper X1 active s1 X active X active dbl X dbl active X active sel1 X1 X2 sel1 X1 active X2 dbl ok X dbl X active sel X1 X2 active X1 top mark X top proper X proper s1 X s1 proper X sel1 X1 mark X2 sel1 X1 X2 active sel1 X1 X2 active X2 proper sel X1 X2 proper X1 active indx X1 X2 indx active X1 X2 active dbl1 X dbl1 active X proper cons X1 X2 proper X2 proper sel X1 X2 proper X2 top ok X active X active quote sel X Y sel1 X Y proper indx X1 X2 indx proper X1 proper X2 proper sel1 X1 X2 proper X2 active sel1 X1 X2 active X1 quote mark X quote X proper from X from proper X proper dbls X dbls proper X proper sel X1 X2 sel proper X1 proper X2 active sel X1 X2 sel X1 active X2 proper s X s proper X active dbls X active X cons ok X1 ok X2 cons X1 X2 active indx cons X Y Z sel X Z active quote dbl X dbl1 X quote ok X quote X active dbls X dbls active X proper dbls X proper X active from X s X dbls ok X dbls X dbl1 mark X dbl1 X proper sel1 X1 X2 proper X1 active indx cons X Y Z indx Y Z proper dbl1 X dbl1 proper X active indx X1 X2 active X1 active from X from s X active sel X1 X2 sel active X1 X2 proper s1 X proper X proper s X proper X proper dbl X proper X proper sel1 X1 X2 sel1 proper X1 proper X2 dbls mark X dbls X active dbl1 X active X proper from X proper X active dbl X active X active quote X quote active X active dbl1 s X s1 dbl1 X top mark X proper X proper cons X1 X2 proper X1 sel ok X1 ok X2 sel X1 X2 active quote X active X active sel1 s X cons Y Z sel1 X Z dbl1 ok X dbl1 X active dbl1 s X dbl1 X active quote s X quote X active dbls cons X Y dbls Y proper quote X proper X dbl mark X dbl X from ok X from X active dbl1 s X s1 s1 dbl1 X proper dbl X dbl proper X s1 mark X s1 X proper quote X quote proper X active dbls cons X Y cons dbl X dbls Y indx mark X1 X2 indx X1 X2 active s1 X s1 active X active sel s X cons Y Z sel X Z s ok X s X active dbl s X dbl X active sel X1 X2 active X2 active dbl s X s s dbl X top ok X top active X sel1 mark X1 X2 sel1 X1 X2 proper dbl1 X proper X proper cons X1 X2 cons proper X1 proper X2 active indx cons X Y Z cons sel X Z indx Y Z active sel1 X1 X2 sel1 active X1 X2 sel1 ok X1 ok X2 sel1 X1 X2 true top ok X top active X top mark X top proper X true top 1 1 dbls 1 1 proper 1 1 ok 1 1 sel 2 1 sel1 2 1 active 1 1 dbl1 1 0 01 0 5 cons 2 0 2 1 s 1 1 1 dbls 1 8 1 dbl 1 8 1 indx 2 7 1 dbl 1 0 top 1 0 1 0 0 3 indx 2 0 sel 2 5 1 2 from 1 8 1 s 1 0 nil 0 7 dbl1 1 4 1 mark 1 2 1 proper 1 0 from 1 0 quote 1 6 1 cons 2 7 active 1 0 quote 1 0 s1 1 0 sel1 2 6 1 2 s1 1 3 1 dbl1 1 1 01 0 1 cons 2 1 1 2 1 0 s 1 1 0 dbls 1 1 2 dbl 1 1 2 indx 2 1 2 1 dbl 1 1 top 1 1 1 0 0 12214 indx 2 1 1 sel 2 1 2 1 from 1 1 31113 s 1 1 nil 0 1 dbl1 1 1 3 mark 1 1 0 proper 1 1 from 1 1 quote 1 1 2 cons 2 1 1 2 0 0 active 1 1 quote 1 1 s1 1 1 sel1 2 1 2 2 s1 1 1 0 top ok X top active X active dbl X dbl active X proper sel1 X1 X2 sel1 proper X1 proper X2 active dbls cons X Y mark cons dbl X dbls Y active quote s X mark s1 quote X active indx cons X Y Z mark cons sel X Z indx Y Z dbls ok X ok dbls X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X active sel X1 X2 sel X1 active X2 sel1 X1 mark X2 mark sel1 X1 X2 active sel1 X1 X2 sel1 X1 active X2 active dbls X dbls active X indx mark X1 X2 mark indx X1 X2 active quote sel X Y mark sel1 X Y s1 ok X ok s1 X active quote X quote active X s1 mark X mark s1 X active indx X1 X2 indx active X1 X2 dbl mark X mark dbl X proper sel X1 X2 sel proper X1 proper X2 active sel 0 cons X Y mark X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil active sel X1 X2 sel active X1 X2 active sel1 X1 X2 sel1 active X1 X2 proper s1 X s1 proper X dbl ok X ok dbl X sel mark X1 X2 mark sel X1 X2 quote ok X ok quote X active quote 0 mark 01 sel ok X1 ok X2 ok sel X1 X2 sel X1 mark X2 mark sel X1 X2 active sel1 0 cons X Y mark X proper indx X1 X2 indx proper X1 proper X2 active dbl1 X dbl1 active X active s1 X s1 active X indx ok X1 ok X2 ok indx X1 X2 active dbl1 s X mark s1 s1 dbl1 X active from X mark cons X from s X active sel1 s X cons Y Z mark sel1 X Z proper quote X quote proper X proper s X s proper X cons ok X1 ok X2 ok cons X1 X2 dbl1 ok X ok dbl1 X active sel s X cons Y Z mark sel X Z proper dbl X dbl proper X sel1 ok X1 ok X2 ok sel1 X1 X2 from ok X ok from X proper 01 ok 01 s ok X ok s X proper dbl1 X dbl1 proper X quote mark X mark quote X proper dbls X dbls proper X proper nil ok nil proper from X from proper X sel1 mark X1 X2 mark sel1 X1 X2 dbls mark X mark dbls X proper cons X1 X2 cons proper X1 proper X2 active dbl s X mark s s dbl X top ok X top active X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 1 1 top 1 0 indx 2 1 20347 dbl 1 0 dbls 1 0 top 1 1 0 proper 1 1 2 ok 1 1 2 0 0 38312 sel 2 0 indx 2 0 sel 2 1 1 from 1 1 20298 s 1 0 nil 0 38027 dbl1 1 1 1 sel1 2 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 quote 1 1 41745 cons 2 1 1 active 1 0 quote 1 0 s1 1 0 sel1 2 2 10392 s1 1 1 47830 active dbl X dbl active X proper sel1 X1 X2 sel1 proper X1 proper X2 active dbls cons X Y mark cons dbl X dbls Y active quote s X mark s1 quote X active indx cons X Y Z mark cons sel X Z indx Y Z dbls ok X ok dbls X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X active sel X1 X2 sel X1 active X2 sel1 X1 mark X2 mark sel1 X1 X2 active sel1 X1 X2 sel1 X1 active X2 active dbls X dbls active X indx mark X1 X2 mark indx X1 X2 active quote sel X Y mark sel1 X Y s1 ok X ok s1 X active quote X quote active X s1 mark X mark s1 X active indx X1 X2 indx active X1 X2 dbl mark X mark dbl X proper sel X1 X2 sel proper X1 proper X2 active sel 0 cons X Y mark X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil active sel X1 X2 sel active X1 X2 active sel1 X1 X2 sel1 active X1 X2 proper s1 X s1 proper X dbl ok X ok dbl X sel mark X1 X2 mark sel X1 X2 quote ok X ok quote X active quote 0 mark 01 sel ok X1 ok X2 ok sel X1 X2 sel X1 mark X2 mark sel X1 X2 active sel1 0 cons X Y mark X proper indx X1 X2 indx proper X1 proper X2 active dbl1 X dbl1 active X active s1 X s1 active X indx ok X1 ok X2 ok indx X1 X2 active dbl1 s X mark s1 s1 dbl1 X active from X mark cons X from s X active sel1 s X cons Y Z mark sel1 X Z proper quote X quote proper X proper s X s proper X cons ok X1 ok X2 ok cons X1 X2 dbl1 ok X ok dbl1 X active sel s X cons Y Z mark sel X Z proper dbl X dbl proper X sel1 ok X1 ok X2 ok sel1 X1 X2 from ok X ok from X proper 01 ok 01 s ok X ok s X proper dbl1 X dbl1 proper X quote mark X mark quote X proper dbls X dbls proper X proper nil ok nil proper from X from proper X sel1 mark X1 X2 mark sel1 X1 X2 dbls mark X mark dbls X proper cons X1 X2 cons proper X1 proper X2 active dbl s X mark s s dbl X top ok X active X false top mark X proper X false active indx X1 X2 active X1 active sel X1 X2 active X2 active dbls X active X active sel1 X1 X2 active X1 active sel1 X1 X2 active X2 active sel X1 X2 active X1 active quote X active X active s1 X active X active dbl X active X active dbl1 X active X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 1 9335 dbl 1 1 1 top 1 0 indx 2 1 30478 dbl 1 0 dbls 1 0 top 1 1 0 proper 1 1 0 ok 1 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 1 from 1 1 19182 s 1 0 nil 0 43183 dbl1 1 1 1 sel1 2 0 mark 1 11967 proper 1 0 from 1 0 active 1 1 22498 quote 1 1 1373 cons 2 1 active 1 1 0 quote 1 0 s1 1 0 sel1 2 1 2 1 s1 1 1 1 active dbl X dbl active X proper sel1 X1 X2 sel1 proper X1 proper X2 active dbls cons X Y mark cons dbl X dbls Y active quote s X mark s1 quote X active indx cons X Y Z mark cons sel X Z indx Y Z dbls ok X ok dbls X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X active sel X1 X2 sel X1 active X2 sel1 X1 mark X2 mark sel1 X1 X2 active sel1 X1 X2 sel1 X1 active X2 active dbls X dbls active X indx mark X1 X2 mark indx X1 X2 active quote sel X Y mark sel1 X Y s1 ok X ok s1 X active quote X quote active X s1 mark X mark s1 X active indx X1 X2 indx active X1 X2 dbl mark X mark dbl X proper sel X1 X2 sel proper X1 proper X2 active sel 0 cons X Y mark X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil active sel X1 X2 sel active X1 X2 active sel1 X1 X2 sel1 active X1 X2 proper s1 X s1 proper X dbl ok X ok dbl X sel mark X1 X2 mark sel X1 X2 quote ok X ok quote X active quote 0 mark 01 sel ok X1 ok X2 ok sel X1 X2 sel X1 mark X2 mark sel X1 X2 active sel1 0 cons X Y mark X proper indx X1 X2 indx proper X1 proper X2 active dbl1 X dbl1 active X active s1 X s1 active X indx ok X1 ok X2 ok indx X1 X2 active dbl1 s X mark s1 s1 dbl1 X active from X mark cons X from s X active sel1 s X cons Y Z mark sel1 X Z proper quote X quote proper X proper s X s proper X cons ok X1 ok X2 ok cons X1 X2 dbl1 ok X ok dbl1 X active sel s X cons Y Z mark sel X Z proper dbl X dbl proper X sel1 ok X1 ok X2 ok sel1 X1 X2 from ok X ok from X proper 01 ok 01 s ok X ok s X proper dbl1 X dbl1 proper X quote mark X mark quote X proper dbls X dbls proper X proper nil ok nil proper from X from proper X sel1 mark X1 X2 mark sel1 X1 X2 dbls mark X mark dbls X proper cons X1 X2 cons proper X1 proper X2 active dbl s X mark s s 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 sel1 s X cons Y Z sel1 X Z false active from X from s X false active from X s X false active dbl1 s X s1 s1 dbl1 X false active dbl1 s X s1 dbl1 X false active dbl1 s X dbl1 X false active s1 X s1 active X false active dbl1 X dbl1 active X false active sel1 X1 X2 sel1 active X1 X2 false active sel X1 X2 sel active X1 X2 false active indx X1 X2 indx active X1 X2 false active quote X quote active X false active quote sel X Y sel1 X Y false active dbls X dbls active X false active sel1 X1 X2 sel1 X1 active X2 false active sel X1 X2 sel X1 active X2 false active quote dbl X dbl1 X 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 quote s X s1 quote X false active quote s X quote X false active dbls cons X Y cons dbl X dbls Y false active dbls cons X Y dbls Y false active dbl X dbl active X false active from X cons X from s X false active dbls cons X Y dbl X false active dbl s X s dbl X false proper s X proper X proper s1 X proper X proper dbl1 X proper X proper sel1 X1 X2 proper X1 proper dbls X proper X proper sel1 X1 X2 proper X2 proper sel X1 X2 proper X2 proper cons X1 X2 proper X2 proper quote X proper X proper sel X1 X2 proper X1 proper cons X1 X2 proper X1 proper indx X1 X2 proper X1 proper indx X1 X2 proper X2 proper from X proper X proper dbl X proper X true dbl1 1 0 01 0 1 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 0 ok 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 1 from 1 1 3137 s 1 0 nil 0 1 dbl1 1 1 1 sel1 2 0 mark 1 1 26962 proper 1 1 0 from 1 0 active 1 1 26964 quote 1 1 1 cons 2 1 2 1 active 1 0 quote 1 0 s1 1 0 sel1 2 1 2 1 s1 1 1 1 active quote s X mark s1 quote X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X sel1 X1 mark X2 mark sel1 X1 X2 active quote sel X Y mark sel1 X Y s1 ok X ok s1 X s1 mark X mark s1 X active sel 0 cons X Y mark X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil sel mark X1 X2 mark sel X1 X2 quote ok X ok quote X active quote 0 mark 01 sel ok X1 ok X2 ok sel X1 X2 sel X1 mark X2 mark sel X1 X2 active sel1 0 cons X Y mark X indx ok X1 ok X2 ok indx X1 X2 active dbl1 s X mark s1 s1 dbl1 X active sel1 s X cons Y Z mark sel1 X Z dbl1 ok X ok dbl1 X active sel s X cons Y Z mark sel X Z sel1 ok X1 ok X2 ok sel1 X1 X2 from ok X ok from X proper 01 ok 01 quote mark X mark quote X proper nil ok nil sel1 mark X1 X2 mark sel1 X1 X2 proper cons X1 X2 cons proper X1 proper X2 false cons ok X1 ok X2 cons X1 X2 true dbl1 1 0 01 0 1 cons 2 1 2 0 s 1 1 1 dbls 1 1 0 dbl 1 1 0 top 1 0 indx 2 2 0 dbl 1 0 dbls 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 2 0 from 1 1 s 1 0 nil 0 1 dbl1 1 1 0 sel1 2 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 2 quote 1 1 0 cons 2 1 2 842 active 1 0 quote 1 0 s1 1 0 sel1 2 1 2 1 s1 1 1 1 active quote s X mark s1 quote X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X sel1 X1 mark X2 mark sel1 X1 X2 s1 ok X ok s1 X s1 mark X mark s1 X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil quote ok X ok quote X active quote 0 mark 01 active sel1 0 cons X Y mark X active dbl1 s X mark s1 s1 dbl1 X dbl1 ok X ok dbl1 X sel1 ok X1 ok X2 ok sel1 X1 X2 proper 01 ok 01 quote mark X mark quote X proper nil ok nil sel1 mark X1 X2 mark sel1 X1 X2 proper from X from proper X false from ok X from X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 1 0 dbl 1 1 0 top 1 0 indx 2 2 0 dbl 1 0 dbls 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 2 0 from 1 2 s 1 0 nil 0 1 dbl1 1 1 0 sel1 2 0 mark 1 1 1 proper 1 0 from 1 1 0 active 1 1 2 quote 1 1 0 cons 2 1 2 2 active 1 0 quote 1 0 s1 1 0 sel1 2 1 2 1 s1 1 1 1 active quote s X mark s1 quote X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X sel1 X1 mark X2 mark sel1 X1 X2 s1 ok X ok s1 X s1 mark X mark s1 X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil quote ok X ok quote X active quote 0 mark 01 active sel1 0 cons X Y mark X active dbl1 s X mark s1 s1 dbl1 X dbl1 ok X ok dbl1 X sel1 ok X1 ok X2 ok sel1 X1 X2 proper 01 ok 01 quote mark X mark quote X proper nil ok nil sel1 mark X1 X2 mark sel1 X1 X2 proper dbls X dbls proper X false dbls ok X dbls X dbls mark X dbls X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 1 0 dbl 1 1 0 top 1 0 indx 2 2 0 dbl 1 0 dbls 1 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 2 0 from 1 2 s 1 0 nil 0 1 dbl1 1 1 0 sel1 2 0 mark 1 1 18562 proper 1 0 from 1 0 active 1 1 21050 quote 1 1 0 cons 2 1 2 2489 active 1 0 quote 1 0 s1 1 0 sel1 2 1 2 768 s1 1 1 1 active quote s X mark s1 quote X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X sel1 X1 mark X2 mark sel1 X1 X2 s1 ok X ok s1 X s1 mark X mark s1 X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil quote ok X ok quote X active quote 0 mark 01 active sel1 0 cons X Y mark X active dbl1 s X mark s1 s1 dbl1 X dbl1 ok X ok dbl1 X sel1 ok X1 ok X2 ok sel1 X1 X2 proper 01 ok 01 quote mark X mark quote X proper nil ok nil sel1 mark X1 X2 mark sel1 X1 X2 proper dbl1 X dbl1 proper X false dbl1 mark X dbl1 X dbl1 ok X dbl1 X true dbl1 1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 1 0 dbl 1 1 0 top 1 0 indx 2 2 0 dbl 1 0 dbls 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 2 0 from 1 1 s 1 0 nil 0 1 dbl1 1 1 0 sel1 2 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 2 quote 1 1 0 cons 2 1 2 2 active 1 0 quote 1 0 s1 1 0 sel1 2 1 2 1 s1 1 1 1 active quote s X mark s1 quote X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X sel1 X1 mark X2 mark sel1 X1 X2 s1 ok X ok s1 X s1 mark X mark s1 X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil quote ok X ok quote X active quote 0 mark 01 active sel1 0 cons X Y mark X active dbl1 s X mark s1 s1 dbl1 X dbl1 ok X ok dbl1 X sel1 ok X1 ok X2 ok sel1 X1 X2 proper 01 ok 01 quote mark X mark quote X proper nil ok nil sel1 mark X1 X2 mark sel1 X1 X2 proper dbl X dbl proper X false dbl mark X dbl X dbl ok X dbl X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 1 0 dbl 1 1 0 top 1 0 indx 2 2 0 dbl 1 1 0 dbls 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 2 0 from 1 1 s 1 0 nil 0 1 dbl1 1 1 0 sel1 2 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 2 quote 1 1 0 cons 2 1 2 2 active 1 0 quote 1 0 s1 1 0 sel1 2 1 2 1 s1 1 1 1 active quote s X mark s1 quote X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X sel1 X1 mark X2 mark sel1 X1 X2 s1 ok X ok s1 X s1 mark X mark s1 X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil quote ok X ok quote X active quote 0 mark 01 active sel1 0 cons X Y mark X active dbl1 s X mark s1 s1 dbl1 X dbl1 ok X ok dbl1 X sel1 ok X1 ok X2 ok sel1 X1 X2 proper 01 ok 01 quote mark X mark quote X proper nil ok nil sel1 mark X1 X2 mark sel1 X1 X2 proper s X s proper X false s ok X s X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 31771 dbls 1 1 0 dbl 1 1 0 top 1 0 indx 2 2 0 dbl 1 0 dbls 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 sel 2 0 indx 2 0 sel 2 2 0 from 1 1 s 1 1 0 nil 0 1 dbl1 1 1 0 sel1 2 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 31772 quote 1 1 0 cons 2 1 2 31772 active 1 0 quote 1 0 s1 1 0 sel1 2 1 2 1 s1 1 1 1 active quote s X mark s1 quote X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X sel1 X1 mark X2 mark sel1 X1 X2 s1 ok X ok s1 X s1 mark X mark s1 X dbl1 mark X mark dbl1 X active dbl1 0 mark 01 proper 0 ok 0 active indx nil X mark nil quote ok X ok quote X active quote 0 mark 01 active sel1 0 cons X Y mark X active dbl1 s X mark s1 s1 dbl1 X dbl1 ok X ok dbl1 X sel1 ok X1 ok X2 ok sel1 X1 X2 proper 01 ok 01 quote mark X mark quote X proper nil ok nil sel1 mark X1 X2 mark sel1 X1 X2 proper quote X quote proper X false quote ok X quote X quote mark X quote X true dbl1 1 0 01 0 1 cons 2 0 s 1 37405 dbls 1 2 dbl 1 1 19369 top 1 0 indx 2 2 32596 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 22166 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 16414 from 1 1 50566 s 1 0 nil 0 1 dbl1 1 1 31582 sel1 2 0 mark 1 1 5 proper 1 0 from 1 0 active 1 1 quote 1 2 cons 2 1 2 1 active 1 0 quote 1 1 0 s1 1 0 sel1 2 1 2 1602 s1 1 2 sel1 X1 mark X2 mark sel1 X1 X2 dbl mark X mark dbl X dbl ok X ok dbl X sel mark X1 X2 mark sel X1 X2 sel ok X1 ok X2 ok sel X1 X2 sel X1 mark X2 mark sel X1 X2 sel1 ok X1 ok X2 ok sel1 X1 X2 sel1 mark X1 X2 mark sel1 X1 X2 proper indx X1 X2 indx proper X1 proper X2 false indx mark X1 X2 indx X1 X2 indx ok X1 ok X2 indx X1 X2 true dbl1 1 0 01 0 1 cons 2 0 s 1 1 dbls 1 2 dbl 1 1 36386 top 1 0 indx 2 26007 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 2 0 0 1 sel 2 0 indx 2 1 2 0 sel 2 16415 from 1 1 36986 s 1 0 nil 0 2247 dbl1 1 2 sel1 2 0 mark 1 1 5 proper 1 0 from 1 0 active 1 1 quote 1 2 cons 2 1 active 1 0 quote 1 0 s1 1 0 sel1 2 12354 s1 1 1 1 proper s1 X s1 proper X false s1 mark X s1 X s1 ok X s1 X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 dbls 1 4 dbl 1 1 1 top 1 0 indx 2 4 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 8925 0 0 1 sel 2 0 indx 2 0 sel 2 4 from 1 1 32653 s 1 0 nil 0 25321 dbl1 1 4 sel1 2 0 mark 1 1 5 proper 1 0 from 1 0 active 1 3 quote 1 4 cons 2 1 active 1 0 quote 1 0 s1 1 1 0 sel1 2 12356 s1 1 1 1 proper sel X1 X2 sel proper X1 proper X2 false sel ok X1 ok X2 sel X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 true dbl1 1 0 01 0 1 cons 2 0 s 1 39255 dbls 1 2 dbl 1 1 1 top 1 0 indx 2 14731 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 24144 ok 1 1 24145 0 0 10913 sel 2 1 0 indx 2 0 sel 2 9335 from 1 1 11912 s 1 0 nil 0 52396 dbl1 1 5875 sel1 2 0 mark 1 1 17234 proper 1 0 from 1 0 active 1 1 quote 1 28880 cons 2 1 active 1 0 quote 1 0 s1 1 0 sel1 2 2 s1 1 1 27188 sel X1 mark X2 sel X1 X2 sel X1 mark X2 sel X1 X2 true dbl1 1 0 01 0 1 cons 2 0 s 1 1 dbls 1 2 dbl 1 1 1130 top 1 0 indx 2 14731 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 2 0 0 18238 sel 2 2 0 indx 2 0 sel 2 7158 from 1 1 1 s 1 0 nil 0 12332 dbl1 1 16038 sel1 2 0 mark 1 1 17234 proper 1 0 from 1 0 active 1 1 quote 1 27469 cons 2 51094 active 1 0 quote 1 0 s1 1 0 sel1 2 17083 s1 1 1 1 proper sel1 X1 X2 sel1 proper X1 proper X2 false sel1 ok X1 ok X2 sel1 X1 X2 sel1 mark X1 X2 sel1 X1 X2 sel1 X1 mark X2 sel1 X1 X2 true dbl1 1 0 01 0 1 cons 2 0 s 1 1 dbls 1 20438 dbl 1 1 17534 top 1 0 indx 2 28379 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 10310 0 0 1 sel 2 0 indx 2 0 sel 2 52493 from 1 1 39797 s 1 0 nil 0 25029 dbl1 1 20438 sel1 2 1 0 mark 1 1 37670 proper 1 0 from 1 0 active 1 20437 quote 1 47905 cons 2 35066 active 1 0 quote 1 0 s1 1 0 sel1 2 37519 s1 1 1 36536 sel1 X1 mark X2 sel1 X1 X2 sel1 X1 mark X2 sel1 X1 X2 true dbl1 1 0 01 0 1 cons 2 0 s 1 1 dbls 1 2 dbl 1 1 1 top 1 0 indx 2 7943 dbl 1 0 dbls 1 0 top 1 0 proper 1 1 1 ok 1 1 10310 0 0 1 sel 2 0 indx 2 0 sel 2 32359 from 1 1 1 s 1 0 nil 0 1 dbl1 1 2 sel1 2 2 0 mark 1 1 11794 proper 1 0 from 1 0 active 1 1 quote 1 27469 cons 2 35066 active 1 0 quote 1 0 s1 1 0 sel1 2 17083 s1 1 1 20350 NaTT certifiable-1.6