#A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀A∀