#include <stdio.h>
int main(void) {
int month;
switch(month){
case 12:
break;
case 1:
case 2:
case 3:
case 4:
case 5:
printf("憲法記念日\nみどりの日\nこどもの日\n"); case 6:
case 7:
case 8:
case 9:
case 10:
case 11:
break;
default:
break;
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CglpbnQgbW9udGg7CiAgICBzY2FuZigiJWQiLCZtb250aCk7CiAgICBzd2l0Y2gobW9udGgpewogICAgICAgIGNhc2UgMTI6CiAgICAgICAgICAgIHByaW50Zigi56Wd5pel44Gv44GC44KK44G+44Gb44KTIik7CiAgICAgICAgICAgIGJyZWFrOwogICAgICAgIGNhc2UgMToKICAgICAgICAgICAgcHJpbnRmKCLlhYPml6ZcbuaIkOS6uuOBruaXpVxuIik7CiAgICAgICAgY2FzZSAyOgogICAgICAgICAgICBwcmludGYoIuW7uuWbveiomOW/teOBruaXpVxu5aSp55qH6KqV55Sf5pelXG4iKTsKICAgICAgICBjYXNlIDM6CiAgICAgICAgICAgIHByaW50Zigi5pil5YiG44Gu5pelXG4iKTsKICAgICAgICBjYXNlIDQ6CiAgICAgICAgICAgIHByaW50Zigi5pit5ZKM44Gu5pelXG4iKTsKICAgICAgICBjYXNlIDU6CiAgICAgICAgICAgIHByaW50Zigi5oay5rOV6KiY5b+15pelXG7jgb/jganjgorjga7ml6VcbuOBk+OBqeOCguOBruaXpVxuIik7CiAgICAgICAgY2FzZSA2OgogICAgICAgIGNhc2UgNzoKICAgICAgICAgICAgcHJpbnRmKCLmtbfjga7ml6VcbiIpOwogICAgICAgIGNhc2UgODoKICAgICAgICAgICAgcHJpbnRmKCLlsbHjga7ml6VcbiIpOwogICAgICAgIGNhc2UgOToKICAgICAgICAgICAgcHJpbnRmKCLmlazogIHjga7ml6VcbuaYpeWIhuOBruaXpVxuIik7CiAgICAgICAgY2FzZSAxMDoKICAgICAgICAgICAgcHJpbnRmKCLjgrnjg53jg7zjg4Tjga7ml6VcbiIpOwogICAgICAgIGNhc2UgMTE6CiAgICAgICAgICAgIHByaW50Zigi5paH5YyW44Gu5pelXG7li6TlirTmhJ/orJ3jga7ml6VcbiIpOwogICAgICAgICAgICBicmVhazsKICAgICAgICBkZWZhdWx0OgogICAgICAgICAgICBwcmludGYoIuOBneOCk+OBquaciOOBr+OBguOCiuOBvuOBm+OCkyIpOwogICAgICAgICAgICBicmVhazsKICAgIH0KCXJldHVybiAwOwp9Cg==