{
  "source_corpus": {
    "worlds": 50,
    "hidden_labels_used_by_learner": false,
    "raw_description_bits": 1343.8471486399421,
    "library_description_bits": 739.9116494417497,
    "compression_saving_bits": 603.9354991981925
  },
  "invented_library": {
    "concept_count": 4,
    "concepts": [
      {
        "concept_id": "C1",
        "anonymous_definition": "row_degree_is_1=1",
        "pattern": "(1, '*', '*', '*')",
        "definition_bits": 6.0,
        "incremental_corpus_saving_bits": 493.23846485228046
      },
      {
        "concept_id": "C2",
        "anonymous_definition": "row_degree_is_1=1 AND column_degree_at_most_1=1",
        "pattern": "(1, 1, '*', '*')",
        "definition_bits": 8.0,
        "incremental_corpus_saving_bits": 58.863185558870214
      },
      {
        "concept_id": "C3",
        "anonymous_definition": "every_target_is_hit=1 AND row_degree_is_2=1",
        "pattern": "('*', '*', 1, 1)",
        "definition_bits": 8.0,
        "incremental_corpus_saving_bits": 40.24747079145618
      },
      {
        "concept_id": "C4",
        "anonymous_definition": "row_degree_is_1=1 AND every_target_is_hit=1",
        "pattern": "(1, '*', 1, '*')",
        "definition_bits": 8.0,
        "incremental_corpus_saving_bits": 11.586377995585622
      }
    ],
    "expected_basis_recovered": true,
    "anonymous_class_count": 5,
    "mean_source_class_purity_posthoc": 1.0
  },
  "prospective": {
    "targets": 500,
    "posthoc_type_accuracy": 1.0,
    "mean_target_saving_bits": 12.38747089908168,
    "novel_worlds": 200,
    "novel_structure_rejection_rate": 1.0
  },
  "monte_carlo": {
    "labs": 50,
    "exact_concept_basis_recovery": 50
  }
}