17 lines
833 B
Standard ML
17 lines
833 B
Standard ML
-----BEGIN PGP SIGNATURE-----
|
|
|
|
iQIzBAABCgAdFiEE2BwMs463Je9mkcOFu0YzUNbvMe8FAmZn4z8ACgkQu0YzUNbv
|
|
Me+3jA/9Eyn+NNE1wEJ1dq/owUs9Zeh8fTfkcE9rJlD9vaebhmwzwlXNdyYctuE8
|
|
vtdHsIaaobBmlWfOtIBs25Ity0isN+18nmARGpO6Nswq0r8VYggluFJHfXZ6ig6l
|
|
t5m4dvzyuI4P9Ho7ncExn7da2xeJrf2hLAnqEQbVI2dyd4rD15IMoLwF/3n8letx
|
|
GP0uvfKzDKv+PwCkLx7jGWKQSAWT2tFL3d6yukIVRK1RQe1sbXyRswEi4mXAUyHR
|
|
2aHlpeo7FrgcOXhBMmc2FCFcJwsAx8hsApDSviCrFeOyYV2lA7pf08LdtQem/MJl
|
|
1TFXW/e5PiTZP3p4hiI/HgpxGlz3ZeY2OgV6pW0lKplbwMkSjsonVKO3AJHXlFeY
|
|
3MMqqZPcfktyT1UY7U/X6ENXR///JgplACUaZvbAs5yAemRdyRuUvbiXNdjiZ9pb
|
|
ZvlloBL6j30BQuvadamJ/fztn89nWLK2l0ckYgVD1K+iyoydXrDgG3aD4JdO2U3n
|
|
px1Pccsm/hHbJ7CHi+ibCdjjKRqi/fZYfmOVI3EwN9NUYGB/nPjN+BaqTNU+wt53
|
|
WHiAOTL9Q4/+OnxVqCIeJqOTInPim9PM/Xa7liBpRUFE2IKI35AzibQBdDUCm/S/
|
|
xl2ucKP3jwYDpx+GA1sP2slM4JJZJwlEmZCdMmp/j/h+6DRminY=
|
|
=4PYd
|
|
-----END PGP SIGNATURE-----
|