public ArrayList<String> getProblemIDList() {
   return new ArrayList<>(problems.keySet());
 }