'''simple docstring'''






import math
from itertools import permutations





def    _SCREAMING_SNAKE_CASE		(			__snake_case       : int							):

     if 1 < number < 4:
          # 2 and 3 are primes
          return True
     elif number < 2 or number % 2 == 0 or number % 3 == 0:
          # Negatives, 0, 1, all even numbers, all multiples of 3 are not primes
          return False

     # All primes number are in format of 6k +/- 1
     for i in range(5      ,		int(math.sqrt(__snake_case							) + 1							)      ,		6							):
          if number % i == 0 or number % (i + 2) == 0:
               return False
     return True





def    _SCREAMING_SNAKE_CASE		(			__snake_case       : int      ,		__snake_case       : list							):
     _A		,					_A								=     0, len(__snake_case							) - 1
     while left <= right:
          _A								=     (left + right) // 2
          if prime_list[middle] == target:
               return True
          elif prime_list[middle] < target:
               _A								=     middle + 1
          else:
               _A								=     middle - 1

     return False





def    _SCREAMING_SNAKE_CASE		(			):
     _A								=     [n for n in range(1_0_0_1      ,		1_0_0_0_0      ,		2							) if is_prime(__snake_case							)]
     _A								=     []

     for number in prime_list:
          _A								=     []

          for prime_member in permutations(list(str(__snake_case							)							)							):
               _A								=     int(''.join(__snake_case							)							)

               if prime % 2 == 0:
                    continue

               if search(__snake_case      ,		__snake_case							):
                    tmp_numbers.append(__snake_case							)

          tmp_numbers.sort()
          if len(__snake_case							) >= 3:
               candidates.append(__snake_case							)

     _A								=     []
     for candidate in candidates:
          _A								=     len(__snake_case							)
          _A								=     False

          for i in range(__snake_case							):
               for j in range(i + 1      ,		__snake_case							):
                    for k in range(j + 1      ,		__snake_case							):
                         if (
                             abs(candidate[i] - candidate[j]							)
                             == abs(candidate[j] - candidate[k]							)
                             and len({candidate[i], candidate[j], candidate[k]}							) == 3
                         ):
                              passed.append(
                                  sorted([candidate[i], candidate[j], candidate[k]]							)							)
                              _A								=     True

                         if found:
                              break
                    if found:
                         break
               if found:
                    break

     _A								=     set()
     for seq in passed:
          answer.add(''.join([str(__snake_case							) for i in seq]							)							)

     return max(int(__snake_case							) for x in answer							)


if __name__ == "__main__":
       print(solution())




'''simple docstring'''






import multiprocessing
import os
from typing import BinaryIO, Optional, Union

from .. import Dataset, Features, NamedSplit, config
from ..formatting import query_table
from ..packaged_modules.csv.csv import Csv
from ..utils import logging
from ..utils.typing import NestedDataStructureLike, PathLike
from .abc import AbstractDatasetReader







class lowercase_					(		_UpperCamelCase ):







   """simple docstring"""

   def __init__(			self			: Any,   UpperCamelCase__			: NestedDataStructureLike[PathLike],   UpperCamelCase__			: Optional[NamedSplit] = None,   UpperCamelCase__			: Optional[Features] = None,   UpperCamelCase__			: str = None,   UpperCamelCase__			: bool = False,   UpperCamelCase__			: bool = False,   UpperCamelCase__			: Optional[int] = None,   **UpperCamelCase__			: Optional[Any],   )     -> Tuple:
        super().__init__(
            UpperCamelCase__,   split=UpperCamelCase__,   features=UpperCamelCase__,   cache_dir=UpperCamelCase__,   keep_in_memory=UpperCamelCase__,   streaming=UpperCamelCase__,   num_proc=UpperCamelCase__,   **UpperCamelCase__,   )
        _A								=     path_or_paths if isinstance(UpperCamelCase__,   UpperCamelCase__    ) else {self.split: path_or_paths}
        _A								=     Csv(
            cache_dir=UpperCamelCase__,   data_files=UpperCamelCase__,   features=UpperCamelCase__,   **UpperCamelCase__,   )

   def   __UpperCAmelCase      (			self			: List[Any]    )     -> int:
        # Build iterable dataset
        if self.streaming:
             _A								=     self.builder.as_streaming_dataset(split=self.split    )
        # Build regular (map-style) dataset
        else:
             _A								=     None
             _A								=     None
             _A								=     None
             _A								=     None

             self.builder.download_and_prepare(
                 download_config=UpperCamelCase__,   download_mode=UpperCamelCase__,   verification_mode=UpperCamelCase__,   base_path=UpperCamelCase__,   num_proc=self.num_proc,   )
             _A								=     self.builder.as_dataset(
                 split=self.split,   verification_mode=UpperCamelCase__,   in_memory=self.keep_in_memory    )
        return dataset







