pr ( 1 ; ( 1 : ( I : ( 0 : ( 0 : ( 0 : pr ( 6 : (4