"This is an Atlas for Redistricting Maps. See 'https://git.math.duke.edu/gitlab/jonm/atlasio.jl' for more information."
{"description":"","date":"2025-09-07T15:39:21.934","atlasParamType":"Dict{String, Any}","mapParamType":"Dict{String, Any}"}
{"energy weights":[],"population bounds":[8,8],"energies":[],"package.version":"CycleWalk v0.1.3","districts":2,"popdev":0.05}
{"name":"step1","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":1}]}
{"name":"step10","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":1}]}
{"name":"step20","weight":1,"data":{"get_log_spanning_forests":5.411646051855039,"get_log_spanning_trees":[4.025351690735149,1.3862943611198901],"get_isoperimetric_scores":[18.0,32.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step30","weight":1,"data":{"get_log_spanning_forests":5.411646051855039,"get_log_spanning_trees":[4.025351690735149,1.3862943611198901],"get_isoperimetric_scores":[18.0,32.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step40","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step50","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step60","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step70","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step80","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step90","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step100","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step110","weight":1,"data":{"get_log_spanning_forests":5.416100402204422,"get_log_spanning_trees":[2.708050201102211,2.708050201102211],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step120","weight":1,"data":{"get_log_spanning_forests":5.416100402204422,"get_log_spanning_trees":[2.708050201102211,2.708050201102211],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step130","weight":1,"data":{"get_log_spanning_forests":5.416100402204422,"get_log_spanning_trees":[2.708050201102211,2.708050201102211],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step140","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step150","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step160","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step170","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step180","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step190","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step200","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step210","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step220","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step230","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step240","weight":1,"data":{"get_log_spanning_forests":5.411646051855042,"get_log_spanning_trees":[1.3862943611198915,4.0253516907351505],"get_isoperimetric_scores":[32.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step250","weight":1,"data":{"get_log_spanning_forests":4.02535169073515,"get_log_spanning_trees":[4.440892098500626e-16,4.025351690735149],"get_isoperimetric_scores":[40.5,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":1}]}
{"name":"step260","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step270","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step280","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step290","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step300","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step310","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step320","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step330","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step340","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step350","weight":1,"data":{"get_log_spanning_forests":5.416100402204422,"get_log_spanning_trees":[2.7080502011022123,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step360","weight":1,"data":{"get_log_spanning_forests":5.416100402204422,"get_log_spanning_trees":[2.7080502011022123,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step370","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step380","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step390","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step400","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step410","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step420","weight":1,"data":{"get_log_spanning_forests":5.416100402204419,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step430","weight":1,"data":{"get_log_spanning_forests":4.094344562222103,"get_log_spanning_trees":[2.7080502011022105,1.3862943611198921],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step440","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step450","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step460","weight":1,"data":{"get_log_spanning_forests":4.0943445622221,"get_log_spanning_trees":[1.3862943611198908,2.7080502011022096],"get_isoperimetric_scores":[32.0,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step470","weight":1,"data":{"get_log_spanning_forests":4.0943445622221,"get_log_spanning_trees":[1.3862943611198908,2.7080502011022096],"get_isoperimetric_scores":[32.0,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step480","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step490","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step500","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step510","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step520","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step530","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step540","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step550","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step560","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022105,1.3862943611198906],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step570","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022105,1.3862943611198906],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step580","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022105,1.3862943611198906],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step590","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022105,1.3862943611198906],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step600","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022105,1.3862943611198906],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step610","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022105,1.3862943611198906],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step620","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step630","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step640","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":1}]}
{"name":"step650","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":1}]}
{"name":"step660","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step670","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":1}]}
{"name":"step680","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":1}]}
{"name":"step690","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":1}]}
{"name":"step700","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":2}]}
{"name":"step710","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":2}]}
{"name":"step720","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step730","weight":1,"data":{"get_log_spanning_forests":4.094344562222103,"get_log_spanning_trees":[2.7080502011022114,1.3862943611198912],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":2}]}
{"name":"step740","weight":1,"data":{"get_log_spanning_forests":4.094344562222103,"get_log_spanning_trees":[2.7080502011022114,1.3862943611198912],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":2}]}
{"name":"step750","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022105],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step760","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step770","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step780","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step790","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step800","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":2},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":1},{"[\"(3,1)\"]":2},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":1},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":2},{"[\"(1,2)\"]":1},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step810","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022105],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step820","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022105],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step830","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022105],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":1}]}
{"name":"step840","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022096,1.3862943611198917],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":2}]}
{"name":"step850","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022096,1.3862943611198917],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":2}]}
{"name":"step860","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022096,1.3862943611198917],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":2}]}
{"name":"step870","weight":1,"data":{"get_log_spanning_forests":4.094344562222101,"get_log_spanning_trees":[2.7080502011022096,1.3862943611198917],"get_isoperimetric_scores":[24.5,32.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":2},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":1},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":2},{"[\"(1,0)\"]":2},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":1},{"[\"(1,3)\"]":2}]}
{"name":"step880","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step890","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step900","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step910","weight":1,"data":{"get_log_spanning_forests":5.416100402204419,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step920","weight":1,"data":{"get_log_spanning_forests":5.416100402204419,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step930","weight":1,"data":{"get_log_spanning_forests":5.416100402204419,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step940","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step950","weight":1,"data":{"get_log_spanning_forests":5.41610040220442,"get_log_spanning_trees":[2.7080502011022105,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":2},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":1},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step960","weight":1,"data":{"get_log_spanning_forests":5.416100402204419,"get_log_spanning_trees":[2.7080502011022096,2.7080502011022096],"get_isoperimetric_scores":[24.5,24.5]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":2},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":1},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step970","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step980","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step990","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}
{"name":"step1000","weight":1,"data":{"get_log_spanning_forests":8.0507033814703,"get_log_spanning_trees":[4.02535169073515,4.02535169073515],"get_isoperimetric_scores":[18.0,18.0]},"districting":[{"[\"(3,0)\"]":1},{"[\"(0,1)\"]":1},{"[\"(2,0)\"]":1},{"[\"(0,2)\"]":2},{"[\"(3,1)\"]":1},{"[\"(1,1)\"]":1},{"[\"(3,2)\"]":2},{"[\"(3,3)\"]":2},{"[\"(0,3)\"]":2},{"[\"(0,0)\"]":1},{"[\"(1,0)\"]":1},{"[\"(2,1)\"]":1},{"[\"(1,2)\"]":2},{"[\"(2,2)\"]":2},{"[\"(2,3)\"]":2},{"[\"(1,3)\"]":2}]}