Path	Lines of Code
Sources/VeriSol/Program.cs	98
Sources/VeriSol/VeriSolExecuter.cs	383