The state file lists the states, counties, and provinces of various countries as part of the zip code processing code.
country file, zc (zip code) processing code, zcf file