Don't print default values for NumberOfAuxSymbols and AuxiliaryData.