Consider the following simple state diagram modeling a simple vending machine that accepts some form of coins and continuously outputs the remaining balance to buy a 50 cent soda.

Using the W-Method tool, encode this state machine and provide the console output here.

50/0S5 0/50 10/0 20/10 SO 20/30 S4 20/0 S2 10/10 10/40 10/3010/20 S3 S1 50/0S5 0/50 10/0 20/10 SO 20/30 S4 20/0 S2 10/10 10/40 10/3010/20 S3 S1