EE+world vs world pickled.fox.cs.cmu.edu -p 4577 / 5000 9:00 PM EST / 6:00 PM PST (Please wait until 9:15 PM before trying port 4566. Thanks) -K