• USED_MAPS.TXT

USED_MAPS.TXT

Created by ["bigmap.e"]

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 ["Iterate"] a bigmap.

T00144
T00145
T00146
T00160
T00161
T00162
T00163
END