// File: /workspace/github_c_makefile_star2_O2/aligrudi[P]gpss/gpss.c
// Function: main
int main(int argc, char *argv[])
{
	int P[NPT];
	int C1[NPT];
	int S1[NPT];
	int S2[NPT];
	int S3[NPT];
	int S4[NPT];
	int c1;
	int n1, n2, n3, n4;
	int rep = 0;		/* report the set of removed points */
	int i;
	for (i = 1; i < argc && argv[i][0] == '-'; i++) {
		if (argv[i][1] == 'r')
			rep = atoi(argv[i][2] ? argv[i] + 2 : argv[++i]);
	}
	data_read(stdin);
	for (i = 0; i < pt_n; i++)
		P[i] = i;
	c1 = gpss_linecover(C1, P);
	n1 = gpss_greedy(S1, P);
	n2 = gpss_greedymin(S2, P);
	n3 = gpss_greedymax(S3, P);
	n4 = gpss_main(S4, P);
	if (rep == 1)
		report(S1, n1);
	if (rep == 2)
		report(S2, n1);
	if (rep == 3)
		report(S3, n1);
	if (rep == 4)
		report(S4, n1);
	if (rep == 5)
		report(C1, c1);
	if (rep == 0)
		printf("%4d %8d %8d %8d %8d\n", pt_n, n4, n1, n2, n3);
	data_free();
	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x3a9e8, %rsp          # imm = 0x3A9E8
movq %rsi, %rbx
movl %edi, %ebp
pushq $0x1
popq %r14
xorl %eax, %eax
cmpl %ebp, %r14d
jge 0x11fd
movslq %r14d, %rcx
movq (%rbx,%rcx,8), %rdi
cmpb $0x2d, (%rdi)
jne 0x11fd
cmpb $0x72, 0x1(%rdi)
jne 0x11f8
cmpb $0x0, 0x2(%rdi)
je 0x11eb
addq $0x2, %rdi
jmp 0x11f3
incl %r14d
movq 0x8(%rbx,%rcx,8), %rdi
callq 0x10a0
incl %r14d
jmp 0x11c8
movl %eax, 0x4c(%rsp)
movq 0x3dd8(%rip), %rax      # 0x4fe0
movq (%rax), %r14
leaq 0x60(%rsp), %rdi
xorl %r12d, %r12d
movl $0x9c40, %edx           # imm = 0x9C40
xorl %esi, %esi
callq 0x1070
leaq 0x1e0c(%rip), %rsi      # 0x3032
leaq 0x3e47(%rip), %rdx      # 0x5074
movq %r14, %rdi
xorl %eax, %eax
callq 0x1050
cmpl $0x1, %eax
jne 0x1413
movslq 0x3e2d(%rip), %r13      # 0x5074
leaq (,%r13,8), %rdi
callq 0x1090
movq %rax, 0x3e1d(%rip)      # 0x5078
movq %r13, %rdi
shlq $0x2, %rdi
callq 0x1090
movq %rax, %rbx
movq %rax, 0x3e0f(%rip)      # 0x5080
leaq 0x1dba(%rip), %r15      # 0x3032
xorl %ebp, %ebp
movslq %r13d, %rax
cmpq %rax, %rbp
jge 0x1307
leaq (%rbx,%rbp,4), %rdx
movq %r14, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x1050
movq 0x3de2(%rip), %rax      # 0x5080
movslq (%rax,%rbp,4), %rdi
shlq $0x2, %rdi
callq 0x1090
movq 0x3dc6(%rip), %rcx      # 0x5078
movq %rax, (%rcx,%rbp,8)
pushq $-0x1
popq %r13
xorl %edx, %edx
movq 0x3dbd(%rip), %rbx      # 0x5080
movslq (%rbx,%rbp,4), %rax
incq %r13
cmpq %rax, %r13
jge 0x12f8
leaq 0x4(%rdx), %rbx
movq 0x3d9e(%rip), %rax      # 0x5078
addq (%rax,%rbp,8), %rdx
movq %r14, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x1050
movq %rbx, %rdx
cmpl $0x1, %eax
je 0x12bc
jmp 0x1413
incq %rbp
movl 0x3d72(%rip), %r13d     # 0x5074
jmp 0x127a
movl $0x13880, %edi          # imm = 0x13880
callq 0x1090
movq %rax, %r14
movq %rax, 0x3d6d(%rip)      # 0x5088
movl $0x9c40, %edi           # imm = 0x9C40
callq 0x1090
movq %rax, %r15
movq %rax, 0x3d61(%rip)      # 0x5090
movq 0x3d42(%rip), %rbp      # 0x5078
xorl %eax, %eax
testl %r13d, %r13d
movl $0x0, %ecx
cmovgl %r13d, %ecx
xorl %edx, %edx
cmpq %rcx, %rdx
je 0x1371
movl (%rbx,%rdx,4), %esi
testl %esi, %esi
cmovlel %eax, %esi
xorl %edi, %edi
cmpq %rdi, %rsi
je 0x136c
movq (%rbp,%rdx,8), %r8
movslq (%r8,%rdi,4), %r8
incl (%r15,%r8,4)
incq %rdi
jmp 0x1355
incq %rdx
jmp 0x1346
xorl %eax, %eax
cmpq $0x2710, %rax           # imm = 0x2710
je 0x1390
cmpl $0x0, (%r15,%rax,4)
je 0x138b
leal 0x1(%rax), %ecx
movl %ecx, 0x3ce5(%rip)      # 0x5070
incq %rax
jmp 0x1373
movq %r13, 0x10(%rsp)
movl 0x3cd5(%rip), %eax      # 0x5070
xorl %r13d, %r13d
testl %eax, %eax
cmovlel %r13d, %eax
movq %rax, 0x18(%rsp)
cmpq %r13, 0x18(%rsp)
je 0x13cb
movslq (%r15,%r13,4), %rdi
testq %rdi, %rdi
je 0x13c6
shlq $0x2, %rdi
callq 0x1090
movq %rax, (%r14,%r13,8)
incq %r13
jmp 0x13a9
xorl %eax, %eax
movq 0x10(%rsp), %rcx
movslq %ecx, %rcx
cmpq %rcx, %rax
jge 0x1413
xorl %ecx, %ecx
movslq (%rbx,%rax,4), %rdx
cmpq %rdx, %rcx
jge 0x1408
movq (%rbp,%rax,8), %rdx
movslq (%rdx,%rcx,4), %rdx
movq (%r14,%rdx,8), %rsi
movslq 0x60(%rsp,%rdx,4), %rdi
leal 0x1(%rdi), %r8d
movl %r8d, 0x60(%rsp,%rdx,4)
movl %eax, (%rsi,%rdi,4)
incq %rcx
jmp 0x13dc
incq %rax
movl 0x3c63(%rip), %ecx      # 0x5074
jmp 0x13d2
movslq 0x3c56(%rip), %rbx      # 0x5070
testl %ebx, %ebx
movl $0x0, %eax
cmovgl %ebx, %eax
cmpq %r12, %rax
je 0x1433
movl %r12d, 0x60(%rsp,%r12,4)
incq %r12
jmp 0x1424
movq %rax, 0x8(%rsp)
movslq 0x3c35(%rip), %r14      # 0x5074
pushq $0x4
popq %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0x1080
movq %rax, %r12
movq %rbx, 0x20(%rsp)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1080
movq %rax, %r13
movq 0x3c25(%rip), %r15      # 0x5090
movq 0x3c16(%rip), %rbx      # 0x5088
movq 0x3c07(%rip), %rax      # 0x5080
movq %rax, 0x18(%rsp)
movq 0x3bf3(%rip), %rbp      # 0x5078
movq %r14, %rax
testl %eax, %eax
movl $0x0, %r14d
movq %rax, 0x30(%rsp)
cmovgl %eax, %r14d
movq $0x0, 0x28(%rsp)
movq %r15, 0x10(%rsp)
movq 0x30(%rsp), %rdi
pushq $0x4
popq %rsi
callq 0x1080
xorl %ecx, %ecx
movq 0x8(%rsp), %r10
cmpq %r10, %rcx
je 0x1516
movl (%r15,%rcx,4), %esi
xorl %r8d, %r8d
testl %esi, %esi
movl $0x0, %edx
cmovgl %esi, %edx
xorl %edi, %edi
cmpq %r8, %rdx
je 0x14ed
movq (%rbx,%rcx,8), %r9
movslq (%r9,%r8,4), %r9
cmpl $0x1, (%r12,%r9,4)
sbbl $-0x1, %edi
incq %r8
jmp 0x14d3
cmpl $0x1, %esi
jne 0x14f6
testl %edi, %edi
je 0x1547
testl %edi, %edi
je 0x14ff
incq %rcx
jmp 0x14bb
xorl %esi, %esi
cmpq %rsi, %rdx
je 0x14fa
movq (%rbx,%rcx,8), %rdi
movslq (%rdi,%rsi,4), %rdi
incl (%rax,%rdi,4)
incq %rsi
jmp 0x1501
xorl %ecx, %ecx
pushq $-0x1
popq %r15
cmpq %rcx, %r14
je 0x153d
movl (%rax,%rcx,4), %edx
testl %edx, %edx
jle 0x1538
testl %r15d, %r15d
js 0x1535
movl %r15d, %esi
cmpl (%rax,%rsi,4), %edx
jl 0x1538
movl %ecx, %r15d
incq %rcx
jmp 0x151c
movq %rax, %rdi
callq 0x1030
jmp 0x155c
movq (%rbx,%rcx,8), %rax
movslq (%rax), %rcx
xorl %edx, %edx
cmpl $0x0, (%r12,%rcx,4)
setne %dl
movl (%rax,%rdx,4), %r15d
testl %r15d, %r15d
movq 0x28(%rsp), %rdi
js 0x15bb
movl %r15d, %eax
movl $0x1, (%r12,%rax,4)
movl %r15d, 0x138e0(%rsp,%rdi,4)
movq 0x18(%rsp), %rcx
movl (%rcx,%rax,4), %ecx
testl %ecx, %ecx
movl $0x0, %edx
cmovlel %edx, %ecx
xorl %edx, %edx
movq 0x10(%rsp), %r15
cmpq %rdx, %rcx
je 0x15ae
movq (%rbp,%rax,8), %rsi
movslq (%rsi,%rdx,4), %rsi
movl $0x1, (%r13,%rsi,4)
incq %rdx
jmp 0x1592
incq %rdi
movq %rdi, 0x28(%rsp)
jmp 0x14a7
movl %edi, %eax
xorl %ecx, %ecx
pushq $0x1
popq %rdx
xorl %esi, %esi
xorl %r14d, %r14d
cmpq %rax, %rsi
je 0x163d
movl 0x138e0(%rsp,%rsi,4), %r9d
movslq %r9d, %rdi
movq 0x18(%rsp), %r8
movl (%r8,%rdi,4), %r8d
testl %r8d, %r8d
cmovlel %ecx, %r8d
xorl %r11d, %r11d
movl %edx, %r10d
cmpq %r11, %r8
je 0x160a
movq (%rbp,%rdi,8), %r15
movslq (%r15,%r11,4), %r15
cmpl $0x1, (%r13,%r15,4)
cmovel %ecx, %r10d
incq %r11
jmp 0x15ed
testl %r10d, %r10d
je 0x162a
xorl %r9d, %r9d
cmpq %r9, %r8
je 0x1638
movq (%rbp,%rdi,8), %r10
movslq (%r10,%r9,4), %r10
decl (%r13,%r10,4)
incq %r9
jmp 0x1612
movslq %r14d, %rdi
incl %r14d
movl %r9d, 0x138e0(%rsp,%rdi,4)
incq %rsi
jmp 0x15c7
xorl %eax, %eax
xorl %r15d, %r15d
movq 0x8(%rsp), %rcx
cmpq %rax, %rcx
je 0x165b
cmpl $0x1, (%r13,%rax,4)
adcl $0x0, %r15d
incq %rax
jmp 0x1647
movq %r12, %rdi
callq 0x1030
movq %r13, %rdi
callq 0x1030
leal (%r15,%r14,2), %eax
movl %eax, 0x48(%rsp)
pushq $0x4
popq %rsi
movq 0x20(%rsp), %rdi
callq 0x1080
movq 0x8(%rsp), %rdi
xorl %ecx, %ecx
movq 0x10(%rsp), %r11
cmpq %rdi, %rcx
je 0x1754
xorl %edx, %edx
movq 0x20(%rsp), %r9
cmpq %r9, %rdx
je 0x174f
movl 0x60(%rsp,%rdx,4), %esi
movslq %esi, %r8
cmpl $0x0, (%rax,%r8,4)
jne 0x172d
movl (%r11,%r8,4), %edi
testl %edi, %edi
movl $0x0, %r9d
cmovgl %edi, %r9d
xorl %r10d, %r10d
cmpq %r9, %r10
je 0x171e
movq (%rbx,%r8,8), %r11
movslq (%r11,%r10,4), %r11
movq 0x18(%rsp), %r14
movl (%r14,%r11,4), %r14d
xorl %r15d, %r15d
testl %r14d, %r14d
cmovlel %r15d, %r14d
xorl %r12d, %r12d
cmpq %r15, %r14
je 0x1706
movq (%rbp,%r11,8), %r13
movslq (%r13,%r15,4), %r13
cmpl $0x1, (%rax,%r13,4)
sbbl $-0x1, %r12d
incq %r15
jmp 0x16e9
cmpl $0x1, %r12d
ja 0x1716
incq %r10
movq 0x10(%rsp), %r11
jmp 0x16c6
movl %r10d, %r9d
movq 0x10(%rsp), %r11
cmpl %edi, %r9d
movq 0x8(%rsp), %rdi
movq 0x20(%rsp), %r9
je 0x1735
incq %rdx
jmp 0x169c
testl %esi, %esi
js 0x174f
movl $0x1, (%rax,%rsi,4)
movl %esi, 0x30da0(%rsp,%rcx,4)
incq %rcx
jmp 0x168c
movq %rcx, 0x8(%rsp)
movq %rax, %rdi
callq 0x1030
pushq $0x4
popq %rsi
movq 0x20(%rsp), %rdi
callq 0x1080
movq %rax, %rbx
leaq 0x27160(%rsp), %rdi
leaq 0x60(%rsp), %rsi
movq %rax, %rdx
callq 0x1cfa
movl %eax, 0x44(%rsp)
movq %rbx, %rdi
callq 0x1030
movslq 0x38dc(%rip), %rbx      # 0x5070
leaq (,%rbx,4), %rdi
callq 0x1090
movq %rax, %r8
xorl %eax, %eax
testl %ebx, %ebx
movl $0x0, %edx
movq %rbx, 0x38(%rsp)
cmovgl %ebx, %edx
cmpq %rax, %rdx
je 0x17c7
movl $0x1, (%r8,%rax,4)
incq %rax
jmp 0x17b5
movslq 0x38a6(%rip), %rax      # 0x5074
movq %rax, 0x58(%rsp)
movq 0x38b6(%rip), %rax      # 0x5090
movq %rax, 0x18(%rsp)
movq 0x38a2(%rip), %r14      # 0x5088
movl 0x38(%rsp), %eax
movq 0x388f(%rip), %r12      # 0x5080
movq 0x3880(%rip), %r13      # 0x5078
xorl %ecx, %ecx
movq %rdx, 0x28(%rsp)
movq %r8, 0x10(%rsp)
movq %rax, 0x50(%rsp)
cmpl %edx, %ecx
je 0x1999
movl %ecx, 0x30(%rsp)
movq 0x58(%rsp), %rdi
pushq $0x4
popq %rbp
movq %rbp, %rsi
callq 0x1080
movq %rax, %rbx
movq 0x38(%rsp), %r15
movq %r15, %rdi
movq %rbp, %rsi
callq 0x1080
movq %rax, %rbp
movq %r15, %rdi
pushq $0x4
popq %rsi
callq 0x1080
movq 0x50(%rsp), %r11
movq 0x10(%rsp), %r10
movq %rax, %r15
xorl %eax, %eax
cmpq %r11, %rax
je 0x188f
cmpl $0x0, (%r10,%rax,4)
je 0x188a
movq 0x18(%rsp), %rcx
movl (%rcx,%rax,4), %ecx
testl %ecx, %ecx
movl $0x0, %edx
cmovlel %edx, %ecx
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x188a
movq (%r14,%rax,8), %rsi
movslq (%rsi,%rdx,4), %rsi
incl (%rbx,%rsi,4)
incq %rdx
jmp 0x1875
incq %rax
jmp 0x1855
xorl %eax, %eax
cmpq %r11, %rax
je 0x1921
movl $0x1, (%r15,%rax,4)
cmpl $0x0, (%r10,%rax,4)
je 0x1919
movq 0x18(%rsp), %rcx
movl (%rcx,%rax,4), %ecx
testl %ecx, %ecx
movl $0x0, %edx
cmovlel %edx, %ecx
xorl %edx, %edx
cmpq %rdx, %rcx
je 0x18da
movq (%r14,%rax,8), %rsi
movslq (%rsi,%rdx,4), %rsi
cmpl $0x3, (%rbx,%rsi,4)
jl 0x18d5
andl $0x0, (%r15,%rax,4)
incq %rdx
jmp 0x18bd
xorl %edx, %edx
cmpq %rcx, %rdx
je 0x1919
movq (%r14,%rax,8), %rsi
movslq (%rsi,%rdx,4), %rsi
movl (%r12,%rsi,4), %edi
testl %edi, %edi
movl $0x0, %r8d
cmovlel %r8d, %edi
xorl %r8d, %r8d
cmpq %r8, %rdi
je 0x1914
movq (%r13,%rsi,8), %r9
movslq (%r9,%r8,4), %r9
incl (%rbp,%r9,4)
incq %r8
jmp 0x18fc
incq %rdx
jmp 0x18dc
incq %rax
jmp 0x1891
xorl %eax, %eax
pushq $-0x1
popq %rsi
movl %esi, %edi
cmpq %rax, %r11
je 0x1957
movl 0x60(%rsp,%rax,4), %ecx
movslq %ecx, %rdx
cmpl $0x0, (%r10,%rdx,4)
je 0x1952
cmpl $0x0, (%r15,%rdx,4)
jne 0x1952
testl %esi, %esi
js 0x1950
movl (%rbp,%rdx,4), %edx
cmpl (%rbp,%rdi,4), %edx
jle 0x1952
movl %ecx, %esi
incq %rax
jmp 0x1926
movq %rdi, 0x20(%rsp)
movq %rbx, %rdi
movl %esi, %ebx
callq 0x1030
movq %rbp, %rdi
callq 0x1030
movq %r15, %rdi
callq 0x1030
movq 0x10(%rsp), %r8
testl %ebx, %ebx
movq 0x28(%rsp), %rdx
movl 0x30(%rsp), %ecx
js 0x1999
movq 0x20(%rsp), %rsi
andl $0x0, (%r8,%rsi,4)
incl %ecx
jmp 0x1809
xorl %eax, %eax
xorl %esi, %esi
cmpq %rax, %rdx
je 0x19ba
cmpl $0x0, (%r8,%rax,4)
je 0x19b5
movslq %esi, %rcx
incl %esi
movl %eax, 0x1d520(%rsp,%rcx,4)
incq %rax
jmp 0x199d
movl %esi, 0x30(%rsp)
movq %r8, %rdi
callq 0x1030
pushq $0x4
popq %rsi
movq 0x38(%rsp), %rdi
callq 0x1080
movq 0x28(%rsp), %rsi
movq %rax, %r15
xorl %eax, %eax
xorl %ecx, %ecx
cmpq %rsi, %rcx
je 0x1a87
movq %rcx, 0x10(%rsp)
movslq 0x60(%rsp,%rcx,4), %rdx
movq 0x18(%rsp), %rcx
movl (%rcx,%rdx,4), %esi
xorl %r8d, %r8d
testl %esi, %esi
cmovlel %r8d, %esi
xorl %edi, %edi
xorl %r9d, %r9d
cmpq %rsi, %r8
je 0x1a54
movq (%r14,%rdx,8), %r10
movslq (%r10,%r8,4), %r10
movl (%r12,%r10,4), %r11d
testl %r11d, %r11d
cmovlel %eax, %r11d
xorl %ebx, %ebx
cmpq %rbx, %r11
je 0x1a4f
movq (%r13,%r10,8), %rbp
movslq (%rbp,%rbx,4), %rbp
movl (%r15,%rbp,4), %ebp
xorl %ecx, %ecx
cmpl $0x1, %ebp
sete %cl
addl %ecx, %edi
xorl %ecx, %ecx
cmpl $0x2, %ebp
sete %cl
addl %ecx, %r9d
incq %rbx
jmp 0x1a22
incq %r8
jmp 0x1a08
cmpl %r9d, %edi
movq 0x10(%rsp), %rcx
jle 0x1a66
movl $0x2, (%r15,%rdx,4)
cmpl %edi, %r9d
movq 0x28(%rsp), %rsi
jg 0x1a77
cmpl $0x0, (%r15,%rdx,4)
jne 0x1a7f
movl $0x1, (%r15,%rdx,4)
incq %rcx
jmp 0x19df
xorl %eax, %eax
cmpq %rax, %rsi
je 0x1aa6
movslq 0x60(%rsp,%rax,4), %rcx
xorl %edx, %edx
cmpl $0x1, (%r15,%rcx,4)
sete %dl
movl %edx, (%r15,%rcx,4)
incq %rax
jmp 0x1a89
leaq 0x9ca0(%rsp), %rsi
leaq 0x60(%rsp), %rdx
movq %r15, %rdi
callq 0x1f43
movl 0x35af(%rip), %ecx      # 0x5070
xorl %edx, %edx
testl %ecx, %ecx
cmovlel %edx, %ecx
cmpq %rdx, %rcx
je 0x1ae1
xorl %esi, %esi
cmpl $0x0, (%r15,%rdx,4)
sete %sil
movl %esi, (%r15,%rdx,4)
incq %rdx
jmp 0x1ac8
movslq %eax, %r14
leaq (%rsp,%r14,4), %rbx
addq $0x9ca0, %rbx           # imm = 0x9CA0
leaq 0x60(%rsp), %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0x1f43
movl %eax, %r12d
movslq 0x3567(%rip), %rdx      # 0x5070
shlq $0x2, %rdx
xorl %r13d, %r13d
movq %r15, %rdi
xorl %esi, %esi
callq 0x1070
addl %r12d, %r14d
testl %r14d, %r14d
movl $0x0, %eax
cmovgl %r14d, %eax
cmpq %r13, %rax
je 0x1b43
movslq 0x9ca0(%rsp,%r13,4), %rcx
movl $0x1, (%r15,%rcx,4)
incq %r13
jmp 0x1b29
movslq %r12d, %rax
leaq (%rbx,%rax,4), %rdi
leaq 0x60(%rsp), %rsi
movq %r15, %rdx
callq 0x1cfa
movl %eax, %ebx
movq %r15, %rdi
callq 0x1030
movl 0x4c(%rsp), %eax
cmpl $0x5, %eax
ja 0x1bd6
movl %eax, %eax
leaq 0x1491(%rip), %rcx      # 0x3004
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
addl %r14d, %ebx
movl 0x34eb(%rip), %esi      # 0x5070
leaq 0x1490(%rip), %rdi      # 0x301c
movl %ebx, %edx
movq 0x8(%rsp), %rcx
movl 0x44(%rsp), %r8d
movl 0x30(%rsp), %r9d
xorl %eax, %eax
callq 0x1060
jmp 0x1bd6
leaq 0x9ca0(%rsp), %rdi
jmp 0x1bcc
leaq 0x27160(%rsp), %rdi
jmp 0x1bcc
leaq 0x1d520(%rsp), %rdi
jmp 0x1bcc
leaq 0x30da0(%rsp), %rdi
movq 0x8(%rsp), %rsi
callq 0x1c5a
movq 0x349b(%rip), %rbx      # 0x5078
xorl %r14d, %r14d
movslq 0x348d(%rip), %rax      # 0x5074
cmpq %rax, %r14
jge 0x1bfa
movq (%rbx,%r14,8), %rdi
callq 0x1030
incq %r14
jmp 0x1be0
movl 0x346f(%rip), %r15d     # 0x5070
movq 0x3480(%rip), %r14      # 0x5088
xorl %r12d, %r12d
testl %r15d, %r15d
cmovlel %r12d, %r15d
cmpq %r12, %r15
je 0x1c25
movq (%r14,%r12,8), %rdi
callq 0x1030
incq %r12
jmp 0x1c12
movq %rbx, %rdi
callq 0x1030
movq %r14, %rdi
callq 0x1030
xorl %eax, %eax
addq $0x3a9e8, %rsp          # imm = 0x3A9E8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x138e0(%rsp), %rdi
movl 0x48(%rsp), %esi
jmp 0x1bd1