zeros cons 0 zeros and tt X X length nil 0 length cons N L s length L take 0 IL nil take s M cons N IL cons N take M IL zeros 0 cons 2 1 0 0 and 2 1 tt 0 length 1 1 nil 0 s 1 1 take 2 1 2 FULL ./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nosorts.trs