!7 p-exp { new TreeSet allStreets; for (S snippetID : ll(#1400199, #1400200)) { temp ZipFile zip = openZipSnippet(); new TreeSet streets; for (S line : linesFromReader(utf8ZipReader(zip, "Strassen_und_Wegenetz.gml"))) { addIfNotNull(streets, startsWithEndsWith_getRest(trim(line), "", "")); } print("Got " + n(streets, "street")); allStreets.addAll(streets); } print("All streets: " + l(allStreets)); }