Your license information for platform 'x86_64-darwin-11.0.0' is as follows:

Decryption key:     mtsbnjthmrum
Site name:          studentSP4di.uminho.pt
License code:       c67c-bytx-a7xq-c99c-43na
Expiration date:    permanent

This information is entered either during installation or by modifying your
license information after installation.  This is done by typing the following
at a command prompt:

> splm -i studentSP4di.uminho.pt
> splm -a sicstus4.2_x86_64-darwin-11.0.0 permanent c67c-bytx-a7xq-c99c-43na