USED_MAPS.TXT

Created by bigmap

A simple text file listing all of the maplets that were used by bigmap.e the last time it was run. This contains all the maplets that fall on or inside of the bigmap.

This is useful when running proceedures, such as Standard_iteration a bigmap.

T00144
T00145
T00146
T00160
T00161
T00162
T00163
END