zeros cons 0 zeros U11 tt L U12 tt L U12 tt L s length L U21 tt IL M N U22 tt IL M N U22 tt IL M N U23 tt IL M N U23 tt IL M N cons N take M IL length nil 0 length cons N L U11 tt L take 0 IL nil take s M cons N IL U21 tt IL M N zeros 0 cons 2 1 0 0 U11 2 1 tt 0 U12 2 1 s 1 1 length 1 1 U21 4 1 U22 4 1 U23 4 1 take 2 1 2 nil 0 FULL ./TRS/CSR_Maude/lazy-nat-list/OvConsOS_nosorts-noand.trs