# 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 0f2ebc49ab2f84e112f08407bb94654fbcb1f19050a4a8a6196383557696438a # shrinks to input = _TestCountersManagerProptestFsArgs { entries: [(15313427648878534792, 264348813928009031854006459208395772047), (1642534478798447378, 15989109311941500072752977306696275871), (8755041673862065815, 172763711808688570294350362332402629716), (4993597758667891804, 114145440157220458287429360639759690928), (15031383154962489250, 63217081714858286463391060323168548783), (17668469631267503333, 11878544422669770587175118199598836678), (10507570291819955314, 126584081645379643144412921692654648228), (3979008599365278329, 283717221942996985486273080647433218905), (8316838360288996639, 334043288511621783152802090833905919408), (15673798930962474157, 77551315511802713260542200115027244708), (12058791254144360414, 56638044274259821850511200885092637649), (8191628769638031337, 314181956273420400069887649110740549194), (6290369460137232066, 255779791286732775990301011955519176773), (11919824746661852269, 319400891587146831511371932480749645441), (12491631698789073154, 271279849791970841069522263758329847554), (53891048909263304, 12061234604041487609497959407391945555), (9486366498650667097, 311383186592430597410801882015456718030), (15696332331789302593, 306911490707714340526403119780178604150), (8699088947997536151, 312272624973367009520183311568498652066), (1144772544750976199, 200591877747619565555594857038887015), (5907208586200645081, 299942008952473970881666769409865744975), (3384528743842518913, 26230956866762934113564101494944411446), (13877357832690956494, 229457597607752760006918374695475345151), (2965687966026226090, 306489188264741716662410004273408761623), (13624286905717143613, 232801392956394366686194314010536008033), (3622356130274722018, 162030840677521022192355139208505458492), (17807768575470996347, 264107246314713159406963697924105744409), (5103434150074147746, 331686166459964582006209321975587627262), (5962771466034321974, 300961804728115777587520888809168362574), (2930645694242691907, 127752709774252686733969795258447263979), (16197574560597474644, 245410120683069493317132088266217906749), (12478835478062365617, 103838791113879912161511798836229961653), (5503595333662805357, 92368472243854403026472376408708548349), (18122734335129614364, 288955542597300001147753560885976966029), (12688080215989274550, 85237436689682348751672119832134138932), (4148468277722853958, 297778117327421209654837771300216669574), (8749445804640085302, 79595866493078234154562014325793780126), (12442730869682574563, 196176786402808588883611974143577417817), (6110644747049355904, 26592587989877021920275416199052685135), (5851164380497779369, 158876888501825038083692899057819261957), (9497384378514985275, 15279835675313542048650599472403150097), (10661092311826161857, 250089949043892591422587928179995867509), (10046856000675345423, 231369150063141386398059701278066296663)] }
cc 76888f93675aca856046821142e0f8dd6171ecbca2b2fb2612e2ccf8fb642b67 # shrinks to input = _TestCountersManagerProptestFsArgs { entries: [(4306300120905349883, 44028232064888275756989554345798606606), (13419562989696853297, 297225061196384743010175600480992461777), (4600545388725048575, 319024777944692442173521074338932622027), (11924469201417769946, 290126334103578499810346516670302802842), (2150076364877215359, 213957508179788124392023233632127334025), (2513497990495955776, 7425952384271563468605443743299630055), (14784519504379667574, 209102176380410663068514976101053847121), (3589018664409806533, 143539073128281654988615675279132949539), (12163255676316221910, 68261431317828245529088264283730310447), (15953238975034584216, 120566915371382433441278003421157478859), (6293912069208757821, 54376221216199661139416453798278484358), (18408187014091379100, 160227239986709222921681152272167766516), (18224691851384849998, 230951397761410506492316028434133464542), (17218108759165771012, 230831401271946284847544140042531898300), (15156861699203125197, 274419864858876512298091294679889505416), (13197866550741263112, 317569618673855709115791823801131083319), (5457536710317675425, 264100465594513117047187960359952352601), (6419381816113193473, 97830434597410923324208428511886405696), (5509774606527762921, 51377792339839665748346223023626770993), (3302884055341784375, 260024947302198645578544387819129813215), (7918740211035003255, 281378863798916751001154282897883115117), (2107923747770684554, 4222310695795814822585776810386837522), (1988849030739458584, 97044202427348897203209230721452399078), (17000851872752693509, 154967569583821344066124364203881263442), (7204118357407989275, 293489743217018103289756063378018736213), (8379490247240411923, 91291993991616380545421710143276496062), (6067846780114877285, 117378294706679402333724324394932467070), (6559069473214523762, 330533491611532325905048043451453362184), (1066716766275783661, 14900329515024496203681878322771717089), (3969544049792556621, 299925942970250984690757497097936404520), (1871651009149288279, 269532663769476813929854896620535419927), (9885923542173402939, 332347180744841318697161540487151553089), (8743551960605987234, 82895354018256482956918848969653357161), (18444906840677790884, 140951189435890586485485914583535891710), (13186290687428042898, 156781959554744750775008814037900689629), (11253344694094324994, 173003087909699540403477415680185472166), (15359595929118467798, 334133929399407497923349560480857143925), (450753775453578376, 185062409187456936422223327885008555109), (5812669297982828223, 304450764862712727874277633964000192257), (5446431204912329700, 63591795618582560687940570634859474113), (12639950240321649272, 229465965587199764990249271930115998317), (8666241046976392242, 127169189810538544860066577390902103071), (15875344269296451901, 59314152116324788008302123296358029667), (17554612189790211905, 271354287586940637417955997246049015908), (2654666284440384247, 236192749343056755001648024964710799784), (3653085434641832523, 222611620216912476618464093834705618103), (2117280733558696133, 160273208193736809842040581629127362879), (15052687776534295171, 145937384428000340885721647247111254565), (14037243134892329831, 48648195516567212103580801887048711483), (9467080097152043608, 266945396762492281384357764614500138375), (2706297963598729254, 301505662334146630272416432816290497813), (7293916663622670946, 238683745638275436602208159421396156156), (9244966065396610028, 33307016963739390689548576588029894837), (1752320522681001931, 67331614351445449534791948958610485134), (13095820849418318043, 167220720368084276476264354546008346754), (2689852485877961108, 295988764749889891843145129746265206397), (16677044930197861079, 238123490797857333537723337779861037465), (1921976638111110551, 198905043115016585827638257647548833710), (78362912300221566, 97081461393166374265589962390002181072), (3959569947932321574, 224306094090967444142819090846108416832), (11193248764198058671, 209017727259932159026175830711818202266), (6959892815010617835, 209133472960436703368896187256879102139), (10121904169365490638, 120711360828413383714152810706442997143), (15460955954420808897, 303801388017089859688481259123309944609)] }
cc 12ef8cd43b8afd13f5a340612467c3997d5ba5efb72608fd8476df6241cd5aa1 # shrinks to input = _TestCountersManagerProptestFsArgs { entries: [(2380592976622330085, 28516108757883961008176578318775021719), (8094894356939531654, 10718326961815311951184411412724517285), (11921203167710682804, 310288141616457254365559878316491544849), (13755617706517689978, 126028148224965541431804524598571779560), (6681614816800093434, 188575223354091786892657643171613711890), (9571670957336898177, 162083372527284177662836758107322549696), (2471999314763911845, 274506062817616062670674409225732303245), (2836625124847079742, 75787776531374675700471634021065530467), (9934830121676810192, 333354798300858092905435764243659450444), (1381333832840346344, 311324743659801803453113425049900538575), (2302196496218675635, 212395921569910513862597773808400465806), (7146669409711908638, 161533726219296727821573878538273791643), (9801346383070508849, 285977560966921823091612392629841447928), (2395572114571121128, 300614943467177946509122704605046879066), (1101095318254669049, 139928502252989726945144303961224264478), (5986229782663173435, 51283959460964936192936235482113538648), (13854002339590051175, 125654892410344413752629163920107545730), (13781018864334141847, 339287264555190604626070138477739299040), (8546835162200571161, 242910440411389951824048922104772319511), (8066879592155044556, 55832109607420666571038493505740840185), (14787955442052669563, 246675464222165977161309275899452278610), (5558308994887530238, 319508707095130301388093140508558819418), (17473663508960542307, 112920447985509513405631401418029732186), (7425779317831660569, 132448537900465951563891971286136125763), (15265160054173207437, 140190286198724402505961550430181003655), (8044231424887912441, 317701385434560239701035440023001111619), (18207647684999546383, 156462950301818782445532607898817811099), (8456937428392640571, 129187044946008952138680436136748694164), (9660941432317156944, 51479307487693462367343530067170855074), (11974801735864477299, 71978532481986688402941554512997729133), (10626657922903390031, 285950609178099918824151788088218613887), (2974958498712082592, 175654253987907967247168257314734451820), (12578937525703736023, 247767660502531391132888993156509975109), (6474485429084047310, 185699318630058530773063031667743205026), (9596435365191952368, 247282028355602232640954773341038022511), (16675753750985703664, 286981992456627169557114395380354199353), (5138746712869968684, 39169132249829779216912902933505417364), (5019751313689498512, 288894759535386990584801246723637837482), (17091672548346263602, 282839768601869514496167753085903788351), (4895177945922371064, 167828453438287303763038936162552479750), (2258097882389241656, 170851112204495629460395415712928869647), (9050221542730812158, 25405115484423843502337976841510097953), (7064897051505340986, 316792416532750676517556783749946421277), (717306906634626341, 11477313054467332810070253416539691287), (15152720356165740302, 226188535012436112058185147883078892901), (16262065584679956398, 200597764486196728395762424740284874739), (12141546842055714234, 6421701224446554517809057969648748019), (10245649263580140634, 195892352469673304447008633237343975635), (13790768687577295788, 202614205603220920131098763636823488868), (11831959142111758471, 176543487457291161573982093949022763125), (17777605318963627052, 319212788065850949515084373029102475409), (564823812078008836, 145963479570581268538880853053610131139), (13457405482865604377, 148949589505534127482576600176076395767), (9055054759637260914, 337059293313500945330898738738354952025), (895596410378228543, 74004207652448032350331180680239961718), (4726795347504570828, 51571582687704702848638972771018932833), (16833682733301673728, 34377835113215379262864813936882362439), (15034855392108016430, 203627474995536168557780237872359326487), (11405774954355622168, 322678365343543193887914339203997893240), (1457678872205580285, 99318560493394084478210028931820817917), (1321755794936092808, 261494917638705227451935424828339016073), (11898454905244575171, 203086212025490211591258974121885166350), (478255349182567124, 306605025185865800140176585951924482496), (7986940786120947832, 298777454068286672273086573102781823453), (15696893798940752922, 127230076438002883309661015950009791604), (17310811611359025996, 284507994087592321247856810143192637533), (6019323075533001187, 249604570518388686353612686763609744902), (6835459638208946175, 183267248548541678775421865746870938606), (7003248991841775631, 221568917599294958602977617633161129342), (15665994793425721324, 297884599502068866963806845302593747125), (17518176331196234001, 323328424090327758541459557627854544629), (7421245675015116149, 46410559889062524219094102930635938522), (17093820111011874288, 305200722531614663405336520596512516063), (7575694490593166082, 192069555144365913694281795349960087024), (5101843262278972871, 31632907314836790421567225483192160258)] }