easterDate(y2026, date(2026, april, 5)).
easterDate(y2027, date(2027, march, 28)).
easterDate(y2028, date(2028, april, 16)).
easterDate(y2029, date(2029, april, 1)).
easterDate(y2030, date(2030, april, 21)).
easterDate(y2031, date(2031, april, 13)).
easterDate(y2032, date(2032, march, 28)).
easterDate(y2033, date(2033, april, 17)).
easterDate(y2034, date(2034, april, 9)).
easterDate(y2035, date(2035, march, 25)).
computusRemainders(y2026, remainders(12, 12, 2)).
computusRemainders(y2027, remainders(13, 1, 5)).
computusRemainders(y2028, remainders(14, 20, 5)).
computusRemainders(y2029, remainders(15, 9, 1)).
computusRemainders(y2030, remainders(16, 28, 2)).
computusRemainders(y2031, remainders(17, 17, 5)).
computusRemainders(y2032, remainders(18, 6, 0)).
computusRemainders(y2033, remainders(0, 24, 2)).
computusRemainders(y2034, remainders(1, 13, 5)).
computusRemainders(y2035, remainders(2, 2, 1)).
legalGregorianWindow(y2026, true).
legalGregorianWindow(y2027, true).
legalGregorianWindow(y2028, true).
legalGregorianWindow(y2029, true).
legalGregorianWindow(y2030, true).
legalGregorianWindow(y2031, true).
legalGregorianWindow(y2032, true).
legalGregorianWindow(y2033, true).
legalGregorianWindow(y2034, true).
legalGregorianWindow(y2035, true).