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