mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

removed test_managed, added Microsoft.Z3/test_mapi

Browse source 
Signed-off-by: wintersteiger <cwinter@microsoft.com>
This commit is contained in:
wintersteiger 2012-10-11 14:47:38 +01:00
parent 56b977b418
commit e0c746e382
10 changed files with 228 additions and 2052 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
Microsoft.Z3/test_mapi/Program.cs
View file

@ -184,7 +184,7 @@ namespace test_mapi
/// </summary>
public static void SimpleExample()
{
Console.WriteLine("SimpleExample");
Console.WriteLine("SimpleExample");
using (Context ctx = new Context())
{
@ -649,7 +649,7 @@ namespace test_mapi
{ "MBQI", "false" },
{ "PROOF_MODE", "2" },
{ "AUTO_CONFIG", "false" }
};
};
/* If quantified formulas are asserted in a logical context, then
the model produced by Z3 should be viewed as a potential model. */
@ -975,7 +975,7 @@ namespace test_mapi
/// </summary>
static void SMT1FileTest(string filename)
{
Console.Write("SMT File test ");
Console.Write("SMT File test ");
using (Context ctx = new Context(new Dictionary<string, string>() { { "MODEL", "true" } }))
{
@ -983,7 +983,7 @@ namespace test_mapi
BoolExpr a = ctx.MkAnd(ctx.SMTLIBFormulas);
Console.WriteLine("read formula: " + a);
}
}
}
/// <summary>
@ -2022,30 +2022,30 @@ namespace test_mapi
}
}
public static void FiniteDomainExample(Context ctx)
{
public static void FiniteDomainExample(Context ctx)
{
Console.WriteLine("FiniteDomainExample");
var s = ctx.MkFiniteDomainSort("S", 10);
var t = ctx.MkFiniteDomainSort("T", 10);
var s1 = ctx.MkNumeral(1, s);
var t1 = ctx.MkNumeral(1, t);
Console.WriteLine("{0}", s);
Console.WriteLine("{0}", t);
Console.WriteLine("{0}", s1);
Console.WriteLine("{0}", ctx.MkNumeral(2, s));
Console.WriteLine("{0}", t1);
var s = ctx.MkFiniteDomainSort("S", 10);
var t = ctx.MkFiniteDomainSort("T", 10);
var s1 = ctx.MkNumeral(1, s);
var t1 = ctx.MkNumeral(1, t);
Console.WriteLine("{0}", s);
Console.WriteLine("{0}", t);
Console.WriteLine("{0}", s1);
Console.WriteLine("{0}", ctx.MkNumeral(2, s));
Console.WriteLine("{0}", t1);
// But you cannot mix numerals of different sorts
// even if the size of their domains are the same:
// Console.WriteLine("{0}", ctx.MkEq(s1, t1));
}
// Console.WriteLine("{0}", ctx.MkEq(s1, t1));
}
static void Main(string[] args)
{
try
{
Context.ToggleWarningMessages(true);
Log.Open("test.log");
Log.Open("test.log");
Console.Write("Z3 Major Version: ");
Console.WriteLine(Microsoft.Z3.Version.Major.ToString());
@ -2090,7 +2090,7 @@ namespace test_mapi
EvalExample2(ctx);
FindSmallModelExample(ctx);
SimplifierExample(ctx);
FiniteDomainExample(ctx);
FiniteDomainExample(ctx);
}
QuantifierExample3();

71
Microsoft.Z3/test_mapi/test_mapi.csproj
View file

@ -36,6 +36,71 @@
<PropertyGroup>
<StartupObject>test_mapi.Program</StartupObject>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Debug|AnyCPU'">
<DebugSymbols>true</DebugSymbols>
<OutputPath>bin\Debug\</OutputPath>
<DefineConstants>DEBUG;TRACE</DefineConstants>
<DebugType>full</DebugType>
<PlatformTarget>AnyCPU</PlatformTarget>
<CodeAnalysisLogFile>bin\Debug\test_mapi.exe.CodeAnalysisLog.xml</CodeAnalysisLogFile>
<CodeAnalysisUseTypeNameInSuppression>true</CodeAnalysisUseTypeNameInSuppression>
<CodeAnalysisModuleSuppressionsFile>GlobalSuppressions.cs</CodeAnalysisModuleSuppressionsFile>
<ErrorReport>prompt</ErrorReport>
<CodeAnalysisRuleSet>MinimumRecommendedRules.ruleset</CodeAnalysisRuleSet>
<CodeAnalysisRuleSetDirectories>;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets</CodeAnalysisRuleSetDirectories>
<CodeAnalysisIgnoreBuiltInRuleSets>true</CodeAnalysisIgnoreBuiltInRuleSets>
<CodeAnalysisRuleDirectories>;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules</CodeAnalysisRuleDirectories>
<CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Release|AnyCPU'">
<OutputPath>bin\Release\</OutputPath>
<DefineConstants>TRACE</DefineConstants>
<Optimize>true</Optimize>
<DebugType>pdbonly</DebugType>
<PlatformTarget>AnyCPU</PlatformTarget>
<CodeAnalysisLogFile>bin\Release\test_mapi.exe.CodeAnalysisLog.xml</CodeAnalysisLogFile>
<CodeAnalysisUseTypeNameInSuppression>true</CodeAnalysisUseTypeNameInSuppression>
<CodeAnalysisModuleSuppressionsFile>GlobalSuppressions.cs</CodeAnalysisModuleSuppressionsFile>
<ErrorReport>prompt</ErrorReport>
<CodeAnalysisRuleSet>MinimumRecommendedRules.ruleset</CodeAnalysisRuleSet>
<CodeAnalysisRuleSetDirectories>;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets</CodeAnalysisRuleSetDirectories>
<CodeAnalysisIgnoreBuiltInRuleSets>true</CodeAnalysisIgnoreBuiltInRuleSets>
<CodeAnalysisRuleDirectories>;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules</CodeAnalysisRuleDirectories>
<CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Debug|x64'">
<DebugSymbols>true</DebugSymbols>
<OutputPath>bin\x64\Debug\</OutputPath>
<DefineConstants>DEBUG;TRACE</DefineConstants>
<DebugType>full</DebugType>
<PlatformTarget>x64</PlatformTarget>
<CodeAnalysisLogFile>bin\Debug\test_mapi.exe.CodeAnalysisLog.xml</CodeAnalysisLogFile>
<CodeAnalysisUseTypeNameInSuppression>true</CodeAnalysisUseTypeNameInSuppression>
<CodeAnalysisModuleSuppressionsFile>GlobalSuppressions.cs</CodeAnalysisModuleSuppressionsFile>
<ErrorReport>prompt</ErrorReport>
<CodeAnalysisRuleSet>MinimumRecommendedRules.ruleset</CodeAnalysisRuleSet>
<CodeAnalysisRuleSetDirectories>;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets</CodeAnalysisRuleSetDirectories>
<CodeAnalysisIgnoreBuiltInRuleSets>true</CodeAnalysisIgnoreBuiltInRuleSets>
<CodeAnalysisRuleDirectories>;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules</CodeAnalysisRuleDirectories>
<CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
<CodeAnalysisFailOnMissingRules>false</CodeAnalysisFailOnMissingRules>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Release|x64'">
<OutputPath>bin\x64\Release\</OutputPath>
<DefineConstants>TRACE</DefineConstants>
<Optimize>true</Optimize>
<DebugType>pdbonly</DebugType>
<PlatformTarget>x64</PlatformTarget>
<CodeAnalysisLogFile>bin\Release\test_mapi.exe.CodeAnalysisLog.xml</CodeAnalysisLogFile>
<CodeAnalysisUseTypeNameInSuppression>true</CodeAnalysisUseTypeNameInSuppression>
<CodeAnalysisModuleSuppressionsFile>GlobalSuppressions.cs</CodeAnalysisModuleSuppressionsFile>
<ErrorReport>prompt</ErrorReport>
<CodeAnalysisRuleSet>MinimumRecommendedRules.ruleset</CodeAnalysisRuleSet>
<CodeAnalysisRuleSetDirectories>;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\\Rule Sets</CodeAnalysisRuleSetDirectories>
<CodeAnalysisIgnoreBuiltInRuleSets>true</CodeAnalysisIgnoreBuiltInRuleSets>
<CodeAnalysisRuleDirectories>;C:\Program Files\Microsoft Visual Studio 10.0\Team Tools\Static Analysis Tools\FxCop\\Rules</CodeAnalysisRuleDirectories>
<CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
</PropertyGroup>
<ItemGroup>
<Reference Include="System" />
<Reference Include="System.Core" />
@ -44,15 +109,15 @@
<ItemGroup>
<Compile Include="Program.cs" />
</ItemGroup>
<ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\Microsoft.Z3.csproj">
<Project>{EC3DB697-B734-42F7-9468-5B62821EEB5A}</Project>
<Name>Microsoft.Z3</Name>
</ProjectReference>
</ItemGroup>
<ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<PropertyGroup>
<PostBuildEvent>

36
test_managed/Properties/AssemblyInfo.cs
View file

@ -1,36 +0,0 @@
using System.Reflection;
using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;
// General Information about an assembly is controlled through the following
// set of attributes. Change these attribute values to modify the information
// associated with an assembly.
[assembly: AssemblyTitle("test_managed")]
[assembly: AssemblyDescription("")]
[assembly: AssemblyConfiguration("")]
[assembly: AssemblyCompany("Microsoft")]
[assembly: AssemblyProduct("test_managed")]
[assembly: AssemblyCopyright("Copyright © Microsoft 2012")]
[assembly: AssemblyTrademark("")]
[assembly: AssemblyCulture("")]
// Setting ComVisible to false makes the types in this assembly not visible
// to COM components. If you need to access a type in this assembly from
// COM, set the ComVisible attribute to true on that type.
[assembly: ComVisible(false)]
// The following GUID is for the ID of the typelib if this project is exposed to COM
[assembly: Guid("7570b332-8715-4bc4-b06b-fa4b0c52592e")]
// Version information for an assembly consists of the following four values:
//
// Major Version
// Minor Version
// Build Number
// Revision
//
// You can specify all the values or you can default the Build and Revision Numbers
// by using the '*' as shown below:
// [assembly: AssemblyVersion("1.0.*")]
[assembly: AssemblyVersion("1.0.0.0")]
[assembly: AssemblyFileVersion("1.0.0.0")]

6
test_managed/README-external.txt
View file

@ -1,6 +0,0 @@
Use 'build.cmd' to build the test application using Microsoft C#
compiler.
Remark: The Microsoft C# compiler (csc) must be in your path,
or you can use the Visual Studio Command Prompt.

2
test_managed/build-external.bat
View file

@ -1,2 +0,0 @@
csc /reference:..\..\lib\Microsoft.Z3.dll /platform:x86 test_managed.cs
copy ..\..\lib\Microsoft.Z3.dll .

3
test_managed/build-external.cmd
View file

@ -1,3 +0,0 @@
csc /reference:..\..\bin\Microsoft.Z3.dll /platform:x86 test_managed.cs
@rem Copy DLL to allow test_managed.exe to find it.
copy ..\..\bin\Microsoft.Z3.dll

2
test_managed/build.bat
View file

@ -1,2 +0,0 @@
csc /reference:..\debug\Microsoft.Z3.dll /platform:x86 /debug:full test_managed.cs
copy ..\debug\Microsoft.Z3.dll .

1772
test_managed/test_managed.cs
View file

File diff suppressed because it is too large Load diff

71
test_managed/test_managed.csproj
View file

@ -1,71 +0,0 @@
<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
<Platform Condition=" '$(Platform)' == '' ">x86</Platform>
<ProductVersion>8.0.30703</ProductVersion>
<SchemaVersion>2.0</SchemaVersion>
<ProjectGuid>{B408E4BF-338D-446D-8D28-0DAB9BE91182}</ProjectGuid>
<OutputType>Exe</OutputType>
<AppDesignerFolder>Properties</AppDesignerFolder>
<RootNamespace>test_managed</RootNamespace>
<AssemblyName>test_managed</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<TargetFrameworkProfile>Client</TargetFrameworkProfile>
<FileAlignment>512</FileAlignment>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|x86' ">
<PlatformTarget>x86</PlatformTarget>
<DebugSymbols>true</DebugSymbols>
<DebugType>full</DebugType>
<Optimize>false</Optimize>
<OutputPath>..\Debug\</OutputPath>
<DefineConstants>DEBUG;TRACE</DefineConstants>
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
</PropertyGroup>
<PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|x86' ">
<PlatformTarget>x86</PlatformTarget>
<DebugType>pdbonly</DebugType>
<Optimize>true</Optimize>
<OutputPath>..\Release\</OutputPath>
<DefineConstants>TRACE</DefineConstants>
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Debug|x64'">
<PlatformTarget>x64</PlatformTarget>
<OutputPath>..\x64\Debug\</OutputPath>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(Platform)' == 'Release|x64'">
<PlatformTarget>x64</PlatformTarget>
<OutputPath>..\x64\Release\</OutputPath>
</PropertyGroup>
<ItemGroup>
<Reference Include="System" />
<Reference Include="System.Core" />
<Reference Include="System.Xml.Linq" />
<Reference Include="System.Data.DataSetExtensions" />
<Reference Include="Microsoft.CSharp" />
<Reference Include="System.Data" />
<Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
<Compile Include="Properties\AssemblyInfo.cs" />
<Compile Include="test_managed.cs" />
</ItemGroup>
<ItemGroup>
<ProjectReference Include="..\Microsoft.Z3\Microsoft.Z3.csproj">
<Project>{EC3DB697-B734-42F7-9468-5B62821EEB5A}</Project>
<Name>Microsoft.Z3</Name>
</ProjectReference>
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
<!-- To modify your build process, add your task inside one of the targets below and uncomment it.
Other similar extension points exist, see Microsoft.Common.targets.
<Target Name="BeforeBuild">
</Target>
<Target Name="AfterBuild">
</Target>
-->
</Project>

279
z3-prover.sln
View file

@ -29,7 +29,7 @@ Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Microsoft.Z3", "Microsoft.Z
{0BF8CB94-61C7-4545-AE55-C58D858AA8B6} = {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}
EndProjectSection
EndProject
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "test_managed", "test_managed\test_managed.csproj", "{B408E4BF-338D-446D-8D28-0DAB9BE91182}"
Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "test_mapi", "Microsoft.Z3\test_mapi\test_mapi.csproj", "{D350BC78-8455-45D3-9759-073394378BF2}"
EndProject
Global
GlobalSection(SolutionConfigurationPlatforms) = preSolution
@ -623,7 +623,8 @@ Global
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Mixed Platforms.Build.0 = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Win32.ActiveCfg = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Win32.Build.0 = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x64.ActiveCfg = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x64.ActiveCfg = Release|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x64.Build.0 = Release|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|x86.ActiveCfg = Release|x64
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseD|Any CPU.ActiveCfg = Release|Win32
{9E76526D-EDA2-4B88-9616-A8FC08F31071}.ReleaseD|Mixed Platforms.ActiveCfg = ReleaseD|Win32
@ -1101,7 +1102,7 @@ Global
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Mixed Platforms.Build.0 = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Win32.ActiveCfg = external|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Win32.Build.0 = external|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x64.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x64.ActiveCfg = Release|x64
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x86.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|Any CPU.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.mpi_debug|Any CPU.Build.0 = Release|Any CPU
@ -1189,141 +1190,143 @@ Global
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Win32.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|x64.ActiveCfg = Release|Any CPU
{EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|x86.ActiveCfg = Release|Any CPU
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.commercial|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Any CPU.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Mixed Platforms.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Mixed Platforms.Build.0 = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|Win32.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x64.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x86.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.debug_opt|x86.Build.0 = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Any CPU.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Mixed Platforms.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Mixed Platforms.Build.0 = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|Win32.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x64.ActiveCfg = Debug|x64
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x64.Build.0 = Debug|x64
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x86.ActiveCfg = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Debug|x86.Build.0 = Debug|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_64|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_dbg|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external_parallel|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.external|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_debug|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.mpi_release|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_debug|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.parallel_release|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release_delaysign|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_mt|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.release_static|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|x64.ActiveCfg = Release|x64
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|x64.Build.0 = Release|x64
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Release|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseD|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.ReleaseShellOnly|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Setup|x86.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Any CPU.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Mixed Platforms.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Mixed Platforms.Build.0 = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|Win32.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|x64.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|x86.ActiveCfg = Release|x86
{B408E4BF-338D-446D-8D28-0DAB9BE91182}.Trace|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.commercial|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.commercial|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.commercial|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.commercial|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.commercial|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.commercial|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.commercial|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.debug_opt|Any CPU.ActiveCfg = Debug|x86
{D350BC78-8455-45D3-9759-073394378BF2}.debug_opt|Mixed Platforms.ActiveCfg = Debug|x86
{D350BC78-8455-45D3-9759-073394378BF2}.debug_opt|Mixed Platforms.Build.0 = Debug|x86
{D350BC78-8455-45D3-9759-073394378BF2}.debug_opt|Win32.ActiveCfg = Debug|x86
{D350BC78-8455-45D3-9759-073394378BF2}.debug_opt|x64.ActiveCfg = Debug|x86
{D350BC78-8455-45D3-9759-073394378BF2}.debug_opt|x86.ActiveCfg = Debug|x86
{D350BC78-8455-45D3-9759-073394378BF2}.debug_opt|x86.Build.0 = Debug|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Debug|Any CPU.Build.0 = Debug|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Debug|Win32.ActiveCfg = Debug|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Debug|x64.ActiveCfg = Debug|x64
{D350BC78-8455-45D3-9759-073394378BF2}.Debug|x64.Build.0 = Debug|x64
{D350BC78-8455-45D3-9759-073394378BF2}.Debug|x86.ActiveCfg = Debug|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_64|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_64|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_64|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_64|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_64|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_64|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_64|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_dbg|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_dbg|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_dbg|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_dbg|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_dbg|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_dbg|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_dbg|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_parallel|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_parallel|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_parallel|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_parallel|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_parallel|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_parallel|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external_parallel|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external|Any CPU.ActiveCfg = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.external|Any CPU.Build.0 = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.external|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.external|Win32.ActiveCfg = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.external|Win32.Build.0 = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.external|x64.ActiveCfg = Release|x64
{D350BC78-8455-45D3-9759-073394378BF2}.external|x86.ActiveCfg = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_debug|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_debug|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_debug|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_debug|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_debug|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_debug|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_debug|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_release|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_release|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_release|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_release|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_release|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_release|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.mpi_release|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_debug|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_debug|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_debug|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_debug|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_debug|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_debug|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_debug|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_release|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_release|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_release|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_release|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_release|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_release|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.parallel_release|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_mt|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_mt|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_mt|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_mt|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_mt|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_mt|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_mt|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_static|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_static|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_static|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_static|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_static|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_static|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.release_static|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release|Any CPU.ActiveCfg = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Release|Any CPU.Build.0 = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Release|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Release|Win32.ActiveCfg = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Release|Win32.Build.0 = Release|Any CPU
{D350BC78-8455-45D3-9759-073394378BF2}.Release|x64.ActiveCfg = Release|x64
{D350BC78-8455-45D3-9759-073394378BF2}.Release|x64.Build.0 = Release|x64
{D350BC78-8455-45D3-9759-073394378BF2}.Release|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseD|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseD|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseD|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseD|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseD|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseD|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseD|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseShellOnly|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseShellOnly|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseShellOnly|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseShellOnly|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseShellOnly|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseShellOnly|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.ReleaseShellOnly|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Setup|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Setup|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Setup|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Setup|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Setup|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Setup|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Setup|x86.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Trace|Any CPU.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Trace|Mixed Platforms.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Trace|Mixed Platforms.Build.0 = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Trace|Win32.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Trace|x64.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Trace|x86.ActiveCfg = Release|x86
{D350BC78-8455-45D3-9759-073394378BF2}.Trace|x86.Build.0 = Release|x86
EndGlobalSection
GlobalSection(SolutionProperties) = preSolution
HideSolutionNode = FALSE