From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7941 Path: news.gmane.org!not-for-mail From: Andrzej Murawski Newsgroups: gmane.comp.mathematics.hol,gmane.science.mathematics.categories,gmane.comp.lang.agda,gmane.comp.mathematics.mizar,gmane.comp.mathematics.proofpower Subject: CSL-LICS 2014 - Call for Papers Date: Mon, 2 Dec 2013 17:12:20 +0100 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1386001340 26224 80.91.229.3 (2 Dec 2013 16:22:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 2 Dec 2013 16:22:20 +0000 (UTC) To: , , , , , , , , , , , , , , , , , , "Association for Symbolic Logic" , , , , , , Original-X-From: hol-info-bounces@lists.sourceforge.net Mon Dec 02 17:22:24 2013 Return-path: Envelope-to: gcmh-hol-info@m.gmane.org Original-Received: from lists.sourceforge.net ([216.34.181.88]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VnWGN-00079g-Gu for gcmh-hol-info@m.gmane.org; Mon, 02 Dec 2013 17:22:24 +0100 Original-Received: from localhost ([127.0.0.1] helo=sfs-ml-3.v29.ch3.sourceforge.com) by sfs-ml-3.v29.ch3.sourceforge.com with esmtp (Exim 4.76) (envelope-from ) id 1VnWGL-0001xo-RQ; Mon, 02 Dec 2013 16:22:21 +0000 Original-Received: from sog-mx-3.v43.ch3.sourceforge.com ([172.29.43.193] helo=mx.sourceforge.net) by sfs-ml-2.v29.ch3.sourceforge.com with esmtp (Exim 4.76) (envelope-from ) id 1VnW6s-0001vV-M8 for hol-info@lists.sourceforge.net; Mon, 02 Dec 2013 16:12:34 +0000 Received-SPF: neutral (sog-mx-3.v43.ch3.sourceforge.com: 213.199.154.13 is neither permitted nor denied by domain of warwick.ac.uk) client-ip=213.199.154.13; envelope-from=A.Murawski@warwick.ac.uk; helo=emea01-am1-obe.outbound.protection.outlook.com; Original-Received: from mail-am1lp0013.outbound.protection.outlook.com ([213.199.154.13] helo=emea01-am1-obe.outbound.protection.outlook.com) by sog-mx-3.v43.ch3.sourceforge.com with esmtps (TLSv1:AES128-SHA:128) (Exim 4.76) id 1VnW6q-0004gd-Rn for hol-info@lists.sourceforge.net; Mon, 02 Dec 2013 16:12:34 +0000 Original-Received: from AMXPRD0111HT001.eurprd01.prod.exchangelabs.com (10.242.12.162) by DBXPR01MB077.eurprd01.prod.exchangelabs.com (10.255.176.153) with Microsoft SMTP Server (TLS) id 15.0.837.10; Mon, 2 Dec 2013 16:12:25 +0000 Original-Received: from mail-vb0-f49.google.com (209.85.212.49) by pod51002.outlook.com (10.242.12.162) with Microsoft SMTP Server (TLS) id 14.16.383.1; Mon, 2 Dec 2013 16:12:25 +0000 Original-Received: by mail-vb0-f49.google.com with SMTP id p5so8431983vbn.8 for ; Mon, 02 Dec 2013 08:12:22 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=L+zp6XomnkOKHiOgUFBNciw35EFVVryKXB+mb9cZSNM=; b=jiUBWAZRULLWvxVji1zevLoMg5TJG5QYSHzNLM+WzvUrqe9097F89ntsaiZFCEfdhx XSbivnxaRQuf6R7hCtCJvm19twWZhyGdKOsp5UhCcLKjaI9uIXjY7IidtgmBYdT1C+bg Hkhb9xmUy4K1Yi/MYONiHp9acDx7SxyryFi9NgBsk+UMwwKahfWq+ytHkMPIilLwp+CE LNPoCZ/7GEXZIdtXGm2C+8f8hkqihLhUGXwvoSSITiHozl5KumsYBDU06I31wkT9btju 6Y5wbIxRpk1BgWBi8fm++q9oXwo1fZGYSmQaOCiUzjDco5aJXj7Q2QqzeXgWtlFgcPoI emMg== X-Received: by 10.52.165.131 with SMTP id yy3mr2480750vdb.25.1386000740397; Mon, 02 Dec 2013 08:12:20 -0800 (PST) Original-Received: by 10.52.171.231 with HTTP; Mon, 2 Dec 2013 08:12:20 -0800 (PST) X-Originating-IP: [209.85.212.49] X-Forefront-PRVS: 0048BCF4DA X-Forefront-Antispam-Report: SFV:NSPM; SFS:(199002)(189002)(13624006)(81342001)(4396001)(46102001)(65816001)(80022001)(23676002)(55446002)(50986001)(49866001)(76176001)(61266001)(77982001)(54316002)(56776001)(15395725003)(47776003)(77096001)(76786001)(74502001)(79102001)(66066001)(59766001)(59536001)(81816001)(74706001)(85852002)(81542001)(87266001)(80976001)(47736001)(69226001)(47976001)(19580395003)(51856001)(83322001)(83072001)(74366001)(74876001)(53806001)(31966008)(85306002)(2171001)(54356001)(42186004)(74482001)(61726005)(15202345003)(50466002)(76796001)(87936001)(47446002)(81686001)(74662001)(15975445006)(76482001)(90146001)(56816005)(921002)(1121002)(2101003)(83996005)(55456008); DIR:OUT; SFP:; SCL:1; SRVR:DBXPR01MB077; H:AMXPRD0111HT001.eurprd01.prod.exchangelabs.com; CLIP:209.85.212.49; FPR:; RD:InfoNoRecords; A:1; MX:1; LANG:en; X-OriginatorOrg: warwick.ac.uk X-Spam-Score: 0.7 (/) X-Spam-Report: Spam Filtering performed by mx.sourceforge.net. See http://spamassassin.org/tag/ for more details. 0.7 SPF_NEUTRAL SPF: sender does not match SPF record (neutral) 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: vsl2014.at] X-Headers-End: 1VnW6q-0004gd-Rn X-Mailman-Approved-At: Mon, 02 Dec 2013 16:22:19 +0000 X-BeenThere: hol-info@lists.sourceforge.net X-Mailman-Version: 2.1.9 Precedence: list List-Id: Information and Discussion about HOL List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: hol-info-bounces@lists.sourceforge.net Xref: news.gmane.org gmane.comp.mathematics.hol:2899 gmane.science.mathematics.categories:7941 gmane.comp.lang.agda:5964 gmane.comp.mathematics.mizar:1488 gmane.comp.mathematics.proofpower:584 Archived-At: ICAgICAgICAgICAgICAgICAgICAgICAgIENBTEwgRk9SIFBBUEVSUwoKICAgICAgICAgICAgICAg ICAgICAgICAgIEpPSU5UIE1FRVRJTkcgT0YKCiAgICAgICAgICAgdGhlIFR3ZW50eS1UaGlyZCBF QUNTTCBBbm51YWwgQ29uZmVyZW5jZSBvbgogICAgICAgICAgICAgICAgICAgQ09NUFVURVIgU0NJ RU5DRSBMT0dJQyAoQ1NMKQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQU5ECiAgICAg ICAgICB0aGUgVHdlbnR5LU5pbnRoIEFubnVhbCBBQ00vSUVFRSBTeW1wb3NpdW0gb24KICAgICAg ICAgICAgICAgICBMT0dJQyBJTiBDT01QVVRFUiBTQ0lFTkNFIChMSUNTKQoKICAgICAgICAgICAg ICAgIEp1bHkgMTTigJMxOCwgMjAxNCwgVmllbm5hLCBBdXN0cmlhCgogICAgICAgICAgICAgICAg ICAgaHR0cDovL3ZzbDIwMTQuYXQvY3NsLWxpY3MvCiAgICAgICAgICAgIGh0dHA6Ly9saWkucnd0 aC1hYWNoZW4uZGUvbGljcy9jc2wtbGljczE0LwoKCkNTTCBpcyB0aGUgYW5udWFsIG1lZXRpbmcg b2YgdGhlIEV1cm9wZWFuIEFzc29jaWF0aW9uIGZvciBDb21wdXRlciBTY2llbmNlCkxvZ2ljIChF QUNTTCkgaW50ZW5kZWQgZm9yIGNvbXB1dGVyIHNjaWVudGlzdHMgd2hvc2UgcmVzZWFyY2ggYWN0 aXZpdGllcwppbnZvbHZlIGxvZ2ljLCBhcyB3ZWxsIGFzIGZvciBsb2dpY2lhbnMgd29ya2luZyBv biBpc3N1ZXMgc2lnbmlmaWNhbnQgZm9yCmNvbXB1dGVyIHNjaWVuY2UuCgpMSUNTIGlzIGFuIGFu bnVhbCBpbnRlcm5hdGlvbmFsIGZvcnVtIG9uIHRoZW9yZXRpY2FsIGFuZCBwcmFjdGljYWwgdG9w aWNzIGluCmNvbXB1dGVyIHNjaWVuY2UgdGhhdCByZWxhdGUgdG8gbG9naWMuCgpUaGUgb3JnYW5p emVycyBvZiB0aGVzZSB0d28gc2VyaWVzIG9mIG1lZXRpbmdzIGhhdmUgY2hvc2VuIHRvIGpvaW4g dGhlIDIwMTQKZWRpdGlvbnMgb2YgdGhlc2UgbWVldGluZ3MgaW50byBhIHNpbmdsZSBldmVudCB3 aXRoaW4gdGhlIEZlZGVyYXRlZCBMb2dpYwpDb25mZXJlbmNlIChGTG9DKSB0aGF0IHdpbGwgYmUg cGFydCBvZiB0aGUgVmllbm5hIFN1bW1lciBvZiBMb2dpYyAyMDE0LiBUaHVzLAppbiAyMDE0LCB0 aGVzZSBtZWV0aW5ncyB3aWxsIGhhdmUgb25lIHByb2dyYW0gY29tbWl0dGVlLCBvbmUgcHJvZ3Jh bSwgYW5kIG9uZQpwcm9jZWVkaW5ncy4gTm8gZGVjaXNpb24gaGFzIGJlZW4gbWFkZSB0byBob2xk IENTTCBhbmQgTElDUyBqb2ludGx5IGJleW9uZAoyMDE0LgoKV2UgaW52aXRlIHN1Ym1pc3Npb25z IG9uIHRvcGljcyB0aGF0IGZpdCB0aGUgdGhlbWVzIG9mIGJvdGggY29uZmVyZW5jZXMuIFRoZXNl CnRvcGljcyBpbmNsdWRlIChidXQgYXJlIG5vdCBsaW1pdGVkIHRvKToKCkF1dG9tYXRhIHRoZW9y eTsgYXV0b21hdGVkIGRlZHVjdGlvbjsgY2F0ZWdvcmljYWwgbW9kZWxzIGFuZCBsb2dpY3M7CmNv bnN0cmFpbnRzIHByb2dyYW1taW5nOyBjb25zdHJ1Y3RpdmUgbWF0aGVtYXRpY3M7IGRhdGFiYXNl IHRoZW9yeTsgZGVjaXNpb24KcHJvY2VkdXJlczsgZG9tYWluIHRoZW9yeTsgZmluaXRlIG1vZGVs IHRoZW9yeTsgZm9ybWFsIGxhbmd1YWdlczsgZm9ybWFsCm1ldGhvZHMgaW4gc29mdHdhcmUgZW5n aW5lZXJpbmc7IGZvdW5kYXRpb25zIG9mIGNvbXB1dGFiaWxpdHk7IGZ1bmN0aW9uYWwgYW5kCnJl YWN0aXZlIHN5bnRoZXNpczsgZ2FtZSBzZW1hbnRpY3M7IGdyYXBoIGdhbWVzOyBoaWdoZXItb3Jk ZXIgbG9naWM7IGxhbWJkYQphbmQgY29tYmluYXRvcnkgY2FsY3VsaTsgbGluZWFyIGxvZ2ljOyBs b2dpYyBwcm9ncmFtbWluZzsgbG9naWNzIGZvciBBSTsKbG9naWNzIG9mIHByb2dyYW1zOyBsb2dp Y2FsIGFzcGVjdHMgb2YgY29tcHV0YXRpb25hbCBjb21wbGV4aXR5OyBtb2RhbCBhbmQKdGVtcG9y YWwgbG9naWNzOyBtb2RlbCBjaGVja2luZzsgcHJvZ3JhbSBhbmFseXNpczsgcHJvb2YgdGhlb3J5 OyBzZW1hbnRpY3Mgb2YKcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzOyBzcGVjaWZpY2F0aW9uIGFuZCB2 ZXJpZmljYXRpb24gb2YgaGFyZHdhcmUsIHNvZnR3YXJlLAphbmQgY29tcGxleCBzeXN0ZW1zOyB0 ZXJtIHJld3JpdGluZzsgYW5kIHR5cGUgdGhlb3J5LgoKQWxzbyB3ZWxjb21lIGFyZSBwYXBlcnMg ZGVzY3JpYmluZyBtb2RlbHMgYW5kIGxvZ2ljcyBmb3IgYmlvbG9naWNhbCBzeXN0ZW1zOwpjb25j dXJyZW50LCBkaXN0cmlidXRlZCwgYW5kIG1vYmlsZSBjb21wdXRhdGlvbjsgcXVhbnR1bSBjb21w dXRhdGlvbjsKc2VjdXJpdHk7IGFuZCByZWFsLXRpbWUsIHByb2JhYmlsaXN0aWMsIGFuZCBoeWJy aWQgc3lzdGVtcy4KCgpJTlNUUlVDVElPTlMgVE8gQVVUSE9SUwoKQXV0aG9ycyBhcmUgcmVxdWly ZWQgdG8gc3VibWl0IGEgcGFwZXIgdGl0bGUgYW5kIGEgc2hvcnQgYWJzdHJhY3Qgb2YgYWJvdXQg MTAwCndvcmRzIGluIGFkdmFuY2Ugb2Ygc3VibWl0dGluZyB0aGUgZnVsbCBwYXBlci4gRXZlcnkg ZnVsbCBwYXBlciBtdXN0IGJlCnN1Ym1pdHRlZCBpbiB0aGUgSUVFRSBQcm9jZWVkaW5ncyAyLWNv bHVtbiAxMC1wb2ludCBmb3JtYXQgYW5kIG1heSBub3QgYmUKbG9uZ2VyIHRoYW4gMTAgcGFnZXMs IGluY2x1ZGluZyByZWZlcmVuY2VzLiBUaGUgZnVsbCBwYXBlciBtdXN0IGJlIGluIEVuZ2xpc2gK YW5kIHByb3ZpZGUgc3VmZmljaWVudCBkZXRhaWwgdG8gYWxsb3cgdGhlIHByb2dyYW0gY29tbWl0 dGVlIHRvIGFzc2VzcyBpdHMKbWVyaXRzLiBGdWxsIHByb29mcyBtYXkgYXBwZWFyIGluIGEgdGVj aG5pY2FsIGFwcGVuZGl4IHdoaWNoIHdpbGwgYmUgcmVhZCBhdAp0aGUgcmV2aWV3ZXJzJyBkaXNj cmV0aW9uLiBBdXRob3JzIGFyZSBzdHJvbmdseSBlbmNvdXJhZ2VkIHRvIGluY2x1ZGUgYSB3ZWxs CndyaXR0ZW4gaW50cm9kdWN0aW9uIHdoaWNoIGlzIGRpcmVjdGVkIGF0IGFsbCBtZW1iZXJzIG9m IHRoZSBwcm9ncmFtCmNvbW1pdHRlZS4KClRoZSByZXN1bHRzIHJlcG9ydGVkIGluIHN1Ym1pc3Np b25zIG11c3QgYmUgdW5wdWJsaXNoZWQgYW5kIG5vdCBzdWJtaXR0ZWQgZm9yCnB1YmxpY2F0aW9u IGVsc2V3aGVyZSwgaW5jbHVkaW5nIHRoZSBwcm9jZWVkaW5ncyBvZiBvdGhlciBzeW1wb3NpYSBv cgp3b3Jrc2hvcHMuIFRoZSBwcm9ncmFtIGNoYWlycyBtdXN0IGJlIGluZm9ybWVkIGluIGFkdmFu Y2Ugb2Ygc3VibWlzc2lvbiBvZiBhbnkKY2xvc2VseSByZWxhdGVkIHdvcmsgc3VibWl0dGVkIG9y IGFib3V0IHRvIGJlIHN1Ym1pdHRlZCB0byBhIGNvbmZlcmVuY2Ugb3IKam91cm5hbC4gQXV0aG9y cyBvZiBhY2NlcHRlZCBwYXBlcnMgYXJlIGV4cGVjdGVkIHRvIHNpZ24gY29weXJpZ2h0IHJlbGVh c2UKZm9ybXMuIE9uZSBhdXRob3Igb2YgZWFjaCBhY2NlcHRlZCBwYXBlciBpcyBleHBlY3RlZCB0 byBwcmVzZW50IHRoYXQgcGFwZXIgYXQKdGhlIGNvbmZlcmVuY2UuCgpQYXBlciBzZWxlY3Rpb24g d2lsbCBiZSBtZXJpdC1iYXNlZCwgd2l0aCBubyBhIHByaW9yaSBsaW1pdCBvbiB0aGUgbnVtYmVy IG9mCmFjY2VwdGVkIHBhcGVycy4KClBhcGVycyBhdXRob3JlZCBvciBjby1hdXRob3JlZCBieSBt ZW1iZXJzIG9mIHRoZSBwcm9ncmFtIGNvbW1pdHRlZSBhcmUgbm90CmFsbG93ZWQuCgoKREVBRExJ TkVTCgpUaGUgZXhhY3QgZGVhZGxpbmUgdGltZSBvbiB0aGVzZSBkYXRlcyBpcyBnaXZlbiBieSBh bnl3aGVyZSBvbiBlYXJ0aCAoQW9FKS4KClRpdGxlIGFuZCBTaG9ydCBBYnN0cmFjdHMgRHVlICAg ICAgICBKYW51YXJ5IDEzLCAyMDE0CkZ1bGwgUGFwZXJzIER1ZSAgICAgICAgICAgICAgICAgICAg ICBKYW51YXJ5IDIwLCAyMDE0CkF1dGhvciBOb3RpZmljYXRpb24gICAgICAgICAgICAgICAgICAg IE1hcmNoIDMxLCAyMDE0CkZpbmFsIFZlcnNpb25zIER1ZSBmb3IgUHJvY2VlZGluZ3MgICAgICAg TWF5IDE1LCAyMDE0CgpEZWFkbGluZXMgYXJlIGZpcm07IGxhdGUgc3VibWlzc2lvbnMgd2lsbCBu b3QgYmUgcG9zc2libGUuCgpBbGwgc3VibWlzc2lvbnMgYXJlIG1hZGUgZWxlY3Ryb25pY2FsbHkg dmlhCjxodHRwOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy9jb25mPWNzbGxpY3MyMDE0Pi4K CgpBV0FSRFMKClRoZSBLbGVlbmUgQXdhcmQgZm9yIEJlc3QgU3R1ZGVudCBQYXBlciB3aWxsIGJl IGdpdmVuIGZvciB0aGUgYmVzdCBzdHVkZW50CnBhcGVyKHMpLCBhcyBqdWRnZWQgYnkgdGhlIHBy b2dyYW0gY29tbWl0dGVlLgoKVGhlIEVBQ1NMIE91dHN0YW5kaW5nIERpc3NlcnRhdGlvbiBBd2Fy ZCwgbmFtZWQgZm9yIFdpbGhlbG0gRi4gQWNrZXJtYW5uLCB3aWxsCmJlIHByZXNlbnRlZCBkdXJp bmcgdGhlIGpvaW50IG1lZXRpbmcuCgpUaGUgTElDUyBUZXN0LW9mLVRpbWUgQXdhcmQgMjAxNCB3 aWxsIGJlIHByZXNlbnRlZCBkdXJpbmcgdGhlIGpvaW50IG1lZXRpbmcuCgoKUFJPR1JBTSBDT01N SVRURUUgQ0hBSVJTCgpUaG9tYXMgQS4gSGVuemluZ2VyLCBJU1QgQXVzdHJpYQpEYWxlIE1pbGxl ciwgSU5SSUEgJiBMSVgKCgpQUk9HUkFNIENPTU1JVFRFRQoKQW5kcmVhcyBBc3BlcnRpLCBVbml2 ZXJzaXR5IG9mIEJvbG9nbmEKR2lsbGVzIEJhcnRoZSwgSU1ERUEKQW5kcmVqIEJhdWVyLCBJTUZN CkxhcnMgQmlya2VkYWwsIEFhcmh1cyBVbml2ZXJzaXR5CktyaXNobmVuZHUgQ2hhdHRlcmplZSwg SVNUIEF1c3RyaWEKQWRyaWFuYSBDb21wYWdub25pLCBTdGV2ZW5zIEluc3RpdHV0ZSBvZiBUZWNo bm9sb2d5ClZhbGVyaWEgRGVQYWl2YSwgTnVhbmNlIENvbW11bmljYXRpb25zCkxhdXJlbnQgRG95 ZW4sIEVOUyBDYWNoYW4KSmFjcXVlcyBEdXBhcmMsIFVuaXZlcnNpdHkgb2YgTGF1c2FubmUKTWFy aWJlbCBGZXJuYW5kZXosIEtpbmcncyBDb2xsZWdlIExvbmRvbgpIZXJtYW4gR2V1dmVycywgUmFk Ym91ZCBVbml2ZXJzaXR5IE5pam1lZ2VuCkRhbiBHaGljYSwgVW5pdmVyc2l0eSBvZiBCaXJtaW5n aGFtCkVyaWNoIEdyw6RkZWwsIFJXVEggQWFjaGVuIFVuaXZlcnNpdHkKSG9sZ2VyIEhlcm1hbm5z LCBTYWFybGFuZCBVbml2ZXJzaXR5Ck5laWwgSW1tZXJtYW4sIFVuaXZlcnNpdHkgb2YgTWFzcy4g QW1oZXJzdApOYW9raSBLb2JheWFzaGksIFVuaXZlcnNpdHkgb2YgVG9reW8KTGF1cmEgS292w6Fj cywgQ2hhbG1lcnMgVW5pdmVyc2l0eQpWaWN0b3IgS3VuY2FrLCBFUEZMClNhbHZhdG9yZSBMYSBU b3JyZSwgVW5pdmVyc2l0eSBvZiBTYWxlcm5vClJ1cGFrIE1hanVtZGFyLCBNUEktU1dTCkRhbWlh bm8gTWF6emEsIENOUlMgJiBVbml2ZXJpdHkgUGFyaXMtTm9yZApKb2VsIE91YWtuaW5lLCBVbml2 ZXJzaXR5IG9mIE94Zm9yZApMZXN6ZWsgUGFjaG9sc2tpLCBVbml2ZXJzaXR5IG9mIFdyb2NsYXcK TmlyIFBpdGVybWFuLCBVbml2ZXJzaXR5IG9mIExlaWNlc3RlcgpBbmRyZXcgUGl0dHMsIFVuaXZl cnNpdHkgb2YgQ2FtYnJpZGdlCkFuZHJlYXMgUG9kZWxza2ksIFVuaXZlcnNpdHkgb2YgRnJlaWJ1 cmcKUi4gUmFtYW51amFtLCBJTVMgQ2hlbm5haQpKYW1lcyBSaWVseSwgRGVQYXVsIFVuaXZlcnNp dHkKU2ltb25hIFJvbmNoaSBEZWxsYSBSb2NjYSwgVW5pdmVyc2l0eSBvZiBUb3Jpbm8KQW1yIFNh YnJ5LCBJbmRpYW5hIFVuaXZlcnNpdHkKVG9tIFNjaHJpanZlcnMsIEdoZW50IFVuaXZlcnNpdHkK UC4gUy4gVGhpYWdhcmFqYW4sIE5hdGlvbmFsIFVuaXZlcnNpdHkgb2YgU2luZ2Fwb3JlCkFsd2Vu IFRpdSwgQXVzdHJhbGlhbiBOYXRpb25hbCBVbml2ZXJzaXR5ClZpY3RvciBWaWFudSwgVW5pdmVy c2l0eSBvZiBDYWxpZm9ybmlhLCBTYW4gRGllZ28KQW5kcmVpIFZvcm9ua292LCBVbml2ZXJzaXR5 IG9mIE1hbmNoZXN0ZXIKSWdvciBXYWx1a2lld2ljeiwgQ05SUyAmIFVuaXZlcnNpdHkgb2YgQm9y ZGVhdXgKCgpXT1JLU0hPUCBDSEFJUlMKClBhdHJpY2lhIEJvdXllci1EZWNpdHJlLCBDTlJTICYg RU5TIENhY2hhbgpHZW9yZyBNb3NlciwgVW5pdmVyc2l0eSBvZiBJbm5zYnJ1Y2sKCgpMT0NBTCBP UkdBTklaQVRJT04gQ09NTUlUVEVFCgpLcmlzaG5lbmR1IENoYXR0ZXJqZWUsIElTVCBBdXN0cmlh CkphbiBPdG9wLCBJU1QgQXVzdHJpYQoKClBVQkxJQ0lUWSBDSEFJUlMKCkthdXN0dXYgQ2hhdWRo dXJpLCBJTlJJQSAmIExJWApBbmRyemVqIE11cmF3c2tpLCBVbml2ZXJzaXR5IG9mIFdhcndpY2sK CgpGTG9DIE9SR0FOSVpBVElPTiBDT01NSVRURUUKCk0uIEJhYXosIFMuIFN6ZWlkZXIsIE0uIFZh cmRpLCBILiBWZWl0aAoKCkVBQ1NMIEVYRUNVVElWRSBDT01NSVRURUUKCkwuIEFjZXRvLCBNLiBC ZXplbSwgQS4gRGF3YXIgKHByZXNpZGVudCksIFIuIEthaGxlLCBCLiBMb2V3ZSwgTS4gTG9ocmV5 LApKLiBNYWtvd3NreSwgRC4gTml3aW5za2ksIEwuIE9uZywgUy4gUm9uY2hpIGRlbGxhIFJvY2Nh LCBILiBWZWl0aCwgRy4gV2luc2tlbAoKCkxJQ1MgT1JHQU5JWklORyBDT01NSVRURUUKCk0uIEFi YWRpLCBMLiBBY2V0bywgUi4gQWx1ciwgRi4gQmFhZGVyLCBQLiBCZWFtZSwgUC4gQm91eWVyLURl Y2l0cmUsIEsuCkNoYXR0ZXJqZWUsIEEuIENvbXBhZ25vbmksIEEuIERhd2FyLCBOLiBEZXJzaG93 aXR6LCBNLiBGZXJuYW5kZXosIE0uIEdyb2hlLApPLiBHcnVtYmVyZywgVC4gSGVuemluZ2VyLCBQ LiBLb2xhaXRpcywgTy4gS3VwZmVybWFuLCBCLiBMYXJvc2UsIFYuIExpcG92YWMsCkQuIE1pbGxl ciwgTS4gTWlzbG92ZSwgRy4gTW9zZXIsIEEuIE11cmF3c2tpLCBMLiBPbmcgKGNoYWlyKSwgQS4g U2NlZHJvdiwgRC4KU2htb3lzLCBNLiBWYWxlcmlvdGUKCgpTUE9OU09SU0hJUAoKVGhlIGpvaW50 IG1lZXRpbmcgaXMgc3BvbnNvcmVkIGJ5IHRoZSBFdXJvcGVhbiBBc3NvY2lhdGlvbiBmb3IgQ29t cHV0ZXIKU2NpZW5jZSBMb2dpYywgdGhlIElFRUUgVGVjaG5pY2FsIENvbW1pdHRlZSBvbiBNYXRo ZW1hdGljYWwgRm91bmRhdGlvbnMgb2YKQ29tcHV0YXRpb24sIGFuZCBieSB0aGUgQUNNIFNJR0FD VCBpbiBjb29wZXJhdGlvbiB3aXRoIHRoZSBBc3NvY2lhdGlvbiBmb3IKU3ltYm9saWMgTG9naWMg YW5kIHRoZSBFdXJvcGVhbiBBc3NvY2lhdGlvbiBmb3IgVGhlb3JldGljYWwgQ29tcHV0ZXIgU2Np ZW5jZS4KCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQpSYXBpZGx5IHRyb3VibGVzaG9vdCBwcm9ibGVt cyBiZWZvcmUgdGhleSBhZmZlY3QgeW91ciBidXNpbmVzcy4gTW9zdCBJVCAKb3JnYW5pemF0aW9u cyBkb24ndCBoYXZlIGEgY2xlYXIgcGljdHVyZSBvZiBob3cgYXBwbGljYXRpb24gcGVyZm9ybWFu Y2UgCmFmZmVjdHMgdGhlaXIgcmV2ZW51ZS4gV2l0aCBBcHBEeW5hbWljcywgeW91IGdldCAxMDAl IHZpc2liaWxpdHkgaW50byB5b3VyIApKYXZhLC5ORVQsICYgUEhQIGFwcGxpY2F0aW9uLiBTdGFy dCB5b3VyIDE1LWRheSBGUkVFIFRSSUFMIG9mIEFwcER5bmFtaWNzIFBybyEKaHR0cDovL3B1YmFk cy5nLmRvdWJsZWNsaWNrLm5ldC9nYW1wYWQvY2xrP2lkPTg0MzQ5MzUxJml1PS80MTQwL29zdGcu Y2xrdHJrCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmhv bC1pbmZvIG1haWxpbmcgbGlzdApob2wtaW5mb0BsaXN0cy5zb3VyY2Vmb3JnZS5uZXQKaHR0cHM6 Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGluZm8vaG9sLWluZm8K