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