17 lines
833 B
Standard ML
17 lines
833 B
Standard ML
-----BEGIN PGP SIGNATURE-----
|
|
|
|
iQIzBAABCgAdFiEE4KPrIC+OV1KOE+cv11dEg7tXsY0FAmcXoPMACgkQ11dEg7tX
|
|
sY2j9hAAu6Lv8nhxN+2Uyt4QKT7Hutv5Ok1VZcEpZ1rUqSsa3wwgnCrJOmLwuKOc
|
|
Zc234gW8ZpW4U/9HFMi1TwSHVk0J1zntF03gMNXySnWyg9iqe0CPix+QpGpDtOqT
|
|
/16LLrL3A2pQdXtuvWe6t1O/nFWO18hk/uFl36rkUrkyVCTMpovl1dfz2PSRUuIs
|
|
r6dBjAYPfBncFuyHtvLkeqKLAujrTe5Wjpo07e9ZUMs1R6XvgkripHuZdGse0W1o
|
|
81A/DpdKjTFsDpn6kXtyXeMlwz5JGF6rcYhlGEDoA7yO2y2qG71Iab2LOibmoHxn
|
|
20T376cKMvLoiLuEaZtSzGAR59qclgRKkqjKfFV9tbt9PoFhYWEJa1UQEkoRsQ0l
|
|
9Ww2V1H0drgl648vn6Ulvl0LiFeCIYnSPHaJhqeNkDV5SlHeYyxQX500dEUJPX9M
|
|
9vdQK8SCxuDWCkSklDtXhWQMggQScGdGPRjEoBMKgoksIzgmNx9vmvudM9rfySqh
|
|
7O6A0WN9Dh75Qir+lrm+GVo9Ezv8/sztVFyXKNQqj82htZ7YGwSwjQOxriICWHu3
|
|
n1p+cFkI5Jbyi2Uk4FYdwWPCIeFhq33adOQcaI21aeeST5WB7ow0JNRSPThYqW3O
|
|
Ip+zeE8gUsbcILqWq3XCIlX1/0dFZhxQ8PkWGuh+NJCds+J+VvQ=
|
|
=nkST
|
|
-----END PGP SIGNATURE-----
|