{
  "graph_level_counts": [
    1,
    2,
    4,
    11,
    23,
    61,
    141,
    344,
    598,
    441
  ],
  "graphs": 441,
  "instances": 1323,
  "satisfiable": 0,
  "total_nodes": 1859247,
  "maximum_nodes": 4493,
  "degree_sequences": {
    "0,2,3,3,3,3,3,3,3,3": 20,
    "1,1,3,3,3,3,3,3,3,3": 30,
    "1,2,2,3,3,3,3,3,3,3": 177,
    "2,2,2,2,3,3,3,3,3,3": 214
  },
  "results": [
    {
      "graph": 0,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1956,
      "candidates": 402
    },
    {
      "graph": 0,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1918,
      "candidates": 402
    },
    {
      "graph": 0,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1916,
      "candidates": 402
    },
    {
      "graph": 1,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1815,
      "candidates": 401
    },
    {
      "graph": 1,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1812,
      "candidates": 401
    },
    {
      "graph": 1,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1779,
      "candidates": 401
    },
    {
      "graph": 2,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1292,
      "candidates": 395
    },
    {
      "graph": 2,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1293,
      "candidates": 395
    },
    {
      "graph": 2,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1331,
      "candidates": 395
    },
    {
      "graph": 3,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1400,
      "candidates": 401
    },
    {
      "graph": 3,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1346,
      "candidates": 401
    },
    {
      "graph": 3,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1347,
      "candidates": 401
    },
    {
      "graph": 4,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1222,
      "candidates": 396
    },
    {
      "graph": 4,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1183,
      "candidates": 396
    },
    {
      "graph": 4,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1177,
      "candidates": 396
    },
    {
      "graph": 5,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1949,
      "candidates": 466
    },
    {
      "graph": 5,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1607,
      "candidates": 400
    },
    {
      "graph": 5,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1607,
      "candidates": 400
    },
    {
      "graph": 6,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2225,
      "candidates": 464
    },
    {
      "graph": 6,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1827,
      "candidates": 398
    },
    {
      "graph": 6,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1827,
      "candidates": 398
    },
    {
      "graph": 7,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1783,
      "candidates": 465
    },
    {
      "graph": 7,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1533,
      "candidates": 399
    },
    {
      "graph": 7,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1533,
      "candidates": 399
    },
    {
      "graph": 8,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2021,
      "candidates": 464
    },
    {
      "graph": 8,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1885,
      "candidates": 398
    },
    {
      "graph": 8,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1885,
      "candidates": 398
    },
    {
      "graph": 9,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1945,
      "candidates": 465
    },
    {
      "graph": 9,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1518,
      "candidates": 399
    },
    {
      "graph": 9,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1518,
      "candidates": 399
    },
    {
      "graph": 10,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 834,
      "candidates": 397
    },
    {
      "graph": 10,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 768,
      "candidates": 397
    },
    {
      "graph": 10,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 768,
      "candidates": 397
    },
    {
      "graph": 11,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2952,
      "candidates": 530
    },
    {
      "graph": 11,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1884,
      "candidates": 397
    },
    {
      "graph": 11,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1884,
      "candidates": 397
    },
    {
      "graph": 12,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1015,
      "candidates": 399
    },
    {
      "graph": 12,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 993,
      "candidates": 399
    },
    {
      "graph": 12,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 987,
      "candidates": 399
    },
    {
      "graph": 13,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1132,
      "candidates": 396
    },
    {
      "graph": 13,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1154,
      "candidates": 396
    },
    {
      "graph": 13,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1122,
      "candidates": 396
    },
    {
      "graph": 14,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 876,
      "candidates": 391
    },
    {
      "graph": 14,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 846,
      "candidates": 391
    },
    {
      "graph": 14,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 852,
      "candidates": 391
    },
    {
      "graph": 15,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1167,
      "candidates": 461
    },
    {
      "graph": 15,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 995,
      "candidates": 395
    },
    {
      "graph": 15,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 995,
      "candidates": 395
    },
    {
      "graph": 16,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1678,
      "candidates": 459
    },
    {
      "graph": 16,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1423,
      "candidates": 393
    },
    {
      "graph": 16,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1423,
      "candidates": 393
    },
    {
      "graph": 17,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1778,
      "candidates": 459
    },
    {
      "graph": 17,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1568,
      "candidates": 393
    },
    {
      "graph": 17,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1568,
      "candidates": 393
    },
    {
      "graph": 18,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1159,
      "candidates": 453
    },
    {
      "graph": 18,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1034,
      "candidates": 387
    },
    {
      "graph": 18,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1034,
      "candidates": 387
    },
    {
      "graph": 19,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1074,
      "candidates": 455
    },
    {
      "graph": 19,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 966,
      "candidates": 389
    },
    {
      "graph": 19,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 966,
      "candidates": 389
    },
    {
      "graph": 20,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1372,
      "candidates": 402
    },
    {
      "graph": 20,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1328,
      "candidates": 402
    },
    {
      "graph": 20,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1330,
      "candidates": 402
    },
    {
      "graph": 21,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1836,
      "candidates": 464
    },
    {
      "graph": 21,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1525,
      "candidates": 398
    },
    {
      "graph": 21,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1525,
      "candidates": 398
    },
    {
      "graph": 22,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2131,
      "candidates": 464
    },
    {
      "graph": 22,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1742,
      "candidates": 398
    },
    {
      "graph": 22,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1742,
      "candidates": 398
    },
    {
      "graph": 23,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1431,
      "candidates": 458
    },
    {
      "graph": 23,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1137,
      "candidates": 392
    },
    {
      "graph": 23,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1137,
      "candidates": 392
    },
    {
      "graph": 24,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2929,
      "candidates": 528
    },
    {
      "graph": 24,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1800,
      "candidates": 395
    },
    {
      "graph": 24,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1800,
      "candidates": 395
    },
    {
      "graph": 25,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1759,
      "candidates": 516
    },
    {
      "graph": 25,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1102,
      "candidates": 383
    },
    {
      "graph": 25,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1102,
      "candidates": 383
    },
    {
      "graph": 26,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1244,
      "candidates": 403
    },
    {
      "graph": 26,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1226,
      "candidates": 403
    },
    {
      "graph": 26,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1208,
      "candidates": 403
    },
    {
      "graph": 27,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1382,
      "candidates": 401
    },
    {
      "graph": 27,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1378,
      "candidates": 401
    },
    {
      "graph": 27,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1389,
      "candidates": 401
    },
    {
      "graph": 28,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1652,
      "candidates": 401
    },
    {
      "graph": 28,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1670,
      "candidates": 401
    },
    {
      "graph": 28,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1691,
      "candidates": 401
    },
    {
      "graph": 29,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1982,
      "candidates": 401
    },
    {
      "graph": 29,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1966,
      "candidates": 401
    },
    {
      "graph": 29,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1994,
      "candidates": 401
    },
    {
      "graph": 30,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1410,
      "candidates": 396
    },
    {
      "graph": 30,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1383,
      "candidates": 396
    },
    {
      "graph": 30,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1382,
      "candidates": 396
    },
    {
      "graph": 31,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1929,
      "candidates": 466
    },
    {
      "graph": 31,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1365,
      "candidates": 400
    },
    {
      "graph": 31,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1365,
      "candidates": 400
    },
    {
      "graph": 32,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1923,
      "candidates": 464
    },
    {
      "graph": 32,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1556,
      "candidates": 398
    },
    {
      "graph": 32,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1556,
      "candidates": 398
    },
    {
      "graph": 33,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1822,
      "candidates": 464
    },
    {
      "graph": 33,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1559,
      "candidates": 398
    },
    {
      "graph": 33,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1559,
      "candidates": 398
    },
    {
      "graph": 34,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1873,
      "candidates": 458
    },
    {
      "graph": 34,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1552,
      "candidates": 392
    },
    {
      "graph": 34,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1552,
      "candidates": 392
    },
    {
      "graph": 35,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2277,
      "candidates": 464
    },
    {
      "graph": 35,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2141,
      "candidates": 398
    },
    {
      "graph": 35,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2141,
      "candidates": 398
    },
    {
      "graph": 36,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2062,
      "candidates": 466
    },
    {
      "graph": 36,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1693,
      "candidates": 400
    },
    {
      "graph": 36,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1693,
      "candidates": 400
    },
    {
      "graph": 37,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1984,
      "candidates": 458
    },
    {
      "graph": 37,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1638,
      "candidates": 392
    },
    {
      "graph": 37,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1639,
      "candidates": 392
    },
    {
      "graph": 38,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1422,
      "candidates": 402
    },
    {
      "graph": 38,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1415,
      "candidates": 402
    },
    {
      "graph": 38,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1408,
      "candidates": 402
    },
    {
      "graph": 39,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1111,
      "candidates": 398
    },
    {
      "graph": 39,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1076,
      "candidates": 398
    },
    {
      "graph": 39,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1073,
      "candidates": 398
    },
    {
      "graph": 40,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2068,
      "candidates": 465
    },
    {
      "graph": 40,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1738,
      "candidates": 399
    },
    {
      "graph": 40,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1738,
      "candidates": 399
    },
    {
      "graph": 41,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1688,
      "candidates": 459
    },
    {
      "graph": 41,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1420,
      "candidates": 393
    },
    {
      "graph": 41,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1420,
      "candidates": 393
    },
    {
      "graph": 42,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2315,
      "candidates": 529
    },
    {
      "graph": 42,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1689,
      "candidates": 396
    },
    {
      "graph": 42,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1689,
      "candidates": 396
    },
    {
      "graph": 43,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1565,
      "candidates": 400
    },
    {
      "graph": 43,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1539,
      "candidates": 400
    },
    {
      "graph": 43,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1543,
      "candidates": 400
    },
    {
      "graph": 44,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2124,
      "candidates": 463
    },
    {
      "graph": 44,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1714,
      "candidates": 397
    },
    {
      "graph": 44,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1714,
      "candidates": 397
    },
    {
      "graph": 45,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1884,
      "candidates": 400
    },
    {
      "graph": 45,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1897,
      "candidates": 400
    },
    {
      "graph": 45,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1949,
      "candidates": 400
    },
    {
      "graph": 46,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1567,
      "candidates": 394
    },
    {
      "graph": 46,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1618,
      "candidates": 394
    },
    {
      "graph": 46,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1625,
      "candidates": 394
    },
    {
      "graph": 47,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2393,
      "candidates": 463
    },
    {
      "graph": 47,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1879,
      "candidates": 397
    },
    {
      "graph": 47,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1879,
      "candidates": 397
    },
    {
      "graph": 48,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1875,
      "candidates": 464
    },
    {
      "graph": 48,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1501,
      "candidates": 398
    },
    {
      "graph": 48,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1501,
      "candidates": 398
    },
    {
      "graph": 49,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2129,
      "candidates": 463
    },
    {
      "graph": 49,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1776,
      "candidates": 397
    },
    {
      "graph": 49,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1776,
      "candidates": 397
    },
    {
      "graph": 50,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1918,
      "candidates": 457
    },
    {
      "graph": 50,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1874,
      "candidates": 391
    },
    {
      "graph": 50,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1875,
      "candidates": 391
    },
    {
      "graph": 51,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2074,
      "candidates": 458
    },
    {
      "graph": 51,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2031,
      "candidates": 392
    },
    {
      "graph": 51,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2031,
      "candidates": 392
    },
    {
      "graph": 52,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2164,
      "candidates": 463
    },
    {
      "graph": 52,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1834,
      "candidates": 397
    },
    {
      "graph": 52,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1834,
      "candidates": 397
    },
    {
      "graph": 53,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1831,
      "candidates": 457
    },
    {
      "graph": 53,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1548,
      "candidates": 391
    },
    {
      "graph": 53,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1548,
      "candidates": 391
    },
    {
      "graph": 54,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2157,
      "candidates": 458
    },
    {
      "graph": 54,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1749,
      "candidates": 392
    },
    {
      "graph": 54,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1749,
      "candidates": 392
    },
    {
      "graph": 55,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2601,
      "candidates": 521
    },
    {
      "graph": 55,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1718,
      "candidates": 388
    },
    {
      "graph": 55,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1718,
      "candidates": 388
    },
    {
      "graph": 56,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1583,
      "candidates": 457
    },
    {
      "graph": 56,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1305,
      "candidates": 391
    },
    {
      "graph": 56,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1305,
      "candidates": 391
    },
    {
      "graph": 57,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2591,
      "candidates": 522
    },
    {
      "graph": 57,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1987,
      "candidates": 389
    },
    {
      "graph": 57,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1987,
      "candidates": 389
    },
    {
      "graph": 58,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1197,
      "candidates": 395
    },
    {
      "graph": 58,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1154,
      "candidates": 395
    },
    {
      "graph": 58,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1158,
      "candidates": 395
    },
    {
      "graph": 59,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 935,
      "candidates": 465
    },
    {
      "graph": 59,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 725,
      "candidates": 399
    },
    {
      "graph": 59,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 725,
      "candidates": 399
    },
    {
      "graph": 60,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1113,
      "candidates": 461
    },
    {
      "graph": 60,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 908,
      "candidates": 395
    },
    {
      "graph": 60,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 908,
      "candidates": 395
    },
    {
      "graph": 61,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1411,
      "candidates": 455
    },
    {
      "graph": 61,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1132,
      "candidates": 389
    },
    {
      "graph": 61,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1132,
      "candidates": 389
    },
    {
      "graph": 62,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1430,
      "candidates": 458
    },
    {
      "graph": 62,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1236,
      "candidates": 392
    },
    {
      "graph": 62,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1236,
      "candidates": 392
    },
    {
      "graph": 63,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2246,
      "candidates": 522
    },
    {
      "graph": 63,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1668,
      "candidates": 389
    },
    {
      "graph": 63,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1668,
      "candidates": 389
    },
    {
      "graph": 64,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2775,
      "candidates": 451
    },
    {
      "graph": 64,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2775,
      "candidates": 451
    },
    {
      "graph": 64,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2775,
      "candidates": 451
    },
    {
      "graph": 65,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2450,
      "candidates": 445
    },
    {
      "graph": 65,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2450,
      "candidates": 445
    },
    {
      "graph": 65,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2450,
      "candidates": 445
    },
    {
      "graph": 66,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 3027,
      "candidates": 455
    },
    {
      "graph": 66,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 3030,
      "candidates": 455
    },
    {
      "graph": 66,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 3033,
      "candidates": 455
    },
    {
      "graph": 67,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2427,
      "candidates": 449
    },
    {
      "graph": 67,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2427,
      "candidates": 449
    },
    {
      "graph": 67,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2427,
      "candidates": 449
    },
    {
      "graph": 68,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 4258,
      "candidates": 449
    },
    {
      "graph": 68,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 4258,
      "candidates": 449
    },
    {
      "graph": 68,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 4258,
      "candidates": 449
    },
    {
      "graph": 69,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1323,
      "candidates": 405
    },
    {
      "graph": 69,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1321,
      "candidates": 405
    },
    {
      "graph": 69,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1320,
      "candidates": 405
    },
    {
      "graph": 70,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2024,
      "candidates": 465
    },
    {
      "graph": 70,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1678,
      "candidates": 399
    },
    {
      "graph": 70,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1681,
      "candidates": 399
    },
    {
      "graph": 71,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2771,
      "candidates": 529
    },
    {
      "graph": 71,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1955,
      "candidates": 396
    },
    {
      "graph": 71,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1955,
      "candidates": 396
    },
    {
      "graph": 72,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1365,
      "candidates": 401
    },
    {
      "graph": 72,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1339,
      "candidates": 401
    },
    {
      "graph": 72,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1349,
      "candidates": 401
    },
    {
      "graph": 73,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1971,
      "candidates": 463
    },
    {
      "graph": 73,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1773,
      "candidates": 397
    },
    {
      "graph": 73,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1773,
      "candidates": 397
    },
    {
      "graph": 74,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1571,
      "candidates": 401
    },
    {
      "graph": 74,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1555,
      "candidates": 401
    },
    {
      "graph": 74,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1503,
      "candidates": 401
    },
    {
      "graph": 75,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2209,
      "candidates": 463
    },
    {
      "graph": 75,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1823,
      "candidates": 397
    },
    {
      "graph": 75,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1823,
      "candidates": 397
    },
    {
      "graph": 76,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2706,
      "candidates": 527
    },
    {
      "graph": 76,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1939,
      "candidates": 394
    },
    {
      "graph": 76,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1939,
      "candidates": 394
    },
    {
      "graph": 77,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1956,
      "candidates": 399
    },
    {
      "graph": 77,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1974,
      "candidates": 399
    },
    {
      "graph": 77,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1912,
      "candidates": 399
    },
    {
      "graph": 78,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2612,
      "candidates": 462
    },
    {
      "graph": 78,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2155,
      "candidates": 396
    },
    {
      "graph": 78,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2155,
      "candidates": 396
    },
    {
      "graph": 79,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2595,
      "candidates": 527
    },
    {
      "graph": 79,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1897,
      "candidates": 394
    },
    {
      "graph": 79,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1897,
      "candidates": 394
    },
    {
      "graph": 80,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2937,
      "candidates": 455
    },
    {
      "graph": 80,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2937,
      "candidates": 455
    },
    {
      "graph": 80,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2937,
      "candidates": 455
    },
    {
      "graph": 81,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 4493,
      "candidates": 454
    },
    {
      "graph": 81,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 4493,
      "candidates": 454
    },
    {
      "graph": 81,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 4493,
      "candidates": 454
    },
    {
      "graph": 82,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1073,
      "candidates": 405
    },
    {
      "graph": 82,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1062,
      "candidates": 405
    },
    {
      "graph": 82,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1061,
      "candidates": 405
    },
    {
      "graph": 83,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1161,
      "candidates": 403
    },
    {
      "graph": 83,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1173,
      "candidates": 403
    },
    {
      "graph": 83,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1178,
      "candidates": 403
    },
    {
      "graph": 84,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1115,
      "candidates": 402
    },
    {
      "graph": 84,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1114,
      "candidates": 402
    },
    {
      "graph": 84,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1111,
      "candidates": 402
    },
    {
      "graph": 85,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 940,
      "candidates": 397
    },
    {
      "graph": 85,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 923,
      "candidates": 397
    },
    {
      "graph": 85,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 927,
      "candidates": 397
    },
    {
      "graph": 86,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1388,
      "candidates": 403
    },
    {
      "graph": 86,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1370,
      "candidates": 403
    },
    {
      "graph": 86,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1352,
      "candidates": 403
    },
    {
      "graph": 87,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 871,
      "candidates": 393
    },
    {
      "graph": 87,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 883,
      "candidates": 393
    },
    {
      "graph": 87,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 868,
      "candidates": 393
    },
    {
      "graph": 88,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1289,
      "candidates": 396
    },
    {
      "graph": 88,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1269,
      "candidates": 396
    },
    {
      "graph": 88,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1263,
      "candidates": 396
    },
    {
      "graph": 89,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1234,
      "candidates": 402
    },
    {
      "graph": 89,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1206,
      "candidates": 402
    },
    {
      "graph": 89,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1200,
      "candidates": 402
    },
    {
      "graph": 90,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1238,
      "candidates": 401
    },
    {
      "graph": 90,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1260,
      "candidates": 401
    },
    {
      "graph": 90,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1232,
      "candidates": 401
    },
    {
      "graph": 91,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1228,
      "candidates": 396
    },
    {
      "graph": 91,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1211,
      "candidates": 396
    },
    {
      "graph": 91,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1214,
      "candidates": 396
    },
    {
      "graph": 92,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1218,
      "candidates": 402
    },
    {
      "graph": 92,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1189,
      "candidates": 402
    },
    {
      "graph": 92,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1173,
      "candidates": 402
    },
    {
      "graph": 93,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1250,
      "candidates": 402
    },
    {
      "graph": 93,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1227,
      "candidates": 402
    },
    {
      "graph": 93,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1218,
      "candidates": 402
    },
    {
      "graph": 94,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 527,
      "candidates": 392
    },
    {
      "graph": 94,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 533,
      "candidates": 392
    },
    {
      "graph": 94,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 524,
      "candidates": 392
    },
    {
      "graph": 95,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1169,
      "candidates": 396
    },
    {
      "graph": 95,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1137,
      "candidates": 396
    },
    {
      "graph": 95,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1134,
      "candidates": 396
    },
    {
      "graph": 96,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1172,
      "candidates": 396
    },
    {
      "graph": 96,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1149,
      "candidates": 396
    },
    {
      "graph": 96,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1159,
      "candidates": 396
    },
    {
      "graph": 97,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1763,
      "candidates": 464
    },
    {
      "graph": 97,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1509,
      "candidates": 398
    },
    {
      "graph": 97,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1509,
      "candidates": 398
    },
    {
      "graph": 98,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1207,
      "candidates": 459
    },
    {
      "graph": 98,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1079,
      "candidates": 393
    },
    {
      "graph": 98,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1079,
      "candidates": 393
    },
    {
      "graph": 99,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1748,
      "candidates": 459
    },
    {
      "graph": 99,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1449,
      "candidates": 393
    },
    {
      "graph": 99,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1449,
      "candidates": 393
    },
    {
      "graph": 100,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1600,
      "candidates": 458
    },
    {
      "graph": 100,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1355,
      "candidates": 392
    },
    {
      "graph": 100,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1355,
      "candidates": 392
    },
    {
      "graph": 101,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1400,
      "candidates": 458
    },
    {
      "graph": 101,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1192,
      "candidates": 392
    },
    {
      "graph": 101,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1192,
      "candidates": 392
    },
    {
      "graph": 102,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1758,
      "candidates": 402
    },
    {
      "graph": 102,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1727,
      "candidates": 402
    },
    {
      "graph": 102,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1726,
      "candidates": 402
    },
    {
      "graph": 103,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1433,
      "candidates": 401
    },
    {
      "graph": 103,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1413,
      "candidates": 401
    },
    {
      "graph": 103,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1414,
      "candidates": 401
    },
    {
      "graph": 104,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1325,
      "candidates": 395
    },
    {
      "graph": 104,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1302,
      "candidates": 395
    },
    {
      "graph": 104,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1316,
      "candidates": 395
    },
    {
      "graph": 105,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1161,
      "candidates": 395
    },
    {
      "graph": 105,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1153,
      "candidates": 395
    },
    {
      "graph": 105,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1150,
      "candidates": 395
    },
    {
      "graph": 106,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 524,
      "candidates": 391
    },
    {
      "graph": 106,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 513,
      "candidates": 391
    },
    {
      "graph": 106,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 514,
      "candidates": 391
    },
    {
      "graph": 107,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1845,
      "candidates": 466
    },
    {
      "graph": 107,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1487,
      "candidates": 400
    },
    {
      "graph": 107,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1487,
      "candidates": 400
    },
    {
      "graph": 108,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2095,
      "candidates": 464
    },
    {
      "graph": 108,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1772,
      "candidates": 398
    },
    {
      "graph": 108,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1772,
      "candidates": 398
    },
    {
      "graph": 109,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1886,
      "candidates": 463
    },
    {
      "graph": 109,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1584,
      "candidates": 397
    },
    {
      "graph": 109,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1584,
      "candidates": 397
    },
    {
      "graph": 110,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1329,
      "candidates": 457
    },
    {
      "graph": 110,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1195,
      "candidates": 391
    },
    {
      "graph": 110,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1195,
      "candidates": 391
    },
    {
      "graph": 111,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1155,
      "candidates": 458
    },
    {
      "graph": 111,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 990,
      "candidates": 392
    },
    {
      "graph": 111,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 990,
      "candidates": 392
    },
    {
      "graph": 112,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1091,
      "candidates": 396
    },
    {
      "graph": 112,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1065,
      "candidates": 396
    },
    {
      "graph": 112,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1060,
      "candidates": 396
    },
    {
      "graph": 113,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 782,
      "candidates": 396
    },
    {
      "graph": 113,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 772,
      "candidates": 396
    },
    {
      "graph": 113,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 769,
      "candidates": 396
    },
    {
      "graph": 114,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1183,
      "candidates": 397
    },
    {
      "graph": 114,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1189,
      "candidates": 397
    },
    {
      "graph": 114,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1201,
      "candidates": 397
    },
    {
      "graph": 115,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 975,
      "candidates": 390
    },
    {
      "graph": 115,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 998,
      "candidates": 390
    },
    {
      "graph": 115,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 974,
      "candidates": 390
    },
    {
      "graph": 116,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1364,
      "candidates": 459
    },
    {
      "graph": 116,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1142,
      "candidates": 393
    },
    {
      "graph": 116,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1142,
      "candidates": 393
    },
    {
      "graph": 117,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1389,
      "candidates": 452
    },
    {
      "graph": 117,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1147,
      "candidates": 386
    },
    {
      "graph": 117,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1147,
      "candidates": 386
    },
    {
      "graph": 118,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 970,
      "candidates": 453
    },
    {
      "graph": 118,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 856,
      "candidates": 387
    },
    {
      "graph": 118,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 856,
      "candidates": 387
    },
    {
      "graph": 119,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 763,
      "candidates": 449
    },
    {
      "graph": 119,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1098,
      "candidates": 383
    },
    {
      "graph": 119,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1098,
      "candidates": 383
    },
    {
      "graph": 120,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 545,
      "candidates": 395
    },
    {
      "graph": 120,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 563,
      "candidates": 395
    },
    {
      "graph": 120,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 561,
      "candidates": 395
    },
    {
      "graph": 121,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 420,
      "candidates": 387
    },
    {
      "graph": 121,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 421,
      "candidates": 387
    },
    {
      "graph": 121,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 420,
      "candidates": 387
    },
    {
      "graph": 122,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 958,
      "candidates": 402
    },
    {
      "graph": 122,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 932,
      "candidates": 402
    },
    {
      "graph": 122,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 936,
      "candidates": 402
    },
    {
      "graph": 123,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 950,
      "candidates": 402
    },
    {
      "graph": 123,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 918,
      "candidates": 402
    },
    {
      "graph": 123,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 919,
      "candidates": 402
    },
    {
      "graph": 124,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1574,
      "candidates": 458
    },
    {
      "graph": 124,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1352,
      "candidates": 392
    },
    {
      "graph": 124,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1352,
      "candidates": 392
    },
    {
      "graph": 125,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1690,
      "candidates": 455
    },
    {
      "graph": 125,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1390,
      "candidates": 389
    },
    {
      "graph": 125,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1390,
      "candidates": 389
    },
    {
      "graph": 126,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1879,
      "candidates": 458
    },
    {
      "graph": 126,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1647,
      "candidates": 392
    },
    {
      "graph": 126,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1647,
      "candidates": 392
    },
    {
      "graph": 127,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2007,
      "candidates": 458
    },
    {
      "graph": 127,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1617,
      "candidates": 392
    },
    {
      "graph": 127,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1617,
      "candidates": 392
    },
    {
      "graph": 128,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1848,
      "candidates": 465
    },
    {
      "graph": 128,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1522,
      "candidates": 399
    },
    {
      "graph": 128,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1522,
      "candidates": 399
    },
    {
      "graph": 129,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1961,
      "candidates": 458
    },
    {
      "graph": 129,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1485,
      "candidates": 392
    },
    {
      "graph": 129,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1485,
      "candidates": 392
    },
    {
      "graph": 130,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 858,
      "candidates": 455
    },
    {
      "graph": 130,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 649,
      "candidates": 389
    },
    {
      "graph": 130,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 649,
      "candidates": 389
    },
    {
      "graph": 131,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 811,
      "candidates": 448
    },
    {
      "graph": 131,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 793,
      "candidates": 382
    },
    {
      "graph": 131,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 793,
      "candidates": 382
    },
    {
      "graph": 132,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 734,
      "candidates": 445
    },
    {
      "graph": 132,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 686,
      "candidates": 379
    },
    {
      "graph": 132,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 686,
      "candidates": 379
    },
    {
      "graph": 133,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1414,
      "candidates": 452
    },
    {
      "graph": 133,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1221,
      "candidates": 386
    },
    {
      "graph": 133,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1221,
      "candidates": 386
    },
    {
      "graph": 134,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1995,
      "candidates": 515
    },
    {
      "graph": 134,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1573,
      "candidates": 382
    },
    {
      "graph": 134,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1573,
      "candidates": 382
    },
    {
      "graph": 135,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1300,
      "candidates": 402
    },
    {
      "graph": 135,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1288,
      "candidates": 402
    },
    {
      "graph": 135,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1370,
      "candidates": 402
    },
    {
      "graph": 136,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1597,
      "candidates": 401
    },
    {
      "graph": 136,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1603,
      "candidates": 401
    },
    {
      "graph": 136,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1677,
      "candidates": 401
    },
    {
      "graph": 137,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1670,
      "candidates": 400
    },
    {
      "graph": 137,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1653,
      "candidates": 400
    },
    {
      "graph": 137,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1640,
      "candidates": 400
    },
    {
      "graph": 138,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1269,
      "candidates": 395
    },
    {
      "graph": 138,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1201,
      "candidates": 395
    },
    {
      "graph": 138,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1196,
      "candidates": 395
    },
    {
      "graph": 139,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1621,
      "candidates": 401
    },
    {
      "graph": 139,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1584,
      "candidates": 401
    },
    {
      "graph": 139,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1573,
      "candidates": 401
    },
    {
      "graph": 140,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1297,
      "candidates": 400
    },
    {
      "graph": 140,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1315,
      "candidates": 400
    },
    {
      "graph": 140,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1314,
      "candidates": 400
    },
    {
      "graph": 141,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 697,
      "candidates": 390
    },
    {
      "graph": 141,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 713,
      "candidates": 390
    },
    {
      "graph": 141,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 705,
      "candidates": 390
    },
    {
      "graph": 142,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1561,
      "candidates": 395
    },
    {
      "graph": 142,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1528,
      "candidates": 395
    },
    {
      "graph": 142,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1511,
      "candidates": 395
    },
    {
      "graph": 143,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1471,
      "candidates": 394
    },
    {
      "graph": 143,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1428,
      "candidates": 394
    },
    {
      "graph": 143,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1394,
      "candidates": 394
    },
    {
      "graph": 144,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2042,
      "candidates": 400
    },
    {
      "graph": 144,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1902,
      "candidates": 400
    },
    {
      "graph": 144,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1891,
      "candidates": 400
    },
    {
      "graph": 145,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1196,
      "candidates": 395
    },
    {
      "graph": 145,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1199,
      "candidates": 395
    },
    {
      "graph": 145,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1182,
      "candidates": 395
    },
    {
      "graph": 146,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1406,
      "candidates": 401
    },
    {
      "graph": 146,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1332,
      "candidates": 401
    },
    {
      "graph": 146,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1323,
      "candidates": 401
    },
    {
      "graph": 147,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1413,
      "candidates": 395
    },
    {
      "graph": 147,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1327,
      "candidates": 395
    },
    {
      "graph": 147,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1337,
      "candidates": 395
    },
    {
      "graph": 148,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1135,
      "candidates": 395
    },
    {
      "graph": 148,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1125,
      "candidates": 395
    },
    {
      "graph": 148,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1091,
      "candidates": 395
    },
    {
      "graph": 149,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1510,
      "candidates": 458
    },
    {
      "graph": 149,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1330,
      "candidates": 392
    },
    {
      "graph": 149,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1330,
      "candidates": 392
    },
    {
      "graph": 150,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1995,
      "candidates": 463
    },
    {
      "graph": 150,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1660,
      "candidates": 397
    },
    {
      "graph": 150,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1660,
      "candidates": 397
    },
    {
      "graph": 151,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 914,
      "candidates": 453
    },
    {
      "graph": 151,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 758,
      "candidates": 387
    },
    {
      "graph": 151,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 758,
      "candidates": 387
    },
    {
      "graph": 152,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1790,
      "candidates": 463
    },
    {
      "graph": 152,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1503,
      "candidates": 397
    },
    {
      "graph": 152,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1503,
      "candidates": 397
    },
    {
      "graph": 153,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1598,
      "candidates": 401
    },
    {
      "graph": 153,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1571,
      "candidates": 401
    },
    {
      "graph": 153,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1534,
      "candidates": 401
    },
    {
      "graph": 154,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1694,
      "candidates": 400
    },
    {
      "graph": 154,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1694,
      "candidates": 400
    },
    {
      "graph": 154,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1684,
      "candidates": 400
    },
    {
      "graph": 155,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2053,
      "candidates": 399
    },
    {
      "graph": 155,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2042,
      "candidates": 399
    },
    {
      "graph": 155,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2033,
      "candidates": 399
    },
    {
      "graph": 156,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1784,
      "candidates": 400
    },
    {
      "graph": 156,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1781,
      "candidates": 400
    },
    {
      "graph": 156,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1797,
      "candidates": 400
    },
    {
      "graph": 157,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1403,
      "candidates": 394
    },
    {
      "graph": 157,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1473,
      "candidates": 394
    },
    {
      "graph": 157,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1420,
      "candidates": 394
    },
    {
      "graph": 158,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1295,
      "candidates": 394
    },
    {
      "graph": 158,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1278,
      "candidates": 394
    },
    {
      "graph": 158,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1314,
      "candidates": 394
    },
    {
      "graph": 159,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1829,
      "candidates": 464
    },
    {
      "graph": 159,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1465,
      "candidates": 398
    },
    {
      "graph": 159,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1465,
      "candidates": 398
    },
    {
      "graph": 160,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2080,
      "candidates": 462
    },
    {
      "graph": 160,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1863,
      "candidates": 396
    },
    {
      "graph": 160,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1863,
      "candidates": 396
    },
    {
      "graph": 161,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2043,
      "candidates": 463
    },
    {
      "graph": 161,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1813,
      "candidates": 397
    },
    {
      "graph": 161,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1813,
      "candidates": 397
    },
    {
      "graph": 162,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1697,
      "candidates": 457
    },
    {
      "graph": 162,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1501,
      "candidates": 391
    },
    {
      "graph": 162,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1501,
      "candidates": 391
    },
    {
      "graph": 163,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1836,
      "candidates": 456
    },
    {
      "graph": 163,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1568,
      "candidates": 390
    },
    {
      "graph": 163,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1568,
      "candidates": 390
    },
    {
      "graph": 164,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1858,
      "candidates": 457
    },
    {
      "graph": 164,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1696,
      "candidates": 391
    },
    {
      "graph": 164,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1696,
      "candidates": 391
    },
    {
      "graph": 165,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1728,
      "candidates": 457
    },
    {
      "graph": 165,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1501,
      "candidates": 391
    },
    {
      "graph": 165,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1501,
      "candidates": 391
    },
    {
      "graph": 166,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1011,
      "candidates": 452
    },
    {
      "graph": 166,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 946,
      "candidates": 386
    },
    {
      "graph": 166,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 946,
      "candidates": 386
    },
    {
      "graph": 167,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1065,
      "candidates": 389
    },
    {
      "graph": 167,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1075,
      "candidates": 389
    },
    {
      "graph": 167,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1058,
      "candidates": 389
    },
    {
      "graph": 168,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1137,
      "candidates": 395
    },
    {
      "graph": 168,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1114,
      "candidates": 395
    },
    {
      "graph": 168,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1117,
      "candidates": 395
    },
    {
      "graph": 169,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1011,
      "candidates": 389
    },
    {
      "graph": 169,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1001,
      "candidates": 389
    },
    {
      "graph": 169,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1006,
      "candidates": 389
    },
    {
      "graph": 170,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 533,
      "candidates": 385
    },
    {
      "graph": 170,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 541,
      "candidates": 385
    },
    {
      "graph": 170,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 561,
      "candidates": 385
    },
    {
      "graph": 171,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1261,
      "candidates": 459
    },
    {
      "graph": 171,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1089,
      "candidates": 393
    },
    {
      "graph": 171,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1089,
      "candidates": 393
    },
    {
      "graph": 172,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1512,
      "candidates": 457
    },
    {
      "graph": 172,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1405,
      "candidates": 391
    },
    {
      "graph": 172,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1405,
      "candidates": 391
    },
    {
      "graph": 173,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1187,
      "candidates": 452
    },
    {
      "graph": 173,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1404,
      "candidates": 386
    },
    {
      "graph": 173,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1404,
      "candidates": 386
    },
    {
      "graph": 174,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1266,
      "candidates": 451
    },
    {
      "graph": 174,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1062,
      "candidates": 385
    },
    {
      "graph": 174,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1062,
      "candidates": 385
    },
    {
      "graph": 175,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1144,
      "candidates": 397
    },
    {
      "graph": 175,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1182,
      "candidates": 397
    },
    {
      "graph": 175,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1157,
      "candidates": 397
    },
    {
      "graph": 176,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1392,
      "candidates": 401
    },
    {
      "graph": 176,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1335,
      "candidates": 401
    },
    {
      "graph": 176,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1346,
      "candidates": 401
    },
    {
      "graph": 177,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1768,
      "candidates": 463
    },
    {
      "graph": 177,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1456,
      "candidates": 397
    },
    {
      "graph": 177,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1456,
      "candidates": 397
    },
    {
      "graph": 178,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1529,
      "candidates": 457
    },
    {
      "graph": 178,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1240,
      "candidates": 391
    },
    {
      "graph": 178,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1240,
      "candidates": 391
    },
    {
      "graph": 179,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2694,
      "candidates": 526
    },
    {
      "graph": 179,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1812,
      "candidates": 393
    },
    {
      "graph": 179,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1812,
      "candidates": 393
    },
    {
      "graph": 180,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1255,
      "candidates": 452
    },
    {
      "graph": 180,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1098,
      "candidates": 386
    },
    {
      "graph": 180,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1098,
      "candidates": 386
    },
    {
      "graph": 181,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 698,
      "candidates": 448
    },
    {
      "graph": 181,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 533,
      "candidates": 382
    },
    {
      "graph": 181,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 533,
      "candidates": 382
    },
    {
      "graph": 182,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1242,
      "candidates": 516
    },
    {
      "graph": 182,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 986,
      "candidates": 383
    },
    {
      "graph": 182,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 986,
      "candidates": 383
    },
    {
      "graph": 183,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 924,
      "candidates": 453
    },
    {
      "graph": 183,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 753,
      "candidates": 387
    },
    {
      "graph": 183,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 753,
      "candidates": 387
    },
    {
      "graph": 184,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1959,
      "candidates": 457
    },
    {
      "graph": 184,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1586,
      "candidates": 391
    },
    {
      "graph": 184,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1586,
      "candidates": 391
    },
    {
      "graph": 185,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1778,
      "candidates": 457
    },
    {
      "graph": 185,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1471,
      "candidates": 391
    },
    {
      "graph": 185,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1471,
      "candidates": 391
    },
    {
      "graph": 186,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1826,
      "candidates": 458
    },
    {
      "graph": 186,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1632,
      "candidates": 392
    },
    {
      "graph": 186,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1632,
      "candidates": 392
    },
    {
      "graph": 187,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1763,
      "candidates": 458
    },
    {
      "graph": 187,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1457,
      "candidates": 392
    },
    {
      "graph": 187,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1457,
      "candidates": 392
    },
    {
      "graph": 188,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1545,
      "candidates": 458
    },
    {
      "graph": 188,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1338,
      "candidates": 392
    },
    {
      "graph": 188,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1338,
      "candidates": 392
    },
    {
      "graph": 189,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1252,
      "candidates": 451
    },
    {
      "graph": 189,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1115,
      "candidates": 385
    },
    {
      "graph": 189,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1115,
      "candidates": 385
    },
    {
      "graph": 190,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1459,
      "candidates": 451
    },
    {
      "graph": 190,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1186,
      "candidates": 385
    },
    {
      "graph": 190,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1186,
      "candidates": 385
    },
    {
      "graph": 191,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1304,
      "candidates": 452
    },
    {
      "graph": 191,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1047,
      "candidates": 386
    },
    {
      "graph": 191,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1047,
      "candidates": 386
    },
    {
      "graph": 192,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 846,
      "candidates": 447
    },
    {
      "graph": 192,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 649,
      "candidates": 381
    },
    {
      "graph": 192,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 649,
      "candidates": 381
    },
    {
      "graph": 193,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2730,
      "candidates": 520
    },
    {
      "graph": 193,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1832,
      "candidates": 387
    },
    {
      "graph": 193,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1832,
      "candidates": 387
    },
    {
      "graph": 194,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 534,
      "candidates": 443
    },
    {
      "graph": 194,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 394,
      "candidates": 377
    },
    {
      "graph": 194,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 394,
      "candidates": 377
    },
    {
      "graph": 195,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1070,
      "candidates": 510
    },
    {
      "graph": 195,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 890,
      "candidates": 377
    },
    {
      "graph": 195,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 890,
      "candidates": 377
    },
    {
      "graph": 196,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1578,
      "candidates": 451
    },
    {
      "graph": 196,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1251,
      "candidates": 385
    },
    {
      "graph": 196,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1251,
      "candidates": 385
    },
    {
      "graph": 197,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1333,
      "candidates": 451
    },
    {
      "graph": 197,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1140,
      "candidates": 385
    },
    {
      "graph": 197,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1140,
      "candidates": 385
    },
    {
      "graph": 198,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1562,
      "candidates": 400
    },
    {
      "graph": 198,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1545,
      "candidates": 400
    },
    {
      "graph": 198,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1533,
      "candidates": 400
    },
    {
      "graph": 199,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1217,
      "candidates": 395
    },
    {
      "graph": 199,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1196,
      "candidates": 395
    },
    {
      "graph": 199,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1203,
      "candidates": 395
    },
    {
      "graph": 200,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1780,
      "candidates": 464
    },
    {
      "graph": 200,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1416,
      "candidates": 398
    },
    {
      "graph": 200,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1416,
      "candidates": 398
    },
    {
      "graph": 201,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1488,
      "candidates": 457
    },
    {
      "graph": 201,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1208,
      "candidates": 391
    },
    {
      "graph": 201,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1208,
      "candidates": 391
    },
    {
      "graph": 202,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 966,
      "candidates": 453
    },
    {
      "graph": 202,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 848,
      "candidates": 387
    },
    {
      "graph": 202,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 848,
      "candidates": 387
    },
    {
      "graph": 203,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2273,
      "candidates": 462
    },
    {
      "graph": 203,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2004,
      "candidates": 396
    },
    {
      "graph": 203,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2004,
      "candidates": 396
    },
    {
      "graph": 204,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2178,
      "candidates": 521
    },
    {
      "graph": 204,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1749,
      "candidates": 388
    },
    {
      "graph": 204,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1749,
      "candidates": 388
    },
    {
      "graph": 205,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1460,
      "candidates": 512
    },
    {
      "graph": 205,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1110,
      "candidates": 379
    },
    {
      "graph": 205,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1110,
      "candidates": 379
    },
    {
      "graph": 206,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2659,
      "candidates": 448
    },
    {
      "graph": 206,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2659,
      "candidates": 448
    },
    {
      "graph": 206,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2659,
      "candidates": 448
    },
    {
      "graph": 207,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1664,
      "candidates": 438
    },
    {
      "graph": 207,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1664,
      "candidates": 438
    },
    {
      "graph": 207,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1664,
      "candidates": 438
    },
    {
      "graph": 208,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1687,
      "candidates": 435
    },
    {
      "graph": 208,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1687,
      "candidates": 435
    },
    {
      "graph": 208,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1687,
      "candidates": 435
    },
    {
      "graph": 209,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2005,
      "candidates": 443
    },
    {
      "graph": 209,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2005,
      "candidates": 443
    },
    {
      "graph": 209,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2005,
      "candidates": 443
    },
    {
      "graph": 210,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 3554,
      "candidates": 442
    },
    {
      "graph": 210,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 3554,
      "candidates": 442
    },
    {
      "graph": 210,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 3554,
      "candidates": 442
    },
    {
      "graph": 211,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2721,
      "candidates": 443
    },
    {
      "graph": 211,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2722,
      "candidates": 443
    },
    {
      "graph": 211,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2723,
      "candidates": 443
    },
    {
      "graph": 212,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1316,
      "candidates": 404
    },
    {
      "graph": 212,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1326,
      "candidates": 404
    },
    {
      "graph": 212,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1414,
      "candidates": 404
    },
    {
      "graph": 213,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1141,
      "candidates": 402
    },
    {
      "graph": 213,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1122,
      "candidates": 402
    },
    {
      "graph": 213,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1089,
      "candidates": 402
    },
    {
      "graph": 214,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1653,
      "candidates": 401
    },
    {
      "graph": 214,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1605,
      "candidates": 401
    },
    {
      "graph": 214,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1598,
      "candidates": 401
    },
    {
      "graph": 215,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1073,
      "candidates": 395
    },
    {
      "graph": 215,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1012,
      "candidates": 395
    },
    {
      "graph": 215,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1012,
      "candidates": 395
    },
    {
      "graph": 216,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1285,
      "candidates": 395
    },
    {
      "graph": 216,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1237,
      "candidates": 395
    },
    {
      "graph": 216,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1236,
      "candidates": 395
    },
    {
      "graph": 217,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 738,
      "candidates": 391
    },
    {
      "graph": 217,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 728,
      "candidates": 391
    },
    {
      "graph": 217,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 726,
      "candidates": 391
    },
    {
      "graph": 218,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1572,
      "candidates": 402
    },
    {
      "graph": 218,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1583,
      "candidates": 402
    },
    {
      "graph": 218,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1560,
      "candidates": 402
    },
    {
      "graph": 219,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1213,
      "candidates": 398
    },
    {
      "graph": 219,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1216,
      "candidates": 398
    },
    {
      "graph": 219,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1216,
      "candidates": 398
    },
    {
      "graph": 220,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 568,
      "candidates": 393
    },
    {
      "graph": 220,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 572,
      "candidates": 393
    },
    {
      "graph": 220,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 578,
      "candidates": 393
    },
    {
      "graph": 221,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1609,
      "candidates": 459
    },
    {
      "graph": 221,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1367,
      "candidates": 393
    },
    {
      "graph": 221,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1367,
      "candidates": 393
    },
    {
      "graph": 222,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1716,
      "candidates": 400
    },
    {
      "graph": 222,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1697,
      "candidates": 400
    },
    {
      "graph": 222,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1670,
      "candidates": 400
    },
    {
      "graph": 223,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1241,
      "candidates": 395
    },
    {
      "graph": 223,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1215,
      "candidates": 395
    },
    {
      "graph": 223,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1228,
      "candidates": 395
    },
    {
      "graph": 224,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1485,
      "candidates": 401
    },
    {
      "graph": 224,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1450,
      "candidates": 401
    },
    {
      "graph": 224,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1417,
      "candidates": 401
    },
    {
      "graph": 225,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1299,
      "candidates": 395
    },
    {
      "graph": 225,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1308,
      "candidates": 395
    },
    {
      "graph": 225,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1283,
      "candidates": 395
    },
    {
      "graph": 226,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2050,
      "candidates": 463
    },
    {
      "graph": 226,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1667,
      "candidates": 397
    },
    {
      "graph": 226,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1667,
      "candidates": 397
    },
    {
      "graph": 227,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1983,
      "candidates": 457
    },
    {
      "graph": 227,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1615,
      "candidates": 391
    },
    {
      "graph": 227,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1614,
      "candidates": 391
    },
    {
      "graph": 228,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1895,
      "candidates": 457
    },
    {
      "graph": 228,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1573,
      "candidates": 391
    },
    {
      "graph": 228,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1572,
      "candidates": 391
    },
    {
      "graph": 229,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1333,
      "candidates": 453
    },
    {
      "graph": 229,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1229,
      "candidates": 387
    },
    {
      "graph": 229,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1229,
      "candidates": 387
    },
    {
      "graph": 230,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2092,
      "candidates": 401
    },
    {
      "graph": 230,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2083,
      "candidates": 401
    },
    {
      "graph": 230,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2061,
      "candidates": 401
    },
    {
      "graph": 231,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2032,
      "candidates": 400
    },
    {
      "graph": 231,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2025,
      "candidates": 400
    },
    {
      "graph": 231,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1996,
      "candidates": 400
    },
    {
      "graph": 232,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2238,
      "candidates": 463
    },
    {
      "graph": 232,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1922,
      "candidates": 397
    },
    {
      "graph": 232,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1921,
      "candidates": 397
    },
    {
      "graph": 233,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2131,
      "candidates": 457
    },
    {
      "graph": 233,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2082,
      "candidates": 391
    },
    {
      "graph": 233,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2082,
      "candidates": 391
    },
    {
      "graph": 234,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1793,
      "candidates": 457
    },
    {
      "graph": 234,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1610,
      "candidates": 391
    },
    {
      "graph": 234,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1610,
      "candidates": 391
    },
    {
      "graph": 235,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2540,
      "candidates": 462
    },
    {
      "graph": 235,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2127,
      "candidates": 396
    },
    {
      "graph": 235,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2127,
      "candidates": 396
    },
    {
      "graph": 236,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1977,
      "candidates": 456
    },
    {
      "graph": 236,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2030,
      "candidates": 390
    },
    {
      "graph": 236,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2030,
      "candidates": 390
    },
    {
      "graph": 237,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1270,
      "candidates": 452
    },
    {
      "graph": 237,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1144,
      "candidates": 386
    },
    {
      "graph": 237,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1144,
      "candidates": 386
    },
    {
      "graph": 238,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2555,
      "candidates": 520
    },
    {
      "graph": 238,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1826,
      "candidates": 387
    },
    {
      "graph": 238,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1826,
      "candidates": 387
    },
    {
      "graph": 239,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1070,
      "candidates": 510
    },
    {
      "graph": 239,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1025,
      "candidates": 377
    },
    {
      "graph": 239,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1025,
      "candidates": 377
    },
    {
      "graph": 240,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2457,
      "candidates": 515
    },
    {
      "graph": 240,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2009,
      "candidates": 382
    },
    {
      "graph": 240,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2009,
      "candidates": 382
    },
    {
      "graph": 241,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2066,
      "candidates": 400
    },
    {
      "graph": 241,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1916,
      "candidates": 400
    },
    {
      "graph": 241,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1914,
      "candidates": 400
    },
    {
      "graph": 242,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2047,
      "candidates": 399
    },
    {
      "graph": 242,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2053,
      "candidates": 399
    },
    {
      "graph": 242,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1993,
      "candidates": 399
    },
    {
      "graph": 243,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2246,
      "candidates": 462
    },
    {
      "graph": 243,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1888,
      "candidates": 396
    },
    {
      "graph": 243,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1888,
      "candidates": 396
    },
    {
      "graph": 244,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 3158,
      "candidates": 461
    },
    {
      "graph": 244,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2719,
      "candidates": 395
    },
    {
      "graph": 244,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2719,
      "candidates": 395
    },
    {
      "graph": 245,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 4248,
      "candidates": 453
    },
    {
      "graph": 245,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 4248,
      "candidates": 453
    },
    {
      "graph": 245,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 4248,
      "candidates": 453
    },
    {
      "graph": 246,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 3785,
      "candidates": 447
    },
    {
      "graph": 246,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 3786,
      "candidates": 447
    },
    {
      "graph": 246,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 3787,
      "candidates": 447
    },
    {
      "graph": 247,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 793,
      "candidates": 409
    },
    {
      "graph": 247,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 809,
      "candidates": 409
    },
    {
      "graph": 247,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 833,
      "candidates": 409
    },
    {
      "graph": 248,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1258,
      "candidates": 397
    },
    {
      "graph": 248,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1200,
      "candidates": 397
    },
    {
      "graph": 248,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1199,
      "candidates": 397
    },
    {
      "graph": 249,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 781,
      "candidates": 387
    },
    {
      "graph": 249,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 781,
      "candidates": 387
    },
    {
      "graph": 249,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 789,
      "candidates": 387
    },
    {
      "graph": 250,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 800,
      "candidates": 391
    },
    {
      "graph": 250,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 791,
      "candidates": 391
    },
    {
      "graph": 250,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 791,
      "candidates": 391
    },
    {
      "graph": 251,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1150,
      "candidates": 391
    },
    {
      "graph": 251,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1126,
      "candidates": 391
    },
    {
      "graph": 251,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1124,
      "candidates": 391
    },
    {
      "graph": 252,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 700,
      "candidates": 391
    },
    {
      "graph": 252,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 688,
      "candidates": 391
    },
    {
      "graph": 252,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 713,
      "candidates": 391
    },
    {
      "graph": 253,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1458,
      "candidates": 396
    },
    {
      "graph": 253,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1430,
      "candidates": 396
    },
    {
      "graph": 253,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1427,
      "candidates": 396
    },
    {
      "graph": 254,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1140,
      "candidates": 390
    },
    {
      "graph": 254,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1134,
      "candidates": 390
    },
    {
      "graph": 254,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1124,
      "candidates": 390
    },
    {
      "graph": 255,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1203,
      "candidates": 390
    },
    {
      "graph": 255,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1166,
      "candidates": 390
    },
    {
      "graph": 255,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1166,
      "candidates": 390
    },
    {
      "graph": 256,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 767,
      "candidates": 391
    },
    {
      "graph": 256,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 767,
      "candidates": 391
    },
    {
      "graph": 256,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 769,
      "candidates": 391
    },
    {
      "graph": 257,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1097,
      "candidates": 391
    },
    {
      "graph": 257,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1095,
      "candidates": 391
    },
    {
      "graph": 257,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1104,
      "candidates": 391
    },
    {
      "graph": 258,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 944,
      "candidates": 390
    },
    {
      "graph": 258,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 938,
      "candidates": 390
    },
    {
      "graph": 258,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 938,
      "candidates": 390
    },
    {
      "graph": 259,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1829,
      "candidates": 400
    },
    {
      "graph": 259,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1770,
      "candidates": 400
    },
    {
      "graph": 259,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1771,
      "candidates": 400
    },
    {
      "graph": 260,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1491,
      "candidates": 395
    },
    {
      "graph": 260,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1503,
      "candidates": 395
    },
    {
      "graph": 260,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1589,
      "candidates": 395
    },
    {
      "graph": 261,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1201,
      "candidates": 395
    },
    {
      "graph": 261,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1149,
      "candidates": 395
    },
    {
      "graph": 261,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1151,
      "candidates": 395
    },
    {
      "graph": 262,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1460,
      "candidates": 395
    },
    {
      "graph": 262,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1495,
      "candidates": 395
    },
    {
      "graph": 262,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1461,
      "candidates": 395
    },
    {
      "graph": 263,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1332,
      "candidates": 395
    },
    {
      "graph": 263,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1318,
      "candidates": 395
    },
    {
      "graph": 263,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1334,
      "candidates": 395
    },
    {
      "graph": 264,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1218,
      "candidates": 395
    },
    {
      "graph": 264,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1200,
      "candidates": 395
    },
    {
      "graph": 264,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1190,
      "candidates": 395
    },
    {
      "graph": 265,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1875,
      "candidates": 458
    },
    {
      "graph": 265,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1587,
      "candidates": 392
    },
    {
      "graph": 265,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1587,
      "candidates": 392
    },
    {
      "graph": 266,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2146,
      "candidates": 457
    },
    {
      "graph": 266,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1817,
      "candidates": 391
    },
    {
      "graph": 266,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1817,
      "candidates": 391
    },
    {
      "graph": 267,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2096,
      "candidates": 457
    },
    {
      "graph": 267,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1678,
      "candidates": 391
    },
    {
      "graph": 267,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1678,
      "candidates": 391
    },
    {
      "graph": 268,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1698,
      "candidates": 457
    },
    {
      "graph": 268,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1590,
      "candidates": 391
    },
    {
      "graph": 268,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1590,
      "candidates": 391
    },
    {
      "graph": 269,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1255,
      "candidates": 390
    },
    {
      "graph": 269,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1244,
      "candidates": 390
    },
    {
      "graph": 269,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1240,
      "candidates": 390
    },
    {
      "graph": 270,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 865,
      "candidates": 390
    },
    {
      "graph": 270,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 872,
      "candidates": 390
    },
    {
      "graph": 270,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 877,
      "candidates": 390
    },
    {
      "graph": 271,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 967,
      "candidates": 390
    },
    {
      "graph": 271,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 970,
      "candidates": 390
    },
    {
      "graph": 271,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 975,
      "candidates": 390
    },
    {
      "graph": 272,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1513,
      "candidates": 452
    },
    {
      "graph": 272,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1316,
      "candidates": 386
    },
    {
      "graph": 272,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1316,
      "candidates": 386
    },
    {
      "graph": 273,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1069,
      "candidates": 449
    },
    {
      "graph": 273,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 939,
      "candidates": 383
    },
    {
      "graph": 273,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 939,
      "candidates": 383
    },
    {
      "graph": 274,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1722,
      "candidates": 452
    },
    {
      "graph": 274,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1352,
      "candidates": 386
    },
    {
      "graph": 274,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1352,
      "candidates": 386
    },
    {
      "graph": 275,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1421,
      "candidates": 397
    },
    {
      "graph": 275,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1349,
      "candidates": 397
    },
    {
      "graph": 275,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1349,
      "candidates": 397
    },
    {
      "graph": 276,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 3147,
      "candidates": 522
    },
    {
      "graph": 276,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1895,
      "candidates": 389
    },
    {
      "graph": 276,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1895,
      "candidates": 389
    },
    {
      "graph": 277,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1008,
      "candidates": 390
    },
    {
      "graph": 277,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 966,
      "candidates": 390
    },
    {
      "graph": 277,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 967,
      "candidates": 390
    },
    {
      "graph": 278,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1074,
      "candidates": 390
    },
    {
      "graph": 278,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1055,
      "candidates": 390
    },
    {
      "graph": 278,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1055,
      "candidates": 390
    },
    {
      "graph": 279,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2429,
      "candidates": 516
    },
    {
      "graph": 279,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1505,
      "candidates": 383
    },
    {
      "graph": 279,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1505,
      "candidates": 383
    },
    {
      "graph": 280,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 941,
      "candidates": 391
    },
    {
      "graph": 280,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 944,
      "candidates": 391
    },
    {
      "graph": 280,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 947,
      "candidates": 391
    },
    {
      "graph": 281,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1380,
      "candidates": 453
    },
    {
      "graph": 281,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1117,
      "candidates": 387
    },
    {
      "graph": 281,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1117,
      "candidates": 387
    },
    {
      "graph": 282,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 903,
      "candidates": 390
    },
    {
      "graph": 282,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 893,
      "candidates": 390
    },
    {
      "graph": 282,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 899,
      "candidates": 390
    },
    {
      "graph": 283,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1177,
      "candidates": 452
    },
    {
      "graph": 283,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1078,
      "candidates": 386
    },
    {
      "graph": 283,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1078,
      "candidates": 386
    },
    {
      "graph": 284,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1146,
      "candidates": 453
    },
    {
      "graph": 284,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 912,
      "candidates": 387
    },
    {
      "graph": 284,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 912,
      "candidates": 387
    },
    {
      "graph": 285,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 864,
      "candidates": 453
    },
    {
      "graph": 285,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 722,
      "candidates": 387
    },
    {
      "graph": 285,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 722,
      "candidates": 387
    },
    {
      "graph": 286,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1327,
      "candidates": 449
    },
    {
      "graph": 286,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 999,
      "candidates": 383
    },
    {
      "graph": 286,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 999,
      "candidates": 383
    },
    {
      "graph": 287,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1652,
      "candidates": 452
    },
    {
      "graph": 287,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1413,
      "candidates": 386
    },
    {
      "graph": 287,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1413,
      "candidates": 386
    },
    {
      "graph": 288,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 691,
      "candidates": 385
    },
    {
      "graph": 288,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 687,
      "candidates": 385
    },
    {
      "graph": 288,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 688,
      "candidates": 385
    },
    {
      "graph": 289,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 488,
      "candidates": 380
    },
    {
      "graph": 289,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 492,
      "candidates": 380
    },
    {
      "graph": 289,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 492,
      "candidates": 380
    },
    {
      "graph": 290,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 440,
      "candidates": 381
    },
    {
      "graph": 290,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 440,
      "candidates": 381
    },
    {
      "graph": 290,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 440,
      "candidates": 381
    },
    {
      "graph": 291,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 556,
      "candidates": 381
    },
    {
      "graph": 291,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 558,
      "candidates": 381
    },
    {
      "graph": 291,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 557,
      "candidates": 381
    },
    {
      "graph": 292,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 572,
      "candidates": 443
    },
    {
      "graph": 292,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 522,
      "candidates": 377
    },
    {
      "graph": 292,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 522,
      "candidates": 377
    },
    {
      "graph": 293,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 930,
      "candidates": 448
    },
    {
      "graph": 293,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 923,
      "candidates": 382
    },
    {
      "graph": 293,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 923,
      "candidates": 382
    },
    {
      "graph": 294,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 926,
      "candidates": 390
    },
    {
      "graph": 294,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 892,
      "candidates": 390
    },
    {
      "graph": 294,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 946,
      "candidates": 390
    },
    {
      "graph": 295,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1292,
      "candidates": 452
    },
    {
      "graph": 295,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1106,
      "candidates": 386
    },
    {
      "graph": 295,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1106,
      "candidates": 386
    },
    {
      "graph": 296,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 908,
      "candidates": 447
    },
    {
      "graph": 296,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 779,
      "candidates": 381
    },
    {
      "graph": 296,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 779,
      "candidates": 381
    },
    {
      "graph": 297,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 429,
      "candidates": 380
    },
    {
      "graph": 297,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 429,
      "candidates": 380
    },
    {
      "graph": 297,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 425,
      "candidates": 380
    },
    {
      "graph": 298,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 798,
      "candidates": 506
    },
    {
      "graph": 298,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 574,
      "candidates": 373
    },
    {
      "graph": 298,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 574,
      "candidates": 373
    },
    {
      "graph": 299,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2087,
      "candidates": 400
    },
    {
      "graph": 299,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2054,
      "candidates": 400
    },
    {
      "graph": 299,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2020,
      "candidates": 400
    },
    {
      "graph": 300,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1620,
      "candidates": 395
    },
    {
      "graph": 300,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1577,
      "candidates": 395
    },
    {
      "graph": 300,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1686,
      "candidates": 395
    },
    {
      "graph": 301,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1517,
      "candidates": 394
    },
    {
      "graph": 301,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1508,
      "candidates": 394
    },
    {
      "graph": 301,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1563,
      "candidates": 394
    },
    {
      "graph": 302,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1884,
      "candidates": 395
    },
    {
      "graph": 302,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1837,
      "candidates": 395
    },
    {
      "graph": 302,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1845,
      "candidates": 395
    },
    {
      "graph": 303,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1725,
      "candidates": 394
    },
    {
      "graph": 303,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1696,
      "candidates": 394
    },
    {
      "graph": 303,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1663,
      "candidates": 394
    },
    {
      "graph": 304,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2301,
      "candidates": 399
    },
    {
      "graph": 304,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2196,
      "candidates": 399
    },
    {
      "graph": 304,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2195,
      "candidates": 399
    },
    {
      "graph": 305,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1536,
      "candidates": 394
    },
    {
      "graph": 305,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1519,
      "candidates": 394
    },
    {
      "graph": 305,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1509,
      "candidates": 394
    },
    {
      "graph": 306,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1623,
      "candidates": 394
    },
    {
      "graph": 306,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1614,
      "candidates": 394
    },
    {
      "graph": 306,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1614,
      "candidates": 394
    },
    {
      "graph": 307,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2042,
      "candidates": 456
    },
    {
      "graph": 307,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1882,
      "candidates": 390
    },
    {
      "graph": 307,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1882,
      "candidates": 390
    },
    {
      "graph": 308,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2107,
      "candidates": 456
    },
    {
      "graph": 308,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1866,
      "candidates": 390
    },
    {
      "graph": 308,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1866,
      "candidates": 390
    },
    {
      "graph": 309,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1766,
      "candidates": 394
    },
    {
      "graph": 309,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1770,
      "candidates": 394
    },
    {
      "graph": 309,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1817,
      "candidates": 394
    },
    {
      "graph": 310,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 926,
      "candidates": 389
    },
    {
      "graph": 310,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 942,
      "candidates": 389
    },
    {
      "graph": 310,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 930,
      "candidates": 389
    },
    {
      "graph": 311,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1105,
      "candidates": 389
    },
    {
      "graph": 311,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1092,
      "candidates": 389
    },
    {
      "graph": 311,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1076,
      "candidates": 389
    },
    {
      "graph": 312,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1138,
      "candidates": 389
    },
    {
      "graph": 312,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1072,
      "candidates": 389
    },
    {
      "graph": 312,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1064,
      "candidates": 389
    },
    {
      "graph": 313,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1145,
      "candidates": 389
    },
    {
      "graph": 313,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1120,
      "candidates": 389
    },
    {
      "graph": 313,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1120,
      "candidates": 389
    },
    {
      "graph": 314,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1133,
      "candidates": 390
    },
    {
      "graph": 314,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1130,
      "candidates": 390
    },
    {
      "graph": 314,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1127,
      "candidates": 390
    },
    {
      "graph": 315,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1087,
      "candidates": 389
    },
    {
      "graph": 315,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1075,
      "candidates": 389
    },
    {
      "graph": 315,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1076,
      "candidates": 389
    },
    {
      "graph": 316,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1589,
      "candidates": 452
    },
    {
      "graph": 316,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1364,
      "candidates": 386
    },
    {
      "graph": 316,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1364,
      "candidates": 386
    },
    {
      "graph": 317,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1460,
      "candidates": 451
    },
    {
      "graph": 317,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1270,
      "candidates": 385
    },
    {
      "graph": 317,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1270,
      "candidates": 385
    },
    {
      "graph": 318,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1321,
      "candidates": 451
    },
    {
      "graph": 318,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1117,
      "candidates": 385
    },
    {
      "graph": 318,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1117,
      "candidates": 385
    },
    {
      "graph": 319,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1600,
      "candidates": 395
    },
    {
      "graph": 319,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1613,
      "candidates": 395
    },
    {
      "graph": 319,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1618,
      "candidates": 395
    },
    {
      "graph": 320,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1588,
      "candidates": 394
    },
    {
      "graph": 320,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1584,
      "candidates": 394
    },
    {
      "graph": 320,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1576,
      "candidates": 394
    },
    {
      "graph": 321,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1085,
      "candidates": 389
    },
    {
      "graph": 321,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1094,
      "candidates": 389
    },
    {
      "graph": 321,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1089,
      "candidates": 389
    },
    {
      "graph": 322,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1426,
      "candidates": 390
    },
    {
      "graph": 322,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1416,
      "candidates": 390
    },
    {
      "graph": 322,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1424,
      "candidates": 390
    },
    {
      "graph": 323,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1881,
      "candidates": 457
    },
    {
      "graph": 323,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1582,
      "candidates": 391
    },
    {
      "graph": 323,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1582,
      "candidates": 391
    },
    {
      "graph": 324,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1620,
      "candidates": 452
    },
    {
      "graph": 324,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1492,
      "candidates": 386
    },
    {
      "graph": 324,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1492,
      "candidates": 386
    },
    {
      "graph": 325,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1064,
      "candidates": 389
    },
    {
      "graph": 325,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1085,
      "candidates": 389
    },
    {
      "graph": 325,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1073,
      "candidates": 389
    },
    {
      "graph": 326,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1390,
      "candidates": 452
    },
    {
      "graph": 326,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1200,
      "candidates": 386
    },
    {
      "graph": 326,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1200,
      "candidates": 386
    },
    {
      "graph": 327,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2222,
      "candidates": 456
    },
    {
      "graph": 327,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1829,
      "candidates": 390
    },
    {
      "graph": 327,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1829,
      "candidates": 390
    },
    {
      "graph": 328,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1611,
      "candidates": 457
    },
    {
      "graph": 328,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1365,
      "candidates": 391
    },
    {
      "graph": 328,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1365,
      "candidates": 391
    },
    {
      "graph": 329,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1384,
      "candidates": 451
    },
    {
      "graph": 329,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1343,
      "candidates": 385
    },
    {
      "graph": 329,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1343,
      "candidates": 385
    },
    {
      "graph": 330,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1811,
      "candidates": 452
    },
    {
      "graph": 330,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1459,
      "candidates": 386
    },
    {
      "graph": 330,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1459,
      "candidates": 386
    },
    {
      "graph": 331,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1323,
      "candidates": 451
    },
    {
      "graph": 331,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1412,
      "candidates": 385
    },
    {
      "graph": 331,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1412,
      "candidates": 385
    },
    {
      "graph": 332,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1495,
      "candidates": 451
    },
    {
      "graph": 332,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1286,
      "candidates": 385
    },
    {
      "graph": 332,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1286,
      "candidates": 385
    },
    {
      "graph": 333,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1276,
      "candidates": 452
    },
    {
      "graph": 333,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1391,
      "candidates": 386
    },
    {
      "graph": 333,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1391,
      "candidates": 386
    },
    {
      "graph": 334,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 827,
      "candidates": 385
    },
    {
      "graph": 334,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 813,
      "candidates": 385
    },
    {
      "graph": 334,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 813,
      "candidates": 385
    },
    {
      "graph": 335,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 787,
      "candidates": 385
    },
    {
      "graph": 335,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 773,
      "candidates": 385
    },
    {
      "graph": 335,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 773,
      "candidates": 385
    },
    {
      "graph": 336,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 727,
      "candidates": 384
    },
    {
      "graph": 336,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 705,
      "candidates": 384
    },
    {
      "graph": 336,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 705,
      "candidates": 384
    },
    {
      "graph": 337,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 711,
      "candidates": 385
    },
    {
      "graph": 337,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 701,
      "candidates": 385
    },
    {
      "graph": 337,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 695,
      "candidates": 385
    },
    {
      "graph": 338,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 665,
      "candidates": 385
    },
    {
      "graph": 338,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 673,
      "candidates": 385
    },
    {
      "graph": 338,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 673,
      "candidates": 385
    },
    {
      "graph": 339,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 722,
      "candidates": 384
    },
    {
      "graph": 339,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 709,
      "candidates": 384
    },
    {
      "graph": 339,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 709,
      "candidates": 384
    },
    {
      "graph": 340,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 616,
      "candidates": 385
    },
    {
      "graph": 340,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 638,
      "candidates": 385
    },
    {
      "graph": 340,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 610,
      "candidates": 385
    },
    {
      "graph": 341,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 669,
      "candidates": 384
    },
    {
      "graph": 341,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 672,
      "candidates": 384
    },
    {
      "graph": 341,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 674,
      "candidates": 384
    },
    {
      "graph": 342,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1025,
      "candidates": 447
    },
    {
      "graph": 342,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 767,
      "candidates": 381
    },
    {
      "graph": 342,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 767,
      "candidates": 381
    },
    {
      "graph": 343,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1019,
      "candidates": 447
    },
    {
      "graph": 343,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 853,
      "candidates": 381
    },
    {
      "graph": 343,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 853,
      "candidates": 381
    },
    {
      "graph": 344,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 838,
      "candidates": 385
    },
    {
      "graph": 344,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 752,
      "candidates": 385
    },
    {
      "graph": 344,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 752,
      "candidates": 385
    },
    {
      "graph": 345,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 864,
      "candidates": 447
    },
    {
      "graph": 345,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 559,
      "candidates": 381
    },
    {
      "graph": 345,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 559,
      "candidates": 381
    },
    {
      "graph": 346,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 725,
      "candidates": 447
    },
    {
      "graph": 346,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 644,
      "candidates": 381
    },
    {
      "graph": 346,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 644,
      "candidates": 381
    },
    {
      "graph": 347,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 828,
      "candidates": 447
    },
    {
      "graph": 347,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 688,
      "candidates": 381
    },
    {
      "graph": 347,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 688,
      "candidates": 381
    },
    {
      "graph": 348,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 980,
      "candidates": 446
    },
    {
      "graph": 348,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 811,
      "candidates": 380
    },
    {
      "graph": 348,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 811,
      "candidates": 380
    },
    {
      "graph": 349,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1171,
      "candidates": 447
    },
    {
      "graph": 349,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 954,
      "candidates": 381
    },
    {
      "graph": 349,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 954,
      "candidates": 381
    },
    {
      "graph": 350,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 973,
      "candidates": 447
    },
    {
      "graph": 350,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 756,
      "candidates": 381
    },
    {
      "graph": 350,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 756,
      "candidates": 381
    },
    {
      "graph": 351,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 906,
      "candidates": 447
    },
    {
      "graph": 351,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 963,
      "candidates": 381
    },
    {
      "graph": 351,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 963,
      "candidates": 381
    },
    {
      "graph": 352,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 691,
      "candidates": 447
    },
    {
      "graph": 352,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 865,
      "candidates": 381
    },
    {
      "graph": 352,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 865,
      "candidates": 381
    },
    {
      "graph": 353,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1353,
      "candidates": 396
    },
    {
      "graph": 353,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1336,
      "candidates": 396
    },
    {
      "graph": 353,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1341,
      "candidates": 396
    },
    {
      "graph": 354,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1087,
      "candidates": 396
    },
    {
      "graph": 354,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1069,
      "candidates": 396
    },
    {
      "graph": 354,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1069,
      "candidates": 396
    },
    {
      "graph": 355,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1048,
      "candidates": 392
    },
    {
      "graph": 355,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1036,
      "candidates": 392
    },
    {
      "graph": 355,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1084,
      "candidates": 392
    },
    {
      "graph": 356,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1334,
      "candidates": 395
    },
    {
      "graph": 356,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1333,
      "candidates": 395
    },
    {
      "graph": 356,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1339,
      "candidates": 395
    },
    {
      "graph": 357,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 883,
      "candidates": 389
    },
    {
      "graph": 357,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 860,
      "candidates": 389
    },
    {
      "graph": 357,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 860,
      "candidates": 389
    },
    {
      "graph": 358,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 804,
      "candidates": 390
    },
    {
      "graph": 358,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 814,
      "candidates": 390
    },
    {
      "graph": 358,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 784,
      "candidates": 390
    },
    {
      "graph": 359,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1122,
      "candidates": 390
    },
    {
      "graph": 359,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1118,
      "candidates": 390
    },
    {
      "graph": 359,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1142,
      "candidates": 390
    },
    {
      "graph": 360,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1667,
      "candidates": 401
    },
    {
      "graph": 360,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1666,
      "candidates": 401
    },
    {
      "graph": 360,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1759,
      "candidates": 401
    },
    {
      "graph": 361,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1630,
      "candidates": 400
    },
    {
      "graph": 361,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1632,
      "candidates": 400
    },
    {
      "graph": 361,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1741,
      "candidates": 400
    },
    {
      "graph": 362,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1898,
      "candidates": 400
    },
    {
      "graph": 362,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1786,
      "candidates": 400
    },
    {
      "graph": 362,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1774,
      "candidates": 400
    },
    {
      "graph": 363,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1490,
      "candidates": 395
    },
    {
      "graph": 363,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1464,
      "candidates": 395
    },
    {
      "graph": 363,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1450,
      "candidates": 395
    },
    {
      "graph": 364,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1451,
      "candidates": 395
    },
    {
      "graph": 364,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1471,
      "candidates": 395
    },
    {
      "graph": 364,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1452,
      "candidates": 395
    },
    {
      "graph": 365,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2336,
      "candidates": 399
    },
    {
      "graph": 365,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2238,
      "candidates": 399
    },
    {
      "graph": 365,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2265,
      "candidates": 399
    },
    {
      "graph": 366,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1775,
      "candidates": 394
    },
    {
      "graph": 366,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1783,
      "candidates": 394
    },
    {
      "graph": 366,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1778,
      "candidates": 394
    },
    {
      "graph": 367,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1670,
      "candidates": 394
    },
    {
      "graph": 367,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1666,
      "candidates": 394
    },
    {
      "graph": 367,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1677,
      "candidates": 394
    },
    {
      "graph": 368,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1656,
      "candidates": 394
    },
    {
      "graph": 368,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1629,
      "candidates": 394
    },
    {
      "graph": 368,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1641,
      "candidates": 394
    },
    {
      "graph": 369,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2316,
      "candidates": 463
    },
    {
      "graph": 369,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2021,
      "candidates": 397
    },
    {
      "graph": 369,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2021,
      "candidates": 397
    },
    {
      "graph": 370,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2091,
      "candidates": 456
    },
    {
      "graph": 370,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1827,
      "candidates": 390
    },
    {
      "graph": 370,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1827,
      "candidates": 390
    },
    {
      "graph": 371,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1086,
      "candidates": 396
    },
    {
      "graph": 371,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1084,
      "candidates": 396
    },
    {
      "graph": 371,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1084,
      "candidates": 396
    },
    {
      "graph": 372,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2790,
      "candidates": 528
    },
    {
      "graph": 372,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2134,
      "candidates": 395
    },
    {
      "graph": 372,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2134,
      "candidates": 395
    },
    {
      "graph": 373,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1154,
      "candidates": 452
    },
    {
      "graph": 373,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 902,
      "candidates": 386
    },
    {
      "graph": 373,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 902,
      "candidates": 386
    },
    {
      "graph": 374,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1857,
      "candidates": 451
    },
    {
      "graph": 374,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1591,
      "candidates": 385
    },
    {
      "graph": 374,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1591,
      "candidates": 385
    },
    {
      "graph": 375,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2588,
      "candidates": 514
    },
    {
      "graph": 375,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1864,
      "candidates": 381
    },
    {
      "graph": 375,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1864,
      "candidates": 381
    },
    {
      "graph": 376,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1569,
      "candidates": 401
    },
    {
      "graph": 376,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1591,
      "candidates": 401
    },
    {
      "graph": 376,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1578,
      "candidates": 401
    },
    {
      "graph": 377,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1474,
      "candidates": 396
    },
    {
      "graph": 377,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1489,
      "candidates": 396
    },
    {
      "graph": 377,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1523,
      "candidates": 396
    },
    {
      "graph": 378,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2141,
      "candidates": 400
    },
    {
      "graph": 378,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2121,
      "candidates": 400
    },
    {
      "graph": 378,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2078,
      "candidates": 400
    },
    {
      "graph": 379,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1559,
      "candidates": 394
    },
    {
      "graph": 379,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1571,
      "candidates": 394
    },
    {
      "graph": 379,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1540,
      "candidates": 394
    },
    {
      "graph": 380,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1589,
      "candidates": 395
    },
    {
      "graph": 380,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1519,
      "candidates": 395
    },
    {
      "graph": 380,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1535,
      "candidates": 395
    },
    {
      "graph": 381,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1846,
      "candidates": 395
    },
    {
      "graph": 381,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1841,
      "candidates": 395
    },
    {
      "graph": 381,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1840,
      "candidates": 395
    },
    {
      "graph": 382,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1357,
      "candidates": 401
    },
    {
      "graph": 382,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1314,
      "candidates": 401
    },
    {
      "graph": 382,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1311,
      "candidates": 401
    },
    {
      "graph": 383,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2119,
      "candidates": 400
    },
    {
      "graph": 383,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2082,
      "candidates": 400
    },
    {
      "graph": 383,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2057,
      "candidates": 400
    },
    {
      "graph": 384,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2316,
      "candidates": 457
    },
    {
      "graph": 384,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2015,
      "candidates": 391
    },
    {
      "graph": 384,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2015,
      "candidates": 391
    },
    {
      "graph": 385,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2034,
      "candidates": 457
    },
    {
      "graph": 385,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1862,
      "candidates": 391
    },
    {
      "graph": 385,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1862,
      "candidates": 391
    },
    {
      "graph": 386,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1580,
      "candidates": 453
    },
    {
      "graph": 386,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1316,
      "candidates": 387
    },
    {
      "graph": 386,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1316,
      "candidates": 387
    },
    {
      "graph": 387,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 532,
      "candidates": 391
    },
    {
      "graph": 387,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 535,
      "candidates": 391
    },
    {
      "graph": 387,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 535,
      "candidates": 391
    },
    {
      "graph": 388,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1182,
      "candidates": 395
    },
    {
      "graph": 388,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1153,
      "candidates": 395
    },
    {
      "graph": 388,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1127,
      "candidates": 395
    },
    {
      "graph": 389,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1419,
      "candidates": 395
    },
    {
      "graph": 389,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1426,
      "candidates": 395
    },
    {
      "graph": 389,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1413,
      "candidates": 395
    },
    {
      "graph": 390,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1628,
      "candidates": 457
    },
    {
      "graph": 390,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1272,
      "candidates": 391
    },
    {
      "graph": 390,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1272,
      "candidates": 391
    },
    {
      "graph": 391,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1608,
      "candidates": 395
    },
    {
      "graph": 391,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1675,
      "candidates": 395
    },
    {
      "graph": 391,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1615,
      "candidates": 395
    },
    {
      "graph": 392,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1123,
      "candidates": 391
    },
    {
      "graph": 392,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1147,
      "candidates": 391
    },
    {
      "graph": 392,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1147,
      "candidates": 391
    },
    {
      "graph": 393,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1192,
      "candidates": 391
    },
    {
      "graph": 393,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1164,
      "candidates": 391
    },
    {
      "graph": 393,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1181,
      "candidates": 391
    },
    {
      "graph": 394,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 603,
      "candidates": 386
    },
    {
      "graph": 394,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 597,
      "candidates": 386
    },
    {
      "graph": 394,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 587,
      "candidates": 386
    },
    {
      "graph": 395,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1221,
      "candidates": 448
    },
    {
      "graph": 395,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1053,
      "candidates": 382
    },
    {
      "graph": 395,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1053,
      "candidates": 382
    },
    {
      "graph": 396,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2293,
      "candidates": 400
    },
    {
      "graph": 396,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2329,
      "candidates": 400
    },
    {
      "graph": 396,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2315,
      "candidates": 400
    },
    {
      "graph": 397,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2208,
      "candidates": 399
    },
    {
      "graph": 397,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2184,
      "candidates": 399
    },
    {
      "graph": 397,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2197,
      "candidates": 399
    },
    {
      "graph": 398,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2590,
      "candidates": 462
    },
    {
      "graph": 398,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2432,
      "candidates": 396
    },
    {
      "graph": 398,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2432,
      "candidates": 396
    },
    {
      "graph": 399,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1950,
      "candidates": 458
    },
    {
      "graph": 399,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1547,
      "candidates": 392
    },
    {
      "graph": 399,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1547,
      "candidates": 392
    },
    {
      "graph": 400,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1139,
      "candidates": 389
    },
    {
      "graph": 400,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1131,
      "candidates": 389
    },
    {
      "graph": 400,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1114,
      "candidates": 389
    },
    {
      "graph": 401,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1914,
      "candidates": 452
    },
    {
      "graph": 401,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1521,
      "candidates": 386
    },
    {
      "graph": 401,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1521,
      "candidates": 386
    },
    {
      "graph": 402,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2658,
      "candidates": 515
    },
    {
      "graph": 402,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1852,
      "candidates": 382
    },
    {
      "graph": 402,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1852,
      "candidates": 382
    },
    {
      "graph": 403,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1766,
      "candidates": 516
    },
    {
      "graph": 403,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1366,
      "candidates": 383
    },
    {
      "graph": 403,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1366,
      "candidates": 383
    },
    {
      "graph": 404,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1000,
      "candidates": 391
    },
    {
      "graph": 404,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 978,
      "candidates": 391
    },
    {
      "graph": 404,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 965,
      "candidates": 391
    },
    {
      "graph": 405,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1367,
      "candidates": 388
    },
    {
      "graph": 405,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1280,
      "candidates": 388
    },
    {
      "graph": 405,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1283,
      "candidates": 388
    },
    {
      "graph": 406,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1553,
      "candidates": 445
    },
    {
      "graph": 406,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1196,
      "candidates": 379
    },
    {
      "graph": 406,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1196,
      "candidates": 379
    },
    {
      "graph": 407,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1122,
      "candidates": 447
    },
    {
      "graph": 407,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 994,
      "candidates": 381
    },
    {
      "graph": 407,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 994,
      "candidates": 381
    },
    {
      "graph": 408,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1310,
      "candidates": 448
    },
    {
      "graph": 408,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1079,
      "candidates": 382
    },
    {
      "graph": 408,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1079,
      "candidates": 382
    },
    {
      "graph": 409,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 760,
      "candidates": 449
    },
    {
      "graph": 409,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 679,
      "candidates": 383
    },
    {
      "graph": 409,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 679,
      "candidates": 383
    },
    {
      "graph": 410,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 665,
      "candidates": 443
    },
    {
      "graph": 410,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 556,
      "candidates": 377
    },
    {
      "graph": 410,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 556,
      "candidates": 377
    },
    {
      "graph": 411,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1175,
      "candidates": 506
    },
    {
      "graph": 411,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 964,
      "candidates": 373
    },
    {
      "graph": 411,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 964,
      "candidates": 373
    },
    {
      "graph": 412,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 3527,
      "candidates": 441
    },
    {
      "graph": 412,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 3528,
      "candidates": 441
    },
    {
      "graph": 412,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 3529,
      "candidates": 441
    },
    {
      "graph": 413,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2290,
      "candidates": 438
    },
    {
      "graph": 413,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2290,
      "candidates": 438
    },
    {
      "graph": 413,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2290,
      "candidates": 438
    },
    {
      "graph": 414,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 2305,
      "candidates": 437
    },
    {
      "graph": 414,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 2307,
      "candidates": 437
    },
    {
      "graph": 414,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 2309,
      "candidates": 437
    },
    {
      "graph": 415,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1267,
      "candidates": 433
    },
    {
      "graph": 415,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1267,
      "candidates": 433
    },
    {
      "graph": 415,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1267,
      "candidates": 433
    },
    {
      "graph": 416,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 885,
      "candidates": 399
    },
    {
      "graph": 416,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 887,
      "candidates": 399
    },
    {
      "graph": 416,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 889,
      "candidates": 399
    },
    {
      "graph": 417,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 656,
      "candidates": 392
    },
    {
      "graph": 417,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 654,
      "candidates": 392
    },
    {
      "graph": 417,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 648,
      "candidates": 392
    },
    {
      "graph": 418,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 434,
      "candidates": 383
    },
    {
      "graph": 418,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 427,
      "candidates": 383
    },
    {
      "graph": 418,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 427,
      "candidates": 383
    },
    {
      "graph": 419,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 804,
      "candidates": 447
    },
    {
      "graph": 419,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 546,
      "candidates": 381
    },
    {
      "graph": 419,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 546,
      "candidates": 381
    },
    {
      "graph": 420,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 385,
      "candidates": 440
    },
    {
      "graph": 420,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 394,
      "candidates": 374
    },
    {
      "graph": 420,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 394,
      "candidates": 374
    },
    {
      "graph": 421,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 514,
      "candidates": 498
    },
    {
      "graph": 421,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 574,
      "candidates": 365
    },
    {
      "graph": 421,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 574,
      "candidates": 365
    },
    {
      "graph": 422,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 859,
      "candidates": 427
    },
    {
      "graph": 422,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 859,
      "candidates": 427
    },
    {
      "graph": 422,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 859,
      "candidates": 427
    },
    {
      "graph": 423,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 774,
      "candidates": 390
    },
    {
      "graph": 423,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 774,
      "candidates": 390
    },
    {
      "graph": 423,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 788,
      "candidates": 390
    },
    {
      "graph": 424,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1490,
      "candidates": 389
    },
    {
      "graph": 424,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1461,
      "candidates": 389
    },
    {
      "graph": 424,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1498,
      "candidates": 389
    },
    {
      "graph": 425,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1449,
      "candidates": 389
    },
    {
      "graph": 425,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1400,
      "candidates": 389
    },
    {
      "graph": 425,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1376,
      "candidates": 389
    },
    {
      "graph": 426,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1216,
      "candidates": 390
    },
    {
      "graph": 426,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1208,
      "candidates": 390
    },
    {
      "graph": 426,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1224,
      "candidates": 390
    },
    {
      "graph": 427,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1041,
      "candidates": 389
    },
    {
      "graph": 427,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1021,
      "candidates": 389
    },
    {
      "graph": 427,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1001,
      "candidates": 389
    },
    {
      "graph": 428,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 1378,
      "candidates": 391
    },
    {
      "graph": 428,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 1378,
      "candidates": 391
    },
    {
      "graph": 428,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 1390,
      "candidates": 391
    },
    {
      "graph": 429,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 472,
      "candidates": 386
    },
    {
      "graph": 429,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 475,
      "candidates": 386
    },
    {
      "graph": 429,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 475,
      "candidates": 386
    },
    {
      "graph": 430,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 597,
      "candidates": 385
    },
    {
      "graph": 430,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 590,
      "candidates": 385
    },
    {
      "graph": 430,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 579,
      "candidates": 385
    },
    {
      "graph": 431,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 366,
      "candidates": 381
    },
    {
      "graph": 431,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 357,
      "candidates": 381
    },
    {
      "graph": 431,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 342,
      "candidates": 381
    },
    {
      "graph": 432,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 382,
      "candidates": 384
    },
    {
      "graph": 432,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 334,
      "candidates": 384
    },
    {
      "graph": 432,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 358,
      "candidates": 384
    },
    {
      "graph": 433,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 534,
      "candidates": 385
    },
    {
      "graph": 433,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 534,
      "candidates": 385
    },
    {
      "graph": 433,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 525,
      "candidates": 385
    },
    {
      "graph": 434,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 338,
      "candidates": 380
    },
    {
      "graph": 434,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 338,
      "candidates": 380
    },
    {
      "graph": 434,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 348,
      "candidates": 380
    },
    {
      "graph": 435,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 331,
      "candidates": 377
    },
    {
      "graph": 435,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 337,
      "candidates": 377
    },
    {
      "graph": 435,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 319,
      "candidates": 377
    },
    {
      "graph": 436,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 295,
      "candidates": 440
    },
    {
      "graph": 436,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 349,
      "candidates": 374
    },
    {
      "graph": 436,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 349,
      "candidates": 374
    },
    {
      "graph": 437,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 436,
      "candidates": 435
    },
    {
      "graph": 437,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 349,
      "candidates": 369
    },
    {
      "graph": 437,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 349,
      "candidates": 369
    },
    {
      "graph": 438,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 830,
      "candidates": 393
    },
    {
      "graph": 438,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 840,
      "candidates": 393
    },
    {
      "graph": 438,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 854,
      "candidates": 393
    },
    {
      "graph": 439,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 462,
      "candidates": 372
    },
    {
      "graph": 439,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 462,
      "candidates": 372
    },
    {
      "graph": 439,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 462,
      "candidates": 372
    },
    {
      "graph": 440,
      "matching": 0,
      "status": "UNSAT",
      "nodes": 550,
      "candidates": 490
    },
    {
      "graph": 440,
      "matching": 1,
      "status": "UNSAT",
      "nodes": 454,
      "candidates": 357
    },
    {
      "graph": 440,
      "matching": 2,
      "status": "UNSAT",
      "nodes": 454,
      "candidates": 357
    }
  ]
}