Extracting user IDs from Burp output

username-slice.py

import re

file = open("/root/Desktop/enum.txt","r")
out = open("enum-out.txt","w")
text = file.read()

m = re.findall(r'workgroup%5C(\w+)',text)

if m:
    print ("\n".join(m))
    print str(len(m)) + " unique ids processed"
    out.write("\n".join(m))