Spiking activity was band-pass filtered (600–6000 Hz) and digitized at 30 kHz. Locomotion on a treadmill was detected using a rotary encoder (Scitech Korea, Seoul, Korea), and the output voltage ...