8 ) , a 2 ^ rmt: