diff --git a/z3-prover.sln b/z3-prover.sln index 34d2405fb..97d4bc4d4 100644 --- a/z3-prover.sln +++ b/z3-prover.sln @@ -91,7 +91,8 @@ Global {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|Win32.Build.0 = Debug|Win32 {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x64.ActiveCfg = Debug|x64 {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x64.Build.0 = Debug|x64 - {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x86.ActiveCfg = Debug|x64 + {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x86.ActiveCfg = Debug|Win32 + {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.Debug|x86.Build.0 = Debug|Win32 {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Any CPU.ActiveCfg = external|Win32 {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Any CPU.Build.0 = external|Win32 {4A7E5A93-19D8-4382-8950-FB2EDEC7A76E}.external|Mixed Platforms.ActiveCfg = external|Win32 @@ -155,7 +156,8 @@ Global {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|Win32.Build.0 = Debug|Win32 {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x64.ActiveCfg = Debug|x64 {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x64.Build.0 = Debug|x64 - {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x86.ActiveCfg = Debug|x64 + {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x86.ActiveCfg = Debug|Win32 + {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.Debug|x86.Build.0 = Debug|Win32 {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Any CPU.ActiveCfg = external|Win32 {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Any CPU.Build.0 = external|Win32 {BF547582-F16D-4BE5-B9AB-8B6A9364B447}.external|Mixed Platforms.ActiveCfg = external|Win32 @@ -216,7 +218,8 @@ Global {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|Win32.Build.0 = Debug|Win32 {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x64.ActiveCfg = Debug|x64 {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x64.Build.0 = Debug|x64 - {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x86.ActiveCfg = Debug|x64 + {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x86.ActiveCfg = Debug|Win32 + {21A10ECD-32E2-4F27-A03D-81D855A048CC}.Debug|x86.Build.0 = Debug|Win32 {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Any CPU.ActiveCfg = external|Win32 {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Mixed Platforms.ActiveCfg = external|Win32 {21A10ECD-32E2-4F27-A03D-81D855A048CC}.external|Win32.ActiveCfg = external|Win32 @@ -267,7 +270,8 @@ Global {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|Win32.Build.0 = Debug|Win32 {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x64.ActiveCfg = Debug|x64 {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x64.Build.0 = Debug|x64 - {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x86.ActiveCfg = Debug|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x86.ActiveCfg = Debug|Win32 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Debug|x86.Build.0 = Debug|Win32 {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Any CPU.ActiveCfg = Release|Win32 {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Mixed Platforms.ActiveCfg = external|Win32 {9E76526D-EDA2-4B88-9616-A8FC08F31071}.external|Mixed Platforms.Build.0 = external|Win32 @@ -293,66 +297,257 @@ Global {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Release|Win32.Build.0 = 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}.Setup|Any CPU.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Mixed Platforms.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|Win32.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x64.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Setup|x86.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Any CPU.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Mixed Platforms.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|Win32.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|x64.ActiveCfg = Release|x64 + {9E76526D-EDA2-4B88-9616-A8FC08F31071}.Trace|x86.ActiveCfg = Release|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|Any CPU.ActiveCfg = commercial|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|Mixed Platforms.ActiveCfg = commercial|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|Win32.ActiveCfg = commercial|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|x64.ActiveCfg = commercial|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.commercial|x86.ActiveCfg = commercial|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Any CPU.ActiveCfg = Debug|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Mixed Platforms.Build.0 = Debug|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Win32.ActiveCfg = Debug|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|Win32.Build.0 = Debug|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x64.ActiveCfg = Debug|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x64.Build.0 = Debug|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x86.ActiveCfg = Debug|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Debug|x86.Build.0 = Debug|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Any CPU.ActiveCfg = external|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Mixed Platforms.ActiveCfg = external|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Mixed Platforms.Build.0 = external|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|Win32.ActiveCfg = external|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x64.ActiveCfg = external|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x64.Build.0 = external|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.external|x86.ActiveCfg = external|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Any CPU.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Mixed Platforms.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|Win32.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x64.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release_delaysign|x86.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Any CPU.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Mixed Platforms.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|Win32.ActiveCfg = release_mt|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|x64.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.release_mt|x86.ActiveCfg = release_mt|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Any CPU.ActiveCfg = Release|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Mixed Platforms.ActiveCfg = Release|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Mixed Platforms.Build.0 = Release|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|Win32.ActiveCfg = Release|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x64.ActiveCfg = Release|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x64.Build.0 = Release|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Release|x86.ActiveCfg = Release|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Any CPU.ActiveCfg = trace|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Mixed Platforms.ActiveCfg = trace|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|Win32.ActiveCfg = trace|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x64.ActiveCfg = trace|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Setup|x86.ActiveCfg = trace|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Any CPU.ActiveCfg = trace|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Mixed Platforms.ActiveCfg = trace|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|Win32.ActiveCfg = trace|Win32 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|x64.ActiveCfg = trace|x64 + {0BF8CB94-61C7-4545-AE55-C58D858AA8B6}.Trace|x86.ActiveCfg = trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|Any CPU.ActiveCfg = commercial|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|Mixed Platforms.ActiveCfg = commercial|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|Win32.ActiveCfg = commercial|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|x64.ActiveCfg = commercial|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.commercial|x86.ActiveCfg = commercial|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Any CPU.ActiveCfg = Debug|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Mixed Platforms.Build.0 = Debug|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Win32.ActiveCfg = Debug|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|Win32.Build.0 = Debug|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x64.ActiveCfg = Debug|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x64.Build.0 = Debug|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x86.ActiveCfg = Debug|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Debug|x86.Build.0 = Debug|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Any CPU.ActiveCfg = external|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Mixed Platforms.ActiveCfg = external|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Mixed Platforms.Build.0 = external|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|Win32.ActiveCfg = external|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x64.ActiveCfg = external|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x64.Build.0 = external|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.external|x86.ActiveCfg = external|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Any CPU.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Mixed Platforms.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|Win32.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x64.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release_delaysign|x86.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Any CPU.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Mixed Platforms.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|Win32.ActiveCfg = release_mt|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|x64.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.release_mt|x86.ActiveCfg = release_mt|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Any CPU.ActiveCfg = Release|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Mixed Platforms.ActiveCfg = Release|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Mixed Platforms.Build.0 = Release|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|Win32.ActiveCfg = Release|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x64.ActiveCfg = Release|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x64.Build.0 = Release|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Release|x86.ActiveCfg = Release|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Any CPU.ActiveCfg = Trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Mixed Platforms.ActiveCfg = Trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|Win32.ActiveCfg = Trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x64.ActiveCfg = Trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Setup|x86.ActiveCfg = Trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Any CPU.ActiveCfg = Trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Mixed Platforms.ActiveCfg = Trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|Win32.ActiveCfg = Trace|Win32 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|x64.ActiveCfg = Trace|x64 + {F008F2C4-D652-4A58-8DEF-DB83E2355454}.Trace|x86.ActiveCfg = Trace|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|Any CPU.ActiveCfg = commercial|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|Mixed Platforms.ActiveCfg = commercial|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|Win32.ActiveCfg = commercial|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|x64.ActiveCfg = commercial|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.commercial|x86.ActiveCfg = commercial|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Any CPU.ActiveCfg = Debug|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Mixed Platforms.ActiveCfg = Debug|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Mixed Platforms.Build.0 = Debug|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Win32.ActiveCfg = Debug|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|Win32.Build.0 = Debug|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x64.ActiveCfg = Debug|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x64.Build.0 = Debug|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x86.ActiveCfg = Debug|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Debug|x86.Build.0 = Debug|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Any CPU.ActiveCfg = external|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Mixed Platforms.ActiveCfg = external|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Mixed Platforms.Build.0 = external|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|Win32.ActiveCfg = external|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x64.ActiveCfg = external|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x64.Build.0 = external|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.external|x86.ActiveCfg = external|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Any CPU.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|Win32.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|x64.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release_delaysign|x86.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|Any CPU.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|Mixed Platforms.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|Win32.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|x64.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.release_mt|x86.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Any CPU.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Mixed Platforms.ActiveCfg = Release|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Mixed Platforms.Build.0 = Release|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|Win32.ActiveCfg = Release|Win32 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x64.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x64.Build.0 = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Release|x86.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Any CPU.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Mixed Platforms.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|Win32.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|x64.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Setup|x86.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Any CPU.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Mixed Platforms.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|Win32.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|x64.ActiveCfg = Release|x64 + {7C154132-AAAB-4F60-B652-F8C51A63D244}.Trace|x86.ActiveCfg = Release|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Any CPU.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Mixed Platforms.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|Win32.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|x64.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.commercial|x86.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Mixed Platforms.ActiveCfg = Debug|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Mixed Platforms.Build.0 = Debug|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Win32.ActiveCfg = Debug|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Win32.Build.0 = Debug|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x64.ActiveCfg = Debug|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x64.Build.0 = Debug|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x86.ActiveCfg = Debug|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x86.Build.0 = Debug|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Any CPU.ActiveCfg = external|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Mixed Platforms.ActiveCfg = external|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Mixed Platforms.Build.0 = external|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|Win32.ActiveCfg = external|x64 {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x64.ActiveCfg = external|x64 {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x64.Build.0 = external|x64 - {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|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|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|x64 - {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}.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|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}.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|x64 - {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 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.external|x86.ActiveCfg = external|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Any CPU.ActiveCfg = Release_delaysign|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Mixed Platforms.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|Win32.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|x64.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release_delaysign|x86.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|Any CPU.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|Mixed Platforms.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|Win32.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|x64.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.release_mt|x86.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Any CPU.ActiveCfg = Release|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Mixed Platforms.Build.0 = Release|Any CPU + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Win32.ActiveCfg = Release|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x64.ActiveCfg = Release|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x64.Build.0 = Release|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x86.ActiveCfg = Release|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|Any CPU.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|Mixed Platforms.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|Win32.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|x64.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Setup|x86.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Any CPU.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Mixed Platforms.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|Win32.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|x64.ActiveCfg = Release_delaysign|x64 + {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Trace|x86.ActiveCfg = Release_delaysign|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.commercial|Any CPU.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.commercial|Mixed Platforms.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.commercial|Win32.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.commercial|x64.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.commercial|x86.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Debug|Any CPU.ActiveCfg = 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|Win32.Build.0 = 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|Any CPU + {D350BC78-8455-45D3-9759-073394378BF2}.Debug|x86.Build.0 = Debug|Any CPU + {D350BC78-8455-45D3-9759-073394378BF2}.external|Any CPU.ActiveCfg = Release|x64 + {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|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.external|x64.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.external|x64.Build.0 = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.external|x86.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|Any CPU.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|Mixed Platforms.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|Win32.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|x64.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Release_delaysign|x86.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.release_mt|Any CPU.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.release_mt|Mixed Platforms.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.release_mt|Win32.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.release_mt|x64.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.release_mt|x86.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Release|Any CPU.ActiveCfg = Release|Any CPU + {D350BC78-8455-45D3-9759-073394378BF2}.Release|Mixed Platforms.ActiveCfg = Release|Any CPU + {D350BC78-8455-45D3-9759-073394378BF2}.Release|Mixed Platforms.Build.0 = Release|Any CPU + {D350BC78-8455-45D3-9759-073394378BF2}.Release|Win32.ActiveCfg = Release|x64 + {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}.Setup|Any CPU.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Setup|Mixed Platforms.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Setup|Win32.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Setup|x64.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Setup|x86.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Trace|Any CPU.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Trace|Mixed Platforms.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Trace|Win32.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Trace|x64.ActiveCfg = Release|x64 + {D350BC78-8455-45D3-9759-073394378BF2}.Trace|x86.ActiveCfg = Release|x64 EndGlobalSection GlobalSection(SolutionProperties) = preSolution HideSolutionNode = FALSE