import re,sys;S=re.sub
P=lambda l:eval(S("([A-Z0-9][A-Z0-9 ]*)",r"' '.join('\1'.strip().split())",S("NIL","()",S("\)",",)",l))))
d={"QUOTE":'(v,L[1])[1]',"EQ":'[(),"T"][E(L[1],v)==E(L[2],v)]',
"CDR":'E(L[1],v)[1:]',"CONS":'(E(L[1],v),)+E(L[2],v)',"CAR":'E(L[1],v)[0]',
"LAMBDA":'("#",)+L[1:]',"LABEL":'[v.update({L[1]:E(L[2],v)}),L[1]][1]'}
def E(L,v):
 if L*0=="":return v[L]
 elif L[0]in d:return eval(d[L[0]])
 elif L[0]=="COND":return next(E(l[1],v)for l in L[1:]if E(l[0],v)=="T")
 elif L[0]=="ATOM":o=E(L[1],v);return[(),"T"][o*0in["",o]]
 else:l=E(L[0],v);n=v.copy();n.update({a:E(p,v)for a,p in zip(l[1],L[1:])});return E(l[2],n)
R=lambda o:o==()and"NIL"or 0*o==()and"(%s)"%", ".join(R(e)for e in o)or o
g={}
for l in sys.stdin:
 if l.strip():print(R(E(P(l),g)))

aW1wb3J0IHJlLHN5cztTPXJlLnN1YgpQPWxhbWJkYSBsOmV2YWwoUygiKFtBLVowLTldW0EtWjAtOSBdKikiLHIiJyAnLmpvaW4oJ1wxJy5zdHJpcCgpLnNwbGl0KCkpIixTKCJOSUwiLCIoKSIsUygiXCkiLCIsKSIsbCkpKSkKZD17IlFVT1RFIjonKHYsTFsxXSlbMV0nLCJFUSI6J1soKSwiVCJdW0UoTFsxXSx2KT09RShMWzJdLHYpXScsCiJDRFIiOidFKExbMV0sdilbMTpdJywiQ09OUyI6JyhFKExbMV0sdiksKStFKExbMl0sdiknLCJDQVIiOidFKExbMV0sdilbMF0nLAoiTEFNQkRBIjonKCIjIiwpK0xbMTpdJywiTEFCRUwiOidbdi51cGRhdGUoe0xbMV06RShMWzJdLHYpfSksTFsxXV1bMV0nfQpkZWYgRShMLHYpOgogaWYgTCowPT0iIjpyZXR1cm4gdltMXQogZWxpZiBMWzBdaW4gZDpyZXR1cm4gZXZhbChkW0xbMF1dKQogZWxpZiBMWzBdPT0iQ09ORCI6cmV0dXJuIG5leHQoRShsWzFdLHYpZm9yIGwgaW4gTFsxOl1pZiBFKGxbMF0sdik9PSJUIikKIGVsaWYgTFswXT09IkFUT00iOm89RShMWzFdLHYpO3JldHVyblsoKSwiVCJdW28qMGluWyIiLG9dXQogZWxzZTpsPUUoTFswXSx2KTtuPXYuY29weSgpO24udXBkYXRlKHthOkUocCx2KWZvciBhLHAgaW4gemlwKGxbMV0sTFsxOl0pfSk7cmV0dXJuIEUobFsyXSxuKQpSPWxhbWJkYSBvOm89PSgpYW5kIk5JTCJvciAwKm89PSgpYW5kIiglcykiJSIsICIuam9pbihSKGUpZm9yIGUgaW4gbylvciBvCmc9e30KZm9yIGwgaW4gc3lzLnN0ZGluOgogaWYgbC5zdHJpcCgpOnByaW50KFIoRShQKGwpLGcpKSk=

KExBQkVMLCBBREQsIChMQU1CREEsIChBLCBCKSwgKENPTkQsICgoQVRPTSwgQSksIEIpLCAoKFFVT1RFLCBUKSwgKENPTlMsIChDQVIsIEEpLCAoQURELCAoQ0RSLCBBKSwgQikpKSkpKQoKKExBQkVMLCBMRU4sIChMQU1CREEsIChMKSwgKENPTkQsICgoQVRPTSwgTCksIChRVU9URSwgMCkpLCAoKEFUT00sIChDRFIsIEwpKSwgKFFVT1RFLCAxKSksICgoQVRPTSwgKENEUiwgKENEUiwgTCkpKSwgKFFVT1RFLCAyKSksICgoQVRPTSwgKENEUiwgKENEUiwgKENEUiwgTCkpKSksIChRVU9URSwgMykpLCAoKEFUT00sIChDRFIsIChDRFIsIChDRFIsIChDRFIsIEwpKSkpKSwgKFFVT1RFLCA0KSksICgoQVRPTSwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgTCkpKSkpKSwgKFFVT1RFLCA1KSksICgoQVRPTSwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgTCkpKSkpKSksIChRVU9URSwgNikpLCAoKEFUT00sIChDRFIsIChDRFIsIChDRFIsIChDRFIsIChDRFIsIChDRFIsIChDRFIsIEwpKSkpKSkpKSwgKFFVT1RFLCA3KSksICgoQVRPTSwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgTCkpKSkpKSkpKSwgKFFVT1RFLCA4KSksICgoQVRPTSwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgKENEUiwgTCkpKSkpKSkpKSksIChRVU9URSwgOSkpLCAoKFFVT1RFLCBUKSwgKFFVT1RFLCBURU4gT1IgTU9SRSkpKSkpCgooTEFCRUwsIERJRywgKExBTUJEQSwgKEQpLCAoQ09ORCwgKChFUSwgRCwgKFFVT1RFLCAxKSksIChDT05TLCAoUVVPVEUsIEkpLCAoUVVPVEUsIE5JTCkpKSwgKChFUSwgRCwgKFFVT1RFLCAyKSksIChDT05TLCAoUVVPVEUsIEkpLCAoRElHLCAoUVVPVEUsIDEpKSkpLCAoKEVRLCBELCAoUVVPVEUsIDMpKSwgKENPTlMsIChRVU9URSwgSSksIChESUcsIChRVU9URSwgMikpKSksICgoRVEsIEQsIChRVU9URSwgNCkpLCAoQ09OUywgKFFVT1RFLCBJKSwgKERJRywgKFFVT1RFLCAzKSkpKSwgKChFUSwgRCwgKFFVT1RFLCA1KSksIChDT05TLCAoUVVPVEUsIEkpLCAoRElHLCAoUVVPVEUsIDQpKSkpLCAoKEVRLCBELCAoUVVPVEUsIDYpKSwgKENPTlMsIChRVU9URSwgSSksIChESUcsIChRVU9URSwgNSkpKSksICgoRVEsIEQsIChRVU9URSwgNykpLCAoQ09OUywgKFFVT1RFLCBJKSwgKERJRywgKFFVT1RFLCA2KSkpKSwgKChFUSwgRCwgKFFVT1RFLCA4KSksIChDT05TLCAoUVVPVEUsIEkpLCAoRElHLCAoUVVPVEUsIDcpKSkpLCAoKEVRLCBELCAoUVVPVEUsIDkpKSwgKENPTlMsIChRVU9URSwgSSksIChESUcsIChRVU9URSwgOCkpKSksICgoUVVPVEUsIFQpLCAoUVVPVEUsIE5JTCkpKSkpCgooTEFCRUwsIE1VTCBIRUxQRVIsIChMQU1CREEsIChBLCBCLCBSKSwgKENPTkQsICgoQVRPTSwgQSksIFIpLCAoKFFVT1RFLCBUKSwgKE1VTCBIRUxQRVIsIChDRFIsIEEpLCBCLCAoQURELCBCLCBSKSkpKSkpCihMQUJFTCwgTVVMLCAoTEFNQkRBLCAoQSwgQiksIChNVUwgSEVMUEVSLCBBLCBCLCAoUVVPVEUsIE5JTCkpKSkKCihMQUJFTCwgU1VCLCAoTEFNQkRBLCAoQSwgQiksIChDT05ELCAoKEFUT00sIEIpLCBBKSwgKChRVU9URSwgVCksIChTVUIsIChDRFIsIEEpLCAoQ0RSLCBCKSkpKSkpCgooTEFCRUwsIExFU1MsIChMQU1CREEsIChBLCBCKSwgKENPTkQsICgoQVRPTSwgQiksIChRVU9URSwgTklMKSksICgoQVRPTSwgQSksIChRVU9URSwgVCkpLCAoKFFVT1RFLCBUKSwgKExFU1MsIChDRFIsIEEpLCAoQ0RSLCBCKSkpKSkpCihMQUJFTCwgRElWIEhFTFBFUiwgKExBTUJEQSwgKEEsIEIsIFIpLCAoQ09ORCwgKChMRVNTLCBBLCBCKSwgUiksICgoUVVPVEUsIFQpLCAoRElWIEhFTFBFUiwgKFNVQiwgQSwgQiksIEIsIChDT05TLCAoUVVPVEUsIEkpLCBSKSkpKSkpCihMQUJFTCwgRElWLCAoTEFNQkRBLCAoQSwgQiksIChESVYgSEVMUEVSLCBBLCBCLCAoUVVPVEUsIE5JTCkpKSkKCihMQUJFTCwgTU9ELCAoTEFNQkRBLCAoQSwgQiksIChTVUIsIEEsIChNVUwsIEIsIChESVYsIEEsIEIpKSkpKQooTEFCRUwsIEVYUCBIRUxQRVIsIChMQU1CREEsIChBLCBCLCBDKSwgKENPTkQsICgoQVRPTSwgKENEUiwgQikpLCBBKSwgKChRVU9URSwgVCksIChFWFAgSEVMUEVSLCAoTVVMLCBBLCBDKSwgKENEUiwgQiksIEMpKSkpKQooTEFCRUwsIEVYUCwgKExBTUJEQSwgKEEsIEIpLCAoQ09ORCwgKChBVE9NLCBCKSwgKERJRywgKFFVT1RFLCAxKSkpLCAoKFFVT1RFLCBUKSwgKEVYUCBIRUxQRVIsIEEsIEIsIEEpKSkpKQoKKExBQkVMLCBCQVNFLCAoTEFNQkRBLCAoTiwgQiksIChDT05ELCAoKEFUT00sIChESVYsIE4sIEIpKSwgKENPTlMsIChMRU4sIE4pLCAoUVVPVEUsIE5JTCkpKSwgKChRVU9URSwgVCksIChBREQsIChCQVNFLCAoRElWLCBOLCBCKSwgQiksIChDT05TLCAoTEVOLCAoTU9ELCBOLCBCKSksIChRVU9URSwgTklMKSkpKSkpKQoKKExBQkVMLCBURU4sIChDT05TLCAoUVVPVEUsIEkpLCAoRElHLCAoUVVPVEUsIDkpKSkpCgooTEFCRUwsIFBPVywgKExBTUJEQSwgKEEsIEIpLCAoQkFTRSwgKEVYUCwgKERJRywgQSksIChESUcsIEIpKSwgVEVOKSkpCgooUE9XLCAoUVVPVEUsIDIpLCAoUVVPVEUsIDgpKQ==

