back to table · edit · history · where entries came from · files · download
11259 bytes, as of the version from 2026-10-16 10:14 (current). Recorded here, not run.
{
"entries": 155,
"exact_independent_matches": 155,
"zeta_ball_matches": 155,
"zeta_working_bits": 512,
"minimum_zeta_relative_accuracy_bits": 507,
"forgetful_recurrence_pairs": 143,
"genus_one_group_control": "1/4 + 1/6 - 1/2 = -1/12",
"negative_controls": "wrong sign and float rejected",
"named_rings": [],
"measurement": {
"entries": 155,
"longest": 21,
"longest_at": [
12,
12
],
"block_kb": 7.1884765625
},
"values": [
{
"g": 1,
"n": 1,
"number": "-1/12"
},
{
"g": 1,
"n": 2,
"number": "1/12"
},
{
"g": 1,
"n": 3,
"number": "-1/6"
},
{
"g": 1,
"n": 4,
"number": "1/2"
},
{
"g": 1,
"n": 5,
"number": "-2"
},
{
"g": 1,
"n": 6,
"number": "10"
},
{
"g": 1,
"n": 7,
"number": "-60"
},
{
"g": 1,
"n": 8,
"number": "420"
},
{
"g": 1,
"n": 9,
"number": "-3360"
},
{
"g": 1,
"n": 10,
"number": "30240"
},
{
"g": 1,
"n": 11,
"number": "-302400"
},
{
"g": 1,
"n": 12,
"number": "3326400"
},
{
"g": 2,
"n": 0,
"number": "-1/240"
},
{
"g": 2,
"n": 1,
"number": "1/120"
},
{
"g": 2,
"n": 2,
"number": "-1/40"
},
{
"g": 2,
"n": 3,
"number": "1/10"
},
{
"g": 2,
"n": 4,
"number": "-1/2"
},
{
"g": 2,
"n": 5,
"number": "3"
},
{
"g": 2,
"n": 6,
"number": "-21"
},
{
"g": 2,
"n": 7,
"number": "168"
},
{
"g": 2,
"n": 8,
"number": "-1512"
},
{
"g": 2,
"n": 9,
"number": "15120"
},
{
"g": 2,
"n": 10,
"number": "-166320"
},
{
"g": 2,
"n": 11,
"number": "1995840"
},
{
"g": 2,
"n": 12,
"number": "-25945920"
},
{
"g": 3,
"n": 0,
"number": "1/1008"
},
{
"g": 3,
"n": 1,
"number": "-1/252"
},
{
"g": 3,
"n": 2,
"number": "5/252"
},
{
"g": 3,
"n": 3,
"number": "-5/42"
},
{
"g": 3,
"n": 4,
"number": "5/6"
},
{
"g": 3,
"n": 5,
"number": "-20/3"
},
{
"g": 3,
"n": 6,
"number": "60"
},
{
"g": 3,
"n": 7,
"number": "-600"
},
{
"g": 3,
"n": 8,
"number": "6600"
},
{
"g": 3,
"n": 9,
"number": "-79200"
},
{
"g": 3,
"n": 10,
"number": "1029600"
},
{
"g": 3,
"n": 11,
"number": "-14414400"
},
{
"g": 3,
"n": 12,
"number": "216216000"
},
{
"g": 4,
"n": 0,
"number": "-1/1440"
},
{
"g": 4,
"n": 1,
"number": "1/240"
},
{
"g": 4,
"n": 2,
"number": "-7/240"
},
{
"g": 4,
"n": 3,
"number": "7/30"
},
{
"g": 4,
"n": 4,
"number": "-21/10"
},
{
"g": 4,
"n": 5,
"number": "21"
},
{
"g": 4,
"n": 6,
"number": "-231"
},
{
"g": 4,
"n": 7,
"number": "2772"
},
{
"g": 4,
"n": 8,
"number": "-36036"
},
{
"g": 4,
"n": 9,
"number": "504504"
},
{
"g": 4,
"n": 10,
"number": "-7567560"
},
{
"g": 4,
"n": 11,
"number": "121080960"
},
{
"g": 4,
"n": 12,
"number": "-2058376320"
},
{
"g": 5,
"n": 0,
"number": "1/1056"
},
{
"g": 5,
"n": 1,
"number": "-1/132"
},
{
"g": 5,
"n": 2,
"number": "3/44"
},
{
"g": 5,
"n": 3,
"number": "-15/22"
},
{
"g": 5,
"n": 4,
"number": "15/2"
},
{
"g": 5,
"n": 5,
"number": "-90"
},
{
"g": 5,
"n": 6,
"number": "1170"
},
{
"g": 5,
"n": 7,
"number": "-16380"
},
{
"g": 5,
"n": 8,
"number": "245700"
},
{
"g": 5,
"n": 9,
"number": "-3931200"
},
{
"g": 5,
"n": 10,
"number": "66830400"
},
{
"g": 5,
"n": 11,
"number": "-1202947200"
},
{
"g": 5,
"n": 12,
"number": "22855996800"
},
{
"g": 6,
"n": 0,
"number": "-691/327600"
},
{
"g": 6,
"n": 1,
"number": "691/32760"
},
{
"g": 6,
"n": 2,
"number": "-7601/32760"
},
{
"g": 6,
"n": 3,
"number": "7601/2730"
},
{
"g": 6,
"n": 4,
"number": "-7601/210"
},
{
"g": 6,
"n": 5,
"number": "7601/15"
},
{
"g": 6,
"n": 6,
"number": "-7601"
},
{
"g": 6,
"n": 7,
"number": "121616"
},
{
"g": 6,
"n": 8,
"number": "-2067472"
},
{
"g": 6,
"n": 9,
"number": "37214496"
},
{
"g": 6,
"n": 10,
"number": "-707075424"
},
{
"g": 6,
"n": 11,
"number": "14141508480"
},
{
"g": 6,
"n": 12,
"number": "-296971678080"
},
{
"g": 7,
"n": 0,
"number": "1/144"
},
{
"g": 7,
"n": 1,
"number": "-1/12"
},
{
"g": 7,
"n": 2,
"number": "13/12"
},
{
"g": 7,
"n": 3,
"number": "-91/6"
},
{
"g": 7,
"n": 4,
"number": "455/2"
},
{
"g": 7,
"n": 5,
"number": "-3640"
},
{
"g": 7,
"n": 6,
"number": "61880"
},
{
"g": 7,
"n": 7,
"number": "-1113840"
},
{
"g": 7,
"n": 8,
"number": "21162960"
},
{
"g": 7,
"n": 9,
"number": "-423259200"
},
{
"g": 7,
"n": 10,
"number": "8888443200"
},
{
"g": 7,
"n": 11,
"number": "-195545750400"
},
{
"g": 7,
"n": 12,
"number": "4497552259200"
},
{
"g": 8,
"n": 0,
"number": "-3617/114240"
},
{
"g": 8,
"n": 1,
"number": "3617/8160"
},
{
"g": 8,
"n": 2,
"number": "-3617/544"
},
{
"g": 8,
"n": 3,
"number": "3617/34"
},
{
"g": 8,
"n": 4,
"number": "-3617/2"
},
{
"g": 8,
"n": 5,
"number": "32553"
},
{
"g": 8,
"n": 6,
"number": "-618507"
},
{
"g": 8,
"n": 7,
"number": "12370140"
},
{
"g": 8,
"n": 8,
"number": "-259772940"
},
{
"g": 8,
"n": 9,
"number": "5715004680"
},
{
"g": 8,
"n": 10,
"number": "-131445107640"
},
{
"g": 8,
"n": 11,
"number": "3154682583360"
},
{
"g": 8,
"n": 12,
"number": "-78867064584000"
},
{
"g": 9,
"n": 0,
"number": "43867/229824"
},
{
"g": 9,
"n": 1,
"number": "-43867/14364"
},
{
"g": 9,
"n": 2,
"number": "745739/14364"
},
{
"g": 9,
"n": 3,
"number": "-745739/798"
},
{
"g": 9,
"n": 4,
"number": "745739/42"
},
{
"g": 9,
"n": 5,
"number": "-7457390/21"
},
{
"g": 9,
"n": 6,
"number": "7457390"
},
{
"g": 9,
"n": 7,
"number": "-164062580"
},
{
"g": 9,
"n": 8,
"number": "3773439340"
},
{
"g": 9,
"n": 9,
"number": "-90562544160"
},
{
"g": 9,
"n": 10,
"number": "2264063604000"
},
{
"g": 9,
"n": 11,
"number": "-58865653704000"
},
{
"g": 9,
"n": 12,
"number": "1589372650008000"
},
{
"g": 10,
"n": 0,
"number": "-174611/118800"
},
{
"g": 10,
"n": 1,
"number": "174611/6600"
},
{
"g": 10,
"n": 2,
"number": "-3317609/6600"
},
{
"g": 10,
"n": 3,
"number": "3317609/330"
},
{
"g": 10,
"n": 4,
"number": "-23223263/110"
},
{
"g": 10,
"n": 5,
"number": "23223263/5"
},
{
"g": 10,
"n": 6,
"number": "-534135049/5"
},
{
"g": 10,
"n": 7,
"number": "12819241176/5"
},
{
"g": 10,
"n": 8,
"number": "-64096205880"
},
{
"g": 10,
"n": 9,
"number": "1666501352880"
},
{
"g": 10,
"n": 10,
"number": "-44995536527760"
},
{
"g": 10,
"n": 11,
"number": "1259875022777280"
},
{
"g": 10,
"n": 12,
"number": "-36536375660541120"
},
{
"g": 11,
"n": 0,
"number": "77683/5520"
},
{
"g": 11,
"n": 1,
"number": "-77683/276"
},
{
"g": 11,
"n": 2,
"number": "543781/92"
},
{
"g": 11,
"n": 3,
"number": "-5981591/46"
},
{
"g": 11,
"n": 4,
"number": "5981591/2"
},
{
"g": 11,
"n": 5,
"number": "-71779092"
},
{
"g": 11,
"n": 6,
"number": "1794477300"
},
{
"g": 11,
"n": 7,
"number": "-46656409800"
},
{
"g": 11,
"n": 8,
"number": "1259723064600"
},
{
"g": 11,
"n": 9,
"number": "-35272245808800"
},
{
"g": 11,
"n": 10,
"number": "1022895128455200"
},
{
"g": 11,
"n": 11,
"number": "-30686853853656000"
},
{
"g": 11,
"n": 12,
"number": "951292469463336000"
},
{
"g": 12,
"n": 0,
"number": "-236364091/1441440"
},
{
"g": 12,
"n": 1,
"number": "236364091/65520"
},
{
"g": 12,
"n": 2,
"number": "-5436374093/65520"
},
{
"g": 12,
"n": 3,
"number": "5436374093/2730"
},
{
"g": 12,
"n": 4,
"number": "-27181870465/546"
},
{
"g": 12,
"n": 5,
"number": "27181870465/21"
},
{
"g": 12,
"n": 6,
"number": "-244636834185/7"
},
{
"g": 12,
"n": 7,
"number": "978547336740"
},
{
"g": 12,
"n": 8,
"number": "-28377872765460"
},
{
"g": 12,
"n": 9,
"number": "851336182963800"
},
{
"g": 12,
"n": 10,
"number": "-26391421671877800"
},
{
"g": 12,
"n": 11,
"number": "844525493500089600"
},
{
"g": 12,
"n": 12,
"number": "-27869341285502956800"
}
],
"source": "generator"
}