# 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 497e6997b6dbf42c9ad584e8791b3555418b62b4221994d5f81ec89c410d0a55 # shrinks to int = -1
cc 950473fca241e508136837985958f5e64ed28bcee55bde33c2b270259866e64f # shrinks to int = -1
cc 368bf422288915e6f9fbc0178771cbd9d50fdeffb4794a0f16498d676c145763 # shrinks to int = 26
cc 438bbb192e06fe6c8dd26b3914fff35eda7fd2b26bf0c204b3a77324cc7f6329 # shrinks to int = -11
cc 1130bad37520b7c2f59968feb98dcf50198d5e41645f6161d62ae07596c6cc2b # shrinks to int = -18446744073709551617
cc fd59dca245f23ef9c8f0eb0e2559c91956179b10b07c60eb2c63a269da90998b # shrinks to int = 332306998946228968225951765070086145
cc 1b4ffa6f0305e33841d5e175e7b43ed32268fe0225b9c44a1b6f95a3eaf91804 # shrinks to int = 524288
cc 715292d295b995df8fba487d53642536e7003c9c88aeced00f011e9dce562ff8 # shrinks to int = 2251799813685248
cc ff1c95e7aa6963b246ab73ef8a4635a90d0d1547367aacf07fdae749f22c19c1 # shrinks to int = 1
cc ef6a42f966d301abfed5170bf22b059e3c86402b13e5bbed35fbddb5416e9042 # shrinks to p = Posit(0b10010011111111111111111111111111)
cc 2ea2bf66539ab35d93e2a06c564db455ab9a726d7f2f1cabd9d323bb901b51d3 # shrinks to p = Posit(0b10000100111111111111111111111111)
cc 596ca875f79a3e6cf6cb698e848a3b011afdbb29b02f2cc63353810f5d8bd8fe # shrinks to p = Posit(0b1000010011111111111111111111111111111111111111111111111111111111)
cc d44dcb5fd96645da7d21332b8410ae1cd006eea5f286d4440019336bef12b7e2 # shrinks to p = Posit(0b1000000001001111111111111111111111111111111111111111111111111111)
cc c6e051df70425f40659532fcc3348c8166ec53cc21e9b07bd1781f498b7dfea7 # shrinks to p = Posit(0b01101011111100000000000000000001)
cc f1a2eb39f7067e3a0db8468f7b45a1f867b0c715bdfd7258d0cccdd475dedbc9 # shrinks to p = Posit(0b01101011111100000000000000000001)
cc 52ebc3929874bd8fb5f89eefdffebc154702f883b483d5d92dd99b218284c06d # shrinks to int = -1
