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 2D74B82674 for ; Sat, 27 Apr 2019 19:14:15 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=conference-announce-bounces@isp.uni-luebeck.de; spf=None smtp.mailfrom=conference-announce-bounces@isp.uni-luebeck.de; spf=None smtp.helo=postmaster@linsvr10.isp.uni-luebeck.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of conference-announce-bounces@isp.uni-luebeck.de) identity=pra; client-ip=141.83.118.110; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="conference-announce-bounces@isp.uni-luebeck.de"; x-sender="conference-announce-bounces@isp.uni-luebeck.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of conference-announce-bounces@isp.uni-luebeck.de) identity=mailfrom; client-ip=141.83.118.110; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="conference-announce-bounces@isp.uni-luebeck.de"; x-sender="conference-announce-bounces@isp.uni-luebeck.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@linsvr10.isp.uni-luebeck.de) identity=helo; client-ip=141.83.118.110; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="conference-announce-bounces@isp.uni-luebeck.de"; x-sender="postmaster@linsvr10.isp.uni-luebeck.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AlgYs2RDMeNamBPdOImNDUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP34ocWwAkXT6L1XgUPTWs2DsrQY0rOQ7vCrADVYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5vIBmsrQjctcYajZZ/Jqot1xDEvmZGd+?= =?us-ascii?q?NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLD?= =?us-ascii?q?TRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljj?= =?us-ascii?q?oMOjgk+2/Vl8NwlrpWrhK8qRJhwIDabo+aOvVxcazBZdMXR2hPU8hNWyxbHIy8?= =?us-ascii?q?dJACD/YaMutCs4Xxu1UDoBm4CAKxBO3v0DhIhnru0KM9yeshCx3G3A0mH9kTtn?= =?us-ascii?q?rbssj1O7sRUe+r1qnD0DLOb/dI1jfg9IfIcQ4uoeuXULJxasrR0VMjFx7DjlWR?= =?us-ascii?q?sIDlOy6V2foWvGeF8+VgVvijhHM5pAxopDWk28kiio7Mho0Py1DE8z10z5gvKt?= =?us-ascii?q?2jSE90fd6kH4FRtyGALYd2RdkiQ25wtCYg170Gv4K7fCkPyJs53hLfdeKIc5KJ?= =?us-ascii?q?4hLtVeaePS13hG5keLK4gRa+60+gyvfzVsWszVZKqCtFnsDXtn8XzRPT8MyHRe?= =?us-ascii?q?F7/ki8wzqAyh7c5vlfIUAsj6rbKpghwrEumZoJq0jMAzH5lUPrh6GVbkUp4vWk?= =?us-ascii?q?5uv6brn8pZKROZV4hhzjPqktgMCzHPk0PhQWU2WY++mwzqDv8E/7TblQjfA7nb?= =?us-ascii?q?PVvI3bKMkUoKOyHhVb3Zw56xmlCjeryNQYkmcDLFJCYB+Hi4npO1fVIPDmF/ez?= =?us-ascii?q?nkignC1qx/DdJr3tGIjNLn7CkLv4ebZ99lBTxxEtwt9D5JJYEKwOL+zrVk/wst?= =?us-ascii?q?zXEAM5PhSpz+voFdlxzIATVGyVDqOELa/fskWE6v8yL+WQfIMVvSzyK/kh5/7g?= =?us-ascii?q?l385nlodcLG10psQbnC4EOppI1+HbnrqntgOD34GsRA4TOzsj12CTDhTaGqsUK?= =?us-ascii?q?4l/T47D5+mDYHfSY+zm7yMxya7HoZOZmxcF1CMF3boe5yAW/cRdi2dOdFunSAH?= =?us-ascii?q?VbS7VoAuywmitBXmxLp/MurU5ioYuIrn1Ndr5u3Tmw899SZvAsWc0mGNSnp7nn?= =?us-ascii?q?kSSDMs3aB/p1Z9ylaZ3qRijfxYD8RZ5+lVXQciKZ7c0+t6BsjuVQ3be9eJTE+q?= =?us-ascii?q?QtGnATEqUtI82MQOYkZ4G9W6lB/PxSuqA7kPl7yKHpM46Kzc32LpLcZn13nGzL?= =?us-ascii?q?Uhj0UhQsZXNW2mm7Bw9xTICo/IkkWZkr2ldb4G0yLX9WeDy3COvEBCXwJqX6XF?= =?us-ascii?q?R2gVZlHKotTh+kPCU7iuBKwjMgRf186DKrBHa9zojVVDX/jjIs7Rb3iwm2e2Hx?= =?us-ascii?q?aIx6mDYJDke2UHj23gDlMZmVUT4WqeLlp5QTi+vCTfFyQoCFTuJkfx/ONzo3D9?= =?us-ascii?q?QkJzygiLa0ho0f2y4gIUgvqHDPgU2LwJoionoDgxFVC72M/QANfTmgx6Ya8JZN?= =?us-ascii?q?o85EtAh2nesQJwJJGmJK0nj1gYdBlxtE6rzRhuF4hbjeArt2ts0QxzbKaF3VlM?= =?us-ascii?q?fDDe0Z2nIaDdKGT54EWybbXL0ErVytec9/Qz76EzrFPtsRukEEEvtnxh1d5I1X?= =?us-ascii?q?CRzpTRFEwPV5O0Vls6/RVxpPfWb3oH6pvQxEFrZKK9sznM3PooH/Nj1xChOtNC?= =?us-ascii?q?PamJHwy0H8BJKdKpLbkPkkK1bxRMGO1P/605JYvyc/ab062mJs5hhyrgkGJGpY?= =?us-ascii?q?Rg30iB/Ck6RuOejMVN+O2RwgbSD2S0t1ymqM2iwdkZNwFXJXK2zG3fPKAUZqB2?= =?us-ascii?q?etxaW2OvJdap3IwmwZ/2QzhF8l/mA04L0sKielyeYg6lhFEC5QEsuXWi3BCA4X?= =?us-ascii?q?lsiThz9viexzSI3uLjMR4aN2RGT2okgVq+edHl3eBfZ1Chak0SrDXg4E/7w6ZB?= =?us-ascii?q?o6EldzvSWl8OYi73amV/X6G9vbnEb8MdsJ4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdAwBfjcRcfW52U41mHgEfBgeBTgGBJ?= =?us-ascii?q?xSBO4EYFIQQiHuMBpsIGAsKgUuDDoYbGwYGNBMBAwEBBAEBAgEBAQETAQEJFgh?= =?us-ascii?q?MDEIBDgGBaAUCAxgOgmgCGgYRDAEBBAoYBQUIAgMBAgYCJAIiBAICAgFEIwgBA?= =?us-ascii?q?QEPgw4BggkDC6t8cYEvgnkBAQWBMgGBBBCEYQmBCyUCAQGLSBeBf4ERJ4FJDYF?= =?us-ascii?q?TgQRPdQ4LAwEYgSCDMYJYinMYgjGYWmUJgS9chhGMHCGLfokpg2uFRIJahkWON?= =?us-ascii?q?IEvN4F3MxoIHBQ7gU6BHgmBDoEQhAqEYYVBPgExAYEEhByLcFeBewEB?= X-IPAS-Result: =?us-ascii?q?A0BdAwBfjcRcfW52U41mHgEfBgeBTgGBJxSBO4EYFIQQiHu?= =?us-ascii?q?MBpsIGAsKgUuDDoYbGwYGNBMBAwEBBAEBAgEBAQETAQEJFghMDEIBDgGBaAUCA?= =?us-ascii?q?xgOgmgCGgYRDAEBBAoYBQUIAgMBAgYCJAIiBAICAgFEIwgBAQEPgw4BggkDC6t?= =?us-ascii?q?8cYEvgnkBAQWBMgGBBBCEYQmBCyUCAQGLSBeBf4ERJ4FJDYFTgQRPdQ4LAwEYg?= =?us-ascii?q?SCDMYJYinMYgjGYWmUJgS9chhGMHCGLfokpg2uFRIJahkWONIEvN4F3MxoIHBQ?= =?us-ascii?q?7gU6BHgmBDoEQhAqEYYVBPgExAYEEhByLcFeBewEB?= X-IronPort-AV: E=Sophos;i="5.60,402,1549926000"; d="scan'208";a="304184049" X-MGA-submission: =?us-ascii?q?MDHiNUYmr9SBsZaIsCoONnZVqN/RcYw+SZCOFU?= =?us-ascii?q?1eqHgA8JbaI7H12Tkthy8vJTUdBjIMP6E4yOqPdp2tDvu5A33m7HGLHG?= =?us-ascii?q?ngBSaJM23Pcg01fn8HmtmuQUS1EjO1Znir/0pVPXl7fDukPjUiMSHu5A?= =?us-ascii?q?vTyGJ3i3jTGQSX3tE5PbY0QA=3D=3D?= Received: from linsvr10.isp.uni-luebeck.de ([141.83.118.110]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Apr 2019 19:14:12 +0200 Received: from localhost (localhost [127.0.0.1]) by linsvr10.isp.uni-luebeck.de (Postfix) with ESMTP id 45BFD60003D49; Sat, 27 Apr 2019 19:14:10 +0200 (CEST) X-Virus-Scanned: amavisd-new at isp.uni-luebeck.de Received: from linsvr10.isp.uni-luebeck.de ([127.0.0.1]) by localhost (linsvr10.isp.uni-luebeck.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 56oU9R0Qbj-S; Sat, 27 Apr 2019 19:14:09 +0200 (CEST) Received: from linsvr10.isp.uni-luebeck.de (localhost [IPv6:::1]) by linsvr10.isp.uni-luebeck.de (Postfix) with ESMTP id 90CA460014F88; Sat, 27 Apr 2019 19:09:26 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.11.0 linsvr10.isp.uni-luebeck.de 90CA460014F88 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=isp.uni-luebeck.de; s=20112017; t=1556385249; bh=Vu9otTtxwC/uK+HTcPSnj4AcjoJ2mmUqdrkU+7dwiaI=; h=From:Subject:To:Date:List-Id:List-Unsubscribe:List-Help: List-Subscribe:Reply-To:From; b=QBMtsCVXW0K5/Fhzkr+cbHNy6eeeN8WNNjWl8BjFxAkfVLUf6hiLz1lv+gvrRJ6Tt 73zvD6RWsN7A2dtK8VQYV3QQaYMaiu0ov2AVzOEo5NtLsx1ulPBUIAGlImom3/ZBsX 7s9Bje6vIH9+MedlRfaRhDkOkhVNahkDSJkfOu+ulzxOmVNwdG52FkhV/zxKL0UtRU ct6qTrvAo0H3Jk/yr5uz9qiWYYV7jW1ZL9TiLme7oWq9RwHH+WJrYv2RuLXmS7pt50 CVEZlXm91YKK+dx2R1GL+uj4AldlixnBK+VywWQemV2Sr1DZ74FqV0BdXOSijWDXzJ if26BX1ZpKQ6g== Received: from localhost (localhost [127.0.0.1]) by linsvr10.isp.uni-luebeck.de (Postfix) with ESMTP id 8F2DD60014FA6 for ; Sat, 27 Apr 2019 15:18:02 +0200 (CEST) X-Virus-Scanned: amavisd-new at isp.uni-luebeck.de Received: from linsvr10.isp.uni-luebeck.de ([127.0.0.1]) by localhost (linsvr10.isp.uni-luebeck.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id KsUItWHxqFBI for ; Sat, 27 Apr 2019 15:18:02 +0200 (CEST) Received: from MacBook-Pro-13-inch-2018-Four-Thunderbolt-3-Ports.local (p57B154A4.dip0.t-ipconnect.de [87.177.84.164]) (Authenticated sender: leucker) by linsvr10.isp.uni-luebeck.de (Postfix) with ESMTPSA id 0609660014FA0 for ; Sat, 27 Apr 2019 15:18:01 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.11.0 linsvr10.isp.uni-luebeck.de 0609660014FA0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=isp.uni-luebeck.de; s=20112017; t=1556371082; bh=70Zrog7xLD4u+RGmXWJR4xLei5W4MUoTDPqZIpa51mI=; h=From:Subject:To:Date:From; b=OfzmXV5MLIzXXCXfKRz8QpzcAAecyQksbnflOf2Bgusp9gsjRh0DKEvtV2SpHUxt1 UMCEMZS8NEduuyUOpCxTg6IJPwt3lkIRAxalHVTeArVrZ0iIwLW3oVV3klaCE1wdQp CrgIk00z4tCrQy4roYLoTl+FDkGoXFJqlX/Mg6HVO9ZzlFGJZFOvuZQT74otnSMIcT ytAfvXuRx8KKyocPBVESRb/c1tpdraczMPt+vJtEWTu4DNb9zWw9JAa8eJTlcn5mbs xnAaQvXlVNhtJXivsQMThI/wtUao4FlW8yP4T6Xe6hUFAy8lXCdu+cwj9Fe32QPn/M dkcynolAmXj5g== From: Martin Leucker To: conference-announce@isp.uni-luebeck.de Message-ID: <8c8943fc-64eb-ac9d-092b-3b765d8910f9@isp.uni-luebeck.de> Date: Sat, 27 Apr 2019 15:18:01 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 Content-Language: en-US Content-Transfer-Encoding: base64 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" X-BeenThere: conference-announce@isp.uni-luebeck.de X-Mailman-Version: 2.1.29 List-Id: Conference Announce List-Unsubscribe: , List-Help: List-Subscribe: , Reply-To: cainfo@isp.uni-luebeck.de Errors-To: conference-announce-bounces@isp.uni-luebeck.de Sender: "Conference-announce" X-Validation-by: leucker@isp.uni-luebeck.de Subject: [Caml-list] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE CgogICAgICAgICAgICAgICAgICBbIEFwb2xvZ2l6ZSBmb3IgTXVsdGlwbGUg Q29waWVzIF0KCioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCkRFQURMSU5FIEVYVEVO U0lPTgoKQWJzdHJhY3QgZGVhZGxpbmUgICBNYXkgMjEsIDIwMTkKU3VibWlz c2lvbiBkZWFkbGluZSBNYXkgMjEsIDIwMTkKCioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioKCgpDYWxsIGZvciBQYXBlcnMKClJWIDIwMTkKCjE5dGggSW50ZXJuYXRp b25hbCBDb25mZXJlbmNlIG9uIFJ1bnRpbWUgVmVyaWZpY2F0aW9uClBvcnRv LCBQb3J0dWdhbApPY3RvYmVyIDgtMTEsIDIwMTkKCk5FVyBJTiAyMDE5OiBC ZW5jaG1hcmsgUGFwZXJzIFRyYWNrCgpodHRwczovL3d3dy5yZWFjdC51bmkt c2FhcmxhbmQuZGUvcnYyMDE5LwoKIyBTY29wZQoKUnVudGltZSB2ZXJpZmlj YXRpb24gaXMgY29uY2VybmVkIHdpdGggdGhlIG1vbml0b3JpbmcgYW5kIGFu YWx5c2lzIG9mCnRoZSBydW50aW1lIGJlaGF2aW91ciBvZiBzb2Z0d2FyZSBh bmQgaGFyZHdhcmUgc3lzdGVtcy4gUnVudGltZQp2ZXJpZmljYXRpb24gdGVj aG5pcXVlcyBhcmUgY3J1Y2lhbCBmb3Igc3lzdGVtIGNvcnJlY3RuZXNzLApy ZWxpYWJpbGl0eSwgYW5kIHJvYnVzdG5lc3M7IHRoZXkgcHJvdmlkZSBhbiBh ZGRpdGlvbmFsIGxldmVsIG9mIHJpZ29yCmFuZCBlZmZlY3RpdmVuZXNzIGNv bXBhcmVkIHRvIGNvbnZlbnRpb25hbCB0ZXN0aW5nLCBhbmQgYXJlIGdlbmVy YWxseQptb3JlIHByYWN0aWNhbCB0aGFuIGV4aGF1c3RpdmUgZm9ybWFsIHZl cmlmaWNhdGlvbi4gUnVudGltZQp2ZXJpZmljYXRpb24gY2FuIGJlIHVzZWQg cHJpb3IgdG8gZGVwbG95bWVudCwgZm9yIHRlc3RpbmcsCnZlcmlmaWNhdGlv biwgYW5kIGRlYnVnZ2luZyBwdXJwb3NlcywgYW5kIGFmdGVyIGRlcGxveW1l bnQgZm9yCmVuc3VyaW5nIHJlbGlhYmlsaXR5LCBzYWZldHksIGFuZCBzZWN1 cml0eSBhbmQgZm9yIHByb3ZpZGluZyBmYXVsdApjb250YWlubWVudCBhbmQg cmVjb3ZlcnkgYXMgd2VsbCBhcyBvbmxpbmUgc3lzdGVtIHJlcGFpci4KClRv cGljcyBvZiBpbnRlcmVzdCB0byB0aGUgY29uZmVyZW5jZSBpbmNsdWRlLCBi dXQgYXJlIG5vdCBsaW1pdGVkIHRvOgoKKiBzcGVjaWZpY2F0aW9uIGxhbmd1 YWdlcyBmb3IgbW9uaXRvcmluZwoqIG1vbml0b3IgY29uc3RydWN0aW9uIHRl Y2huaXF1ZXMKKiBwcm9ncmFtIGluc3RydW1lbnRhdGlvbgoqIGxvZ2dpbmcs IHJlY29yZGluZywgYW5kIHJlcGxheQoqIGNvbWJpbmF0aW9uIG9mIHN0YXRp YyBhbmQgZHluYW1pYyBhbmFseXNpcwoqIHNwZWNpZmljYXRpb24gbWluaW5n IGFuZCBtYWNoaW5lIGxlYXJuaW5nIG92ZXIgcnVudGltZSB0cmFjZXMKKiBt b25pdG9yaW5nIHRlY2huaXF1ZXMgZm9yIGNvbmN1cnJlbnQgYW5kIGRpc3Ry aWJ1dGVkIHN5c3RlbXMKKiBydW50aW1lIGNoZWNraW5nIG9mIHByaXZhY3kg YW5kIHNlY3VyaXR5IHBvbGljaWVzCiogbWV0cmljcyBhbmQgc3RhdGlzdGlj YWwgaW5mb3JtYXRpb24gZ2F0aGVyaW5nCiogcHJvZ3JhbS9zeXN0ZW0gZXhl Y3V0aW9uIHZpc3VhbGl6YXRpb24KKiBmYXVsdCBsb2NhbGl6YXRpb24sIGNv bnRhaW5tZW50LCByZWNvdmVyeSBhbmQgcmVwYWlyCiogZHluYW1pYyB0eXBl IGNoZWNraW5nCgpBcHBsaWNhdGlvbiBhcmVhcyBvZiBydW50aW1lIHZlcmlm aWNhdGlvbiBpbmNsdWRlIGN5YmVyLXBoeXNpY2FsCnN5c3RlbXMsIHNhZmV0 eS9taXNzaW9uIGNyaXRpY2FsIHN5c3RlbXMsIGVudGVycHJpc2UgYW5kIHN5 c3RlbXMKc29mdHdhcmUsIGNsb3VkIHN5c3RlbXMsIGF1dG9ub21vdXMgYW5k IHJlYWN0aXZlIGNvbnRyb2wgc3lzdGVtcywKaGVhbHRoIG1hbmFnZW1lbnQg YW5kIGRpYWdub3NpcyBzeXN0ZW1zLCBhbmQgc3lzdGVtIHNlY3VyaXR5IGFu ZApwcml2YWN5LgoKQW4gb3ZlcnZpZXcgb2YgcHJldmlvdXMgUlYgY29uZmVy ZW5jZXMgYW5kIGVhcmxpZXIgd29ya3Nob3BzIGNhbiBiZQpmb3VuZCBhdDog aHR0cDovL3d3dy5ydW50aW1lLXZlcmlmaWNhdGlvbi5vcmcuCgojIFN1Ym1p c3Npb25zCgpBbGwgcGFwZXJzIGFuZCB0dXRvcmlhbHMgd2lsbCBhcHBlYXIg aW4gdGhlIGNvbmZlcmVuY2UgcHJvY2VlZGluZ3MgaW4KYW4gTE5DUyB2b2x1 bWUuIFN1Ym1pdHRlZCBwYXBlcnMgYW5kIHR1dG9yaWFscyBtdXN0IHVzZSB0 aGUKTE5DUy9TcHJpbmdlciBzdHlsZSBkZXRhaWxlZCBoZXJlOgoKaHR0cDov L3d3dy5zcHJpbmdlci5kZS9jb21wL2xuY3MvYXV0aG9ycy5odG1sCgpQYXBl cnMgbXVzdCBiZSBvcmlnaW5hbCB3b3JrIGFuZCBub3QgYmUgc3VibWl0dGVk IGZvciBwdWJsaWNhdGlvbgplbHNld2hlcmUuIFBhcGVycyBtdXN0IGJlIHdy aXR0ZW4gaW4gRW5nbGlzaCBhbmQgc3VibWl0dGVkCmVsZWN0cm9uaWNhbGx5 IChpbiBQREYgZm9ybWF0KSB1c2luZyB0aGUgRWFzeUNoYWlyIHN1Ym1pc3Np b24gcGFnZQpoZXJlOgoKaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVu Y2VzLz9jb25mPXJ2MTkKClRoZSBwYWdlIGxpbWl0YXRpb25zIG1lbnRpb25l ZCBiZWxvdyBpbmNsdWRlIGFsbCB0ZXh0IGFuZCBmaWd1cmVzLCBidXQKZXhj bHVkZSByZWZlcmVuY2VzLiBBZGRpdGlvbmFsIGRldGFpbHMgb21pdHRlZCBk dWUgdG8gc3BhY2UKbGltaXRhdGlvbnMgbWF5IGJlIGluY2x1ZGVkIGluIGEg Y2xlYXJseSBtYXJrZWQgYXBwZW5kaXgsIHRoYXQgd2lsbCBiZQpyZXZpZXdl ZCBhdCB0aGUgZGlzY3JldGlvbiBvZiByZXZpZXdlcnMsIGJ1dCBub3QgaW5j bHVkZWQgaW4gdGhlCnByb2NlZWRpbmdzLgoKQXQgbGVhc3Qgb25lIGF1dGhv ciBvZiBlYWNoIGFjY2VwdGVkIHBhcGVyIGFuZCB0dXRvcmlhbCBtdXN0IGF0 dGVuZCBSVgoyMDE5IHRvIHByZXNlbnQuCgojIFBhcGVycwoKVGhlcmUgYXJl IGZvdXIgY2F0ZWdvcmllcyBvZiBwYXBlcnMgd2hpY2ggY2FuIGJlIHN1Ym1p dHRlZDogcmVndWxhciwKc2hvcnQsIHRvb2wgZGVtbywgYW5kIGJlbmNobWFy ayBwYXBlcnMuIFBhcGVycyBpbiBlYWNoIGNhdGVnb3J5IHdpbGwKYmUgcmV2 aWV3ZWQgYnkgYXQgbGVhc3QgMyBtZW1iZXJzIG9mIHRoZSBQcm9ncmFtIENv bW1pdHRlZS4KCiogUmVndWxhciBQYXBlcnMgKHVwIHRvIDE1IHBhZ2VzLCBu b3QgaW5jbHVkaW5nIHJlZmVyZW5jZXMpIHNob3VsZApwcmVzZW50IG9yaWdp bmFsIHVucHVibGlzaGVkIHJlc3VsdHMuIFdlIHdlbGNvbWUgdGhlb3JldGlj YWwgcGFwZXJzLApzeXN0ZW0gcGFwZXJzLCBwYXBlcnMgZGVzY3JpYmluZyBk b21haW4tc3BlY2lmaWMgdmFyaWFudHMgb2YgUlYsIGFuZApjYXNlIHN0dWRp ZXMgb24gcnVudGltZSB2ZXJpZmljYXRpb24uCgoqIFNob3J0IFBhcGVycyAo dXAgdG8gNiBwYWdlcywgbm90IGluY2x1ZGluZyByZWZlcmVuY2VzKSBtYXkg cHJlc2VudApub3ZlbCBidXQgbm90IG5lY2Vzc2FyaWx5IHRob3JvdWdobHkg d29ya2VkIG91dCBpZGVhcywgZm9yIGV4YW1wbGUKZW1lcmdpbmcgcnVudGlt ZSB2ZXJpZmljYXRpb24gdGVjaG5pcXVlcyBhbmQgYXBwbGljYXRpb25zLCBv cgp0ZWNobmlxdWVzIGFuZCBhcHBsaWNhdGlvbnMgdGhhdCBlc3RhYmxpc2gg cmVsYXRpb25zaGlwcyBiZXR3ZWVuCnJ1bnRpbWUgdmVyaWZpY2F0aW9uIGFu ZCBvdGhlciBkb21haW5zLgoKKiBUb29sIERlbW9uc3RyYXRpb24gUGFwZXJz ICh1cCB0byA4IHBhZ2VzLCBub3QgaW5jbHVkaW5nIHJlZmVyZW5jZXMpCnNo b3VsZCBwcmVzZW50IGEgbmV3IHRvb2wsIGEgbmV3IHRvb2wgY29tcG9uZW50 LCBvciBub3ZlbCBleHRlbnNpb25zCnRvIGV4aXN0aW5nIHRvb2xzIHN1cHBv cnRpbmcgcnVudGltZSB2ZXJpZmljYXRpb24uIFRoZSBwYXBlciBtdXN0Cmlu Y2x1ZGUgaW5mb3JtYXRpb24gb24gdG9vbCBhdmFpbGFiaWxpdHksIG1hdHVy aXR5LCBzZWxlY3RlZApleHBlcmltZW50YWwgcmVzdWx0cyBhbmQgaXQgc2hv dWxkIHByb3ZpZGUgYSBsaW5rIHRvIGEgd2Vic2l0ZQpjb250YWluaW5nIHRo ZSB0aGVvcmV0aWNhbCBiYWNrZ3JvdW5kIGFuZCB1c2VyIGd1aWRlLiBGdXJ0 aGVybW9yZSwgd2UKc3Ryb25nbHkgZW5jb3VyYWdlIGF1dGhvcnMgdG8gbWFr ZSB0aGVpciB0b29scyBhbmQgYmVuY2htYXJrcwphdmFpbGFibGUgd2l0aCB0 aGVpciBzdWJtaXNzaW9uLgoKKiBCZW5jaG1hcmsgUGFwZXJzICh1cCB0byAx MCBwYWdlcywgbm90IGluY2x1ZGluZyByZWZlcmVuY2VzLCBORVcgSU4KMjAx OSkgc2hvdWxkIGRlc2NyaWJlIGEgYmVuY2htYXJrLCBzdWl0ZSBvZiBiZW5j aG1hcmtzLCBvciBiZW5jaG1hcmsKZ2VuZXJhdG9yIHVzZWZ1bCBmb3IgZXZh bHVhdGluZyBSViB0b29scy4gUGFwZXJzIHdpbGwgc2hvdWxkIGluY2x1ZGUK aW5mb3JtYXRpb24gYXMgdG8gd2hhdCB0aGUgYmVuY2htYXJrIGNvbnNpc3Rz IG9mIGFuZCBpdHMgcHVycG9zZSAod2hhdAppcyB0aGUgZG9tYWluKSwgaG93 IHRvIG9idGFpbiBhbmQgdXNlIHRoZSBiZW5jaG1hcmssIGFuIGFyZ3VtZW50 IGZvcgp0aGUgdXNlZnVsbmVzcyBvZiB0aGUgYmVuY2htYXJrIHRvIHRoZSBi cm9hZGVyIFJWIGNvbW11bml0eSwgYW5kIG1heQppbmNsdWRlIGFueSBleGlz dGluZyByZXN1bHRzIHByb2R1Y2VkIHVzaW5nIHRoZSBiZW5jaG1hcmsuIFdl IGFyZQppbnRlcmVzdGVkIGluIGJvdGggYmVuY2htYXJrcyBwZXJ0YWluaW5n IHRvIHJlYWwtd29ybGQgc2NlbmFyaW9zIGFuZAp0aG9zZSBjb250YWluaW5n IHN5bnRoZXRpYyBkYXRhIGRlc2lnbmVkIHRvIGFjaGlldmUgaW50ZXJlc3Rp bmcKcHJvcGVydGllcy4gQnJvYWRlciBkZWZpbml0aW9ucyBvZiBiZW5jaG1h cmsgZS5nLiBmb3IgZ2VuZXJhdGluZwpzcGVjaWZpY2F0aW9ucyBmcm9tIGRh dGEgb3IgZGlhZ25vc2luZyBmYXVsdHMgYXJlIHdpdGhpbgpzY29wZS4gRmlu YWxseSwgd2UgZW5jb3VyYWdlIGJ1dCBkbyBub3QgcmVxdWlyZSBiZW5jaG1h cmtzIHRoYXQgYXJlCnRvb2wgYWdub3N0aWMgKGVzcGVjaWFsbHkgdGhvc2Ug dGhhdCBoYXZlIGJlZW4gdXNlZCB0byBldmFsdWF0ZQptdWx0aXBsZSB0b29s cyksIGxhYmVsbGVkIGJlbmNobWFya3Mgd2l0aCByaWdvcm91cyBhcmd1bWVu dHMgZm9yCmNvcnJlY3RuZXNzIG9mIGxhYmVscywgYW5kIGJlbmNobWFya3Mg dGhhdCBhcmUgZGVtb25zdHJhYmx5CmNoYWxsZW5naW5nIHdpdGggcmVzcGVj dCB0byB0aGUgc3RhdGUtb2YtdGhlLWFydCB0b29scy4gQmVuY2htYXJrCnBh cGVycyBtdXN0IGJlIGFjY29tcGFuaWVkIGJ5IGFuIGVhc2lseSBhY2Nlc3Np YmxlIGFuZCB1c2FibGUKYmVuY2htYXJrIHN1Ym1pc3Npb24uIFBhcGVycyB3 aWxsIGJlIGV2YWx1YXRlZCBieSBhIHNlcGFyYXRlIGJlbmNobWFyawpldmFs dWF0aW9uIHBhbmVsIHdobyB3aWxsIGFzc2VzIHRoZSBiZW5jaG1hcmtzIHJl bGV2YW5jZSwgY2xhcml0eSwgYW5kCnV0aWxpdHkgYXMgY29tbXVuaWNhdGVk IGJ5IHRoZSBzdWJtaXR0ZWQgcGFwZXIuCgpUaGUgUHJvZ3JhbSBDb21taXR0 ZWUgb2YgUlYgMjAxOSB3aWxsIGdpdmUgYSBiZXN0IHBhcGVyIGF3YXJkLCBh bmQgYQpzZWxlY3Rpb24gb2YgYWNjZXB0ZWQgcmVndWxhciBwYXBlcnMgd2ls bCBiZSBpbnZpdGVkIHRvIGFwcGVhciBpbiBhCnNwZWNpYWwgam91cm5hbCBp c3N1ZS4KCiMgVHV0b3JpYWwgVHJhY2sKClR1dG9yaWFscyBhcmUgdHdvLXRv LXRocmVlLWhvdXIgcHJlc2VudGF0aW9ucyBvbiBhIHNlbGVjdGVkCnRvcGlj LiBBZGRpdGlvbmFsbHksIHR1dG9yaWFsIHByZXNlbnRlcnMgd2lsbCBiZSBv ZmZlcmVkIHRvIHB1Ymxpc2ggYQpwYXBlciBvZiB1cCB0byAyMCBwYWdlcyBp biB0aGUgTE5DUyBjb25mZXJlbmNlIHByb2NlZWRpbmdzLiAgQQpwcm9wb3Nh bCBmb3IgYSB0dXRvcmlhbCBtdXN0IGNvbnRhaW4gdGhlIHN1YmplY3Qgb2Yg dGhlIHR1dG9yaWFsLCBhCnByb3Bvc2VkIHRpbWVsaW5lLCBhIG5vdGUgb24g cHJldmlvdXMgc2ltaWxhciB0dXRvcmlhbHMgKGlmCmFwcGxpY2FibGUpIGFu ZCB0aGUgZGlmZmVyZW5jZXMgdG8gdGhpcyBpbmNhcm5hdGlvbiwgYW5kIGEg YmlvZ3JhcGh5Cm9mIHRoZSBwcmVzZW50ZXIuIFRoZSBwcm9wb3NhbCBtdXN0 IG5vdCBleGNlZWQgMiBwYWdlcy4gVHV0b3JpYWwKcHJvcG9zYWxzIHdpbGwg YmUgcmV2aWV3ZWQgYnkgdGhlIFByb2dyYW0gQ29tbWl0dGVlLiAgSW1wb3J0 YW50IERhdGVzCgojIFdlYnNpdGUKCmh0dHBzOi8vd3d3LnJlYWN0LnVuaS1z YWFybGFuZC5kZS9ydjIwMTkvCgojIEltcG9ydGFudCBEYXRlcwoKQWJzdHJh Y3QgZGVhZGxpbmU6ICAgICAgICAgICAgICAgIE1heSAyMSwgMjAxOQpQYXBl ciBhbmQgdHV0b3JpYWwgZGVhZGxpbmU6IAkgIE1heSAyMSwgMjAxOQpQYXBl ciBhbmQgdHV0b3JpYWwgbm90aWZpY2F0aW9uOiAgSnVseSAxLCAyMDE5CkNh bWVyYS1yZWFkeSBkZWFkbGluZTogIAkgIEp1bHkgMTQsIDIwMTkKQ29uZmVy ZW5jZTogCSAgICAgICAgICAgICAgICAgIE9jdG9iZXIgOCAtIDExLCAyMDE5 CgojIFByb2dyYW0gQ29tbWl0dGVlCgpXb2xmZ2FuZyBBaHJlbmR0LCBDaGFs bWVycyBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kKSG93YXJkIEJhcnJpbmdl ciwgVGhlIFVuaXZlcnNpdHkgb2YgTWFuY2hlc3RlcgpFemlvIEJhcnRvY2Np LCBWaWVubmEgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5CkFuZHJlYXMgQmF1 ZXIsIEtVS0EKRXJpYyBCb2RkZW4sIFBhZGVyYm9ybiBVbml2ZXJzaXR5IGFu ZCBGcmF1bmhvZmVyIElFTQpCb3J6b28gQm9uYWtkYXJwb3VyLCBJb3dhIFN0 YXRlIFVuaXZlcnNpdHkKQ2hyaXN0aWFuIENvbG9tYm8sIFVuaXZlcnNpdHkg b2YgTWFsdGEKWWxpZXMgRmFsY29uZSwgVW5pdi4gR3Jlbm9ibGUgQWxwZXMs IENOUlMsIElucmlhCkx1IEZlbmcsIFVuaXZlcnNpdHkgb2YgVmlyZ2luaWEK QmVybmQgRmlua2JlaW5lciwgU2FhcmxhbmQgVW5pdmVyc2l0eQpBZHJpYW4g RnJhbmNhbGFuemEsIFVuaXZlcnNpdHkgb2YgTWFsdGEKUmFkdSBHcm9zdSwg VFUgVmllbm5hClN5bHZhaW4gSGFsbMOpLCBVbml2ZXJzaXTDqSBkdSBRdcOp YmVjIMOgIENoaWNvdXRpbWkKS2xhdXMgSGF2ZWx1bmQsIEpldCBQcm9wdWxz aW9uIExhYm9yYXRvcnkKQ2F0YWxpbiBIcml0Y3UsCUlOUklBCkZlbGl4IEts YWVkdGtlLCBORUMgTGFicyBFdXJvcGUKQXhlbCBMZWdheSwgVUNMb3V2YWlu CkRhdmlkIExvLCBTaW5nYXBvcmUgTWFuYWdlbWVudCBVbml2ZXJzaXR5Ckxl b25hcmRvIE1hcmlhbmksIFVuaXZlcnNpdHkgb2YgTWlsYW5vIEJpY29jY2EK Vml2aWFuYSBNYXNjYXJkaSwgRElCUklTLCBVbml2ZXJzaXR5IG9mIEdlbm92 YQpEZWphbiBOaWNrb3ZpYywgQXVzdHJpYW4gSW5zdGl0dXRlIG9mIFRlY2hu b2xvZ3kgQUlUCkF5b3ViIE5vdXJpLCBWZXJpbWFnCkdvcmRvbiBQYWNlLCBV bml2ZXJzaXR5IG9mIE1hbHRhCkRvcm9uIFBlbGVkLCBCYXIgSWxhbiBVbml2 ZXJzaXR5CkthIEkgUHVuLCBXZXN0ZXJuIE5vcndheSBVbml2ZXJzaXR5IG9m IEFwcGxpZWQgU2NpZW5jZXMKSm9yZ2UgQS4gUMOpcmV6LCBVbml2ZXJzaXR5 IG9mIEdyb25pbmdlbgpHaWxlcyBSZWdlciwgVGhlIFVuaXZlcnNpdHkgb2Yg TWFuY2hlc3RlcgpHcmlnb3JlIFJvc3UsIFVuaXZlcnNpdHkgb2YgSWxsaW5v aXMgYXQgVXJiYW5hLUNoYW1wYWlnbgpLcmlzdGluIFl2b25uZSBSb3ppZXIs IElvd2EgU3RhdGUgVW5pdmVyc2l0eQpDZXNhciBTYW5jaGV6LCBJTURFQSBT b2Z0d2FyZSBJbnN0aXR1dGUKR2VyYXJkbwlTY2huZWlkZXIsIFVuaXZlcnNp dHkgb2YgR290aGVuYnVyZwpOYXN0YXJhbiBTaGFmaWVpLCBOQVNBIEFtZXMg UmVzZWFyY2ggQ2VudGVyL1NHVApKdWxpZW4gU2lnbm9sZXMsIENFQSBMSVNU ClNjb3R0IFNtb2xrYSwgU3RvbnkgQnJvb2sgVW5pdmVyc2l0eQpPbGVnIFNv a29sc2t5LCBVbml2ZXJzaXR5IG9mIFBlbm5zeWx2YW5pYQpCZXJuaGFyZCBT dGVmZmVuLCBVbml2IERvcnRtdW5kClNjb3R0IFN0b2xsZXIsIFN0b255IEJy b29rIFVuaXZlcnNpdHkKVm9sa2VyIFN0b2x6LCBIw7hnc2t1bGVuIHDDpSBW ZXN0bGFuZGV0Ck5laWwgV2Fsa2luc2hhdywgVGhlIFVuaXZlcnNpdHkgb2Yg U2hlZmZpZWxkCkNoYW8gV2FuZywgVW5pdmVyc2l0eSBvZiBTb3V0aGVybiBD YWxpZm9ybmlhClhpYW5neXUgWmhhbmcsIFB1cmR1ZSBVbml2ZXJzaXR5CgoK