a__from X cons mark X from s X a__sel 0 cons X XS mark X a__sel s N cons X XS a__sel mark N mark XS a__minus X 0 0 a__minus s X s Y a__minus mark X mark Y a__quot 0 s Y 0 a__quot s X s Y s a__quot a__minus mark X mark Y s mark Y a__zWquot XS nil nil a__zWquot nil XS nil a__zWquot cons X XS cons Y YS cons a__quot mark X mark Y zWquot XS YS mark from X a__from mark X mark sel X1 X2 a__sel mark X1 mark X2 mark minus X1 X2 a__minus mark X1 mark X2 mark quot X1 X2 a__quot mark X1 mark X2 mark zWquot X1 X2 a__zWquot mark X1 mark X2 mark cons X1 X2 cons mark X1 X2 mark s X s mark X mark 0 0 mark nil nil a__from X from X a__sel X1 X2 sel X1 X2 a__minus X1 X2 minus X1 X2 a__quot X1 X2 quot X1 X2 a__zWquot X1 X2 zWquot X1 X2 a__from 1 cons 2 mark 1 from 1 s 1 a__sel 2 0 0 a__minus 2 a__quot 2 a__zWquot 2 nil 0 zWquot 2 sel 2 minus 2 quot 2 INNERMOST ./TRS/TRCSR/inn/Ex4_7_37_Bor03_GM.trs