[
  "�C %���=Ͽ��\u0003�0",
  [
    [
      "Vale.Lib.Bv_s.int2bv_uext",
      1,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query", "equation_Prims.pos",
        "projection_inverse_BoxInt_proj_0",
        "refinement_interpretation_Tm_refine_774ba3f728d91ead8ef40be66c9802e5"
      ],
      0,
      "5a4210d26b20157db143269be78fdc2f"
    ]
  ]
]