active zeros mark cons 0 zeros active U11 tt mark tt active U21 tt mark tt active U31 tt mark tt active U41 tt V2 mark U42 isNatIList V2 active U42 tt mark tt active U51 tt V2 mark U52 isNatList V2 active U52 tt mark tt active U61 tt V2 mark U62 isNatIList V2 active U62 tt mark tt active U71 tt L N mark U72 isNat N L active U72 tt L mark s length L active U81 tt mark nil active U91 tt IL M N mark U92 isNat M IL M N active U92 tt IL M N mark U93 isNat N IL M N active U93 tt IL M N mark cons N take M IL active isNat 0 mark tt active isNat length V1 mark U11 isNatList V1 active isNat s V1 mark U21 isNat V1 active isNatIList V mark U31 isNatList V active isNatIList zeros mark tt active isNatIList cons V1 V2 mark U41 isNat V1 V2 active isNatList nil mark tt active isNatList cons V1 V2 mark U51 isNat V1 V2 active isNatList take V1 V2 mark U61 isNat V1 V2 active length nil mark 0 active length cons N L mark U71 isNatList L L N active take 0 IL mark U81 isNatIList IL active take s M cons N IL mark U91 isNatIList IL IL M N mark zeros active zeros mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark U11 X active U11 mark X mark tt active tt mark U21 X active U21 mark X mark U31 X active U31 mark X mark U41 X1 X2 active U41 mark X1 X2 mark U42 X active U42 mark X mark isNatIList X active isNatIList X mark U51 X1 X2 active U51 mark X1 X2 mark U52 X active U52 mark X mark isNatList X active isNatList X mark U61 X1 X2 active U61 mark X1 X2 mark U62 X active U62 mark X mark U71 X1 X2 X3 active U71 mark X1 X2 X3 mark U72 X1 X2 active U72 mark X1 X2 mark isNat X active isNat X 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 U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 mark take X1 X2 active take mark X1 mark X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 U11 mark X U11 X U11 active X U11 X U21 mark X U21 X U21 active X U21 X U31 mark X U31 X U31 active X U31 X U41 mark X1 X2 U41 X1 X2 U41 X1 mark X2 U41 X1 X2 U41 active X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 U42 mark X U42 X U42 active X U42 X isNatIList mark X isNatIList X isNatIList active X isNatIList X U51 mark X1 X2 U51 X1 X2 U51 X1 mark X2 U51 X1 X2 U51 active X1 X2 U51 X1 X2 U51 X1 active X2 U51 X1 X2 U52 mark X U52 X U52 active X U52 X isNatList mark X isNatList X isNatList active X isNatList X U61 mark X1 X2 U61 X1 X2 U61 X1 mark X2 U61 X1 X2 U61 active X1 X2 U61 X1 X2 U61 X1 active X2 U61 X1 X2 U62 mark X U62 X U62 active X U62 X U71 mark X1 X2 X3 U71 X1 X2 X3 U71 X1 mark X2 X3 U71 X1 X2 X3 U71 X1 X2 mark X3 U71 X1 X2 X3 U71 active X1 X2 X3 U71 X1 X2 X3 U71 X1 active X2 X3 U71 X1 X2 X3 U71 X1 X2 active X3 U71 X1 X2 X3 U72 mark X1 X2 U72 X1 X2 U72 X1 mark X2 U72 X1 X2 U72 active X1 X2 U72 X1 X2 U72 X1 active X2 U72 X1 X2 isNat mark X isNat X isNat active X isNat X 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 U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 take mark X1 X2 take X1 X2 take X1 mark X2 take X1 X2 take active X1 X2 take X1 X2 take X1 active X2 take X1 X2 2.2 U62 mark X U62 X mark U71 X1 X2 X3 active U71 mark X1 X2 X3 cons active X1 X2 cons X1 X2 U71 active X1 X2 X3 U71 X1 X2 X3 U42 active X U42 X isNatList active X isNatList X active U61 tt V2 mark U62 isNatIList V2 mark U31 X active U31 mark X mark U42 X active U42 mark X U51 mark X1 X2 U51 X1 X2 mark length X mark X length active X length X active take 0 IL U81 isNatIList IL mark cons X1 X2 active cons mark X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 mark s X s mark X mark length X length mark X cons mark X1 X2 cons X1 X2 active isNat 0 mark tt mark cons X1 X2 mark X1 s active X s X cons X1 mark X2 cons X1 X2 mark U42 X U42 mark X mark U93 X1 X2 X3 X4 mark X1 take active X1 X2 take X1 X2 U61 X1 active X2 U61 X1 X2 active U71 tt L N isNat N U31 active X U31 X isNatIList mark X isNatIList X mark U42 X mark X active isNatIList V U31 isNatList V U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 mark U31 X U31 mark X mark U91 X1 X2 X3 X4 mark X1 U51 active X1 X2 U51 X1 X2 U81 active X U81 X U41 X1 mark X2 U41 X1 X2 mark U11 X mark X mark length X active length mark X active length cons N L mark U71 isNatList L L N mark U51 X1 X2 mark X1 mark s X mark X active isNatIList cons V1 V2 mark U41 isNat V1 V2 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 active isNatList take V1 V2 mark U61 isNat V1 V2 mark tt active tt active take s M cons N IL mark U91 isNatIList IL IL M N active U92 tt IL M N isNat N active isNat s V1 mark U21 isNat V1 mark U51 X1 X2 active U51 mark X1 X2 U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 mark take X1 X2 take mark X1 mark X2 active U61 tt V2 U62 isNatIList V2 U51 X1 mark X2 U51 X1 X2 U41 X1 active X2 U41 X1 X2 mark U62 X mark X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U41 mark X1 X2 U41 X1 X2 mark U21 X active U21 mark X mark U81 X active U81 mark X mark U21 X mark X U52 active X U52 X U61 active X1 X2 U61 X1 X2 mark take X1 X2 mark X2 length mark X length X U72 mark X1 X2 U72 X1 X2 active isNat s V1 isNat V1 mark U93 X1 X2 X3 X4 U93 mark X1 X2 X3 X4 mark zeros active zeros active U72 tt L length L mark U41 X1 X2 U41 mark X1 X2 U71 X1 X2 active X3 U71 X1 X2 X3 active U71 tt L N U72 isNat N L mark U41 X1 X2 active U41 mark X1 X2 active U51 tt V2 U52 isNatList V2 active isNatList nil mark tt active isNatList take V1 V2 isNat V1 active isNatList cons V1 V2 U51 isNat V1 V2 U11 active X U11 X mark cons X1 X2 cons mark X1 X2 mark U81 X U81 mark X isNatList mark X isNatList X active U71 tt L N mark U72 isNat N L take X1 active X2 take X1 X2 U61 X1 mark X2 U61 X1 X2 mark isNat X active isNat X mark 0 active 0 active isNatList cons V1 V2 isNat V1 mark take X1 X2 mark X1 U72 active X1 X2 U72 X1 X2 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 mark U91 X1 X2 X3 X4 U91 mark X1 X2 X3 X4 mark U72 X1 X2 active U72 mark X1 X2 active isNat length V1 U11 isNatList V1 active U91 tt IL M N isNat M U51 X1 active X2 U51 X1 X2 U71 X1 X2 mark X3 U71 X1 X2 X3 isNatIList active X isNatIList X U81 mark X U81 X U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 mark U41 X1 X2 mark X1 mark isNatIList X active isNatIList X active isNat s V1 U21 isNat V1 U21 mark X U21 X active U51 tt V2 isNatList V2 mark U52 X active U52 mark X mark U31 X mark X U71 mark X1 X2 X3 U71 X1 X2 X3 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 mark U71 X1 X2 X3 mark X1 active take s M cons N IL U91 isNatIList IL IL M N active isNat length V1 isNatList V1 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList cons V1 V2 isNat V1 mark U11 X active U11 mark X mark U21 X U21 mark X active U72 tt L mark s length L U41 active X1 X2 U41 X1 X2 take mark X1 X2 take X1 X2 active U72 tt L s length L mark nil active nil mark U92 X1 X2 X3 X4 U92 mark X1 X2 X3 X4 isNat mark X isNat X U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 active U21 tt mark tt U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 mark U61 X1 X2 mark X1 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 active U81 tt mark nil active take 0 IL mark U81 isNatIList IL U72 X1 active X2 U72 X1 X2 mark U52 X mark X active U51 tt V2 mark U52 isNatList V2 U21 active X U21 X mark U92 X1 X2 X3 X4 mark X1 active length nil mark 0 active U93 tt IL M N take M IL U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 mark U71 X1 X2 X3 U71 mark X1 X2 X3 active U92 tt IL M N mark U93 isNat N IL M N U62 active X U62 X isNat active X isNat X mark U11 X U11 mark X mark U62 X active U62 mark X active U41 tt V2 U42 isNatIList V2 U11 mark X U11 X active zeros cons 0 zeros active take 0 IL isNatIList IL mark U51 X1 X2 U51 mark X1 X2 active isNatList take V1 V2 U61 isNat V1 V2 active U31 tt mark tt s mark X s X mark isNatList X active isNatList X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 U72 X1 mark X2 U72 X1 X2 active U41 tt V2 isNatIList V2 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 active U52 tt mark tt active zeros mark cons 0 zeros take X1 mark X2 take X1 X2 U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U31 mark X U31 X active U91 tt IL M N U92 isNat M IL M N U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 mark X2 X3 U71 X1 X2 X3 U52 mark X U52 X active U93 tt IL M N mark cons N take M IL active isNatIList V mark U31 isNatList V active U61 tt V2 isNatIList V2 active U62 tt mark tt mark s X active s mark X mark U52 X U52 mark X mark U72 X1 X2 mark X1 mark U61 X1 X2 active U61 mark X1 X2 active length cons N L U71 isNatList L L N active isNatList cons V1 V2 mark U51 isNat V1 V2 active U11 tt mark tt U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 active isNatIList V isNatList V mark take X1 X2 active take mark X1 mark X2 active U92 tt IL M N U93 isNat N IL M N mark U81 X mark X active length cons N L isNatList L active take s M cons N IL isNatIList IL active isNat length V1 mark U11 isNatList V1 active isNatIList cons V1 V2 U41 isNat V1 V2 U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 active U41 tt V2 mark U42 isNatIList V2 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 active isNatIList zeros mark tt mark U72 X1 X2 U72 mark X1 X2 mark U62 X U62 mark X U61 mark X1 X2 U61 X1 X2 mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 mark U61 X1 X2 U61 mark X1 X2 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 active U91 tt IL M N mark U92 isNat M IL M N U42 mark X U42 X active U42 tt mark tt U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 active U93 tt IL M N cons N take M IL true mark isNatIList X active isNatIList X active U91 tt IL M N mark U92 isNat M IL M N mark U41 X1 X2 mark X1 mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 mark U72 X1 X2 active U72 mark X1 X2 mark take X1 X2 mark X1 mark isNat X active isNat X active U41 tt V2 mark U42 isNatIList V2 active U71 tt L N mark U72 isNat N L active isNat length V1 mark U11 isNatList V1 mark U81 X mark X mark take X1 X2 active take mark X1 mark X2 mark U41 X1 X2 active U41 mark X1 X2 active isNatList cons V1 V2 mark U51 isNat V1 V2 mark U61 X1 X2 active U61 mark X1 X2 mark U72 X1 X2 mark X1 mark zeros active zeros mark s X active s mark X mark take X1 X2 mark X2 active U93 tt IL M N mark cons N take M IL active isNatIList V mark U31 isNatList V mark U21 X mark X mark U81 X active U81 mark X mark U21 X active U21 mark X active zeros mark cons 0 zeros mark U62 X mark X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNatList X active isNatList X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active isNat s V1 mark U21 isNat V1 mark U51 X1 X2 active U51 mark X1 X2 active take s M cons N IL mark U91 isNatIList IL IL M N mark U62 X active U62 mark X active isNatList take V1 V2 mark U61 isNat V1 V2 active isNatIList cons V1 V2 mark U41 isNat V1 V2 active U92 tt IL M N mark U93 isNat N IL M N active length cons N L mark U71 isNatList L L N mark U51 X1 X2 mark X1 mark s X mark X mark U11 X mark X mark length X active length mark X mark U91 X1 X2 X3 X4 mark X1 mark U92 X1 X2 X3 X4 mark X1 mark U42 X mark X active U51 tt V2 mark U52 isNatList V2 mark U52 X mark X active take 0 IL mark U81 isNatIList IL mark U93 X1 X2 X3 X4 mark X1 mark U61 X1 X2 mark X1 mark cons X1 X2 mark X1 mark cons X1 X2 active cons mark X1 X2 mark length X mark X active U72 tt L mark s length L mark U11 X active U11 mark X mark U31 X active U31 mark X mark U42 X active U42 mark X active U61 tt V2 mark U62 isNatIList V2 mark U71 X1 X2 X3 mark X1 mark U31 X mark X mark U71 X1 X2 X3 active U71 mark X1 X2 X3 mark U52 X active U52 mark X true U72 2 0 U21 1 5911 isNatList 1 48894 U11 1 26531 cons 2 0 s 1 15047 isNat 1 0 take 2 0 U42 1 14459 U91 4 48894 take 2 48894 U71 3 48894 U81 1 0 U92 4 0 isNatIList 1 48894 U93 4 0 U93 4 48894 U72 2 48894 zeros 0 48894 U52 1 0 U42 1 0 U62 1 0 mark 1 48894 0 0 1 isNatList 1 0 s 1 0 nil 0 1 U62 1 32582 mark 1 1 isNat 1 48894 U52 1 1 U61 2 48894 U51 2 0 U11 1 0 active 1 0 U31 1 48893 U92 4 48894 U41 2 0 cons 2 32135 active 1 1 0 isNatIList 1 0 U21 1 0 U81 1 1 tt 0 1 U71 3 0 U51 2 48894 length 1 48894 length 1 0 U41 2 48894 U31 1 0 U91 4 0 U61 2 0 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 mark U31 X mark X mark U71 X1 X2 X3 mark X1 active U61 tt V2 mark U62 isNatIList V2 active U72 tt L mark s length L mark length X mark X mark cons X1 X2 mark X1 mark U61 X1 X2 mark X1 mark U93 X1 X2 X3 X4 mark X1 active take 0 IL mark U81 isNatIList IL mark U52 X mark X active U51 tt V2 mark U52 isNatList V2 mark U42 X mark X mark U92 X1 X2 X3 X4 mark X1 mark U91 X1 X2 X3 X4 mark X1 mark length X active length mark X mark U11 X mark X mark s X mark X mark U51 X1 X2 mark X1 active length cons N L mark U71 isNatList L L N active U92 tt IL M N mark U93 isNat N IL M N active isNatIList cons V1 V2 mark U41 isNat V1 V2 active isNatList take V1 V2 mark U61 isNat V1 V2 active take s M cons N IL mark U91 isNatIList IL IL M N mark U51 X1 X2 active U51 mark X1 X2 active isNat s V1 mark U21 isNat V1 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark isNatList X active isNatList X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark U62 X mark X active zeros mark cons 0 zeros mark U21 X mark X active isNatIList V mark U31 isNatList V active U93 tt IL M N mark cons N take M IL mark take X1 X2 mark X2 mark zeros active zeros mark U72 X1 X2 mark X1 mark U61 X1 X2 active U61 mark X1 X2 active isNatList cons V1 V2 mark U51 isNat V1 V2 mark U41 X1 X2 active U41 mark X1 X2 mark take X1 X2 active take mark X1 mark X2 mark U81 X mark X active isNat length V1 mark U11 isNatList V1 active U71 tt L N mark U72 isNat N L active U41 tt V2 mark U42 isNatIList V2 mark isNat X active isNat X mark take X1 X2 mark X1 mark U72 X1 X2 active U72 mark X1 X2 mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 mark U41 X1 X2 mark X1 active U91 tt IL M N mark U92 isNat M IL M N mark isNatIList X active isNatIList X isNatList mark X isNatList X U81 mark X U81 X length active X length X length mark X length X U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U51 X1 active X2 U51 X1 X2 take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X U62 active X U62 X U61 active X1 X2 U61 X1 X2 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U31 active X U31 X U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 U42 mark X U42 X U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 U41 X1 mark X2 U41 X1 X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U42 active X U42 X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 U62 mark X U62 X active isNat length V1 mark U11 isNatList V1 mark U81 X mark X active U92 tt IL M N mark U93 isNat N IL M N mark U93 X1 X2 X3 X4 mark X1 mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 active zeros mark cons 0 zeros active U93 tt IL M N mark cons N take M IL mark U31 X mark X active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N active isNatIList cons V1 V2 mark U41 isNat V1 V2 active take 0 IL mark U81 isNatIList IL mark U62 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U11 X mark X mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 active isNatIList V mark U31 isNatList V active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X mark X mark length X active length mark X mark U91 X1 X2 X3 X4 mark X1 mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark zeros active zeros active U91 tt IL M N mark U92 isNat M IL M N mark cons X1 X2 mark X1 active U72 tt L mark s length L mark U71 X1 X2 X3 mark X1 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active isNatList cons V1 V2 mark U51 isNat V1 V2 active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 mark U51 X1 X2 mark X1 mark U51 X1 X2 active U51 mark X1 X2 mark take X1 X2 mark X2 mark take X1 X2 mark X1 mark take X1 X2 active take mark X1 mark X2 mark U42 X mark X mark s X mark X mark U92 X1 X2 X3 X4 mark X1 mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X mark U41 X1 X2 mark X1 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X mark X mark isNatList X active isNatList X mark U72 X1 X2 mark X1 mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X active take s M cons N IL mark U91 isNatIList IL IL M N mark U61 X1 X2 mark X1 mark U61 X1 X2 active U61 mark X1 X2 true U72 2 0 U21 1 1 0 isNatList 1 47701 U11 1 1 0 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 1 1 0 U91 4 1 2 3 4 17892 take 2 1 2 65593 U71 3 1 2 3 19222 U81 1 0 U92 4 0 isNatIList 1 47701 U93 4 0 U93 4 1 2 3 4 17892 U72 2 1 2 19222 zeros 0 39229 U52 1 0 U42 1 0 U62 1 0 mark 1 1 48894 0 0 0 isNatList 1 0 s 1 0 nil 0 10392 U62 1 1 0 mark 1 1 0 isNat 1 47701 U52 1 1 0 U61 2 1 0 U51 2 0 U11 1 0 active 1 1 0 U31 1 1 0 U92 4 1 2 3 4 17892 U41 2 0 cons 2 1 2 0 active 1 1 48894 isNatIList 1 0 U21 1 0 U81 1 1 12148 tt 0 47701 U71 3 0 U51 2 1 0 length 1 1 66923 length 1 0 U41 2 1 0 U31 1 0 U91 4 0 U61 2 0 mark U61 X1 X2 active U61 mark X1 X2 mark U61 X1 X2 mark X1 active take s M cons N IL mark U91 isNatIList IL IL M N mark U21 X mark X mark U72 X1 X2 active U72 mark X1 X2 mark isNatList X active isNatList X mark U52 X mark X mark U41 X1 X2 active U41 mark X1 X2 mark U41 X1 X2 mark X1 mark isNat X active isNat X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark s X mark X mark U42 X mark X mark take X1 X2 active take mark X1 mark X2 mark U51 X1 X2 active U51 mark X1 X2 mark U51 X1 X2 mark X1 active U61 tt V2 mark U62 isNatIList V2 active U71 tt L N mark U72 isNat N L active isNatList cons V1 V2 mark U51 isNat V1 V2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark cons X1 X2 mark X1 active U91 tt IL M N mark U92 isNat M IL M N mark zeros active zeros mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark length X active length mark X active isNatList take V1 V2 mark U61 isNat V1 V2 active isNatIList V mark U31 isNatList V active U51 tt V2 mark U52 isNatList V2 mark isNatIList X active isNatIList X mark U11 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U62 X mark X active isNatIList cons V1 V2 mark U41 isNat V1 V2 active length cons N L mark U71 isNatList L L N active isNat s V1 mark U21 isNat V1 mark U31 X mark X active U93 tt IL M N mark cons N take M IL active zeros mark cons 0 zeros mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 active U92 tt IL M N mark U93 isNat N IL M N active isNat length V1 mark U11 isNatList V1 active isNat length V1 mark U11 isNatList V1 mark U81 X active U81 mark X isNatList mark X isNatList X U81 mark X U81 X active U31 tt mark tt length active X length X length mark X length X active U92 tt IL M N mark U93 isNat N IL M N U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 active U52 tt mark tt mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 active zeros mark cons 0 zeros U51 X1 active X2 U51 X1 X2 active U21 tt mark tt active U93 tt IL M N mark cons N take M IL active isNatIList zeros mark tt mark U31 X active U31 mark X take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X active length nil mark 0 U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 active isNat s V1 mark U21 isNat V1 mark 0 active 0 active isNat 0 mark tt U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X active length cons N L mark U71 isNatList L L N U62 active X U62 X U61 active X1 X2 U61 X1 X2 mark tt active tt U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList cons V1 V2 mark U41 isNat V1 V2 active take 0 IL mark U81 isNatIList IL U31 active X U31 X mark U62 X active U62 mark X active U41 tt V2 mark U42 isNatIList V2 U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X mark U11 X active U11 mark X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 active U62 tt mark tt mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList V mark U31 isNatList V U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark zeros active zeros U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 active U91 tt IL M N mark U92 isNat M IL M N U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X mark cons X1 X2 active cons mark X1 X2 active U72 tt L mark s length L s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 active isNatList nil mark tt U42 mark X U42 X active isNatList cons V1 V2 mark U51 isNat V1 V2 U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 active U81 tt mark nil mark nil active nil U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 mark U51 X1 X2 active U51 mark X1 X2 U41 X1 mark X2 U41 X1 X2 mark take X1 X2 active take mark X1 mark X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 active U42 tt mark tt U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 mark U42 X active U42 mark X U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 mark s X active s mark X U42 active X U42 X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X active U52 mark X U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 mark U21 X active U21 mark X active take s M cons N IL mark U91 isNatIList IL IL M N mark U61 X1 X2 active U61 mark X1 X2 U62 mark X U62 X active U11 tt mark tt active isNat length V1 mark U11 isNatList V1 active U92 tt IL M N mark U93 isNat N IL M N mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 active zeros mark cons 0 zeros active U93 tt IL M N mark cons N take M IL mark U31 X mark X active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N active isNatIList cons V1 V2 mark U41 isNat V1 V2 mark U62 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U11 X mark X mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 active isNatIList V mark U31 isNatList V active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark zeros active zeros active U91 tt IL M N mark U92 isNat M IL M N mark cons X1 X2 mark X1 active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active isNatList cons V1 V2 mark U51 isNat V1 V2 active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 mark U51 X1 X2 mark X1 mark U51 X1 X2 active U51 mark X1 X2 mark take X1 X2 active take mark X1 mark X2 mark U42 X mark X mark s X mark X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X mark U41 X1 X2 mark X1 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X mark X mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X active take s M cons N IL mark U91 isNatIList IL IL M N mark U61 X1 X2 mark X1 mark U61 X1 X2 active U61 mark X1 X2 true U72 2 0 U21 1 1 0 isNatList 1 4685 U11 1 1 0 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 1 1 0 U91 4 4 1 take 2 2 0 U71 3 25292 U81 1 0 U92 4 0 isNatIList 1 4685 U93 4 0 U93 4 4 1 U72 2 25292 zeros 0 4455 U52 1 0 U42 1 0 U62 1 0 mark 1 1 48894 0 0 4453 isNatList 1 0 s 1 0 nil 0 0 U62 1 1 0 mark 1 1 0 isNat 1 4685 U52 1 1 0 U61 2 1 0 U51 2 0 U11 1 0 active 1 1 0 U31 1 1 0 U92 4 4 1 U41 2 0 cons 2 1 1 active 1 1 48894 isNatIList 1 0 U21 1 0 U81 1 0 tt 0 4685 U71 3 0 U51 2 1 0 length 1 25292 length 1 0 U41 2 1 0 U31 1 0 U91 4 0 U61 2 0 mark U61 X1 X2 active U61 mark X1 X2 mark U61 X1 X2 mark X1 active take s M cons N IL mark U91 isNatIList IL IL M N mark U21 X mark X mark U72 X1 X2 active U72 mark X1 X2 mark isNatList X active isNatList X mark U52 X mark X mark U41 X1 X2 active U41 mark X1 X2 mark U41 X1 X2 mark X1 mark isNat X active isNat X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark s X mark X mark U42 X mark X mark take X1 X2 active take mark X1 mark X2 mark U51 X1 X2 active U51 mark X1 X2 mark U51 X1 X2 mark X1 active U61 tt V2 mark U62 isNatIList V2 active U71 tt L N mark U72 isNat N L active isNatList cons V1 V2 mark U51 isNat V1 V2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L active U91 tt IL M N mark U92 isNat M IL M N mark zeros active zeros mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark length X active length mark X active isNatList take V1 V2 mark U61 isNat V1 V2 active isNatIList V mark U31 isNatList V active U51 tt V2 mark U52 isNatList V2 mark isNatIList X active isNatIList X mark U11 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U62 X mark X active isNatIList cons V1 V2 mark U41 isNat V1 V2 active length cons N L mark U71 isNatList L L N active isNat s V1 mark U21 isNat V1 mark U31 X mark X active U93 tt IL M N mark cons N take M IL mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 active U92 tt IL M N mark U93 isNat N IL M N active isNat length V1 mark U11 isNatList V1 active isNat length V1 mark U11 isNatList V1 mark U81 X active U81 mark X isNatList mark X isNatList X U81 mark X U81 X active U31 tt mark tt length active X length X length mark X length X active U92 tt IL M N mark U93 isNat N IL M N U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 active U52 tt mark tt mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 active zeros mark cons 0 zeros U51 X1 active X2 U51 X1 X2 active U21 tt mark tt active U93 tt IL M N mark cons N take M IL active isNatIList zeros mark tt mark U31 X active U31 mark X take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X active length nil mark 0 U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 active isNat s V1 mark U21 isNat V1 mark 0 active 0 active isNat 0 mark tt U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X active length cons N L mark U71 isNatList L L N U62 active X U62 X U61 active X1 X2 U61 X1 X2 mark tt active tt U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList cons V1 V2 mark U41 isNat V1 V2 active take 0 IL mark U81 isNatIList IL U31 active X U31 X mark U62 X active U62 mark X active U41 tt V2 mark U42 isNatIList V2 U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X mark U11 X active U11 mark X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 active U62 tt mark tt mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList V mark U31 isNatList V U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark zeros active zeros U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 active U91 tt IL M N mark U92 isNat M IL M N U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X mark cons X1 X2 active cons mark X1 X2 active U72 tt L mark s length L s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 active isNatList nil mark tt U42 mark X U42 X active isNatList cons V1 V2 mark U51 isNat V1 V2 U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 active U81 tt mark nil mark nil active nil U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 mark U51 X1 X2 active U51 mark X1 X2 U41 X1 mark X2 U41 X1 X2 mark take X1 X2 active take mark X1 mark X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 active U42 tt mark tt U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 mark U42 X active U42 mark X U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 mark s X active s mark X U42 active X U42 X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X active U52 mark X U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 mark U21 X active U21 mark X active take s M cons N IL mark U91 isNatIList IL IL M N mark U61 X1 X2 active U61 mark X1 X2 U62 mark X U62 X active U11 tt mark tt active isNat length V1 mark U11 isNatList V1 active U92 tt IL M N mark U93 isNat N IL M N mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 active U93 tt IL M N mark cons N take M IL mark U31 X mark X active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N active isNatIList cons V1 V2 mark U41 isNat V1 V2 mark U62 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U11 X mark X mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 active isNatIList V mark U31 isNatList V active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active U91 tt IL M N mark U92 isNat M IL M N active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active isNatList cons V1 V2 mark U51 isNat V1 V2 active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 mark U51 X1 X2 mark X1 mark U51 X1 X2 active U51 mark X1 X2 mark take X1 X2 active take mark X1 mark X2 mark U42 X mark X mark s X mark X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X mark U41 X1 X2 mark X1 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X mark X mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X active take s M cons N IL mark U91 isNatIList IL IL M N mark U61 X1 X2 mark X1 mark U61 X1 X2 active U61 mark X1 X2 true U72 2 0 U21 1 1 0 isNatList 1 50844 U11 1 1 0 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 1 1 0 U91 4 4 1939 take 2 2 14046 U71 3 592 U81 1 0 U92 4 0 isNatIList 1 50844 U93 4 0 U93 4 4 1937 U72 2 592 zeros 0 4455 U52 1 0 U42 1 0 U62 1 0 mark 1 1 48894 0 0 1 isNatList 1 0 s 1 0 nil 0 0 U62 1 1 0 mark 1 1 0 isNat 1 50844 U52 1 1 0 U61 2 1 0 U51 2 0 U11 1 0 active 1 1 0 U31 1 1 0 U92 4 4 1938 U41 2 0 cons 2 1 1936 active 1 1 48894 isNatIList 1 0 U21 1 0 U81 1 0 tt 0 50844 U71 3 0 U51 2 1 0 length 1 592 length 1 0 U41 2 1 0 U31 1 0 U91 4 0 U61 2 0 mark U61 X1 X2 active U61 mark X1 X2 mark U61 X1 X2 mark X1 mark U21 X mark X mark U72 X1 X2 active U72 mark X1 X2 mark isNatList X active isNatList X mark U52 X mark X mark U41 X1 X2 active U41 mark X1 X2 mark U41 X1 X2 mark X1 mark isNat X active isNat X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark s X mark X mark U42 X mark X mark take X1 X2 active take mark X1 mark X2 mark U51 X1 X2 active U51 mark X1 X2 mark U51 X1 X2 mark X1 active U61 tt V2 mark U62 isNatIList V2 active U71 tt L N mark U72 isNat N L active isNatList cons V1 V2 mark U51 isNat V1 V2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark length X active length mark X active isNatList take V1 V2 mark U61 isNat V1 V2 active isNatIList V mark U31 isNatList V active U51 tt V2 mark U52 isNatList V2 mark isNatIList X active isNatIList X mark U11 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U62 X mark X active isNatIList cons V1 V2 mark U41 isNat V1 V2 active length cons N L mark U71 isNatList L L N active isNat s V1 mark U21 isNat V1 mark U31 X mark X mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 active isNat length V1 mark U11 isNatList V1 active isNat length V1 mark U11 isNatList V1 mark U81 X active U81 mark X isNatList mark X isNatList X U81 mark X U81 X active U31 tt mark tt length active X length X length mark X length X active U92 tt IL M N mark U93 isNat N IL M N U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 active U52 tt mark tt mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 active zeros mark cons 0 zeros U51 X1 active X2 U51 X1 X2 active U21 tt mark tt active U93 tt IL M N mark cons N take M IL active isNatIList zeros mark tt mark U31 X active U31 mark X take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X active length nil mark 0 U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 active isNat s V1 mark U21 isNat V1 mark 0 active 0 active isNat 0 mark tt U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X active length cons N L mark U71 isNatList L L N U62 active X U62 X U61 active X1 X2 U61 X1 X2 mark tt active tt U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList cons V1 V2 mark U41 isNat V1 V2 active take 0 IL mark U81 isNatIList IL U31 active X U31 X mark U62 X active U62 mark X active U41 tt V2 mark U42 isNatIList V2 U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X mark U11 X active U11 mark X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 active U62 tt mark tt mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList V mark U31 isNatList V U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark zeros active zeros U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 active U91 tt IL M N mark U92 isNat M IL M N U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X mark cons X1 X2 active cons mark X1 X2 active U72 tt L mark s length L s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 active isNatList nil mark tt U42 mark X U42 X active isNatList cons V1 V2 mark U51 isNat V1 V2 U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 active U81 tt mark nil mark nil active nil U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 mark U51 X1 X2 active U51 mark X1 X2 U41 X1 mark X2 U41 X1 X2 mark take X1 X2 active take mark X1 mark X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 active U42 tt mark tt U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 mark U42 X active U42 mark X U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 mark s X active s mark X U42 active X U42 X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X active U52 mark X U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 mark U21 X active U21 mark X active take s M cons N IL mark U91 isNatIList IL IL M N mark U61 X1 X2 active U61 mark X1 X2 U62 mark X U62 X active U11 tt mark tt active isNat length V1 mark U11 isNatList V1 mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 mark U31 X mark X active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N active isNatIList cons V1 V2 mark U41 isNat V1 V2 mark U62 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U11 X mark X mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 active isNatIList V mark U31 isNatList V active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active isNatList cons V1 V2 mark U51 isNat V1 V2 active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 mark U51 X1 X2 mark X1 mark U51 X1 X2 active U51 mark X1 X2 mark take X1 X2 active take mark X1 mark X2 mark U42 X mark X mark s X mark X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X mark U41 X1 X2 mark X1 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X mark X mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X mark U61 X1 X2 mark X1 mark U61 X1 X2 active U61 mark X1 X2 true U72 2 0 U21 1 9396 isNatList 1 9399 U11 1 9398 cons 2 0 s 1 24386 isNat 1 0 take 2 0 U42 1 9396 U91 4 9396 take 2 2839 U71 3 9399 U81 1 0 U92 4 0 isNatIList 1 9399 U93 4 0 U93 4 9398 U72 2 9399 zeros 0 1395 U52 1 0 U42 1 0 U62 1 0 mark 1 48894 0 0 9398 isNatList 1 0 s 1 0 nil 0 9396 U62 1 9396 mark 1 1 1 isNat 1 9399 U52 1 9396 U61 2 9399 U51 2 0 U11 1 0 active 1 9398 U31 1 9396 U92 4 8426 U41 2 0 cons 2 9398 active 1 1 39495 isNatIList 1 0 U21 1 0 U81 1 9396 tt 0 9398 U71 3 0 U51 2 9399 length 1 9399 length 1 0 U41 2 9399 U31 1 0 U91 4 0 U61 2 0 mark U61 X1 X2 active U61 mark X1 X2 mark U61 X1 X2 mark X1 mark U21 X mark X mark U72 X1 X2 active U72 mark X1 X2 mark isNatList X active isNatList X mark U52 X mark X mark U41 X1 X2 active U41 mark X1 X2 mark U41 X1 X2 mark X1 mark isNat X active isNat X mark s X mark X mark U42 X mark X mark U51 X1 X2 active U51 mark X1 X2 mark U51 X1 X2 mark X1 active U61 tt V2 mark U62 isNatIList V2 active U71 tt L N mark U72 isNat N L active isNatList cons V1 V2 mark U51 isNat V1 V2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark length X active length mark X active isNatList take V1 V2 mark U61 isNat V1 V2 active isNatIList V mark U31 isNatList V active U51 tt V2 mark U52 isNatList V2 mark isNatIList X active isNatIList X mark U11 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U62 X mark X active isNatIList cons V1 V2 mark U41 isNat V1 V2 active length cons N L mark U71 isNatList L L N active isNat s V1 mark U21 isNat V1 mark U31 X mark X active isNat length V1 mark U11 isNatList V1 isNatList mark X isNatList X U81 mark X U81 X length active X length X length mark X length X U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U51 X1 active X2 U51 X1 X2 take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X U62 active X U62 X U61 active X1 X2 U61 X1 X2 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U31 active X U31 X U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 U42 mark X U42 X U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 U41 X1 mark X2 U41 X1 X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U42 active X U42 X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 U62 mark X U62 X active isNat length V1 mark U11 isNatList V1 mark U31 X mark X active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N active isNatIList cons V1 V2 mark U41 isNat V1 V2 mark U62 X mark X active U41 tt V2 mark U42 isNatIList V2 mark U11 X mark X mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 active isNatIList V mark U31 isNatList V active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active isNatList cons V1 V2 mark U51 isNat V1 V2 active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 mark U51 X1 X2 mark X1 mark U51 X1 X2 active U51 mark X1 X2 mark U42 X mark X mark s X mark X mark isNat X active isNat X mark U41 X1 X2 mark X1 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X mark X mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X mark U61 X1 X2 mark X1 mark U61 X1 X2 active U61 mark X1 X2 true U72 2 0 U21 1 1 0 isNatList 1 1 2 U11 1 1 1 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 1 1 0 U91 4 2 3 4 30393 take 2 1 2 30393 U71 3 2 3 3 U81 1 0 U92 4 0 isNatIList 1 1 4 U93 4 0 U93 4 2 3 4 30393 U72 2 2 3 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 1 39495 0 0 0 isNatList 1 0 s 1 0 nil 0 1 U62 1 1 1 mark 1 1 0 isNat 1 1 1 U52 1 1 0 U61 2 1 2 5 U51 2 0 U11 1 0 active 1 1 0 U31 1 1 1 U92 4 2 3 4 30393 U41 2 0 cons 2 1 2 0 active 1 1 39495 isNatIList 1 0 U21 1 0 U81 1 1 tt 0 1 U71 3 0 U51 2 1 2 1 length 1 1 3 length 1 0 U41 2 1 2 3 U31 1 0 U91 4 0 U61 2 0 mark U61 X1 X2 active U61 mark X1 X2 mark U21 X mark X mark U72 X1 X2 active U72 mark X1 X2 mark isNatList X active isNatList X mark U52 X mark X mark U41 X1 X2 active U41 mark X1 X2 mark isNat X active isNat X mark s X mark X mark U42 X mark X mark U51 X1 X2 active U51 mark X1 X2 active U71 tt L N mark U72 isNat N L active isNatList cons V1 V2 mark U51 isNat V1 V2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark length X active length mark X active U51 tt V2 mark U52 isNatList V2 mark isNatIList X active isNatIList X active U41 tt V2 mark U42 isNatIList V2 active isNatIList cons V1 V2 mark U41 isNat V1 V2 active length cons N L mark U71 isNatList L L N active isNat s V1 mark U21 isNat V1 active isNat length V1 mark U11 isNatList V1 mark U81 X active U81 mark X isNatList mark X isNatList X U81 mark X U81 X active U31 tt mark tt length active X length X length mark X length X active U92 tt IL M N mark U93 isNat N IL M N U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 active U52 tt mark tt mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 active zeros mark cons 0 zeros U51 X1 active X2 U51 X1 X2 active U21 tt mark tt active U93 tt IL M N mark cons N take M IL active isNatIList zeros mark tt mark U31 X active U31 mark X take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X active length nil mark 0 U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 active isNat s V1 mark U21 isNat V1 mark 0 active 0 active isNat 0 mark tt U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X active length cons N L mark U71 isNatList L L N U62 active X U62 X U61 active X1 X2 U61 X1 X2 mark tt active tt U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList cons V1 V2 mark U41 isNat V1 V2 active take 0 IL mark U81 isNatIList IL U31 active X U31 X mark U62 X active U62 mark X active U41 tt V2 mark U42 isNatIList V2 U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X mark U11 X active U11 mark X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 active U62 tt mark tt mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList V mark U31 isNatList V U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark zeros active zeros U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 active U91 tt IL M N mark U92 isNat M IL M N U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X mark cons X1 X2 active cons mark X1 X2 active U72 tt L mark s length L s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 active isNatList nil mark tt U42 mark X U42 X active isNatList cons V1 V2 mark U51 isNat V1 V2 U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 active U81 tt mark nil mark nil active nil U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 mark U51 X1 X2 active U51 mark X1 X2 U41 X1 mark X2 U41 X1 X2 mark take X1 X2 active take mark X1 mark X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 active U42 tt mark tt U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 mark U42 X active U42 mark X U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 mark s X active s mark X U42 active X U42 X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X active U52 mark X U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 mark U21 X active U21 mark X active take s M cons N IL mark U91 isNatIList IL IL M N mark U61 X1 X2 active U61 mark X1 X2 U62 mark X U62 X active U11 tt mark tt active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N active isNatIList cons V1 V2 mark U41 isNat V1 V2 active U41 tt V2 mark U42 isNatIList V2 mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 mark length X active length mark X active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active isNatList cons V1 V2 mark U51 isNat V1 V2 active U71 tt L N mark U72 isNat N L mark U51 X1 X2 active U51 mark X1 X2 mark U42 X mark X mark s X mark X mark isNat X active isNat X mark U41 X1 X2 active U41 mark X1 X2 mark U52 X mark X mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X mark U61 X1 X2 active U61 mark X1 X2 true U72 2 0 U21 1 1 0 isNatList 1 1 U11 1 3101 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 1 1 0 U91 4 2 4 52455 take 2 35727 U71 3 1 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 0 U93 4 2 52459 U72 2 1 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 1 39495 0 0 11433 isNatList 1 0 s 1 0 nil 0 35731 U62 1 0 mark 1 1 1 isNat 1 1 U52 1 1 0 U61 2 1 2 U51 2 0 U11 1 0 active 1 1 2 U31 1 8666 U92 4 2 3 4 52457 U41 2 0 cons 2 52461 active 1 39496 isNatIList 1 0 U21 1 0 U81 1 35729 tt 0 8668 U71 3 0 U51 2 1 length 1 1 length 1 0 U41 2 1 U31 1 0 U91 4 0 U61 2 0 mark U21 X mark X mark U72 X1 X2 active U72 mark X1 X2 mark isNatList X active isNatList X mark U52 X mark X mark U41 X1 X2 active U41 mark X1 X2 mark isNat X active isNat X mark s X mark X mark U42 X mark X mark U51 X1 X2 active U51 mark X1 X2 active U71 tt L N mark U72 isNat N L active isNatList cons V1 V2 mark U51 isNat V1 V2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark length X active length mark X active U51 tt V2 mark U52 isNatList V2 mark isNatIList X active isNatIList X active U41 tt V2 mark U42 isNatIList V2 active isNatIList cons V1 V2 mark U41 isNat V1 V2 active length cons N L mark U71 isNatList L L N active isNat s V1 mark U21 isNat V1 isNatList mark X isNatList X U81 mark X U81 X length active X length X length mark X length X U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U51 X1 active X2 U51 X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X U62 active X U62 X U61 active X1 X2 U61 X1 X2 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U31 active X U31 X U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 U42 mark X U42 X U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 U41 X1 mark X2 U41 X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U42 active X U42 X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 U62 mark X U62 X active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N active isNatIList cons V1 V2 mark U41 isNat V1 V2 active U41 tt V2 mark U42 isNatIList V2 mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 mark length X active length mark X active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active isNatList cons V1 V2 mark U51 isNat V1 V2 active U71 tt L N mark U72 isNat N L mark U51 X1 X2 active U51 mark X1 X2 mark U42 X mark X mark s X mark X mark isNat X active isNat X mark U41 X1 X2 active U41 mark X1 X2 mark U52 X mark X mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X true U72 2 0 U21 1 1 0 isNatList 1 1 0 U11 1 442 cons 2 0 s 1 1 0 isNat 1 0 take 2 0 U42 1 1 2 U91 4 1 2 3 1 4 5 0 take 2 0 U71 3 0 U81 1 0 U92 4 0 isNatIList 1 1 2 U93 4 0 U93 4 2 0 3 1288 0 U72 2 0 zeros 0 4 U52 1 0 U42 1 0 U62 1 0 mark 1 1 0 0 0 4 isNatList 1 0 s 1 0 nil 0 632 U62 1 3 mark 1 1 1 isNat 1 1 259 U52 1 1 1 U61 2 2 4 0 U51 2 0 U11 1 0 active 1 1 4 U31 1 6 U92 4 1 648 2 642 3 645 4 646 0 U41 2 0 cons 2 1 7 2 4 0 active 1 1 0 isNatIList 1 0 U21 1 0 U81 1 628 tt 0 636 U71 3 0 U51 2 2 2 0 length 1 0 length 1 0 U41 2 2 5 0 U31 1 0 U91 4 0 U61 2 0 mark U21 X mark X mark U72 X1 X2 active U72 mark X1 X2 mark isNatList X active isNatList X mark U41 X1 X2 active U41 mark X1 X2 mark isNat X active isNat X mark s X mark X mark U51 X1 X2 active U51 mark X1 X2 active U71 tt L N mark U72 isNat N L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark length X active length mark X mark isNatIList X active isNatIList X active length cons N L mark U71 isNatList L L N active isNat s V1 mark U21 isNat V1 isNatList mark X isNatList X U81 mark X U81 X length active X length X length mark X length X U51 X1 active X2 U51 X1 X2 U41 active X1 X2 U41 X1 X2 s mark X s X U81 active X U81 X U21 active X U21 X isNatIList mark X isNatIList X U71 X1 X2 active X3 U71 X1 X2 X3 U71 X1 active X2 X3 U71 X1 X2 X3 U71 mark X1 X2 X3 U71 X1 X2 X3 U21 mark X U21 X U71 X1 mark X2 X3 U71 X1 X2 X3 U52 active X U52 X s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 U52 mark X U52 X isNatList active X isNatList X U42 mark X U42 X U72 mark X1 X2 U72 X1 X2 U51 active X1 X2 U51 X1 X2 isNat mark X isNat X U71 X1 X2 mark X3 U71 X1 X2 X3 U41 X1 mark X2 U41 X1 X2 U51 mark X1 X2 U51 X1 X2 U51 X1 mark X2 U51 X1 X2 U42 active X U42 X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U72 X1 mark X2 U72 X1 X2 U41 mark X1 X2 U41 X1 X2 active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N mark isNatIList X active isNatIList X mark length X active length mark X active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U71 tt L N mark U72 isNat N L mark U51 X1 X2 active U51 mark X1 X2 mark s X mark X mark isNat X active isNat X mark U41 X1 X2 active U41 mark X1 X2 mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X true U72 2 0 U21 1 1 isNatList 1 1 U11 1 1 cons 2 0 s 1 1 isNat 1 0 take 2 0 U42 1 1 U91 4 1 take 2 1 U71 3 11474 U81 1 0 U92 4 0 isNatIList 1 11473 U93 4 0 U93 4 1 U72 2 11474 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 50969 0 0 1 isNatList 1 0 s 1 0 nil 0 1 U62 1 1 mark 1 1 isNat 1 11474 U52 1 1 U61 2 1 U51 2 0 U11 1 0 active 1 2 U31 1 1 U92 4 1 U41 2 0 cons 2 1 active 1 1 39495 isNatIList 1 0 U21 1 0 U81 1 1 tt 0 1 U71 3 0 U51 2 9205 length 1 11474 length 1 0 U41 2 9086 U31 1 0 U91 4 0 U61 2 0 mark U21 X mark X mark U72 X1 X2 active U72 mark X1 X2 mark isNat X active isNat X mark s X mark X active U71 tt L N mark U72 isNat N L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark length X active length mark X active length cons N L mark U71 isNatList L L N active isNat s V1 mark U21 isNat V1 isNatList mark X isNatList X U81 mark X U81 X length active X length X length mark X length X U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U51 X1 active X2 U51 X1 X2 take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X U62 active X U62 X U61 active X1 X2 U61 X1 X2 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U31 active X U31 X U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 U42 mark X U42 X U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 U41 X1 mark X2 U41 X1 X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U42 active X U42 X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 U62 mark X U62 X active isNat s V1 mark U21 isNat V1 active length cons N L mark U71 isNatList L L N mark length X active length mark X active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U71 tt L N mark U72 isNat N L mark s X mark X mark isNat X active isNat X mark U72 X1 X2 active U72 mark X1 X2 mark U21 X mark X true 2 1 U72 2 0 0 U21 1 1 1 1 1 1 1 1 isNatList 1 1 1 1 1 1 0 1 U11 1 1 0 0 0 1 5 1 cons 2 0 0 s 1 1 0 1 0 1 0 5 isNat 1 0 0 take 2 0 0 U42 1 1 0 1 1 1 1 5 U91 4 0 0 1 1 1 1 1 0 0 2 0 0 1 1 3 3 1 take 2 1 0 1 0 1 1 0 1 0 2 269 0 U71 3 1 5 U81 1 0 0 U92 4 0 0 isNatIList 1 1 0 1 1 1 1 1 U93 4 0 0 U93 4 1 0 1 0 1 1 1 1 1 3 1 1 1 1 4 9225 285 U72 2 0 1 0 1 2 1 5 zeros 0 1 5 U52 1 0 0 U42 1 0 0 U62 1 0 0 mark 1 1 0 0 0 1 0 0 0 0 1 5 isNatList 1 0 0 s 1 0 0 nil 0 1 5 U62 1 1 1 1 0 1 2 1 mark 1 0 1 0 1 1 7 1 isNat 1 1 0 1 0 1 1 1 U52 1 1 1 1 1 1 2 2 U61 2 0 1 0 1 1 1 0 1 1 2 2 1 U51 2 0 0 U11 1 0 0 active 1 1 0 1 0 1 1 7 U31 1 1 0 1 0 1 3 3 U92 4 0 1 0 0 2 1 1 0 0 3 0 0 1 1 4 3 3 U41 2 0 0 cons 2 1 5 active 1 1 0 0 0 1 0 0 isNatIList 1 0 0 U21 1 0 0 U81 1 0 1 0 0 1 1 4 tt 0 1 5 U71 3 0 0 U51 2 1 0 1 1 1 0 0 1 1 2 1 5 length 1 1 0 length 1 0 0 U41 2 1 1 0 0 1 0 1 1 1 2 2 2 U31 1 0 0 U91 4 0 0 U61 2 0 0 mark U72 X1 X2 active U72 mark X1 X2 mark isNat X active isNat X mark s X mark X active U71 tt L N mark U72 isNat N L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark length X active length mark X active length cons N L mark U71 isNatList L L N isNatList mark X isNatList X length active X length X length mark X length X U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 s mark X s X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U31 active X U31 X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U71 X1 active X2 X3 U71 X1 X2 X3 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U21 mark X U21 X U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X s active X s X U72 active X1 X2 U72 X1 X2 U52 mark X U52 X isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 U72 mark X1 X2 U72 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X U71 X1 X2 mark X3 U71 X1 X2 X3 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U72 X1 mark X2 U72 X1 X2 active length cons N L mark U71 isNatList L L N mark length X active length mark X active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U71 tt L N mark U72 isNat N L mark s X mark X mark isNat X active isNat X mark U72 X1 X2 active U72 mark X1 X2 true U72 2 0 U21 1 4 isNatList 1 1 U11 1 1 cons 2 0 s 1 1 isNat 1 0 take 2 0 U42 1 1 U91 4 1 take 2 1 U71 3 17640 U81 1 0 U92 4 0 isNatIList 1 4 U93 4 0 U93 4 1 U72 2 17640 zeros 0 2 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 0 isNatList 1 0 s 1 0 nil 0 4 U62 1 1 mark 1 1 isNat 1 1 U52 1 1 U61 2 1 U51 2 0 U11 1 0 active 1 0 U31 1 1 U92 4 1 U41 2 0 cons 2 1 active 1 1 50969 isNatIList 1 0 U21 1 0 U81 1 4 tt 0 4 U71 3 0 U51 2 1 length 1 17640 length 1 0 U41 2 1 U31 1 0 U91 4 0 U61 2 0 mark U72 X1 X2 active U72 mark X1 X2 mark s X mark X active U71 tt L N mark U72 isNat N L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U72 tt L mark s length L mark length X active length mark X active length cons N L mark U71 isNatList L L N isNatList mark X isNatList X U81 mark X U81 X length active X length X length mark X length X U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U51 X1 active X2 U51 X1 X2 take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X U62 active X U62 X U61 active X1 X2 U61 X1 X2 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U31 active X U31 X U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 U42 mark X U42 X U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 U41 X1 mark X2 U41 X1 X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U42 active X U42 X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 U62 mark X U62 X active length cons N L mark U71 isNatList L L N mark length X active length mark X active U72 tt L mark s length L mark U71 X1 X2 X3 active U71 mark X1 X2 X3 active U71 tt L N mark U72 isNat N L mark s X mark X mark U72 X1 X2 active U72 mark X1 X2 true 2 1 U72 2 0 0 U21 1 1 0 0 isNatList 1 1 1 0 0 1 36351 1 U11 1 1 59241 cons 2 0 0 s 1 1 59235 59233 isNat 1 0 0 take 2 0 0 U42 1 0 0 1 0 1 48001 66714 U91 4 1 1 0 1 2 0 1 0 1 3 1 1 0 1 4 118468 118468 take 2 0 1 0 1 1 2 118468 0 U71 3 0 0 1 1 1 0 0 1 1 2 1 1 0 0 3 4 4 U81 1 0 0 U92 4 0 0 isNatIList 1 1 0 1 0 1 114717 66715 U93 4 0 0 U93 4 1 1 0 1 2 0 1 0 1 3 1 1 0 1 4 118468 118468 U72 2 0 1 1 1 1 0 0 1 1 2 1 1 zeros 0 0 1 U52 1 0 0 U42 1 0 0 U62 1 0 0 mark 1 0 0 1 1 1 1 0 0 0 0 0 isNatList 1 0 0 s 1 0 0 nil 0 59240 0 U62 1 0 0 0 1 1 7701 9125 mark 1 1 0 0 isNat 1 1 59241 U52 1 0 0 0 1 1 3148 0 U61 2 0 0 1 1 1 0 1 0 0 2 21585 16599 U51 2 0 0 U11 1 0 0 active 1 1 0 0 U31 1 0 0 1 0 1 8875 59241 U92 4 1 1 0 1 2 0 1 0 1 3 1 1 0 1 4 118468 118468 U41 2 0 0 cons 2 1 1 0 1 1 1 1 0 1 2 0 0 active 1 1 0 0 isNatIList 1 0 0 U21 1 0 0 U81 1 0 0 1 0 1 51753 0 tt 0 0 59241 U71 3 0 0 U51 2 1 0 0 0 1 0 1 0 0 2 36350 1 length 1 0 0 1 1 1 7 7 length 1 0 0 U41 2 1 1 0 0 1 1 0 1 0 2 114716 66714 U31 1 0 0 U91 4 0 0 U61 2 0 0 active isNat length V1 mark U11 isNatList V1 mark U81 X active U81 mark X isNatList mark X isNatList X U81 mark X U81 X active U31 tt mark tt length active X length X length mark X length X active U92 tt IL M N mark U93 isNat N IL M N U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 active U52 tt mark tt mark U93 X1 X2 X3 X4 active U93 mark X1 X2 X3 X4 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 active zeros mark cons 0 zeros U51 X1 active X2 U51 X1 X2 active U21 tt mark tt active U93 tt IL M N mark cons N take M IL active isNatIList zeros mark tt mark U31 X active U31 mark X take X1 mark X2 take X1 X2 U41 active X1 X2 U41 X1 X2 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U61 X1 active X2 U61 X1 X2 s mark X s X active length nil mark 0 U81 active X U81 X U21 active X U21 X U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 active isNat s V1 mark U21 isNat V1 mark 0 active 0 active isNat 0 mark tt U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 U11 mark X U11 X active length cons N L mark U71 isNatList L L N U62 active X U62 X U61 active X1 X2 U61 X1 X2 mark tt active tt U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList cons V1 V2 mark U41 isNat V1 V2 active take 0 IL mark U81 isNatIList IL U31 active X U31 X mark U62 X active U62 mark X active U41 tt V2 mark U42 isNatIList V2 U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 isNatIList mark X isNatIList X mark U11 X active U11 mark X U31 mark X U31 X U71 X1 X2 active X3 U71 X1 X2 X3 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U71 X1 active X2 X3 U71 X1 X2 X3 active U62 tt mark tt mark isNatIList X active isNatIList X active U51 tt V2 mark U52 isNatList V2 U71 mark X1 X2 X3 U71 X1 X2 X3 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 active isNatIList V mark U31 isNatList V U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 take mark X1 X2 take X1 X2 active isNatList take V1 V2 mark U61 isNat V1 V2 mark length X active length mark X mark U91 X1 X2 X3 X4 active U91 mark X1 X2 X3 X4 mark zeros active zeros U21 mark X U21 X U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 active U91 tt IL M N mark U92 isNat M IL M N U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U61 mark X1 X2 U61 X1 X2 take X1 active X2 take X1 X2 U71 X1 mark X2 X3 U71 X1 X2 X3 cons mark X1 X2 cons X1 X2 U52 active X U52 X mark cons X1 X2 active cons mark X1 X2 active U72 tt L mark s length L s active X s X U41 X1 active X2 U41 X1 X2 U72 active X1 X2 U72 X1 X2 mark U71 X1 X2 X3 active U71 mark X1 X2 X3 U52 mark X U52 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 isNatList active X isNatList X U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 active isNatList nil mark tt U42 mark X U42 X active isNatList cons V1 V2 mark U51 isNat V1 V2 U72 mark X1 X2 U72 X1 X2 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U51 active X1 X2 U51 X1 X2 cons X1 mark X2 cons X1 X2 isNat mark X isNat X active U71 tt L N mark U72 isNat N L active U61 tt V2 mark U62 isNatIList V2 active U81 tt mark nil mark nil active nil U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U71 X1 X2 mark X3 U71 X1 X2 X3 mark U51 X1 X2 active U51 mark X1 X2 U41 X1 mark X2 U41 X1 X2 mark take X1 X2 active take mark X1 mark X2 take active X1 X2 take X1 X2 U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 cons X1 active X2 cons X1 X2 active U42 tt mark tt U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 mark U42 X active U42 mark X U11 active X U11 X U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 cons active X1 X2 cons X1 X2 U51 mark X1 X2 U51 X1 X2 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 U51 X1 mark X2 U51 X1 X2 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 mark s X active s mark X U42 active X U42 X mark U92 X1 X2 X3 X4 active U92 mark X1 X2 X3 X4 mark isNat X active isNat X isNatIList active X isNatIList X U71 active X1 X2 X3 U71 X1 X2 X3 U72 X1 active X2 U72 X1 X2 isNat active X isNat X U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 mark U41 X1 X2 active U41 mark X1 X2 mark U52 X active U52 mark X U72 X1 mark X2 U72 X1 X2 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 mark isNatList X active isNatList X mark U72 X1 X2 active U72 mark X1 X2 U41 mark X1 X2 U41 X1 X2 U61 X1 mark X2 U61 X1 X2 mark U21 X active U21 mark X active take s M cons N IL mark U91 isNatIList IL IL M N mark U61 X1 X2 active U61 mark X1 X2 U62 mark X U62 X active U11 tt mark tt mark zeros active zeros false mark U61 X1 X2 U61 mark X1 X2 false mark U21 X U21 mark X false mark U72 X1 X2 U72 mark X1 X2 false active U11 tt mark tt false mark U52 X U52 mark X false active take s M cons N IL U91 isNatIList IL IL M N false active take s M cons N IL isNatIList IL false active U42 tt mark tt false active U81 tt mark nil false mark U41 X1 X2 U41 mark X1 X2 false active U61 tt V2 U62 isNatIList V2 false active U61 tt V2 isNatIList V2 false active U71 tt L N U72 isNat N L false U72 active X1 X2 U72 X1 X2 U72 mark X1 X2 U72 X1 X2 U72 X1 mark X2 U72 X1 X2 U72 X1 active X2 U72 X1 X2 true U72 2 1 2 0 U21 1 56105 isNatList 1 22402 U11 1 1 8043 cons 2 0 s 1 45374 isNat 1 0 take 2 0 U42 1 1513 U91 4 2 4 92999 take 2 1 47623 U71 3 3 45370 U81 1 0 U92 4 0 isNatIList 1 1509 U93 4 0 U93 4 2 3 4 138381 U72 2 45372 zeros 0 28810 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 19716 isNatList 1 0 s 1 0 nil 0 67343 U62 1 22406 mark 1 1 1 isNat 1 1 10729 U52 1 22406 U61 2 2 22404 U51 2 0 U11 1 0 active 1 1 2 U31 1 1511 U92 4 1 2 82272 U41 2 0 cons 2 138383 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 67341 tt 0 56107 U71 3 0 U51 2 2 22404 length 1 19714 length 1 0 U41 2 2 1511 U31 1 0 U91 4 0 U61 2 0 U62 active X U62 X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U62 mark X U62 X active U71 tt L N isNat N false mark U92 X1 X2 X3 X4 U92 mark X1 X2 X3 X4 false active isNatList cons V1 V2 U51 isNat V1 V2 false active isNatList cons V1 V2 isNat V1 false active isNatList nil mark tt false mark s X s mark X false active U72 tt L s length L false s mark X s X s active X s X true U72 2 0 U21 1 10 isNatList 1 1 U11 1 1 26411 cons 2 0 s 1 7 isNat 1 0 take 2 0 U42 1 5 U91 4 2 4 44755 take 2 1 31842 U71 3 3 3 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 0 U93 4 2 3 4 44770 U72 2 5 zeros 0 15509 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 4 isNatList 1 0 s 1 1 0 nil 0 31850 U62 1 10 mark 1 1 1 isNat 1 1 1 U52 1 5 U61 2 2 6 U51 2 0 U11 1 0 active 1 1 2 U31 1 4 U92 4 1 2 44756 U41 2 0 cons 2 44772 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 31848 tt 0 12 U71 3 0 U51 2 2 3 length 1 1 length 1 0 U41 2 2 3 U31 1 0 U91 4 0 U61 2 0 U62 active X U62 X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U62 mark X U62 X active U72 tt L length L false mark U42 X U42 mark X false active U91 tt IL M N U92 isNat M IL M N false U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 X2 mark X3 X4 U92 X1 X2 X3 X4 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 X2 active X3 X4 U92 X1 X2 X3 X4 U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 X2 X3 active X4 U92 X1 X2 X3 X4 U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 X2 X3 mark X4 U92 X1 X2 X3 X4 true U72 2 0 U21 1 10 isNatList 1 1 U11 1 1 3 cons 2 0 s 1 7 isNat 1 0 take 2 0 U42 1 8 U91 4 2 4 10 take 2 1 1 U71 3 3 3 U81 1 0 U92 4 3 4 0 isNatIList 1 1 U93 4 0 U93 4 2 3 4 61685 U72 2 5 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 3 isNatList 1 0 s 1 0 nil 0 8 U62 1 7 mark 1 1 1 isNat 1 1 1 U52 1 5 U61 2 2 5 U51 2 0 U11 1 0 active 1 1 2 U31 1 3 U92 4 1 2 29073 U41 2 0 cons 2 61687 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 6 tt 0 12 U71 3 0 U51 2 2 3 length 1 1 length 1 0 U41 2 2 6 U31 1 0 U91 4 0 U61 2 0 U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 U62 active X U62 X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U62 mark X U62 X U92 X1 active X2 X3 X4 U92 X1 X2 X3 X4 U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 X1 mark X2 X3 X4 U92 X1 X2 X3 X4 true U72 2 0 U21 1 3897 isNatList 1 1 U11 1 1 1515 cons 2 0 s 1 2382 isNat 1 0 take 2 0 U42 1 12 U91 4 2 4 2387 take 2 1 1 U71 3 3 2378 U81 1 0 U92 4 2 0 isNatIList 1 1 U93 4 0 U93 4 2 3 4 22459 U72 2 2380 zeros 0 33217 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 3 isNatList 1 0 s 1 0 nil 0 8 U62 1 5 mark 1 1 1 isNat 1 1 1513 U52 1 5 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 12 U92 4 1 2 876 U41 2 0 cons 2 94903 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 6 tt 0 3899 U71 3 0 U51 2 2 3 length 1 1 length 1 0 U41 2 2 10 U31 1 0 U91 4 0 U61 2 0 U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 U62 active X U62 X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U62 mark X U62 X U92 active X1 X2 X3 X4 U92 X1 X2 X3 X4 U92 mark X1 X2 X3 X4 U92 X1 X2 X3 X4 true U72 2 0 U21 1 1 21111 isNatList 1 1 1 U11 1 36606 cons 2 0 s 1 1 60993 isNat 1 0 take 2 0 U42 1 1 24380 U91 4 4 36603 take 2 36601 U71 3 1 3 33148 U81 1 0 U92 4 1 0 isNatIList 1 1 26958 U93 4 0 U93 4 1 2 4 3 U72 2 1 2 33154 zeros 0 7 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 45378 isNatList 1 0 s 1 0 nil 0 36605 U62 1 36606 mark 1 1 1 isNat 1 36604 U52 1 24381 U61 2 2 36604 U51 2 0 U11 1 0 active 1 1 2 U31 1 26960 U92 4 3 36605 U41 2 0 cons 2 2 24376 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 36603 tt 0 36608 U71 3 0 U51 2 24379 length 1 1 8771 length 1 0 U41 2 51336 U31 1 0 U91 4 0 U61 2 0 U11 mark X U11 X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 U11 active X U11 X cons active X1 X2 cons X1 X2 active U91 tt IL M N isNat M false mark take X1 X2 take mark X1 mark X2 false active isNatList take V1 V2 U61 isNat V1 V2 false U61 mark X1 X2 U61 X1 X2 U61 X1 mark X2 U61 X1 X2 U61 active X1 X2 U61 X1 X2 U61 X1 active X2 U61 X1 X2 true U72 2 0 U21 1 1 18683 isNatList 1 34233 U11 1 34236 cons 2 0 s 1 1 18681 isNat 1 0 take 2 0 U42 1 6767 U91 4 1 30985 take 2 1 19034 U71 3 1 3 1 U81 1 0 U92 4 0 isNatIList 1 6732 U93 4 0 U93 4 1 2 4 99463 U72 2 34242 zeros 0 47295 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 34234 isNatList 1 0 s 1 0 nil 0 80779 U62 1 34237 mark 1 1 1 isNat 1 1 2 U52 1 34237 U61 2 2 34235 U51 2 0 U11 1 0 active 1 1 2 U31 1 6734 U92 4 1 2 3 65224 U41 2 0 cons 2 2 114670 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 46538 tt 0 34239 U71 3 0 U51 2 2 34235 length 1 34232 length 1 0 U41 2 2 6765 U31 1 0 U91 4 0 U61 2 1 2 0 isNatList mark X isNatList X U11 mark X U11 X isNatList active X isNatList X U11 active X U11 X active isNatList take V1 V2 isNat V1 false mark U51 X1 X2 U51 mark X1 X2 false U51 X1 active X2 U51 X1 X2 U51 X1 mark X2 U51 X1 X2 U51 active X1 X2 U51 X1 X2 U51 mark X1 X2 U51 X1 X2 true U72 2 0 U21 1 1 14 isNatList 1 38627 U11 1 38631 cons 2 0 s 1 1 12 isNat 1 0 take 2 0 U42 1 38631 U91 4 1 1 take 2 1 27743 U71 3 1 3 3 U81 1 0 U92 4 0 isNatIList 1 38627 U93 4 0 U93 4 1 2 4 77269 U72 2 38638 zeros 0 3036 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 38630 isNatList 1 0 s 1 0 nil 0 66383 U62 1 38631 mark 1 1 22184 isNat 1 1 1 U52 1 38631 U61 2 2 38629 U51 2 1 2 0 U11 1 0 active 1 1 22185 U31 1 38629 U92 4 1 2 3 38635 U41 2 0 cons 2 2 88161 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 27748 tt 0 38633 U71 3 0 U51 2 2 38629 length 1 38628 length 1 0 U41 2 2 38629 U31 1 0 U91 4 0 U61 2 0 isNatList mark X isNatList X U11 mark X U11 X isNatList active X isNatList X U11 active X U11 X mark nil active nil false active isNatIList V U31 isNatList V false active isNatIList V isNatList V false mark U71 X1 X2 X3 U71 mark X1 X2 X3 false active U51 tt V2 U52 isNatList V2 false U52 mark X U52 X U52 active X U52 X true U72 2 0 U21 1 1 14 isNatList 1 4 U11 1 8 cons 2 0 s 1 1 12 isNat 1 0 take 2 0 U42 1 8 U91 4 1 38861 take 2 1 38851 U71 3 1 3 1 U81 1 0 U92 4 0 isNatIList 1 4 U93 4 0 U93 4 1 2 4 38879 U72 2 13 zeros 0 24887 U52 1 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 5 isNatList 1 0 s 1 0 nil 0 38866 U62 1 8 mark 1 1 21762 isNat 1 1 3 U52 1 8 U61 2 2 6 U51 2 0 U11 1 0 active 1 1 21763 U31 1 6 U92 4 1 2 3 38870 U41 2 0 cons 2 2 40 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 38854 tt 0 10 U71 3 0 U51 2 2 6 length 1 3 length 1 0 U41 2 2 6 U31 1 0 U91 4 0 U61 2 0 isNatList mark X isNatList X U11 mark X U11 X isNatList active X isNatList X U11 active X U11 X active U51 tt V2 isNatList V2 false active U62 tt mark tt false mark cons X1 X2 cons mark X1 X2 false active U41 tt V2 U42 isNatIList V2 false U42 mark X U42 X U42 active X U42 X true U72 2 0 U21 1 1 25172 isNatList 1 64347 U11 1 64351 cons 2 0 s 1 1 25170 isNat 1 0 take 2 0 U42 1 64351 U91 4 1 59775 take 2 1 37890 U71 3 1 3 2 U81 1 0 U92 4 0 isNatIList 1 31784 U93 4 0 U93 4 1 2 4 188481 U72 2 89515 zeros 0 45766 U52 1 0 U42 1 1 0 U62 1 0 mark 1 68609 0 0 64349 isNatList 1 0 s 1 0 nil 0 134812 U62 1 64351 mark 1 1 1 isNat 1 1 2 U52 1 64351 U61 2 2 64349 U51 2 0 U11 1 0 active 1 1 2 U31 1 31786 U92 4 1 2 3 124128 U41 2 0 cons 2 2 214946 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 70457 tt 0 64353 U71 3 0 U51 2 2 64349 length 1 64347 length 1 0 U41 2 2 64349 U31 1 0 U91 4 0 U61 2 0 isNatList mark X isNatList X U11 mark X U11 X isNatList active X isNatList X U11 active X U11 X active U41 tt V2 isNatIList V2 false mark U91 X1 X2 X3 X4 U91 mark X1 X2 X3 X4 false U91 active X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 active X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 mark X2 X3 X4 U91 X1 X2 X3 X4 U91 mark X1 X2 X3 X4 U91 X1 X2 X3 X4 U91 X1 X2 X3 mark X4 U91 X1 X2 X3 X4 U91 X1 X2 X3 active X4 U91 X1 X2 X3 X4 U91 X1 X2 mark X3 X4 U91 X1 X2 X3 X4 U91 X1 X2 active X3 X4 U91 X1 X2 X3 X4 true U72 2 0 U21 1 1 14 isNatList 1 1 U11 1 5 cons 2 0 s 1 1 12 isNat 1 0 take 2 0 U42 1 5 U91 4 1 14 take 2 1 1 U71 3 1 3 2 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 0 U93 4 1 2 4 28 U72 2 11 zeros 0 31691 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 3 isNatList 1 0 s 1 0 nil 0 3420 U62 1 5 mark 1 1 1 isNat 1 1 2 U52 1 5 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 3 U92 4 1 2 3 21 U41 2 0 cons 2 2 36 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 5 tt 0 7 U71 3 0 U51 2 2 3 length 1 1 length 1 0 U41 2 2 3 U31 1 0 U91 4 1 2 3 4 0 U61 2 0 isNatList mark X isNatList X U11 mark X U11 X isNatList active X isNatList X U11 active X U11 X active take 0 IL U81 isNatIList IL false active take 0 IL isNatIList IL false isNatIList active X isNatIList X isNatIList mark X isNatIList X true U72 2 0 U21 1 1 31080 isNatList 1 1 U11 1 5 cons 2 0 s 1 1 31078 isNat 1 0 take 2 0 U42 1 5 U91 4 1 103327 take 2 1 53261 U71 3 1 3 31068 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 0 U93 4 1 2 4 103341 U72 2 31077 zeros 0 25585 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 3 isNatList 1 0 s 1 0 nil 0 53274 U62 1 5 mark 1 1 30139 isNat 1 1 2 U52 1 5 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 30140 U31 1 3 U92 4 1 2 3 103334 U41 2 0 cons 2 2 50089 active 1 68609 isNatIList 1 1 0 U21 1 0 U81 1 1 53265 tt 0 7 U71 3 0 U51 2 2 3 length 1 1 length 1 0 U41 2 2 3 U31 1 0 U91 4 0 U61 2 0 isNatList mark X isNatList X U11 mark X U11 X isNatList active X isNatList X U11 active X U11 X mark length X length mark X false length mark X length X length active X length X true U72 2 0 U21 1 15701 isNatList 1 1563 U11 1 1 7510 cons 2 0 s 1 1 39163 isNat 1 0 take 2 0 U42 1 15701 U91 4 2 4 49309 take 2 2 81965 U71 3 3 41666 U81 1 0 U92 4 0 isNatIList 1 2687 U93 4 0 U93 4 1 2 3 4 59757 U72 2 1 45607 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 41666 isNatList 1 0 s 1 0 nil 0 94979 U62 1 13954 mark 1 1 1 isNat 1 2566 U52 1 1 32656 U61 2 1 2 5504 U51 2 0 U11 1 0 active 1 1 6507 U31 1 9194 U92 4 3 55816 U41 2 0 cons 2 2 6507 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 88472 tt 0 22208 U71 3 0 U51 2 1 2 5504 length 1 35159 length 1 1 0 U41 2 2 9194 U31 1 0 U91 4 0 U61 2 0 U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 isNat mark X isNat X U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 isNat active X isNat X active isNatIList cons V1 V2 U41 isNat V1 V2 false U41 mark X1 X2 U41 X1 X2 U41 X1 active X2 U41 X1 X2 U41 X1 mark X2 U41 X1 X2 U41 active X1 X2 U41 X1 X2 true U72 2 0 U21 1 3 isNatList 1 2162 U11 1 2167 cons 2 0 s 1 1 2188 isNat 1 0 take 2 0 U42 1 2167 U91 4 1 3443 take 2 5604 U71 3 3 50620 U81 1 0 U92 4 0 isNatIList 1 2163 U93 4 0 U93 4 2 4 5616 U72 2 1 2 50621 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 56220 isNatList 1 0 s 1 0 nil 0 5614 U62 1 2167 mark 1 1 1 isNat 1 1 U52 1 2167 U61 2 2 2165 U51 2 0 U11 1 0 active 1 1 2 U31 1 2165 U92 4 2 3 5614 U41 2 1 2 0 cons 2 2 14 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 3443 tt 0 2169 U71 3 0 U51 2 2 2165 length 1 1 50604 length 1 0 U41 2 2 2165 U31 1 0 U91 4 0 U61 2 0 U62 active X U62 X isNatIList mark X isNatIList X cons mark X1 X2 cons X1 X2 U42 mark X U42 X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U42 active X U42 X isNatIList active X isNatIList X U62 mark X U62 X active isNatIList cons V1 V2 isNat V1 false active length cons N L U71 isNatList L L N false U71 X1 X2 mark X3 U71 X1 X2 X3 U71 X1 X2 active X3 U71 X1 X2 X3 U71 X1 mark X2 X3 U71 X1 X2 X3 U71 X1 active X2 X3 U71 X1 X2 X3 U71 active X1 X2 X3 U71 X1 X2 X3 U71 mark X1 X2 X3 U71 X1 X2 X3 true U72 2 0 U21 1 3 isNatList 1 1 U11 1 3 cons 2 0 s 1 1 31677 isNat 1 0 take 2 0 U42 1 5 U91 4 1 23665 take 2 1 U71 3 3 31668 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 0 U93 4 2 4 31664 U72 2 1 2 31669 zeros 0 22191 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 14 isNatList 1 0 s 1 0 nil 0 11 U62 1 5 mark 1 1 1 isNat 1 1 U52 1 5 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 4 U92 4 2 3 31662 U41 2 0 cons 2 2 31665 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 2 tt 0 7 U71 3 1 2 0 U51 2 2 3 length 1 1 1 length 1 0 U41 2 2 3 U31 1 0 U91 4 0 U61 2 0 U71 X1 X2 active X3 U71 X1 X2 X3 U71 X1 X2 mark X3 U71 X1 X2 X3 U62 active X U62 X isNatIList mark X isNatIList X cons mark X1 X2 cons X1 X2 U42 mark X U42 X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U42 active X U42 X isNatIList active X isNatIList X U62 mark X U62 X U71 X1 X2 active X3 U71 X1 X2 X3 U71 X1 X2 mark X3 U71 X1 X2 X3 true U72 2 0 U21 1 50070 isNatList 1 15280 U11 1 50070 cons 2 0 s 1 1 348342 isNat 1 0 take 2 0 U42 1 58724 U91 4 1 39896 take 2 18637 U71 3 3 244473 U81 1 0 U92 4 0 isNatIList 1 5402 U93 4 0 U93 4 2 4 188481 U72 2 1 2 247725 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 209788 isNatList 1 0 s 1 0 nil 0 161820 U62 1 68602 mark 1 1 1 isNat 1 23409 U52 1 68602 U61 2 2 41941 U51 2 0 U11 1 0 active 1 1 26661 U31 1 32063 U92 4 2 3 161820 U41 2 0 cons 2 2 196505 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 39896 tt 0 95263 U71 3 3 0 U51 2 2 41941 length 1 1 21307 length 1 0 U41 2 2 32063 U31 1 0 U91 4 0 U61 2 0 U62 active X U62 X isNatIList mark X isNatIList X cons mark X1 X2 cons X1 X2 U42 mark X U42 X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U42 active X U42 X isNatIList active X isNatIList X U62 mark X U62 X active length cons N L isNatList L false active isNat 0 mark tt false mark U11 X U11 mark X false active isNat s V1 U21 isNat V1 false U21 mark X U21 X U21 active X U21 X true U72 2 0 U21 1 4066 isNatList 1 4569 U11 1 3 cons 2 0 s 1 1 29447 isNat 1 0 take 2 0 U42 1 4573 U91 4 1 2980 take 2 7547 U71 3 3 30110 U81 1 0 U92 4 0 isNatIList 1 4569 U93 4 0 U93 4 2 4 7559 U72 2 1 2 30111 zeros 0 41433 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 21320 isNatList 1 0 s 1 0 nil 0 7557 U62 1 4573 mark 1 1 1 isNat 1 1 U52 1 4573 U61 2 2 4571 U51 2 0 U11 1 0 active 1 1 2 U31 1 4571 U92 4 2 3 7557 U41 2 0 cons 2 2 24867 active 1 68609 isNatIList 1 0 U21 1 1 0 U81 1 1 2980 tt 0 4575 U71 3 0 U51 2 2 4571 length 1 1 5241 length 1 0 U41 2 2 4571 U31 1 0 U91 4 0 U61 2 0 U62 active X U62 X isNatIList mark X isNatIList X cons mark X1 X2 cons X1 X2 U42 mark X U42 X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U42 active X U42 X isNatIList active X isNatIList X U62 mark X U62 X active isNat s V1 isNat V1 false active length nil mark 0 false active isNatIList zeros mark tt false mark U62 X U62 mark X false U62 active X U62 X U62 mark X U62 X true U72 2 0 U21 1 4 isNatList 1 1 U11 1 5 cons 2 0 s 1 1 13223 isNat 1 0 take 2 0 U42 1 5 U91 4 1 2 take 2 1 U71 3 3 16289 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 0 U93 4 2 4 13 U72 2 1 2 16290 zeros 0 1 U52 1 0 U42 1 0 U62 1 1 0 mark 1 68609 0 0 36852 isNatList 1 0 s 1 0 nil 0 20577 U62 1 5 mark 1 1 1 isNat 1 1 U52 1 5 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 3 U92 4 2 3 11 U41 2 0 cons 2 2 14 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 20568 tt 0 7 U71 3 0 U51 2 2 3 length 1 1 16273 length 1 0 U41 2 2 3 U31 1 0 U91 4 0 U61 2 0 U62 active X U62 X isNatIList mark X isNatIList X cons mark X1 X2 cons X1 X2 U42 mark X U42 X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U42 active X U42 X isNatIList active X isNatIList X U62 mark X U62 X mark 0 active 0 false active U93 tt IL M N cons N take M IL false cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons active X1 X2 cons X1 X2 true U72 2 0 U21 1 1954 isNatList 1 1 U11 1 1955 cons 2 1 2 0 s 1 1 38909 isNat 1 0 take 2 0 U42 1 6 U91 4 1 32494 take 2 1 U71 3 3 46743 U81 1 0 U92 4 0 isNatIList 1 2 U93 4 0 U93 4 2 4 36676 U72 2 1 2 44793 zeros 0 38108 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 36852 isNatList 1 0 s 1 0 nil 0 4730 U62 1 5 mark 1 1 1 isNat 1 1952 U52 1 5 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 4 U92 4 2 3 36674 U41 2 0 cons 2 2 36677 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 550 tt 0 4178 U71 3 0 U51 2 2 3 length 1 1 10064 length 1 0 U41 2 2 4 U31 1 0 U91 4 0 U61 2 0 U62 active X U62 X isNatIList mark X isNatIList X cons mark X1 X2 cons X1 X2 U42 mark X U42 X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U42 active X U42 X isNatIList active X isNatIList X U62 mark X U62 X active U93 tt IL M N take M IL false take X1 active X2 take X1 X2 take X1 mark X2 take X1 X2 take active X1 X2 take X1 X2 take mark X1 X2 take X1 X2 true U72 2 0 U21 1 3 isNatList 1 1 U11 1 3 cons 2 0 s 1 1 8552 isNat 1 0 take 2 2 0 U42 1 5 U91 4 1 4862 take 2 1 U71 3 3 33165 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 0 U93 4 2 4 8470 U72 2 1 2 33166 zeros 0 40775 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 36852 isNatList 1 0 s 1 0 nil 0 560 U62 1 5 mark 1 1 1 isNat 1 1 U52 1 5 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 4 U92 4 2 3 8468 U41 2 0 cons 2 2 8471 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 2 tt 0 7 U71 3 0 U51 2 2 3 length 1 1 24692 length 1 0 U41 2 2 3 U31 1 0 U91 4 0 U61 2 0 take mark X1 X2 take X1 X2 take active X1 X2 take X1 X2 U62 active X U62 X isNatIList mark X isNatIList X cons mark X1 X2 cons X1 X2 U42 mark X U42 X cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 U42 active X U42 X isNatIList active X isNatIList X U62 mark X U62 X take mark X1 X2 take X1 X2 take active X1 X2 take X1 X2 true U72 2 0 U21 1 39603 isNatList 1 39602 U11 1 1 1 cons 2 0 s 1 1 37887 isNat 1 0 take 2 1 0 U42 1 39603 U91 4 2 62173 take 2 1 24284 U71 3 3 63548 U81 1 0 U92 4 0 isNatIList 1 1 1696 U93 4 0 U93 4 1 2 4 22580 U72 2 2 63550 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 6371 isNatList 1 0 s 1 0 nil 0 68568 U62 1 1 37914 mark 1 1 1 isNat 1 39601 U52 1 1 8 U61 2 1 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 1698 U92 4 1 3 22574 U41 2 0 cons 2 2 37903 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 28961 tt 0 39605 U71 3 0 U51 2 1 2 3 length 1 1 25643 length 1 0 U41 2 39601 U31 1 0 U91 4 0 U61 2 0 isNatList mark X isNatList X U11 mark X U11 X isNatList active X isNatList X U42 mark X U42 X U11 active X U11 X U42 active X U42 X active U21 tt mark tt false mark U31 X U31 mark X false U31 mark X U31 X U31 active X U31 X true U72 2 0 U21 1 4604 isNatList 1 12886 U11 1 14914 cons 2 0 s 1 1 28668 isNat 1 0 take 2 0 U42 1 28745 U91 4 1 4 45916 take 2 2 30799 U71 3 3 43959 U81 1 0 U92 4 0 isNatIList 1 28741 U93 4 0 U93 4 1 2 3 4 15107 U72 2 2 72623 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 66449 isNatList 1 0 s 1 0 nil 0 30809 U62 1 20316 mark 1 1 1 isNat 1 1 51808 U52 1 26625 U61 2 2 13178 U51 2 0 U11 1 0 active 1 1 2 U31 1 1 15857 U92 4 1 22857 U41 2 0 cons 2 43856 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 2060 tt 0 28747 U71 3 0 U51 2 1 2 34931 length 1 43957 length 1 0 U41 2 2 28743 U31 1 1 0 U91 4 0 U61 2 0 active zeros cons 0 zeros false active U52 tt mark tt false mark U93 X1 X2 X3 X4 U93 mark X1 X2 X3 X4 false active U92 tt IL M N U93 isNat N IL M N false U93 X1 X2 mark X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 active X3 X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 active X4 U93 X1 X2 X3 X4 U93 X1 X2 X3 mark X4 U93 X1 X2 X3 X4 U93 active X1 X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U93 mark X1 X2 X3 X4 U93 X1 X2 X3 X4 true U72 2 0 U21 1 2 isNatList 1 1 U11 1 1 cons 2 0 s 1 1 32494 isNat 1 0 take 2 0 U42 1 5 U91 4 1 4 34373 take 2 2 1596 U71 3 3 90550 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 1 3 4 0 U93 4 1 2 3 4 32765 U72 2 2 90552 zeros 0 27639 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 58062 isNatList 1 0 s 1 0 nil 0 2069 U62 1 5 mark 1 1 1 isNat 1 1 814 U52 1 1 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 1 19582 U92 4 1 33569 U41 2 0 cons 2 32775 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 1597 tt 0 7 U71 3 0 U51 2 1 2 23683 length 1 58060 length 1 0 U41 2 2 3 U31 1 0 U91 4 0 U61 2 0 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 active X2 X3 X4 U93 X1 X2 X3 X4 U93 X1 mark X2 X3 X4 U93 X1 X2 X3 X4 true U72 2 0 U21 1 1 isNatList 1 1 U11 1 4 cons 2 0 s 1 1 6 isNat 1 0 take 2 0 U42 1 6 U91 4 1 4 28277 take 2 2 1 U71 3 3 45445 U81 1 0 U92 4 0 isNatIList 1 2 U93 4 2 0 U93 4 1 2 3 4 28266 U72 2 2 45447 zeros 0 4923 U52 1 0 U42 1 0 U62 1 0 mark 1 68609 0 0 45445 isNatList 1 0 s 1 0 nil 0 11 U62 1 6 mark 1 1 17206 isNat 1 1 16414 U52 1 1 U61 2 2 4 U51 2 0 U11 1 0 active 1 1 17207 U31 1 1 3 U92 4 1 11873 U41 2 0 cons 2 28276 active 1 68609 isNatIList 1 0 U21 1 0 U81 1 1 1 tt 0 8 U71 3 0 U51 2 1 2 33160 length 1 45443 length 1 0 U41 2 2 4 U31 1 0 U91 4 0 U61 2 0 active U92 tt IL M N isNat N false isNat active X isNat X isNat mark X isNat X true U72 2 0 U21 1 5 isNatList 1 1 U11 1 1 cons 2 0 s 1 1 12675 isNat 1 1 0 take 2 0 U42 1 5 U91 4 1 4 35464 take 2 2 2 U71 3 3 12672 U81 1 0 U92 4 0 isNatIList 1 1 U93 4 0 U93 4 1 2 3 4 35452 U72 2 2 12674 zeros 0 16354 U52 1 0 U42 1 0 U62 1 0 mark 1 0 0 0 3442 isNatList 1 0 s 1 0 nil 0 12 U62 1 5 mark 1 1 1 isNat 1 1 15 U52 1 5 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 1 2 U92 4 1 35458 U41 2 0 cons 2 35461 active 1 0 isNatIList 1 0 U21 1 0 U81 1 1 3 tt 0 7 U71 3 0 U51 2 1 2 36963 length 1 1 length 1 0 U41 2 2 3 U31 1 0 U91 4 0 U61 2 0 active U31 tt mark tt false mark tt active tt false mark U81 X U81 mark X false U81 mark X U81 X U81 active X U81 X true U72 2 0 U21 1 5756 isNatList 1 24354 U11 1 23630 cons 2 0 s 1 1 2439 isNat 1 0 take 2 0 U42 1 24357 U91 4 1 4 65331 take 2 2 30618 U71 3 3 15246 U81 1 1 0 U92 4 0 isNatIList 1 24353 U93 4 0 U93 4 1 2 3 4 34702 U72 2 2 15248 zeros 0 15351 U52 1 0 U42 1 0 U62 1 0 mark 1 0 0 0 15246 isNatList 1 0 s 1 0 nil 0 30629 U62 1 24358 mark 1 1 1 isNat 1 1 69900 U52 1 7737 U61 2 2 24356 U51 2 0 U11 1 0 active 1 1 2 U31 1 1 1 U92 4 1 19793 U41 2 0 cons 2 59064 active 1 0 isNatIList 1 0 U21 1 0 U81 1 1 6267 tt 0 24360 U71 3 0 U51 2 1 2 46902 length 1 15244 length 1 0 U41 2 2 24355 U31 1 0 U91 4 0 U61 2 0 active isNat length V1 U11 isNatList V1 false U11 active X U11 X U11 mark X U11 X true U72 2 0 U21 1 4 isNatList 1 1 U11 1 6 cons 2 0 s 1 1 20838 isNat 1 0 take 2 0 U42 1 7 U91 4 1 4 23703 take 2 2 2 U71 3 3 20831 U81 1 0 U92 4 0 isNatIList 1 3 U93 4 0 U93 4 1 2 3 4 23691 U72 2 2 20837 zeros 0 23700 U52 1 0 U42 1 0 U62 1 0 mark 1 0 0 0 15244 isNatList 1 0 s 1 0 nil 0 12 U62 1 5 mark 1 1 25849 isNat 1 1 17 U52 1 5 U61 2 2 3 U51 2 0 U11 1 1 0 active 1 1 25850 U31 1 1 4 U92 4 1 23697 U41 2 0 cons 2 23702 active 1 0 isNatIList 1 0 U21 1 0 U81 1 1 1 tt 0 9 U71 3 0 U51 2 1 2 24044 length 1 1 length 1 0 U41 2 2 5 U31 1 0 U91 4 0 U61 2 0 active isNat length V1 isNatList V1 false isNatList mark X isNatList X isNatList active X isNatList X true U72 2 0 U21 1 3 isNatList 1 1 U11 1 1 cons 2 0 s 1 1 12925 isNat 1 0 take 2 0 U42 1 6 U91 4 1 4 28022 take 2 2 1 U71 3 3 670 U81 1 0 U92 4 0 isNatIList 1 2 U93 4 0 U93 4 1 2 3 4 28011 U72 2 2 13591 zeros 0 1 U52 1 0 U42 1 0 U62 1 0 mark 1 0 0 0 15244 isNatList 1 1 0 s 1 0 nil 0 11 U62 1 5 mark 1 1 1 isNat 1 1 16 U52 1 6 U61 2 2 3 U51 2 0 U11 1 0 active 1 1 2 U31 1 1 3 U92 4 1 28016 U41 2 0 cons 2 28021 active 1 0 isNatIList 1 0 U21 1 0 U81 1 1 1 tt 0 8 U71 3 0 U51 2 1 2 39902 length 1 668 length 1 0 U41 2 2 4 U31 1 0 U91 4 0 U61 2 0 NaTT certifiable-1.6