[
  "ùÅqê\u0006˜vx\u0005†«øiÁè\u000b",
  [
    [
      "Hacl.FFDHE4096.len",
      1,
      0,
      0,
      [ "@query" ],
      0,
      "f7b1223965405b8c9209e9fa7f06d82e"
    ],
    [
      "Hacl.FFDHE4096.ke_4096",
      1,
      0,
      0,
      [ "@query", "equation_Hacl.FFDHE4096.t_limbs" ],
      0,
      "656d1f5c712157f442a6d472a13a2cdc"
    ],
    [
      "Hacl.FFDHE4096.new_ffdhe_precomp_p",
      1,
      0,
      0,
      [ "@query", "equation_Hacl.FFDHE4096.t_limbs" ],
      0,
      "413383e05f33e1627b49b97a5cfc086d"
    ],
    [
      "Hacl.FFDHE4096.ffdhe_secret_to_public_precomp",
      1,
      0,
      0,
      [ "@query", "equation_Hacl.FFDHE4096.t_limbs" ],
      0,
      "21b08e7ba59ef4904ed8a072e34d4532"
    ],
    [
      "Hacl.FFDHE4096.ffdhe_secret_to_public",
      1,
      0,
      0,
      [ "@query", "equation_Hacl.FFDHE4096.t_limbs" ],
      0,
      "cfbb74233dca68a52069f41061baac7c"
    ],
    [
      "Hacl.FFDHE4096.ffdhe_shared_secret_precomp",
      1,
      0,
      0,
      [ "@query", "equation_Hacl.FFDHE4096.t_limbs" ],
      0,
      "103906ca5ccb42f86b5ba6d2096e8b3f"
    ],
    [
      "Hacl.FFDHE4096.ffdhe_shared_secret",
      1,
      0,
      0,
      [ "@query", "equation_Hacl.FFDHE4096.t_limbs" ],
      0,
      "df45ea6caa6e952e283bf94aa455876a"
    ]
  ]
]