From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32 via Mailbox Transport; Wed, 17 Jan 2024 16:16:21 +0000 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.32; Wed, 17 Jan 2024 16:16:20 +0000 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.32 via Frontend Transport; Wed, 17 Jan 2024 16:16:20 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 40HGGf3o018048 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 17 Jan 2024 16:16:41 GMT Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 40HGGXUo018033 for ; Wed, 17 Jan 2024 16:16:33 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Jan 2024 17:16:32 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 912DCE0D71; Wed, 17 Jan 2024 17:16:30 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7ED1FE004E; Wed, 17 Jan 2024 17:16:27 +0100 (CET) Received: from mailout3.zih.tu-dresden.de ([141.30.67.74]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 Jan 2024 17:16:15 +0100 Received: from [172.26.35.112] (helo=msx.tu-dresden.de) by mailout3.zih.tu-dresden.de with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rQ8aK-00HNYr-3G; Wed, 17 Jan 2024 17:16:14 +0100 Received: from MSX-T313.msx.ad.zih.tu-dresden.de (172.26.35.113) by MSX-T312.msx.ad.zih.tu-dresden.de (172.26.35.112) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.2507.35; Wed, 17 Jan 2024 17:15:58 +0100 Received: from MSX-T313.msx.ad.zih.tu-dresden.de ([172.26.35.113]) by MSX-T313.msx.ad.zih.tu-dresden.de ([172.26.35.113]) with mapi id 15.01.2507.035; Wed, 17 Jan 2024 17:15:58 +0100 From: Oliver Fernandez Gil To: "rewriting@ens-lyon.fr" , "coq-club@inria.fr" , "caml-list@inria.fr" , "ProofTheory@lists.bath.ac.uk" , "fscd.conference@dcc.fc.up.pt" , "theory-logic@cs.cmu.edu" , "cl-isabelle-users@lists.cam.ac.uk" Subject: [Caml-list] UNIF 2024 Call for Papers Thread-Topic: UNIF 2024 Call for Papers Thread-Index: AQHaSWB0zV7s7kS6NkGqnL9IB8IuyQ== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Wed, 17 Jan 2024 16:15:58 +0000 Message-ID: <9B297EB7-4819-4780-9015-1254A86FDB4F@tu-dresden.de> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Oliver Fernandez Gil Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: yes X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 6b524aeb-6016-4cf8-f151-08dc1777a48e X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="6.05,200,1701126000"; d="p7s'?scan'208";a="77082737" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: multipart/signed; boundary="Apple-Mail=_339E7B70-105E-4DB7-B6B0-767207FC5004"; protocol="application/pkcs7-signature"; micalg=sha-256 MIME-Version: 1.0 --Apple-Mail=_339E7B70-105E-4DB7-B6B0-767207FC5004 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=us-ascii [Apologies for multiple copies] ======================================================================= Call for Papers UNIF 2024 The 38th International Workshop on Unification Nancy, France, July 2, 2024 A satellite workshop of CADE/IJCAR, affiliated with IJCAR https://lat.inf.tu-dresden.de/unif2024 ======================================================================= UNIF 2024 is the 38th event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of making two given terms equal, either syntactically or modulo an equational theory. It is a fundamental process used in various areas of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, knowledge representation, types, etc. The International Workshop on Unification (UNIF) is a forum for researchers in unification theory and related fields to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for students, young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory. Topics ------ A non-exhaustive list of topics of interest includes: * syntactic and equational unification algorithms * matching and constraint solving * higher-order unification * unification in modal, temporal, and description logics * admissibility of inference rules * narrowing * disunification * anti-unification * complexity issues * combination methods * implementation techniques * applications Submission ---------- Short papers or extended abstracts, up to 5 pages in EasyChair style, should be submitted electronically as PDF files through the EasyChair submission site: https://easychair.org/conferences/?conf=unif2024 Abstracts will be evaluated by the Program Committee regarding their significance for the workshop. We allow submissions of work presented/ submitted in/to another conference. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in electronic form on the Web page of UNIF 2024. At least one of the authors should register for the workshop. Based on the number and quality of submissions we will decide whether to organize a special journal issue. Important Dates --------------- * Paper submission: April 18, 2024 (AoE) * Author notification: May 23, 2024 (AoE) * Camera-ready version: June 7, 2024 (AoE) * UNIF 2024: July 2, 2024 Invited Speakers ---------------- To be announced. --Apple-Mail=_339E7B70-105E-4DB7-B6B0-767207FC5004 Content-Disposition: attachment; filename="smime.p7s" Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCCEVww ggUSMIID+qADAgECAgkA4wvV+K8l2YEwDQYJKoZIhvcNAQELBQAwgYIxCzAJBgNVBAYTAkRFMSsw KQYDVQQKDCJULVN5c3RlbXMgRW50ZXJwcmlzZSBTZXJ2aWNlcyBHbWJIMR8wHQYDVQQLDBZULVN5 c3RlbXMgVHJ1c3QgQ2VudGVyMSUwIwYDVQQDDBxULVRlbGVTZWMgR2xvYmFsUm9vdCBDbGFzcyAy MB4XDTE2MDIyMjEzMzgyMloXDTMxMDIyMjIzNTk1OVowgZUxCzAJBgNVBAYTAkRFMUUwQwYDVQQK EzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6ZXMg ZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERGTi1WZXJlaW4gQ2VydGlmaWNhdGlv biBBdXRob3JpdHkgMjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAMtg1/9moUHN0vqH l4pzq5lN6mc5WqFggEcVToyVsuXPztNXS43O+FZsFVV2B+pG/cgDRWM+cNSrVICxI5y+NyipCf8F XRgPxJiZN7Mg9mZ4F4fCnQ7MSjLnFp2uDo0peQcAIFTcFV9Kltd4tjTTwXS1nem/wHdN6r1ZB+Ba L2w8pQDcNb1lDY9/Mm3yWmpLYgHurDg0WUU2SQXaeMpqbVvAgWsRzNI8qIv4cRrKO+KA3Ra0Z3qL NupOkSk9s1FcragMvp0049ENF4N1xDkesJQLEvHVaY4l9Lg9K7/AjsMeO6W/VRCrKq4Xl14zzsjz 9AkH4wKGMUZrAcUQDBHHWekCAwEAAaOCAXQwggFwMA4GA1UdDwEB/wQEAwIBBjAdBgNVHQ4EFgQU k+PYMiba1fFKpZFK4OpL4qIMz+EwHwYDVR0jBBgwFoAUv1kgNgB5oKAia4zV8mHSuCzLgkowEgYD VR0TAQH/BAgwBgEB/wIBAjAzBgNVHSAELDAqMA8GDSsGAQQBga0hgiwBAQQwDQYLKwYBBAGBrSGC LB4wCAYGZ4EMAQICMEwGA1UdHwRFMEMwQaA/oD2GO2h0dHA6Ly9wa2kwMzM2LnRlbGVzZWMuZGUv cmwvVGVsZVNlY19HbG9iYWxSb290X0NsYXNzXzIuY3JsMIGGBggrBgEFBQcBAQR6MHgwLAYIKwYB BQUHMAGGIGh0dHA6Ly9vY3NwMDMzNi50ZWxlc2VjLmRlL29jc3ByMEgGCCsGAQUFBzAChjxodHRw Oi8vcGtpMDMzNi50ZWxlc2VjLmRlL2NydC9UZWxlU2VjX0dsb2JhbFJvb3RfQ2xhc3NfMi5jZXIw DQYJKoZIhvcNAQELBQADggEBAIcL/z4Cm2XIVi3WO5qYi3FP2ropqiH5Ri71sqQPrhE4eTizDnS6 dl2e6BiClmLbTDPo3flq3zK9LExHYFV/53RrtCyD2HlrtrdNUAtmB7Xts5et6u5/MOaZ/SLick0+ hFvu+c+Z6n/XUjkurJgARH5pO7917tALOxrN5fcPImxHhPalR6D90Bo0fa3SPXez7vTXTf/D6OWS T1k+kEcQSrCFWMBvf/iu7QhCnh7U3xQuTY+8npTD5+32GPg8SecmqKc22CzeIs2LgtjZeOJVEqM7 h0S2EQvVDFKvaYwPBt/QolOLV5h7z/0HJPT8vcP9SpIClxvyt7bPZYoaorVyGTkwggWWMIIEfqAD AgECAgwcbjQkPzrYLBvMkTUwDQYJKoZIhvcNAQELBQAwgZUxCzAJBgNVBAYTAkRFMUUwQwYDVQQK EzxWZXJlaW4genVyIEZvZXJkZXJ1bmcgZWluZXMgRGV1dHNjaGVuIEZvcnNjaHVuZ3NuZXR6ZXMg ZS4gVi4xEDAOBgNVBAsTB0RGTi1QS0kxLTArBgNVBAMTJERGTi1WZXJlaW4gQ2VydGlmaWNhdGlv biBBdXRob3JpdHkgMjAeFw0xNjEyMTIxNDM5MTZaFw0zMTAyMjIyMzU5NTlaMHMxCzAJBgNVBAYT AkRFMRAwDgYDVQQIDAdTYWNoc2VuMRAwDgYDVQQHDAdEcmVzZGVuMSgwJgYDVQQKDB9UZWNobmlz Y2hlIFVuaXZlcnNpdGFldCBEcmVzZGVuMRYwFAYDVQQDDA1UVSBEcmVzZGVuIENBMIIBIjANBgkq hkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5+CCc42Y1+0J5tpASWPSYx/0Pxqj97P1DdzCbTh3Xwpp RsAMtqNwS8sTxgHMmbNAol18t3EqIkTH/iSXEhd5cf6OSyHumVbgvZTvjMh/c7R3VGZiwqimlhk4 /UJV8nVPvrL24GukD17Rsv+iLe5Mse7HIMJ7e9ciArdCBV5W6kk/5O24/ZhttIEs/2I3i8MTlGoB aesNgkUy/cRaA0hw1BBTrDbfK1vhbxV/CWb+czy0F0M5W31LToGrXuwoFrhggn5X/LrFXvCb8/9w +jSk8WzGvJw6MlPGXHwuTfjf7oei/S0j7iHq5fyIH3lEs58M4kwxlLViv2rc3KJkTX5xmQIDAQAB o4ICBTCCAgEwEgYDVR0TAQH/BAgwBgEB/wIBATAOBgNVHQ8BAf8EBAMCAQYwKQYDVR0gBCIwIDAN BgsrBgEEAYGtIYIsHjAPBg0rBgEEAYGtIYIsAQEEMB0GA1UdDgQWBBRS/r63JMIbCh1GUo5EJCr0 SEA9ATAfBgNVHSMEGDAWgBST49gyJtrV8UqlkUrg6kviogzP4TCBjwYDVR0fBIGHMIGEMECgPqA8 hjpodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWcyLWNhL3B1Yi9jcmwvY2Fjcmwu Y3JsMECgPqA8hjpodHRwOi8vY2RwMi5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWcyLWNhL3B1Yi9j cmwvY2FjcmwuY3JsMIHdBggrBgEFBQcBAQSB0DCBzTAzBggrBgEFBQcwAYYnaHR0cDovL29jc3Au cGNhLmRmbi5kZS9PQ1NQLVNlcnZlci9PQ1NQMEoGCCsGAQUFBzAChj5odHRwOi8vY2RwMS5wY2Eu ZGZuLmRlL2dsb2JhbC1yb290LWcyLWNhL3B1Yi9jYWNlcnQvY2FjZXJ0LmNydDBKBggrBgEFBQcw AoY+aHR0cDovL2NkcDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1nMi1jYS9wdWIvY2FjZXJ0L2Nh Y2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBAEzYRPywOGl/wZ/Mdz2gLDMbO39f7+iQcrVPRy/l bjjLt+0bouai8xTj1I9N+W4ZOhGww55gXMNOnBiKouODdNcazTxW6+glA4+5K9bxkAKu9kl9J2ez pcMw1PNTFFcS1yG+thGQTtuy+3S3fI6VIfxi+RawFri9sC7010qS3RwOShmhsLk3iEjlDQ180zkB zsdevWHt1svALpqsc+7DcHuP+MgYvkow/1uyHp3vyeTE9K7hdxcfXwRQ9IkeCo9xLJUeykuosqrT OQNe4Yw4hPhrJfRtoyH92SFqdeZenVeU6+rkquev61X3fPi+/ySpUOGyWPdggN65bQ81E8nLFYUw ggaoMIIFkKADAgECAgwkO1wN9FG1R0zomBAwDQYJKoZIhvcNAQELBQAwczELMAkGA1UEBhMCREUx EDAOBgNVBAgMB1NhY2hzZW4xEDAOBgNVBAcMB0RyZXNkZW4xKDAmBgNVBAoMH1RlY2huaXNjaGUg VW5pdmVyc2l0YWV0IERyZXNkZW4xFjAUBgNVBAMMDVRVIERyZXNkZW4gQ0EwHhcNMjEwMjA0MTE0 NjA2WhcNMjQwMjA0MTE0NjA2WjBWMQswCQYDVQQGEwJERTEoMCYGA1UECgwfVGVjaG5pc2NoZSBV bml2ZXJzaXRhZXQgRHJlc2RlbjEdMBsGA1UEAwwUT2xpdmVyIEZlcm5hbmRleiBHaWwwggIiMA0G CSqGSIb3DQEBAQUAA4ICDwAwggIKAoICAQCuzQCbskFkMFQzLwA338boS2w6wyV7hkn4Hkz7E6TI UMRw38qWyIGcRNoPUT+Hp4t9CBssSMpi+uYATWa4vm3exJ+bcD0JU0RWQmojazejZMVay5gk4+op HXlu+tVlBoiuoGZzSy+lgLrrdkLLjNFDSNNTZOaVwk2ga+tmPD/sFvqYlhZFxdQ1haGOvtrYzbno f9RGLG5L7JuKWybHt8jxuwbGtR4YzNrxTl+Yuu4tTcLCVQ9zPiYII7b7WLyA/t72R6mb9wiTlfhk g+2Zrvdq9hYYNYUOuu5EF5OLYQ3d13d5m7FvU/BPQagB3ZGANkZunevLirsdFRDoZb0kTbXiHN7H ZvBlD3+QZgmuQK2QsPn7/ls7tjte8AgY9rq+ZvESskwQJAuvLEaLdduOIV6DKEou3z/P60Yh3s25 vX9R2QgZxuZgk47sKua4OBv8hF8DgNP9J5DGz2h8Mm1B3vOXnhL3UIu9SfIJMLzBnf7MPm9ENeYZ UMKMoYGNOYo89+7PjmXeqciU3SAXs0oCx+u6i6aXDp4ogCENvB3oFHc5wn+QrqGAUM4wObvoAwC3 AbnCEiMHYkZtmorpeGvou74lI52pltmruQiS+kjQsLTySi/KJHwFqwZ8ROg1/ABdtjdogFhfR+UJ C3XuLGDk9Jm2oLeW1tADlfPInIVo2fp2lwIDAQABo4ICVzCCAlMwCQYDVR0TBAIwADAOBgNVHQ8B Af8EBAMCBeAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwMEMB0GA1UdDgQWBBR9A/GKEJHx RTPaLw3yvXDKdpkqEjAfBgNVHSMEGDAWgBRS/r63JMIbCh1GUo5EJCr0SEA9ATApBgNVHREEIjAg gR5vbGl2ZXIuZmVybmFuZGV6QHR1LWRyZXNkZW4uZGUwgY0GA1UdHwSBhTCBgjA/oD2gO4Y5aHR0 cDovL2NkcDEucGNhLmRmbi5kZS90dS1kcmVzZGVuLWcyLWNhL3B1Yi9jcmwvY2FjcmwuY3JsMD+g PaA7hjlodHRwOi8vY2RwMi5wY2EuZGZuLmRlL3R1LWRyZXNkZW4tZzItY2EvcHViL2NybC9jYWNy bC5jcmwwgdsGCCsGAQUFBwEBBIHOMIHLMDMGCCsGAQUFBzABhidodHRwOi8vb2NzcC5wY2EuZGZu LmRlL09DU1AtU2VydmVyL09DU1AwSQYIKwYBBQUHMAKGPWh0dHA6Ly9jZHAxLnBjYS5kZm4uZGUv dHUtZHJlc2Rlbi1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQwSQYIKwYBBQUHMAKGPWh0dHA6 Ly9jZHAyLnBjYS5kZm4uZGUvdHUtZHJlc2Rlbi1nMi1jYS9wdWIvY2FjZXJ0L2NhY2VydC5jcnQw PgYDVR0gBDcwNTAPBg0rBgEEAYGtIYIsAQEEMBAGDisGAQQBga0hgiwBAQQIMBAGDisGAQQBga0h giwCAQQIMA0GCSqGSIb3DQEBCwUAA4IBAQBCjBqHDAbkW95Bug1IXDJSyJcKQQosDt9m3JZMVz9g AEVLKIoeR1seTbQ2Ic8akN1cBP/gAIePtkxisf1TTNLn8ZlasYWUL4C/XZInbczFVNU+9lZEMI9s OUjQ/WetvdLT2VJ/qI1iiRbj7TZVQcOo1w8/8AJgPYTfc8QpjoSh1HMWBdJpRoow+auHEU7RnLmv 5iTShTZKMTI63yNJ2X4eqeJ3/H2kWQZ+dWc/lMoUK/adUDl+3QLiG25vXY3Qm8gBdN+erPori+I3 buSYvqQ8TVx17dNxeuESANn4gsxwvkAZ//+c0jpvYgz2t2D/I34KE0g70x6A2H4Tlu5eqWKeMYIE TDCCBEgCAQEwgYMwczELMAkGA1UEBhMCREUxEDAOBgNVBAgMB1NhY2hzZW4xEDAOBgNVBAcMB0Ry ZXNkZW4xKDAmBgNVBAoMH1RlY2huaXNjaGUgVW5pdmVyc2l0YWV0IERyZXNkZW4xFjAUBgNVBAMM DVRVIERyZXNkZW4gQ0ECDCQ7XA30UbVHTOiYEDANBglghkgBZQMEAgEFAKCCAZkwGAYJKoZIhvcN AQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMjQwMTE3MTYxNTU4WjAvBgkqhkiG9w0B CQQxIgQgnYQk3f1FrlFhkYqgBWZUnbsPa2l+u62i6aFcsnM3glgwgZQGCSsGAQQBgjcQBDGBhjCB gzBzMQswCQYDVQQGEwJERTEQMA4GA1UECAwHU2FjaHNlbjEQMA4GA1UEBwwHRHJlc2RlbjEoMCYG A1UECgwfVGVjaG5pc2NoZSBVbml2ZXJzaXRhZXQgRHJlc2RlbjEWMBQGA1UEAwwNVFUgRHJlc2Rl biBDQQIMJDtcDfRRtUdM6JgQMIGWBgsqhkiG9w0BCRACCzGBhqCBgzBzMQswCQYDVQQGEwJERTEQ MA4GA1UECAwHU2FjaHNlbjEQMA4GA1UEBwwHRHJlc2RlbjEoMCYGA1UECgwfVGVjaG5pc2NoZSBV bml2ZXJzaXRhZXQgRHJlc2RlbjEWMBQGA1UEAwwNVFUgRHJlc2RlbiBDQQIMJDtcDfRRtUdM6JgQ MA0GCSqGSIb3DQEBAQUABIICAC81tsjqjAg+IZzR3qhsb6G83t+Qlhp0WdwbJP9AFyQDhQ0+Yksb 5us/oKm+PsVqx4VytP05D1iNYxsd3kta0HtO4OiUdBKsWT4m9ybhwBwEbxovtN3lprsaUynkDm7f e6eUfAiO6imb7ttG07OfWZ3RC2SB+iF3iUG9wt8ff4uA/L221sg81/QFjr7xIcpeLAFu+x3mrMtW vpX34tQD55n/JSu4yga/ynf44yVv/9Wmyn0z+hDLCussfv8qQYpE/ZwUteOjqaj7lkChyLl/hb+W HfzaPqiXPoxitz46uVaSuIek1z4IsDsq14BlyJBTy/lg2TytaVZWG9cfOeBsKM5a8ygEM9GLyLkV lFotiIbLrftZBWdoUxmK4Mjoopw7HrsYbzfjEd5NtkVvGeZwQAF9dffgG++/Qs5RzvTGDZvMmCvq EJH1bHBbrW3XHoNkORlId+Uhr5D/VuEPIFhvvWBLC99ndRfVgxGLPezMZ57n2TxejMEyVkynbJZD Z6cmpd+0jhIJRMV3PmqqLyLR/WPKoWOTOhIDQrld3uzN9/woC/Ue0LSoYVovRfvdU92Wg1oKF4Az olK5IzhZJ68ljAHz1ZT/z+bgyP2qKfHj1eggy866ecCbr/YvayWgakMhViNHqwZ3W65yJpSFBUdK +bRuTkrlmO+J9VSMRlyCxgiKAAAAAAAA --Apple-Mail=_339E7B70-105E-4DB7-B6B0-767207FC5004--