static File logicListFile() {
  ret getProgramFile("#1004394", "logic.txt");
}