// File: /workspace/github_cpp_makefile_star2_O3/hariguchi[P]rtacl/./rtacl.hpp
// Function: rtacl::range2str[abi:cxx11](boost::geometry::model::box<boost::geometry::model::point<boost::multiprecision::number<boost::multiprecision::backends::cpp_int_backend<256u, 256u, (boost::multiprecision::cpp_integer_type)1, (boost::multiprecision::cpp_int_check_type)0, void>, (boost::multiprecision::expression_template_option)0>, 6ul, boost::geometry::cs::cartesian>> const&)
inline std::string
range2str (const rtacl::range<ipv6a>& r)
{
    return (boost::format("%s-%s, %s-%s, %d-%d, %d-%d, %d-%d, %d-%d")
            % ipv6a2s(r.min_corner().get<0>() + 1)
            % ipv6a2s(r.max_corner().get<0>() - 1)
            % ipv6a2s(r.min_corner().get<1>() + 1)
            % ipv6a2s(r.max_corner().get<1>() - 1)
            % static_cast<U32>(r.min_corner().get<2>() + 1)
            % static_cast<U32>(r.max_corner().get<2>() - 1)
            % static_cast<U32>(r.min_corner().get<3>() + 1)
            % static_cast<U32>(r.max_corner().get<3>() - 1)
            % static_cast<U32>(r.min_corner().get<4>() + 1)
            % static_cast<U32>(r.max_corner().get<4>() - 1)
            % static_cast<U32>(r.min_corner().get<5>() + 1)
            % static_cast<U32>(r.max_corner().get<5>() - 1)).str();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x418, %rsp            # imm = 0x418
movq %rsi, %r14
movq %rdi, 0x58(%rsp)
leaq 0x1545d(%rip), %rsi     # 0x35502
leaq 0x240(%rsp), %rdi
callq 0xa028
xorps %xmm0, %xmm0
leaq 0x210(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
movw $0x1, 0x20(%rdi)
movb $0x0, 0x22(%rdi)
leaq 0x10(%rsp), %r15
movq $0x1, (%r15)
movq %r14, %rsi
movq %r15, %rdx
callq 0x16138
leaq 0x1c8(%rsp), %r12
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r12)
movups %xmm0, 0x4(%r12)
movw $0xa, -0x8(%r12)
leaq 0x1d7(%rsp), %rbx
xorl %r13d, %r13d
leaq 0x130(%rsp), %rbp
movaps 0x210(%rsp), %xmm0
movaps 0x220(%rsp), %xmm1
movaps %xmm1, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movzwl 0x230(%rsp), %eax
movw %ax, 0x30(%rsp)
movb 0x232(%rsp), %al
movb %al, 0x32(%rsp)
movq %r15, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0x2105a
movb $0x0, 0x130(%rsp)
movq %r15, %rdi
movq %rbp, %rsi
callq 0x21528
movb 0x130(%rsp), %al
movb %al, (%rbx)
addq $0x8, %r13
decq %rbx
cmpq $0x80, %r13
jne 0x20117
leaq 0x10(%rsp), %r15
movl $0xa, %edi
movq %r12, %rsi
movq %r15, %rdx
movl $0x40, %ecx
callq 0x4220
leaq 0xd0(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r15, %rdi
callq 0x40d0
leaq (%rsp,%rax), %rdx
addq $0x10, %rdx
leaq 0xc0(%rsp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x11404
leaq 0x10(%rsp), %rsi
movq %rbx, (%rsi)
leaq -0xd000(%rip), %rax     # 0x131da
movq %rax, 0x8(%rsi)
leaq -0xd00a(%rip), %rax     # 0x131db
movq %rax, 0x10(%rsi)
leaq 0x240(%rsp), %rdi
callq 0x114e1
movq %rax, 0x8(%rsp)
leaq 0x120(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x1c0(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
movw $0x1, 0x20(%rdi)
movb $0x0, 0x22(%rdi)
leaq 0x10(%rsp), %r12
movq $0x1, (%r12)
movq %r12, %rdx
callq 0x16024
leaq 0x138(%rsp), %r13
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r13)
movups %xmm0, 0x4(%r13)
movw $0xa, -0x8(%r13)
leaq 0x147(%rsp), %r15
xorl %ebp, %ebp
leaq 0x100(%rsp), %rbx
movaps 0x1c0(%rsp), %xmm0
movaps 0x1d0(%rsp), %xmm1
movaps %xmm1, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movzwl 0x1e0(%rsp), %eax
movw %ax, 0x30(%rsp)
movb 0x1e2(%rsp), %al
movb %al, 0x32(%rsp)
movq %r12, %rdi
movq %rbp, %rsi
xorl %edx, %edx
callq 0x2105a
movb $0x0, 0x100(%rsp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x21528
movb 0x100(%rsp), %al
movb %al, (%r15)
addq $0x8, %rbp
decq %r15
cmpq $0x80, %rbp
jne 0x20261
leaq 0x10(%rsp), %r12
movl $0xa, %edi
movq %r13, %rsi
movq %r12, %rdx
movl $0x40, %ecx
callq 0x4220
leaq 0xb0(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r12, %rdi
callq 0x40d0
leaq (%rsp,%rax), %rdx
addq $0x10, %rdx
leaq 0xa0(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x11404
leaq 0x10(%rsp), %rsi
movq %rbx, (%rsi)
leaq -0xd14b(%rip), %rax     # 0x131da
movq %rax, 0x8(%rsi)
leaq -0xd155(%rip), %rax     # 0x131db
movq %rax, 0x10(%rsi)
movq 0x8(%rsp), %rdi
callq 0x114e1
movq %rax, 0x8(%rsp)
leaq 0x30(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x130(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
movw $0x1, 0x20(%rdi)
movb $0x0, 0x22(%rdi)
leaq 0x10(%rsp), %r12
movq $0x1, (%r12)
movq %r12, %rdx
callq 0x16138
leaq 0x108(%rsp), %r13
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r13)
movups %xmm0, 0x4(%r13)
movw $0xa, -0x8(%r13)
leaq 0x117(%rsp), %r15
xorl %ebp, %ebp
leaq 0x160(%rsp), %rbx
movaps 0x130(%rsp), %xmm0
movaps 0x140(%rsp), %xmm1
movaps %xmm1, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movzwl 0x150(%rsp), %eax
movw %ax, 0x30(%rsp)
movb 0x152(%rsp), %al
movb %al, 0x32(%rsp)
movq %r12, %rdi
movq %rbp, %rsi
xorl %edx, %edx
callq 0x2105a
movb $0x0, 0x160(%rsp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x21528
movb 0x160(%rsp), %al
movb %al, (%r15)
addq $0x8, %rbp
decq %r15
cmpq $0x80, %rbp
jne 0x203a6
leaq 0x10(%rsp), %r12
movl $0xa, %edi
movq %r13, %rsi
movq %r12, %rdx
movl $0x40, %ecx
callq 0x4220
leaq 0x90(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r12, %rdi
callq 0x40d0
leaq (%rsp,%rax), %rdx
addq $0x10, %rdx
leaq 0x80(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x11404
leaq 0x10(%rsp), %rsi
movq %rbx, (%rsi)
leaq -0xd290(%rip), %rax     # 0x131da
movq %rax, 0x8(%rsi)
leaq -0xd29a(%rip), %rax     # 0x131db
movq %rax, 0x10(%rsi)
movq 0x8(%rsp), %rdi
callq 0x114e1
movq %rax, 0x8(%rsp)
leaq 0x150(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x100(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
movw $0x1, 0x20(%rdi)
movb $0x0, 0x22(%rdi)
leaq 0x10(%rsp), %r12
movq $0x1, (%r12)
movq %r12, %rdx
callq 0x16024
leaq 0x168(%rsp), %r13
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r13)
movups %xmm0, 0x4(%r13)
movw $0xa, -0x8(%r13)
leaq 0x177(%rsp), %r15
xorl %ebp, %ebp
leaq 0x190(%rsp), %rbx
movaps 0x100(%rsp), %xmm0
movaps 0x110(%rsp), %xmm1
movaps %xmm1, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movzwl 0x120(%rsp), %eax
movw %ax, 0x30(%rsp)
movb 0x122(%rsp), %al
movb %al, 0x32(%rsp)
movq %r12, %rdi
movq %rbp, %rsi
xorl %edx, %edx
callq 0x2105a
movb $0x0, 0x190(%rsp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x21528
movb 0x190(%rsp), %al
movb %al, (%r15)
addq $0x8, %rbp
decq %r15
cmpq $0x80, %rbp
jne 0x204ee
leaq 0x10(%rsp), %r12
movl $0xa, %edi
movq %r13, %rsi
movq %r12, %rdx
movl $0x40, %ecx
callq 0x4220
leaq 0x70(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r12, %rdi
callq 0x40d0
leaq (%rsp,%rax), %rdx
addq $0x10, %rdx
leaq 0x60(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x11404
leaq 0x10(%rsp), %rsi
movq %rbx, (%rsi)
leaq -0xd3d2(%rip), %rax     # 0x131da
movq %rax, 0x8(%rsi)
leaq -0xd3dc(%rip), %rax     # 0x131db
movq %rax, 0x10(%rsi)
movq 0x8(%rsp), %rdi
callq 0x114e1
movq %rax, %r15
leaq 0x60(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rbx
movaps %xmm0, 0x10(%rbx)
movaps %xmm0, (%rbx)
movw $0x1, 0x20(%rbx)
movb $0x0, 0x22(%rbx)
leaq 0x160(%rsp), %r12
movq $0x1, (%r12)
movq %rbx, %rdi
movq %r12, %rdx
callq 0x16138
movl $0x0, (%r12)
leaq 0x160(%rsp), %rsi
movq %rbx, %rdi
callq 0x21968
leaq 0x160(%rsp), %rsi
movl (%rsi), %eax
leaq 0xfc(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
leaq -0xd056(%rip), %rbp     # 0x135e0
movq %rbp, 0x8(%rsi)
leaq -0xd060(%rip), %r13     # 0x135e1
movq %r13, 0x10(%rsi)
movq %r15, %rdi
callq 0x114e1
movq %rax, %rbx
leaq 0x180(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x160(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x190(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16024
movl $0x0, (%r12)
leaq 0x190(%rsp), %rsi
movq %r15, %rdi
callq 0x21968
leaq 0x190(%rsp), %rsi
movl (%rsi), %eax
leaq 0xf8(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x114e1
movq %rax, %rbx
leaq 0x90(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x190(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x3e0(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16138
movl $0x0, (%r12)
leaq 0x3e0(%rsp), %rsi
movq %r15, %rdi
callq 0x21968
leaq 0x3e0(%rsp), %rsi
movl (%rsi), %eax
leaq 0xf4(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x114e1
movq %rax, %rbx
leaq 0x1b0(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x3e0(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x3b0(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16024
movl $0x0, (%r12)
leaq 0x3b0(%rsp), %rsi
movq %r15, %rdi
callq 0x21968
leaq 0x3b0(%rsp), %rsi
movl (%rsi), %eax
leaq 0xf0(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x114e1
movq %rax, %rbx
leaq 0xc0(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x3b0(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x380(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16138
movl $0x0, (%r12)
leaq 0x380(%rsp), %rsi
movq %r15, %rdi
callq 0x21968
leaq 0x380(%rsp), %rsi
movl (%rsi), %eax
leaq 0xec(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x114e1
movq %rax, %rbx
leaq 0x1e0(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x380(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x350(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16024
movl $0x0, (%r12)
leaq 0x350(%rsp), %rsi
movq %r15, %rdi
callq 0x21968
leaq 0x350(%rsp), %rsi
movl (%rsi), %eax
leaq 0xe8(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x114e1
movq %rax, %rbx
leaq 0xf0(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x350(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x320(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16138
movl $0x0, (%r12)
leaq 0x320(%rsp), %rsi
movq %r15, %rdi
callq 0x21968
leaq 0x320(%rsp), %rsi
movl (%rsi), %eax
leaq 0xe4(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x114e1
movq %rax, %rbx
addq $0x210, %r14            # imm = 0x210
xorps %xmm0, %xmm0
leaq 0x320(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x1f8(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x16024
movl $0x0, (%r12)
leaq 0x1f8(%rsp), %rsi
movq %r15, %rdi
callq 0x21968
movq 0x58(%rsp), %r14
leaq 0x1f8(%rsp), %rsi
movl (%rsi), %eax
leaq 0xe0(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x114e1
movq %r14, %rdi
movq %rax, %rsi
callq 0xa19e
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
leaq 0xd0(%rsp), %rbx
leaq 0xb0(%rsp), %r15
je 0x20a28
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x20a4d
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0xa0(%rsp), %rdi
cmpq %r15, %rdi
je 0x20a6a
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0xc0(%rsp), %rdi
cmpq %rbx, %rdi
je 0x20a87
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x4210
cmpb $0x1, 0x310(%rsp)
jne 0x20aa5
leaq 0x318(%rsp), %rbx
movq %rbx, %rdi
callq 0x42c0
movb $0x0, -0x8(%rbx)
leaq 0x4cccc(%rip), %rax     # 0x6d778
movq %rax, 0x2b8(%rsp)
cmpb $0x1, 0x300(%rsp)
jne 0x20ae6
leaq 0x2d0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq $0x0, 0x10(%rax)
leaq 0x2e8(%rsp), %rcx
cmoveq %rax, %rcx
movq (%rcx), %rsi
subq %rdi, %rsi
callq 0x4210
leaq 0x2f0(%rsp), %rbx
movb $0x0, 0x10(%rbx)
movq $0x0, 0x8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x30(%rbx)
movups %xmm0, -0x20(%rbx)
movups %xmm0, -0x10(%rbx)
movq 0x4d4a0(%rip), %rax     # 0x6dfb0
addq $0x10, %rax
movq %rax, -0x38(%rbx)
movq %rbx, %rdi
callq 0x42c0
movq -0x60(%rbx), %rdi
leaq 0x2a0(%rsp), %rax
cmpq %rax, %rdi
je 0x20b41
movq 0x2a0(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0x258(%rsp), %rdi
testq %rdi, %rdi
je 0x20b86
movq 0x278(%rsp), %rsi
subq %rdi, %rsi
callq 0x4210
xorl %eax, %eax
movq %rax, 0x258(%rsp)
movl %eax, 0x260(%rsp)
movq %rax, 0x268(%rsp)
movl %eax, 0x270(%rsp)
movq %rax, 0x278(%rsp)
leaq 0x240(%rsp), %rdi
callq 0xe8ac
movq %r14, %rax
addq $0x418, %rsp            # imm = 0x418
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x20bcf
jmp 0x20bf0
jmp 0x20bf0
jmp 0x20c1a
jmp 0x20c1a
jmp 0x20c44
jmp 0x20c44
jmp 0x20c6e
jmp 0x20bcf
jmp 0x20bcf
jmp 0x20bcf
jmp 0x20bcf
jmp 0x20bcf
jmp 0x20bcf
jmp 0x20bcf
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x20bf3
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x4210
jmp 0x20bf3
movq %rax, %rbx
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x20c1d
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x4210
jmp 0x20c1d
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x20c47
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x4210
jmp 0x20c47
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
leaq 0xd0(%rsp), %rax
cmpq %rax, %rdi
je 0x20c71
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x4210
jmp 0x20c71
movq %rax, %rbx
leaq 0x240(%rsp), %rdi
callq 0xa34a
movq %rbx, %rdi
callq 0x4370