./lfsc_src.zip already exists, skipping download
./license.txt already exists, skipping download
./th_lra-cvc3.plf already exists, skipping download
./color_base.plf already exists, skipping download
./color_euf.plf already exists, skipping download
./euf_interpolation.plf already exists, skipping download
./readme-lfsc.txt already exists, skipping download
./sat.plf already exists, skipping download
./smt.plf already exists, skipping download
./th_base.plf already exists, skipping download
./th_real.plf already exists, skipping download
./th_lra.plf already exists, skipping download
Getting http://clc.cs.uiowa.edu/lfsc/lfsc_src.zip to ./lfsc_src.zip
Getting http://clc.cs.uiowa.edu/lfsc/license.txt to ./license.txt
Getting http://clc.cs.uiowa.edu/lfsc/th_lra-cvc3.plf to ./th_lra-cvc3.plf
Getting http://clc.cs.uiowa.edu/lfsc/color_base.plf to ./color_base.plf
Getting http://clc.cs.uiowa.edu/lfsc/color_euf.plf to ./color_euf.plf
Getting http://clc.cs.uiowa.edu/lfsc/euf_interpolation.plf to ./euf_interpolation.plf
Getting http://clc.cs.uiowa.edu/lfsc/readme-lfsc.txt to ./readme-lfsc.txt
Getting http://clc.cs.uiowa.edu/lfsc/sat.plf to ./sat.plf
Getting http://clc.cs.uiowa.edu/lfsc/smt.plf to ./smt.plf
Getting http://clc.cs.uiowa.edu/lfsc/th_base.plf to ./th_base.plf
Getting http://clc.cs.uiowa.edu/lfsc/th_real.plf to ./th_real.plf
Getting http://clc.cs.uiowa.edu/lfsc/th_lra.plf to ./th_lra.plf