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 V1 V2 mark U62 isNat V1 V2 active U62 tt V2 mark U63 isNatIList V2 active U63 tt mark tt active U71 tt L mark s length L active U81 tt mark nil active U91 tt IL M N mark cons N take M IL 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 isNatIListKind take 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 isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 active length nil mark 0 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark zeros active zeros mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark U11 X1 X2 active U11 mark X1 X2 mark tt active tt mark U12 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 X3 active U61 mark X1 X2 X3 mark U62 X1 X2 active U62 mark X1 X2 mark U63 X active U63 mark X mark U71 X1 X2 active U71 mark X1 X2 mark s X active s mark X mark length X active length mark X mark U81 X active U81 mark X mark nil active nil mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark take X1 X2 active take mark X1 mark X2 mark and X1 X2 active and mark X1 X2 mark isNatIListKind X active isNatIListKind X mark isNatKind X active isNatKind X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 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 X3 U61 X1 X2 X3 U61 X1 mark X2 X3 U61 X1 X2 X3 U61 X1 X2 mark X3 U61 X1 X2 X3 U61 active X1 X2 X3 U61 X1 X2 X3 U61 X1 active X2 X3 U61 X1 X2 X3 U61 X1 X2 active X3 U61 X1 X2 X3 U62 mark X1 X2 U62 X1 X2 U62 X1 mark X2 U62 X1 X2 U62 active X1 X2 U62 X1 X2 U62 X1 active X2 U62 X1 X2 U63 mark X U63 X U63 active X U63 X U71 mark X1 X2 U71 X1 X2 U71 X1 mark X2 U71 X1 X2 U71 active X1 X2 U71 X1 X2 U71 X1 active X2 U71 X1 X2 s mark X s X s active X s X length mark X length X length active X length X U81 mark X U81 X U81 active X U81 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 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 active take s M cons N IL U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark U21 X1 X2 active U21 mark X1 X2 active length nil mark 0 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U53 active X U53 X cons mark X1 X2 cons X1 X2 mark U43 X mark X active length cons N L isNat N active take 0 IL mark U81 and isNatIList IL isNatIListKind IL U53 mark X U53 X active U91 tt IL M N cons N take M IL active isNatList take V1 V2 isNatKind V1 U71 active X1 X2 U71 X1 X2 mark U51 X1 X2 X3 mark X1 U61 mark X1 X2 X3 U61 X1 X2 X3 mark U11 X1 X2 U11 mark X1 X2 U12 active X U12 X active take s M cons N IL and isNat N isNatKind N U41 X1 X2 active X3 U41 X1 X2 X3 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark U91 X1 X2 X3 X4 mark X1 mark U42 X1 X2 U42 mark X1 X2 active isNatList take V1 V2 and isNatKind V1 isNatIListKind V2 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U51 X1 X2 X3 U51 mark X1 X2 X3 U81 active X U81 X active U91 tt IL M N take M IL mark U32 X U32 mark X active take s M cons N IL isNatKind N active U21 tt V1 isNat V1 active take s M cons N IL and and isNat M isNatKind M and isNat N isNatKind N active U31 tt V U32 isNatList V cons active X1 X2 cons X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 active isNatKind s V1 mark isNatKind V1 active isNatIList cons V1 V2 and isNatKind V1 isNatIListKind V2 U71 X1 mark X2 U71 X1 X2 active zeros mark cons 0 zeros active and tt X mark X mark U71 X1 X2 U71 mark X1 X2 take mark X1 X2 take X1 X2 U22 mark X U22 X U41 X1 X2 mark X3 U41 X1 X2 X3 isNatIList active X isNatIList X and X1 mark X2 and X1 X2 mark and X1 X2 active and mark X1 X2 isNatKind mark X isNatKind X active isNat 0 mark tt active take 0 IL U81 and isNatIList IL isNatIListKind IL take X1 mark X2 take X1 X2 active U31 tt V isNatList V isNatKind active X isNatKind X mark U62 X1 X2 mark X1 U41 active X1 X2 X3 U41 X1 X2 X3 active U63 tt mark tt mark take X1 X2 mark X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 active length cons N L and and isNatList L isNatIListKind L and isNat N isNatKind N mark U41 X1 X2 X3 U41 mark X1 X2 X3 active U61 tt V1 V2 mark U62 isNat V1 V2 U42 X1 mark X2 U42 X1 X2 cons X1 active X2 cons X1 X2 mark U63 X active U63 mark X active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U71 tt L mark s length L active U22 tt mark tt mark U22 X active U22 mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X active U51 tt V1 V2 isNat V1 U11 X1 mark X2 U11 X1 X2 take X1 active X2 take X1 X2 active length cons N L isNatKind N isNatList active X isNatList X mark isNatIListKind X active isNatIListKind X active U41 tt V1 V2 mark U42 isNat V1 V2 active take s M cons N IL isNatIListKind IL U62 mark X1 X2 U62 X1 X2 mark isNatIList X active isNatIList X active U42 tt V2 isNatIList V2 mark U52 X1 X2 U52 mark X1 X2 mark U61 X1 X2 X3 U61 mark X1 X2 X3 active isNatList cons V1 V2 isNatKind V1 active isNatIListKind cons V1 V2 isNatIListKind V2 mark length X mark X active isNatList cons V1 V2 U51 and isNatKind V1 isNatIListKind V2 V1 V2 U71 mark X1 X2 U71 X1 X2 U22 active X U22 X active U12 tt mark tt mark U63 X U63 mark X mark U62 X1 X2 U62 mark X1 X2 U52 X1 active X2 U52 X1 X2 mark U11 X1 X2 active U11 mark X1 X2 mark U53 X active U53 mark X mark U22 X mark X mark s X mark X active U51 tt V1 V2 U52 isNat V1 V2 active take s M cons N IL isNatKind M mark cons X1 X2 mark X1 U31 X1 active X2 U31 X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U52 active X1 X2 U52 X1 X2 mark isNat X active isNat X mark cons X1 X2 cons mark X1 X2 U63 mark X U63 X active isNat s V1 isNatKind V1 mark U43 X active U43 mark X U31 X1 mark X2 U31 X1 X2 mark U53 X mark X mark U21 X1 X2 mark X1 active take s M cons N IL isNat N U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X length mark X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 active isNatList nil mark tt mark U31 X1 X2 active U31 mark X1 X2 active isNatList cons V1 V2 and isNatKind V1 isNatIListKind V2 U41 mark X1 X2 X3 U41 X1 X2 X3 mark U32 X mark X active U41 tt V1 V2 isNat V1 and active X1 X2 and X1 X2 U43 active X U43 X mark U62 X1 X2 active U62 mark X1 X2 active take s M cons N IL isNatIList IL mark tt active tt mark U43 X U43 mark X U81 mark X U81 X mark U42 X1 X2 mark X1 U32 active X U32 X active isNatList cons V1 V2 isNatIListKind V2 active isNat length V1 U11 isNatIListKind V1 V1 active U42 tt V2 U43 isNatIList V2 U11 X1 active X2 U11 X1 X2 isNat active X isNat X active length cons N L and isNatList L isNatIListKind L U51 X1 mark X2 X3 U51 X1 X2 X3 active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 mark length X active length mark X mark U52 X1 X2 mark X1 cons X1 mark X2 cons X1 X2 U51 X1 X2 mark X3 U51 X1 X2 X3 U12 mark X U12 X mark U22 X U22 mark X active U51 tt V1 V2 mark U52 isNat V1 V2 U61 active X1 X2 X3 U61 X1 X2 X3 mark U12 X U12 mark X active take 0 IL and isNatIList IL isNatIListKind IL active isNat s V1 mark U21 isNatKind V1 V1 U61 X1 mark X2 X3 U61 X1 X2 X3 active take s M cons N IL and isNatIList IL isNatIListKind IL active isNatIListKind cons V1 V2 and isNatKind V1 isNatIListKind V2 active isNat length V1 isNatIListKind V1 mark U41 X1 X2 X3 mark X1 active U61 tt V1 V2 isNat V1 active isNatList take V1 V2 isNatIListKind V2 mark take X1 X2 take mark X1 mark X2 active U71 tt L s length L active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active take s M cons N IL and isNat M isNatKind M mark U71 X1 X2 active U71 mark X1 X2 active U62 tt V2 isNatIList V2 U21 X1 active X2 U21 X1 X2 active isNatIList V mark U31 isNatIListKind V V active take s M cons N IL isNat M active length cons N L isNatIListKind L U32 mark X U32 X active zeros cons 0 zeros active U31 tt V mark U32 isNatList V mark U32 X active U32 mark X active U43 tt mark tt active isNatIList V U31 isNatIListKind V V mark 0 active 0 mark U21 X1 X2 U21 mark X1 X2 active U21 tt V1 mark U22 isNat V1 active length cons N L and isNat N isNatKind N U62 active X1 X2 U62 X1 X2 mark zeros active zeros active U81 tt mark nil U51 X1 active X2 X3 U51 X1 X2 X3 length active X length X mark cons X1 X2 active cons mark X1 X2 active isNat s V1 U21 isNatKind V1 V1 active U21 tt V1 U22 isNat V1 U61 X1 X2 active X3 U61 X1 X2 X3 active isNatList take V1 V2 U61 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIList cons V1 V2 isNatKind V1 active U62 tt V2 mark U63 isNatIList V2 isNat mark X isNat X U42 X1 active X2 U42 X1 X2 U63 active X U63 X mark nil active nil active take s M cons N IL and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N take active X1 X2 take X1 X2 and X1 active X2 and X1 X2 mark U63 X mark X U41 X1 mark X2 X3 U41 X1 X2 X3 U31 active X1 X2 U31 X1 X2 U71 X1 active X2 U71 X1 X2 mark take X1 X2 mark X1 isNatIListKind active X isNatIListKind X active U52 tt V2 isNatList V2 active isNatIListKind take V1 V2 isNatIListKind V2 U21 mark X1 X2 U21 X1 X2 U31 mark X1 X2 U31 X1 X2 isNatIList mark X isNatIList X active length cons N L U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L U61 X1 X2 mark X3 U61 X1 X2 X3 U43 mark X U43 X active U41 tt V1 V2 U42 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 mark U11 X1 X2 mark X1 active isNatKind length V1 mark isNatIListKind V1 active U91 tt IL M N mark cons N take M IL U61 X1 active X2 X3 U61 X1 X2 X3 mark U81 X U81 mark X active isNatKind length V1 isNatIListKind V1 isNatIListKind mark X isNatIListKind X mark U12 X active U12 mark X active isNatKind 0 mark tt mark and X1 X2 mark X1 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U11 mark X1 X2 U11 X1 X2 U21 active X1 X2 U21 X1 X2 active isNatKind s V1 isNatKind V1 U52 mark X1 X2 U52 X1 X2 active U32 tt mark tt U41 X1 active X2 X3 U41 X1 X2 X3 active length cons N L isNatList L mark take X1 X2 active take mark X1 mark X2 mark U91 X1 X2 X3 X4 U91 mark X1 X2 X3 X4 active U71 tt L length L active U42 tt V2 mark U43 isNatIList V2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U42 active X1 X2 U42 X1 X2 active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N U42 mark X1 X2 U42 X1 X2 active take 0 IL isNatIListKind IL U62 X1 active X2 U62 X1 X2 active isNatIListKind nil mark tt U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 length mark X length X U51 X1 X2 active X3 U51 X1 X2 X3 mark isNatList X active isNatList X mark U12 X mark X mark U81 X active U81 mark X active U11 tt V1 isNatList V1 active isNatIListKind take V1 V2 and isNatKind V1 isNatIListKind V2 active isNatIList cons V1 V2 isNatIListKind V2 mark U53 X U53 mark X active U11 tt V1 mark U12 isNatList V1 active U52 tt V2 mark U53 isNatList V2 mark and X1 X2 and mark X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U52 X1 mark X2 U52 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark U71 X1 X2 mark X1 active isNatIListKind zeros mark tt active isNatIListKind take V1 V2 isNatKind V1 active isNatIListKind cons V1 V2 isNatKind V1 active isNat length V1 mark U11 isNatIListKind V1 V1 active U61 tt V1 V2 U62 isNat V1 V2 active isNatIList zeros mark tt s active X s X active U52 tt V2 U53 isNatList V2 active isNatIList V isNatIListKind V active U62 tt V2 U63 isNatIList V2 active take 0 IL isNatIList IL mark U61 X1 X2 X3 mark X1 isNatList mark X isNatList X U11 active X1 X2 U11 X1 X2 s mark X s X mark U31 X1 X2 U31 mark X1 X2 mark s X s mark X mark U31 X1 X2 mark X1 and mark X1 X2 and X1 X2 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U21 X1 mark X2 U21 X1 X2 mark s X active s mark X active U53 tt mark tt U62 X1 mark X2 U62 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 mark U81 X mark X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active isNatIList cons V1 V2 U41 and isNatKind V1 isNatIListKind V2 V1 V2 true mark U81 X mark X mark U52 X1 X2 active U52 mark X1 X2 mark s X active s mark X mark U61 X1 X2 X3 active U61 mark X1 X2 X3 mark U31 X1 X2 mark X1 mark U61 X1 X2 X3 mark X1 active isNat length V1 mark U11 isNatIListKind V1 V1 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark U71 X1 X2 mark X1 active U52 tt V2 mark U53 isNatList V2 active U11 tt V1 mark U12 isNatList V1 mark U81 X active U81 mark X mark U12 X mark X mark isNatList X active isNatList X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N active U42 tt V2 mark U43 isNatIList V2 mark take X1 X2 active take mark X1 mark X2 mark and X1 X2 mark X1 mark U12 X active U12 mark X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 mark U42 X1 X2 active U42 mark X1 X2 mark U11 X1 X2 mark X1 mark take X1 X2 mark X1 mark U63 X mark X active U62 tt V2 mark U63 isNatIList V2 mark cons X1 X2 active cons mark X1 X2 mark zeros active zeros active U21 tt V1 mark U22 isNat V1 mark U32 X active U32 mark X active U31 tt V mark U32 isNatList V active isNatIList V mark U31 isNatIListKind V V mark U71 X1 X2 active U71 mark X1 X2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U41 X1 X2 X3 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U52 X1 X2 mark X1 mark length X active length mark X active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 mark U32 X mark X mark U31 X1 X2 active U31 mark X1 X2 mark U21 X1 X2 mark X1 mark U53 X mark X mark U43 X active U43 mark X mark isNat X active isNat X mark cons X1 X2 mark X1 mark s X mark X mark U22 X mark X mark U53 X active U53 mark X mark U11 X1 X2 active U11 mark X1 X2 mark length X mark X mark isNatIList X active isNatIList X active U41 tt V1 V2 mark U42 isNat V1 V2 mark isNatIListKind X active isNatIListKind X mark isNatKind X active isNatKind X mark U22 X active U22 mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U71 tt L mark s length L mark U63 X active U63 mark X active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U61 tt V1 V2 mark U62 isNat V1 V2 active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark take X1 X2 mark X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U62 X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active and tt X mark X active zeros mark cons 0 zeros active isNatKind s V1 mark isNatKind V1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U91 X1 X2 X3 X4 mark X1 mark U51 X1 X2 X3 mark X1 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL mark U43 X mark X active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U21 X1 X2 active U21 mark X1 X2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 31599 U21 2 31599 isNatList 1 31599 U11 2 31599 cons 2 0 s 1 1 isNat 1 0 take 2 0 U42 2 31599 U91 4 31599 take 2 31599 U71 2 31599 U81 1 0 and 2 31599 isNatIList 1 31599 U43 1 24389 U53 1 0 U43 1 0 U63 1 1 zeros 0 31599 U52 2 0 U12 1 7177 U42 2 0 U12 1 0 U62 2 0 mark 1 31599 0 0 1 isNatList 1 0 s 1 0 nil 0 1 isNatIListKind 1 31599 U62 2 31599 U63 1 0 mark 1 1 U32 1 11650 isNat 1 31599 U52 2 31599 U61 3 31599 U51 3 0 U11 2 0 active 1 2 U31 2 31599 U41 3 0 cons 2 12330 active 1 1 0 isNatIList 1 0 U21 2 0 U81 1 2332 U22 1 0 tt 0 1 U71 2 0 U22 1 12280 U51 3 31599 isNatKind 1 0 U53 1 13506 length 1 31599 length 1 0 U41 3 31599 U31 2 0 and 2 0 U91 4 0 U61 3 0 mark U21 X1 X2 active U21 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U43 X mark X active take 0 IL mark U81 and isNatIList IL isNatIListKind IL mark U51 X1 X2 X3 mark X1 mark U91 X1 X2 X3 X4 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 active isNatKind s V1 mark isNatKind V1 active zeros mark cons 0 zeros active and tt X mark X mark and X1 X2 active and mark X1 X2 mark U62 X1 X2 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark take X1 X2 mark X2 active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 active U61 tt V1 V2 mark U62 isNat V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U71 tt L mark s length L active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark isNatKind X active isNatKind X mark isNatIListKind X active isNatIListKind X active U41 tt V1 V2 mark U42 isNat V1 V2 mark isNatIList X active isNatIList X mark length X mark X mark U11 X1 X2 active U11 mark X1 X2 mark U22 X mark X mark s X mark X mark cons X1 X2 mark X1 mark isNat X active isNat X mark U53 X mark X mark U21 X1 X2 mark X1 mark U31 X1 X2 active U31 mark X1 X2 mark U32 X mark X mark U62 X1 X2 active U62 mark X1 X2 mark U42 X1 X2 mark X1 active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 mark length X active length mark X mark U52 X1 X2 mark X1 active U51 tt V1 V2 mark U52 isNat V1 V2 active isNat s V1 mark U21 isNatKind V1 V1 mark U41 X1 X2 X3 mark X1 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active isNatIList V mark U31 isNatIListKind V V active U31 tt V mark U32 isNatList V active U21 tt V1 mark U22 isNat V1 mark zeros active zeros active U62 tt V2 mark U63 isNatIList V2 mark U63 X mark X mark take X1 X2 mark X1 mark U11 X1 X2 mark X1 mark U42 X1 X2 active U42 mark X1 X2 active isNatKind length V1 mark isNatIListKind V1 active U91 tt IL M N mark cons N take M IL mark and X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 active U42 tt V2 mark U43 isNatIList V2 active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark isNatList X active isNatList X mark U12 X mark X active U11 tt V1 mark U12 isNatList V1 active U52 tt V2 mark U53 isNatList V2 mark U71 X1 X2 mark X1 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active isNat length V1 mark U11 isNatIListKind V1 V1 mark U61 X1 X2 X3 mark X1 mark U31 X1 X2 mark X1 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 mark U52 X1 X2 active U52 mark X1 X2 mark U81 X mark X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 and X1 mark X2 and X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 U62 mark X1 X2 U62 X1 X2 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X U51 X1 active X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X U61 X1 X2 mark X3 U61 X1 X2 X3 U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 U42 X1 mark X2 U42 X1 X2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X U41 X1 X2 mark X3 U41 X1 X2 X3 U31 X1 active X2 U31 X1 X2 U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 U62 X1 active X2 U62 X1 X2 U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 take X1 mark X2 take X1 X2 U32 active X U32 X U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X isNatKind mark X isNatKind X take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 isNatList mark X isNatList X U21 X1 mark X2 U21 X1 X2 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U62 tt V2 mark U63 isNatIList V2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 mark X1 mark U42 X1 X2 active U42 mark X1 X2 active zeros mark cons 0 zeros active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 mark U91 X1 X2 X3 X4 mark X1 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 mark X1 mark U71 X1 X2 active U71 mark X1 X2 active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L mark U61 X1 X2 X3 mark X1 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 mark length X mark X mark length X active length mark X mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active and tt X mark X mark U22 X mark X mark U32 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X mark X active U61 tt V1 V2 mark U62 isNat V1 V2 mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 mark take X1 X2 mark X2 mark take X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList V mark U31 isNatIListKind V V mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U31 X1 X2 mark X1 mark U31 X1 X2 active U31 mark X1 X2 active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark U43 X mark X mark U53 X mark X active U31 tt V mark U32 isNatList V active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X mark zeros active zeros mark cons X1 X2 mark X1 mark U12 X mark X mark U81 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind 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 take 2 0 U42 2 1 0 U91 4 1 2 3 4 31159 take 2 1 2 31159 U71 2 1 2 22746 U81 1 0 and 2 1 2 0 isNatIList 1 0 U43 1 1 0 U53 1 0 U43 1 0 U63 1 1 0 zeros 0 18336 U52 2 0 U12 1 1 0 U42 2 0 U12 1 0 U62 2 0 mark 1 1 0 0 0 0 isNatList 1 0 s 1 0 nil 0 1 isNatIListKind 1 0 U62 2 1 0 U63 1 0 mark 1 1 0 U32 1 1 0 isNat 1 0 U52 2 1 0 U61 3 1 0 U51 3 0 U11 2 0 active 1 1 0 U31 2 1 0 U41 3 0 cons 2 1 2 0 active 1 1 0 isNatIList 1 0 U21 2 0 U81 1 1 13457 U22 1 0 tt 0 0 U71 2 0 U22 1 1 0 U51 3 1 0 isNatKind 1 0 U53 1 1 0 length 1 1 22746 length 1 0 U41 3 1 0 U31 2 0 and 2 0 U91 4 0 U61 3 0 active U11 tt V1 mark U12 isNatList V1 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U12 X mark X mark cons X1 X2 mark X1 mark zeros active zeros mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U41 X1 X2 X3 mark X1 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U52 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 mark U62 X1 X2 mark X1 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U31 tt V mark U32 isNatList V mark U53 X mark X mark U43 X mark X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark U31 X1 X2 active U31 mark X1 X2 mark U31 X1 X2 mark X1 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U51 X1 X2 X3 mark X1 active isNatIList V mark U31 isNatIListKind V V mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 mark take X1 X2 active take mark X1 mark X2 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X active U61 tt V1 V2 mark U62 isNat V1 V2 mark U63 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U32 X mark X mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark U11 X1 X2 active U11 mark X1 X2 mark U11 X1 X2 mark X1 mark length X active length mark X active isNat length V1 mark U11 isNatIListKind V1 V1 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 mark U61 X1 X2 X3 mark X1 active U71 tt L mark s length L active isNatKind length V1 mark isNatIListKind V1 active U91 tt IL M N mark cons N take M IL mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 active zeros mark cons 0 zeros mark U42 X1 X2 active U42 mark X1 X2 mark U42 X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active U62 tt V2 mark U63 isNatIList V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X active U81 tt mark nil mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 active U21 tt V1 mark U22 isNat V1 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X active U62 tt V2 mark U63 isNatIList V2 U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 active U41 tt V1 V2 mark U42 isNat V1 V2 and X1 mark X2 and X1 X2 mark U42 X1 X2 active U42 mark X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 active zeros mark cons 0 zeros U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 active U12 tt mark tt active U63 tt mark tt active isNat 0 mark tt active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 U62 mark X1 X2 U62 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X mark U71 X1 X2 active U71 mark X1 X2 U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L U51 X1 active X2 X3 U51 X1 X2 X3 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 active isNatIListKind nil mark tt take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X active isNatList nil mark tt U61 X1 X2 mark X3 U61 X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatIListKind zeros mark tt U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 active U22 tt mark tt U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X active s mark X U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X active U43 tt mark tt U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active U32 tt mark tt U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 active and tt X mark X U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 active isNatIList zeros mark tt mark U22 X active U22 mark X mark U32 X active U32 mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X active U63 mark X U42 X1 mark X2 U42 X1 X2 active U61 tt V1 V2 mark U62 isNat V1 V2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X mark isNatIList X active isNatIList X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X active isNatKind 0 mark tt active U52 tt V2 mark U53 isNatList V2 U41 X1 X2 mark X3 U41 X1 X2 X3 mark take X1 X2 active take mark X1 mark X2 U31 X1 active X2 U31 X1 X2 mark tt active tt U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 U62 X1 active X2 U62 X1 X2 active isNatIList V mark U31 isNatIListKind V V U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 take X1 mark X2 take X1 X2 U32 active X U32 X active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U31 X1 X2 active U31 mark X1 X2 U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark nil active nil mark U43 X active U43 mark X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X mark U53 X active U53 mark X isNatKind mark X isNatKind X active U31 tt V mark U32 isNatList V take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X mark U21 X1 X2 active U21 mark X1 X2 U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 active length nil mark 0 mark zeros active zeros U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark U12 X active U12 mark X mark U81 X active U81 mark X isNatList mark X isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark 0 active 0 U21 X1 mark X2 U21 X1 X2 active U11 tt V1 mark U12 isNatList V1 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U62 tt V2 mark U63 isNatIList V2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 mark X1 mark U42 X1 X2 active U42 mark X1 X2 active zeros mark cons 0 zeros active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L mark U61 X1 X2 X3 mark X1 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 mark length X active length mark X mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X mark U32 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X mark X active U61 tt V1 V2 mark U62 isNat V1 V2 mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 mark take X1 X2 active take mark X1 mark X2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList V mark U31 isNatIListKind V V mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U31 X1 X2 mark X1 mark U31 X1 X2 active U31 mark X1 X2 active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark U43 X mark X mark U53 X mark X active U31 tt V mark U32 isNatList V active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X mark zeros active zeros mark cons X1 X2 mark X1 mark U12 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind 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 take 2 0 U42 2 1 0 U91 4 4 2 take 2 2 2 U71 2 22746 U81 1 0 and 2 1 2 0 isNatIList 1 0 U43 1 1 0 U53 1 0 U43 1 0 U63 1 1 0 zeros 0 21806 U52 2 0 U12 1 1 0 U42 2 0 U12 1 0 U62 2 0 mark 1 1 0 0 0 21804 isNatList 1 0 s 1 0 nil 0 1 isNatIListKind 1 0 U62 2 1 0 U63 1 0 mark 1 1 0 U32 1 1 0 isNat 1 0 U52 2 1 0 U61 3 1 0 U51 3 0 U11 2 0 active 1 1 0 U31 2 1 0 U41 3 0 cons 2 1 1 active 1 1 0 isNatIList 1 0 U21 2 0 U81 1 1 1 U22 1 0 tt 0 0 U71 2 0 U22 1 1 0 U51 3 1 0 isNatKind 1 0 U53 1 1 0 length 1 22746 length 1 0 U41 3 1 0 U31 2 0 and 2 0 U91 4 0 U61 3 0 active U11 tt V1 mark U12 isNatList V1 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U12 X mark X mark zeros active zeros mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U41 X1 X2 X3 mark X1 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U52 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 mark U62 X1 X2 mark X1 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U31 tt V mark U32 isNatList V mark U53 X mark X mark U43 X mark X mark U31 X1 X2 active U31 mark X1 X2 mark U31 X1 X2 mark X1 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U51 X1 X2 X3 mark X1 active isNatIList V mark U31 isNatIListKind V V mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 mark take X1 X2 active take mark X1 mark X2 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X active U61 tt V1 V2 mark U62 isNat V1 V2 mark U63 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U32 X mark X mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark U11 X1 X2 active U11 mark X1 X2 mark U11 X1 X2 mark X1 mark length X active length mark X active isNat length V1 mark U11 isNatIListKind V1 V1 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 mark U61 X1 X2 X3 mark X1 active U71 tt L mark s length L active isNatKind length V1 mark isNatIListKind V1 mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 active U42 mark X1 X2 mark U42 X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active U62 tt V2 mark U63 isNatIList V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X active U81 tt mark nil mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 active U21 tt V1 mark U22 isNat V1 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X active U62 tt V2 mark U63 isNatIList V2 U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 active U41 tt V1 V2 mark U42 isNat V1 V2 and X1 mark X2 and X1 X2 mark U42 X1 X2 active U42 mark X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 active zeros mark cons 0 zeros U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 active U12 tt mark tt active U63 tt mark tt active isNat 0 mark tt active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 U62 mark X1 X2 U62 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X mark U71 X1 X2 active U71 mark X1 X2 U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L U51 X1 active X2 X3 U51 X1 X2 X3 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 active isNatIListKind nil mark tt take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X active isNatList nil mark tt U61 X1 X2 mark X3 U61 X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatIListKind zeros mark tt U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 active U22 tt mark tt U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X active s mark X U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X active U43 tt mark tt U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active U32 tt mark tt U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 active and tt X mark X U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 active isNatIList zeros mark tt mark U22 X active U22 mark X mark U32 X active U32 mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X active U63 mark X U42 X1 mark X2 U42 X1 X2 active U61 tt V1 V2 mark U62 isNat V1 V2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X mark isNatIList X active isNatIList X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X active isNatKind 0 mark tt active U52 tt V2 mark U53 isNatList V2 U41 X1 X2 mark X3 U41 X1 X2 X3 mark take X1 X2 active take mark X1 mark X2 U31 X1 active X2 U31 X1 X2 mark tt active tt U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 U62 X1 active X2 U62 X1 X2 active isNatIList V mark U31 isNatIListKind V V U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 take X1 mark X2 take X1 X2 U32 active X U32 X active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U31 X1 X2 active U31 mark X1 X2 U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark nil active nil mark U43 X active U43 mark X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X mark U53 X active U53 mark X isNatKind mark X isNatKind X active U31 tt V mark U32 isNatList V take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X mark U21 X1 X2 active U21 mark X1 X2 U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 active length nil mark 0 mark zeros active zeros U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark U12 X active U12 mark X mark U81 X active U81 mark X isNatList mark X isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark 0 active 0 U21 X1 mark X2 U21 X1 X2 active U11 tt V1 mark U12 isNatList V1 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U62 tt V2 mark U63 isNatIList V2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 mark X1 mark U42 X1 X2 active U42 mark X1 X2 active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L mark U61 X1 X2 X3 mark X1 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 mark length X active length mark X mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X mark U32 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X mark X active U61 tt V1 V2 mark U62 isNat V1 V2 mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 mark take X1 X2 active take mark X1 mark X2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList V mark U31 isNatIListKind V V mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U31 X1 X2 mark X1 mark U31 X1 X2 active U31 mark X1 X2 mark U43 X mark X mark U53 X mark X active U31 tt V mark U32 isNatList V active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X mark U12 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active U11 tt V1 mark U12 isNatList V1 true U32 1 0 isNatIListKind 1 0 isNatKind 1 3902 U21 2 3902 isNatList 1 3902 U11 2 3902 cons 2 0 s 1 1 isNat 1 0 take 2 0 U42 2 3902 U91 4 1 take 2 3901 U71 2 3902 U81 1 0 and 2 3902 isNatIList 1 3902 U43 1 1 U53 1 0 U43 1 0 U63 1 1 zeros 0 1 U52 2 0 U12 1 1 U42 2 0 U12 1 0 U62 2 0 mark 1 3902 0 0 1 isNatList 1 0 s 1 0 nil 0 1 isNatIListKind 1 3902 U62 2 3902 U63 1 0 mark 1 1 U32 1 1 isNat 1 3902 U52 2 3902 U61 3 3902 U51 3 0 U11 2 0 active 1 1 U31 2 3902 U41 3 0 cons 2 1 active 1 1 0 isNatIList 1 0 U21 2 0 U81 1 1 U22 1 0 tt 0 1 U71 2 0 U22 1 1 U51 3 3902 isNatKind 1 0 U53 1 1 length 1 3902 length 1 0 U41 3 3902 U31 2 0 and 2 0 U91 4 0 U61 3 0 active U11 tt V1 mark U12 isNatList V1 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark U12 X mark X mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark U41 X1 X2 X3 mark X1 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U52 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 mark U62 X1 X2 mark X1 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L active U31 tt V mark U32 isNatList V mark U53 X mark X mark U43 X mark X mark U31 X1 X2 active U31 mark X1 X2 mark U31 X1 X2 mark X1 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U51 X1 X2 X3 mark X1 active isNatIList V mark U31 isNatIListKind V V mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X active U61 tt V1 V2 mark U62 isNat V1 V2 mark U63 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U32 X mark X mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark U11 X1 X2 active U11 mark X1 X2 mark U11 X1 X2 mark X1 mark length X active length mark X active isNat length V1 mark U11 isNatIListKind V1 V1 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 mark U61 X1 X2 X3 mark X1 active U71 tt L mark s length L active isNatKind length V1 mark isNatIListKind V1 mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 active U42 mark X1 X2 mark U42 X1 X2 mark X1 active U41 tt V1 V2 mark U42 isNat V1 V2 active U62 tt V2 mark U63 isNatIList V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X active U81 tt mark nil mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 active U21 tt V1 mark U22 isNat V1 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X active U62 tt V2 mark U63 isNatIList V2 U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 active U41 tt V1 V2 mark U42 isNat V1 V2 and X1 mark X2 and X1 X2 mark U42 X1 X2 active U42 mark X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 active zeros mark cons 0 zeros U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 active U12 tt mark tt active U63 tt mark tt active isNat 0 mark tt active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 U62 mark X1 X2 U62 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X mark U71 X1 X2 active U71 mark X1 X2 U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L U51 X1 active X2 X3 U51 X1 X2 X3 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 active isNatIListKind nil mark tt take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X active isNatList nil mark tt U61 X1 X2 mark X3 U61 X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatIListKind zeros mark tt U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 active U22 tt mark tt U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X active s mark X U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X active U43 tt mark tt U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active U32 tt mark tt U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 active and tt X mark X U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 active isNatIList zeros mark tt mark U22 X active U22 mark X mark U32 X active U32 mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X active U63 mark X U42 X1 mark X2 U42 X1 X2 active U61 tt V1 V2 mark U62 isNat V1 V2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X mark isNatIList X active isNatIList X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X active isNatKind 0 mark tt active U52 tt V2 mark U53 isNatList V2 U41 X1 X2 mark X3 U41 X1 X2 X3 mark take X1 X2 active take mark X1 mark X2 U31 X1 active X2 U31 X1 X2 mark tt active tt U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 U62 X1 active X2 U62 X1 X2 active isNatIList V mark U31 isNatIListKind V V U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 take X1 mark X2 take X1 X2 U32 active X U32 X active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U31 X1 X2 active U31 mark X1 X2 U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark nil active nil mark U43 X active U43 mark X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X mark U53 X active U53 mark X isNatKind mark X isNatKind X active U31 tt V mark U32 isNatList V take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X mark U21 X1 X2 active U21 mark X1 X2 U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 active length nil mark 0 mark zeros active zeros U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark U12 X active U12 mark X mark U81 X active U81 mark X isNatList mark X isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark 0 active 0 U21 X1 mark X2 U21 X1 X2 active U11 tt V1 mark U12 isNatList V1 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U62 tt V2 mark U63 isNatIList V2 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 mark X1 mark U42 X1 X2 active U42 mark X1 X2 active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L mark U61 X1 X2 X3 mark X1 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 mark length X active length mark X mark U11 X1 X2 mark X1 mark U11 X1 X2 active U11 mark X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X mark U32 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X mark X active U61 tt V1 V2 mark U62 isNat V1 V2 mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active isNatIList V mark U31 isNatIListKind V V mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U31 X1 X2 mark X1 mark U31 X1 X2 active U31 mark X1 X2 mark U43 X mark X mark U53 X mark X active U31 tt V mark U32 isNatList V active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 mark X1 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X mark U12 X mark X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind 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 0 U11 2 1 2 23033 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 2 1 2 26373 U91 4 2 3 4 50184 take 2 1 2 50184 U71 2 2 51505 U81 1 0 and 2 1 2 0 isNatIList 1 1 26373 U43 1 1 0 U53 1 0 U43 1 0 U63 1 1 23808 zeros 0 49171 U52 2 0 U12 1 1 23032 U42 2 0 U12 1 0 U62 2 0 mark 1 1 0 0 0 0 isNatList 1 0 s 1 0 nil 0 0 isNatIListKind 1 0 U62 2 1 2 50182 U63 1 0 mark 1 1 0 U32 1 1 26371 isNat 1 1 0 U52 2 1 2 0 U61 3 1 2 3 50183 U51 3 0 U11 2 0 active 1 1 0 U31 2 1 2 26372 U41 3 0 cons 2 1 2 0 active 1 1 0 isNatIList 1 0 U21 2 0 U81 1 0 U22 1 0 tt 0 0 U71 2 0 U22 1 1 0 U51 3 1 2 3 0 isNatKind 1 0 U53 1 1 0 length 1 1 51505 length 1 0 U41 3 1 2 3 26373 U31 2 0 and 2 0 U91 4 0 U61 3 0 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U52 X1 X2 mark X1 mark U62 X1 X2 active U62 mark X1 X2 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U53 X mark X mark U43 X mark X mark U31 X1 X2 active U31 mark X1 X2 active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U51 X1 X2 X3 mark X1 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark U11 X1 X2 active U11 mark X1 X2 mark length X active length mark X mark U61 X1 X2 X3 active U61 mark X1 X2 X3 active U71 tt L mark s length L active isNatKind length V1 mark isNatIListKind V1 mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X active U81 tt mark nil mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 active U21 tt V1 mark U22 isNat V1 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X active U62 tt V2 mark U63 isNatIList V2 U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 active U41 tt V1 V2 mark U42 isNat V1 V2 and X1 mark X2 and X1 X2 mark U42 X1 X2 active U42 mark X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 active zeros mark cons 0 zeros U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 active U12 tt mark tt active U63 tt mark tt active isNat 0 mark tt active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 U62 mark X1 X2 U62 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X mark U71 X1 X2 active U71 mark X1 X2 U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L U51 X1 active X2 X3 U51 X1 X2 X3 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 active isNatIListKind nil mark tt take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X active isNatList nil mark tt U61 X1 X2 mark X3 U61 X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatIListKind zeros mark tt U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 active U22 tt mark tt U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X active s mark X U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X active U43 tt mark tt U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active U32 tt mark tt U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 active and tt X mark X U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 active isNatIList zeros mark tt mark U22 X active U22 mark X mark U32 X active U32 mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X active U63 mark X U42 X1 mark X2 U42 X1 X2 active U61 tt V1 V2 mark U62 isNat V1 V2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X mark isNatIList X active isNatIList X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X active isNatKind 0 mark tt active U52 tt V2 mark U53 isNatList V2 U41 X1 X2 mark X3 U41 X1 X2 X3 mark take X1 X2 active take mark X1 mark X2 U31 X1 active X2 U31 X1 X2 mark tt active tt U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 U62 X1 active X2 U62 X1 X2 active isNatIList V mark U31 isNatIListKind V V U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 take X1 mark X2 take X1 X2 U32 active X U32 X active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U31 X1 X2 active U31 mark X1 X2 U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark nil active nil mark U43 X active U43 mark X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X mark U53 X active U53 mark X isNatKind mark X isNatKind X active U31 tt V mark U32 isNatList V take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X mark U21 X1 X2 active U21 mark X1 X2 U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 active length nil mark 0 mark zeros active zeros U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark U12 X active U12 mark X mark U81 X active U81 mark X isNatList mark X isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark 0 active 0 U21 X1 mark X2 U21 X1 X2 active U11 tt V1 mark U12 isNatList V1 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L mark U61 X1 X2 X3 active U61 mark X1 X2 X3 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U31 X1 X2 active U31 mark X1 X2 mark U43 X mark X mark U53 X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 41468 U21 2 41468 isNatList 1 41468 U11 2 30998 cons 2 0 s 1 41470 isNat 1 0 take 2 0 U42 2 41468 U91 4 41470 take 2 41470 U71 2 41468 U81 1 0 and 2 41468 isNatIList 1 41468 U43 1 41468 U53 1 0 U43 1 0 U63 1 41468 zeros 0 1 U52 2 0 U12 1 41468 U42 2 0 U12 1 0 U62 2 0 mark 1 41468 0 0 41470 isNatList 1 0 s 1 0 nil 0 51504 isNatIListKind 1 41468 U62 2 9577 U63 1 0 mark 1 41469 U32 1 41470 isNat 1 41468 U52 2 41468 U61 3 41467 U51 3 0 U11 2 0 active 1 1 0 U31 2 2137 U41 3 0 cons 2 41470 active 1 1 0 isNatIList 1 0 U21 2 0 U81 1 3705 U22 1 0 tt 0 41470 U71 2 0 U22 1 0 U51 3 41468 isNatKind 1 0 U53 1 41468 length 1 41468 length 1 0 U41 3 41468 U31 2 0 and 2 0 U91 4 0 U61 3 0 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U52 X1 X2 mark X1 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U53 X mark X mark U43 X mark X active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark U51 X1 X2 X3 mark X1 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L active isNatKind length V1 mark isNatIListKind V1 mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 and X1 mark X2 and X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 U62 mark X1 X2 U62 X1 X2 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X U51 X1 active X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X U61 X1 X2 mark X3 U61 X1 X2 X3 U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 U42 X1 mark X2 U42 X1 X2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X U41 X1 X2 mark X3 U41 X1 X2 X3 U31 X1 active X2 U31 X1 X2 U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 U62 X1 active X2 U62 X1 X2 U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 take X1 mark X2 take X1 X2 U32 active X U32 X U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X isNatKind mark X isNatKind X take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 isNatList mark X isNatList X U21 X1 mark X2 U21 X1 X2 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 mark U51 X1 X2 X3 mark X1 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U43 X mark X mark U53 X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U52 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 0 U21 2 1 0 isNatList 1 1 U11 2 0 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 2 27697 U91 4 35416 take 2 35416 U71 2 48870 U81 1 0 and 2 1 2 0 isNatIList 1 27697 U43 1 1 0 U53 1 0 U43 1 0 U63 1 1 zeros 0 13314 U52 2 0 U12 1 0 U42 2 0 U12 1 0 U62 2 0 mark 1 1 41468 0 0 48870 isNatList 1 0 s 1 0 nil 0 14107 isNatIListKind 1 0 U62 2 1 U63 1 0 mark 1 1 0 U32 1 13044 isNat 1 0 U52 2 1 1 U61 3 1 U51 3 0 U11 2 0 active 1 1 0 U31 2 14841 U41 3 0 cons 2 9311 active 1 1 41468 isNatIList 1 0 U21 2 0 U81 1 14107 U22 1 0 tt 0 0 U71 2 0 U22 1 1 0 U51 3 1 1 isNatKind 1 0 U53 1 1 0 length 1 48870 length 1 0 U41 3 27697 U31 2 0 and 2 0 U91 4 0 U61 3 0 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U21 X1 X2 mark X1 mark U52 X1 X2 active U52 mark X1 X2 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U53 X mark X mark U43 X mark X active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L active isNatKind length V1 mark isNatIListKind V1 mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X active U81 tt mark nil mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 active U21 tt V1 mark U22 isNat V1 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X active U62 tt V2 mark U63 isNatIList V2 U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 active U41 tt V1 V2 mark U42 isNat V1 V2 and X1 mark X2 and X1 X2 mark U42 X1 X2 active U42 mark X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 active zeros mark cons 0 zeros U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 active U12 tt mark tt active U63 tt mark tt active isNat 0 mark tt active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 U62 mark X1 X2 U62 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X mark U71 X1 X2 active U71 mark X1 X2 U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L U51 X1 active X2 X3 U51 X1 X2 X3 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 active isNatIListKind nil mark tt take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X active isNatList nil mark tt U61 X1 X2 mark X3 U61 X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatIListKind zeros mark tt U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 active U22 tt mark tt U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X active s mark X U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X active U43 tt mark tt U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active U32 tt mark tt U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 active and tt X mark X U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 active isNatIList zeros mark tt mark U22 X active U22 mark X mark U32 X active U32 mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X active U63 mark X U42 X1 mark X2 U42 X1 X2 active U61 tt V1 V2 mark U62 isNat V1 V2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X mark isNatIList X active isNatIList X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X active isNatKind 0 mark tt active U52 tt V2 mark U53 isNatList V2 U41 X1 X2 mark X3 U41 X1 X2 X3 mark take X1 X2 active take mark X1 mark X2 U31 X1 active X2 U31 X1 X2 mark tt active tt U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 U62 X1 active X2 U62 X1 X2 active isNatIList V mark U31 isNatIListKind V V U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 take X1 mark X2 take X1 X2 U32 active X U32 X active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U31 X1 X2 active U31 mark X1 X2 U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark nil active nil mark U43 X active U43 mark X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X mark U53 X active U53 mark X isNatKind mark X isNatKind X active U31 tt V mark U32 isNatList V take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X mark U21 X1 X2 active U21 mark X1 X2 U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 active length nil mark 0 mark zeros active zeros U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark U12 X active U12 mark X mark U81 X active U81 mark X isNatList mark X isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark 0 active 0 U21 X1 mark X2 U21 X1 X2 active U11 tt V1 mark U12 isNatList V1 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U43 X mark X mark U53 X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 mark X1 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind 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 take 2 0 U42 2 12397 U91 4 1 take 2 1 U71 2 1 U81 1 0 and 2 1 2 0 isNatIList 1 12397 U43 1 1 0 U53 1 0 U43 1 0 U63 1 1 zeros 0 1 U52 2 0 U12 1 1 U42 2 0 U12 1 0 U62 2 0 mark 1 1 41468 0 0 1 isNatList 1 0 s 1 0 nil 0 1 isNatIListKind 1 0 U62 2 1 U63 1 0 mark 1 1 0 U32 1 1817 isNat 1 1 1 U52 2 1 U61 3 1 U51 3 0 U11 2 0 active 1 1 0 U31 2 1817 U41 3 0 cons 2 1 active 1 1 41468 isNatIList 1 0 U21 2 0 U81 1 1 U22 1 0 tt 0 0 U71 2 0 U22 1 1 0 U51 3 1 isNatKind 1 0 U53 1 1 0 length 1 1 length 1 0 U41 3 12397 U31 2 0 and 2 0 U91 4 0 U61 3 0 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U53 X mark X mark U43 X mark X active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L active isNatKind length V1 mark isNatIListKind V1 mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X active U81 tt mark nil mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 active U21 tt V1 mark U22 isNat V1 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X active U62 tt V2 mark U63 isNatIList V2 U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 active U41 tt V1 V2 mark U42 isNat V1 V2 and X1 mark X2 and X1 X2 mark U42 X1 X2 active U42 mark X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 active zeros mark cons 0 zeros U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 active U12 tt mark tt active U63 tt mark tt active isNat 0 mark tt active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 U62 mark X1 X2 U62 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X mark U71 X1 X2 active U71 mark X1 X2 U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L U51 X1 active X2 X3 U51 X1 X2 X3 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 active isNatIListKind nil mark tt take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X active isNatList nil mark tt U61 X1 X2 mark X3 U61 X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatIListKind zeros mark tt U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 active U22 tt mark tt U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X active s mark X U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X active U43 tt mark tt U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active U32 tt mark tt U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 active and tt X mark X U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 active isNatIList zeros mark tt mark U22 X active U22 mark X mark U32 X active U32 mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X active U63 mark X U42 X1 mark X2 U42 X1 X2 active U61 tt V1 V2 mark U62 isNat V1 V2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X mark isNatIList X active isNatIList X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X active isNatKind 0 mark tt active U52 tt V2 mark U53 isNatList V2 U41 X1 X2 mark X3 U41 X1 X2 X3 mark take X1 X2 active take mark X1 mark X2 U31 X1 active X2 U31 X1 X2 mark tt active tt U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 U62 X1 active X2 U62 X1 X2 active isNatIList V mark U31 isNatIListKind V V U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 take X1 mark X2 take X1 X2 U32 active X U32 X active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U31 X1 X2 active U31 mark X1 X2 U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark nil active nil mark U43 X active U43 mark X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X mark U53 X active U53 mark X isNatKind mark X isNatKind X active U31 tt V mark U32 isNatList V take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X mark U21 X1 X2 active U21 mark X1 X2 U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 active length nil mark 0 mark zeros active zeros U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark U12 X active U12 mark X mark U81 X active U81 mark X isNatList mark X isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark 0 active 0 U21 X1 mark X2 U21 X1 X2 active U11 tt V1 mark U12 isNatList V1 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U43 X mark X mark U53 X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 1 0 U21 2 44810 isNatList 1 23395 U11 2 11894 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 2 1 U91 4 2 3 4 1 take 2 1 2 1 U71 2 2 2 U81 1 0 and 2 1 2 0 isNatIList 1 1 U43 1 1 0 U53 1 0 U43 1 0 U63 1 0 zeros 0 56727 U52 2 0 U12 1 1 U42 2 0 U12 1 0 U62 2 0 mark 1 1 41468 0 0 0 isNatList 1 0 s 1 0 nil 0 1 isNatIListKind 1 1 1 U62 2 0 U63 1 0 mark 1 1 0 U32 1 0 isNat 1 44810 U52 2 23395 U61 3 0 U51 3 0 U11 2 0 active 1 1 0 U31 2 1 U41 3 0 cons 2 1 2 0 active 1 1 41468 isNatIList 1 0 U21 2 0 U81 1 1 U22 1 0 tt 0 0 U71 2 0 U22 1 1 0 U51 3 23395 isNatKind 1 0 U53 1 1 0 length 1 1 2 length 1 0 U41 3 1 U31 2 0 and 2 0 U91 4 0 U61 3 0 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U53 X mark X mark U43 X mark X active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark and X1 X2 active and mark X1 X2 mark and X1 X2 mark X1 active isNat s V1 mark U21 isNatKind V1 V1 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X active U81 tt mark nil mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 active U21 tt V1 mark U22 isNat V1 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X active U62 tt V2 mark U63 isNatIList V2 U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 active U41 tt V1 V2 mark U42 isNat V1 V2 and X1 mark X2 and X1 X2 mark U42 X1 X2 active U42 mark X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 active zeros mark cons 0 zeros U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 active U12 tt mark tt active U63 tt mark tt active isNat 0 mark tt active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 U62 mark X1 X2 U62 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X mark U71 X1 X2 active U71 mark X1 X2 U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L U51 X1 active X2 X3 U51 X1 X2 X3 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 active isNatIListKind nil mark tt take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X active isNatList nil mark tt U61 X1 X2 mark X3 U61 X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatIListKind zeros mark tt U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 active U22 tt mark tt U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X active s mark X U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X active U43 tt mark tt U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active U32 tt mark tt U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 active and tt X mark X U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 active isNatIList zeros mark tt mark U22 X active U22 mark X mark U32 X active U32 mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X active U63 mark X U42 X1 mark X2 U42 X1 X2 active U61 tt V1 V2 mark U62 isNat V1 V2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X mark isNatIList X active isNatIList X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X active isNatKind 0 mark tt active U52 tt V2 mark U53 isNatList V2 U41 X1 X2 mark X3 U41 X1 X2 X3 mark take X1 X2 active take mark X1 mark X2 U31 X1 active X2 U31 X1 X2 mark tt active tt U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 U62 X1 active X2 U62 X1 X2 active isNatIList V mark U31 isNatIListKind V V U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 take X1 mark X2 take X1 X2 U32 active X U32 X active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U31 X1 X2 active U31 mark X1 X2 U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark nil active nil mark U43 X active U43 mark X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X mark U53 X active U53 mark X isNatKind mark X isNatKind X active U31 tt V mark U32 isNatList V take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X mark U21 X1 X2 active U21 mark X1 X2 U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 active length nil mark 0 mark zeros active zeros U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark U12 X active U12 mark X mark U81 X active U81 mark X isNatList mark X isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark 0 active 0 U21 X1 mark X2 U21 X1 X2 active U11 tt V1 mark U12 isNatList V1 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U43 X mark X mark U53 X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 1 1 U21 2 1 3 2 5 0 isNatList 1 1 0 U11 2 1 0 0 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 2 2 3 0 U91 4 1 1 2 6 3 8 4 13 0 take 2 1 8 2 6 0 U71 2 1 0 2 3 0 U81 1 0 and 2 1 1 2 0 0 isNatIList 1 1 3 U43 1 1 0 U53 1 0 U43 1 0 U63 1 3 zeros 0 16 U52 2 0 U12 1 3 U42 2 0 U12 1 0 U62 2 0 mark 1 1 0 0 0 4 isNatList 1 0 s 1 0 nil 0 3 isNatIListKind 1 1 0 U62 2 2 3 0 U63 1 0 mark 1 1 0 U32 1 3 isNat 1 1 5 U52 2 2 0 0 U61 3 1 5 3 3 0 U51 3 0 U11 2 0 active 1 1 0 U31 2 2 3 0 U41 3 0 cons 2 1 12 2 0 0 active 1 1 0 isNatIList 1 0 U21 2 0 U81 1 3 U22 1 0 tt 0 3 U71 2 0 U22 1 1 0 U51 3 1 0 3 0 0 isNatKind 1 0 U53 1 1 0 length 1 1 3 length 1 0 U41 3 3 3 0 U31 2 0 and 2 0 U91 4 0 U61 3 0 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U53 X mark X mark U43 X mark X active U42 tt V2 mark U43 isNatIList V2 active U51 tt V1 V2 mark U52 isNat V1 V2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark and X1 X2 active and mark X1 X2 active isNat s V1 mark U21 isNatKind V1 V1 active U52 tt V2 mark U53 isNatList V2 mark isNatIList X active isNatIList X mark U22 X mark X active and tt X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L mark U71 X1 X2 active U71 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active U41 tt V1 V2 mark U42 isNat V1 V2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X active U81 tt mark nil mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 active U21 tt V1 mark U22 isNat V1 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X active U62 tt V2 mark U63 isNatIList V2 U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 active U41 tt V1 V2 mark U42 isNat V1 V2 and X1 mark X2 and X1 X2 mark U42 X1 X2 active U42 mark X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 active zeros mark cons 0 zeros U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 active U12 tt mark tt active U63 tt mark tt active isNat 0 mark tt active isNatList take V1 V2 mark U61 and isNatKind V1 isNatIListKind V2 V1 V2 U62 mark X1 X2 U62 X1 X2 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X mark U71 X1 X2 active U71 mark X1 X2 U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X active U91 tt IL M N mark cons N take M IL active isNatKind length V1 mark isNatIListKind V1 active U71 tt L mark s length L U51 X1 active X2 X3 U51 X1 X2 X3 mark U61 X1 X2 X3 active U61 mark X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 active isNatIListKind nil mark tt take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X active isNatList nil mark tt U61 X1 X2 mark X3 U61 X1 X2 X3 active isNat length V1 mark U11 isNatIListKind V1 V1 active isNatIListKind zeros mark tt U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 mark length X active length mark X mark U11 X1 X2 active U11 mark X1 X2 active U22 tt mark tt U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X active s mark X U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X active U43 tt mark tt U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 active take 0 IL mark U81 and isNatIList IL isNatIListKind IL active U32 tt mark tt U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 active and tt X mark X U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 active isNatIList zeros mark tt mark U22 X active U22 mark X mark U32 X active U32 mark X active isNatIListKind take V1 V2 mark and isNatKind V1 isNatIListKind V2 mark U63 X active U63 mark X U42 X1 mark X2 U42 X1 X2 active U61 tt V1 V2 mark U62 isNat V1 V2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X mark isNatIList X active isNatIList X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X active isNatKind 0 mark tt active U52 tt V2 mark U53 isNatList V2 U41 X1 X2 mark X3 U41 X1 X2 X3 mark take X1 X2 active take mark X1 mark X2 U31 X1 active X2 U31 X1 X2 mark tt active tt U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 U62 X1 active X2 U62 X1 X2 active isNatIList V mark U31 isNatIListKind V V U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 take X1 mark X2 take X1 X2 U32 active X U32 X active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 active U53 tt mark tt mark U31 X1 X2 active U31 mark X1 X2 U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X active take s M cons N IL mark U91 and and isNatIList IL isNatIListKind IL and and isNat M isNatKind M and isNat N isNatKind N IL M N mark nil active nil mark U43 X active U43 mark X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X mark U53 X active U53 mark X isNatKind mark X isNatKind X active U31 tt V mark U32 isNatList V take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U62 X1 X2 active U62 mark X1 X2 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 mark U52 X1 X2 active U52 mark X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X mark U21 X1 X2 active U21 mark X1 X2 U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 active length nil mark 0 mark zeros active zeros U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark U12 X active U12 mark X mark U81 X active U81 mark X isNatList mark X isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 mark 0 active 0 U21 X1 mark X2 U21 X1 X2 active U11 tt V1 mark U12 isNatList V1 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 active U41 tt V1 V2 mark U42 isNat V1 V2 mark U42 X1 X2 active U42 mark X1 X2 active isNatIList cons V1 V2 mark U41 and isNatKind V1 isNatIListKind V2 V1 V2 mark U71 X1 X2 active U71 mark X1 X2 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active and tt X mark X mark U22 X mark X mark isNatIList X active isNatIList X active U52 tt V2 mark U53 isNatList V2 active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active U51 tt V1 V2 mark U52 isNat V1 V2 active U42 tt V2 mark U43 isNatIList V2 mark U43 X mark X mark U53 X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X active isNatList cons V1 V2 mark U51 and isNatKind V1 isNatIListKind V2 V1 V2 active isNatIListKind cons V1 V2 mark and isNatKind V1 isNatIListKind V2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 4593 U21 2 0 isNatList 1 1 5369 U11 2 1 39064 0 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 2 2 10731 0 U91 4 1 36634 2 36635 3 60321 4 60322 0 take 2 2 18315 0 U71 2 0 U81 1 0 and 2 2 23685 0 isNatIList 1 1 5365 U43 1 1 5365 U53 1 0 U43 1 0 U63 1 7193 zeros 0 0 U52 2 0 U12 1 27541 U42 2 0 U12 1 0 U62 2 0 mark 1 1 0 0 0 49783 isNatList 1 0 s 1 0 nil 0 8702 isNatIListKind 1 1 5369 U62 2 1 30876 2 30877 0 U63 1 0 mark 1 1 47374 U32 1 11289 isNat 1 0 U52 2 2 5962 0 U61 3 2 8136 3 31822 0 U51 3 0 U11 2 0 active 1 1 23689 U31 2 2 34973 0 U41 3 0 cons 2 1 42002 2 36637 0 active 1 1 0 isNatIList 1 0 U21 2 0 U81 1 3511 U22 1 0 tt 0 23687 U71 2 0 U22 1 1 0 U51 3 3 23686 0 isNatKind 1 0 U53 1 1 592 length 1 0 length 1 0 U41 3 2 23683 3 23684 0 U31 2 0 and 2 0 U91 4 0 U61 3 0 mark isNatList X active isNatList X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatIListKind X active isNatIListKind X mark U21 X1 X2 active U21 mark X1 X2 mark U52 X1 X2 active U52 mark X1 X2 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U51 X1 X2 X3 active U51 mark X1 X2 X3 mark and X1 X2 active and mark X1 X2 active isNat s V1 mark U21 isNatKind V1 V1 mark isNatIList X active isNatIList X mark U22 X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L mark U71 X1 X2 active U71 mark X1 X2 mark U42 X1 X2 active U42 mark X1 X2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X U41 X1 X2 active X3 U41 X1 X2 X3 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X U52 active X1 X2 U52 X1 X2 s mark X s X and X1 mark X2 and X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 and mark X1 X2 and X1 X2 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 U42 mark X1 X2 U42 X1 X2 length mark X length X U51 X1 active X2 X3 U51 X1 X2 X3 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X U21 X1 active X2 U21 X1 X2 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U42 X1 mark X2 U42 X1 X2 isNatIList mark X isNatIList X U12 active X U12 X U22 mark X U22 X isNatIListKind active X isNatIListKind X U41 X1 X2 mark X3 U41 X1 X2 X3 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U43 mark X U43 X U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X U43 active X U43 X isNatKind mark X isNatKind X U51 active X1 X2 X3 U51 X1 X2 X3 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 isNatIList active X isNatIList X U53 mark X U53 X U71 active X1 X2 U71 X1 X2 isNat mark X isNat X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 U51 X1 X2 mark X3 U51 X1 X2 X3 isNatList mark X isNatList X U21 X1 mark X2 U21 X1 X2 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 mark U42 X1 X2 active U42 mark X1 X2 mark U71 X1 X2 active U71 mark X1 X2 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X mark U22 X mark X mark isNatIList X active isNatIList X active isNat s V1 mark U21 isNatKind V1 V1 mark and X1 X2 active and mark X1 X2 mark U51 X1 X2 X3 active U51 mark X1 X2 X3 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U52 X1 X2 active U52 mark X1 X2 mark U21 X1 X2 active U21 mark X1 X2 mark isNatIListKind X active isNatIListKind X mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark isNatList X active isNatList X true U32 1 0 isNatIListKind 1 0 isNatKind 1 50100 U21 2 50100 isNatList 1 50099 U11 2 8 cons 2 0 s 1 8 isNat 1 0 take 2 0 U42 2 50099 U91 4 3 take 2 1 U71 2 50100 U81 1 0 and 2 50099 isNatIList 1 50099 U43 1 7 U53 1 0 U43 1 0 U63 1 1 zeros 0 1 U52 2 0 U12 1 10 U42 2 0 U12 1 0 U62 2 0 mark 1 91568 0 0 1 isNatList 1 0 s 1 0 nil 0 11 isNatIListKind 1 50099 U62 2 1 U63 1 0 mark 1 1 U32 1 3 isNat 1 50100 U52 2 50099 U61 3 1 U51 3 0 U11 2 0 active 1 2 U31 2 1 U41 3 0 cons 2 5 active 1 1 41468 isNatIList 1 0 U21 2 0 U81 1 3 U22 1 0 tt 0 12 U71 2 0 U22 1 1 U51 3 50099 isNatKind 1 0 U53 1 7 length 1 50100 length 1 0 U41 3 47526 U31 2 0 and 2 0 U91 4 0 U61 3 0 mark U21 X1 X2 active U21 mark X1 X2 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L active isNat s V1 mark U21 isNatKind V1 V1 mark U22 X mark X mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L mark U71 X1 X2 active U71 mark X1 X2 active U21 tt V1 mark U22 isNat V1 mark isNat X active isNat X U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 and X1 mark X2 and X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 U62 mark X1 X2 U62 X1 X2 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X U51 X1 active X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X U61 X1 X2 mark X3 U61 X1 X2 X3 U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 U42 X1 mark X2 U42 X1 X2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X U41 X1 X2 mark X3 U41 X1 X2 X3 U31 X1 active X2 U31 X1 X2 U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 U62 X1 active X2 U62 X1 X2 U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 take X1 mark X2 take X1 X2 U32 active X U32 X U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X isNatKind mark X isNatKind X take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 isNatList mark X isNatList X U21 X1 mark X2 U21 X1 X2 mark isNat X active isNat X active U21 tt V1 mark U22 isNat V1 mark U71 X1 X2 active U71 mark X1 X2 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X mark U22 X mark X active isNat s V1 mark U21 isNatKind V1 V1 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U21 X1 X2 active U21 mark X1 X2 true 2 1 U32 1 0 0 isNatIListKind 1 0 0 isNatKind 1 1 0 0 0 1 32 41 U21 2 0 1 1 0 2 147 1 isNatList 1 1 1 1 0 1 6 29892 U11 2 0 1 0 1 1 0 0 1 1 2 0 7 cons 2 0 0 s 1 1 0 1 1 1 0 150 isNat 1 0 0 take 2 0 0 U42 2 1 1 1 1 1 0 0 1 1 2 0 29742 U91 4 0 1 0 0 1 0 1 0 1 2 1 1 1 1 3 1 1 0 1 4 0 45 take 2 0 0 1 0 1 0 0 0 1 2 0 56 U71 2 0 1 0 1 2 1 0 U81 1 0 0 and 2 1 1 0 1 1 2 0 4 isNatIList 1 0 0 1 0 1 53 29894 U43 1 0 0 0 1 1 0 29899 U53 1 0 0 U43 1 0 0 U63 1 0 29893 zeros 0 0 39604 U52 2 0 0 U12 1 0 3 U42 2 0 0 U12 1 0 0 U62 2 0 0 mark 1 1 1 0 0 1 0 0 0 0 3 0 isNatList 1 0 0 s 1 0 0 nil 0 0 42189 isNatIListKind 1 0 1 1 1 1 81 29896 U62 2 0 1 0 1 1 0 1 0 0 2 0 29812 U63 1 0 0 mark 1 1 1 0 1 1 29891 0 U32 1 0 0 0 1 1 68 8 isNat 1 0 0 1 0 1 1 75 U52 2 0 0 0 1 1 2 0 29892 U61 3 1 1 0 0 1 1 1 0 1 2 0 29730 U51 3 0 0 U11 2 0 0 active 1 1 1 1 1 1 0 1 U31 2 0 1 0 0 1 0 0 1 0 2 0 29880 U41 3 0 0 cons 2 1 0 0 0 1 0 0 1 1 2 0 13 active 1 1 1 0 0 1 0 0 isNatIList 1 0 0 U21 2 0 0 U81 1 0 0 0 1 1 0 1441 U22 1 0 0 tt 0 78 0 U71 2 0 0 U22 1 1 0 1 0 1 62 12 U51 3 0 1 1 1 1 0 1 1 0 2 0 24282 isNatKind 1 0 0 U53 1 1 1 0 1 1 0 26665 length 1 1 0 length 1 0 0 U41 3 0 0 0 1 1 2 0 0 1 1 3 0 29892 U31 2 0 0 and 2 0 0 U91 4 0 0 U61 3 0 0 mark U21 X1 X2 active U21 mark X1 X2 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L mark U71 X1 X2 active U71 mark X1 X2 mark isNat X active isNat X s mark X s X and X1 mark X2 and X1 X2 U71 X1 active X2 U71 X1 X2 and mark X1 X2 and X1 X2 U62 mark X1 X2 U62 X1 X2 U21 mark X1 X2 U21 X1 X2 U63 mark X U63 X length mark X length X and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X and X1 active X2 and X1 X2 isNat active X isNat X U63 active X U63 X U21 X1 active X2 U21 X1 X2 isNatKind active X isNatKind X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X isNatIListKind active X isNatIListKind X U62 X1 active X2 U62 X1 X2 cons X1 active X2 cons X1 X2 U32 active X U32 X U22 active X U22 X U62 X1 mark X2 U62 X1 X2 isNatKind mark X isNatKind X U71 X1 mark X2 U71 X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 U71 active X1 X2 U71 X1 X2 cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X isNatList mark X isNatList X U21 X1 mark X2 U21 X1 X2 mark isNat X active isNat X mark U71 X1 X2 active U71 mark X1 X2 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark U21 X1 X2 active U21 mark X1 X2 true U32 1 0 isNatIListKind 1 0 isNatKind 1 4 U21 2 1 isNatList 1 1 U11 2 29673 cons 2 0 s 1 0 isNat 1 0 take 2 0 U42 2 1 U91 4 1 take 2 1 U71 2 4 U81 1 0 and 2 1 isNatIList 1 1 U43 1 1 U53 1 0 U43 1 0 U63 1 3 zeros 0 1 U52 2 0 U12 1 1 U42 2 0 U12 1 0 U62 2 0 mark 1 41472 0 0 3 isNatList 1 0 s 1 0 nil 0 8 isNatIListKind 1 1 U62 2 31745 U63 1 0 mark 1 2 U32 1 31671 isNat 1 3 U52 2 1 U61 3 3 U51 3 0 U11 2 0 active 1 1 0 U31 2 1 U41 3 0 cons 2 0 active 1 1 41468 isNatIList 1 0 U21 2 0 U81 1 1 U22 1 0 tt 0 7320 U71 2 0 U22 1 3 U51 3 1 isNatKind 1 0 U53 1 3 length 1 4 length 1 0 U41 3 1 U31 2 0 and 2 0 U91 4 0 U61 3 0 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark s X mark X active isNatKind s V1 mark isNatKind V1 mark isNatKind X active isNatKind X mark length X active length mark X active U71 tt L mark s length L mark U71 X1 X2 active U71 mark X1 X2 U11 X1 active X2 U11 X1 X2 U41 X1 X2 active X3 U41 X1 X2 X3 U41 X1 active X2 X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U81 mark X U81 X U52 active X1 X2 U52 X1 X2 s mark X s X U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 and X1 mark X2 and X1 X2 U53 active X U53 X U71 X1 active X2 U71 X1 X2 U11 mark X1 X2 U11 X1 X2 and mark X1 X2 and X1 X2 U62 mark X1 X2 U62 X1 X2 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 U41 X1 mark X2 X3 U41 X1 X2 X3 U42 mark X1 X2 U42 X1 X2 U63 mark X U63 X U61 mark X1 X2 X3 U61 X1 X2 X3 length mark X length X U51 X1 active X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 and active X1 X2 and X1 X2 s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 take active X1 X2 take X1 X2 U21 active X1 X2 U21 X1 X2 isNatList active X isNatList X U61 X1 X2 mark X3 U61 X1 X2 X3 U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U52 X1 mark X2 U52 X1 X2 and X1 active X2 and X1 X2 U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X U63 active X U63 X U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U21 X1 active X2 U21 X1 X2 U61 X1 mark X2 X3 U61 X1 X2 X3 U61 X1 active X2 X3 U61 X1 X2 X3 U42 X1 active X2 U42 X1 X2 isNatKind active X isNatKind X U61 X1 X2 active X3 U61 X1 X2 X3 U42 X1 mark X2 U42 X1 X2 isNatIList mark X isNatIList X U12 active X U12 X U62 active X1 X2 U62 X1 X2 U22 mark X U22 X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X U41 X1 X2 mark X3 U41 X1 X2 X3 U31 X1 active X2 U31 X1 X2 U11 X1 mark X2 U11 X1 X2 U51 X1 X2 active X3 U51 X1 X2 X3 U12 mark X U12 X U61 active X1 X2 X3 U61 X1 X2 X3 U62 X1 active X2 U62 X1 X2 U31 X1 mark X2 U31 X1 X2 U43 mark X U43 X cons X1 active X2 cons X1 X2 take X1 mark X2 take X1 X2 U32 active X U32 X U42 active X1 X2 U42 X1 X2 U81 active X U81 X U22 active X U22 X U62 X1 mark X2 U62 X1 X2 U43 active X U43 X isNatKind mark X isNatKind X take mark X1 X2 take X1 X2 U51 active X1 X2 X3 U51 X1 X2 X3 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 take X1 active X2 take X1 X2 U51 mark X1 X2 X3 U51 X1 X2 X3 U71 X1 mark X2 U71 X1 X2 cons X1 mark X2 cons X1 X2 isNatIList active X isNatIList X cons active X1 X2 cons X1 X2 U53 mark X U53 X U71 active X1 X2 U71 X1 X2 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 cons mark X1 X2 cons X1 X2 isNat mark X isNat X U32 mark X U32 X isNatIListKind mark X isNatIListKind X U41 mark X1 X2 X3 U41 X1 X2 X3 U51 X1 mark X2 X3 U51 X1 X2 X3 U31 active X1 X2 U31 X1 X2 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U51 X1 X2 mark X3 U51 X1 X2 X3 isNatList mark X isNatList X U21 X1 mark X2 U21 X1 X2 mark U71 X1 X2 active U71 mark X1 X2 active U71 tt L mark s length L mark length X active length mark X mark isNatKind X active isNatKind X active isNatKind s V1 mark isNatKind V1 mark s X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L true 2 1 U32 1 0 0 isNatIListKind 1 0 0 isNatKind 1 1 0 1 1 1 3 1 U21 2 0 0 1 1 2 5 0 isNatList 1 0 1 0 1 1 1 2 U11 2 1 0 1 1 1 0 1 0 0 2 1 0 cons 2 0 0 s 1 1 1 0 1 1 0 2 isNat 1 0 0 take 2 0 0 U42 2 1 0 1 1 1 1 0 1 1 2 63924 0 U91 4 1 0 1 0 2 0 0 1 1 3 0 0 1 0 4 5 6 take 2 1 0 0 0 1 0 1 0 1 2 1 7 U71 2 1 0 U81 1 0 0 and 2 0 1 0 0 1 0 1 0 0 2 15 0 isNatIList 1 1 0 1 0 1 0 10 U43 1 1 1 1 0 1 63926 0 U53 1 0 0 U43 1 0 0 U63 1 0 1 1 0 1 4 0 zeros 0 1 1 U52 2 0 0 U12 1 1 1 1 0 1 10361 0 U42 2 0 0 U12 1 0 0 U62 2 0 0 mark 1 1 0 0 0 1 0 0 0 0 3 1 isNatList 1 0 0 s 1 0 0 nil 0 8 1 isNatIListKind 1 0 0 1 0 1 6 1 U62 2 1 1 1 1 1 1 0 1 1 2 2 0 U63 1 0 0 mark 1 1 12 12 U32 1 1 1 1 1 1 32052 0 isNat 1 1 1 0 1 1 3 7 U52 2 0 0 1 0 1 0 1 1 0 2 24431 0 U61 3 1 1 0 0 1 1 0 0 0 2 1 0 0 0 3 1 0 U51 3 0 0 U11 2 0 0 active 1 1 13 1 U31 2 1 0 0 0 1 2 32044 0 U41 3 0 0 cons 2 1 1 0 0 1 0 0 0 1 2 7 2 active 1 0 0 1 0 1 1 0 isNatIList 1 0 0 U21 2 0 0 U81 1 0 1 0 0 1 6 0 U22 1 0 0 tt 0 9 1 U71 2 0 0 U22 1 1 0 0 0 1 31041 0 U51 3 0 1 1 0 1 0 1 0 0 2 0 1 0 1 3 22677 0 isNatKind 1 0 0 U53 1 1 1 1 0 1 24431 0 length 1 1 0 length 1 0 0 U41 3 0 0 1 0 1 2 0 0 1 0 3 15618 14 U31 2 0 0 and 2 0 0 U91 4 0 0 U61 3 0 0 active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L mark s X mark X mark length X active length mark X active U71 tt L mark s length L mark U71 X1 X2 active U71 mark X1 X2 U11 X1 active X2 U11 X1 X2 U52 active X1 X2 U52 X1 X2 s mark X s X U71 X1 active X2 U71 X1 X2 U11 mark X1 X2 U11 X1 X2 U52 X1 active X2 U52 X1 X2 U21 mark X1 X2 U21 X1 X2 length mark X length X s active X s X length active X length X U71 mark X1 X2 U71 X1 X2 U21 active X1 X2 U21 X1 X2 U52 X1 mark X2 U52 X1 X2 U31 mark X1 X2 U31 X1 X2 U52 mark X1 X2 U52 X1 X2 isNat active X isNat X U21 X1 active X2 U21 X1 X2 isNatKind active X isNatKind X U22 mark X U22 X U11 active X1 X2 U11 X1 X2 isNatIListKind active X isNatIListKind X U31 X1 active X2 U31 X1 X2 U11 X1 mark X2 U11 X1 X2 U31 X1 mark X2 U31 X1 X2 U22 active X U22 X isNatKind mark X isNatKind X U71 X1 mark X2 U71 X1 X2 U71 active X1 X2 U71 X1 X2 isNat mark X isNat X isNatIListKind mark X isNatIListKind X U31 active X1 X2 U31 X1 X2 U21 X1 mark X2 U21 X1 X2 mark U71 X1 X2 active U71 mark X1 X2 active U71 tt L mark s length L mark length X active length mark X mark s X mark X active length cons N L mark U71 and and isNatList L isNatIListKind L and isNat N isNatKind N L true Failed! NaTT certifiable-1.6