hacks/metadata_from_problem

   1 #!/usr/bin/python3
   2
   3 import sys
   4
   5 on = False
   6 for line in sys.stdin:
   7     line = line.strip()
   8     if line == '<?xml version="1.0" encoding="UTF-8"?>' or on:
   9         print(line)
  10         on = True
  11     if line == '</Metadata>':
  12         on = False
  13
  14