2011年，AtCoder国家的高桥君作出了重大的决定。 决定变更国民节日相关法律，增加假日！ 【无意义内容被和谐了】 你的任务是计算2012年“连休的最大天数”。 以下是“连休”的定义：

AtCoder国家使用的日历遵循阳历。 “连休”是指连续的休息日 星期六、星期日、节日、调休假日相当于“休息日” 如果“节日”被指定为与其他休息日相同的日子，则必须设置“调休假日” “调休假日”按照节日的时间顺序决定，成为该节日以来最近的平日（除休息日以外的日子） 已知2012年1月11日是星期日