{
  "n": 11,
  "regions": [
    [
      0,
      0,
      0,
      0,
      1,
      2,
      3,
      3,
      3,
      3,
      3
    ],
    [
      1,
      1,
      1,
      1,
      1,
      2,
      2,
      2,
      4,
      4,
      4
    ],
    [
      1,
      5,
      5,
      5,
      5,
      2,
      6,
      2,
      4,
      7,
      4
    ],
    [
      8,
      5,
      5,
      5,
      5,
      2,
      2,
      2,
      4,
      7,
      4
    ],
    [
      8,
      8,
      5,
      5,
      5,
      5,
      9,
      2,
      10,
      7,
      7
    ],
    [
      8,
      5,
      5,
      5,
      5,
      5,
      9,
      9,
      10,
      7,
      11
    ],
    [
      8,
      8,
      8,
      12,
      5,
      5,
      5,
      9,
      9,
      7,
      7
    ],
    [
      13,
      13,
      8,
      12,
      14,
      5,
      5,
      5,
      5,
      5,
      7
    ],
    [
      13,
      8,
      8,
      14,
      14,
      5,
      5,
      5,
      5,
      7,
      7
    ],
    [
      13,
      13,
      8,
      13,
      14,
      15,
      5,
      5,
      5,
      5,
      7
    ],
    [
      13,
      13,
      13,
      13,
      15,
      15,
      5,
      5,
      5,
      5,
      7
    ]
  ],
  "distance": [
    [
      12,
      8,
      4,
      8,
      12,
      11,
      6,
      11,
      10,
      5,
      10
    ],
    [
      14,
      7,
      0,
      7,
      14,
      11,
      1,
      11,
      7,
      0,
      7
    ],
    [
      21,
      14,
      7,
      14,
      11,
      1,
      0,
      1,
      8,
      7,
      14
    ],
    [
      28,
      33,
      44,
      51,
      21,
      11,
      1,
      11,
      6,
      13,
      8
    ],
    [
      33,
      22,
      33,
      52,
      48,
      11,
      6,
      5,
      4,
      6,
      1
    ],
    [
      22,
      11,
      22,
      15,
      47,
      10,
      5,
      0,
      2,
      1,
      0
    ],
    [
      11,
      0,
      11,
      13,
      15,
      0,
      10,
      5,
      4,
      9,
      1
    ],
    [
      20,
      10,
      17,
      15,
      14,
      18,
      47,
      10,
      9,
      21,
      13
    ],
    [
      30,
      20,
      18,
      14,
      10,
      6,
      43,
      47,
      45,
      33,
      25
    ],
    [
      40,
      30,
      20,
      10,
      6,
      3,
      6,
      43,
      80,
      45,
      37
    ],
    [
      36,
      26,
      16,
      6,
      3,
      0,
      3,
      40,
      77,
      61,
      49
    ]
  ],
  "capitals": [
    [
      1,
      2
    ],
    [
      1,
      9
    ],
    [
      2,
      6
    ],
    [
      5,
      7
    ],
    [
      5,
      10
    ],
    [
      6,
      1
    ],
    [
      6,
      5
    ],
    [
      10,
      5
    ]
  ],
  "final_search_seconds": 10.327904224395752,
  "provenance": {
    "method": "Symmetric-state constraint search after a relaxed search supplied an area profile; independent full-geometry formulations agreed.",
    "relaxed_search_seconds": 1142.9954690933228,
    "final_profile_search_seconds": 5.057512044906616,
    "uniqueness_proved": false
  }
}