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