pred s x x minus x 0 x minus x s y pred minus x y quot 0 s y 0 quot s x s y s quot minus x y s y pred 1 s 1 minus 2 0 0 quot 2 FULL ./TRS/AG01/#3.2.trs