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