U11 tt M N U12 tt activate M activate N U12 tt M N s plus activate N activate M plus N 0 N plus N s M U11 tt M N activate X X U11 3 tt 0 U12 3 activate 1 s 1 plus 2 0 0 FULL ./TRS/TRCSR/PEANO_nosorts-noand_FR.trs ./TRS/TRCSR/PEANO_nosorts-noand_Z.trs