Package evaluation of LinearMPC on Julia 1.13.0-DEV.853 (3e868b27cf*) started at 2025-07-17T03:06:38.367 ################################################################################ # Set-up # Installing PkgEval dependencies (TestEnv)... Set-up completed after 7.74s ################################################################################ # Installation # Installing LinearMPC... Resolving package versions... Updating `~/.julia/environments/v1.13/Project.toml` [82e1c212] + LinearMPC v0.4.4 Updating `~/.julia/environments/v1.13/Manifest.toml` [3c289fd8] + ASCertain v0.3.2 [dce04be8] + ArgCheck v2.5.0 [c3b6d118] + BitIntegers v0.3.5 [bbf7d656] + CommonSubexpressions v0.3.1 [833476c3] + DAQPBase v0.3.0 [9a962f9c] + DataAPI v1.16.0 [e2d170a0] + DataValueInterfaces v1.0.0 [3f0dd361] + DefaultApplication v1.1.0 [163ba53b] + DiffResults v1.1.0 [b552c78f] + DiffRules v1.15.1 [ffbed154] + DocStringExtensions v0.9.5 [1fa38f19] + Format v1.3.7 [f6369f11] + ForwardDiff v1.0.1 [92d709cd] + IrrationalConstants v0.2.4 [82899510] + IteratorInterfaceExtensions v1.0.0 [692b3bcd] + JLLWrappers v1.7.0 [b964fa9f] + LaTeXStrings v1.4.0 [23fbe1c1] + Latexify v0.16.8 [82e1c212] + LinearMPC v0.4.4 [7a12625a] + LinearMaps v3.11.4 [2ab3a3ac] + LogExpFunctions v0.3.29 [1914dd2f] + MacroTools v0.5.16 [99c1a7ee] + MatrixEquations v2.5.3 [77ba4419] + NaNMath v1.1.3 [bac558e1] + OrderedCollections v1.8.1 [8314cec4] + PGFPlotsX v1.6.2 [d96e819e] + Parameters v0.12.3 [19f72acb] + ParametricDAQP v0.4.6 [be5c70c9] + PolyDAQP v0.3.6 [aea7be01] + PrecompileTools v1.3.2 [21216c6a] + Preferences v1.4.3 [3cdcf5f2] + RecipesBase v1.3.4 [ae029012] + Requires v1.3.1 [276daf66] + SpecialFunctions v2.5.1 [1e83bf80] + StaticArraysCore v1.4.3 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [3a884ed6] + UnPack v1.0.2 [5c51c916] + DAQP_jll v0.7.1+0 [efe28fd5] + OpenSpecFun_jll v0.5.6+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.12.0 [b27032c2] + LibCURL v0.6.4 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.12.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [de0858da] + Printf v1.11.0 [9a3f8284] + Random v1.11.0 [ea8e919c] + SHA v0.7.0 [f489334b] + StyledStrings v1.11.0 [fa267f1f] + TOML v1.0.3 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [deac9b47] + LibCURL_jll v8.14.1+1 [29816b5a] + LibSSH2_jll v1.11.3+1 [14a3606d] + MozillaCACerts_jll v2025.5.20 [4536629a] + OpenBLAS_jll v0.3.29+0 [05823500] + OpenLibm_jll v0.8.5+0 [458c3c95] + OpenSSL_jll v3.5.1+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.13.1+0 [8e850ede] + nghttp2_jll v1.65.0+0 Installation completed after 4.35s ################################################################################ # Precompilation # Precompiling PkgEval dependencies... Precompiling package dependencies... Precompilation completed after 23.98s ################################################################################ # Testing # Testing LinearMPC Status `/tmp/jl_NmsuNB/Project.toml` [3c289fd8] ASCertain v0.3.2 [833476c3] DAQPBase v0.3.0 [f6369f11] ForwardDiff v1.0.1 [23fbe1c1] Latexify v0.16.8 [82e1c212] LinearMPC v0.4.4 [99c1a7ee] MatrixEquations v2.5.3 [19f72acb] ParametricDAQP v0.4.6 [3cdcf5f2] RecipesBase v1.3.4 [37e2e46d] LinearAlgebra v1.12.0 [de0858da] Printf v1.11.0 [8dfed614] Test v1.11.0 Status `/tmp/jl_NmsuNB/Manifest.toml` [3c289fd8] ASCertain v0.3.2 [dce04be8] ArgCheck v2.5.0 [c3b6d118] BitIntegers v0.3.5 [bbf7d656] CommonSubexpressions v0.3.1 [833476c3] DAQPBase v0.3.0 [9a962f9c] DataAPI v1.16.0 [e2d170a0] DataValueInterfaces v1.0.0 [3f0dd361] DefaultApplication v1.1.0 [163ba53b] DiffResults v1.1.0 [b552c78f] DiffRules v1.15.1 [ffbed154] DocStringExtensions v0.9.5 [1fa38f19] Format v1.3.7 [f6369f11] ForwardDiff v1.0.1 [92d709cd] IrrationalConstants v0.2.4 [82899510] IteratorInterfaceExtensions v1.0.0 [692b3bcd] JLLWrappers v1.7.0 [b964fa9f] LaTeXStrings v1.4.0 [23fbe1c1] Latexify v0.16.8 [82e1c212] LinearMPC v0.4.4 [7a12625a] LinearMaps v3.11.4 [2ab3a3ac] LogExpFunctions v0.3.29 [1914dd2f] MacroTools v0.5.16 [99c1a7ee] MatrixEquations v2.5.3 [77ba4419] NaNMath v1.1.3 [bac558e1] OrderedCollections v1.8.1 [8314cec4] PGFPlotsX v1.6.2 [d96e819e] Parameters v0.12.3 [19f72acb] ParametricDAQP v0.4.6 [be5c70c9] PolyDAQP v0.3.6 [aea7be01] PrecompileTools v1.3.2 [21216c6a] Preferences v1.4.3 [3cdcf5f2] RecipesBase v1.3.4 [ae029012] Requires v1.3.1 [276daf66] SpecialFunctions v2.5.1 [1e83bf80] StaticArraysCore v1.4.3 [3783bdb8] TableTraits v1.0.1 [bd369af6] Tables v1.12.1 [3a884ed6] UnPack v1.0.2 [5c51c916] DAQP_jll v0.7.1+0 [efe28fd5] OpenSpecFun_jll v0.5.6+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.12.0 [b27032c2] LibCURL v0.6.4 [8f399da3] Libdl v1.11.0 [37e2e46d] LinearAlgebra v1.12.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 v0.7.0 [9e88b42a] Serialization v1.11.0 [f489334b] StyledStrings v1.11.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.3.0+1 [deac9b47] LibCURL_jll v8.14.1+1 [29816b5a] LibSSH2_jll v1.11.3+1 [14a3606d] MozillaCACerts_jll v2025.5.20 [4536629a] OpenBLAS_jll v0.3.29+0 [05823500] OpenLibm_jll v0.8.5+0 [458c3c95] OpenSSL_jll v3.5.1+0 [83775a58] Zlib_jll v1.3.1+2 [8e850b90] libblastrampoline_jll v5.13.1+0 [8e850ede] nghttp2_jll v1.65.0+0 Testing Running tests... ┌ Info: Generated code for MPC controller │ dir = "/tmp/jl_pCFmNYfIHi/" └ fname = "mpc_workspace" >> #1|Pending : 0|Finished: 0| >> #2|Pending : 0|Finished: 1| >> #3|Pending : 0|Finished: 11| >> #4|Pending : 0|Finished: 37| >> #5|Pending : 0|Finished: 67| >> #6|Pending : 0|Finished: 87| >> #7|Pending : 0|Finished: 91| ======= Solution with 91 critical regions ======= [ Info: Building binary search tree [ Info: Building binary search tree ┌ Info: Generated code for EMPC controller │ dir = "/tmp/jl_z6JKDsViVa/" └ fname = "empc" >> #1|Stack: 0|Fin: 0|Max: 0| >> #2|Stack: 0|Fin: 0|Max: 0| >> #3|Stack: 9|Fin: 1|Max: 1| >> #4|Stack: 9|Fin: 1|Max: 1| >> #5|Stack: 16|Fin: 2|Max: 2| >> #6|Stack: 16|Fin: 2|Max: 2| >> #7|Stack: 19|Fin: 3|Max: 3| >> #8|Stack: 19|Fin: 3|Max: 3| >> #9|Stack: 21|Fin: 4|Max: 4| >> #10|Stack: 21|Fin: 4|Max: 4| >> #11|Stack: 21|Fin: 5|Max: 5| >> #12|Stack: 21|Fin: 5|Max: 5| >> #13|Stack: 20|Fin: 6|Max: 6| >> #14|Stack: 20|Fin: 6|Max: 6| >> #15|Stack: 20|Fin: 7|Max: 6| >> #16|Stack: 20|Fin: 7|Max: 6| >> #17|Stack: 19|Fin: 8|Max: 6| >> #18|Stack: 19|Fin: 8|Max: 6| >> #19|Stack: 18|Fin: 9|Max: 6| >> #20|Stack: 18|Fin: 9|Max: 6| >> #21|Stack: 19|Fin: 10|Max: 6| >> #22|Stack: 19|Fin: 10|Max: 6| >> #23|Stack: 19|Fin: 11|Max: 6| >> #24|Stack: 19|Fin: 11|Max: 6| >> #25|Stack: 18|Fin: 12|Max: 6| >> #26|Stack: 18|Fin: 12|Max: 6| >> #27|Stack: 18|Fin: 13|Max: 6| >> #28|Stack: 18|Fin: 13|Max: 6| >> #29|Stack: 17|Fin: 14|Max: 6| >> #30|Stack: 17|Fin: 14|Max: 6| >> #31|Stack: 18|Fin: 15|Max: 6| >> #32|Stack: 18|Fin: 15|Max: 6| >> #33|Stack: 18|Fin: 16|Max: 6| >> #34|Stack: 18|Fin: 16|Max: 6| >> #35|Stack: 17|Fin: 17|Max: 6| >> #36|Stack: 17|Fin: 17|Max: 6| >> #37|Stack: 17|Fin: 18|Max: 6| >> #38|Stack: 17|Fin: 18|Max: 6| >> #39|Stack: 16|Fin: 19|Max: 6| >> #40|Stack: 16|Fin: 19|Max: 6| >> #41|Stack: 17|Fin: 20|Max: 6| >> #42|Stack: 17|Fin: 20|Max: 6| >> #43|Stack: 16|Fin: 21|Max: 6| >> #44|Stack: 16|Fin: 21|Max: 6| >> #45|Stack: 15|Fin: 22|Max: 6| >> #46|Stack: 15|Fin: 22|Max: 6| >> #47|Stack: 17|Fin: 23|Max: 6| >> #48|Stack: 17|Fin: 23|Max: 6| >> #49|Stack: 17|Fin: 24|Max: 6| >> #50|Stack: 17|Fin: 24|Max: 6| >> #51|Stack: 17|Fin: 25|Max: 6| >> #52|Stack: 17|Fin: 25|Max: 6| >> #53|Stack: 16|Fin: 26|Max: 6| >> #54|Stack: 16|Fin: 26|Max: 6| >> #55|Stack: 17|Fin: 27|Max: 6| >> #56|Stack: 17|Fin: 27|Max: 6| >> #57|Stack: 17|Fin: 28|Max: 6| >> #58|Stack: 17|Fin: 28|Max: 6| >> #59|Stack: 16|Fin: 29|Max: 6| >> #60|Stack: 16|Fin: 29|Max: 6| >> #61|Stack: 16|Fin: 29|Max: 6| >> #62|Stack: 16|Fin: 29|Max: 6| >> #63|Stack: 15|Fin: 30|Max: 6| >> #64|Stack: 15|Fin: 30|Max: 6| >> #65|Stack: 16|Fin: 30|Max: 6| >> #66|Stack: 16|Fin: 30|Max: 6| >> #67|Stack: 16|Fin: 30|Max: 6| >> #68|Stack: 16|Fin: 30|Max: 6| >> #69|Stack: 15|Fin: 31|Max: 6| >> #70|Stack: 15|Fin: 31|Max: 6| >> #71|Stack: 15|Fin: 31|Max: 6| >> #72|Stack: 15|Fin: 31|Max: 6| >> #73|Stack: 14|Fin: 32|Max: 6| >> #74|Stack: 14|Fin: 32|Max: 6| >> #75|Stack: 16|Fin: 33|Max: 6| >> #76|Stack: 16|Fin: 33|Max: 6| >> #77|Stack: 17|Fin: 34|Max: 6| >> #78|Stack: 17|Fin: 34|Max: 6| >> #79|Stack: 17|Fin: 35|Max: 6| >> #80|Stack: 17|Fin: 35|Max: 6| >> #81|Stack: 16|Fin: 36|Max: 6| >> #82|Stack: 16|Fin: 36|Max: 6| >> #83|Stack: 16|Fin: 37|Max: 6| >> #84|Stack: 16|Fin: 37|Max: 6| >> #85|Stack: 15|Fin: 38|Max: 6| >> #86|Stack: 15|Fin: 38|Max: 6| >> #87|Stack: 16|Fin: 39|Max: 6| >> #88|Stack: 16|Fin: 39|Max: 6| >> #89|Stack: 16|Fin: 40|Max: 6| >> #90|Stack: 16|Fin: 40|Max: 6| >> #91|Stack: 15|Fin: 41|Max: 6| >> #92|Stack: 15|Fin: 41|Max: 6| >> #93|Stack: 15|Fin: 42|Max: 6| >> #94|Stack: 15|Fin: 42|Max: 6| >> #95|Stack: 14|Fin: 43|Max: 6| >> #96|Stack: 14|Fin: 43|Max: 6| >> #97|Stack: 15|Fin: 44|Max: 6| >> #98|Stack: 15|Fin: 44|Max: 6| >> #99|Stack: 15|Fin: 45|Max: 6| >> #100|Stack: 15|Fin: 45|Max: 6| >> #101|Stack: 14|Fin: 46|Max: 6| >> #102|Stack: 14|Fin: 46|Max: 6| >> #103|Stack: 14|Fin: 47|Max: 6| >> #104|Stack: 14|Fin: 47|Max: 6| >> #105|Stack: 13|Fin: 48|Max: 6| >> #106|Stack: 13|Fin: 48|Max: 6| >> #107|Stack: 17|Fin: 49|Max: 6| >> #108|Stack: 17|Fin: 49|Max: 6| >> #109|Stack: 18|Fin: 50|Max: 6| >> #110|Stack: 18|Fin: 50|Max: 6| >> #111|Stack: 18|Fin: 50|Max: 6| >> #112|Stack: 18|Fin: 50|Max: 6| >> #113|Stack: 17|Fin: 51|Max: 6| >> #114|Stack: 17|Fin: 51|Max: 6| >> #115|Stack: 17|Fin: 52|Max: 6| >> #116|Stack: 17|Fin: 52|Max: 6| >> #117|Stack: 16|Fin: 53|Max: 6| >> #118|Stack: 16|Fin: 53|Max: 6| >> #119|Stack: 17|Fin: 53|Max: 6| >> #120|Stack: 17|Fin: 53|Max: 6| >> #121|Stack: 17|Fin: 53|Max: 6| >> #122|Stack: 17|Fin: 53|Max: 6| >> #123|Stack: 16|Fin: 54|Max: 6| >> #124|Stack: 16|Fin: 54|Max: 6| >> #125|Stack: 16|Fin: 54|Max: 6| >> #126|Stack: 16|Fin: 54|Max: 6| >> #127|Stack: 15|Fin: 55|Max: 6| >> #128|Stack: 15|Fin: 55|Max: 6| >> #129|Stack: 16|Fin: 56|Max: 6| >> #130|Stack: 16|Fin: 56|Max: 6| >> #131|Stack: 16|Fin: 57|Max: 6| >> #132|Stack: 16|Fin: 57|Max: 6| >> #133|Stack: 15|Fin: 58|Max: 6| >> #134|Stack: 15|Fin: 58|Max: 6| >> #135|Stack: 15|Fin: 59|Max: 6| >> #136|Stack: 15|Fin: 59|Max: 6| >> #137|Stack: 14|Fin: 60|Max: 6| >> #138|Stack: 14|Fin: 60|Max: 6| >> #139|Stack: 14|Fin: 61|Max: 6| >> #140|Stack: 15|Fin: 61|Max: 6| >> #141|Stack: 14|Fin: 62|Max: 6| >> #142|Stack: 14|Fin: 62|Max: 6| >> #143|Stack: 13|Fin: 63|Max: 6| >> #144|Stack: 13|Fin: 63|Max: 6| >> #145|Stack: 13|Fin: 64|Max: 6| >> #146|Stack: 14|Fin: 64|Max: 6| >> #147|Stack: 13|Fin: 65|Max: 6| >> #148|Stack: 13|Fin: 65|Max: 6| >> #149|Stack: 12|Fin: 66|Max: 6| >> #150|Stack: 12|Fin: 66|Max: 6| >> #151|Stack: 13|Fin: 67|Max: 6| >> #152|Stack: 13|Fin: 67|Max: 6| >> #153|Stack: 13|Fin: 68|Max: 6| >> #154|Stack: 13|Fin: 68|Max: 6| >> #155|Stack: 12|Fin: 69|Max: 6| >> #156|Stack: 12|Fin: 69|Max: 6| >> #157|Stack: 12|Fin: 70|Max: 6| >> #158|Stack: 12|Fin: 70|Max: 6| >> #159|Stack: 11|Fin: 71|Max: 6| >> #160|Stack: 11|Fin: 71|Max: 6| >> #161|Stack: 13|Fin: 72|Max: 6| >> #162|Stack: 13|Fin: 72|Max: 6| >> #163|Stack: 13|Fin: 73|Max: 6| >> #164|Stack: 13|Fin: 73|Max: 6| >> #165|Stack: 12|Fin: 74|Max: 6| >> #166|Stack: 12|Fin: 74|Max: 6| >> #167|Stack: 13|Fin: 75|Max: 6| >> #168|Stack: 13|Fin: 75|Max: 6| >> #169|Stack: 12|Fin: 76|Max: 6| >> #170|Stack: 13|Fin: 76|Max: 6| >> #171|Stack: 13|Fin: 77|Max: 6| >> #172|Stack: 14|Fin: 77|Max: 6| >> #173|Stack: 13|Fin: 78|Max: 6| >> #174|Stack: 13|Fin: 78|Max: 6| >> #175|Stack: 12|Fin: 79|Max: 7| >> #176|Stack: 12|Fin: 79|Max: 7| >> #177|Stack: 12|Fin: 79|Max: 7| >> #178|Stack: 12|Fin: 79|Max: 7| >> #179|Stack: 11|Fin: 80|Max: 7| >> #180|Stack: 12|Fin: 80|Max: 7| >> #181|Stack: 13|Fin: 81|Max: 7| >> #182|Stack: 14|Fin: 81|Max: 7| >> #183|Stack: 14|Fin: 82|Max: 7| >> #184|Stack: 15|Fin: 82|Max: 7| >> #185|Stack: 14|Fin: 83|Max: 7| >> #186|Stack: 14|Fin: 83|Max: 7| >> #187|Stack: 13|Fin: 84|Max: 7| >> #188|Stack: 13|Fin: 84|Max: 7| >> #189|Stack: 13|Fin: 85|Max: 7| >> #190|Stack: 13|Fin: 85|Max: 7| >> #191|Stack: 12|Fin: 86|Max: 7| >> #192|Stack: 13|Fin: 86|Max: 7| >> #193|Stack: 13|Fin: 87|Max: 7| >> #194|Stack: 14|Fin: 87|Max: 7| >> #195|Stack: 13|Fin: 88|Max: 7| >> #196|Stack: 13|Fin: 88|Max: 7| >> #197|Stack: 12|Fin: 89|Max: 7| >> #198|Stack: 12|Fin: 89|Max: 7| >> #199|Stack: 12|Fin: 90|Max: 7| >> #200|Stack: 12|Fin: 90|Max: 7| >> #201|Stack: 11|Fin: 91|Max: 7| >> #202|Stack: 11|Fin: 91|Max: 7| >> #203|Stack: 12|Fin: 92|Max: 7| >> #204|Stack: 12|Fin: 92|Max: 7| >> #205|Stack: 12|Fin: 93|Max: 7| >> #206|Stack: 12|Fin: 93|Max: 7| >> #207|Stack: 11|Fin: 94|Max: 7| >> #208|Stack: 11|Fin: 94|Max: 7| >> #209|Stack: 11|Fin: 95|Max: 7| >> #210|Stack: 11|Fin: 95|Max: 7| >> #211|Stack: 10|Fin: 96|Max: 7| >> #212|Stack: 10|Fin: 96|Max: 7| >> #213|Stack: 11|Fin: 97|Max: 7| >> #214|Stack: 12|Fin: 97|Max: 7| >> #215|Stack: 12|Fin: 98|Max: 7| >> #216|Stack: 13|Fin: 98|Max: 7| >> #217|Stack: 13|Fin: 99|Max: 7| >> #218|Stack: 14|Fin: 99|Max: 7| >> #219|Stack: 13|Fin: 100|Max: 7| >> #220|Stack: 13|Fin: 100|Max: 7| >> #221|Stack: 12|Fin: 101|Max: 7| >> #222|Stack: 12|Fin: 101|Max: 7| >> #223|Stack: 12|Fin: 102|Max: 7| >> #224|Stack: 12|Fin: 102|Max: 7| >> #225|Stack: 11|Fin: 103|Max: 7| >> #226|Stack: 11|Fin: 103|Max: 7| >> #227|Stack: 11|Fin: 104|Max: 7| >> #228|Stack: 11|Fin: 104|Max: 7| >> #229|Stack: 11|Fin: 105|Max: 7| >> #230|Stack: 11|Fin: 105|Max: 7| >> #231|Stack: 10|Fin: 106|Max: 7| >> #232|Stack: 10|Fin: 106|Max: 7| >> #233|Stack: 10|Fin: 107|Max: 7| >> #234|Stack: 11|Fin: 107|Max: 7| >> #235|Stack: 11|Fin: 108|Max: 7| >> #236|Stack: 12|Fin: 108|Max: 7| >> #237|Stack: 11|Fin: 109|Max: 7| >> #238|Stack: 11|Fin: 109|Max: 7| >> #239|Stack: 10|Fin: 110|Max: 7| >> #240|Stack: 10|Fin: 110|Max: 7| >> #241|Stack: 10|Fin: 111|Max: 7| >> #242|Stack: 10|Fin: 111|Max: 7| >> #243|Stack: 9|Fin: 112|Max: 7| >> #244|Stack: 9|Fin: 112|Max: 7| >> #245|Stack: 10|Fin: 113|Max: 7| >> #246|Stack: 10|Fin: 113|Max: 7| >> #247|Stack: 10|Fin: 114|Max: 7| >> #248|Stack: 10|Fin: 114|Max: 7| >> #249|Stack: 9|Fin: 115|Max: 7| >> #250|Stack: 9|Fin: 115|Max: 7| >> #251|Stack: 10|Fin: 116|Max: 7| >> #252|Stack: 10|Fin: 116|Max: 7| >> #253|Stack: 9|Fin: 117|Max: 7| >> #254|Stack: 10|Fin: 117|Max: 7| >> #255|Stack: 10|Fin: 118|Max: 7| >> #256|Stack: 11|Fin: 118|Max: 7| >> #257|Stack: 10|Fin: 119|Max: 7| >> #258|Stack: 10|Fin: 119|Max: 7| >> #259|Stack: 9|Fin: 120|Max: 7| >> #260|Stack: 9|Fin: 120|Max: 7| >> #261|Stack: 9|Fin: 121|Max: 7| >> #262|Stack: 9|Fin: 121|Max: 7| >> #263|Stack: 8|Fin: 122|Max: 7| >> #264|Stack: 8|Fin: 122|Max: 7| >> #265|Stack: 11|Fin: 123|Max: 7| >> #266|Stack: 11|Fin: 123|Max: 7| >> #267|Stack: 13|Fin: 124|Max: 7| >> #268|Stack: 13|Fin: 124|Max: 7| >> #269|Stack: 14|Fin: 125|Max: 7| >> #270|Stack: 14|Fin: 125|Max: 7| >> #271|Stack: 14|Fin: 126|Max: 7| >> #272|Stack: 14|Fin: 126|Max: 7| >> #273|Stack: 13|Fin: 127|Max: 7| >> #274|Stack: 13|Fin: 127|Max: 7| >> #275|Stack: 12|Fin: 128|Max: 7| >> #276|Stack: 12|Fin: 128|Max: 7| >> #277|Stack: 12|Fin: 128|Max: 7| >> #278|Stack: 12|Fin: 128|Max: 7| >> #279|Stack: 12|Fin: 128|Max: 7| >> #280|Stack: 12|Fin: 128|Max: 7| >> #281|Stack: 11|Fin: 129|Max: 7| >> #282|Stack: 11|Fin: 129|Max: 7| >> #283|Stack: 11|Fin: 130|Max: 7| >> #284|Stack: 11|Fin: 130|Max: 7| >> #285|Stack: 10|Fin: 131|Max: 7| >> #286|Stack: 10|Fin: 131|Max: 7| >> #287|Stack: 13|Fin: 132|Max: 7| >> #288|Stack: 13|Fin: 132|Max: 7| >> #289|Stack: 14|Fin: 133|Max: 7| >> #290|Stack: 14|Fin: 133|Max: 7| >> #291|Stack: 14|Fin: 134|Max: 7| >> #292|Stack: 14|Fin: 134|Max: 7| >> #293|Stack: 13|Fin: 135|Max: 7| >> #294|Stack: 13|Fin: 135|Max: 7| >> #295|Stack: 12|Fin: 136|Max: 7| >> #296|Stack: 12|Fin: 136|Max: 7| >> #297|Stack: 13|Fin: 137|Max: 7| >> #298|Stack: 13|Fin: 137|Max: 7| >> #299|Stack: 13|Fin: 138|Max: 7| >> #300|Stack: 13|Fin: 138|Max: 7| >> #301|Stack: 12|Fin: 139|Max: 7| >> #302|Stack: 12|Fin: 139|Max: 7| >> #303|Stack: 12|Fin: 140|Max: 7| >> #304|Stack: 12|Fin: 140|Max: 7| >> #305|Stack: 11|Fin: 141|Max: 7| >> #306|Stack: 11|Fin: 141|Max: 7| >> #307|Stack: 11|Fin: 142|Max: 7| >> #308|Stack: 12|Fin: 142|Max: 7| >> #309|Stack: 11|Fin: 143|Max: 7| >> #310|Stack: 11|Fin: 143|Max: 7| >> #311|Stack: 10|Fin: 144|Max: 7| >> #312|Stack: 10|Fin: 144|Max: 7| >> #313|Stack: 11|Fin: 145|Max: 7| >> #314|Stack: 11|Fin: 145|Max: 7| >> #315|Stack: 10|Fin: 146|Max: 7| >> #316|Stack: 11|Fin: 146|Max: 7| >> #317|Stack: 10|Fin: 147|Max: 7| >> #318|Stack: 11|Fin: 147|Max: 7| >> #319|Stack: 10|Fin: 148|Max: 7| >> #320|Stack: 10|Fin: 148|Max: 7| >> #321|Stack: 9|Fin: 149|Max: 7| >> #322|Stack: 9|Fin: 149|Max: 7| >> #323|Stack: 10|Fin: 150|Max: 7| >> #324|Stack: 10|Fin: 150|Max: 7| >> #325|Stack: 10|Fin: 151|Max: 7| >> #326|Stack: 10|Fin: 151|Max: 7| >> #327|Stack: 9|Fin: 152|Max: 7| >> #328|Stack: 10|Fin: 152|Max: 7| >> #329|Stack: 10|Fin: 153|Max: 7| >> #330|Stack: 10|Fin: 153|Max: 7| >> #331|Stack: 9|Fin: 154|Max: 7| >> #332|Stack: 9|Fin: 154|Max: 7| >> #333|Stack: 8|Fin: 155|Max: 7| >> #334|Stack: 8|Fin: 155|Max: 7| >> #335|Stack: 10|Fin: 156|Max: 7| >> #336|Stack: 10|Fin: 156|Max: 7| >> #337|Stack: 10|Fin: 157|Max: 7| >> #338|Stack: 11|Fin: 157|Max: 7| >> #339|Stack: 10|Fin: 158|Max: 7| >> #340|Stack: 10|Fin: 158|Max: 7| >> #341|Stack: 9|Fin: 159|Max: 7| >> #342|Stack: 9|Fin: 159|Max: 7| >> #343|Stack: 10|Fin: 160|Max: 7| >> #344|Stack: 11|Fin: 160|Max: 7| >> #345|Stack: 10|Fin: 161|Max: 7| >> #346|Stack: 10|Fin: 161|Max: 7| >> #347|Stack: 9|Fin: 162|Max: 7| >> #348|Stack: 9|Fin: 162|Max: 7| >> #349|Stack: 8|Fin: 163|Max: 7| >> #350|Stack: 9|Fin: 163|Max: 7| >> #351|Stack: 9|Fin: 164|Max: 7| >> #352|Stack: 9|Fin: 164|Max: 7| >> #353|Stack: 8|Fin: 165|Max: 7| >> #354|Stack: 8|Fin: 165|Max: 7| >> #355|Stack: 7|Fin: 166|Max: 7| >> #356|Stack: 7|Fin: 166|Max: 7| >> #357|Stack: 12|Fin: 167|Max: 7| >> #358|Stack: 12|Fin: 167|Max: 7| >> #359|Stack: 14|Fin: 168|Max: 7| >> #360|Stack: 14|Fin: 168|Max: 7| >> #361|Stack: 14|Fin: 169|Max: 7| >> #362|Stack: 14|Fin: 169|Max: 7| >> #363|Stack: 14|Fin: 170|Max: 7| >> #364|Stack: 14|Fin: 170|Max: 7| >> #365|Stack: 13|Fin: 171|Max: 7| >> #366|Stack: 13|Fin: 171|Max: 7| >> #367|Stack: 14|Fin: 172|Max: 7| >> #368|Stack: 14|Fin: 172|Max: 7| >> #369|Stack: 14|Fin: 173|Max: 7| >> #370|Stack: 14|Fin: 173|Max: 7| >> #371|Stack: 13|Fin: 174|Max: 7| >> #372|Stack: 13|Fin: 174|Max: 7| >> #373|Stack: 13|Fin: 174|Max: 7| >> #374|Stack: 13|Fin: 174|Max: 7| >> #375|Stack: 12|Fin: 175|Max: 7| >> #376|Stack: 12|Fin: 175|Max: 7| >> #377|Stack: 12|Fin: 175|Max: 7| >> #378|Stack: 12|Fin: 175|Max: 7| >> #379|Stack: 12|Fin: 175|Max: 7| >> #380|Stack: 12|Fin: 175|Max: 7| >> #381|Stack: 11|Fin: 176|Max: 7| >> #382|Stack: 11|Fin: 176|Max: 7| >> #383|Stack: 14|Fin: 177|Max: 7| >> #384|Stack: 14|Fin: 177|Max: 7| >> #385|Stack: 14|Fin: 178|Max: 7| >> #386|Stack: 14|Fin: 178|Max: 7| >> #387|Stack: 14|Fin: 179|Max: 7| >> #388|Stack: 14|Fin: 179|Max: 7| >> #389|Stack: 13|Fin: 180|Max: 7| >> #390|Stack: 13|Fin: 180|Max: 7| >> #391|Stack: 15|Fin: 181|Max: 7| >> #392|Stack: 15|Fin: 181|Max: 7| >> #393|Stack: 15|Fin: 182|Max: 7| >> #394|Stack: 15|Fin: 182|Max: 7| >> #395|Stack: 14|Fin: 183|Max: 7| >> #396|Stack: 14|Fin: 183|Max: 7| >> #397|Stack: 14|Fin: 184|Max: 7| >> #398|Stack: 14|Fin: 184|Max: 7| >> #399|Stack: 13|Fin: 185|Max: 7| >> #400|Stack: 13|Fin: 185|Max: 7| >> #401|Stack: 12|Fin: 186|Max: 7| >> #402|Stack: 12|Fin: 186|Max: 7| >> #403|Stack: 13|Fin: 187|Max: 7| >> #404|Stack: 13|Fin: 187|Max: 7| >> #405|Stack: 12|Fin: 188|Max: 7| >> #406|Stack: 14|Fin: 188|Max: 7| >> #407|Stack: 13|Fin: 189|Max: 7| >> #408|Stack: 14|Fin: 189|Max: 7| >> #409|Stack: 13|Fin: 190|Max: 7| >> #410|Stack: 13|Fin: 190|Max: 7| >> #411|Stack: 12|Fin: 191|Max: 7| >> #412|Stack: 13|Fin: 191|Max: 7| >> #413|Stack: 12|Fin: 192|Max: 7| >> #414|Stack: 12|Fin: 192|Max: 7| >> #415|Stack: 11|Fin: 193|Max: 7| >> #416|Stack: 11|Fin: 193|Max: 7| >> #417|Stack: 11|Fin: 194|Max: 7| >> #418|Stack: 13|Fin: 194|Max: 7| >> #419|Stack: 12|Fin: 195|Max: 7| >> #420|Stack: 13|Fin: 195|Max: 7| >> #421|Stack: 12|Fin: 196|Max: 7| >> #422|Stack: 12|Fin: 196|Max: 7| >> #423|Stack: 11|Fin: 197|Max: 7| >> #424|Stack: 12|Fin: 197|Max: 7| >> #425|Stack: 11|Fin: 198|Max: 7| >> #426|Stack: 11|Fin: 198|Max: 7| >> #427|Stack: 10|Fin: 199|Max: 7| >> #428|Stack: 10|Fin: 199|Max: 7| >> #429|Stack: 13|Fin: 200|Max: 7| >> #430|Stack: 13|Fin: 200|Max: 7| >> #431|Stack: 14|Fin: 201|Max: 7| >> #432|Stack: 14|Fin: 201|Max: 7| >> #433|Stack: 14|Fin: 202|Max: 7| >> #434|Stack: 14|Fin: 202|Max: 7| >> #435|Stack: 13|Fin: 203|Max: 7| >> #436|Stack: 13|Fin: 203|Max: 7| >> #437|Stack: 13|Fin: 203|Max: 7| >> #438|Stack: 13|Fin: 203|Max: 7| >> #439|Stack: 12|Fin: 204|Max: 7| >> #440|Stack: 12|Fin: 204|Max: 7| >> #441|Stack: 14|Fin: 205|Max: 7| >> #442|Stack: 14|Fin: 205|Max: 7| >> #443|Stack: 14|Fin: 206|Max: 7| >> #444|Stack: 14|Fin: 206|Max: 7| >> #445|Stack: 13|Fin: 207|Max: 7| >> #446|Stack: 13|Fin: 207|Max: 7| >> #447|Stack: 14|Fin: 208|Max: 7| >> #448|Stack: 14|Fin: 208|Max: 7| >> #449|Stack: 13|Fin: 209|Max: 7| >> #450|Stack: 14|Fin: 209|Max: 7| >> #451|Stack: 13|Fin: 210|Max: 7| >> #452|Stack: 13|Fin: 210|Max: 7| >> #453|Stack: 12|Fin: 211|Max: 7| >> #454|Stack: 12|Fin: 211|Max: 7| >> #455|Stack: 11|Fin: 212|Max: 7| >> #456|Stack: 11|Fin: 212|Max: 7| >> #457|Stack: 13|Fin: 213|Max: 7| >> #458|Stack: 13|Fin: 213|Max: 7| >> #459|Stack: 13|Fin: 213|Max: 7| >> #460|Stack: 13|Fin: 213|Max: 7| >> #461|Stack: 12|Fin: 214|Max: 7| >> #462|Stack: 12|Fin: 214|Max: 7| >> #463|Stack: 13|Fin: 215|Max: 7| >> #464|Stack: 13|Fin: 215|Max: 7| >> #465|Stack: 12|Fin: 216|Max: 7| >> #466|Stack: 13|Fin: 216|Max: 7| >> #467|Stack: 12|Fin: 217|Max: 7| >> #468|Stack: 12|Fin: 217|Max: 7| >> #469|Stack: 11|Fin: 218|Max: 7| >> #470|Stack: 11|Fin: 218|Max: 7| >> #471|Stack: 10|Fin: 219|Max: 7| >> #472|Stack: 10|Fin: 219|Max: 7| >> #473|Stack: 11|Fin: 220|Max: 7| >> #474|Stack: 11|Fin: 220|Max: 7| >> #475|Stack: 11|Fin: 221|Max: 7| >> #476|Stack: 11|Fin: 221|Max: 7| >> #477|Stack: 10|Fin: 222|Max: 7| >> #478|Stack: 10|Fin: 222|Max: 7| >> #479|Stack: 10|Fin: 223|Max: 7| >> #480|Stack: 10|Fin: 223|Max: 7| >> #481|Stack: 9|Fin: 224|Max: 7| >> #482|Stack: 9|Fin: 224|Max: 7| >> #483|Stack: 11|Fin: 224|Max: 7| >> #484|Stack: 11|Fin: 224|Max: 7| >> #485|Stack: 11|Fin: 224|Max: 7| >> #486|Stack: 11|Fin: 224|Max: 7| >> #487|Stack: 11|Fin: 224|Max: 7| >> #488|Stack: 11|Fin: 224|Max: 7| >> #489|Stack: 10|Fin: 225|Max: 7| >> #490|Stack: 10|Fin: 225|Max: 7| >> #491|Stack: 10|Fin: 225|Max: 7| >> #492|Stack: 10|Fin: 225|Max: 7| >> #493|Stack: 10|Fin: 225|Max: 7| >> #494|Stack: 10|Fin: 225|Max: 7| >> #495|Stack: 9|Fin: 226|Max: 7| >> #496|Stack: 9|Fin: 226|Max: 7| >> #497|Stack: 10|Fin: 226|Max: 7| >> #498|Stack: 10|Fin: 226|Max: 7| >> #499|Stack: 10|Fin: 226|Max: 7| >> #500|Stack: 10|Fin: 226|Max: 7| >> #501|Stack: 9|Fin: 227|Max: 7| >> #502|Stack: 9|Fin: 227|Max: 7| >> #503|Stack: 9|Fin: 227|Max: 7| >> #504|Stack: 9|Fin: 227|Max: 7| >> #505|Stack: 8|Fin: 228|Max: 7| >> #506|Stack: 8|Fin: 228|Max: 7| >> #507|Stack: 10|Fin: 229|Max: 7| >> #508|Stack: 10|Fin: 229|Max: 7| >> #509|Stack: 11|Fin: 230|Max: 7| >> #510|Stack: 11|Fin: 230|Max: 7| >> #511|Stack: 11|Fin: 231|Max: 7| >> #512|Stack: 12|Fin: 231|Max: 7| >> #513|Stack: 11|Fin: 232|Max: 7| >> #514|Stack: 11|Fin: 232|Max: 7| >> #515|Stack: 10|Fin: 233|Max: 7| >> #516|Stack: 10|Fin: 233|Max: 7| >> #517|Stack: 9|Fin: 234|Max: 7| >> #518|Stack: 9|Fin: 234|Max: 7| >> #519|Stack: 9|Fin: 235|Max: 7| >> #520|Stack: 9|Fin: 235|Max: 7| >> #521|Stack: 8|Fin: 236|Max: 7| >> #522|Stack: 9|Fin: 236|Max: 7| >> #523|Stack: 9|Fin: 237|Max: 7| >> #524|Stack: 9|Fin: 237|Max: 7| >> #525|Stack: 8|Fin: 238|Max: 7| >> #526|Stack: 8|Fin: 238|Max: 7| >> #527|Stack: 7|Fin: 239|Max: 7| >> #528|Stack: 7|Fin: 239|Max: 7| >> #529|Stack: 8|Fin: 240|Max: 7| >> #530|Stack: 8|Fin: 240|Max: 7| >> #531|Stack: 8|Fin: 241|Max: 7| >> #532|Stack: 9|Fin: 241|Max: 7| >> #533|Stack: 8|Fin: 242|Max: 7| >> #534|Stack: 8|Fin: 242|Max: 7| >> #535|Stack: 7|Fin: 243|Max: 7| >> #536|Stack: 8|Fin: 243|Max: 7| >> #537|Stack: 8|Fin: 244|Max: 7| >> #538|Stack: 8|Fin: 244|Max: 7| >> #539|Stack: 7|Fin: 245|Max: 7| >> #540|Stack: 7|Fin: 245|Max: 7| >> #541|Stack: 7|Fin: 246|Max: 7| >> #542|Stack: 7|Fin: 246|Max: 7| >> #543|Stack: 7|Fin: 247|Max: 7| >> #544|Stack: 7|Fin: 247|Max: 7| >> #545|Stack: 6|Fin: 248|Max: 7| >> #546|Stack: 6|Fin: 248|Max: 7| >> #547|Stack: 10|Fin: 249|Max: 7| >> #548|Stack: 10|Fin: 249|Max: 7| >> #549|Stack: 12|Fin: 250|Max: 7| >> #550|Stack: 12|Fin: 250|Max: 7| >> #551|Stack: 12|Fin: 250|Max: 7| >> #552|Stack: 12|Fin: 250|Max: 7| >> #553|Stack: 12|Fin: 250|Max: 7| >> #554|Stack: 12|Fin: 250|Max: 7| >> #555|Stack: 11|Fin: 251|Max: 7| >> #556|Stack: 11|Fin: 251|Max: 7| >> #557|Stack: 12|Fin: 252|Max: 7| >> #558|Stack: 12|Fin: 252|Max: 7| >> #559|Stack: 12|Fin: 253|Max: 7| >> #560|Stack: 12|Fin: 253|Max: 7| >> #561|Stack: 11|Fin: 254|Max: 7| >> #562|Stack: 11|Fin: 254|Max: 7| >> #563|Stack: 11|Fin: 255|Max: 7| >> #564|Stack: 11|Fin: 255|Max: 7| >> #565|Stack: 10|Fin: 256|Max: 7| >> #566|Stack: 10|Fin: 256|Max: 7| >> #567|Stack: 10|Fin: 257|Max: 7| >> #568|Stack: 10|Fin: 257|Max: 7| >> #569|Stack: 10|Fin: 258|Max: 7| >> #570|Stack: 10|Fin: 258|Max: 7| >> #571|Stack: 9|Fin: 259|Max: 7| >> #572|Stack: 9|Fin: 259|Max: 7| >> #573|Stack: 11|Fin: 259|Max: 7| >> #574|Stack: 11|Fin: 259|Max: 7| >> #575|Stack: 12|Fin: 259|Max: 7| >> #576|Stack: 12|Fin: 259|Max: 7| >> #577|Stack: 12|Fin: 259|Max: 7| >> #578|Stack: 12|Fin: 259|Max: 7| >> #579|Stack: 11|Fin: 260|Max: 7| >> #580|Stack: 11|Fin: 260|Max: 7| >> #581|Stack: 11|Fin: 260|Max: 7| >> #582|Stack: 11|Fin: 260|Max: 7| >> #583|Stack: 10|Fin: 261|Max: 7| >> #584|Stack: 10|Fin: 261|Max: 7| >> #585|Stack: 10|Fin: 261|Max: 7| >> #586|Stack: 10|Fin: 261|Max: 7| >> #587|Stack: 10|Fin: 261|Max: 7| >> #588|Stack: 10|Fin: 261|Max: 7| >> #589|Stack: 9|Fin: 262|Max: 7| >> #590|Stack: 9|Fin: 262|Max: 7| >> #591|Stack: 10|Fin: 262|Max: 7| >> #592|Stack: 10|Fin: 262|Max: 7| >> #593|Stack: 10|Fin: 262|Max: 7| >> #594|Stack: 10|Fin: 262|Max: 7| >> #595|Stack: 9|Fin: 263|Max: 7| >> #596|Stack: 9|Fin: 263|Max: 7| >> #597|Stack: 9|Fin: 263|Max: 7| >> #598|Stack: 9|Fin: 263|Max: 7| >> #599|Stack: 8|Fin: 264|Max: 7| >> #600|Stack: 8|Fin: 264|Max: 7| >> #601|Stack: 11|Fin: 265|Max: 7| >> #602|Stack: 11|Fin: 265|Max: 7| >> #603|Stack: 12|Fin: 266|Max: 7| >> #604|Stack: 12|Fin: 266|Max: 7| >> #605|Stack: 12|Fin: 267|Max: 7| >> #606|Stack: 12|Fin: 267|Max: 7| >> #607|Stack: 11|Fin: 268|Max: 7| >> #608|Stack: 11|Fin: 268|Max: 7| >> #609|Stack: 11|Fin: 269|Max: 7| >> #610|Stack: 11|Fin: 269|Max: 7| >> #611|Stack: 10|Fin: 270|Max: 7| >> #612|Stack: 10|Fin: 270|Max: 7| >> #613|Stack: 11|Fin: 271|Max: 7| >> #614|Stack: 11|Fin: 271|Max: 7| >> #615|Stack: 11|Fin: 272|Max: 7| >> #616|Stack: 11|Fin: 272|Max: 7| >> #617|Stack: 10|Fin: 273|Max: 7| >> #618|Stack: 10|Fin: 273|Max: 7| >> #619|Stack: 10|Fin: 274|Max: 7| >> #620|Stack: 10|Fin: 274|Max: 7| >> #621|Stack: 9|Fin: 275|Max: 7| >> #622|Stack: 9|Fin: 275|Max: 7| >> #623|Stack: 11|Fin: 276|Max: 7| >> #624|Stack: 11|Fin: 276|Max: 7| >> #625|Stack: 11|Fin: 277|Max: 7| >> #626|Stack: 11|Fin: 277|Max: 7| >> #627|Stack: 10|Fin: 278|Max: 7| >> #628|Stack: 10|Fin: 278|Max: 7| >> #629|Stack: 10|Fin: 279|Max: 7| >> #630|Stack: 10|Fin: 279|Max: 7| >> #631|Stack: 9|Fin: 280|Max: 7| >> #632|Stack: 9|Fin: 280|Max: 7| >> #633|Stack: 8|Fin: 281|Max: 7| >> #634|Stack: 8|Fin: 281|Max: 7| >> #635|Stack: 8|Fin: 282|Max: 7| >> #636|Stack: 8|Fin: 282|Max: 7| >> #637|Stack: 7|Fin: 283|Max: 7| >> #638|Stack: 7|Fin: 283|Max: 7| >> #639|Stack: 9|Fin: 284|Max: 7| >> #640|Stack: 9|Fin: 284|Max: 7| >> #641|Stack: 9|Fin: 285|Max: 7| >> #642|Stack: 9|Fin: 285|Max: 7| >> #643|Stack: 9|Fin: 286|Max: 7| >> #644|Stack: 9|Fin: 286|Max: 7| >> #645|Stack: 8|Fin: 287|Max: 7| >> #646|Stack: 8|Fin: 287|Max: 7| >> #647|Stack: 10|Fin: 288|Max: 7| >> #648|Stack: 10|Fin: 288|Max: 7| >> #649|Stack: 10|Fin: 289|Max: 7| >> #650|Stack: 10|Fin: 289|Max: 7| >> #651|Stack: 9|Fin: 290|Max: 7| >> #652|Stack: 9|Fin: 290|Max: 7| >> #653|Stack: 9|Fin: 291|Max: 7| >> #654|Stack: 9|Fin: 291|Max: 7| >> #655|Stack: 8|Fin: 292|Max: 7| >> #656|Stack: 8|Fin: 292|Max: 7| >> #657|Stack: 7|Fin: 293|Max: 7| >> #658|Stack: 7|Fin: 293|Max: 7| >> #659|Stack: 7|Fin: 294|Max: 7| >> #660|Stack: 7|Fin: 294|Max: 7| >> #661|Stack: 6|Fin: 295|Max: 7| >> #662|Stack: 6|Fin: 295|Max: 7| >> #663|Stack: 7|Fin: 296|Max: 7| >> #664|Stack: 7|Fin: 296|Max: 7| >> #665|Stack: 7|Fin: 297|Max: 7| >> #666|Stack: 7|Fin: 297|Max: 7| >> #667|Stack: 6|Fin: 298|Max: 7| >> #668|Stack: 6|Fin: 298|Max: 7| >> #669|Stack: 6|Fin: 299|Max: 7| >> #670|Stack: 7|Fin: 299|Max: 7| >> #671|Stack: 6|Fin: 300|Max: 7| >> #672|Stack: 6|Fin: 300|Max: 7| >> #673|Stack: 5|Fin: 301|Max: 7| >> #674|Stack: 5|Fin: 301|Max: 7| >> #675|Stack: 9|Fin: 302|Max: 7| >> #676|Stack: 9|Fin: 302|Max: 7| >> #677|Stack: 12|Fin: 303|Max: 7| >> #678|Stack: 12|Fin: 303|Max: 7| >> #679|Stack: 12|Fin: 303|Max: 7| >> #680|Stack: 12|Fin: 303|Max: 7| >> #681|Stack: 12|Fin: 303|Max: 7| >> #682|Stack: 12|Fin: 303|Max: 7| >> #683|Stack: 11|Fin: 304|Max: 7| >> #684|Stack: 11|Fin: 304|Max: 7| >> #685|Stack: 11|Fin: 305|Max: 7| >> #686|Stack: 11|Fin: 305|Max: 7| >> #687|Stack: 11|Fin: 306|Max: 7| >> #688|Stack: 11|Fin: 306|Max: 7| >> #689|Stack: 10|Fin: 307|Max: 7| >> #690|Stack: 10|Fin: 307|Max: 7| >> #691|Stack: 10|Fin: 308|Max: 7| >> #692|Stack: 10|Fin: 308|Max: 7| >> #693|Stack: 9|Fin: 309|Max: 7| >> #694|Stack: 9|Fin: 309|Max: 7| >> #695|Stack: 9|Fin: 310|Max: 7| >> #696|Stack: 9|Fin: 310|Max: 7| >> #697|Stack: 8|Fin: 311|Max: 7| >> #698|Stack: 8|Fin: 311|Max: 7| >> #699|Stack: 11|Fin: 312|Max: 7| >> #700|Stack: 11|Fin: 312|Max: 7| >> #701|Stack: 11|Fin: 313|Max: 7| >> #702|Stack: 11|Fin: 313|Max: 7| >> #703|Stack: 11|Fin: 314|Max: 7| >> #704|Stack: 11|Fin: 314|Max: 7| >> #705|Stack: 10|Fin: 315|Max: 7| >> #706|Stack: 10|Fin: 315|Max: 7| >> #707|Stack: 12|Fin: 316|Max: 7| >> #708|Stack: 12|Fin: 316|Max: 7| >> #709|Stack: 12|Fin: 317|Max: 7| >> #710|Stack: 12|Fin: 317|Max: 7| >> #711|Stack: 11|Fin: 318|Max: 7| >> #712|Stack: 11|Fin: 318|Max: 7| >> #713|Stack: 11|Fin: 319|Max: 7| >> #714|Stack: 11|Fin: 319|Max: 7| >> #715|Stack: 10|Fin: 320|Max: 7| >> #716|Stack: 10|Fin: 320|Max: 7| >> #717|Stack: 9|Fin: 321|Max: 7| >> #718|Stack: 9|Fin: 321|Max: 7| >> #719|Stack: 10|Fin: 322|Max: 7| >> #720|Stack: 10|Fin: 322|Max: 7| >> #721|Stack: 9|Fin: 323|Max: 7| >> #722|Stack: 10|Fin: 323|Max: 7| >> #723|Stack: 9|Fin: 324|Max: 7| >> #724|Stack: 9|Fin: 324|Max: 7| >> #725|Stack: 8|Fin: 325|Max: 7| >> #726|Stack: 8|Fin: 325|Max: 7| >> #727|Stack: 8|Fin: 326|Max: 7| >> #728|Stack: 9|Fin: 326|Max: 7| >> #729|Stack: 8|Fin: 327|Max: 7| >> #730|Stack: 8|Fin: 327|Max: 7| >> #731|Stack: 7|Fin: 328|Max: 7| >> #732|Stack: 7|Fin: 328|Max: 7| >> #733|Stack: 8|Fin: 329|Max: 7| >> #734|Stack: 8|Fin: 329|Max: 7| >> #735|Stack: 8|Fin: 330|Max: 7| >> #736|Stack: 8|Fin: 330|Max: 7| >> #737|Stack: 7|Fin: 331|Max: 7| >> #738|Stack: 7|Fin: 331|Max: 7| >> #739|Stack: 8|Fin: 332|Max: 7| >> #740|Stack: 8|Fin: 332|Max: 7| >> #741|Stack: 7|Fin: 333|Max: 7| >> #742|Stack: 8|Fin: 333|Max: 7| >> #743|Stack: 7|Fin: 334|Max: 7| >> #744|Stack: 7|Fin: 334|Max: 7| >> #745|Stack: 6|Fin: 335|Max: 7| >> #746|Stack: 6|Fin: 335|Max: 7| >> #747|Stack: 9|Fin: 336|Max: 7| >> #748|Stack: 9|Fin: 336|Max: 7| >> #749|Stack: 9|Fin: 337|Max: 7| >> #750|Stack: 9|Fin: 337|Max: 7| >> #751|Stack: 8|Fin: 338|Max: 7| >> #752|Stack: 8|Fin: 338|Max: 7| >> #753|Stack: 8|Fin: 339|Max: 7| >> #754|Stack: 8|Fin: 339|Max: 7| >> #755|Stack: 7|Fin: 340|Max: 7| >> #756|Stack: 8|Fin: 340|Max: 7| >> #757|Stack: 9|Fin: 341|Max: 7| >> #758|Stack: 9|Fin: 341|Max: 7| >> #759|Stack: 8|Fin: 342|Max: 7| >> #760|Stack: 9|Fin: 342|Max: 7| >> #761|Stack: 8|Fin: 343|Max: 7| >> #762|Stack: 8|Fin: 343|Max: 7| >> #763|Stack: 7|Fin: 344|Max: 7| >> #764|Stack: 7|Fin: 344|Max: 7| >> #765|Stack: 7|Fin: 345|Max: 7| >> #766|Stack: 7|Fin: 345|Max: 7| >> #767|Stack: 6|Fin: 346|Max: 7| >> #768|Stack: 6|Fin: 346|Max: 7| >> #769|Stack: 6|Fin: 347|Max: 7| >> #770|Stack: 6|Fin: 347|Max: 7| >> #771|Stack: 5|Fin: 348|Max: 7| >> #772|Stack: 5|Fin: 348|Max: 7| >> #773|Stack: 6|Fin: 349|Max: 7| >> #774|Stack: 6|Fin: 349|Max: 7| >> #775|Stack: 6|Fin: 350|Max: 7| >> #776|Stack: 6|Fin: 350|Max: 7| >> #777|Stack: 5|Fin: 351|Max: 7| >> #778|Stack: 5|Fin: 351|Max: 7| >> #779|Stack: 5|Fin: 352|Max: 7| >> #780|Stack: 5|Fin: 352|Max: 7| >> #781|Stack: 4|Fin: 353|Max: 7| >> #782|Stack: 4|Fin: 353|Max: 7| >> #783|Stack: 11|Fin: 354|Max: 7| >> #784|Stack: 11|Fin: 354|Max: 7| >> #785|Stack: 12|Fin: 355|Max: 7| >> #786|Stack: 12|Fin: 355|Max: 7| >> #787|Stack: 12|Fin: 356|Max: 7| >> #788|Stack: 12|Fin: 356|Max: 7| >> #789|Stack: 11|Fin: 357|Max: 7| >> #790|Stack: 11|Fin: 357|Max: 7| >> #791|Stack: 11|Fin: 358|Max: 7| >> #792|Stack: 11|Fin: 358|Max: 7| >> #793|Stack: 10|Fin: 359|Max: 7| >> #794|Stack: 10|Fin: 359|Max: 7| >> #795|Stack: 12|Fin: 360|Max: 7| >> #796|Stack: 12|Fin: 360|Max: 7| >> #797|Stack: 13|Fin: 361|Max: 7| >> #798|Stack: 14|Fin: 361|Max: 7| >> #799|Stack: 14|Fin: 362|Max: 7| >> #800|Stack: 15|Fin: 362|Max: 7| >> #801|Stack: 14|Fin: 363|Max: 7| >> #802|Stack: 14|Fin: 363|Max: 7| >> #803|Stack: 13|Fin: 364|Max: 7| >> #804|Stack: 13|Fin: 364|Max: 7| >> #805|Stack: 13|Fin: 364|Max: 7| >> #806|Stack: 13|Fin: 364|Max: 7| >> #807|Stack: 12|Fin: 365|Max: 7| >> #808|Stack: 12|Fin: 365|Max: 7| >> #809|Stack: 11|Fin: 366|Max: 7| >> #810|Stack: 12|Fin: 366|Max: 7| >> #811|Stack: 13|Fin: 367|Max: 7| >> #812|Stack: 14|Fin: 367|Max: 7| >> #813|Stack: 14|Fin: 368|Max: 7| >> #814|Stack: 15|Fin: 368|Max: 7| >> #815|Stack: 14|Fin: 369|Max: 7| >> #816|Stack: 14|Fin: 369|Max: 7| >> #817|Stack: 13|Fin: 370|Max: 7| >> #818|Stack: 13|Fin: 370|Max: 7| >> #819|Stack: 13|Fin: 371|Max: 7| >> #820|Stack: 13|Fin: 371|Max: 7| >> #821|Stack: 12|Fin: 372|Max: 7| >> #822|Stack: 13|Fin: 372|Max: 7| >> #823|Stack: 13|Fin: 373|Max: 7| >> #824|Stack: 14|Fin: 373|Max: 7| >> #825|Stack: 13|Fin: 374|Max: 7| >> #826|Stack: 13|Fin: 374|Max: 7| >> #827|Stack: 12|Fin: 375|Max: 7| >> #828|Stack: 12|Fin: 375|Max: 7| >> #829|Stack: 12|Fin: 376|Max: 7| >> #830|Stack: 12|Fin: 376|Max: 7| >> #831|Stack: 11|Fin: 377|Max: 7| >> #832|Stack: 11|Fin: 377|Max: 7| >> #833|Stack: 12|Fin: 378|Max: 7| >> #834|Stack: 12|Fin: 378|Max: 7| >> #835|Stack: 12|Fin: 379|Max: 7| >> #836|Stack: 12|Fin: 379|Max: 7| >> #837|Stack: 11|Fin: 380|Max: 7| >> #838|Stack: 11|Fin: 380|Max: 7| >> #839|Stack: 11|Fin: 381|Max: 7| >> #840|Stack: 11|Fin: 381|Max: 7| >> #841|Stack: 10|Fin: 382|Max: 7| >> #842|Stack: 10|Fin: 382|Max: 7| >> #843|Stack: 10|Fin: 383|Max: 7| >> #844|Stack: 10|Fin: 383|Max: 7| >> #845|Stack: 9|Fin: 384|Max: 7| >> #846|Stack: 9|Fin: 384|Max: 7| >> #847|Stack: 10|Fin: 385|Max: 7| >> #848|Stack: 11|Fin: 385|Max: 7| >> #849|Stack: 11|Fin: 386|Max: 7| >> #850|Stack: 12|Fin: 386|Max: 7| >> #851|Stack: 12|Fin: 387|Max: 7| >> #852|Stack: 13|Fin: 387|Max: 7| >> #853|Stack: 12|Fin: 388|Max: 7| >> #854|Stack: 12|Fin: 388|Max: 7| >> #855|Stack: 11|Fin: 389|Max: 7| >> #856|Stack: 11|Fin: 389|Max: 7| >> #857|Stack: 11|Fin: 390|Max: 7| >> #858|Stack: 11|Fin: 390|Max: 7| >> #859|Stack: 10|Fin: 391|Max: 7| >> #860|Stack: 10|Fin: 391|Max: 7| >> #861|Stack: 10|Fin: 392|Max: 7| >> #862|Stack: 10|Fin: 392|Max: 7| >> #863|Stack: 10|Fin: 393|Max: 7| >> #864|Stack: 10|Fin: 393|Max: 7| >> #865|Stack: 9|Fin: 394|Max: 7| >> #866|Stack: 9|Fin: 394|Max: 7| >> #867|Stack: 9|Fin: 395|Max: 7| >> #868|Stack: 10|Fin: 395|Max: 7| >> #869|Stack: 10|Fin: 396|Max: 7| >> #870|Stack: 11|Fin: 396|Max: 7| >> #871|Stack: 10|Fin: 397|Max: 7| >> #872|Stack: 10|Fin: 397|Max: 7| >> #873|Stack: 9|Fin: 398|Max: 7| >> #874|Stack: 9|Fin: 398|Max: 7| >> #875|Stack: 9|Fin: 399|Max: 7| >> #876|Stack: 9|Fin: 399|Max: 7| >> #877|Stack: 8|Fin: 400|Max: 7| >> #878|Stack: 8|Fin: 400|Max: 7| >> #879|Stack: 9|Fin: 401|Max: 7| >> #880|Stack: 9|Fin: 401|Max: 7| >> #881|Stack: 10|Fin: 402|Max: 7| >> #882|Stack: 11|Fin: 402|Max: 7| >> #883|Stack: 11|Fin: 403|Max: 7| >> #884|Stack: 12|Fin: 403|Max: 7| >> #885|Stack: 11|Fin: 404|Max: 7| >> #886|Stack: 11|Fin: 404|Max: 7| >> #887|Stack: 10|Fin: 405|Max: 7| >> #888|Stack: 10|Fin: 405|Max: 7| >> #889|Stack: 10|Fin: 406|Max: 7| >> #890|Stack: 10|Fin: 406|Max: 7| >> #891|Stack: 9|Fin: 407|Max: 7| >> #892|Stack: 9|Fin: 407|Max: 7| >> #893|Stack: 8|Fin: 408|Max: 7| >> #894|Stack: 8|Fin: 408|Max: 7| >> #895|Stack: 8|Fin: 409|Max: 7| >> #896|Stack: 8|Fin: 409|Max: 7| >> #897|Stack: 7|Fin: 410|Max: 7| >> #898|Stack: 7|Fin: 410|Max: 7| >> #899|Stack: 10|Fin: 411|Max: 7| >> #900|Stack: 10|Fin: 411|Max: 7| >> #901|Stack: 11|Fin: 412|Max: 7| >> #902|Stack: 11|Fin: 412|Max: 7| >> #903|Stack: 10|Fin: 413|Max: 7| >> #904|Stack: 10|Fin: 413|Max: 7| >> #905|Stack: 9|Fin: 414|Max: 7| >> #906|Stack: 9|Fin: 414|Max: 7| >> #907|Stack: 11|Fin: 415|Max: 7| >> #908|Stack: 11|Fin: 415|Max: 7| >> #909|Stack: 10|Fin: 416|Max: 7| >> #910|Stack: 10|Fin: 416|Max: 7| >> #911|Stack: 10|Fin: 417|Max: 7| >> #912|Stack: 10|Fin: 417|Max: 7| >> #913|Stack: 9|Fin: 418|Max: 7| >> #914|Stack: 9|Fin: 418|Max: 7| >> #915|Stack: 9|Fin: 419|Max: 7| >> #916|Stack: 9|Fin: 419|Max: 7| >> #917|Stack: 8|Fin: 420|Max: 7| >> #918|Stack: 8|Fin: 420|Max: 7| >> #919|Stack: 9|Fin: 421|Max: 7| >> #920|Stack: 9|Fin: 421|Max: 7| >> #921|Stack: 9|Fin: 422|Max: 7| >> #922|Stack: 9|Fin: 422|Max: 7| >> #923|Stack: 8|Fin: 423|Max: 7| >> #924|Stack: 8|Fin: 423|Max: 7| >> #925|Stack: 8|Fin: 424|Max: 7| >> #926|Stack: 8|Fin: 424|Max: 7| >> #927|Stack: 7|Fin: 425|Max: 7| >> #928|Stack: 7|Fin: 425|Max: 7| >> #929|Stack: 8|Fin: 426|Max: 7| >> #930|Stack: 8|Fin: 426|Max: 7| >> #931|Stack: 8|Fin: 427|Max: 7| >> #932|Stack: 8|Fin: 427|Max: 7| >> #933|Stack: 7|Fin: 428|Max: 7| >> #934|Stack: 7|Fin: 428|Max: 7| >> #935|Stack: 7|Fin: 429|Max: 7| >> #936|Stack: 7|Fin: 429|Max: 7| >> #937|Stack: 6|Fin: 430|Max: 7| >> #938|Stack: 6|Fin: 430|Max: 7| >> #939|Stack: 8|Fin: 431|Max: 7| >> #940|Stack: 8|Fin: 431|Max: 7| >> #941|Stack: 8|Fin: 432|Max: 7| >> #942|Stack: 8|Fin: 432|Max: 7| >> #943|Stack: 8|Fin: 433|Max: 7| >> #944|Stack: 8|Fin: 433|Max: 7| >> #945|Stack: 7|Fin: 434|Max: 7| >> #946|Stack: 7|Fin: 434|Max: 7| >> #947|Stack: 8|Fin: 435|Max: 7| >> #948|Stack: 8|Fin: 435|Max: 7| >> #949|Stack: 8|Fin: 436|Max: 7| >> #950|Stack: 8|Fin: 436|Max: 7| >> #951|Stack: 7|Fin: 437|Max: 7| >> #952|Stack: 7|Fin: 437|Max: 7| >> #953|Stack: 7|Fin: 437|Max: 7| >> #954|Stack: 7|Fin: 437|Max: 7| >> #955|Stack: 6|Fin: 438|Max: 7| >> #956|Stack: 6|Fin: 438|Max: 7| >> #957|Stack: 7|Fin: 438|Max: 7| >> #958|Stack: 7|Fin: 438|Max: 7| >> #959|Stack: 7|Fin: 438|Max: 7| >> #960|Stack: 7|Fin: 438|Max: 7| >> #961|Stack: 6|Fin: 439|Max: 7| >> #962|Stack: 6|Fin: 439|Max: 7| >> #963|Stack: 6|Fin: 439|Max: 7| >> #964|Stack: 6|Fin: 439|Max: 7| >> #965|Stack: 5|Fin: 440|Max: 7| >> #966|Stack: 5|Fin: 440|Max: 7| >> #967|Stack: 7|Fin: 441|Max: 7| >> #968|Stack: 7|Fin: 441|Max: 7| >> #969|Stack: 8|Fin: 442|Max: 7| >> #970|Stack: 8|Fin: 442|Max: 7| >> #971|Stack: 8|Fin: 443|Max: 7| >> #972|Stack: 8|Fin: 443|Max: 7| >> #973|Stack: 7|Fin: 444|Max: 7| >> #974|Stack: 7|Fin: 444|Max: 7| >> #975|Stack: 7|Fin: 445|Max: 7| >> #976|Stack: 7|Fin: 445|Max: 7| >> #977|Stack: 6|Fin: 446|Max: 7| >> #978|Stack: 6|Fin: 446|Max: 7| >> #979|Stack: 7|Fin: 447|Max: 7| >> #980|Stack: 7|Fin: 447|Max: 7| >> #981|Stack: 7|Fin: 448|Max: 7| >> #982|Stack: 7|Fin: 448|Max: 7| >> #983|Stack: 6|Fin: 449|Max: 7| >> #984|Stack: 6|Fin: 449|Max: 7| >> #985|Stack: 6|Fin: 450|Max: 7| >> #986|Stack: 6|Fin: 450|Max: 7| >> #987|Stack: 5|Fin: 451|Max: 7| >> #988|Stack: 5|Fin: 451|Max: 7| >> #989|Stack: 6|Fin: 452|Max: 7| >> #990|Stack: 6|Fin: 452|Max: 7| >> #991|Stack: 6|Fin: 453|Max: 7| >> #992|Stack: 6|Fin: 453|Max: 7| >> #993|Stack: 5|Fin: 454|Max: 7| >> #994|Stack: 5|Fin: 454|Max: 7| >> #995|Stack: 5|Fin: 455|Max: 7| >> #996|Stack: 5|Fin: 455|Max: 7| >> #997|Stack: 4|Fin: 456|Max: 7| >> #998|Stack: 4|Fin: 456|Max: 7| >> #999|Stack: 8|Fin: 457|Max: 7| >> #1000|Stack: 8|Fin: 457|Max: 7| >> #1001|Stack: 8|Fin: 458|Max: 7| >> #1002|Stack: 9|Fin: 458|Max: 7| >> #1003|Stack: 8|Fin: 459|Max: 7| >> #1004|Stack: 8|Fin: 459|Max: 7| >> #1005|Stack: 7|Fin: 460|Max: 7| >> #1006|Stack: 7|Fin: 460|Max: 7| >> #1007|Stack: 7|Fin: 461|Max: 7| >> #1008|Stack: 8|Fin: 461|Max: 7| >> #1009|Stack: 7|Fin: 462|Max: 7| >> #1010|Stack: 7|Fin: 462|Max: 7| >> #1011|Stack: 6|Fin: 463|Max: 7| >> #1012|Stack: 6|Fin: 463|Max: 7| >> #1013|Stack: 7|Fin: 464|Max: 7| >> #1014|Stack: 7|Fin: 464|Max: 7| >> #1015|Stack: 7|Fin: 464|Max: 7| >> #1016|Stack: 7|Fin: 464|Max: 7| >> #1017|Stack: 6|Fin: 465|Max: 7| >> #1018|Stack: 6|Fin: 465|Max: 7| >> #1019|Stack: 6|Fin: 466|Max: 7| >> #1020|Stack: 6|Fin: 466|Max: 7| >> #1021|Stack: 5|Fin: 467|Max: 7| >> #1022|Stack: 5|Fin: 467|Max: 7| >> #1023|Stack: 6|Fin: 467|Max: 7| >> #1024|Stack: 6|Fin: 467|Max: 7| >> #1025|Stack: 6|Fin: 467|Max: 7| >> #1026|Stack: 6|Fin: 467|Max: 7| >> #1027|Stack: 5|Fin: 468|Max: 7| >> #1028|Stack: 5|Fin: 468|Max: 7| >> #1029|Stack: 5|Fin: 468|Max: 7| >> #1030|Stack: 5|Fin: 468|Max: 7| >> #1031|Stack: 4|Fin: 469|Max: 7| >> #1032|Stack: 4|Fin: 469|Max: 7| >> #1033|Stack: 5|Fin: 470|Max: 7| >> #1034|Stack: 5|Fin: 470|Max: 7| >> #1035|Stack: 5|Fin: 471|Max: 7| >> #1036|Stack: 5|Fin: 471|Max: 7| >> #1037|Stack: 4|Fin: 472|Max: 7| >> #1038|Stack: 4|Fin: 472|Max: 7| >> #1039|Stack: 4|Fin: 473|Max: 7| >> #1040|Stack: 4|Fin: 473|Max: 7| >> #1041|Stack: 3|Fin: 474|Max: 7| >> #1042|Stack: 3|Fin: 474|Max: 7| >> #1043|Stack: 6|Fin: 475|Max: 7| >> #1044|Stack: 6|Fin: 475|Max: 7| >> #1045|Stack: 7|Fin: 476|Max: 7| >> #1046|Stack: 8|Fin: 476|Max: 7| >> #1047|Stack: 8|Fin: 477|Max: 7| >> #1048|Stack: 8|Fin: 477|Max: 7| >> #1049|Stack: 7|Fin: 478|Max: 7| >> #1050|Stack: 7|Fin: 478|Max: 7| >> #1051|Stack: 6|Fin: 479|Max: 7| >> #1052|Stack: 6|Fin: 479|Max: 7| >> #1053|Stack: 6|Fin: 480|Max: 7| >> #1054|Stack: 6|Fin: 480|Max: 7| >> #1055|Stack: 5|Fin: 481|Max: 7| >> #1056|Stack: 5|Fin: 481|Max: 7| >> #1057|Stack: 7|Fin: 482|Max: 7| >> #1058|Stack: 8|Fin: 482|Max: 7| >> #1059|Stack: 8|Fin: 483|Max: 7| >> #1060|Stack: 8|Fin: 483|Max: 7| >> #1061|Stack: 7|Fin: 484|Max: 7| >> #1062|Stack: 7|Fin: 484|Max: 7| >> #1063|Stack: 6|Fin: 485|Max: 7| >> #1064|Stack: 6|Fin: 485|Max: 7| >> #1065|Stack: 6|Fin: 486|Max: 7| >> #1066|Stack: 7|Fin: 486|Max: 7| >> #1067|Stack: 6|Fin: 487|Max: 7| >> #1068|Stack: 6|Fin: 487|Max: 7| >> #1069|Stack: 5|Fin: 488|Max: 7| >> #1070|Stack: 5|Fin: 488|Max: 7| >> #1071|Stack: 6|Fin: 489|Max: 7| >> #1072|Stack: 6|Fin: 489|Max: 7| >> #1073|Stack: 5|Fin: 490|Max: 7| >> #1074|Stack: 6|Fin: 490|Max: 7| >> #1075|Stack: 5|Fin: 491|Max: 7| >> #1076|Stack: 5|Fin: 491|Max: 7| >> #1077|Stack: 4|Fin: 492|Max: 7| >> #1078|Stack: 4|Fin: 492|Max: 7| >> #1079|Stack: 6|Fin: 493|Max: 7| >> #1080|Stack: 6|Fin: 493|Max: 7| >> #1081|Stack: 6|Fin: 494|Max: 7| >> #1082|Stack: 6|Fin: 494|Max: 7| >> #1083|Stack: 5|Fin: 495|Max: 7| >> #1084|Stack: 5|Fin: 495|Max: 7| >> #1085|Stack: 6|Fin: 496|Max: 7| >> #1086|Stack: 6|Fin: 496|Max: 7| >> #1087|Stack: 5|Fin: 497|Max: 7| >> #1088|Stack: 5|Fin: 497|Max: 7| >> #1089|Stack: 5|Fin: 498|Max: 7| >> #1090|Stack: 5|Fin: 498|Max: 7| >> #1091|Stack: 4|Fin: 499|Max: 7| >> #1092|Stack: 4|Fin: 499|Max: 7| >> #1093|Stack: 4|Fin: 499|Max: 7| >> #1094|Stack: 4|Fin: 499|Max: 7| >> #1095|Stack: 4|Fin: 499|Max: 7| >> #1096|Stack: 4|Fin: 499|Max: 7| >> #1097|Stack: 3|Fin: 500|Max: 7| >> #1098|Stack: 3|Fin: 500|Max: 7| >> #1099|Stack: 6|Fin: 501|Max: 7| >> #1100|Stack: 6|Fin: 501|Max: 7| >> #1101|Stack: 6|Fin: 502|Max: 7| >> #1102|Stack: 7|Fin: 502|Max: 7| >> #1103|Stack: 6|Fin: 503|Max: 7| >> #1104|Stack: 6|Fin: 503|Max: 7| >> #1105|Stack: 5|Fin: 504|Max: 7| >> #1106|Stack: 5|Fin: 504|Max: 7| >> #1107|Stack: 6|Fin: 505|Max: 7| >> #1108|Stack: 7|Fin: 505|Max: 7| >> #1109|Stack: 6|Fin: 506|Max: 7| >> #1110|Stack: 7|Fin: 506|Max: 7| >> #1111|Stack: 6|Fin: 507|Max: 7| >> #1112|Stack: 6|Fin: 507|Max: 7| >> #1113|Stack: 5|Fin: 508|Max: 7| >> #1114|Stack: 5|Fin: 508|Max: 7| >> #1115|Stack: 4|Fin: 509|Max: 7| >> #1116|Stack: 4|Fin: 509|Max: 7| >> #1117|Stack: 5|Fin: 510|Max: 7| >> #1118|Stack: 5|Fin: 510|Max: 7| >> #1119|Stack: 4|Fin: 511|Max: 7| >> #1120|Stack: 4|Fin: 511|Max: 7| >> #1121|Stack: 4|Fin: 512|Max: 7| >> #1122|Stack: 4|Fin: 512|Max: 7| >> #1123|Stack: 3|Fin: 513|Max: 7| >> #1124|Stack: 3|Fin: 513|Max: 7| >> #1125|Stack: 4|Fin: 514|Max: 7| >> #1126|Stack: 4|Fin: 514|Max: 7| >> #1127|Stack: 4|Fin: 515|Max: 7| >> #1128|Stack: 4|Fin: 515|Max: 7| >> #1129|Stack: 3|Fin: 516|Max: 7| >> #1130|Stack: 3|Fin: 516|Max: 7| >> #1131|Stack: 3|Fin: 517|Max: 7| >> #1132|Stack: 3|Fin: 517|Max: 7| >> #1133|Stack: 2|Fin: 518|Max: 7| >> #1134|Stack: 2|Fin: 518|Max: 7| >> #1135|Stack: 7|Fin: 519|Max: 7| >> #1136|Stack: 7|Fin: 519|Max: 7| >> #1137|Stack: 9|Fin: 520|Max: 7| >> #1138|Stack: 10|Fin: 520|Max: 7| >> #1139|Stack: 10|Fin: 521|Max: 7| >> #1140|Stack: 10|Fin: 521|Max: 7| >> #1141|Stack: 9|Fin: 522|Max: 7| >> #1142|Stack: 9|Fin: 522|Max: 7| >> #1143|Stack: 8|Fin: 523|Max: 7| >> #1144|Stack: 8|Fin: 523|Max: 7| >> #1145|Stack: 9|Fin: 524|Max: 7| >> #1146|Stack: 9|Fin: 524|Max: 7| >> #1147|Stack: 8|Fin: 525|Max: 7| >> #1148|Stack: 8|Fin: 525|Max: 7| >> #1149|Stack: 8|Fin: 526|Max: 7| >> #1150|Stack: 9|Fin: 526|Max: 7| >> #1151|Stack: 8|Fin: 527|Max: 7| >> #1152|Stack: 8|Fin: 527|Max: 7| >> #1153|Stack: 7|Fin: 528|Max: 7| >> #1154|Stack: 7|Fin: 528|Max: 7| >> #1155|Stack: 7|Fin: 529|Max: 7| >> #1156|Stack: 7|Fin: 529|Max: 7| >> #1157|Stack: 6|Fin: 530|Max: 7| >> #1158|Stack: 6|Fin: 530|Max: 7| >> #1159|Stack: 7|Fin: 531|Max: 7| >> #1160|Stack: 8|Fin: 531|Max: 7| >> #1161|Stack: 8|Fin: 532|Max: 7| >> #1162|Stack: 8|Fin: 532|Max: 7| >> #1163|Stack: 7|Fin: 533|Max: 7| >> #1164|Stack: 7|Fin: 533|Max: 7| >> #1165|Stack: 7|Fin: 534|Max: 7| >> #1166|Stack: 7|Fin: 534|Max: 7| >> #1167|Stack: 7|Fin: 535|Max: 7| >> #1168|Stack: 7|Fin: 535|Max: 7| >> #1169|Stack: 6|Fin: 536|Max: 7| >> #1170|Stack: 6|Fin: 536|Max: 7| >> #1171|Stack: 6|Fin: 537|Max: 7| >> #1172|Stack: 7|Fin: 537|Max: 7| >> #1173|Stack: 6|Fin: 538|Max: 7| >> #1174|Stack: 6|Fin: 538|Max: 7| >> #1175|Stack: 5|Fin: 539|Max: 7| >> #1176|Stack: 5|Fin: 539|Max: 7| >> #1177|Stack: 7|Fin: 540|Max: 7| >> #1178|Stack: 7|Fin: 540|Max: 7| >> #1179|Stack: 7|Fin: 541|Max: 7| >> #1180|Stack: 7|Fin: 541|Max: 7| >> #1181|Stack: 7|Fin: 542|Max: 7| >> #1182|Stack: 7|Fin: 542|Max: 7| >> #1183|Stack: 6|Fin: 543|Max: 7| >> #1184|Stack: 6|Fin: 543|Max: 7| >> #1185|Stack: 7|Fin: 544|Max: 7| >> #1186|Stack: 7|Fin: 544|Max: 7| >> #1187|Stack: 7|Fin: 545|Max: 7| >> #1188|Stack: 7|Fin: 545|Max: 7| >> #1189|Stack: 6|Fin: 546|Max: 7| >> #1190|Stack: 6|Fin: 546|Max: 7| >> #1191|Stack: 6|Fin: 546|Max: 7| >> #1192|Stack: 6|Fin: 546|Max: 7| >> #1193|Stack: 5|Fin: 547|Max: 7| >> #1194|Stack: 5|Fin: 547|Max: 7| >> #1195|Stack: 5|Fin: 547|Max: 7| >> #1196|Stack: 5|Fin: 547|Max: 7| >> #1197|Stack: 5|Fin: 547|Max: 7| >> #1198|Stack: 5|Fin: 547|Max: 7| >> #1199|Stack: 4|Fin: 548|Max: 7| >> #1200|Stack: 4|Fin: 548|Max: 7| >> #1201|Stack: 7|Fin: 549|Max: 7| >> #1202|Stack: 7|Fin: 549|Max: 7| >> #1203|Stack: 8|Fin: 550|Max: 7| >> #1204|Stack: 10|Fin: 550|Max: 7| >> #1205|Stack: 9|Fin: 551|Max: 7| >> #1206|Stack: 10|Fin: 551|Max: 7| >> #1207|Stack: 9|Fin: 552|Max: 7| >> #1208|Stack: 9|Fin: 552|Max: 7| >> #1209|Stack: 8|Fin: 553|Max: 7| >> #1210|Stack: 9|Fin: 553|Max: 7| >> #1211|Stack: 8|Fin: 554|Max: 7| >> #1212|Stack: 8|Fin: 554|Max: 7| >> #1213|Stack: 7|Fin: 555|Max: 7| >> #1214|Stack: 7|Fin: 555|Max: 7| >> #1215|Stack: 6|Fin: 556|Max: 7| >> #1216|Stack: 6|Fin: 556|Max: 7| >> #1217|Stack: 6|Fin: 557|Max: 7| >> #1218|Stack: 8|Fin: 557|Max: 7| >> #1219|Stack: 7|Fin: 558|Max: 7| >> #1220|Stack: 8|Fin: 558|Max: 7| >> #1221|Stack: 7|Fin: 559|Max: 7| >> #1222|Stack: 7|Fin: 559|Max: 7| >> #1223|Stack: 6|Fin: 560|Max: 7| >> #1224|Stack: 7|Fin: 560|Max: 7| >> #1225|Stack: 6|Fin: 561|Max: 7| >> #1226|Stack: 6|Fin: 561|Max: 7| >> #1227|Stack: 5|Fin: 562|Max: 7| >> #1228|Stack: 5|Fin: 562|Max: 7| >> #1229|Stack: 5|Fin: 563|Max: 7| >> #1230|Stack: 5|Fin: 563|Max: 7| >> #1231|Stack: 5|Fin: 564|Max: 7| >> #1232|Stack: 5|Fin: 564|Max: 7| >> #1233|Stack: 4|Fin: 565|Max: 7| >> #1234|Stack: 4|Fin: 565|Max: 7| >> #1235|Stack: 6|Fin: 566|Max: 7| >> #1236|Stack: 6|Fin: 566|Max: 7| >> #1237|Stack: 5|Fin: 567|Max: 7| >> #1238|Stack: 5|Fin: 567|Max: 7| >> #1239|Stack: 5|Fin: 568|Max: 7| >> #1240|Stack: 5|Fin: 568|Max: 7| >> #1241|Stack: 4|Fin: 569|Max: 7| >> #1242|Stack: 4|Fin: 569|Max: 7| >> #1243|Stack: 4|Fin: 570|Max: 7| >> #1244|Stack: 4|Fin: 570|Max: 7| >> #1245|Stack: 3|Fin: 571|Max: 7| >> #1246|Stack: 3|Fin: 571|Max: 7| >> #1247|Stack: 6|Fin: 572|Max: 7| >> #1248|Stack: 6|Fin: 572|Max: 7| >> #1249|Stack: 7|Fin: 573|Max: 7| >> #1250|Stack: 7|Fin: 573|Max: 7| >> #1251|Stack: 7|Fin: 574|Max: 7| >> #1252|Stack: 7|Fin: 574|Max: 7| >> #1253|Stack: 6|Fin: 575|Max: 7| >> #1254|Stack: 6|Fin: 575|Max: 7| >> #1255|Stack: 6|Fin: 576|Max: 7| >> #1256|Stack: 6|Fin: 576|Max: 7| >> #1257|Stack: 5|Fin: 577|Max: 7| >> #1258|Stack: 5|Fin: 577|Max: 7| >> #1259|Stack: 6|Fin: 578|Max: 7| >> #1260|Stack: 6|Fin: 578|Max: 7| >> #1261|Stack: 6|Fin: 579|Max: 7| >> #1262|Stack: 6|Fin: 579|Max: 7| >> #1263|Stack: 5|Fin: 580|Max: 7| >> #1264|Stack: 5|Fin: 580|Max: 7| >> #1265|Stack: 5|Fin: 580|Max: 7| >> #1266|Stack: 5|Fin: 580|Max: 7| >> #1267|Stack: 4|Fin: 581|Max: 7| >> #1268|Stack: 4|Fin: 581|Max: 7| >> #1269|Stack: 6|Fin: 582|Max: 7| >> #1270|Stack: 6|Fin: 582|Max: 7| >> #1271|Stack: 5|Fin: 583|Max: 7| >> #1272|Stack: 5|Fin: 583|Max: 7| >> #1273|Stack: 5|Fin: 584|Max: 7| >> #1274|Stack: 5|Fin: 584|Max: 7| >> #1275|Stack: 4|Fin: 585|Max: 7| >> #1276|Stack: 4|Fin: 585|Max: 7| >> #1277|Stack: 5|Fin: 586|Max: 7| >> #1278|Stack: 6|Fin: 586|Max: 7| >> #1279|Stack: 5|Fin: 587|Max: 7| >> #1280|Stack: 5|Fin: 587|Max: 7| >> #1281|Stack: 4|Fin: 588|Max: 7| >> #1282|Stack: 4|Fin: 588|Max: 7| >> #1283|Stack: 3|Fin: 589|Max: 7| >> #1284|Stack: 3|Fin: 589|Max: 7| >> #1285|Stack: 5|Fin: 590|Max: 7| >> #1286|Stack: 5|Fin: 590|Max: 7| >> #1287|Stack: 4|Fin: 591|Max: 7| >> #1288|Stack: 4|Fin: 591|Max: 7| >> #1289|Stack: 4|Fin: 591|Max: 7| >> #1290|Stack: 4|Fin: 591|Max: 7| >> #1291|Stack: 3|Fin: 592|Max: 7| >> #1292|Stack: 3|Fin: 592|Max: 7| >> #1293|Stack: 4|Fin: 593|Max: 7| >> #1294|Stack: 5|Fin: 593|Max: 7| >> #1295|Stack: 4|Fin: 594|Max: 7| >> #1296|Stack: 4|Fin: 594|Max: 7| >> #1297|Stack: 3|Fin: 595|Max: 7| >> #1298|Stack: 3|Fin: 595|Max: 7| >> #1299|Stack: 2|Fin: 596|Max: 7| >> #1300|Stack: 2|Fin: 596|Max: 7| >> #1301|Stack: 4|Fin: 596|Max: 7| >> #1302|Stack: 4|Fin: 596|Max: 7| >> #1303|Stack: 4|Fin: 596|Max: 7| >> #1304|Stack: 4|Fin: 596|Max: 7| >> #1305|Stack: 4|Fin: 596|Max: 7| >> #1306|Stack: 4|Fin: 596|Max: 7| >> #1307|Stack: 3|Fin: 597|Max: 7| >> #1308|Stack: 3|Fin: 597|Max: 7| >> #1309|Stack: 3|Fin: 597|Max: 7| >> #1310|Stack: 3|Fin: 597|Max: 7| >> #1311|Stack: 3|Fin: 597|Max: 7| >> #1312|Stack: 3|Fin: 597|Max: 7| >> #1313|Stack: 2|Fin: 598|Max: 7| >> #1314|Stack: 2|Fin: 598|Max: 7| >> #1315|Stack: 3|Fin: 598|Max: 7| >> #1316|Stack: 3|Fin: 598|Max: 7| >> #1317|Stack: 3|Fin: 598|Max: 7| >> #1318|Stack: 3|Fin: 598|Max: 7| >> #1319|Stack: 2|Fin: 599|Max: 7| >> #1320|Stack: 2|Fin: 599|Max: 7| >> #1321|Stack: 2|Fin: 599|Max: 7| >> #1322|Stack: 2|Fin: 599|Max: 7| >> #1323|Stack: 1|Fin: 600|Max: 7| >> #1324|Stack: 1|Fin: 600|Max: 7| >> #1325|Stack: 5|Fin: 601|Max: 7| >> #1326|Stack: 5|Fin: 601|Max: 7| >> #1327|Stack: 6|Fin: 602|Max: 7| >> #1328|Stack: 6|Fin: 602|Max: 7| >> #1329|Stack: 6|Fin: 603|Max: 7| >> #1330|Stack: 6|Fin: 603|Max: 7| >> #1331|Stack: 5|Fin: 604|Max: 7| >> #1332|Stack: 5|Fin: 604|Max: 7| >> #1333|Stack: 5|Fin: 605|Max: 7| >> #1334|Stack: 6|Fin: 605|Max: 7| >> #1335|Stack: 5|Fin: 606|Max: 7| >> #1336|Stack: 5|Fin: 606|Max: 7| >> #1337|Stack: 4|Fin: 607|Max: 7| >> #1338|Stack: 4|Fin: 607|Max: 7| >> #1339|Stack: 6|Fin: 608|Max: 7| >> #1340|Stack: 6|Fin: 608|Max: 7| >> #1341|Stack: 6|Fin: 608|Max: 7| >> #1342|Stack: 6|Fin: 608|Max: 7| >> #1343|Stack: 6|Fin: 608|Max: 7| >> #1344|Stack: 6|Fin: 608|Max: 7| >> #1345|Stack: 5|Fin: 609|Max: 7| >> #1346|Stack: 5|Fin: 609|Max: 7| >> #1347|Stack: 6|Fin: 610|Max: 7| >> #1348|Stack: 6|Fin: 610|Max: 7| >> #1349|Stack: 6|Fin: 611|Max: 7| >> #1350|Stack: 6|Fin: 611|Max: 7| >> #1351|Stack: 5|Fin: 612|Max: 7| >> #1352|Stack: 5|Fin: 612|Max: 7| >> #1353|Stack: 5|Fin: 613|Max: 7| >> #1354|Stack: 5|Fin: 613|Max: 7| >> #1355|Stack: 4|Fin: 614|Max: 7| >> #1356|Stack: 4|Fin: 614|Max: 7| >> #1357|Stack: 4|Fin: 615|Max: 7| >> #1358|Stack: 4|Fin: 615|Max: 7| >> #1359|Stack: 4|Fin: 616|Max: 7| >> #1360|Stack: 4|Fin: 616|Max: 7| >> #1361|Stack: 3|Fin: 617|Max: 7| >> #1362|Stack: 3|Fin: 617|Max: 7| >> #1363|Stack: 5|Fin: 617|Max: 7| >> #1364|Stack: 5|Fin: 617|Max: 7| >> #1365|Stack: 6|Fin: 617|Max: 7| >> #1366|Stack: 6|Fin: 617|Max: 7| >> #1367|Stack: 6|Fin: 617|Max: 7| >> #1368|Stack: 6|Fin: 617|Max: 7| >> #1369|Stack: 5|Fin: 618|Max: 7| >> #1370|Stack: 5|Fin: 618|Max: 7| >> #1371|Stack: 5|Fin: 618|Max: 7| >> #1372|Stack: 5|Fin: 618|Max: 7| >> #1373|Stack: 4|Fin: 619|Max: 7| >> #1374|Stack: 4|Fin: 619|Max: 7| >> #1375|Stack: 4|Fin: 619|Max: 7| >> #1376|Stack: 4|Fin: 619|Max: 7| >> #1377|Stack: 4|Fin: 619|Max: 7| >> #1378|Stack: 4|Fin: 619|Max: 7| >> #1379|Stack: 3|Fin: 620|Max: 7| >> #1380|Stack: 3|Fin: 620|Max: 7| >> #1381|Stack: 4|Fin: 620|Max: 7| >> #1382|Stack: 4|Fin: 620|Max: 7| >> #1383|Stack: 4|Fin: 620|Max: 7| >> #1384|Stack: 4|Fin: 620|Max: 7| >> #1385|Stack: 3|Fin: 621|Max: 7| >> #1386|Stack: 3|Fin: 621|Max: 7| >> #1387|Stack: 3|Fin: 621|Max: 7| >> #1388|Stack: 3|Fin: 621|Max: 7| >> #1389|Stack: 2|Fin: 622|Max: 7| >> #1390|Stack: 2|Fin: 622|Max: 7| >> #1391|Stack: 5|Fin: 623|Max: 7| >> #1392|Stack: 5|Fin: 623|Max: 7| >> #1393|Stack: 5|Fin: 624|Max: 7| >> #1394|Stack: 5|Fin: 624|Max: 7| >> #1395|Stack: 4|Fin: 625|Max: 7| >> #1396|Stack: 4|Fin: 625|Max: 7| >> #1397|Stack: 5|Fin: 626|Max: 7| >> #1398|Stack: 5|Fin: 626|Max: 7| >> #1399|Stack: 5|Fin: 627|Max: 7| >> #1400|Stack: 5|Fin: 627|Max: 7| >> #1401|Stack: 4|Fin: 628|Max: 7| >> #1402|Stack: 4|Fin: 628|Max: 7| >> #1403|Stack: 4|Fin: 629|Max: 7| >> #1404|Stack: 4|Fin: 629|Max: 7| >> #1405|Stack: 3|Fin: 630|Max: 7| >> #1406|Stack: 3|Fin: 630|Max: 7| >> #1407|Stack: 4|Fin: 631|Max: 7| >> #1408|Stack: 4|Fin: 631|Max: 7| >> #1409|Stack: 4|Fin: 632|Max: 7| >> #1410|Stack: 4|Fin: 632|Max: 7| >> #1411|Stack: 3|Fin: 633|Max: 7| >> #1412|Stack: 3|Fin: 633|Max: 7| >> #1413|Stack: 3|Fin: 634|Max: 7| >> #1414|Stack: 3|Fin: 634|Max: 7| >> #1415|Stack: 2|Fin: 635|Max: 7| >> #1416|Stack: 2|Fin: 635|Max: 7| >> #1417|Stack: 4|Fin: 636|Max: 7| >> #1418|Stack: 4|Fin: 636|Max: 7| >> #1419|Stack: 3|Fin: 637|Max: 7| >> #1420|Stack: 3|Fin: 637|Max: 7| >> #1421|Stack: 3|Fin: 638|Max: 7| >> #1422|Stack: 3|Fin: 638|Max: 7| >> #1423|Stack: 2|Fin: 639|Max: 7| >> #1424|Stack: 2|Fin: 639|Max: 7| >> #1425|Stack: 2|Fin: 640|Max: 7| >> #1426|Stack: 2|Fin: 640|Max: 7| >> #1427|Stack: 1|Fin: 641|Max: 7| >> #1428|Stack: 1|Fin: 641|Max: 7| >> #1429|Stack: 3|Fin: 642|Max: 7| >> #1430|Stack: 3|Fin: 642|Max: 7| >> #1431|Stack: 3|Fin: 643|Max: 7| >> #1432|Stack: 3|Fin: 643|Max: 7| >> #1433|Stack: 2|Fin: 644|Max: 7| >> #1434|Stack: 2|Fin: 644|Max: 7| >> #1435|Stack: 2|Fin: 645|Max: 7| >> #1436|Stack: 2|Fin: 645|Max: 7| >> #1437|Stack: 2|Fin: 646|Max: 7| >> #1438|Stack: 2|Fin: 646|Max: 7| >> #1439|Stack: 1|Fin: 647|Max: 7| >> #1440|Stack: 1|Fin: 647|Max: 7| >> #1441|Stack: 3|Fin: 648|Max: 7| >> #1442|Stack: 3|Fin: 648|Max: 7| >> #1443|Stack: 2|Fin: 649|Max: 7| >> #1444|Stack: 2|Fin: 649|Max: 7| >> #1445|Stack: 2|Fin: 650|Max: 7| >> #1446|Stack: 2|Fin: 650|Max: 7| >> #1447|Stack: 1|Fin: 651|Max: 7| >> #1448|Stack: 1|Fin: 651|Max: 7| >> #1449|Stack: 1|Fin: 652|Max: 7| >> #1450|Stack: 1|Fin: 652|Max: 7| >> #1451|Stack: 0|Fin: 653|Max: 7| >> #1452|Stack: 0|Fin: 653|Max: 7| >> #1453|Stack: 4|Fin: 654|Max: 7| >> #1454|Stack: 4|Fin: 654|Max: 7| >> #1455|Stack: 5|Fin: 655|Max: 7| >> #1456|Stack: 5|Fin: 655|Max: 7| >> #1457|Stack: 6|Fin: 656|Max: 7| >> #1458|Stack: 7|Fin: 656|Max: 7| >> #1459|Stack: 6|Fin: 657|Max: 7| >> #1460|Stack: 6|Fin: 657|Max: 7| >> #1461|Stack: 5|Fin: 658|Max: 7| >> #1462|Stack: 5|Fin: 658|Max: 7| >> #1463|Stack: 4|Fin: 659|Max: 7| >> #1464|Stack: 4|Fin: 659|Max: 7| >> #1465|Stack: 4|Fin: 660|Max: 7| >> #1466|Stack: 4|Fin: 660|Max: 7| >> #1467|Stack: 3|Fin: 661|Max: 7| >> #1468|Stack: 3|Fin: 661|Max: 7| >> #1469|Stack: 6|Fin: 662|Max: 7| >> #1470|Stack: 7|Fin: 662|Max: 7| >> #1471|Stack: 8|Fin: 663|Max: 7| >> #1472|Stack: 9|Fin: 663|Max: 7| >> #1473|Stack: 8|Fin: 664|Max: 7| >> #1474|Stack: 8|Fin: 664|Max: 7| >> #1475|Stack: 7|Fin: 665|Max: 7| >> #1476|Stack: 7|Fin: 665|Max: 7| >> #1477|Stack: 6|Fin: 666|Max: 7| >> #1478|Stack: 6|Fin: 666|Max: 7| >> #1479|Stack: 6|Fin: 667|Max: 7| >> #1480|Stack: 6|Fin: 667|Max: 7| >> #1481|Stack: 5|Fin: 668|Max: 7| >> #1482|Stack: 5|Fin: 668|Max: 7| >> #1483|Stack: 5|Fin: 669|Max: 7| >> #1484|Stack: 5|Fin: 669|Max: 7| >> #1485|Stack: 4|Fin: 670|Max: 7| >> #1486|Stack: 4|Fin: 670|Max: 7| >> #1487|Stack: 4|Fin: 671|Max: 7| >> #1488|Stack: 4|Fin: 671|Max: 7| >> #1489|Stack: 3|Fin: 672|Max: 7| >> #1490|Stack: 3|Fin: 672|Max: 7| >> #1491|Stack: 3|Fin: 673|Max: 7| >> #1492|Stack: 3|Fin: 673|Max: 7| >> #1493|Stack: 2|Fin: 674|Max: 7| >> #1494|Stack: 2|Fin: 674|Max: 7| >> #1495|Stack: 3|Fin: 675|Max: 7| >> #1496|Stack: 3|Fin: 675|Max: 7| >> #1497|Stack: 3|Fin: 676|Max: 7| >> #1498|Stack: 3|Fin: 676|Max: 7| >> #1499|Stack: 2|Fin: 677|Max: 7| >> #1500|Stack: 2|Fin: 677|Max: 7| >> #1501|Stack: 2|Fin: 678|Max: 7| >> #1502|Stack: 2|Fin: 678|Max: 7| >> #1503|Stack: 1|Fin: 679|Max: 7| >> #1504|Stack: 1|Fin: 679|Max: 7| >> #1505|Stack: 4|Fin: 680|Max: 7| >> #1506|Stack: 4|Fin: 680|Max: 7| >> #1507|Stack: 4|Fin: 681|Max: 7| >> #1508|Stack: 4|Fin: 681|Max: 7| >> #1509|Stack: 3|Fin: 682|Max: 7| >> #1510|Stack: 3|Fin: 682|Max: 7| >> #1511|Stack: 3|Fin: 683|Max: 7| >> #1512|Stack: 3|Fin: 683|Max: 7| >> #1513|Stack: 2|Fin: 684|Max: 7| >> #1514|Stack: 2|Fin: 684|Max: 7| >> #1515|Stack: 2|Fin: 684|Max: 7| >> #1516|Stack: 2|Fin: 684|Max: 7| >> #1517|Stack: 2|Fin: 684|Max: 7| >> #1518|Stack: 2|Fin: 684|Max: 7| >> #1519|Stack: 1|Fin: 685|Max: 7| >> #1520|Stack: 1|Fin: 685|Max: 7| >> #1521|Stack: 1|Fin: 686|Max: 7| >> #1522|Stack: 1|Fin: 686|Max: 7| >> #1523|Stack: 1|Fin: 687|Max: 7| >> #1524|Stack: 1|Fin: 687|Max: 7| >> #1525|Stack: 0|Fin: 688|Max: 7| >> #1526|Stack: 0|Fin: 688|Max: 7| >> #1527|Stack: 3|Fin: 689|Max: 7| >> #1528|Stack: 3|Fin: 689|Max: 7| >> #1529|Stack: 4|Fin: 690|Max: 7| >> #1530|Stack: 5|Fin: 690|Max: 7| >> #1531|Stack: 4|Fin: 691|Max: 7| >> #1532|Stack: 4|Fin: 691|Max: 7| >> #1533|Stack: 3|Fin: 692|Max: 7| >> #1534|Stack: 3|Fin: 692|Max: 7| >> #1535|Stack: 2|Fin: 693|Max: 7| >> #1536|Stack: 2|Fin: 693|Max: 7| >> #1537|Stack: 2|Fin: 694|Max: 7| >> #1538|Stack: 3|Fin: 694|Max: 7| >> #1539|Stack: 2|Fin: 695|Max: 7| >> #1540|Stack: 2|Fin: 695|Max: 7| >> #1541|Stack: 1|Fin: 696|Max: 7| >> #1542|Stack: 1|Fin: 696|Max: 7| >> #1543|Stack: 1|Fin: 697|Max: 7| >> #1544|Stack: 1|Fin: 697|Max: 7| >> #1545|Stack: 1|Fin: 698|Max: 7| >> #1546|Stack: 1|Fin: 698|Max: 7| >> #1547|Stack: 0|Fin: 699|Max: 7| >> #1548|Stack: 0|Fin: 699|Max: 7| >> #1549|Stack: 2|Fin: 700|Max: 7| >> #1550|Stack: 2|Fin: 700|Max: 7| >> #1551|Stack: 1|Fin: 701|Max: 7| >> #1552|Stack: 1|Fin: 701|Max: 7| >> #1553|Stack: 1|Fin: 702|Max: 7| >> #1554|Stack: 1|Fin: 702|Max: 7| >> #1555|Stack: 0|Fin: 703|Max: 7| >> #1556|Stack: 0|Fin: 703|Max: 7| >> #1557|Stack: 0|Fin: 704|Max: 7| >> #1558|Stack: 0|Fin: 704|Max: 7| ======= Final information: ======= ||Max:7|LPs: 0|Fin:705|| ================================== Test Summary: | Pass Total Time LinearMPC.jl | 15 15 5m13.4s Basic setup | 0 1m51.9s MPC examples | 0 1m23.2s Compute control | 1 1 3.3s Codegen IMPC | 2 2 9.1s Prestabilizing feedback | 2 2 2.2s Move blocking | 6 6 0.9s Explicit MPC | 3 3 56.6s Certification | 1 1 46.2s Testing LinearMPC tests passed Testing completed after 335.53s PkgEval succeeded after 386.26s