FSCD 2024: Second Call for Papers
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> Thu, 11 Jan 2024 17:06:49 +0000
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKPT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KVXBkYXRlZCBp bmZvcm1hdGlvbiBvbjogY28tbG9jYXRpb24sIGludml0ZWQgc3BlYWtlcnMKPT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KCiAgICAgICAgICAgICAg ICAgICAgICAgICAgU0VDT05EIENBTEwgRk9SIFBBUEVSUwogICAgICAgICAgICAgICAgICAgIE5p bnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbgogICAgICAgRm9ybWFsIFN0cnVjdHVyZXMg Zm9yIENvbXB1dGF0aW9uIGFuZCBEZWR1Y3Rpb24gKEZTQ0QgMjAyNCkKICAgICAgICAgICAgICAg ICAgICBKdWx5IDEwLTEzLCAyMDI0LCBUYWxsaW5uLCBFc3RvbmlhCiAgICAgICAgICAgICAgICAg ICAgIGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2ZzY2QtY29uZmVyZW5jZS5v cmcvMjAyNF9fOyEhSUJ6V0xVcyFTcHFXOXN5RGZZWEhrX1IwQUhSUkZ2UVRGZ2lfZnZoYXdHa2ZD b3B6QnlxUzQxMUxQNGRPS2J4bDBxVWQ5Y0FiYkhnLTRldFR1N0htWjdzYUNhaWIxRUgzMTFJRzBy QSQgCgogICAgICAgRlNDRCAyMDI0IHdpbGwgYmUgY28tbG9jYXRlZCB3aXRoIElDQUxQIDIwMjQg YW5kIExJQ1MgMjAyNC4KICAgICAgICAgICAgICAgICAgICAgaHR0cHM6Ly91cmxkZWZlbnNlLmNv bS92My9fX2h0dHBzOi8vY29tcG9zZS5pb2MuZWUvaWNhbHAyMDI0L19fOyEhSUJ6V0xVcyFTcHFX OXN5RGZZWEhrX1IwQUhSUkZ2UVRGZ2lfZnZoYXdHa2ZDb3B6QnlxUzQxMUxQNGRPS2J4bDBxVWQ5 Y0FiYkhnLTRldFR1N0htWjdzYUNhaWIxRUgzLUlINWduQSQgCiAgICAgICAgICAgICAgICAgICAg ICBodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9saWNzLnNpZ2xvZy5vcmcvbGlj czI0L19fOyEhSUJ6V0xVcyFTcHFXOXN5RGZZWEhrX1IwQUhSUkZ2UVRGZ2lfZnZoYXdHa2ZDb3B6 QnlxUzQxMUxQNGRPS2J4bDBxVWQ5Y0FiYkhnLTRldFR1N0htWjdzYUNhaWIxRUgzU3lJOWVMSSQg CgoKSU1QT1JUQU5UIERBVEVTCi0tLS0tLS0tLS0tLS0tLQpBbGwgZGVhZGxpbmVzIGFyZSBtaWRu aWdodCBhbnl3aGVyZS1vbi1lYXJ0aCAoQW9FKTsgbGF0ZSBzdWJtaXNzaW9ucyAKd2lsbCBub3Qg YmUgY29uc2lkZXJlZC4KCiAgICAgICAgIEFic3RyYWN0OiAgICAgICBGZWJydWFyeSA1LCAyMDI0 CiAgICAgICAgIFN1Ym1pc3Npb246ICAgICBGZWJydWFyeSAxMiwgMjAyNAogICAgICAgICBSZWJ1 dHRhbDogICAgICAgQXByaWwgMi02LCAyMDI0CiAgICAgICAgIE5vdGlmaWNhdGlvbjogICBBcHJp bCAyMiwgMjAyNAogICAgICAgICBGaW5hbCB2ZXJzaW9uOiAgTWF5IDYsIDIwMjQKCgpJTlZJVEVE IFNQRUFLRVJTCi0tLS0tLS0tLS0tLS0tLS0KRGVsaWEgS2VzbmVyLCBVbml2ZXJzaXTDqSBQYXJp cyBDaXTDqQpTdGVwaGFuaWUgV2VpcmljaCwgVVBlbm4gKGpvaW50IHcvIElDQUxQIGFuZCBMSUNT KQpTZWJhc3RpYW4gVWxscmljaCwgTEVBTiBGb2N1c2VkIFJlc2VhcmNoIE9yZ2FuaXNhdGlvbgpO Lk4uIChUQkEpCgoKT1ZFUlZJRVcKLS0tLS0tLS0KRlNDRCAoaHR0cHM6Ly91cmxkZWZlbnNlLmNv bS92My9fX2h0dHBzOi8vZnNjZC1jb25mZXJlbmNlLm9yZy9fXzshIUlCeldMVXMhU3BxVzlzeURm WVhIa19SMEFIUlJGdlFURmdpX2Z2aGF3R2tmQ29wekJ5cVM0MTFMUDRkT0tieGwwcVVkOWNBYmJI Zy00ZXRUdTdIbVo3c2FDYWliMUVIM0xDTFRkOW8kICkgY292ZXJzIGFsbCBhc3BlY3RzIG9mIGZv cm1hbCAKc3RydWN0dXJlcyBmb3IgY29tcHV0YXRpb24gYW5kIGRlZHVjdGlvbiBmcm9tIHRoZW9y ZXRpY2FsIGZvdW5kYXRpb25zIHRvIAphcHBsaWNhdGlvbnMuIEJ1aWxkaW5nIG9uIHR3byBjb21t dW5pdGllcywgUlRBIChSZXdyaXRpbmcgVGVjaG5pcXVlcyBhbmQgCkFwcGxpY2F0aW9ucykgYW5k IFRMQ0EgKFR5cGVkIExhbWJkYSBDYWxjdWxpIGFuZCBBcHBsaWNhdGlvbnMpLCBGU0NEIAplbWJy YWNlcyB0aGVpciBjb3JlIHRvcGljcyBhbmQgYnJvYWRlbnMgdGhlaXIgc2NvcGUgdG8gY2xvc2Vs eSByZWxhdGVkIAphcmVhcyBpbiBsb2dpYywgbW9kZWxzIG9mIGNvbXB1dGF0aW9uLCBzZW1hbnRp Y3MgYW5kIHZlcmlmaWNhdGlvbiBpbiBuZXcgCmNoYWxsZW5naW5nIGFyZWFzLgoKVGhlIHN1Z2dl c3RlZCwgYnV0IG5vdCBleGNsdXNpdmUsIGxpc3Qgb2YgdG9waWNzIGZvciBzdWJtaXNzaW9uIGlz OgoKMS4gQ2FsY3VsaToKICAtIFJld3JpdGluZyBzeXN0ZW1zIChzdHJpbmcsIHRlcm0sIGhpZ2hl ci1vcmRlciwgZ3JhcGgsIGNvbmRpdGlvbmFsLCAKbW9kdWxvLCBpbmZpbml0YXJ5LCBldGMuKTsK ICAtIExhbWJkYSBjYWxjdWx1czsKICAtIExvZ2ljcyAoZmlyc3Qtb3JkZXIsIGhpZ2hlci1vcmRl ciwgZXF1YXRpb25hbCwgbW9kYWwsIGxpbmVhciwgCmNsYXNzaWNhbCwgY29uc3RydWN0aXZlLCBl dGMuKTsKICAtIFByb29mIHRoZW9yeSAobmF0dXJhbCBkZWR1Y3Rpb24sIHNlcXVlbnQgY2FsY3Vs dXMsIHByb29mIG5ldHMsIGV0Yy4pOwogIC0gVHlwZSB0aGVvcnkgYW5kIGxvZ2ljYWwgZnJhbWV3 b3JrczsKICAtIEhvbW90b3B5IHR5cGUgdGhlb3J5OwogIC0gUHJvY2VzcyBhbGdlYnJhcyAoc3lu Y2hyb25vdXMsIGFzeW5jaHJvbm91cywgc3RhdGljIGFuZCBkeW5hbWljIApzZW1hbnRpY3Mgd2l0 aCBhbmQgd2l0aG91dCB0aW1lLCBldGMuKTsKICAtIFF1YW50dW0gY2FsY3VsaS4KCjIuIE1ldGhv ZHMgaW4gQ29tcHV0YXRpb24gYW5kIERlZHVjdGlvbjoKICAtIFR5cGUgc3lzdGVtcyAocG9seW1v cnBoaXNtLCBkZXBlbmRlbnQsIHJlY3Vyc2l2ZSwgaW50ZXJzZWN0aW9uLCAKc2Vzc2lvbiwgZXRj Lik7CiAgLSBJbmR1Y3Rpb24sIGNvaW5kdWN0aW9uOwogIC0gTWF0Y2hpbmcsIHVuaWZpY2F0aW9u LCBjb21wbGV0aW9uLCBvcmRlcmluZ3M7CiAgLSBTdHJhdGVnaWVzIChub3JtYWxpemF0aW9uLCBj b21wbGV0ZW5lc3MsIGV0Yy4pOwogIC0gVHJlZSBhdXRvbWF0YTsKICAtIE1vZGVsIGJ1aWxkaW5n IGFuZCBtb2RlbCBjaGVja2luZzsKICAtIFByb29mIHNlYXJjaCBhbmQgdGhlb3JlbSBwcm92aW5n OwogIC0gQ29uc3RyYWludCBzb2x2aW5nIGFuZCBkZWNpc2lvbiBwcm9jZWR1cmVzLgoKMy4gU2Vt YW50aWNzOgogIC0gT3BlcmF0aW9uYWwgc2VtYW50aWNzIGFuZCBhYnN0cmFjdCBtYWNoaW5lczsK ICAtIEdhbWUgU2VtYW50aWNzIGFuZCBhcHBsaWNhdGlvbnM7CiAgLSBEb21haW4gdGhlb3J5IGFu ZCBjYXRlZ29yaWNhbCBtb2RlbHM7CiAgLSBRdWFudGl0YXRpdmUgbW9kZWxzICh0aW1pbmcsIHBy b2JhYmlsaXRpZXMsIGV0Yy4pOwogIC0gUXVhbnR1bSBjb21wdXRhdGlvbiBhbmQgZW1lcmdpbmcg bW9kZWxzIGluIGNvbXB1dGF0aW9uLgoKNC4gQWxnb3JpdGhtaWMgQW5hbHlzaXMgYW5kIFRyYW5z Zm9ybWF0aW9ucyBvZiBGb3JtYWwgU3lzdGVtczoKICAtIFR5cGUgaW5mZXJlbmNlIGFuZCB0eXBl IGNoZWNraW5nOwogIC0gQWJzdHJhY3QgSW50ZXJwcmV0YXRpb247CiAgLSBDb21wbGV4aXR5IGFu YWx5c2lzIGFuZCBpbXBsaWNpdCBjb21wdXRhdGlvbmFsIGNvbXBsZXhpdHk7CiAgLSBDaGVja2lu ZyB0ZXJtaW5hdGlvbiwgY29uZmx1ZW5jZSwgZGVyaXZhdGlvbmFsIGNvbXBsZXhpdHkgYW5kIApy ZWxhdGVkIHByb3BlcnRpZXM7CiAgLSBTeW1ib2xpYyBjb21wdXRhdGlvbi4KCjUuIFRvb2xzIGFu ZCBBcHBsaWNhdGlvbnM6CiAgLSBQcm9ncmFtbWluZyBhbmQgcHJvb2YgZW52aXJvbm1lbnRzOwog IC0gVmVyaWZpY2F0aW9uIHRvb2xzOwogIC0gUHJvb2YgYXNzaXN0YW50cyBhbmQgaW50ZXJhY3Rp dmUgdGhlb3JlbSBwcm92ZXJzOwogIC0gQXBwbGljYXRpb25zIGluIGluZHVzdHJ5OwogIC0gQXBw bGljYXRpb25zIG9mIGZvcm1hbCBzeXN0ZW1zIGluIG90aGVyIHNjaWVuY2VzOwogIC0gQXBwbGlj YXRpb25zIG9mIGZvcm1hbCBzeXN0ZW1zIGluIGVkdWNhdGlvbi4KCjYuIEZvcm1hbCBTeXN0ZW1z IGZvciBTZW1hbnRpY3MgYW5kIFZlcmlmaWNhdGlvbiBpbiBuZXcgY2hhbGxlbmdpbmcgYXJlYXM6 CiAgLSBDZXJ0aWZpY2F0aW9uOwogIC0gU2VjdXJpdHk7CiAgLSBCbG9ja2NoYWluIHByb3RvY29s czsKICAtIERhdGEgYmFzZXM7CiAgLSBEZWVwIGxlYXJuaW5nIGFuZCBtYWNoaW5lIGxlYXJuaW5n IGFsZ29yaXRobXM7CiAgLSBQbGFubmluZy4KClBVQkxJQ0FUSU9OCi0tLS0tLS0tLS0tClRoZSBw cm9jZWVkaW5ncyB3aWxsIGJlIHB1Ymxpc2hlZCBhcyBhbiBlbGVjdHJvbmljIHZvbHVtZSBpbiB0 aGUgTGVpYm5peiAKSW50ZXJuYXRpb25hbCBQcm9jZWVkaW5ncyBpbiBJbmZvcm1hdGljcyAoTElQ SWNzKSBvZiBTY2hsb3NzIERhZ3N0dWhsLiAKQWxsIExJUEljcyBwcm9jZWVkaW5ncyBhcmUgb3Bl biBhY2Nlc3MuCgpTUEVDSUFMIElTU1VFCi0tLS0tLS0tLS0tLS0KQXV0aG9ycyBvZiBzZWxlY3Rl ZCBwYXBlcnMgd2lsbCBiZSBpbnZpdGVkIHRvIHN1Ym1pdCBhbiBleHRlbmRlZCB2ZXJzaW9uIAp0 byBhIHNwZWNpYWwgaXNzdWUgb2YgTG9naWNhbCBNZXRob2RzIGluIENvbXB1dGVyIFNjaWVuY2Us IG9yIHRvIFRoZW9yZXRpQ1MuCgpTVUJNSVNTSU9OIEdVSURFTElORVMKLS0tLS0tLS0tLS0tLS0t LS0tLS0tClRoZSBzdWJtaXNzaW9uIHNpdGUgaXM6CgogICAgaHR0cHM6Ly91cmxkZWZlbnNlLmNv bS92My9fX2h0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1mc2NkMjAyNF9f OyEhSUJ6V0xVcyFTcHFXOXN5RGZZWEhrX1IwQUhSUkZ2UVRGZ2lfZnZoYXdHa2ZDb3B6QnlxUzQx MUxQNGRPS2J4bDBxVWQ5Y0FiYkhnLTRldFR1N0htWjdzYUNhaWIxRUgzY0FMRWlLWSQgCgpTdWJt aXNzaW9ucyBtdXN0IGJlIGZvcm1hdHRlZCB1c2luZyB0aGUgTElQSWNzIHN0eWxlIGZpbGVzIAoo aHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vc3VibWlzc2lvbi5kYWdzdHVobC5k ZS9zZXJpZXMvZGV0YWlscy81KmF1dGhvcl9fO0l3ISFJQnpXTFVzIVNwcVc5c3lEZllYSGtfUjBB SFJSRnZRVEZnaV9mdmhhd0drZkNvcHpCeXFTNDExTFA0ZE9LYnhsMHFVZDljQWJiSGctNGV0VHU3 SG1aN3NhQ2FpYjFFSDNsSXZnN2kwJCApIGFuZCBzdWJtaXR0ZWQgCnZpYSBFYXN5Q2hhaXIuCgpT dWJtaXNzaW9ucyBjYW4gYmUgbWFkZSBpbiB0d28gY2F0ZWdvcmllcy4gUmVndWxhciByZXNlYXJj aCBwYXBlcnMgYXJlIApsaW1pdGVkIHRvIDE1IHBhZ2VzLCBleGNsdWRpbmcgcmVmZXJlbmNlcyBh bmQgYXBwZW5kaWNlcy4gVGhleSBtdXN0IApwcmVzZW50IG9yaWdpbmFsIHJlc2VhcmNoIHdoaWNo IGlzIHVucHVibGlzaGVkIGFuZCBub3Qgc3VibWl0dGVkIAplbHNld2hlcmUuIFN5c3RlbSBkZXNj cmlwdGlvbnMgYXJlIGxpbWl0ZWQgdG8gMTUgcGFnZXMsIGV4Y2x1ZGluZyAKcmVmZXJlbmNlcy4g U2hvcnRlciBwYXBlcnMgYXJlIHdlbGNvbWUgYW5kIHdpbGwgYmUgZ2l2ZW4gZXF1YWwgCmNvbnNp ZGVyYXRpb24uCkEgc3lzdGVtIGRlc2NyaXB0aW9uIG11c3QgcHJlc2VudCBuZXcgc29mdHdhcmUg dG9vbHMsIG9yIHNpZ25pZmljYW50bHkgCm5ldyB2ZXJzaW9ucyBvZiBzdWNoIHRvb2xzLCBpbiB3 aGljaCBGU0NEIHRvcGljcyBwbGF5IGFuIGltcG9ydGFudCByb2xlLiAKQW4gYXJjaGl2ZSBvZiB0 aGUgY29kZSB3aXRoIGluc3RydWN0aW9ucyBvbiBob3cgdG8gaW5zdGFsbCBhbmQgcnVuIHRoZSAK dG9vbCBtdXN0IGJlIHN1Ym1pdHRlZC4gSW4gYWRkaXRpb24sIGEgd2VicGFnZSB3aGVyZSB0aGUg c3lzdGVtIGNhbiBiZSAKZXhwZXJpbWVudGVkIHdpdGggc2hvdWxkIGJlIHByb3ZpZGVkLgoKT25l IGF1dGhvciBvZiBlYWNoIGFjY2VwdGVkIHBhcGVyIGlzIGV4cGVjdGVkIHRvIHJlZ2lzdGVyIGFu ZCBwcmVzZW50IAp0aGUgd29yayBpbiBwZXJzb24gYXQgdGhlIGNvbmZlcmVuY2UuIEFsdGVybmF0 aXZlbHkgdG8gaW4tcGVyc29uIApwcmVzZW50YXRpb24sIGFsc28gb25saW5lIHByZXNlbnRhdGlv biBpcyBwb3NzaWJsZSwgYnV0IGluLXBlcnNvbiAKcmVnaXN0cmF0aW9uIGJ5IGF0IGxlYXN0IG9u ZSBhdXRob3Igd2lsbCBzdGlsbCBiZSByZXF1aXJlZC4KCgpCRVNUIFBBUEVSIEFXQVJEIEJZIEpV TklPUiBSRVNFQVJDSEVSUwotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQpU aGUgcHJvZ3JhbSBjb21taXR0ZWUgd2lsbCBzZWxlY3QgYSBwYXBlciBpbiB3aGljaCBhdCBsZWFz dCBvbmUgYXV0aG9yIAppcyBhIGp1bmlvciByZXNlYXJjaGVyLCBpLmUuIGVpdGhlciBhIHN0dWRl bnQgb3Igd2hvc2UgUGhEIGF3YXJkIGRhdGUgaXMgCmxlc3MgdGhhbiB0aHJlZSB5ZWFycyBmcm9t IHRoZSBmaXJzdCBkYXkgb2YgdGhlIG1lZXRpbmcuIFdoZW4gc3VibWl0dGluZyAKdGhlIHBhcGVy LCBvdGhlciBhdXRob3JzIHNob3VsZCBkZWNsYXJlIHRvIHRoZSBQQyBDaGFpciB0aGF0IGF0IGxl YXN0IAo1MCUgb2YgY29udHJpYnV0aW9uIGlzIG1hZGUgYnkgdGhlIGp1bmlvciByZXNlYXJjaGVy KHMpLgoKUFJPR1JBTSBDT01NSVRURUUgQ0hBSVIKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KSmFr b2IgUmVob2YsIFRVIERvcnRtdW5kIFVuaXZlcnNpdHkKRW1haWw6IGZzY2QyMDI0IGF0IGVhc3lj aGFpci5vcmcKClBST0dSQU0gQ09NTUlUVEVFCi0tLS0tLS0tLS0tLS0tLS0tClRob3JzdGVuIEFs dGVua2lyY2gsIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbQpTYW5kcmEgQWx2ZXMsIFVuaXZlcnNp dHkgb2YgUG9ydG8KVGFrYWhpdG8gQW90bywgTmlpZ2F0YSBVbml2ZXJzaXR5Ck1hdXJpY2lvIEF5 YWxhLVJpbmPDs24sIEJyYXNpbGlhIFVuaXZlcnNpdHkKU3RlcGhhbmllIEJhbHplciwgQ01VClRo aWVycnkgQ29xdWFuZCwgVW5pdmVyc2l0eSBvZiBHb3RoZW5idXJnCkFsZWphbmRybyBEw61hei1D YXJvLCBRdWlsbWVzIE5hdGlvbmFsIFVuaXZlcnNpdHkgJiBDT05JQ0VULUJ1ZW5vcyBBaXJlcyAK VW5pdmVyc2l0eQpDbGF1ZGlhIEZhZ2dpYW4sIENOUlMsIFVuaXZlcnNpdMOpIGRlIFBhcmlzClNp bHZpYSBHaGlsZXphbiwgVW5pdmVyc2l0eSBvZiBOb3ZpIFNhZApTaW1vbiBHYXksIFVuaXZlcnNp dHkgb2YgR2xhc2dvdwpDZXphcnkgS2FsaXN6eWssIFVuaXZlcnNpdHkgb2YgSW5uc2JydWNrCkFt YnJ1cyBLYXBvc2ksIEXDtnR2w7ZzIExvcsOhbmQgVW5pdmVyc2l0eSwgQnVkYXBlc3QKRGV4dGVy IEtvemVuLCBDb3JuZWxsIFVuaXZlcnNpdHkKRG9taW5pcXVlIExhcmNoZXktV2VuZGxpbmcsIENO UlMsIExvcmlhCk1hcmluYSBMZW5pc2EsIFVuaXZlcnNpdHkgb2YgVWRpbmUKU29uaWEgTWFyaW4s IFVuaXZlcnNpdHkgb2YgQmlybWluZ2hhbQpOYW9raSBOaXNoaWRhLCBOYWdveWEgVW5pdmVyc2l0 eQpDaHJpc3RpbmUgUGF1bGluLU1vaHJpbmcsIFBhcmlzLVNhY2xheSBVbml2ZXJzaXR5ClBpZXJy ZS1NYXJpZSBQw6lkcm90LCBJbnJpYSBSZW5uZXMtQnJldGFnbmUtQXRsYW50aXF1ZQpFbGFpbmUg UGltZW50ZWwsIFVuaXZlcnNpdHkgQ29sbGVnZSBMb25kb24KSmFrb2IgUmVob2YgKENoYWlyKSwg VFUgRG9ydG11bmQgVW5pdmVyc2l0eQpTaW1vbmEgUm9uY2hpIGRlbGxhIFJvY2NhLCBVbml2ZXJz aXR5IG9mIFRvcmlubwpTeWx2YWluIFNjaG1pdHosIFVuaXZlcnNpdMOpIFBhcmlzIENpdMOpCkFs ZWtzeSBTY2h1YmVydCwgVW5pdmVyc2l0eSBvZiBXYXJzYXcKSmFrb2IgR3J1ZSBTaW1vbnNlbiwg VW5pdmVyc2l0eSBvZiBDb3BlbmhhZ2VuCkthdGhyaW4gU3RhcmssIEhlcmlvdC1XYXR0IFVuaXZl cnNpdHksIEVkaW5idXJnaApMdXR6IFN0cmHDn2J1cmdlciwgSW5yaWEgU2FjbGF5ClRhY2hpbyBU ZXJhdWNoaSwgV2FzZWRhIFVuaXZlcnNpdHkKU2FyYWggV2lua2xlciwgRnJlZSBVbml2ZXJzaXR5 IG9mIEJvbHphbm8KCgpDT05GRVJFTkNFIENIQUlSCi0tLS0tLS0tLS0tLS0tLS0KTmljY29sw7Ig VmVsdHJpLCBUYWxsaW5uIFVuaXZlcnNpdHkgb2YgVGVjaG5vbG9neQoKV09SS1NIT1AgQ0hBSVIK LS0tLS0tLS0tLS0tLS0KTHVpZ2kgTGlxdW9yaSwgSW5yaWEKClNURUVSSU5HIENPTU1JVFRFRSBX T1JLU0hPUCBDSEFJUgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQpDeW50aGlhIEtv cCwgUmFkYm91ZCBVbml2ZXJzaXR5IE5pam1lZ2VuCgpQVUJMSUNJVFkgQ0hBSVIKLS0tLS0tLS0t LS0tLS0tCkNhcnN0ZW4gRnVocywgQmlya2JlY2ssIFVuaXZlcnNpdHkgb2YgTG9uZG9uCgpGU0NE IFNURUVSSU5HIENPTU1JVFRFRQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQpIZXJtYW4gR2V1dmVy cyAoQ2hhaXIpLCBSYWRib3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4KUGF0cmljayBCYWlsbG90LCBD TlJTLCBVbml2ZXJzaXTDqSBkZSBMaWxsZQpBbGVqYW5kcm8gRMOtYXotQ2FybywgUXVpbG1lcyBO YXRpb25hbCBVbml2ZXJzaXR5ICYgQ09OSUNFVC1CdWVub3MgQWlyZXMgClVuaXZlcnNpdHkKQW15 IEZlbHR5LCBVbml2ZXJzaXR5IG9mIE90dGF3YQpDYXJzdGVuIEZ1aHMsIEJpcmtiZWNrLCBVbml2 ZXJzaXR5IG9mIExvbmRvbgpNYXJjbyBHYWJvYXJkaSwgQm9zdG9uIFVuaXZlcnNpdHkKSsO8cmdl biBHaWVzbCwgUldUSCBBYWNoZW4gVW5pdmVyc2l0eQpEZWxpYSBLZXNuZXIsIFVuaXZlcnNpdMOp IFBhcmlzIENpdMOpCk5hb2tpIEtvYmF5YXNoaSwgVW5pdmVyc2l0eSBvZiBUb2t5bwpDeW50aGlh IEtvcCwgUmFkYm91ZCBVbml2ZXJzaXR5IE5pam1lZ2VuCkx1aWdpIExpcXVvcmksIElucmlhCkdp dWxpbyBNYW56b25ldHRvLCBVbml2ZXJzaXTDqSBQYXJpcy1Ob3JkCkRhbmllbGUgTmFudGVzLCBJ bXBlcmlhbCBDb2xsZWdlIExvbmRvbiAvIFVuaXZlcnNpdHkgb2YgQnJhc2lsaWEKRmVta2UgdmFu IFJhYW1zZG9uaywgVnJpamUgVW5pdmVyc2l0ZWl0IEFtc3RlcmRhbQo=