static L> downloadedDiagramStructures2() { ret downloadedDiagramStructures2(listFilesOfProgram_notDirs(#1010484)); } static L> downloadedDiagramStructures2(L files) { new L> diagrams; for (File f : files) { if (!isPossibleMD5(f.getName()) || !f.isFile()) continue; print(f); if (fileStartsWith(f, toUtf8("CirclesAndLines"))) { print("Diagram!"); diagrams.add(pair(loadTextFile(f), "")); } else if (isGZ(f)) { //print("GZipped!"); Concepts c = new Concepts().loadGrab(loadGZippedTextFile(f), true); int n = 0; for (Concept d : concepts.allConcepts()) { S s = getString(d, 'calStructure); S id = getString(d, 'globalID); if (s != null) { diagrams.add(pair(s, id)); ++n; } } print("Got " + n(n, "diagram")); } else print("Huh?"); } ret diagrams; }