= 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

}}}