The Messenger of Allah ﷺ used to pray thirteen rak'ahs during the night, observing the witr prayer with nine (or as she said). He used to pray two rak'ahs while sitting and pray two rak'ahs of the dawn prayer between the adhan and the iqamah. (Using translation from Abū Dāʾūd 1350)
أَنَّ رَسُولَ اللهِ ﷺ كَانَ يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً يُوتِرُ بِتِسْعٍ أَوْ كَمَا قَالَ وَيُصَلِّي رَكْعَتَيْنِ وَهُوَ جَالِسٌ وَرَكْعَتَيِ الْفَجْرِ بَيْنَ الْأَذَانِ وَالْإِقَامَةِ
The Messenger of Allah ﷺ used to pray thirteen rak'ahs during the night, observing the witr prayer with nine (or as she said). He used to pray two rak'ahs while sitting and pray two rak'ahs of the dawn prayer between the adhan and the iqamah.
أَنَّ رَسُولَ اللَّهِ ﷺ كَانَ يُصَلِّي مِنَ اللَّيْلِ ثَلاَثَ عَشْرَةَ رَكْعَةً يُوتِرُ بِسَبْعٍ أَوْ كَمَا قَالَتْ وَيُصَلِّي رَكْعَتَيْنِ وَهُوَ جَالِسٌ وَرَكْعَتَىِ الْفَجْرِ بَيْنَ الأَذَانِ وَالإِقَامَةِ
[Machine] The Messenger of Allah ﷺ used to pray thirteen rak'ahs at night, eight rak'ahs and then three rak'ahs of witr, and he would pray two rak'ahs for Fajr.
كَانَ رَسُولُ اللهِ ﷺ «يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً ثَمَانِ رَكَعَاتٍ وَيُوتِرُ بِثَلَاثٍ وَيَرْكَعُ رَكْعَتَيِ الْفَجْرِ»
The Prophet ﷺ used to offer thirteen rakʿat of the night prayer and that included the witr and two rakʿat (Sunna) of the Fajr prayer. (Using translation from Bukhārī 1140)
كَانَ رَسُولُ اللهِ ﷺ «يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً ثَمَانِيَ رَكَعَاتٍ وَيُوتِرُ بِثَلَاثٍ وَيَرْكَعُ رَكْعَتَيِ الْفَجْرِ»