MATH=STANDARD
NOSTACKCHECK
STRINGMERGE
STRUCTUREEQUIVALENCE
OPTIMIZE
SAVEDS
NOICONS
MEMORYSIZE=HUGE
OPTIMIZERTIME
