ICALP track B CFP
Manuel Bodirsky via dmanet <[email protected]> Fri, 17 Jul 2026 11:22:12 +0200
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Organization | TU Dresden |
| Message-ID | <[email protected]> |
KioKCio9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PSoKCioKCklDQUxQIDIwMjcgVHJhY2sgQiAtIEZpcnN0IENhbGwgZm9yIFBhcGVycyAoRmly c3QgUm91bmQpCgpodHRwczovL2ljYWxwLnVqLmVkdS5wbC90cmFjay1iLwoKPT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KCgpUaGUgNTR0aCBF QVRDUyBJbnRlcm5hdGlvbmFsIENvbGxvcXVpdW0gb24gQXV0b21hdGEsIExhbmd1YWdlcywgYW5k IApQcm9ncmFtbWluZwoKKElDQUxQKSB3aWxsIHRha2UgcGxhY2UgaW46CgoKS3Jha8OzdywgUG9s YW5kLCBKdWx5IDUtOSwgMjAyNwoKCklDQUxQIGlzIHRoZSBtYWluIGNvbmZlcmVuY2UgYW5kIGFu bnVhbCBtZWV0aW5nIG9mIHRoZSBFdXJvcGVhbiAKQXNzb2NpYXRpb24gZm9yIFRoZW9yZXRpY2Fs IENvbXB1dGVyIFNjaWVuY2UgKEVBVENTKS4gQXMgdXN1YWwsIElDQUxQIAp3aWxsIGJlIGNvbGxv Y2F0ZWQgd2l0aCBhIHNlcmllcyBvZiB3b3Jrc2hvcHMuCgoKVGhlIDIwMjcgZWRpdGlvbiBoYXMg dGhlIGZvbGxvd2luZyBmZWF0dXJlczoKCgotIFN1Ym1pc3Npb25zIGFyZSBhbm9ueW1vdXM7IGZv ciB0cmFjayBCLCB0aGVyZSBpcyBhIHJlYnV0dGFsIHBoYXNlLgoKLSBGb3IgdGhlIGZpcnN0IHRp bWUsIFRyYWNrIEIgd2lsbCBiZSB1c2luZyBhIHR3by1yb3VuZCBzdWJtaXNzaW9uIApwcm9jZXNz LiBBIHBhcGVyIGNhbiBiZSBzdWJtaXR0ZWQgdG8gb25lIG91dCBvZiB0d28gc3VibWlzc2lvbiAK ZGVhZGxpbmVzLCBidXQgbm90IHRvIGJvdGguIChUcmFjayBBIGhhcyBvbmx5IG9uZSByb3VuZC4p CgotIFRoZSBjb25mZXJlbmNlIGlzIHBsYW5uZWQgYXMgYSBwaHlzaWNhbCwgaW4tcGVyc29uIGV2 ZW50LgoKCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09CgpJbXBvcnRhbnQgZGF0ZXMgYW5kIGluZm9ybWF0aW9uIChmb3IgVHJhY2sgQikKCj09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CgoK Rmlyc3Qgcm91bmQgKGZvciBUcmFjayBCIG9ubHkpCgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLQoKU3VibWlzc2lvbnM6IFNlcHRlbWJlciAxNSwgMjAyNiAoYW55d2hlcmUg b24gZWFydGgpCgpSZWJ1dHRhbDogNS05IE5vdmVtYmVyLCAyMDI2CgpBdXRob3Igbm90aWZpY2F0 aW9uOiA4IERlY2VtYmVyIDIwMjYKCgpTZWNvbmQgcm91bmQgZm9yIFRyYWNrIEIgKGFuZCB0aGUg b25seSByb3VuZCBmb3IgVHJhY2sgQSkKCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgpTdWJtaXNzaW9u czogVEJBCgpSZWJ1dHRhbDogVEJBCgpBdXRob3Igbm90aWZpY2F0aW9uOiBUQkEKCgpDYW1lcmEt cmVhZHkgdmVyc2lvbjogVEJBCgpFYXJseSByZWdpc3RyYXRpb246IFRCQQoKQ29uZmVyZW5jZTog SnVseSA1LTksIDIwMjcKCkRlYWRsaW5lcyBhcmUgZmlybTsgbGF0ZSBzdWJtaXNzaW9ucyB3aWxs IG5vdCBiZSBjb25zaWRlcmVkLgoKQ29uZmVyZW5jZSB3ZWJzaXRlOmh0dHBzOi8vaWNhbHAudWou ZWR1LnBsL2hvbWUvI2hvbWUgCjxodHRwczovL2ljYWxwLnVqLmVkdS5wbC9ob21lLyNob21lPgoK Cj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 CgpTdWJtaXNzaW9uIGd1aWRlbGluZXMgKGZvciBUcmFjayBCKQoKPT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KCgoxKSBQYXBlcnMgbXVzdCBw cmVzZW50IG9yaWdpbmFsIHJlc2VhcmNoIG9uIHRoZSB0aGVvcnkgb2YgY29tcHV0ZXIgCnNjaWVu Y2UuIE5vIHByaW9yIHB1YmxpY2F0aW9uIGFuZCBubyBzaW11bHRhbmVvdXMgc3VibWlzc2lvbiB0 byBvdGhlciAKcHVibGljYXRpb24gb3V0bGV0cyAoZWl0aGVyIGEgY29uZmVyZW5jZSBvciBhIGpv dXJuYWwpIGlzIGFsbG93ZWQuIApBdXRob3JzIGFyZSBlbmNvdXJhZ2VkIHRvIGFsc28gbWFrZSBm dWxsIHZlcnNpb25zIG9mIHRoZWlyIHN1Ym1pc3Npb25zIApmcmVlbHkgYWNjZXNzaWJsZSBpbiBh biBvbi1saW5lIHJlcG9zaXRvcnkgc3VjaCBhcyBhQXJYaXYsIEhBTCwgRUNDQy4KCgoyKSBTdWJt aXNzaW9ucyBzaG91bGQgc3RhcnQgd2l0aCBhIHRpdGxlIHBhZ2UgY29uc2lzdGluZyBvZiB0aGUg dGl0bGUgb2YgCnRoZSBwYXBlciwgbm8gYXV0aG9yIGluZm9ybWF0aW9uIChzZWUgYmVsb3cpLCBh bmQgYW4gYWJzdHJhY3QuIFRoZXJlIGlzIApubyBwYWdlIGxpbWl0IGFuZCBhdXRob3JzIGFyZSBl bmNvdXJhZ2VkIHRvIHVzZSB0aGUg4oCcZnVsbCB2ZXJzaW9u4oCdIG9mIAp0aGVpciBwYXBlciBh cyB0aGUgc3VibWlzc2lvbi4gVGhlIHN1Ym1pc3Npb24gc2hvdWxkIGNvbnRhaW4sIHdpdGhpbiB0 aGUgCmluaXRpYWwgdGVuIHBhZ2VzIGZvbGxvd2luZyB0aGUgdGl0bGUgcGFnZSwgYSBjbGVhciBw cmVzZW50YXRpb24gb2YgdGhlIAptZXJpdHMgb2YgdGhlIHBhcGVyLCBpdHMgbWFpbiBjb250cmli dXRpb25zLCBhbmQga2V5IGNvbmNlcHRzIGFuZCAKdGVjaG5pY2FsIGlkZWFzIHVzZWQgdG8gb2J0 YWluIHRoZSByZXN1bHRzLiBTdWJtaXNzaW9ucyBtdXN0IHByb3ZpZGUgCnByb29mcyB0aGF0IGFs bG93IHRoZSB2ZXJpZmljYXRpb24gb2YgdGhlIG1hdGhlbWF0aWNhbCBjbGFpbXMgb2YgdGhlIApw YXBlci4gQWx0aG91Z2ggdGhlcmUgaXMgbm8gYm91bmQgb24gdGhlIGxlbmd0aCBvZiBhIHN1Ym1p c3Npb24sIAptYXRlcmlhbCBvdGhlciB0aGFuIHRoZSBhYnN0cmFjdCwgcmVmZXJlbmNlcywgYW5k IHRoZSBmaXJzdCB0ZW4gcGFnZXMgCndpbGwgYmUgcmVhZCBhdCB0aGUgY29tbWl0dGVl4oCZcyBk aXNjcmV0aW9uLiBUaGUgc3VibWlzc2lvbiBzaG91bGQgYmUgCnR5cGVzZXQgdXNpbmcgcmVhZGFi bGUgZm9udHMgKGUuZy4gMTEtcG9pbnQpLCBpbiBhIHNpbmdsZS1jb2x1bW4gZm9ybWF0IAp3aXRo IGFtcGxlIHNwYWNpbmcgdGhyb3VnaG91dCAoZS5nLiBzaW5nbGUtc3BhY2UgYmV0d2VlbiBsaW5l cyBhbmQgCjEtaW5jaCBtYXJnaW5zIGFsbCBhcm91bmQpLiBUaGUgdXNlIG9mIHRoZSBMSVBJY3Mg ZG9jdW1lbnQgY2xhc3MgaXMgCnJlY29tbWVuZGVkLgoKCjMpIFN1Ym1pc3Npb25zIGFyZSBhbm9u eW1vdXMuIFRoZSBjb25mZXJlbmNlIHdpbGwgZW1wbG95IGEgbGlnaHR3ZWlnaHQgCmRvdWJsZS1i bGluZCByZXZpZXdpbmcgcHJvY2Vzcy4gU3VibWlzc2lvbnMgc2hvdWxkIG5vdCByZXZlYWwgdGhl IAppZGVudGl0eSBvZiB0aGUgYXV0aG9ycyBpbiBhbnkgd2F5LiBBdXRob3JzIHNob3VsZCBlbnN1 cmUgdGhhdCBhbnkgCnJlZmVyZW5jZXMgdG8gdGhlaXIgb3duIHJlbGF0ZWQgd29yayBhcmUgaW4g dGhlIHRoaXJkIHBlcnNvbiAoZS5nLiwgbm90IArigJxXZSBidWlsZCBvbiBvdXIgcHJldmlvdXMg d29ya+KApuKAnSBidXQgcmF0aGVyIOKAnFdlIGJ1aWxkIG9uIHRoZSB3b3JrIG9mIOKApuKAnSku CgoKVGhlIHB1cnBvc2Ugb2YgdGhpcyBkb3VibGUtYmxpbmQgcHJvY2VzcyBpcyB0byBoZWxwIFBD IG1lbWJlcnMgYW5kIApleHRlcm5hbCByZXZpZXdlcnMgY29tZSB0byBhbiBpbml0aWFsIGp1ZGdt ZW50IGFib3V0IHRoZSBwYXBlciB3aXRob3V0IApiaWFzLCBhbmQgbm90IHRvIG1ha2UgaXQgaW1w b3NzaWJsZSBmb3IgdGhlbSB0byBkaXNjb3ZlciB3aG8gdGhlIGF1dGhvcnMgCmFyZSBpZiB0aGV5 IHdlcmUgdG8gdHJ5LiBOb3RoaW5nIHNob3VsZCBiZSBkb25lIGluIHRoZSBuYW1lIG9mIGFub255 bWl0eSAKdGhhdCB3ZWFrZW5zIHRoZSBzdWJtaXNzaW9uIG9yIG1ha2VzIHRoZSBqb2Igb2YgcmV2 aWV3aW5nIHRoZSBwYXBlciBtb3JlIApkaWZmaWN1bHQuIEluIHBhcnRpY3VsYXIsIGltcG9ydGFu dCByZWZlcmVuY2VzIHNob3VsZCBub3QgYmUgb21pdHRlZC4gSW4gCmFkZGl0aW9uLCBhdXRob3Jz IHNob3VsZCBmZWVsIGZyZWUgdG8gZGlzc2VtaW5hdGUgdGhlaXIgaWRlYXMgb3IgZHJhZnQgCnZl cnNpb25zIG9mIHRoZWlyIHBhcGVyIGFzIHRoZXkgbm9ybWFsbHkgd291bGQuIEZvciBleGFtcGxl LCBhdXRob3JzIG1heSAKcG9zdCBkcmFmdHMgb2YgdGhlaXIgcGFwZXJzIG9uIHRoZSB3ZWIsIHN1 Ym1pdCB0aGVtIHRvIGFyWGl2LCBhbmQgZ2l2ZSAKdGFsa3Mgb24gdGhlaXIgcmVzZWFyY2ggaWRl YXMuCgoKNCkgU3VibWlzc2lvbnMgYXV0aG9yZWQgb3IgY28tYXV0aG9yZWQgYnkgbWVtYmVycyBv ZiB0aGUgcHJvZ3JhbSAKY29tbWl0dGVlIGFyZSBhbGxvd2VkLgoKCjUpIFRoZSBzdWJtaXNzaW9u cyBhcmUgZG9uZSB2aWEgSG90Q1JQIHRvIHRoZSBhcHByb3ByaWF0ZSB0cmFjayBvZiB0aGUgCmNv bmZlcmVuY2UuIFRoZSB1c2Ugb2YgcGRmbGF0ZXggb3Igc2ltaWxhciBwZGYgZ2VuZXJhdGluZyB0 b29scyBpcyAKbWFuZGF0b3J5LiBQYXBlcnMgdGhhdCBkZXZpYXRlIHNpZ25pZmljYW50bHkgZnJv bSB0aGVzZSByZXF1aXJlbWVudHMgCnJpc2sgcmVqZWN0aW9uIHdpdGhvdXQgY29uc2lkZXJhdGlv biBvZiBtZXJpdC4KCgo2KSBGb3IgVHJhY2sgQiwgdGhlIGF1dGhvcnMgd2lsbCBoYXZlIHRoZSBv cHBvcnR1bml0eSB0byB2aWV3IGFuZCAKcmVzcG9uZCB0byBpbml0aWFsIHJldmlld3MuIEZ1cnRo ZXIgaW5zdHJ1Y3Rpb25zIHdpbGwgYmUgc2VudCB0byBhdXRob3JzIApvZiBzdWJtaXR0ZWQgcGFw ZXJzIGJlZm9yZSB0aGF0IHRpbWUuCgoKNykgQXQgbGVhc3Qgb25lIGF1dGhvciBvZiBlYWNoIGFj Y2VwdGVkIHBhcGVyIGlzIGV4cGVjdGVkIHRvIHJlZ2lzdGVyIApmb3IgdGhlIGNvbmZlcmVuY2Us IGFuZCBhbGwgdGFsa3MgYXJlIGluLXBlcnNvbi4gSW4gZXhjZXB0aW9uYWwgY2FzZXMsIAphbHRl cm5hdGl2ZSBhcnJhbmdlbWVudHMgbWF5IGJlIGNvbnNpZGVyZWQgYnkgdGhlIHByb2dyYW0gY28t Y2hhaXJzLgoKCjgpIFBhcGVycyBhdXRob3JlZCBvbmx5IGJ5IHN0dWRlbnRzIHNob3VsZCBiZSBt YXJrZWQgYXMgc3VjaCB1cG9uIApzdWJtaXNzaW9uIGluIG9yZGVyIHRvIGJlIGVsaWdpYmxlIGZv ciB0aGUgYmVzdCBzdHVkZW50IHBhcGVyIGF3YXJkcyBvZiAKdGhlIHRyYWNrLgoKCjkpIEZvciBU cmFjayBCLCB3ZSB1c2UgYSB0d28tcm91bmQgc3VibWlzc2lvbiBwcm9jZXNzLiBBIHBhcGVyIG1h eSBiZSAKc3VibWl0dGVkIHRvIG9uZSBvdXQgb2YgdHdvIHN1Ym1pc3Npb24gZGVhZGxpbmVzLCBi dXQgbm90IHRvIGJvdGguIFRoZSAKZGVjaXNpb24gZm9yIHRoZSBmaXJzdCByb3VuZCBpcyBmaW5h bCAobm8g4oCcY2Fycnkgb3ZlcuKAnSB0byB0aGUgc2Vjb25kIApyb3VuZCk7IGlmIGEgcGFwZXIg aXMgcmVqZWN0ZWQgdGhlbiwgaXQgY2Fubm90IGJlIHJlc3VibWl0dGVkIHRvIHRoZSAKc2Vjb25k IHJvdW5kLiAoTm90ZSB0aGF0IFRyYWNrIEEgaGFzIG9ubHkgb25lIHJvdW5kLikKCgo9PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKVXNlIG9m IEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlIChBSSkKCj09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CgoKMSkgVXNlIG9mIEFJIHRvb2xzIGZvciBj b25kdWN0aW5nIHJlc2VhcmNoIG11c3QgYmUgZGlzY2xvc2VkIGluIGEgCnN1Ym1pdHRlZCBwYXBl ciwgd2l0aCB0aGVpciBzcGVjaWZpYyB1c2VzIGRlc2NyaWJlZCBpbiBkZXRhaWwuIFN1Y2ggdXNl cyAKaW5jbHVkZSB0aGUgZGVzaWduIG9mIHRoZSByZXNlYXJjaCBwcm9qZWN0LCBjcmVhdGlvbiBv ZiB0aGVvcmllcyBhbmQgCmFsZ29yaXRobXMsIGRlc2lnbmluZyBleHBlcmltZW50cywgZ2VuZXJh dGlvbiBhbmQgY29sbGVjdGlvbiBvZiBkYXRhLCAKY29kaW5nLCBkYXRhIGFuYWx5c2lzLCB0ZXN0 aW5nLCBhc3Npc3Rpbmcgd2l0aCB3cml0aW5nLCBvciBhbnkgYXNwZWN0cyAKdGhhdCBhcmUgZGly ZWN0bHkgcmVsZXZhbnQgdG8gdGhlIGNvbmNsdXNpb24gb2YgdGhlIHJlc2VhcmNoLgoKCjIpIEFs bCBuYW1lZCBhdXRob3JzIG9uIGEgc3VibWlzc2lvbiB3aWxsIGJlIGhlbGQgcmVzcG9uc2libGUg YW5kIAphY2NvdW50YWJsZSBmb3IgYW55IGNvbnRlbnQgY29udGFpbmVkIGluIHRoZSBzdWJtaXNz aW9uLCByZWdhcmRsZXNzIG9mIAppdHMgc291cmNlLgoKCjMpIFBDIG1lbWJlcnMgYW5kIHN1YnJl ZmVyZWVzIG11c3QgcHJlc2VydmUgY29uZmlkZW50aWFsaXR5IG9mIHRoZSAKc3VibWl0dGVkIG1h dGVyaWFsOyBpbiBwYXJ0aWN1bGFyLCBpdCBzaG91bGQgbm90IGJlIHBhc3NlZCB0byBleHRlcm5h bCAKQUkgdG9vbHMuCgoKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT0KClByb2NlZWRpbmdzCgo9PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKCklDQUxQIHByb2NlZWRpbmdzIGFyZSBwdWJs aXNoZWQgaW4gdGhlIExlaWJuaXogSW50ZXJuYXRpb25hbCBQcm9jZWVkaW5ncyAKaW4gSW5mb3Jt YXRpY3MgKExJUEljcykgc2VyaWVzLiBUaGlzIGlzIGEgc2VyaWVzIG9mIGhpZ2gtcXVhbGl0eSAK Y29uZmVyZW5jZSBwcm9jZWVkaW5ncyBhY3Jvc3MgYWxsIGZpZWxkcyBpbiBpbmZvcm1hdGljcyBl c3RhYmxpc2hlZCBpbiAKY29vcGVyYXRpb24gd2l0aCBTY2hsb3NzIERhZ3N0dWhsIOKAkyBMZWli bml6IENlbnRlciBmb3IgSW5mb3JtYXRpY3MuCgpMSVBJY3Mgdm9sdW1lcyBhcmUgcHVibGlzaGVk IGFjY29yZGluZyB0byB0aGUgcHJpbmNpcGxlIG9mIE9wZW4gQWNjZXNzLCAKaS5lLiwgdGhleSBh cmUgYXZhaWxhYmxlIG9ubGluZSBhbmQgZnJlZSBvZiBjaGFyZ2UuIFRoZSBhY2NlcHRlZCBwYXBl cnMgCndpbGwgbmVlZCB0byBjb21wbHkgd2l0aCB0aGUgTElQSWNzIHN0eWxlLgoKCj09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CgpUb3BpY3MK Cj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 CgoKUGFwZXJzIHByZXNlbnRpbmcgb3JpZ2luYWwgcmVzZWFyY2ggb24gYWxsIGFzcGVjdHMgb2Yg dGhlb3JldGljYWwgCmNvbXB1dGVyIHNjaWVuY2UgYXJlIHNvdWdodC4gVHlwaWNhbCwgYnV0IG5v dCBleGNsdXNpdmUsIHRvcGljcyBvZiAKaW50ZXJlc3QgYXJlOgoKClRyYWNrIEI6IEF1dG9tYXRh LCBMb2dpYywgU2VtYW50aWNzLCBhbmQgVGhlb3J5IG9mIFByb2dyYW1taW5nCgotLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tCgpBbGdlYnJhaWMgYW5kIENhdGVnb3JpY2FsIE1vZGVscyBv ZiBDb21wdXRhdGlvbgoKQXV0b21hdGEsIExvZ2ljLCBhbmQgR2FtZXMKCkRhdGFiYXNlIFRoZW9y eSwgQ29uc3RyYWludCBTYXRpc2ZhY3Rpb24gUHJvYmxlbXMsIGFuZCBGaW5pdGUgTW9kZWwgVGhl b3J5CgpGb3JtYWwgYW5kIExvZ2ljYWwgQXNwZWN0cyBvZiBMZWFybmluZwoKRm9ybWFsIGFuZCBM b2dpY2FsIEFzcGVjdHMgb2YgU2VjdXJpdHkgYW5kIFByaXZhY3kKCkxvZ2ljIGluIENvbXB1dGVy IFNjaWVuY2UgYW5kIFRoZW9yZW0gUHJvdmluZwoKTW9kZWxzIG9mIENvbXB1dGF0aW9uOiBDb21w bGV4aXR5IGFuZCBDb21wdXRhYmlsaXR5CgpNb2RlbHMgb2YgQ29uY3VycmVudCwgRGlzdHJpYnV0 ZWQsIGFuZCBNb2JpbGUgU3lzdGVtcwoKTW9kZWxzIG9mIFJlYWN0aXZlLCBIeWJyaWQsIGFuZCBT dG9jaGFzdGljIFN5c3RlbXMKClByaW5jaXBsZXMgYW5kIFNlbWFudGljcyBvZiBQcm9ncmFtbWlu ZyBMYW5ndWFnZXMKClByb2dyYW0gQW5hbHlzaXMsIFZlcmlmaWNhdGlvbiwgYW5kIFN5bnRoZXNp cwoKVHlwZSBTeXN0ZW1zIGFuZCBUeXBlZCBDYWxjdWxpCgoKPT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KCklDQUxQIDIwMjcgUHJvZ3JhbW1l IENvbW1pdHRlZQoKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT0KCgpUcmFjayBBOiBBbGdvcml0aG1zLCBDb21wbGV4aXR5IGFuZCBHYW1lcwoK LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0KClNha2V0IFNhdXJhYmggKEluc3RpdHV0ZSBvZiBNYXRoZW1hdGljYWwgU2NpZW5jZXMsIENo ZW5uYWkpLCAKQ28tQ2hhaXJKdWtrYSBTdW9tZWxhIChBYWx0byBVbml2ZXJzaXR5KSwgQ28tQ2hh aXIKCihPdGhlciBtZW1iZXJzIFRCQSkKCgpUcmFjayBCOiBBdXRvbWF0YSwgTG9naWMsIFNlbWFu dGljcywgYW5kIFRoZW9yeSBvZiBQcm9ncmFtbWluZwoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLQoKRXJpa2EgQWJyYWhhbSwgUldUSCBBYWNoZW4gVW5pdmVyc2l0eSwgR2VybWFueQoK Uy4gQWtzaGF5LCBJbmRpYW4gSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3kgQm9tYmF5LCBJbmRpYQoK U2hhdWxsIEFsbWFnb3IsIFRlY2huaW9uLCBJc3JhZWwKCkFsYmVydCBBdHNlcmlhcywgVW5pdmVy c2l0YXQgUG9saXTDqGNuaWNhIGRlIENhdGFsdW55YSwgU3BhaW4KCk1pcmlhbSBCYWNrZW5zLCBJ bnJpYSAmIExvcmlhLCBGcmFuY2UKCkxpYm9yIEJhcnRvLCBDaGFybGVzIFVuaXZlcnNpdHksIEN6 ZWNoaWEKClZhbGVyaWUgQmVydGhlLCBDTlJTLCBGcmFuY2UKCk1hbnVlbCBCb2RpcnNreSAoVHJh Y2sgQ28tY2hhaXIpLCBUVSBEcmVzZGVuLCBHZXJtYW55CgpGaWxpcHBvIEJvbmNoaSwgVW5pdmVy c2l0eSBvZiBQaXNhLCBJdGFseQoKU2FtdWVsIEJyYXVuZmVsZCwgQ3plY2ggQWNhZGVteSBvZiBT Y2llbmNlcywgQ3plY2hpYQoKTG9yZW56byBDbGVtZW50ZSwgVW5pdmVyc2l0eSBvZiBXYXJzYXcs IFBvbGFuZAoKV29qY2llY2ggQ3plcndpxYRza2ksIFVuaXZlcnNpdHkgb2YgV2Fyc2F3LCBQb2xh bmQKCkpvc8OpZSBEZXNoYXJuYWlzLCBVbml2ZXJzaXTDqSBMYXZhbCwgQ2FuYWRhCgpOYXRoYW5h w6tsIEZpamFsa293LCBDTlJTLCBMYUJSSSwgQm9yZGVhdXgsIEZyYW5jZQoKQmVybmQgRmlua2Jl aW5lciwgQ0lTUEEgSGVsbWhvbHR6IENlbnRlciBmb3IgSW5mb3JtYXRpb24gU2VjdXJpdHkgYW5k IApUZWNobmljYWwgVW5pdmVyc2l0eSBvZiBNdW5pY2gsIEdlcm1hbnkKClNlcmdleSBHb25jaGFy b3YsIFVuaXZlcnNpdHkgb2YgQmlybWluZ2hhbSwgVUsKCkljaGlybyBIYXN1byAoVHJhY2sgQ28t Y2hhaXIpLCBOYXRpb25hbCBJbnN0aXR1dGUgb2YgSW5mb3JtYXRpY3MsIEphcGFuCgpTaGloLUhh biBIdW5nLCBOYXRpb25hbCBUYWl3YW4gVW5pdmVyc2l0eSwgVGFpd2FuCgpDZXphcnkgS2FsaXN6 eWssIFVuaXZlcnNpdHkgb2YgTWVsYm91cm5lLCBBdXN0cmFsaWEKCkJlbmphbWluIEthbWluc2tp LCBTYWFybGFuZCBVbml2ZXJzaXR5LCBHZXJtYW55IGFuZCBVbml2ZXJzaXR5IENvbGxlZ2UgCkxv bmRvbiwgVUsKCkRlbGlhIEtlc25lciwgVW5pdmVyc2l0ZSBQYXJpcyBDaXRlLCBGcmFuY2UKClNh bmRyYSBLaWVmZXIsIFVuaXZlcnNpdHkgb2YgT3hmb3JkLCBVSwoKVGFrYXl1a2kgS2loYXJhLCBO YWdveWEgVW5pdmVyc2l0eSwgSmFwYW4KCktyaXNobmEsIElJVCBCb21iYXksIEluZGlhCgpSYW5r byBMYXppYywgVW5pdmVyc2l0eSBvZiBXYXJ3aWNrLCBVSwoKQWxlc3NpbyBNYW5zdXR0aSwgSU1E RUEgU29mdHdhcmUgSW5zdGl0dXRlLCBTcGFpbgoKSm9zaHVhIE1vZXJtYW4sIE9wZW4gVW5pdmVy c2l0eSwgdGhlIE5ldGhlcmxhbmRzCgpKYWtvYiBQaXJpYmF1ZXIsIFRVIERyZXNkZW4sIEdlcm1h bnkKCkFtYXVyeSBQb3VseSwgVW5pdiBSZW5uZXMsIENOUlMsIElucmlhLCBJUklTQSwgRnJhbmNl CgpKdXJyaWFhbiBSb3QsIFJhZGJvdWQgVW5pdmVyc2l0eSwgdGhlIE5ldGhlcmxhbmRzCgpTZWJh c3RpYW4gUnVkb2xwaCwgVFUgRHJlc2RlbiwgR2VybWFueQoKTWFoc2EgU2hpcm1vaGFtbWFkaSwg Q05SUywgRnJhbmNlCgpNYXRldXN6IFNrb21yYSwgTEFBUy1DTlJTLCBGcmFuY2UsIEZyYW5jZQoK QW5hIFNva29sb3ZhLCBVbml2ZXJzaXR5IG9mIFNhbHpidXJnLCBBdXN0cmlhCgpTYW0gU3RhdG9u LCBVbml2ZXJzaXR5IG9mIE94Zm9yZCwgVUsKCkhpcm9zaGkgVW5ubywgVG9ob2t1IFVuaXZlcnNp dHksIEphcGFuCgpUYXJtbyBVdXN0YWx1LCBSZXlramF2aWsgVW5pdmVyc2l0eSwgSWNlbGFuZCBh bmQgVGFsbGlubiBVbml2ZXJzaXR5IG9mIApUZWNobm9sb2d5LCBFc3RvbmlhCgpOaWNjb2zDsiBW ZWx0cmksIFRhbGxpbm4gVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBFc3RvbmlhCgpUaG9yc3Rl biBXaXNzbWFubiwgRkFVIEVybGFuZ2VuLU7DvHJuYmVyZywgR2VybWFueQoKU3RhbmRhIMW9aXZu w70sIFVuaXZlcnNpdHkgb2YgT3hmb3JkLCBVSwoKCj09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CgpJQ0FMUCAyMDI3IFdvcmtzaG9wcwoKPT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KClRo ZSBmaXJzdCBjYWxsIHdpbGwgYmUgaXNzdWVkIGluIHRoZSBjb21pbmcgZmFsbC4KCgo9PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKSUNBTFAg MjAyNyBQcm9jZWVkaW5ncyBDaGFpcgoKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT0KCkdhYnJpZWxlIFB1cHBpcyAoVWRpbmUgVW5pdmVyc2l0 eSkKCgo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PQoKSUNBTFAgMjAyNyBPcmdhbml6aW5nIENvbW1pdHRlZQoKPT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KCkpha3ViIEtvemlrIChKYWdp ZWxsb25pYW4gVW5pdmVyc2l0eSksIENvbmZlcmVuY2UgQ28tQ2hhaXIKCk1hcmNpbiBLb3ppayAo SmFnaWVsbG9uaWFuIFVuaXZlcnNpdHkpLCBDb25mZXJlbmNlIENvLUNoYWlyCgoKKgoKKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKgoqCiog ICBDb250cmlidXRpb25zIHRvIGJlIHNwcmVhZCB2aWEgRE1BTkVUIGFyZSBzdWJtaXR0ZWQgdG8K KgoqICAgICAgICAgICAgICAgICAgIERNQU5FVEB6cHIudW5pLWtvZWxuLmRlCioKKiAgIFJlcGxp ZXMgdG8gYSAgbWVzc2FnZSBjYXJyaWVkICBvbiBETUFORVQgc2hvdWxkIE5PVCBiZQoqICAgYWRk cmVzc2VkIHRvIERNQU5FVCAgYnV0IHRvICB0aGUgb3JpZ2luYWwgc2VuZGVyLiAgVGhlCiogICBv cmlnaW5hbCAgc2VuZGVyLCAgaG93ZXZlciwgIGlzIGludml0ZWQgIHRvIHByZXBhcmUgYW4KKiAg IHVwZGF0ZSAgb2YgdGhlIHJlcGxpZXMgIHJlY2VpdmVkIGFuZCB0byBjb21tdW5pY2F0ZSBpdAoq ICAgdmlhIERNQU5FVC4KKgoqICAgIERJU0NSRVRFIE1BVEhFTUFUSUNTIEFORCBBTEdPUklUSE1T IE5FVFdPUksgKERNQU5FVCkKKiAgICAgIGh0dHA6Ly93d3cuemFpay51bmkta29lbG4uZGUvQUZT L3B1YmxpY2F0aW9ucy9kbWFuZXQvCioKKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKgo=