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