


def    a   (							)	-> int:




      '''simple docstring'''

      return [
          a * b * (1_0_0_0 - a - b)
          for a in range(1      ,    9_9_9							)
          for b in range(A__      ,    9_9_9							)
          if (a * a + b * b == (1_0_0_0 - a - b) ** 2)
      ][0]


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













from typing import TYPE_CHECKING

from ...utils import OptionalDependencyNotAvailable, _LazyModule, is_torch_available


_A					:				List[str]				=			{"""configuration_wavlm""": ["""WAVLM_PRETRAINED_CONFIG_ARCHIVE_MAP""", """WavLMConfig"""]}

try:
  if not is_torch_available():
    raise OptionalDependencyNotAvailable()
except OptionalDependencyNotAvailable:
  pass
else:
  _A					:				Dict				=			[
      """WAVLM_PRETRAINED_MODEL_ARCHIVE_LIST""",
      """WavLMForAudioFrameClassification""",
      """WavLMForCTC""",
      """WavLMForSequenceClassification""",
      """WavLMForXVector""",
      """WavLMModel""",
      """WavLMPreTrainedModel""",
  ]

if TYPE_CHECKING:
  from .configuration_wavlm import WAVLM_PRETRAINED_CONFIG_ARCHIVE_MAP, WavLMConfig

  try:
    if not is_torch_available():
      raise OptionalDependencyNotAvailable()
  except OptionalDependencyNotAvailable:
    pass
  else:
    from .modeling_wavlm import (
        WAVLM_PRETRAINED_MODEL_ARCHIVE_LIST,
        WavLMForAudioFrameClassification,
        WavLMForCTC,
        WavLMForSequenceClassification,
        WavLMForXVector,
        WavLMModel,
        WavLMPreTrainedModel,
    )

else:
  import sys

  _A					:				List[Any]				=			_LazyModule(__name__, globals()["""__file__"""], _import_structure, module_spec=__spec__)