class lowercase_					:







   """simple docstring"""

   def __init__(			self			: Optional[Any],   UpperCamelCase__			: Dataset,   UpperCamelCase__			: Union[PathLike, BinaryIO],   UpperCamelCase__			: Optional[int] = None,   UpperCamelCase__			: Optional[int] = None,   **UpperCamelCase__			: Dict,   )     -> Any:
        if num_proc is not None and num_proc <= 0:
             raise ValueError(f'num_proc {num_proc} must be an integer > 0.'    )

        _A								=     dataset
        _A								=     path_or_buf
        _A								=     batch_size if batch_size else config.DEFAULT_MAX_BATCH_SIZE
        _A								=     num_proc
        _A								=     'utf-8'
        _A								=     to_csv_kwargs
   def   __UpperCAmelCase      (			self			: List[Any]    )     -> int:
        _A								=     self.to_csv_kwargs.pop('path_or_buf',   UpperCamelCase__    )
        _A								=     self.to_csv_kwargs.pop('header',   UpperCamelCase__    )
        _A								=     self.to_csv_kwargs.pop('index',   UpperCamelCase__    )

        if isinstance(self.path_or_buf,   (str, bytes, os.PathLike)    ):
             with open(self.path_or_buf,   'wb+'    ) as buffer:
                  _A								=     self._write(file_obj=UpperCamelCase__,   header=UpperCamelCase__,   index=UpperCamelCase__,   **self.to_csv_kwargs    )
        else:
             _A								=     self._write(file_obj=self.path_or_buf,   header=UpperCamelCase__,   index=UpperCamelCase__,   **self.to_csv_kwargs    )
        return written
   def   __UpperCAmelCase      (			self			: str,   UpperCamelCase__			: Optional[int]    )     -> str:
        _A		,					_A		,					_A		,					_A								=     args

        _A								=     query_table(
            table=self.dataset.data,   key=slice(UpperCamelCase__,   offset + self.batch_size    ),   indices=self.dataset._indices,   )
        _A								=     batch.to_pandas().to_csv(
            path_or_buf=UpperCamelCase__,   header=header if (offset == 0) else False,   index=UpperCamelCase__,   **UpperCamelCase__    )
        return csv_str.encode(self.encoding    )

   def   __UpperCAmelCase      (			self			: Union[str, Any],   UpperCamelCase__			: BinaryIO,   UpperCamelCase__			: List[str],   UpperCamelCase__			: Dict,   **UpperCamelCase__			: Optional[int]    )     -> int:
        _A								=     0

        if self.num_proc is None or self.num_proc == 1:
             for offset in logging.tqdm(
                 range(0,   len(self.dataset    ),   self.batch_size    ),   unit='ba',   disable=not logging.is_progress_bar_enabled(),   desc='Creating CSV from Arrow format',   ):
                  _A								=     self._batch_csv((offset, header, index, to_csv_kwargs)    )
                  written += file_obj.write(UpperCamelCase__    )

        else:
             _A		,					_A								=     len(self.dataset    ), self.batch_size
             with multiprocessing.Pool(self.num_proc    ) as pool:
                  for csv_str in logging.tqdm(
                      pool.imap(
                          self._batch_csv,   [(offset, header, index, to_csv_kwargs) for offset in range(0,   UpperCamelCase__,   UpperCamelCase__    )],   ),   total=(num_rows // batch_size) + 1 if num_rows % batch_size else num_rows // batch_size,   unit='ba',   disable=not logging.is_progress_bar_enabled(),   desc='Creating CSV from Arrow format',   ):
                       written += file_obj.write(UpperCamelCase__    )

        return written



