If there is any unicode character in one problem's ID, the runs of this
problem cannot be searched, because the unicode character seems to be
modified by ZOJ2.0 automatically in search process.
Original issue reported on code.google.com by Fanazhe@gmail.com on 18 Jul 2008 at 3:32
Original issue reported on code.google.com by
Fanazhe@gmail.com
on 18 Jul 2008 at 3:32