active zeros mark cons 0 zeros active U11 tt V1 mark U12 isNatList V1 active U12 tt mark tt active U21 tt V1 mark U22 isNat V1 active U22 tt mark tt active U31 tt V mark U32 isNatList V active U32 tt mark tt active U41 tt V1 V2 mark U42 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U43 tt mark tt active U51 tt V1 V2 mark U52 isNat V1 V2 active U52 tt V2 mark U53 isNatList V2 active U53 tt mark tt active U61 tt L mark s length L active and tt X mark X active isNat 0 mark tt active isNat length V1 mark U11 isNatIListKind V1 V1 active isNat s V1 mark U21 isNatKind V1 V1 active isNatIList V mark U31 isNatIListKind V V active isNatIList zeros mark tt active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind nil mark tt active isNatIListKind zeros mark tt active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatKind 0 mark tt active isNatKind length V1 mark isNatIListKind V1 active isNatKind s V1 mark isNatKind V1 active isNatList nil mark tt active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active length nil mark 0 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L 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 X active U12 mark X mark isNatList X active isNatList X mark U21 X1 X2 active U21 mark X1 X2 mark U22 X active U22 mark X mark isNat X active isNat X mark U31 X1 X2 active U31 mark X1 X2 mark U32 X active U32 mark X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U42 X1 X2 active U42 mark X1 X2 mark U43 X active U43 mark X mark isNatIList X active isNatIList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U52 X1 X2 active U52 mark X1 X2 mark U53 X active U53 mark X mark U61 X1 X2 active U61 mark X1 X2 mark s X active s mark X mark length X active length mark X mark and X1 X2 active and mark X1 X2 mark isNatIListKind X active isNatIListKind X mark isNatKind X active isNatKind X 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 X U12 X U12 active X U12 X isNatList mark X isNatList X isNatList active X isNatList X U21 mark X1 X2 U21 X1 X2 U21 X1 mark X2 U21 X1 X2 U21 active X1 X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U22 mark X U22 X U22 active X U22 X isNat mark X isNat X isNat active X isNat X U31 mark X1 X2 U31 X1 X2 U31 X1 mark X2 U31 X1 X2 U31 active X1 X2 U31 X1 X2 U31 X1 active X2 U31 X1 X2 U32 mark X U32 X U32 active X U32 X U41 mark X1 X2 X3 U41 X1 X2 X3 U41 X1 mark X2 X3 U41 X1 X2 X3 U41 X1 X2 mark X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U41 X1 active X2 X3 U41 X1 X2 X3 U41 X1 X2 active X3 U41 X1 X2 X3 U42 mark X1 X2 U42 X1 X2 U42 X1 mark X2 U42 X1 X2 U42 active X1 X2 U42 X1 X2 U42 X1 active X2 U42 X1 X2 U43 mark X U43 X U43 active X U43 X isNatIList mark X isNatIList X isNatIList active X isNatIList X U51 mark X1 X2 X3 U51 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U51 active X1 X2 X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 U51 X1 X2 active X3 U51 X1 X2 X3 U52 mark X1 X2 U52 X1 X2 U52 X1 mark X2 U52 X1 X2 U52 active X1 X2 U52 X1 X2 U52 X1 active X2 U52 X1 X2 U53 mark X U53 X U53 active X U53 X U61 mark X1 X2 U61 X1 X2 U61 X1 mark X2 U61 X1 X2 U61 active X1 X2 U61 X1 X2 U61 X1 active X2 U61 X1 X2 s mark X s X s active X s X length mark X length X length active X length X 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 isNatIListKind mark X isNatIListKind X isNatIListKind active X isNatIListKind X isNatKind mark X isNatKind X isNatKind active X isNatKind X 2.2 active U11 tt V1 U12 isNatList V1 and mark X1 X2 and X1 X2 isNatIListKind active X isNatIListKind X mark U12 X mark X mark isNatIList X active isNatIList X U21 mark X1 X2 U21 X1 X2 mark U61 X1 X2 mark X1 active isNat 0 mark tt U22 mark X U22 X mark U51 X1 X2 X3 mark X1 U11 mark X1 X2 U11 X1 X2 mark U53 X active U53 mark X U41 mark X1 X2 X3 U41 X1 X2 X3 active U52 tt V2 U53 isNatList V2 mark U51 X1 X2 X3 U51 mark X1 X2 X3 mark length X length mark X U52 active X1 X2 U52 X1 X2 active length cons N L and and isNatList L isNatIListKind L and isNat N isNatKind N U11 X1 mark X2 U11 X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L isNatIList mark X isNatIList X active U51 tt V1 V2 isNat V1 cons mark X1 X2 cons X1 X2 U51 X1 active X2 X3 U51 X1 X2 X3 active U31 tt V U32 isNatList V active isNatIList cons V1 V2 U41 and isNatKind V1 isNatIListKind V2 V1 V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind nil mark tt U21 active X1 X2 U21 X1 X2 U61 X1 active X2 U61 X1 X2 active isNatKind 0 mark tt mark nil active nil active U12 tt mark tt active U61 tt L s length L U51 mark X1 X2 X3 U51 X1 X2 X3 isNatList mark X isNatList X U12 active X U12 X mark cons X1 X2 mark X1 active U61 tt L length L mark zeros active zeros mark U22 X mark X mark length X mark X active isNatKind s V1 mark isNatKind V1 length active X length X active length nil mark 0 active isNat length V1 mark U11 isNatIListKind V1 V1 mark U32 X U32 mark X U52 mark X1 X2 U52 X1 X2 active isNatKind length V1 mark isNatIListKind V1 mark U22 X active U22 mark X active U21 tt V1 mark U22 isNat V1 U61 X1 mark X2 U61 X1 X2 U42 active X1 X2 U42 X1 X2 cons X1 mark X2 cons X1 X2 active U53 tt mark tt mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U42 X1 X2 mark X1 active isNatList nil mark tt mark isNatKind X active isNatKind X length mark X length X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNat s V1 U21 isNatKind V1 V1 active isNatList cons V1 V2 isNatKind V1 active length cons N L U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active isNat length V1 U11 isNatIListKind V1 V1 mark isNatIListKind X active isNatIListKind X U31 active X1 X2 U31 X1 X2 isNat mark X isNat X U51 X1 X2 mark X3 U51 X1 X2 X3 active and tt X mark X U32 mark X U32 X active U52 tt V2 mark U53 isNatList V2 s active X s X U42 X1 active X2 U42 X1 X2 active U42 tt V2 isNatIList V2 mark U31 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 active isNatIListKind cons V1 V2 isNatKind V1 mark s X s mark X U43 mark X U43 X U61 active X1 X2 U61 X1 X2 active U52 tt V2 isNatList V2 active isNat s V1 isNatKind V1 active isNat s V1 mark U21 isNatKind V1 V1 active U42 tt V2 U43 isNatIList V2 active length cons N L isNatList L active isNatList cons V1 V2 isNatIListKind V2 U51 X1 mark X2 X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 U61 mark X1 X2 U61 X1 X2 mark U42 X1 X2 U42 mark X1 X2 and X1 mark X2 and X1 X2 active isNatIListKind cons V1 V2 isNatIListKind V2 active U61 tt L mark s length L mark U11 X1 X2 U11 mark X1 X2 U31 X1 mark X2 U31 X1 X2 mark and X1 X2 mark X1 U42 mark X1 X2 U42 X1 X2 s mark X s X mark U53 X mark X active U31 tt V mark U32 isNatList V cons X1 active X2 cons X1 X2 U43 active X U43 X mark U21 X1 X2 mark X1 active isNatKind length V1 isNatIListKind V1 U41 X1 X2 active X3 U41 X1 X2 X3 mark U21 X1 X2 U21 mark X1 X2 mark U43 X mark X isNat active X isNat X U41 X1 active X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 mark U32 X mark X U21 X1 mark X2 U21 X1 X2 cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 active isNatList cons V1 V2 and isNatKind V1 isNatIListKind V2 isNatList active X isNatList X active isNatIList cons V1 V2 isNatKind V1 mark s X mark X U51 active X1 X2 X3 U51 X1 X2 X3 mark U61 X1 X2 active U61 mark X1 X2 U42 X1 mark X2 U42 X1 X2 active U51 tt V1 V2 U52 isNat V1 V2 isNatKind active X isNatKind X mark and X1 X2 and mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark U32 X active U32 mark X U22 active X U22 X mark U61 X1 X2 U61 mark X1 X2 mark 0 active 0 mark U12 X U12 mark X mark U31 X1 X2 U31 mark X1 X2 active U32 tt mark tt isNatIListKind mark X isNatIListKind X U21 X1 active X2 U21 X1 X2 mark tt active tt mark and X1 X2 active and mark X1 X2 active isNatIListKind zeros mark tt U31 mark X1 X2 U31 X1 X2 active U21 tt V1 U22 isNat V1 active isNat length V1 isNatIListKind V1 mark U12 X active U12 mark X mark cons X1 X2 cons mark X1 X2 mark U41 X1 X2 X3 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatIList V isNatIListKind V active U41 tt V1 V2 U42 isNat V1 V2 U41 active X1 X2 X3 U41 X1 X2 X3 mark U22 X U22 mark X mark s X active s mark X mark U53 X U53 mark X active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U12 mark X U12 X isNatIList active X isNatIList X mark U43 X U43 mark X mark U41 X1 X2 X3 U41 mark X1 X2 X3 active isNatIList zeros mark tt U51 X1 X2 active X3 U51 X1 X2 X3 active U41 tt V1 V2 mark U42 isNat V1 V2 active isNatIList cons V1 V2 isNatIListKind V2 U52 X1 active X2 U52 X1 X2 U11 active X1 X2 U11 X1 X2 active length cons N L isNatKind N mark isNat X active isNat X active length cons N L and isNatList L isNatIListKind L U31 X1 active X2 U31 X1 X2 active zeros cons 0 zeros mark U52 X1 X2 mark X1 active U42 tt V2 mark U43 isNatIList V2 active U43 tt mark tt mark length X active length mark X mark U31 X1 X2 active U31 mark X1 X2 U32 active X U32 X active U11 tt V1 isNatList V1 active isNatIList V mark U31 isNatIListKind V V U53 active X U53 X active U11 tt V1 mark U12 isNatList V1 and active X1 X2 and X1 X2 U53 mark X U53 X active U31 tt V isNatList V active U21 tt V1 isNat V1 active isNatIList V U31 isNatIListKind V V active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind s V1 isNatKind V1 U41 X1 mark X2 X3 U41 X1 X2 X3 active U22 tt mark tt mark U52 X1 X2 U52 mark X1 X2 active zeros mark cons 0 zeros mark U11 X1 X2 mark X1 U11 X1 active X2 U11 X1 X2 active length cons N L isNatIListKind L and X1 active X2 and X1 X2 active length cons N L and isNat N isNatKind N U41 X1 X2 mark X3 U41 X1 X2 X3 active U41 tt V1 V2 isNat V1 active length cons N L isNat N active isNatIListKind cons V1 V2 and isNatKind V1 isNatIListKind V2 mark isNatList X active isNatList X mark U43 X active U43 mark X isNatKind mark X isNatKind X true mark U43 X active U43 mark X mark isNatList X active isNatList X mark U21 X1 X2 mark X1 active U31 tt V mark U32 isNatList V mark U53 X mark X mark and X1 X2 mark X1 active U61 tt L mark s length L mark U11 X1 X2 mark X1 active zeros mark cons 0 zeros active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNat s V1 mark U21 isNatKind V1 V1 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U21 X1 X2 active U21 mark X1 X2 active U11 tt V1 mark U12 isNatList V1 mark U31 X1 X2 mark X1 active isNatIList V mark U31 isNatIListKind V V active and tt X mark X active U52 tt V2 mark U53 isNatList V2 mark U31 X1 X2 active U31 mark X1 X2 mark length X active length mark X mark isNatIListKind X active isNatIListKind X active U42 tt V2 mark U43 isNatIList V2 mark U52 X1 X2 mark X1 mark isNat X active isNat X mark U11 X1 X2 active U11 mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark isNatKind X active isNatKind X mark U42 X1 X2 mark X1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark s X active s mark X active U21 tt V1 mark U22 isNat V1 active isNatKind length V1 mark isNatIListKind V1 mark U22 X active U22 mark X active isNat length V1 mark U11 isNatIListKind V1 V1 mark U41 X1 X2 X3 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U12 X active U12 mark X active isNatKind s V1 mark isNatKind V1 mark zeros active zeros mark U22 X mark X mark length X mark X mark cons X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U52 X1 X2 active U52 mark X1 X2 mark U32 X active U32 mark X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U61 X1 X2 active U61 mark X1 X2 mark s X mark X mark U53 X active U53 mark X mark U51 X1 X2 X3 mark X1 mark cons X1 X2 active cons mark X1 X2 mark U61 X1 X2 mark X1 mark U42 X1 X2 active U42 mark X1 X2 mark U32 X mark X mark isNatIList X active isNatIList X mark U12 X mark X mark U43 X mark X true U32 1 0 isNatIListKind 1 0 isNatKind 1 31115 U21 2 31115 isNatList 1 31115 U11 2 31115 cons 2 0 s 1 17609 isNat 1 0 U42 2 31115 and 2 31115 isNatIList 1 31115 U43 1 31114 U53 1 0 U43 1 0 zeros 0 31115 U52 2 0 U12 1 14048 U42 2 0 U12 1 0 mark 1 31115 0 0 3 isNatList 1 0 s 1 0 isNatIListKind 1 31115 nil 0 3 mark 1 2 U32 1 18835 isNat 1 31115 U52 2 31115 U61 2 31115 U51 3 0 U11 2 0 active 1 1 0 U31 2 31115 U41 3 0 cons 2 1710 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 7581 U22 1 23485 U51 3 31115 isNatKind 1 0 U53 1 1 length 1 31115 length 1 0 U41 3 31115 U31 2 0 and 2 0 U61 2 0 mark U43 X mark X mark U12 X mark X mark isNatIList X active isNatIList X mark U32 X mark X mark U42 X1 X2 active U42 mark X1 X2 mark U61 X1 X2 mark X1 mark U51 X1 X2 X3 mark X1 mark s X mark X mark U61 X1 X2 active U61 mark X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U52 X1 X2 active U52 mark X1 X2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark and X1 X2 active and mark X1 X2 mark cons X1 X2 mark X1 mark length X mark X mark U22 X mark X mark zeros active zeros active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U41 X1 X2 X3 mark X1 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatKind length V1 mark isNatIListKind V1 active U21 tt V1 mark U22 isNat V1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 mark X1 mark isNatKind X active isNatKind X active U41 tt V1 V2 mark U42 isNat V1 V2 mark U11 X1 X2 active U11 mark X1 X2 mark isNat X active isNat X mark U52 X1 X2 mark X1 active U42 tt V2 mark U43 isNatIList V2 mark isNatIListKind X active isNatIListKind X mark length X active length mark X mark U31 X1 X2 active U31 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active and tt X mark X active isNatIList V mark U31 isNatIListKind V V mark U31 X1 X2 mark X1 active U11 tt V1 mark U12 isNatList V1 mark U21 X1 X2 active U21 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNat s V1 mark U21 isNatKind V1 V1 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active zeros mark cons 0 zeros mark U11 X1 X2 mark X1 active U61 tt L mark s length L mark and X1 X2 mark X1 mark U53 X mark X active U31 tt V mark U32 isNatList V mark U21 X1 X2 mark X1 mark isNatList X active isNatList X U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X cons active X1 X2 cons X1 X2 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 length mark X length X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind length V1 mark isNatIListKind V1 active isNatIList V mark U31 isNatIListKind V V mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark cons X1 X2 mark X1 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 mark X1 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 mark X1 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X active U31 tt V mark U32 isNatList V mark isNatList X active isNatList X mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X mark X mark length X active length mark X mark isNatIList X active isNatIList X mark U12 X mark X mark isNat X active isNat X mark U31 X1 X2 mark X1 mark U31 X1 X2 active U31 mark X1 X2 mark U43 X mark X mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U32 X mark X active U11 tt V1 mark U12 isNatList V1 true U32 1 0 isNatIListKind 1 0 isNatKind 1 0 U21 2 1 0 isNatList 1 0 U11 2 1 0 cons 2 0 s 1 1 0 isNat 1 0 U42 2 1 29157 and 2 1 2 0 isNatIList 1 29157 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 51136 U52 2 0 U12 1 1 0 U42 2 0 U12 1 0 mark 1 1 0 0 0 0 isNatList 1 0 s 1 0 isNatIListKind 1 0 nil 0 9123 mark 1 1 0 U32 1 1 22539 isNat 1 0 U52 2 1 0 U61 2 1 2 1 U51 3 0 U11 2 0 active 1 1 0 U31 2 1 29156 U41 3 0 cons 2 1 2 0 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 0 U22 1 1 0 U51 3 1 0 isNatKind 1 0 U53 1 1 0 length 1 1 1 length 1 0 U41 3 1 29157 U31 2 0 and 2 0 U61 2 0 active U11 tt V1 mark U12 isNatList V1 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U11 X1 X2 active U11 mark X1 X2 mark U11 X1 X2 mark X1 mark U43 X mark X mark U31 X1 X2 active U31 mark X1 X2 mark isNat X active isNat X mark U12 X mark X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U51 X1 X2 X3 mark X1 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U52 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark cons X1 X2 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNat length V1 mark U11 isNatIListKind V1 V1 mark zeros active zeros active isNatKind length V1 mark isNatIListKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active zeros mark cons 0 zeros mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active and tt X mark X active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X active U53 mark X U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 active U21 tt V1 mark U22 isNat V1 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 active and tt X mark X and X1 active X2 and X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 isNatKind mark X isNatKind X active zeros mark cons 0 zeros isNat active X isNat X active U12 tt mark tt active isNat 0 mark tt active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark tt active tt isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 active isNatKind length V1 mark isNatIListKind V1 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X active isNatIList V mark U31 isNatIListKind V V mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 length active X length X cons active X1 X2 cons X1 X2 active isNatKind s V1 mark isNatKind V1 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 mark 0 active 0 active isNatIListKind nil mark tt active isNatList nil mark tt U11 X1 active X2 U11 X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active U22 tt mark tt and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 active U43 tt mark tt mark U21 X1 X2 active U21 mark X1 X2 active U32 tt mark tt U41 X1 active X2 X3 U41 X1 X2 X3 active isNatIList zeros mark tt U53 mark X U53 X active isNatKind 0 mark tt mark U52 X1 X2 active U52 mark X1 X2 mark s X active s mark X active length nil mark 0 U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 active U61 tt L mark s length L U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 mark isNatKind X active isNatKind X U31 X1 mark X2 U31 X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X mark U42 X1 X2 active U42 mark X1 X2 U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 active isNatIListKind zeros mark tt U21 mark X1 X2 U21 X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X mark nil active nil U51 mark X1 X2 X3 U51 X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U61 X1 X2 active U61 mark X1 X2 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 mark U22 X active U22 mark X U12 active X U12 X mark isNatIListKind X active isNatIListKind X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 active U31 tt V mark U32 isNatList V length mark X length X mark isNatList X active isNatList X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 U21 X1 mark X2 U21 X1 X2 mark length X active length mark X mark isNatIList X active isNatIList X U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X mark U12 X active U12 mark X mark isNat X active isNat X U43 active X U43 X s active X s X mark U31 X1 X2 active U31 mark X1 X2 mark U43 X active U43 mark X U12 mark X U12 X U32 active X U32 X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U32 X active U32 mark X U41 X1 X2 mark X3 U41 X1 X2 X3 active U11 tt V1 mark U12 isNatList V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind length V1 mark isNatIListKind V1 mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark cons X1 X2 mark X1 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark U12 X mark X mark isNat X active isNat X mark U31 X1 X2 active U31 mark X1 X2 mark U43 X mark X mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active U11 tt V1 mark U12 isNatList V1 true U32 1 0 isNatIListKind 1 0 isNatKind 1 29192 U21 2 29192 isNatList 1 29192 U11 2 29192 cons 2 0 s 1 1 isNat 1 0 U42 2 29192 and 2 29192 isNatIList 1 29192 U43 1 1 U53 1 0 U43 1 0 zeros 0 29192 U52 2 0 U12 1 1 U42 2 0 U12 1 0 mark 1 29192 0 0 1 isNatList 1 0 s 1 0 isNatIListKind 1 29192 nil 0 0 mark 1 1 U32 1 1 isNat 1 29192 U52 2 29192 U61 2 29192 U51 3 0 U11 2 0 active 1 1 U31 2 29191 U41 3 0 cons 2 1 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 1 U22 1 1 U51 3 29192 isNatKind 1 0 U53 1 1 length 1 29192 length 1 0 U41 3 29192 U31 2 0 and 2 0 U61 2 0 active U11 tt V1 mark U12 isNatList V1 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U11 X1 X2 active U11 mark X1 X2 mark U11 X1 X2 mark X1 mark U43 X mark X mark isNat X active isNat X mark U12 X mark X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U51 X1 X2 X3 mark X1 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U52 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark cons X1 X2 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNat length V1 mark U11 isNatIListKind V1 V1 mark zeros active zeros active isNatKind length V1 mark isNatIListKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active zeros mark cons 0 zeros mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active and tt X mark X active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X active U53 mark X U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 active U21 tt V1 mark U22 isNat V1 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 active and tt X mark X and X1 active X2 and X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 isNatKind mark X isNatKind X active zeros mark cons 0 zeros isNat active X isNat X active U12 tt mark tt active isNat 0 mark tt active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark tt active tt isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 active isNatKind length V1 mark isNatIListKind V1 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X active isNatIList V mark U31 isNatIListKind V V mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 length active X length X cons active X1 X2 cons X1 X2 active isNatKind s V1 mark isNatKind V1 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 mark 0 active 0 active isNatIListKind nil mark tt active isNatList nil mark tt U11 X1 active X2 U11 X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active U22 tt mark tt and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 active U43 tt mark tt mark U21 X1 X2 active U21 mark X1 X2 active U32 tt mark tt U41 X1 active X2 X3 U41 X1 X2 X3 active isNatIList zeros mark tt U53 mark X U53 X active isNatKind 0 mark tt mark U52 X1 X2 active U52 mark X1 X2 mark s X active s mark X active length nil mark 0 U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 active U61 tt L mark s length L U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 mark isNatKind X active isNatKind X U31 X1 mark X2 U31 X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X mark U42 X1 X2 active U42 mark X1 X2 U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 active isNatIListKind zeros mark tt U21 mark X1 X2 U21 X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X mark nil active nil U51 mark X1 X2 X3 U51 X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U61 X1 X2 active U61 mark X1 X2 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 mark U22 X active U22 mark X U12 active X U12 X mark isNatIListKind X active isNatIListKind X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 active U31 tt V mark U32 isNatList V length mark X length X mark isNatList X active isNatList X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 U21 X1 mark X2 U21 X1 X2 mark length X active length mark X mark isNatIList X active isNatIList X U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X mark U12 X active U12 mark X mark isNat X active isNat X U43 active X U43 X s active X s X mark U31 X1 X2 active U31 mark X1 X2 mark U43 X active U43 mark X U12 mark X U12 X U32 active X U32 X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U32 X active U32 mark X U41 X1 X2 mark X3 U41 X1 X2 X3 active U11 tt V1 mark U12 isNatList V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active zeros mark cons 0 zeros active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind length V1 mark isNatIListKind V1 mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark cons X1 X2 mark X1 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark U12 X mark X mark isNat X active isNat X mark U43 X mark X mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active U11 tt V1 mark U12 isNatList V1 true U32 1 0 isNatIListKind 1 0 isNatKind 1 0 U21 2 1 0 isNatList 1 0 U11 2 1 0 cons 2 0 s 1 1 0 isNat 1 0 U42 2 24076 and 2 1 2 0 isNatIList 1 24076 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 25473 U52 2 0 U12 1 1 0 U42 2 0 U12 1 0 mark 1 1 0 0 0 2237 isNatList 1 0 s 1 0 isNatIListKind 1 0 nil 0 1 mark 1 1 0 U32 1 0 isNat 1 0 U52 2 1 0 U61 2 38423 U51 3 0 U11 2 0 active 1 1 0 U31 2 0 U41 3 0 cons 2 1 23235 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 0 U22 1 1 0 U51 3 1 0 isNatKind 1 0 U53 1 1 0 length 1 38423 length 1 0 U41 3 24076 U31 2 0 and 2 0 U61 2 0 active U11 tt V1 mark U12 isNatList V1 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U11 X1 X2 active U11 mark X1 X2 mark U11 X1 X2 mark X1 mark U43 X mark X mark isNat X active isNat X mark U12 X mark X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U51 X1 X2 X3 mark X1 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U52 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNat length V1 mark U11 isNatIListKind V1 V1 mark zeros active zeros active isNatKind length V1 mark isNatIListKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active and tt X mark X active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X active U53 mark X U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 active U21 tt V1 mark U22 isNat V1 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 active and tt X mark X and X1 active X2 and X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 isNatKind mark X isNatKind X active zeros mark cons 0 zeros isNat active X isNat X active U12 tt mark tt active isNat 0 mark tt active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark tt active tt isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 active isNatKind length V1 mark isNatIListKind V1 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X active isNatIList V mark U31 isNatIListKind V V mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 length active X length X cons active X1 X2 cons X1 X2 active isNatKind s V1 mark isNatKind V1 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 mark 0 active 0 active isNatIListKind nil mark tt active isNatList nil mark tt U11 X1 active X2 U11 X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active U22 tt mark tt and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 active U43 tt mark tt mark U21 X1 X2 active U21 mark X1 X2 active U32 tt mark tt U41 X1 active X2 X3 U41 X1 X2 X3 active isNatIList zeros mark tt U53 mark X U53 X active isNatKind 0 mark tt mark U52 X1 X2 active U52 mark X1 X2 mark s X active s mark X active length nil mark 0 U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 active U61 tt L mark s length L U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 mark isNatKind X active isNatKind X U31 X1 mark X2 U31 X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X mark U42 X1 X2 active U42 mark X1 X2 U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 active isNatIListKind zeros mark tt U21 mark X1 X2 U21 X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X mark nil active nil U51 mark X1 X2 X3 U51 X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U61 X1 X2 active U61 mark X1 X2 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 mark U22 X active U22 mark X U12 active X U12 X mark isNatIListKind X active isNatIListKind X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 active U31 tt V mark U32 isNatList V length mark X length X mark isNatList X active isNatList X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 U21 X1 mark X2 U21 X1 X2 mark length X active length mark X mark isNatIList X active isNatIList X U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X mark U12 X active U12 mark X mark isNat X active isNat X U43 active X U43 X s active X s X mark U31 X1 X2 active U31 mark X1 X2 mark U43 X active U43 mark X U12 mark X U12 X U32 active X U32 X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U32 X active U32 mark X U41 X1 X2 mark X3 U41 X1 X2 X3 active U11 tt V1 mark U12 isNatList V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind length V1 mark isNatIListKind V1 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark U12 X mark X mark isNat X active isNat X mark U43 X mark X mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active U11 tt V1 mark U12 isNatList V1 true U32 1 0 isNatIListKind 1 0 isNatKind 1 0 U21 2 1 2 0 isNatList 1 1 13412 U11 2 1 2 37347 cons 2 0 s 1 1 0 isNat 1 0 U42 2 54753 and 2 1 2 0 isNatIList 1 54753 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 39504 U52 2 0 U12 1 1 23934 U42 2 0 U12 1 0 mark 1 1 0 0 0 0 isNatList 1 0 s 1 0 isNatIListKind 1 0 nil 0 1 mark 1 1 0 U32 1 54753 isNat 1 1 0 U52 2 1 2 13412 U61 2 2 37348 U51 3 0 U11 2 0 active 1 1 0 U31 2 54753 U41 3 0 cons 2 1 2 0 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 0 U22 1 1 0 U51 3 1 2 3 13412 isNatKind 1 0 U53 1 1 0 length 1 1 37348 length 1 0 U41 3 54753 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U11 X1 X2 active U11 mark X1 X2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNatKind length V1 mark isNatIListKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active and tt X mark X active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X active U53 mark X U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 active U21 tt V1 mark U22 isNat V1 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 active and tt X mark X and X1 active X2 and X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 isNatKind mark X isNatKind X active zeros mark cons 0 zeros isNat active X isNat X active U12 tt mark tt active isNat 0 mark tt active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark tt active tt isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 active isNatKind length V1 mark isNatIListKind V1 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X active isNatIList V mark U31 isNatIListKind V V mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 length active X length X cons active X1 X2 cons X1 X2 active isNatKind s V1 mark isNatKind V1 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 mark 0 active 0 active isNatIListKind nil mark tt active isNatList nil mark tt U11 X1 active X2 U11 X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active U22 tt mark tt and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 active U43 tt mark tt mark U21 X1 X2 active U21 mark X1 X2 active U32 tt mark tt U41 X1 active X2 X3 U41 X1 X2 X3 active isNatIList zeros mark tt U53 mark X U53 X active isNatKind 0 mark tt mark U52 X1 X2 active U52 mark X1 X2 mark s X active s mark X active length nil mark 0 U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 active U61 tt L mark s length L U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 mark isNatKind X active isNatKind X U31 X1 mark X2 U31 X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X mark U42 X1 X2 active U42 mark X1 X2 U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 active isNatIListKind zeros mark tt U21 mark X1 X2 U21 X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X mark nil active nil U51 mark X1 X2 X3 U51 X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U61 X1 X2 active U61 mark X1 X2 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 mark U22 X active U22 mark X U12 active X U12 X mark isNatIListKind X active isNatIListKind X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 active U31 tt V mark U32 isNatList V length mark X length X mark isNatList X active isNatList X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 U21 X1 mark X2 U21 X1 X2 mark length X active length mark X mark isNatIList X active isNatIList X U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X mark U12 X active U12 mark X mark isNat X active isNat X U43 active X U43 X s active X s X mark U31 X1 X2 active U31 mark X1 X2 mark U43 X active U43 mark X U12 mark X U12 X U32 active X U32 X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U32 X active U32 mark X U41 X1 X2 mark X3 U41 X1 X2 X3 active U11 tt V1 mark U12 isNatList V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind length V1 mark isNatIListKind V1 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 3 U21 2 3 isNatList 1 3 U11 2 1 cons 2 0 s 1 3 isNat 1 0 U42 2 3 and 2 3 isNatIList 1 3 U43 1 18607 U53 1 0 U43 1 0 zeros 0 1 U52 2 0 U12 1 3 U42 2 0 U12 1 0 mark 1 3 0 0 4902 isNatList 1 0 s 1 0 isNatIListKind 1 3 nil 0 1 mark 1 1 1 U32 1 3 isNat 1 3 U52 2 3 U61 2 3 U51 3 0 U11 2 0 active 1 3 U31 2 3 U41 3 0 cons 2 3 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 19805 U22 1 3 U51 3 3 isNatKind 1 0 U53 1 1 length 1 3 length 1 0 U41 3 3 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNatKind length V1 mark isNatIListKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active and tt X mark X active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X cons active X1 X2 cons X1 X2 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 length mark X length X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind length V1 mark isNatIListKind V1 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 0 U21 2 1 2 1 isNatList 1 1 U11 2 1 cons 2 0 s 1 1 0 isNat 1 0 U42 2 1 and 2 1 2 0 isNatIList 1 1 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 1 U52 2 0 U12 1 1 U42 2 0 U12 1 0 mark 1 1 3 0 0 1 isNatList 1 0 s 1 0 isNatIListKind 1 0 nil 0 1 mark 1 1 0 U32 1 1 isNat 1 1 1 U52 2 1 U61 2 1 U51 3 0 U11 2 0 active 1 1 0 U31 2 1 U41 3 0 cons 2 1 active 1 1 3 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 0 U22 1 1 0 U51 3 1 isNatKind 1 0 U53 1 1 0 length 1 1 length 1 0 U41 3 1 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNatKind length V1 mark isNatIListKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active and tt X mark X active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X active U53 mark X U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 active U21 tt V1 mark U22 isNat V1 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 active and tt X mark X and X1 active X2 and X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 isNatKind mark X isNatKind X active zeros mark cons 0 zeros isNat active X isNat X active U12 tt mark tt active isNat 0 mark tt active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark tt active tt isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 active isNatKind length V1 mark isNatIListKind V1 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X active isNatIList V mark U31 isNatIListKind V V mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 length active X length X cons active X1 X2 cons X1 X2 active isNatKind s V1 mark isNatKind V1 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 mark 0 active 0 active isNatIListKind nil mark tt active isNatList nil mark tt U11 X1 active X2 U11 X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active U22 tt mark tt and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 active U43 tt mark tt mark U21 X1 X2 active U21 mark X1 X2 active U32 tt mark tt U41 X1 active X2 X3 U41 X1 X2 X3 active isNatIList zeros mark tt U53 mark X U53 X active isNatKind 0 mark tt mark U52 X1 X2 active U52 mark X1 X2 mark s X active s mark X active length nil mark 0 U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 active U61 tt L mark s length L U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 mark isNatKind X active isNatKind X U31 X1 mark X2 U31 X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X mark U42 X1 X2 active U42 mark X1 X2 U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 active isNatIListKind zeros mark tt U21 mark X1 X2 U21 X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X mark nil active nil U51 mark X1 X2 X3 U51 X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U61 X1 X2 active U61 mark X1 X2 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 mark U22 X active U22 mark X U12 active X U12 X mark isNatIListKind X active isNatIListKind X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 active U31 tt V mark U32 isNatList V length mark X length X mark isNatList X active isNatList X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 U21 X1 mark X2 U21 X1 X2 mark length X active length mark X mark isNatIList X active isNatIList X U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X mark U12 X active U12 mark X mark isNat X active isNat X U43 active X U43 X s active X s X mark U31 X1 X2 active U31 mark X1 X2 mark U43 X active U43 mark X U12 mark X U12 X U32 active X U32 X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U32 X active U32 mark X U41 X1 X2 mark X3 U41 X1 X2 X3 active U11 tt V1 mark U12 isNatList V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind length V1 mark isNatIListKind V1 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 1 0 U21 2 31704 isNatList 1 26350 U11 2 1 cons 2 0 s 1 1 0 isNat 1 0 U42 2 26351 and 2 1 2 0 isNatIList 1 26351 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 19783 U52 2 0 U12 1 1 U42 2 0 U12 1 0 mark 1 1 3 0 0 0 isNatList 1 0 s 1 0 isNatIListKind 1 1 0 nil 0 28745 mark 1 1 0 U32 1 1 1 isNat 1 31704 U52 2 26350 U61 2 2 16563 U51 3 0 U11 2 0 active 1 1 0 U31 2 26351 U41 3 0 cons 2 1 2 0 active 1 1 3 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 0 U22 1 1 0 U51 3 26350 isNatKind 1 0 U53 1 1 0 length 1 1 16563 length 1 0 U41 3 26351 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active and tt X mark X active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X active U53 mark X U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 active U21 tt V1 mark U22 isNat V1 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 active and tt X mark X and X1 active X2 and X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 isNatKind mark X isNatKind X active zeros mark cons 0 zeros isNat active X isNat X active U12 tt mark tt active isNat 0 mark tt active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark tt active tt isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 active isNatKind length V1 mark isNatIListKind V1 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X active isNatIList V mark U31 isNatIListKind V V mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 length active X length X cons active X1 X2 cons X1 X2 active isNatKind s V1 mark isNatKind V1 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 mark 0 active 0 active isNatIListKind nil mark tt active isNatList nil mark tt U11 X1 active X2 U11 X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active U22 tt mark tt and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 active U43 tt mark tt mark U21 X1 X2 active U21 mark X1 X2 active U32 tt mark tt U41 X1 active X2 X3 U41 X1 X2 X3 active isNatIList zeros mark tt U53 mark X U53 X active isNatKind 0 mark tt mark U52 X1 X2 active U52 mark X1 X2 mark s X active s mark X active length nil mark 0 U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 active U61 tt L mark s length L U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 mark isNatKind X active isNatKind X U31 X1 mark X2 U31 X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X mark U42 X1 X2 active U42 mark X1 X2 U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 active isNatIListKind zeros mark tt U21 mark X1 X2 U21 X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X mark nil active nil U51 mark X1 X2 X3 U51 X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U61 X1 X2 active U61 mark X1 X2 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 mark U22 X active U22 mark X U12 active X U12 X mark isNatIListKind X active isNatIListKind X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 active U31 tt V mark U32 isNatList V length mark X length X mark isNatList X active isNatList X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 U21 X1 mark X2 U21 X1 X2 mark length X active length mark X mark isNatIList X active isNatIList X U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X mark U12 X active U12 mark X mark isNat X active isNat X U43 active X U43 X s active X s X mark U31 X1 X2 active U31 mark X1 X2 mark U43 X active U43 mark X U12 mark X U12 X U32 active X U32 X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U32 X active U32 mark X U41 X1 X2 mark X3 U41 X1 X2 X3 active U11 tt V1 mark U12 isNatList V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 1 4083 U21 2 2 0 0 isNatList 1 1 3 U11 2 1 14026 2 14025 0 cons 2 0 s 1 1 0 isNat 1 0 U42 2 2 0 0 and 2 1 26727 2 0 0 isNatIList 1 1 0 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 32580 U52 2 0 U12 1 1 1 U42 2 0 U12 1 0 mark 1 1 0 0 0 2 isNatList 1 0 s 1 0 isNatIListKind 1 1 0 nil 0 13825 mark 1 1 0 U32 1 1 isNat 1 1 0 U52 2 1 1 2 3 0 U61 2 2 14026 0 U51 3 0 U11 2 0 active 1 1 0 U31 2 1 0 0 U41 3 0 cons 2 1 30810 2 0 0 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 1 U22 1 1 0 U51 3 1 1 2 29300 3 3 0 isNatKind 1 0 U53 1 1 0 length 1 1 14026 length 1 0 U41 3 1 0 3 0 0 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark and X1 X2 active and mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 active and tt X mark X active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X active U53 mark X U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 active U21 tt V1 mark U22 isNat V1 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 active and tt X mark X and X1 active X2 and X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 isNatKind mark X isNatKind X active zeros mark cons 0 zeros isNat active X isNat X active U12 tt mark tt active isNat 0 mark tt active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark tt active tt isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 active isNatKind length V1 mark isNatIListKind V1 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X active isNatIList V mark U31 isNatIListKind V V mark zeros active zeros active isNat length V1 mark U11 isNatIListKind V1 V1 length active X length X cons active X1 X2 cons X1 X2 active isNatKind s V1 mark isNatKind V1 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 mark 0 active 0 active isNatIListKind nil mark tt active isNatList nil mark tt U11 X1 active X2 U11 X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active U22 tt mark tt and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 mark cons X1 X2 active cons mark X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 active U43 tt mark tt mark U21 X1 X2 active U21 mark X1 X2 active U32 tt mark tt U41 X1 active X2 X3 U41 X1 X2 X3 active isNatIList zeros mark tt U53 mark X U53 X active isNatKind 0 mark tt mark U52 X1 X2 active U52 mark X1 X2 mark s X active s mark X active length nil mark 0 U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 active U61 tt L mark s length L U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 mark isNatKind X active isNatKind X U31 X1 mark X2 U31 X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X mark U42 X1 X2 active U42 mark X1 X2 U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 active isNatIListKind zeros mark tt U21 mark X1 X2 U21 X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X mark nil active nil U51 mark X1 X2 X3 U51 X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U61 X1 X2 active U61 mark X1 X2 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 mark U22 X active U22 mark X U12 active X U12 X mark isNatIListKind X active isNatIListKind X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 active U31 tt V mark U32 isNatList V length mark X length X mark isNatList X active isNatList X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 U21 X1 mark X2 U21 X1 X2 mark length X active length mark X mark isNatIList X active isNatIList X U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X mark U12 X active U12 mark X mark isNat X active isNat X U43 active X U43 X s active X s X mark U31 X1 X2 active U31 mark X1 X2 mark U43 X active U43 mark X U12 mark X U12 X U32 active X U32 X mark U11 X1 X2 active U11 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U32 X active U32 mark X U41 X1 X2 mark X3 U41 X1 X2 X3 active U11 tt V1 mark U12 isNatList V1 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active and tt X mark X active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 841 U21 2 2 6914 0 isNatList 1 0 U11 2 1 13832 2 13831 0 cons 2 0 s 1 1 0 isNat 1 0 U42 2 0 and 2 2 6915 0 isNatIList 1 0 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 2804 U52 2 0 U12 1 6916 U42 2 0 U12 1 0 mark 1 1 0 0 0 1 isNatList 1 0 s 1 0 isNatIListKind 1 1 4112 nil 0 1427 mark 1 1 6916 U32 1 6916 isNat 1 1 6914 U52 2 0 U61 2 0 U51 3 0 U11 2 0 active 1 1 1 U31 2 1 5365 0 U41 3 0 cons 2 1 13829 2 6916 0 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 1 U22 1 1 0 U51 3 0 isNatKind 1 0 U53 1 1 0 length 1 0 length 1 0 U41 3 0 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark isNatIListKind X active isNatIListKind X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark and X1 X2 active and mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 length mark X length X U61 X1 active X2 U61 X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 mark and X1 X2 active and mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatIListKind X active isNatIListKind X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 1 U21 2 1 isNatList 1 1 U11 2 3487 cons 2 0 s 1 1 0 isNat 1 0 U42 2 1 and 2 2311 isNatIList 1 1 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 1 U52 2 0 U12 1 3489 U42 2 0 U12 1 0 mark 1 1 0 0 0 6564 isNatList 1 0 s 1 0 isNatIListKind 1 2309 nil 0 1 mark 1 1 1 U32 1 1 30506 isNat 1 1 U52 2 1 U61 2 1 U51 3 0 U11 2 0 active 1 1 2 U31 2 2 30505 U41 3 0 cons 2 24319 active 1 1 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 3491 U22 1 1 0 U51 3 1 isNatKind 1 0 U53 1 1 0 length 1 1 length 1 0 U41 3 1 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X cons active X1 X2 cons X1 X2 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 length mark X length X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 6255 U21 2 2 1 0 isNatList 1 0 U11 2 1 70250 2 70249 0 cons 2 0 s 1 1 0 isNat 1 0 U42 2 2 0 0 and 2 2 18891 0 isNatIList 1 1 0 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 32468 U52 2 0 U12 1 51358 U42 2 0 U12 1 0 mark 1 1 0 0 0 1 isNatList 1 0 s 1 0 isNatIListKind 1 1 18889 nil 0 32468 mark 1 1 18892 U32 1 51358 isNat 1 1 1 U52 2 0 U61 2 0 U51 3 0 U11 2 0 active 1 1 1 U31 2 1 12114 0 U41 3 0 cons 2 1 16691 2 2 0 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 32467 U22 1 1 0 U51 3 0 isNatKind 1 0 U53 1 1 0 length 1 0 length 1 0 U41 3 2 3 3 0 0 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 length mark X length X U61 X1 active X2 U61 X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 1 U21 2 1 isNatList 1 1 U11 2 1 cons 2 0 s 1 1 0 isNat 1 0 U42 2 1 and 2 1 isNatIList 1 1 U43 1 1 0 U53 1 0 U43 1 0 zeros 0 3 U52 2 0 U12 1 1 1 U42 2 0 U12 1 0 mark 1 1 0 0 0 1 isNatList 1 0 s 1 0 isNatIListKind 1 1 nil 0 1 mark 1 1 4 U32 1 1 2 isNat 1 1 U52 2 1 U61 2 1 U51 3 0 U11 2 0 active 1 1 1 U31 2 1 2 1 U41 3 0 cons 2 15709 active 1 1 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 1 U22 1 1 0 U51 3 1 isNatKind 1 0 U53 1 1 0 length 1 1 length 1 0 U41 3 2 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark isNatIList X active isNatIList X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 active isNatKind s V1 mark isNatKind V1 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X cons active X1 X2 cons X1 X2 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 length mark X length X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 active isNatKind s V1 mark isNatKind V1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNatIList X active isNatIList X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 2 U21 2 2 isNatList 1 2 U11 2 15726 cons 2 0 s 1 3995 isNat 1 0 U42 2 2 and 2 20246 isNatIList 1 1 U43 1 9985 U53 1 0 U43 1 0 zeros 0 1 U52 2 0 U12 1 7500 U42 2 0 U12 1 0 mark 1 2 0 0 4 isNatList 1 0 s 1 0 isNatIListKind 1 2 nil 0 165 mark 1 4 U32 1 28813 isNat 1 2 U52 2 2 U61 2 2 U51 3 0 U11 2 0 active 1 1 1 U31 2 1 U41 3 0 cons 2 26146 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 22529 U22 1 1 U51 3 2 isNatKind 1 0 U53 1 29089 length 1 2 length 1 0 U41 3 4 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X mark isNat X active isNat X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 active isNatKind s V1 mark isNatKind V1 active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X cons active X1 X2 cons X1 X2 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 length mark X length X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active isNatKind s V1 mark isNatKind V1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 mark U42 X1 X2 active U42 mark X1 X2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNat X active isNat X mark U43 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 7 U21 2 7 isNatList 1 7 U11 2 1 2 0 cons 2 0 s 1 1 0 isNat 1 0 U42 2 8 and 2 3 isNatIList 1 1 U43 1 1 5 U53 1 0 U43 1 0 zeros 0 1 U52 2 0 U12 1 1 2646 U42 2 0 U12 1 0 mark 1 1 0 0 0 5 isNatList 1 0 s 1 0 isNatIListKind 1 5 nil 0 33188 mark 1 1 4 U32 1 1 19300 isNat 1 7 U52 2 7 U61 2 7 U51 3 0 U11 2 0 active 1 1 1 U31 2 0 U41 3 0 cons 2 16081 active 1 7 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 2656 U22 1 1 0 U51 3 7 isNatKind 1 0 U53 1 1 0 length 1 7 length 1 0 U41 3 1 0 U31 2 0 and 2 0 U61 2 0 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark isNat X active isNat X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active U51 tt V1 V2 mark U52 isNat V1 V2 active U52 tt V2 mark U53 isNatList V2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 active isNatKind s V1 mark isNatKind V1 active U21 tt V1 mark U22 isNat V1 mark U53 X mark X active isNat s V1 mark U21 isNatKind V1 V1 U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X cons active X1 X2 cons X1 X2 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 length mark X length X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark U53 X mark X active U21 tt V1 mark U22 isNat V1 active isNatKind s V1 mark isNatKind V1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U52 tt V2 mark U53 isNatList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNat X active isNat X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 9555 U21 2 2 45885 0 isNatList 1 1 20367 U11 2 1 91769 2 91770 0 cons 2 0 s 1 1 0 isNat 1 0 U42 2 2 70516 0 and 2 0 isNatIList 1 1 U43 1 116401 U53 1 0 U43 1 0 zeros 0 15807 U52 2 0 U12 1 4330 U42 2 0 U12 1 0 mark 1 1 0 0 0 45885 isNatList 1 0 s 1 0 isNatIListKind 1 1 55440 nil 0 1 mark 1 1 12157 U32 1 254058 isNat 1 1 45885 U52 2 2 45881 0 U61 2 0 U51 3 0 U11 2 0 active 1 1 58041 U31 2 1 45887 2 45886 0 U41 3 0 cons 2 1 45886 2 45885 0 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 162286 U22 1 1 0 U51 3 2 45882 3 45883 0 isNatKind 1 0 U53 1 1 25513 length 1 0 length 1 0 U41 3 2 24631 0 U31 2 0 and 2 0 U61 2 0 mark isNat X active isNat X mark length X active length mark X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark isNatList X active isNatList X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 active isNatKind s V1 mark isNatKind V1 active U21 tt V1 mark U22 isNat V1 active isNat s V1 mark U21 isNatKind V1 V1 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 isNatKind active X isNatKind X length active X length X U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X and mark X1 X2 and X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 length mark X length X U61 X1 active X2 U61 X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 active U21 tt V1 mark U22 isNat V1 active isNatKind s V1 mark isNatKind V1 mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark isNatList X active isNatList X mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark length X active length mark X mark isNat X active isNat X true U32 1 0 isNatIListKind 1 0 isNatKind 1 49258 U21 2 49258 isNatList 1 1 U11 2 49257 cons 2 0 s 1 49257 isNat 1 0 U42 2 49257 and 2 49257 isNatIList 1 0 U43 1 49257 U53 1 0 U43 1 0 zeros 0 0 U52 2 0 U12 1 49257 U42 2 0 U12 1 0 mark 1 49258 0 0 49257 isNatList 1 0 s 1 0 isNatIListKind 1 49257 nil 0 11471 mark 1 1 0 U32 1 49255 isNat 1 49258 U52 2 24284 U61 2 49258 U51 3 0 U11 2 0 active 1 49256 U31 2 49257 U41 3 0 cons 2 15570 active 1 1 0 isNatIList 1 0 U21 2 0 U22 1 0 tt 0 49257 U22 1 49257 U51 3 49257 isNatKind 1 0 U53 1 6372 length 1 49258 length 1 0 U41 3 4256 U31 2 0 and 2 0 U61 2 0 mark isNat X active isNat X mark length X active length mark X mark U22 X mark X mark U61 X1 X2 active U61 mark X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U61 tt L mark s length L mark s X mark X mark U21 X1 X2 active U21 mark X1 X2 active isNatKind s V1 mark isNatKind V1 active U21 tt V1 mark U22 isNat V1 active isNat s V1 mark U21 isNatKind V1 V1 U31 active X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U51 X1 active X2 X3 U51 X1 X2 X3 and X1 active X2 and X1 X2 isNatKind mark X isNatKind X isNat active X isNat X isNatList mark X isNatList X isNatIListKind mark X isNatIListKind X U41 X1 mark X2 X3 U41 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 U11 X1 mark X2 U11 X1 X2 isNatKind active X isNatKind X length active X length X cons active X1 X2 cons X1 X2 U41 active X1 X2 X3 U41 X1 X2 X3 U41 mark X1 X2 X3 U41 X1 X2 X3 U11 X1 active X2 U11 X1 X2 and active X1 X2 and X1 X2 U21 active X1 X2 U21 X1 X2 U11 active X1 X2 U11 X1 X2 U42 X1 active X2 U42 X1 X2 and X1 mark X2 and X1 X2 U42 active X1 X2 U42 X1 X2 U41 X1 active X2 X3 U41 X1 X2 X3 U53 mark X U53 X U11 mark X1 X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 U61 X1 mark X2 U61 X1 X2 U32 mark X U32 X U41 X1 X2 active X3 U41 X1 X2 X3 U31 X1 mark X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 isNatList active X isNatList X isNatIList mark X isNatIList X U31 mark X1 X2 U31 X1 X2 and mark X1 X2 and X1 X2 U31 X1 active X2 U31 X1 X2 U21 mark X1 X2 U21 X1 X2 U43 mark X U43 X U53 active X U53 X isNat mark X isNat X U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 active X2 U52 X1 X2 U42 mark X1 X2 U42 X1 X2 U12 active X U12 X U61 mark X1 X2 U61 X1 X2 cons X1 mark X2 cons X1 X2 length mark X length X cons X1 active X2 cons X1 X2 U61 X1 active X2 U61 X1 X2 cons mark X1 X2 cons X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X isNatIListKind active X isNatIListKind X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 U42 X1 mark X2 U42 X1 X2 isNatIList active X isNatIList X U51 X1 mark X2 X3 U51 X1 X2 X3 s mark X s X U43 active X U43 X s active X s X U12 mark X U12 X U32 active X U32 X U41 X1 X2 mark X3 U41 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 active U21 tt V1 mark U22 isNat V1 active isNatKind s V1 mark isNatKind V1 mark U21 X1 X2 active U21 mark X1 X2 mark s X mark X active U61 tt L mark s length L mark isNatKind X active isNatKind X active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U61 X1 X2 active U61 mark X1 X2 mark U22 X mark X mark length X active length mark X mark isNat X active isNat X true 2 1 U32 1 0 0 isNatIListKind 1 0 0 isNatKind 1 1 1 1 1 1 1 17809 U21 2 1 1 0 0 2 66637 66639 isNatList 1 0 0 1 1 1 0 9420 U11 2 0 1 0 1 1 1 0 1 1 2 28194 3061 cons 2 0 0 s 1 1 1 0 1 1 49304 0 isNat 1 0 0 U42 2 0 1 1 1 1 0 1 1 0 2 59068 24022 and 2 1 1 1 1 1 0 1 0 0 2 3913 0 isNatIList 1 0 1 0 0 1 1 83046 U43 1 0 0 1 0 1 31711 24022 U53 1 0 0 U43 1 0 0 zeros 0 19395 143092 U52 2 0 0 U12 1 39053 3651 U42 2 0 0 U12 1 0 0 mark 1 0 0 1 1 1 0 0 0 0 10859 1 isNatList 1 0 0 s 1 0 0 isNatIListKind 1 1 1 1 1 1 10862 14573 nil 0 1 1 mark 1 1 132232 132232 U32 1 1 0 1 0 1 106714 21887 isNat 1 1 1 0 0 1 17335 17337 U52 2 1 0 0 0 1 2 31798 30648 U61 2 0 1 U51 3 0 0 U11 2 0 0 active 1 1 143090 1 U31 2 1 0 0 0 1 0 1 0 0 2 17875 19806 U41 3 0 0 cons 2 0 1 0 1 1 0 0 1 0 2 1 1 active 1 1 1 0 isNatIList 1 0 0 U21 2 0 0 U22 1 0 0 tt 0 87400 44830 U22 1 0 0 0 1 1 0 49300 U51 3 0 1 0 0 1 0 0 1 0 2 0 1 0 0 3 38274 23054 isNatKind 1 0 0 U53 1 0 0 length 1 0 1 length 1 0 0 U41 3 0 1 1 0 1 0 1 0 0 2 0 0 1 1 3 20716 0 U31 2 0 0 and 2 0 0 U61 2 0 0 mark length X active length mark X mark U61 X1 X2 active U61 mark X1 X2 active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U61 tt L mark s length L mark s X mark X isNatKind mark X isNatKind X isNat active X isNat X isNatKind active X isNatKind X length active X length X U21 active X1 X2 U21 X1 X2 U61 X1 mark X2 U61 X1 X2 isNatIList mark X isNatIList X U21 mark X1 X2 U21 X1 X2 isNat mark X isNat X U12 active X U12 X U61 mark X1 X2 U61 X1 X2 length mark X length X U61 X1 active X2 U61 X1 X2 U22 mark X U22 X U61 active X1 X2 U61 X1 X2 U22 active X U22 X U21 X1 mark X2 U21 X1 X2 U21 X1 active X2 U21 X1 X2 isNatIList active X isNatIList X s mark X s X s active X s X U12 mark X U12 X mark s X mark X active U61 tt L mark s length L active length cons N L mark U61 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U61 X1 X2 active U61 mark X1 X2 mark length X active length mark X true Failed! NaTT certifiable-1.6