// File: /workspace/github_cpp_makefile_star2_O3/oknenavin[P]cxon/test/src/json/json.node-main.cxx
// Function: test::kind::time_print(std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&, std::vector<test::test, std::allocator<test::test>> const&)
void time_print(const std::vector<std::string>& names, const cases& c) {
        CXON_ASSERT(!names.empty(), "unexpected");
        for (auto& t: c)
            CXON_ASSERT(names.size() == t.time.read.size() && names.size() == t.time.write.size(), "inconsistent");
        std::vector<std::vector<std::string>> tab;
        {   // build the table
            static auto const fmt = [](double d) -> std::string {
                char b[64];
                int const r = std::snprintf(b, sizeof(b), "%.2f", d); CXON_ASSERT( r > 0 && r < (int)sizeof(b), "unexpected");
                return b;
            };
            {   // header
                tab.push_back({names[0], "Size"});
                tab.back().push_back("Read");
                for (size_t i = 1, is = names.size(); i != is; ++i)
                    tab.back().insert(tab.back().end(), {"x", names[i]});
                tab.back().push_back("Write");
                for (size_t i = 1, is = names.size(); i != is; ++i)
                    tab.back().insert(tab.back().end(), {"x", names[i]});
            }
            ::test::time total; double total_size = 0;
                total.read.resize(c.front().time.read.size());
                total.write.resize(c.front().time.write.size());
            {   // body
                for (auto& t: c) {
                    if (!t.error.empty()) {
                        std::fprintf(stderr, "%s: %s\n", t.source.c_str(), t.error.c_str());
                        continue;
                    }
                    double const size = double(t.size) / (1024. * 1024);
                    tab.push_back({
                        t.source.substr(t.source.rfind('/') + 1),
                        fmt(size)
                    });
                    tab.back().push_back(fmt(size / (t.time.read[0] / 1000)));
                    total.read[0] += size / (t.time.read[0] / 1000);
                    for (std::size_t i = 1, is = t.time.read.size(); i != is; ++i) {
                        tab.back().push_back(fmt(t.time.read[i] / t.time.read[0])),
                        tab.back().push_back(fmt(size / (t.time.read[i] / 1000)));
                        total.read[i] += size / (t.time.read[i] / 1000);
                    }
                    tab.back().push_back(fmt(size / (t.time.write[0] / 1000)));
                    total.write[0] += size / (t.time.write[0] / 1000);
                    for (std::size_t i = 1, is = t.time.write.size(); i != is; ++i) {
                        tab.back().push_back(fmt(t.time.write[i] / t.time.write[0])),
                        tab.back().push_back(fmt(size / (t.time.write[i] / 1000)));
                        total.write[i] += size / (t.time.write[i] / 1000);
                    }
                    total_size += size;
                }
            }
            {   // average
                tab.push_back({
                    "<average>",
                    fmt(total_size / c.size())
                });
                tab.back().push_back(fmt(total.read[0] / c.size()));
                for (std::size_t i = 1, is  = total.read.size(); i != is; ++i) {
                    tab.back().push_back(fmt(total.read[0] / total.read[i]));
                    tab.back().push_back(fmt(total.read[i] / c.size()));
                }
                tab.back().push_back(fmt(total.write[0] / c.size()));
                for (std::size_t i = 1, is  = total.write.size(); i != is; ++i) {
                    tab.back().push_back(fmt(total.write[0] / total.write[i]));
                    tab.back().push_back(fmt(total.write[i] / c.size()));
                }
            }
        }

        std::vector<std::size_t> wid(tab[0].size(), 0);
        {   // column width
            for (auto& r : tab)
                for (std::size_t i = 0, is = r.size(); i != is; ++i)
                    wid[i] = std::max(wid[i], r[i].length());
        }

        {   // print
            {   // header
                std::fprintf(stdout, "%-*s", (unsigned)wid[0], tab.front()[0].c_str());
                for (std::size_t i = 1, is = tab.front().size(); i != is; ++i)
                    std::fprintf(stdout, "  %*s", (unsigned)wid[i], tab.front()[i].c_str());
                std::fputc('\n', stdout);
            }
            {   // body
                for (std::size_t i = 1, is = tab.size(); i != is; ++i) {
                    std::fprintf(stdout, "%-*s", (unsigned)wid[0], tab[i][0].c_str());
                    for (std::size_t j = 1, js = tab[i].size(); j != js; ++j)
                        std::fprintf(stdout, "  %*s", (unsigned)wid[j], tab[i][j].c_str());
                    std::fputc('\n', stdout);
                }
            }
        }
        std::fflush(stdout);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
movq %rsi, %r15
movq %rdi, 0xa0(%rsp)
movq (%rdi), %rax
xorpd %xmm0, %xmm0
movapd %xmm0, (%rsp)
movq $0x0, 0x10(%rsp)
leaq 0x70(%rsp), %rcx
movq %rcx, -0x10(%rcx)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq 0x60(%rsp), %rdi
callq 0x1b406
leaq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x8d28d(%rip), %rsi     # 0xd33f8
leaq 0x8d28a(%rip), %rdx     # 0xd33fc
callq 0x18f42
leaq 0x20(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0xf0(%rsp), %rcx
movl $0x2, %edx
callq 0x47610
movq %rsp, %rdi
leaq 0x20(%rsp), %rsi
callq 0x4e0fa
leaq 0x20(%rsp), %rdi
callq 0x1d9d0
leaq 0x90(%rsp), %r13
xorl %ebx, %ebx
movq 0x80(%rsp,%rbx), %rdi
leaq (%rbx,%r13), %rax
cmpq %rdi, %rax
je 0x461ca
callq 0xe240
addq $-0x20, %rbx
cmpq $-0x40, %rbx
jne 0x461b4
movq 0x8(%rsp), %rbx
leaq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
movq %rax, (%rdi)
leaq 0x8d210(%rip), %rsi     # 0xd33fd
leaq 0x8d20d(%rip), %rdx     # 0xd3401
callq 0x18f42
addq $-0x18, %rbx
leaq 0x60(%rsp), %rsi
movq %rbx, %rdi
callq 0x4e412
movq %r15, 0xb8(%rsp)
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x46226
callq 0xe240
movq 0xa0(%rsp), %rax
movq 0x8(%rax), %rbp
subq (%rax), %rbp
cmpq $0x20, %rbp
je 0x462f3
sarq $0x5, %rbp
movl $0x1, %r14d
leaq 0x60(%rsp), %rbx
movq 0x8(%rsp), %r15
movq -0x10(%r15), %r12
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
movq %rbx, %rdi
leaq 0x8c53f(%rip), %rsi     # 0xd27aa
leaq 0x8c539(%rip), %rdx     # 0xd27ab
callq 0x18f42
movq 0xa0(%rsp), %rax
movq (%rax), %rax
movq %r14, %rcx
shlq $0x5, %rcx
movq %r13, 0x80(%rsp)
movq (%rax,%rcx), %rsi
movq 0x8(%rax,%rcx), %rdx
addq %rsi, %rdx
leaq 0x80(%rsp), %rdi
callq 0x1b406
addq $-0x18, %r15
movq %r15, %rdi
movq %r12, %rsi
movq %rbx, %rdx
leaq 0xa0(%rsp), %rcx
callq 0x4e614
xorl %r15d, %r15d
movq 0x80(%rsp,%r15), %rdi
leaq (%r15,%r13), %rax
cmpq %rdi, %rax
je 0x462dd
callq 0xe240
addq $-0x20, %r15
cmpq $-0x40, %r15
jne 0x462c7
incq %r14
cmpq %rbp, %r14
jne 0x4624e
movq 0x8(%rsp), %rbx
leaq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
movq %rax, (%rdi)
leaq 0x8c551(%rip), %rsi     # 0xd285d
leaq 0x8c54f(%rip), %rdx     # 0xd2862
callq 0x18f42
addq $-0x18, %rbx
leaq 0x60(%rsp), %rsi
movq %rbx, %rdi
callq 0x4e412
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x4633d
callq 0xe240
movq 0xa0(%rsp), %rax
movq 0x8(%rax), %rbp
subq (%rax), %rbp
cmpq $0x20, %rbp
je 0x46412
sarq $0x5, %rbp
leaq 0x90(%rsp), %r13
movl $0x1, %r14d
leaq 0x60(%rsp), %rbx
movq 0x8(%rsp), %r15
movq -0x10(%r15), %r12
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
movq %rbx, %rdi
leaq 0x8c420(%rip), %rsi     # 0xd27aa
leaq 0x8c41a(%rip), %rdx     # 0xd27ab
callq 0x18f42
movq 0xa0(%rsp), %rax
movq (%rax), %rax
movq %r14, %rcx
shlq $0x5, %rcx
movq %r13, 0x80(%rsp)
movq (%rax,%rcx), %rsi
movq 0x8(%rax,%rcx), %rdx
addq %rsi, %rdx
leaq 0x80(%rsp), %rdi
callq 0x1b406
addq $-0x18, %r15
movq %r15, %rdi
movq %r12, %rsi
movq %rbx, %rdx
leaq 0xa0(%rsp), %rcx
callq 0x4e614
xorl %r15d, %r15d
movq 0x80(%rsp,%r15), %rdi
leaq (%r15,%r13), %rax
cmpq %rdi, %rax
je 0x463fc
callq 0xe240
addq $-0x20, %r15
cmpq $-0x40, %r15
jne 0x463e6
incq %r14
cmpq %rbp, %r14
jne 0x4636d
xorpd %xmm0, %xmm0
leaq 0xf0(%rsp), %rdi
movapd %xmm0, 0x20(%rdi)
movapd %xmm0, 0x10(%rdi)
movapd %xmm0, (%rdi)
movq 0xb8(%rsp), %rbx
movq (%rbx), %rax
movq 0x30(%rax), %rsi
subq 0x28(%rax), %rsi
sarq $0x3, %rsi
callq 0x47652
leaq 0x108(%rsp), %rdi
movq (%rbx), %rax
movq 0x48(%rax), %rsi
subq 0x40(%rax), %rsi
sarq $0x3, %rsi
callq 0x47652
movq (%rbx), %r14
movq 0x8(%rbx), %rax
movq %rax, 0x120(%rsp)
cmpq %rax, %r14
je 0x46a27
leaq 0x50(%rsp), %r12
xorpd %xmm0, %xmm0
movsd %xmm0, 0xe8(%rsp)
leaq 0x20(%rsp), %r15
leaq 0x8cf7d(%rip), %r13     # 0xd3417
leaq 0x60(%rsp), %rbp
leaq 0xc8(%rsp), %rbx
cmpq $0x0, 0x60(%r14)
jne 0x46a1d
movsd 0x20(%r14), %xmm0
unpcklps 0x8cca1(%rip), %xmm0    # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x8cca9(%rip), %xmm0    # 0xd3170
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
mulsd 0x8ccd5(%rip), %xmm1    # 0xd31b0
movapd %xmm1, 0xa0(%rsp)
movq %r14, %rdi
movl $0x2f, %esi
movq $-0x1, %rdx
callq 0xe440
leaq 0x1(%rax), %rdx
movq %r15, %rdi
movq %r14, %rsi
movq $-0x1, %rcx
callq 0xe270
movl $0x40, %esi
movq %rbp, %rdi
movq %r13, %rdx
movapd 0xa0(%rsp), %xmm0
movb $0x1, %al
callq 0xe380
movq %r12, 0x40(%rsp)
movq %rbp, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
leaq 0x40(%rsp), %rdi
movq %rbp, %rsi
callq 0x18f42
movl $0x2, %edx
movq %rbx, %rdi
movq %r15, %rsi
movq %rbp, %rcx
callq 0x47610
movq %rsp, %rdi
movq %rbx, %rsi
callq 0x4e0fa
movq %rbx, %rdi
callq 0x1d9d0
xorl %ebx, %ebx
movapd 0xa0(%rsp), %xmm0
movq 0x40(%rsp,%rbx), %rdi
leaq (%r12,%rbx), %rax
cmpq %rdi, %rax
je 0x46598
callq 0xe240
movapd 0xa0(%rsp), %xmm0
addq $-0x20, %rbx
cmpq $-0x40, %rbx
jne 0x4657c
movq 0x8(%rsp), %rbx
movq 0x28(%r14), %rax
movsd (%rax), %xmm1
divsd 0x8cc01(%rip), %xmm1    # 0xd31b8
divsd %xmm1, %xmm0
movl $0x40, %esi
movq %rbp, %rdi
movq %r13, %rdx
movb $0x1, %al
callq 0xe380
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
movq %rbp, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
movq %r15, %rdi
movq %rbp, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x4e412
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x46615
callq 0xe240
movq 0x28(%r14), %rax
movsd (%rax), %xmm0
divsd 0x8cb93(%rip), %xmm0    # 0xd31b8
movapd 0xa0(%rsp), %xmm2
movapd %xmm2, %xmm1
divsd %xmm0, %xmm1
movq 0xf0(%rsp), %rcx
addsd (%rcx), %xmm1
movsd %xmm1, (%rcx)
movq 0x30(%r14), %rcx
subq %rax, %rcx
movq %rcx, 0xc0(%rsp)
cmpq $0x8, %rcx
je 0x467bd
sarq $0x3, 0xc0(%rsp)
movl $0x1, %r12d
movq 0x8(%rsp), %rbx
movsd (%rax,%r12,8), %xmm0
divsd (%rax), %xmm0
movl $0x40, %esi
movq %rbp, %rdi
movq %r13, %rdx
movb $0x1, %al
callq 0xe380
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
movq %rbp, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
leaq 0x20(%rsp), %r13
movq %r13, %rdi
movq %rbp, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x4e412
movq 0x8(%rsp), %rbx
movq 0x28(%r14), %rax
movsd (%rax,%r12,8), %xmm1
divsd 0x8cad9(%rip), %xmm1    # 0xd31b8
movapd 0xa0(%rsp), %xmm0
divsd %xmm1, %xmm0
movl $0x40, %esi
movq %rbp, %rdi
leaq 0x8cd1c(%rip), %r13     # 0xd3417
movq %r13, %rdx
movb $0x1, %al
callq 0xe380
leaq 0xd8(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq %rbp, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
leaq 0xc8(%rsp), %r15
movq %r15, %rdi
movq %rbp, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x4e412
movq 0xc8(%rsp), %rdi
leaq 0xd8(%rsp), %rax
cmpq %rax, %rdi
je 0x46761
callq 0xe240
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x46775
callq 0xe240
movq 0x28(%r14), %rax
movsd (%rax,%r12,8), %xmm0
divsd 0x8ca31(%rip), %xmm0    # 0xd31b8
movapd 0xa0(%rsp), %xmm2
movapd %xmm2, %xmm1
divsd %xmm0, %xmm1
movq 0xf0(%rsp), %rcx
addsd (%rcx,%r12,8), %xmm1
movsd %xmm1, (%rcx,%r12,8)
incq %r12
cmpq %r12, 0xc0(%rsp)
jne 0x4666e
movq 0x8(%rsp), %rbx
movq 0x40(%r14), %rax
movsd (%rax), %xmm1
divsd 0x8c9e6(%rip), %xmm1    # 0xd31b8
movapd %xmm2, %xmm0
divsd %xmm1, %xmm0
movl $0x40, %esi
movq %rbp, %rdi
movq %r13, %rdx
movb $0x1, %al
callq 0xe380
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
movq %rbp, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
leaq 0x20(%rsp), %r15
movq %r15, %rdi
movq %rbp, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x4e412
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
leaq 0xc8(%rsp), %rbx
je 0x46841
callq 0xe240
movq 0x40(%r14), %rax
movsd (%rax), %xmm0
divsd 0x8c967(%rip), %xmm0    # 0xd31b8
movapd 0xa0(%rsp), %xmm2
movapd %xmm2, %xmm1
divsd %xmm0, %xmm1
movq 0x108(%rsp), %rcx
addsd (%rcx), %xmm1
movsd %xmm1, (%rcx)
movq 0x48(%r14), %rcx
subq %rax, %rcx
movq %rcx, 0xc0(%rsp)
cmpq $0x8, %rcx
je 0x469e9
sarq $0x3, 0xc0(%rsp)
movl $0x1, %r12d
movq 0x8(%rsp), %rbx
movsd (%rax,%r12,8), %xmm0
divsd (%rax), %xmm0
movl $0x40, %esi
movq %rbp, %rdi
movq %r13, %rdx
movb $0x1, %al
callq 0xe380
leaq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
movq %rbp, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
leaq 0x20(%rsp), %r13
movq %r13, %rdi
movq %rbp, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r13, %rsi
callq 0x4e412
movq 0x8(%rsp), %r15
movq 0x40(%r14), %rax
movsd (%rax,%r12,8), %xmm1
divsd 0x8c8ad(%rip), %xmm1    # 0xd31b8
movapd 0xa0(%rsp), %xmm0
divsd %xmm1, %xmm0
movl $0x40, %esi
movq %rbp, %rdi
leaq 0x8caf0(%rip), %r13     # 0xd3417
movq %r13, %rdx
movb $0x1, %al
callq 0xe380
leaq 0xd8(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq %rbp, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
leaq 0xc8(%rsp), %rbx
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x18f42
addq $-0x18, %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x4e412
movq 0xc8(%rsp), %rdi
leaq 0xd8(%rsp), %rax
cmpq %rax, %rdi
je 0x4698d
callq 0xe240
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x469a1
callq 0xe240
movq 0x40(%r14), %rax
movsd (%rax,%r12,8), %xmm0
divsd 0x8c805(%rip), %xmm0    # 0xd31b8
movapd 0xa0(%rsp), %xmm2
movapd %xmm2, %xmm1
divsd %xmm0, %xmm1
movq 0x108(%rsp), %rcx
addsd (%rcx,%r12,8), %xmm1
movsd %xmm1, (%rcx,%r12,8)
incq %r12
cmpq %r12, 0xc0(%rsp)
jne 0x4689a
movsd 0xe8(%rsp), %xmm0
addsd %xmm2, %xmm0
movsd %xmm0, 0xe8(%rsp)
leaq 0x20(%rsp), %r15
leaq 0x50(%rsp), %r12
subq $-0x80, %r14
cmpq 0x120(%rsp), %r14
jne 0x464a7
jmp 0x46a34
movq %r14, %rdi
callq 0xeb6c
jmp 0x46a09
xorpd %xmm0, %xmm0
movsd %xmm0, 0xe8(%rsp)
leaq 0x30(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x8c9be(%rip), %rsi     # 0xd3402
leaq 0x8c9c0(%rip), %rdx     # 0xd340b
leaq 0x20(%rsp), %rdi
callq 0x18f42
leaq 0x40(%rsp), %rbx
movq 0xb8(%rsp), %r12
movq 0x8(%r12), %rax
subq (%r12), %rax
sarq $0x7, %rax
movq %rax, %xmm0
punpckldq 0x8c6e4(%rip), %xmm0 # xmm0 = xmm0[0],mem[0],xmm0[1],mem[1]
subpd 0x8c6ec(%rip), %xmm0    # 0xd3170
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm0, %xmm1
movsd 0xe8(%rsp), %xmm0
divsd %xmm1, %xmm0
leaq 0x8c973(%rip), %rdx     # 0xd3417
leaq 0x60(%rsp), %r14
movl $0x40, %esi
movq %r14, %rdi
movb $0x1, %al
callq 0xe380
leaq 0x50(%rsp), %r15
movq %r15, -0x10(%r15)
movq %r14, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x18f42
leaq 0xc8(%rsp), %rdi
leaq 0x20(%rsp), %rsi
leaq 0x60(%rsp), %rcx
movl $0x2, %edx
callq 0x47610
movq %rsp, %rdi
leaq 0xc8(%rsp), %rsi
callq 0x4e0fa
leaq 0xc8(%rsp), %rdi
callq 0x1d9d0
leaq 0x50(%rsp), %rbx
xorl %r14d, %r14d
movq 0x40(%rsp,%r14), %rdi
leaq (%rbx,%r14), %rax
cmpq %rdi, %rax
je 0x46b30
callq 0xe240
addq $-0x20, %r14
cmpq $-0x40, %r14
jne 0x46b1d
movq 0x8(%rsp), %rbx
movq 0xf0(%rsp), %rax
movsd (%rax), %xmm0
movq 0x8(%r12), %rax
subq (%r12), %rax
sarq $0x7, %rax
movq %rax, %xmm1
punpckldq 0x8c5fb(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x8c603(%rip), %xmm1    # 0xd3170
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm1, %xmm2
divsd %xmm2, %xmm0
leaq 0x8c893(%rip), %rdx     # 0xd3417
leaq 0x60(%rsp), %r14
movl $0x40, %esi
movq %r14, %rdi
movb $0x1, %al
callq 0xe380
leaq 0x20(%rsp), %r15
movq %r13, (%r15)
movq %r14, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
movq %r15, %rdi
movq %r14, %rsi
callq 0x18f42
addq $-0x18, %rbx
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0x4e412
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x46bdb
callq 0xe240
movq 0xf8(%rsp), %rbp
subq 0xf0(%rsp), %rbp
cmpq $0x8, %rbp
je 0x46d1f
sarq $0x3, %rbp
movl $0x1, %r14d
leaq 0x60(%rsp), %r15
leaq 0x20(%rsp), %r12
movq 0x8(%rsp), %rbx
movq 0xf0(%rsp), %rax
movsd (%rax), %xmm0
divsd (%rax,%r14,8), %xmm0
movl $0x40, %esi
movq %r15, %rdi
leaq 0x8c7e8(%rip), %rdx     # 0xd3417
movb $0x1, %al
callq 0xe380
movq %r13, 0x20(%rsp)
movq %r15, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
movq %r12, %rdi
movq %r15, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x4e412
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x46c74
callq 0xe240
movq 0x8(%rsp), %rbx
movq 0xf0(%rsp), %rax
movsd (%rax,%r14,8), %xmm0
movq 0xb8(%rsp), %rcx
movq 0x8(%rcx), %rax
subq (%rcx), %rax
sarq $0x7, %rax
movq %rax, %xmm1
punpckldq 0x8c4b9(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x8c4c1(%rip), %xmm1    # 0xd3170
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm1, %xmm2
divsd %xmm2, %xmm0
movl $0x40, %esi
movq %r15, %rdi
leaq 0x8c749(%rip), %rdx     # 0xd3417
movb $0x1, %al
callq 0xe380
movq %r13, 0x20(%rsp)
movq %r15, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
movq %r12, %rdi
movq %r15, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x4e412
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x46d13
callq 0xe240
incq %r14
cmpq %r14, %rbp
jne 0x46c09
movq 0x8(%rsp), %rbx
movq 0x108(%rsp), %rax
movsd (%rax), %xmm0
movq 0xb8(%rsp), %rcx
movq 0x8(%rcx), %rax
subq (%rcx), %rax
sarq $0x7, %rax
movq %rax, %xmm1
punpckldq 0x8c410(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x8c418(%rip), %xmm1    # 0xd3170
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm1, %xmm2
divsd %xmm2, %xmm0
leaq 0x8c6a8(%rip), %rdx     # 0xd3417
leaq 0x60(%rsp), %r14
movl $0x40, %esi
movq %r14, %rdi
movb $0x1, %al
callq 0xe380
leaq 0x20(%rsp), %r15
movq %r13, (%r15)
movq %r14, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
movq %r15, %rdi
movq %r14, %rsi
callq 0x18f42
addq $-0x18, %rbx
leaq 0x20(%rsp), %rsi
movq %rbx, %rdi
callq 0x4e412
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x46dc6
callq 0xe240
movq 0x108(%rsp), %rdi
movq 0x110(%rsp), %rbp
subq %rdi, %rbp
cmpq $0x8, %rbp
je 0x46f15
sarq $0x3, %rbp
movl $0x1, %r14d
leaq 0x60(%rsp), %r15
leaq 0x20(%rsp), %r12
movq 0x8(%rsp), %rbx
movq 0x108(%rsp), %rax
movsd (%rax), %xmm0
divsd (%rax,%r14,8), %xmm0
movl $0x40, %esi
movq %r15, %rdi
leaq 0x8c5fa(%rip), %rdx     # 0xd3417
movb $0x1, %al
callq 0xe380
movq %r13, 0x20(%rsp)
movq %r15, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
movq %r12, %rdi
movq %r15, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x4e412
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x46e62
callq 0xe240
movq 0x8(%rsp), %rbx
movq 0x108(%rsp), %rax
movsd (%rax,%r14,8), %xmm0
movq 0xb8(%rsp), %rcx
movq 0x8(%rcx), %rax
subq (%rcx), %rax
sarq $0x7, %rax
movq %rax, %xmm1
punpckldq 0x8c2cb(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x8c2d3(%rip), %xmm1    # 0xd3170
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm1, %xmm2
divsd %xmm2, %xmm0
movl $0x40, %esi
movq %r15, %rdi
leaq 0x8c55b(%rip), %rdx     # 0xd3417
movb $0x1, %al
callq 0xe380
movq %r13, 0x20(%rsp)
movq %r15, %rdi
callq 0xe130
leaq (%rsp,%rax), %rdx
addq $0x60, %rdx
movq %r12, %rdi
movq %r15, %rsi
callq 0x18f42
addq $-0x18, %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x4e412
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x46f01
callq 0xe240
incq %r14
cmpq %r14, %rbp
jne 0x46df7
movq 0x108(%rsp), %rdi
testq %rdi, %rdi
je 0x46f1f
callq 0xe240
movq 0xf0(%rsp), %rdi
testq %rdi, %rdi
je 0x46f31
callq 0xe240
movq (%rsp), %rax
movq 0x8(%rax), %rsi
subq (%rax), %rsi
sarq $0x5, %rsi
leaq 0x20(%rsp), %rdx
movq $0x0, (%rdx)
leaq 0x60(%rsp), %rdi
leaq 0xf0(%rsp), %rcx
callq 0x476a6
movq (%rsp), %rax
movq 0x8(%rsp), %rdx
movq 0x60(%rsp), %rcx
cmpq %rdx, %rax
je 0x46fb2
movq %rax, %rsi
movq (%rsi), %rdi
movq 0x8(%rsi), %r8
subq %rdi, %r8
je 0x46fa9
sarq $0x5, %r8
addq $0x8, %rdi
xorl %r9d, %r9d
movq (%rdi), %r10
movq (%rcx,%r9,8), %r11
cmpq %r10, %r11
cmovaq %r11, %r10
movq %r10, (%rcx,%r9,8)
incq %r9
addq $0x20, %rdi
cmpq %r9, %r8
jne 0x46f8b
addq $0x18, %rsi
cmpq %rdx, %rsi
jne 0x46f74
movq 0xd8ff7(%rip), %r15     # 0x11ffb0
movq (%r15), %rdi
movl (%rcx), %edx
movq (%rax), %rax
movq (%rax), %rcx
leaq 0x8c441(%rip), %rsi     # 0xd340c
xorl %eax, %eax
callq 0xe330
movq (%rsp), %rax
movq 0x8(%rax), %r14
subq (%rax), %r14
cmpq $0x20, %r14
je 0x47021
sarq $0x5, %r14
decq %r14
movl $0x8, %r12d
leaq 0x8c41a(%rip), %rbx     # 0xd3411
movq (%r15), %rdi
movq 0x60(%rsp), %rax
movl (%rax,%r12), %edx
movq (%rsp), %rax
movq (%rax), %rax
movq (%rax,%r12,4), %rcx
movq %rbx, %rsi
xorl %eax, %eax
callq 0xe330
addq $0x8, %r12
decq %r14
jne 0x46ff7
movq (%r15), %rsi
movl $0xa, %edi
callq 0xe2e0
movq 0x8(%rsp), %rax
subq (%rsp), %rax
cmpq $0x18, %rax
je 0x47109
sarq $0x3, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rcx
movq %rcx, 0xa0(%rsp)
movl $0x1, %r13d
leaq 0x8c3a9(%rip), %r14     # 0xd3411
movq (%r15), %rdi
movq 0x60(%rsp), %rax
movl (%rax), %edx
movq (%rsp), %rax
leaq (,%r13,8), %rcx
leaq (%rcx,%rcx,2), %rbx
movq (%rax,%rbx), %rax
movq (%rax), %rcx
leaq 0x8c37c(%rip), %rsi     # 0xd340c
xorl %eax, %eax
callq 0xe330
movq (%rsp), %rax
movq 0x8(%rax,%rbx), %rbp
subq (%rax,%rbx), %rbp
cmpq $0x20, %rbp
je 0x470eb
sarq $0x5, %rbp
decq %rbp
movl $0x8, %ebx
leaq (,%r13,2), %r12
addq %r13, %r12
movq (%r15), %rdi
movq 0x60(%rsp), %rax
movl (%rax,%rbx), %edx
movq (%rsp), %rax
movq (%rax,%r12,8), %rax
movq (%rax,%rbx,4), %rcx
movq %r14, %rsi
xorl %eax, %eax
callq 0xe330
addq $0x8, %rbx
decq %rbp
jne 0x470c1
movq (%r15), %rsi
movl $0xa, %edi
callq 0xe2e0
incq %r13
cmpq 0xa0(%rsp), %r13
jne 0x47068
movq (%r15), %rdi
callq 0xe2c0
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x47120
callq 0xe240
movq %rsp, %rdi
callq 0x477c6
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x47241
jmp 0x47200
jmp 0x472de
jmp 0x47200
jmp 0x472de
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x1d9d0
jmp 0x47168
movq %rax, %rbx
movq $-0x40, %r14
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x4717d
callq 0xe240
addq $-0x20, %r15
addq $0x20, %r14
jne 0x4716f
jmp 0x472fa
jmp 0x47200
jmp 0x472de
jmp 0x47249
jmp 0x47241
jmp 0x47249
jmp 0x47241
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x1d9d0
jmp 0x471b9
movq %rax, %rbx
movq $-0x40, %r15
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x471ce
callq 0xe240
addq $-0x20, %r14
addq $0x20, %r15
jne 0x471c0
jmp 0x47307
jmp 0x47249
jmp 0x47241
jmp 0x472de
jmp 0x472de
jmp 0x47200
jmp 0x472de
jmp 0x47200
jmp 0x472de
jmp 0x47200
jmp 0x472de
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
jne 0x472f5
jmp 0x472fa
jmp 0x47241
jmp 0x47249
movq %rax, %rbx
movq $-0x40, %r14
movq -0x10(%r13), %rdi
cmpq %rdi, %r13
je 0x47232
callq 0xe240
addq $-0x20, %r13
addq $0x20, %r14
jne 0x47224
jmp 0x47307
movq %rax, %rbx
jmp 0x47307
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x47307
callq 0xe240
jmp 0x47307
movq %rax, %rbx
movq $-0x40, %r14
movq -0x10(%r13), %rdi
cmpq %rdi, %r13
je 0x47281
callq 0xe240
addq $-0x20, %r13
addq $0x20, %r14
jne 0x47273
jmp 0x47307
jmp 0x472de
jmp 0x472e3
jmp 0x472e3
jmp 0x472e3
movq %rax, %rbx
jmp 0x472aa
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x1d9d0
movq $-0x40, %r14
leaq 0x50(%rsp), %r15
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x472c4
callq 0xe240
addq $-0x20, %r15
addq $0x20, %r14
jne 0x472b6
jmp 0x472fa
jmp 0x472de
jmp 0x472de
jmp 0x472e3
jmp 0x47317
jmp 0x472e3
jmp 0x472de
jmp 0x472e3
movq %rax, %rbx
jmp 0x472fa
movq %rax, %rbx
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x472fa
callq 0xe240
leaq 0xf0(%rsp), %rdi
callq 0x47684
movq %rsp, %rdi
callq 0x477c6
movq %rbx, %rdi
callq 0xe3c0
movq %rax, %rbx
movq 0xc8(%rsp), %rdi
leaq 0xd8(%rsp), %rax
cmpq %rax, %rdi
je 0x472e6
callq 0xe240
jmp 0x472e6