# 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 9da71d572072c4df5ce956205d44e3798bede2ff5241e5a14a437fd411a6f003 # shrinks to data = [169, 254, 214, 73, 3, 78, 100, 220, 59, 7, 185, 202, 115, 192, 23, 128, 110, 38, 105, 25, 187, 138, 52, 170, 74, 34, 184, 99, 155, 3, 81, 7, 78, 214, 191, 163, 17, 233, 34, 29, 112, 250, 161, 213, 191, 145, 20, 1, 240, 82, 101, 216, 65, 203, 192, 14, 62, 19, 120, 90, 93, 155, 72, 146, 133, 49, 184, 194, 165, 64, 138, 50, 132, 231, 95, 140, 6, 183, 32, 15, 61, 60, 147, 71, 142, 76, 35, 193, 114, 42, 164, 192, 59, 141, 28, 83, 99, 232, 135, 153, 215, 201, 20, 71, 89, 150, 55, 180, 232, 248, 93, 73, 250, 196, 145, 21, 44, 176, 114, 187, 209, 253, 219, 226, 236, 22, 70, 23, 226, 105, 176, 143, 237, 58, 1, 27, 254, 49, 92, 255, 11, 7, 17, 169, 194, 101, 101, 243, 113, 53, 129, 180, 121, 8, 78, 60, 61, 2, 146, 241, 1, 213, 180, 243, 237, 147, 32, 144, 129, 108, 166, 253, 44, 152, 185, 171, 112, 155, 45, 193, 204, 209, 245, 139, 75, 70, 202, 77, 61, 40, 80, 164, 249, 28, 116, 159, 112, 8, 133, 3, 183, 98, 252, 83, 222, 52, 157, 252, 49, 134, 73, 151, 186, 91, 40, 128, 76], n = 374
cc 1e77d113bdec0eba9ac0e8abfb38ed4590d291ee7987af5b8b178185e52f1d68 # shrinks to data = [248, 58, 45, 155, 118, 123, 83, 228, 119, 223, 25, 108, 83, 185, 176, 39, 52, 52, 36, 156, 130, 138, 120, 110, 156, 101, 16, 226, 97, 90, 116, 210, 46, 29, 103, 82, 78, 190, 124, 152, 154, 237, 60, 149, 68, 148, 190, 191, 248, 42, 166, 78, 184, 168, 108, 116, 196, 108, 17, 142, 176, 137, 67, 91, 145, 141, 198, 130, 193, 206, 154, 57, 81, 243, 192, 129, 174, 80, 121, 240, 0, 71, 79, 136, 58, 86, 115, 43, 192, 150, 190, 64, 95, 160, 226, 28, 32, 161, 121, 171, 202, 125, 27, 20, 250, 130, 12, 81, 102, 195, 204, 108, 66, 240, 245, 177, 111, 178, 114, 46, 242, 239, 85, 63, 104, 0, 148, 27, 119, 88, 194, 72, 43, 173, 152, 28, 66, 244, 16, 21, 222, 150, 61, 195, 16, 122, 10, 196, 84, 198, 189, 17, 242, 162, 82, 84, 238, 65, 31, 232, 44, 83, 63, 84, 43, 169, 229, 60, 174, 179, 153, 201, 255, 152, 20, 110, 247, 135, 164, 188, 24, 202, 93, 43, 140, 178, 163, 89, 119, 153, 139, 232, 173, 101, 230, 73, 138, 26, 216, 249, 224, 170, 6, 32, 141, 45, 138, 65, 34, 178, 41, 57, 41, 96, 137, 89, 1, 62, 28, 213, 190, 194, 123, 96, 36, 14, 237, 33, 157, 253, 198, 204, 9, 215, 163, 164, 221, 246, 57, 114, 26, 75, 78, 63, 121, 63, 38, 17, 226, 248, 241, 207, 81, 79, 247, 116, 188, 152, 116, 182, 99, 92, 251, 22, 20, 97, 91, 249, 90, 125, 68, 94, 194, 225, 141, 105, 210, 135, 141, 63, 50, 153], n = 1511
