It was narrated that ‘Amir Ash-Sha’bi said:“I asked ‘Abdullah bin ‘Abbas and ‘Abdullah bin ‘Umar about the Prophet’s prayer at night. They said: ‘(He prayed) thirteen Rak’ah, including eight, and three for Witr, and two Rak’ah after the Fajr.’”

English translation · Sunan Ibn Majah