U11 tt V2 U12 isNat activate V2 U12 tt tt U21 tt tt U31 tt N activate N U41 tt M N U42 isNat activate N activate M activate N U42 tt M N s plus activate N activate M isNat n__0 tt isNat n__plus V1 V2 U11 isNat activate V1 activate V2 isNat n__s V1 U21 isNat activate V1 plus N 0 U31 isNat N N plus N s M U41 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 2 tt 0 U12 1 isNat 1 activate 1 U21 1 U31 2 U41 3 U42 3 s 1 plus 2 n__0 0 n__plus 2 n__s 1 0 0 FULL ./TRS/TRCSR/PEANO_nokinds-noand_Z.trs