// File: /workspace/github_cpp_makefile_star2_O1/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 $0x1b8, %rsp            # imm = 0x1B8
cmpl $0x2, %edi
jne 0x200f
movq 0x8(%rsi), %rsi
leaq 0x18(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x1060
leaq 0x38(%rsp), %rdi
leaq 0x18(%rsp), %rsi
movl $0x8, %edx
callq 0x1140
leaq 0x28(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x132b
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x10e0
leaq 0x38(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x1080
movq 0x8(%rsp), %rax
testq %rax, %rax
je 0x1fdd
leaq 0x1dff(%rip), %rbx      # 0x314e
movb $0x4, %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 0x135e
movl $0x4, %edx
movq 0x3c52(%rip), %rdi      # 0x4fd0
leaq 0x1d78(%rip), %rsi      # 0x30fd
callq 0x10f0
movq 0x8(%rsp), %rsi
movq 0x3c3a(%rip), %rdi      # 0x4fd0
callq 0x1090
movq %rax, %r14
movl $0x6, %edx
movq %rax, %rdi
leaq 0x1d55(%rip), %rsi      # 0x3102
callq 0x10f0
movq %r14, %rdi
movq %r15, %rsi
callq 0x1090
movq %rax, %r14
movl $0x8, %edx
movq %rax, %rdi
leaq 0x1d3a(%rip), %rsi      # 0x3109
callq 0x10f0
movq %r14, %rdi
movq %r13, %rsi
callq 0x1090
movq %rax, %r14
movl $0x6, %edx
movq %rax, %rdi
leaq 0x1d21(%rip), %rsi      # 0x3112
callq 0x10f0
leaq -0x1(%r13), %rbp
movq %r14, %rdi
movq %rbp, %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
subq %rbp, 0x8(%rsp)
callq 0x1040
movq %rax, %rdi
testq %rbp, %rbp
je 0x1604
leaq 0x1(%r13), %rcx
shrq %rcx
leaq 0x6(%r13), %rsi
andq $-0x8, %rsi
leaq -0x2(%r13), %rax
vpbroadcastq %rax, %zmm0
vpxor %xmm3, %xmm3, %xmm3
vpmovsxbq 0x1c74(%rip), %zmm2 # 0x30e0
vpternlogd $0xff, %zmm4, %zmm4, %zmm4
vmovdqa64 %zmm3, %zmm1
vpcmpleuq %zmm0, %zmm2, %k1
kmovd %k1, %eax
vpsubq %zmm4, %zmm2, %zmm4
testb $0x1, %al
je 0x14a1
vmovq %xmm4, %rax
imulq %rcx, %rax
xorl %edx, %edx
divq %r13
vmovq %rdx, %xmm3
kmovd %k1, %eax
testb $0x2, %al
je 0x14c5
vpextrq $0x1, %xmm4, %rax
imulq %rcx, %rax
xorl %edx, %edx
divq %r13
vpinsrq $0x1, %rdx, %xmm3, %xmm5
vinserti32x4 $0x0, %xmm5, %zmm3, %zmm3
kmovd %k1, %eax
testb $0x4, %al
je 0x14ec
vextracti128 $0x1, %ymm4, %xmm5
vmovq %xmm5, %rax
imulq %rcx, %rax
xorl %edx, %edx
divq %r13
kmovd %r12d, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x8, %al
je 0x1515
vextracti128 $0x1, %ymm4, %xmm5
vpextrq $0x1, %xmm5, %rax
imulq %rcx, %rax
xorl %edx, %edx
divq %r13
movb $0x8, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
vextracti32x4 $0x2, %zmm4, %xmm5
testb $0x10, %al
je 0x153e
vmovq %xmm5, %rax
imulq %rcx, %rax
xorl %edx, %edx
divq %r13
movb $0x10, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x20, %al
je 0x1561
vpextrq $0x1, %xmm5, %rax
imulq %rcx, %rax
xorl %edx, %edx
divq %r13
movb $0x20, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
vextracti32x4 $0x3, %zmm4, %xmm4
testb $0x40, %al
je 0x158a
vmovq %xmm4, %rax
imulq %rcx, %rax
xorl %edx, %edx
divq %r13
movb $0x40, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $-0x80, %al
je 0x15ad
vpextrq $0x1, %xmm4, %rax
imulq %rcx, %rax
xorl %edx, %edx
divq %r13
movb $-0x80, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
vpaddq %zmm3, %zmm1, %zmm3
vpternlogd $0xff, %zmm4, %zmm4, %zmm4
vpaddq %zmm4, %zmm3, %zmm3
vpaddq 0x1af6(%rip){1to8}, %zmm2, %zmm2 # 0x30c0
addq $-0x8, %rsi
jne 0x1473
movq %rdi, %r12
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 0x160a
movq %rdi, %r12
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r15
movl $0xd, %edx
movq 0x39af(%rip), %rdi      # 0x4fd0
leaq 0x1af1(%rip), %rsi      # 0x3119
callq 0x10f0
subq %r12, %r15
vcvtsi2sd %r15, %xmm6, %xmm0
vdivsd 0x1a8b(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x398c(%rip), %rdi      # 0x4fd0
callq 0x1130
movq %rax, %r15
movl $0x1, %edx
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 0x1747
movq %rbp, %rcx
shrq %rcx
leaq 0x6(%r13), %rax
andq $-0x8, %rax
leaq -0x2(%r13), %rdx
vpbroadcastq %rdx, %zmm0
vpbroadcastq %rcx, %zmm2
vpxor %xmm1, %xmm1, %xmm1
vpmovsxbq 0x1a12(%rip), %zmm5 # 0x30e0
vpbroadcastq 0x19e8(%rip), %zmm6 # 0x30c0
vpbroadcastq 0x19ee(%rip), %zmm7 # 0x30d0
vmovdqa64 %zmm5, %zmm4
vmovdqa64 %zmm1, %zmm3
vptestnmq %zmm7, %zmm5, %k1
vpsrlq $0x1, %zmm5, %zmm1
vpaddq %zmm1, %zmm3, %zmm1
vpaddq %zmm2, %zmm1, %zmm1 {%k1}
vpaddq %zmm6, %zmm5, %zmm5
addq $-0x8, %rax
jne 0x16e2
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 0x174a
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movl $0xd, %edx
movq 0x386f(%rip), %rdi      # 0x4fd0
leaq 0x19bf(%rip), %rsi      # 0x3127
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm8, %xmm0
vdivsd 0x194b(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x384c(%rip), %rdi      # 0x4fd0
callq 0x1130
movq %rax, %r15
movl $0x1, %edx
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 0x1887
movq %rbp, %rcx
shrq %rcx
leaq 0x6(%r13), %rax
andq $-0x8, %rax
leaq -0x2(%r13), %rdx
vpbroadcastq %rdx, %zmm0
vpbroadcastq %rcx, %zmm2
vpxor %xmm1, %xmm1, %xmm1
vpmovsxbq 0x18d2(%rip), %zmm5 # 0x30e0
vpbroadcastq 0x18a8(%rip), %zmm6 # 0x30c0
vpbroadcastq 0x18ae(%rip), %zmm7 # 0x30d0
vmovdqa64 %zmm5, %zmm4
vmovdqa64 %zmm1, %zmm3
vpsrlq $0x1, %zmm5, %zmm1
vptestnmq %zmm7, %zmm5, %k1
vpaddq %zmm1, %zmm3, %zmm1
vpaddq %zmm2, %zmm1, %zmm1 {%k1}
vpaddq %zmm6, %zmm5, %zmm5
addq $-0x8, %rax
jne 0x1822
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 0x188a
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movl $0xd, %edx
movq 0x372f(%rip), %rdi      # 0x4fd0
leaq 0x188d(%rip), %rsi      # 0x3135
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm8, %xmm0
vdivsd 0x180b(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x370c(%rip), %rdi      # 0x4fd0
callq 0x1130
movq %rax, %r15
movl $0x1, %edx
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 0x1ac7
leaq 0x6(%r13), %rcx
andq $-0x8, %rcx
leaq -0x2(%r13), %rax
vpbroadcastq %rax, %zmm0
vpxor %xmm3, %xmm3, %xmm3
vpmovsxbq 0x179e(%rip), %zmm2 # 0x30e0
movb $0x4, %sil
vmovdqa64 %zmm3, %zmm1
vpcmpleuq %zmm0, %zmm2, %k1
kmovd %k1, %eax
vpaddq %zmm2, %zmm2, %zmm3
vpaddq 0x1772(%rip){1to8}, %zmm3, %zmm4 # 0x30d8
testb $0x1, %al
je 0x1979
vmovq %xmm4, %rax
xorl %edx, %edx
divq %r13
vmovq %rdx, %xmm3
kmovd %k1, %eax
testb $0x2, %al
je 0x1999
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 0x19bb
vextracti128 $0x1, %ymm4, %xmm5
vmovq %xmm5, %rax
xorl %edx, %edx
divq %r13
kmovd %esi, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x8, %al
je 0x19e0
vextracti128 $0x1, %ymm4, %xmm5
vpextrq $0x1, %xmm5, %rax
xorl %edx, %edx
divq %r13
movb $0x8, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x10, %al
je 0x1a05
vextracti32x4 $0x2, %zmm4, %xmm5
vmovq %xmm5, %rax
xorl %edx, %edx
divq %r13
movb $0x10, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x20, %al
je 0x1a2b
vextracti32x4 $0x2, %zmm4, %xmm5
vpextrq $0x1, %xmm5, %rax
xorl %edx, %edx
divq %r13
movb $0x20, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $0x40, %al
je 0x1a50
vextracti32x4 $0x3, %zmm4, %xmm5
vmovq %xmm5, %rax
xorl %edx, %edx
divq %r13
movb $0x40, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
kmovd %k1, %eax
testb $-0x80, %al
je 0x1a76
vextracti32x4 $0x3, %zmm4, %xmm4
vpextrq $0x1, %xmm4, %rax
xorl %edx, %edx
divq %r13
movb $-0x80, %al
kmovd %eax, %k2
vpbroadcastq %rdx, %zmm3 {%k2}
vpaddq %zmm3, %zmm1, %zmm3
vpaddq 0x1662(%rip){1to8}, %zmm3, %zmm3 # 0x30e8
vpaddq 0x1630(%rip){1to8}, %zmm2, %zmm2 # 0x30c0
addq $-0x8, %rcx
jne 0x1945
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 0x1aca
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movl $0xc, %edx
movq 0x34ef(%rip), %rdi      # 0x4fd0
leaq 0x165b(%rip), %rsi      # 0x3143
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm8, %xmm0
vdivsd 0x15cb(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x34cc(%rip), %rdi      # 0x4fd0
callq 0x1130
movq %rax, %r15
movl $0x1, %edx
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 0x1c13
movq %rbp, %rcx
shrq %rcx
leaq 0x6(%r13), %rax
andq $-0x8, %rax
leaq -0x2(%r13), %rdx
vpbroadcastq %rdx, %zmm0
vpbroadcastq %rcx, %zmm1
vpbroadcastq %rbp, %zmm2
vpxor %xmm4, %xmm4, %xmm4
vpmovsxbq 0x154c(%rip), %zmm6 # 0x30e0
vpbroadcastq 0x1522(%rip), %zmm7 # 0x30c0
vpbroadcastq 0x1528(%rip), %zmm8 # 0x30d0
vmovdqa64 %zmm4, %zmm3
vmovdqa64 %zmm6, %zmm5
vpcmpnleuq %zmm6, %zmm1, %k1
vpaddq %zmm6, %zmm6, %zmm4
vpsubq %zmm2, %zmm4, %zmm6
vporq %zmm8, %zmm4, %zmm6 {%k1}
vpaddq %zmm3, %zmm6, %zmm4
vpaddq %zmm7, %zmm5, %zmm6
addq $-0x8, %rax
jne 0x1ba8
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 0x1c16
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movl $0xc, %edx
movq 0x33a3(%rip), %rdi      # 0x4fd0
leaq 0x151c(%rip), %rsi      # 0x3150
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm9, %xmm0
vdivsd 0x147f(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x3380(%rip), %rdi      # 0x4fd0
callq 0x1130
movq %rax, %r15
movl $0x1, %edx
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 0x1d5c
movq %rbp, %rcx
shrq %rcx
leaq 0x6(%r13), %rax
andq $-0x8, %rax
leaq -0x2(%r13), %rdx
vpbroadcastq %rdx, %zmm0
vpbroadcastq %rcx, %zmm1
vpbroadcastq %r13, %zmm2
vpxor %xmm3, %xmm3, %xmm3
vpmovsxbq 0x1400(%rip), %zmm6 # 0x30e0
vpternlogd $0xff, %zmm7, %zmm7, %zmm7
vpbroadcastq 0x13cf(%rip), %zmm8 # 0x30c0
vmovdqa64 %zmm3, %zmm4
vmovdqa64 %zmm6, %zmm5
vpaddq %zmm6, %zmm6, %zmm3
vpcmpleuq %zmm6, %zmm1, %k1
vpaddq %zmm3, %zmm4, %zmm3
vpsubq %zmm7, %zmm3, %zmm3
vpsubq %zmm2, %zmm3, %zmm3 {%k1}
vpaddq %zmm8, %zmm6, %zmm6
addq $-0x8, %rax
jne 0x1cf1
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 0x1d5f
xorl %r14d, %r14d
vzeroupper
callq 0x1040
movq %rax, %r12
movl $0xc, %edx
movq 0x325a(%rip), %rdi      # 0x4fd0
leaq 0x13e0(%rip), %rsi      # 0x315d
callq 0x10f0
subq %r15, %r12
vcvtsi2sd %r12, %xmm9, %xmm0
vdivsd 0x1336(%rip), %xmm0, %xmm0 # 0x30c8
movq 0x3237(%rip), %rdi      # 0x4fd0
callq 0x1130
movq %rax, %r15
movl $0x1, %edx
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 0x1fcc
movq %r13, %r15
addq $-0x2, %r15
je 0x1e37
movl $0x2, %r14d
movq %r15, %rbx
movq %r14, %rax
xorl %edx, %edx
divq %r13
leaq -0x1(%rdx), %rsi
movq 0x31bb(%rip), %rdi      # 0x4fd0
callq 0x1090
movl $0x1, %edx
movq %rax, %rdi
leaq 0x1341(%rip), %rsi      # 0x316a
callq 0x10f0
addq $0x2, %r14
decq %rbx
jne 0x1e02
leaq 0x2(%r15,%r15), %rax
xorl %edx, %edx
divq %r13
leaq -0x1(%rdx), %rsi
movq 0x3184(%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 %r15, 0x10(%rsp)
testq %r15, %r15
je 0x1ed6
movq %rbp, %r14
shrq %r14
movq %r13, %r15
negq %r15
movl $0x1, %ebx
xorl %r12d, %r12d
leaq (%r15,%rbx), %rsi
cmpq %r12, %r14
cmovaq %rbx, %rsi
movq 0x3125(%rip), %rdi      # 0x4fd0
callq 0x1090
movl $0x1, %edx
movq %rax, %rdi
leaq 0x12ab(%rip), %rsi      # 0x316a
callq 0x10f0
leaq 0x1(%r15,%r12), %rax
incq %r12
addq $0x2, %rbx
cmpq $-0x2, %rax
jne 0x1e99
movq 0x10(%rsp), %rbx
leaq (%rbx,%rbx), %rsi
movq %rsi, %r15
orq $0x1, %r15
subq %rbp, %rsi
shrq %rbp
cmpq %rbx, %rbp
cmovaq %r15, %rsi
movq 0x30d6(%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 %rbx, %rbx
je 0x1f7b
leaq -0x2(%r13), %r14
movl $0x1, %ebx
xorl %r12d, %r12d
cmpq %r12, %rbp
movq %r13, %rax
movl $0x0, %ecx
cmovaq %rcx, %rax
movq %rbx, %rsi
subq %rax, %rsi
movq 0x307a(%rip), %rdi      # 0x4fd0
callq 0x1090
movl $0x1, %edx
movq %rax, %rdi
leaq 0x1200(%rip), %rsi      # 0x316a
callq 0x10f0
incq %r12
addq $0x2, %rbx
cmpq %r12, %r14
jne 0x1f3a
cmpq 0x10(%rsp), %rbp
movl $0x0, %eax
cmovaq %rax, %r13
subq %r13, %r15
movq 0x303d(%rip), %rdi      # 0x4fd0
movq %r15, %rsi
callq 0x1090
leaq 0x11ac(%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 0x8(%rsp), %rax
testq %rax, %rax
movb $0x4, %r12b
jne 0x1352
movq 0x2fe4(%rip), %rsi      # 0x4fc8
leaq 0x38(%rsp), %rdi
callq 0x1110
leaq 0xb0(%rsp), %rdi
callq 0x1050
xorl %eax, %eax
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rsi), %rdi
callq 0x128c
jmp 0x2046
movq %rax, %rbx
leaq 0x28(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2067
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x10e0
jmp 0x2067
movq %rax, %rbx
jmp 0x2067
jmp 0x2046
jmp 0x2046
jmp 0x2046
jmp 0x2046
movq %rax, %rbx
movq 0x2f78(%rip), %rsi      # 0x4fc8
leaq 0x38(%rsp), %rdi
callq 0x1110
leaq 0xb0(%rsp), %rdi
callq 0x1050
movq %rbx, %rdi
callq 0x1150