ISOTh001.txt: The relative frequencies of ISO year types are as follows: 52-week ISO year: 82.25% 53-week ISO year: 17.75%
ISOTh002.txt: A year has a leap week if and only if the corresponding Gregorian year either starts on a Thursday or ends on a Thursday.