active zeros mark cons 0 zeros active and tt X mark X active length nil mark 0 active length cons N L mark s length L mark zeros active zeros mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark and X1 X2 active and mark X1 X2 mark tt active tt mark length X active length mark X mark nil active nil mark s X active s mark 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 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 length mark X length X length active X length X s mark X s X s active X s X 2.2 mark cons X1 X2 active cons mark X1 X2 mark and X1 X2 and mark X1 X2 and X1 mark X2 and X1 X2 mark tt active tt cons X1 mark X2 cons X1 X2 s mark X s X mark s X s mark X cons X1 active X2 cons X1 X2 length mark X length X mark s X mark X cons active X1 X2 cons X1 X2 and X1 active X2 and X1 X2 mark and X1 X2 mark X1 active length nil mark 0 length active X length X mark nil active nil mark s X active s mark X active length cons N L s length L cons mark X1 X2 cons X1 X2 mark and X1 X2 active and mark X1 X2 and active X1 X2 and X1 X2 active length cons N L length L active zeros cons 0 zeros mark length X length mark X active length cons N L mark s length L mark zeros active zeros active zeros mark cons 0 zeros and mark X1 X2 and X1 X2 mark length X active length mark X mark cons X1 X2 cons mark X1 X2 active and tt X mark X s active X s X mark 0 active 0 mark cons X1 X2 mark X1 mark length X mark X true mark length X mark X mark cons X1 X2 mark X1 mark and X1 X2 mark X1 mark s X mark X active and tt X mark X mark length X active length mark X active zeros mark cons 0 zeros active length cons N L mark s length L mark zeros active zeros mark and X1 X2 active and mark X1 X2 mark s X active s mark X mark cons X1 X2 active cons mark X1 X2 true cons 2 0 s 1 11798 and 2 11799 zeros 0 11799 mark 1 11799 0 0 1 s 1 0 nil 0 1 mark 1 1 active 1 1 cons 2 8690 active 1 1 0 tt 0 1 length 1 11799 length 1 0 and 2 0 mark and X1 X2 active and mark X1 X2 mark zeros active zeros active length cons N L mark s length L active zeros mark cons 0 zeros mark length X active length mark X active and tt X mark X mark s X mark X mark and X1 X2 mark X1 mark cons X1 X2 mark X1 mark length X mark X and X1 mark X2 and X1 X2 active length cons N L mark s length L cons active X1 X2 cons X1 X2 mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros active length nil mark 0 cons X1 active X2 cons X1 X2 length mark X length X and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 length active X length X mark zeros active zeros mark length X active length mark X mark 0 active 0 and X1 active X2 and X1 X2 cons X1 mark X2 cons X1 X2 mark s X active s mark X s mark X s X s active X s X mark nil active nil mark tt active tt cons mark X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active and tt X mark X active length cons N L mark s length L mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros mark zeros active zeros mark length X mark X mark length X active length mark X mark s X mark X mark cons X1 X2 mark X1 active and tt X mark X true cons 2 0 s 1 1 0 and 2 1 2 18588 zeros 0 55890 mark 1 1 11799 0 0 0 s 1 0 nil 0 19354 mark 1 1 0 active 1 1 0 cons 2 1 2 0 active 1 1 11799 tt 0 21828 length 1 1 841 length 1 0 and 2 0 mark cons X1 X2 mark X1 mark s X mark X mark length X active length mark X mark zeros active zeros active zeros mark cons 0 zeros mark and X1 X2 active and mark X1 X2 active length cons N L mark s length L and X1 mark X2 and X1 X2 active length cons N L mark s length L cons active X1 X2 cons X1 X2 mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros active length nil mark 0 cons X1 active X2 cons X1 X2 length mark X length X and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 length active X length X mark zeros active zeros mark length X active length mark X mark 0 active 0 and X1 active X2 and X1 X2 cons X1 mark X2 cons X1 X2 mark s X active s mark X s mark X s X s active X s X mark nil active nil mark tt active tt cons mark X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active and tt X mark X active length cons N L mark s length L mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros mark zeros active zeros mark length X active length mark X mark s X mark X mark cons X1 X2 mark X1 true cons 2 0 s 1 1 0 and 2 1 2 43324 zeros 0 2 mark 1 1 11799 0 0 0 s 1 0 nil 0 25466 mark 1 1 0 active 1 1 0 cons 2 1 1 active 1 1 11799 tt 0 48664 length 1 28214 length 1 0 and 2 0 mark s X mark X mark length X active length mark X mark zeros active zeros mark and X1 X2 active and mark X1 X2 active length cons N L mark s length L and X1 mark X2 and X1 X2 active length cons N L mark s length L cons active X1 X2 cons X1 X2 mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros active length nil mark 0 cons X1 active X2 cons X1 X2 length mark X length X and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 length active X length X mark zeros active zeros mark length X active length mark X mark 0 active 0 and X1 active X2 and X1 X2 cons X1 mark X2 cons X1 X2 mark s X active s mark X s mark X s X s active X s X mark nil active nil mark tt active tt cons mark X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active and tt X mark X active length cons N L mark s length L mark and X1 X2 active and mark X1 X2 mark length X active length mark X mark s X mark X true cons 2 0 s 1 1 0 and 2 1 21597 zeros 0 1 mark 1 1 0 0 0 0 s 1 0 nil 0 1 mark 1 1 0 active 1 1 0 cons 2 1 22117 active 1 21596 tt 0 21313 length 1 21596 length 1 0 and 2 0 mark s X mark X mark length X active length mark X active length cons N L mark s length L cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 length mark X length X length active X length X cons X1 mark X2 cons X1 X2 s mark X s X s active X s X cons mark X1 X2 cons X1 X2 active length cons N L mark s length L mark length X active length mark X mark s X mark X true Failed! NaTT certifiable-1.6