actually this may not be actual harmonic list but whatever weak efficient harmonic list
great you forgot about lws so bad that even the requirements for halting are wrong