{
  "schema": "OMEGA_600CELL_MOD8_TEST_VECTOR/1",
  "graph_sha256": "40bc6a1d52efab3d75cf343e65ac06b314f9c9c375fc02bf6d45bf6bb21f9529",
  "core_source_sha256": "fbcf5bd89431a8e5ee1f7258459507522c74063bfb42c64231792448fb9e9366",
  "Q": "339949771344778",
  "S": "1000000000000000",
  "D": "25000000000000000",
  "state_domain": "nonnegative integer vector of length 120",
  "predecessor": [
    "0",
    "1",
    "2",
    "3",
    "4",
    "5",
    "6",
    "7",
    "8",
    "9",
    "10",
    "11",
    "12",
    "13",
    "14",
    "15",
    "16",
    "17",
    "18",
    "19",
    "20",
    "21",
    "22",
    "23",
    "24",
    "25",
    "26",
    "27",
    "28",
    "29",
    "30",
    "31",
    "32",
    "33",
    "34",
    "35",
    "36",
    "37",
    "38",
    "39",
    "40",
    "41",
    "42",
    "43",
    "44",
    "45",
    "46",
    "47",
    "48",
    "49",
    "50",
    "51",
    "52",
    "53",
    "54",
    "55",
    "56",
    "57",
    "58",
    "59",
    "60",
    "61",
    "62",
    "63",
    "64",
    "65",
    "66",
    "67",
    "68",
    "69",
    "70",
    "71",
    "72",
    "73",
    "74",
    "75",
    "76",
    "77",
    "78",
    "79",
    "80",
    "81",
    "82",
    "83",
    "84",
    "85",
    "86",
    "87",
    "88",
    "89",
    "90",
    "91",
    "92",
    "93",
    "94",
    "95",
    "96",
    "97",
    "98",
    "99",
    "100",
    "101",
    "102",
    "103",
    "104",
    "105",
    "106",
    "107",
    "108",
    "109",
    "110",
    "111",
    "112",
    "113",
    "114",
    "115",
    "116",
    "117",
    "118",
    "119"
  ],
  "output": [
    "6",
    "8",
    "8",
    "8",
    "8",
    "9",
    "10",
    "8",
    "8",
    "9",
    "10",
    "9",
    "10",
    "11",
    "11",
    "9",
    "10",
    "11",
    "11",
    "11",
    "12",
    "17",
    "17",
    "16",
    "17",
    "18",
    "18",
    "18",
    "18",
    "19",
    "20",
    "19",
    "19",
    "10",
    "10",
    "11",
    "11",
    "11",
    "11",
    "11",
    "11",
    "11",
    "11",
    "12",
    "12",
    "17",
    "17",
    "17",
    "18",
    "18",
    "19",
    "19",
    "19",
    "19",
    "18",
    "18",
    "18",
    "18",
    "19",
    "20",
    "20",
    "20",
    "21",
    "21",
    "21",
    "21",
    "20",
    "20",
    "21",
    "21",
    "22",
    "22",
    "22",
    "22",
    "23",
    "27",
    "27",
    "28",
    "29",
    "28",
    "28",
    "29",
    "29",
    "28",
    "29",
    "30",
    "30",
    "20",
    "21",
    "20",
    "20",
    "21",
    "21",
    "22",
    "22",
    "23",
    "23",
    "22",
    "23",
    "28",
    "28",
    "28",
    "29",
    "30",
    "30",
    "29",
    "29",
    "30",
    "30",
    "30",
    "30",
    "31",
    "31",
    "30",
    "30",
    "31",
    "31",
    "32",
    "32",
    "34"
  ],
  "residues_mod8": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7
  ],
  "witness_hex": "88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa88c6fa",
  "witness_bytes": 45,
  "witness_endianness": "little",
  "decoder_path": "exact propagation/search; nearest and MILP disabled",
  "exact_search_statistics": {
    "search_nodes": 1,
    "propagation_sweeps": 2,
    "initial_ambiguous_coordinates": 40,
    "proposal": "exact-search"
  },
  "malformed_length_cases_rejected": 3,
  "status": "PASS"
}