Fix underflow bug
Synchronize
Switch lists to sets
Improve synchronization, add moar threads