// File: /workspace/github_cpp_makefile_star2_O2/Merulo[P]CompilerJFTT/src/Calculators/MathOperations.cpp
// Function: MathOperations::generateModulo(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, Line)
std::vector<Line> MathOperations::generateModulo(
    std::string registerB, std::string registerC,
    std::string registerE, std::string registerF, Line l
)
{
    std::vector<Line> lines;

    lines.push_back({"COPY", registerF, registerB});
    lines.push_back({"INC", registerF});
    lines.push_back({"SUB", registerF, registerC});
    
    std::string label32 = generateLabel();
    lines.push_back({"JZERO", registerF, label32});

    lines.push_back({"SUB", registerE, registerE});

    std::string label31 = generateLabel();
    lines.push_back({"JZERO", registerC, label31});    

    std::string label9 = generateLabel();
    lines.push_back({label9});      

    lines.push_back({"COPY", registerF, registerB});
    lines.push_back({"INC", registerF});
    lines.push_back({"SUB", registerF, registerC});

    std::string label16 = generateLabel();
    lines.push_back({"JZERO", registerF, label16});    

    lines.push_back({"ADD", registerC, registerC});
    lines.push_back({"INC", registerE});

    lines.push_back({"JUMP", "", label9});
    lines.push_back({label16});  

    lines.push_back({"DEC", registerE});
    lines.push_back({"HALF", registerC});
    lines.push_back({"SUB", registerB, registerC});

    std::string label20 = generateLabel();
    lines.push_back({label20}); 

    lines.push_back({"JZERO", registerE, label32});  

    lines.push_back({"HALF", registerC});
    lines.push_back({"DEC", registerE});
    lines.push_back({"COPY", registerF, registerB});
    lines.push_back({"INC", registerF});
    lines.push_back({"SUB", registerF, registerC});

    lines.push_back({"JZERO", registerF, label20});  
    lines.push_back({"SUB", registerB, registerC});
    lines.push_back({"JUMP", "", label20});  

    lines.push_back({label31});    
    lines.push_back({"SUB", registerB, registerB});

    lines.push_back({label32});    

    return lines;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xcb0, %rsp            # imm = 0xCB0
movq %r8, %r12
movq %rcx, %r13
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
xorps %xmm0, %xmm0
movups %xmm0, (%rdi)
andq $0x0, 0x10(%rdi)
leaq 0x16464(%rip), %rsi     # 0x230c5
leaq 0xc90(%rsp), %rdi
leaq 0xb0(%rsp), %rdx
callq 0x4a54
leaq 0xc70(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0xc50(%rsp), %rdi
movq %r14, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0xc90(%rsp), %rsi
leaq 0xc70(%rsp), %rdx
leaq 0xc50(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0xc50(%rsp), %rdi
callq 0x4548
leaq 0xc70(%rsp), %rdi
callq 0x4548
leaq 0xc90(%rsp), %rdi
callq 0x4548
leaq 0x163a1(%rip), %rsi     # 0x2309e
leaq 0xc30(%rsp), %rdi
leaq 0xb0(%rsp), %rdx
callq 0x4a54
leaq 0xc10(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x163ba(%rip), %rsi     # 0x230e3
leaq 0xbf0(%rsp), %rdi
leaq 0xd0(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0xc30(%rsp), %rsi
leaq 0xc10(%rsp), %rdx
leaq 0xbf0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0xbf0(%rsp), %rdi
callq 0x4548
leaq 0xc10(%rsp), %rdi
callq 0x4548
leaq 0xc30(%rsp), %rdi
callq 0x4548
leaq 0x162f1(%rip), %rsi     # 0x23096
leaq 0xbd0(%rsp), %rdi
leaq 0xb0(%rsp), %rdx
callq 0x4a54
leaq 0xbb0(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0xb90(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0xbd0(%rsp), %rsi
leaq 0xbb0(%rsp), %rdx
leaq 0xb90(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0xb90(%rsp), %rdi
callq 0x4548
leaq 0xbb0(%rsp), %rdi
callq 0x4548
leaq 0xbd0(%rsp), %rdi
callq 0x4548
leaq 0xb0(%rsp), %rdi
callq 0xaafc
leaq 0x1632e(%rip), %rsi     # 0x2317c
leaq 0xb70(%rsp), %rdi
leaq 0xd0(%rsp), %rdx
callq 0x4a54
leaq 0xb50(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0xb30(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0xb70(%rsp), %rsi
leaq 0xb50(%rsp), %rdx
leaq 0xb30(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0xb30(%rsp), %rdi
callq 0x4548
leaq 0xb50(%rsp), %rdi
callq 0x4548
leaq 0xb70(%rsp), %rdi
callq 0x4548
leaq 0x161a7(%rip), %rsi     # 0x23096
leaq 0xb10(%rsp), %rdi
leaq 0xd0(%rsp), %rdx
callq 0x4a54
leaq 0xaf0(%rsp), %rdi
movq %r13, %rsi
callq 0x4390
leaq 0xad0(%rsp), %rdi
movq %r13, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0xb10(%rsp), %rsi
leaq 0xaf0(%rsp), %rdx
leaq 0xad0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0xad0(%rsp), %rdi
callq 0x4548
leaq 0xaf0(%rsp), %rdi
callq 0x4548
leaq 0xb10(%rsp), %rdi
callq 0x4548
leaq 0xd0(%rsp), %rdi
callq 0xaafc
leaq 0x161e4(%rip), %rsi     # 0x2317c
leaq 0xab0(%rsp), %rdi
leaq 0xf0(%rsp), %rdx
callq 0x4a54
leaq 0xa90(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0xa70(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0xab0(%rsp), %rsi
leaq 0xa90(%rsp), %rdx
leaq 0xa70(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0xa70(%rsp), %rdi
callq 0x4548
leaq 0xa90(%rsp), %rdi
callq 0x4548
leaq 0xab0(%rsp), %rdi
callq 0x4548
leaq 0xf0(%rsp), %rdi
callq 0xaafc
leaq 0xa50(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0x4390
leaq 0x16088(%rip), %rsi     # 0x230e3
leaq 0xa30(%rsp), %rdi
leaq 0x90(%rsp), %rdx
callq 0x4a54
leaq 0x1606c(%rip), %rsi     # 0x230e3
leaq 0xa10(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0xa50(%rsp), %rsi
leaq 0xa30(%rsp), %rdx
leaq 0xa10(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0xa10(%rsp), %rdi
callq 0x4548
leaq 0xa30(%rsp), %rdi
callq 0x4548
leaq 0xa50(%rsp), %rdi
callq 0x4548
leaq 0x15fd5(%rip), %rsi     # 0x230c5
leaq 0x9f0(%rsp), %rdi
leaq 0x90(%rsp), %rdx
callq 0x4a54
leaq 0x9d0(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x9b0(%rsp), %rdi
movq %r14, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x9f0(%rsp), %rsi
leaq 0x9d0(%rsp), %rdx
leaq 0x9b0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x9b0(%rsp), %rdi
callq 0x4548
leaq 0x9d0(%rsp), %rdi
callq 0x4548
leaq 0x9f0(%rsp), %rdi
callq 0x4548
leaq 0x15f12(%rip), %rsi     # 0x2309e
leaq 0x990(%rsp), %rdi
leaq 0x90(%rsp), %rdx
callq 0x4a54
leaq 0x970(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x15f2b(%rip), %rsi     # 0x230e3
leaq 0x950(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x990(%rsp), %rsi
leaq 0x970(%rsp), %rdx
leaq 0x950(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x950(%rsp), %rdi
callq 0x4548
leaq 0x970(%rsp), %rdi
callq 0x4548
leaq 0x990(%rsp), %rdi
callq 0x4548
leaq 0x15e65(%rip), %rsi     # 0x23096
leaq 0x930(%rsp), %rdi
leaq 0x90(%rsp), %rdx
callq 0x4a54
leaq 0x910(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x8f0(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x930(%rsp), %rsi
leaq 0x910(%rsp), %rdx
leaq 0x8f0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x8f0(%rsp), %rdi
callq 0x4548
leaq 0x910(%rsp), %rdi
callq 0x4548
leaq 0x930(%rsp), %rdi
callq 0x4548
leaq 0x90(%rsp), %rdi
callq 0xaafc
leaq 0x15ea2(%rip), %rsi     # 0x2317c
leaq 0x8d0(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x8b0(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x890(%rsp), %rdi
leaq 0x90(%rsp), %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x8d0(%rsp), %rsi
leaq 0x8b0(%rsp), %rdx
leaq 0x890(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x890(%rsp), %rdi
callq 0x4548
leaq 0x8b0(%rsp), %rdi
callq 0x4548
leaq 0x8d0(%rsp), %rdi
callq 0x4548
leaq 0x15d2a(%rip), %rsi     # 0x230a2
leaq 0x870(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x850(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x830(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x870(%rsp), %rsi
leaq 0x850(%rsp), %rdx
leaq 0x830(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x830(%rsp), %rdi
callq 0x4548
leaq 0x850(%rsp), %rdi
callq 0x4548
leaq 0x870(%rsp), %rdi
callq 0x4548
leaq 0x15c8d(%rip), %rsi     # 0x2309e
leaq 0x810(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x7f0(%rsp), %rdi
movq %r13, %rsi
callq 0x4390
leaq 0x15ca9(%rip), %rsi     # 0x230e3
leaq 0x7d0(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x810(%rsp), %rsi
leaq 0x7f0(%rsp), %rdx
leaq 0x7d0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x7d0(%rsp), %rdi
callq 0x4548
leaq 0x7f0(%rsp), %rdi
callq 0x4548
leaq 0x810(%rsp), %rdi
callq 0x4548
leaq 0x15cd9(%rip), %rsi     # 0x2318c
leaq 0x7b0(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x15c17(%rip), %rsi     # 0x230e3
leaq 0x790(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x770(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x7b0(%rsp), %rsi
leaq 0x790(%rsp), %rdx
leaq 0x770(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x770(%rsp), %rdi
callq 0x4548
leaq 0x790(%rsp), %rdi
callq 0x4548
leaq 0x7b0(%rsp), %rdi
callq 0x4548
leaq 0x750(%rsp), %rdi
leaq 0x90(%rsp), %rsi
callq 0x4390
leaq 0x15b74(%rip), %rsi     # 0x230e3
leaq 0x730(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x15b5b(%rip), %rsi     # 0x230e3
leaq 0x710(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x750(%rsp), %rsi
leaq 0x730(%rsp), %rdx
leaq 0x710(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x710(%rsp), %rdi
callq 0x4548
leaq 0x730(%rsp), %rdi
callq 0x4548
leaq 0x750(%rsp), %rdi
callq 0x4548
leaq 0x15a99(%rip), %rsi     # 0x2309a
leaq 0x6f0(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x6d0(%rsp), %rdi
movq %r13, %rsi
callq 0x4390
leaq 0x15ab9(%rip), %rsi     # 0x230e3
leaq 0x6b0(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x6f0(%rsp), %rsi
leaq 0x6d0(%rsp), %rdx
leaq 0x6b0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x6b0(%rsp), %rdi
callq 0x4548
leaq 0x6d0(%rsp), %rdi
callq 0x4548
leaq 0x6f0(%rsp), %rdi
callq 0x4548
leaq 0x15ae4(%rip), %rsi     # 0x23187
leaq 0x690(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x670(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x15a17(%rip), %rsi     # 0x230e3
leaq 0x650(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x690(%rsp), %rsi
leaq 0x670(%rsp), %rdx
leaq 0x650(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x650(%rsp), %rdi
callq 0x4548
leaq 0x670(%rsp), %rdi
callq 0x4548
leaq 0x690(%rsp), %rdi
callq 0x4548
leaq 0x15951(%rip), %rsi     # 0x23096
leaq 0x630(%rsp), %rdi
leaq 0x70(%rsp), %rdx
callq 0x4a54
leaq 0x610(%rsp), %rdi
movq %r14, %rsi
callq 0x4390
leaq 0x5f0(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x630(%rsp), %rsi
leaq 0x610(%rsp), %rdx
leaq 0x5f0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x5f0(%rsp), %rdi
callq 0x4548
leaq 0x610(%rsp), %rdi
callq 0x4548
leaq 0x630(%rsp), %rdi
callq 0x4548
leaq 0x70(%rsp), %rdi
callq 0xaafc
leaq 0x5d0(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x4390
leaq 0x158e9(%rip), %rsi     # 0x230e3
leaq 0x5b0(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x158d0(%rip), %rsi     # 0x230e3
leaq 0x590(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x5d0(%rsp), %rsi
leaq 0x5b0(%rsp), %rdx
leaq 0x590(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x590(%rsp), %rdi
callq 0x4548
leaq 0x5b0(%rsp), %rdi
callq 0x4548
leaq 0x5d0(%rsp), %rdi
callq 0x4548
leaq 0x158f0(%rip), %rsi     # 0x2317c
leaq 0x570(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x550(%rsp), %rdi
movq %r13, %rsi
callq 0x4390
leaq 0x530(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x570(%rsp), %rsi
leaq 0x550(%rsp), %rdx
leaq 0x530(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x530(%rsp), %rdi
callq 0x4548
leaq 0x550(%rsp), %rdi
callq 0x4548
leaq 0x570(%rsp), %rdi
callq 0x4548
leaq 0x1585d(%rip), %rsi     # 0x23187
leaq 0x510(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x4f0(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x15790(%rip), %rsi     # 0x230e3
leaq 0x4d0(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x510(%rsp), %rsi
leaq 0x4f0(%rsp), %rdx
leaq 0x4d0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x4d0(%rsp), %rdi
callq 0x4548
leaq 0x4f0(%rsp), %rdi
callq 0x4548
leaq 0x510(%rsp), %rdi
callq 0x4548
leaq 0x156ce(%rip), %rsi     # 0x2309a
leaq 0x4b0(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x490(%rsp), %rdi
movq %r13, %rsi
callq 0x4390
leaq 0x156ee(%rip), %rsi     # 0x230e3
leaq 0x470(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x4b0(%rsp), %rsi
leaq 0x490(%rsp), %rdx
leaq 0x470(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x470(%rsp), %rdi
callq 0x4548
leaq 0x490(%rsp), %rdi
callq 0x4548
leaq 0x4b0(%rsp), %rdi
callq 0x4548
leaq 0x15657(%rip), %rsi     # 0x230c5
leaq 0x450(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x430(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x410(%rsp), %rdi
movq %r14, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x450(%rsp), %rsi
leaq 0x430(%rsp), %rdx
leaq 0x410(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x410(%rsp), %rdi
callq 0x4548
leaq 0x430(%rsp), %rdi
callq 0x4548
leaq 0x450(%rsp), %rdi
callq 0x4548
leaq 0x15597(%rip), %rsi     # 0x2309e
leaq 0x3f0(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x3d0(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x155b3(%rip), %rsi     # 0x230e3
leaq 0x3b0(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x3f0(%rsp), %rsi
leaq 0x3d0(%rsp), %rdx
leaq 0x3b0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x3b0(%rsp), %rdi
callq 0x4548
leaq 0x3d0(%rsp), %rdi
callq 0x4548
leaq 0x3f0(%rsp), %rdi
callq 0x4548
leaq 0x154ed(%rip), %rsi     # 0x23096
leaq 0x390(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x370(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x350(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x390(%rsp), %rsi
leaq 0x370(%rsp), %rdx
leaq 0x350(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x350(%rsp), %rdi
callq 0x4548
leaq 0x370(%rsp), %rdi
callq 0x4548
leaq 0x390(%rsp), %rdi
callq 0x4548
leaq 0x1553a(%rip), %rsi     # 0x2317c
leaq 0x330(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x310(%rsp), %rdi
movq %r12, %rsi
callq 0x4390
leaq 0x2f0(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x330(%rsp), %rsi
leaq 0x310(%rsp), %rdx
leaq 0x2f0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x2f0(%rsp), %rdi
callq 0x4548
leaq 0x310(%rsp), %rdi
callq 0x4548
leaq 0x330(%rsp), %rdi
callq 0x4548
leaq 0x153b9(%rip), %rsi     # 0x23096
leaq 0x2d0(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x2b0(%rsp), %rdi
movq %r14, %rsi
callq 0x4390
leaq 0x290(%rsp), %rdi
movq %r15, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x2d0(%rsp), %rsi
leaq 0x2b0(%rsp), %rdx
leaq 0x290(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x290(%rsp), %rdi
callq 0x4548
leaq 0x2b0(%rsp), %rdi
callq 0x4548
leaq 0x2d0(%rsp), %rdi
callq 0x4548
leaq 0x15416(%rip), %rsi     # 0x2318c
leaq 0x270(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x15354(%rip), %rsi     # 0x230e3
leaq 0x250(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x4a54
leaq 0x230(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x270(%rsp), %rsi
leaq 0x250(%rsp), %rdx
leaq 0x230(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x230(%rsp), %rdi
callq 0x4548
leaq 0x250(%rsp), %rdi
callq 0x4548
leaq 0x270(%rsp), %rdi
callq 0x4548
leaq 0x210(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
callq 0x4390
leaq 0x152b4(%rip), %rsi     # 0x230e3
leaq 0x1f0(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x1529b(%rip), %rsi     # 0x230e3
leaq 0x1d0(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x210(%rsp), %rsi
leaq 0x1f0(%rsp), %rdx
leaq 0x1d0(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x1d0(%rsp), %rdi
callq 0x4548
leaq 0x1f0(%rsp), %rdi
callq 0x4548
leaq 0x210(%rsp), %rdi
callq 0x4548
leaq 0x151d5(%rip), %rsi     # 0x23096
leaq 0x1b0(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x190(%rsp), %rdi
movq %r14, %rsi
callq 0x4390
leaq 0x170(%rsp), %rdi
movq %r14, %rsi
callq 0x4390
leaq 0x8(%rsp), %rdi
leaq 0x1b0(%rsp), %rsi
leaq 0x190(%rsp), %rdx
leaq 0x170(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x170(%rsp), %rdi
callq 0x4548
leaq 0x190(%rsp), %rdi
callq 0x4548
leaq 0x1b0(%rsp), %rdi
callq 0x4548
leaq 0x150(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x4390
leaq 0x15174(%rip), %rsi     # 0x230e3
leaq 0x130(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x4a54
leaq 0x1515b(%rip), %rsi     # 0x230e3
leaq 0x110(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x4a54
leaq 0x8(%rsp), %rdi
leaq 0x150(%rsp), %rsi
leaq 0x130(%rsp), %rdx
leaq 0x110(%rsp), %rcx
callq 0x816a
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8f90
leaq 0x8(%rsp), %rdi
callq 0x81fe
leaq 0x110(%rsp), %rdi
callq 0x4548
leaq 0x130(%rsp), %rdi
callq 0x4548
leaq 0x150(%rsp), %rdi
callq 0x4548
leaq 0x70(%rsp), %rdi
callq 0x4548
leaq 0x90(%rsp), %rdi
callq 0x4548
leaq 0xf0(%rsp), %rdi
callq 0x4548
leaq 0xd0(%rsp), %rdi
callq 0x4548
leaq 0xb0(%rsp), %rdi
callq 0x4548
movq %rbx, %rax
addq $0xcb0, %rsp            # imm = 0xCB0
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe05e
movq %rax, %r14
leaq 0x110(%rsp), %rdi
callq 0x4548
jmp 0xe070
movq %rax, %r14
leaq 0x130(%rsp), %rdi
callq 0x4548
jmp 0xe082
movq %rax, %r14
leaq 0x150(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe0a6
movq %rax, %r14
leaq 0x170(%rsp), %rdi
callq 0x4548
jmp 0xe0b8
movq %rax, %r14
leaq 0x190(%rsp), %rdi
callq 0x4548
jmp 0xe0ca
movq %rax, %r14
leaq 0x1b0(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe0ee
movq %rax, %r14
leaq 0x1d0(%rsp), %rdi
callq 0x4548
jmp 0xe100
movq %rax, %r14
leaq 0x1f0(%rsp), %rdi
callq 0x4548
jmp 0xe112
movq %rax, %r14
leaq 0x210(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe136
movq %rax, %r14
leaq 0x230(%rsp), %rdi
callq 0x4548
jmp 0xe148
movq %rax, %r14
leaq 0x250(%rsp), %rdi
callq 0x4548
jmp 0xe15a
movq %rax, %r14
leaq 0x270(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe17e
movq %rax, %r14
leaq 0x290(%rsp), %rdi
callq 0x4548
jmp 0xe190
movq %rax, %r14
leaq 0x2b0(%rsp), %rdi
callq 0x4548
jmp 0xe1a2
movq %rax, %r14
leaq 0x2d0(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe1c6
movq %rax, %r14
leaq 0x2f0(%rsp), %rdi
callq 0x4548
jmp 0xe1d8
movq %rax, %r14
leaq 0x310(%rsp), %rdi
callq 0x4548
jmp 0xe1ea
movq %rax, %r14
leaq 0x330(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe20e
movq %rax, %r14
leaq 0x350(%rsp), %rdi
callq 0x4548
jmp 0xe220
movq %rax, %r14
leaq 0x370(%rsp), %rdi
callq 0x4548
jmp 0xe232
movq %rax, %r14
leaq 0x390(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe256
movq %rax, %r14
leaq 0x3b0(%rsp), %rdi
callq 0x4548
jmp 0xe268
movq %rax, %r14
leaq 0x3d0(%rsp), %rdi
callq 0x4548
jmp 0xe27a
movq %rax, %r14
leaq 0x3f0(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe29e
movq %rax, %r14
leaq 0x410(%rsp), %rdi
callq 0x4548
jmp 0xe2b0
movq %rax, %r14
leaq 0x430(%rsp), %rdi
callq 0x4548
jmp 0xe2c2
movq %rax, %r14
leaq 0x450(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe2e6
movq %rax, %r14
leaq 0x470(%rsp), %rdi
callq 0x4548
jmp 0xe2f8
movq %rax, %r14
leaq 0x490(%rsp), %rdi
callq 0x4548
jmp 0xe30a
movq %rax, %r14
leaq 0x4b0(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe32e
movq %rax, %r14
leaq 0x4d0(%rsp), %rdi
callq 0x4548
jmp 0xe340
movq %rax, %r14
leaq 0x4f0(%rsp), %rdi
callq 0x4548
jmp 0xe352
movq %rax, %r14
leaq 0x510(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe376
movq %rax, %r14
leaq 0x530(%rsp), %rdi
callq 0x4548
jmp 0xe388
movq %rax, %r14
leaq 0x550(%rsp), %rdi
callq 0x4548
jmp 0xe39a
movq %rax, %r14
leaq 0x570(%rsp), %rdi
jmp 0xe3e4
jmp 0xe3eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe3b8
movq %rax, %r14
leaq 0x590(%rsp), %rdi
callq 0x4548
jmp 0xe3ca
movq %rax, %r14
leaq 0x5b0(%rsp), %rdi
callq 0x4548
jmp 0xe3dc
movq %rax, %r14
leaq 0x5d0(%rsp), %rdi
callq 0x4548
jmp 0xe3ee
movq %rax, %r14
leaq 0x70(%rsp), %rdi
callq 0x4548
leaq 0x90(%rsp), %rdi
callq 0x4548
leaq 0xf0(%rsp), %rdi
callq 0x4548
leaq 0xd0(%rsp), %rdi
callq 0x4548
leaq 0xb0(%rsp), %rdi
callq 0x4548
movq %rbx, %rdi
callq 0x8236
movq %r14, %rdi
callq 0x4490
jmp 0xe679
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe453
movq %rax, %r14
leaq 0x5f0(%rsp), %rdi
callq 0x4548
jmp 0xe465
movq %rax, %r14
leaq 0x610(%rsp), %rdi
callq 0x4548
jmp 0xe477
movq %rax, %r14
leaq 0x630(%rsp), %rdi
jmp 0xe3f3
jmp 0xe679
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe49b
movq %rax, %r14
leaq 0x650(%rsp), %rdi
callq 0x4548
jmp 0xe4ad
movq %rax, %r14
leaq 0x670(%rsp), %rdi
callq 0x4548
jmp 0xe4bf
movq %rax, %r14
leaq 0x690(%rsp), %rdi
jmp 0xe3f3
jmp 0xe679
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe4e3
movq %rax, %r14
leaq 0x6b0(%rsp), %rdi
callq 0x4548
jmp 0xe4f5
movq %rax, %r14
leaq 0x6d0(%rsp), %rdi
callq 0x4548
jmp 0xe507
movq %rax, %r14
leaq 0x6f0(%rsp), %rdi
jmp 0xe3f3
jmp 0xe679
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe52b
movq %rax, %r14
leaq 0x710(%rsp), %rdi
callq 0x4548
jmp 0xe53d
movq %rax, %r14
leaq 0x730(%rsp), %rdi
callq 0x4548
jmp 0xe54f
movq %rax, %r14
leaq 0x750(%rsp), %rdi
jmp 0xe3f3
jmp 0xe679
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe573
movq %rax, %r14
leaq 0x770(%rsp), %rdi
callq 0x4548
jmp 0xe585
movq %rax, %r14
leaq 0x790(%rsp), %rdi
callq 0x4548
jmp 0xe597
movq %rax, %r14
leaq 0x7b0(%rsp), %rdi
jmp 0xe3f3
jmp 0xe679
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe5bb
movq %rax, %r14
leaq 0x7d0(%rsp), %rdi
callq 0x4548
jmp 0xe5cd
movq %rax, %r14
leaq 0x7f0(%rsp), %rdi
callq 0x4548
jmp 0xe5df
movq %rax, %r14
leaq 0x810(%rsp), %rdi
jmp 0xe3f3
jmp 0xe679
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe603
movq %rax, %r14
leaq 0x830(%rsp), %rdi
callq 0x4548
jmp 0xe615
movq %rax, %r14
leaq 0x850(%rsp), %rdi
callq 0x4548
jmp 0xe627
movq %rax, %r14
leaq 0x870(%rsp), %rdi
jmp 0xe3f3
jmp 0xe679
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe648
movq %rax, %r14
leaq 0x890(%rsp), %rdi
callq 0x4548
jmp 0xe65a
movq %rax, %r14
leaq 0x8b0(%rsp), %rdi
callq 0x4548
jmp 0xe66c
movq %rax, %r14
leaq 0x8d0(%rsp), %rdi
jmp 0xe3f3
movq %rax, %r14
jmp 0xe3f8
jmp 0xe79e
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe698
movq %rax, %r14
leaq 0x8f0(%rsp), %rdi
callq 0x4548
jmp 0xe6aa
movq %rax, %r14
leaq 0x910(%rsp), %rdi
callq 0x4548
jmp 0xe6bc
movq %rax, %r14
leaq 0x930(%rsp), %rdi
jmp 0xe400
jmp 0xe79e
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe6e0
movq %rax, %r14
leaq 0x950(%rsp), %rdi
callq 0x4548
jmp 0xe6f2
movq %rax, %r14
leaq 0x970(%rsp), %rdi
callq 0x4548
jmp 0xe704
movq %rax, %r14
leaq 0x990(%rsp), %rdi
jmp 0xe400
jmp 0xe79e
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe728
movq %rax, %r14
leaq 0x9b0(%rsp), %rdi
callq 0x4548
jmp 0xe73a
movq %rax, %r14
leaq 0x9d0(%rsp), %rdi
callq 0x4548
jmp 0xe74c
movq %rax, %r14
leaq 0x9f0(%rsp), %rdi
jmp 0xe400
jmp 0xe79e
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe76d
movq %rax, %r14
leaq 0xa10(%rsp), %rdi
callq 0x4548
jmp 0xe77f
movq %rax, %r14
leaq 0xa30(%rsp), %rdi
callq 0x4548
jmp 0xe791
movq %rax, %r14
leaq 0xa50(%rsp), %rdi
jmp 0xe400
movq %rax, %r14
jmp 0xe405
jmp 0xe7eb
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe7ba
movq %rax, %r14
leaq 0xa70(%rsp), %rdi
callq 0x4548
jmp 0xe7cc
movq %rax, %r14
leaq 0xa90(%rsp), %rdi
callq 0x4548
jmp 0xe7de
movq %rax, %r14
leaq 0xab0(%rsp), %rdi
jmp 0xe40d
movq %rax, %r14
jmp 0xe412
jmp 0xe880
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe80a
movq %rax, %r14
leaq 0xad0(%rsp), %rdi
callq 0x4548
jmp 0xe81c
movq %rax, %r14
leaq 0xaf0(%rsp), %rdi
callq 0x4548
jmp 0xe82e
movq %rax, %r14
leaq 0xb10(%rsp), %rdi
jmp 0xe41a
jmp 0xe880
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe84f
movq %rax, %r14
leaq 0xb30(%rsp), %rdi
callq 0x4548
jmp 0xe861
movq %rax, %r14
leaq 0xb50(%rsp), %rdi
callq 0x4548
jmp 0xe873
movq %rax, %r14
leaq 0xb70(%rsp), %rdi
jmp 0xe41a
movq %rax, %r14
jmp 0xe41f
jmp 0xe95d
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe89f
movq %rax, %r14
leaq 0xb90(%rsp), %rdi
callq 0x4548
jmp 0xe8b1
movq %rax, %r14
leaq 0xbb0(%rsp), %rdi
callq 0x4548
jmp 0xe8c3
movq %rax, %r14
leaq 0xbd0(%rsp), %rdi
jmp 0xe427
jmp 0xe95d
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe8e7
movq %rax, %r14
leaq 0xbf0(%rsp), %rdi
callq 0x4548
jmp 0xe8f9
movq %rax, %r14
leaq 0xc10(%rsp), %rdi
callq 0x4548
jmp 0xe90b
movq %rax, %r14
leaq 0xc30(%rsp), %rdi
jmp 0xe427
jmp 0xe95d
movq %rax, %r14
leaq 0x8(%rsp), %rdi
callq 0x81fe
jmp 0xe92c
movq %rax, %r14
leaq 0xc50(%rsp), %rdi
callq 0x4548
jmp 0xe93e
movq %rax, %r14
leaq 0xc70(%rsp), %rdi
callq 0x4548
jmp 0xe950
movq %rax, %r14
leaq 0xc90(%rsp), %rdi
jmp 0xe427
movq %rax, %r14
jmp 0xe42c
nop