back to table · edit · history · where entries came from · files · download
2028 bytes, as of the version from 2026-10-25 07:24 (current). Recorded here, not run.
{
"table": "T477",
"sage_version": "10.9",
"controls_passed": true,
"certified_rows": [
{
"n": "31",
"normalisation": "separation",
"number": "0.2175472916191",
"significant_digits": 13,
"contains_certified_interval": true,
"certified_lower": "2175472916191243/10000000000000000",
"certified_upper": "27193411452391/125000000000000"
},
{
"n": "31",
"normalisation": "container",
"number": "11.193403352047",
"significant_digits": 14,
"contains_certified_interval": true,
"certified_lower": "304386822904782/27193411452391",
"certified_upper": "24350945832382486/2175472916191243"
},
{
"n": "32",
"normalisation": "separation",
"number": "0.21317456258988",
"significant_digits": 14,
"contains_certified_interval": true,
"certified_lower": "532936406474691/2500000000000000",
"certified_upper": "2131745625898779/10000000000000000"
},
{
"n": "32",
"normalisation": "container",
"number": "11.381982426523",
"significant_digits": 14,
"contains_certified_interval": true,
"certified_lower": "24263491251797558/2131745625898779",
"certified_upper": "6065872812949382/532936406474691"
},
{
"n": "33",
"normalisation": "separation",
"number": "0.21132838414326",
"significant_digits": 14,
"contains_certified_interval": true,
"certified_lower": "2113283841432631/10000000000000000",
"certified_upper": "422656768286529/2000000000000000"
},
{
"n": "33",
"normalisation": "container",
"number": "11.463944032450",
"significant_digits": 14,
"contains_certified_interval": true,
"certified_lower": "4845313536573058/422656768286529",
"certified_upper": "24226567682865262/2113283841432631"
}
],
"conversion_interval_checks_passed": 99,
"scope": "Precision counts and source-bound containment, not a new optimality proof."
}