Input (grade 6): The lake lies in portions of five counties: Box Elder, Davis, Tooele, Weber, and Salt Lake.
Output (grade 6): The lakeshore borders Davis, Tooele, Box Elder, Salt Lake, and Weber counties, all in the state of Utah.