zeros cons 0 n__zeros tail cons X XS activate XS zeros n__zeros activate n__zeros zeros activate X X zeros 0 cons 2 0 0 n__zeros 0 tail 1 activate 1 FULL ./TRS/TRCSR/Ex4_7_77_Bor03_FR.trs ./TRS/TRCSR/Ex4_7_77_Bor03_Z.trs