back to table · edit · history · where entries came from · files · download
11379 bytes, as of the version from 2026-10-27 21:27 (current). Recorded here, not run.
{
"table": "T561",
"controls": "All exact, interval, and divisor controls passed.",
"entries": 25,
"profiles": 18,
"min_relative_accuracy_bits": 393,
"working_guard_bits": 64,
"digits": 100,
"rigour": "proven",
"precision_agreement_entries": 25,
"mpfi_512_bit_containment_entries": 25,
"hyperelliptic_checks": 6,
"emz_cylinder_checks": 11,
"cm_divisor_checks": 3,
"distinct_entries_with_additional_mathematical_checks": 16,
"measure": {
"entries": 25,
"longest": 137,
"longest_at": "(2, (2,), 'hyp')",
"block_kb": 4.90234375
},
"rows": [
{
"g": 2,
"mu": [
2
],
"component": "hyp",
"lyapunov_sum": "4/3",
"pi_squared_times_area_constant": "10/3",
"number": "0.3377372788077925714795982106990921296811959155741551628186967729805770698741181373040309130854061254",
"relative_accuracy_bits": 393
},
{
"g": 2,
"mu": [
1,
1
],
"component": "hyp",
"lyapunov_sum": "3/2",
"pi_squared_times_area_constant": "15/4",
"number": "0.3799544386587666429145479870364786458913454050209245581710338696031492036083829044670347772210818911",
"relative_accuracy_bits": 393
},
{
"g": 3,
"mu": [
4
],
"component": "hyp",
"lyapunov_sum": "9/5",
"pi_squared_times_area_constant": "21/5",
"number": "0.4255489712978186400642937454808560833983068536234355051515579339555271080413888530030789504876117180",
"relative_accuracy_bits": 393
},
{
"g": 3,
"mu": [
4
],
"component": "odd",
"lyapunov_sum": "8/5",
"pi_squared_times_area_constant": "18/5",
"number": "0.3647562611124159771979660675550195000556915888200875758441925148190232354640475882883533861322386154",
"relative_accuracy_bits": 393
},
{
"g": 3,
"mu": [
3,
1
],
"component": "connected",
"lyapunov_sum": "7/4",
"pi_squared_times_area_constant": "63/16",
"number": "0.3989521605917049750602753863883025781859126752719707860795855630833066637888020496903865160821359856",
"relative_accuracy_bits": 393
},
{
"g": 3,
"mu": [
2,
2
],
"component": "hyp",
"lyapunov_sum": "2",
"pi_squared_times_area_constant": "14/3",
"number": "0.4728321903309096000714374949787289815536742818038172279461754821728078978237653922256432783195685755",
"relative_accuracy_bits": 393
},
{
"g": 3,
"mu": [
2,
2
],
"component": "odd",
"lyapunov_sum": "5/3",
"pi_squared_times_area_constant": "11/3",
"number": "0.3715110066885718286275580317690013426493155071315706791005664502786347768615299510344340043939467379",
"relative_accuracy_bits": 393
},
{
"g": 3,
"mu": [
2,
1,
1
],
"component": "connected",
"lyapunov_sum": "11/6",
"pi_squared_times_area_constant": "49/12",
"number": "0.4137281665395459000625078081063878588594649965783400744529035469012069105957947181974378685296225036",
"relative_accuracy_bits": 393
},
{
"g": 3,
"mu": [
1,
1,
1,
1
],
"component": "connected",
"lyapunov_sum": "53/28",
"pi_squared_times_area_constant": "117/28",
"number": "0.4233778030769114021047820426977904911360705941661730791048663118435091125921980935489816089034912500",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
6
],
"component": "hyp",
"lyapunov_sum": "16/7",
"pi_squared_times_area_constant": "36/7",
"number": "0.5210803730177371102828086679357421429367022697429822512059893068843189078057822689833619801889123077",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
6
],
"component": "even",
"lyapunov_sum": "2",
"pi_squared_times_area_constant": "30/7",
"number": "0.4342336441814475919023405566131184524472518914524852093383244224035990898381518908194683168240935898",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
6
],
"component": "odd",
"lyapunov_sum": "13/7",
"pi_squared_times_area_constant": "27/7",
"number": "0.3908102797633028327121065009518066072025267023072366884044919801632391808543367017375214851416842308",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
5,
1
],
"component": "connected",
"lyapunov_sum": "2",
"pi_squared_times_area_constant": "25/6",
"number": "0.4221715985097407143494977633738651621014948944676939535233709662257213373426476716300386413567576567",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
4,
2
],
"component": "even",
"lyapunov_sum": "32/15",
"pi_squared_times_area_constant": "68/15",
"number": "0.4593226991785978972122535665507652963664264451808510214334276112535848150288006667334820417961523305",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
4,
2
],
"component": "odd",
"lyapunov_sum": "29/15",
"pi_squared_times_area_constant": "59/15",
"number": "0.3985299889931952343459258886249287130238111803775030921260621921170809424514594020187564774407792279",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
4,
1,
1
],
"component": "connected",
"lyapunov_sum": "1137/550",
"pi_squared_times_area_constant": "4677/1100",
"number": "0.4307992508138306882209311358471783337778963537655428263190122201536797152185228713193507037728484859",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
3,
3
],
"component": "hyp",
"lyapunov_sum": "5/2",
"pi_squared_times_area_constant": "45/8",
"number": "0.5699316579881499643718219805547179688370181075313868372565508044047238054125743567005521658316228366",
"relative_accuracy_bits": 394
},
{
"g": 4,
"mu": [
3,
3
],
"component": "nonhyp",
"lyapunov_sum": "2",
"pi_squared_times_area_constant": "33/8",
"number": "0.4179498825246433072060027857401265104804799455230170139881372565634641239692211949137382549431900802",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
3,
2,
1
],
"component": "connected",
"lyapunov_sum": "25/12",
"pi_squared_times_area_constant": "205/48",
"number": "0.4327258884724842322082352074582117911540322668293863023614552403813643707762138634207896073906765981",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
3,
1,
1,
1
],
"component": "connected",
"lyapunov_sum": "66/31",
"pi_squared_times_area_constant": "2145/496",
"number": "0.4381732639371260478772609850501326319553418783709049340198213173649220654516028656353707511501186324",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
2,
2,
2
],
"component": "even",
"lyapunov_sum": "737/333",
"pi_squared_times_area_constant": "515/111",
"number": "0.4700937799621977684107921040811687750967997203261889428422401029324248405004617316529078925377950124",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
2,
2,
2
],
"component": "odd",
"lyapunov_sum": "2",
"pi_squared_times_area_constant": "4",
"number": "0.4052847345693510857755178528389105556174350986889861953824361275766924838489417647648370957024873505",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
2,
2,
1,
1
],
"component": "connected",
"lyapunov_sum": "5045/2358",
"pi_squared_times_area_constant": "6815/1572",
"number": "0.4392518234876157203498972912050215388888072833278372966811867381417238036626173865891165405872218978",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
2,
1,
1,
1,
1
],
"component": "connected",
"lyapunov_sum": "131/60",
"pi_squared_times_area_constant": "263/60",
"number": "0.4441245216322472314956716470693061505307726289800140391065862564694588468844653505548006507073090549",
"relative_accuracy_bits": 393
},
{
"g": 4,
"mu": [
1,
1,
1,
1,
1,
1
],
"component": "connected",
"lyapunov_sum": "839/377",
"pi_squared_times_area_constant": "6675/1508",
"number": "0.4484873347563691143155805152022095422324899343085183776819895808313034366199745158828394585235582003",
"relative_accuracy_bits": 393
}
],
"skill_manifest": "agents/runs/20261027T205535Z-build-skills/manifest.json",
"skill_local_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"skill_live_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"versions": {
"sage": "10.9",
"numberdb": "0.1.10"
},
"research_sources": {
"EKZ": {
"sha256": "b9bb811357881202927c31dd6af1ecdec4d5248fc3eec18435658a623fb73314"
},
"EMZ": {
"sha256": "12a5354d495be44a9bcd61e85d7107ef7ae011664f628af9e974eb7bbf76194a"
},
"KZ": {
"sha256": "4b3c1a0869f4e62e880ed5ee02e0b47e2940d6b103367bb1e1f4154bedbe3374"
},
"CM": {
"sha256": "c7fc0b3991603d98ec79be4715ea93da39e093b0bde06f1e103c2d979310c915"
},
"AEZ": {
"sha256": "e45ad96f9fecb4c52ade191e8f7caa780c9eaec25f35421f34a3ced6e790db02"
}
},
"run_id": "20261027T205535Z",
"generator_files": {
"generate.py": "25af10bbf7d7ed9d0b4e7af161775ac6719468eb06aaaed930ef553225d3e6dc",
"checks.py": "a3c857aff840435ade9bbe9f3619582bf41ebd24e8a9afacd93a1a3ba9a96ef1",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"table_records.py": "d2e116845eea21ca1e16f8db36740f3a351ca02ffe4a3b3d67062ecc9d09a935",
"argument-selection.md": "760b828268fc728215a7c54f76b7c5c5484ff07cc38dc3c5b8ba2c138df30aec",
"source-evidence.md": "e89b3edf83df2601d03db0f5cf1adf2927bf77b2a3368bc84d7b6b8da322e3f7"
},
"stored_checks": {
"stored_entries": 25,
"all_written_intervals_contain_independent_mpfi": true,
"ekz_identity": 25,
"hyperelliptic_formula": 6,
"emz_cylinder_checks": 11,
"cm_divisor_checks": 3,
"enumeration_matches": true
},
"active_client_source_sha256": {
"_write.py": "b36a642017ad292d089ea11ba9bf67ed9d7f1dd3752bb5964cf80dfc7466b7f1",
"_generate.py": "dd8264b7d52ee2c732dd129a1074be66d74e4cb119fe29e068e32eafd9b12421"
},
"snapshot_client_source_sha256": {
"_generate.py": "dd8264b7d52ee2c732dd129a1074be66d74e4cb119fe29e068e32eafd9b12421",
"_write.py": "cecd42818351560d9c45f58f326547fe31a018c52b02c25f8d1a4617de14b198",
"sage.py": "a93de105423069398d7934d2de0b1d4d9efd8711dcee88c3ae0c2c8648a8d786"
}
}