U31 tt N U42 tt s plus N M U11 tt U12 isNat U12 tt tt U21 tt tt U41 tt U42 isNat isNat tt isNat U11 isNat isNat U21 isNat plus N 0 U31 isNat plus N s M U41 isNat U31 1 tt 0 U42 1 s 1 plus 2 U11 1 U12 1 isNat 0 U21 1 U41 1 0 0 FULL ./TRS/TRCSR/PEANO_nokinds-noand_L.trs