WPTE 2025 - Deadline extended - Rewriting Techniques for Program Transformations and Evaluation

--===============6773140470758017588==
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_0041_01DBC17C.587F8820"

------=_NextPart_000_0041_01DBC17C.587F8820
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit

The submission deadline has been extended by five days:

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:    14th 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: 14th May 2025 (AoE)
Notification of acceptance: 11th June 2025
Early Registration for the conference: 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_0041_01DBC17C.587F8820
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
AgEFAKCCAdcwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMjUwNTEw
MDUyMjU0WjAvBgkqhkiG9w0BCQQxIgQgbnVqv6OIOL4tOjxjP+VPraIYBDKqsP3iTecrdN4AsCMw
aQYJKwYBBAGCNxAEMVwwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VBTlQgVmVyZW5pZ2lu
ZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQThtP+BLGVvw81AOrtuiGfjBrBgsqhkiG
9w0BCRACCzFcoFowRjELMAkGA1UEBhMCTkwxGTAXBgNVBAoTEEdFQU5UIFZlcmVuaWdpbmcxHDAa
BgNVBAMTE0dFQU5UIFBlcnNvbmFsIENBIDQCEE4bT/gSxlb8PNQDq7bohn4wgZMGCSqGSIb3DQEJ
DzGBhTCBgjALBglghkgBZQMEASowCwYJYIZIAWUDBAEWMAoGCCqGSIb3DQMHMAsGCWCGSAFlAwQB
AjAOBggqhkiG9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwCwYJYIZIAWUDBAIBMAsGCWCGSAFlAwQC
AzALBglghkgBZQMEAgIwBwYFKw4DAhowDQYJKoZIhvcNAQEBBQAEggIAEFtvMCfUPLj2B8Xaz729
7Qzfi6N1f43IvALOicOFxktn4ECF0F9ReS7PNLVhk+l+7m2FY+awSZCAPWtLw/270ss8YMbZxxZH
Qmi9BY7UJA16XKhvxJiPnnYx9prvreLEmp7z6zaWm7H3nD1ZMVzgnJdlZmljAqrC1/v9wJfoQRsx
F7DhLyWq9M/fqVpdcNSQ/aUXwxLlXbmZqsG42mtST470H6B6gLQFfzRl4pbPWFNkF76dQqf01V1V
Zpe9k358vkknnZPEQy6SoXbKuQzo4HW/vEfEvxAXJM+A6WbDrSxUNqU69MlZpkgctJB8A7aRwyVm
ixp/z+tgUNdAJZSm89Y3fiaI88xwiSrZP9eGl2gKcSxncfE4q6FSkGGRhz+PYdYdsL6agfD3enA3
zCr30LUbSxIsc/EefsrCSIAPNttxaZUWNXLKIoi/wsycmSIEVL7vdtBxNXx1MmddsdGu9AU4dGv/
ADDha1ntT3CuBV6UIJlcW2Tm4fsA8bQBaBsc1FFUVzHF2OZfNxcUGWi/voDlbqbk4wD4OuDH9leq
ktO7R2dXITIeR1hPaj9eY6U6iCgJ3CfRpfTocApfbK07FIJQmjbpLiC3/vtwx8hmfeWodzT1nUeC
7Oi8AinoOctUj/hcN0WTD/Iw7ghavjDj6inY37JUbr6M1csWczI6nuoAAAAAAAA=

------=_NextPart_000_0041_01DBC17C.587F8820--

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

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBt
YWlsaW5nIGxpc3QKSGFza2VsbEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9j
Z2ktYmluL21haWxtYW4vbGlzdGluZm8vaGFza2VsbAo=

--===============6773140470758017588==--