SAVE-INSTANCES
SAVE-INSTANCES
Saves all instances to the specified file.
(save-instances <file-name>)