F4
F4(a1)(11)
F4(a1)
F4(a2)(11)
F4(a2)
C3
B3
F4(a3)(211)
F4(a3)(22)
F4(a3)(31)
F4(a3)
C3(a1)(11)
C3(a1)
~A2+A1
B2(11)
B2
A2+~A1
~A2
A2(11)
A2
A1+~A1
~A1(11)
~A1
A1
1