#!/usr/bin/env python3.3

import ast
import os
import re
import sys

class KPythonVisitor(ast.NodeVisitor):

  def visit_Expression(self, node):
    return self.visit(node.body)

  def visit_Interactive(self, node):
    return self.visit_list(node.body, "'_newline_", "newline")

  def visit_Module(self, node):
    return self.visit_list(node.body, "'_newline_", "newline")

  def visit_list(self, nodes, op, dotlist=None):
    visit = self.visit
    if nodes and isinstance(nodes[0], str):
      visit = self.getid
    if dotlist is not None and len(nodes) == 1:
      return op + "(" + visit(nodes[0]) + ",," + "'.List`{\"" + dotlist + "\"`}(.KList))"
    elif len(nodes) == 1:
      return visit(nodes[0])
    elif dotlist is not None and len(nodes) == 0:
      return "'.List`{\"" + dotlist + "\"`}(.KList)"
    return op + "(" + visit(nodes[0]) + ",," + self.visit_list(nodes[1:], op, dotlist) + ")"

  def visit_FunctionDef(self, node):
    if not node.returns:
      return self.decorate("'def_`(_`):_(" + self.getid(node.name) + ",," + self.getparams(node.args) + ",," + self.visit_list(node.body, "'_newline_", "newline") + ")", node.decorator_list)
    else:
      return self.decorate("'def_`(_`)->_:_(" + self.getid(node.name) + ",," + self.getparams(node.args) + ",," + self.visit(node.returns) + ",," + self.visit_list(node.body, "'_newline_", "newline") + ")", node.decorator_list)

  def visit_ClassDef(self, node):
    return self.decorate("'class_`(_`):_(" + self.getid(node.name) + ",," + self.getargs(node.bases, node.keywords, node.starargs, node.kwargs) + ",," + self.visit_list(node.body, "'_newline_", "newline") + ")", node.decorator_list)

  def decorate(self, function, decorators):
    if not decorators:
      return function
    else:
      return "'@__(" + self.visit(decorators[0]) + ",," + self.decorate(function, decorators[1:]) + ")" 

  def getparams(self, args):
    result = []
    default_index = len(args.args) - len(args.defaults)
    for i in range(0, len(args.args)):
      arg = args.args[i]
      if arg.annotation:
        if i >= default_index:
          result.append("'annotation('_=_(" + self.getid(arg.arg) + ",," + self.visit(args.defaults[i - default_index]) + "),," + self.visit(arg.annotation) + ")")
        else:
          result.append("'annotation(" + self.getid(arg.arg) + ",," + self.visit(arg.annotation) + ")")
      else:
        if i >= default_index:
          result.append("'keyword(" + self.getid(arg.arg) + ",," + self.visit(args.defaults[i - default_index]) + ")")
        else:
          result.append(self.getid(arg.arg))
    if args.vararg:
      if args.varargannotation:
        result.append("'annotation('*_(" + self.getid(args.vararg) + "),," + self.visit(args.varargannotation) + ")")
      else:
        result.append("'*_(" + self.getid(args.vararg) + ")")
    else:
      result.append("'*(.KList)")
    for i in range(0, len(args.kwonlyargs)):
      arg = args.kwonlyargs[i]
      if arg.annotation:
        if args.kw_defaults[i]:
          result.append("'annotation('keyword(" + self.getid(arg.arg) + ",," + self.visit(args.kw_defaults[i]) + "),," + self.visit(arg.annotation) + ")")
        else:
          result.append("'annotation(" + self.getid(arg.arg) + ",," + self.visit(arg.annotation) + ")")
      else:
        if args.kw_defaults[i]:
          result.append("'keyword(" + self.getid(arg.arg) + ",," + self.visit(args.kw_defaults[i]) + ")")
        else:
          result.append(self.getid(arg.arg))
    if args.kwarg:
      if args.kwargannotation:
        result.append("'annotation('**_(" + self.getid(args.kwarg) + "),," + self.visit(args.kwargannotation) + ")")
      else:
        result.append("'**_(" + self.getid(args.kwarg) + ")")
    return self.dolist(result)

  def dolist(self, result):
    if not result:
      return "'.List`{\"`,\"`}(.KList)"
    else:
      return "'_`,_(" + result[0] + ",," + self.dolist(result[1:]) + ")"

  def visit_Return(self, node):
    if node.value:
      return "'return_(" + self.visit(node.value) + ")"
    else:
      return "'return(.KList)"

  def visit_Delete(self, node):
    return "'del_(" + self.visit_list(node.targets, "'_`,_","`,") + ")"

  def visit_Assign(self, node):
    return "'_=_(" + self.visit_list(node.targets, "'targets","=") + ",," + self.visit(node.value) + ")"

  def visit_AugAssign(self, node):
    return "'_" + self.visit(node.op) + "=_(" + self.visit(node.target) + ",," + self.visit(node.value) + ")"

  def visit_For(self, node):
    return "'for_in_:_else:_(" + self.visit(node.target) + ",," + self.visit(node.iter) + ",," + self.visit_list(node.body,"'_newline_", "newline") + ",," + (self.visit_list(node.orelse,"'_newline_", "newline") if node.orelse else "'pass(.KList)") + ")"

  def visit_While(self, node):
    return "'while_:_else:_(" + self.visit(node.test) + ",," + self.visit_list(node.body,"'_newline_", "newline") + ",," + (self.visit_list(node.orelse,"'_newline_", "newline") if node.orelse else "'pass(.KList)") + ")"

  def visit_If(self, node):
    return ("'if_:_else:_(" + self.visit(node.test) + ",,"
            + self.visit_list(node.body,"'_newline_", "newline") + ",," + (self.visit_list(node.orelse,"'_newline_", "newline") if node.orelse else "'pass(.KList)") + ")")

  def visit_With(self, node):
    return "'with_:_(" + self.visit_list(node.items, "'_`,_", "`,") + ",," + self.visit_list(node.body, "'_newline_", "newline") + ")"

  def visit_withitem(self, node):
    if node.optional_vars:
      return "'_as_(" + self.visit(node.context_expr) + ",," + self.visit(node.optional_vars) + ")"
    else:
      return self.visit(node.context_expr)

  def visit_Raise(self, node):
    if not node.exc:
      return "'raise(.KList)"
    elif not node.cause:
      return "'raise_(" + self.visit(node.exc) + ")"
    else:
      return "'raise_from_(" + self.visit(node.exc) + ",," + self.visit(node.cause) + ")"

  def visit_Try(self, node):
    return "'try:__else:_" + ("finally:_" if len(node.finalbody) > 0 else "") + "(" + self.visit_list(node.body, "'_newline_", "newline") + ",," + self.visit_list(node.handlers, "'__","") + ",," + (self.visit_list(node.orelse, "'_newline_", "newline") if len(node.orelse) > 0 else "'pass(.KList)") + (",," + self.visit_list(node.finalbody, "'_newline_", "newline") if len(node.finalbody) > 0 else "") + ")"

  def visit_ExceptHandler(self, node):
    if not node.type:
      return "'except:_(" + self.visit_list(node.body, "'_newline_", "newline") + ")"
    elif not node.name:
      return "'except_:_(" + self.visit(node.type) + ",," + self.visit_list(node.body, "'_newline_", "newline") + ")"
    else:
      return "'except_as_:_(" + self.visit(node.type) + ",," + self.getid(node.name) + ",," + self.visit_list(node.body, "'_newline_", "newline") + ")"

  def visit_Assert(self, node):
    if node.msg:
      return "'assert_`,_(" + self.visit(node.test) + ",," + self.visit(node.msg) + ")"
    else:
      return "'assert_(" + self.visit(node.test) + ")"

  def visit_Import(self, node):
    return "'import_(" + self.visit_list(node.names, "'_`,_", "`,") + ")"

  def visit_ImportFrom(self, node):
    if node.names[0].name == "*":
      return "'from_import*(" + self.getmodule(node.module) + ")"
    return "'from_import_(" + self.makerelative(node.module, node.level) + ",," + self.visit_list(node.names, "'_`,_", "`,") + ")"

  def getmodule(self, module):
    parts = module.split(".")
    if (len(parts) == 1): return self.getid(module)
    s = ""
    s += ("'_._(" * (len(parts) - 1)) + self.getid(parts[0])
    for part in parts[1:]:
      s += ",," + self.getid(part) + ")"
    return s

  def makerelative(self, module, level):
    if not module:
      return ("'._(" * (level - 1)) + "'.(.KList)" + (")" * (level - 1))
    else:
      return ("'._(" * level) + self.getmodule(module) + (")" * level)

  def visit_Global(self, node):
    return "'global_(" + self.visit_list(node.names, "'_`,_", "`,") + ")"

  def visit_Nonlocal(self, node):
    return "'nonlocal_(" + self.visit_list(node.names, "'_`,_", "`,") + ")"

  def visit_Expr(self, node):
    return "'Expr(" + self.visit(node.value) + ")"

  def visit_Pass(self, node):
    return "'pass(.KList)"

  def visit_Break(self, node):
    return "'break(.KList)"

  def visit_Continue(self, node):
    return "'continue(.KList)"

  def visit_BoolOp(self, node):
    return self.visit_list(node.values, self.visit(node.op))

  def visit_BinOp(self, node):
    return "'_" + self.visit(node.op) + "_(" + self.visit(node.left) + ",," + self.visit(node.right) + ")"

  def visit_UnaryOp(self, node):
    return self.visit(node.op) + "(" + self.visit(node.operand) + ")"

  def visit_Lambda(self, node):
    return "'lambda_:_(" + self.getparams(node.args) + ",," + self.visit(node.body) + ")"

  def visit_IfExp(self, node):
    return "'_if_else_(" + self.visit(node.body) + ",," + self.visit(node.test) + ",," + self.visit(node.orelse) + ")"

  def visit_Dict(self, node):
    result = "'`{_`}("
    for i in range(len(node.keys)):
      result += "'_`,_('_:_(" + self.visit(node.keys[i]) + ",," + self.visit(node.values[i]) + "),,"
    result += "'.List`{\"`,\"`}(.KList)"
    result += ")" * (len(node.keys) + 1)
    return result

  def visit_Set(self, node):
    return "'Set(" + self.visit_list(node.elts, "'_`,_", "`,") + ")"

  def visit_ListComp(self, node):
    l = []
    for g in node.generators:
      l += self.visit(g)
    return "'`[__`](" + self.visit(node.elt) + ",," + "'__(" + ",,'__(".join(l) + ",,'.List`{\"\"`}(.KList))" + ")"*len(l)

  def visit_SetComp(self, node):
    l = []
    for g in node.generators:
      l += self.visit(g)
    return "'`{__`}(" + self.visit(node.elt) + ",," + "'__(" + ",,'__(".join(l) + ",,'.List`{\"\"`}(.KList))" + ")"*len(l)

  def visit_DictComp(self, node):
    l = []
    for g in node.generators:
      l += self.visit(g)
    return "'`{_:__`}(" + self.visit(node.key) + ",," + self.visit(node.value) + ",," + "'__(" + ",,'__(".join(l) + ",,'.List`{\"\"`}(.KList))" + ")"*len(l)

  def visit_GeneratorExp(self, node):
    l = []
    for g in node.generators:
      l += self.visit(g)
    return "'GeneratorExp(" + self.visit(node.elt) + ",," + "'__(" + ",,'__(".join(l) + ",,'.List`{\"\"`}(.KList))" + ")"*len(l)

  def visit_Yield(self, node):
    if node.value:
      return "'yield_(" + self.visit(node.value) + ")"
    else:
      return "'yield(.KList)"

  def visit_Compare(self, node):
    return "'Compare(" + self.visit(node.ops[0]) + "(" + self.visit(node.left) + ",," + self.visit_ops(node.comparators, [self.visit(n) for n in node.ops[1:]]) + "))"

  def visit_ops(self, nodes, ops):
    if len(nodes) == 1:
      return self.visit(nodes[0])
    return ops[0] + "(" + self.visit(nodes[0]) + ",," + self.visit_ops(nodes[1:], ops[1:]) + ")"
  def visit_Call(self, node):
    return "'_`(_`)(" + self.visit(node.func) + ",," + self.getargs(node.args, node.keywords, node.starargs, node.kwargs) + ")"

  def getargs(self, args, keywords, starargs, kwargs):
    nodes = []
    for arg in args:
      nodes.append(self.visit(arg))
    for keyword in keywords:
      nodes.append("'keyword(" + self.getid(keyword.arg) + ",," + self.visit(keyword.value) + ")")
    if starargs:
      nodes.append("'*_(" + self.visit(starargs) + ")")
    if kwargs:
      nodes.append("'**_(" + self.visit(kwargs) + ")")
    result = ""
    for node in nodes:
      result += "'_`,_(" + node + ",,"
    result += "'.List`{\"`,\"`}(.KList)" 
    for node in nodes:
      result += ")"
    return result

  def visit_Num(self, node):
    if type(node.n) is int or type(node.n) is float:
      return "# " + str(node.n) + "(.KList)"

  def visit_Str(self, node):
    if type(node.s) is str:
      return '# "' + self.getstr(node.s, self.convert) + '"(.KList)'

  @staticmethod
  def getstr(s, convert):
    result = repr(bytes("'\"" + s, "UTF-8"))[5:-1].replace('"', '\\"')
    return re.sub(r"(?<!\\)\\x([0-9a-f]{2})", convert, result)

  @staticmethod
  def convert(match):
    return "\\{:03o}".format(int(match.group(1), 16))

  def visit_Bytes(self, node):
    if type(node.s) is bytes:
      return "'b_(# \"" + self.getstr(node.s.decode("utf-8"), self.convert) + '"(.KList))'

  def visit_Ellipsis(self, node):
    return "'...(.KList)"

  def visit_Attribute(self, node):
    return "'_._(" + self.visit(node.value) + ",," + self.getid(node.attr) + ")"

  def visit_Subscript(self, node):
    return "'_`[_`](" + self.visit(node.value) + ",," + self.visit(node.slice) + ")"

  def visit_Starred(self, node):
    return "'Starred(" + self.visit(node.value) + ")"

  def visit_Name(self, node):
    return self.getid(node.id)

  @staticmethod
  def getid(s):
    return '_`(_`)(#token("#Id", "' + s + '"), .KList)'

  def visit_List(self, node):
    return "'`[_`](" + self.visit_list(node.elts, "'_`,_", "`,") + ")"

  def visit_Tuple(self, node):
    return "'Tuple(" + self.visit_list(node.elts, "'_`,_", "`,") + ")"

  def visit_Slice(self, node):
    if node.lower:
      if node.upper:
        op = "'_:_:_" if node.step else "'_:_:"
      else:
        op = "'_::_" if node.step else "'_::"
    else:
      if node.upper:
        op = "':_:_" if node.step else "':_:"
      else:
        op = "'::_" if node.step else "'::"
    op += "(" + (".KList" if (not node.lower and not node.upper and not node.step) else ",,".join(((self.visit(node.lower),) if node.lower else ()) + ((self.visit(node.upper),) if node.upper else ()) + ((self.visit(node.step),) if node.step else ()))) + ")"
    return op

  def visit_ExtSlice(self, node):
    return "'Tuple(" + self.visit_list(node.dims, "'_`,_", "`,") + ")"

  def visit_Index(self, node):
    return self.visit(node.value)

  def visit_And(self, node):
    return "'_and_"
  def visit_Or(self, node):
    return "'_or_"
  def visit_Add(self, node):
    return "+"
  def visit_Sub(self, node):
    return "-"
  def visit_Mult(self, node):
    return "*"
  def visit_Div(self, node):
    return "/"
  def visit_Mod(self, node):
    return "%"
  def visit_Pow(self, node):
    return "**"
  def visit_LShift(self, node):
    return "<<"
  def visit_RShift(self, node):
    return ">>"
  def visit_BitOr(self, node):
    return "|"
  def visit_BitXor(self, node):
    return "^"
  def visit_BitAnd(self, node):
    return "&"
  def visit_FloorDiv(self, node):
    return "FloorDiv"
  def visit_Invert(self, node):
    return "'~_"
  def visit_Not(self, node):
    return "'not_"
  def visit_UAdd(self, node):
    return "'+_"
  def visit_USub(self, node):
    return "'-_"
  def visit_Eq(self, node):
    return "'_==_"
  def visit_NotEq(self, node):
    return "'_!=_"
  def visit_Lt(self, node):
    return "'_<_"
  def visit_LtE(self, node):
    return "'_<=_"
  def visit_Gt(self, node):
    return "'_>_"
  def visit_GtE(self, node):
    return "'_>=_"
  def visit_Is(self, node):
    return "'_is_"
  def visit_IsNot(self, node):
    return "'_isnot_"
  def visit_In(self, node):
    return "'_in_"
  def visit_NotIn(self, node):
    return "'_notin_"

  def visit_comprehension(self, node):
    return ["'for_in_(" + self.visit(node.target) + ",," + self.visit(node.iter) + ")"] + ["'if_(" + self.visit(i) + ")" for i in node.ifs]

  def visit_alias(self, node):
    if node.asname:
      return "'_as_(" + self.getmodule(node.name) + ",," + self.getid(node.asname) + ")"
    else:
      return self.getmodule(node.name)

def getMode(m):
  if m == "K" or m == "Stmts":
    return "exec"
  elif m == "Exp":
    return "eval"
  elif m == "Stmt":
    return "single"
  raise ValueError

if os.environ.get("KRUN_IS_NOT_FILE", "false") == "true":
  input = sys.argv[1]
else:
  input = open(sys.argv[1]).read()
ast = ast.parse(input, "<unknown>", getMode(os.environ.get("KRUN_SORT", "K")))
print(KPythonVisitor().visit(ast))