last CFP - DEON2014

"Ken Satoh" <[email protected]> Sun, 23 Feb 2014 15:22:07 +0900
Newsgroups gmane.science.mathematics.logic.asian
Message-ID <9C3781FE8CD44C43A63BA45B0CCE40E2@niiks2010PC>
TEFTVCBDQUxMIEZPUiBQQVBFUlMgLSBERU9OIDIwMTQKMTJ0aCBJbnRlcm5hdGlvbmFsIENvbmZl
cmVuY2Ugb24gRGVvbnRpYyBsb2dpYyBhbmQgTm9ybWF0aXZlIFN5c3RlbXMKMTItMTUgSnVseSAy
MDE0LCBHaGVudCwgQmVsZ2l1bQpodHRwOi8vd3d3LmRlb24yMDE0LnVnZW50LmJlCltjby1sb2Nh
dGVkIHdpdGggVGlMIDIwMTRdCgpUaGUgYmllbm5pYWwgREVPTiBjb25mZXJlbmNlcyBhcmUgZGVz
aWduZWQgdG8gcHJvbW90ZQppbnRlcmRpc2NpcGxpbmFyeSBjb29wZXJhdGlvbiBhbW9uZ3N0IHNj
aG9sYXJzIGludGVyZXN0ZWQgaW4gbGlua2luZwp0aGUgZm9ybWFsLWxvZ2ljYWwgc3R1ZHkgb2Yg
bm9ybWF0aXZlIGNvbmNlcHRzIGFuZCBub3JtYXRpdmUgc3lzdGVtcwp3aXRoIGNvbXB1dGVyIHNj
aWVuY2UsIGFydGlmaWNpYWwgaW50ZWxsaWdlbmNlLCBwaGlsb3NvcGh5LApvcmdhbml6YXRpb24g
dGhlb3J5IGFuZCBsYXcuCgpJbiBhZGRpdGlvbiB0byB0aGVzZSBnZW5lcmFsIHRoZW1lcywgREVP
TiAyMDE0IHdpbGwgZW5jb3VyYWdlIGEKc3BlY2lhbCBmb2N1cyBvbiB0aGUgdG9waWM6CgogICAg
ICAgICAgRGVvbnRpYyBtb2RhbGl0aWVzIGluIG5hdHVyYWwgbGFuZ3VhZ2UKClRoZXJlIGhhdmUg
YmVlbiBlbGV2ZW4gcHJldmlvdXMgREVPTiBjb25mZXJlbmNlczogQW1zdGVyZGFtLCBEZWNlbWJl
cgoxOTkxOyBPc2xvLCBKYW51YXJ5IDE5OTQ7IFNlc2ltYnJhLCBKYW51YXJ5IDE5OTY7IEJvbG9n
bmEsIEphbnVhcnkKMTk5ODsgVG91bG91c2UsIEphbnVhcnkgMjAwMDsgTG9uZG9uLCBNYXkgMjAw
MjsgTWFkZWlyYSwgTWF5IDIwMDQ7ClV0cmVjaHQsIEp1bHkgMjAwNiwgTHV4ZW1ib3VyZywgSnVs
eSAyMDA4LCBGaWVzb2xlIEp1bHkgMjAxMCwgQmVyZ2VuLApKdWx5IDIwMTIuCgoKVGhpcyBERU9O
IHdpbGwgYmUgY29sb2NhdGVkIHdpdGggdGhlIDIwMTQgZWRpdGlvbiBvZiBUaUwgKFRyZW5kcyBp
bgpMb2dpYyksIDggSnVseSAtIDExIEp1bHksIHNhbWUgdmVudWU6CgpodHRwOi8vZW50aWFldG5v
bWluYS5ibG9nc3BvdC5iZS9wL3RyZW5kcy1pbi1sb2dpYy14aXYuaHRtbAoKLS0tLS0tLS0tLS0t
CkdlbmVyYWwgVGhlbWVzCi0tLS0tLS0tLS0tLQoKVGhlIFByb2dyYW0gQ29tbWl0dGVlIGludml0
ZXMgcGFwZXJzIGNvbmNlcm5lZCB3aXRoIHRoZSBmb2xsb3dpbmcgdG9waWNzOgoK4oCiIHRoZSBs
b2dpY2FsIHN0dWR5IG9mIG5vcm1hdGl2ZSByZWFzb25pbmcsIGluY2x1ZGluZyBmb3JtYWwgc3lz
dGVtcwogIG9mIGRlb250aWMgbG9naWMsIGRlZmVhc2libGUgbm9ybWF0aXZlIHJlYXNvbmluZywg
bG9naWNzIG9mIGFjdGlvbiwKICBsb2dpY3Mgb2YgdGltZSwgYW5kIG90aGVyIHJlbGF0ZWQgYXJl
YXMgb2YgbG9naWMK4oCiIHRoZSBmb3JtYWwgYW5hbHlzaXMgb2Ygbm9ybWF0aXZlIGNvbmNlcHRz
IGFuZCBub3JtYXRpdmUgc3lzdGVtcwrigKIgdGhlIGZvcm1hbCBzcGVjaWZpY2F0aW9uIG9mIGFz
cGVjdHMgb2Ygbm9ybS1nb3Zlcm5lZCBtdWx0aS1hZ2VudApzeXN0ZW1zIGFuZCBhdXRvbm9tb3Vz
IGFnZW50cywgaW5jbHVkaW5nIChidXQgbm90IGxpbWl0ZWQgdG8pIHRoZQpyZXByZXNlbnRhdGlv
biBvZiByaWdodHMsIGF1dGhvcml6YXRpb24sIGRlbGVnYXRpb24sIHBvd2VyLApyZXNwb25zaWJp
bGl0eSBhbmQgbGlhYmlsaXR5CuKAoiB0aGUgbm9ybWF0aXZlIGFzcGVjdHMgb2YgcHJvdG9jb2xz
IGZvciBjb21tdW5pY2F0aW9uLCBuZWdvdGlhdGlvbgphbmQgbXVsdGktYWdlbnQgZGVjaXNpb24g
bWFraW5nCuKAoiB0aGUgZm9ybWFsIHJlcHJlc2VudGF0aW9uIG9mIGxlZ2FsIGtub3dsZWRnZQri
gKIgdGhlIGZvcm1hbCBzcGVjaWZpY2F0aW9uIG9mIG5vcm1hdGl2ZSBzeXN0ZW1zIGZvciB0aGUg
bWFuYWdlbWVudCBvZgogIGJ1cmVhdWNyYXRpYyBwcm9jZXNzZXMgaW4gcHVibGljIG9yIHByaXZh
dGUgYWRtaW5pc3RyYXRpb24K4oCiIGFwcGxpY2F0aW9ucyBvZiBub3JtYXRpdmUgbG9naWMgdG8g
dGhlIHNwZWNpZmljYXRpb24gb2YgZGF0YWJhc2UKaW50ZWdyaXR5IGNvbnN0cmFpbnRzCgoKLS0t
LS0tLS0tLS0KU3BlY2lhbCBUaGVtZQotLS0tLS0tLS0tLQoKREVPTiAyMDE04oCZcyBzcGVjaWFs
IGZvY3VzIGlzIOKAnERlb250aWMgbW9kYWxpdGllcyBpbiBuYXR1cmFsCmxhbmd1YWdl4oCdLiBE
ZW9udGljIG9yIG5vcm1hdGl2ZSBtb2RhbGl0eSBpcyBhIHN1YmplY3Qgb2YgY29tbW9uCmludGVy
ZXN0IGZvciByZXNlYXJjaGVycyBpbiBzZXZlcmFsIGZpZWxkcywgaW5jbHVkaW5nIG1vcmFsCnBo
aWxvc29waHksIG1ldGEtZXRoaWNzLCBsaW5ndWlzdGljIHNlbWFudGljcywgYW5kIGRlb250aWMg
bG9naWMuCgpPdmVyIHRoZSBwYXN0LCB0aGUgZGVvbnRpYyBtb2RhbGl0aWVzIGhhdmUgYmVlbiBl
eHRlbnNpdmVseSBzdHVkaWVkIG9uCnRoZSBsb2dpYyBzaWRlLiBDb21wYXJhdGl2ZWx5LCBtdWNo
IGxlc3MgYXR0ZW50aW9uIGhhcyBiZWVuIHBhaWQgdG8KdGhlbSBmcm9tIGEgbmF0dXJhbCBsYW5n
dWFnZSBwZXJzcGVjdGl2ZSwgYXQgbGVhc3QgaW4gREVPTi4KClRoZXJlIGhhcyBiZWVuIGEgZ3Jv
d2luZyBpbnRlcmVzdCBmcm9tIGxpbmd1aXN0cyBpbiB0aGUgc3R1ZHkgb2YgdGhlCmRlb250aWMg
bW9kYWxpdGllcywgbW9zdGx5IGluIHRoZSBVUywgdW5kZXIgdGhlIGluZmx1ZW5jZSBvZiBBbmdl
bGlrYQpLcmF0emVy4oCZcyB3b3JrLiBBIERlb250aWMgTW9kYWxpdHkgV29ya3Nob3Agd2FzIGhl
bGQgaW4gTG9zIEFuZ2VsZXMgb24KTWF5IDIwLTIyLCAyMDEzLgoKV2UgZW5jb3VyYWdlIHN1Ym1p
c3Npb24gb2YgcGFwZXJzIGRlc2NyaWJpbmcgcHJvYmxlbXMgZnJvbSBhIG5hdHVyYWwKbGFuZ3Vh
Z2UgcGVyc3BlY3RpdmUgdGhhdCBjYW4gYmUgYSBjaGFsbGVuZ2UgZm9yIGRlb250aWMgbG9naWMu
CgpUb3BpY3Mgb2YgaW50ZXJlc3QgaW4gdGhpcyBzcGVjaWFsIHRoZW1lIGluY2x1ZGUsIGJ1dCBh
cmUgbm90IGxpbWl0ZWQgdG86CgrigKIgQ2hhbGxlbmdlcyBmcm9tIG5hdHVyYWwgbGFuZ3VhZ2Ug
Zm9yIGRlb250aWMgbG9naWMK4oCiIFJlbGF0aW9uc2hpcCBiZXR3ZWVuIGRlb250aWMgYW5kIG90
aGVyIHR5cGVzIG9mIG1vZGFsaXR5OiBlcGlzdGVtaWMKICBtb2RhbGl0eSwgaW1wZXJhdGl2ZXMs
IHN1cGVyZXJvZ2F0b3J5LCBldGMK4oCiIE5ldyBpbnNpZ2h0cyBvbiB0aGUgZGVvbnRpYyBwYXJh
ZG94ZXMK4oCiIE1vZGVsaW5nIHZhbHVlcwrigKIgR2FtZSB0aGVvcmV0aWMgYXNwZWN0cyBvZiBk
ZW9udGljIHJlYXNvbmluZwrigKIgRW1lcmdlbmNlIG9mIG5vcm1zCuKAoiBOb3JtcyBmcm9tIGEg
Y29udmVyc2F0aW9uYWwgcG9pbnQgb2YgdmlldwrigKIgTm9ybXMgYW5kIGFyZ3VtZW50YXRpb24K
CldlIHdlbGNvbWUgdGhlb3JldGljYWwgd29yayAoZm9ybWFsIG1vZGVscywgcmVwcmVzZW50YXRp
b25zLCBsb2dpY3MsCnNwZWNpZmljYXRpb25zLCB2ZXJpZmljYXRpb24pLCBpbXBsZW1lbnRhdGlv
bi1vcmllbnRlZCB3b3JrCihwcm9ncmFtbWluZyBsYW5ndWFnZXMsIGRlc2lnbiBtb2RlbHMsIHNp
bXVsYXRpb25zLCBwcm90b3R5cGUgc3lzdGVtcykKYW5kIGVtcGlyaWNhbGx5IGRyaXZlbiB3b3Jr
IChsaW5ndWlzdGljcykgb24gdGhlc2Ugc3BlY2lmaWMgdG9waWNzLgoKSW52aXRlZCBTcGVha2Vy
cwotLS0tLS0tLS0tLS0tCgpTdmVuIE92ZSBIYW5zc29uIChSb3lhbCBJbnN0aXR1dGUgb2YgVGVj
aG5vbG9neSwgU3RvY2tob2xtKQpNYWdkYWxlbmEgS2F1Zm1hbm4gKFVuaXZlcnNpdHkgb2YgQ29u
bmVjdGljdXQpClBhdWwgTWNOYW1hcmEgKFVuaXZlcnNpdHkgb2YgTmV3IEhhbXBzaGlyZSkKS3Jp
c3RlciBTZWdlcmJlcmcgKFVwcHNhbGEgVW5pdmVyc2l0eSkKQnJ5YW4gU2t5cm1zIChVbml2ZXJz
aXR5IG9mIENhbGlmb3JuaWEsIElydmluZSkKCgpTdWJtaXNzaW9uIERldGFpbHMKLS0tLS0tLS0t
LS0tLS0tCgpBdXRob3JzIGFyZSBpbnZpdGVkIHRvIHN1Ym1pdCBhbiBvcmlnaW5hbCwgcHJldmlv
dXNseSB1bnB1Ymxpc2hlZCwKcmVzZWFyY2ggcGFwZXIgcGVydGFpbmluZyB0byBhbnkgb2YgdGhl
c2UgdG9waWNzLiBUaGUgcGFwZXIgc2hvdWxkIGJlCmluIEVuZ2xpc2gsIGFuZCBzaG91bGQgYmUg
bm8gbG9uZ2VyIHRoYW4gMTUgcGFnZXMgd2hlbiBmb3JtYXR0ZWQKYWNjb3JkaW5nIHRoZSBMTkNT
IHNwZWNpZmljYXRpb25zLiBUaGUgZmlyc3QgcGFnZSBzaG91bGQgY29udGFpbiB0aGUKZnVsbCBu
YW1lIGFuZCBjb250YWN0IGluZm9ybWF0aW9uIGZvciBhdCBsZWFzdCBvbmUgb2YgdGhlIGF1dGhv
cnMsIGFuZAppdCBzaG91bGQgY29udGFpbiBhbiBhYnN0cmFjdCBvZiBubyBtb3JlIHRoYW4gdGVu
IGxpbmVzLiBBdXRob3JzCnNob3VsZCBzdWJtaXQgdGhlaXIgcGFwZXJzIGVsZWN0cm9uaWNhbGx5
IHVzaW5nIGVhc3ljaGFpcjoKCmh0dHBzOi8vd3d3LmVhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMv
P2NvbmY9ZGVvbjIwMTQKCkVhY2ggc3VibWl0dGVkIHBhcGVyIHdpbGwgYmUgY2FyZWZ1bGx5IHBl
ZXItcmV2aWV3ZWQgYnkgYSBwYW5lbCBvZiBQQwptZW1iZXIgYmFzZWQgb24gb3JpZ2luYWxpdHks
IHNpZ25pZmljYW5jZSwgdGVjaG5pY2FsIHNvdW5kbmVzcywgYW5kCmNsYXJpdHkgb2YgZXhwb3Np
dGlvbiBhbmQgcmVsZXZhbmNlIGZvciB0aGUgY29uZmVyZW5jZS4KCkZvciBlYWNoIGFjY2VwdGVk
IHBhcGVyLCBhdCBsZWFzdCBvbmUgYXV0aG9yIGlzIHJlcXVpcmVkIHRvIHJlZ2lzdGVyCmZvciB0
aGUgY29uZmVyZW5jZSBhbmQgc2hvdWxkIHBsYW4gdG8gcHJlc2VudCB0aGUgcGFwZXIuCgpQdWJs
aWNhdGlvbgotLS0tLS0tLS0KCkNvcGllcyBvZiB0aGUgd29ya3Nob3AgcHJvY2VlZGluZ3Mgd2ls
bCBiZSBwcm92aWRlZCB0byBhbGwKcGFydGljaXBhbnRzLiBUaGUgcHJvY2VlZGluZ3Mgd2lsbCBi
ZSBwdWJsaXNoZWQgd2l0aCBTcHJpbmdlciBpbiB0aGVpcgpMTkNTL0xOQUkgc2VyaWVzLiBEdXJp
bmcgdGhlIGNvbmZlcmVuY2UsIFNwcmluZ2VyIHdpbGwgYWxzbyBwcm92aWRlCnRlbXBvcmFyeSBm
cmVlIGFjY2VzcyB0byB0aGUgb25saW5lIHZlcnNpb24gb2YgdGhlIHByb2NlZWRpbmdzIG9uClNw
cmluZ2VyTGluay4KCkluIGFkZGl0aW9uLCB3ZSBhbnRpY2lwYXRlIHRoYXQgcmV2aXNlZCB2ZXJz
aW9ucyBvZiBzZWxlY3RlZCBwYXBlcnMKZnJvbSB0aGUgd29ya3Nob3Agd2lsbCBzdWJzZXF1ZW50
bHkgYmUgcHVibGlzaGVkIGluIGEgc3BlY2lhbCBpc3N1ZSBvZgp0aGUgZGVvbnRpYyBjb3JuZXIg
b2YgdGhlIEpvdXJuYWwgb2YgTG9naWMgYW5kIENvbXB1dGF0aW9uLgoKSW1wb3J0YW50IERhdGVz
Ci0tLS0tLS0tLS0tLS0KQWJzdHJhY3QgU3VibWlzc2lvbiBEZWFkbGluZTogTWFyY2ggMSwgMjAx
NApQYXBlciBTdWJtaXNzaW9uIERlYWRsaW5lOiBNYXJjaCA4LCAyMDE0Ck5vdGlmaWNhdGlvbjog
QXByaWwgMjIsIDIwMTQKQ2FtZXJhIFJlYWR5OiBNYXkgMSwgMjAxNAoKUHJvZ3JhbSBDaGFpcnMK
LS0tLS0tLS0tLS0tCkZhYnJpemlvIENhcmlhbmksIE5vcnRod2VzdGVybiBVbml2ZXJzaXR5CkRh
dmlkZSBHcm9zc2ksIFVuaXZlcnNpdHkgb2YgTGl2ZXJwb29sCkpva2UgTWVoZXVzLCBHaGVudCBV
bml2ZXJzaXR5ClhhdmllciBQYXJlbnQsIFVuaXZlcnNpdHkgb2YgTHV4ZW1ib3VyZyAmIFVuaXZl
cnNpdHkgb2YgQWl4LU1hcnNlaWxsZSwgCkNlcGVyYwoKQ2hhaXJzIG9mIHRoZSBMb2NhbCBPcmdh
bml6aW5nIENvbW1pdHRlZQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KQ2hyaXN0
aWFuIFN0cmHDn2VyIChHaGVudCBVbml2ZXJzaXR5KQpFcmlrIFdlYmVyIChHaGVudCBVbml2ZXJz
aXR5KQoKQ29uZ3Jlc3MgQ29tbWl0dGVlCi0tLS0tLS0tLS0tLS0tLS0tCkplYW4gUGF1bCBWYW4g
QmVuZGVnZW0gKEZyZWUgVW5pdmVyc2l0eSBCcnVzc2VscykKRmFicml6aW8gQ2FyaWFuaSAoTm9y
dGh3ZXN0ZXJuIFVuaXZlcnNpdHkpCkRhdmlkZSBHcm9zc2kgKFVuaXZlcnNpdHkgb2YgTGl2ZXJw
b29sKQpKb2huIEhvcnR5IChVbml2ZXJzaXR5IG9mIE1hcnlsYW5kKQpCYXJ0IFZhbiBLZXJraG92
ZSAoVW5pdmVyc2l0eSBIYXNzZWx0KQpKb2tlIE1laGV1cyAoR2hlbnQgVW5pdmVyc2l0eSkKRXJp
ayBNeWluIChVbml2ZXJzaXR5IG9mIEFudHdlcnBlbikKWGF2aWVyIFBhcmVudCAoVW5pdmVyc2l0
eSBvZiBMdXhlbWJvdXJnKQpGcmVkZXJpayBWYW4gRGUgUHV0dGUgKEdoZW50IFVuaXZlcnNpdHkp
CkNocmlzdGlhbiBTdHJhc3NlciAoR2hlbnQgVW5pdmVyc2l0eSkKTGVvbiBWYW4gRGVyIFRvcnJl
IChVbml2ZXJzaXR5IG9mIEx1eGVtYm91cmcpClJvZ2VyIFZlcmdhdXdlbiAoQ2F0aG9saWMgVW5p
dmVyc2l0eSBMZXV2ZW4pCkVyaWsgV2ViZXIgKEdoZW50IFVuaXZlcnNpdHkpCgpQcm9ncmFtIENv
bW1pdHRlZQrigJTigJTigJTigJTigJTigJTigJTigJQKTWFyaWEgQWxvbmkgKFVuaXZlcnNpdHkg
b2YgQW1zdGVyZGFtKQpHdWlsbGF1bWUgQXVjaGVyIChVbml2ZXJzaXR5IG9mIFJlbm5lcyAxIC8g
SU5SSUEpCk1hdGhpZXUgQmVpcmxhZW4gKFVuaXZlcnNpZGFkIE5hY2lvbmFsIEF1dMOzbm9tYSBk
ZSBNw6l4aWNvKQpHdWlkbyBCb2VsbGEgKFVuaXZlcnNpdHkgb2YgVG9yaW5vKQpKYW4gQnJvZXJz
ZW4gKFV0cmVjaHQgVW5pdmVyc2l0eSkKTWFyayBBLiBCcm93biAoU3lyYWN1c2UgVW5pdmVyc2l0
eSkKRmFicml6aW8gQ2FyaWFuaSAoTm9ydGh3ZXN0ZXJuIFVuaXZlcnNpdHkpCkpvc2UgQ2FybW8g
KFVuaXZlcnNpdHkgTWFkZWlyYSkKUm9iZXJ0byBDaXVuaSAoUnVoci1Vbml2ZXJzaXTDpHQgQm9j
aHVtLCBIdW1ib2xkdCBGb3VuZGF0aW9uKQpSb2JlcnQgRGVtb2xvbWJlIChJUklULCBDTlJTLCBU
b3Vsb3VzZSkKTG91IEdvYmxlIChXaWxsYW1ldHRlIFVuaXZlcnNpdHkpCkd1aWRvIEdvdmVybmF0
b3JpIChOSUNUQSkKTm9iZXJ0IEdyYXR6bCAoTHVkd2lnIE1heGltaWxpYW4gVW5pdmVyc2l0eSBN
dW5pY2gpCkRhdmlkZSBHcm9zc2kgKFVuaXZlcnNpdHkgb2YgTGl2ZXJwb29sKQpKw7ZyZyBIYW5z
ZW4gKFVuaXZlcnNpdHkgb2YgTGVpcHppZykKQW5kcmVhcyBIZXJ6aWcgKElSSVQsIENOUlMsIFRv
dWxvdXNlKQpKZWZmIEhvcnR5IChVbml2ZXJzaXR5IG9mIE1hcnlsYW5kKQpBbmRyZXcgSm9uZXMg
KEtpbmcncyBDb2xsZWdlIExvbmRvbikKU3RlZmFuIEthdWZtYW5uIChVbml2ZXJzaXR5IG9mIENv
bm5lY3RpY3V0KQpHZXJ0LUphbiBMb2tob3JzdCAoRGVsZnQgVW5pdmVyc2l0eSBvZiBUZWNobm9s
b2d5KQpFbWlsaWFubyBMb3JpbmkgKElSSVQsIENOUlMsIFRvdWxvdXNlKQpKb2tlIE1laGV1cyAo
R2hlbnQgVW5pdmVyc2l0eSkKSm9obi1KdWxlcyBNZXllciAoVXRyZWNodCBVbml2ZXJzaXR5KQpF
cmljIFBhY3VpdCAoVW5pdmVyc2l0eSBvZiBNYXJ5bGFuZCkKWGF2aWVyIFBhcmVudCAoVW5pdmVy
c2l0eSBvZiBMdXhlbWJvdXJnKQpIZW5yeSBQcmFra2VuIChVbml2ZXJzaXR5IG9mIFV0cmVjaHQs
IFVuaXZlcnNpdHkgb2YgR3JvbmluZ2VuKQpBbnRvbmlubyBSb3RvbG8gKFVuaXZlcnNpdHkgb2Yg
Qm9sb2duYSkKT2xpdmllciBSb3kgKFVuaXZlcnNpdHkgb2YgQmF5cmV1dGgpCkdpb3Zhbm5vIFNh
cnRvciAoRVVJL0NJUlNGSUQpCktlbiBTYXRvaCAoTmF0aW9uYWwgSW5zdGl0dXRlIG9mIEluZm9y
bWF0aWNzIGFuZCBTb2tlbmRhaSwgSmFwYW4pCk1hcmVrIFNlcmdvdCAoSW1wZXJpYWwgQ29sbGVn
ZSwgTG9uZG9uKQpXaWxsaWFtIFN0YXJyIChDb3JuZWxsIFVuaXZlcnNpdHkpCkF1ZHVuIFN0b2xw
ZSAoTm9yd2VnaWFuIERlZmVuY2UgUmVzZWFyY2ggRXN0YWJsaXNobWVudCAoRkZJKSkKQ2hyaXN0
aWFuIFN0cmHDn2VyIChHaGVudCBVbml2ZXJzaXR5KQpBbGxhcmQgVGFtbWluZ2EgKFVuaXZlcnNp
dHkgb2YgR3JvbmluZ2VuKQpQYW9sbyBUdXJyaW5pIChJbXBlcmlhbCBDb2xsZWdlLCBMb25kb24p
ClJvbiBWYW4gRGVyIE1leWRlbiAoVW5pdmVyc2l0eSBvZiBOZXcgU291dGggV2FsZXMsIFN5ZG5l
eSwgVU5TVykKTGVvbiB2YW4gZGVyIFRvcnJlIChVbml2ZXJzaXR5IG9mIEx1eGVtYm91cmcpCk1h
bHRlIFdpbGxlciAoVW5pdmVyc2l0eSBvZiBDaGljYWdvKQpUb21veXVraSBZYW1hZGEgKEhva2th
aWRvIFVuaXZlcnNpdHkpCgpMb2NhbCBPcmdhbml6aW5nIENvbW1pdHRlZQrigJTigJTigJTigJTi
gJTigJTigJTigJTigJTigJTigJTigJQKSW5nZSBEZSBCYWwKVGplcmsgR2F1ZGVyaXMKTWVyZWwg
TGV2ZWZlcmUKSnVsaWUgTWVubmVzCkZyZWRlcmlrIFZhbiBEZSBQdXR0ZQpDaHJpc3RpYW4gU3Ry
YXNzZXIKRXJpayBXZWJlcgpEaWV0bGluZGUgV291dGVycyAKCgpfX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fXwpBc2lhbi1sb2dpYyBtYWlsaW5nIGxpc3QKQXNp
YW4tbG9naWNAZm9zLmt1aXMua3lvdG8tdS5hYy5qcApodHRwOi8vd3d3LmZvcy5rdWlzLmt5b3Rv
LXUuYWMuanAvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2FzaWFuLWxvZ2ljCg==