// 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<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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x418, %rsp            # imm = 0x418
movq %rsi, %r14
movq %rdi, 0x58(%rsp)
leaq 0x1535b(%rip), %rsi     # 0x3552c
leaq 0x240(%rsp), %rdi
callq 0xa2e8
xorps %xmm0, %xmm0
leaq 0x210(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
movw $0x1, 0x20(%rdi)
movb $0x0, 0x22(%rdi)
leaq 0x10(%rsp), %r15
movq $0x1, (%r15)
movq %r14, %rsi
movq %r15, %rdx
callq 0x16207
leaq 0x1c8(%rsp), %r12
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r12)
movups %xmm0, 0x4(%r12)
movw $0xa, -0x8(%r12)
leaq 0x1d7(%rsp), %rbx
xorl %r13d, %r13d
leaq 0x130(%rsp), %rbp
movaps 0x210(%rsp), %xmm0
movaps 0x220(%rsp), %xmm1
movaps %xmm1, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movzwl 0x230(%rsp), %eax
movw %ax, 0x30(%rsp)
movb 0x232(%rsp), %al
movb %al, 0x32(%rsp)
movq %r15, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0x21186
movb $0x0, 0x130(%rsp)
movq %r15, %rdi
movq %rbp, %rsi
callq 0x21694
movb 0x130(%rsp), %al
movb %al, (%rbx)
addq $0x8, %r13
decq %rbx
cmpq $0x80, %r13
jne 0x20243
leaq 0x10(%rsp), %r15
movl $0xa, %edi
movq %r12, %rsi
movq %r15, %rdx
movl $0x40, %ecx
callq 0x4220
leaq 0xd0(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r15, %rdi
callq 0x40d0
leaq (%rsp,%rax), %rdx
addq $0x10, %rdx
leaq 0xc0(%rsp), %rbx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x114b6
leaq 0x10(%rsp), %rsi
movq %rbx, (%rsi)
leaq -0xd07d(%rip), %rax     # 0x13289
movq %rax, 0x8(%rsi)
leaq -0xd087(%rip), %rax     # 0x1328a
movq %rax, 0x10(%rsi)
leaq 0x240(%rsp), %rdi
callq 0x1158d
movq %rax, 0x8(%rsp)
leaq 0x120(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x1c0(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
movw $0x1, 0x20(%rdi)
movb $0x0, 0x22(%rdi)
leaq 0x10(%rsp), %r12
movq $0x1, (%r12)
movq %r12, %rdx
callq 0x160eb
leaq 0x138(%rsp), %r13
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r13)
movups %xmm0, 0x4(%r13)
movw $0xa, -0x8(%r13)
leaq 0x147(%rsp), %r15
xorl %ebp, %ebp
leaq 0x100(%rsp), %rbx
movaps 0x1c0(%rsp), %xmm0
movaps 0x1d0(%rsp), %xmm1
movaps %xmm1, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movzwl 0x1e0(%rsp), %eax
movw %ax, 0x30(%rsp)
movb 0x1e2(%rsp), %al
movb %al, 0x32(%rsp)
movq %r12, %rdi
movq %rbp, %rsi
xorl %edx, %edx
callq 0x21186
movb $0x0, 0x100(%rsp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x21694
movb 0x100(%rsp), %al
movb %al, (%r15)
addq $0x8, %rbp
decq %r15
cmpq $0x80, %rbp
jne 0x2038d
leaq 0x10(%rsp), %r12
movl $0xa, %edi
movq %r13, %rsi
movq %r12, %rdx
movl $0x40, %ecx
callq 0x4220
leaq 0xb0(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r12, %rdi
callq 0x40d0
leaq (%rsp,%rax), %rdx
addq $0x10, %rdx
leaq 0xa0(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x114b6
leaq 0x10(%rsp), %rsi
movq %rbx, (%rsi)
leaq -0xd1c8(%rip), %rax     # 0x13289
movq %rax, 0x8(%rsi)
leaq -0xd1d2(%rip), %rax     # 0x1328a
movq %rax, 0x10(%rsi)
movq 0x8(%rsp), %rdi
callq 0x1158d
movq %rax, 0x8(%rsp)
leaq 0x30(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x130(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
movw $0x1, 0x20(%rdi)
movb $0x0, 0x22(%rdi)
leaq 0x10(%rsp), %r12
movq $0x1, (%r12)
movq %r12, %rdx
callq 0x16207
leaq 0x108(%rsp), %r13
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r13)
movups %xmm0, 0x4(%r13)
movw $0xa, -0x8(%r13)
leaq 0x117(%rsp), %r15
xorl %ebp, %ebp
leaq 0x160(%rsp), %rbx
movaps 0x130(%rsp), %xmm0
movaps 0x140(%rsp), %xmm1
movaps %xmm1, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movzwl 0x150(%rsp), %eax
movw %ax, 0x30(%rsp)
movb 0x152(%rsp), %al
movb %al, 0x32(%rsp)
movq %r12, %rdi
movq %rbp, %rsi
xorl %edx, %edx
callq 0x21186
movb $0x0, 0x160(%rsp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x21694
movb 0x160(%rsp), %al
movb %al, (%r15)
addq $0x8, %rbp
decq %r15
cmpq $0x80, %rbp
jne 0x204d2
leaq 0x10(%rsp), %r12
movl $0xa, %edi
movq %r13, %rsi
movq %r12, %rdx
movl $0x40, %ecx
callq 0x4220
leaq 0x90(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r12, %rdi
callq 0x40d0
leaq (%rsp,%rax), %rdx
addq $0x10, %rdx
leaq 0x80(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x114b6
leaq 0x10(%rsp), %rsi
movq %rbx, (%rsi)
leaq -0xd30d(%rip), %rax     # 0x13289
movq %rax, 0x8(%rsi)
leaq -0xd317(%rip), %rax     # 0x1328a
movq %rax, 0x10(%rsi)
movq 0x8(%rsp), %rdi
callq 0x1158d
movq %rax, 0x8(%rsp)
leaq 0x150(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x100(%rsp), %rdi
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, (%rdi)
movw $0x1, 0x20(%rdi)
movb $0x0, 0x22(%rdi)
leaq 0x10(%rsp), %r12
movq $0x1, (%r12)
movq %r12, %rdx
callq 0x160eb
leaq 0x168(%rsp), %r13
xorps %xmm0, %xmm0
movaps %xmm0, -0x8(%r13)
movups %xmm0, 0x4(%r13)
movw $0xa, -0x8(%r13)
leaq 0x177(%rsp), %r15
xorl %ebp, %ebp
leaq 0x190(%rsp), %rbx
movaps 0x100(%rsp), %xmm0
movaps 0x110(%rsp), %xmm1
movaps %xmm1, 0x20(%rsp)
movaps %xmm0, 0x10(%rsp)
movzwl 0x120(%rsp), %eax
movw %ax, 0x30(%rsp)
movb 0x122(%rsp), %al
movb %al, 0x32(%rsp)
movq %r12, %rdi
movq %rbp, %rsi
xorl %edx, %edx
callq 0x21186
movb $0x0, 0x190(%rsp)
movq %r12, %rdi
movq %rbx, %rsi
callq 0x21694
movb 0x190(%rsp), %al
movb %al, (%r15)
addq $0x8, %rbp
decq %r15
cmpq $0x80, %rbp
jne 0x2061a
leaq 0x10(%rsp), %r12
movl $0xa, %edi
movq %r13, %rsi
movq %r12, %rdx
movl $0x40, %ecx
callq 0x4220
leaq 0x70(%rsp), %rax
movq %rax, -0x10(%rax)
movq %r12, %rdi
callq 0x40d0
leaq (%rsp,%rax), %rdx
addq $0x10, %rdx
leaq 0x60(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x114b6
leaq 0x10(%rsp), %rsi
movq %rbx, (%rsi)
leaq -0xd44f(%rip), %rax     # 0x13289
movq %rax, 0x8(%rsi)
leaq -0xd459(%rip), %rax     # 0x1328a
movq %rax, 0x10(%rsi)
movq 0x8(%rsp), %rdi
callq 0x1158d
movq %rax, %r15
leaq 0x60(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rbx
movaps %xmm0, 0x10(%rbx)
movaps %xmm0, (%rbx)
movw $0x1, 0x20(%rbx)
movb $0x0, 0x22(%rbx)
leaq 0x160(%rsp), %r12
movq $0x1, (%r12)
movq %rbx, %rdi
movq %r12, %rdx
callq 0x16207
movl $0x0, (%r12)
leaq 0x160(%rsp), %rsi
movq %rbx, %rdi
callq 0x21adc
leaq 0x160(%rsp), %rsi
movl (%rsi), %eax
leaq 0xfc(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
leaq -0xd0d3(%rip), %rbp     # 0x1368f
movq %rbp, 0x8(%rsi)
leaq -0xd0dd(%rip), %r13     # 0x13690
movq %r13, 0x10(%rsi)
movq %r15, %rdi
callq 0x1158d
movq %rax, %rbx
leaq 0x180(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x160(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x190(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x160eb
movl $0x0, (%r12)
leaq 0x190(%rsp), %rsi
movq %r15, %rdi
callq 0x21adc
leaq 0x190(%rsp), %rsi
movl (%rsi), %eax
leaq 0xf8(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x1158d
movq %rax, %rbx
leaq 0x90(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x190(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x3e0(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16207
movl $0x0, (%r12)
leaq 0x3e0(%rsp), %rsi
movq %r15, %rdi
callq 0x21adc
leaq 0x3e0(%rsp), %rsi
movl (%rsi), %eax
leaq 0xf4(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x1158d
movq %rax, %rbx
leaq 0x1b0(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x3e0(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x3b0(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x160eb
movl $0x0, (%r12)
leaq 0x3b0(%rsp), %rsi
movq %r15, %rdi
callq 0x21adc
leaq 0x3b0(%rsp), %rsi
movl (%rsi), %eax
leaq 0xf0(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x1158d
movq %rax, %rbx
leaq 0xc0(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x3b0(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x380(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16207
movl $0x0, (%r12)
leaq 0x380(%rsp), %rsi
movq %r15, %rdi
callq 0x21adc
leaq 0x380(%rsp), %rsi
movl (%rsi), %eax
leaq 0xec(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x1158d
movq %rax, %rbx
leaq 0x1e0(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x380(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x350(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x160eb
movl $0x0, (%r12)
leaq 0x350(%rsp), %rsi
movq %r15, %rdi
callq 0x21adc
leaq 0x350(%rsp), %rsi
movl (%rsi), %eax
leaq 0xe8(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x1158d
movq %rax, %rbx
leaq 0xf0(%r14), %rsi
xorps %xmm0, %xmm0
leaq 0x350(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x320(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r12, %rdx
callq 0x16207
movl $0x0, (%r12)
leaq 0x320(%rsp), %rsi
movq %r15, %rdi
callq 0x21adc
leaq 0x320(%rsp), %rsi
movl (%rsi), %eax
leaq 0xe4(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x1158d
movq %rax, %rbx
addq $0x210, %r14            # imm = 0x210
xorps %xmm0, %xmm0
leaq 0x320(%rsp), %r15
movaps %xmm0, 0x10(%r15)
movaps %xmm0, (%r15)
movw $0x1, 0x20(%r15)
movb $0x0, 0x22(%r15)
leaq 0x1f8(%rsp), %r12
movq $0x1, (%r12)
movq %r15, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x160eb
movl $0x0, (%r12)
leaq 0x1f8(%rsp), %rsi
movq %r15, %rdi
callq 0x21adc
movq 0x58(%rsp), %r14
leaq 0x1f8(%rsp), %rsi
movl (%rsi), %eax
leaq 0xe0(%rsp), %rcx
movl %eax, (%rcx)
movq %rcx, (%rsi)
movq %rbp, 0x8(%rsi)
movq %r13, 0x10(%rsi)
movq %rbx, %rdi
callq 0x1158d
movq %r14, %rdi
movq %rax, %rsi
callq 0xa45e
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
leaq 0xd0(%rsp), %rbx
leaq 0xb0(%rsp), %r15
je 0x20b54
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x20b79
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0xa0(%rsp), %rdi
cmpq %r15, %rdi
je 0x20b96
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0xc0(%rsp), %rdi
cmpq %rbx, %rdi
je 0x20bb3
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x4210
cmpb $0x1, 0x310(%rsp)
jne 0x20bd1
leaq 0x318(%rsp), %rbx
movq %rbx, %rdi
callq 0x42c0
movb $0x0, -0x8(%rbx)
leaq 0x4cb58(%rip), %rax     # 0x6d730
movq %rax, 0x2b8(%rsp)
cmpb $0x1, 0x300(%rsp)
jne 0x20c12
leaq 0x2d0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq $0x0, 0x10(%rax)
leaq 0x2e8(%rsp), %rcx
cmoveq %rax, %rcx
movq (%rcx), %rsi
subq %rdi, %rsi
callq 0x4210
leaq 0x2f0(%rsp), %rbx
movb $0x0, 0x10(%rbx)
movq $0x0, 0x8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x30(%rbx)
movups %xmm0, -0x20(%rbx)
movups %xmm0, -0x10(%rbx)
movq 0x4d374(%rip), %rax     # 0x6dfb0
addq $0x10, %rax
movq %rax, -0x38(%rbx)
movq %rbx, %rdi
callq 0x42c0
movq -0x60(%rbx), %rdi
leaq 0x2a0(%rsp), %rax
cmpq %rax, %rdi
je 0x20c6d
movq 0x2a0(%rsp), %rsi
incq %rsi
callq 0x4210
movq 0x258(%rsp), %rdi
testq %rdi, %rdi
je 0x20cb2
movq 0x278(%rsp), %rsi
subq %rdi, %rsi
callq 0x4210
xorl %eax, %eax
movq %rax, 0x258(%rsp)
movl %eax, 0x260(%rsp)
movq %rax, 0x268(%rsp)
movl %eax, 0x270(%rsp)
movq %rax, 0x278(%rsp)
leaq 0x240(%rsp), %rdi
callq 0xeb44
movq %r14, %rax
addq $0x418, %rsp            # imm = 0x418
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x20cfb
jmp 0x20d1c
jmp 0x20d1c
jmp 0x20d46
jmp 0x20d46
jmp 0x20d70
jmp 0x20d70
jmp 0x20d9a
jmp 0x20cfb
jmp 0x20cfb
jmp 0x20cfb
jmp 0x20cfb
jmp 0x20cfb
jmp 0x20cfb
jmp 0x20cfb
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x20d1f
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x4210
jmp 0x20d1f
movq %rax, %rbx
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x20d49
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x4210
jmp 0x20d49
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x20d73
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x4210
jmp 0x20d73
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
leaq 0xd0(%rsp), %rax
cmpq %rax, %rdi
je 0x20d9d
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x4210
jmp 0x20d9d
movq %rax, %rbx
leaq 0x240(%rsp), %rdi
callq 0xa60a
movq %rbx, %rdi
callq 0x4370