S1 = {}