# 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 159267836a648eca852fb99cd2e2035279bb389560c8c24dd3ab89d94137459f # shrinks to header = IpAuthHeader { next_header: 207, 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, 0, 0, 0, 0, 0, 3, 128, 239, 235, 139, 103, 67, 20, 232, 165, 130, 99, 126, 233, 46, 188, 157, 107, 12, 135, 213, 227, 67, 185, 217, 225, 211, 10, 234, 108, 88, 143, 27, 101, 85, 25, 92, 97, 90, 125, 18, 226, 33, 191, 38, 57, 63, 224, 218, 67, 173, 204, 203, 213, 167, 137, 211, 87, 3, 149, 118, 79, 53, 73, 34, 170, 244, 128, 65, 21, 49, 16, 91, 187, 241, 224, 110, 29, 151, 0, 174, 142, 125, 43, 53, 95, 30, 148, 62, 172, 243, 223, 244, 83, 131, 178, 10, 125, 228, 74, 122, 193, 13, 222, 196, 119, 215, 151, 164, 14, 149, 253, 206, 249, 144, 225, 65, 169, 119, 176, 199, 35, 211, 24, 157, 187, 131, 241, 184, 158, 0, 89, 56, 207, 171, 12, 233, 155, 247, 101, 15, 81, 134, 249, 223, 162, 64, 15, 78, 222, 241, 92, 92, 231, 154, 51, 90, 82, 139, 19, 54, 72, 54, 204, 37, 27, 51, 125, 119, 254, 131, 186, 145, 217, 206, 225, 227, 205, 224, 192, 167, 205, 210, 214, 45, 165, 151, 225, 171, 198, 21, 83, 32, 226, 220, 123, 56, 138, 64, 240, 51, 174, 209, 59, 185, 3, 66, 159, 218, 131, 10, 110, 35, 122, 187, 187, 62, 231, 57, 54, 38, 81, 126, 164, 232, 5, 190, 95, 80, 68, 215, 213, 187, 159, 124, 227, 13, 147, 192, 41, 97, 30, 48, 130, 9, 215, 89, 146, 233, 40, 234, 76, 182, 6, 70, 54, 83, 102, 242, 111, 10, 5, 7, 54, 218, 29, 204, 1, 54, 68, 65, 231, 59, 235, 64, 209, 185, 14, 201, 254, 125, 89, 29, 245, 116, 77, 3, 18, 241, 167, 140, 96, 254, 227, 67, 141, 225, 244, 22, 78, 116, 20, 245, 244, 30, 47, 5, 172, 214, 93, 191, 222, 96, 209, 179, 174, 184, 179, 197, 169, 243, 33, 71, 23, 228, 160, 52, 224, 150, 231, 196, 64, 76, 69, 115, 115, 108, 250, 224, 62, 252, 128, 141, 47, 210, 158, 54, 102, 30, 22, 50, 38, 198, 153, 162, 211, 148, 196, 196, 4, 9, 76, 42, 202, 27, 208, 23, 250, 53, 119, 9, 255, 36, 194, 72] }