back to table · edit · history · where entries came from · files · download
7554 bytes, as of the version from 2026-10-25 12:01 (current). Recorded here, not run.
{
"sage_version": "10.9",
"working_bits": 512,
"checked": 40,
"exact_zeros": 2,
"tail_bound_verified": true,
"rows": [
{
"domain": "right-isosceles-triangle",
"n": 1,
"j": 0,
"k": 0,
"coefficient_of_pi_squared": "0",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 2,
"j": 1,
"k": 0,
"coefficient_of_pi_squared": "1",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 3,
"j": 1,
"k": 1,
"coefficient_of_pi_squared": "2",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 4,
"j": 2,
"k": 0,
"coefficient_of_pi_squared": "4",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 5,
"j": 2,
"k": 1,
"coefficient_of_pi_squared": "5",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 6,
"j": 2,
"k": 2,
"coefficient_of_pi_squared": "8",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 7,
"j": 3,
"k": 0,
"coefficient_of_pi_squared": "9",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 8,
"j": 3,
"k": 1,
"coefficient_of_pi_squared": "10",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 9,
"j": 3,
"k": 2,
"coefficient_of_pi_squared": "13",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 10,
"j": 4,
"k": 0,
"coefficient_of_pi_squared": "16",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 11,
"j": 4,
"k": 1,
"coefficient_of_pi_squared": "17",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 12,
"j": 3,
"k": 3,
"coefficient_of_pi_squared": "18",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 13,
"j": 4,
"k": 2,
"coefficient_of_pi_squared": "20",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 14,
"j": 4,
"k": 3,
"coefficient_of_pi_squared": "25",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 15,
"j": 5,
"k": 0,
"coefficient_of_pi_squared": "25",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 16,
"j": 5,
"k": 1,
"coefficient_of_pi_squared": "26",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 17,
"j": 5,
"k": 2,
"coefficient_of_pi_squared": "29",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 18,
"j": 4,
"k": 4,
"coefficient_of_pi_squared": "32",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 19,
"j": 5,
"k": 3,
"coefficient_of_pi_squared": "34",
"stored_interval_contains_ball": true
},
{
"domain": "right-isosceles-triangle",
"n": 20,
"j": 6,
"k": 0,
"coefficient_of_pi_squared": "36",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 1,
"j": 0,
"k": 0,
"coefficient_of_pi_squared": "0",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 2,
"j": 1,
"k": 0,
"coefficient_of_pi_squared": "16/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 3,
"j": 1,
"k": 1,
"coefficient_of_pi_squared": "16/3",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 4,
"j": 2,
"k": 0,
"coefficient_of_pi_squared": "64/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 5,
"j": 2,
"k": 1,
"coefficient_of_pi_squared": "112/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 6,
"j": 3,
"k": 0,
"coefficient_of_pi_squared": "16",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 7,
"j": 2,
"k": 2,
"coefficient_of_pi_squared": "64/3",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 8,
"j": 3,
"k": 1,
"coefficient_of_pi_squared": "208/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 9,
"j": 4,
"k": 0,
"coefficient_of_pi_squared": "256/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 10,
"j": 3,
"k": 2,
"coefficient_of_pi_squared": "304/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 11,
"j": 4,
"k": 1,
"coefficient_of_pi_squared": "112/3",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 12,
"j": 5,
"k": 0,
"coefficient_of_pi_squared": "400/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 13,
"j": 3,
"k": 3,
"coefficient_of_pi_squared": "48",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 14,
"j": 4,
"k": 2,
"coefficient_of_pi_squared": "448/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 15,
"j": 5,
"k": 1,
"coefficient_of_pi_squared": "496/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 16,
"j": 6,
"k": 0,
"coefficient_of_pi_squared": "64",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 17,
"j": 4,
"k": 3,
"coefficient_of_pi_squared": "592/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 18,
"j": 5,
"k": 2,
"coefficient_of_pi_squared": "208/3",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 19,
"j": 6,
"k": 1,
"coefficient_of_pi_squared": "688/9",
"stored_interval_contains_ball": true
},
{
"domain": "hemiequilateral-triangle",
"n": 20,
"j": 4,
"k": 4,
"coefficient_of_pi_squared": "256/3",
"stored_interval_contains_ball": true
}
]
}