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 active take 0 IL mark nil active take s M cons N IL mark cons N take M IL 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 mark take X1 X2 active take mark X1 mark X2 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 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 take X1 mark X2 take X1 X2 mark take X1 X2 mark X2 cons X1 mark X2 cons X1 X2 active zeros mark cons 0 zeros active length cons N L length L mark take X1 X2 mark X1 mark take X1 X2 take mark X1 mark X2 mark cons X1 X2 active cons mark X1 X2 cons active X1 X2 cons X1 X2 mark cons X1 X2 cons mark X1 X2 mark nil active nil mark take X1 X2 active take mark X1 mark X2 mark length X mark X length mark X length X mark length X active length mark X mark and X1 X2 mark X1 mark and X1 X2 and mark X1 X2 active length cons N L s length L mark length X length mark X s mark X s X take X1 active X2 take X1 X2 cons X1 active X2 cons X1 X2 active take 0 IL mark nil and mark X1 X2 and X1 X2 mark 0 active 0 mark cons X1 X2 mark X1 and X1 active X2 and X1 X2 cons mark X1 X2 cons X1 X2 active take s M cons N IL take M IL active length cons N L mark s length L s active X s X mark and X1 X2 active and mark X1 X2 active length nil mark 0 and active X1 X2 and X1 X2 mark s X mark X and X1 mark X2 and X1 X2 length active X length X take mark X1 X2 take X1 X2 active zeros cons 0 zeros mark zeros active zeros mark s X s mark X active take s M cons N IL mark cons N take M IL active and tt X mark X mark tt active tt mark s X active s mark X active take s M cons N IL cons N take M IL take active X1 X2 take X1 X2 true mark s X active s mark X active and tt X mark X active take s M cons N IL mark cons N take M IL mark and X1 X2 mark X1 mark zeros active zeros mark length X active length mark X mark length X mark X mark s X mark X mark take X1 X2 active take mark X1 mark X2 mark and X1 X2 active and mark X1 X2 active length cons N L mark s length L mark cons X1 X2 active cons mark X1 X2 mark take X1 X2 mark X1 mark cons X1 X2 mark X1 active zeros mark cons 0 zeros mark take X1 X2 mark X2 true cons 2 0 s 1 10451 take 2 0 take 2 10452 and 2 10452 zeros 0 10452 mark 1 10452 0 0 10454 s 1 0 nil 0 18819 mark 1 10453 active 1 1 0 cons 2 10451 active 1 1 0 tt 0 42739 length 1 10452 length 1 0 and 2 0 mark take X1 X2 mark X2 active zeros mark cons 0 zeros mark cons X1 X2 mark X1 mark take X1 X2 mark X1 active length cons N L mark s length L mark and X1 X2 active and mark X1 X2 mark take X1 X2 active take mark X1 mark X2 mark s X mark X mark length X mark X mark length X active length mark X mark zeros active zeros mark and X1 X2 mark X1 active take s M cons N IL mark cons N take M IL active and tt X mark X cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 and X1 mark X2 and X1 X2 s mark X s X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 s active X s X and active X1 X2 and X1 X2 take mark X1 X2 take X1 X2 and mark X1 X2 and X1 X2 length active X length X take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 and X1 active X2 and X1 X2 length mark X length X take X1 mark X2 take X1 X2 active length cons N L mark s length L mark take X1 X2 mark X2 mark take X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 mark cons X1 X2 mark X1 active zeros mark cons 0 zeros mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 mark zeros active zeros mark s X mark X mark length X mark X mark length X active length mark X active take s M cons N IL mark cons N take M IL active and tt X mark X true cons 2 0 s 1 1 0 take 2 0 take 2 1 2 52182 and 2 1 2 6879 zeros 0 40436 mark 1 1 0 0 0 0 s 1 0 nil 0 1 mark 1 1 0 active 1 1 0 cons 2 1 2 0 active 1 1 0 tt 0 1 length 1 1 48999 length 1 0 and 2 0 active take s M cons N IL mark cons N take M IL mark length X active length mark X mark s X mark X mark zeros active zeros mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros mark cons X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 active length cons N L mark s length L cons active X1 X2 cons X1 X2 active length cons N L mark s length L mark take X1 X2 active take mark X1 mark X2 mark cons X1 X2 active cons mark X1 X2 active zeros mark cons 0 zeros active length nil mark 0 cons mark X1 X2 cons X1 X2 and X1 mark X2 and X1 X2 s mark X s X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 s active X s X and active X1 X2 and X1 X2 take mark X1 X2 take X1 X2 active take 0 IL mark nil mark and X1 X2 active and mark X1 X2 mark zeros active zeros and mark X1 X2 and X1 X2 length active X length X take active X1 X2 take X1 X2 mark s X active s mark X take X1 active X2 take X1 X2 mark length X active length mark X and X1 active X2 and X1 X2 length mark X length X mark tt active tt mark 0 active 0 mark nil active nil active take s M cons N IL mark cons N take M IL take X1 mark X2 take X1 X2 active and tt X mark X active length cons N L mark s length L mark take X1 X2 active take mark X1 mark X2 mark cons X1 X2 mark X1 active zeros mark cons 0 zeros mark and X1 X2 active and mark X1 X2 mark zeros active zeros mark s X mark X mark length X active length mark X active take s M cons N IL mark cons N take M IL true cons 2 0 s 1 0 take 2 0 take 2 2 and 2 1 zeros 0 2 mark 1 2 0 0 4 s 1 0 nil 0 4 mark 1 3 active 1 1 0 cons 2 0 active 1 1 0 tt 0 4 length 1 2 length 1 0 and 2 0 active take s M cons N IL mark cons N take M IL mark length X active length mark X mark s X mark X mark zeros active zeros active zeros mark cons 0 zeros mark cons X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 active length cons N L mark s length L cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 and X1 mark X2 and X1 X2 s mark X s X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 s active X s X and active X1 X2 and X1 X2 take mark X1 X2 take X1 X2 and mark X1 X2 and X1 X2 length active X length X take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 and X1 active X2 and X1 X2 length mark X length X take X1 mark X2 take X1 X2 active length cons N L mark s length L mark take X1 X2 active take mark X1 mark X2 mark cons X1 X2 mark X1 active zeros mark cons 0 zeros mark zeros active zeros mark s X mark X mark length X active length mark X active take s M cons N IL mark cons N take M IL true cons 2 0 s 1 1 0 take 2 0 take 2 2 15261 and 2 1 2 7431 zeros 0 16706 mark 1 1 0 0 0 1 s 1 0 nil 0 682 mark 1 1 0 active 1 1 0 cons 2 1 16704 active 1 1 0 tt 0 1 length 1 1 length 1 0 and 2 0 mark length X active length mark X mark s X mark X mark zeros active zeros mark take X1 X2 active take mark X1 mark X2 active length cons N L mark s length L cons active X1 X2 cons X1 X2 active length cons N L mark s length L mark take X1 X2 active take mark X1 mark X2 mark cons X1 X2 active cons mark X1 X2 active zeros mark cons 0 zeros active length nil mark 0 cons mark X1 X2 cons X1 X2 and X1 mark X2 and X1 X2 s mark X s X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 s active X s X and active X1 X2 and X1 X2 take mark X1 X2 take X1 X2 active take 0 IL mark nil mark and X1 X2 active and mark X1 X2 mark zeros active zeros and mark X1 X2 and X1 X2 length active X length X take active X1 X2 take X1 X2 mark s X active s mark X take X1 active X2 take X1 X2 mark length X active length mark X and X1 active X2 and X1 X2 length mark X length X mark tt active tt mark 0 active 0 mark nil active nil active take s M cons N IL mark cons N take M IL take X1 mark X2 take X1 X2 active and tt X mark X active length cons N L mark s length L mark take X1 X2 active take mark X1 mark X2 mark s X mark X mark length X active length mark X true cons 2 0 s 1 1 0 take 2 0 take 2 2 25729 and 2 2 24324 zeros 0 72142 mark 1 1 0 0 0 1 s 1 0 nil 0 43950 mark 1 1 25731 active 1 1 1 cons 2 1 46411 active 1 25728 tt 0 30542 length 1 25728 length 1 0 and 2 0 mark length X active length mark X mark s X mark X active length cons N L mark s length L cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 and X1 mark X2 and X1 X2 s mark X s X cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 s active X s X and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 length active X length X and X1 active X2 and X1 X2 length mark X length X active length cons N L mark s length L mark s X mark X mark length X active length mark X true Failed! NaTT certifiable-1.6