# 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.
xs 303997414 3875786137 902888826 1248626096 # shrinks to original_bits = Bits(([86, 22, 221, 76, 33, 20, 120, 117, 202, 229, 208, 66, 94, 160, 118, 51, 226, 102, 62, 184, 59, 50, 138, 189, 42, 168, 98, 28, 46, 16, 188, 151, 29, 61, 163, 70, 45, 217, 125, 192, 76, 75, 150, 51, 79, 92, 169, 42, 193, 141, 225, 21, 200, 123, 54, 54, 59, 148, 41, 32, 152, 232, 189, 244, 167, 243, 84, 159, 181, 73, 160, 229, 246, 92, 19, 138, 80, 116, 101, 143, 73, 176, 62, 29, 84, 39, 43, 223, 27, 33, 41, 223, 23, 51, 216, 142, 87, 205, 143, 210, 68, 25, 98, 106, 124, 85, 102, 145, 24, 4, 169, 104, 174, 35, 0, 21, 18, 224, 93, 202, 41, 38, 191, 94, 80, 27, 65, 74, 122, 112, 169, 201, 146, 23, 109, 185, 72, 26, 22, 50, 227, 229, 228, 69, 46, 0, 82, 106, 17, 175, 20, 52, 139, 31, 175, 241, 53, 231, 203, 195, 231, 186, 16, 183, 59, 180, 150, 65, 25, 93, 73, 116, 172, 41, 128, 222, 41, 26, 235, 208, 159, 198, 81, 229, 6, 75, 79, 173, 124, 4, 179, 140, 196, 145, 199, 35, 158, 45, 26, 166, 78, 223, 50, 57, 137, 159, 46, 64, 118, 68, 162, 147, 118, 101, 54, 97, 140, 224, 248, 35, 34, 46, 3, 166, 105, 58, 179, 239, 57, 119, 2, 80, 222, 226, 79, 227, 104, 35, 103, 205, 62, 100, 172, 100, 116, 156, 211, 209, 73, 181, 121, 217, 74, 159, 34, 107, 206, 68, 211, 155, 244, 2, 234, 54, 37, 248, 169, 52, 207, 18, 173, 24, 191, 1, 116, 139, 118, 42, 55, 179, 252, 85, 54, 0, 40, 23, 107, 43, 136, 15, 50, 142, 5, 46, 9, 143, 199, 55, 217, 122, 241, 162, 57, 136, 236, 11, 111, 82], 0))
