for ACM ICPC