1  #!/bin/env python
2  from sys import stdin
3  import re
4  
5  no_spans = re.compile(r'(Spanned \{ kind: |, span: [0-9]+\.\.[0-9]+ \})')
6  
7  for line in stdin.readlines():
8      line = no_spans.sub("", line)
9      print(line, end='')