[ + 1.0 + 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h5 h6 p1 p3 p2 ) + 1.0 * P( h4 h5 h6 p2 p3 p1 => h4 h5 h6 p1 p2 p3 ) - 1.0 * P( h4 h5 h6 p2 p3 p1 => h4 h6 h5 p2 p3 p1 ) - 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h6 h5 p1 p3 p2 ) - 1.0 * P( h4 h5 h6 p2 p3 p1 => h4 h6 h5 p1 p2 p3 ) - 1.0 * P( h5 h4 h6 p2 p3 p1 => h5 h6 h4 p2 p3 p1 ) - 1.0 * P( h5 h4 h6 p3 p2 p1 => h5 h6 h4 p1 p3 p2 ) - 1.0 * P( h5 h4 h6 p2 p3 p1 => h5 h6 h4 p1 p2 p3 ) ] * v ( h4 h5 p2 p3 ) * y ( h6 p1 ) [ + 1.0 - 1.0 * P( h4 h5 h6 p3 p1 p2 => h4 h5 h6 p2 p1 p3 ) - 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h5 h6 p1 p2 p3 ) - 1.0 * P( h4 h5 h6 p3 p1 p2 => h5 h4 h6 p3 p1 p2 ) + 1.0 * P( h4 h5 h6 p3 p1 p2 => h5 h4 h6 p2 p1 p3 ) + 1.0 * P( h4 h5 h6 p3 p2 p1 => h5 h4 h6 p1 p2 p3 ) - 1.0 * P( h4 h6 h5 p3 p1 p2 => h6 h4 h5 p3 p1 p2 ) + 1.0 * P( h4 h6 h5 p3 p1 p2 => h6 h4 h5 p2 p1 p3 ) + 1.0 * P( h4 h6 h5 p3 p2 p1 => h6 h4 h5 p1 p2 p3 ) ] * f ( h4 p3 ) * y ( h5 h6 p1 p2 ) [ + 1.0 - 1.0 * P( h4 h5 h6 p3 p1 p2 => h4 h5 h6 p2 p1 p3 ) - 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h5 h6 p1 p2 p3 ) - 1.0 * P( h4 h5 h6 p3 p1 p2 => h4 h6 h5 p3 p1 p2 ) + 1.0 * P( h4 h5 h6 p3 p1 p2 => h4 h6 h5 p2 p1 p3 ) + 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h6 h5 p1 p2 p3 ) - 1.0 * P( h5 h4 h6 p3 p1 p2 => h5 h6 h4 p3 p1 p2 ) + 1.0 * P( h5 h4 h6 p3 p1 p2 => h5 h6 h4 p2 p1 p3 ) + 1.0 * P( h5 h4 h6 p3 p2 p1 => h5 h6 h4 p1 p2 p3 ) ] * Sum ( h7 ) * v ( h4 h5 h7 p3 ) * y ( h7 h6 p1 p2 ) [ + 1.0 + 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h5 h6 p1 p3 p2 ) + 1.0 * P( h4 h5 h6 p2 p3 p1 => h4 h5 h6 p1 p2 p3 ) - 1.0 * P( h4 h5 h6 p2 p3 p1 => h5 h4 h6 p2 p3 p1 ) - 1.0 * P( h4 h5 h6 p3 p2 p1 => h5 h4 h6 p1 p3 p2 ) - 1.0 * P( h4 h5 h6 p2 p3 p1 => h5 h4 h6 p1 p2 p3 ) - 1.0 * P( h4 h6 h5 p2 p3 p1 => h6 h4 h5 p2 p3 p1 ) - 1.0 * P( h4 h6 h5 p3 p2 p1 => h6 h4 h5 p1 p3 p2 ) - 1.0 * P( h4 h6 h5 p2 p3 p1 => h6 h4 h5 p1 p2 p3 ) ] * Sum ( p7 ) * v ( h4 p7 p2 p3 ) * y ( h5 h6 p7 p1 ) [ + 1.0 - 1.0 * P( h4 h5 h6 p3 p1 p2 => h4 h5 h6 p2 p1 p3 ) - 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h5 h6 p1 p2 p3 ) - 1.0 * P( h4 h5 h6 p3 p1 p2 => h4 h6 h5 p3 p1 p2 ) + 1.0 * P( h4 h5 h6 p3 p1 p2 => h4 h6 h5 p2 p1 p3 ) + 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h6 h5 p1 p2 p3 ) - 1.0 * P( h5 h4 h6 p3 p1 p2 => h5 h6 h4 p3 p1 p2 ) + 1.0 * P( h5 h4 h6 p3 p1 p2 => h5 h6 h4 p2 p1 p3 ) + 1.0 * P( h5 h4 h6 p3 p2 p1 => h5 h6 h4 p1 p2 p3 ) ] * Sum ( p7 h8 ) * t ( p7 h8 ) * v ( h4 h5 p7 p3 ) * y ( h8 h6 p1 p2 ) [ + 1.0 + 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h5 h6 p1 p3 p2 ) + 1.0 * P( h4 h5 h6 p2 p3 p1 => h4 h5 h6 p1 p2 p3 ) - 1.0 * P( h4 h5 h6 p2 p3 p1 => h5 h4 h6 p2 p3 p1 ) - 1.0 * P( h4 h5 h6 p3 p2 p1 => h5 h4 h6 p1 p3 p2 ) - 1.0 * P( h4 h5 h6 p2 p3 p1 => h5 h4 h6 p1 p2 p3 ) - 1.0 * P( h4 h6 h5 p2 p3 p1 => h6 h4 h5 p2 p3 p1 ) - 1.0 * P( h4 h6 h5 p3 p2 p1 => h6 h4 h5 p1 p3 p2 ) - 1.0 * P( h4 h6 h5 p2 p3 p1 => h6 h4 h5 p1 p2 p3 ) ] * Sum ( p7 h8 ) * t ( p7 h8 ) * v ( h8 h4 p2 p3 ) * y ( h5 h6 p7 p1 ) [ + 1.0 - 1.0 * P( h4 h5 h6 p3 p1 p2 => h4 h5 h6 p2 p1 p3 ) - 1.0 * P( h4 h5 h6 p3 p2 p1 => h4 h5 h6 p1 p2 p3 ) - 1.0 * P( h4 h5 h6 p3 p1 p2 => h5 h4 h6 p3 p1 p2 ) + 1.0 * P( h4 h5 h6 p3 p1 p2 => h5 h4 h6 p2 p1 p3 ) + 1.0 * P( h4 h5 h6 p3 p2 p1 => h5 h4 h6 p1 p2 p3 ) - 1.0 * P( h4 h6 h5 p3 p1 p2 => h6 h4 h5 p3 p1 p2 ) + 1.0 * P( h4 h6 h5 p3 p1 p2 => h6 h4 h5 p2 p1 p3 ) + 1.0 * P( h4 h6 h5 p3 p2 p1 => h6 h4 h5 p1 p2 p3 ) ] * Sum ( p7 h8 ) * t ( p7 h8 ) * v ( h8 h4 p7 p3 ) * y ( h5 h6 p1 p2 )