// File: /workspace/github_cpp_makefile_star2_O2/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 %r15
pushq %r14
pushq %rbx
subq $0x3f0, %rsp            # imm = 0x3F0
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x13d9e(%rip), %rsi     # 0x2b992
leaq 0x310(%rsp), %rdi
callq 0x6bb4
leaq 0x4c(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x2e0(%rsp), %rdi
movq %r14, %rsi
callq 0xfc7d
leaq 0xb0(%rsp), %rdi
leaq 0x2e0(%rsp), %rsi
callq 0x181da
leaq 0x310(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0xdc63
movq %rax, %r15
leaq 0x120(%r14), %rsi
leaq 0x48(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x2b0(%rsp), %rdi
callq 0x18282
leaq 0x90(%rsp), %rdi
leaq 0x2b0(%rsp), %rsi
callq 0x181da
leaq 0x90(%rsp), %rsi
movq %r15, %rdi
callq 0xdc63
movq %rax, %r15
leaq 0x30(%r14), %rsi
leaq 0x44(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x280(%rsp), %rdi
callq 0xfc7d
leaq 0x70(%rsp), %rdi
leaq 0x280(%rsp), %rsi
callq 0x181da
leaq 0x70(%rsp), %rsi
movq %r15, %rdi
callq 0xdc63
movq %rax, %r15
leaq 0x150(%r14), %rsi
leaq 0x40(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x250(%rsp), %rdi
callq 0x18282
leaq 0x50(%rsp), %rdi
leaq 0x250(%rsp), %rsi
callq 0x181da
leaq 0x50(%rsp), %rsi
movq %r15, %rdi
callq 0xdc63
movq %rax, %r15
leaq 0x60(%r14), %rsi
leaq 0x38(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x220(%rsp), %rdi
callq 0xfc7d
leaq 0x220(%rsp), %rdi
callq 0x188b8
leaq 0x3c(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0xdddf
movq %rax, %r15
leaq 0x180(%r14), %rsi
leaq 0x30(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x1f0(%rsp), %rdi
callq 0x18282
leaq 0x1f0(%rsp), %rdi
callq 0x188b8
leaq 0x34(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0xdddf
movq %rax, %r15
leaq 0x90(%r14), %rsi
leaq 0x28(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x1c0(%rsp), %rdi
callq 0xfc7d
leaq 0x1c0(%rsp), %rdi
callq 0x188b8
leaq 0x2c(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0xdddf
movq %rax, %r15
leaq 0x1b0(%r14), %rsi
leaq 0x20(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x190(%rsp), %rdi
callq 0x18282
leaq 0x190(%rsp), %rdi
callq 0x188b8
leaq 0x24(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0xdddf
movq %rax, %r15
leaq 0xc0(%r14), %rsi
leaq 0x18(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x160(%rsp), %rdi
callq 0xfc7d
leaq 0x160(%rsp), %rdi
callq 0x188b8
leaq 0x1c(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0xdddf
movq %rax, %r15
leaq 0x1e0(%r14), %rsi
leaq 0x10(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x130(%rsp), %rdi
callq 0x18282
leaq 0x130(%rsp), %rdi
callq 0x188b8
leaq 0x14(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0xdddf
movq %rax, %r15
leaq 0xf0(%r14), %rsi
leaq 0x8(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x100(%rsp), %rdi
callq 0xfc7d
leaq 0x100(%rsp), %rdi
callq 0x188b8
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0xdddf
movq %rax, %r15
addq $0x210, %r14            # imm = 0x210
movq %rsp, %rdx
movl $0x1, (%rdx)
leaq 0xd0(%rsp), %rdi
movq %r14, %rsi
callq 0x18282
leaq 0xd0(%rsp), %rdi
callq 0x188b8
leaq 0x4(%rsp), %rsi
movl %eax, (%rsi)
movq %r15, %rdi
callq 0xdddf
movq %rbx, %rdi
movq %rax, %rsi
callq 0x6c96
leaq 0x50(%rsp), %rdi
callq 0x4100
leaq 0x70(%rsp), %rdi
callq 0x4100
leaq 0x90(%rsp), %rdi
callq 0x4100
leaq 0xb0(%rsp), %rdi
callq 0x4100
leaq 0x310(%rsp), %rdi
callq 0x6dfa
movq %rbx, %rax
addq $0x3f0, %rsp            # imm = 0x3F0
popq %rbx
popq %r14
popq %r15
retq
jmp 0x17f7a
jmp 0x17f58
jmp 0x17f5d
jmp 0x17f62
movq %rax, %rbx
jmp 0x17f87
movq %rax, %rbx
jmp 0x17f91
movq %rax, %rbx
jmp 0x17f9e
movq %rax, %rbx
jmp 0x17fab
jmp 0x17f7a
jmp 0x17f7a
jmp 0x17f7a
jmp 0x17f7a
jmp 0x17f7a
jmp 0x17f7a
jmp 0x17f7a
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0x4100
leaq 0x70(%rsp), %rdi
callq 0x4100
leaq 0x90(%rsp), %rdi
callq 0x4100
leaq 0xb0(%rsp), %rdi
callq 0x4100
leaq 0x310(%rsp), %rdi
callq 0x6dfa
movq %rbx, %rdi
callq 0x4430