U41 tt N U52 tt s plus N M U72 tt plus x N M N U11 tt U12 isNat U12 tt tt U21 tt tt U31 tt U32 isNat U32 tt tt U51 tt U52 isNat U61 tt 0 U71 tt U72 isNat isNat tt isNat U11 isNat isNat U21 isNat isNat U31 isNat plus N 0 U41 isNat plus N s M U51 isNat x N 0 U61 isNat x N s M U71 isNat U41 1 tt 0 U52 1 s 1 plus 2 U72 1 x 2 U11 1 U12 1 isNat 0 U21 1 U31 1 U32 1 U51 1 U61 1 0 0 U71 1 FULL ./TRS/TRCSR/MYNAT_nokinds-noand_L.trs