4 to 2 encoder formula - Search