vector<int> vec(10000);     int size = 0, tmp = 0;     while(cin >> tmp) {         vec[size++] = tmp;         if (getchar() == '\n&(392)#39;) break;     }     vec.resize(size);