Path	Lines of Code
ZenWithTerms/tla/ZenWithTerms.tla	326
ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch	65