from X cons X from s X length nil 0 length cons X Y s length1 Y length1 X length X from 1 1 cons 2 1 s 1 1 length 1 nil 0 0 0 length1 1 FULL ./TRS/CSR/Ex14_AEGL02.trs