Debug AnyCPU 9.0.30729 2.0 {FE44674A-1633-4917-99F4-57635E6FA740} Library Properties DafnyPipeline DafnyPipeline v3.5 512 0 true ..\InterimKey.snk true full false bin\Debug\ DEBUG;TRACE prompt 4 False False True False False False False False False False False True False False False Full Build pdbonly true bin\Release\ TRACE prompt 4 False ..\..\Binaries\AIFramework.dll False ..\..\Binaries\Basetypes.dll False ..\..\Binaries\Core.dll False ..\..\Binaries\FSharp.Core.dll False ..\..\Binaries\FSharp.PowerPack.dll False ..\..\Binaries\Microsoft.Contracts.dll 3.5