From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 830E9C3DA4A for ; Fri, 2 Aug 2024 12:57:12 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 07EAC6B007B; Fri, 2 Aug 2024 08:57:12 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 02EF66B0083; Fri, 2 Aug 2024 08:57:11 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id E39C06B0085; Fri, 2 Aug 2024 08:57:11 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0013.hostedemail.com [216.40.44.13]) by kanga.kvack.org (Postfix) with ESMTP id C92896B007B for ; Fri, 2 Aug 2024 08:57:11 -0400 (EDT) Received: from smtpin04.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay07.hostedemail.com (Postfix) with ESMTP id 8366616071D for ; Fri, 2 Aug 2024 12:57:11 +0000 (UTC) X-FDA: 82407305862.04.74813C8 Received: from casper.infradead.org (casper.infradead.org [90.155.50.34]) by imf17.hostedemail.com (Postfix) with ESMTP id B8E7E40025 for ; Fri, 2 Aug 2024 12:57:09 +0000 (UTC) Authentication-Results: imf17.hostedemail.com; dkim=pass header.d=infradead.org header.s=casper.20170209 header.b=Fd78y2E2; spf=none (imf17.hostedemail.com: domain of BATV+a50a786cdf4715cf5701+7649+infradead.org+dwmw2@casper.srs.infradead.org has no SPF policy when checking 90.155.50.34) smtp.mailfrom=BATV+a50a786cdf4715cf5701+7649+infradead.org+dwmw2@casper.srs.infradead.org; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1722603371; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=G9IWJMc3Z25xogsluFuEXcYSFR4VFZFPkzNCyDNLzJ8=; b=Z+jVLOA5L8EGm0zaJbQQRFtpZmOKeQ9VGzdXXuderKhvsX9vkeFEtgH0CQ4ZAQ89QPRgEe gXa5wUvd7YSFj4+kAC82jU9lM0XS4eC/oMyJz0yRW9uOXdvbj63oSwsmx1IkqP+dayOAOa H8iGG9CeaL9T5r1ZPBElb8Xq+g5YFl8= ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1722603371; a=rsa-sha256; cv=none; b=hxmuJUTIwOOMVPl4A6tkIWA4ancYO8UWryk9t58Rw2L9/Fi9LSjVdeR6mHKiGgpsNE07Hs h901yJAMULLme4Tgg5ePzIdwHZ241kDkQyTSMKvezI9Jw/ajT0ydKvyFAzIcUE5vZmW8oM LGaYpua6HlMqdlOA5oXWIp5VL9AEdwQ= ARC-Authentication-Results: i=1; imf17.hostedemail.com; dkim=pass header.d=infradead.org header.s=casper.20170209 header.b=Fd78y2E2; spf=none (imf17.hostedemail.com: domain of BATV+a50a786cdf4715cf5701+7649+infradead.org+dwmw2@casper.srs.infradead.org has no SPF policy when checking 90.155.50.34) smtp.mailfrom=BATV+a50a786cdf4715cf5701+7649+infradead.org+dwmw2@casper.srs.infradead.org; dmarc=none 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:Cc:To:From:Subject:Message-ID:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=G9IWJMc3Z25xogsluFuEXcYSFR4VFZFPkzNCyDNLzJ8=; b=Fd78y2E2HRLmygk4Cr5Cm3+bia YpgX+3sRenAq3HBT1cBrFMVFcA+2mez2jPE3Mx2Qw2Izgp8K1wxybQfJ1gbi6oykxEcVTRvP/LonD 7fBBc9x5ZyHOAWY/qutnjsW8Sf2PlQGN2fxCOedimZcOS0zqUA8PX2IIs1NbD3w1ilnHrsVk7jsLk eC6vAFfjP8OEpCvuwKw0W4bSAxJpenh9QtMI6udwTBGcPh7Vn/OBgUU1ER2VxFGAMb92WDMuKdirr 5Id1HQo9SUQXeqv85xjnmoOdUgF24i7rMhUiKBobntwaSrbdb9erWLceJ2SzxekawD/mHJ+zIzMAQ GF4s9Udw==; Received: from [2001:8b0:10b:5:baa5:735b:df3b:ad66] (helo=u3832b3a9db3152.ant.amazon.com) by casper.infradead.org with esmtpsa (Exim 4.97.1 #2 (Red Hat Linux)) id 1sZrq7-000000011vy-2Qrh; Fri, 02 Aug 2024 12:57:00 +0000 Message-ID: Subject: Re: [PATCH] KVM: x86: Use gfn_to_pfn_cache for steal_time From: David Woodhouse To: Matthew Wilcox Cc: Carsten Stollmaier , Sean Christopherson , Paolo Bonzini , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , x86@kernel.org, "H. Peter Anvin" , nh-open-source@amazon.com, Peter Xu , Sebastian Biemueller , kvm@vger.kernel.org, linux-kernel@vger.kernel.org, Andrew Morton , "linux-mm@kvack.org" , Andrea Arcangeli Date: Fri, 02 Aug 2024 13:56:58 +0100 In-Reply-To: References: <20240802114402.96669-1-stollmc@amazon.com> Content-Type: multipart/signed; micalg="sha-256"; protocol="application/pkcs7-signature"; boundary="=-wnXlQ7VT1N8w0sxttcKq" 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-Stat-Signature: 7yx8jsdcetopczzmrrnhnduwodxiyba3 X-Rspamd-Queue-Id: B8E7E40025 X-Rspam-User: X-Rspamd-Server: rspam08 X-HE-Tag: 1722603429-57456 X-HE-Meta: U2FsdGVkX19QABRIBdE0oMBzpbtyBRO9UpV82G7wMIQtgIT+NJiwYSZkqPKkKypCpGo1FnhnGgxigPe8FWw9zUxxM+N0PjFR4H8qchdAEC+vXB/yKfi08d5qEmLoYDjsuYACHS0MN8Jpn4c0zpMPpzCqpcgEfqDfiYyMDZkS28hqobPJMVftdB12o0Y4KjUdqtlgTRKlrtFtyg5KfCrGqh0PzDIGNxfFg42V9DKUZr9bPiYjL46jofWxIaKzSfWJF/olvdlZ2gJ4+X4/qHBvD9gnrrx6QmfF/fuS1ez5wYAfAs+zwLKRDsTM5FzhZK5fQm0Y/PwKVTRN3T9k79raTYa3vyuFgYWgfRlF1GGGM6WN3RUmNfir1BjBnfTlBoWP8RLPK7j1j3J8LNEGgzmVyFCuNBtnk5nMTPpyhWgP5VQ/HOXPuxx14Ejlb9mbATD0gpvuSaZL14sWE9g/kZN6c+6vdTmLzqgcsoTFu+y9zt/hlZX+eEvprx1ZfRG8I93QqLjaBc4OfU1Z6WEZoa5yTVL1yLr7quMqqVS8I2b8H5Iag01IOfVRXW6j0bhu8tR5k+QTSJ6f+KxKKMAgX7ggKwemn9jLcgDuJ7VOADAWKKCsD0QF4w5IRsDhOwBkmEWU+eMTI7uvu9yLgmSYKbLA9WXlCBdcLPQqtXwxfSFTUXEkkmlg0UdKHiWh59CkdJtLPJ9Y5KPcMk47D6A6eVwe3XR2W2+whNw2hm1wscFC/oLqpPEqT1mFBUsoXbHm9SkiUG3nsSOSc7jnHK3LG3cvZEjLveGqkYtXFgDXp6T4ktUTlsnC7BigP966VJv7OvFj7GnjQze1nh8D1F2K+GsUpLdEzZQalLKOmPhTIhf9ijgf90auIjzFpsTqVeSuQHAuOrrY6T4Xa1Z2pQKGmgewoxaU8LCeur+5KCrvw2YZwubaMM/lNa6zrL7P/1UaTygxAo4oa8q8j4ZK3xP8uuS ZxK6GwWD bKAMGy1eo7zyFuHWHXniQsMV3huyXudGT53WaU0jh240SQLSFE9WIGOGRafnbNgo6nGo+barAmftHxeB2wA+RtYoFI9Wt9rC4tPAGop1Wv3avm+Mx53BB/FyVJkii1Tgla4AIZ9YA1/hlzn8PfbxvBNUvaN+hgC3GZvROoS8sZcl0Sw/+kASqcmNMVu9JdWO2KVQaIiXBOqIacmIZWaEIU8nC/AlpKW32d5lm3ORyREiE3Vkm/50NulAXE4ibuC7wwY0c1Fj45oTlaUGbXJmmoqmK/8j//EFh8fLgBJSCoWsItPvqIuJcscCtX3Rv1jWiiFtaZseAM7smNLDp8sdoD3PnY6ZQMKuOV/zkW39f2FbASMKyvEPxg6vwhwYCSptVzUAGQwz6E+DvKSDNGCShZP2II4qxpdHT+2GUeF6muBd/iZfLZ6m2XK6JP4/sb/dVVMy0eKhlsrdyU5nlTIbTjs0qYbd5+oAAJWzZq2rrFHU2/VlVls474RnSZLzGjnPNlRBcv4l54DnQ/+qOFuE22vcQOss4M/v+F1uyXLCwIMwjuPfJCubz1zVbs+fU93HXTSGciqANEp22D/6EhypQwVjnS4f/GPoWZBmqMnFf9ySCen1tXOoonMzwEYep7PZBicEI6Ve6Gb/NJU3ITVbhcABcIIKAQr7Ia1UEeAIXfls8wTdyGlG2s4cdF3Qzpz1TncC4ZRIJEeXSgNANyAmA9Nk6nVxYKR47200Mz2mohnBAopI= X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: List-Subscribe: List-Unsubscribe: --=-wnXlQ7VT1N8w0sxttcKq Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Fri, 2024-08-02 at 13:53 +0100, David Woodhouse wrote: > On Fri, 2024-08-02 at 13:38 +0100, Matthew Wilcox wrote: > > On Fri, Aug 02, 2024 at 01:03:16PM +0100, David Woodhouse wrote: > > > On Fri, 2024-08-02 at 11:44 +0000, Carsten Stollmaier wrote: > > > > handle_userfault uses TASK_INTERRUPTIBLE, so it is interruptible by > > > > signals. do_user_addr_fault then busy-retries it if the pending sig= nal > > > > is non-fatal. This leads to contention of the mmap_lock. > >=20 > > Why does handle_userfault use TASK_INTERRUPTIBLE?=C2=A0 We really don't > > want to stop handling a page fault just because somebody resized a > > window or a timer went off.=C2=A0 TASK_KILLABLE, sure. >=20 > Well, the literal answer there in this case is "because we ask it to". >=20 > The handle_userfault() function will literally do what it's told by the > fault flags:=20 >=20 > static inline unsigned int userfaultfd_get_blocking_state(unsigned int fl= ags) > { > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0if (flags & FAULT_FLAG_IN= TERRUPTIBLE) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0return TASK_INTERRUPTIBLE; >=20 > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0if (flags & FAULT_FLAG_KI= LLABLE) > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0return TASK_KILLABLE; >=20 > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0return TASK_UNINTERRUPTIB= LE; > } >=20 >=20 > Hence the other potential workaround I mentioned, for > do_user_addr_fault() *not* to ask it to, for faults from the kernel: >=20 > > >=20 > > > --- a/arch/x86/mm/fault.c > > > +++ b/arch/x86/mm/fault.c > > > @@ -1304,6 +1304,8 @@ void do_user_addr_fault(struct pt_regs *regs, > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 */ > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 if (user_mode(regs)) > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 flags |=3D FAULT_FLAG_USER; > > > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 else > > > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0 flags &=3D ~FAULT_FLAG_INTERRUPTIBLE; > > > =C2=A0 > > > =C2=A0#ifdef CONFIG_X86_64 > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 /* > > >=20 >=20 >=20 > But I don't know that I agree with your statement above, that we "don't > want to stop handling a page fault just because somebody resized a > window or a timer went off".=20 See also "we don't want to stop waiting for a page fault, just because somebody hit Ctrl-C, but SIGINT has a trivial handler to do some minor cleanup before exiting so it isn't considered a *fatal* signal". I'm very sure I'd disagree with that one :) --=-wnXlQ7VT1N8w0sxttcKq 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 DQEHATAcBgkqhkiG9w0BCQUxDxcNMjQwODAyMTI1NjU4WjAvBgkqhkiG9w0BCQQxIgQg5T1EYPAx ApaE1DaQrH3oWYTYM4xfMt+aC4Evp0/yPDwwgb0GCSsGAQQBgjcQBDGBrzCBrDCBljELMAkGA1UE BhMCR0IxGzAZBgNVBAgTEkdyZWF0ZXIgTWFuY2hlc3RlcjEQMA4GA1UEBxMHU2FsZm9yZDEYMBYG A1UEChMPU2VjdGlnbyBMaW1pdGVkMT4wPAYDVQQDEzVTZWN0aWdvIFJTQSBDbGllbnQgQXV0aGVu dGljYXRpb24gYW5kIFNlY3VyZSBFbWFpbCBDQQIRAMa+GZZnQMQDHShREvo7qX4wgb8GCyqGSIb3 DQEJEAILMYGvoIGsMIGWMQswCQYDVQQGEwJHQjEbMBkGA1UECBMSR3JlYXRlciBNYW5jaGVzdGVy MRAwDgYDVQQHEwdTYWxmb3JkMRgwFgYDVQQKEw9TZWN0aWdvIExpbWl0ZWQxPjA8BgNVBAMTNVNl Y3RpZ28gUlNBIENsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgU2VjdXJlIEVtYWlsIENBAhEAxr4Z lmdAxAMdKFES+jupfjANBgkqhkiG9w0BAQEFAASCAgBUw8Yuth8oTRJeRuW4bGGyn1qsgA3kNxQ5 Fqiwy4qkrKY+zXhe3or1mr9Zu4eb4DHuUOVHSKmzC6UsNX1yuSvLD+7OatcobQuXt9anJ7VmfGbf nGk+vDAUaivqm+uaG0Q12w61FL+1hmyLk8pn5xqh3/qQxipNmVIKh/anItx8zC0a7CfBZH2AQXEM Iusy6MJLabumi0qemP6zFse1duZlbsVdIezMxb1hrPvO8WinX5eAUS7xi06/L4m8kvIePa7XTz42 d7c7ydAAXMt1PyG38sF24bDZNg2gQZD4tzPymPTnmDykuXJjgbRcRniPKrGzZSNEUmUryYWbQ16l pg6PgZvac0Xv+Ttq8rTfRvnkykiXVO2McjP1lnqbfmaye5i/h/GbwUjhqG3KC0sIZGE/3ydf2lgx 3ihVbmaPy3GYOUKR51YZfZ9UK/J8fCcwgbDyg59lv5VPfgQJrDADb7HJfJMXVitkMcssXQQQMokU bv+6YhZjI2YTAHN4H+hTDUWal+CMGIbB1x7X5l7eHTDMV6DuIHyI4KwYDAOHvoNGMXBPvorYSfqr 5+q5DVixxPVnOOH43F/G49jSB9AEmV1TuNuZLrtA6EYg1OyxXMUS4CcibOvPkR6P9SNbdij4aUNt 3jxpKM0h541NmECBdAAIQMvPEotH/lbXoIII+ZQlHwAAAAAAAA== --=-wnXlQ7VT1N8w0sxttcKq--