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 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 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 2.2 active dbl s X s s dbl X indx X1 active X2 indx X1 X2 mark dbl X dbl mark X indx X1 mark X2 indx X1 X2 mark sel X1 X2 sel mark X1 mark X2 cons X1 mark X2 cons X1 X2 dbl mark X dbl X mark indx X1 X2 active indx mark X1 X2 mark sel X1 X2 mark X1 active indx cons X Y Z sel X Z mark sel X1 X2 mark X2 active dbls cons X Y dbl X mark indx X1 X2 indx mark X1 X2 indx active X1 X2 indx X1 X2 active dbls cons X Y dbls Y mark cons X1 X2 active cons X1 X2 sel X1 active X2 sel X1 X2 active indx cons X Y Z mark cons sel X Z indx Y Z mark dbls X mark X active sel s X cons Y Z mark sel X Z mark dbls X active dbls mark X active dbls cons X Y cons dbl X dbls Y sel X1 mark X2 sel X1 X2 mark nil active nil mark sel X1 X2 active sel mark X1 mark X2 mark dbls X dbls mark X indx mark X1 X2 indx X1 X2 active dbls cons X Y mark cons dbl X dbls Y active from X mark cons X from s X mark dbl X mark X active indx cons X Y Z cons sel X Z indx Y Z active dbls nil mark nil cons mark X1 X2 cons X1 X2 dbls mark X dbls X from mark X from X mark indx X1 X2 mark X1 active sel s X cons Y Z sel X Z cons X1 active X2 cons X1 X2 sel mark X1 X2 sel X1 X2 s mark X s X mark dbl X active dbl mark X sel active X1 X2 sel X1 X2 s active X s X active indx nil X mark nil mark from X active from X active from X s X active sel 0 cons X Y mark X dbls active X dbls X dbl active X dbl X cons active X1 X2 cons X1 X2 mark s X active s X active from X from s X active dbl s X s dbl X active dbl s X mark s s dbl X active indx cons X Y Z indx Y Z from active X from X active from X cons X from s X active dbl s X dbl X active dbl 0 mark 0 mark 0 active 0 true mark dbl X mark X active from X mark cons X from s X active dbls cons X Y mark cons dbl X dbls Y mark sel X1 X2 active sel mark X1 mark X2 active dbl s X mark s s dbl X mark s X active s X mark dbls X active dbls mark X active sel s X cons Y Z mark sel X Z mark dbls X mark X active indx cons X Y Z mark cons sel X Z indx Y Z active sel 0 cons X Y mark X mark cons X1 X2 active cons X1 X2 mark from X active from X mark sel X1 X2 mark X2 mark dbl X active dbl mark X mark sel X1 X2 mark X1 mark indx X1 X2 active indx mark X1 X2 mark indx X1 X2 mark X1 true cons 2 0 s 1 45687 dbls 1 45688 dbl 1 45688 indx 2 45688 dbl 1 0 dbls 1 0 mark 1 45688 0 0 45690 sel 2 0 indx 2 0 sel 2 45688 from 1 45688 s 1 0 nil 0 45690 mark 1 1 1 from 1 0 active 1 45690 cons 2 19781 active 1 1 0 mark indx X1 X2 mark X1 mark indx X1 X2 active indx mark X1 X2 mark sel X1 X2 mark X1 mark dbl X active dbl mark X mark sel X1 X2 mark X2 mark from X active from X active sel 0 cons X Y mark X active indx cons X Y Z mark cons sel X Z indx Y Z mark dbls X mark X active sel s X cons Y Z mark sel X Z mark dbls X active dbls mark X active dbl s X mark s s dbl X mark sel X1 X2 active sel mark X1 mark X2 active dbls cons X Y mark cons dbl X dbls Y active from X mark cons X from s X mark dbl X mark X s mark X s X indx X1 active X2 indx X1 X2 cons X1 mark X2 cons X1 X2 dbl mark X dbl X sel X1 active X2 sel X1 X2 cons active X1 X2 cons X1 X2 indx X1 mark X2 indx X1 X2 s active X s X cons X1 active X2 cons X1 X2 indx mark X1 X2 indx X1 X2 dbl active X dbl X cons mark X1 X2 cons X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 dbls mark X dbls X dbls active X dbls X from active X from X from mark X from X indx active X1 X2 indx X1 X2 sel mark X1 X2 sel X1 X2 mark from X active from X active dbls cons X Y mark cons dbl X dbls Y active indx cons X Y Z mark cons sel X Z indx Y Z mark sel X1 X2 mark X2 mark sel X1 X2 mark X1 mark sel X1 X2 active sel mark X1 mark X2 mark indx X1 X2 mark X1 mark indx X1 X2 active indx mark X1 X2 active sel 0 cons X Y mark X mark dbl X mark X mark dbl X active dbl mark X active from X mark cons X from s X mark dbls X mark X mark dbls X active dbls mark X active sel s X cons Y Z mark sel X Z active dbl s X mark s s dbl X true cons 2 0 s 1 1 0 dbls 1 1 52871 dbl 1 1 31892 indx 2 1 50260 2 50261 0 dbl 1 0 dbls 1 0 mark 1 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 1 50260 2 29283 0 from 1 1 35659 s 1 0 nil 0 50262 mark 1 1 0 from 1 0 active 1 1 0 cons 2 1 20978 2 0 0 active 1 1 0 active dbl s X mark s s dbl X active sel s X cons Y Z mark sel X Z mark dbls X active dbls mark X active from X mark cons X from s X mark dbl X active dbl mark X mark indx X1 X2 active indx mark X1 X2 mark sel X1 X2 active sel mark X1 mark X2 active indx cons X Y Z mark cons sel X Z indx Y Z active dbls cons X Y mark cons dbl X dbls Y mark from X active from X mark from X active from X active dbls cons X Y mark cons dbl X dbls Y mark cons X1 X2 active cons X1 X2 active indx cons X Y Z mark cons sel X Z indx Y Z active dbl 0 mark 0 active dbls nil mark nil mark sel X1 X2 active sel mark X1 mark X2 s mark X s X indx X1 active X2 indx X1 X2 cons X1 mark X2 cons X1 X2 dbl mark X dbl X sel X1 active X2 sel X1 X2 mark indx X1 X2 active indx mark X1 X2 cons active X1 X2 cons X1 X2 indx X1 mark X2 indx X1 X2 s active X s X cons X1 active X2 cons X1 X2 active sel 0 cons X Y mark X indx mark X1 X2 indx X1 X2 mark dbl X active dbl mark X active indx nil X mark nil dbl active X dbl X cons mark X1 X2 cons X1 X2 sel X1 mark X2 sel X1 X2 mark nil active nil sel active X1 X2 sel X1 X2 mark s X active s X dbls mark X dbls X dbls active X dbls X mark 0 active 0 active from X mark cons X from s X mark dbls X active dbls mark X active sel s X cons Y Z mark sel X Z from active X from X from mark X from X indx active X1 X2 indx X1 X2 sel mark X1 X2 sel X1 X2 active dbl s X mark s s dbl X mark from X active from X active dbls cons X Y mark cons dbl X dbls Y active indx cons X Y Z mark cons sel X Z indx Y Z mark sel X1 X2 active sel mark X1 mark X2 mark indx X1 X2 active indx mark X1 X2 mark dbl X active dbl mark X active from X mark cons X from s X mark dbls X active dbls mark X active sel s X cons Y Z mark sel X Z active dbl s X mark s s dbl X true cons 2 0 s 1 8843 dbls 1 1 15107 dbl 1 15107 indx 2 15107 dbl 1 0 dbls 1 0 mark 1 1 0 0 0 1 sel 2 0 indx 2 0 sel 2 15106 from 1 15107 s 1 0 nil 0 1 mark 1 21653 from 1 0 active 1 21652 cons 2 14003 active 1 15106 active sel s X cons Y Z mark sel X Z mark sel X1 X2 active sel mark X1 mark X2 s mark X s X cons X1 mark X2 cons X1 X2 sel X1 active X2 sel X1 X2 cons active X1 X2 cons X1 X2 s active X s X cons X1 active X2 cons X1 X2 cons mark X1 X2 cons X1 X2 sel X1 mark X2 sel X1 X2 sel active X1 X2 sel X1 X2 from active X from X from mark X from X sel mark X1 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 mark 1 1 s 1 1 mark 1 1 active 1 1 active 1 1 cons 2 0 s 1 1 1 dbls 1 2 1 dbl 1 2 1 indx 2 4 dbl 1 0 dbls 1 0 0 0 3 sel 2 0 2 1 indx 2 0 sel 2 0 1 from 1 2 nil 0 3 from 1 0 cons 2 2 cons 2 1 1 0 s 1 1 0 dbls 1 1 16910 dbl 1 1 0 indx 2 1 2 16911 dbl 1 1 dbls 1 1 0 0 21238 sel 2 1 2 1 indx 2 1 sel 2 1 2 1 from 1 1 17750 nil 0 42199 from 1 1 cons 2 1 16909 2 0 0 mark sel X1 X2 active sel mark X1 mark X2 mark from X active from X active dbls cons X Y mark cons dbl X dbls Y mark cons X1 X2 active cons X1 X2 active indx cons X Y Z mark cons sel X Z indx Y Z active dbl 0 mark 0 active dbls nil mark nil mark sel X1 X2 active sel mark X1 mark X2 s mark X s X indx X1 active X2 indx X1 X2 cons X1 mark X2 cons X1 X2 dbl mark X dbl X sel X1 active X2 sel X1 X2 mark indx X1 X2 active indx mark X1 X2 cons active X1 X2 cons X1 X2 indx X1 mark X2 indx X1 X2 s active X s X cons X1 active X2 cons X1 X2 active sel 0 cons X Y mark X indx mark X1 X2 indx X1 X2 mark dbl X active dbl mark X active indx nil X mark nil dbl active X dbl X cons mark X1 X2 cons X1 X2 sel X1 mark X2 sel X1 X2 mark nil active nil sel active X1 X2 sel X1 X2 mark s X active s X dbls mark X dbls X dbls active X dbls X mark 0 active 0 active from X mark cons X from s X mark dbls X active dbls mark X active sel s X cons Y Z mark sel X Z from active X from X from mark X from X indx active X1 X2 indx X1 X2 sel mark X1 X2 sel X1 X2 active dbl s X mark s s dbl X mark sel X1 X2 active sel mark X1 mark X2 false mark dbls X dbls mark 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 active from X cons X from s X false active from X from s X false active from X s X false active indx nil X mark nil false mark indx X1 X2 indx mark X1 X2 false active dbls nil mark nil false mark nil active nil false active dbl 0 mark 0 false mark 0 active 0 false mark sel X1 X2 sel mark X1 mark 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 sel X1 mark X2 sel X1 X2 sel X1 active X2 sel X1 X2 sel active X1 X2 sel X1 X2 sel mark X1 X2 sel X1 X2 true cons 2 0 s 1 1 1 dbls 1 1 46172 dbl 1 2 indx 2 2 47960 dbl 1 0 dbls 1 0 mark 1 15106 0 0 4 sel 2 1 2 0 indx 2 0 sel 2 1 2 2920 from 1 1 1 s 1 0 nil 0 0 mark 1 1 1 from 1 0 active 1 1 2 cons 2 1 2 12701 active 1 15106 active indx cons X Y Z indx Y Z false active dbls cons X Y cons dbl X dbls Y false cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true cons 2 1 0 s 1 1 1 dbls 1 1 25967 dbl 1 2 indx 2 2 43619 dbl 1 0 dbls 1 0 mark 1 15106 0 0 4 sel 2 0 indx 2 0 sel 2 1 2 40940 from 1 59112 s 1 0 nil 0 0 mark 1 1 1 from 1 0 active 1 1 2 cons 2 1 2 32136 active 1 15106 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 cons 2 2 0 s 1 1 1 dbls 1 1 12678 dbl 1 2 indx 2 2 24121 dbl 1 0 dbls 1 0 mark 1 15106 0 0 4 sel 2 0 indx 2 0 sel 2 1 2 1 from 1 29635 s 1 0 nil 0 0 mark 1 1 1 from 1 0 active 1 1 2 cons 2 1 2 2 active 1 15106 active dbls cons X Y dbl X false active dbls cons X Y dbls Y false from active X from X from mark X from X true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 2 indx 2 2 4930 dbl 1 0 dbls 1 0 mark 1 15106 0 0 4 sel 2 0 indx 2 0 sel 2 1 2 44797 from 1 41087 s 1 0 nil 0 0 mark 1 1 1 from 1 1 0 active 1 1 2 cons 2 1 2 8823 active 1 15106 mark dbl X dbl mark X false dbl active X dbl X dbl mark X dbl X true cons 2 0 s 1 1 1 dbls 1 1 43050 dbl 1 2 indx 2 2 39572 dbl 1 1 0 dbls 1 0 mark 1 15106 0 0 10 sel 2 0 indx 2 0 sel 2 1 2 18009 from 1 1 s 1 0 nil 0 0 mark 1 1 1 from 1 0 active 1 1 2 cons 2 1 2 26206 active 1 15106 indx mark X1 X2 indx X1 X2 indx active X1 X2 indx X1 X2 indx X1 mark X2 indx X1 X2 indx X1 active X2 indx X1 X2 true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 2 indx 2 2 1 dbl 1 0 dbls 1 0 mark 1 15106 0 0 4 sel 2 0 indx 2 1 0 sel 2 1 2 1 from 1 1 s 1 0 nil 0 0 mark 1 1 1 from 1 0 active 1 1 2 cons 2 1 2 2 active 1 15106 indx X1 active X2 indx X1 X2 indx X1 mark X2 indx X1 X2 indx X1 active X2 indx X1 X2 indx X1 mark X2 indx X1 X2 true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 1735 indx 2 2 50609 dbl 1 0 dbls 1 0 mark 1 15106 0 0 1737 sel 2 0 indx 2 2 0 sel 2 1 2 1 from 1 25306 s 1 0 nil 0 0 mark 1 1 1 from 1 0 active 1 1 2 cons 2 1 2 2 active 1 15106 active dbl s X s s dbl X false s active X s X s mark X s X true cons 2 0 s 1 1 1 dbls 1 1 18255 dbl 1 2 indx 2 2 79523 dbl 1 0 dbls 1 0 mark 1 15106 0 0 4 sel 2 0 indx 2 0 sel 2 1 2 44760 from 1 1 s 1 1 0 nil 0 0 mark 1 1 1 from 1 0 active 1 1 2 cons 2 1 2 2 active 1 15106 dbls active X dbls X dbls mark X dbls X true cons 2 0 s 1 1 1 dbls 1 1 1 dbl 1 2 indx 2 2 37978 dbl 1 0 dbls 1 1 0 mark 1 15106 0 0 4 sel 2 0 indx 2 0 sel 2 1 2 41755 from 1 50110 s 1 0 nil 0 0 mark 1 1 1 from 1 0 active 1 1 2 cons 2 1 2 8484 active 1 15106 NaTT certifiable-1.6