Optimum quantum error recovery using semidefinite programming | Synapse