head, tail = os.path.splitext(gt)
if tail == ".txt":
tail = ""
return head + tail + ".".join(map(str, sys.version_info)) + ".pickle"
return head + tail + ".pickle"
def load_grammar(gt="Grammar.txt", gp=None,