```ascii
∈∈∈∈∈∈∈∈∈∈∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∧∈∈∈∈∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈
∈∈∈∈∧∈∈∧∧∧∧∧∧∧∧∧∧∧∧∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈
∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∧∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∧→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈
∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∧→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈
∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∧→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈→→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∈∈∈∈∈
∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∧∧∧∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→→→∈→→→∨→→∈→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∈→→→→→→∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∃→∈∈∈∈
∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∈→→→→→→→→→∨→→→→→→∈∈∈→∈∈∈∈∈∈∈∈∈∈∈∈∨∈∈∈∈∈∈∈∈∈∈∈∈→→→→→→→→→→→→→→→→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∧∧∧→∈∈
∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∈→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈→∈∈∈∈∈∈∈∈→→→∈→→→→→→→→→∨∨→→→→→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈→→∈→∈∈∈∈∈∈∈∈∈→→→→→→→→→→→→→→→→→→→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∧∧∧→∈
∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈→∈∨∈→→→→→→→→→→→→→→→→→→→→∈∈→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈→∈∈∈∈∈∈∈∈→→→→→→→→→→→∨→∨→∨→→→→→→→→→→→→∈∈∈→→→→∈→→∈→∈→∈∈∈∈∈→∈∈→→→→→→→→→→∨→→→→→→→→→→→→∈→∈∈∈∈∈∈∈∈∈∈∈∈→∧∧∧∧→
∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈→→→→→→∈∈→→→→→→∈→∈∈→→→→∈→→→→→∈∨→→→→∈→→→→→→→→→→→∨→→→→→→→→→→∈→→→→→∈∈∈∈∈∈∈∈∈∈→∈∈∈∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈∈∈∈→∈∈∈∈∈∈→→→→→→→→→→→∨→∨∨→∨→→→→→→→→→→→→→∈→→→→∈→→→→→∈→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨→→→→→→→→→→→∈∈∈∈∈∈∈∈∈→∃∧∧∈→
∧∧∧∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→→∈→∈∈∈∈∈∈∈∈→∈∈∈∈∧∧∧∧∧∧∧∧∧∧∃∃∃∃∧∧∧∧∧∧∧∧∈∈∈∈→∈∈∈∈∈→→→→→→→→→→→→→∨→∨∈∨→∨→→→→→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨∨→→→→→→→→→→→∈∈∈∈∈∈∈∈→∧∧∧∧∧
∧∧∧∧∧∧∈∈∈∈∈∈∈∈∈∈→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→→→→→→→∈∈∈∈∈→∈∈∈∈∧∧∧∧∧∧∧∧∧∃∃∃∃∃∃∃∧∧∧∧∧∧∈∈∈∈→∈∈∈∈→→→→→→→→→→→→∨∨∨∨→∈∈∨∨∨∨→→→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨∨→→→→→→→→→→∈∈∈∈∈∈∈∈→∧∧∧∧∧
∧∧∧∈∈∈∈∈∈∈∈∈∈∈→→→→→→∨∨∨→→→→→→→→→→→→→→→→→→→→→→→→∨∨∨→→→→→→→→→→→→→→∨→∨→→→→→→→→→→→→→→→→→→→→→→→→∈→∈∈∈∈∧∧∧∧∧∧∧∧∧∃∃∃∃∃∃∃∧∧∧∧∧∈∈∈∈∈→∈∈→→→→→→→→→→→→→∨∨∨∨∨∈∈∈∨∨∨→→→→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨∨∨→→→→→→→→→→∈∈∈∈∈∈∈→∈∧∧∧∧
∧∈∈∈∈∈∈∈∈∈∈∈→→→→→→→→∨∨∨→→→→→→→→→→→→→→→→→→→→→→→→∨∨→→→→→→→→→→→→→→→∨∨∨→→→→→→→→→→→→→→→→→→→→→→→→∈→→∈∈∈∈∧∧∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∧∧∧∧∈∈∈∧→∈→→→→→→→→→→→→→→∨∨∨∨∈∈∈∈∈∨→∨∨→→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→→→→→→→→→→∨↔∨∨∨∨∨∨∨→→→→→→→→→→∈∈∈∈∈∈→∧∧∧∧∧
∈∈∈∈∈∈∈→→→→→→→→→→→→→∨∨∨→→→→→→→→→→→→→→→→→→→→→→→→∨∨∈∨→→→→→→→→→→→→→∨∨∨↔→→→→→→→→→→→→→→→→→→→→→→→→→→∈∈∈∈∧∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∈∈∈∈→∈→→→→→→→→→→→→→∨∨∨∨→∈∈∈∈∈∨∨∨∨→→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔∨∨∨∨∨∨∨→→→→→→→→→→∈∈∈∈∈→∧∧∧∧∧
∈∈∈∈→→→→→→→→→→→→→→→→∨∨∨∨→→→→→→→→→→→→→→→→→→→→→→∨∨→→→→→→→→→→→→→→→→∨∨∨↔∨→→→→→→→→→→→→→→→→→→→→→→∈→→∈∈∈∈∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∧∧∈∈∈∈∈→→→→→→→→→→→→→→∨∨∨∨→∈∈∈∈∈∈→∨∨∨∨→→→→→→→→→→→→→→→∨∨∨→→→→→→→→→→→→→→→→→→→→→→→∨↔∨∨∨∨∨∨∨∨∨→→→→→→→→→∈∈∈∈∈→∧∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→∨∨∨→→→→→→→→→→→→→→→→→→→→→→∨∨∈∈∈∨→→→→→→→→→→→→∨∨∨∨∨→→→→→→→→→→→→→→→→→→→→→→→→∨∈∈∈∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∧∃∃∧∧∧∈∈∈→→→→→→→→→→→→→→∨∨∨∨∨∈∈∈∈∈∈∈∈∨∨∨∨→→→→→→→→→→→→→→→↔∨∨→→→→→→→→→→→→→→→→→→→→→→→∨↔∨↔∨∨∨∨∨∨∨→→→→→→→→→∈∈∈∈∈→∃∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→↔∨∨∨→→→→→→→→→→→→→→→→→→→→→∨∨∈∈∈→∨→→→→→→→→→→→∨∨∨↔∈∨→→→→→→→→→→→→→→→→→→→→→→→→∈∈∈∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∧∧∈∈∈∈∧→∈→→→→→→→→→→→∨∨∨∨∨∈∈∈∈∈∈∈∈∈∨∨∨∨→→→→→→→→→→→→→→∨∨∨∨→→→→→→→→→→→→→→→→→→→→→→→∨∨↔∨↔∨∨∨∨∨∨∨→→→→→→→→∈∈∈∈∈→∃∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→↔∨∨∨→→→→→→→→→→→→→→→→→→→→∨∨∨∈∈∈∈∨→→→→→→→→→→→∨∨∨∨→→→→→→→→→→→→→→→→→→→→→→→∨→→∈∈∈∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∈∈∈∈→→→→→→→→→→→→∨∨∨∨↔∈∈∈∈∈∈∈∈∈∈→∨∨∨→→→→→→→→→→→→→→↔∨∨∨→→∨→→→→→→→→→→→→→→→→→→→→→∨↔→↔∨∨∨∨∨∨∨→→→→→→→→∈∈∈∈∈∈∧∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→→↔∨∨∨→→→→→→→→→→→→→→→→→→→∨∨∨∈∈∈∈∈∨→→→→→→→→→→∨∨∨∨→→∨→→→→→→→→→→→→→→→→→→→→∨→→→∈∈∈∈∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∈∈∈∈→→→→→→→∨↔∨↔↔↔∨∨↔↔↔↔↔∨→→∈∈∈∈→∨∨∨→→→→→→→→→→→→→↔∨∨∨∨→→∨→→→→→→→→→→→→→→→→→→→→→∨↔∨∨↔∨∨∨∨∨∨→→→→→→→→→∈∈∈→∈∧∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→→↔∨∨∨∨→→→→→→→→→→→→→→→→→→∨∨∨∈∈∈∈∈∈↔→→→→→→→→→∨∨∨∨∨∈∈↔→→→→→→→→→→→→→→→→→→→→∨→∨∈∈∈∈∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∈∈∈→→∨→→→→∨∨∨↔∨↔∨∨↔→→→→→→∨∨∨↔∨∨∨↔∨∨∨→→→→→→→→→→→∨↔∨∨∨∨→∨∨→→→→→→→→→→→→→→→→→→→→→∨∀∨∨↔∨∨∨∨∨∨∨→→→→→→→∈∈∈∈→∧∧∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→→→↔∨∨∨→→→→→→→→→→→→→→→→→→∨∨∨∈∈∈∈∈∈∈↔→→→→→→→→→∨∨∨↔∈→→∨→→→→→→→→→→→→→→→→→→→∨→∨∈∈∈∈∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∈∨→∨∨→→→→→→→∨∨∨∨∨∨∈∈∈∈∈∈∈∈∈∈∈∈→∈↔∨∨∨∨∨∨→→→→→→→→∀∨∨∨∨∨∨∨↔→→→→→→→→→→→→→→→→→→→→∨∨∀∨∨↔∨∨∨∨∨∨∨→→→→→→→→∈∈∈→∧∧∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→→→↔∨∨∨∨→→→→→→→→→→→→→→→→→∨∨∨∈∈∈∈∈∈∈∈∨→→→→→→→→∨∨∨↔→→→→∨→→→→→→→→→→→→→→→→→→∨→→→∈∈∈∈∈∧∃∃∃∃∃∃∃∃∃∃∃∃∃∧∈∧∈∈→→→→→→→→→∨∨∨∨∨→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈↔∨∨∨→→→→→↔↔→→→↔∨∨∨∨∨∨∨∨↔→→→→→→→→→→→→→→→→→→→→∨∨∀∨∨↔∨∨∨∨∨∨∨→→→→→→→∈∈∈→∧∧∧∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→→→→↔∨∨∨→→→→→→→→→→→→→→→→→∨∨∨∈∈∈∈∈∈∈∈∈∨→→→→→→→→∨∨∨∨→→→→∨→→→→→→→→→→→→→→→→→∨∨∈∨∈∈∈∈∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∈∈∈∨→→→→→→→∨∨∨∨↔↔↔↔∨∨∨∨∨∨→→∈∈∈∈∈∈↔∨∨∨→→→→→→→∨→↔↔↔↔↔∨∨∨∨∨↔→→→→→→→→→→→→→→→→→→→∨∨∨↔∨∨∀↔↔∨∨∨∨∨→→→→→→→∈∈→→∧∧∧∧∧∧∧
→→→→→→→→→→→→→→→→→→→→→→→→∨↔∨∨∨→→→→→→→→→→→→→→→∨∨∨∨∈∈∈∈∈∈∈∈∈∈↔→→→→→→→∨∨∨↔∈→∨↔↔∨→→→→→→→→→→→∨∨∨∨→∨∈∨→→∈∈∈∈∧∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∈∈→→→→→∨∨∨∨∨∨∨∀∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∈∈↔∨∨∨→→→→→→→→↔↔↔↔↔↔↔↔↔↔∨↔→→→→→→→→→→→→→→→→→→→∨↔↔↔∨∨∀↔↔↔↔∨∨∨→→→→→→→→∈∨∧∧∧∧∧∧∧→
→→→→→→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨→→→→→→→→→→→→→→∨∨∨∨∈∈∈∈∈∈∈∈∈∈∈∨→→→→→→∨↔∨↔∨∨↔↔↔∨∨→→→→→→→→→→→→→→→∨→∨→∨∈∈∈∈∧∃∃∃∃∃∃∃∃∃∧∧∃∧∧∧∈∧∨∈→→∨→∨∨∨∨↔∨∈∈→∈∈∈→→∨→→→∈∈∈→∈∈∈↔∨∨→→→→→→→→↔→∀↔↔↔↔↔↔↔↔↔↔→→→→→→→→→→→→→→→→∨→→∨↔↔↔∨∨∀↔↔↔↔↔∨∨→→→→→→→∈∨∧∧∧∧∧∧∧∈∈
→→→→→→→→→→→→→→→→→→→→→→→→→→↔∨∨∨∨→→→→→→→→→→→→→∨∨↔→∈∈∈∈∈∈∈∈∈∈∈→∨∨∨∨→→∨↔↔∨↔→→→→→→∨→→→→→→→→→→→→→→→∨∈∨∈→∈∈∈∧∧∃∃∃∃∃∃∃∃∃∧∧∧∧∧∈→∈→→→→∨∨∨∨∀∈∨□◇◇◇◇◇□◇□□□□□□□□□□↔∀∨∨→→→→→→∨↔∨→↔↔↔↔↔↔↔↔↔↔→→→→→→→→→→→→→→→→→∨→∨↔↔↔↔∨↔↔↔↔↔↔↔∨∨→→→→→→→→∧∧∧∧∧∧∧∧→∨
→→→→→→→→→→→→→→→→→→→→→→→→→→→↔∨∨∨↔∨→→→→→→→→→→→∨∨↔→∈∈∈∈∈∈∈∈∈∈→↔∨↔∀→→→→→∨∨↔→→→→→→∈↔→→→→→→→→→→→→→→∨∈∈∨→∈∈∈∧∧∧∃∃∃∃∃∃∃∧∧∧∧∧∧∈→→→→∨∨∨∨↔□□◇◇◇◇◇◇◇◇◇◇◇◇◇◇□□□□□□□↔↔∨∨∨∨→→∨↔→→→∨↔↔↔↔↔↔↔∨∀→∨→→→→→→→→→→→→→∨∨∨∨↔↔↔∀↔∨∀↔↔↔↔↔↔↔∨→→→→→→→∈∧∧∧∧∧∧∃→→∃
→→→→→→→→→→→→→→→→→→→→→→→→→→→→↔∨∨∨↔∨→→→→→→→→→→∨∨∨∨→∈∈∈∈∈∈→↔∨↔∈∈→∈↔→→→→→∨∨↔∈→→→→→→∀∨∨∨→→→→→→→→→→∨∈∈→→∨∧∈∧∧∧∃∃∃∃∃∃∃∃∃∧∧∧∧∨∈→→∨∨↔↔∀↔□□□◇◇◇◇◇◇□↔↔↔↔□∀↔↔↔□◇□□↔↔∨→→∨→∨∀∨→→→∨↔↔↔↔↔↔↔↔∨→→→→→→→→→→→→→→→∨→∨∨↔↔↔∀↔∨∀↔↔↔↔↔↔↔→→→→→→∨↔∧∧∧∧∧∧∃∨→∈∈
→→→→→→→→→→→→→→→→→→→→→→→→→→→∨∨↔↔↔↔↔∨→→→→→→→→→∨∨∨↔∈→∈∈∈∨∨∨∈∈∈∈∈∈∈∈→∨→→→→∨↔→∨∨→∈→→→↔→∨∨∨∨∨∨→→→→→→∨∈∈→→→∧∧∧∧∧∧∃∃∃∃∃∃∧∧∧∧→∈→→∨∨∨↔∈□□□□□◇◇◇□↔↔↔↔↔↔↔◇◇↔↔↔↔↔↔□∀↔→→→→∨∨□□□□∀∈↔↔↔↔↔↔↔∀→→→→→→→→→→→→→→→→∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔→→→→→↔∀∀∧∧∧∧∧∧∨∧∧∈∈
→→→→→→→→→→→→→→→→→→→→→→→→→→→→→↔↔↔∨↔↔∨∨→→→→→→→∨∨∨↔∈→→↔∨∈∈∈∈∈∈∈∈∈∈∈∈∈↔→→∨∨∨∀∈→→→→∈∈∈→∨→→→→→→→→→→→∨∈∈∈∨→→∈∧∧∧∧∃∃∃∃∃∃∧∧∃∈∈→→→→∨→∧□□□□↔∈∨□□↔↔↔↔↔↔↔∀◇◇↔↔↔∧∈→∀∨↔→∀↔→∀□□□□□□□↔∀↔↔↔↔↔↔→→→→→→→→→→→→→→∨∨∨∨↔↔↔↔∀↔↔∀↔↔↔↔↔↔↔∨→→→→□∀∀∀∧∧∧∧∧∨∧∧∈∈→
→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔↔↔↔∨→→→→→→→∨∨∨↔→↔∈∈∈∈∈∈∈∈∈∈∈∈∈∈→∨→→↔→→∨∨∀∈∈∈→→→→↔→∀→→→→→→→→→→→∨∈∈∈∨→∈∧∧∧∧∃∧∃∃∧∃∧∧∧→→→→→→∧→∀∀∈∧∈∈∈∀□↔↔↔↔↔↔↔↔□◇◇∀↔↔∧∧∈↔↔→↔∨∨↔∈∀□□□□□□↔↔↔↔↔∨∀→∨∨∨→→∨→→→∨→→∨∨∨∨∨↔↔↔↔↔∀↔∀↔↔↔↔↔↔↔↔∨∨→↔□□□□↔∈∧∈↔∈∈∈∈∈∈→
→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔↔↔↔↔∨∨∨→→→→∨∨∨∀∈∈∈∈∈∈∈∈∈∈∈∈∈∨→∈∈∈∈∈∈↔∀∨→∨□□□□□□□□□□□∨↔∨∨∨∨∨→→→∨∈∈∈∈∨→∧∧∧∧∧∧∃∃∃∃∧∃→∈→→∧∃∧∨∃∧∧∧∧∈∈∈□∀↔↔↔↔↔↔↔↔□◇◇∀↔↔↔↔∀↔∨→→↔□∈→∈∈∈↔□□□↔↔↔↔↔↔↔↔→→→→→→→→→∨→→∨∨∨∨↔↔↔↔↔∀↔∀↔↔↔↔↔↔↔↔↔∨→□□□□□∀↔→∧∈∈∈∈∈∈∈→→
→→→→→→→→→→→→→→→→→→→→→→→→→→→∨∨∨∨↔↔↔↔↔↔↔↔→∨→→→→∀∨↔∨∈∈∈∈∈∈∈∈∈∨→∈∈∈∈→∨□□□□□□→→↔□□□□□□□□□□□□↔∨→→→→→→→∨∈∈∧∈→→∧∧∧∧∧∃∃∃∃∃∈∈→∃∃∃∧∃∧∧∧∧∧∧∈∈∈∀↔∨↔∨∨→↔↔↔◇◇◇□↔↔↔∀↔∨→→↔↔□→∈∈∈∈∈∈∈∀↔↔↔↔∨∀→→↔↔∨→→→→∨∨∨→∨∨∨∨↔↔↔↔↔∀↔↔∀↔↔↔↔↔↔↔↔∨↔∀↔∀□□□↔↔→→→→→∈→→→→→
→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨→∨↔↔↔∀↔↔↔↔↔∨∨∨∨↔∨∨∨↔∈∈∈∈∈∈∈→∈∈∈∈∈→◇□□□□□□□□□□∨↔∀∨↔∨□□→∨↔□□□↔→↔→→→→→→∈∈∧∈∈∈→∧∧∧∃∃∃∃∃→∈∃∃∃∃∃∃∃∃∃∃∃∧∧∈∈∈∀↔∨∨→→∨↔↔↔□◇◇◇↔↔↔∀∨→∨↔∨↔∀∨∈∈∈∈∈∈∈→↔↔∨∨↔→∀→∨→→→∨∨→→∨∨∨∨∨∨↔↔↔↔↔↔∀↔∀↔↔↔↔↔↔↔↔∨∀↔↔↔◇□□□□↔→→→→→→→→→→→
→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨→→∨↔↔↔↔↔↔↔↔↔∨→∨→∨∨∨↔→→→∈→∈∈∈∈∈∈∀□□□□□◇□↔∀◇∀↔↔↔∀∨∀↔↔↔∀□∈∈∈∈∈∈→∨∨∨∨→→→∨∈∧∧∈∈∧∨∃∃∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∈∧∃→↔∨∨∨→→∨↔↔∀◇◇◇↔↔∀∨→∀→→∨∨↔→∧∈∈∈∈∈∈∨↔∨∨∨∀→→→→→→→→→→∨∨∨∨∨∨↔↔↔↔↔↔∀↔∀↔↔↔↔↔↔↔↔∀↔↔↔↔↔∀□□□∀∀→→→→→→→→→→→
→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔↔↔↔↔↔↔↔↔∨→→↔∨↔↔∈→∈∈→∈∈∈□□□□□◇∀↔↔↔↔◇◇◇↔↔∃∃∃∧↔∃→↔∀↔∈∈∈∈∈∈∈∨→→→→→∈→∧∧∧∧∧∧∈∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∀∨∨∨→→∨↔↔∀◇◇◇∀↔∨↔↔∨∨∨∨∨↔→∧∃∃∧∈∈∈↔∨∨↔↔→→→→→→→→→→→∨∨∨∨∨↔↔↔↔↔↔∀↔∀↔↔↔↔↔↔↔↔□↔↔↔∨↔↔◇□□∀∀∀→→→→→→→→→→→
→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨∨↔↔↔↔↔↔↔↔↔↔↔∨→∨↔↔∀∈→∈→∈∈□□□□□□↔↔↔↔↔↔↔◇◇◇□↔↔↔∨∧∃∃→∨∨□∈∈∈∈∈∈∈∈∈→→∈∈∈∈→∧∧∧∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∨∨∨∨→→∨↔↔↔□□□∀∀↔∨→→→∨∨∨∀∧∃∃∃∃∃∧∈↔∨∨↔→→→→→→→→→→→→∨∨∨∨↔↔↔↔↔↔∀∨↔↔↔↔↔↔↔↔□↔↔∀↔↔↔↔↔◇∀∀□□□→→→→→→→→→→→
∨→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨∨↔↔↔↔→∨↔↔↔↔↔↔∨∨↔↔↔∨→→∈∨□□□□□∀↔↔↔↔↔↔↔↔□◇◇◇↔↔↔↔↔∨∨∨∨∨∀→∈∈∈∈∧∈∈∈∈∈∈∨∈∈∈∈∧∧∃∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∨→→→→∨↔∀□□∀↔↔→→→→∨∨∨∈∃∃∃∃∃∃∃↔∨∨∨→→→→→→→→→→→→∨∨∨∨↔↔↔↔↔↔∀∨↔↔↔↔↔↔↔∀□□∀↔↔↔↔↔↔↔□∀∀□□□→→→→→→→→→→→
↔↔∨→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→↔↔↔↔→→∀↔↔↔↔↔↔↔↔↔∀→→◇□◇◇◇◇◇↔↔↔↔↔↔∨∨↔∀◇◇◇□↔↔↔∨→→∨∨∨∨↔∃∃∃∧∧∧∈∈∈∈∈∈∈→∈∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∈↔∨→→→∨∨↔∨□□∀↔↔→→→→∨∨∨→∃∃∃∃∃∃∨∨∨∨→→→→→→→→→→→→∨∨∨∨↔↔↔↔↔↔∀∨∨∀↔↔↔↔↔□∀∀□↔∀↔↔↔↔↔↔□∀∀□□□→∨→→→→→→→→→
↔↔↔↔→→→∨→→→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔∀∈→∀↔↔↔↔↔↔↔↔↔□□□□□∨∈∀□↔↔↔↔∨∨∨↔↔↔◇◇◇◇↔↔↔↔→→→∨∨∨∀∃∃∃∃∧∧∧∧∧∧∧∧∧∧∧→∈∈∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃→↔∨→→→→∨∨↔□↔∨→→→→∨∨∨↔∃∃∃∃∃∃∧∧∨∨→→→→→→→→→→→∨→∨∨↔↔↔↔↔↔↔∨∨↔↔↔↔↔↔□∀∀∀□∀∀↔∀↔↔↔∀↔□∀∀◇□◇∨∨∨∨→→→→∨→→
↔↔↔↔↔∨→→→∨→→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔∨∀→→→↔↔↔↔↔↔↔↔∀□□◇→→→↔□↔↔↔∨∨∨∨∨∨↔□◇◇◇□↔↔∨→→→∨∨∨∀∃∃∃∃∧∧∃∧∧∃∧∧∧∧∧∧∧∃→∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∈↔→∨∨→→→→∨→→→→∨∨∨∨↔∃∃∃∃∃∧∧∧→∨∨→→→→→→→→→→→→∨∨↔↔↔↔↔↔∀→∨↔↔↔↔↔∀∨∨∀∀∀∀↔↔↔∀↔↔∀∀∀□∀∀◇◇◇↔∨∨∨∨∨→→∨∨∨
↔↔↔↔↔↔↔∨∨→→→→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔↔→→→∀↔↔↔∀↔↔∨□□∨→→→∈◇∀↔↔↔↔↔∨∨↔↔↔◇◇◇◇↔↔∨→→→→∨∨↔∧∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃↔↔→∨→→→→→→∨∨∨↔↔∃∃∃∃∈∧∧∧∧∧∨→→→→→→→→→→→→∨∨↔↔↔↔↔↔↔↔∨∨↔↔↔↔↔∀∨∨∨∨∀∀∀↔↔∀∨↔↔∀∀∀□∀∀◇◇◇↔↔∨∨∨∨∨→→∨∨
∀↔↔↔↔↔↔↔↔∨→→→→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔↔→→→→∀↔↔↔↔↔↔↔∈→→→→↔□↔↔↔↔↔↔→∨↔↔□□□□∀↔↔→→→∨∨∨∨∈∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∈∨∨∨↔↔↔↔↔∨∨∨↔→∃∧∈∨↔∧∃∧∧∧∧∧∨∈→→→→→→→→→→→→∨↔↔↔↔↔↔∀→∨∨↔↔↔↔∀→∨∨∨∨∨∀∀↔↔↔∀↔↔↔∀∀∀□□□◇◇◇↔↔↔↔↔↔↔↔↔↔∨
↔∨∀↔↔↔↔↔↔↔↔∨∨→∨→→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔↔→∈□□□∨↔↔↔↔∀∈∈∈∈∈∈∀∀↔↔↔↔→∨→∨∨↔□□□□↔↔∨→→→∨∨↔∈∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∈→∨∈∧∃∧∧∧∧∧∧∧∧→→→→→→→→→→→→→∨↔↔↔↔↔↔∀→∨∨→∀↔↔∀∨∨∨∨∨∨∨∨∨∀↔↔↔↔∀↔↔∀∀∀∀□□◇◇◇∀↔↔↔↔↔↔↔↔↔↔
↔↔↔↔□↔↔↔↔↔↔↔↔↔∨→→→→→→→→→→→→→→→→→→→→→→→→∨↔↔∨∀□□□□□∀∨∨↔∨↔∈∈∈∈∈∈∀∀∨∨∨∨∨→→↔∨↔□□∀∨∨→→→→→∨↔∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∧∧∃∨→→→→→→→→→→→→∨↔↔↔↔↔∀∨∨∨∨∨∀↔∀→∨∨∨∨∨∨∨∨∨∨↔∀↔↔↔↔↔↔∀∀∀∀□□◇◇◇∀↔↔↔↔↔↔↔↔↔↔
↔↔↔↔↔↔∀↔↔↔↔↔↔↔↔↔∨→→∨→→→→→→→→→→→→→→→→→→→→∨∨∀↔□□□□□□□∨∨↔∨∨∈∈∈∧∃∃∧↔∨∨∨∨→→→→→∨∨∨∨∨→→→∨∨∨→∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∧∧→→→→→→→→→→→→∨↔↔↔↔↔∀→∨∨∨∨∨↔↔∨∨∨→→→∨∨∨∨∨∨∨→∀↔↔↔↔↔↔↔∀∀∀□∀◇◇◇□↔↔↔↔↔↔↔↔↔↔
↔↔↔↔↔↔↔↔∀↔↔↔↔↔↔↔↔↔∨∨→→→→→→→→→→→→→→→→→→→→∨∨↔∨∨∀→∈∈∈∨∀∀∨∨↔↔∈∧∃∃∃∃∧∀↔∨∨∨∨→→→→→∨→→→∨∨→∨∨∃∃∈∈∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∃∨→→→→→→→→→→→∨↔↔↔↔↔∀∨∨∨∨∨→↔↔↔∨→→→→→→→∨∨∨∨∨∨∨∨↔↔↔↔↔∨↔∀∀∀□∀◇◇□□↔↔↔↔↔↔↔↔↔↔
↔↔↔↔↔↔↔↔↔↔∀↔↔↔↔↔↔↔↔↔↔∨→→→→→→→→→→→→→→→→→↔→→∨∨∨↔↔→∈∈∈∈→∈↔∨↔∈∨∃∃∃∃∃∃∧↔↔↔∨∨→∨→∨→→→∨→∨↔↔→∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∧∨∈→→→→→→→→→∨↔↔↔↔↔∀↔↔↔∨∨∨→∀∨∨→→→→→→→→→→→→∨→∨∨∨∀↔↔↔↔∨∀∀∀∀∀∀◇◇□∀∨∨↔↔↔↔↔↔∨∨
∨∨↔↔↔↔↔↔↔↔↔↔∀↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨→∨→→→∨→→→∨∨→→→→→∨∨∨∨↔∈∈∈∈∈∈→∨∨∈∈∧∃∃∃∃∃∃∃∈↔↔↔↔↔∨∨∨↔↔∨∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∃→∈→→→→→→→→∨∨∨↔↔∨∀↔↔↔↔↔∨∨∨↔∨∨∨∨→→→→→→→→→→→→→→∨∨∨↔↔↔↔↔↔∀∀∀∀∀□□□□∀→→→→→→→→→→
∨∨↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔↔↔↔↔↔↔↔↔↔↔∨∨→→∨→→→→→→→→→→→→→∨∨∨∨↔∈∈∈∈∈∈∈∨∨∈∈∧∧∃∃∃∃∃∃∃∃∧→↔↔↔→∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧→∈∈→→→→→→→∨∨∨↔∨∀∀↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨→→→→→→→→→→→→∨∨∨∨→∀∨↔∀∀∀↔↔↔∀∀□□□↔∨→→→→→→→→→
∨∨∨↔∀↔↔∨↔↔↔↔↔↔↔↔↔□↔↔↔↔↔↔↔↔↔↔↔↔∨→∨∨→→→→∨∨→→→→→→→∨∨∨∨∨∈∈∈∈∈∈∈→∈∧∧∧∈→∨↔↔∨∨↔→∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∈∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∃→∈∈→→→→→→∨∨∨∨∨↔∀↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨↔↔∨→→→→→→→→→→→→→∨∨∨↔↔↔∀∀↔↔↔↔∀∀∀∀∀□∨∈→∈→→→→→→
→∨∨∨↔↔↔∨↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨→→→→→→→→→→∨∨∨∨↔→∈∈∈∈∈∈∈∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃→∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∈∈∈∈→→→→→∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨↔∨∨∨→→→→→→→→→→∨∨∨∨∨∨∀↔∀∀↔↔↔↔∀∀□□∀□→→→→→→∈∈→→
→→∨∨↔∀∨∨↔↔↔↔↔↔↔↔↔↔↔↔∨∨→∀∀↔↔↔↔↔↔↔↔↔↔↔↔∨→∨∨→→∨→→∨→→∨∨∨∨∨↔∈∈∈∈∈∈∈∧∧∧∃∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∈∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∃→∈∈∈∈∈∈→∨∨∨↔∨∈∈∀∨↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔∨→→→→→→→→→→∨∨∨∨∨∨↔↔∀↔↔↔↔↔∀∀□□□∀∧∈→∈→∧→→∧∈
∨→→∨∨∀∨∨↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∀↔∨↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨→→→→→∨∨∨∨∨∨∈∈∈∈∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∈∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∃→∈∈∈∈→→→∨↔∨∈∈∈∈→→↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔∨→→→→→→→→→→→→∨→→∨∨↔∀↔↔↔↔↔↔↔□□□↔∧∧∧∧∧∧∧∧∧∧
→∨→→∨↔∨∨∨↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨→→∨∀↔↔↔↔↔↔↔↔↔↔↔↔∨∨→∨∨→→→→∨∨∨∨∨→∈∈∈∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∈∈∈∈∈→→∨∨∈∈∈∈∈∈∧∧∈∈↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨↔↔↔↔↔∨∨→→→→→→→→→→∨∨∨∨∨∀∀↔∨↔↔∨↔↔□□□∨∧∧∧∧∧∧∧∈∈∈
∈∨→→∨∨↔∨∨↔↔↔↔↔↔↔↔↔∀→→∨∨∨∨∨∨→∨→∨→∨→→↔∀↔↔↔↔↔↔↔↔↔↔↔↔∨→→→→→∨∨∨∨∨∨∈∈∈∈∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃→∧∃∃∃∃∃∃∧→∈∈→→→∧∈∈∈∈∈∈∧∧∧∧∧∈∈∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔∨∨→→→→→→→→→→→→∨→∀↔↔↔↔↔↔↔↔↔↔↔→∧∧∧∧∧∧∧∈∈∧
∈∈↔→→∨∀→∨∨↔↔↔↔↔↔↔↔∀→∨∨→→→→→→→→→→→→→→→→→∨↔∀↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨↔∈∈∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∈∈→→∨∈∃∃∃∃∃∧→∈∈∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈→∀∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔∨∨→→→→→→→→→∨∨→∨∨↔∀↔↔↔↔↔↔∀↔↔↔∨∈∈∧∧∧∧∧∧∧∧
→→→∨→→∀∨∨→∨↔↔∀↔↔↔↔∀→→→→→→→→→→→→→→→→→∨→→→∨∨↔↔↔↔∀∀↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔→∈∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∈∈∈∈∧∧∈∧∧∈∈∈→∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∧∈∈↔↔↔∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔↔∨∨→→→→→→→∨→∨∨∨∨∨∀↔↔↔↔↔↔∀↔↔↔→∧∧∧∧∧∧∧∧∧∧
→→→∨→→↔↔→∨→↔∨∀∨↔↔↔↔∨∨∨→→→→→→→→→→→→→→→→→∨∨∨∨↔↔↔↔↔↔↔↔∀□∀↔↔↔↔↔↔↔∨∨∨∨∨∨↔∈∈∧∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∈∈∈→∨∨→∈∈∈∈∈∈∈∧∈∈∈∈∃∃∃∃∃∃∃∃∃∃∧∃∃∃∃∃∧∧∧∧∧∧∧∧∧∧∧∧∧∈∨∨∨↔∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔↔∨∨→→→→∨→→→∨∨∨∨∨→∀↔↔↔↔↔↔∀□∀∀∈∧∧∧∧∧∧∧∧∧∧
→→→→∨→↔→↔→→∨↔∀∨↔↔↔∨→→→→→→→→→→→→→→→→→→→→→→→∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔∀∀↔∨∨∨↔∨∨∨∨∨∨∨→∧∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∧∧∧∧∨∨∨∨∨∀∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔∨∨→→→→→→→∨∨∨∨→→∀↔↔↔↔↔↔∀□∀↔→∧∧∧∧∧∧∧∧∧∧
→→→∈↔→↔→↔∨∨→∨∀↔↔∨↔→→→→→→→→→→→→→→→→→→→→→→→→→∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔∨∨∨∨∨∨∨∨∨→∃∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∧∈∨∨∨∨∨∨∨∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔∨→∨∨∨∨→→∨∨∨∨∨→→↔↔↔↔↔↔↔↔↔↔↔∈∧∧∧∧∧∧∧∧∧∧
→→→→∨→↔→→↔→∨→↔↔↔∨∀→→→→→→→→→→→→→→→→→→→→→→→→∨→→↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀∨∨∀∨∨↔∨∨↔↔∨∨→→∨∨∈∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∧∃∨→∨∨∨∨∨∨∨∨∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨→→→→→∨→∨∨↔↔↔↔↔↔↔↔↔↔↔→∧∧∧∧∧∧∧∧∧∧
→→→∈→∨↔∈→∈↔→→∨∨↔↔↔→→→→→→→→→→→→→→→→→→→→∨→→→→∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∈∈∈∈∈∧∧∧∧∧∧∈∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∧∨→∨∨∨↔∨∨∨∨↔↔∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨→→∨∨∀↔↔↔↔↔↔↔↔↔→∧∧∧∧∧∧∧∧∧∧
→→→→→∨↔→→→→↔→→∨∀∨↔→→→→→→→→→→→→→→→→→→→→∨∨→→→∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔↔↔↔↔↔∨∨∨→∈∈∈∈∈∧∧∧∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∧∃→→→∨∨∨↔→→↔∨∨∨↔∀↔↔↔↔∀↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨∨→∨∨∀↔↔↔↔↔↔↔↔↔∈∧∧∧∧∧∧∧∧∧∧
→→→→∨↔→→→→→→↔→↔∨↔∨→→→→→→→→→→→→→→→→→→→→→∨→→→∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔↔↔↔↔↔↔∨∨∨∨∨∨∈∈∈∈∈∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∧∃∈∨→→∨∨∨↔→→→→↔∨∨∨∀∨∀↔↔∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨→→∨∨∨∨∀↔↔↔↔↔↔↔↔↔∈∧∧∧∧∧∧∧∧∧∧
→→→→↔∨→→→→→→→↔↔→∀∨→→→→→→→→→→→→→→→→→→→→→∨∨→→→→∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∈∈∈∈∈∧∧∧∧∃∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∧∃→→∨→→→→↔→→→→→→↔∨↔↔∨→↔↔↔∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨→∨∨∨∀↔↔∨↔↔↔↔↔↔∈∧∧∧∧∧∧∧∧∧∧
→→→→∨→→→→→→→→→↔∨∨∨→→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨↔↔∨∨∨∨∨∨↔→∨∨↔→∈∈∈∈∧∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∃∧∃→∨→→→∨→∨↔∈∈→→→→→→↔∨∨∨→∨↔↔↔↔∨∀↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨→∨∨∨∀↔∨∨↔↔↔↔↔↔∈∧∧∧∧∧∈∧∧∧∧
→→→→→→→→→→→→→→→→↔∨→→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨↔↔↔↔↔∨∨↔↔→→∨→→→→∨∈→→∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∃∈→∈∈→∨∈∈↔→→→→→→→→→→→↔∨↔→→∨↔↔↔∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨→→∨∨∨↔∨∨↔↔↔↔↔↔∨∧∧∧∧∧∧∧∧∧∧∧
→∈∈∈∈∈→→→→→→→∨∨→↔→→→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔↔∀∨∨↔↔↔↔↔∨∀→→→→→→→→→→∨∈∈∈∈∈∈→→∈∧∧∧∧∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∃∧∃∧→∧∈∈∈∈→∈∈∈∈→∈→→→∈∈→→→∨∨∨→→→∨∀∨∀→∨→∀↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨→∨∨∨↔∨↔↔↔↔∀↔↔↔∧∧∧∧∧∧∈∧∧∧∧
∈∈∈∈∈∈∈→→→→→∨∨∨∨↔→→→→→→→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔∀∨∨∨↔↔↔↔↔↔→→→→→→→→→→→→→∈∈∈∈∈∈∈∈∈∈∈→→∈∈∃∃∧∃∧∃∃∃∃∃∃∃∃∧∧∧∧∧∃→∈∈∈∈∈∈∈∈→→∈∈→→→→→→→∈∈→∈∀→→→→→→∀∨∀∨∨→↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔∀↔↔↔∧∧∧∧∧∈∧∧∧∧∧
∈∈∈∈∈→→→→→→→∨∨∨→↔→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨↔↔↔∀→→→→→→→→→→→→→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∈∧∃∃∧∧∧∧∧∧→∈∈∈∈∈∈∈∈∈∈∈∈∨∈∈→→→→→→∈→∈→∈∈∈∈∈→→→↔∨∀∨∨∨→∀↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨↔∨↔∨↔↔↔∀↔↔↔∧∧∧∧∧∧∧∧∧∧∧
∈∈∈→→→→→→→∨∨∨∨→→↔→→→→→→→→→→→→→→→→→→→→→→∨↔↔↔∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔↔∨∨∨∨↔↔↔→→→→→→→→→→→→→→→→∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈∨∈→→→→→→∈→∈∈∈∈∈∈∈→∈→→∨∨↔∨→→∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨↔∨∨∨↔↔↔∀↔↔↔∧∧∧∧∧∧∧∧∧∧∧
∈∈→→→→→→→→→∨∨∨∨∨↔→→→→→→→→→→→→→→→→→→→→→∨↔↔↔↔↔∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔↔∨∨→→→∨∨→→→→→→→→→→→→→→→→→→∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∨∈→→→→→∈∈→∈∈∈∈∈∈∈→→∈→→↔↔∨∨→∨∨∀↔↔↔↔↔↔↔↔↔↔↔↔∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨→∀∨∨↔↔↔↔∀↔↔↔∧∧∧∧∧∧∧∧∧∧∧
→→→→→→→→→→∨∨∨∨∨∨↔→→→→→→→→→→→→→→→→→→∨∨∨∨↔↔↔↔↔∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀↔∨∨→→→→→→→→→→→→→→→→→→→→→→→→∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→→→→→→→∈∈∈∈∈∈→→→→→→→→∀↔↔→→∨∨∨∀↔↔↔↔↔↔↔↔↔↔↔↔∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨→∀∨↔∨↔↔↔∀↔↔↔∧∧∧∧∧∧∧∧∧∧∧
→→→→→→→→∨∨∨∨∨∨∨∨↔∨∨→∨∨→→∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔∨∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∨→→→→→→→→→→→→→→→→→→→→∨↔∀→∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨→∀∨∨∨↔↔↔∀↔↔↔∧∈∧∧∧∧∧∧∧∧∧
→→→→→→∨∨→∨∨∨∨∨∨∨↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔↔∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔□∨→→→→→→→→→→→→→→→→→→→→→→→→→→→→∨→→→→∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈∈→→→→→→→→→→→→→→→→→→→∨∨∨↔∀∨∨∨∨∨∨∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∀↔↔↔↔↔∀∀↔↔∀∈∈∈∈∧∧∧∧∧∧∧
→→→∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔↔↔∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀∨∨∨→∨→→∨∨∨→→→→→→→→→→→→→→→→→→→∨→→→→→→→→→→→→→∈→→→∈∈→→→→∈→∈→∈∈∈∈→→→∈→→→→→→→∈∨→→→→→→→→→→→→∨∨∨∨∨∨∨∨∨∀↔∨∨∨∨∨∨∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨↔∀↔↔↔∀↔∀∀↔↔∀∈∈∈∈∈∈∈∧∧∧∧
→→→→→∨→→∨∨∨∨∨∨→→∨↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔∨↔↔↔↔↔↔↔∀□↔↔↔↔↔↔∀∨∨∨∨∨∨∨∨∨∨∨∨∨→→→→∨∨∨∨∨→∨∨→→→→→↔→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∈∈∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∀∨∨↔↔↔↔↔∀↔↔↔↔∀∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∀∀∀↔↔∀∀∀∀↔↔∀→∈∈∈∈∈∈∈∧∧∧
→→→→→→→→→→→→→→→→→↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔↔↔↔∨↔↔∀∀∀∀↔□∀↔↔↔↔↔↔∀∨∨∨∨∨∨∨∨∨∨∨∀∀↔↔↔↔↔↔∀∨∨∨∨∨∨∨∨∨→↔→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∈∈∈↔∨∨∨∨∨∨∨∨∨∨∨↔∀∀↔↔∨↔∀↔↔↔∀↔∨∨∨↔↔∀↔↔↔↔↔∀∀↔↔↔↔∀∀∀∀↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨□∀↔↔↔∀∀□□□∀∀→∈∈∈∈∈∈∈∧∧∧
→→→→→→→→→→→→→→→→→↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔∀∀∀∀∀↔∀∀∀∀∀∀∀□↔∀∀↔∀↔□∨∨∨∨∨∨∨∨∨∀∀↔↔↔↔↔↔↔↔↔↔∀∨∨∨∨∨∨∨∨∨↔→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∈∈∈→↔∨∨∨∨∨↔∀∨∨∨∨∨∨∨∨∨∨∨∨∀↔↔↔↔↔↔↔↔↔∀∀∀∀∀∀□∀∀∀∀∀∀∀∀∀∀∀∀↔↔∀↔∀↔∨∨∨∨∨∨∨↔∀∀∀↔∀∀∀□◇□∀∀∨∈∈∈∈∈∈∈∈∈∈
→→→→→→→→→→→→∨→→→→∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∨∨∨∨∨∨↔∀↔↔↔↔↔↔↔∀↔∀∀↔↔↔↔∀∨∨∨∨∨∨∨∀→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∈∈∈∈∈∨∨↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∀↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔↔↔∀∀∀□↔∀∀□□□□∀∀→→→→∈∈∈∈∈∈∈
∈→→→∈∈→∈→→→→→→→→→→↔∨∨∨∨∨∨∨↔∨∨∨↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□∀∀∀∀∀□∨∨∨∨∨□∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀↔□∀∨∨∨∨∨↔∨∨∨∨∨∨∨∨→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→→∈∈∈∈∈∈∈↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨↔∨↔↔↔↔↔∀↔↔↔↔↔↔↔∀∀∀∀∀□∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔∨□∀∀□∀↔□∀□∀∀∀∀→→→→→→∈∈∈∈∈
∈∈∈∈→→→→→→→→→→→→→→↔∨∨∨∨↔↔↔↔↔↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□∀∀∀∀∀∀∀∀↔↔↔□∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□↔↔∀∀∀↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨→→∨∨∨→→→→→→→→→→∈∈∈∈∈→→∈↔↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀↔↔↔↔↔↔↔∀↔↔↔↔↔∀∀∀∀∀□∀□∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔∀□□□□∀↔□□□□∀∀□→→→→→→→→→∈→
∈∈∈∈→→→→→→→→→→→→→→↔∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□□∀∀∀∀∀□□□∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□∀∀∀∀∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨→→→→→→→→→→→→→→→→↔↔↔↔↔↔∀∀∀∀∀∀∀∀□∀↔↔↔↔↔↔↔∀∀↔↔↔↔□∀∀∀∀□∀□∀∀∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔↔□□□□□□∀□□□□∀□□→→→→→→→→→→→
→→→→→→→→→→→→→→→→→→∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀◇∀□∀∀∀∀∀□∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□□↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨→→→→→→→→→→→→→→→→∀↔↔∀∀∀∀∀∀∀∀∀∀∀□∀∀↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀□∀□∀∀∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔∀□□□□□∀∀□□□□□□∀→→→→→→→→→→→
→→→→→→→→→→→→→→→→∨→→↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□∀∀□∀∀∀∀◇∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨→→→→→→→→→→→→→→→→→→→∀↔∀∀∀∀∀∀∀∀∀∀∀∀□∀∀↔↔↔↔↔↔↔□∀∀∀□∀∀∀□∀∀□∀∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔◇□□□□□∀∀∀□□□□□∀∨∨∨∨→→→→→→→
→→→→→→→→→→→→→→↔∀↔↔↔∀↔↔↔↔↔↔↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀∀□□□∀□□∀◇∀∀□□◇∀□∀∀□∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀↔↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨→→→→→→→→→→→→→→→→→→→→→→→↔∀∀∀∀∀∀∀∀∀∀∀∀∀□∀↔↔↔↔↔↔↔↔□∀∀∀□∀∀□∀∀□□∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔∀◇□□□□□□∀□□□□□□∀∨∨∨∨∨∨∨∨∨→∨
→→→→→→→→∨∨∨∀→→→↔↔↔↔↔∀↔↔↔↔↔↔↔↔↔↔↔↔∀∀∀∀∀□□□□□□□□□□□◇□□∀◇□□□□□□□□□□□□□□□□□□□□□∀□□□□∀∀∀∀∀∀∀∀∀□∀□↔↔↔↔↔↔↔↔↔↔↔∨∨↔∨∨∨∨∨∨∨∨∨∨∨∨∨→→→→→→→→→→→→→→→→→→→→→→→→∨∨∨∨□∀∀∀∀∀∀∀∀∀∀∀□□∀∀∀↔∀∀↔↔∀□∀∀□∀∀□□□□□∀∀∀∀∀∀∀∀∀∀∀∀↔∀↔↔↔◇◇□□□□□□∀□□◇□□□∀∨∨∨∨∨∨∨∨∨∨∨
∨→∨∨∨∨∨∨↔∀→∨∨∨∨∨↔↔↔↔□↔↔↔↔↔↔↔∀∀∀∀∀∀□□□□□□□□□□□□□□□□□□□◇□□□◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨→→→→→→→→→→→→→→→→∨∨∨∨∨∨∨∨∨∀∀∀∀∀∀∀∀∀∀∀∀□□∀∀∀∀∀∀∀∀∀□∀∀□□□□□□□□□□□□□□□□□□∀∀∀∀∀□◇□□□□□□□□□□◇□□□∀∨∨∨∨∨∨∨∨∨∨∨
∨∨∨∨∨∨∀↔↔↔↔∨∨∨∨∨∨↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀∀□□□□□□□□□□□□□□□◇□□□□◇□□◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔□∀∀∀∀∀∀□□□□□□∀∀∀∀∀∀∀∀∀∀□◇□□□□□□◇□□□□□□□□□□∀∀∀∀∀□◇□□□□□□□□□□◇□□□∀↔∨∨∨∨∨∨∨∨∨∨
∨∨∨∨∨□↔↔↔↔↔↔∨∨∨∨∨∨↔∀∀□∀∀∀∀∀∀∀∀∀∀∀□□□□□□□□□□□□□□◇□□□□□◇□□◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔∀□∀□□□□□□□□□□∀∀∀∀∀∀∀∀∀∀□□□□◇□□□□□□□□□□□□∀∀∀∀∀□∀◇◇□□□□□□□□◇◇◇◇□∀↔↔↔↔∨∨∨∨∨∨↔
∨∨∨∨∀∀∀∀∀∀∀∀↔∨∨∨∨∨∨↔∀∀□∀∀∀∀∀∀∀∀∀∀□□□□□□□□□□□□□□◇□□□□□◇□◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔□□□□□□□□□□□□∀∀∀∀∀∀∀∀∀∀◇□∀∀∀∀◇□□□□□□□□□∀∀∀∀□□∀◇◇□◇◇◇◇□□□◇◇◇◇□∀↔↔↔↔↔↔↔↔↔↔↔
∨∨↔∀∀∀∀∀∀∀∀∀∀∀∨↔∨↔↔↔↔∀□∀∀∀∀∀∀∀∀∀∀□□□□□□□□□□□□□◇∀□□□□□◇□◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□↔∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨∨↔↔↔↔↔↔◇□□□□□□□◇□∀∀∀∀∀∀∀∀∀∀□□□∀∀∀∀◇□□□□□□□□∀∀∀□□□∀◇◇◇◇◇◇◇□◇◇◇◇◇◇◇∀↔↔↔↔↔↔↔↔↔↔↔
↔↔↔∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔↔∀◇∀∀∀∀∀∀∀∀∀□□□□□□□□□□□□□◇□□∀∀□□◇□◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□∀∀∀∀∀∀∀∀∀∀∀↔∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∨∨∨∨∨∨∨∨↔∨↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀∀∀∀∀◇□□□□□□□∀∀∀∀∀∀∀∀∀∀□◇□∀∀∀∀□□□□□□□□□∀∀□◇□□□◇◇◇◇◇◇◇◇◇◇◇◇◇◇□∀↔↔↔↔↔↔↔↔↔↔↔
↔∀↔↔□∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔↔∀◇∀∀∀∀∀∀∀∀□◇◇□□□□□□□□□◇□□□□□□□□◇◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□∀□◇◇◇□□∀∀∀∀∀∀∀□∀∀∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀□∀↔↔□∀↔↔↔↔∀∀∀∀∀∀∀∀◇□□□□□□∀∀∀∀∀∀∀∀∀∀◇□∀∀∀∀□◇□□□□□□□∀∀◇□□□□◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇∀∀↔↔↔↔↔↔↔↔↔↔
↔∀↔↔□∀∀∀∀∀∀∀∀∀∀∀□∀↔↔↔↔↔↔□□∀□□□□□□□◇◇◇◇◇□□□□□□◇□□□□□□□□◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀∀↔↔↔↔↔↔↔↔↔↔↔∀□□∀∀∀∀∀∀∀∀∀◇□□∀□□∀□□□□□□∀◇□□□□□□◇□□□□□□□□◇∀◇□□□◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇□∀∀∀∀↔∀∀∀∀∀∀
□↔↔↔∀□□□□□□□□□□□□□∀↔∀∀∀↔∀∀◇□□□□□□□□◇◇◇◇◇◇◇◇◇◇□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□◇◇□□□□□□□□□□□□□□□◇□□□□□□□□◇∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀∀□□□□□∀↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔↔∀∀∀∀∀∀∀∀∀∀∀□□□□□□□□□□□□□□□□□□□□◇□□□□□□□◇□□□□□◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇◇□∀∀∀∀∀∀∀∀∀∀∀
```