pr ( I : 2 ( 1 : ( t : ( 0 : 9 ( 0 : 9 ( 0 : 9pr ( 4: