《水经注·卷六》
司马彪说：挑水发源于闻喜县，所以王莽时把该县改为挑亭。
司马彪曰：洮水出闻喜县。故王莽以县为洮亭也。
Sima Biao said: Tiao Shui originated in Wenxi County, so Wang Mang changed the county to Tiao Ting during his reign.
<s>[INST] Render the following Classical Chinese text into fluent English: 司马彪曰：洮水出闻喜县。故王莽以县为洮亭也。 [/INST] Sima Biao said: Tiao Shui originated in Wenxi County, so Wang Mang changed the county to Tiao Ting during his reign.</s>
Render the following Classical Chinese text into fluent English: 司马彪曰：洮水出闻喜县。故王莽以县为洮亭也。
user
Sima Biao said: Tiao Shui originated in Wenxi County, so Wang Mang changed the county to Tiao Ting during his reign.
assistant