a__zeros cons 0 zeros a__U101 tt V1 V2 a__U102 a__isNatKind V1 V1 V2 a__U102 tt V1 V2 a__U103 a__isNatIListKind V2 V1 V2 a__U103 tt V1 V2 a__U104 a__isNatIListKind V2 V1 V2 a__U104 tt V1 V2 a__U105 a__isNat V1 V2 a__U105 tt V2 a__U106 a__isNatIList V2 a__U106 tt tt a__U11 tt V1 a__U12 a__isNatIListKind V1 V1 a__U111 tt L N a__U112 a__isNatIListKind L L N a__U112 tt L N a__U113 a__isNat N L N a__U113 tt L N a__U114 a__isNatKind N L a__U114 tt L s a__length mark L a__U12 tt V1 a__U13 a__isNatList V1 a__U121 tt IL a__U122 a__isNatIListKind IL a__U122 tt nil a__U13 tt tt a__U131 tt IL M N a__U132 a__isNatIListKind IL IL M N a__U132 tt IL M N a__U133 a__isNat M IL M N a__U133 tt IL M N a__U134 a__isNatKind M IL M N a__U134 tt IL M N a__U135 a__isNat N IL M N a__U135 tt IL M N a__U136 a__isNatKind N IL M N a__U136 tt IL M N cons mark N take M IL a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U22 tt V1 a__U23 a__isNat V1 a__U23 tt tt a__U31 tt V a__U32 a__isNatIListKind V V a__U32 tt V a__U33 a__isNatList V a__U33 tt tt a__U41 tt V1 V2 a__U42 a__isNatKind V1 V1 V2 a__U42 tt V1 V2 a__U43 a__isNatIListKind V2 V1 V2 a__U43 tt V1 V2 a__U44 a__isNatIListKind V2 V1 V2 a__U44 tt V1 V2 a__U45 a__isNat V1 V2 a__U45 tt V2 a__U46 a__isNatIList V2 a__U46 tt tt a__U51 tt V2 a__U52 a__isNatIListKind V2 a__U52 tt tt a__U61 tt V2 a__U62 a__isNatIListKind V2 a__U62 tt tt a__U71 tt tt a__U81 tt tt a__U91 tt V1 V2 a__U92 a__isNatKind V1 V1 V2 a__U92 tt V1 V2 a__U93 a__isNatIListKind V2 V1 V2 a__U93 tt V1 V2 a__U94 a__isNatIListKind V2 V1 V2 a__U94 tt V1 V2 a__U95 a__isNat V1 V2 a__U95 tt V2 a__U96 a__isNatList V2 a__U96 tt tt a__isNat 0 tt a__isNat length V1 a__U11 a__isNatIListKind V1 V1 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__isNatIList V a__U31 a__isNatIListKind V V a__isNatIList zeros tt a__isNatIList cons V1 V2 a__U41 a__isNatKind V1 V1 V2 a__isNatIListKind nil tt a__isNatIListKind zeros tt a__isNatIListKind cons V1 V2 a__U51 a__isNatKind V1 V2 a__isNatIListKind take V1 V2 a__U61 a__isNatKind V1 V2 a__isNatKind 0 tt a__isNatKind length V1 a__U71 a__isNatIListKind V1 a__isNatKind s V1 a__U81 a__isNatKind V1 a__isNatList nil tt a__isNatList cons V1 V2 a__U91 a__isNatKind V1 V1 V2 a__isNatList take V1 V2 a__U101 a__isNatKind V1 V1 V2 a__length nil 0 a__length cons N L a__U111 a__isNatList L L N a__take 0 IL a__U121 a__isNatIList IL IL a__take s M cons N IL a__U131 a__isNatIList IL IL M N mark zeros a__zeros mark U101 X1 X2 X3 a__U101 mark X1 X2 X3 mark U102 X1 X2 X3 a__U102 mark X1 X2 X3 mark isNatKind X a__isNatKind X mark U103 X1 X2 X3 a__U103 mark X1 X2 X3 mark isNatIListKind X a__isNatIListKind X mark U104 X1 X2 X3 a__U104 mark X1 X2 X3 mark U105 X1 X2 a__U105 mark X1 X2 mark isNat X a__isNat X mark U106 X a__U106 mark X mark isNatIList X a__isNatIList X mark U11 X1 X2 a__U11 mark X1 X2 mark U12 X1 X2 a__U12 mark X1 X2 mark U111 X1 X2 X3 a__U111 mark X1 X2 X3 mark U112 X1 X2 X3 a__U112 mark X1 X2 X3 mark U113 X1 X2 X3 a__U113 mark X1 X2 X3 mark U114 X1 X2 a__U114 mark X1 X2 mark length X a__length mark X mark U13 X a__U13 mark X mark isNatList X a__isNatList X mark U121 X1 X2 a__U121 mark X1 X2 mark U122 X a__U122 mark X mark U131 X1 X2 X3 X4 a__U131 mark X1 X2 X3 X4 mark U132 X1 X2 X3 X4 a__U132 mark X1 X2 X3 X4 mark U133 X1 X2 X3 X4 a__U133 mark X1 X2 X3 X4 mark U134 X1 X2 X3 X4 a__U134 mark X1 X2 X3 X4 mark U135 X1 X2 X3 X4 a__U135 mark X1 X2 X3 X4 mark U136 X1 X2 X3 X4 a__U136 mark X1 X2 X3 X4 mark take X1 X2 a__take mark X1 mark X2 mark U21 X1 X2 a__U21 mark X1 X2 mark U22 X1 X2 a__U22 mark X1 X2 mark U23 X a__U23 mark X mark U31 X1 X2 a__U31 mark X1 X2 mark U32 X1 X2 a__U32 mark X1 X2 mark U33 X a__U33 mark X mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 mark U45 X1 X2 a__U45 mark X1 X2 mark U46 X a__U46 mark X mark U51 X1 X2 a__U51 mark X1 X2 mark U52 X a__U52 mark X mark U61 X1 X2 a__U61 mark X1 X2 mark U62 X a__U62 mark X mark U71 X a__U71 mark X mark U81 X a__U81 mark X mark U91 X1 X2 X3 a__U91 mark X1 X2 X3 mark U92 X1 X2 X3 a__U92 mark X1 X2 X3 mark U93 X1 X2 X3 a__U93 mark X1 X2 X3 mark U94 X1 X2 X3 a__U94 mark X1 X2 X3 mark U95 X1 X2 a__U95 mark X1 X2 mark U96 X a__U96 mark X mark cons X1 X2 cons mark X1 X2 mark 0 0 mark tt tt mark s X s mark X mark nil nil a__zeros zeros a__U101 X1 X2 X3 U101 X1 X2 X3 a__U102 X1 X2 X3 U102 X1 X2 X3 a__isNatKind X isNatKind X a__U103 X1 X2 X3 U103 X1 X2 X3 a__isNatIListKind X isNatIListKind X a__U104 X1 X2 X3 U104 X1 X2 X3 a__U105 X1 X2 U105 X1 X2 a__isNat X isNat X a__U106 X U106 X a__isNatIList X isNatIList X a__U11 X1 X2 U11 X1 X2 a__U12 X1 X2 U12 X1 X2 a__U111 X1 X2 X3 U111 X1 X2 X3 a__U112 X1 X2 X3 U112 X1 X2 X3 a__U113 X1 X2 X3 U113 X1 X2 X3 a__U114 X1 X2 U114 X1 X2 a__length X length X a__U13 X U13 X a__isNatList X isNatList X a__U121 X1 X2 U121 X1 X2 a__U122 X U122 X a__U131 X1 X2 X3 X4 U131 X1 X2 X3 X4 a__U132 X1 X2 X3 X4 U132 X1 X2 X3 X4 a__U133 X1 X2 X3 X4 U133 X1 X2 X3 X4 a__U134 X1 X2 X3 X4 U134 X1 X2 X3 X4 a__U135 X1 X2 X3 X4 U135 X1 X2 X3 X4 a__U136 X1 X2 X3 X4 U136 X1 X2 X3 X4 a__take X1 X2 take X1 X2 a__U21 X1 X2 U21 X1 X2 a__U22 X1 X2 U22 X1 X2 a__U23 X U23 X a__U31 X1 X2 U31 X1 X2 a__U32 X1 X2 U32 X1 X2 a__U33 X U33 X a__U41 X1 X2 X3 U41 X1 X2 X3 a__U42 X1 X2 X3 U42 X1 X2 X3 a__U43 X1 X2 X3 U43 X1 X2 X3 a__U44 X1 X2 X3 U44 X1 X2 X3 a__U45 X1 X2 U45 X1 X2 a__U46 X U46 X a__U51 X1 X2 U51 X1 X2 a__U52 X U52 X a__U61 X1 X2 U61 X1 X2 a__U62 X U62 X a__U71 X U71 X a__U81 X U81 X a__U91 X1 X2 X3 U91 X1 X2 X3 a__U92 X1 X2 X3 U92 X1 X2 X3 a__U93 X1 X2 X3 U93 X1 X2 X3 a__U94 X1 X2 X3 U94 X1 X2 X3 a__U95 X1 X2 U95 X1 X2 a__U96 X U96 X a__zeros 0 cons 2 0 0 zeros 0 a__U101 3 tt 0 a__U102 3 a__isNatKind 1 a__U103 3 a__isNatIListKind 1 a__U104 3 a__U105 2 a__isNat 1 a__U106 1 a__isNatIList 1 a__U11 2 a__U12 2 a__U111 3 a__U112 3 a__U113 3 a__U114 2 s 1 a__length 1 mark 1 a__U13 1 a__isNatList 1 a__U121 2 a__U122 1 nil 0 a__U131 4 a__U132 4 a__U133 4 a__U134 4 a__U135 4 a__U136 4 take 2 a__U21 2 a__U22 2 a__U23 1 a__U31 2 a__U32 2 a__U33 1 a__U41 3 a__U42 3 a__U43 3 a__U44 3 a__U45 2 a__U46 1 a__U51 2 a__U52 1 a__U61 2 a__U62 1 a__U71 1 a__U81 1 a__U91 3 a__U92 3 a__U93 3 a__U94 3 a__U95 2 a__U96 1 length 1 a__take 2 U101 3 U102 3 isNatKind 1 U103 3 isNatIListKind 1 U104 3 U105 2 isNat 1 U106 1 isNatIList 1 U11 2 U12 2 U111 3 U112 3 U113 3 U114 2 U13 1 isNatList 1 U121 2 U122 1 U131 4 U132 4 U133 4 U134 4 U135 4 U136 4 U21 2 U22 2 U23 1 U31 2 U32 2 U33 1 U41 3 U42 3 U43 3 U44 3 U45 2 U46 1 U51 2 U52 1 U61 2 U62 1 U71 1 U81 1 U91 3 U92 3 U93 3 U94 3 U95 2 U96 1 FULL ./TRS/TRCSR/OvConsOS_complete_noand_GM.trs