[
";\u0013&�\u0011�(W��v\u000b�ԣ",
[
[
"Vale.Arch.HeapLemmas.coerce",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"refinement_interpretation_Tm_refine_754b00004f4a881ff74d076ab276dfe1"
],
0,
"af12facb70bbd8a7b10337a0efb47899"
],
[
"Vale.Arch.HeapLemmas.heap_ignore_ghost_machine",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query", "eq2-interp", "equation_Prims.eq2",
"equation_Prims.squash",
"function_token_typing_Vale.Arch.HeapLemmas.lemma_heap_impl",
"refinement_interpretation_Tm_refine_2de20c066034c13bf76e9c0b94f4806c"
],
0,
"cecec587d4643c37fc38dc577d4df971"
],
[
"Vale.Arch.HeapLemmas.lemma_heap_ignore_ghost_machine",
1,
1,
0,
[ "@query" ],
0,
"4491d7643f09401e6c6ce3db35e3b67f"
]
]
]