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