<s> DATE_FORMAT = '<STR_LIT>' <EOL> TIME_FORMAT = '<STR_LIT>' <EOL> MONTH_DAY_FORMAT = '<STR_LIT>' <EOL> SHORT_DATE_FORMAT = '<STR_LIT>' <EOL> DECIMAL_SEPARATOR = '<STR_LIT:.>' <EOL> THOUSAND_SEPARATOR = '<STR_LIT:U+002C>' </s>
