fork download
  1. import re
  2. s = "User 1 2 3 4 5 6 7 10000 100007 user.b user.x 30000 80001 user.c"
  3. res = re.sub(r'(?:\s*\b\d\b)+', '', s)
  4. print(res)
Success #stdin #stdout 0s 9024KB
stdin
Standard input is empty
stdout
User 10000 100007 user.b user.x 30000 80001 user.c