From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 6C9815D4 for ; Sat, 27 Apr 2019 17:27:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,402,1549926000"; d="scan'208";a="380607265" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Apr 2019 19:27:07 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A0A6B826A5; Sat, 27 Apr 2019 19:27:07 +0200 (CEST) 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 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-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 X-Loop: caml-list@inria.fr X-Sequence: 17515 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: CgogICAgICAgICAgICAgICAgICBbIEFwb2xvZ2l6ZSBmb3IgTXVsdGlwbGUgQ29waWVzIF0KCioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioKCkRFQURMSU5FIEVYVEVOU0lPTgoKQWJzdHJhY3QgZGVhZGxpbmUgICBNYXkgMjEsIDIw MTkKU3VibWlzc2lvbiBkZWFkbGluZSBNYXkgMjEsIDIwMTkKCioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgpDYWxsIGZvciBQ YXBlcnMKClJWIDIwMTkKCjE5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFJ1bnRpbWUg VmVyaWZpY2F0aW9uClBvcnRvLCBQb3J0dWdhbApPY3RvYmVyIDgtMTEsIDIwMTkKCk5FVyBJTiAy MDE5OiBCZW5jaG1hcmsgUGFwZXJzIFRyYWNrCgpodHRwczovL3d3dy5yZWFjdC51bmktc2Fhcmxh bmQuZGUvcnYyMDE5LwoKIyBTY29wZQoKUnVudGltZSB2ZXJpZmljYXRpb24gaXMgY29uY2VybmVk IHdpdGggdGhlIG1vbml0b3JpbmcgYW5kIGFuYWx5c2lzIG9mCnRoZSBydW50aW1lIGJlaGF2aW91 ciBvZiBzb2Z0d2FyZSBhbmQgaGFyZHdhcmUgc3lzdGVtcy4gUnVudGltZQp2ZXJpZmljYXRpb24g dGVjaG5pcXVlcyBhcmUgY3J1Y2lhbCBmb3Igc3lzdGVtIGNvcnJlY3RuZXNzLApyZWxpYWJpbGl0 eSwgYW5kIHJvYnVzdG5lc3M7IHRoZXkgcHJvdmlkZSBhbiBhZGRpdGlvbmFsIGxldmVsIG9mIHJp Z29yCmFuZCBlZmZlY3RpdmVuZXNzIGNvbXBhcmVkIHRvIGNvbnZlbnRpb25hbCB0ZXN0aW5nLCBh bmQgYXJlIGdlbmVyYWxseQptb3JlIHByYWN0aWNhbCB0aGFuIGV4aGF1c3RpdmUgZm9ybWFsIHZl cmlmaWNhdGlvbi4gUnVudGltZQp2ZXJpZmljYXRpb24gY2FuIGJlIHVzZWQgcHJpb3IgdG8gZGVw bG95bWVudCwgZm9yIHRlc3RpbmcsCnZlcmlmaWNhdGlvbiwgYW5kIGRlYnVnZ2luZyBwdXJwb3Nl cywgYW5kIGFmdGVyIGRlcGxveW1lbnQgZm9yCmVuc3VyaW5nIHJlbGlhYmlsaXR5LCBzYWZldHks IGFuZCBzZWN1cml0eSBhbmQgZm9yIHByb3ZpZGluZyBmYXVsdApjb250YWlubWVudCBhbmQgcmVj b3ZlcnkgYXMgd2VsbCBhcyBvbmxpbmUgc3lzdGVtIHJlcGFpci4KClRvcGljcyBvZiBpbnRlcmVz dCB0byB0aGUgY29uZmVyZW5jZSBpbmNsdWRlLCBidXQgYXJlIG5vdCBsaW1pdGVkIHRvOgoKKiBz cGVjaWZpY2F0aW9uIGxhbmd1YWdlcyBmb3IgbW9uaXRvcmluZwoqIG1vbml0b3IgY29uc3RydWN0 aW9uIHRlY2huaXF1ZXMKKiBwcm9ncmFtIGluc3RydW1lbnRhdGlvbgoqIGxvZ2dpbmcsIHJlY29y ZGluZywgYW5kIHJlcGxheQoqIGNvbWJpbmF0aW9uIG9mIHN0YXRpYyBhbmQgZHluYW1pYyBhbmFs eXNpcwoqIHNwZWNpZmljYXRpb24gbWluaW5nIGFuZCBtYWNoaW5lIGxlYXJuaW5nIG92ZXIgcnVu dGltZSB0cmFjZXMKKiBtb25pdG9yaW5nIHRlY2huaXF1ZXMgZm9yIGNvbmN1cnJlbnQgYW5kIGRp c3RyaWJ1dGVkIHN5c3RlbXMKKiBydW50aW1lIGNoZWNraW5nIG9mIHByaXZhY3kgYW5kIHNlY3Vy aXR5IHBvbGljaWVzCiogbWV0cmljcyBhbmQgc3RhdGlzdGljYWwgaW5mb3JtYXRpb24gZ2F0aGVy aW5nCiogcHJvZ3JhbS9zeXN0ZW0gZXhlY3V0aW9uIHZpc3VhbGl6YXRpb24KKiBmYXVsdCBsb2Nh bGl6YXRpb24sIGNvbnRhaW5tZW50LCByZWNvdmVyeSBhbmQgcmVwYWlyCiogZHluYW1pYyB0eXBl IGNoZWNraW5nCgpBcHBsaWNhdGlvbiBhcmVhcyBvZiBydW50aW1lIHZlcmlmaWNhdGlvbiBpbmNs dWRlIGN5YmVyLXBoeXNpY2FsCnN5c3RlbXMsIHNhZmV0eS9taXNzaW9uIGNyaXRpY2FsIHN5c3Rl bXMsIGVudGVycHJpc2UgYW5kIHN5c3RlbXMKc29mdHdhcmUsIGNsb3VkIHN5c3RlbXMsIGF1dG9u b21vdXMgYW5kIHJlYWN0aXZlIGNvbnRyb2wgc3lzdGVtcywKaGVhbHRoIG1hbmFnZW1lbnQgYW5k IGRpYWdub3NpcyBzeXN0ZW1zLCBhbmQgc3lzdGVtIHNlY3VyaXR5IGFuZApwcml2YWN5LgoKQW4g b3ZlcnZpZXcgb2YgcHJldmlvdXMgUlYgY29uZmVyZW5jZXMgYW5kIGVhcmxpZXIgd29ya3Nob3Bz IGNhbiBiZQpmb3VuZCBhdDogaHR0cDovL3d3dy5ydW50aW1lLXZlcmlmaWNhdGlvbi5vcmcuCgoj IFN1Ym1pc3Npb25zCgpBbGwgcGFwZXJzIGFuZCB0dXRvcmlhbHMgd2lsbCBhcHBlYXIgaW4gdGhl IGNvbmZlcmVuY2UgcHJvY2VlZGluZ3MgaW4KYW4gTE5DUyB2b2x1bWUuIFN1Ym1pdHRlZCBwYXBl cnMgYW5kIHR1dG9yaWFscyBtdXN0IHVzZSB0aGUKTE5DUy9TcHJpbmdlciBzdHlsZSBkZXRhaWxl ZCBoZXJlOgoKaHR0cDovL3d3dy5zcHJpbmdlci5kZS9jb21wL2xuY3MvYXV0aG9ycy5odG1sCgpQ YXBlcnMgbXVzdCBiZSBvcmlnaW5hbCB3b3JrIGFuZCBub3QgYmUgc3VibWl0dGVkIGZvciBwdWJs aWNhdGlvbgplbHNld2hlcmUuIFBhcGVycyBtdXN0IGJlIHdyaXR0ZW4gaW4gRW5nbGlzaCBhbmQg c3VibWl0dGVkCmVsZWN0cm9uaWNhbGx5IChpbiBQREYgZm9ybWF0KSB1c2luZyB0aGUgRWFzeUNo YWlyIHN1Ym1pc3Npb24gcGFnZQpoZXJlOgoKaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVu Y2VzLz9jb25mPXJ2MTkKClRoZSBwYWdlIGxpbWl0YXRpb25zIG1lbnRpb25lZCBiZWxvdyBpbmNs dWRlIGFsbCB0ZXh0IGFuZCBmaWd1cmVzLCBidXQKZXhjbHVkZSByZWZlcmVuY2VzLiBBZGRpdGlv bmFsIGRldGFpbHMgb21pdHRlZCBkdWUgdG8gc3BhY2UKbGltaXRhdGlvbnMgbWF5IGJlIGluY2x1 ZGVkIGluIGEgY2xlYXJseSBtYXJrZWQgYXBwZW5kaXgsIHRoYXQgd2lsbCBiZQpyZXZpZXdlZCBh dCB0aGUgZGlzY3JldGlvbiBvZiByZXZpZXdlcnMsIGJ1dCBub3QgaW5jbHVkZWQgaW4gdGhlCnBy b2NlZWRpbmdzLgoKQXQgbGVhc3Qgb25lIGF1dGhvciBvZiBlYWNoIGFjY2VwdGVkIHBhcGVyIGFu ZCB0dXRvcmlhbCBtdXN0IGF0dGVuZCBSVgoyMDE5IHRvIHByZXNlbnQuCgojIFBhcGVycwoKVGhl cmUgYXJlIGZvdXIgY2F0ZWdvcmllcyBvZiBwYXBlcnMgd2hpY2ggY2FuIGJlIHN1Ym1pdHRlZDog cmVndWxhciwKc2hvcnQsIHRvb2wgZGVtbywgYW5kIGJlbmNobWFyayBwYXBlcnMuIFBhcGVycyBp biBlYWNoIGNhdGVnb3J5IHdpbGwKYmUgcmV2aWV3ZWQgYnkgYXQgbGVhc3QgMyBtZW1iZXJzIG9m IHRoZSBQcm9ncmFtIENvbW1pdHRlZS4KCiogUmVndWxhciBQYXBlcnMgKHVwIHRvIDE1IHBhZ2Vz LCBub3QgaW5jbHVkaW5nIHJlZmVyZW5jZXMpIHNob3VsZApwcmVzZW50IG9yaWdpbmFsIHVucHVi bGlzaGVkIHJlc3VsdHMuIFdlIHdlbGNvbWUgdGhlb3JldGljYWwgcGFwZXJzLApzeXN0ZW0gcGFw ZXJzLCBwYXBlcnMgZGVzY3JpYmluZyBkb21haW4tc3BlY2lmaWMgdmFyaWFudHMgb2YgUlYsIGFu ZApjYXNlIHN0dWRpZXMgb24gcnVudGltZSB2ZXJpZmljYXRpb24uCgoqIFNob3J0IFBhcGVycyAo dXAgdG8gNiBwYWdlcywgbm90IGluY2x1ZGluZyByZWZlcmVuY2VzKSBtYXkgcHJlc2VudApub3Zl bCBidXQgbm90IG5lY2Vzc2FyaWx5IHRob3JvdWdobHkgd29ya2VkIG91dCBpZGVhcywgZm9yIGV4 YW1wbGUKZW1lcmdpbmcgcnVudGltZSB2ZXJpZmljYXRpb24gdGVjaG5pcXVlcyBhbmQgYXBwbGlj YXRpb25zLCBvcgp0ZWNobmlxdWVzIGFuZCBhcHBsaWNhdGlvbnMgdGhhdCBlc3RhYmxpc2ggcmVs YXRpb25zaGlwcyBiZXR3ZWVuCnJ1bnRpbWUgdmVyaWZpY2F0aW9uIGFuZCBvdGhlciBkb21haW5z LgoKKiBUb29sIERlbW9uc3RyYXRpb24gUGFwZXJzICh1cCB0byA4IHBhZ2VzLCBub3QgaW5jbHVk aW5nIHJlZmVyZW5jZXMpCnNob3VsZCBwcmVzZW50IGEgbmV3IHRvb2wsIGEgbmV3IHRvb2wgY29t cG9uZW50LCBvciBub3ZlbCBleHRlbnNpb25zCnRvIGV4aXN0aW5nIHRvb2xzIHN1cHBvcnRpbmcg cnVudGltZSB2ZXJpZmljYXRpb24uIFRoZSBwYXBlciBtdXN0CmluY2x1ZGUgaW5mb3JtYXRpb24g b24gdG9vbCBhdmFpbGFiaWxpdHksIG1hdHVyaXR5LCBzZWxlY3RlZApleHBlcmltZW50YWwgcmVz dWx0cyBhbmQgaXQgc2hvdWxkIHByb3ZpZGUgYSBsaW5rIHRvIGEgd2Vic2l0ZQpjb250YWluaW5n IHRoZSB0aGVvcmV0aWNhbCBiYWNrZ3JvdW5kIGFuZCB1c2VyIGd1aWRlLiBGdXJ0aGVybW9yZSwg d2UKc3Ryb25nbHkgZW5jb3VyYWdlIGF1dGhvcnMgdG8gbWFrZSB0aGVpciB0b29scyBhbmQgYmVu Y2htYXJrcwphdmFpbGFibGUgd2l0aCB0aGVpciBzdWJtaXNzaW9uLgoKKiBCZW5jaG1hcmsgUGFw ZXJzICh1cCB0byAxMCBwYWdlcywgbm90IGluY2x1ZGluZyByZWZlcmVuY2VzLCBORVcgSU4KMjAx OSkgc2hvdWxkIGRlc2NyaWJlIGEgYmVuY2htYXJrLCBzdWl0ZSBvZiBiZW5jaG1hcmtzLCBvciBi ZW5jaG1hcmsKZ2VuZXJhdG9yIHVzZWZ1bCBmb3IgZXZhbHVhdGluZyBSViB0b29scy4gUGFwZXJz IHdpbGwgc2hvdWxkIGluY2x1ZGUKaW5mb3JtYXRpb24gYXMgdG8gd2hhdCB0aGUgYmVuY2htYXJr IGNvbnNpc3RzIG9mIGFuZCBpdHMgcHVycG9zZSAod2hhdAppcyB0aGUgZG9tYWluKSwgaG93IHRv IG9idGFpbiBhbmQgdXNlIHRoZSBiZW5jaG1hcmssIGFuIGFyZ3VtZW50IGZvcgp0aGUgdXNlZnVs bmVzcyBvZiB0aGUgYmVuY2htYXJrIHRvIHRoZSBicm9hZGVyIFJWIGNvbW11bml0eSwgYW5kIG1h eQppbmNsdWRlIGFueSBleGlzdGluZyByZXN1bHRzIHByb2R1Y2VkIHVzaW5nIHRoZSBiZW5jaG1h cmsuIFdlIGFyZQppbnRlcmVzdGVkIGluIGJvdGggYmVuY2htYXJrcyBwZXJ0YWluaW5nIHRvIHJl YWwtd29ybGQgc2NlbmFyaW9zIGFuZAp0aG9zZSBjb250YWluaW5nIHN5bnRoZXRpYyBkYXRhIGRl c2lnbmVkIHRvIGFjaGlldmUgaW50ZXJlc3RpbmcKcHJvcGVydGllcy4gQnJvYWRlciBkZWZpbml0 aW9ucyBvZiBiZW5jaG1hcmsgZS5nLiBmb3IgZ2VuZXJhdGluZwpzcGVjaWZpY2F0aW9ucyBmcm9t IGRhdGEgb3IgZGlhZ25vc2luZyBmYXVsdHMgYXJlIHdpdGhpbgpzY29wZS4gRmluYWxseSwgd2Ug ZW5jb3VyYWdlIGJ1dCBkbyBub3QgcmVxdWlyZSBiZW5jaG1hcmtzIHRoYXQgYXJlCnRvb2wgYWdu b3N0aWMgKGVzcGVjaWFsbHkgdGhvc2UgdGhhdCBoYXZlIGJlZW4gdXNlZCB0byBldmFsdWF0ZQpt dWx0aXBsZSB0b29scyksIGxhYmVsbGVkIGJlbmNobWFya3Mgd2l0aCByaWdvcm91cyBhcmd1bWVu dHMgZm9yCmNvcnJlY3RuZXNzIG9mIGxhYmVscywgYW5kIGJlbmNobWFya3MgdGhhdCBhcmUgZGVt b25zdHJhYmx5CmNoYWxsZW5naW5nIHdpdGggcmVzcGVjdCB0byB0aGUgc3RhdGUtb2YtdGhlLWFy dCB0b29scy4gQmVuY2htYXJrCnBhcGVycyBtdXN0IGJlIGFjY29tcGFuaWVkIGJ5IGFuIGVhc2ls eSBhY2Nlc3NpYmxlIGFuZCB1c2FibGUKYmVuY2htYXJrIHN1Ym1pc3Npb24uIFBhcGVycyB3aWxs IGJlIGV2YWx1YXRlZCBieSBhIHNlcGFyYXRlIGJlbmNobWFyawpldmFsdWF0aW9uIHBhbmVsIHdo byB3aWxsIGFzc2VzIHRoZSBiZW5jaG1hcmtzIHJlbGV2YW5jZSwgY2xhcml0eSwgYW5kCnV0aWxp dHkgYXMgY29tbXVuaWNhdGVkIGJ5IHRoZSBzdWJtaXR0ZWQgcGFwZXIuCgpUaGUgUHJvZ3JhbSBD b21taXR0ZWUgb2YgUlYgMjAxOSB3aWxsIGdpdmUgYSBiZXN0IHBhcGVyIGF3YXJkLCBhbmQgYQpz ZWxlY3Rpb24gb2YgYWNjZXB0ZWQgcmVndWxhciBwYXBlcnMgd2lsbCBiZSBpbnZpdGVkIHRvIGFw cGVhciBpbiBhCnNwZWNpYWwgam91cm5hbCBpc3N1ZS4KCiMgVHV0b3JpYWwgVHJhY2sKClR1dG9y aWFscyBhcmUgdHdvLXRvLXRocmVlLWhvdXIgcHJlc2VudGF0aW9ucyBvbiBhIHNlbGVjdGVkCnRv cGljLiBBZGRpdGlvbmFsbHksIHR1dG9yaWFsIHByZXNlbnRlcnMgd2lsbCBiZSBvZmZlcmVkIHRv IHB1Ymxpc2ggYQpwYXBlciBvZiB1cCB0byAyMCBwYWdlcyBpbiB0aGUgTE5DUyBjb25mZXJlbmNl IHByb2NlZWRpbmdzLiAgQQpwcm9wb3NhbCBmb3IgYSB0dXRvcmlhbCBtdXN0IGNvbnRhaW4gdGhl IHN1YmplY3Qgb2YgdGhlIHR1dG9yaWFsLCBhCnByb3Bvc2VkIHRpbWVsaW5lLCBhIG5vdGUgb24g cHJldmlvdXMgc2ltaWxhciB0dXRvcmlhbHMgKGlmCmFwcGxpY2FibGUpIGFuZCB0aGUgZGlmZmVy ZW5jZXMgdG8gdGhpcyBpbmNhcm5hdGlvbiwgYW5kIGEgYmlvZ3JhcGh5Cm9mIHRoZSBwcmVzZW50 ZXIuIFRoZSBwcm9wb3NhbCBtdXN0IG5vdCBleGNlZWQgMiBwYWdlcy4gVHV0b3JpYWwKcHJvcG9z YWxzIHdpbGwgYmUgcmV2aWV3ZWQgYnkgdGhlIFByb2dyYW0gQ29tbWl0dGVlLiAgSW1wb3J0YW50 IERhdGVzCgojIFdlYnNpdGUKCmh0dHBzOi8vd3d3LnJlYWN0LnVuaS1zYWFybGFuZC5kZS9ydjIw MTkvCgojIEltcG9ydGFudCBEYXRlcwoKQWJzdHJhY3QgZGVhZGxpbmU6ICAgICAgICAgICAgICAg IE1heSAyMSwgMjAxOQpQYXBlciBhbmQgdHV0b3JpYWwgZGVhZGxpbmU6IAkgIE1heSAyMSwgMjAx OQpQYXBlciBhbmQgdHV0b3JpYWwgbm90aWZpY2F0aW9uOiAgSnVseSAxLCAyMDE5CkNhbWVyYS1y ZWFkeSBkZWFkbGluZTogIAkgIEp1bHkgMTQsIDIwMTkKQ29uZmVyZW5jZTogCSAgICAgICAgICAg ICAgICAgIE9jdG9iZXIgOCAtIDExLCAyMDE5CgojIFByb2dyYW0gQ29tbWl0dGVlCgpXb2xmZ2Fu ZyBBaHJlbmR0LCBDaGFsbWVycyBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kKSG93YXJkIEJhcnJp bmdlciwgVGhlIFVuaXZlcnNpdHkgb2YgTWFuY2hlc3RlcgpFemlvIEJhcnRvY2NpLCBWaWVubmEg VW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5CkFuZHJlYXMgQmF1ZXIsIEtVS0EKRXJpYyBCb2RkZW4s IFBhZGVyYm9ybiBVbml2ZXJzaXR5IGFuZCBGcmF1bmhvZmVyIElFTQpCb3J6b28gQm9uYWtkYXJw b3VyLCBJb3dhIFN0YXRlIFVuaXZlcnNpdHkKQ2hyaXN0aWFuIENvbG9tYm8sIFVuaXZlcnNpdHkg b2YgTWFsdGEKWWxpZXMgRmFsY29uZSwgVW5pdi4gR3Jlbm9ibGUgQWxwZXMsIENOUlMsIElucmlh Ckx1IEZlbmcsIFVuaXZlcnNpdHkgb2YgVmlyZ2luaWEKQmVybmQgRmlua2JlaW5lciwgU2Fhcmxh bmQgVW5pdmVyc2l0eQpBZHJpYW4gRnJhbmNhbGFuemEsIFVuaXZlcnNpdHkgb2YgTWFsdGEKUmFk dSBHcm9zdSwgVFUgVmllbm5hClN5bHZhaW4gSGFsbMOpLCBVbml2ZXJzaXTDqSBkdSBRdcOpYmVj IMOgIENoaWNvdXRpbWkKS2xhdXMgSGF2ZWx1bmQsIEpldCBQcm9wdWxzaW9uIExhYm9yYXRvcnkK Q2F0YWxpbiBIcml0Y3UsCUlOUklBCkZlbGl4IEtsYWVkdGtlLCBORUMgTGFicyBFdXJvcGUKQXhl bCBMZWdheSwgVUNMb3V2YWluCkRhdmlkIExvLCBTaW5nYXBvcmUgTWFuYWdlbWVudCBVbml2ZXJz aXR5Ckxlb25hcmRvIE1hcmlhbmksIFVuaXZlcnNpdHkgb2YgTWlsYW5vIEJpY29jY2EKVml2aWFu YSBNYXNjYXJkaSwgRElCUklTLCBVbml2ZXJzaXR5IG9mIEdlbm92YQpEZWphbiBOaWNrb3ZpYywg QXVzdHJpYW4gSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3kgQUlUCkF5b3ViIE5vdXJpLCBWZXJpbWFn CkdvcmRvbiBQYWNlLCBVbml2ZXJzaXR5IG9mIE1hbHRhCkRvcm9uIFBlbGVkLCBCYXIgSWxhbiBV bml2ZXJzaXR5CkthIEkgUHVuLCBXZXN0ZXJuIE5vcndheSBVbml2ZXJzaXR5IG9mIEFwcGxpZWQg U2NpZW5jZXMKSm9yZ2UgQS4gUMOpcmV6LCBVbml2ZXJzaXR5IG9mIEdyb25pbmdlbgpHaWxlcyBS ZWdlciwgVGhlIFVuaXZlcnNpdHkgb2YgTWFuY2hlc3RlcgpHcmlnb3JlIFJvc3UsIFVuaXZlcnNp dHkgb2YgSWxsaW5vaXMgYXQgVXJiYW5hLUNoYW1wYWlnbgpLcmlzdGluIFl2b25uZSBSb3ppZXIs IElvd2EgU3RhdGUgVW5pdmVyc2l0eQpDZXNhciBTYW5jaGV6LCBJTURFQSBTb2Z0d2FyZSBJbnN0 aXR1dGUKR2VyYXJkbwlTY2huZWlkZXIsIFVuaXZlcnNpdHkgb2YgR290aGVuYnVyZwpOYXN0YXJh biBTaGFmaWVpLCBOQVNBIEFtZXMgUmVzZWFyY2ggQ2VudGVyL1NHVApKdWxpZW4gU2lnbm9sZXMs IENFQSBMSVNUClNjb3R0IFNtb2xrYSwgU3RvbnkgQnJvb2sgVW5pdmVyc2l0eQpPbGVnIFNva29s c2t5LCBVbml2ZXJzaXR5IG9mIFBlbm5zeWx2YW5pYQpCZXJuaGFyZCBTdGVmZmVuLCBVbml2IERv cnRtdW5kClNjb3R0IFN0b2xsZXIsIFN0b255IEJyb29rIFVuaXZlcnNpdHkKVm9sa2VyIFN0b2x6 LCBIw7hnc2t1bGVuIHDDpSBWZXN0bGFuZGV0Ck5laWwgV2Fsa2luc2hhdywgVGhlIFVuaXZlcnNp dHkgb2YgU2hlZmZpZWxkCkNoYW8gV2FuZywgVW5pdmVyc2l0eSBvZiBTb3V0aGVybiBDYWxpZm9y bmlhClhpYW5neXUgWmhhbmcsIFB1cmR1ZSBVbml2ZXJzaXR5CgoK