From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p9LB2HOp019741 for ; Fri, 21 Oct 2011 13:02:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEBAAtQoU6MbRQxmWdsb2JhbAApGoQnTqFmgQCBQSIBAQEBAQgLCxslggERBkUFBwQBGRIRFgsCBAcDAgECAUsOCAEQAgiHaiSiJohoiQKHLIEUBIgBhl+PVYcz X-IronPort-AV: E=Sophos;i="4.69,384,1315173600"; d="txt'?scan'208";a="113766004" Received: from mx.iis.sinica.edu.tw ([140.109.20.49]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 21 Oct 2011 13:02:10 +0200 Received: from mail.iis.sinica.edu.tw (mail [192.168.0.50]) by mx.iis.sinica.edu.tw (8.14.3/8.14.3) with ESMTP id p9LB30TD011023; Fri, 21 Oct 2011 19:03:00 +0800 (CST) (envelope-from trc@iis.sinica.edu.tw) Received: from trcs-macbook-pro.local (140-109-231-182.adsl.sinica.edu.tw [140.109.231.182]) (authenticated bits=0) by mail.iis.sinica.edu.tw (8.13.8/8.13.8) with ESMTP id p9LB1vAs087833 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 21 Oct 2011 19:01:57 +0800 (CST) (envelope-from trc@iis.sinica.edu.tw) Message-ID: <4EA15125.8080404@iis.sinica.edu.tw> Date: Fri, 21 Oct 2011 19:01:57 +0800 From: Tyng-Ruey Chuang User-Agent: Thunderbird 2.0.0.23 (Macintosh/20090812) MIME-Version: 1.0 To: caml-list CC: trc@iis.sinica.edu.tw Content-Type: multipart/mixed; boundary="------------020406000401070808080304" X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.3 (mx.iis.sinica.edu.tw [192.168.0.49]); Fri, 21 Oct 2011 19:03:00 +0800 (CST) X-Spam-Score: -1.504 () ALL_TRUSTED,RP_MATCHES_RCVD X-Scanned-By: MIMEDefang 2.67 on 192.168.0.49 Subject: [Caml-list] APLAS + CPP 2011 call for participation This is a multi-part message in MIME format. --------------020406000401070808080304 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Dear Colleague, Please see attached a call-for-participation for the 9th Asian Symposium on Programming Languages and Systems, and the 1st International Conference on Certified Programs and Proofs, to be held in Kenting, Taiwan, on Dec 4-9, 2011. Please help circulate the call-for-participation, and please take advantage of the early registration fees by registering to the conferences by Nov 12. best, Tyng-Ruey Chuang --------------020406000401070808080304 Content-Type: text/plain; name="cfp_aplas_cpp_2011.txt" Content-Transfer-Encoding: base64 Content-Disposition: inline; filename="cfp_aplas_cpp_2011.txt" ICAgICAgICAgICAgICAgICAgICBDQUxMIEZPUiBQQVJUSUNJUEFUSU9OCgog ICAgICAgICAgICAgICAgICAgICAgICAgIEFQTEFTK0NQUAogICAgICAgICAg ICAgICAgICAgICAgIEtlbnRpbmcsIFRhaXdhbgogICAgICAgICAgICAgICAg ICAgIERlY2VtYmVyIDQgdG8gOSwgMjAxMQoKCkFQTEFTIGFpbXMgYXQgc3Rp bXVsYXRpbmcgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UgcmVzZWFyY2ggYnkgcHJv dmlkaW5nIGEKZm9ydW0gZm9yIHRoZSBwcmVzZW50YXRpb24gb2YgbGF0ZXN0 IHJlc3VsdHMgYW5kIHRoZSBleGNoYW5nZSBvZiBpZGVhcwppbiB0b3BpY3Mg Y29uY2VybmVkIHdpdGggcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzIGFuZCBzeXN0 ZW1zLiBBUExBUyBpcwpiYXNlZCBpbiBBc2lhLCBidXQgaXMgYW4gaW50ZXJu YXRpb25hbCBmb3J1bSB0aGF0IHNlcnZlcyB0aGUgd29ybGR3aWRlCnByb2dy YW1taW5nIGxhbmd1YWdlIGNvbW11bml0eS4gCgpDUFAgaXMgYSBuZXcgaW50 ZXJuYXRpb25hbCBmb3J1bSBvbiB0aGVvcmV0aWNhbCBhbmQgcHJhY3RpY2Fs IHRvcGljcwppbiBhbGwgYXJlYXMsIGluY2x1ZGluZyBjb21wdXRlciBzY2ll bmNlLCBtYXRoZW1hdGljcywgYW5kIGVkdWNhdGlvbiwKdGhhdCBjb25zaWRl ciBjZXJ0aWZpY2F0aW9uIGFzIGFuIGVzc2VudGlhbCBwYXJhZGlnbSBmb3Ig dGhlaXIKd29yay4gQ2VydGlmaWNhdGlvbiBoZXJlIG1lYW5zIGZvcm1hbCwg bWVjaGFuaXplZCB2ZXJpZmljYXRpb24gb2Ygc29tZQpzb3J0LCBwcmVmZXJh Ymx5IHdpdGggcHJvZHVjdGlvbiBvZiBpbmRlcGVuZGVudGx5IGNoZWNrYWJs ZQpjZXJ0aWZpY2F0ZXMuIENQUCB0YXJnZXRzIGFueSByZXNlYXJjaCBwcm9t b3RpbmcgZm9ybWFsIGRldmVsb3BtZW50IG9mCmNlcnRpZmllZCBzb2Z0d2Fy ZSBhbmQgcHJvb2ZzLgoKRm9yIHRoZSBmaXJzdCB0aW1lLCBBUExBUyBhbmQg Q1BQIHdpbGwgYmUgaGVsZCB0b2dldGhlciBpbiBLZW50aW5nLApUYWl3YW4g ZnJvbSBEZWNlbWJlciA0IHRvIDksIDIwMTEuIFRoZSBzaXgtZGF5IGV2ZW50 IGluY2x1ZGVzIHR3bwp0dXRvcmlhbHMsIHNpeCBpbnZpdGVkIHRhbGtzLCBh bmQgdHdvIGNvbmZlcmVuY2VzLiBXZSBvZmZlciBhIHNwZWNpYWwKcmF0ZSBm b3IgcGFydGljaXBhbnRzIHdobyByZWdpc3RlciB0byBib3RoIGNvbmZlcmVu Y2VzLiBGb3IgdGhlCmRldGFpbGVkIHByb2dyYW0gb2YgZWFjaCBjb25mZXJl bmNlLCBwbGVhc2UgZ28gdG8gdGhlaXIgcmVzcGVjdGl2ZSB3ZWIKc2l0ZXM6 CgpodHRwOi8vZmxvbGFjLmlpcy5zaW5pY2EuZWR1LnR3L2FwbGFzMTEvZG9r dS5waHAgIChBUExBUykKaHR0cDovL2Zvcm1lcy5hc2lhL2NwcC8gICAgICAg ICAgICAgICAgICAgICAgICAgICAoQ1BQKQoKRWFybHkgUmVnaXN0cmF0aW9u ICh1bnRpbCBOb3ZlbWJlciAxMiwgMjAxMSkKCiAgICAgICAgICAgICBSZWd1 bGFyICAgfCAgIFN0dWRlbnQKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0rLS0t LS0tLS0tLS0KQVBMQVMrQ1BQOiAgVFdEIDI0MDAwICB8ICBUV0QgMTk1MDAK QVBMQVMgb25seTogVFdEIDE2NTAwICB8ICBUV0QgMTM1MDAKQ1BQIG9ubHk6 ICAgVFdEIDE2NTAwICB8ICBUV0QgMTM1MDAKCkxvY2F0aW9uCgpUaGUgY29u ZmVyZW5jZXMgd2lsbCBiZSBoZWxkIGluIEtlbnRpbmcsIGEgc2Vhc2lkZSBy ZXNvcnQgYW5kIG5hdGlvbmFsCnBhcmsgaW4gU291dGhlcm4gVGFpd2FuLiBU ZW1wZXJhdHVyZXMgaW4gS2VudGluZyBhdmVyYWdlZCBhdCAyMS40IEMgaW4K RGVjZW1iZXIgMjAxMCAoaGlnaDogMjkuNSwgbG93OiAxNC4zKS4gSXQgY2Fu IGJlIGEgYml0IHdpbmR5LCBidXQgdGhlCndlYXRoZXIgcHJvYmFibHkgaXMg dGhlIGJlc3QgaW4gVGFpd2FuIGluIERlY2VtYmVyLiBZb3UgY2FuIGZpbmQg bW9yZQppbmZvcm1hdGlvbiBhYm91dCB0aGUgS2VudGluZyBOYXRpb25hbCBQ YXJrIGF0IFdpa2lwZWRpYSBhbmQKV2lraXRyYXZlbC4gVGhlIGNvbmZlcmVu Y2UgdmVudWUgaXMgSG93YXJkIEJlYWNoIFJlc29ydCBLZW50aW5nLgoKS2V5 bm90ZSBTcGVha2VycwoKbyBBbmRyZXcgQXBwZWwgKFByaW5jZXRvbiBVbml2 ZXJzaXR5KQogIFZlcmlTbWFsbDogVmVyaWZpZWQgU21hbGxmb290IFNoYXBl IEFuYWx5c2lzCm8gTmlrb2xhaiBCam9ybmVyIChNaWNyb3NvZnQgUmVzZWFy Y2gpCiAgRW5naW5lZXJpbmcgVGhlb3JpZXMgd2l0aCBaMwpvIFJhbmppdCBK aGFsYSAoVUMgU2FuIERpZWdvKQogIFNvZnR3YXJlIFZlcmlmaWNhdGlvbiB3 aXRoIExpcXVpZCBUeXBlcwpvIFBldGVyIE8nSGVhcm4gKFF1ZWVuIE1hcnks IFVuaXZlcnNpdHkgb2YgTG9uZG9uKQogIEFsZ2VicmEsIExvZ2ljLCBMb2Nh bGl0eSwgQ29uY3VycmVuY3kKbyBTcmlyYW0gUmFqYW1hbmkgKE1pY3Jvc29m dCBSZXNlYXJjaCBJbmRpYSkKICBQcm9ncmFtIEFuYWx5c2lzIGFuZCBNYWNo aW5lIExlYXJuaW5nOiBBIFdpbi1XaW4gRGVhbApvIFZsYWRpbWlyIFZvZXZv ZHNreSAoSW5zdGl0dXRlIGZvciBBZHZhbmNlZCBTdHVkeSwgUHJpbmNldG9u KQogIFVuaXZhbGVudCBTZW1hbnRpY3Mgb2YgQ29uc3RydWN0aXZlIFR5cGUg VGhlb3JpZXMKClR1dG9yaWFscwoKbyBMZWkgTGl1IChDaGluZXNlIEFjYWRl bXkgb2YgU2NpZW5jZXMpCiAgUGFyYWxsZWxpemluZyBMZWdhY3kgU2VxdWVu dGlhbCBDb2RlCm8gU2hpbi1DaGVuZyBNdSAoQWNhZGVtaWEgU2luaWNhKQog IERlcGVuZGVudGx5IFR5cGVkIFByb2dyYW1taW5nIGluIEFkZ2EKClBhbmVs cwoKbyBDZXJ0aWZpY2F0ZXMgKG1vZGVyYXRvcjogRGFsZSBNaWxsZXIpCm8g VGVhY2hpbmcgd2l0aCBQcm9vZiBBc3Npc3RhbnRzIChtb2RlcmF0b3I6IFRv YmlhcyBOaXBrb3cpCgpMaXN0IG9mIEFjY2VwdGVkIFBhcGVycwoKQVBMQVMK Cm8gVGhhbyBEYW5nIGFuZCBUaG9tYXMgTWFydGluIEdhd2xpdHphLiBUaW1l IEVsYXBzZSBvdmVyIFRlbXBsYXRlCiAgUG9seWhlZHJhIGluIFBvbHlub21p YWwgVGltZSB0aHJvdWdoIE1heC1TdHJhdGVneSBJdGVyYXRpb24KbyBEYXZp ZCBNb25uaWF1eCBhbmQgTWFydGluIEJvZGluLiBNb2R1bGFyIEFic3RyYWN0 aW9ucyBvZiBSZWFjdGl2ZQogIE5vZGVzIHVzaW5nIERpc2p1bmN0aXZlIElu dmFyaWFudHMgCm8gRWx2aXJhIEFsYmVydCwgUHVyaSBBcmVuYXMsIFNhbWly IEdlbmFpbSwgTWlndWVsIEdvbWV6LVphbWFsbG9hIGFuZAogIEdlcm1hbiBQ dWVibGEuIENvc3QgQW5hbHlzaXMgb2YgQ29uY3VycmVudCBPTyBQcm9ncmFt cyAKbyBCZW5vaXQgQm9pc3Npbm90LCBGbG9yaWFuIEJyYW5kbmVyLCBBbGFp biBEYXJ0ZSwgQmVub2l0IER1cG9udCBEZQogIERpbmVjaGluIGFuZCBGYWJy aWNlIFJhc3RlbGxvLiBBIE5vbi1JdGVyYXRpdmUgRGF0YS1GbG93IEFsZ29y aXRobSBmb3IKICBDb21wdXRpbmcgTGl2ZW5lc3MgU2V0cyBpbiBTdHJpY3Qg U1NBIFByb2dyYW1zIApvIERtaXRyaXkgVHJheXRlbCwgU3RlZmFuIEJlcmdo b2ZlciBhbmQgVG9iaWFzIE5pcGtvdy4gRXh0ZW5kaW5nCiAgSGluZGxleS1N aWxuZXIgVHlwZSBJbmZlcmVuY2Ugd2l0aCBDb2VyY2l2ZSBTdWJ0eXBpbmcg Cm8gUGF0cmljayBCYWlsbG90LiBFbGVtZW50YXJ5IGxpbmVhciBsb2dpYyBy ZXZpc2l0ZWQgZm9yIHBvbHlub21pYWwKICB0aW1lIGFuZCBhbiBleHBvbmVu dGlhbCB0aW1lIGhpZXJhcmNoeSAKbyBaaGVuIENhbywgWXVhbiBEb25nIGFu ZCBTaGVuZ3l1YW4gV2FuZy4gQ29tcGlsZXIgQmFja2VuZCBHZW5lcmF0aW9u CiAgZm9yIEFwcGxpY2F0aW9uIFNwZWNpZmljIEluc3RydWN0aW9uIFNldCBQ cm9jZXNzb3JzIApvIEFraW1hc2EgTW9yaWhhdGEuIE1hY3JvIFRyZWUgVHJh bnNmb3JtYXRpb25zIG9mIExpbmVhciBTaXplIEluY3JlYXNlCiAgQWNoaWV2 ZSBDb3N0LW9wdGltYWwgUGFyYWxsZWxpc20gCm8gSmFkZSBBbGdsYXZlLCBE YW5pZWwgS3JvZW5pbmcsIEpvaG4gTHVndG9uLCBWaW5jZW50IE5pbWFsIGFu ZAogIE1pY2hhZWwgVGF1dHNjaG5pZy4gU291bmRuZXNzIG9mIERhdGEgRmxv dyBBbmFseXNlcyBmb3IgV2VhayBNZW1vcnkKICBNb2RlbHMgCm8gWXVsZWkg U3VpLCBTZW4gWWUsIEppbmdsaW5nIFh1ZSBhbmQgUGVuLUNodW5nIFlldy4g U1BBUzogU2NhbGFibGUKICBQYXRoLVNlbnNpdGl2ZSBQb2ludGVyIEFuYWx5 c2lzIG9uIEZ1bGwtU3BhcnNlIFNTQSAKbyBLZWlrbyBOYWthdGEsIFRhcm1v IFV1c3RhbHUgYW5kIE1hcmMgQmV6ZW0uIEEgUHJvb2YgUGVhcmwgd2l0aCB0 aGUKICBGYW4gVGhlb3JlbSBhbmQgQmFyIEluZHVjdGlvbjogV2Fsa2luZyB0 aHJvdWdoIEluZmluaXRlIFRyZWVzIHdpdGgKICBNaXhlZCBJbmR1Y3Rpb24g YW5kIENvaW5kdWN0aW9uIApvIFVscmljaCBTY2hvZXBwLiBDb21wdXRhdGlv bi1ieS1JbnRlcmFjdGlvbiB3aXRoIEVmZmVjdHMgCm8gQXNodXRvc2ggR3Vw dGEsIENvcm5lbGl1IFBvcGVlYSBhbmQgQW5kcmV5IFJ5YmFsY2hlbmtvLiBT b2x2aW5nCiAgUmVjdXJzaW9uLUZyZWUgSG9ybiBDbGF1c2VzIG92ZXIgTEkr VUlGIApvIEhha2pvbyBPaCBhbmQgS3dhbmdrZXVuIFlpLiBBY2Nlc3MtYmFz ZWQgTG9jYWxpemF0aW9uIHdpdGggQnlwYXNzaW5nIApvIFl1bi1ZYW4gQ2hp IGFuZCBTaGluLUNoZW5nIE11LiBDb25zdHJ1Y3RpbmcgTGlzdCBIb21vbW9y cGhpc21zIGZyb20KICBQcm9vZnMgCm8gSm9uYXMgTWFnYXppbml1cywgQXNs YW4gQXNrYXJvdiBhbmQgQW5kcmVpIFNhYmVsZmVsZC4gRGVjZW50cmFsaXpl ZAogIERlbGltaXRlZCBSZWxlYXNlIApvIEZpbGlwcG8gQm9uY2hpLCBGYWJp byBHYWRkdWNjaSBhbmQgR2lhY29tYSBNb25yZWFsZS4gVG93YXJkcyBBCiAg R2VuZXJhbCBUaGVvcnkgb2YgQmFyYnMsIENvbnRleHRzIGFuZCBMYWJlbHMg Cm8gTHVrYXN6IEZyb25jIGFuZCBGcmFuY2sgUG9tbWVyZWF1LiBUb3dhcmRz IGEgQ2VydGlmaWVkIFBldHJpIE5ldAogIE1vZGVsLUNoZWNrZXIgCm8gRmVy bmFuZG8gU2FlbnotUGVyZXouIEEgRGVkdWN0aXZlIERhdGFiYXNlIHdpdGgg RGF0YWxvZyBhbmQgU1FMCiAgUXVlcnkgTGFuZ3VhZ2VzCm8gWXVpY2hpcm8g S29rYWppIGFuZCBZdWtpeW9zaGkgS2FtZXlhbWEuIFBvbHltb3JwaGljIE11 bHRpLVN0YWdlCiAgTGFuZ3VhZ2Ugd2l0aCBDb250cm9sIEVmZmVjdHMgCm8g QW5hIE1pbGFub3ZhIGFuZCBXZWkgSHVhbmcuIFN0YXRpYyBPYmplY3QgUmFj ZSBEZXRlY3Rpb24KbyBBbGV4YW5kZXIgTWFsa2lzIGFuZCBMYXVyZW50IE1h dWJvcmduZS4gT24gdGhlIFN0cmVuZ3RoIG9mCiAgT3dpY2tpLUdyaWVzIGZv ciBSZXNvdXJjZXMgCm8gQ2FzZXkgS2xlaW4sIEpheSBNY2NhcnRoeSwgU3Rl dmVuIEphY29uZXR0ZSBhbmQgUm9iZXJ0IEJydWNlCiAgRmluZGxlci4gQSBT ZW1hbnRpY3MgZm9yIENvbnRleHQtU2Vuc2l0aXZlIFJlZHVjdGlvbiBTZW1h bnRpY3MgCgpDUFAKCm8gTWF0aGlldSBCb2VzcGZsdWcsIE1heGltZSBEw6lu w6hzIGFuZCBCZW5qYW1pbiBHcsOpZ29pcmUuIEZ1bGwKICByZWR1Y3Rpb24g YXQgZnVsbCB0aHJvdHRsZSAKbyBUaGkgTWluaCBUdXllbiBOZ3V5ZW4gYW5k IENsYXVkZSBNYXJjaMOpLiBIYXJkd2FyZS1EZXBlbmRlbnQgUHJvb2ZzCiAg b2YgTnVtZXJpY2FsIFByb2dyYW1zIApvIERvbmdjaGVuIEppYW5nIGFuZCBU b2JpYXMgTmlwa293LiBQcm9vZiBQZWFybDogVGhlIE1hcnJpYWdlIFRoZW9y ZW0gCm8gSmVhbi1EYXZpZCBHZW5ldmF1eCwgSnVsaWVuIE5hcmJvdXggYW5k IFBhc2NhbAogIFNjaHJlY2suIEZvcm1hbGl6YXRpb24gb2YgV3UncyBzaW1w bGUgbWV0aG9kIGluIENvcSAKbyBUaG9tYXMgQnJhaWJhbnQuIENvcXVldDog YSBDb3EgbGlicmFyeSBmb3IgdmVyaWZ5aW5nIGhhcmR3YXJlCm8gTWFydGlu IEhlbnogYW5kIEFxdWluYXMgSG9ib3IuIFRlYWNoaW5nIExvZ2ljIGFuZCBG b3JtYWwgTWV0aG9kcwogIHdpdGggQ29xIApvIENocmlzdGlhbiBEb2N6a2Fs IGFuZCBHZXJ0IFNtb2xrYS4gQ29uc3RydWN0aXZlIEZvcm1hbGl6YXRpb24g b2YKICBIeWJyaWQgTG9naWMgd2l0aCBFdmVudHVhbGl0aWVzIApvIFNvcmlu IFN0cmF0dWxhdCBhbmQgVmluY2VudCBEZW1hbmdlLiBBdXRvbWF0ZWQgQ2Vy dGlmaWNhdGlvbiBvZgogIEltcGxpY2l0IEluZHVjdGlvbiBQcm9vZnMgCm8g TWljaGFlbCBBcm1hbmQsIEdlcm1haW4gRmF1cmUsIEJlbmphbWluIEdyZWdv aXJlLCBDaGFudGFsIEtlbGxlciwKICBMYXVyZW50IFRow6lyeSBhbmQgQmVu amFtaW4gV2VybmVyLiBBIE1vZHVsYXIgSW50ZWdyYXRpb24gb2YgU0FUL1NN VAogIFNvbHZlcnMgdG8gQ29xIHRocm91Z2ggUHJvb2YgV2l0bmVzc2VzIApv IEppbmppYW5nIExlaSBhbmQgWm9uZ3lhbiBRaXUuIFZlcmlmaWNhdGlvbiBv ZiBTY2FsYWJsZSBTeW5jaHJvbm91cyBRdWV1ZSAKbyBUaG9tYXMgQnJhaWJh bnQgYW5kIERhbWllbiBQb3VzLiBUYWN0aWNzIGZvciBSZWFzb25pbmcgbW9k dWxvIEFDIGluIENvcSAKbyBUb20gUmlkZ2UuIFNpbXBsZSwgZnVuY3Rpb25h bCwgc291bmQgYW5kIGNvbXBsZXRlIHBhcnNpbmcgZm9yIGFsbAogIGNvbnRl eHQtZnJlZSBncmFtbWFycyAKbyBUaGllcnJ5IENvcXVhbmQgYW5kIFZpbmNl bnQgU2lsZXMuIEEgRGVjaXNpb24gUHJvY2VkdXJlIGZvciBSZWd1bGFyCiAg RXhwcmVzc2lvbiBFcXVpdmFsZW5jZSBpbiBUeXBlIFRoZW9yeSAKbyBQaWVy cmUgQ29yYmluZWF1LCBNYXRoaWxkZSBEdWNsb3MgYW5kIFlhc3NpbmUgTGFr aG5lY2guIENlcnRpZmllZAogIFNlY3VyaXR5IFByb29mcyBvZiBDcnlwdG9n cmFwaGljIFByb3RvY29scyBpbiB0aGUgQ29tcHV0YXRpb25hbAogIE1vZGVs IDogYW4gQXBwbGljYXRpb24gdG8gSW50cnVzaW9uIFJlc2lsaWVuY2UgCm8g SmlldW5nIEtpbSBhbmQgU3VreW91bmcgUnl1LiBDb3EgTWVjaGFuaXphdGlv biBvZiBGZWF0aGVyd2VpZ2h0CiAgRm9ydHJlc3Mgd2l0aCBNdWx0aXBsZSBE aXNwYXRjaCBhbmQgTXVsdGlwbGUgSW5oZXJpdGFuY2UgCm8gWGlhb211IFNo aSwgSmVhbi1GcmFuY29pcyBNb25pbiwgRnLDqWTDqXJpYyBUdW9uZyBhbmQg RnLDqWTDqXJpYwogIEJsYW5xdWkuIEZpcnN0IFN0ZXBzIFRvd2FyZHMgdGhl IENlcnRpZmljYXRpb24gb2YgYW4gQVJNIFNpbXVsYXRvciAKbyBTYXNjaGEg QsO2aG1lLCBBbnRob255IEZveCwgVGhvbWFzIFNld2VsbCBhbmQgVGphcmsK ICBXZWJlci4gUmVjb25zdHJ1Y3Rpb24gb2YgWjMncyBCaXQtVmVjdG9yIFBy b29mcyBpbiBIT0w0IGFuZAogIElzYWJlbGxlL0hPTCAKbyBDZXphcnkgS2Fs aXN6eWsgYW5kIEhlbmsgQmFyZW5kcmVndC4gUmVhc29uaW5nIGFib3V0IENv bnN0YW50cyBpbgogIE5vbWluYWwgSXNhYmVsbGUsIG9yIGhvdyB0byBGb3Jt YWxpemUgdGhlIFNlY29uZCBGaXhlZCBQb2ludCBUaGVvcmVtIApvIEZyw6lk w6lyaWMgQmVzc29uLCBQaWVycmUtRW1tYW51ZWwgQ29ybmlsbGVhdSBhbmQg RGF2aWQKICBQaWNoYXJkaWUuIE1vZHVsYXIgU01UIFByb29mcyBmb3IgRmFz dCBSZWZsZXhpdmUgQ2hlY2tpbmcgaW5zaWRlIENvcSAKbyBMdWlzIENhaXJl cywgRnJhbmsgUGZlbm5pbmcgYW5kIEJlcm5hcmRvIFRvbmluaG8uIFByb29m LUNhcnJ5aW5nCiAgQ29kZSBpbiBhIFNlc3Npb24tVHlwZWQgUHJvY2VzcyBD YWxjdWx1cyAKbyBXb2xmcmFtIEthaGwuIENhbGNDaGVjazogQSBQcm9vZiBD aGVja2VyIGZvciBHcmllcyBhbmQgU2NobmVpZGVyJ3MKICAiTG9naWNhbCBB cHByb2FjaCB0byBEaXNjcmV0ZSBNYXRoIiAKbyBKYW1lcyBDaGVuZXkgYW5k IENocmlzdGlhbiBVcmJhbi4gTWVjaGFuaXppbmcgdGhlIG1ldGF0aGVvcnkg b2YKICBtaW5pLVhRdWVyeSAKbyBEYWxlIE1pbGxlci4gQSBwcm9wb3NhbCBm b3IgYnJvYWQgc3BlY3RydW0gcHJvb2YgY2VydGlmaWNhdGVzIApvIE1pY2hh ZWwgQmFja2VzLCBDYXRhbGluIEhyaXRjdSBhbmQgVGhvcnN0ZW4gVGFycmFj aC4gQXV0b21hdGljYWxseQogIFZlcmlmeWluZyBUeXBpbmcgQ29uc3RyYWlu dHMgZm9yIGEgRGF0YSBQcm9jZXNzaW5nIExhbmd1YWdlIA== --------------020406000401070808080304--