1 .aJJotfl , } a aJJotfl , } a * 0*