library for icpc 2013.