// File: 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
movq %rsp, %rbp
subq $0x210, %rsp            # imm = 0x210
movq %rdi, -0x1b0(%rbp)
movq %rdi, %rax
movq %rax, -0x1a8(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq 0x554c1(%rip), %rsi     # 0x5ff1c
leaq -0xf0(%rbp), %rdi
callq 0xa390
movq -0x10(%rbp), %rdi
callq 0xd7e0
movq %rax, %rdi
callq 0xd830
movq (%rax), %rsi
incq %rsi
leaq -0x110(%rbp), %rdi
callq 0x26da0
jmp 0xaa8c
leaq -0xf0(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0xaa00
movq %rax, -0x1b8(%rbp)
jmp 0xaaa8
movq -0x10(%rbp), %rdi
callq 0xd890
movq %rax, %rdi
callq 0xd830
movq (%rax), %rsi
decq %rsi
leaq -0x140(%rbp), %rdi
callq 0x26da0
jmp 0xaacd
movq -0x1b8(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0xaa00
movq %rax, -0x1c0(%rbp)
jmp 0xaae9
movq -0x10(%rbp), %rdi
callq 0xd7e0
movq %rax, %rdi
callq 0xd970
movq (%rax), %rsi
incq %rsi
leaq -0x160(%rbp), %rdi
callq 0x26da0
jmp 0xab0e
movq -0x1c0(%rbp), %rdi
leaq -0x160(%rbp), %rsi
callq 0xaa00
movq %rax, -0x1c8(%rbp)
jmp 0xab2a
movq -0x10(%rbp), %rdi
callq 0xd890
movq %rax, %rdi
callq 0xd970
movq (%rax), %rsi
decq %rsi
leaq -0x180(%rbp), %rdi
callq 0x26da0
jmp 0xab4f
movq -0x1c8(%rbp), %rdi
leaq -0x180(%rbp), %rsi
callq 0xaa00
movq %rax, -0x1d0(%rbp)
jmp 0xab6b
movq -0x10(%rbp), %rdi
callq 0xd7e0
movq %rax, %rdi
callq 0xdaa0
movq -0x1d0(%rbp), %rdi
movl (%rax), %eax
incl %eax
movl %eax, -0x184(%rbp)
leaq -0x184(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x1d8(%rbp)
jmp 0xaba2
movq -0x10(%rbp), %rdi
callq 0xd890
movq %rax, %rdi
callq 0xdaa0
movq -0x1d8(%rbp), %rdi
movl (%rax), %eax
decl %eax
movl %eax, -0x188(%rbp)
leaq -0x188(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x1e0(%rbp)
jmp 0xabd9
movq -0x10(%rbp), %rdi
callq 0xd7e0
movq %rax, %rdi
callq 0xdbd0
movq -0x1e0(%rbp), %rdi
movl (%rax), %eax
incl %eax
movl %eax, -0x18c(%rbp)
leaq -0x18c(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x1e8(%rbp)
jmp 0xac10
movq -0x10(%rbp), %rdi
callq 0xd890
movq %rax, %rdi
callq 0xdbd0
movq -0x1e8(%rbp), %rdi
movl (%rax), %eax
decl %eax
movl %eax, -0x190(%rbp)
leaq -0x190(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x1f0(%rbp)
jmp 0xac47
movq -0x10(%rbp), %rdi
callq 0xd7e0
movq %rax, %rdi
callq 0xdd00
movq -0x1f0(%rbp), %rdi
movl (%rax), %eax
incl %eax
movl %eax, -0x194(%rbp)
leaq -0x194(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x1f8(%rbp)
jmp 0xac7e
movq -0x10(%rbp), %rdi
callq 0xd890
movq %rax, %rdi
callq 0xdd00
movq -0x1f8(%rbp), %rdi
movl (%rax), %eax
decl %eax
movl %eax, -0x198(%rbp)
leaq -0x198(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x200(%rbp)
jmp 0xacb5
movq -0x10(%rbp), %rdi
callq 0xd7e0
movq %rax, %rdi
callq 0xde30
movq -0x200(%rbp), %rdi
movl (%rax), %eax
incl %eax
movl %eax, -0x19c(%rbp)
leaq -0x19c(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x208(%rbp)
jmp 0xacec
movq -0x10(%rbp), %rdi
callq 0xd890
movq %rax, %rdi
callq 0xde30
movq -0x208(%rbp), %rdi
movl (%rax), %eax
decl %eax
movl %eax, -0x1a0(%rbp)
leaq -0x1a0(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x210(%rbp)
jmp 0xad23
movq -0x210(%rbp), %rsi
movq -0x1b0(%rbp), %rdi
callq 0xa590
jmp 0xad38
leaq -0x180(%rbp), %rdi
callq 0x51e0
leaq -0x160(%rbp), %rdi
callq 0x51e0
leaq -0x140(%rbp), %rdi
callq 0x51e0
leaq -0x110(%rbp), %rdi
callq 0x51e0
leaq -0xf0(%rbp), %rdi
callq 0xa7e0
movq -0x1a8(%rbp), %rax
addq $0x210, %rsp            # imm = 0x210
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x118(%rbp)
movl %eax, -0x11c(%rbp)
jmp 0xae16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x118(%rbp)
movl %eax, -0x11c(%rbp)
jmp 0xae0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x118(%rbp)
movl %eax, -0x11c(%rbp)
jmp 0xadfe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x118(%rbp)
movl %eax, -0x11c(%rbp)
jmp 0xadf2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x118(%rbp)
movl %eax, -0x11c(%rbp)
leaq -0x180(%rbp), %rdi
callq 0x51e0
leaq -0x160(%rbp), %rdi
callq 0x51e0
leaq -0x140(%rbp), %rdi
callq 0x51e0
leaq -0x110(%rbp), %rdi
callq 0x51e0
leaq -0xf0(%rbp), %rdi
callq 0xa7e0
movq -0x118(%rbp), %rdi
callq 0x5640
nop