// File: /workspace/github_cpp_makefile_star2_O1/aalto-speech[P]ftk/src/1g-threshold-sents.cc
// Function: main
int main(int argc, char* argv[]) {

    conf::Config config;
    config("usage: 1g-threshold-sents [OPTION...] CORPUS VOCAB_INIT VOCAB_FINAL\n")
      ('h', "help", "", "", "display help")
      ('i', "threshold-increment=FLOAT", "arg", "1.0", "Threshold increment for each iteration, DEFAULT: 1.0")
      ('m', "min-length=INT", "arg", "2", "Minimum length of factors to remove, DEFAULT: 2")
      ('v', "vocab-size=INT", "arg must", "", "Target vocabulary size")
      ('s', "stop-list=STRING", "arg", "", "Text file containing subwords that should not be removed")
      ('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);

    flt_type short_factor_min_lp = -25.0;
    string corpus_fname = config.arguments[0];
    string vocab_fname = config.arguments[1];
    string out_vocab_fname = config.arguments[2];
    float threshold_increment = config["threshold-increment"].get_float();
    unsigned int min_removal_length = config["min-length"].get_int();
    unsigned int target_vocab_size = config["vocab-size"].get_int();
    bool enable_forward_backward = config["forward-backward"].specified;
    bool utf8_encoding = config["utf-8"].specified;

    set<string> stoplist;
    if (config["stop-list"].specified) {
        vector<string> stopstrings;
        Unigrams::read_sents(config["stop-list"].get_str(), stopstrings);
        stoplist.insert(stopstrings.begin(), stopstrings.end());
    }

    cerr << setprecision(15) << std::boolalpha;
    cerr << "parameters, training corpus: " << corpus_fname << endl;
    cerr << "parameters, initial vocabulary: " << vocab_fname << endl;
    cerr << "parameters, final vocabulary: " << out_vocab_fname << endl;
    cerr << "parameters, threshold increment: " << threshold_increment << endl;
    cerr << "parameters, minimum length for factors to remove: " << min_removal_length << endl;
    if (stoplist.size() > 0)
        cerr << "parameters, stoplist with " << stoplist.size() << " subwords" << endl;
    cerr << "parameters, target vocab size: " << target_vocab_size << endl;
    cerr << "parameters, use forward-backward: " << enable_forward_backward << endl;
    cerr << "parameters, utf-8 encoding: " << utf8_encoding << endl;

    int maxlen;
    set<string> short_factors;
    map<string, flt_type> vocab;
    map<string, flt_type> freqs;
    vector<string> sents;

    cerr << "Reading vocabulary " << vocab_fname << endl;
    int retval = Unigrams::read_vocab(vocab_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, short_factors, min_removal_length, utf8_encoding);

    cerr << "Reading training corpus " << corpus_fname << endl;
    retval = Unigrams::read_sents(corpus_fname, sents);
    if (retval < 0) {
        cerr << "something went wrong reading training corpus" << endl;
        exit(EXIT_FAILURE);
    }
    cerr << "\t" << "number of sentences in corpus: " << sents.size() << 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 << endl << "Initial threshold" << endl;
    flt_type cost = ug.resegment_sents(sents, vocab, freqs);
    cerr << "likelihood: " << cost << endl;

    flt_type threshold_value = 0.0;
    while (vocab.size() > target_vocab_size) {
        threshold_value += threshold_increment;
        ug.cutoff(freqs, threshold_value, stoplist, min_removal_length);
        cerr << "\tthreshold: " << threshold_value << "\t" << "vocabulary size: " << freqs.size() << endl;
        vocab = freqs;
        Unigrams::freqs_to_logprobs(vocab);
        assert_factors(vocab, short_factors, short_factor_min_lp);
        cost = ug.resegment_sents(sents, vocab, freqs);
        cerr << "likelihood: " << cost << endl;
    }

    Unigrams::write_vocab(out_vocab_fname, vocab);
    exit(EXIT_SUCCESS);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x748, %rsp            # imm = 0x748
movq %rsi, %rbx
movl %edi, %r14d
leaq -0x768(%rbp), %rdi
callq 0x871a
leaq -0x670(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x21f2b(%rip), %rsi     # 0x27020
leaq 0x21f68(%rip), %rdx     # 0x27064
leaq -0x680(%rbp), %rdi
callq 0x7a14
leaq -0x768(%rbp), %rdi
leaq -0x680(%rbp), %rsi
callq 0x8780
movq %rax, %r15
leaq -0x650(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x21f3d(%rip), %rsi     # 0x2706d
leaq 0x21f3a(%rip), %rdx     # 0x27071
leaq -0x660(%rbp), %rdi
callq 0x7a14
leaq -0x4a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x226a2(%rip), %rdx     # 0x277f7
leaq -0x4b0(%rbp), %rdi
movq %rdx, %rsi
callq 0x7a14
leaq -0x480(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22681(%rip), %rdx     # 0x277f7
leaq -0x490(%rbp), %rdi
movq %rdx, %rsi
callq 0x7a14
leaq -0x460(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21ece(%rip), %rsi     # 0x27065
leaq 0x21ed3(%rip), %rdx     # 0x27071
leaq -0x470(%rbp), %rdi
callq 0x7a14
leaq -0x660(%rbp), %rdx
leaq -0x4b0(%rbp), %rcx
leaq -0x490(%rbp), %r8
leaq -0x470(%rbp), %r9
movq %r15, %rdi
movl $0x68, %esi
callq 0x8798
movq %rax, %r15
leaq -0x440(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e8a(%rip), %rsi     # 0x27072
leaq 0x21e9c(%rip), %rdx     # 0x2708b
leaq -0x450(%rbp), %rdi
callq 0x7a14
leaq -0x420(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e7f(%rip), %rsi     # 0x2708c
leaq 0x21e7b(%rip), %rdx     # 0x2708f
leaq -0x430(%rbp), %rdi
callq 0x7a14
leaq -0x400(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e8f(%rip), %rsi     # 0x270c1
leaq 0x21e8b(%rip), %rdx     # 0x270c4
leaq -0x410(%rbp), %rdi
callq 0x7a14
leaq -0x3e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e39(%rip), %rsi     # 0x27090
leaq 0x21e66(%rip), %rdx     # 0x270c4
leaq -0x3f0(%rbp), %rdi
callq 0x7a14
leaq -0x450(%rbp), %rdx
leaq -0x430(%rbp), %rcx
leaq -0x410(%rbp), %r8
leaq -0x3f0(%rbp), %r9
movq %r15, %rdi
movl $0x69, %esi
callq 0x8798
movq %rax, %r15
leaq -0x3c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e1d(%rip), %rsi     # 0x270c5
leaq 0x21e24(%rip), %rdx     # 0x270d3
leaq -0x3d0(%rbp), %rdi
callq 0x7a14
leaq -0x3a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21dbf(%rip), %rsi     # 0x2708c
leaq 0x21dbb(%rip), %rdx     # 0x2708f
leaq -0x3b0(%rbp), %rdi
callq 0x7a14
leaq -0x380(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e10(%rip), %rsi     # 0x27102
leaq 0x21e0a(%rip), %rdx     # 0x27103
leaq -0x390(%rbp), %rdi
callq 0x7a14
leaq -0x360(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21dbd(%rip), %rsi     # 0x270d4
leaq 0x21de5(%rip), %rdx     # 0x27103
leaq -0x370(%rbp), %rdi
callq 0x7a14
leaq -0x3d0(%rbp), %rdx
leaq -0x3b0(%rbp), %rcx
leaq -0x390(%rbp), %r8
leaq -0x370(%rbp), %r9
movq %r15, %rdi
movl $0x6d, %esi
callq 0x8798
movq %rax, %r15
leaq -0x340(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d9c(%rip), %rsi     # 0x27104
leaq 0x21da3(%rip), %rdx     # 0x27112
leaq -0x350(%rbp), %rdi
callq 0x7a14
leaq -0x320(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d86(%rip), %rsi     # 0x27113
leaq 0x21d87(%rip), %rdx     # 0x2711b
leaq -0x330(%rbp), %rdi
callq 0x7a14
leaq -0x300(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22445(%rip), %rdx     # 0x277f7
leaq -0x310(%rbp), %rdi
movq %rdx, %rsi
callq 0x7a14
leaq -0x2e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d49(%rip), %rsi     # 0x2711c
leaq 0x21d58(%rip), %rdx     # 0x27132
leaq -0x2f0(%rbp), %rdi
callq 0x7a14
leaq -0x350(%rbp), %rdx
leaq -0x330(%rbp), %rcx
leaq -0x310(%rbp), %r8
leaq -0x2f0(%rbp), %r9
movq %r15, %rdi
movl $0x76, %esi
callq 0x8798
movq %rax, %r15
leaq -0x2c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d0f(%rip), %rsi     # 0x27133
leaq 0x21d18(%rip), %rdx     # 0x27143
leaq -0x2d0(%rbp), %rdi
callq 0x7a14
leaq -0x2a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21c43(%rip), %rsi     # 0x2708c
leaq 0x21c3f(%rip), %rdx     # 0x2708f
leaq -0x2b0(%rbp), %rdi
callq 0x7a14
leaq -0x280(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22389(%rip), %rdx     # 0x277f7
leaq -0x290(%rbp), %rdi
movq %rdx, %rsi
callq 0x7a14
leaq -0x260(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21cb5(%rip), %rsi     # 0x27144
leaq 0x21ce6(%rip), %rdx     # 0x2717c
leaq -0x270(%rbp), %rdi
callq 0x7a14
leaq -0x2d0(%rbp), %rdx
leaq -0x2b0(%rbp), %rcx
leaq -0x290(%rbp), %r8
leaq -0x270(%rbp), %r9
movq %r15, %rdi
movl $0x73, %esi
callq 0x8798
movq %rax, %r15
leaq -0x240(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21c9d(%rip), %rsi     # 0x2717d
leaq 0x21ca6(%rip), %rdx     # 0x2718d
leaq -0x250(%rbp), %rdi
callq 0x7a14
leaq -0x220(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x222f2(%rip), %rdx     # 0x277f7
leaq -0x230(%rbp), %rdi
movq %rdx, %rsi
callq 0x7a14
leaq -0x200(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x222d1(%rip), %rdx     # 0x277f7
leaq -0x210(%rbp), %rdi
movq %rdx, %rsi
callq 0x7a14
leaq -0x1e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21c47(%rip), %rsi     # 0x2718e
leaq 0x21c74(%rip), %rdx     # 0x271c2
leaq -0x1f0(%rbp), %rdi
callq 0x7a14
leaq -0x250(%rbp), %rdx
leaq -0x230(%rbp), %rcx
leaq -0x210(%rbp), %r8
leaq -0x1f0(%rbp), %r9
movq %r15, %rdi
movl $0x66, %esi
callq 0x8798
movq %rax, %r15
leaq -0x1c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21c2b(%rip), %rsi     # 0x271c3
leaq 0x21c29(%rip), %rdx     # 0x271c8
leaq -0x1d0(%rbp), %rdi
callq 0x7a14
leaq -0x1a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2223a(%rip), %rdx     # 0x277f7
leaq -0x1b0(%rbp), %rdi
movq %rdx, %rsi
callq 0x7a14
leaq -0x180(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22219(%rip), %rdx     # 0x277f7
leaq -0x190(%rbp), %rdi
movq %rdx, %rsi
callq 0x7a14
leaq -0x160(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21bca(%rip), %rsi     # 0x271c9
leaq 0x21be2(%rip), %rdx     # 0x271e8
leaq -0x170(%rbp), %rdi
callq 0x7a14
leaq -0x1d0(%rbp), %rdx
leaq -0x1b0(%rbp), %rcx
leaq -0x190(%rbp), %r8
leaq -0x170(%rbp), %r9
movq %r15, %rdi
movl $0x38, %esi
callq 0x8798
movq -0x170(%rbp), %rdi
leaq -0x160(%rbp), %rax
cmpq %rax, %rdi
je 0x5653
callq 0x4350
movq -0x190(%rbp), %rdi
leaq -0x180(%rbp), %rax
cmpq %rax, %rdi
je 0x566b
callq 0x4350
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5683
callq 0x4350
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x569b
callq 0x4350
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x56b3
callq 0x4350
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x56cb
callq 0x4350
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x56e3
callq 0x4350
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x56fb
callq 0x4350
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x5713
callq 0x4350
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x572b
callq 0x4350
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5743
callq 0x4350
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x575b
callq 0x4350
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x5773
callq 0x4350
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x578b
callq 0x4350
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x57a3
callq 0x4350
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x57bb
callq 0x4350
movq -0x370(%rbp), %rdi
leaq -0x360(%rbp), %rax
cmpq %rax, %rdi
je 0x57d3
callq 0x4350
movq -0x390(%rbp), %rdi
leaq -0x380(%rbp), %rax
cmpq %rax, %rdi
je 0x57eb
callq 0x4350
movq -0x3b0(%rbp), %rdi
leaq -0x3a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5803
callq 0x4350
movq -0x3d0(%rbp), %rdi
leaq -0x3c0(%rbp), %rax
cmpq %rax, %rdi
je 0x581b
callq 0x4350
movq -0x3f0(%rbp), %rdi
leaq -0x3e0(%rbp), %rax
cmpq %rax, %rdi
je 0x5833
callq 0x4350
movq -0x410(%rbp), %rdi
leaq -0x400(%rbp), %rax
cmpq %rax, %rdi
je 0x584b
callq 0x4350
movq -0x430(%rbp), %rdi
leaq -0x420(%rbp), %rax
cmpq %rax, %rdi
je 0x5863
callq 0x4350
movq -0x450(%rbp), %rdi
leaq -0x440(%rbp), %rax
cmpq %rax, %rdi
je 0x587b
callq 0x4350
movq -0x470(%rbp), %rdi
leaq -0x460(%rbp), %rax
cmpq %rax, %rdi
je 0x5893
callq 0x4350
movq -0x490(%rbp), %rdi
leaq -0x480(%rbp), %rax
cmpq %rax, %rdi
je 0x58ab
callq 0x4350
movq -0x4b0(%rbp), %rdi
leaq -0x4a0(%rbp), %rax
cmpq %rax, %rdi
je 0x58c3
callq 0x4350
movq -0x660(%rbp), %rdi
cmpq %r13, %rdi
je 0x58d4
callq 0x4350
movq -0x680(%rbp), %rdi
cmpq %r12, %rdi
je 0x58e5
callq 0x4350
leaq -0x768(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
callq 0x91e6
movq -0x6c8(%rbp), %rax
subq -0x6d0(%rbp), %rax
cmpq $0x60, %rax
je 0x5926
movq 0x2f6b6(%rip), %rax     # 0x34fc8
movq (%rax), %rsi
leaq -0x768(%rbp), %rdi
movl $0x1, %edx
callq 0x9788
movq -0x6d0(%rbp), %rax
leaq -0xb0(%rbp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0xc0(%rbp), %rdi
callq 0x797a
movq -0x6d0(%rbp), %rax
leaq -0x90(%rbp), %r15
movq %r15, -0x10(%r15)
movq 0x20(%rax), %rsi
movq 0x28(%rax), %rdx
addq %rsi, %rdx
leaq -0xa0(%rbp), %rdi
callq 0x797a
movq -0x6d0(%rbp), %rax
leaq -0xe0(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x40(%rax), %rsi
movq 0x48(%rax), %rdx
addq %rsi, %rdx
leaq -0xf0(%rbp), %rdi
callq 0x797a
leaq -0x630(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x21836(%rip), %rsi     # 0x271e9
leaq 0x21842(%rip), %rdx     # 0x271fc
leaq -0x640(%rbp), %rdi
callq 0x7a14
leaq -0x768(%rbp), %rdi
leaq -0x640(%rbp), %rsi
callq 0x92a0
movq %rax, %rdi
callq 0x8682
movss %xmm0, -0x38(%rbp)
movq -0x640(%rbp), %rdi
cmpq %r12, %rdi
je 0x59f7
callq 0x4350
leaq -0x610(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x217f3(%rip), %rsi     # 0x271fd
leaq 0x217f6(%rip), %rdx     # 0x27207
leaq -0x620(%rbp), %rdi
callq 0x7a14
leaq -0x768(%rbp), %rdi
leaq -0x620(%rbp), %rsi
callq 0x92a0
movq %rax, %rdi
callq 0x863c
movl %eax, -0x3c(%rbp)
movq -0x620(%rbp), %rdi
cmpq %r12, %rdi
je 0x5a4c
callq 0x4350
leaq -0x5f0(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x217a9(%rip), %rsi     # 0x27208
leaq 0x217ac(%rip), %rdx     # 0x27212
leaq -0x600(%rbp), %rdi
callq 0x7a14
leaq -0x768(%rbp), %rdi
leaq -0x600(%rbp), %rsi
callq 0x92a0
movq %rax, %rdi
callq 0x863c
movl %eax, -0x48(%rbp)
movq -0x600(%rbp), %rdi
cmpq %r12, %rdi
je 0x5aa1
callq 0x4350
leaq -0x5d0(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x216c9(%rip), %rsi     # 0x2717d
leaq 0x216d2(%rip), %rdx     # 0x2718d
leaq -0x5e0(%rbp), %rdi
callq 0x7a14
leaq -0x768(%rbp), %rdi
leaq -0x5e0(%rbp), %rsi
callq 0x92a0
movb 0x4a(%rax), %al
movb %al, -0x2a(%rbp)
movq -0x5e0(%rbp), %rdi
cmpq %r12, %rdi
je 0x5af1
callq 0x4350
leaq -0x5b0(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x216bf(%rip), %rsi     # 0x271c3
leaq 0x216bd(%rip), %rdx     # 0x271c8
leaq -0x5c0(%rbp), %rdi
callq 0x7a14
leaq -0x768(%rbp), %rdi
leaq -0x5c0(%rbp), %rsi
callq 0x92a0
movb 0x4a(%rax), %al
movb %al, -0x29(%rbp)
movq -0x5c0(%rbp), %rdi
cmpq %r12, %rdi
je 0x5b41
callq 0x4350
leaq -0x4d8(%rbp), %rcx
movl $0x0, (%rcx)
xorl %eax, %eax
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
leaq -0x590(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x216a0(%rip), %rsi     # 0x27213
leaq 0x216a2(%rip), %rdx     # 0x2721c
leaq -0x5a0(%rbp), %rdi
callq 0x7a14
leaq -0x768(%rbp), %rdi
leaq -0x5a0(%rbp), %rsi
callq 0x92a0
movb 0x4a(%rax), %bl
movq -0x5a0(%rbp), %rdi
cmpq %r12, %rdi
je 0x5bad
callq 0x4350
testb %bl, %bl
je 0x5cb7
xorps %xmm0, %xmm0
movaps %xmm0, -0x120(%rbp)
movq $0x0, -0x110(%rbp)
leaq -0x550(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x21636(%rip), %rsi     # 0x27213
leaq 0x21638(%rip), %rdx     # 0x2721c
leaq -0x560(%rbp), %rdi
callq 0x7a14
leaq -0x768(%rbp), %rdi
leaq -0x560(%rbp), %rsi
callq 0x92a0
movq %rax, %rdi
callq 0x8706
leaq -0x570(%rbp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x580(%rbp), %rdi
callq 0x797a
leaq -0x580(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0x1f2d0
movq -0x580(%rbp), %rdi
cmpq %r13, %rdi
je 0x5c50
callq 0x4350
movq -0x560(%rbp), %rdi
cmpq %r12, %rdi
je 0x5c61
callq 0x4350
movq -0x120(%rbp), %rbx
movq -0x118(%rbp), %r12
leaq -0x4e0(%rbp), %rax
movq %rax, -0x150(%rbp)
cmpq %r12, %rbx
je 0x5cab
leaq -0x150(%rbp), %r13
leaq -0x4e0(%rbp), %rdi
leaq -0x4d8(%rbp), %rsi
movq %rbx, %rdx
movq %r13, %rcx
callq 0x7aae
addq $0x20, %rbx
cmpq %r12, %rbx
jne 0x5c89
leaq -0x120(%rbp), %rdi
callq 0x6b4e
movq 0x2f32a(%rip), %rdi     # 0x34fe8
movq (%rdi), %rax
movq -0x18(%rax), %rcx
movq $0xf, 0x8(%rdi,%rcx)
movq -0x18(%rax), %rax
orl $0x1, 0x18(%rdi,%rax)
leaq 0x2153f(%rip), %rsi     # 0x2721d
movl $0x1d, %edx
callq 0x4400
movq -0xc0(%rbp), %rsi
movq -0xb8(%rbp), %rdx
movq 0x2f2eb(%rip), %rdi     # 0x34fe8
callq 0x4400
movq %rax, %rdi
callq 0x4180
movq 0x2f2d7(%rip), %rdi     # 0x34fe8
leaq 0x21523(%rip), %rsi     # 0x2723b
movl $0x20, %edx
callq 0x4400
movq -0xa0(%rbp), %rsi
movq -0x98(%rbp), %rdx
movq 0x2f2b1(%rip), %rdi     # 0x34fe8
callq 0x4400
movq %rax, %rdi
callq 0x4180
movq 0x2f29d(%rip), %rdi     # 0x34fe8
leaq 0x2150a(%rip), %rsi     # 0x2725c
movl $0x1e, %edx
callq 0x4400
movq -0xf0(%rbp), %rsi
movq -0xe8(%rbp), %rdx
movq 0x2f277(%rip), %rdi     # 0x34fe8
callq 0x4400
movq %rax, %rdi
callq 0x4180
movq 0x2f263(%rip), %rdi     # 0x34fe8
leaq 0x214ef(%rip), %rsi     # 0x2727b
movl $0x21, %edx
callq 0x4400
cvtss2sd -0x38(%rbp), %xmm0
movq 0x2f246(%rip), %rdi     # 0x34fe8
movsd %xmm0, -0xd0(%rbp)
callq 0x4590
movq %rax, %rdi
callq 0x4180
movq 0x2f22a(%rip), %rdi     # 0x34fe8
leaq 0x214d8(%rip), %rsi     # 0x2729d
movl $0x32, %edx
callq 0x4400
movl -0x3c(%rbp), %esi
movq 0x2f20f(%rip), %rdi     # 0x34fe8
callq 0x4250
movq %rax, %rdi
callq 0x4180
cmpq $0x0, -0x4b8(%rbp)
je 0x5e3a
movq 0x2f1f1(%rip), %rdi     # 0x34fe8
leaq 0x214d2(%rip), %rsi     # 0x272d0
movl $0x1a, %edx
callq 0x4400
movq -0x4b8(%rbp), %rsi
movq 0x2f1d2(%rip), %rdi     # 0x34fe8
callq 0x4250
movq %rax, %rbx
leaq 0x214c6(%rip), %rsi     # 0x272eb
movl $0x9, %edx
movq %rax, %rdi
callq 0x4400
movq %rbx, %rdi
callq 0x4180
movq 0x2f1a7(%rip), %rdi     # 0x34fe8
leaq 0x214ad(%rip), %rsi     # 0x272f5
movl $0x1f, %edx
callq 0x4400
movl -0x48(%rbp), %esi
movq 0x2f18c(%rip), %rdi     # 0x34fe8
movq %rsi, -0xc8(%rbp)
callq 0x4250
movq %rax, %rdi
callq 0x4180
movq 0x2f171(%rip), %rdi     # 0x34fe8
leaq 0x21497(%rip), %rsi     # 0x27315
movl $0x22, %edx
callq 0x4400
movzbl -0x2a(%rbp), %esi
movq 0x2f155(%rip), %rdi     # 0x34fe8
callq 0x45d0
movq %rax, %rdi
callq 0x4180
movq 0x2f141(%rip), %rdi     # 0x34fe8
leaq 0x2148a(%rip), %rsi     # 0x27338
movl $0x1c, %edx
callq 0x4400
movzbl -0x29(%rbp), %r12d
movq 0x2f124(%rip), %rdi     # 0x34fe8
movl %r12d, %esi
callq 0x45d0
movq %rax, %rdi
callq 0x4180
leaq -0x118(%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 -0x148(%rbp), %rax
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x6a8(%rbp), %rax
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
movq %rcx, -0x60(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x70(%rbp)
movq 0x2f0b5(%rip), %rdi     # 0x34fe8
leaq 0x2141b(%rip), %rsi     # 0x27355
movl $0x13, %edx
callq 0x4400
movq -0xa0(%rbp), %rsi
movq -0x98(%rbp), %rdx
movq 0x2f08f(%rip), %rdi     # 0x34fe8
callq 0x4400
movq %rax, %rdi
callq 0x4180
leaq -0x530(%rbp), %r13
movq %r13, -0x10(%r13)
movq -0xa0(%rbp), %rsi
movq -0x98(%rbp), %rdx
addq %rsi, %rdx
leaq -0x540(%rbp), %rdi
callq 0x797a
leaq -0x540(%rbp), %rdi
leaq -0x150(%rbp), %rsi
leaq -0x4c(%rbp), %rdx
movl %r12d, %ecx
callq 0x1eaaa
movl %eax, %ebx
movq -0x540(%rbp), %rdi
cmpq %r13, %rdi
je 0x5fbb
callq 0x4350
testl %ebx, %ebx
jns 0x5fe8
movq 0x2f022(%rip), %rdi     # 0x34fe8
leaq 0x2139c(%rip), %rsi     # 0x27369
movl $0x27, %edx
callq 0x4400
movq 0x2f00a(%rip), %rdi     # 0x34fe8
callq 0x4180
jmp 0x6141
movq 0x2eff9(%rip), %rdi     # 0x34fe8
leaq 0x21800(%rip), %rsi     # 0x277f6
movl $0x1, %edx
callq 0x4400
movq 0x2efe1(%rip), %rdi     # 0x34fe8
leaq 0x21300(%rip), %rsi     # 0x2730e
movl $0x6, %edx
callq 0x4400
movq -0x128(%rbp), %rsi
movq 0x2efc2(%rip), %rdi     # 0x34fe8
callq 0x4250
movq %rax, %rdi
callq 0x4180
movq 0x2efae(%rip), %rdi     # 0x34fe8
leaq 0x217b5(%rip), %rsi     # 0x277f6
movl $0x1, %edx
callq 0x4400
movq 0x2ef96(%rip), %rdi     # 0x34fe8
leaq 0x21338(%rip), %rsi     # 0x27391
movl $0x17, %edx
callq 0x4400
movl -0x4c(%rbp), %esi
movq 0x2ef7b(%rip), %rdi     # 0x34fe8
callq 0x4620
movq %rax, %rdi
callq 0x4180
leaq -0x150(%rbp), %rdi
leaq -0x120(%rbp), %rsi
movl -0x3c(%rbp), %edx
movl %r12d, %ecx
callq 0x68d4
movq 0x2ef4e(%rip), %rdi     # 0x34fe8
leaq 0x21308(%rip), %rsi     # 0x273a9
movl $0x18, %edx
callq 0x4400
movq -0xc0(%rbp), %rsi
movq -0xb8(%rbp), %rdx
movq 0x2ef28(%rip), %rdi     # 0x34fe8
callq 0x4400
movq %rax, %rdi
callq 0x4180
leaq -0x510(%rbp), %r12
movq %r12, -0x10(%r12)
movq -0xc0(%rbp), %rsi
movq -0xb8(%rbp), %rdx
addq %rsi, %rdx
leaq -0x520(%rbp), %rdi
callq 0x797a
leaq -0x520(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x1f2d0
movl %eax, %ebx
movq -0x520(%rbp), %rdi
cmpq %r12, %rdi
je 0x6119
callq 0x4350
testl %ebx, %ebx
jns 0x614b
movq 0x2eec4(%rip), %rdi     # 0x34fe8
leaq 0x21297(%rip), %rsi     # 0x273c2
movl $0x2c, %edx
callq 0x4400
movq 0x2eeac(%rip), %rdi     # 0x34fe8
callq 0x4180
movl $0x1, %edi
callq 0x4420
movq 0x2ee96(%rip), %rdi     # 0x34fe8
leaq 0x2169d(%rip), %rsi     # 0x277f6
movl $0x1, %edx
callq 0x4400
movq 0x2ee7e(%rip), %rdi     # 0x34fe8
leaq 0x2127e(%rip), %rsi     # 0x273ef
movl $0x1f, %edx
callq 0x4400
movq -0x68(%rbp), %rsi
subq -0x70(%rbp), %rsi
sarq $0x5, %rsi
movq 0x2ee5a(%rip), %rdi     # 0x34fe8
callq 0x4250
movq %rax, %rdi
callq 0x4180
cmpb $0x0, -0x2a(%rbp)
je 0x61aa
leaq 0x12c35(%rip), %rax     # 0x18ddd
jmp 0x61b1
leaq 0x12624(%rip), %rax     # 0x187d5
movq %rax, -0x80(%rbp)
movb -0x29(%rbp), %al
movb %al, -0x78(%rbp)
movq 0x2ee26(%rip), %rdi     # 0x34fe8
callq 0x4180
movq %rax, %rbx
leaq 0x2123e(%rip), %rsi     # 0x2740f
movl $0x11, %edx
movq %rax, %rdi
callq 0x4400
movq %rbx, %rdi
callq 0x4180
leaq -0x80(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x150(%rbp), %rdx
leaq -0x6b0(%rbp), %rcx
callq 0x1f750
movsd %xmm0, -0x38(%rbp)
movq 0x2eddb(%rip), %rdi     # 0x34fe8
leaq 0x2120d(%rip), %rsi     # 0x27421
movl $0xc, %edx
callq 0x4400
movq 0x2edc3(%rip), %rdi     # 0x34fe8
movsd -0x38(%rbp), %xmm0
callq 0x4590
movq %rax, %rdi
callq 0x4180
xorps %xmm0, %xmm0
movsd %xmm0, -0x38(%rbp)
movq 0x2eda2(%rip), %r12     # 0x34fe8
leaq -0x150(%rbp), %r13
movq -0xc8(%rbp), %rax
cmpq %rax, -0x128(%rbp)
jbe 0x6368
movsd -0x38(%rbp), %xmm0
addsd -0xd0(%rbp), %xmm0
leaq -0x80(%rbp), %rdi
leaq -0x6b0(%rbp), %rsi
movsd %xmm0, -0x38(%rbp)
leaq -0x4e0(%rbp), %rdx
movl -0x3c(%rbp), %ecx
callq 0x1fc48
movl $0xc, %edx
movq %r12, %rdi
leaq 0x21192(%rip), %rsi     # 0x2742e
callq 0x4400
movq %r12, %rdi
movsd -0x38(%rbp), %xmm0
callq 0x4590
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x21536(%rip), %rsi     # 0x277f6
callq 0x4400
movl $0x11, %edx
movq %rbx, %rdi
leaq 0x21167(%rip), %rsi     # 0x2743b
callq 0x4400
movq -0x688(%rbp), %rsi
movq %rbx, %rdi
callq 0x4250
movq %rax, %rdi
callq 0x4180
movq %r13, %rdi
leaq -0x6b0(%rbp), %rsi
callq 0x6f80
movq %r13, %rdi
movsd 0x20cfe(%rip), %xmm0    # 0x27008
callq 0x1f5e6
movq %r13, %rdi
leaq -0x120(%rbp), %rsi
callq 0x6add
leaq -0x80(%rbp), %rdi
leaq -0x70(%rbp), %rsi
movq %r13, %rdx
leaq -0x6b0(%rbp), %rcx
callq 0x1f750
movsd %xmm0, -0x48(%rbp)
movl $0xc, %edx
movq %r12, %rdi
leaq 0x210d8(%rip), %rsi     # 0x27421
callq 0x4400
movq %r12, %rdi
movsd -0x48(%rbp), %xmm0
callq 0x4590
movq %rax, %rdi
callq 0x4180
jmp 0x624d
leaq -0x4f0(%rbp), %r12
movq %r12, -0x10(%r12)
movq -0xf0(%rbp), %rsi
movq -0xe8(%rbp), %rdx
addq %rsi, %rdx
leaq -0x500(%rbp), %rdi
callq 0x797a
leaq -0x500(%rbp), %rdi
leaq -0x150(%rbp), %rsi
xorl %edx, %edx
movl $0x6, %ecx
callq 0x1ef0e
leaq -0x500(%rbp), %rdi
callq 0x4708
xorl %edi, %edi
callq 0x4420
movq %rax, %rbx
movq -0x500(%rbp), %rdi
jmp 0x63de
jmp 0x63fb
jmp 0x63fb
jmp 0x63fb
jmp 0x63fb
jmp 0x63fb
movq %rax, %rbx
movq -0x520(%rbp), %rdi
cmpq %r12, %rdi
jne 0x63f4
jmp 0x63fe
movq %rax, %rbx
movq -0x540(%rbp), %rdi
cmpq %r13, %rdi
je 0x63fe
callq 0x4350
jmp 0x63fe
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x6b4e
leaq -0x6b0(%rbp), %rdi
callq 0x7790
leaq -0x150(%rbp), %rdi
callq 0x7790
leaq -0x120(%rbp), %rdi
callq 0x77a8
jmp 0x6487
jmp 0x6484
jmp 0x645d
movq %rax, %rbx
movq -0x580(%rbp), %rdi
cmpq %r13, %rdi
je 0x644a
callq 0x4350
jmp 0x644a
movq %rax, %rbx
movq -0x560(%rbp), %rdi
cmpq %r12, %rdi
je 0x6460
callq 0x4350
jmp 0x6460
movq %rax, %rbx
leaq -0x120(%rbp), %rdi
callq 0x6b4e
jmp 0x6487
movq %rax, %rbx
movq -0x5a0(%rbp), %rdi
cmpq %r12, %rdi
je 0x6487
callq 0x4350
jmp 0x6487
movq %rax, %rbx
leaq -0x4e0(%rbp), %rdi
callq 0x77a8
jmp 0x64e6
movq %rax, %rbx
movq -0x5c0(%rbp), %rdi
jmp 0x64d7
jmp 0x64e3
movq %rax, %rbx
movq -0x5e0(%rbp), %rdi
jmp 0x64d7
jmp 0x64e3
movq %rax, %rbx
movq -0x600(%rbp), %rdi
jmp 0x64d7
jmp 0x64e3
movq %rax, %rbx
movq -0x620(%rbp), %rdi
jmp 0x64d7
jmp 0x64e3
movq %rax, %rbx
movq -0x640(%rbp), %rdi
cmpq %r12, %rdi
je 0x64e6
callq 0x4350
jmp 0x64e6
movq %rax, %rbx
movq -0xf0(%rbp), %rdi
leaq -0xe0(%rbp), %rax
cmpq %rax, %rdi
je 0x6503
callq 0x4350
jmp 0x6503
movq %rax, %rbx
movq -0xa0(%rbp), %rdi
cmpq %r15, %rdi
je 0x6519
callq 0x4350
jmp 0x6519
movq %rax, %rbx
movq -0xc0(%rbp), %rdi
cmpq %r14, %rdi
jne 0x687a
jmp 0x6884
jmp 0x6881
jmp 0x6881
movq %rax, %rbx
movq -0x170(%rbp), %rdi
leaq -0x160(%rbp), %rax
cmpq %rax, %rdi
je 0x6558
callq 0x4350
jmp 0x6558
movq %rax, %rbx
movq -0x190(%rbp), %rdi
leaq -0x180(%rbp), %rax
cmpq %rax, %rdi
je 0x6575
callq 0x4350
jmp 0x6575
movq %rax, %rbx
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6592
callq 0x4350
jmp 0x6592
movq %rax, %rbx
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x65b1
callq 0x4350
jmp 0x65b1
jmp 0x65ae
movq %rax, %rbx
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x65ce
callq 0x4350
jmp 0x65ce
movq %rax, %rbx
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x65eb
callq 0x4350
jmp 0x65eb
movq %rax, %rbx
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x6608
callq 0x4350
jmp 0x6608
movq %rax, %rbx
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x6627
callq 0x4350
jmp 0x6627
jmp 0x6624
movq %rax, %rbx
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x6644
callq 0x4350
jmp 0x6644
movq %rax, %rbx
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x6661
callq 0x4350
jmp 0x6661
movq %rax, %rbx
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x667e
callq 0x4350
jmp 0x667e
movq %rax, %rbx
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x669d
callq 0x4350
jmp 0x669d
jmp 0x669a
movq %rax, %rbx
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x66ba
callq 0x4350
jmp 0x66ba
movq %rax, %rbx
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x66d7
callq 0x4350
jmp 0x66d7
movq %rax, %rbx
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x66f4
callq 0x4350
jmp 0x66f4
movq %rax, %rbx
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x6713
callq 0x4350
jmp 0x6713
jmp 0x6710
movq %rax, %rbx
movq -0x370(%rbp), %rdi
leaq -0x360(%rbp), %rax
cmpq %rax, %rdi
je 0x6730
callq 0x4350
jmp 0x6730
movq %rax, %rbx
movq -0x390(%rbp), %rdi
leaq -0x380(%rbp), %rax
cmpq %rax, %rdi
je 0x674d
callq 0x4350
jmp 0x674d
movq %rax, %rbx
movq -0x3b0(%rbp), %rdi
leaq -0x3a0(%rbp), %rax
cmpq %rax, %rdi
je 0x676a
callq 0x4350
jmp 0x676a
movq %rax, %rbx
movq -0x3d0(%rbp), %rdi
leaq -0x3c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6789
callq 0x4350
jmp 0x6789
jmp 0x6786
movq %rax, %rbx
movq -0x3f0(%rbp), %rdi
leaq -0x3e0(%rbp), %rax
cmpq %rax, %rdi
je 0x67a6
callq 0x4350
jmp 0x67a6
movq %rax, %rbx
movq -0x410(%rbp), %rdi
leaq -0x400(%rbp), %rax
cmpq %rax, %rdi
je 0x67c3
callq 0x4350
jmp 0x67c3
movq %rax, %rbx
movq -0x430(%rbp), %rdi
leaq -0x420(%rbp), %rax
cmpq %rax, %rdi
je 0x67e0
callq 0x4350
jmp 0x67e0
movq %rax, %rbx
movq -0x450(%rbp), %rdi
leaq -0x440(%rbp), %rax
cmpq %rax, %rdi
je 0x67ff
callq 0x4350
jmp 0x67ff
jmp 0x67fc
movq %rax, %rbx
movq -0x470(%rbp), %rdi
leaq -0x460(%rbp), %rax
cmpq %rax, %rdi
je 0x681c
callq 0x4350
jmp 0x681c
movq %rax, %rbx
movq -0x490(%rbp), %rdi
leaq -0x480(%rbp), %rax
cmpq %rax, %rdi
je 0x6839
callq 0x4350
jmp 0x6839
movq %rax, %rbx
movq -0x4b0(%rbp), %rdi
leaq -0x4a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6856
callq 0x4350
jmp 0x6856
movq %rax, %rbx
movq -0x660(%rbp), %rdi
cmpq %r13, %rdi
je 0x686e
callq 0x4350
jmp 0x686e
jmp 0x686b
movq %rax, %rbx
movq -0x680(%rbp), %rdi
cmpq %r12, %rdi
je 0x6884
callq 0x4350
jmp 0x6884
movq %rax, %rbx
leaq -0x6d0(%rbp), %rdi
callq 0x6b4e
leaq -0x700(%rbp), %rdi
callq 0x7846
leaq -0x730(%rbp), %rdi
callq 0x78b0
leaq -0x748(%rbp), %r14
movq %r14, %rdi
callq 0x7812
movq -0x20(%r14), %rdi
leaq -0x758(%rbp), %rax
cmpq %rax, %rdi
je 0x68cc
callq 0x4350
movq %rbx, %rdi
callq 0x4650