def main() -> None: ...