Computational supplement to manuscript (Ampl programs, etc)