Tropical vector leave free for download