f a f a f a f x b f f a f a f a x b f f f a x b b f f a f f x b b b f 2 a 0 b 0 FULL ./TRS/Endrullis/linear2.trs