From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a05:600c:4102:: with SMTP id j2mr3353654wmi.159.1588326277704; Fri, 01 May 2020 02:44:37 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a1c:5644:: with SMTP id k65ls5732350wmb.1.gmail; Fri, 01 May 2020 02:44:36 -0700 (PDT) X-Received: by 2002:a7b:c7d6:: with SMTP id z22mr3372137wmk.73.1588326276415; Fri, 01 May 2020 02:44:36 -0700 (PDT) Return-Path: Received: from EUR04-DB3-obe.outbound.protection.outlook.com ([52.100.17.31]) by gmr-mx.google.com with ESMTPS id u15si106351wru.2.2020.05.01.02.44.36 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 01 May 2020 02:44:36 -0700 (PDT) Received-SPF: pass (google.com: domain of claudio.sa...@unibo.it designates 52.100.17.31 as permitted sender) client-ip=52.100.17.31; Authentication-Results: gmr-mx.google.com; dkim=pass head...@liveunibo.onmicrosoft.com header.s=selector2-liveunibo-onmicrosoft-com header.b="ZRImGM/o"; dkim=fail head...@liveunibo.onmicrosoft.com header.s=selector2-liveunibo-onmicrosoft-com header.b=P7TI+t5n; arc=fail (signature failed); spf=pass (google.com: domain of claudio.sa...@unibo.it designates 52.100.17.31 as permitted sender) smtp.mailfrom=claudio.sa...@unibo.it DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=liveunibo.onmicrosoft.com; s=selector2-liveunibo-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=hJl0U4zroguv/jlANVsQLsIIrFZseHmysdCG9qUJ+XI=; b=ZRImGM/oNvEvvdBp0Dy5JLO7NF5lL+8Dyjk3dfik9iET8MT03zRFaEjJf7Y2sQa6R4o99LVXtrfxeAMDKn1Qgss+dAIx0wio5Orv69gKTs0+Wh1Ylg9qxELDS6ymSgSd4KcqNf7SxnIXxiz2joBzYMzUHEXrASo0/oLQImyeaaE= Received: from AM0PR0102MB3058.eurprd01.prod.exchangelabs.com (2603:10a6:208:1b::14) by AM0PR0102MB3139.eurprd01.prod.exchangelabs.com (2603:10a6:208:17::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2958.21; Fri, 1 May 2020 09:44:35 +0000 Received: from AM0PR0102MB3058.eurprd01.prod.exchangelabs.com ([fe80::d15e:a2f3:2bd4:d2f5]) by AM0PR0102MB3058.eurprd01.prod.exchangelabs.com ([fe80::d15e:a2f3:2bd4:d2f5%7]) with mapi id 15.20.2937.028; Fri, 1 May 2020 09:44:35 +0000 From: Claudio Sacerdoti Coen To: "homotopyt...@googlegroups.com" Subject: WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming) Thread-Topic: WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming) Thread-Index: AQHWH5xjZWN6kkXdzEKBNisK8O/BCQ== Date: Fri, 1 May 2020 09:44:35 +0000 Message-ID: <3a42f551ce77eddd3d13e4e42ec0903ac2b9785e.camel@unibo.it> Accept-Language: it-IT, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Resent-From: Claudio Sacerdoti Coen received-spf: Pass (sender SPF authorized) identity=mailfrom; client-ip=40.107.22.90; helo=eur05-am6-obe.outbound.protection.outlook.com; envelope-from=claudio.sa...@unibo.it; receiver=sace...@cs.unibo.it x-ms-publictraffictype: Email user-agent: Evolution 3.36.1-2 arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=VY8cjvLXFpoOof31994VPoqg8Sgytjmtk4kqwmuw2m5LijN2qsOqCZLqFp+fRY3UN7ZM/1KoTxzcNgskP7xoyQYQ0OBLuKT/fSbKHpK+AF8OfcPSUwtHSGM8V8ys25X6L0MHVLsRHmyTIHDaZUifcj0POrLOFuuypbaU8F00J6PPffDLo3CbvgJ/IZ5FnuLqD+kBMUNyXSk4KeKMFdO+iBKnnWeAunHTn3CJed+OgX9E0ZMyRel/1JG4/p1tqT+Fu5/dW32ZMZw9rCn5+ZPqydpPzDSKf5f+tL04+7JZ8opPyLcW9V6bpkYXfS0Q/PQi50BaJ/TeWvxaS46DNw87dg== arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=hJl0U4zroguv/jlANVsQLsIIrFZseHmysdCG9qUJ+XI=; b=m7yGtnDq77ZbHrCjpbzuNXqyYLrhXmNUP+pijASZLB3m7+ghDUJsJ2uHqOKv+m/9el0smLdJr3QAE/O2JAP3BTgq7OytjE6EBzTmfYL7KFHUC5nj+B0oEeJxoXBzfOr/LFyxwU/aN63Pb4beygp3+t07tIzi6+g10TnX7mJb2+dYbpc2gigvZZyvNFFxzK8QfN/7/ch0XEloJSEQTGdgsDsx9CatTzYQBXasiRFviM25OeOIBkSWeWDOcy9VOjIYV2p3WyYngRYhF/Sdbvbe4fmoZ/5KVdVjsPyVOHcV/l2g58mEPI31FkIHJ49R5tUgvLcD5PKLucFoWWcU+ZRMQw== arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=unibo.it; dmarc=pass action=none header.from=unibo.it; dkim=pass header.d=unibo.it; arc=none dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=liveunibo.onmicrosoft.com; s=selector2-liveunibo-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=hJl0U4zroguv/jlANVsQLsIIrFZseHmysdCG9qUJ+XI=; b=P7TI+t5nLnIMtUXqbKTuszM1Jvl30pS4NzToZRh0f2FlCvRnkMFB0kPGjhxIDg5JaIsS3tQ1OwPic0jCtfN7Sy1uc5AsCyRG/q+NdENX4suDxe1pRFa65ohxHZgSsWh/27CDTo5dsglOUce8OC6vCULt13rvc2SDOZQ/zI2SOPo= authentication-results: spf=pass (sender IP is 130.136.1.25) smtp.mailfrom=csrs.cs.unibo.it; unibo.it; dkim=pass (signature was verified) header.d=liveunibo.onmicrosoft.com;unibo.it; dmarc=bestguesspass action=none header.from=unibo.it;compauth=pass reason=109 x-originating-ip: [93.44.81.176] x-ms-office365-filtering-correlation-id: e5591c77-6ea3-4c22-0141-08d7edb3ae81 x-ms-traffictypediagnostic: AM0PR0102MB3106:|HE1PR0101MB2426:|AM0PR0102MB3139: x-microsoft-antispam-prvs: x-ms-exchange-transport-forked: True x-ms-oob-tlc-oobclassifiers: OLM:10000;OLM:10000;OLM:10000; x-forefront-prvs: 0390DB4BDA x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM0PR0102MB3058.eurprd01.prod.exchangelabs.com;PTR:;CAT:NONE;SFTY:;SFS:(4636009)(136003)(376002)(396003)(39860400002)(346002)(86362001)(66946007)(66446008)(70586007)(91956017)(66556008)(6506007)(64756008)(66476007)(6486002)(786003)(26005)(36756003)(6916009)(186003)(8676002)(316002)(8936002)(800100003)(6512007)(2616005)(66574012)(5660300002)(478600001)(71200400001)(2906002)(966005);DIR:OUT;SFP:1501; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: prWAfWhUxMkn1AzqbdIeOJQLfGyG/a5bo9o9QpUzVkcTeCEPcpcvE9aoMxvq3USRGJ/qyQErHyxsNGZcU+SNI68iJvGzZxLSx9PC4cdxveI4UGyDVujrLe0Ox019TZIPuP8PFcVVQfLyGN7b8lWxFxnkmUl6heiNztmxIeupeE6ztih9YNnFUdVPZbwUFRMcjKUv22tRMUV/Vnfki2uA/1z19G8T/BsGugrt0CXS23g3wkve86forGzeMtlzwWYuz1Ed5fepkpEsTfKFhtb6vM/BvWs/tCNUexPoHr1PtNQ5A2gSTzBGrnRbeSwLcJmWVgED/ye6k+0Z74+g6rMcoFOFSMRR5yD7AG++LDutlsuJUNHOlhWGs8AJt/WbApYuTIkPcNpybdYcfXIzutAjMj3TbIbd58pxKiYbLlNjZ9P2/Ers7PB87NUT7yvfCYkIq/vZM/faOPMu0GsjxZ7TEiy/zCI+jjuOZNZ/JHwnPAMmpdVz+5A2KiTB1jY5v19omFnjjNIOtlx7bIGINsYz1Q== x-ms-exchange-antispam-messagedata: 2ma05rLwZebyfbpMCHTRztieGJV7g5cque5j419kmOpmUM3IyaSP+ZPz69IfxWlqB0dJNQotd/ImLlyv7DIWtGXvUPh/LGSr8EYsMu4BhgX1wRufYOxZ1d98IdzdUMC1H/b63IUws+pb1VtfuSStSKubiYCzfmDwxlkORwKbIzP7CBY+rcCRJyy5z1HTFPvIZU9C2Bft5GbGcyvnJNm/Jx0dxv3ZMgMIJTwdL+SXDz+5ubG4PpndURYWbPaa6Iu5E5ZkCm2yqm8ck+pdiCksUiksKtHgS5thnpCfLoD38VzN306wH9TkfVDKlywxIaSioYqK5SYKeZ5wG5QYhhyTpCOD7adnXV8WN/ZpwxuALOYJYyW4gJToIx2FIgvZqVyehW8ZNE2PJIn80qseIK4w/nPScTozm4IMyZ97NrvJI1SyZDAw9drXHJ8EiVkAbIQ8oXvs38EOiRtrLUnD3ZX10/8ZgnRBbXdJlJUmvswmuT/sTa5vu+IWJwPQPMAtj0R6hx43J2957vmTJO3Q0my60d6S6Yyx48qbzx3WFLhQkSFYt1cynUeV5zJIDWnJ2xsQz48OfJZ5M36xjmZf8K/8wCjt9u/ThdNYun2elzBLxgufxz8rIQoVF15yEK50ZQqpTCJONCFC+ZpYMpevvU0jdJGfqrP5BKKFuB/VdZ6B2H5Fd8cIik2Zd4sJ7pa318pCc/etOcqWL/aBrHeoqfUgJwPQmIKOdGksfeUBvVez52CzORTAVxZkoLha6xWph4ZfEo0vYI6/gxTeAb4+7imgrQTab6Q3KER2h92nIOkMJKo= x-ms-exchange-crosstenant-network-message-id: e5591c77-6ea3-4c22-0141-08d7edb3ae81 x-ms-exchange-crosstenant-originalarrivaltime: 01 May 2020 09:40:27.7301 (UTC) x-ms-exchange-crosstenant-fromentityheader: Internet x-ms-exchange-crosstenant-id: e99647dc-1b08-454a-bf8c-699181b389ab x-ms-exchange-transport-crosstenantheadersstamped: HE1PR0101MB2426 x-ms-office365-filtering-correlation-id-prvs: e5591c77-6ea3-4c22-0141-08d7edb3ae81 authentication-results-original: lists.informatik.uni-erlangen.de; dkim=none (message not signed) header.d=none;lists.informatik.uni-erlangen.de; dmarc=none action=none header.from=unibo.it; x-forefront-antispam-report-untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM0PR0102MB3058.eurprd01.prod.exchangelabs.com;PTR:;CAT:NONE;SFTY:;SFS:(4636009)(376002)(346002)(39860400002)(366004)(136003)(396003)(66946007)(786003)(8676002)(316002)(8936002)(71200400001)(91956017)(36756003)(66446008)(64756008)(66556008)(76116006)(66476007)(6862004)(2616005)(966005)(86362001)(66574012)(5660300002)(2906002)(6512007)(186003)(6506007)(26005)(478600001)(6486002);DIR:OUT;SFP:1102; x-microsoft-antispam-untrusted: BCL:0; x-microsoft-antispam-message-info-original: uKn+MRgWgCGiVs0lnRsyc7+0+ztVnOOiMRHPYNqoA1SnYy33KUQKjdS0IWyMBdnkbQriCTsowALRbCONEkJAm7irnCJU3RYK8+nwgxRI41tQTcLlTiLpIeMH5B4hcFyKr0fYrnnnvtPt2UOT4FTYQHdVSzr5G2bakK/8Km8ygID1TGuUHUboaI4eWAMQMwXtG1x0y0HAQzrXO4Vn62FyF6jzA6VPjen7s22z13frYrG9MOli78VE7mE9O9gIVQBF0xJ6cXs7HjUrJeJHwyfX8ApLnYcG9lwVd57/YNYPLYDP1w8uCtxO3cuUd8o8dy/T2/X29b+j3F1GYOnLpigAKPbAwcXqgppDFmkp/OJkEexr6oGvNpke8lbjerIRCMrM4/JtqGAsZThyOFD0gsSKfSst6MK0UNDdWM3sfXQDbrIYfs9RbWEtu4InFRBiOZ6MKo8bbAQ5u9HNP5bBlik8L39tkGoA4CDIh/PB+YLwK9hGpajJknvvCz2biwEr+75oTgX270UjdeRxEReA1h9qAw== x-eopattributedmessage: 0 x-eoptenantattributedmessage: e99647dc-1b08-454a-bf8c-699181b389ab:0 x-ms-exchange-transport-crosstenantheadersstripped: AM5EUR03FT027.eop-EUR03.prod.protection.outlook.com x-ms-exchange-transport-endtoendlatency: 00:00:02.4255566 x-ms-exchange-processed-by-bccfoldering: 15.20.2937.014 x-microsoft-antispam-mailbox-delivery: ucf:0;jmr:0;auth:0;dest:I;ENG:(20160514016)(750127)(520002050)(944506383)(944626516); Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: unibo.it X-MS-Exchange-CrossTenant-Network-Message-Id: e5591c77-6ea3-4c22-0141-08d7edb3ae81 X-MS-Exchange-CrossTenant-originalarrivaltime: 01 May 2020 09:44:35.4071 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: e99647dc-1b08-454a-bf8c-699181b389ab X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: Tg8bv7Nlc6WN/lCBZeDV7YTVLenJRxUQQajDquFmZrCkRW84WFodVLQmd6GhXDCNTLtGlBSFGm0cNWcWkMAeuRbIvJYA86ciEnLfLMvGAdU= X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM0PR0102MB3139 PT09PT09PT09PT09PT09PT09PT09PT09PT0NCldGTFAgMjAyMDogQ2FsbCBmb3IgUGFwZXJzDQo9 PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQoyOHRoIEludGVybmF0aW9uYWwgV29ya3Nob3Ag b24gRnVuY3Rpb25hbCBhbmQgKENvbnN0cmFpbnQpIExvZ2ljDQpQcm9ncmFtbWluZw0KDQojIyBE dWUgdG8gdGhlIGNvcm9uYXZpcnVzIHBhbmRlbWljLCB0aGUgd29ya3Nob3Agd2lsbCBiZSBvcmdh bml6ZWQgYnkNCiMjIHRoZSBVbml2ZXJzaXR5IG9mIEJvbG9nbmEsIGJ1dCBpdCB3aWxsIGJlIGhl bGQgZW50aXJlbHkgb24tbGluZS4NCg0KQm9sb2duYSwgSXRhbHksIFNlcHRlbWJlciA3dGgsIDIw MjANCihwYXJ0IG9mIEJvbG9nbmEgRmVkZXJhdGVkIENvbmZlcmVuY2Ugb24gUHJvZ3JhbW1pbmcg TGFuZ3VhZ2VzIDIwMjA7DQpjby1sb2NhdGVkIHdpdGggUFBEUCwgTE9QU1RSLCBNaWNyb3NlcnZp Y2VzKQ0KDQpJbXBvcnRhbnQgRGF0ZXMNCg0KUGFwZXIgUmVnaXN0cmF0aW9uOiBKdW5lLCAyOXRo DQpTdWJtaXNzaW9uOiBKdWx5LCAwNnRoDQpOb3RpZmljYXRpb24gb2YgQXV0aG9yczogSnVseSwg Mjd0aA0KQ2FtZXJhLXJlYWR5IFBhcGVyczogQXVndXN0LCAyNHRoDQpDb25mZXJlbmNlICYgV29y a3Nob3BzOiBTZXB0ZW1iZXIgN3RoLCAyMDIwDQoNCg0KV0ZMUCAyMDIwDQoNClRoZSBpbnRlcm5h dGlvbmFsIFdvcmtzaG9wIG9uIEZ1bmN0aW9uYWwgYW5kIChjb25zdHJhaW50KSBMb2dpYw0KUHJv Z3JhbW1pbmcgKFdGTFApIGFpbXMgYXQgYnJpbmdpbmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMsIHN0 dWRlbnRzLCBhbmQNCnByYWN0aXRpb25lcnMgaW50ZXJlc3RlZCBpbiBmdW5jdGlvbmFsIHByb2dy YW1taW5nLCBsb2dpYyBwcm9ncmFtbWluZywNCmFuZCB0aGVpciBpbnRlZ3JhdGlvbi4gV0ZMUCBo YXMgYSByZXB1dGF0aW9uIGZvciBiZWluZyBhIGxpdmVseSBhbmQNCmZyaWVuZGx5IGZvcnVtLCBh bmQgaXQgaXMgb3BlbiBmb3IgcHJlc2VudGluZyBhbmQgZGlzY3Vzc2luZyB3b3JrIGluDQpwcm9n cmVzcywgdGVjaG5pY2FsIGNvbnRyaWJ1dGlvbnMsIGV4cGVyaWVuY2UgcmVwb3J0cywgZXhwZXJp bWVudHMsDQpyZXZpZXdzLCBhbmQgc3lzdGVtIGRlc2NyaXB0aW9ucy4NCg0KVGhlIDI4dGggSW50 ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBGdW5jdGlvbmFsIGFuZCAoQ29uc3RyYWludCkgTG9naWMN ClByb2dyYW1taW5nIChXRkxQIDIwMjApIHdpbGwgYmUgb3JnYW5pemVkIGJ5IHRoZSBVbml2ZXJz aXR5IG9mIEJvbG9nbmEsDQpJdGFseSwgYXMgcGFydCBvZiBCb2xvZ25hIEZlZGVyYXRlZCBDb25m ZXJlbmNlIG9uIFByb2dyYW1taW5nIExhbmd1YWdlcw0KMjAyMCBhbmQgaXQgd2lsbCBiZSBoZWxk IGVudGlyZWx5IG9uLWxpbmUgZHVlIHRvIHRoZSBjb3JvbmF2aXJ1cw0KcGFuZGVtaWMuDQoNClBy ZXZpb3VzIFdGTFAgZWRpdGlvbnMgd2VyZSBXRkxQIDIwMTkgKENvdHRidXMsIEdlcm1hbnkpLCBX RkxQIDIwMTgNCihGcmFua2Z1cnQgYW0gTWFpbiwgR2VybWFueSksIFdGTFAgMjAxNyAoV8O8cnpi dXJnLCBHZXJtYW55KSwgV0ZMUCAyMDE2DQooTGVpcHppZywgR2VybWFueSksIFdGTFAgMjAxNCAo V2l0dGVuYmVyZywgR2VybWFueSksIFdGTFAgMjAxMyAoS2llbCwNCkdlcm1hbnkpLCBXRkxQIDIw MTIgKE5hZ295YSwgSmFwYW4pLCBXRkxQIDIwMTEgKE9kZW5zZSwgRGVubWFyayksIFdGTFANCjIw MTAgKE1hZHJpZCwgU3BhaW4pLCBXRkxQIDIwMDkgKEJyYXNpbGlhLCBCcmF6aWwpLCBXRkxQIDIw MDggKFNpZW5hLA0KSXRhbHkpLCBXRkxQIDIwMDcgKFBhcmlzLCBGcmFuY2UpLCBXRkxQIDIwMDYg KE1hZHJpZCwgU3BhaW4pLCBXQ0ZMUA0KMjAwNSAoVGFsbGlubiwgRXN0b25pYSksIFdGTFAgMjAw NCAoQWFjaGVuLCBHZXJtYW55KSwgV0ZMUCAyMDAzDQooVmFsZW5jaWEsIFNwYWluKSwgV0ZMUCAy MDAyIChHcmFkbywgSXRhbHkpLCBXRkxQIDIwMDEgKEtpZWwsIEdlcm1hbnkpLA0KV0ZMUCAyMDAw IChCZW5pY2Fzc2ltLCBTcGFpbiksIFdGTFAnOTkgKEdyZW5vYmxlLCBGcmFuY2UpLCBXRkxQJzk4 IChCYWQNCkhvbm5lZiwgR2VybWFueSksIFdGTFAnOTcgKFNjaHdhcnplbmJlcmcsIEdlcm1hbnkp LCBXRkxQJzk2IChNYXJidXJnLA0KR2VybWFueSksIFdGTFAnOTUgKFNjaHdhcnplbmJlcmcsIEdl cm1hbnkpLCBXRkxQJzk0IChTY2h3YXJ6ZW5iZXJnLA0KR2VybWFueSksIFdGTFAnOTMgKFJhdHRl bmJlcmcsIEdlcm1hbnkpLCBhbmQgV0ZMUCc5MiAoS2FybHNydWhlLA0KR2VybWFueSkuDQoNClRv cGljcw0KDQpUaGUgdG9waWNzIG9mIGludGVyZXN0IGNvdmVyIGFsbCBhc3BlY3RzIG9mIGZ1bmN0 aW9uYWwgYW5kIGxvZ2ljDQpwcm9ncmFtbWluZy4gVGhleSBpbmNsdWRlIChidXQgYXJlIG5vdCBs aW1pdGVkIHRvKToNCg0KKiBGdW5jdGlvbmFsIHByb2dyYW1taW5nDQoqIExvZ2ljIHByb2dyYW1t aW5nDQoqIENvbnN0cmFpbnQgcHJvZ3JhbW1pbmcNCiogRGVkdWN0aXZlIGRhdGFiYXNlcywgZGF0 YSBtaW5pbmcNCiogRXh0ZW5zaW9ucyBvZiBkZWNsYXJhdGl2ZSBsYW5ndWFnZXMsIG9iamVjdHMN CiogTXVsdGktcGFyYWRpZ20gZGVjbGFyYXRpdmUgcHJvZ3JhbW1pbmcNCiogRm91bmRhdGlvbnMs IHNlbWFudGljcywgbm9uLW1vbm90b25pYyByZWFzb25pbmcsIGR5bmFtaWNzDQoqIFBhcmFsbGVs aXNtLCBjb25jdXJyZW5jeQ0KKiBQcm9ncmFtIGFuYWx5c2lzLCBhYnN0cmFjdCBpbnRlcnByZXRh dGlvbg0KKiBQcm9ncmFtIGFuZCBtb2RlbCBtYW5pcHVsYXRpb24NCiogUHJvZ3JhbSB0cmFuc2Zv cm1hdGlvbiwgcGFydGlhbCBldmFsdWF0aW9uLCBtZXRhLXByb2dyYW1taW5nDQoqIFNwZWNpZmlj YXRpb24sDQoqIFZlcmlmaWNhdGlvbg0KKiBEZWJ1Z2dpbmcNCiogVGVzdGluZw0KKiBLbm93bGVk Z2UgcmVwcmVzZW50YXRpb24sIG1hY2hpbmUgbGVhcm5pbmcNCiogSW50ZXJhY3Rpb24gb2YgZGVj bGFyYXRpdmUgcHJvZ3JhbW1pbmcgd2l0aCBvdGhlciBmb3JtYWxpc21zDQoqIEltcGxlbWVudGF0 aW9uIG9mIGRlY2xhcmF0aXZlIGxhbmd1YWdlcw0KKiBBZHZhbmNlZCBwcm9ncmFtbWluZyBlbnZp cm9ubWVudHMgYW5kIHRvb2xzDQoqIFNvZnR3YXJlIHRlY2huaXF1ZXMgZm9yIGRlY2xhcmF0aXZl IHByb2dyYW1taW5nDQoqIEFwcGxpY2F0aW9ucw0KDQpUaGUgcHJpbWFyeSBmb2N1cyBpcyBvbiBu ZXcgYW5kIG9yaWdpbmFsIHJlc2VhcmNoIHJlc3VsdHMsIGJ1dA0Kc3VibWlzc2lvbnMgZGVzY3Jp YmluZyBpbm5vdmF0aXZlIHByb2R1Y3RzLCBwcm90b3R5cGVzIHVuZGVyDQpkZXZlbG9wbWVudCwN CmFwcGxpY2F0aW9uIHN5c3RlbXMsIG9yIGludGVyZXN0aW5nIGV4cGVyaW1lbnRzIChlLmcuLCBi ZW5jaG1hcmtzKSBhcmUNCmFsc28gZW5jb3VyYWdlZC4gU3VydmV5IHBhcGVycyB0aGF0IHByZXNl bnQgc29tZSBhc3BlY3RzIG9mIHRoZSBhYm92ZQ0KdG9waWNzIGZyb20gYSBuZXcgcGVyc3BlY3Rp dmUsIGFuZCBleHBlcmllbmNlIHJlcG9ydHMgYXJlIGFsc28gd2VsY29tZS4NCg0KUGFwZXJzIG11 c3QgYmUgd3JpdHRlbiBhbmQgcHJlc2VudGVkIGluIEVuZ2xpc2guIFdvcmsgdGhhdCBhbHJlYWR5 DQphcHBlYXJlZCBpbiB1bnB1Ymxpc2hlZCBvciBpbmZvcm1hbGx5IHB1Ymxpc2hlZCB3b3Jrc2hv cCBwcm9jZWVkaW5ncw0KbWF5DQpiZSBzdWJtaXR0ZWQgKHBsZWFzZSBjb250YWN0IHRoZSBQQyBj aGFpciBpbiBjYXNlIG9mIHF1ZXN0aW9ucykuDQoNCg0KU3VibWlzc2lvbiBHdWlkZWxpbmVzDQoN ClN1Ym1pc3Npb24gaXMgdmlhIEVhc3ljaGFpciBzdWJtaXNzaW9uIHdlYnNpdGUgZm9yIFdGTFAg MjAyMDoNCmh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj13ZmxwMjAyMA0K DQpBdXRob3JzIGFyZSBpbnZpdGVkIHRvIHN1Ym1pdCBwYXBlcnMgaW4gdGhlIGZvbGxvd2luZyBj YXRlZ29yaWVzOg0KDQorIFJlZ3VsYXIgcmVzZWFyY2ggcGFwZXINCisgV29yay1pbi1wcm9ncmVz cyByZXBvcnQNCisgU3lzdGVtIGRlc2NyaXB0aW9uDQoNClJlZ3VsYXIgcmVzZWFyY2ggcGFwZXJz IG11c3QgZGVzY3JpYmUgb3JpZ2luYWwgd29yaywgYmUgd3JpdHRlbiBhbmQNCnByZXNlbnRlZCBp biBFbmdsaXNoLCBhbmQgbXVzdCBub3Qgc3Vic3RhbnRpYWxseSBvdmVybGFwIHdpdGggcGFwZXJz DQp0aGF0IGhhdmUgYmVlbiBmb3JtYWxseSBwdWJsaXNoZWQgb3IgdGhhdCBhcmUgc2ltdWx0YW5l b3VzbHkgc3VibWl0dGVkDQp0byBhIGpvdXJuYWwsIGNvbmZlcmVuY2UsIG9yIHdvcmtzaG9wIHdp dGggZm9ybWFsIHByb2NlZWRpbmdzLiBUaGV5DQp3aWxsDQpiZSBqdWRnZWQgb24gdGhlIGJhc2lz IG9mIHNpZ25pZmljYW5jZSwgcmVsZXZhbmNlLCBjb3JyZWN0bmVzcywNCm9yaWdpbmFsaXR5LCBh bmQgY2xhcml0eS4gRm9yIHdvcmstaW4tcHJvZ3Jlc3MgcmVwb3J0cyBhbmQgc3lzdGVtDQpkZXNj cmlwdGlvbnMsIGxlc3MgZm9ybWFsIHJ1bGVzIGFwcGx5LCBhbmQgcHJlc2VudGF0aW9uLW9ubHkN CnN1Ym1pc3Npb25zDQoodGFsayBhbmQgZGlzY3Vzc2lvbiwgYnV0IG5vIHBhcGVyIGluIHRoZSBm b3JtYWwgcHJvY2VlZGluZ3MpIGFyZQ0KcG9zc2libGUuIFBsZWFzZSBjb250YWN0IHRoZSBQQyBj aGFpciB3aXRoIGFueSBxdWVzdGlvbnMuDQoNCkFsbCBzdWJtaXNzaW9ucyBtdXN0IGJlIGZvcm1h dHRlZCBpbiB0aGUgTGVjdHVyZSBOb3RlcyBpbiBDb21wdXRlcg0KU2NpZW5jZSBzdHlsZS4gU3Vi bWlzc2lvbnMgY2Fubm90IGV4Y2VlZCAxNSBwYWdlcyBpbmNsdWRpbmcgcmVmZXJlbmNlcw0KYnV0 IGV4Y2x1ZGluZyB3ZWxsLW1hcmtlZCBhcHBlbmRpY2VzIG5vdCBpbnRlbmRlZCBmb3IgcHVibGlj YXRpb24uDQpSZXZpZXdlcnMgYXJlIG5vdCByZXF1aXJlZCB0byByZWFkIHRoZSBhcHBlbmRpY2Vz LCBhbmQgdGh1cyBwYXBlcnMNCnNob3VsZA0KYmUgaW50ZWxsaWdpYmxlIHdpdGhvdXQgdGhlbS4g SG93ZXZlciwgYWxsIHN1Ym1pc3Npb25zIChlc3BlY2lhbGx5DQp3b3JrLWluLXByb2dyZXNzIHJl cG9ydHMgYW5kIHN5c3RlbSBkZXNjcmlwdGlvbnMpIG1heSBiZSBjb25zaWRlcmFibHkNCnNob3J0 ZXIgdGhhbiAxNSBwYWdlcy4NCg0KDQpQcm9jZWVkaW5ncw0KDQpBbGwgcGFwZXJzIGFjY2VwdGVk IGZvciBwcmVzZW50YXRpb24gYXQgdGhlIGNvbmZlcmVuY2Ugd2lsbCBiZQ0KcHVibGlzaGVkDQpp biBpbmZvcm1hbCBwcm9jZWVkaW5ncyBwdWJsaWNseSBhdmFpbGFibGUgYXQgdGhlIENvbXB1dGlu ZyBSZXNlYXJjaA0KUmVwb3NpdG9yeS4gQWNjb3JkaW5nIHRvIHRoZSBwcm9ncmFtIGNvbW1pdHRl ZSByZXZpZXdzLCBzdWJtaXNzaW9ucyBjYW4NCmJlDQpkaXJlY3RseSBhY2NlcHRlZCBmb3IgcHVi bGljYXRpb24gaW4gdGhlIGZvcm1hbCBwb3N0LWNvbmZlcmVuY2UNCnByb2NlZWRpbmdzLg0KVGhl IGZvcm1hbCBwb3N0LWNvbmZlcmVuY2UgcHJvY2VlZGluZ3Mgd2lsbCBiZSBwdWJsaXNoZWQgaW4g Ym90aA0KZWxlY3Ryb25pYw0KYW5kIHBhcGVyIGZvcm1hdHMgYnkgU3ByaW5nZXIgaW4gdGhlIExl Y3R1cmUgTm90ZXMgaW4gQ29tcHV0ZXIgU2NpZW5jZQ0Kc2VyaWVzLg0KQWZ0ZXIgdGhlIGNvbmZl cmVuY2UsIGFsbCBhdXRob3JzIGFjY2VwdGVkIG9ubHkgZm9yIHByZXNlbnRhdGlvbiB3aWxsDQpi ZQ0KaW52aXRlZCB0byByZXZpc2UgYW5kL29yIGV4dGVuZCB0aGVpciBzdWJtaXNzaW9ucyBpbiB0 aGUgbGlnaHQgb2YgdGhlDQpmZWVkYmFjaw0Kc29saWNpdGVkIGF0IHRoZSBjb25mZXJlbmNlLiBU aGVuLCBhZnRlciBhbm90aGVyIHJvdW5kIG9mIHJldmlld2luZywNCnRoZXNlDQpyZXZpc2VkIHBh cGVycyBtYXkgYWxzbyBiZSBwdWJsaXNoZWQgaW4gdGhlIGZvcm1hbCBwcm9jZWVkaW5ncy4NCg0K VGhlcmVmb3JlLCBhbGwgYWNjZXB0ZWQgcGFwZXJzIHdpbGwgYmUgcHVibGlzaGVkIGluIG9wZW4t YWNjZXNzLCBhbmQNCnRoZQ0KYXV0aG9ycyBjYW4gYWxzbyBkZWNpZGUgdG8gcHVibGlzaCB0aGVp ciB3b3JrIGluIHRoZSBTcHJpbmdlciBMTkNTDQpmb3JtYWwNCnByb2NlZWRpbmdzLg0KDQoNClBy b2dyYW0gQ29tbWl0dGVlDQoNClNlcmdpbyBBbnRveSAoUG9ydGxhbmQgU3RhdGUgVW5pdmVyc2l0 eSwgVVNBKQ0KRGVtaXMgQmFsbGlzIChVbml2ZXJzaXR5IG9mIFVkaW5lLCBJdGFseSkNCk1vcmVu byBGYWxhc2NoaSAoVW5pdmVyc2l0w6AgZGkgU2llbmEsIEl0YWx5KQ0KTWljaGFlbCBIYW51cyAo VW5pdmVyc2l0eSBvZiBLaWVsLCBHZXJtYW55KSAoQ28tQ2hhaXIpDQpIZXJiZXJ0IEt1Y2hlbiAo VW5pdmVyc2l0eSBvZiBNdWVuc3RlciwgR2VybWFueSkNCkRhbGUgTWlsbGVyIChJTlJJQSBhbmQg TElYL8OIY29sZSBQb2x5dGVjaG5pcXVlKQ0KQ2xhdWRpbyBTYWNlcmRvdGkgQ29lbiAoVW5pdmVy c2l0eSBvZiBCb2xvZ25hLCBJdGFseSkgKENvLUNoYWlyKQ0KS29uc3RhbnRpbm9zIFNhZ29uYXMg KFVwcHNhbGEgVW5pdmVyc2l0eSwgU3dlZGVuKQ0KRW5yaWNvIFRhc3NpIChJTlJJQSwgRnJhbmNl KQ0KSmFuaXMgVm9pZ3Rsw6RuZGVyIChVbml2ZXJzaXR5IG9mIER1aXNidXJnLUVzc2VuLCBHZXJt YW55KQ0KSm9oYW5uZXMgV2FsZG1hbm4gKEhUV0sgTGVpcHppZywgR2VybWFueSkNCg0KT3JnYW5p emluZyBDb21taXR0ZWUNCg0KQ2xhdWRpbyBTYWNlcmRvdGkgQ29lbiAoVW5pdmVyc2l0eSBvZiBC b2xvZ25hLCBJdGFseSkgKENvLUNoYWlyKQ0KDQotLSANClByb2YuIENsYXVkaW8gU2FjZXJkb3Rp IENvZW4NCkRlcGFydG1lbnQgb2YgQ29tcHV0ZXIgU2NpZW5jZSBhbmQgRW5naW5lZXJpbmcNClVu aXZlcnNpdHkgb2YgQm9sb2duYQ0K