types = [
    (0, 0, '-00'),
    (-3, 1, 'AWT'),
    (-3, 1, 'APT'),
    (-4, 0, 'AST'),
    (-2, 2, 'ADDT'),
    (-3, 1, 'ADT'),
    (-4, 1, 'EDT'),
    (-5, 0, 'EST'),
    (-6, 0, 'CST'),
    (-5, 1, 'CDT'),
    (-4, 1, 'EDT'),
    (-5, 0, 'EST')
]
times = [
    ((1, 1, 2, 0, 0), 0),
    ((1921, 1, 1, 0, 0), 3),
    ((1942, 2, 9, 6, 0), 1),
    ((1945, 8, 14, 23, 0), 2),
    ((1945, 9, 30, 5, 0), 3),
    ((1965, 4, 25, 4, 0), 4),
    ((1965, 10, 31, 4, 0), 3),
    ((1980, 4, 27, 6, 0), 5),
    ((1980, 10, 26, 5, 0), 3),
    ((1981, 4, 26, 6, 0), 5),
    ((1981, 10, 25, 5, 0), 3),
    ((1982, 4, 25, 6, 0), 5),
    ((1982, 10, 31, 5, 0), 3),
    ((1983, 4, 24, 6, 0), 5),
    ((1983, 10, 30, 5, 0), 3),
    ((1984, 4, 29, 6, 0), 5),
    ((1984, 10, 28, 5, 0), 3),
    ((1985, 4, 28, 6, 0), 5),
    ((1985, 10, 27, 5, 0), 3),
    ((1986, 4, 27, 6, 0), 5),
    ((1986, 10, 26, 5, 0), 3),
    ((1987, 4, 5, 6, 0), 5),
    ((1987, 10, 25, 5, 0), 3),
    ((1988, 4, 3, 6, 0), 5),
    ((1988, 10, 30, 5, 0), 3),
    ((1989, 4, 2, 6, 0), 5),
    ((1989, 10, 29, 5, 0), 3),
    ((1990, 4, 1, 6, 0), 5),
    ((1990, 10, 28, 5, 0), 3),
    ((1991, 4, 7, 6, 0), 5),
    ((1991, 10, 27, 5, 0), 3),
    ((1992, 4, 5, 6, 0), 5),
    ((1992, 10, 25, 5, 0), 3),
    ((1993, 4, 4, 6, 0), 5),
    ((1993, 10, 31, 5, 0), 3),
    ((1994, 4, 3, 6, 0), 5),
    ((1994, 10, 30, 5, 0), 3),
    ((1995, 4, 2, 6, 0), 6),
    ((1995, 10, 29, 6, 0), 7),
    ((1996, 4, 7, 7, 0), 6),
    ((1996, 10, 27, 6, 0), 7),
    ((1997, 4, 6, 7, 0), 6),
    ((1997, 10, 26, 6, 0), 7),
    ((1998, 4, 5, 7, 0), 6),
    ((1998, 10, 25, 6, 0), 7),
    ((1999, 4, 4, 7, 0), 6),
    ((1999, 10, 31, 6, 0), 8),
    ((2000, 4, 2, 8, 0), 9),
    ((2000, 10, 29, 7, 0), 7),
    ((2001, 4, 1, 7, 0), 6),
    ((2001, 10, 28, 6, 0), 7),
    ((2002, 4, 7, 7, 0), 6),
    ((2002, 10, 27, 6, 0), 7),
    ((2003, 4, 6, 7, 0), 6),
    ((2003, 10, 26, 6, 0), 7),
    ((2004, 4, 4, 7, 0), 6),
    ((2004, 10, 31, 6, 0), 7),
    ((2005, 4, 3, 7, 0), 6),
    ((2005, 10, 30, 6, 0), 7),
    ((2006, 4, 2, 7, 0), 6),
    ((2006, 10, 29, 6, 0), 7),
    ((2007, 3, 11, 7, 0), 6),
    ((2007, 11, 4, 6, 0), 7),
    ((2008, 3, 9, 7, 0), 6),
    ((2008, 11, 2, 6, 0), 7),
    ((2009, 3, 8, 7, 0), 6),
    ((2009, 11, 1, 6, 0), 7),
    ((2010, 3, 14, 7, 0), 6),
    ((2010, 11, 7, 6, 0), 7),
    ((2011, 3, 13, 7, 0), 6),
    ((2011, 11, 6, 6, 0), 7),
    ((2012, 3, 11, 7, 0), 6),
    ((2012, 11, 4, 6, 0), 7),
    ((2013, 3, 10, 7, 0), 6),
    ((2013, 11, 3, 6, 0), 7),
    ((2014, 3, 9, 7, 0), 6),
    ((2014, 11, 2, 6, 0), 7),
    ((2015, 3, 8, 7, 0), 6),
    ((2015, 11, 1, 6, 0), 7),
    ((2016, 3, 13, 7, 0), 6),
    ((2016, 11, 6, 6, 0), 7),
    ((2017, 3, 12, 7, 0), 6),
    ((2017, 11, 5, 6, 0), 7),
    ((2018, 3, 11, 7, 0), 6),
    ((2018, 11, 4, 6, 0), 7),
    ((2019, 3, 10, 7, 0), 6),
    ((2019, 11, 3, 6, 0), 7),
    ((2020, 3, 8, 7, 0), 6),
    ((2020, 11, 1, 6, 0), 7),
    ((2021, 3, 14, 7, 0), 6),
    ((2021, 11, 7, 6, 0), 7),
    ((2022, 3, 13, 7, 0), 6),
    ((2022, 11, 6, 6, 0), 7),
    ((2023, 3, 12, 7, 0), 6),
    ((2023, 11, 5, 6, 0), 7),
    ((2024, 3, 10, 7, 0), 6),
    ((2024, 11, 3, 6, 0), 7),
    ((2025, 3, 9, 7, 0), 6),
    ((2025, 11, 2, 6, 0), 7),
    ((2026, 3, 8, 7, 0), 6),
    ((2026, 11, 1, 6, 0), 7),
    ((2027, 3, 14, 7, 0), 6),
    ((2027, 11, 7, 6, 0), 7),
    ((2028, 3, 12, 7, 0), 6),
    ((2028, 11, 5, 6, 0), 7),
    ((2029, 3, 11, 7, 0), 6),
    ((2029, 11, 4, 6, 0), 7),
    ((2030, 3, 10, 7, 0), 6),
    ((2030, 11, 3, 6, 0), 7),
    ((2031, 3, 9, 7, 0), 6),
    ((2031, 11, 2, 6, 0), 7),
    ((2032, 3, 14, 7, 0), 6),
    ((2032, 11, 7, 6, 0), 7),
    ((2033, 3, 13, 7, 0), 6),
    ((2033, 11, 6, 6, 0), 7),
    ((2034, 3, 12, 7, 0), 6),
    ((2034, 11, 5, 6, 0), 7),
    ((2035, 3, 11, 7, 0), 6),
    ((2035, 11, 4, 6, 0), 7),
    ((2036, 3, 9, 7, 0), 6),
    ((2036, 11, 2, 6, 0), 7),
    ((2037, 3, 8, 7, 0), 6),
    ((2037, 11, 1, 6, 0), 7)
]
posix = 'EST5EDT,M3.2.0,M11.1.0'
