[ "ãÂK&\u001bëÉGh•Æ™\u0007«1ó", [ [ "Vale.Interop.Assumptions.st_put", 1, 1, 0, [ "@MaxIFuel_assumption", "@query", "refinement_interpretation_Tm_refine_b16bf82b210653a34e4d7322fab91ffb" ], 0, "1867e7f698e9385bb42b7a53991d5b90" ] ] ]