// File: /workspace/github_cpp_makefile_star2_O3/patmorin[P]rotate/permtest.cpp
// Function: main
int main(int argc, char *argv[]) {
	Index n;
    if (argc != 2) usage(argv[0]);
    std::istringstream is_n(argv[1]);
    is_n >> n;

	while (n > 0) {
		Index k = 0, cum = 1;
		while (3*cum-1 <= n) {
			k++;
			cum *= 3;
		}
		Index m = cum-1;
		std::cout << "n = " << n << ", k = " << k << ", cum = " << cum
			<< ", m = " << m << std::endl;

		n -= m;

		Index sum = 0;
		auto start = std::chrono::high_resolution_clock::now();
		for (Index i = 0; i < m; i++) {
			sum += outshuffle_perm1(i, m);
		}
		auto stop =  std::chrono::high_resolution_clock::now();
		std::chrono::duration<double> elapsed = stop - start;
		std::cout << "outshuffle1: " << elapsed.count() << " " << sum << std::endl;

		sum = 0;
		start = std::chrono::high_resolution_clock::now();
		for (Index i = 0; i < m; i++) {
			sum += outshuffle_perm2(i, m);
		}
		stop =  std::chrono::high_resolution_clock::now();
		elapsed = stop - start;
		std::cout << "outshuffle2: " << elapsed.count() << " " << sum << std::endl;

		sum = 0;
		start = std::chrono::high_resolution_clock::now();
		for (Index i = 0; i < m; i++) {
			sum += outshuffle_perm3(i, m);
		}
		stop =  std::chrono::high_resolution_clock::now();
		elapsed = stop - start;
		std::cout << "outshuffle3: " << elapsed.count() << " " << sum << std::endl;

		sum = 0;
		start = std::chrono::high_resolution_clock::now();
		for (Index i = 0; i < m; i++) {
			sum += inshuffle_perm1(i, m);
		}
		stop =  std::chrono::high_resolution_clock::now();
		elapsed = stop - start;
		std::cout << "inshuffle1: " << elapsed.count() << " " << sum << std::endl;

		sum = 0;
		start = std::chrono::high_resolution_clock::now();
		for (Index i = 0; i < m; i++) {
			sum += inshuffle_perm2(i, m);
		}
		stop =  std::chrono::high_resolution_clock::now();
		elapsed = stop - start;
		std::cout << "inshuffle2: " << elapsed.count() << " " << sum << std::endl;

		sum = 0;
		start = std::chrono::high_resolution_clock::now();
		for (Index i = 0; i < m; i++) {
			sum += inshuffle_perm3(i, m);
		}
		stop =  std::chrono::high_resolution_clock::now();
		elapsed = stop - start;
		std::cout << "inshuffle3: " << elapsed.count() << " " << sum << std::endl;

		if (m < 50) {
			for (Index i = 0; i < m-1; i++) {
				std::cout << inshuffle_perm1(i, m) << ",";
			}
			std::cout << inshuffle_perm1(m-1, m) << std::endl;

			for (Index i = 0; i < m-1; i++) {
				std::cout << inshuffle_perm2(i, m) << ",";
			}
			std::cout << inshuffle_perm2(m-1, m) << std::endl;

			for (Index i = 0; i < m-1; i++) {
				std::cout << inshuffle_perm3(i, m) << ",";
			}
			std::cout << inshuffle_perm3(m-1, m) << std::endl;
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1c8, %rsp            # imm = 0x1C8
cmpl $0x2, %edi
jne 0x2026
movq 0x8(%rsi), %rsi
leaq 0x28(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x1060
leaq 0x48(%rsp), %rdi
leaq 0x28(%rsp), %rsi
movl $0x8, %edx
callq 0x1140
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x132b
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x10e0
leaq 0x48(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x1080
movq 0x10(%rsp), %rax
testq %rax, %rax
je 0x1ff4
leaq 0x1dff(%rip), %rbx      # 0x314e
movb $0x4, %bpl
movb $0x8, %r12b
movq $-0x1, %r15
movl $0x1, %ecx
movq %rcx, %r13
leaq (%rcx,%rcx,2), %rcx
leaq -0x1(%r13,%r13,2), %rdx
incq %r15
cmpq %rax, %rdx
jbe 0x1361
movq 0x3c54(%rip), %rdi      # 0x4fd0
movl $0x4, %edx
leaq 0x1d75(%rip), %rsi      # 0x30fd
callq 0x10f0
movq 0x10(%rsp), %rsi
movq 0x3c37(%rip), %rdi      # 0x4fd0
callq 0x1090
movl $0x6, %edx
leaq 0x1d58(%rip), %rsi      # 0x3102
movq %rax, %rdi
movq %rax, %r14
callq 0x10f0
movq %r14, %rdi
movq %r15, %rsi
callq 0x1090
movl $0x8, %edx
leaq 0x1d3d(%rip), %rsi      # 0x3109
movq %rax, %rdi
movq %rax, %r14
callq 0x10f0
movq %r14, %rdi
movq %r13, %rsi
callq 0x1090
movl $0x6, %edx
leaq 0x1d24(%rip), %rsi      # 0x3112
movq %rax, %rdi
movq %rax, %r14
callq 0x10f0
leaq -0x1(%r13), %rsi
movq %r14, %rdi
movq %rsi, 0x18(%rsp)
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
movq 0x18(%rsp), %r14
subq %r14, 0x10(%rsp)
callq 0x1040
movq %rax, %rdi
testq %r14, %r14
je 0x160c
vpmovsxbq 0x1c87(%rip), %zmm2 # 0x30e0
leaq 0x1(%r13), %rcx
leaq 0x6(%r13), %rsi
leaq -0x2(%r13), %rax
vpxor %xmm3, %xmm3, %xmm3
vpternlogd $0xff, %zmm4, %zmm4, %zmm4
shrq %rcx
andq $-0x8, %rsi
vpbroadcastq %rax, %zmm0
vpcmpleuq %zmm0, %zmm2, %k1
vpsubq %zmm4, %zmm2, %zmm4
vmovdqa64 %zmm3, %zmm1
kmovd %k1, %eax
testb $0x1, %al
je 0x14ab
vmovq %xmm4, %rax
xorl %edx, %edx
imulq %rcx, %rax
divq %r13
vmovq %rdx, %xmm3
kmovd %k1, %eax
testb $0x2, %al
je 0x14cf
vpextrq $0x1, %xmm4, %rax
xorl %edx, %edx
imulq %rcx, %rax
divq %r13
vpinsrq $0x1, %rdx, %xmm3, %xmm5
vinserti32x4 $0x0, %xmm5, %zmm3, %zmm3
kmovd %k1, %eax
testb $0x4, %al
je 0x14f5
vextracti128 $0x1, %ymm4, %xmm5
xorl %edx, %edx
kmovd %ebp, %k2
vmovq %xmm5, %rax
imulq %rcx, %rax
divq %r13
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x8, %al
je 0x151d
vextracti128 $0x1, %ymm4, %xmm5
xorl %edx, %edx
kmovd %r12d, %k2
vpextrq $0x1, %xmm5, %rax
imulq %rcx, %rax
divq %r13
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
vextracti32x4 $0x2, %zmm4, %xmm5
testb $0x10, %al
je 0x1546
vmovq %xmm5, %rax
xorl %edx, %edx
imulq %rcx, %rax
divq %r13
movb $0x10, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x20, %al
je 0x1569
vpextrq $0x1, %xmm5, %rax
xorl %edx, %edx
imulq %rcx, %rax
divq %r13
movb $0x20, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
vextracti32x4 $0x3, %zmm4, %xmm4
testb $0x40, %al
je 0x1592
vmovq %xmm4, %rax
xorl %edx, %edx
imulq %rcx, %rax
divq %r13
movb $0x40, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $-0x80, %al
je 0x15b5
vpextrq $0x1, %xmm4, %rax
xorl %edx, %edx
imulq %rcx, %rax
divq %r13
movb $-0x80, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
vpaddq 0x1b01(%rip){1to8}, %zmm2, %zmm2 # 0x30c0
vpaddq %zmm3, %zmm1, %zmm3
vpternlogd $0xff, %zmm4, %zmm4, %zmm4
addq $-0x8, %rsi
vpaddq %zmm4, %zmm3, %zmm3
jne 0x147d
vmovdqa64 %zmm3, %zmm1 {%k1}
vextracti64x4 $0x1, %zmm1, %ymm0
movq %rdi, %r12
vpaddq %zmm0, %zmm1, %zmm0
vextracti128 $0x1, %ymm0, %xmm1
vpaddq %xmm1, %xmm0, %xmm0
vpshufd $0xee, %xmm0, %xmm1     # xmm1 = xmm0[2,3,2,3]
vpaddq %xmm1, %xmm0, %xmm0
vmovq %xmm0, %r14
jmp 0x1612
movq %rdi, %r12
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r15
movq 0x39ac(%rip), %rdi      # 0x4fd0
movl $0xd, %edx
leaq 0x1ae9(%rip), %rsi      # 0x3119
callq 0x10f0
movq 0x18(%rsp), %rbp
subq %r12, %r15
vcvtsi2sd %r15, %xmm6, %xmm0
vdivsd 0x1a7e(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x397f(%rip), %rdi      # 0x4fd0
callq 0x1130
movl $0x1, %edx
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x10f0
movq %r15, %rdi
movq %r14, %rsi
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
callq 0x1040
movq %rax, %r15
testq %rbp, %rbp
je 0x1754
vpmovsxbq 0x1a27(%rip), %zmm5 # 0x30e0
vpbroadcastq 0x19fd(%rip), %zmm6 # 0x30c0
vpbroadcastq 0x1a03(%rip), %zmm7 # 0x30d0
movq %rbp, %rcx
leaq 0x6(%r13), %rax
shrq %rcx
leaq -0x2(%r13), %rdx
vpxor %xmm1, %xmm1, %xmm1
andq $-0x8, %rax
vpbroadcastq %rdx, %zmm0
vpbroadcastq %rcx, %zmm2
vmovdqa64 %zmm1, %zmm3
vpsrlq $0x1, %zmm5, %zmm1
vptestnmq %zmm7, %zmm5, %k1
vmovdqa64 %zmm5, %zmm4
vpaddq %zmm6, %zmm5, %zmm5
addq $-0x8, %rax
vpaddq %zmm1, %zmm3, %zmm1
vpaddq %zmm2, %zmm1, %zmm1 {%k1}
jne 0x16ef
vpcmpnleuq %zmm0, %zmm4, %k1
vmovdqa64 %zmm3, %zmm1 {%k1}
vextracti64x4 $0x1, %zmm1, %ymm0
vpaddq %zmm0, %zmm1, %zmm0
vextracti128 $0x1, %ymm0, %xmm1
vpaddq %xmm1, %xmm0, %xmm0
vpshufd $0xee, %xmm0, %xmm1     # xmm1 = xmm0[2,3,2,3]
vpaddq %xmm1, %xmm0, %xmm0
vmovq %xmm0, %r14
jmp 0x1757
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movq 0x3867(%rip), %rdi      # 0x4fd0
movl $0xd, %edx
leaq 0x19b2(%rip), %rsi      # 0x3127
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm8, %xmm0
vdivsd 0x193e(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x383f(%rip), %rdi      # 0x4fd0
callq 0x1130
movl $0x1, %edx
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x10f0
movq %r15, %rdi
movq %r14, %rsi
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
callq 0x1040
movq %rax, %r15
testq %rbp, %rbp
je 0x1894
vpmovsxbq 0x18e7(%rip), %zmm5 # 0x30e0
vpbroadcastq 0x18bd(%rip), %zmm6 # 0x30c0
vpbroadcastq 0x18c3(%rip), %zmm7 # 0x30d0
movq %rbp, %rcx
leaq 0x6(%r13), %rax
shrq %rcx
leaq -0x2(%r13), %rdx
vpxor %xmm1, %xmm1, %xmm1
andq $-0x8, %rax
vpbroadcastq %rdx, %zmm0
vpbroadcastq %rcx, %zmm2
vmovdqa64 %zmm1, %zmm3
vpsrlq $0x1, %zmm5, %zmm1
vptestnmq %zmm7, %zmm5, %k1
vmovdqa64 %zmm5, %zmm4
vpaddq %zmm6, %zmm5, %zmm5
addq $-0x8, %rax
vpaddq %zmm1, %zmm3, %zmm1
vpaddq %zmm2, %zmm1, %zmm1 {%k1}
jne 0x182f
vpcmpnleuq %zmm0, %zmm4, %k1
vmovdqa64 %zmm3, %zmm1 {%k1}
vextracti64x4 $0x1, %zmm1, %ymm0
vpaddq %zmm0, %zmm1, %zmm0
vextracti128 $0x1, %ymm0, %xmm1
vpaddq %xmm1, %xmm0, %xmm0
vpshufd $0xee, %xmm0, %xmm1     # xmm1 = xmm0[2,3,2,3]
vpaddq %xmm1, %xmm0, %xmm0
vmovq %xmm0, %r14
jmp 0x1897
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movq 0x3727(%rip), %rdi      # 0x4fd0
movl $0xd, %edx
leaq 0x1880(%rip), %rsi      # 0x3135
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm8, %xmm0
vdivsd 0x17fe(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x36ff(%rip), %rdi      # 0x4fd0
callq 0x1130
movl $0x1, %edx
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x10f0
movq %r15, %rdi
movq %r14, %rsi
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
callq 0x1040
movq %rax, %r15
testq %rbp, %rbp
je 0x1ad5
vpmovsxbq 0x17a7(%rip), %zmm2 # 0x30e0
leaq 0x6(%r13), %rcx
leaq -0x2(%r13), %rax
vpxor %xmm3, %xmm3, %xmm3
movb $0x4, %sil
movb $0x8, %dil
andq $-0x8, %rcx
vpbroadcastq %rax, %zmm0
vmovdqa64 %zmm3, %zmm1
vpaddq %zmm2, %zmm2, %zmm3
vpaddq 0x176d(%rip){1to8}, %zmm3, %zmm4 # 0x30d8
vpcmpleuq %zmm0, %zmm2, %k1
kmovd %k1, %eax
testb $0x1, %al
je 0x1989
vmovq %xmm4, %rax
xorl %edx, %edx
divq %r13
vmovq %rdx, %xmm3
kmovd %k1, %eax
testb $0x2, %al
je 0x19a9
vpextrq $0x1, %xmm4, %rax
xorl %edx, %edx
divq %r13
vpinsrq $0x1, %rdx, %xmm3, %xmm5
vinserti32x4 $0x0, %xmm5, %zmm3, %zmm3
kmovd %k1, %eax
testb $0x4, %al
je 0x19cb
vextracti128 $0x1, %ymm4, %xmm5
xorl %edx, %edx
kmovd %esi, %k2
vmovq %xmm5, %rax
divq %r13
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x8, %al
je 0x19ee
vextracti128 $0x1, %ymm4, %xmm5
xorl %edx, %edx
kmovd %edi, %k2
vpextrq $0x1, %xmm5, %rax
divq %r13
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x10, %al
je 0x1a13
vextracti32x4 $0x2, %zmm4, %xmm5
xorl %edx, %edx
vmovq %xmm5, %rax
divq %r13
movb $0x10, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x20, %al
je 0x1a39
vextracti32x4 $0x2, %zmm4, %xmm5
xorl %edx, %edx
vpextrq $0x1, %xmm5, %rax
divq %r13
movb $0x20, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x40, %al
je 0x1a5e
vextracti32x4 $0x3, %zmm4, %xmm5
xorl %edx, %edx
vmovq %xmm5, %rax
divq %r13
movb $0x40, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $-0x80, %al
je 0x1a84
vextracti32x4 $0x3, %zmm4, %xmm4
xorl %edx, %edx
vpextrq $0x1, %xmm4, %rax
divq %r13
movb $-0x80, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
vpaddq %zmm3, %zmm1, %zmm3
vpaddq 0x1654(%rip){1to8}, %zmm3, %zmm3 # 0x30e8
vpaddq 0x1622(%rip){1to8}, %zmm2, %zmm2 # 0x30c0
addq $-0x8, %rcx
jne 0x1955
vmovdqa64 %zmm3, %zmm1 {%k1}
vextracti64x4 $0x1, %zmm1, %ymm0
vpaddq %zmm0, %zmm1, %zmm0
vextracti128 $0x1, %ymm0, %xmm1
vpaddq %xmm1, %xmm0, %xmm0
vpshufd $0xee, %xmm0, %xmm1     # xmm1 = xmm0[2,3,2,3]
vpaddq %xmm1, %xmm0, %xmm0
vmovq %xmm0, %r14
jmp 0x1ad8
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movq 0x34e6(%rip), %rdi      # 0x4fd0
movl $0xc, %edx
leaq 0x164d(%rip), %rsi      # 0x3143
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm8, %xmm0
vdivsd 0x15bd(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x34be(%rip), %rdi      # 0x4fd0
callq 0x1130
movl $0x1, %edx
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x10f0
movq %r15, %rdi
movq %r14, %rsi
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
callq 0x1040
movq %rax, %r15
testq %rbp, %rbp
je 0x1c21
vpmovsxbq 0x1566(%rip), %zmm6 # 0x30e0
vpbroadcastq 0x153c(%rip), %zmm7 # 0x30c0
vpbroadcastq 0x1542(%rip), %zmm8 # 0x30d0
movq %rbp, %rcx
leaq 0x6(%r13), %rax
shrq %rcx
leaq -0x2(%r13), %rdx
vpbroadcastq %rbp, %zmm2
vpxor %xmm4, %xmm4, %xmm4
andq $-0x8, %rax
vpbroadcastq %rdx, %zmm0
vpbroadcastq %rcx, %zmm1
vpaddq %zmm6, %zmm6, %zmm9
vmovdqa64 %zmm6, %zmm5
vpcmpnleuq %zmm6, %zmm1, %k1
vmovdqa64 %zmm4, %zmm3
addq $-0x8, %rax
vpsubq %zmm2, %zmm9, %zmm6
vporq %zmm8, %zmm9, %zmm6 {%k1}
vpaddq %zmm3, %zmm6, %zmm4
vpaddq %zmm7, %zmm5, %zmm6
jne 0x1bb6
vpcmpnleuq %zmm0, %zmm5, %k1
vmovdqa64 %zmm3, %zmm4 {%k1}
vextracti64x4 $0x1, %zmm4, %ymm0
vpaddq %zmm0, %zmm4, %zmm0
vextracti128 $0x1, %ymm0, %xmm1
vpaddq %xmm1, %xmm0, %xmm0
vpshufd $0xee, %xmm0, %xmm1     # xmm1 = xmm0[2,3,2,3]
vpaddq %xmm1, %xmm0, %xmm0
vmovq %xmm0, %r14
jmp 0x1c24
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movq 0x339a(%rip), %rdi      # 0x4fd0
movl $0xc, %edx
leaq 0x150e(%rip), %rsi      # 0x3150
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm10, %xmm0
vdivsd 0x1471(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x3372(%rip), %rdi      # 0x4fd0
callq 0x1130
movl $0x1, %edx
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x10f0
movq %r15, %rdi
movq %r14, %rsi
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
callq 0x1040
movq %rax, %r15
testq %rbp, %rbp
je 0x1d6a
vpmovsxbq 0x141a(%rip), %zmm6 # 0x30e0
vpbroadcastq 0x13f0(%rip), %zmm8 # 0x30c0
movq %rbp, %rcx
leaq 0x6(%r13), %rax
shrq %rcx
leaq -0x2(%r13), %rdx
vpbroadcastq %r13, %zmm2
vpxor %xmm3, %xmm3, %xmm3
vpternlogd $0xff, %zmm7, %zmm7, %zmm7
andq $-0x8, %rax
vpbroadcastq %rdx, %zmm0
vpbroadcastq %rcx, %zmm1
vmovdqa64 %zmm3, %zmm4
vpaddq %zmm6, %zmm6, %zmm3
vpcmpleuq %zmm6, %zmm1, %k1
vmovdqa64 %zmm6, %zmm5
vpaddq %zmm8, %zmm6, %zmm6
addq $-0x8, %rax
vpaddq %zmm3, %zmm4, %zmm3
vpsubq %zmm7, %zmm3, %zmm3
vpsubq %zmm2, %zmm3, %zmm3 {%k1}
jne 0x1cff
vpcmpnleuq %zmm0, %zmm5, %k1
vmovdqa64 %zmm4, %zmm3 {%k1}
vextracti64x4 $0x1, %zmm3, %ymm0
vpaddq %zmm0, %zmm3, %zmm0
vextracti128 $0x1, %ymm0, %xmm1
vpaddq %xmm1, %xmm0, %xmm0
vpshufd $0xee, %xmm0, %xmm1     # xmm1 = xmm0[2,3,2,3]
vpaddq %xmm1, %xmm0, %xmm0
vmovq %xmm0, %r14
jmp 0x1d6d
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movq 0x3251(%rip), %rdi      # 0x4fd0
movl $0xc, %edx
leaq 0x13d2(%rip), %rsi      # 0x315d
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm10, %xmm0
vdivsd 0x1328(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x3229(%rip), %rdi      # 0x4fd0
callq 0x1130
movl $0x1, %edx
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x10f0
movq %r15, %rdi
movq %r14, %rsi
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
cmpq $0x31, %rbp
ja 0x1fe0
movq %r13, %r12
addq $-0x2, %r12
leaq 0x135e(%rip), %r15      # 0x316a
je 0x1e48
movl $0x2, %r14d
movq %r12, %rbx
movq %r14, %rax
xorl %edx, %edx
divq %r13
leaq -0x1(%rdx), %rsi
movq 0x31a6(%rip), %rdi      # 0x4fd0
callq 0x1090
movl $0x1, %edx
movq %rax, %rdi
movq %r15, %rsi
callq 0x10f0
addq $0x2, %r14
decq %rbx
jne 0x1e17
leaq 0x2(%r12,%r12), %rax
xorl %edx, %edx
divq %r13
leaq -0x1(%rdx), %rsi
movq 0x3173(%rip), %rdi      # 0x4fd0
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
movq %r12, 0x20(%rsp)
testq %r12, %r12
je 0x1eee
movq %r13, %r14
shrq %rbp
negq %r14
movl $0x1, %ebx
leaq 0x12bf(%rip), %r12      # 0x316a
xorl %r15d, %r15d
leaq (%r14,%rbx), %rsi
cmpq %r15, %rbp
cmovaq %rbx, %rsi
movq 0x3110(%rip), %rdi      # 0x4fd0
callq 0x1090
movl $0x1, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0x10f0
leaq 0x1(%r14,%r15), %rax
incq %r15
addq $0x2, %rbx
cmpq $-0x2, %rax
jne 0x1eae
movq 0x20(%rsp), %r12
jmp 0x1ef0
xorl %ebp, %ebp
leaq (%r12,%r12), %rsi
movq %rsi, %r15
subq 0x18(%rsp), %rsi
orq $0x1, %r15
cmpq %r12, %rbp
cmovaq %r15, %rsi
movq 0x30c2(%rip), %rdi      # 0x4fd0
callq 0x1090
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
testq %r12, %r12
je 0x1f8f
leaq -0x2(%r13), %r14
movl $0x1, %ebx
xorl %r12d, %r12d
cmpq %r12, %rbp
movl $0x0, %ecx
movq %r13, %rax
movq %rbx, %rsi
cmovaq %rcx, %rax
subq %rax, %rsi
movq 0x3066(%rip), %rdi      # 0x4fd0
callq 0x1090
movl $0x1, %edx
leaq 0x11ef(%rip), %rsi      # 0x316a
movq %rax, %rdi
callq 0x10f0
incq %r12
addq $0x2, %rbx
cmpq %r12, %r14
jne 0x1f4e
cmpq 0x20(%rsp), %rbp
movl $0x0, %eax
cmovaq %rax, %r13
subq %r13, %r15
movq 0x3029(%rip), %rdi      # 0x4fd0
movq %r15, %rsi
callq 0x1090
leaq 0x1198(%rip), %rbx      # 0x314e
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x10c0
movsbl %al, %esi
movq %r14, %rdi
callq 0x1030
movq %rax, %rdi
callq 0x10a0
movq 0x10(%rsp), %rax
movb $0x4, %bpl
movb $0x8, %r12b
testq %rax, %rax
jne 0x1355
movq 0x2fcd(%rip), %rsi      # 0x4fc8
leaq 0x48(%rsp), %rdi
callq 0x1110
leaq 0xc0(%rsp), %rdi
callq 0x1050
xorl %eax, %eax
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rsi), %rdi
callq 0x128c
jmp 0x205d
leaq 0x38(%rsp), %rcx
movq %rax, %rbx
movq -0x10(%rcx), %rdi
cmpq %rcx, %rdi
je 0x207e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x10e0
jmp 0x207e
movq %rax, %rbx
jmp 0x207e
jmp 0x205d
jmp 0x205d
jmp 0x205d
jmp 0x205d
movq 0x2f64(%rip), %rsi      # 0x4fc8
leaq 0x48(%rsp), %rdi
movq %rax, %rbx
callq 0x1110
leaq 0xc0(%rsp), %rdi
callq 0x1050
movq %rbx, %rdi
callq 0x1150