check_t464_repair.json

back to table · edit · history · where entries came from · files · download

4707 bytes, as of the version from 2026-10-24 20:04 (current). Recorded here, not run.

{
  "table": "T464",
  "checked_entries": 9,
  "total_entries": 852,
  "working_bits": 512,
  "control_zeta_2": "passed",
  "negative_controls": "passed",
  "P_3_1_coefficient": 6,
  "P_3_1_entry_comment_retains_identity": true,
  "limitation": "Checks the nine zig-zag evaluations, not all graph integrals or all 852 entries.",
  "results": [
    {
      "entry": [
        3,
        1
      ],
      "exact_zeta_coefficient": "6",
      "discrepancy_in_last_place_units": "[-0.12280505322843568348904802400796030071734161897675260 +/- 2.93e-54]",
      "ball_radius_in_last_place_units": "[1.491668150685558847628348029978013596016414500745130501784119253608436842951374878894972653351224044196879821090758391588611893046778438999195291821741794e-54 +/- 7.87e-208]",
      "strictly_inside_stored_interval": true
    },
    {
      "entry": [
        4,
        1
      ],
      "exact_zeta_coefficient": "20",
      "discrepancy_in_last_place_units": "[-0.240759317066886781914398076441688058316329778556398247 +/- 6.71e-55]",
      "ball_radius_in_last_place_units": "[2.740262015011950590287836679601092780480203533296504483908650861261813070148815690512042582606249191716465950607017726480814949998509736714967680016353202e-55 +/- 7.11e-209]",
      "strictly_inside_stored_interval": true
    },
    {
      "entry": [
        5,
        1
      ],
      "exact_zeta_coefficient": "441/8",
      "discrepancy_in_last_place_units": "[0.37890001325384455031616836052686984911474083813444984 +/- 1.47e-54]",
      "ball_radius_in_last_place_units": "[5.70190202602107193084066298343097380644163190226794512059229867137168467061813256737841687646465586543883767379170019235099919989899186270938718279568705e-55 +/- 1.99e-208]",
      "strictly_inside_stored_interval": true
    },
    {
      "entry": [
        6,
        1
      ],
      "exact_zeta_coefficient": "168",
      "discrepancy_in_last_place_units": "[-0.255553543993376938760805371729186317342843857402076058 +/- 5.89e-55]",
      "ball_radius_in_last_place_units": "[2.189025632797206070311514742752712114780252984774260899575665645793548008180119749553280950629597020016821915441888367112406834971921976079225084940265566e-55 +/- 4.98e-209]",
      "strictly_inside_stored_interval": true
    },
    {
      "entry": [
        7,
        1
      ],
      "exact_zeta_coefficient": "33759/64",
      "discrepancy_in_last_place_units": "[0.03388273697754720305449966854030778965917365557208646 +/- 3.44e-54]",
      "ball_radius_in_last_place_units": "[8.51295673690247924174649525181120623223362071745812510338743233532320484829726439781161927205122629715106839919322761604049338973015476837436151667258874e-55 +/- 2.22e-208]",
      "strictly_inside_stored_interval": true
    },
    {
      "entry": [
        8,
        1
      ],
      "exact_zeta_coefficient": "1716",
      "discrepancy_in_last_place_units": "[-0.415035762536656555763460447513549630432285100118623767 +/- 6.69e-55]",
      "ball_radius_in_last_place_units": "[1.812114650138074167510268503598257754307417721339170791929823710741638734545563995432826941612914534747206997356971551909408000814654257379749391359124769e-55 +/- 7.76e-209]",
      "strictly_inside_stored_interval": true
    },
    {
      "entry": [
        9,
        1
      ],
      "exact_zeta_coefficient": "11713845/2048",
      "discrepancy_in_last_place_units": "[-0.07080173756063122783833663397253100751805030374301363 +/- 1.98e-54]",
      "ball_radius_in_last_place_units": "[7.05846416459827542932297566331714337368731989971181335818348578711044452169520807066670258150507438098047895317092270100448657476386814376902699091944825e-55 +/- 5.70e-208]",
      "strictly_inside_stored_interval": true
    },
    {
      "entry": [
        10,
        1
      ],
      "exact_zeta_coefficient": "19448",
      "discrepancy_in_last_place_units": "[0.168435256274042226526351870876423631966185039999369415 +/- 6.00e-55]",
      "ball_radius_in_last_place_units": "[2.766475234812481196725710156410351800220327743312955979335273187635303340550149345170614655850355933864541642283324198183116863972918473575329216903580947e-55 +/- 6.73e-209]",
      "strictly_inside_stored_interval": true
    },
    {
      "entry": [
        11,
        1
      ],
      "exact_zeta_coefficient": "1100738457/16384",
      "discrepancy_in_last_place_units": "[0.04331069671139139665970326728989109085638217795381123 +/- 5.55e-54]",
      "ball_radius_in_last_place_units": "[1.088996068437327624582162863374754845914471453956473314596293849699402337982975803037930122790103278041050710847468975909422822667545853154725739706577431e-54 +/- 7.11e-208]",
      "strictly_inside_stored_interval": true
    }
  ]
}