Realize a sequential machine whose input is an arbitrary binary sequence, and the output takes the value 1, when the total number of values 1 after the start of the machine is even. For the realization, use SR-flip-flops and NAND circuits with two inputs.