Add SDPs for simple example

Also fix a few lines of pseudocode to reflect the discussion from
Friday’s call (3 candidates in each direction)
@ekr @fluffy PTAL