Все в России живут по Григорианскому календарю. Согласно календарю, в январе 31 день, в феврале 28 или 29 дней (в зависимости от того, является год високосным, или нет), в марте 31 день, в апреле 30 дней, в мае 31 день, в июне 30 дней, в июле 31 день, в августе 31 день, в сентябре 30 дней, в октябре 31 день, в ноябре 30 дней, в декабре 31 день.

Год является високосным в двух случаях: либо его номер кратен 4, но при этом не кратен 100, либо кратен 400. Например, високосными являются годы 2000 и 2004, но годы 1900 и 2018 високосными не являются.

В данной задаче вам будет задано n (1 ≤ n ≤ 24) целых чисел a₁, a₂, ..., a_n и вам нужно проверить, верно ли, что эти числа могли являться длительностями в днях n подряд идущих месяцев согласно Григорианскому календарю. Обратите внимание, что соответствующие ответу месяцы могут быть в нескольких подряд идущих годах. Иными словами, проверьте, существует ли такой месяц в некотором году, что его длительность равна a₁, длительность следующего за ним месяца равна a₂, и так далее.