↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔1 100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔10 00→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100 0→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→ →010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→0 010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→01 10∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010 0∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨ ∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨0 001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨00 01¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001 1¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬ ¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧ ∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0 0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧01 110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧011 10↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110 0↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔ ↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔1 100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔10 00→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100 0→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→ →010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→0 010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→01 10∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010 0∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨ ∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨0 001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨00 01¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001 1¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬ ¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧ ∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0110↔100→010∨001¬∧0