From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.17 via Mailbox Transport; Fri, 27 Jan 2023 08:58:20 +0000 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.17; Fri, 27 Jan 2023 08:58:20 +0000 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.17 via Frontend Transport; Fri, 27 Jan 2023 08:58:20 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 30R8vZD7031498 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 27 Jan 2023 08:57:35 GMT Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 30R8vR4M031482 for ; Fri, 27 Jan 2023 08:57:28 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Jan 2023 09:57:27 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4D801E7450; Fri, 27 Jan 2023 09:57:26 +0100 (CET) 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 0D6B1E027E; Fri, 27 Jan 2023 09:57:24 +0100 (CET) Received: from antea.dnshigh.com ([185.81.4.109]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 Jan 2023 09:57:22 +0100 Received: from localhost ([127.0.0.1]:50038 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.95) (envelope-from ) id 1pLKXw-00023k-L4; Fri, 27 Jan 2023 09:57:20 +0100 From: "acie@acie.eu" To: folli Subject: [Caml-list] CiE 2023: FINAL CALL FOR PAPERS Thread-Topic: [Caml-list] CiE 2023: FINAL CALL FOR PAPERS Thread-Index: AQHZMi2A6PlDfokKZkmb3rjtNz//8w== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 27 Jan 2023 08:57:10 +0000 Message-ID: Keywords: Sent to dra-news@metastack.com,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: "acie@acie.eu" Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 7a2fcb8b-c068-433f-ca75-08db0044a348 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-sender: acie@acie.eu x-ironport-av: E=Sophos;i="5.97,250,1669071600"; d="scan'208,217";a="46153956" x-ironport-anti-spam-filtered: true x-loop: caml-list@inria.fr x-no-archive: yes x-antiabuse: Sender Address Domain - acie.eu x-authenticated-sender: antea.dnshigh.com: acie@acie.eu Content-Type: text/html; charset="utf-8" Content-ID: <52E43C7F3BFF7E459A1548C2DB9729AC@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJmb250LXNp emU6IDEwcHQ7IGZvbnQtZmFtaWx5OiBWZXJkYW5hLEdlbmV2YSxzYW5zLXNlcmlmIj4NCjxoMSBp ZD0iQ2lFLTIwMjMtRklOQUwtQ0FMTC1GT1ItUEFQRVJTIiBjbGFzcz0icGFydCIgZGF0YS1zdGFy dGxpbmU9IjEiIGRhdGEtZW5kbGluZT0iMSI+DQpDaUUgMjAyMzogRklOQUwgQ0FMTCBGT1IgUEFQ RVJTPC9oMT4NCjxoMiBpZD0iQ29tcHV0YWJpbGl0eS1pbi1FdXJvcGUtMjAyMyIgY2xhc3M9InBh cnQiIGRhdGEtc3RhcnRsaW5lPSIzIiBkYXRhLWVuZGxpbmU9IjMiPg0KQ29tcHV0YWJpbGl0eSBp biBFdXJvcGUgMjAyMzwvaDI+DQo8cCBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxpbmU9IjUiIGRh dGEtZW5kbGluZT0iNSI+PHN0cm9uZz5Vbml0eSBvZiBMb2dpYyBhbmQgQ29tcHV0YXRpb248L3N0 cm9uZz48L3A+DQo8cCBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxpbmU9IjciIGRhdGEtZW5kbGlu ZT0iOSI+QmF0dW1pLCBHZW9yZ2lhPGJyPg0KSnVseSAyNC0yOCwgMjAyMzxicj4NCjxhIGhyZWY9 Imh0dHBzOi8vd3d3LnZpYW0uc2NpZW5jZS50c3UuZ2UvY2llMjAyMy8iIHRhcmdldD0iX2JsYW5r IiByZWw9Im5vb3BlbmVyIj5odHRwczovL3d3dy52aWFtLnNjaWVuY2UudHN1LmdlL2NpZTIwMjMv PC9hPjwvcD4NCjxwIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iMTEiIGRhdGEtZW5kbGlu ZT0iMTEiPlN1Ym1pc3Npb24gbGluazombmJzcDs8YSBocmVmPSJodHRwczovL2Vhc3ljaGFpci5v cmcvY29uZmVyZW5jZXMvP2NvbmY9Y2llMjAyMyIgdGFyZ2V0PSJfYmxhbmsiIHJlbD0ibm9vcGVu ZXIiPmh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1jaWUyMDIzPC9hPjwv cD4NCjxoMiBpZD0iSU1QT1JUQU5ULURBVEVTIiBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxpbmU9 IjEzIiBkYXRhLWVuZGxpbmU9IjEzIj5JTVBPUlRBTlQgREFURVM6PC9oMj4NCjx1bCBjbGFzcz0i cGFydCIgZGF0YS1zdGFydGxpbmU9IjE1IiBkYXRhLWVuZGxpbmU9IjIxIj4NCjxsaSBjbGFzcz0i IiBkYXRhLXN0YXJ0bGluZT0iMTUiIGRhdGEtZW5kbGluZT0iMTUiPkRlYWRsaW5lIGZvciBhcnRp Y2xlIHJlZ2lzdHJhdGlvbiAoYWJzdHJhY3Qgc3VibWlzc2lvbik6ICZuYnNwOzxzdHJvbmc+RmVi cnVhcnkgOCwgMjAyMzwvc3Ryb25nPiAoQU9FKQ0KPC9saT48bGkgY2xhc3M9IiIgZGF0YS1zdGFy dGxpbmU9IjE2IiBkYXRhLWVuZGxpbmU9IjE2Ij5EZWFkbGluZSBmb3IgYXJ0aWNsZSBzdWJtaXNz aW9uOg0KPHN0cm9uZz5GZWJydWFyeSAxNSwgMjAyMzwvc3Ryb25nPiAoQU9FKSA8L2xpPjxsaSBj bGFzcz0iIiBkYXRhLXN0YXJ0bGluZT0iMTciIGRhdGEtZW5kbGluZT0iMTciPk5vdGlmaWNhdGlv biBvZiBhY2NlcHRhbmNlOiA8c3Ryb25nPg0KQXByaWwgMjAsIDIwMjM8L3N0cm9uZz4gPC9saT48 bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9IjE4IiBkYXRhLWVuZGxpbmU9IjE4Ij5GaW5hbCB2 ZXJzaW9ucyBkdWU6IDxzdHJvbmc+TWF5IDEsIDIwMjM8L3N0cm9uZz4NCjwvbGk+PGxpIGNsYXNz PSIiIGRhdGEtc3RhcnRsaW5lPSIxOSIgZGF0YS1lbmRsaW5lPSIxOSI+RGVhZGxpbmUgZm9yIGlu Zm9ybWFsIHByZXNlbnRhdGlvbnMgc3VibWlzc2lvbjoNCjxzdHJvbmc+SnVuZSA4LCAyMDIzPC9z dHJvbmc+IChUaGUgbm90aWZpY2F0aW9ucyBvZiBhY2NlcHRhbmNlIGZvciBpbmZvcm1hbCBwcmVz ZW50YXRpb25zIHdpbGwgYmUgc2VudCBhIGZldyBkYXlzIGFmdGVyIHN1Ym1pc3Npb24uKQ0KPC9s aT48bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9IjIwIiBkYXRhLWVuZGxpbmU9IjIxIj5FYXJs eSByZWdpc3RyYXRpb24gYmVmb3JlOiA8c3Ryb25nPg0KSnVuZSAxMCwgMjAyMzwvc3Ryb25nPi4g PC9saT48L3VsPg0KPGgyIGlkPSJHRU5FUkFMLUlORk9STUFUSU9OIiBjbGFzcz0icGFydCIgZGF0 YS1zdGFydGxpbmU9IjIyIiBkYXRhLWVuZGxpbmU9IjIyIj5HRU5FUkFMIElORk9STUFUSU9OPC9o Mj4NCjxwIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iMjQiIGRhdGEtZW5kbGluZT0iMjQi PkNpRSAyMDIzIGlzIHRoZSAxOXRoIGNvbmZlcmVuY2Ugb3JnYW5pemVkIGJ5IENpRSAoQ29tcHV0 YWJpbGl0eSBpbiBFdXJvcGUpLCBhIEV1cm9wZWFuIGFzc29jaWF0aW9uIG9mIG1hdGhlbWF0aWNp YW5zLCBsb2dpY2lhbnMsIGNvbXB1dGVyIHNjaWVudGlzdHMsIHBoaWxvc29waGVycywgcGh5c2lj aXN0cyBhbmQgb3RoZXJzIGludGVyZXN0ZWQgaW4gbmV3DQogZGV2ZWxvcG1lbnRzIGluIGNvbXB1 dGFiaWxpdHkgYW5kIHRoZWlyIHVuZGVybHlpbmcgc2lnbmlmaWNhbmNlIGZvciB0aGUgcmVhbCB3 b3JsZC48L3A+DQo8cCBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxpbmU9IjI2IiBkYXRhLWVuZGxp bmU9IjI2Ij5QcmV2aW91cyBtZWV0aW5ncyBoYXZlIHRha2VuIHBsYWNlIGluIEFtc3RlcmRhbSAo MjAwNSksIFN3YW5zZWEgKDIwMDYpLCBTaWVuYSAoMjAwNyksIEF0aGVucyAoMjAwOCksIEhlaWRl bGJlcmcgKDIwMDkpLCBQb250YSBEZWxnYWRhICgyMDEwKSwgU29maWEgKDIwMTEpLCBDYW1icmlk Z2UgKDIwMTIpLCBNaWxhbiAoMjAxMyksIEJ1ZGFwZXN0ICgyMDE0KSwNCiBCdWNoYXJlc3QgKDIw MTUpLCBQYXJpcyAoMjAxNiksIFR1cmt1ICgyMDE3KSwgS2llbCAoMjAxOCksIER1cmhhbSAoMjAx OSksIFNhbGVybm8gKDIwMjAsIHZpcnR1YWxseSksIEdoZW50ICgyMDIxLCB2aXJ0dWFsbHkpLCBh bmQgU3dhbnNlYSAoMjAyMikuPC9wPg0KPGgyIGlkPSJUVVRPUklBTC1TUEVBS0VSUyIgY2xhc3M9 InBhcnQiIGRhdGEtc3RhcnRsaW5lPSIyOSIgZGF0YS1lbmRsaW5lPSIyOSI+VFVUT1JJQUwgU1BF QUtFUlM8L2gyPg0KPHVsIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iMzAiIGRhdGEtZW5k bGluZT0iMzIiPg0KPGxpIGNsYXNzPSIiIGRhdGEtc3RhcnRsaW5lPSIzMCIgZGF0YS1lbmRsaW5l PSIzMCI+THVkb3ZpYyBQZXJyZXQgKFNvcmJvbm5lIFVuaXZlcnNpdHkpDQo8L2xpPjxsaSBjbGFz cz0iIiBkYXRhLXN0YXJ0bGluZT0iMzEiIGRhdGEtZW5kbGluZT0iMzIiPkx1ZG92aWMgUGF0ZXkg KFVuaXZlcnNpdMOpIFBhcmlzIERpZGVyb3QpDQo8L2xpPjwvdWw+DQo8aDIgaWQ9IklOVklURUQt U1BFQUtFUlMiIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iMzMiIGRhdGEtZW5kbGluZT0i MzMiPklOVklURUQgU1BFQUtFUlM8L2gyPg0KPHVsIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGlu ZT0iMzQiIGRhdGEtZW5kbGluZT0iNDEiPg0KPGxpIGNsYXNzPSIiIGRhdGEtc3RhcnRsaW5lPSIz NCIgZGF0YS1lbmRsaW5lPSIzNCI+QW5kcmVpIEJ1bGF0b3YgKFNpbW9uIEZyYXNlciBVbml2ZXJz aXR5KQ0KPC9saT48bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9IjM1IiBkYXRhLWVuZGxpbmU9 IjM1Ij5Bbm5lIENvbmRvbiAoVW5pdmVyc2l0eSBvZiBCcml0aXNoIENvbHVtYmlhKQ0KPC9saT48 bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9IjM2IiBkYXRhLWVuZGxpbmU9IjM2Ij5TdGVwaGFu aWUgRGljayAoVW5pdmVyc2l0eSBvZiBQZW5uc3lsdmFuaWEpDQo8L2xpPjxsaSBjbGFzcz0iIiBk YXRhLXN0YXJ0bGluZT0iMzciIGRhdGEtZW5kbGluZT0iMzciPktpcnN0ZW4gRWlzZW50csOkZ2Vy IChQZW5uc3lsdmFuaWEgU3RhdGUgVW5pdmVyc2l0eSkNCjwvbGk+PGxpIGNsYXNzPSIiIGRhdGEt c3RhcnRsaW5lPSIzOCIgZGF0YS1lbmRsaW5lPSIzOCI+TmVpbCBMdXR6IChJb3dhIFN0YXRlIFVu aXZlcnNpdHkpDQo8L2xpPjxsaSBjbGFzcz0iIiBkYXRhLXN0YXJ0bGluZT0iMzkiIGRhdGEtZW5k bGluZT0iNDEiPk1hcmsgU3RlZWRtYW4gKFVuaXZlcnNpdHkgb2YgRWRpbmJ1cmdoKQ0KPC9saT48 L3VsPg0KPGgyIGlkPSJTUEVDSUFMLVNFU1NJT05TIiBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxp bmU9IjQyIiBkYXRhLWVuZGxpbmU9IjQyIj5TUEVDSUFMIFNFU1NJT05TPC9oMj4NCjxwIGNsYXNz PSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iNDQiIGRhdGEtZW5kbGluZT0iNDUiPldlIGFyZSBnb2lu ZyB0byBoYXZlIDYgc3BlY2lhbCBzZXNzaW9ucy48YnI+DQpUaGUgdG9waWNzIG9mIHRoZSBzcGVj aWFsIHNlc3Npb25zIHdpbGwgYmUgYW5ub3VuY2VkIHNvb24uPC9wPg0KPGgyIGlkPSJDT05GRVJF TkNFLVRPUElDUyIgY2xhc3M9InBhcnQiIGRhdGEtc3RhcnRsaW5lPSI0OCIgZGF0YS1lbmRsaW5l PSI0OCI+Q09ORkVSRU5DRSBUT1BJQ1M8L2gyPg0KPHAgY2xhc3M9InBhcnQiIGRhdGEtc3RhcnRs aW5lPSI1MCIgZGF0YS1lbmRsaW5lPSI1MCI+VGhlIENpRSBjb25mZXJlbmNlcyBzZXJ2ZSBhcyBh biBpbnRlcmRpc2NpcGxpbmFyeSBmb3J1bSBmb3IgcmVzZWFyY2ggaW4gYWxsIGFzcGVjdHMgb2Yg Y29tcHV0YWJpbGl0eSwgZm91bmRhdGlvbnMgb2YgY29tcHV0ZXIgc2NpZW5jZSwgbG9naWMsIGFu ZCB0aGVvcmV0aWNhbCBjb21wdXRlciBzY2llbmNlLCBhcyB3ZWxsIGFzIHRoZSBpbnRlcnBsYXkg b2YNCiB0aGVzZSBhcmVhcyB3aXRoIHByYWN0aWNhbCBpc3N1ZXMgaW4gY29tcHV0ZXIgc2NpZW5j ZSBhbmQgd2l0aCBvdGhlciBkaXNjaXBsaW5lcyBzdWNoIGFzIGJpb2xvZ3ksIG1hdGhlbWF0aWNz LCBwaGlsb3NvcGh5LCBvciBwaHlzaWNzLjwvcD4NCjxoMiBpZD0iUEFQRVItU1VCTUlTU0lPTiIg Y2xhc3M9InBhcnQiIGRhdGEtc3RhcnRsaW5lPSI1MiIgZGF0YS1lbmRsaW5lPSI1MiI+UEFQRVIg U1VCTUlTU0lPTjwvaDI+DQo8cCBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxpbmU9IjU0IiBkYXRh LWVuZGxpbmU9IjU0Ij5USEUgUFJPR1JBTSBDT01NSVRURUUgY29yZGlhbGx5IGludml0ZXMgYWxs IHJlc2VhcmNoZXJzLCBFdXJvcGVhbiBhbmQgbm9uLUV1cm9wZWFuLCB0byBzdWJtaXQgdGhlaXIg cGFwZXJzIGluIGFsbCBhcmVhcyByZWxhdGVkIHRvIHRoZSBhYm92ZSBmb3IgcHJlc2VudGF0aW9u IGF0IHRoZSBjb25mZXJlbmNlIGFuZCBpbmNsdXNpb24gaW4gdGhlIHByb2NlZWRpbmdzDQogb2Yg Q2lFIDIwMjMgYXQmbmJzcDs8YSBocmVmPSJodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5j ZXMvP2NvbmY9Y2llMjAyMyIgdGFyZ2V0PSJfYmxhbmsiIHJlbD0ibm9vcGVuZXIiPmh0dHBzOi8v ZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1jaWUyMDIzPC9hPjwvcD4NCjxoMyBpZD0i Q09ORkVSRU5DRS1QUk9DRUVESU5HUyIgY2xhc3M9InBhcnQiIGRhdGEtc3RhcnRsaW5lPSI1OCIg ZGF0YS1lbmRsaW5lPSI1OCI+DQpDT05GRVJFTkNFIFBST0NFRURJTkdTPC9oMz4NCjxwIGNsYXNz PSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iNjAiIGRhdGEtZW5kbGluZT0iNjEiPlBhcGVycyBzdWJt aXR0ZWQgdG8gdGhlIGNvbmZlcmVuY2UgcHJvY2VlZGluZ3Mgc2hvdWxkIHJlcHJlc2VudCBvcmln aW5hbCB3b3JrLCBub3Qgc2ltdWx0YW5lb3VzbHkgc3VibWl0dGVkIHRvIGFub3RoZXIgam91cm5h bCBvciBjb25mZXJlbmNlIHdpdGggZm9ybWFsIHByb2NlZWRpbmdzLjxicj4NClRoZSBQcm9ncmFt IENvbW1pdHRlZSB3aWxsIHJpZ29yb3VzbHkgcmV2aWV3IGFuZCBzZWxlY3Qgc3VibWl0dGVkIHBh cGVycy4gQWNjZXB0ZWQgcGFwZXJzIHdpbGwgYmUgcHVibGlzaGVkIGFzIGEgcHJvY2VlZGluZ3Mg dm9sdW1lIGluIHRoZSBMZWN0dXJlIE5vdGVzIGluIENvbXB1dGVyIFNjaWVuY2UgKExOQ1MpIHNl cmllcyBmcm9tIFNwcmluZ2VyLVZlcmxhZy48L3A+DQo8cCBjbGFzcz0icGFydCIgZGF0YS1zdGFy dGxpbmU9IjYzIiBkYXRhLWVuZGxpbmU9IjYzIj5QYXBlcnMgdG8gYmUgY29uc2lkZXJlZCBpbiB0 aGUgY29uZmVyZW5jZXMgcHJvY2VlZGluZ3MgbXVzdCBiZSBzdWJtaXR0ZWQgaW4gUERGIGZvcm1h dCwgdXNpbmcgdGhlIExOQ1Mgc3R5bGUgKGF2YWlsYWJsZSBhdCZuYnNwOzxhIGhyZWY9Imh0dHBz Oi8vd3d3LnNwcmluZ2VyLmNvbS9ncC9jb21wdXRlci1zY2llbmNlL2xuY3MvY29uZmVyZW5jZS1w cm9jZWVkaW5ncy1ndWlkZWxpbmVzIiB0YXJnZXQ9Il9ibGFuayIgcmVsPSJub29wZW5lciI+aHR0 cHM6Ly93d3cuc3ByaW5nZXIuY29tL2dwL2NvbXB1dGVyLXNjaWVuY2UvbG5jcy9jb25mZXJlbmNl LXByb2NlZWRpbmdzLWd1aWRlbGluZXM8L2E+KQ0KIGFuZCBtdXN0IGhhdmUgYSBtYXhpbXVtIG9m IDEyIHBhZ2VzLCBpbmNsdWRpbmcgcmVmZXJlbmNlcyBidXQgZXhjbHVkaW5nIGEgcG9zc2libGUg YXBwZW5kaXggaW4gd2hpY2ggb25lIGNhbiBpbmNsdWRlIHByb29mcyBhbmQgb3RoZXIgYWRkaXRp b25hbCBtYXRlcmlhbC4gUGFwZXJzIGJ1aWxkaW5nIGJyaWRnZXMgYmV0d2VlbiBkaWZmZXJlbnQg cGFydHMgb2YgdGhlIHJlc2VhcmNoIGNvbW11bml0eSBhcmUgcGFydGljdWxhcmx5IHdlbGNvbWUu PC9wPg0KPGgzIGlkPSJJTkZPUk1BTC1QUkVTRU5UQVRJT05TIiBjbGFzcz0icGFydCIgZGF0YS1z dGFydGxpbmU9IjY1IiBkYXRhLWVuZGxpbmU9IjY1Ij4NCklORk9STUFMIFBSRVNFTlRBVElPTlM8 L2gzPg0KPHAgY2xhc3M9InBhcnQiIGRhdGEtc3RhcnRsaW5lPSI2NyIgZGF0YS1lbmRsaW5lPSI2 NyI+Q29udGludWluZyB0aGUgdHJhZGl0aW9uIG9mIHBhc3QgQ2lFIGNvbmZlcmVuY2VzLCB3ZSBp bnZpdGUgcmVzZWFyY2hlcnMgdG8gcHJlc2VudCBpbmZvcm1hbCBwcmVzZW50YXRpb25zIG9mIHRo ZWlyIHJlY2VudCB3b3JrLiBBIHByb3Bvc2FsIGZvciBhbiBpbmZvcm1hbCBwcmVzZW50YXRpb24g bXVzdCBiZSBzdWJtaXR0ZWQgdmlhIEVhc3lDaGFpciAoPGEgaHJlZj0iaHR0cHM6Ly9lYXN5Y2hh aXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPWNpZTIwMjMiIHRhcmdldD0iX2JsYW5rIiByZWw9Im5v b3BlbmVyIj5odHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9Y2llMjAyMzwv YT4pLA0KIHVzaW5nIHRoZSBMTkNTIHN0eWxlIGZpbGUgKGF2YWlsYWJsZSBhdCZuYnNwOzxhIGhy ZWY9Imh0dHBzOi8vd3d3LnNwcmluZ2VyLmNvbS9ncC9jb21wdXRlci1zY2llbmNlL2xuY3MvY29u ZmVyZW5jZS1wcm9jZWVkaW5ncy1ndWlkZWxpbmVzIiB0YXJnZXQ9Il9ibGFuayIgcmVsPSJub29w ZW5lciI+aHR0cHM6Ly93d3cuc3ByaW5nZXIuY29tL2dwL2NvbXB1dGVyLXNjaWVuY2UvbG5jcy9j b25mZXJlbmNlLXByb2NlZWRpbmdzLWd1aWRlbGluZXM8L2E+KSwgYW5kDQogYmUgMSBwYWdlIGxv bmc7IGEgYnJpZWYgZGVzY3JpcHRpb24gb2YgdGhlIHJlc3VsdHMgc3VmZmljZXMgYW5kIGFuIGFi c3RyYWN0IGlzIG5vdCByZXF1aXJlZC4gSW5mb3JtYWwgcHJlc2VudGF0aW9ucyB3aWxsIG5vdCBi ZSBwdWJsaXNoZWQgaW4gdGhlIExOQ1MgY29uZmVyZW5jZSBwcm9jZWVkaW5ncy4gUmVzdWx0cyBw cmVzZW50ZWQgYXMgaW5mb3JtYWwgcHJlc2VudGF0aW9ucyBhdCBDaUUgMjAyMyBtYXkgYXBwZWFy IG9yIG1heSBoYXZlIGFwcGVhcmVkDQogaW4gb3RoZXIgY29uZmVyZW5jZXMgd2l0aCBmb3JtYWwg cHJvY2VlZGluZ3MgYW5kL29yIGluIGpvdXJuYWxzLjwvcD4NCjxoMiBpZD0iUFJPR1JBTS1DT01N SVRURUUiIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iNjkiIGRhdGEtZW5kbGluZT0iNjki PlBST0dSQU0gQ09NTUlUVEVFPC9oMj4NCjxwIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0i NzEiIGRhdGEtZW5kbGluZT0iNzEiPkNvbnRyaWJ1dGVkIHBhcGVycyB3aWxsIGJlIHNlbGVjdGVk IGZyb20gc3VibWlzc2lvbnMgcmVjZWl2ZWQgYnkgdGhlIFBST0dSQU0gQ09NTUlUVEVFIGNvbnNp c3Rpbmcgb2Y6PC9wPg0KPHVsIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iNzMiIGRhdGEt ZW5kbGluZT0iOTgiPg0KPGxpIGNsYXNzPSIiIGRhdGEtc3RhcnRsaW5lPSI3MyIgZGF0YS1lbmRs aW5lPSI3MyI+Tmlrb2xheSBCYXpoZW5vdiAoTm92b3NpYmlyc2sgU3RhdGUgVW5pdmVyc2l0eSkN CjwvbGk+PGxpIGNsYXNzPSIiIGRhdGEtc3RhcnRsaW5lPSI3NCIgZGF0YS1lbmRsaW5lPSI3NCI+ TWFudWVsIEJvZGlyc2t5IChUVSBEcmVzZGVuKSA8L2xpPjxsaSBjbGFzcz0iIiBkYXRhLXN0YXJ0 bGluZT0iNzUiIGRhdGEtZW5kbGluZT0iNzUiPlZhc2NvIEJyYXR0a2EgKE11bmljaCkgPC9saT48 bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9Ijc2IiBkYXRhLWVuZGxpbmU9Ijc2Ij5MaWVzYmV0 aCBEZSBNb2wgKFVuaXZlcnNpdHkgb2YgTGlsbGUpDQo8L2xpPjxsaSBjbGFzcz0iIiBkYXRhLXN0 YXJ0bGluZT0iNzciIGRhdGEtZW5kbGluZT0iNzciPkdpYW5sdWNhIERlbGxhIFZlZG92YSAoVW5p dmVyc2l0eSBvZiBNaWxhbm8tQmljb2NjYSwgY28tY2hhaXIpDQo8L2xpPjxsaSBjbGFzcz0iIiBk YXRhLXN0YXJ0bGluZT0iNzgiIGRhdGEtZW5kbGluZT0iNzgiPkJlc2lrIER1bmR1YSAoS3V0YWlz aSBJbnRsIFVuaXZlcnNpdHkpDQo8L2xpPjxsaSBjbGFzcz0iIiBkYXRhLXN0YXJ0bGluZT0iNzki IGRhdGEtZW5kbGluZT0iNzkiPkdpdWRpdHR0YSBGcmFuY28gKFVuaXZlcnNpdHkgb2YgVmVyb25h KQ0KPC9saT48bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9IjgwIiBkYXRhLWVuZGxpbmU9Ijgw Ij5KdWFuIEx1aXMgR2FzdGFsZGkgKEVUSCBadXJpY2gpDQo8L2xpPjxsaSBjbGFzcz0iIiBkYXRh LXN0YXJ0bGluZT0iODEiIGRhdGEtZW5kbGluZT0iODEiPlRob21hcyBHcmFmIChTdG9ueSBCcm9v ayBVbml2ZXJzaXR5KQ0KPC9saT48bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9IjgyIiBkYXRh LWVuZGxpbmU9IjgyIj5EZWxhcmFtIEthaHJvYmFlaSAoQ1VOWSkgPC9saT48bGkgY2xhc3M9IiIg ZGF0YS1zdGFydGxpbmU9IjgzIiBkYXRhLWVuZGxpbmU9IjgzIj5Fa2F0ZXJpbmEgS29tZW5kYW50 c2theWEgKEhlcmlvdC1XYXR0IFVuaXZlcnNpdHkgRWRpbmJ1cmdoKQ0KPC9saT48bGkgY2xhc3M9 IiIgZGF0YS1zdGFydGxpbmU9Ijg0IiBkYXRhLWVuZGxpbmU9Ijg0Ij5BbmdlbGlraSBLb3V0c291 a291LUFyZ3lyYWtpIChDYW1icmlkZ2UgVW5pdmVyc2l0eSkNCjwvbGk+PGxpIGNsYXNzPSIiIGRh dGEtc3RhcnRsaW5lPSI4NSIgZGF0YS1lbmRsaW5lPSI4NSI+U3RlZmZlbiBMZW1wcCAoVW5pdmVy c2l0eSBvZiBXaXNjb25zaW4tTWFkaXNvbiwgY28tY2hhaXIpDQo8L2xpPjxsaSBjbGFzcz0iIiBk YXRhLXN0YXJ0bGluZT0iODYiIGRhdGEtZW5kbGluZT0iODYiPkZsb3JpbiBNYW5lYSAoR29ldHRp bmdlbiBVbml2ZXJzaXR5KQ0KPC9saT48bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9Ijg3IiBk YXRhLWVuZGxpbmU9Ijg3Ij5LbGF1cyBNZWVyIChVbml2ZXJzaXR5IENvdHRidXMpDQo8L2xpPjxs aSBjbGFzcz0iIiBkYXRhLXN0YXJ0bGluZT0iODgiIGRhdGEtZW5kbGluZT0iODgiPklzYWJlbCBP aXRhdmVtIChOb3ZhIFVuaXZlcnNpdHkgTGlzYm9uKQ0KPC9saT48bGkgY2xhc3M9IiIgZGF0YS1z dGFydGxpbmU9Ijg5IiBkYXRhLWVuZGxpbmU9Ijg5Ij5Sb2xhbmQgT21hbmFkemUgKEl2YW5lIEph dmFraGlzaHZpbGkgVGJpbGlzaSBTdGF0ZSBVbml2ZXJzaXR5KQ0KPC9saT48bGkgY2xhc3M9IiIg ZGF0YS1zdGFydGxpbmU9IjkwIiBkYXRhLWVuZGxpbmU9IjkwIj5EYW5pZWwgUGF1bHVzbWEgKER1 cmhhbSBVbml2ZXJzaXR5KQ0KPC9saT48bGkgY2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9IjkxIiBk YXRhLWVuZGxpbmU9IjkxIj5FbGFpbmUgUGltZW50ZWwgKFVuaXZlcnNpdHkgQ29sbGVnZSBMb25k b24pDQo8L2xpPjxsaSBjbGFzcz0iIiBkYXRhLXN0YXJ0bGluZT0iOTIiIGRhdGEtZW5kbGluZT0i OTIiPk1hcmt1cyBTY2htaWQgKEh1bWJvbGR0IFVuaXZlcnNpdHkgQmVybGluKQ0KPC9saT48bGkg Y2xhc3M9IiIgZGF0YS1zdGFydGxpbmU9IjkzIiBkYXRhLWVuZGxpbmU9IjkzIj5TaGlubm9zdWtl IFNla2kgKFVuaXZlcnNpdHkgRWxlY3RybyBDb21tIFRva3lvKQ0KPC9saT48bGkgY2xhc3M9IiIg ZGF0YS1zdGFydGxpbmU9Ijk0IiBkYXRhLWVuZGxpbmU9Ijk0Ij5TZWJhc3RpYWFuIFRlcndpam4g KFJhZGJvdWQgVW5pdmVyc2l0eSBOaWptZWdlbikNCjwvbGk+PGxpIGNsYXNzPSIiIGRhdGEtc3Rh cnRsaW5lPSI5NSIgZGF0YS1lbmRsaW5lPSI5NSI+RGFuIFR1cmV0c2t5IChWaWN0b3JpYSBVbml2 ZXJzaXR5IFdlbGxpbmd0b24pDQo8L2xpPjxsaSBjbGFzcz0iIiBkYXRhLXN0YXJ0bGluZT0iOTYi IGRhdGEtZW5kbGluZT0iOTgiPkxpbmRhIFdlc3RyaWNrIChQZW5uc3lsdmFuaWEgU3RhdGUgVW5p dmVyc2l0eSkNCjwvbGk+PC91bD4NCjxoMiBpZD0iV09NRU4tSU4tQ09NUFVUQUJJTElUWSIgY2xh c3M9InBhcnQiIGRhdGEtc3RhcnRsaW5lPSI5OSIgZGF0YS1lbmRsaW5lPSI5OSI+DQpXT01FTiBJ TiBDT01QVVRBQklMSVRZPC9oMj4NCjxwIGNsYXNzPSJwYXJ0IiBkYXRhLXN0YXJ0bGluZT0iMTAx IiBkYXRhLWVuZGxpbmU9IjEwMSI+V2UgYXJlIHZlcnkgaGFwcHkgdG8gYW5ub3VuY2UgdGhhdCB3 aXRoaW4gdGhlIGZyYW1ld29yayBvZiB0aGUgV29tZW4gaW4gQ29tcHV0YWJpbGl0eSBwcm9ncmFt LCB3ZSBhcmUgYWJsZSB0byBvZmZlciBzb21lIGdyYW50cyBmb3IganVuaW9yIHdvbWVuIHJlc2Vh cmNoZXJzIHdobyB3YW50IHRvIHBhcnRpY2lwYXRlIGluIENpRSAyMDIzLiBBcHBsaWNhdGlvbnMN CiBmb3IgdGhpcyBncmFudCBzaG91bGQgYmUgc2VudCB0byBMaWVzYmV0aCBkZSBNb2wsJm5ic3A7 PGEgaHJlZj0ibWFpbHRvOmxpZXNiZXRoLmRlLW1vbEB1bml2LWxpbGxlLmZyIiB0YXJnZXQ9Il9i bGFuayIgcmVsPSJub29wZW5lciI+bGllc2JldGguZGUtbW9sQHVuaXYtbGlsbGUuZnI8L2E+LCBi ZWZvcmUgTWF5IDE1LCAyMDIzIGFuZCBpbmNsdWRlIGEgc2hvcnQgY3YgKGF0IG1vc3QgMiBwYWdl cykgYW5kIGNvbnRhY3QgaW5mb3JtYXRpb24gZm9yIGFuIGFjYWRlbWljDQogcmVmZXJlbmNlLiBQ cmVmZXJlbmNlIHdpbGwgYmUgZ2l2ZW4gdG8ganVuaW9yIHdvbWVuIHJlc2VhcmNoZXJzIHdobyBh cmUgcHJlc2VudGluZyBhIHBhcGVyIChpbmNsdWRpbmcgaW5mb3JtYWwgcHJlc2VudGF0aW9ucykg YXQgQ2lFIDIwMjMuPC9wPg0KPHAgY2xhc3M9InBhcnQiIGRhdGEtc3RhcnRsaW5lPSIxMDMiIGRh dGEtZW5kbGluZT0iMTAzIj48YSBocmVmPSJodHRwczovL3d3dy5hY2llLmV1IiB0YXJnZXQ9Il9i bGFuayIgcmVsPSJub29wZW5lciI+QXNzb2NpYXRpb24gQ2lFPC9hPjwvcD4NCjxwIGNsYXNzPSJw YXJ0IiBkYXRhLXN0YXJ0bGluZT0iMTA1IiBkYXRhLWVuZGxpbmU9IjEwNSI+PGEgaHJlZj0iaHR0 cHM6Ly93d3cuYWNpZS5ldS9jaWUtY29uZmVyZW5jZS1zZXJpZXMvIiB0YXJnZXQ9Il9ibGFuayIg cmVsPSJub29wZW5lciI+Q2lFIENvbmZlcmVuY2UgU2VyaWVzPC9hPjwvcD4NCjxoMiBpZD0iSE9T VEVELUJZIiBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxpbmU9IjEwOCIgZGF0YS1lbmRsaW5lPSIx MDgiPkhPU1RFRCBCWTwvaDI+DQo8cCBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxpbmU9IjExMSIg ZGF0YS1lbmRsaW5lPSIxMTIiPkJhdHVtaSBTaG90YSBSdXN0YXZlbGkgU3RhdGUgVW5pdmVyc2l0 eTxicj4NClJ1c3RhdmVsaSBzdHIuIDMyLCBCYXR1bWksPC9wPg0KPHAgY2xhc3M9InBhcnQiIGRh dGEtc3RhcnRsaW5lPSIxMTciIGRhdGEtZW5kbGluZT0iMTE3Ij5XZSBhcmUgZ3JhdGVmdWwgZm9y IHN1cHBvcnQgZnJvbSBCYXR1bWkgU2hvdGEgUnVzdGF2ZWxpIFN0YXRlIFVuaXZlcnNpdHkgYW5k IEluc3RpdHV0ZSBvZiBBcHBsaWVkIE1hdGhlbWF0aWNzLCBUYmlsaXNpIFN0YXRlIFVuaXZlcnNp dHkuPC9wPg0KPGgyIGlkPSJPUkdBTklaSU5HLUNPTU1JVFRFRSIgY2xhc3M9InBhcnQiIGRhdGEt c3RhcnRsaW5lPSIxMjAiIGRhdGEtZW5kbGluZT0iMTIwIj4NCk9SR0FOSVpJTkcgQ09NTUlUVEVF PC9oMj4NCjx1bCBjbGFzcz0icGFydCIgZGF0YS1zdGFydGxpbmU9IjEyMiIgZGF0YS1lbmRsaW5l PSIxMjciPg0KPGxpIGNsYXNzPSIiIGRhdGEtc3RhcnRsaW5lPSIxMjIiIGRhdGEtZW5kbGluZT0i MTIyIj5EYXZpdCBCZWdhc2h2aWxpIChLdXRhaXNpIEludGVybmF0aW9uYWwgVW5pdmVyc2l0eSkN CjwvbGk+PGxpIGNsYXNzPSIiIGRhdGEtc3RhcnRsaW5lPSIxMjMiIGRhdGEtZW5kbGluZT0iMTIz Ij5NaWtoZWlsIERvbmFkemUgKEJhdHVtaSBTaG90YSBSdXN0YXZlbGkgU3RhdGUgVW5pdmVyc2l0 eSkNCjwvbGk+PGxpIGNsYXNzPSIiIGRhdGEtc3RhcnRsaW5lPSIxMjQiIGRhdGEtZW5kbGluZT0i MTI0Ij5CZXNpayBEdW5kdWEgKGNoYWlyLCBLdXRhaXNpIEludGVybmF0aW9uYWwgVW5pdmVyc2l0 eSBhbmQgSW5zdGl0dXRlIG9mIEFwcGxpZWQgTWF0aGVtYXRpY3MsIFRiaWxpc2kgU3RhdGUgVW5p dmVyc2l0eSkNCjwvbGk+PGxpIGNsYXNzPSIiIGRhdGEtc3RhcnRsaW5lPSIxMjUiIGRhdGEtZW5k bGluZT0iMTI1Ij5Uc290bmUgTWlrYWR6ZSAoS3V0YWlzaSBJbnRlcm5hdGlvbmFsIFVuaXZlcnNp dHkpDQo8L2xpPjxsaSBjbGFzcz0iIiBkYXRhLXN0YXJ0bGluZT0iMTI2IiBkYXRhLWVuZGxpbmU9 IjEyNiI+TWlraGVpbCBSdWtoYWlhIChjby1jaGFpciwgSW5zdGl0dXRlIG9mIEFwcGxpZWQgTWF0 aGVtYXRpY3MsIFRiaWxpc2kgU3RhdGUgVW5pdmVyc2l0eSkNCjwvbGk+PGxpIGNsYXNzPSIiIGRh dGEtc3RhcnRsaW5lPSIxMjciIGRhdGEtZW5kbGluZT0iMTI3Ij5MZWxhIFR1cm1hbmlkemUgKEJh dHVtaSBTaG90YSBSdXN0YXZlbGkgU3RhdGUgVW5pdmVyc2l0eSkNCjwvbGk+PC91bD4NCjwvYm9k eT4NCjwvaHRtbD4NCg==