P
Initializing...
Power-table setup and downset enumeration have quadratic overhead · Prove2Me