gcc-5-base 5.4.0-6ubuntu1~16.04.1
gcc-6-base 6.0.1-0ubuntu1
libc6 2.23-0ubuntu3
libgcc1 1:6.0.1-0ubuntu1
libgomp1 5.4.0-6ubuntu1~16.04.1
libstdc++6 5.4.0-6ubuntu1~16.04.1
libz3-dev 4.4.0-5