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 8901C5D5 for ; Wed, 4 Apr 2018 07:14:35 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,405,1517871600"; d="scan'208,217";a="321216094" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Apr 2018 09:14:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BE2668239C; Wed, 4 Apr 2018 09:14:33 +0200 (CEST) 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 A2C628239C; Wed, 4 Apr 2018 09:10:28 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=A.J.Wijs@tue.nl; spf=Pass smtp.mailfrom=A.J.Wijs@tue.nl; spf=None smtp.helo=postmaster@out27-ams.mf.surf.net IronPort-PHdr: =?us-ascii?q?9a23=3AXf4iShO/XtIudXnsegwl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0K/z7pcbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs7Xims77pwSB/wli?= =?us-ascii?q?gIKyI5/m/Qisx1lq1boRShrAF7z4PbZIyZMfxzdb7fc9wHX2pMRsZfWTJcDIOg?= =?us-ascii?q?YYUBDOsBMvpXoITmvVQCsR6+CBOwCO/zyDJFgGL9060g0+QmFAHLxAIsENIPsH?= =?us-ascii?q?TWt9X5LLoZXPyvwKfM1znPYe5d1DDh5YTSdh4tu/GDXbNyccrK0kQvCx7FgUuK?= =?us-ascii?q?pYzjOzOYz+IAuHWV4epnUOKgkW8nqwdprzex3MgskYnIiZ4Vyl/e9CV52pw5Jd?= =?us-ascii?q?qiSE50edKlHppQti6BN4t3XsMtXXtktzo9yr0Dv5OwYSsEyIw/yhLCZPGKc5KE?= =?us-ascii?q?7g75WOqMOzt0mnBodKq8ihu960Ss1O/xWtOq3FtFqidJiNrBu3IV2xDO68WKTu?= =?us-ascii?q?Fx8lmh1DuAzQze6vtILEM6mKfdNpUv2KQ/loAJvkTGBiL2mFv5jKuRdkg8/eio?= =?us-ascii?q?9vjnbqvkq5OFLYB0jxr+Pr4rmsyxG+g4KRUOX3KV+eim0r3s41H5TK1Ljv0wjK?= =?us-ascii?q?bZrIjXKdkUq6O5GQNZzpwv5wulAzu40tkUhXwHI0hEeBKDgYjpIVbOIPXgAPqj?= =?us-ascii?q?mViilC1nyPDHPr3jGZXANWTDkKr/crpn7U5czBI/zcpD6JJMFrEBPPXzV1fqtN?= =?us-ascii?q?3YCB82KQi0w/78BdVm1oIeXHqPDbWDPKPTt1+I/OMvLPOWaI8bojb3M+Il6OL2?= =?us-ascii?q?jX8lhV8derGk3ZUSaHC5AvtmOF6UYWHsg9cECWcFpBAyTO3siF2YUD5cfWy+X6?= =?us-ascii?q?wm5jsjEoKpEZ/DRpyxgLyGxCq0AppWZnlfBl+QFXfoap6LVuwXaCOSJ89hiiYL?= =?us-ascii?q?WaKgS48nzxGutRX1x6BpLurO4icYr47s1MBp5+3PkhE/7SB7AN6Y02GJVm10mm?= =?us-ascii?q?IIRyQq3K1kukx8ylKD0bBijPBCFNxT4elJUgYgOpLGwex6EYO6ZgWUNOiISk3i?= =?us-ascii?q?CvzgI3d7BoYYhf1IXEd/AP2+kx2F2S78UJEPkLneTqM18LmYl1G3BYA3gyLvko?= =?us-ascii?q?tnsFgkWeNTKGDggKoppFubPJLAj0jMz/XiTq8bxiOYqDbanDi++XpAWQs1ap3r?= =?us-ascii?q?GHUWZ0/Yt9P8thHeUrLoD7B1a1Idm/7HEbNDb5jStXsDXO3qaIbCfm/3nWPiXU?= =?us-ascii?q?/VlIPJV5LjfiAm5AuYCEUAlFpIr3GbKVJhQy6kuCTbAnp1CEjhJUXh7bsmpQ?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DBAQCNecRahxsBAJFdhEYObxUBARuDV?= =?us-ascii?q?ZUHgmkaklWBegsjhHyEKxkHAQQyFgECAQEBAQEBAQEBEgEBAQoLCQgoIwyCNQy?= =?us-ascii?q?DBQY8CSMBBkQCBDAnBCeDOF1kBAuRF5s8ghyEV4NwgiAFh2KBVT6BDCKCLoNFB?= =?us-ascii?q?BiEQjCCJAKXMAsIAoELhEaKDoIdgTyHMIkVhkECBAYFAhMBgSUiAYFtDgh8Qyo?= =?us-ascii?q?BcgiBH4Itg06FFIU+jUABgRYBAQ?= X-IPAS-Result: =?us-ascii?q?A0DBAQCNecRahxsBAJFdhEYObxUBARuDVZUHgmkaklWBegs?= =?us-ascii?q?jhHyEKxkHAQQyFgECAQEBAQEBAQEBEgEBAQoLCQgoIwyCNQyDBQY8CSMBBkQCB?= =?us-ascii?q?DAnBCeDOF1kBAuRF5s8ghyEV4NwgiAFh2KBVT6BDCKCLoNFBBiEQjCCJAKXMAs?= =?us-ascii?q?IAoELhEaKDoIdgTyHMIkVhkECBAYFAhMBgSUiAYFtDgh8QyoBcgiBH4Itg06FF?= =?us-ascii?q?IU+jUABgRYBAQ?= X-IronPort-AV: E=Sophos;i="5.48,405,1517871600"; d="scan'208,217";a="321215343" Received: from out27-ams.mf.surf.net ([145.0.1.27]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 04 Apr 2018 09:10:27 +0200 Received: from xedge3.campus.tue.nl (xedge3.campus.tue.nl [131.155.6.118]) by outgoing1-ams.mf.surf.net (8.14.4/8.14.4/Debian-4+deb7u1) with ESMTP id w3478UkC018495 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT); Wed, 4 Apr 2018 09:08:30 +0200 Received: from XSERVER31B.campus.tue.nl (131.155.6.124) by xedge3.campus.tue.nl (131.155.6.118) with Microsoft SMTP Server (TLS) id 14.3.361.1; Wed, 4 Apr 2018 09:08:32 +0200 Received: from xserver30c.campus.tue.nl ([169.254.5.83]) by xserver31b.campus.tue.nl ([169.254.4.48]) with mapi id 14.03.0361.001; Wed, 4 Apr 2018 09:08:32 +0200 From: "Wijs, A.J." To: "Wijs, A.J." Thread-Topic: Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions Thread-Index: AQHTy+O9X5lmZIyPf0Cqt525snnpmg== Date: Wed, 4 Apr 2018 07:08:32 +0000 Message-ID: <24AE78A1-F56C-486A-BF54-5FCF6D51992E@tue.nl> Accept-Language: nl-NL, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [84.27.249.87] Content-Type: multipart/alternative; boundary="_000_24AE78A1F56C486ABF545FCF6D51992Etuenl_" MIME-Version: 1.0 X-Bayes-Prob: 0.0001 (Score 0, tokens from: tue-out:default, tue:default, base:default, @@RPTN) X-Spam-Score: 1.50 (*) [Tag at 8.00] HTML_MESSAGE:0.001,CC(NL:-0.5),C3535(2) X-CanIt-Geo: ip=131.155.6.118; country=NL; latitude=52.3824; longitude=4.8995; http://maps.google.com/maps?q=52.3824,4.8995&z=6 X-CanItPRO-Stream: tue-out:default (inherits from tue:default,base:default) X-Canit-Stats-ID: 0uVu78up6 - 292990ee919f - 20180404 X-Scanned-By: CanIt (www . roaringpenguin . com) X-Validation-by: a.j.wijs@tue.nl Subject: [Caml-list] Parallel Logical Reasoning (PLR) at FLoC 2018 - Call for Contributions Reply-To: "Wijs, A.J." X-Loop: caml-list@inria.fr X-Sequence: 16775 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: --_000_24AE78A1F56C486ABF545FCF6D51992Etuenl_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Q0FMTCBGT1IgQ09OVFJJQlVUSU9OUw0KUExSIDIwMTgNCjFzdCBJbnRlcm5h dGlvbmFsIFdvcmtzaG9wIG9uIFBhcmFsbGVsIExvZ2ljYWwgUmVhc29uaW5n DQoNCjE4IEp1bHkgMjAxOA0KT3hmb3JkLCBVSw0KQSBzYXRlbGxpdGUgZXZl bnQgb2YgRkxvQyAyMDE4DQoNCmh0dHBzOi8vYW50b253aWpzLndpeHNpdGUu Y29tL3BscjIwMTgNCg0KVGhlIGdvYWwgb2YgdGhlIFBhcmFsbGVsIExvZ2lj YWwgUmVhc29uaW5nIHdvcmtzaG9wIChQTFIpIGlzIHRvIGJyaW5nIHRvZ2V0 aGVyDQpyZXNlYXJjaGVycyB0aGF0IGFjdGl2ZWx5IHdvcmsgb24gdGhlIGJ1 aWxkaW5nIG9mIHRvb2xzIGZvciBsb2dpY2FsIHJlYXNvbmluZyB0aGF0DQpp bnZvbHZlIHBhcmFsbGVsIGNvbXB1dGF0aW9ucywgd2l0aCBhIHBhcnRpY3Vs YXIgZW1waGFzaXMgb24gbW9kZWwgY2hlY2tpbmcgYW5kDQpTQVQgc29sdmlu ZywgYnV0IGFueSBvdGhlciBhcHBsaWNhdGlvbnMgcmVsYXRlZCB0byBsb2dp Y3MgYXJlIGFsc28gaW4gdGhlIHNjb3BlIG9mDQp0aGUgd29ya3Nob3AuIE1v ZGVybiBwYXJhbGxlbCBhcmNoaXRlY3R1cmVzIHN1Y2ggYXMgbXVsdGktY29y ZSBDUFVzIGFuZCBncmFwaGljcw0KcHJvY2Vzc2luZyB1bml0cyAoR1BVcykg cHJvdmlkZSBncmVhdCBvcHBvcnR1bml0eSB0byBzcGVlZCB1cCBkZW1hbmRp bmcgY29tcHV0YXRpb25zLA0KYnV0IHRoZSBhbGdvcml0aG1zIGludm9sdmVk IGluIG1vZGVsIGNoZWNraW5nIGFuZCBTQVQgc29sdmluZyBhcmUgdHlwaWNh bGx5IGhhcmQgdG8NCnBhcmFsbGVsbGlzZS4gTmV2ZXJ0aGVsZXNzLCB0aGlz IGhhcyBub3Qgc3RvcHBlZCB0aGUgY29tbXVuaXR5IGZyb20gYWNoaWV2aW5n IGdyb3VuZC0NCmJyZWFraW5nIHJlc3VsdHMgaW4gdGhlIGxhc3QgZmV3IHll YXJzLCBzb21ldGltZXMgYnVpbGRpbmcgb24gZWFybGllciByZXN1bHRzIHRo YXQgaGF2ZQ0KYmVlbiBhY2hpZXZlZCBpbiB0aGUgbGFzdCBmZXcgZGVjYWRl cyBvbiBkaXN0cmlidXRlZCBjb21wdXRpbmcsIGluIHdoaWNoIGEgbmV0d29y ayBvZg0KbWFjaGluZXMgaXMgZW1wbG95ZWQgZm9yIGEgc2luZ2xlIGNvbXB1 dGF0aW9uLg0KDQpBbHRob3VnaCBQTFIgMjAxOCBkb2VzIG5vdCBoYXZlIGEg Zm9ybWFsIHByb2NlZWRpbmdzLCB3ZSBkbyBoYXZlIGEgY2FsbCBmb3IgYWJz dHJhY3RzDQphbmQgdG9vbCBkZW1vbnN0cmF0aW9ucy4gSWYgeW91IGhhdmUg cmVjZW50bHkgb2J0YWluZWQgaW50ZXJlc3RpbmcgcmVzdWx0cyB0aGF0IGZp dCB0aGUgc2NvcGUNCm9mIHRoZSB3b3Jrc2hvcCwgcGxlYXNlIGNvbnNpZGVy IHN1Ym1pdHRpbmcgYW4gYWJzdHJhY3QgaW5kaWNhdGluZyB3aGF0IHlvdXIg dGFsayB3aWxsIGJlDQphYm91dC4gSW4gYWRkaXRpb24sIHlvdSBjYW4gc3Vi bWl0IGEgcHJvcG9zYWwgZm9yIGEgdG9vbCBkZW1vbnN0cmF0aW9uLCBpbiB3 aGljaCB5b3UgY2FuDQpkZXNjcmliZSB5b3VyIHRvb2wgYW5kIGhvdyB5b3Ug YXJlIHBsYW5uaW5nIHRvIHByZXNlbnQgaXRzIGZ1bmN0aW9uYWxpdHkuDQri gIsNCkFsbCBwcm9wb3NhbHMgc2hvdWxkIGJlIHN1Ym1pdHRlZCB2aWEgRWFz eWNoYWlyIChodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2Nv bmY9cGxyMjAxOCkuDQrigIsNCuKAoiBBQlNUUkFDVFMgZGVzY3JpYmluZyBy ZWNlbnRseSBwdWJsaXNoZWQgcmVzdWx0cyBjYW4gYmUgc3VibWl0dGVkIHRv IGRlc2NyaWJlIHRoZQ0KdGFsayB5b3Ugd291bGQgbGlrZSB0byBnaXZlIGF0 IFBMUi4gQWJzdHJhY3RzIHNob3VsZCBiZSBubyBsb25nZXIgdGhhbiB0d28g cGFnZXMgaW4NCkxOQ1Mgc3R5bGUgYW5kIGluY2x1ZGUgYSByZWZlcmVuY2Ug dG8gdGhlIHB1YmxpY2F0aW9uIG9uIHdoaWNoIHRoZSBhYnN0cmFjdCBpcyBi YXNlZC4NCuKAoiBUT09MIERFTU9OU1RSQVRJT04gUFJPUE9TQUxTIGRlc2Ny aWJpbmcgd2hpY2ggdG9vbCB5b3Ugd291bGQgbGlrZSB0byBkZW1vbnN0cmF0 ZQ0KYXQgUExSIGFyZSB3ZWxjb21lLiBTdWNoIGEgcHJvcG9zYWwgc2hvdWxk IGFkZHJlc3MgaG93IHlvdSBwbGFuIHRvIGRlbW9uc3RyYXRlIHRoZQ0KdG9v bC4gU2ltaWxhciB0byB0aGUgQWJzdHJhY3RzLCBhIHRvb2wgZGVtb25zdHJh dGlvbiBwcm9wb3NhbCBzaG91bGQgbm90IGV4Y2VlZCB0d28gcGFnZXMNCmlu IExOQ1Mgc3R5bGUuIFdlIHN1Z2dlc3QgeW91IHRvIGluY2x1ZGUgYSBsaW5r IHRvIGEgd2Vic2l0ZSB3aGVyZSB0aGUgdG9vbCBpcyBhdmFpbGFibGUgZm9y DQpkb3dubG9hZGluZywgYnV0IHRoaXMgaXMgbm90IG1hbmRhdG9yeS4NCg0K TElTVCBPRiBUT1BJQ1MNCuKAoiBUZWNobmlxdWVzIGZvciBhdXRvbWF0ZWQg bG9naWNhbCByZWFzb25pbmcsIHN1Y2ggYXMgU0FUIHNvbHZpbmcsIFNNVCBz b2x2aW5nLCBleHBsaWNpdC1zdGF0ZQ0KICBtb2RlbCBjaGVja2luZywgbW9k ZWwgY2hlY2tpbmcgdXNpbmcgQkREcywgZXRjLg0K4oCiIFBhcmFsbGVsIGNv bXB1dGluZyAoY2x1c3RlciwgbXVsdGktY29yZSwgbWFueS1jb3JlLCBncmFw aGljcyBwcm9jZXNzb3JzLCBoZXRlcm9nZW5lb3VzLCBldGMuKQ0KDQpJTVBP UlRBTlQgREFURVMNCuKAoiBTdWJtaXNzaW9uIGRlYWRsaW5lOiBBcHJpbCAx NSAoQU9FKQ0K4oCiIE5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlOiBNYXkg MTUgKEFPRSkNCuKAoiBXb3Jrc2hvcDogSnVseSAxOCAoSW4gdGhlIFVLKQ0K DQpDSEFJUjoNCkFudG9uIFdpanMgKEVpbmRob3ZlbiBVbml2ZXJzaXR5IG9m IFRlY2hub2xvZ3ksIFRoZSBOZXRoZXJsYW5kcykNCg0KUEM6DQpTb3VoZWli IEJhYXJpciAoVW5pdmVyc2l0w6kgUGFyaXMgT3Vlc3QgTmFudGVycmUgTGEg RMOpZmVuc2UvTElQNiwgRnJhbmNlKQ0KSmlyaSBCYXJuYXQgKE1hc2FyeWsg VW5pdmVyc2l0eSwgQ3plY2ggUmVwdWJsaWMpDQpLZWlqbyBIZWxqYW5rbyAo QWFsdG8gVW5pdmVyc2l0eSwgRmlubGFuZCkNCkFudHRpIEh5dsOkcmluZW4g KFVuaXZlcnNpdHkgb2YgTHVnYW5vLCBTd2l0emVybGFuZCkNCkFsZm9ucyBM YWFybWFuIChMZWlkZW4gVW5pdmVyc2l0eSwgVGhlIE5ldGhlcmxhbmRzKQ0K Q2Fyc3RlbiBTaW56IChLYXJsc3J1aGUgSW5zdGl0dXRlIG9mIFRlY2hub2xv Z3ksIEdlcm1hbnkpDQpDaHJpc3RvcGggTS4gV2ludGVyc3RlaWdlciAoTWlj cm9zb2Z0IFJlc2VhcmNoLCBVSykNCg0KCi0tIApDYW1sLWxpc3QgbWFpbGlu ZyBsaXN0LiAgU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQgYW5kIGFyY2hpdmVz OgpodHRwczovL3N5bXBhLmlucmlhLmZyL3N5bXBhL2FyYy9jYW1sLWxpc3QK QmVnaW5uZXIncyBsaXN0OiBodHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91 cC9vY2FtbF9iZWdpbm5lcnMKQnVnIHJlcG9ydHM6IGh0dHA6Ly9jYW1sLmlu cmlhLmZyL2Jpbi9jYW1sLWJ1Z3M= --_000_24AE78A1F56C486ABF545FCF6D51992Etuenl_ Content-Type: text/html; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlw ZSIgY29udGVudD0idGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVh ZD4NCjxib2R5IHN0eWxlPSJ3b3JkLXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJr aXQtbmJzcC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUt c3BhY2U7IiBjbGFzcz0iIj4NCjxkaXYgZGlyPSJhdXRvIiBzdHlsZT0id29y ZC13cmFwOiBicmVhay13b3JkOyAtd2Via2l0LW5ic3AtbW9kZTogc3BhY2U7 IGxpbmUtYnJlYWs6IGFmdGVyLXdoaXRlLXNwYWNlOyIgY2xhc3M9IiI+DQo8 ZGl2IGRpcj0iYXV0byIgc3R5bGU9IndvcmQtd3JhcDogYnJlYWstd29yZDsg LXdlYmtpdC1uYnNwLW1vZGU6IHNwYWNlOyBsaW5lLWJyZWFrOiBhZnRlci13 aGl0ZS1zcGFjZTsiIGNsYXNzPSIiPg0KPGRpdiBzdHlsZT0id29yZC13cmFw OiBicmVhay13b3JkOyAtd2Via2l0LW5ic3AtbW9kZTogc3BhY2U7IC13ZWJr aXQtbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7IiBkaXI9ImF1dG8i IGNsYXNzPSIiPg0KPHNwYW4gY2xhc3M9IkFwcGxlLXRhYi1zcGFuIiBzdHls ZT0id2hpdGUtc3BhY2U6cHJlIj48L3NwYW4+Q0FMTCBGT1IgQ09OVFJJQlVU SU9OUw0KPGRpdiBjbGFzcz0iIj48c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNw YW4iIHN0eWxlPSJ3aGl0ZS1zcGFjZTpwcmUiPjwvc3Bhbj48L2Rpdj4NCjxk aXYgY2xhc3M9IiI+PHNwYW4gY2xhc3M9IkFwcGxlLXRhYi1zcGFuIiBzdHls ZT0id2hpdGUtc3BhY2U6cHJlIj48L3NwYW4+UExSIDIwMTg8L2Rpdj4NCjxk aXYgY2xhc3M9IiI+PHNwYW4gY2xhc3M9IkFwcGxlLXRhYi1zcGFuIiBzdHls ZT0id2hpdGUtc3BhY2U6cHJlIj48L3NwYW4+MXN0IEludGVybmF0aW9uYWwg V29ya3Nob3Agb24gUGFyYWxsZWwgTG9naWNhbCBSZWFzb25pbmcNCjxkaXYg Y2xhc3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIi PjxzcGFuIGNsYXNzPSJBcHBsZS10YWItc3BhbiIgc3R5bGU9IndoaXRlLXNw YWNlOnByZSI+PC9zcGFuPjE4IEp1bHkgMjAxODwvZGl2Pg0KPGRpdiBjbGFz cz0iIj48c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNwYW4iIHN0eWxlPSJ3aGl0 ZS1zcGFjZTpwcmUiPjwvc3Bhbj5PeGZvcmQsIFVLPC9kaXY+DQo8ZGl2IGNs YXNzPSIiPjxzcGFuIGNsYXNzPSJBcHBsZS10YWItc3BhbiIgc3R5bGU9Indo aXRlLXNwYWNlOnByZSI+PC9zcGFuPkEgc2F0ZWxsaXRlIGV2ZW50IG9mIEZM b0MgMjAxODwvZGl2Pg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFz cz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48c3BhbiBjbGFzcz0iQXBw bGUtdGFiLXNwYW4iIHN0eWxlPSJ3aGl0ZS1zcGFjZTpwcmUiPjwvc3Bhbj48 YSBocmVmPSJodHRwczovL2FudG9ud2lqcy53aXhzaXRlLmNvbS9wbHIyMDE4 IiBjbGFzcz0iIj5odHRwczovL2FudG9ud2lqcy53aXhzaXRlLmNvbS9wbHIy MDE4PC9hPjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj48YnIgY2xhc3M9IiI+DQo8 L2Rpdj4NCjxkaXYgY2xhc3M9IiI+VGhlIGdvYWwgb2YgdGhlIFBhcmFsbGVs IExvZ2ljYWwgUmVhc29uaW5nIHdvcmtzaG9wIChQTFIpIGlzIHRvIGJyaW5n IHRvZ2V0aGVyPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPnJlc2VhcmNoZXJzIHRo YXQgYWN0aXZlbHkgd29yayBvbiB0aGUgYnVpbGRpbmcgb2YgdG9vbHMgZm9y IGxvZ2ljYWwgcmVhc29uaW5nIHRoYXQ8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+ aW52b2x2ZSBwYXJhbGxlbCBjb21wdXRhdGlvbnMsIHdpdGggYSBwYXJ0aWN1 bGFyIGVtcGhhc2lzIG9uIG1vZGVsIGNoZWNraW5nIGFuZDwvZGl2Pg0KPGRp diBjbGFzcz0iIj5TQVQgc29sdmluZywgYnV0IGFueSBvdGhlciBhcHBsaWNh dGlvbnMgcmVsYXRlZCB0byBsb2dpY3MgYXJlIGFsc28gaW4gdGhlIHNjb3Bl IG9mPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPnRoZSB3b3Jrc2hvcC4gTW9kZXJu IHBhcmFsbGVsIGFyY2hpdGVjdHVyZXMgc3VjaCBhcyBtdWx0aS1jb3JlIENQ VXMgYW5kIGdyYXBoaWNzPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPnByb2Nlc3Np bmcgdW5pdHMgKEdQVXMpIHByb3ZpZGUgZ3JlYXQgb3Bwb3J0dW5pdHkgdG8g c3BlZWQgdXAgZGVtYW5kaW5nIGNvbXB1dGF0aW9ucyw8L2Rpdj4NCjxkaXYg Y2xhc3M9IiI+YnV0IHRoZSBhbGdvcml0aG1zIGludm9sdmVkIGluIG1vZGVs IGNoZWNraW5nIGFuZCBTQVQgc29sdmluZyBhcmUgdHlwaWNhbGx5IGhhcmQg dG88L2Rpdj4NCjxkaXYgY2xhc3M9IiI+cGFyYWxsZWxsaXNlLiBOZXZlcnRo ZWxlc3MsIHRoaXMgaGFzIG5vdCBzdG9wcGVkIHRoZSBjb21tdW5pdHkgZnJv bSBhY2hpZXZpbmcgZ3JvdW5kLTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5icmVh a2luZyByZXN1bHRzIGluIHRoZSBsYXN0IGZldyB5ZWFycywgc29tZXRpbWVz IGJ1aWxkaW5nIG9uIGVhcmxpZXIgcmVzdWx0cyB0aGF0IGhhdmU8L2Rpdj4N CjxkaXYgY2xhc3M9IiI+YmVlbiBhY2hpZXZlZCBpbiB0aGUgbGFzdCBmZXcg ZGVjYWRlcyBvbiBkaXN0cmlidXRlZCBjb21wdXRpbmcsIGluIHdoaWNoIGEg bmV0d29yayBvZjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5tYWNoaW5lcyBpcyBl bXBsb3llZCBmb3IgYSBzaW5nbGUgY29tcHV0YXRpb24uPC9kaXY+DQo8ZGl2 IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0i Ij5BbHRob3VnaCBQTFIgMjAxOCBkb2VzIG5vdCBoYXZlIGEgZm9ybWFsIHBy b2NlZWRpbmdzLCB3ZSBkbyBoYXZlIGEgY2FsbCBmb3IgYWJzdHJhY3RzPC9k aXY+DQo8ZGl2IGNsYXNzPSIiPmFuZCB0b29sIGRlbW9uc3RyYXRpb25zLiBJ ZiB5b3UgaGF2ZSByZWNlbnRseSBvYnRhaW5lZCBpbnRlcmVzdGluZyByZXN1 bHRzIHRoYXQgZml0IHRoZSBzY29wZTwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5v ZiB0aGUgd29ya3Nob3AsIHBsZWFzZSBjb25zaWRlciBzdWJtaXR0aW5nIGFu IGFic3RyYWN0IGluZGljYXRpbmcgd2hhdCB5b3VyIHRhbGsgd2lsbCBiZTwv ZGl2Pg0KPGRpdiBjbGFzcz0iIj5hYm91dC4gSW4gYWRkaXRpb24sIHlvdSBj YW4gc3VibWl0IGEgcHJvcG9zYWwgZm9yIGEgdG9vbCBkZW1vbnN0cmF0aW9u LCBpbiB3aGljaCB5b3UgY2FuPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPmRlc2Ny aWJlIHlvdXIgdG9vbCBhbmQgaG93IHlvdSBhcmUgcGxhbm5pbmcgdG8gcHJl c2VudCBpdHMgZnVuY3Rpb25hbGl0eS48YnIgY2xhc3M9IiI+DQrigIs8YnIg Y2xhc3M9IiI+DQpBbGwgcHJvcG9zYWxzIHNob3VsZCBiZSBzdWJtaXR0ZWQg dmlhJm5ic3A7RWFzeWNoYWlyICg8YSBocmVmPSJodHRwczovL2Vhc3ljaGFp ci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9cGxyMjAxOCIgY2xhc3M9IiI+aHR0 cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPXBscjIwMTg8 L2E+KS48YnIgY2xhc3M9IiI+DQrigIs8YnIgY2xhc3M9IiI+DQo8ZGl2IGNs YXNzPSIiPuKAoiBBQlNUUkFDVFMmbmJzcDtkZXNjcmliaW5nIHJlY2VudGx5 IHB1Ymxpc2hlZCByZXN1bHRzIGNhbiBiZSBzdWJtaXR0ZWQgdG8gZGVzY3Jp YmUgdGhlPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPnRhbGsgeW91IHdvdWxkIGxp a2UgdG8gZ2l2ZSBhdCBQTFIuIEFic3RyYWN0cyBzaG91bGQgYmUgbm8gbG9u Z2VyIHRoYW4gdHdvIHBhZ2VzIGluPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPkxO Q1Mgc3R5bGUgYW5kIGluY2x1ZGUgYSByZWZlcmVuY2UgdG8gdGhlIHB1Ymxp Y2F0aW9uIG9uIHdoaWNoIHRoZSBhYnN0cmFjdCBpcyBiYXNlZC48L2Rpdj4N CjxkaXYgY2xhc3M9IiI+PHNwYW4gY2xhc3M9IkFwcGxlLXRhYi1zcGFuIiBz dHlsZT0id2hpdGUtc3BhY2U6cHJlIj48L3NwYW4+PC9kaXY+DQo8ZGl2IGNs YXNzPSIiPuKAoiBUT09MIERFTU9OU1RSQVRJT04gUFJPUE9TQUxTJm5ic3A7 ZGVzY3JpYmluZyB3aGljaCB0b29sIHlvdSB3b3VsZCBsaWtlIHRvIGRlbW9u c3RyYXRlPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPmF0IFBMUiBhcmUgd2VsY29t ZS4gU3VjaCBhIHByb3Bvc2FsIHNob3VsZCBhZGRyZXNzIGhvdyB5b3UgcGxh biB0byBkZW1vbnN0cmF0ZSB0aGU8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+dG9v bC4gU2ltaWxhciB0byB0aGUgQWJzdHJhY3RzLCBhIHRvb2wgZGVtb25zdHJh dGlvbiBwcm9wb3NhbCBzaG91bGQgbm90IGV4Y2VlZCB0d28gcGFnZXM8L2Rp dj4NCjxkaXYgY2xhc3M9IiI+aW4gTE5DUyBzdHlsZS4gV2Ugc3VnZ2VzdCB5 b3UgdG8gaW5jbHVkZSBhIGxpbmsgdG8gYSB3ZWJzaXRlIHdoZXJlIHRoZSB0 b29sIGlzIGF2YWlsYWJsZSBmb3I8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+ZG93 bmxvYWRpbmcsIGJ1dCB0aGlzIGlzIG5vdCBtYW5kYXRvcnkuPGJyIGNsYXNz PSIiPg0KPC9kaXY+DQo8YnIgY2xhc3M9IiI+DQpMSVNUIE9GIFRPUElDUzxi ciBjbGFzcz0iIj4NCjxkaXYgY2xhc3M9IiI+4oCiIFRlY2huaXF1ZXMgZm9y IGF1dG9tYXRlZCBsb2dpY2FsIHJlYXNvbmluZywgc3VjaCBhcyBTQVQgc29s dmluZywgU01UIHNvbHZpbmcsIGV4cGxpY2l0LXN0YXRlPC9kaXY+DQo8ZGl2 IGNsYXNzPSIiPiZuYnNwOyBtb2RlbCBjaGVja2luZywgbW9kZWwgY2hlY2tp bmcgdXNpbmcgQkREcywgZXRjLjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRp diBjbGFzcz0iIj7igKIgUGFyYWxsZWwgY29tcHV0aW5nIChjbHVzdGVyLCBt dWx0aS1jb3JlLCBtYW55LWNvcmUsIGdyYXBoaWNzIHByb2Nlc3NvcnMsIGhl dGVyb2dlbmVvdXMsIGV0Yy4pPGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2 IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KSU1QT1JUQU5UIERB VEVTPGJyIGNsYXNzPSIiPg0KPGRpdiBjbGFzcz0iIj7igKIgU3VibWlzc2lv biBkZWFkbGluZTo8c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNwYW4iIHN0eWxl PSJ3aGl0ZS1zcGFjZTpwcmUiPg0KPC9zcGFuPkFwcmlsIDE1IChBT0UpPGJy IGNsYXNzPSIiPg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPuKAoiBOb3RpZmlj YXRpb24gb2YgYWNjZXB0YW5jZTo8c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNw YW4iIHN0eWxlPSJ3aGl0ZS1zcGFjZTpwcmUiPg0KPC9zcGFuPk1heSAxNSAo QU9FKTxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj7igKIg V29ya3Nob3A6PHNwYW4gY2xhc3M9IkFwcGxlLXRhYi1zcGFuIiBzdHlsZT0i d2hpdGUtc3BhY2U6cHJlIj4gPC9zcGFuPg0KSnVseSAxOCAoSW4gdGhlIFVL KTwvZGl2Pg0KPC9kaXY+DQo8ZGl2IGNsYXNzPSIiPjxiciBjbGFzcz0iIj4N CjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5DSEFJUjo8L2Rpdj4NCjxkaXYgY2xh c3M9IiI+QW50b24gV2lqcyZuYnNwOyhFaW5kaG92ZW4gVW5pdmVyc2l0eSBv ZiBUZWNobm9sb2d5LCBUaGUgTmV0aGVybGFuZHMpPC9kaXY+DQo8ZGl2IGNs YXNzPSIiPjxiciBjbGFzcz0iIj4NCjwvZGl2Pg0KPGRpdiBjbGFzcz0iIj5Q Qzo8L2Rpdj4NCjxkaXYgY2xhc3M9IiI+U291aGVpYiBCYWFyaXImbmJzcDso VW5pdmVyc2l0w6kgUGFyaXMgT3Vlc3QgTmFudGVycmUgTGEgRMOpZmVuc2Uv TElQNiwgRnJhbmNlKTxiciBjbGFzcz0iIj4NCkppcmkgQmFybmF0Jm5ic3A7 KE1hc2FyeWsgVW5pdmVyc2l0eSwgQ3plY2ggUmVwdWJsaWMpPGJyIGNsYXNz PSIiPg0KS2Vpam8gSGVsamFua28mbmJzcDsoQWFsdG8gVW5pdmVyc2l0eSwg RmlubGFuZCk8YnIgY2xhc3M9IiI+DQpBbnR0aSBIeXbDpHJpbmVuJm5ic3A7 KFVuaXZlcnNpdHkgb2YgTHVnYW5vLCBTd2l0emVybGFuZCk8YnIgY2xhc3M9 IiI+DQpBbGZvbnMgTGFhcm1hbiZuYnNwOyhMZWlkZW4gVW5pdmVyc2l0eSwg VGhlIE5ldGhlcmxhbmRzKTxiciBjbGFzcz0iIj4NCkNhcnN0ZW4gU2lueiZu YnNwOyhLYXJsc3J1aGUgSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3ksIEdlcm1h bnkpPGJyIGNsYXNzPSIiPg0KQ2hyaXN0b3BoIE0uIFdpbnRlcnN0ZWlnZXIm bmJzcDsoTWljcm9zb2Z0IFJlc2VhcmNoLCBVSyk8L2Rpdj4NCjxkaXYgY2xh c3M9IiI+PGJyIGNsYXNzPSIiPg0KPC9kaXY+DQo8L2Rpdj4NCjwvZGl2Pg0K PC9kaXY+DQo8L2JvZHk+DQo8L2h0bWw+DQo= --_000_24AE78A1F56C486ABF545FCF6D51992Etuenl_--