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 1BD1A822B9 for ; Mon, 29 Apr 2019 17:03:59 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fioretto.ferdinando@isye.gatech.edu; spf=None smtp.mailfrom=fioretto.ferdinando@isye.gatech.edu; spf=Pass smtp.helo=postmaster@NAM05-CO1-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fioretto.ferdinando@isye.gatech.edu) identity=pra; client-ip=40.107.72.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fioretto.ferdinando@isye.gatech.edu"; x-sender="fioretto.ferdinando@isye.gatech.edu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fioretto.ferdinando@isye.gatech.edu) identity=mailfrom; client-ip=40.107.72.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fioretto.ferdinando@isye.gatech.edu"; x-sender="fioretto.ferdinando@isye.gatech.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@NAM05-CO1-obe.outbound.protection.outlook.com designates 40.107.72.134 as permitted sender) identity=helo; client-ip=40.107.72.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fioretto.ferdinando@isye.gatech.edu"; x-sender="postmaster@NAM05-CO1-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Afu/GGxd1wi4BomSM/6N2V9D5lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc27Zh2N2/xhgRfzUJnB7Loc0qyK6vmmBzZLscrJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQi6oR/Qu8UIjodvKak8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMDE37XzXitdojK1FvB2huxJxw4nRYI6PNfp+eL7WcdcVSGdFW8pcUSlBAoKn?= =?us-ascii?q?b4sUDuoBO+lYpJTjqVUXsBC+CwisC/3ryjBVm3T62aM33/gkHQzAwQcuHc8BsG?= =?us-ascii?q?7Modv1KakSTe67wqrJzTrfYP1Z1izw6JTTfRAkvf2AQa58fMjXxEIyFw3FlFKQ?= =?us-ascii?q?qYn9Mj+b1uoNsm+b7/B+WuKzl24nrBl9qSWvyMgykInGm4MVylbe+iV/3Yk1It?= =?us-ascii?q?O0Q1N8bN6qEZtQsDuaOJVqQsM+RGFkoig6xaMcuZGmfSgKzo4oxxjCZPyAaIWI?= =?us-ascii?q?4wnjVeaPLjtii3JqYq6/iAiu/kig0OHzSNS70EtToydDj9LCuHcN1xnJ5ciGTP?= =?us-ascii?q?tw5kih2TGI1wDc7uFLP1o4mrbcK54k2rIwkJ8TsV/eHiPshkr5kbKWel069eey?= =?us-ascii?q?8OTmYqnppp+GOI91kAHyKKMumtawAek+LwMAXHCb9Pyz2bH/50H1XalGg/8snq?= =?us-ascii?q?TbrpzWP9kXq6C2DgNNzIou6guzAyuj3dgFknQKL1dIdA+Jj4T1J13DJe30Aeuj?= =?us-ascii?q?j1iwlTpmyf/LMabjD5jILXXOlKrtcLd45kFG1gU81tJS6pdKBb4aO/38RFf9tN?= =?us-ascii?q?LGARI6LwC5xuPqBdFh2Y8CXW+CB7OWMK3RvFKK4+8jPvWDaJMJtzv4Nvco6ePi?= =?us-ascii?q?gHs/lFQAZ6emx4EXZ2q9Hvl+I0WWf37sgtAZHGkSogcwS/DmhV2bXTNNfni+Qr?= =?us-ascii?q?sw5jYgB424F4vDQZ2tgKCa0ye8A51WYH1JBkqUEXfycIWER+kDZz6OIs9glTwE?= =?us-ascii?q?U6KtS4g81RGysA/6zL1nLunO9iIEspLj0cB55+zVlR4s6Tx5F8uQ332XQ21pgm?= =?us-ascii?q?8FRSU60aJhrUBn11uO36d1j+RdFdNJ5vNJVgk6NYTbz+x/E93yVAPBftCTSFm4?= =?us-ascii?q?XtWmHTYxQsg/w9AQeUZyBtSijhbZ0CqsHrAVkKeGBJ0v8qPcwXf9Pcl9xGza1K?= =?us-ascii?q?Y/k1YmQtFDOnO7ia5i7wTTHZLGk12Fl6a2cqQRxDLC+32GzWqKpU1YVA9wUb7Z?= =?us-ascii?q?XX0EfUvXrdH55lvYQLO0CLQnNBFByc+YJadQZN3plwYOau3kPYGUTWO2gWqsGR?= =?us-ascii?q?HMjp2BdobrfWwb0CKXQBwKkgcJ8GqaMk4wCz2tomTXCjBpPVP0ck6q/uBipXi7?= =?us-ascii?q?CEI40lfZPAVay7Op90tN1rSnQPQJ0+db6X59+QUxJ0602pftM/TFvxBoJfoOYM?= =?us-ascii?q?gs7RFI3H7UvAw7M5C9ffg71wwuNj9vtkar7C1ZT4BJkMwktnQvlVUgKLmJ3RVO?= =?us-ascii?q?fi+V1pC2N7HKeDGroUKfLpXO01Sb6+64v6cC7PNk9AfFlSTxSw8J1Cwi1NNYlX?= =?us-ascii?q?yB+p/NEQweF4rrVVo6/AR7oLecZTQh44TT1jtnNqzm6zI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CVAgAWEcdch4ZIayhmg1UpJ1IZcgMEC?= =?us-ascii?q?xgQhBCDRwOFMYlcgiAEDoEjgmCRbYMZgRADVAEOASUIgUuDDgyGKwUCBDQTAQM?= =?us-ascii?q?BAQQBAQIBAQEBEwEBAQgNCQgpIwyCOgwMAwOCaiEREQwBASYDAQYCAgQRASICJ?= =?us-ascii?q?gIEMBUSKwIDCTmBfEsBgWkDHQIMomECgTWIX3GBL4J5AQEFRYE9BYJ0GEEHUHY?= =?us-ascii?q?DBoELJ4s7gWY/gREnDBOBYDcFg08BAQIYgRQBCwcBgykUHoIEIopzgkmEY5RcA?= =?us-ascii?q?wQCAoIJhhGELId2G4INhjSMZQGDa45jilGDOwIEAgQFAg4BAQWBZlYwcXItISo?= =?us-ascii?q?BcwqBRIEXgQICDgmDTGqEKoU+AUExAQGBJ5A/Ag0XB4IlAQ?= X-IPAS-Result: =?us-ascii?q?A0CVAgAWEcdch4ZIayhmg1UpJ1IZcgMECxgQhBCDRwOFMYl?= =?us-ascii?q?cgiAEDoEjgmCRbYMZgRADVAEOASUIgUuDDgyGKwUCBDQTAQMBAQQBAQIBAQEBE?= =?us-ascii?q?wEBAQgNCQgpIwyCOgwMAwOCaiEREQwBASYDAQYCAgQRASICJgIEMBUSKwIDCTm?= =?us-ascii?q?BfEsBgWkDHQIMomECgTWIX3GBL4J5AQEFRYE9BYJ0GEEHUHYDBoELJ4s7gWY/g?= =?us-ascii?q?REnDBOBYDcFg08BAQIYgRQBCwcBgykUHoIEIopzgkmEY5RcAwQCAoIJhhGELId?= =?us-ascii?q?2G4INhjSMZQGDa45jilGDOwIEAgQFAg4BAQWBZlYwcXItISoBcwqBRIEXgQICD?= =?us-ascii?q?gmDTGqEKoU+AUExAQGBJ5A/Ag0XB4IlAQ?= X-IronPort-AV: E=Sophos;i="5.60,409,1549926000"; d="scan'208";a="304347008" X-MGA-submission: =?us-ascii?q?MDGd8AJtlpo8UttZlAE6qsn/5Y6VHH5aeFgwjF?= =?us-ascii?q?gfCan1VpcIg9epdZW5/j3Ue/aPGrjylrYU0+2kluII+4Tmngs+1UJNsM?= =?us-ascii?q?TTmRjj0FH60HI9OIs38dKlkjn1YaeZ+jx+OmkHDMVHSfzrFlgi3KhhRD?= =?us-ascii?q?VSrkXe2+NZ8g8L/q7FoH2kVw=3D=3D?= Received: from mail-eopbgr720134.outbound.protection.outlook.com (HELO NAM05-CO1-obe.outbound.protection.outlook.com) ([40.107.72.134]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 29 Apr 2019 17:03:56 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gtvault.onmicrosoft.com; s=selector1-gtvault-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Cvd7GfrD5490/4NQAIp7fhUtrktLgaA+98lWTuhFU48=; b=BrwEVfwizSrA2jBUlWUNwOZtfppZmGZg/DQamu96o+oQ6t9OX5wfdtXnPtWpI40nBezAI41pa20er5109zCcIwg/4g6TnskBS5gcT7CSv2T1ztxutTbQdbpa1Ml/mRekuLD+jn0Hnpa4D1IA6xHA44EkhbyfkkuUEaRmGNXHr10= Received: from BN8PR07MB6258.namprd07.prod.outlook.com (20.179.79.139) by BN8PR07MB5826.namprd07.prod.outlook.com (20.179.67.142) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1835.13; Mon, 29 Apr 2019 15:03:51 +0000 Received: from BN8PR07MB6258.namprd07.prod.outlook.com ([fe80::9c09:cf87:1c0c:d319]) by BN8PR07MB6258.namprd07.prod.outlook.com ([fe80::9c09:cf87:1c0c:d319%4]) with mapi id 15.20.1835.010; Mon, 29 Apr 2019 15:03:51 +0000 From: "Fioretto, Ferdinando" Thread-Topic: ICLP - Doctoral Consortium (DC) on Logic Programming Thread-Index: AQHU/pzB3bNh4Lw+5EWzoadL4O10fw== Date: Mon, 29 Apr 2019 15:03:51 +0000 Message-ID: <2F774169-5128-4D8F-B56C-7BEE07BD6E1F@gatech.edu> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [2610:148:1f00:1000:34b7:8916:aeb7:ebbe] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: a2125eb4-0ea8-4661-15cf-08d6ccb3e431 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600141)(711020)(4605104)(2017052603328)(7193020);SRVR:BN8PR07MB5826; x-ms-traffictypediagnostic: BN8PR07MB5826: x-ms-exchange-purlcount: 3 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:7219; x-forefront-prvs: 0022134A87 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(39860400002)(396003)(136003)(366004)(346002)(376002)(45074003)(189003)(199004)(1671002)(486006)(25786009)(561944003)(6116002)(5660300002)(75432002)(53936002)(881003)(36756003)(6486002)(2906002)(478600001)(83716004)(33656002)(102836004)(71200400001)(71190400001)(186003)(68736007)(8936002)(786003)(6506007)(82746002)(316002)(6512007)(6306002)(476003)(14444005)(46003)(91956017)(256004)(86362001)(81166006)(109986005)(97736004)(76116006)(81156014)(14454004)(8676002)(7736002)(7416002)(88552002)(99286004)(966005)(305945005)(73956011)(66446008)(7406005)(64756008)(66946007)(66556008)(66476007)(9686003)(6436002)(90420200003)(16351025005);DIR:OUT;SFP:1102;SCL:1;SRVR:BN8PR07MB5826;H:BN8PR07MB6258.namprd07.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: D/dSB9KpTN5f2j/0n8UPw5Vb/3TowTBvwYpkGBk/vdZlGJQsUMRPFDGE7rckCJU33yYA3RLaxcf0GaBYcbXl21UOloHlARuYgnYkG1nJl2eYbsvlj0OKSo3ow6DWajSuzV3IJj/P1O3v/XKEVUy5mvS5hFkBdCCYQ9ws3iBh72j3Q8TMqnjU4mjyQq5NGoNETNp8MFAGOM6b5pddwZgF0SEoemSinRCK4GzGu2fB17PQoYlwU0ofKgyemxQBDwMrphhpxuFgrcc4sryOGRq+h4a6UIjVMEF+SFkY0H4Ykf1FD45yW7rdxUktsG9vcbfacDtOYtOQFVKClrAmv96TCBKDwdVPN7WlV8EkcWJWrCoj18oYnm5bVfTkbg7M3rURLrLm9wRj8bLPNbTb32L3Xj9VLAWPDVpgnJdBBmNvoC8= Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: isye.gatech.edu X-MS-Exchange-CrossTenant-Network-Message-Id: a2125eb4-0ea8-4661-15cf-08d6ccb3e431 X-MS-Exchange-CrossTenant-originalarrivaltime: 29 Apr 2019 15:03:51.4615 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN8PR07MB5826 X-Validation-by: fioretto.ferdinando@isye.gatech.edu Subject: [Caml-list] ICLP - Doctoral Consortium (DC) on Logic Programming VGhlIDE1dGggRG9jdG9yYWwgQ29uc29ydGl1bSAoREMpIG9uIExvZ2ljIFBy b2dyYW1taW5nDQpodHRwczovL3NpdGVzLmdvb2dsZS5jb20vY3Muc3Rvbnli cm9vay5lZHUvaWNscDIwMTlkYy9pY2xwLTIwMTktZG9jdG9yYWwtY29uc29y dGl1bQ0KDQoNClRoZSAxNXRoIERvY3RvcmFsIENvbnNvcnRpdW0gKERDKSBv biBMb2dpYyBQcm9ncmFtbWluZyBwcm92aWRlcyBzdHVkZW50cyB3aXRoIHRo ZSBvcHBvcnR1bml0eSB0byBwcmVzZW50IGFuZCBkaXNjdXNzIHRoZWlyIHJl c2VhcmNoIGRpcmVjdGlvbnMsIGFuZCB0byBvYnRhaW4gZmVlZGJhY2sgZnJv bSBib3RoIHBlZXJzIGFuZCBleHBlcnRzIGluIHRoZSBmaWVsZC4gDQpJdCB3 aWxsIHRha2UgcGxhY2UgZHVyaW5nIHRoZSAzNXRoIEludGVybmF0aW9uYWwg Q29uZmVyZW5jZSBvbiBMb2dpYyBQcm9ncmFtbWluZyAoSUNMUCkgaHR0cHM6 Ly93d3cuY3Mubm1zdS5lZHUvQUxQL2ljbHAyMDE5LyAoU2VwdGVtYmVyIDIw LTI2LCAyMDE5LCBpbiBMYXMgQ3J1Y2VzLCBOZXcgTWV4aWNvLCBVU0EpLiAN Cg0KQWNjZXB0ZWQgcGFydGljaXBhbnRzIHdpbGwgcmVjZWl2ZSBwYXJ0aWFs IGZpbmFuY2lhbCBzdXBwb3J0IHRvIGF0dGVuZCB0aGUgZXZlbnQgYW5kIHRo ZSBtYWluIGNvbmZlcmVuY2UuIFRoZSBiZXN0IHBhcGVyIGZyb20gdGhlIERD IHdpbGwgYmUgZ2l2ZW4gdGhlIG9wcG9ydHVuaXR5IHRvIG1ha2UgYSBwcmVz ZW50YXRpb24gaW4gYSBzZXNzaW9uIG9mIHRoZSBtYWluIElDTFAgY29uZmVy ZW5jZS4gDQoNCkltcG9ydGFudCBEYXRlcyANCg0KCeKAoiBBYnN0cmFjdCBy ZWdpc3RyYXRpb246IEFwcmlsIDI3LCAyMDE5IA0KCeKAoiBQYXBlciBzdWJt aXNzaW9uOiBNYXkgNCwgMjAxOQ0KCeKAoiBOb3RpZmljYXRpb246IEp1bmUg MTksIDIwMTkNCgnigKIgQ2FtZXJhLXJlYWR5IGNvcHk6IEp1bHkgMzEsIDIw MTcNCgnigKIgQ29uZmVyZW5jZTogU3VuZGF5LCBTZXB0ZW1iZXIgMjIsIDIw MTkNCg0KQXVkaWVuY2UNCg0KVGhlIERDIGlzIGRlc2lnbmVkIGZvciBzdHVk ZW50cyBjdXJyZW50bHkgZW5yb2xsZWQgaW4gYSBQaC5ELiBwcm9ncmFtLCB0 aG91Z2ggd2UgYXJlIGFsc28gb3BlbiB0byBleGNlcHRpb25zIChlLmcuLCBz dHVkZW50cyBjdXJyZW50bHkgaW4gYSBNYXN0ZXIncyBwcm9ncmFtIGFuZCBp bnRlcmVzdGVkIGluIGRvY3RvcmFsIHN0dWRpZXMpLiBTdHVkZW50cyBhdCBh bnkgc3RhZ2UgaW4gdGhlaXIgZG9jdG9yYWwgc3R1ZGllcyBhcmUgZW5jb3Vy YWdlZCB0byBhcHBseSBmb3IgcGFydGljaXBhdGlvbiBpbiB0aGUgREMuIEFw cGxpY2FudHMgYXJlIGV4cGVjdGVkIHRvIGNvbmR1Y3QgcmVzZWFyY2ggaW4g YXJlYXMgcmVsYXRlZCB0byBsb2dpYyBhbmQgY29uc3RyYWludCBwcm9ncmFt bWluZzsgdG9waWNzIG9mIGludGVyZXN0IGluY2x1ZGUgKGJ1dCBhcmUgbm90 IGxpbWl0ZWQgdG8pOg0KCeKAoiBUaGVvcmV0aWNhbCBGb3VuZGF0aW9ucyBv ZiBMb2dpYyBhbmQgQ29uc3RyYWludCBMb2dpYyBQcm9ncmFtbWluZw0KCeKA oiBTZXF1ZW50aWFsIGFuZCBQYXJhbGxlbCBJbXBsZW1lbnRhdGlvbiBUZWNo bm9sb2d5DQoJ4oCiIFN0YXRpYyBhbmQgRHluYW1pYyBBbmFseXNpcywgQWJz dHJhY3QgSW50ZXJwcmV0YXRpb24sIENvbXBpbGF0aW9uIFRlY2hub2xvZ3ks IFZlcmlmaWNhdGlvbg0KCeKAoiBMb2dpYy1iYXNlZCBQYXJhZGlnbXMgKGUu Zy4sIEFuc3dlciBTZXQgUHJvZ3JhbW1pbmcsIENvbmN1cnJlbnQgTG9naWMg UHJvZ3JhbW1pbmcsIEluZHVjdGl2ZSBMb2dpYyBQcm9ncmFtbWluZykNCgni gKIgSW5ub3ZhdGl2ZSBBcHBsaWNhdGlvbnMgb2YgTG9naWMgUHJvZ3JhbW1p bmcNCg0KU3VibWlzc2lvbnMgYnkgc3R1ZGVudHMgd2hvIGhhdmUgcHJlc2Vu dGVkIHRoZWlyIHdvcmsgYXQgcHJldmlvdXMgSUNMUCBEQyBlZGl0aW9ucyBh cmUgYWxsb3dlZCwgYnV0IHNob3VsZCBvY2N1ciBvbmx5IGlmIHRoZXJlIGFy ZSBzdWJzdGFudGlhbCBjaGFuZ2VzIG9yIGltcHJvdmVtZW50cyB0byB0aGUg c3R1ZGVudCdzIHdvcmsuIFRoZSBEQyBvZmZlcnMgcGFydGljaXBhbnRzIGEg Y29udmVuaWVudCwgbW9yZSBpbmZvcm1hbCB3YXkgdG8gaW50ZXJhY3Qgd2l0 aCBlc3RhYmxpc2hlZCByZXNlYXJjaGVycyBhbmQgZmVsbG93IHN0dWRlbnRz LCB0aHJvdWdoIHByZXNlbnRhdGlvbnMsIHF1ZXN0aW9uLWFuc3dlciBzZXNz aW9ucywgcGFuZWwgZGlzY3Vzc2lvbnMsIGFuZCBpbnZpdGVkIHByZXNlbnRh dGlvbnMuIFRoZSBEb2N0b3JhbCBDb25zb3J0aXVtIHdpbGwgYWxzbyBwcm92 aWRlIHRoZSBwb3NzaWJpbGl0eSB0byByZWZsZWN0IC0gdGhyb3VnaCBzaG9y dCBhY3Rpdml0aWVzLCBpbmZvcm1hdGlvbiBzZXNzaW9ucywgYW5kIGRpc2N1 c3Npb25zIC0gb24gdGhlIHByb2Nlc3MgYW5kIGxlc3NvbnMgb2YgcmVzZWFy Y2ggYW5kIGxpZmUgaW4gYWNhZGVtaWEuIEVhY2ggcGFydGljaXBhbnQgd2ls bCBnaXZlIGEgc2hvcnQsIGNyaXRpcXVlZCwgcmVzZWFyY2ggcHJlc2VudGF0 aW9uLg0KDQpEaXNjdXNzYW50cw0KDQpSZW5vd25lZCBleHBlcnRzIGFuZCBy ZXNlYXJjaGVycyBpbiB0aGUgZmllbGRzIG9mIGxvZ2ljIGFuZCBjb25zdHJh aW50IHByb2dyYW1taW5nIHdpbGwgam9pbiBpbiBldmFsdWF0aW5nIHN1Ym1p c3Npb25zIGFuZCB3aWxsIHBhcnRpY2lwYXRlIGluIHRoZSBEQywgcHJvdmlk aW5nIHZhbHVhYmxlIGZlZWRiYWNrIHRvIERDIHBhcnRpY2lwYW50cy4gDQoN CkdvYWxzDQoNCgnigKIgVG8gcHJvdmlkZSBkb2N0b3JhbCBzdHVkZW50cyB3 b3JraW5nIGluIHRoZSBmaWVsZHMgb2YgbG9naWMgYW5kIGNvbnN0cmFpbnQg cHJvZ3JhbW1pbmcgd2l0aCBhIGZyaWVuZGx5IGFuZCBvcGVuIGZvcnVtIHRv IHByZXNlbnQgdGhlaXIgcmVzZWFyY2ggaWRlYXMsIGxpc3RlbiB0byBvbmdv aW5nIHdvcmsgZnJvbSBwZWVyIHN0dWRlbnRzLCBhbmQgcmVjZWl2ZSBjb25z dHJ1Y3RpdmUgZmVlZGJhY2suDQoJ4oCiIFRvIHByb3ZpZGUgc3R1ZGVudHMg d2l0aCByZWxldmFudCBpbmZvcm1hdGlvbiBhYm91dCBpbXBvcnRhbnQgaXNz dWVzIGZvciBkb2N0b3JhbCBjYW5kaWRhdGVzIGFuZCBmdXR1cmUgYWNhZGVt aWNzLg0KCeKAoiBUbyBkZXZlbG9wIGEgc3VwcG9ydGl2ZSBjb21tdW5pdHkg b2Ygc2Nob2xhcnMgYW5kIGEgc3Bpcml0IG9mIGNvbGxhYm9yYXRpdmUgcmVz ZWFyY2guDQoJ4oCiIFRvIHN1cHBvcnQgYSBuZXcgZ2VuZXJhdGlvbiBvZiBy ZXNlYXJjaGVycyB3aXRoIGluZm9ybWF0aW9uIGFuZCBhZHZpY2Ugb24gYWNh ZGVtaWMsIHJlc2VhcmNoLCBpbmR1c3RyaWFsLCBhbmQgbm9uLXRyYWRpdGlv bmFsIGNhcmVlciBwYXRocy4NCg0KU3VibWlzc2lvbiBEZXRhaWxzDQoNClRo ZSBEQyBpcyBkZXNpZ25lZCBmb3Igc3R1ZGVudHMgY3VycmVudGx5IGVucm9s bGVkIGluIGEgUGguRC4gcHJvZ3JhbSwgaG93ZXZlciBNYXN0ZXIncyBzdHVk ZW50cyB3aG8gYXJlIGFjdGl2ZWx5IGludm9sdmVkIGluIHJlc2VhcmNoIChw bGVhc2Ugc2VlIHRoZSBsaXN0IG9mIHRvcGljcyBiZWxvdykgY2FuIGFsc28g cGFydGljaXBhdGUgaW4gdGhlIERDIHByb2dyYW0uDQpBcHBsaWNhbnRzIGFy ZSBleHBlY3RlZCB0byBjb25kdWN0IHJlc2VhcmNoIGluIGFyZWFzIHJlbGF0 ZWQgdG8gbG9naWMgYW5kIGNvbnN0cmFpbnQgcHJvZ3JhbW1pbmcuDQoNClRv cGljcyBpbmNsdWRlZCwgYnV0IG5vdCBsaW1pdGVkIHRvOg0KCeKAoiBGb3Vu ZGF0aW9uczogU2VtYW50aWNzLCBGb3JtYWxpc21zLCBOb25tb25vdG9uaWMg cmVhc29uaW5nLCBLbm93bGVkZ2UgcmVwcmVzZW50YXRpb24uDQoJ4oCiIExh bmd1YWdlczogQ29uY3VycmVuY3ksIE9iamVjdHMsIENvb3JkaW5hdGlvbiwg TW9iaWxpdHksIEhpZ2hlciBPcmRlciwgVHlwZXMsIE1vZGVzLCBBc3NlcnRp b25zLCBNb2R1bGVzLCBNZXRhLXByb2dyYW1taW5nLCBMb2dpYy1iYXNlZCBk b21haW4tc3BlY2lmaWMgbGFuZ3VhZ2VzLCBQcm9ncmFtbWluZyBUZWNobmlx dWVzLg0KCeKAoiBEZWNsYXJhdGl2ZSBwcm9ncmFtbWluZzogRGVjbGFyYXRp dmUgcHJvZ3JhbSBkZXZlbG9wbWVudCwgQW5hbHlzaXMsIFR5cGUgYW5kIG1v ZGUgaW5mZXJlbmNlLCBQYXJ0aWFsIGV2YWx1YXRpb24sIEFic3RyYWN0IGlu dGVycHJldGF0aW9uLCBUcmFuc2Zvcm1hdGlvbiwgVmFsaWRhdGlvbiwgVmVy aWZpY2F0aW9uLCBEZWJ1Z2dpbmcsIFByb2ZpbGluZywgVGVzdGluZywgRXhl Y3V0aW9uIHZpc3VhbGl6YXRpb24uDQoJ4oCiIEltcGxlbWVudGF0aW9uOiBW aXJ0dWFsIG1hY2hpbmVzLCBDb21waWxhdGlvbiwgTWVtb3J5IG1hbmFnZW1l bnQsIFBhcmFsbGVsL2Rpc3RyaWJ1dGVkIGV4ZWN1dGlvbiwgQ29uc3RyYWlu dCBoYW5kbGluZyBydWxlcywgVGFibGluZywgRm9yZWlnbiBpbnRlcmZhY2Vz LCBVc2VyIGludGVyZmFjZXMuDQoJ4oCiIFJlbGF0ZWQgUGFyYWRpZ21zIGFu ZCBTeW5lcmdpZXM6IEluZHVjdGl2ZSBhbmQgQ28taW5kdWN0aXZlIExvZ2lj IFByb2dyYW1taW5nLCBDb25zdHJhaW50IExvZ2ljIFByb2dyYW1taW5nLCBB bnN3ZXIgU2V0IFByb2dyYW1taW5nLCBJbnRlcmFjdGlvbiB3aXRoIFNBVCwg U01UIGFuZCBDU1Agc29sdmVycywgTG9naWMgcHJvZ3JhbW1pbmcgdGVjaG5p cXVlcyBmb3IgdHlwZSBpbmZlcmVuY2UgYW5kIHRoZW9yZW0gcHJvdmluZywg QXJndW1lbnRhdGlvbiwgUHJvYmFiaWxpc3RpYyBMb2dpYyBQcm9ncmFtbWlu ZywgUmVsYXRpb25zIHRvIG9iamVjdC1vcmllbnRlZCBhbmQgRnVuY3Rpb25h bCBwcm9ncmFtbWluZy4NCgnigKIgQXBwbGljYXRpb25zOiBEYXRhYmFzZXMs IEJpZyBEYXRhLCBEYXRhIGludGVncmF0aW9uIGFuZCBmZWRlcmF0aW9uLCBT b2Z0d2FyZSBlbmdpbmVlcmluZywgTmF0dXJhbCBsYW5ndWFnZSBwcm9jZXNz aW5nLCBXZWIgYW5kIFNlbWFudGljIFdlYiwgQWdlbnRzLCBBcnRpZmljaWFs IGludGVsbGlnZW5jZSwgQ29tcHV0YXRpb25hbCBsaWZlIHNjaWVuY2VzLCBF ZHVjYXRpb24sIEN5YmVyc2VjdXJpdHksIGFuZCBSb2JvdGljcy4NCg0KU3Vi bWlzc2lvbnMgb2YgdGhlIHJlc2VhcmNoIHN1bW1hcnkgbXVzdCBiZSBtYWRl IGluIE9wZW5BY2Nlc3MgU2VyaWVzIGluIEluZm9ybWF0aWNzIChPQVNJY3Mp IGZvcm1hdCAodGVtcGxhdGUgYXZhaWxhYmxlIGhlcmUpIGFuZCBzdWJtaXR0 ZWQgdmlhIEVhc3lDaGFpci4gQWNjZXB0ZWQgREMgcGFwZXJzIHdpbGwgYmUg cHVibGlzaGVkIGFzIHRlY2huaWNhbCBjb21tdW5pY2F0aW9ucyAoVENzKSBi eSBEYWdzdHVobCBQdWJsaXNoaW5nIGluIHRoZSBPcGVuQWNjZXNzIFNlcmll cyBpbiBJbmZvcm1hdGljcyAoT0FTSWNzKS4gQWxsIHBhcGVycyBtdXN0IGJl IHdyaXR0ZW4gaW4gRW5nbGlzaCBhbmQgc2hvdWxkIGJlIGJldHdlZW4gNSBh bmQgMTAgcGFnZXMuIEZvciBhbGwgYWNjZXB0ZWQgREMgcGFwZXJzLCB0aGUg c3R1ZGVudCBpcyByZXF1aXJlZCB0byBhdHRlbmQgdGhlIERDIHByb2dyYW0g YW5kIGdpdmUgYSBwcmVzZW50YXRpb24gb2YgMjAgbWludXRlcyBmb2xsb3dl ZCBieSBkaXNjdXNzaW9ucy4gQSBwcm9ncmFtIGNvbW1pdHRlZSBjb25zaXN0 aW5nIG9mIGV4cGVydHMgaW4gdmFyaW91cyBhcmVhcyByZWxhdGVkIHRvIGxv Z2ljIGFuZCBjb25zdHJhaW50IHByb2dyYW1taW5nIHJldmlld3MgdGhlIHN1 Ym1pc3Npb25zLiBQYXBlcnMgYXJlIHJldmlld2VkIGJ5IGF0IGxlYXN0IHR3 bywgYW5kIHVzdWFsbHkgdGhyZWUsIHJlZmVyZWVzLg0KDQpUaGUgc3VibWlz c2lvbiBwYWNrYWdlIHNob3VsZCBjb25zaXN0IG9mIHRoZSByZXNlYXJjaCBz dW1tYXJ5IGluIHRoZSBPQVNJY3MgZm9ybWF0IG1lbnRpb25lZCBhYm92ZSBh bmQgdGhlIGFkZGl0aW9uYWwgZG9jdW1lbnRzIG1lbnRpb25lZCBiZWxvdyBp biB0aGUgZmluYW5jaWFsIHN1cHBvcnQgc2VjdGlvbiAtIGFsbCBzdHVkZW50 cyBtdXN0IHN1Ym1pdCB0aGVzZSBkb2N1bWVudHMgZXZlbiBpZiB0aGV5IGRv bid0IGFwcGx5IGZvciBmaW5hbmNpYWwgYWlkIChhIHNob3J0IHZpdGEgb3Ig Y292ZXIgbGV0dGVyIG9mIHRoZSBhcHBsaWNhbnQsIGEgbGV0dGVyIG9mIHJl Y29tbWVuZGF0aW9uIGZyb20gYXBwbGljYW50J3MgZmFjdWx0eSBhZHZpc29y LCBhbmQgb25lIHBhcmFncmFwaCBzdGF0ZW1lbnQgb3V0bGluaW5nIGhvdyB0 aGUgc2Nob29sIHdpbGwgYmVuZWZpdCB0aGUgYXBwbGljYW50KS4gQWxsIG1h dGVyaWFsIGlzIHRvIGJlIHN1Ym1pdHRlZCBlbGVjdHJvbmljYWxseSwgaW4g UERGIGZvcm1hdCBvbiB0aGUgRWFzeWNoYWlyIHN5c3RlbS4NCg0KRWFzeWNo YWlyIGxpbms6IA0KDQpodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5j ZXMvP2NvbmY9aWNscDIwMTkgKERvY3RvcmFsIENvbnNvcnRpdW0gdHJhY2sp DQoNClJlc2VhcmNoIHN1bW1hcnkgKG1ha2Ugc3VyZSB0byBpbmNsdWRlIHlv dXIgY29tcGxldGUgbmFtZSwgYWRkcmVzcywgYW5kIGFmZmlsaWF0aW9uKToN Cg0KVGhlIGJvZHkgb2YgeW91ciByZXNlYXJjaCBzdW1tYXJ5IChubyBtb3Jl IHRoYW4gMTAgcGFnZXMsIGJ1dCA1IGlzIGZpbmUgYXMgd2VsbCEpIHNob3Vs ZCBwcm92aWRlIGEgY2xlYXIgb3ZlcnZpZXcgb2YgeW91ciByZXNlYXJjaCwg aXRzIHBvdGVudGlhbCBpbXBhY3QsIGFuZCBpdHMgY3VycmVudCBzdGF0dXMu IFlvdSBhcmUgZW5jb3VyYWdlZCB0byBpbmNsdWRlIHRoZSBmb2xsb3dpbmcg c2VjdGlvbnM6DQoJCQnigKIgSW50cm9kdWN0aW9uIGFuZCBwcm9ibGVtIGRl c2NyaXB0aW9uDQoJCQnigKIgQmFja2dyb3VuZCBhbmQgb3ZlcnZpZXcgb2Yg dGhlIGV4aXN0aW5nIGxpdGVyYXR1cmUNCgkJCeKAoiBHb2FsIG9mIHRoZSBy ZXNlYXJjaA0KCQkJ4oCiIEN1cnJlbnQgc3RhdHVzIG9mIHRoZSByZXNlYXJj aA0KCQkJ4oCiIFByZWxpbWluYXJ5IHJlc3VsdHMgYWNjb21wbGlzaGVkIChp ZiBhbnkpDQoJCQnigKIgT3BlbiBpc3N1ZXMgYW5kIGV4cGVjdGVkIGFjaGll dmVtZW50cw0KCQkJ4oCiIEJpYmxpb2dyYXBoaWNhbCByZWZlcmVuY2VzIA0K DQpGaW5hbmNpYWwgU3VwcG9ydA0KDQpTdHVkZW50cyBhcmUgaW52aXRlZCB0 byBzdWJtaXQgdG8gdGhlIERvY3RvcmFsIENvbnNvcnRpdW0gKHdpdGhpbiB0 aGUgc3VibWlzc2lvbiBkZWFkbGluZSkgdG8gcmVjZWl2ZSBmaW5hbmNpYWwg YXNzaXN0YW5jZS4gQSBudW1iZXIgb2Ygc2Nob2xhcnNoaXBzIGZvciBzdHVk ZW50cyB0aGF0IGNvdmVyIGxvY2FsIGV4cGVuc2VzIGZvciB0aGUgZHVyYXRp b24gb2YgdGhlIERDIGFuZCBzY2hvb2wgYXJlIGF2YWlsYWJsZS4gVG8gYXBw bHkgZm9yIHRoZXNlIHNjaG9sYXJzaGlwcywgc3R1ZGVudHMgc2hvdWxkIHN1 Ym1pdCB0aGUgZm9sbG93aW5nIGluZm9ybWF0aW9uIGFzIHBhcnQgb2YgdGhl aXIgREMgYXBwbGljYXRpb246DQoJCQnigKIgQSBzaG9ydCB2aXRhIG9yIGNv dmVyIGxldHRlciBvZiB0aGUgYXBwbGljYW50LCBjb250YWluaW5nOg0KCQkJ CeKAoiBGdWxsIG5hbWUgb2Ygc2Nob29sIGFuZCBkZXBhcnRtZW50IHRvIHdo aWNoIHlvdSBhcmUgYWZmaWxpYXRlZA0KCQkJCeKAoiBOYW1lKHMpIG9mIHlv dXIgc3VwZXJ2aXNpbmcgcHJvZmVzc29yKHMpDQoJCQkJ4oCiIFRpdGxlIG9m IHlvdXIgcmVzZWFyY2ggd29yayBhbmQga2V5d29yZHMgcGVydGluZW50IHRv IHlvdXIgcmVzZWFyY2gNCgkJCQnigKIgQ3VycmVudCBzdGFnZSBpbiB5b3Vy IHByb2dyYW0gb2Ygc3R1ZHkgKGUuZy4gUGguRC4vTVMgc3R1ZGVudCwgc3Rh cnQgZGF0ZSkNCgkJCQnigKIgQ29udGFjdCBpbmZvcm1hdGlvbjogZnVsbCBu YW1lLCBhZGRyZXNzLCB0ZWxlcGhvbmUgbnVtYmVyLCBhbmQgZW1haWwgYWRk cmVzcw0KCQkJCeKAoiBVUkwgb2YgeW91ciB3ZWIgcGFnZSAoaWYgYW55KQ0K CQkJCeKAoiBPbmUgcGFyYWdyYXBoIHN0YXRlbWVudCBvdXRsaW5pbmcgaG93 IHRoZSBzY2hvb2wgd2lsbCBiZW5lZml0IHRoZSBhcHBsaWNhbnQuDQoJCQni gKIgQSBsZXR0ZXIgb2YgcmVjb21tZW5kYXRpb24gZnJvbSBhcHBsaWNhbnQn cyBncmFkdWF0ZSBvciB0aGVzaXMgYWR2aXNvci4gUGxlYXNlIGludml0ZSB5 b3VyIGFkdmlzZXIocykgdG8gZ2l2ZSBhbiBpbmRpY2F0aW9uIG9mIHRoZSBj dXJyZW50IHN0YXR1cyBvZiB5b3VyIHJlc2VhcmNoIGFuZCBvZiB0aGUgZXhw ZWN0ZWQgZGF0ZSBvZiB0aGVzaXMgc3VibWlzc2lvbi4gSW4gYWRkaXRpb24s IHlvdXIgYWR2aXNlcihzKSBzaG91bGQgYnJpZWZseSBkZXNjcmliZSB3aGF0 IHNoZS9oZSBob3BlcyB5b3UgdG8gZ2FpbiBmcm9tIHBhcnRpY2lwYXRpb24g aW4gdGhlIERDLg0KVGhlIGxldHRlciBmcm9tIHRoZSBhZHZpc29yIHNob3Vs ZCBhbHNvIGNlcnRpZnkgdGhhdCB0aGUgYXBwbGljYW50IGlzIGEgZnVsbC10 aW1lIHN0dWRlbnQuDQoNClJldmlldyBDcml0ZXJpYQ0KDQoJ4oCiIFRoZSBE QyBwcm9ncmFtIGNvbW1pdHRlZSB3aWxsIHNlbGVjdCBwYXJ0aWNpcGFudHMg YmFzZWQgb24gdGhlaXIgYW50aWNpcGF0ZWQgY29udHJpYnV0aW9uIHRvIHRo ZSBEQyBvYmplY3RpdmVzLiBQYXJ0aWNpcGFudHMgdHlwaWNhbGx5IGhhdmUg c2V0dGxlZCBvbiB0aGVpciB0aGVzaXMgZGlyZWN0aW9ucyBhbmQgaGF2ZSB0 aGVpciByZXNlYXJjaCBwcm9wb3NhbCBhY2NlcHRlZCBieSB0aGVpciB0aGVz aXMgY29tbWl0dGVlLiBTdHVkZW50cyB3aWxsIGJlIHNlbGVjdGVkIGJhc2Vk IG9uIGNsYXJpdHkgYW5kIGNvbXBsZXRlbmVzcyBvZiB0aGVpciBzdWJtaXNz aW9uIHBhY2thZ2UsIHJlbGV2YW5jZSBvZiB0aGVpciByZXNlYXJjaCBhcmVh IHcuci50LiB0aGUgZm9jdXMgb2YgSUNMUCwgc3RhZ2Ugb2YgcmVzZWFyY2gs IHJlY29tbWVuZGF0aW9uIGxldHRlciwgYW5kIGV2aWRlbmNlIG9mIHByb21p c2UgdG93YXJkcyBhIHN1Y2Nlc3NmdWwgY2FyZWVyIGluIHJlc2VhcmNoIGFu ZCBhY2FkZW1pYSwgc3VjaCBhcyBwdWJsaXNoZWQgcGFwZXJzIG9yIHRlY2hu aWNhbCByZXBvcnRzLg0KDQpSZWdpc3RyYXRpb24NCg0KCeKAoiBSZWdpc3Ry YXRpb24gaXMgcGFydCBvZiB0aGUgSUNMUCAyMDE5IHJlZ2lzdHJhdGlvbjog aHR0cHM6Ly93d3cuY3Mubm1zdS5lZHUvQUxQL2ljbHAyMDE5Lw0KDQpQcm9n cmFtIENvbW1pdHRlZQ0KDQpDYXJtaW5lIERvZGFybywgVW5pdmVyc2l0eSBv ZiBHZW5vdmEgJiBESUJSSVMsIEl0YWx5DQpDcmlzdGluYSBGZWllciwgVW5p dmVyc2l0eSBvZiBCcmVtZW4sIEdlcm1hbnkNCkVrYXRlcmluYSBLb21lbmRh bnRza2F5YSwgSGVyaW90LVdhdHQgVW5pdmVyc2l0eSwgVUsNCkZhYmlvIEZp b3JhdmFudGksIFVuaXZlcnNpdHkgb2YgQ2hpZXRpLVBlc2NhcmEsIEl0YWx5 DQpGcmFuY2VzY28gUmljY2EsIERlcGFydG1lbnQgb2YgTWF0aGVtYXRpY3Mg VW5pdmVyc2l0eSBvZiBDYWxhYnJpYSwgSXRhbHkNCkZyYW5rIFZhbGVuY2lh LCBMSVgsIEVjb2xlIFBvbHl0ZWNobmlxdWUsIEZyYW5jZQ0KSm9yZ2UgRmFu ZGlubywgVW5pdmVyc2l0eSBvZiBDb3J1bm5hLCBTcGFpbg0KSm9zZSBGLiBN b3JhbGVzLCBJTURFQSBTb2Z0d2FyZSBSZXNlYXJjaCBJbnN0aXR1dGUsIFNw YWluDQpNYXJjbyBNYXJhdGVhLCBVbml2ZXJzaXR5IG9mIEdlbm92YSAmIERJ QlJJUywgSXRhbHkNCk1hcnRpbiBHZWJzZXIsIEFhbHRvIFVuaXZlcnNpdHks IEZpbmxhbmQNCk1pY2hhZWwgR2VsZm9uZCwgVGV4YXMgVGVjaCBVbml2ZXJz aXR5LCBVU0ENCg0KUHJvZ3JhbSBjby1jaGFpcnM6DQoJ4oCiIERhbmllbGEg SW5jbGV6YW4sIE1pYW1pIFVuaXZlcnNpdHkNCgnigKIgUGF1bCBGb2Rvciwg U3RvbnkgQnJvb2sgVW5pdmVyc2l0eQ0KDQo=