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