Debug AnyCPU {AFAA5CE1-C41B-44F0-88F8-FD8A43826D44} Library Properties Predication BoogiePredication v4.0 512 Client 12.0.0 2.0 0 true full false bin\Debug\ DEBUG;TRACE prompt 4 False False True False False False True True True True True True True True False True False True False False False False True False True True True False False True False False True Full DoNotBuild 0 pdbonly true bin\Release\ TRACE prompt 4 False False True False False False True True False False False True True False False False True False True True False False True False Full DoNotBuild 0 true ..\InterimKey.snk true bin\QED\ DEBUG;TRACE full AnyCPU prompt MinimumRecommendedRules.ruleset {43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0} Basetypes {B230A69C-C466-4065-B9C1-84D80E76D802} Core {69A2B0B8-BCAC-4101-AE7A-556FCC58C06E} Graph {FCD3AC7F-9DFD-46C8-AB1E-09F0B0F16DC5} ParserHelper {E1F10180-C7B9-4147-B51F-FA1B701966DC} VCGeneration