import sys, os

java = os.popen("java -Xmx256m -classpath FOL.jar FOLTester %s" % sys.argv[1])
lines = java.readlines()
line = lines[-1]
if line[0] == "{":
    line = line[1:]
if line[-1] == "}":
    line = line[:-2]

assignments = line.split(", ")
assign = [x.split("=") for x in assignments]
trueAssign = [x[0] for x in assign if x[1]=="true"]
trueAssign.sort()
for x in trueAssign:
    print x