--2013-09-30 13:19:40--  http://pvs.csl.sri.com/doc/pvs-prelude.pdf
Resolving pvs.csl.sri.com... 130.107.1.243
Connecting to pvs.csl.sri.com|130.107.1.243|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 303145 (296K) [application/pdf]
Saving to: `./pvs-prelude.pdf'

     0K .......... .......... .......... .......... .......... 16%  476K 1s
    50K .......... .......... .......... .......... .......... 33%  406K 0s
   100K .......... .......... .......... .......... .......... 50%  301K 0s
   150K .......... .......... .......... .......... .......... 67%  266K 0s
   200K .......... .......... .......... .......... .......... 84%  409K 0s
   250K .......... .......... .......... .......... ......    100%  208K=0.9s

2013-09-30 13:19:41 (319 KB/s) - `./pvs-prelude.pdf' saved [303145/303145]

--2013-09-30 13:19:41--  http://pvs.csl.sri.com/doc/interpretations.pdf
Resolving pvs.csl.sri.com... 130.107.1.243
Connecting to pvs.csl.sri.com|130.107.1.243|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 118861 (116K) [application/pdf]
Saving to: `./interpretations.pdf'

     0K .......... .......... .......... .......... .......... 43%  157K 0s
    50K .......... .......... .......... .......... .......... 86%  139K 0s
   100K .......... ......                                     100% 88.9K=0.9s

2013-09-30 13:19:42 (135 KB/s) - `./interpretations.pdf' saved [118861/118861]

--2013-09-30 13:19:42--  http://pvs.csl.sri.com/papers/csl-97-2/csl-97-2.ps.gz
Resolving pvs.csl.sri.com... 130.107.1.243
Connecting to pvs.csl.sri.com|130.107.1.243|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 188705 (184K) [application/x-gzip]
Saving to: `./csl-97-2.ps.gz'

     0K .......... .......... .......... .......... .......... 27% 56.2K 2s
    50K .......... .......... .......... .......... .......... 54% 79.2K 1s
   100K .......... .......... .......... .......... .......... 81% 62.9K 1s
   150K .......... .......... .......... ....                 100% 33.9K=3.3s

2013-09-30 13:19:45 (55.4 KB/s) - `./csl-97-2.ps.gz' saved [188705/188705]

--2013-09-30 13:19:45--  http://pvs.csl.sri.com/papers/csl-93-9/csl-93-9.ps.gz
Resolving pvs.csl.sri.com... 130.107.1.243
Connecting to pvs.csl.sri.com|130.107.1.243|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 94825 (93K) [application/x-gzip]
Saving to: `./csl-93-9.ps.gz'

     0K .......... .......... .......... .......... .......... 53% 46.5K 1s
    50K .......... .......... .......... .......... ..        100% 35.9K=2.3s

2013-09-30 13:19:48 (40.9 KB/s) - `./csl-93-9.ps.gz' saved [94825/94825]