SDP variable indexing revised, compact renumbering added
Unnecessary printing of Hamiltonian removed