The Extract by size... item (menu Construction) waits for an integer k (within displayed bounds) and yields all the terms of HH with k literals.