WPTE 2025 - Second Call for Papers - Rewriting Techniques for Program Transformations and Evaluation

--===============6104099625087166429==
Content-Language: de-DE
Content-Type: multipart/signed; protocol="application/x-pkcs7-signature";
	micalg=2.16.840.1.101.3.4.2.1;
	boundary="----=_NextPart_000_0073_01DBB632.79F6D080"

------=_NextPart_000_0073_01DBB632.79F6D080
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit

WPTE 2025 (affiliated to FSCD 2025 in Birmingham, UK)

11th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (July 20th, 2025)

Webpage:     https://wpte2025.github.io/
Submission:  https://easychair.org/conferences/?conf=wpte2025
Deadline:    9th May 2025

---------------------------------------------------------------------------
The aim of WPTE is to bring together researchers working on
program transformations, evaluation, and operationally based
programming language semantics, using rewriting methods, in order to
share the techniques and recent developments and to exchange ideas to
encourage further activation of research in this area.

Topics of Interest
---------------------------------------------------------------------------
* Correctness of program transformations, optimizations and translations.
* Program transformations for proving termination, confluence, and
  other properties.
* Correctness of evaluation strategies.
* Operational semantics of programs, operationally-based program
  equivalences such as contextual equivalences and bisimulations.
* Cost-models for arguing about the optimizing power of transformations
  and the costs of evaluation.
* Program transformations for verification and theorem proving purposes.
* Translation, simulation, equivalence of programs with different
  formalisms, and evaluation strategies.
* Program transformations for applying rewriting techniques to programs
  in specific programming languages.
* Program transformations for program inversions and program synthesis.
* Program transformation and evaluation for Haskell and rewriting.
* Rewriting-based transformations for bidirectional programming and
  reversible computation.

Submission Guidelines
---------------------------------------------------------------------------
For the paper submission deadline an extended abstract of at most 10
pages is required. The extended abstract may present original work,
but also work in progress. The program committee will select the
presentations for the workshop based on the submissions. All selected
contributions will be included in the informal proceedings distributed
to the workshop participants. One author of each accepted extended
abstract is expected to present it at the workshop in person.

Submissions must be prepared in LaTeX using the EPTCS macro package.

All submissions are to be made via:

  https://easychair.org/conferences/?conf=wpte2025

Post-Proceedings or Journal Special Issue
---------------------------------------------------------------------------
For the 2020-2023 editions, papers from WPTE were selected for
post-submission and eventual publication in JLAMP special issues.
We will discuss, also based on interest expressed by authors at the
workshop, whether to arrange a special issue or other formal proceedings
for this year's edition.

Important Dates
---------------------------------------------------------------------------
Submission of extended abstracts: 9th May 2025 (AoE)
Notification of acceptance: 13th June 2025
Final version for informal proceedings: 30th June 2025
Workshop: 20th July 2025
Submission to post-proceedings/special issue: autumn 2025 (tbd)

Program Committee
---------------------------------------------------------------------------
Martin Avanzini, Inria Sophia Antipolis
Patrick Bahr, IT University of Copenhagen
Demis Ballis, University of Udine
Mirai Ikebuchi, Kyoto University
Cynthia Kop, Radboud University Nijmegen (co-chair)
Ivan Lanese, University of Bologna
Pierre Lermusiaux, Inria Rennes
Steven Libby, University of Portland
Luca Roversi, University of Turin
Janis Voigtlaender, University of Duisburg-Essen (co-chair)
Johannes Waldmann, Leipzig University of Applied Sciences
Sarah Winkler, Free University of Bozen-Bolzano

Contact
---------------------------------------------------------------------------
Please direct questions to: [email protected]

CFP also at: https://easychair.org/cfp/wpte2025


------=_NextPart_000_0073_01DBB632.79F6D080
Content-Type: application/pkcs7-signature; name="smime.p7s"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="smime.p7s"

MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCCGA0w
ggQyMIIDGqADAgECAgEBMA0GCSqGSIb3DQEBBQUAMHsxCzAJBgNVBAYTAkdCMRswGQYDVQQIDBJH
cmVhdGVyIE1hbmNoZXN0ZXIxEDAOBgNVBAcMB1NhbGZvcmQxGjAYBgNVBAoMEUNvbW9kbyBDQSBM
aW1pdGVkMSEwHwYDVQQDDBhBQUEgQ2VydGlmaWNhdGUgU2VydmljZXMwHhcNMDQwMTAxMDAwMDAw
WhcNMjgxMjMxMjM1OTU5WjB7MQswCQYDVQQGEwJHQjEbMBkGA1UECAwSR3JlYXRlciBNYW5jaGVz
dGVyMRAwDgYDVQQHDAdTYWxmb3JkMRowGAYDVQQKDBFDb21vZG8gQ0EgTGltaXRlZDEhMB8GA1UE
AwwYQUFBIENlcnRpZmljYXRlIFNlcnZpY2VzMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKC
AQEAvkCd9G7h6naHHE1FRI6+RsiDBp3BKv4YH47kAvrzq11QihYxC5oG0MVwIs1JLVRjzLZuaEYL
U+rLTCTAvHJO6vEVrvRUmhIKw3qyM2Di2olV8yJY897cz++DhqKMlE+faPKYkEaEJ8d2v+PMNSyL
XgdkZYLASLCokflhn3YgUKiRx2a163hiA1bwihoT6jGjHqCZ/Tj29icyWG8H9Wu4+xQrr7eqzNZj
X3OM2gWZqDioyxd4NlGs6Z70eDqNzw/ZQuKYDKsvnw4B3u+fmUnxLd+sdE0bmLVHxeUp0fmQGMdi
nL6DxyZ7Poolx8DdneY1aBAgnY/Y3tLDhJwNXugvyQIDAQABo4HAMIG9MB0GA1UdDgQWBBSgEQoj
PpbxB+zirynvgqV/0DCktDAOBgNVHQ8BAf8EBAMCAQYwDwYDVR0TAQH/BAUwAwEB/zB7BgNVHR8E
dDByMDigNqA0hjJodHRwOi8vY3JsLmNvbW9kb2NhLmNvbS9BQUFDZXJ0aWZpY2F0ZVNlcnZpY2Vz
LmNybDA2oDSgMoYwaHR0cDovL2NybC5jb21vZG8ubmV0L0FBQUNlcnRpZmljYXRlU2VydmljZXMu
Y3JsMA0GCSqGSIb3DQEBBQUAA4IBAQAIVvwC8Jvo/6T61nvGRIDOT8TF9gBYzKa2vBRJaAR26Obu
XewCD2DWjVAYTyZOAePmsKXuv7x0VEG//fwSuMdPWvSJYAV/YLcFSvP28cK/xLl0hrYtfWvM0vNG
3S/G4GrDwzQDLH2W3VrCDqcKmcEFi6sML/NcOs9sN1UJh95TQGxY7/y2q2VuBPYb3DzgWhXGntnx
WUgwIWUDbOzpIXPsmwOh4DetoBUYj/q6As6nLKkQEyzU5QgmqyKXYPiQXnTUoppTvfKpaOCibsLX
bLGjD56/62jnVvKu8uMrODoJgbVrhde+Le0/GreyY+L1YiyC1GoAQVDxOYOflek2lphuMIIFgTCC
BGmgAwIBAgIQOXJEOvkit1HX02wQ3TE1lTANBgkqhkiG9w0BAQwFADB7MQswCQYDVQQGEwJHQjEb
MBkGA1UECAwSR3JlYXRlciBNYW5jaGVzdGVyMRAwDgYDVQQHDAdTYWxmb3JkMRowGAYDVQQKDBFD
b21vZG8gQ0EgTGltaXRlZDEhMB8GA1UEAwwYQUFBIENlcnRpZmljYXRlIFNlcnZpY2VzMB4XDTE5
MDMxMjAwMDAwMFoXDTI4MTIzMTIzNTk1OVowgYgxCzAJBgNVBAYTAlVTMRMwEQYDVQQIEwpOZXcg
SmVyc2V5MRQwEgYDVQQHEwtKZXJzZXkgQ2l0eTEeMBwGA1UEChMVVGhlIFVTRVJUUlVTVCBOZXR3
b3JrMS4wLAYDVQQDEyVVU0VSVHJ1c3QgUlNBIENlcnRpZmljYXRpb24gQXV0aG9yaXR5MIICIjAN
BgkqhkiG9w0BAQEFAAOCAg8AMIICCgKCAgEAgBJlFzYOw9sIs9CsVw127c0n00ytUINh4qogTQkt
ZAnczomfzD2p7PbPwdzx07HWezcoEStH2jnGvDoZtF+mvX2do2NCtnbyqTsrkfjib9DsFiCQCT7i
6HTJGLSR1GJk23+jBvGIGGqQIjy8/hPwhxR79uQfjtTkUcYRZ0YIUcuGFFQ/vDP+fmyc/xadGL1R
jjWmp2bIcmfbIWax1Jt4A8BQOujM8Ny8nkz+rwWWNR9XWrf/zvk9tyy29lTdyOcSOk2uTIq3XJq0
tyA9yn8iNK5+O2hmAUTnAU5GU5szYPeUvlM3kHND8zLDU+/bqv50TmnHa4xgk97Exwzf4TKuzJM7
UXiVZ4vuPVb+DNBpDxsP8yUmazNt925H+nND5X4OpWaxKXwyhGNVicQNwZNUMBkTrNN9N6frXTps
NVzbQdcS2qlJC9/YgIoJk2KOtWbPJYjNhLixP6Q5D9kCnusSTJV882sFqV4Wg8y4Z+LoE53MW4LT
TLPtW//e5XOsIzstAL81VXQJSdhJWBp/kjbmUZIO8yZ9HE0XvMnsQybQv0FfQKlERPSZ51eHnlAf
V1SoPv10Yy+xUGUJ5lhCLkMaTLTwJUdZ+gQek9QmRkpQgbLevni3/GcV4clXhB4PY9bpYrrWX1Uu
6lzGKAgEJTm4Diup8kyXHAc/DVL17e8vgg8CAwEAAaOB8jCB7zAfBgNVHSMEGDAWgBSgEQojPpbx
B+zirynvgqV/0DCktDAdBgNVHQ4EFgQUU3m/WqorSs9UgOHYm8Cd8rIDZsswDgYDVR0PAQH/BAQD
AgGGMA8GA1UdEwEB/wQFMAMBAf8wEQYDVR0gBAowCDAGBgRVHSAAMEMGA1UdHwQ8MDowOKA2oDSG
Mmh0dHA6Ly9jcmwuY29tb2RvY2EuY29tL0FBQUNlcnRpZmljYXRlU2VydmljZXMuY3JsMDQGCCsG
AQUFBwEBBCgwJjAkBggrBgEFBQcwAYYYaHR0cDovL29jc3AuY29tb2RvY2EuY29tMA0GCSqGSIb3
DQEBDAUAA4IBAQAYh1HcdCE9nIrgJ7cz0C7M7PDmy14R3iJvm3WOnnL+5Nb+qh+cli3vA0p+rvSN
b3I8QzvAP+u431yqqcau8vzY7qN7Q/aGNnwU4M309z/+3ri0ivCRlv79Q2R+/czSAaF9ffgZGclC
KxO/WIu6pKJmBHaIkU4MiRTOok3JMrO66BQavHHxW/BBC5gACiIDEOUMsfnNkjcZ7Tvx5Dq2+UUT
JnWvu6rvP3t3O9LEApE9GQDTF1w52z97GA1FzZOFli9d31kWTz9RvdVFGD/tSo7oBmF0Ixa1DVBz
J0RHfxBdiSprhTEUxOipakyAvGp4z7h/jnZymQyd/teRCBaho1+VMIIG5jCCBM6gAwIBAgIQMQJw
1DW+mySa+FbQ4eKFSTANBgkqhkiG9w0BAQwFADCBiDELMAkGA1UEBhMCVVMxEzARBgNVBAgTCk5l
dyBKZXJzZXkxFDASBgNVBAcTC0plcnNleSBDaXR5MR4wHAYDVQQKExVUaGUgVVNFUlRSVVNUIE5l
dHdvcmsxLjAsBgNVBAMTJVVTRVJUcnVzdCBSU0EgQ2VydGlmaWNhdGlvbiBBdXRob3JpdHkwHhcN
MjAwMjE4MDAwMDAwWhcNMzMwNTAxMjM1OTU5WjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VB
TlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNDCCAiIwDQYJKoZIhvcN
AQEBBQADggIPADCCAgoCggIBALNK4iJeJ1vpBFsUBDUyIBSutNIxQMbNUMAeoUTKr55KYX8tkN5i
mzNqLaRCypYBPP9wED2AaO6e8njkbjzJwLgPqDBkW9sG3kmi3GW6cF4Hwr5ysZqve/5EJDhV+9Oh
fTu/4dMnoR4Q41HcjMk9MzLOADAQ0awBZ/29r0d49AUmIKELNeqEqmnTN6fndL7x/2K0TLToZLxq
S7sy/Jvi0wEFr0CfdjcAsioh7KaD+Jizyb1aRKQzJ6Q20VEHX7UqWc1SkzTkbz6xj0S5ydBBFQh0
fNiy+qM/deVpK4HgmPSJrrpQZ+LlbHfWabmwoDPxF71QZVYiqrrAoUrGRJ+47iLBiIg8miIYS7Hd
2ppvAUt24CugMXUjETjQ+oYh09fNi5n/AvoER8UBvTHLxt+blL0bvL+2z2YiUWk+2Qtn+dD+JU5Z
2y71qV7+cr+4YXjvGzF5bYsi8HiwflTb4Php3y+k1twKtchdcq2QGc0eDG6Y01nRHUiyr8/PtMAs
LHEPNZ2wzsA7fb8mftHiV20ZFmYqknJ8AIOfwdTVA+E62JayOJ+sxadqcmFDorsz/mrPwGZ8+txr
4xSuvVjg0dlv0yuA+1YpBDIYNfL4bkX+IcZ1mTstL4Xw0f4N2iW3bBmnPnYmoYxMM8gflCiTgss7
3nBvG2f7v1PD7BDGYNO4iD4vAgMBAAGjggGLMIIBhzAfBgNVHSMEGDAWgBRTeb9aqitKz1SA4dib
wJ3ysgNmyzAdBgNVHQ4EFgQUaQChxyFY+ODFGyCwCt2nUb8T2eQwDgYDVR0PAQH/BAQDAgGGMBIG
A1UdEwEB/wQIMAYBAf8CAQAwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwMEMDgGA1UdIAQx
MC8wLQYEVR0gADAlMCMGCCsGAQUFBwIBFhdodHRwczovL3NlY3RpZ28uY29tL0NQUzBQBgNVHR8E
STBHMEWgQ6BBhj9odHRwOi8vY3JsLnVzZXJ0cnVzdC5jb20vVVNFUlRydXN0UlNBQ2VydGlmaWNh
dGlvbkF1dGhvcml0eS5jcmwwdgYIKwYBBQUHAQEEajBoMD8GCCsGAQUFBzAChjNodHRwOi8vY3J0
LnVzZXJ0cnVzdC5jb20vVVNFUlRydXN0UlNBQWRkVHJ1c3RDQS5jcnQwJQYIKwYBBQUHMAGGGWh0
dHA6Ly9vY3NwLnVzZXJ0cnVzdC5jb20wDQYJKoZIhvcNAQEMBQADggIBAAoFTnsNjx8TOQD9b+xi
xsPt7Req4wHMeNw/R5dddEPgQAQAYJZKz5BEv1cjGbH7nbPH3AxrxhN6OVH40p6OLIo9MXSrrfMz
Gs7/P+FTCjwgNxFEtLQ1KC9NboA3asJcl7mIs3l8h9iAgEH1zLUvq2s+5n++NQmbzudDsTFDMapY
3kX1TwyUCTRzmItqcbsYIyg2MeIXWfRtqPqC5R4bufmpzA5BPINLX340Sp/CNQ9QZqw3VkfyHWwT
o+vO9Gm2L6srNamJT6Lb+TeXZvl8UPL5a72O/pH0GgGHjt6z9QzPARnaRKshVWviNK6ST4WmZHll
u3CJg0BXqx1vWyswawgvNeWt1qxITacYe9mSWTbNR2CftvTUwerruDSY2jMaZPoNqbjUpuG/blYw
WzzvVerBUhviAahPXJF/9V48ybWPBq6qKOEokW+s3B4ad5sY96KlovEijaIQDip1HO0SD+rLNYai
Bcr9MV2aK+DfbZ8w9BaNCQyFEYwzxIKOVk3bYvzHRk5ihUDascmbk/bkiNl74c/KfuKQmJImaqWo
WZR6jBcXcPV0WUIKz/nILTpFhGojZEQW77by3aezAi9jrEIUBHRG1LwzPbJc2V3SOzYyaJFQatzu
KZbN1Q9s9y/2x1QXtKwREY8jNgvx0iIfOK35gKgYJJcyDql4XfuEc2nVMIIHZDCCBUygAwIBAgIQ
ThtP+BLGVvw81AOrtuiGfjANBgkqhkiG9w0BAQwFADBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQ
R0VBTlQgVmVyZW5pZ2luZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNDAeFw0yNDEwMjMw
MDAwMDBaFw0yNjEwMjMyMzU5NTlaMIHWMQswCQYDVQQGEwJERTEcMBoGA1UECBMTTm9yZHJoZWlu
LVdlc3RmYWxlbjEkMCIGA1UECgwbVW5pdmVyc2l0w6R0IER1aXNidXJnLUVzc2VuMREwDwYDVQRh
EwhHT1ZERStOVzEsMCoGCSqGSIb3DQEJARYdamFuaXMudm9pZ3RsYWVuZGVyQHVuaS1kdWUuZGUx
FTATBgNVBAQMDFZvaWd0bMOkbmRlcjEOMAwGA1UEKhMFSmFuaXMxGzAZBgNVBAMMEkphbmlzIFZv
aWd0bMOkbmRlcjCCAiIwDQYJKoZIhvcNAQEBBQADggIPADCCAgoCggIBALdLFx/B8st4OAgvcw47
kzjBDNHYHxAw8lnz2OyLsfkBzmpaa/6jQ7PxOthkzVDzwVzELkMgVLVFYDS2RcclgjJf2JEnU4gR
aXYtCHbQfMzlOuDhTyXC3MpfubgurYI+OJjWawp8QEd0Hj/1LzQJKqmfMORsGSX1W/Rkw+JX5UGx
0Ept1djWRRh071+hmIs6zaR7sxqNiNv0Mb2bTMlpsNamQA1SbMZbaT2GHcxVnIM7VOy/q1EdjNgD
A35V6QLehG1JVjkuhvmCPFv/BV/NlKofSREk8cdZZwd304Co3v58QlzOfBcma8gMH6XI4dzh3c2g
s2fWCYlxTR7BGYtFVMIbrrmnq5T9KCt1zqLfCYJCDLgeQ+kCKVoa4HUns4wTatqPXofOGmLUSsgP
K7NMRyMhVpfbCLBR+UlGDo7etlyDEIUEnuOadIV74elJVX9eOVYxjZB8iUlbkNfU9O4iljPWDu3W
wQJiCV2GMTQi6RtXwJBwl3UwZx2WWQSDZiIU+k6oNOnoR5cMBdkmkITh7jv9DYuvh/6xxHXfmppJ
6GKpg8lEzhx7AKQpIut923cftJC/KWQ/mVR5w0+C/SMuMh52JjYTSTNY+vFEa1VcPmB3jyDiqJtq
x742Nq7Mr4ha0NBjLYrPFzuCBBZL1sIL4gQiBGTb/qB1Xigx8AC9NtinAgMBAAGjggG7MIIBtzAf
BgNVHSMEGDAWgBRpAKHHIVj44MUbILAK3adRvxPZ5DAdBgNVHQ4EFgQU+Y2s13NVS01WbPaU/Y8i
nqNpK18wDgYDVR0PAQH/BAQDAgWgMAwGA1UdEwEB/wQCMAAwHQYDVR0lBBYwFAYIKwYBBQUHAwQG
CCsGAQUFBwMCMFAGA1UdIARJMEcwOgYMKwYBBAGyMQECAQoEMCowKAYIKwYBBQUHAgEWHGh0dHBz
Oi8vc2VjdGlnby5jb20vU01JTUVDUFMwCQYHZ4EMAQUDAjBCBgNVHR8EOzA5MDegNaAzhjFodHRw
Oi8vR0VBTlQuY3JsLnNlY3RpZ28uY29tL0dFQU5UUGVyc29uYWxDQTQuY3JsMHgGCCsGAQUFBwEB
BGwwajA9BggrBgEFBQcwAoYxaHR0cDovL0dFQU5ULmNydC5zZWN0aWdvLmNvbS9HRUFOVFBlcnNv
bmFsQ0E0LmNydDApBggrBgEFBQcwAYYdaHR0cDovL0dFQU5ULm9jc3Auc2VjdGlnby5jb20wKAYD
VR0RBCEwH4EdamFuaXMudm9pZ3RsYWVuZGVyQHVuaS1kdWUuZGUwDQYJKoZIhvcNAQEMBQADggIB
AGAQUdcOm0twCUdPLIfLanDigvyHMBGdrVcfVEKWbOlL7QluyxtpVTqZNIRemiqG2T+UDJ+QwqJh
G87umbEW4e2LBTqMTRxRmTQg0PLKvqdGTSeufvT3g+nEx3/ymo9SYy4Hm2AJPtoIPKulad4LowSZ
7JRklhwAvMIYJpOQqyljrs+bTDmFUZiFoZGKB8csHrttuLOlnQbzfX9FykCuy37XxgKTd6Hwu6yl
BESJXZfOuQDpGYulBPZq3rjX7HM0w1VQcrCjbfwbz0dSaI5Q3vL9W7aTN8doe4a+7ug+cLl545kX
r6cCiLD2p20zqlQRsNdv5mU1oYTDLZzR2Nk2Y10TyA7Z8yUNSNd90eEATNZCpRLPJBVYMVYU0RRI
3pY0ksw0/EJs0j6dPX24wklThCBwh1uxAOW9GIjAQc5M9ORKHvkulr74jlrar4COc0zKAcG+7SVy
5hnCip5vz/cKb4vsykc6H7H3DQzkwpOVmdNrgwWuL20pvakbaKsFL/ivONiNUnVFvLxOdEOvVmhB
Irx19wBzk1Qx4VR1KHKJoaTHsJfMumT1MqVY6G0bZne/G1ExD3Pt343bfpRlIz4SXf8vbs9wtLLq
F6+sJ1QUmXlp+5/EikshQdseVwWHF12N2Ekehk3u8qoRhzY/4IO8bij04duFXFGtJulfZvYBCLGa
MYIEYDCCBFwCAQEwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VBTlQgVmVyZW5pZ2luZzEc
MBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQThtP+BLGVvw81AOrtuiGfjANBglghkgBZQME
AgEFAKCCAdcwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMjUwNDI1
MjAzNjI0WjAvBgkqhkiG9w0BCQQxIgQgtpGFBHGDSuxKF3GJZLh6wCDur10bkuw38mlLNA6qnpQw
aQYJKwYBBAGCNxAEMVwwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VBTlQgVmVyZW5pZ2lu
ZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQThtP+BLGVvw81AOrtuiGfjBrBgsqhkiG
9w0BCRACCzFcoFowRjELMAkGA1UEBhMCTkwxGTAXBgNVBAoTEEdFQU5UIFZlcmVuaWdpbmcxHDAa
BgNVBAMTE0dFQU5UIFBlcnNvbmFsIENBIDQCEE4bT/gSxlb8PNQDq7bohn4wgZMGCSqGSIb3DQEJ
DzGBhTCBgjALBglghkgBZQMEASowCwYJYIZIAWUDBAEWMAoGCCqGSIb3DQMHMAsGCWCGSAFlAwQB
AjAOBggqhkiG9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwCwYJYIZIAWUDBAIBMAsGCWCGSAFlAwQC
AzALBglghkgBZQMEAgIwBwYFKw4DAhowDQYJKoZIhvcNAQEBBQAEggIAH3tUWcYkre270Nr1T7zp
ZlPahQRhrq1YCm+Nq0vc5QQEKADwZNsFFP4rjwGbmMM7BPiGPCVD1DmHfqX83VEHH6mkBlPbDG44
kMbdMz/Hta+QyrpzDNjmbTxy8cB+csOINWrR6zbI5/ff/yDnNRRslYPnIDxil2CYQUihv0E4l0oH
enXXmSUGvOqFN1Pg/UrErLHr69Ml8LzLds4ghoi6xwEDnSj3nJ2KNcJVWsua4UkC7l0bv8bIYAG7
yXqyFeRNv196LKruJuUmgLT6ULoTt9DrwdiRzcZjKDE+Vi6Vvk2xm6z2VUSyDcT1/hSccD8nlwcb
bIbmQyHaPUq0oleX8vLIEdczSyr7pE7WzymZsWWE4Ojcl+EhwlykzMw/8o9Pd986K3DIv5nlL5Ed
C55uLmwh1HdMMPDSVQ8amj1pQfz72sY4cmC7c7y9eGzqbhBhNmxgkOGfdDsXjpCz52F2r61dPJOS
+GoJxdeEnSlF1DnKn+5dyHfdgSz3LCW/0xdihe9ROmXREbg+TX/g1Q/qEeqMwDZn0HA+YQcyg2Le
zXmsHFmuspiql/0EnyPuW+zUXpUfUry30FRbgSV8fMZra1FusuKB+KXaJ+BxtDNzvzF1DZxp0Esp
9/lbB6YXBFxHX1VX/zdzgyn/J0IPtwe21i1pBFGxOEb3C0NLE3qM8vUAAAAAAAA=

------=_NextPart_000_0073_01DBB632.79F6D080--

--===============6104099625087166429==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBt
YWlsaW5nIGxpc3QKSGFza2VsbEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9j
Z2ktYmluL21haWxtYW4vbGlzdGluZm8vaGFza2VsbAo=

--===============6104099625087166429==--