main=interact(""#) (a:b)#('?':c)=a:b#c a#('(':c)='(':(')':a)#c a#(b:c)|b`elem`"[{"=b:(succ(succ b):a)#c|True=b:a#c _#_=""