2. Ṣalāh (Prayer)

٢۔ كِتَابُ الصَّلَاةِ

2.594 [Machine] The description of the night prayer

٢۔٥٩٤ صِفَةُ صَلَاةِ اللَّيْلِ

nasai-kubra:1338Qutaybah b. Saʿīd > Mālik > ʿAbdullāh b. Abū Bakr from his father > ʿAbdullāh b. Qays b. Makhramah > Zayd b. Khālid al-Juhanī

I would definitely watch at night the prayer observed by the Messenger of Allah ﷺ. He prayed two short rak'ahs, then two long, long, long rak'ahs, then he prayed two rak'ahs which were shorter than the two preceding rak'ahs, then he prayed two rak'ahs which were shorter than the two preceding, then he prayed two rak'ahs which were shorter than the two preceding, then observed a single one (Witr), making a total of thirteen rak'ahs (Using translation from Muslim 765)  

الكبرى للنسائي:١٣٣٨أَخْبَرَنَا قُتَيْبَةُ بْنُ سَعِيدٍ عَنْ مَالِكٍ عَنْ عَبْدِ اللهِ بْنِ أَبِي بَكْرٍ عَنْ أَبِيهِ أَنَّ عَبْدَ اللهِ بْنَ قَيْسِ بْنِ مَخْرَمَةَ أَخْبَرَهُ عَنْ زَيْدِ بْنِ خَالِدٍ الْجُهَنِيِّ

أَنَّهُ قَالَ لَأَرْمُقَنَّ صَلَاةَ رَسُولِ اللهِ ﷺ «فَصَلَّى رَكْعَتَيْنِ خَفِيفَتَيْنِ ثُمَّ صَلَّى رَكْعَتَيْنِ طَوِيلَتَيْنِ طَوِيلَتَيْنِ طَوِيلَتَيْنِ ثُمَّ صَلَّى رَكْعَتَيْنِ وَهُمَا دُونَ اللَّتَيْنِ قَبْلَهُمَا ثُمَّ صَلَّى رَكْعَتَيْنِ وَهُمَا دُونَ اللَّتَيْنِ قَبْلَهُمَا ثُمَّ صَلَّى رَكْعَتَيْنِ وَهُمَا دُونَ اللَّتَيْنِ قَبْلَهُمَا ثُمَّ صَلَّى رَكْعَتَيْنِ وَهُمَا دُونَ اللَّتَيْنِ قَبْلَهُمَا ثُمَّ أَوْتَرَ فَذَلِكَ ثَلَاثُ عَشْرَةِ رَكْعَةً»