from sys import argv

pins = ["D0", "D1", "D2", "D3", "D4", "SS", "A0", "A1", "A6", "A7"]
pinstates = dict((k, 0) for k in pins)

time = 0
for line in open(argv[1]):
	parts = line.strip().split(" ")
	time += int(parts[0])
	for p in pins:
		if "%s = " % p in line:
			pinstates[p] = parts[parts.index(p) + 2] # "D0 = 1"
	pins = pinstates.items()
	pins.sort()
	print time, " ".join(map(str, pins))
	#print time, " ".join([str(v) for k, v in pins])