1[ + 1.0 - 1.0 * P( p4 p5 p6 h3 h1 h2 => p4 p6 p5 h3 h1 h2 ) - 1.0 * P( p5 p4 p6 h3 h1 h2 => p5 p6 p4 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 => p4 p6 p5 h2 h1 h3 ) + 1.0 * P( p5 p4 p6 h3 h1 h2 => p5 p6 p4 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 => p4 p6 p5 h1 h2 h3 ) + 1.0 * P( p5 p4 p6 h3 h2 h1 => p5 p6 p4 h1 h2 h3 ) ] * Sum ( h7 ) * t ( p4 p5 h7 h3 ) * v ( h7 p6 h1 h2 )
2[ + 1.0 - 1.0 * P( p4 p5 p6 h2 h3 h1 => p5 p4 p6 h2 h3 h1 ) - 1.0 * P( p4 p6 p5 h2 h3 h1 => p6 p4 p5 h2 h3 h1 ) + 1.0 * P( p4 p5 p6 h3 h2 h1 => p4 p5 p6 h1 h3 h2 ) - 1.0 * P( p4 p5 p6 h3 h2 h1 => p5 p4 p6 h1 h3 h2 ) - 1.0 * P( p4 p6 p5 h3 h2 h1 => p6 p4 p5 h1 h3 h2 ) + 1.0 * P( p4 p5 p6 h2 h3 h1 => p4 p5 p6 h1 h2 h3 ) - 1.0 * P( p4 p5 p6 h2 h3 h1 => p5 p4 p6 h1 h2 h3 ) - 1.0 * P( p4 p6 p5 h2 h3 h1 => p6 p4 p5 h1 h2 h3 ) ] * Sum ( p7 ) * t ( p7 p4 h2 h3 ) * v ( p5 p6 h1 p7 )
3[ - 1.0 + 1.0 * P( p4 p5 p6 h1 h2 h3 => p4 p5 p6 h2 h1 h3 ) + 1.0 * P( p4 p5 p6 h1 h3 h2 => p4 p5 p6 h3 h1 h2 ) ] * Sum ( h7 ) * f ( h7 h1 ) * t ( p4 p5 p6 h7 h2 h3 )
4[ + 1.0 - 1.0 * P( p6 p4 p5 h1 h2 h3 => p5 p4 p6 h1 h2 h3 ) - 1.0 * P( p6 p5 p4 h1 h2 h3 => p4 p5 p6 h1 h2 h3 ) ] * Sum ( p7 ) * f ( p6 p7 ) * t ( p7 p4 p5 h1 h2 h3 )
5