[40 pts] Consider the traffic light controller FSM from the book and lecture notes (shown below for your convenience). Suppose each 3-input gate has a delay of 2050ps (i.e., tcd = 20ps and tpd=50ps ). Each 2-input gate has a delay of 1040ps. The flip-flops have the following timing characteristics: tpcq =25ps,tccq=15ps, tsetup =30ps, thold =17ps. What is the fastest frequency at which this circuit could run reliably? Show all of your work