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