[
  "�\"�h��\u0004�?wv%�",
  [
    [
      "Vale.Def.Words_s.two",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "2a272d351064bb9db1155d72fbe8cda7"
    ],
    [
      "Vale.Def.Words_s.four",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "cb5ba3945e249aad2d78596a1d9f331e"
    ],
    [
      "Vale.Def.Words_s.eight",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "3505ff98cdf871487bb3e94a2570b4f9"
    ],
    [
      "Vale.Def.Words_s.uu___57",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "be0cfae347d0cc37b52da3b8b47419dc"
    ],
    [
      "Vale.Def.Words_s.uu___58",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "62f69dbc46bc688394fd1f601213dc90"
    ],
    [
      "Vale.Def.Words_s.uu___59",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "31a470cc84d205c6222063b77d31b7fb"
    ],
    [
      "Vale.Def.Words_s.uu___60",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "59582536b838278c4c4df7182361d04e"
    ],
    [
      "Vale.Def.Words_s.uu___61",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "0c8da65b528c27a34ba3019bb7d77de8"
    ],
    [
      "Vale.Def.Words_s.int_to_natN",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "7785d1ff8c5d4dcb0fe1e04821ac2e1b"
    ],
    [
      "Vale.Def.Words_s.int_to_natN",
      2,
      2,
      1,
      [
        "@MaxIFuel_assumption", "@query", "equation_Prims.pos",
        "int_inversion", "primitive_Prims.op_Modulus",
        "projection_inverse_BoxInt_proj_0",
        "refinement_interpretation_Tm_refine_774ba3f728d91ead8ef40be66c9802e5"
      ],
      0,
      "12e8c24500812af9c2cbc42a905e1756"
    ]
  ]
]