Registration open: Highlights of Logic, Games and Automata 2026 Vienna
"Highlights Communication \(K. S. Thejaswini\) via dmanet" <[email protected]> Tue, 30 Jun 2026 23:17:10 +0200
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <CAHQMJcS-U7Ze4rwoxWnMesg=32+hjqv=xDFmMZ6tQ2MeLXuh8g@mail.gmail.com> |
IyBISUdITElHSFRT4oCZMjYgKFZpZW5uYSwgQXVzdHJpYSA3LTExIFNlcHRlbWJlciAyMDI2KSBB TkQgQ1JFVyAoMTQtMTgKU2VwdGVtYmVyKQoKKipISUdITElHSFRT4oCZMjYqKiBpcyBzY2hlZHVs ZWQgKipmcm9tIFNlcHRlbWJlciA3IHRvIFNlcHRlbWJlciAxMSwgMjAyNioqCmF0ICoqVFUgV2ll bioqLiAgSXQgaXMgY28tb3JnYW5pemVkIGJ5IElTVEEsIFRVIFdpZW4gYW5kIFdvbGZnYW5nIFBh dWxpCkluc3RpdHV0ZS4gIEhpZ2hsaWdodHMnMjYgd2lsbCB0YWtlIHBsYWNlIGF0IHRoZSBtYWlu IGJ1aWxkaW5nIG9mIFRVIFdpZW4sCkthcmxzcGxhdHogMTMsIGluIHRoZSBjZW50ZXIgb2YgVmll bm5hLgoKSElHSExJR0hUU+KAmTI2ICB3aWxsIGJlIGZvbGxvd2VkIGJ5IHRoZSAqKkhpZ2hsaWdo dHMnIENvbGxhYm9yYXRpdmUgUmVzZWFyY2gKV2VlayAoQ1JFVykqKiwgZnJvbSAqKlNlcHRlbWJl ciAxNCB0byAxOCwgMjAyNioqLCBhdCAqKklTVEEqKi4KCioqSElHSExJR0hUU+KAmTI2KiogaXMg dGhlIGZvdXJ0ZWVudGggaW4gdGhlIHNlcmllcyBvZiBpbnRlcm5hdGlvbmFsCmNvbmZlcmVuY2Vz IOKAnEhpZ2hsaWdodHMgb2YgTG9naWMsIEdhbWVzIGFuZCBBdXRvbWF0YeKAnSwgYWltaW5nIGF0 CmludGVncmF0aW5nIHRoZSBjb21tdW5pdHkgd29ya2luZyBpbiBhbGdvcml0aG1pYyBtb2RlbCB0 aGVvcnksIGF1dG9tYXRhCnRoZW9yeSwgZGF0YWJhc2VzLCBnYW1lcyBmb3IgbG9naWMgYW5kIHZl cmlmaWNhdGlvbiwgbG9naWMgYW5kCnZlcmlmaWNhdGlvbi4gUGFwZXJzIGZyb20gdGhlc2UgYXJl YXMgYXJlIGRpc3BlcnNlZCBhY3Jvc3MgbWFueQpjb25mZXJlbmNlcywgd2hpY2ggbWFrZXMgdGhl bSBkaWZmaWN1bHQgdG8gZm9sbG93LiBBIHZpc2l0IHRvIHRoZQpISUdITElHSFRTIGNvbmZlcmVu Y2Ugc2hvdWxkIG9mZmVyIGEgd2lkZSBwaWN0dXJlIG9mIHRoZSBsYXRlc3QgcmVzZWFyY2ggaW4K dGhlIGZpZWxkIGFuZCBhIGNoYW5jZSB0byBtZWV0IGV2ZXJ5Ym9keSBpbiB0aGUgY29tbXVuaXR5 LCBub3QganVzdCB0aG9zZQp3aG8gaGFwcGVuIHRvIHB1Ymxpc2ggaW4gb25lIHBhcnRpY3VsYXIg cHJvY2VlZGluZ3Mgdm9sdW1lLiBUaGVyZSBhcmUgbm8KcHVibGljYXRpb25zLgoKKipISUdITElH SFRT4oCZMjYqKiBrZXkgZmVhdHVyZXM6CgotIEhJR0hMSUdIVFMgaXMgYSBjb25mZXJlbmNlIHdp dGhvdXQgcHVibGljYXRpb25zLCB3aGVyZSBzcGVha2VycyBnaXZlCnNob3J0IHByZXNlbnRhdGlv bnMgb2YgdGhlaXIgYmVzdCB3b3JrLgotIEEgY2hhdCBvZiB0aGUgY29uZmVyZW5jZSBpcyBhdmFp bGFibGUgZHVyaW5nIHRoZSBldmVudCwgYW5kIHRocm91Z2hvdXQKdGhlIHllYXIuCi0gSGlnaGxp Z2h0ZWQgUHJvYmxlbXMgb2YgdGhlIFllYXIsIGEgc3BlY2lhbCBwbGVuYXJ5IHNlc3Npb24gZGVk aWNhdGVkIHRvCm9wZW4gcHJvYmxlbXMgdGhhdCBhcmUgcmVwcmVzZW50YXRpdmUgb2Ygb3VyIGNv bW11bml0eS4KLSBUaGVyZSBpcyBhbiBlYXJseSByb3VuZCBvZiBzdWJtaXNzaW9ucyBhbmQgbm90 aWZpY2F0aW9ucyB0byBoZWxwIHdpdGgKdHJhdmVsIHBsYW5uaW5nCi0gVGhlIF9IaWdobGlnaHRz 4oCZIENvbGxhYm9yYXRpdmUgUkVzZWFyY2ggV2Vla18gKCoqQ1JFVyoqKSBvZmZlcnMgbWVhbnMg Zm9yCnJlc2VhcmNoIGNvbGxhYm9yYXRpb25zL2Rpc2N1c3Npb25zIGJldHdlZW4gcGFydGljaXBh bnRzLiBDUkVXIGlzIHNjaGVkdWxlZAphZnRlciB0aGUgY29uZmVyZW5jZS4KLSBUaGUgX0hpZ2hs aWdodHMgRXh0ZW5kZWQgU3RheSBTdXBwb3J0IFNjaGVtZV8gKCoqSEVTU1MqKikgaGVscHMKcGFy dGljaXBhbnRzIGZpbmQgY29sbGFib3JhdG9ycyBhbmQgb3JnYW5pc2UgdmlzaXRzIGluIHRoZSB2 aWNpbml0eSBvZgpISUdITElHSFRTLgoKIyMgSU1QT1JUQU5UIERBVEVTIEFORCBJTkZPUk1BVElP TgoKLSAgIEhJR0hMSUdIVFMnMjYgd2VicGFnZTogaHR0cHM6Ly9oaWdobGlnaHRzLWNvbmZlcmVu Y2Uub3JnLzIwMjYvICh3aXRoCnByYWN0aWNhbCBpbmZvcm1hdGlvbiBhdApodHRwczovL2Vhc3lj aGFpci5vcmcvc21hcnQtcHJvZ3JhbS9IaWdobGlnaHRzMjYvb3ZlcnZpZXcuaHRtbCApCi0gICBS ZWdpc3RyYXRpb24gdG8gdGhlIGNoYXQgYXQgaHR0cHM6Ly9oaWdobGlnaHRzLWNvbmZlcmVuY2Uu b3JnLzIwMjYvenVsaXAKKG5vIG5lZWQgaWYgeW91IGRpZCBpdCBsYXN0IHllYXIpCi0gICBSZWdp c3RyYXRpb24gcGFnZSBmb3IgaGlnaGxpZ2h0cyAyMDI2OgpodHRwczovL2Vhc3ljaGFpci5vcmcv c21hcnQtcHJvZ3JhbS9IaWdobGlnaHRzMjYvUmVnaXN0cmF0aW9uLmh0bWwKLSAgIEVhcmx5LWJp cmQgcmVnaXN0cmF0aW9uIGRlYWRsaW5lOiBKdWx5IDE3LCAyMDI2Ci0gICBSZWdpc3RyYXRpb24g ZGVhZGxpbmU6IEF1Z3VzdCAxNywgMjAyNgotICAgQ29uZmVyZW5jZTogU2VwdGVtYmVyIDcgLSAx MSwgMjAyNi4KLSAgIEhpZ2hsaWdodHPigJkgQ29sbGFib3JhdGl2ZSBSZXNlYXJjaCBXZWVrIChD UkVXKTogU2VwdGVtYmVyIDE0IC0gMTgsIDIwMjYuCi0gICBSZWdpc3RyYXRpb24gcGFnZSBmb3Ig Q1JFVzogaHR0cHM6Ly9wcmV0aXguZXUvaXN0YS1ldmVudHMvQ1JlVy8KLSAgIEVhcmx5LWJpcmQg cmVnaXN0cmF0aW9uIGRlYWRsaW5lIGZvciBDUkVXOiBKdWx5IDE3LCAyMDI2CgojIyBTQ09QRQoK UmVwcmVzZW50YXRpdmUgYXJlYXMgaW5jbHVkZSwgYnV0IGFyZSBub3QgcmVzdHJpY3RlZCB0bzoK Ci0gQWxnZWJyYWljIGFuZCBjYXRlZ29yaWNhbCBtb2RlbHMgb2YgY29tcHV0YXRpb24KLSBBbGdv cml0aG1pYyBtb2RlbCB0aGVvcnkKLSBBdXRvbWF0YSB0aGVvcnkKLSBEYXRhYmFzZXMKLSBHYW1l cyBmb3IgbG9naWMsIHZlcmlmaWNhdGlvbiwgYW5kIHNlbWFudGljcwotIExvZ2ljCi0gVmVyaWZp Y2F0aW9uCgojIyBNT0RBTElUSUVTIE9GIEFUVEVOREFOQ0UKCioqSElHSExJR0hUU+KAmTI2Kiog aXMgYW4gZXZlbnQgdGhhdCB3aWxsIHRha2UgcGxhY2Ugb24tc2l0ZSAoYmFycmluZwp1bmZvcmVz ZWVuIGNpcmN1bXN0YW5jZXMpLCBhbmQgdGhlIHByZWZlcnJlZCBmb3JtIG9mIHBhcnRpY2lwYXRp b24gaXMgaW4KcGVyc29uLiBSZW1vdGUgYXR0ZW5kYW5jZSB2aWEgYSB2aWRlbyBzdHJlYW0gd2ls bCBhbHNvIGJlIG9mZmVyZWQsIGJ1dCB3aXRoCmxpbWl0ZWQgcG9zc2libGUgaW50ZXJhY3Rpb25z IGZvciB0aGVzZSBwYXJ0aWNpcGFudHMuCgpTdWJtaXNzaW9uIGZvciBhIHByZXNlbnRhdGlvbiBh dCBIaWdobGlnaHRzJzI2IGlzIG9wZW4gdG8gZXZlcnlvbmUsIGFuZAphdHRlbmRhbmNlIHRvIHRo ZSBjb25mZXJlbmNlIGlzIG5vdCBhIHJlcXVpcmVtZW50LiBUaGUgc2VsZWN0aW9uIHByb2NlZHVy ZQp3aWxsIG5vdCB0YWtlIGludG8gYWNjb3VudCBpbi1wZXJzb24gYXR0ZW5kYW5jZS4gQXV0aG9y cyB3aG8gZG8gbm90IGludGVuZAp0byBhdHRlbmQgSGlnaGxpZ2h0cycyNiBpbi1wZXJzb24gbXVz dCBjb21taXQgdG8gdGhpcyBjaG9pY2Ugd2hlbgpzdWJtaXR0aW5nIHRoZWlyIHRhbGsgcHJvcG9z YWwuIElmIGFjY2VwdGVkLCBhdXRob3JzIG9mIHN1Y2ggdGFsayBwcm9wb3NhbHMKd2lsbCBoYXZl IHRoZSBvcHBvcnR1bml0eSB0byBzaGFyZSBhIHByZXJlY29yZGVkIHZpZGVvIG9mIHRoZWlyIHRh bGssIHdoaWNoCndpbGwgYmUgbWFkZSBhdmFpbGFibGUgb24gdGhlIGNvbmZlcmVuY2Ugd2Vic2l0 ZS4KCkJlZm9yZSBjb21pbmcgZnJvbSBmYXIgYXdheSwgcGxlYXNlIHJldmlldyBob3cgeW91ciB0 cmlwIGFuZCBpbnRlcm5hdGlvbmFsCmZsaWdodHMgYXJlIGNvbnRyaWJ1dGluZyB0byBjbGltYXRl IGNoYW5nZS4gV2UgZW5jb3VyYWdlIHlvdSB0byB0YWtlIHRoZQp0cmFpbiBhcyBtdWNoIGFzIHBv c3NpYmxlLCBwb3NzaWJseSB0YWtpbmcgdGhlIG9wcG9ydHVuaXR5IGZvciB2aXNpdGluZwpjb2xs ZWFndWVzIG9uIHRoZSB3YXkgYW5kIHRodXMgZGVjb21wb3NpbmcgdGhlIHRyYXZlbCBpbnRvIHNt YWxsZXIgcGllY2VzLgoKTW9yZSBnZW5lcmFsbHksIHdlIGVuY291cmFnZSB5b3UgdG8gbWFrZSB0 aGUgbW9zdCBvZiB5b3VyIHN0YXkuIFRoaXMgbWVhbnMKZXh0ZW5kaW5nIHlvdXIgam91cm5leSB0 byB0aGUgcHJldmlvdXMgYW5kL29yIGZvbGxvd2luZyB3ZWVrcyBmb3IgbW9yZQpzY2llbnRpZmlj IGFjdGl2aXRpZXMgaW4gVmllbm5hIGFuZCBhcm91bmQuIFNldmVyYWwgaW5pdGlhdGl2ZXMgYXJl IGhlcmUgdG8KaGVscCB5b3UgaW4gdGhpcyB0YXNrOgoKLSAgWW91IGNhbiBwYXJ0aWNpcGF0ZSB0 byB0aGUgKipIaWdobGlnaHRz4oCZIENvbGxhYm9yYXRpdmUgUmVzZWFyY2ggV2VlayoqCigqKltD UkVXXShodHRwczovL2hpZ2hsaWdodHMtY29uZmVyZW5jZS5vcmcvMjAyNi9oY3J3KSwgU2VwdGVt YmVyIDE0IC0KMTgqKikgaW4gdGhlIHdlZWsgYWZ0ZXIgSElHSExJR0hUUywgaW4gSVNUQS4KLSAg WW91IGNhbiB1c2UgdGhlICoqSGlnaGxpZ2h0cyBFeHRlbmRlZCBTdGF5IFN1cHBvcnQgU2NoZW1l KiogKCoqW0hFU1NTXSgKaHR0cHM6Ly9oaWdobGlnaHRzLWNvbmZlcmVuY2Uub3JnLzIwMjYvaGVz c3MpKiopIGZvciBmaW5kaW5nIGNvbGxhYm9yYXRvcnMKYW5kIG9yZ2FuaXNpbmcgdmlzaXRzLgoK IyMgSElHSExJR0hUUycgQ09MTEFCT1JBVElWRSBSRVNFQVJDSCBXRUVLIChDUkVXKQoKKipISUdI TElHSFRT4oCZMjYqKiB3aWxsIGJlIGZvbGxvd2VkIGJ5IHRoZSBfSGlnaGxpZ2h0c+KAmSBDb2xs YWJvcmF0aXZlClJlc2VhcmNoIFdlZWtfICgqKkNSRVcqKiksICoqZnJvbSBTZXB0ZW1iZXIgMTQg dG8gMTggYXQgdGhlIEluc3RpdHV0ZSBvZgpTY2llbmNlIGFuZCBUZWNobm9sb2d5IEF1c3RyaWEq Ki4KCk5vdGUgdGhhdCB0aGlzIGlzIGxvY2F0ZWQgb3V0c2lkZSBvZiBWaWVubmEsIElTVEEgYmVp bmcgMjAga20gTm9ydGggb2YKVmllbm5hLgpUaGUgSGlnaGxpZ2h0cyBDUmVXIGlzIG5vdCBhIHdv cmtzaG9wIG5vciBhIGNvbmZlcmVuY2U6IGl0IGlzIHNpbXBseSBhIHdlZWsKaW4gd2hpY2ggcmVz ZWFyY2hlcnMgZ2F0aGVyIHRvIHdvcmsgdG9nZXRoZXIsIHRvIGNvbGxhYm9yYXRlIG9uIHRoZWly CmN1cnJlbnQgcHJvamVjdHMgb3IgdG8gc3RhcnQgbmV3IG9uZXMuIFBhcnRpY2lwYW50cyBhcmUg YXNrZWQgdG8gYnJpbmcKcHJvYmxlbXMgdGhleSBhcmUgaW50ZXJlc3RlZCBpbiBhbmQgdG8gcHJl c2VudCBpdCBvbiBEYXkgMSwgc28gdGhhdCB0aGV5CmNhbiB0aGVuIGRlY2lkZSBvbiB0aGUgdG9w aWNzIHRoZXkgd29yayBvbiB0aHJvdWdob3V0IHRoZSB3ZWVrLgpUaGUgcmVnaXN0cmF0aW9uIGZl ZXMgaXMgNzDigqwgZm9yIHN0dWRlbnRzLCAxMjDigqwgZm9yIG5vbi1zdHVkZW50cyAoZWFybHkK cmVnaXN0cmF0aW9uKS4gVGhpcyB3aWxsIGNvdmVyIGx1bmNoLCBjb2ZmZWUgYnJlYWtzLCBhbmQg YSBzb2NpYWwgZGlubmVyLgpTb21lIGFjY29tbW9kYXRpb24gKGluIHNoYXJlZCByb29tcykgd2ls bCBhbHNvIGJlIHByb3ZpZGVkIGF0IHN1YnNpZGlzZWQKcHJpY2VzLCBvbiBhIGZpcnN0LWNvbWUg Zmlyc3Qtc2VydmVkIGJhc2lzLgoKVGhlIHJlZ2lzdHJhdGlvbiBsaW5rOiBodHRwczovL3ByZXRp eC5ldS9pc3RhLWV2ZW50cy9DUmVXLwpUaGUgZWFybHktYmlyZCByZWdpc3RyYXRpb24gaXMgYXZh aWxhYmxlIHVudGlsIEp1bHkgMTcuIFNob3VsZCB5b3UgaGF2ZSBhbnkKcXVlc3Rpb24gb3IgYW55 IGFjdGl2aXR5IHByb3Bvc2FsLCBwbGVhc2UgY29udGFjdCBsZW9uYXJkLmJyaWNlQGlzdC5hYy5h dApvciBrZXlhLnByYWthc2hAbGlzLWxhYi5mci4KCldlIGVuY291cmFnZSBwYXJ0aWNpcGFudHMg dG8gZGVjbGFyZSB0aGVpciBpbnRlbnQgdG8gY29tZSBhbmQgb2ZmZXIKYWN0aXZpdGllcyBpbiBh ZHZhbmNlIHVzaW5nIHRoZSBjaGF0IG9mIGhpZ2hsaWdodHMuCgojIyBISUdITElHSFRTIEVYVEVO REVEIFNUQVkgU1VQUE9SVCBTQ0hFTUUgKEhFU1NTKQoKVGhlICoqSEVTU1MqKiBpcyBhbiBpbmNl bnRpdmUgZm9yIGNvbGxhYm9yYXRpb25zIGJldHdlZW4gcGFydGljaXBhbnRzIG9mCnRoZSBjb25m ZXJlbmNlIGFuZCByZXNlYXJjaGVycyB3b3JraW5nIGluIHJlc2VhcmNoIGdyb3VwcyByZWFjaGFi bGUgYnkKdHJhaW4gZnJvbSB0aGUgY29uZmVyZW5jZSBsb2NhdGlvbi4gVGhlIG9iamVjdGl2ZSBp cyB0byBmb3N0ZXIgaW50ZXJhY3Rpb25zCndpdGggbG93IGNhcmJvbiBmb290cHJpbnQuIFRoZSBt ZWNoYW5pc20gaXMgYXMgZm9sbG93czoKCi0gICBSZXNlYXJjaCBncm91cHMgd2lsbGluZyB0byBw YXJ0aWNpcGF0ZSBpbiB0aGUgc2NoZW1lIHdpbGwgYmUgbGlzdGVkIG9uCnRoZSB3ZWJwYWdlOiBo dHRwczovL2hpZ2hsaWdodHMtY29uZmVyZW5jZS5vcmcvMjAyNi9oZXNzcy4gVGhlc2UgZ3JvdXBz IGFyZQpvZmZlcmluZyB0byBmdW5kIGNvbGxhYm9yYXRpb25zIGJldHdlZW4gSElHSExJR0hUUyBw YXJ0aWNpcGFudHMgYW5kIHRoZWlyCm1lbWJlcnMuCi0gICBUaGUgcGFpciBvZiBhIEhJR0hMSUdI VFMgcGFydGljaXBhbnQgYW5kIGEgbWVtYmVyIG9mIGEgbGlzdGVkIHJlc2VhcmNoCmdyb3VwIHN1 Ym1pdCBhIHByb3Bvc2FsLCB3aGljaCB0YWtlcyB0aGUgZm9ybSBvZiBhbiBlbWFpbCBjb250YWlu aW5nIG5hbWVzLApwZXJpb2Qgb2YgY29sbGFib3JhdGlvbiwgYW5kIGEgc2VudGVuY2UgZGVzY3Jp YmluZyB0aGUgcGxhbm5lZCBhY3Rpdml0eS4gSXQKaGFzIHRvIGJlIHNlbnQgdG8gdGhlICoqSEVT U1MqKiBjb250YWN0IHBlcnNvbiBvZiB0aGUgcmVzZWFyY2ggdW5pdC4KLSAgIFRoZSBkZWNpc2lv biBvZiBhY2NlcHRhbmNlIGlzIHVwIHRvIHRoZSByZXNlYXJjaCBncm91cC4gSW4gcGFydGljdWxh ciwKaXQgbWF5IGJlIHN1YmplY3QgdG8gc2NpZW50aWZpYyBzY29wZSwgbnVtYmVyIG9mIHJlcXVl c3RzLCBvciBlLmcuLApmYXZvdXJpbmcgZGlzdGFudCBwYXJ0aWNpcGFudHMuCi0gICBUaGUgb25s eSBzdHJpY3QgcnVsZSBpcyB0aGF0IHRoZSB2aXNpdCBzaG91bGQgYmUgYXJvdW5kIEhJR0hMSUdI VFMsIGFuZApubyBhaXJwbGFuZSBzaG91bGQgYmUgdGFrZW4gYnkgdGhlIHZpc2l0b3IgdG8gdHJh dmVsIGZyb20gSElHSExJR0hUUyB0byB0aGUKdmlzaXQgbG9jYXRpb24uCgojIyBJTlZJVEVEIFNQ RUFLRVJTCgojIyMgVFVUT1JJQUxTCi0gRGFuaWVsYSBQZXRyaXNhbgotIE1pY2hhZWwgUGluc2tl cgoKIyMjIEtFWU5PVEUgU1BFQUtFUlMKLSBDw6ljaWxpYSBQcmFkaWMKLSBBbnRob255IExpbgot IE1pcmNvIEdpYWNvYmJlCi0gSy4gUy4gVGhlamFzd2luaQoKIyMjIFBST0dSQU0gQ09NTUlUVEVF IEhJR0hMSUdIVFMnMjYKCkEuIFIuIEJhbGFzdWJyYW1hbmlhbiwgTVBJLVNXUwpNYW51ZWwgQm9k aXJza3ksIFRVIERyZXNkZW4KTG9yZW56byBDbGVtZW50ZSwgVW5pdmVyc2l0eSBvZiBXYXJzYXcg KGNoYWlyKQpKYXZpZXIgRXNwYXJ6YSwgIFRVIE3DvGNoZW4KRW1tYW51ZWwgRmlsaW90LCBVbml2 ZXJ0w6kgTGlicmUgZGUgQnJ1eGVsbGVzClplaW5hYiBHYWxhbCwgS3lvdG8gVW5pdmVyc2l0eQpT aGFua2FyYW5hcmF5YW5hbiBLcmlzaG5hLCBJSVQgQm9tYmF5ClVnbyBkYWwgTGFnbywgVW5pdmVy c2l0eSBvZiBCb2xvZ25hCk5hdGhhbiBMaG90ZSwgQWl4LU1hcnNlaWxsZSBVbml2ZXJzaXR5CkNo cmlzdG9mIEzDtmRpbmcsIEFhY2hlbiBVbmllcnNpdHkKUnVwYWsgTWFqdW1kYXIsIE1QSS1TV1MK VGl0byBOZ3V5ZW4sIENOUlMsIEFpeC1NYXJzZWlsbGUgVW5pdmVyc2l0eQpLYXJpbiBRdWFhcywg TGVpcHppZyBVbml2ZXJzaXR5Ck9jYW4gU2Fua3VyLCBDTlJTLCBSZW5uZXMgVW5pdmVyc2l0eQoK IyMjIE9SR0FOSVNJTkcgQ09NTUlUVEVFCgpMYXVyYSBLb3ZhY3MsIFRVIFdpZW4gYy9vIFdQSQpN aWNoYWVsIFNhbW1sZXIsIElTVEEKCiMjIyBTVEVFUklORyBDT01NSVRURUUKCi0gQW50b2luZSBB bWFyaWxsaSAoZW52aXJvbm1lbnRhbCBjaGFpcikKLSBMZcOzbiBCb2huICh3ZWJtYXN0ZXIpCi0g QW50b25pbyBDYXNhcmVzCi0gU3VwcmF0aWsgQ2hha3JhYm9ydHkKLSBUaG9tYXMgQ29sY29tYmV0 IChjaGFpcikKLSBCYXJ0ZWsgS2xpbgotIEsuIFMuIFRoZWphc3dpbmkgKHB1YmxpY2l0eSBjaGFp cikKLSBTb3BoaWUgVGlzb24KCioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioKKgoqICAgQ29udHJpYnV0aW9ucyB0byBiZSBzcHJlYWQgdmlh IERNQU5FVCBhcmUgc3VibWl0dGVkIHRvCioKKiAgICAgICAgICAgICAgICAgICBETUFORVRAenBy LnVuaS1rb2Vsbi5kZQoqCiogICBSZXBsaWVzIHRvIGEgIG1lc3NhZ2UgY2FycmllZCAgb24gRE1B TkVUIHNob3VsZCBOT1QgYmUKKiAgIGFkZHJlc3NlZCB0byBETUFORVQgIGJ1dCB0byAgdGhlIG9y aWdpbmFsIHNlbmRlci4gIFRoZQoqICAgb3JpZ2luYWwgIHNlbmRlciwgIGhvd2V2ZXIsICBpcyBp bnZpdGVkICB0byBwcmVwYXJlIGFuCiogICB1cGRhdGUgIG9mIHRoZSByZXBsaWVzICByZWNlaXZl ZCBhbmQgdG8gY29tbXVuaWNhdGUgaXQKKiAgIHZpYSBETUFORVQuCioKKiAgICBESVNDUkVURSBN QVRIRU1BVElDUyBBTkQgQUxHT1JJVEhNUyBORVRXT1JLIChETUFORVQpCiogICAgICBodHRwOi8v d3d3LnphaWsudW5pLWtvZWxuLmRlL0FGUy9wdWJsaWNhdGlvbnMvZG1hbmV0LwoqCioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioK