1683 1307 Lisp. 2718 60 1786 175 1234 1740 246 10 010 T:r 519 346 16 2729