ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/1d/LIB/ElisTarskiPf_A/Xs2.1.1.1.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/1e/LIB/ElisTarskiPf_A/Xs2.1.1.2.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/q/LIB/ElisTarskiPf_A/Xup_reps.1.1.1.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/2c/LIB/ElisTarskiPf_A/DEFS30.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/r/LIB/ElisTarskiPf_A/Xup_reps.1.1.2.html’ encountered an error: Connect timed out.
ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/h/LIB/ElisTarskiPf_A/Xreps_wf2.1.1.1.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/29/LIB/ElisTarskiPf_A/DEFS27.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/O/LIB/ElisTarskiPf_A/Xqsubx_repst.1.1.1.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/h/LIB/ElisTarskiPf_A/Xreps_wf2.1.1.1.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/G/LIB/ElisTarskiPf_A/Xqup_up_repst.1.1.2.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/E/LIB/ElisTarskiPf_A/Xqup_up_repst.1.1.1.html’ encountered an error: Connect timed out.


ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/O/LIB/ElisTarskiPf_A/Xqsubx_repst.1.1.1.html’ encountered an error: Connect timed out.
ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/c/LIB/ElisTarskiPf_A/Xreps_wf.1.1.1.html’ encountered an error: Connect timed out.
ERROR Fetching ‘http://sardine.cs.columbia.edu:8080/empty/nuprl/G/LIB/ElisTarskiPf_A/Xqup_up_repst.1.1.2.html’ encountered an error: Connect timed out.


163884307 bytes.


Finished WgetDownload for Item


Starting RelabelIfAborted for Item