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 CC26B823D7 for ; Fri, 16 Feb 2018 22:17:06 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.mailfrom=fm-announcements-bounces@lists.nasa.gov; spf=Pass smtp.helo=postmaster@lists.nasa.gov Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fm-announcements-bounces@lists.nasa.gov) identity=pra; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fm-announcements-bounces@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=mailfrom; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="fm-announcements-bounces@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@lists.nasa.gov designates 128.156.249.229 as permitted sender) identity=helo; client-ip=128.156.249.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fm-announcements-bounces@lists.nasa.gov"; x-sender="postmaster@lists.nasa.gov"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AvOzmrBxzqFVO5obXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0ugXKPad9pjvdHbS+e9qxAeQG9mDsLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPbQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb5Q6o0WTC/5Kl1ThHmhj?= =?us-ascii?q?oMOzog/G3JlsB8iaRWqw+jqRNi2Y7ZeIGbOuRifq3Tft0VS2tBUclMWSxZAI6y?= =?us-ascii?q?bZYDAuQdMelEoIfyuUAOoACiBQa3AePj1iNEi2X00KA8zu8vERvG3AslH98Wvn?= =?us-ascii?q?jaq8j1NKEVUeG01KXD0CvOYO1N2Tjn8ojDbxQtr/eQULxsb8fd0EchGg3bglmM?= =?us-ascii?q?rIDpMS6e2+MRvGeF9OpvT/ivh3Q9pA1rpziv28Esio7Ih48OzFDL7z55z5wvKd?= =?us-ascii?q?23T057f8epHZ1NvC+UMIt2R9ktQ2BuuCsizL0Jo4W7czIQxJQowB7fdfqKeJWL?= =?us-ascii?q?7BL7TOudPCl0iXF/dL6ihxu/8FKsxvPzW8SwylpGsDRJn93UunwQ0xHe6dKLRu?= =?us-ascii?q?Zg8kqlwzqDyg7e5+JeLU0wiabXM4Mtz780m5YJr0jOHiD7lF/rgKOMdUgp++6l?= =?us-ascii?q?4Pn9bLr8vJ+TLYp0hxn+Mqswnsy/Bvw1MgwPX2iA5eS8z6fv/UvjT7VRlPI6iK?= =?us-ascii?q?bZsJfEJcgDp665BRFa0po75hqiETur084UkWQHIV9EYh6LkYfkNlXULPzmE/uy?= =?us-ascii?q?h0ygkDJxyPDHOr3hDI/NLn/GkLr5c7Z97ldQxxA1zdBZ4JJUF7cBL+7tVU/0qt?= =?us-ascii?q?PYCAM5Mxetz+n8D9V9y4UeVn6RDa+CK67StV6I5vkzI+mXfoMVvizyK+M/6PL0?= =?us-ascii?q?gn85nkEdcbGz3ZQLcHC4AuhmI0KBbHrwgtcBHn0FvhciTOzrllKPSj9SZ3e3X6?= =?us-ascii?q?0n/DE0EpiqDYbFRoC3gbyOxj23HpNMZmpeEFCDDW/od5mYW/cLcC+SLMphkj0Y?= =?us-ascii?q?Wri6UIIhzhGvtAriy7V9NObU+ysYtYji1Ndv/eHTmwsy/yRuD8uBy2GNU310nm?= =?us-ascii?q?QQSj85xq9/u1Zyykmd3qh8mPFZFN1T5/ZSXQcgL5HQ1e16C9boWgLAZNiFUlim?= =?us-ascii?q?Qs/1SQw3Vc87lt8Sf15mSZLlihHYwzHsBbYOnvqEA4Jz96vd2334IYF602rH06?= =?us-ascii?q?86yFcjB8JJM2q7gKVy8gXVG5WarkOCiqz/cK0d2DLKpmmGiGOIukZFVgV9VKjD?= =?us-ascii?q?QWtafEbPsNni+mvGTqSyEvIhOxBIj8GFNPxRd9frgF5aEerlI8nUeGmrmm29Vi?= =?us-ascii?q?qPk/mCac/jfWMawSPWBU0JlRwI1XKHLhQlQCGouGuYAztwXxq7bUap+O94r269?= =?us-ascii?q?RUIxwgeWdGVl1qGp4VgTjOeVDfwUwORXlj0mrmA+OUu72MCSQ/GNvAN7NOV4SO?= =?us-ascii?q?kWpXscjzqY/UQpNZG7JrokjxgbbgJwrWvo3g5+TIpHj555/zsR0ANuJPfAgxt6?= =?us-ascii?q?fDSC0MW1YOWOezvCuSu3YquT4WnwldOf+6MB8vM98guxuACyClFk9Xx82p9a1G?= =?us-ascii?q?XOv8yWXjpXaor4VwMMzzY/v6vTO3dv44LPyWYqN6Cvu3nN3Mx7XLJ4mCblRM9W?= =?us-ascii?q?Nea/LCG3E8AeAJHweugrgESyKBQNJ+kU+6kqbZqr?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CJBACMSYdae+X5nIBSBwMdAQEFAQsBg?= =?us-ascii?q?yIqaWEHMAqDCEKKJXSNEoFbgT6WSRSCDBgLhTSCLBoGBDAYAQIBAQEBAQEBAQE?= =?us-ascii?q?SAQELCwoHKCQLgjgFAgMaBoJFBAEBCREBBRESCAIYBg4DAQIFAQIBAQYcAh4EB?= =?us-ascii?q?AICAgEBFwQJCQEVEgQTBRUBAgSHYEyBVAULj0KddIInhQGEAIITAQEBAQEBBAE?= =?us-ascii?q?BAQEBAQEBAQEBGAUFgQqDdAQsBIF4gz8pDIRCAYFmAQKBPQEHCwELW4JQMYI0B?= =?us-ascii?q?YptmUgIAQIciAaECIM7hiOBB4URji+OBooZgTohgRlxKwpBSSoBghiCYIIWeAE?= =?us-ascii?q?BM4s5DhgxXAGBGAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CJBACMSYdae+X5nIBSBwMdAQEFAQsBgyIqaWEHMAqDCEK?= =?us-ascii?q?KJXSNEoFbgT6WSRSCDBgLhTSCLBoGBDAYAQIBAQEBAQEBAQESAQELCwoHKCQLg?= =?us-ascii?q?jgFAgMaBoJFBAEBCREBBRESCAIYBg4DAQIFAQIBAQYcAh4EBAICAgEBFwQJCQE?= =?us-ascii?q?VEgQTBRUBAgSHYEyBVAULj0KddIInhQGEAIITAQEBAQEBBAEBAQEBAQEBAQEBG?= =?us-ascii?q?AUFgQqDdAQsBIF4gz8pDIRCAYFmAQKBPQEHCwELW4JQMYI0BYptmUgIAQIciAa?= =?us-ascii?q?ECIM7hiOBB4URji+OBooZgTohgRlxKwpBSSoBghiCYIIWeAEBM4s5DhgxXAGBG?= =?us-ascii?q?AEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,520,1511823600"; d="scan'208";a="255094203" Received: from lists.nasa.gov ([128.156.249.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Feb 2018 22:17:04 +0100 Received: from lists.nasa.gov (localhost.localdomain [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id D8AA644F9; Fri, 16 Feb 2018 16:15:17 -0500 (EST) Received: from localhost (localhost.localdomain [127.0.0.1]) by lists.nasa.gov (Postfix) with ESMTP id 9F43044E2 for ; Fri, 16 Feb 2018 16:15:14 -0500 (EST) X-Virus-Scanned: amavisd-new at lists.nasa.gov Received: from lists.nasa.gov ([127.0.0.1]) by localhost (lists.nasa.gov [127.0.0.1]) (amavisd-new, port 10024) with LMTP id udFIhpl3s1kp for ; Fri, 16 Feb 2018 16:14:59 -0500 (EST) DMARC-Filter: OpenDMARC Filter v1.3.2 lists.nasa.gov 10A84155D Received: from ndmsvnpf103.ndc.nasa.gov (NDMSVNPF103.ndc.nasa.gov [198.117.0.153]) by lists.nasa.gov (Postfix) with ESMTPS id 10A84155D for ; Fri, 16 Feb 2018 16:14:58 -0500 (EST) X-Comment: SPF check N/A for local connections - client-ip=198.117.1.146; helo=ndjsppt204.ndc.nasa.gov; envelope-from=cesar.a.munoz@nasa.gov; receiver=fm-announcements@lists.nasa.gov DKIM-Filter: OpenDKIM Filter v2.11.0 ndmsvnpf103.ndc.nasa.gov 2B4B84024B6D Received: from ndjsppt204.ndc.nasa.gov (NDJSPPT204.ndc.nasa.gov [198.117.1.146]) by ndmsvnpf103.ndc.nasa.gov (Postfix) with ESMTP id 2B4B84024B6D for ; Fri, 16 Feb 2018 15:14:58 -0600 (CST) Received: from pps.filterd (ndjsppt204.ndc.nasa.gov [127.0.0.1]) by ndjsppt204.ndc.nasa.gov (8.16.0.21/8.16.0.21) with SMTP id w1GLERK7029164 for ; Fri, 16 Feb 2018 15:14:58 -0600 Received: from ndjscht109.ndc.nasa.gov (ndjscht109-sc.ndc.nasa.gov [198.117.1.179]) by ndjsppt204.ndc.nasa.gov with ESMTP id 2g65ymrea4-1 for ; Fri, 16 Feb 2018 15:14:57 -0600 Received: from NDJSMBX204.ndc.nasa.gov ([169.254.1.86]) by NDJSCHT109.ndc.nasa.gov ([198.117.1.179]) with mapi id 14.03.0319.002; Fri, 16 Feb 2018 15:14:57 -0600 From: "Munoz, Cesar (LARC-D320)" To: "fm-announcements@lists.nasa.gov" Thread-Topic: NFM 2018 - Call for Participation Thread-Index: AQHTp2sycYkcmITbGUaLPVWIp/T6Gg== Date: Fri, 16 Feb 2018 21:14:57 +0000 Message-ID: <68475E12-C16A-430B-9468-33739C253522@nasa.gov> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/f.29.0.171205 x-originating-ip: [198.119.138.90] Content-ID: <11FAE173F619894BB74B8A1BBC4415C5@mail.nasa.gov> MIME-Version: 1.0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:, , definitions=2018-02-16_07:, , signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1711220000 definitions=main-1802160248 X-Proofpoint-Envelope-Sender: cesar.a.munoz@nasa.gov X-BeenThere: fm-announcements@lists.nasa.gov X-Mailman-Version: 2.1.25 List-Id: NASA Formal Methods Announcements List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: fm-announcements-bounces@lists.nasa.gov Sender: "fm-announcements" X-Validation-by: cesar.a.munoz@nasa.gov Subject: [Caml-list] [fm-announcements] NFM 2018 - Call for Participation LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCkNh bGwgZm9yIFBhcnRpY2lwYXRpb246ICBORk0gMjAxOA0KLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NClRlbnRoIE5BU0EgRm9y bWFsIE1ldGhvZHMgU3ltcG9zaXVtDQozMCBZZWFycyBvZiBGb3JtYWwgTWV0 aG9kcyBhdCBOQVNBDQpBcHJpbCAxNy0xOSwgTmV3cG9ydCBOZXdzLCBWQSwg VVNBDQpodHRwczovL3NoZW1lc2gubGFyYy5uYXNhLmdvdi9ORk0yMDE4Lw0K IA0KQ2VsZWJyYXRpbmcgMzAgeWVhcnMgb2YgZm9ybWFsIG1ldGhvZHMgcmVz ZWFyY2ggYXQgTkFTQSBMYW5nbGV5LCB0aGUNClRlbnRoIE5BU0EgRm9ybWFs IE1ldGhvZHMgU3ltcG9zaXVtIChORk0pIGlzIGEgZm9ydW0gdG8gZm9zdGVy DQpjb2xsYWJvcmF0aW9uIGJldHdlZW4gdGhlb3JldGljaWFucyBhbmQgcHJh Y3RpdGlvbmVycyBmcm9tIE5BU0EsDQphY2FkZW1pYSwgYW5kIGluZHVzdHJ5 LiBORk0ncyBnb2FscyBhcmUgdG8gaWRlbnRpZnkgY2hhbGxlbmdlcyBhbmQg dG8NCnByb3ZpZGUgc29sdXRpb25zIGZvciBhY2hpZXZpbmcgYXNzdXJhbmNl IGZvciBzdWNoIGNyaXRpY2FsIHN5c3RlbXMuDQogDQpLZXlub3RlIHNwZWFr ZXJzOg0KICBSaWNreSBCdXRsZXIgKE5BU0EsIFVTQSkNCiAgR2lsbGVzIERv d2VrIChJTlJJQSwgQ05SUywgw4ljb2xlIE5vcm1hbGUgU3Vww6lyaWV1cmUg UGFyaXMtU2FjbGF5LCBGcmFuY2UpDQogDQpUaGUgcHJvZ3JhbSBvZiBzeW1w b3NpdW0gaXMgYXZhaWxhYmxlIGF0Og0KICBodHRwczovL3NoZW1lc2gubGFy Yy5uYXNhLmdvdi9ORk0yMDE4L3Byb2dyYW0uaHRtbA0KIA0KQXR0ZW5kYW5j ZSB0byB0aGUgc3ltcG9zaXVtIGlzIGZyZWUsIGJ1dCBhbGwgYXR0ZW5kZWVz IG11c3QgcmVnaXN0ZXIgaW4gb3JkZXIgdG8gcGFydGljaXBhdGUuDQpSZWdp c3RyYXRpb25zIGFyZSBvcGVuIHVudGlsICoqIEFwcmlsIDEsIDIwMTggKiog YXQ6DQogIGh0dHBzOi8vc2hlbWVzaC5sYXJjLm5hc2EuZ292L05GTTIwMTgv cmVnaXN0cmF0aW9uLmh0bWwNCg0KVGhlIHN5bXBvc2l1bSB3aWxsIGJlIGhl bGQgYXQNCiAgTmV3cG9ydCBOZXdzIE1hcnJpb3R0IGF0IENpdHkgQ2VudGVy DQogIDc0MCBUb3duIENlbnRlciBEcml2ZQ0KICBOZXdwb3J0IE5ld3MsIFZB IDIzNjA2LCBVU0EuDQogIFBob25lOiArMSAoNzU3KSA4NzMtOTI5OS4gDQoN CkEgZ3JvdXAgcmF0ZSB0byBhdHRlbmQgTkZNMjAxOCBpcyBhdmFpbGFibGUg YXQgdGhlIE5ld3BvcnQgTmV3cw0KTWFycmlvdCB1bnRpbCAqKiBNYXJjaCAx NiwgMjAxOCAqKi4gUmVzZXJ2YXRpb25zIGNhbiBiZSBtYWRlIGJ5IGNhbGxp bmcNCisxICg4NjYpIDMyOS0xNzU4LCBhbmQgYXNraW5nIGZvciB0aGUgZ3Jv dXAgY29kZTogTkFTQSwgb3IgdGhyb3VnaA0Kd2ViIGF0DQogIGh0dHBzOi8v c2hlbWVzaC5sYXJjLm5hc2EuZ292L05GTTIwMTgvaG90ZWxfcmVzZXJ2YXRp b24uaHRtbA0KDQpMaXN0IG9mIEFjY2VwdGVkIFBhcGVyczoNCiANCiogQW5z Z2FyIEZlaG5rZXIsIEtheWxhc2ggQ2hhdWRoYXJ5IGFuZCBWaW5heSBNZWh0 YS4gQW4gRXZlbiBCZXR0ZXIgQXBwcm9hY2ggLSBJbXByb3ZpbmcNCiAgIHRo ZSBCLkEuVC5NLkEuTi4gUHJvdG9jb2wgVGhyb3VnaCBGb3JtYWwgTW9kZWxs aW5nIGFuZCBBbmFseXNpcyANCiogTWFzc2ltbyBOYXJpenphbm8sIEx1Y2Eg UHVsaW5hLCBBcm1hbmRvIFRhY2NoZWxsYSBhbmQgU2ltb25lIFZ1b3R0by4g Q29uc2lzdGVuY3kgb2YNCiAgUHJvcGVydHkgU3BlY2lmaWNhdGlvbiBQYXR0 ZXJucyB3aXRoIEJvb2xlYW4gYW5kIENvbnN0cmFpbmVkIE51bWVyaWNhbCBT aWduYWxzDQoqIE1hcmN1cyBHZXJob2xkLCBBcm5kIEhhcnRtYW5ucyBhbmQg TWFyacOrbGxlIFN0b2VsaW5nYS4gTW9kZWwtQmFzZWQgVGVzdGluZyBmb3Ig R2VuZXJhbA0KICBTdG9jaGFzdGljIFRpbWUNCiogUnViZW4gR2lhcXVpbnRh LCBSdXRoIEhvZmZtYW5uLCBNdXJyYXkgSXJlbGFuZCwgQWxpY2UgTWlsbGVy LCBhbmQgR2V0aGluIE5vcm1hbi4gU3RyYXRlZ3kNCiAgU3ludGhlc2lzIGZv ciBBdXRvbm9tb3VzIEFnZW50cyB1c2luZyBQUklTTQ0KKiBNaWd1ZWwgUm9t ZXJvIGFuZCBDYW1pbG8gUm9jaGEuIFN5bWJvbGljIEV4ZWN1dGlvbiBhbmQg UmVhY2hhYmlsaXR5IEFuYWx5c2lzIHVzaW5nDQogIFJld3JpdGluZyBNb2R1 bG8gU01UIGZvciBTcGF0aWFsIENvbmN1cnJlbnQgQ29uc3RyYWludCBTeXN0 ZW1zIHdpdGggRXh0cnVzaW9uDQoqIExvbGEgTWFzc29uLCBKw6lyw6ltaWUg R3Vpb2NoZXQsIEhlbGVuZSBXYWVzZWx5bmNrLCBNYXJ0aW4gVMO2cm5ncmVu LCBTb2ZpYSBDYXNzZWwgYW5kIEthbG91DQogIENhYnJlcmEuIFR1bmluZyBw ZXJtaXNzaXZlbmVzcyBvZiBhY3RpdmUgc2FmZXR5IG1vbml0b3JzIGZvciBh dXRvbm9tb3VzIHN5c3RlbXMNCiogUmFkaGEgTmFrYWRlLCBFcmljIE1lcmNl ciwgUGV0ZXIgQWxkb3VzIGFuZCBKYXkgTWNDYXJ0aHkuIE1vZGVsIENoZWNr aW5nIFRhc2sgUGFyYWxsZWwNCiAgUHJvZ3JhbXMgZm9yIERhdGEtcmFjZQ0K KiBBeW1lcmljIEZyb21oZXJ6LCBBYmRlbHJhb3VmIE91YWRqYW91dCBhbmQg QW50b2luZSBNaW7DqS4gU3RhdGljIFZhbHVlIEFuYWx5c2lzIG9mIFB5dGhv bg0KICBQcm9ncmFtcyBieSBBYnN0cmFjdCBJbnRlcnByZXRhdGlvbg0KKiBG bGF2aW8gTS4gZGUgUGF1bGEsIEFydmluZCBIYXJhbiBhbmQgQnJhZCBCaW5n aGFtLiBBbiBFZmZpY2llbnQgUmV3cml0aW5nIEZyYW1ld29yayBmb3INCiAg VHJhY2UgQ292ZXJhZ2Ugb2YgU3ltbWV0cmljIFN5c3RlbXMNCiogQW5zZ2Fy IEZlaG5rZXIgYW5kIEtheWxhc2ggQ2hhdWRoYXJ5LiBUd2VudHkgUGVyY2Vu dCBhbmQgYSBGZXcgRGF5cyAtIE9wdGltaXNpbmcgYQ0KICBCaXRjb2luIE1h am9yaXR5IEF0dGFjayAoc2hvcnQgcGFwZXIpDQoqIEplcm9lbiBNZWlqZXIg YW5kIEphY28gdmFuIGRlIFBvbC4gU291bmQgQmxhY2stQm94IENoZWNraW5n IGluIHRoZSBMZWFybkxpYg0KKiBQaGlsaXBwIEtvZXJuZXIgYW5kIEplbnMg QmVuZGlzcG9zdG8uIERpc3RyaWJ1dGVkIE1vZGVsIENoZWNraW5nIFVzaW5n IFByb0INCiogU2Frc2hhbSBDaGFuZCBhbmQgWWFuaG9uZyBBLiBMaXUuIFNp bXBsZXIgU3BlY2lmaWNhdGlvbnMgYW5kIEVhc2llciBQcm9vZnMgb2YgRGlz dHJpYnV0ZWQNCiAgQWxnb3JpdGhtcyBVc2luZyBIaXN0b3J5IFZhcmlhYmxl cw0KKiBTaWRkaGFydGhhIEJoYXR0YWNoYXJ5eWEsIFRob21hcyBFc2tyaWRn ZSwgTmF0YXNoYSBOZW9naSwgTWFyY28gQ2FydmFsaG8gYW5kIE1pbHRvbg0K ICBTdGFmZm9yZC4gRm9ybWFsIEFzc3VyYW5jZSBmb3IgQ29vcGVyYXRpdmUg SW50ZWxsaWdlbnQgQXV0b25vbW91cyBBZ2VudHMNCiogWWFzc21lZW4gRWxk ZXJoYWxsaSwgT3NtYW4gSGFzYW4sIFdhcWFyIEFobWVkIGFuZCBTb2Zpw6hu ZSBUYWhhci4gRm9ybWFsIER5bmFtaWMgRmF1bHQNCiAgVHJlZXMgQW5hbHlz aXMgdXNpbmcgYW4gSW50ZWdyYXRpb24gb2YgVGhlb3JlbSBQcm92aW5nIGFu ZCBNb2RlbCBDaGVja2luZw0KKiBTYXJhaCBCZW55YWdvdWIsIE1lcmllbSBP dWVkZXJuaSwgWWFtaW5lIEFpdCBBbWV1ciwgYW5kIEF0aWYgTWFzaGtvb3Iu IEluY3JlbWVudGFsIENvbnN0cnVjdGlvbiBvZg0KICBSZWFsaXphYmxlIENo b3Jlb2dyYXBoaWVzDQoqIEPDqXNhciBBdWd1c3RvIE9jaG9hIEVzY3VkZXJv LCBSw6ltaSBEZWxtYXMsIFRob21hcyBCb2Nob3QsIE1hdHRoaWV1DQogICBE YXZpZCwgYW5kIFZpcmdpbmllIFdpZWxzLiBBdXRvbWF0aWMgR2VuZXJhdGlv biBvZiBETy0xNzggVGVzdCBQcm9jZWR1cmVzDQoqIEFuZHJldyBJcmVsYW5k LCBNYXJpYSBUZXJlc2EgTGxhbm8gYW5kIFNpbW9uIENvbHRvbi4gVGhlIFVz ZSBvZiBBdXRvbWF0ZWQgVGhlb3J5DQogIEZvcm1hdGlvbiBpbiBTdXBwb3J0 IG9mIEhhemFyZCBBbmFseXNpcyAoc2hvcnQgcGFwZXIpDQoqIFpodW8gQ2hl biBhbmQgV2VybmVyIERpZXRsLiBEb24ndCBNaXNzIHRoZSBFbmQ6IFByZXZl bnRpbmcgVW5zYWZlIEVuZC1vZi1GaWxlIENvbXBhcmlzb25zIChzaG9ydCBw YXBlcikNCiogQW5kcsOhcyBWw7Zyw7ZzLCBNw6FydG9uIELDunIsIElzdHbD oW4gUsOhdGgsIMOBa29zIEhvcnbDoXRoLCBab2x0w6FuIE1pY3NrZWksIEzD oXN6bMOzIEJhbG9naCwgQsOhbGludCBIZWd5aSwgQmVuZWRlayBIb3J2w6F0 aCwgDQogIFpzb2x0IE3DoXpsw7MgYW5kIETDoW5pZWwgVmFycsOzLiBNb0Rl UzM6IE1vZGVsLWJhc2VkIERlbW9uc3RyYXRvciBmb3IgU21hcnQgYW5kIFNh ZmUgQ3liZXItUGh5c2ljYWwgU3lzdGVtcyAoc2hvcnQgcGFwZXIpDQoqIEdp b3Zhbm5hIEJyb2NjaWEsIFBhb2xvIE1pbGF6em8gYW5kIFBldGVyIENzYWJh IMOWbHZlY3preS4gQW4gRXhlY3V0YWJsZSBGb3JtYWwgRnJhbWV3b3JrDQog IGZvciBTYWZldHktQ3JpdGljYWwgSHVtYW4gTXVsdGl0YXNraW5nDQoqIE1h cmNvIEZlbGnDuiBhbmQgTWFyaWFubyBNb3NjYXRvLiBUb3dhcmRzIGEgRm9y bWFsIFNhZmV0eSBGcmFtZXdvcmsgZm9yIFRyYWplY3RvcmllcyAoc2hvcnQg cGFwZXIpDQoqIFJ1aSBRaXUsIFNhcmZyYXogS2h1cnNoaWQsIENvcmluYSBQ YXNhcmVhbnUsIEp1bnllIFdlbiBhbmQgR3Vvd2VpIFlhbmcuIFVzaW5nIFRl c3QgUmFuZ2VzDQogIHRvIEltcHJvdmUgU3ltYm9saWMgRXhlY3V0aW9uDQoq IEFsbGFuIEJsYW5jaGFyZCwgTmlrb2xhaSBLb3NtYXRvdiBhbmQgRnLDqWTD qXJpYyBMb3VsZXJndWUuIEdob3N0cyBmb3IgTGlzdHM6IEEgQ3JpdGljYWwg TW9kdWxlDQogIG9mIENvbnRpa2kgVmVyaWZpZWQgaW4gRnJhbWEtQw0KKiBT b3VyYWRlZXAgRHV0dGEsIFN1c21pdCBKaGEsIFNyaXJhbSBTYW5rYXJhbmFy YXlhbmFuIGFuZCBBc2hpc2ggVGl3YXJpLiBPdXRwdXQgUmFuZ2UgQW5hbHlz aXMgZm9yDQogIERlZXAgRmVlZGZvcndhcmQgTmV1cmFsIE5ldHdvcmtzDQoq IEJydW5vIER1dGVydHJlLCBEZWphbiBKb3Zhbm92acSHIGFuZCBKb3JnZSBO YXZhcy4gVmVyaWZpY2F0aW9uIG9mIEZhdWx0LVRvbGVyYW50IFByb3RvY29s cw0KICB3aXRoIFNhbGx5IChzaG9ydCBwYXBlcikNCiogQWxmb25zIExhYXJt YW4uIE9wdGltYWwgU3RvcmFnZSBvZiBDb21iaW5hdG9yaWFsIFN0YXRlIFNw YWNlcw0KKiBBbGZvbnMgTGFhcm1hbi4gU3R1YmJvcm4gVHJhbnNhY3Rpb24g UmVkdWN0aW9uDQoqIEN1bWh1ciBFcmthbiBUdW5jYWxpLCBCYXJkaCBIb3ho YSwgR3VvaHVpIERpbmcsIEdlb3JnaW9zIEZhaW5la29zIGFuZCBTcmlyYW0N CiAgU2Fua2FyYW5hcmF5YW5hbi4gRXhwZXJpZW5jZSBSZXBvcnQ6IEFwcGxp Y2F0aW9uIG9mIEZhbHNpZmljYXRpb24gTWV0aG9kcyBvbiB0aGUgVXhBUw0K ICBTeXN0ZW0gKHNob3J0IHBhcGVyKQ0KKiBIZW5kcmlrIE1hYXJhbmQgYW5k IFRhcm1vIFV1c3RhbHUuIENlcnRpZmllZCBGb2F0YSBOb3JtYWxpemF0aW9u IGZvciBHZW5lcmFsaXplZCBUcmFjZXMNCiogRnJhbmNlc2NvIE1hcmNvbmks IEdpb3Zhbm5pIFF1YXR0cm9jY2hpLCBMdWNpYW5vIEJhcmVzaSwgTWFyY2Vs bG8gTS4gQmVyc2FuaSBhbmQgTWF0dGVvDQogIFJvc3NpLiBPbiB0aGUgVGlt ZWQgQW5hbHlzaXMgb2YgQmlnLURhdGEgQXBwbGljYXRpb25zDQoNCk9yZ2Fu aXppbmcgQ29tbWl0dGVlDQotLS0tLS0tLS0tLS0tLS0tDQpBbnRob255IE5h cmthd2ljeiAoQ29uZmVyZW5jZSBDaGFpcikNCkFhcm9uIER1dGxlIChQcm9n cmFtIENvLUNoYWlyKQ0KQ2VzYXIgTXVub3ogKFByb2dyYW0gQ28tQ2hhaXIp DQoNCkNvbnRhY3QNCi0tLS0tLS0tDQpFbWFpbDogbmZtMjAxOCBbYXRdIGVh c3ljaGFpciBbZG90XSBvcmcNCldlYjogaHR0cHM6Ly9zaGVtZXNoLmxhcmMu bmFzYS5nb3YvTkZNMjAxOC8NCg0KDQotLS0KVG8gb3B0LW91dCBmcm9tIHRo aXMgbWFpbGluZyBsaXN0LCBzZW5kIGFuIGVtYWlsIHRvCgpmbS1hbm5vdW5j ZW1lbnRzLXJlcXVlc3RAbGlzdHMubmFzYS5nb3YKCndpdGggdGhlIHdvcmQg J3Vuc3Vic2NyaWJlJyBhcyBzdWJqZWN0IG9yIGluIHRoZSBib2R5LiBZb3Ug Y2FuIGFsc28gbWFrZSB0aGUgcmVxdWVzdCBieSBjb250YWN0aW5nCgpmbS1h bm5vdW5jZW1lbnRzLW93bmVyQGxpc3RzLm5hc2EuZ292IAo=