+ X 0 X + X s Y s + X Y double X + X X f 0 s 0 X f X double X X g X Y X g X Y Y + 2 0 0 s 1 double 1 f 3 g 2 INNERMOST ./TRS/Rubio-inn/test77.trs