/home/vmcai2021/AProVE/z3Spacer/code/src/api/dotnet/obj/Debug/.NETFramework,Version=v4.0,Profile=Client.AssemblyAttribute.cs
/home/vmcai2021/AProVE/z3Spacer/code/src/api/Debug/Microsoft.Z3.dll.mdb
/home/vmcai2021/AProVE/z3Spacer/code/src/api/Debug/Microsoft.Z3.dll
/home/vmcai2021/AProVE/z3Spacer/code/src/api/dotnet/obj/Debug/Microsoft.Z3.dll
/home/vmcai2021/AProVE/z3Spacer/code/src/api/dotnet/obj/Debug/Microsoft.Z3.dll.mdb
