#include <bits/stdc++.h>
using namespace std;
int main() {
  string second;
  string ans;
  getline(cin, second);
  int cnt = 0;
  for (int i = 0; i < int(int(second.size())); i++) {
    if (second[i] == ' ') {
      if (i - 1 >= 0 && second[i - 1] >= '0' && second[i - 1] <= '9') {
        for (int j = int(i + 1); j <= int(int(second.size()) - 1); j++) {
          if (second[j] == ',' || second[j] == '.') break;
          if (second[j] >= '0' && second[j] <= '9') {
            ans += " ";
            i = j;
            i--;
            break;
          }
        }
      }
    } else if (second[i] >= '0' && second[i] <= '9') {
      ans += second[i];
      cnt = 0;
      if (i + 1 < int(second.size())) {
        for (int j = int(i + 1); j <= int(int(second.size()) - 1); j++) {
          if (second[j] >= '0' && second[j] <= '9') break;
          if (second[j] == ',') break;
          if (second[j] == '.') {
            ans += " ";
            i = j;
            i--;
            break;
          }
        }
      }
    } else if (cnt == 3 && second[i] != ',') {
      i--;
      cnt = 0;
      if (i + 1 < int(second.size())) ans += " ";
    } else if (second[i] == ',') {
      ans += second[i];
      if (i + 1 < int(second.size())) ans += " ";
      cnt = 0;
    } else if (second[i] == '.') {
      ans += second[i];
      cnt++;
    }
  }
  cout << ans << endl;
  return 0;
}
