codechef; use the `size_type` typedef of vector when iterating it