[ + 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h7 h6 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h7 h6 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h7 h6 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h7 h6 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h7 h6 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h7 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h6 h5 h7 h8 p3 p4 p1 p2 => h6 h7 h5 h8 p3 p4 p1 p2 ) - 1.0 * P( h6 h5 h7 h8 p4 p3 p1 p2 => h6 h7 h5 h8 p2 p4 p1 p3 ) - 1.0 * P( h6 h5 h7 h8 p3 p4 p1 p2 => h6 h7 h5 h8 p2 p3 p1 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p3 p2 p1 => h6 h7 h5 h8 p1 p4 p2 p3 ) - 1.0 * P( h6 h5 h7 h8 p3 p4 p2 p1 => h6 h7 h5 h8 p1 p3 p2 p4 ) - 1.0 * P( h6 h5 h7 h8 p3 p4 p1 p2 => h6 h7 h5 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h8 h7 p3 p4 p1 p2 => h5 h8 h6 h7 p3 p4 p1 p2 ) - 1.0 * P( h5 h6 h8 h7 p4 p3 p1 p2 => h5 h8 h6 h7 p2 p4 p1 p3 ) - 1.0 * P( h5 h6 h8 h7 p3 p4 p1 p2 => h5 h8 h6 h7 p2 p3 p1 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p3 p2 p1 => h5 h8 h6 h7 p1 p4 p2 p3 ) - 1.0 * P( h5 h6 h8 h7 p3 p4 p2 p1 => h5 h8 h6 h7 p1 p3 p2 p4 ) - 1.0 * P( h5 h6 h8 h7 p3 p4 p1 p2 => h5 h8 h6 h7 p1 p2 p3 p4 ) - 1.0 * P( h6 h5 h8 h7 p3 p4 p1 p2 => h6 h8 h5 h7 p3 p4 p1 p2 ) - 1.0 * P( h6 h5 h8 h7 p4 p3 p1 p2 => h6 h8 h5 h7 p2 p4 p1 p3 ) - 1.0 * P( h6 h5 h8 h7 p3 p4 p1 p2 => h6 h8 h5 h7 p2 p3 p1 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p3 p2 p1 => h6 h8 h5 h7 p1 p4 p2 p3 ) - 1.0 * P( h6 h5 h8 h7 p3 p4 p2 p1 => h6 h8 h5 h7 p1 p3 p2 p4 ) - 1.0 * P( h6 h5 h8 h7 p3 p4 p1 p2 => h6 h8 h5 h7 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h7 h8 h5 h6 p3 p4 p1 p2 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h7 h8 h5 h6 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h7 h8 h5 h6 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h7 h8 h5 h6 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h7 h8 h5 h6 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * v ( h5 h6 p3 p4 ) * y ( h7 h8 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * f ( h5 p4 ) * y ( h6 h7 h8 p1 p2 p3 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h7 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h7 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p4 p1 p2 p3 ) - 1.0 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p3 p1 p2 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p1 p3 p2 => h6 h7 h5 h8 p2 p1 p3 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p2 p3 p1 => h6 h7 h5 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p1 p3 p2 => h5 h8 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p2 p3 p1 => h5 h8 h6 h7 p1 p2 p3 p4 ) + 1.0 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p4 p1 p2 p3 ) - 1.0 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p3 p1 p2 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p1 p3 p2 => h6 h8 h5 h7 p2 p1 p3 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p2 p3 p1 => h6 h8 h5 h7 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p4 p1 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h7 h8 h5 h6 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( h9 ) * v ( h5 h6 h9 p4 ) * y ( h9 h7 h8 p1 p2 p3 )
[ + 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h6 h5 h7 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h6 h5 h7 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h6 h5 h7 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h7 h6 h8 p4 p3 p1 p2 => h7 h5 h6 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p3 p2 p1 => h7 h5 h6 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p2 p1 => h7 h5 h6 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p3 p4 p1 p2 ) - 1.0 * P( h5 h8 h6 h7 p4 p3 p1 p2 => h8 h5 h6 h7 p2 p4 p1 p3 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p2 p3 p1 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p3 p2 p1 => h8 h5 h6 h7 p1 p4 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p2 p1 => h8 h5 h6 h7 p1 p3 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 ) * v ( h5 p9 p3 p4 ) * y ( h6 h7 h8 p9 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p1 p2 p3 p4 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p1 p2 p3 p4 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( h9 ) * f ( h5 h9 ) * y ( h9 h6 h7 h8 p1 p2 p3 p4 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( p9 ) * f ( p9 p4 ) * y ( h5 h6 h7 h8 p9 p1 p2 p3 )
[ - 0.5 + 0.5 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h5 h7 h6 h8 p1 p2 p3 p4 ) + 0.5 * P( h6 h5 h7 h8 p1 p2 p3 p4 => h6 h7 h5 h8 p1 p2 p3 p4 ) + 0.5 * P( h5 h6 h8 h7 p1 p2 p3 p4 => h5 h8 h6 h7 p1 p2 p3 p4 ) + 0.5 * P( h6 h5 h8 h7 p1 p2 p3 p4 => h6 h8 h5 h7 p1 p2 p3 p4 ) - 0.5 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( h9 h10 ) * v ( h5 h6 h9 h10 ) * y ( h10 h9 h7 h8 p1 p2 p3 p4 )
[ + 1.0 - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 ) * v ( h5 p9 h10 p4 ) * y ( h10 h6 h7 h8 p9 p1 p2 p3 )
[ - 0.5 - 0.5 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) - 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) - 0.5 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) - 0.5 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) - 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( p9 p10 ) * v ( p9 p10 p3 p4 ) * y ( h5 h6 h7 h8 p10 p9 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h7 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h7 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p4 p1 p2 p3 ) - 1.0 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p3 p1 p2 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p1 p3 p2 => h6 h7 h5 h8 p2 p1 p3 p4 ) - 1.0 * P( h6 h5 h7 h8 p4 p2 p3 p1 => h6 h7 h5 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p1 p3 p2 => h5 h8 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h8 h7 p4 p2 p3 p1 => h5 h8 h6 h7 p1 p2 p3 p4 ) + 1.0 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p4 p1 p2 p3 ) - 1.0 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p3 p1 p2 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p1 p3 p2 => h6 h8 h5 h7 p2 p1 p3 p4 ) - 1.0 * P( h6 h5 h8 h7 p4 p2 p3 p1 => h6 h8 h5 h7 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p4 p1 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h7 h8 h5 h6 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( p9 h10 ) * t ( p9 h10 ) * v ( h5 h6 p9 p4 ) * y ( h10 h7 h8 p1 p2 p3 )
[ + 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h6 h5 h7 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h6 h5 h7 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h6 h5 h7 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p3 p4 p1 p2 ) - 1.0 * P( h5 h7 h6 h8 p4 p3 p1 p2 => h7 h5 h6 h8 p2 p4 p1 p3 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p2 p3 p1 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p3 p2 p1 => h7 h5 h6 h8 p1 p4 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p2 p1 => h7 h5 h6 h8 p1 p3 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p3 p4 p1 p2 ) - 1.0 * P( h5 h8 h6 h7 p4 p3 p1 p2 => h8 h5 h6 h7 p2 p4 p1 p3 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p2 p3 p1 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p3 p2 p1 => h8 h5 h6 h7 p1 p4 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p2 p1 => h8 h5 h6 h7 p1 p3 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 ) * t ( p9 h10 ) * v ( h10 h5 p3 p4 ) * y ( h6 h7 h8 p9 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 ) * t ( p9 h10 ) * v ( h10 h5 p9 p4 ) * y ( h6 h7 h8 p1 p2 p3 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p1 p2 p3 p4 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p1 p2 p3 p4 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 ) * f ( h5 p9 ) * t ( p9 h10 ) * y ( h10 h6 h7 h8 p1 p2 p3 p4 )
[ + 1.0 - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( h9 p10 ) * f ( h9 p4 ) * t ( p10 h9 ) * y ( h5 h6 h7 h8 p10 p1 p2 p3 )
[ + 1.0 - 1.0 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h5 h7 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h6 h5 h7 h8 p1 p2 p3 p4 => h6 h7 h5 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h8 h7 p1 p2 p3 p4 => h5 h8 h6 h7 p1 p2 p3 p4 ) - 1.0 * P( h6 h5 h8 h7 p1 p2 p3 p4 => h6 h8 h5 h7 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( p9 h10 h11 ) * t ( p9 h10 ) * v ( h5 h6 h11 p9 ) * y ( h11 h10 h7 h8 p1 p2 p3 p4 )
[ + 1.0 - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 h11 ) * t ( p9 h10 ) * v ( h10 h5 h11 p4 ) * y ( h11 h6 h7 h8 p9 p1 p2 p3 )
[ + 1.0 - 1.0 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p1 p2 p3 p4 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p1 p2 p3 p4 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 h11 ) * t ( p9 h10 ) * v ( h10 h5 h11 p9 ) * y ( h11 h6 h7 h8 p1 p2 p3 p4 )
[ + 1.0 - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 p11 ) * t ( p9 h10 ) * v ( h5 p11 p9 p4 ) * y ( h10 h6 h7 h8 p11 p1 p2 p3 )
[ + 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( p9 h10 p11 ) * t ( p9 h10 ) * v ( h10 p11 p3 p4 ) * y ( h5 h6 h7 h8 p11 p9 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( p9 h10 p11 ) * t ( p9 h10 ) * v ( h10 p11 p9 p4 ) * y ( h5 h6 h7 h8 p11 p1 p2 p3 )
[ + 0.5 - 0.5 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) - 0.5 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) - 0.5 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 0.5 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p4 p1 p2 p3 ) + 0.5 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h7 h6 h8 p3 p1 p2 p4 ) + 0.5 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h7 h6 h8 p2 p1 p3 p4 ) + 0.5 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h7 h6 h8 p1 p2 p3 p4 ) - 0.5 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p4 p1 p2 p3 ) + 0.5 * P( h6 h5 h7 h8 p4 p1 p2 p3 => h6 h7 h5 h8 p3 p1 p2 p4 ) + 0.5 * P( h6 h5 h7 h8 p4 p1 p3 p2 => h6 h7 h5 h8 p2 p1 p3 p4 ) + 0.5 * P( h6 h5 h7 h8 p4 p2 p3 p1 => h6 h7 h5 h8 p1 p2 p3 p4 ) - 0.5 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p4 p1 p2 p3 ) + 0.5 * P( h5 h6 h8 h7 p4 p1 p2 p3 => h5 h8 h6 h7 p3 p1 p2 p4 ) + 0.5 * P( h5 h6 h8 h7 p4 p1 p3 p2 => h5 h8 h6 h7 p2 p1 p3 p4 ) + 0.5 * P( h5 h6 h8 h7 p4 p2 p3 p1 => h5 h8 h6 h7 p1 p2 p3 p4 ) - 0.5 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p4 p1 p2 p3 ) + 0.5 * P( h6 h5 h8 h7 p4 p1 p2 p3 => h6 h8 h5 h7 p3 p1 p2 p4 ) + 0.5 * P( h6 h5 h8 h7 p4 p1 p3 p2 => h6 h8 h5 h7 p2 p1 p3 p4 ) + 0.5 * P( h6 h5 h8 h7 p4 p2 p3 p1 => h6 h8 h5 h7 p1 p2 p3 p4 ) + 0.5 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p4 p1 p2 p3 ) - 0.5 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h7 h8 h5 h6 p3 p1 p2 p4 ) - 0.5 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h7 h8 h5 h6 p2 p1 p3 p4 ) - 0.5 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( p9 p10 h11 h12 ) * t ( p9 p10 h11 h12 ) * v ( h5 h6 p10 p4 ) * y ( h12 h11 h7 h8 p9 p1 p2 p3 )
[ - 0.25 + 0.25 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h5 h7 h6 h8 p1 p2 p3 p4 ) + 0.25 * P( h6 h5 h7 h8 p1 p2 p3 p4 => h6 h7 h5 h8 p1 p2 p3 p4 ) + 0.25 * P( h5 h6 h8 h7 p1 p2 p3 p4 => h5 h8 h6 h7 p1 p2 p3 p4 ) + 0.25 * P( h6 h5 h8 h7 p1 p2 p3 p4 => h6 h8 h5 h7 p1 p2 p3 p4 ) - 0.25 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( p9 p10 h11 h12 ) * t ( p9 p10 h11 h12 ) * v ( h5 h6 p9 p10 ) * y ( h12 h11 h7 h8 p1 p2 p3 p4 )
[ - 0.5 - 0.5 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) - 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) - 0.5 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) - 0.5 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) - 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p3 p4 p1 p2 ) + 0.5 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h6 h5 h7 h8 p2 p4 p1 p3 ) + 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p2 p3 p1 p4 ) + 0.5 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h6 h5 h7 h8 p1 p4 p2 p3 ) + 0.5 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h6 h5 h7 h8 p1 p3 p2 p4 ) + 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 0.5 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p3 p4 p1 p2 ) + 0.5 * P( h5 h7 h6 h8 p4 p3 p1 p2 => h7 h5 h6 h8 p2 p4 p1 p3 ) + 0.5 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p2 p3 p1 p4 ) + 0.5 * P( h5 h7 h6 h8 p4 p3 p2 p1 => h7 h5 h6 h8 p1 p4 p2 p3 ) + 0.5 * P( h5 h7 h6 h8 p3 p4 p2 p1 => h7 h5 h6 h8 p1 p3 p2 p4 ) + 0.5 * P( h5 h7 h6 h8 p3 p4 p1 p2 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 0.5 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p3 p4 p1 p2 ) + 0.5 * P( h5 h8 h6 h7 p4 p3 p1 p2 => h8 h5 h6 h7 p2 p4 p1 p3 ) + 0.5 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p2 p3 p1 p4 ) + 0.5 * P( h5 h8 h6 h7 p4 p3 p2 p1 => h8 h5 h6 h7 p1 p4 p2 p3 ) + 0.5 * P( h5 h8 h6 h7 p3 p4 p2 p1 => h8 h5 h6 h7 p1 p3 p2 p4 ) + 0.5 * P( h5 h8 h6 h7 p3 p4 p1 p2 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 p10 h11 h12 ) * t ( p9 p10 h11 h12 ) * v ( h12 h5 p3 p4 ) * y ( h11 h6 h7 h8 p10 p9 p1 p2 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 p10 h11 h12 ) * t ( p9 p10 h11 h12 ) * v ( h12 h5 p10 p4 ) * y ( h11 h6 h7 h8 p9 p1 p2 p3 )
[ + 0.5 - 0.5 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 0.5 * P( h5 h7 h6 h8 p1 p2 p3 p4 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 0.5 * P( h5 h8 h6 h7 p1 p2 p3 p4 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 p10 h11 h12 ) * t ( p9 p10 h11 h12 ) * v ( h12 h5 p9 p10 ) * y ( h11 h6 h7 h8 p1 p2 p3 p4 )
[ - 0.25 - 0.25 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) - 0.25 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) - 0.25 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) - 0.25 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) - 0.25 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( p9 p10 h11 h12 ) * t ( p9 p10 h11 h12 ) * v ( h11 h12 p3 p4 ) * y ( h5 h6 h7 h8 p10 p9 p1 p2 )
[ - 0.5 + 0.5 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) + 0.5 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) + 0.5 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( p9 p10 h11 h12 ) * t ( p9 p10 h11 h12 ) * v ( h11 h12 p10 p4 ) * y ( h5 h6 h7 h8 p9 p1 p2 p3 )
[ + 0.5 - 0.5 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h5 h7 h6 h8 p1 p2 p3 p4 ) - 0.5 * P( h6 h5 h7 h8 p1 p2 p3 p4 => h6 h7 h5 h8 p1 p2 p3 p4 ) - 0.5 * P( h5 h6 h8 h7 p1 p2 p3 p4 => h5 h8 h6 h7 p1 p2 p3 p4 ) - 0.5 * P( h6 h5 h8 h7 p1 p2 p3 p4 => h6 h8 h5 h7 p1 p2 p3 p4 ) + 0.5 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h7 h8 h5 h6 p1 p2 p3 p4 ) ] * Sum ( p9 h10 p11 h12 ) * t ( p9 h10 ) * t ( p11 h12 ) * v ( h5 h6 p11 p9 ) * y ( h12 h10 h7 h8 p1 p2 p3 p4 )
[ + 1.0 - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p4 p1 p2 p3 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h6 h5 h7 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h6 h5 h7 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h6 h5 h7 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p4 p1 p2 p3 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p2 p3 => h7 h5 h6 h8 p3 p1 p2 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p1 p3 p2 => h7 h5 h6 h8 p2 p1 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p4 p2 p3 p1 => h7 h5 h6 h8 p1 p2 p3 p4 ) - 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p4 p1 p2 p3 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p2 p3 => h8 h5 h6 h7 p3 p1 p2 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p1 p3 p2 => h8 h5 h6 h7 p2 p1 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p4 p2 p3 p1 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 p11 h12 ) * t ( p9 h10 ) * t ( p11 h12 ) * v ( h12 h5 p9 p4 ) * y ( h10 h6 h7 h8 p11 p1 p2 p3 )
[ - 1.0 + 1.0 * P( h5 h6 h7 h8 p1 p2 p3 p4 => h6 h5 h7 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h7 h6 h8 p1 p2 p3 p4 => h7 h5 h6 h8 p1 p2 p3 p4 ) + 1.0 * P( h5 h8 h6 h7 p1 p2 p3 p4 => h8 h5 h6 h7 p1 p2 p3 p4 ) ] * Sum ( p9 h10 p11 h12 ) * t ( p9 h10 ) * t ( p11 h12 ) * v ( h12 h5 p11 p9 ) * y ( h10 h6 h7 h8 p1 p2 p3 p4 )
[ + 0.5 + 0.5 * P( h5 h6 h7 h8 p4 p3 p1 p2 => h5 h6 h7 h8 p2 p4 p1 p3 ) + 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p2 p3 p1 p4 ) + 0.5 * P( h5 h6 h7 h8 p4 p3 p2 p1 => h5 h6 h7 h8 p1 p4 p2 p3 ) + 0.5 * P( h5 h6 h7 h8 p3 p4 p2 p1 => h5 h6 h7 h8 p1 p3 p2 p4 ) + 0.5 * P( h5 h6 h7 h8 p3 p4 p1 p2 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( p9 h10 p11 h12 ) * t ( p9 h10 ) * t ( p11 h12 ) * v ( h12 h10 p3 p4 ) * y ( h5 h6 h7 h8 p11 p9 p1 p2 )
[ + 1.0 - 1.0 * P( h5 h6 h7 h8 p4 p1 p2 p3 => h5 h6 h7 h8 p3 p1 p2 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p1 p3 p2 => h5 h6 h7 h8 p2 p1 p3 p4 ) - 1.0 * P( h5 h6 h7 h8 p4 p2 p3 p1 => h5 h6 h7 h8 p1 p2 p3 p4 ) ] * Sum ( p9 h10 p11 h12 ) * t ( p9 h10 ) * t ( p11 h12 ) * v ( h12 h10 p11 p4 ) * y ( h5 h6 h7 h8 p9 p1 p2 p3 )