[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.
كَانَ رَسُولُ اللهِ ﷺ «يُصَلِّي مِنَ اللَّيْلِ ثَلَاثَ عَشْرَةَ رَكْعَةً ثَمَانِ رَكَعَاتٍ وَيُوتِرُ بِثَلَاثٍ وَيَرْكَعُ رَكْعَتَيِ الْفَجْرِ»