back to table · edit · history · where entries came from · files · download
37102 bytes, as of the version from 2026-11-11 00:55 (current). Recorded here, not run.
{
"table": "T712",
"constraint_and_constructive_checks": [
{
"N": 2,
"all_distance": "[0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851897942931426631447976424186944296732924836492403806927242917162856480969296137610833 +/- 9.33e-192]",
"unrestricted_distance": "[0.2899645737422027318112005834160466112054138711256138547460910874719743025925830812276884334308104722702273754850946764113586408195597582671154157334867921538964757528120244711133801151696417 +/- 5.72e-191]",
"penalty": "[0.0168882456978519587715672951257768207190859945141308911332289030346320754377222031664482395727708401877711434943346378549558389446821111758519135148781318841727966763596040936963128462064666 +/- 1.61e-191]",
"B_error": "[0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851897942931426631447976424186944296732924836492403806927242917162856480969296137610833 +/- 9.40e-192]",
"V_error": "[0.48013961458004101793707590890636757394337489922980855940948999287995478352272896329560250475268598434349888923457198569973585982318140208222549693627369302855195432187872142360726972103208125 +/- 6.74e-192]"
},
{
"N": 3,
"all_distance": "[0.095747783927754026614308119340147090031056908828728679807033115260361407892335937461141897932715513312174260458203317670933410334571946831585185173758749868792768899341391201436213504895842 +/- 3.19e-190]",
"unrestricted_distance": "[0.093837228496983291904282806530643917291327702892689911459707870177026851685007091888159634793125774836165704729207977896485020588920547282151106462425414751646888395998200819827276994685783 +/- 3.34e-190]",
"penalty": "[0.0019105554307707347100253128095031727397292059360387683473252450833345562073288455729822631395897384760085557289953397744483897456513995494340787113333351171458805033431903816089365102100591 +/- 6.62e-191]",
"B_error": "[0.0986102916344317871483610959942854987482357649310636796436851803702472259213356084590989824944472637034515188581012307382876057610692353680290688365336461889619915632458683649088063602890833 +/- 5.98e-191]",
"V_error": "[0.1373075776575155993042772713373314035243770115705757481797260240505785862665167282646451650866317934747340171333196181535219872473001666657886456254629099023067785344920876351216062143943279 +/- 4.74e-191]"
},
{
"N": 4,
"all_distance": "[0.065951694215569653558959079419925720447400515855570432881118352349266888023626165736918783621487265041165593780323081769922455665300569748126035524708854886958369347627205782033145940477531 +/- 7.46e-190]",
"unrestricted_distance": "[0.06512886865990024957106136367286123661983130106485852754299938606864298358168647498509067698519936980927769025986003712736614189475141485408693444479649849494038448711428155256332242782037 +/- 3.79e-189]",
"penalty": "[0.000822825555669403987897715747064483827569214790711905338118966280623904441939690751828106636287895231887903520463044642556313770549154894039101079912356392017984860512924229469823512657159 +/- 3.66e-190]",
"B_error": "[0.0676142171144381476822511184403321127319816343827243508772756818300415930447192667301693834892989517666572180623604902794736608055271511875824991629702743412920973694485985044162045146080454 +/- 3.59e-191]",
"V_error": "[0.1373075776575155993042772713373314035243770115705757481797260240505785862665167282646451650866317934747340171333196181535219872473001666657886456254629099023067785344920876351216062143943279 +/- 4.74e-191]"
},
{
"N": 5,
"all_distance": "[0.03631901793818696047422749135750981806394372955267061218407079962615681432293049088908527008490912538960568056609209178771325721423562840997374294739082593370235157454637027212251758231752 +/- 6.01e-189]",
"unrestricted_distance": "[0.03610159981860540420305303010822015165921677941505960525443380905202876269110630866830567669415876809540646657171295592039869470492269719164050281084605618104836462170628786597286234139800 +/- 7.46e-189]",
"penalty": "[0.000217418119581556271174461249289666404726950137611006929636990574128051631824182220779593390750357294199213994379135867314562509312931218333240136544769752653986952840082406149655240919521 +/- 2.01e-190]",
"B_error": "[0.0411893358369543393996411916159887752677722043639801999451216095607012499239586020558237391925368085141654681883917815700260537906694957086137360785459847792889305362197286429510531708542593 +/- 5.67e-191]",
"V_error": "[0.0462268860439513304221505678629243912439471321093476123596507877396486452052415227207037951363722279058486835847996718696876412629615536162365923959862234055970250228734402722157776192047848 +/- 6.84e-191]"
},
{
"N": 6,
"all_distance": "[0.03620803463690562840174885320818928103914413705003535930779895059951197730732720218861993677195206902703435395783430630390322162756359657643751815464473409341952408718107143207928110604156 +/- 5.73e-189]",
"unrestricted_distance": "[0.03598631735357441684874565496739849150057560940236395331290812101523038161195715521196725479248227634403994961666870021580839364988934668852427034404624759594397422687946676235069544879535 +/- 9.69e-189]",
"penalty": "[0.000221717283331211553003198240790789538568527647671405994890829584281595695370046976652681979469792682994404341165606088094827977674249887913247810598486497475549860301604669728585657246210 +/- 4.45e-190]",
"B_error": "[0.0415801274895699783148240476284826504022811936753377802589524843219029943441458606615460025116094464841598993180176211462002503227215536870149021305039847005660750267092483416802133689300753 +/- 7.24e-191]",
"V_error": "[0.1280286228185727184635076894478671238123314891696383522920216454601534017141341609538282491212089908933752492874113633866598013726288791451110619953586881581213961624313167370903975108860214 +/- 9.20e-191]"
},
{
"N": 7,
"all_distance": "[0.0243883678852440064461416602842486609310352521864107904804374636374076255439949587856864867396478523286090954482327669940531188500560597134695255720864210050573559073099113370257714501269 +/- 4.27e-188]",
"unrestricted_distance": "[0.0243021005434767198841042874285092942927515877816448574878874176316058687710851547197553125830894836930262594710118965441883116839441705842084456318002990295257937433501646734744132873514 +/- 3.49e-188]",
"penalty": "[8.6267341767286562037372855739366638283664404765932992550046005801756772909804065931174156558368635582835977220870449864807166111889129261079940286121975531562163959746663551358162775514e-5 +/- 4.61e-190]",
"B_error": "[0.035807750136387971826815939638549031830269469450232556930511483585129768988809909832130501379104840718076811118446221401272648004021770566930261600797779651578805485991896895324106926818744 +/- 3.10e-190]",
"V_error": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369010502104434209181605181679125928369452192241538978059 +/- 8.56e-191]"
},
{
"N": 8,
"all_distance": "[0.0242445253065226731482058331679112049952779363810556615116688736081121958086505124955571386730506564401588538538955931852963345825164960733689398252818812435251361079031926500729743608761 +/- 3.85e-188]",
"unrestricted_distance": "[0.0241614215858966850228089430108513374467654838312955067027523796078352370914225362433020138498221499031333469521622788871558552759046601230575954910197668097437013982435549914622147170448 +/- 6.10e-188]",
"penalty": "[8.3103720625988125396890157059867548512452549760154808916494000276958717227976252255124823228506537025506901733314298140479306611835950311344334262114433781434709659637658610759643831286e-5 +/- 4.57e-190]",
"B_error": "[0.0368774113193706386991569278210428561229883980973674133492326746136578383498509034832317674717333667955501828615343888941713157461440773685363151616952446191806262851814503469521561468035249 +/- 9.16e-191]",
"V_error": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369010502104434209181605181679125928369452192241538978059 +/- 8.56e-191]"
},
{
"N": 9,
"all_distance": "[0.0240950788187123215875127019881440175172127167485483075107617339330571987590996068798280145176632024364630920448146904135314985972287740048349221870515350311883399295963617928767749396124 +/- 4.66e-188]",
"unrestricted_distance": "[0.0240149507827900461767123426473863589365107598679228698864243595174968615808067997331220238905988329029136322419784590105035523155285163201025741603868240259456424880007208443724964988724 +/- 7.81e-188]",
"penalty": "[8.012803592227541080035934075765858070195688062543762433737441556033717829280714670599062706436953354945980283623140302794628170025768473234802666471100524269744159564094850427844073998e-5 +/- 1.15e-189]",
"B_error": "[0.0369783190980180789131775688236978812763612586294149573707326447888554867471931700739787624092448460831870670414480093445515392315822726119484762650119656642662689388886790617593916715927987 +/- 9.17e-191]",
"V_error": "[0.0371655880537716566512719269549575890504338121456233209983655787480874485283980342784675122669119448560350662719454877444152056820178369010502104434209181605181679125928369452192241538978059 +/- 8.56e-191]"
},
{
"N": 10,
"all_distance": "[0.023852553318882999415706812070545957621063802298509264671341338072017695896452608949917063996032577230770838516619085780963380096705117272643994115375847982403078388337452174686795319062 +/- 3.09e-187]",
"unrestricted_distance": "[0.023771865556039573749669750409577892095417848860129345837575128022229572413104436002564394110177503385281719419076680961731046963795038578964538024921777738645322863044541426970235945533 +/- 5.84e-187]",
"penalty": "[8.068776284342566603706166096806552564595343837991883376621004978812348334817294735266988585507384548911909754240481923233313291007869367945609045407024375775552529291074771655937352832e-5 +/- 1.67e-189]",
"B_error": "[0.036035404056488125920232080699106651899271363105681877419974209191357383743428214697044469881009186627518386964033617363576831411888671107706722356823639371982402055918793767039523088805668 +/- 4.16e-190]",
"V_error": "[0.109230082248476313634062362534060553009386040084207430392380334747504747658183588296989412577684464170356351254690245856317694665305014512407059099518605957360542614198958365980198852274417 +/- 1.35e-190]"
},
{
"N": 11,
"all_distance": "[0.020499601347023815951543894169263538639683308162615338595179525362812010459529548957663441099939220006288066076102901682881576617770866392359704641619177345126971302699334820227693181782 +/- 5.38e-187]",
"unrestricted_distance": "[0.020444444564845090948027493138933380199871542875033802443955623094715386375462881089322799711499232839418968134043760395999974727756007474350329737380852605719562950775533919284318741057 +/- 6.56e-187]",
"penalty": "[5.515678217872500351640103033015843981176528758153615122390226809662408406666786834064138843998716686909794205914128688160189001485891800937490423832473940740835192380090094337444072507e-5 +/- 3.85e-189]",
"B_error": "[0.034106974645603558584035834123669014123349261946872761601799732771132915478504827541910565564122777115242335352351028908617760180036634249876725413040326859724263019659543560020877523058330 +/- 3.80e-190]",
"V_error": "[0.034158571735646662985474935320220290235110184166421169670177656827872128866336594750738736416086633522651947669451051979098057107374313282840929572247196392310961080796434221517209708093772 +/- 4.21e-190]"
},
{
"N": 12,
"all_distance": "[0.020498147332894166438424763166313181679344034667846636083100664497239055056610951993456930660485313525349921822219468585270682624461311086599391522296567175419294028258552672713619533235 +/- 5.36e-187]",
"unrestricted_distance": "[0.020443063207542499361777638257504270856653545726022147811279574254393490250491141512516677120564902700356781366841655663682753684961648309110981440841071549898190980884101714443895999652 +/- 7.49e-187]",
"penalty": "[5.508412535166707664712490880891082269048894182448827182109024284556480611981048094025353992041082499314045537781292158792893949966277748841008145549562552110304737445095826972353358320e-5 +/- 6.58e-189]",
"B_error": "[0.034165513882794201633642092444817241281348414842764108324243672662017236002736382677424340504131524558269105655799562636349826358907129888373695645736340876022450332371721858712495158251293 +/- 5.75e-190]",
"V_error": "[0.034158571735646662985474935320220290235110184166421169670177656827872128866336594750738736416086633522651947669451051979098057107374313282840929572247196392310961080796434221517209708093772 +/- 4.21e-190]"
},
{
"N": 13,
"all_distance": "[0.01987424304169146636827677955326208038483065180699386110004272915878576079473304409147449822259776353943642964699537601045472398449010615691350957986745170219679111974852925238853964425 +/- 2.73e-186]",
"unrestricted_distance": "[0.01982440645628308113229460064086909127595718536279239003135111991873682445078596578948033760955034980479503324962900604416248805371940169216372914725696252975629132788828426783218635561 +/- 5.88e-186]",
"penalty": "[4.983658540838523598217891239298910887346644420147106869160924004893634394707830199416061304741373464139639736636996629223593077070446474978043261048917244049979186024498455635328864301e-5 +/- 8.49e-189]",
"B_error": "[0.034164701564646012014665947264413619357767784333252860402345804504011663638526247585145076916726493160860141111229761530486889708758153935408260778599527530905747190598131529077801068444979 +/- 5.67e-190]",
"V_error": "[0.109250515361919732443730977796190628586375001616330088173243533238380147225177123653852962185135617498050349150121605955496455450964655265787647040254572314039781577187131281665418062737529 +/- 6.36e-190]"
},
{
"N": 14,
"all_distance": "[0.01853181414232141132748004914517563752667099301475807475985200204955120981175572691752761933268245006291191963165415076248322672578677956700842896311898147790495255362960587811612751986 +/- 5.70e-186]",
"unrestricted_distance": "[0.01848642561827221155670274954947651251467766519139312974188583140351366534305110896156914850404733938303660244708755248377193197088269212699578721833379020224052480899601168813021013647 +/- 3.60e-186]",
"penalty": "[4.53885240491997707772995956991250119933278233649450179661706460375444687046179559584708286351106798753171845665982787112947549040874400126417447851912756644277446335941899859173833875e-5 +/- 3.52e-188]",
"B_error": "[0.033017485218980864648292034384890972734835986596197258271359103362378264557217269472698372629040050254075702652309676429950004443206609122731027306870110992522523579838148537722948146170704 +/- 5.18e-190]",
"V_error": "[0.032935408022138473497161680994444293025260594168683086095044530827898208254394761112248115484010753724151140444385609348920787758877021112787131667135409225389265519513163016133350964892756 +/- 3.14e-190]"
},
{
"N": 15,
"all_distance": "[0.0183802148374724340781842866001772475649307480627934078681154428088963766709514414682294785162435248093788284939498804204595459368271343248269150409009210012988342696336221732569845856 +/- 4.24e-185]",
"unrestricted_distance": "[0.01833503460075522518174374009253289544138590559940849793946972092683370770254022318894407055509198274039433150682555177289585381278476377207756946079738849709839046841328927357713502901 +/- 8.00e-186]",
"penalty": "[4.51802367172088964405465076443521235448424633849099286457218820626689684112182792854079611515420689844969871243286475636921240423705527493455801035325042004438012203328996798495566249e-5 +/- 9.03e-188]",
"B_error": "[0.032755511953244419409882062232501165762753492878044303871779468967429165213374200342027227181221563027980997029168062832218251242287744289270990079573701280845949764879744195880619088845825 +/- 6.84e-190]",
"V_error": "[0.092394788262189465277795102504698325455571508796443173532077123931686638251220950217987738986182458458581884947776484428176057287141385624163426881376382359317897255996643502684748893125998 +/- 5.18e-190]"
},
{
"N": 16,
"all_distance": "[0.0179362670202025498600038498580245322036756160239007675049793119275104963634764174515683586998254601626834791841896451803481257026955046010583213830853152260513160979590271898462968465 +/- 2.96e-185]",
"unrestricted_distance": "[0.0178940234769694350990550631479587612774546418016098780484402590387358152205002728501383489288195745507809359322766629913912485905762643814529022671895132402342676991206107911005595367 +/- 4.40e-185]",
"penalty": "[4.2243543233114760948786710065770926220974222290889456539052888774681142976144601430009771005885611902543251912982188956877112119240219605419115895801985817048398838416398745737309758e-5 +/- 1.71e-187]",
"B_error": "[0.037177485741487752560977245584607446933575448443221508013189957389373255758006393952807123157020260503905744821441092663136127608618139048054182375567665636505928932984946897590688362456343 +/- 6.63e-190]",
"V_error": "[0.092394788262189465277795102504698325455571508796443173532077123931686638251220950217987738986182458458581884947776484428176057287141385624163426881376382359317897255996643502684748893125998 +/- 5.18e-190]"
},
{
"N": 17,
"all_distance": "[0.0171066463921753461961628721165535600012426253505071937549094763725614752697855616691570168137565326101229705301986097174624711208562380614039866517037728327974691582714486376211607945 +/- 6.24e-185]",
"unrestricted_distance": "[0.0170692384433357574300558670903072902873793626222222620830498221766252756672413160614243841803803891025283767934712602999139851370555877519126275176711337270195198592431459988496557292 +/- 9.04e-185]",
"penalty": "[3.7407948839588766107005026246269713863262728284931671859654195936199602544245607732632633376143507594593736727349417548485983800650309491359134032639105777949299028302638771505065228e-5 +/- 5.71e-187]",
"B_error": "[0.037587242989870554278124836643273407244685285855276819201018253516537560734638426913945056089007526026650915891106653001997983636235831870043099836275863226362680965350233776346652326224046 +/- 8.30e-190]",
"V_error": "[0.037334580030969102172546799322454597804353115578014408795477962905258428943019884511694634723343283453391982384001534741664662553368594282730832011423673200308404441624747580373686384888700 +/- 7.05e-190]"
},
{
"N": 18,
"all_distance": "[0.0170965351122530664985656860718510082794737400931693800544930413225940739086026132643738153692065764285210613469351299885196123788598356054613570866192157743686425967515855489457098564 +/- 7.61e-185]",
"unrestricted_distance": "[0.017059235395657519882236066256882323096289644545134767181639862706305210667937100088238074431834745828777120775860405597512057585817748774774480531922336063586782534574485164323736986 +/- 1.30e-184]",
"penalty": "[3.7299716595546616329619814968685183184095548034612872853178616288863240665513176135740937371830599743940571074724391007554793042086830686876554696879710781860062177100384621972870459e-5 +/- 6.57e-187]",
"B_error": "[0.037359119288623648105272126350266188194519280981016595355125722448348337155759457496175744005674983216829005240469700782294105749208206449692183014635817688135486557871266972725182042788295 +/- 7.80e-190]",
"V_error": "[0.037334580030969102172546799322454597804353115578014408795477962905258428943019884511694634723343283453391982384001534741664662553368594282730832011423673200308404441624747580373686384888700 +/- 7.05e-190]"
},
{
"N": 19,
"all_distance": "[0.016853065152000066688732066760172693817187170744711404825710951598121194769908441738570001021905558480755396544828163610465682485038655339623030784008433941126952947564414449787515067 +/- 3.24e-184]",
"unrestricted_distance": "[0.016817318000698443736850851103445599287046286893187147127145095935839075282457877994145792227514164575108991349359964742930528005821227915882068564941099597564336354584623573632497913 +/- 1.87e-184]",
"penalty": "[3.574715130162295188121565672709453014088385152425769856585566228211948745056374442420879439139390564640519546819886753515447921742742374096221906733434356261659297979087615501715418e-5 +/- 3.06e-186]",
"B_error": "[0.037294132448295678952558438074613145343449282780650256781175933279680501229001010714632118855208141411955927293986783776080481468298937676320467433070437074847892147368088490970038474124442 +/- 6.19e-190]",
"V_error": "[0.089591638177396405227601332576702863292512000702336136927057433361649753110043749776683988380448197089872568269771898201760112856464145285374987278915372369474049367037822613595670570442869 +/- 7.50e-190]"
},
{
"N": 20,
"all_distance": "[0.016538252109392515609058344894283956195126179039622454184994501489390095574936409390558235797457747097918008173632431686113373730063171903548691986039224728162738919141238909177957479 +/- 7.18e-184]",
"unrestricted_distance": "[0.016503583071030188389732568235493614158721567020856235252494867331152954457073420828992993518491261112652054983586084531517869461551428800136914868105305026037586940365031635596585021 +/- 5.47e-184]",
"penalty": "[3.466903836232721932577665879034203640461201876621893249963415823714111786298856156524227896648598526595319004634715459550426851174310341177711793391970212515197877620727358137245819e-5 +/- 3.56e-186]",
"B_error": "[0.042880328093753549352682247946893042614791484702383887554376914374032269344730317957480063868109175240414663345893918754792716454667807162696390313091777276365129591792015237331322899433353 +/- 5.95e-190]",
"V_error": "[0.089591638177396405227601332576702863292512000702336136927057433361649753110043749776683988380448197089872568269771898201760112856464145285374987278915372369474049367037822613595670570442869 +/- 7.50e-190]"
},
{
"N": 21,
"all_distance": "[0.01612418792278515852854417503616027932910458645421428332622845593774861190033158076217079252212833755876087553950329261584685678707979870623010050988564412991569128978490348285448537 +/- 3.37e-183]",
"unrestricted_distance": "[0.01609075635431805715379443648408456507487617994469552993017915914551795141842515964826587284190522329487894383695610766793871403631488100418402974295363964626472168712681723500109754 +/- 2.93e-183]",
"penalty": "[3.343156846710137474973855207571425422840650951875339604929679223066048190642111390491968022311426388193170254718494790814275076491770204607076693200448365096960265808624785338782951e-5 +/- 6.23e-186]",
"B_error": "[0.04000460049440525392593337071134730119776251998684108003170640091711314943950952760252313878427292838963349762092798460111285695751051444527496643590432330671403229826661483472144261066423 +/- 1.10e-189]",
"V_error": "[0.039726814257849124711121396803850852872230767917158537439615032208177382346088903014586981923079723356440202586146472958717448757228700513316702681937848995422506560901606045300493769552989 +/- 8.62e-190]"
},
{
"N": 22,
"all_distance": "[0.01609082660923739795124163494223065991387058371202483893158781083123430433105158788854286614726477774443928354328961160162059164379677520704700854333083740984346238741497245561392171 +/- 5.47e-183]",
"unrestricted_distance": "[0.01605738248915308017497450614911479615798657368893086753604863639410924827209866932902275956169450317905662574132909031809925604555635863292366626522408749995596939801831016634306176 +/- 5.10e-183]",
"penalty": "[3.34441200843177762671287931158637558840100230939713955391744371250560589529185595201065855702745653826578019605212835213355982404165741233422781067499098874929893966622892708599495e-5 +/- 3.99e-185]",
"B_error": "[0.039609209104532125665001600898217751889826694760441228409556033353404329644330765211971773047290270379899673393295318858091686044697766607018654574820925637757774394475973998079963836642191 +/- 7.08e-190]",
"V_error": "[0.083498704597117446836345906728543968265486309762851455549212235019310600829596374761092075802621770793179172353169341656623507693250604649801235039768943777311436907209343143967034359270678 +/- 8.39e-190]"
},
{
"N": 23,
"all_distance": "[0.0155781567813452797138067513733022791981331418191034599011415839966930614635153553268925119509728542160084686374472492807048530992038490216239567686928457487031175544928160794243233 +/- 2.21e-182]",
"unrestricted_distance": "[0.0155472996288219392578125389511119611583395467070666047726361616532372070857769994067495352965831263798171124102154969334824794826935239910248426823802011672779426569975428057888076 +/- 5.26e-182]",
"penalty": "[3.08571525233404559942124221903180397935951120368551285054223434558543777383559201429766543897278361913562272317523472223736165103250305991140863126445814251748974952732736355157618e-5 +/- 4.45e-185]",
"B_error": "[0.04059605026878643498154897311885255507117159497932890205444679851396722391330345154134597886540161022044460235590371388188571481482179695803927736058915706821620919749669132690108019443052 +/- 4.20e-189]",
"V_error": "[0.04067165667911617938666281352149133901397091329104595825570281061600910073397401532320865296509543281124788211313536049131054578333803651261846387383068082143529796804019340572240220227958 +/- 1.17e-189]"
},
{
"N": 24,
"all_distance": "[0.0155777779923606893033659745440938880731503163486732588764036132900859827991872288668604478198913421161187449292586070474395392243584958234428729725642182824641989454246194415062402 +/- 3.65e-182]",
"unrestricted_distance": "[0.0155469148884146202375647528190310704347077386807608396579997227304299089376598344204968131316910467419062549606505822462730571741240466703602394617757438493653259973807644329606493 +/- 2.70e-182]",
"penalty": "[3.08631039460690658012217250628176384425776679124192184038905596560738615273944463636346882002953742124899686080248011664820502344491530826335107884744330988729480438550085455909405e-5 +/- 8.08e-185]",
"B_error": "[0.040649677314881414303865593351054566153175041111205028811376301884446724841974578004361933849484401267786420659535057605907568475096228301947432453453113306003307951686487901335818912204378 +/- 6.83e-190]",
"V_error": "[0.04067165667911617938666281352149133901397091329104595825570281061600910073397401532320865296509543281124788211313536049131054578333803651261846387383068082143529796804019340572240220227958 +/- 1.17e-189]"
},
{
"N": 25,
"all_distance": "[0.0155508422529985425254762083417130907370925801814845453835567215450152918665255484952805989130553082834045546080266184229977627205082202202321069173673460590268795117274532390097332 +/- 2.77e-182]",
"unrestricted_distance": "[0.0155200093007148585293908899539322685368550840638766310915348129699042629852802606826057539303576056415754386733073127950207240897174282459384174741805567817041599675005357896991077 +/- 5.33e-182]",
"penalty": "[3.0832952283683996085318387780822200237496117607914292021908575111028881245287812674844982697702641829115934719305627977038630790791974293689443186789277322719544226917449310625525e-5 +/- 2.25e-184]",
"B_error": "[0.04059685836545419980130417730818349813835577069158232907804814962574243958722920510124983001744196389690359994491433957321337353183102402592248035980120934445739545727121225203571244767489 +/- 3.12e-189]",
"V_error": "[0.04067165667911617938666281352149133901397091329104595825570281061600910073397401532320865296509543281124788211313536049131054578333803651261846387383068082143529796804019340572240220227958 +/- 1.17e-189]"
},
{
"N": 26,
"all_distance": "[0.0154539835955979647891473956984428612858800342435972189153017958083977748550318101978492070267019170589306325823078803323577052821986103460619783063582941934096514522529323399376821 +/- 7.99e-182]",
"unrestricted_distance": "[0.0154234090124989664584824625843101819751160393778584198624013111762980552809116844054892339484879326829816601840741493337490501324308739565984687443421565160295300042297526399339465 +/- 6.32e-182]",
"penalty": "[3.0574583098998330664933114132679310763994865738799052900484632099719574120125792359973078213984375948972398233730998608655149767736389463509562016137677380121448023179700003735574e-5 +/- 5.86e-184]",
"B_error": "[0.040535816901086164543362479533801039688830937896993180366726353676760486151446232171639924569962523193269099688258497431120491541865641814249411100095306382209719355223639423109057673759000 +/- 9.72e-190]",
"V_error": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658221592930781974428273792220975084779035651643279712524 +/- 7.73e-190]"
},
{
"N": 27,
"all_distance": "[0.015344016508113666950877345343666228886033393720602052340723810560782743033400740862209967876202109350623148978168741570529399727846684520658971148362238804024448262837501319809364 +/- 4.47e-181]",
"unrestricted_distance": "[0.015313964627527320409576489973937554980638338446812840289783674602597088958520927771449409810423251310342010504122575955228626551414610043737671828804683259379463485501512685905734 +/- 4.13e-181]",
"penalty": "[3.005188058634654130085536972867390539505527378921205094013595818565407487981309076055806577885804028113847404616561530077317643207447692129931955755554464498477733598863390363004e-5 +/- 2.79e-183]",
"B_error": "[0.03971052679293734112417654213190254035643033562255428280158797070315904062155698986819984483681845502727267179218690397247573197017329253575960986132307099373785739185080967974616067779858 +/- 3.58e-189]",
"V_error": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658221592930781974428273792220975084779035651643279712524 +/- 7.73e-190]"
},
{
"N": 28,
"all_distance": "[0.015244212674340238557667583644035494738743372305441869335561013015523766573917879127983730550368007077197492216104957158796905888752796158800680464558897262871614669552673034808570 +/- 6.67e-181]",
"unrestricted_distance": "[0.015214590975263160096162248105585855306904426864763066075425882187456196251861259692537715568619948000053786640752146396660623718041251109079727561837136304052798539279014383987143 +/- 7.51e-181]",
"penalty": "[2.962169907707846150533553844963943183894544067880326013513082806757032205661943544601498174805907714370557535281076213628217071154504972095290272176095881881613027365865082142759e-5 +/- 7.29e-183]",
"B_error": "[0.03824744931341884803893626966848689110732032226590222377534757680117648294096832701462000795495574658711029200537892494767439876399568951464198138613613259690185263644176085519304421618323 +/- 2.16e-189]",
"V_error": "[0.076952769654964549280485084110876317134702194930867084420397038144113303839608753447266980605064978515825191630627536612800222229629658221592930781974428273792220975084779035651643279712524 +/- 7.73e-190]"
},
{
"N": 29,
"all_distance": "[0.01473027365781969595962710004576530143721970773910463012784376381338254041404402063766006801780834896060923093727475828117578572466859613539981918178954713818632917959761324072412 +/- 2.47e-180]",
"unrestricted_distance": "[0.01470294702816850426377278073913782395748213499193156846842538305504515234069533257305889549743431314211350820578772415722552600398828219031981013770409144834110307577848073326939 +/- 5.52e-180]",
"penalty": "[2.73266296511916958543193066274774797375727471730616594183807583373880733486880646011725203740358184957227314870341239502597206803139450800090440854556898452261038191325074547330e-5 +/- 2.26e-182]",
"B_error": "[0.037178984401962803439988176218155328900412539540300198373118639451557467449729334192477351588353381838566049390391770867458551670936973718635281440392533507515159306978605187597936853320171 +/- 8.97e-190]",
"V_error": "[0.037051536743213877943069866535819347453191561519276080811255981027470102482805381250686804691395126355274350414010319676532154321542557569065720993870152806357392326571562471193187769315174 +/- 9.33e-190]"
},
{
"N": 30,
"all_distance": "[0.01455673357699699235093427994055474259423083111169116665925499587990921828459497396059067527146661572955766720557184360772130828951665606438483220807718036037981824020823063542383 +/- 4.50e-180]",
"unrestricted_distance": "[0.01453011047413725086961718433983317483868908161988556986833859859378759561653672714763647553675586065062961059539715054184251603018586339572853612973781614833650860705542743164696 +/- 8.44e-180]",
"penalty": "[2.66231028597414813170956007215677555417494918055967909163972861216226680582468129541997347107550789280566101746930658787922593307926686562960783393642120433096331528032037768752e-5 +/- 5.55e-182]",
"B_error": "[0.03671232407933205279776151113046798978237221968602425722789299779934563710742693021954403989242519835018796084545697246488760578641931228154108292371581861333449414350876190971215138855232 +/- 1.05e-189]",
"V_error": "[0.06703417596559116325039735345863626959410643566727790594376474069976101512889853465611734573984466984298117711551461501370707976901105858874862316567144240008163111618193903154123084244074 +/- 2.26e-189]"
}
],
"finite_residual_checks": [
{
"support": "all",
"N": 2,
"M": 10000,
"finite_sum": "[0.30680282693905480307276862844184405592382485572711963223682189550892080655761840259028427193683985824337047724006475783925366687227088924797084135441898897505763438643404658816339594006274 +/- 1.12e-189]",
"tail_bound": "[0.0008999100089991000899910008999100089991000899910008999100089991000899910008999100089991000899910008999100089991000899910008999100089991000899910008999100089991000899910008999100089991000899910 +/- 1.49e-194]",
"distance": "[0.30685281944005469058276787854182343192449986563974474587931999050660637803030528439413667300358131245799851897942931426631447976424186944296732924836492403806927242917162856480969296137610833 +/- 9.33e-192]"
},
{
"support": "all",
"N": 10,
"M": 10000,
"finite_sum": "[0.0238367709340994303046711773050600392129182297071182679422513660525280091407116591399618487943476399623093340087666898237130984720177417341495667768285788228544970776974552109520424919207 +/- 2.85e-188]",
"tail_bound": "[0.002473730655972598730356617326436826727424049955664487102950910371863680963051881264412223068486202885350298307519184980341976660180960498580715308237091585897001893280959828862393679037044 +/- 7.28e-190]",
"distance": "[0.023852553318882999415706812070545957621063802298509264671341338072017695896452608949917063996032577230770838516619085780963380096705117272643994115375847982403078388337452174686795319062 +/- 3.09e-187]"
},
{
"support": "all",
"N": 30,
"M": 10000,
"finite_sum": "[0.01453706530521362533286672865991570742850450014242866050445717661765898231278778534156041396831168467886618018669462167142858959332575088840609875231949761711719863961351990744871 +/- 3.47e-180]",
"tail_bound": "[0.0107823566182793870551129632370831747618906189782333645987724988968999018995966702463384124808285091585002806258960277236442612732280104196457721818967628576719029868423821702673590 +/- 8.21e-182]",
"distance": "[0.01455673357699699235093427994055474259423083111169116665925499587990921828459497396059067527146661572955766720557184360772130828951665606438483220807718036037981824020823063542383 +/- 4.50e-180]"
},
{
"support": "squarefree",
"N": 30,
"M": 10000,
"finite_sum": "[0.0152230765600770226869893605939415093866772158981088011892358414829397719549866004416301583475914262425289102628036585200524845914870216687849513046232767355283651614059783730790014514 +/- 7.68e-185]",
"tail_bound": "[0.00994875391693252655304848709232805725249275338977764662174003948876552231314156016340858025081032320696230738845459744540674336610987297112517465555609334624956733532643762803675828224 +/- 7.21e-186]",
"distance": "[0.015242969328477054672886623170395995626800559269343896099519172540484368968804881882435088879856112517985433737939329051680191599341806275387332701069184560950708341827082589020204113 +/- 5.37e-184]"
}
],
"failures": []
}