Consider an FSM constructed from m edge-triggered flip-flops and an arbitrary number of two-input NAND gates, having an arbitrary number of inputs and containing no combinational cycles. What is the maximum number of states that can be exhibited by this FSM?