Problems from International Collegiate Programming Contest (ACM-ICPC) World Finals 2013