The Life of Ballālasena 2.10.26

2.10.26

dakṣo jajñe mahātejāḥ somasyāṃśena bhūmipāḥ putrānutpādayāmāsa śataśo 'tha sahasraśaḥ /
haryyaśya nāma dakṣasya sahasrāṇi ca pañca ca putrāṇāṃ vedituṃ pṛthvyāḥ pramāṇaṃ hi gatādiśaḥ //

Dakṣa of great splendor was born from a portion of Soma, O rulers of the earth; he begot sons by the hundreds and by the thousands.
Five thousand sons of Dakṣa, named Haryaśvas, went to the directions to ascertain the measure of the earth.