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

--===============7031209032414999724==
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_0021_01DCEFC5.31710B00"

------=_NextPart_000_0021_01DCEFC5.31710B00
Content-Type: text/plain;
	charset="utf-8"
Content-Transfer-Encoding: quoted-printable

WPTE 2026 (affiliated with FLoC 2026 in Lisbon, Portugal)

12th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (19 July 2026)

Webpage:     https://wpte2026.github.io/

Early Registration by 1 June / Late Registration by 13 July

-------------------------------------------------------------------------=
--

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:

- Nada Amin, Harvard University

- Nikos Tzevelekos, Queen Mary University of London (joint with GaLoP =
2026)

as well as six contributed presentations:

- David B. Hulak, Arthur Freitas Ramos and Ruy J.G.B. de Queiroz: Sound=20
Rewrites for Measurement-Bearing Expressions via Token-Sensitive=20
Enclosure Semantics

- Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Trace Formula =

Implication with Least and Greatest Fixpoints

- David Sabel and Manfred Schmidt-Schau=C3=9F: Improvement Theory for=20
Probabilistic Call-by-Need

- Misaki Kojima and Naoki Nishida: On Comparing Python Programs Based on =

Differences in Rewrite Sequences to Support Grading Programming =
Exercises

- Katarzyna Marek and Cl=C3=A9ment Pit Claudel: Tactic-driven code =
fusion

- =C8=98tefan Ciob=C3=A2c=C4=83, K. Rustan M. Leino, =
=C8=98tefan-Alexandru Mercas and=20
Roxana-Mihaela Timon: An Interactive Proof Mode for Dafny Based on Back=20
Translation of Verification Obligations

-------------------------------------------------------------------------=
--

Program Committee:

Martin Avanzini, Inria Sophia Antipolis
Carsten Fuhs (co-chair), Birkbeck, University of London
Jan-Christoph Kassing, RWTH Aachen University
Thomas K=C5=93hler, ICube Lab, CNRS, Universit=C3=A9 de Strasbourg
Misaki Kojima, Nagoya University
Rub=C3=A9n Rubio, Universidad Complutense de Madrid
Traian =C5=9Eerb=C4=83nu=C5=A3=C4=83, University of Bucharest
Germ=C3=A1n Vidal, Universitat Polit=C3=A8cnica de Val=C3=A8ncia
Janis Voigtl=C3=A4nder (co-chair), University of Duisburg-Essen


------=_NextPart_000_0021_01DCEFC5.31710B00
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
AgEFAKCCAdcwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcNMjYwNTI5
MjE0NTEzWjAvBgkqhkiG9w0BCQQxIgQgbXDd4qxPtbLAkOG7JYUnofVrRfhdxrQGQqxAfgiMPjEw
aQYJKwYBBAGCNxAEMVwwWjBGMQswCQYDVQQGEwJOTDEZMBcGA1UEChMQR0VBTlQgVmVyZW5pZ2lu
ZzEcMBoGA1UEAxMTR0VBTlQgUGVyc29uYWwgQ0EgNAIQThtP+BLGVvw81AOrtuiGfjBrBgsqhkiG
9w0BCRACCzFcoFowRjELMAkGA1UEBhMCTkwxGTAXBgNVBAoTEEdFQU5UIFZlcmVuaWdpbmcxHDAa
BgNVBAMTE0dFQU5UIFBlcnNvbmFsIENBIDQCEE4bT/gSxlb8PNQDq7bohn4wgZMGCSqGSIb3DQEJ
DzGBhTCBgjALBglghkgBZQMEASowCwYJYIZIAWUDBAEWMAoGCCqGSIb3DQMHMAsGCWCGSAFlAwQB
AjAOBggqhkiG9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwCwYJYIZIAWUDBAIBMAsGCWCGSAFlAwQC
AzALBglghkgBZQMEAgIwBwYFKw4DAhowDQYJKoZIhvcNAQEBBQAEggIAEWhD8ahitX11ThBKBNOC
xi4qJthnkv93eICCdczfLpBlJrQJVVxWGrzGg79LS00N69DaLHFPqy+2HpdsAQc6veIafGxl5suo
UUtjNl+gzGxWZY6+TrKNI2YDoUv7qFWb8FEttbLC+BfgZoZ8fjJgKb+5eHEh99p8dj58KEjKpK7/
j2JkYVBFTa5ZO9D2zp/E09OjU7kyVQ78JvW8vEI8x/FytIp21+HlZUGOalqRTlrCEnGcFttwQKx1
BNX9oJlbenAv7Xq2gUhYR28PTp8Zoj/raA/7mHpx+OqIS7pSUxaGZjzXOutXaFXMDi7tibywiLeK
2noKLKkswBQ+RMkPUiizOS9/X+t+PUXRd6l1/65Lo6uVLDI1uaFihRDG4BCmsVPrexMXh3Jb/krw
vyMGxfcVXMsbeM5avuGH3axMEEdUPbHizTptkOaldnzCWY/DnllrZMfk/qBPu5yUKLUa0kTtkBup
c4renrGe8gnQNG9QWiiFUKmI/3oCZZB1gsRIzSZ/xPWANjEGGN377AIboewU5P9JTgiob2iKdX71
EG7GHLa+hkvwMt40Y9/oRG3EnLdDo4OsW8y7HyhLy+jH25SZNdxaNJPUQ27XkTsClcNMiJr4osKL
GaVfvEf3uU76EJirclZZMJk9rP3nvCnBWlgmhwEZu9LIlv1sYVF3CFIAAAAAAAA=

------=_NextPart_000_0021_01DCEFC5.31710B00--

--===============7031209032414999724==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Haskell mailing list -- [email protected]
To unsubscribe send an email to [email protected]

--===============7031209032414999724==--