





def      a    (   _lowercase :  int = 1_0_0_0							)  ->List[Any]:
		UpperCamelCase__								=						0
		UpperCamelCase__								=						(n - 1) // 3
		total += ((terms) * (6 + (terms - 1) * 3)) // 2  # total of an A.P.
		UpperCamelCase__								=						(n - 1) // 5
		total += ((terms) * (1_0 + (terms - 1) * 5)) // 2
		UpperCamelCase__								=						(n - 1) // 1_5
		total -= ((terms) * (3_0 + (terms - 1) * 1_5)) // 2
		return total


if __name__ == "__main__":
				print(f"""{solution() = }""")











import json
from typing import List, Optional, Tuple

from tokenizers import normalizers

from ...tokenization_utils import AddedToken
from ...tokenization_utils_fast import PreTrainedTokenizerFast
from ...utils import logging
from .tokenization_mpnet import MPNetTokenizer


__lowerCamelCase :    List[Any]      						=      logging.get_logger(__name__)

__lowerCamelCase :    Optional[int]      						=      {'''vocab_file''': '''vocab.txt''', '''tokenizer_file''': '''tokenizer.json'''}

__lowerCamelCase :    List[Any]      						=      {
    '''vocab_file''': {
        '''microsoft/mpnet-base''': '''https://huggingface.co/microsoft/mpnet-base/resolve/main/vocab.txt''',
    },
    '''tokenizer_file''': {
        '''microsoft/mpnet-base''': '''https://huggingface.co/microsoft/mpnet-base/resolve/main/tokenizer.json''',
    },
}

__lowerCamelCase :    int      						=      {
    '''microsoft/mpnet-base''': 5_12,
}

__lowerCamelCase :    Union[str, Any]      						=      {
    '''microsoft/mpnet-base''': {'''do_lower_case''': True},
}


class  lowerCamelCase     (		_lowerCamelCase    ):






			'''simple docstring'''





			UpperCamelCase__										=VOCAB_FILES_NAMES
			UpperCamelCase__										=PRETRAINED_VOCAB_FILES_MAP
			UpperCamelCase__										=PRETRAINED_INIT_CONFIGURATION
			UpperCamelCase__										=PRETRAINED_POSITIONAL_EMBEDDINGS_SIZES
			UpperCamelCase__										=MPNetTokenizer
			UpperCamelCase__										=['''input_ids''', '''attention_mask''']

			def __init__(			self      : Optional[int]							,    lowerCamelCase_      : List[str]=None							,    lowerCamelCase_      : int=None							,    lowerCamelCase_      : Dict=True							,    lowerCamelCase_      : int="<s>"							,    lowerCamelCase_      : Dict="</s>"							,    lowerCamelCase_      : int="</s>"							,    lowerCamelCase_      : List[Any]="<s>"							,    lowerCamelCase_      : Union[str, Any]="[UNK]"							,    lowerCamelCase_      : Any="<pad>"							,    lowerCamelCase_      : Dict="<mask>"							,    lowerCamelCase_      : Optional[Any]=True							,    lowerCamelCase_      : List[Any]=None							,    **lowerCamelCase_      : List[Any]							,    )    -> Dict:
								super().__init__(
								    lowerCamelCase_							,    tokenizer_file=lowerCamelCase_							,    do_lower_case=lowerCamelCase_							,    bos_token=lowerCamelCase_							,    eos_token=lowerCamelCase_							,    sep_token=lowerCamelCase_							,    cls_token=lowerCamelCase_							,    unk_token=lowerCamelCase_							,    pad_token=lowerCamelCase_							,    mask_token=lowerCamelCase_							,    tokenize_chinese_chars=lowerCamelCase_							,    strip_accents=lowerCamelCase_							,    **lowerCamelCase_							,    )

								__magic_name__				:						Any     				=				json.loads(self.backend_tokenizer.normalizer.__getstate__()	)
								if (
								    pre_tok_state.get('''lowercase'''							,    lowerCamelCase_	) != do_lower_case
								    or pre_tok_state.get('''strip_accents'''							,    lowerCamelCase_	) != strip_accents
								):
													__magic_name__				:						int     				=				getattr(lowerCamelCase_							,    pre_tok_state.pop('''type'''	)	)
													__magic_name__				:						str     				=				do_lower_case
													__magic_name__				:						Union[str, Any]     				=				strip_accents
													__magic_name__				:						str     				=				pre_tok_class(**lowerCamelCase_	)

								__magic_name__				:						List[Any]     				=				do_lower_case

			@property
			def 				UpperCAmelCase__							(			self      : str	)    -> str:
								if self._mask_token is None:
													if self.verbose:
																		logger.error('''Using mask_token, but it is not set yet.'''	)
													return None
								return str(self._mask_token	)

			@mask_token.setter
			def 				UpperCAmelCase__							(			self      : Any							,    lowerCamelCase_      : List[str]	)    -> Optional[int]:
								__magic_name__				:						List[str]     				=				AddedToken(lowerCamelCase_							,    lstrip=lowerCamelCase_							,    rstrip=lowerCamelCase_	) if isinstance(lowerCamelCase_							,    lowerCamelCase_	) else value
								__magic_name__				:						Tuple     				=				value

			def 				UpperCAmelCase__							(			self      : str							,    lowerCamelCase_      : Optional[Any]							,    lowerCamelCase_      : Any=None	)    -> List[Any]:
								__magic_name__				:						Optional[int]     				=				[self.bos_token_id] + token_ids_a + [self.eos_token_id]
								if token_ids_a is None:
													return output

								return output + [self.eos_token_id] + token_ids_a + [self.eos_token_id]

			def 				UpperCAmelCase__							(			self      : List[str]							,    lowerCamelCase_      : List[int]							,    lowerCamelCase_      : Optional[List[int]] = None	)    -> List[int]:
								__magic_name__				:						Tuple     				=				[self.sep_token_id]
								__magic_name__				:						Any     				=				[self.cls_token_id]

								if token_ids_a is None:
													return len(cls + token_ids_a + sep	) * [0]
								return len(cls + token_ids_a + sep + sep + token_ids_a + sep	) * [0]


			def 				UpperCAmelCase__							(			self      : Optional[int]							,    lowerCamelCase_      : str							,    lowerCamelCase_      : Optional[str] = None	)    -> Tuple[str]:
								__magic_name__				:						List[Any]     				=				self._tokenizer.model.save(lowerCamelCase_							,    name=lowerCamelCase_	)
								return tuple(lowerCamelCase_	)



