--2010-06-02 22:22:05--  http://fmv.jku.at/picosat/picosat-913.tar.gz
Resolving fmv.jku.at... 140.78.3.19
Connecting to fmv.jku.at|140.78.3.19|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 44863 (44K) [application/x-gzip]
Remote file is newer, retrieving.

--2010-06-02 22:22:06--  http://fmv.jku.at/picosat/picosat-913.tar.gz
Reusing existing connection to fmv.jku.at:80.
HTTP request sent, awaiting response... 200 OK
Length: 44863 (44K) [application/x-gzip]
Saving to: `./picosat-913.tar.gz'

     0K .......... .......... .......... .......... ...       100% 49.1K=0.9s

2010-06-02 22:22:07 (49.1 KB/s) - `./picosat-913.tar.gz' saved [44863/44863]