My laptop is 64-bit but I noticed the executable file, sqlite3.exe is only for 32-bit. Will that work?