back to table · edit · history · where entries came from · files · download
8320 bytes, as of the version from 2026-10-25 14:25 (current). Recorded here, not run.
<VerifyReport T489: 80/80 matched, 0 differing, 0 missing, 0 extra>
Controls: disk u=x gives 1; square bilinear mode gives 2.
Scaling independently checked on all 40 rectangle modes.
Displayed mpmath snippet checked.
unit-square first values: ['0.0', '1.37650548467253', '1.37650548467253', '2.0', '4.64727550686345', '4.64727550686345']
rectangle-1x2 first values: ['0.0', '0.555309988958193', '1.52710814611007', '1.62940887798125', '2.052218364421', '2.7810260068063']
unit-disk first values: ['0.0', '1.0', '1.0', '2.0', '2.0', '3.0']
annulus-1-2 first values: ['0.0', '0.219223593595585', '0.219223593595585', '0.75660188679434', '0.75660188679434', '1.37854437268257']
Independent decimal interval checks: 80
Square separation parameters matched to T486: 18
Minimum relative enclosure digits: 118.28
Stored mode: True
All controls, precision comparisons, energy and boundary checks passed.
WRITTEN_JSON {"annulus-1-2,1": "0", "annulus-1-2,10": "2.164042561333445111039887021502838206139968931229478901203174110396663828771777619828289934340259517", "annulus-1-2,11": "2.280776406404415137455352463993519256286799806343405108599658393273738586584405398396965912702671074", "annulus-1-2,12": "2.280776406404415137455352463993519256286799806343405108599658393273738586584405398396965912702671074", "annulus-1-2,13": "2.485506277764000834008624838171747187649811583521376618674480195607436505517051797216523355003796730", "annulus-1-2,14": "2.485506277764000834008624838171747187649811583521376618674480195607436505517051797216523355003796730", "annulus-1-2,15": "2.643398113205660381132066037762264071698362263341512132066298144898002290958511805854102698689038410", "annulus-1-2,16": "2.643398113205660381132066037762264071698362263341512132066298144898002290958511805854102698689038410", "annulus-1-2,17": "2.995617220179462083423092622243912159937182820029044333567620358101559746632484389199059965598288465", "annulus-1-2,18": "2.995617220179462083423092622243912159937182820029044333567620358101559746632484389199059965598288465", "annulus-1-2,19": "3.264312770174577543432178600658632051794068388477230172848877467593244321868375598732780515971284073", "annulus-1-2,2": "0.2192235935955848625446475360064807437132001936565948914003416067262614134155946016030340872973289258", "annulus-1-2,20": "3.264312770174577543432178600658632051794068388477230172848877467593244321868375598732780515971284073", "annulus-1-2,3": "0.2192235935955848625446475360064807437132001936565948914003416067262614134155946016030340872973289258", "annulus-1-2,4": "0.7566018867943396188679339622377359283016377366584878679337018551019977090414881941458973013109615895", "annulus-1-2,5": "0.7566018867943396188679339622377359283016377366584878679337018551019977090414881941458973013109615895", "annulus-1-2,6": "1.378544372682565313710678542198510805348788754379912684293979675263898535274481544124362341171573070", "annulus-1-2,7": "1.378544372682565313710678542198510805348788754379912684293979675263898535274481544124362341171573070", "annulus-1-2,8": "1.955011698384984519437999104810827841999270893921281608079942085457196730660238335055184193442199475", "annulus-1-2,9": "1.955011698384984519437999104810827841999270893921281608079942085457196730660238335055184193442199475", "rectangle-1x2,1": "0", "rectangle-1x2,10": "4.712988385245167448394340357273525306690979917241226978069827300831505326057782493148520303059298094", "rectangle-1x2,11": "5.457162732839665912178660487534282369143701904667670575453701309033161745219546377977050571294906726", "rectangle-1x2,12": "5.539048792019246724793671047003563800975856095951471934731755129073754339764428005152326616865015386", "rectangle-1x2,13": "7.057416270710266319246843780641928232940153051826529100556146166095911947865185159208647228696522840", "rectangle-1x2,14": "7.079787315697601945316780684407149250426622526432389880071065635319673657567695859868002912190183565", "rectangle-1x2,15": "7.853979568162248759993713485815119912325422496005655113039055060329596566415694118063132633186286256", "rectangle-1x2,16": "7.853983699789739805279012434331496268718449062915987938441862065504199379820801788276201994300126425", "rectangle-1x2,17": "8.636499499824641907023510004027014710334624842846060165833814261314982562383194506030407664174247883", "rectangle-1x2,18": "8.642262072175549676594132889830317417271993919533296144104294277167179177266138876594244505158300743", "rectangle-1x2,19": "10.20946162320401778281940999455187214556666300378715461066036037359817960658644790223972804786576785", "rectangle-1x2,2": "0.5553099889581934229290951374879191546833831117399663707065640585347479721806833751631809989354764857", "rectangle-1x2,20": "10.21089072758693944501142516487830184306828558278254950797260838310928266976580144482800482531742520", "rectangle-1x2,3": "1.527108146110069486890969519550984128448366365302832606944933685577176834777860492913222189545249817", "rectangle-1x2,4": "1.629408877981245049394414348883020380950810721120561268987023674408076976825081124628150496627214058", "rectangle-1x2,5": "2.052218364421001384321402499065791967393116734067921697680858646174641278252862621548458508685805889", "rectangle-1x2,6": "2.781026006806295297580781282788570781869224407357937590669295022562000841269168067791553900864491146", "rectangle-1x2,7": "3.796674745730967141135615140302166703843507322639442164942556121847498542095845958785858834214576961", "rectangle-1x2,8": "4.067192909762319958411073791939920242080189285298037117785623459469011012086829017613390994224045970", "rectangle-1x2,9": "4.711790033006847584594208658748179652461458770170762029297121861482876102348772626051564484044803103", "unit-disk,1": "0", "unit-disk,10": "5", "unit-disk,11": "5", "unit-disk,12": "6", "unit-disk,13": "6", "unit-disk,14": "7", "unit-disk,15": "7", "unit-disk,16": "8", "unit-disk,17": "8", "unit-disk,18": "9", "unit-disk,19": "9", "unit-disk,2": "1", "unit-disk,20": "10", "unit-disk,3": "1", "unit-disk,4": "2", "unit-disk,5": "2", "unit-disk,6": "3", "unit-disk,7": "3", "unit-disk,8": "4", "unit-disk,9": "4", "unit-square,1": "0", "unit-square,10": "7.848666046489503231133741232205791820804059917593312645848896095257707495215286706950400282440817556", "unit-square,11": "7.859309013560367598717155663171781527914055355563192586572347266617433847801696937652254395253281117", "unit-square,12": "7.859309013560367598717155663171781527914055355563192586572347266617433847801696937652254395253281117", "unit-square,13": "10.99523893673765154359255492941557138287369488636514208641616810580878986882924558858993792472015157", "unit-square,14": "10.99523893673765154359255492941557138287369488636514208641616810580878986882924558858993792472015157", "unit-square,15": "10.99590967102146919282160729382434231206179620603038809214925773470335212312576603870138529381736182", "unit-square,16": "10.99590967102146919282160729382434231206179620603038809214925773470335212312576603870138529381736182", "unit-square,17": "14.13714789368830811280553053743736449047564191965488422102927052818591959609330857522248028236973223", "unit-square,18": "14.13714789368830811280553053743736449047564191965488422102927052818591959609330857522248028236973223", "unit-square,19": "14.13718598870057946262521727787632762769685786799312000120663775605164793626317343609883477394311629", "unit-square,2": "1.376505484672534777969704669646540416306884308102950132316368378803244737482743823273280356666625695", "unit-square,20": "14.13718598870057946262521727787632762769685786799312000120663775605164793626317343609883477394311629", "unit-square,3": "1.376505484672534777969704669646540416306884308102950132316368378803244737482743823273280356666625695", "unit-square,4": "2", "unit-square,5": "4.647275506863445371216208003531306685799308298244743833420577757694473677274939995073985922228099628", "unit-square,6": "4.647275506863445371216208003531306685799308298244743833420577757694473677274939995073985922228099628", "unit-square,7": "4.780778410211634021273076773306499429048230092470448054516257288624903684839760023781799625932123567", "unit-square,8": "4.780778410211634021273076773306499429048230092470448054516257288624903684839760023781799625932123567", "unit-square,9": "7.848666046489503231133741232205791820804059917593312645848896095257707495215286706950400282440817556"}