atcoder tenka1 2013quala