files use to solve the INFORMS Analytic Treasure Hunt of 2012