FSCD 2024: Extended deadline (Abstract: February 12/ Submission: February 19)
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> Tue, 6 Feb 2024 18:29:41 +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 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09ClVw ZGF0ZWQgaW5mb3JtYXRpb24gb246IEVYVEVOREVEIERFQURMSU5FUywgaW52aXRlZCBzcGVha2Vy cwo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT0KCiAgICAgICAgICAgICAgICAgICAgICAgICAgRklOQUwgQ0FMTCBGT1IgUEFQRVJTCiAg ICAgICAgICAgICAgICAgICAgTmludGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uCiAgICAg ICBGb3JtYWwgU3RydWN0dXJlcyBmb3IgQ29tcHV0YXRpb24gYW5kIERlZHVjdGlvbiAoRlNDRCAy MDI0KQogICAgICAgICAgICAgICAgICAgIEp1bHkgMTAtMTMsIDIwMjQsIFRhbGxpbm4sIEVzdG9u aWEKICAgICAgICAgICAgICAgICAgICAgaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBz Oi8vZnNjZC1jb25mZXJlbmNlLm9yZy8yMDI0X187ISFJQnpXTFVzIVJRVmZSckpKTklEbFlzYlp1 YWhOaURZLW5IdGx5cGJiY0tyM2EyQm1DN0duY19xVUk4TVdHU2pSa2FDRGQ4YWk4cjEtQ3B2dnBO SEp0TzZLR3RjeE1zUVM0YS1UYktBJCAKCiAgICAgICBGU0NEIDIwMjQgd2lsbCBiZSBjby1sb2Nh dGVkIHdpdGggSUNBTFAgMjAyNCBhbmQgTElDUyAyMDI0LgogICAgICAgICAgICAgICAgICAgICBo dHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9jb21wb3NlLmlvYy5lZS9pY2FscDIw MjQvX187ISFJQnpXTFVzIVJRVmZSckpKTklEbFlzYlp1YWhOaURZLW5IdGx5cGJiY0tyM2EyQm1D N0duY19xVUk4TVdHU2pSa2FDRGQ4YWk4cjEtQ3B2dnBOSEp0TzZLR3RjeE1zUVNuajlhZm1RJCAK ICAgICAgICAgICAgICAgICAgICAgIGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczov L2xpY3Muc2lnbG9nLm9yZy9saWNzMjQvX187ISFJQnpXTFVzIVJRVmZSckpKTklEbFlzYlp1YWhO aURZLW5IdGx5cGJiY0tyM2EyQm1DN0duY19xVUk4TVdHU2pSa2FDRGQ4YWk4cjEtQ3B2dnBOSEp0 TzZLR3RjeE1zUVNSR21faWswJCAKCgpJTVBPUlRBTlQgREFURVMKLS0tLS0tLS0tLS0tLS0tCkR1 ZSB0byBhIG51bWJlciBvZiByZXF1ZXN0cywgc3VibWlzc2lvbiBkZWFkbGluZXMgd2lsbCBiZSBl eHRlbmRlZCBmb3IgCkZTQ0QgMjAyNCBhcyBmb2xsb3dzOgoKICAgICAgICAgQWJzdHJhY3Q6ICAg ICAgIEZlYnJ1YXJ5IDEyLCAyMDI0ICoqKiBleHRlbmRlZAogICAgICAgICBTdWJtaXNzaW9uOiAg ICAgRmVicnVhcnkgMTksIDIwMjQgKioqIGV4dGVuZGVkCiAgICAgICAgIFJlYnV0dGFsOiAgICAg ICBBcHJpbCAyLTYsIDIwMjQKICAgICAgICAgTm90aWZpY2F0aW9uOiAgIEFwcmlsIDIyLCAyMDI0 CiAgICAgICAgIEZpbmFsIHZlcnNpb246ICBNYXkgNiwgMjAyNAoKQWxsIGRlYWRsaW5lcyBhcmUg bWlkbmlnaHQgYW55d2hlcmUtb24tZWFydGggKEFvRSk7IGxhdGUgc3VibWlzc2lvbnMgCndpbGwg bm90IGJlIGNvbnNpZGVyZWQuCgoKSU5WSVRFRCBTUEVBS0VSUwotLS0tLS0tLS0tLS0tLS0tCkRl bGlhIEtlc25lciwgVW5pdmVyc2l0w6kgUGFyaXMgQ2l0w6kKQmV0dGluYSBLw7ZuaWdob2Zlciwg VFUgR3JhegpTZWJhc3RpYW4gVWxscmljaCwgTEVBTiBGb2N1c2VkIFJlc2VhcmNoIE9yZ2FuaXNh dGlvbgpTdGVwaGFuaWUgV2VpcmljaCwgVVBlbm4gKGpvaW50IHcvIElDQUxQIGFuZCBMSUNTKQoK Ck9WRVJWSUVXCi0tLS0tLS0tCkZTQ0QgKGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRw czovL2ZzY2QtY29uZmVyZW5jZS5vcmcvX187ISFJQnpXTFVzIVJRVmZSckpKTklEbFlzYlp1YWhO aURZLW5IdGx5cGJiY0tyM2EyQm1DN0duY19xVUk4TVdHU2pSa2FDRGQ4YWk4cjEtQ3B2dnBOSEp0 TzZLR3RjeE1zUVN1UnlpMEJVJCApIGNvdmVycyBhbGwgYXNwZWN0cyBvZiBmb3JtYWwgCnN0cnVj dHVyZXMgZm9yIGNvbXB1dGF0aW9uIGFuZCBkZWR1Y3Rpb24gZnJvbSB0aGVvcmV0aWNhbCBmb3Vu ZGF0aW9ucyB0byAKYXBwbGljYXRpb25zLiBCdWlsZGluZyBvbiB0d28gY29tbXVuaXRpZXMsIFJU QSAoUmV3cml0aW5nIFRlY2huaXF1ZXMgYW5kIApBcHBsaWNhdGlvbnMpIGFuZCBUTENBIChUeXBl ZCBMYW1iZGEgQ2FsY3VsaSBhbmQgQXBwbGljYXRpb25zKSwgRlNDRCAKZW1icmFjZXMgdGhlaXIg Y29yZSB0b3BpY3MgYW5kIGJyb2FkZW5zIHRoZWlyIHNjb3BlIHRvIGNsb3NlbHkgcmVsYXRlZCAK YXJlYXMgaW4gbG9naWMsIG1vZGVscyBvZiBjb21wdXRhdGlvbiwgc2VtYW50aWNzIGFuZCB2ZXJp ZmljYXRpb24gaW4gbmV3IApjaGFsbGVuZ2luZyBhcmVhcy4KClRoZSBzdWdnZXN0ZWQsIGJ1dCBu b3QgZXhjbHVzaXZlLCBsaXN0IG9mIHRvcGljcyBmb3Igc3VibWlzc2lvbiBpczoKCjEuIENhbGN1 bGk6CiAgLSBSZXdyaXRpbmcgc3lzdGVtcyAoc3RyaW5nLCB0ZXJtLCBoaWdoZXItb3JkZXIsIGdy YXBoLCBjb25kaXRpb25hbCwgCm1vZHVsbywgaW5maW5pdGFyeSwgZXRjLik7CiAgLSBMYW1iZGEg Y2FsY3VsdXM7CiAgLSBMb2dpY3MgKGZpcnN0LW9yZGVyLCBoaWdoZXItb3JkZXIsIGVxdWF0aW9u YWwsIG1vZGFsLCBsaW5lYXIsIApjbGFzc2ljYWwsIGNvbnN0cnVjdGl2ZSwgZXRjLik7CiAgLSBQ cm9vZiB0aGVvcnkgKG5hdHVyYWwgZGVkdWN0aW9uLCBzZXF1ZW50IGNhbGN1bHVzLCBwcm9vZiBu ZXRzLCBldGMuKTsKICAtIFR5cGUgdGhlb3J5IGFuZCBsb2dpY2FsIGZyYW1ld29ya3M7CiAgLSBI b21vdG9weSB0eXBlIHRoZW9yeTsKICAtIFByb2Nlc3MgYWxnZWJyYXMgKHN5bmNocm9ub3VzLCBh c3luY2hyb25vdXMsIHN0YXRpYyBhbmQgZHluYW1pYyAKc2VtYW50aWNzIHdpdGggYW5kIHdpdGhv dXQgdGltZSwgZXRjLik7CiAgLSBRdWFudHVtIGNhbGN1bGkuCgoyLiBNZXRob2RzIGluIENvbXB1 dGF0aW9uIGFuZCBEZWR1Y3Rpb246CiAgLSBUeXBlIHN5c3RlbXMgKHBvbHltb3JwaGlzbSwgZGVw ZW5kZW50LCByZWN1cnNpdmUsIGludGVyc2VjdGlvbiwgCnNlc3Npb24sIGV0Yy4pOwogIC0gSW5k dWN0aW9uLCBjb2luZHVjdGlvbjsKICAtIE1hdGNoaW5nLCB1bmlmaWNhdGlvbiwgY29tcGxldGlv biwgb3JkZXJpbmdzOwogIC0gU3RyYXRlZ2llcyAobm9ybWFsaXphdGlvbiwgY29tcGxldGVuZXNz LCBldGMuKTsKICAtIFRyZWUgYXV0b21hdGE7CiAgLSBNb2RlbCBidWlsZGluZyBhbmQgbW9kZWwg Y2hlY2tpbmc7CiAgLSBQcm9vZiBzZWFyY2ggYW5kIHRoZW9yZW0gcHJvdmluZzsKICAtIENvbnN0 cmFpbnQgc29sdmluZyBhbmQgZGVjaXNpb24gcHJvY2VkdXJlcy4KCjMuIFNlbWFudGljczoKICAt IE9wZXJhdGlvbmFsIHNlbWFudGljcyBhbmQgYWJzdHJhY3QgbWFjaGluZXM7CiAgLSBHYW1lIFNl bWFudGljcyBhbmQgYXBwbGljYXRpb25zOwogIC0gRG9tYWluIHRoZW9yeSBhbmQgY2F0ZWdvcmlj YWwgbW9kZWxzOwogIC0gUXVhbnRpdGF0aXZlIG1vZGVscyAodGltaW5nLCBwcm9iYWJpbGl0aWVz LCBldGMuKTsKICAtIFF1YW50dW0gY29tcHV0YXRpb24gYW5kIGVtZXJnaW5nIG1vZGVscyBpbiBj b21wdXRhdGlvbi4KCjQuIEFsZ29yaXRobWljIEFuYWx5c2lzIGFuZCBUcmFuc2Zvcm1hdGlvbnMg b2YgRm9ybWFsIFN5c3RlbXM6CiAgLSBUeXBlIGluZmVyZW5jZSBhbmQgdHlwZSBjaGVja2luZzsK ICAtIEFic3RyYWN0IEludGVycHJldGF0aW9uOwogIC0gQ29tcGxleGl0eSBhbmFseXNpcyBhbmQg aW1wbGljaXQgY29tcHV0YXRpb25hbCBjb21wbGV4aXR5OwogIC0gQ2hlY2tpbmcgdGVybWluYXRp b24sIGNvbmZsdWVuY2UsIGRlcml2YXRpb25hbCBjb21wbGV4aXR5IGFuZCAKcmVsYXRlZCBwcm9w ZXJ0aWVzOwogIC0gU3ltYm9saWMgY29tcHV0YXRpb24uCgo1LiBUb29scyBhbmQgQXBwbGljYXRp b25zOgogIC0gUHJvZ3JhbW1pbmcgYW5kIHByb29mIGVudmlyb25tZW50czsKICAtIFZlcmlmaWNh dGlvbiB0b29sczsKICAtIFByb29mIGFzc2lzdGFudHMgYW5kIGludGVyYWN0aXZlIHRoZW9yZW0g cHJvdmVyczsKICAtIEFwcGxpY2F0aW9ucyBpbiBpbmR1c3RyeTsKICAtIEFwcGxpY2F0aW9ucyBv ZiBmb3JtYWwgc3lzdGVtcyBpbiBvdGhlciBzY2llbmNlczsKICAtIEFwcGxpY2F0aW9ucyBvZiBm b3JtYWwgc3lzdGVtcyBpbiBlZHVjYXRpb24uCgo2LiBGb3JtYWwgU3lzdGVtcyBmb3IgU2VtYW50 aWNzIGFuZCBWZXJpZmljYXRpb24gaW4gbmV3IGNoYWxsZW5naW5nIGFyZWFzOgogIC0gQ2VydGlm aWNhdGlvbjsKICAtIFNlY3VyaXR5OwogIC0gQmxvY2tjaGFpbiBwcm90b2NvbHM7CiAgLSBEYXRh IGJhc2VzOwogIC0gRGVlcCBsZWFybmluZyBhbmQgbWFjaGluZSBsZWFybmluZyBhbGdvcml0aG1z OwogIC0gUGxhbm5pbmcuCgpQVUJMSUNBVElPTgotLS0tLS0tLS0tLQpUaGUgcHJvY2VlZGluZ3Mg d2lsbCBiZSBwdWJsaXNoZWQgYXMgYW4gZWxlY3Ryb25pYyB2b2x1bWUgaW4gdGhlIExlaWJuaXog CkludGVybmF0aW9uYWwgUHJvY2VlZGluZ3MgaW4gSW5mb3JtYXRpY3MgKExJUEljcykgb2YgU2No bG9zcyBEYWdzdHVobC4gCkFsbCBMSVBJY3MgcHJvY2VlZGluZ3MgYXJlIG9wZW4gYWNjZXNzLgoK U1BFQ0lBTCBJU1NVRQotLS0tLS0tLS0tLS0tCkF1dGhvcnMgb2Ygc2VsZWN0ZWQgcGFwZXJzIHdp bGwgYmUgaW52aXRlZCB0byBzdWJtaXQgYW4gZXh0ZW5kZWQgdmVyc2lvbiAKdG8gYSBzcGVjaWFs IGlzc3VlIG9mIExvZ2ljYWwgTWV0aG9kcyBpbiBDb21wdXRlciBTY2llbmNlLCBvciB0byBUaGVv cmV0aUNTLgoKU1VCTUlTU0lPTiBHVUlERUxJTkVTCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQpUaGUg c3VibWlzc2lvbiBzaXRlIGlzOgoKICAgIGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRw czovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9ZnNjZDIwMjRfXzshIUlCeldMVXMh UlFWZlJySkpOSURsWXNiWnVhaE5pRFktbkh0bHlwYmJjS3IzYTJCbUM3R25jX3FVSThNV0dTalJr YUNEZDhhaThyMS1DcHZ2cE5ISnRPNktHdGN4TXNRU1FjWUNnYkUkIAoKU3VibWlzc2lvbnMgbXVz dCBiZSBmb3JtYXR0ZWQgdXNpbmcgdGhlIExJUEljcyBzdHlsZSBmaWxlcyAKKGh0dHBzOi8vdXJs ZGVmZW5zZS5jb20vdjMvX19odHRwczovL3N1Ym1pc3Npb24uZGFnc3R1aGwuZGUvc2VyaWVzL2Rl dGFpbHMvNSphdXRob3JfXztJdyEhSUJ6V0xVcyFSUVZmUnJKSk5JRGxZc2JadWFoTmlEWS1uSHRs eXBiYmNLcjNhMkJtQzdHbmNfcVVJOE1XR1NqUmthQ0RkOGFpOHIxLUNwdnZwTkhKdE82S0d0Y3hN c1FTMERtVVA4dyQgKSBhbmQgc3VibWl0dGVkIAp2aWEgRWFzeUNoYWlyLgoKU3VibWlzc2lvbnMg Y2FuIGJlIG1hZGUgaW4gdHdvIGNhdGVnb3JpZXMuIFJlZ3VsYXIgcmVzZWFyY2ggcGFwZXJzIGFy ZSAKbGltaXRlZCB0byAxNSBwYWdlcywgZXhjbHVkaW5nIHJlZmVyZW5jZXMgYW5kIGFwcGVuZGlj ZXMuIFRoZXkgbXVzdCAKcHJlc2VudCBvcmlnaW5hbCByZXNlYXJjaCB3aGljaCBpcyB1bnB1Ymxp c2hlZCBhbmQgbm90IHN1Ym1pdHRlZCAKZWxzZXdoZXJlLiBTeXN0ZW0gZGVzY3JpcHRpb25zIGFy ZSBsaW1pdGVkIHRvIDE1IHBhZ2VzLCBleGNsdWRpbmcgCnJlZmVyZW5jZXMuIFNob3J0ZXIgcGFw ZXJzIGFyZSB3ZWxjb21lIGFuZCB3aWxsIGJlIGdpdmVuIGVxdWFsIApjb25zaWRlcmF0aW9uLgpB IHN5c3RlbSBkZXNjcmlwdGlvbiBtdXN0IHByZXNlbnQgbmV3IHNvZnR3YXJlIHRvb2xzLCBvciBz aWduaWZpY2FudGx5IApuZXcgdmVyc2lvbnMgb2Ygc3VjaCB0b29scywgaW4gd2hpY2ggRlNDRCB0 b3BpY3MgcGxheSBhbiBpbXBvcnRhbnQgcm9sZS4gCkFuIGFyY2hpdmUgb2YgdGhlIGNvZGUgd2l0 aCBpbnN0cnVjdGlvbnMgb24gaG93IHRvIGluc3RhbGwgYW5kIHJ1biB0aGUgCnRvb2wgbXVzdCBi ZSBzdWJtaXR0ZWQuIEluIGFkZGl0aW9uLCBhIHdlYnBhZ2Ugd2hlcmUgdGhlIHN5c3RlbSBjYW4g YmUgCmV4cGVyaW1lbnRlZCB3aXRoIHNob3VsZCBiZSBwcm92aWRlZC4KCk9uZSBhdXRob3Igb2Yg ZWFjaCBhY2NlcHRlZCBwYXBlciBpcyBleHBlY3RlZCB0byByZWdpc3RlciBhbmQgcHJlc2VudCAK dGhlIHdvcmsgaW4gcGVyc29uIGF0IHRoZSBjb25mZXJlbmNlLiBBbHRlcm5hdGl2ZWx5IHRvIGlu LXBlcnNvbiAKcHJlc2VudGF0aW9uLCBhbHNvIG9ubGluZSBwcmVzZW50YXRpb24gaXMgcG9zc2li bGUsIGJ1dCBpbi1wZXJzb24gCnJlZ2lzdHJhdGlvbiBieSBhdCBsZWFzdCBvbmUgYXV0aG9yIHdp bGwgc3RpbGwgYmUgcmVxdWlyZWQuCgoKQkVTVCBQQVBFUiBBV0FSRCBCWSBKVU5JT1IgUkVTRUFS Q0hFUlMKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KVGhlIHByb2dyYW0g Y29tbWl0dGVlIHdpbGwgc2VsZWN0IGEgcGFwZXIgaW4gd2hpY2ggYXQgbGVhc3Qgb25lIGF1dGhv ciAKaXMgYSBqdW5pb3IgcmVzZWFyY2hlciwgaS5lLiBlaXRoZXIgYSBzdHVkZW50IG9yIHdob3Nl IFBoRCBhd2FyZCBkYXRlIGlzIApsZXNzIHRoYW4gdGhyZWUgeWVhcnMgZnJvbSB0aGUgZmlyc3Qg ZGF5IG9mIHRoZSBtZWV0aW5nLiBXaGVuIHN1Ym1pdHRpbmcgCnRoZSBwYXBlciwgb3RoZXIgYXV0 aG9ycyBzaG91bGQgZGVjbGFyZSB0byB0aGUgUEMgQ2hhaXIgdGhhdCBhdCBsZWFzdCAKNTAlIG9m IGNvbnRyaWJ1dGlvbiBpcyBtYWRlIGJ5IHRoZSBqdW5pb3IgcmVzZWFyY2hlcihzKS4KClBST0dS QU0gQ09NTUlUVEVFIENIQUlSCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCkpha29iIFJlaG9mLCBU VSBEb3J0bXVuZCBVbml2ZXJzaXR5CkVtYWlsOiBmc2NkMjAyNCBhdCBlYXN5Y2hhaXIub3JnCgpQ Uk9HUkFNIENPTU1JVFRFRQotLS0tLS0tLS0tLS0tLS0tLQpUaG9yc3RlbiBBbHRlbmtpcmNoLCBV bml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0KU2FuZHJhIEFsdmVzLCBVbml2ZXJzaXR5IG9mIFBvcnRv ClRha2FoaXRvIEFvdG8sIE5paWdhdGEgVW5pdmVyc2l0eQpNYXVyaWNpbyBBeWFsYS1SaW5jw7Nu LCBCcmFzaWxpYSBVbml2ZXJzaXR5ClN0ZXBoYW5pZSBCYWx6ZXIsIENNVQpUaGllcnJ5IENvcXVh bmQsIFVuaXZlcnNpdHkgb2YgR290aGVuYnVyZwpBbGVqYW5kcm8gRMOtYXotQ2FybywgUXVpbG1l cyBOYXRpb25hbCBVbml2ZXJzaXR5ICYgQ09OSUNFVC1CdWVub3MgQWlyZXMgClVuaXZlcnNpdHkK Q2xhdWRpYSBGYWdnaWFuLCBDTlJTLCBVbml2ZXJzaXTDqSBkZSBQYXJpcwpTaWx2aWEgR2hpbGV6 YW4sIFVuaXZlcnNpdHkgb2YgTm92aSBTYWQKU2ltb24gR2F5LCBVbml2ZXJzaXR5IG9mIEdsYXNn b3cKQ2V6YXJ5IEthbGlzenlrLCBVbml2ZXJzaXR5IG9mIElubnNicnVjawpBbWJydXMgS2Fwb3Np LCBFw7Z0dsO2cyBMb3LDoW5kIFVuaXZlcnNpdHksIEJ1ZGFwZXN0CkRleHRlciBLb3plbiwgQ29y bmVsbCBVbml2ZXJzaXR5CkRvbWluaXF1ZSBMYXJjaGV5LVdlbmRsaW5nLCBDTlJTLCBMb3JpYQpN YXJpbmEgTGVuaXNhLCBVbml2ZXJzaXR5IG9mIFVkaW5lClNvbmlhIE1hcmluLCBVbml2ZXJzaXR5 IG9mIEJpcm1pbmdoYW0KTmFva2kgTmlzaGlkYSwgTmFnb3lhIFVuaXZlcnNpdHkKQ2hyaXN0aW5l IFBhdWxpbi1Nb2hyaW5nLCBQYXJpcy1TYWNsYXkgVW5pdmVyc2l0eQpQaWVycmUtTWFyaWUgUMOp ZHJvdCwgSW5yaWEgUmVubmVzLUJyZXRhZ25lLUF0bGFudGlxdWUKRWxhaW5lIFBpbWVudGVsLCBV bml2ZXJzaXR5IENvbGxlZ2UgTG9uZG9uCkpha29iIFJlaG9mIChDaGFpciksIFRVIERvcnRtdW5k IFVuaXZlcnNpdHkKU2ltb25hIFJvbmNoaSBkZWxsYSBSb2NjYSwgVW5pdmVyc2l0eSBvZiBUb3Jp bm8KU3lsdmFpbiBTY2htaXR6LCBVbml2ZXJzaXTDqSBQYXJpcyBDaXTDqQpBbGVrc3kgU2NodWJl cnQsIFVuaXZlcnNpdHkgb2YgV2Fyc2F3Ckpha29iIEdydWUgU2ltb25zZW4sIFVuaXZlcnNpdHkg b2YgQ29wZW5oYWdlbgpLYXRocmluIFN0YXJrLCBIZXJpb3QtV2F0dCBVbml2ZXJzaXR5LCBFZGlu YnVyZ2gKTHV0eiBTdHJhw59idXJnZXIsIElucmlhIFNhY2xheQpUYWNoaW8gVGVyYXVjaGksIFdh c2VkYSBVbml2ZXJzaXR5ClNhcmFoIFdpbmtsZXIsIEZyZWUgVW5pdmVyc2l0eSBvZiBCb2x6YW5v CgoKQ09ORkVSRU5DRSBDSEFJUgotLS0tLS0tLS0tLS0tLS0tCk5pY2NvbMOyIFZlbHRyaSwgVGFs bGlubiBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kKCldPUktTSE9QIENIQUlSCi0tLS0tLS0tLS0t LS0tCkx1aWdpIExpcXVvcmksIElucmlhCgpTVEVFUklORyBDT01NSVRURUUgV09SS1NIT1AgQ0hB SVIKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KQ3ludGhpYSBLb3AsIFJhZGJvdWQg VW5pdmVyc2l0eSBOaWptZWdlbgoKUFVCTElDSVRZIENIQUlSCi0tLS0tLS0tLS0tLS0tLQpDYXJz dGVuIEZ1aHMsIEJpcmtiZWNrLCBVbml2ZXJzaXR5IG9mIExvbmRvbgoKRlNDRCBTVEVFUklORyBD T01NSVRURUUKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KSGVybWFuIEdldXZlcnMgKENoYWlyKSwg UmFkYm91ZCBVbml2ZXJzaXR5IE5pam1lZ2VuClBhdHJpY2sgQmFpbGxvdCwgQ05SUywgVW5pdmVy c2l0w6kgZGUgTGlsbGUKQWxlamFuZHJvIETDrWF6LUNhcm8sIFF1aWxtZXMgTmF0aW9uYWwgVW5p dmVyc2l0eSAmIENPTklDRVQtQnVlbm9zIEFpcmVzIApVbml2ZXJzaXR5CkFteSBGZWx0eSwgVW5p dmVyc2l0eSBvZiBPdHRhd2EKQ2Fyc3RlbiBGdWhzLCBCaXJrYmVjaywgVW5pdmVyc2l0eSBvZiBM b25kb24KTWFyY28gR2Fib2FyZGksIEJvc3RvbiBVbml2ZXJzaXR5CkrDvHJnZW4gR2llc2wsIFJX VEggQWFjaGVuIFVuaXZlcnNpdHkKRGVsaWEgS2VzbmVyLCBVbml2ZXJzaXTDqSBQYXJpcyBDaXTD qQpOYW9raSBLb2JheWFzaGksIFVuaXZlcnNpdHkgb2YgVG9reW8KQ3ludGhpYSBLb3AsIFJhZGJv dWQgVW5pdmVyc2l0eSBOaWptZWdlbgpMdWlnaSBMaXF1b3JpLCBJbnJpYQpHaXVsaW8gTWFuem9u ZXR0bywgVW5pdmVyc2l0w6kgUGFyaXMtTm9yZApEYW5pZWxlIE5hbnRlcywgSW1wZXJpYWwgQ29s bGVnZSBMb25kb24gLyBVbml2ZXJzaXR5IG9mIEJyYXNpbGlhCkZlbWtlIHZhbiBSYWFtc2Rvbmss IFZyaWplIFVuaXZlcnNpdGVpdCBBbXN0ZXJkYW0K