709.23 Exchanging Coupons (FSM)

_____________________________________________________________