9.3
Moreover, when Sulla sent out Paccianus with an army to give aid to Ascalis, Sertorius joined battle with Paccianus and slew him, won over his soldiers after their defeat, and forced to a surrender the city of Tingis, into which Ascalis and his brethren had fled for refuge. In this city the Libyans say that Antaeus is buried; and Sertorius had his tomb dug open, the great size of which made him disbelieve the Barbarians. But when he came upon the body and found it to be sixty cubits long, as they tell us, he was dumbfounded, and after performing a sacrifice filled up the tomb again, and joined in magnifying its traditions and honours.
9.4
Now, the people of Tingis have a myth that after the death of Antaeus, his wife, Tinga, consorted with Heracles, and that Sophax was the fruit of this union, who became king of the country and named a city which he founded after his mother; also that Sophax had a son, Diodorus, to whom many of the Libyan peoples became subject, since he had a Greek army composed of the Olbians and Mycenaeans who were settled in those parts by Heracles.