For the flow table in Table X7 .92, find an assignment of state variables that avoids all critical races. You may add additional states as necessaily, but use as few state variables as possible. Assign the all-Os combination to state A. Draw an adjacency diagram for the original flow table, and write the modified flow table and another adjacency diagram to support your final state-variable assignment.