zeros cons 0 zeros tail cons X XS XS zeros 0 cons 2 1 0 0 tail 1 1 FULL ./TRS/CSR/Ex4_7_77_Bor03.trs