AlLmUtn , a , bct}