# 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 1fbfe7264563272f86ba3b12ea70cb75c8053c0ca58de35c6de9a1d294473e7b # shrinks to ipv4_header = Ipv4Header { dscp: Ipv4Dscp(0), ecn: Ipv4Ecn(0), total_len: 18538, identification: 0, dont_fragment: false, more_fragments: false, fragment_offset: IpFragOffset(6350), time_to_live: 0, protocol: 2 (IGMP - Internet Group Management), header_checksum: 16491, source: [0, 0, 0, 0], destination: [0, 0, 0, 0], options: [] }, ipv4_exts = Ipv4Extensions { auth: Some(IpAuthHeader { next_header: 17 (UDP - User Datagram), spi: 3883027753, sequence_number: 2737770242, raw_icv: [66, 182, 216, 215, 50, 209, 106, 93, 188, 185, 64, 107, 50, 111, 71, 46, 149, 253, 240, 159, 230, 109, 201, 96, 79, 208, 199, 225, 64, 182, 63, 18, 110, 90, 51, 74, 28, 121, 65, 68, 61, 213, 152, 169, 105, 159, 225, 107, 69, 227, 252, 164, 190, 116, 170, 115, 191, 38, 90, 224, 76, 101, 59, 18, 53, 177, 153, 192, 187, 236, 68, 184, 22, 194, 149, 157, 135, 53, 50, 18, 59, 34, 67, 231, 238, 7, 0, 241, 1, 242, 167, 0, 136, 71, 58, 239, 226, 16, 236, 51, 240, 40, 144, 245, 191, 23, 204, 101, 104, 187, 63, 236, 196, 200, 13, 4, 111, 165, 86, 69, 109, 146, 131, 84, 14, 0, 10, 247, 40, 117, 230, 4, 75, 108, 125, 201, 251, 38, 166, 35, 185, 48, 215, 142, 191, 114, 63, 162, 112, 84, 81, 94, 169, 144, 19, 99, 3, 243, 3, 125, 192, 189, 82, 57, 99, 24, 51, 61, 171, 236, 0, 203, 170, 234, 61, 5, 86, 62, 183, 241, 93, 99, 208, 107, 247, 149, 35, 31, 39, 72, 57, 250, 187, 114, 25, 17, 193, 202, 204, 218, 172, 242, 201, 77, 133, 49, 8, 111, 186, 243, 11, 209, 113, 74, 117, 126, 217, 179, 60, 48, 74, 11, 100, 118, 42, 14, 111, 78, 105, 93, 69, 229, 14, 151, 114, 96, 133, 60, 216, 100, 248, 150, 203, 154, 168, 170, 230, 8, 8, 98, 163, 248, 149, 160, 141, 139, 63, 251, 202, 226, 28, 173, 144, 16, 2, 29, 155, 128, 125, 162, 178, 16, 218, 45, 222, 72, 155, 21, 58, 7, 218, 249, 61, 53, 91, 236, 221, 80, 97, 225, 253, 122, 6, 233, 211, 183, 44, 57, 126, 106, 134, 42, 152, 233, 18, 1, 241, 228, 241, 33, 113, 192, 234, 61, 182, 189, 24, 74, 167, 3, 82, 32, 226, 19, 29, 169, 87, 221, 105, 243, 82, 132, 3, 53, 190, 115, 234, 249, 54, 11, 13, 50, 177, 89, 171, 4, 141, 226, 8, 92, 65, 227, 142, 17, 129, 154, 47, 40, 181, 112, 139, 12, 230, 12, 56, 194, 111, 11, 104, 61, 178, 101, 128, 126, 189, 121, 254, 89, 79, 151, 122, 178, 43, 55, 108, 197, 88, 229, 176, 123, 32, 221, 145, 114, 58, 191, 132, 147, 164, 110, 191, 26, 3, 140, 193, 147, 121, 68, 101, 139, 18, 0, 35, 237, 153, 32, 228, 134, 238, 196, 167, 48, 187, 73, 187, 136, 59, 25, 67, 47, 192, 114, 119, 234, 14, 76, 98, 109, 45, 112, 135, 181, 69, 103, 188, 184, 137, 105, 142, 33, 255, 174, 96, 75, 34, 147, 9, 91, 109, 213, 70, 8, 20, 218, 217, 249, 25, 121, 124, 237, 138, 161, 73, 138, 248, 23, 188, 226, 204, 167, 120, 135, 94, 38, 191, 105, 37, 64, 176, 126, 107, 87, 225, 67, 254, 108, 161, 246, 122, 189, 199, 150, 36, 138, 139, 211, 227, 204, 53, 233, 89, 223] }) }, ipv6_header = Ipv6Header { traffic_class: 154, flow_label: Ipv6FlowLabel(861270), payload_length: 56480, next_header: 114 (any 0-hop protocol), hop_limit: 22, source: [220, 109, 20, 44, 182, 208, 142, 209, 157, 78, 179, 231, 195, 135, 19, 28], destination: [73, 191, 150, 175, 186, 61, 182, 142, 189, 1, 71, 193, 91, 26, 174, 15] }, mut ipv6_exts = Ipv6Extensions { hop_by_hop_options: None, destination_options: None, routing: None, fragment: None, auth: Some(IpAuthHeader { next_header: 17 (UDP - User Datagram), spi: 2021021679, sequence_number: 165850750, raw_icv: [168, 212, 254, 154, 236, 93, 243, 36, 217, 177, 145, 13, 21, 62, 45, 216, 1, 220, 178, 13, 80, 237, 143, 196, 107, 115, 107, 216, 116, 209, 227, 217, 42, 13, 85, 241, 56, 143, 134, 63, 219, 45, 163, 158, 238, 35, 51, 64, 236, 184, 37, 161, 231, 144, 221, 82, 128, 247, 124, 167, 35, 140, 225, 125, 59, 20, 254, 189, 55, 160, 62, 25, 103, 40, 135, 108, 204, 159, 220, 214, 215, 13, 134, 197, 137, 119, 172, 152, 211, 125, 154, 144, 97, 181, 0, 135, 42, 253, 123, 171, 1, 254, 65, 219, 182, 98, 38, 79, 34, 147, 93, 59, 70, 136, 245, 40, 90, 149, 255, 242, 22, 170, 253, 98, 30, 215, 246, 249, 136, 129, 198, 30, 89, 7, 233, 74, 255, 84, 36, 43, 49, 117, 62, 51, 210, 94, 204, 212, 153, 235, 103, 38, 246, 102, 50, 110, 208, 87, 105, 151, 80, 154, 214, 63, 159, 116, 207, 102, 194, 145, 104, 127, 180, 62, 190, 124, 242, 197, 54, 26, 188, 41, 127, 14, 238, 45, 56, 44, 217, 244, 33, 123, 109, 148, 17, 220, 138, 251, 129, 75, 59, 29, 230, 87, 25, 81, 233, 228, 74, 218, 166, 107, 14, 96, 157, 130, 171, 29, 28, 152, 18, 248, 3, 137, 76, 115, 19, 194, 142, 195, 151, 215, 197, 190, 16, 185, 200, 71, 220, 1, 16, 181, 30, 149, 248, 28, 78, 249, 71, 116, 42, 52, 124, 244, 34, 96, 87, 206, 181, 252, 113, 27, 217, 11, 237, 35, 220, 228, 198, 93, 22, 172, 38, 217, 218, 111, 46, 166, 188, 183, 161, 208, 6, 100, 136, 41, 101, 68, 72, 80, 207, 47, 62, 253, 131, 221, 178, 5, 174, 172, 120, 236, 99, 252, 198, 177, 7, 137, 84, 242, 254, 237, 20, 118, 106, 155, 185, 48, 65, 112, 239, 76, 43, 40, 33, 185, 75, 94, 170, 157, 42, 7, 72, 29, 57, 194, 228, 92, 195, 116, 230, 235, 17, 248, 85, 181, 98, 99, 134, 232, 112, 141, 4, 77, 251, 43, 121, 102, 126, 2, 253, 109, 82, 89, 8, 161, 78, 96, 243, 22, 129, 53, 213, 188, 81, 4, 252, 38, 99, 175, 127, 54, 143, 6, 156, 103, 126, 128, 19, 129, 57, 199, 34, 96, 10, 191, 178, 243, 180, 185, 75, 108, 105, 182, 99, 163, 138, 153, 1, 214, 220, 145, 119, 69, 242, 102, 210, 21, 93, 215, 26, 151, 13, 30, 68, 147, 72, 172, 12, 129, 183, 35, 122, 166, 9, 245, 44, 162, 99, 213, 89, 245, 223, 169, 20, 29, 105, 225, 228, 76, 48, 41, 212, 53, 51, 180, 30, 70, 3, 255, 200, 173, 237, 217, 4, 139, 50, 188, 53, 125, 204, 152, 74, 233, 9, 37, 34, 80, 4, 115, 59, 89, 155, 165, 188, 42, 28, 215, 162, 99, 16, 207, 25, 110, 52, 46, 174, 221, 124, 99, 165, 56, 69, 147, 49, 94, 34, 46, 87, 107, 193, 43, 96, 241, 187, 173, 203, 128, 41, 25, 61, 229, 27, 65, 94, 13, 90, 157, 245, 212, 60, 14, 149, 227, 89, 58, 191, 76, 19, 125, 181, 57, 83, 235, 107, 139, 65, 121, 170, 178, 174, 89, 255, 91, 225, 142, 238, 229, 143, 158, 165, 162, 11, 17, 30, 250, 146, 248, 115, 253, 245, 231, 162, 227, 129, 251, 110, 52, 226, 1, 181, 49, 56, 246, 22, 105, 175, 60, 9, 201, 29, 217, 183, 13, 19, 42, 131, 113, 41, 245, 168, 244, 48, 246, 73, 130, 245, 191, 251, 218, 66, 216, 241, 87, 96, 215, 106, 184, 51, 215, 57, 123, 203, 222, 212, 239, 103, 48, 166, 137, 34, 35, 66, 112, 67, 175, 72, 166, 225, 50, 49, 28, 197, 105, 187, 175, 221, 179, 223, 176, 167, 144, 4, 61, 73, 177, 139, 235, 183, 50, 123, 143, 53, 71, 48, 123, 92, 32, 108, 109, 72, 97, 230, 168, 79, 234, 164, 200, 179, 32, 229, 57, 190, 230, 83, 196, 125, 153, 181, 228, 82, 50, 79, 69, 31, 148, 169, 139, 234, 201, 238, 161, 185, 42, 171, 109, 50, 5, 168, 149, 65, 132, 15, 171, 67, 156, 194, 52, 246, 84, 102, 250, 191, 86, 181, 58, 150, 211, 152, 91, 221, 37] }) }
cc 81d67fdba5d3d26fe6a434f3250028ad11efa8690605dcc1e729b9093d89319c # shrinks to ipv4_header = Ipv4Header { dscp: Ipv4Dscp(45), ecn: Ipv4Ecn(0), total_len: 35920, identification: 26558, dont_fragment: false, more_fragments: false, fragment_offset: IpFragOffset(3059), time_to_live: 229, protocol: 140 (Shim6 - Shim6 Protocol), header_checksum: 29111, source: [0, 0, 0, 12], destination: [13, 185, 25, 66], options: [] }, ipv4_exts = Ipv4Extensions { auth: None }, ipv6_header = Ipv6Header { traffic_class: 96, flow_label: Ipv6FlowLabel(567850), payload_length: 15281, next_header: 129 (IPLT), hop_limit: 124, source: [123, 234, 234, 217, 50, 16, 172, 178, 115, 31, 106, 193, 161, 59, 216, 72], destination: [73, 48, 180, 251, 82, 7, 64, 168, 191, 3, 137, 226, 189, 213, 123, 92] }, mut ipv6_exts = Ipv6Extensions { hop_by_hop_options: Some(Ipv6RawExtHeader { next_header: 60 (IPv6-Opts - Destination Options for IPv6), payload: [65, 49, 230, 46, 53, 132, 222, 119, 14, 131, 44, 89, 151, 176, 149, 43, 138, 235, 188, 94, 138, 133, 129, 1, 200, 242, 114, 42, 112, 227, 62, 255, 60, 209, 162, 71, 140, 16, 124, 213, 51, 135, 158, 229, 159, 209, 175, 114, 164, 231, 131, 107, 231, 31, 38, 205, 233, 170, 238, 239, 98, 56, 112, 253, 15, 127, 117, 244, 62, 127, 46, 215, 170, 51, 150, 173, 22, 187, 12, 97, 82, 50, 175, 99, 248, 50, 111, 40, 207, 62, 193, 64, 203, 228, 113, 223, 43, 136, 122, 117, 58, 214, 9, 186, 14, 64, 59, 158, 16, 39, 14, 85, 6, 150, 223, 148, 96, 136, 94, 18, 102, 159, 59, 106, 244, 75, 2, 0, 161, 45, 68, 218, 207, 182, 228, 237, 72, 138, 230, 238, 239, 230, 89, 201, 228, 29, 13, 158, 92, 245, 234, 133, 45, 133, 231, 107, 226, 213, 41, 241, 184, 170, 216, 14, 176, 161, 155, 132, 248, 90, 182, 107, 71, 237, 93, 67, 113, 106, 20, 20, 235, 102, 28, 156, 213, 219, 37, 140, 96, 13, 193, 174, 31, 161, 49, 148, 168, 183, 164, 101, 44, 63, 71, 42, 216, 226, 155, 4, 188, 72, 203, 56, 43, 188, 68, 56, 213, 103, 135, 176, 145, 174, 173, 65, 167, 242, 240, 33, 102, 48, 252, 254, 49, 115, 230, 134, 35, 202, 155, 133, 36, 83, 45, 169, 92, 249, 37, 35, 9, 154, 234, 138, 182, 178, 236, 96, 219, 77, 38, 245, 209, 187, 93, 203, 210, 13, 42, 228, 119, 8, 210, 132, 243, 166, 200, 41, 105, 233, 183, 154, 81, 35, 8, 243, 160, 211, 180, 221, 223, 139, 31, 104, 248, 156, 16, 53, 193, 72, 73, 152, 105, 237, 119, 154, 114, 25, 108, 147, 135, 82, 62, 219, 228, 245, 114, 129, 65, 106, 13, 59, 226, 123, 182, 0, 115, 189, 110, 211, 55, 248, 232, 205, 51, 185, 103, 249, 76, 200, 221, 88, 220, 76, 39, 151, 116, 179, 237, 54, 7, 226, 165, 242, 221, 218, 248, 253, 157, 72, 248, 126, 29, 38, 110, 113, 110, 10, 38, 157, 64, 249, 250, 225, 129, 104, 130, 17, 194, 159, 255, 248, 61, 214, 62, 83, 47, 142, 3, 128, 202, 110, 7, 150, 92, 233, 201, 187, 40, 214, 250, 80, 129, 242, 8, 100, 145, 141, 172, 129, 12, 64, 43, 176, 178, 82, 152, 176, 180, 11, 62, 238, 162, 62, 113, 132, 102, 80, 84, 25, 72, 219, 133, 159, 16, 96, 58, 104, 114, 99, 239, 198, 4, 101, 20, 21, 209, 94, 102, 239, 58, 125, 85, 30, 238, 10, 156, 155, 90, 242, 196, 197, 187, 60, 63, 232, 231, 101, 207, 162, 218, 14, 140, 152, 213, 176, 122, 67, 20, 247, 176, 138, 124, 179, 86, 126, 239, 174, 109, 132, 64, 138, 232, 253, 101, 147, 112, 29, 160, 72, 106, 11, 33, 149, 37, 60, 223, 188, 196, 114, 5, 20, 149, 9, 186, 90, 233, 14, 227, 95, 72, 89, 220, 112, 205, 108, 210, 176, 35, 150, 178, 194, 85, 187, 210, 55, 36, 38, 221, 214, 48, 43, 13, 234, 58, 24, 35, 232, 39, 95, 181, 64, 17, 203, 142, 79, 231, 73, 118, 232, 238, 152, 67, 236, 75, 92, 148, 225, 128, 90, 223, 241, 82, 174, 241, 142, 197, 160, 66, 151, 34, 18, 249, 42, 64, 253, 63, 118, 21, 238, 245, 30, 157, 83, 77, 124, 226, 170, 41, 20, 184, 218, 163, 106, 124, 23, 252, 18, 184, 127, 50, 29, 99, 162, 36, 85, 244, 170, 145, 195, 80, 162, 152, 112, 214, 148, 58, 253, 89, 207, 20, 37, 157, 170, 9, 50, 105, 81, 189, 118, 40, 27, 39, 246, 146, 194, 165, 77, 19, 221, 194, 108, 254, 88, 217, 192, 116, 208, 0, 108, 151, 191, 192, 116, 68, 46, 222, 66, 237, 238, 94, 23, 60, 209, 180, 132, 188, 117, 144, 231, 223, 176, 248, 100, 158, 78, 156, 140, 66, 214, 235, 52, 82, 200, 33, 117, 232, 104, 77, 216, 145, 140, 251, 168, 237, 178, 167, 139, 73, 243, 158, 207, 112, 167, 122, 21, 173, 191, 108, 173, 248, 80, 147, 18, 255, 28, 22, 248, 227, 22, 174, 34, 32, 185, 146, 246, 212, 15, 216, 62, 127, 171, 66, 28, 193, 77, 52, 217, 35, 18, 38, 163, 204, 210, 43, 167, 17, 74, 220, 97, 171, 116, 132, 40, 112, 68, 146, 185, 228, 56, 122, 91, 201, 73, 6, 13, 169, 252, 215, 213, 52, 140, 32, 240, 72, 182, 55, 137, 26, 142, 10, 161, 97, 151, 123, 171, 29, 13, 93, 210, 83, 128, 121, 152, 148, 131, 221, 153, 210, 45, 0, 24, 73, 15, 212, 139, 243, 208, 38, 79, 36, 118, 248, 211, 147, 254, 115, 179, 93, 132, 245, 26, 216, 240, 107, 245, 16, 1, 183, 138, 44, 148, 181, 137, 238, 251, 40, 212, 254, 43, 158, 143, 80, 104, 22, 37, 226, 88, 12, 3, 8, 224, 21, 236, 255, 36, 125, 239, 183, 138, 231, 222, 163, 91, 178, 146, 64, 0, 156, 197, 80, 188, 204, 31, 62, 47, 214, 68, 91, 93, 123, 223, 31, 136, 181, 125, 195, 127, 128, 98, 57, 223, 199, 195, 113, 135, 135, 208, 160, 157, 160, 244, 146, 137, 109, 219, 229, 205, 6, 200, 194, 210, 144, 11, 217, 120, 53, 213, 179, 13, 1, 221, 205, 192, 64, 184, 211, 103, 25, 215, 17, 24, 30, 184, 169, 245, 128, 63, 124, 173, 61, 147, 173, 157, 248, 13, 2, 179, 37, 54, 171, 147, 97, 185, 72, 239, 67, 97, 104, 13, 113, 223, 141, 78, 241, 193, 82, 253, 217, 9, 89, 147, 203, 251, 217, 190, 168, 134, 81, 12, 214, 176, 196, 1, 108, 141, 224, 129, 9, 157, 28, 153, 13, 51, 244, 35, 236, 97, 180, 121, 9, 203, 109, 195, 124, 181, 139, 34, 53, 211, 174, 85, 207, 188, 235, 28, 210, 215, 11, 14, 251, 219, 147, 4, 81, 226, 5, 196, 91, 37, 183, 48, 58, 183, 146, 21, 27, 100, 67, 187, 68, 3, 241, 241, 13, 230, 135, 113, 228, 126, 212, 236, 126, 163, 152, 1, 220, 204, 89, 34, 27, 216, 122, 228, 140, 39, 26, 2, 72, 9, 140, 226, 40, 197, 125, 64, 103, 171, 238, 61, 11, 56, 78, 157, 143, 212, 231, 66, 146, 140, 153, 37, 3, 155, 24, 169, 56, 40, 59, 246, 13, 12, 154, 119, 121, 72, 115, 246, 162, 161, 208, 120, 12, 140, 213, 132, 65, 127, 29, 17, 140, 17, 121, 195, 111, 141, 70, 27, 142, 10, 249, 106, 212, 151, 240, 91, 213, 237, 198, 224, 47, 133, 193, 179, 36, 76, 226, 148, 151, 216, 242, 47, 135, 119, 103, 90, 125, 184, 161, 94, 192, 4, 232, 72, 248, 219, 93, 138, 170, 252, 135, 16, 25, 239, 26, 170, 62, 36, 181, 7, 140, 42, 170, 101, 63, 223, 169, 98, 175, 121, 165, 15, 121, 38, 254, 59, 154, 107, 194, 100, 3, 160, 215, 74, 43, 74, 140, 242, 254, 156, 241, 161, 73, 126, 87, 168, 83, 100, 179, 161, 199, 72, 240, 242, 32, 197, 118, 67, 140, 29, 51, 140, 143, 127, 125, 95, 102, 140, 6, 122, 68, 204, 101, 172, 177, 47, 121, 50, 118, 126, 84, 102, 39, 146, 39, 47, 114, 200, 48, 232, 192, 179, 124, 2, 198, 88, 50, 231, 186, 16, 96, 181, 42, 160, 226, 130, 231, 65, 109, 250, 237, 159, 24, 128, 144, 133, 180, 212, 126, 99, 138, 158, 195, 163, 246, 136, 107, 120, 41, 188, 153, 94, 87, 73, 61, 177, 166, 72, 56, 226, 115, 82, 51, 108, 160, 62, 154, 105, 163, 59, 251, 72, 230, 91, 77, 3, 9, 155, 255, 45, 201, 71, 104, 226, 58, 181, 159, 23, 7, 133, 243, 254, 240, 61, 213, 215, 3, 211, 22, 21, 189, 133, 25, 160, 218, 56, 107, 13, 254, 166, 255, 19, 28, 113, 217, 174, 244, 232, 193, 27, 139, 166, 84, 205, 133, 65, 20, 250, 64, 235, 172, 76, 12, 135, 217, 242, 197, 233, 109, 124, 203, 65, 221, 228, 70, 107, 129, 177, 35, 37, 101, 202, 183, 63, 179, 168, 189, 49, 45, 222, 102, 146, 185, 6, 65, 50, 246, 219, 102, 55, 21, 42, 136, 196, 105, 168, 61, 53, 74, 110, 183, 15, 6, 240, 203, 101, 103, 116, 114, 80, 103, 177, 32, 176, 5, 188, 18, 171, 223, 55, 144, 98, 74, 204, 237, 53, 251, 137, 152, 1, 130, 76, 164, 61, 222, 67, 255, 68, 53, 213, 194, 72, 198, 62, 19, 82, 64, 138, 9, 132, 176, 232, 139, 47, 112, 163, 96, 190, 242, 22, 132, 5, 230, 59, 219, 94, 244, 237, 211, 152, 229, 162, 119, 23, 76, 93, 3, 172, 60, 201, 167, 178, 16, 231, 193, 2, 226, 95, 12, 203, 201, 159, 41, 139, 199, 172, 61, 124, 224, 95, 184, 184, 25, 244, 131, 148, 112, 234, 121, 0, 85, 199, 131, 95, 77, 189, 237, 110, 180, 6, 98, 24, 111, 222, 10, 189, 233, 79, 114, 129, 224, 89, 224, 37, 99, 63, 254, 31, 142, 215, 53, 204, 55, 193, 163, 104, 195, 78, 182, 60, 90, 132, 250, 195, 51, 78, 253, 146, 243, 33, 16, 211, 118, 191, 218, 15, 80, 87, 208, 248, 58, 12, 154, 21, 181, 68, 113, 137, 225, 0, 163, 176, 168, 83, 35, 67, 128, 223, 140, 235, 140, 75, 215, 86, 153, 254, 120, 229, 227, 138, 216, 119, 205, 235, 150, 158, 222, 93, 54, 23, 220, 107, 22, 139, 210, 152, 19, 227, 45, 155, 6, 252, 158, 178, 172, 14, 173, 150, 113, 250, 152, 182, 202, 185, 176, 164, 210, 122, 192, 189, 162, 84, 133, 66, 126, 198, 158, 162, 182, 158, 255, 37, 100, 247, 227, 33, 58, 87, 218, 104, 147, 47, 182, 0, 93, 65, 68, 7, 168, 169, 52, 182] }), destination_options: Some(Ipv6RawExtHeader { next_header: 43 (IPv6-Route - Routing Header for IPv6), payload: [225, 88, 122, 111, 189, 104, 252, 254, 225, 201, 108, 106, 94, 37, 20, 107, 200, 193, 109, 13, 8, 246, 138, 253, 149, 13, 43, 229, 45, 186, 98, 123, 13, 87, 215, 162, 100, 147, 32, 4, 254, 196, 253, 207, 19, 19, 136, 216, 60, 44, 38, 31, 195, 21, 236, 187, 223, 206, 67, 157, 75, 126, 176, 113, 41, 89, 244, 30, 219, 225, 23, 193, 253, 35, 143, 90, 36, 19, 50, 163, 182, 247, 240, 158, 191, 78, 207, 245, 186, 102, 190, 130, 11, 34, 179, 67, 110, 53, 93, 142, 98, 172, 163, 174, 19, 122, 180, 175, 123, 49, 117, 94, 20, 22, 190, 190, 232, 178, 22, 210, 137, 181, 94, 99, 59, 129, 196, 215, 65, 9, 247, 144, 248, 248, 254, 26, 68, 52, 117, 9, 104, 161, 81, 170, 117, 196, 136, 0, 113, 243, 149, 144, 7, 246, 38, 186, 13, 226, 195, 2, 205, 243, 150, 10, 81, 194, 15, 54, 246, 127, 14, 241, 132, 84, 161, 147, 197, 250, 193, 211, 47, 3, 59, 199, 140, 71, 243, 250, 87, 75, 191, 238, 113, 40, 183, 95, 168, 45, 136, 125, 45, 91, 150, 161, 244, 148, 194, 159, 33, 203, 74, 54, 109, 161, 112, 188, 54, 236, 134, 195, 97, 216, 16, 163, 195, 168, 234, 145, 56, 158, 78, 203, 237, 228, 90, 238, 116, 204, 127, 234, 249, 65, 2, 188, 113, 105, 35, 206, 76, 175, 250, 86, 203, 167, 27, 159, 39, 203, 120, 240, 172, 16, 199, 160, 231, 2, 11, 101, 163, 19, 16, 38, 116, 148, 50, 205, 154, 180, 232, 248, 184, 60, 54, 45, 186, 160, 138, 134, 27, 201, 21, 44, 11, 86, 48, 127, 128, 144, 183, 84, 176, 165, 103, 8, 4, 217, 0, 116, 89, 228, 58, 221, 156, 14, 98, 67, 4, 96, 105, 63, 67, 154, 98, 116, 22, 71, 101, 172, 227, 227, 135, 13, 59, 60, 150, 89, 113, 12, 76, 131, 40, 33, 220, 191, 225, 204, 220, 207, 235, 157, 167, 135, 170, 79, 123, 55, 90, 64, 10, 101, 148, 81, 32, 81, 64, 11, 47, 21, 11, 18, 144, 231, 139, 227, 234, 176, 93, 10, 42, 171, 117, 253, 97, 184, 123, 123, 15, 48, 46, 144, 154, 23, 74, 47, 225, 245, 27, 145, 200, 98, 20, 83, 127, 15, 79, 53, 203, 19, 202, 29, 165, 3, 187, 56, 159, 165, 28, 128, 84, 87, 88, 38, 177, 26, 52, 78, 248, 24, 186, 221, 195, 215, 50, 180, 168, 83, 13, 202, 224, 155, 3, 65, 143, 112, 147, 72, 237, 152, 68, 104, 117, 171, 119, 19, 45, 213, 127, 135, 64, 106, 107, 129, 154, 143, 169, 24, 153, 13, 114, 25, 113, 4, 115, 91, 183, 141, 34, 113, 116, 216, 203, 136, 146, 165, 112, 15, 93, 143, 174, 245, 1, 72, 168, 241, 182, 28, 193, 232, 147, 240, 133, 219, 118, 91, 139, 133, 88, 212, 85, 10, 249, 175, 87, 134, 101, 103, 112, 48, 90, 180, 130, 105, 45, 253, 212, 148, 104, 59, 0, 249, 133, 74, 97, 182, 231, 226, 225, 24, 248, 157, 120, 132, 223, 193, 207, 80, 39, 23, 89, 126, 80, 205, 16, 170, 113, 121, 63, 241, 32, 128, 2, 25, 162, 35, 184, 13, 38, 81, 140, 132, 160, 172, 148, 136, 139, 1, 98, 39, 23, 181, 108, 237, 142, 237, 16, 210, 61, 53, 160, 40, 57, 17, 3, 190, 101, 54, 214, 213, 173, 48, 223, 196, 217, 35, 139, 179, 226, 119, 133, 106, 60, 140, 61, 143, 158, 25, 72, 177, 49, 61, 137, 200, 189, 175, 62, 2, 83, 46, 154, 101, 49, 119, 93, 125, 246, 164, 68, 28, 242, 15, 177, 72, 55, 129, 213, 219, 203, 77, 240, 7, 224, 150, 12, 82, 55, 135, 99, 172, 238, 49, 85, 224, 5, 15, 220, 22, 227, 132, 167, 126, 199, 89, 131, 132, 97, 39, 137, 127, 137, 105, 216, 156, 208, 124, 146, 236, 242, 234, 241, 108, 32, 14, 135, 55, 152, 233, 3, 196, 203, 123, 39, 90, 8, 229, 202, 52, 138, 188, 220, 241, 192, 243, 168, 116, 166, 84, 12, 250, 59, 164, 1, 170, 114, 178, 28, 177, 28, 178, 122, 180, 32, 10, 86, 93, 127, 35, 162, 239, 69, 73, 102, 235, 51, 36, 120, 64, 183, 23, 210, 176, 227, 161, 15, 57, 3, 113, 105, 133, 255, 166, 208, 131, 173, 68, 182, 108, 15, 116, 119, 152, 222, 50, 197, 169, 44, 14, 231, 255, 243, 11, 25, 76, 55, 4, 241, 28, 105, 185, 163, 125, 229, 95, 255, 31, 244, 3, 141, 116, 227, 169, 76, 171, 4, 63, 133, 213, 38, 87, 179, 238, 73, 156, 176, 197, 92, 243, 241, 253, 166, 9, 144, 82, 120, 126, 81, 165, 100, 201, 24, 204, 78, 24, 117, 99, 29, 143, 222, 164, 236, 52, 107, 51, 67, 62, 143, 162, 67, 229, 248, 203, 0, 135, 206, 13, 240, 131, 42, 156, 135, 133, 157, 1, 127, 161, 150, 103, 137, 17, 117, 39, 197, 243, 190, 135, 17, 223, 207, 161, 108, 1, 240, 101, 114, 69, 65, 227, 72, 123, 90, 243, 216, 196, 16, 56, 21, 158, 181, 251, 101, 124, 136, 85, 23, 153, 28, 78, 75, 102, 197, 247, 43, 8, 69, 204, 4, 111, 157, 74, 226, 251, 252, 30, 81, 33, 60, 82, 103, 205, 59, 123, 221, 3, 71, 137, 9, 217, 239, 108, 243, 7, 111, 11, 60, 75, 85, 126, 3, 72, 8, 70, 73, 254, 181, 71, 115, 24, 70, 157, 182, 66, 14, 24, 110, 113, 127, 181, 0, 83, 189, 204, 147, 217, 120, 212, 75, 189, 243, 72, 0, 131, 245, 190, 139, 172, 247, 75, 147, 19, 149, 57, 181, 100, 248, 154, 81, 24, 216, 158, 179, 213, 176, 46, 3, 253, 24, 118, 158, 180, 206, 156, 253, 157, 120, 232, 34, 94, 220, 149, 13, 255, 120, 156, 172, 4, 189, 57, 236, 20, 168, 210, 98, 229, 103, 235, 240, 190, 249, 216, 164, 138, 66, 165, 152, 141, 7, 66, 215, 177, 123, 231, 230, 34, 71, 9, 160, 69, 239, 62, 19, 65, 67, 140, 82, 180, 66, 250, 23, 141, 138, 179, 162, 180, 189, 245, 122, 77, 188, 180, 93, 87, 46, 194, 39, 154, 194, 93, 217, 212, 84, 10, 160, 96, 200, 45, 158, 237, 197, 130, 129, 249, 221, 142, 245, 134, 56, 137, 23, 124, 202, 112, 185, 235, 219, 36, 12, 60, 40, 238, 159, 68, 90, 208, 137, 217, 6, 164, 56, 160, 117, 38, 97, 247, 29, 157, 14, 154, 60, 253, 38, 1, 138, 120, 79, 31, 67, 51, 223, 49, 197, 89, 210, 10, 84, 243, 15, 13, 64, 232, 46, 231, 236, 195, 121, 144, 80, 102, 25, 151, 106, 184, 191, 235, 117, 126, 208, 212, 42, 143, 113, 201, 92, 12, 61, 77, 132, 143, 54, 132, 150, 4, 43, 237, 212, 70, 95, 63, 60, 155, 231, 219, 103, 58, 5, 157, 155, 135, 18, 160, 54, 12, 101, 188, 25, 50, 66, 198, 58, 196, 232, 2, 24, 60, 217, 84, 71, 69, 175, 3, 144, 182, 187, 53, 223, 107, 102, 160, 24, 174, 151, 56, 223, 178, 66, 49, 211, 45, 174, 43, 154, 222, 61, 169, 52, 215, 42, 60, 144, 134, 92, 61, 255, 103, 242, 21, 65, 217, 175, 2, 52, 204, 50, 181, 29, 83, 224, 118, 2, 122, 243, 110, 57, 106, 60, 140, 138, 114, 19, 152, 100, 21, 146, 235, 69, 100, 132, 242, 115, 13, 232, 116, 34, 197, 133, 2, 246, 173, 60, 141, 12, 136, 77, 1, 91, 35, 36, 192, 155, 126, 248, 29, 141, 62, 92, 252, 139, 200, 150, 148, 80, 159, 187, 145, 151, 118, 243, 10, 46, 126, 203, 104, 12, 146, 141, 6, 73, 39, 195, 135, 196, 188, 64, 35, 212, 189, 49, 236, 126, 230, 157, 209, 10, 255, 128, 226, 176, 150, 43, 106, 107, 108, 175, 102, 232, 47, 253, 207, 206, 254, 73, 187, 110, 32, 186, 197, 200, 35, 20, 107, 56, 249, 179, 79, 148, 85, 202, 91, 128, 182, 11, 53, 96, 140, 35, 102, 142, 89, 155, 135, 20, 197, 81, 211, 134, 240, 170, 4, 217, 143, 59, 178, 45, 208, 10, 162, 153, 231, 126, 63, 45, 153] }), routing: Some(Ipv6RoutingExtensions { routing: Ipv6RawExtHeader { next_header: 44 (IPv6-Frag - Fragment Header for IPv6), payload: [41, 114, 193, 71, 183, 121, 174, 25, 173, 80, 132, 71, 219, 139, 73, 91, 168, 187, 166, 25, 56, 209, 167, 60, 44, 35, 44, 107, 86, 88, 28, 206, 142, 117, 35, 147, 51, 42, 157, 153, 122, 246, 46, 48, 247, 118, 77, 129, 16, 151, 140, 74, 124, 228, 242, 100, 174, 92, 95, 89, 118, 96, 212, 226, 179, 1, 230, 207, 8, 82, 111, 220, 239, 201, 180, 97, 54, 25, 7, 241, 54, 108, 139, 13, 5, 113, 23, 68, 102, 65, 251, 166, 24, 155, 94, 209, 18, 94, 76, 100, 235, 74, 250, 161, 247, 173, 62, 249, 233, 90, 111, 223, 3, 204, 49, 207, 56, 50, 63, 73, 60, 3, 88, 169, 34, 188, 105, 38, 209, 113, 11, 246, 76, 24, 141, 72, 227, 225, 156, 232, 234, 211, 246, 26, 197, 192, 251, 216, 201, 48, 200, 195, 244, 253, 182, 50, 146, 135, 11, 12, 253, 79, 2, 50, 76, 113, 9, 15, 252, 228, 229, 180, 71, 228, 216, 178, 108, 241, 186, 120, 135, 154, 50, 108, 22, 210, 181, 39, 108, 9, 175, 235, 200, 23, 37, 29, 47, 200, 1, 88, 192, 117, 45, 254, 118, 17, 150, 64, 150, 215, 212, 128, 115, 17, 83, 104, 33, 239, 235, 7, 75, 72, 204, 184, 232, 69, 91, 82, 114, 76, 173, 33, 111, 28, 177, 7, 32, 255, 142, 208, 6, 242, 111, 32, 160, 106, 3, 230, 99, 9, 200, 62, 223, 228, 46, 123, 70, 151, 83, 86, 86, 231, 242, 204, 191, 185, 227, 191, 36, 137, 6, 98, 39, 4, 192, 196, 36, 4, 28, 87, 190, 122, 239, 158, 79, 70, 67, 195, 145, 108, 24, 80, 253, 10, 122, 45, 69, 131, 128, 12, 158, 199, 237, 141, 51, 187, 216, 188, 39, 112, 137, 199, 160, 31, 68, 164, 129, 63, 155, 93, 238, 61, 122, 103, 217, 168, 243, 65, 42, 87, 173, 237, 195, 125, 30, 21, 10, 65, 196, 103, 26, 95, 253, 198, 223, 127, 209, 148, 186, 208, 119, 222, 138, 58, 7, 85, 36, 49, 183, 66, 52, 209, 43, 123, 13, 1, 121, 117, 159, 19, 190, 229, 198, 230, 176, 50, 64, 95, 64, 75, 21, 88, 213, 108, 93, 39, 78, 154, 108, 177, 101, 236, 225, 213, 240, 57, 19, 97, 0, 18, 23, 203, 23, 97, 134, 208, 232, 174, 47, 35, 28, 165, 214, 10, 160, 70, 159, 201, 166, 255, 13, 31, 132, 174, 71, 123, 198, 136, 117, 16, 44, 156, 29, 234, 177, 100, 32, 84, 232, 191, 161, 148, 21, 84, 6, 166, 230, 10, 255, 21, 81, 207, 182, 176, 239, 201, 140, 122, 164, 5, 230, 109, 11, 230, 183, 130, 223, 188, 202, 74, 108, 77, 247, 84, 148, 100, 94, 229, 202, 170, 87, 80, 180, 132, 67, 246, 87, 203, 18, 79, 128, 208, 70, 132, 155, 76, 95, 170, 22, 209, 163, 155, 57, 130, 194, 17, 2, 91, 138, 23, 158, 216, 159, 142, 8, 223, 240, 26, 192, 108, 177, 226, 23, 156, 89, 85, 210, 55, 6, 76, 128, 22, 110, 149, 47, 93, 13, 23, 183, 95, 200, 93, 159, 56, 112, 238, 141, 235, 248, 107, 142, 67, 207, 8, 40, 119, 37, 0, 172, 26, 0, 54, 225, 40, 231, 109, 75, 255, 98, 157, 227, 58, 53, 192, 180, 101, 40, 162, 78, 128, 124, 17, 81, 57, 236, 88, 148, 254, 135, 87, 91, 44, 164, 71, 105, 17, 66, 227, 240, 208, 37, 114, 0, 213, 117, 8, 217, 216, 92, 23, 152, 191, 187, 125, 34, 243, 64, 109, 39, 125, 161, 201, 188, 220, 159, 15, 180, 140, 238, 55, 171, 182, 155, 68, 33, 179, 40, 152, 219, 70, 53, 100, 217, 89, 228, 86, 142, 89, 34, 1, 238, 22, 96, 133, 31, 245, 41, 174, 148, 132, 51, 230, 238, 160, 2, 183, 221, 34, 97, 231, 215, 77, 115, 0, 135, 242, 73, 234, 237, 137, 173, 81, 15, 114, 191, 167, 68, 143, 64, 152, 3, 241, 164, 33, 227, 240, 202, 35, 16, 85, 112, 205, 65, 177, 237, 57, 94, 45, 41, 125, 215, 186, 134, 19, 139, 6, 200, 254, 6, 11, 68, 220, 129, 152, 65, 252, 177, 165, 151, 102, 172, 234, 39, 27, 55, 231, 228, 154, 159, 81, 41, 217, 78, 72, 108, 113, 191, 54, 154, 155, 204, 113, 217, 234, 217, 121, 196, 33, 87, 17, 109, 72, 49, 76, 219, 11, 233, 246, 54, 171, 96, 202, 34, 138, 173, 93, 208, 86, 70, 100, 138, 63, 54, 166, 95, 114, 149, 119, 5, 131, 38, 44, 116, 125, 39, 133, 14, 91, 149, 34, 147, 53, 212, 108, 191, 225, 192, 163, 3, 92, 68, 216, 180, 24, 91, 58, 217, 206, 60, 186, 107, 219, 55, 246, 6, 200, 199, 247, 3, 76, 37, 219, 113, 99, 244, 110, 59, 152, 55, 8, 66, 208, 116, 146, 245, 227, 176, 24, 104, 104, 22, 7, 20, 64, 223, 171, 197, 123, 41, 244, 80, 73, 126, 143, 215, 211, 136, 69, 234, 219, 81, 156, 12, 148, 76, 39, 247, 72, 97, 211, 35, 188, 2, 30, 185, 228, 129, 165, 168, 69, 237, 52, 5, 56, 58, 116, 246, 68, 109, 81, 168, 46, 41, 168, 69, 255, 250, 246, 226, 81, 139, 144, 235, 96, 171, 171, 202, 237, 173, 35, 111, 157, 205, 72, 4, 132, 5, 19, 178, 68, 100, 151, 176, 174, 88, 225, 156, 54, 186, 203, 77, 109, 91, 61, 26, 106, 172, 82, 3, 67, 34, 172, 185, 71, 19, 220, 63, 236, 195, 53, 149, 179, 167, 126, 109, 191, 190, 204, 107, 239, 118, 5, 21, 150, 97, 73, 34, 236, 63, 159, 63, 39, 190, 205, 130, 28, 174, 125, 89, 4, 32, 126, 179, 166, 192, 121, 107, 128, 115, 172, 48, 92, 2, 244, 23, 175, 174, 255, 81, 185, 46, 39, 164, 43, 210, 183, 212, 222, 10, 110, 122, 6, 31, 93, 3, 37, 65, 82, 153, 29, 242, 126, 153, 113, 9, 241, 18, 188, 207, 111, 125, 63, 217, 25, 199, 223, 160, 37, 64, 148, 73, 43, 179, 129, 110, 201, 44, 122, 146, 40, 194, 147, 106, 69, 136, 88, 179, 5, 120, 190, 111, 30, 192, 183, 193, 133, 251, 207, 103, 120, 150, 184, 38, 101, 49, 31, 219, 92, 138, 164, 200, 119, 184, 160, 210, 201, 117, 144, 144, 29, 30, 61, 178, 61, 167, 53, 211, 146, 237, 44, 130, 138, 201, 198, 72, 120, 56, 172, 145, 178, 110, 244, 2, 83, 173, 45, 65, 128, 237, 8, 105, 30, 235, 240, 124, 218, 55, 255, 221, 125, 154, 232, 72, 190, 105, 192, 16, 177, 26, 169, 243, 73, 99, 107, 75, 102, 62, 95, 29, 255, 207, 30, 93, 77, 155, 161, 75, 67, 148, 250, 115, 67, 98, 241] }, final_destination_options: None }), fragment: Some(Ipv6FragmentHeader { next_header: 51 (AH - Authentication Header), fragment_offset: IpFragOffset(1843), more_fragments: true, identification: 4118775582 }), auth: Some(IpAuthHeader { next_header: 17 (UDP - User Datagram), spi: 906581493, sequence_number: 2469050049, raw_icv: [235, 210, 82, 43, 88, 108, 79, 35, 37, 35, 190, 134, 79, 52, 155, 106, 112, 184, 166, 225, 142, 219, 91, 41, 88, 129, 63, 180, 146, 68, 38, 13, 79, 125, 97, 221, 162, 203, 5, 170, 166, 245, 37, 151, 42, 235, 95, 73, 34, 9, 174, 1, 22, 244, 83, 238, 210, 103, 119, 172, 157, 35, 5, 178, 230, 180, 198, 135, 24, 167, 102, 27, 127, 150, 138, 135, 198, 212, 0, 189, 66, 92, 179, 243, 15, 200, 12, 53, 19, 236, 171, 247, 98, 172, 128, 210, 52, 211, 148, 198, 112, 99, 191, 25, 25, 95, 36, 50, 31, 225, 7, 146, 46, 26, 56, 185, 77, 85, 219, 241, 60, 149, 131, 76, 49, 86, 101, 240, 116, 169, 152, 198, 214, 8, 164, 113, 42, 41, 72, 222, 112, 35, 108, 22, 141, 210, 59, 152, 125, 220, 195, 188, 27, 135, 43, 124, 149, 123, 141, 220, 177, 89, 57, 20, 82, 118, 91, 85, 125, 232, 175, 39, 252, 43, 153, 137, 94, 102, 106, 70, 106, 69, 99, 140, 16, 249, 156, 126, 96, 173, 236, 40, 163, 155, 105, 193, 33, 53, 210, 100, 35, 94, 215, 174, 82, 210, 23, 65, 166, 215, 74, 97, 17, 128, 10, 43, 103, 226, 177, 118, 121, 32, 110, 132, 27, 127, 8, 113, 65, 92, 129, 160, 162, 117, 112, 81, 156, 215, 206, 102, 29, 51, 227, 18, 75, 133, 252, 250, 41, 152, 36, 168, 165, 109, 4, 190, 141, 232, 153, 99, 107, 165, 58, 139, 144, 122, 46, 76, 214, 62, 250, 207, 30, 9, 108, 31, 34, 34, 21, 240, 110, 173, 28, 69, 116, 52, 72, 208, 126, 114, 243, 202, 254, 48, 90, 5, 186, 85, 113, 208, 88, 197, 3, 239, 132, 73, 128, 235, 191, 251, 49, 179, 25, 162, 2, 213, 247, 242, 248, 12, 252, 126, 206, 132, 202, 136, 35, 17, 59, 1, 122, 65, 60, 78, 94, 48, 70, 98, 224, 4, 205, 219, 139, 65, 100, 108, 246, 162, 190, 53, 48, 246, 124, 26, 132, 224, 231, 36, 227, 31, 90, 52, 35, 28, 252, 8, 194, 246, 98, 233, 178, 185, 130, 153, 220, 32, 169, 142, 39, 130] }) }