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

    conf::Config config;
    config("usage: 1g-prune [OPTION...] WORDLIST VOCAB_INIT VOCAB_FINAL\n")
      ('h', "help", "", "", "display help")
      ('c', "candidates=INT", "arg", "10000", "Number of subwords to consider for removal per iteration, DEFAULT: 10 000")
      ('r', "removals=INT", "arg", "500", "Number of subwords to remove per iteration, DEFAULT: 500")
      ('m', "min-length=INT", "arg", "2", "Minimum length of subwords 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")
      ('t', "temp-vocabs=INT", "arg", "0", "Write out intermediate vocabularies for #V mod INT == 0")
      ('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 subword_min_lp = -25.0;
    string wordlist_fname = config.arguments[0];
    string vocab_fname = config.arguments[1];
    string out_vocab_fname = config.arguments[2];
    unsigned int n_candidates_per_iter = config["candidates"].get_int();
    unsigned int removals_per_iter = config["removals"].get_int();
    unsigned int min_removal_length = config["min-length"].get_int();
    unsigned int target_vocab_size = config["vocab-size"].get_int();
    unsigned int temp_vocab_interval = config["temp-vocabs"].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, wordlist: " << wordlist_fname << endl;
    cerr << "parameters, initial vocabulary: " << vocab_fname << endl;
    cerr << "parameters, final vocabulary: " << out_vocab_fname << endl;
    cerr << "parameters, candidates per iteration: " << n_candidates_per_iter << endl;
    cerr << "parameters, minimum length for subwords to remove: " << min_removal_length << endl;
    cerr << "parameters, removals per iteration: " << removals_per_iter << endl;
    if (stoplist.size() > 0)
        cerr << "parameters, stoplist with " << stoplist.size() << " subwords" << endl;
    cerr << "parameters, target vocab size: " << target_vocab_size << endl;
    if (temp_vocab_interval > 0)
        cerr << "parameters, write temporary vocabularies whenever #V modulo " << temp_vocab_interval << " == 0" << endl;
    else
        cerr << "parameters, write temp vocabularies: NO" << endl;
    cerr << "parameters, use forward-backward: " << enable_forward_backward << endl;
    cerr << "parameters, utf-8 encoding: " << utf8_encoding << endl;

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

    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_subwords, min_removal_length, utf8_encoding);

    set<string> stop_union;
    set_union(stoplist.begin(), stoplist.end(),
              short_subwords.begin(), short_subwords.end(),
              inserter(stop_union, stop_union.begin()));
    stoplist = stop_union;

    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);

    flt_type cost = ug.resegment_words(words, vocab, freqs);
    cerr << endl << "Initial likelihood: " << cost << endl;

    cerr << endl << "Removing subwords by likelihood based pruning" << endl;
    int itern = 1;
    while (true) {

        cerr << "iteration " << itern << endl;
        cerr << "collecting candidate subwords" << endl;
        set<string> candidates;
        ug.init_candidates_by_usage(words, vocab, candidates, n_candidates_per_iter/3, stoplist, min_removal_length);
        ug.init_candidates_by_random(vocab, candidates, (n_candidates_per_iter-candidates.size())/4, stoplist, min_removal_length);
        ug.init_candidates(vocab, candidates, n_candidates_per_iter, stoplist, min_removal_length);

        cerr << "ranking candidate subwords (" << candidates.size() << ")" << endl;
        vector<pair<string, flt_type> > removal_scores;
        cost = ug.rank_candidates(words, vocab, candidates, freqs, removal_scores);

        cerr << "initial likelihood before removing subwords: " << cost << endl;

        // Remove subwords one by one
        unsigned int n_removals = 0;
        for (unsigned int i=0; i<removal_scores.size(); i++) {

            if (removal_scores[i].first.length() == 1) continue;
            // Score most probably went to zero already
            if (vocab.find(removal_scores[i].first) == vocab.end()) continue;
            if (freqs.find(removal_scores[i].first) == freqs.end()) continue;

            vocab.erase(removal_scores[i].first);
            freqs.erase(removal_scores[i].first);
            n_removals++;

            if (temp_vocab_interval > 0 && freqs.size() % temp_vocab_interval == 0) {
                vocab = freqs;
                Unigrams::freqs_to_logprobs(vocab);
                ostringstream vocabfname;
                vocabfname << "iteration_" << itern << "_" << vocab.size() << ".vocab";
                Unigrams::write_vocab(vocabfname.str(), vocab);
            }

            if (n_removals >= removals_per_iter) break;
            if (vocab.size() <= target_vocab_size) break;
        }

        cost = ug.iterate(words, vocab, 1);
        assert_factors(vocab, stoplist, subword_min_lp);

        cerr << "subwords removed in this iteration: " << n_removals << endl;
        cerr << "current vocabulary size: " << vocab.size() << endl;
        cerr << "likelihood after the removals: " << cost << endl;

        itern++;

        if (vocab.size() <= target_vocab_size) {
            cerr << "stopping by min_vocab_size." << endl;
            break;
        }
    }

    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 $0xb08, %rsp            # imm = 0xB08
