Consider the following 3 processes:

Consider the following 3 processes S1 P (x1) S2 P (x2) S3 V (x2) S4 V (x1) S11 P (x2) S12 P (x3) S13 V (x2) S14 P (x1) S15 V (x3) S16 v (x1) S17 S6 P (x3) P (x2) S8 V (x3) S9 V (x2) S10 P, Q, R are sequential and not in loops. Sempahores x1, x2... are initialized to 1. The "combined" state of the three processes can be depicted by a 3-tuple. If the system state is >, this denotes process P is executing S1, process Q is executing S7 and process R is executing S15. Which of the following tuples are valid states for the above processes? (Explain your answer, no explanation no points) A. > B. > D. E. F. G. >