// 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<long, 6ul, boost::geometry::cs::cartesian>> const&)
inline std::string
range2str (const rtacl::range<ipv4a>& r)
{
    return (boost::format("%s-%s, %s-%s, %d-%d, %d-%d, %d-%d, %d-%d")
            % rtacl::ipv4a2s(r.min_corner().get<0>() + 1)
            % rtacl::ipv4a2s(r.max_corner().get<0>() - 1)
            % rtacl::ipv4a2s(r.min_corner().get<1>() + 1)
            % rtacl::ipv4a2s(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 $0x198, %rsp            # imm = 0x198
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x2b119(%rip), %rsi     # 0x35502
leaq 0xb8(%rsp), %rdi
callq 0xa028
movq (%r14), %rsi
incq %rsi
leaq 0x98(%rsp), %r15
movq %r15, %rdi
callq 0x131ea
leaq 0x78(%rsp), %rsi
movq %r15, (%rsi)
leaq 0x8dbf(%rip), %r13      # 0x131da
movq %r13, 0x8(%rsi)
leaq 0x8db5(%rip), %rbp      # 0x131db
movq %rbp, 0x10(%rsi)
leaq 0xb8(%rsp), %rdi
callq 0x114e1
movq %rax, %r15
movq 0x30(%r14), %rsi
decq %rsi
leaq 0x78(%rsp), %r12
movq %r12, %rdi
callq 0x131ea
leaq 0x58(%rsp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
movq %rbp, 0x10(%rsi)
movq %r15, %rdi
callq 0x114e1
movq %rax, %r15
movq 0x8(%r14), %rsi
incq %rsi
leaq 0x58(%rsp), %r12
movq %r12, %rdi
callq 0x131ea
leaq 0x38(%rsp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
movq %rbp, 0x10(%rsi)
movq %r15, %rdi
callq 0x114e1
movq %rax, %r15
movq 0x38(%r14), %rsi
decq %rsi
leaq 0x38(%rsp), %r12
movq %r12, %rdi
callq 0x131ea
movq %rsp, %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
movq %rbp, 0x10(%rsi)
movq %r15, %rdi
callq 0x114e1
movl 0x10(%r14), %ecx
incl %ecx
leaq 0x34(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
leaq 0x9104(%rip), %r15      # 0x135e0
movq %r15, 0x8(%rsi)
leaq 0x90fa(%rip), %r12      # 0x135e1
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x114e1
movl 0x40(%r14), %ecx
decl %ecx
leaq 0x30(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
movq %r15, 0x8(%rsi)
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x114e1
movl 0x18(%r14), %ecx
incl %ecx
leaq 0x2c(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
movq %r15, 0x8(%rsi)
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x114e1
movl 0x48(%r14), %ecx
decl %ecx
leaq 0x28(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
movq %r15, 0x8(%rsi)
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x114e1
movl 0x20(%r14), %ecx
incl %ecx
leaq 0x24(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
movq %r15, 0x8(%rsi)
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x114e1
movl 0x50(%r14), %ecx
decl %ecx
leaq 0x20(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
movq %r15, 0x8(%rsi)
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x114e1
movl 0x28(%r14), %ecx
incl %ecx
leaq 0x1c(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
movq %r15, 0x8(%rsi)
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x114e1
movl 0x58(%r14), %ecx
decl %ecx
leaq 0x18(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
movq %r15, 0x8(%rsi)
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x114e1
movq %rbx, %rdi
movq %rax, %rsi
callq 0xa19e
leaq 0x48(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa60e
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0x68(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa629
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa64a
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0xa8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa66b
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x4210
cmpb $0x1, 0x188(%rsp)
jne 0xa68a
leaq 0x190(%rsp), %r14
movq %r14, %rdi
callq 0x42c0
movb $0x0, -0x8(%r14)
leaq 0x630e7(%rip), %rax     # 0x6d778
movq %rax, 0x130(%rsp)
cmpb $0x1, 0x178(%rsp)
jne 0xa6cb
leaq 0x148(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq $0x0, 0x10(%rax)
leaq 0x160(%rsp), %rcx
cmoveq %rax, %rcx
movq (%rcx), %rsi
subq %rdi, %rsi
callq 0x4210
leaq 0x168(%rsp), %r14
movb $0x0, 0x10(%r14)
movq $0x0, 0x8(%r14)
xorps %xmm0, %xmm0
movups %xmm0, -0x30(%r14)
movups %xmm0, -0x20(%r14)
movups %xmm0, -0x10(%r14)
movq 0x638b7(%rip), %rax     # 0x6dfb0
addq $0x10, %rax
movq %rax, -0x38(%r14)
movq %r14, %rdi
callq 0x42c0
movq -0x60(%r14), %rdi
leaq 0x118(%rsp), %rax
cmpq %rax, %rdi
je 0xa72a
movq 0x118(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xa76f
movq 0xf0(%rsp), %rsi
subq %rdi, %rsi
callq 0x4210
xorl %eax, %eax
movq %rax, 0xd0(%rsp)
movl %eax, 0xd8(%rsp)
movq %rax, 0xe0(%rsp)
movl %eax, 0xe8(%rsp)
movq %rax, 0xf0(%rsp)
leaq 0xb8(%rsp), %rdi
callq 0xe8ac
movq %rbx, %rax
addq $0x198, %rsp            # imm = 0x198
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xa7bb
jmp 0xa7bb
jmp 0xa7bb
jmp 0xa7bb
jmp 0xa7bb
jmp 0xa7bb
jmp 0xa7bb
jmp 0xa7bb
jmp 0xa7a3
movq %rax, %rbx
jmp 0xa7d9
jmp 0xa7aa
movq %rax, %rbx
jmp 0xa7f4
jmp 0xa7b1
movq %rax, %rbx
jmp 0xa815
movq %rax, %rbx
jmp 0xa836
movq %rax, %rbx
leaq 0x48(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa7d9
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0x68(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa7f4
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa815
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0xa8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa836
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0xb8(%rsp), %rdi
callq 0xa34a
movq %rbx, %rdi
callq 0x4370