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 2909BC3DA45 for ; Wed, 10 Jul 2024 10:50:20 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id AF75F6B009B; Wed, 10 Jul 2024 06:50:19 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id AA61C6B009C; Wed, 10 Jul 2024 06:50:19 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 96E4B6B009D; Wed, 10 Jul 2024 06:50:19 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0010.hostedemail.com [216.40.44.10]) by kanga.kvack.org (Postfix) with ESMTP id 79C136B009B for ; Wed, 10 Jul 2024 06:50:19 -0400 (EDT) Received: from smtpin03.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay05.hostedemail.com (Postfix) with ESMTP id 2B59941C81 for ; Wed, 10 Jul 2024 10:50:19 +0000 (UTC) X-FDA: 82323523758.03.8A501E4 Received: from casper.infradead.org (casper.infradead.org [90.155.50.34]) by imf23.hostedemail.com (Postfix) with ESMTP id 1AFE314001D for ; Wed, 10 Jul 2024 10:50:16 +0000 (UTC) Authentication-Results: imf23.hostedemail.com; dkim=pass header.d=infradead.org header.s=casper.20170209 header.b=WACUporS; spf=none (imf23.hostedemail.com: domain of BATV+179270d1b3693ee586b2+7626+infradead.org+dwmw2@casper.srs.infradead.org has no SPF policy when checking 90.155.50.34) smtp.mailfrom=BATV+179270d1b3693ee586b2+7626+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=1720608585; 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=VxZtvXiDhEBwkKlsQ8Vo2j4vz/CUbvgTVPWUwnRMHII=; b=z2c+STxFTwyBY+HBNSlyv0CJZn/lfEHy6lP/JqgH/lnAzXK1Wya6cma/l/ndq0gisBe2jj VzS3Q2NuzltGTTwxXPGzAE7IaXyikbPVYbNFF/zWIdnrD63zBPe7zFOyOj7JE8hY1d+/3B yeSiWRImroVxoHFwQAIJjiC0We4s1TQ= ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1720608585; a=rsa-sha256; cv=none; b=wmzTKeOFhK+mmLDRLKCltwKKkzNUz2elN/zcSIdmJ6PPzotIszxWvjs2eJ6p4YW4sAvtl8 VFYr/gKzhvpNWz4SnRquavwpYqjLAYl1GjxxOZBl8lVBFzarCEQ3LvkWOnmUzJ40m6g3xx GrHOE41iuYNwjBj3Ulvro4B59iEyFsc= ARC-Authentication-Results: i=1; imf23.hostedemail.com; dkim=pass header.d=infradead.org header.s=casper.20170209 header.b=WACUporS; spf=none (imf23.hostedemail.com: domain of BATV+179270d1b3693ee586b2+7626+infradead.org+dwmw2@casper.srs.infradead.org has no SPF policy when checking 90.155.50.34) smtp.mailfrom=BATV+179270d1b3693ee586b2+7626+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=VxZtvXiDhEBwkKlsQ8Vo2j4vz/CUbvgTVPWUwnRMHII=; b=WACUporS1SYDTPylQzzZKojHVD Mxdog4s3borIcCeoNxe6ecbTJiaTJ4vBJW36JZkYv4x4hXsbSwkw+lh5xNrDdSXaa8Wp2Kprs8xIN V8Gmj0Ou5PPka6Gu6W5nZ1PjPuEKfRRBEdgZqPBRniYZd5pafogIozSZzbIHDoqhI3TZDnHB4rjwd DYpRXsjY4J47QoNeSxW4P2WyVAe1gxZPKSaJ8ls+81zpL3HqI14EdAxLqgdIuBOyfwDOcWpfloQ+2 xbB04VMAgRtUyJ4846XsFcMfE40tA7pRzgq3iV/NB8AEzSdFiTdntpg6TvFX1MDE9ICq2wXDMS7am OFlwi7Jg==; Received: from [2001:8b0:10b:5:daed:e261:1c9e:7a77] (helo=u3832b3a9db3152.ant.amazon.com) by casper.infradead.org with esmtpsa (Exim 4.97.1 #2 (Red Hat Linux)) id 1sRUth-0000000995E-0wL8; Wed, 10 Jul 2024 10:50:05 +0000 Message-ID: Subject: Re: [RFC PATCH 3/8] kvm: pfncache: enlighten about gmem From: David Woodhouse To: Patrick Roy , seanjc@google.com, pbonzini@redhat.com, akpm@linux-foundation.org, rppt@kernel.org, david@redhat.com Cc: tglx@linutronix.de, mingo@redhat.com, bp@alien8.de, dave.hansen@linux.intel.com, x86@kernel.org, hpa@zytor.com, willy@infradead.org, graf@amazon.com, derekmn@amazon.com, kalyazin@amazon.com, kvm@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, dmatlack@google.com, tabba@google.com, chao.p.peng@linux.intel.com, xmarcalx@amazon.co.uk, James Gowans Date: Wed, 10 Jul 2024 11:50:04 +0100 In-Reply-To: References: <20240709132041.3625501-1-roypat@amazon.co.uk> <20240709132041.3625501-4-roypat@amazon.co.uk> <9a0e63b7d45beca7b7a30debd3831f433626e5f6.camel@infradead.org> Content-Type: multipart/signed; micalg="sha-256"; protocol="application/pkcs7-signature"; boundary="=-TyRIMs3tyMINHxcT3/AW" 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: 9jqhu69cseb6ghsbw5mse7edd79mfisf X-Rspamd-Queue-Id: 1AFE314001D X-Rspam-User: X-Rspamd-Server: rspam08 X-HE-Tag: 1720608616-523993 X-HE-Meta: U2FsdGVkX1+S8t+Auyj1lrtA26q1zhCSzRo4YHNVmlXg34BK3JhnwTpvjk0+0+r1TU+ep6WZk/4GSjxPcGS3SzNmFw7QzQ5WfSfhbdqSrCqw3QUOh/Zu+1ynQg2cPlgR+8h7VzH+2uNDrpgTEuZ0Od151wNGQTf/wPLZY7za4X7PvBlkSVyewxKff1TN9XUlf+O++YR6c04xFHSODaYgg2+zb42TpoyGxqPceYTnQsEXAssBcJOMq4PjQbCHzTnVNf8/4tbMLUX6sTvAopZv2sDdWHx3J9CzPqOIclmsOadlfSbgDnCzDIs6MwMPJVCPxBS7mYms/gFGr48lX8ainvjzI3NiDNE0lv+NPz0g0CkYne/+C222AwXtnFRKMmdvxpuhd/cteoqH7ToCJljp+pGDJx5ZhTFRaCwzNSjwmg0MQ9Uw/Wz/YL/p6lW3XCagrW02qmHpj0vxd4T0wKV3Gqq3JVz4aRKI0KVS2hm8/Kqo99PtP2rZ8CT9LhLiC1BvAwbim9myraGDsBXQ6KHK2bxKjJgDuSnL9cLOeNXGrJOMk0fkHPviCvRJE5koHD1PfdYFazFKXrsNLS4dUv5w2oNvXC3J45FakpzKW5prnMdcdvMyCdJwNjkJVrZWu3mjKtfz+53QxOyzN17NjuOfIidSOYYectbhs33/iAXTsZYsCCCQR64+RAL/YACtm/eUV/AQc85ybHKXrr9qiRdgNyrT5zPThVnhzgFyEfsiMT9LyYIwJCY3TekbbZfDB+q2KeusHmIzrXHYQzvrWq/knxTOiz7vLL/PLJ019eAvSNC+HrQK47Q3ZiPcTGbVr/ZDd/VjfUMccCxWi03U1VyaWIUFFGh4Wo5FSF2xq2D9Qsy71/uEv2Bsx5taS2KbX0M5ri0f5TIg4Npxrmxc9vr+VhzpldKnOXCybwuIAZ1NM3n9KAiGFBF8T5kLyszsUaVn5w/QGI7EtIjyOxMmDUS /tV3oxGb mhEGpV02MvYrAPCXzpSIpal3Ifhm4ZjJGTaKI4azYDTcnWlyd5coAvLD+dfcicLugCODQE1tvbnTIKdj9Gs0AFH5FK6UQ84fLvsUWfB2OwuqJZyJljiXmplJweFDRAbHyjcbFDP+62nZaWTOtdB1fweGqoFXz3T+MLs6SfwBVVftWHN+NEGoPf5SUPU/eG+5RQ7u7Rs/0QY6ZzxqJiAdXyRxjrOETQaJ2wF4TuiQ4qKbi8OZyB+1DVWHnlzqSBUz5Djw509GilskJ0/J+S5JZc76npspTGPLl8hJEWIYcAkEr0NYVCYhQVFAmykZfrZfySlDNq9yYNhIlXopCPFWTplhG0BCJm8EyERYvm0ppIR8CurIIPhV53a6GJtEfVtVcaR6TjU3rhhoMvvHdXoGTCDXO/txlhdnAB44qI5QqyyJjGPph+U0FoQ2mzoe20v1bmRAhkgi+F7lTFa7B5KDg4VF6tOkyvuYyml2qHP+9j/TuZUWGp79e7u7zr6Ze9FnVAqXVO5EW2ms5/2YApZ3FGNN6zDKT9dZnj9wp5mz1TpeENyjF3d9DJNbqtJCUZ+zyVL+Aa+Xme9EYmsX1jqY20AHg6MZaww6bz8oOroEkh5SAIpPHVMYF9wYXY30Jo4xuNckDxIGkFmFjaJJJ4U5sA+zZmQ== 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: --=-TyRIMs3tyMINHxcT3/AW Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Wed, 2024-07-10 at 11:46 +0100, Patrick Roy wrote: > On Wed, 2024-07-10 at 11:20 +0100, David Woodhouse wrote: > > In that case, wouldn't that mean the explicit checks on gpc->is_private > > matching kvm_mem_is_private() would be redundant and you can remove > > them because you can trust that gpc->valid would be cleared? > >=20 >=20 > Right, yes, it would indeed mean that. I'll double-check my assumption > about the whole invalidation thing and adjust the code for the next > iteration! I was going to suggest that you take the check you'd added to kvm_gpc_check() and move it down below the ->valid check, and turn it into a BUG_ON() to check that assertion. You *might* get false positives with that though, if the result of kvm_mem_is_private() becomes true before the flush actually *happens*? --=-TyRIMs3tyMINHxcT3/AW 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 DQEHATAcBgkqhkiG9w0BCQUxDxcNMjQwNzEwMTA1MDA0WjAvBgkqhkiG9w0BCQQxIgQgfdtBSRPg tq5Cw4e2rtAdzyLEidKNJFfpqImW6ITKBD4wgb0GCSsGAQQBgjcQBDGBrzCBrDCBljELMAkGA1UE BhMCR0IxGzAZBgNVBAgTEkdyZWF0ZXIgTWFuY2hlc3RlcjEQMA4GA1UEBxMHU2FsZm9yZDEYMBYG A1UEChMPU2VjdGlnbyBMaW1pdGVkMT4wPAYDVQQDEzVTZWN0aWdvIFJTQSBDbGllbnQgQXV0aGVu dGljYXRpb24gYW5kIFNlY3VyZSBFbWFpbCBDQQIRAMa+GZZnQMQDHShREvo7qX4wgb8GCyqGSIb3 DQEJEAILMYGvoIGsMIGWMQswCQYDVQQGEwJHQjEbMBkGA1UECBMSR3JlYXRlciBNYW5jaGVzdGVy MRAwDgYDVQQHEwdTYWxmb3JkMRgwFgYDVQQKEw9TZWN0aWdvIExpbWl0ZWQxPjA8BgNVBAMTNVNl Y3RpZ28gUlNBIENsaWVudCBBdXRoZW50aWNhdGlvbiBhbmQgU2VjdXJlIEVtYWlsIENBAhEAxr4Z lmdAxAMdKFES+jupfjANBgkqhkiG9w0BAQEFAASCAgCe6giBxR85s0TRLa0sbm8pCK3wVF1DhFYR +VqJmQ//t2+/qcmoCig/oz6oKpV7StHPOfVIFGH1ckpAYPbQ9vae5hYrbjC3YPKibR57lL1eyZzJ biFO/Z1hYxD6zWzAqIRp8zPUYce9W7NXOc9ZC2vrHuTaPJM61i1AmBgrTrIbRX6yLBdNgwOtZqcw nIjfKxtFWC+Wg53DNeGK9J9MNyAZ/CbFvhTgeIARRYWcU3lKK6l+VKjdoI1x4hY4UHG85EeJfwHr FNYdJdwkpHfCLKsXM9HhWqmuw8uQ/nz+J91GzzHPcpvFbz2M9Mnu4zCFs+G+45DDJpBmmcpbFsbM rXuADKolF8bG6CM5EsulDNoltYAFAOP+rN6P/DIVpXyEzjBZVxkgzYyKdS9izn0+fjSIdGu9Gakl XTiLIZZneoWtROVaKFiYzv6vNGA7fjSzWmin4YQv9A5wqenwmRQLQDPsI21EpnhzaRRMwxykp6K8 laJZmMQHZu0DgDCq8cyUxuKJziylZ2mjYuOJ84sf4fbWpeiN52xDzza2ClOOpFWJHhH5yuziHVuB GCH5s9nM41EceQIBJPpgqyIgLRu9o/1+ilB1uqpEIrxZRS4mgsLGZUFxTya6WSyfJOlF8lGSgCYU Kwszfl4DEa8qVB3elTMjPnmosGUcVzQaLu+jyi8gGQAAAAAAAA== --=-TyRIMs3tyMINHxcT3/AW--