WPTE 2025 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation

--===============7642853664461017926==
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_01DBDDE4.C5AF3EC0"

------=_NextPart_000_0073_01DBDDE4.C5AF3EC0
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/

---------------------------------------------------------------------------

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.

---------------------------------------------------------------------------

The workshop will have two invited talks, by:

- Alex Gerdes, University of Gothenburg and Chalmers

- Sebastian Maneth, University of Bremen

as well as eight contributed presentations:

- Misaki Kojima and Naoki Nishida: On Transforming Prioritized 
  Multithreaded Programs into Logically Constrained Term Rewrite Systems 

- Kasper Hagens and Cynthia Kop: Bounded Rewriting Induction for LCTRSs 

- Leonid Nosovitskiy and Adam D. Barwell: Refactoring Protocols For 
  Crash Safety 

- Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Partial 
  Correctness of Separation Logic with Recursive Calls 

- David Sabel and Manfred Schmidt-Schauss: Probabilistic Lazy PCF with 
  Real-Valued Choice 

- Ghilain Bergeron, Horatiu Cirstea and Stephan Merz: Towards a verified 
  compiler for Distributed PlusCal 

- Naoki Nishida and Nozomi Taira: On Merging Constrained Rewrite Rules 
  of Induction Hypotheses in Constrained Rewriting Induction 

- Dragana Milovancevic, Carsten Fuhs and Viktor Kuncak: Proving 
  Termination of Scala Programs by Constrained Term Rewriting 

---------------------------------------------------------------------------

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


------=_NextPart_000_0073_01DBDDE4.C5AF3EC0
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
AgEFAKCCAdcwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMjUwNjE1
MDkwMDU3WjAvBgkqhkiG9w0BCQQxIgQgaaQ9m5W2qMsT/hAcz3lZNrsRpTJ2eqMKUAtJJ5/sjEIw
aQYJKwYBBAGCNxAEMVwwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VBTlQgVmVyZW5pZ2lu
ZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQThtP+BLGVvw81AOrtuiGfjBrBgsqhkiG
9w0BCRACCzFcoFowRjELMAkGA1UEBhMCTkwxGTAXBgNVBAoTEEdFQU5UIFZlcmVuaWdpbmcxHDAa
BgNVBAMTE0dFQU5UIFBlcnNvbmFsIENBIDQCEE4bT/gSxlb8PNQDq7bohn4wgZMGCSqGSIb3DQEJ
DzGBhTCBgjALBglghkgBZQMEASowCwYJYIZIAWUDBAEWMAoGCCqGSIb3DQMHMAsGCWCGSAFlAwQB
AjAOBggqhkiG9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwCwYJYIZIAWUDBAIBMAsGCWCGSAFlAwQC
AzALBglghkgBZQMEAgIwBwYFKw4DAhowDQYJKoZIhvcNAQEBBQAEggIAGVXFxpp93b8Nc0vbRt7W
vbg1Uwt276PV0yKr/cClIZ9Pzkrp7OCuZskGatyi+/7EIiA2jqaks9I2ldBqx1yCJ6Hl1nR9JHjq
cXDQenAirloYfEUo6eTEdhJFxmNamllau/sazen77TOgfUXvdQPL6jJjiaPOZ+terxx8pfKWVYSE
sb51sf89LJGK9BFvofzd0g9rJ0s0o61KVCbUhoTIC+pdIuBeXeUTSdMW9fWO7Ge++9unaVxx7Bul
lN88TpTauz8z6YjQiwVy4+6NPt5HuWQAwf2VgpW/dzrFAr5P/I8ajdX5Kk873m/C8OqiuYGEVUjl
MQOrQwXbz5yfV9B8uyIsSuOgc1KagJxe2WGH5hbrqlqMGobDhx1VQ/H9tGZ8LizDIMlLcXC1Qrwc
ddGiNkq0+IhL89o9OvQUxxnSJTCoS/jl6sJ3zh7DCgsisF+GwWvCSf0YNuZZt36NsDWlDtaZgnvs
WU4gLwFw/oeMzvSZNx5oCHn3rFr3N1Qx5qHUaN2fERW7vaxdnH9e5epNv62D+UKZHMBbb2U1c3AJ
CFDEMI6nfakEocOM7EkwCRwnMyf7SJgHnGXkzvZ0E6PxMuFJEN2MpelWhRxJ54mvuwhA452SgzSz
MWZeeODd1tsNS2uRfGF77VhBTJCmrXlRGp6HE8WTycgAKSL8Q29SLtcAAAAAAAA=

------=_NextPart_000_0073_01DBDDE4.C5AF3EC0--

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

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBt
YWlsaW5nIGxpc3QKSGFza2VsbEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9j
Z2ktYmluL21haWxtYW4vbGlzdGluZm8vaGFza2VsbAo=

--===============7642853664461017926==--