U114 tt s length L U136 tt cons N zeros cons 0 U101 tt U102 isNatKind U102 tt U103 isNatIListKind U103 tt U104 isNatIListKind U104 tt U105 isNat U105 tt U106 isNatIList U106 tt tt U11 tt U12 isNatIListKind U111 tt U112 isNatIListKind U112 tt U113 isNat U113 tt U114 isNatKind U12 tt U13 isNatList U121 tt U122 isNatIListKind U122 tt nil U13 tt tt U131 tt U132 isNatIListKind U132 tt U133 isNat U133 tt U134 isNatKind U134 tt U135 isNat U135 tt U136 isNatKind U21 tt U22 isNatKind U22 tt U23 isNat U23 tt tt U31 tt U32 isNatIListKind U32 tt U33 isNatList U33 tt tt U41 tt U42 isNatKind U42 tt U43 isNatIListKind U43 tt U44 isNatIListKind U44 tt U45 isNat U45 tt U46 isNatIList U46 tt tt U51 tt U52 isNatIListKind U52 tt tt U61 tt U62 isNatIListKind U62 tt tt U71 tt tt U81 tt tt U91 tt U92 isNatKind U92 tt U93 isNatIListKind U93 tt U94 isNatIListKind U94 tt U95 isNat U95 tt U96 isNatList U96 tt tt isNat tt isNat U11 isNatIListKind isNat U21 isNatKind isNatIList U31 isNatIListKind isNatIList tt isNatIList U41 isNatKind isNatIListKind tt isNatIListKind U51 isNatKind isNatIListKind U61 isNatKind isNatKind tt isNatKind U71 isNatIListKind isNatKind U81 isNatKind isNatList tt isNatList U91 isNatKind isNatList U101 isNatKind length nil 0 length cons N U111 isNatList take 0 IL U121 isNatIList take s M cons N U131 isNatIList U114 1 tt 0 s 1 length 1 U136 1 cons 1 zeros 0 0 0 U101 1 U102 1 isNatKind 0 U103 1 isNatIListKind 0 U104 1 U105 1 isNat 0 U106 1 isNatIList 0 U11 1 U12 1 U111 1 U112 1 U113 1 U13 1 isNatList 0 U121 1 U122 1 nil 0 U131 1 U132 1 U133 1 U134 1 U135 1 U21 1 U22 1 U23 1 U31 1 U32 1 U33 1 U41 1 U42 1 U43 1 U44 1 U45 1 U46 1 U51 1 U52 1 U61 1 U62 1 U71 1 U81 1 U91 1 U92 1 U93 1 U94 1 U95 1 U96 1 take 2 FULL ./TRS/TRCSR/OvConsOS_complete-noand_L.trs