Present a Mealy Model finite state machine that reads an input x belongs to {0, 1}+ and produces the binary number that represents the result of adding binary 1001 to x (assumes all numbers are positive, including results). Assume that x is read starting with its least significant digit. Examples: 00010 -> 01011; 00101 -> 01110; 00111 -> 10000; 00110 -> 01111