Γρ¬TOPΦ
½¬QQNx
S1
42
T
U
V
8
9
10
11Q
12
11P
1
2
R