1~C(x)|L(x)
2~D(y)|~L(y)
3D(A)
4I(A)
5~I(u)|C(u)
6(5,4)C(A)
7(6,1)L(A)
8(7,2)~D(A)
9(8,3)_
