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 sympa.inria.fr (Postfix) with ESMTPS id 29BA3823CC; Wed, 17 Jan 2018 22:13:48 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=caterina.urban@inf.ethz.ch; spf=None smtp.mailfrom=caterina.urban@inf.ethz.ch; spf=None smtp.helo=postmaster@edge20.ethz.ch Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of caterina.urban@inf.ethz.ch) identity=pra; client-ip=82.130.99.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="caterina.urban@inf.ethz.ch"; x-sender="caterina.urban@inf.ethz.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of caterina.urban@inf.ethz.ch) identity=mailfrom; client-ip=82.130.99.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="caterina.urban@inf.ethz.ch"; x-sender="caterina.urban@inf.ethz.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@edge20.ethz.ch) identity=helo; client-ip=82.130.99.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="caterina.urban@inf.ethz.ch"; x-sender="postmaster@edge20.ethz.ch"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AmSJTWBbhV7tU3Jh/Vc8K1AH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsu8bnLW6fgltlLVR4KTs6sC17KP9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCagbb9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjul8qdrTgLniC?= =?us-ascii?q?YcNzEl9GHXjddwg7xGrxm8oxByzJLYbISTOfFjfK3SYMkaSHJBUMhMSyxPDICy?= =?us-ascii?q?b4oTAOQOMulWsZLwp0cVohu7GQWgGP/jxz1Oi3Tr3aM6yeMhEQTe0QAuEd0Oqm?= =?us-ascii?q?/bo8/zNKwPTOu40rPHzSndYPNM2Df97pLHfh48qvyLQb1/a9bRxlc1FwPEiFWf?= =?us-ascii?q?s5bpPy6P1usWqWeb6fFtVeOpi24psQ1+vCSvxscti4XTmo0VyknJ+CNky4g7It?= =?us-ascii?q?24TVR0Yd+iEJZIrCGaK5F5Qt8jQ250oik6zKcJuZq7fSgRyZQn3ATTa/udc4iH?= =?us-ascii?q?+h7sSvyeISx4hX15eLKwnRey8VK6xu37TMm031BHpTdGnNnUrn0A1ALf5tKaRv?= =?us-ascii?q?Zz4kutwzKC2gTJ5u1aIE04janWJpE7zrIuiJYes17PEjH2lUj4lqObckcp9vCm?= =?us-ascii?q?6+v5YbjqupqROop2hw3jL6gjmcmyDOo4PwUPX2WW/OSx2bL/8kD2RbhGkPw7nr?= =?us-ascii?q?XHv53cOM8VvLS2AxVP3YYm8xu/Dymp0NAfnXQfMl1KZR2HgJb3N13SOvz3E+u/?= =?us-ascii?q?g1StkTtx2//GPqXtApTLLnfdjLfsZbVw51BGxAYuw91T+4hYB7UFLf7pREP8tc?= =?us-ascii?q?TUDhojPAy1x+bnBs991oQbWW+XHqCWKr/SvkGS5uIuJemDfpUZuCvnK/c+/fHu?= =?us-ascii?q?i2Q0mV4bfamnx5cYdmy4HvRnIkmDfXXsgs8NEX0WsQomUOzqlFqCXCZPaHmoWq?= =?us-ascii?q?I84ig3CIanDYfYWoCgm6eB3Se+Hp1OfG9KEFGMEXHyd4WFQfgAciySItV5mDwe?= =?us-ascii?q?SbehU5Mh1Q2ptALiybpoMPbU9zYDtZPj0dh1//fcmQsz9TxyFcSd0nuCQ3t6nm?= =?us-ascii?q?MSFHcK2/VCp0B80VyH1rN1j7RCGNdS//JEVBshZ82P4fZ9DoW4ZxjLd9HBAH2v?= =?us-ascii?q?Xti8ADc4BJplyNYSblx8HdzkkwrJ1iyCArkb0bGXBI5y+aKKjCu5HNp013uTjP?= =?us-ascii?q?pptFIhWMYaaTX/1/xPsjPLDouMqH230qOjdKASxinIrTzRzGyA+kxEUBw2WqWX?= =?us-ascii?q?BSlDNHuTlszw4wb5d5HrEa4ua1ATyMiMbKZWas+vhlUUHK6+auSbWHq4niKLPT?= =?us-ascii?q?jNxr6Ia9O0KWgR0yiHUA4JjwABu32GZ1Az?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CjAwAKvF9ahxpjglJSCh4BBgyCbIE7g?= =?us-ascii?q?SKEDJkCgVs2lx+CFgIII4Feg1aESkEWAQEBAQEBAQEBARIBAQEKCwkIKC+COAy?= =?us-ascii?q?CVywGETQjASICJgIEMBUSCgGFf4RBAwELlg2OYwKBM4IniUsLAQEBAQEiCQEqW?= =?us-ascii?q?4RiYINAKQyBazqCHYFmBBmBKwQEgzoUHYI0BYpXmRUCgRaGdo9eZ4MMhj+HSI0?= =?us-ascii?q?pGolsgTwmCFxsHA4IgWsBWQiBHwiCVwSBc4p9gTQBgRYBAQE?= X-IPAS-Result: =?us-ascii?q?A0CjAwAKvF9ahxpjglJSCh4BBgyCbIE7gSKEDJkCgVs2lx+?= =?us-ascii?q?CFgIII4Feg1aESkEWAQEBAQEBAQEBARIBAQEKCwkIKC+COAyCVywGETQjASICJ?= =?us-ascii?q?gIEMBUSCgGFf4RBAwELlg2OYwKBM4IniUsLAQEBAQEiCQEqW4RiYINAKQyBazq?= =?us-ascii?q?CHYFmBBmBKwQEgzoUHYI0BYpXmRUCgRaGdo9eZ4MMhj+HSI0pGolsgTwmCFxsH?= =?us-ascii?q?A4IgWsBWQiBHwiCVwSBc4p9gTQBgRYBAQE?= X-IronPort-AV: E=Sophos;i="5.46,374,1511823600"; d="scan'208";a="309514746" Received: from edge20.ethz.ch ([82.130.99.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 17 Jan 2018 22:13:46 +0100 Received: from CAS11.d.ethz.ch (172.31.38.211) by edge20.ethz.ch (82.130.99.26) with Microsoft SMTP Server (TLS) id 14.3.361.1; Wed, 17 Jan 2018 22:13:48 +0100 Received: from MBX116.d.ethz.ch ([fe80::7118:3565:54c4:260e]) by CAS11.d.ethz.ch ([fe80::ecc9:4e2d:b26b:1614%10]) with mapi id 14.03.0361.001; Wed, 17 Jan 2018 22:13:45 +0100 From: "Urban Caterina" Thread-Topic: 25th Static Analysis Symposium (SAS 2018) - First Call for Papers Thread-Index: AQHTj9gODeGbzrM8vk2+tLkxXYufDQ== Date: Wed, 17 Jan 2018 21:13:45 +0000 Message-ID: <347623D0-6804-4D78-ACA2-CFAD45BBD9C0@inf.ethz.ch> Accept-Language: en-US, de-CH Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [84.227.253.97] Content-Type: text/plain; charset="utf-8" Content-ID: <14B9AB0976EDB74489F858993DED55BB@intern.ethz.ch> Content-Transfer-Encoding: base64 MIME-Version: 1.0 To: Undisclosed recipients:; X-Validation-by: caterina.urban@inf.ethz.ch Subject: [Caml-list] 25th Static Analysis Symposium (SAS 2018) - First Call for Papers LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCiAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICBTQVMgMjAxOA0KDQogICAgICAgICAgICAgICAgICAg IDI1dGggU3RhdGljIEFuYWx5c2lzIFN5bXBvc2l1bQ0KDQogICAgICBGcmVp YnVyZyBpbSBCcmVpc2dhdSwgR2VybWFueSwgQXVndXN0IDI5dGgtQXVndXN0 IDMxc3QsIDIwMTgNCg0KICAgICAgICAgICAgIAkgIGh0dHA6Ly9zdGF0aWNh bmFseXNpcy5vcmcvc2FzMjAxOA0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0NCg0KT2JqZWN0aXZlIA0KDQpTdGF0aWMgQW5hbHlzaXMgaXMgd2lkZWx5 IHJlY29nbml6ZWQgYXMgYSBmdW5kYW1lbnRhbCB0b29sIGZvciBwcm9ncmFt IHZlcmlmaWNhdGlvbiwgYnVnIGRldGVjdGlvbiwgY29tcGlsZXIgb3B0aW1p emF0aW9uLCBwcm9ncmFtIHVuZGVyc3RhbmRpbmcsIGFuZCBzb2Z0d2FyZSBt YWludGVuYW5jZS4gVGhlIHNlcmllcyBvZiBTdGF0aWMgQW5hbHlzaXMgU3lt cG9zaWEgaGFzIHNlcnZlZCBhcyB0aGUgcHJpbWFyeSB2ZW51ZSBmb3IgdGhl IHByZXNlbnRhdGlvbiBvZiB0aGVvcmV0aWNhbCwgcHJhY3RpY2FsLCBhbmQg YXBwbGljYXRpb24gYWR2YW5jZXMgaW4gdGhlIGFyZWEuIFRoZSAyNXRoIFN0 YXRpYyBBbmFseXNpcyBTeW1wb3NpdW0sIFNBUyAyMDE4LCB3aWxsIGJlIGhl bGQgaW4gRnJlaWJ1cmcgaW0gQnJlaXNnYXUsIEdlcm1hbnkuIFByZXZpb3Vz IHN5bXBvc2lhIHdlcmUgaGVsZCBpbiBOZXcgWW9yaywgRWRpbmJ1cmdoLCBT YWludC1NYWxvLCBNdW5pY2gsIFNlYXR0bGUsIERlYXV2aWxsZSwgVmVuaWNl LCBQZXJwaWduYW4sIExvcyBBbmdlbGVzLCBWYWxlbmNpYSwgS29uZ2VucyBM eW5nYnksIFNlb3VsLCBMb25kb24sIFZlcm9uYSwgU2FuIERpZWdvLCBNYWRy aWQsIFBhcmlzLCBTYW50YSBCYXJiYXJhLCBQaXNhLCBBYWNoZW4sIEdsYXNn b3csIGFuZCBOYW11ci4gVGhlIHByb2NlZWRpbmdzIG9mIHRoZSBjb25mZXJl bmNlIHdpbGwgYmUgcHVibGlzaGVkIGluIHRoZSBBZHZhbmNlZCBSZXNlYXJj aCBpbiBDb21wdXRpbmcgYW5kIFNvZnR3YXJlIFNjaWVuY2UgKEFSQ29TUykg c3VibGluZSBvZiB0aGUgU3ByaW5nZXIgTGVjdHVyZSBOb3RlcyBpbiBDb21w dXRlciBTY2llbmNlIChMTkNTKSBzZXJpZXMuDQoNClRvcGljcyANCg0KVGhl IHRlY2huaWNhbCBwcm9ncmFtIGZvciBTQVMgMjAxOCB3aWxsIGNvbnNpc3Qg b2YgaW52aXRlZCBsZWN0dXJlcyBhbmQgcHJlc2VudGF0aW9ucyBvZiByZWZl cmVlZCBwYXBlcnMuIENvbnRyaWJ1dGlvbnMgYXJlIHdlbGNvbWVkIG9uIGFs bCBhc3BlY3RzIG9mIHN0YXRpYyBhbmFseXNpcywgaW5jbHVkaW5nLCBidXQg bm90IGxpbWl0ZWQgdG86IA0KLSBBYnN0cmFjdCBkb21haW5zDQotIEFic3Ry YWN0IGludGVycHJldGF0aW9uIA0KLSBBdXRvbWF0ZWQgZGVkdWN0aW9uDQot IERhdGEgZmxvdyBhbmFseXNpcyANCi0gRGVidWdnaW5nIA0KLSBEZWR1Y3Rp dmUgbWV0aG9kcw0KLSBFbWVyZ2luZyBhcHBsaWNhdGlvbnMgDQotIE1vZGVs IGNoZWNraW5nIA0KLSBQcm9ncmFtIG9wdGltaXphdGlvbiBhbmQgdHJhbnNm b3JtYXRpb24gDQotIFByb2dyYW0gc3ludGhlc2lzDQotIFByb2dyYW0gdmVy aWZpY2F0aW9uIA0KLSBTZWN1cml0eSBhbmFseXNpcyANCi0gVG9vbCBlbnZp cm9ubWVudHMgYW5kIGFyY2hpdGVjdHVyZXMNCi0gVGhlb3JldGljYWwgZnJh bWV3b3JrcyANCi0gVHlwZSBjaGVja2luZw0KDQpQYXBlciBTdWJtaXNzaW9u DQoNClN1Ym1pc3Npb25zIGNhbiBhZGRyZXNzIGFueSBwcm9ncmFtbWluZyBw YXJhZGlnbSBpbmNsdWRpbmcgY29uY3VycmVudCwgY29uc3RyYWludCwgZnVu Y3Rpb25hbCwgaW1wZXJhdGl2ZSwgbG9naWMsIG9iamVjdC1vcmllbnRlZCwg YXNwZWN0LCBtdWx0aS1jb3JlLCBkaXN0cmlidXRlZCwgYW5kIEdQVSBwcm9n cmFtbWluZy4gUGFwZXJzIG11c3QgZGVzY3JpYmUgb3JpZ2luYWwgd29yaywg YmUgd3JpdHRlbiBhbmQgcHJlc2VudGVkIGluIEVuZ2xpc2gsIGFuZCBtdXN0 IG5vdCBzdWJzdGFudGlhbGx5IG92ZXJsYXAgd2l0aCBwYXBlcnMgdGhhdCBo YXZlIGJlZW4gcHVibGlzaGVkIG9yIHRoYXQgYXJlIHNpbXVsdGFuZW91c2x5 IHN1Ym1pdHRlZCB0byBhIGpvdXJuYWwgb3IgYSBjb25mZXJlbmNlIHdpdGgg cmVmZXJlZWQgcHJvY2VlZGluZ3MuIFN1Ym1pdHRlZCBwYXBlcnMgd2lsbCBi ZSBqdWRnZWQgb24gdGhlIGJhc2lzIG9mIHNpZ25pZmljYW5jZSwgcmVsZXZh bmNlLCBjb3JyZWN0bmVzcywgb3JpZ2luYWxpdHksIGFuZCBjbGFyaXR5LiBU aGV5IHNob3VsZCBjbGVhcmx5IGlkZW50aWZ5IHdoYXQgaGFzIGJlZW4gYWNj b21wbGlzaGVkIGFuZCB3aHkgaXQgaXMgc2lnbmlmaWNhbnQuIFBhcGVyIHN1 Ym1pc3Npb25zIHNob3VsZCBub3QgZXhjZWVkIDE1IHBhZ2VzIGluIFNwcmlu Z2VyJ3MgTGVjdHVyZSBOb3RlcyBpbiBDb21wdXRlciBTY2llbmNlIExOQ1Mg Zm9ybWF0LCBleGNsdWRpbmcgYmlibGlvZ3JhcGh5IGFuZCB3ZWxsLW1hcmtl ZCBhcHBlbmRpY2VzICh3ZSBtYXkgYWRtaXQgYWRkaXRpb25hbCBwYWdlcyBm b3IgdGhlIGZpbmFsIHZlcnNpb24pLiBQcm9ncmFtIENvbW1pdHRlZSBtZW1i ZXJzIGFyZSBub3QgcmVxdWlyZWQgdG8gcmVhZCB0aGUgYXBwZW5kaWNlcywg YW5kIHRodXMgcGFwZXJzIG11c3QgYmUgaW50ZWxsaWdpYmxlIHdpdGhvdXQg dGhlbS4gDQpTdWJtaXNzaW9ucyBhcmUgaGFuZGxlZCBvbmxpbmU6IGh0dHBz Oi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1zYXMyMDE4MA0K DQpBcnRpZmFjdCBFdmFsdWF0aW9uDQoNCkFzIGluIHByZXZpb3VzIHllYXJz LCB3ZSBhcmUgZW5jb3VyYWdpbmcgYXV0aG9ycyB0byBzdWJtaXQgYSB2aXJ0 dWFsIG1hY2hpbmUgaW1hZ2UgY29udGFpbmluZyBhbnkgYXJ0aWZhY3RzIGFu ZCBldmFsdWF0aW9ucyBwcmVzZW50ZWQgaW4gdGhlIHBhcGVyLiBUaGUgZ29h bCBvZiB0aGUgYXJ0aWZhY3Qgc3VibWlzc2lvbnMgaXMgdG8gc3RyZW5ndGhl biBvdXIgZmllbGQncyBzY2llbnRpZmljIGFwcHJvYWNoIHRvIGV2YWx1YXRp b25zIGFuZCByZXByb2R1Y2liaWxpdHkgb2YgcmVzdWx0cy4gVGhlIHZpcnR1 YWwgbWFjaGluZXMgd2lsbCBiZSBhcmNoaXZlZCBvbiBhIHBlcm1hbmVudCBT dGF0aWMgQW5hbHlzaXMgU3ltcG9zaXVtIHdlYnNpdGUgdG8gcHJvdmlkZSBh IHJlY29yZCBvZiBwYXN0IGV4cGVyaW1lbnRzIGFuZCB0b29scywgYWxsb3dp bmcgZnV0dXJlIHJlc2VhcmNoIHRvIGJldHRlciBldmFsdWF0ZSBhbmQgY29u dHJhc3QgZXhpc3Rpbmcgd29yay4gQXJ0aWZhY3Qgc3VibWlzc2lvbiBpcyBv cHRpb25hbC4gV2UgYWNjZXB0IG9ubHkgdmlydHVhbCBtYWNoaW5lIGltYWdl cyB0aGF0IGNhbiBiZSBwcm9jZXNzZWQgd2l0aCBWaXJ0dWFsIEJveC4gIERl dGFpbHMgb24gd2hhdCB0byBzdWJtaXQgYW5kIGhvdyB3aWxsIGJlIHNlbnQg dG8gdGhlIGNvcnJlc3BvbmRpbmcgYXV0aG9ycyBieSBtYWlsIHNob3J0bHkg YWZ0ZXIgdGhlIHBhcGVyIHN1Ym1pc3Npb24gZGVhZGxpbmUuIFRoZSBzdWJt aXR0ZWQgYXJ0aWZhY3RzIHdpbGwgYmUgdXNlZCBieSB0aGUgcHJvZ3JhbSBj b21taXR0ZWUgYXMgYSBzZWNvbmRhcnkgZXZhbHVhdGlvbiBjcml0ZXJpb24g d2hvc2Ugc29sZSBwdXJwb3NlIGlzIHRvIGZpbmQgYWRkaXRpb25hbCBwb3Np dGl2ZSBhcmd1bWVudHMgZm9yIHRoZSBwYXBlcidzIGFjY2VwdGFuY2UuIEZ1 cnRoZXJtb3JlLCBhbiBBcnRpZmFjdCBFdmFsdWF0aW9uIENvbW1pdHRlZSB3 aWxsIGFzc2VzcyBhcnRpZmFjdHMgYW5kIHdpbGwgYXdhcmQgYW4gIkFydGlm YWN0IEFwcHJvdmVkIiBzdGFtcHMgdG8gYWNjZXB0ZWQgcGFwZXJzIHRoYXQg Y29tZSB3aXRoIGFuIGFydGlmYWN0IHRoYXQgYWxsb3dzIHRvIHJlcHJvZHVj ZSB0aGUgcmVzdWx0cyBwcmVzZW50ZWQgaW4gdGhlIHBhcGVyLiBTdWJtaXNz aW9ucyB3aXRob3V0IGFydGlmYWN0cyBhcmUgd2VsY29tZSBhbmQgd2lsbCBu b3QgYmUgcGVuYWxpemVkLg0KDQpJbXBvcnRhbnQgRGF0ZXMNCg0KLSBBYnN0 cmFjdCBzdWJtaXNzaW9uOiBNYXJjaCAzMXN0LCAyMDE4IChhbnl3aGVyZSBv biBlYXJ0aCkgDQotIEZ1bGwgcGFwZXIgc3VibWlzc2lvbjogQXByaWwgNnRo LCAyMDE4IChhbnl3aGVyZSBvbiBlYXJ0aCkgDQotIEFydGlmYWN0IHN1Ym1p c3Npb246IEFwcmlsIDIwdGgsIDIwMTggKGFueXdoZXJlIG9uIGVhcnRoKSAN Ci0gTm90aWZpY2F0aW9uOiBNYXkgMjl0aCwgMjAxOCANCi0gRmluYWwgdmVy c2lvbiBkdWU6IEp1bmUgMjl0aCwgMjAxOA0KLSBDb25mZXJlbmNlOiBBdWd1 c3QgMjl0aC1BdWd1c3QgMzFzdCwgMjAxOA0KDQpSYWRoaWEgQ291c290IFlv dW5nIFJlc2VhcmNoZXIgQXdhcmQNCg0KU2luY2UgMjAxNCwgdGhlIHByb2dy YW0gY29tbWl0dGVlIG9mIGVhY2ggU0FTIGNvbmZlcmVuY2Ugc2VsZWN0cyBh IHBhcGVyIGZvciB0aGUgUmFkaGlhIENvdXNvdCBZb3VuZyBSZXNlYXJjaGVy IEJlc3QgUGFwZXIgQXdhcmQsIGluIG1lbW9yeSBvZiBSYWRoaWEgQ291c290 LCBhbmQgaGVyIGZ1bmRhbWVudGFsIGNvbnRyaWJ1dGlvbnMgdG8gc3RhdGlj IGFuYWx5c2lzLCBhcyB3ZWxsIGFzIGJlaW5nIG9uZSBvZiB0aGUgbWFpbiBw cm9tb3RlcnMgYW5kIG9yZ2FuaXplcnMgb2YgdGhlIFNBUyBzZXJpZXMgb2Yg Y29uZmVyZW5jZXMuDQoNCkludml0ZWQgU3BlYWtlcnMNCg0KVEJBDQoNCkFm ZmlsaWF0ZWQgRXZlbnRzDQoNClRCQQ0KDQpQcm9ncmFtIENoYWlyDQoNCi0g QW5kcmVhcyBQb2RlbHNraSAoVW5pdmVyc2l0eSBvZiBGcmVpYnVyZywgR2Vy bWFueSkNCg0KUHJvZ3JhbSBDb21taXR0ZWUgDQoNCi0gRG9tYWdvaiBCYWJp YyAoR29vZ2xlIEluYy4sIFVTQSkNCi0gTWFyYyBCcm9ja3NjaG1pZHQgKE1p Y3Jvc29mdCBSZXNlYXJjaCwgVUspIA0KLSBTd2FyYXQgQ2hhdWRodXJpIChS aWNlIFVuaXZlcnNpdHksIFVTQSkNCi0gQm9yLVl1aCBFdmFuIENoYW5nIChV bml2ZXJzaXR5IG9mIENvbG9yYWRvIEJvdWxkZXIsIFVTQSkgDQotIEplcm9t ZSBGZXJldCAoSU5SSUEvRU5TL0NOUlMsIEZyYW5jZSkgDQotIEFzaHV0b3No IEd1cHRhIChUSUZSLCBJbmRpYSkgDQotIE5pY29sYXMgSGFsYndhY2hzIChW ZXJpbWFnL0NOUlMsIEZyYW5jZSkgDQotIEx1a2FzIEhvbGlrIChCcm5vIFVu aXZlcnNpdHkgb2YgVGVjaG5vbG9neSwgQ3plY2ggUmVwdWJsaWMpDQotIEJh cmJhcmEgS29lbmlnIChVbml2ZXJzaXR5IG9mIER1aXNidXJnLUVzc2VuLCBH ZXJtYW55KQ0KLSBCb3JpcyBLb2VwZiAoSU1ERUEgU29mdHdhcmUgSW5zdGl0 dXRlLCBTcGFpbikgDQotIFNodXZlbmR1IExhaGlyaSAoTWljcm9zb2Z0IFJl c2VhcmNoLCBVU0EpDQotIEhha2pvbyBPaCAoS29yZWEgVW5pdmVyc2l0eSwg U291dGggS29yZWEpDQotIFN5bHZpZSBQdXRvdCAow4ljb2xlIFBvbHl0ZWNo bmlxdWUsIEZyYW5jZSkNCi0gRnJhbmNlc2NvIFJhbnphdG8gKFVuaXZlcnNp dHkgb2YgUGFkb3ZhLCBJdGFseSkNCi0gSmFrb2IgUmVob2YgKFRVIERvcnRt dW5kIFVuaXZlcnNpdHksIEdlcm1hbnkpDQotIFhhdmllciBSaXZhbCAoQ05S Uy9FTlMvSU5SSUEsIEZyYW5jZSkNCi0gSGFyYWxkIFNvbmRlcmdhYXJkIChU aGUgVW5pdmVyc2l0eSBvZiBNZWxib3VybmUsIEF1c3RyYWxpYSkNCi0gQWxl eGFuZGVyIEouIFN1bW1lcnMgKEVUSCBadXJpY2gsIFN3aXR6ZXJsYW5kKQ0K LSBDYXRlcmluYSBVcmJhbiAoRVRIIFp1cmljaCwgU3dpdHplcmxhbmQpDQot IExlbm9yZSBadWNrIChVbml2ZXJzaXR5IG9mIElsbGlub2lzIGF0IENoaWNh Z28sIFVTQSkNCi0gRGFtaWVuIFp1ZmZlcmV5IChNUEktU1dTLCBHZXJtYW55 KQ0KLSBGbG9yaWFuIFp1bGVnZXIgKFRVIFdpZW4sIEF1c3RyaWEpDQoNCkFy dGlmYWN0IEV2YWx1YXRpb24gQ2hhaXINCg0KLSBYYXZpZXIgUml2YWwgKENO UlMvRU5TL0lOUklBLCBGcmFuY2UpDQoNClB1YmxpY2l0eSBDaGFpcg0KDQot IENhdGVyaW5hIFVyYmFuIChFVEggWnVyaWNoLCBTd2l0emVybGFuZCk=