]( AC ?B&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+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+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