/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a__zeros cons 0 zeros a__U11 tt V1 a__U12 a__isNatIListKind V1 V1 a__U12 tt V1 a__U13 a__isNatList V1 a__U13 tt tt 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 tt a__U71 tt tt a__U81 tt V1 V2 a__U82 a__isNatKind V1 V1 V2 a__U82 tt V1 V2 a__U83 a__isNatIListKind V2 V1 V2 a__U83 tt V1 V2 a__U84 a__isNatIListKind V2 V1 V2 a__U84 tt V1 V2 a__U85 a__isNat V1 V2 a__U85 tt V2 a__U86 a__isNatList V2 a__U86 tt tt a__U91 tt L N a__U92 a__isNatIListKind L L N a__U92 tt L N a__U93 a__isNat N L N a__U93 tt L N a__U94 a__isNatKind N L a__U94 tt L s a__length mark L 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__isNatKind 0 tt a__isNatKind length V1 a__U61 a__isNatIListKind V1 a__isNatKind s V1 a__U71 a__isNatKind V1 a__isNatList nil tt a__isNatList cons V1 V2 a__U81 a__isNatKind V1 V1 V2 a__length nil 0 a__length cons N L a__U91 a__isNatList L L N mark zeros a__zeros mark U11 X1 X2 a__U11 mark X1 X2 mark U12 X1 X2 a__U12 mark X1 X2 mark isNatIListKind X a__isNatIListKind X mark U13 X a__U13 mark X mark isNatList X a__isNatList X mark U21 X1 X2 a__U21 mark X1 X2 mark U22 X1 X2 a__U22 mark X1 X2 mark isNatKind X a__isNatKind X mark U23 X a__U23 mark X mark isNat X a__isNat 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 isNatIList X a__isNatIList X mark U51 X1 X2 a__U51 mark X1 X2 mark U52 X a__U52 mark X mark U61 X a__U61 mark X mark U71 X a__U71 mark X mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 mark U85 X1 X2 a__U85 mark X1 X2 mark U86 X a__U86 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 a__U94 mark X1 X2 mark length X a__length 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__U11 X1 X2 U11 X1 X2 a__U12 X1 X2 U12 X1 X2 a__isNatIListKind X isNatIListKind X a__U13 X U13 X a__isNatList X isNatList X a__U21 X1 X2 U21 X1 X2 a__U22 X1 X2 U22 X1 X2 a__isNatKind X isNatKind X a__U23 X U23 X a__isNat X isNat 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__isNatIList X isNatIList X a__U51 X1 X2 U51 X1 X2 a__U52 X U52 X a__U61 X U61 X a__U71 X U71 X a__U81 X1 X2 X3 U81 X1 X2 X3 a__U82 X1 X2 X3 U82 X1 X2 X3 a__U83 X1 X2 X3 U83 X1 X2 X3 a__U84 X1 X2 X3 U84 X1 X2 X3 a__U85 X1 X2 U85 X1 X2 a__U86 X U86 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 U94 X1 X2 a__length X length X 2.2 a__U11 tt V1 a__isNatIListKind V1 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 a__U32 tt V a__isNatList V mark U31 X1 X2 mark X1 mark U32 X1 X2 mark X1 mark U44 X1 X2 X3 mark X1 mark U23 X mark X mark isNat X a__isNat X a__U32 tt V a__U33 a__isNatList V a__U81 tt V1 V2 a__isNatKind V1 a__U92 tt L N a__isNat N a__U43 tt V1 V2 a__isNatIListKind V2 mark isNatIList X a__isNatIList X a__U81 tt V1 V2 a__U82 a__isNatKind V1 V1 V2 a__isNatIList V a__isNatIListKind V a__U82 tt V1 V2 a__isNatIListKind V2 a__isNatList cons V1 V2 a__isNatKind V1 a__U94 tt L a__length mark L mark U85 X1 X2 a__U85 mark X1 X2 a__U83 tt V1 V2 a__U84 a__isNatIListKind V2 V1 V2 mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 mark U85 X1 X2 mark X1 a__U31 tt V a__isNatIListKind V mark isNatList X a__isNatList X a__isNatIList cons V1 V2 a__U41 a__isNatKind V1 V1 V2 a__U94 tt L mark L mark U91 X1 X2 X3 mark X1 a__isNatIList cons V1 V2 a__isNatKind V1 a__U42 tt V1 V2 a__U43 a__isNatIListKind V2 V1 V2 mark U13 X a__U13 mark X a__U12 tt V1 a__U13 a__isNatList V1 mark cons X1 X2 mark X1 mark U52 X a__U52 mark X mark U51 X1 X2 a__U51 mark X1 X2 mark U94 X1 X2 a__U94 mark X1 X2 mark length X a__length mark X a__U43 tt V1 V2 a__U44 a__isNatIListKind V2 V1 V2 a__isNatList cons V1 V2 a__U81 a__isNatKind V1 V1 V2 a__isNat length V1 a__isNatIListKind V1 mark U61 X a__U61 mark X a__isNatKind length V1 a__U61 a__isNatIListKind V1 a__length cons N L a__U91 a__isNatList L L N a__isNatKind s V1 a__U71 a__isNatKind V1 a__isNatIList V a__U31 a__isNatIListKind V V mark U91 X1 X2 X3 a__U91 mark X1 X2 X3 mark U12 X1 X2 a__U12 mark X1 X2 mark U43 X1 X2 X3 mark X1 a__U92 tt L N a__U93 a__isNat N L N mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__U44 tt V1 V2 a__isNat V1 mark U11 X1 X2 mark X1 mark isNatIListKind X a__isNatIListKind X a__isNatIListKind cons V1 V2 a__isNatKind V1 mark U86 X a__U86 mark X a__U85 tt V2 a__U86 a__isNatList V2 a__U41 tt V1 V2 a__isNatKind V1 a__U82 tt V1 V2 a__U83 a__isNatIListKind V2 V1 V2 a__U44 tt V1 V2 a__U45 a__isNat V1 V2 a__U91 tt L N a__isNatIListKind L a__isNatKind s V1 a__isNatKind V1 mark U41 X1 X2 X3 mark X1 a__U85 tt V2 a__isNatList V2 mark U94 X1 X2 mark X1 a__U21 tt V1 a__isNatKind V1 mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 mark U51 X1 X2 mark X1 a__isNatKind length V1 a__isNatIListKind V1 a__isNat length V1 a__U11 a__isNatIListKind V1 V1 a__U42 tt V1 V2 a__isNatIListKind V2 mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 mark U61 X mark X a__U84 tt V1 V2 a__U85 a__isNat V1 V2 mark U84 X1 X2 X3 mark X1 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 mark U71 X a__U71 mark X mark U93 X1 X2 X3 a__U93 mark X1 X2 X3 a__U21 tt V1 a__U22 a__isNatKind V1 V1 mark U46 X a__U46 mark X mark U13 X mark X a__length cons N L a__isNatList L mark U45 X1 X2 a__U45 mark X1 X2 mark U86 X mark X mark U45 X1 X2 mark X1 mark U92 X1 X2 X3 mark X1 a__U22 tt V1 a__isNat V1 mark U42 X1 X2 X3 mark X1 mark U22 X1 X2 a__U22 mark X1 X2 a__U93 tt L N a__isNatKind N a__U41 tt V1 V2 a__U42 a__isNatKind V1 V1 V2 mark U23 X a__U23 mark X mark U31 X1 X2 a__U31 mark X1 X2 mark U11 X1 X2 a__U11 mark X1 X2 mark U93 X1 X2 X3 mark X1 mark U32 X1 X2 a__U32 mark X1 X2 a__isNat s V1 a__U21 a__isNatKind V1 V1 mark U81 X1 X2 X3 mark X1 mark U83 X1 X2 X3 mark X1 mark U52 X mark X a__U12 tt V1 a__isNatList V1 mark zeros a__zeros a__U22 tt V1 a__U23 a__isNat V1 mark U21 X1 X2 mark X1 a__U45 tt V2 a__isNatIList V2 mark U92 X1 X2 X3 a__U92 mark X1 X2 X3 a__U51 tt V2 a__isNatIListKind V2 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U91 tt L N a__U92 a__isNatIListKind L L N a__isNat s V1 a__isNatKind V1 a__U31 tt V a__U32 a__isNatIListKind V V mark length X mark X mark isNatKind X a__isNatKind X mark U71 X mark X mark U82 X1 X2 X3 mark X1 mark s X mark X mark U12 X1 X2 mark X1 a__U11 tt V1 a__U12 a__isNatIListKind V1 V1 a__U45 tt V2 a__U46 a__isNatIList V2 a__U83 tt V1 V2 a__isNatIListKind V2 mark U46 X mark X mark U22 X1 X2 mark X1 mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 mark U33 X a__U33 mark X mark U33 X mark X a__U93 tt L N a__U94 a__isNatKind N L a__U51 tt V2 a__U52 a__isNatIListKind V2 a__isNatIListKind cons V1 V2 a__U51 a__isNatKind V1 V2 a__U84 tt V1 V2 a__isNat V1 mark U21 X1 X2 a__U21 mark X1 X2 true mark U84 X1 X2 X3 mark X1 mark U61 X mark X a__U93 tt L N a__U94 a__isNatKind N L mark U33 X mark X mark U51 X1 X2 mark X1 mark U94 X1 X2 mark X1 mark U41 X1 X2 X3 mark X1 mark U22 X1 X2 mark X1 mark U46 X mark X mark U11 X1 X2 mark X1 mark U12 X1 X2 mark X1 mark s X mark X mark U82 X1 X2 X3 mark X1 mark U43 X1 X2 X3 mark X1 a__U92 tt L N a__U93 a__isNat N L N mark U71 X mark X mark U91 X1 X2 X3 a__U91 mark X1 X2 X3 mark length X mark X a__U91 tt L N a__U92 a__isNatIListKind L L N a__length cons N L a__U91 a__isNatList L L N mark U92 X1 X2 X3 a__U92 mark X1 X2 X3 mark U21 X1 X2 mark X1 mark length X a__length mark X mark U94 X1 X2 a__U94 mark X1 X2 mark U52 X mark X mark cons X1 X2 mark X1 mark U83 X1 X2 X3 mark X1 mark U81 X1 X2 X3 mark X1 mark U91 X1 X2 X3 mark X1 a__U94 tt L mark L mark U85 X1 X2 mark X1 mark U93 X1 X2 X3 mark X1 a__U94 tt L a__length mark L mark U42 X1 X2 X3 mark X1 mark U92 X1 X2 X3 mark X1 mark U86 X mark X mark U45 X1 X2 mark X1 mark U44 X1 X2 X3 mark X1 mark U23 X mark X mark U13 X mark X mark U32 X1 X2 mark X1 mark U31 X1 X2 mark X1 mark U93 X1 X2 X3 a__U93 mark X1 X2 X3 true a__U94 2 2 1 a__U83 3 1 0 a__isNatKind 1 0 isNatKind 1 1 U21 2 1 0 a__U82 3 0 a__U45 2 1 2 2 isNatList 1 1 a__U85 2 1 0 a__U71 1 0 U11 2 1 0 a__U92 3 2 1 s 1 1 0 a__U31 2 0 a__U33 1 0 a__U93 3 2 1 a__isNatIList 1 1 2 a__U33 1 1 1 a__U86 1 0 a__isNatIListKind 1 0 a__U23 1 0 U42 3 1 3 2 U91 3 1 2 3 2 a__isNat 1 0 a__U82 3 1 0 U71 1 1 0 a__U84 3 1 0 a__U86 1 1 0 a__U44 3 1 3 2 isNatIList 1 1 2 a__U43 3 0 U43 3 1 3 2 a__U13 1 0 a__U44 3 0 U86 1 1 0 U44 3 1 3 2 a__U46 1 0 U84 3 1 0 a__U51 2 0 U23 1 1 0 a__U22 2 1 0 U93 3 1 2 2 a__U94 2 1 2 2 a__U11 2 0 U94 2 1 2 2 zeros 0 38343 a__U31 2 1 2 1 a__U51 2 1 0 a__U81 3 1 0 U12 2 1 0 a__U84 3 0 a__isNatList 1 1 a__U43 3 1 3 2 a__U42 3 0 a__U41 3 1 2 3 2 a__U12 2 0 a__U21 2 0 a__isNatIList 1 0 a__U81 3 0 a__U61 1 0 U83 3 1 0 mark 1 1 0 0 0 0 a__zeros 0 0 a__U21 2 1 0 a__U32 2 1 2 1 a__U91 3 1 2 3 2 nil 0 10293 isNatIListKind 1 1 a__U52 1 0 U45 2 1 2 2 mark 1 1 1 a__U11 2 1 0 U32 2 1 2 1 a__U42 3 1 3 2 a__U93 3 1 2 2 U33 1 1 1 a__U45 2 0 a__U52 1 1 0 a__length 1 1 0 a__U12 2 1 0 a__isNatIListKind 1 1 isNat 1 1 U46 1 1 1 U52 1 1 0 U61 1 1 0 a__U46 1 1 1 a__U22 2 0 a__U13 1 1 0 a__U85 2 0 U31 2 1 2 1 U85 2 1 0 a__U83 3 0 a__isNatList 1 0 a__U71 1 1 0 U92 3 1 2 2 cons 2 1 2 1 a__U92 3 1 2 2 a__U61 1 1 0 U81 3 1 0 a__U41 3 0 U82 3 1 0 tt 0 1 a__isNat 1 1 U13 1 1 0 a__U23 1 1 0 a__isNatKind 1 1 U22 2 1 0 U51 2 1 0 length 1 1 2 U41 3 1 2 3 2 a__U32 2 0 a__zeros 0 38344 a__U91 3 2 1 a__length 1 1 2 mark U13 X mark X mark U23 X mark X mark U86 X mark X a__U94 tt L a__length mark L mark U85 X1 X2 mark X1 mark U81 X1 X2 X3 mark X1 mark U83 X1 X2 X3 mark X1 mark U52 X mark X mark U21 X1 X2 mark X1 a__length cons N L a__U91 a__isNatList L L N a__U91 tt L N a__U92 a__isNatIListKind L L N mark U71 X mark X a__U92 tt L N a__U93 a__isNat N L N mark U82 X1 X2 X3 mark X1 mark s X mark X mark U12 X1 X2 mark X1 mark U11 X1 X2 mark X1 mark U22 X1 X2 mark X1 mark U51 X1 X2 mark X1 a__U93 tt L N a__U94 a__isNatKind N L mark U61 X mark X mark U84 X1 X2 X3 mark X1 a__U52 tt tt mark isNatIListKind X a__isNatIListKind X mark U93 X1 X2 X3 a__U93 mark X1 X2 X3 a__U43 X1 X2 X3 U43 X1 X2 X3 a__U13 tt tt a__U42 X1 X2 X3 U42 X1 X2 X3 a__U41 X1 X2 X3 U41 X1 X2 X3 a__U45 tt V2 a__U46 a__isNatIList V2 a__U93 X1 X2 X3 U93 X1 X2 X3 a__U31 tt V a__U32 a__isNatIListKind V V mark U22 X1 X2 a__U22 mark X1 X2 a__zeros cons 0 zeros mark U86 X a__U86 mark X a__U12 tt V1 a__U13 a__isNatList V1 a__U46 tt tt a__U81 tt V1 V2 a__U82 a__isNatKind V1 V1 V2 a__isNatIList cons V1 V2 a__U41 a__isNatKind V1 V1 V2 mark U51 X1 X2 a__U51 mark X1 X2 a__U94 X1 X2 U94 X1 X2 mark tt tt a__U32 X1 X2 U32 X1 X2 a__U86 tt tt a__U44 X1 X2 X3 U44 X1 X2 X3 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 a__U61 tt tt a__isNat length V1 a__U11 a__isNatIListKind V1 V1 a__U51 tt V2 a__U52 a__isNatIListKind V2 a__U85 X1 X2 U85 X1 X2 mark U33 X a__U33 mark X a__U91 tt L N a__U92 a__isNatIListKind L L N mark nil nil mark 0 0 a__isNatIList V a__U31 a__isNatIListKind V V a__U82 tt V1 V2 a__U83 a__isNatIListKind V2 V1 V2 a__U92 tt L N a__U93 a__isNat N L N mark U45 X1 X2 a__U45 mark X1 X2 a__isNatList cons V1 V2 a__U81 a__isNatKind V1 V1 V2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U92 X1 X2 X3 U92 X1 X2 X3 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 a__isNat s V1 a__U21 a__isNatKind V1 V1 mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__isNatList X isNatList X a__U91 X1 X2 X3 U91 X1 X2 X3 a__U13 X U13 X a__U33 tt tt a__isNatIListKind cons V1 V2 a__U51 a__isNatKind V1 V2 a__U23 tt tt a__zeros zeros a__U71 tt tt a__isNatIList X isNatIList X a__U85 tt V2 a__U86 a__isNatList V2 mark U12 X1 X2 a__U12 mark X1 X2 mark isNatList X a__isNatList X a__U94 tt L s a__length mark L mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 a__U45 X1 X2 U45 X1 X2 a__U44 tt V1 V2 a__U45 a__isNat V1 V2 a__U61 X U61 X mark length X a__length mark X a__U11 X1 X2 U11 X1 X2 mark U23 X a__U23 mark X mark U92 X1 X2 X3 a__U92 mark X1 X2 X3 a__isNat 0 tt a__U42 tt V1 V2 a__U43 a__isNatIListKind V2 V1 V2 a__U33 X U33 X mark U52 X a__U52 mark X a__isNatKind X isNatKind X a__length nil 0 mark U91 X1 X2 X3 a__U91 mark X1 X2 X3 a__U86 X U86 X mark U94 X1 X2 a__U94 mark X1 X2 a__U83 tt V1 V2 a__U84 a__isNatIListKind V2 V1 V2 mark U61 X a__U61 mark X a__U84 tt V1 V2 a__U85 a__isNat V1 V2 a__U21 X1 X2 U21 X1 X2 a__U51 X1 X2 U51 X1 X2 mark U85 X1 X2 a__U85 mark X1 X2 mark isNat X a__isNat X a__isNat X isNat X a__U41 tt V1 V2 a__U42 a__isNatKind V1 V1 V2 a__U32 tt V a__U33 a__isNatList V a__U43 tt V1 V2 a__U44 a__isNatIListKind V2 V1 V2 mark U13 X a__U13 mark X a__U46 X U46 X a__U12 X1 X2 U12 X1 X2 a__isNatKind 0 tt mark isNatIList X a__isNatIList X mark isNatKind X a__isNatKind X a__U52 X U52 X mark U32 X1 X2 a__U32 mark X1 X2 a__U22 tt V1 a__U23 a__isNat V1 a__U84 X1 X2 X3 U84 X1 X2 X3 a__isNatIListKind zeros tt mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U81 X1 X2 X3 U81 X1 X2 X3 mark U31 X1 X2 a__U31 mark X1 X2 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U71 X U71 X mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__length X length X mark U11 X1 X2 a__U11 mark X1 X2 mark U71 X a__U71 mark X mark U21 X1 X2 a__U21 mark X1 X2 mark zeros a__zeros mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 a__isNatIListKind X isNatIListKind X a__U23 X U23 X a__U31 X1 X2 U31 X1 X2 a__U82 X1 X2 X3 U82 X1 X2 X3 a__isNatIListKind nil tt a__isNatKind length V1 a__U61 a__isNatIListKind V1 a__U22 X1 X2 U22 X1 X2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind s V1 a__U71 a__isNatKind V1 a__length cons N L a__U91 a__isNatList L L N mark U46 X a__U46 mark X mark cons X1 X2 cons mark X1 X2 a__isNatIList zeros tt a__U93 tt L N a__U94 a__isNatKind N L a__isNatList nil tt mark s X s mark X a__U11 tt V1 a__U12 a__isNatIListKind V1 V1 a__U91 tt L N a__U92 a__isNatIListKind L L N a__U92 tt L N a__U93 a__isNat N L N a__U94 tt L a__length mark L a__length cons N L a__U91 a__isNatList L L N a__U93 tt L N a__U94 a__isNatKind N L true 2 1 a__U94 2 1 1 1 1 1 2 38783 19396 a__U83 3 1 1 0 0 3 19394 19394 a__isNatKind 1 0 0 isNatKind 1 1 1 1 1 1 0 0 U21 2 0 0 a__U82 3 0 0 a__U45 2 1 1 1 1 2 19395 19395 isNatList 1 1 1 1 1 1 0 0 a__U85 2 1 0 0 a__U71 1 0 0 U11 2 0 0 a__U92 3 1 1 1 1 1 1 1 1 1 2 1 1 1 1 3 19389 0 s 1 2 0 a__U31 2 0 0 a__U33 1 0 0 a__U93 3 0 1 1 0 1 1 1 1 1 2 1 1 1 1 3 38782 19394 a__isNatIList 1 1 1 1 1 1 19395 19395 a__U33 1 1 0 0 a__U86 1 0 0 a__isNatIListKind 1 0 0 a__U23 1 0 0 U42 3 0 0 1 1 2 1 1 1 1 3 1 0 U91 3 1 1 0 0 2 0 0 a__isNat 1 0 0 a__U82 3 1 1 0 0 3 19395 19395 U71 1 0 0 a__U84 3 19394 19394 a__U86 1 19394 19394 a__U44 3 0 0 1 1 2 1 1 1 1 3 19395 19395 isNatIList 1 1 1 1 1 1 0 0 a__U43 3 0 0 U43 3 0 0 1 1 2 1 1 1 1 3 0 0 a__U13 1 0 0 a__U44 3 0 0 U86 1 0 0 U44 3 0 0 1 1 2 1 1 1 1 3 0 0 a__U46 1 0 0 U84 3 12609 0 a__U51 2 0 0 U23 1 0 0 a__U22 2 19394 19394 U93 3 1 1 1 0 0 2 0 0 a__U94 2 1 1 0 0 2 2 0 a__U11 2 0 0 U94 2 1 1 0 0 2 0 0 zeros 0 1 1 a__U31 2 0 1 1 0 1 1 1 1 1 2 1 1 a__U51 2 19394 19394 a__U81 3 1 1 0 0 3 38787 19395 U12 2 1 0 0 a__U84 3 0 0 a__isNatList 1 1 1 1 1 1 1 1 a__U43 3 0 0 1 1 2 1 1 1 1 3 19395 19395 a__U42 3 0 0 a__U41 3 0 0 1 1 2 1 1 1 1 3 19395 19395 a__U12 2 0 0 a__U21 2 0 0 a__isNatIList 1 0 0 a__U81 3 0 0 a__U61 1 0 0 U83 3 1 1 0 0 3 0 0 mark 1 0 0 0 0 1 1 a__zeros 0 0 0 a__U21 2 19394 19394 a__U32 2 1 1 1 1 2 1 3334 a__U91 3 1 1 0 0 2 19394 19394 nil 0 19106 287 isNatIListKind 1 0 19394 a__U52 1 0 0 U45 2 1 1 1 1 2 0 0 mark 1 0 1 1 0 1 19395 19395 a__U11 2 19394 19394 U32 2 1 1 1 1 2 0 3334 a__U42 3 0 0 1 1 2 1 1 1 1 3 19395 19395 a__U93 3 1 1 1 0 0 2 0 0 U33 1 1 0 0 a__U45 2 0 0 a__U52 1 19394 19394 a__length 1 1 1 1 1 1 0 0 a__U12 2 1 0 0 a__isNatIListKind 1 19394 19394 isNat 1 0 0 U46 1 0 1 1 0 1 0 0 U52 1 0 0 U61 1 0 0 a__U46 1 0 1 1 0 1 0 0 a__U22 2 0 0 a__U13 1 19394 19394 a__U85 2 0 0 U31 2 0 1 1 0 1 1 1 1 1 2 1 1 U85 2 1 0 0 a__U83 3 0 0 a__isNatList 1 0 0 a__U71 1 19394 19394 U92 3 0 1 1 0 1 1 1 0 0 2 0 0 cons 2 0 1 1 0 1 1 1 1 1 2 19393 19393 a__U92 3 0 1 1 0 1 1 1 0 0 2 0 0 a__U61 1 19394 19394 U81 3 1 1 0 0 3 32692 19392 a__U41 3 0 0 U82 3 1 1 0 0 3 0 0 tt 0 19394 19394 a__isNat 1 19394 19394 U13 1 0 0 a__U23 1 19394 19394 a__isNatKind 1 1 1 1 1 1 19392 19392 U22 2 0 10209 U51 2 0 0 length 1 1 1 1 U41 3 0 0 1 1 2 1 1 1 1 3 0 0 a__U32 2 0 0 a__zeros 0 19396 19396 a__U91 3 0 1 1 0 1 1 1 1 1 2 1 1 1 1 3 38784 19394 a__length 1 1 1 1 a__U52 tt tt mark isNatIListKind X a__isNatIListKind X mark U93 X1 X2 X3 a__U93 mark X1 X2 X3 a__U43 X1 X2 X3 U43 X1 X2 X3 a__U13 tt tt a__U42 X1 X2 X3 U42 X1 X2 X3 a__U41 X1 X2 X3 U41 X1 X2 X3 a__U45 tt V2 a__U46 a__isNatIList V2 a__U93 X1 X2 X3 U93 X1 X2 X3 a__U31 tt V a__U32 a__isNatIListKind V V mark U22 X1 X2 a__U22 mark X1 X2 a__zeros cons 0 zeros mark U86 X a__U86 mark X a__U12 tt V1 a__U13 a__isNatList V1 a__U46 tt tt a__U81 tt V1 V2 a__U82 a__isNatKind V1 V1 V2 a__isNatIList cons V1 V2 a__U41 a__isNatKind V1 V1 V2 mark U51 X1 X2 a__U51 mark X1 X2 a__U94 X1 X2 U94 X1 X2 mark tt tt a__U32 X1 X2 U32 X1 X2 a__U86 tt tt a__U44 X1 X2 X3 U44 X1 X2 X3 mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 a__U61 tt tt a__isNat length V1 a__U11 a__isNatIListKind V1 V1 a__U51 tt V2 a__U52 a__isNatIListKind V2 a__U85 X1 X2 U85 X1 X2 mark U33 X a__U33 mark X a__U91 tt L N a__U92 a__isNatIListKind L L N mark nil nil mark 0 0 a__isNatIList V a__U31 a__isNatIListKind V V a__U82 tt V1 V2 a__U83 a__isNatIListKind V2 V1 V2 a__U92 tt L N a__U93 a__isNat N L N mark U45 X1 X2 a__U45 mark X1 X2 a__isNatList cons V1 V2 a__U81 a__isNatKind V1 V1 V2 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U92 X1 X2 X3 U92 X1 X2 X3 mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 a__isNat s V1 a__U21 a__isNatKind V1 V1 mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 a__isNatList X isNatList X a__U91 X1 X2 X3 U91 X1 X2 X3 a__U13 X U13 X a__U33 tt tt a__isNatIListKind cons V1 V2 a__U51 a__isNatKind V1 V2 a__U23 tt tt a__zeros zeros a__U71 tt tt a__isNatIList X isNatIList X a__U85 tt V2 a__U86 a__isNatList V2 mark U12 X1 X2 a__U12 mark X1 X2 mark isNatList X a__isNatList X a__U94 tt L s a__length mark L mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 a__U45 X1 X2 U45 X1 X2 a__U44 tt V1 V2 a__U45 a__isNat V1 V2 a__U61 X U61 X mark length X a__length mark X a__U11 X1 X2 U11 X1 X2 mark U23 X a__U23 mark X mark U92 X1 X2 X3 a__U92 mark X1 X2 X3 a__isNat 0 tt a__U42 tt V1 V2 a__U43 a__isNatIListKind V2 V1 V2 a__U33 X U33 X mark U52 X a__U52 mark X a__isNatKind X isNatKind X a__length nil 0 mark U91 X1 X2 X3 a__U91 mark X1 X2 X3 a__U86 X U86 X mark U94 X1 X2 a__U94 mark X1 X2 a__U83 tt V1 V2 a__U84 a__isNatIListKind V2 V1 V2 mark U61 X a__U61 mark X a__U84 tt V1 V2 a__U85 a__isNat V1 V2 a__U21 X1 X2 U21 X1 X2 a__U51 X1 X2 U51 X1 X2 mark U85 X1 X2 a__U85 mark X1 X2 mark isNat X a__isNat X a__isNat X isNat X a__U41 tt V1 V2 a__U42 a__isNatKind V1 V1 V2 a__U32 tt V a__U33 a__isNatList V a__U43 tt V1 V2 a__U44 a__isNatIListKind V2 V1 V2 mark U13 X a__U13 mark X a__U46 X U46 X a__U12 X1 X2 U12 X1 X2 a__isNatKind 0 tt mark isNatIList X a__isNatIList X mark isNatKind X a__isNatKind X a__U52 X U52 X mark U32 X1 X2 a__U32 mark X1 X2 a__U22 tt V1 a__U23 a__isNat V1 a__U84 X1 X2 X3 U84 X1 X2 X3 a__isNatIListKind zeros tt mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 a__U81 X1 X2 X3 U81 X1 X2 X3 mark U31 X1 X2 a__U31 mark X1 X2 mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 a__U71 X U71 X mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 a__length X length X mark U11 X1 X2 a__U11 mark X1 X2 mark U71 X a__U71 mark X mark U21 X1 X2 a__U21 mark X1 X2 mark zeros a__zeros mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 a__isNatIListKind X isNatIListKind X a__U23 X U23 X a__U31 X1 X2 U31 X1 X2 a__U82 X1 X2 X3 U82 X1 X2 X3 a__isNatIListKind nil tt a__isNatKind length V1 a__U61 a__isNatIListKind V1 a__U22 X1 X2 U22 X1 X2 a__U83 X1 X2 X3 U83 X1 X2 X3 a__isNatKind s V1 a__U71 a__isNatKind V1 a__length cons N L a__U91 a__isNatList L L N mark U46 X a__U46 mark X mark cons X1 X2 cons mark X1 X2 a__isNatIList zeros tt a__U93 tt L N a__U94 a__isNatKind N L a__isNatList nil tt mark s X s mark X a__U11 tt V1 a__U12 a__isNatIListKind V1 V1 mark U22 X1 X2 mark X1 mark U86 X mark X mark U51 X1 X2 mark X1 mark U81 X1 X2 X3 mark X1 mark U12 X1 X2 mark X1 mark U23 X mark X mark U52 X mark X mark U61 X mark X mark U85 X1 X2 mark X1 mark U13 X mark X mark U83 X1 X2 X3 mark X1 mark U84 X1 X2 X3 mark X1 mark U11 X1 X2 mark X1 mark U71 X mark X mark U21 X1 X2 mark X1 mark U82 X1 X2 X3 mark X1 mark s X mark X true a__U94 2 0 a__U83 3 1 8 a__isNatKind 1 0 isNatKind 1 1 1 U21 2 1 4 a__U82 3 0 a__U45 2 2 16 isNatList 1 1 3 a__U85 2 16 a__U71 1 0 U11 2 1 4 a__U92 3 1 s 1 1 5 a__U31 2 0 a__U33 1 0 a__U93 3 0 a__isNatIList 1 2 a__U33 1 5 a__U86 1 0 a__isNatIListKind 1 0 a__U23 1 0 U42 3 1 5 U91 3 1 2 2140 a__isNat 1 0 a__U82 3 2 3 10 U71 1 1 2 a__U84 3 2 3 15 a__U86 1 17 a__U44 3 1 9 isNatIList 1 1 3 a__U43 3 0 U43 3 2 12 a__U13 1 0 a__U44 3 0 U86 1 1 18 U44 3 3 10 a__U46 1 0 U84 3 1 16 a__U51 2 0 U23 1 1 21 a__U22 2 1 13 U93 3 1 2142 a__U94 2 2142 a__U11 2 0 U94 2 2 2143 zeros 0 3 a__U31 2 1 1 a__U51 2 2 4 a__U81 3 1 3 U12 2 1 2 a__U84 3 0 a__isNatList 1 2 a__U43 3 11 a__U42 3 0 a__U41 3 3 a__U12 2 0 a__U21 2 0 a__isNatIList 1 0 a__U81 3 0 a__U61 1 0 U83 3 1 2 9 mark 1 1 0 0 0 2139 a__zeros 0 0 a__U21 2 1 2 3 a__U32 2 1 5 a__U91 3 3 2139 nil 0 0 isNatIListKind 1 1 4 a__U52 1 0 U45 2 17 mark 1 1 a__U11 2 3 U32 2 2 6 a__U42 3 1 2 3 4 a__U93 3 2 2141 U33 1 6 a__U45 2 0 a__U52 1 5 a__length 1 1 a__U12 2 1 1 a__isNatIListKind 1 3 isNat 1 1 3 U46 1 19 U52 1 1 6 U61 1 1 3 a__U46 1 1 18 a__U22 2 0 a__U13 1 8 a__U85 2 0 U31 2 1 2 U85 2 1 2 17 a__U83 3 0 a__isNatList 1 0 a__U71 1 1 1 U92 3 1 2141 cons 2 3 a__U92 3 3 2140 a__U61 1 2 U81 3 1 4 a__U41 3 0 U82 3 1 11 tt 0 6 a__isNat 1 2 U13 1 1 9 a__U23 1 20 a__isNatKind 1 0 U22 2 1 14 U51 2 1 5 length 1 1 2139 U41 3 1 2 3 4 a__U32 2 0 a__zeros 0 2 a__U91 3 1 a__length 1 2138 mark U46 X a__U46 mark X false mark U82 X1 X2 X3 a__U82 mark X1 X2 X3 false mark zeros a__zeros false mark U21 X1 X2 a__U21 mark X1 X2 false mark U11 X1 X2 a__U11 mark X1 X2 false mark U84 X1 X2 X3 a__U84 mark X1 X2 X3 false mark U83 X1 X2 X3 a__U83 mark X1 X2 X3 false mark U31 X1 X2 a__U31 mark X1 X2 false mark U41 X1 X2 X3 a__U41 mark X1 X2 X3 false mark U32 X1 X2 a__U32 mark X1 X2 false mark isNatKind X a__isNatKind X false mark isNatIList X a__isNatIList X false mark U13 X a__U13 mark X false mark isNat X a__isNat X false mark U85 X1 X2 a__U85 mark X1 X2 false mark U61 X a__U61 mark X false mark U52 X a__U52 mark X false mark U23 X a__U23 mark X false a__U92 tt L N a__isNat N false a__U91 tt L N a__isNatIListKind L false a__length cons N L a__isNatList L false mark U42 X1 X2 X3 a__U42 mark X1 X2 X3 false mark isNatList X a__isNatList X false mark U12 X1 X2 a__U12 mark X1 X2 false mark U44 X1 X2 X3 a__U44 mark X1 X2 X3 false mark U45 X1 X2 a__U45 mark X1 X2 false mark U33 X a__U33 mark X false mark U43 X1 X2 X3 a__U43 mark X1 X2 X3 false a__U44 tt V1 V2 a__U45 a__isNat V1 V2 a__U45 tt V2 a__isNatIList V2 a__U43 tt V1 V2 a__U44 a__isNatIListKind V2 V1 V2 a__U42 tt V1 V2 a__U43 a__isNatIListKind V2 V1 V2 a__isNatIList cons V1 V2 a__U41 a__isNatKind V1 V1 V2 a__U41 tt V1 V2 a__U42 a__isNatKind V1 V1 V2 true a__U94 2 0 a__U83 3 1 8 a__isNatKind 1 0 isNatKind 1 2 U21 2 1 4 a__U82 3 0 a__U45 2 2 15 isNatList 1 1 3 a__U85 2 15 a__U71 1 0 U11 2 1 4 a__U92 3 1 s 1 1 5 a__U31 2 0 a__U33 1 0 a__U93 3 0 a__isNatIList 1 2 a__U33 1 2 a__U86 1 0 a__isNatIListKind 1 0 a__U23 1 0 U42 3 1 5 U91 3 1 2 4 a__isNat 1 0 a__U82 3 2 3 8 U71 1 1 3 a__U84 3 2 3 14 a__U86 1 16 a__U44 3 1 9 isNatIList 1 1 3 a__U43 3 3 9 U43 3 2 11 a__U13 1 0 a__U44 3 3 8 U86 1 1 17 U44 3 3 10 a__U46 1 0 U84 3 1 15 a__U51 2 0 U23 1 1 21 a__U22 2 1 13 U93 3 1 6 a__U94 2 6 a__U11 2 0 U94 2 2 7 zeros 0 3 a__U31 2 1 1 a__U51 2 2 3 a__U81 3 1 2 U12 2 1 3 a__U84 3 0 a__isNatList 1 2 a__U43 3 10 a__U42 3 3 10 a__U41 3 3 a__U12 2 0 a__U21 2 0 a__isNatIList 1 1 6 a__U81 3 0 a__U61 1 0 U83 3 1 2 9 mark 1 0 0 0 3 a__zeros 0 0 a__U21 2 1 2 3 a__U32 2 1 5 a__U91 3 3 3 nil 0 0 isNatIListKind 1 1 3 a__U52 1 0 U45 2 16 mark 1 1 a__U11 2 3 U32 2 2 6 a__U42 3 1 2 3 4 a__U93 3 2 5 U33 1 3 a__U45 2 2 7 a__U52 1 4 a__length 1 1 a__U12 2 1 2 a__isNatIListKind 1 2 isNat 1 1 3 U46 1 19 U52 1 1 5 U61 1 1 5 a__U46 1 1 18 a__U22 2 0 a__U13 1 8 a__U85 2 0 U31 2 1 2 U85 2 1 2 16 a__U83 3 0 a__isNatList 1 0 a__U71 1 2 U92 3 1 5 cons 2 2 6 a__U92 3 3 4 a__U61 1 4 U81 3 1 4 a__U41 3 3 11 U82 3 1 9 tt 0 5 a__isNat 1 2 U13 1 1 9 a__U23 1 20 a__isNatKind 1 1 U22 2 1 14 U51 2 1 4 length 1 1 3 U41 3 1 2 3 4 a__U32 2 0 a__zeros 0 2 a__U91 3 1 a__length 1 2 a__U45 tt V2 a__U46 a__isNatIList V2 false a__isNatIList V a__U31 a__isNatIListKind V V false a__U31 tt V a__U32 a__isNatIListKind V V false a__U32 tt V a__U33 a__isNatList V false a__U31 tt V a__isNatIListKind V false a__isNatIList V a__isNatIListKind V false a__U42 tt V1 V2 a__isNatIListKind V2 false a__U41 tt V1 V2 a__isNatKind V1 false a__isNatIList cons V1 V2 a__isNatKind V1 false a__U44 tt V1 V2 a__isNat V1 false a__U43 tt V1 V2 a__isNatIListKind V2 false mark U51 X1 X2 a__U51 mark X1 X2 false mark U86 X a__U86 mark X false mark U22 X1 X2 a__U22 mark X1 X2 false mark isNatIListKind X a__isNatIListKind X false a__U93 tt L N a__isNatKind N false mark U81 X1 X2 X3 a__U81 mark X1 X2 X3 false a__U32 tt V a__isNatList V false a__U84 tt V1 V2 a__isNat V1 a__U84 tt V1 V2 a__U85 a__isNat V1 V2 a__isNat length V1 a__U11 a__isNatIListKind V1 V1 a__U85 tt V2 a__isNatList V2 a__U82 tt V1 V2 a__U83 a__isNatIListKind V2 V1 V2 a__U11 tt V1 a__U12 a__isNatIListKind V1 V1 a__isNatList cons V1 V2 a__U81 a__isNatKind V1 V1 V2 a__U12 tt V1 a__isNatList V1 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U83 tt V1 V2 a__U84 a__isNatIListKind V2 V1 V2 a__U81 tt V1 V2 a__U82 a__isNatKind V1 V1 V2 a__U22 tt V1 a__isNat V1 a__U21 tt V1 a__U22 a__isNatKind V1 V1 true a__U94 2 0 a__U83 3 1 1 a__isNatKind 1 0 isNatKind 1 2 U21 2 1 10 a__U82 3 2 3 7555 a__U45 2 2 16 isNatList 1 1 10 a__U85 2 16 a__U71 1 0 U11 2 1 11 a__U92 3 1 s 1 1 0 a__U31 2 0 a__U33 1 0 a__U93 3 0 a__isNatIList 1 9 a__U33 1 9 a__U86 1 0 a__isNatIListKind 1 0 a__U23 1 0 U42 3 1 11 U91 3 1 2 13 a__isNat 1 1 13 a__U82 3 1 2 3 10 U71 1 14 a__U84 3 1 2 3 1 a__U86 1 17 a__U44 3 1 1 isNatIList 1 1 10 a__U43 3 9 U43 3 2 2 a__U13 1 0 a__U44 3 8 U86 1 1 18 U44 3 3 2 a__U46 1 0 U84 3 1 2 a__U51 2 0 U23 1 1 39 a__U22 2 1 23 U93 3 1 10 a__U94 2 10 a__U11 2 1 2 0 U94 2 2 11 zeros 0 10 a__U31 2 10 a__U51 2 14 a__U81 3 10 U12 2 1 2 12 a__U84 3 1 2 3 0 a__isNatList 1 9 a__U43 3 1 1 a__U42 3 10 a__U41 3 10 a__U12 2 2 13 a__U21 2 2 13 a__isNatIList 1 6 a__U81 3 2 3 7555 a__U61 1 0 U83 3 1 2 2 mark 1 0 0 0 12 a__zeros 0 0 a__U21 2 1 2 9 a__U32 2 11 a__U91 3 3 12 nil 0 8 isNatIListKind 1 1 a__U52 1 0 U45 2 17 mark 1 8 a__U11 2 10 U32 2 2 12 a__U42 3 1 2 3 10 a__U93 3 2 9 U33 1 10 a__U45 2 7 a__U52 1 14 a__length 1 1 a__U12 2 11 a__isNatIListKind 1 7553 isNat 1 1 10 U46 1 9 U52 1 14 U61 1 1 2 a__U46 1 1 8 a__U22 2 2 13 a__U13 1 14 a__U85 2 2 13 U31 2 11 U85 2 1 2 17 a__U83 3 2 3 7554 a__isNatList 1 1 12 a__U71 1 13 U92 3 1 14 cons 2 1 2 7544 a__U92 3 3 13 a__U61 1 1 1 U81 3 11 a__U41 3 11 U82 3 1 11 tt 0 14 a__isNat 1 9 U13 1 1 15 a__U23 1 38 a__isNatKind 1 1 1 U22 2 1 24 U51 2 14 length 1 1 7541 U41 3 1 2 3 11 a__U32 2 0 a__zeros 0 9 a__U91 3 1 a__length 1 11 a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__U22 tt V1 a__isNat V1 a__U81 tt V1 V2 a__U82 a__isNatKind V1 V1 V2 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U52 tt tt a__U51 tt V2 a__U52 a__isNatIListKind V2 a__isNatIListKind cons V1 V2 a__U51 a__isNatKind V1 V2 a__U51 X1 X2 U51 X1 X2 a__U52 X U52 X a__isNatIListKind zeros tt a__isNatIListKind X isNatIListKind X a__isNatIListKind nil tt a__U81 tt V1 V2 a__U82 a__isNatKind V1 V1 V2 false a__U21 tt V1 a__U22 a__isNatKind V1 V1 a__isNat s V1 a__U21 a__isNatKind V1 V1 a__U22 tt V1 a__isNat V1 true a__U94 2 0 a__U83 3 1 25092 a__isNatKind 1 0 isNatKind 1 1 2 U21 2 2 1 a__U82 3 7555 a__U45 2 2 9 isNatList 1 1 1 a__U85 2 53752 a__U71 1 0 U11 2 1 3 a__U92 3 1 s 1 1 5 a__U31 2 0 a__U33 1 0 a__U93 3 0 a__isNatIList 1 3 a__U33 1 3 a__U86 1 0 a__isNatIListKind 1 0 a__U23 1 0 U42 3 3 2 U91 3 1 2 3 5 a__isNat 1 1 9 a__U82 3 1 2 3 15371 U71 1 8 a__U84 3 1 2 3 53743 a__U86 1 53753 a__U44 3 1 0 isNatIList 1 1 1 a__U43 3 9 U43 3 2 4221 a__U13 1 0 a__U44 3 8 U86 1 1 9542 U44 3 2 3 1 a__U46 1 0 U84 3 1 53742 a__U51 2 0 U23 1 1 20 a__U22 2 1 10 U93 3 1 3 1 a__U94 2 6 a__U11 2 1 0 U94 2 2 4 zeros 0 1 a__U31 2 4 a__U51 2 7553 a__U81 3 15371 U12 2 1 2 1 a__U84 3 1 0 a__isNatList 1 3 a__U43 3 1 4222 a__U42 3 10 a__U41 3 10 a__U12 2 13 a__U21 2 2 13 a__isNatIList 1 6 a__U81 3 7555 a__U61 1 0 U83 3 1 2 25091 mark 1 0 0 0 4 a__zeros 0 0 a__U21 2 1 2 2 a__U32 2 5 a__U91 3 3 4 nil 0 12030 isNatIListKind 1 1 a__U52 1 0 U45 2 17 mark 1 1 1 a__U11 2 2 U32 2 2 1 a__U42 3 1 2 3 10 a__U93 3 2 0 U33 1 1 a__U45 2 7 a__U52 1 7553 a__length 1 1 a__U12 2 3 a__isNatIListKind 1 7553 isNat 1 1 14585 U46 1 1 U52 1 4252 U61 1 1 18737 a__U46 1 1 9 a__U22 2 2 10 a__U13 1 8 a__U85 2 13 U31 2 2 2 U85 2 1 2 53753 a__U83 3 7554 a__isNatList 1 12 a__U71 1 7 U92 3 1 6 cons 2 1 2 16819 a__U92 3 3 5 a__U61 1 1 0 U81 3 15369 a__U41 3 11 U82 3 1 2 3 15372 tt 0 8 a__isNat 1 1 U13 1 1 9 a__U23 1 19 a__isNatKind 1 1 1 U22 2 1 11 U51 2 2630 length 1 1 1 U41 3 1 2 3 8 a__U32 2 0 a__zeros 0 3 a__U91 3 1 a__length 1 3 a__U52 tt tt a__U51 tt V2 a__U52 a__isNatIListKind V2 a__isNatIListKind cons V1 V2 a__U51 a__isNatKind V1 V2 a__U51 X1 X2 U51 X1 X2 a__U52 X U52 X a__isNatIListKind zeros tt a__isNatIListKind X isNatIListKind X a__isNatIListKind nil tt a__U85 tt V2 a__U86 a__isNatList V2 false a__U22 tt V1 a__U23 a__isNat V1 false a__U21 tt V1 a__isNatKind V1 false a__isNat s V1 a__isNatKind V1 false a__U12 tt V1 a__U13 a__isNatList V1 false a__isNat length V1 a__isNatIListKind V1 false a__U83 tt V1 V2 a__isNatIListKind V2 false a__U82 tt V1 V2 a__isNatIListKind V2 false a__U81 tt V1 V2 a__isNatKind V1 false a__isNatList cons V1 V2 a__isNatKind V1 false a__U11 tt V1 a__isNatIListKind V1 false a__isNatIListKind cons V1 V2 a__U51 a__isNatKind V1 V2 a__isNatKind length V1 a__isNatIListKind V1 a__isNatKind s V1 a__isNatKind V1 a__isNatIListKind cons V1 V2 a__isNatKind V1 a__U51 tt V2 a__isNatIListKind V2 true a__U94 2 0 a__U83 3 1 67309 a__isNatKind 1 1 0 isNatKind 1 1 2 U21 2 2 1 a__U82 3 7555 a__U45 2 2 7 isNatList 1 1 2 a__U85 2 59770 a__U71 1 0 U11 2 1 3 a__U92 3 1 s 1 1 1 a__U31 2 0 a__U33 1 0 a__U93 3 0 a__isNatIList 1 3 a__U33 1 5 a__U86 1 0 a__isNatIListKind 1 1 0 a__U23 1 0 U42 3 3 2 U91 3 1 2 3 5 a__isNat 1 9 a__U82 3 1 2 3 74855 U71 1 6 a__U84 3 1 2 3 59763 a__U86 1 59771 a__U44 3 1 0 isNatIList 1 1 1 a__U43 3 9 U43 3 2 2692 a__U13 1 0 a__U44 3 8 U86 1 1 22100 U44 3 2 3 1 a__U46 1 0 U84 3 1 59762 a__U51 2 2 1 U23 1 1 20 a__U22 2 1 8 U93 3 1 3 1 a__U94 2 3 a__U11 2 1 0 U94 2 2 1 zeros 0 1 a__U31 2 4 a__U51 2 7553 a__U81 3 74855 U12 2 1 2 3 a__U84 3 1 0 a__isNatList 1 4 a__U43 3 1 4222 a__U42 3 10 a__U41 3 10 a__U12 2 13 a__U21 2 13 a__isNatIList 1 6 a__U81 3 7555 a__U61 1 0 U83 3 1 2 30680 mark 1 0 0 0 4 a__zeros 0 0 a__U21 2 1 2 2 a__U32 2 4617 a__U91 3 3 4 nil 0 1 isNatIListKind 1 6485 a__U52 1 0 U45 2 15 mark 1 1 1 a__U11 2 2 U32 2 2 4613 a__U42 3 1 2 3 10 a__U93 3 2 0 U33 1 3 a__U45 2 7 a__U52 1 7553 a__length 1 1 a__U12 2 5 a__isNatIListKind 1 7553 isNat 1 1 14585 U46 1 1 U52 1 30 U61 1 1 18737 a__U46 1 1 9 a__U22 2 10 a__U13 1 6 a__U85 2 13 U31 2 2 1 U85 2 1 2 59771 a__U83 3 7554 a__isNatList 1 12 a__U71 1 5 U92 3 1 25058 cons 2 1 2 2 a__U92 3 3 5 a__U61 1 1 0 U81 3 74853 a__U41 3 11 U82 3 1 2 3 74856 tt 0 6 a__isNat 1 1 U13 1 1 7 a__U23 1 19 a__isNatKind 1 1 1 U22 2 1 9 U51 2 4809 length 1 1 1 U41 3 1 2 3 1 a__U32 2 0 a__zeros 0 3 a__U91 3 1 a__length 1 3 a__U52 tt tt a__U51 tt V2 a__U52 a__isNatIListKind V2 a__isNatIListKind cons V1 V2 a__U51 a__isNatKind V1 V2 a__U51 X1 X2 U51 X1 X2 a__U52 X U52 X a__isNatIListKind zeros tt a__isNatIListKind X isNatIListKind X a__isNatIListKind nil tt a__isNatKind s V1 a__U71 a__isNatKind V1 false a__isNatKind length V1 a__U61 a__isNatIListKind V1 false a__U51 tt V2 a__U52 a__isNatIListKind V2 false mark U71 X a__U71 mark X false NaTT certifiable-1.6