files with names <number>_(...).gif
are zoomed/cropped versions of corresponding file (...).gif
where number is the crop-position on the diagonal (and crop 
size is 200x200 for fig14).

crop.sh = script to obtain cropped versions (requires Linux and graphic 
utility "convert" of ImageMagick-package).

for other information on *.gif and gen*dat files => main README file
