{
  "cmd": "target/release/compress -a1 -i1 --out=data/expected_outputs/simple2-a1-i1.json data/basic/simple2.json",
  "args": {
    "file": "data/basic/simple2.json",
    "out": "data/expected_outputs/simple2-a1-i1.json",
    "iterations": 1,
    "shuffle": false,
    "truncate": null,
    "fmt": "ProgramsList",
    "no_opt": false,
    "args_from_json": false,
    "save_rewritten": null,
    "step": {
      "max_arity": 1,
      "threads": 1,
      "batch": 1,
      "dynamic_batch": false,
      "refine": false,
      "max_refinement_size": null,
      "max_refinement_arity": 1,
      "inv_candidates": 1,
      "hole_choice": "DepthFirst",
      "no_mismatch_check": false,
      "no_top_lambda": false,
      "track": null,
      "track_refined": null,
      "follow_track": false,
      "verbose_worklist": false,
      "verbose_best": false,
      "print_stats": 0,
      "dreamcoder_drop_last": false,
      "no_cache": false,
      "show_rewritten": false,
      "no_opt_free_vars": false,
      "no_opt_single_use": false,
      "no_opt_single_task": false,
      "no_opt_upper_bound": false,
      "no_opt_force_multiuse": false,
      "no_opt_useless_abstract": false,
      "no_opt_arity_zero": false,
      "no_stats": false,
      "no_other_util": false,
      "rewrite_check": false,
      "utility_by_rewrite": false,
      "dreamcoder_comparison": false
    }
  },
  "original_cost": 606,
  "original": [
    "(a (lam (a a)))",
    "(b (lam (b b)))"
  ],
  "invs": [
    {
      "body": "(#0 (lam (#0 #0)))",
      "dreamcoder": "#(lambda ($0 (lambda ($1 $1))))",
      "arity": 1,
      "name": "fn_0",
      "rewritten": [
        "(fn_0 a)",
        "(fn_0 b)"
      ],
      "rewritten_dreamcoder": [
        "(#(lambda ($0 (lambda ($1 $1)))) a)",
        "(#(lambda ($0 (lambda ($1 $1)))) b)"
      ],
      "utility": 201,
      "expected_cost": 402,
      "final_cost": 402,
      "multiplier": 1.507462686567164,
      "multiplier_wrt_orig": 1.507462686567164,
      "num_uses": 2,
      "uses": [
        {
          "fn_0 a": "(a (lam (a a)))"
        },
        {
          "fn_0 b": "(b (lam (b b)))"
        }
      ]
    }
  ]
}