This is far from an exhaustive list of the .gov domain. Perhaps it is only the ones managed at the Top level. For instance, Texas.gov is listed here, but none of the subdomains are. For example gov.texas.gov, house.texas.gov, senate.texas.gov, comptroller.texas.gov, etc...