#include <iostream>
#include <fstream>
#include <vector>
#include <iterator>
using namespace std;
int main() {
ifstream f("input.txt");
vector<int> v;
copy(istream_iterator<int>(f), istream_iterator<int>(), back_inserter(v));
for(int item : v) {
cout << item << " : " << item + 1 << endl;
}
}
10 15 30 80 20