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