active zeros mark cons 0 zeros active U11 tt L mark U12 tt L active U12 tt L mark s length L active U21 tt IL M N mark U22 tt IL M N active U22 tt IL M N mark U23 tt IL M N active U23 tt IL M N mark cons N take M IL active length nil mark 0 active length cons N L mark U11 tt L active take 0 IL mark nil active take s M cons N IL mark U21 tt IL M N mark zeros active zeros mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark U11 X1 X2 active U11 mark X1 X2 mark tt active tt mark U12 X1 X2 active U12 mark X1 X2 mark s X active s mark X mark length X active length mark X mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark take X1 X2 active take mark X1 mark X2 mark nil active nil 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 U11 mark X1 X2 U11 X1 X2 U11 X1 mark X2 U11 X1 X2 U11 active X1 X2 U11 X1 X2 U11 X1 active X2 U11 X1 X2 U12 mark X1 X2 U12 X1 X2 U12 X1 mark X2 U12 X1 X2 U12 active X1 X2 U12 X1 X2 U12 X1 active X2 U12 X1 X2 s mark X s X s active X s X length mark X length X length active X length X U21 mark X1 X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 mark X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 mark X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 X3 mark X4 U21 X1 X2 X3 X4 U21 active X1 X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 active X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 active X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 X3 active X4 U21 X1 X2 X3 X4 U22 mark X1 X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 mark X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 X2 mark X3 X4 U22 X1 X2 X3 X4 U22 X1 X2 X3 mark X4 U22 X1 X2 X3 X4 U22 active X1 X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 active X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 X2 active X3 X4 U22 X1 X2 X3 X4 U22 X1 X2 X3 active X4 U22 X1 X2 X3 X4 U23 mark X1 X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 mark X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 mark X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 X3 mark X4 U23 X1 X2 X3 X4 U23 active X1 X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 active X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 active X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 X3 active X4 U23 X1 X2 X3 X4 take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 2.2 active U11 tt L U12 tt L active zeros cons 0 zeros U22 X1 mark X2 X3 X4 U22 X1 X2 X3 X4 cons mark X1 X2 cons X1 X2 U11 X1 active X2 U11 X1 X2 active U12 tt L s length L mark s X active s mark X mark U22 X1 X2 X3 X4 U22 mark X1 X2 X3 X4 U22 active X1 X2 X3 X4 U22 X1 X2 X3 X4 mark length X length mark X U11 active X1 X2 U11 X1 X2 mark U11 X1 X2 active U11 mark X1 X2 active U21 tt IL M N mark U22 tt IL M N U23 X1 X2 X3 active X4 U23 X1 X2 X3 X4 mark U22 X1 X2 X3 X4 mark X1 U12 X1 mark X2 U12 X1 X2 mark U21 X1 X2 X3 X4 U21 mark X1 X2 X3 X4 active length nil mark 0 s mark X s X cons active X1 X2 cons X1 X2 U11 mark X1 X2 U11 X1 X2 mark take X1 X2 mark X1 mark U11 X1 X2 U11 mark X1 X2 take active X1 X2 take X1 X2 mark take X1 X2 active take mark X1 mark X2 active U22 tt IL M N U23 tt IL M N mark s X s mark X U23 X1 X2 active X3 X4 U23 X1 X2 X3 X4 mark tt active tt active take s M cons N IL U21 tt IL M N U22 mark X1 X2 X3 X4 U22 X1 X2 X3 X4 U21 X1 mark X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 X3 active X4 U21 X1 X2 X3 X4 take X1 mark X2 take X1 X2 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark length X active length mark X U22 X1 X2 X3 mark X4 U22 X1 X2 X3 X4 mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 U21 mark X1 X2 X3 X4 U21 X1 X2 X3 X4 mark U12 X1 X2 mark X1 mark U23 X1 X2 X3 X4 mark X1 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 mark length X mark X U12 mark X1 X2 U12 X1 X2 U22 X1 active X2 X3 X4 U22 X1 X2 X3 X4 U21 X1 active X2 X3 X4 U21 X1 X2 X3 X4 mark U12 X1 X2 active U12 mark X1 X2 U21 active X1 X2 X3 X4 U21 X1 X2 X3 X4 active length cons N L U11 tt L active U12 tt L mark s length L U23 X1 X2 mark X3 X4 U23 X1 X2 X3 X4 mark take X1 X2 mark X2 mark nil active nil take mark X1 X2 take X1 X2 length active X length X mark 0 active 0 U23 X1 X2 X3 mark X4 U23 X1 X2 X3 X4 active length cons N L mark U11 tt L U21 X1 X2 active X3 X4 U21 X1 X2 X3 X4 mark U11 X1 X2 mark X1 s active X s X active U21 tt IL M N U22 tt IL M N U22 X1 X2 mark X3 X4 U22 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 mark cons X1 X2 cons mark X1 X2 mark U21 X1 X2 X3 X4 mark X1 U12 X1 active X2 U12 X1 X2 cons X1 mark X2 cons X1 X2 U23 active X1 X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 mark X2 X3 X4 U23 X1 X2 X3 X4 take X1 active X2 take X1 X2 mark cons X1 X2 mark X1 active U12 tt L length L U22 X1 X2 active X3 X4 U22 X1 X2 X3 X4 mark zeros active zeros mark take X1 X2 take mark X1 mark X2 active U23 tt IL M N mark cons N take M IL mark cons X1 X2 active cons mark X1 X2 active U23 tt IL M N take M IL U12 active X1 X2 U12 X1 X2 active take 0 IL mark nil active zeros mark cons 0 zeros mark s X mark X U23 mark X1 X2 X3 X4 U23 X1 X2 X3 X4 U22 X1 X2 X3 active X4 U22 X1 X2 X3 X4 length mark X length X U21 X1 X2 X3 mark X4 U21 X1 X2 X3 X4 mark U23 X1 X2 X3 X4 U23 mark X1 X2 X3 X4 active U11 tt L mark U12 tt L active U22 tt IL M N mark U23 tt IL M N U21 X1 X2 mark X3 X4 U21 X1 X2 X3 X4 U23 X1 active X2 X3 X4 U23 X1 X2 X3 X4 U11 X1 mark X2 U11 X1 X2 mark U12 X1 X2 U12 mark X1 X2 active take s M cons N IL mark U21 tt IL M N active U23 tt IL M N cons N take M IL true active take s M cons N IL mark U21 tt IL M N mark take X1 X2 mark X2 active U12 tt L mark s length L mark U12 X1 X2 active U12 mark X1 X2 mark length X mark X mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 active U22 tt IL M N mark U23 tt IL M N mark U23 X1 X2 X3 X4 mark X1 mark U12 X1 X2 mark X1 active U11 tt L mark U12 tt L mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 mark length X active length mark X mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark s X mark X active zeros mark cons 0 zeros mark cons X1 X2 active cons mark X1 X2 active U23 tt IL M N mark cons N take M IL mark take X1 X2 active take mark X1 mark X2 mark zeros active zeros mark take X1 X2 mark X1 mark cons X1 X2 mark X1 mark U22 X1 X2 X3 X4 mark X1 active U21 tt IL M N mark U22 tt IL M N mark U21 X1 X2 X3 X4 mark X1 mark U11 X1 X2 active U11 mark X1 X2 mark s X active s mark X mark U11 X1 X2 mark X1 active length cons N L mark U11 tt L true U21 4 36230 U11 2 36230 cons 2 0 s 1 1 take 2 0 take 2 36230 U23 4 0 U23 4 36230 zeros 0 36230 U12 2 36230 U12 2 0 mark 1 36230 0 0 1 s 1 0 nil 0 1 mark 1 1 U11 2 0 active 1 1 cons 2 36229 active 1 1 0 U21 4 0 U22 4 0 tt 0 1 U22 4 36230 length 1 36230 length 1 0 active length cons N L mark U11 tt L mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 mark U21 X1 X2 X3 X4 mark X1 active U21 tt IL M N mark U22 tt IL M N mark U22 X1 X2 X3 X4 mark X1 mark cons X1 X2 mark X1 mark take X1 X2 mark X1 mark zeros active zeros mark take X1 X2 active take mark X1 mark X2 active U23 tt IL M N mark cons N take M IL active zeros mark cons 0 zeros mark s X mark X mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark length X active length mark X mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 active U11 tt L mark U12 tt L mark U12 X1 X2 mark X1 mark U23 X1 X2 X3 X4 mark X1 active U22 tt IL M N mark U23 tt IL M N mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 mark length X mark X mark U12 X1 X2 active U12 mark X1 X2 active U12 tt L mark s length L mark take X1 X2 mark X2 active take s M cons N IL mark U21 tt IL M N mark length X active length mark X U22 X1 X2 mark X3 X4 U22 X1 X2 X3 X4 active U21 tt IL M N mark U22 tt IL M N mark tt active tt active length cons N L mark U11 tt L U22 X1 X2 active X3 X4 U22 X1 X2 X3 X4 active zeros mark cons 0 zeros active U12 tt L mark s length L mark U12 X1 X2 active U12 mark X1 X2 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 s mark X s X cons active X1 X2 cons X1 X2 U23 X1 X2 X3 active X4 U23 X1 X2 X3 X4 mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 U12 mark X1 X2 U12 X1 X2 mark s X active s mark X U23 active X1 X2 X3 X4 U23 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U12 active X1 X2 U12 X1 X2 mark take X1 X2 active take mark X1 mark X2 U11 mark X1 X2 U11 X1 X2 take X1 mark X2 take X1 X2 U21 active X1 X2 X3 X4 U21 X1 X2 X3 X4 active U22 tt IL M N mark U23 tt IL M N U12 X1 mark X2 U12 X1 X2 take mark X1 X2 take X1 X2 active take s M cons N IL mark U21 tt IL M N length active X length X active length nil mark 0 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 U22 X1 mark X2 X3 X4 U22 X1 X2 X3 X4 U22 active X1 X2 X3 X4 U22 X1 X2 X3 X4 U11 active X1 X2 U11 X1 X2 U23 X1 X2 active X3 X4 U23 X1 X2 X3 X4 mark U11 X1 X2 active U11 mark X1 X2 U23 mark X1 X2 X3 X4 U23 X1 X2 X3 X4 U11 X1 active X2 U11 X1 X2 mark cons X1 X2 active cons mark X1 X2 U21 X1 active X2 X3 X4 U21 X1 X2 X3 X4 mark nil active nil cons mark X1 X2 cons X1 X2 U23 X1 mark X2 X3 X4 U23 X1 X2 X3 X4 mark zeros active zeros active take 0 IL mark nil mark 0 active 0 U22 X1 X2 X3 mark X4 U22 X1 X2 X3 X4 U21 mark X1 X2 X3 X4 U21 X1 X2 X3 X4 take X1 active X2 take X1 X2 U22 X1 X2 X3 active X4 U22 X1 X2 X3 X4 U23 X1 X2 X3 mark X4 U23 X1 X2 X3 X4 active U23 tt IL M N mark cons N take M IL length mark X length X U23 X1 active X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 mark X3 X4 U23 X1 X2 X3 X4 U22 mark X1 X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 active X2 X3 X4 U22 X1 X2 X3 X4 U21 X1 X2 X3 active X4 U21 X1 X2 X3 X4 s active X s X U21 X1 mark X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 mark X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 active X3 X4 U21 X1 X2 X3 X4 take active X1 X2 take X1 X2 U12 X1 active X2 U12 X1 X2 U11 X1 mark X2 U11 X1 X2 U21 X1 X2 X3 mark X4 U21 X1 X2 X3 X4 active U11 tt L mark U12 tt L mark length X mark X mark length X active length mark X active U21 tt IL M N mark U22 tt IL M N active length cons N L mark U11 tt L active zeros mark cons 0 zeros active U12 tt L mark s length L mark U12 X1 X2 mark X1 mark U12 X1 X2 active U12 mark X1 X2 mark U23 X1 X2 X3 X4 mark X1 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark U21 X1 X2 X3 X4 mark X1 mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 mark s X mark X mark take X1 X2 mark X2 mark take X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 active U22 tt IL M N mark U23 tt IL M N active take s M cons N IL mark U21 tt IL M N mark U22 X1 X2 X3 X4 mark X1 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 mark cons X1 X2 mark X1 mark zeros active zeros active U23 tt IL M N mark cons N take M IL active U11 tt L mark U12 tt L true U21 4 1 2 3 4 14137 U11 2 1 2 23217 cons 2 0 s 1 1 0 take 2 0 take 2 1 2 46879 U23 4 0 U23 4 1 2 3 4 14137 zeros 0 32527 U12 2 1 2 23217 U12 2 0 mark 1 1 0 0 0 0 s 1 0 nil 0 27857 mark 1 1 0 U11 2 0 active 1 1 0 cons 2 1 2 0 active 1 1 0 U21 4 0 U22 4 0 tt 0 32742 U22 4 1 2 3 4 14137 length 1 1 55959 length 1 0 active U11 tt L mark U12 tt L active U23 tt IL M N mark cons N take M IL mark zeros active zeros mark cons X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 active take s M cons N IL mark U21 tt IL M N active U22 tt IL M N mark U23 tt IL M N mark take X1 X2 active take mark X1 mark X2 mark s X mark X mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark U12 X1 X2 active U12 mark X1 X2 active U12 tt L mark s length L active zeros mark cons 0 zeros active length cons N L mark U11 tt L active U21 tt IL M N mark U22 tt IL M N mark length X active length mark X mark length X active length mark X U22 X1 X2 mark X3 X4 U22 X1 X2 X3 X4 active U21 tt IL M N mark U22 tt IL M N mark tt active tt active length cons N L mark U11 tt L U22 X1 X2 active X3 X4 U22 X1 X2 X3 X4 active zeros mark cons 0 zeros active U12 tt L mark s length L mark U12 X1 X2 active U12 mark X1 X2 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 s mark X s X cons active X1 X2 cons X1 X2 U23 X1 X2 X3 active X4 U23 X1 X2 X3 X4 mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 U12 mark X1 X2 U12 X1 X2 mark s X active s mark X U23 active X1 X2 X3 X4 U23 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U12 active X1 X2 U12 X1 X2 mark take X1 X2 active take mark X1 mark X2 U11 mark X1 X2 U11 X1 X2 take X1 mark X2 take X1 X2 U21 active X1 X2 X3 X4 U21 X1 X2 X3 X4 active U22 tt IL M N mark U23 tt IL M N U12 X1 mark X2 U12 X1 X2 take mark X1 X2 take X1 X2 active take s M cons N IL mark U21 tt IL M N length active X length X active length nil mark 0 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 U22 X1 mark X2 X3 X4 U22 X1 X2 X3 X4 U22 active X1 X2 X3 X4 U22 X1 X2 X3 X4 U11 active X1 X2 U11 X1 X2 U23 X1 X2 active X3 X4 U23 X1 X2 X3 X4 mark U11 X1 X2 active U11 mark X1 X2 U23 mark X1 X2 X3 X4 U23 X1 X2 X3 X4 U11 X1 active X2 U11 X1 X2 mark cons X1 X2 active cons mark X1 X2 U21 X1 active X2 X3 X4 U21 X1 X2 X3 X4 mark nil active nil cons mark X1 X2 cons X1 X2 U23 X1 mark X2 X3 X4 U23 X1 X2 X3 X4 mark zeros active zeros active take 0 IL mark nil mark 0 active 0 U22 X1 X2 X3 mark X4 U22 X1 X2 X3 X4 U21 mark X1 X2 X3 X4 U21 X1 X2 X3 X4 take X1 active X2 take X1 X2 U22 X1 X2 X3 active X4 U22 X1 X2 X3 X4 U23 X1 X2 X3 mark X4 U23 X1 X2 X3 X4 active U23 tt IL M N mark cons N take M IL length mark X length X U23 X1 active X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 mark X3 X4 U23 X1 X2 X3 X4 U22 mark X1 X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 active X2 X3 X4 U22 X1 X2 X3 X4 U21 X1 X2 X3 active X4 U21 X1 X2 X3 X4 s active X s X U21 X1 mark X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 mark X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 active X3 X4 U21 X1 X2 X3 X4 take active X1 X2 take X1 X2 U12 X1 active X2 U12 X1 X2 U11 X1 mark X2 U11 X1 X2 U21 X1 X2 X3 mark X4 U21 X1 X2 X3 X4 active U11 tt L mark U12 tt L mark length X active length mark X active U21 tt IL M N mark U22 tt IL M N active length cons N L mark U11 tt L active zeros mark cons 0 zeros active U12 tt L mark s length L mark U12 X1 X2 active U12 mark X1 X2 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 mark s X mark X mark take X1 X2 active take mark X1 mark X2 active U22 tt IL M N mark U23 tt IL M N active take s M cons N IL mark U21 tt IL M N mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 mark U11 X1 X2 active U11 mark X1 X2 mark cons X1 X2 mark X1 mark zeros active zeros active U23 tt IL M N mark cons N take M IL active U11 tt L mark U12 tt L true U21 4 4 58033 U11 2 49659 cons 2 0 s 1 1 0 take 2 0 take 2 2 58033 U23 4 0 U23 4 4 26532 zeros 0 11750 U12 2 49659 U12 2 0 mark 1 1 0 0 0 11748 s 1 0 nil 0 1 mark 1 1 0 U11 2 0 active 1 1 0 cons 2 1 1 active 1 1 0 U21 4 0 U22 4 0 tt 0 29505 U22 4 4 52064 length 1 49659 length 1 0 active U11 tt L mark U12 tt L mark zeros active zeros mark U11 X1 X2 active U11 mark X1 X2 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 mark take X1 X2 active take mark X1 mark X2 mark s X mark X mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark U12 X1 X2 active U12 mark X1 X2 active U12 tt L mark s length L active length cons N L mark U11 tt L mark length X active length mark X mark length X active length mark X U22 X1 X2 mark X3 X4 U22 X1 X2 X3 X4 active U21 tt IL M N mark U22 tt IL M N mark tt active tt active length cons N L mark U11 tt L U22 X1 X2 active X3 X4 U22 X1 X2 X3 X4 active zeros mark cons 0 zeros active U12 tt L mark s length L mark U12 X1 X2 active U12 mark X1 X2 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 s mark X s X cons active X1 X2 cons X1 X2 U23 X1 X2 X3 active X4 U23 X1 X2 X3 X4 mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 U12 mark X1 X2 U12 X1 X2 mark s X active s mark X U23 active X1 X2 X3 X4 U23 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U12 active X1 X2 U12 X1 X2 mark take X1 X2 active take mark X1 mark X2 U11 mark X1 X2 U11 X1 X2 take X1 mark X2 take X1 X2 U21 active X1 X2 X3 X4 U21 X1 X2 X3 X4 active U22 tt IL M N mark U23 tt IL M N U12 X1 mark X2 U12 X1 X2 take mark X1 X2 take X1 X2 active take s M cons N IL mark U21 tt IL M N length active X length X active length nil mark 0 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 cons X1 mark X2 cons X1 X2 U22 X1 mark X2 X3 X4 U22 X1 X2 X3 X4 U22 active X1 X2 X3 X4 U22 X1 X2 X3 X4 U11 active X1 X2 U11 X1 X2 U23 X1 X2 active X3 X4 U23 X1 X2 X3 X4 mark U11 X1 X2 active U11 mark X1 X2 U23 mark X1 X2 X3 X4 U23 X1 X2 X3 X4 U11 X1 active X2 U11 X1 X2 mark cons X1 X2 active cons mark X1 X2 U21 X1 active X2 X3 X4 U21 X1 X2 X3 X4 mark nil active nil cons mark X1 X2 cons X1 X2 U23 X1 mark X2 X3 X4 U23 X1 X2 X3 X4 mark zeros active zeros active take 0 IL mark nil mark 0 active 0 U22 X1 X2 X3 mark X4 U22 X1 X2 X3 X4 U21 mark X1 X2 X3 X4 U21 X1 X2 X3 X4 take X1 active X2 take X1 X2 U22 X1 X2 X3 active X4 U22 X1 X2 X3 X4 U23 X1 X2 X3 mark X4 U23 X1 X2 X3 X4 active U23 tt IL M N mark cons N take M IL length mark X length X U23 X1 active X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 mark X3 X4 U23 X1 X2 X3 X4 U22 mark X1 X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 active X2 X3 X4 U22 X1 X2 X3 X4 U21 X1 X2 X3 active X4 U21 X1 X2 X3 X4 s active X s X U21 X1 mark X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 mark X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 active X3 X4 U21 X1 X2 X3 X4 take active X1 X2 take X1 X2 U12 X1 active X2 U12 X1 X2 U11 X1 mark X2 U11 X1 X2 U21 X1 X2 X3 mark X4 U21 X1 X2 X3 X4 active U11 tt L mark U12 tt L mark length X active length mark X active length cons N L mark U11 tt L active U12 tt L mark s length L mark U12 X1 X2 active U12 mark X1 X2 mark U23 X1 X2 X3 X4 active U23 mark X1 X2 X3 X4 mark U21 X1 X2 X3 X4 active U21 mark X1 X2 X3 X4 mark s X mark X mark take X1 X2 active take mark X1 mark X2 mark U22 X1 X2 X3 X4 active U22 mark X1 X2 X3 X4 mark U11 X1 X2 active U11 mark X1 X2 active U11 tt L mark U12 tt L true U21 4 1 U11 2 2 cons 2 0 s 1 4 take 2 0 take 2 2 U23 4 0 U23 4 1 zeros 0 4 U12 2 2 U12 2 0 mark 1 2 0 0 31678 s 1 0 nil 0 4 mark 1 3 U11 2 0 active 1 1 0 cons 2 4 active 1 1 0 U21 4 0 U22 4 0 tt 0 4 U22 4 1 length 1 2 length 1 0 active U11 tt L mark U12 tt L mark U11 X1 X2 active U11 mark X1 X2 mark take X1 X2 active take mark X1 mark X2 mark s X mark X mark U12 X1 X2 active U12 mark X1 X2 active U12 tt L mark s length L active length cons N L mark U11 tt L mark length X active length mark X U22 X1 X2 mark X3 X4 U22 X1 X2 X3 X4 U22 X1 X2 active X3 X4 U22 X1 X2 X3 X4 s mark X s X cons active X1 X2 cons X1 X2 U23 X1 X2 X3 active X4 U23 X1 X2 X3 X4 U12 mark X1 X2 U12 X1 X2 U23 active X1 X2 X3 X4 U23 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U12 active X1 X2 U12 X1 X2 U11 mark X1 X2 U11 X1 X2 take X1 mark X2 take X1 X2 U21 active X1 X2 X3 X4 U21 X1 X2 X3 X4 U12 X1 mark X2 U12 X1 X2 take mark X1 X2 take X1 X2 length active X length X cons X1 mark X2 cons X1 X2 U22 X1 mark X2 X3 X4 U22 X1 X2 X3 X4 U22 active X1 X2 X3 X4 U22 X1 X2 X3 X4 U11 active X1 X2 U11 X1 X2 U23 X1 X2 active X3 X4 U23 X1 X2 X3 X4 U23 mark X1 X2 X3 X4 U23 X1 X2 X3 X4 U11 X1 active X2 U11 X1 X2 U21 X1 active X2 X3 X4 U21 X1 X2 X3 X4 cons mark X1 X2 cons X1 X2 U23 X1 mark X2 X3 X4 U23 X1 X2 X3 X4 U22 X1 X2 X3 mark X4 U22 X1 X2 X3 X4 U21 mark X1 X2 X3 X4 U21 X1 X2 X3 X4 take X1 active X2 take X1 X2 U22 X1 X2 X3 active X4 U22 X1 X2 X3 X4 U23 X1 X2 X3 mark X4 U23 X1 X2 X3 X4 length mark X length X U23 X1 active X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 mark X3 X4 U23 X1 X2 X3 X4 U22 mark X1 X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 active X2 X3 X4 U22 X1 X2 X3 X4 U21 X1 X2 X3 active X4 U21 X1 X2 X3 X4 s active X s X U21 X1 mark X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 mark X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 active X3 X4 U21 X1 X2 X3 X4 take active X1 X2 take X1 X2 U12 X1 active X2 U12 X1 X2 U11 X1 mark X2 U11 X1 X2 U21 X1 X2 X3 mark X4 U21 X1 X2 X3 X4 mark length X active length mark X active length cons N L mark U11 tt L active U12 tt L mark s length L mark U12 X1 X2 active U12 mark X1 X2 mark s X mark X mark take X1 X2 active take mark X1 mark X2 mark U11 X1 X2 active U11 mark X1 X2 active U11 tt L mark U12 tt L true U21 4 2 U11 2 2 cons 2 0 s 1 22145 take 2 0 take 2 1 U23 4 0 U23 4 2 zeros 0 4 U12 2 2 U12 2 0 mark 1 5 0 0 31678 s 1 0 nil 0 19459 mark 1 3 U11 2 0 active 1 1 0 cons 2 8944 active 1 1 3 U21 4 0 U22 4 0 tt 0 20261 U22 4 1 length 1 2 length 1 0 active U11 tt L mark U12 tt L mark U11 X1 X2 active U11 mark X1 X2 mark s X mark X mark U12 X1 X2 active U12 mark X1 X2 active U12 tt L mark s length L active length cons N L mark U11 tt L mark length X active length mark X U22 X1 X2 mark X3 X4 U22 X1 X2 X3 X4 U22 X1 X2 active X3 X4 U22 X1 X2 X3 X4 s mark X s X cons active X1 X2 cons X1 X2 U23 X1 X2 X3 active X4 U23 X1 X2 X3 X4 U12 mark X1 X2 U12 X1 X2 U23 active X1 X2 X3 X4 U23 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U12 active X1 X2 U12 X1 X2 U11 mark X1 X2 U11 X1 X2 take X1 mark X2 take X1 X2 U21 active X1 X2 X3 X4 U21 X1 X2 X3 X4 U12 X1 mark X2 U12 X1 X2 take mark X1 X2 take X1 X2 length active X length X cons X1 mark X2 cons X1 X2 U22 X1 mark X2 X3 X4 U22 X1 X2 X3 X4 U22 active X1 X2 X3 X4 U22 X1 X2 X3 X4 U11 active X1 X2 U11 X1 X2 U23 X1 X2 active X3 X4 U23 X1 X2 X3 X4 U23 mark X1 X2 X3 X4 U23 X1 X2 X3 X4 U11 X1 active X2 U11 X1 X2 U21 X1 active X2 X3 X4 U21 X1 X2 X3 X4 cons mark X1 X2 cons X1 X2 U23 X1 mark X2 X3 X4 U23 X1 X2 X3 X4 U22 X1 X2 X3 mark X4 U22 X1 X2 X3 X4 U21 mark X1 X2 X3 X4 U21 X1 X2 X3 X4 take X1 active X2 take X1 X2 U22 X1 X2 X3 active X4 U22 X1 X2 X3 X4 U23 X1 X2 X3 mark X4 U23 X1 X2 X3 X4 length mark X length X U23 X1 active X2 X3 X4 U23 X1 X2 X3 X4 U23 X1 X2 mark X3 X4 U23 X1 X2 X3 X4 U22 mark X1 X2 X3 X4 U22 X1 X2 X3 X4 U22 X1 active X2 X3 X4 U22 X1 X2 X3 X4 U21 X1 X2 X3 active X4 U21 X1 X2 X3 X4 s active X s X U21 X1 mark X2 X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 mark X3 X4 U21 X1 X2 X3 X4 U21 X1 X2 active X3 X4 U21 X1 X2 X3 X4 take active X1 X2 take X1 X2 U12 X1 active X2 U12 X1 X2 U11 X1 mark X2 U11 X1 X2 U21 X1 X2 X3 mark X4 U21 X1 X2 X3 X4 mark length X active length mark X active length cons N L mark U11 tt L active U12 tt L mark s length L mark U12 X1 X2 active U12 mark X1 X2 mark s X mark X mark U11 X1 X2 active U11 mark X1 X2 active U11 tt L mark U12 tt L true Failed! NaTT certifiable-1.6