Muwatta Imam Malik Book of Tahajjud, Hadith 10
Yahya related to me from Malik from Hisham ibn Urwa from his father that A'isha, umm al-muminin said, "The Messenger of Allah ﷺ used to pray thirteen rakas in the night and then would pray two rakas when he heard the adhan for the subh prayer."
وَحَدَّثَنِي عَنْ مَالِكٍ، عَنْ هِشَامِ بْنِ عُرْوَةَ، عَنْ أَبِيهِ، عَنْ عَائِشَةَ أُمِّ الْمُؤْمِنِينَ، قَالَتْ كَانَ رَسُولُ اللَّهِ ﷺ يُصَلِّي بِاللَّيْلِ ثَلاَثَ عَشْرَةَ رَكْعَةً ثُمَّ يُصَلِّي إِذَا سَمِعَ النِّدَاءَ بِالصُّبْحِ رَكْعَتَيْنِ خَفِيفَتَيْنِ .