Path	Lines of Code
dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs	50
dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs	62
dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs	59
dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs	14
dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs	60
dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs	31
dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs	38
misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py	268