movq %rsi, %rbx
movl %edi, %r14d
leaq -0x938(%rbp), %rdi
callq 0x983e
leaq -0x840(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x22f0b(%rip), %rsi     # 0x28030
leaq 0x22f40(%rip), %rdx     # 0x2806c
leaq -0x850(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x850(%rbp), %rsi
callq 0x98a4
movq %rax, %r15
leaq -0x820(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x22f15(%rip), %rsi     # 0x28075
leaq 0x22f12(%rip), %rdx     # 0x28079
leaq -0x830(%rbp), %rdi
callq 0x8720
leaq -0x5e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x238a2(%rip), %rdx     # 0x28a27
leaq -0x5f0(%rbp), %rdi
movq %rdx, %rsi
callq 0x8720
leaq -0x5c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23881(%rip), %rdx     # 0x28a27
leaq -0x5d0(%rbp), %rdi
movq %rdx, %rsi
callq 0x8720
leaq -0x5a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22ea6(%rip), %rsi     # 0x2806d
leaq 0x22eab(%rip), %rdx     # 0x28079
leaq -0x5b0(%rbp), %rdi
callq 0x8720
leaq -0x830(%rbp), %rdx
leaq -0x5f0(%rbp), %rcx
leaq -0x5d0(%rbp), %r8
leaq -0x5b0(%rbp), %r9
movq %r15, %rdi
movl $0x68, %esi
callq 0x98bc
movq %rax, %r15
leaq -0x580(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e62(%rip), %rsi     # 0x2807a
leaq 0x22e69(%rip), %rdx     # 0x28088
leaq -0x590(%rbp), %rdi
callq 0x8720
leaq -0x560(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e4c(%rip), %rsi     # 0x28089
leaq 0x22e48(%rip), %rdx     # 0x2808c
leaq -0x570(%rbp), %rdi
callq 0x8720
leaq -0x540(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e2b(%rip), %rsi     # 0x2808d
leaq 0x22e29(%rip), %rdx     # 0x28092
leaq -0x550(%rbp), %rdi
callq 0x8720
leaq -0x520(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e0c(%rip), %rsi     # 0x28093
leaq 0x22e4e(%rip), %rdx     # 0x280dc
leaq -0x530(%rbp), %rdi
callq 0x8720
leaq -0x590(%rbp), %rdx
leaq -0x570(%rbp), %rcx
leaq -0x550(%rbp), %r8
leaq -0x530(%rbp), %r9
movq %r15, %rdi
movl $0x63, %esi
callq 0x98bc
movq %rax, %r15
leaq -0x500(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e05(%rip), %rsi     # 0x280dd
leaq 0x22e0a(%rip), %rdx     # 0x280e9
leaq -0x510(%rbp), %rdi
callq 0x8720
leaq -0x4e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d8c(%rip), %rsi     # 0x28089
leaq 0x22d88(%rip), %rdx     # 0x2808c
leaq -0x4f0(%rbp), %rdi
callq 0x8720
leaq -0x4c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22dfd(%rip), %rsi     # 0x2811f
leaq 0x22df9(%rip), %rdx     # 0x28122
leaq -0x4d0(%rbp), %rdi
callq 0x8720
leaq -0x4a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22da3(%rip), %rsi     # 0x280ea
leaq 0x22dd4(%rip), %rdx     # 0x28122
leaq -0x4b0(%rbp), %rdi
callq 0x8720
leaq -0x510(%rbp), %rdx
leaq -0x4f0(%rbp), %rcx
leaq -0x4d0(%rbp), %r8
leaq -0x4b0(%rbp), %r9
movq %r15, %rdi
movl $0x72, %esi
callq 0x98bc
movq %rax, %r15
leaq -0x480(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d8b(%rip), %rsi     # 0x28123
leaq 0x22d92(%rip), %rdx     # 0x28131
leaq -0x490(%rbp), %rdi
callq 0x8720
leaq -0x460(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22ccc(%rip), %rsi     # 0x28089
leaq 0x22cc8(%rip), %rdx     # 0x2808c
leaq -0x470(%rbp), %rdi
callq 0x8720
leaq -0x440(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d7f(%rip), %rsi     # 0x28161
leaq 0x22d79(%rip), %rdx     # 0x28162
leaq -0x450(%rbp), %rdi
callq 0x8720
leaq -0x420(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d2b(%rip), %rsi     # 0x28132
leaq 0x22d54(%rip), %rdx     # 0x28162
leaq -0x430(%rbp), %rdi
callq 0x8720
leaq -0x490(%rbp), %rdx
leaq -0x470(%rbp), %rcx
leaq -0x450(%rbp), %r8
leaq -0x430(%rbp), %r9
movq %r15, %rdi
movl $0x6d, %esi
callq 0x98bc
movq %rax, %r15
leaq -0x400(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d0b(%rip), %rsi     # 0x28163
leaq 0x22d12(%rip), %rdx     # 0x28171
leaq -0x410(%rbp), %rdi
callq 0x8720
leaq -0x3e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22cf5(%rip), %rsi     # 0x28172
leaq 0x22cf6(%rip), %rdx     # 0x2817a
leaq -0x3f0(%rbp), %rdi
callq 0x8720
leaq -0x3c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23585(%rip), %rdx     # 0x28a27
leaq -0x3d0(%rbp), %rdi
movq %rdx, %rsi
callq 0x8720
leaq -0x3a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22cb8(%rip), %rsi     # 0x2817b
leaq 0x22cc7(%rip), %rdx     # 0x28191
leaq -0x3b0(%rbp), %rdi
callq 0x8720
leaq -0x410(%rbp), %rdx
leaq -0x3f0(%rbp), %rcx
leaq -0x3d0(%rbp), %r8
leaq -0x3b0(%rbp), %r9
movq %r15, %rdi
movl $0x76, %esi
callq 0x98bc
movq %rax, %r15
leaq -0x380(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c7e(%rip), %rsi     # 0x28192
leaq 0x22c87(%rip), %rdx     # 0x281a2
leaq -0x390(%rbp), %rdi
callq 0x8720
leaq -0x360(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b50(%rip), %rsi     # 0x28089
leaq 0x22b4c(%rip), %rdx     # 0x2808c
leaq -0x370(%rbp), %rdi
callq 0x8720
leaq -0x340(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x234c9(%rip), %rdx     # 0x28a27
leaq -0x350(%rbp), %rdi
movq %rdx, %rsi
callq 0x8720
leaq -0x320(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c24(%rip), %rsi     # 0x281a3
leaq 0x22c55(%rip), %rdx     # 0x281db
leaq -0x330(%rbp), %rdi
callq 0x8720
leaq -0x390(%rbp), %rdx
leaq -0x370(%rbp), %rcx
leaq -0x350(%rbp), %r8
leaq -0x330(%rbp), %r9
movq %r15, %rdi
movl $0x73, %esi
callq 0x98bc
movq %rax, %r15
leaq -0x300(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c0c(%rip), %rsi     # 0x281dc
leaq 0x22c14(%rip), %rdx     # 0x281eb
leaq -0x310(%rbp), %rdi
callq 0x8720
leaq -0x2e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22a94(%rip), %rsi     # 0x28089
leaq 0x22a90(%rip), %rdx     # 0x2808c
leaq -0x2f0(%rbp), %rdi
callq 0x8720
leaq -0x2c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c08(%rip), %rsi     # 0x28222
leaq 0x22c02(%rip), %rdx     # 0x28223
leaq -0x2d0(%rbp), %rdi
callq 0x8720
leaq -0x2a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22bad(%rip), %rsi     # 0x281ec
leaq 0x22bdd(%rip), %rdx     # 0x28223
leaq -0x2b0(%rbp), %rdi
callq 0x8720
leaq -0x310(%rbp), %rdx
leaq -0x2f0(%rbp), %rcx
leaq -0x2d0(%rbp), %r8
leaq -0x2b0(%rbp), %r9
movq %r15, %rdi
movl $0x74, %esi
callq 0x98bc
movq %rax, %r15
leaq -0x280(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b94(%rip), %rsi     # 0x28224
leaq 0x22b9d(%rip), %rdx     # 0x28234
leaq -0x290(%rbp), %rdi
callq 0x8720
leaq -0x260(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23372(%rip), %rdx     # 0x28a27
leaq -0x270(%rbp), %rdi
movq %rdx, %rsi
callq 0x8720
leaq -0x240(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23351(%rip), %rdx     # 0x28a27
leaq -0x250(%rbp), %rdi
movq %rdx, %rsi
callq 0x8720
leaq -0x220(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b3e(%rip), %rsi     # 0x28235
leaq 0x22b6b(%rip), %rdx     # 0x28269
leaq -0x230(%rbp), %rdi
callq 0x8720
leaq -0x290(%rbp), %rdx
leaq -0x270(%rbp), %rcx
leaq -0x250(%rbp), %r8
leaq -0x230(%rbp), %r9
movq %r15, %rdi
movl $0x66, %esi
callq 0x98bc
movq %rax, %r15
leaq -0x200(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b22(%rip), %rsi     # 0x2826a
leaq 0x22b20(%rip), %rdx     # 0x2826f
leaq -0x210(%rbp), %rdi
callq 0x8720
leaq -0x1e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x232ba(%rip), %rdx     # 0x28a27
leaq -0x1f0(%rbp), %rdi
movq %rdx, %rsi
callq 0x8720
leaq -0x1c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23299(%rip), %rdx     # 0x28a27
leaq -0x1d0(%rbp), %rdi
movq %rdx, %rsi
callq 0x8720
leaq -0x1a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22ac1(%rip), %rsi     # 0x28270
leaq 0x22ad9(%rip), %rdx     # 0x2828f
leaq -0x1b0(%rbp), %rdi
callq 0x8720
leaq -0x210(%rbp), %rdx
leaq -0x1f0(%rbp), %rcx
leaq -0x1d0(%rbp), %r8
leaq -0x1b0(%rbp), %r9
movq %r15, %rdi
movl $0x38, %esi
callq 0x98bc
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5803
callq 0x4360
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x581b
callq 0x4360
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x5833
callq 0x4360
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x584b
callq 0x4360
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x5863
callq 0x4360
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x587b
callq 0x4360
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x5893
callq 0x4360
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x58ab
callq 0x4360
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x58c3
callq 0x4360
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x58db
callq 0x4360
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x58f3
callq 0x4360
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x590b
callq 0x4360
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x5923
callq 0x4360
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x593b
callq 0x4360
movq -0x370(%rbp), %rdi
leaq -0x360(%rbp), %rax
cmpq %rax, %rdi
je 0x5953
callq 0x4360
movq -0x390(%rbp), %rdi
leaq -0x380(%rbp), %rax
cmpq %rax, %rdi
je 0x596b
callq 0x4360
movq -0x3b0(%rbp), %rdi
leaq -0x3a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5983
callq 0x4360
movq -0x3d0(%rbp), %rdi
leaq -0x3c0(%rbp), %rax
cmpq %rax, %rdi
je 0x599b
callq 0x4360
movq -0x3f0(%rbp), %rdi
leaq -0x3e0(%rbp), %rax
cmpq %rax, %rdi
je 0x59b3
callq 0x4360
movq -0x410(%rbp), %rdi
leaq -0x400(%rbp), %rax
cmpq %rax, %rdi
je 0x59cb
callq 0x4360
movq -0x430(%rbp), %rdi
leaq -0x420(%rbp), %rax
cmpq %rax, %rdi
je 0x59e3
callq 0x4360
movq -0x450(%rbp), %rdi
leaq -0x440(%rbp), %rax
cmpq %rax, %rdi
je 0x59fb
callq 0x4360
movq -0x470(%rbp), %rdi
leaq -0x460(%rbp), %rax
cmpq %rax, %rdi
je 0x5a13
callq 0x4360
movq -0x490(%rbp), %rdi
leaq -0x480(%rbp), %rax
cmpq %rax, %rdi
je 0x5a2b
callq 0x4360
movq -0x4b0(%rbp), %rdi
leaq -0x4a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5a43
callq 0x4360
movq -0x4d0(%rbp), %rdi
leaq -0x4c0(%rbp), %rax
cmpq %rax, %rdi
je 0x5a5b
callq 0x4360
movq -0x4f0(%rbp), %rdi
leaq -0x4e0(%rbp), %rax
cmpq %rax, %rdi
je 0x5a73
callq 0x4360
movq -0x510(%rbp), %rdi
leaq -0x500(%rbp), %rax
cmpq %rax, %rdi
je 0x5a8b
callq 0x4360
movq -0x530(%rbp), %rdi
leaq -0x520(%rbp), %rax
cmpq %rax, %rdi
je 0x5aa3
callq 0x4360
movq -0x550(%rbp), %rdi
leaq -0x540(%rbp), %rax
cmpq %rax, %rdi
je 0x5abb
callq 0x4360
movq -0x570(%rbp), %rdi
leaq -0x560(%rbp), %rax
cmpq %rax, %rdi
je 0x5ad3
callq 0x4360
movq -0x590(%rbp), %rdi
leaq -0x580(%rbp), %rax
cmpq %rax, %rdi
je 0x5aeb
callq 0x4360
movq -0x5b0(%rbp), %rdi
leaq -0x5a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5b03
callq 0x4360
movq -0x5d0(%rbp), %rdi
leaq -0x5c0(%rbp), %rax
cmpq %rax, %rdi
je 0x5b1b
callq 0x4360
movq -0x5f0(%rbp), %rdi
leaq -0x5e0(%rbp), %rax
cmpq %rax, %rdi
je 0x5b33
callq 0x4360
movq -0x830(%rbp), %rdi
cmpq %r13, %rdi
je 0x5b44
callq 0x4360
movq -0x850(%rbp), %rdi
cmpq %r12, %rdi
je 0x5b55
callq 0x4360
leaq -0x938(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
callq 0xa30a
movq -0x898(%rbp), %rax
subq -0x8a0(%rbp), %rax
cmpq $0x60, %rax
je 0x5b96
movq 0x30446(%rip), %rax     # 0x35fc8
movq (%rax), %rsi
leaq -0x938(%rbp), %rdi
movl $0x1, %edx
callq 0xa8ac
movq -0x8a0(%rbp), %rax
leaq -0xf8(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x108(%rbp), %rdi
callq 0x8686
movq -0x8a0(%rbp), %rax
leaq -0xd8(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x20(%rax), %rsi
movq 0x28(%rax), %rdx
addq %rsi, %rdx
leaq -0xe8(%rbp), %rdi
callq 0x8686
movq -0x8a0(%rbp), %rax
leaq -0x180(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x40(%rax), %rsi
movq 0x48(%rax), %rdx
addq %rsi, %rdx
leaq -0x190(%rbp), %rdi
callq 0x8686
leaq -0x800(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x2266e(%rip), %rsi     # 0x28290
leaq 0x22671(%rip), %rdx     # 0x2829a
leaq -0x810(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x810(%rbp), %rsi
callq 0xa3c4
movq %rax, %rdi
callq 0x9760
movl %eax, -0x4c(%rbp)
movq -0x810(%rbp), %rdi
cmpq %r14, %rdi
je 0x5c64
callq 0x4360
leaq -0x7e0(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22625(%rip), %rsi     # 0x2829b
leaq 0x22626(%rip), %rdx     # 0x282a3
leaq -0x7f0(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x7f0(%rbp), %rsi
callq 0xa3c4
movq %rax, %rdi
callq 0x9760
movl %eax, -0x54(%rbp)
movq -0x7f0(%rbp), %rdi
cmpq %r14, %rdi
je 0x5cb8
callq 0x4360
leaq -0x7c0(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x225da(%rip), %rsi     # 0x282a4
leaq 0x225dd(%rip), %rdx     # 0x282ae
leaq -0x7d0(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x7d0(%rbp), %rsi
callq 0xa3c4
movq %rax, %rdi
callq 0x9760
movl %eax, -0x2c(%rbp)
movq -0x7d0(%rbp), %rdi
cmpq %r14, %rdi
je 0x5d0c
callq 0x4360
leaq -0x7a0(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22591(%rip), %rsi     # 0x282af
leaq 0x22594(%rip), %rdx     # 0x282b9
leaq -0x7b0(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x7b0(%rbp), %rsi
callq 0xa3c4
movq %rax, %rdi
callq 0x9760
movl %eax, -0x48(%rbp)
movq -0x7b0(%rbp), %rdi
cmpq %r14, %rdi
je 0x5d60
callq 0x4360
leaq -0x780(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22548(%rip), %rsi     # 0x282ba
leaq 0x2254c(%rip), %rdx     # 0x282c5
leaq -0x790(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x790(%rbp), %rsi
callq 0xa3c4
movq %rax, %rdi
callq 0x9760
movl %eax, -0x50(%rbp)
movq -0x790(%rbp), %rdi
cmpq %r14, %rdi
je 0x5db4
callq 0x4360
leaq -0x760(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x2245e(%rip), %rsi     # 0x28224
leaq 0x22467(%rip), %rdx     # 0x28234
leaq -0x770(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x770(%rbp), %rsi
callq 0xa3c4
movb 0x4a(%rax), %al
movb %al, -0x38(%rbp)
movq -0x770(%rbp), %rdi
cmpq %r14, %rdi
je 0x5e03
callq 0x4360
leaq -0x740(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22455(%rip), %rsi     # 0x2826a
leaq 0x22453(%rip), %rdx     # 0x2826f
leaq -0x750(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x750(%rbp), %rsi
callq 0xa3c4
movb 0x4a(%rax), %al
movb %al, -0x40(%rbp)
movq -0x750(%rbp), %rdi
cmpq %r14, %rdi
je 0x5e52
callq 0x4360
leaq -0x168(%rbp), %r15
movl $0x0, (%r15)
xorl %eax, %eax
movq %rax, 0x8(%r15)
movq %r15, 0x10(%r15)
movq %r15, 0x18(%r15)
movq %rax, 0x20(%r15)
leaq -0x720(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22442(%rip), %rsi     # 0x282c6
leaq 0x22444(%rip), %rdx     # 0x282cf
leaq -0x730(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x730(%rbp), %rsi
callq 0xa3c4
movb 0x4a(%rax), %bl
movq -0x730(%rbp), %rdi
cmpq %r14, %rdi
je 0x5ebe
callq 0x4360
testb %bl, %bl
je 0x5fc7
xorps %xmm0, %xmm0
movaps %xmm0, -0xb20(%rbp)
movq $0x0, -0xb10(%rbp)
leaq -0x6e0(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x223d9(%rip), %rsi     # 0x282c6
leaq 0x223db(%rip), %rdx     # 0x282cf
leaq -0x6f0(%rbp), %rdi
callq 0x8720
leaq -0x938(%rbp), %rdi
leaq -0x6f0(%rbp), %rsi
callq 0xa3c4
movq %rax, %rdi
callq 0x982a
leaq -0x700(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x710(%rbp), %rdi
callq 0x8686
leaq -0x710(%rbp), %rdi
leaq -0xb20(%rbp), %rsi
callq 0x203bc
movq -0x710(%rbp), %rdi
cmpq %r12, %rdi
je 0x5f61
callq 0x4360
movq -0x6f0(%rbp), %rdi
cmpq %r14, %rdi
je 0x5f72
callq 0x4360
movq -0xb20(%rbp), %r14
movq -0xb18(%rbp), %rbx
leaq -0x170(%rbp), %rax
movq %rax, -0x880(%rbp)
cmpq %rbx, %r14
je 0x5fbb
leaq -0x170(%rbp), %r12
leaq -0x880(%rbp), %r13
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %r13, %rcx
callq 0x880a
addq $0x20, %r14
cmpq %rbx, %r14
jne 0x5fa1
leaq -0xb20(%rbp), %rdi
callq 0x7558
movq 0x3001a(%rip), %rdi     # 0x35fe8
movq (%rdi), %rax
movq -0x18(%rax), %rcx
movq $0xf, 0x8(%rdi,%rcx)
movq -0x18(%rax), %rax
orl $0x1, 0x18(%rdi,%rax)
leaq 0x222e2(%rip), %rsi     # 0x282d0
movl $0x16, %edx
callq 0x4410
movq -0x108(%rbp), %rsi
movq -0x100(%rbp), %rdx
movq 0x2ffdb(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x2ffc7(%rip), %rdi     # 0x35fe8
leaq 0x222bf(%rip), %rsi     # 0x282e7
movl $0x20, %edx
callq 0x4410
movq -0xe8(%rbp), %rsi
movq -0xe0(%rbp), %rdx
movq 0x2ffa1(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x2ff8d(%rip), %rdi     # 0x35fe8
leaq 0x222a6(%rip), %rsi     # 0x28308
movl $0x1e, %edx
callq 0x4410
movq -0x190(%rbp), %rsi
movq -0x188(%rbp), %rdx
movq 0x2ff67(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x2ff53(%rip), %rdi     # 0x35fe8
leaq 0x2228b(%rip), %rsi     # 0x28327
movl $0x26, %edx
callq 0x4410
movl -0x4c(%rbp), %esi
movq 0x2ff38(%rip), %rdi     # 0x35fe8
movq %rsi, -0x80(%rbp)
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2ff20(%rip), %rdi     # 0x35fe8
leaq 0x2227f(%rip), %rsi     # 0x2834e
movl $0x33, %edx
callq 0x4410
movl -0x2c(%rbp), %esi
movq 0x2ff05(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2fef1(%rip), %rdi     # 0x35fe8
leaq 0x22284(%rip), %rsi     # 0x28382
movl $0x24, %edx
callq 0x4410
movl -0x54(%rbp), %esi
movq 0x2fed6(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
cmpq $0x0, -0x148(%rbp)
je 0x6173
movq 0x2feb8(%rip), %rdi     # 0x35fe8
leaq 0x22270(%rip), %rsi     # 0x283a7
movl $0x1a, %edx
callq 0x4410
movq -0x148(%rbp), %rsi
movq 0x2fe99(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %r14
leaq 0x2243f(%rip), %rsi     # 0x2859d
movl $0x9, %edx
movq %rax, %rdi
callq 0x4410
movq %r14, %rdi
callq 0x4180
movq 0x2fe6e(%rip), %rdi     # 0x35fe8
leaq 0x22241(%rip), %rsi     # 0x283c2
movl $0x1f, %edx
callq 0x4410
movl -0x48(%rbp), %esi
movq 0x2fe53(%rip), %rbx     # 0x35fe8
movq %rbx, %rdi
movq %rsi, -0x48(%rbp)
callq 0x4260
movq %rax, %rdi
callq 0x4180
movl -0x50(%rbp), %eax
movl %eax, %ecx
movq %rcx, -0x88(%rbp)
testl %eax, %eax
jne 0x61cf
leaq 0x2225f(%rip), %rsi     # 0x2841f
movl $0x27, %edx
movq %rbx, %rdi
callq 0x4410
jmp 0x6211
movq 0x2fe12(%rip), %rdi     # 0x35fe8
leaq 0x22205(%rip), %rsi     # 0x283e2
movl $0x3c, %edx
callq 0x4410
movq 0x2fdfa(%rip), %rdi     # 0x35fe8
movq -0x88(%rbp), %rsi
callq 0x4260
movq %rax, %rbx
leaq 0x2201a(%rip), %rsi     # 0x2821e
movl $0x5, %edx
movq %rax, %rdi
callq 0x4410
movq %rbx, %rdi
callq 0x4180
movq 0x2fdc8(%rip), %rdi     # 0x35fe8
leaq 0x22220(%rip), %rsi     # 0x28447
movl $0x22, %edx
callq 0x4410
movzbl -0x38(%rbp), %esi
movq 0x2fdac(%rip), %rdi     # 0x35fe8
callq 0x4600
movq %rax, %rdi
callq 0x4180
movq 0x2fd98(%rip), %rdi     # 0x35fe8
leaq 0x22213(%rip), %rsi     # 0x2846a
movl $0x1c, %edx
callq 0x4410
movzbl -0x40(%rbp), %ebx
movq 0x2fd7c(%rip), %rdi     # 0x35fe8
movl %ebx, %esi
callq 0x4600
movq %rax, %rdi
callq 0x4180
leaq -0x878(%rbp), %r14
xorl %eax, %eax
movl %eax, (%r14)
movq %rax, 0x8(%r14)
movq %r14, 0x10(%r14)
movq %r14, 0x18(%r14)
movq %rax, 0x20(%r14)
leaq -0x130(%rbp), %rcx
movl %eax, (%rcx)
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
leaq -0x638(%rbp), %rcx
movl %eax, (%rcx)
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
leaq -0x668(%rbp), %rcx
movl %eax, (%rcx)
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
movq 0x2fcff(%rip), %rdi     # 0x35fe8
leaq 0x22197(%rip), %rsi     # 0x28487
movl $0x13, %edx
callq 0x4410
movq -0xe8(%rbp), %rsi
movq -0xe0(%rbp), %rdx
movq 0x2fcd9(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
leaq -0x6c0(%rbp), %r13
movq %r13, -0x10(%r13)
movq -0xe8(%rbp), %rsi
movq -0xe0(%rbp), %rdx
addq %rsi, %rdx
leaq -0x6d0(%rbp), %rdi
callq 0x8686
leaq -0x6d0(%rbp), %rdi
leaq -0x138(%rbp), %rsi
leaq -0x78(%rbp), %rdx
movl %ebx, %ecx
callq 0x1fb96
movl %eax, %r12d
movq -0x6d0(%rbp), %rdi
cmpq %r13, %rdi
je 0x6371
callq 0x4360
testl %r12d, %r12d
jns 0x639f
movq 0x2fc6b(%rip), %rdi     # 0x35fe8
leaq 0x22117(%rip), %rsi     # 0x2849b
movl $0x27, %edx
callq 0x4410
movq 0x2fc53(%rip), %rdi     # 0x35fe8
callq 0x4180
jmp 0x6552
movq 0x2fc42(%rip), %rdi     # 0x35fe8
leaq 0x22679(%rip), %rsi     # 0x28a26
movl $0x1, %edx
callq 0x4410
movq 0x2fc2a(%rip), %rdi     # 0x35fe8
leaq 0x22016(%rip), %rsi     # 0x283db
movl $0x6, %edx
callq 0x4410
movq -0x110(%rbp), %rsi
movq 0x2fc0b(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2fbf7(%rip), %rdi     # 0x35fe8
leaq 0x2262e(%rip), %rsi     # 0x28a26
movl $0x1, %edx
callq 0x4410
movq 0x2fbdf(%rip), %rdi     # 0x35fe8
leaq 0x220b3(%rip), %rsi     # 0x284c3
movl $0x17, %edx
callq 0x4410
movl -0x78(%rbp), %esi
movq 0x2fbc4(%rip), %rdi     # 0x35fe8
callq 0x4650
movq %rax, %rdi
callq 0x4180
leaq -0x138(%rbp), %rdi
leaq -0x880(%rbp), %rsi
movl -0x2c(%rbp), %edx
movl %ebx, %ecx
callq 0x72de
leaq -0x998(%rbp), %r9
movl $0x0, (%r9)
xorl %eax, %eax
movq %rax, 0x8(%r9)
movq %r9, 0x10(%r9)
movq %r9, 0x18(%r9)
movq %rax, 0x20(%r9)
movq -0x158(%rbp), %rdi
movq -0x868(%rbp), %rdx
leaq -0x9a0(%rbp), %r8
movq %r15, %rsi
movq %r14, %rcx
callq 0x8a48
leaq -0x170(%rbp), %rdi
leaq -0x9a0(%rbp), %rsi
callq 0x7a02
movq 0x2fb45(%rip), %rdi     # 0x35fe8
leaq 0x22031(%rip), %rsi     # 0x284db
movl $0x12, %edx
callq 0x4410
movq -0x108(%rbp), %rsi
movq -0x100(%rbp), %rdx
movq 0x2fb1f(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
leaq -0x6a0(%rbp), %r14
movq %r14, -0x10(%r14)
movq -0x108(%rbp), %rsi
movq -0x100(%rbp), %rdx
addq %rsi, %rdx
leaq -0x6b0(%rbp), %rdi
callq 0x8686
leaq -0x6b0(%rbp), %rdi
leaq -0x670(%rbp), %rsi
leaq -0x74(%rbp), %rdx
movl %ebx, %ecx
callq 0x1fb96
movl %eax, %ebx
movq -0x6b0(%rbp), %rdi
cmpq %r14, %rdi
je 0x652a
callq 0x4360
testl %ebx, %ebx
jns 0x655c
movq 0x2fab3(%rip), %rdi     # 0x35fe8
leaq 0x21fb2(%rip), %rsi     # 0x284ee
movl $0x26, %edx
callq 0x4410
movq 0x2fa9b(%rip), %rdi     # 0x35fe8
callq 0x4180
movl $0x1, %edi
callq 0x4430
movq 0x2fa85(%rip), %rdi     # 0x35fe8
leaq 0x224bc(%rip), %rsi     # 0x28a26
movl $0x1, %edx
callq 0x4410
movq 0x2fa6d(%rip), %rdi     # 0x35fe8
leaq 0x21f93(%rip), %rsi     # 0x28515
movl $0xf, %edx
callq 0x4410
movq -0x648(%rbp), %rsi
movq 0x2fa4e(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2fa3a(%rip), %rdi     # 0x35fe8
leaq 0x22471(%rip), %rsi     # 0x28a26
movl $0x1, %edx
callq 0x4410
movq 0x2fa22(%rip), %rdi     # 0x35fe8
leaq 0x21f58(%rip), %rsi     # 0x28525
movl $0x15, %edx
callq 0x4410
movl -0x74(%rbp), %esi
movq 0x2fa07(%rip), %rdi     # 0x35fe8
callq 0x4650
movq %rax, %rdi
callq 0x4180
cmpb $0x0, -0x38(%rbp)
je 0x65fd
leaq 0x13906(%rip), %rax     # 0x19f01
jmp 0x6604
leaq 0x132f5(%rip), %rax     # 0x198f9
leaq -0x98(%rbp), %rdi
movq %rax, (%rdi)
movb -0x40(%rbp), %al
movb %al, 0x8(%rdi)
leaq -0x968(%rbp), %rax
xorps %xmm0, %xmm0
movaps %xmm0, 0x8(%rax)
movaps %xmm0, 0x18(%rax)
movaps %xmm0, -0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq $0x0, 0x20(%rax)
leaq -0x670(%rbp), %rsi
leaq -0x138(%rbp), %rdx
leaq -0x640(%rbp), %rcx
leaq -0x970(%rbp), %r8
callq 0x2062c
movsd %xmm0, -0x38(%rbp)
leaq -0x970(%rbp), %rdi
callq 0x7d2e
movq 0x2f975(%rip), %rdi     # 0x35fe8
callq 0x4180
movq %rax, %rbx
leaq 0x21eb9(%rip), %rsi     # 0x2853b
movl $0x14, %edx
movq %rax, %rdi
callq 0x4410
movq %rbx, %rdi
movsd -0x38(%rbp), %xmm0
callq 0x45c0
movq %rax, %rdi
callq 0x4180
movq 0x2f93d(%rip), %rdi     # 0x35fe8
callq 0x4180
movq %rax, %rbx
leaq 0x21e96(%rip), %rsi     # 0x28550
movl $0x2d, %edx
movq %rax, %rdi
callq 0x4410
movq %rbx, %rdi
callq 0x4180
movl $0xaaaaaaab, %eax       # imm = 0xAAAAAAAB
imulq -0x80(%rbp), %rax
shrq $0x21, %rax
movq %rax, -0x140(%rbp)
movl $0x1, -0x38(%rbp)
leaq -0x138(%rbp), %r15
movabsq $-0x3333333333333333, %r13 # imm = 0xCCCCCCCCCCCCCCCD
movl $0xa, %edx
movq 0x2f8e0(%rip), %rdi     # 0x35fe8
leaq 0x21e6f(%rip), %rsi     # 0x2857e
callq 0x4410
movq 0x2f8cd(%rip), %rdi     # 0x35fe8
movl -0x38(%rbp), %esi
callq 0x4650
movq %rax, %rdi
callq 0x4180
movl $0x1d, %edx
movq 0x2f8b1(%rip), %rdi     # 0x35fe8
leaq 0x21e4b(%rip), %rsi     # 0x28589
callq 0x4410
movq 0x2f89e(%rip), %rdi     # 0x35fe8
callq 0x4180
movl $0x0, -0xc0(%rbp)
xorl %ecx, %ecx
movq %rcx, -0xb8(%rbp)
leaq -0xc0(%rbp), %rax
movq %rax, -0xb0(%rbp)
movq %rax, -0xa8(%rbp)
movq %rcx, -0xa0(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, (%rsp)
leaq -0x98(%rbp), %rdi
leaq -0x670(%rbp), %rsi
movq %r15, %rdx
leaq -0xc8(%rbp), %rcx
movq -0x140(%rbp), %r8
leaq -0x170(%rbp), %r9
movsd 0x21856(%rip), %xmm0    # 0x28008
callq 0x2128e
movq -0x80(%rbp), %rcx
subq -0xa0(%rbp), %rcx
shrq $0x2, %rcx
leaq -0x98(%rbp), %rdi
movq %r15, %rsi
leaq -0xc8(%rbp), %rdx
leaq -0x170(%rbp), %r8
movl -0x2c(%rbp), %r9d
callq 0x21052
leaq -0x98(%rbp), %rdi
movq %r15, %rsi
leaq -0xc8(%rbp), %rdx
movl -0x4c(%rbp), %ecx
leaq -0x170(%rbp), %r8
movl -0x2c(%rbp), %r9d
callq 0x20e9c
movl $0x1c, %edx
movq 0x2f7d1(%rip), %rdi     # 0x35fe8
leaq 0x21d89(%rip), %rsi     # 0x285a7
callq 0x4410
movq -0xa0(%rbp), %rsi
movq 0x2f7b7(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x220e3(%rip), %rsi     # 0x2892b
callq 0x4410
movq %rbx, %rdi
callq 0x4180
xorps %xmm0, %xmm0
movaps %xmm0, -0x70(%rbp)
movq $0x0, -0x60(%rbp)
leaq -0x98(%rbp), %rdi
leaq -0x670(%rbp), %rsi
movq %r15, %rdx
leaq -0xc8(%rbp), %rcx
leaq -0x640(%rbp), %r8
leaq -0x70(%rbp), %r9
callq 0x21552
movsd %xmm0, -0x40(%rbp)
movl $0x2d, %edx
movq 0x2f74b(%rip), %rdi     # 0x35fe8
leaq 0x21d20(%rip), %rsi     # 0x285c4
callq 0x4410
movq 0x2f738(%rip), %rdi     # 0x35fe8
movsd -0x40(%rbp), %xmm0
callq 0x45c0
movq %rax, %rdi
callq 0x4180
movq -0x70(%rbp), %rax
cmpq %rax, -0x68(%rbp)
je 0x6a9c
xorl %ecx, %ecx
movl $0x1, %r14d
xorl %r12d, %r12d
leaq (%rcx,%rcx,4), %rbx
cmpq $0x1, 0x8(%rax,%rbx,8)
je 0x6a75
leaq (%rax,%rbx,8), %rsi
movq %r15, %rdi
callq 0x87ba
leaq -0x130(%rbp), %rcx
cmpq %rcx, %rax
je 0x6a75
shlq $0x3, %rbx
movq -0x70(%rbp), %rsi
addq %rbx, %rsi
leaq -0x640(%rbp), %rdi
callq 0x87ba
leaq -0x638(%rbp), %rcx
cmpq %rcx, %rax
je 0x6a75
movq -0x70(%rbp), %rsi
addq %rbx, %rsi
movq %r15, %rdi
callq 0x75a6
addq -0x70(%rbp), %rbx
leaq -0x640(%rbp), %rdi
movq %rbx, %rsi
callq 0x75a6
cmpl $0x0, -0x50(%rbp)
je 0x6a5f
movq -0x618(%rbp), %rax
xorl %edx, %edx
divq -0x88(%rbp)
testq %rdx, %rdx
jne 0x6a5f
movq %r15, %rdi
leaq -0x640(%rbp), %rsi
callq 0x7d46
movq %r15, %rdi
movsd 0x21683(%rip), %xmm0    # 0x28010
callq 0x206d2
leaq -0xb20(%rbp), %rdi
callq 0x44c0
movl $0xa, %edx
leaq -0xb20(%rbp), %rdi
leaq 0x21c41(%rip), %rsi     # 0x285f2
callq 0x4410
leaq -0xb20(%rbp), %rdi
movl -0x38(%rbp), %esi
callq 0x4650
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x21c24(%rip), %rsi     # 0x285fb
callq 0x4410
movq -0x110(%rbp), %rsi
movq %rbx, %rdi
callq 0x4260
movl $0x6, %edx
movq %rax, %rdi
leaq 0x21c03(%rip), %rsi     # 0x285fd
callq 0x4410
leaq -0x610(%rbp), %rdi
leaq -0xb18(%rbp), %rsi
callq 0x45a0
leaq -0x610(%rbp), %rdi
movq %r15, %rsi
xorl %edx, %edx
movl $0x6, %ecx
callq 0x1fffa
movq -0x610(%rbp), %rdi
leaq -0x600(%rbp), %rax
cmpq %rax, %rdi
je 0x6a40
callq 0x4360
leaq -0xb20(%rbp), %rdi
movq 0x2f56a(%rip), %rsi     # 0x35fb8
callq 0x41c0
leaq -0xab0(%rbp), %rdi
callq 0x4110
incl %r12d
cmpl -0x54(%rbp), %r12d
jae 0x6a97
movq -0x48(%rbp), %rax
cmpq %rax, -0x110(%rbp)
jbe 0x6a97
movl %r14d, %ecx
movq -0x70(%rbp), %rax
movq -0x68(%rbp), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
imulq %r13, %rdx
incl %r14d
cmpq %rcx, %rdx
ja 0x68db
movl %r12d, %ebx
jmp 0x6a9e
xorl %ebx, %ebx
leaq -0x98(%rbp), %rdi
leaq -0x670(%rbp), %rsi
movq %r15, %rdx
movl $0x1, %ecx
callq 0x2052c
movsd %xmm0, -0x40(%rbp)
movq %r15, %rdi
leaq -0x170(%rbp), %rsi
callq 0x74e7
movl $0x24, %edx
movq 0x2f50f(%rip), %rdi     # 0x35fe8
leaq 0x21b24(%rip), %rsi     # 0x28604
callq 0x4410
movq 0x2f4fc(%rip), %rdi     # 0x35fe8
movq %rbx, %rsi
callq 0x4260
movq %rax, %rdi
callq 0x4180
movl $0x19, %edx
movq 0x2f4e0(%rip), %rdi     # 0x35fe8
leaq 0x21b1a(%rip), %rsi     # 0x28629
callq 0x4410
movq -0x110(%rbp), %rsi
movq 0x2f4c6(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movl $0x1f, %edx
movq 0x2f4ad(%rip), %rdi     # 0x35fe8
leaq 0x21b01(%rip), %rsi     # 0x28643
callq 0x4410
movq 0x2f49a(%rip), %rdi     # 0x35fe8
movsd -0x40(%rbp), %xmm0
callq 0x45c0
movq %rax, %rdi
callq 0x4180
incl -0x38(%rbp)
movq -0x110(%rbp), %rbx
cmpq -0x48(%rbp), %rbx
jbe 0x6b8a
leaq -0x70(%rbp), %rdi
callq 0x75d0
leaq -0xc8(%rbp), %rdi
callq 0x7d2e
jmp 0x66fc
movl $0x1b, %edx
movq 0x2f452(%rip), %rdi     # 0x35fe8
leaq 0x21ac6(%rip), %rsi     # 0x28663
callq 0x4410
movq 0x2f43f(%rip), %rdi     # 0x35fe8
callq 0x4180
leaq -0x70(%rbp), %rdi
callq 0x75d0
leaq -0xc8(%rbp), %rdi
callq 0x7d2e
cmpq -0x48(%rbp), %rbx
ja 0x66fc
leaq -0x680(%rbp), %r14
movq %r14, -0x10(%r14)
movq -0x190(%rbp), %rsi
movq -0x188(%rbp), %rdx
addq %rsi, %rdx
leaq -0x690(%rbp), %rdi
callq 0x8686
leaq -0x690(%rbp), %rdi
leaq -0x138(%rbp), %rsi
xorl %edx, %edx
movl $0x6, %ecx
callq 0x1fffa
leaq -0x690(%rbp), %rdi
callq 0x4738
xorl %edi, %edi
callq 0x4430
movq %rax, %rbx
movq -0x690(%rbp), %rdi
jmp 0x6cbc
jmp 0x6cad
jmp 0x6c7e
movq %rax, %rbx
movq -0x610(%rbp), %rdi
leaq -0x600(%rbp), %rax
cmpq %rax, %rdi
je 0x6c55
callq 0x4360
jmp 0x6c55
movq %rax, %rbx
movq 0x2f35c(%rip), %rsi     # 0x35fb8
leaq -0xb20(%rbp), %rdi
callq 0x41c0
leaq -0xab0(%rbp), %rdi
callq 0x4110
jmp 0x6c81
jmp 0x6c7e
jmp 0x6c7e
jmp 0x6c7e
jmp 0x6c7e
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x75d0
jmp 0x6c8f
movq %rax, %rbx
leaq -0xc8(%rbp), %rdi
jmp 0x6ca6
jmp 0x6cad
jmp 0x6cad
movq %rax, %rbx
leaq -0x970(%rbp), %rdi
callq 0x7d2e
jmp 0x6cc6
movq %rax, %rbx
jmp 0x6cc6
movq %rax, %rbx
movq -0x6b0(%rbp), %rdi
cmpq %r14, %rdi
je 0x6cc6
callq 0x4360
leaq -0x9a0(%rbp), %rdi
callq 0x7d2e
jmp 0x6cef
jmp 0x6cec
movq %rax, %rbx
movq -0x6d0(%rbp), %rdi
cmpq %r13, %rdi
je 0x6cef
callq 0x4360
jmp 0x6cef
movq %rax, %rbx
leaq -0x670(%rbp), %rdi
callq 0x8506
leaq -0x640(%rbp), %rdi
callq 0x8506
leaq -0x138(%rbp), %rdi
callq 0x8506
leaq -0x880(%rbp), %rdi
callq 0x7d2e
jmp 0x6d7b
jmp 0x6d78
jmp 0x6d51
movq %rax, %rbx
movq -0x710(%rbp), %rdi
cmpq %r12, %rdi
je 0x6d3e
callq 0x4360
jmp 0x6d3e
movq %rax, %rbx
movq -0x6f0(%rbp), %rdi
cmpq %r14, %rdi
je 0x6d54
callq 0x4360
jmp 0x6d54
movq %rax, %rbx
leaq -0xb20(%rbp), %rdi
callq 0x7558
jmp 0x6d7b
movq %rax, %rbx
movq -0x730(%rbp), %rdi
cmpq %r14, %rdi
je 0x6d7b
callq 0x4360
jmp 0x6d7b
movq %rax, %rbx
leaq -0x170(%rbp), %rdi
callq 0x7d2e
jmp 0x6df6
movq %rax, %rbx
movq -0x750(%rbp), %rdi
jmp 0x6de7
jmp 0x6df3
movq %rax, %rbx
movq -0x770(%rbp), %rdi
jmp 0x6de7
jmp 0x6df3
movq %rax, %rbx
movq -0x790(%rbp), %rdi
jmp 0x6de7
jmp 0x6df3
movq %rax, %rbx
movq -0x7b0(%rbp), %rdi
jmp 0x6de7
jmp 0x6df3
movq %rax, %rbx
movq -0x7d0(%rbp), %rdi
jmp 0x6de7
jmp 0x6df3
movq %rax, %rbx
movq -0x7f0(%rbp), %rdi
jmp 0x6de7
jmp 0x6df3
movq %rax, %rbx
movq -0x810(%rbp), %rdi
cmpq %r14, %rdi
je 0x6df6
callq 0x4360
jmp 0x6df6
movq %rax, %rbx
movq -0x190(%rbp), %rdi
leaq -0x180(%rbp), %rax
cmpq %rax, %rdi
je 0x6e13
callq 0x4360
jmp 0x6e13
movq %rax, %rbx
movq -0xe8(%rbp), %rdi
leaq -0xd8(%rbp), %rax
cmpq %rax, %rdi
je 0x6e30
callq 0x4360
jmp 0x6e30
movq %rax, %rbx
movq -0x108(%rbp), %rdi
leaq -0xf8(%rbp), %rax
cmpq %rax, %rdi
jne 0x7284
jmp 0x728e
jmp 0x728b
jmp 0x728b
movq %rax, %rbx
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6e76
callq 0x4360
jmp 0x6e76
movq %rax, %rbx
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6e93
callq 0x4360
jmp 0x6e93
movq %rax, %rbx
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x6eb0
callq 0x4360
jmp 0x6eb0
movq %rax, %rbx
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x6ecf
callq 0x4360
jmp 0x6ecf
jmp 0x6ecc
movq %rax, %rbx
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x6eec
callq 0x4360
jmp 0x6eec
movq %rax, %rbx
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x6f09
callq 0x4360
jmp 0x6f09
movq %rax, %rbx
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x6f26
callq 0x4360
jmp 0x6f26
movq %rax, %rbx
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x6f45
callq 0x4360
jmp 0x6f45
jmp 0x6f42
movq %rax, %rbx
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6f62
callq 0x4360
jmp 0x6f62
movq %rax, %rbx
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6f7f
callq 0x4360
jmp 0x6f7f
movq %rax, %rbx
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x6f9c
callq 0x4360
jmp 0x6f9c
movq %rax, %rbx
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x6fbb
callq 0x4360
jmp 0x6fbb
jmp 0x6fb8
movq %rax, %rbx
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x6fd8
callq 0x4360
jmp 0x6fd8
movq %rax, %rbx
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x6ff5
callq 0x4360
jmp 0x6ff5
movq %rax, %rbx
movq -0x370(%rbp), %rdi
leaq -0x360(%rbp), %rax
cmpq %rax, %rdi
je 0x7012
callq 0x4360
jmp 0x7012
movq %rax, %rbx
movq -0x390(%rbp), %rdi
leaq -0x380(%rbp), %rax
cmpq %rax, %rdi
je 0x7031
callq 0x4360
jmp 0x7031
jmp 0x702e
movq %rax, %rbx
movq -0x3b0(%rbp), %rdi
leaq -0x3a0(%rbp), %rax
cmpq %rax, %rdi
je 0x704e
callq 0x4360
jmp 0x704e
movq %rax, %rbx
movq -0x3d0(%rbp), %rdi
leaq -0x3c0(%rbp), %rax
cmpq %rax, %rdi
je 0x706b
callq 0x4360
jmp 0x706b
movq %rax, %rbx
movq -0x3f0(%rbp), %rdi
leaq -0x3e0(%rbp), %rax
cmpq %rax, %rdi
je 0x7088
callq 0x4360
jmp 0x7088
movq %rax, %rbx
movq -0x410(%rbp), %rdi
leaq -0x400(%rbp), %rax
cmpq %rax, %rdi
je 0x70a7
callq 0x4360
jmp 0x70a7
jmp 0x70a4
movq %rax, %rbx
movq -0x430(%rbp), %rdi
leaq -0x420(%rbp), %rax
cmpq %rax, %rdi
je 0x70c4
callq 0x4360
jmp 0x70c4
movq %rax, %rbx
movq -0x450(%rbp), %rdi
leaq -0x440(%rbp), %rax
cmpq %rax, %rdi
je 0x70e1
callq 0x4360
jmp 0x70e1
movq %rax, %rbx
movq -0x470(%rbp), %rdi
leaq -0x460(%rbp), %rax
cmpq %rax, %rdi
je 0x70fe
callq 0x4360
jmp 0x70fe
movq %rax, %rbx
movq -0x490(%rbp), %rdi
leaq -0x480(%rbp), %rax
cmpq %rax, %rdi
je 0x711d
callq 0x4360
jmp 0x711d
jmp 0x711a
movq %rax, %rbx
movq -0x4b0(%rbp), %rdi
leaq -0x4a0(%rbp), %rax
cmpq %rax, %rdi
je 0x713a
callq 0x4360
jmp 0x713a
movq %rax, %rbx
movq -0x4d0(%rbp), %rdi
leaq -0x4c0(%rbp), %rax
cmpq %rax, %rdi
je 0x7157
callq 0x4360
jmp 0x7157
movq %rax, %rbx
movq -0x4f0(%rbp), %rdi
leaq -0x4e0(%rbp), %rax
cmpq %rax, %rdi
je 0x7174
callq 0x4360
jmp 0x7174
movq %rax, %rbx
movq -0x510(%rbp), %rdi
leaq -0x500(%rbp), %rax
cmpq %rax, %rdi
je 0x7193
callq 0x4360
jmp 0x7193
jmp 0x7190
movq %rax, %rbx
movq -0x530(%rbp), %rdi
leaq -0x520(%rbp), %rax
cmpq %rax, %rdi
je 0x71b0
callq 0x4360
jmp 0x71b0
movq %rax, %rbx
movq -0x550(%rbp), %rdi
leaq -0x540(%rbp), %rax
cmpq %rax, %rdi
je 0x71cd
callq 0x4360
jmp 0x71cd
movq %rax, %rbx
movq -0x570(%rbp), %rdi
leaq -0x560(%rbp), %rax
cmpq %rax, %rdi
je 0x71ea
callq 0x4360
jmp 0x71ea
movq %rax, %rbx
movq -0x590(%rbp), %rdi
leaq -0x580(%rbp), %rax
cmpq %rax, %rdi
je 0x7209
callq 0x4360
jmp 0x7209
jmp 0x7206
movq %rax, %rbx
movq -0x5b0(%rbp), %rdi
leaq -0x5a0(%rbp), %rax
cmpq %rax, %rdi
je 0x7226
callq 0x4360
jmp 0x7226
movq %rax, %rbx
movq -0x5d0(%rbp), %rdi
leaq -0x5c0(%rbp), %rax
cmpq %rax, %rdi
je 0x7243
callq 0x4360
jmp 0x7243
movq %rax, %rbx
movq -0x5f0(%rbp), %rdi
leaq -0x5e0(%rbp), %rax
cmpq %rax, %rdi
je 0x7260
callq 0x4360
jmp 0x7260
movq %rax, %rbx
movq -0x830(%rbp), %rdi
cmpq %r13, %rdi
je 0x7278
callq 0x4360
jmp 0x7278
jmp 0x7275
movq %rax, %rbx
movq -0x850(%rbp), %rdi
cmpq %r12, %rdi
je 0x728e
callq 0x4360
jmp 0x728e
movq %rax, %rbx
leaq -0x8a0(%rbp), %rdi
callq 0x7558
leaq -0x8d0(%rbp), %rdi
callq 0x8552
leaq -0x900(%rbp), %rdi
callq 0x85bc
leaq -0x918(%rbp), %r14
movq %r14, %rdi
callq 0x851e
movq -0x20(%r14), %rdi
leaq -0x928(%rbp), %rax
cmpq %rax, %rdi
je 0x72d6
callq 0x4360
movq %rbx, %rdi
callq 0x4680