* Yet again a new algorithm for AllContractions; this one is 100%
guaranteed to give exhaustive results.