[
  "�\"�h��\u0004�?wv%�",
  [
    [
      "Vale.Def.Words_s.two",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "0069340e48d301de442246dca3fbd23e"
    ],
    [
      "Vale.Def.Words_s.four",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "ce1555abc18a076250de2a290cc15b82"
    ],
    [
      "Vale.Def.Words_s.eight",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "99e0e813acd638ee193534bed4dccdce"
    ],
    [
      "Vale.Def.Words_s.uu___57",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "d7b4c0991017c7b481b86e1f851f4310"
    ],
    [
      "Vale.Def.Words_s.uu___58",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "8b0e328f669f767366ed3f5f0680d2d1"
    ],
    [
      "Vale.Def.Words_s.uu___59",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "00aabcd6eed4ea2e26923fcd1555059b"
    ],
    [
      "Vale.Def.Words_s.uu___60",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "b508feddfed483ae74421beaff4fd082"
    ],
    [
      "Vale.Def.Words_s.uu___61",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "850eb2dd9c5cbaf3bf28aa092bc3431f"
    ],
    [
      "Vale.Def.Words_s.int_to_natN",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "1c5a614ddcc8bf8f4fc378e7da363b07"
    ],
    [
      "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,
      "ea021948891c8b5fd171643559cd5cd0"
    ]
  ]
]