{
  "seed": 59123,
  "law": "Six food rows empty and selected self-incidence required; correct size-biased row, other nonfood rows unrestricted",
  "witness_class": true,
  "selected_row_degree": 63,
  "environment": {
    "S": [
      1.5,
      1.0,
      1.5,
      1.0,
      1.0,
      1.5,
      1.0,
      1.5,
      2.0,
      1.0,
      2.0,
      2.0,
      1.0,
      1.0,
      2.0,
      1.0,
      2.0,
      1.0,
      1.0,
      1.0,
      2.0,
      1.5,
      1.5,
      2.0,
      2.0,
      2.0,
      2.0,
      2.0,
      1.5,
      1.0,
      1.5,
      1.0,
      1.5,
      1.0,
      2.0,
      1.0,
      1.5,
      1.5,
      1.0,
      1.0,
      1.0,
      1.0,
      1.5,
      1.0,
      1.5,
      1.0,
      1.0,
      1.0,
      2.0,
      1.5,
      2.0,
      1.5,
      2.0,
      1.5,
      1.0,
      1.0,
      2.0,
      2.0,
      1.5,
      1.5,
      2.0,
      1.0,
      1.5,
      1.5,
      1.5,
      1.5,
      1.0,
      2.0
    ],
    "B": [
      1.0,
      1.0,
      1.0,
      2.0,
      2.0,
      1.5,
      1.0,
      1.0,
      1.0,
      1.0,
      1.5,
      2.0,
      1.0,
      1.5,
      2.0,
      2.0,
      2.0,
      1.5,
      2.0,
      2.0,
      1.0,
      2.0,
      1.5,
      1.5,
      1.0,
      1.0,
      2.0,
      2.0,
      1.0,
      2.0,
      1.5,
      1.5,
      2.0,
      2.0,
      2.0,
      2.0,
      1.0,
      1.5,
      1.0,
      2.0,
      2.0,
      1.5,
      1.5,
      1.5,
      2.0,
      2.0,
      1.0,
      1.5,
      1.0,
      1.0,
      1.5,
      1.5,
      1.0,
      1.5,
      1.5,
      1.5,
      1.5,
      1.0,
      1.5,
      1.5,
      1.5,
      2.0,
      1.5,
      1.0,
      1.0,
      1.0,
      1.0,
      1.5
    ],
    "incidences": [
      [
        "000",
        34,
        2.0
      ],
      [
        "000",
        46,
        1.5
      ],
      [
        "000",
        67,
        1.0
      ],
      [
        "001",
        9,
        1.0
      ],
      [
        "001",
        11,
        1.0
      ],
      [
        "001",
        17,
        2.0
      ],
      [
        "001",
        19,
        1.5
      ],
      [
        "001",
        20,
        2.0
      ],
      [
        "001",
        24,
        1.0
      ],
      [
        "001",
        26,
        1.0
      ],
      [
        "001",
        29,
        1.5
      ],
      [
        "001",
        33,
        1.5
      ],
      [
        "001",
        41,
        2.0
      ],
      [
        "001",
        47,
        1.0
      ],
      [
        "001",
        49,
        1.0
      ],
      [
        "001",
        55,
        2.0
      ],
      [
        "001",
        65,
        1.5
      ],
      [
        "011",
        0,
        1.5
      ],
      [
        "011",
        1,
        1.0
      ],
      [
        "011",
        2,
        1.5
      ],
      [
        "011",
        4,
        2.0
      ],
      [
        "011",
        5,
        1.5
      ],
      [
        "011",
        6,
        2.0
      ],
      [
        "011",
        7,
        1.0
      ],
      [
        "011",
        8,
        1.5
      ],
      [
        "011",
        11,
        2.0
      ],
      [
        "011",
        12,
        1.0
      ],
      [
        "011",
        13,
        1.5
      ],
      [
        "011",
        15,
        2.0
      ],
      [
        "011",
        16,
        1.0
      ],
      [
        "011",
        20,
        2.0
      ],
      [
        "011",
        22,
        2.0
      ],
      [
        "011",
        24,
        2.0
      ],
      [
        "011",
        26,
        2.0
      ],
      [
        "011",
        27,
        1.5
      ],
      [
        "011",
        28,
        2.0
      ],
      [
        "011",
        29,
        1.5
      ],
      [
        "011",
        32,
        1.5
      ],
      [
        "011",
        34,
        1.5
      ],
      [
        "011",
        35,
        1.0
      ],
      [
        "011",
        36,
        2.0
      ],
      [
        "011",
        39,
        1.0
      ],
      [
        "011",
        40,
        1.5
      ],
      [
        "011",
        41,
        1.0
      ],
      [
        "011",
        42,
        1.5
      ],
      [
        "011",
        44,
        1.5
      ],
      [
        "011",
        46,
        1.5
      ],
      [
        "011",
        49,
        1.5
      ],
      [
        "011",
        50,
        1.5
      ],
      [
        "011",
        52,
        1.0
      ],
      [
        "011",
        53,
        1.0
      ],
      [
        "011",
        54,
        1.5
      ],
      [
        "011",
        55,
        1.0
      ],
      [
        "011",
        56,
        2.0
      ],
      [
        "011",
        61,
        1.5
      ],
      [
        "011",
        62,
        2.0
      ],
      [
        "011",
        66,
        2.0
      ],
      [
        "101",
        0,
        1.5
      ],
      [
        "101",
        1,
        1.0
      ],
      [
        "101",
        2,
        2.0
      ],
      [
        "101",
        3,
        1.0
      ],
      [
        "101",
        4,
        1.0
      ],
      [
        "101",
        5,
        2.0
      ],
      [
        "101",
        6,
        1.5
      ],
      [
        "101",
        7,
        1.0
      ],
      [
        "101",
        8,
        1.5
      ],
      [
        "101",
        9,
        1.0
      ],
      [
        "101",
        10,
        2.0
      ],
      [
        "101",
        11,
        1.0
      ],
      [
        "101",
        12,
        1.0
      ],
      [
        "101",
        13,
        1.5
      ],
      [
        "101",
        14,
        1.5
      ],
      [
        "101",
        15,
        1.0
      ],
      [
        "101",
        16,
        2.0
      ],
      [
        "101",
        17,
        2.0
      ],
      [
        "101",
        18,
        1.5
      ],
      [
        "101",
        19,
        1.0
      ],
      [
        "101",
        20,
        1.0
      ],
      [
        "101",
        21,
        1.0
      ],
      [
        "101",
        22,
        2.0
      ],
      [
        "101",
        23,
        1.0
      ],
      [
        "101",
        24,
        2.0
      ],
      [
        "101",
        25,
        2.0
      ],
      [
        "101",
        26,
        1.5
      ],
      [
        "101",
        27,
        1.5
      ],
      [
        "101",
        28,
        2.0
      ],
      [
        "101",
        29,
        1.0
      ],
      [
        "101",
        30,
        1.5
      ],
      [
        "101",
        31,
        1.5
      ],
      [
        "101",
        32,
        2.0
      ],
      [
        "101",
        34,
        1.5
      ],
      [
        "101",
        35,
        1.5
      ],
      [
        "101",
        36,
        2.0
      ],
      [
        "101",
        37,
        2.0
      ],
      [
        "101",
        38,
        2.0
      ],
      [
        "101",
        39,
        1.0
      ],
      [
        "101",
        40,
        1.0
      ],
      [
        "101",
        41,
        1.5
      ],
      [
        "101",
        42,
        1.5
      ],
      [
        "101",
        43,
        2.0
      ],
      [
        "101",
        44,
        1.0
      ],
      [
        "101",
        45,
        1.0
      ],
      [
        "101",
        46,
        2.0
      ],
      [
        "101",
        47,
        2.0
      ],
      [
        "101",
        48,
        1.5
      ],
      [
        "101",
        49,
        2.0
      ],
      [
        "101",
        50,
        1.5
      ],
      [
        "101",
        51,
        2.0
      ],
      [
        "101",
        52,
        1.5
      ],
      [
        "101",
        53,
        1.5
      ],
      [
        "101",
        54,
        1.5
      ],
      [
        "101",
        55,
        1.0
      ],
      [
        "101",
        56,
        1.5
      ],
      [
        "101",
        57,
        1.0
      ],
      [
        "101",
        58,
        1.5
      ],
      [
        "101",
        59,
        1.0
      ],
      [
        "101",
        60,
        2.0
      ],
      [
        "101",
        61,
        2.0
      ],
      [
        "101",
        62,
        1.5
      ],
      [
        "101",
        63,
        1.5
      ],
      [
        "101",
        64,
        1.5
      ],
      [
        "101",
        65,
        1.0
      ],
      [
        "101",
        66,
        1.5
      ],
      [
        "101",
        67,
        2.0
      ],
      [
        "110",
        18,
        1.0
      ],
      [
        "111",
        0,
        1.5
      ],
      [
        "111",
        1,
        2.0
      ],
      [
        "111",
        2,
        1.0
      ],
      [
        "111",
        3,
        1.5
      ],
      [
        "111",
        4,
        1.0
      ],
      [
        "111",
        5,
        1.0
      ],
      [
        "111",
        6,
        1.5
      ],
      [
        "111",
        7,
        1.5
      ],
      [
        "111",
        8,
        1.0
      ],
      [
        "111",
        9,
        1.0
      ],
      [
        "111",
        10,
        2.0
      ],
      [
        "111",
        11,
        1.5
      ],
      [
        "111",
        12,
        1.0
      ],
      [
        "111",
        14,
        1.5
      ],
      [
        "111",
        15,
        2.0
      ],
      [
        "111",
        16,
        1.0
      ],
      [
        "111",
        17,
        1.0
      ],
      [
        "111",
        18,
        1.5
      ],
      [
        "111",
        19,
        2.0
      ],
      [
        "111",
        20,
        2.0
      ],
      [
        "111",
        21,
        2.0
      ],
      [
        "111",
        22,
        1.0
      ],
      [
        "111",
        23,
        2.0
      ],
      [
        "111",
        24,
        1.5
      ],
      [
        "111",
        25,
        1.5
      ],
      [
        "111",
        26,
        1.5
      ],
      [
        "111",
        27,
        1.0
      ],
      [
        "111",
        28,
        2.0
      ],
      [
        "111",
        29,
        1.5
      ],
      [
        "111",
        30,
        1.0
      ],
      [
        "111",
        31,
        1.5
      ],
      [
        "111",
        32,
        1.5
      ],
      [
        "111",
        33,
        1.5
      ],
      [
        "111",
        34,
        2.0
      ],
      [
        "111",
        35,
        2.0
      ],
      [
        "111",
        36,
        2.0
      ],
      [
        "111",
        37,
        1.0
      ],
      [
        "111",
        38,
        2.0
      ],
      [
        "111",
        39,
        1.5
      ],
      [
        "111",
        40,
        1.0
      ],
      [
        "111",
        41,
        1.5
      ],
      [
        "111",
        42,
        1.5
      ],
      [
        "111",
        43,
        2.0
      ],
      [
        "111",
        44,
        1.0
      ],
      [
        "111",
        45,
        2.0
      ],
      [
        "111",
        46,
        1.0
      ],
      [
        "111",
        47,
        1.5
      ],
      [
        "111",
        48,
        2.0
      ],
      [
        "111",
        49,
        2.0
      ],
      [
        "111",
        50,
        1.0
      ],
      [
        "111",
        51,
        2.0
      ],
      [
        "111",
        52,
        1.0
      ],
      [
        "111",
        53,
        1.5
      ],
      [
        "111",
        54,
        1.0
      ],
      [
        "111",
        55,
        2.0
      ],
      [
        "111",
        56,
        1.0
      ],
      [
        "111",
        57,
        1.0
      ],
      [
        "111",
        58,
        1.5
      ],
      [
        "111",
        59,
        1.5
      ],
      [
        "111",
        60,
        2.0
      ],
      [
        "111",
        61,
        2.0
      ],
      [
        "111",
        62,
        2.0
      ],
      [
        "111",
        63,
        2.0
      ],
      [
        "111",
        64,
        2.0
      ],
      [
        "111",
        65,
        1.5
      ],
      [
        "111",
        66,
        1.0
      ],
      [
        "111",
        67,
        1.5
      ],
      [
        "0000",
        7,
        1.0
      ],
      [
        "0000",
        18,
        1.0
      ],
      [
        "0000",
        30,
        1.5
      ],
      [
        "0000",
        34,
        1.0
      ],
      [
        "0000",
        35,
        1.0
      ],
      [
        "0000",
        37,
        1.5
      ],
      [
        "0000",
        40,
        1.0
      ],
      [
        "0000",
        42,
        1.5
      ],
      [
        "0000",
        45,
        1.5
      ],
      [
        "0000",
        47,
        1.0
      ],
      [
        "0000",
        48,
        2.0
      ],
      [
        "0000",
        50,
        2.0
      ],
      [
        "0000",
        51,
        1.5
      ],
      [
        "0000",
        55,
        2.0
      ],
      [
        "0000",
        57,
        2.0
      ],
      [
        "0000",
        59,
        1.0
      ],
      [
        "0000",
        61,
        2.0
      ],
      [
        "0001",
        14,
        1.0
      ],
      [
        "0001",
        21,
        2.0
      ],
      [
        "0001",
        46,
        1.5
      ],
      [
        "0010",
        2,
        2.0
      ],
      [
        "0010",
        15,
        1.5
      ],
      [
        "0010",
        20,
        1.0
      ],
      [
        "0010",
        26,
        1.0
      ],
      [
        "0010",
        27,
        2.0
      ],
      [
        "0010",
        29,
        1.0
      ],
      [
        "0010",
        30,
        1.5
      ],
      [
        "0010",
        34,
        2.0
      ],
      [
        "0010",
        39,
        1.5
      ],
      [
        "0010",
        43,
        1.5
      ],
      [
        "0010",
        49,
        2.0
      ],
      [
        "0010",
        50,
        1.0
      ],
      [
        "0010",
        62,
        2.0
      ],
      [
        "0010",
        66,
        1.5
      ],
      [
        "0010",
        67,
        1.5
      ],
      [
        "0011",
        0,
        1.5
      ],
      [
        "0011",
        1,
        1.5
      ],
      [
        "0011",
        2,
        1.0
      ],
      [
        "0011",
        3,
        2.0
      ],
      [
        "0011",
        4,
        1.0
      ],
      [
        "0011",
        5,
        2.0
      ],
      [
        "0011",
        6,
        2.0
      ],
      [
        "0011",
        7,
        1.5
      ],
      [
        "0011",
        8,
        2.0
      ],
      [
        "0011",
        9,
        1.5
      ],
      [
        "0011",
        10,
        1.5
      ],
      [
        "0011",
        11,
        1.0
      ],
      [
        "0011",
        12,
        1.0
      ],
      [
        "0011",
        13,
        1.0
      ],
      [
        "0011",
        14,
        1.0
      ],
      [
        "0011",
        15,
        1.5
      ],
      [
        "0011",
        16,
        2.0
      ],
      [
        "0011",
        17,
        1.0
      ],
      [
        "0011",
        18,
        1.0
      ],
      [
        "0011",
        19,
        1.5
      ],
      [
        "0011",
        20,
        1.0
      ],
      [
        "0011",
        21,
        1.5
      ],
      [
        "0011",
        22,
        1.5
      ],
      [
        "0011",
        23,
        1.5
      ],
      [
        "0011",
        24,
        1.5
      ],
      [
        "0011",
        25,
        2.0
      ],
      [
        "0011",
        26,
        1.5
      ],
      [
        "0011",
        27,
        1.5
      ],
      [
        "0011",
        28,
        1.5
      ],
      [
        "0011",
        29,
        1.5
      ],
      [
        "0011",
        30,
        2.0
      ],
      [
        "0011",
        31,
        1.5
      ],
      [
        "0011",
        32,
        1.5
      ],
      [
        "0011",
        34,
        1.5
      ],
      [
        "0011",
        35,
        1.0
      ],
      [
        "0011",
        36,
        1.5
      ],
      [
        "0011",
        37,
        2.0
      ],
      [
        "0011",
        38,
        1.0
      ],
      [
        "0011",
        39,
        1.5
      ],
      [
        "0011",
        40,
        1.5
      ],
      [
        "0011",
        41,
        2.0
      ],
      [
        "0011",
        42,
        2.0
      ],
      [
        "0011",
        43,
        1.0
      ],
      [
        "0011",
        44,
        1.5
      ],
      [
        "0011",
        46,
        1.0
      ],
      [
        "0011",
        47,
        1.0
      ],
      [
        "0011",
        48,
        1.0
      ],
      [
        "0011",
        49,
        1.5
      ],
      [
        "0011",
        50,
        1.5
      ],
      [
        "0011",
        52,
        1.0
      ],
      [
        "0011",
        53,
        1.5
      ],
      [
        "0011",
        54,
        1.5
      ],
      [
        "0011",
        55,
        2.0
      ],
      [
        "0011",
        57,
        1.0
      ],
      [
        "0011",
        58,
        2.0
      ],
      [
        "0011",
        60,
        2.0
      ],
      [
        "0011",
        61,
        1.5
      ],
      [
        "0011",
        62,
        2.0
      ],
      [
        "0011",
        63,
        1.0
      ],
      [
        "0011",
        64,
        1.0
      ],
      [
        "0011",
        65,
        1.5
      ],
      [
        "0011",
        66,
        1.5
      ],
      [
        "0011",
        67,
        2.0
      ],
      [
        "0100",
        11,
        2.0
      ],
      [
        "0100",
        48,
        2.0
      ],
      [
        "0100",
        49,
        1.5
      ],
      [
        "0111",
        45,
        1.5
      ],
      [
        "0111",
        62,
        1.0
      ],
      [
        "1000",
        33,
        2.0
      ],
      [
        "1000",
        36,
        1.5
      ],
      [
        "1000",
        41,
        2.0
      ],
      [
        "1000",
        49,
        1.5
      ],
      [
        "1000",
        65,
        2.0
      ],
      [
        "1010",
        39,
        2.0
      ],
      [
        "1011",
        0,
        1.0
      ],
      [
        "1011",
        2,
        2.0
      ],
      [
        "1011",
        10,
        1.0
      ],
      [
        "1011",
        15,
        1.0
      ],
      [
        "1011",
        28,
        2.0
      ],
      [
        "1011",
        29,
        1.5
      ],
      [
        "1011",
        31,
        1.0
      ],
      [
        "1011",
        39,
        2.0
      ],
      [
        "1011",
        46,
        1.5
      ],
      [
        "1011",
        48,
        1.0
      ],
      [
        "1011",
        49,
        1.5
      ],
      [
        "1011",
        52,
        1.0
      ],
      [
        "1011",
        64,
        2.0
      ],
      [
        "1011",
        65,
        1.0
      ],
      [
        "1111",
        12,
        1.0
      ],
      [
        "1111",
        27,
        2.0
      ],
      [
        "1111",
        33,
        2.0
      ]
    ]
  },
  "numerical_sampling": "Analytic conditional degree law evaluated in floating point; uniform subsets sampled without replacement"
}