a__U101 tt M N a__U102 a__isNatKind M M N a__U102 tt M N a__U103 a__isNat N M N a__U103 tt M N a__U104 a__isNatKind N M N a__U104 tt M N a__plus a__x mark N mark M mark N a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 a__U15 tt V2 a__U16 a__isNat V2 a__U16 tt tt a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U22 tt V1 a__U23 a__isNat V1 a__U23 tt tt a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U35 tt V2 a__U36 a__isNat V2 a__U36 tt tt a__U41 tt V2 a__U42 a__isNatKind V2 a__U42 tt tt a__U51 tt tt a__U61 tt V2 a__U62 a__isNatKind V2 a__U62 tt tt a__U71 tt N a__U72 a__isNatKind N N a__U72 tt N mark N a__U81 tt M N a__U82 a__isNatKind M M N a__U82 tt M N a__U83 a__isNat N M N a__U83 tt M N a__U84 a__isNatKind N M N a__U84 tt M N s a__plus mark N mark M a__U91 tt N a__U92 a__isNatKind N a__U92 tt 0 a__isNat 0 tt a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 a__isNatKind 0 tt a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 a__isNatKind s V1 a__U51 a__isNatKind V1 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 a__plus N 0 a__U71 a__isNat N N a__plus N s M a__U81 a__isNat M M N a__x N 0 a__U91 a__isNat N N a__x N s M a__U101 a__isNat M M N mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark isNat X a__isNat X mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark plus X1 X2 a__plus mark X1 mark X2 mark x X1 X2 a__x mark X1 mark X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U15 X1 X2 a__U15 mark X1 X2 mark U16 X a__U16 mark X mark U21 X1 X2 a__U21 mark X1 X2 mark U22 X1 X2 a__U22 mark X1 X2 mark U23 X a__U23 mark X mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 mark U35 X1 X2 a__U35 mark X1 X2 mark U36 X a__U36 mark X mark U41 X1 X2 a__U41 mark X1 X2 mark U42 X a__U42 mark X mark U51 X a__U51 mark X mark U61 X1 X2 a__U61 mark X1 X2 mark U62 X a__U62 mark X mark U71 X1 X2 a__U71 mark X1 X2 mark U72 X1 X2 a__U72 mark X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 mark U92 X a__U92 mark X mark tt tt mark s X s mark X mark 0 0 a__U101 X1 X2 X3 U101 X1 X2 X3 a__U102 X1 X2 X3 U102 X1 X2 X3 a__isNatKind X isNatKind X a__U103 X1 X2 X3 U103 X1 X2 X3 a__isNat X isNat X a__U104 X1 X2 X3 U104 X1 X2 X3 a__plus X1 X2 plus X1 X2 a__x X1 X2 x X1 X2 a__U11 X1 X2 X3 U11 X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U13 X1 X2 X3 U13 X1 X2 X3 a__U14 X1 X2 X3 U14 X1 X2 X3 a__U15 X1 X2 U15 X1 X2 a__U16 X U16 X a__U21 X1 X2 U21 X1 X2 a__U22 X1 X2 U22 X1 X2 a__U23 X U23 X a__U31 X1 X2 X3 U31 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U33 X1 X2 X3 U33 X1 X2 X3 a__U34 X1 X2 X3 U34 X1 X2 X3 a__U35 X1 X2 U35 X1 X2 a__U36 X U36 X a__U41 X1 X2 U41 X1 X2 a__U42 X U42 X a__U51 X U51 X a__U61 X1 X2 U61 X1 X2 a__U62 X U62 X a__U71 X1 X2 U71 X1 X2 a__U72 X1 X2 U72 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__U83 X1 X2 X3 U83 X1 X2 X3 a__U84 X1 X2 X3 U84 X1 X2 X3 a__U91 X1 X2 U91 X1 X2 a__U92 X U92 X 2.2 a__U102 tt M N a__isNat N mark isNat X a__isNat X mark U36 X mark X mark U72 X1 X2 mark X1 a__isNatKind plus V1 V2 a__isNatKind V1 mark x X1 X2 a__x mark X1 mark X2 mark U42 X mark X mark plus X1 X2 a__plus mark X1 mark X2 mark U36 X a__U36 mark X mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 mark U13 X1 X2 X3 mark X1 a__U12 tt V1 V2 a__isNatKind V2 a__U34 tt V1 V2 a__isNat V1 a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 mark U62 X a__U62 mark X a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark plus X1 X2 mark X1 mark U15 X1 X2 a__U15 mark X1 X2 mark U91 X1 X2 a__U91 mark X1 X2 a__U104 tt M N mark M mark plus X1 X2 mark X2 a__U33 tt V1 V2 a__isNatKind V2 mark s X mark X mark U22 X1 X2 mark X1 mark U14 X1 X2 X3 mark X1 mark U51 X mark X a__U104 tt M N mark N a__U34 tt V1 V2 a__U35 a__isNat V1 V2 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U21 X1 X2 a__U21 mark X1 X2 mark U32 X1 X2 X3 mark X1 a__U83 tt M N a__isNatKind N a__U61 tt V2 a__U62 a__isNatKind V2 a__U81 tt M N a__isNatKind M a__U14 tt V1 V2 a__U15 a__isNat V1 V2 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 a__U22 tt V1 a__U23 a__isNat V1 mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U41 tt V2 a__isNatKind V2 a__U35 tt V2 a__isNat V2 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__plus N s M a__U81 a__isNat M M N mark U35 X1 X2 a__U35 mark X1 X2 mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U62 X mark X mark U51 X a__U51 mark X a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U81 tt M N a__U82 a__isNatKind M M N a__isNatKind s V1 a__isNatKind V1 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U91 tt N a__isNatKind N mark U61 X1 X2 mark X1 a__U101 tt M N a__U102 a__isNatKind M M N a__U84 tt M N mark N mark U41 X1 X2 a__U41 mark X1 X2 mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__isNatKind x V1 V2 a__isNatKind V1 mark U33 X1 X2 X3 mark X1 a__U91 tt N a__U92 a__isNatKind N a__x N s M a__U101 a__isNat M M N mark U102 X1 X2 X3 mark X1 mark U16 X mark X mark U31 X1 X2 X3 mark X1 mark U82 X1 X2 X3 mark X1 a__U41 tt V2 a__U42 a__isNatKind V2 a__U14 tt V1 V2 a__isNat V1 a__U84 tt M N mark M mark U22 X1 X2 a__U22 mark X1 X2 a__plus N s M a__isNat M a__U82 tt M N a__isNat N mark U84 X1 X2 X3 mark X1 mark U16 X a__U16 mark X a__U21 tt V1 a__isNatKind V1 a__U15 tt V2 a__U16 a__isNat V2 mark U103 X1 X2 X3 mark X1 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__isNat plus V1 V2 a__isNatKind V1 a__U101 tt M N a__isNatKind M mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U71 tt N a__isNatKind N a__isNat s V1 a__U21 a__isNatKind V1 V1 mark U21 X1 X2 mark X1 a__U104 tt M N a__plus a__x mark N mark M mark N mark U35 X1 X2 mark X1 a__U13 tt V1 V2 a__isNatKind V2 mark U41 X1 X2 mark X1 a__isNatKind s V1 a__U51 a__isNatKind V1 mark U101 X1 X2 X3 mark X1 mark U23 X mark X mark U91 X1 X2 mark X1 a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 a__U83 tt M N a__U84 a__isNatKind N M N a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 mark U42 X a__U42 mark X mark U72 X1 X2 a__U72 mark X1 X2 mark U61 X1 X2 a__U61 mark X1 X2 mark U83 X1 X2 X3 mark X1 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 mark x X1 X2 mark X1 a__U71 tt N a__U72 a__isNatKind N N mark U81 X1 X2 X3 mark X1 a__U104 tt M N a__x mark N mark M mark U104 X1 X2 X3 mark X1 mark U92 X mark X a__U61 tt V2 a__isNatKind V2 a__U72 tt N mark N mark U71 X1 X2 a__U71 mark X1 X2 mark U23 X a__U23 mark X mark isNatKind X a__isNatKind X mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U103 tt M N a__isNatKind N mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 a__U32 tt V1 V2 a__isNatKind V2 a__U82 tt M N a__U83 a__isNat N M N mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 a__U11 tt V1 V2 a__isNatKind V1 mark x X1 X2 mark X2 a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U22 tt V1 a__isNat V1 mark U12 X1 X2 X3 mark X1 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 mark U11 X1 X2 X3 mark X1 a__plus N 0 a__isNat N a__x N 0 a__U91 a__isNat N N a__U31 tt V1 V2 a__isNatKind V1 a__U102 tt M N a__U103 a__isNat N M N a__U104 tt M N mark N a__U103 tt M N a__U104 a__isNatKind N M N mark U15 X1 X2 mark X1 a__isNat s V1 a__isNatKind V1 mark U92 X a__U92 mark X a__isNat x V1 V2 a__isNatKind V1 a__plus N 0 a__U71 a__isNat N N a__U35 tt V2 a__U36 a__isNat V2 a__x N s M a__isNat M mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 a__x N 0 a__isNat N mark U34 X1 X2 X3 mark X1 a__U84 tt M N a__plus mark N mark M a__U15 tt V2 a__isNat V2 mark U71 X1 X2 mark X1 true mark U71 X1 X2 mark X1 a__U84 tt M N a__plus mark N mark M mark U34 X1 X2 X3 mark X1 mark U103 X1 X2 X3 mark X1 mark U84 X1 X2 X3 mark X1 a__U84 tt M N mark M a__plus N 0 a__U71 a__isNat N N mark U31 X1 X2 X3 mark X1 mark U82 X1 X2 X3 mark X1 mark U16 X mark X mark U102 X1 X2 X3 mark X1 a__x N s M a__U101 a__isNat M M N mark U33 X1 X2 X3 mark X1 mark U15 X1 X2 mark X1 a__U103 tt M N a__U104 a__isNatKind N M N a__U104 tt M N mark N a__U101 tt M N a__U102 a__isNatKind M M N a__U84 tt M N mark N a__U102 tt M N a__U103 a__isNat N M N mark U61 X1 X2 mark X1 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 a__U81 tt M N a__U82 a__isNatKind M M N mark U11 X1 X2 X3 mark X1 mark U12 X1 X2 X3 mark X1 mark x X1 X2 mark X2 mark U62 X mark X a__U82 tt M N a__U83 a__isNat N M N mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U71 X1 X2 a__U71 mark X1 X2 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 a__U72 tt N mark N mark U104 X1 X2 X3 mark X1 mark U92 X mark X mark U32 X1 X2 X3 mark X1 a__U104 tt M N a__x mark N mark M mark U81 X1 X2 X3 mark X1 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U71 tt N a__U72 a__isNatKind N N a__U104 tt M N mark N mark U51 X mark X mark x X1 X2 mark X1 mark U22 X1 X2 mark X1 mark U14 X1 X2 X3 mark X1 mark s X mark X mark plus X1 X2 mark X2 a__U104 tt M N mark M mark U83 X1 X2 X3 mark X1 mark U72 X1 X2 a__U72 mark X1 X2 mark plus X1 X2 mark X1 a__U83 tt M N a__U84 a__isNatKind N M N mark U91 X1 X2 mark X1 mark U101 X1 X2 X3 mark X1 mark U23 X mark X mark U41 X1 X2 mark X1 mark U13 X1 X2 X3 mark X1 mark U35 X1 X2 mark X1 a__U104 tt M N a__plus a__x mark N mark M mark N mark plus X1 X2 a__plus mark X1 mark X2 mark x X1 X2 a__x mark X1 mark X2 mark U42 X mark X mark U21 X1 X2 mark X1 mark U72 X1 X2 mark X1 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 mark U36 X mark X true a__U83 3 1 0 2 35295 3 0 0 a__isNatKind 1 0 isNatKind 1 1 0 a__plus 2 1 0 2 35295 0 U16 1 1 1 U21 2 1 0 2 0 0 a__U102 3 1 24552 2 35292 3 116339 0 a__U82 3 1 17015 2 91785 3 56492 0 a__U15 2 0 a__U72 2 1 56491 2 56492 0 a__U71 2 1 26666 2 56492 0 U11 3 1 0 2 0 3 25955 0 a__U92 1 0 a__U104 3 1 116339 2 35292 3 116339 0 s 1 1 0 a__U31 3 0 a__U33 3 0 a__U33 3 1 35291 2 35290 3 35290 0 a__U23 1 0 U42 1 1 1 U91 2 1 1 2 91788 0 a__isNat 1 0 a__U82 3 1 35294 2 35295 3 0 0 a__U14 3 0 U71 2 1 0 2 0 0 a__U84 3 1 0 2 35295 3 0 0 a__U62 1 1 1 U101 3 1 35292 2 35292 3 116339 0 a__U13 3 0 U103 3 1 116339 2 35292 3 116339 0 a__U103 3 2 91784 3 172831 0 U84 3 1 0 2 35295 3 0 0 a__U51 1 0 U23 1 1 0 U35 2 1 35289 2 35288 0 a__x 2 1 172831 2 91784 0 a__U22 2 1 0 2 0 0 U72 2 1 0 2 0 0 a__U11 3 0 U34 3 1 35289 2 35289 3 35290 0 a__U31 3 1 35292 2 35292 3 35292 0 a__U51 1 1 0 a__U81 3 1 35294 2 35295 3 0 0 a__x 2 1 116339 2 35292 0 U12 3 1 0 2 0 3 25955 0 a__U84 3 1 0 2 91785 3 56492 0 a__U62 1 0 a__U16 1 1 1 a__U42 1 0 a__U41 2 1 0 2 1 0 x 2 1 116339 2 35292 0 a__U12 3 0 U104 3 1 116339 2 35292 3 116339 0 a__U14 3 1 25954 2 0 3 90 0 a__U21 2 0 a__U81 3 2 91785 3 56492 0 a__U61 2 0 a__U34 3 1 35289 2 35289 3 35290 0 a__plus 2 1 56492 2 91785 0 U83 3 1 0 2 35295 3 0 0 mark 1 1 56492 0 0 91786 a__U21 2 1 0 2 0 0 U36 1 1 1 a__U32 3 1 35292 2 35291 3 35291 0 a__U91 2 1 1 2 91788 0 a__U36 1 1 1 U62 1 1 1 a__U102 3 2 91784 3 172831 0 mark 1 1 0 a__U72 2 1 0 2 0 0 a__U101 3 1 91783 2 91784 3 172831 0 a__U11 3 1 0 2 0 3 25955 0 a__U36 1 0 U32 3 1 35292 2 35291 3 35291 0 a__U42 1 1 1 U33 3 1 35291 2 35290 3 35290 0 U14 3 1 25954 2 0 3 90 0 a__U12 3 1 0 2 0 3 25955 0 a__U104 3 1 172831 2 91784 3 172831 0 isNat 1 1 0 a__U35 2 1 35289 2 35288 0 plus 2 1 0 2 35295 0 U15 2 1 0 2 13 0 U61 2 1 22281 2 22280 0 a__U35 2 0 a__U22 2 0 a__U13 3 1 25955 2 0 3 25954 0 U31 3 1 35292 2 35292 3 35292 0 a__U83 3 2 91785 3 56492 0 a__U71 2 1 0 2 0 0 U92 1 1 91788 a__U92 1 1 91788 a__U61 2 1 22281 2 22280 0 U102 3 1 24552 2 35292 3 116339 0 U81 3 1 35294 2 35295 3 0 0 a__U41 2 0 a__U15 2 1 0 2 13 0 U82 3 1 35294 2 35295 3 0 0 a__U16 1 0 tt 0 91786 a__isNat 1 1 0 U13 3 1 25955 2 0 3 25954 0 a__U23 1 1 0 a__isNatKind 1 1 0 U22 2 1 0 2 0 0 U51 1 1 0 a__U34 3 0 a__U103 3 1 116339 2 35292 3 116339 0 U41 2 1 0 2 1 0 a__U32 3 0 a__U101 3 1 35292 2 35292 3 116339 0 a__U91 2 0 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 mark U72 X1 X2 mark X1 mark U21 X1 X2 mark X1 mark x X1 X2 a__x mark X1 mark X2 mark plus X1 X2 a__plus mark X1 mark X2 a__U104 tt M N a__plus a__x mark N mark M mark N mark U41 X1 X2 mark X1 mark U23 X mark X a__U83 tt M N a__U84 a__isNatKind N M N mark plus X1 X2 mark X1 mark U72 X1 X2 a__U72 mark X1 X2 mark U83 X1 X2 X3 mark X1 mark s X mark X mark U22 X1 X2 mark X1 mark U51 X mark X a__U71 tt N a__U72 a__isNatKind N N mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U104 tt M N a__x mark N mark M a__U72 tt N mark N mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U71 X1 X2 a__U71 mark X1 X2 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 a__U82 tt M N a__U83 a__isNat N M N mark U12 X1 X2 X3 mark X1 mark U11 X1 X2 X3 mark X1 a__U81 tt M N a__U82 a__isNatKind M M N mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 a__U102 tt M N a__U103 a__isNat N M N a__U84 tt M N mark N a__U101 tt M N a__U102 a__isNatKind M M N a__U103 tt M N a__U104 a__isNatKind N M N mark U15 X1 X2 mark X1 a__x N s M a__U101 a__isNat M M N a__plus N 0 a__U71 a__isNat N N mark U84 X1 X2 X3 mark X1 a__U84 tt M N a__plus mark N mark M mark U71 X1 X2 mark X1 a__U35 tt V2 a__U36 a__isNat V2 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U92 X a__U92 mark X a__U34 X1 X2 X3 U34 X1 X2 X3 a__U104 tt M N a__plus a__x mark N mark M mark N a__U33 X1 X2 X3 U33 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U42 tt tt a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 mark U41 X1 X2 a__U41 mark X1 X2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U23 X U23 X a__U72 tt N mark N a__U35 X1 X2 U35 X1 X2 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U36 tt tt a__U92 tt 0 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U84 X1 X2 X3 U84 X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 a__U81 tt M N a__U82 a__isNatKind M M N a__U103 X1 X2 X3 U103 X1 X2 X3 a__U101 X1 X2 X3 U101 X1 X2 X3 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U51 tt tt a__U82 tt M N a__U83 a__isNat N M N mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 a__x N s M a__U101 a__isNat M M N a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 mark U62 X a__U62 mark X a__isNat 0 tt mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U92 X U92 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U16 tt tt a__isNatKind s V1 a__U51 a__isNatKind V1 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__isNat X isNat X a__U41 tt V2 a__U42 a__isNatKind V2 a__U42 X U42 X a__U71 tt N a__U72 a__isNatKind N N mark isNat X a__isNat X mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N s a__plus mark N mark M mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__U36 X U36 X a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U62 X U62 X mark s X s mark X a__U104 X1 X2 X3 U104 X1 X2 X3 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 a__U91 tt N a__U92 a__isNatKind N a__U22 tt V1 a__U23 a__isNat V1 a__U31 X1 X2 X3 U31 X1 X2 X3 mark U42 X a__U42 mark X a__U15 X1 X2 U15 X1 X2 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U91 X1 X2 U91 X1 X2 mark tt tt a__U61 tt V2 a__U62 a__isNatKind V2 mark U51 X a__U51 mark X a__U62 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 a__U51 X U51 X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 a__U15 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U15 tt V2 a__U16 a__isNat V2 a__U23 tt tt mark plus X1 X2 a__plus mark X1 mark X2 a__U41 X1 X2 U41 X1 X2 a__plus X1 X2 plus X1 X2 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 mark U36 X a__U36 mark X mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U61 X1 X2 U61 X1 X2 mark U21 X1 X2 a__U21 mark X1 X2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 mark U23 X a__U23 mark X a__U72 X1 X2 U72 X1 X2 mark U16 X a__U16 mark X mark U72 X1 X2 a__U72 mark X1 X2 a__U71 X1 X2 U71 X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U61 X1 X2 a__U61 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U71 X1 X2 a__U71 mark X1 X2 a__x X1 X2 x X1 X2 a__U16 X U16 X a__U22 X1 X2 U22 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__isNatKind 0 tt a__plus N 0 a__U71 a__isNat N N a__U14 X1 X2 X3 U14 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U35 X1 X2 a__U35 mark X1 X2 mark 0 0 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U83 tt M N a__U84 a__isNatKind N M N a__x N 0 a__U91 a__isNat N N a__isNatKind X isNatKind X a__U102 tt M N a__U103 a__isNat N M N mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U104 tt M N a__x mark N mark M a__U104 tt M N a__plus a__x mark N mark M mark N mark U12 X1 X2 X3 mark X1 a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 mark X1 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N mark U41 X1 X2 mark X1 a__U72 tt N mark N mark U22 X1 X2 mark X1 a__U81 tt M N a__U82 a__isNatKind M M N a__U82 tt M N a__U83 a__isNat N M N a__x N s M a__U101 a__isNat M M N a__U71 tt N a__U72 a__isNatKind N N mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N mark N a__U84 tt M N a__plus mark N mark M mark s X mark X mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 mark X1 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U51 X mark X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 mark X1 mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark U21 X1 X2 mark X1 mark U23 X mark X mark U72 X1 X2 mark X1 mark U72 X1 X2 a__U72 mark X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U11 X1 X2 X3 mark X1 mark U71 X1 X2 mark X1 mark U71 X1 X2 a__U71 mark X1 X2 a__plus N 0 a__U71 a__isNat N N a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__U83 tt M N a__U84 a__isNatKind N M N a__U102 tt M N a__U103 a__isNat N M N true a__U83 3 1 0 2 50386 3 0 0 a__isNatKind 1 0 isNatKind 1 0 a__plus 2 1 0 2 50386 0 U16 1 1 0 U21 2 1 0 2 0 0 a__U102 3 1 13855 2 50385 3 62770 0 a__U82 3 1 33988 2 63179 3 90404 0 a__U15 2 0 a__U72 2 1 32299 2 90404 0 a__U71 2 1 72680 2 90404 0 U11 3 1 0 2 0 3 50386 0 a__U92 1 0 a__U104 3 1 62770 2 50385 3 62770 0 s 1 1 0 a__U31 3 0 a__U33 3 0 a__U33 3 1 3 2 2 3 2 0 a__U23 1 0 U42 1 1 0 U91 2 1 3103 2 59885 0 a__isNat 1 0 a__U82 3 1 50386 2 50386 3 0 0 a__U14 3 0 U71 2 1 0 2 0 0 a__U84 3 1 50386 2 50386 3 0 0 a__U62 1 0 U101 3 1 50385 2 50385 3 62770 0 a__U13 3 0 U103 3 1 62770 2 50385 3 62770 0 a__U103 3 2 140789 3 153174 0 U84 3 1 50386 2 50386 3 0 0 a__U51 1 0 U23 1 1 0 U35 2 1 1 0 a__x 2 1 153174 2 140789 0 a__U22 2 1 0 2 0 0 U72 2 1 0 2 0 0 a__U11 3 0 U34 3 1 1 2 1 3 2 0 a__U31 3 1 50385 2 50385 3 50385 0 a__U51 1 1 0 a__U81 3 1 50386 2 50386 3 0 0 a__x 2 1 62770 2 50385 0 U12 3 1 18128 2 0 3 50386 0 a__U84 3 1 63180 2 63179 3 90404 0 a__U62 1 0 a__U16 1 1 0 a__U42 1 0 a__U41 2 1 0 0 x 2 1 62770 2 50385 0 a__U12 3 0 U104 3 1 62770 2 50385 3 62770 0 a__U14 3 1 15118 2 0 3 1 0 a__U21 2 0 a__U81 3 2 63179 3 90404 0 a__U61 2 0 a__U34 3 1 1 2 1 3 2 0 a__plus 2 1 90404 2 63179 0 U83 3 1 0 2 50386 3 0 0 mark 1 1 90404 0 0 9500 a__U21 2 1 0 2 0 0 U36 1 0 a__U32 3 1 28582 2 2 3 28581 0 a__U91 2 1 3103 2 59885 0 a__U36 1 0 U62 1 0 a__U102 3 2 140789 3 153174 0 mark 1 1 0 a__U72 2 1 0 2 0 0 a__U101 3 1 25783 2 140789 3 153174 0 a__U11 3 1 0 2 0 3 50386 0 a__U36 1 0 U32 3 1 28582 2 2 3 28581 0 a__U42 1 1 0 U33 3 1 3 2 2 3 2 0 U14 3 1 15118 2 0 3 1 0 a__U12 3 1 18128 2 0 3 50386 0 a__U104 3 1 153173 2 140789 3 153174 0 isNat 1 1 0 a__U35 2 1 1 0 plus 2 1 0 2 50386 0 U15 2 1 0 2 1 0 U61 2 0 a__U35 2 0 a__U22 2 0 a__U13 3 1 15119 2 0 3 15118 0 U31 3 1 50385 2 50385 3 50385 0 a__U83 3 2 63179 3 90404 0 a__U71 2 1 0 2 0 0 U92 1 1 59885 a__U92 1 1 59885 a__U61 2 0 U102 3 1 13855 2 50385 3 62770 0 U81 3 1 50386 2 50386 3 0 0 a__U41 2 0 a__U15 2 1 0 2 1 0 U82 3 1 50386 2 50386 3 0 0 a__U16 1 0 tt 0 0 a__isNat 1 1 0 U13 3 1 15119 2 0 3 15118 0 a__U23 1 1 0 a__isNatKind 1 0 U22 2 1 0 2 0 0 U51 1 1 0 a__U34 3 0 a__U103 3 1 62770 2 50385 3 62770 0 U41 2 1 0 0 a__U32 3 0 a__U101 3 1 50385 2 50385 3 62770 0 a__U91 2 0 a__U102 tt M N a__U103 a__isNat N M N a__U83 tt M N a__U84 a__isNatKind N M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__plus N s M a__U81 a__isNat M M N a__plus N 0 a__U71 a__isNat N N mark U71 X1 X2 a__U71 mark X1 X2 mark U71 X1 X2 mark X1 mark U11 X1 X2 X3 mark X1 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U72 X1 X2 a__U72 mark X1 X2 mark U72 X1 X2 mark X1 mark U23 X mark X mark U21 X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark plus X1 X2 mark X1 mark U15 X1 X2 mark X1 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U51 X mark X mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark s X mark X a__U84 tt M N a__plus mark N mark M a__U84 tt M N mark N mark x X1 X2 a__x mark X1 mark X2 a__U71 tt N a__U72 a__isNatKind N N a__x N s M a__U101 a__isNat M M N a__U82 tt M N a__U83 a__isNat N M N a__U81 tt M N a__U82 a__isNatKind M M N mark U22 X1 X2 mark X1 a__U72 tt N mark N mark U41 X1 X2 mark X1 a__U103 tt M N a__U104 a__isNatKind N M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 mark U83 X1 X2 X3 mark X1 a__U101 tt M N a__U102 a__isNatKind M M N a__U104 tt M N a__plus a__x mark N mark M mark N a__U104 tt M N a__x mark N mark M mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U35 tt V2 a__U36 a__isNat V2 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U92 X a__U92 mark X a__U34 X1 X2 X3 U34 X1 X2 X3 a__U104 tt M N a__plus a__x mark N mark M mark N a__U33 X1 X2 X3 U33 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U42 tt tt a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 mark U41 X1 X2 a__U41 mark X1 X2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U23 X U23 X a__U72 tt N mark N a__U35 X1 X2 U35 X1 X2 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U36 tt tt a__U92 tt 0 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U84 X1 X2 X3 U84 X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 a__U81 tt M N a__U82 a__isNatKind M M N a__U103 X1 X2 X3 U103 X1 X2 X3 a__U101 X1 X2 X3 U101 X1 X2 X3 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U51 tt tt a__U82 tt M N a__U83 a__isNat N M N mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 a__x N s M a__U101 a__isNat M M N a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 mark U62 X a__U62 mark X a__isNat 0 tt mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U92 X U92 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U16 tt tt a__isNatKind s V1 a__U51 a__isNatKind V1 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__isNat X isNat X a__U41 tt V2 a__U42 a__isNatKind V2 a__U42 X U42 X a__U71 tt N a__U72 a__isNatKind N N mark isNat X a__isNat X mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N s a__plus mark N mark M mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__U36 X U36 X a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U62 X U62 X mark s X s mark X a__U104 X1 X2 X3 U104 X1 X2 X3 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 a__U91 tt N a__U92 a__isNatKind N a__U22 tt V1 a__U23 a__isNat V1 a__U31 X1 X2 X3 U31 X1 X2 X3 mark U42 X a__U42 mark X a__U15 X1 X2 U15 X1 X2 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U91 X1 X2 U91 X1 X2 mark tt tt a__U61 tt V2 a__U62 a__isNatKind V2 mark U51 X a__U51 mark X a__U62 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 a__U51 X U51 X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 a__U15 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U15 tt V2 a__U16 a__isNat V2 a__U23 tt tt mark plus X1 X2 a__plus mark X1 mark X2 a__U41 X1 X2 U41 X1 X2 a__plus X1 X2 plus X1 X2 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 mark U36 X a__U36 mark X mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U61 X1 X2 U61 X1 X2 mark U21 X1 X2 a__U21 mark X1 X2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 mark U23 X a__U23 mark X a__U72 X1 X2 U72 X1 X2 mark U16 X a__U16 mark X mark U72 X1 X2 a__U72 mark X1 X2 a__U71 X1 X2 U71 X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U61 X1 X2 a__U61 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U71 X1 X2 a__U71 mark X1 X2 a__x X1 X2 x X1 X2 a__U16 X U16 X a__U22 X1 X2 U22 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__isNatKind 0 tt a__plus N 0 a__U71 a__isNat N N a__U14 X1 X2 X3 U14 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U35 X1 X2 a__U35 mark X1 X2 mark 0 0 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U83 tt M N a__U84 a__isNatKind N M N a__x N 0 a__U91 a__isNat N N a__isNatKind X isNatKind X a__U102 tt M N a__U103 a__isNat N M N mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U104 tt M N a__x mark N mark M a__U104 tt M N a__plus a__x mark N mark M mark N a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 mark X1 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N mark U41 X1 X2 mark X1 a__U72 tt N mark N mark U22 X1 X2 mark X1 a__U81 tt M N a__U82 a__isNatKind M M N a__U82 tt M N a__U83 a__isNat N M N a__x N s M a__U101 a__isNat M M N a__U71 tt N a__U72 a__isNatKind N N mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N mark N a__U84 tt M N a__plus mark N mark M mark s X mark X mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U51 X mark X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 mark X1 mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark U21 X1 X2 mark X1 mark U23 X mark X mark U72 X1 X2 mark X1 mark U72 X1 X2 a__U72 mark X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U11 X1 X2 X3 mark X1 mark U71 X1 X2 mark X1 mark U71 X1 X2 a__U71 mark X1 X2 a__plus N 0 a__U71 a__isNat N N a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__U83 tt M N a__U84 a__isNatKind N M N a__U102 tt M N a__U103 a__isNat N M N true a__U83 3 1 0 2 0 3 0 0 a__isNatKind 1 0 isNatKind 1 0 a__plus 2 1 0 2 0 0 U16 1 0 U21 2 1 0 0 a__U102 3 2 0 3 0 0 a__U82 3 1 0 2 0 3 0 0 a__U15 2 0 a__U72 2 1 1 2 0 0 a__U71 2 1 15215 2 0 0 U11 3 1 0 0 a__U92 1 0 a__U104 3 2 0 3 0 0 s 1 1 0 a__U31 3 0 a__U33 3 0 a__U33 3 0 a__U23 1 0 U42 1 0 U91 2 1 15215 0 a__isNat 1 0 a__U82 3 1 0 2 0 3 0 0 a__U14 3 0 U71 2 1 15215 2 0 0 a__U84 3 2 0 3 0 0 a__U62 1 0 U101 3 2 0 3 0 0 a__U13 3 0 U103 3 2 0 3 0 0 a__U103 3 2 0 3 0 0 U84 3 2 0 3 0 0 a__U51 1 0 U23 1 1 0 U35 2 0 a__x 2 1 0 2 0 0 a__U22 2 1 0 0 U72 2 1 7250 2 0 0 a__U11 3 0 U34 3 0 a__U31 3 0 a__U51 1 1 0 a__U81 3 2 0 3 0 0 a__x 2 1 0 2 0 0 U12 3 0 a__U84 3 2 0 3 0 0 a__U62 1 0 a__U16 1 0 a__U42 1 0 a__U41 2 1 0 0 x 2 1 0 2 0 0 a__U12 3 0 U104 3 2 0 3 0 0 a__U14 3 0 a__U21 2 0 a__U81 3 2 0 3 0 0 a__U61 2 0 a__U34 3 0 a__plus 2 1 0 2 0 0 U83 3 1 0 2 0 3 0 0 mark 1 1 0 0 0 15215 a__U21 2 1 0 0 U36 1 0 a__U32 3 0 a__U91 2 1 15215 0 a__U36 1 0 U62 1 0 a__U102 3 2 0 3 0 0 mark 1 1 0 a__U72 2 1 7250 2 0 0 a__U101 3 2 0 3 0 0 a__U11 3 1 0 0 a__U36 1 0 U32 3 0 a__U42 1 0 U33 3 0 U14 3 0 a__U12 3 0 a__U104 3 2 0 3 0 0 isNat 1 0 a__U35 2 0 plus 2 1 0 2 0 0 U15 2 1 0 0 U61 2 1 0 0 a__U35 2 0 a__U22 2 0 a__U13 3 0 U31 3 0 a__U83 3 2 0 3 0 0 a__U71 2 1 15215 2 0 0 U92 1 15215 a__U92 1 15215 a__U61 2 1 0 0 U102 3 2 0 3 0 0 U81 3 2 0 3 0 0 a__U41 2 0 a__U15 2 1 0 0 U82 3 1 0 2 0 3 0 0 a__U16 1 0 tt 0 0 a__isNat 1 0 U13 3 0 a__U23 1 1 0 a__isNatKind 1 0 U22 2 1 0 0 U51 1 1 0 a__U34 3 0 a__U103 3 2 0 3 0 0 U41 2 1 0 0 a__U32 3 0 a__U101 3 2 0 3 0 0 a__U91 2 0 a__U102 tt M N a__U103 a__isNat N M N a__U83 tt M N a__U84 a__isNatKind N M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__plus N s M a__U81 a__isNat M M N a__plus N 0 a__U71 a__isNat N N mark U71 X1 X2 a__U71 mark X1 X2 mark U11 X1 X2 X3 mark X1 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U72 X1 X2 a__U72 mark X1 X2 mark U23 X mark X mark U21 X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark plus X1 X2 mark X1 mark U15 X1 X2 mark X1 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U51 X mark X mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark s X mark X a__U84 tt M N a__plus mark N mark M a__U84 tt M N mark N mark x X1 X2 a__x mark X1 mark X2 a__U71 tt N a__U72 a__isNatKind N N a__x N s M a__U101 a__isNat M M N a__U82 tt M N a__U83 a__isNat N M N a__U81 tt M N a__U82 a__isNatKind M M N mark U22 X1 X2 mark X1 a__U72 tt N mark N mark U41 X1 X2 mark X1 a__U103 tt M N a__U104 a__isNatKind N M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 mark U83 X1 X2 X3 mark X1 a__U101 tt M N a__U102 a__isNatKind M M N a__U104 tt M N a__plus a__x mark N mark M mark N a__U104 tt M N a__x mark N mark M mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U35 tt V2 a__U36 a__isNat V2 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U92 X a__U92 mark X a__U34 X1 X2 X3 U34 X1 X2 X3 a__U104 tt M N a__plus a__x mark N mark M mark N a__U33 X1 X2 X3 U33 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U42 tt tt a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 mark U41 X1 X2 a__U41 mark X1 X2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U23 X U23 X a__U72 tt N mark N a__U35 X1 X2 U35 X1 X2 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U36 tt tt a__U92 tt 0 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U84 X1 X2 X3 U84 X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 a__U81 tt M N a__U82 a__isNatKind M M N a__U103 X1 X2 X3 U103 X1 X2 X3 a__U101 X1 X2 X3 U101 X1 X2 X3 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U51 tt tt a__U82 tt M N a__U83 a__isNat N M N mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 a__x N s M a__U101 a__isNat M M N a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 mark U62 X a__U62 mark X a__isNat 0 tt mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U92 X U92 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U16 tt tt a__isNatKind s V1 a__U51 a__isNatKind V1 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__isNat X isNat X a__U41 tt V2 a__U42 a__isNatKind V2 a__U42 X U42 X a__U71 tt N a__U72 a__isNatKind N N mark isNat X a__isNat X mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N s a__plus mark N mark M mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__U36 X U36 X a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U62 X U62 X mark s X s mark X a__U104 X1 X2 X3 U104 X1 X2 X3 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 a__U91 tt N a__U92 a__isNatKind N a__U22 tt V1 a__U23 a__isNat V1 a__U31 X1 X2 X3 U31 X1 X2 X3 mark U42 X a__U42 mark X a__U15 X1 X2 U15 X1 X2 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U91 X1 X2 U91 X1 X2 mark tt tt a__U61 tt V2 a__U62 a__isNatKind V2 mark U51 X a__U51 mark X a__U62 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 a__U51 X U51 X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 a__U15 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U15 tt V2 a__U16 a__isNat V2 a__U23 tt tt mark plus X1 X2 a__plus mark X1 mark X2 a__U41 X1 X2 U41 X1 X2 a__plus X1 X2 plus X1 X2 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 mark U36 X a__U36 mark X mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U61 X1 X2 U61 X1 X2 mark U21 X1 X2 a__U21 mark X1 X2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 mark U23 X a__U23 mark X a__U72 X1 X2 U72 X1 X2 mark U16 X a__U16 mark X mark U72 X1 X2 a__U72 mark X1 X2 a__U71 X1 X2 U71 X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U61 X1 X2 a__U61 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U71 X1 X2 a__U71 mark X1 X2 a__x X1 X2 x X1 X2 a__U16 X U16 X a__U22 X1 X2 U22 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__isNatKind 0 tt a__plus N 0 a__U71 a__isNat N N a__U14 X1 X2 X3 U14 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U35 X1 X2 a__U35 mark X1 X2 mark 0 0 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U83 tt M N a__U84 a__isNatKind N M N a__x N 0 a__U91 a__isNat N N a__isNatKind X isNatKind X a__U102 tt M N a__U103 a__isNat N M N mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U104 tt M N a__x mark N mark M a__U104 tt M N a__plus a__x mark N mark M mark N a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 mark X1 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N mark U41 X1 X2 mark X1 a__U72 tt N mark N mark U22 X1 X2 mark X1 a__U81 tt M N a__U82 a__isNatKind M M N a__U82 tt M N a__U83 a__isNat N M N a__x N s M a__U101 a__isNat M M N a__U71 tt N a__U72 a__isNatKind N N mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N mark N a__U84 tt M N a__plus mark N mark M mark s X mark X mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U51 X mark X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 mark X1 mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark U21 X1 X2 mark X1 mark U23 X mark X mark U72 X1 X2 a__U72 mark X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U11 X1 X2 X3 mark X1 mark U71 X1 X2 a__U71 mark X1 X2 a__plus N 0 a__U71 a__isNat N N a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__U83 tt M N a__U84 a__isNatKind N M N a__U102 tt M N a__U103 a__isNat N M N true a__U83 3 1 0 2 1 3 0 0 a__isNatKind 1 0 isNatKind 1 0 a__plus 2 1 0 2 1 0 U16 1 0 U21 2 1 0 2 0 0 a__U102 3 2 6264 3 6264 0 a__U82 3 1 2 2 1 3 2 0 a__U15 2 0 a__U72 2 1 1 2 2 0 a__U71 2 2 2 0 U11 3 1 1 2 0 3 1 0 a__U92 1 0 a__U104 3 1 6264 2 6264 3 6264 0 s 1 1 0 a__U31 3 0 a__U33 3 0 a__U33 3 0 a__U23 1 0 U42 1 0 U91 2 1 2 0 a__isNat 1 0 a__U82 3 1 0 2 1 3 0 0 a__U14 3 0 U71 2 2 0 0 a__U84 3 2 1 3 0 0 a__U62 1 0 U101 3 2 6264 3 6264 0 a__U13 3 0 U103 3 2 6264 3 6264 0 a__U103 3 2 6266 3 6266 0 U84 3 2 1 3 0 0 a__U51 1 0 U23 1 1 0 U35 2 0 a__x 2 1 6266 2 6266 0 a__U22 2 1 0 2 0 0 U72 2 1 0 2 0 0 a__U11 3 0 U34 3 0 a__U31 3 0 a__U51 1 1 0 a__U81 3 1 1 2 1 3 0 0 a__x 2 1 6264 2 6264 0 U12 3 2 0 3 1 0 a__U84 3 2 1 3 2 0 a__U62 1 0 a__U16 1 0 a__U42 1 0 a__U41 2 1 0 0 x 2 1 6264 2 6264 0 a__U12 3 0 U104 3 1 6264 2 6264 3 6264 0 a__U14 3 2 0 3 1 0 a__U21 2 0 a__U81 3 2 1 3 2 0 a__U61 2 0 a__U34 3 0 a__plus 2 1 2 2 1 0 U83 3 1 0 2 1 3 0 0 mark 1 1 2 0 0 2 a__U21 2 1 0 2 0 0 U36 1 0 a__U32 3 0 a__U91 2 1 2 0 a__U36 1 0 U62 1 0 a__U102 3 2 6266 3 6266 0 mark 1 1 0 a__U72 2 1 0 2 0 0 a__U101 3 2 6266 3 6266 0 a__U11 3 1 1 2 0 3 1 0 a__U36 1 0 U32 3 0 a__U42 1 0 U33 3 0 U14 3 2 0 3 1 0 a__U12 3 2 0 3 1 0 a__U104 3 2 6266 3 6266 0 isNat 1 1 0 a__U35 2 0 plus 2 1 0 2 1 0 U15 2 1 0 0 U61 2 1 0 0 a__U35 2 0 a__U22 2 0 a__U13 3 2 0 3 1 0 U31 3 0 a__U83 3 2 1 3 2 0 a__U71 2 2 0 0 U92 1 2 a__U92 1 2 a__U61 2 1 0 0 U102 3 2 6264 3 6264 0 U81 3 1 1 2 1 3 0 0 a__U41 2 0 a__U15 2 1 0 0 U82 3 1 0 2 1 3 0 0 a__U16 1 0 tt 0 0 a__isNat 1 1 0 U13 3 2 0 3 1 0 a__U23 1 1 0 a__isNatKind 1 0 U22 2 1 0 2 0 0 U51 1 1 0 a__U34 3 0 a__U103 3 2 6264 3 6264 0 U41 2 1 0 0 a__U32 3 0 a__U101 3 2 6264 3 6264 0 a__U91 2 0 a__U102 tt M N a__U103 a__isNat N M N a__U83 tt M N a__U84 a__isNatKind N M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__plus N s M a__U81 a__isNat M M N a__plus N 0 a__U71 a__isNat N N mark U71 X1 X2 a__U71 mark X1 X2 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U72 X1 X2 a__U72 mark X1 X2 mark U23 X mark X mark U21 X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark plus X1 X2 mark X1 mark U15 X1 X2 mark X1 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U51 X mark X mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark s X mark X a__U84 tt M N a__plus mark N mark M a__U84 tt M N mark N mark x X1 X2 a__x mark X1 mark X2 a__U71 tt N a__U72 a__isNatKind N N a__x N s M a__U101 a__isNat M M N a__U82 tt M N a__U83 a__isNat N M N a__U81 tt M N a__U82 a__isNatKind M M N mark U22 X1 X2 mark X1 a__U72 tt N mark N mark U41 X1 X2 mark X1 a__U103 tt M N a__U104 a__isNatKind N M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 mark U83 X1 X2 X3 mark X1 a__U101 tt M N a__U102 a__isNatKind M M N a__U104 tt M N a__plus a__x mark N mark M mark N a__U104 tt M N a__x mark N mark M mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U35 tt V2 a__U36 a__isNat V2 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U92 X a__U92 mark X a__U34 X1 X2 X3 U34 X1 X2 X3 a__U104 tt M N a__plus a__x mark N mark M mark N a__U33 X1 X2 X3 U33 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U42 tt tt a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 mark U41 X1 X2 a__U41 mark X1 X2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U23 X U23 X a__U72 tt N mark N a__U35 X1 X2 U35 X1 X2 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U36 tt tt a__U92 tt 0 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U84 X1 X2 X3 U84 X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 a__U81 tt M N a__U82 a__isNatKind M M N a__U103 X1 X2 X3 U103 X1 X2 X3 a__U101 X1 X2 X3 U101 X1 X2 X3 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U51 tt tt a__U82 tt M N a__U83 a__isNat N M N mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 a__x N s M a__U101 a__isNat M M N a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 mark U62 X a__U62 mark X a__isNat 0 tt mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U92 X U92 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U16 tt tt a__isNatKind s V1 a__U51 a__isNatKind V1 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__isNat X isNat X a__U41 tt V2 a__U42 a__isNatKind V2 a__U42 X U42 X a__U71 tt N a__U72 a__isNatKind N N mark isNat X a__isNat X mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N s a__plus mark N mark M mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__U36 X U36 X a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U62 X U62 X mark s X s mark X a__U104 X1 X2 X3 U104 X1 X2 X3 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 a__U91 tt N a__U92 a__isNatKind N a__U22 tt V1 a__U23 a__isNat V1 a__U31 X1 X2 X3 U31 X1 X2 X3 mark U42 X a__U42 mark X a__U15 X1 X2 U15 X1 X2 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U91 X1 X2 U91 X1 X2 mark tt tt a__U61 tt V2 a__U62 a__isNatKind V2 mark U51 X a__U51 mark X a__U62 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 a__U51 X U51 X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 a__U15 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U15 tt V2 a__U16 a__isNat V2 a__U23 tt tt mark plus X1 X2 a__plus mark X1 mark X2 a__U41 X1 X2 U41 X1 X2 a__plus X1 X2 plus X1 X2 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 mark U36 X a__U36 mark X mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U61 X1 X2 U61 X1 X2 mark U21 X1 X2 a__U21 mark X1 X2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 mark U23 X a__U23 mark X a__U72 X1 X2 U72 X1 X2 mark U16 X a__U16 mark X mark U72 X1 X2 a__U72 mark X1 X2 a__U71 X1 X2 U71 X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U61 X1 X2 a__U61 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U71 X1 X2 a__U71 mark X1 X2 a__x X1 X2 x X1 X2 a__U16 X U16 X a__U22 X1 X2 U22 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__isNatKind 0 tt a__plus N 0 a__U71 a__isNat N N a__U14 X1 X2 X3 U14 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U35 X1 X2 a__U35 mark X1 X2 mark 0 0 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U83 tt M N a__U84 a__isNatKind N M N a__x N 0 a__U91 a__isNat N N a__isNatKind X isNatKind X a__U102 tt M N a__U103 a__isNat N M N mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U104 tt M N a__x mark N mark M a__U104 tt M N a__plus a__x mark N mark M mark N a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 mark X1 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N mark U41 X1 X2 mark X1 a__U72 tt N mark N mark U22 X1 X2 mark X1 a__U81 tt M N a__U82 a__isNatKind M M N a__U82 tt M N a__U83 a__isNat N M N a__x N s M a__U101 a__isNat M M N a__U71 tt N a__U72 a__isNatKind N N mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N mark N a__U84 tt M N a__plus mark N mark M mark s X mark X mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U51 X mark X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 mark X1 mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark U21 X1 X2 mark X1 mark U23 X mark X mark U72 X1 X2 a__U72 mark X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U71 X1 X2 a__U71 mark X1 X2 a__plus N 0 a__U71 a__isNat N N a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__U83 tt M N a__U84 a__isNatKind N M N a__U102 tt M N a__U103 a__isNat N M N true a__U83 3 1 1 2 34850 3 0 0 a__isNatKind 1 0 isNatKind 1 1 a__plus 2 1 0 2 34850 0 U16 1 1 U21 2 1 34848 0 a__U102 3 1 46323 2 81173 3 46322 0 a__U82 3 3 95745 0 a__U15 2 0 a__U72 2 1 63660 2 95745 0 a__U71 2 2 95745 0 U11 3 1 34848 0 a__U92 1 0 a__U104 3 1 13213 2 81173 3 46322 0 s 1 1 0 a__U31 3 0 a__U33 3 0 a__U33 3 1 34848 0 a__U23 1 0 U42 1 1 U91 2 1 28371 0 a__isNat 1 0 a__U82 3 1 20841 2 34850 3 0 0 a__U14 3 0 U71 2 1 1 2 0 0 a__U84 3 1 17451 2 34850 3 0 0 a__U62 1 1 U101 3 1 46324 2 81173 3 46322 0 a__U13 3 0 U103 3 1 11476 2 81173 3 46322 0 a__U103 3 2 176918 3 142067 0 U84 3 1 17451 2 34850 3 0 0 a__U51 1 0 U23 1 1 0 U35 2 1 0 0 a__x 2 1 142067 2 176918 0 a__U22 2 1 34848 0 U72 2 1 1 2 0 0 a__U11 3 0 U34 3 1 34848 0 a__U31 3 1 34848 0 a__U51 1 1 0 a__U81 3 2 34850 3 0 0 a__x 2 1 46322 2 81173 0 U12 3 1 34848 0 a__U84 3 1 95744 3 95745 0 a__U62 1 0 a__U16 1 1 a__U42 1 0 a__U41 2 1 0 0 x 2 1 46322 2 81173 0 a__U12 3 0 U104 3 1 13213 2 81173 3 46322 0 a__U14 3 1 34848 0 a__U21 2 0 a__U81 3 3 95745 0 a__U61 2 0 a__U34 3 1 34848 0 a__plus 2 1 95745 0 U83 3 1 1 2 34850 3 0 0 mark 1 1 95745 0 0 9205 a__U21 2 1 34848 0 U36 1 1 a__U32 3 1 34848 0 a__U91 2 1 28371 0 a__U36 1 1 U62 1 1 a__U102 3 2 176918 3 142067 0 mark 1 1 0 a__U72 2 1 1 2 0 0 a__U101 3 1 142068 2 176918 3 142067 0 a__U11 3 1 34848 0 a__U36 1 0 U32 3 1 34848 0 a__U42 1 1 U33 3 1 34848 0 U14 3 1 34848 0 a__U12 3 1 34848 0 a__U104 3 2 176918 3 142067 0 isNat 1 34849 a__U35 2 1 0 0 plus 2 1 0 2 34850 0 U15 2 1 0 0 U61 2 1 0 0 a__U35 2 0 a__U22 2 0 a__U13 3 1 34848 0 U31 3 1 34848 0 a__U83 3 3 95745 0 a__U71 2 1 1 2 0 0 U92 1 9205 a__U92 1 9205 a__U61 2 1 0 0 U102 3 1 46323 2 81173 3 46322 0 U81 3 2 34850 3 0 0 a__U41 2 0 a__U15 2 1 0 0 U82 3 1 20841 2 34850 3 0 0 a__U16 1 0 tt 0 1 a__isNat 1 34849 U13 3 1 34848 0 a__U23 1 1 0 a__isNatKind 1 1 U22 2 1 34848 0 U51 1 1 0 a__U34 3 0 a__U103 3 1 11476 2 81173 3 46322 0 U41 2 1 0 0 a__U32 3 0 a__U101 3 1 46324 2 81173 3 46322 0 a__U91 2 0 a__U102 tt M N a__U103 a__isNat N M N a__U83 tt M N a__U84 a__isNatKind N M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__plus N s M a__U81 a__isNat M M N a__plus N 0 a__U71 a__isNat N N mark U71 X1 X2 a__U71 mark X1 X2 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U72 X1 X2 a__U72 mark X1 X2 mark U23 X mark X mark plus X1 X2 a__plus mark X1 mark X2 mark plus X1 X2 mark X1 mark U15 X1 X2 mark X1 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U51 X mark X mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark s X mark X a__U84 tt M N a__plus mark N mark M a__U84 tt M N mark N mark x X1 X2 a__x mark X1 mark X2 a__U71 tt N a__U72 a__isNatKind N N a__x N s M a__U101 a__isNat M M N a__U82 tt M N a__U83 a__isNat N M N a__U81 tt M N a__U82 a__isNatKind M M N a__U72 tt N mark N mark U41 X1 X2 mark X1 a__U103 tt M N a__U104 a__isNatKind N M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U101 tt M N a__U102 a__isNatKind M M N a__U104 tt M N a__plus a__x mark N mark M mark N a__U104 tt M N a__x mark N mark M mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U35 tt V2 a__U36 a__isNat V2 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U92 X a__U92 mark X a__U34 X1 X2 X3 U34 X1 X2 X3 a__U104 tt M N a__plus a__x mark N mark M mark N a__U33 X1 X2 X3 U33 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U42 tt tt a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 mark U41 X1 X2 a__U41 mark X1 X2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U23 X U23 X a__U72 tt N mark N a__U35 X1 X2 U35 X1 X2 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U36 tt tt a__U92 tt 0 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U84 X1 X2 X3 U84 X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 a__U81 tt M N a__U82 a__isNatKind M M N a__U103 X1 X2 X3 U103 X1 X2 X3 a__U101 X1 X2 X3 U101 X1 X2 X3 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U51 tt tt a__U82 tt M N a__U83 a__isNat N M N mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 a__x N s M a__U101 a__isNat M M N a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 mark U62 X a__U62 mark X a__isNat 0 tt mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U92 X U92 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U16 tt tt a__isNatKind s V1 a__U51 a__isNatKind V1 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__isNat X isNat X a__U41 tt V2 a__U42 a__isNatKind V2 a__U42 X U42 X a__U71 tt N a__U72 a__isNatKind N N mark isNat X a__isNat X mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N s a__plus mark N mark M mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__U36 X U36 X a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U62 X U62 X mark s X s mark X a__U104 X1 X2 X3 U104 X1 X2 X3 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 a__U91 tt N a__U92 a__isNatKind N a__U22 tt V1 a__U23 a__isNat V1 a__U31 X1 X2 X3 U31 X1 X2 X3 mark U42 X a__U42 mark X a__U15 X1 X2 U15 X1 X2 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U91 X1 X2 U91 X1 X2 mark tt tt a__U61 tt V2 a__U62 a__isNatKind V2 mark U51 X a__U51 mark X a__U62 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 a__U51 X U51 X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 a__U15 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U15 tt V2 a__U16 a__isNat V2 a__U23 tt tt mark plus X1 X2 a__plus mark X1 mark X2 a__U41 X1 X2 U41 X1 X2 a__plus X1 X2 plus X1 X2 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 mark U36 X a__U36 mark X mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U61 X1 X2 U61 X1 X2 mark U21 X1 X2 a__U21 mark X1 X2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 mark U23 X a__U23 mark X a__U72 X1 X2 U72 X1 X2 mark U16 X a__U16 mark X mark U72 X1 X2 a__U72 mark X1 X2 a__U71 X1 X2 U71 X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U61 X1 X2 a__U61 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U71 X1 X2 a__U71 mark X1 X2 a__x X1 X2 x X1 X2 a__U16 X U16 X a__U22 X1 X2 U22 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__isNatKind 0 tt a__plus N 0 a__U71 a__isNat N N a__U14 X1 X2 X3 U14 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U35 X1 X2 a__U35 mark X1 X2 mark 0 0 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U83 tt M N a__U84 a__isNatKind N M N a__x N 0 a__U91 a__isNat N N a__isNatKind X isNatKind X a__U102 tt M N a__U103 a__isNat N M N mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 a__U104 tt M N a__x mark N mark M a__U104 tt M N a__plus a__x mark N mark M mark N a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N mark U41 X1 X2 mark X1 a__U72 tt N mark N a__U81 tt M N a__U82 a__isNatKind M M N a__U82 tt M N a__U83 a__isNat N M N a__x N s M a__U101 a__isNat M M N a__U71 tt N a__U72 a__isNatKind N N mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N mark N a__U84 tt M N a__plus mark N mark M mark s X mark X mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U51 X mark X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 mark X1 mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark U23 X mark X mark U72 X1 X2 a__U72 mark X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U71 X1 X2 a__U71 mark X1 X2 a__plus N 0 a__U71 a__isNat N N a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__U83 tt M N a__U84 a__isNatKind N M N a__U102 tt M N a__U103 a__isNat N M N true U16 1 1 a__U82 3 3 a__U15 2 2 a__U72 2 2 a__U71 2 2 a__U92 1 1 a__U23 1 1 a__isNat 1 1 a__U14 3 2 a__U62 1 1 U23 1 1 a__U22 2 1 U34 3 1 a__U31 3 1 a__U51 1 1 a__U84 3 3 a__U16 1 1 a__U41 2 1 a__U12 3 2 a__U14 3 1 a__U81 3 3 a__U34 3 1 a__plus 2 1 mark 1 1 U62 1 1 mark 1 1 a__U36 1 1 U14 3 1 U15 2 1 U61 2 1 a__U35 2 1 a__U22 2 2 a__U13 3 1 U31 3 1 a__U83 3 3 a__U61 2 1 a__U15 2 1 U13 3 1 a__U23 1 1 U22 2 1 U51 1 1 a__U34 3 3 U41 2 1 a__U32 3 1 a__U83 3 3 2 3 1 a__isNatKind 1 0 isNatKind 1 2 a__plus 2 3 2 1 U21 2 2 a__U102 3 6 3 2 1 U11 3 2 a__U104 3 6 3 2 1 s 1 2 1 a__U31 3 0 2 3 1 a__U33 3 0 3 1 2 a__U33 3 2 U42 1 2 U91 2 5 a__U82 3 3 2 3 1 U71 2 3 1 2 a__U84 3 3 2 3 1 U101 3 6 3 2 1 a__U13 3 0 2 3 1 U103 3 6 3 2 1 a__U103 3 6 3 2 1 U84 3 3 2 3 1 a__U51 1 0 U35 2 2 a__x 2 6 1 2 U72 2 0 2 a__U11 3 0 a__U81 3 3 2 3 1 a__x 2 6 1 2 U12 3 2 a__U62 1 0 a__U42 1 0 x 2 6 1 2 U104 3 6 3 2 1 a__U21 2 0 1 2 a__U61 2 0 2 1 U83 3 3 2 3 1 0 0 5 a__U21 2 2 U36 1 2 a__U32 3 2 a__U91 2 5 a__U36 1 2 a__U102 3 6 3 2 1 a__U72 2 0 2 a__U101 3 6 3 2 1 a__U11 3 2 U32 3 2 a__U42 1 2 U33 3 2 a__U12 3 2 a__U104 3 6 3 2 isNat 1 2 a__U35 2 2 plus 2 3 2 1 a__U71 2 3 1 2 U92 1 5 a__U92 1 5 U102 3 6 3 2 1 U81 3 3 2 3 1 a__U41 2 0 2 1 U82 3 3 2 3 1 a__U16 1 0 tt 0 2 a__isNat 1 2 a__isNatKind 1 2 a__U103 3 6 3 2 1 a__U101 3 6 3 2 1 a__U91 2 0 1 2 a__U83 3 1 0 2 0 3 0 0 a__isNatKind 1 0 isNatKind 1 0 a__plus 2 1 0 2 0 0 U21 2 0 a__U102 3 1 0 2 0 3 0 0 U11 3 0 a__U104 3 1 0 2 0 3 0 0 s 1 1 0 a__U31 3 1 0 2 0 3 0 0 a__U33 3 1 0 2 0 3 0 0 a__U33 3 0 U42 1 0 U91 2 0 a__U82 3 1 0 2 0 3 0 0 U71 2 1 0 2 0 0 a__U84 3 1 0 2 0 3 0 0 U101 3 1 0 2 0 3 0 0 a__U13 3 1 0 2 0 3 0 0 U103 3 1 0 2 0 3 0 0 a__U103 3 1 0 2 0 3 0 0 U84 3 1 0 2 0 3 0 0 a__U51 1 0 U35 2 0 a__x 2 1 0 2 0 0 U72 2 2 0 0 a__U11 3 0 a__U81 3 1 0 2 0 3 0 0 a__x 2 1 0 2 0 0 U12 3 0 a__U62 1 0 a__U42 1 0 x 2 1 0 2 0 0 U104 3 1 0 2 0 3 0 0 a__U21 2 1 0 2 0 0 a__U61 2 1 0 2 0 0 U83 3 1 0 2 0 3 0 0 0 0 0 a__U21 2 0 U36 1 0 a__U32 3 0 a__U91 2 0 a__U36 1 0 a__U102 3 1 0 2 0 3 0 0 a__U72 2 2 0 0 a__U101 3 1 0 2 0 3 0 0 a__U11 3 0 U32 3 0 a__U42 1 0 U33 3 0 a__U12 3 0 a__U104 3 2 0 3 0 0 isNat 1 0 a__U35 2 0 plus 2 1 0 2 0 0 a__U71 2 1 0 2 0 0 U92 1 0 a__U92 1 0 U102 3 1 0 2 0 3 0 0 U81 3 1 0 2 0 3 0 0 a__U41 2 1 0 2 0 0 U82 3 1 0 2 0 3 0 0 a__U16 1 0 tt 0 0 a__isNat 1 0 a__isNatKind 1 0 a__U103 3 1 0 2 0 3 0 0 a__U101 3 1 0 2 0 3 0 0 a__U91 2 1 0 2 0 0 a__U102 tt M N a__U103 a__isNat N M N a__U83 tt M N a__U84 a__isNatKind N M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 a__plus N s M a__U81 a__isNat M M N a__plus N 0 a__U71 a__isNat N N mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U23 X mark X mark U15 X1 X2 mark X1 mark U51 X mark X mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 a__U84 tt M N a__plus mark N mark M a__U84 tt M N mark N mark x X1 X2 a__x mark X1 mark X2 a__U71 tt N a__U72 a__isNatKind N N a__U82 tt M N a__U83 a__isNat N M N a__U81 tt M N a__U82 a__isNatKind M M N a__U72 tt N mark N mark U41 X1 X2 mark X1 a__U101 tt M N a__U102 a__isNatKind M M N a__U104 tt M N a__plus a__x mark N mark M mark N a__U104 tt M N a__x mark N mark M a__U35 tt V2 a__U36 a__isNat V2 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U92 X a__U92 mark X a__U34 X1 X2 X3 U34 X1 X2 X3 a__U104 tt M N a__plus a__x mark N mark M mark N a__U33 X1 X2 X3 U33 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U42 tt tt a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 mark U41 X1 X2 a__U41 mark X1 X2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U23 X U23 X a__U72 tt N mark N a__U35 X1 X2 U35 X1 X2 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U36 tt tt a__U92 tt 0 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U84 X1 X2 X3 U84 X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 a__U81 tt M N a__U82 a__isNatKind M M N a__U103 X1 X2 X3 U103 X1 X2 X3 a__U101 X1 X2 X3 U101 X1 X2 X3 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U51 tt tt a__U82 tt M N a__U83 a__isNat N M N mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 a__x N s M a__U101 a__isNat M M N a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 mark U62 X a__U62 mark X a__isNat 0 tt mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U92 X U92 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U16 tt tt a__isNatKind s V1 a__U51 a__isNatKind V1 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__isNat X isNat X a__U41 tt V2 a__U42 a__isNatKind V2 a__U42 X U42 X a__U71 tt N a__U72 a__isNatKind N N mark isNat X a__isNat X mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N s a__plus mark N mark M mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__U36 X U36 X a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U62 X U62 X mark s X s mark X a__U104 X1 X2 X3 U104 X1 X2 X3 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 a__U91 tt N a__U92 a__isNatKind N a__U22 tt V1 a__U23 a__isNat V1 a__U31 X1 X2 X3 U31 X1 X2 X3 mark U42 X a__U42 mark X a__U15 X1 X2 U15 X1 X2 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U91 X1 X2 U91 X1 X2 mark tt tt a__U61 tt V2 a__U62 a__isNatKind V2 mark U51 X a__U51 mark X a__U62 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 a__U51 X U51 X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 a__U15 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U15 tt V2 a__U16 a__isNat V2 a__U23 tt tt mark plus X1 X2 a__plus mark X1 mark X2 a__U41 X1 X2 U41 X1 X2 a__plus X1 X2 plus X1 X2 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 mark U36 X a__U36 mark X mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U61 X1 X2 U61 X1 X2 mark U21 X1 X2 a__U21 mark X1 X2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 mark U23 X a__U23 mark X a__U72 X1 X2 U72 X1 X2 mark U16 X a__U16 mark X mark U72 X1 X2 a__U72 mark X1 X2 a__U71 X1 X2 U71 X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U61 X1 X2 a__U61 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U71 X1 X2 a__U71 mark X1 X2 a__x X1 X2 x X1 X2 a__U16 X U16 X a__U22 X1 X2 U22 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__isNatKind 0 tt a__plus N 0 a__U71 a__isNat N N a__U14 X1 X2 X3 U14 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U35 X1 X2 a__U35 mark X1 X2 mark 0 0 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U83 tt M N a__U84 a__isNatKind N M N a__x N 0 a__U91 a__isNat N N a__isNatKind X isNatKind X a__U102 tt M N a__U103 a__isNat N M N a__U104 tt M N a__x mark N mark M false a__U104 tt M N a__plus a__x mark N mark M mark N false a__U81 tt M N a__U82 a__isNatKind M M N a__U82 tt M N a__U83 a__isNat N M N a__U84 tt M N a__plus mark N mark M a__plus N s M a__U81 a__isNat M M N a__U83 tt M N a__U84 a__isNatKind N M N true U21 2 1 a__U15 2 2 a__U92 1 1 a__U23 1 1 U42 1 1 a__isNat 1 1 a__U14 3 2 U71 2 2 a__U62 1 1 a__U103 3 2 U23 1 1 a__x 2 2 a__U22 2 1 U72 2 2 U34 3 1 a__U31 3 1 a__U51 1 1 U12 3 1 a__U34 3 1 a__plus 2 2 a__U21 2 1 U36 1 1 a__U32 3 1 a__U36 1 1 U62 1 1 mark 1 1 a__U72 2 2 a__U36 1 1 U32 3 1 a__U42 1 1 a__U12 3 1 U61 2 1 U31 3 1 a__U71 2 2 U92 1 1 a__U92 1 1 a__U61 2 1 a__U23 1 1 U22 2 1 U51 1 1 a__U34 3 3 a__U32 3 1 a__U83 3 7 3 2 1 a__isNatKind 1 0 isNatKind 1 2 a__plus 2 7 1 2 U16 1 2 a__U102 3 8 2 3 1 a__U82 3 4 2 1 a__U72 2 11 a__U71 2 6 U11 3 2 a__U104 3 8 2 3 1 s 1 6 1 a__U31 3 0 2 3 1 a__U33 3 0 3 1 2 a__U33 3 2 U91 2 2 a__U82 3 7 3 2 1 a__U84 3 7 3 2 1 U101 3 8 2 3 1 a__U13 3 0 2 3 1 U103 3 8 2 3 1 U84 3 7 3 2 1 a__U51 1 0 U35 2 2 a__U11 3 0 a__U81 3 7 3 2 1 a__x 2 8 2 1 a__U84 3 3 2 a__U62 1 0 a__U16 1 2 a__U42 1 0 a__U41 2 2 x 2 8 2 1 a__U12 3 0 1 U104 3 8 2 3 1 a__U14 3 2 a__U21 2 0 1 2 a__U81 3 5 2 a__U61 2 0 2 1 U83 3 7 3 2 1 mark 1 11 0 0 2 a__U91 2 2 a__U102 3 6 1 a__U101 3 6 3 a__U11 3 2 U33 3 2 U14 3 2 a__U104 3 6 1 isNat 1 2 a__U35 2 2 plus 2 7 1 2 U15 2 2 a__U35 2 0 2 a__U22 2 0 2 1 a__U13 3 2 a__U83 3 4 2 U102 3 8 2 3 1 U81 3 7 3 2 1 a__U41 2 0 2 1 a__U15 2 2 U82 3 7 3 2 1 a__U16 1 0 tt 0 2 a__isNat 1 2 U13 3 2 a__isNatKind 1 2 a__U103 3 8 2 3 1 U41 2 2 a__U101 3 8 2 3 1 a__U91 2 0 1 2 a__U83 3 1 0 2 0 3 0 0 a__isNatKind 1 0 isNatKind 1 0 a__plus 2 1 0 2 0 0 U16 1 0 a__U102 3 1 0 2 0 3 0 0 a__U82 3 1 0 2 0 0 a__U72 2 0 a__U71 2 0 U11 3 0 a__U104 3 1 0 2 0 3 0 0 s 1 1 0 a__U31 3 1 0 2 0 3 0 0 a__U33 3 1 0 2 0 3 0 0 a__U33 3 0 U91 2 0 a__U82 3 1 0 2 0 3 0 0 a__U84 3 1 0 2 0 3 0 0 U101 3 1 0 2 0 3 0 0 a__U13 3 1 0 2 0 3 0 0 U103 3 1 0 2 0 3 0 0 U84 3 1 0 2 0 3 0 0 a__U51 1 0 U35 2 0 a__U11 3 0 a__U81 3 1 0 2 0 3 0 0 a__x 2 1 0 2 0 0 a__U84 3 2 0 0 a__U62 1 0 a__U16 1 0 a__U42 1 0 a__U41 2 0 x 2 1 0 2 0 0 a__U12 3 1 0 0 U104 3 1 0 2 0 3 0 0 a__U14 3 0 a__U21 2 1 0 2 0 0 a__U81 3 2 0 0 a__U61 2 1 0 2 0 0 U83 3 1 0 2 0 3 0 0 mark 1 0 0 0 0 a__U91 2 0 a__U102 3 1 0 0 a__U101 3 3 0 0 a__U11 3 0 U33 3 0 U14 3 0 a__U104 3 1 0 0 isNat 1 0 a__U35 2 0 plus 2 1 0 2 0 0 U15 2 0 a__U35 2 2 0 0 a__U22 2 1 0 2 0 0 a__U13 3 0 a__U83 3 2 0 0 U102 3 1 0 2 0 3 0 0 U81 3 1 0 2 0 3 0 0 a__U41 2 1 0 2 0 0 a__U15 2 0 U82 3 1 0 2 0 3 0 0 a__U16 1 0 tt 0 0 a__isNat 1 0 U13 3 0 a__isNatKind 1 0 a__U103 3 1 0 2 0 3 0 0 U41 2 0 a__U101 3 1 0 2 0 3 0 0 a__U91 2 1 0 2 0 0 a__U35 tt V2 a__U36 a__isNat V2 mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U92 X a__U92 mark X a__U34 X1 X2 X3 U34 X1 X2 X3 a__U104 tt M N a__plus a__x mark N mark M mark N a__U33 X1 X2 X3 U33 X1 X2 X3 a__U32 X1 X2 X3 U32 X1 X2 X3 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U101 tt M N a__U102 a__isNatKind M M N mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U103 tt M N a__U104 a__isNatKind N M N a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__U42 tt tt a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 mark U41 X1 X2 a__U41 mark X1 X2 a__U102 X1 X2 X3 U102 X1 X2 X3 a__U23 X U23 X a__U72 tt N mark N a__U35 X1 X2 U35 X1 X2 mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 a__U36 tt tt a__U92 tt 0 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U84 X1 X2 X3 U84 X1 X2 X3 mark U22 X1 X2 a__U22 mark X1 X2 a__U81 tt M N a__U82 a__isNatKind M M N a__U103 X1 X2 X3 U103 X1 X2 X3 a__U101 X1 X2 X3 U101 X1 X2 X3 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U51 tt tt a__U82 tt M N a__U83 a__isNat N M N mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 a__x N s M a__U101 a__isNat M M N a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 mark U62 X a__U62 mark X a__isNat 0 tt mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U92 X U92 X a__U11 X1 X2 X3 U11 X1 X2 X3 a__U16 tt tt a__isNatKind s V1 a__U51 a__isNatKind V1 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__isNat X isNat X a__U41 tt V2 a__U42 a__isNatKind V2 a__U42 X U42 X a__U71 tt N a__U72 a__isNatKind N N mark isNat X a__isNat X mark x X1 X2 a__x mark X1 mark X2 a__U84 tt M N s a__plus mark N mark M mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 a__U36 X U36 X a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U62 X U62 X mark s X s mark X a__U104 X1 X2 X3 U104 X1 X2 X3 mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 mark U91 X1 X2 a__U91 mark X1 X2 a__U91 tt N a__U92 a__isNatKind N a__U22 tt V1 a__U23 a__isNat V1 a__U31 X1 X2 X3 U31 X1 X2 X3 mark U42 X a__U42 mark X a__U15 X1 X2 U15 X1 X2 mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U91 X1 X2 U91 X1 X2 mark tt tt a__U61 tt V2 a__U62 a__isNatKind V2 mark U51 X a__U51 mark X a__U62 tt tt a__U13 X1 X2 X3 U13 X1 X2 X3 a__U51 X U51 X mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U15 X1 X2 a__U15 mark X1 X2 a__U21 X1 X2 U21 X1 X2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U15 tt V2 a__U16 a__isNat V2 a__U23 tt tt mark plus X1 X2 a__plus mark X1 mark X2 a__U41 X1 X2 U41 X1 X2 a__plus X1 X2 plus X1 X2 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 mark U36 X a__U36 mark X mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 a__U61 X1 X2 U61 X1 X2 mark U21 X1 X2 a__U21 mark X1 X2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 mark U23 X a__U23 mark X a__U72 X1 X2 U72 X1 X2 mark U16 X a__U16 mark X mark U72 X1 X2 a__U72 mark X1 X2 a__U71 X1 X2 U71 X1 X2 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark U61 X1 X2 a__U61 mark X1 X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U71 X1 X2 a__U71 mark X1 X2 a__x X1 X2 x X1 X2 a__U16 X U16 X a__U22 X1 X2 U22 X1 X2 a__U81 X1 X2 X3 U81 X1 X2 X3 a__isNatKind 0 tt a__plus N 0 a__U71 a__isNat N N a__U14 X1 X2 X3 U14 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__plus N s M a__U81 a__isNat M M N mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark U35 X1 X2 a__U35 mark X1 X2 mark 0 0 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U83 tt M N a__U84 a__isNatKind N M N a__x N 0 a__U91 a__isNat N N a__isNatKind X isNatKind X a__U102 tt M N a__U103 a__isNat N M N a__plus N 0 a__U71 a__isNat N N false a__U71 tt N a__U72 a__isNatKind N N false a__U72 tt N mark N false a__U84 tt M N mark N false mark U41 X1 X2 mark X1 mark U51 X mark X mark U15 X1 X2 mark X1 mark U23 X mark X true a__U83 3 5 a__isNatKind 1 0 isNatKind 1 1 4 a__plus 2 2 U16 1 9 U21 2 4 a__U102 3 3 4 a__U82 3 0 a__U15 2 0 a__U72 2 0 a__U71 2 0 U11 3 3 4 a__U92 1 0 a__U104 3 6 s 1 7 a__U31 3 0 a__U33 3 0 a__U33 3 3 11 a__U23 1 0 U42 1 9 U91 2 2 a__isNat 1 0 a__U82 3 4 a__U14 3 0 U71 2 1 2 4 a__U84 3 2 6 a__U62 1 1 2 U101 3 2 4 a__U13 3 0 U103 3 6 a__U103 3 0 U84 3 7 a__U51 1 0 U23 1 1 14 U35 2 8 a__x 2 0 a__U22 2 1 2 3 U72 2 1 5 a__U11 3 0 U34 3 1 7 a__U31 3 3 a__U51 1 4 a__U81 3 3 a__x 2 2 U12 3 1 3 5 a__U84 3 1 a__U62 1 0 a__U16 1 8 a__U42 1 0 a__U41 2 1 1 x 2 1 3 a__U12 3 0 U104 3 2 3 7 a__U14 3 3 6 a__U21 2 0 a__U81 3 0 a__U61 2 0 a__U34 3 2 6 a__plus 2 1 U83 3 1 2 3 6 mark 1 1 0 0 0 12 a__U21 2 2 3 U36 1 9 a__U32 3 1 1 a__U91 2 1 1 a__U36 1 8 U62 1 3 a__U102 3 0 mark 1 1 a__U72 2 4 a__U101 3 0 a__U11 3 3 a__U36 1 0 U32 3 2 2 a__U42 1 1 8 U33 3 1 2 12 U14 3 2 7 a__U12 3 4 a__U104 3 0 isNat 1 1 3 a__U35 2 7 plus 2 3 U15 2 1 8 U61 2 1 5 a__U35 2 0 a__U22 2 0 a__U13 3 2 5 U31 3 2 4 a__U83 3 0 a__U71 2 3 U92 1 1 12 a__U92 1 11 a__U61 2 4 U102 3 2 5 U81 3 4 a__U41 2 0 a__U15 2 2 7 U82 3 1 3 5 a__U16 1 0 tt 0 9 a__isNat 1 2 U13 3 6 a__U23 1 13 a__isNatKind 1 3 U22 2 4 U51 1 1 5 a__U34 3 0 a__U103 3 3 5 U41 2 1 2 2 a__U32 3 0 a__U101 3 3 a__U91 2 0 mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 false mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 false mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 false a__U101 tt M N a__U102 a__isNatKind M M N false mark x X1 X2 a__x mark X1 mark X2 false a__U102 tt M N a__U103 a__isNat N M N false a__x N 0 a__U91 a__isNat N N false a__x N 0 a__isNat N false a__plus N s M a__isNat M false mark U35 X1 X2 a__U35 mark X1 X2 false mark isNatKind X a__isNatKind X false mark U61 X1 X2 a__U61 mark X1 X2 false a__U81 tt M N a__isNatKind M false mark U16 X a__U16 mark X false mark U23 X a__U23 mark X false mark U21 X1 X2 a__U21 mark X1 X2 false mark U13 X1 X2 X3 a__U13 mark X1 X2 X3 false mark U36 X a__U36 mark X false a__U71 tt N a__isNatKind N false a__plus N 0 a__isNat N false mark U15 X1 X2 a__U15 mark X1 X2 false a__U82 tt M N a__isNat N false mark U51 X a__U51 mark X false mark U42 X a__U42 mark X false mark U91 X1 X2 a__U91 mark X1 X2 false a__U91 tt N a__U92 a__isNatKind N false a__U91 tt N a__isNatKind N false mark U14 X1 X2 X3 a__U14 mark X1 X2 X3 false mark U31 X1 X2 X3 a__U31 mark X1 X2 X3 false a__U103 tt M N a__isNatKind N false a__U101 tt M N a__isNatKind M false a__x N s M a__isNat M false mark isNat X a__isNat X false mark U33 X1 X2 X3 a__U33 mark X1 X2 X3 false mark U62 X a__U62 mark X false mark U34 X1 X2 X3 a__U34 mark X1 X2 X3 false mark U22 X1 X2 a__U22 mark X1 X2 false mark U32 X1 X2 X3 a__U32 mark X1 X2 X3 false mark U41 X1 X2 a__U41 mark X1 X2 false a__U83 tt M N a__isNatKind N false mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 false mark U92 X a__U92 mark X false a__U102 tt M N a__isNat N false mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 false a__U15 tt V2 a__isNat V2 a__U14 tt V1 V2 a__isNat V1 a__U32 tt V1 V2 a__U33 a__isNatKind V2 V1 V2 a__U31 tt V1 V2 a__U32 a__isNatKind V1 V1 V2 a__U12 tt V1 V2 a__U13 a__isNatKind V2 V1 V2 a__U22 tt V1 a__isNat V1 a__U33 tt V1 V2 a__U34 a__isNatKind V2 V1 V2 a__isNat plus V1 V2 a__U11 a__isNatKind V1 V1 V2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U35 tt V2 a__isNat V2 a__U14 tt V1 V2 a__U15 a__isNat V1 V2 a__U34 tt V1 V2 a__U35 a__isNat V1 V2 a__U13 tt V1 V2 a__U14 a__isNatKind V2 V1 V2 a__isNat x V1 V2 a__U31 a__isNatKind V1 V1 V2 a__U34 tt V1 V2 a__isNat V1 a__U11 tt V1 V2 a__U12 a__isNatKind V1 V1 V2 a__isNat s V1 a__U21 a__isNatKind V1 V1 true a__U83 3 6 a__isNatKind 1 0 isNatKind 1 1 3 a__plus 2 3 U16 1 9 U21 2 4 a__U102 3 3 4 a__U82 3 0 a__U15 2 2 1 a__U72 2 0 a__U71 2 0 U11 3 3 4 a__U92 1 0 a__U104 3 6 s 1 1 5 a__U31 3 2 3 5 a__U33 3 2 3 3 a__U33 3 3 12 a__U23 1 0 U42 1 10 U91 2 2 a__isNat 1 1 0 a__U82 3 5 a__U14 3 2 3 2 U71 2 1 2 5 a__U84 3 2 7 a__U62 1 1 2 U101 3 2 4 a__U13 3 2 3 3 U103 3 6 a__U103 3 0 U84 3 8 a__U51 1 0 U23 1 1 14 U35 2 4 a__x 2 0 a__U22 2 1 2 3 U72 2 1 6 a__U11 3 2 3 14734 U34 3 1 3 a__U31 3 3 a__U51 1 4 a__U81 3 4 a__x 2 2 U12 3 1 3 5 a__U84 3 1 a__U62 1 0 a__U16 1 8 a__U42 1 0 a__U41 2 1 1 x 2 1 2 6 a__U12 3 2 3 14733 U104 3 2 3 7 a__U14 3 3 6 a__U21 2 2 2 a__U81 3 0 a__U61 2 0 a__U34 3 2 2 a__plus 2 1 U83 3 1 2 3 7 mark 1 0 0 0 12 a__U21 2 2 3 U36 1 5 a__U32 3 1 2 a__U91 2 1 1 a__U36 1 4 U62 1 3 a__U102 3 0 mark 1 1 a__U72 2 5 a__U101 3 0 a__U11 3 3 a__U36 1 0 U32 3 2 3 a__U42 1 1 9 U33 3 1 2 13 U14 3 2 7 a__U12 3 4 a__U104 3 0 isNat 1 1 3 a__U35 2 3 plus 2 1 2 14735 U15 2 1 8 U61 2 1 4 a__U35 2 2 1 a__U22 2 2 1 a__U13 3 2 5 U31 3 2 4 a__U83 3 0 a__U71 2 4 U92 1 1 12 a__U92 1 11 a__U61 2 3 U102 3 2 5 U81 3 5 a__U41 2 0 a__U15 2 2 7 U82 3 1 3 6 a__U16 1 0 tt 0 9 a__isNat 1 2 U13 3 6 a__U23 1 13 a__isNatKind 1 2 U22 2 4 U51 1 1 5 a__U34 3 2 3 2 a__U103 3 3 5 U41 2 1 2 2 a__U32 3 2 3 4 a__U101 3 3 a__U91 2 0 a__U15 tt V2 a__U16 a__isNat V2 false a__U35 tt V2 a__U36 a__isNat V2 false a__U22 tt V1 a__U23 a__isNat V1 false a__U21 tt V1 a__isNatKind V1 false a__isNat s V1 a__isNatKind V1 false a__isNat plus V1 V2 a__isNatKind V1 false a__U33 tt V1 V2 a__isNatKind V2 false a__U32 tt V1 V2 a__isNatKind V2 false a__U31 tt V1 V2 a__isNatKind V1 false a__isNat x V1 V2 a__isNatKind V1 false a__U13 tt V1 V2 a__isNatKind V2 false a__U12 tt V1 V2 a__isNatKind V2 false a__U11 tt V1 V2 a__isNatKind V1 false a__isNatKind x V1 V2 a__isNatKind V1 a__isNatKind s V1 a__isNatKind V1 a__U41 tt V2 a__isNatKind V2 a__U61 tt V2 a__isNatKind V2 a__isNatKind plus V1 V2 a__U41 a__isNatKind V1 V2 a__isNatKind x V1 V2 a__U61 a__isNatKind V1 V2 a__isNatKind plus V1 V2 a__isNatKind V1 true a__U83 3 5 a__isNatKind 1 1 0 isNatKind 1 1 3 a__plus 2 2 U16 1 9 U21 2 4 a__U102 3 3 4 a__U82 3 0 a__U15 2 1 a__U72 2 0 a__U71 2 0 U11 3 3 4 a__U92 1 0 a__U104 3 6 s 1 1 5 a__U31 3 5 a__U33 3 3 a__U33 3 3 12 a__U23 1 0 U42 1 10 U91 2 2 a__isNat 1 0 a__U82 3 4 a__U14 3 2 U71 2 1 2 4 a__U84 3 2 6 a__U62 1 1 2 U101 3 2 4 a__U13 3 3 U103 3 6 a__U103 3 0 U84 3 7 a__U51 1 0 U23 1 1 14 U35 2 4 a__x 2 0 a__U22 2 1 2 3 U72 2 1 5 a__U11 3 14734 U34 3 1 3 a__U31 3 3 a__U51 1 3 a__U81 3 3 a__x 2 2 U12 3 1 3 5 a__U84 3 1 a__U62 1 0 a__U16 1 8 a__U42 1 0 a__U41 2 1 1 x 2 1 2 6 a__U12 3 14733 U104 3 2 3 7 a__U14 3 3 6 a__U21 2 2 a__U81 3 0 a__U61 2 2 1 a__U34 3 2 2 a__plus 2 1 U83 3 1 2 3 6 mark 1 0 0 0 12 a__U21 2 2 3 U36 1 5 a__U32 3 1 2 a__U91 2 1 1 a__U36 1 4 U62 1 3 a__U102 3 0 mark 1 1 a__U72 2 4 a__U101 3 0 a__U11 3 3 a__U36 1 0 U32 3 2 3 a__U42 1 1 9 U33 3 1 2 13 U14 3 2 7 a__U12 3 4 a__U104 3 0 isNat 1 1 3 a__U35 2 3 plus 2 1 2 14734 U15 2 1 8 U61 2 1 4 a__U35 2 1 a__U22 2 1 a__U13 3 2 5 U31 3 2 4 a__U83 3 0 a__U71 2 3 U92 1 1 12 a__U92 1 11 a__U61 2 3 U102 3 2 5 U81 3 4 a__U41 2 2 1 a__U15 2 2 7 U82 3 1 3 5 a__U16 1 0 tt 0 9 a__isNat 1 2 U13 3 6 a__U23 1 13 a__isNatKind 1 2 U22 2 4 U51 1 1 4 a__U34 3 2 a__U103 3 3 5 U41 2 1 2 2 a__U32 3 4 a__U101 3 3 a__U91 2 0 a__U61 tt V2 a__U62 a__isNatKind V2 false a__U41 tt V2 a__U42 a__isNatKind V2 false a__isNatKind s V1 a__U51 a__isNatKind V1 false NaTT certifiable-1.6