plus s X plus Y Z plus X plus s s Y Z plus s X1 plus X2 plus X3 X4 plus X1 plus X3 plus X2 X4 plus 2 s 1 FULL ./TRS/Rubio/bn129.trs