Problem 4: (25 points) The following waveform shows the behavior of a machine. This machine has one input, In, one output, Out, and two state bits, S0 and S1. As you can see, the state bits use falling-edge triggered latches since their values change on the falling edge of the clock. Draw the truth table for this machine. Hint: first determine the next state values for SO and S1. Then fill in the values for Out. Look at all the points where the clock signal falls. Consider the values of SO and S1 just before the clock falls and just after the clock falls to determine the state transitions