# 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 dbb08a435ce8dc333dfb71e931f891246275f5c8e9f035113500099a73ad87a6 # shrinks to slice = [1, 164, 2, 3, 4, 36, 5, 164]
cc 925b8271c70149c2d85353845f6733f655c2e3f22dc96860ae25c4a233de283a # shrinks to slice = [3513168298031142758, 2260770473652721302, 3575914183447509664, 4480722826466221383, 11345021850062053501, 9661165151737863659, 1903083865061419048, 7131884426820573556, 12884459606376876992, 13737991324976977517, 2213258567222592995, 7823709446616427652, 5012428954055117349, 9073864432795826651, 5967770160751652514, 5386840853279611580, 7444733211824276511, 12117566391531717301, 10921707679195729975, 15099407100196642284, 17204105941804380649, 10413292948358268698, 3704517225771320625, 2597401510975968760, 5880851468213711931, 16770224471647169275, 3642007271844786231, 14049559244094559572, 8955614672214841222, 8505586482830056263, 2897277061235105535, 14210222366380721429, 4181510832533981674, 15044470950366109845, 6803553077213442111, 16261401902567899295, 15375553666677887275, 8129815206356452294, 16577174631045768335, 17522001024240589761]
cc 9210eaeab39a9b7857c6a58a1bf279a72300bb2497419c849f88e327377ba0c4 # shrinks to slice = [144, 145, 143, 251, 1, 130, 251]
cc ad494808cda489b497bda98c111079ea6ccf1e7312f5964a6915ebce2172b006 # shrinks to slice = [1, 2, 212, 3, 4, 5, 134]
cc 8e11ce23fab092cf2eae608014c14a76cd777f7884d0feecdfac4960530bfe51 # shrinks to slice = [3127827656, 3125730504]
cc a415c7932c6a2ffda2d86bf80d04c8fcc6dc714bf82aa863947b74c8593f9c3b # shrinks to slice = [2573533765, 2573599302]
cc c5231051b6f092e0b7bf3afe66bfcda39d57cdf49ae8d7bcc3541f5aa7624c5d # shrinks to slice = [1, 3]
cc cb9e050f451f20b72ede18b61fbf86a687e660a996d875d94bb837993ec5c54e # shrinks to slice = [1, 2, 3, 132, 209, 133, 134]
cc 3f2d264dd4bc9dcdfbc2953d48ab3124d4cd3d56a8fd3600cf2950f543ed69b9 # shrinks to slice = [64, 65, 66, 67, 64, 249, 68, 69]
cc 5809ce72f0633fa30fab9205508992d101cdd2c9eaaeb6beaeca7e8bd65733c0 # shrinks to slice = [3745431930602353039, 1157644533754967572, 1004786160628068210, 3374946679788986497, 704411762500852136, 18372258682910515524, 6471824046500922724, 12205957010525186696, 8720321433287198951, 12476214097846123226, 2241354651121344894, 1884758936673739465, 16335736458819505012, 10944209801307453400, 15644813700875552166, 13380086702346014785, 17214849000496583974, 16988400219056317383, 6889184056656734265, 9932598325795797273, 12272611410938116320, 402969423520953867, 4161326796340649539, 4848684586350277684, 7428346738736463215, 18180310012215710939, 3083458439801960150, 7720664672395059270, 2383485838382037791, 9847871031311919744, 17123504391739852978, 10843837192391774322, 11925188935205896466, 5282866107941579833, 14532860253901958616, 18115032591109117269, 10725431567141297379, 7706699065430667743, 13399286312349439537, 16369788630968408307, 3794591011248799148, 11947032893973210163, 7019854380935190835, 4836186288457253936, 1833723704787325508, 17082664220959864270, 14417140360561987763, 4635085734552069732, 7756209212646301448, 13802129988475308324]
cc 9cd80a7bbe165dae724f3a2dfc5ccc5fed4af90b47388222ba298d6b2ebe3858 # shrinks to slice = [2847318633310315892, 63058418965769059, 2042910419467651321, 1999840121589118486, 16041957357413958548, 3644150915196633528, 11391567487966916668, 2789376712080388913, 8889702475440805467, 16888113214698725429, 1249634136756270040, 15461625332902556004, 8159161795026448273, 12009229139422836646, 15912096166435473807]