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