// File: 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
movq %rsp, %rbp
subq $0x530, %rsp            # imm = 0x530
movq %rdi, -0x488(%rbp)
movq %rdi, %rax
movq %rax, -0x480(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq 0x19a01(%rip), %rsi     # 0x5ff1c
leaq -0xf0(%rbp), %rdi
callq 0xa390
movq -0x10(%rbp), %rdi
callq 0x32f80
movq %rax, %rdi
callq 0x33000
movq %rax, %rsi
movl $0x1, -0x144(%rbp)
leaq -0x140(%rbp), %rdi
leaq -0x144(%rbp), %rdx
callq 0x2f3f0
jmp 0x4655a
leaq -0x110(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x46f10
jmp 0x4656f
leaq -0xf0(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0xaa00
movq %rax, -0x490(%rbp)
jmp 0x4658b
movq -0x10(%rbp), %rdi
callq 0x33130
movq %rax, %rdi
callq 0x33000
movq %rax, %rsi
movl $0x1, -0x1b4(%rbp)
leaq -0x1b0(%rbp), %rdi
leaq -0x1b4(%rbp), %rdx
callq 0x47090
jmp 0x465be
leaq -0x178(%rbp), %rdi
leaq -0x1b0(%rbp), %rsi
callq 0x46f10
jmp 0x465d3
movq -0x490(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0xaa00
movq %rax, -0x498(%rbp)
jmp 0x465ef
movq -0x10(%rbp), %rdi
callq 0x32f80
movq %rax, %rdi
callq 0x33270
movq %rax, %rsi
movl $0x1, -0x214(%rbp)
leaq -0x210(%rbp), %rdi
leaq -0x214(%rbp), %rdx
callq 0x2f3f0
jmp 0x46622
leaq -0x1d8(%rbp), %rdi
leaq -0x210(%rbp), %rsi
callq 0x46f10
jmp 0x46637
movq -0x498(%rbp), %rdi
leaq -0x1d8(%rbp), %rsi
callq 0xaa00
movq %rax, -0x4a0(%rbp)
jmp 0x46653
movq -0x10(%rbp), %rdi
callq 0x33130
movq %rax, %rdi
callq 0x33270
movq %rax, %rsi
movl $0x1, -0x274(%rbp)
leaq -0x270(%rbp), %rdi
leaq -0x274(%rbp), %rdx
callq 0x47090
jmp 0x46686
leaq -0x238(%rbp), %rdi
leaq -0x270(%rbp), %rsi
callq 0x46f10
jmp 0x4669b
movq -0x4a0(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0xaa00
movq %rax, -0x4a8(%rbp)
jmp 0x466b7
movq -0x10(%rbp), %rdi
callq 0x32f80
movq %rax, %rdi
callq 0x33420
movq %rax, %rsi
movl $0x1, -0x2b4(%rbp)
leaq -0x2b0(%rbp), %rdi
leaq -0x2b4(%rbp), %rdx
callq 0x2f3f0
jmp 0x466ea
leaq -0x2b0(%rbp), %rdi
callq 0x47110
movl %eax, -0x4ac(%rbp)
jmp 0x466fe
movq -0x4a8(%rbp), %rdi
movl -0x4ac(%rbp), %eax
movl %eax, -0x278(%rbp)
leaq -0x278(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x4b8(%rbp)
jmp 0x46726
movq -0x10(%rbp), %rdi
callq 0x33130
movq %rax, %rdi
callq 0x33420
movq %rax, %rsi
movl $0x1, -0x2f4(%rbp)
leaq -0x2f0(%rbp), %rdi
leaq -0x2f4(%rbp), %rdx
callq 0x47090
jmp 0x46759
leaq -0x2f0(%rbp), %rdi
callq 0x47110
movl %eax, -0x4bc(%rbp)
jmp 0x4676d
movq -0x4b8(%rbp), %rdi
movl -0x4bc(%rbp), %eax
movl %eax, -0x2b8(%rbp)
leaq -0x2b8(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x4c8(%rbp)
jmp 0x46795
movq -0x10(%rbp), %rdi
callq 0x32f80
movq %rax, %rdi
callq 0x335d0
movq %rax, %rsi
movl $0x1, -0x334(%rbp)
leaq -0x330(%rbp), %rdi
leaq -0x334(%rbp), %rdx
callq 0x2f3f0
jmp 0x467c8
leaq -0x330(%rbp), %rdi
callq 0x47110
movl %eax, -0x4cc(%rbp)
jmp 0x467dc
movq -0x4c8(%rbp), %rdi
movl -0x4cc(%rbp), %eax
movl %eax, -0x2f8(%rbp)
leaq -0x2f8(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x4d8(%rbp)
jmp 0x46804
movq -0x10(%rbp), %rdi
callq 0x33130
movq %rax, %rdi
callq 0x335d0
movq %rax, %rsi
movl $0x1, -0x374(%rbp)
leaq -0x370(%rbp), %rdi
leaq -0x374(%rbp), %rdx
callq 0x47090
jmp 0x46837
leaq -0x370(%rbp), %rdi
callq 0x47110
movl %eax, -0x4dc(%rbp)
jmp 0x4684b
movq -0x4d8(%rbp), %rdi
movl -0x4dc(%rbp), %eax
movl %eax, -0x338(%rbp)
leaq -0x338(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x4e8(%rbp)
jmp 0x46873
movq -0x10(%rbp), %rdi
callq 0x32f80
movq %rax, %rdi
callq 0x33780
movq %rax, %rsi
movl $0x1, -0x3b4(%rbp)
leaq -0x3b0(%rbp), %rdi
leaq -0x3b4(%rbp), %rdx
callq 0x2f3f0
jmp 0x468a6
leaq -0x3b0(%rbp), %rdi
callq 0x47110
movl %eax, -0x4ec(%rbp)
jmp 0x468ba
movq -0x4e8(%rbp), %rdi
movl -0x4ec(%rbp), %eax
movl %eax, -0x378(%rbp)
leaq -0x378(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x4f8(%rbp)
jmp 0x468e2
movq -0x10(%rbp), %rdi
callq 0x33130
movq %rax, %rdi
callq 0x33780
movq %rax, %rsi
movl $0x1, -0x3f4(%rbp)
leaq -0x3f0(%rbp), %rdi
leaq -0x3f4(%rbp), %rdx
callq 0x47090
jmp 0x46915
leaq -0x3f0(%rbp), %rdi
callq 0x47110
movl %eax, -0x4fc(%rbp)
jmp 0x46929
movq -0x4f8(%rbp), %rdi
movl -0x4fc(%rbp), %eax
movl %eax, -0x3b8(%rbp)
leaq -0x3b8(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x508(%rbp)
jmp 0x46951
movq -0x10(%rbp), %rdi
callq 0x32f80
movq %rax, %rdi
callq 0x33b80
movq %rax, %rsi
movl $0x1, -0x434(%rbp)
leaq -0x430(%rbp), %rdi
leaq -0x434(%rbp), %rdx
callq 0x2f3f0
jmp 0x46984
leaq -0x430(%rbp), %rdi
callq 0x47110
movl %eax, -0x50c(%rbp)
jmp 0x46998
movq -0x508(%rbp), %rdi
movl -0x50c(%rbp), %eax
movl %eax, -0x3f8(%rbp)
leaq -0x3f8(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x518(%rbp)
jmp 0x469c0
movq -0x10(%rbp), %rdi
callq 0x33130
movq %rax, %rdi
callq 0x33b80
movq %rax, %rsi
movl $0x1, -0x474(%rbp)
leaq -0x470(%rbp), %rdi
leaq -0x474(%rbp), %rdx
callq 0x47090
jmp 0x469f3
leaq -0x470(%rbp), %rdi
callq 0x47110
movl %eax, -0x51c(%rbp)
jmp 0x46a07
movq -0x518(%rbp), %rdi
movl -0x51c(%rbp), %eax
movl %eax, -0x438(%rbp)
leaq -0x438(%rbp), %rsi
callq 0x26fe0
movq %rax, -0x528(%rbp)
jmp 0x46a2f
movq -0x528(%rbp), %rsi
movq -0x488(%rbp), %rdi
callq 0xa590
jmp 0x46a44
leaq -0x238(%rbp), %rdi
callq 0x51e0
leaq -0x1d8(%rbp), %rdi
callq 0x51e0
leaq -0x178(%rbp), %rdi
callq 0x51e0
leaq -0x110(%rbp), %rdi
callq 0x51e0
leaq -0xf0(%rbp), %rdi
callq 0xa7e0
movq -0x480(%rbp), %rax
addq $0x530, %rsp            # imm = 0x530
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x150(%rbp)
movl %eax, -0x154(%rbp)
jmp 0x46b22
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x150(%rbp)
movl %eax, -0x154(%rbp)
jmp 0x46b16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x150(%rbp)
movl %eax, -0x154(%rbp)
jmp 0x46b0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x150(%rbp)
movl %eax, -0x154(%rbp)
jmp 0x46afe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x150(%rbp)
movl %eax, -0x154(%rbp)
leaq -0x238(%rbp), %rdi
callq 0x51e0
leaq -0x1d8(%rbp), %rdi
callq 0x51e0
leaq -0x178(%rbp), %rdi
callq 0x51e0
leaq -0x110(%rbp), %rdi
callq 0x51e0
leaq -0xf0(%rbp), %rdi
callq 0xa7e0
movq -0x150(%rbp), %rdi
callq 0x5640
nopw (%rax,%rax)