from X cons X from s X after 0 XS XS after s N cons X XS after N XS from 1 1 cons 2 1 s 1 1 after 2 1 2 0 0 FULL ./TRS/CSR/Ex4_7_56_Bor03.trs