[ + 1.0 - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 ) * v ( h7 p6 h1 h2 ) * x ( p4 p5 h7 h3* ) [ + 1.0 + 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 ) * v ( p5 p6 h1 p7 ) * x ( p7 p4 h2 h3* ) [ - 1.0 + 1.0 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 ) * f ( h7 h1 ) * x ( p4 p5 p6 h7 h2 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 ) * f ( p6 p7 ) * x ( p7 p4 p5 h1 h2 h3* ) [ + 0.5 ] * Sum ( h7 h8 ) * v ( h7 h8 h1 h2 ) * x ( p4 p5 p6 h7 h8 h3* ) [ - 1.0 + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p6 p4 p5 h1 h2 => p6 p4 p5 h2 h1 ) - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h2 h1 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 p8 ) * v ( h7 p6 h1 p8 ) * x ( p8 p4 p5 h7 h2 h3* ) [ + 0.5 + 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 p8 ) * v ( p5 p6 p7 p8 ) * x ( p7 p8 p4 h1 h2 h3* ) [ - 1.0 + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 h8 ) * t ( p6 h7 ) * v ( h8 h7 h1 h2 ) * x ( p4 p5 h8 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h2 h1 => p5 p4 p6 h2 h1 ) - 1.0 * P( p6 p5 p4 h2 h1 => p4 p5 p6 h2 h1 ) - 1.0 * P( p6 p4 p5 h2 h1 => p6 p4 p5 h1 h2 ) + 1.0 * P( p6 p4 p5 h2 h1 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 ) * t ( p7 h2 ) * v ( h8 p6 h1 p7 ) * x ( p4 p5 h8 h3* ) [ - 1.0 + 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h2 h1 ) ] * Sum ( h7 p8 ) * t ( p5 h7 ) * v ( h7 p6 h1 p8 ) * x ( p8 p4 h2 h3* ) [ - 1.0 - 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 p8 ) * t ( p7 h1 ) * v ( p5 p6 p8 p7 ) * x ( p8 p4 h2 h3* ) [ - 1.0 + 1.0 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 p8 ) * f ( h7 p8 ) * t ( p8 h1 ) * x ( p4 p5 p6 h7 h2 h3* ) [ - 1.0 + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 p8 ) * f ( h7 p8 ) * t ( p6 h7 ) * x ( p8 p4 p5 h1 h2 h3* ) [ + 0.5 - 0.5 * P( p4 p5 p6 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 h9 ) * t ( p7 h2 ) * v ( h8 h9 h1 p7 ) * x ( p4 p5 p6 h8 h9 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 1.0 * P( p6 p4 p5 h1 h2 => p6 p4 p5 h2 h1 ) + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h2 h1 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 h8 p9 ) * t ( p6 h7 ) * v ( h8 h7 h1 p9 ) * x ( p9 p4 p5 h8 h2 h3* ) [ - 1.0 + 1.0 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 h8 h9 ) * t ( p7 h8 ) * v ( h9 h8 h1 p7 ) * x ( p4 p5 p6 h9 h2 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 1.0 * P( p6 p4 p5 h1 h2 => p6 p4 p5 h2 h1 ) + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h2 h1 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 h8 p9 ) * t ( p7 h1 ) * v ( h8 p6 p9 p7 ) * x ( p9 p4 p5 h8 h2 h3* ) [ - 0.5 + 0.5 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 0.5 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h1 h2 ) - 0.5 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h1 h2 ) - 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 0.5 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h1 h2 ) ] * Sum ( h7 p8 p9 ) * t ( p5 h7 ) * v ( h7 p6 p8 p9 ) * x ( p8 p9 p4 h1 h2 h3* ) [ - 1.0 + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 p9 ) * t ( p7 h8 ) * v ( h8 p6 p9 p7 ) * x ( p9 p4 p5 h1 h2 h3* ) [ - 1.0 + 1.0 * P( p4 p5 p6 h2 h1 => p4 p6 p5 h2 h1 ) + 1.0 * P( p5 p4 p6 h2 h1 => p5 p6 p4 h2 h1 ) + 1.0 * P( p4 p5 p6 h2 h1 => p4 p5 p6 h1 h2 ) - 1.0 * P( p4 p5 p6 h2 h1 => p4 p6 p5 h1 h2 ) - 1.0 * P( p5 p4 p6 h2 h1 => p5 p6 p4 h1 h2 ) ] * Sum ( h7 p8 ) * t ( p4 p5 h7 h2 ) * v ( h7 p6 h1 p8 ) * x ( p8 h3* ) [ + 1.0 - 1.0 * P( p4 p5 p6 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p4 p6 p5 h1 h2 => p6 p4 p5 h1 h2 ) ] * Sum ( p7 p8 ) * t ( p7 p4 h1 h2 ) * v ( p5 p6 p8 p7 ) * x ( p8 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 p8 ) * f ( h7 p8 ) * t ( p8 p6 h1 h2 ) * x ( p4 p5 h7 h3* ) [ + 1.0 + 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 p8 ) * f ( h7 p8 ) * t ( p5 p6 h7 h1 ) * x ( p8 p4 h2 h3* ) [ + 1.0 + 1.0 * P( p6 p5 p4 h2 h1 => p4 p6 p5 h2 h1 ) + 1.0 * P( p5 p6 p4 h2 h1 => p4 p5 p6 h2 h1 ) - 1.0 * P( p5 p6 p4 h2 h1 => p5 p6 p4 h1 h2 ) - 1.0 * P( p6 p5 p4 h2 h1 => p4 p6 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 h8 p9 ) * t ( p5 p6 h7 h2 ) * v ( h8 h7 h1 p9 ) * x ( p9 p4 h8 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h2 h1 => p5 p4 p6 h2 h1 ) - 1.0 * P( p6 p5 p4 h2 h1 => p4 p5 p6 h2 h1 ) - 1.0 * P( p6 p4 p5 h2 h1 => p6 p4 p5 h1 h2 ) + 1.0 * P( p6 p4 p5 h2 h1 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 h9 ) * t ( p7 p6 h8 h2 ) * v ( h9 h8 h1 p7 ) * x ( p4 p5 h9 h3* ) [ + 0.5 + 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 0.5 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 h8 p9 ) * t ( p5 p6 h7 h8 ) * v ( h7 h8 h1 p9 ) * x ( p9 p4 h2 h3* ) [ - 1.0 + 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h1 h2 ) ] * Sum ( p7 h8 p9 ) * t ( p7 p5 h1 h2 ) * v ( h8 p6 p9 p7 ) * x ( p9 p4 h8 h3* ) [ + 0.5 - 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 p8 h9 ) * t ( p7 p8 h1 h2 ) * v ( h9 p6 p7 p8 ) * x ( p4 p5 h9 h3* ) [ + 0.5 - 0.5 * P( p4 p5 p6 h1 h2 => p4 p6 p5 h1 h2 ) - 0.5 * P( p5 p4 p6 h1 h2 => p5 p6 p4 h1 h2 ) - 0.5 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) + 0.5 * P( p4 p5 p6 h1 h2 => p4 p6 p5 h2 h1 ) + 0.5 * P( p5 p4 p6 h1 h2 => p5 p6 p4 h2 h1 ) ] * Sum ( h7 p8 p9 ) * t ( p4 p5 h7 h1 ) * v ( h7 p6 p8 p9 ) * x ( p8 p9 h2 h3* ) [ - 1.0 + 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h2 h1 ) ] * Sum ( p7 h8 p9 ) * t ( p7 p5 h8 h1 ) * v ( h8 p6 p9 p7 ) * x ( p9 p4 h2 h3* ) [ + 0.5 - 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p6 h1 h2 ) * v ( h8 h9 p10 p7 ) * x ( p10 p4 p5 h8 h9 h3* ) [ + 0.25 ] * Sum ( p7 p8 h9 h10 ) * t ( p7 p8 h1 h2 ) * v ( h9 h10 p7 p8 ) * x ( p4 p5 p6 h9 h10 h3* ) [ + 0.5 + 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 0.5 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p5 p6 h7 h1 ) * v ( h8 h7 p9 p10 ) * x ( p9 p10 p4 h8 h2 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 1.0 * P( p6 p4 p5 h1 h2 => p6 p4 p5 h2 h1 ) + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h2 h1 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p6 h8 h1 ) * v ( h9 h8 p10 p7 ) * x ( p10 p4 p5 h9 h2 h3* ) [ + 0.5 - 0.5 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 p8 h9 h10 ) * t ( p7 p8 h9 h1 ) * v ( h10 h9 p7 p8 ) * x ( p4 p5 p6 h10 h2 h3* ) [ + 0.25 + 0.25 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 0.25 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p5 p6 h7 h8 ) * v ( h7 h8 p9 p10 ) * x ( p9 p10 p4 h1 h2 h3* ) [ + 0.5 - 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p6 h8 h9 ) * v ( h8 h9 p10 p7 ) * x ( p10 p4 p5 h1 h2 h3* ) [ - 1.0 ] * Sum ( h7 p8 ) * f ( h7 p8 ) * t ( p4 p5 p6 h7 h1 h2 ) * x ( p8 h3* ) [ - 0.5 + 0.5 * P( p4 p5 p6 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 h8 p9 ) * t ( p4 p5 p6 h7 h8 h2 ) * v ( h7 h8 h1 p9 ) * x ( p9 h3* ) [ - 1.0 + 1.0 * P( p4 p5 p6 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p4 p6 h1 h2 => p5 p6 p4 h1 h2 ) ] * Sum ( p7 h8 p9 ) * t ( p7 p4 p5 h8 h1 h2 ) * v ( h8 p6 p9 p7 ) * x ( p9 h3* ) [ - 0.5 ] * Sum ( h7 h8 p9 p10 ) * t ( p4 p5 p6 h7 h1 h2 ) * v ( h8 h7 p9 p10 ) * x ( p9 p10 h8 h3* ) [ + 1.0 + 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p5 p6 h8 h1 h2 ) * v ( h9 h8 p10 p7 ) * x ( p10 p4 h9 h3* ) [ - 0.5 + 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 p8 h9 h10 ) * t ( p7 p8 p6 h9 h1 h2 ) * v ( h10 h9 p7 p8 ) * x ( p4 p5 h10 h3* ) [ + 0.25 - 0.25 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p4 p5 p6 h7 h8 h1 ) * v ( h7 h8 p9 p10 ) * x ( p9 p10 h2 h3* ) [ - 0.5 - 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) - 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 0.5 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) + 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p5 p6 h8 h9 h1 ) * v ( h8 h9 p10 p7 ) * x ( p10 p4 h2 h3* ) [ - 1.0 + 1.0 * P( p6 p4 p5 h2 h1 => p5 p4 p6 h2 h1 ) + 1.0 * P( p6 p5 p4 h2 h1 => p4 p5 p6 h2 h1 ) + 1.0 * P( p6 p4 p5 h2 h1 => p6 p4 p5 h1 h2 ) - 1.0 * P( p6 p4 p5 h2 h1 => p5 p4 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 p8 h9 ) * t ( p6 h7 ) * t ( p8 h2 ) * v ( h9 h7 h1 p8 ) * x ( p4 p5 h9 h3* ) [ + 0.5 - 0.5 * P( p6 p5 p4 h1 h2 => p5 p6 p4 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p6 p4 p5 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p5 p4 p6 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p6 p5 p4 h2 h1 ) + 0.5 * P( p6 p5 p4 h1 h2 => p5 p6 p4 h2 h1 ) + 0.5 * P( p6 p5 p4 h1 h2 => p6 p4 p5 h2 h1 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 0.5 * P( p6 p5 p4 h1 h2 => p5 p4 p6 h2 h1 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 h8 p9 ) * t ( p6 h7 ) * t ( p5 h8 ) * v ( h8 h7 h1 p9 ) * x ( p9 p4 h2 h3* ) [ - 0.5 + 0.5 * P( p6 p4 p5 h1 h2 => p6 p4 p5 h2 h1 ) + 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h2 h1 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 p8 h9 ) * t ( p7 h1 ) * t ( p8 h2 ) * v ( h9 p6 p8 p7 ) * x ( p4 p5 h9 h3* ) [ + 1.0 - 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h2 h1 ) ] * Sum ( h7 p8 p9 ) * t ( p5 h7 ) * t ( p8 h1 ) * v ( h7 p6 p9 p8 ) * x ( p9 p4 h2 h3* ) [ - 0.25 + 0.25 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 p8 h9 h10 ) * t ( p7 h1 ) * t ( p8 h2 ) * v ( h9 h10 p8 p7 ) * x ( p4 p5 p6 h9 h10 h3* ) [ - 1.0 + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p6 p4 p5 h1 h2 => p6 p4 p5 h2 h1 ) - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h2 h1 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 p8 h9 p10 ) * t ( p6 h7 ) * t ( p8 h1 ) * v ( h9 h7 p10 p8 ) * x ( p10 p4 p5 h9 h2 h3* ) [ + 1.0 - 1.0 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( p7 p8 h9 h10 ) * t ( p7 h1 ) * t ( p8 h9 ) * v ( h10 h9 p8 p7 ) * x ( p4 p5 p6 h10 h2 h3* ) [ + 0.25 - 0.25 * P( p6 p5 p4 h1 h2 => p5 p6 p4 h1 h2 ) - 0.25 * P( p6 p5 p4 h1 h2 => p6 p4 p5 h1 h2 ) + 0.25 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 0.25 * P( p6 p5 p4 h1 h2 => p5 p4 p6 h1 h2 ) - 0.25 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p6 h7 ) * t ( p5 h8 ) * v ( h8 h7 p9 p10 ) * x ( p9 p10 p4 h1 h2 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 p8 h9 p10 ) * t ( p6 h7 ) * t ( p8 h9 ) * v ( h9 h7 p10 p8 ) * x ( p10 p4 p5 h1 h2 h3* ) [ - 1.0 + 1.0 * P( p4 p5 p6 h2 h1 => p4 p6 p5 h2 h1 ) + 1.0 * P( p5 p4 p6 h2 h1 => p5 p6 p4 h2 h1 ) + 1.0 * P( p4 p5 p6 h2 h1 => p4 p5 p6 h1 h2 ) - 1.0 * P( p4 p5 p6 h2 h1 => p4 p6 p5 h1 h2 ) - 1.0 * P( p5 p4 p6 h2 h1 => p5 p6 p4 h1 h2 ) ] * Sum ( h7 h8 p9 ) * t ( p4 p5 h7 h2 ) * t ( p6 h8 ) * v ( h8 h7 h1 p9 ) * x ( p9 h3* ) [ + 1.0 - 1.0 * P( p4 p5 p6 h2 h1 => p4 p6 p5 h2 h1 ) - 1.0 * P( p5 p4 p6 h2 h1 => p5 p6 p4 h2 h1 ) - 1.0 * P( p4 p5 p6 h2 h1 => p4 p5 p6 h1 h2 ) + 1.0 * P( p4 p5 p6 h2 h1 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p4 p6 h2 h1 => p5 p6 p4 h1 h2 ) ] * Sum ( h7 p8 p9 ) * t ( p4 p5 h7 h2 ) * t ( p8 h1 ) * v ( h7 p6 p9 p8 ) * x ( p9 h3* ) [ - 1.0 + 1.0 * P( p4 p5 p6 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p4 p5 p6 h1 h2 => p4 p6 p5 h1 h2 ) - 1.0 * P( p4 p5 p6 h1 h2 => p5 p6 p4 h1 h2 ) - 1.0 * P( p4 p5 p6 h1 h2 => p6 p4 p5 h1 h2 ) + 1.0 * P( p4 p5 p6 h1 h2 => p6 p5 p4 h1 h2 ) ] * Sum ( p7 h8 p9 ) * t ( p7 p4 h1 h2 ) * t ( p5 h8 ) * v ( h8 p6 p9 p7 ) * x ( p9 h3* ) [ - 1.0 - 1.0 * P( p6 p5 p4 h2 h1 => p4 p6 p5 h2 h1 ) - 1.0 * P( p5 p6 p4 h2 h1 => p4 p5 p6 h2 h1 ) + 1.0 * P( p5 p6 p4 h2 h1 => p5 p6 p4 h1 h2 ) + 1.0 * P( p6 p5 p4 h2 h1 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 p8 h9 p10 ) * t ( p5 p6 h7 h2 ) * t ( p8 h1 ) * v ( h9 h7 p10 p8 ) * x ( p10 p4 h9 h3* ) [ + 1.0 - 1.0 * P( p6 p4 p5 h2 h1 => p5 p4 p6 h2 h1 ) - 1.0 * P( p6 p5 p4 h2 h1 => p4 p5 p6 h2 h1 ) - 1.0 * P( p6 p4 p5 h2 h1 => p6 p4 p5 h1 h2 ) + 1.0 * P( p6 p4 p5 h2 h1 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 p9 h10 ) * t ( p7 p6 h8 h2 ) * t ( p9 h1 ) * v ( h10 h8 p9 p7 ) * x ( p4 p5 h10 h3* ) [ - 0.5 - 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) - 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 0.5 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) + 0.5 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p5 p6 h7 h8 ) * t ( p9 h1 ) * v ( h7 h8 p10 p9 ) * x ( p10 p4 h2 h3* ) [ + 1.0 - 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h1 h2 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p5 h1 h2 ) * t ( p6 h8 ) * v ( h9 h8 p10 p7 ) * x ( p10 p4 h9 h3* ) [ - 0.5 + 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 p8 h9 h10 ) * t ( p7 p8 h1 h2 ) * t ( p6 h9 ) * v ( h10 h9 p7 p8 ) * x ( p4 p5 h10 h3* ) [ - 1.0 + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 p8 h9 h10 ) * t ( p7 p6 h1 h2 ) * t ( p8 h9 ) * v ( h10 h9 p8 p7 ) * x ( p4 p5 h10 h3* ) [ + 0.5 - 0.5 * P( p4 p5 p6 h1 h2 => p4 p6 p5 h1 h2 ) - 0.5 * P( p5 p4 p6 h1 h2 => p5 p6 p4 h1 h2 ) - 0.5 * P( p4 p5 p6 h1 h2 => p4 p5 p6 h2 h1 ) + 0.5 * P( p4 p5 p6 h1 h2 => p4 p6 p5 h2 h1 ) + 0.5 * P( p5 p4 p6 h1 h2 => p5 p6 p4 h2 h1 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p4 p5 h7 h1 ) * t ( p6 h8 ) * v ( h8 h7 p9 p10 ) * x ( p9 p10 h2 h3* ) [ - 1.0 + 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p6 p5 p4 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p6 p4 p5 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p4 p6 h2 h1 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p5 h8 h1 ) * t ( p6 h9 ) * v ( h9 h8 p10 p7 ) * x ( p10 p4 h2 h3* ) [ - 1.0 - 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 p8 h9 p10 ) * t ( p5 p6 h7 h1 ) * t ( p8 h9 ) * v ( h9 h7 p10 p8 ) * x ( p10 p4 h2 h3* ) [ + 0.5 - 0.5 * P( p4 p5 p6 h2 h1 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p4 p5 p6 h7 h8 h2 ) * t ( p9 h1 ) * v ( h7 h8 p10 p9 ) * x ( p10 h3* ) [ - 1.0 + 1.0 * P( p4 p5 p6 h1 h2 => p4 p6 p5 h1 h2 ) + 1.0 * P( p5 p4 p6 h1 h2 => p5 p6 p4 h1 h2 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p4 p5 h8 h1 h2 ) * t ( p6 h9 ) * v ( h9 h8 p10 p7 ) * x ( p10 h3* ) [ + 1.0 ] * Sum ( h7 p8 h9 p10 ) * t ( p4 p5 p6 h7 h1 h2 ) * t ( p8 h9 ) * v ( h9 h7 p10 p8 ) * x ( p10 h3* ) [ + 0.5 - 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( p7 h8 h9 p10 ) * t ( p7 p6 h1 h2 ) * t ( p4 p5 h8 h9 ) * v ( h8 h9 p10 p7 ) * x ( p10 h3* ) [ + 1.0 + 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) - 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h2 h1 ) + 1.0 * P( p5 p6 p4 h1 h2 => p4 p5 p6 h1 h2 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) - 1.0 * P( p5 p6 p4 h1 h2 => p5 p6 p4 h2 h1 ) ] * Sum ( h7 p8 h9 p10 ) * t ( p5 p6 h7 h1 ) * t ( p8 p4 h9 h2 ) * v ( h9 h7 p10 p8 ) * x ( p10 h3* ) [ + 0.5 - 0.5 * P( p6 p4 p5 h1 h2 => p6 p4 p5 h2 h1 ) - 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 0.5 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h2 h1 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 p8 p9 h10 ) * t ( p6 h7 ) * t ( p8 h1 ) * t ( p9 h2 ) * v ( h10 h7 p9 p8 ) * x ( p4 p5 h10 h3* ) [ - 0.5 + 0.5 * P( p6 p5 p4 h1 h2 => p5 p6 p4 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p6 p4 p5 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p5 p4 p6 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p6 p5 p4 h2 h1 ) - 0.5 * P( p6 p5 p4 h1 h2 => p5 p6 p4 h2 h1 ) - 0.5 * P( p6 p5 p4 h1 h2 => p6 p4 p5 h2 h1 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h2 h1 ) + 0.5 * P( p6 p5 p4 h1 h2 => p5 p4 p6 h2 h1 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p6 h7 ) * t ( p5 h8 ) * t ( p9 h1 ) * v ( h8 h7 p10 p9 ) * x ( p10 p4 h2 h3* ) [ - 1.0 + 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h1 h2 ) + 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) + 1.0 * P( p6 p4 p5 h1 h2 => p6 p4 p5 h2 h1 ) - 1.0 * P( p6 p4 p5 h1 h2 => p5 p4 p6 h2 h1 ) - 1.0 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h2 h1 ) ] * Sum ( h7 p8 h9 p10 ) * t ( p6 h7 ) * t ( p8 h1 ) * t ( p4 p5 h9 h2 ) * v ( h9 h7 p10 p8 ) * x ( p10 h3* ) [ + 0.5 - 0.5 * P( p6 p5 p4 h1 h2 => p5 p6 p4 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p6 p4 p5 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p4 p6 p5 h1 h2 ) + 0.5 * P( p6 p5 p4 h1 h2 => p5 p4 p6 h1 h2 ) - 0.5 * P( p6 p5 p4 h1 h2 => p4 p5 p6 h1 h2 ) ] * Sum ( h7 h8 p9 p10 ) * t ( p6 h7 ) * t ( p5 h8 ) * t ( p9 p4 h1 h2 ) * v ( h8 h7 p10 p9 ) * x ( p10 h3* )