[ + 1.0 - 1.0 * P( p4 p5 p6 h3 h1 h2 => p5 p4 p6 h3 h1 h2 ) - 1.0 * P( p4 p6 p5 h3 h1 h2 => p6 p4 p5 h3 h1 h2 ) - 1.0 * P( p4 p5 p6 h3 h1 h2 => p4 p5 p6 h2 h1 h3 ) + 1.0 * P( p4 p5 p6 h3 h1 h2 => p5 p4 p6 h2 h1 h3 ) + 1.0 * P( p4 p6 p5 h3 h1 h2 => p6 p4 p5 h2 h1 h3 ) - 1.0 * P( p4 p5 p6 h3 h2 h1 => p4 p5 p6 h1 h2 h3 ) + 1.0 * P( p4 p5 p6 h3 h2 h1 => p5 p4 p6 h1 h2 h3 ) + 1.0 * P( p4 p6 p5 h3 h2 h1 => p6 p4 p5 h1 h2 h3 ) ] * t ( p4 h3 ) * v ( p5 p6 h1 h2 )