Note:

The PIMA datafiles described in the manual pages are found in
the directory $PIMA_HOME.