(progn
(replace-regexp "Dallam" "B01" t)
(beginning-of-buffer)

(replace-regexp "Sherman" "B02" t)
(beginning-of-buffer)

(replace-regexp "Hansford" "B03" t)
(beginning-of-buffer)

(replace-regexp "Ochiltree" "B04" t)
(beginning-of-buffer)

(replace-regexp "Lipscomb" "B05" t)
(beginning-of-buffer)

(replace-regexp "Hartley" "B06" t)
(beginning-of-buffer)

(replace-regexp "Moore" "B07" t)
(beginning-of-buffer)

(replace-regexp "Hutchinson" "B08" t)
(beginning-of-buffer)

(replace-regexp "Roberts" "B09" t)
(beginning-of-buffer)

(replace-regexp "Hemphill" "B10" t)
(beginning-of-buffer)

(replace-regexp "Oldham" "B11" t)
(beginning-of-buffer)

(replace-regexp "Potter" "B12" t)
(beginning-of-buffer)

(replace-regexp "Carson" "B13" t)
(beginning-of-buffer)

(replace-regexp "Gray" "B14" t)
(beginning-of-buffer)

(replace-regexp "Wheeler" "B15" t)
(beginning-of-buffer)

(replace-regexp "Deaf Smith" "B16" t)
(beginning-of-buffer)

(replace-regexp "Randall" "B17" t)
(beginning-of-buffer)

(replace-regexp "Armstrong" "B18" t)
(beginning-of-buffer)

(replace-regexp "Donley" "B19" t)
(beginning-of-buffer)

(replace-regexp "Collingsworth" "B20" t)
(beginning-of-buffer)

(replace-regexp "Parmer" "C01" t)
(beginning-of-buffer)

(replace-regexp "Castro" "C02" t)
(beginning-of-buffer)

(replace-regexp "Swisher" "C03" t)
(beginning-of-buffer)

(replace-regexp "Briscoe" "C04" t)
(beginning-of-buffer)

(replace-regexp "Hall" "C05" t)
(beginning-of-buffer)

(replace-regexp "Childress" "C06" t)
(beginning-of-buffer)

(replace-regexp "Hardeman" "F01" t)
(beginning-of-buffer)

(replace-regexp "Wilbarger" "F03" t)
(beginning-of-buffer)

(replace-regexp "Bailey" "C07" t)
(beginning-of-buffer)

(replace-regexp "Lamb" "C08" t)
(beginning-of-buffer)

(replace-regexp "Hale" "C09" t)
(beginning-of-buffer)

(replace-regexp "Floyd" "C10" t)
(beginning-of-buffer)

(replace-regexp "Motley" "C11" t)
(beginning-of-buffer)

(replace-regexp "Cottle" "C12" t)
(beginning-of-buffer)

(replace-regexp "Foard" "F02" t)
(beginning-of-buffer)

(replace-regexp "Wichita" "F04" t)
(beginning-of-buffer)

(replace-regexp "Clay" "J01" t)
(beginning-of-buffer)

(replace-regexp "Red River" "M03" t)
(beginning-of-buffer)

(replace-regexp "Lamar" "M02" t)
(beginning-of-buffer)

(replace-regexp "Montague" "J02" t)
(beginning-of-buffer)

(replace-regexp "Grayson" "J04" t)
(beginning-of-buffer)

(replace-regexp "Fannin" "M01" t)
(beginning-of-buffer)

(replace-regexp "Cooke" "J03" t)
(beginning-of-buffer)

(replace-regexp "Bowie" "M04" t)
(beginning-of-buffer)

(replace-regexp "Baylor" "F06" t)
(beginning-of-buffer)

(replace-regexp "Archer" "F07" t)
(beginning-of-buffer)

(replace-regexp "Cochran" "C13" t)
(beginning-of-buffer)

(replace-regexp "Hockley" "C14" t)
(beginning-of-buffer)

(replace-regexp "Lubbock" "C15" t)
(beginning-of-buffer)

(replace-regexp "Crosby" "C16" t)
(beginning-of-buffer)

(replace-regexp "Dickens" "C17" t)
(beginning-of-buffer)

(replace-regexp "King" "C18" t)
(beginning-of-buffer)

(replace-regexp "Knox" "F05" t)
(beginning-of-buffer)

(replace-regexp "Delta" "M07" t)
(beginning-of-buffer)

(replace-regexp "Titus" "M10" t)
(beginning-of-buffer)

(replace-regexp "Hunt" "M06" t)
(beginning-of-buffer)

(replace-regexp "Franklin" "M09" t)
(beginning-of-buffer)

(replace-regexp "Morris" "M11" t)
(beginning-of-buffer)

(replace-regexp "Cass" "M12" t)
(beginning-of-buffer)

(replace-regexp "Hopkins" "M08" t)
(beginning-of-buffer)

(replace-regexp "Jack" "J05" t)
(beginning-of-buffer)

(replace-regexp "Denton" "J07" t)
(beginning-of-buffer)

(replace-regexp "Collin" "M05" t)
(beginning-of-buffer)

(replace-regexp "Wise" "J06" t)
(beginning-of-buffer)

(replace-regexp "Young" "F10" t)
(beginning-of-buffer)

(replace-regexp "Throckmorton" "F09" t)
(beginning-of-buffer)

(replace-regexp "Yoakum" "C19" t)
(beginning-of-buffer)

(replace-regexp "Terry" "A09" t)
(beginning-of-buffer)

(replace-regexp "Lynn" "C21" t)
(beginning-of-buffer)

(replace-regexp "Garza" "C22" t)
(beginning-of-buffer)

(replace-regexp "Kent" "C23" t)
(beginning-of-buffer)

(replace-regexp "Stonewall" "C24" t)
(beginning-of-buffer)

(replace-regexp "Haskell" "F08" t)
(beginning-of-buffer)

(replace-regexp "Camp" "M20" t)
(beginning-of-buffer)

(replace-regexp "Wood" "M19" t)
(beginning-of-buffer)

(replace-regexp "Rains" "M17" t)
(beginning-of-buffer)

(replace-regexp "Upshur" "M21" t)
(beginning-of-buffer)

(replace-regexp "Marion" "M22" t)
(beginning-of-buffer)

(replace-regexp "Rockwall" "M15" t)
(beginning-of-buffer)

(replace-regexp "Tarrant" "J10" t)
(beginning-of-buffer)

(replace-regexp "Dallas" "M13" t)
(beginning-of-buffer)

(replace-regexp "Palo Pinto" "J08" t)
(beginning-of-buffer)

(replace-regexp "Parker" "J09" t)
(beginning-of-buffer)

(replace-regexp "Harrison" "M23" t)
(beginning-of-buffer)

(replace-regexp "Stephens" "F13" t)
(beginning-of-buffer)

(replace-regexp "Van Zandt" "M18" t)
(beginning-of-buffer)

(replace-regexp "Shackelford" "F12" t)
(beginning-of-buffer)

(replace-regexp "Kaufman" "M16" t)
(beginning-of-buffer)

(replace-regexp "Gaines" "D01" t)
(beginning-of-buffer)

(replace-regexp "Dawson" "D02" t)
(beginning-of-buffer)

(replace-regexp "Borden" "D03" t)
(beginning-of-buffer)

(replace-regexp "Scurry" "D04" t)
(beginning-of-buffer)

(replace-regexp "Fisher" "D05" t)
(beginning-of-buffer)

(replace-regexp "Jones" "F11" t)
(beginning-of-buffer)

(replace-regexp "Gregg" "M24" t)
(beginning-of-buffer)

(replace-regexp "Smith" "O02" t)
(beginning-of-buffer)

(replace-regexp "Johnson" "J14" t)
(beginning-of-buffer)

(replace-regexp "Ellis" "M14" t)
(beginning-of-buffer)

(replace-regexp "Rusk" "O03" t)
(beginning-of-buffer)

(replace-regexp "Panola" "O04" t)
(beginning-of-buffer)

(replace-regexp "Hood" "J12" t)
(beginning-of-buffer)

(replace-regexp "Eastland" "F16" t)
(beginning-of-buffer)

(replace-regexp "Erath" "J11" t)
(beginning-of-buffer)

(replace-regexp "Taylor" "F14" t)
(beginning-of-buffer)

(replace-regexp "Callahan" "F15" t)
(beginning-of-buffer)

(replace-regexp "Henderson" "O01" t)
(beginning-of-buffer)

(replace-regexp "Andrews" "D06" t)
(beginning-of-buffer)

(replace-regexp "Martin" "D07" t)
(beginning-of-buffer)

(replace-regexp "Howard" "D08" t)
(beginning-of-buffer)

(replace-regexp "Mitchell" "D09" t)
(beginning-of-buffer)

(replace-regexp "Nolan" "D10" t)
(beginning-of-buffer)

(replace-regexp "Navarro" "N01" t)
(beginning-of-buffer)

(replace-regexp "Somervell" "J13" t)
(beginning-of-buffer)

(replace-regexp "Hill" "K05" t)
(beginning-of-buffer)

(replace-regexp "Cherokee" "O06" t)
(beginning-of-buffer)

(replace-regexp "Comanche" "K01" t)
(beginning-of-buffer)

(replace-regexp "Bosque" "K04" t)
(beginning-of-buffer)

(replace-regexp "Anderson" "O05" t)
(beginning-of-buffer)

(replace-regexp "Shelby" "O08" t)
(beginning-of-buffer)

(replace-regexp "Freestone" "N03" t)
(beginning-of-buffer)

(replace-regexp "Brown" "F19" t)
(beginning-of-buffer)

(replace-regexp "El Paso" "A01" t)
(beginning-of-buffer)

(replace-regexp "Winkler" "D12" t)
(beginning-of-buffer)

(replace-regexp "Ector" "D13" t)
(beginning-of-buffer)

(replace-regexp "Midland" "D14" t)
(beginning-of-buffer)

(replace-regexp "Glasscock" "D15" t)
(beginning-of-buffer)

(replace-regexp "Sterling" "D16" t)
(beginning-of-buffer)

(replace-regexp "Coke" "D17" t)
(beginning-of-buffer)

(replace-regexp "Runnels" "F17" t)
(beginning-of-buffer)

(replace-regexp "Coleman" "F18" t)
(beginning-of-buffer)

(replace-regexp "Nacogdoches" "O07" t)
(beginning-of-buffer)

(replace-regexp "Hudspeth" "A02" t)
(beginning-of-buffer)

(replace-regexp "Hamilton" "K03" t)
(beginning-of-buffer)

(replace-regexp "Culberson" "A03" t)
(beginning-of-buffer)

(replace-regexp "Loving" "D11" t)
(beginning-of-buffer)

(replace-regexp "Reeves" "A04" t)
(beginning-of-buffer)

(replace-regexp "Mclennan" "K08" t)
(beginning-of-buffer)

(replace-regexp "Limestone" "N02" t)
(beginning-of-buffer)

(replace-regexp "San Augustine" "O11" t)
(beginning-of-buffer)

(replace-regexp "Sabine" "O12" t)
(beginning-of-buffer)

(replace-regexp "Coryell" "K07" t)
(beginning-of-buffer)

(replace-regexp "Leon" "N06" t)
(beginning-of-buffer)

(replace-regexp "Houston" "O09" t)
(beginning-of-buffer)

(replace-regexp "Mills" "K02" t)
(beginning-of-buffer)

(replace-regexp "Angelina" "O10" t)
(beginning-of-buffer)

(replace-regexp "Tom Greene" "D23" t)
(beginning-of-buffer)

(replace-regexp "Ward" "D18" t)
(beginning-of-buffer)

(replace-regexp "Crane" "D19" t)
(beginning-of-buffer)

(replace-regexp "Upton " "D20" t)
(beginning-of-buffer)

(replace-regexp "Reagan" "D21" t)
(beginning-of-buffer)

(replace-regexp "Falls" "K11" t)
(beginning-of-buffer)

(replace-regexp "Trinity" "O14" t)
(beginning-of-buffer)

(replace-regexp "Concho" "G01" t)
(beginning-of-buffer)

(replace-regexp "Irion" "D22" t)
(beginning-of-buffer)

(replace-regexp "San Saba" "G03" t)
(beginning-of-buffer)

(replace-regexp "Lampasas" "K06" t)
(beginning-of-buffer)

(replace-regexp "Mcculloch" "G02" t)
(beginning-of-buffer)

(replace-regexp "Robertson" "N05" t)
(beginning-of-buffer)

(replace-regexp "Newton" "O19" t)
(beginning-of-buffer)

(replace-regexp "Jasper" "O18" t)
(beginning-of-buffer)

(replace-regexp "Bell" "K10" t)
(beginning-of-buffer)

(replace-regexp "Pecos" "A08" t)
(beginning-of-buffer)

(replace-regexp "Polk" "O16" t)
(beginning-of-buffer)

(replace-regexp "Tyler" "O17" t)
(beginning-of-buffer)

(replace-regexp "Madison" "N09" t)
(beginning-of-buffer)

(replace-regexp "Walker" "O13" t)
(beginning-of-buffer)

(replace-regexp "Milam" "N04" t)
(beginning-of-buffer)

(replace-regexp "Jeff Davis" "A05" t)
(beginning-of-buffer)

(replace-regexp "Schleicher" "E02" t)
(beginning-of-buffer)

(replace-regexp "Menard" "G04" t)
(beginning-of-buffer)

(replace-regexp "Burnet" "K09" t)
(beginning-of-buffer)

(replace-regexp "Brazos" "N08" t)
(beginning-of-buffer)

(replace-regexp "San Jacinto" "O15" t)
(beginning-of-buffer)

(replace-regexp "Crockett" "E01" t)
(beginning-of-buffer)

(replace-regexp "Grimes" "N10" t)
(beginning-of-buffer)

(replace-regexp "Williamson" "K12" t)
(beginning-of-buffer)

(replace-regexp "Mason" "G05" t)
(beginning-of-buffer)

(replace-regexp "Llano" "G06" t)
(beginning-of-buffer)

(replace-regexp "Burleson" "N07" t)
(beginning-of-buffer)

(replace-regexp "Hardin" "O21" t)
(beginning-of-buffer)

(replace-regexp "Montgomery" "O20" t)
(beginning-of-buffer)

(replace-regexp "Kimble" "G07" t)
(beginning-of-buffer)

(replace-regexp "Liberty" "P06" t)
(beginning-of-buffer)

(replace-regexp "Sutton" "E03" t)
(beginning-of-buffer)

(replace-regexp "Travis" "K13" t)
(beginning-of-buffer)

(replace-regexp "Lee" "L06" t)
(beginning-of-buffer)

(replace-regexp "Brewster" "A07" t)
(beginning-of-buffer)

(replace-regexp "Terrell" "C20" t)
(beginning-of-buffer)

(replace-regexp "Presidio" "A06" t)
(beginning-of-buffer)

(replace-regexp "Orange" "O22" t)
(beginning-of-buffer)

(replace-regexp "Gillespie" "G08" t)
(beginning-of-buffer)

(replace-regexp "Blanco" "G09" t)
(beginning-of-buffer)

(replace-regexp "Bastrop" "L05" t)
(beginning-of-buffer)

(replace-regexp "Washington" "L09" t)
(beginning-of-buffer)

(replace-regexp "Jefferson" "P15" t)
(beginning-of-buffer)

(replace-regexp "Waller" "L14" t)
(beginning-of-buffer)

(replace-regexp "Hays" "L02" t)
(beginning-of-buffer)

(replace-regexp "Harris" "P05" t)
(beginning-of-buffer)

(replace-regexp "Kerr" "G10" t)
(beginning-of-buffer)

(replace-regexp "Val Verde" "E04" t)
(beginning-of-buffer)

(replace-regexp "Edwards" "E05" t)
(beginning-of-buffer)

(replace-regexp "Fayette" "L08" t)
(beginning-of-buffer)

(replace-regexp "Austin" "L13" t)
(beginning-of-buffer)

(replace-regexp "Kendall" "G13" t)
(beginning-of-buffer)

(replace-regexp "Chambers" "P14" t)
(beginning-of-buffer)

(replace-regexp "Caldwell" "L04" t)
(beginning-of-buffer)

(replace-regexp "Real" "G11" t)
(beginning-of-buffer)

(replace-regexp "Comal" "L01" t)
(beginning-of-buffer)

(replace-regexp "Colorado" "L12" t)
(beginning-of-buffer)

(replace-regexp "Fort Bend" "P04" t)
(beginning-of-buffer)

(replace-regexp "Bandera" "G12" t)
(beginning-of-buffer)

(replace-regexp "Guadalupe" "L03" t)
(beginning-of-buffer)

(replace-regexp "Gonzales" "L07" t)
(beginning-of-buffer)

(replace-regexp "Galveston" "P13" t)
(beginning-of-buffer)

(replace-regexp "Bexar" "H04" t)
(beginning-of-buffer)

(replace-regexp "Wharton" "P03" t)
(beginning-of-buffer)

(replace-regexp "Brazoria" "P12" t)
(beginning-of-buffer)

(replace-regexp "Lavaca" "L11" t)
(beginning-of-buffer)

(replace-regexp "Medina" "H03" t)
(beginning-of-buffer)

(replace-regexp "Kinney" "H01" t)
(beginning-of-buffer)

(replace-regexp "Uvalde" "H02" t)
(beginning-of-buffer)

(replace-regexp "Wilson" "H09" t)
(beginning-of-buffer)

(replace-regexp "Dewitt" "L10" t)
(beginning-of-buffer)

(replace-regexp "Jackson" "P02" t)
(beginning-of-buffer)

(replace-regexp "Matagorda" "P11" t)
(beginning-of-buffer)

(replace-regexp "Atascosa" "H08" t)
(beginning-of-buffer)

(replace-regexp "Karnes" "H10" t)
(beginning-of-buffer)

(replace-regexp "Victoria" "P01" t)
(beginning-of-buffer)

(replace-regexp "Frio" "H07" t)
(beginning-of-buffer)

(replace-regexp "Maverick" "H05" t)
(beginning-of-buffer)

(replace-regexp "Zavala" "H06" t)
(beginning-of-buffer)

(replace-regexp "Goliad" "H11" t)
(beginning-of-buffer)

(replace-regexp "Calhoun" "P10" t)
(beginning-of-buffer)

(replace-regexp "Live Oak" "H15" t)
(beginning-of-buffer)

(replace-regexp "Bee" "H16" t)
(beginning-of-buffer)

(replace-regexp "La Salle" "H13" t)
(beginning-of-buffer)

(replace-regexp "Mcmullen" "H14" t)
(beginning-of-buffer)

(replace-regexp "Dimmit" "H12" t)
(beginning-of-buffer)

(replace-regexp "Refugo" "P08" t)
(beginning-of-buffer)

(replace-regexp "Aransas" "P09" t)
(beginning-of-buffer)

(replace-regexp "San Patricio" "P07" t)
(beginning-of-buffer)

(replace-regexp "Webb" "I01" t)
(beginning-of-buffer)

(replace-regexp "Duval" "I02" t)
(beginning-of-buffer)

(replace-regexp "Jim Wells" "I03" t)
(beginning-of-buffer)

(replace-regexp "Nueces" "I04" t)
(beginning-of-buffer)

(replace-regexp "Kleberg" "I05" t)
(beginning-of-buffer)

(replace-regexp "Jim Hogg" "I07" t)
(beginning-of-buffer)

(replace-regexp "Kenedy" "I09" t)
(beginning-of-buffer)

(replace-regexp "Zapata" "I06" t)
(beginning-of-buffer)

(replace-regexp "Brooks" "I08" t)
(beginning-of-buffer)

(replace-regexp "Hidalgo" "I11" t)
(beginning-of-buffer)

(replace-regexp "Starr" "I10" t)
(beginning-of-buffer)

(replace-regexp "Willacy" "I12" t)
(beginning-of-buffer)

(replace-regexp "Cameron" "I13" t)
(beginning-of-buffer)

)