f s x y f x s x f x s y f y x f c x y f x s x f 2 s 1 c 1 FULL TRS//AProVE_10/scnp.trs