# 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 2c52b71a59f395cbec9ef8edec08aa46050ebfd341f919ab442558099fcd88e5 # shrinks to (indices, items) = ([0], [1])
cc 3dde89eaaab869bd37117234136777f6f54f5057be8f4e13f7ce80622282225c # shrinks to (indices, items) = ([0, 1], [1, 2])
cc d383c824f944c43eb21b07a7ab213ee1b4077870367ef478452a53f5b466bf8a # shrinks to (list, k) = ([8285442291085864714, 8891531040313862139, 10071136621965123754, 398708859798776713, 9017303705221743612, 12601458486210431958, 13736910551547584780, 12969992707571137395, 2444497746743817656, 4920956831727794990, 4100001297796134674, 12984961046930934836, 1804202113722278068, 14228039523968544480, 12576487822012863861, 12467930377831198019, 16327348708998656276, 432551666660531000, 8250345389414968247, 7084207375524337455, 1161497298798779992, 676440771193981671, 9136463081767262428, 4950326852059807116, 8301460787559630507, 12340138199708880138, 14446477845305286611, 4912477782261224624, 17184067284388580693, 13825310475955644664, 1907527182208652367, 9740061035174959773, 16991911974420902737, 280750401236181038, 6795550462531037138, 2634216566690415517, 1678961755075193852, 10556987751883103540, 4113726987759872456, 11619657027180310396, 606183832376979689, 14661239999861685929, 14061164458411833168, 8205276590362110937, 6150502343449092018, 11597372219325455543, 16158065000821370968, 13297075992772966978, 13620681686785736888, 2245109365027045614, 6644781455543878048, 3795127517494020101, 6618227697301014276, 1528729291134164696, 3436206961806369224, 5418627670397757414, 3827653326170508974, 8487801825963216868, 8102266651253259346, 2257683189196961752, 13957901498749665355, 9838254875337229833, 14120164789588786181, 10391779893581526210, 14286717452265771911, 13664463846795318072, 2355494864111493582, 14826544902168791308, 10318706631177617602, 6261094064529472185, 17713119611316584474, 13288011826531424256, 10617864980200532997, 11595076058559097942, 32290421521597610, 5485553914711254929, 13208724760726022274, 14173956420330944254, 2407078429394095390, 410006481576476857, 17032882041755961947, 4892036962721134278, 7830423549902492170, 16763244543367928358, 6462822879061933560, 14232136476507004203, 14930583409375138846, 11859417917974434068, 11687935272641831331], 89)
cc 3710fb23a8123114082c95cd093d9140b258fc9b55820d81158e1a54c99fc287 # shrinks to (items, k) = ([0, 0], 2)