{
  "method": "independent matrix-unit construction, six-term Jacobian, exact modular determinant",
  "certificates": [
    {
      "file": "d4_weight_alt_certificate.json",
      "input_sha256": "353491b1bcfa5b35a474d9b37e5d91cb6c5fe99f4225e9bfffd9b57d92fe850c",
      "n": 4,
      "prime": 1000000009,
      "q": 3,
      "ambient": 168,
      "minor_size": 153,
      "independent_determinant": 623429958,
      "rowmajor_sha256": "62fab84d608d79dd4915497b1969b255b4cf48c58e8495604f32101e39397432",
      "matches_supplied_determinant": null,
      "elapsed_seconds": 0.054,
      "status": "PASS"
    },
    {
      "file": "d4_weight_certificate.json",
      "input_sha256": "3ce6f35d235bc23080857ee08088f2a76a32a829751317fabe928d8cc207fcac",
      "n": 4,
      "prime": 1000000007,
      "q": 2,
      "ambient": 168,
      "minor_size": 153,
      "independent_determinant": 673269329,
      "rowmajor_sha256": "35c374cb58b0a9a5f3bbd4664d9f65ba33511b5675d6bab957ae77b26f718038",
      "matches_supplied_determinant": true,
      "elapsed_seconds": 0.057,
      "status": "PASS"
    },
    {
      "file": "d5_weight_alt_certificate.json",
      "input_sha256": "926522926be1acc4853ee704afc8ffafedffe703702c2474a96f0981a7c7cd6d",
      "n": 5,
      "prime": 1000000009,
      "q": 3,
      "ambient": 270,
      "minor_size": 249,
      "independent_determinant": 905145821,
      "rowmajor_sha256": "b0844edbcc3cc6dcd2d48d2d644a1cd2cfd86707252a2148ba0bbfcc31167fd7",
      "matches_supplied_determinant": null,
      "elapsed_seconds": 0.105,
      "status": "PASS"
    },
    {
      "file": "d5_weight_certificate.json",
      "input_sha256": "f73d4db4b7de38c62f59ee4907fbd432eee7a3d7725ddf3f7cc5a07d41de765a",
      "n": 5,
      "prime": 1000000007,
      "q": 2,
      "ambient": 270,
      "minor_size": 249,
      "independent_determinant": 670446451,
      "rowmajor_sha256": "f5d9c10555d084254be9b9582277acf64d14c0af80722c1495cc81ab99f8be15",
      "matches_supplied_determinant": true,
      "elapsed_seconds": 0.107,
      "status": "PASS"
    },
    {
      "file": "d6_weight_certificate.json",
      "input_sha256": "418710f8fcaf471de4b6d831cbd222de77d805bc52d49ff7bfd5a424bf933a1e",
      "n": 6,
      "prime": 1000000007,
      "q": 2,
      "ambient": 396,
      "minor_size": 368,
      "independent_determinant": 912656330,
      "rowmajor_sha256": "fedc9050ace8c303d94eccdc4fe2b5faeb4c2a7ef6578f036a9b5463da07b1e8",
      "matches_supplied_determinant": true,
      "elapsed_seconds": 0.194,
      "status": "PASS"
    },
    {
      "file": "d7_weight_certificate.json",
      "input_sha256": "cf1ede42862eda8f8f21649de146433afb9516ba4c8ed9bc6a00d8fa89d86a5c",
      "n": 7,
      "prime": 1000000007,
      "q": 2,
      "ambient": 546,
      "minor_size": 510,
      "independent_determinant": 392961350,
      "rowmajor_sha256": "3accd757c1513c8484e033c83f5521bf27be844501764807ec84da6cbc936740",
      "matches_supplied_determinant": null,
      "elapsed_seconds": 0.484,
      "status": "PASS"
    }
  ],
  "tangent_diagnostics": [
    {
      "n": 4,
      "q": 2,
      "prime": 1000000007,
      "correct_q_derivative_residual": null,
      "old_q_derivative_first_nonzero": {
        "input": [
          2,
          1,
          1
        ],
        "output": [
          2,
          1,
          1
        ],
        "value": 875000008
      },
      "status": "PASS"
    }
  ]
}