U72 tt s length L U93 tt cons N zeros cons 0 U11 tt tt U21 tt tt U31 tt tt U41 tt U42 isNatIList U42 tt tt U51 tt U52 isNatList U52 tt tt U61 tt U62 isNatIList U62 tt tt U71 tt U72 isNat U81 tt nil U91 tt U92 isNat U92 tt U93 isNat isNat tt isNat U11 isNatList isNat U21 isNat isNatIList U31 isNatList isNatIList tt isNatIList U41 isNat isNatList tt isNatList U51 isNat isNatList U61 isNat length nil 0 length cons N U71 isNatList take 0 IL U81 isNatIList take s M cons N U91 isNatIList U72 1 tt 0 s 1 length 1 U93 1 cons 1 zeros 0 0 0 U11 1 U21 1 U31 1 U41 1 U42 1 isNatIList 0 U51 1 U52 1 isNatList 0 U61 1 U62 1 U71 1 isNat 0 U81 1 nil 0 U91 1 U92 1 take 2 FULL ./TRS/TRCSR/OvConsOS_nokinds-noand_L.trs