+ g x g y g + g a + x y + 2 AC g 1 a 0 FULL ./TRS/CimeAC/kusakari1.trs