I succeeded with pre_upgrade_verifier.
Than I did the Export of the management database and transferred the file to a newly installed R80.40 Management server.
On a newly installed R80.40 server I installed the licenses. When I tried to import the management database, I faced this error: #
# ./migrate import -l /var/log/cpupgrade/migrated_export_file.tgz
This utility requires the Check Point Security Management Server.
During the OS installation I chose “Security management”. It looks like not enough. I performed the first-time config wizard (although it's written not to do it in the Advanced Migration Guide). However, during wizard it’s being chosen the server role ( the Security Management Server in my case)
After that “migrate import” script started working.
After it finished I started SmartConsole, and so far it everything looks very good!
There are a lot of objects, there are my gateways, hosts, networks, services. There are no objects names which are displayed as "Unavailable".