The programs used to solve for the equilibrium of the benchmark economy and the ones of the economies with mandatory leaves are written in fortran. The compiler used is Compact Visual Fortran Professional Edition 6.5.0 The files containing the programs used to compute all the equilibria with mandatory leaves are: birthage_man.f, distophc_man.f, mandatory_man.f, simulation_man.f, statis_man.f, taxes_man.f, turnover_man.f The files containing the programs used to compute the steady state of the benchmark economy are: simplex.f, fcnloss.f, fcnstats.f, compuwage_vol.f, birthage_vol.f, distophc_vol.f, simulation_vol.f, statisophcl.f, statloss.f, turnover_vol.f, history.f The compiler used is Compaq Visual Fortran Professional Edition Version 6.5