# 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 9386a1f977970c9ade128c723eef49e55330510e9ebda7eb0d6bd648a6ca5606 # shrinks to a = Posit(0b1111111111111110), b = Posit(0b0000000000000001)
cc f63dd405204ede774b71f94f180e0b8ea9d49ac539f8046640fd394a718b69dd # shrinks to a = Posit(0b11111111111111111111111111111101), b = Posit(0b11111111111111111111111111111111)
cc 8fe4feffe78f6f9a4b92e7e77dbc5da66b44ef4cacc439742a10d16c5caf9073 # shrinks to a = Posit(0b1111111111111111111111111111111111111111111111111111111111111110), b = Posit(0b1111111111111111111111111111111111111111111111111111111111111111)
cc a4356c3ff804d37dc52a2a67bd4d93fa1b0d36c721ca9d082d799ac7b1fd6a53 # shrinks to a = Posit(0b1100011100110111), b = Posit(0b1001100000000000)
cc befce6f83dc0d7415675158f6a4b6dec88a95c9a237a80a50e5eb49d68241675 # shrinks to a = Posit(0b11110000100110101101010001101000), b = Posit(0b11011001110010000101110111011100)
cc 8218bdc346c03191ea44d258ccb92941f45c874c8fd75e03493771686b742840 # shrinks to a = Posit(0b1011000101100011011010110000101011010001000100011011010011100010), b = Posit(0b1110000101011001101111011111110111010101110001100111010101101111)
cc 746eb05e3fe1ec105fb8950ba3d7306e0cbfff0537f00a77d4938f118c9884db # shrinks to a = Posit(0b1110101100010010), b = Posit(0b1101100100110011)
cc 22780ac9cb13ba22425e3decfedbf249bec403289f33606af85fa9eed105bce4 # shrinks to a = Posit(0b1101111101101000000110011011000100111100100100000001100101001100), b = Posit(0b0010110110010011100100100101001101101110001101100010011000000111)
cc 3de117e1df081c0292e06bebf1bce79ca92029f006226412013f802f656d09d9 # shrinks to a = Posit(0b0101011110100011010101100001111111111110111000000010000010110011), b = Posit(0b1011101000101110111000010010010100001111001101001111000100011010)
