From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 EA9847FA32 for ; Wed, 1 Mar 2017 12:07:11 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nipkow@in.tum.de; spf=Pass smtp.mailfrom=nipkow@in.tum.de; spf=None smtp.helo=postmaster@mail-out1.informatik.tu-muenchen.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nipkow@in.tum.de) identity=pra; client-ip=131.159.0.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nipkow@in.tum.de"; x-sender="nipkow@in.tum.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of nipkow@in.tum.de designates 131.159.0.8 as permitted sender) identity=mailfrom; client-ip=131.159.0.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nipkow@in.tum.de"; x-sender="nipkow@in.tum.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-out1.informatik.tu-muenchen.de) identity=helo; client-ip=131.159.0.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nipkow@in.tum.de"; x-sender="postmaster@mail-out1.informatik.tu-muenchen.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A1rXr+RJIxWiK2xStaNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRKf7xwZ3uMQTl6Ol3ixeRBMOAuq8C0LKd6fqocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDqwbal8IRmqogndqNcaipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlS?= =?us-ascii?q?UJOCMj8GzPisJ+kbxVrhGvqRNxzIHbfJqYNPVicq7HYd4WWWRMU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhGqInyvFoOogGlBQKxHO3vyydIhnzx3aw0zu8sFgfG3A04H9INt3?= =?us-ascii?q?TVos74NKYUUeyv0KnI0DDDY+lL1jjj8YXFdA0qr/+LXbJ1a8XRyE8vGhvZjlWN?= =?us-ascii?q?rIzpJS6a2foLvmOG7ORgTfqih3Mppg1suDSj28chh43Tio4J0FzJ9iN0y5svK9?= =?us-ascii?q?KiUk50e9ukHYNQty6EM4t2RdsvQ2RytyY7zr0KoJm7fDUWyJg63RLfavqHc4aP?= =?us-ascii?q?4hL5UeaeOyt4hHNmeL6lmxay7FGsyujhVsaq1lZFsipFncfKtnwXyhPc9NCLSv?= =?us-ascii?q?p7/ki/xTaCzx3f5+9ZLUwuiKbWK5oszqQsmpYJsknPBir2l1/3jK+SeEUk4O+o?= =?us-ascii?q?6+H/b7Xgp5+cL4x0igbwM6k1m8y/B/40MhQTX2ie4+izyaPs8VXjQLpWlv02jr?= =?us-ascii?q?XZsJfCKMsHvKG5BgtV3p8n6xa+FDemzM8VnWIHLVJAYBKIlZLlO1DIIPDiDPew?= =?us-ascii?q?mU6gkDlxx6OOArq0CZzIKj3Hkaz9Vbd78U9VjgQpnv5F4JcBNrYLIfvoEmnwrN?= =?us-ascii?q?/fEVdtNQ2swOH4INR7kJ8DXCSDD/nKY+vprVaU67d3cKG3b4gPtWOlJg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A/BADoqrZYhwgAn4NeHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAYqX4MNTptOl2EqgkKFbUMUAQEBAQEBAQEBAQESAQEBCgsJCh0?= =?us-ascii?q?vgjMggkEGT2QCBCo+CAEBiXUOoTmQBYImizEXCgWIUQiBcoYQggAMLoJfBZwog?= =?us-ascii?q?3eCCXWWBIZVkzQ2gSIhFAgYFIUegW4/NolxAQEB?= X-IPAS-Result: =?us-ascii?q?A0A/BADoqrZYhwgAn4NeHAEBBAEBCgEBFwEBBAEBCgEBhAY?= =?us-ascii?q?qX4MNTptOl2EqgkKFbUMUAQEBAQEBAQEBAQESAQEBCgsJCh0vgjMggkEGT2QCB?= =?us-ascii?q?Co+CAEBiXUOoTmQBYImizEXCgWIUQiBcoYQggAMLoJfBZwog3eCCXWWBIZVkzQ?= =?us-ascii?q?2gSIhFAgYFIUegW4/NolxAQEB?= X-IronPort-AV: E=Sophos;i="5.35,225,1484002800"; d="p7s'?scan'208";a="215149075" Received: from mail-out1.informatik.tu-muenchen.de ([131.159.0.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Mar 2017 12:07:11 +0100 Received: by mail.in.tum.de (Postfix, from userid 107) id D7F031C1337; Wed, 1 Mar 2017 12:07:09 +0100 (CET) Received: (Authenticated sender: nipkow) by mail.in.tum.de (Postfix) with ESMTPSA id E46B01C132F for ; Wed, 1 Mar 2017 12:07:07 +0100 (CET) (Extended-Queue-bit tech_hmdgz@fff.in.tum.de) From: Tobias Nipkow To: caml-list@inria.fr Message-ID: <52312a00-fd47-7cbe-8744-984f6678e5fb@in.tum.de> Date: Wed, 1 Mar 2017 12:07:07 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:45.0) Gecko/20100101 Thunderbird/45.7.1 MIME-Version: 1.0 Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg=sha-256; boundary="------------ms090301050705040309000102" Subject: [Caml-list] Marktoberdorf Summer School: Call for Participation This is a cryptographically signed message in MIME format. --------------ms090301050705040309000102 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable MARKTOBERDORF SUMMER SCHOOL Logical Methods for Safety and Security of Software Systems August 2-11 2017 https://asimod.in.tum.de/2017/ Apply online: https://asimod.in.tum.de/2017/participation.shtml Deadline: April 9 The "Marktoberdorf Summer School" is an 10-day event for young computer=20 scientists and mathematicians, typically doctoral and post-doctoral researc= hers.=20 It provides mini-courses on state-of-the-art topics in "Logical Methods for= =20 Safety and Security of Software Systems" and leaves ample room for interact= ion=20 between participants and speakers. Speakers and courses: CHRISTEL BAIER: Probabilistic Model Checking GILLES BARTHE: Relational Verification for Differential Privacy and Cryptography NICOLAJ BJ=C3=98RNER: Satisfiability Modulo Theories C=C3=89DRIC FOURNET: Security Verification in F* ORNA GRUMBERG: Program Repair JOOST-PIETER KATOEN: Foundations of Probabilistic Programming DANIEL KROENING: Static Analysers for Black Hats and White Hats ORNA KUPFERMANN: Automated Synthesis of Temporal-Logic Specifications MAGNUS MYREEN: Verification of an ML Compiler TOBIAS NIPKOW: Verified Analysis of Functional Data Structures LARRY PAULSON: Proof Support for Hybrid System Analysis ANDRE PLATZER: Dynamic Logic for Dynamical Systems We look forward to seeing you in Marktoberdorf in August! Orna Grumberg Tobias Nipkow --------------ms090301050705040309000102 Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="smime.p7s" Content-Description: S/MIME Cryptographic Signature MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG 9w0BBwEAAKCCEGIwggTVMIIDvaADAgECAghQTsb1PRG0ZDANBgkqhkiG9w0B AQsFADBxMQswCQYDVQQGEwJERTEcMBoGA1UEChMTRGV1dHNjaGUgVGVsZWtv bSBBRzEfMB0GA1UECxMWVC1UZWxlU2VjIFRydXN0IENlbnRlcjEjMCEGA1UE AxMaRGV1dHNjaGUgVGVsZWtvbSBSb290IENBIDIwHhcNMTQwNzIyMTIwODI2 WhcNMTkwNzA5MjM1OTAwWjBaMQswCQYDVQQGEwJERTETMBEGA1UEChMKREZO LVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZOLVZlcmVp biBQQ0EgR2xvYmFsIC0gRzAxMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIB CgKCAQEA6ZvDZ4X5Da71jVTDllA1PWLpbkztlNcAW5UidNQg6zSP1uzAMQQL mYHiphTSUqAoI4SLdIkEXlvg4njBeMsWyyg1OXstkEXQ7aAAeny/Sg4bAMOG 6VwrMRF7DPOCJEOMHDiLamgAmu7cT3ir0sYTm3at7t4m6O8Br3QPwQmi9mvO vdPNFDBP9eXjpMhim4IaAycwDQJlYE3t0QkjKpY1WCfTdsZxtpAdxO3/NYZ9 bzOz2w/FEcKKg6GUXUFr2NIQ9Uz9ylGs2b3vkoO72uuLFlZWQ8/h1RM9ph8n MM1JVNvJEzSacXXFbOqnC5j5IZ0nrz6jOTlIaoytyZn7wxLyvQIDAQABo4IB hjCCAYIwDgYDVR0PAQH/BAQDAgEGMB0GA1UdDgQWBBRJt8bP6D0ff+pEexMp 9/EKcD7eZDAfBgNVHSMEGDAWgBQxw3kbuvVT1xfgiXotF2wKsyudMzASBgNV HRMBAf8ECDAGAQH/AgECMGIGA1UdIARbMFkwEQYPKwYBBAGBrSGCLAEBBAIC MBEGDysGAQQBga0hgiwBAQQDADARBg8rBgEEAYGtIYIsAQEEAwEwDwYNKwYB BAGBrSGCLAEBBDANBgsrBgEEAYGtIYIsHjA+BgNVHR8ENzA1MDOgMaAvhi1o dHRwOi8vcGtpMDMzNi50ZWxlc2VjLmRlL3JsL0RUX1JPT1RfQ0FfMi5jcmww eAYIKwYBBQUHAQEEbDBqMCwGCCsGAQUFBzABhiBodHRwOi8vb2NzcDAzMzYu dGVsZXNlYy5kZS9vY3NwcjA6BggrBgEFBQcwAoYuaHR0cDovL3BraTAzMzYu dGVsZXNlYy5kZS9jcnQvRFRfUk9PVF9DQV8yLmNlcjANBgkqhkiG9w0BAQsF AAOCAQEAYyAo/ZwhhnK+OUZZOTIlvKkBmw3Myn1BnIZtCm4ssxNZdbEzkhth Jxb/w7LVNYL7hCoBSb1mu2YvssIGXW4/buMBWlvKQ2NclbbhMacf1QdfTeZl gk4y+cN8ekvNTVx07iHydQLsUj7SyWrTkCNuSWc1vn9NVqTszC/Pt6GXqHI+ ybxA1lqkCD3WvILDt7cyjrEsjmpttzUCGc/1OURYY6ckABCwu/xOr24vOLul V0k/2G5QbyyXltwdRpplic+uzPLl2Z9Tsz6hL5Kp2AvGhB8Exuse6J99tXul AvEkxSRjETTMWpMgKnmIOiVCkKllO3yG0xIVIyn8LNrMOVtUFzCCBR0wggQF oAMCAQICBxeQYN/0AdkwDQYJKoZIhvcNAQELBQAwWjELMAkGA1UEBhMCREUx EzARBgNVBAoTCkRGTi1WZXJlaW4xEDAOBgNVBAsTB0RGTi1QS0kxJDAiBgNV BAMTG0RGTi1WZXJlaW4gUENBIEdsb2JhbCAtIEcwMTAeFw0xNDA1MTIxNTA1 NTFaFw0xOTA3MDkyMzU5MDBaMGAxCzAJBgNVBAYTAkRFMSkwJwYDVQQKEyBU ZWNobmlzY2hlIFVuaXZlcnNpdGFldCBNdWVuY2hlbjEmMCQGA1UEAxMdWmVy dGlmaXppZXJ1bmdzc3RlbGxlIGRlciBUVU0wggEiMA0GCSqGSIb3DQEBAQUA A4IBDwAwggEKAoIBAQCo7+jT2ARcyfmRC3OiXxP+WoGv+yuy1jFQR2b6IXSW Rnd9aTfUBH80HqYdJIqrJtV+ZB62j7U3PYzB/EiwEgSOOSaaTUkmEX8Oo+kY ygOz1ErUX1dHauXATwZeRacQGNt5QMzM2PuhEBKt/4UvCGt8xuUObGibHPvQ dkqPPoL2lcGYa1oXuzYcr1amDIgaUxPX21Ymod1K+VXQ6XBm7G/wakQ8Uazg o0HTUOkwkB3yFBA00DFv3M49cG4C8a6fLAeV5cDD1+3Ng6Psgclm3K5IrXRh HmoHFqgtYHPKQ/3/DySKFXluHMutD4x0SH2AtDQVb4PT9L4rsBRMljNe26yP AgMBAAGjggHgMIIB3DASBgNVHRMBAf8ECDAGAQH/AgEBMA4GA1UdDwEB/wQE AwIBBjARBgNVHSAECjAIMAYGBFUdIAAwHQYDVR0OBBYEFJ2fI/AZG37HI10n KsylNjqmaeWJMB8GA1UdIwQYMBaAFEm3xs/oPR9/6kR7Eyn38QpwPt5kMIGI BgNVHR8EgYAwfjA9oDugOYY3aHR0cDovL2NkcDEucGNhLmRmbi5kZS9nbG9i YWwtcm9vdC1jYS9wdWIvY3JsL2NhY3JsLmNybDA9oDugOYY3aHR0cDovL2Nk cDIucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY3JsL2NhY3JsLmNy bDCB1wYIKwYBBQUHAQEEgcowgccwMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3Nw LnBjYS5kZm4uZGUvT0NTUC1TZXJ2ZXIvT0NTUDBHBggrBgEFBQcwAoY7aHR0 cDovL2NkcDEucGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY2FjZXJ0 L2NhY2VydC5jcnQwRwYIKwYBBQUHMAKGO2h0dHA6Ly9jZHAyLnBjYS5kZm4u ZGUvZ2xvYmFsLXJvb3QtY2EvcHViL2NhY2VydC9jYWNlcnQuY3J0MA0GCSqG SIb3DQEBCwUAA4IBAQDWhWCB88I6b+iVRHQ4ZGvzWsnXDf00sQxGMCO2Cd+E pVG5OxVcpCEQVpU0fLhMFKoQYDbadUYPiqvKkkvQ7Up6ThuRKj78SUTeecfc zQqmb1iDZ1VPqdFf8jk5/pmAQZYEIYIsUsQZGp2PFaDwXI69v4unHJNTHPHK N22WvIt9qgq19BNJjgxqIaRFQOrJZTZEVOjaMy0nJ2m+7ImzzeyvcN4Gwl+t cgj3077ZolqKya/xoLS0eA+xnM4aA6H6yaQc8UmnIHJG2T4qyBIJaEWS/tV/ ZAAI5Gv4RF4fimHd6pAnTYjADPPvz6K+CoPGP5dZPgg7ncM8A8QEvR9LXF5e MIIGZDCCBUygAwIBAgIHGy2CIcesojANBgkqhkiG9w0BAQsFADBgMQswCQYD VQQGEwJERTEpMCcGA1UEChMgVGVjaG5pc2NoZSBVbml2ZXJzaXRhZXQgTXVl bmNoZW4xJjAkBgNVBAMTHVplcnRpZml6aWVydW5nc3N0ZWxsZSBkZXIgVFVN MB4XDTE2MDQxMzA4MzQyNVoXDTE3MDYwMTAyMDAwMFowgcAxCzAJBgNVBAYT AkRFMQ8wDQYDVQQIDAZCYXllcm4xETAPBgNVBAcMCE11ZW5jaGVuMSkwJwYD VQQKDCBUZWNobmlzY2hlIFVuaXZlcnNpdGFldCBNdWVuY2hlbjEiMCAGA1UE CwwZRmFrdWx0YWV0IGZ1ZXIgSW5mb3JtYXRpazEWMBQGA1UEAwwNVG9iaWFz IE5pcGtvdzEmMCQGCSqGSIb3DQEJARYXdG9iaWFzLm5pcGtvd0Bpbi50dW0u ZGUwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCzB1fgIEDAavuN xewqk4nCz6+frez3PV/jYgiBsG8vl0Y7a031K5hQozP8sK+8wS7gSJsj9dwS v0DYMRQEtgWI9ztBYxA6VqBozmzNYMZtIedHElEA+o+CfI5kMEEv1O3RHpPj cJCXa8Xo3p156ONbc+0ZoNJoz3Jo2zsjBEGCKJ4QjaSm+vVAEbNOSbYigxh6 55a1TNsJXHw1kVoWjkSYXtCVSR7YP/BC/HE6LKUxF2LzZymN/ECWKC+X1HHi 9orL7l5YOpGNQZ61mBU3Z0q3C+/uwjXNALJNgTrOjlLj0aYBDRv4mbJDM5KX xT+zyxC4hyIjtvG8s0sGnlblGC5dAgMBAAGjggLAMIICvDBABgNVHSAEOTA3 MBEGDysGAQQBga0hgiwBAQQDBDARBg8rBgEEAYGtIYIsAgEEAwEwDwYNKwYB BAGBrSGCLAEBBDAJBgNVHRMEAjAAMA4GA1UdDwEB/wQEAwIF4DApBgNVHSUE IjAgBggrBgEFBQcDAgYIKwYBBQUHAwQGCisGAQQBgjcUAgIwHQYDVR0OBBYE FP1qRkBrfuXQQLOwpE/jY6PEDEtFMB8GA1UdIwQYMBaAFJ2fI/AZG37HI10n KsylNjqmaeWJMIGuBgNVHREEgaYwgaOBEG5pcGtvd0Bpbi50dW0uZGWBEW5p cGtvd0Bjcy50dW0uZWR1gSBuaXBrb3dAaW5mb3JtYXRpay50dS1tdWVuY2hl bi5kZYEXdG9iaWFzLm5pcGtvd0Bpbi50dW0uZGWBGHRvYmlhcy5uaXBrb3dA Y3MudHVtLmVkdYEndG9iaWFzLm5pcGtvd0BpbmZvcm1hdGlrLnR1LW11ZW5j aGVuLmRlMHcGA1UdHwRwMG4wNaAzoDGGL2h0dHA6Ly9jZHAxLnBjYS5kZm4u ZGUvdHVtLWNhL3B1Yi9jcmwvY2FjcmwuY3JsMDWgM6Axhi9odHRwOi8vY2Rw Mi5wY2EuZGZuLmRlL3R1bS1jYS9wdWIvY3JsL2NhY3JsLmNybDCBxwYIKwYB BQUHAQEEgbowgbcwMwYIKwYBBQUHMAGGJ2h0dHA6Ly9vY3NwLnBjYS5kZm4u ZGUvT0NTUC1TZXJ2ZXIvT0NTUDA/BggrBgEFBQcwAoYzaHR0cDovL2NkcDEu cGNhLmRmbi5kZS90dW0tY2EvcHViL2NhY2VydC9jYWNlcnQuY3J0MD8GCCsG AQUFBzAChjNodHRwOi8vY2RwMi5wY2EuZGZuLmRlL3R1bS1jYS9wdWIvY2Fj ZXJ0L2NhY2VydC5jcnQwDQYJKoZIhvcNAQELBQADggEBACfFeFdB7cBYyrpG Q6Dyq2pRolqSSvPBvKZ5cMWPpsiNJxe8Cw1ArBK6ZurdeYQIcO96cptu/XG7 2oKK3WQyQV6zomiXkw0+/SXAqi3PHSJawzuUBkmzK5Z682IUINx3jkBgcHp+ Om0R9Wjqx12u+2Ep5LLglY8hlseouvhTt0tnlLPIC7ziSAGukuBN5lkDCDZx BujijV8Bg7MWq4rt85ExGUAzypYkfY2kxordwTfTSB7ayTuaUQYmy3FUzoxz EaHDC55vrVcsMhiKywW/iJIxvZXf6QENeSbI5OA8KP5/o5WQcofinuBdx/mc JBwfxZ4mMjFnP91jLFSJ0iCBhWYxggNrMIIDZwIBATBrMGAxCzAJBgNVBAYT AkRFMSkwJwYDVQQKEyBUZWNobmlzY2hlIFVuaXZlcnNpdGFldCBNdWVuY2hl bjEmMCQGA1UEAxMdWmVydGlmaXppZXJ1bmdzc3RlbGxlIGRlciBUVU0CBxst giHHrKIwDQYJYIZIAWUDBAIBBQCgggHRMBgGCSqGSIb3DQEJAzELBgkqhkiG 9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTE3MDMwMTExMDcwN1owLwYJKoZIhvcN AQkEMSIEIP5ZV1cXJDSufZSLZWncCqn89JE4Cv1pDap7LtCYHxknMGwGCSqG SIb3DQEJDzFfMF0wCwYJYIZIAWUDBAEqMAsGCWCGSAFlAwQBAjAKBggqhkiG 9w0DBzAOBggqhkiG9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwBwYFKw4DAgcw DQYIKoZIhvcNAwICASgwegYJKwYBBAGCNxAEMW0wazBgMQswCQYDVQQGEwJE RTEpMCcGA1UEChMgVGVjaG5pc2NoZSBVbml2ZXJzaXRhZXQgTXVlbmNoZW4x JjAkBgNVBAMTHVplcnRpZml6aWVydW5nc3N0ZWxsZSBkZXIgVFVNAgcbLYIh x6yiMHwGCyqGSIb3DQEJEAILMW2gazBgMQswCQYDVQQGEwJERTEpMCcGA1UE ChMgVGVjaG5pc2NoZSBVbml2ZXJzaXRhZXQgTXVlbmNoZW4xJjAkBgNVBAMT HVplcnRpZml6aWVydW5nc3N0ZWxsZSBkZXIgVFVNAgcbLYIhx6yiMA0GCSqG SIb3DQEBAQUABIIBAKO3wzzcpWfKufCPVmEbK2NcCDfnPjoUz11YNhcls+QO D7yNap2WOaBqEkVQK/j0CnuGGr8ylOUb9kVr3WGtxZIgPuoD9cbW+XAyA+P6 +dihsHpWnE+hcTwIWzx5ULZZWRYrAaotKvkNVShGYOAr+JpFLpwEQ5MTLLv5 WfJORcROwceP/NDGFEnmI+HVM7DpEMuwg8ycXElRm06Ox2OWKeZdmc0agObI 1Hc2Sl5IkTRlIwTnK/4iI4EN9rYiqewhE4U1oukX+gsMEtLOGYJNZ3qNiOa/ l+yUFFjdtRKfeU/0mXu4CrDYhwzCxTmSVR6GtIV5eZz57IFFZRZ/Jx5YrusA AAAAAAA= --------------ms090301050705040309000102--