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