{
  "subexp": "s3_str2math",
  "variant": "intermediate",
  "arm": "correct",
  "seed": 0,
  "atoms": [
    "swap_pairs",
    "reverse_first_half",
    "interleave_halves",
    "nice_chars",
    "charset",
    "multiply",
    "line_intercepts",
    "rect_area_perimeter",
    "gcf",
    "lcm",
    "venn"
  ],
  "train_comps": [
    "swap_pairs_o_interleave_halves",
    "interleave_halves_o_swap_pairs"
  ],
  "heldout_comps": [
    "multiply_o_gcf",
    "gcf_o_multiply",
    "multiply_o_lcm",
    "lcm_o_multiply",
    "gcf_o_lcm",
    "lcm_o_gcf",
    "multiply_o_venn",
    "gcf_o_venn",
    "lcm_o_venn"
  ],
  "compositions": {
    "swap_pairs_o_interleave_halves": {
      "role": "train",
      "cross": "ss",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "interleave_halves_o_swap_pairs": {
      "role": "train",
      "cross": "ss",
      "n_train": 200,
      "n_seen_eval": 200
    },
    "multiply_o_gcf": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 195,
      "top_answer_share": 0.01
    },
    "gcf_o_multiply": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 173,
      "top_answer_share": 0.02
    },
    "multiply_o_lcm": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 176,
      "top_answer_share": 0.015
    },
    "lcm_o_multiply": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 175,
      "top_answer_share": 0.02
    },
    "gcf_o_lcm": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 169,
      "top_answer_share": 0.025
    },
    "lcm_o_gcf": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 195,
      "top_answer_share": 0.015
    },
    "multiply_o_venn": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 192,
      "top_answer_share": 0.01
    },
    "gcf_o_venn": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 186,
      "top_answer_share": 0.015
    },
    "lcm_o_venn": {
      "role": "heldout",
      "cross": "mm",
      "n_eval": 200,
      "distinct_answers": 191,
      "top_answer_share": 0.015
    }
  },
  "train_heldout_chain_overlap": [],
  "heldout_instance_collisions": 0,
  "digit_mix": {
    "swap_pairs": {
      "n": 800,
      "digit4": 199,
      "frac": 0.249
    },
    "reverse_first_half": {
      "n": 800,
      "digit4": 203,
      "frac": 0.254
    },
    "interleave_halves": {
      "n": 800,
      "digit4": 196,
      "frac": 0.245
    }
  },
  "collisions_total": 0,
  "degeneracy": {
    "swap_pairs_o_interleave_halves": {
      "cross": "ss",
      "pass": true,
      "detail": {
        "letters": {
          "order_sensitive": true,
          "differs_from_f": true,
          "differs_from_g": true
        },
        "digit4": {
          "order_sensitive": true,
          "differs_from_f": true,
          "differs_from_g": true
        }
      }
    },
    "interleave_halves_o_swap_pairs": {
      "cross": "ss",
      "pass": true,
      "detail": {
        "letters": {
          "order_sensitive": true,
          "differs_from_f": true,
          "differs_from_g": true
        },
        "digit4": {
          "order_sensitive": true,
          "differs_from_f": true,
          "differs_from_g": true
        }
      }
    },
    "multiply_o_gcf": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "non-commuting ops"
    },
    "gcf_o_multiply": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "non-commuting ops"
    },
    "multiply_o_lcm": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "non-commuting ops"
    },
    "lcm_o_multiply": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "non-commuting ops"
    },
    "gcf_o_lcm": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "non-commuting ops"
    },
    "lcm_o_gcf": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "non-commuting ops"
    },
    "multiply_o_venn": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "venn inner-only"
    },
    "gcf_o_venn": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "venn inner-only"
    },
    "lcm_o_venn": {
      "cross": "mm",
      "pass": true,
      "outer_changes_handoff_frac": 1.0,
      "n_generated": 40,
      "note": "venn inner-only"
    }
  },
  "degeneracy_fails": []
}