和中国的节日不同，美国的节假日通常是选择某个月的第几个星期几这种形式，因此每一年的放假日期都不相同。具体规则如下： * 1月1日：元旦 * 1月的第三个星期一：马丁·路德·金纪念日 * 2月的第三个星期一：总统节 * 5月的最后一个星期一：阵亡将士纪念日 * 7月4日：美国国庆 * 9月的第一个星期一：劳动节 * 11月的第四个星期四：感恩节 * 12月25日：圣诞节 现在给出一个年份，请你帮忙生成当年节日的日期。

输入描述:

输入包含多组数据，每组数据包含一个正整数year（2000≤year≤9999）。

输出描述:

对应每一组数据，以“YYYY-MM-DD”格式输出当年所有的节日日期，每个日期占一行。每组数据之后输出一个空行作为分隔。