(LABEL, ADD, (LAMBDA, (A, B), (COND, ((ATOM, A), B), ((QUOTE, T), (CONS, (CAR, A), (ADD, (CDR, A), B))))))

(LABEL, LEN, (LAMBDA, (L), (COND, ((ATOM, L), (QUOTE, 0)), ((ATOM, (CDR, L)), (QUOTE, 1)), ((ATOM, (CDR, (CDR, L))), (QUOTE, 2)), ((ATOM, (CDR, (CDR, (CDR, L)))), (QUOTE, 3)), ((ATOM, (CDR, (CDR, (CDR, (CDR, L))))), (QUOTE, 4)), ((ATOM, (CDR, (CDR, (CDR, (CDR, (CDR, L)))))), (QUOTE, 5)), ((ATOM, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, L))))))), (QUOTE, 6)), ((ATOM, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, L)))))))), (QUOTE, 7)), ((ATOM, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, L))))))))), (QUOTE, 8)), ((ATOM, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, (CDR, L)))))))))), (QUOTE, 9)), ((QUOTE, T), (QUOTE, TEN OR MORE)))))

(LABEL, DIG, (LAMBDA, (D), (COND, ((EQ, D, (QUOTE, 1)), (CONS, (QUOTE, I), (QUOTE, NIL))), ((EQ, D, (QUOTE, 2)), (CONS, (QUOTE, I), (DIG, (QUOTE, 1)))), ((EQ, D, (QUOTE, 3)), (CONS, (QUOTE, I), (DIG, (QUOTE, 2)))), ((EQ, D, (QUOTE, 4)), (CONS, (QUOTE, I), (DIG, (QUOTE, 3)))), ((EQ, D, (QUOTE, 5)), (CONS, (QUOTE, I), (DIG, (QUOTE, 4)))), ((EQ, D, (QUOTE, 6)), (CONS, (QUOTE, I), (DIG, (QUOTE, 5)))), ((EQ, D, (QUOTE, 7)), (CONS, (QUOTE, I), (DIG, (QUOTE, 6)))), ((EQ, D, (QUOTE, 8)), (CONS, (QUOTE, I), (DIG, (QUOTE, 7)))), ((EQ, D, (QUOTE, 9)), (CONS, (QUOTE, I), (DIG, (QUOTE, 8)))), ((QUOTE, T), (QUOTE, NIL)))))

