# Seeds for failure cases proptest has generated in the past. It is
# automatically read and these particular cases re-run before any
# novel cases are generated.
#
# It is recommended to check this file in to source control so that
# everyone who runs the test benefits from these saved cases.
cc 91d6a6fbae74bcb91989fb9abbd433778d75e68f3feada1dffa55c161eacaddf # shrinks to indices = [891356785185887597, 5931734396597637553, 1937949831787240042, 7817287975427563808, 16438273333826779968, 8032238103515303638, 6202491848071020099, 16480544353906349312, 15237681986118120453, 15279857918486643866, 17076761052138227417, 11157520221629981390, 13447005396530794871, 3296316096390312051, 13530615960501846081, 1019926300733416809, 1428288626726193319, 3421864929269945931, 4289314971578290264, 5182182495686383528, 11345965420221183142, 11218958036839954355, 17256921056126065291, 754825225965953981, 5189596795032457787, 1028092298873689730, 14202685879807725355, 6242568359650025507, 2256058200745878123, 4296241698325660395, 3410023410716467640, 875897966385681423, 921170346872456457, 15750487067380963950, 3497511373654561964, 10297581404534941938, 6679758043858687763, 15051405053011011337, 12310330784976325039, 4379069120671709769, 168161843284301352, 13225082938073629510, 3235565105585626607, 14497434658801788761, 9781332594899718014, 17312984080807505693, 9578856087808723856, 8643144330714844316, 4203348687523955697, 15874765121101141700, 8265452977541111632, 11852370847027154938, 16645283361687650519, 12766824022702864673, 1761735195149307202, 1816201379364648440, 12671120149658310796, 6106286842617631756, 1937150303318386288, 13076577135757657119, 16601920704953870479, 15786797093450329193, 17448061282055610546, 13162289723978614981, 10979440865181386480, 17433785016994053244, 5088124313985325558, 13611237765908768820, 16883091809723301415, 1124154688414924243, 14572024942733249338, 11700568462804235994, 9943739298406554372, 10215089061178365367, 14722503629670904165, 12781899231260531357, 10047296535285808959, 925265218884318605, 575185344214100932, 4805980983984772985, 3691617504636187292, 877131243098728292, 8451304936536131461, 4722146967206851361, 8502754709637801928, 17840671719110386229, 6188352207507215725, 17198245725349645471, 3661163110449690374, 6924176236904465569, 15771085923081733187, 12981766983357127705, 5772108547242630515, 14823602377760111065, 4932059664738774527, 180109782639117374, 16574012737589900321, 769993308062143957, 16130923087710590742, 8164606636605768183, 14136539666737210600, 2423720975099544828, 13993104626330902807, 7156474502313303812, 17708250603431514828, 15987448051803825793, 9429082776116060491, 3297319743173056955, 3877270006423288402, 12827547156910427689, 2523556729758504878, 8059696217706387849, 2783789660451893114, 10928677573026352336, 6999288885940565575, 3931945073856761243, 11502405017993551465, 2882770300914319397, 9768501719682729355, 8260291690201205257, 9179943655845640038, 5166683982422078902, 16196496497088816465, 6017049731719313078, 3866869981589874402, 18444655228661369858, 6744830295944179474, 7034541015821781169, 14411771846523571550, 1138306694341755375, 599807214417461608, 11151681681234564821, 1863366468556457786, 16003768432968392126, 17487837621224713095, 11159950906980476478, 9420307918112472870, 2059430348797585416, 7974121883225819006, 10133599097214561921, 18139594061367488215, 4978494618346324309, 4385205694716279848, 17586478850626722704, 17956613665744136507, 16683928813894190527, 11275547753466387725, 10166581051036655745, 15231480324661798277, 13804040930853974620, 11655350445623603429, 10921211510422041329, 6135994797301129412, 14982015243409287561, 15793452577130031281, 3522423108282496001, 4555275520845306526, 1804446945313414039, 5179565386456902627, 15755135183656520602, 1252777920838482811, 37289348370099483, 3208262970266908942, 18427503935254542758, 9999579088963114506, 9208709703725086932, 9626465666729925932, 17369913047763515825, 6443861647066840985, 8932621128622082749, 5748171145709993384, 11424174698992174767, 10172015900192994547, 11433567765581236519, 1086184475740188478, 9952979091860146942, 7426026852704179852, 8279973222861734992, 14193993593772758285, 1686765319395788036, 14018940108919779248, 7715969477797857307, 11413532801354507517, 1597392072607655826, 272013932628772663, 4345549829872127638, 2100039165133305818, 14113817615913933000, 3276372874813514393, 1897197145913323666, 6526943137727225079, 6411555506877910948, 7622653326985906110, 1096664872524692706, 14283594024561852142, 12092384137553389853, 714324027911586423, 15633686985994736562, 5718536766830500291, 9351525542756113640, 914379128193971065, 14576982215961747203, 4120251290851363920, 7113900823459836891, 15559773928007247514, 17585484251233217109, 7824048763313655984, 7050684737462226356, 1276454782699868898, 4061416948536392264, 3812031600118081824, 8733398519916807461, 8594731313289021464, 9619273888147211107, 17472119534332371960, 10048649640269624758, 901012827489310058, 10484469648797407089, 2755908873980657193, 7691739295949932613, 2140841525214762808, 17603223487482758601, 13906531886368104725, 16865267079014706085, 12740839835820334440, 8761982719577371197, 8807702059985671941, 11168951153913654606, 16033737815415475790, 15298714988589971182, 13628635598228421364, 10611773176068380930, 1672799571460921594, 11206125966653709303, 279517106188284122, 17738278125338278080, 13669385933774073005, 7955235861206703773, 4928603370666485453, 4372098807087997034, 12746601307648574815, 2052198754109494722, 5198481642165138694, 16874946335522887978, 16964652353913506705, 14513138471080425249, 11867229899051114408, 17394340412304495916, 717498470554262621, 15126234518588842217, 15263613088206393834, 15235445838033878853, 73449903979592062, 15936118993795084335, 14879131504242280703, 5963718896456039110, 11200498580931211208, 6764482283273195509, 17600822257423175566, 12910582470984732165, 9066691603829110135, 13493055768309298333, 11599612665760334746, 17194189120667234945, 8535168394075950612, 2602545793097611139, 4519220462559198596, 6072643704007835488, 2076976770123191985, 10326973602064792534, 4697120410269802530, 14790776628756764400, 8887405147212413469, 2259531979060394344, 2881064747810372412, 6617397478763197987, 1180410070110521591, 5035674153385518118, 14321928475694308720, 14207705688113991579, 17578977670833103841, 15118106706914695119, 13432294910050866969, 7612404407883729937, 10710526445107774447, 10434572181296564807, 16897633015996358472, 13072467751657836350, 9143140305532484139, 1004141019033003883, 5860089853929976216, 1743616796104950956, 15669511511651677475, 13805105278848279672, 2273797609988514950, 12013969120759851668, 5826553463524079961, 14910260677276542005, 385250834797304085, 12740648440812437866, 278016417598049600, 17646197681790870415, 15984455078770830524, 17894721124550862217, 3592684011460004539, 16372254388141675482, 2573858466163229298, 8463890577008200000, 7454023868342913567, 2886521977302779411, 9310029505422032134, 14432503569781735723, 8066870800708655976, 2057940958800476143, 1134724706566660872, 1032069408061300071, 6357553583728862961, 16167070733725038213, 3442426233852050103, 9995616447556590877, 8475672035509167553, 6050673072699610858, 8025038107131116992, 12245899614368588229, 15841954548215962369, 11240178522682478321, 14342424863810323170, 11888862389485407210, 1929896471199851394, 7386992932704136925, 14989063489267806428, 9574419202607897552, 503904824692421494, 11093273139653117513, 9714944636696942494, 11932116761979219945, 180625363575424877, 2003317946953212984, 14877748014834888805, 8061909820945658898, 15976080864240627467, 8591523465364400700, 6900705284926604695, 4001318244806583275, 4227029053047393435, 1427055150654826912, 12722328828760687460, 1404010781791675188, 17094031695599580299, 13496927728393163493, 17919073594126696238, 3298869950838253713, 8827810089759127047, 18329527667771023360, 11651872207757655705, 12624069971315611562, 12043919014251364327, 207955801984516850, 8203450809406356361, 15315585225245605261, 4045078565944452411, 16895323897040576467, 17270841806378050643, 4620791957479864083, 17124981672620352895, 15719023359046692619, 15638204947757227844, 170841243263937645, 1300490789206150751, 4054569264893250978, 7595165887846591227, 15040544726911841891, 2833187587129263429, 9063331466397321479, 6687265798534897314, 6902036305021714243, 1951317599241297749, 15202861599449684478, 16782694997843103468, 9083443756218593114, 5983780197724728045, 8128091615212671211, 14383493239243447291, 17627589585555113844, 9936751424723718756, 2896377835572587605, 13815842736530349775, 18019790752421622313, 8631954223328896715, 18013156702155922225, 12403547374068473289, 6693428679235484833, 11512226148352691012, 3529282826480833623, 614193917466926018, 8600399372456476234, 6877268584266907377, 14483024536513994093, 6581238678359133426, 11177474730921628813, 13004795348660576828, 2698689637647723810, 7945683206800545262, 3896329842000604952, 6091254727798586676, 10016803487303742210, 8927259754531376616, 4809387664233930298, 16163426157916178524, 3721130141243591272, 1510580194615974286, 5757226784896472269, 3989008699476130225, 10632620249131548053, 13305828807129665681, 4748971759551433769, 10983692635326610935, 6727033927830422864, 9489198259830077650, 3653485388353277977, 11564115750582673356, 4528658118581210170, 10021199216996153615, 6135558069043182760, 13886622255193027448, 3336549964285714929, 11549713303356897758, 10747194695506216529, 17085319256166153359, 7530047129450228168, 1975127965813512451, 9338883640614554203, 2207760281674795785, 17841860384785805121, 8808428790389701066, 11733006483564504784, 14822398668134457132, 1703509428722442255, 16423649558240076239, 11373406654383293348, 3458661594767155187, 7880090146933132518, 3260990414412816711, 13562225473475944050, 18290377040441540971, 11008992437539984384, 16122637472547238824, 10481783677055203316, 6049820371253563760, 12556452704382080570, 6784475292603877866, 14368819732565695461, 17078228842906849520, 12833078633342240703, 14260213084345491116, 11956523650900277310, 15378660804716901102, 3302312643386111498, 2685844228118182208, 9511706301518170238, 4529692942779685463, 6211452731169969582, 14121001473403064266, 7086869375924492497, 1019346862930445198, 13553715340113003990, 6313119116814800305, 8052984698573414937, 7209347201893269351, 960421206066283813, 176991598871928845, 13471247803327459983, 7537573047672634684, 98024401869298782, 16102746598374204252, 7635780830368527210, 4660021315964734034, 3894610271555663207, 14590449164200288832, 14199373063996878525, 14077027643785061838, 3756764178435796238, 14860366266301648497, 11383439683225763230, 13996178978378133605, 15314141848020094580, 4429706938606829499, 15531140980236763684, 10246879304552553114, 3047719950084476244, 16140742151113319213, 12476771349659400723, 3708297363576705353, 3924727900151704029, 871062190099617852, 17803102609725324688, 371794844279433099, 16374385867119081758, 2335064444713113688, 10553929963800419752, 3462384916272674229, 16934817176005822380, 11605278032517243452, 15144222093478263228, 16555344391186726375, 6571341779632972420, 18265870338297203476, 9561457223541786727, 3959301353946309525, 14282416180601195641, 2002091491359682459, 13157302344537743503, 8573533028720559870, 5843608745891290847, 9146365756126030370, 8159229917324065907, 3941841516135303966, 17189567179701577450, 5830039402601577836, 6270272634969765171, 3040974543532036622, 6236269050221526689, 6183223833097427692, 8263944302562551636, 8699791396700812172, 18307277899477817117, 15839306880628866260, 317162558560304858, 1528107031191785162, 17030895361693066825, 18082469166764448726, 11130718178084266948, 18004997720462071553, 11186041950334868665, 1777873940978929110, 3983728734543974648, 8282564002766721138, 12738332020864911948, 2880605997419522570, 1255265113921083222, 6099450798776769415, 15829077045319748510, 7940579651167032654, 9409803915578766682, 2838901562132257215, 3900966879530158971, 4106251949129065455, 9130415874528034191, 648229863726443762, 1670207387392639063, 5955284985443144815, 10593215639177252098, 6792015016894228721, 9766558625148689766, 14361359294853068030, 3565376551695198767, 9801226839522337438, 11208170812283461817, 4648817380541936170, 9236978865325893372, 17528606266758808519, 513326650241201767, 11246520289177578679, 1109097312318920878, 18258754127340454172, 18013701547705048739, 10915691888056180481, 4659377727357817226, 2613006719582638958, 16393819955836347976, 8680172404726726960, 8864589494453480226, 10949267800373340295, 10300193271093310285, 8439599222322638480, 16609868954177046181, 10665539825642025531, 12914931093123367203, 15320779408569606118, 15086577671381095819, 14839749047880964538, 15067376001107154127, 2907340920019760870, 12803047345416602092, 10001631307516976297, 4171280154772523432, 3804201734042398625, 6065733314408015453, 7161668375246433049, 18053923611691983179, 561782565437037240, 1901416169613658318, 12447687873908397479, 1920822181349067172, 2678738351110925215, 4976285402318362198, 16906855205272848640, 490084096652595272, 11404318183316194539, 24183860739367213, 8560992693204075489, 6950172233581145569, 4392170514653613545, 13456402836016194035, 3461487299243751030, 689045308274408754, 17255687418581269803, 6712439007268996848, 2536716377798694351, 8024224131677163703, 10772980337192647339, 9288282518767118339, 3432239351125569646, 15278702775605856950, 13242713789032973493, 4282219818532846405, 10075530677670944943, 6485816136966172354, 10220376261919023358, 8895190287208611818, 18051834690500441969, 11524648781189468477, 3964280915931678997, 3013607292646383136, 1721580637383090655, 5066500679492057978, 15727946476993810529, 8380963148881775917, 7653340120375144249, 4145107636458983773, 2570669985881944574, 16685096779047006021, 10270273863827711277, 13194309744795475170, 18231676805238527661, 7945118754870498185, 11101843976166485956, 5205022832241302881, 9565596625330824188, 7827781414821594448, 14437912768667226253, 34035692283010206, 17219033859803125241, 1783416985886664233, 15382553796188475072, 15330704150236414447, 10065851731532396132, 16352611578932905216, 4046694528545083232, 13790526835535272237, 2416911232033516883, 14986902890858991730, 4209126569001233617, 16801315926696303202, 950194730463290982, 3433010267086726967, 7926604904113943138, 7350970978026875786, 4938692546032136505, 5942171594857905229, 2088465556805866198, 3800132978422269345, 754130267759647550, 9735910111412561993, 17334720367963887491, 3094316966493785139, 10872317107123608317, 10828418561293023503, 12463254462448465602, 13070678981559893419, 1487699321195762521, 12025651224017597782, 7472310685876226913, 7308084995772786806, 2445958027375153604, 13509183881878025906, 8778857611476529568, 890870391604072318, 4623474561088628216, 5091559576743392447, 7250649772620237597, 2445932593732685181, 9062229802512167922, 15365215300972025512, 15285997301271077376, 16216715578384280596, 10153004934279731037, 1095830492912076391, 18270018487118293295, 12678783966350401982, 14174021061215640558, 10943503186490259392, 17054488109206516544, 15603213030215338912, 5047687136205313379, 14302136728919073562, 17545650358329179844, 12535394746474337992, 3612761276331234999, 686919480536948157, 9756569229066745305, 1625846666056212025, 14233194119881441866, 2538811525496960757, 11841378454461185572, 7792346212523349081, 2114748474922774949, 6409789453057324440, 6688018784198393125, 11434390165133878696, 13309111365635283998, 13532036590704305144, 15483205231705706250, 15075182908887073818, 14817216815620865051, 5493422630000058707, 16855021235575705, 10204428478361297179, 65232249287887956, 5640775984923864986, 11761323060263748908, 10966523370821192133, 8100252595407074064, 15518547862126200878, 4081164541748717586, 16259643937677369498, 9203429817413753177, 4141663776299035658, 13703031494372773687, 306982364817286335, 551885207197774125, 9690531049373043885, 6020629284782664854, 3891447704537113679, 9394367442902883572, 2114189738873578280, 4291117566882354104, 6320579641190520184, 773175803117679733, 9175337008639199245, 7963436626387281669, 11493405643520721212, 14060645231397942047, 2811157189145604319, 701527399437128016, 1872361597801615526, 8152001963057239058, 464902701816337644, 5352472106790623592, 6308646629286080472, 9388713082291375544, 11498884691945356036, 4879636656530844763, 9634546002057155283, 9035859147590936847, 16075249500047371102, 1899555818491418424, 14326310546021516265, 16160707537042490381, 14700606760579584209, 2274846588585916075, 15755219564225502085, 17196932689771815840, 14384339421225057804, 1879402649210439643, 17450568678471796689, 10626307473422688774, 11336531185397924653, 3958577569330001858, 715912493244829478, 9337717448447798798, 8831892793466818909, 11063469246165521453, 4299611704082045832, 9650220259349365066, 346614389743767141, 15660522123643100975, 14765248958283687132, 16829456276206564179, 16889530725193564191, 13854889856489929493, 4933902245683208188, 17568863345096623976, 12036921008211084900, 4586034411689234448, 11020950405991839943, 1950476580753995480, 9747034017296940779, 9668699735021669417, 3235063483199470721, 4804550330616912683, 8588951524135350251, 4321187797487575489, 11053147065786649939, 18439526185853851601, 10167283570578913682, 493741088429182953, 17171703973264907601, 14945014317761830021, 10579368061560178750, 1100198140902608796, 12112212196922601497, 16210154701327365553, 9368004675068292248, 18306620330122607396, 3442392914213944032, 2073163236365405739, 13172620426841292372, 4475978989113136376, 10856596996880378922, 1943857606913970638, 12513862129563053833, 8698153018036257481, 15027821408918482575, 4948246312817855025, 3657727966950328578, 17180851359208819647, 16694365608139716575, 11898391065775677320, 15880063960642191708, 15060810901685700210, 14099273793539773228, 16767900353273515125, 6675162846862289579, 3279245364039452251, 15512278443188003883, 18365911801757777707, 13980736354216976819, 7220398545875475374, 14693858615149795825, 13275698868600913064, 9606508338978084683, 13229229454599600393, 443661921804327145, 17608936171817310588, 11715921537107273291, 18314150559659512621, 8143302977630557587, 1357248461704514597, 12245482707431363857, 7273509184914030198, 11260747347123510546, 7410080246589657193, 1153879065331749321, 18087874270264159659, 8961403161199892647, 16318669753944905649, 4565756147887956962, 12505281138964642760, 4945150459425216349, 9936249108234839237, 917371432593047674, 13869722986315889825, 2681467240463349021, 11351710567279650517, 4948766246558688937, 15560834442990603058, 748969605788516390, 4534203812250612821, 5573892093473365257, 5677313032629313111, 13936562352489412010, 5315698916770510148, 8102355394561691438, 15491671231618863931, 17031827074977365945, 6485781450552106796, 9661463477783078131, 14495444589829103412, 8473168869522079020, 6937895025805585758, 1750353792347383473, 16881804084623889856, 2670656010572459436, 1128860117797284624, 11182866049914631894, 6277200971979526298, 599732074624198492, 8561627300864818640, 9676399923948533499, 7957669049293253066, 2779582884149411615, 11380365183266875834, 319138129718872811, 9790542796543570584, 16395883953132400545, 4546963482290036583, 6382886952945126451, 3427109914991269070, 11344215488151184823, 13913777710688076716, 1099685578507724567, 9199005566261205609, 11566208663489472850, 13231332944890377055, 7526646087499288755, 14456722416047442237, 11676835275519610912, 12514947148362782452, 18024873507861426324, 16102625004604197514, 11954869559037422379, 18444075596556381108, 18333128061533247961, 6238129318963066063, 8840504229347449380, 14734849802031406385, 7129179048302730548, 17261516472345682650, 4590089141163438641, 7131760081259107867, 3580794664559545822, 8628109919991703764, 1059103022362315663, 6987497394970971541, 8307461999261521024, 3184039545175172033, 16621231945589911388, 7864822667803195504, 8733557273986697626, 17591938975732502719, 9752453933511175934, 10663817373634223100, 2679922276209308336, 8005407914967970782, 4553890057273040769, 6542007606527898010, 11055984307642801162, 2677428844586991303, 14559750421103150250, 4338074021799698558, 2434021928327607095, 15168838893096803145, 8953237775569703864, 12166271920473341557, 9220472584239475570, 12117155726747595722, 15984592060717228321, 5421933509917462762, 12224684384642439420, 9692004873584953482, 11322042641248181439, 2244631540106672276, 11578784711884485694, 13850943916163913544, 13618912145144808075, 13355400608225477374, 15138462881799398231, 10401181676257976280, 14109911732314410137, 8959921023375120235, 18395350869344948750, 1976277310832926480, 13120773104052504893, 16563236312127351173, 14710551883813849653, 7792669362242397931, 15109990150606972684, 11754211661844256632, 11098135512749248630, 15124036024878216717, 10002567401423065225, 4827171069930451037, 7578757651114066954, 18210175495378903913, 4967544208314998371, 1360450089809350450, 8829974313279695721, 3843509122550571086, 8869551084769556718, 4633864078188926987, 7509795860144355480, 594926377715008397, 2270589102570850923, 125182487837501932, 4234405032894257239, 9558173093421095636, 7219104200949051507, 12047933684815309881, 558032799903841623, 6089797139857549285, 16327378294640787105, 9732031820326402438, 18342684499758511151, 16678644940360302226, 637797809916022277, 5175711335334669949, 16387195705970665554, 10330785016458649140, 7921194206219568599, 16839352561604602837, 51143575565297326, 5906739763986832699, 11952874873646231124, 2355863491788141635, 12592029083602900130, 15511619931262543760, 7949391145248406717, 5419874143704026987, 13852657506116783922, 11414449991254198122, 15436985369114896697, 8947028007955232088, 8770488301086714569, 16391220872665251577, 8576194687630430200, 12507149783249188255, 12691006902355672872, 2597144236190346265, 11774001998461755136, 3110677368431288177, 33952189892572219, 17550214496360771980, 5358751643586740366, 1464357713120680814, 1790506407246953059, 8574012362536950035, 13808670892906068564, 5903109762906002491, 7278099819509899826, 13004786022735082034, 3616753368561586872, 3377124878218327788, 2594055515235060716, 16164854351150420243, 4725054205976531173, 13599925081485387968, 7780355800922861282, 430130067219121296, 16937403485927997878, 14031595824631562316, 1465248007424772673, 6097788252219404491, 5733334423368457285, 5978898368137804743, 4632039084480768254, 8290310474174331589, 7478904951944097220, 13555989204955951710, 11416902165989402160, 1366139189509160729, 4253296930232014929, 18128171599210579680, 11749348304677101719, 3473926777328610501, 12979533540974115262, 14558264507086590743, 4261627195464610452, 10805234484119666363, 6814692242542601192, 4796037701692300512, 16301080341555945374, 7653905424158885663, 6346009793259885355, 11896636484656877337, 17149461039194243468, 3764970482606376989, 4565748591175297141, 18185666634758092687, 12283137617088577110, 11771336773735392184, 13902755936551481927, 8192739963281002129, 447993796021626821, 885707879501419479, 1256622458609363677, 6580419296268761504, 1506870958365021810, 340988945520896959, 6532155061756924171, 2286231482165136376, 7535368592373328373, 9104846858636290976, 12354613518243363283, 6575034474405880943, 4121821864650454871, 3717021766521903372, 7650630893207026880, 11407923974412492591, 11546918380933497990, 6346379490786629840, 4496164348708239677, 15938716621239888646, 1623149391058580519, 678433149980301617, 8021969710380724014, 6512235531862522236, 9602856905587839305, 12377698637044489755, 10642769959422530080, 7999339155036643386, 6986576809181039530, 16918233869441549115, 16203751405332413786, 1183484787514716911, 5948243353991647804, 5771186592354117640, 8546948980197680881, 14139807101983481687, 15503766813603041258, 13652482422695577258, 17039198734100565101, 12443617397623746368, 4855449690596629651, 3614672267935409105, 6452345013580577494, 17152649922661780334, 7462261348697443434, 7790475602146717893, 11486221111585861064, 16856257883604887707, 16225677545955757169, 11271975605513109872, 2627271083281442525, 13261935927838209705, 10454872832160970095, 8845180884298744181, 12818357182439388194, 11285338392144416455, 10207219087902146837, 18284572586676561719, 3028716463659879811, 12570077357180927544, 11318357674745754719, 1958144591548952270, 597013643303149062, 834648479240300076, 848482958808556072, 3955758077386683344, 9480412685811950332, 1503699957417322725, 6304208425462173850, 10472384295504052074, 12722511842587442669, 4926129238544188906, 1306345126121079760, 17997928849474492145, 10997641282427554335, 11383987564603237175, 8107525354595214187, 14153722224252900048, 2418359490495524798, 380619871753881278, 8139298885519440213, 14943224831023661439, 12490812559320113547, 16767144852277312090, 6058172424866809714, 1645634359220638115, 5423064052648773928, 11247909230490430759, 14126142007879566734, 5058364560402299088, 10204619461846696185, 11367576179529613794, 10407416394668668060, 17488224118758638491, 11049673907902475319, 978515166737563721, 17007201833221174449, 15093585958700306053, 7989907340011088317, 11016006229520486933, 12361290100273946264, 17995330464876416812, 2418838413071936923, 10397907213006040526, 10124962682972823093, 6658884966931893162, 7883687595706666452, 3368659778959471381, 11821116915482091563, 7948748887141072803, 13810026408746050557, 14704658355377478277, 8381375980525181408, 2652792184263813611, 15101601156487790268, 144010612349451569, 14841954703099501005, 11293942561685591442, 14786428014020418907, 14134349335911802585, 2135275570804361921, 326545248987803996, 18011344609669717748, 15601260632306499739, 1972928843776960580, 7334641110686358083, 2436236604695405939, 1797082016635467423, 629097951538259478, 11197964000065204987, 492131323000078212, 655181421523532502, 1000883218738814807, 7990854916418092849, 15090931106904697488, 14274634986471045705, 10658198636720071686, 11316504228800365814, 16310590457299820735, 17734348104284528888, 6001021096180207316, 14148045645482997266, 16525909744121822833, 17780888181295029345, 10166394086830587180, 14420054289737090524, 2387773556279613493, 12876084185297020567, 8166921522304464743, 9915198664402961071, 18349050687508995808, 9267489314078290014, 16086951195278857666, 8807755801855469360, 8044715654922067437, 5808755002736986261, 3957348472434863304, 1536465950749947694, 9048000634644282975, 4935563793038614689, 172638424901955040, 7082726838658299743, 5756617759249496668, 408034446300089155, 12325404844133572189, 13492881144113209246, 18259492403821969624, 14101604051045916954, 13932945711835765356, 15405675954202233469, 17344886786964935255, 5368606591339618971, 4854865250245411167, 11707583011669253780, 16592527774786315760, 12572333489548741181, 11646451984519907612, 17352914852405859649, 5620609011791396722, 10691517964693533261, 12220257114169612988, 7949996465923939161, 65331891865974404, 10369674485839169295, 1214974211639696757, 13544045277410288888, 11208933334368449021, 8732912910359243546]