pr aln , 5:tums 1 * ( 2 , 6:tnm 2 , 7:tnm 2 8:tnms 2!