import time

# %a  Abbreviated month
# %b  Abbreviated weekday
# %d  Day (number) of the month

print(time.strftime("%a %b %d"))