# MISSNG UR LEYEBRARY?!!?!!
# BET UR MAD BAKADESU HAHAHAHHAHAHAHAH
# t. cirno

idspace = {}
funcspace = {}

def execute(program):
    import traceback
    def _execute(ctx):
        import sys, functools
        def _ident(name):
            return ("identifier", name)
        def _destr(t):
            return t[1] if t[0] == "string" else ""
        def _fixarr(a):
            a = [a] if not type(a) == type([]) else a
            for i in a:
                if i[0] == "identifier" and i in idspace:
                    a[a.index(i)] = idspace[i]
            return a
        def _recursereplace(i, fr, to):
            if type(i) == type([]):
                subs = list(
                    map(lambda a: _recursereplace(a, fr, to), i)
                )
                return subs
            else:
                return to if i == fr else i
        def _truthy(i):
            if i[0] == "string":
                return True if i[1] else False
            elif i[0] == "number":
                return False if i[1] == 0 else True
            elif type(i) == type([]):
                good = False
                for j in i:
                    if _truthy(j):
                        good = True
                        break
                return good
            else:
                return False
        def _box(item):
            if type(item) == type(0) or type(item) == type(0.0):
                return ("number", item)
            elif type(item) == type(""):
                return ("string", item)
            else:
                return ("identifier", item)
        if type(ctx) == type([]) and ctx[0][0] == "identifier":
            #print("abba", ctx, subs)


            if ctx[0] == _ident("defun"):
                funcspace[ctx[1]] = ctx[2]
                return funcspace[ctx[1]]
            elif ctx[0] == _ident("cond"):
                return _execute(ctx[2]) if _truthy(_execute(ctx[1])) else _execute(ctx[3])

            subs = _fixarr(list(map(lambda a: _execute(a), ctx)))

            if ctx[0][1][0] == "$":
                return subs
            elif ctx[0][1] == "id":
                return subs[1] if len(subs[1:]) == 1 else subs[1:]
            elif ctx[0] == _ident("miracle"):
                return _box(getattr(sys.modules[_destr(subs[1])], _destr(subs[2]))(*[i[1] for i in _fixarr(subs[3])]))
            elif ctx[0] == _ident("def"):
                idspace[subs[1]] = subs[2]
                return idspace[subs[1]]
            elif ctx[0] == _ident("+"):
                return (subs[1][0], subs[1][1]+subs[2][1])
            elif ctx[0] == _ident("%"):
                return (subs[1][0], subs[1][1]%subs[2][1])
            elif ctx[0] == _ident("=="):
                return ("number", 1.0 if subs[1] == subs[2] else 0.0)
            elif ctx[0] == _ident("="):
                return ("number", 1.0 if str(float(subs[1][1])) == str(float(subs[2][1])) else 0.0)
            elif ctx[0] == _ident(">"):
                return ("number", 1.0 if subs[1][1] > subs[2][1] else 0.0)
            elif ctx[0] == _ident("<"):
                return ("number", 1.0 if subs[1][1] < subs[2][1] else 0.0)
            elif ctx[0] == _ident("conv"):
                print(subs)
                return (subs[1][1], float(subs[2][1]) if subs[1][1] == "number" else str(subs[2][1]))
            elif ctx[0] == _ident("all"):
                ret = _execute(subs[1])
                for statement in subs[2:]:
                    ret = _execute(statement)
                return ret
            elif ctx[0] in funcspace:
                prototype = funcspace[ctx[0]]
                for idx, arg in enumerate(subs[1:]):
                    idx += 1
                    prototype = _recursereplace(prototype, ("identifier", f"${idx}"), arg)
                    #print(f"${idx}", prototype)
                return _execute(prototype)
            else:
                print("no such function", ctx[0])
                return None

        else:
            #print("base", ctx)
            if type(ctx) == type([]):
                return list(
                    map(lambda a: _execute(a), ctx)
                )
            return ctx
    for strand in program:
#        try: _execute(strand)
        _execute(strand)
#        except Exception as e: 
#            print("failed in", strand, "with", e)
#            traceback.print_stack()
#            exit()
    #input()


def oldexecute(ctx):
    import sys
    def _ident(name):
        return ("identifier", name)
    def _destr(t):
        return t[1] if t[0] == "string" else ""
    def _fixarr(a):
        for i in a:
            if i[0] == "identifier":
                a[a.index(i)] = idspace[i]
        return a

                
    if ctx[0] == _ident("miracle"):
        getattr(sys.modules[_destr(ctx[1])], _destr(ctx[2]))(*[i[1] for i in _fixarr(ctx[3])])
    elif ctx[0] == _ident("def"):
        idspace[ctx[1]] = ctx[2]
    elif ctx[0] == _ident("eval"):
        execute(ctx[1])