back to table · edit · history · where entries came from · files · download
20862 bytes, as of the version from 2026-10-29 19:59 (current). Recorded here, not run.
{
"table": "T611",
"stored": true,
"entries": 54,
"controls": {
"quadrature_constant": "0.0",
"log_sine_Catalan": "0.0",
"Schlafli_ideal_control": "8.5988814e-137"
},
"min_relative_radius_decimal_digits": 122.26110282725426,
"max_error_in_last_place": "0.499044482276",
"quadrature_precisions": [
135,
115
],
"second_precision_relative_tolerance": "1e-105",
"source_sign_check": {
"Inoue_and_integral": "4.30620760073080865291983715984",
"Mednykh_Vesnin_equation_2_printed_sign": "2.22788471968557577993010875807"
},
"values": [
{
"family": "antiprism",
"n": 3,
"number": "3.663862376708876060218414059729536443096597497126688537065992478487052079105019077917426051704460425",
"quadrature": "3.66386237670887606021841405972953644309659749712668853706599247848705207910501907791742605170446042499429769047678479832",
"error_in_last_place": "0.00570230952322"
},
{
"family": "antiprism",
"n": 4,
"number": "6.023046020047188823634189314616797115498029024722499424079908837981719280845647550840509397222871580",
"quadrature": "6.02304602004718882363418931461679711549802902472249942407990883798171928084564755084050939722287158049482135261878324785",
"error_in_last_place": "0.494821352619"
},
{
"family": "antiprism",
"n": 5,
"number": "8.137885077568508032750990909375463897191649457101962939230939542700247723837384384856402788780009889",
"quadrature": "8.13788507756850803275099090937546389719164945710196293923093954270024772383738438485640278878000988879009516317315979572",
"error_in_last_place": "0.209904836827"
},
{
"family": "antiprism",
"n": 6,
"number": "10.14941606409653625021202554274520285941689307530299792017489106776597476258244022136470354228256695",
"quadrature": "10.1494160640965362502120255427452028594168930753029979201748910677659747625824402213647035422825669494586182753135988763",
"error_in_last_place": "0.0541381724686"
},
{
"family": "antiprism",
"n": 7,
"number": "12.10629799233147351209208560778742534745395532911132890973961296640057691458017275318899518536843413",
"quadrature": "12.1062979923314735120920856077874253474539553291113289097396129664005769145801727531889951853684341275478666200312531734",
"error_in_last_place": "0.245213337997"
},
{
"family": "antiprism",
"n": 8,
"number": "14.03046119144703575798614008609586396425812479874568131557922592773212236700143427597383049624854890",
"quadrature": "14.0304611914470357579861400860958639642581247987456813155792259277321223670014342759738304962485489026444939441551148969",
"error_in_last_place": "0.264449394416"
},
{
"family": "antiprism",
"n": 9,
"number": "15.93338567247750071929326062224656462439038264702847478133059739981074455101238445553433588835777895",
"quadrature": "15.9333856724775007192932606222465646243903826470284747813305973998107445510123844555343358883577789542351409807696998843",
"error_in_last_place": "0.423514098077"
},
{
"family": "antiprism",
"n": 10,
"number": "17.82170471596165597645395029576823772954114120719989070207713744597323916340061361025982590842355435",
"quadrature": "17.8217047159616559764539502957682377295411412071998907020771374459732391634006136102598259084235543488923622950064532602",
"error_in_last_place": "0.110763770499"
},
{
"family": "antiprism",
"n": 11,
"number": "19.69953311272616168831484640920154051640711929511279637829010147276509870133545702919726098474769310",
"quadrature": "19.699533112726161688314846409201540516407119295112796378290101472765098701335457029197260984747693098410792240239309285",
"error_in_last_place": "0.158920775976"
},
{
"family": "antiprism",
"n": 12,
"number": "21.56956471350594531140084612976240489791068832030523749543887892713731488619816466060251966502014180",
"quadrature": "21.5695647135059453114008461297624048979106883203052374954388789271373148861981646606025196650201417980326731950076022863",
"error_in_last_place": "0.196732680499"
},
{
"family": "antiprism",
"n": 13,
"number": "23.43363967756761095668299495604947368567714682921435074908333583040937251370024590373324110030179859",
"quadrature": "23.4336396775676109566829949560494736856771468292143507490833358304093725137002459037332411003017985879559442623236420833",
"error_in_last_place": "0.204405573768"
},
{
"family": "antiprism",
"n": 14,
"number": "25.29305909149939550332191858017989419543371631498668141655020977451086997147879537730404510581857013",
"quadrature": "25.2930590914993955033219185801798941954337163149866814165502097745108699714787953773040451058185701294638369543072816161",
"error_in_last_place": "0.0536163045693"
},
{
"family": "antiprism",
"n": 15,
"number": "27.14876955376390304937132547107646267072666930739679780048982666903748811343358328975923615294446272",
"quadrature": "27.148769553763903049371325471076462670726669307396797800489826669037488113433583289759236152944462723141338778131545396",
"error_in_last_place": "0.314133877813"
},
{
"family": "antiprism",
"n": 16,
"number": "29.00147655858978888476476202774499108922684282614529102927974247823152907386826188869930098004601058",
"quadrature": "29.0014765585897888847647620277449910892268428261452910292797424782315290738682618886993009800460105819478705187244446291",
"error_in_last_place": "0.194787051872"
},
{
"family": "antiprism",
"n": 17,
"number": "30.85171686539086958588654389251840563322103762472652565618322224565502440493002134197568966741608109",
"quadrature": "30.8517168653908695858865438925184056332210376247265256561832222456550244049300213419756896674160810888852740164841224638",
"error_in_last_place": "0.111472598352"
},
{
"family": "antiprism",
"n": 18,
"number": "32.69990621740032937702371132870923042302148785493707538067294473737408781917685503558599903483333800",
"quadrature": "32.6999062174003293770237113287092304230214878549370753806729447373740878191768550355859990348333380046677070134682381174",
"error_in_last_place": "0.466770701347"
},
{
"family": "antiprism",
"n": 19,
"number": "34.54637169939548039929110143407412376448463544095341943595043139343396020122896824009084598325271180",
"quadrature": "34.5463716993954803992911014340741237644846354409534194359504313934339602012289682400908459832527118014685691299367590837",
"error_in_last_place": "0.146856912994"
},
{
"family": "antiprism",
"n": 20,
"number": "36.39137422041238372008174064323450980359551357406623988345899257631499089815163311048725831593308810",
"quadrature": "36.3913742204123837200817406432345098035955135740662398834589925763149908981516331104872583159330880970140020231104938652",
"error_in_last_place": "0.298599797689"
},
{
"family": "antiprism",
"n": 21,
"number": "38.23512447322396491738117803323386222647046539583537221030493536187997122338996697283681278982600637",
"quadrature": "38.2351244732239649173811780332338622264704653958353722103049353618799712233899669728368127898260063677447519034616250729",
"error_in_last_place": "0.225524809654"
},
{
"family": "antiprism",
"n": 22,
"number": "40.07779448030930313097291401931034948461963689509981504319442177213718025378693460613598559638068054",
"quadrature": "40.0777944803093031309729140193103494846196368950998150431944217721371802537869346061359855963806805426678141779722392149",
"error_in_last_place": "0.266781417797"
},
{
"family": "antiprism",
"n": 23,
"number": "41.91952608957905562513123424453542897486647848714852706533234399643394596758011349386561495580054543",
"quadrature": "41.9195260895790556251312342445354289748664784871485270653323439964339459675801134938656149558005454297340052271463731891",
"error_in_last_place": "0.0265994772854"
},
{
"family": "antiprism",
"n": 24,
"number": "43.76043732158301929214598688525859134226497745249624497848594989823136434826072136977730210781398154",
"quadrature": "43.7604373215830192921459868852585913422649774524962449784859498982313643482607213697773021078139815379562464912848484974",
"error_in_last_place": "0.204375350872"
},
{
"family": "antiprism",
"n": 25,
"number": "45.60062717724717368239364208061492253791778099527112827782787393590490620587538104481740799985221431",
"quadrature": "45.6006271772471736823936420806149225379177809952711282778278739359049062058753810448174079998522143093635419951933296616",
"error_in_last_place": "0.0636458004807"
},
{
"family": "antiprism",
"n": 26,
"number": "47.44017932533167801030787477029752623062807914217140320069564327343195632211603285354877399932954899",
"quadrature": "47.4401793253316780103078747702975262306280791421714032006956432734319563221160328535487739993295489944272119628023715109",
"error_in_last_place": "0.44272119628"
},
{
"family": "antiprism",
"n": 27,
"number": "49.27916496309821523700237892073638173490380627982251242903476158570827584435716223458113016985758348",
"quadrature": "49.2791649630982152370023789207363817349038062798225124290347615857082758443571622345811301698575834767217715897651521567",
"error_in_last_place": "0.327822841023"
},
{
"family": "antiprism",
"n": 28,
"number": "51.11764505888740666558129507525311039420711762761196928182854527504584234096323917617720941989196237",
"quadrature": "51.1176450588874066655812950752531103942071176276119692818285452750458423409632391761772094198919623736041872563641328663",
"error_in_last_place": "0.360418725636"
},
{
"family": "antiprism",
"n": 29,
"number": "52.95567212714060468503115693834464370940858327429206967961009401842587664088387742256052160312414659",
"quadrature": "52.95567212714060468503115693834464370940858327429206967961009401842587664088387742256052160312414659431619881900365319",
"error_in_last_place": "0.4316198819"
},
{
"family": "antiprism",
"n": 30,
"number": "54.79329164587333606675641168686672294655268055720360574008674033301458108471131157534537588676782960",
"quadrature": "54.7932916458733360667564116868667229465526805572036057400867403330145810847113115753453758867678295965403299038838290383",
"error_in_last_place": "0.345967009612"
},
{
"family": "lobell",
"n": 5,
"number": "4.306207600730808652919837159842209449241185235412934114224949117819904343308238335156704866571730974",
"quadrature": "4.30620760073080865291983715984220944924118523541293411422494911781990434330823833515670486657173097405767651954612864464",
"error_in_last_place": "0.0576765195461"
},
{
"family": "lobell",
"n": 6,
"number": "6.023046020047188823634189314616797115498029024722499424079908837981719280845647550840509397222871580",
"quadrature": "6.02304602004718882363418931461679711549802902472249942407990883798171928084564755084050939722287158049482135261878324785",
"error_in_last_place": "0.494821352619"
},
{
"family": "lobell",
"n": 7,
"number": "7.563249091443052227816922590217274093440690532148578248390116274626455382631151265493080298157058599",
"quadrature": "7.5632490914430522278169225902172740934406905321485782483901162746264553826311512654930802981570585990805844287008400531",
"error_in_last_place": "0.0805844287008"
},
{
"family": "lobell",
"n": 8,
"number": "9.019052727442401789887731416575456186092354352156748456638883781530984955745994714033369264243072644",
"quadrature": "9.01905272744240178988773141657545618609235435215674845663888378153098495574599471403336926424307264422258134640903327244",
"error_in_last_place": "0.222581346409"
},
{
"family": "lobell",
"n": 9,
"number": "10.42605221624301648292919669991531522383957555351901459132016404636694673217311713794756363136786380",
"quadrature": "10.426052216243016482929196699915315223839575553519014591320164046366946732173117137947563631367863803984071348028339157",
"error_in_last_place": "0.398407134803"
},
{
"family": "lobell",
"n": 10,
"number": "11.80174745427738409296940496910500034028824695422865147629693202118729980294240346277382884048447031",
"quadrature": "11.801747454277384092969404969105000340288246954228651476296932021187299802942403462773828840484470313784392853649944594",
"error_in_last_place": "0.378439285365"
},
{
"family": "lobell",
"n": 11,
"number": "13.15596623173094178122681290005315309453637655997179838782230484455986079451781429056800504441634218",
"quadrature": "13.1559662317309417812268129000531530945363765599717983878223048445598607945178142905680050444163421846763657255901834232",
"error_in_last_place": "0.467636572559"
},
{
"family": "lobell",
"n": 12,
"number": "14.49472769512293639543857869232161955127343018070328053079440343172031821755453827286344587987849402",
"quadrature": "14.4947276951229363954385786923216195512734301807032805307944034317203182175545382728634458798784940223070146652369015129",
"error_in_last_place": "0.230701466524"
},
{
"family": "lobell",
"n": 13,
"number": "15.82195377019068805449868598441621208041084634154657895320054809490605305937781856520775031379621373",
"quadrature": "15.8219537701906880544986859844162120804108463415465789532005480949060530593778185652077503137962137268268043218281817428",
"error_in_last_place": "0.317319567817"
},
{
"family": "lobell",
"n": 14,
"number": "17.14032239820113033891574992067580781949374356849701787270568761867662506839341638638986699888304692",
"quadrature": "17.1403223982011303389157499206758078194937435684970178727056876186766250683934163863898669988830469160337294417498749618",
"error_in_last_place": "0.396627055825"
},
{
"family": "lobell",
"n": 15,
"number": "18.45173080431920535782739397700514009894770558297703250413333027636516903077689625536980415230531099",
"quadrature": "18.4517308043192053578273939770051400989477055829770325041333302763651690307768962553698041523053109942567836795895774874",
"error_in_last_place": "0.425678367959"
},
{
"family": "lobell",
"n": 16,
"number": "19.75756392713212042941632483338725934604330123959558448673781884806787147792507740398256992208464554",
"quadrature": "19.7575639271321204294163248333872593460433012395955844867378188480678714779250774039825699220846455410394297516215663488",
"error_in_last_place": "0.103942975162"
},
{
"family": "lobell",
"n": 17,
"number": "21.05885816792124400680902290320703462983763941278863415883583400454285328388081815788451774644271516",
"quadrature": "21.0588581679212440068090229032070346298376394127886341588358340045428532838808181578845177464427151633842953898550168954",
"error_in_last_place": "0.338429538986"
},
{
"family": "lobell",
"n": 18,
"number": "22.35640555826288467996424435975231277526649047833855162504835825966557672261696771259338736292568739",
"quadrature": "22.3564055582628846799642443597523127752664904783385516250483582596655767226169677125933873629256873922279570686641779128",
"error_in_last_place": "0.222795706866"
},
{
"family": "lobell",
"n": 19,
"number": "23.65082237877387000828485034134060715285913848203490087381229885753855092657806522469933304247873216",
"quadrature": "23.650822378773870008284850341340607152859138482034900873812298857538550926578065224699333042478732155009555177237466123",
"error_in_last_place": "0.499044482276"
},
{
"family": "lobell",
"n": 20,
"number": "24.94259571737793831091575859496215925120461150416652970429353497744061828594944463087736776205572639",
"quadrature": "24.9425957173779383109157585949621592512046115041665297042935349774406182859494446308773677620557263895712397702796335298",
"error_in_last_place": "0.042876022972"
},
{
"family": "lobell",
"n": 21,
"number": "26.23211587287366904531569647466943331169410929374299554233137029132150641716923077749723110527865263",
"quadrature": "26.2321158728736690453156964746694333116941092937429955423313702913215064171692307774972311052786526317958441210136256164",
"error_in_last_place": "0.179584412101"
},
{
"family": "lobell",
"n": 22,
"number": "27.51969941160361946852660645654963994543618902558213982186659640705300231796624317524873696250495388",
"quadrature": "27.5196994116036194685266064565496399454361890255821398218665964070530023179662431752487369625049538763417092677053890148",
"error_in_last_place": "0.365829073229"
},
{
"family": "lobell",
"n": 23,
"number": "28.80560589551361491571540150905931426104864569980030173653535355848573611152083275730019057013626935",
"quadrature": "28.8056058955136149157154015090593142610486456998003017365353535584857361115208327573001905701362693547406204360806462935",
"error_in_last_place": "0.474062043608"
},
{
"family": "lobell",
"n": 24,
"number": "30.09005022976959574106106456993627437938653609785888393540713023173799122461446130606541269926131863",
"quadrature": "30.0900502297695957410610645699362743793865360978588839354071302317379912246144613060654126992613186309324907413219846221",
"error_in_last_place": "0.0932490741322"
},
{
"family": "lobell",
"n": 25,
"number": "31.37321191850647918576048278630373062017967447289425676775027638537679565612656816595610341139682841",
"quadrature": "31.3732119185064791857604827863037306201796744728942567677502763853767956561265681659561034113968284065815039792613923071",
"error_in_last_place": "0.341849602074"
},
{
"family": "lobell",
"n": 26,
"number": "32.65524209972738472880017151284878905110825253370775374818806772523541156061542443483585244093418626",
"quadrature": "32.6552420997273847288001715128487890511082525337077537481880677252354115606154244348358524409341862566531594908170687497",
"error_in_last_place": "0.334684050918"
},
{
"family": "lobell",
"n": 27,
"number": "33.93626895968344892094484797679226914452611283690812407989966993366182201284339266459574710159921933",
"quadrature": "33.9362689596834489209448479767922691445261128369081240798996699336618220128433926645957471015992193334697477635614681032",
"error_in_last_place": "0.346974776356"
},
{
"family": "lobell",
"n": 28,
"number": "35.21640194781134289471072603236596928588805688679038218867998332772323512506164783525756540754134307",
"quadrature": "35.2164019478113428947107260323659692858880568867903821886799833277232351250616478352575654075413430705530339662345455543",
"error_in_last_place": "0.0553033966235"
},
{
"family": "lobell",
"n": 29,
"number": "36.49573509230170680950015472225094332294156061156154315640083163754217271685688263359034860461595340",
"quadrature": "36.4957350923017068095001547222509433229415606115615431564008316375421727168568826335903486046159533988803801244054000429",
"error_in_last_place": "0.111961987559"
},
{
"family": "lobell",
"n": 30,
"number": "37.77434963325451608402110959581686398450184404441718190807338623172884616544695855606808929285915089",
"quadrature": "37.7743496332545160840211095958168639845018440444171819080733862317288461654469585560680892928591508855196535566454751067",
"error_in_last_place": "0.448034644335"
}
],
"skill_manifest": "agents/runs/20261029T190406Z-repair-skills/manifest.json",
"skill_sha256_local_and_live": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"mpmath_version": "1.4.1",
"program_entries_checked": 54,
"source_files": {
"generate.py": "141c15756612c44072b568205441f961c8eaf52eb67edc531da84c60f25190fb",
"checks.py": "3670696a74e91d4db62e2fec5f576a2800436d6726c9b40a85fbc7ff82f4643f"
}
}