from X cons X length 0 length s length1 length1 length from 1 cons 1 length 0 0 0 s 1 length1 0 INNERMOST ./TRS/TRCSR/Ex14_AEGL02_L.trs