U101 tt M N U102 isNatKind activate M activate M activate N U102 tt M N U103 isNat activate N activate M activate N U103 tt M N U104 isNatKind activate N activate M activate N U104 tt M N plus x activate N activate M activate N U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 U15 tt V2 U16 isNat activate V2 U16 tt tt U21 tt V1 U22 isNatKind activate V1 activate V1 U22 tt V1 U23 isNat activate V1 U23 tt tt U31 tt V1 V2 U32 isNatKind activate V1 activate V1 activate V2 U32 tt V1 V2 U33 isNatKind activate V2 activate V1 activate V2 U33 tt V1 V2 U34 isNatKind activate V2 activate V1 activate V2 U34 tt V1 V2 U35 isNat activate V1 activate V2 U35 tt V2 U36 isNat activate V2 U36 tt tt U41 tt V2 U42 isNatKind activate V2 U42 tt tt U51 tt tt U61 tt V2 U62 isNatKind activate V2 U62 tt tt U71 tt N U72 isNatKind activate N activate N U72 tt N activate N U81 tt M N U82 isNatKind activate M activate M activate N U82 tt M N U83 isNat activate N activate M activate N U83 tt M N U84 isNatKind activate N activate M activate N U84 tt M N s plus activate N activate M U91 tt N U92 isNatKind activate N U92 tt 0 isNat n__0 tt isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 isNat n__s V1 U21 isNatKind activate V1 activate V1 isNat n__x V1 V2 U31 isNatKind activate V1 activate V1 activate V2 isNatKind n__0 tt isNatKind n__plus V1 V2 U41 isNatKind activate V1 activate V2 isNatKind n__s V1 U51 isNatKind activate V1 isNatKind n__x V1 V2 U61 isNatKind activate V1 activate V2 plus N 0 U71 isNat N N plus N s M U81 isNat M M N x N 0 U91 isNat N N x N s M U101 isNat M M N 0 n__0 plus X1 X2 n__plus X1 X2 s X n__s X x X1 X2 n__x X1 X2 activate n__0 0 activate n__plus X1 X2 plus activate X1 activate X2 activate n__s X s activate X activate n__x X1 X2 x activate X1 activate X2 activate X X 2.2 U102 tt M N isNat activate N x N s M isNat M U61 tt V2 U62 isNatKind activate V2 U12 tt V1 V2 activate V2 activate n__s X activate X U11 tt V1 V2 activate V1 U71 tt N isNatKind activate N U22 tt V1 U23 isNat activate V1 U21 tt V1 activate V1 U33 tt V1 V2 activate V2 isNat n__plus V1 V2 activate V1 U21 tt V1 activate V1 U15 tt V2 isNat activate V2 U33 tt V1 V2 isNatKind activate V2 U81 tt M N activate M U81 tt M N U82 isNatKind activate M activate M activate N U82 tt M N activate N U13 tt V1 V2 isNatKind activate V2 U22 tt V1 isNat activate V1 U31 tt V1 V2 isNatKind activate V1 U41 tt V2 activate V2 U35 tt V2 activate V2 U104 tt M N activate N U22 tt V1 activate V1 U101 tt M N U102 isNatKind activate M activate M activate N U13 tt V1 V2 activate V1 isNat n__x V1 V2 activate V2 U13 tt V1 V2 activate V2 U84 tt M N plus activate N activate M U104 tt M N x activate N activate M U33 tt V1 V2 U34 isNatKind activate V2 activate V1 activate V2 activate n__x X1 X2 x activate X1 activate X2 U15 tt V2 activate V2 U33 tt V1 V2 activate V1 x N 0 U91 isNat N N U84 tt M N activate N isNat n__x V1 V2 activate V1 U32 tt V1 V2 U33 isNatKind activate V2 activate V1 activate V2 U31 tt V1 V2 activate V1 U71 tt N activate N U21 tt V1 isNatKind activate V1 U82 tt M N activate M U35 tt V2 isNat activate V2 U72 tt N activate N U91 tt N activate N isNat n__s V1 U21 isNatKind activate V1 activate V1 U83 tt M N isNatKind activate N U83 tt M N activate M U81 tt M N isNatKind activate M U84 tt M N s plus activate N activate M U13 tt V1 V2 activate V2 isNat n__x V1 V2 isNatKind activate V1 isNat n__plus V1 V2 activate V1 isNatKind n__plus V1 V2 activate V2 U32 tt V1 V2 activate V2 U41 tt V2 isNatKind activate V2 isNatKind n__plus V1 V2 activate V1 U14 tt V1 V2 U15 isNat activate V1 activate V2 U11 tt V1 V2 isNatKind activate V1 U103 tt M N U104 isNatKind activate N activate M activate N isNatKind n__s V1 isNatKind activate V1 U61 tt V2 activate V2 isNat n__plus V1 V2 activate V2 U41 tt V2 U42 isNatKind activate V2 U81 tt M N activate N U83 tt M N activate N isNatKind n__x V1 V2 isNatKind activate V1 isNatKind n__s V1 activate V1 U31 tt V1 V2 activate V2 U82 tt M N activate N U32 tt V1 V2 isNatKind activate V2 U11 tt V1 V2 activate V1 isNat n__x V1 V2 activate V1 isNat n__s V1 isNatKind activate V1 U92 tt 0 activate n__x X1 X2 activate X1 isNatKind n__x V1 V2 U61 isNatKind activate V1 activate V2 U31 tt V1 V2 U32 isNatKind activate V1 activate V1 activate V2 U91 tt N U92 isNatKind activate N U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 activate V1 isNat n__x V1 V2 U31 isNatKind activate V1 activate V1 activate V2 U14 tt V1 V2 isNat activate V1 plus N 0 isNat N U101 tt M N activate M U82 tt M N isNat activate N x N 0 isNat N U21 tt V1 U22 isNatKind activate V1 activate V1 U32 tt V1 V2 activate V2 U83 tt M N activate N isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U103 tt M N isNatKind activate N isNat n__plus V1 V2 isNatKind activate V1 activate n__0 0 isNatKind n__x V1 V2 activate V2 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U103 tt M N activate N U102 tt M N activate N U61 tt V2 isNatKind activate V2 U71 tt N U72 isNatKind activate N activate N U12 tt V1 V2 activate V1 isNatKind n__plus V1 V2 isNatKind activate V1 U101 tt M N activate N activate n__s X s activate X U11 tt V1 V2 activate V2 U82 tt M N U83 isNat activate N activate M activate N U12 tt V1 V2 activate V2 U104 tt M N plus x activate N activate M activate N activate n__plus X1 X2 activate X2 activate n__plus X1 X2 plus activate X1 activate X2 U84 tt M N activate M U33 tt V1 V2 activate V2 plus N s M U81 isNat M M N isNatKind n__x V1 V2 activate V1 plus N 0 U71 isNat N N activate n__plus X1 X2 activate X1 U101 tt M N activate M activate n__x X1 X2 activate X2 U32 tt V1 V2 activate V1 U34 tt V1 V2 activate V2 U12 tt V1 V2 isNatKind activate V2 U81 tt M N activate M x N s M U101 isNat M M N U103 tt M N activate N U71 tt N activate N U14 tt V1 V2 activate V2 U15 tt V2 U16 isNat activate V2 isNatKind n__plus V1 V2 U41 isNatKind activate V1 activate V2 isNat n__s V1 activate V1 U102 tt M N activate N isNatKind n__s V1 U51 isNatKind activate V1 U102 tt M N U103 isNat activate N activate M activate N U104 tt M N activate M U101 tt M N isNatKind activate M U31 tt V1 V2 activate V1 U83 tt M N U84 isNatKind activate N activate M activate N U104 tt M N activate N U103 tt M N activate M isNat n__s V1 activate V1 U35 tt V2 U36 isNat activate V2 U34 tt V1 V2 U35 isNat activate V1 activate V2 U34 tt V1 V2 isNat activate V1 U102 tt M N activate M U34 tt V1 V2 activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U91 tt N isNatKind activate N plus N s M isNat M true U14 tt V1 V2 isNat activate V1 plus N s M isNat M isNat n__x V1 V2 U31 isNatKind activate V1 activate V1 activate V2 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U91 tt N isNatKind activate N U14 tt V1 V2 activate V1 U34 tt V1 V2 activate V1 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U31 tt V1 V2 U32 isNatKind activate V1 activate V1 activate V2 U102 tt M N activate M activate n__x X1 X2 activate X1 isNatKind n__x V1 V2 U61 isNatKind activate V1 activate V2 U34 tt V1 V2 isNat activate V1 U34 tt V1 V2 U35 isNat activate V1 activate V2 isNat n__x V1 V2 activate V1 isNat n__s V1 isNatKind activate V1 U11 tt V1 V2 activate V1 isNat n__s V1 activate V1 U32 tt V1 V2 isNatKind activate V2 U82 tt M N activate N isNatKind n__s V1 activate V1 U31 tt V1 V2 activate V2 isNatKind n__x V1 V2 isNatKind activate V1 U103 tt M N activate M U83 tt M N activate N U104 tt M N activate N U81 tt M N activate N U83 tt M N U84 isNatKind activate N activate M activate N isNat n__plus V1 V2 activate V2 U61 tt V2 activate V2 U31 tt V1 V2 activate V1 isNatKind n__s V1 isNatKind activate V1 U101 tt M N isNatKind activate M U103 tt M N U104 isNatKind activate N activate M activate N U104 tt M N activate M U14 tt V1 V2 U15 isNat activate V1 activate V2 U11 tt V1 V2 isNatKind activate V1 U102 tt M N U103 isNat activate N activate M activate N isNatKind n__plus V1 V2 activate V1 U41 tt V2 isNatKind activate V2 U32 tt V1 V2 activate V2 U102 tt M N activate N isNatKind n__plus V1 V2 activate V2 isNat n__s V1 activate V1 isNat n__x V1 V2 isNatKind activate V1 isNat n__plus V1 V2 activate V1 isNatKind n__plus V1 V2 U41 isNatKind activate V1 activate V2 U13 tt V1 V2 activate V2 U14 tt V1 V2 activate V2 U71 tt N activate N U103 tt M N activate N x N s M U101 isNat M M N U81 tt M N activate M U81 tt M N isNatKind activate M U34 tt V1 V2 activate V2 U12 tt V1 V2 isNatKind activate V2 U83 tt M N activate M U83 tt M N isNatKind activate N U32 tt V1 V2 activate V1 isNat n__s V1 U21 isNatKind activate V1 activate V1 activate n__x X1 X2 activate X2 U72 tt N activate N U91 tt N activate N U35 tt V2 isNat activate V2 U101 tt M N activate M activate n__plus X1 X2 activate X1 isNatKind n__x V1 V2 activate V1 plus N 0 U71 isNat N N U82 tt M N activate M plus N s M U81 isNat M M N U21 tt V1 isNatKind activate V1 U71 tt N activate N U32 tt V1 V2 U33 isNatKind activate V2 activate V1 activate V2 U31 tt V1 V2 activate V1 U33 tt V1 V2 activate V2 isNat n__x V1 V2 activate V1 U84 tt M N activate M U84 tt M N activate N x N 0 U91 isNat N N activate n__plus X1 X2 activate X2 activate n__plus X1 X2 plus activate X1 activate X2 U33 tt V1 V2 activate V1 U104 tt M N plus x activate N activate M activate N U12 tt V1 V2 activate V2 activate n__x X1 X2 x activate X1 activate X2 U15 tt V2 activate V2 U82 tt M N U83 isNat activate N activate M activate N U104 tt M N x activate N activate M U33 tt V1 V2 U34 isNatKind activate V2 activate V1 activate V2 U84 tt M N plus activate N activate M U11 tt V1 V2 activate V2 isNat n__x V1 V2 activate V2 U13 tt V1 V2 activate V2 U101 tt M N U102 isNatKind activate M activate M activate N U13 tt V1 V2 activate V1 U22 tt V1 activate V1 U35 tt V2 activate V2 U104 tt M N activate N U101 tt M N activate N U41 tt V2 activate V2 isNatKind n__plus V1 V2 isNatKind activate V1 U31 tt V1 V2 isNatKind activate V1 U12 tt V1 V2 activate V1 U71 tt N U72 isNatKind activate N activate N U13 tt V1 V2 isNatKind activate V2 U22 tt V1 isNat activate V1 U61 tt V2 isNatKind activate V2 U82 tt M N activate N U103 tt M N activate N U102 tt M N activate N U81 tt M N U82 isNatKind activate M activate M activate N U33 tt V1 V2 isNatKind activate V2 U81 tt M N activate M U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U15 tt V2 isNat activate V2 isNatKind n__x V1 V2 activate V2 U103 tt M N isNatKind activate N isNat n__plus V1 V2 isNatKind activate V1 U21 tt V1 activate V1 isNat n__plus V1 V2 activate V1 U33 tt V1 V2 activate V2 isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U21 tt V1 activate V1 U83 tt M N activate N U32 tt V1 V2 activate V2 U11 tt V1 V2 activate V1 U71 tt N isNatKind activate N U21 tt V1 U22 isNatKind activate V1 activate V1 U82 tt M N isNat activate N x N 0 isNat N activate n__s X activate X U12 tt V1 V2 activate V2 U101 tt M N activate M x N s M isNat M U102 tt M N isNat activate N plus N 0 isNat N true 0 0 0 U72 2 2 7069 0 U32 3 2 19905 3 7073 0 isNatKind 1 1 U16 1 3 U21 2 2 3 0 U83 3 1 7066 2 18408 3 7069 0 U11 3 2 3 3 11338 0 s 1 1 0 isNat 1 1 7069 U42 1 1 0 U91 2 1 12835 2 12837 0 U35 2 1 7067 2 7070 0 U101 3 1 19905 2 19909 3 19907 0 activate 1 1 0 U82 3 2 18408 3 7069 0 U104 3 2 19909 3 19907 0 U71 2 2 0 0 U81 3 1 18405 2 18408 3 7069 0 U92 1 0 plus 2 1 7069 2 18408 0 U101 3 1 12836 2 12840 3 12838 0 activate 1 1 7069 U103 3 1 12835 2 12840 3 12838 0 U23 1 0 U84 3 2 11339 3 0 0 U23 1 3 U35 2 2 3 0 U72 2 2 0 0 U13 3 2 7069 3 7072 0 U34 3 3 12239 0 U103 3 2 19909 3 19907 0 U12 3 2 3 3 11338 0 U33 3 2 7072 3 7072 0 x 2 1 12838 2 12840 0 U16 1 0 n__s 1 1 0 U104 3 2 12840 3 12838 0 U42 1 0 U12 3 2 7069 3 7073 0 U62 1 0 U83 3 2 11339 3 0 0 0 0 0 U14 3 2 7069 3 7071 0 U36 1 0 U36 1 1 0 U102 3 2 19909 3 19907 0 x 2 1 19907 2 19909 0 s 1 0 U62 1 2 n__plus 2 1 0 2 11339 0 U15 2 1 7065 2 7070 0 U32 3 3 12239 0 U33 3 3 12239 0 n__0 0 0 U34 3 2 7071 3 7071 0 U14 3 2 3 3 1 0 isNat 1 1 3 n__x 2 1 12838 2 12840 0 plus 2 1 0 2 11339 0 U15 2 1 0 2 1 0 U61 2 1 1 0 U51 1 0 U11 3 2 7069 3 7073 0 U31 3 3 12239 0 U92 1 12838 U41 2 2 7070 0 U102 3 2 12840 3 12838 0 U21 2 2 7069 0 U81 3 2 11339 3 0 0 U82 3 2 11339 3 0 0 U22 2 2 7069 0 tt 0 3 U84 3 2 18408 3 7069 0 U71 2 1 7065 2 7069 0 U13 3 2 3 3 11338 0 U22 2 2 3 0 U51 1 2 isNatKind 1 1 7069 U41 2 1 15620 2 31251 0 U31 3 2 19906 3 7074 0 U91 2 2 7070 0 U61 2 2 7070 0 plus N 0 isNat N activate n__s X activate X U82 tt M N isNat activate N U21 tt V1 U22 isNatKind activate V1 activate V1 U71 tt N isNatKind activate N U11 tt V1 V2 activate V1 U83 tt M N activate N U21 tt V1 activate V1 isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 isNat n__plus V1 V2 activate V1 U21 tt V1 activate V1 isNat n__plus V1 V2 isNatKind activate V1 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U81 tt M N U82 isNatKind activate M activate M activate N U82 tt M N activate N U22 tt V1 isNat activate V1 U71 tt N U72 isNatKind activate N activate N U12 tt V1 V2 activate V1 isNatKind n__plus V1 V2 isNatKind activate V1 U22 tt V1 activate V1 U13 tt V1 V2 activate V1 U101 tt M N U102 isNatKind activate M activate M activate N U84 tt M N plus activate N activate M U104 tt M N x activate N activate M U82 tt M N U83 isNat activate N activate M activate N activate n__x X1 X2 x activate X1 activate X2 U104 tt M N plus x activate N activate M activate N activate n__plus X1 X2 plus activate X1 activate X2 U84 tt M N activate N U71 tt N activate N U21 tt V1 isNatKind activate V1 plus N s M U81 isNat M M N plus N 0 U71 isNat N N activate n__plus X1 X2 activate X1 U72 tt N activate N isNat n__s V1 U21 isNatKind activate V1 activate V1 U83 tt M N isNatKind activate N x N s M U101 isNat M M N U71 tt N activate N isNat n__plus V1 V2 activate V1 isNat n__s V1 activate V1 isNatKind n__plus V1 V2 activate V1 U102 tt M N U103 isNat activate N activate M activate N U11 tt V1 V2 isNatKind activate V1 U103 tt M N U104 isNatKind activate N activate M activate N isNatKind n__s V1 isNatKind activate V1 U83 tt M N U84 isNatKind activate N activate M activate N U81 tt M N activate N U83 tt M N activate N isNatKind n__s V1 activate V1 U82 tt M N activate N isNat n__s V1 activate V1 U11 tt V1 V2 activate V1 isNat n__s V1 isNatKind activate V1 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U14 tt V1 V2 isNat activate V1 U35 tt V2 U36 isNat activate V2 activate n__plus X1 X2 plus activate X1 activate X2 U104 tt M N plus x activate N activate M activate N U32 tt V1 V2 U33 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 U101 tt M N U102 isNatKind activate M activate M activate N U103 tt M N U104 isNatKind activate N activate M activate N U33 tt V1 V2 U34 isNatKind activate V2 activate V1 activate V2 isNat n__x V1 V2 U31 isNatKind activate V1 activate V1 activate V2 U72 tt N activate N U36 tt tt U92 tt 0 U34 tt V1 V2 U35 isNat activate V1 activate V2 U81 tt M N U82 isNatKind activate M activate M activate N isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U82 tt M N U83 isNat activate N activate M activate N x N s M U101 isNat M M N U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 isNat n__0 tt U16 tt tt U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U71 tt N U72 isNatKind activate N activate N activate n__0 0 activate n__x X1 X2 x activate X1 activate X2 U84 tt M N s plus activate N activate M U31 tt V1 V2 U32 isNatKind activate V1 activate V1 activate V2 U91 tt N U92 isNatKind activate N U22 tt V1 U23 isNat activate V1 0 n__0 U21 tt V1 U22 isNatKind activate V1 activate V1 U15 tt V2 U16 isNat activate V2 U23 tt tt activate n__s X s activate X U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 x X1 X2 n__x X1 X2 activate X X s X n__s X plus N 0 U71 isNat N N plus N s M U81 isNat M M N plus X1 X2 n__plus X1 X2 isNat n__s V1 U21 isNatKind activate V1 activate V1 U83 tt M N U84 isNatKind activate N activate M activate N x N 0 U91 isNat N N U102 tt M N U103 isNat activate N activate M activate N activate n__plus X1 X2 activate X1 activate n__plus X1 X2 plus activate X1 activate X2 U104 tt M N x activate N activate M U104 tt M N plus x activate N activate M activate N U14 tt V1 V2 activate V1 U14 tt V1 V2 isNat activate V1 U101 tt M N U102 isNatKind activate M activate M activate N U103 tt M N U104 isNatKind activate N activate M activate N U72 tt N activate N U81 tt M N activate N U81 tt M N U82 isNatKind activate M activate M activate N isNat n__plus V1 V2 activate V1 isNat n__plus V1 V2 activate V1 isNat n__plus V1 V2 isNatKind activate V1 isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U82 tt M N activate N U82 tt M N activate N U82 tt M N isNat activate N U82 tt M N U83 isNat activate N activate M activate N x N s M U101 isNat M M N U11 tt V1 V2 activate V1 U11 tt V1 V2 activate V1 U11 tt V1 V2 isNatKind activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 isNatKind n__s V1 activate V1 isNatKind n__s V1 isNatKind activate V1 U13 tt V1 V2 activate V1 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U71 tt N activate N U71 tt N activate N U71 tt N isNatKind activate N U71 tt N U72 isNatKind activate N activate N activate n__x X1 X2 x activate X1 activate X2 U84 tt M N activate N U84 tt M N plus activate N activate M U22 tt V1 activate V1 U22 tt V1 isNat activate V1 U21 tt V1 activate V1 U21 tt V1 activate V1 U21 tt V1 isNatKind activate V1 U21 tt V1 U22 isNatKind activate V1 activate V1 activate n__s X activate X U12 tt V1 V2 activate V1 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 isNatKind n__plus V1 V2 activate V1 isNatKind n__plus V1 V2 isNatKind activate V1 plus N 0 isNat N plus N 0 U71 isNat N N plus N s M U81 isNat M M N isNat n__s V1 activate V1 isNat n__s V1 activate V1 isNat n__s V1 isNatKind activate V1 isNat n__s V1 U21 isNatKind activate V1 activate V1 U83 tt M N activate N U83 tt M N activate N U83 tt M N isNatKind activate N U83 tt M N U84 isNatKind activate N activate M activate N U102 tt M N U103 isNat activate N activate M activate N true U72 2 2 U83 3 3 U11 3 1 isNat 1 1 U42 1 1 U91 2 1 U35 2 2 activate 1 1 U82 3 3 U71 2 2 U81 3 3 plus 2 1 activate 1 1 U23 1 1 U23 1 1 U72 2 2 U34 3 1 U14 3 2 U36 1 1 U14 3 1 U31 3 1 U92 1 1 U84 3 3 U71 2 2 isNatKind 1 1 U31 3 2 U61 2 2 0 0 0 U32 3 0 1 3 isNatKind 1 3 U16 1 3 U21 2 3 s 1 3 1 U101 3 9 2 3 1 U104 3 9 2 3 U92 1 0 U101 3 9 2 3 1 U103 3 9 2 3 1 U84 3 8 2 3 1 U35 2 3 U13 3 2 2 U103 3 9 2 3 U12 3 3 U33 3 0 3 2 1 x 2 9 2 1 U16 1 0 n__s 1 3 1 U104 3 9 2 3 1 U42 1 0 U12 3 3 2 U62 1 0 U83 3 8 2 3 1 0 0 3 U36 1 0 U102 3 9 2 3 x 2 9 2 1 s 1 0 U62 1 3 n__plus 2 8 2 1 U15 2 0 1 2 U32 3 3 U33 3 3 n__0 0 3 U34 3 0 3 2 1 isNat 1 3 n__x 2 9 2 1 plus 2 8 2 1 U15 2 3 U61 2 3 U51 1 0 U11 3 7 1 2 U41 2 0 2 1 U102 3 9 2 3 1 U21 2 2 2 U81 3 8 2 3 1 U82 3 8 2 3 1 U22 2 1 2 tt 0 3 U13 3 3 U22 2 3 U51 1 3 U41 2 3 U91 2 0 2 1 0 0 0 U32 3 1 0 3 0 0 isNatKind 1 0 U16 1 0 U21 2 0 s 1 1 0 U101 3 1 0 2 0 3 0 0 U104 3 2 0 3 0 0 U92 1 0 U101 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 U35 2 0 U13 3 2 0 0 U103 3 2 0 3 0 0 U12 3 0 U33 3 1 0 2 0 3 0 0 x 2 1 0 2 0 0 U16 1 0 n__s 1 1 0 U104 3 1 0 2 0 3 0 0 U42 1 0 U12 3 2 0 0 U62 1 0 U83 3 1 0 2 0 3 0 0 0 0 0 U36 1 0 U102 3 2 0 3 0 0 x 2 1 0 2 0 0 s 1 0 U62 1 0 n__plus 2 1 0 2 0 0 U15 2 1 0 2 0 0 U32 3 0 U33 3 0 n__0 0 0 U34 3 1 0 2 0 3 0 0 isNat 1 0 n__x 2 1 0 2 0 0 plus 2 1 0 2 0 0 U15 2 0 U61 2 0 U51 1 0 U11 3 1 0 2 0 0 U41 2 1 0 2 0 0 U102 3 1 0 2 0 3 0 0 U21 2 2 0 0 U81 3 1 0 2 0 3 0 0 U82 3 1 0 2 0 3 0 0 U22 2 2 0 0 tt 0 0 U13 3 0 U22 2 0 U51 1 0 U41 2 0 U91 2 1 0 2 0 0 U102 tt M N U103 isNat activate N activate M activate N U83 tt M N U84 isNatKind activate N activate M activate N U83 tt M N isNatKind activate N U83 tt M N activate N U83 tt M N activate N plus N s M U81 isNat M M N plus N 0 U71 isNat N N plus N 0 isNat N U84 tt M N plus activate N activate M U84 tt M N activate N activate n__x X1 X2 x activate X1 activate X2 U71 tt N U72 isNatKind activate N activate N U71 tt N isNatKind activate N U71 tt N activate N U71 tt N activate N U82 tt M N U83 isNat activate N activate M activate N U82 tt M N isNat activate N U82 tt M N activate N U82 tt M N activate N U81 tt M N U82 isNatKind activate M activate M activate N U81 tt M N activate N U72 tt N activate N U103 tt M N U104 isNatKind activate N activate M activate N U14 tt V1 V2 isNat activate V1 U14 tt V1 V2 activate V1 U104 tt M N plus x activate N activate M activate N U104 tt M N x activate N activate M U35 tt V2 U36 isNat activate V2 activate n__plus X1 X2 plus activate X1 activate X2 U104 tt M N plus x activate N activate M activate N U32 tt V1 V2 U33 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 U101 tt M N U102 isNatKind activate M activate M activate N U103 tt M N U104 isNatKind activate N activate M activate N U33 tt V1 V2 U34 isNatKind activate V2 activate V1 activate V2 U42 tt tt isNat n__x V1 V2 U31 isNatKind activate V1 activate V1 activate V2 U72 tt N activate N U36 tt tt U92 tt 0 U34 tt V1 V2 U35 isNat activate V1 activate V2 U81 tt M N U82 isNatKind activate M activate M activate N isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U51 tt tt U82 tt M N U83 isNat activate N activate M activate N x N s M U101 isNat M M N U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 isNat n__0 tt U16 tt tt isNatKind n__s V1 U51 isNatKind activate V1 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U41 tt V2 U42 isNatKind activate V2 U71 tt N U72 isNatKind activate N activate N activate n__0 0 activate n__x X1 X2 x activate X1 activate X2 U84 tt M N s plus activate N activate M U31 tt V1 V2 U32 isNatKind activate V1 activate V1 activate V2 U91 tt N U92 isNatKind activate N U22 tt V1 U23 isNat activate V1 0 n__0 U61 tt V2 U62 isNatKind activate V2 U62 tt tt U21 tt V1 U22 isNatKind activate V1 activate V1 U15 tt V2 U16 isNat activate V2 U23 tt tt activate n__s X s activate X isNatKind n__x V1 V2 U61 isNatKind activate V1 activate V2 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 isNatKind n__plus V1 V2 U41 isNatKind activate V1 activate V2 x X1 X2 n__x X1 X2 activate X X s X n__s X isNatKind n__0 tt plus N 0 U71 isNat N N plus N s M U81 isNat M M N plus X1 X2 n__plus X1 X2 isNat n__s V1 U21 isNatKind activate V1 activate V1 U83 tt M N U84 isNatKind activate N activate M activate N x N 0 U91 isNat N N U102 tt M N U103 isNat activate N activate M activate N U14 tt V1 V2 activate V1 false U14 tt V1 V2 isNat activate V1 false U102 tt M N U103 isNat activate N activate M activate N false U103 tt M N U104 isNatKind activate N activate M activate N false U104 tt M N plus x activate N activate M activate N false U81 tt M N U82 isNatKind activate M activate M activate N U82 tt M N U83 isNat activate N activate M activate N U84 tt M N plus activate N activate M plus N s M U81 isNat M M N U83 tt M N U84 isNatKind activate N activate M activate N true U72 2 2 U11 3 1 isNat 1 1 U42 1 1 U91 2 1 U35 2 2 activate 1 1 U71 2 2 activate 1 1 U23 1 1 U23 1 1 U72 2 2 U34 3 1 U14 3 2 U36 1 1 U14 3 1 U31 3 1 U92 1 1 U71 2 2 isNatKind 1 1 U31 3 2 U61 2 2 0 0 0 U32 3 0 1 3 isNatKind 1 3 U16 1 3 U21 2 3 U83 3 3 2 3 s 1 3 1 U101 3 9 2 3 1 U82 3 3 2 3 U104 3 9 2 3 U81 3 3 2 3 U92 1 0 plus 2 3 2 1 U101 3 10 2 3 1 U103 3 10 2 3 1 U84 3 9 2 3 1 U35 2 3 U13 3 2 2 U103 3 9 2 3 U12 3 3 U33 3 0 3 2 1 x 2 10 2 1 U16 1 0 n__s 1 3 1 U104 3 10 2 3 1 U42 1 0 U12 3 3 2 U62 1 0 U83 3 9 2 3 1 0 0 3 U36 1 0 U102 3 9 2 3 x 2 9 2 1 s 1 0 U62 1 3 n__plus 2 9 2 1 U15 2 0 1 2 U32 3 3 U33 3 3 n__0 0 3 U34 3 0 3 2 1 isNat 1 3 n__x 2 10 2 1 plus 2 9 2 1 U15 2 3 U61 2 3 U51 1 0 U11 3 7 1 2 U41 2 0 2 1 U102 3 10 2 3 1 U21 2 2 2 U81 3 9 2 3 1 U82 3 9 2 3 1 U22 2 1 2 tt 0 3 U84 3 3 2 3 U13 3 3 U22 2 3 U51 1 3 U41 2 3 U91 2 0 2 1 0 0 0 U32 3 1 0 3 0 0 isNatKind 1 0 U16 1 0 U21 2 0 U83 3 2 0 3 0 0 s 1 1 0 U101 3 1 0 2 0 3 0 0 U82 3 2 0 3 0 0 U104 3 2 0 3 0 0 U81 3 2 0 3 0 0 U92 1 0 plus 2 1 0 2 0 0 U101 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 U35 2 0 U13 3 2 0 0 U103 3 2 0 3 0 0 U12 3 0 U33 3 1 0 2 0 3 0 0 x 2 1 0 2 0 0 U16 1 0 n__s 1 1 0 U104 3 1 0 2 0 3 0 0 U42 1 0 U12 3 2 0 0 U62 1 0 U83 3 1 0 2 0 3 0 0 0 0 0 U36 1 0 U102 3 2 0 3 0 0 x 2 1 0 2 0 0 s 1 0 U62 1 0 n__plus 2 1 0 2 0 0 U15 2 1 0 2 0 0 U32 3 0 U33 3 0 n__0 0 0 U34 3 1 0 2 0 3 0 0 isNat 1 0 n__x 2 1 0 2 0 0 plus 2 1 0 2 0 0 U15 2 0 U61 2 0 U51 1 0 U11 3 1 0 2 0 0 U41 2 1 0 2 0 0 U102 3 1 0 2 0 3 0 0 U21 2 2 0 0 U81 3 1 0 2 0 3 0 0 U82 3 1 0 2 0 3 0 0 U22 2 2 0 0 tt 0 0 U84 3 2 0 3 0 0 U13 3 0 U22 2 0 U51 1 0 U41 2 0 U91 2 1 0 2 0 0 U83 tt M N U84 isNatKind activate N activate M activate N U84 tt M N plus activate N activate M U82 tt M N U83 isNat activate N activate M activate N U81 tt M N U82 isNatKind activate M activate M activate N U35 tt V2 U36 isNat activate V2 activate n__plus X1 X2 plus activate X1 activate X2 U104 tt M N plus x activate N activate M activate N U32 tt V1 V2 U33 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 U101 tt M N U102 isNatKind activate M activate M activate N U103 tt M N U104 isNatKind activate N activate M activate N U33 tt V1 V2 U34 isNatKind activate V2 activate V1 activate V2 U42 tt tt isNat n__x V1 V2 U31 isNatKind activate V1 activate V1 activate V2 U72 tt N activate N U36 tt tt U92 tt 0 U34 tt V1 V2 U35 isNat activate V1 activate V2 U81 tt M N U82 isNatKind activate M activate M activate N isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U51 tt tt U82 tt M N U83 isNat activate N activate M activate N x N s M U101 isNat M M N U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 isNat n__0 tt U16 tt tt isNatKind n__s V1 U51 isNatKind activate V1 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U41 tt V2 U42 isNatKind activate V2 U71 tt N U72 isNatKind activate N activate N activate n__0 0 activate n__x X1 X2 x activate X1 activate X2 U84 tt M N s plus activate N activate M U31 tt V1 V2 U32 isNatKind activate V1 activate V1 activate V2 U91 tt N U92 isNatKind activate N U22 tt V1 U23 isNat activate V1 0 n__0 U61 tt V2 U62 isNatKind activate V2 U62 tt tt U21 tt V1 U22 isNatKind activate V1 activate V1 U15 tt V2 U16 isNat activate V2 U23 tt tt activate n__s X s activate X isNatKind n__x V1 V2 U61 isNatKind activate V1 activate V2 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 isNatKind n__plus V1 V2 U41 isNatKind activate V1 activate V2 x X1 X2 n__x X1 X2 activate X X s X n__s X isNatKind n__0 tt plus N 0 U71 isNat N N plus N s M U81 isNat M M N plus X1 X2 n__plus X1 X2 isNat n__s V1 U21 isNatKind activate V1 activate V1 U83 tt M N U84 isNatKind activate N activate M activate N x N 0 U91 isNat N N U102 tt M N U103 isNat activate N activate M activate N U81 tt M N U82 isNatKind activate M activate M activate N false U82 tt M N U83 isNat activate N activate M activate N false U83 tt M N U84 isNatKind activate N activate M activate N false U84 tt M N plus activate N activate M false U84 tt M N activate N false U83 tt M N isNatKind activate N false U83 tt M N activate N false U83 tt M N activate N false U82 tt M N isNat activate N false U82 tt M N activate N false U82 tt M N activate N false U81 tt M N activate N false plus N 0 U71 isNat N N false U71 tt N U72 isNatKind activate N activate N false U72 tt N activate N false U71 tt N isNatKind activate N false U71 tt N activate N false U71 tt N activate N false activate n__x X1 X2 x activate X1 activate X2 false plus N 0 isNat N false U104 tt M N x activate N activate M false U84 tt M N s plus activate N activate M false U91 tt N U92 isNatKind activate N false U92 tt 0 false U35 tt V2 U36 isNat activate V2 false U15 tt V2 U16 isNat activate V2 false U22 tt V1 U23 isNat activate V1 false U61 tt V2 U62 isNatKind activate V2 false U41 tt V2 U42 isNatKind activate V2 false isNatKind n__s V1 U51 isNatKind activate V1 false activate n__s X s activate X false activate n__0 0 false NaTT certifiable-1.6