// File: /workspace/github_cpp_makefile_star2_O3/gprateek93[P]LaTeX_to_HTML/converter.cpp
// Function: converter::traverseDefault[abi:cxx11](ast_node*, int)
string converter :: traverseDefault(ast_node * root, int type){
    string s = "";
    s+="<"+getMapping(type)+">";
    s+=traverseChildren(root);
    s+="</"+getMapping(type)+">";
    return s;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movl %ecx, %r15d
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x10(%rdi), %rax
movq %rax, -0x98(%rbp)
movq %rax, (%rdi)
movq $0x0, 0x8(%rdi)
movb $0x0, 0x10(%rdi)
leaq -0x8c(%rbp), %rsi
movl %ecx, (%rsi)
movq %r14, %rdi
callq 0x9efa
leaq -0x78(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x88(%rbp), %rdi
callq 0x3c9c
leaq 0x588d(%rip), %rcx      # 0xdaae
leaq -0x88(%rbp), %rdi
movl $0x1, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x3240
leaq -0x58(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x825b
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x8261
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
leaq -0x68(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x5865(%rip), %rsi      # 0xdae8
callq 0x33d0
leaq -0x38(%rbp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x82ac
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x82b4
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x82f0
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x8309
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3200
movq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rax
cmpq %rax, %rdi
je 0x8325
movq -0x78(%rbp), %rsi
incq %rsi
callq 0x3200
leaq -0x48(%rbp), %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x79ac
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x8359
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
leaq -0x8c(%rbp), %rsi
movl %r15d, (%rsi)
movq %r14, %rdi
callq 0x9efa
leaq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rcx
movq %rcx, (%rdi)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
callq 0x3c9c
leaq 0x5721(%rip), %rcx      # 0xdab0
leaq -0x88(%rbp), %rdi
movl $0x2, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x3240
leaq -0x58(%rbp), %r12
movq %r12, -0x68(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x83c9
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x83d1
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0x68(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x56f5(%rip), %rsi      # 0xdae8
callq 0x33d0
movq %r13, -0x48(%rbp)
movq (%rax), %rsi
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rsi
je 0x8418
movq %rsi, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x8423
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq %r13, %rsi
movq 0x8(%rax), %rdx
movq %rdx, -0x40(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x8457
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x846c
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3200
movq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rax
cmpq %rax, %rdi
je 0x8488
movq -0x78(%rbp), %rsi
incq %rsi
callq 0x3200
movq %rbx, %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x84b7
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
jmp 0x84b7
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
jne 0x8502
jmp 0x8513
jmp 0x8510
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x8536
movq -0x38(%rbp), %rsi
jmp 0x8527
jmp 0x8533
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r13, %rdi
je 0x84f5
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
jmp 0x84f5
movq %rax, %r14
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x8513
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3200
jmp 0x8513
movq %rax, %r14
movq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rax
cmpq %rax, %rdi
je 0x8536
movq -0x78(%rbp), %rsi
incq %rsi
callq 0x3200
jmp 0x8536
jmp 0x8533
movq %rax, %r14
movq (%rbx), %rdi
cmpq -0x98(%rbp), %rdi
je 0x8554
movq -0x98(%rbp), %rax
movq (%rax), %rsi
incq %rsi
callq 0x3200
movq %r14, %rdi
callq 0x3390