a 1 ^ 33 , pr 15 Dec.