back to table · edit · history · where entries came from · files · download
4683 bytes, as of the version from 2026-10-24 22:26 (current). Recorded here, not run.
{
"entries": 54,
"exact_rationals": 36,
"certified_disk_enclosures": 18,
"measure": {
"entries": 54,
"longest": 140,
"longest_at": [
"unit-disk",
3
],
"block_kb": 6.001953125
},
"max_relative_radius": 6.012246711300344e-122,
"polygon_geometric_integrals": 36,
"affine_checks": 36,
"disk_quadrature_precisions": [
135,
175
],
"disk_checks": {
"3": {
"independent_area_integral": "0.07388002973920462501116210859042640336776160653184644186658991908950123403496334253525676223743258992659955322888542052830886460489",
"difference": "1.6254e-123"
},
"4": {
"independent_area_integral": "0.1477600594784092500223242171808528067355232130636928837331798381790024680699266850705135244748651798531991064577708410566177292098",
"difference": "1.77079e-123"
},
"5": {
"independent_area_integral": "0.2120720740367009709486849613374639233746999323520584921941332545067793397549657916837271922434750543238310276338580043545974959516",
"difference": "1.50405e-123"
},
"6": {
"independent_area_integral": "0.2668160734140797877902443410602597532852917643969432672494501680728318490900806623748977655432622133384953167571469104222481648304",
"difference": "1.63517e-123"
},
"7": {
"independent_area_integral": "0.3135100629428013275356635137704604110837541847447358575477954224206036805524335225126487218568057540517666621191815096705135789767",
"difference": "1.72102e-123"
},
"8": {
"independent_area_integral": "0.3536720479551212171736036368892860113865426689418249117378338610935385186191865974656035386666847736182197520115057525103375815208",
"difference": "1.61848e-123"
},
"9": {
"independent_area_integral": "0.3885521176152498248992593562388492087858341990054533770272685343889305137141493595698082450655225809965298158086698228920754478562",
"difference": "1.75214e-123"
},
"10": {
"independent_area_integral": "0.4191324449193522601143588060421551978495272634237184991828406993579242822077785281287314217559866969494726239682301383054938856388",
"difference": "2.01436e-123"
},
"11": {
"independent_area_integral": "0.4461777931382857965584438958654468041120846759335400571693385472151011280392997677916115047402801988244639466590229756800171652575",
"difference": "2.03474e-123"
},
"12": {
"independent_area_integral": "0.4702860222603372954401505975605495750653763942986285977886059307480652643388293869318040890096330653340990123894380972849732503037",
"difference": "2.3497e-123"
},
"13": {
"independent_area_integral": "0.4919286373545270654856250770886288222530167359181318464512567777049791158062765531437388731066904625522210943106819518071140651558",
"difference": "1.53484e-123"
},
"14": {
"independent_area_integral": "0.5114813788544791599040756712253586144681959902659592940810951901600477018470260258584862445607979711255192241950304506054098996787",
"difference": "1.40032e-123"
},
"15": {
"independent_area_integral": "0.5292468830509969103393976483518325065832828605370432878596812968479468131031190448058624256016993951434971862727345640624839356027",
"difference": "1.4644e-123"
},
"16": {
"independent_area_integral": "0.5454714410814824978768076925355457885394741668767949535184829254581896940186500130510020985571627931096559431112419829520528791469",
"difference": "1.82085e-123"
},
"17": {
"independent_area_integral": "0.5603574612577123605361138843575564165709363968877678330827796032847586930234600507540013783303159137761869379595172402689316596916",
"difference": "1.74031e-123"
},
"18": {
"independent_area_integral": "0.5740728161268532360459357861937091662840518424252966781682118360306600908645719332219079473427377619239290102193618394953521295401",
"difference": "1.67046e-123"
},
"19": {
"independent_area_integral": "0.5867579223453637906786611832714851833497369833436221264113666182693448973359855687524654301361210866799409171820477179101508072117",
"difference": "1.99279e-123"
},
"20": {
"independent_area_integral": "0.5985311582615740895341810847996170022953424688357440073800596950651758171544390182086056604485911776667846758822817882857989462659",
"difference": "1.05373e-123"
}
},
"known_disk_closed_forms_checked": [
3,
4,
5
],
"monotonicity_checks": 51,
"v4_equals_2v3_checks": 3,
"stored_independent_checks": 54,
"stored_sylvester_relation_checks": 3,
"stored_monotonicity_checks": 51
}