example of ladder logic programming - Search