17 lines
833 B
Standard ML
17 lines
833 B
Standard ML
-----BEGIN PGP SIGNATURE-----
|
|
|
|
iQIzBAABCgAdFiEE2BwMs463Je9mkcOFu0YzUNbvMe8FAmcEyZ8ACgkQu0YzUNbv
|
|
Me8KBxAAiWxyAduua4Ck0gc9GqKyp0G49lJpYzVvdc/lrskwV7lBJ5ShQOGSLcUV
|
|
qkqBLw1XgzdB6QjNowRQzeJMEZkUOLbsrL15UocXAbT2YSF2vCqU4bYixv1KCGxG
|
|
yQQUraKxcL9iSIE1MSfdzjhal4BXP8D2w55mcIHdzfnOUAgqRbFB8d5DpxZZjsrR
|
|
OThuhadAlpAlcjTaj3dHvx/FccVgqlogFMjltxhuGB9R4cYv8xnjDtJ8FKWBYVZn
|
|
bZz9Y/cKk7ZanJqgdYFXi4IOnTlWk6cUZzcK3uqAN7HF7Ur3Y3xtGUlm+ma5qqbz
|
|
nd9zU7OAFIhNbppNQm3ABp7HBwfhJXHF0wKZn84k0YwHiXdN3YpsnRLfhXToOz0E
|
|
6BkyRf4/zv6abN8QaUZ97evzcQkuya1btE6nW6m4l6XLKjPj8YGk0NCPDarcafuw
|
|
s8Z/1/ESopED+WEfCtEKJDBtOSvv23Q7aUc3jdvxZR2U67+wTlp5EfEDApMwahOs
|
|
j2N4QQXeyWMAcTe1WHzRViMbcoxeGaszd1+jr3EVKFdbRCgPkDzy7evVi3aPByox
|
|
k6hHBc/sigqNvzN0C2U3DXMnkNltzwlJKfq0f3riPQAvxVmawtHqwzQ4Ve3pCerR
|
|
IZDtak5xM9MwNgNmR4e3FQ2JGPGNYsj6L5QwyRBLRvDN1I3YuZY=
|
|
=32AG
|
|
-----END PGP SIGNATURE-----
|