// File: /workspace/github_cpp_makefile_star2_O3/aalto-speech[P]ftk/src/iterate.cc
// Function: main
int main(int argc, char* argv[]) {

    flt_type one_char_min_lp = -25.0;

    conf::Config config;
    config("usage: iterate [OPTION...] WORDLIST IN_VOCAB OUT_VOCAB\n")
      ('h', "help", "", "", "display help")
      ('i', "iterations=INT", "arg", "5", "Number of iterations")
      ('f', "forward-backward", "", "", "Use Forward-backward segmentation instead of Viterbi")
      ('8', "utf-8", "", "", "Utf-8 character encoding in use");
    config.default_parse(argc, argv);
    if (config.arguments.size() != 3) config.print_help(stderr, 1);

    int num_iterations = config["iterations"].get_int();
    bool enable_forward_backward = config["forward-backward"].specified;
    bool utf8_encoding = config["utf-8"].specified;
    string wordlist_fname = config.arguments[0];
    string vocab_in_fname = config.arguments[1];
    string vocab_out_fname = config.arguments[2];

    cerr << std::boolalpha;
    cerr << "parameters, wordlist: " << wordlist_fname << endl;
    cerr << "parameters, initial vocabulary: " << vocab_in_fname << endl;
    cerr << "parameters, final vocabulary: " << vocab_out_fname << endl;
    cerr << "parameters, use forward-backward: " << enable_forward_backward << endl;
    cerr << "parameters, number of iterations: " << num_iterations << endl;
    cerr << "parameters, utf-8 encoding: " << utf8_encoding << endl;

    int maxlen, word_maxlen;
    set<string> all_chars;
    map<string, flt_type> vocab;
    map<string, flt_type> freqs;
    map<string, flt_type> words;

    cerr << "Reading vocabulary " << vocab_in_fname << endl;
    int retval = Unigrams::read_vocab(vocab_in_fname, vocab, maxlen, utf8_encoding);
    if (retval < 0) {
        cerr << "something went wrong reading vocabulary" << endl;
        exit(EXIT_FAILURE);
    }
    cerr << "\t" << "size: " << vocab.size() << endl;
    cerr << "\t" << "maximum string length: " << maxlen << endl;
    find_short_factors(vocab, all_chars, 2, utf8_encoding);

    set<string> special_words;
    cerr << "Reading word list " << wordlist_fname << endl;
    retval = Unigrams::read_vocab(wordlist_fname, words, word_maxlen, utf8_encoding);
    if (retval < 0) {
        cerr << "something went wrong reading word list" << endl;
        exit(EXIT_FAILURE);
    }

    cerr << "\t" << "wordlist size: " << words.size() << endl;
    cerr << "\t" << "maximum word length: " << word_maxlen << endl;

    Unigrams ug;
    if (enable_forward_backward)
        ug.set_segmentation_method(forward_backward);
    else
        ug.set_segmentation_method(viterbi);
    ug.set_utf8(utf8_encoding);

    cerr << "iterating.." << endl;
    time_t rawtime;
    time ( &rawtime );
    cerr << "start time: " << ctime (&rawtime) << endl;
    for (int i=0; i<num_iterations; i++) {
        flt_type cost = ug.resegment_words(words, vocab, freqs, special_words);
        cerr << "likelihood: " << cost << endl;
        vocab = freqs;
        Unigrams::freqs_to_logprobs(vocab);
        floor_values(vocab, SMALL_LP);
        assert_factors(vocab, all_chars, one_char_min_lp);
    }
    time ( &rawtime );
    cerr << "end time: " << ctime (&rawtime) << endl;

    Unigrams::write_vocab(vocab_out_fname, vocab);

    exit(EXIT_SUCCESS);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x548, %rsp            # imm = 0x548
movq %rsi, %rbx
movl %edi, %r14d
leaq -0x4b0(%rbp), %rdi
callq 0x7f4e
leaq -0x3b8(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x21ed9(%rip), %rsi     # 0x27030
leaq 0x21f09(%rip), %rdx     # 0x27067
leaq -0x3c8(%rbp), %rdi
callq 0x7482
leaq -0x4b0(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x7fb4
movq %rax, %r15
leaq -0x398(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x21ede(%rip), %rsi     # 0x27070
leaq 0x21edb(%rip), %rdx     # 0x27074
leaq -0x3a8(%rbp), %rdi
callq 0x7482
leaq -0x2e8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x224a0(%rip), %rdx     # 0x27657
leaq -0x2f8(%rbp), %rdi
movq %rdx, %rsi
callq 0x7482
leaq -0x2c8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2247f(%rip), %rdx     # 0x27657
leaq -0x2d8(%rbp), %rdi
movq %rdx, %rsi
callq 0x7482
leaq -0x2a8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e6f(%rip), %rsi     # 0x27068
leaq 0x21e74(%rip), %rdx     # 0x27074
leaq -0x2b8(%rbp), %rdi
callq 0x7482
leaq -0x3a8(%rbp), %rdx
leaq -0x2f8(%rbp), %rcx
leaq -0x2d8(%rbp), %r8
leaq -0x2b8(%rbp), %r9
movq %r15, %rdi
movl $0x68, %esi
callq 0x7fcc
movq %rax, %r15
leaq -0x288(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e2b(%rip), %rsi     # 0x27075
leaq 0x21e32(%rip), %rdx     # 0x27083
leaq -0x298(%rbp), %rdi
callq 0x7482
leaq -0x268(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e15(%rip), %rsi     # 0x27084
leaq 0x21e11(%rip), %rdx     # 0x27087
leaq -0x278(%rbp), %rdi
callq 0x7482
leaq -0x248(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21df4(%rip), %rsi     # 0x27088
leaq 0x21dee(%rip), %rdx     # 0x27089
leaq -0x258(%rbp), %rdi
callq 0x7482
leaq -0x228(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21dd1(%rip), %rsi     # 0x2708a
leaq 0x21dde(%rip), %rdx     # 0x2709e
leaq -0x238(%rbp), %rdi
callq 0x7482
leaq -0x298(%rbp), %rdx
leaq -0x278(%rbp), %rcx
leaq -0x258(%rbp), %r8
leaq -0x238(%rbp), %r9
movq %r15, %rdi
movl $0x69, %esi
callq 0x7fcc
movq %rax, %r15
leaq -0x208(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d95(%rip), %rsi     # 0x2709f
leaq 0x21d9e(%rip), %rdx     # 0x270af
leaq -0x218(%rbp), %rdi
callq 0x7482
leaq -0x1e8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22328(%rip), %rdx     # 0x27657
leaq -0x1f8(%rbp), %rdi
movq %rdx, %rsi
callq 0x7482
leaq -0x1c8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22307(%rip), %rdx     # 0x27657
leaq -0x1d8(%rbp), %rdi
movq %rdx, %rsi
callq 0x7482
leaq -0x1a8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d3f(%rip), %rsi     # 0x270b0
leaq 0x21d6c(%rip), %rdx     # 0x270e4
leaq -0x1b8(%rbp), %rdi
callq 0x7482
leaq -0x218(%rbp), %rdx
leaq -0x1f8(%rbp), %rcx
leaq -0x1d8(%rbp), %r8
leaq -0x1b8(%rbp), %r9
movq %r15, %rdi
movl $0x66, %esi
callq 0x7fcc
movq %rax, %r15
leaq -0x188(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d23(%rip), %rsi     # 0x270e5
leaq 0x21d21(%rip), %rdx     # 0x270ea
leaq -0x198(%rbp), %rdi
callq 0x7482
leaq -0x168(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22270(%rip), %rdx     # 0x27657
leaq -0x178(%rbp), %rdi
movq %rdx, %rsi
callq 0x7482
leaq -0x148(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2224f(%rip), %rdx     # 0x27657
leaq -0x158(%rbp), %rdi
movq %rdx, %rsi
callq 0x7482
leaq -0x128(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21cc2(%rip), %rsi     # 0x270eb
leaq 0x21cda(%rip), %rdx     # 0x2710a
leaq -0x138(%rbp), %rdi
callq 0x7482
leaq -0x198(%rbp), %rdx
leaq -0x178(%rbp), %rcx
leaq -0x158(%rbp), %r8
leaq -0x138(%rbp), %r9
movq %r15, %rdi
movl $0x38, %esi
callq 0x7fcc
movq -0x138(%rbp), %rdi
leaq -0x128(%rbp), %rax
cmpq %rax, %rdi
je 0x547d
callq 0x4370
movq -0x158(%rbp), %rdi
leaq -0x148(%rbp), %rax
cmpq %rax, %rdi
je 0x5495
callq 0x4370
movq -0x178(%rbp), %rdi
leaq -0x168(%rbp), %rax
cmpq %rax, %rdi
je 0x54ad
callq 0x4370
movq -0x198(%rbp), %rdi
leaq -0x188(%rbp), %rax
cmpq %rax, %rdi
je 0x54c5
callq 0x4370
movq -0x1b8(%rbp), %rdi
leaq -0x1a8(%rbp), %rax
cmpq %rax, %rdi
je 0x54dd
callq 0x4370
movq -0x1d8(%rbp), %rdi
leaq -0x1c8(%rbp), %rax
cmpq %rax, %rdi
je 0x54f5
callq 0x4370
movq -0x1f8(%rbp), %rdi
leaq -0x1e8(%rbp), %rax
cmpq %rax, %rdi
je 0x550d
callq 0x4370
movq -0x218(%rbp), %rdi
leaq -0x208(%rbp), %rax
cmpq %rax, %rdi
je 0x5525
callq 0x4370
movq -0x238(%rbp), %rdi
leaq -0x228(%rbp), %rax
cmpq %rax, %rdi
je 0x553d
callq 0x4370
movq -0x258(%rbp), %rdi
leaq -0x248(%rbp), %rax
cmpq %rax, %rdi
je 0x5555
callq 0x4370
movq -0x278(%rbp), %rdi
leaq -0x268(%rbp), %rax
cmpq %rax, %rdi
je 0x556d
callq 0x4370
movq -0x298(%rbp), %rdi
leaq -0x288(%rbp), %rax
cmpq %rax, %rdi
je 0x5585
callq 0x4370
movq -0x2b8(%rbp), %rdi
leaq -0x2a8(%rbp), %rax
cmpq %rax, %rdi
je 0x559d
callq 0x4370
movq -0x2d8(%rbp), %rdi
leaq -0x2c8(%rbp), %rax
cmpq %rax, %rdi
je 0x55b5
callq 0x4370
movq -0x2f8(%rbp), %rdi
leaq -0x2e8(%rbp), %rax
cmpq %rax, %rdi
je 0x55cd
callq 0x4370
movq -0x3a8(%rbp), %rdi
cmpq %r13, %rdi
je 0x55de
callq 0x4370
movq -0x3c8(%rbp), %rdi
cmpq %r12, %rdi
je 0x55ef
callq 0x4370
leaq -0x4b0(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
callq 0x89f4
movq -0x410(%rbp), %rax
subq -0x418(%rbp), %rax
cmpq $0x60, %rax
je 0x5630
movq 0x2f9ac(%rip), %rax     # 0x34fc8
movq (%rax), %rsi
leaq -0x4b0(%rbp), %rdi
movl $0x1, %edx
callq 0x8f96
leaq -0x378(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x21a52(%rip), %rsi     # 0x27094
leaq 0x21a55(%rip), %rdx     # 0x2709e
leaq -0x388(%rbp), %rdi
callq 0x7482
leaq -0x4b0(%rbp), %rdi
leaq -0x388(%rbp), %rsi
callq 0x8aae
movq %rax, %rdi
callq 0x7e70
movl %eax, %ebx
movq -0x388(%rbp), %rdi
cmpq %r14, %rdi
je 0x5683
callq 0x4370
leaq -0x358(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x21a0a(%rip), %rsi     # 0x2709f
leaq 0x21a13(%rip), %rdx     # 0x270af
leaq -0x368(%rbp), %rdi
callq 0x7482
leaq -0x4b0(%rbp), %rdi
leaq -0x368(%rbp), %rsi
callq 0x8aae
movb 0x4a(%rax), %r15b
movq -0x368(%rbp), %rdi
cmpq %r14, %rdi
je 0x56d0
callq 0x4370
leaq -0x338(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x21a02(%rip), %rsi     # 0x270e5
leaq 0x21a00(%rip), %rdx     # 0x270ea
leaq -0x348(%rbp), %rdi
callq 0x7482
leaq -0x4b0(%rbp), %rdi
leaq -0x348(%rbp), %rsi
callq 0x8aae
movb 0x4a(%rax), %r14b
movq -0x348(%rbp), %rdi
cmpq %r12, %rdi
je 0x571e
callq 0x4370
movq -0x418(%rbp), %rax
leaq -0x78(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x88(%rbp), %rdi
callq 0x73e4
movq -0x418(%rbp), %rax
leaq -0x58(%rbp), %r13
movq %r13, -0x10(%r13)
movq 0x20(%rax), %rsi
movq 0x28(%rax), %rdx
addq %rsi, %rdx
leaq -0x68(%rbp), %rdi
callq 0x73e4
movq -0x418(%rbp), %rax
leaq -0xc8(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x40(%rax), %rsi
movq 0x48(%rax), %rdx
addq %rsi, %rdx
leaq -0xd8(%rbp), %rdi
callq 0x73e4
movq 0x2f851(%rip), %rdi     # 0x34fe8
movq (%rdi), %rax
movq -0x18(%rax), %rax
orl $0x1, 0x18(%rdi,%rax)
leaq 0x21961(%rip), %rsi     # 0x2710b
movl $0x16, %edx
callq 0x4420
movq -0x88(%rbp), %rsi
movq -0x80(%rbp), %rdx
movq 0x2f822(%rip), %rdi     # 0x34fe8
callq 0x4420
movq %rax, %rdi
callq 0x4190
movq 0x2f80e(%rip), %rdi     # 0x34fe8
leaq 0x21941(%rip), %rsi     # 0x27122
movl $0x20, %edx
callq 0x4420
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
movq 0x2f7ee(%rip), %rdi     # 0x34fe8
callq 0x4420
movq %rax, %rdi
callq 0x4190
movq 0x2f7da(%rip), %rdi     # 0x34fe8
leaq 0x2192e(%rip), %rsi     # 0x27143
movl $0x1e, %edx
callq 0x4420
movq -0xd8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
movq 0x2f7b4(%rip), %rdi     # 0x34fe8
callq 0x4420
movq %rax, %rdi
callq 0x4190
movq 0x2f7a0(%rip), %rdi     # 0x34fe8
leaq 0x21913(%rip), %rsi     # 0x27162
movl $0x22, %edx
callq 0x4420
movzbl %r15b, %esi
movq 0x2f784(%rip), %rdi     # 0x34fe8
callq 0x45f0
movq %rax, %rdi
callq 0x4190
movq 0x2f770(%rip), %rdi     # 0x34fe8
leaq 0x21906(%rip), %rsi     # 0x27185
movl $0x22, %edx
callq 0x4420
movq 0x2f758(%rip), %rdi     # 0x34fe8
movl %ebx, %esi
callq 0x4640
movq %rax, %rdi
callq 0x4190
movq 0x2f742(%rip), %rdi     # 0x34fe8
leaq 0x218fb(%rip), %rsi     # 0x271a8
movl $0x1c, %edx
callq 0x4420
movzbl %r14b, %esi
movq 0x2f726(%rip), %rdi     # 0x34fe8
movl %esi, -0x30(%rbp)
callq 0x45f0
movq %rax, %rdi
callq 0x4190
leaq -0x538(%rbp), %rax
xorl %ecx, %ecx
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0xb0(%rbp), %rax
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x508(%rbp), %rax
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x3f0(%rbp), %rax
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
movq 0x2f6a9(%rip), %rdi     # 0x34fe8
leaq 0x2187f(%rip), %rsi     # 0x271c5
movl $0x13, %edx
callq 0x4420
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
movq 0x2f689(%rip), %rdi     # 0x34fe8
callq 0x4420
movq %rax, %rdi
callq 0x4190
leaq -0x108(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x68(%rbp), %rsi
movq -0x60(%rbp), %rdx
addq %rsi, %rdx
leaq -0x118(%rbp), %rdi
callq 0x73e4
leaq -0x118(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
leaq -0x44(%rbp), %rdx
movl -0x30(%rbp), %ecx
callq 0x1e1b2
movl %eax, -0x3c(%rbp)
movq -0x118(%rbp), %rdi
leaq -0x108(%rbp), %rax
cmpq %rax, %rdi
je 0x59c3
callq 0x4370
cmpl $0x0, -0x3c(%rbp)
jns 0x59f2
movq 0x2f618(%rip), %rdi     # 0x34fe8
leaq 0x21802(%rip), %rsi     # 0x271d9
movl $0x27, %edx
callq 0x4420
movq 0x2f600(%rip), %rdi     # 0x34fe8
callq 0x4190
jmp 0x5b74
movq 0x2f5ef(%rip), %rdi     # 0x34fe8
leaq 0x21c56(%rip), %rsi     # 0x27656
movl $0x1, %edx
callq 0x4420
movq 0x2f5d7(%rip), %rdi     # 0x34fe8
leaq 0x21844(%rip), %rsi     # 0x2725c
movl $0x6, %edx
callq 0x4420
movq -0x90(%rbp), %rsi
movq 0x2f5b8(%rip), %rdi     # 0x34fe8
callq 0x4260
movq %rax, %rdi
callq 0x4190
movq 0x2f5a4(%rip), %rdi     # 0x34fe8
leaq 0x21c0b(%rip), %rsi     # 0x27656
movl $0x1, %edx
callq 0x4420
movq 0x2f58c(%rip), %rdi     # 0x34fe8
leaq 0x2179e(%rip), %rsi     # 0x27201
movl $0x17, %edx
callq 0x4420
movl -0x44(%rbp), %esi
movq 0x2f571(%rip), %rdi     # 0x34fe8
callq 0x4640
movq %rax, %rdi
callq 0x4190
leaq -0xb8(%rbp), %rdi
leaq -0x540(%rbp), %rsi
movl -0x30(%rbp), %edx
callq 0x61a5
leaq -0x568(%rbp), %rax
movl $0x0, (%rax)
xorl %ecx, %ecx
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
movq 0x2f528(%rip), %rdi     # 0x34fe8
leaq 0x21752(%rip), %rsi     # 0x27219
movl $0x12, %edx
callq 0x4420
movq -0x88(%rbp), %rsi
movq -0x80(%rbp), %rdx
movq 0x2f505(%rip), %rdi     # 0x34fe8
callq 0x4420
movq %rax, %rdi
callq 0x4190
leaq -0xe8(%rbp), %rax
movq %rax, -0x10(%rax)
movq -0x88(%rbp), %rsi
movq -0x80(%rbp), %rdx
addq %rsi, %rdx
leaq -0xf8(%rbp), %rdi
callq 0x73e4
leaq -0xf8(%rbp), %rdi
leaq -0x3f8(%rbp), %rsi
leaq -0x40(%rbp), %rdx
movl -0x30(%rbp), %ecx
callq 0x1e1b2
movl %eax, -0x30(%rbp)
movq -0xf8(%rbp), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x5b4a
callq 0x4370
cmpl $0x0, -0x30(%rbp)
jns 0x5b7e
movq 0x2f491(%rip), %rdi     # 0x34fe8
leaq 0x216ce(%rip), %rsi     # 0x2722c
movl $0x26, %edx
callq 0x4420
movq 0x2f479(%rip), %rdi     # 0x34fe8
callq 0x4190
movl $0x1, %edi
callq 0x4440
movq 0x2f463(%rip), %rdi     # 0x34fe8
leaq 0x21aca(%rip), %rsi     # 0x27656
movl $0x1, %edx
callq 0x4420
movq 0x2f44b(%rip), %rdi     # 0x34fe8
leaq 0x216af(%rip), %rsi     # 0x27253
movl $0xf, %edx
callq 0x4420
movq -0x3d0(%rbp), %rsi
movq 0x2f42c(%rip), %rdi     # 0x34fe8
callq 0x4260
movq %rax, %rdi
callq 0x4190
movq 0x2f418(%rip), %rdi     # 0x34fe8
leaq 0x21a7f(%rip), %rsi     # 0x27656
movl $0x1, %edx
callq 0x4420
movq 0x2f400(%rip), %rdi     # 0x34fe8
leaq 0x21674(%rip), %rsi     # 0x27263
movl $0x15, %edx
callq 0x4420
movl -0x40(%rbp), %esi
movq 0x2f3e5(%rip), %rdi     # 0x34fe8
callq 0x4640
movq %rax, %rdi
callq 0x4190
testb %r15b, %r15b
je 0x5c1e
leaq 0x12887(%rip), %rax     # 0x184a3
jmp 0x5c25
leaq 0x122ba(%rip), %rax     # 0x17edf
movq %rax, -0x308(%rbp)
movb %r14b, -0x300(%rbp)
movq 0x2f3ae(%rip), %rdi     # 0x34fe8
leaq 0x21638(%rip), %rsi     # 0x27279
movl $0xb, %edx
callq 0x4420
movq 0x2f396(%rip), %rdi     # 0x34fe8
callq 0x4190
leaq -0x38(%rbp), %rdi
callq 0x4360
movq 0x2f381(%rip), %rdi     # 0x34fe8
leaq 0x21617(%rip), %rsi     # 0x27285
movl $0xc, %edx
callq 0x4420
leaq -0x38(%rbp), %rdi
callq 0x4150
movq 0x2f360(%rip), %rdi     # 0x34fe8
movq %rax, %rsi
callq 0x43a0
movq %rax, %rdi
callq 0x4190
testl %ebx, %ebx
jle 0x5da0
xorl %r14d, %r14d
movabsq $-0x3fa7000000000000, %r15 # imm = 0xC059000000000000
leaq -0x4e0(%rbp), %rdi
leaq -0x570(%rbp), %rsi
callq 0x67da
leaq -0x308(%rbp), %rdi
leaq -0x3f8(%rbp), %rsi
leaq -0xb8(%rbp), %rdx
leaq -0x510(%rbp), %rcx
leaq -0x4e0(%rbp), %r8
callq 0x1ec40
movsd %xmm0, -0x30(%rbp)
leaq -0x4e0(%rbp), %rdi
callq 0x69ee
movl $0xc, %edx
movq 0x2f2e3(%rip), %rdi     # 0x34fe8
leaq 0x21586(%rip), %rsi     # 0x27292
callq 0x4420
movq 0x2f2d0(%rip), %rdi     # 0x34fe8
movsd -0x30(%rbp), %xmm0
callq 0x45b0
movq %rax, %rdi
callq 0x4190
leaq -0xb8(%rbp), %rdi
leaq -0x510(%rbp), %rsi
callq 0x6a06
leaq -0xb8(%rbp), %rdi
movsd 0x212bc(%rip), %xmm0    # 0x27008
callq 0x1ece6
movq -0xa0(%rbp), %rax
leaq -0xb0(%rbp), %rcx
cmpq %rcx, %rax
je 0x5d81
movsd 0x212a4(%rip), %xmm0    # 0x27010
ucomisd 0x40(%rax), %xmm0
jbe 0x5d77
movq %r15, 0x40(%rax)
movq %rax, %rdi
callq 0x4290
jmp 0x5d58
leaq -0xb8(%rbp), %rdi
leaq -0x540(%rbp), %rsi
callq 0x6390
incl %r14d
cmpl %ebx, %r14d
jne 0x5cad
leaq -0x38(%rbp), %rdi
callq 0x4360
movq 0x2f238(%rip), %rdi     # 0x34fe8
leaq 0x214e8(%rip), %rsi     # 0x2729f
movl $0xa, %edx
callq 0x4420
leaq -0x38(%rbp), %rdi
callq 0x4150
movq 0x2f217(%rip), %rdi     # 0x34fe8
movq %rax, %rsi
callq 0x43a0
movq %rax, %rdi
callq 0x4190
leaq -0x318(%rbp), %r14
movq %r14, -0x10(%r14)
movq -0xd8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
addq %rsi, %rdx
leaq -0x328(%rbp), %rdi
callq 0x73e4
leaq -0x328(%rbp), %rdi
leaq -0xb8(%rbp), %rsi
xorl %edx, %edx
movl $0x6, %ecx
callq 0x1e612
leaq -0x328(%rbp), %rdi
callq 0x4728
xorl %edi, %edi
callq 0x4440
movq %rax, %rbx
movq -0x328(%rbp), %rdi
cmpq %r14, %rdi
jne 0x5e79
jmp 0x5e7e
jmp 0x5e5e
jmp 0x5e5e
movq %rax, %rbx
leaq -0x4e0(%rbp), %rdi
callq 0x69ee
jmp 0x5e7e
jmp 0x5e5e
movq %rax, %rbx
jmp 0x5e7e
movq %rax, %rbx
movq -0xf8(%rbp), %rdi
leaq -0xe8(%rbp), %rax
cmpq %rax, %rdi
je 0x5e7e
callq 0x4370
leaq -0x570(%rbp), %rdi
callq 0x69ee
jmp 0x5eae
jmp 0x5eab
movq %rax, %rbx
movq -0x118(%rbp), %rdi
leaq -0x108(%rbp), %rax
cmpq %rax, %rdi
je 0x5eae
callq 0x4370
jmp 0x5eae
movq %rax, %rbx
leaq -0x3f8(%rbp), %rdi
callq 0x720c
leaq -0x510(%rbp), %rdi
callq 0x720c
leaq -0xb8(%rbp), %rdi
callq 0x720c
leaq -0x540(%rbp), %rdi
callq 0x69ee
jmp 0x5ee3
movq %rax, %rbx
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
je 0x5f00
callq 0x4370
jmp 0x5f00
movq %rax, %rbx
movq -0x68(%rbp), %rdi
cmpq %r13, %rdi
je 0x5f13
callq 0x4370
jmp 0x5f13
movq %rax, %rbx
movq -0x88(%rbp), %rdi
jmp 0x6146
jmp 0x6152
movq %rax, %rbx
movq -0x348(%rbp), %rdi
jmp 0x6146
jmp 0x6152
movq %rax, %rbx
movq -0x368(%rbp), %rdi
jmp 0x5f53
jmp 0x6152
movq %rax, %rbx
movq -0x388(%rbp), %rdi
cmpq %r14, %rdi
jne 0x614b
jmp 0x6155
jmp 0x6152
jmp 0x6152
movq %rax, %rbx
movq -0x138(%rbp), %rdi
leaq -0x128(%rbp), %rax
cmpq %rax, %rdi
je 0x5f8b
callq 0x4370
jmp 0x5f8b
movq %rax, %rbx
movq -0x158(%rbp), %rdi
leaq -0x148(%rbp), %rax
cmpq %rax, %rdi
je 0x5fa8
callq 0x4370
jmp 0x5fa8
movq %rax, %rbx
movq -0x178(%rbp), %rdi
leaq -0x168(%rbp), %rax
cmpq %rax, %rdi
je 0x5fc5
callq 0x4370
jmp 0x5fc5
movq %rax, %rbx
movq -0x198(%rbp), %rdi
leaq -0x188(%rbp), %rax
cmpq %rax, %rdi
je 0x5fe4
callq 0x4370
jmp 0x5fe4
jmp 0x5fe1
movq %rax, %rbx
movq -0x1b8(%rbp), %rdi
leaq -0x1a8(%rbp), %rax
cmpq %rax, %rdi
je 0x6001
callq 0x4370
jmp 0x6001
movq %rax, %rbx
movq -0x1d8(%rbp), %rdi
leaq -0x1c8(%rbp), %rax
cmpq %rax, %rdi
je 0x601e
callq 0x4370
jmp 0x601e
movq %rax, %rbx
movq -0x1f8(%rbp), %rdi
leaq -0x1e8(%rbp), %rax
cmpq %rax, %rdi
je 0x603b
callq 0x4370
jmp 0x603b
movq %rax, %rbx
movq -0x218(%rbp), %rdi
leaq -0x208(%rbp), %rax
cmpq %rax, %rdi
je 0x605a
callq 0x4370
jmp 0x605a
jmp 0x6057
movq %rax, %rbx
movq -0x238(%rbp), %rdi
leaq -0x228(%rbp), %rax
cmpq %rax, %rdi
je 0x6077
callq 0x4370
jmp 0x6077
movq %rax, %rbx
movq -0x258(%rbp), %rdi
leaq -0x248(%rbp), %rax
cmpq %rax, %rdi
je 0x6094
callq 0x4370
jmp 0x6094
movq %rax, %rbx
movq -0x278(%rbp), %rdi
leaq -0x268(%rbp), %rax
cmpq %rax, %rdi
je 0x60b1
callq 0x4370
jmp 0x60b1
movq %rax, %rbx
movq -0x298(%rbp), %rdi
leaq -0x288(%rbp), %rax
cmpq %rax, %rdi
je 0x60d0
callq 0x4370
jmp 0x60d0
jmp 0x60cd
movq %rax, %rbx
movq -0x2b8(%rbp), %rdi
leaq -0x2a8(%rbp), %rax
cmpq %rax, %rdi
je 0x60ed
callq 0x4370
jmp 0x60ed
movq %rax, %rbx
movq -0x2d8(%rbp), %rdi
leaq -0x2c8(%rbp), %rax
cmpq %rax, %rdi
je 0x610a
callq 0x4370
jmp 0x610a
movq %rax, %rbx
movq -0x2f8(%rbp), %rdi
leaq -0x2e8(%rbp), %rax
cmpq %rax, %rdi
je 0x6127
callq 0x4370
jmp 0x6127
movq %rax, %rbx
movq -0x3a8(%rbp), %rdi
cmpq %r13, %rdi
je 0x613f
callq 0x4370
jmp 0x613f
jmp 0x613c
movq %rax, %rbx
movq -0x3c8(%rbp), %rdi
cmpq %r12, %rdi
je 0x6155
callq 0x4370
jmp 0x6155
movq %rax, %rbx
leaq -0x418(%rbp), %rdi
callq 0x7224
leaq -0x448(%rbp), %rdi
callq 0x72b0
leaq -0x478(%rbp), %rdi
callq 0x731a
leaq -0x490(%rbp), %r14
movq %r14, %rdi
callq 0x727c
movq -0x20(%r14), %rdi
leaq -0x4a0(%rbp), %rax
cmpq %rax, %rdi
je 0x619d
callq 0x4370
movq %rbx, %rdi
callq 0x4670