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