// File: /workspace/github_c_makefile_star2_O3/c-zhou[P]oatk/run_syncasm.c
// Function: main
int main(int argc, char *argv[])
{
    const char *opt_str = "k:s:c:a:D:t:v:o:Vh";
    ketopt_t opt = KETOPT_INIT;
    int c, k, s, bubble_size, tip_size, min_k_cov, n_threads;
    size_t m_data;
    double min_a_cov_f, weak_cross;
    char *out;
    int do_ec, do_unzip;
    FILE *fp_help = stderr;
    int ret = 0;

    sys_init();

    k = 1001;
    s = 31;
    min_k_cov = 3;
    min_a_cov_f = .35;
    n_threads = 1;
    bubble_size = 100000;
    tip_size = 10000;
    weak_cross = 0.3;
    m_data = 0;
    do_ec = 1;
    do_unzip = 3;
    out = "syncasm.asm";

    while ((c = ketopt(&opt, argc, argv, 1, opt_str, long_options)) >= 0) {
        if (c == 'k') k = atoi(opt.arg);
        else if (c == 's') s = atoi(opt.arg);
        else if (c == 'c') min_k_cov = atoi(opt.arg);
        else if (c == 'a') min_a_cov_f = atof(opt.arg);
        else if (c == 'D') {
            char *q;
            m_data = strtol(opt.arg, &q, 0);
            if (*q == 'k' || *q == 'K') m_data <<= 10;
            else if (*q == 'm' || *q == 'M') m_data <<= 20;
            else if (*q == 'g' || *q == 'G') m_data <<= 30;
        }
        else if (c == 't') n_threads = atoi(opt.arg);
        else if (c == 301) bubble_size = atoi(opt.arg);
        else if (c == 302) tip_size = atoi(opt.arg);
        else if (c == 303) weak_cross = atof(opt.arg);
        else if (c == 304) do_unzip = atoi(opt.arg);
        else if (c == 305) do_ec = 0;
        else if (c == 'o') {
            if (strcmp(opt.arg, "-") != 0)
                out = opt.arg;
        }
        else if (c == 'v') VERBOSE = atoi(opt.arg);
        else if (c == 'V') {
            puts(SYNCASM_VERSION);
            return 0;
        }
        else if (c == 'h') fp_help = stdout;
        else if (c == '?') {
            fprintf(stderr, "[E::%s] unknown option: \"%s\"\n", __func__, argv[opt.i - 1]);
            return 1;
        }
        else if (c == ':') {
            fprintf(stderr, "[E::%s] missing option: \"%s\"\n", __func__, argv[opt.i - 1]);
            return 1;
        }
    }

    if (argc == opt.ind || fp_help == stdout) {
        fprintf(fp_help, "\n");
        fprintf(fp_help, "Usage: syncasm [options] <target.fa[stq][.gz]> [...]\n");
        fprintf(fp_help, "Options:\n");
        fprintf(fp_help, "    -k INT               kmer size [%d]\n", k);
        fprintf(fp_help, "    -s INT               smer size (no larger than 31) [%d]\n", s);
        fprintf(fp_help, "    -c INT               minimum kmer coverage [%d]\n", min_k_cov);
        fprintf(fp_help, "    -a FLOAT             minimum arc coverage [%.2f]\n", min_a_cov_f);
        fprintf(fp_help, "    -D INT               maximum amount of data to use; suffix K/M/G recognized [%lu]\n", m_data);
        fprintf(fp_help, "    -t INT               number of threads [%d]\n", n_threads);
        fprintf(fp_help, "    -o FILE              prefix of output files [%s]\n", out);
        fprintf(fp_help, "    --max-bubble  INT    maximum bubble size for assembly graph clean [%d]\n", bubble_size);
        fprintf(fp_help, "    --max-tip     INT    maximum tip size for assembly graph clean [%d]\n", tip_size);
        fprintf(fp_help, "    --weak-cross  FLOAT  maximum relative edge coverage for weak crosslink clean [%.2f]\n", weak_cross);
        fprintf(fp_help, "    --unzip-round INT    maximum round of assembly graph unzipping [%d]\n", do_unzip);
        fprintf(fp_help, "    --no-read-ec         do not do read error correction\n");
        fprintf(fp_help, "    -v INT               verbose level [%d]\n", VERBOSE);
        fprintf(fp_help, "    --version            show version number\n");
        fprintf(fp_help, "\n");
        fprintf(fp_help, "Example: ./syncasm -k 1001 -c 50 -t 8 -o syncasm.asm hifi.fa.gz\n\n");
        return fp_help == stdout? 0 : 1;
    }

    ret = syncasm(argv + opt.ind, argc - opt.ind, m_data, k, s, bubble_size, tip_size, min_k_cov, min_a_cov_f, weak_cross, do_ec, do_unzip, n_threads, out, 0, VERBOSE);

    if (ret) {
        fprintf(stderr, "[E::%s] failed to constrcut assembly\n", __func__);
        exit(EXIT_FAILURE);
    }

    if (fflush(stdout) == EOF) {
        fprintf(stderr, "[E::%s] failed to write the results\n", __func__);
        exit(EXIT_FAILURE);
    }

    if (VERBOSE >= 0) {
        fprintf(stderr, "[M::%s] Version: %s\n", __func__, SYNCASM_VERSION);
        fprintf(stderr, "[M::%s] CMD:", __func__);
        int i;
        for (i = 0; i < argc; ++i)
            fprintf(stderr, " %s", argv[i]);
        fprintf(stderr, "\n[M::%s] Real time: %.3f sec; CPU: %.3f sec; Peak RSS: %.3f GB\n", __func__, realtime() - realtime0, cputime(), peakrss() / 1024.0 / 1024.0 / 1024.0);
    }

    return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movq %rsi, %r12
movl %edi, %ebx
movq 0x221a3(%rip), %rax     # 0x25ff0
movq (%rax), %r13
callq 0x1c92f
movq %rbx, %r10
cmpl $0x2, %r10d
jl 0x47da
leal -0x1(%r10), %eax
movl %eax, 0x94(%rsp)
movl %r10d, %ebx
negl %ebx
movq $0x0, 0x40(%rsp)
movl $0x3e9, 0x58(%rsp)      # imm = 0x3E9
movl $0x1f, 0x5c(%rsp)
movl $0x186a0, %r9d          # imm = 0x186A0
movl $0x2710, %eax           # imm = 0x2710
movq %rax, 0xa8(%rsp)
movsd 0x1b182(%rip), %xmm0    # 0x1f028
movsd 0x1b172(%rip), %xmm1    # 0x1f020
leaq 0x1b3dd(%rip), %r11     # 0x1f292
movl $0x1, %ebp
movl $0x3, %eax
movq %rax, 0x80(%rsp)
movl $0x1, %r15d
movl $0x3, %eax
movq %rax, 0xa0(%rsp)
movl $0x1, %esi
xorl %r8d, %r8d
movl $0x0, 0x60(%rsp)
movq %r12, 0x50(%rsp)
movq %rbx, 0x10(%rsp)
movq %r15, 0x8(%rsp)
movq %r11, %r15
movq %rbp, 0x88(%rsp)
movl %r9d, 0x4(%rsp)
movq %rsi, 0x70(%rsp)
movslq %esi, %rdx
leal (%r8,%r10), %ecx
subl %edx, %ecx
movl %edx, %eax
leaq (%rbx,%rax), %rsi
movq %rdx, %rbx
shlq $0x20, %rbx
leaq (%r12,%rdx,8), %rdi
movq %rdi, %rbp
xorl %r14d, %r14d
movq %r8, 0xb0(%rsp)
movl %r8d, %r12d
movq %rdx, 0xc8(%rsp)
movq %rdx, %r11
movq (%rdi,%r14,8), %r8
cmpb $0x2d, (%r8)
jne 0x3f55
cmpb $0x0, 0x1(%r8)
jne 0x3f7c
incq %r11
incl %r12d
incq %r14
movabsq $0x100000000, %r8       # imm = 0x100000000
addq %r8, %rbx
addq $0x8, %rbp
movl %esi, %r8d
addl %r14d, %r8d
jne 0x3f44
jmp 0x483d
sarq $0x1d, %rbx
movq 0x50(%rsp), %rcx
movq (%rcx,%rbx), %r9
cmpb $0x2d, (%r9)
jne 0x4ac3
leaq (%rax,%r14), %r8
movl 0xb0(%rsp), %ecx
leaq (%rcx,%r14), %rsi
movq %rsi, 0x18(%rsp)
movzbl 0x1(%r9), %esi
cmpl $0x2d, %esi
movsd %xmm1, 0x30(%rsp)
movq %r15, 0x20(%rsp)
movq 0x40(%rsp), %rdx
movsd %xmm0, 0x28(%rsp)
movq %r10, 0x78(%rsp)
movq %rdx, 0x40(%rsp)
movq %r8, 0x98(%rsp)
je 0x406c
testl %esi, %esi
je 0x4b00
movl 0x60(%rsp), %eax
cmpl $0x1, %eax
adcl $0x0, %eax
movl %eax, 0x60(%rsp)
movslq %eax, %r15
movq %r9, 0x38(%rsp)
movsbl (%r9,%r15), %esi
incq %r15
movl $0x13, %edx
leaq 0x1b270(%rip), %rdi     # 0x1f27f
movq %rsi, 0x68(%rsp)
callq 0x2220
testq %rax, %rax
je 0x41c0
cmpb $0x3a, 0x1(%rax)
movq 0x98(%rsp), %r8
jne 0x41f4
movq 0x38(%rsp), %rax
cmpb $0x0, (%rax,%r15)
movsd 0x30(%rsp), %xmm1
movq 0x20(%rsp), %r11
movq 0x78(%rsp), %r10
movq 0x40(%rsp), %rdx
movsd 0x28(%rsp), %xmm0
movq 0x18(%rsp), %rdi
je 0x4289
addq %r15, %rax
jmp 0x4254
movb 0x2(%r9), %sil
testb %sil, %sil
je 0x4b3a
leaq 0x2(%r9), %rdi
addq $0x3, %r9
xorl %edx, %edx
testb %sil, %sil
je 0x40a6
movzbl %sil, %eax
cmpl $0x3d, %eax
je 0x40a6
movb (%r9), %sil
incq %r9
movabsq $0x100000000, %rax      # imm = 0x100000000
addq %rax, %rdx
jmp 0x4083
movq %r14, 0xb8(%rsp)
movb %sil, 0x4f(%rsp)
movq %r9, 0x38(%rsp)
movq %r13, 0xc0(%rsp)
sarq $0x20, %rdx
xorl %ebx, %ebx
leaq 0x21c53(%rip), %r15     # 0x25d20
leaq 0x1b69d(%rip), %rsi     # 0x1f771
xorl %r13d, %r13d
movq %rdi, 0x60(%rsp)
movq %rdx, %r14
callq 0x20a0
xorl %ecx, %ecx
testl %eax, %eax
sete %cl
cmoveq %r15, %rbx
addl %ecx, %r13d
movq %r14, %rdx
movq 0x60(%rsp), %rdi
movq 0x10(%r15), %rsi
addq $0x10, %r15
testq %rsi, %rsi
jne 0x40dc
cmpl $0x1, %r13d
jne 0x416d
movl 0xc(%rbx), %eax
movq %rax, 0x68(%rsp)
movb 0x4f(%rsp), %al
cmpb $0x3d, %al
movq 0xc0(%rsp), %r13
movsd 0x30(%rsp), %xmm1
movq 0x20(%rsp), %r11
movq 0x78(%rsp), %r10
movq 0x40(%rsp), %rdx
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq 0x18(%rsp), %rdi
movq 0x98(%rsp), %r8
movq 0xb8(%rsp), %r14
jne 0x425b
movq 0x10(%rsp), %rbx
movq 0x38(%rsp), %rax
jmp 0x42ca
movl $0x3f, %eax
movq %rax, 0x68(%rsp)
xorl %eax, %eax
movq 0xc0(%rsp), %r13
movsd 0x30(%rsp), %xmm1
movq 0x20(%rsp), %r11
movq 0x78(%rsp), %r10
movq 0x40(%rsp), %rdx
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq 0x10(%rsp), %rbx
movq 0x18(%rsp), %rdi
movq 0x98(%rsp), %r8
movq 0xb8(%rsp), %r14
jmp 0x42ca
movl $0x3f, %eax
movq %rax, 0x68(%rsp)
movsd 0x30(%rsp), %xmm1
movq 0x20(%rsp), %r11
movq 0x78(%rsp), %r10
movq 0x40(%rsp), %rdx
movsd 0x28(%rsp), %xmm0
movq 0x18(%rsp), %rdi
movq 0x98(%rsp), %r8
jmp 0x4214
movsd 0x30(%rsp), %xmm1
movq 0x20(%rsp), %r11
movq 0x78(%rsp), %r10
movq 0x40(%rsp), %rdx
movsd 0x28(%rsp), %xmm0
movq 0x18(%rsp), %rdi
cmpl $-0x2, 0x60(%rsp)
jle 0x4252
movq 0x50(%rsp), %rax
movq (%rax,%rbx), %rax
movl %r15d, %ecx
cmpb $0x0, (%rax,%rcx)
je 0x4252
movl %r15d, 0x60(%rsp)
movl %r8d, %esi
movq $0x0, 0x38(%rsp)
movq 0x50(%rsp), %r12
movq 0x8(%rsp), %r15
movq 0x10(%rsp), %rbx
jmp 0x4349
xorl %eax, %eax
movq 0x8(%rsp), %r15
jmp 0x42c5
testb %al, %al
jne 0x42c3
cmpl $0x1, 0x8(%rbx)
jne 0x42c3
cmpl %r8d, 0x94(%rsp)
jle 0x42b9
movq 0x70(%rsp), %rax
leal (%rax,%r14), %r8d
incl %r8d
movslq %r8d, %rax
movq 0x50(%rsp), %rcx
movq (%rcx,%rax,8), %rax
jmp 0x42c5
cmpl %r8d, 0x94(%rsp)
movq 0x10(%rsp), %rbx
jle 0x458f
movq 0x70(%rsp), %rax
leal (%rax,%r14), %r8d
incl %r8d
movslq %r8d, %rax
movq 0x50(%rsp), %rcx
movq (%rcx,%rax,8), %rax
jmp 0x459b
movl $0x3a, %eax
movq %rax, 0x68(%rsp)
xorl %eax, %eax
movq 0x10(%rsp), %rbx
movq %rax, 0x38(%rsp)
leal 0x1(%r8), %esi
movl $0x0, 0x60(%rsp)
testl %edi, %edi
jle 0x4344
movq %r15, %r9
movq %rsi, %r15
movq 0xc8(%rsp), %rsi
addq %r14, %rsi
movl %edi, %eax
movslq %r8d, %rcx
movl %r12d, %r11d
negq %r11
movq 0x50(%rsp), %r12
movq %rsi, %rdx
movq (%r12,%rsi,8), %rsi
xorl %edi, %edi
movq -0x8(%rbp,%rdi,8), %r8
movq %r8, (%rbp,%rdi,8)
decq %rdi
cmpq %rdi, %r11
jne 0x4309
movq %rdx, %rdi
subq %rax, %rdi
movq %rsi, (%r12,%rdi,8)
leaq 0x1(%rdx), %rsi
addq $0x8, %rbp
cmpq %rcx, %rdx
jl 0x4300
movq %r15, %rsi
movq %r9, %r15
movq 0x20(%rsp), %r11
movq 0x40(%rsp), %rdx
jmp 0x4349
movq 0x50(%rsp), %r12
movq 0x68(%rsp), %rcx
testl %ecx, %ecx
movl 0x4(%rsp), %r9d
movq 0x88(%rsp), %rbp
js 0x4ae7
cmpl $0x62, %ecx
jg 0x43b9
cmpl $0x55, %ecx
jle 0x4427
cmpl $0x61, %ecx
jne 0x450f
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, 0x70(%rsp)
movl %r9d, %r15d
callq 0x20f0
movl %r15d, %r9d
movq 0x70(%rsp), %rsi
movq 0x8(%rsp), %r15
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movq 0x18(%rsp), %r8
jmp 0x47ca
leal -0x68(%rcx), %eax
cmpl $0xe, %eax
movq 0x18(%rsp), %r8
jbe 0x44d0
leal -0x12d(%rcx), %eax
cmpl $0x4, %eax
ja 0x453e
leaq 0x1ac94(%rip), %rcx     # 0x1f074
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x2420
movq 0x18(%rsp), %r8
movq %r15, %rsi
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movl %eax, %r9d
jmp 0x47ca
cmpl $0x44, %ecx
jne 0x4522
movq %rsi, %r15
movq %r10, %rbx
movq 0x38(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
xorl %edx, %edx
callq 0x22a0
movq %rax, 0x40(%rsp)
movq 0xd0(%rsp), %rax
movzbl (%rax), %eax
addl $-0x47, %eax
cmpl $0x26, %eax
ja 0x479a
movabsq $0x100000001, %rcx      # imm = 0x100000001
btq %rax, %rcx
movsd 0x30(%rsp), %xmm1
movq 0x20(%rsp), %r11
movq %rbx, %r10
movsd 0x28(%rsp), %xmm0
movq %r15, %rsi
movq 0x18(%rsp), %r8
movl 0x4(%rsp), %r9d
jb 0x44fa
movabsq $0x1000000010, %rcx     # imm = 0x1000000010
btq %rax, %rcx
movq 0x10(%rsp), %rbx
movq 0x8(%rsp), %r15
jb 0x44ef
movabsq $0x4000000040, %rcx     # imm = 0x4000000040
btq %rax, %rcx
jae 0x47ca
shlq $0x14, 0x40(%rsp)
jmp 0x47ca
leaq 0x1ab61(%rip), %rcx     # 0x1f038
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x21ae9(%rip), %rax     # 0x25fd0
movq (%rax), %r13
jmp 0x47ca
shlq $0xa, 0x40(%rsp)
jmp 0x47ca
shlq $0x1e, 0x40(%rsp)
movq 0x10(%rsp), %rbx
movq 0x8(%rsp), %r15
jmp 0x47ca
cmpl $0x56, %ecx
movq 0x18(%rsp), %r8
jne 0x47ca
jmp 0x4bb3
cmpl $0x3a, %ecx
movq 0x18(%rsp), %r8
je 0x4bc6
cmpl $0x3f, %ecx
jne 0x47ca
jmp 0x4be1
cmpl $0x63, %ecx
jne 0x47ca
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x2420
movl 0x4(%rsp), %r9d
movq 0x18(%rsp), %r8
movq %r15, %rsi
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movq %rax, 0xa0(%rsp)
jmp 0x47ca
movl $0x3a, %eax
movq %rax, 0x68(%rsp)
xorl %eax, %eax
movq 0x8(%rsp), %r15
jmp 0x42ca
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x2420
movl 0x4(%rsp), %r9d
movq 0x18(%rsp), %r8
movq %r15, %rsi
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movl %eax, 0x21cce(%rip)     # 0x262b4
jmp 0x47ca
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x2420
movl 0x4(%rsp), %r9d
movq 0x18(%rsp), %r8
movq %r15, %rsi
movsd 0x28(%rsp), %xmm0
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movl %eax, %r15d
jmp 0x47ca
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x2420
movl 0x4(%rsp), %r9d
movq 0x18(%rsp), %r8
movq %r15, %rsi
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movl %eax, 0x58(%rsp)
jmp 0x47ca
movq 0x38(%rsp), %rax
cmpb $0x2d, (%rax)
jne 0x47c7
cmpb $0x0, 0x1(%rax)
cmovneq %rax, %r11
jmp 0x47ca
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x2420
movl 0x4(%rsp), %r9d
movq 0x18(%rsp), %r8
movq %r15, %rsi
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movl %eax, 0x5c(%rsp)
jmp 0x47ca
xorl %ebp, %ebp
jmp 0x47ca
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x20f0
movl 0x4(%rsp), %r9d
movq 0x18(%rsp), %r8
movq %r15, %rsi
movq 0x8(%rsp), %r15
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movaps %xmm0, %xmm1
movsd 0x28(%rsp), %xmm0
jmp 0x47ca
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x2420
movl 0x4(%rsp), %r9d
movq 0x18(%rsp), %r8
movq %r15, %rsi
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movq %rax, 0x80(%rsp)
jmp 0x47ca
movq 0x38(%rsp), %rdi
movq %r10, %rbx
movq %rsi, %r15
callq 0x2420
movl 0x4(%rsp), %r9d
movq 0x18(%rsp), %r8
movq %r15, %rsi
movq 0x8(%rsp), %r15
movsd 0x28(%rsp), %xmm0
movq %rbx, %r10
movq 0x10(%rsp), %rbx
movq 0x20(%rsp), %r11
movsd 0x30(%rsp), %xmm1
movq %rax, 0xa8(%rsp)
jmp 0x47ca
movsd 0x30(%rsp), %xmm1
movq 0x20(%rsp), %r11
movq %rbx, %r10
movsd 0x28(%rsp), %xmm0
movq 0x10(%rsp), %rbx
movq %r15, %rsi
movq 0x8(%rsp), %r15
movq 0x18(%rsp), %r8
movl 0x4(%rsp), %r9d
jmp 0x47ca
movq %rax, %r11
cmpl %r10d, %esi
jl 0x3ef4
movl %esi, %eax
jmp 0x4ae0
xorl %edx, %edx
leaq 0x1aaaf(%rip), %r11     # 0x1f292
movsd 0x1a835(%rip), %xmm1    # 0x1f020
movsd 0x1a835(%rip), %xmm0    # 0x1f028
movl $0x1, %r15d
movl $0x3, %eax
movq %rax, 0xa0(%rsp)
movl $0x2710, %eax           # imm = 0x2710
movq %rax, 0xa8(%rsp)
movl $0x186a0, %r9d          # imm = 0x186A0
movl $0x1f, 0x5c(%rsp)
movl $0x3e9, 0x58(%rsp)      # imm = 0x3E9
movl $0x1, %ebp
movl $0x3, %r14d
xorl %ecx, %ecx
movl $0x1, %eax
jmp 0x4867
movl %r10d, %eax
movq 0x80(%rsp), %r14
movl 0x4(%rsp), %r9d
movq 0x50(%rsp), %r12
movq 0x88(%rsp), %rbp
movq %r15, %r11
movq 0x8(%rsp), %r15
movq 0x40(%rsp), %rdx
subl %ecx, %eax
movl %r10d, %esi
movq 0x2175d(%rip), %rbx     # 0x25fd0
subl %eax, %esi
je 0x48ed
cmpq (%rbx), %r13
je 0x48ed
movq %r10, %r13
cltq
leaq (%r12,%rax,8), %rdi
movl 0x21a29(%rip), %eax     # 0x262b4
movl 0x58(%rsp), %ecx
movl 0x5c(%rsp), %r8d
pushq %rax
pushq $0x0
pushq %r11
pushq %r15
pushq %r14
pushq %rbp
pushq 0xd0(%rsp)
pushq 0xe0(%rsp)
callq 0x37bc
addq $0x40, %rsp
testl %eax, %eax
jne 0x4c12
movq (%rbx), %rdi
callq 0x2320
cmpl $-0x1, %eax
je 0x4c17
xorl %ebp, %ebp
cmpl $0x0, 0x219dd(%rip)     # 0x262b4
js 0x4aaf
movq %r13, %rdi
movq %r12, %rsi
callq 0x273d
jmp 0x4aaf
movl $0xa, %edi
movq %r13, %rsi
movsd %xmm1, 0x30(%rsp)
movq %r11, %r12
movq %r15, %rbp
movq %rdx, %r15
movsd %xmm0, 0x28(%rsp)
movl %r9d, %ebx
callq 0x2210
leaq 0x1a9ca(%rip), %rdi     # 0x1f2e3
movl $0x35, %esi
movl $0x1, %edx
movq %r13, %rcx
callq 0x2460
leaq 0x1a9e7(%rip), %rdi     # 0x1f319
movl $0x9, %esi
movl $0x1, %edx
movq %r13, %rcx
callq 0x2460
leaq 0x1a9d8(%rip), %rsi     # 0x1f323
movq %r13, %rdi
movl 0x58(%rsp), %edx
xorl %eax, %eax
callq 0x2280
leaq 0x1a9ec(%rip), %rsi     # 0x1f34c
movq %r13, %rdi
movl 0x5c(%rsp), %edx
xorl %eax, %eax
callq 0x2280
leaq 0x1aa14(%rip), %rsi     # 0x1f389
movq %r13, %rdi
movq 0xa0(%rsp), %rdx
xorl %eax, %eax
callq 0x2280
leaq 0x1aa30(%rip), %rsi     # 0x1f3be
movq %r13, %rdi
movsd 0x28(%rsp), %xmm0
movb $0x1, %al
callq 0x2280
leaq 0x1aa4f(%rip), %rsi     # 0x1f3f4
movq %r13, %rdi
movq %r15, %rdx
xorl %eax, %eax
callq 0x2280
leaq 0x1aa92(%rip), %rsi     # 0x1f44b
movq %r13, %rdi
movl %ebp, %edx
xorl %eax, %eax
callq 0x2280
leaq 0x1aab0(%rip), %rsi     # 0x1f47c
movq %r13, %rdi
movq %r12, %rdx
xorl %eax, %eax
callq 0x2280
leaq 0x1aad2(%rip), %rsi     # 0x1f4b2
movq %r13, %rdi
movl %ebx, %edx
xorl %eax, %eax
callq 0x2280
leaq 0x1ab0b(%rip), %rsi     # 0x1f4fe
movq %r13, %rdi
movq 0xa8(%rsp), %rdx
xorl %eax, %eax
callq 0x2280
leaq 0x1ab3b(%rip), %rsi     # 0x1f547
movq %r13, %rdi
movsd 0x30(%rsp), %xmm0
movb $0x1, %al
callq 0x2280
leaq 0x1ab7d(%rip), %rsi     # 0x1f5a0
movq %r13, %rdi
movl %r14d, %edx
xorl %eax, %eax
callq 0x2280
leaq 0x1abb2(%rip), %rdi     # 0x1f5e9
movl $0x39, %esi
movl $0x1, %edx
movq %r13, %rcx
callq 0x2460
movl 0x21865(%rip), %edx     # 0x262b4
leaq 0x1abcd(%rip), %rsi     # 0x1f623
movq %r13, %rdi
xorl %eax, %eax
callq 0x2280
leaq 0x1abe9(%rip), %rdi     # 0x1f650
movl $0x2d, %esi
movl $0x1, %edx
movq %r13, %rcx
callq 0x2460
movl $0xa, %edi
movq %r13, %rsi
callq 0x2210
leaq 0x1abf1(%rip), %rdi     # 0x1f67e
movl $0x41, %esi
movl $0x1, %edx
movq %r13, %rcx
callq 0x2460
xorl %ebp, %ebp
movq 0x21528(%rip), %rax     # 0x25fd0
cmpq (%rax), %r13
setne %bpl
movl %ebp, %eax
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl %r11d, %eax
movl 0x4(%rsp), %r9d
movq 0x50(%rsp), %r12
movq 0x88(%rsp), %rbp
movq %r15, %r11
movq 0x8(%rsp), %r15
movq 0x40(%rsp), %rdx
jmp 0x4b22
subl 0xb0(%rsp), %esi
subl %r14d, %esi
movl %esi, %eax
movq 0x80(%rsp), %r14
jmp 0x4869
movq %r15, %r11
movq 0x70(%rsp), %rax
addl %r14d, %eax
movl 0x4(%rsp), %r9d
movq 0x50(%rsp), %r12
movq 0x88(%rsp), %rbp
movq 0x8(%rsp), %r15
movq 0xb0(%rsp), %rcx
addl %r14d, %ecx
movq 0x80(%rsp), %r14
jmp 0x4867
addq %r14, %rcx
addq %r14, %rax
testl %ecx, %ecx
jle 0x4b69
movl %ecx, %r11d
negq %r11
movslq %eax, %rsi
movq 0x50(%rsp), %rdi
leaq (%rdi,%rsi,8), %rsi
xorl %edi, %edi
movq -0x8(%rsi,%rdi,8), %r8
movq %r8, (%rsi,%rdi,8)
decq %rdi
cmpq %rdi, %r11
jne 0x4b58
xorl %esi, %esi
testl %r12d, %r12d
cmovgl %r12d, %esi
movq 0x70(%rsp), %rdi
subl %esi, %edi
addl %edi, %r14d
movslq %r14d, %rsi
movq 0x50(%rsp), %r12
movq %r9, (%r12,%rsi,8)
subl %ecx, %eax
incl %eax
movq 0x80(%rsp), %r14
movl 0x4(%rsp), %r9d
movq 0x88(%rsp), %rbp
movq %r15, %r11
movq 0x8(%rsp), %r15
movq 0x40(%rsp), %rdx
jmp 0x4869
leaq 0x1a6e4(%rip), %rdi     # 0x1f29e
callq 0x20c0
xorl %ebp, %ebp
jmp 0x4aaf
movq 0x21423(%rip), %rax     # 0x25ff0
movq (%rax), %rdi
movslq %esi, %rax
movq -0x8(%r12,%rax,8), %rcx
leaq 0x1a6e6(%rip), %rsi     # 0x1f2c5
jmp 0x4bfa
movq 0x21408(%rip), %rax     # 0x25ff0
movq (%rax), %rdi
movslq %esi, %rax
movq -0x8(%r12,%rax,8), %rcx
leaq 0x1a6a8(%rip), %rsi     # 0x1f2a2
leaq 0x1a6bf(%rip), %rdx     # 0x1f2c0
xorl %eax, %eax
callq 0x2280
movl $0x1, %ebp
jmp 0x4aaf
callq 0x2715
callq 0x282b