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 ESMTPS id 03F0B2DF6 for ; Fri, 22 Mar 2019 05:35:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,255,1549926000"; d="scan'208";a="375207808" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Mar 2019 06:35:27 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id DEAE782649; Fri, 22 Mar 2019 06:35:27 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7060E7F61F for ; Fri, 22 Mar 2019 03:06:30 +0100 (CET) Authentication-Results: mail2-smtp-roc.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=3ATFIhNhcbSTWlejxbI8vAhfCWlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc25ZByN2/xhgRfzUJnB7Loc0qyK6vimBjRLvc7JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQm6oR/Tu8UKjodvJbo9wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMTMy7WPZhdFqjK9DoByvugJxzY3abo6bO/Rxcb/SfcsYSGRDUMtdSzZBDZ2n?= =?us-ascii?q?b4YUE+oOJvxVo5Xhq1YArxazAxSnCuP1yj9Pg3/7xao03P47EQHa3QwgGc8Fvn?= =?us-ascii?q?LKo9XoKKgSUv66zLPVxjjEa/NZxyr955TLch8/u/GBRrNwcdHJyUU1CgPFiFSQ?= =?us-ascii?q?pZXhPzOIyOsCqHaU4PZjVe61lmEotRh8rz6yzckijYnJg5gaylHC9Shh3ok6P8?= =?us-ascii?q?a4SU5nbt6kCpRQtjuaO5FxQsM4TGFkoDw6yqAAuZ6nfSgKzYooywfBa/OZaYiI?= =?us-ascii?q?4xzjVOeNLjhimHJlebW/hxCo/Uin0O38WdG40EtMripEi9XMrWoC2AbJ6siDUP?= =?us-ascii?q?R9+Fqu1SyS2A/N8u1EOlg0lbDaK54nzb4/iIATvV7eESDonkj9kayYdl089+S1?= =?us-ascii?q?5Onrf6/qq5ySOoNulw3yL6cjltaiDeglLgQCR2yW9Oqm2LH94UH0T69GguA3n6?= =?us-ascii?q?TYqpzWONgXq6q/DgRIyIgs8Qy/AC2j0NkAnXkIMlZFeBWfgojtOlHOJuv4Deml?= =?us-ascii?q?g1ixjDtn3fHGPqb5ApnXM3jDlrbhca95605B1gU81s5Q6I5XCr0bPf38RFf9tN?= =?us-ascii?q?3eDhAnLwy52/vrBdpg2o8EWm+CDLWVPL7PvVKL/O4jPvSAaJMNtDb4Mfcl5vru?= =?us-ascii?q?jXEjmV8aeKmkxYcYaHe+HvRoPUqZe2TjgtEdHmgUpwYxVurqiFuFUT5OYXa9Q7?= =?us-ascii?q?wz6iggB4KhEIfDQJyij6Ka3CqgH51WfXhGBkqREXfudoWIQvMMaD+MLcB6jDML?= =?us-ascii?q?SbuhR5U82h6wrAP60aZoLvLI+i0EspLuzMR66PfWlRE27DB0C8Wd03qRT2xvhW?= =?us-ascii?q?MJRzo23LhlrkBny1eD17J4g/1CGtBJ6fNJSB8wNYTAwOxiF9DyRgXBc8+JSFa7?= =?us-ascii?q?XNqmHSo8T9Mww98LeEl9Ac+tggrC3yqsGb8VlqaECIY68qLGx3LxPdpyy27a1K?= =?us-ascii?q?k9iFkrWs9POnO4hq9/7AXSBo/Jk0CCmKawb6sQxi/N9GGZzWqPpk5USgBwUb+W?= =?us-ascii?q?FU0ZfVbc+NTl+lvZHfjpFqs4dApa0YifLKoPbsDkh1hNR7HvNZPbamO1nm62Qh?= =?us-ascii?q?GQ2rKLapGtcGIb0ijHBU4PnkUa+3CBKA41C3ScpXnDBmlrHFPrf0S++u54pn6h?= =?us-ascii?q?Q0k/wkSDaUtmyry+91sPiOWBRugP9rMfoGE8rTQxGEuw1d/dCJyMql16Ya9ebN?= =?us-ascii?q?ghtUpBzn/TrAdnP5atfJxl01UZdQp6pU7o3BgyA4NGltUsp34CzRFqb7+e0RZF?= =?us-ascii?q?aj6S0JvzfLHaeVP/5BS+V6mD0Vjf1tiR0qYU8LIlrVSmuBykHEcp8DNr3op7yX?= =?us-ascii?q?yZs7DDFhYTV9rVX1s89BVg7+XebzQ25I7O/Xx3Ke+ptD6H388kDuYuyVCscoEM?= =?us-ascii?q?Y+u/CAbuHphCVICVI+swlg3xN0NWDKVp7KcxevieWb6D0a+vMvxnmWj+32Vc+M?= =?us-ascii?q?Zg1EPJ8zdxQOPD3NAJzqPAh1fVZ3LHlF6k9/vPt8VcfzhIRji+0jCiGYhQI6lv?= =?us-ascii?q?cIwGAmToL8Dlnowj1a6oYGZR8RuYP31D2MKtfkDDPVj82xZOzx1P5328gW2lyT?= =?us-ascii?q?0xlywkpKeU32rCzra6eQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AGEgDCQpRcfW52U41jHAEBAR8EAQEFA?= =?us-ascii?q?QGBToEpE4E7gRcThA6Ie6cQGAsJgUuDDoRdGgYGNBIBAQMBAQkBAwEBARMBAQs?= =?us-ascii?q?UCEwMgjoFAgMYDoJoAhoGEQwBAQQKGAUFCAIDAQIGAiQCGAoEAgICAUQjCAEBA?= =?us-ascii?q?Q+DDgGBdgMLqTVxgS+CeAEBBYExAYEEEYRnCIELJAEBAQEBiy0XgX+BESeBVoF?= =?us-ascii?q?TgQRPdQ4LAwEYgSCDMYJXiigYgi6XPmAJgSaGPYtPH4sYiFyDRIUEgk2GA41Jg?= =?us-ascii?q?S03gXczGggcFDuBToEeCYIZhAmEYYVAPwExAXqKc1aBdwEB?= X-IPAS-Result: =?us-ascii?q?A0AGEgDCQpRcfW52U41jHAEBAR8EAQEFAQGBToEpE4E7gRc?= =?us-ascii?q?ThA6Ie6cQGAsJgUuDDoRdGgYGNBIBAQMBAQkBAwEBARMBAQsUCEwMgjoFAgMYD?= =?us-ascii?q?oJoAhoGEQwBAQQKGAUFCAIDAQIGAiQCGAoEAgICAUQjCAEBAQ+DDgGBdgMLqTV?= =?us-ascii?q?xgS+CeAEBBYExAYEEEYRnCIELJAEBAQEBiy0XgX+BESeBVoFTgQRPdQ4LAwEYg?= =?us-ascii?q?SCDMYJXiigYgi6XPmAJgSaGPYtPH4sYiFyDRIUEgk2GA41JgS03gXczGggcFDu?= =?us-ascii?q?BToEeCYIZhAmEYYVAPwExAXqKc1aBdwEB?= X-IronPort-AV: E=Sophos;i="5.60,255,1549926000"; d="scan'208";a="375189485" X-MGA-submission: =?us-ascii?q?MDG/y0D1tpaX1i8mQbZW7b5t28mfp4dgoErJ38?= =?us-ascii?q?8Lh+RG2C9NcY/gvFlNu8eqXEFpCKt77BueinSrFBMSolK5a/sP4pND4J?= =?us-ascii?q?S5Z2fc6zi9N7TCA4mcZzsNLYWAB6aJVhsAfbiijRp/4fHTdHHsPEv7U+?= =?us-ascii?q?Tu5VWVKVGl/8WgcLtyRoruKQ=3D=3D?= Received: from linsvr10.isp.uni-luebeck.de ([141.83.118.110]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Mar 2019 03:06:09 +0100 Received: from localhost (localhost [127.0.0.1]) by linsvr10.isp.uni-luebeck.de (Postfix) with ESMTP id DE62D604D2B3F; Fri, 22 Mar 2019 03:06:07 +0100 (CET) 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 KbY5h1y06Bou; Fri, 22 Mar 2019 03:06:07 +0100 (CET) Received: from linsvr10.isp.uni-luebeck.de (localhost [IPv6:::1]) by linsvr10.isp.uni-luebeck.de (Postfix) with ESMTP id B9073600624ED; Fri, 22 Mar 2019 03:00:53 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.11.0 linsvr10.isp.uni-luebeck.de B9073600624ED DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=isp.uni-luebeck.de; s=20112017; t=1553220366; bh=hw8a8zOvVO9i+uTdkdtmmQrNsMr+A/iHWy9eidlq780=; h=From:Subject:To:Date:List-Id:List-Unsubscribe:List-Help: List-Subscribe:Reply-To:From; b=txP4/S+pdq5FqMLPFT/o6XsWasBQPA0qFd3/i9cwB2oLkVMAEs35i3PhOJhc3AD9m VimeQwsG9HdC/7OThKcmAhgl7L/qThJePORPwEnLJGPYnLfwl8f0pP+iSLjy+SGnY4 e13uFewkW6onyd9LSrxQWiPxHpyMT2yFohPFOztqp2zgD1o1Cg7tLjygkWYS+e0FgF 9qg/VZnE6y1b03BbpJkQJsu2WefR7hMKenHTvNmBmmf8WYklKXbPuvjx5F8XXME29w hZCt05vr/vbybmW7dELwtedmEwlVaeJoPIP2YoRaSxSa+VEex4EvVSn5J+A0HO8NEB FHmOQdBgjcBHg== Received: from localhost (localhost [127.0.0.1]) by linsvr10.isp.uni-luebeck.de (Postfix) with ESMTP id A27E0603E2B8F for ; Thu, 21 Mar 2019 19:55:50 +0100 (CET) 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 Nd0QhATPt6mv for ; Thu, 21 Mar 2019 19:55:50 +0100 (CET) Received: from MBP13inlt3Ports.fritz.box (p5DCCA66D.dip0.t-ipconnect.de [93.204.166.109]) (Authenticated sender: leucker) by linsvr10.isp.uni-luebeck.de (Postfix) with ESMTPSA id 242FA603E2A46 for ; Thu, 21 Mar 2019 19:55:50 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.11.0 linsvr10.isp.uni-luebeck.de 242FA603E2A46 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=isp.uni-luebeck.de; s=20112017; t=1553194550; bh=N2XixFQTWhiTwOtVM1xLXK8Cj89HKLxSaN3M0yRsig0=; h=From:Subject:To:Date:From; b=zCDMLeW96ZBNq+a5GdOSnTf7Oq0it03R3cZKYrTatfpK/WkGVPjLKp+02UoPf7Q7g ZPmkZJIkXPsP/raSd8G4V2+TEack3FtGfs3Dhy0wGAPz2XKZx4aE1iZ9I5PbFD1BIP OCNi3wB7HJR+iUTVHsUArjMO4xmb8QixhIXadmRbrK6klR0jAkgD199whnyawdt8ET BdZft9Dmgmx2D1OIQC9PiwnwSetUlLaUExDzju45z72SvQKq2u6gvPbP7nQRkTElDq pC2NWuTZIS22WYAvEP/LbqzOhL6IUbJBXfp7j2mpPMIWFi+kezZOm7XcK/h74b/OWN EGziRojvUQAZA== From: Martin Leucker To: conference-announce@isp.uni-luebeck.de Message-ID: Date: Thu, 21 Mar 2019 19:55:49 +0100 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 X-Loop: caml-list@inria.fr X-Sequence: 17428 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: CgogICAgICAgICAgICAgICAgICBbIEFwb2xvZ2l6ZSBmb3IgTXVsdGlwbGUgQ29waWVzIF0KCkNh bGwgZm9yIFBhcGVycwoKUlYgMjAxOQoKMTl0aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24g UnVudGltZSBWZXJpZmljYXRpb24KUG9ydG8sIFBvcnR1Z2FsCk9jdG9iZXIgOC0xMSwgMjAxOQoK QWJzdHJhY3QgZGVhZGxpbmU6IEFwcmlsIDI1LCAyMDE5ClBhcGVyIGFuZCB0dXRvcmlhbCBkZWFk bGluZTogQXByaWwgMzAsIDIwMTkKCk5FVyBJTiAyMDE5OiBCZW5jaG1hcmsgUGFwZXJzIFRyYWNr CgpodHRwczovL3d3dy5yZWFjdC51bmktc2FhcmxhbmQuZGUvcnYyMDE5LwoKIyBTY29wZQoKUnVu dGltZSB2ZXJpZmljYXRpb24gaXMgY29uY2VybmVkIHdpdGggdGhlIG1vbml0b3JpbmcgYW5kIGFu YWx5c2lzIG9mCnRoZSBydW50aW1lIGJlaGF2aW91ciBvZiBzb2Z0d2FyZSBhbmQgaGFyZHdhcmUg c3lzdGVtcy4gUnVudGltZQp2ZXJpZmljYXRpb24gdGVjaG5pcXVlcyBhcmUgY3J1Y2lhbCBmb3Ig c3lzdGVtIGNvcnJlY3RuZXNzLApyZWxpYWJpbGl0eSwgYW5kIHJvYnVzdG5lc3M7IHRoZXkgcHJv dmlkZSBhbiBhZGRpdGlvbmFsIGxldmVsIG9mIHJpZ29yCmFuZCBlZmZlY3RpdmVuZXNzIGNvbXBh cmVkIHRvIGNvbnZlbnRpb25hbCB0ZXN0aW5nLCBhbmQgYXJlIGdlbmVyYWxseQptb3JlIHByYWN0 aWNhbCB0aGFuIGV4aGF1c3RpdmUgZm9ybWFsIHZlcmlmaWNhdGlvbi4gUnVudGltZQp2ZXJpZmlj YXRpb24gY2FuIGJlIHVzZWQgcHJpb3IgdG8gZGVwbG95bWVudCwgZm9yIHRlc3RpbmcsCnZlcmlm aWNhdGlvbiwgYW5kIGRlYnVnZ2luZyBwdXJwb3NlcywgYW5kIGFmdGVyIGRlcGxveW1lbnQgZm9y CmVuc3VyaW5nIHJlbGlhYmlsaXR5LCBzYWZldHksIGFuZCBzZWN1cml0eSBhbmQgZm9yIHByb3Zp ZGluZyBmYXVsdApjb250YWlubWVudCBhbmQgcmVjb3ZlcnkgYXMgd2VsbCBhcyBvbmxpbmUgc3lz dGVtIHJlcGFpci4KClRvcGljcyBvZiBpbnRlcmVzdCB0byB0aGUgY29uZmVyZW5jZSBpbmNsdWRl LCBidXQgYXJlIG5vdCBsaW1pdGVkIHRvOgoKKiBzcGVjaWZpY2F0aW9uIGxhbmd1YWdlcyBmb3Ig bW9uaXRvcmluZwoqIG1vbml0b3IgY29uc3RydWN0aW9uIHRlY2huaXF1ZXMKKiBwcm9ncmFtIGlu c3RydW1lbnRhdGlvbgoqIGxvZ2dpbmcsIHJlY29yZGluZywgYW5kIHJlcGxheQoqIGNvbWJpbmF0 aW9uIG9mIHN0YXRpYyBhbmQgZHluYW1pYyBhbmFseXNpcwoqIHNwZWNpZmljYXRpb24gbWluaW5n IGFuZCBtYWNoaW5lIGxlYXJuaW5nIG92ZXIgcnVudGltZSB0cmFjZXMKKiBtb25pdG9yaW5nIHRl Y2huaXF1ZXMgZm9yIGNvbmN1cnJlbnQgYW5kIGRpc3RyaWJ1dGVkIHN5c3RlbXMKKiBydW50aW1l IGNoZWNraW5nIG9mIHByaXZhY3kgYW5kIHNlY3VyaXR5IHBvbGljaWVzCiogbWV0cmljcyBhbmQg c3RhdGlzdGljYWwgaW5mb3JtYXRpb24gZ2F0aGVyaW5nCiogcHJvZ3JhbS9zeXN0ZW0gZXhlY3V0 aW9uIHZpc3VhbGl6YXRpb24KKiBmYXVsdCBsb2NhbGl6YXRpb24sIGNvbnRhaW5tZW50LCByZWNv dmVyeSBhbmQgcmVwYWlyCiogZHluYW1pYyB0eXBlIGNoZWNraW5nCgpBcHBsaWNhdGlvbiBhcmVh cyBvZiBydW50aW1lIHZlcmlmaWNhdGlvbiBpbmNsdWRlIGN5YmVyLXBoeXNpY2FsCnN5c3RlbXMs IHNhZmV0eS9taXNzaW9uIGNyaXRpY2FsIHN5c3RlbXMsIGVudGVycHJpc2UgYW5kIHN5c3RlbXMK c29mdHdhcmUsIGNsb3VkIHN5c3RlbXMsIGF1dG9ub21vdXMgYW5kIHJlYWN0aXZlIGNvbnRyb2wg c3lzdGVtcywKaGVhbHRoIG1hbmFnZW1lbnQgYW5kIGRpYWdub3NpcyBzeXN0ZW1zLCBhbmQgc3lz dGVtIHNlY3VyaXR5IGFuZApwcml2YWN5LgoKQW4gb3ZlcnZpZXcgb2YgcHJldmlvdXMgUlYgY29u ZmVyZW5jZXMgYW5kIGVhcmxpZXIgd29ya3Nob3BzIGNhbiBiZQpmb3VuZCBhdDogaHR0cDovL3d3 dy5ydW50aW1lLXZlcmlmaWNhdGlvbi5vcmcuCgojIFN1Ym1pc3Npb25zCgpBbGwgcGFwZXJzIGFu ZCB0dXRvcmlhbHMgd2lsbCBhcHBlYXIgaW4gdGhlIGNvbmZlcmVuY2UgcHJvY2VlZGluZ3MgaW4K YW4gTE5DUyB2b2x1bWUuIFN1Ym1pdHRlZCBwYXBlcnMgYW5kIHR1dG9yaWFscyBtdXN0IHVzZSB0 aGUKTE5DUy9TcHJpbmdlciBzdHlsZSBkZXRhaWxlZCBoZXJlOgoKaHR0cDovL3d3dy5zcHJpbmdl ci5kZS9jb21wL2xuY3MvYXV0aG9ycy5odG1sCgpQYXBlcnMgbXVzdCBiZSBvcmlnaW5hbCB3b3Jr IGFuZCBub3QgYmUgc3VibWl0dGVkIGZvciBwdWJsaWNhdGlvbgplbHNld2hlcmUuIFBhcGVycyBt dXN0IGJlIHdyaXR0ZW4gaW4gRW5nbGlzaCBhbmQgc3VibWl0dGVkCmVsZWN0cm9uaWNhbGx5IChp biBQREYgZm9ybWF0KSB1c2luZyB0aGUgRWFzeUNoYWlyIHN1Ym1pc3Npb24gcGFnZQpoZXJlOgoK aHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPXJ2MTkKClRoZSBwYWdlIGxp bWl0YXRpb25zIG1lbnRpb25lZCBiZWxvdyBpbmNsdWRlIGFsbCB0ZXh0IGFuZCBmaWd1cmVzLCBi dXQKZXhjbHVkZSByZWZlcmVuY2VzLiBBZGRpdGlvbmFsIGRldGFpbHMgb21pdHRlZCBkdWUgdG8g c3BhY2UKbGltaXRhdGlvbnMgbWF5IGJlIGluY2x1ZGVkIGluIGEgY2xlYXJseSBtYXJrZWQgYXBw ZW5kaXgsIHRoYXQgd2lsbCBiZQpyZXZpZXdlZCBhdCB0aGUgZGlzY3JldGlvbiBvZiByZXZpZXdl cnMsIGJ1dCBub3QgaW5jbHVkZWQgaW4gdGhlCnByb2NlZWRpbmdzLgoKQXQgbGVhc3Qgb25lIGF1 dGhvciBvZiBlYWNoIGFjY2VwdGVkIHBhcGVyIGFuZCB0dXRvcmlhbCBtdXN0IGF0dGVuZCBSVgoy MDE5IHRvIHByZXNlbnQuCgojIFBhcGVycwoKVGhlcmUgYXJlIGZvdXIgY2F0ZWdvcmllcyBvZiBw YXBlcnMgd2hpY2ggY2FuIGJlIHN1Ym1pdHRlZDogcmVndWxhciwKc2hvcnQsIHRvb2wgZGVtbywg YW5kIGJlbmNobWFyayBwYXBlcnMuIFBhcGVycyBpbiBlYWNoIGNhdGVnb3J5IHdpbGwKYmUgcmV2 aWV3ZWQgYnkgYXQgbGVhc3QgMyBtZW1iZXJzIG9mIHRoZSBQcm9ncmFtIENvbW1pdHRlZS4KCiog UmVndWxhciBQYXBlcnMgKHVwIHRvIDE1IHBhZ2VzLCBub3QgaW5jbHVkaW5nIHJlZmVyZW5jZXMp IHNob3VsZApwcmVzZW50IG9yaWdpbmFsIHVucHVibGlzaGVkIHJlc3VsdHMuIFdlIHdlbGNvbWUg dGhlb3JldGljYWwgcGFwZXJzLApzeXN0ZW0gcGFwZXJzLCBwYXBlcnMgZGVzY3JpYmluZyBkb21h aW4tc3BlY2lmaWMgdmFyaWFudHMgb2YgUlYsIGFuZApjYXNlIHN0dWRpZXMgb24gcnVudGltZSB2 ZXJpZmljYXRpb24uCgoqIFNob3J0IFBhcGVycyAodXAgdG8gNiBwYWdlcywgbm90IGluY2x1ZGlu ZyByZWZlcmVuY2VzKSBtYXkgcHJlc2VudApub3ZlbCBidXQgbm90IG5lY2Vzc2FyaWx5IHRob3Jv dWdobHkgd29ya2VkIG91dCBpZGVhcywgZm9yIGV4YW1wbGUKZW1lcmdpbmcgcnVudGltZSB2ZXJp ZmljYXRpb24gdGVjaG5pcXVlcyBhbmQgYXBwbGljYXRpb25zLCBvcgp0ZWNobmlxdWVzIGFuZCBh cHBsaWNhdGlvbnMgdGhhdCBlc3RhYmxpc2ggcmVsYXRpb25zaGlwcyBiZXR3ZWVuCnJ1bnRpbWUg dmVyaWZpY2F0aW9uIGFuZCBvdGhlciBkb21haW5zLgoKKiBUb29sIERlbW9uc3RyYXRpb24gUGFw ZXJzICh1cCB0byA4IHBhZ2VzLCBub3QgaW5jbHVkaW5nIHJlZmVyZW5jZXMpCnNob3VsZCBwcmVz ZW50IGEgbmV3IHRvb2wsIGEgbmV3IHRvb2wgY29tcG9uZW50LCBvciBub3ZlbCBleHRlbnNpb25z CnRvIGV4aXN0aW5nIHRvb2xzIHN1cHBvcnRpbmcgcnVudGltZSB2ZXJpZmljYXRpb24uIFRoZSBw YXBlciBtdXN0CmluY2x1ZGUgaW5mb3JtYXRpb24gb24gdG9vbCBhdmFpbGFiaWxpdHksIG1hdHVy aXR5LCBzZWxlY3RlZApleHBlcmltZW50YWwgcmVzdWx0cyBhbmQgaXQgc2hvdWxkIHByb3ZpZGUg YSBsaW5rIHRvIGEgd2Vic2l0ZQpjb250YWluaW5nIHRoZSB0aGVvcmV0aWNhbCBiYWNrZ3JvdW5k IGFuZCB1c2VyIGd1aWRlLiBGdXJ0aGVybW9yZSwgd2UKc3Ryb25nbHkgZW5jb3VyYWdlIGF1dGhv cnMgdG8gbWFrZSB0aGVpciB0b29scyBhbmQgYmVuY2htYXJrcwphdmFpbGFibGUgd2l0aCB0aGVp ciBzdWJtaXNzaW9uLgoKKiBCZW5jaG1hcmsgUGFwZXJzICh1cCB0byAxMCBwYWdlcywgbm90IGlu Y2x1ZGluZyByZWZlcmVuY2VzLCBORVcgSU4KMjAxOSkgc2hvdWxkIGRlc2NyaWJlIGEgYmVuY2ht YXJrLCBzdWl0ZSBvZiBiZW5jaG1hcmtzLCBvciBiZW5jaG1hcmsKZ2VuZXJhdG9yIHVzZWZ1bCBm b3IgZXZhbHVhdGluZyBSViB0b29scy4gUGFwZXJzIHdpbGwgc2hvdWxkIGluY2x1ZGUKaW5mb3Jt YXRpb24gYXMgdG8gd2hhdCB0aGUgYmVuY2htYXJrIGNvbnNpc3RzIG9mIGFuZCBpdHMgcHVycG9z ZSAod2hhdAppcyB0aGUgZG9tYWluKSwgaG93IHRvIG9idGFpbiBhbmQgdXNlIHRoZSBiZW5jaG1h cmssIGFuIGFyZ3VtZW50IGZvcgp0aGUgdXNlZnVsbmVzcyBvZiB0aGUgYmVuY2htYXJrIHRvIHRo ZSBicm9hZGVyIFJWIGNvbW11bml0eSwgYW5kIG1heQppbmNsdWRlIGFueSBleGlzdGluZyByZXN1 bHRzIHByb2R1Y2VkIHVzaW5nIHRoZSBiZW5jaG1hcmsuIFdlIGFyZQppbnRlcmVzdGVkIGluIGJv dGggYmVuY2htYXJrcyBwZXJ0YWluaW5nIHRvIHJlYWwtd29ybGQgc2NlbmFyaW9zIGFuZAp0aG9z ZSBjb250YWluaW5nIHN5bnRoZXRpYyBkYXRhIGRlc2lnbmVkIHRvIGFjaGlldmUgaW50ZXJlc3Rp bmcKcHJvcGVydGllcy4gQnJvYWRlciBkZWZpbml0aW9ucyBvZiBiZW5jaG1hcmsgZS5nLiBmb3Ig Z2VuZXJhdGluZwpzcGVjaWZpY2F0aW9ucyBmcm9tIGRhdGEgb3IgZGlhZ25vc2luZyBmYXVsdHMg YXJlIHdpdGhpbgpzY29wZS4gRmluYWxseSwgd2UgZW5jb3VyYWdlIGJ1dCBkbyBub3QgcmVxdWly ZSBiZW5jaG1hcmtzIHRoYXQgYXJlCnRvb2wgYWdub3N0aWMgKGVzcGVjaWFsbHkgdGhvc2UgdGhh dCBoYXZlIGJlZW4gdXNlZCB0byBldmFsdWF0ZQptdWx0aXBsZSB0b29scyksIGxhYmVsbGVkIGJl bmNobWFya3Mgd2l0aCByaWdvcm91cyBhcmd1bWVudHMgZm9yCmNvcnJlY3RuZXNzIG9mIGxhYmVs cywgYW5kIGJlbmNobWFya3MgdGhhdCBhcmUgZGVtb25zdHJhYmx5CmNoYWxsZW5naW5nIHdpdGgg cmVzcGVjdCB0byB0aGUgc3RhdGUtb2YtdGhlLWFydCB0b29scy4gQmVuY2htYXJrCnBhcGVycyBt dXN0IGJlIGFjY29tcGFuaWVkIGJ5IGFuIGVhc2lseSBhY2Nlc3NpYmxlIGFuZCB1c2FibGUKYmVu Y2htYXJrIHN1Ym1pc3Npb24uIFBhcGVycyB3aWxsIGJlIGV2YWx1YXRlZCBieSBhIHNlcGFyYXRl IGJlbmNobWFyawpldmFsdWF0aW9uIHBhbmVsIHdobyB3aWxsIGFzc2VzIHRoZSBiZW5jaG1hcmtz IHJlbGV2YW5jZSwgY2xhcml0eSwgYW5kCnV0aWxpdHkgYXMgY29tbXVuaWNhdGVkIGJ5IHRoZSBz dWJtaXR0ZWQgcGFwZXIuCgpUaGUgUHJvZ3JhbSBDb21taXR0ZWUgb2YgUlYgMjAxOSB3aWxsIGdp dmUgYSBiZXN0IHBhcGVyIGF3YXJkLCBhbmQgYQpzZWxlY3Rpb24gb2YgYWNjZXB0ZWQgcmVndWxh ciBwYXBlcnMgd2lsbCBiZSBpbnZpdGVkIHRvIGFwcGVhciBpbiBhCnNwZWNpYWwgam91cm5hbCBp c3N1ZS4KCiMgVHV0b3JpYWwgVHJhY2sKClR1dG9yaWFscyBhcmUgdHdvLXRvLXRocmVlLWhvdXIg cHJlc2VudGF0aW9ucyBvbiBhIHNlbGVjdGVkCnRvcGljLiBBZGRpdGlvbmFsbHksIHR1dG9yaWFs IHByZXNlbnRlcnMgd2lsbCBiZSBvZmZlcmVkIHRvIHB1Ymxpc2ggYQpwYXBlciBvZiB1cCB0byAy MCBwYWdlcyBpbiB0aGUgTE5DUyBjb25mZXJlbmNlIHByb2NlZWRpbmdzLiAgQQpwcm9wb3NhbCBm b3IgYSB0dXRvcmlhbCBtdXN0IGNvbnRhaW4gdGhlIHN1YmplY3Qgb2YgdGhlIHR1dG9yaWFsLCBh CnByb3Bvc2VkIHRpbWVsaW5lLCBhIG5vdGUgb24gcHJldmlvdXMgc2ltaWxhciB0dXRvcmlhbHMg KGlmCmFwcGxpY2FibGUpIGFuZCB0aGUgZGlmZmVyZW5jZXMgdG8gdGhpcyBpbmNhcm5hdGlvbiwg YW5kIGEgYmlvZ3JhcGh5Cm9mIHRoZSBwcmVzZW50ZXIuIFRoZSBwcm9wb3NhbCBtdXN0IG5vdCBl eGNlZWQgMiBwYWdlcy4gVHV0b3JpYWwKcHJvcG9zYWxzIHdpbGwgYmUgcmV2aWV3ZWQgYnkgdGhl IFByb2dyYW0gQ29tbWl0dGVlLiAgSW1wb3J0YW50IERhdGVzCgojIFdlYnNpdGUKCmh0dHBzOi8v d3d3LnJlYWN0LnVuaS1zYWFybGFuZC5kZS9ydjIwMTkvCgojIEltcG9ydGFudCBEYXRlcwoKQWJz dHJhY3QgZGVhZGxpbmU6ICAgICAgICAgICAgICAgIEFwcmlsIDI1LCAyMDE5ClBhcGVyIGFuZCB0 dXRvcmlhbCBkZWFkbGluZTogCSAgQXByaWwgMzAsIDIwMTkKUGFwZXIgYW5kIHR1dG9yaWFsIG5v dGlmaWNhdGlvbjogIEp1bmUgMTQsIDIwMTkKQ2FtZXJhLXJlYWR5IGRlYWRsaW5lOiAgCSAgSnVs eSAxNCwgMjAxOQpDb25mZXJlbmNlOiAJICAgICAgICAgICAgICAgICAgT2N0b2JlciA4IC0gMTEs IDIwMTkKCiMgUHJvZ3JhbSBDb21taXR0ZWUKCldvbGZnYW5nIEFocmVuZHQsIENoYWxtZXJzIFVu aXZlcnNpdHkgb2YgVGVjaG5vbG9neQpIb3dhcmQgQmFycmluZ2VyLCBUaGUgVW5pdmVyc2l0eSBv ZiBNYW5jaGVzdGVyCkV6aW8gQmFydG9jY2ksIFZpZW5uYSBVbml2ZXJzaXR5IG9mIFRlY2hub2xv Z3kKQW5kcmVhcyBCYXVlciwgS1VLQQpFcmljIEJvZGRlbiwgUGFkZXJib3JuIFVuaXZlcnNpdHkg YW5kIEZyYXVuaG9mZXIgSUVNCkJvcnpvbyBCb25ha2RhcnBvdXIsIElvd2EgU3RhdGUgVW5pdmVy c2l0eQpDaHJpc3RpYW4gQ29sb21ibywgVW5pdmVyc2l0eSBvZiBNYWx0YQpZbGllcyBGYWxjb25l LCBVbml2LiBHcmVub2JsZSBBbHBlcywgQ05SUywgSW5yaWEKTHUgRmVuZywgVW5pdmVyc2l0eSBv ZiBWaXJnaW5pYQpCZXJuZCBGaW5rYmVpbmVyLCBTYWFybGFuZCBVbml2ZXJzaXR5CkFkcmlhbiBG cmFuY2FsYW56YSwgVW5pdmVyc2l0eSBvZiBNYWx0YQpSYWR1IEdyb3N1LCBUVSBWaWVubmEKU3ls dmFpbiBIYWxsw6ksIFVuaXZlcnNpdMOpIGR1IFF1w6liZWMgw6AgQ2hpY291dGltaQpLbGF1cyBI YXZlbHVuZCwgSmV0IFByb3B1bHNpb24gTGFib3JhdG9yeQpDYXRhbGluIEhyaXRjdSwJSU5SSUEK RmVsaXggS2xhZWR0a2UsIE5FQyBMYWJzIEV1cm9wZQpBeGVsIExlZ2F5LCBVQ0xvdXZhaW4KRGF2 aWQgTG8sIFNpbmdhcG9yZSBNYW5hZ2VtZW50IFVuaXZlcnNpdHkKTGVvbmFyZG8gTWFyaWFuaSwg VW5pdmVyc2l0eSBvZiBNaWxhbm8gQmljb2NjYQpWaXZpYW5hIE1hc2NhcmRpLCBESUJSSVMsIFVu aXZlcnNpdHkgb2YgR2Vub3ZhCkRlamFuIE5pY2tvdmljLCBBdXN0cmlhbiBJbnN0aXR1dGUgb2Yg VGVjaG5vbG9neSBBSVQKQXlvdWIgTm91cmksIFZlcmltYWcKR29yZG9uIFBhY2UsIFVuaXZlcnNp dHkgb2YgTWFsdGEKRG9yb24gUGVsZWQsIEJhciBJbGFuIFVuaXZlcnNpdHkKS2EgSSBQdW4sIFdl c3Rlcm4gTm9yd2F5IFVuaXZlcnNpdHkgb2YgQXBwbGllZCBTY2llbmNlcwpKb3JnZSBBLiBQw6ly ZXosIFVuaXZlcnNpdHkgb2YgR3JvbmluZ2VuCkdpbGVzIFJlZ2VyLCBUaGUgVW5pdmVyc2l0eSBv ZiBNYW5jaGVzdGVyCkdyaWdvcmUgUm9zdSwgVW5pdmVyc2l0eSBvZiBJbGxpbm9pcyBhdCBVcmJh bmEtQ2hhbXBhaWduCktyaXN0aW4gWXZvbm5lIFJvemllciwgSW93YSBTdGF0ZSBVbml2ZXJzaXR5 CkNlc2FyIFNhbmNoZXosIElNREVBIFNvZnR3YXJlIEluc3RpdHV0ZQpHZXJhcmRvCVNjaG5laWRl ciwgVW5pdmVyc2l0eSBvZiBHb3RoZW5idXJnCk5hc3RhcmFuIFNoYWZpZWksIE5BU0EgQW1lcyBS ZXNlYXJjaCBDZW50ZXIvU0dUCkp1bGllbiBTaWdub2xlcywgQ0VBIExJU1QKU2NvdHQgU21vbGth LCBTdG9ueSBCcm9vayBVbml2ZXJzaXR5Ck9sZWcgU29rb2xza3ksIFVuaXZlcnNpdHkgb2YgUGVu bnN5bHZhbmlhCkJlcm5oYXJkIFN0ZWZmZW4sIFVuaXYgRG9ydG11bmQKU2NvdHQgU3RvbGxlciwg U3RvbnkgQnJvb2sgVW5pdmVyc2l0eQpWb2xrZXIgU3RvbHosIEjDuGdza3VsZW4gcMOlIFZlc3Rs YW5kZXQKTmVpbCBXYWxraW5zaGF3LCBUaGUgVW5pdmVyc2l0eSBvZiBTaGVmZmllbGQKQ2hhbyBX YW5nLCBVbml2ZXJzaXR5IG9mIFNvdXRoZXJuIENhbGlmb3JuaWEKWGlhbmd5dSBaaGFuZywgUHVy ZHVlIFVuaXZlcnNpdHkKCgo=