( 1 : ( 1 : ( li ( 1 : ( 1 : ( 1 : pr ( 4 : ( 6 : 8 ( 7 : ( 6 : ( 6 : ( 4 : ( 6: