{"trustable":true,"prependHtml":"\u003cstyle type\u003d\"text/css\"\u003e\n section pre {\n display: block;\n padding: 9.5px;\n margin: 0 0 10px;\n font-size: 13px;\n line-height: 1.42857143;\n word-break: break-all;\n word-wrap: break-word;\n color: #333;\n background: rgba(255, 255, 255, 0.5);\n border: 1px solid #ccc;\n border-radius: 6px;\n }\n\u003c/style\u003e\n\u003cscript\u003e\n window.katexOptions \u003d {\n delimiters: [\n {left: \u0027\\\\(\u0027, right: \u0027\\\\)\u0027, display: false},\n {left: \u0027\\\\[\u0027, right: \u0027\\\\]\u0027, display: true}\n ]\n };\n\u003c/script\u003e\n","sections":[{"title":"問題文","value":{"format":"HTML","content":"\r\n\r\n\u003csection\u003e\r\n\u003cvar\u003e\\(2011\\)\u003c/var\u003e 年、\u003cvar\u003e\\(AtCoder\\)\u003c/var\u003e 国の高橋首相はある重大な決定を行った。\u003cbr\u003e\r\nその決定とは...法改正である。国民の祝日に関する法律を変更し、休日を増やすことにした!!\u003cbr\u003e\r\n国民の創造性を尊重するその決定が、霞が関を魔境へと変えたッ!\u003cbr\u003e\r\n\u003cbr\u003e\r\nあなたは霞が関の国土交通省に勤務する職員であり、この法改正により上司から新たな任務を与えられた。\u003cbr\u003e\r\nその任務とは、\u003cvar\u003e\\(2012\\)\u003c/var\u003e 年の「連休の最大日数」を計算することである。\u003cbr\u003e\r\n連休の大きさを事前に計算することで国民の行動を予想し、高速道路の部分的な値下げを行い、経済を活性させるためだ。\u003cbr\u003e\r\nしたがって、あなたに失敗することは許されない。国民の行動を正確に予想できなくなるからだ。\u003cbr\u003e\u003cbr\u003e\r\n以下に、「連休」の定義と諸注意を記す。\r\n\u003col\u003e\r\n\t\u003cli\u003e\u003cvar\u003e\\(AtCoder\\)\u003c/var\u003e 国が使用する暦は\u003ca href\u003d\"http://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AC%E3%82%B4%E3%83%AA%E3%82%AA%E6%9A%A6\"\u003eグレゴリオ暦\u003c/a\u003eに従う。\u003c/li\u003e\r\n\t\u003cli\u003e「連休」とは、「休日」が連続して続くことである。\u003c/li\u003e\r\n\t\u003cli\u003e「土曜日」「日曜日」「祝日」「振替休日」が「休日」に相当する。\u003c/li\u003e\r\n\t\u003cli\u003e「祝日」が他の休日と同じ日に指定されていた場合、「振替休日」を必ず設置する。\u003c/li\u003e\r\n\t\u003cli\u003e「振替休日」は祝日の時系列順に決定していき、その祝日以降最も近い平日(休日を除いた日)となる。\u003c/li\u003e\r\n\t\u003cli\u003e\u003cvar\u003e\\(2012\\)\u003c/var\u003e 年 \u003cvar\u003e\\(1\\)\u003c/var\u003e 月 \u003cvar\u003e\\(1\\)\u003c/var\u003e 日は日曜日である。\u003c/li\u003e\r\n\u003c/ol\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"入力","value":{"format":"HTML","content":"\r\n\r\n\u003csection\u003e\r\n入力は以下の形式で標準入力から与えられる。\r\n\u003cpre\u003e\r\n\u003cvar\u003e\\(N\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(m_{1}\\)\u003c/var\u003e/\u003cvar\u003e\\(d_{1}\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(m_{2}\\)\u003c/var\u003e/\u003cvar\u003e\\(d_{2}\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(:\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(:\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(m_{n}\\)\u003c/var\u003e/\u003cvar\u003e\\(d_{n}\\)\u003c/var\u003e\r\n\u003c/pre\u003e\r\n\u003cul\u003e\r\n\t\u003cli\u003e\u003cvar\u003e\\(1\\)\u003c/var\u003e 行目には祝日の日数を表す整数 \u003cvar\u003e\\(N\\)\u003c/var\u003e が与えられ、 \u003cvar\u003e\\(0≦N≦366\\)\u003c/var\u003e を満たす。\u003c/li\u003e\r\n\t\u003cli\u003e\u003cvar\u003e\\(2\\)\u003c/var\u003e 行目から \u003cvar\u003e\\(N+1\\)\u003c/var\u003e 行目までの \u003cvar\u003e\\(N\\)\u003c/var\u003e 行で祝日の日付が与えられる。\u003c/li\u003e\r\n\t\u003col\u003e\r\n\t\t\u003cli\u003e\u003cvar\u003e\\(m_{i}\\)\u003c/var\u003e は \u003cvar\u003e\\(i(1≦i≦366)\\)\u003c/var\u003e 番目に与えられる祝日の月で、 \u003cvar\u003e\\(1≦m_{i}≦12\\)\u003c/var\u003e を満たす。\u003c/li\u003e\r\n\t\t\u003cli\u003e\u003cvar\u003e\\(d_{i}\\)\u003c/var\u003e は \u003cvar\u003e\\(i(1≦i≦366)\\)\u003c/var\u003e 番目に与えられる祝日の日で、\u003c/li\u003e\r\n\t\t\u003col\u003e\r\n\t\t\t\u003cli\u003e\u003cvar\u003e\\(m_{i} \u003d 2\\)\u003c/var\u003e のとき、 \u003cvar\u003e\\(1≦d_{i}≦29\\)\u003c/var\u003e を満たす。\u003c/li\u003e\r\n\t\t\t\u003cli\u003e\u003cvar\u003e\\(m_{i} \u003d (4, 6, 9, 11)\\)\u003c/var\u003e のとき、 \u003cvar\u003e\\(1≦d_{i}≦30\\)\u003c/var\u003e を満たす。\u003c/li\u003e\r\n\t\t\t\u003cli\u003e\u003cvar\u003e\\(m_{i} \u003d (1, 3, 5, 7, 8, 10, 12)\\)\u003c/var\u003e のとき、 \u003cvar\u003e\\(1≦d_{i}≦31\\)\u003c/var\u003e を満たす。\u003c/li\u003e\r\n\t\t\u003c/ol\u003e\r\n\t\t\u003cli\u003e\u003cvar\u003e\\(m_{i}\\)\u003c/var\u003e と \u003cvar\u003e\\(d_{i}\\)\u003c/var\u003e はともに整数である。\u003c/li\u003e\r\n\t\t\u003cli\u003e\u003cvar\u003e\\(m_{i}\\)\u003c/var\u003e と \u003cvar\u003e\\(d_{i}\\)\u003c/var\u003e は必ず\u003ccode\u003e/\u003c/code\u003eで区切られて与えられる。\u003c/li\u003e\r\n\t\t\u003cli\u003e祝日は時系列順に与えられるとは限らないことに注意せよ。ただし、同じ日付が複数与えられないことは保証されている。\u003c/li\u003e\r\n\t\u003c/ol\u003e\r\n\u003c/ul\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"出力","value":{"format":"HTML","content":"\r\n\r\n\u003csection\u003e\r\n法改正後における \u003cvar\u003e\\(2012\\)\u003c/var\u003e 年の連休の最大日数を出力せよ。\u003cbr\u003e\r\n出力は標準出力におこない、末尾には改行をいれること。\u003cbr\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Sample 1","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e\r\n1\r\n1/9\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e\r\n3\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\r\n\u003csection\u003e\r\n\r\n\u003c/section\u003e\r\n\r\n\r\n\u003csection\u003e\r\n\r\n\u003cul\u003e\r\n\t\u003cli\u003e1/7(土),1/8(日),1/9(月)の \u003cvar\u003e\\(3\\)\u003c/var\u003e 連休が最長です。\u003c/li\u003e\r\n\u003c/ul\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Sample 2","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e\r\n1\r\n1/10\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e\r\n2\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\r\n\u003csection\u003e\r\n\r\n\u003c/section\u003e\r\n\r\n\r\n\u003csection\u003e\r\n\r\n\u003cul\u003e\r\n\t\u003cli\u003e1/10(火)が祝日となり、1/7(土),1/8(日)などの \u003cvar\u003e\\(2\\)\u003c/var\u003e 連休が最長です。\u003c/li\u003e\r\n\u003c/ul\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Sample 3","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e\r\n1\r\n1/7\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e\r\n3\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\r\n\u003csection\u003e\r\n\r\n\u003c/section\u003e\r\n\r\n\r\n\u003csection\u003e\r\n\r\n\u003cul\u003e\r\n\t\u003cli\u003e1/7は土曜日なので、以降で最も近い平日である1/9が振替休日になります。\u003c/li\u003e\r\n\t\u003cli\u003eよって、1/7(土)、1/8(日)、1/9(月)の3連休が最長です。\u003c/li\u003e\r\n\u003c/ul\u003e\r\n\u003c/section\u003e\r\n"}},{"title":"Sample 4","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e\r\n2\r\n1/7\r\n1/9\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e\r\n4\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\r\n\u003csection\u003e\r\n\r\n\u003c/section\u003e\r\n\r\n\r\n\u003csection\u003e\r\n\r\n\u003cul\u003e\r\n\t\u003cli\u003e1/7は土曜日なので振替休日を以降に設定したく、1/9が祝日なので1/10が振替休日になります。\u003c/li\u003e\r\n\t\u003cli\u003eよって、1/7(土)、1/8(日)、1/9(月)、1/10(火)の4連休が最長です。\u003c/li\u003e\r\n\u003c/ul\u003e\r\n\u003c/section\u003e\r\n"}}]}