¿Dónde descarga Vagrant sus archivos .box?

¿Qué sucede con el archivo .box después de ejecutar el siguiente comando?

vagrant box add lucid32 http://files.vagrantup.com/lucid32.box

No puedo encontrar ellucid32.box archivo en el sistema de archivos después de que se haya completado la descarga.