](AC ?B(Ay(Ay(A(A(A(A(A(A(Ay(Ay(A(A(Ay(A(A(Ay(Ay(Ay(A(Ay(Ay(A(Ay(A(A(Ay(Ay(Ay(Ay(Ay(Ay(Ay(Ay(A(A(Ay(A(Ay(Ay(A(A(A(Ay(Ay(A(A(Ay(A(Ay(A(A(A(A(A(A(A(A(A(A(A(A(Ay(A(A(Ay(A(A(A(A(A(Ay(Ay(A(Ay(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(A(Ay(A(A(A(Ay(Ay(A(A(A(Ay(A(A(A(Ay(A(Ay(A(Ay(A(A(A(A(Ay(Ay(A(A(A(Ay(A(A(A(Ay(Ay(Ay(Ay(A(Ay(Ay(A(A(A(Ay(A(A(Ay(Ay(Ay(Ay(Ay(A(A(Ay(Ay(Ay(Ay(Ay(A(Ay(Ay(Ay(Ay(Ay(Ay(Ay(Ay(Ay(A(A(Ay(Ay(Ay(Ay(Ay(Ay(Ay(Ay(Ay(Ay(Ay(A(Ay(Ay(Ay(Ay(Ay(Ay(Ay(Ay(A(Ay(Ay(Ay(A(Ay(Ay(A(A(Ay(A(A(Ay(Ay(Ay(A