Summa rint rdr 1 , 749 , 135 : 3.