% Leapyear
% From 
% https://github.com/michael-siebers/metagol/blob/ilp2018/examples/leapyear1.pl

% pos(leapyear(400)).
% pos(leapyear(20)).
% pos(leapyear(4)).

% neg(leapyear(2)).
% neg(leapyear(100)).
% neg(leapyear(200)).

% From ~/inductive_programming/aleph/me/leap_year.*
% pos(leapyear(1200)).
% pos(leapyear(1600)).
% pos(leapyear(1892)).
% pos(leapyear(1896)).
% pos(leapyear(1904)).
% pos(leapyear(1908)).
% pos(leapyear(1912)).
% pos(leapyear(1916)).
% pos(leapyear(1920)).
% pos(leapyear(1924)).
% pos(leapyear(1928)).
% pos(leapyear(1932)).
% pos(leapyear(1936)).
% pos(leapyear(1940)).
% pos(leapyear(1944)).
% pos(leapyear(1948)).
% pos(leapyear(1952)).
% pos(leapyear(1956)).
% pos(leapyear(1960)).
% pos(leapyear(1964)).
% pos(leapyear(1968)).
% pos(leapyear(1972)).
% pos(leapyear(1976)).
% pos(leapyear(1980)).
% pos(leapyear(1984)).
% pos(leapyear(1988)).
pos(leapyear(1992)).
pos(leapyear(1996)).
pos(leapyear(2000)).
pos(leapyear(2004)).
pos(leapyear(2008)).
% pos(leapyear(2012)).
% pos(leapyear(2016)).
% pos(leapyear(2020)).
% pos(leapyear(2024)).
% pos(leapyear(2028)).



%% neg
neg(leapyear(1300)).
neg(leapyear(1400)).
neg(leapyear(1500)).
neg(leapyear(1700)).
neg(leapyear(1800)).
neg(leapyear(1890)).
neg(leapyear(1891)).
% neg(leapyear(1893)).
% neg(leapyear(1894)).
% neg(leapyear(1895)).
% neg(leapyear(1897)).
% neg(leapyear(1898)).
% neg(leapyear(1899)).
neg(leapyear(1900)).
neg(leapyear(1901)).
% neg(leapyear(1902)).
% neg(leapyear(1903)).
% neg(leapyear(1905)).
% neg(leapyear(1906)).
% neg(leapyear(1907)).
% neg(leapyear(1909)).
% neg(leapyear(1910)).
% neg(leapyear(1911)).
% neg(leapyear(1913)).
% neg(leapyear(1914)).
% neg(leapyear(1915)).
% neg(leapyear(1917)).
% neg(leapyear(1918)).
% neg(leapyear(1919)).
% neg(leapyear(1921)).
% neg(leapyear(1922)).
% neg(leapyear(1923)).
% neg(leapyear(1925)).
% neg(leapyear(1926)).
% neg(leapyear(1927)).
% neg(leapyear(1929)).
% neg(leapyear(1930)).
% neg(leapyear(1931)).
% neg(leapyear(1933)).
% neg(leapyear(1934)).
% neg(leapyear(1935)).
% neg(leapyear(1937)).
% neg(leapyear(1938)).
% neg(leapyear(1939)).
% neg(leapyear(1941)).
% neg(leapyear(1942)).
% neg(leapyear(1943)).
% neg(leapyear(1945)).
% neg(leapyear(1946)).
% neg(leapyear(1947)).
% neg(leapyear(1949)).
% neg(leapyear(1950)).
% neg(leapyear(1951)).
% neg(leapyear(1953)).
% neg(leapyear(1954)).
% neg(leapyear(1955)).
% neg(leapyear(1957)).
% neg(leapyear(1958)).
% neg(leapyear(1959)).
% neg(leapyear(1961)).
% neg(leapyear(1962)).
% neg(leapyear(1963)).
% neg(leapyear(1965)).
% neg(leapyear(1966)).
% neg(leapyear(1967)).
% neg(leapyear(1969)).
% neg(leapyear(1970)).
% neg(leapyear(1971)).
% neg(leapyear(1973)).
% neg(leapyear(1974)).
% neg(leapyear(1975)).
% neg(leapyear(1977)).
% neg(leapyear(1978)).
% neg(leapyear(1979)).
% neg(leapyear(1981)).
% neg(leapyear(1982)).
% neg(leapyear(1983)).
% neg(leapyear(1985)).
% neg(leapyear(1986)).
% neg(leapyear(1987)).
% neg(leapyear(1989)).
% neg(leapyear(1990)).
% neg(leapyear(1991)).
% neg(leapyear(1993)).
% neg(leapyear(1994)).
% neg(leapyear(1995)).
% neg(leapyear(1997)).
% neg(leapyear(1998)).
neg(leapyear(1999)).
neg(leapyear(2001)).
% neg(leapyear(2002)).
% neg(leapyear(2003)).
% neg(leapyear(2005)).
% neg(leapyear(2006)).
% neg(leapyear(2007)).
% neg(leapyear(2009)).
% neg(leapyear(2010)).
% neg(leapyear(2011)).
% neg(leapyear(2013)).
% neg(leapyear(2014)).
% neg(leapyear(2015)).
% neg(leapyear(2017)).
% neg(leapyear(2018)).
% neg(leapyear(2019)).
% neg(leapyear(2021)).
% neg(leapyear(2022)).
% neg(leapyear(2023)).
% neg(leapyear(2025)).
% neg(leapyear(2026)).
% neg(leapyear(2027)).
% neg(leapyear(2029)).
neg(leapyear(2030)).