5 In all our calculations P(B 1 ) = ... = P(B n ), that is, a priori, any number of hard instances is equiprobable.
6 there are twice as many 3-to-2 cases than 4-to-1, corresponding to 5 3 as opposed to 5 4 .