dataset.json

[
  {
    "description": "Example data from paper",
    "data": [
      [
        2,
        4,
        1,
        2
      ],
      [
        1,
        1,
        2,
        3
      ]
    ]
  },
  {
    "description": "Fisher and Thompson 6x6 instance, alternate name (mt06)",
    "data": [
      [
        2,
        1,
        0,
        3,
        1,
        6,
        3,
        7,
        5,
        3,
        4,
        6
      ],
      [
        1,
        8,
        2,
        5,
        4,
        10,
        5,
        10,
        0,
        10,
        3,
        4
      ],
      [
        2,
        5,
        3,
        4,
        5,
        8,
        0,
        9,
        1,
        1,
        4,
        7
      ],
      [
        1,
        5,
        0,
        5,
        2,
        5,
        3,
        3,
        4,
        8,
        5,
        9
      ],
      [
        2,
        9,
        1,
        3,
        4,
        5,
        5,
        4,
        0,
        3,
        3,
        1
      ],
      [
        1,
        3,
        3,
        3,
        5,
        9,
        0,
        10,
        4,
        4,
        2,
        1
      ]
    ]
  },
  {
    "description": "Fisher and Thompson 10x10 instance, alternate name (mt10)",
    "data": [
      [
        0,
        29,
        1,
        78,
        2,
        9,
        3,
        36,
        4,
        49,
        5,
        11,
        6,
        62,
        7,
        56,
        8,
        44,
        9,
        21
      ],
      [
        0,
        43,
        2,
        90,
        4,
        75,
        9,
        11,
        3,
        69,
        1,
        28,
        6,
        46,
        5,
        46,
        7,
        72,
        8,
        30
      ],
      [
        1,
        91,
        0,
        85,
        3,
        39,
        2,
        74,
        8,
        90,
        5,
        10,
        7,
        12,
        6,
        89,
        9,
        45,
        4,
        33
      ],
      [
        1,
        81,
        2,
        95,
        0,
        71,
        4,
        99,
        6,
        9,
        8,
        52,
        7,
        85,
        3,
        98,
        9,
        22,
        5,
        43
      ],
      [
        2,
        14,
        0,
        6,
        1,
        22,
        5,
        61,
        3,
        26,
        4,
        69,
        8,
        21,
        7,
        49,
        9,
        72,
        6,
        53
      ],
      [
        2,
        84,
        1,
        2,
        5,
        52,
        3,
        95,
        8,
        48,
        9,
        72,
        0,
        47,
        6,
        65,
        4,
        6,
        7,
        25
      ],
      [
        1,
        46,
        0,
        37,
        3,
        61,
        2,
        13,
        6,
        32,
        5,
        21,
        9,
        32,
        8,
        89,
        7,
        30,
        4,
        55
      ],
      [
        2,
        31,
        0,
        86,
        1,
        46,
        5,
        74,
        4,
        32,
        6,
        88,
        8,
        19,
        9,
        48,
        7,
        36,
        3,
        79
      ],
      [
        0,
        76,
        1,
        69,
        3,
        76,
        5,
        51,
        2,
        85,
        9,
        11,
        6,
        40,
        7,
        89,
        4,
        26,
        8,
        74
      ],
      [
        1,
        85,
        0,
        13,
        2,
        61,
        6,
        7,
        8,
        64,
        9,
        76,
        5,
        47,
        3,
        52,
        4,
        90,
        7,
        45
      ]
    ]
  },
  {
    "description": "Fisher and Thompson 20x5 instance, alternate name (mt20)",
    "data": [
      [
        0,
        29,
        1,
        9,
        2,
        49,
        3,
        62,
        4,
        44
      ],
      [
        0,
        43,
        1,
        75,
        3,
        69,
        2,
        46,
        4,
        72
      ],
      [
        1,
        91,
        0,
        39,
        2,
        90,
        4,
        12,
        3,
        45
      ],
      [
        1,
        81,
        0,
        71,
        4,
        9,
        2,
        85,
        3,
        22
      ],
      [
        2,
        14,
        1,
        22,
        0,
        26,
        3,
        21,
        4,
        72
      ],
      [
        2,
        84,
        1,
        52,
        4,
        48,
        0,
        47,
        3,
        6
      ],
      [
        1,
        46,
        0,
        61,
        2,
        32,
        3,
        32,
        4,
        30
      ],
      [
        2,
        31,
        1,
        46,
        0,
        32,
        3,
        19,
        4,
        36
      ],
      [
        0,
        76,
        3,
        76,
        2,
        85,
        1,
        40,
        4,
        26
      ],
      [
        1,
        85,
        2,
        61,
        0,
        64,
        3,
        47,
        4,
        90
      ],
      [
        1,
        78,
        3,
        36,
        0,
        11,
        4,
        56,
        2,
        21
      ],
      [
        2,
        90,
        0,
        11,
        1,
        28,
        3,
        46,
        4,
        30
      ],
      [
        0,
        85,
        2,
        74,
        1,
        10,
        3,
        89,
        4,
        33
      ],
      [
        2,
        95,
        0,
        99,
        1,
        52,
        3,
        98,
        4,
        43
      ],
      [
        0,
        6,
        1,
        61,
        4,
        69,
        2,
        49,
        3,
        53
      ],
      [
        1,
        2,
        0,
        95,
        3,
        72,
        4,
        65,
        2,
        25
      ],
      [
        0,
        37,
        2,
        13,
        1,
        21,
        3,
        89,
        4,
        55
      ],
      [
        0,
        86,
        1,
        74,
        4,
        88,
        2,
        48,
        3,
        79
      ],
      [
        1,
        69,
        2,
        51,
        0,
        11,
        3,
        89,
        4,
        74
      ],
      [
        0,
        13,
        1,
        7,
        2,
        76,
        3,
        52,
        4,
        45
      ]
    ]
  },
  {
    "description": "Lawrence 10x5 instance (Table 3, instance 1); also called (setf1) or (F1)",
    "data": [
      [
        1,
        21,
        0,
        53,
        4,
        95,
        3,
        55,
        2,
        34
      ],
      [
        0,
        21,
        3,
        52,
        4,
        16,
        2,
        26,
        1,
        71
      ],
      [
        3,
        39,
        4,
        98,
        1,
        42,
        2,
        31,
        0,
        12
      ],
      [
        1,
        77,
        0,
        55,
        4,
        79,
        2,
        66,
        3,
        77
      ],
      [
        0,
        83,
        3,
        34,
        2,
        64,
        1,
        19,
        4,
        37
      ],
      [
        1,
        54,
        2,
        43,
        4,
        79,
        0,
        92,
        3,
        62
      ],
      [
        3,
        69,
        4,
        77,
        1,
        87,
        2,
        87,
        0,
        93
      ],
      [
        2,
        38,
        0,
        60,
        1,
        41,
        3,
        24,
        4,
        83
      ],
      [
        3,
        17,
        1,
        49,
        4,
        25,
        0,
        44,
        2,
        98
      ],
      [
        4,
        77,
        3,
        79,
        2,
        43,
        1,
        75,
        0,
        96
      ]
    ]
  },
  {
    "description": "Lawrence 10x5 instance (Table 3, instance 2); also called (setf2) or (F2)",
    "data": [
      [
        0,
        20,
        3,
        87,
        1,
        31,
        4,
        76,
        2,
        17
      ],
      [
        4,
        25,
        2,
        32,
        0,
        24,
        1,
        18,
        3,
        81
      ],
      [
        1,
        72,
        2,
        23,
        4,
        28,
        0,
        58,
        3,
        99
      ],
      [
        2,
        86,
        1,
        76,
        4,
        97,
        0,
        45,
        3,
        90
      ],
      [
        4,
        27,
        0,
        42,
        3,
        48,
        2,
        17,
        1,
        46
      ],
      [
        1,
        67,
        0,
        98,
        4,
        48,
        3,
        27,
        2,
        62
      ],
      [
        4,
        28,
        1,
        12,
        3,
        19,
        0,
        80,
        2,
        50
      ],
      [
        1,
        63,
        0,
        94,
        2,
        98,
        3,
        50,
        4,
        80
      ],
      [
        4,
        14,
        0,
        75,
        2,
        50,
        1,
        41,
        3,
        55
      ],
      [
        4,
        72,
        2,
        18,
        1,
        37,
        3,
        79,
        0,
        61
      ]
    ]
  },
  {
    "description": "Lawrence 10x5 instance (Table 3, instance 3); also called (setf3) or (F3)",
    "data": [
      [
        1,
        23,
        2,
        45,
        0,
        82,
        4,
        84,
        3,
        38
      ],
      [
        2,
        21,
        1,
        29,
        0,
        18,
        4,
        41,
        3,
        50
      ],
      [
        2,
        38,
        3,
        54,
        4,
        16,
        0,
        52,
        1,
        52
      ],
      [
        4,
        37,
        0,
        54,
        2,
        74,
        1,
        62,
        3,
        57
      ],
      [
        4,
        57,
        0,
        81,
        1,
        61,
        3,
        68,
        2,
        30
      ],
      [
        4,
        81,
        0,
        79,
        1,
        89,
        2,
        89,
        3,
        11
      ],
      [
        3,
        33,
        2,
        20,
        0,
        91,
        4,
        20,
        1,
        66
      ],
      [
        4,
        24,
        1,
        84,
        0,
        32,
        2,
        55,
        3,
        8
      ],
      [
        4,
        56,
        0,
        7,
        3,
        54,
        2,
        64,
        1,
        39
      ],
      [
        4,
        40,
        1,
        83,
        0,
        19,
        2,
        8,
        3,
        7
      ]
    ]
  },
  {
    "description": "Lawrence 10x5 instance (Table 3, instance 4); also called (setf4) or (F4)",
    "data": [
      [
        0,
        12,
        2,
        94,
        3,
        92,
        4,
        91,
        1,
        7
      ],
      [
        1,
        19,
        3,
        11,
        4,
        66,
        2,
        21,
        0,
        87
      ],
      [
        1,
        14,
        0,
        75,
        3,
        13,
        4,
        16,
        2,
        20
      ],
      [
        2,
        95,
        4,
        66,
        0,
        7,
        3,
        7,
        1,
        77
      ],
      [
        1,
        45,
        3,
        6,
        4,
        89,
        0,
        15,
        2,
        34
      ],
      [
        3,
        77,
        2,
        20,
        0,
        76,
        4,
        88,
        1,
        53
      ],
      [
        2,
        74,
        1,
        88,
        0,
        52,
        3,
        27,
        4,
        9
      ],
      [
        1,
        88,
        3,
        69,
        0,
        62,
        4,
        98,
        2,
        52
      ],
      [
        2,
        61,
        4,
        9,
        0,
        62,
        1,
        52,
        3,
        90
      ],
      [
        2,
        54,
        4,
        5,
        3,
        59,
        1,
        15,
        0,
        88
      ]
    ]
  },
  {
    "description": "Lawrence 10x5 instance (Table 3, instance 5); also called (setf5) or (F5)",
    "data": [
      [
        1,
        72,
        0,
        87,
        4,
        95,
        2,
        66,
        3,
        60
      ],
      [
        4,
        5,
        3,
        35,
        0,
        48,
        2,
        39,
        1,
        54
      ],
      [
        1,
        46,
        3,
        20,
        2,
        21,
        0,
        97,
        4,
        55
      ],
      [
        0,
        59,
        3,
        19,
        4,
        46,
        1,
        34,
        2,
        37
      ],
      [
        4,
        23,
        2,
        73,
        3,
        25,
        1,
        24,
        0,
        28
      ],
      [
        3,
        28,
        0,
        45,
        4,
        5,
        1,
        78,
        2,
        83
      ],
      [
        0,
        53,
        3,
        71,
        1,
        37,
        4,
        29,
        2,
        12
      ],
      [
        4,
        12,
        2,
        87,
        3,
        33,
        1,
        55,
        0,
        38
      ],
      [
        2,
        49,
        3,
        83,
        1,
        40,
        0,
        48,
        4,
        7
      ],
      [
        2,
        65,
        3,
        17,
        0,
        90,
        4,
        27,
        1,
        23
      ]
    ]
  },
  {
    "description": "Lawrence 15x5 instance (Table 4, instance 1); also called (setg1) or (G1)",
    "data": [
      [
        1,
        21,
        2,
        34,
        4,
        95,
        0,
        53,
        3,
        55
      ],
      [
        3,
        52,
        4,
        16,
        1,
        71,
        2,
        26,
        0,
        21
      ],
      [
        2,
        31,
        0,
        12,
        1,
        42,
        3,
        39,
        4,
        98
      ],
      [
        3,
        77,
        1,
        77,
        4,
        79,
        0,
        55,
        2,
        66
      ],
      [
        4,
        37,
        3,
        34,
        2,
        64,
        1,
        19,
        0,
        83
      ],
      [
        2,
        43,
        1,
        54,
        0,
        92,
        3,
        62,
        4,
        79
      ],
      [
        0,
        93,
        3,
        69,
        1,
        87,
        4,
        77,
        2,
        87
      ],
      [
        0,
        60,
        1,
        41,
        2,
        38,
        4,
        83,
        3,
        24
      ],
      [
        2,
        98,
        3,
        17,
        4,
        25,
        0,
        44,
        1,
        49
      ],
      [
        0,
        96,
        4,
        77,
        3,
        79,
        1,
        75,
        2,
        43
      ],
      [
        4,
        28,
        2,
        35,
        0,
        95,
        3,
        76,
        1,
        7
      ],
      [
        0,
        61,
        4,
        10,
        2,
        95,
        1,
        9,
        3,
        35
      ],
      [
        4,
        59,
        3,
        16,
        1,
        91,
        2,
        59,
        0,
        46
      ],
      [
        4,
        43,
        1,
        52,
        0,
        28,
        2,
        27,
        3,
        50
      ],
      [
        0,
        87,
        1,
        45,
        2,
        39,
        4,
        9,
        3,
        41
      ]
    ]
  },
  {
    "description": "Lawrence 15x5 instance (Table 4, instance 2); also called (setg2) or (G2)",
    "data": [
      [
        0,
        47,
        4,
        57,
        1,
        71,
        3,
        96,
        2,
        14
      ],
      [
        0,
        75,
        1,
        60,
        4,
        22,
        3,
        79,
        2,
        65
      ],
      [
        3,
        32,
        0,
        33,
        2,
        69,
        1,
        31,
        4,
        58
      ],
      [
        0,
        44,
        1,
        34,
        4,
        51,
        3,
        58,
        2,
        47
      ],
      [
        3,
        29,
        1,
        44,
        0,
        62,
        2,
        17,
        4,
        8
      ],
      [
        1,
        15,
        2,
        40,
        0,
        97,
        4,
        38,
        3,
        66
      ],
      [
        2,
        58,
        1,
        39,
        0,
        57,
        4,
        20,
        3,
        50
      ],
      [
        2,
        57,
        3,
        32,
        4,
        87,
        0,
        63,
        1,
        21
      ],
      [
        4,
        56,
        0,
        84,
        2,
        90,
        1,
        85,
        3,
        61
      ],
      [
        4,
        15,
        0,
        20,
        1,
        67,
        3,
        30,
        2,
        70
      ],
      [
        4,
        84,
        0,
        82,
        1,
        23,
        2,
        45,
        3,
        38
      ],
      [
        3,
        50,
        2,
        21,
        0,
        18,
        4,
        41,
        1,
        29
      ],
      [
        4,
        16,
        1,
        52,
        0,
        52,
        2,
        38,
        3,
        54
      ],
      [
        4,
        37,
        0,
        54,
        3,
        57,
        2,
        74,
        1,
        62
      ],
      [
        4,
        57,
        1,
        61,
        0,
        81,
        2,
        30,
        3,
        68
      ]
    ]
  },
  {
    "description": "Lawrence 15x5 instance (Table 4, instance 3); also called (setg3) or (G3)",
    "data": [
      [
        3,
        92,
        2,
        94,
        0,
        12,
        4,
        91,
        1,
        7
      ],
      [
        2,
        21,
        1,
        19,
        0,
        87,
        3,
        11,
        4,
        66
      ],
      [
        1,
        14,
        3,
        13,
        0,
        75,
        4,
        16,
        2,
        20
      ],
      [
        2,
        95,
        4,
        66,
        0,
        7,
        1,
        77,
        3,
        7
      ],
      [
        2,
        34,
        4,
        89,
        3,
        6,
        1,
        45,
        0,
        15
      ],
      [
        4,
        88,
        3,
        77,
        2,
        20,
        1,
        53,
        0,
        76
      ],
      [
        4,
        9,
        3,
        27,
        0,
        52,
        1,
        88,
        2,
        74
      ],
      [
        3,
        69,
        2,
        52,
        0,
        62,
        1,
        88,
        4,
        98
      ],
      [
        3,
        90,
        0,
        62,
        4,
        9,
        2,
        61,
        1,
        52
      ],
      [
        4,
        5,
        2,
        54,
        3,
        59,
        0,
        88,
        1,
        15
      ],
      [
        0,
        41,
        1,
        50,
        4,
        78,
        3,
        53,
        2,
        23
      ],
      [
        0,
        38,
        4,
        72,
        2,
        91,
        3,
        68,
        1,
        71
      ],
      [
        0,
        45,
        3,
        95,
        4,
        52,
        2,
        25,
        1,
        6
      ],
      [
        3,
        30,
        1,
        66,
        0,
        23,
        4,
        36,
        2,
        17
      ],
      [
        2,
        95,
        0,
        71,
        3,
        76,
        1,
        8,
        4,
        88
      ]
    ]
  },
  {
    "description": "Lawrence 15x5 instance (Table 4, instance 4); also called (setg4) or (G4)",
    "data": [
      [
        1,
        66,
        3,
        85,
        2,
        84,
        0,
        62,
        4,
        19
      ],
      [
        3,
        59,
        1,
        64,
        2,
        46,
        4,
        13,
        0,
        25
      ],
      [
        4,
        88,
        3,
        80,
        1,
        73,
        2,
        53,
        0,
        41
      ],
      [
        0,
        14,
        1,
        67,
        2,
        57,
        3,
        74,
        4,
        47
      ],
      [
        0,
        84,
        4,
        64,
        2,
        41,
        3,
        84,
        1,
        78
      ],
      [
        0,
        63,
        3,
        28,
        1,
        46,
        2,
        26,
        4,
        52
      ],
      [
        3,
        10,
        2,
        17,
        4,
        73,
        1,
        11,
        0,
        64
      ],
      [
        2,
        67,
        1,
        97,
        3,
        95,
        4,
        38,
        0,
        85
      ],
      [
        2,
        95,
        4,
        46,
        0,
        59,
        1,
        65,
        3,
        93
      ],
      [
        2,
        43,
        4,
        85,
        3,
        32,
        1,
        85,
        0,
        60
      ],
      [
        4,
        49,
        3,
        41,
        2,
        61,
        0,
        66,
        1,
        90
      ],
      [
        1,
        17,
        0,
        23,
        3,
        70,
        4,
        99,
        2,
        49
      ],
      [
        4,
        40,
        3,
        73,
        0,
        73,
        1,
        98,
        2,
        68
      ],
      [
        3,
        57,
        1,
        9,
        2,
        7,
        0,
        13,
        4,
        98
      ],
      [
        0,
        37,
        1,
        85,
        2,
        17,
        4,
        79,
        3,
        41
      ]
    ]
  },
  {
    "description": "Lawrence 15x5 instance (Table 4, instance 5); also called (setg5) or (G5)",
    "data": [
      [
        1,
        58,
        2,
        44,
        3,
        5,
        0,
        9,
        4,
        58
      ],
      [
        1,
        89,
        0,
        97,
        4,
        96,
        3,
        77,
        2,
        84
      ],
      [
        0,
        77,
        1,
        87,
        2,
        81,
        4,
        39,
        3,
        85
      ],
      [
        3,
        57,
        1,
        21,
        2,
        31,
        0,
        15,
        4,
        73
      ],
      [
        2,
        48,
        0,
        40,
        1,
        49,
        3,
        70,
        4,
        71
      ],
      [
        3,
        34,
        4,
        82,
        2,
        80,
        0,
        10,
        1,
        22
      ],
      [
        1,
        91,
        4,
        75,
        0,
        55,
        2,
        17,
        3,
        7
      ],
      [
        2,
        62,
        3,
        47,
        1,
        72,
        4,
        35,
        0,
        11
      ],
      [
        0,
        64,
        3,
        75,
        4,
        50,
        1,
        90,
        2,
        94
      ],
      [
        2,
        67,
        4,
        20,
        3,
        15,
        0,
        12,
        1,
        71
      ],
      [
        0,
        52,
        4,
        93,
        3,
        68,
        2,
        29,
        1,
        57
      ],
      [
        2,
        70,
        0,
        58,
        1,
        93,
        4,
        7,
        3,
        77
      ],
      [
        3,
        27,
        2,
        82,
        1,
        63,
        4,
        6,
        0,
        95
      ],
      [
        1,
        87,
        2,
        56,
        4,
        36,
        0,
        26,
        3,
        48
      ],
      [
        3,
        76,
        2,
        36,
        0,
        36,
        4,
        15,
        1,
        8
      ]
    ]
  },
  {
    "description": "Lawrence 20x5 instance (Table 5, instance 1); also called (seth1) or H1",
    "data": [
      [
        2,
        34,
        1,
        21,
        0,
        53,
        3,
        55,
        4,
        95
      ],
      [
        0,
        21,
        3,
        52,
        1,
        71,
        4,
        16,
        2,
        26
      ],
      [
        0,
        12,
        1,
        42,
        2,
        31,
        4,
        98,
        3,
        39
      ],
      [
        2,
        66,
        3,
        77,
        4,
        79,
        0,
        55,
        1,
        77
      ],
      [
        0,
        83,
        4,
        37,
        3,
        34,
        1,
        19,
        2,
        64
      ],
      [
        4,
        79,
        2,
        43,
        0,
        92,
        3,
        62,
        1,
        54
      ],
      [
        0,
        93,
        4,
        77,
        2,
        87,
        1,
        87,
        3,
        69
      ],
      [
        4,
        83,
        3,
        24,
        1,
        41,
        2,
        38,
        0,
        60
      ],
      [
        4,
        25,
        1,
        49,
        0,
        44,
        2,
        98,
        3,
        17
      ],
      [
        0,
        96,
        1,
        75,
        2,
        43,
        4,
        77,
        3,
        79
      ],
      [
        0,
        95,
        3,
        76,
        1,
        7,
        4,
        28,
        2,
        35
      ],
      [
        4,
        10,
        2,
        95,
        0,
        61,
        1,
        9,
        3,
        35
      ],
      [
        1,
        91,
        2,
        59,
        4,
        59,
        0,
        46,
        3,
        16
      ],
      [
        2,
        27,
        1,
        52,
        4,
        43,
        0,
        28,
        3,
        50
      ],
      [
        4,
        9,
        0,
        87,
        3,
        41,
        2,
        39,
        1,
        45
      ],
      [
        1,
        54,
        0,
        20,
        4,
        43,
        3,
        14,
        2,
        71
      ],
      [
        4,
        33,
        1,
        28,
        3,
        26,
        0,
        78,
        2,
        37
      ],
      [
        1,
        89,
        0,
        33,
        2,
        8,
        3,
        66,
        4,
        42
      ],
      [
        4,
        84,
        0,
        69,
        2,
        94,
        1,
        74,
        3,
        27
      ],
      [
        4,
        81,
        2,
        45,
        1,
        78,
        3,
        69,
        0,
        96
      ]
    ]
  },
  {
    "description": "Lawrence 20x5 instance (Table 5, instance 2); also called (seth2) or H2",
    "data": [
      [
        1,
        23,
        0,
        82,
        4,
        84,
        2,
        45,
        3,
        38
      ],
      [
        3,
        50,
        4,
        41,
        1,
        29,
        0,
        18,
        2,
        21
      ],
      [
        4,
        16,
        3,
        54,
        1,
        52,
        2,
        38,
        0,
        52
      ],
      [
        1,
        62,
        3,
        57,
        4,
        37,
        2,
        74,
        0,
        54
      ],
      [
        3,
        68,
        1,
        61,
        2,
        30,
        0,
        81,
        4,
        57
      ],
      [
        1,
        89,
        2,
        89,
        3,
        11,
        0,
        79,
        4,
        81
      ],
      [
        1,
        66,
        0,
        91,
        3,
        33,
        4,
        20,
        2,
        20
      ],
      [
        3,
        8,
        4,
        24,
        2,
        55,
        0,
        32,
        1,
        84
      ],
      [
        0,
        7,
        2,
        64,
        1,
        39,
        4,
        56,
        3,
        54
      ],
      [
        0,
        19,
        4,
        40,
        3,
        7,
        2,
        8,
        1,
        83
      ],
      [
        0,
        63,
        2,
        64,
        3,
        91,
        4,
        40,
        1,
        6
      ],
      [
        1,
        42,
        3,
        61,
        4,
        15,
        2,
        98,
        0,
        74
      ],
      [
        1,
        80,
        0,
        26,
        3,
        75,
        4,
        6,
        2,
        87
      ],
      [
        2,
        39,
        4,
        22,
        0,
        75,
        3,
        24,
        1,
        44
      ],
      [
        1,
        15,
        3,
        79,
        4,
        8,
        0,
        12,
        2,
        20
      ],
      [
        3,
        26,
        2,
        43,
        0,
        80,
        4,
        22,
        1,
        61
      ],
      [
        2,
        62,
        1,
        36,
        0,
        63,
        3,
        96,
        4,
        40
      ],
      [
        1,
        33,
        3,
        18,
        0,
        22,
        4,
        5,
        2,
        10
      ],
      [
        2,
        64,
        4,
        64,
        0,
        89,
        1,
        96,
        3,
        95
      ],
      [
        2,
        18,
        4,
        23,
        3,
        15,
        1,
        38,
        0,
        8
      ]
    ]
  },
  {
    "description": "Lawrence 20x5 instance (Table 5, instance 3); also called (seth3) or (H3)",
    "data": [
      [
        3,
        60,
        0,
        87,
        1,
        72,
        4,
        95,
        2,
        66
      ],
      [
        1,
        54,
        0,
        48,
        2,
        39,
        3,
        35,
        4,
        5
      ],
      [
        3,
        20,
        1,
        46,
        0,
        97,
        2,
        21,
        4,
        55
      ],
      [
        2,
        37,
        0,
        59,
        3,
        19,
        1,
        34,
        4,
        46
      ],
      [
        2,
        73,
        3,
        25,
        1,
        24,
        0,
        28,
        4,
        23
      ],
      [
        1,
        78,
        3,
        28,
        2,
        83,
        0,
        45,
        4,
        5
      ],
      [
        3,
        71,
        1,
        37,
        2,
        12,
        4,
        29,
        0,
        53
      ],
      [
        4,
        12,
        3,
        33,
        1,
        55,
        2,
        87,
        0,
        38
      ],
      [
        0,
        48,
        1,
        40,
        2,
        49,
        3,
        83,
        4,
        7
      ],
      [
        0,
        90,
        4,
        27,
        2,
        65,
        3,
        17,
        1,
        23
      ],
      [
        0,
        62,
        3,
        85,
        1,
        66,
        2,
        84,
        4,
        19
      ],
      [
        3,
        59,
        2,
        46,
        4,
        13,
        1,
        64,
        0,
        25
      ],
      [
        2,
        53,
        1,
        73,
        3,
        80,
        4,
        88,
        0,
        41
      ],
      [
        2,
        57,
        4,
        47,
        0,
        14,
        1,
        67,
        3,
        74
      ],
      [
        2,
        41,
        4,
        64,
        3,
        84,
        1,
        78,
        0,
        84
      ],
      [
        4,
        52,
        3,
        28,
        2,
        26,
        0,
        63,
        1,
        46
      ],
      [
        1,
        11,
        0,
        64,
        3,
        10,
        4,
        73,
        2,
        17
      ],
      [
        4,
        38,
        3,
        95,
        0,
        85,
        1,
        97,
        2,
        67
      ],
      [
        3,
        93,
        1,
        65,
        2,
        95,
        0,
        59,
        4,
        46
      ],
      [
        0,
        60,
        1,
        85,
        2,
        43,
        4,
        85,
        3,
        32
      ]
    ]
  },
  {
    "description": "Lawrence 20x5 instance (Table 5, instance 4); also called (seth4) or (H4)",
    "data": [
      [
        3,
        5,
        4,
        58,
        2,
        44,
        0,
        9,
        1,
        58
      ],
      [
        1,
        89,
        4,
        96,
        0,
        97,
        2,
        84,
        3,
        77
      ],
      [
        2,
        81,
        3,
        85,
        1,
        87,
        4,
        39,
        0,
        77
      ],
      [
        0,
        15,
        3,
        57,
        4,
        73,
        1,
        21,
        2,
        31
      ],
      [
        2,
        48,
        4,
        71,
        3,
        70,
        0,
        40,
        1,
        49
      ],
      [
        0,
        10,
        4,
        82,
        3,
        34,
        2,
        80,
        1,
        22
      ],
      [
        2,
        17,
        0,
        55,
        1,
        91,
        4,
        75,
        3,
        7
      ],
      [
        3,
        47,
        2,
        62,
        1,
        72,
        4,
        35,
        0,
        11
      ],
      [
        1,
        90,
        2,
        94,
        4,
        50,
        0,
        64,
        3,
        75
      ],
      [
        3,
        15,
        2,
        67,
        0,
        12,
        4,
        20,
        1,
        71
      ],
      [
        4,
        93,
        2,
        29,
        0,
        52,
        1,
        57,
        3,
        68
      ],
      [
        3,
        77,
        1,
        93,
        0,
        58,
        2,
        70,
        4,
        7
      ],
      [
        1,
        63,
        3,
        27,
        0,
        95,
        4,
        6,
        2,
        82
      ],
      [
        4,
        36,
        0,
        26,
        3,
        48,
        2,
        56,
        1,
        87
      ],
      [
        2,
        36,
        1,
        8,
        4,
        15,
        3,
        76,
        0,
        36
      ],
      [
        4,
        78,
        1,
        84,
        3,
        41,
        0,
        30,
        2,
        76
      ],
      [
        1,
        78,
        0,
        75,
        4,
        88,
        3,
        13,
        2,
        81
      ],
      [
        0,
        54,
        4,
        40,
        2,
        13,
        1,
        82,
        3,
        29
      ],
      [
        1,
        26,
        4,
        82,
        0,
        52,
        3,
        6,
        2,
        6
      ],
      [
        3,
        54,
        1,
        64,
        0,
        54,
        2,
        32,
        4,
        88
      ]
    ]
  },
  {
    "description": "Lawrence 20x5 instance (Table 5, instance 5); also called (seth5) or (H5)",
    "data": [
      [
        0,
        6,
        2,
        40,
        1,
        81,
        3,
        37,
        4,
        19
      ],
      [
        2,
        40,
        3,
        32,
        0,
        55,
        4,
        81,
        1,
        9
      ],
      [
        1,
        46,
        4,
        65,
        2,
        70,
        3,
        55,
        0,
        77
      ],
      [
        2,
        21,
        4,
        65,
        0,
        64,
        3,
        25,
        1,
        15
      ],
      [
        2,
        85,
        0,
        40,
        1,
        44,
        3,
        24,
        4,
        37
      ],
      [
        0,
        89,
        4,
        29,
        1,
        83,
        3,
        31,
        2,
        84
      ],
      [
        4,
        59,
        3,
        38,
        1,
        80,
        2,
        30,
        0,
        8
      ],
      [
        0,
        80,
        2,
        56,
        1,
        77,
        4,
        41,
        3,
        97
      ],
      [
        4,
        56,
        0,
        91,
        3,
        50,
        2,
        71,
        1,
        17
      ],
      [
        1,
        40,
        0,
        88,
        4,
        59,
        2,
        7,
        3,
        80
      ],
      [
        0,
        45,
        1,
        29,
        2,
        8,
        4,
        77,
        3,
        58
      ],
      [
        2,
        36,
        0,
        54,
        3,
        96,
        1,
        9,
        4,
        10
      ],
      [
        0,
        28,
        2,
        73,
        1,
        98,
        3,
        92,
        4,
        87
      ],
      [
        0,
        70,
        3,
        86,
        2,
        27,
        1,
        99,
        4,
        96
      ],
      [
        1,
        95,
        0,
        59,
        4,
        56,
        3,
        85,
        2,
        41
      ],
      [
        1,
        81,
        2,
        92,
        4,
        32,
        0,
        52,
        3,
        39
      ],
      [
        1,
        7,
        4,
        22,
        2,
        12,
        0,
        88,
        3,
        60
      ],
      [
        3,
        45,
        0,
        93,
        2,
        69,
        4,
        49,
        1,
        27
      ],
      [
        0,
        21,
        1,
        84,
        2,
        61,
        3,
        68,
        4,
        26
      ],
      [
        1,
        82,
        2,
        33,
        4,
        71,
        0,
        99,
        3,
        44
      ]
    ]
  },
  {
    "description": "Lawrence 10x10 instance (Table 6, instance 1); also called (seta1) or (A1)",
    "data": [
      [
        1,
        21,
        6,
        71,
        9,
        16,
        8,
        52,
        7,
        26,
        2,
        34,
        0,
        53,
        4,
        21,
        3,
        55,
        5,
        95
      ],
      [
        4,
        55,
        2,
        31,
        5,
        98,
        9,
        79,
        0,
        12,
        7,
        66,
        1,
        42,
        8,
        77,
        6,
        77,
        3,
        39
      ],
      [
        3,
        34,
        2,
        64,
        8,
        62,
        1,
        19,
        4,
        92,
        9,
        79,
        7,
        43,
        6,
        54,
        0,
        83,
        5,
        37
      ],
      [
        1,
        87,
        3,
        69,
        2,
        87,
        7,
        38,
        8,
        24,
        9,
        83,
        6,
        41,
        0,
        93,
        5,
        77,
        4,
        60
      ],
      [
        2,
        98,
        0,
        44,
        5,
        25,
        6,
        75,
        7,
        43,
        1,
        49,
        4,
        96,
        9,
        77,
        3,
        17,
        8,
        79
      ],
      [
        2,
        35,
        3,
        76,
        5,
        28,
        9,
        10,
        4,
        61,
        6,
        9,
        0,
        95,
        8,
        35,
        1,
        7,
        7,
        95
      ],
      [
        3,
        16,
        2,
        59,
        0,
        46,
        1,
        91,
        9,
        43,
        8,
        50,
        6,
        52,
        5,
        59,
        4,
        28,
        7,
        27
      ],
      [
        1,
        45,
        0,
        87,
        3,
        41,
        4,
        20,
        6,
        54,
        9,
        43,
        8,
        14,
        5,
        9,
        2,
        39,
        7,
        71
      ],
      [
        4,
        33,
        2,
        37,
        8,
        66,
        5,
        33,
        3,
        26,
        7,
        8,
        1,
        28,
        6,
        89,
        9,
        42,
        0,
        78
      ],
      [
        8,
        69,
        9,
        81,
        2,
        94,
        4,
        96,
        3,
        27,
        0,
        69,
        7,
        45,
        6,
        78,
        1,
        74,
        5,
        84
      ]
    ]
  },
  {
    "description": "Lawrence 10x10 instance (Table 6, instance 2); also called (seta2) or (A2)",
    "data": [
      [
        4,
        18,
        7,
        21,
        9,
        41,
        2,
        45,
        3,
        38,
        8,
        50,
        5,
        84,
        6,
        29,
        1,
        23,
        0,
        82
      ],
      [
        8,
        57,
        5,
        16,
        1,
        52,
        7,
        74,
        2,
        38,
        3,
        54,
        6,
        62,
        9,
        37,
        4,
        54,
        0,
        52
      ],
      [
        2,
        30,
        4,
        79,
        3,
        68,
        1,
        61,
        8,
        11,
        6,
        89,
        7,
        89,
        0,
        81,
        9,
        81,
        5,
        57
      ],
      [
        0,
        91,
        8,
        8,
        3,
        33,
        7,
        55,
        5,
        20,
        2,
        20,
        4,
        32,
        6,
        84,
        1,
        66,
        9,
        24
      ],
      [
        9,
        40,
        0,
        7,
        4,
        19,
        8,
        7,
        6,
        83,
        2,
        64,
        5,
        56,
        3,
        54,
        7,
        8,
        1,
        39
      ],
      [
        3,
        91,
        2,
        64,
        5,
        40,
        0,
        63,
        7,
        98,
        4,
        74,
        8,
        61,
        1,
        6,
        6,
        42,
        9,
        15
      ],
      [
        1,
        80,
        7,
        39,
        8,
        24,
        3,
        75,
        4,
        75,
        5,
        6,
        6,
        44,
        0,
        26,
        2,
        87,
        9,
        22
      ],
      [
        1,
        15,
        7,
        43,
        2,
        20,
        0,
        12,
        8,
        26,
        6,
        61,
        3,
        79,
        9,
        22,
        5,
        8,
        4,
        80
      ],
      [
        2,
        62,
        3,
        96,
        4,
        22,
        9,
        5,
        0,
        63,
        6,
        33,
        7,
        10,
        8,
        18,
        1,
        36,
        5,
        40
      ],
      [
        1,
        96,
        0,
        89,
        5,
        64,
        3,
        95,
        9,
        23,
        7,
        18,
        8,
        15,
        2,
        64,
        6,
        38,
        4,
        8
      ]
    ]
  },
  {
    "description": "Lawrence 10x10 instance (Table 6, instance 3); also called (seta3) or (A3)",
    "data": [
      [
        6,
        54,
        0,
        87,
        4,
        48,
        3,
        60,
        7,
        39,
        8,
        35,
        1,
        72,
        5,
        95,
        2,
        66,
        9,
        5
      ],
      [
        3,
        20,
        9,
        46,
        6,
        34,
        5,
        55,
        0,
        97,
        8,
        19,
        4,
        59,
        2,
        21,
        7,
        37,
        1,
        46
      ],
      [
        4,
        45,
        1,
        24,
        8,
        28,
        0,
        28,
        7,
        83,
        6,
        78,
        5,
        23,
        3,
        25,
        9,
        5,
        2,
        73
      ],
      [
        9,
        12,
        1,
        37,
        4,
        38,
        3,
        71,
        8,
        33,
        2,
        12,
        6,
        55,
        0,
        53,
        7,
        87,
        5,
        29
      ],
      [
        3,
        83,
        2,
        49,
        6,
        23,
        9,
        27,
        7,
        65,
        0,
        48,
        4,
        90,
        5,
        7,
        1,
        40,
        8,
        17
      ],
      [
        1,
        66,
        4,
        25,
        0,
        62,
        2,
        84,
        9,
        13,
        6,
        64,
        7,
        46,
        8,
        59,
        5,
        19,
        3,
        85
      ],
      [
        1,
        73,
        3,
        80,
        0,
        41,
        2,
        53,
        9,
        47,
        7,
        57,
        8,
        74,
        4,
        14,
        6,
        67,
        5,
        88
      ],
      [
        5,
        64,
        3,
        84,
        6,
        46,
        1,
        78,
        0,
        84,
        7,
        26,
        8,
        28,
        9,
        52,
        2,
        41,
        4,
        63
      ],
      [
        1,
        11,
        0,
        64,
        7,
        67,
        4,
        85,
        3,
        10,
        5,
        73,
        9,
        38,
        8,
        95,
        6,
        97,
        2,
        17
      ],
      [
        4,
        60,
        8,
        32,
        2,
        95,
        3,
        93,
        1,
        65,
        6,
        85,
        7,
        43,
        9,
        85,
        5,
        46,
        0,
        59
      ]
    ]
  },
  {
    "description": "Lawrence 10x10 instance (Table 6, instance 4); also called (seta4) or (A4)",
    "data": [
      [
        2,
        44,
        3,
        5,
        5,
        58,
        4,
        97,
        0,
        9,
        7,
        84,
        8,
        77,
        9,
        96,
        1,
        58,
        6,
        89
      ],
      [
        4,
        15,
        7,
        31,
        1,
        87,
        8,
        57,
        0,
        77,
        3,
        85,
        2,
        81,
        5,
        39,
        9,
        73,
        6,
        21
      ],
      [
        9,
        82,
        6,
        22,
        4,
        10,
        3,
        70,
        1,
        49,
        0,
        40,
        8,
        34,
        2,
        48,
        7,
        80,
        5,
        71
      ],
      [
        1,
        91,
        2,
        17,
        7,
        62,
        5,
        75,
        8,
        47,
        4,
        11,
        3,
        7,
        6,
        72,
        9,
        35,
        0,
        55
      ],
      [
        6,
        71,
        1,
        90,
        3,
        75,
        0,
        64,
        2,
        94,
        8,
        15,
        4,
        12,
        7,
        67,
        9,
        20,
        5,
        50
      ],
      [
        7,
        70,
        5,
        93,
        8,
        77,
        2,
        29,
        4,
        58,
        6,
        93,
        3,
        68,
        1,
        57,
        9,
        7,
        0,
        52
      ],
      [
        6,
        87,
        1,
        63,
        4,
        26,
        5,
        6,
        2,
        82,
        3,
        27,
        7,
        56,
        8,
        48,
        9,
        36,
        0,
        95
      ],
      [
        0,
        36,
        5,
        15,
        8,
        41,
        9,
        78,
        3,
        76,
        6,
        84,
        4,
        30,
        7,
        76,
        2,
        36,
        1,
        8
      ],
      [
        5,
        88,
        2,
        81,
        3,
        13,
        6,
        82,
        4,
        54,
        7,
        13,
        8,
        29,
        9,
        40,
        1,
        78,
        0,
        75
      ],
      [
        9,
        88,
        4,
        54,
        6,
        64,
        7,
        32,
        0,
        52,
        2,
        6,
        8,
        54,
        5,
        82,
        3,
        6,
        1,
        26
      ]
    ]
  },
  {
    "description": "Lawrence 10x10 instance (Table 6, instance 5); also called (seta5) or (A5)",
    "data": [
      [
        6,
        9,
        1,
        81,
        4,
        55,
        2,
        40,
        8,
        32,
        3,
        37,
        0,
        6,
        5,
        19,
        9,
        81,
        7,
        40
      ],
      [
        7,
        21,
        2,
        70,
        9,
        65,
        4,
        64,
        1,
        46,
        5,
        65,
        8,
        25,
        0,
        77,
        3,
        55,
        6,
        15
      ],
      [
        2,
        85,
        5,
        37,
        0,
        40,
        3,
        24,
        1,
        44,
        6,
        83,
        4,
        89,
        8,
        31,
        7,
        84,
        9,
        29
      ],
      [
        4,
        80,
        6,
        77,
        7,
        56,
        0,
        8,
        2,
        30,
        5,
        59,
        3,
        38,
        1,
        80,
        9,
        41,
        8,
        97
      ],
      [
        0,
        91,
        6,
        40,
        4,
        88,
        1,
        17,
        2,
        71,
        3,
        50,
        9,
        59,
        8,
        80,
        5,
        56,
        7,
        7
      ],
      [
        2,
        8,
        6,
        9,
        3,
        58,
        5,
        77,
        1,
        29,
        8,
        96,
        0,
        45,
        9,
        10,
        4,
        54,
        7,
        36
      ],
      [
        4,
        70,
        3,
        92,
        1,
        98,
        5,
        87,
        6,
        99,
        7,
        27,
        8,
        86,
        9,
        96,
        0,
        28,
        2,
        73
      ],
      [
        1,
        95,
        7,
        92,
        3,
        85,
        4,
        52,
        6,
        81,
        9,
        32,
        8,
        39,
        0,
        59,
        2,
        41,
        5,
        56
      ],
      [
        3,
        60,
        8,
        45,
        0,
        88,
        2,
        12,
        1,
        7,
        5,
        22,
        4,
        93,
        9,
        49,
        7,
        69,
        6,
        27
      ],
      [
        0,
        21,
        2,
        61,
        3,
        68,
        5,
        26,
        6,
        82,
        9,
        71,
        8,
        44,
        4,
        99,
        7,
        33,
        1,
        84
      ]
    ]
  },
  {
    "description": "Lawrence 15x10 instance (Table 7, instance 1); also called (setb1) or (B1)",
    "data": [
      [
        2,
        34,
        3,
        55,
        5,
        95,
        9,
        16,
        4,
        21,
        6,
        71,
        0,
        53,
        8,
        52,
        1,
        21,
        7,
        26
      ],
      [
        3,
        39,
        2,
        31,
        0,
        12,
        1,
        42,
        9,
        79,
        8,
        77,
        6,
        77,
        5,
        98,
        4,
        55,
        7,
        66
      ],
      [
        1,
        19,
        0,
        83,
        3,
        34,
        4,
        92,
        6,
        54,
        9,
        79,
        8,
        62,
        5,
        37,
        2,
        64,
        7,
        43
      ],
      [
        4,
        60,
        2,
        87,
        8,
        24,
        5,
        77,
        3,
        69,
        7,
        38,
        1,
        87,
        6,
        41,
        9,
        83,
        0,
        93
      ],
      [
        8,
        79,
        9,
        77,
        2,
        98,
        4,
        96,
        3,
        17,
        0,
        44,
        7,
        43,
        6,
        75,
        1,
        49,
        5,
        25
      ],
      [
        8,
        35,
        7,
        95,
        6,
        9,
        9,
        10,
        2,
        35,
        1,
        7,
        5,
        28,
        4,
        61,
        0,
        95,
        3,
        76
      ],
      [
        4,
        28,
        5,
        59,
        3,
        16,
        9,
        43,
        0,
        46,
        8,
        50,
        6,
        52,
        7,
        27,
        2,
        59,
        1,
        91
      ],
      [
        5,
        9,
        4,
        20,
        2,
        39,
        6,
        54,
        1,
        45,
        7,
        71,
        0,
        87,
        3,
        41,
        9,
        43,
        8,
        14
      ],
      [
        1,
        28,
        5,
        33,
        0,
        78,
        3,
        26,
        2,
        37,
        7,
        8,
        8,
        66,
        6,
        89,
        9,
        42,
        4,
        33
      ],
      [
        2,
        94,
        5,
        84,
        6,
        78,
        9,
        81,
        1,
        74,
        3,
        27,
        8,
        69,
        0,
        69,
        7,
        45,
        4,
        96
      ],
      [
        1,
        31,
        4,
        24,
        0,
        20,
        2,
        17,
        9,
        25,
        8,
        81,
        5,
        76,
        3,
        87,
        7,
        32,
        6,
        18
      ],
      [
        5,
        28,
        9,
        97,
        0,
        58,
        4,
        45,
        6,
        76,
        3,
        99,
        2,
        23,
        1,
        72,
        8,
        90,
        7,
        86
      ],
      [
        5,
        27,
        9,
        48,
        8,
        27,
        7,
        62,
        4,
        98,
        6,
        67,
        3,
        48,
        0,
        42,
        1,
        46,
        2,
        17
      ],
      [
        1,
        12,
        8,
        50,
        0,
        80,
        2,
        50,
        9,
        80,
        3,
        19,
        5,
        28,
        6,
        63,
        4,
        94,
        7,
        98
      ],
      [
        4,
        61,
        3,
        55,
        6,
        37,
        5,
        14,
        2,
        50,
        8,
        79,
        1,
        41,
        9,
        72,
        7,
        18,
        0,
        75
      ]
    ]
  },
  {
    "description": "Lawrence 15x10 instance (Table 7, instance 2); also called (setb2) or (B2)",
    "data": [
      [
        9,
        66,
        5,
        91,
        4,
        87,
        2,
        94,
        7,
        21,
        3,
        92,
        1,
        7,
        0,
        12,
        8,
        11,
        6,
        19
      ],
      [
        3,
        13,
        2,
        20,
        4,
        7,
        1,
        14,
        9,
        66,
        0,
        75,
        6,
        77,
        5,
        16,
        7,
        95,
        8,
        7
      ],
      [
        8,
        77,
        7,
        20,
        2,
        34,
        0,
        15,
        9,
        88,
        5,
        89,
        6,
        53,
        3,
        6,
        1,
        45,
        4,
        76
      ],
      [
        3,
        27,
        2,
        74,
        6,
        88,
        4,
        62,
        7,
        52,
        8,
        69,
        5,
        9,
        9,
        98,
        0,
        52,
        1,
        88
      ],
      [
        4,
        88,
        6,
        15,
        1,
        52,
        2,
        61,
        7,
        54,
        0,
        62,
        8,
        59,
        5,
        9,
        3,
        90,
        9,
        5
      ],
      [
        6,
        71,
        0,
        41,
        4,
        38,
        3,
        53,
        7,
        91,
        8,
        68,
        1,
        50,
        5,
        78,
        2,
        23,
        9,
        72
      ],
      [
        3,
        95,
        9,
        36,
        6,
        66,
        5,
        52,
        0,
        45,
        8,
        30,
        4,
        23,
        2,
        25,
        7,
        17,
        1,
        6
      ],
      [
        4,
        65,
        1,
        8,
        8,
        85,
        0,
        71,
        7,
        65,
        6,
        28,
        5,
        88,
        3,
        76,
        9,
        27,
        2,
        95
      ],
      [
        9,
        37,
        1,
        37,
        4,
        28,
        3,
        51,
        8,
        86,
        2,
        9,
        6,
        55,
        0,
        73,
        7,
        51,
        5,
        90
      ],
      [
        3,
        39,
        2,
        15,
        6,
        83,
        9,
        44,
        7,
        53,
        0,
        16,
        4,
        46,
        5,
        24,
        1,
        25,
        8,
        82
      ],
      [
        1,
        72,
        4,
        48,
        0,
        87,
        2,
        66,
        9,
        5,
        6,
        54,
        7,
        39,
        8,
        35,
        5,
        95,
        3,
        60
      ],
      [
        1,
        46,
        3,
        20,
        0,
        97,
        2,
        21,
        9,
        46,
        7,
        37,
        8,
        19,
        4,
        59,
        6,
        34,
        5,
        55
      ],
      [
        5,
        23,
        3,
        25,
        6,
        78,
        1,
        24,
        0,
        28,
        7,
        83,
        8,
        28,
        9,
        5,
        2,
        73,
        4,
        45
      ],
      [
        1,
        37,
        0,
        53,
        7,
        87,
        4,
        38,
        3,
        71,
        5,
        29,
        9,
        12,
        8,
        33,
        6,
        55,
        2,
        12
      ],
      [
        4,
        90,
        8,
        17,
        2,
        49,
        3,
        83,
        1,
        40,
        6,
        23,
        7,
        65,
        9,
        27,
        5,
        7,
        0,
        48
      ]
    ]
  },
  {
    "description": "Lawrence 15x10 instance (Table 7, instance 3); also called (setb3) or (B3)",
    "data": [
      [
        7,
        84,
        5,
        58,
        8,
        77,
        2,
        44,
        4,
        97,
        6,
        89,
        3,
        5,
        1,
        58,
        9,
        96,
        0,
        9
      ],
      [
        6,
        21,
        1,
        87,
        4,
        15,
        5,
        39,
        2,
        81,
        3,
        85,
        7,
        31,
        8,
        57,
        9,
        73,
        0,
        77
      ],
      [
        0,
        40,
        5,
        71,
        8,
        34,
        9,
        82,
        3,
        70,
        6,
        22,
        4,
        10,
        7,
        80,
        2,
        48,
        1,
        49
      ],
      [
        5,
        75,
        2,
        17,
        3,
        7,
        6,
        72,
        4,
        11,
        7,
        62,
        8,
        47,
        9,
        35,
        1,
        91,
        0,
        55
      ],
      [
        9,
        20,
        4,
        12,
        6,
        71,
        7,
        67,
        0,
        64,
        2,
        94,
        8,
        15,
        5,
        50,
        3,
        75,
        1,
        90
      ],
      [
        6,
        93,
        5,
        93,
        1,
        57,
        7,
        70,
        8,
        77,
        4,
        58,
        0,
        52,
        2,
        29,
        9,
        7,
        3,
        68
      ],
      [
        7,
        56,
        0,
        95,
        8,
        48,
        4,
        26,
        2,
        82,
        1,
        63,
        9,
        36,
        3,
        27,
        6,
        87,
        5,
        6
      ],
      [
        3,
        76,
        5,
        15,
        9,
        78,
        1,
        8,
        8,
        41,
        2,
        36,
        4,
        30,
        6,
        84,
        0,
        36,
        7,
        76
      ],
      [
        0,
        75,
        7,
        13,
        2,
        81,
        8,
        29,
        4,
        54,
        6,
        82,
        5,
        88,
        1,
        78,
        9,
        40,
        3,
        13
      ],
      [
        2,
        6,
        1,
        26,
        7,
        32,
        6,
        64,
        4,
        54,
        0,
        52,
        5,
        82,
        3,
        6,
        9,
        88,
        8,
        54
      ],
      [
        8,
        62,
        2,
        67,
        5,
        32,
        0,
        62,
        7,
        69,
        3,
        61,
        1,
        35,
        4,
        72,
        9,
        5,
        6,
        93
      ],
      [
        2,
        78,
        9,
        90,
        0,
        85,
        1,
        72,
        8,
        64,
        6,
        63,
        3,
        11,
        7,
        82,
        5,
        88,
        4,
        7
      ],
      [
        4,
        28,
        9,
        11,
        7,
        50,
        6,
        88,
        0,
        44,
        5,
        31,
        2,
        27,
        1,
        66,
        8,
        49,
        3,
        35
      ],
      [
        2,
        14,
        5,
        39,
        6,
        56,
        4,
        62,
        3,
        97,
        9,
        66,
        7,
        69,
        1,
        7,
        8,
        47,
        0,
        76
      ],
      [
        1,
        18,
        8,
        93,
        7,
        58,
        6,
        47,
        3,
        69,
        9,
        57,
        2,
        41,
        5,
        53,
        4,
        79,
        0,
        64
      ]
    ]
  },
  {
    "description": "Lawrence 15x10 instance (Table 7, instance 4); also called (setb4) or (B4)",
    "data": [
      [
        7,
        8,
        9,
        75,
        0,
        72,
        6,
        74,
        4,
        30,
        8,
        43,
        2,
        38,
        5,
        98,
        1,
        26,
        3,
        19
      ],
      [
        6,
        19,
        8,
        73,
        3,
        43,
        0,
        23,
        1,
        85,
        4,
        39,
        5,
        13,
        9,
        26,
        2,
        67,
        7,
        9
      ],
      [
        1,
        50,
        3,
        93,
        5,
        80,
        4,
        7,
        0,
        55,
        2,
        61,
        6,
        57,
        8,
        72,
        9,
        42,
        7,
        46
      ],
      [
        1,
        68,
        7,
        43,
        4,
        99,
        6,
        60,
        5,
        68,
        0,
        91,
        8,
        11,
        3,
        96,
        9,
        11,
        2,
        72
      ],
      [
        7,
        84,
        2,
        34,
        8,
        40,
        5,
        7,
        1,
        70,
        6,
        74,
        3,
        12,
        0,
        43,
        9,
        69,
        4,
        30
      ],
      [
        8,
        60,
        0,
        49,
        4,
        59,
        5,
        72,
        9,
        63,
        1,
        69,
        7,
        99,
        6,
        45,
        3,
        27,
        2,
        9
      ],
      [
        6,
        71,
        2,
        91,
        8,
        65,
        1,
        90,
        9,
        98,
        4,
        8,
        7,
        50,
        0,
        75,
        5,
        37,
        3,
        17
      ],
      [
        8,
        62,
        7,
        90,
        5,
        98,
        3,
        31,
        2,
        91,
        4,
        38,
        9,
        72,
        1,
        9,
        0,
        72,
        6,
        49
      ],
      [
        4,
        35,
        0,
        39,
        9,
        74,
        5,
        25,
        7,
        47,
        3,
        52,
        2,
        63,
        8,
        21,
        6,
        35,
        1,
        80
      ],
      [
        9,
        58,
        0,
        5,
        3,
        50,
        8,
        52,
        1,
        88,
        6,
        20,
        2,
        68,
        5,
        24,
        4,
        53,
        7,
        57
      ],
      [
        7,
        99,
        3,
        91,
        4,
        33,
        5,
        19,
        2,
        18,
        6,
        38,
        0,
        24,
        9,
        35,
        1,
        49,
        8,
        9
      ],
      [
        0,
        68,
        3,
        60,
        2,
        77,
        7,
        10,
        8,
        60,
        5,
        15,
        9,
        72,
        1,
        18,
        6,
        90,
        4,
        18
      ],
      [
        9,
        79,
        1,
        60,
        3,
        56,
        6,
        91,
        2,
        40,
        8,
        86,
        7,
        72,
        0,
        80,
        5,
        89,
        4,
        51
      ],
      [
        4,
        10,
        2,
        92,
        5,
        23,
        6,
        46,
        8,
        40,
        7,
        72,
        3,
        6,
        1,
        23,
        0,
        95,
        9,
        34
      ],
      [
        2,
        24,
        5,
        29,
        9,
        49,
        8,
        55,
        0,
        47,
        6,
        77,
        3,
        77,
        7,
        8,
        1,
        28,
        4,
        48
      ]
    ]
  },
  {
    "description": "Lawrence 15x10 instance (Table 7, instance 5); also called (setb5) or (B5)",
    "data": [
      [
        8,
        14,
        4,
        75,
        3,
        12,
        2,
        38,
        0,
        76,
        5,
        97,
        9,
        12,
        1,
        29,
        7,
        44,
        6,
        66
      ],
      [
        5,
        38,
        3,
        82,
        2,
        85,
        4,
        58,
        6,
        87,
        9,
        89,
        0,
        43,
        1,
        80,
        7,
        69,
        8,
        92
      ],
      [
        9,
        5,
        1,
        84,
        0,
        43,
        6,
        48,
        4,
        8,
        7,
        7,
        3,
        41,
        5,
        61,
        8,
        66,
        2,
        14
      ],
      [
        2,
        42,
        1,
        8,
        0,
        96,
        5,
        19,
        4,
        59,
        7,
        97,
        9,
        73,
        8,
        43,
        3,
        74,
        6,
        41
      ],
      [
        6,
        55,
        2,
        70,
        3,
        75,
        8,
        42,
        4,
        37,
        7,
        23,
        1,
        48,
        5,
        5,
        9,
        38,
        0,
        7
      ],
      [
        8,
        9,
        2,
        72,
        7,
        31,
        0,
        79,
        5,
        73,
        3,
        95,
        4,
        25,
        6,
        43,
        9,
        60,
        1,
        56
      ],
      [
        0,
        97,
        2,
        64,
        3,
        78,
        5,
        21,
        4,
        94,
        9,
        31,
        8,
        53,
        6,
        16,
        7,
        86,
        1,
        7
      ],
      [
        3,
        86,
        7,
        85,
        9,
        63,
        0,
        61,
        2,
        65,
        4,
        30,
        5,
        32,
        1,
        33,
        8,
        44,
        6,
        59
      ],
      [
        2,
        44,
        3,
        16,
        4,
        11,
        6,
        45,
        1,
        30,
        9,
        84,
        8,
        93,
        0,
        60,
        5,
        61,
        7,
        90
      ],
      [
        7,
        36,
        8,
        31,
        4,
        47,
        6,
        52,
        0,
        32,
        5,
        11,
        2,
        28,
        9,
        35,
        3,
        20,
        1,
        49
      ],
      [
        8,
        20,
        6,
        49,
        7,
        74,
        4,
        10,
        5,
        17,
        3,
        34,
        0,
        85,
        2,
        77,
        9,
        68,
        1,
        84
      ],
      [
        1,
        85,
        5,
        7,
        8,
        71,
        6,
        59,
        4,
        76,
        0,
        17,
        3,
        29,
        2,
        17,
        7,
        48,
        9,
        13
      ],
      [
        2,
        15,
        6,
        87,
        7,
        11,
        1,
        39,
        4,
        39,
        8,
        43,
        0,
        19,
        3,
        32,
        9,
        16,
        5,
        64
      ],
      [
        6,
        32,
        2,
        92,
        5,
        33,
        8,
        82,
        1,
        83,
        7,
        57,
        9,
        99,
        4,
        91,
        3,
        99,
        0,
        8
      ],
      [
        4,
        88,
        7,
        7,
        8,
        27,
        1,
        38,
        3,
        91,
        2,
        69,
        6,
        21,
        9,
        62,
        5,
        39,
        0,
        48
      ]
    ]
  },
  {
    "description": "Lawrence 20x10 instance (Table 8, instance 1); also called (setc1) or (C1)",
    "data": [
      [
        8,
        52,
        7,
        26,
        6,
        71,
        9,
        16,
        2,
        34,
        1,
        21,
        5,
        95,
        4,
        21,
        0,
        53,
        3,
        55
      ],
      [
        4,
        55,
        5,
        98,
        3,
        39,
        9,
        79,
        0,
        12,
        8,
        77,
        6,
        77,
        7,
        66,
        2,
        31,
        1,
        42
      ],
      [
        5,
        37,
        4,
        92,
        2,
        64,
        6,
        54,
        1,
        19,
        7,
        43,
        0,
        83,
        3,
        34,
        9,
        79,
        8,
        62
      ],
      [
        1,
        87,
        5,
        77,
        0,
        93,
        3,
        69,
        2,
        87,
        7,
        38,
        8,
        24,
        6,
        41,
        9,
        83,
        4,
        60
      ],
      [
        2,
        98,
        5,
        25,
        6,
        75,
        9,
        77,
        1,
        49,
        3,
        17,
        8,
        79,
        0,
        44,
        7,
        43,
        4,
        96
      ],
      [
        1,
        7,
        4,
        61,
        0,
        95,
        2,
        35,
        9,
        10,
        8,
        35,
        5,
        28,
        3,
        76,
        7,
        95,
        6,
        9
      ],
      [
        5,
        59,
        9,
        43,
        0,
        46,
        4,
        28,
        6,
        52,
        3,
        16,
        2,
        59,
        1,
        91,
        8,
        50,
        7,
        27
      ],
      [
        5,
        9,
        9,
        43,
        8,
        14,
        7,
        71,
        4,
        20,
        6,
        54,
        3,
        41,
        0,
        87,
        1,
        45,
        2,
        39
      ],
      [
        1,
        28,
        8,
        66,
        0,
        78,
        2,
        37,
        9,
        42,
        3,
        26,
        5,
        33,
        6,
        89,
        4,
        33,
        7,
        8
      ],
      [
        4,
        96,
        3,
        27,
        6,
        78,
        5,
        84,
        2,
        94,
        8,
        69,
        1,
        74,
        9,
        81,
        7,
        45,
        0,
        69
      ],
      [
        4,
        24,
        7,
        32,
        9,
        25,
        2,
        17,
        3,
        87,
        8,
        81,
        5,
        76,
        6,
        18,
        1,
        31,
        0,
        20
      ],
      [
        8,
        90,
        5,
        28,
        1,
        72,
        7,
        86,
        2,
        23,
        3,
        99,
        6,
        76,
        9,
        97,
        4,
        45,
        0,
        58
      ],
      [
        2,
        17,
        4,
        98,
        3,
        48,
        1,
        46,
        8,
        27,
        6,
        67,
        7,
        62,
        0,
        42,
        9,
        48,
        5,
        27
      ],
      [
        0,
        80,
        8,
        50,
        3,
        19,
        7,
        98,
        5,
        28,
        2,
        50,
        4,
        94,
        6,
        63,
        1,
        12,
        9,
        80
      ],
      [
        9,
        72,
        0,
        75,
        4,
        61,
        8,
        79,
        6,
        37,
        2,
        50,
        5,
        14,
        3,
        55,
        7,
        18,
        1,
        41
      ],
      [
        3,
        96,
        2,
        14,
        5,
        57,
        0,
        47,
        7,
        65,
        4,
        75,
        8,
        79,
        1,
        71,
        6,
        60,
        9,
        22
      ],
      [
        1,
        31,
        7,
        47,
        8,
        58,
        3,
        32,
        4,
        44,
        5,
        58,
        6,
        34,
        0,
        33,
        2,
        69,
        9,
        51
      ],
      [
        1,
        44,
        7,
        40,
        2,
        17,
        0,
        62,
        8,
        66,
        6,
        15,
        3,
        29,
        9,
        38,
        5,
        8,
        4,
        97
      ],
      [
        2,
        58,
        3,
        50,
        4,
        63,
        9,
        87,
        0,
        57,
        6,
        21,
        7,
        57,
        8,
        32,
        1,
        39,
        5,
        20
      ],
      [
        1,
        85,
        0,
        84,
        5,
        56,
        3,
        61,
        9,
        15,
        7,
        70,
        8,
        30,
        2,
        90,
        6,
        67,
        4,
        20
      ]
    ]
  },
  {
    "description": "Lawrence 20x10 instance (Table 8, instance 2); also called (setc2) or (C2)",
    "data": [
      [
        3,
        60,
        4,
        48,
        5,
        95,
        0,
        87,
        1,
        72,
        9,
        5,
        8,
        35,
        7,
        39,
        6,
        54,
        2,
        66
      ],
      [
        7,
        37,
        6,
        34,
        0,
        97,
        5,
        55,
        2,
        21,
        3,
        20,
        4,
        59,
        9,
        46,
        8,
        19,
        1,
        46
      ],
      [
        4,
        45,
        2,
        73,
        1,
        24,
        8,
        28,
        0,
        28,
        3,
        25,
        5,
        23,
        7,
        83,
        9,
        5,
        6,
        78
      ],
      [
        0,
        53,
        2,
        12,
        9,
        12,
        1,
        37,
        8,
        33,
        3,
        71,
        6,
        55,
        5,
        29,
        7,
        87,
        4,
        38
      ],
      [
        4,
        90,
        2,
        49,
        9,
        27,
        7,
        65,
        5,
        7,
        6,
        23,
        0,
        48,
        3,
        83,
        8,
        17,
        1,
        40
      ],
      [
        3,
        85,
        4,
        25,
        2,
        84,
        6,
        64,
        9,
        13,
        1,
        66,
        7,
        46,
        8,
        59,
        0,
        62,
        5,
        19
      ],
      [
        5,
        88,
        6,
        67,
        4,
        14,
        0,
        41,
        1,
        73,
        7,
        57,
        2,
        53,
        3,
        80,
        9,
        47,
        8,
        74
      ],
      [
        1,
        78,
        5,
        64,
        4,
        63,
        6,
        46,
        3,
        84,
        0,
        84,
        8,
        28,
        9,
        52,
        7,
        26,
        2,
        41
      ],
      [
        1,
        11,
        0,
        64,
        6,
        97,
        9,
        38,
        2,
        17,
        4,
        85,
        5,
        73,
        3,
        10,
        8,
        95,
        7,
        67
      ],
      [
        3,
        93,
        2,
        95,
        7,
        43,
        1,
        65,
        8,
        32,
        0,
        59,
        6,
        85,
        5,
        46,
        9,
        85,
        4,
        60
      ],
      [
        2,
        61,
        3,
        41,
        5,
        49,
        4,
        23,
        0,
        66,
        7,
        49,
        8,
        70,
        9,
        99,
        1,
        90,
        6,
        17
      ],
      [
        4,
        13,
        7,
        7,
        1,
        98,
        8,
        57,
        0,
        73,
        3,
        73,
        2,
        68,
        5,
        40,
        9,
        98,
        6,
        9
      ],
      [
        9,
        86,
        6,
        76,
        4,
        14,
        3,
        41,
        1,
        85,
        0,
        37,
        8,
        19,
        2,
        17,
        7,
        54,
        5,
        79
      ],
      [
        1,
        40,
        2,
        53,
        7,
        97,
        5,
        87,
        8,
        96,
        4,
        84,
        3,
        16,
        6,
        66,
        9,
        52,
        0,
        95
      ],
      [
        6,
        33,
        1,
        33,
        3,
        87,
        0,
        18,
        2,
        55,
        8,
        13,
        4,
        77,
        7,
        60,
        9,
        42,
        5,
        74
      ],
      [
        7,
        92,
        5,
        91,
        8,
        79,
        2,
        54,
        4,
        69,
        6,
        79,
        3,
        33,
        1,
        61,
        9,
        39,
        0,
        16
      ],
      [
        6,
        82,
        1,
        41,
        4,
        28,
        5,
        64,
        2,
        78,
        3,
        76,
        7,
        6,
        8,
        49,
        9,
        47,
        0,
        58
      ],
      [
        0,
        52,
        5,
        42,
        8,
        24,
        9,
        91,
        3,
        47,
        6,
        88,
        4,
        91,
        7,
        52,
        2,
        28,
        1,
        35
      ],
      [
        5,
        82,
        2,
        76,
        3,
        86,
        6,
        93,
        4,
        84,
        7,
        38,
        8,
        95,
        9,
        37,
        1,
        21,
        0,
        23
      ],
      [
        9,
        77,
        4,
        8,
        6,
        42,
        7,
        64,
        0,
        70,
        2,
        45,
        8,
        45,
        5,
        28,
        3,
        67,
        1,
        86
      ]
    ]
  },
  {
    "description": "Lawrence 20x10 instance (Table 8, instance 3); also called (setc3) or (C3)",
    "data": [
      [
        8,
        32,
        1,
        81,
        4,
        55,
        7,
        40,
        0,
        6,
        5,
        19,
        9,
        81,
        3,
        37,
        2,
        40,
        6,
        9
      ],
      [
        2,
        70,
        3,
        55,
        7,
        21,
        4,
        64,
        1,
        46,
        8,
        25,
        9,
        65,
        0,
        77,
        5,
        65,
        6,
        15
      ],
      [
        7,
        84,
        4,
        89,
        3,
        24,
        1,
        44,
        2,
        85,
        8,
        31,
        9,
        29,
        6,
        83,
        5,
        37,
        0,
        40
      ],
      [
        4,
        80,
        5,
        59,
        0,
        8,
        2,
        30,
        6,
        77,
        3,
        38,
        1,
        80,
        7,
        56,
        9,
        41,
        8,
        97
      ],
      [
        6,
        40,
        2,
        71,
        0,
        91,
        7,
        7,
        9,
        59,
        8,
        80,
        3,
        50,
        5,
        56,
        1,
        17,
        4,
        88
      ],
      [
        7,
        36,
        9,
        10,
        0,
        45,
        6,
        9,
        4,
        54,
        8,
        96,
        2,
        8,
        5,
        77,
        1,
        29,
        3,
        58
      ],
      [
        6,
        99,
        8,
        86,
        3,
        92,
        0,
        28,
        1,
        98,
        4,
        70,
        5,
        87,
        9,
        96,
        2,
        73,
        7,
        27
      ],
      [
        1,
        95,
        3,
        85,
        5,
        56,
        4,
        52,
        0,
        59,
        2,
        41,
        6,
        81,
        8,
        39,
        9,
        32,
        7,
        92
      ],
      [
        1,
        7,
        7,
        69,
        4,
        93,
        6,
        27,
        5,
        22,
        0,
        88,
        8,
        45,
        3,
        60,
        9,
        49,
        2,
        12
      ],
      [
        7,
        33,
        2,
        61,
        8,
        44,
        5,
        26,
        1,
        84,
        6,
        82,
        3,
        68,
        0,
        21,
        9,
        71,
        4,
        99
      ],
      [
        8,
        43,
        0,
        72,
        4,
        30,
        5,
        98,
        9,
        75,
        1,
        26,
        7,
        8,
        6,
        74,
        3,
        19,
        2,
        38
      ],
      [
        6,
        19,
        2,
        67,
        8,
        73,
        1,
        85,
        9,
        26,
        4,
        39,
        7,
        9,
        0,
        23,
        5,
        13,
        3,
        43
      ],
      [
        8,
        72,
        7,
        46,
        5,
        80,
        3,
        93,
        2,
        61,
        4,
        7,
        9,
        42,
        1,
        50,
        0,
        55,
        6,
        57
      ],
      [
        4,
        99,
        0,
        91,
        9,
        11,
        5,
        68,
        7,
        43,
        3,
        96,
        2,
        72,
        8,
        11,
        6,
        60,
        1,
        68
      ],
      [
        9,
        69,
        0,
        43,
        3,
        12,
        8,
        40,
        1,
        70,
        6,
        74,
        2,
        34,
        5,
        7,
        4,
        30,
        7,
        84
      ],
      [
        7,
        99,
        3,
        27,
        4,
        59,
        5,
        72,
        2,
        9,
        6,
        45,
        0,
        49,
        9,
        63,
        1,
        69,
        8,
        60
      ],
      [
        0,
        75,
        3,
        17,
        2,
        91,
        7,
        50,
        8,
        65,
        5,
        37,
        9,
        98,
        1,
        90,
        6,
        71,
        4,
        8
      ],
      [
        9,
        72,
        1,
        9,
        3,
        31,
        6,
        49,
        2,
        91,
        8,
        62,
        7,
        90,
        0,
        72,
        5,
        98,
        4,
        38
      ],
      [
        4,
        35,
        2,
        63,
        5,
        25,
        6,
        35,
        8,
        21,
        7,
        47,
        3,
        52,
        1,
        80,
        0,
        39,
        9,
        74
      ],
      [
        2,
        68,
        5,
        24,
        9,
        58,
        8,
        52,
        0,
        5,
        6,
        20,
        3,
        50,
        7,
        57,
        1,
        88,
        4,
        53
      ]
    ]
  },
  {
    "description": "Lawrence 20x10 instance (Table 8, instance 4); also called (setc4) or (C4)",
    "data": [
      [
        8,
        14,
        2,
        38,
        7,
        44,
        0,
        76,
        5,
        97,
        3,
        12,
        4,
        75,
        6,
        66,
        9,
        12,
        1,
        29
      ],
      [
        0,
        43,
        2,
        85,
        3,
        82,
        5,
        38,
        4,
        58,
        9,
        89,
        8,
        92,
        6,
        87,
        7,
        69,
        1,
        80
      ],
      [
        3,
        41,
        7,
        7,
        9,
        5,
        0,
        43,
        2,
        14,
        4,
        8,
        5,
        61,
        1,
        84,
        8,
        66,
        6,
        48
      ],
      [
        2,
        42,
        3,
        74,
        4,
        59,
        6,
        41,
        1,
        8,
        9,
        73,
        8,
        43,
        0,
        96,
        5,
        19,
        7,
        97
      ],
      [
        7,
        23,
        8,
        42,
        4,
        37,
        6,
        55,
        0,
        7,
        5,
        5,
        2,
        70,
        9,
        38,
        3,
        75,
        1,
        48
      ],
      [
        8,
        9,
        6,
        43,
        7,
        31,
        4,
        25,
        5,
        73,
        3,
        95,
        0,
        79,
        2,
        72,
        9,
        60,
        1,
        56
      ],
      [
        1,
        7,
        5,
        21,
        8,
        53,
        6,
        16,
        4,
        94,
        0,
        97,
        3,
        78,
        2,
        64,
        7,
        86,
        9,
        31
      ],
      [
        2,
        65,
        6,
        59,
        7,
        85,
        1,
        33,
        4,
        30,
        8,
        44,
        0,
        61,
        3,
        86,
        9,
        63,
        5,
        32
      ],
      [
        6,
        45,
        2,
        44,
        5,
        61,
        8,
        93,
        1,
        30,
        7,
        90,
        9,
        84,
        4,
        11,
        3,
        16,
        0,
        60
      ],
      [
        4,
        47,
        7,
        36,
        8,
        31,
        1,
        49,
        3,
        20,
        2,
        28,
        6,
        52,
        9,
        35,
        5,
        11,
        0,
        32
      ],
      [
        2,
        77,
        4,
        10,
        9,
        68,
        5,
        17,
        0,
        85,
        1,
        84,
        8,
        20,
        6,
        49,
        7,
        74,
        3,
        34
      ],
      [
        0,
        17,
        5,
        7,
        1,
        85,
        3,
        29,
        2,
        17,
        4,
        76,
        6,
        59,
        8,
        71,
        9,
        13,
        7,
        48
      ],
      [
        6,
        87,
        4,
        39,
        8,
        43,
        7,
        11,
        2,
        15,
        3,
        32,
        5,
        64,
        0,
        19,
        1,
        39,
        9,
        16
      ],
      [
        5,
        33,
        3,
        99,
        6,
        32,
        4,
        91,
        8,
        82,
        2,
        92,
        9,
        99,
        7,
        57,
        1,
        83,
        0,
        8
      ],
      [
        3,
        91,
        5,
        39,
        2,
        69,
        8,
        27,
        7,
        7,
        6,
        21,
        1,
        38,
        9,
        62,
        4,
        88,
        0,
        48
      ],
      [
        2,
        67,
        7,
        80,
        3,
        24,
        0,
        88,
        4,
        18,
        1,
        44,
        8,
        45,
        9,
        64,
        5,
        80,
        6,
        38
      ],
      [
        9,
        59,
        3,
        72,
        6,
        47,
        4,
        40,
        7,
        21,
        5,
        43,
        0,
        51,
        8,
        52,
        1,
        24,
        2,
        15
      ],
      [
        3,
        70,
        2,
        31,
        6,
        20,
        8,
        76,
        1,
        40,
        7,
        43,
        0,
        32,
        5,
        88,
        9,
        5,
        4,
        77
      ],
      [
        4,
        47,
        5,
        64,
        9,
        85,
        3,
        49,
        7,
        58,
        1,
        26,
        0,
        32,
        8,
        80,
        2,
        14,
        6,
        94
      ],
      [
        5,
        59,
        2,
        96,
        0,
        5,
        7,
        79,
        8,
        34,
        4,
        75,
        3,
        26,
        6,
        9,
        9,
        23,
        1,
        11
      ]
    ]
  },
  {
    "description": "Lawrence 20x10 instance (Table 8, instance 5); also called (setc5) or (C5)",
    "data": [
      [
        6,
        32,
        3,
        16,
        1,
        33,
        8,
        12,
        7,
        70,
        4,
        10,
        9,
        75,
        0,
        82,
        5,
        88,
        2,
        20
      ],
      [
        8,
        39,
        4,
        81,
        3,
        91,
        5,
        56,
        9,
        69,
        1,
        45,
        6,
        59,
        0,
        86,
        2,
        36,
        7,
        68
      ],
      [
        3,
        84,
        2,
        57,
        7,
        41,
        5,
        73,
        4,
        81,
        0,
        88,
        8,
        38,
        9,
        17,
        6,
        83,
        1,
        5
      ],
      [
        4,
        20,
        5,
        6,
        2,
        15,
        8,
        19,
        1,
        30,
        0,
        94,
        6,
        45,
        7,
        17,
        3,
        18,
        9,
        88
      ],
      [
        9,
        24,
        6,
        49,
        5,
        16,
        4,
        11,
        3,
        60,
        7,
        5,
        8,
        63,
        1,
        25,
        2,
        15,
        0,
        45
      ],
      [
        1,
        86,
        8,
        50,
        2,
        77,
        6,
        54,
        9,
        48,
        0,
        93,
        3,
        32,
        7,
        92,
        5,
        45,
        4,
        71
      ],
      [
        5,
        86,
        6,
        90,
        3,
        78,
        9,
        88,
        2,
        57,
        0,
        32,
        7,
        57,
        8,
        86,
        4,
        71,
        1,
        39
      ],
      [
        2,
        59,
        3,
        18,
        9,
        31,
        4,
        41,
        7,
        20,
        5,
        83,
        8,
        65,
        0,
        54,
        6,
        94,
        1,
        69
      ],
      [
        3,
        47,
        4,
        79,
        6,
        76,
        0,
        59,
        1,
        72,
        2,
        8,
        9,
        30,
        5,
        73,
        7,
        57,
        8,
        84
      ],
      [
        0,
        59,
        2,
        89,
        4,
        10,
        7,
        45,
        3,
        8,
        5,
        54,
        6,
        88,
        8,
        20,
        9,
        7,
        1,
        62
      ],
      [
        5,
        63,
        6,
        9,
        4,
        77,
        3,
        37,
        2,
        5,
        8,
        13,
        9,
        79,
        1,
        24,
        7,
        10,
        0,
        82
      ],
      [
        0,
        74,
        1,
        32,
        2,
        61,
        7,
        53,
        4,
        92,
        9,
        20,
        8,
        10,
        3,
        5,
        6,
        45,
        5,
        23
      ],
      [
        2,
        85,
        9,
        51,
        0,
        61,
        5,
        99,
        4,
        37,
        6,
        94,
        1,
        98,
        8,
        65,
        3,
        33,
        7,
        75
      ],
      [
        0,
        51,
        3,
        24,
        5,
        8,
        6,
        30,
        7,
        12,
        8,
        23,
        2,
        7,
        4,
        17,
        9,
        35,
        1,
        81
      ],
      [
        1,
        71,
        5,
        42,
        8,
        68,
        2,
        31,
        6,
        29,
        3,
        63,
        4,
        65,
        9,
        70,
        7,
        27,
        0,
        93
      ],
      [
        1,
        28,
        5,
        38,
        4,
        51,
        7,
        70,
        2,
        33,
        8,
        78,
        9,
        45,
        3,
        90,
        6,
        54,
        0,
        72
      ],
      [
        0,
        18,
        2,
        90,
        4,
        25,
        6,
        92,
        8,
        85,
        5,
        35,
        7,
        29,
        1,
        81,
        9,
        80,
        3,
        59
      ],
      [
        5,
        67,
        2,
        96,
        1,
        38,
        4,
        86,
        0,
        97,
        3,
        94,
        7,
        86,
        6,
        35,
        9,
        82,
        8,
        45
      ],
      [
        2,
        92,
        8,
        51,
        4,
        59,
        6,
        52,
        5,
        8,
        9,
        70,
        1,
        75,
        3,
        54,
        7,
        60,
        0,
        33
      ],
      [
        3,
        98,
        7,
        80,
        5,
        78,
        0,
        82,
        2,
        7,
        9,
        89,
        1,
        69,
        4,
        51,
        8,
        79,
        6,
        62
      ]
    ]
  },
  {
    "description": "Lawrence 30x10 instance (Table 9, instance 1); also called (setd1) or (D1)",
    "data": [
      [
        4,
        21,
        7,
        26,
        9,
        16,
        2,
        34,
        3,
        55,
        8,
        52,
        5,
        95,
        6,
        71,
        1,
        21,
        0,
        53
      ],
      [
        8,
        77,
        5,
        98,
        1,
        42,
        7,
        66,
        2,
        31,
        3,
        39,
        6,
        77,
        9,
        79,
        4,
        55,
        0,
        12
      ],
      [
        2,
        64,
        4,
        92,
        3,
        34,
        1,
        19,
        8,
        62,
        6,
        54,
        7,
        43,
        0,
        83,
        9,
        79,
        5,
        37
      ],
      [
        0,
        93,
        8,
        24,
        3,
        69,
        7,
        38,
        5,
        77,
        2,
        87,
        4,
        60,
        6,
        41,
        1,
        87,
        9,
        83
      ],
      [
        9,
        77,
        0,
        44,
        4,
        96,
        8,
        79,
        6,
        75,
        2,
        98,
        5,
        25,
        3,
        17,
        7,
        43,
        1,
        49
      ],
      [
        3,
        76,
        2,
        35,
        5,
        28,
        0,
        95,
        7,
        95,
        4,
        61,
        8,
        35,
        1,
        7,
        6,
        9,
        9,
        10
      ],
      [
        1,
        91,
        7,
        27,
        8,
        50,
        3,
        16,
        4,
        28,
        5,
        59,
        6,
        52,
        0,
        46,
        2,
        59,
        9,
        43
      ],
      [
        1,
        45,
        7,
        71,
        2,
        39,
        0,
        87,
        8,
        14,
        6,
        54,
        3,
        41,
        9,
        43,
        5,
        9,
        4,
        20
      ],
      [
        2,
        37,
        3,
        26,
        4,
        33,
        9,
        42,
        0,
        78,
        6,
        89,
        7,
        8,
        8,
        66,
        1,
        28,
        5,
        33
      ],
      [
        1,
        74,
        0,
        69,
        5,
        84,
        3,
        27,
        9,
        81,
        7,
        45,
        8,
        69,
        2,
        94,
        6,
        78,
        4,
        96
      ],
      [
        5,
        76,
        7,
        32,
        6,
        18,
        0,
        20,
        3,
        87,
        2,
        17,
        9,
        25,
        4,
        24,
        1,
        31,
        8,
        81
      ],
      [
        9,
        97,
        8,
        90,
        5,
        28,
        7,
        86,
        0,
        58,
        1,
        72,
        2,
        23,
        6,
        76,
        3,
        99,
        4,
        45
      ],
      [
        9,
        48,
        5,
        27,
        6,
        67,
        7,
        62,
        4,
        98,
        0,
        42,
        1,
        46,
        8,
        27,
        3,
        48,
        2,
        17
      ],
      [
        9,
        80,
        3,
        19,
        5,
        28,
        1,
        12,
        4,
        94,
        6,
        63,
        7,
        98,
        8,
        50,
        0,
        80,
        2,
        50
      ],
      [
        2,
        50,
        1,
        41,
        4,
        61,
        8,
        79,
        5,
        14,
        9,
        72,
        7,
        18,
        3,
        55,
        6,
        37,
        0,
        75
      ],
      [
        9,
        22,
        5,
        57,
        4,
        75,
        2,
        14,
        7,
        65,
        3,
        96,
        1,
        71,
        0,
        47,
        8,
        79,
        6,
        60
      ],
      [
        3,
        32,
        2,
        69,
        4,
        44,
        1,
        31,
        9,
        51,
        0,
        33,
        6,
        34,
        5,
        58,
        7,
        47,
        8,
        58
      ],
      [
        8,
        66,
        7,
        40,
        2,
        17,
        0,
        62,
        9,
        38,
        5,
        8,
        6,
        15,
        3,
        29,
        1,
        44,
        4,
        97
      ],
      [
        3,
        50,
        2,
        58,
        6,
        21,
        4,
        63,
        7,
        57,
        8,
        32,
        5,
        20,
        9,
        87,
        0,
        57,
        1,
        39
      ],
      [
        4,
        20,
        6,
        67,
        1,
        85,
        2,
        90,
        7,
        70,
        0,
        84,
        8,
        30,
        5,
        56,
        3,
        61,
        9,
        15
      ],
      [
        6,
        29,
        0,
        82,
        4,
        18,
        3,
        38,
        7,
        21,
        8,
        50,
        1,
        23,
        5,
        84,
        2,
        45,
        9,
        41
      ],
      [
        3,
        54,
        9,
        37,
        6,
        62,
        5,
        16,
        0,
        52,
        8,
        57,
        4,
        54,
        2,
        38,
        7,
        74,
        1,
        52
      ],
      [
        4,
        79,
        1,
        61,
        8,
        11,
        0,
        81,
        7,
        89,
        6,
        89,
        5,
        57,
        3,
        68,
        9,
        81,
        2,
        30
      ],
      [
        9,
        24,
        1,
        66,
        4,
        32,
        3,
        33,
        8,
        8,
        2,
        20,
        6,
        84,
        0,
        91,
        7,
        55,
        5,
        20
      ],
      [
        3,
        54,
        2,
        64,
        6,
        83,
        9,
        40,
        7,
        8,
        0,
        7,
        4,
        19,
        5,
        56,
        1,
        39,
        8,
        7
      ],
      [
        1,
        6,
        4,
        74,
        0,
        63,
        2,
        64,
        9,
        15,
        6,
        42,
        7,
        98,
        8,
        61,
        5,
        40,
        3,
        91
      ],
      [
        1,
        80,
        3,
        75,
        0,
        26,
        2,
        87,
        9,
        22,
        7,
        39,
        8,
        24,
        4,
        75,
        6,
        44,
        5,
        6
      ],
      [
        5,
        8,
        3,
        79,
        6,
        61,
        1,
        15,
        0,
        12,
        7,
        43,
        8,
        26,
        9,
        22,
        2,
        20,
        4,
        80
      ],
      [
        1,
        36,
        0,
        63,
        7,
        10,
        4,
        22,
        3,
        96,
        5,
        40,
        9,
        5,
        8,
        18,
        6,
        33,
        2,
        62
      ],
      [
        4,
        8,
        8,
        15,
        2,
        64,
        3,
        95,
        1,
        96,
        6,
        38,
        7,
        18,
        9,
        23,
        5,
        64,
        0,
        89
      ]
    ]
  },
  {
    "description": "Lawrence 30x10 instance (Table 9, instance 2); also called (setd2) or (D2)",
    "data": [
      [
        6,
        89,
        1,
        58,
        4,
        97,
        2,
        44,
        8,
        77,
        3,
        5,
        0,
        9,
        5,
        58,
        9,
        96,
        7,
        84
      ],
      [
        7,
        31,
        2,
        81,
        9,
        73,
        4,
        15,
        1,
        87,
        5,
        39,
        8,
        57,
        0,
        77,
        3,
        85,
        6,
        21
      ],
      [
        2,
        48,
        5,
        71,
        0,
        40,
        3,
        70,
        1,
        49,
        6,
        22,
        4,
        10,
        8,
        34,
        7,
        80,
        9,
        82
      ],
      [
        4,
        11,
        6,
        72,
        7,
        62,
        0,
        55,
        2,
        17,
        5,
        75,
        3,
        7,
        1,
        91,
        9,
        35,
        8,
        47
      ],
      [
        0,
        64,
        6,
        71,
        4,
        12,
        1,
        90,
        2,
        94,
        3,
        75,
        9,
        20,
        8,
        15,
        5,
        50,
        7,
        67
      ],
      [
        2,
        29,
        6,
        93,
        3,
        68,
        5,
        93,
        1,
        57,
        8,
        77,
        0,
        52,
        9,
        7,
        4,
        58,
        7,
        70
      ],
      [
        4,
        26,
        3,
        27,
        1,
        63,
        5,
        6,
        6,
        87,
        7,
        56,
        8,
        48,
        9,
        36,
        0,
        95,
        2,
        82
      ],
      [
        1,
        8,
        7,
        76,
        3,
        76,
        4,
        30,
        6,
        84,
        9,
        78,
        8,
        41,
        0,
        36,
        2,
        36,
        5,
        15
      ],
      [
        3,
        13,
        8,
        29,
        0,
        75,
        2,
        81,
        1,
        78,
        5,
        88,
        4,
        54,
        9,
        40,
        7,
        13,
        6,
        82
      ],
      [
        0,
        52,
        2,
        6,
        3,
        6,
        5,
        82,
        6,
        64,
        9,
        88,
        8,
        54,
        4,
        54,
        7,
        32,
        1,
        26
      ],
      [
        8,
        62,
        1,
        35,
        4,
        72,
        7,
        69,
        0,
        62,
        5,
        32,
        9,
        5,
        3,
        61,
        2,
        67,
        6,
        93
      ],
      [
        2,
        78,
        3,
        11,
        7,
        82,
        4,
        7,
        1,
        72,
        8,
        64,
        9,
        90,
        0,
        85,
        5,
        88,
        6,
        63
      ],
      [
        7,
        50,
        4,
        28,
        3,
        35,
        1,
        66,
        2,
        27,
        8,
        49,
        9,
        11,
        6,
        88,
        5,
        31,
        0,
        44
      ],
      [
        4,
        62,
        5,
        39,
        0,
        76,
        2,
        14,
        6,
        56,
        3,
        97,
        1,
        7,
        7,
        69,
        9,
        66,
        8,
        47
      ],
      [
        6,
        47,
        2,
        41,
        0,
        64,
        7,
        58,
        9,
        57,
        8,
        93,
        3,
        69,
        5,
        53,
        1,
        18,
        4,
        79
      ],
      [
        7,
        76,
        9,
        81,
        0,
        76,
        6,
        61,
        4,
        77,
        8,
        26,
        2,
        74,
        5,
        22,
        1,
        58,
        3,
        78
      ],
      [
        6,
        30,
        8,
        72,
        3,
        43,
        0,
        65,
        1,
        16,
        4,
        92,
        5,
        95,
        9,
        29,
        2,
        99,
        7,
        64
      ],
      [
        1,
        35,
        3,
        74,
        5,
        16,
        4,
        85,
        0,
        7,
        2,
        81,
        6,
        86,
        8,
        61,
        9,
        35,
        7,
        34
      ],
      [
        1,
        97,
        7,
        43,
        4,
        72,
        6,
        88,
        5,
        17,
        0,
        43,
        8,
        94,
        3,
        64,
        9,
        22,
        2,
        42
      ],
      [
        7,
        99,
        2,
        84,
        8,
        99,
        5,
        98,
        1,
        20,
        6,
        31,
        3,
        74,
        0,
        92,
        9,
        23,
        4,
        89
      ],
      [
        8,
        32,
        0,
        6,
        4,
        55,
        5,
        19,
        9,
        81,
        1,
        81,
        7,
        40,
        6,
        9,
        3,
        37,
        2,
        40
      ],
      [
        6,
        15,
        2,
        70,
        8,
        25,
        1,
        46,
        9,
        65,
        4,
        64,
        7,
        21,
        0,
        77,
        5,
        65,
        3,
        55
      ],
      [
        8,
        31,
        7,
        84,
        5,
        37,
        3,
        24,
        2,
        85,
        4,
        89,
        9,
        29,
        1,
        44,
        0,
        40,
        6,
        83
      ],
      [
        4,
        80,
        0,
        8,
        9,
        41,
        5,
        59,
        7,
        56,
        3,
        38,
        2,
        30,
        8,
        97,
        6,
        77,
        1,
        80
      ],
      [
        9,
        59,
        0,
        91,
        3,
        50,
        8,
        80,
        1,
        17,
        6,
        40,
        2,
        71,
        5,
        56,
        4,
        88,
        7,
        7
      ],
      [
        7,
        36,
        3,
        58,
        4,
        54,
        5,
        77,
        2,
        8,
        6,
        9,
        0,
        45,
        9,
        10,
        1,
        29,
        8,
        96
      ],
      [
        0,
        28,
        3,
        92,
        2,
        73,
        7,
        27,
        8,
        86,
        5,
        87,
        9,
        96,
        1,
        98,
        6,
        99,
        4,
        70
      ],
      [
        9,
        32,
        1,
        95,
        3,
        85,
        6,
        81,
        2,
        41,
        8,
        39,
        7,
        92,
        0,
        59,
        5,
        56,
        4,
        52
      ],
      [
        4,
        93,
        2,
        12,
        5,
        22,
        6,
        27,
        8,
        45,
        7,
        69,
        3,
        60,
        1,
        7,
        0,
        88,
        9,
        49
      ],
      [
        2,
        61,
        5,
        26,
        9,
        71,
        8,
        44,
        0,
        21,
        6,
        82,
        3,
        68,
        7,
        33,
        1,
        84,
        4,
        99
      ]
    ]
  },
  {
    "description": "Lawrence 30x10 instance (Table 9, instance 3); also called (setd3) or (D3)",
    "data": [
      [
        2,
        38,
        4,
        75,
        9,
        12,
        5,
        97,
        0,
        76,
        1,
        29,
        8,
        14,
        6,
        66,
        7,
        44,
        3,
        12
      ],
      [
        0,
        43,
        5,
        38,
        1,
        80,
        3,
        82,
        2,
        85,
        4,
        58,
        6,
        87,
        8,
        92,
        9,
        89,
        7,
        69
      ],
      [
        6,
        48,
        4,
        8,
        8,
        66,
        7,
        7,
        2,
        14,
        3,
        41,
        5,
        61,
        0,
        43,
        1,
        84,
        9,
        5
      ],
      [
        5,
        19,
        3,
        74,
        6,
        41,
        4,
        59,
        8,
        43,
        2,
        42,
        9,
        73,
        7,
        97,
        1,
        8,
        0,
        96
      ],
      [
        3,
        75,
        5,
        5,
        2,
        70,
        8,
        42,
        7,
        23,
        6,
        55,
        1,
        48,
        9,
        38,
        4,
        37,
        0,
        7
      ],
      [
        2,
        72,
        7,
        31,
        3,
        95,
        0,
        79,
        4,
        25,
        1,
        56,
        8,
        9,
        9,
        60,
        5,
        73,
        6,
        43
      ],
      [
        9,
        31,
        3,
        78,
        6,
        16,
        4,
        94,
        7,
        86,
        5,
        21,
        0,
        97,
        8,
        53,
        1,
        7,
        2,
        64
      ],
      [
        3,
        86,
        2,
        65,
        6,
        59,
        8,
        44,
        1,
        33,
        7,
        85,
        0,
        61,
        5,
        32,
        9,
        63,
        4,
        30
      ],
      [
        4,
        11,
        5,
        61,
        9,
        84,
        3,
        16,
        7,
        90,
        1,
        30,
        0,
        60,
        8,
        93,
        2,
        44,
        6,
        45
      ],
      [
        5,
        11,
        2,
        28,
        0,
        32,
        7,
        36,
        8,
        31,
        4,
        47,
        3,
        20,
        6,
        52,
        9,
        35,
        1,
        49
      ],
      [
        5,
        17,
        3,
        34,
        6,
        49,
        1,
        84,
        0,
        85,
        8,
        20,
        7,
        74,
        9,
        68,
        4,
        10,
        2,
        77
      ],
      [
        8,
        71,
        5,
        7,
        3,
        29,
        1,
        85,
        4,
        76,
        6,
        59,
        2,
        17,
        0,
        17,
        9,
        13,
        7,
        48
      ],
      [
        1,
        39,
        9,
        16,
        4,
        39,
        6,
        87,
        7,
        11,
        3,
        32,
        2,
        15,
        0,
        19,
        5,
        64,
        8,
        43
      ],
      [
        5,
        33,
        8,
        82,
        2,
        92,
        1,
        83,
        6,
        32,
        3,
        99,
        9,
        99,
        4,
        91,
        0,
        8,
        7,
        57
      ],
      [
        7,
        7,
        0,
        48,
        9,
        62,
        4,
        88,
        6,
        21,
        5,
        39,
        8,
        27,
        3,
        91,
        1,
        38,
        2,
        69
      ],
      [
        9,
        64,
        8,
        45,
        3,
        24,
        7,
        80,
        2,
        67,
        4,
        18,
        6,
        38,
        0,
        88,
        5,
        80,
        1,
        44
      ],
      [
        2,
        15,
        3,
        72,
        4,
        40,
        7,
        21,
        8,
        52,
        0,
        51,
        9,
        59,
        1,
        24,
        6,
        47,
        5,
        43
      ],
      [
        4,
        77,
        7,
        43,
        1,
        40,
        2,
        31,
        8,
        76,
        6,
        20,
        5,
        88,
        3,
        70,
        9,
        5,
        0,
        32
      ],
      [
        2,
        14,
        7,
        58,
        9,
        85,
        5,
        64,
        1,
        26,
        6,
        94,
        0,
        32,
        3,
        49,
        8,
        80,
        4,
        47
      ],
      [
        9,
        23,
        1,
        11,
        8,
        34,
        4,
        75,
        7,
        79,
        3,
        26,
        2,
        96,
        0,
        5,
        6,
        9,
        5,
        59
      ],
      [
        0,
        75,
        2,
        20,
        8,
        10,
        3,
        66,
        6,
        43,
        7,
        37,
        1,
        9,
        9,
        83,
        4,
        68,
        5,
        52
      ],
      [
        8,
        54,
        1,
        26,
        4,
        79,
        7,
        88,
        6,
        84,
        0,
        6,
        2,
        54,
        9,
        59,
        3,
        28,
        5,
        42
      ],
      [
        4,
        56,
        9,
        29,
        3,
        36,
        0,
        40,
        6,
        86,
        8,
        68,
        2,
        69,
        7,
        23,
        5,
        62,
        1,
        16
      ],
      [
        7,
        53,
        1,
        5,
        6,
        17,
        9,
        59,
        2,
        59,
        8,
        78,
        3,
        64,
        0,
        82,
        4,
        13,
        5,
        12
      ],
      [
        9,
        7,
        6,
        62,
        7,
        90,
        5,
        83,
        1,
        85,
        3,
        69,
        0,
        16,
        4,
        81,
        2,
        58,
        8,
        66
      ],
      [
        7,
        24,
        2,
        65,
        1,
        69,
        5,
        42,
        9,
        82,
        6,
        82,
        0,
        83,
        3,
        46,
        8,
        72,
        4,
        33
      ],
      [
        1,
        10,
        8,
        27,
        7,
        43,
        5,
        20,
        4,
        71,
        9,
        65,
        2,
        73,
        6,
        99,
        0,
        24,
        3,
        64
      ],
      [
        9,
        35,
        3,
        92,
        0,
        38,
        5,
        35,
        7,
        30,
        8,
        45,
        2,
        8,
        4,
        82,
        1,
        34,
        6,
        21
      ],
      [
        5,
        23,
        7,
        84,
        9,
        7,
        4,
        85,
        8,
        60,
        1,
        15,
        2,
        52,
        6,
        94,
        3,
        83,
        0,
        6
      ],
      [
        2,
        70,
        6,
        29,
        8,
        27,
        9,
        80,
        4,
        6,
        7,
        39,
        1,
        79,
        0,
        28,
        3,
        66,
        5,
        66
      ]
    ]
  },
  {
    "description": "Lawrence 30x10 instance (Table 9, instance 4); also called (setd4) or (D4)",
    "data": [
      [
        2,
        51,
        7,
        59,
        1,
        35,
        5,
        73,
        9,
        65,
        0,
        27,
        6,
        13,
        3,
        81,
        8,
        32,
        4,
        74
      ],
      [
        4,
        64,
        7,
        33,
        5,
        75,
        2,
        33,
        8,
        10,
        0,
        28,
        3,
        38,
        6,
        53,
        9,
        49,
        1,
        55
      ],
      [
        6,
        83,
        1,
        23,
        2,
        72,
        3,
        7,
        9,
        72,
        0,
        6,
        4,
        39,
        5,
        52,
        8,
        90,
        7,
        21
      ],
      [
        3,
        82,
        1,
        23,
        2,
        93,
        4,
        78,
        6,
        88,
        7,
        53,
        9,
        28,
        8,
        65,
        5,
        21,
        0,
        61
      ],
      [
        4,
        41,
        6,
        12,
        9,
        12,
        3,
        77,
        1,
        70,
        7,
        24,
        0,
        81,
        5,
        73,
        2,
        62,
        8,
        6
      ],
      [
        4,
        98,
        3,
        28,
        6,
        42,
        9,
        72,
        0,
        15,
        8,
        15,
        5,
        94,
        2,
        33,
        1,
        51,
        7,
        99
      ],
      [
        0,
        32,
        8,
        22,
        9,
        96,
        4,
        15,
        6,
        78,
        3,
        31,
        5,
        7,
        1,
        94,
        2,
        23,
        7,
        86
      ],
      [
        7,
        93,
        2,
        97,
        3,
        43,
        5,
        73,
        0,
        24,
        8,
        68,
        9,
        88,
        1,
        42,
        4,
        35,
        6,
        72
      ],
      [
        2,
        14,
        0,
        44,
        8,
        13,
        5,
        67,
        1,
        63,
        3,
        49,
        7,
        5,
        4,
        17,
        6,
        85,
        9,
        66
      ],
      [
        7,
        82,
        9,
        15,
        3,
        72,
        4,
        26,
        0,
        8,
        1,
        68,
        6,
        21,
        8,
        45,
        2,
        99,
        5,
        27
      ],
      [
        4,
        93,
        6,
        23,
        0,
        51,
        8,
        54,
        3,
        49,
        1,
        96,
        2,
        56,
        9,
        36,
        5,
        53,
        7,
        52
      ],
      [
        8,
        60,
        0,
        14,
        4,
        70,
        9,
        55,
        1,
        23,
        5,
        83,
        3,
        38,
        2,
        24,
        7,
        37,
        6,
        48
      ],
      [
        0,
        62,
        7,
        15,
        8,
        69,
        9,
        23,
        1,
        82,
        6,
        26,
        4,
        45,
        5,
        33,
        3,
        12,
        2,
        37
      ],
      [
        6,
        72,
        1,
        9,
        7,
        15,
        5,
        28,
        8,
        92,
        9,
        12,
        0,
        59,
        3,
        64,
        4,
        87,
        2,
        73
      ],
      [
        0,
        50,
        1,
        14,
        7,
        90,
        5,
        46,
        3,
        71,
        4,
        48,
        2,
        80,
        9,
        61,
        8,
        24,
        6,
        44
      ],
      [
        0,
        22,
        9,
        94,
        5,
        16,
        3,
        73,
        2,
        54,
        8,
        54,
        4,
        46,
        1,
        97,
        6,
        61,
        7,
        75
      ],
      [
        9,
        55,
        3,
        67,
        6,
        77,
        4,
        30,
        7,
        6,
        1,
        32,
        8,
        47,
        5,
        93,
        2,
        6,
        0,
        40
      ],
      [
        1,
        30,
        3,
        98,
        7,
        79,
        0,
        22,
        6,
        79,
        2,
        7,
        8,
        36,
        9,
        36,
        5,
        9,
        4,
        92
      ],
      [
        8,
        37,
        7,
        72,
        2,
        52,
        4,
        31,
        1,
        82,
        9,
        54,
        5,
        7,
        6,
        82,
        3,
        73,
        0,
        49
      ],
      [
        1,
        73,
        3,
        83,
        7,
        45,
        2,
        76,
        4,
        43,
        9,
        29,
        0,
        35,
        5,
        92,
        8,
        39,
        6,
        28
      ],
      [
        2,
        58,
        0,
        26,
        1,
        48,
        8,
        52,
        7,
        34,
        6,
        96,
        5,
        70,
        4,
        98,
        3,
        80,
        9,
        94
      ],
      [
        1,
        70,
        8,
        23,
        5,
        26,
        4,
        14,
        6,
        90,
        2,
        93,
        3,
        21,
        0,
        42,
        7,
        18,
        9,
        36
      ],
      [
        4,
        28,
        6,
        76,
        7,
        25,
        0,
        17,
        1,
        84,
        2,
        67,
        8,
        87,
        3,
        43,
        9,
        88,
        5,
        84
      ],
      [
        7,
        30,
        3,
        91,
        8,
        52,
        4,
        80,
        0,
        21,
        5,
        8,
        9,
        37,
        2,
        15,
        6,
        12,
        1,
        92
      ],
      [
        1,
        28,
        4,
        7,
        7,
        46,
        6,
        92,
        2,
        77,
        3,
        15,
        9,
        69,
        8,
        54,
        0,
        47,
        5,
        39
      ],
      [
        9,
        50,
        5,
        44,
        2,
        64,
        8,
        38,
        4,
        93,
        6,
        33,
        7,
        75,
        0,
        41,
        1,
        24,
        3,
        5
      ],
      [
        7,
        94,
        0,
        17,
        6,
        87,
        2,
        21,
        8,
        92,
        9,
        28,
        1,
        61,
        4,
        63,
        3,
        34,
        5,
        77
      ],
      [
        3,
        72,
        8,
        98,
        9,
        5,
        4,
        28,
        2,
        9,
        5,
        95,
        6,
        64,
        1,
        43,
        0,
        50,
        7,
        96
      ],
      [
        0,
        85,
        2,
        85,
        8,
        39,
        1,
        98,
        7,
        24,
        3,
        71,
        5,
        60,
        4,
        55,
        9,
        22,
        6,
        35
      ],
      [
        3,
        78,
        6,
        49,
        2,
        46,
        1,
        11,
        0,
        90,
        5,
        20,
        9,
        34,
        7,
        6,
        4,
        70,
        8,
        74
      ]
    ]
  },
  {
    "description": "Lawrence 30x10 instance (Table 9, instance 5); also called (setd5) or (D5)",
    "data": [
      [
        0,
        66,
        2,
        84,
        3,
        26,
        7,
        29,
        9,
        94,
        6,
        98,
        8,
        7,
        5,
        98,
        1,
        45,
        4,
        43
      ],
      [
        3,
        32,
        0,
        97,
        6,
        55,
        2,
        88,
        8,
        93,
        9,
        88,
        1,
        20,
        4,
        50,
        7,
        17,
        5,
        5
      ],
      [
        4,
        43,
        3,
        68,
        8,
        47,
        9,
        68,
        1,
        57,
        6,
        20,
        5,
        81,
        2,
        60,
        7,
        94,
        0,
        62
      ],
      [
        1,
        57,
        5,
        40,
        0,
        78,
        6,
        9,
        2,
        49,
        9,
        17,
        3,
        32,
        4,
        30,
        8,
        87,
        7,
        77
      ],
      [
        0,
        52,
        4,
        30,
        3,
        48,
        5,
        48,
        1,
        26,
        9,
        17,
        6,
        93,
        8,
        97,
        7,
        49,
        2,
        89
      ],
      [
        7,
        95,
        0,
        33,
        1,
        5,
        6,
        17,
        5,
        70,
        3,
        57,
        4,
        34,
        2,
        61,
        8,
        62,
        9,
        39
      ],
      [
        7,
        97,
        5,
        92,
        1,
        31,
        8,
        5,
        2,
        79,
        4,
        5,
        3,
        67,
        0,
        5,
        9,
        78,
        6,
        60
      ],
      [
        2,
        79,
        4,
        6,
        7,
        20,
        8,
        45,
        6,
        34,
        3,
        24,
        9,
        26,
        5,
        68,
        1,
        16,
        0,
        46
      ],
      [
        7,
        58,
        9,
        50,
        2,
        19,
        8,
        93,
        6,
        49,
        3,
        25,
        5,
        85,
        4,
        50,
        0,
        93,
        1,
        26
      ],
      [
        9,
        81,
        6,
        71,
        5,
        7,
        1,
        39,
        2,
        16,
        8,
        42,
        0,
        71,
        4,
        84,
        3,
        56,
        7,
        99
      ],
      [
        8,
        9,
        0,
        86,
        9,
        6,
        3,
        71,
        6,
        97,
        5,
        85,
        4,
        16,
        2,
        42,
        7,
        81,
        1,
        81
      ],
      [
        4,
        72,
        3,
        24,
        0,
        30,
        8,
        56,
        2,
        43,
        1,
        61,
        7,
        82,
        6,
        40,
        5,
        59,
        9,
        43
      ],
      [
        9,
        43,
        1,
        13,
        6,
        70,
        7,
        93,
        0,
        95,
        8,
        12,
        4,
        15,
        2,
        78,
        5,
        97,
        3,
        14
      ],
      [
        0,
        14,
        6,
        26,
        1,
        71,
        3,
        46,
        8,
        80,
        5,
        31,
        4,
        37,
        9,
        27,
        7,
        92,
        2,
        67
      ],
      [
        2,
        12,
        0,
        43,
        5,
        96,
        6,
        7,
        3,
        45,
        7,
        20,
        1,
        13,
        9,
        29,
        4,
        60,
        8,
        33
      ],
      [
        1,
        78,
        5,
        50,
        6,
        84,
        0,
        42,
        8,
        84,
        4,
        30,
        9,
        76,
        2,
        57,
        7,
        87,
        3,
        59
      ],
      [
        4,
        49,
        7,
        50,
        1,
        15,
        8,
        13,
        0,
        93,
        6,
        50,
        9,
        32,
        5,
        59,
        3,
        10,
        2,
        35
      ],
      [
        1,
        25,
        0,
        47,
        7,
        60,
        8,
        33,
        4,
        53,
        5,
        37,
        9,
        73,
        2,
        22,
        3,
        87,
        6,
        79
      ],
      [
        0,
        84,
        6,
        83,
        1,
        71,
        5,
        68,
        9,
        89,
        8,
        11,
        3,
        60,
        4,
        50,
        2,
        33,
        7,
        97
      ],
      [
        1,
        14,
        0,
        38,
        6,
        88,
        5,
        5,
        4,
        77,
        7,
        92,
        8,
        24,
        2,
        73,
        9,
        52,
        3,
        71
      ],
      [
        7,
        62,
        9,
        19,
        6,
        38,
        3,
        15,
        8,
        64,
        2,
        64,
        4,
        8,
        1,
        61,
        0,
        19,
        5,
        33
      ],
      [
        2,
        33,
        5,
        46,
        4,
        74,
        0,
        56,
        6,
        84,
        9,
        83,
        8,
        19,
        7,
        8,
        3,
        32,
        1,
        97
      ],
      [
        4,
        50,
        3,
        71,
        6,
        50,
        2,
        97,
        9,
        8,
        0,
        17,
        7,
        19,
        8,
        92,
        5,
        54,
        1,
        52
      ],
      [
        8,
        32,
        1,
        79,
        3,
        97,
        5,
        38,
        9,
        49,
        4,
        76,
        6,
        76,
        0,
        56,
        2,
        78,
        7,
        54
      ],
      [
        5,
        13,
        3,
        5,
        2,
        25,
        0,
        86,
        1,
        95,
        9,
        28,
        6,
        78,
        8,
        24,
        7,
        10,
        4,
        39
      ],
      [
        7,
        48,
        2,
        59,
        0,
        20,
        9,
        7,
        5,
        31,
        6,
        97,
        1,
        89,
        4,
        32,
        3,
        25,
        8,
        41
      ],
      [
        5,
        87,
        0,
        18,
        9,
        48,
        2,
        43,
        1,
        30,
        6,
        97,
        7,
        47,
        8,
        65,
        3,
        69,
        4,
        27
      ],
      [
        6,
        71,
        5,
        20,
        8,
        20,
        1,
        78,
        3,
        39,
        0,
        17,
        7,
        50,
        2,
        44,
        9,
        42,
        4,
        38
      ],
      [
        0,
        50,
        9,
        42,
        3,
        72,
        5,
        7,
        1,
        77,
        7,
        58,
        4,
        78,
        2,
        89,
        6,
        70,
        8,
        36
      ],
      [
        3,
        32,
        9,
        95,
        2,
        13,
        0,
        73,
        6,
        97,
        8,
        24,
        4,
        49,
        5,
        57,
        1,
        68,
        7,
        94
      ]
    ]
  },
  {
    "description": "Lawrence 15x15 instance (Table 10, instance 1); also called (seti1) or (I1)",
    "data": [
      [
        4,
        21,
        3,
        55,
        6,
        71,
        14,
        98,
        10,
        12,
        2,
        34,
        9,
        16,
        1,
        21,
        0,
        53,
        7,
        26,
        8,
        52,
        5,
        95,
        12,
        31,
        11,
        42,
        13,
        39
      ],
      [
        11,
        54,
        4,
        83,
        1,
        77,
        7,
        64,
        8,
        34,
        14,
        79,
        12,
        43,
        0,
        55,
        3,
        77,
        6,
        19,
        9,
        37,
        5,
        79,
        10,
        92,
        13,
        62,
        2,
        66
      ],
      [
        9,
        83,
        5,
        77,
        2,
        87,
        7,
        38,
        4,
        60,
        12,
        98,
        0,
        93,
        13,
        17,
        6,
        41,
        10,
        44,
        3,
        69,
        11,
        49,
        8,
        24,
        1,
        87,
        14,
        25
      ],
      [
        5,
        77,
        0,
        96,
        9,
        28,
        6,
        7,
        4,
        95,
        13,
        35,
        7,
        35,
        8,
        76,
        11,
        9,
        12,
        95,
        2,
        43,
        1,
        75,
        10,
        61,
        14,
        10,
        3,
        79
      ],
      [
        10,
        87,
        4,
        28,
        8,
        50,
        2,
        59,
        0,
        46,
        11,
        45,
        14,
        9,
        9,
        43,
        6,
        52,
        7,
        27,
        1,
        91,
        13,
        41,
        3,
        16,
        5,
        59,
        12,
        39
      ],
      [
        0,
        20,
        2,
        71,
        4,
        78,
        13,
        66,
        3,
        14,
        12,
        8,
        14,
        42,
        6,
        28,
        1,
        54,
        9,
        33,
        11,
        89,
        8,
        26,
        7,
        37,
        10,
        33,
        5,
        43
      ],
      [
        8,
        69,
        4,
        96,
        12,
        17,
        0,
        69,
        7,
        45,
        11,
        31,
        6,
        78,
        10,
        20,
        3,
        27,
        13,
        87,
        1,
        74,
        5,
        84,
        14,
        76,
        2,
        94,
        9,
        81
      ],
      [
        4,
        58,
        13,
        90,
        11,
        76,
        3,
        81,
        7,
        23,
        9,
        28,
        1,
        18,
        2,
        32,
        12,
        86,
        8,
        99,
        14,
        97,
        0,
        24,
        10,
        45,
        6,
        72,
        5,
        25
      ],
      [
        5,
        27,
        1,
        46,
        6,
        67,
        8,
        27,
        13,
        19,
        10,
        80,
        2,
        17,
        3,
        48,
        7,
        62,
        11,
        12,
        14,
        28,
        4,
        98,
        0,
        42,
        9,
        48,
        12,
        50
      ],
      [
        11,
        37,
        5,
        80,
        4,
        75,
        8,
        55,
        7,
        50,
        0,
        94,
        9,
        14,
        6,
        41,
        14,
        72,
        3,
        50,
        10,
        61,
        13,
        79,
        2,
        98,
        12,
        18,
        1,
        63
      ],
      [
        7,
        65,
        3,
        96,
        0,
        47,
        4,
        75,
        12,
        69,
        14,
        58,
        10,
        33,
        1,
        71,
        9,
        22,
        13,
        32,
        5,
        57,
        8,
        79,
        2,
        14,
        11,
        31,
        6,
        60
      ],
      [
        1,
        34,
        2,
        47,
        3,
        58,
        5,
        51,
        4,
        62,
        6,
        44,
        9,
        8,
        7,
        17,
        10,
        97,
        8,
        29,
        11,
        15,
        13,
        66,
        12,
        40,
        0,
        44,
        14,
        38
      ],
      [
        3,
        50,
        7,
        57,
        13,
        61,
        5,
        20,
        11,
        85,
        12,
        90,
        2,
        58,
        4,
        63,
        10,
        84,
        1,
        39,
        9,
        87,
        6,
        21,
        14,
        56,
        8,
        32,
        0,
        57
      ],
      [
        9,
        84,
        7,
        45,
        5,
        15,
        14,
        41,
        10,
        18,
        4,
        82,
        11,
        29,
        2,
        70,
        1,
        67,
        3,
        30,
        13,
        50,
        6,
        23,
        0,
        20,
        12,
        21,
        8,
        38
      ],
      [
        9,
        37,
        10,
        81,
        11,
        61,
        14,
        57,
        8,
        57,
        0,
        52,
        7,
        74,
        6,
        62,
        12,
        30,
        1,
        52,
        2,
        38,
        13,
        68,
        4,
        54,
        3,
        54,
        5,
        16
      ]
    ]
  },
  {
    "description": "Lawrence 15x15 instance (Table 10, instance 2); also called (seti2) or (I2)",
    "data": [
      [
        5,
        19,
        6,
        64,
        11,
        73,
        9,
        13,
        2,
        84,
        14,
        88,
        3,
        85,
        10,
        41,
        12,
        53,
        13,
        80,
        1,
        66,
        7,
        46,
        8,
        59,
        4,
        25,
        0,
        62
      ],
      [
        1,
        67,
        3,
        74,
        7,
        41,
        2,
        57,
        14,
        52,
        0,
        14,
        9,
        64,
        8,
        84,
        6,
        78,
        5,
        47,
        13,
        28,
        4,
        84,
        10,
        63,
        12,
        26,
        11,
        46
      ],
      [
        6,
        97,
        8,
        95,
        0,
        64,
        9,
        38,
        10,
        59,
        12,
        95,
        2,
        17,
        11,
        65,
        13,
        93,
        3,
        10,
        5,
        73,
        1,
        11,
        4,
        85,
        14,
        46,
        7,
        67
      ],
      [
        10,
        23,
        12,
        49,
        3,
        32,
        4,
        66,
        2,
        43,
        0,
        60,
        8,
        41,
        7,
        61,
        13,
        70,
        9,
        49,
        11,
        17,
        6,
        90,
        1,
        85,
        14,
        99,
        5,
        85
      ],
      [
        9,
        98,
        8,
        57,
        3,
        73,
        6,
        9,
        0,
        73,
        7,
        7,
        1,
        98,
        4,
        13,
        13,
        41,
        5,
        40,
        11,
        85,
        10,
        37,
        2,
        68,
        14,
        79,
        12,
        17
      ],
      [
        11,
        66,
        7,
        53,
        5,
        86,
        6,
        40,
        0,
        14,
        3,
        19,
        13,
        96,
        4,
        95,
        2,
        54,
        10,
        84,
        12,
        97,
        8,
        16,
        14,
        52,
        1,
        76,
        9,
        87
      ],
      [
        4,
        77,
        2,
        55,
        9,
        42,
        5,
        74,
        14,
        91,
        13,
        33,
        10,
        16,
        12,
        54,
        0,
        18,
        3,
        87,
        7,
        60,
        8,
        13,
        6,
        33,
        1,
        33,
        11,
        61
      ],
      [
        6,
        41,
        5,
        39,
        11,
        82,
        9,
        64,
        14,
        47,
        10,
        28,
        7,
        78,
        13,
        49,
        1,
        79,
        4,
        58,
        2,
        92,
        3,
        79,
        12,
        6,
        0,
        69,
        8,
        76
      ],
      [
        11,
        21,
        5,
        42,
        9,
        91,
        2,
        28,
        0,
        52,
        6,
        88,
        12,
        76,
        13,
        86,
        10,
        23,
        1,
        35,
        7,
        52,
        4,
        91,
        3,
        47,
        14,
        82,
        8,
        24
      ],
      [
        11,
        42,
        1,
        93,
        3,
        95,
        13,
        45,
        9,
        28,
        14,
        77,
        0,
        84,
        10,
        8,
        7,
        45,
        4,
        70,
        5,
        37,
        6,
        86,
        12,
        64,
        8,
        67,
        2,
        38
      ],
      [
        4,
        97,
        12,
        81,
        1,
        58,
        7,
        84,
        5,
        58,
        0,
        9,
        11,
        87,
        3,
        5,
        2,
        44,
        13,
        85,
        6,
        89,
        10,
        77,
        9,
        96,
        14,
        39,
        8,
        77
      ],
      [
        12,
        80,
        1,
        21,
        10,
        10,
        5,
        73,
        8,
        70,
        6,
        49,
        2,
        31,
        13,
        34,
        4,
        40,
        11,
        22,
        0,
        15,
        14,
        82,
        3,
        57,
        9,
        71,
        7,
        48
      ],
      [
        2,
        17,
        7,
        62,
        5,
        75,
        9,
        35,
        1,
        91,
        14,
        50,
        3,
        7,
        10,
        64,
        13,
        75,
        12,
        94,
        0,
        55,
        6,
        72,
        8,
        47,
        4,
        11,
        11,
        90
      ],
      [
        11,
        93,
        6,
        57,
        1,
        71,
        12,
        70,
        9,
        93,
        5,
        20,
        3,
        15,
        13,
        77,
        10,
        58,
        0,
        12,
        2,
        67,
        8,
        68,
        14,
        7,
        7,
        29,
        4,
        52
      ],
      [
        13,
        76,
        3,
        27,
        4,
        26,
        9,
        36,
        11,
        8,
        10,
        36,
        0,
        95,
        8,
        48,
        2,
        82,
        6,
        87,
        5,
        6,
        1,
        63,
        7,
        56,
        12,
        36,
        14,
        15
      ]
    ]
  },
  {
    "description": "Lawrence 15x15 instance (Table 10, instance 3); also called (seti3) or (I3)",
    "data": [
      [
        1,
        26,
        12,
        67,
        0,
        72,
        6,
        74,
        14,
        13,
        8,
        43,
        4,
        30,
        3,
        19,
        10,
        23,
        11,
        85,
        5,
        98,
        13,
        43,
        2,
        38,
        7,
        8,
        9,
        75
      ],
      [
        14,
        42,
        0,
        39,
        4,
        55,
        12,
        46,
        1,
        19,
        8,
        93,
        9,
        80,
        5,
        26,
        10,
        7,
        6,
        50,
        11,
        57,
        3,
        73,
        2,
        9,
        7,
        61,
        13,
        72
      ],
      [
        3,
        96,
        4,
        99,
        12,
        34,
        6,
        60,
        7,
        43,
        14,
        7,
        13,
        12,
        8,
        11,
        11,
        70,
        10,
        43,
        0,
        91,
        1,
        68,
        9,
        11,
        5,
        68,
        2,
        72
      ],
      [
        14,
        63,
        11,
        45,
        4,
        49,
        1,
        74,
        8,
        27,
        0,
        30,
        9,
        72,
        7,
        9,
        12,
        99,
        13,
        60,
        5,
        69,
        6,
        69,
        2,
        84,
        3,
        40,
        10,
        59
      ],
      [
        2,
        91,
        0,
        75,
        9,
        98,
        3,
        17,
        10,
        72,
        13,
        31,
        11,
        9,
        14,
        98,
        7,
        50,
        5,
        37,
        4,
        8,
        8,
        65,
        1,
        90,
        12,
        91,
        6,
        71
      ],
      [
        11,
        35,
        6,
        80,
        4,
        39,
        3,
        62,
        14,
        74,
        5,
        72,
        10,
        35,
        9,
        25,
        1,
        49,
        8,
        52,
        7,
        63,
        2,
        90,
        13,
        21,
        12,
        47,
        0,
        38
      ],
      [
        14,
        19,
        7,
        57,
        10,
        24,
        13,
        91,
        3,
        50,
        0,
        5,
        11,
        49,
        12,
        18,
        9,
        58,
        5,
        24,
        8,
        52,
        1,
        88,
        2,
        68,
        6,
        20,
        4,
        53
      ],
      [
        7,
        77,
        14,
        72,
        5,
        35,
        11,
        90,
        4,
        68,
        6,
        18,
        3,
        9,
        0,
        33,
        8,
        60,
        10,
        18,
        12,
        10,
        13,
        60,
        1,
        38,
        2,
        99,
        9,
        15
      ],
      [
        13,
        6,
        8,
        86,
        2,
        40,
        9,
        79,
        12,
        92,
        11,
        23,
        5,
        89,
        10,
        95,
        6,
        91,
        7,
        72,
        0,
        80,
        1,
        60,
        3,
        56,
        4,
        51,
        14,
        23
      ],
      [
        1,
        46,
        6,
        28,
        5,
        34,
        11,
        77,
        4,
        47,
        0,
        10,
        14,
        49,
        8,
        77,
        10,
        48,
        7,
        24,
        12,
        8,
        2,
        72,
        13,
        55,
        9,
        29,
        3,
        40
      ],
      [
        10,
        22,
        4,
        89,
        12,
        79,
        0,
        7,
        9,
        15,
        1,
        6,
        11,
        30,
        6,
        38,
        5,
        11,
        8,
        52,
        3,
        20,
        7,
        5,
        14,
        9,
        2,
        20,
        13,
        28
      ],
      [
        5,
        73,
        14,
        56,
        2,
        37,
        3,
        22,
        13,
        25,
        6,
        58,
        1,
        8,
        7,
        93,
        4,
        88,
        8,
        17,
        12,
        9,
        11,
        69,
        10,
        71,
        9,
        85,
        0,
        55
      ],
      [
        9,
        85,
        14,
        58,
        3,
        46,
        8,
        64,
        2,
        49,
        6,
        37,
        1,
        33,
        4,
        30,
        5,
        26,
        0,
        20,
        13,
        74,
        10,
        77,
        12,
        99,
        11,
        56,
        7,
        21
      ],
      [
        10,
        17,
        3,
        24,
        4,
        89,
        5,
        15,
        11,
        60,
        1,
        42,
        8,
        98,
        2,
        64,
        13,
        92,
        0,
        63,
        7,
        52,
        12,
        54,
        6,
        75,
        14,
        23,
        9,
        38
      ],
      [
        3,
        8,
        5,
        17,
        11,
        56,
        7,
        93,
        14,
        26,
        9,
        62,
        6,
        7,
        10,
        88,
        0,
        97,
        1,
        7,
        2,
        43,
        8,
        29,
        13,
        35,
        12,
        87,
        4,
        57
      ]
    ]
  },
  {
    "description": "Lawrence 15x15 instance (Table 10, instance 4); also called (seti4) or (I4)",
    "data": [
      [
        10,
        51,
        14,
        43,
        7,
        80,
        4,
        18,
        6,
        38,
        3,
        24,
        2,
        67,
        12,
        15,
        11,
        24,
        13,
        72,
        8,
        45,
        5,
        80,
        9,
        64,
        1,
        44,
        0,
        88
      ],
      [
        6,
        40,
        9,
        88,
        10,
        77,
        5,
        59,
        11,
        20,
        3,
        52,
        8,
        70,
        0,
        40,
        4,
        32,
        13,
        76,
        12,
        43,
        7,
        31,
        2,
        21,
        14,
        5,
        1,
        47
      ],
      [
        0,
        32,
        3,
        49,
        10,
        5,
        5,
        64,
        7,
        58,
        8,
        80,
        6,
        94,
        11,
        11,
        1,
        26,
        13,
        26,
        14,
        59,
        9,
        85,
        4,
        47,
        12,
        96,
        2,
        14
      ],
      [
        5,
        23,
        6,
        9,
        0,
        75,
        12,
        37,
        11,
        43,
        2,
        79,
        4,
        75,
        3,
        34,
        7,
        20,
        13,
        10,
        14,
        83,
        10,
        68,
        9,
        52,
        8,
        66,
        1,
        9
      ],
      [
        12,
        69,
        9,
        59,
        3,
        28,
        14,
        62,
        13,
        36,
        1,
        26,
        6,
        84,
        11,
        16,
        8,
        54,
        5,
        42,
        2,
        54,
        0,
        6,
        10,
        40,
        7,
        88,
        4,
        79
      ],
      [
        13,
        78,
        12,
        53,
        11,
        17,
        5,
        29,
        4,
        82,
        2,
        23,
        9,
        12,
        8,
        64,
        1,
        86,
        7,
        59,
        6,
        5,
        3,
        68,
        14,
        59,
        10,
        13,
        0,
        56
      ],
      [
        10,
        83,
        13,
        46,
        9,
        7,
        12,
        65,
        11,
        69,
        6,
        62,
        0,
        16,
        2,
        58,
        8,
        66,
        5,
        83,
        7,
        90,
        14,
        42,
        4,
        81,
        3,
        69,
        1,
        85
      ],
      [
        7,
        73,
        10,
        71,
        8,
        64,
        6,
        10,
        9,
        20,
        11,
        99,
        4,
        24,
        14,
        65,
        5,
        82,
        3,
        72,
        12,
        43,
        1,
        82,
        13,
        27,
        2,
        24,
        0,
        33
      ],
      [
        4,
        82,
        1,
        34,
        3,
        92,
        2,
        8,
        0,
        38,
        8,
        45,
        6,
        21,
        5,
        35,
        12,
        52,
        9,
        35,
        11,
        15,
        14,
        23,
        10,
        6,
        13,
        83,
        7,
        30
      ],
      [
        2,
        84,
        5,
        7,
        9,
        66,
        10,
        6,
        4,
        28,
        13,
        27,
        6,
        79,
        7,
        70,
        0,
        85,
        1,
        94,
        3,
        60,
        14,
        80,
        12,
        39,
        8,
        66,
        11,
        29
      ],
      [
        3,
        44,
        6,
        58,
        13,
        14,
        8,
        65,
        1,
        72,
        5,
        14,
        12,
        52,
        4,
        21,
        9,
        25,
        0,
        5,
        11,
        51,
        7,
        61,
        14,
        55,
        10,
        42,
        2,
        36
      ],
      [
        14,
        43,
        10,
        72,
        5,
        78,
        11,
        12,
        12,
        17,
        0,
        46,
        9,
        27,
        6,
        51,
        2,
        63,
        1,
        79,
        8,
        79,
        7,
        91,
        4,
        49,
        13,
        26,
        3,
        93
      ],
      [
        7,
        49,
        0,
        49,
        4,
        71,
        5,
        78,
        9,
        44,
        10,
        41,
        12,
        91,
        13,
        84,
        8,
        91,
        6,
        21,
        11,
        47,
        14,
        28,
        3,
        61,
        2,
        70,
        1,
        93
      ],
      [
        3,
        25,
        4,
        85,
        0,
        66,
        2,
        45,
        10,
        95,
        12,
        21,
        8,
        84,
        5,
        24,
        9,
        53,
        7,
        67,
        6,
        91,
        11,
        11,
        13,
        32,
        1,
        30,
        14,
        89
      ],
      [
        3,
        92,
        7,
        93,
        0,
        99,
        1,
        40,
        10,
        37,
        12,
        69,
        5,
        66,
        6,
        57,
        14,
        22,
        9,
        44,
        8,
        73,
        13,
        97,
        11,
        18,
        2,
        69,
        4,
        41
      ]
    ]
  },
  {
    "description": "Lawrence 15x15 instance (Table 10, instance 5); also called (seti5) or (I5)",
    "data": [
      [
        9,
        65,
        10,
        28,
        4,
        74,
        12,
        33,
        2,
        51,
        14,
        75,
        5,
        73,
        8,
        32,
        6,
        13,
        3,
        81,
        1,
        35,
        7,
        59,
        13,
        38,
        11,
        55,
        0,
        27
      ],
      [
        0,
        64,
        1,
        53,
        11,
        83,
        2,
        33,
        4,
        6,
        9,
        52,
        14,
        72,
        8,
        7,
        13,
        90,
        12,
        21,
        6,
        23,
        3,
        10,
        10,
        39,
        5,
        49,
        7,
        72
      ],
      [
        14,
        73,
        3,
        82,
        1,
        23,
        12,
        62,
        6,
        88,
        5,
        21,
        8,
        65,
        11,
        70,
        7,
        53,
        10,
        81,
        2,
        93,
        13,
        77,
        0,
        61,
        9,
        28,
        4,
        78
      ],
      [
        1,
        12,
        6,
        51,
        7,
        33,
        4,
        15,
        14,
        72,
        10,
        98,
        9,
        94,
        5,
        12,
        11,
        42,
        2,
        24,
        13,
        15,
        8,
        28,
        3,
        6,
        12,
        99,
        0,
        41
      ],
      [
        12,
        97,
        5,
        7,
        9,
        96,
        4,
        15,
        14,
        73,
        13,
        43,
        0,
        32,
        8,
        22,
        11,
        42,
        1,
        94,
        2,
        23,
        7,
        86,
        6,
        78,
        10,
        24,
        3,
        31
      ],
      [
        1,
        72,
        5,
        88,
        2,
        93,
        13,
        13,
        4,
        44,
        14,
        66,
        6,
        63,
        7,
        14,
        9,
        67,
        10,
        17,
        11,
        85,
        0,
        35,
        3,
        68,
        12,
        5,
        8,
        49
      ],
      [
        9,
        15,
        7,
        82,
        6,
        21,
        14,
        53,
        3,
        72,
        13,
        49,
        2,
        99,
        4,
        26,
        12,
        56,
        8,
        45,
        1,
        68,
        10,
        51,
        0,
        8,
        5,
        27,
        11,
        96
      ],
      [
        3,
        54,
        7,
        24,
        4,
        14,
        8,
        38,
        5,
        36,
        2,
        52,
        14,
        55,
        12,
        37,
        11,
        48,
        0,
        93,
        13,
        60,
        10,
        70,
        1,
        23,
        6,
        23,
        9,
        83
      ],
      [
        3,
        12,
        8,
        69,
        6,
        26,
        9,
        23,
        14,
        28,
        1,
        82,
        5,
        33,
        4,
        45,
        13,
        64,
        7,
        15,
        11,
        9,
        12,
        73,
        10,
        59,
        2,
        37,
        0,
        62
      ],
      [
        0,
        87,
        5,
        12,
        7,
        80,
        4,
        50,
        10,
        48,
        12,
        90,
        1,
        72,
        13,
        24,
        6,
        14,
        8,
        71,
        11,
        44,
        9,
        46,
        2,
        15,
        14,
        61,
        3,
        92
      ],
      [
        2,
        54,
        0,
        22,
        6,
        61,
        4,
        46,
        3,
        73,
        5,
        16,
        12,
        6,
        9,
        94,
        14,
        93,
        13,
        67,
        8,
        54,
        7,
        75,
        11,
        32,
        10,
        40,
        1,
        97
      ],
      [
        10,
        92,
        14,
        36,
        4,
        22,
        9,
        9,
        3,
        47,
        1,
        77,
        12,
        79,
        13,
        36,
        6,
        30,
        8,
        98,
        11,
        79,
        7,
        7,
        5,
        55,
        2,
        6,
        0,
        30
      ],
      [
        0,
        49,
        13,
        83,
        3,
        73,
        6,
        82,
        1,
        82,
        14,
        92,
        11,
        73,
        4,
        31,
        10,
        35,
        9,
        54,
        5,
        7,
        8,
        37,
        7,
        72,
        2,
        52,
        12,
        76
      ],
      [
        10,
        98,
        12,
        34,
        13,
        52,
        4,
        26,
        1,
        28,
        3,
        39,
        8,
        80,
        5,
        29,
        9,
        70,
        0,
        43,
        6,
        48,
        7,
        58,
        2,
        45,
        14,
        94,
        11,
        96
      ],
      [
        1,
        70,
        10,
        17,
        6,
        90,
        12,
        67,
        4,
        14,
        8,
        23,
        3,
        21,
        7,
        18,
        13,
        43,
        11,
        84,
        5,
        26,
        9,
        36,
        2,
        93,
        14,
        84,
        0,
        42
      ]
    ]
  }
]