# HTTP cookie file.
# Generated by Wget on 2013-12-18 10:14:33.
# Edit at your own risk.