[
  "Rejt þp\f–7™\u0000ʈ$Ï",
  [
    [
      "Hacl.Hash.MD5.legacy_update_multi",
      1,
      2,
      1,
      [
        "@query", "constructor_distinct_Spec.Hash.Definitions.MD5",
        "equality_tok_Spec.Hash.Definitions.MD5@tok",
        "equation_Spec.Hash.Definitions.is_md",
        "projection_inverse_BoxBool_proj_0"
      ],
      0,
      "93a39a7de042c87baee5d91800e5b2d4"
    ],
    [
      "Hacl.Hash.MD5.legacy_update_last",
      1,
      2,
      1,
      [
        "@query", "constructor_distinct_Spec.Hash.Definitions.MD5",
        "equality_tok_Spec.Hash.Definitions.MD5@tok",
        "equation_Spec.Hash.Definitions.is_md",
        "projection_inverse_BoxBool_proj_0"
      ],
      0,
      "27ec04ea5d68721b7d3d8121b0ec2bf2"
    ],
    [
      "Hacl.Hash.MD5.legacy_hash",
      1,
      2,
      1,
      [
        "@query", "constructor_distinct_Spec.Hash.Definitions.MD5",
        "equality_tok_Spec.Hash.Definitions.MD5@tok",
        "equation_Spec.Hash.Definitions.is_md",
        "projection_inverse_BoxBool_proj_0"
      ],
      0,
      "b17b4633c77c10737819581d62c2deb2"
    ]
  ]
]