size * 2 {P (C_1, C_2, ..., C_5 divides w_1, w_2, ..., w_5) = {P(C_1, C_2, ..., C_5) P(w_1, w_2, ..., w_5 divides C_1, C_2, ..., C_5)} over {P(w_1, w_2, ..., w_5)}}