{
  "scope": "Independent Arb principal determinants and exact Fraction physical norms; archived complete residual bounds are reused.",
  "certificate_source_sha256": "2c5d4a44de0a8e280e9c4cb2672eb715470df859fc0234c5c7be0305ddf3e4c0",
  "checker_source_sha256": "56c1b9b49b8475dfd672eadf4b69e6ed6bd6a2cc4c667b4937eda901c3751f6c",
  "shift": "1e-73",
  "checks": [
    {
      "precision_bits": 1024,
      "parity": "even",
      "leading_principal_minor_signs": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        -1
      ],
      "prior_small_gates_replayed": true,
      "trial_column": 16,
      "exact_fraction_norm_enclosed": true,
      "exact_fraction_norm_sha256": "8ef54d351ca287d6dca7c64b531793fb5593f6f613eac2875df5fda2b1543533",
      "trial_rayleigh": "[2.453617549307141360348636625771684272694897173805340600812913138175873e-75 +/- 1.75e-145]",
      "proved_trial_upper": "2.454e-75",
      "provenance": {
        "ingredients": "evidence/v126/g2_simultaneous/simultaneous_even_M4096_s16_normalized_ingredients_b768.json",
        "ingredient_sha256": "39ab55d4b3d8cef3911f03b33c89ff6825c5aa0e7e056dbb308db33837683b1a",
        "ingredient_precision_bits": 768,
        "witness": "evidence/v126/g2_simultaneous/simultaneous_even_M4096_s16_normalized_witness.json.gz",
        "witness_sha256": "072322123c7165bd789534e69b237cf941a60f8230dae3e28a30be5cbe860ee1"
      }
    },
    {
      "precision_bits": 1024,
      "parity": "odd",
      "leading_principal_minor_signs": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "prior_small_gates_replayed": true,
      "trial_column": 15,
      "exact_fraction_norm_enclosed": true,
      "exact_fraction_norm_sha256": "0222f3aece92a5bad9f260c96c9f36584fb0e143452097590b752ed080457a26",
      "trial_rayleigh": "[3.592699566253011706153816076046999677042111053483005485454728546802674e-71 +/- 5.80e-142]",
      "proved_trial_upper": "1e-70",
      "provenance": {
        "ingredients": "evidence/v126/g2_odd_complement/simultaneous_odd_M4096_s16_normalized_ingredients_b768.json",
        "ingredient_sha256": "51ee97d0c73abe7f190ea7f35382a8e2c856dc3fc6ac2e357f10ba0389495077",
        "ingredient_precision_bits": 768,
        "witness": "evidence/v126/g2_odd_complement/simultaneous_odd_M4096_s16_normalized_witness.json.gz",
        "witness_sha256": "9f81eef783abc2bb1e3e654895a9492763d071287836e5a92fab9c430abe6c73"
      }
    },
    {
      "precision_bits": 1280,
      "parity": "even",
      "leading_principal_minor_signs": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        -1
      ],
      "prior_small_gates_replayed": true,
      "trial_column": 16,
      "exact_fraction_norm_enclosed": true,
      "exact_fraction_norm_sha256": "8ef54d351ca287d6dca7c64b531793fb5593f6f613eac2875df5fda2b1543533",
      "trial_rayleigh": "[2.453617549307141360348636625771684272694897173805340600812913138175873e-75 +/- 1.75e-145]",
      "proved_trial_upper": "2.454e-75",
      "provenance": {
        "ingredients": "evidence/v126/g2_simultaneous/simultaneous_even_M4096_s16_normalized_ingredients_b896.json",
        "ingredient_sha256": "a537f7feba7a9782029537d3581496aa6c50b7174cebda16e93d74b468d3c5f0",
        "ingredient_precision_bits": 896,
        "witness": "evidence/v126/g2_simultaneous/simultaneous_even_M4096_s16_normalized_witness.json.gz",
        "witness_sha256": "072322123c7165bd789534e69b237cf941a60f8230dae3e28a30be5cbe860ee1"
      }
    },
    {
      "precision_bits": 1280,
      "parity": "odd",
      "leading_principal_minor_signs": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1
      ],
      "prior_small_gates_replayed": true,
      "trial_column": 15,
      "exact_fraction_norm_enclosed": true,
      "exact_fraction_norm_sha256": "0222f3aece92a5bad9f260c96c9f36584fb0e143452097590b752ed080457a26",
      "trial_rayleigh": "[3.592699566253011706153816076046999677042111053483005485454728546802674e-71 +/- 5.80e-142]",
      "proved_trial_upper": "1e-70",
      "provenance": {
        "ingredients": "evidence/v126/g2_odd_complement/simultaneous_odd_M4096_s16_normalized_ingredients_b768.json",
        "ingredient_sha256": "51ee97d0c73abe7f190ea7f35382a8e2c856dc3fc6ac2e357f10ba0389495077",
        "ingredient_precision_bits": 768,
        "witness": "evidence/v126/g2_odd_complement/simultaneous_odd_M4096_s16_normalized_witness.json.gz",
        "witness_sha256": "9f81eef783abc2bb1e3e654895a9492763d071287836e5a92fab9c430abe6c73"
      }
    }
  ],
  "status": "PASS_INDEPENDENT_CHECKS"
}