Package evaluation to test ASCertain on Julia 1.14.0-DEV.2214 (e41a11006d*) started at 2026-05-22T18:04:40.018 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Activating project at `~/.julia/environments/v1.14` Set-up completed after 9.85s ################################################################################ # Installation # Installing ASCertain... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [3c289fd8] + ASCertain v0.4.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [3c289fd8] + ASCertain v0.4.0 [dce04be8] + ArgCheck v2.5.0 [833476c3] + DAQPBase v0.4.4 [9a962f9c] + DataAPI v1.16.0 [e2d170a0] + DataValueInterfaces v1.0.0 [3f0dd361] + DefaultApplication v1.1.0 [ffbed154] + DocStringExtensions v0.9.5 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.8.0 [1914dd2f] + MacroTools v0.5.16 [bac558e1] + OrderedCollections v1.8.1 [8314cec4] + PGFPlotsX v1.6.2 [d96e819e] + Parameters v0.12.3 [be5c70c9] + PolyDAQP v0.4.1 [aea7be01] + PrecompileTools v1.3.4 [21216c6a] + Preferences v1.5.2 [3cdcf5f2] + RecipesBase v1.3.4 [ae029012] + Requires v1.3.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [3a884ed6] + UnPack v1.0.2 [5c51c916] + DAQP_jll v0.8.4+0 [0dad84c5] + ArgTools v1.1.2 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [f43a241f] + Downloads v1.7.0 [7b1f6079] + FileWatching v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [b27032c2] + LibCURL v1.0.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v1.13.0 [f489334b] + StyledStrings v1.13.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.5.1+0 [deac9b47] + LibCURL_jll v8.20.0+1 [29816b5a] + LibSSH2_jll v1.11.101+0 [14a3606d] + MozillaCACerts_jll v2026.5.14 [4536629a] + OpenBLAS_jll v0.3.33+0 [458c3c95] + OpenSSL_jll v3.5.6+0 [83775a58] + Zlib_jll v1.3.2+0 [3161d3a3] + Zstd_jll v1.5.7+1 [8e850b90] + libblastrampoline_jll v5.15.0+0 [8e850ede] + nghttp2_jll v1.69.0+0 Installation completed after 3.99s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling project... 2.9 s ✓ TestEnv 1 dependency successfully precompiled in 3 seconds. 27 already precompiled. Precompiling package dependencies... Precompiling project... 2.9 s ✓ MacroTools 0.7 s ✓ DataAPI 0.6 s ✓ UnPack 0.6 s ✓ DataValueInterfaces 1.1 s ✓ OrderedCollections 0.8 s ✓ DocStringExtensions 0.7 s ✓ ArgCheck 0.6 s ✓ IteratorInterfaceExtensions 0.9 s ✓ Requires 1.0 s ✓ DefaultApplication 1.1 s ✓ Preferences 0.9 s ✓ Parameters 0.7 s ✓ TableTraits 1.5 s ✓ JLLWrappers 1.3 s ✓ PrecompileTools 1.5 s ✓ Tables 1.6 s ✓ DAQP_jll 2.6 s ✓ RecipesBase 5.0 s ✓ PGFPlotsX 1.6 s ✓ DAQPBase 3.4 s ✓ PolyDAQP 2.3 s ✓ ASCertain 22 dependencies successfully precompiled in 33 seconds. 24 already precompiled. Precompilation completed after 53.93s ################################################################################ # Testing # Testing ASCertain Status `/tmp/jl_pkWIaE/Project.toml` [3c289fd8] ASCertain v0.4.0 [833476c3] DAQPBase v0.4.4 [be5c70c9] PolyDAQP v0.4.1 [3cdcf5f2] RecipesBase v1.3.4 [37e2e46d] LinearAlgebra v1.13.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_pkWIaE/Manifest.toml` [3c289fd8] ASCertain v0.4.0 [dce04be8] ArgCheck v2.5.0 [833476c3] DAQPBase v0.4.4 [9a962f9c] DataAPI v1.16.0 [e2d170a0] DataValueInterfaces v1.0.0 [3f0dd361] DefaultApplication v1.1.0 [ffbed154] DocStringExtensions v0.9.5 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.8.0 [1914dd2f] MacroTools v0.5.16 [bac558e1] OrderedCollections v1.8.1 [8314cec4] PGFPlotsX v1.6.2 [d96e819e] Parameters v0.12.3 [be5c70c9] PolyDAQP v0.4.1 [aea7be01] PrecompileTools v1.3.4 [21216c6a] Preferences v1.5.2 [3cdcf5f2] RecipesBase v1.3.4 [ae029012] Requires v1.3.1 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [3a884ed6] UnPack v1.0.2 [5c51c916] DAQP_jll v0.8.4+0 [0dad84c5] ArgTools v1.1.2 [56f22d72] Artifacts v1.11.0 [2a0f44e3] Base64 v1.11.0 [ade2ca70] Dates v1.11.0 [f43a241f] Downloads v1.7.0 [7b1f6079] FileWatching v1.11.0 [b77e0a4c] InteractiveUtils v1.11.0 [ac6e5ff7] JuliaSyntaxHighlighting v1.13.0 [b27032c2] LibCURL v1.0.0 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.13.0 [56ddb016] Logging v1.11.0 [d6f4376e] Markdown v1.11.0 [ca575930] NetworkOptions v1.3.0 [de0858da] Printf v1.11.0 [9a3f8284] Random v1.11.0 [ea8e919c] SHA v1.13.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.13.0 [fa267f1f] TOML v1.0.3 [8dfed614] Test v1.11.0 [cf7118a7] UUIDs v1.11.0 [4ec0a83e] Unicode v1.11.0 [e66e0078] CompilerSupportLibraries_jll v1.5.1+0 [deac9b47] LibCURL_jll v8.20.0+1 [29816b5a] LibSSH2_jll v1.11.101+0 [14a3606d] MozillaCACerts_jll v2026.5.14 [4536629a] OpenBLAS_jll v0.3.33+0 [458c3c95] OpenSSL_jll v3.5.6+0 [83775a58] Zlib_jll v1.3.2+0 [3161d3a3] Zstd_jll v1.5.7+1 [8e850b90] libblastrampoline_jll v5.15.0+0 [8e850ede] nghttp2_jll v1.69.0+0 Testing Running tests... ===================================== # regions: 377 Max iter : 7 Optimal : 100% ------------------------------------- Maximum sequence: ini Int64[] + 4 [4] + 7 [4, 7] + 3 [4, 7, 3] + 1 [4, 7, 3, 1] +10 [4, 7, 3, 1, 10] - 4 [7, 3, 1, 10] ===================================== ===================================== Iter : 5 State: OPTIMAL AS : [1, 2, 3, 5] Size : 0.02 ------------------------------------- History: ini Int64[] + 1 [1] + 2 [1, 2] + 3 [1, 2, 3] + 5 [1, 2, 3, 5] ===================================== Test Summary: | Pass Total Time Cold start | 7 7 1m05.8s Test Summary: | Pass Total Time Warm start | 3 3 0.4s Test Summary: | Pass Total Time LPcert | 4 4 1.6s Test Summary: | Total Time LP merged | 0 2.1s Test Summary: | Pass Total Time Callbacks | 3 3 0.1s >> #1|Stack: 0|Fin: 0|Max: 0| >> #2|Stack: 0|Fin: 0|Max: 0| >> #3|Stack: 8|Fin: 1|Max: 1| >> #4|Stack: 8|Fin: 1|Max: 1| >> #5|Stack: 12|Fin: 2|Max: 2| >> #6|Stack: 12|Fin: 2|Max: 2| >> #7|Stack: 15|Fin: 3|Max: 3| >> #8|Stack: 15|Fin: 3|Max: 3| >> #9|Stack: 16|Fin: 4|Max: 4| >> #10|Stack: 16|Fin: 4|Max: 4| >> #11|Stack: 15|Fin: 5|Max: 5| >> #12|Stack: 15|Fin: 5|Max: 5| >> #13|Stack: 14|Fin: 6|Max: 5| >> #14|Stack: 14|Fin: 6|Max: 5| >> #15|Stack: 15|Fin: 7|Max: 5| >> #16|Stack: 15|Fin: 7|Max: 5| >> #17|Stack: 14|Fin: 8|Max: 5| >> #18|Stack: 14|Fin: 8|Max: 5| >> #19|Stack: 13|Fin: 9|Max: 5| >> #20|Stack: 13|Fin: 9|Max: 5| >> #21|Stack: 13|Fin: 10|Max: 5| >> #22|Stack: 13|Fin: 10|Max: 5| >> #23|Stack: 12|Fin: 11|Max: 5| >> #24|Stack: 12|Fin: 11|Max: 5| >> #25|Stack: 12|Fin: 12|Max: 5| >> #26|Stack: 12|Fin: 12|Max: 5| >> #27|Stack: 11|Fin: 13|Max: 5| >> #28|Stack: 11|Fin: 13|Max: 5| >> #29|Stack: 13|Fin: 14|Max: 5| >> #30|Stack: 13|Fin: 14|Max: 5| >> #31|Stack: 13|Fin: 15|Max: 5| >> #32|Stack: 13|Fin: 15|Max: 5| >> #33|Stack: 12|Fin: 16|Max: 5| >> #34|Stack: 12|Fin: 16|Max: 5| >> #35|Stack: 12|Fin: 17|Max: 5| >> #36|Stack: 12|Fin: 17|Max: 5| >> #37|Stack: 11|Fin: 18|Max: 5| >> #38|Stack: 11|Fin: 18|Max: 5| >> #39|Stack: 12|Fin: 19|Max: 5| >> #40|Stack: 12|Fin: 19|Max: 5| >> #41|Stack: 11|Fin: 20|Max: 5| >> #42|Stack: 11|Fin: 20|Max: 5| >> #43|Stack: 10|Fin: 21|Max: 5| >> #44|Stack: 10|Fin: 21|Max: 5| >> #45|Stack: 12|Fin: 22|Max: 5| >> #46|Stack: 12|Fin: 22|Max: 5| >> #47|Stack: 12|Fin: 23|Max: 5| >> #48|Stack: 12|Fin: 23|Max: 5| >> #49|Stack: 11|Fin: 24|Max: 5| >> #50|Stack: 11|Fin: 24|Max: 5| >> #51|Stack: 10|Fin: 25|Max: 5| >> #52|Stack: 10|Fin: 25|Max: 5| >> #53|Stack: 10|Fin: 26|Max: 5| >> #54|Stack: 10|Fin: 26|Max: 5| >> #55|Stack: 9|Fin: 27|Max: 5| >> #56|Stack: 9|Fin: 27|Max: 5| >> #57|Stack: 11|Fin: 28|Max: 5| >> #58|Stack: 11|Fin: 28|Max: 5| >> #59|Stack: 11|Fin: 29|Max: 5| >> #60|Stack: 11|Fin: 29|Max: 5| >> #61|Stack: 10|Fin: 30|Max: 5| >> #62|Stack: 10|Fin: 30|Max: 5| >> #63|Stack: 11|Fin: 31|Max: 5| >> #64|Stack: 11|Fin: 31|Max: 5| >> #65|Stack: 10|Fin: 32|Max: 5| >> #66|Stack: 10|Fin: 32|Max: 5| >> #67|Stack: 9|Fin: 33|Max: 5| >> #68|Stack: 9|Fin: 33|Max: 5| >> #69|Stack: 9|Fin: 34|Max: 5| >> #70|Stack: 9|Fin: 34|Max: 5| >> #71|Stack: 8|Fin: 35|Max: 5| >> #72|Stack: 8|Fin: 35|Max: 5| >> #73|Stack: 10|Fin: 36|Max: 5| >> #74|Stack: 10|Fin: 36|Max: 5| >> #75|Stack: 10|Fin: 37|Max: 5| >> #76|Stack: 10|Fin: 37|Max: 5| >> #77|Stack: 9|Fin: 38|Max: 5| >> #78|Stack: 9|Fin: 38|Max: 5| >> #79|Stack: 10|Fin: 39|Max: 5| >> #80|Stack: 10|Fin: 39|Max: 5| >> #81|Stack: 9|Fin: 40|Max: 5| >> #82|Stack: 9|Fin: 40|Max: 5| >> #83|Stack: 8|Fin: 41|Max: 5| >> #84|Stack: 8|Fin: 41|Max: 5| >> #85|Stack: 8|Fin: 42|Max: 5| >> #86|Stack: 8|Fin: 42|Max: 5| >> #87|Stack: 7|Fin: 43|Max: 5| >> #88|Stack: 7|Fin: 43|Max: 5| >> #89|Stack: 8|Fin: 43|Max: 5| >> #90|Stack: 8|Fin: 43|Max: 5| >> #91|Stack: 8|Fin: 43|Max: 5| >> #92|Stack: 8|Fin: 43|Max: 5| >> #93|Stack: 8|Fin: 43|Max: 5| >> #94|Stack: 8|Fin: 43|Max: 5| >> #95|Stack: 8|Fin: 43|Max: 5| >> #96|Stack: 7|Fin: 44|Max: 6| >> #97|Stack: 7|Fin: 44|Max: 6| >> #98|Stack: 7|Fin: 44|Max: 6| >> #99|Stack: 7|Fin: 44|Max: 6| >> #100|Stack: 8|Fin: 45|Max: 6| >> #101|Stack: 8|Fin: 45|Max: 6| >> #102|Stack: 7|Fin: 46|Max: 6| >> #103|Stack: 8|Fin: 46|Max: 6| >> #104|Stack: 7|Fin: 47|Max: 6| >> #105|Stack: 7|Fin: 47|Max: 6| >> #106|Stack: 6|Fin: 48|Max: 6| >> #107|Stack: 6|Fin: 48|Max: 6| >> #108|Stack: 11|Fin: 49|Max: 6| >> #109|Stack: 11|Fin: 49|Max: 6| >> #110|Stack: 13|Fin: 50|Max: 6| >> #111|Stack: 13|Fin: 50|Max: 6| >> #112|Stack: 13|Fin: 51|Max: 6| >> #113|Stack: 13|Fin: 51|Max: 6| >> #114|Stack: 12|Fin: 52|Max: 6| >> #115|Stack: 12|Fin: 52|Max: 6| >> #116|Stack: 13|Fin: 53|Max: 6| >> #117|Stack: 13|Fin: 53|Max: 6| >> #118|Stack: 12|Fin: 54|Max: 6| >> #119|Stack: 12|Fin: 54|Max: 6| >> #120|Stack: 11|Fin: 55|Max: 6| >> #121|Stack: 11|Fin: 55|Max: 6| >> #122|Stack: 11|Fin: 56|Max: 6| >> #123|Stack: 11|Fin: 56|Max: 6| >> #124|Stack: 10|Fin: 57|Max: 6| >> #125|Stack: 10|Fin: 57|Max: 6| >> #126|Stack: 12|Fin: 58|Max: 6| >> #127|Stack: 12|Fin: 58|Max: 6| >> #128|Stack: 13|Fin: 59|Max: 6| >> #129|Stack: 13|Fin: 59|Max: 6| >> #130|Stack: 12|Fin: 60|Max: 6| >> #131|Stack: 12|Fin: 60|Max: 6| >> #132|Stack: 11|Fin: 61|Max: 6| >> #133|Stack: 11|Fin: 61|Max: 6| >> #134|Stack: 11|Fin: 62|Max: 6| >> #135|Stack: 11|Fin: 62|Max: 6| >> #136|Stack: 10|Fin: 63|Max: 6| >> #137|Stack: 10|Fin: 63|Max: 6| >> #138|Stack: 11|Fin: 64|Max: 6| >> #139|Stack: 11|Fin: 64|Max: 6| >> #140|Stack: 10|Fin: 65|Max: 6| >> #141|Stack: 10|Fin: 65|Max: 6| >> #142|Stack: 9|Fin: 66|Max: 6| >> #143|Stack: 9|Fin: 66|Max: 6| >> #144|Stack: 11|Fin: 66|Max: 6| >> #145|Stack: 11|Fin: 66|Max: 6| >> #146|Stack: 12|Fin: 67|Max: 6| >> #147|Stack: 12|Fin: 67|Max: 6| >> #148|Stack: 11|Fin: 68|Max: 6| >> #149|Stack: 11|Fin: 68|Max: 6| >> #150|Stack: 10|Fin: 69|Max: 6| >> #151|Stack: 10|Fin: 69|Max: 6| >> #152|Stack: 10|Fin: 69|Max: 6| >> #153|Stack: 10|Fin: 69|Max: 6| >> #154|Stack: 9|Fin: 70|Max: 6| >> #155|Stack: 9|Fin: 70|Max: 6| >> #156|Stack: 9|Fin: 70|Max: 6| >> #157|Stack: 9|Fin: 70|Max: 6| >> #158|Stack: 8|Fin: 71|Max: 6| >> #159|Stack: 8|Fin: 71|Max: 6| >> #160|Stack: 10|Fin: 72|Max: 6| >> #161|Stack: 10|Fin: 72|Max: 6| >> #162|Stack: 10|Fin: 73|Max: 6| >> #163|Stack: 10|Fin: 73|Max: 6| >> #164|Stack: 9|Fin: 74|Max: 6| >> #165|Stack: 9|Fin: 74|Max: 6| >> #166|Stack: 9|Fin: 75|Max: 6| >> #167|Stack: 9|Fin: 75|Max: 6| >> #168|Stack: 8|Fin: 76|Max: 6| >> #169|Stack: 8|Fin: 76|Max: 6| >> #170|Stack: 9|Fin: 77|Max: 6| >> #171|Stack: 9|Fin: 77|Max: 6| >> #172|Stack: 8|Fin: 78|Max: 6| >> #173|Stack: 8|Fin: 78|Max: 6| >> #174|Stack: 7|Fin: 79|Max: 6| >> #175|Stack: 7|Fin: 79|Max: 6| >> #176|Stack: 11|Fin: 80|Max: 6| >> #177|Stack: 11|Fin: 80|Max: 6| >> #178|Stack: 11|Fin: 81|Max: 6| >> #179|Stack: 11|Fin: 81|Max: 6| >> #180|Stack: 10|Fin: 82|Max: 6| >> #181|Stack: 10|Fin: 82|Max: 6| >> #182|Stack: 10|Fin: 83|Max: 6| >> #183|Stack: 10|Fin: 83|Max: 6| >> #184|Stack: 9|Fin: 84|Max: 6| >> #185|Stack: 9|Fin: 84|Max: 6| >> #186|Stack: 10|Fin: 85|Max: 6| >> #187|Stack: 10|Fin: 85|Max: 6| >> #188|Stack: 9|Fin: 86|Max: 6| >> #189|Stack: 9|Fin: 86|Max: 6| >> #190|Stack: 8|Fin: 87|Max: 6| >> #191|Stack: 8|Fin: 87|Max: 6| >> #192|Stack: 9|Fin: 88|Max: 6| >> #193|Stack: 10|Fin: 88|Max: 6| >> #194|Stack: 9|Fin: 89|Max: 6| >> #195|Stack: 9|Fin: 89|Max: 6| >> #196|Stack: 8|Fin: 90|Max: 6| >> #197|Stack: 8|Fin: 90|Max: 6| >> #198|Stack: 7|Fin: 91|Max: 6| >> #199|Stack: 7|Fin: 91|Max: 6| >> #200|Stack: 7|Fin: 92|Max: 6| >> #201|Stack: 7|Fin: 92|Max: 6| >> #202|Stack: 6|Fin: 93|Max: 6| >> #203|Stack: 6|Fin: 93|Max: 6| >> #204|Stack: 8|Fin: 94|Max: 6| >> #205|Stack: 8|Fin: 94|Max: 6| >> #206|Stack: 8|Fin: 95|Max: 6| >> #207|Stack: 8|Fin: 95|Max: 6| >> #208|Stack: 7|Fin: 96|Max: 6| >> #209|Stack: 7|Fin: 96|Max: 6| >> #210|Stack: 8|Fin: 97|Max: 6| >> #211|Stack: 8|Fin: 97|Max: 6| >> #212|Stack: 7|Fin: 98|Max: 6| >> #213|Stack: 7|Fin: 98|Max: 6| >> #214|Stack: 6|Fin: 99|Max: 6| >> #215|Stack: 6|Fin: 99|Max: 6| >> #216|Stack: 6|Fin: 100|Max: 6| >> #217|Stack: 6|Fin: 100|Max: 6| >> #218|Stack: 5|Fin: 101|Max: 6| >> #219|Stack: 5|Fin: 101|Max: 6| >> #220|Stack: 9|Fin: 102|Max: 6| >> #221|Stack: 9|Fin: 102|Max: 6| >> #222|Stack: 11|Fin: 103|Max: 6| >> #223|Stack: 11|Fin: 103|Max: 6| >> #224|Stack: 11|Fin: 104|Max: 6| >> #225|Stack: 11|Fin: 104|Max: 6| >> #226|Stack: 10|Fin: 105|Max: 6| >> #227|Stack: 10|Fin: 105|Max: 6| >> #228|Stack: 10|Fin: 106|Max: 6| >> #229|Stack: 10|Fin: 106|Max: 6| >> #230|Stack: 9|Fin: 107|Max: 6| >> #231|Stack: 9|Fin: 107|Max: 6| >> #232|Stack: 10|Fin: 108|Max: 6| >> #233|Stack: 10|Fin: 108|Max: 6| >> #234|Stack: 9|Fin: 109|Max: 6| >> #235|Stack: 9|Fin: 109|Max: 6| >> #236|Stack: 8|Fin: 110|Max: 6| >> #237|Stack: 8|Fin: 110|Max: 6| >> #238|Stack: 10|Fin: 111|Max: 6| >> #239|Stack: 10|Fin: 111|Max: 6| >> #240|Stack: 11|Fin: 112|Max: 6| >> #241|Stack: 11|Fin: 112|Max: 6| >> #242|Stack: 10|Fin: 113|Max: 6| >> #243|Stack: 10|Fin: 113|Max: 6| >> #244|Stack: 9|Fin: 114|Max: 6| >> #245|Stack: 9|Fin: 114|Max: 6| >> #246|Stack: 9|Fin: 115|Max: 6| >> #247|Stack: 9|Fin: 115|Max: 6| >> #248|Stack: 8|Fin: 116|Max: 6| >> #249|Stack: 8|Fin: 116|Max: 6| >> #250|Stack: 9|Fin: 117|Max: 6| >> #251|Stack: 9|Fin: 117|Max: 6| >> #252|Stack: 8|Fin: 118|Max: 6| >> #253|Stack: 8|Fin: 118|Max: 6| >> #254|Stack: 7|Fin: 119|Max: 6| >> #255|Stack: 7|Fin: 119|Max: 6| >> #256|Stack: 9|Fin: 120|Max: 6| >> #257|Stack: 9|Fin: 120|Max: 6| >> #258|Stack: 9|Fin: 121|Max: 6| >> #259|Stack: 9|Fin: 121|Max: 6| >> #260|Stack: 8|Fin: 122|Max: 6| >> #261|Stack: 8|Fin: 122|Max: 6| >> #262|Stack: 8|Fin: 123|Max: 6| >> #263|Stack: 8|Fin: 123|Max: 6| >> #264|Stack: 7|Fin: 124|Max: 6| >> #265|Stack: 7|Fin: 124|Max: 6| >> #266|Stack: 8|Fin: 125|Max: 6| >> #267|Stack: 8|Fin: 125|Max: 6| >> #268|Stack: 7|Fin: 126|Max: 6| >> #269|Stack: 7|Fin: 126|Max: 6| >> #270|Stack: 6|Fin: 127|Max: 6| >> #271|Stack: 6|Fin: 127|Max: 6| >> #272|Stack: 8|Fin: 128|Max: 6| >> #273|Stack: 8|Fin: 128|Max: 6| >> #274|Stack: 8|Fin: 129|Max: 6| >> #275|Stack: 8|Fin: 129|Max: 6| >> #276|Stack: 7|Fin: 130|Max: 6| >> #277|Stack: 7|Fin: 130|Max: 6| >> #278|Stack: 7|Fin: 131|Max: 6| >> #279|Stack: 7|Fin: 131|Max: 6| >> #280|Stack: 6|Fin: 132|Max: 6| >> #281|Stack: 6|Fin: 132|Max: 6| >> #282|Stack: 7|Fin: 133|Max: 6| >> #283|Stack: 7|Fin: 133|Max: 6| >> #284|Stack: 6|Fin: 134|Max: 6| >> #285|Stack: 6|Fin: 134|Max: 6| >> #286|Stack: 5|Fin: 135|Max: 6| >> #287|Stack: 5|Fin: 135|Max: 6| >> #288|Stack: 8|Fin: 136|Max: 6| >> #289|Stack: 8|Fin: 136|Max: 6| >> #290|Stack: 9|Fin: 137|Max: 6| >> #291|Stack: 9|Fin: 137|Max: 6| >> #292|Stack: 8|Fin: 138|Max: 6| >> #293|Stack: 8|Fin: 138|Max: 6| >> #294|Stack: 7|Fin: 139|Max: 6| >> #295|Stack: 7|Fin: 139|Max: 6| >> #296|Stack: 8|Fin: 140|Max: 6| >> #297|Stack: 8|Fin: 140|Max: 6| >> #298|Stack: 7|Fin: 141|Max: 6| >> #299|Stack: 7|Fin: 141|Max: 6| >> #300|Stack: 6|Fin: 142|Max: 6| >> #301|Stack: 6|Fin: 142|Max: 6| >> #302|Stack: 7|Fin: 143|Max: 6| >> #303|Stack: 7|Fin: 143|Max: 6| >> #304|Stack: 6|Fin: 144|Max: 6| >> #305|Stack: 6|Fin: 144|Max: 6| >> #306|Stack: 5|Fin: 145|Max: 6| >> #307|Stack: 5|Fin: 145|Max: 6| >> #308|Stack: 6|Fin: 146|Max: 6| >> #309|Stack: 6|Fin: 146|Max: 6| >> #310|Stack: 5|Fin: 147|Max: 6| >> #311|Stack: 5|Fin: 147|Max: 6| >> #312|Stack: 4|Fin: 148|Max: 6| >> #313|Stack: 4|Fin: 148|Max: 6| >> #314|Stack: 8|Fin: 149|Max: 6| >> #315|Stack: 8|Fin: 149|Max: 6| >> #316|Stack: 10|Fin: 150|Max: 6| >> #317|Stack: 10|Fin: 150|Max: 6| >> #318|Stack: 10|Fin: 151|Max: 6| >> #319|Stack: 10|Fin: 151|Max: 6| >> #320|Stack: 9|Fin: 152|Max: 6| >> #321|Stack: 9|Fin: 152|Max: 6| >> #322|Stack: 9|Fin: 153|Max: 6| >> #323|Stack: 9|Fin: 153|Max: 6| >> #324|Stack: 8|Fin: 154|Max: 6| >> #325|Stack: 8|Fin: 154|Max: 6| >> #326|Stack: 9|Fin: 155|Max: 6| >> #327|Stack: 9|Fin: 155|Max: 6| >> #328|Stack: 8|Fin: 156|Max: 6| >> #329|Stack: 8|Fin: 156|Max: 6| >> #330|Stack: 7|Fin: 157|Max: 6| >> #331|Stack: 7|Fin: 157|Max: 6| >> #332|Stack: 9|Fin: 158|Max: 6| >> #333|Stack: 9|Fin: 158|Max: 6| >> #334|Stack: 9|Fin: 159|Max: 6| >> #335|Stack: 9|Fin: 159|Max: 6| >> #336|Stack: 8|Fin: 160|Max: 6| >> #337|Stack: 8|Fin: 160|Max: 6| >> #338|Stack: 8|Fin: 161|Max: 6| >> #339|Stack: 8|Fin: 161|Max: 6| >> #340|Stack: 7|Fin: 162|Max: 6| >> #341|Stack: 7|Fin: 162|Max: 6| >> #342|Stack: 8|Fin: 163|Max: 6| >> #343|Stack: 8|Fin: 163|Max: 6| >> #344|Stack: 7|Fin: 164|Max: 6| >> #345|Stack: 7|Fin: 164|Max: 6| >> #346|Stack: 6|Fin: 165|Max: 6| >> #347|Stack: 6|Fin: 165|Max: 6| >> #348|Stack: 8|Fin: 166|Max: 6| >> #349|Stack: 8|Fin: 166|Max: 6| >> #350|Stack: 8|Fin: 167|Max: 6| >> #351|Stack: 8|Fin: 167|Max: 6| >> #352|Stack: 7|Fin: 168|Max: 6| >> #353|Stack: 7|Fin: 168|Max: 6| >> #354|Stack: 7|Fin: 169|Max: 6| >> #355|Stack: 7|Fin: 169|Max: 6| >> #356|Stack: 6|Fin: 170|Max: 6| >> #357|Stack: 6|Fin: 170|Max: 6| >> #358|Stack: 7|Fin: 171|Max: 6| >> #359|Stack: 7|Fin: 171|Max: 6| >> #360|Stack: 6|Fin: 172|Max: 6| >> #361|Stack: 6|Fin: 172|Max: 6| >> #362|Stack: 5|Fin: 173|Max: 6| >> #363|Stack: 5|Fin: 173|Max: 6| >> #364|Stack: 7|Fin: 174|Max: 6| >> #365|Stack: 7|Fin: 174|Max: 6| >> #366|Stack: 7|Fin: 175|Max: 6| >> #367|Stack: 7|Fin: 175|Max: 6| >> #368|Stack: 6|Fin: 176|Max: 6| >> #369|Stack: 6|Fin: 176|Max: 6| >> #370|Stack: 6|Fin: 177|Max: 6| >> #371|Stack: 6|Fin: 177|Max: 6| >> #372|Stack: 5|Fin: 178|Max: 6| >> #373|Stack: 5|Fin: 178|Max: 6| >> #374|Stack: 6|Fin: 179|Max: 6| >> #375|Stack: 6|Fin: 179|Max: 6| >> #376|Stack: 5|Fin: 180|Max: 6| >> #377|Stack: 5|Fin: 180|Max: 6| >> #378|Stack: 4|Fin: 181|Max: 6| >> #379|Stack: 4|Fin: 181|Max: 6| >> #380|Stack: 7|Fin: 182|Max: 6| >> #381|Stack: 7|Fin: 182|Max: 6| >> #382|Stack: 8|Fin: 183|Max: 6| >> #383|Stack: 8|Fin: 183|Max: 6| >> #384|Stack: 7|Fin: 184|Max: 6| >> #385|Stack: 7|Fin: 184|Max: 6| >> #386|Stack: 6|Fin: 185|Max: 6| >> #387|Stack: 6|Fin: 185|Max: 6| >> #388|Stack: 7|Fin: 186|Max: 6| >> #389|Stack: 7|Fin: 186|Max: 6| >> #390|Stack: 6|Fin: 187|Max: 6| >> #391|Stack: 6|Fin: 187|Max: 6| >> #392|Stack: 5|Fin: 188|Max: 6| >> #393|Stack: 5|Fin: 188|Max: 6| ┌ Warning: Reached output limit (189 regions) │ Using default overflow handle -> Flushing output stack └ @ ASCertain ~/.julia/packages/ASCertain/y7ltw/src/utils.jl:120 >> #1|Stack: 6|Fin: 0|Max: 6| >> #2|Stack: 6|Fin: 0|Max: 6| >> #3|Stack: 5|Fin: 1|Max: 6| >> #4|Stack: 5|Fin: 1|Max: 6| >> #5|Stack: 4|Fin: 2|Max: 6| >> #6|Stack: 4|Fin: 2|Max: 6| >> #7|Stack: 5|Fin: 3|Max: 6| >> #8|Stack: 5|Fin: 3|Max: 6| >> #9|Stack: 4|Fin: 4|Max: 6| >> #10|Stack: 4|Fin: 4|Max: 6| >> #11|Stack: 3|Fin: 5|Max: 6| >> #12|Stack: 3|Fin: 5|Max: 6| >> #13|Stack: 3|Fin: 5|Max: 6| >> #14|Stack: 3|Fin: 5|Max: 6| >> #15|Stack: 3|Fin: 5|Max: 6| >> #16|Stack: 3|Fin: 5|Max: 6| >> #17|Stack: 3|Fin: 5|Max: 6| >> #18|Stack: 3|Fin: 5|Max: 6| >> #19|Stack: 3|Fin: 5|Max: 6| >> #20|Stack: 3|Fin: 5|Max: 6| >> #21|Stack: 3|Fin: 5|Max: 6| >> #22|Stack: 2|Fin: 6|Max: 7| >> #23|Stack: 2|Fin: 6|Max: 7| >> #24|Stack: 6|Fin: 7|Max: 7| >> #25|Stack: 6|Fin: 7|Max: 7| >> #26|Stack: 8|Fin: 8|Max: 7| >> #27|Stack: 8|Fin: 8|Max: 7| >> #28|Stack: 8|Fin: 9|Max: 7| >> #29|Stack: 8|Fin: 9|Max: 7| >> #30|Stack: 7|Fin: 10|Max: 7| >> #31|Stack: 7|Fin: 10|Max: 7| >> #32|Stack: 7|Fin: 11|Max: 7| >> #33|Stack: 7|Fin: 11|Max: 7| >> #34|Stack: 6|Fin: 12|Max: 7| >> #35|Stack: 6|Fin: 12|Max: 7| >> #36|Stack: 7|Fin: 13|Max: 7| >> #37|Stack: 7|Fin: 13|Max: 7| >> #38|Stack: 6|Fin: 14|Max: 7| >> #39|Stack: 6|Fin: 14|Max: 7| >> #40|Stack: 5|Fin: 15|Max: 7| >> #41|Stack: 5|Fin: 15|Max: 7| >> #42|Stack: 7|Fin: 16|Max: 7| >> #43|Stack: 7|Fin: 16|Max: 7| >> #44|Stack: 7|Fin: 17|Max: 7| >> #45|Stack: 7|Fin: 17|Max: 7| >> #46|Stack: 6|Fin: 18|Max: 7| >> #47|Stack: 6|Fin: 18|Max: 7| >> #48|Stack: 6|Fin: 19|Max: 7| >> #49|Stack: 6|Fin: 19|Max: 7| >> #50|Stack: 5|Fin: 20|Max: 7| >> #51|Stack: 5|Fin: 20|Max: 7| >> #52|Stack: 6|Fin: 21|Max: 7| >> #53|Stack: 6|Fin: 21|Max: 7| >> #54|Stack: 5|Fin: 22|Max: 7| >> #55|Stack: 5|Fin: 22|Max: 7| >> #56|Stack: 4|Fin: 23|Max: 7| >> #57|Stack: 4|Fin: 23|Max: 7| >> #58|Stack: 6|Fin: 24|Max: 7| >> #59|Stack: 6|Fin: 24|Max: 7| >> #60|Stack: 6|Fin: 25|Max: 7| >> #61|Stack: 6|Fin: 25|Max: 7| >> #62|Stack: 5|Fin: 26|Max: 7| >> #63|Stack: 5|Fin: 26|Max: 7| >> #64|Stack: 5|Fin: 27|Max: 7| >> #65|Stack: 5|Fin: 27|Max: 7| >> #66|Stack: 4|Fin: 28|Max: 7| >> #67|Stack: 4|Fin: 28|Max: 7| >> #68|Stack: 5|Fin: 29|Max: 7| >> #69|Stack: 5|Fin: 29|Max: 7| >> #70|Stack: 4|Fin: 30|Max: 7| >> #71|Stack: 4|Fin: 30|Max: 7| >> #72|Stack: 3|Fin: 31|Max: 7| >> #73|Stack: 3|Fin: 31|Max: 7| >> #74|Stack: 6|Fin: 32|Max: 7| >> #75|Stack: 6|Fin: 32|Max: 7| >> #76|Stack: 7|Fin: 33|Max: 7| >> #77|Stack: 7|Fin: 33|Max: 7| >> #78|Stack: 6|Fin: 34|Max: 7| >> #79|Stack: 6|Fin: 34|Max: 7| >> #80|Stack: 5|Fin: 35|Max: 7| >> #81|Stack: 5|Fin: 35|Max: 7| >> #82|Stack: 4|Fin: 36|Max: 7| >> #83|Stack: 4|Fin: 36|Max: 7| >> #84|Stack: 5|Fin: 37|Max: 7| >> #85|Stack: 6|Fin: 37|Max: 7| >> #86|Stack: 5|Fin: 38|Max: 7| >> #87|Stack: 5|Fin: 38|Max: 7| >> #88|Stack: 4|Fin: 39|Max: 7| >> #89|Stack: 4|Fin: 39|Max: 7| >> #90|Stack: 3|Fin: 40|Max: 7| >> #91|Stack: 3|Fin: 40|Max: 7| >> #92|Stack: 4|Fin: 41|Max: 7| >> #93|Stack: 4|Fin: 41|Max: 7| >> #94|Stack: 3|Fin: 42|Max: 7| >> #95|Stack: 3|Fin: 42|Max: 7| >> #96|Stack: 2|Fin: 43|Max: 7| >> #97|Stack: 2|Fin: 43|Max: 7| >> #98|Stack: 5|Fin: 44|Max: 7| >> #99|Stack: 5|Fin: 44|Max: 7| >> #100|Stack: 6|Fin: 45|Max: 7| >> #101|Stack: 6|Fin: 45|Max: 7| >> #102|Stack: 5|Fin: 46|Max: 7| >> #103|Stack: 5|Fin: 46|Max: 7| >> #104|Stack: 4|Fin: 47|Max: 7| >> #105|Stack: 4|Fin: 47|Max: 7| >> #106|Stack: 5|Fin: 48|Max: 7| >> #107|Stack: 5|Fin: 48|Max: 7| >> #108|Stack: 4|Fin: 49|Max: 7| >> #109|Stack: 4|Fin: 49|Max: 7| >> #110|Stack: 3|Fin: 50|Max: 7| >> #111|Stack: 3|Fin: 50|Max: 7| >> #112|Stack: 4|Fin: 51|Max: 7| >> #113|Stack: 4|Fin: 51|Max: 7| >> #114|Stack: 3|Fin: 52|Max: 7| >> #115|Stack: 3|Fin: 52|Max: 7| >> #116|Stack: 2|Fin: 53|Max: 7| >> #117|Stack: 2|Fin: 53|Max: 7| >> #118|Stack: 3|Fin: 54|Max: 7| >> #119|Stack: 3|Fin: 54|Max: 7| >> #120|Stack: 2|Fin: 55|Max: 7| >> #121|Stack: 2|Fin: 55|Max: 7| >> #122|Stack: 1|Fin: 56|Max: 7| >> #123|Stack: 1|Fin: 56|Max: 7| >> #124|Stack: 7|Fin: 57|Max: 7| >> #125|Stack: 7|Fin: 57|Max: 7| >> #126|Stack: 9|Fin: 58|Max: 7| >> #127|Stack: 9|Fin: 58|Max: 7| >> #128|Stack: 9|Fin: 59|Max: 7| >> #129|Stack: 9|Fin: 59|Max: 7| >> #130|Stack: 8|Fin: 60|Max: 7| >> #131|Stack: 8|Fin: 60|Max: 7| >> #132|Stack: 9|Fin: 61|Max: 7| >> #133|Stack: 9|Fin: 61|Max: 7| >> #134|Stack: 8|Fin: 62|Max: 7| >> #135|Stack: 8|Fin: 62|Max: 7| >> #136|Stack: 7|Fin: 63|Max: 7| >> #137|Stack: 7|Fin: 63|Max: 7| >> #138|Stack: 7|Fin: 64|Max: 7| >> #139|Stack: 7|Fin: 64|Max: 7| >> #140|Stack: 6|Fin: 65|Max: 7| >> #141|Stack: 6|Fin: 65|Max: 7| >> #142|Stack: 9|Fin: 66|Max: 7| >> #143|Stack: 9|Fin: 66|Max: 7| >> #144|Stack: 10|Fin: 67|Max: 7| >> #145|Stack: 10|Fin: 67|Max: 7| >> #146|Stack: 9|Fin: 68|Max: 7| >> #147|Stack: 9|Fin: 68|Max: 7| >> #148|Stack: 8|Fin: 69|Max: 7| >> #149|Stack: 8|Fin: 69|Max: 7| >> #150|Stack: 9|Fin: 70|Max: 7| >> #151|Stack: 9|Fin: 70|Max: 7| >> #152|Stack: 8|Fin: 71|Max: 7| >> #153|Stack: 8|Fin: 71|Max: 7| >> #154|Stack: 7|Fin: 72|Max: 7| >> #155|Stack: 7|Fin: 72|Max: 7| >> #156|Stack: 8|Fin: 73|Max: 7| >> #157|Stack: 8|Fin: 73|Max: 7| >> #158|Stack: 7|Fin: 74|Max: 7| >> #159|Stack: 7|Fin: 74|Max: 7| >> #160|Stack: 6|Fin: 75|Max: 7| >> #161|Stack: 6|Fin: 75|Max: 7| >> #162|Stack: 7|Fin: 76|Max: 7| >> #163|Stack: 7|Fin: 76|Max: 7| >> #164|Stack: 6|Fin: 77|Max: 7| >> #165|Stack: 6|Fin: 77|Max: 7| >> #166|Stack: 5|Fin: 78|Max: 7| >> #167|Stack: 5|Fin: 78|Max: 7| >> #168|Stack: 9|Fin: 79|Max: 7| >> #169|Stack: 9|Fin: 79|Max: 7| >> #170|Stack: 9|Fin: 80|Max: 7| >> #171|Stack: 9|Fin: 80|Max: 7| >> #172|Stack: 8|Fin: 81|Max: 7| >> #173|Stack: 8|Fin: 81|Max: 7| >> #174|Stack: 8|Fin: 82|Max: 7| >> #175|Stack: 8|Fin: 82|Max: 7| >> #176|Stack: 7|Fin: 83|Max: 7| >> #177|Stack: 7|Fin: 83|Max: 7| >> #178|Stack: 8|Fin: 84|Max: 7| >> #179|Stack: 8|Fin: 84|Max: 7| >> #180|Stack: 7|Fin: 85|Max: 7| >> #181|Stack: 7|Fin: 85|Max: 7| >> #182|Stack: 6|Fin: 86|Max: 7| >> #183|Stack: 6|Fin: 86|Max: 7| >> #184|Stack: 7|Fin: 87|Max: 7| >> #185|Stack: 8|Fin: 87|Max: 7| >> #186|Stack: 7|Fin: 88|Max: 7| >> #187|Stack: 7|Fin: 88|Max: 7| >> #188|Stack: 6|Fin: 89|Max: 7| >> #189|Stack: 6|Fin: 89|Max: 7| >> #190|Stack: 5|Fin: 90|Max: 7| >> #191|Stack: 5|Fin: 90|Max: 7| >> #192|Stack: 5|Fin: 91|Max: 7| >> #193|Stack: 5|Fin: 91|Max: 7| >> #194|Stack: 4|Fin: 92|Max: 7| >> #195|Stack: 4|Fin: 92|Max: 7| >> #196|Stack: 7|Fin: 93|Max: 7| >> #197|Stack: 7|Fin: 93|Max: 7| >> #198|Stack: 8|Fin: 94|Max: 7| >> #199|Stack: 8|Fin: 94|Max: 7| >> #200|Stack: 7|Fin: 95|Max: 7| >> #201|Stack: 7|Fin: 95|Max: 7| >> #202|Stack: 6|Fin: 96|Max: 7| >> #203|Stack: 6|Fin: 96|Max: 7| >> #204|Stack: 7|Fin: 97|Max: 7| >> #205|Stack: 7|Fin: 97|Max: 7| >> #206|Stack: 6|Fin: 98|Max: 7| >> #207|Stack: 6|Fin: 98|Max: 7| >> #208|Stack: 5|Fin: 99|Max: 7| >> #209|Stack: 5|Fin: 99|Max: 7| >> #210|Stack: 6|Fin: 100|Max: 7| >> #211|Stack: 6|Fin: 100|Max: 7| >> #212|Stack: 5|Fin: 101|Max: 7| >> #213|Stack: 5|Fin: 101|Max: 7| >> #214|Stack: 4|Fin: 102|Max: 7| >> #215|Stack: 4|Fin: 102|Max: 7| >> #216|Stack: 5|Fin: 103|Max: 7| >> #217|Stack: 5|Fin: 103|Max: 7| >> #218|Stack: 4|Fin: 104|Max: 7| >> #219|Stack: 4|Fin: 104|Max: 7| >> #220|Stack: 3|Fin: 105|Max: 7| >> #221|Stack: 3|Fin: 105|Max: 7| >> #222|Stack: 6|Fin: 106|Max: 7| >> #223|Stack: 6|Fin: 106|Max: 7| >> #224|Stack: 6|Fin: 107|Max: 7| >> #225|Stack: 6|Fin: 107|Max: 7| >> #226|Stack: 5|Fin: 108|Max: 7| >> #227|Stack: 5|Fin: 108|Max: 7| >> #228|Stack: 6|Fin: 109|Max: 7| >> #229|Stack: 7|Fin: 109|Max: 7| >> #230|Stack: 6|Fin: 110|Max: 7| >> #231|Stack: 6|Fin: 110|Max: 7| >> #232|Stack: 5|Fin: 111|Max: 7| >> #233|Stack: 5|Fin: 111|Max: 7| >> #234|Stack: 4|Fin: 112|Max: 7| >> #235|Stack: 4|Fin: 112|Max: 7| >> #236|Stack: 5|Fin: 113|Max: 7| >> #237|Stack: 6|Fin: 113|Max: 7| >> #238|Stack: 5|Fin: 114|Max: 7| >> #239|Stack: 5|Fin: 114|Max: 7| >> #240|Stack: 4|Fin: 115|Max: 7| >> #241|Stack: 4|Fin: 115|Max: 7| >> #242|Stack: 3|Fin: 116|Max: 7| >> #243|Stack: 3|Fin: 116|Max: 7| >> #244|Stack: 4|Fin: 117|Max: 7| >> #245|Stack: 4|Fin: 117|Max: 7| >> #246|Stack: 3|Fin: 118|Max: 7| >> #247|Stack: 3|Fin: 118|Max: 7| >> #248|Stack: 2|Fin: 119|Max: 7| >> #249|Stack: 2|Fin: 119|Max: 7| >> #250|Stack: 6|Fin: 120|Max: 7| >> #251|Stack: 6|Fin: 120|Max: 7| >> #252|Stack: 6|Fin: 121|Max: 7| >> #253|Stack: 6|Fin: 121|Max: 7| >> #254|Stack: 5|Fin: 122|Max: 7| >> #255|Stack: 5|Fin: 122|Max: 7| >> #256|Stack: 5|Fin: 123|Max: 7| >> #257|Stack: 5|Fin: 123|Max: 7| >> #258|Stack: 4|Fin: 124|Max: 7| >> #259|Stack: 4|Fin: 124|Max: 7| >> #260|Stack: 5|Fin: 125|Max: 7| >> #261|Stack: 5|Fin: 125|Max: 7| >> #262|Stack: 4|Fin: 126|Max: 7| >> #263|Stack: 4|Fin: 126|Max: 7| >> #264|Stack: 3|Fin: 127|Max: 7| >> #265|Stack: 3|Fin: 127|Max: 7| >> #266|Stack: 4|Fin: 128|Max: 7| >> #267|Stack: 5|Fin: 128|Max: 7| >> #268|Stack: 4|Fin: 129|Max: 7| >> #269|Stack: 4|Fin: 129|Max: 7| >> #270|Stack: 3|Fin: 130|Max: 7| >> #271|Stack: 3|Fin: 130|Max: 7| >> #272|Stack: 2|Fin: 131|Max: 7| >> #273|Stack: 2|Fin: 131|Max: 7| >> #274|Stack: 2|Fin: 132|Max: 7| >> #275|Stack: 2|Fin: 132|Max: 7| >> #276|Stack: 1|Fin: 133|Max: 7| >> #277|Stack: 1|Fin: 133|Max: 7| >> #278|Stack: 3|Fin: 134|Max: 7| >> #279|Stack: 3|Fin: 134|Max: 7| >> #280|Stack: 3|Fin: 135|Max: 7| >> #281|Stack: 3|Fin: 135|Max: 7| >> #282|Stack: 2|Fin: 136|Max: 7| >> #283|Stack: 2|Fin: 136|Max: 7| >> #284|Stack: 3|Fin: 137|Max: 7| >> #285|Stack: 3|Fin: 137|Max: 7| >> #286|Stack: 2|Fin: 138|Max: 7| >> #287|Stack: 2|Fin: 138|Max: 7| >> #288|Stack: 1|Fin: 139|Max: 7| >> #289|Stack: 1|Fin: 139|Max: 7| >> #290|Stack: 1|Fin: 140|Max: 7| >> #291|Stack: 1|Fin: 140|Max: 7| >> #292|Stack: 0|Fin: 141|Max: 7| >> #293|Stack: 0|Fin: 141|Max: 7| >> #294|Stack: 4|Fin: 142|Max: 7| >> #295|Stack: 4|Fin: 142|Max: 7| >> #296|Stack: 6|Fin: 143|Max: 7| >> #297|Stack: 6|Fin: 143|Max: 7| >> #298|Stack: 6|Fin: 144|Max: 7| >> #299|Stack: 6|Fin: 144|Max: 7| >> #300|Stack: 5|Fin: 145|Max: 7| >> #301|Stack: 5|Fin: 145|Max: 7| >> #302|Stack: 6|Fin: 146|Max: 7| >> #303|Stack: 6|Fin: 146|Max: 7| >> #304|Stack: 5|Fin: 147|Max: 7| >> #305|Stack: 5|Fin: 147|Max: 7| >> #306|Stack: 4|Fin: 148|Max: 7| >> #307|Stack: 4|Fin: 148|Max: 7| >> #308|Stack: 4|Fin: 149|Max: 7| >> #309|Stack: 4|Fin: 149|Max: 7| >> #310|Stack: 3|Fin: 150|Max: 7| >> #311|Stack: 3|Fin: 150|Max: 7| >> #312|Stack: 5|Fin: 151|Max: 7| >> #313|Stack: 5|Fin: 151|Max: 7| >> #314|Stack: 5|Fin: 152|Max: 7| >> #315|Stack: 5|Fin: 152|Max: 7| >> #316|Stack: 4|Fin: 153|Max: 7| >> #317|Stack: 4|Fin: 153|Max: 7| >> #318|Stack: 5|Fin: 154|Max: 7| >> #319|Stack: 5|Fin: 154|Max: 7| >> #320|Stack: 4|Fin: 155|Max: 7| >> #321|Stack: 4|Fin: 155|Max: 7| >> #322|Stack: 3|Fin: 156|Max: 7| >> #323|Stack: 3|Fin: 156|Max: 7| >> #324|Stack: 3|Fin: 157|Max: 7| >> #325|Stack: 3|Fin: 157|Max: 7| >> #326|Stack: 2|Fin: 158|Max: 7| >> #327|Stack: 2|Fin: 158|Max: 7| >> #328|Stack: 5|Fin: 159|Max: 7| >> #329|Stack: 5|Fin: 159|Max: 7| >> #330|Stack: 6|Fin: 160|Max: 7| >> #331|Stack: 6|Fin: 160|Max: 7| >> #332|Stack: 5|Fin: 161|Max: 7| >> #333|Stack: 5|Fin: 161|Max: 7| >> #334|Stack: 4|Fin: 162|Max: 7| >> #335|Stack: 4|Fin: 162|Max: 7| >> #336|Stack: 5|Fin: 163|Max: 7| >> #337|Stack: 5|Fin: 163|Max: 7| >> #338|Stack: 4|Fin: 164|Max: 7| >> #339|Stack: 4|Fin: 164|Max: 7| >> #340|Stack: 3|Fin: 165|Max: 7| >> #341|Stack: 3|Fin: 165|Max: 7| >> #342|Stack: 4|Fin: 166|Max: 7| >> #343|Stack: 4|Fin: 166|Max: 7| >> #344|Stack: 3|Fin: 167|Max: 7| >> #345|Stack: 3|Fin: 167|Max: 7| >> #346|Stack: 2|Fin: 168|Max: 7| >> #347|Stack: 2|Fin: 168|Max: 7| >> #348|Stack: 3|Fin: 169|Max: 7| >> #349|Stack: 3|Fin: 169|Max: 7| >> #350|Stack: 2|Fin: 170|Max: 7| >> #351|Stack: 2|Fin: 170|Max: 7| >> #352|Stack: 1|Fin: 171|Max: 7| >> #353|Stack: 1|Fin: 171|Max: 7| >> #354|Stack: 3|Fin: 172|Max: 7| >> #355|Stack: 3|Fin: 172|Max: 7| >> #356|Stack: 3|Fin: 173|Max: 7| >> #357|Stack: 3|Fin: 173|Max: 7| >> #358|Stack: 2|Fin: 174|Max: 7| >> #359|Stack: 2|Fin: 174|Max: 7| >> #360|Stack: 3|Fin: 175|Max: 7| >> #361|Stack: 3|Fin: 175|Max: 7| >> #362|Stack: 2|Fin: 176|Max: 7| >> #363|Stack: 2|Fin: 176|Max: 7| >> #364|Stack: 1|Fin: 177|Max: 7| >> #365|Stack: 1|Fin: 177|Max: 7| >> #366|Stack: 1|Fin: 178|Max: 7| >> #367|Stack: 1|Fin: 178|Max: 7| >> #368|Stack: 0|Fin: 179|Max: 7| >> #369|Stack: 0|Fin: 179|Max: 7| >> #370|Stack: 2|Fin: 180|Max: 7| >> #371|Stack: 2|Fin: 180|Max: 7| >> #372|Stack: 2|Fin: 181|Max: 7| >> #373|Stack: 3|Fin: 181|Max: 7| >> #374|Stack: 2|Fin: 182|Max: 7| >> #375|Stack: 2|Fin: 182|Max: 7| >> #376|Stack: 1|Fin: 183|Max: 7| >> #377|Stack: 1|Fin: 183|Max: 7| >> #378|Stack: 2|Fin: 184|Max: 7| >> #379|Stack: 2|Fin: 184|Max: 7| >> #380|Stack: 1|Fin: 185|Max: 7| >> #381|Stack: 1|Fin: 185|Max: 7| >> #382|Stack: 0|Fin: 186|Max: 7| >> #383|Stack: 0|Fin: 186|Max: 7| >> #384|Stack: 0|Fin: 187|Max: 7| >> #385|Stack: 0|Fin: 187|Max: 7| ======= Final information: ======= ||Max:7|LPs: 0|Fin:188|| ================================== Test Summary: | Pass Total Time Default Overflow | 2 2 0.2s >> #1|Stack: 0|Fin: 0|Max: 0| >> #2|Stack: 0|Fin: 0|Max: 0| >> #3|Stack: 8|Fin: 1|Max: 1| >> #4|Stack: 8|Fin: 1|Max: 1| Inside test_callback | stack length: 13 | final stack length: 2 Test Summary: | Total Time Try simple callback | 0 0.1s >> #1|Stack: 0|Fin: 0|Max: 0| >> #2|Stack: 0|Fin: 0|Max: 0| >> #3|Stack: 8|Fin: 1|Max: 1| >> #4|Stack: 8|Fin: 1|Max: 1| >> #5|Stack: 12|Fin: 2|Max: 2| >> #6|Stack: 12|Fin: 2|Max: 2| >> #7|Stack: 15|Fin: 3|Max: 3| >> #8|Stack: 15|Fin: 3|Max: 3| >> #9|Stack: 16|Fin: 4|Max: 4| >> #10|Stack: 16|Fin: 4|Max: 4| >> #11|Stack: 15|Fin: 5|Max: 5| >> #12|Stack: 15|Fin: 5|Max: 5| >> #13|Stack: 14|Fin: 6|Max: 5| >> #14|Stack: 14|Fin: 6|Max: 5| >> #15|Stack: 15|Fin: 7|Max: 5| >> #16|Stack: 15|Fin: 7|Max: 5| >> #17|Stack: 14|Fin: 8|Max: 5| >> #18|Stack: 14|Fin: 8|Max: 5| >> #19|Stack: 13|Fin: 9|Max: 5| >> #20|Stack: 13|Fin: 9|Max: 5| >> #21|Stack: 13|Fin: 10|Max: 5| >> #22|Stack: 13|Fin: 10|Max: 5| >> #23|Stack: 12|Fin: 11|Max: 5| >> #24|Stack: 12|Fin: 11|Max: 5| >> #25|Stack: 12|Fin: 12|Max: 5| >> #26|Stack: 12|Fin: 12|Max: 5| >> #27|Stack: 11|Fin: 13|Max: 5| >> #28|Stack: 11|Fin: 13|Max: 5| >> #29|Stack: 13|Fin: 14|Max: 5| >> #30|Stack: 13|Fin: 14|Max: 5| >> #31|Stack: 13|Fin: 15|Max: 5| >> #32|Stack: 13|Fin: 15|Max: 5| >> #33|Stack: 12|Fin: 16|Max: 5| >> #34|Stack: 12|Fin: 16|Max: 5| >> #35|Stack: 12|Fin: 17|Max: 5| >> #36|Stack: 12|Fin: 17|Max: 5| >> #37|Stack: 11|Fin: 18|Max: 5| >> #38|Stack: 11|Fin: 18|Max: 5| >> #39|Stack: 12|Fin: 19|Max: 5| >> #40|Stack: 12|Fin: 19|Max: 5| >> #41|Stack: 11|Fin: 20|Max: 5| >> #42|Stack: 11|Fin: 20|Max: 5| >> #43|Stack: 10|Fin: 21|Max: 5| >> #44|Stack: 10|Fin: 21|Max: 5| >> #45|Stack: 12|Fin: 22|Max: 5| >> #46|Stack: 12|Fin: 22|Max: 5| >> #47|Stack: 12|Fin: 23|Max: 5| >> #48|Stack: 12|Fin: 23|Max: 5| >> #49|Stack: 11|Fin: 24|Max: 5| >> #50|Stack: 11|Fin: 24|Max: 5| >> #51|Stack: 10|Fin: 25|Max: 5| >> #52|Stack: 10|Fin: 25|Max: 5| >> #53|Stack: 10|Fin: 26|Max: 5| >> #54|Stack: 10|Fin: 26|Max: 5| >> #55|Stack: 9|Fin: 27|Max: 5| >> #56|Stack: 9|Fin: 27|Max: 5| >> #57|Stack: 11|Fin: 28|Max: 5| >> #58|Stack: 11|Fin: 28|Max: 5| >> #59|Stack: 11|Fin: 29|Max: 5| >> #60|Stack: 11|Fin: 29|Max: 5| >> #61|Stack: 10|Fin: 30|Max: 5| >> #62|Stack: 10|Fin: 30|Max: 5| >> #63|Stack: 11|Fin: 31|Max: 5| >> #64|Stack: 11|Fin: 31|Max: 5| >> #65|Stack: 10|Fin: 32|Max: 5| >> #66|Stack: 10|Fin: 32|Max: 5| >> #67|Stack: 9|Fin: 33|Max: 5| >> #68|Stack: 9|Fin: 33|Max: 5| >> #69|Stack: 9|Fin: 34|Max: 5| >> #70|Stack: 9|Fin: 34|Max: 5| >> #71|Stack: 8|Fin: 35|Max: 5| >> #72|Stack: 8|Fin: 35|Max: 5| >> #73|Stack: 10|Fin: 36|Max: 5| >> #74|Stack: 10|Fin: 36|Max: 5| >> #75|Stack: 10|Fin: 37|Max: 5| >> #76|Stack: 10|Fin: 37|Max: 5| >> #77|Stack: 9|Fin: 38|Max: 5| >> #78|Stack: 9|Fin: 38|Max: 5| >> #79|Stack: 10|Fin: 39|Max: 5| >> #80|Stack: 10|Fin: 39|Max: 5| >> #81|Stack: 9|Fin: 40|Max: 5| >> #82|Stack: 9|Fin: 40|Max: 5| >> #83|Stack: 8|Fin: 41|Max: 5| >> #84|Stack: 8|Fin: 41|Max: 5| >> #85|Stack: 8|Fin: 42|Max: 5| >> #86|Stack: 8|Fin: 42|Max: 5| >> #87|Stack: 7|Fin: 43|Max: 5| >> #88|Stack: 7|Fin: 43|Max: 5| >> #89|Stack: 8|Fin: 43|Max: 5| >> #90|Stack: 8|Fin: 43|Max: 5| >> #91|Stack: 8|Fin: 43|Max: 5| >> #92|Stack: 8|Fin: 43|Max: 5| >> #93|Stack: 8|Fin: 43|Max: 5| >> #94|Stack: 8|Fin: 43|Max: 5| >> #95|Stack: 8|Fin: 43|Max: 5| >> #96|Stack: 7|Fin: 44|Max: 6| >> #97|Stack: 7|Fin: 44|Max: 6| >> #98|Stack: 7|Fin: 44|Max: 6| >> #99|Stack: 7|Fin: 44|Max: 6| >> #100|Stack: 8|Fin: 45|Max: 6| >> #101|Stack: 8|Fin: 45|Max: 6| >> #102|Stack: 7|Fin: 46|Max: 6| >> #103|Stack: 8|Fin: 46|Max: 6| >> #104|Stack: 7|Fin: 47|Max: 6| >> #105|Stack: 7|Fin: 47|Max: 6| >> #106|Stack: 6|Fin: 48|Max: 6| >> #107|Stack: 6|Fin: 48|Max: 6| >> #108|Stack: 11|Fin: 49|Max: 6| >> #109|Stack: 11|Fin: 49|Max: 6| >> #110|Stack: 13|Fin: 50|Max: 6| >> #111|Stack: 13|Fin: 50|Max: 6| >> #112|Stack: 13|Fin: 51|Max: 6| >> #113|Stack: 13|Fin: 51|Max: 6| >> #114|Stack: 12|Fin: 52|Max: 6| >> #115|Stack: 12|Fin: 52|Max: 6| >> #116|Stack: 13|Fin: 53|Max: 6| >> #117|Stack: 13|Fin: 53|Max: 6| >> #118|Stack: 12|Fin: 54|Max: 6| >> #119|Stack: 12|Fin: 54|Max: 6| >> #120|Stack: 11|Fin: 55|Max: 6| >> #121|Stack: 11|Fin: 55|Max: 6| >> #122|Stack: 11|Fin: 56|Max: 6| >> #123|Stack: 11|Fin: 56|Max: 6| >> #124|Stack: 10|Fin: 57|Max: 6| >> #125|Stack: 10|Fin: 57|Max: 6| >> #126|Stack: 12|Fin: 58|Max: 6| >> #127|Stack: 12|Fin: 58|Max: 6| >> #128|Stack: 13|Fin: 59|Max: 6| >> #129|Stack: 13|Fin: 59|Max: 6| >> #130|Stack: 12|Fin: 60|Max: 6| >> #131|Stack: 12|Fin: 60|Max: 6| >> #132|Stack: 11|Fin: 61|Max: 6| >> #133|Stack: 11|Fin: 61|Max: 6| >> #134|Stack: 11|Fin: 62|Max: 6| >> #135|Stack: 11|Fin: 62|Max: 6| >> #136|Stack: 10|Fin: 63|Max: 6| >> #137|Stack: 10|Fin: 63|Max: 6| >> #138|Stack: 11|Fin: 64|Max: 6| >> #139|Stack: 11|Fin: 64|Max: 6| >> #140|Stack: 10|Fin: 65|Max: 6| >> #141|Stack: 10|Fin: 65|Max: 6| >> #142|Stack: 9|Fin: 66|Max: 6| >> #143|Stack: 9|Fin: 66|Max: 6| >> #144|Stack: 11|Fin: 66|Max: 6| >> #145|Stack: 11|Fin: 66|Max: 6| >> #146|Stack: 12|Fin: 67|Max: 6| >> #147|Stack: 12|Fin: 67|Max: 6| >> #148|Stack: 11|Fin: 68|Max: 6| >> #149|Stack: 11|Fin: 68|Max: 6| >> #150|Stack: 10|Fin: 69|Max: 6| >> #151|Stack: 10|Fin: 69|Max: 6| >> #152|Stack: 10|Fin: 69|Max: 6| >> #153|Stack: 10|Fin: 69|Max: 6| >> #154|Stack: 9|Fin: 70|Max: 6| >> #155|Stack: 9|Fin: 70|Max: 6| >> #156|Stack: 9|Fin: 70|Max: 6| >> #157|Stack: 9|Fin: 70|Max: 6| >> #158|Stack: 8|Fin: 71|Max: 6| >> #159|Stack: 8|Fin: 71|Max: 6| >> #160|Stack: 10|Fin: 72|Max: 6| >> #161|Stack: 10|Fin: 72|Max: 6| >> #162|Stack: 10|Fin: 73|Max: 6| >> #163|Stack: 10|Fin: 73|Max: 6| >> #164|Stack: 9|Fin: 74|Max: 6| >> #165|Stack: 9|Fin: 74|Max: 6| >> #166|Stack: 9|Fin: 75|Max: 6| >> #167|Stack: 9|Fin: 75|Max: 6| >> #168|Stack: 8|Fin: 76|Max: 6| >> #169|Stack: 8|Fin: 76|Max: 6| >> #170|Stack: 9|Fin: 77|Max: 6| >> #171|Stack: 9|Fin: 77|Max: 6| >> #172|Stack: 8|Fin: 78|Max: 6| >> #173|Stack: 8|Fin: 78|Max: 6| >> #174|Stack: 7|Fin: 79|Max: 6| >> #175|Stack: 7|Fin: 79|Max: 6| >> #176|Stack: 11|Fin: 80|Max: 6| >> #177|Stack: 11|Fin: 80|Max: 6| >> #178|Stack: 11|Fin: 81|Max: 6| >> #179|Stack: 11|Fin: 81|Max: 6| >> #180|Stack: 10|Fin: 82|Max: 6| >> #181|Stack: 10|Fin: 82|Max: 6| >> #182|Stack: 10|Fin: 83|Max: 6| >> #183|Stack: 10|Fin: 83|Max: 6| >> #184|Stack: 9|Fin: 84|Max: 6| >> #185|Stack: 9|Fin: 84|Max: 6| >> #186|Stack: 10|Fin: 85|Max: 6| >> #187|Stack: 10|Fin: 85|Max: 6| >> #188|Stack: 9|Fin: 86|Max: 6| >> #189|Stack: 9|Fin: 86|Max: 6| >> #190|Stack: 8|Fin: 87|Max: 6| >> #191|Stack: 8|Fin: 87|Max: 6| >> #192|Stack: 9|Fin: 88|Max: 6| >> #193|Stack: 10|Fin: 88|Max: 6| >> #194|Stack: 9|Fin: 89|Max: 6| >> #195|Stack: 9|Fin: 89|Max: 6| >> #196|Stack: 8|Fin: 90|Max: 6| >> #197|Stack: 8|Fin: 90|Max: 6| >> #198|Stack: 7|Fin: 91|Max: 6| >> #199|Stack: 7|Fin: 91|Max: 6| >> #200|Stack: 7|Fin: 92|Max: 6| >> #201|Stack: 7|Fin: 92|Max: 6| >> #202|Stack: 6|Fin: 93|Max: 6| >> #203|Stack: 6|Fin: 93|Max: 6| >> #204|Stack: 8|Fin: 94|Max: 6| >> #205|Stack: 8|Fin: 94|Max: 6| >> #206|Stack: 8|Fin: 95|Max: 6| >> #207|Stack: 8|Fin: 95|Max: 6| >> #208|Stack: 7|Fin: 96|Max: 6| >> #209|Stack: 7|Fin: 96|Max: 6| >> #210|Stack: 8|Fin: 97|Max: 6| >> #211|Stack: 8|Fin: 97|Max: 6| >> #212|Stack: 7|Fin: 98|Max: 6| >> #213|Stack: 7|Fin: 98|Max: 6| >> #214|Stack: 6|Fin: 99|Max: 6| >> #215|Stack: 6|Fin: 99|Max: 6| >> #216|Stack: 6|Fin: 100|Max: 6| >> #217|Stack: 6|Fin: 100|Max: 6| >> #218|Stack: 5|Fin: 101|Max: 6| >> #219|Stack: 5|Fin: 101|Max: 6| >> #220|Stack: 9|Fin: 102|Max: 6| >> #221|Stack: 9|Fin: 102|Max: 6| >> #222|Stack: 11|Fin: 103|Max: 6| >> #223|Stack: 11|Fin: 103|Max: 6| >> #224|Stack: 11|Fin: 104|Max: 6| >> #225|Stack: 11|Fin: 104|Max: 6| >> #226|Stack: 10|Fin: 105|Max: 6| >> #227|Stack: 10|Fin: 105|Max: 6| >> #228|Stack: 10|Fin: 106|Max: 6| >> #229|Stack: 10|Fin: 106|Max: 6| >> #230|Stack: 9|Fin: 107|Max: 6| >> #231|Stack: 9|Fin: 107|Max: 6| >> #232|Stack: 10|Fin: 108|Max: 6| >> #233|Stack: 10|Fin: 108|Max: 6| >> #234|Stack: 9|Fin: 109|Max: 6| >> #235|Stack: 9|Fin: 109|Max: 6| >> #236|Stack: 8|Fin: 110|Max: 6| >> #237|Stack: 8|Fin: 110|Max: 6| >> #238|Stack: 10|Fin: 111|Max: 6| >> #239|Stack: 10|Fin: 111|Max: 6| >> #240|Stack: 11|Fin: 112|Max: 6| >> #241|Stack: 11|Fin: 112|Max: 6| >> #242|Stack: 10|Fin: 113|Max: 6| >> #243|Stack: 10|Fin: 113|Max: 6| >> #244|Stack: 9|Fin: 114|Max: 6| >> #245|Stack: 9|Fin: 114|Max: 6| >> #246|Stack: 9|Fin: 115|Max: 6| >> #247|Stack: 9|Fin: 115|Max: 6| >> #248|Stack: 8|Fin: 116|Max: 6| >> #249|Stack: 8|Fin: 116|Max: 6| >> #250|Stack: 9|Fin: 117|Max: 6| >> #251|Stack: 9|Fin: 117|Max: 6| >> #252|Stack: 8|Fin: 118|Max: 6| >> #253|Stack: 8|Fin: 118|Max: 6| >> #254|Stack: 7|Fin: 119|Max: 6| >> #255|Stack: 7|Fin: 119|Max: 6| >> #256|Stack: 9|Fin: 120|Max: 6| >> #257|Stack: 9|Fin: 120|Max: 6| >> #258|Stack: 9|Fin: 121|Max: 6| >> #259|Stack: 9|Fin: 121|Max: 6| >> #260|Stack: 8|Fin: 122|Max: 6| >> #261|Stack: 8|Fin: 122|Max: 6| >> #262|Stack: 8|Fin: 123|Max: 6| >> #263|Stack: 8|Fin: 123|Max: 6| >> #264|Stack: 7|Fin: 124|Max: 6| >> #265|Stack: 7|Fin: 124|Max: 6| >> #266|Stack: 8|Fin: 125|Max: 6| >> #267|Stack: 8|Fin: 125|Max: 6| >> #268|Stack: 7|Fin: 126|Max: 6| >> #269|Stack: 7|Fin: 126|Max: 6| >> #270|Stack: 6|Fin: 127|Max: 6| >> #271|Stack: 6|Fin: 127|Max: 6| >> #272|Stack: 8|Fin: 128|Max: 6| >> #273|Stack: 8|Fin: 128|Max: 6| >> #274|Stack: 8|Fin: 129|Max: 6| >> #275|Stack: 8|Fin: 129|Max: 6| >> #276|Stack: 7|Fin: 130|Max: 6| >> #277|Stack: 7|Fin: 130|Max: 6| >> #278|Stack: 7|Fin: 131|Max: 6| >> #279|Stack: 7|Fin: 131|Max: 6| >> #280|Stack: 6|Fin: 132|Max: 6| >> #281|Stack: 6|Fin: 132|Max: 6| >> #282|Stack: 7|Fin: 133|Max: 6| >> #283|Stack: 7|Fin: 133|Max: 6| >> #284|Stack: 6|Fin: 134|Max: 6| >> #285|Stack: 6|Fin: 134|Max: 6| >> #286|Stack: 5|Fin: 135|Max: 6| >> #287|Stack: 5|Fin: 135|Max: 6| >> #288|Stack: 8|Fin: 136|Max: 6| >> #289|Stack: 8|Fin: 136|Max: 6| >> #290|Stack: 9|Fin: 137|Max: 6| >> #291|Stack: 9|Fin: 137|Max: 6| >> #292|Stack: 8|Fin: 138|Max: 6| >> #293|Stack: 8|Fin: 138|Max: 6| >> #294|Stack: 7|Fin: 139|Max: 6| >> #295|Stack: 7|Fin: 139|Max: 6| >> #296|Stack: 8|Fin: 140|Max: 6| >> #297|Stack: 8|Fin: 140|Max: 6| >> #298|Stack: 7|Fin: 141|Max: 6| >> #299|Stack: 7|Fin: 141|Max: 6| >> #300|Stack: 6|Fin: 142|Max: 6| >> #301|Stack: 6|Fin: 142|Max: 6| >> #302|Stack: 7|Fin: 143|Max: 6| >> #303|Stack: 7|Fin: 143|Max: 6| >> #304|Stack: 6|Fin: 144|Max: 6| >> #305|Stack: 6|Fin: 144|Max: 6| >> #306|Stack: 5|Fin: 145|Max: 6| >> #307|Stack: 5|Fin: 145|Max: 6| >> #308|Stack: 6|Fin: 146|Max: 6| >> #309|Stack: 6|Fin: 146|Max: 6| >> #310|Stack: 5|Fin: 147|Max: 6| >> #311|Stack: 5|Fin: 147|Max: 6| >> #312|Stack: 4|Fin: 148|Max: 6| >> #313|Stack: 4|Fin: 148|Max: 6| >> #314|Stack: 8|Fin: 149|Max: 6| >> #315|Stack: 8|Fin: 149|Max: 6| >> #316|Stack: 10|Fin: 150|Max: 6| >> #317|Stack: 10|Fin: 150|Max: 6| >> #318|Stack: 10|Fin: 151|Max: 6| >> #319|Stack: 10|Fin: 151|Max: 6| >> #320|Stack: 9|Fin: 152|Max: 6| >> #321|Stack: 9|Fin: 152|Max: 6| >> #322|Stack: 9|Fin: 153|Max: 6| >> #323|Stack: 9|Fin: 153|Max: 6| >> #324|Stack: 8|Fin: 154|Max: 6| >> #325|Stack: 8|Fin: 154|Max: 6| >> #326|Stack: 9|Fin: 155|Max: 6| >> #327|Stack: 9|Fin: 155|Max: 6| >> #328|Stack: 8|Fin: 156|Max: 6| >> #329|Stack: 8|Fin: 156|Max: 6| >> #330|Stack: 7|Fin: 157|Max: 6| >> #331|Stack: 7|Fin: 157|Max: 6| >> #332|Stack: 9|Fin: 158|Max: 6| >> #333|Stack: 9|Fin: 158|Max: 6| >> #334|Stack: 9|Fin: 159|Max: 6| >> #335|Stack: 9|Fin: 159|Max: 6| >> #336|Stack: 8|Fin: 160|Max: 6| >> #337|Stack: 8|Fin: 160|Max: 6| >> #338|Stack: 8|Fin: 161|Max: 6| >> #339|Stack: 8|Fin: 161|Max: 6| >> #340|Stack: 7|Fin: 162|Max: 6| >> #341|Stack: 7|Fin: 162|Max: 6| >> #342|Stack: 8|Fin: 163|Max: 6| >> #343|Stack: 8|Fin: 163|Max: 6| >> #344|Stack: 7|Fin: 164|Max: 6| >> #345|Stack: 7|Fin: 164|Max: 6| >> #346|Stack: 6|Fin: 165|Max: 6| >> #347|Stack: 6|Fin: 165|Max: 6| >> #348|Stack: 8|Fin: 166|Max: 6| >> #349|Stack: 8|Fin: 166|Max: 6| >> #350|Stack: 8|Fin: 167|Max: 6| >> #351|Stack: 8|Fin: 167|Max: 6| >> #352|Stack: 7|Fin: 168|Max: 6| >> #353|Stack: 7|Fin: 168|Max: 6| >> #354|Stack: 7|Fin: 169|Max: 6| >> #355|Stack: 7|Fin: 169|Max: 6| >> #356|Stack: 6|Fin: 170|Max: 6| >> #357|Stack: 6|Fin: 170|Max: 6| >> #358|Stack: 7|Fin: 171|Max: 6| >> #359|Stack: 7|Fin: 171|Max: 6| >> #360|Stack: 6|Fin: 172|Max: 6| >> #361|Stack: 6|Fin: 172|Max: 6| >> #362|Stack: 5|Fin: 173|Max: 6| >> #363|Stack: 5|Fin: 173|Max: 6| >> #364|Stack: 7|Fin: 174|Max: 6| >> #365|Stack: 7|Fin: 174|Max: 6| >> #366|Stack: 7|Fin: 175|Max: 6| >> #367|Stack: 7|Fin: 175|Max: 6| >> #368|Stack: 6|Fin: 176|Max: 6| >> #369|Stack: 6|Fin: 176|Max: 6| >> #370|Stack: 6|Fin: 177|Max: 6| >> #371|Stack: 6|Fin: 177|Max: 6| >> #372|Stack: 5|Fin: 178|Max: 6| >> #373|Stack: 5|Fin: 178|Max: 6| >> #374|Stack: 6|Fin: 179|Max: 6| >> #375|Stack: 6|Fin: 179|Max: 6| >> #376|Stack: 5|Fin: 180|Max: 6| >> #377|Stack: 5|Fin: 180|Max: 6| >> #378|Stack: 4|Fin: 181|Max: 6| >> #379|Stack: 4|Fin: 181|Max: 6| >> #380|Stack: 7|Fin: 182|Max: 6| >> #381|Stack: 7|Fin: 182|Max: 6| >> #382|Stack: 8|Fin: 183|Max: 6| >> #383|Stack: 8|Fin: 183|Max: 6| >> #384|Stack: 7|Fin: 184|Max: 6| >> #385|Stack: 7|Fin: 184|Max: 6| >> #386|Stack: 6|Fin: 185|Max: 6| >> #387|Stack: 6|Fin: 185|Max: 6| >> #388|Stack: 7|Fin: 186|Max: 6| >> #389|Stack: 7|Fin: 186|Max: 6| >> #390|Stack: 6|Fin: 187|Max: 6| >> #391|Stack: 6|Fin: 187|Max: 6| >> #392|Stack: 5|Fin: 188|Max: 6| >> #393|Stack: 5|Fin: 188|Max: 6| >> #394|Stack: 6|Fin: 189|Max: 6| >> #395|Stack: 6|Fin: 189|Max: 6| >> #396|Stack: 5|Fin: 190|Max: 6| >> #397|Stack: 5|Fin: 190|Max: 6| >> #398|Stack: 4|Fin: 191|Max: 6| >> #399|Stack: 4|Fin: 191|Max: 6| >> #400|Stack: 5|Fin: 192|Max: 6| >> #401|Stack: 5|Fin: 192|Max: 6| >> #402|Stack: 4|Fin: 193|Max: 6| >> #403|Stack: 4|Fin: 193|Max: 6| >> #404|Stack: 3|Fin: 194|Max: 6| >> #405|Stack: 3|Fin: 194|Max: 6| >> #406|Stack: 3|Fin: 194|Max: 6| >> #407|Stack: 3|Fin: 194|Max: 6| >> #408|Stack: 3|Fin: 194|Max: 6| >> #409|Stack: 3|Fin: 194|Max: 6| >> #410|Stack: 3|Fin: 194|Max: 6| >> #411|Stack: 3|Fin: 194|Max: 6| >> #412|Stack: 3|Fin: 194|Max: 6| >> #413|Stack: 3|Fin: 194|Max: 6| >> #414|Stack: 3|Fin: 194|Max: 6| >> #415|Stack: 2|Fin: 195|Max: 7| >> #416|Stack: 2|Fin: 195|Max: 7| >> #417|Stack: 6|Fin: 196|Max: 7| >> #418|Stack: 6|Fin: 196|Max: 7| >> #419|Stack: 8|Fin: 197|Max: 7| >> #420|Stack: 8|Fin: 197|Max: 7| >> #421|Stack: 8|Fin: 198|Max: 7| >> #422|Stack: 8|Fin: 198|Max: 7| >> #423|Stack: 7|Fin: 199|Max: 7| >> #424|Stack: 7|Fin: 199|Max: 7| >> #425|Stack: 7|Fin: 200|Max: 7| >> #426|Stack: 7|Fin: 200|Max: 7| >> #427|Stack: 6|Fin: 201|Max: 7| >> #428|Stack: 6|Fin: 201|Max: 7| >> #429|Stack: 7|Fin: 202|Max: 7| >> #430|Stack: 7|Fin: 202|Max: 7| >> #431|Stack: 6|Fin: 203|Max: 7| >> #432|Stack: 6|Fin: 203|Max: 7| >> #433|Stack: 5|Fin: 204|Max: 7| >> #434|Stack: 5|Fin: 204|Max: 7| >> #435|Stack: 7|Fin: 205|Max: 7| >> #436|Stack: 7|Fin: 205|Max: 7| >> #437|Stack: 7|Fin: 206|Max: 7| >> #438|Stack: 7|Fin: 206|Max: 7| >> #439|Stack: 6|Fin: 207|Max: 7| >> #440|Stack: 6|Fin: 207|Max: 7| >> #441|Stack: 6|Fin: 208|Max: 7| >> #442|Stack: 6|Fin: 208|Max: 7| >> #443|Stack: 5|Fin: 209|Max: 7| >> #444|Stack: 5|Fin: 209|Max: 7| >> #445|Stack: 6|Fin: 210|Max: 7| >> #446|Stack: 6|Fin: 210|Max: 7| >> #447|Stack: 5|Fin: 211|Max: 7| >> #448|Stack: 5|Fin: 211|Max: 7| >> #449|Stack: 4|Fin: 212|Max: 7| >> #450|Stack: 4|Fin: 212|Max: 7| >> #451|Stack: 6|Fin: 213|Max: 7| >> #452|Stack: 6|Fin: 213|Max: 7| >> #453|Stack: 6|Fin: 214|Max: 7| >> #454|Stack: 6|Fin: 214|Max: 7| >> #455|Stack: 5|Fin: 215|Max: 7| >> #456|Stack: 5|Fin: 215|Max: 7| >> #457|Stack: 5|Fin: 216|Max: 7| >> #458|Stack: 5|Fin: 216|Max: 7| >> #459|Stack: 4|Fin: 217|Max: 7| >> #460|Stack: 4|Fin: 217|Max: 7| >> #461|Stack: 5|Fin: 218|Max: 7| >> #462|Stack: 5|Fin: 218|Max: 7| >> #463|Stack: 4|Fin: 219|Max: 7| >> #464|Stack: 4|Fin: 219|Max: 7| >> #465|Stack: 3|Fin: 220|Max: 7| >> #466|Stack: 3|Fin: 220|Max: 7| >> #467|Stack: 6|Fin: 221|Max: 7| >> #468|Stack: 6|Fin: 221|Max: 7| >> #469|Stack: 7|Fin: 222|Max: 7| >> #470|Stack: 7|Fin: 222|Max: 7| >> #471|Stack: 6|Fin: 223|Max: 7| >> #472|Stack: 6|Fin: 223|Max: 7| >> #473|Stack: 5|Fin: 224|Max: 7| >> #474|Stack: 5|Fin: 224|Max: 7| >> #475|Stack: 4|Fin: 225|Max: 7| >> #476|Stack: 4|Fin: 225|Max: 7| >> #477|Stack: 5|Fin: 226|Max: 7| >> #478|Stack: 6|Fin: 226|Max: 7| >> #479|Stack: 5|Fin: 227|Max: 7| >> #480|Stack: 5|Fin: 227|Max: 7| >> #481|Stack: 4|Fin: 228|Max: 7| >> #482|Stack: 4|Fin: 228|Max: 7| >> #483|Stack: 3|Fin: 229|Max: 7| >> #484|Stack: 3|Fin: 229|Max: 7| >> #485|Stack: 4|Fin: 230|Max: 7| >> #486|Stack: 4|Fin: 230|Max: 7| >> #487|Stack: 3|Fin: 231|Max: 7| >> #488|Stack: 3|Fin: 231|Max: 7| >> #489|Stack: 2|Fin: 232|Max: 7| >> #490|Stack: 2|Fin: 232|Max: 7| >> #491|Stack: 5|Fin: 233|Max: 7| >> #492|Stack: 5|Fin: 233|Max: 7| >> #493|Stack: 6|Fin: 234|Max: 7| >> #494|Stack: 6|Fin: 234|Max: 7| >> #495|Stack: 5|Fin: 235|Max: 7| >> #496|Stack: 5|Fin: 235|Max: 7| >> #497|Stack: 4|Fin: 236|Max: 7| >> #498|Stack: 4|Fin: 236|Max: 7| >> #499|Stack: 5|Fin: 237|Max: 7| >> #500|Stack: 5|Fin: 237|Max: 7| >> #501|Stack: 4|Fin: 238|Max: 7| >> #502|Stack: 4|Fin: 238|Max: 7| >> #503|Stack: 3|Fin: 239|Max: 7| >> #504|Stack: 3|Fin: 239|Max: 7| >> #505|Stack: 4|Fin: 240|Max: 7| >> #506|Stack: 4|Fin: 240|Max: 7| >> #507|Stack: 3|Fin: 241|Max: 7| >> #508|Stack: 3|Fin: 241|Max: 7| >> #509|Stack: 2|Fin: 242|Max: 7| >> #510|Stack: 2|Fin: 242|Max: 7| >> #511|Stack: 3|Fin: 243|Max: 7| >> #512|Stack: 3|Fin: 243|Max: 7| >> #513|Stack: 2|Fin: 244|Max: 7| >> #514|Stack: 2|Fin: 244|Max: 7| >> #515|Stack: 1|Fin: 245|Max: 7| >> #516|Stack: 1|Fin: 245|Max: 7| >> #517|Stack: 7|Fin: 246|Max: 7| >> #518|Stack: 7|Fin: 246|Max: 7| >> #519|Stack: 9|Fin: 247|Max: 7| >> #520|Stack: 9|Fin: 247|Max: 7| >> #521|Stack: 9|Fin: 248|Max: 7| >> #522|Stack: 9|Fin: 248|Max: 7| >> #523|Stack: 8|Fin: 249|Max: 7| >> #524|Stack: 8|Fin: 249|Max: 7| >> #525|Stack: 9|Fin: 250|Max: 7| >> #526|Stack: 9|Fin: 250|Max: 7| >> #527|Stack: 8|Fin: 251|Max: 7| >> #528|Stack: 8|Fin: 251|Max: 7| >> #529|Stack: 7|Fin: 252|Max: 7| >> #530|Stack: 7|Fin: 252|Max: 7| >> #531|Stack: 7|Fin: 253|Max: 7| >> #532|Stack: 7|Fin: 253|Max: 7| >> #533|Stack: 6|Fin: 254|Max: 7| >> #534|Stack: 6|Fin: 254|Max: 7| >> #535|Stack: 9|Fin: 255|Max: 7| >> #536|Stack: 9|Fin: 255|Max: 7| >> #537|Stack: 10|Fin: 256|Max: 7| >> #538|Stack: 10|Fin: 256|Max: 7| >> #539|Stack: 9|Fin: 257|Max: 7| >> #540|Stack: 9|Fin: 257|Max: 7| >> #541|Stack: 8|Fin: 258|Max: 7| >> #542|Stack: 8|Fin: 258|Max: 7| >> #543|Stack: 9|Fin: 259|Max: 7| >> #544|Stack: 9|Fin: 259|Max: 7| >> #545|Stack: 8|Fin: 260|Max: 7| >> #546|Stack: 8|Fin: 260|Max: 7| >> #547|Stack: 7|Fin: 261|Max: 7| >> #548|Stack: 7|Fin: 261|Max: 7| >> #549|Stack: 8|Fin: 262|Max: 7| >> #550|Stack: 8|Fin: 262|Max: 7| >> #551|Stack: 7|Fin: 263|Max: 7| >> #552|Stack: 7|Fin: 263|Max: 7| >> #553|Stack: 6|Fin: 264|Max: 7| >> #554|Stack: 6|Fin: 264|Max: 7| >> #555|Stack: 7|Fin: 265|Max: 7| >> #556|Stack: 7|Fin: 265|Max: 7| >> #557|Stack: 6|Fin: 266|Max: 7| >> #558|Stack: 6|Fin: 266|Max: 7| >> #559|Stack: 5|Fin: 267|Max: 7| >> #560|Stack: 5|Fin: 267|Max: 7| >> #561|Stack: 9|Fin: 268|Max: 7| >> #562|Stack: 9|Fin: 268|Max: 7| >> #563|Stack: 9|Fin: 269|Max: 7| >> #564|Stack: 9|Fin: 269|Max: 7| >> #565|Stack: 8|Fin: 270|Max: 7| >> #566|Stack: 8|Fin: 270|Max: 7| >> #567|Stack: 8|Fin: 271|Max: 7| >> #568|Stack: 8|Fin: 271|Max: 7| >> #569|Stack: 7|Fin: 272|Max: 7| >> #570|Stack: 7|Fin: 272|Max: 7| >> #571|Stack: 8|Fin: 273|Max: 7| >> #572|Stack: 8|Fin: 273|Max: 7| >> #573|Stack: 7|Fin: 274|Max: 7| >> #574|Stack: 7|Fin: 274|Max: 7| >> #575|Stack: 6|Fin: 275|Max: 7| >> #576|Stack: 6|Fin: 275|Max: 7| >> #577|Stack: 7|Fin: 276|Max: 7| >> #578|Stack: 8|Fin: 276|Max: 7| >> #579|Stack: 7|Fin: 277|Max: 7| >> #580|Stack: 7|Fin: 277|Max: 7| >> #581|Stack: 6|Fin: 278|Max: 7| >> #582|Stack: 6|Fin: 278|Max: 7| >> #583|Stack: 5|Fin: 279|Max: 7| >> #584|Stack: 5|Fin: 279|Max: 7| >> #585|Stack: 5|Fin: 280|Max: 7| >> #586|Stack: 5|Fin: 280|Max: 7| >> #587|Stack: 4|Fin: 281|Max: 7| >> #588|Stack: 4|Fin: 281|Max: 7| >> #589|Stack: 7|Fin: 282|Max: 7| >> #590|Stack: 7|Fin: 282|Max: 7| >> #591|Stack: 8|Fin: 283|Max: 7| >> #592|Stack: 8|Fin: 283|Max: 7| >> #593|Stack: 7|Fin: 284|Max: 7| >> #594|Stack: 7|Fin: 284|Max: 7| >> #595|Stack: 6|Fin: 285|Max: 7| >> #596|Stack: 6|Fin: 285|Max: 7| >> #597|Stack: 7|Fin: 286|Max: 7| >> #598|Stack: 7|Fin: 286|Max: 7| >> #599|Stack: 6|Fin: 287|Max: 7| >> #600|Stack: 6|Fin: 287|Max: 7| >> #601|Stack: 5|Fin: 288|Max: 7| >> #602|Stack: 5|Fin: 288|Max: 7| >> #603|Stack: 6|Fin: 289|Max: 7| >> #604|Stack: 6|Fin: 289|Max: 7| >> #605|Stack: 5|Fin: 290|Max: 7| >> #606|Stack: 5|Fin: 290|Max: 7| >> #607|Stack: 4|Fin: 291|Max: 7| >> #608|Stack: 4|Fin: 291|Max: 7| >> #609|Stack: 5|Fin: 292|Max: 7| >> #610|Stack: 5|Fin: 292|Max: 7| >> #611|Stack: 4|Fin: 293|Max: 7| >> #612|Stack: 4|Fin: 293|Max: 7| >> #613|Stack: 3|Fin: 294|Max: 7| >> #614|Stack: 3|Fin: 294|Max: 7| >> #615|Stack: 6|Fin: 295|Max: 7| >> #616|Stack: 6|Fin: 295|Max: 7| >> #617|Stack: 6|Fin: 296|Max: 7| >> #618|Stack: 6|Fin: 296|Max: 7| >> #619|Stack: 5|Fin: 297|Max: 7| >> #620|Stack: 5|Fin: 297|Max: 7| >> #621|Stack: 6|Fin: 298|Max: 7| >> #622|Stack: 7|Fin: 298|Max: 7| >> #623|Stack: 6|Fin: 299|Max: 7| >> #624|Stack: 6|Fin: 299|Max: 7| >> #625|Stack: 5|Fin: 300|Max: 7| >> #626|Stack: 5|Fin: 300|Max: 7| >> #627|Stack: 4|Fin: 301|Max: 7| >> #628|Stack: 4|Fin: 301|Max: 7| >> #629|Stack: 5|Fin: 302|Max: 7| >> #630|Stack: 6|Fin: 302|Max: 7| >> #631|Stack: 5|Fin: 303|Max: 7| >> #632|Stack: 5|Fin: 303|Max: 7| >> #633|Stack: 4|Fin: 304|Max: 7| >> #634|Stack: 4|Fin: 304|Max: 7| >> #635|Stack: 3|Fin: 305|Max: 7| >> #636|Stack: 3|Fin: 305|Max: 7| >> #637|Stack: 4|Fin: 306|Max: 7| >> #638|Stack: 4|Fin: 306|Max: 7| >> #639|Stack: 3|Fin: 307|Max: 7| >> #640|Stack: 3|Fin: 307|Max: 7| >> #641|Stack: 2|Fin: 308|Max: 7| >> #642|Stack: 2|Fin: 308|Max: 7| >> #643|Stack: 6|Fin: 309|Max: 7| >> #644|Stack: 6|Fin: 309|Max: 7| >> #645|Stack: 6|Fin: 310|Max: 7| >> #646|Stack: 6|Fin: 310|Max: 7| >> #647|Stack: 5|Fin: 311|Max: 7| >> #648|Stack: 5|Fin: 311|Max: 7| >> #649|Stack: 5|Fin: 312|Max: 7| >> #650|Stack: 5|Fin: 312|Max: 7| >> #651|Stack: 4|Fin: 313|Max: 7| >> #652|Stack: 4|Fin: 313|Max: 7| >> #653|Stack: 5|Fin: 314|Max: 7| >> #654|Stack: 5|Fin: 314|Max: 7| >> #655|Stack: 4|Fin: 315|Max: 7| >> #656|Stack: 4|Fin: 315|Max: 7| >> #657|Stack: 3|Fin: 316|Max: 7| >> #658|Stack: 3|Fin: 316|Max: 7| >> #659|Stack: 4|Fin: 317|Max: 7| >> #660|Stack: 5|Fin: 317|Max: 7| >> #661|Stack: 4|Fin: 318|Max: 7| >> #662|Stack: 4|Fin: 318|Max: 7| >> #663|Stack: 3|Fin: 319|Max: 7| >> #664|Stack: 3|Fin: 319|Max: 7| >> #665|Stack: 2|Fin: 320|Max: 7| >> #666|Stack: 2|Fin: 320|Max: 7| >> #667|Stack: 2|Fin: 321|Max: 7| >> #668|Stack: 2|Fin: 321|Max: 7| >> #669|Stack: 1|Fin: 322|Max: 7| >> #670|Stack: 1|Fin: 322|Max: 7| >> #671|Stack: 3|Fin: 323|Max: 7| >> #672|Stack: 3|Fin: 323|Max: 7| >> #673|Stack: 3|Fin: 324|Max: 7| >> #674|Stack: 3|Fin: 324|Max: 7| >> #675|Stack: 2|Fin: 325|Max: 7| >> #676|Stack: 2|Fin: 325|Max: 7| >> #677|Stack: 3|Fin: 326|Max: 7| >> #678|Stack: 3|Fin: 326|Max: 7| >> #679|Stack: 2|Fin: 327|Max: 7| >> #680|Stack: 2|Fin: 327|Max: 7| >> #681|Stack: 1|Fin: 328|Max: 7| >> #682|Stack: 1|Fin: 328|Max: 7| >> #683|Stack: 1|Fin: 329|Max: 7| >> #684|Stack: 1|Fin: 329|Max: 7| >> #685|Stack: 0|Fin: 330|Max: 7| >> #686|Stack: 0|Fin: 330|Max: 7| >> #687|Stack: 4|Fin: 331|Max: 7| >> #688|Stack: 4|Fin: 331|Max: 7| >> #689|Stack: 6|Fin: 332|Max: 7| >> #690|Stack: 6|Fin: 332|Max: 7| >> #691|Stack: 6|Fin: 333|Max: 7| >> #692|Stack: 6|Fin: 333|Max: 7| >> #693|Stack: 5|Fin: 334|Max: 7| >> #694|Stack: 5|Fin: 334|Max: 7| >> #695|Stack: 6|Fin: 335|Max: 7| >> #696|Stack: 6|Fin: 335|Max: 7| >> #697|Stack: 5|Fin: 336|Max: 7| >> #698|Stack: 5|Fin: 336|Max: 7| >> #699|Stack: 4|Fin: 337|Max: 7| >> #700|Stack: 4|Fin: 337|Max: 7| >> #701|Stack: 4|Fin: 338|Max: 7| >> #702|Stack: 4|Fin: 338|Max: 7| >> #703|Stack: 3|Fin: 339|Max: 7| >> #704|Stack: 3|Fin: 339|Max: 7| >> #705|Stack: 5|Fin: 340|Max: 7| >> #706|Stack: 5|Fin: 340|Max: 7| >> #707|Stack: 5|Fin: 341|Max: 7| >> #708|Stack: 5|Fin: 341|Max: 7| >> #709|Stack: 4|Fin: 342|Max: 7| >> #710|Stack: 4|Fin: 342|Max: 7| >> #711|Stack: 5|Fin: 343|Max: 7| >> #712|Stack: 5|Fin: 343|Max: 7| >> #713|Stack: 4|Fin: 344|Max: 7| >> #714|Stack: 4|Fin: 344|Max: 7| >> #715|Stack: 3|Fin: 345|Max: 7| >> #716|Stack: 3|Fin: 345|Max: 7| >> #717|Stack: 3|Fin: 346|Max: 7| >> #718|Stack: 3|Fin: 346|Max: 7| >> #719|Stack: 2|Fin: 347|Max: 7| >> #720|Stack: 2|Fin: 347|Max: 7| >> #721|Stack: 5|Fin: 348|Max: 7| >> #722|Stack: 5|Fin: 348|Max: 7| >> #723|Stack: 6|Fin: 349|Max: 7| >> #724|Stack: 6|Fin: 349|Max: 7| >> #725|Stack: 5|Fin: 350|Max: 7| >> #726|Stack: 5|Fin: 350|Max: 7| >> #727|Stack: 4|Fin: 351|Max: 7| >> #728|Stack: 4|Fin: 351|Max: 7| >> #729|Stack: 5|Fin: 352|Max: 7| >> #730|Stack: 5|Fin: 352|Max: 7| >> #731|Stack: 4|Fin: 353|Max: 7| >> #732|Stack: 4|Fin: 353|Max: 7| >> #733|Stack: 3|Fin: 354|Max: 7| >> #734|Stack: 3|Fin: 354|Max: 7| >> #735|Stack: 4|Fin: 355|Max: 7| >> #736|Stack: 4|Fin: 355|Max: 7| >> #737|Stack: 3|Fin: 356|Max: 7| >> #738|Stack: 3|Fin: 356|Max: 7| >> #739|Stack: 2|Fin: 357|Max: 7| >> #740|Stack: 2|Fin: 357|Max: 7| >> #741|Stack: 3|Fin: 358|Max: 7| >> #742|Stack: 3|Fin: 358|Max: 7| >> #743|Stack: 2|Fin: 359|Max: 7| >> #744|Stack: 2|Fin: 359|Max: 7| >> #745|Stack: 1|Fin: 360|Max: 7| >> #746|Stack: 1|Fin: 360|Max: 7| >> #747|Stack: 3|Fin: 361|Max: 7| >> #748|Stack: 3|Fin: 361|Max: 7| >> #749|Stack: 3|Fin: 362|Max: 7| >> #750|Stack: 3|Fin: 362|Max: 7| >> #751|Stack: 2|Fin: 363|Max: 7| >> #752|Stack: 2|Fin: 363|Max: 7| >> #753|Stack: 3|Fin: 364|Max: 7| >> #754|Stack: 3|Fin: 364|Max: 7| >> #755|Stack: 2|Fin: 365|Max: 7| >> #756|Stack: 2|Fin: 365|Max: 7| >> #757|Stack: 1|Fin: 366|Max: 7| >> #758|Stack: 1|Fin: 366|Max: 7| >> #759|Stack: 1|Fin: 367|Max: 7| >> #760|Stack: 1|Fin: 367|Max: 7| >> #761|Stack: 0|Fin: 368|Max: 7| >> #762|Stack: 0|Fin: 368|Max: 7| >> #763|Stack: 2|Fin: 369|Max: 7| >> #764|Stack: 2|Fin: 369|Max: 7| >> #765|Stack: 2|Fin: 370|Max: 7| >> #766|Stack: 3|Fin: 370|Max: 7| >> #767|Stack: 2|Fin: 371|Max: 7| >> #768|Stack: 2|Fin: 371|Max: 7| >> #769|Stack: 1|Fin: 372|Max: 7| >> #770|Stack: 1|Fin: 372|Max: 7| >> #771|Stack: 2|Fin: 373|Max: 7| >> #772|Stack: 2|Fin: 373|Max: 7| >> #773|Stack: 1|Fin: 374|Max: 7| >> #774|Stack: 1|Fin: 374|Max: 7| >> #775|Stack: 0|Fin: 375|Max: 7| >> #776|Stack: 0|Fin: 375|Max: 7| >> #777|Stack: 0|Fin: 376|Max: 7| >> #778|Stack: 0|Fin: 376|Max: 7| ======= Final information: ======= ||Max:7|LPs: 0|Fin:377|| ================================== Test Summary: | Pass Total Time Step Overflow | 1 1 0.3s Test Summary: | Total Time Compoute explicit solution LP | 0 0.7s Test Summary: | Total Time Compute explicit solution | 0 0.0s Testing ASCertain tests passed Testing completed after 83.24s PkgEval succeeded after 157.31s