Order of things - magnetic field
I think Mars needs a magnetic field first, so the gases do not escape or get destroyed by cosmic rays. How about generating an artificial magnetic field of this size? Then the frozen gases already on Mars could supply an atmosphere.