[ + 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 )