](VAC ?BR(AR(AR(AR(A(AR(AR(AR(AR(A(A(AR(A(A(AR(A(A(A(AR(AR(A(A(A(A(AR(A(AR(A(A(A(AR(A(A(A(A(A(A(A(A(AR(AR(AR(AR(AR(A(AR(AR(A(A(A(A(AR(A(A(A(AR(A(AR(A(A(AR(AR(AR(AR(A(AR(A(AR(A(AR(AR(AR(AR(A(AR(A(AR(AR(AR(A(A(AR(AR(AR(AR(A(AR(A(AR(AR(AR(A(A(AR(AR(AR(A(AR(AR(AR(A(A(AR(AR(A(AR(A(A(AR(A(A(A(AR(A(A(AR(A(A(AR(A(AR(AR(AR(AR(AR(A(A(AR(AR(AR(AR(A(AR(AR(A(A(AR(A(AR(AR(A(A(AR(A(A(A(A(A(A(AR(AR(AR(A(A(A(A(A(AR(A(A(A(AR(AR(A(A(AR(AR(A(AR(AR(A(A(A(A(AR(A(AR(A(A(AR(A(A(A(A(A(AR(AR(AR(A(A(A(AR(A(A(AR(A(AR(AR(AR(A(AR(A(AR(A(AR(A(A(AR(AR(AR(A(A(A(A(A(A(A(A(AR(A(A(A(AR(A(A(AR(A(AR(A(A(A(A(AR(A(A(A(AR(AR(AR(A(A(A(A(A(A(AR(A(AR(AR(A(AR(A(A(AR(AR(A(A(AR(AR(A(AR(A(A(AR(A(AR(A(AR(A(A(AR(AR(AR(A(AR(A(A(A(A(AR(AR(A(AR(AR(AR(AR(AR(AR(A