Skip to content

Instantly share code, notes, and snippets.

@choco-bot

choco-bot/FilesSnapshot.xml

Created March 7, 2024 23:49
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save choco-bot/09202d46d31a17a21b675c3e6263fc24 to your computer and use it in GitHub Desktop.
Save choco-bot/09202d46d31a17a21b675c3e6263fc24 to your computer and use it in GitHub Desktop.
Download ZIP
z3 v4.13.0 - Passed - Package Tests Results
Raw
_Summary.md

z3 v4.13.0 - Passed - Package Test Results

  • https://community.chocolatey.org/packages/z3/4.13.0
  • Tested 07 Mar 2024 23:49:34 +00:00
  • Tested against win2012r2x64 (Windows Server 2012 R2 x64)
  • Tested with the latest version of choco, possibly a beta version.
  • Tested with chocolatey-package-verifier service v1.0.1
  • Install was successful.
  • Uninstall was successful.
Raw
FilesSnapshot.xml
<?xml version="1.0" encoding="utf-8"?>
<fileSnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<files>
<file path="C:\ProgramData\chocolatey\lib\z3\z3-4.13.0-x64-win.zip.txt" checksum="7A4DD25B6D863E921A954F4897E35C83" />
<file path="C:\ProgramData\chocolatey\lib\z3\z3.nupkg" checksum="75606BB90F107C6B922AFCB7210A00CA" />
<file path="C:\ProgramData\chocolatey\lib\z3\z3.nuspec" checksum="2C3C9C0CC420C143E5CCB7075B2BF47C" />
<file path="C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt" checksum="5F03AD1486A2E4CE71200CE0F9721557" />
<file path="C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt" checksum="A9A6A33F34ED829665381F4916D03C43" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1" checksum="924A481F668E90C8B1EAC7224E8CA6BD" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt" checksum="C4C1DA8ADA62596848A6E38B6BAA8CD4" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar" checksum="BE6B387FF8632BCDF5F5EAEC4BCA4A9B" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll" checksum="93B2EB3750030D0FB87B8BDDA513FA07" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib" checksum="42337D330EB38CF9059E7C1B75BE76C7" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb" checksum="5482D92E05E4F57643734496A463F1A4" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll" checksum="1EC4421BE8D5189C7DF3C5E20C7E72D2" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib" checksum="D319C96106DBE6D56E3D751D34C50E3C" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json" checksum="DD9BCCDDEFF8B7D302B1797BBF13A4E0" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll" checksum="F2C7ECC41DB7B318B74B73255CC28755" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb" checksum="18E8AAC01BB42BA78973600056D0BCFE" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml" checksum="FFAB4950985F7AF81661F150BA6FBB00" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll" checksum="C3D497B0AFEF4BD7E09C7559E1C75B05" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll" checksum="7B0A25EEE764D8747F02CB3ED980F07A" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll" checksum="AA0148E20D34C10E01A4A9E1BAB1D058" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll" checksum="6722344B74084D0AF629283060716BAE" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll" checksum="165308EE66D0B8F11CA20F3BCD410EA9" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll" checksum="EF76327FF132A48F3BAC24598C99B373" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll" checksum="E9B690FBE5C4B96871214379659DD928" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll" checksum="EB49C1D33B41EB49DFED58AAFA9B9A8F" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll" checksum="5F533A0A43600153ECDE78ABAA7D614E" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe" checksum="DB5AAFA07D53B8AF783F4ECFAE2238E2" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py" checksum="29885F72DC972005BEB062CA03EA370D" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py" checksum="7622F267548E3552BBF8281FA6335084" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py" checksum="2AB8C818DAC49723A65A1C44F4554679" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py" checksum="EDC5DABA7A99B4E8EB4A20AC5AC7D031" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py" checksum="22C0A73170BDD0F91B76E6A160B9C937" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py" checksum="871B33516926538E32564673DBED0ECE" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py" checksum="B1F27F9A935C1E7575CAC20721C2359F" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py" checksum="D1BCA6D5D266F3A117D4C27034899B46" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py" checksum="5E7C688F0E667142D184D4217B5CFD6D" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py" checksum="4A505E5FA3A95A76D24629BD0B7CE94D" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py" checksum="6BB9C83973ECA222DE80539171BE2476" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc" checksum="6FFA17B35E6BA5120F3ECE3957BDF82E" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc" checksum="EF282F3F15808B224DDD3CAD86476704" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc" checksum="F1FA1BC240E2921C5141B6337D9D7B6B" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc" checksum="58A30085AC4468E6EBD8B9F51833538E" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc" checksum="D5D261DC244B14F912F15FAC19BD4E53" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc" checksum="8D21EE2B5C63978AA3E85D8983ED7E0E" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc" checksum="B891B2CF2B46AE93EA0189BA2CE8A644" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc" checksum="28D553E1641DAE34C471148D60A6F43A" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc" checksum="6D33A7EABA0D662F2B33B9612515644C" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc" checksum="819366104CC795188E16D2773B2C1BE5" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h" checksum="D1F95277FD6EF959256E0D748556A10D" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h" checksum="0602E2A11D0409DF0C3DF0D74DF9E9BB" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h" checksum="C8936A5692C777B83E3A7A8F14A3954B" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h" checksum="366DDA906230CA038E538DE78A205A43" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h" checksum="7BD14C7167A2B963CC8F816A465C129D" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h" checksum="541CD560A009030C0CA714F29D8F4F78" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h" checksum="B45F64AAFB4C930A00A04E110893198A" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h" checksum="FC52E663352B3480C330E33251668F3E" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h" checksum="17AA872A47E02AB6814F98754B97748A" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h" checksum="0FEB0C1B89A1CF44C8FFBF198D4E4326" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h" checksum="F60A9E5C257089988260C6BDF0F5A0A3" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h" checksum="B8125A332163A59D09751DECDE319F03" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h" checksum="4E173E65B2EE8814EFD03B704B3628F7" />
<file path="C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h" checksum="701D9B77718ADE3C595B109C632A6133" />
</files>
</fileSnapshot>
Raw
Install.txt
2024-03-07 23:48:00,873 3208 [DEBUG] - XmlConfiguration is now operational
2024-03-07 23:48:01,186 3208 [DEBUG] - Adding new type 'CygwinService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,200 3208 [DEBUG] - Adding new type 'CygwinService' for type 'IInstallSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,200 3208 [DEBUG] - Adding new type 'PythonService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,200 3208 [DEBUG] - Adding new type 'PythonService' for type 'IListSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,216 3208 [DEBUG] - Adding new type 'PythonService' for type 'IInstallSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,232 3208 [DEBUG] - Adding new type 'PythonService' for type 'IUninstallSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,232 3208 [DEBUG] - Adding new type 'RubyGemsService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,248 3208 [DEBUG] - Adding new type 'RubyGemsService' for type 'IListSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,248 3208 [DEBUG] - Adding new type 'RubyGemsService' for type 'IInstallSourceRunner' from assembly 'choco'
2024-03-07 23:48:01,264 3208 [DEBUG] - Adding new type 'SystemStateValidation' for type 'IValidation' from assembly 'choco'
2024-03-07 23:48:01,279 3208 [DEBUG] - Adding new type 'CacheFolderLockdownValidation' for type 'IValidation' from assembly 'choco'
2024-03-07 23:48:02,811 3208 [DEBUG] - Adding new type 'EmptyOrInvalidUrlMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,826 3208 [DEBUG] - Adding new type 'FrameWorkReferencesMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,826 3208 [DEBUG] - Adding new type 'IconMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,843 3208 [DEBUG] - Adding new type 'LicenseMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,857 3208 [DEBUG] - Adding new type 'PackageTypesMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,857 3208 [DEBUG] - Adding new type 'ReadmeMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,873 3208 [DEBUG] - Adding new type 'RepositoryMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,873 3208 [DEBUG] - Adding new type 'RequireLicenseAcceptanceMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,873 3208 [DEBUG] - Adding new type 'ServicableMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,889 3208 [DEBUG] - Adding new type 'VersionMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:48:02,921 3208 [DEBUG] - Registering new command 'cache' in assembly 'choco'
2024-03-07 23:48:02,936 3208 [DEBUG] - Registering new command 'list' in assembly 'choco'
2024-03-07 23:48:02,936 3208 [DEBUG] - Registering new command 'template' in assembly 'choco'
2024-03-07 23:48:02,950 3208 [DEBUG] - Registering new command 'export' in assembly 'choco'
2024-03-07 23:48:02,950 3208 [DEBUG] - Registering new command 'info' in assembly 'choco'
2024-03-07 23:48:02,950 3208 [DEBUG] - Registering new command 'help' in assembly 'choco'
2024-03-07 23:48:02,967 3208 [DEBUG] - Registering new command 'config' in assembly 'choco'
2024-03-07 23:48:02,967 3208 [DEBUG] - Registering new command 'feature' in assembly 'choco'
2024-03-07 23:48:02,983 3208 [DEBUG] - Registering new command 'new' in assembly 'choco'
2024-03-07 23:48:02,983 3208 [DEBUG] - Registering new command 'outdated' in assembly 'choco'
2024-03-07 23:48:02,998 3208 [DEBUG] - Registering new command 'pack' in assembly 'choco'
2024-03-07 23:48:02,998 3208 [DEBUG] - Registering new command 'pin' in assembly 'choco'
2024-03-07 23:48:02,998 3208 [DEBUG] - Registering new command 'push' in assembly 'choco'
2024-03-07 23:48:03,013 3208 [DEBUG] - Registering new command 'apikey' in assembly 'choco'
2024-03-07 23:48:03,013 3208 [DEBUG] - Registering new command 'source' in assembly 'choco'
2024-03-07 23:48:03,029 3208 [DEBUG] - Registering new command 'uninstall' in assembly 'choco'
2024-03-07 23:48:03,029 3208 [DEBUG] - Registering new command 'upgrade' in assembly 'choco'
2024-03-07 23:48:03,046 3208 [DEBUG] - Registering new command 'search' in assembly 'choco'
2024-03-07 23:48:03,046 3208 [DEBUG] - Registering new command 'unpackself' in assembly 'choco'
2024-03-07 23:48:03,060 3208 [DEBUG] - Registering new command 'install' in assembly 'choco'
2024-03-07 23:48:03,436 3208 [INFO ] - ============================================================
2024-03-07 23:48:04,263 3208 [INFO ] - Chocolatey v2.2.2
2024-03-07 23:48:04,310 3208 [DEBUG] - Chocolatey is running on Windows v 10.0.17763.0
2024-03-07 23:48:04,326 3208 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
2024-03-07 23:48:04,343 3208 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
2024-03-07 23:48:04,373 3208 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" install z3 --version 4.13.0 -fdvy --execution-timeout=2700 --allow-downgrade
2024-03-07 23:48:04,389 3208 [DEBUG] - Received arguments: install z3 --version 4.13.0 -fdvy --execution-timeout=2700 --allow-downgrade
2024-03-07 23:48:04,842 3208 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
2024-03-07 23:48:05,014 3208 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers...
2024-03-07 23:48:05,061 3208 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed...
2024-03-07 23:48:05,579 3208 [DEBUG] - Performing validation checks.
2024-03-07 23:48:05,608 3208 [DEBUG] - Global Configuration Validation Checks:
2024-03-07 23:48:05,624 3208 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked
2024-03-07 23:48:05,639 3208 [DEBUG] - System State Validation Checks:
2024-03-07 23:48:05,654 3208 [DEBUG] - Reboot Requirement Checks:
2024-03-07 23:48:05,670 3208 [DEBUG] - - Pending Computer Rename = Checked
2024-03-07 23:48:05,701 3208 [DEBUG] - - Pending Component Based Servicing = Checked
2024-03-07 23:48:05,701 3208 [DEBUG] - - Pending Windows Auto Update = Checked
2024-03-07 23:48:05,717 3208 [DEBUG] - - Pending File Rename Operations = Ignored
2024-03-07 23:48:05,734 3208 [DEBUG] - - Pending Windows Package Installer = Checked
2024-03-07 23:48:05,751 3208 [DEBUG] - - Pending Windows Package Installer SysWow64 = Checked
2024-03-07 23:48:05,781 3208 [DEBUG] - Cache Folder Lockdown Checks:
2024-03-07 23:48:05,796 3208 [DEBUG] - - Elevated State = Checked
2024-03-07 23:48:05,811 3208 [DEBUG] - - Folder Exists = Checked
2024-03-07 23:48:05,842 3208 [DEBUG] - - Folder lockdown = Checked
2024-03-07 23:48:05,888 3208 [INFO ] - 3 validations performed. 3 success(es), 0 warning(s), and 0 error(s).
2024-03-07 23:48:06,029 3208 [DEBUG] - The source 'c:\cached-packages;https://community.chocolatey.org/api/v2/' evaluated to a 'normal' source type
2024-03-07 23:48:06,029 3208 [DEBUG] -
NOTE: Hiding sensitive configuration data! Please double and triple
check to be sure no sensitive data is shown, especially if copying
output to a gist for review.
2024-03-07 23:48:06,217 3208 [DEBUG] - Configuration: CommandName='install'|
CacheLocation='C:\Users\vagrant\AppData\Local\Temp\chocolatey'|
CommandExecutionTimeoutSeconds='2700'|WebRequestTimeoutSeconds='30'|
Sources='c:\cached-packages;https://community.chocolatey.org/api/v2/'|
SourceType='normal'|ShowOnlineHelp='False'|Debug='True'|Verbose='True'|
Trace='False'|Force='True'|Noop='False'|HelpRequested='False'|
UnsuccessfulParsing='False'|RegularOutput='True'|QuietOutput='False'|
PromptForConfirmation='False'|DisableCompatibilityChecks='False'|
AcceptLicense='True'|AllowUnofficialBuild='False'|Input='z3'|
Version='4.13.0'|AllVersions='False'|
SkipPackageInstallProvider='False'|
SkipHookScripts='False'|PackageNames='z3'|Prerelease='False'|
ForceX86='False'|OverrideArguments='False'|NotSilent='False'|
ApplyPackageParametersToDependencies='False'|
ApplyInstallArgumentsToDependencies='False'|IgnoreDependencies='False'|
CacheExpirationInMinutes='30'|AllowDowngrade='True'|
ForceDependencies='False'|PinPackage='False'|
Information.PlatformType='Windows'|
Information.PlatformVersion='10.0.17763.0'|
Information.PlatformName='Windows Server 2016'|
Information.ChocolateyVersion='2.2.2.0'|
Information.ChocolateyProductVersion='2.2.2'|
Information.FullName='choco, Version=2.2.2.0, Culture=neutral, PublicKeyToken=79d02ea9cad655eb'|
Information.Is64BitOperatingSystem='True'|
Information.Is64BitProcess='True'|Information.IsInteractive='False'|
Information.UserName='vagrant'|
Information.UserDomainName='WIN-GKGS6CSH4V3'|
Information.IsUserAdministrator='True'|
Information.IsUserSystemAccount='False'|
Information.IsUserRemoteDesktop='False'|
Information.IsUserRemote='True'|
Information.IsProcessElevated='True'|
Information.IsLicensedVersion='False'|
Information.IsLicensedAssemblyLoaded='False'|
Information.LicenseType='Foss'|
Information.CurrentDirectory='C:\Users\vagrant'|
Features.AutoUninstaller='True'|Features.ChecksumFiles='True'|
Features.AllowEmptyChecksums='False'|
Features.AllowEmptyChecksumsSecure='True'|
Features.FailOnAutoUninstaller='False'|
Features.FailOnStandardError='False'|Features.UsePowerShellHost='True'|
Features.LogEnvironmentValues='True'|Features.LogWithoutColor='False'|
Features.VirusCheck='False'|
Features.FailOnInvalidOrMissingLicense='False'|
Features.IgnoreInvalidOptionsSwitches='True'|
Features.UsePackageExitCodes='True'|
Features.UseEnhancedExitCodes='False'|
Features.UseFipsCompliantChecksums='False'|
Features.ShowNonElevatedWarnings='True'|
Features.ShowDownloadProgress='False'|
Features.StopOnFirstPackageFailure='False'|
Features.UseRememberedArgumentsForUpgrades='False'|
Features.IgnoreUnfoundPackagesOnUpgradeOutdated='False'|
Features.SkipPackageUpgradesWhenNotInstalled='False'|
Features.RemovePackageInformationOnUninstall='False'|
Features.ExitOnRebootDetected='False'|
Features.LogValidationResultsOnWarnings='True'|
Features.UsePackageRepositoryOptimizations='True'|
ListCommand.LocalOnly='False'|ListCommand.IdOnly='False'|
ListCommand.IncludeRegistryPrograms='False'|ListCommand.PageSize='25'|
ListCommand.Exact='False'|ListCommand.ByIdOnly='False'|
ListCommand.ByTagOnly='False'|ListCommand.IdStartsWith='False'|
ListCommand.OrderByPopularity='False'|ListCommand.ApprovedOnly='False'|
ListCommand.DownloadCacheAvailable='False'|
ListCommand.NotBroken='False'|
ListCommand.IncludeVersionOverrides='False'|
ListCommand.ExplicitPageSize='False'|
ListCommand.ExplicitSource='False'|
UpgradeCommand.FailOnUnfound='False'|
UpgradeCommand.FailOnNotInstalled='False'|
UpgradeCommand.NotifyOnlyAvailableUpgrades='False'|
UpgradeCommand.ExcludePrerelease='False'|
NewCommand.AutomaticPackage='False'|
NewCommand.UseOriginalTemplate='False'|SourceCommand.Command='unknown'|
SourceCommand.Priority='0'|SourceCommand.BypassProxy='False'|
SourceCommand.AllowSelfService='False'|
SourceCommand.VisibleToAdminsOnly='False'|
FeatureCommand.Command='unknown'|ConfigCommand.Command='Unknown'|
ApiKeyCommand.Command='Unknown'|PinCommand.Command='Unknown'|
OutdatedCommand.IgnorePinned='False'|
ExportCommand.IncludeVersionNumbers='False'|Proxy.BypassOnLocal='True'|
TemplateCommand.Command='unknown'|CacheCommand.Command='Unknown'|
CacheCommand.RemoveExpiredItemsOnly='False'|
2024-03-07 23:48:06,233 3208 [DEBUG] - _ Chocolatey:ChocolateyInstallCommand - Normal Run Mode _
2024-03-07 23:48:06,294 3208 [INFO ] - Installing the following packages:
2024-03-07 23:48:06,294 3208 [INFO ] - z3
2024-03-07 23:48:06,310 3208 [INFO ] - By installing, you accept licenses for the packages.
2024-03-07 23:48:06,357 3208 [DEBUG] - Current environment values (may contain sensitive data):
2024-03-07 23:48:06,373 3208 [DEBUG] - * 'Path'='C:\Users\vagrant\AppData\Local\Microsoft\WindowsApps;' ('User')
2024-03-07 23:48:06,389 3208 [DEBUG] - * 'TEMP'='C:\Users\vagrant\AppData\Local\Temp' ('User')
2024-03-07 23:48:06,389 3208 [DEBUG] - * 'TMP'='C:\Users\vagrant\AppData\Local\Temp' ('User')
2024-03-07 23:48:06,404 3208 [DEBUG] - * 'ChocolateyLastPathUpdate'='133542877652159716' ('User')
2024-03-07 23:48:06,404 3208 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine')
2024-03-07 23:48:06,421 3208 [DEBUG] - * 'DriverData'='C:\Windows\System32\Drivers\DriverData' ('Machine')
2024-03-07 23:48:06,421 3208 [DEBUG] - * 'OS'='Windows_NT' ('Machine')
2024-03-07 23:48:06,435 3208 [DEBUG] - * 'Path'='C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Windows\System32\OpenSSH\;C:\ProgramData\chocolatey\bin;' ('Machine')
2024-03-07 23:48:06,435 3208 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine')
2024-03-07 23:48:06,451 3208 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine')
2024-03-07 23:48:06,467 3208 [DEBUG] - * 'PSModulePath'='C:\Program Files\WindowsPowerShell\Modules;C:\Windows\system32\WindowsPowerShell\v1.0\Modules' ('Machine')
2024-03-07 23:48:06,467 3208 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine')
2024-03-07 23:48:06,482 3208 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine')
2024-03-07 23:48:06,482 3208 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine')
2024-03-07 23:48:06,498 3208 [DEBUG] - * 'windir'='C:\Windows' ('Machine')
2024-03-07 23:48:06,498 3208 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='10' ('Machine')
2024-03-07 23:48:06,514 3208 [DEBUG] - * 'PROCESSOR_LEVEL'='6' ('Machine')
2024-03-07 23:48:06,529 3208 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='Intel64 Family 6 Model 85 Stepping 7, GenuineIntel' ('Machine')
2024-03-07 23:48:06,546 3208 [DEBUG] - * 'PROCESSOR_REVISION'='5507' ('Machine')
2024-03-07 23:48:06,546 3208 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine')
2024-03-07 23:48:07,640 3208 [DEBUG] - Running list with the following filter = ''
2024-03-07 23:48:07,640 3208 [DEBUG] - --- Start of List ---
2024-03-07 23:48:07,701 3208 [DEBUG] - Resolving resource PackageSearchResource for source C:\ProgramData\chocolatey\lib
2024-03-07 23:48:08,312 3208 [DEBUG] - chocolatey 2.2.2
2024-03-07 23:48:08,343 3208 [DEBUG] - chocolatey-windowsupdate.extension 1.0.5
2024-03-07 23:48:08,343 3208 [DEBUG] - KB2919355 1.0.20160915
2024-03-07 23:48:08,357 3208 [DEBUG] - KB2919442 1.0.20160915
2024-03-07 23:48:08,374 3208 [DEBUG] - KB2999226 1.0.20181019
2024-03-07 23:48:08,388 3208 [DEBUG] - KB3035131 1.0.3
2024-03-07 23:48:08,482 3208 [DEBUG] - KB3118401 1.0.5
2024-03-07 23:48:08,498 3208 [DEBUG] - virtualbox-guest-additions-guest.install 7.0.14
2024-03-07 23:48:08,498 3208 [DEBUG] - --- End of List ---
2024-03-07 23:48:08,530 3208 [DEBUG] - Resolving resource PackageMetadataResource for source c:\cached-packages
2024-03-07 23:48:09,280 3208 [DEBUG] - Resolving resource PackageMetadataResource for source https://community.chocolatey.org/api/v2/
2024-03-07 23:48:10,373 3208 [INFO ] - [NuGet] GET https://community.chocolatey.org/api/v2/Packages(Id='z3',Version='4.13.0')
2024-03-07 23:48:10,607 3208 [INFO ] - [NuGet] OK https://community.chocolatey.org/api/v2/Packages(Id='z3',Version='4.13.0') 215ms
2024-03-07 23:48:10,811 3208 [DEBUG] - Resolving resource DependencyInfoResource for source c:\cached-packages
2024-03-07 23:48:11,936 3208 [DEBUG] - Resolving resource DependencyInfoResource for source https://community.chocolatey.org/api/v2/
2024-03-07 23:48:11,951 3208 [INFO ] - [NuGet] CACHE https://community.chocolatey.org/api/v2/Packages(Id='z3',Version='4.13.0')
2024-03-07 23:48:12,264 3208 [INFO ] - [NuGet] Resolving dependency information took 0 ms
2024-03-07 23:48:12,326 3208 [DEBUG] - Resolving resource DownloadResource for source https://community.chocolatey.org/api/v2/
2024-03-07 23:48:12,404 3208 [DEBUG] - Attempting to delete file "".
2024-03-07 23:48:12,546 3208 [INFO ] - [NuGet] GET https://community.chocolatey.org/api/v2/package/z3/4.13.0
2024-03-07 23:48:13,201 3208 [INFO ] - [NuGet] OK https://community.chocolatey.org/api/v2/package/z3/4.13.0 643ms
2024-03-07 23:48:13,267 3208 [INFO ] - [NuGet] Acquiring lock for the installation of z3 4.13.0
2024-03-07 23:48:13,357 3208 [INFO ] - [NuGet] Acquired lock for the installation of z3 4.13.0
2024-03-07 23:48:40,825 3208 [INFO ] - [NuGet] Installed z3 4.13.0 from https://community.chocolatey.org/api/v2/ with content hash 1Mfy4h5IkNi3d0zBxvkPtpAAbb0Wc7MerrZl56Wa/nPtbLA+/R8IdH4czKQRNFa1TrXICg+saMi/RcElTPgA3w==.
2024-03-07 23:48:40,922 3208 [INFO ] - [NuGet] Adding package 'z3.4.13.0' to folder 'C:\ProgramData\chocolatey\lib'
2024-03-07 23:48:41,811 3208 [INFO ] - [NuGet] Added package 'z3.4.13.0' to folder 'C:\ProgramData\chocolatey\lib'
2024-03-07 23:48:41,841 3208 [DEBUG] - Attempting to delete file "C:\Users\vagrant\AppData\Local\Temp\chocolatey\ChocolateyScratch\z3/4.13.0\z3.4.13.0.nupkg".
2024-03-07 23:48:41,874 3208 [DEBUG] - Attempting to delete file "C:\Users\vagrant\AppData\Local\Temp\chocolatey\ChocolateyScratch\z3/4.13.0\.nupkg.metadata".
2024-03-07 23:48:41,888 3208 [DEBUG] - Attempting to delete file "C:\Users\vagrant\AppData\Local\Temp\chocolatey\ChocolateyScratch\z3/4.13.0\z3.4.13.0.nupkg.sha512".
2024-03-07 23:48:41,904 3208 [INFO ] -
z3 v4.13.0 (forced)
2024-03-07 23:48:42,388 3208 [INFO ] - z3 package files install completed. Performing other installation steps.
2024-03-07 23:48:42,593 3208 [DEBUG] - Setting installer args for z3
2024-03-07 23:48:42,607 3208 [DEBUG] - Setting package parameters for z3
2024-03-07 23:48:42,622 3208 [DEBUG] - Contents of 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1':
2024-03-07 23:48:42,671 3208 [DEBUG] - $ErrorActionPreference = 'Stop'
$toolsDir = Split-Path -parent $MyInvocation.MyCommand.Definition
$packageArgs = @{
packageName = $env:ChocolateyPackageName
fileFullPath = Join-Path $toolsDir 'z3-4.13.0-x86-win.zip'
fileFullPath64 = Join-Path $toolsDir 'z3-4.13.0-x64-win.zip'
destination = $toolsDir
validExitCodes = @(0)
}
Get-ChocolateyUnzip @packageArgs
Remove-Item `
-Path "$toolsDir\bin" `
-Recurse -Force `
-ErrorAction SilentlyContinue
Get-ChildItem "$toolsDir\z3-*-win" | % { Rename-Item -Path $_ -NewName 'bin' -Force }
Remove-Item `
-Path $packageArgs['fileFullPath'], $packageArgs['fileFullPath64'] `
-ErrorAction SilentlyContinue `
-Force
2024-03-07 23:48:42,718 3208 [DEBUG] - Calling built-in PowerShell host with ['[System.Threading.Thread]::CurrentThread.CurrentCulture = '';[System.Threading.Thread]::CurrentThread.CurrentUICulture = '';[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.SecurityProtocolType]::SystemDefault; & import-module -name 'C:\ProgramData\chocolatey\helpers\chocolateyInstaller.psm1'; & 'C:\ProgramData\chocolatey\helpers\chocolateyScriptRunner.ps1' -packageScript 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1' -installArguments '' -packageParameters '' -preRunHookScripts $null -postRunHookScripts $null']
2024-03-07 23:48:42,732 3208 [DEBUG] - Redirecting System.Management.Automation.resources, Version=3.0.0.0, Culture=en-US, PublicKeyToken=31bf3856ad364e35, requested by ''
2024-03-07 23:48:43,966 3208 [DEBUG] - Host version is 5.1.17763.1, PowerShell Version is '5.1.17763.3770' and CLR Version is '4.0.30319.42000'.
2024-03-07 23:48:44,966 3208 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2024-03-07 23:48:44,982 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2024-03-07 23:48:44,982 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyConfigValue'.
2024-03-07 23:48:44,998 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyPath'.
2024-03-07 23:48:45,014 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2024-03-07 23:48:45,029 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2024-03-07 23:48:45,046 3208 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2024-03-07 23:48:45,046 3208 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2024-03-07 23:48:45,061 3208 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2024-03-07 23:48:45,061 3208 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2024-03-07 23:48:45,076 3208 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2024-03-07 23:48:45,076 3208 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2024-03-07 23:48:45,092 3208 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2024-03-07 23:48:45,106 3208 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2024-03-07 23:48:45,123 3208 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2024-03-07 23:48:45,123 3208 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2024-03-07 23:48:45,138 3208 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2024-03-07 23:48:45,138 3208 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2024-03-07 23:48:45,156 3208 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2024-03-07 23:48:45,169 3208 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2024-03-07 23:48:45,185 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2024-03-07 23:48:45,200 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2024-03-07 23:48:45,219 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2024-03-07 23:48:45,232 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2024-03-07 23:48:45,248 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2024-03-07 23:48:45,248 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2024-03-07 23:48:45,265 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2024-03-07 23:48:45,281 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2024-03-07 23:48:45,281 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2024-03-07 23:48:45,294 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2024-03-07 23:48:45,294 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2024-03-07 23:48:45,311 3208 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2024-03-07 23:48:45,325 3208 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2024-03-07 23:48:45,325 3208 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2024-03-07 23:48:45,341 3208 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2024-03-07 23:48:45,357 3208 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2024-03-07 23:48:45,357 3208 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2024-03-07 23:48:45,372 3208 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2024-03-07 23:48:45,372 3208 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2024-03-07 23:48:45,387 3208 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2024-03-07 23:48:45,387 3208 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2024-03-07 23:48:45,404 3208 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2024-03-07 23:48:45,404 3208 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2024-03-07 23:48:45,420 3208 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2024-03-07 23:48:45,420 3208 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2024-03-07 23:48:45,435 3208 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2024-03-07 23:48:45,452 3208 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2024-03-07 23:48:45,452 3208 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2024-03-07 23:48:45,466 3208 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2024-03-07 23:48:45,466 3208 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2024-03-07 23:48:45,482 3208 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2024-03-07 23:48:45,529 3208 [DEBUG] - Loading community extensions
2024-03-07 23:48:45,607 3208 [DEBUG] - Importing 'C:\ProgramData\chocolatey\extensions\chocolatey-windowsupdate\chocolatey-windowsupdate.psm1'
2024-03-07 23:48:45,623 3208 [INFO ] - VERBOSE: Loading module from path 'C:\ProgramData\chocolatey\extensions\chocolatey-windowsupdate\chocolatey-windowsupdate.psm1'.
2024-03-07 23:48:46,014 3208 [INFO ] - VERBOSE: Exporting function 'Install-WindowsUpdate'.
2024-03-07 23:48:46,029 3208 [INFO ] - VERBOSE: Exporting function 'Test-WindowsUpdate'.
2024-03-07 23:48:46,045 3208 [INFO ] - VERBOSE: Importing function 'Install-WindowsUpdate'.
2024-03-07 23:48:46,060 3208 [INFO ] - VERBOSE: Importing function 'Test-WindowsUpdate'.
2024-03-07 23:48:46,060 3208 [INFO ] - VERBOSE: Exporting function 'Format-FileSize'.
2024-03-07 23:48:46,075 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChecksumValid'.
2024-03-07 23:48:46,075 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyConfigValue'.
2024-03-07 23:48:46,091 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyPath'.
2024-03-07 23:48:46,091 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyUnzip'.
2024-03-07 23:48:46,108 3208 [INFO ] - VERBOSE: Exporting function 'Get-ChocolateyWebFile'.
2024-03-07 23:48:46,108 3208 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariable'.
2024-03-07 23:48:46,122 3208 [INFO ] - VERBOSE: Exporting function 'Get-EnvironmentVariableNames'.
2024-03-07 23:48:46,140 3208 [INFO ] - VERBOSE: Exporting function 'Get-FtpFile'.
2024-03-07 23:48:46,140 3208 [INFO ] - VERBOSE: Exporting function 'Get-OSArchitectureWidth'.
2024-03-07 23:48:46,153 3208 [INFO ] - VERBOSE: Exporting function 'Get-PackageParameters'.
2024-03-07 23:48:46,153 3208 [INFO ] - VERBOSE: Exporting function 'Get-PackageParametersBuiltIn'.
2024-03-07 23:48:46,169 3208 [INFO ] - VERBOSE: Exporting function 'Get-ToolsLocation'.
2024-03-07 23:48:46,169 3208 [INFO ] - VERBOSE: Exporting function 'Get-UACEnabled'.
2024-03-07 23:48:46,186 3208 [INFO ] - VERBOSE: Exporting function 'Get-UninstallRegistryKey'.
2024-03-07 23:48:46,186 3208 [INFO ] - VERBOSE: Exporting function 'Get-VirusCheckValid'.
2024-03-07 23:48:46,200 3208 [INFO ] - VERBOSE: Exporting function 'Get-WebFile'.
2024-03-07 23:48:46,200 3208 [INFO ] - VERBOSE: Exporting function 'Get-WebFileName'.
2024-03-07 23:48:46,216 3208 [INFO ] - VERBOSE: Exporting function 'Get-WebHeaders'.
2024-03-07 23:48:46,216 3208 [INFO ] - VERBOSE: Exporting function 'Install-BinFile'.
2024-03-07 23:48:46,232 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyEnvironmentVariable'.
2024-03-07 23:48:46,247 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyExplorerMenuItem'.
2024-03-07 23:48:46,264 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyFileAssociation'.
2024-03-07 23:48:46,280 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyInstallPackage'.
2024-03-07 23:48:46,295 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPackage'.
2024-03-07 23:48:46,295 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPath'.
2024-03-07 23:48:46,311 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPinnedTaskBarItem'.
2024-03-07 23:48:46,326 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyPowershellCommand'.
2024-03-07 23:48:46,341 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyShortcut'.
2024-03-07 23:48:46,341 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyVsixPackage'.
2024-03-07 23:48:46,357 3208 [INFO ] - VERBOSE: Exporting function 'Install-ChocolateyZipPackage'.
2024-03-07 23:48:46,357 3208 [INFO ] - VERBOSE: Exporting function 'Install-Vsix'.
2024-03-07 23:48:46,372 3208 [INFO ] - VERBOSE: Exporting function 'Set-EnvironmentVariable'.
2024-03-07 23:48:46,372 3208 [INFO ] - VERBOSE: Exporting function 'Set-PowerShellExitCode'.
2024-03-07 23:48:46,388 3208 [INFO ] - VERBOSE: Exporting function 'Start-ChocolateyProcessAsAdmin'.
2024-03-07 23:48:46,388 3208 [INFO ] - VERBOSE: Exporting function 'Test-ProcessAdminRights'.
2024-03-07 23:48:46,403 3208 [INFO ] - VERBOSE: Exporting function 'Uninstall-BinFile'.
2024-03-07 23:48:46,403 3208 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyEnvironmentVariable'.
2024-03-07 23:48:46,419 3208 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyPackage'.
2024-03-07 23:48:46,419 3208 [INFO ] - VERBOSE: Exporting function 'Uninstall-ChocolateyZipPackage'.
2024-03-07 23:48:46,436 3208 [INFO ] - VERBOSE: Exporting function 'Update-SessionEnvironment'.
2024-03-07 23:48:46,436 3208 [INFO ] - VERBOSE: Exporting function 'Write-FunctionCallLogMessage'.
2024-03-07 23:48:46,451 3208 [INFO ] - VERBOSE: Exporting function 'Install-WindowsUpdate'.
2024-03-07 23:48:46,451 3208 [INFO ] - VERBOSE: Exporting function 'Test-WindowsUpdate'.
2024-03-07 23:48:46,466 3208 [INFO ] - VERBOSE: Exporting alias 'Get-ProcessorBits'.
2024-03-07 23:48:46,466 3208 [INFO ] - VERBOSE: Exporting alias 'Get-OSBitness'.
2024-03-07 23:48:46,482 3208 [INFO ] - VERBOSE: Exporting alias 'Get-InstallRegistryKey'.
2024-03-07 23:48:46,482 3208 [INFO ] - VERBOSE: Exporting alias 'Generate-BinFile'.
2024-03-07 23:48:46,497 3208 [INFO ] - VERBOSE: Exporting alias 'Add-BinFile'.
2024-03-07 23:48:46,513 3208 [INFO ] - VERBOSE: Exporting alias 'Start-ChocolateyProcess'.
2024-03-07 23:48:46,513 3208 [INFO ] - VERBOSE: Exporting alias 'Invoke-ChocolateyProcess'.
2024-03-07 23:48:46,529 3208 [INFO ] - VERBOSE: Exporting alias 'Remove-BinFile'.
2024-03-07 23:48:46,545 3208 [INFO ] - VERBOSE: Exporting alias 'refreshenv'.
2024-03-07 23:48:46,560 3208 [INFO ] - VERBOSE: Importing function 'Format-FileSize'.
2024-03-07 23:48:46,560 3208 [INFO ] - VERBOSE: Importing function 'Get-ChecksumValid'.
2024-03-07 23:48:46,560 3208 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyConfigValue'.
2024-03-07 23:48:46,577 3208 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyPath'.
2024-03-07 23:48:46,592 3208 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyUnzip'.
2024-03-07 23:48:46,592 3208 [INFO ] - VERBOSE: Importing function 'Get-ChocolateyWebFile'.
2024-03-07 23:48:46,607 3208 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariable'.
2024-03-07 23:48:46,607 3208 [INFO ] - VERBOSE: Importing function 'Get-EnvironmentVariableNames'.
2024-03-07 23:48:46,623 3208 [INFO ] - VERBOSE: Importing function 'Get-FtpFile'.
2024-03-07 23:48:46,638 3208 [INFO ] - VERBOSE: Importing function 'Get-OSArchitectureWidth'.
2024-03-07 23:48:46,654 3208 [INFO ] - VERBOSE: Importing function 'Get-PackageParameters'.
2024-03-07 23:48:46,654 3208 [INFO ] - VERBOSE: Importing function 'Get-PackageParametersBuiltIn'.
2024-03-07 23:48:46,669 3208 [INFO ] - VERBOSE: Importing function 'Get-ToolsLocation'.
2024-03-07 23:48:46,669 3208 [INFO ] - VERBOSE: Importing function 'Get-UACEnabled'.
2024-03-07 23:48:46,685 3208 [INFO ] - VERBOSE: Importing function 'Get-UninstallRegistryKey'.
2024-03-07 23:48:46,701 3208 [INFO ] - VERBOSE: Importing function 'Get-VirusCheckValid'.
2024-03-07 23:48:46,701 3208 [INFO ] - VERBOSE: Importing function 'Get-WebFile'.
2024-03-07 23:48:46,717 3208 [INFO ] - VERBOSE: Importing function 'Get-WebFileName'.
2024-03-07 23:48:46,717 3208 [INFO ] - VERBOSE: Importing function 'Get-WebHeaders'.
2024-03-07 23:48:46,733 3208 [INFO ] - VERBOSE: Importing function 'Install-BinFile'.
2024-03-07 23:48:46,733 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyEnvironmentVariable'.
2024-03-07 23:48:46,751 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyExplorerMenuItem'.
2024-03-07 23:48:46,751 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyFileAssociation'.
2024-03-07 23:48:46,763 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyInstallPackage'.
2024-03-07 23:48:46,763 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPackage'.
2024-03-07 23:48:46,778 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPath'.
2024-03-07 23:48:46,778 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPinnedTaskBarItem'.
2024-03-07 23:48:46,811 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyPowershellCommand'.
2024-03-07 23:48:46,811 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyShortcut'.
2024-03-07 23:48:46,831 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyVsixPackage'.
2024-03-07 23:48:46,842 3208 [INFO ] - VERBOSE: Importing function 'Install-ChocolateyZipPackage'.
2024-03-07 23:48:46,842 3208 [INFO ] - VERBOSE: Importing function 'Install-Vsix'.
2024-03-07 23:48:46,857 3208 [INFO ] - VERBOSE: Importing function 'Install-WindowsUpdate'.
2024-03-07 23:48:46,857 3208 [INFO ] - VERBOSE: Importing function 'Set-EnvironmentVariable'.
2024-03-07 23:48:46,872 3208 [INFO ] - VERBOSE: Importing function 'Set-PowerShellExitCode'.
2024-03-07 23:48:46,888 3208 [INFO ] - VERBOSE: Importing function 'Start-ChocolateyProcessAsAdmin'.
2024-03-07 23:48:46,888 3208 [INFO ] - VERBOSE: Importing function 'Test-ProcessAdminRights'.
2024-03-07 23:48:46,904 3208 [INFO ] - VERBOSE: Importing function 'Test-WindowsUpdate'.
2024-03-07 23:48:46,904 3208 [INFO ] - VERBOSE: Importing function 'Uninstall-BinFile'.
2024-03-07 23:48:46,920 3208 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyEnvironmentVariable'.
2024-03-07 23:48:46,920 3208 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyPackage'.
2024-03-07 23:48:46,935 3208 [INFO ] - VERBOSE: Importing function 'Uninstall-ChocolateyZipPackage'.
2024-03-07 23:48:46,935 3208 [INFO ] - VERBOSE: Importing function 'Update-SessionEnvironment'.
2024-03-07 23:48:46,951 3208 [INFO ] - VERBOSE: Importing function 'Write-FunctionCallLogMessage'.
2024-03-07 23:48:46,968 3208 [INFO ] - VERBOSE: Importing alias 'Add-BinFile'.
2024-03-07 23:48:46,982 3208 [INFO ] - VERBOSE: Importing alias 'Generate-BinFile'.
2024-03-07 23:48:46,982 3208 [INFO ] - VERBOSE: Importing alias 'Get-InstallRegistryKey'.
2024-03-07 23:48:46,998 3208 [INFO ] - VERBOSE: Importing alias 'Get-OSBitness'.
2024-03-07 23:48:47,013 3208 [INFO ] - VERBOSE: Importing alias 'Get-ProcessorBits'.
2024-03-07 23:48:47,013 3208 [INFO ] - VERBOSE: Importing alias 'Invoke-ChocolateyProcess'.
2024-03-07 23:48:47,029 3208 [INFO ] - VERBOSE: Importing alias 'refreshenv'.
2024-03-07 23:48:47,046 3208 [INFO ] - VERBOSE: Importing alias 'Remove-BinFile'.
2024-03-07 23:48:47,046 3208 [INFO ] - VERBOSE: Importing alias 'Start-ChocolateyProcess'.
2024-03-07 23:48:47,216 3208 [DEBUG] - ---------------------------Script Execution---------------------------
2024-03-07 23:48:47,296 3208 [DEBUG] - Running 'ChocolateyScriptRunner' for z3 v4.13.0 with packageScript 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1', packageFolder:'C:\ProgramData\chocolatey\lib\z3', installArguments: '', packageParameters: '', preRunHookScripts: '', postRunHookScripts: '',
2024-03-07 23:48:47,419 3208 [DEBUG] - Running package script 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1'
2024-03-07 23:48:47,842 3208 [DEBUG] - Running Get-ChocolateyUnzip -destination 'C:\ProgramData\chocolatey\lib\z3\tools' -fileFullPath64 'C:\ProgramData\chocolatey\lib\z3\tools\z3-4.13.0-x64-win.zip' -packageName 'z3' -fileFullPath 'C:\ProgramData\chocolatey\lib\z3\tools\z3-4.13.0-x86-win.zip'
2024-03-07 23:48:47,888 3208 [DEBUG] - Running Get-OSArchitectureWidth -compare '32'
2024-03-07 23:48:48,059 3208 [INFO ] - Extracting 64-bit C:\ProgramData\chocolatey\lib\z3\tools\z3-4.13.0-x64-win.zip to C:\ProgramData\chocolatey\lib\z3\tools...
2024-03-07 23:48:48,138 3208 [DEBUG] - 7zip found at 'C:\ProgramData\chocolatey\tools\7z.exe'
2024-03-07 23:48:48,279 3208 [DEBUG] - Executing command ['C:\ProgramData\chocolatey\tools\7z.exe' x -aoa -bd -bb1 -o"C:\ProgramData\chocolatey\lib\z3\tools" -y "C:\ProgramData\chocolatey\lib\z3\tools\z3-4.13.0-x64-win.zip"]
2024-03-07 23:48:51,544 3208 [INFO ] - VERBOSE: Scanning the drive for archives:
2024-03-07 23:48:51,575 3208 [INFO ] - VERBOSE: Extracting archive: C:\ProgramData\chocolatey\lib\z3\tools\z3-4.13.0-x64-win.zip
2024-03-07 23:48:51,591 3208 [INFO ] - VERBOSE: 1 file, 58174862 bytes (56 MiB)
2024-03-07 23:48:51,606 3208 [INFO ] - VERBOSE:
2024-03-07 23:48:51,606 3208 [INFO ] - VERBOSE: 7-Zip 23.01 (x86) : Copyright (c) 1999-2023 Igor Pavlov : 2023-06-20
2024-03-07 23:48:51,622 3208 [INFO ] - VERBOSE:
2024-03-07 23:48:51,622 3208 [INFO ] - VERBOSE:
2024-03-07 23:48:51,638 3208 [INFO ] - VERBOSE: --
2024-03-07 23:48:51,638 3208 [INFO ] - VERBOSE: Path = C:\ProgramData\chocolatey\lib\z3\tools\z3-4.13.0-x64-win.zip
2024-03-07 23:48:51,654 3208 [INFO ] - VERBOSE: Type = zip
2024-03-07 23:48:51,669 3208 [INFO ] - VERBOSE: Physical Size = 58174862
2024-03-07 23:48:51,669 3208 [INFO ] - VERBOSE:
2024-03-07 23:48:51,685 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\
2024-03-07 23:48:51,778 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\
2024-03-07 23:48:51,794 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\com.microsoft.z3.jar
2024-03-07 23:48:51,794 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\libz3.dll
2024-03-07 23:48:51,809 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\libz3.lib
2024-03-07 23:48:51,825 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\libz3.pdb
2024-03-07 23:48:51,825 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\libz3java.dll
2024-03-07 23:48:51,841 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\Microsoft.Z3.dll
2024-03-07 23:48:51,841 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\Microsoft.Z3.deps.json
2024-03-07 23:48:51,856 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\libz3java.lib
2024-03-07 23:48:51,873 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\Microsoft.Z3.pdb
2024-03-07 23:48:51,873 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\msvcp140.dll
2024-03-07 23:48:51,888 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\msvcp140_1.dll
2024-03-07 23:48:51,903 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\msvcp140_2.dll
2024-03-07 23:48:51,903 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\msvcp140_atomic_wait.dll
2024-03-07 23:48:51,919 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\msvcp140_codecvt_ids.dll
2024-03-07 23:48:51,919 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\
2024-03-07 23:48:51,935 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\example.py
2024-03-07 23:48:51,935 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\
2024-03-07 23:48:51,950 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3.py
2024-03-07 23:48:51,966 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3consts.py
2024-03-07 23:48:51,966 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\Microsoft.Z3.xml
2024-03-07 23:48:51,982 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3num.py
2024-03-07 23:48:51,982 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3rcf.py
2024-03-07 23:48:51,998 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3poly.py
2024-03-07 23:48:51,998 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3types.py
2024-03-07 23:48:52,012 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__init__.py
2024-03-07 23:48:52,012 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\
2024-03-07 23:48:52,029 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3.cpython-39.pyc
2024-03-07 23:48:52,029 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3consts.cpython-39.pyc
2024-03-07 23:48:52,044 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3core.cpython-39.pyc
2024-03-07 23:48:52,044 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3num.cpython-39.pyc
2024-03-07 23:48:52,060 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3poly.cpython-39.pyc
2024-03-07 23:48:52,060 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3printer.cpython-39.pyc
2024-03-07 23:48:52,075 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc
2024-03-07 23:48:52,075 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3types.cpython-39.pyc
2024-03-07 23:48:52,092 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\z3util.cpython-39.pyc
2024-03-07 23:48:52,106 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3util.py
2024-03-07 23:48:52,106 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3core.py
2024-03-07 23:48:52,122 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\__pycache__\__init__.cpython-39.pyc
2024-03-07 23:48:52,122 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\vcruntime140.dll
2024-03-07 23:48:52,141 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\vcomp140.dll
2024-03-07 23:48:52,156 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\vcruntime140_threads.dll
2024-03-07 23:48:52,169 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\
2024-03-07 23:48:52,169 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\z3.exe
2024-03-07 23:48:52,185 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3++.h
2024-03-07 23:48:52,185 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3.h
2024-03-07 23:48:52,200 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_algebraic.h
2024-03-07 23:48:52,200 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_api.h
2024-03-07 23:48:52,216 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_ast_containers.h
2024-03-07 23:48:52,216 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_fpa.h
2024-03-07 23:48:52,231 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_macros.h
2024-03-07 23:48:52,231 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_rcf.h
2024-03-07 23:48:52,248 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_optimization.h
2024-03-07 23:48:52,248 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_spacer.h
2024-03-07 23:48:52,263 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_v1.h
2024-03-07 23:48:52,263 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_polynomial.h
2024-03-07 23:48:52,279 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_version.h
2024-03-07 23:48:52,279 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\include\z3_fixedpoint.h
2024-03-07 23:48:52,294 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\LICENSE.txt
2024-03-07 23:48:52,310 3208 [INFO ] - VERBOSE:
2024-03-07 23:48:52,325 3208 [INFO ] - VERBOSE: Everything is Ok
2024-03-07 23:48:52,325 3208 [INFO ] - VERBOSE: Folders: 6
2024-03-07 23:48:52,341 3208 [INFO ] - VERBOSE: Files: 56
2024-03-07 23:48:52,357 3208 [INFO ] - VERBOSE: Size: 169165199
2024-03-07 23:48:52,357 3208 [INFO ] - VERBOSE: Compressed: 58174862
2024-03-07 23:48:52,372 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\vcruntime140_1.dll
2024-03-07 23:48:52,372 3208 [INFO ] - VERBOSE: - z3-4.13.0-x64-win\bin\python\z3\z3printer.py
2024-03-07 23:48:52,622 3208 [DEBUG] - $exitCode was passed null
2024-03-07 23:48:52,622 3208 [DEBUG] - Command ['C:\ProgramData\chocolatey\tools\7z.exe' x -aoa -bd -bb1 -o"C:\ProgramData\chocolatey\lib\z3\tools" -y "C:\ProgramData\chocolatey\lib\z3\tools\z3-4.13.0-x64-win.zip"] exited with '0'.
2024-03-07 23:48:52,715 3208 [DEBUG] - 7z exit code: 0
2024-03-07 23:48:52,747 3208 [INFO ] - C:\ProgramData\chocolatey\lib\z3\tools
2024-03-07 23:48:52,888 3208 [DEBUG] - ----------------------------------------------------------------------
2024-03-07 23:48:52,904 3208 [DEBUG] - Built-in PowerShell host called with ['[System.Threading.Thread]::CurrentThread.CurrentCulture = '';[System.Threading.Thread]::CurrentThread.CurrentUICulture = '';[System.Net.ServicePointManager]::SecurityProtocol = [System.Net.SecurityProtocolType]::SystemDefault; & import-module -name 'C:\ProgramData\chocolatey\helpers\chocolateyInstaller.psm1'; & 'C:\ProgramData\chocolatey\helpers\chocolateyScriptRunner.ps1' -packageScript 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1' -installArguments '' -packageParameters '' -preRunHookScripts $null -postRunHookScripts $null'] exited with '0'.
2024-03-07 23:48:52,934 3208 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a']
2024-03-07 23:48:53,092 3208 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116'
2024-03-07 23:48:53,670 3208 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\z3'
2024-03-07 23:48:53,701 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3-4.13.0-x64-win.zip.txt'
with checksum '7A4DD25B6D863E921A954F4897E35C83'
2024-03-07 23:48:54,153 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nupkg'
with checksum '75606BB90F107C6B922AFCB7210A00CA'
2024-03-07 23:48:54,169 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nuspec'
with checksum '2C3C9C0CC420C143E5CCB7075B2BF47C'
2024-03-07 23:48:54,187 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt'
with checksum '5F03AD1486A2E4CE71200CE0F9721557'
2024-03-07 23:48:54,187 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt'
with checksum 'A9A6A33F34ED829665381F4916D03C43'
2024-03-07 23:48:54,202 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1'
with checksum '924A481F668E90C8B1EAC7224E8CA6BD'
2024-03-07 23:48:54,218 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt'
with checksum 'C4C1DA8ADA62596848A6E38B6BAA8CD4'
2024-03-07 23:48:54,263 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar'
with checksum 'BE6B387FF8632BCDF5F5EAEC4BCA4A9B'
2024-03-07 23:48:54,404 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll'
with checksum '93B2EB3750030D0FB87B8BDDA513FA07'
2024-03-07 23:48:54,419 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib'
with checksum '42337D330EB38CF9059E7C1B75BE76C7'
2024-03-07 23:48:55,091 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb'
with checksum '5482D92E05E4F57643734496A463F1A4'
2024-03-07 23:48:55,107 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll'
with checksum '1EC4421BE8D5189C7DF3C5E20C7E72D2'
2024-03-07 23:48:55,122 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib'
with checksum 'D319C96106DBE6D56E3D751D34C50E3C'
2024-03-07 23:48:55,122 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json'
with checksum 'DD9BCCDDEFF8B7D302B1797BBF13A4E0'
2024-03-07 23:48:55,138 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll'
with checksum 'F2C7ECC41DB7B318B74B73255CC28755'
2024-03-07 23:48:55,169 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb'
with checksum '18E8AAC01BB42BA78973600056D0BCFE'
2024-03-07 23:48:55,169 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml'
with checksum 'FFAB4950985F7AF81661F150BA6FBB00'
2024-03-07 23:48:55,199 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll'
with checksum 'C3D497B0AFEF4BD7E09C7559E1C75B05'
2024-03-07 23:48:55,216 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll'
with checksum '7B0A25EEE764D8747F02CB3ED980F07A'
2024-03-07 23:48:55,234 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll'
with checksum 'AA0148E20D34C10E01A4A9E1BAB1D058'
2024-03-07 23:48:55,247 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll'
with checksum '6722344B74084D0AF629283060716BAE'
2024-03-07 23:48:55,263 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll'
with checksum '165308EE66D0B8F11CA20F3BCD410EA9'
2024-03-07 23:48:55,279 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll'
with checksum 'EF76327FF132A48F3BAC24598C99B373'
2024-03-07 23:48:55,295 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll'
with checksum 'E9B690FBE5C4B96871214379659DD928'
2024-03-07 23:48:55,309 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll'
with checksum 'EB49C1D33B41EB49DFED58AAFA9B9A8F'
2024-03-07 23:48:55,325 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll'
with checksum '5F533A0A43600153ECDE78ABAA7D614E'
2024-03-07 23:48:55,466 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe'
with checksum 'DB5AAFA07D53B8AF783F4ECFAE2238E2'
2024-03-07 23:48:55,482 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py'
with checksum '29885F72DC972005BEB062CA03EA370D'
2024-03-07 23:48:55,482 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py'
with checksum '7622F267548E3552BBF8281FA6335084'
2024-03-07 23:48:55,498 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py'
with checksum '2AB8C818DAC49723A65A1C44F4554679'
2024-03-07 23:48:55,512 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py'
with checksum 'EDC5DABA7A99B4E8EB4A20AC5AC7D031'
2024-03-07 23:48:55,528 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py'
with checksum '22C0A73170BDD0F91B76E6A160B9C937'
2024-03-07 23:48:55,528 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py'
with checksum '871B33516926538E32564673DBED0ECE'
2024-03-07 23:48:55,544 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py'
with checksum 'B1F27F9A935C1E7575CAC20721C2359F'
2024-03-07 23:48:55,559 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py'
with checksum 'D1BCA6D5D266F3A117D4C27034899B46'
2024-03-07 23:48:55,559 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py'
with checksum '5E7C688F0E667142D184D4217B5CFD6D'
2024-03-07 23:48:55,575 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py'
with checksum '4A505E5FA3A95A76D24629BD0B7CE94D'
2024-03-07 23:48:55,591 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py'
with checksum '6BB9C83973ECA222DE80539171BE2476'
2024-03-07 23:48:55,591 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc'
with checksum '6FFA17B35E6BA5120F3ECE3957BDF82E'
2024-03-07 23:48:55,607 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc'
with checksum 'EF282F3F15808B224DDD3CAD86476704'
2024-03-07 23:48:55,622 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc'
with checksum 'F1FA1BC240E2921C5141B6337D9D7B6B'
2024-03-07 23:48:55,638 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc'
with checksum '58A30085AC4468E6EBD8B9F51833538E'
2024-03-07 23:48:55,653 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc'
with checksum 'D5D261DC244B14F912F15FAC19BD4E53'
2024-03-07 23:48:55,653 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc'
with checksum '8D21EE2B5C63978AA3E85D8983ED7E0E'
2024-03-07 23:48:55,669 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc'
with checksum 'B891B2CF2B46AE93EA0189BA2CE8A644'
2024-03-07 23:48:55,684 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc'
with checksum '28D553E1641DAE34C471148D60A6F43A'
2024-03-07 23:48:55,684 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc'
with checksum '6D33A7EABA0D662F2B33B9612515644C'
2024-03-07 23:48:55,700 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc'
with checksum '819366104CC795188E16D2773B2C1BE5'
2024-03-07 23:48:55,716 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h'
with checksum 'D1F95277FD6EF959256E0D748556A10D'
2024-03-07 23:48:55,748 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h'
with checksum '0602E2A11D0409DF0C3DF0D74DF9E9BB'
2024-03-07 23:48:55,763 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h'
with checksum 'C8936A5692C777B83E3A7A8F14A3954B'
2024-03-07 23:48:55,763 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h'
with checksum '366DDA906230CA038E538DE78A205A43'
2024-03-07 23:48:55,779 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h'
with checksum '7BD14C7167A2B963CC8F816A465C129D'
2024-03-07 23:48:55,795 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h'
with checksum '541CD560A009030C0CA714F29D8F4F78'
2024-03-07 23:48:55,810 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h'
with checksum 'B45F64AAFB4C930A00A04E110893198A'
2024-03-07 23:48:55,810 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h'
with checksum 'FC52E663352B3480C330E33251668F3E'
2024-03-07 23:48:55,825 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h'
with checksum '17AA872A47E02AB6814F98754B97748A'
2024-03-07 23:48:55,841 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h'
with checksum '0FEB0C1B89A1CF44C8FFBF198D4E4326'
2024-03-07 23:48:55,859 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h'
with checksum 'F60A9E5C257089988260C6BDF0F5A0A3'
2024-03-07 23:48:55,859 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h'
with checksum 'B8125A332163A59D09751DECDE319F03'
2024-03-07 23:48:55,872 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h'
with checksum '4E173E65B2EE8814EFD03B704B3628F7'
2024-03-07 23:48:55,888 3208 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h'
with checksum '701D9B77718ADE3C595B109C632A6133'
2024-03-07 23:48:55,950 3208 [DEBUG] - Calling command ['"C:\ProgramData\chocolatey\tools\shimgen.exe" --path="..\\lib\z3\tools\bin\bin\z3.exe" --output="C:\ProgramData\chocolatey\bin\z3.exe" --iconpath="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe"']
2024-03-07 23:48:56,483 3208 [DEBUG] - [ShimGen] [WARN ] Could not extract icon from associated program. Using default. Error:
2024-03-07 23:48:56,498 3208 [DEBUG] - [ShimGen] Selected Icon is invalid
2024-03-07 23:48:57,060 3208 [DEBUG] - [ShimGen] Microsoft (R) Visual C# Compiler version 4.8.3761.0
2024-03-07 23:48:57,076 3208 [DEBUG] - [ShimGen] for C# 5
2024-03-07 23:48:57,076 3208 [DEBUG] - [ShimGen] Copyright (C) Microsoft Corporation. All rights reserved.
2024-03-07 23:48:57,091 3208 [DEBUG] - [ShimGen] This compiler is provided as part of the Microsoft (R) .NET Framework, but only supports language versions up to C# 5, which is no longer the latest version. For compilers that support newer versions of the C# programming language, see http://go.microsoft.com/fwlink/?LinkID=533240
2024-03-07 23:48:57,091 3208 [DEBUG] - [ShimGen] ShimGen has successfully created 'C:\ProgramData\chocolatey\bin\z3.exe'
2024-03-07 23:48:57,107 3208 [DEBUG] - Command ['"C:\ProgramData\chocolatey\tools\shimgen.exe" --path="..\\lib\z3\tools\bin\bin\z3.exe" --output="C:\ProgramData\chocolatey\bin\z3.exe" --iconpath="C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe"'] exited with '0'
2024-03-07 23:48:57,107 3208 [INFO ] - ShimGen has successfully created a shim for z3.exe
2024-03-07 23:48:57,123 3208 [DEBUG] - Created: C:\ProgramData\chocolatey\bin\z3.exe
Targeting: C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe
IsGui:False
2024-03-07 23:48:57,247 3208 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\.chocolatey\z3.4.13.0".
2024-03-07 23:48:57,387 3208 [DEBUG] - There was no original file at 'C:\ProgramData\chocolatey\.chocolatey\z3.4.13.0\.files'
2024-03-07 23:48:57,404 3208 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\z3.4.13.0\.extra".
2024-03-07 23:48:57,419 3208 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\z3.4.13.0\.version".
2024-03-07 23:48:57,419 3208 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\z3.4.13.0\.sxs".
2024-03-07 23:48:57,435 3208 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\.chocolatey\z3.4.13.0\.pin".
2024-03-07 23:48:57,465 3208 [DEBUG] - Sending message 'HandlePackageResultCompletedMessage' out if there are subscribers...
2024-03-07 23:48:57,482 3208 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\.chocolateyPending".
2024-03-07 23:48:57,514 3208 [INFO ] - The install of z3 was successful.
2024-03-07 23:48:57,528 3208 [INFO ] - Software installed to 'C:\ProgramData\chocolatey\lib\z3\tools'
2024-03-07 23:48:57,591 3208 [WARN ] -
Chocolatey installed 1/1 packages.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
2024-03-07 23:48:57,622 3208 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers...
2024-03-07 23:48:57,653 3208 [DEBUG] - Exiting with 0
Raw
Uninstall.txt
2024-03-07 23:49:17,981 2068 [DEBUG] - XmlConfiguration is now operational
2024-03-07 23:49:18,216 2068 [DEBUG] - Adding new type 'CygwinService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,216 2068 [DEBUG] - Adding new type 'CygwinService' for type 'IInstallSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,231 2068 [DEBUG] - Adding new type 'PythonService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,231 2068 [DEBUG] - Adding new type 'PythonService' for type 'IListSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,231 2068 [DEBUG] - Adding new type 'PythonService' for type 'IInstallSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,246 2068 [DEBUG] - Adding new type 'PythonService' for type 'IUninstallSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,262 2068 [DEBUG] - Adding new type 'RubyGemsService' for type 'IAlternativeSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,262 2068 [DEBUG] - Adding new type 'RubyGemsService' for type 'IListSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,262 2068 [DEBUG] - Adding new type 'RubyGemsService' for type 'IInstallSourceRunner' from assembly 'choco'
2024-03-07 23:49:18,278 2068 [DEBUG] - Adding new type 'SystemStateValidation' for type 'IValidation' from assembly 'choco'
2024-03-07 23:49:18,294 2068 [DEBUG] - Adding new type 'CacheFolderLockdownValidation' for type 'IValidation' from assembly 'choco'
2024-03-07 23:49:19,547 2068 [DEBUG] - Adding new type 'EmptyOrInvalidUrlMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,547 2068 [DEBUG] - Adding new type 'FrameWorkReferencesMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,559 2068 [DEBUG] - Adding new type 'IconMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,559 2068 [DEBUG] - Adding new type 'LicenseMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,559 2068 [DEBUG] - Adding new type 'PackageTypesMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,575 2068 [DEBUG] - Adding new type 'ReadmeMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,575 2068 [DEBUG] - Adding new type 'RepositoryMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,575 2068 [DEBUG] - Adding new type 'RequireLicenseAcceptanceMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,591 2068 [DEBUG] - Adding new type 'ServicableMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,591 2068 [DEBUG] - Adding new type 'VersionMetadataRule' for type 'IMetadataRule' from assembly 'choco'
2024-03-07 23:49:19,621 2068 [DEBUG] - Registering new command 'cache' in assembly 'choco'
2024-03-07 23:49:19,637 2068 [DEBUG] - Registering new command 'list' in assembly 'choco'
2024-03-07 23:49:19,637 2068 [DEBUG] - Registering new command 'template' in assembly 'choco'
2024-03-07 23:49:19,653 2068 [DEBUG] - Registering new command 'export' in assembly 'choco'
2024-03-07 23:49:19,653 2068 [DEBUG] - Registering new command 'info' in assembly 'choco'
2024-03-07 23:49:19,653 2068 [DEBUG] - Registering new command 'help' in assembly 'choco'
2024-03-07 23:49:19,669 2068 [DEBUG] - Registering new command 'config' in assembly 'choco'
2024-03-07 23:49:19,669 2068 [DEBUG] - Registering new command 'feature' in assembly 'choco'
2024-03-07 23:49:19,683 2068 [DEBUG] - Registering new command 'new' in assembly 'choco'
2024-03-07 23:49:19,683 2068 [DEBUG] - Registering new command 'outdated' in assembly 'choco'
2024-03-07 23:49:19,701 2068 [DEBUG] - Registering new command 'pack' in assembly 'choco'
2024-03-07 23:49:19,701 2068 [DEBUG] - Registering new command 'pin' in assembly 'choco'
2024-03-07 23:49:19,719 2068 [DEBUG] - Registering new command 'push' in assembly 'choco'
2024-03-07 23:49:19,719 2068 [DEBUG] - Registering new command 'apikey' in assembly 'choco'
2024-03-07 23:49:19,732 2068 [DEBUG] - Registering new command 'source' in assembly 'choco'
2024-03-07 23:49:19,732 2068 [DEBUG] - Registering new command 'uninstall' in assembly 'choco'
2024-03-07 23:49:19,746 2068 [DEBUG] - Registering new command 'upgrade' in assembly 'choco'
2024-03-07 23:49:19,746 2068 [DEBUG] - Registering new command 'search' in assembly 'choco'
2024-03-07 23:49:19,762 2068 [DEBUG] - Registering new command 'unpackself' in assembly 'choco'
2024-03-07 23:49:19,762 2068 [DEBUG] - Registering new command 'install' in assembly 'choco'
2024-03-07 23:49:20,201 2068 [INFO ] - ============================================================
2024-03-07 23:49:20,748 2068 [INFO ] - Chocolatey v2.2.2
2024-03-07 23:49:20,794 2068 [DEBUG] - Chocolatey is running on Windows v 10.0.17763.0
2024-03-07 23:49:20,825 2068 [DEBUG] - Attempting to delete file "C:/ProgramData/chocolatey/choco.exe.old".
2024-03-07 23:49:20,841 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\choco.exe.old".
2024-03-07 23:49:20,871 2068 [DEBUG] - Command line: "C:\ProgramData\chocolatey\choco.exe" uninstall z3 --version 4.13.0 -dvy --execution-timeout=2700
2024-03-07 23:49:20,871 2068 [DEBUG] - Received arguments: uninstall z3 --version 4.13.0 -dvy --execution-timeout=2700
2024-03-07 23:49:21,074 2068 [DEBUG] - RemovePendingPackagesTask is now ready and waiting for PreRunMessage.
2024-03-07 23:49:21,121 2068 [DEBUG] - Sending message 'PreRunMessage' out if there are subscribers...
2024-03-07 23:49:21,153 2068 [DEBUG] - [Pending] Removing all pending packages that should not be considered installed...
2024-03-07 23:49:21,325 2068 [DEBUG] - Performing validation checks.
2024-03-07 23:49:21,342 2068 [DEBUG] - Global Configuration Validation Checks:
2024-03-07 23:49:21,356 2068 [DEBUG] - - Package Exit Code / Exit On Reboot = Checked
2024-03-07 23:49:21,356 2068 [DEBUG] - System State Validation Checks:
2024-03-07 23:49:21,373 2068 [DEBUG] - Reboot Requirement Checks:
2024-03-07 23:49:21,388 2068 [DEBUG] - - Pending Computer Rename = Checked
2024-03-07 23:49:21,388 2068 [DEBUG] - - Pending Component Based Servicing = Checked
2024-03-07 23:49:21,404 2068 [DEBUG] - - Pending Windows Auto Update = Checked
2024-03-07 23:49:21,419 2068 [DEBUG] - - Pending File Rename Operations = Ignored
2024-03-07 23:49:21,419 2068 [DEBUG] - - Pending Windows Package Installer = Checked
2024-03-07 23:49:21,434 2068 [DEBUG] - - Pending Windows Package Installer SysWow64 = Checked
2024-03-07 23:49:21,451 2068 [DEBUG] - Cache Folder Lockdown Checks:
2024-03-07 23:49:21,451 2068 [DEBUG] - - Elevated State = Checked
2024-03-07 23:49:21,468 2068 [DEBUG] - - Folder Exists = Checked
2024-03-07 23:49:21,482 2068 [DEBUG] - - Folder lockdown = Checked
2024-03-07 23:49:21,497 2068 [INFO ] - 3 validations performed. 3 success(es), 0 warning(s), and 0 error(s).
2024-03-07 23:49:21,544 2068 [DEBUG] - The source 'c:\cached-packages;https://community.chocolatey.org/api/v2/' evaluated to a 'normal' source type
2024-03-07 23:49:21,559 2068 [DEBUG] -
NOTE: Hiding sensitive configuration data! Please double and triple
check to be sure no sensitive data is shown, especially if copying
output to a gist for review.
2024-03-07 23:49:21,622 2068 [DEBUG] - Configuration: CommandName='uninstall'|
CacheLocation='C:\Users\vagrant\AppData\Local\Temp\chocolatey'|
CommandExecutionTimeoutSeconds='2700'|WebRequestTimeoutSeconds='30'|
Sources='c:\cached-packages;https://community.chocolatey.org/api/v2/'|
SourceType='normal'|ShowOnlineHelp='False'|Debug='True'|Verbose='True'|
Trace='False'|Force='False'|Noop='False'|HelpRequested='False'|
UnsuccessfulParsing='False'|RegularOutput='True'|QuietOutput='False'|
PromptForConfirmation='False'|DisableCompatibilityChecks='False'|
AcceptLicense='True'|AllowUnofficialBuild='False'|Input='z3'|
Version='4.13.0'|AllVersions='False'|
SkipPackageInstallProvider='False'|
SkipHookScripts='False'|PackageNames='z3'|Prerelease='False'|
ForceX86='False'|OverrideArguments='False'|NotSilent='False'|
ApplyPackageParametersToDependencies='False'|
ApplyInstallArgumentsToDependencies='False'|IgnoreDependencies='False'|
CacheExpirationInMinutes='30'|AllowDowngrade='False'|
ForceDependencies='False'|PinPackage='False'|
Information.PlatformType='Windows'|
Information.PlatformVersion='10.0.17763.0'|
Information.PlatformName='Windows Server 2016'|
Information.ChocolateyVersion='2.2.2.0'|
Information.ChocolateyProductVersion='2.2.2'|
Information.FullName='choco, Version=2.2.2.0, Culture=neutral, PublicKeyToken=79d02ea9cad655eb'|
Information.Is64BitOperatingSystem='True'|
Information.Is64BitProcess='True'|Information.IsInteractive='False'|
Information.UserName='vagrant'|
Information.UserDomainName='WIN-GKGS6CSH4V3'|
Information.IsUserAdministrator='True'|
Information.IsUserSystemAccount='False'|
Information.IsUserRemoteDesktop='False'|
Information.IsUserRemote='True'|
Information.IsProcessElevated='True'|
Information.IsLicensedVersion='False'|
Information.IsLicensedAssemblyLoaded='False'|
Information.LicenseType='Foss'|
Information.CurrentDirectory='C:\Users\vagrant'|
Features.AutoUninstaller='True'|Features.ChecksumFiles='True'|
Features.AllowEmptyChecksums='False'|
Features.AllowEmptyChecksumsSecure='True'|
Features.FailOnAutoUninstaller='False'|
Features.FailOnStandardError='False'|Features.UsePowerShellHost='True'|
Features.LogEnvironmentValues='True'|Features.LogWithoutColor='False'|
Features.VirusCheck='False'|
Features.FailOnInvalidOrMissingLicense='False'|
Features.IgnoreInvalidOptionsSwitches='True'|
Features.UsePackageExitCodes='True'|
Features.UseEnhancedExitCodes='False'|
Features.UseFipsCompliantChecksums='False'|
Features.ShowNonElevatedWarnings='True'|
Features.ShowDownloadProgress='False'|
Features.StopOnFirstPackageFailure='False'|
Features.UseRememberedArgumentsForUpgrades='False'|
Features.IgnoreUnfoundPackagesOnUpgradeOutdated='False'|
Features.SkipPackageUpgradesWhenNotInstalled='False'|
Features.RemovePackageInformationOnUninstall='False'|
Features.ExitOnRebootDetected='False'|
Features.LogValidationResultsOnWarnings='True'|
Features.UsePackageRepositoryOptimizations='True'|
ListCommand.LocalOnly='False'|ListCommand.IdOnly='False'|
ListCommand.IncludeRegistryPrograms='False'|ListCommand.PageSize='25'|
ListCommand.Exact='False'|ListCommand.ByIdOnly='False'|
ListCommand.ByTagOnly='False'|ListCommand.IdStartsWith='False'|
ListCommand.OrderByPopularity='False'|ListCommand.ApprovedOnly='False'|
ListCommand.DownloadCacheAvailable='False'|
ListCommand.NotBroken='False'|
ListCommand.IncludeVersionOverrides='False'|
ListCommand.ExplicitPageSize='False'|
ListCommand.ExplicitSource='False'|
UpgradeCommand.FailOnUnfound='False'|
UpgradeCommand.FailOnNotInstalled='False'|
UpgradeCommand.NotifyOnlyAvailableUpgrades='False'|
UpgradeCommand.ExcludePrerelease='False'|
NewCommand.AutomaticPackage='False'|
NewCommand.UseOriginalTemplate='False'|SourceCommand.Command='unknown'|
SourceCommand.Priority='0'|SourceCommand.BypassProxy='False'|
SourceCommand.AllowSelfService='False'|
SourceCommand.VisibleToAdminsOnly='False'|
FeatureCommand.Command='unknown'|ConfigCommand.Command='Unknown'|
ApiKeyCommand.Command='Unknown'|PinCommand.Command='Unknown'|
OutdatedCommand.IgnorePinned='False'|
ExportCommand.IncludeVersionNumbers='False'|Proxy.BypassOnLocal='True'|
TemplateCommand.Command='unknown'|CacheCommand.Command='Unknown'|
CacheCommand.RemoveExpiredItemsOnly='False'|
2024-03-07 23:49:21,638 2068 [DEBUG] - _ Chocolatey:ChocolateyUninstallCommand - Normal Run Mode _
2024-03-07 23:49:21,654 2068 [INFO ] - Uninstalling the following packages:
2024-03-07 23:49:21,668 2068 [INFO ] - z3
2024-03-07 23:49:21,684 2068 [DEBUG] - Current environment values (may contain sensitive data):
2024-03-07 23:49:21,700 2068 [DEBUG] - * 'Path'='C:\Users\vagrant\AppData\Local\Microsoft\WindowsApps;' ('User')
2024-03-07 23:49:21,715 2068 [DEBUG] - * 'TEMP'='C:\Users\vagrant\AppData\Local\Temp' ('User')
2024-03-07 23:49:21,715 2068 [DEBUG] - * 'TMP'='C:\Users\vagrant\AppData\Local\Temp' ('User')
2024-03-07 23:49:21,731 2068 [DEBUG] - * 'ChocolateyLastPathUpdate'='133542877652159716' ('User')
2024-03-07 23:49:21,731 2068 [DEBUG] - * 'ComSpec'='C:\Windows\system32\cmd.exe' ('Machine')
2024-03-07 23:49:21,731 2068 [DEBUG] - * 'DriverData'='C:\Windows\System32\Drivers\DriverData' ('Machine')
2024-03-07 23:49:21,747 2068 [DEBUG] - * 'OS'='Windows_NT' ('Machine')
2024-03-07 23:49:21,764 2068 [DEBUG] - * 'Path'='C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Windows\System32\OpenSSH\;C:\ProgramData\chocolatey\bin;' ('Machine')
2024-03-07 23:49:21,777 2068 [DEBUG] - * 'PATHEXT'='.COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC' ('Machine')
2024-03-07 23:49:21,777 2068 [DEBUG] - * 'PROCESSOR_ARCHITECTURE'='AMD64' ('Machine')
2024-03-07 23:49:21,777 2068 [DEBUG] - * 'PSModulePath'='C:\Program Files\WindowsPowerShell\Modules;C:\Windows\system32\WindowsPowerShell\v1.0\Modules' ('Machine')
2024-03-07 23:49:21,793 2068 [DEBUG] - * 'TEMP'='C:\Windows\TEMP' ('Machine')
2024-03-07 23:49:21,856 2068 [DEBUG] - * 'TMP'='C:\Windows\TEMP' ('Machine')
2024-03-07 23:49:21,856 2068 [DEBUG] - * 'USERNAME'='SYSTEM' ('Machine')
2024-03-07 23:49:21,871 2068 [DEBUG] - * 'windir'='C:\Windows' ('Machine')
2024-03-07 23:49:21,871 2068 [DEBUG] - * 'NUMBER_OF_PROCESSORS'='10' ('Machine')
2024-03-07 23:49:21,887 2068 [DEBUG] - * 'PROCESSOR_LEVEL'='6' ('Machine')
2024-03-07 23:49:21,887 2068 [DEBUG] - * 'PROCESSOR_IDENTIFIER'='Intel64 Family 6 Model 85 Stepping 7, GenuineIntel' ('Machine')
2024-03-07 23:49:21,887 2068 [DEBUG] - * 'PROCESSOR_REVISION'='5507' ('Machine')
2024-03-07 23:49:21,903 2068 [DEBUG] - * 'ChocolateyInstall'='C:\ProgramData\chocolatey' ('Machine')
2024-03-07 23:49:22,185 2068 [DEBUG] - Running list with the following filter = ''
2024-03-07 23:49:22,199 2068 [DEBUG] - --- Start of List ---
2024-03-07 23:49:22,528 2068 [DEBUG] - Resolving resource PackageSearchResource for source C:\ProgramData\chocolatey\lib
2024-03-07 23:49:23,231 2068 [DEBUG] - chocolatey 2.2.2
2024-03-07 23:49:23,387 2068 [DEBUG] - chocolatey-windowsupdate.extension 1.0.5
2024-03-07 23:49:23,387 2068 [DEBUG] - KB2919355 1.0.20160915
2024-03-07 23:49:23,403 2068 [DEBUG] - KB2919442 1.0.20160915
2024-03-07 23:49:23,418 2068 [DEBUG] - KB2999226 1.0.20181019
2024-03-07 23:49:23,434 2068 [DEBUG] - KB3035131 1.0.3
2024-03-07 23:49:23,434 2068 [DEBUG] - KB3118401 1.0.5
2024-03-07 23:49:23,450 2068 [DEBUG] - virtualbox-guest-additions-guest.install 7.0.14
2024-03-07 23:49:23,528 2068 [DEBUG] - z3 4.13.0
2024-03-07 23:49:23,528 2068 [DEBUG] - --- End of List ---
2024-03-07 23:49:23,544 2068 [DEBUG] - Running list with the following filter = ''
2024-03-07 23:49:23,544 2068 [DEBUG] - --- Start of List ---
2024-03-07 23:49:23,591 2068 [DEBUG] - chocolatey 2.2.2
2024-03-07 23:49:23,591 2068 [DEBUG] - chocolatey-windowsupdate.extension 1.0.5
2024-03-07 23:49:23,606 2068 [DEBUG] - KB2919355 1.0.20160915
2024-03-07 23:49:23,621 2068 [DEBUG] - KB2919442 1.0.20160915
2024-03-07 23:49:23,636 2068 [DEBUG] - KB2999226 1.0.20181019
2024-03-07 23:49:23,653 2068 [DEBUG] - KB3035131 1.0.3
2024-03-07 23:49:23,670 2068 [DEBUG] - KB3118401 1.0.5
2024-03-07 23:49:23,670 2068 [DEBUG] - virtualbox-guest-additions-guest.install 7.0.14
2024-03-07 23:49:23,700 2068 [DEBUG] - z3 4.13.0
2024-03-07 23:49:23,715 2068 [DEBUG] - --- End of List ---
2024-03-07 23:49:23,825 2068 [DEBUG] - Running list with the following filter = ''
2024-03-07 23:49:23,840 2068 [DEBUG] - --- Start of List ---
2024-03-07 23:49:23,872 2068 [DEBUG] - chocolatey 2.2.2
2024-03-07 23:49:23,872 2068 [DEBUG] - chocolatey-windowsupdate.extension 1.0.5
2024-03-07 23:49:23,887 2068 [DEBUG] - KB2919355 1.0.20160915
2024-03-07 23:49:23,887 2068 [DEBUG] - KB2919442 1.0.20160915
2024-03-07 23:49:23,903 2068 [DEBUG] - KB2999226 1.0.20181019
2024-03-07 23:49:23,918 2068 [DEBUG] - KB3035131 1.0.3
2024-03-07 23:49:23,918 2068 [DEBUG] - KB3118401 1.0.5
2024-03-07 23:49:23,934 2068 [DEBUG] - virtualbox-guest-additions-guest.install 7.0.14
2024-03-07 23:49:23,981 2068 [DEBUG] - z3 4.13.0
2024-03-07 23:49:23,981 2068 [DEBUG] - --- End of List ---
2024-03-07 23:49:24,060 2068 [INFO ] -
z3 v4.13.0
2024-03-07 23:49:24,105 2068 [DEBUG] - Running beforeModify step for 'z3'
2024-03-07 23:49:24,138 2068 [DEBUG] - Backing up package files for 'z3'
2024-03-07 23:49:24,341 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib-bkp\z3".
2024-03-07 23:49:24,357 2068 [DEBUG] - Moving C:\ProgramData\chocolatey\lib\z3 to C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0
2024-03-07 23:49:24,372 2068 [DEBUG] - Moving 'C:\ProgramData\chocolatey\lib\z3'
to 'C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0'
2024-03-07 23:49:26,403 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3".
2024-03-07 23:49:26,418 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\z3-4.13.0-x64-win.zip.txt"
to "C:\ProgramData\chocolatey\lib\z3\z3-4.13.0-x64-win.zip.txt".
2024-03-07 23:49:26,418 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\z3.nupkg"
to "C:\ProgramData\chocolatey\lib\z3\z3.nupkg".
2024-03-07 23:49:26,669 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\z3.nuspec"
to "C:\ProgramData\chocolatey\lib\z3\z3.nuspec".
2024-03-07 23:49:26,669 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\legal".
2024-03-07 23:49:26,685 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\legal\LICENSE.txt"
to "C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt".
2024-03-07 23:49:26,700 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\legal\VERIFICATION.txt"
to "C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt".
2024-03-07 23:49:26,700 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools".
2024-03-07 23:49:26,715 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\chocolateyinstall.ps1"
to "C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1".
2024-03-07 23:49:26,730 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin".
2024-03-07 23:49:26,730 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\LICENSE.txt"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt".
2024-03-07 23:49:26,747 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin".
2024-03-07 23:49:26,747 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\com.microsoft.z3.jar"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar".
2024-03-07 23:49:26,762 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\libz3.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll".
2024-03-07 23:49:26,793 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\libz3.lib"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib".
2024-03-07 23:49:26,810 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\libz3.pdb"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb".
2024-03-07 23:49:27,064 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\libz3java.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll".
2024-03-07 23:49:27,077 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\libz3java.lib"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib".
2024-03-07 23:49:27,090 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\Microsoft.Z3.deps.json"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json".
2024-03-07 23:49:27,090 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\Microsoft.Z3.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll".
2024-03-07 23:49:27,106 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\Microsoft.Z3.pdb"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb".
2024-03-07 23:49:27,355 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\Microsoft.Z3.xml"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml".
2024-03-07 23:49:27,374 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\msvcp140.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll".
2024-03-07 23:49:27,387 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\msvcp140_1.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll".
2024-03-07 23:49:27,387 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\msvcp140_2.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll".
2024-03-07 23:49:27,404 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\msvcp140_atomic_wait.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll".
2024-03-07 23:49:27,404 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\msvcp140_codecvt_ids.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll".
2024-03-07 23:49:27,419 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\vcomp140.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll".
2024-03-07 23:49:27,434 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\vcruntime140.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll".
2024-03-07 23:49:27,434 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\vcruntime140_1.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll".
2024-03-07 23:49:27,449 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\vcruntime140_threads.dll"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll".
2024-03-07 23:49:27,465 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\z3.exe"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe".
2024-03-07 23:49:27,516 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python".
2024-03-07 23:49:27,516 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\example.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py".
2024-03-07 23:49:27,527 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3".
2024-03-07 23:49:27,527 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py".
2024-03-07 23:49:27,543 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3consts.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py".
2024-03-07 23:49:27,543 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3core.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py".
2024-03-07 23:49:27,560 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3num.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py".
2024-03-07 23:49:27,575 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3poly.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py".
2024-03-07 23:49:27,575 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3printer.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py".
2024-03-07 23:49:27,590 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3rcf.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py".
2024-03-07 23:49:27,606 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3types.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py".
2024-03-07 23:49:27,606 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\z3util.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py".
2024-03-07 23:49:27,621 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__init__.py"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py".
2024-03-07 23:49:27,621 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__".
2024-03-07 23:49:27,637 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc".
2024-03-07 23:49:27,637 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc".
2024-03-07 23:49:27,653 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc".
2024-03-07 23:49:27,672 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc".
2024-03-07 23:49:27,684 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc".
2024-03-07 23:49:27,684 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc".
2024-03-07 23:49:27,699 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc".
2024-03-07 23:49:27,699 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc".
2024-03-07 23:49:27,715 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc".
2024-03-07 23:49:27,715 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc".
2024-03-07 23:49:27,733 2068 [DEBUG] - Attempting to create directory "C:\ProgramData\chocolatey\lib\z3\tools\bin\include".
2024-03-07 23:49:27,747 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3++.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h".
2024-03-07 23:49:27,747 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h".
2024-03-07 23:49:27,764 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_algebraic.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h".
2024-03-07 23:49:27,764 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_api.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h".
2024-03-07 23:49:27,779 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_ast_containers.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h".
2024-03-07 23:49:27,794 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_fixedpoint.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h".
2024-03-07 23:49:27,794 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_fpa.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h".
2024-03-07 23:49:27,809 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_macros.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h".
2024-03-07 23:49:27,809 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_optimization.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h".
2024-03-07 23:49:27,824 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_polynomial.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h".
2024-03-07 23:49:27,824 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_rcf.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h".
2024-03-07 23:49:27,840 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_spacer.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h".
2024-03-07 23:49:27,857 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_v1.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h".
2024-03-07 23:49:27,872 2068 [DEBUG] - Attempting to copy "C:\ProgramData\chocolatey\lib-bkp\z3\4.13.0\tools\bin\include\z3_version.h"
to "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h".
2024-03-07 23:49:29,405 2068 [DEBUG] - Capturing package files in 'C:\ProgramData\chocolatey\lib\z3'
2024-03-07 23:49:29,405 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3-4.13.0-x64-win.zip.txt'
with checksum '7A4DD25B6D863E921A954F4897E35C83'
2024-03-07 23:49:29,964 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nupkg'
with checksum '75606BB90F107C6B922AFCB7210A00CA'
2024-03-07 23:49:29,980 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nuspec'
with checksum '2C3C9C0CC420C143E5CCB7075B2BF47C'
2024-03-07 23:49:30,001 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt'
with checksum '5F03AD1486A2E4CE71200CE0F9721557'
2024-03-07 23:49:30,001 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt'
with checksum 'A9A6A33F34ED829665381F4916D03C43'
2024-03-07 23:49:30,014 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1'
with checksum '924A481F668E90C8B1EAC7224E8CA6BD'
2024-03-07 23:49:30,028 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt'
with checksum 'C4C1DA8ADA62596848A6E38B6BAA8CD4'
2024-03-07 23:49:30,076 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar'
with checksum 'BE6B387FF8632BCDF5F5EAEC4BCA4A9B'
2024-03-07 23:49:30,152 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll'
with checksum '93B2EB3750030D0FB87B8BDDA513FA07'
2024-03-07 23:49:30,168 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib'
with checksum '42337D330EB38CF9059E7C1B75BE76C7'
2024-03-07 23:49:30,684 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb'
with checksum '5482D92E05E4F57643734496A463F1A4'
2024-03-07 23:49:30,730 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll'
with checksum '1EC4421BE8D5189C7DF3C5E20C7E72D2'
2024-03-07 23:49:30,730 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib'
with checksum 'D319C96106DBE6D56E3D751D34C50E3C'
2024-03-07 23:49:30,746 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json'
with checksum 'DD9BCCDDEFF8B7D302B1797BBF13A4E0'
2024-03-07 23:49:30,746 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll'
with checksum 'F2C7ECC41DB7B318B74B73255CC28755'
2024-03-07 23:49:30,762 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb'
with checksum '18E8AAC01BB42BA78973600056D0BCFE'
2024-03-07 23:49:30,779 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml'
with checksum 'FFAB4950985F7AF81661F150BA6FBB00'
2024-03-07 23:49:30,779 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll'
with checksum 'C3D497B0AFEF4BD7E09C7559E1C75B05'
2024-03-07 23:49:30,794 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll'
with checksum '7B0A25EEE764D8747F02CB3ED980F07A'
2024-03-07 23:49:30,794 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll'
with checksum 'AA0148E20D34C10E01A4A9E1BAB1D058'
2024-03-07 23:49:30,809 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll'
with checksum '6722344B74084D0AF629283060716BAE'
2024-03-07 23:49:30,825 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll'
with checksum '165308EE66D0B8F11CA20F3BCD410EA9'
2024-03-07 23:49:30,825 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll'
with checksum 'EF76327FF132A48F3BAC24598C99B373'
2024-03-07 23:49:30,857 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll'
with checksum 'E9B690FBE5C4B96871214379659DD928'
2024-03-07 23:49:30,857 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll'
with checksum 'EB49C1D33B41EB49DFED58AAFA9B9A8F'
2024-03-07 23:49:30,874 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll'
with checksum '5F533A0A43600153ECDE78ABAA7D614E'
2024-03-07 23:49:30,950 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe'
with checksum 'DB5AAFA07D53B8AF783F4ECFAE2238E2'
2024-03-07 23:49:30,950 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py'
with checksum '29885F72DC972005BEB062CA03EA370D'
2024-03-07 23:49:30,966 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py'
with checksum '7622F267548E3552BBF8281FA6335084'
2024-03-07 23:49:30,966 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py'
with checksum '2AB8C818DAC49723A65A1C44F4554679'
2024-03-07 23:49:30,996 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py'
with checksum 'EDC5DABA7A99B4E8EB4A20AC5AC7D031'
2024-03-07 23:49:30,996 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py'
with checksum '22C0A73170BDD0F91B76E6A160B9C937'
2024-03-07 23:49:31,012 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py'
with checksum '871B33516926538E32564673DBED0ECE'
2024-03-07 23:49:31,012 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py'
with checksum 'B1F27F9A935C1E7575CAC20721C2359F'
2024-03-07 23:49:31,028 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py'
with checksum 'D1BCA6D5D266F3A117D4C27034899B46'
2024-03-07 23:49:31,028 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py'
with checksum '5E7C688F0E667142D184D4217B5CFD6D'
2024-03-07 23:49:31,028 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py'
with checksum '4A505E5FA3A95A76D24629BD0B7CE94D'
2024-03-07 23:49:31,044 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py'
with checksum '6BB9C83973ECA222DE80539171BE2476'
2024-03-07 23:49:31,059 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc'
with checksum '6FFA17B35E6BA5120F3ECE3957BDF82E'
2024-03-07 23:49:31,059 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc'
with checksum 'EF282F3F15808B224DDD3CAD86476704'
2024-03-07 23:49:31,059 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc'
with checksum 'F1FA1BC240E2921C5141B6337D9D7B6B'
2024-03-07 23:49:31,079 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc'
with checksum '58A30085AC4468E6EBD8B9F51833538E'
2024-03-07 23:49:31,079 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc'
with checksum 'D5D261DC244B14F912F15FAC19BD4E53'
2024-03-07 23:49:31,090 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc'
with checksum '8D21EE2B5C63978AA3E85D8983ED7E0E'
2024-03-07 23:49:31,090 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc'
with checksum 'B891B2CF2B46AE93EA0189BA2CE8A644'
2024-03-07 23:49:31,106 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc'
with checksum '28D553E1641DAE34C471148D60A6F43A'
2024-03-07 23:49:31,106 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc'
with checksum '6D33A7EABA0D662F2B33B9612515644C'
2024-03-07 23:49:31,121 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc'
with checksum '819366104CC795188E16D2773B2C1BE5'
2024-03-07 23:49:31,121 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h'
with checksum 'D1F95277FD6EF959256E0D748556A10D'
2024-03-07 23:49:31,137 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h'
with checksum '0602E2A11D0409DF0C3DF0D74DF9E9BB'
2024-03-07 23:49:31,137 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h'
with checksum 'C8936A5692C777B83E3A7A8F14A3954B'
2024-03-07 23:49:31,155 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h'
with checksum '366DDA906230CA038E538DE78A205A43'
2024-03-07 23:49:31,169 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h'
with checksum '7BD14C7167A2B963CC8F816A465C129D'
2024-03-07 23:49:31,169 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h'
with checksum '541CD560A009030C0CA714F29D8F4F78'
2024-03-07 23:49:31,184 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h'
with checksum 'B45F64AAFB4C930A00A04E110893198A'
2024-03-07 23:49:31,184 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h'
with checksum 'FC52E663352B3480C330E33251668F3E'
2024-03-07 23:49:31,200 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h'
with checksum '17AA872A47E02AB6814F98754B97748A'
2024-03-07 23:49:31,200 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h'
with checksum '0FEB0C1B89A1CF44C8FFBF198D4E4326'
2024-03-07 23:49:31,200 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h'
with checksum 'F60A9E5C257089988260C6BDF0F5A0A3'
2024-03-07 23:49:31,217 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h'
with checksum 'B8125A332163A59D09751DECDE319F03'
2024-03-07 23:49:31,217 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h'
with checksum '4E173E65B2EE8814EFD03B704B3628F7'
2024-03-07 23:49:31,231 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h'
with checksum '701D9B77718ADE3C595B109C632A6133'
2024-03-07 23:49:31,262 2068 [DEBUG] - Removing shim for z3.exe at 'C:\ProgramData\chocolatey\bin\z3.exe
2024-03-07 23:49:31,262 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\bin\z3.exe".
2024-03-07 23:49:31,309 2068 [INFO ] - Skipping auto uninstaller - No registry snapshot.
2024-03-07 23:49:31,309 2068 [DEBUG] - Calling command ['"C:\Windows\System32\shutdown.exe" /a']
2024-03-07 23:49:31,449 2068 [DEBUG] - Command ['"C:\Windows\System32\shutdown.exe" /a'] exited with '1116'
2024-03-07 23:49:31,481 2068 [DEBUG] - Attempting to delete directory "C:\ProgramData\chocolatey\lib-bkp\z3".
2024-03-07 23:49:31,575 2068 [DEBUG] - Ensuring removal of installation files.
2024-03-07 23:49:31,590 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3-4.13.0-x64-win.zip.txt'
with checksum '7A4DD25B6D863E921A954F4897E35C83'
2024-03-07 23:49:31,606 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\z3-4.13.0-x64-win.zip.txt".
2024-03-07 23:49:32,090 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nupkg'
with checksum '75606BB90F107C6B922AFCB7210A00CA'
2024-03-07 23:49:32,090 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\z3.nupkg".
2024-03-07 23:49:32,106 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\z3.nuspec'
with checksum '2C3C9C0CC420C143E5CCB7075B2BF47C'
2024-03-07 23:49:32,106 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\z3.nuspec".
2024-03-07 23:49:32,124 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt'
with checksum '5F03AD1486A2E4CE71200CE0F9721557'
2024-03-07 23:49:32,137 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\legal\LICENSE.txt".
2024-03-07 23:49:32,137 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt'
with checksum 'A9A6A33F34ED829665381F4916D03C43'
2024-03-07 23:49:32,137 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\legal\VERIFICATION.txt".
2024-03-07 23:49:32,153 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1'
with checksum '924A481F668E90C8B1EAC7224E8CA6BD'
2024-03-07 23:49:32,169 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\chocolateyinstall.ps1".
2024-03-07 23:49:32,169 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt'
with checksum 'C4C1DA8ADA62596848A6E38B6BAA8CD4'
2024-03-07 23:49:32,184 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\LICENSE.txt".
2024-03-07 23:49:32,231 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar'
with checksum 'BE6B387FF8632BCDF5F5EAEC4BCA4A9B'
2024-03-07 23:49:32,231 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\com.microsoft.z3.jar".
2024-03-07 23:49:32,309 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll'
with checksum '93B2EB3750030D0FB87B8BDDA513FA07'
2024-03-07 23:49:32,309 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.dll".
2024-03-07 23:49:32,324 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib'
with checksum '42337D330EB38CF9059E7C1B75BE76C7'
2024-03-07 23:49:32,340 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.lib".
2024-03-07 23:49:32,887 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb'
with checksum '5482D92E05E4F57643734496A463F1A4'
2024-03-07 23:49:32,903 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3.pdb".
2024-03-07 23:49:32,949 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll'
with checksum '1EC4421BE8D5189C7DF3C5E20C7E72D2'
2024-03-07 23:49:32,966 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.dll".
2024-03-07 23:49:32,985 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib'
with checksum 'D319C96106DBE6D56E3D751D34C50E3C'
2024-03-07 23:49:32,985 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\libz3java.lib".
2024-03-07 23:49:32,997 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json'
with checksum 'DD9BCCDDEFF8B7D302B1797BBF13A4E0'
2024-03-07 23:49:33,012 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.deps.json".
2024-03-07 23:49:33,012 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll'
with checksum 'F2C7ECC41DB7B318B74B73255CC28755'
2024-03-07 23:49:33,028 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.dll".
2024-03-07 23:49:33,044 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb'
with checksum '18E8AAC01BB42BA78973600056D0BCFE'
2024-03-07 23:49:33,044 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.pdb".
2024-03-07 23:49:33,062 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml'
with checksum 'FFAB4950985F7AF81661F150BA6FBB00'
2024-03-07 23:49:33,062 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\Microsoft.Z3.xml".
2024-03-07 23:49:33,077 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll'
with checksum 'C3D497B0AFEF4BD7E09C7559E1C75B05'
2024-03-07 23:49:33,090 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140.dll".
2024-03-07 23:49:33,090 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll'
with checksum '7B0A25EEE764D8747F02CB3ED980F07A'
2024-03-07 23:49:33,090 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_1.dll".
2024-03-07 23:49:33,107 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll'
with checksum 'AA0148E20D34C10E01A4A9E1BAB1D058'
2024-03-07 23:49:33,122 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_2.dll".
2024-03-07 23:49:33,122 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll'
with checksum '6722344B74084D0AF629283060716BAE'
2024-03-07 23:49:33,122 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_atomic_wait.dll".
2024-03-07 23:49:33,137 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll'
with checksum '165308EE66D0B8F11CA20F3BCD410EA9'
2024-03-07 23:49:33,137 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\msvcp140_codecvt_ids.dll".
2024-03-07 23:49:33,152 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll'
with checksum 'EF76327FF132A48F3BAC24598C99B373'
2024-03-07 23:49:33,169 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcomp140.dll".
2024-03-07 23:49:33,183 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll'
with checksum 'E9B690FBE5C4B96871214379659DD928'
2024-03-07 23:49:33,199 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140.dll".
2024-03-07 23:49:33,199 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll'
with checksum 'EB49C1D33B41EB49DFED58AAFA9B9A8F'
2024-03-07 23:49:33,215 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_1.dll".
2024-03-07 23:49:33,215 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll'
with checksum '5F533A0A43600153ECDE78ABAA7D614E'
2024-03-07 23:49:33,232 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\vcruntime140_threads.dll".
2024-03-07 23:49:33,309 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe'
with checksum 'DB5AAFA07D53B8AF783F4ECFAE2238E2'
2024-03-07 23:49:33,309 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\z3.exe".
2024-03-07 23:49:33,324 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py'
with checksum '29885F72DC972005BEB062CA03EA370D'
2024-03-07 23:49:33,324 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\example.py".
2024-03-07 23:49:33,340 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py'
with checksum '7622F267548E3552BBF8281FA6335084'
2024-03-07 23:49:33,340 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3.py".
2024-03-07 23:49:33,356 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py'
with checksum '2AB8C818DAC49723A65A1C44F4554679'
2024-03-07 23:49:33,356 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3consts.py".
2024-03-07 23:49:33,371 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py'
with checksum 'EDC5DABA7A99B4E8EB4A20AC5AC7D031'
2024-03-07 23:49:33,371 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3core.py".
2024-03-07 23:49:33,387 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py'
with checksum '22C0A73170BDD0F91B76E6A160B9C937'
2024-03-07 23:49:33,387 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3num.py".
2024-03-07 23:49:33,403 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py'
with checksum '871B33516926538E32564673DBED0ECE'
2024-03-07 23:49:33,403 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3poly.py".
2024-03-07 23:49:33,418 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py'
with checksum 'B1F27F9A935C1E7575CAC20721C2359F'
2024-03-07 23:49:33,418 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3printer.py".
2024-03-07 23:49:33,434 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py'
with checksum 'D1BCA6D5D266F3A117D4C27034899B46'
2024-03-07 23:49:33,434 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3rcf.py".
2024-03-07 23:49:33,449 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py'
with checksum '5E7C688F0E667142D184D4217B5CFD6D'
2024-03-07 23:49:33,449 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3types.py".
2024-03-07 23:49:33,449 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py'
with checksum '4A505E5FA3A95A76D24629BD0B7CE94D'
2024-03-07 23:49:33,465 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\z3util.py".
2024-03-07 23:49:33,465 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py'
with checksum '6BB9C83973ECA222DE80539171BE2476'
2024-03-07 23:49:33,481 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__init__.py".
2024-03-07 23:49:33,481 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc'
with checksum '6FFA17B35E6BA5120F3ECE3957BDF82E'
2024-03-07 23:49:33,496 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3.cpython-39.pyc".
2024-03-07 23:49:33,496 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc'
with checksum 'EF282F3F15808B224DDD3CAD86476704'
2024-03-07 23:49:33,512 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3consts.cpython-39.pyc".
2024-03-07 23:49:33,528 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc'
with checksum 'F1FA1BC240E2921C5141B6337D9D7B6B'
2024-03-07 23:49:33,528 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3core.cpython-39.pyc".
2024-03-07 23:49:33,543 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc'
with checksum '58A30085AC4468E6EBD8B9F51833538E'
2024-03-07 23:49:33,561 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3num.cpython-39.pyc".
2024-03-07 23:49:33,561 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc'
with checksum 'D5D261DC244B14F912F15FAC19BD4E53'
2024-03-07 23:49:33,577 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3poly.cpython-39.pyc".
2024-03-07 23:49:33,577 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc'
with checksum '8D21EE2B5C63978AA3E85D8983ED7E0E'
2024-03-07 23:49:33,590 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3printer.cpython-39.pyc".
2024-03-07 23:49:33,590 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc'
with checksum 'B891B2CF2B46AE93EA0189BA2CE8A644'
2024-03-07 23:49:33,590 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3rcf.cpython-39.pyc".
2024-03-07 23:49:33,607 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc'
with checksum '28D553E1641DAE34C471148D60A6F43A'
2024-03-07 23:49:33,607 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3types.cpython-39.pyc".
2024-03-07 23:49:33,621 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc'
with checksum '6D33A7EABA0D662F2B33B9612515644C'
2024-03-07 23:49:33,621 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\z3util.cpython-39.pyc".
2024-03-07 23:49:33,637 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc'
with checksum '819366104CC795188E16D2773B2C1BE5'
2024-03-07 23:49:33,637 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\bin\python\z3\__pycache__\__init__.cpython-39.pyc".
2024-03-07 23:49:33,653 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h'
with checksum 'D1F95277FD6EF959256E0D748556A10D'
2024-03-07 23:49:33,653 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3++.h".
2024-03-07 23:49:33,668 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h'
with checksum '0602E2A11D0409DF0C3DF0D74DF9E9BB'
2024-03-07 23:49:33,668 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3.h".
2024-03-07 23:49:33,684 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h'
with checksum 'C8936A5692C777B83E3A7A8F14A3954B'
2024-03-07 23:49:33,684 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_algebraic.h".
2024-03-07 23:49:33,699 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h'
with checksum '366DDA906230CA038E538DE78A205A43'
2024-03-07 23:49:33,699 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_api.h".
2024-03-07 23:49:33,715 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h'
with checksum '7BD14C7167A2B963CC8F816A465C129D'
2024-03-07 23:49:33,715 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_ast_containers.h".
2024-03-07 23:49:33,731 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h'
with checksum '541CD560A009030C0CA714F29D8F4F78'
2024-03-07 23:49:33,731 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fixedpoint.h".
2024-03-07 23:49:33,747 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h'
with checksum 'B45F64AAFB4C930A00A04E110893198A'
2024-03-07 23:49:33,747 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_fpa.h".
2024-03-07 23:49:33,762 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h'
with checksum 'FC52E663352B3480C330E33251668F3E'
2024-03-07 23:49:33,762 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_macros.h".
2024-03-07 23:49:33,777 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h'
with checksum '17AA872A47E02AB6814F98754B97748A'
2024-03-07 23:49:33,777 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_optimization.h".
2024-03-07 23:49:33,793 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h'
with checksum '0FEB0C1B89A1CF44C8FFBF198D4E4326'
2024-03-07 23:49:33,793 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_polynomial.h".
2024-03-07 23:49:33,808 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h'
with checksum 'F60A9E5C257089988260C6BDF0F5A0A3'
2024-03-07 23:49:33,808 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_rcf.h".
2024-03-07 23:49:33,824 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h'
with checksum 'B8125A332163A59D09751DECDE319F03'
2024-03-07 23:49:33,824 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_spacer.h".
2024-03-07 23:49:33,840 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h'
with checksum '4E173E65B2EE8814EFD03B704B3628F7'
2024-03-07 23:49:33,840 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_v1.h".
2024-03-07 23:49:33,857 2068 [DEBUG] - Found 'C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h'
with checksum '701D9B77718ADE3C595B109C632A6133'
2024-03-07 23:49:33,857 2068 [DEBUG] - Attempting to delete file "C:\ProgramData\chocolatey\lib\z3\tools\bin\include\z3_version.h".
2024-03-07 23:49:33,873 2068 [DEBUG] - Attempting to delete directory "C:\ProgramData\chocolatey\lib\z3".
2024-03-07 23:49:33,887 2068 [INFO ] - z3 has been successfully uninstalled.
2024-03-07 23:49:33,887 2068 [DEBUG] - Removing nupkg if it still exists.
2024-03-07 23:49:33,902 2068 [DEBUG] - Ensuring removal of installation files.
2024-03-07 23:49:33,966 2068 [WARN ] -
Chocolatey uninstalled 1/1 packages.
See the log for details (C:\ProgramData\chocolatey\logs\chocolatey.log).
2024-03-07 23:49:33,981 2068 [DEBUG] - Sending message 'PostRunMessage' out if there are subscribers...
2024-03-07 23:49:33,997 2068 [DEBUG] - Exiting with 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment