// File: /workspace/github_cpp_makefile_star2_O1/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, %r12d
movq %rdx, %r13
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 0xa0f0
leaq -0x78(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x88(%rbp), %rdi
callq 0x3ddc
leaq 0x56a5(%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 0x8443
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x8449
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 0x567d(%rip), %rsi      # 0xdae8
callq 0x33d0
leaq -0x38(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x8497
movq %rsi, %r15
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x84a0
movups (%rcx), %xmm0
movq %rsi, %r15
movups %xmm0, (%rsi)
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 %r15, %rdi
je 0x84dc
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x84f5
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3200
movq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rax
cmpq %rax, %rdi
je 0x8511
movq -0x78(%rbp), %rsi
incq %rsi
callq 0x3200
leaq -0x48(%rbp), %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x7b96
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
movq %rbx, %rdi
callq 0x30b0
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x8545
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
leaq -0x8c(%rbp), %rsi
movl %r12d, (%rsi)
movq %r14, %rdi
callq 0xa0f0
leaq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rcx
movq %rcx, (%rdi)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
callq 0x3ddc
leaq 0x5535(%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 0x85b5
movq %rdx, -0x68(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x58(%rbp)
jmp 0x85bd
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 0x5509(%rip), %rsi      # 0xdae8
callq 0x33d0
movq %r15, -0x48(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x8604
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x860b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
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 %r15, %rdi
je 0x8647
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
je 0x865c
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3200
movq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rax
cmpq %rax, %rdi
je 0x8678
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 %r15, %rdi
je 0x86a7
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
jmp 0x86a7
movq %rax, %r14
movq -0x68(%rbp), %rdi
cmpq %r12, %rdi
jne 0x86f2
jmp 0x8703
jmp 0x8700
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x8726
movq -0x38(%rbp), %rsi
jmp 0x8717
jmp 0x8723
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %r15, %rdi
je 0x86e5
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3200
jmp 0x86e5
movq %rax, %r14
movq -0x68(%rbp), %rdi
leaq -0x58(%rbp), %rax
cmpq %rax, %rdi
je 0x8703
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3200
jmp 0x8703
movq %rax, %r14
movq -0x88(%rbp), %rdi
leaq -0x78(%rbp), %rax
cmpq %rax, %rdi
je 0x8726
movq -0x78(%rbp), %rsi
incq %rsi
callq 0x3200
jmp 0x8726
jmp 0x8723
movq %rax, %r14
movq (%rbx), %rdi
cmpq -0x98(%rbp), %rdi
je 0x8744
movq -0x98(%rbp), %rax
movq (%rax), %rsi
incq %rsi
callq 0x3200
movq %r14, %rdi
callq 0x3390