Tremendous speedup of harcleaner.py