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