10 to 4 encoder