Write python code to design a state machine with 3 states S0, S1, and S2. We move from S0 to S1 after 3 seconds, from S1 to S2 after 1 second, and from S2 back to S0 in 5 seconds. In S0, the outputs are M1 = False and M2 = False. In S1, the outputs are M1 = False and M2 = True. In S2, the outputs are M1 = True and M2 is True. The initial state is S0.