code: def time_to_str(timestamp: int) -> str:
      
      datetimestamp = datetime.datetime.fromtimestamp(timestamp)
      return '{:04d}-{:02d}-{:02d}-{:02d}-{:02d}-{:02d}'.format(
              datetimestamp.year, datetimestamp.month, datetimestamp.day,
              datetimestamp.hour, datetimestamp.minute, datetimestamp.second
      )
docs: Convert seconds past Epoch to human readable string.