From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 1280D7FE36 for ; Fri, 1 Jul 2016 21:49:00 +0200 (CEST) IronPort-PHdr: 9a23:8KCLqxy3KDqAD8rXCy+O+j09IxM/srCxBDY+r6Qd1ekWIJqq85mqBkHD//Il1AaPBtSDrasVwLON7ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNeDxJ3siqibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtKhY7j9Itvk928lFWKT8N+RkHP0LRAkgKH0/sc33qQGRCkyL52AASSMOkxFBH03B5Rf1GJDrvWz/v+t53SCcesruUbEzXy/l66BkSRStkD0AOCQw9WTWjMMjsaRAvRj0ohV+x5LTMoWSO/t1O7vHetwATG9EX8BeEjZMG56xdJcnC+saIf0et4j2rkdLqRK4Ck+rHuy40SJChHL9wfgn1f88GxrNxg0qEoEytyHbsdHtca4WVcikxanPyjrZaO5OwnH2742MOhkgsfCFdbtxYcvYj0gzU0vIhVGRsZfoejiRzqEQqGWB9MJkVPmzkCg8rBxrqTWhwd0jh8/Pi55RgkvF/j5l3Z1wOMa1UlVTet+vC91LumXSOpV7RN8KQmcupDt/wbkPpIWnfCEOjpgqg1bHb/WBfpSL+DrgTqCWOzg8zHZid7O0rxO77Ujm1+v9E8Oz1lAMoicB2sLTtzUVzRvX7cevRfx68UOs1iyIyhjIrOpDJAR8ka3UKpVk2qQ3mYAatEHCGCDenETtkLTQbkQv8/Tt7+3hbfPhvJDPGZVzj1TbO74lnYSQCPoxNAUKW2nTreG1zrbku0LwXrxMg/kyk4HEtpHUKIIauvjqUEduzo8/5kPnXH+d29MCkCxbfV8= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=logic-programming-bounces@lists.picat-lang.org; spf=None smtp.mailfrom=logic-programming-bounces@lists.picat-lang.org; spf=None smtp.helo=postmaster@mailman01.siteprotect.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=pra; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=mailfrom; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailman01.siteprotect.com) identity=helo; client-ip=64.41.126.239; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="postmaster@mailman01.siteprotect.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BuAACDyHZXh+9+KUBdhBR8u0eCP4NVgRU8EAEBAQEBAQEBEQEBAQoLCQkhL4IyghwGARALBhEMAQEEAwcYBgoCAgMBAgYCJAIFFgMEBAICAgEBBQMCAQIBFQEMAQUBDBcMBgIBAQEWB4gOBAUFpyiBMT4xilRngW+CVAEBBYtDAQEBAQYBAQEBAQEBARcIEHGFJ4hfCgEGAYMdglqZFX9ZhDGFOIMFgWpOgi6BWoJ9DoVfiC2GHTCBRIIlgWxsAQsBhyMBDheBHgEBAQ X-IPAS-Result: A0BuAACDyHZXh+9+KUBdhBR8u0eCP4NVgRU8EAEBAQEBAQEBEQEBAQoLCQkhL4IyghwGARALBhEMAQEEAwcYBgoCAgMBAgYCJAIFFgMEBAICAgEBBQMCAQIBFQEMAQUBDBcMBgIBAQEWB4gOBAUFpyiBMT4xilRngW+CVAEBBYtDAQEBAQYBAQEBAQEBARcIEHGFJ4hfCgEGAYMdglqZFX9ZhDGFOIMFgWpOgi6BWoJ9DoVfiC2GHTCBRIIlgWxsAQsBhyMBDheBHgEBAQ X-IronPort-AV: E=Sophos;i="5.26,558,1459807200"; d="scan'208";a="225159631" Received: from mailman01.siteprotect.com ([64.41.126.239]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Jul 2016 21:48:13 +0200 Received: from mailman01.siteprotect.com (localhost.localdomain [127.0.0.1]) by mailman01.siteprotect.com (Postfix) with ESMTP id A83652708151; Fri, 1 Jul 2016 14:46:42 -0500 (CDT) X-Original-To: logic-programming@lists.picat-lang.org Delivered-To: logic-programming@lists.picat-lang.org Received: from mail-wm0-f46.google.com (mail-wm0-f46.google.com [74.125.82.46]) by mailman01.siteprotect.com (Postfix) with ESMTP id 9AE4C2708008 for ; Sat, 25 Jun 2016 09:59:00 -0500 (CDT) Received: by mail-wm0-f46.google.com with SMTP id a66so59490797wme.0 for ; Sat, 25 Jun 2016 07:59:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unife.it; s=google; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding; bh=zRtCSDFTYTL088xc4Rhj+TT8EBdGJ3IJ6XmDigOHwaE=; b=Fbdzx2WOamzRvCiNnDRbcI3Vd3KCmRe9jZaixA7rGu6eJfs173DKczrUZ9GJ4oqGyd re9H4PLfugQzED6HyzGZvQp0+ly3qfySftyxdlyZs0eMR4Rdr1+YJECe3LqJIH/fX01R 5fo8H6ORFZcAOwoHU2+qdaCu/8hEOVfesZX78= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding; bh=zRtCSDFTYTL088xc4Rhj+TT8EBdGJ3IJ6XmDigOHwaE=; b=Ge9jt3pb6FVHGQ7avdK7KT6mPxzhxblKkvwDfd9ruYTt2Fe5UsN2gaInbCWBQhRSZs FRQsPQc8G5ahk1HnAjPEQBz2N5H/yJH/97XoGiXxQ9cqcqVQK3J0/lS//P4s3sOFoCoh szoiTrfKoFPD26aDrvBEtTZJVVecYS00FdgKWJyg/hsuUuJ0yVtiV89QYk8Pqrm4HFWj x+I00Zu9BpRRebNZZFTgrEhHjPI2eQtcL4ZiuPK49ARyEQ1mHHxtX2PAkdYCMdxnHlkb 5UUttewfC62nAZYDscrwC+HHuPkNlfpUbAGzCNnS3H17zf2Vp0UKrZfsyrL8cS0UVVPX 7fdg== X-Gm-Message-State: ALyK8tLfmc01mA4HJru3eWtGtqmL/aCj3xAIIdAi2EZafhHav/3u7AP5mZIA21Pd+zppNFka X-Received: by 10.28.212.198 with SMTP id l189mr3132101wmg.100.1466866739632; Sat, 25 Jun 2016 07:58:59 -0700 (PDT) Received: from [192.168.44.158] ([5.170.195.69]) by smtp.gmail.com with ESMTPSA id c142sm1974683wme.18.2016.06.25.07.58.57 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 25 Jun 2016 07:58:58 -0700 (PDT) To: gulp-all@yahoogroups.com, aixia@aixia.it, eclipse-clp-users@lists.sourceforge.net, sicstus-users@sics.se, event@in.tu-clausthal.de, planetkr@kr.org, logic@math.uni-bonn.de, swi-prolog@googlegroups.com, logic-programming@lists.picat-lang.org From: Marco Gavanelli Message-ID: <576E9C2F.6080500@unife.it> Date: Sat, 25 Jun 2016 16:58:55 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.8.0 MIME-Version: 1.0 X-Mailman-Approved-At: Fri, 01 Jul 2016 14:46:35 -0500 X-BeenThere: logic-programming@lists.picat-lang.org X-Mailman-Version: 2.1.18-1 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: logic-programming-bounces@lists.picat-lang.org Sender: "logic-programming" X-Validation-by: marco.gavanelli@unife.it Subject: [Caml-list] [logic-programming] PADL'17 call for papers Q2FsbCBmb3IgUGFwZXJzCj09PT09PT09PT09PT09PQoKMTl0aCBJbnRlcm5h dGlvbmFsIFN5bXBvc2l1bSBvbiBQcmFjdGljYWwgQXNwZWN0cyBvZiBEZWNs YXJhdGl2ZSAKTGFuZ3VhZ2VzIChQQURMIDIwMTcpCmh0dHA6Ly9iaXQubHkv UEFETC0yMDE3CgpQYXJpcywgRnJhbmNlCjE2dGggYW5kIDE3dGggSmFudWFy eSAyMDE3CkNvLWxvY2F0ZWQgd2l0aCBBQ00gUE9QTCAyMDE3IChodHRwOi8v Y29uZi5yZXNlYXJjaHIub3JnL2hvbWUvUE9QTC0yMDE3KQoKVGhlIHR3byBi ZXN0IHBhcGVycyBhY2NlcHRlZCBmb3IgcHVibGljYXRpb24gYXQgUEFETAp3 aWxsIGJlIGludml0ZWQgdG8gc3VibWl0IGFuIGV4dGVuZGVkIHZlcnNpb24g Zm9yIHJhcGlkIHB1YmxpY2F0aW9uCmluIHRoZSBqb3VybmFsIFRoZW9yeSBh bmQgUHJhY3RpY2Ugb2YgTG9naWMgUHJvZ3JhbW1pbmcuCgpDb25mZXJlbmNl IERlc2NyaXB0aW9uCj09PT09PT09PT09PT09PT09PT09PT0KCkRlY2xhcmF0 aXZlIGxhbmd1YWdlcyBidWlsZCBvbiBzb3VuZCB0aGVvcmV0aWNhbCBiYXNl cyB0byBwcm92aWRlCmF0dHJhY3RpdmUgZnJhbWV3b3JrcyBmb3IgYXBwbGlj YXRpb24gZGV2ZWxvcG1lbnQuIFRoZXNlIGxhbmd1YWdlcwpoYXZlIGJlZW4g c3VjY2Vzc2Z1bGx5IGFwcGxpZWQgdG8gbWFueSBkaWZmZXJlbnQgcmVhbC13 b3JsZApzaXR1YXRpb25zLCByYW5naW5nIGZyb20gZGF0YSBiYXNlIG1hbmFn ZW1lbnQgdG8gYWN0aXZlIG5ldHdvcmtzIHRvCnNvZnR3YXJlIGVuZ2luZWVy aW5nIHRvIGRlY2lzaW9uIHN1cHBvcnQgc3lzdGVtcy4KCk5ldyBkZXZlbG9w bWVudHMgaW4gdGhlb3J5IGFuZCBpbXBsZW1lbnRhdGlvbiBoYXZlIG9wZW5l ZCB1cCBuZXcKYXBwbGljYXRpb24gYXJlYXMuIEF0IHRoZSBzYW1lIHRpbWUs IGFwcGxpY2F0aW9ucyBvZiBkZWNsYXJhdGl2ZQpsYW5ndWFnZXMgdG8gbm92 ZWwgcHJvYmxlbXMgcmFpc2UgbnVtZXJvdXMgaW50ZXJlc3RpbmcgcmVzZWFy Y2gKaXNzdWVzLiBXZWxsLWtub3duIHF1ZXN0aW9ucyBpbmNsdWRlIGRlc2ln bmluZyBmb3Igc2NhbGFiaWxpdHksCmxhbmd1YWdlIGV4dGVuc2lvbnMgZm9y IGFwcGxpY2F0aW9uIGRlcGxveW1lbnQsIGFuZCBwcm9ncmFtbWluZwplbnZp cm9ubWVudHMuIFRodXMsIGFwcGxpY2F0aW9ucyBkcml2ZSB0aGUgcHJvZ3Jl c3MgaW4gdGhlIHRoZW9yeSBhbmQKaW1wbGVtZW50YXRpb24gb2YgZGVjbGFy YXRpdmUgc3lzdGVtcywgYW5kIGJlbmVmaXQgZnJvbSB0aGlzIHByb2dyZXNz CmFzIHdlbGwuCgpQQURMIGlzIGEgZm9ydW0gZm9yIHJlc2VhcmNoZXJzIGFu ZCBwcmFjdGl0aW9uZXJzIHRvIHByZXNlbnQKb3JpZ2luYWwgd29yayBlbXBo YXNpemluZyBub3ZlbCBhcHBsaWNhdGlvbnMgYW5kIGltcGxlbWVudGF0aW9u CnRlY2huaXF1ZXMgZm9yIGFsbCBmb3JtcyBvZiBkZWNsYXJhdGl2ZSBjb25j ZXB0cywgaW5jbHVkaW5nLApmdW5jdGlvbmFsLCBsb2dpYywgY29uc3RyYWlu dHMsIGV0Yy4gVG9waWNzIG9mIGludGVyZXN0IGluY2x1ZGUsIGJ1dAphcmUg bm90IGxpbWl0ZWQgdG86CgoqIElubm92YXRpdmUgYXBwbGljYXRpb25zIG9m IGRlY2xhcmF0aXZlIGxhbmd1YWdlcwoqIERlY2xhcmF0aXZlIGRvbWFpbi1z cGVjaWZpYyBsYW5ndWFnZXMgYW5kIGFwcGxpY2F0aW9ucwoqIFByYWN0aWNh bCBhcHBsaWNhdGlvbnMgb2YgdGhlb3JldGljYWwgcmVzdWx0cwoqIE5ldyBs YW5ndWFnZSBkZXZlbG9wbWVudHMgYW5kIHRoZWlyIGltcGFjdCBvbiBhcHBs aWNhdGlvbnMKKiBEZWNsYXJhdGl2ZSBsYW5ndWFnZXMgYW5kIHNvZnR3YXJl IGVuZ2luZWVyaW5nCiogRXZhbHVhdGlvbiBvZiBpbXBsZW1lbnRhdGlvbiB0 ZWNobmlxdWVzIG9uIHByYWN0aWNhbCBhcHBsaWNhdGlvbnMKKiBQcmFjdGlj YWwgZXhwZXJpZW5jZXMgYW5kIGluZHVzdHJpYWwgYXBwbGljYXRpb25zCiog Tm92ZWwgdXNlcyBvZiBkZWNsYXJhdGl2ZSBsYW5ndWFnZXMgaW4gdGhlIGNs YXNzcm9vbQoqIFByYWN0aWNhbCBleHRlbnNpb25zIHN1Y2ggYXMgY29uc3Ry YWludC1iYXNlZCwgcHJvYmFiaWxpc3RpYywgYW5kCnJlYWN0aXZlIGxhbmd1 YWdlcy4KClBBREwgMjAxNyB3ZWxjb21lcyBuZXcgaWRlYXMgYW5kIGFwcHJv YWNoZXMgcGVydGFpbmluZyB0bwphcHBsaWNhdGlvbnMgYW5kIGltcGxlbWVu dGF0aW9uIG9mIGRlY2xhcmF0aXZlIGxhbmd1YWdlcy4gUEFETCAyMDE3IHdp bGwKYmUgY28tbG9jYXRlZCB3aXRoIHRoZSBTeW1wb3NpdW0gb24gUHJpbmNp cGxlcyBvZiBQcm9ncmFtbWluZyBMYW5ndWFnZXMKKFBPUEwgMjAxNyksIGlu IFBhcmlzLCBGcmFuY2UuCgpJbXBvcnRhbnQgRGF0ZXMgYW5kIFN1Ym1pc3Np b24gR3VpZGVsaW5lcwo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PQoKQWJzdHJhY3Qgc3VibWlzc2lvbjogU2VwdGVtYmVyIDEy LCAyMDE2ClBhcGVyIHN1Ym1pc3Npb246IFNlcHRlbWJlciAxOSwgMjAxNgpO b3RpZmljYXRpb246IE9jdG9iZXIgMTgsIDIwMTYKQ2FtZXJhLXJlYWR5OiBO b3ZlbWJlciAxLCAyMDE2ClN5bXBvc2l1bTogSmFudWFyeSAxNi0xNywgMjAx NwoKQXV0aG9ycyBzaG91bGQgc3VibWl0IGFuIGVsZWN0cm9uaWMgY29weSBv ZiB0aGUgZnVsbCBwYXBlciBpbiBQREYKdXNpbmcgdGhlIFNwcmluZ2VyIExO Q1MgZm9ybWF0LiBUaGUgc3VibWlzc2lvbiB3aWxsIGJlIGRvbmUgdGhyb3Vn aApFYXN5Q2hhaXIgY29uZmVyZW5jZSBzeXN0ZW06CgpodHRwczovL2Vhc3lj aGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9cGFkbDE3CgpBbGwgc3VibWlz c2lvbnMgbXVzdCBiZSBvcmlnaW5hbCB3b3JrIHdyaXR0ZW4gaW4gRW5nbGlz aC4gU3VibWlzc2lvbnMKbXVzdCBiZSB1bnB1Ymxpc2hlZCBhbmQgbm90IHN1 Ym1pdHRlZCBmb3IgcHVibGljYXRpb24gZWxzZXdoZXJlLiBXb3JrCnRoYXQg YWxyZWFkeSBhcHBlYXJlZCBpbiB1bnB1Ymxpc2hlZCBvciBpbmZvcm1hbGx5 IHB1Ymxpc2hlZCB3b3Jrc2hvcHMKcHJvY2VlZGluZ3MgbWF5IGJlIHN1Ym1p dHRlZCBidXQgdGhlIGF1dGhvcnMgc2hvdWxkIG5vdGlmeSB0aGUgcHJvZ3Jh bQpjaGFpciBhYm91dCB0aGUgcGxhY2Ugb24gd2hpY2ggaXQgaGFzIHByZXZp b3VzbHkgYXBwZWFyZWQuCgpQQURMIDIwMTcgd2lsbCBhY2NlcHQgYm90aCB0 ZWNobmljYWwgYW5kIGFwcGxpY2F0aW9uIHBhcGVyczoKCiogVGVjaG5pY2Fs IHBhcGVycyBtdXN0IGRlc2NyaWJlIG9yaWdpbmFsLCBwcmV2aW91c2x5IHVu cHVibGlzaGVkCnJlc2VhcmNoIHJlc3VsdHMuIFRlY2huaWNhbCBwYXBlcnMg bXVzdCBub3QgZXhjZWVkIDE1IHBhZ2VzIChwbHVzCm9uZSBwYWdlIG9mIHJl ZmVyZW5jZXMpIGluIFNwcmluZ2VyIExOQ1MgZm9ybWF0LgoqIEFwcGxpY2F0 aW9uIHBhcGVycyBhcmUgYSBtZWNoYW5pc20gdG8gcHJlc2VudCBpbXBvcnRh bnQgcHJhY3RpY2FsCmFwcGxpY2F0aW9ucyBvZiBkZWNsYXJhdGl2ZSBsYW5n dWFnZXMgdGhhdCBvY2N1ciBpbiBpbmR1c3RyeSBvcgppbiBhcmVhcyBvZiBy ZXNlYXJjaCBvdGhlciB0aGFuIENvbXB1dGVyIFNjaWVuY2UuCkFwcGxpY2F0 aW9uIHBhcGVycyBhcmUgZXhwZWN0ZWQgdG8gZGVzY3JpYmUgY29tcGxleCBh bmQvb3IKcmVhbC13b3JsZCBhcHBsaWNhdGlvbnMgdGhhdCByZWx5IG9uIGFu IGlubm92YXRpdmUgdXNlIG9mCmRlY2xhcmF0aXZlIGxhbmd1YWdlcy4gQXBw bGljYXRpb24gZGVzY3JpcHRpb25zLCBlbmdpbmVlcmluZwpzb2x1dGlvbnMg YW5kIHJlYWwtd29ybGQgZXhwZXJpZW5jZXMgKGJvdGggcG9zaXRpdmUgYW5k IG5lZ2F0aXZlKQphcmUgc29saWNpdGVkLiBUaGUgbGltaXQgZm9yIGFwcGxp Y2F0aW9uIHBhcGVycyBpcyA4IHBhZ2VzIGluClNwcmluZ2VyIExOQ1MgZm9y bWF0IGJ1dCBzdWNoIHBhcGVycyBjYW4gYWxzbyBwb2ludCB0byBzaXRlcyB3 aXRoCnN1cHBsZW1lbnRhbCBpbmZvcm1hdGlvbiBhYm91dCB0aGUgYXBwbGlj YXRpb24gb3IgdGhlIHN5c3RlbSB0aGF0CnRoZXkgZGVzY3JpYmUuCgpUaGUg cHJvY2VlZGluZ3Mgb2YgUEFETCAyMDE3IHdpbGwgYXBwZWFyIGluIHRoZSBM TkNTIHNlcmllcyBvZiBTcHJpbmdlcgpWZXJsYWcgKCB3d3cuc3ByaW5nZXIu Y29tL2xuY3MgKS4KClR3byBwYXBlcnMgYWNjZXB0ZWQgZm9yIHB1YmxpY2F0 aW9uIGF0IFBBREwnMTcgd2lsbCBiZSBub21pbmF0ZWQgZm9yIHRoZSAKTW9z dApQcmFjdGljYWwgUGFwZXIgYXdhcmQgKG9uZSBvZiB0aGVtIGFzIHRoZSBT dHVkZW50IEJlc3QgUGFwZXIpLCBlYWNoIGluIGNhc2gKYW1vdW50IG9mIDI1 MCBFdXJvLiBUaGVzZSB0d28gcGFwZXJzIHdpbGwgYmUgaW52aXRlZCB0byBz dWJtaXQgYW4gZXh0ZW5kZWQKdmVyc2lvbiBvZiB0aGVpciBjb250cmlidXRp b24gdG8gdGhlIGpvdXJuYWwgIlRoZW9yeSBhbmQgUHJhY3RpY2Ugb2YgTG9n aWMKUHJvZ3JhbW1pbmciIGZvciByYXBpZCBwdWJsaWNhdGlvbi4gIFRoZSBl eHRlbmRlZCB2ZXJzaW9uIHNob3VsZCBjb250YWluIGF0CmxlYXN0IDMwJSBu ZXcgY29udGVudCBjb21wYXJlZCB0byB0aGUgcHVibGlzaGVkIGNvbmZlcmVu Y2UgcGFwZXIuClRoZSBleHRlbmRlZCBwYXBlciB3aWxsIHVuZGVyZ28gYW4g YWRkaXRpb25hbCByZXZpZXcgcHJvY2Vzcy4KClByb2dyYW0gQ29tbWl0dGVl Cj09PT09PT09PT09PT09PT09CgpFcmlrYSBBYnJhaGFtLCBSV1RIIEFhY2hl biBVbml2ZXJzaXR5Ck1hcmNlbGxvIEJhbGR1Y2NpbmksIERyZXhlbCBVbml2 ZXJzaXR5CkxhcnMgQmVyZ3N0cm9tLCBNb3ppbGxhIFJlc2VhcmNoCkJhcnQg Qm9nYWVydHMsIEFhbHRvIFVuaXZlcnNpdHkKRWR3aW4gQnJhZHksIFVuaXZl cnNpdHkgb2YgU3QgQW5kcmV3cwpNYXJ0aW4gQnJhaW4sIFVuaXZlcnNpdHkg b2YgT3hmb3JkCk1hdHMgQ2FybHNzb24sIFNJQ1MKTWFudWVsIENhcnJvLCBU ZWNobmljYWwgVW5pdmVyc2l0eSBvZiBNYWRyaWQgKFVQTSkgYW5kIElNREVB IFNvZnR3YXJlIApJbnN0aXR1dGUKU3RlZmFuaWEgQ29zdGFudGluaSwgVW5p dmVyc2l0eSBkZWxsJ0FxdWlsYQpNYXJjIERlbmVja2VyLCBLVSBMZXV2ZW4K RXNyYSBFcmRlbSwgU2FiYW5jaSBVbml2ZXJzaXR5ClRob20gRnJ1ZWh3aXJ0 aCwgVW5pdmVyc2l0eSBvZiBVbG0KTWFyY28gR2F2YW5lbGxpLCBVbml2ZXJz aXR5IG9mIEZlcnJhcmEKTWFydGluIEdlYnNlciwgVW5pdmVyc2l0eSBvZiBQ b3RzZGFtCkplcmVteSBHaWJib25zLCBVbml2ZXJzaXR5IG9mIE94Zm9yZApI YWktRmVuZyBHdW8sIFVuaXZlcnNpdHkgb2YgTmVicmFza2EgYXQgT21haGEK SnVycmlhYW4gSGFnZSwgVW5pdmVyc2l0ZWl0IFV0cmVjaHQKR2VvZmZyZXkg TWFpbmxhbmQsIERyZXhlbCBVbml2ZXJzaXR5CkhlbnJpayBOaWxzc29uLCBV bml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0KRW5yaWNvIFBvbnRlbGxpLCBOZXcg TWV4aWNvIFN0YXRlIFVuaXZlcnNpdHkKUmljYXJkbyBSb2NoYSwgVW5pdmVy c2l0eSBvZiBQb3J0bwpQZXRlciBTY2jDvGxsZXIsIE1hcm1hcmEgVW5pdmVy c2l0eQpQZXRlciBTZXN0b2Z0LCBJVCBVbml2ZXJzaXR5IG9mIENvcGVuaGFn ZW4KTWFydGluIFN1bHptYW5uLCBLYXJsc3J1aGUgVW5pdmVyc2l0eSBvZiBB cHBsaWVkIFNjaWVuY2VzClBhdWwgVGFyYXUsIFVuaXZlcnNpdHkgb2YgTm9y dGggVGV4YXMKS2F6dW5vcmkgVWVkYSwgV2FzZWRhIFVuaXZlcnNpdHkKTmlr aSBWYXpvdSwgVW5pdmVyc2l0eSBvZiBDYWxpZm9ybmlhLCBTYW4gRGllZ28K UGhpbGlwIFdhZGxlciwgVW5pdmVyc2l0eSBvZiBFZGluYnVyZ2gKRGFuaWVs IFdpbm9ncmFkLUNvcnQsIFVuaXZlcnNpdHkgb2YgUGVubnN5bHZhbmlhCk5l bmctRmEgWmhvdSwgQ1VOWSBCcm9va2x5biBDb2xsZWdlIGFuZCBHcmFkdWF0 ZSBDZW50ZXIKTHVrYXN6IFppYXJlaywgICAgU1VOWSBCdWZmYWxvCgpQcm9n cmFtIENoYWlyczoKWXVsaXlhIExpZXJsZXIsIFVuaXZlcnNpdHkgb2YgTmVi cmFza2EgIE9tYWhhCldhbGlkIFRhaGEsIEhhbG1zdGFkIFVuaXZlcnNpdHkK CkNvbnRhY3RzCj09PT09PT09CgpGb3IgYWRkaXRpb25hbCBpbmZvcm1hdGlv biBhYm91dCBwYXBlcnMgYW5kIHN1Ym1pc3Npb25zLCBwbGVhc2UKY29udGFj dCB0aGUgUHJvZ3JhbSBDaGFpcnM6CgpZdWxpeWEgTGllcmxlcgpVbml2ZXJz aXR5IG9mIE5lYnJhc2thIE9tYWhhLCBVU0EKaHR0cDovL2ZhY3VsdHkuaXN0 LnVub21haGEuZWR1L3lsaWVybGVyLwoKV2FsaWQgVGFoYQpIYWxtc3RhZCBV bml2ZXJzaXR5LCBTd2VkZW4KaHR0cDovL3d3dy5lZmZlY3RpdmUtbW9kZWxp bmcub3JnL3Avd2FsaWQtdGFoYS5odG1sCgplbWFpbDogcGFkbDE3QGVhc3lj aGFpci5vcmcKLS0gCk1hcmNvIEdhdmFuZWxsaQpBc3NvY2lhdGUgUHJvZmVz c29yClBoLkQuIGluIENvbXB1dGVyIFNjaWVuY2UKRGVwdCBvZiBFbmdpbmVl cmluZwpVbml2ZXJzaXR5IG9mIEZlcnJhcmEKVGVsL0ZheCAgKzM5LTA1MzIt OTctNDgzMwpodHRwOi8vZG9jZW50ZS51bmlmZS5pdC9tYXJjby5nYXZhbmVs bGkKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX18KbG9naWMtcHJvZ3JhbW1pbmcgbWFpbGluZyBsaXN0CmxvZ2ljLXBy b2dyYW1taW5nQGxpc3RzLnBpY2F0LWxhbmcub3JnCmh0dHA6Ly9saXN0cy5w aWNhdC1sYW5nLm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xvZ2ljLXByb2dyYW1t aW5nCg==