f x f s s y f z w f s x f y f s z w L f s s y f z w L f s 0 f y f s z w f x f s s y nil f s x f y f s 0 nil f 2 s 1 L 1 0 0 nil 0 FULL ./TRS/Zantema06/beans.trs