a 1 K ^ 16 K.