!7 p { S text = loadGZTextFile(getProgramFile(#1006864, "concepts.structure.gz")); L tok = javaTokC(text); for (int t : ll(10, 1506, 4723)) printStructure(tok.subList(t-3, t+3)); }