Date Format Conversion

Given a date in dd-mm-yyyy format, your task is to convert it into dd Month yyyy format where Month is the full name of the month. The date string is guaranteed to have two digits for the day and month, and four digits for the year. For example, if the input is 15-08-1947, the output should be 15 August 1947.

You need to implement a solution that reads a date from stdin and writes the converted date to stdout. Make sure to handle edge cases such as leap years.

inputFormat

The input consists of a single line which contains a date string in the format dd-mm-yyyy.

outputFormat

Output the date in the format dd Month yyyy, where Month is the full English name of the month.

15-08-1947

15 August 1947