// File: /workspace/github_cpp_makefile_star2_O1/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 0x2ae83(%rip), %rsi     # 0x3552c
leaq 0xb8(%rsp), %rdi
callq 0xa2e8
movq (%r14), %rsi
incq %rsi
leaq 0x98(%rsp), %r15
movq %r15, %rdi
callq 0x13299
leaq 0x78(%rsp), %rsi
movq %r15, (%rsi)
leaq 0x8bae(%rip), %r13      # 0x13289
movq %r13, 0x8(%rsi)
leaq 0x8ba4(%rip), %rbp      # 0x1328a
movq %rbp, 0x10(%rsi)
leaq 0xb8(%rsp), %rdi
callq 0x1158d
movq %rax, %r15
movq 0x30(%r14), %rsi
decq %rsi
leaq 0x78(%rsp), %r12
movq %r12, %rdi
callq 0x13299
leaq 0x58(%rsp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
movq %rbp, 0x10(%rsi)
movq %r15, %rdi
callq 0x1158d
movq %rax, %r15
movq 0x8(%r14), %rsi
incq %rsi
leaq 0x58(%rsp), %r12
movq %r12, %rdi
callq 0x13299
leaq 0x38(%rsp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
movq %rbp, 0x10(%rsi)
movq %r15, %rdi
callq 0x1158d
movq %rax, %r15
movq 0x38(%r14), %rsi
decq %rsi
leaq 0x38(%rsp), %r12
movq %r12, %rdi
callq 0x13299
movq %rsp, %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
movq %rbp, 0x10(%rsi)
movq %r15, %rdi
callq 0x1158d
movl 0x10(%r14), %ecx
incl %ecx
leaq 0x34(%rsp), %rdx
movl %ecx, (%rdx)
movq %rsp, %rsi
movq %rdx, (%rsi)
leaq 0x8ef3(%rip), %r15      # 0x1368f
movq %r15, 0x8(%rsi)
leaq 0x8ee9(%rip), %r12      # 0x13690
movq %r12, 0x10(%rsi)
movq %rax, %rdi
callq 0x1158d
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 0x1158d
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 0x1158d
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 0x1158d
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 0x1158d
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 0x1158d
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 0x1158d
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 0x1158d
movq %rbx, %rdi
movq %rax, %rsi
callq 0xa45e
leaq 0x48(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa8ce
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0x68(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa8e9
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa90a
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0xa8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xa92b
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x4210
cmpb $0x1, 0x188(%rsp)
jne 0xa94a
leaq 0x190(%rsp), %r14
movq %r14, %rdi
callq 0x42c0
movb $0x0, -0x8(%r14)
leaq 0x62ddf(%rip), %rax     # 0x6d730
movq %rax, 0x130(%rsp)
cmpb $0x1, 0x178(%rsp)
jne 0xa98b
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 0x635f7(%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 0xa9ea
movq 0x118(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0xd0(%rsp), %rdi
testq %rdi, %rdi
je 0xaa2f
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 0xeb44
movq %rbx, %rax
addq $0x198, %rsp            # imm = 0x198
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0xaa7b
jmp 0xaa7b
jmp 0xaa7b
jmp 0xaa7b
jmp 0xaa7b
jmp 0xaa7b
jmp 0xaa7b
jmp 0xaa7b
jmp 0xaa63
movq %rax, %rbx
jmp 0xaa99
jmp 0xaa6a
movq %rax, %rbx
jmp 0xaab4
jmp 0xaa71
movq %rax, %rbx
jmp 0xaad5
movq %rax, %rbx
jmp 0xaaf6
movq %rax, %rbx
leaq 0x48(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xaa99
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0x68(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xaab4
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0x88(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xaad5
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0xa8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xaaf6
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x4210
leaq 0xb8(%rsp), %rdi
callq 0xa60a
movq %rbx, %rdi
callq 0x4370