added Loren's file parser and updated solve_these