[
  "�g�:@�����_\u0015{wP\u001e",
  [
    [
      "Hacl.Impl.ECDSA.MM.Exponent.montgomery_ladder_exponent",
      1,
      2,
      1,
      [
        "@query", "equation_Hacl.Impl.ECDSA.MontgomeryMultiplication.prime",
        "equation_Spec.ECDSA.prime",
        "equation_Spec.ECDSAP256.Definition.prime_p256_order",
        "primitive_Prims.op_Subtraction", "projection_inverse_BoxInt_proj_0"
      ],
      0,
      "5569323134812f1da692db19212ff893"
    ],
    [
      "Hacl.Impl.ECDSA.MM.Exponent.multPower",
      1,
      2,
      1,
      [
        "@query", "equation_Spec.ECDSAP256.Definition.prime_p256_order",
        "primitive_Prims.op_Subtraction", "projection_inverse_BoxInt_proj_0"
      ],
      0,
      "ea8c7fa3419514010d4816c42538dd22"
    ],
    [
      "Hacl.Impl.ECDSA.MM.Exponent.multPowerPartial",
      1,
      2,
      1,
      [
        "@query", "equation_Hacl.Impl.ECDSA.MontgomeryMultiplication.prime",
        "equation_Spec.ECDSA.prime",
        "equation_Spec.ECDSAP256.Definition.prime_p256_order",
        "primitive_Prims.op_Subtraction", "projection_inverse_BoxInt_proj_0"
      ],
      0,
      "95c492ca524560cb74a014feec92ba03"
    ]
  ]
]