--2013-10-03 07:01:14--  http://focal.inria.fr/zenon/zenon-0.7.1.tar.xz
Resolving focal.inria.fr... 193.51.192.154
Connecting to focal.inria.fr|193.51.192.154|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 160656 (157K) [application/x-tar]
Saving to: `./zenon-0.7.1.tar.xz'

     0K .......... .......... .......... .......... .......... 31% 78.6K 1s
    50K .......... .......... .......... .......... .......... 63%  163K 1s
   100K .......... .......... .......... .......... .......... 95%  212K 0s
   150K ......                                                100%  166K=1.2s

2013-10-03 07:01:16 (129 KB/s) - `./zenon-0.7.1.tar.xz' saved [160656/160656]

--2013-10-03 07:01:16--  http://focal.inria.fr/zenon/zenlpar07.pdf
Resolving focal.inria.fr... 193.51.192.154
Connecting to focal.inria.fr|193.51.192.154|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 423125 (413K) [application/pdf]
Saving to: `./zenlpar07.pdf'

     0K .......... .......... .......... .......... .......... 12%  338K 1s
    50K .......... .......... .......... .......... .......... 24%  313K 1s
   100K .......... .......... .......... .......... .......... 36%  316K 1s
   150K .......... .......... .......... .......... .......... 48%  316K 1s
   200K .......... .......... .......... .......... .......... 60%  169K 1s
   250K .......... .......... .......... .......... .......... 72%  331K 0s
   300K .......... .......... .......... .......... .......... 84%  327K 0s
   350K .......... .......... .......... .......... .......... 96%  321K 0s
   400K .......... ...                                        100% 4.56M=1.4s

2013-10-03 07:01:18 (299 KB/s) - `./zenlpar07.pdf' saved [423125/423125]