(LABEL, MUL HELPER, (LAMBDA, (A, B, R), (COND, ((ATOM, A), R), ((QUOTE, T), (MUL HELPER, (CDR, A), B, (ADD, B, R))))))
(LABEL, MUL, (LAMBDA, (A, B), (MUL HELPER, A, B, (QUOTE, NIL))))

(LABEL, SUB, (LAMBDA, (A, B), (COND, ((ATOM, B), A), ((QUOTE, T), (SUB, (CDR, A), (CDR, B))))))

(LABEL, LESS, (LAMBDA, (A, B), (COND, ((ATOM, B), (QUOTE, NIL)), ((ATOM, A), (QUOTE, T)), ((QUOTE, T), (LESS, (CDR, A), (CDR, B))))))
(LABEL, DIV HELPER, (LAMBDA, (A, B, R), (COND, ((LESS, A, B), R), ((QUOTE, T), (DIV HELPER, (SUB, A, B), B, (CONS, (QUOTE, I), R))))))
(LABEL, DIV, (LAMBDA, (A, B), (DIV HELPER, A, B, (QUOTE, NIL))))

(LABEL, MOD, (LAMBDA, (A, B), (SUB, A, (MUL, B, (DIV, A, B)))))
(LABEL, EXP HELPER, (LAMBDA, (A, B, C), (COND, ((ATOM, (CDR, B)), A), ((QUOTE, T), (EXP HELPER, (MUL, A, C), (CDR, B), C)))))
(LABEL, EXP, (LAMBDA, (A, B), (COND, ((ATOM, B), (DIG, (QUOTE, 1))), ((QUOTE, T), (EXP HELPER, A, B, A)))))

(LABEL, BASE, (LAMBDA, (N, B), (COND, ((ATOM, (DIV, N, B)), (CONS, (LEN, N), (QUOTE, NIL))), ((QUOTE, T), (ADD, (BASE, (DIV, N, B), B), (CONS, (LEN, (MOD, N, B)), (QUOTE, NIL)))))))

(LABEL, TEN, (CONS, (QUOTE, I), (DIG, (QUOTE, 9))))

(LABEL, POW, (LAMBDA, (A, B), (BASE, (EXP, (DIG, A), (DIG, B)), TEN)))

(POW, (QUOTE, 2), (QUOTE, 8))