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