Sequent Symmetry 5000