{
  "closed_8cycle_explicit": {
    "base_witness": {
      "columns": [
        0,
        185,
        9,
        3
      ],
      "rows": [
        0,
        35,
        1,
        36
      ],
      "side": "X"
    },
    "final_sheet": 0,
    "lifted_columns": [
      48,
      18730,
      919,
      351
    ],
    "lifted_rows": [
      0,
      3600,
      176,
      3735
    ],
    "returns_to_start_sheet": true
  },
  "column_weight_X": [
    3
  ],
  "column_weight_Z": [
    3
  ],
  "n": 34542,
  "orthogonality": {
    "cross_pairs_with_overlap": 155439,
    "max_cross_overlap": 2,
    "orthogonality_bad_pairs": 0
  },
  "row_weight_X": [
    18
  ],
  "row_weight_Z": [
    18
  ],
  "rows_X": 5757,
  "rows_Z": 5757,
  "same_type_6cycles_X": 0,
  "same_type_6cycles_Z": 0,
  "same_type_girth": 8,
  "same_type_pair_max_X": 1,
  "same_type_pair_max_Z": 1
}