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 mark dbl X active dbl mark X mark 0 active 0 mark s X active s X mark dbls X active dbls mark X mark nil active nil mark cons X1 X2 active cons X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark indx X1 X2 active indx mark X1 X2 mark from X active from X mark dbl1 X active dbl1 mark X mark 01 active 01 mark s1 X active s1 mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark quote X active quote mark X dbl mark X dbl X dbl active X dbl X s mark X s X s active X s X dbls mark X dbls X dbls active X dbls X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 indx mark X1 X2 indx X1 X2 indx X1 mark X2 indx X1 X2 indx active X1 X2 indx X1 X2 indx X1 active X2 indx X1 X2 from mark X from X from active X from X dbl1 mark X dbl1 X dbl1 active X dbl1 X s1 mark X s1 X s1 active X s1 X sel1 mark X1 X2 sel1 X1 X2 sel1 X1 mark X2 sel1 X1 X2 sel1 active X1 X2 sel1 X1 X2 sel1 X1 active X2 sel1 X1 X2 quote mark X quote X quote active X quote X 2.2 active dbl s X s s dbl X active indx cons X Y Z mark cons sel X Z indx Y Z active sel1 0 cons X Y mark X active from X cons X from s X active dbl1 s X dbl1 X active dbls nil mark nil mark nil active nil mark quote X mark X sel X1 active X2 sel X1 X2 active dbls cons X Y dbl X mark cons X1 X2 active cons X1 X2 mark sel X1 X2 active sel mark X1 mark X2 mark dbl X dbl mark X from mark X from X active quote s X s1 quote X active quote sel X Y sel1 X Y sel1 mark X1 X2 sel1 X1 X2 dbl1 mark X dbl1 X quote mark X quote X active quote 0 mark 01 mark 0 active 0 dbl mark X dbl X mark s X active s X active dbl1 0 mark 01 mark sel X1 X2 sel mark X1 mark X2 mark s1 X active s1 mark X active indx nil X mark nil mark indx X1 X2 active indx mark X1 X2 s mark X s X mark sel X1 X2 mark X2 active quote s X mark s1 quote X mark sel1 X1 X2 mark X1 dbls active X dbls X s active X s X sel mark X1 X2 sel X1 X2 mark dbl X active dbl mark X mark indx X1 X2 mark X1 mark from X active from X active dbls cons X Y cons dbl X dbls Y cons active X1 X2 cons X1 X2 mark dbl1 X mark X s1 active X s1 X active quote dbl X mark dbl1 X mark dbls X active dbls mark X mark quote X quote mark X active dbls cons X Y dbls Y mark dbl1 X dbl1 mark X cons X1 active X2 cons X1 X2 active from X s X mark dbls X dbls mark X mark indx X1 X2 indx mark X1 X2 active indx cons X Y Z indx Y Z active quote dbl X dbl1 X indx X1 mark X2 indx X1 X2 dbl active X dbl X active from X from s X mark sel1 X1 X2 mark X2 mark sel1 X1 X2 active sel1 mark X1 mark X2 from active X from X active sel s X cons Y Z mark sel X Z active indx cons X Y Z sel X Z mark s1 X s1 mark X mark sel X1 X2 mark X1 indx mark X1 X2 indx X1 X2 active quote s X quote X active dbls cons X Y mark cons dbl X dbls Y sel active X1 X2 sel X1 X2 active dbl1 s X s1 s1 dbl1 X active quote sel X Y mark sel1 X Y sel X1 mark X2 sel X1 X2 mark quote X active quote mark X mark 01 active 01 active from X mark cons X from s X sel1 X1 active X2 sel1 X1 X2 active dbl1 s X s1 dbl1 X active dbl 0 mark 0 active indx cons X Y Z cons sel X Z indx Y Z active sel1 s X cons Y Z sel1 X Z cons X1 mark X2 cons X1 X2 sel1 active X1 X2 sel1 X1 X2 active dbl1 s X mark s1 s1 dbl1 X cons mark X1 X2 cons X1 X2 active sel 0 cons X Y mark X active sel1 s X cons Y Z mark sel1 X Z mark dbl X mark X s1 mark X s1 X mark dbl1 X active dbl1 mark X sel1 X1 mark X2 sel1 X1 X2 active sel s X cons Y Z sel X Z indx active X1 X2 indx X1 X2 active dbl s X s dbl X dbls mark X dbls X active dbl s X mark s s dbl X indx X1 active X2 indx X1 X2 mark s1 X mark X dbl1 active X dbl1 X active dbl s X dbl X mark dbls X mark X mark sel1 X1 X2 sel1 mark X1 mark X2 quote active X quote X true mark dbls X mark X mark sel1 X1 X2 mark X2 mark sel1 X1 X2 active sel1 mark X1 mark X2 mark s1 X mark X mark dbls X active dbls mark X active quote dbl X mark dbl1 X active dbl s X mark s s dbl X mark dbl1 X mark X mark from X active from X mark indx X1 X2 mark X1 mark dbl1 X active dbl1 mark X mark dbl X mark X mark dbl X active dbl mark X active sel1 s X cons Y Z mark sel1 X Z active sel 0 cons X Y mark X mark sel1 X1 X2 mark X1 active dbl1 s X mark s1 s1 dbl1 X active quote s X mark s1 quote X mark sel X1 X2 mark X2 mark indx X1 X2 active indx mark X1 X2 mark s1 X active s1 mark X mark s X active s X active from X mark cons X from s X mark quote X active quote mark X active quote sel X Y mark sel1 X Y mark sel X1 X2 active sel mark X1 mark X2 active dbls cons X Y mark cons dbl X dbls Y mark cons X1 X2 active cons X1 X2 mark quote X mark X mark sel X1 X2 mark X1 active indx cons X Y Z mark cons sel X Z indx Y Z active sel1 0 cons X Y mark X active sel s X cons Y Z mark sel X Z true dbl1 1 0 01 0 1 cons 2 0 s 1 1 dbls 1 50052 dbl 1 50052 indx 2 50052 dbl 1 0 dbls 1 0 mark 1 50052 0 0 1 sel 2 0 indx 2 0 sel 2 50052 from 1 50052 s 1 0 nil 0 1 dbl1 1 50052 sel1 2 0 mark 1 1 from 1 0 active 1 2 quote 1 50052 cons 2 50051 active 1 1 0 quote 1 0 s1 1 0 sel1 2 50052 s1 1 14923 active sel s X cons Y Z mark sel X Z active sel1 0 cons X Y mark X active indx cons X Y Z mark cons sel X Z indx Y Z mark sel X1 X2 mark X1 mark quote X mark X active dbls cons X Y mark cons dbl X dbls Y mark sel X1 X2 active sel mark X1 mark X2 active quote sel X Y mark sel1 X Y mark quote X active quote mark X active from X mark cons X from s X mark indx X1 X2 active indx mark X1 X2 mark sel X1 X2 mark X2 active quote s X mark s1 quote X active dbl1 s X mark s1 s1 dbl1 X mark sel1 X1 X2 mark X1 active sel 0 cons X Y mark X active sel1 s X cons Y Z mark sel1 X Z mark dbl X active dbl mark X mark dbl X mark X mark dbl1 X active dbl1 mark X mark indx X1 X2 mark X1 mark from X active from X mark dbl1 X mark X active dbl s X mark s s dbl X active quote dbl X mark dbl1 X mark dbls X active dbls mark X mark s1 X mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark sel1 X1 X2 mark X2 mark dbls X mark X from mark X from X s1 mark X s1 X dbls mark X dbls X dbl mark X dbl X quote mark X quote X s mark X s X sel active X1 X2 sel X1 X2 dbl active X dbl X cons X1 mark X2 cons X1 X2 indx X1 active X2 indx X1 X2 dbl1 mark X dbl1 X sel1 mark X1 X2 sel1 X1 X2 sel X1 active X2 sel X1 X2 sel1 X1 mark X2 sel1 X1 X2 from active X from X cons active X1 X2 cons X1 X2 s1 active X s1 X sel1 X1 active X2 sel1 X1 X2 cons mark X1 X2 cons X1 X2 quote active X quote X sel1 active X1 X2 sel1 X1 X2 indx active X1 X2 indx X1 X2 dbl1 active X dbl1 X indx X1 mark X2 indx X1 X2 dbls active X dbls X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 indx mark X1 X2 indx X1 X2 s active X s X sel X1 mark X2 sel X1 X2 mark dbl X mark X mark dbl X active dbl mark X 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 active quote dbl X mark dbl1 X mark dbls X mark X mark dbls X active dbls mark X mark from X active from X active quote sel X Y mark sel1 X Y mark dbl1 X mark X mark dbl1 X active dbl1 mark X active sel 0 cons X Y mark X mark indx X1 X2 mark X1 mark indx X1 X2 active indx mark X1 X2 mark sel1 X1 X2 mark X2 mark sel1 X1 X2 mark X1 mark sel1 X1 X2 active sel1 mark X1 mark X2 mark quote X mark X mark quote X active quote mark X active sel1 0 cons X Y mark X mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark 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 active sel s X cons Y Z mark sel X Z mark s1 X mark X active dbl s X mark s s dbl X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 0 dbls 1 1 1 dbl 1 1 1 indx 2 1 2 2 6 0 dbl 1 0 dbls 1 0 mark 1 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 1 1 2 3 0 from 1 1 3 s 1 0 nil 0 7 dbl1 1 1 1 sel1 2 0 mark 1 1 0 from 1 0 active 1 1 0 quote 1 1 1 cons 2 1 2 2 0 0 active 1 1 0 quote 1 0 s1 1 0 sel1 2 1 1 2 3 0 s1 1 1 0 active dbl s X mark s s dbl X mark s1 X mark X active sel s X cons Y Z mark sel X Z active sel1 s X cons Y Z mark sel1 X Z active from X mark cons X from s X active dbl1 s X mark s1 s1 dbl1 X mark sel X1 X2 active sel mark X1 mark X2 mark quote X active quote mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark indx X1 X2 active indx mark X1 X2 mark dbl1 X active dbl1 mark X mark from X active from X mark dbls X active dbls mark X active indx cons X Y Z mark cons sel X Z indx Y Z active quote s X mark s1 quote X active dbls cons X Y mark cons dbl X dbls Y mark dbl X active dbl mark X mark dbl X active dbl mark X from mark X from X 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 s1 mark X s1 X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X mark dbls X active dbls mark X dbls mark X dbls X mark from X active from X mark 0 active 0 dbl mark X dbl X active quote sel X Y mark sel1 X Y quote mark X quote X mark dbl1 X active dbl1 mark X s mark X s X mark nil active nil mark 01 active 01 sel active X1 X2 sel X1 X2 active sel 0 cons X Y mark X dbl active X dbl X active dbl1 0 mark 01 cons X1 mark X2 cons X1 X2 active indx nil X mark nil mark s X active s X mark indx X1 X2 active indx mark X1 X2 indx X1 active X2 indx X1 X2 dbl1 mark X dbl1 X mark sel1 X1 X2 active sel1 mark X1 mark X2 active quote 0 mark 01 sel1 mark X1 X2 sel1 X1 X2 mark quote X active quote mark X active sel1 0 cons X Y mark X sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel1 X1 mark X2 sel1 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 from active X from X cons active X1 X2 cons X1 X2 s1 active X s1 X sel1 X1 active X2 sel1 X1 X2 active sel s X cons Y Z mark sel X Z cons mark X1 X2 cons X1 X2 quote active X quote X sel1 active X1 X2 sel1 X1 X2 indx active X1 X2 indx X1 X2 dbl1 active X dbl1 X indx X1 mark X2 indx X1 X2 dbls active X dbls X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 indx mark X1 X2 indx X1 X2 s active X s X mark s1 X active s1 mark X sel X1 mark X2 sel X1 X2 active dbl s X mark s s dbl X mark dbl X active dbl mark X 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 mark dbls X active dbls mark X mark from X active from X mark dbl1 X active dbl1 mark X mark indx X1 X2 active indx mark X1 X2 mark sel1 X1 X2 active sel1 mark X1 mark X2 mark quote X active quote mark X mark sel X1 X2 active sel mark X1 mark 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 active sel s X cons Y Z mark sel X Z mark s1 X mark X active dbl s X mark s s dbl X true dbl1 1 0 01 0 0 cons 2 0 s 1 1 0 dbls 1 1 3 dbl 1 2 indx 2 1 2 3 dbl 1 0 dbls 1 0 mark 1 1 0 0 0 0 sel 2 0 indx 2 0 sel 2 2 from 1 1 3 s 1 0 nil 0 0 dbl1 1 2 sel1 2 0 mark 1 1 30219 from 1 0 active 1 1 1 quote 1 2 cons 2 1 active 1 2 quote 1 0 s1 1 0 sel1 2 2 s1 1 1 0 active dbl s X mark s s dbl X mark s1 X mark X active sel s X cons Y Z mark sel X Z active sel1 s X cons Y Z mark sel1 X Z active dbl1 s X mark s1 s1 dbl1 X mark sel X1 X2 active sel mark X1 mark X2 mark quote X active quote mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark dbl1 X active dbl1 mark X active quote s X mark s1 quote X mark dbl X active dbl mark X s1 mark X s1 X dbl mark X dbl X quote mark X quote X s mark X s X sel active X1 X2 sel X1 X2 dbl active X dbl X cons X1 mark X2 cons X1 X2 dbl1 mark X dbl1 X sel1 mark X1 X2 sel1 X1 X2 sel X1 active X2 sel X1 X2 sel1 X1 mark X2 sel1 X1 X2 cons active X1 X2 cons X1 X2 s1 active X s1 X sel1 X1 active X2 sel1 X1 X2 cons mark X1 X2 cons X1 X2 quote active X quote X sel1 active X1 X2 sel1 X1 X2 dbl1 active X dbl1 X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 s active X s X sel X1 mark X2 sel X1 X2 mark dbl X active dbl mark X active quote s X mark s1 quote X mark dbl1 X active dbl1 mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark quote X active quote mark X mark sel X1 X2 active sel mark X1 mark X2 active dbl1 s X mark s1 s1 dbl1 X active sel1 s X cons Y Z mark sel1 X Z active sel s X cons Y Z mark sel X Z mark s1 X mark X active dbl s X mark s s dbl X true dbl1 1 0 01 0 0 cons 2 0 s 1 1 dbls 1 1 1 dbl 1 1 10284 indx 2 1 2 1 dbl 1 0 dbls 1 0 mark 1 1 0 0 0 28776 sel 2 0 indx 2 0 sel 2 2 from 1 1 2 s 1 0 nil 0 0 dbl1 1 2 sel1 2 0 mark 1 1 16028 from 1 0 active 1 1 0 quote 1 2 cons 2 1 active 1 2 quote 1 0 s1 1 0 sel1 2 2 s1 1 1 0 mark s1 X mark X active sel s X cons Y Z mark sel X Z active sel1 s X cons Y Z mark sel1 X Z active dbl1 s X mark s1 s1 dbl1 X mark sel X1 X2 active sel mark X1 mark X2 mark quote X active quote mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark dbl1 X active dbl1 mark X active quote s X mark s1 quote X s1 mark X s1 X quote mark X quote X s mark X s X sel active X1 X2 sel X1 X2 cons X1 mark X2 cons X1 X2 dbl1 mark X dbl1 X sel1 mark X1 X2 sel1 X1 X2 sel X1 active X2 sel X1 X2 sel1 X1 mark X2 sel1 X1 X2 cons active X1 X2 cons X1 X2 s1 active X s1 X sel1 X1 active X2 sel1 X1 X2 cons mark X1 X2 cons X1 X2 quote active X quote X sel1 active X1 X2 sel1 X1 X2 dbl1 active X dbl1 X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 s active X s X sel X1 mark X2 sel X1 X2 active quote s X mark s1 quote X mark dbl1 X active dbl1 mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark quote X active quote mark X mark sel X1 X2 active sel mark X1 mark X2 active dbl1 s X mark s1 s1 dbl1 X active sel1 s X cons Y Z mark sel1 X Z active sel s X cons Y Z mark sel X Z mark s1 X mark X true dbl 1 1 dbls 1 1 mark 1 1 s 1 1 dbl1 1 1 mark 1 1 active 1 1 quote 1 1 active 1 1 quote 1 1 dbl1 1 0 01 0 6 cons 2 0 s 1 3 1 dbls 1 2 dbl 1 6 1 indx 2 2 2 1 0 0 6 sel 2 0 indx 2 0 sel 2 2 from 1 4 nil 0 2 sel1 2 0 1 2 from 1 0 cons 2 0 1 s1 1 0 sel1 2 4 1 s1 1 1 1 dbl1 1 1 01 0 10282 cons 2 1 1 0 s 1 1 0 dbls 1 1 66293 dbl 1 1 66293 indx 2 1 2 41956 0 0 10282 sel 2 1 indx 2 2 1 sel 2 1 2 41956 from 1 1 41956 nil 0 37986 sel1 2 1 2 1 from 1 1 cons 2 1 41955 2 0 0 s1 1 1 sel1 2 1 2 41954 s1 1 1 0 active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 mark quote X active quote mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark dbl1 X active dbl1 mark X mark dbl X active dbl mark X from mark X from X 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 s1 mark X s1 X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X mark dbls X active dbls mark X dbls mark X dbls X mark from X active from X mark 0 active 0 dbl mark X dbl X active quote sel X Y mark sel1 X Y quote mark X quote X mark dbl1 X active dbl1 mark X s mark X s X mark nil active nil mark 01 active 01 sel active X1 X2 sel X1 X2 active sel 0 cons X Y mark X dbl active X dbl X active dbl1 0 mark 01 cons X1 mark X2 cons X1 X2 active indx nil X mark nil mark s X active s X mark indx X1 X2 active indx mark X1 X2 indx X1 active X2 indx X1 X2 dbl1 mark X dbl1 X mark sel1 X1 X2 active sel1 mark X1 mark X2 active quote 0 mark 01 sel1 mark X1 X2 sel1 X1 X2 mark quote X active quote mark X active sel1 0 cons X Y mark X sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel1 X1 mark X2 sel1 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 from active X from X cons active X1 X2 cons X1 X2 s1 active X s1 X sel1 X1 active X2 sel1 X1 X2 active sel s X cons Y Z mark sel X Z cons mark X1 X2 cons X1 X2 quote active X quote X sel1 active X1 X2 sel1 X1 X2 indx active X1 X2 indx X1 X2 dbl1 active X dbl1 X indx X1 mark X2 indx X1 X2 dbls active X dbls X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 indx mark X1 X2 indx X1 X2 s active X s X mark s1 X active s1 mark X sel X1 mark X2 sel X1 X2 active dbl s X mark s s dbl X mark dbl1 X active dbl1 mark X mark sel1 X1 X2 active sel1 mark X1 mark X2 mark quote X active quote mark X mark sel X1 X2 active sel mark X1 mark X2 active sel s X cons Y Z mark sel X Z true dbl1 1 0 01 0 3 cons 2 0 s 1 26357 dbls 1 3701 dbl 1 1 indx 2 1 dbl 1 0 dbls 1 0 mark 1 4 0 0 0 sel 2 0 indx 2 0 sel 2 4 from 1 3 s 1 0 nil 0 16961 dbl1 1 3 sel1 2 0 mark 1 2 from 1 0 active 1 1 0 quote 1 3 cons 2 0 active 1 1 0 quote 1 0 s1 1 0 sel1 2 1 s1 1 3139 active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 from mark X from X s1 mark X s1 X dbls mark X dbls X dbl mark X dbl X quote mark X quote X s mark X s X sel active X1 X2 sel X1 X2 dbl active X dbl X cons X1 mark X2 cons X1 X2 indx X1 active X2 indx X1 X2 dbl1 mark X dbl1 X sel1 mark X1 X2 sel1 X1 X2 sel X1 active X2 sel X1 X2 sel1 X1 mark X2 sel1 X1 X2 from active X from X cons active X1 X2 cons X1 X2 s1 active X s1 X sel1 X1 active X2 sel1 X1 X2 cons mark X1 X2 cons X1 X2 quote active X quote X sel1 active X1 X2 sel1 X1 X2 indx active X1 X2 indx X1 X2 dbl1 active X dbl1 X indx X1 mark X2 indx X1 X2 dbls active X dbls X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 indx mark X1 X2 indx X1 X2 s active X s X sel X1 mark X2 sel X1 X2 mark sel X1 X2 active sel mark X1 mark X2 active sel s X cons Y Z mark sel X Z true dbl 1 1 dbls 1 1 mark 1 1 s 1 1 dbl1 1 1 mark 1 1 active 1 1 active 1 1 quote 1 1 dbl1 1 0 01 0 5 cons 2 0 s 1 4 1 dbls 1 3 dbl 1 5 1 indx 2 3 2 1 0 0 5 sel 2 0 indx 2 0 sel 2 1 1 2 from 1 1 1 nil 0 3 sel1 2 0 1 2 from 1 0 quote 1 6 1 cons 2 1 s1 1 0 sel1 2 5 s1 1 1 dbl1 1 1 01 0 1 cons 2 1 1 0 s 1 1 0 dbls 1 1 3 dbl 1 1 3 indx 2 1 2 3 0 0 1 sel 2 1 indx 2 2 1 sel 2 1 2 3 from 1 1 14925 nil 0 26340 sel1 2 1 2 1 from 1 1 quote 1 1 18874 cons 2 1 2 2 0 0 s1 1 1 sel1 2 2 1 s1 1 1 0 mark sel X1 X2 active sel mark X1 mark X2 mark dbl X active dbl mark X from mark X from X 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 s1 mark X s1 X active dbl 0 mark 0 active dbls nil mark nil active quote dbl X mark dbl1 X mark dbls X active dbls mark X dbls mark X dbls X mark from X active from X mark 0 active 0 dbl mark X dbl X active quote sel X Y mark sel1 X Y quote mark X quote X mark dbl1 X active dbl1 mark X s mark X s X mark nil active nil mark 01 active 01 sel active X1 X2 sel X1 X2 active sel 0 cons X Y mark X dbl active X dbl X active dbl1 0 mark 01 cons X1 mark X2 cons X1 X2 active indx nil X mark nil mark s X active s X mark indx X1 X2 active indx mark X1 X2 indx X1 active X2 indx X1 X2 dbl1 mark X dbl1 X mark sel1 X1 X2 active sel1 mark X1 mark X2 active quote 0 mark 01 sel1 mark X1 X2 sel1 X1 X2 mark quote X active quote mark X active sel1 0 cons X Y mark X sel X1 active X2 sel X1 X2 mark cons X1 X2 active cons X1 X2 mark sel X1 X2 active sel mark X1 mark X2 sel1 X1 mark X2 sel1 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 from active X from X cons active X1 X2 cons X1 X2 s1 active X s1 X sel1 X1 active X2 sel1 X1 X2 active sel s X cons Y Z mark sel X Z cons mark X1 X2 cons X1 X2 quote active X quote X sel1 active X1 X2 sel1 X1 X2 indx active X1 X2 indx X1 X2 dbl1 active X dbl1 X indx X1 mark X2 indx X1 X2 dbls active X dbls X cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 indx mark X1 X2 indx X1 X2 s active X s X mark s1 X active s1 mark X sel X1 mark X2 sel X1 X2 active dbl s X mark s s dbl X mark sel X1 X2 active sel mark X1 mark X2 false active dbl s X s s dbl X false active dbl s X s dbl X false active dbl s X dbl X false active sel s X cons Y Z sel X Z false mark s1 X s1 mark X false active sel1 s X cons Y Z sel1 X Z false mark sel X1 X2 sel mark X1 mark X2 false active from X cons X from s X false active from X from s X false from active X from X from mark X from X true dbl1 1 0 01 0 32953 cons 2 0 s 1 3 dbls 1 1 1 dbl 1 1 indx 2 2 1 dbl 1 0 dbls 1 0 mark 1 0 0 0 3 sel 2 0 indx 2 0 sel 2 1 from 1 11204 s 1 0 nil 0 3 dbl1 1 32951 sel1 2 0 mark 1 1 1 from 1 1 0 active 1 1 2 quote 1 1 32948 cons 2 14624 active 1 0 quote 1 0 s1 1 0 sel1 2 1 32951 s1 1 32953 from mark X from X from active X from X active from X s X false s active X s X s mark X s X true dbl1 1 0 01 0 15717 cons 2 0 s 1 3 dbls 1 1 1 dbl 1 1 indx 2 2 50143 dbl 1 0 dbls 1 0 mark 1 0 0 0 3 sel 2 0 indx 2 0 sel 2 7024 from 1 5680 s 1 1 0 nil 0 50145 dbl1 1 15715 sel1 2 0 mark 1 1 1 from 1 0 active 1 1 2 quote 1 1 15712 cons 2 50145 active 1 0 quote 1 0 s1 1 0 sel1 2 1 22738 s1 1 15717 from mark X from X from active X from X active dbl1 s X s1 s1 dbl1 X false active dbl1 s X s1 dbl1 X false active dbl1 s X dbl1 X false mark quote X quote mark X false active quote 0 mark 01 false active indx nil X mark nil false active dbl1 0 mark 01 false mark sel1 X1 X2 sel1 mark X1 mark X2 false mark indx X1 X2 indx mark X1 X2 false active quote sel X Y sel1 X Y false sel1 X1 mark X2 sel1 X1 X2 sel1 active X1 X2 sel1 X1 X2 sel1 X1 active X2 sel1 X1 X2 sel1 mark X1 X2 sel1 X1 X2 true dbl1 1 0 01 0 6 cons 2 0 s 1 1317 dbls 1 1 1 dbl 1 1 indx 2 2 1 dbl 1 0 dbls 1 0 mark 1 0 0 0 3 sel 2 0 indx 2 0 sel 2 1 from 1 1 s 1 0 nil 0 3 dbl1 1 4 sel1 2 1 0 mark 1 1 1 from 1 0 active 1 1 2 quote 1 1 1 cons 2 3 active 1 0 quote 1 0 s1 1 0 sel1 2 1 4 s1 1 21297 sel1 X1 active X2 sel1 X1 X2 sel1 X1 mark X2 sel1 X1 X2 from mark X from X from active X from X sel1 X1 mark X2 sel1 X1 X2 sel1 X1 active X2 sel1 X1 X2 true dbl1 1 0 01 0 84814 cons 2 0 s 1 30106 dbls 1 1 21195 dbl 1 30104 indx 2 2 1 dbl 1 0 dbls 1 0 mark 1 0 0 0 30106 sel 2 0 indx 2 0 sel 2 1 from 1 1 s 1 0 nil 0 3 dbl1 1 84812 sel1 2 2 0 mark 1 1 1 from 1 0 active 1 1 2 quote 1 1 54706 cons 2 3 active 1 0 quote 1 0 s1 1 0 sel1 2 1 54709 s1 1 84814 from mark X from X from active X from X mark 01 active 01 false active quote dbl X dbl1 X false active dbls nil mark nil false mark nil active nil false active dbl 0 mark 0 false mark dbl1 X dbl1 mark X false dbl1 active X dbl1 X dbl1 mark X dbl1 X true dbl1 1 1 0 01 0 36343 cons 2 0 s 1 3 dbls 1 1 592 dbl 1 1 indx 2 2 1 dbl 1 0 dbls 1 0 mark 1 0 0 0 3 sel 2 0 indx 2 0 sel 2 31861 from 1 1 s 1 0 nil 0 29599 dbl1 1 36341 sel1 2 0 mark 1 1 1 from 1 0 active 1 1 2 quote 1 1 36338 cons 2 3 active 1 0 quote 1 0 s1 1 0 sel1 2 1 68201 s1 1 36343 from mark X from X from active X from X mark 0 active 0 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 sel mark X1 X2 sel X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel X1 active X2 sel X1 X2 true dbl1 1 0 01 0 6951 cons 2 0 s 1 3 dbls 1 1 31103 dbl 1 1 indx 2 2 1 dbl 1 0 dbls 1 0 mark 1 0 0 0 3 sel 2 1 0 indx 2 0 sel 2 16780 from 1 1 s 1 0 nil 0 29599 dbl1 1 6949 sel1 2 0 mark 1 1 1 from 1 0 active 1 1 2 quote 1 1 6946 cons 2 3 active 1 0 quote 1 0 s1 1 0 sel1 2 1 23728 s1 1 6951 sel X1 active X2 sel X1 X2 sel X1 mark X2 sel X1 X2 from mark X from X from active X from X sel X1 active X2 sel X1 X2 sel X1 mark X2 sel X1 X2 true dbl1 1 0 01 0 40457 cons 2 0 s 1 3 dbls 1 1 13963 dbl 1 1 indx 2 2 1 dbl 1 0 dbls 1 0 mark 1 0 0 0 3 sel 2 2 0 indx 2 0 sel 2 1 from 1 7569 s 1 0 nil 0 3 dbl1 1 40455 sel1 2 0 mark 1 1 1 from 1 0 active 1 1 2 quote 1 1 40452 cons 2 17067 active 1 0 quote 1 0 s1 1 0 sel1 2 1 40455 s1 1 40457 from mark X from X from active X from X active indx cons X Y Z indx Y Z false indx X1 mark X2 indx X1 X2 indx X1 active X2 indx X1 X2 indx active X1 X2 indx X1 X2 indx mark X1 X2 indx X1 X2 true dbl1 1 0 01 0 13417 cons 2 0 s 1 27128 dbls 1 1 1 dbl 1 1 indx 2 2 283 dbl 1 0 dbls 1 0 mark 1 0 0 0 3 sel 2 0 indx 2 1 2 0 sel 2 1 from 1 15382 s 1 0 nil 0 24218 dbl1 1 13415 sel1 2 0 mark 1 1 1 from 1 0 active 1 1 2 quote 1 1 13412 cons 2 15384 active 1 0 quote 1 0 s1 1 0 sel1 2 1 13415 s1 1 40542 from mark X from X from active X from X active quote s X s1 quote X false s1 active X s1 X s1 mark X s1 X true dbl1 1 0 01 0 13417 cons 2 0 s 1 1 1 dbls 1 31582 dbl 1 1 3558 indx 2 1 2 16414 dbl 1 0 dbls 1 0 mark 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 1 2 21766 from 1 1 36140 s 1 0 nil 0 41828 dbl1 1 1 1 sel1 2 0 mark 1 1 21770 from 1 0 active 1 1 1 quote 1 1 cons 2 2 1 active 1 0 quote 1 0 s1 1 1 0 sel1 2 1 1602 s1 1 1 61135 active quote s X quote X false quote active X quote X quote mark X quote X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 2289 dbl 1 1 1 indx 2 1 2 2 dbl 1 0 dbls 1 0 mark 1 0 0 0 1682 sel 2 0 indx 2 0 sel 2 1 from 1 1 s 1 0 nil 0 6609 dbl1 1 1 1 sel1 2 0 mark 1 1 44155 from 1 0 active 1 1 1 quote 1 1 32392 cons 2 1 1 active 1 0 quote 1 1 0 s1 1 0 sel1 2 2 44152 s1 1 16713 mark dbls X dbls mark X false active dbls cons X Y cons dbl X dbls Y false cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true dbl1 1 0 01 0 1 cons 2 1 0 s 1 1 1 dbls 1 12353 dbl 1 1 1 indx 2 1 2 1356 dbl 1 0 dbls 1 0 mark 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 1 from 1 3374 s 1 0 nil 0 49735 dbl1 1 1 2247 sel1 2 0 mark 1 1 24419 from 1 0 active 1 1 1 quote 1 1 1 cons 2 1 1 active 1 0 quote 1 0 s1 1 0 sel1 2 2 24416 s1 1 40178 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 true dbl1 1 0 01 0 1 cons 2 2 0 s 1 1 1 dbls 1 2 dbl 1 1 1 indx 2 1 2 12447 dbl 1 0 dbls 1 0 mark 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 16844 from 1 2 s 1 0 nil 0 1 dbl1 1 1 22707 sel1 2 0 mark 1 1 22709 from 1 0 active 1 1 1 quote 1 1 8930 cons 2 1 1 active 1 0 quote 1 0 s1 1 0 sel1 2 2 22706 s1 1 55011 active dbls cons X Y dbl X false active dbls cons X Y dbls Y false dbls mark X dbls X dbls active X dbls X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 5874 dbl 1 1 998 indx 2 1 2 1 dbl 1 0 dbls 1 1 0 mark 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 5899 from 1 7049 s 1 0 nil 0 1 dbl1 1 1 6319 sel1 2 0 mark 1 1 38103 from 1 0 active 1 1 1 quote 1 1 1 cons 2 1 1 active 1 0 quote 1 0 s1 1 0 sel1 2 2 38100 s1 1 9334 mark dbl X dbl mark X false dbl active X dbl X dbl mark X dbl X true dbl1 1 0 01 0 1 cons 2 0 s 1 1 1 dbls 1 6705 dbl 1 1 1 indx 2 1 2 1 dbl 1 1 0 dbls 1 0 mark 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 1 from 1 1 s 1 0 nil 0 1 dbl1 1 1 10889 sel1 2 0 mark 1 1 46324 from 1 0 active 1 1 1 quote 1 1 1 cons 2 1 1 active 1 0 quote 1 0 s1 1 0 sel1 2 2 46321 s1 1 11468 NaTT certifiable-1.6