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