80 pr ( I : ( 0 : 0- ( 0 : ( 0 : ( 0 : pr ( 5 : ( 2 : ( 13 : p3 : k 85 ( 5 : ( 6 : ( 5: