How much bigger would jinwoo's army be if he could extract demons?