Judge core for UESTC Online Judge