Path	Lines of Code
ironclad-apps/tools/Dafny/DafnyRuntime.cs	827
ironclad-apps/tools/Dafny/extension.vsixmanifest	17