U12 tt s plus N M U11 tt U12 tt plus N 0 N plus N s M U11 tt U12 1 tt 0 s 1 plus 2 U11 1 0 0 FULL ./TRS/TRCSR/PEANO_nosorts-noand_L.trs