@ThomasKwa Without u in sys.argv[0], this is executed char_table = ''.join(sorted(set(''.join(map(chr,range(0,128))) + reu_litlist + str_arity))) before anything else.
That means the encoding is variable for now; it changes every time I add an operator. This is solely for scoring purposes anyway. You'd usually use UTF-8.