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