[
  "\u001bÁ§–xØüÅpÿ{‹9pB'",
  [
    [
      "Vale.AES.X64.AESGCM_expected_code.va_code_Loop6x_partial_expected_code",
      1,
      1,
      0,
      [
        "@query", "constructor_distinct_Vale.X64.Machine_s.OConst",
        "constructor_distinct_Vale.X64.Machine_s.OReg",
        "disc_equation_Vale.X64.Machine_s.OStack",
        "equation_Vale.Def.Words_s.nat64",
        "equation_Vale.X64.Machine_s.reg_64", "primitive_Prims.op_BarBar",
        "projection_inverse_BoxBool_proj_0"
      ],
      0,
      "41e133ed36439112f9dffd5ebb4da866"
    ]
  ]
]