active U11 tt N mark N active U21 tt M N mark s plus N M active U31 tt mark 0 active U41 tt M N mark plus x N M N active and tt X mark X active isNat 0 mark tt active isNat plus V1 V2 mark and isNat V1 isNat V2 active isNat s V1 mark isNat V1 active isNat x V1 V2 mark and isNat V1 isNat V2 active plus N 0 mark U11 isNat N N active plus N s M mark U21 and isNat M isNat N M N active x N 0 mark U31 isNat N active x N s M mark U41 and isNat M isNat N M N mark U11 X1 X2 active U11 mark X1 X2 mark tt active tt mark U21 X1 X2 X3 active U21 mark X1 X2 X3 mark s X active s mark X mark plus X1 X2 active plus mark X1 mark X2 mark U31 X active U31 mark X mark 0 active 0 mark U41 X1 X2 X3 active U41 mark X1 X2 X3 mark x X1 X2 active x mark X1 mark X2 mark and X1 X2 active and mark X1 X2 mark isNat X active isNat X U11 mark X1 X2 U11 X1 X2 U11 X1 mark X2 U11 X1 X2 U11 active X1 X2 U11 X1 X2 U11 X1 active X2 U11 X1 X2 U21 mark X1 X2 X3 U21 X1 X2 X3 U21 X1 mark X2 X3 U21 X1 X2 X3 U21 X1 X2 mark X3 U21 X1 X2 X3 U21 active X1 X2 X3 U21 X1 X2 X3 U21 X1 active X2 X3 U21 X1 X2 X3 U21 X1 X2 active X3 U21 X1 X2 X3 s mark X s X s active X s X plus mark X1 X2 plus X1 X2 plus X1 mark X2 plus X1 X2 plus active X1 X2 plus X1 X2 plus X1 active X2 plus X1 X2 U31 mark X U31 X U31 active X U31 X U41 mark X1 X2 X3 U41 X1 X2 X3 U41 X1 mark X2 X3 U41 X1 X2 X3 U41 X1 X2 mark X3 U41 X1 X2 X3 U41 active X1 X2 X3 U41 X1 X2 X3 U41 X1 active X2 X3 U41 X1 X2 X3 U41 X1 X2 active X3 U41 X1 X2 X3 x mark X1 X2 x X1 X2 x X1 mark X2 x X1 X2 x active X1 X2 x X1 X2 x X1 active X2 x X1 X2 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 isNat mark X isNat X isNat active X isNat X active 1 U11 2 tt 0 mark 1 U21 3 s 1 plus 2 U31 1 0 0 U41 3 x 2 and 2 isNat 1 INNERMOST ./TRS/TRCSR/inn/MYNAT_nokinds_iGM.trs