FSCD 2026: First Call for Papers
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> Thu, 6 Nov 2025 17:39:35 +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 LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKICAgICAg ICAgICAgICAgICAgICAgICAgICAgIEZJUlNUIENBTEwgRk9SIFBBUEVSUwogICAgICAgICAgICAg ICAgICAgICBFbGV2ZW50aCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24KICAgICAgICAgIEZv cm1hbCBTdHJ1Y3R1cmVzIGZvciBDb21wdXRhdGlvbiBhbmQgRGVkdWN0aW9uIChGU0NEIDIwMjYp CiAgICAgICAgICAgICAgICAgICAgICAgIEp1bHkgMjAtMjMsIExpc2JvbiwgUG9ydHVnYWwKICAg ICAgICAgICAgICAgICAgICAgIGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2Zz Y2QtY29uZmVyZW5jZS5vcmcvMjAyNl9fOyEhSUJ6V0xVcyFUYmhqd1pYWmNWMDFPdVhqUTltck1o Q2tDQmI3dGRBTmxoZXlQdWlUd2dUdks2RjNmbXBmRENwWTBLU3drSXpBbHVFRkJoSEZNTU9JNHNt MEpIN29KbXllYTRIYlFzZyQgCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFBhcnQgb2Yg RkxvQyAyMDI2CgoKSU1QT1JUQU5UIERBVEVTCi0tLS0tLS0tLS0tLS0tLQpBbGwgZGVhZGxpbmVz IGFyZSBtaWRuaWdodCBhbnl3aGVyZS1vbi1lYXJ0aCAoQW9FKTsgbGF0ZSBzdWJtaXNzaW9ucyAK d2lsbCBub3QgYmUgY29uc2lkZXJlZC4KCiAgICAgICAgQWJzdHJhY3Q6ICAgICAgCUphbnVhcnkg MjMsIDIwMjYKICAgICAgICBTdWJtaXNzaW9uOiAgIAlKYW51YXJ5IDMwLCAyMDI2CiAgICAgICAg QXV0aG9yIFJlc3BvbnNlOiBNYXJjaCAyMy0yNywgMjAyNgogICAgICAgIE5vdGlmaWNhdGlvbjog CUFwcmlsIDE2LCAyMDI2CiAgICAgICAgRmluYWwgdmVyc2lvbjogCUFwcmlsIDMwLCAyMDI2CgoK T1ZFUlZJRVcKLS0tLS0tLS0KRlNDRCAoaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBz Oi8vZnNjZC1jb25mZXJlbmNlLm9yZy9fXzshIUlCeldMVXMhVGJoandaWFpjVjAxT3VYalE5bXJN aENrQ0JiN3RkQU5saGV5UHVpVHdnVHZLNkYzZm1wZkRDcFkwS1N3a0l6QWx1RUZCaEhGTU1PSTRz bTBKSDdvSm15ZXpleDlJUW8kICkgY292ZXJzIGFsbCBhc3BlY3RzIG9mIGZvcm1hbCAKc3RydWN0 dXJlcyBmb3IgY29tcHV0YXRpb24gYW5kIGRlZHVjdGlvbiwgZnJvbSB0aGVvcmV0aWNhbCBmb3Vu ZGF0aW9ucyAKdG8gYXBwbGljYXRpb25zLiBCdWlsZGluZyBvbiB0d28gY29tbXVuaXRpZXMsIFJU QSAoUmV3cml0aW5nIFRlY2huaXF1ZXMgCmFuZCBBcHBsaWNhdGlvbnMpIGFuZCBUTENBIChUeXBl ZCBMYW1iZGEgQ2FsY3VsaSBhbmQgQXBwbGljYXRpb25zKSwgRlNDRCAKZW1icmFjZXMgdGhlaXIg Y29yZSB0b3BpY3MgYW5kIGJyb2FkZW5zIHRoZWlyIHNjb3BlIHRvIGNsb3NlbHkgcmVsYXRlZCAK YXJlYXMgaW4gbG9naWMsIG1vZGVscyBvZiBjb21wdXRhdGlvbiwgc2VtYW50aWNzIGFuZCB2ZXJp ZmljYXRpb24gaW4gbmV3IApjaGFsbGVuZ2luZyBhcmVhcy4KClRoZSBzdWdnZXN0ZWQsIGJ1dCBu b3QgZXhjbHVzaXZlLCBsaXN0IG9mIHRvcGljcyBmb3Igc3VibWlzc2lvbiBpczoKCjEuIENhbGN1 bGk6Ci0gUmV3cml0aW5nIHN5c3RlbXMgKHN0cmluZywgdGVybSwgaGlnaGVyLW9yZGVyLCBub21p bmFsLCBncmFwaCwgCmNvbmRpdGlvbmFsLCBtb2R1bG8sIGluZmluaXRhcnksIGV0Yy4pOwotIExh bWJkYSBjYWxjdWx1czsKLSBMb2dpY3MgKGZpcnN0LW9yZGVyLCBoaWdoZXItb3JkZXIsIGVxdWF0 aW9uYWwsIG1vZGFsLCBsaW5lYXIsIApjbGFzc2ljYWwsIGNvbnN0cnVjdGl2ZSwgZXRjLik7Ci0g UHJvb2YgdGhlb3J5IChuYXR1cmFsIGRlZHVjdGlvbiwgc2VxdWVudCBjYWxjdWx1cywgcHJvb2Yg bmV0cywgZXRjLik7Ci0gVHlwZSB0aGVvcnkgYW5kIGxvZ2ljYWwgZnJhbWV3b3JrczsKLSBIb21v dG9weSB0eXBlIHRoZW9yeTsKLSBQcm9jZXNzIGFsZ2VicmFzIChzeW5jaHJvbm91cywgYXN5bmNo cm9ub3VzLCBzdGF0aWMgYW5kIGR5bmFtaWMgCnNlbWFudGljcyB3aXRoIGFuZCB3aXRob3V0IHRp bWUsIGV0Yy4pOwotIFF1YW50dW0gY2FsY3VsaS4KCjIuIE1ldGhvZHMgaW4gQ29tcHV0YXRpb24g YW5kIERlZHVjdGlvbjoKLSBUeXBlIHN5c3RlbXMgKHBvbHltb3JwaGlzbSwgZGVwZW5kZW50LCBy ZWN1cnNpdmUsIGludGVyc2VjdGlvbiwgCnNlc3Npb24sIGV0Yy4pOwotIEluZHVjdGlvbiwgY29p bmR1Y3Rpb247Ci0gTWF0Y2hpbmcsIHVuaWZpY2F0aW9uLCBjb21wbGV0aW9uLCBvcmRlcmluZ3M7 Ci0gU3RyYXRlZ2llcyAobm9ybWFsaXNhdGlvbiwgY29tcGxldGVuZXNzLCBldGMuKTsKLSBUcmVl IGF1dG9tYXRhOwotIE1vZGVsIGJ1aWxkaW5nIGFuZCBtb2RlbCBjaGVja2luZzsKLSBQcm9vZiBz ZWFyY2ggYW5kIHRoZW9yZW0gcHJvdmluZzsKLSBDb25zdHJhaW50IHNvbHZpbmcgYW5kIGRlY2lz aW9uIHByb2NlZHVyZXMuCgozLiBTZW1hbnRpY3M6Ci0gT3BlcmF0aW9uYWwgc2VtYW50aWNzIGFu ZCBhYnN0cmFjdCBtYWNoaW5lczsKLSBHYW1lIFNlbWFudGljcyBhbmQgYXBwbGljYXRpb25zOwot IERvbWFpbiB0aGVvcnkgYW5kIGNhdGVnb3JpY2FsIG1vZGVsczsKLSBRdWFudGl0YXRpdmUgbW9k ZWxzICh0aW1pbmcsIHByb2JhYmlsaXRpZXMsIGV0Yy4pOwotIFF1YW50dW0gY29tcHV0YXRpb24g YW5kIGVtZXJnaW5nIG1vZGVscyBvZiBjb21wdXRhdGlvbi4KCjQuIEFsZ29yaXRobWljIEFuYWx5 c2lzIGFuZCBUcmFuc2Zvcm1hdGlvbnMgb2YgRm9ybWFsIFN5c3RlbXM6Ci0gVHlwZSBpbmZlcmVu Y2UgYW5kIHR5cGUgY2hlY2tpbmc7Ci0gQWJzdHJhY3QgSW50ZXJwcmV0YXRpb247Ci0gQ29tcGxl eGl0eSBhbmFseXNpcyBhbmQgaW1wbGljaXQgY29tcHV0YXRpb25hbCBjb21wbGV4aXR5OwotIENo ZWNraW5nIHRlcm1pbmF0aW9uLCBjb25mbHVlbmNlLCBkZXJpdmF0aW9uYWwgY29tcGxleGl0eSBh bmQgcmVsYXRlZCAKcHJvcGVydGllczsKLSBTeW1ib2xpYyBjb21wdXRhdGlvbi4KCjUuIFRvb2xz IGFuZCBBcHBsaWNhdGlvbnM6Ci0gUHJvZ3JhbW1pbmcgYW5kIHByb29mIGVudmlyb25tZW50czsK LSBWZXJpZmljYXRpb24gdG9vbHM7Ci0gUHJvb2YgYXNzaXN0YW50cyBhbmQgaW50ZXJhY3RpdmUg dGhlb3JlbSBwcm92ZXJzOwotIEFwcGxpY2F0aW9ucyBpbiBpbmR1c3RyeTsKLSBBcHBsaWNhdGlv bnMgb2YgZm9ybWFsIHN5c3RlbXMgaW4gb3RoZXIgc2NpZW5jZXM7Ci0gQXBwbGljYXRpb25zIG9m IGZvcm1hbCBzeXN0ZW1zIGluIGVkdWNhdGlvbi4KCjYuIEZvcm1hbCBTeXN0ZW1zIGZvciBNb2Rl bGxpbmcgYW5kIFZlcmlmaWNhdGlvbiBpbiBuZXcgY2hhbGxlbmdpbmcgYXJlYXM6Ci0gQ2VydGlm aWNhdGlvbjsKLSBTZWN1cml0eTsKLSBCbG9ja2NoYWluOwotIERhdGFiYXNlczsKLSBEZWVwIGxl YXJuaW5nIGFuZCBtYWNoaW5lIGxlYXJuaW5nIGFsZ29yaXRobXM7Ci0gUGxhbm5pbmcuCgpQVUJM SUNBVElPTgotLS0tLS0tLS0tLQoKVGhlIHByb2NlZWRpbmdzIHdpbGwgYmUgcHVibGlzaGVkIGFz IGFuIGVsZWN0cm9uaWMgdm9sdW1lIGluIHRoZSBMZWlibml6IApJbnRlcm5hdGlvbmFsIFByb2Nl ZWRpbmdzIGluIEluZm9ybWF0aWNzIChMSVBJY3MpIG9mIFNjaGxvc3MgRGFnc3R1aGwuIApBbGwg TElQSWNzIHByb2NlZWRpbmdzIGFyZSBvcGVuIGFjY2Vzcy4KClNQRUNJQUwgSVNTVUUKLS0tLS0t LS0tLS0tLQoKVGhlcmUgd2lsbCBiZSBhIHNwZWNpYWwgaXNzdWUgb2YgTG9naWNhbCBNZXRob2Rz IGluIENvbXB1dGVyIFNjaWVuY2Ugb2YgCnNlbGVjdGVkIHBhcGVycy4gTW9yZSBkZXRhaWxzIHdp bGwgYmUgcHJvdmlkZWQgbGF0ZXIuCgpTVUJNSVNTSU9OIEdVSURFTElORVMKLS0tLS0tLS0tLS0t LS0tLS0tLS0tClRoZSBzdWJtaXNzaW9uIHNpdGUgaXM6CgogICAgIGh0dHBzOi8vdXJsZGVmZW5z ZS5jb20vdjMvX19odHRwczovL3N1Ym1pc3Npb25zLmZsb2MyNi5vcmcvZnNjZC9fXzshIUlCeldM VXMhVGJoandaWFpjVjAxT3VYalE5bXJNaENrQ0JiN3RkQU5saGV5UHVpVHdnVHZLNkYzZm1wZkRD cFkwS1N3a0l6QWx1RUZCaEhGTU1PSTRzbTBKSDdvSm15ZVV6T3lycjQkIAoKU3VibWlzc2lvbnMg bXVzdCBiZSBmb3JtYXR0ZWQgdXNpbmcgdGhlIExJUEljcyBzdHlsZSBmaWxlcyAKKGh0dHBzOi8v dXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL3N1Ym1pc3Npb24uZGFnc3R1aGwuZGUvc2VyaWVz L2RldGFpbHMvNSphdXRob3JfXztJdyEhSUJ6V0xVcyFUYmhqd1pYWmNWMDFPdVhqUTltck1oQ2tD QmI3dGRBTmxoZXlQdWlUd2dUdks2RjNmbXBmRENwWTBLU3drSXpBbHVFRkJoSEZNTU9JNHNtMEpI N29KbXllWlNucWhRSSQgKSBhbmQgc3VibWl0dGVkIAp2aWEgRWFzeUNoYWlyLgoKU3VibWlzc2lv bnMgY2FuIGJlIG1hZGUgaW4gdHdvIGNhdGVnb3JpZXM6IHJlZ3VsYXIgcmVzZWFyY2ggcGFwZXJz IGFuZCAKc3lzdGVtIGRlc2NyaXB0aW9ucy4gUGxlYXNlIGluZGljYXRlIGluIHRoZSBzdWJtaXNz aW9uIHBhZ2UgaW4gSG90Q1JQIAphbmQgaW4gdGhlIGZpcnN0IHBhZ2Ugb2YgdGhlIHBhcGVyIGlu IHdoaWNoIGNhdGVnb3J5IHlvdSBhcmUgc3VibWl0dGluZy4gClJlZ3VsYXIgcmVzZWFyY2ggcGFw ZXJzIGFyZSBsaW1pdGVkIHRvIDE1IHBhZ2VzLCBleGNsdWRpbmcgcmVmZXJlbmNlcyAKYW5kIGFw cGVuZGljZXMuIFRoZXkgbXVzdCBwcmVzZW50IG9yaWdpbmFsIHJlc2VhcmNoIHdoaWNoIGlzIHVu cHVibGlzaGVkIAphbmQgbm90IHN1Ym1pdHRlZCBlbHNld2hlcmUuIFN5c3RlbSBkZXNjcmlwdGlv bnMgYXJlIGxpbWl0ZWQgdG8gMTUgCnBhZ2VzLCBleGNsdWRpbmcgcmVmZXJlbmNlcy4gU2hvcnRl ciBwYXBlcnMgYXJlIHdlbGNvbWUgYW5kIHdpbGwgYmUgCmdpdmVuIGVxdWFsIGNvbnNpZGVyYXRp b24uIEEgc3lzdGVtIGRlc2NyaXB0aW9uIG11c3QgcHJlc2VudCBuZXcgCnNvZnR3YXJlIHRvb2xz LCBvciBzaWduaWZpY2FudGx5IG5ldyB2ZXJzaW9ucyBvZiBzdWNoIHRvb2xzLCBpbiB3aGljaCAK RlNDRCB0b3BpY3MgcGxheSBhbiBpbXBvcnRhbnQgcm9sZS4gQW4gYXJjaGl2ZSBvZiB0aGUgY29k ZSB3aXRoIAppbnN0cnVjdGlvbnMgb24gaG93IHRvIGluc3RhbGwgYW5kIHJ1biB0aGUgdG9vbCBt dXN0IGJlIHN1Ym1pdHRlZC4gSW4gCmFkZGl0aW9uLCBhIHdlYnBhZ2Ugd2hlcmUgdGhlIHN5c3Rl bSBjYW4gYmUgZXhwZXJpbWVudGVkIHdpdGggc2hvdWxkIGJlIApwcm92aWRlZC4KCk9uZSBhdXRo b3Igb2YgZWFjaCBhY2NlcHRlZCBwYXBlciBpcyBleHBlY3RlZCB0byByZWdpc3RlciBhbmQgcHJl c2VudCAKdGhlIHdvcmsgaW4gcGVyc29uIGF0IHRoZSBjb25mZXJlbmNlLiBJbiBjYXNlIHRoYXQg dGhpcyBpcyBub3QgcG9zc2libGUsIApvbmxpbmUgcHJlc2VudGF0aW9uIHdpbGwgYmUgYXJyYW5n ZWQsIGJ1dCBpbiBwZXJzb24gcmVnaXN0cmF0aW9uIHdpbGwgCnN0aWxsIGJlIHJlcXVpcmVkLgoK QkVTVCBQQVBFUiBBV0FSRCBCWSBKVU5JT1IgUkVTRUFSQ0hFUlMKLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0KClRoZSBwcm9ncmFtbWUgY29tbWl0dGVlIHdpbGwgc2VsZWN0 IGEgcGFwZXIgaW4gd2hpY2ggYXQgbGVhc3Qgb25lIGF1dGhvciAKaXMgYSBqdW5pb3IgcmVzZWFy Y2hlciwgaS5lLiwgZWl0aGVyIGEgc3R1ZGVudCBvciBzb21lb25lIHdob3NlIFBoRCAKYXdhcmQg ZGF0ZSBpcyBsZXNzIHRoYW4gdGhyZWUgeWVhcnMgZnJvbSB0aGUgZmlyc3QgZGF5IG9mIHRoZSBt ZWV0aW5nLiAKV2hlbiBzdWJtaXR0aW5nIHRoZSBwYXBlciwgb3RoZXIgYXV0aG9ycyBzaG91bGQg ZGVjbGFyZSB0byB0aGUgUEMgQ2hhaXIgCnRoYXQgYXQgbGVhc3QgNTAlIG9mIGNvbnRyaWJ1dGlv biBpcyBtYWRlIGJ5IHRoZSBqdW5pb3IgcmVzZWFyY2hlcihzKS4KCkNPREUgT0YgQ09ORFVDVAot LS0tLS0tLS0tLS0tLS0tLQpGU0NEIDIwMjYgc3RhbmRzIGJ5IHRoZSBGTG9DIDIwMjYgQ29kZSBv ZiBjb25kdWN0IAooaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vd3d3LmZsb2My Ni5vcmcvcG9saWNpZXNfXzshIUlCeldMVXMhVGJoandaWFpjVjAxT3VYalE5bXJNaENrQ0JiN3Rk QU5saGV5UHVpVHdnVHZLNkYzZm1wZkRDcFkwS1N3a0l6QWx1RUZCaEhGTU1PSTRzbTBKSDdvSm15 ZUhnd1ZrRXckICkuCgpQUk9HUkFNIENPTU1JVFRFRSBDSEFJUgotLS0tLS0tLS0tLS0tLS0tLS0t LS0tLQpGcmFuayBQZmVubmluZyAgICAgICAgIENhcm5lZ2llIE1lbGxvbiBVbml2ZXJzaXR5CgpQ Uk9HUkFNIENPTU1JVFRFRQotLS0tLS0tLS0tLS0tLS0tLQpBbGVqYW5kcm8gRMOtYXotQ2FybyAg ICBJTlJJQSAoTE9SSUEpICYgVU5RdWlsbWVzLCBGcmFuY2UgJiBBcmdlbnRpbmEKQWxleGlzIFNh dXJpbiAgICAgICAgICBDTlJTICYgVW5pdmVyc2l0eSBQYXJpcyBDaXTDqSwgRnJhbmNlCkFsd2Vu IFRpdSAgICAgICAgICAgICAgQXVzdHJhbGlhbiBOYXRpb25hbCBVbml2ZXJzaXR5LCBBdXN0cmFs aWEKQW5kcmVhcyBBYmVsICAgICAgICAgICBDaGFsbWVycyBVbml2ZXJzaXR5IG9mIFRlY2hub2xv Z3kgJiBVbml2ZXJzaXR5IG9mIApHb3RoZW5idXJnLCBTd2VkZW4KQW5kcmVpYSBNb3JkaWRvICAg ICAgICBVbml2ZXJzaXR5IG9mIExpc2JvbiwgUG9ydHVnYWwKQmVuaWFtaW5vIEFjY2F0dG9saSAg ICBJTlJJQSAmIMOJY29sZSBQb2x5dGVjaG5pcXVlLCBGcmFuY2UKQ3ludGhpYSBLb3AgICAgICAg ICAgICBSYWRib3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4sIFRoZSBOZXRoZXJsYW5kcwpEYW5pZWwg R3JhdHplciAgICAgICAgIEFhcmh1cyBVbml2ZXJzaXR5LCBEZW5tYXJrCkRvbWluaWMgT3JjaGFy ZCAgICAgICAgVW5pdmVyc2l0eSBvZiBLZW50ICYgVW5pdmVyc2l0eSBvZiBDYW1icmlkZ2UsIFVL CkVsYWluZSBQaW1lbnRlbCAgICAgICAgVW5pdmVyc2l0eSBDb2xsZWdlIExvbmRvbiwgVUsKS3Jp c3RpbmEgU29qYWtvdmEgICAgICBGcmVlIFVuaXZlcnNpdHkgb2YgQW1zdGVyZGFtLCBUaGUgTmV0 aGVybGFuZHMKS3dhbmdrZXVuIFlpICAgICAgICAgICBTZW91bCBOYXRpb25hbCBVbml2ZXJzaXR5 LCBLb3JlYQpMaXJvbiBDb2hlbiAgICAgICAgICAgIEJlbi1HdXJpb24gVW5pdmVyc2l0eSwgSXNy YWVsCk1hxYJnb3J6YXRhIEJpZXJuYWNrYSAgIFVuaXZlcnNpdHkgb2YgV3JvY8WCYXcsIFBvbGFu ZApOYW8gSGlyb2thd2EgICAgICAgICAgIEpBSVNULCBKYXBhbgpOYXRhcmFqYW4gU2hhbmthciAg ICAgIFNSSSBJbnRlcm5hdGlvbmFsLCBVU0EKTmlraSBWYXpvdSAgICAgICAgICAgICBJTURFQSBN YWRyaWQsIFNwYWluClBhdWwgRG93bmVuICAgICAgICAgICAgVU1hc3MgTG93ZWxsLCBVU0EKUGV0 ZXIgU2VsaW5nZXIgICAgICAgICBEYWxob3VzaWUgVW5pdmVyc2l0eSwgQ2FuYWRhClNhbHZhZG9y IEx1Y2FzICAgICAgICAgVGVjaG5pY2FsIFVuaXZlcnNpdHkgb2YgVmFsZW5jaWEsIFNwYWluClNh cmFoIFdpbmtsZXIgICAgICAgICAgRnJlZSBVbml2ZXJzaXR5IG9mIEJvemVuLUJvbGFubywgSXRh bHkKVWdvIERhbCBMYWdvICAgICAgICAgICBVbml2ZXJzaXR5IG9mIEJvbG9nbmEsIEl0YWx5CgpD T05GRVJFTkNFIENIQUlSCi0tLS0tLS0tLS0tLS0tLS0KU2FuZHJhIEFsdmVzICAgICAgICAgICBV bml2ZXJzaXR5IG9mIFBvcnRvCgpXT1JLU0hPUFMgQ0hBSVIKLS0tLS0tLS0tLS0tLS0tCkN5bnRo aWEgS29wICAgICAgICAgICAgUmFkYm91ZCBVbml2ZXJzaXR5IE5pam1lZ2VuCgpGU0NEIFNURUVS SU5HIENPTU1JVFRFRQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKQ2hhaXI6CiAgIFBhdHJpY2sg QmFpbGxvdCAgICAgIENOUlMsIFVuaXZlcnNpdHkgb2YgTGlsbGUKUGFzdCBDaGFpcjoKICAgSGVy bWFuIEdldXZlcnMgICAgICAgUmFkYm91ZCBVbml2ZXJzaXR5IE5pam1lZ2VuCldvcmtzaG9wIENo YWlyOgogICBDeW50aGlhIEtvcCAgICAgICAgICBSYWRib3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4K UHVibGljaXR5IENoYWlyOgogICBDYXJzdGVuIEZ1aHMgICAgICAgICBCaXJrYmVjayBVbml2ZXJz aXR5IG9mIExvbmRvbgpQYXN0IFBDIENoYWlyczoKICAgTWFyY28gR2Fib2FyZGkgICAgICAgQm9z dG9uIFVuaXZlcnNpdHkKICAgRmVta2UgdmFuIFJhYW1zZG9uayAgVlUgQW1zdGVyZGFtCiAgIEph a29iIFJlaG9mICAgICAgICAgIFRVIERvcnRtdW5kCiAgIE1hcmliZWwgRmVybsOhbmRleiAgICBL aW5nJ3MgQ29sbGVnZSBMb25kb24KRWxlY3RlZCBNZW1iZXJzOgogICBHdWlsaW8gTWFuem9uZXR0 byAgICBVbml2ZXJzaXTDqSBQYXJpcyBDaXTDqQogICBVZ28gRGFsIExhZ28gICAgICAgICBVbml2 ZXJzaXR5IG9mIEJvbG9nbmEKICAgU2FuZHJhIEFsdmVzICAgICAgICAgVW5pdmVyc2l0eSBvZiBQ b3J0bwogICBKw7xyZ2VuIEdpZXNsICAgICAgICAgUldUSCBBYWNoZW4K