// File: /workspace/github_cpp_makefile_star2_O3/cqbqdd11519[P]DockerClient/rapidjson/include/rapidjson/internal/itoa.h
// Function: rapidjson::internal::u64toa(unsigned long, char*)
inline char* u64toa(uint64_t value, char* buffer) {
    RAPIDJSON_ASSERT(buffer != 0);
    const char* cDigitsLut = GetDigitsLut();
    const uint64_t  kTen8 = 100000000;
    const uint64_t  kTen9 = kTen8 * 10;
    const uint64_t kTen10 = kTen8 * 100;
    const uint64_t kTen11 = kTen8 * 1000;
    const uint64_t kTen12 = kTen8 * 10000;
    const uint64_t kTen13 = kTen8 * 100000;
    const uint64_t kTen14 = kTen8 * 1000000;
    const uint64_t kTen15 = kTen8 * 10000000;
    const uint64_t kTen16 = kTen8 * kTen8;

    if (value < kTen8) {
        uint32_t v = static_cast<uint32_t>(value);
        if (v < 10000) {
            const uint32_t d1 = (v / 100) << 1;
            const uint32_t d2 = (v % 100) << 1;

            if (v >= 1000)
                *buffer++ = cDigitsLut[d1];
            if (v >= 100)
                *buffer++ = cDigitsLut[d1 + 1];
            if (v >= 10)
                *buffer++ = cDigitsLut[d2];
            *buffer++ = cDigitsLut[d2 + 1];
        }
        else {
            // value = bbbbcccc
            const uint32_t b = v / 10000;
            const uint32_t c = v % 10000;

            const uint32_t d1 = (b / 100) << 1;
            const uint32_t d2 = (b % 100) << 1;

            const uint32_t d3 = (c / 100) << 1;
            const uint32_t d4 = (c % 100) << 1;

            if (value >= 10000000)
                *buffer++ = cDigitsLut[d1];
            if (value >= 1000000)
                *buffer++ = cDigitsLut[d1 + 1];
            if (value >= 100000)
                *buffer++ = cDigitsLut[d2];
            *buffer++ = cDigitsLut[d2 + 1];

            *buffer++ = cDigitsLut[d3];
            *buffer++ = cDigitsLut[d3 + 1];
            *buffer++ = cDigitsLut[d4];
            *buffer++ = cDigitsLut[d4 + 1];
        }
    }
    else if (value < kTen16) {
        const uint32_t v0 = static_cast<uint32_t>(value / kTen8);
        const uint32_t v1 = static_cast<uint32_t>(value % kTen8);

        const uint32_t b0 = v0 / 10000;
        const uint32_t c0 = v0 % 10000;

        const uint32_t d1 = (b0 / 100) << 1;
        const uint32_t d2 = (b0 % 100) << 1;

        const uint32_t d3 = (c0 / 100) << 1;
        const uint32_t d4 = (c0 % 100) << 1;

        const uint32_t b1 = v1 / 10000;
        const uint32_t c1 = v1 % 10000;

        const uint32_t d5 = (b1 / 100) << 1;
        const uint32_t d6 = (b1 % 100) << 1;

        const uint32_t d7 = (c1 / 100) << 1;
        const uint32_t d8 = (c1 % 100) << 1;

        if (value >= kTen15)
            *buffer++ = cDigitsLut[d1];
        if (value >= kTen14)
            *buffer++ = cDigitsLut[d1 + 1];
        if (value >= kTen13)
            *buffer++ = cDigitsLut[d2];
        if (value >= kTen12)
            *buffer++ = cDigitsLut[d2 + 1];
        if (value >= kTen11)
            *buffer++ = cDigitsLut[d3];
        if (value >= kTen10)
            *buffer++ = cDigitsLut[d3 + 1];
        if (value >= kTen9)
            *buffer++ = cDigitsLut[d4];

        *buffer++ = cDigitsLut[d4 + 1];
        *buffer++ = cDigitsLut[d5];
        *buffer++ = cDigitsLut[d5 + 1];
        *buffer++ = cDigitsLut[d6];
        *buffer++ = cDigitsLut[d6 + 1];
        *buffer++ = cDigitsLut[d7];
        *buffer++ = cDigitsLut[d7 + 1];
        *buffer++ = cDigitsLut[d8];
        *buffer++ = cDigitsLut[d8 + 1];
    }
    else {
        const uint32_t a = static_cast<uint32_t>(value / kTen16); // 1 to 1844
        value %= kTen16;

        if (a < 10)
            *buffer++ = static_cast<char>('0' + static_cast<char>(a));
        else if (a < 100) {
            const uint32_t i = a << 1;
            *buffer++ = cDigitsLut[i];
            *buffer++ = cDigitsLut[i + 1];
        }
        else if (a < 1000) {
            *buffer++ = static_cast<char>('0' + static_cast<char>(a / 100));

            const uint32_t i = (a % 100) << 1;
            *buffer++ = cDigitsLut[i];
            *buffer++ = cDigitsLut[i + 1];
        }
        else {
            const uint32_t i = (a / 100) << 1;
            const uint32_t j = (a % 100) << 1;
            *buffer++ = cDigitsLut[i];
            *buffer++ = cDigitsLut[i + 1];
            *buffer++ = cDigitsLut[j];
            *buffer++ = cDigitsLut[j + 1];
        }

        const uint32_t v0 = static_cast<uint32_t>(value / kTen8);
        const uint32_t v1 = static_cast<uint32_t>(value % kTen8);

        const uint32_t b0 = v0 / 10000;
        const uint32_t c0 = v0 % 10000;

        const uint32_t d1 = (b0 / 100) << 1;
        const uint32_t d2 = (b0 % 100) << 1;

        const uint32_t d3 = (c0 / 100) << 1;
        const uint32_t d4 = (c0 % 100) << 1;

        const uint32_t b1 = v1 / 10000;
        const uint32_t c1 = v1 % 10000;

        const uint32_t d5 = (b1 / 100) << 1;
        const uint32_t d6 = (b1 % 100) << 1;

        const uint32_t d7 = (c1 / 100) << 1;
        const uint32_t d8 = (c1 % 100) << 1;

        *buffer++ = cDigitsLut[d1];
        *buffer++ = cDigitsLut[d1 + 1];
        *buffer++ = cDigitsLut[d2];
        *buffer++ = cDigitsLut[d2 + 1];
        *buffer++ = cDigitsLut[d3];
        *buffer++ = cDigitsLut[d3 + 1];
        *buffer++ = cDigitsLut[d4];
        *buffer++ = cDigitsLut[d4 + 1];
        *buffer++ = cDigitsLut[d5];
        *buffer++ = cDigitsLut[d5 + 1];
        *buffer++ = cDigitsLut[d6];
        *buffer++ = cDigitsLut[d6 + 1];
        *buffer++ = cDigitsLut[d7];
        *buffer++ = cDigitsLut[d7 + 1];
        *buffer++ = cDigitsLut[d8];
        *buffer++ = cDigitsLut[d8 + 1];
    }

    return buffer;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
testq %rsi, %rsi
je 0xd769
cmpq $0x5f5e0ff, %rdi        # imm = 0x5F5E0FF
ja 0xd19a
cmpq $0x270f, %rdi           # imm = 0x270F
ja 0xd2b5
movl %edi, %eax
imulq $0x51eb851f, %rax, %rcx # imm = 0x51EB851F
shrq $0x25, %rcx
imull $0x64, %ecx, %edx
addl %ecx, %ecx
movl %edi, %eax
subl %edx, %eax
addl %eax, %eax
cmpq $0x3e8, %rdi            # imm = 0x3E8
jb 0xd386
movq 0x8dd3(%rip), %rdx      # 0x15f60
movb (%rdx,%rcx), %dl
movb %dl, (%rsi)
incq %rsi
jmp 0xd390
movabsq $0x2386f26fc0ffff, %rax # imm = 0x2386F26FC0FFFF
cmpq %rax, %rdi
ja 0xd33e
movabsq $-0x543388ee7b9e3103, %rcx # imm = 0xABCC77118461CEFD
movq %rdi, %rax
mulq %rcx
shrq $0x1a, %rdx
imulq $0x5f5e100, %rdx, %rcx  # imm = 0x5F5E100
movq %rdi, %rax
subq %rcx, %rax
movl %edx, %ecx
movl $0xd1b71759, %r11d      # imm = 0xD1B71759
imulq %rcx, %r11
shrq $0x2d, %r11
imull $0x2710, %r11d, %r8d    # imm = 0x2710
subl %r8d, %edx
imulq $0x431bde83, %rcx, %rbx # imm = 0x431BDE83
shrq $0x31, %rbx
andl $-0x2, %ebx
movl $0xffff, %r14d          # imm = 0xFFFF
movl %r11d, %ecx
andl %r14d, %ecx
shrl $0x2, %ecx
imull $0x147b, %ecx, %ecx     # imm = 0x147B
shrl $0x11, %ecx
imull $0x64, %ecx, %ecx
subl %ecx, %r11d
andl %r14d, %r11d
addl %r11d, %r11d
imull $0x147b, %edx, %r9d     # imm = 0x147B
shrl $0x13, %r9d
imull $0x64, %r9d, %ecx
addl %r9d, %r9d
subl %ecx, %edx
andl %r14d, %edx
addl %edx, %edx
imulq $0x68db8bb, %rax, %rcx  # imm = 0x68DB8BB
shrq $0x28, %rcx
imull $0x2710, %ecx, %r10d    # imm = 0x2710
imulq $0x8637bd1, %rax, %r8   # imm = 0x8637BD1
subl %r10d, %eax
shrq $0x2e, %r8
andl $0x1fe, %r8d            # imm = 0x1FE
imull $0x147b, %ecx, %r10d    # imm = 0x147B
shrl $0x13, %r10d
imull $0x64, %r10d, %r10d
subl %r10d, %ecx
andl %r14d, %ecx
addl %ecx, %ecx
imull $0x147b, %eax, %r15d    # imm = 0x147B
shrl $0x13, %r15d
leal (%r15,%r15), %r10d
imull $0x64, %r15d, %r15d
subl %r15d, %eax
andl %r14d, %eax
addl %eax, %eax
movabsq $0x38d7ea4c68000, %r14  # imm = 0x38D7EA4C68000
cmpq %r14, %rdi
jb 0xd3c8
movq 0x8cba(%rip), %rdi      # 0x15f60
movb (%rdi,%rbx), %dil
movb %dil, (%rsi)
incq %rsi
jmp 0xd3db
movl %edi, %edx
movl $0xd1b71759, %ecx       # imm = 0xD1B71759
imulq %rdx, %rcx
shrq $0x2d, %rcx
imull $0x2710, %ecx, %r8d     # imm = 0x2710
movl %edi, %eax
subl %r8d, %eax
imulq $0x431bde83, %rdx, %r8  # imm = 0x431BDE83
shrq $0x31, %r8
andl $-0x2, %r8d
movl $0xffff, %r9d           # imm = 0xFFFF
movl %ecx, %edx
andl %r9d, %edx
shrl $0x2, %edx
imull $0x147b, %edx, %edx     # imm = 0x147B
shrl $0x11, %edx
imull $0x64, %edx, %edx
subl %edx, %ecx
andl %r9d, %ecx
addl %ecx, %ecx
imull $0x147b, %eax, %r10d    # imm = 0x147B
shrl $0x13, %r10d
leal (%r10,%r10), %edx
imull $0x64, %r10d, %r10d
subl %r10d, %eax
andl %r9d, %eax
addl %eax, %eax
cmpq $0x989680, %rdi         # imm = 0x989680
jb 0xd4aa
movq 0x8c31(%rip), %rdi      # 0x15f60
movb (%rdi,%r8), %dil
movb %dil, (%rsi)
incq %rsi
jmp 0xd4b7
movabsq $0x39a5652fb1137857, %rcx # imm = 0x39A5652FB1137857
movq %rdi, %rax
mulq %rcx
shrq $0x33, %rdx
movabsq $0x2386f26fc10000, %rax # imm = 0x2386F26FC10000
imulq %rdx, %rax
movq %rdi, %rcx
subq %rax, %rcx
movabsq $0x16345785d89ffff, %rax # imm = 0x16345785D89FFFF
cmpq %rax, %rdi
ja 0xd516
orb $0x30, %dl
movb %dl, (%rsi)
incq %rsi
jmp 0xd63a
cmpq $0x64, %rdi
jb 0xd542
movl %ecx, %ecx
movq 0x8bc7(%rip), %rdx      # 0x15f60
movb 0x1(%rdx,%rcx), %cl
movb %cl, (%rsi)
incq %rsi
movq 0x8bb7(%rip), %rcx      # 0x15f60
movb (%rcx,%rax), %cl
movb %cl, (%rsi)
incq %rsi
movl %eax, %eax
movq 0x8ba6(%rip), %rcx      # 0x15f60
movb 0x1(%rcx,%rax), %al
movb %al, (%rsi)
incq %rsi
jmp 0xd75b
movabsq $0x5af3107a4000, %r14   # imm = 0x5AF3107A4000
cmpq %r14, %rdi
jb 0xd551
movl %ebx, %edi
movq 0x8b7c(%rip), %rbx      # 0x15f60
movb 0x1(%rbx,%rdi), %dil
movb %dil, (%rsi)
incq %rsi
movq 0x8b6a(%rip), %rdi      # 0x15f60
movb (%rdi,%r11), %dil
movb %dil, (%rsi)
incq %rsi
movzwl %r11w, %edi
movq 0x8b55(%rip), %r11      # 0x15f60
movb 0x1(%r11,%rdi), %dil
movb %dil, (%rsi)
incq %rsi
movq 0x8b43(%rip), %rdi      # 0x15f60
movb (%rdi,%r9), %dil
movb %dil, (%rsi)
incq %rsi
movzwl %r9w, %edi
movq 0x8b2e(%rip), %r9       # 0x15f60
movb 0x1(%r9,%rdi), %dil
movb %dil, (%rsi)
incq %rsi
movq 0x8b1c(%rip), %rdi      # 0x15f60
movb (%rdi,%rdx), %dil
movb %dil, (%rsi)
incq %rsi
movzwl %dx, %edx
movq 0x8b08(%rip), %rdi      # 0x15f60
movb 0x1(%rdi,%rdx), %dl
movb %dl, (%rsi)
movb (%rdi,%r8), %dl
movb %dl, 0x1(%rsi)
movl %r8d, %edx
movb 0x1(%rdi,%rdx), %dl
movb %dl, 0x2(%rsi)
movb (%rdi,%rcx), %dl
movb %dl, 0x3(%rsi)
movzwl %cx, %ecx
movb 0x1(%rdi,%rcx), %cl
movb %cl, 0x4(%rsi)
movb (%rdi,%r10), %cl
movb %cl, 0x5(%rsi)
movzwl %r10w, %ecx
movb 0x1(%rdi,%rcx), %cl
movb %cl, 0x6(%rsi)
movb (%rdi,%rax), %cl
movb %cl, 0x7(%rsi)
movzwl %ax, %eax
movb 0x1(%rdi,%rax), %al
movb %al, 0x8(%rsi)
addq $0x9, %rsi
jmp 0xd75b
cmpq $0xf4240, %rdi          # imm = 0xF4240
jb 0xd5b3
movl %r8d, %edi
movq 0x8a9f(%rip), %r8       # 0x15f60
movb 0x1(%r8,%rdi), %dil
movb %dil, (%rsi)
incq %rsi
movq 0x8a8d(%rip), %rdi      # 0x15f60
movb (%rdi,%rcx), %dil
movb %dil, (%rsi)
incq %rsi
movzwl %cx, %ecx
movq 0x8a79(%rip), %rdi      # 0x15f60
movb 0x1(%rdi,%rcx), %cl
movb %cl, (%rsi)
movb (%rdi,%rdx), %cl
movb %cl, 0x1(%rsi)
movzwl %dx, %ecx
movb 0x1(%rdi,%rcx), %cl
movb %cl, 0x2(%rsi)
movb (%rdi,%rax), %cl
movb %cl, 0x3(%rsi)
movzwl %ax, %eax
movb 0x1(%rdi,%rax), %al
movb %al, 0x4(%rsi)
addq $0x5, %rsi
jmp 0xd75b
movabsq $0xde0b6b3a763ffff, %rax # imm = 0xDE0B6B3A763FFFF
cmpq %rax, %rdi
ja 0xd5c5
movl %edx, %eax
movq 0x8a2e(%rip), %rdx      # 0x15f60
movzwl (%rdx,%rax,2), %eax
movw %ax, (%rsi)
addq $0x2, %rsi
jmp 0xd63a
cmpq $0xa, %rdi
jae 0xd3a2
jmp 0xd3b1
movq %rdi, %rbx
shrq $0xd, %rbx
cmpq $0x48c27395, %rbx       # imm = 0x48C27395
jae 0xd3ef
movq %rdi, %rbx
shrq $0xc, %rbx
cmpq $0xe8d4a51, %rbx        # imm = 0xE8D4A51
jae 0xd400
movq %rdi, %r11
shrq $0xb, %r11
cmpq $0x2e90edd, %r11        # imm = 0x2E90EDD
jae 0xd416
movq %rdi, %r11
shrq $0xa, %r11
cmpq $0x9502f9, %r11         # imm = 0x9502F9
jae 0xd427
cmpq $0x3b9aca00, %rdi       # imm = 0x3B9ACA00
jae 0xd43d
jmp 0xd44e
cmpq $0x186a0, %rdi          # imm = 0x186A0
jae 0xd4cc
jmp 0xd4dd
imull $0x51f, %edx, %eax      # imm = 0x51F
shrl $0x11, %eax
movabsq $-0x7538dcfb76180001, %r8 # imm = 0x8AC7230489E7FFFF
cmpq %r8, %rdi
ja 0xd60b
addl $0x30, %eax
movb %al, (%rsi)
movzwl %dx, %eax
imull $0x51f, %eax, %edx      # imm = 0x51F
shrl $0x11, %edx
imull $0x64, %edx, %edx
subl %edx, %eax
movzwl %ax, %eax
movq 0x8963(%rip), %rdx      # 0x15f60
movzwl (%rdx,%rax,2), %eax
movw %ax, 0x1(%rsi)
addq $0x3, %rsi
jmp 0xd63a
imull $0x64, %eax, %edi
subl %edi, %edx
movzwl %ax, %eax
movzwl %dx, %edx
addl %edx, %edx
movq 0x8941(%rip), %rdi      # 0x15f60
movzwl (%rdi,%rax,2), %eax
movw %ax, (%rsi)
movb (%rdi,%rdx), %al
movb %al, 0x2(%rsi)
movzwl %dx, %eax
movb 0x1(%rdi,%rax), %al
movb %al, 0x3(%rsi)
addq $0x4, %rsi
movabsq $-0x543388ee7b9e3103, %rdx # imm = 0xABCC77118461CEFD
movq %rcx, %rax
mulq %rdx
shrq $0x1a, %rdx
imulq $0x5f5e100, %rdx, %rax  # imm = 0x5F5E100
subq %rax, %rcx
movl %edx, %edi
movl $0xd1b71759, %eax       # imm = 0xD1B71759
imulq %rdi, %rax
shrq $0x2d, %rax
imull $0x2710, %eax, %r8d     # imm = 0x2710
subl %r8d, %edx
imulq $0x431bde83, %rdi, %rdi # imm = 0x431BDE83
shrq $0x31, %rdi
andl $-0x2, %edi
movl $0xffff, %r8d           # imm = 0xFFFF
movl %eax, %r9d
andl %r8d, %r9d
shrl $0x2, %r9d
imull $0x147b, %r9d, %r9d     # imm = 0x147B
shrl $0x11, %r9d
imull $0x64, %r9d, %r9d
subl %r9d, %eax
andl %r8d, %eax
imull $0x147b, %edx, %r9d     # imm = 0x147B
shrl $0x13, %r9d
imull $0x64, %r9d, %r10d
subl %r10d, %edx
andl %r8d, %edx
imulq $0x68db8bb, %rcx, %r10  # imm = 0x68DB8BB
shrq $0x28, %r10
imull $0x2710, %r10d, %ebx    # imm = 0x2710
movl %ecx, %r11d
subl %ebx, %r11d
imulq $0x8637bd1, %rcx, %rcx  # imm = 0x8637BD1
shrq $0x2e, %rcx
andl $0x1fe, %ecx            # imm = 0x1FE
imull $0x147b, %r10d, %ebx    # imm = 0x147B
shrl $0x13, %ebx
imull $0x64, %ebx, %ebx
subl %ebx, %r10d
andl %r8d, %r10d
imull $0x147b, %r11d, %ebx    # imm = 0x147B
shrl $0x13, %ebx
imull $0x64, %ebx, %r14d
subl %r14d, %r11d
andl %r8d, %r11d
movq 0x8850(%rip), %r8       # 0x15f60
movzwl (%r8,%rdi), %edi
movw %di, (%rsi)
movzwl (%r8,%rax,2), %eax
movw %ax, 0x2(%rsi)
movzwl (%r8,%r9,2), %eax
movw %ax, 0x4(%rsi)
movzwl (%r8,%rdx,2), %eax
movw %ax, 0x6(%rsi)
movzwl (%r8,%rcx), %eax
movw %ax, 0x8(%rsi)
movzwl (%r8,%r10,2), %eax
movw %ax, 0xa(%rsi)
movzwl (%r8,%rbx,2), %eax
movw %ax, 0xc(%rsi)
movzwl (%r8,%r11,2), %eax
movw %ax, 0xe(%rsi)
addq $0x10, %rsi
movq %rsi, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
leaq 0x28fa(%rip), %rdi      # 0x1006a
leaq 0x28ff(%rip), %rsi      # 0x10076
leaq 0x29be(%rip), %rcx      # 0x1013c
movl $0x7f, %edx
callq 0x72b0