back to table · edit · history · where entries came from · files · download
4169 bytes, as of the version from 2026-11-10 01:43 (current). Recorded here, not run.
{
"table": "T702",
"stored": true,
"entries": 494,
"minimum_relative_accuracy_bits": 390,
"terms_each_side": [
7,
55
],
"fourier_max_relative_difference": "2.8416462e-148",
"fourier_repeat_max_relative_difference": "1.2301855e-134",
"symmetry_checks": 988,
"distribution_and_rectangular_four_torsion_checks": 83,
"square_origin_beta_control": "passed",
"lattice_checks": [
{
"params": [
-4,
1,
0,
0
],
"value": 1.278875225263528,
"absolute_bound": 0.0013581221810508401,
"observed_error": 5.401100676571957e-05
},
{
"params": [
-4,
2,
0,
1
],
"value": -0.9782991151304383,
"absolute_bound": 0.0013581221810508401,
"observed_error": 4.552694742310237e-07
},
{
"params": [
-3,
2,
0,
1
],
"value": -0.7618474318171936,
"absolute_bound": 0.0008821262326748671,
"observed_error": 4.2726028426365303e-07
},
{
"params": [
-3,
3,
1,
1
],
"value": 0.17327419371189476,
"absolute_bound": 0.0008821262326748671,
"observed_error": 1.301113244922547e-09
},
{
"params": [
-7,
5,
1,
2
],
"value": -0.2266287395172536,
"absolute_bound": 0.0031440968484635168,
"observed_error": 1.5863018953954366e-09
},
{
"params": [
-163,
6,
1,
0
],
"value": 0.024431852526114104,
"absolute_bound": 0.35328911908339455,
"observed_error": 1.353149109666052e-05
}
],
"samart_2_13_diagnostic": [
{
"Delta": -3,
"contains_zero": false,
"residual": "[4.7480008262162248837842548395005858984172360209945140090544952694812411342777925543376468661902146 +/- 4.32e-98]"
},
{
"Delta": -4,
"contains_zero": true,
"residual": "[+/- 9.41e-99]"
},
{
"Delta": -7,
"contains_zero": false,
"residual": "[4.34022733851101517646257000972152956451753033977457593734209731116861247424849179990646790870982558 +/- 7.81e-99]"
},
{
"Delta": -8,
"contains_zero": true,
"residual": "[+/- 9.41e-99]"
},
{
"Delta": -11,
"contains_zero": false,
"residual": "[3.20471011498073179758330533558537992326105134387649265839365263954644075503815994177364723656943779 +/- 8.21e-99]"
},
{
"Delta": -12,
"contains_zero": true,
"residual": "[+/- 8.21e-99]"
},
{
"Delta": -16,
"contains_zero": true,
"residual": "[+/- 7.51e-99]"
},
{
"Delta": -19,
"contains_zero": false,
"residual": "[1.69625010810500353182901990002654273753802676121317640293558869173589372011666900731423029657653012 +/- 6.14e-99]"
},
{
"Delta": -27,
"contains_zero": false,
"residual": "[0.93956370117176909423714742995144213150263727755951972492921877810988460545432018819034849290045396 +/- 8.39e-99]"
},
{
"Delta": -28,
"contains_zero": true,
"residual": "[+/- 5.54e-99]"
},
{
"Delta": -43,
"contains_zero": false,
"residual": "[0.33038774882190865370018516046681725651186491004455967434002970148603783377588932386884496949341675 +/- 8.81e-99]"
},
{
"Delta": -67,
"contains_zero": false,
"residual": "[0.08702944486089580308106403442370830409173235650296219170365246790062399779815365691376657563504940 +/- 6.60e-99]"
},
{
"Delta": -163,
"contains_zero": false,
"residual": "[0.00155915434905715378090514869415288889247429344637533027634847530151424739516052521307178014991787 +/- 6.19e-99]"
}
],
"versions": {
"numberdb": "0.1.10",
"mpmath": "1.4.1",
"SageMath": "10.9"
},
"elapsed_seconds": 36.558229207992554,
"skill_manifest": "agents/runs/20261110T013256Z-build-skills/manifest.json",
"skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"generator_verify": "494/494 matched, 0 differing, 0 missing, 0 extra"
}