back to table · edit · history · where entries came from · files · download
4958 bytes, as of the version from 2026-10-29 03:59 (current). Recorded here, not run.
{
"entries": 286,
"lens_space_types": 46,
"rational_entries": 52,
"nonrational_entries": 234,
"minimum_ball_accuracy_bits": 494,
"maximum_relative_gamma_discrepancy": "5.045855487e-150",
"working_bits": 500,
"stored_significant_digits": 100,
"exact_values": [
{
"p": 2,
"q": 1,
"u": 1,
"value": "4"
},
{
"p": 3,
"q": 1,
"u": 1,
"value": "3"
},
{
"p": 4,
"q": 1,
"u": 1,
"value": "2"
},
{
"p": 4,
"q": 1,
"u": 2,
"value": "4"
},
{
"p": 6,
"q": 1,
"u": 1,
"value": "1"
},
{
"p": 6,
"q": 1,
"u": 2,
"value": "3"
},
{
"p": 6,
"q": 1,
"u": 3,
"value": "4"
},
{
"p": 8,
"q": 1,
"u": 2,
"value": "2"
},
{
"p": 8,
"q": 1,
"u": 4,
"value": "4"
},
{
"p": 8,
"q": 3,
"u": 2,
"value": "2"
},
{
"p": 8,
"q": 3,
"u": 4,
"value": "4"
},
{
"p": 9,
"q": 1,
"u": 3,
"value": "3"
},
{
"p": 9,
"q": 2,
"u": 3,
"value": "3"
},
{
"p": 10,
"q": 1,
"u": 5,
"value": "4"
},
{
"p": 10,
"q": 3,
"u": 1,
"value": "1"
},
{
"p": 10,
"q": 3,
"u": 3,
"value": "1"
},
{
"p": 10,
"q": 3,
"u": 5,
"value": "4"
},
{
"p": 12,
"q": 1,
"u": 2,
"value": "1"
},
{
"p": 12,
"q": 1,
"u": 3,
"value": "2"
},
{
"p": 12,
"q": 1,
"u": 4,
"value": "3"
},
{
"p": 12,
"q": 1,
"u": 6,
"value": "4"
},
{
"p": 12,
"q": 5,
"u": 1,
"value": "1"
},
{
"p": 12,
"q": 5,
"u": 2,
"value": "1"
},
{
"p": 12,
"q": 5,
"u": 3,
"value": "2"
},
{
"p": 12,
"q": 5,
"u": 4,
"value": "3"
},
{
"p": 12,
"q": 5,
"u": 5,
"value": "1"
},
{
"p": 12,
"q": 5,
"u": 6,
"value": "4"
},
{
"p": 14,
"q": 1,
"u": 7,
"value": "4"
},
{
"p": 14,
"q": 3,
"u": 7,
"value": "4"
},
{
"p": 15,
"q": 1,
"u": 5,
"value": "3"
},
{
"p": 15,
"q": 2,
"u": 5,
"value": "3"
},
{
"p": 15,
"q": 4,
"u": 5,
"value": "3"
},
{
"p": 16,
"q": 1,
"u": 4,
"value": "2"
},
{
"p": 16,
"q": 1,
"u": 8,
"value": "4"
},
{
"p": 16,
"q": 3,
"u": 4,
"value": "2"
},
{
"p": 16,
"q": 3,
"u": 8,
"value": "4"
},
{
"p": 16,
"q": 7,
"u": 4,
"value": "2"
},
{
"p": 16,
"q": 7,
"u": 8,
"value": "4"
},
{
"p": 18,
"q": 1,
"u": 3,
"value": "1"
},
{
"p": 18,
"q": 1,
"u": 6,
"value": "3"
},
{
"p": 18,
"q": 1,
"u": 9,
"value": "4"
},
{
"p": 18,
"q": 5,
"u": 3,
"value": "1"
},
{
"p": 18,
"q": 5,
"u": 6,
"value": "3"
},
{
"p": 18,
"q": 5,
"u": 9,
"value": "4"
},
{
"p": 20,
"q": 1,
"u": 5,
"value": "2"
},
{
"p": 20,
"q": 1,
"u": 10,
"value": "4"
},
{
"p": 20,
"q": 3,
"u": 2,
"value": "1"
},
{
"p": 20,
"q": 3,
"u": 5,
"value": "2"
},
{
"p": 20,
"q": 3,
"u": 6,
"value": "1"
},
{
"p": 20,
"q": 3,
"u": 10,
"value": "4"
},
{
"p": 20,
"q": 9,
"u": 5,
"value": "2"
},
{
"p": 20,
"q": 9,
"u": 10,
"value": "4"
}
],
"all_decimal_intervals_contain_computed_balls": true,
"all_symmetries_checked": true,
"all_character_products_contain_p_squared": true,
"rational_classification_checked_by_exact_cyclotomic_arithmetic": true,
"gamma_check_dps": 175,
"gamma_relative_agreement_threshold": "1e-145",
"gamma_controls": "T(2,1,1)=4; T(3,1,1)=3; T(4,1,1)=2; T(6,1,1)=1; T(5,2,1)=sqrt(5)",
"inverse_negative_control": "T(7,2,1) differs from the erroneous q-instead-of-inverse result by >0.1",
"longest_written_value": 103,
"skill_manifest": "agents/runs/20261029T032928Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"versions": {
"mpmath": "1.4.1",
"numberdb": "0.1.10"
},
"checked_stored_document": true
}