if(row.size()>col_width.size())
col_width.resize(row.size(), 0);
for(unsigned j=0; j<row.size(); ++j)
col_width[j] = max<unsigned>(col_width[j], row[j].size());
}
if(row.size()>col_width.size())
col_width.resize(row.size(), 0);
for(unsigned j=0; j<row.size(); ++j)
col_width[j] = max<unsigned>(col_width[j], row[j].size());
}