Received: by 2002:a05:7412:8d10:b0:f3:1519:9f41 with SMTP id bj16csp6009419rdb; Thu, 14 Dec 2023 06:08:56 -0800 (PST) X-Google-Smtp-Source: AGHT+IHT7L9F9TvsdTk1ffCBemSVGkrpEpX8KszFCyChaTpolRRE9VPxjO4K0DlyoR8Z/8zpdZ9Z X-Received: by 2002:a17:902:e849:b0:1d0:c7c6:91a2 with SMTP id t9-20020a170902e84900b001d0c7c691a2mr6174788plg.100.1702562936361; Thu, 14 Dec 2023 06:08:56 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1702562936; cv=none; d=google.com; s=arc-20160816; b=JoPTLO6nFEP4WiiktSISE3mk3ox684Rb6ZEnTlPiJsd1rS3cr4pdEenPmElCnNprSI Wb/Gz6eToyzI7uKvJKOK93sJZ8Z17JrsI2MWJw8N5y7e5FqYYnaC3Pbm/HrUTmn0JE0r vrlG/liWQMm4mJM4U4gzZPnf4qmR528CMWMLRXl52cfHhLMMS9UYV3MwgWgwxcNdZeVD TI5pfcbH/7jks6TiNEQ0YYNE1cfrAGzduh8Ky4rm0PKEdAyjXHTZ2eYxmHigmnVv8HZs loe0hPW0ltjCu14xovQewtZeRyWaB0rn4al7YnVY4UjBZJcnAieZOb1kc35d3K1j5doc Po9A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:mime-version:user-agent:references:in-reply-to :date:to:from:subject:message-id:dkim-signature; bh=Z/hF4ljgYAlHmfZU+ME7QKHl+ryAW+GNDnu7VOtx4jU=; fh=p7yH2Sn30mxl4cG8EvyfEMe3ja0NsrUEDrRO/PzQjJo=; b=Ag1wHbKCdXszJZYJMu/TO1QX82asHHDbWbXi98GkDVC9r5CQS+blcdSxVaHTDU4HQc 6RFrlZvIQYib0V8UovWBBQx03J1EhxRU+wbQjJpMII5B7qn2fnlWHJfOsGruSafX+BxS 981cuaJlE9DCyryGN8k2TeqOEOak7BImwiI5jNENq1ugWkMAb05OQBE2Vrc2mxiMVw6M e7vKczmdom59yWDUEVZa7NHMOmbIunmHyUICCAwQMIcmTdzfTJX+n4hiYpnrZKfOEk3a Zt6qLX17PBZcqJ9GAyVthr4VSvc1CYENs1K8vG5t9u0gIAaHI3XwUYYl9nAXilsscm8S sK+w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=QiMPExVm; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:6 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from pete.vger.email (pete.vger.email. [2620:137:e000::3:6]) by mx.google.com with ESMTPS id n2-20020a170902d2c200b001c3411c9b83si3554435plc.454.2023.12.14.06.08.44 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Dec 2023 06:08:56 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:6 as permitted sender) client-ip=2620:137:e000::3:6; Authentication-Results: mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=QiMPExVm; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:6 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by pete.vger.email (Postfix) with ESMTP id 8DCE9823D9F6; Thu, 14 Dec 2023 06:08:41 -0800 (PST) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.11 at pete.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1573393AbjLNOIZ (ORCPT + 99 others); Thu, 14 Dec 2023 09:08:25 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:44486 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1573115AbjLNOIY (ORCPT ); Thu, 14 Dec 2023 09:08:24 -0500 Received: from casper.infradead.org (casper.infradead.org [IPv6:2001:8b0:10b:1236::1]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 684B69C; Thu, 14 Dec 2023 06:08:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; h=MIME-Version:Content-Type:References: In-Reply-To:Date:To:From:Subject:Message-ID:Sender:Reply-To:Cc: Content-Transfer-Encoding:Content-ID:Content-Description; bh=Z/hF4ljgYAlHmfZU+ME7QKHl+ryAW+GNDnu7VOtx4jU=; b=QiMPExVmcN++ppSPsR7ygynhXR /0MCDai023dx9bJdcyY6SRwwZYjD58LtGZg8SCv66PtZdS2VoxsWTyUhljKAlHw70n0VEPL92pKkx Xw/RdTio5hWusDlwz7fbUI1bvlplD+1bQBTFmE6fhpLhlorQiZ0HJQLc8gQzxNLLoPQy4gPyN/QOD nyXqUVHUjj6SFWGt7kGfIz3JDNO7BRpKQSZK1ygQ6NK4tr+6U9keUgWdjegXoJGY6qCseqiJaaRdH YAVWUBaGg3/j9Yr9x6sOCmoG+/IGy6W0llkt4mz0m0WdEvTcPtnWVNIfdVnHNxbJsoC53V9Tx+9Md kcxhYe9A==; Received: from [2001:8b0:10b:5:d232:2f0e:461d:68c2] (helo=u3832b3a9db3152.ant.amazon.com) by casper.infradead.org with esmtpsa (Exim 4.94.2 #2 (Red Hat Linux)) id 1rDmNh-007a7N-GB; Thu, 14 Dec 2023 14:08:06 +0000 Message-ID: <8cba6a556233ae4e8cb401cb4ffa56b9d809e337.camel@infradead.org> Subject: Re: [PATCH v10 18/19] KVM: pfncache: check the need for invalidation under read lock first From: David Woodhouse To: Paul Durrant , Paolo Bonzini , Jonathan Corbet , Sean Christopherson , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , x86@kernel.org, "H. Peter Anvin" , Shuah Khan , kvm@vger.kernel.org, linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, linux-kselftest@vger.kernel.org Date: Thu, 14 Dec 2023 14:08:05 +0000 In-Reply-To: <20231204144334.910-19-paul@xen.org> References: <20231204144334.910-1-paul@xen.org> <20231204144334.910-19-paul@xen.org> Content-Type: multipart/signed; micalg="sha-256"; protocol="application/pkcs7-signature"; boundary="=-qI57c5J7SqIpqv4MRQHI" User-Agent: Evolution 3.44.4-0ubuntu2 MIME-Version: 1.0 X-SRS-Rewrite: SMTP reverse-path rewritten from by casper.infradead.org. See http://www.infradead.org/rpr.html X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS,T_SCC_BODY_TEXT_LINE autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on pete.vger.email Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (pete.vger.email [0.0.0.0]); Thu, 14 Dec 2023 06:08:41 -0800 (PST) --=-qI57c5J7SqIpqv4MRQHI Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 T24gTW9uLCAyMDIzLTEyLTA0IGF0IDE0OjQzICswMDAwLCBQYXVsIER1cnJhbnQgd3JvdGU6Cj4g RnJvbTogUGF1bCBEdXJyYW50IDxwZHVycmFudEBhbWF6b24uY29tPgo+IAo+IFRha2luZyBhIHdy aXRlIGxvY2sgb24gYSBwZm5jYWNoZSB3aWxsIGJlIGRpc3J1cHRpdmUgaWYgdGhlIGNhY2hlIGlz Cj4gaGVhdmlseSB1c2VkICh3aGljaCBvbmx5IHJlcXVpcmVzIGEgcmVhZCBsb2NrKS4gSGVuY2Us IGluIHRoZSBNTVUgbm90aWZpZXIKPiBjYWxsYmFjaywgdGFrZSByZWFkIGxvY2tzIG9uIGNhY2hl cyB0byBjaGVjayBmb3IgYSBtYXRjaDsgb25seSB0YWtpbmcgYQo+IHdyaXRlIGxvY2sgdG8gYWN0 dWFsbHkgcGVyZm9ybSBhbiBpbnZhbGlkYXRpb24gKGFmdGVyIGEgYW5vdGhlciBjaGVjaykuCj4g Cj4gU2lnbmVkLW9mZi1ieTogUGF1bCBEdXJyYW50IDxwZHVycmFudEBhbWF6b24uY29tPgoKUmV2 aWV3ZWQtYnk6IERhdmlkIFdvb2Rob3VzZSA8ZHdtd0BhbWF6b24uY28udWs+CgpJbiBwYXJ0aWN1 bGFyLCB0aGUgcHJldmlvdXMgJ2Rvbid0IGJsb2NrIG9uIHBmbmNhY2hlIGxvY2tzIGluCmt2bV94 ZW5fc2V0X2V2dGNobl9mYXN0KCknIHBhdGNoIGluIHRoaXMgc2VyaWVzIGlzIGVhc3kgdG8ganVz dGlmeSBvbgp0aGUgYmFzaXMgdGhhdCBpdCBvbmx5IGZhbGxzIGJhY2sgdG8gdGhlIHNsb3cgcGF0 aCBpZiBpdCBjYW4ndCB0YWtlIGEKcmVhZCBsb2NrIGltbWVkaWF0ZWx5LiBBbmQgc3VyZWx5IGl0 IHNob3VsZCAqYWx3YXlzKiBiZSBhYmxlIHRvIHRha2UgYQpyZWFkIGxvY2sgaW1tZWRpYXRlbHkg dW5sZXNzIHRoZXJlJ3MgYW4gYWN0dWFsICp3cml0ZXIqIOKAlCB3aGljaCBzaG91bGQKYmUgYSBy YXJlIGV2ZW50LCBhbmQgbWVhbnMgdGhlIGNhY2hlIHdhcyBwcm9iYWJseSBnb2luZyB0byBiZQpp bnZhbGlkYXRlcyBhbnl3YXkuCgpCdXQgdGhlbiB3ZSByZWFsaXNlZCB0aGUgTU1VIG5vdGlmaWVy IHdhcyBnb2luZyB0byBkaXNydXB0IHRoYXQuCgoKCj4gLS0tCj4gQ2M6IFNlYW4gQ2hyaXN0b3Bo ZXJzb24gPHNlYW5qY0Bnb29nbGUuY29tPgo+IENjOiBQYW9sbyBCb256aW5pIDxwYm9uemluaUBy ZWRoYXQuY29tPgo+IENjOiBEYXZpZCBXb29kaG91c2UgPGR3bXcyQGluZnJhZGVhZC5vcmc+Cj4g Cj4gdjEwOgo+IMKgLSBOZXcgaW4gdGhpcyB2ZXJzaW9uLgo+IC0tLQo+IMKgdmlydC9rdm0vcGZu Y2FjaGUuYyB8IDIyICsrKysrKysrKysrKysrKysrKystLS0KPiDCoDEgZmlsZSBjaGFuZ2VkLCAx OSBpbnNlcnRpb25zKCspLCAzIGRlbGV0aW9ucygtKQo+IAo+IGRpZmYgLS1naXQgYS92aXJ0L2t2 bS9wZm5jYWNoZS5jIGIvdmlydC9rdm0vcGZuY2FjaGUuYwo+IGluZGV4IGMyYTJkMWUxNDViNi4u NGRhMTZkNDk0ZjRiIDEwMDY0NAo+IC0tLSBhL3ZpcnQva3ZtL3BmbmNhY2hlLmMKPiArKysgYi92 aXJ0L2t2bS9wZm5jYWNoZS5jCj4gQEAgLTI5LDE0ICsyOSwzMCBAQCB2b2lkIGdmbl90b19wZm5f Y2FjaGVfaW52YWxpZGF0ZV9zdGFydChzdHJ1Y3Qga3ZtICprdm0sIHVuc2lnbmVkIGxvbmcgc3Rh cnQsCj4gwqAKPiDCoMKgwqDCoMKgwqDCoMKgc3Bpbl9sb2NrKCZrdm0tPmdwY19sb2NrKTsKPiDC oMKgwqDCoMKgwqDCoMKgbGlzdF9mb3JfZWFjaF9lbnRyeShncGMsICZrdm0tPmdwY19saXN0LCBs aXN0KSB7Cj4gLcKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoHdyaXRlX2xvY2tfaXJxKCZn cGMtPmxvY2spOwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqByZWFkX2xvY2tfaXJx KCZncGMtPmxvY2spOwo+IMKgCj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAvKiBP bmx5IGEgc2luZ2xlIHBhZ2Ugc28gbm8gbmVlZCB0byBjYXJlIGFib3V0IGxlbmd0aCAqLwo+IMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgaWYgKGdwYy0+dmFsaWQgJiYgIWlzX2Vycm9y X25vc2xvdF9wZm4oZ3BjLT5wZm4pICYmCj4gwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqAgZ3BjLT51aHZhID49IHN0YXJ0ICYmIGdwYy0+dWh2YSA8IGVuZCkgewo+IC3CoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgZ3BjLT52YWxpZCA9IGZh bHNlOwo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgcmVh ZF91bmxvY2tfaXJxKCZncGMtPmxvY2spOwo+ICsKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoC8qCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqAgKiBUaGVyZSBpcyBhIHNtYWxsIHdpbmRvdyBoZXJlIHdoZXJlIHRo ZSBjYWNoZSBjb3VsZAo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgICogYmUgbW9kaWZpZWQsIGFuZCBpbnZhbGlkYXRpb24gd291bGQgbm8gbG9uZ2VyIGJl Cj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKiBuZWNl c3NhcnkuIEhlbmNlIGNoZWNrIGFnYWluIHdoZXRoZXIgaW52YWxpZGF0aW9uCj4gK8KgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKiBpcyBzdGlsbCBuZWNlc3Nh cnkgb25jZSB0aGUgd3JpdGUgbG9jayBoYXMgYmVlbgo+ICvCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICogYWNxdWlyZWQuCj4gK8KgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgKi8KPiArCj4gK8KgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqB3cml0ZV9sb2NrX2lycSgmZ3BjLT5sb2NrKTsK PiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoGlmIChncGMt PnZhbGlkICYmICFpc19lcnJvcl9ub3Nsb3RfcGZuKGdwYy0+cGZuKSAmJgo+ICvCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIGdwYy0+dWh2YSA+PSBz dGFydCAmJiBncGMtPnVodmEgPCBlbmQpCj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgZ3BjLT52YWxpZCA9IGZhbHNlOwo+ICvC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgd3JpdGVfdW5sb2Nr X2lycSgmZ3BjLT5sb2NrKTsKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoGNvbnRpbnVlOwo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgfQo+ IC3CoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqB3cml0ZV91bmxvY2tfaXJxKCZncGMtPmxv Y2spOwo+ICsKPiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgcmVhZF91bmxvY2tfaXJx KCZncGMtPmxvY2spOwo+IMKgwqDCoMKgwqDCoMKgwqB9Cj4gwqDCoMKgwqDCoMKgwqDCoHNwaW5f dW5sb2NrKCZrdm0tPmdwY19sb2NrKTsKPiDCoH0KCg== --=-qI57c5J7SqIpqv4MRQHI Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Disposition: attachment; filename="smime.p7s" Content-Transfer-Encoding: base64 MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCCEkQw ggYQMIID+KADAgECAhBNlCwQ1DvglAnFgS06KwZPMA0GCSqGSIb3DQEBDAUAMIGIMQswCQYDVQQG EwJVUzETMBEGA1UECBMKTmV3IEplcnNleTEUMBIGA1UEBxMLSmVyc2V5IENpdHkxHjAcBgNVBAoT FVRoZSBVU0VSVFJVU1QgTmV0d29yazEuMCwGA1UEAxMlVVNFUlRydXN0IFJTQSBDZXJ0aWZpY2F0 aW9uIEF1dGhvcml0eTAeFw0xODExMDIwMDAwMDBaFw0zMDEyMzEyMzU5NTlaMIGWMQswCQYDVQQG EwJHQjEbMBkGA1UECBMSR3JlYXRlciBNYW5jaGVzdGVyMRAwDgYDVQQHEwdTYWxmb3JkMRgwFgYD VQQKEw9TZWN0aWdvIExpbWl0ZWQxPjA8BgNVBAMTNVNlY3RpZ28gUlNBIENsaWVudCBBdXRoZW50 aWNhdGlvbiBhbmQgU2VjdXJlIEVtYWlsIENBMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKC AQEAyjztlApB/975Rrno1jvm2pK/KxBOqhq8gr2+JhwpKirSzZxQgT9tlC7zl6hn1fXjSo5MqXUf ItMltrMaXqcESJuK8dtK56NCSrq4iDKaKq9NxOXFmqXX2zN8HHGjQ2b2Xv0v1L5Nk1MQPKA19xeW QcpGEGFUUd0kN+oHox+L9aV1rjfNiCj3bJk6kJaOPabPi2503nn/ITX5e8WfPnGw4VuZ79Khj1YB rf24k5Ee1sLTHsLtpiK9OjG4iQRBdq6Z/TlVx/hGAez5h36bBJMxqdHLpdwIUkTqT8se3ed0PewD ch/8kHPo5fZl5u1B0ecpq/sDN/5sCG52Ds+QU5O5EwIDAQABo4IBZDCCAWAwHwYDVR0jBBgwFoAU U3m/WqorSs9UgOHYm8Cd8rIDZsswHQYDVR0OBBYEFAnA8vwL2pTbX/4r36iZQs/J4K0AMA4GA1Ud DwEB/wQEAwIBhjASBgNVHRMBAf8ECDAGAQH/AgEAMB0GA1UdJQQWMBQGCCsGAQUFBwMCBggrBgEF BQcDBDARBgNVHSAECjAIMAYGBFUdIAAwUAYDVR0fBEkwRzBFoEOgQYY/aHR0cDovL2NybC51c2Vy dHJ1c3QuY29tL1VTRVJUcnVzdFJTQUNlcnRpZmljYXRpb25BdXRob3JpdHkuY3JsMHYGCCsGAQUF BwEBBGowaDA/BggrBgEFBQcwAoYzaHR0cDovL2NydC51c2VydHJ1c3QuY29tL1VTRVJUcnVzdFJT QUFkZFRydXN0Q0EuY3J0MCUGCCsGAQUFBzABhhlodHRwOi8vb2NzcC51c2VydHJ1c3QuY29tMA0G CSqGSIb3DQEBDAUAA4ICAQBBRHUAqznCFfXejpVtMnFojADdF9d6HBA4kMjjsb0XMZHztuOCtKF+ xswhh2GqkW5JQrM8zVlU+A2VP72Ky2nlRA1GwmIPgou74TZ/XTarHG8zdMSgaDrkVYzz1g3nIVO9 IHk96VwsacIvBF8JfqIs+8aWH2PfSUrNxP6Ys7U0sZYx4rXD6+cqFq/ZW5BUfClN/rhk2ddQXyn7 kkmka2RQb9d90nmNHdgKrwfQ49mQ2hWQNDkJJIXwKjYA6VUR/fZUFeCUisdDe/0ABLTI+jheXUV1 eoYV7lNwNBKpeHdNuO6Aacb533JlfeUHxvBz9OfYWUiXu09sMAviM11Q0DuMZ5760CdO2VnpsXP4 KxaYIhvqPqUMWqRdWyn7crItNkZeroXaecG03i3mM7dkiPaCkgocBg0EBYsbZDZ8bsG3a08LwEsL 1Ygz3SBsyECa0waq4hOf/Z85F2w2ZpXfP+w8q4ifwO90SGZZV+HR/Jh6rEaVPDRF/CEGVqR1hiuQ OZ1YL5ezMTX0ZSLwrymUE0pwi/KDaiYB15uswgeIAcA6JzPFf9pLkAFFWs1QNyN++niFhsM47qod x/PL+5jR87myx5uYdBEQkkDc+lKB1Wct6ucXqm2EmsaQ0M95QjTmy+rDWjkDYdw3Ms6mSWE3Bn7i 5ZgtwCLXgAIe5W8mybM2JzCCBhQwggT8oAMCAQICEQDGvhmWZ0DEAx0oURL6O6l+MA0GCSqGSIb3 DQEBCwUAMIGWMQswCQYDVQQGEwJHQjEbMBkGA1UECBMSR3JlYXRlciBNYW5jaGVzdGVyMRAwDgYD VQQHEwdTYWxmb3JkMRgwFgYDVQQKEw9TZWN0aWdvIExpbWl0ZWQxPjA8BgNVBAMTNVNlY3RpZ28g UlNBIENsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgU2VjdXJlIEVtYWlsIENBMB4XDTIyMDEwNzAw MDAwMFoXDTI1MDEwNjIzNTk1OVowJDEiMCAGCSqGSIb3DQEJARYTZHdtdzJAaW5mcmFkZWFkLm9y ZzCCAiIwDQYJKoZIhvcNAQEBBQADggIPADCCAgoCggIBALQ3GpC2bomUqk+91wLYBzDMcCj5C9m6 oZaHwvmIdXftOgTbCJXADo6G9T7BBAebw2JV38EINgKpy/ZHh7htyAkWYVoFsFPrwHounto8xTsy SSePMiPlmIdQ10BcVSXMUJ3Juu16GlWOnAMJY2oYfEzmE7uT9YgcBqKCo65pTFmOnR/VVbjJk4K2 xE34GC2nAdUQkPFuyaFisicc6HRMOYXPuF0DuwITEKnjxgNjP+qDrh0db7PAjO1D4d5ftfrsf+kd RR4gKVGSk8Tz2WwvtLAroJM4nXjNPIBJNT4w/FWWc/5qPHJy2U+eITZ5LLE5s45mX2oPFknWqxBo bQZ8a9dsZ3dSPZBvE9ZrmtFLrVrN4eo1jsXgAp1+p7bkfqd3BgBEmfsYWlBXO8rVXfvPgLs32VdV NZxb/CDWPqBsiYv0Hv3HPsz07j5b+/cVoWqyHDKzkaVbxfq/7auNVRmPB3v5SWEsH8xi4Bez2V9U KxfYCnqsjp8RaC2/khxKt0A552Eaxnz/4ly/2C7wkwTQnBmdlFYhAflWKQ03Ufiu8t3iBE3VJbc2 5oMrglj7TRZrmKq3CkbFnX0fyulB+kHimrt6PIWn7kgyl9aelIl6vtbhMA+l0nfrsORMa4kobqQ5 C5rveVgmcIad67EDa+UqEKy/GltUwlSh6xy+TrK1tzDvAgMBAAGjggHMMIIByDAfBgNVHSMEGDAW gBQJwPL8C9qU21/+K9+omULPyeCtADAdBgNVHQ4EFgQUzMeDMcimo0oz8o1R1Nver3ZVpSkwDgYD VR0PAQH/BAQDAgWgMAwGA1UdEwEB/wQCMAAwHQYDVR0lBBYwFAYIKwYBBQUHAwQGCCsGAQUFBwMC MEAGA1UdIAQ5MDcwNQYMKwYBBAGyMQECAQEBMCUwIwYIKwYBBQUHAgEWF2h0dHBzOi8vc2VjdGln by5jb20vQ1BTMFoGA1UdHwRTMFEwT6BNoEuGSWh0dHA6Ly9jcmwuc2VjdGlnby5jb20vU2VjdGln b1JTQUNsaWVudEF1dGhlbnRpY2F0aW9uYW5kU2VjdXJlRW1haWxDQS5jcmwwgYoGCCsGAQUFBwEB BH4wfDBVBggrBgEFBQcwAoZJaHR0cDovL2NydC5zZWN0aWdvLmNvbS9TZWN0aWdvUlNBQ2xpZW50 QXV0aGVudGljYXRpb25hbmRTZWN1cmVFbWFpbENBLmNydDAjBggrBgEFBQcwAYYXaHR0cDovL29j c3Auc2VjdGlnby5jb20wHgYDVR0RBBcwFYETZHdtdzJAaW5mcmFkZWFkLm9yZzANBgkqhkiG9w0B AQsFAAOCAQEAyW6MUir5dm495teKqAQjDJwuFCi35h4xgnQvQ/fzPXmtR9t54rpmI2TfyvcKgOXp qa7BGXNFfh1JsqexVkIqZP9uWB2J+uVMD+XZEs/KYNNX2PvIlSPrzIB4Z2wyIGQpaPLlYflrrVFK v9CjT2zdqvy2maK7HKOQRt3BiJbVG5lRiwbbygldcALEV9ChWFfgSXvrWDZspnU3Gjw/rMHrGnql Htlyebp3pf3fSS9kzQ1FVtVIDrL6eqhTwJxe+pXSMMqFiN0whpBtXdyDjzBtQTaZJ7zTT/vlehc/ tDuqZwGHm/YJy883Ll+GP3NvOkgaRGWEuYWJJ6hFCkXYjyR9IzCCBhQwggT8oAMCAQICEQDGvhmW Z0DEAx0oURL6O6l+MA0GCSqGSIb3DQEBCwUAMIGWMQswCQYDVQQGEwJHQjEbMBkGA1UECBMSR3Jl YXRlciBNYW5jaGVzdGVyMRAwDgYDVQQHEwdTYWxmb3JkMRgwFgYDVQQKEw9TZWN0aWdvIExpbWl0 ZWQxPjA8BgNVBAMTNVNlY3RpZ28gUlNBIENsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgU2VjdXJl IEVtYWlsIENBMB4XDTIyMDEwNzAwMDAwMFoXDTI1MDEwNjIzNTk1OVowJDEiMCAGCSqGSIb3DQEJ ARYTZHdtdzJAaW5mcmFkZWFkLm9yZzCCAiIwDQYJKoZIhvcNAQEBBQADggIPADCCAgoCggIBALQ3 GpC2bomUqk+91wLYBzDMcCj5C9m6oZaHwvmIdXftOgTbCJXADo6G9T7BBAebw2JV38EINgKpy/ZH h7htyAkWYVoFsFPrwHounto8xTsySSePMiPlmIdQ10BcVSXMUJ3Juu16GlWOnAMJY2oYfEzmE7uT 9YgcBqKCo65pTFmOnR/VVbjJk4K2xE34GC2nAdUQkPFuyaFisicc6HRMOYXPuF0DuwITEKnjxgNj P+qDrh0db7PAjO1D4d5ftfrsf+kdRR4gKVGSk8Tz2WwvtLAroJM4nXjNPIBJNT4w/FWWc/5qPHJy 2U+eITZ5LLE5s45mX2oPFknWqxBobQZ8a9dsZ3dSPZBvE9ZrmtFLrVrN4eo1jsXgAp1+p7bkfqd3 BgBEmfsYWlBXO8rVXfvPgLs32VdVNZxb/CDWPqBsiYv0Hv3HPsz07j5b+/cVoWqyHDKzkaVbxfq/ 7auNVRmPB3v5SWEsH8xi4Bez2V9UKxfYCnqsjp8RaC2/khxKt0A552Eaxnz/4ly/2C7wkwTQnBmd lFYhAflWKQ03Ufiu8t3iBE3VJbc25oMrglj7TRZrmKq3CkbFnX0fyulB+kHimrt6PIWn7kgyl9ae lIl6vtbhMA+l0nfrsORMa4kobqQ5C5rveVgmcIad67EDa+UqEKy/GltUwlSh6xy+TrK1tzDvAgMB AAGjggHMMIIByDAfBgNVHSMEGDAWgBQJwPL8C9qU21/+K9+omULPyeCtADAdBgNVHQ4EFgQUzMeD Mcimo0oz8o1R1Nver3ZVpSkwDgYDVR0PAQH/BAQDAgWgMAwGA1UdEwEB/wQCMAAwHQYDVR0lBBYw FAYIKwYBBQUHAwQGCCsGAQUFBwMCMEAGA1UdIAQ5MDcwNQYMKwYBBAGyMQECAQEBMCUwIwYIKwYB BQUHAgEWF2h0dHBzOi8vc2VjdGlnby5jb20vQ1BTMFoGA1UdHwRTMFEwT6BNoEuGSWh0dHA6Ly9j cmwuc2VjdGlnby5jb20vU2VjdGlnb1JTQUNsaWVudEF1dGhlbnRpY2F0aW9uYW5kU2VjdXJlRW1h aWxDQS5jcmwwgYoGCCsGAQUFBwEBBH4wfDBVBggrBgEFBQcwAoZJaHR0cDovL2NydC5zZWN0aWdv LmNvbS9TZWN0aWdvUlNBQ2xpZW50QXV0aGVudGljYXRpb25hbmRTZWN1cmVFbWFpbENBLmNydDAj BggrBgEFBQcwAYYXaHR0cDovL29jc3Auc2VjdGlnby5jb20wHgYDVR0RBBcwFYETZHdtdzJAaW5m cmFkZWFkLm9yZzANBgkqhkiG9w0BAQsFAAOCAQEAyW6MUir5dm495teKqAQjDJwuFCi35h4xgnQv Q/fzPXmtR9t54rpmI2TfyvcKgOXpqa7BGXNFfh1JsqexVkIqZP9uWB2J+uVMD+XZEs/KYNNX2PvI lSPrzIB4Z2wyIGQpaPLlYflrrVFKv9CjT2zdqvy2maK7HKOQRt3BiJbVG5lRiwbbygldcALEV9Ch WFfgSXvrWDZspnU3Gjw/rMHrGnqlHtlyebp3pf3fSS9kzQ1FVtVIDrL6eqhTwJxe+pXSMMqFiN0w hpBtXdyDjzBtQTaZJ7zTT/vlehc/tDuqZwGHm/YJy883Ll+GP3NvOkgaRGWEuYWJJ6hFCkXYjyR9 IzGCBMcwggTDAgEBMIGsMIGWMQswCQYDVQQGEwJHQjEbMBkGA1UECBMSR3JlYXRlciBNYW5jaGVz dGVyMRAwDgYDVQQHEwdTYWxmb3JkMRgwFgYDVQQKEw9TZWN0aWdvIExpbWl0ZWQxPjA8BgNVBAMT NVNlY3RpZ28gUlNBIENsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgU2VjdXJlIEVtYWlsIENBAhEA xr4ZlmdAxAMdKFES+jupfjANBglghkgBZQMEAgEFAKCCAeswGAYJKoZIhvcNAQkDMQsGCSqGSIb3 DQEHATAcBgkqhkiG9w0BCQUxDxcNMjMxMjE0MTQwODA1WjAvBgkqhkiG9w0BCQQxIgQg3vrvBKj2 da29n8hg8QSbpMi81JKjCI24wlkV8h67T3kwgb0GCSsGAQQBgjcQBDGBrzCBrDCBljELMAkGA1UE BhMCR0IxGzAZBgNVBAgTEkdyZWF0ZXIgTWFuY2hlc3RlcjEQMA4GA1UEBxMHU2FsZm9yZDEYMBYG A1UEChMPU2VjdGlnbyBMaW1pdGVkMT4wPAYDVQQDEzVTZWN0aWdvIFJTQSBDbGllbnQgQXV0aGVu dGljYXRpb24gYW5kIFNlY3VyZSBFbWFpbCBDQQIRAMa+GZZnQMQDHShREvo7qX4wgb8GCyqGSIb3 DQEJEAILMYGvoIGsMIGWMQswCQYDVQQGEwJHQjEbMBkGA1UECBMSR3JlYXRlciBNYW5jaGVzdGVy MRAwDgYDVQQHEwdTYWxmb3JkMRgwFgYDVQQKEw9TZWN0aWdvIExpbWl0ZWQxPjA8BgNVBAMTNVNl Y3RpZ28gUlNBIENsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgU2VjdXJlIEVtYWlsIENBAhEAxr4Z lmdAxAMdKFES+jupfjANBgkqhkiG9w0BAQEFAASCAgAtvK+OFHx0iJm43kEekknPa2oEZH0CY3JC KAh2xi6hST9ov4afyozo+bs4KVHfktlsujnl34FfZH6jI75xlMSiNJRW5XFwMhp3gf9kRmR2HzlK fYx7PfIEB1Q4PTmw3cdo5h6MufJcYs4QLXLgbEY/abvn6FnRtOumAi+I5jfG/F3g3rByWSvMB0sw Qzy8bEpybAoze0qcfFLHoATQaf/X9CkE1+NC9i9aGJ57xFBnuDAbuyKuhTSD36PGSpEkmfDpoTJ8 VvlXaeb638x9gaBsM5s4M2QccKjYfM9P4/KqnldxyGOeh12ECG90kg/jyySpPjUDThaY2yrOKdps CVz9z9kC6K/PQ/cUDOwNk673a+dhrsjKxS3ehiltMMipNGrBbA7nlhWIm/z3qtmguM/v1k1ZqjTM zJFDs0EVlNhtb3Mc3YK4HtDqomPTZduOivPkqX4IamMMd4U2e5PaBvMhHDOVbFEtoa6bHG6Dlw1O qfgkfbNij5VvDUUE3t3tTANWnj3dbcRvwZLzospussLeuBYH/wgDnX6AOaEfbOT+p3/+fTBe2lhs lAC0lf74NI52VqXOC6w+C1pAIin2GRSsgkWHN/aVVXWhTe5HyVL5QlEkKmnWXRpvX4yEgTVNwpMg m0REKTGblwJ+Z/8HhMCMuNOZc/UlkoVUngA9/Q+5LwAAAAAAAA== --=-qI57c5J7SqIpqv4MRQHI--