pr U . \ annat 12 : 50 k 13 : 33 pr 1 U .\