[ + 1.0 - 1.0 * P( p4 p5 p6 h2 h3 h1 => p4 p6 p5 h2 h3 h1 ) - 1.0 * P( p5 p4 p6 h2 h3 h1 => p5 p6 p4 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 => p4 p6 p5 h1 h3 h2 ) - 1.0 * P( p5 p4 p6 h3 h2 h1 => p5 p6 p4 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 => p4 p6 p5 h1 h2 h3 ) - 1.0 * P( p5 p4 p6 h2 h3 h1 => p5 p6 p4 h1 h2 h3 ) ] * t ( p4 p5 h2 h3 ) * t ( p6 h1 )
[ - 1.0 + 1.0 * P( p6 p5 p4 h1 h2 h3 => p6 p5 p4 h1 h3 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 h3 => p6 p5 p4 h2 h1 h3 ) - 1.0 * P( p6 p5 p4 h1 h2 h3 => p6 p5 p4 h2 h3 h1 ) - 1.0 * P( p6 p5 p4 h1 h2 h3 => p6 p5 p4 h3 h1 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 h3 => p6 p5 p4 h3 h2 h1 ) ] * t ( p6 h1 ) * t ( p5 h2 ) * t ( p4 h3 )