U104 tt plus x N M N U72 tt N U84 tt s plus N M U101 tt U102 isNatKind U102 tt U103 isNat U103 tt U104 isNatKind U11 tt U12 isNatKind U12 tt U13 isNatKind U13 tt U14 isNatKind U14 tt U15 isNat U15 tt U16 isNat U16 tt tt U21 tt U22 isNatKind U22 tt U23 isNat U23 tt tt U31 tt U32 isNatKind U32 tt U33 isNatKind U33 tt U34 isNatKind U34 tt U35 isNat U35 tt U36 isNat U36 tt tt U41 tt U42 isNatKind U42 tt tt U51 tt tt U61 tt U62 isNatKind U62 tt tt U71 tt U72 isNatKind U81 tt U82 isNatKind U82 tt U83 isNat U83 tt U84 isNatKind U91 tt U92 isNatKind U92 tt 0 isNat tt isNat U11 isNatKind isNat U21 isNatKind isNat U31 isNatKind isNatKind tt isNatKind U41 isNatKind isNatKind U51 isNatKind isNatKind U61 isNatKind plus N 0 U71 isNat plus N s M U81 isNat x N 0 U91 isNat x N s M U101 isNat U104 1 tt 0 plus 2 x 2 U72 1 U84 1 s 1 U101 1 U102 1 isNatKind 0 U103 1 isNat 0 U11 1 U12 1 U13 1 U14 1 U15 1 U16 1 U21 1 U22 1 U23 1 U31 1 U32 1 U33 1 U34 1 U35 1 U36 1 U41 1 U42 1 U51 1 U61 1 U62 1 U71 1 U81 1 U82 1 U83 1 U91 1 U92 1 0 0 FULL ./TRS/TRCSR/MYNAT_complete-noand_L.trs