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 V2 U32 isNatKind activate V2 U32 tt tt U41 tt tt U51 tt N U52 isNatKind activate N activate N U52 tt N activate N U61 tt M N U62 isNatKind activate M activate M activate N U62 tt M N U63 isNat activate N activate M activate N U63 tt M N U64 isNatKind activate N activate M activate N U64 tt M N s plus activate N activate M 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 isNatKind n__0 tt isNatKind n__plus V1 V2 U31 isNatKind activate V1 activate V2 isNatKind n__s V1 U41 isNatKind activate V1 plus N 0 U51 isNat N N plus N s M U61 isNat M M N 0 n__0 plus X1 X2 n__plus X1 X2 s X n__s X activate n__0 0 activate n__plus X1 X2 plus X1 X2 activate n__s X s X activate X X U11 3 tt 0 U12 3 isNatKind 1 activate 1 U13 3 U14 3 U15 2 isNat 1 U16 1 U21 2 U22 2 U23 1 U31 2 U32 1 U41 1 U51 2 U52 2 U61 3 U62 3 U63 3 U64 3 s 1 plus 2 n__0 0 n__plus 2 n__s 1 0 0 FULL ./TRS/TRCSR/PEANO_complete-noand_Z.trs