[
  "ί±\"±hˆá\u0004á£?wv%½",
  [
    [
      "Vale.Def.Words_s.two",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "cc43dd4ac24e6168b78fe98ea68f8fb8"
    ],
    [
      "Vale.Def.Words_s.four",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "be4b75c80b1837414d08be6e8792ab1d"
    ],
    [
      "Vale.Def.Words_s.eight",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "a82ba60beaed37c096fd3899f612327f"
    ],
    [
      "Vale.Def.Words_s.uu___57",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "7ed0b44cf197b67cb281a13578081cff"
    ],
    [
      "Vale.Def.Words_s.uu___58",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "11e18f954084afeaf3ccb0086cd11488"
    ],
    [
      "Vale.Def.Words_s.uu___59",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "79242670146836f5501f11d5c27eb29c"
    ],
    [
      "Vale.Def.Words_s.uu___60",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "8d6ba33e290b83dd11222f9c93eebd46"
    ],
    [
      "Vale.Def.Words_s.uu___61",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "eacefb72c5ee7ae5ad9f36ac1eeb61a2"
    ],
    [
      "Vale.Def.Words_s.int_to_natN",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "34f98a936af2ef15b0c323b32df50d5a"
    ],
    [
      "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,
      "6be167cca0a1b18a36937b549cba78c4"
    ]
  ]
]