pr ( 1 : ( t : ( 1 : ( 1 : ( 1 : ( 0 : pr ( 4: