a working algorithm for new formula for n < 6
more symmetry-breaking to be done

a start of using BitSet as representation for antichains
reintroducing some deleted methods that might seem somehow useful