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