Added the first databases (verification.utils and atnt)