{
  "hurwitz_support_and_positivity": {
    "cross_budget_solutions": 55,
    "forced_half_twists": {
      "0": -12,
      "1": 4,
      "2": 8
    },
    "positive_words_tested": 256,
    "proper_supports": 25,
    "shadow_solutions": [
      "yxxyyxxy"
    ],
    "solutions_by_bridge_occupancy": {
      "0": 1,
      "1": 27,
      "2": 27
    },
    "three_packet_multisets_tested": 2925
  },
  "move_graph_lifting_and_monodromy": {
    "boards": {
      "4": {
        "edge_orbits": 12,
        "edges": 24,
        "vertex_orbits": 8,
        "vertices": 16
      },
      "5": {
        "edge_orbits": 24,
        "edges": 48,
        "vertex_orbits": 13,
        "vertices": 25
      },
      "6": {
        "edge_orbits": 40,
        "edges": 80,
        "vertex_orbits": 18,
        "vertices": 36
      }
    },
    "c4_parallel_edge_voltages": [
      0,
      1
    ],
    "equitable_horizons_checked": [
      0,
      1,
      2,
      3,
      4
    ],
    "five_by_five_center_outgoing_dart_orbits": 4,
    "lifts_per_center_dart_orbit": [
      2,
      2,
      2,
      2
    ],
    "six_by_six": {
      "voltage_one_lift_vertices": 36,
      "voltage_zero_components": 2,
      "voltages_found": [
        0,
        1
      ]
    }
  },
  "status": "pass"
}