back to table · edit · history · where entries came from · files · download
5009 bytes, as of the version from 2026-10-26 15:32 (current). Recorded here, not run.
{
"table": "T519",
"checked": 48,
"independent_method": "120-node Nystrom at 170 decimal digits; pre-fill evidence.json",
"maximum_error_ulps": 0.4933390735406735,
"rows": [
{
"S": 1,
"n": 0,
"error_ulps": "0.122684404098595046"
},
{
"S": 1,
"n": 1,
"error_ulps": "0.3747191525110073434"
},
{
"S": 1,
"n": 2,
"error_ulps": "0.42487554020383399287"
},
{
"S": 1,
"n": 3,
"error_ulps": "0.051318321893492466896"
},
{
"S": 1,
"n": 4,
"error_ulps": "0.27322496251598595093"
},
{
"S": 1,
"n": 5,
"error_ulps": "0.41847163582577451867"
},
{
"S": 1,
"n": 6,
"error_ulps": "0.034624909722387682135"
},
{
"S": 1,
"n": 7,
"error_ulps": "0.21240417338001256101"
},
{
"S": 1,
"n": 8,
"error_ulps": "0.49333907354067351314"
},
{
"S": 1,
"n": 9,
"error_ulps": "0.43538901715379068837"
},
{
"S": 1,
"n": 10,
"error_ulps": "0.23713392824396051237"
},
{
"S": 1,
"n": 11,
"error_ulps": "0.26527623931996768965"
},
{
"S": 2,
"n": 0,
"error_ulps": "0.21535631481317357265"
},
{
"S": 2,
"n": 1,
"error_ulps": "0.0078009158447257857835"
},
{
"S": 2,
"n": 2,
"error_ulps": "0.44790461677587430308"
},
{
"S": 2,
"n": 3,
"error_ulps": "0.39527278396999430435"
},
{
"S": 2,
"n": 4,
"error_ulps": "0.48617797814310536527"
},
{
"S": 2,
"n": 5,
"error_ulps": "0.04556978526544629267"
},
{
"S": 2,
"n": 6,
"error_ulps": "0.038425072736938283819"
},
{
"S": 2,
"n": 7,
"error_ulps": "0.40680363089564550158"
},
{
"S": 2,
"n": 8,
"error_ulps": "0.38023324240431726833"
},
{
"S": 2,
"n": 9,
"error_ulps": "0.15696168526280974878"
},
{
"S": 2,
"n": 10,
"error_ulps": "0.36676835695000569763"
},
{
"S": 2,
"n": 11,
"error_ulps": "0.0059336644664249266483"
},
{
"S": 4,
"n": 0,
"error_ulps": "0.27612819006353186732"
},
{
"S": 4,
"n": 1,
"error_ulps": "0.30537008598774047486"
},
{
"S": 4,
"n": 2,
"error_ulps": "0.42933906244071666583"
},
{
"S": 4,
"n": 3,
"error_ulps": "0.28442636881310505221"
},
{
"S": 4,
"n": 4,
"error_ulps": "0.21112369059285376177"
},
{
"S": 4,
"n": 5,
"error_ulps": "0.35729480344590858168"
},
{
"S": 4,
"n": 6,
"error_ulps": "0.13223453324985325828"
},
{
"S": 4,
"n": 7,
"error_ulps": "0.29478719151229190047"
},
{
"S": 4,
"n": 8,
"error_ulps": "0.14924468877471250084"
},
{
"S": 4,
"n": 9,
"error_ulps": "0.19375933542306033991"
},
{
"S": 4,
"n": 10,
"error_ulps": "0.057861772131359486032"
},
{
"S": 4,
"n": 11,
"error_ulps": "0.043068264241070897862"
},
{
"S": 8,
"n": 0,
"error_ulps": "0.2937440188908844445"
},
{
"S": 8,
"n": 1,
"error_ulps": "0.42841939492871612919"
},
{
"S": 8,
"n": 2,
"error_ulps": "0.18401739196855677946"
},
{
"S": 8,
"n": 3,
"error_ulps": "0.34047624419377091176"
},
{
"S": 8,
"n": 4,
"error_ulps": "0.010135507602446185192"
},
{
"S": 8,
"n": 5,
"error_ulps": "0.43934172457300400999"
},
{
"S": 8,
"n": 6,
"error_ulps": "0.05830807719281028309"
},
{
"S": 8,
"n": 7,
"error_ulps": "0.00055753888433661103364"
},
{
"S": 8,
"n": 8,
"error_ulps": "0.29369154194246208693"
},
{
"S": 8,
"n": 9,
"error_ulps": "0.088425795062539068441"
},
{
"S": 8,
"n": 10,
"error_ulps": "0.017969630129121872306"
},
{
"S": 8,
"n": 11,
"error_ulps": "0.029016108616922833559"
}
],
"bandwidth_checks": {
"1": {
"ordered": true,
"strictly_between_zero_and_one": true,
"first_12_trace_deficit": "1.8704332832394179875904425277455016e-27"
},
"2": {
"ordered": true,
"strictly_between_zero_and_one": true,
"first_12_trace_deficit": "6.2856548788748754355156963216037252e-20"
},
"4": {
"ordered": true,
"strictly_between_zero_and_one": true,
"first_12_trace_deficit": "2.1029040295750253281768509529083586e-12"
},
"8": {
"ordered": true,
"strictly_between_zero_and_one": true,
"first_12_trace_deficit": "0.000059943860560797484493850439299862642"
}
}
}