} 3 ( irtp 'p