{
  "cmd": "target/release/compress -a1 -i1 --out=data/expected_outputs/simple1-a1-i1.json data/basic/simple1.json",
  "args": {
    "file": "data/basic/simple1.json",
    "out": "data/expected_outputs/simple1-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": 604,
  "original": [
    "(a a a)",
    "(b b b)"
  ],
  "invs": [
    {
      "body": "(#0 #0 #0)",
      "dreamcoder": "#(lambda ($0 $0 $0))",
      "arity": 1,
      "name": "fn_0",
      "rewritten": [
        "(fn_0 a)",
        "(fn_0 b)"
      ],
      "rewritten_dreamcoder": [
        "(#(lambda ($0 $0 $0)) a)",
        "(#(lambda ($0 $0 $0)) b)"
      ],
      "utility": 200,
      "expected_cost": 402,
      "final_cost": 402,
      "multiplier": 1.5024875621890548,
      "multiplier_wrt_orig": 1.5024875621890548,
      "num_uses": 2,
      "uses": [
        {
          "fn_0 a": "(a a a)"
        },
        {
          "fn_0 b": "(b b b)"
        }
      ]
    }
  ]
}