[
  "Ø>v\u001d\u000b‡ô‘Ü\u0000íï·\u0011³Ù",
  [
    [
      "Vale.Lib.Tactics.__squash_and_elim",
      1,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query", "equation_Prims.l_and",
        "equation_Prims.l_imp", "equation_Prims.squash", "l_and-interp",
        "l_imp-interp",
        "refinement_interpretation_Tm_refine_2de20c066034c13bf76e9c0b94f4806c"
      ],
      0,
      "4cf493891bf63e74438faa7ae21b07ce"
    ],
    [
      "Vale.Lib.Tactics.iterate_env",
      1,
      1,
      1,
      [
        "@MaxIFuel_assumption", "@query", "disc_equation_Prims.Cons",
        "disc_equation_Prims.Nil", "equation_FStar.Reflection.Types.binders",
        "fuel_guarded_inversion_Prims.list"
      ],
      0,
      "5086b7c9cc0f8e5ffb7c74250982600b"
    ]
  ]
]