Title: Parallel enumeration