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

    conf::Config config;
    config("usage: 1g-prune-sents [OPTION...] CORPUS VOCAB_INIT VOCAB_FINAL\n")
      ('h', "help", "", "", "display help")
      ('c', "candidates=INT", "arg", "25000", "Number of factors to consider for removal per iteration, DEFAULT: 25 000")
      ('r', "removals=INT", "arg", "500", "Number of removals per iteration, DEFAULT: 500")
      ('m', "min-length=INT", "arg", "2", "Minimum length of factors to remove, DEFAULT: 2")
      ('v', "vocab-size=INT", "arg must", "", "Target vocabulary size (stopping criterion)")
      ('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 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];
    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, training corpus: " << corpus_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 factors 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;
    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);

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

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

        cerr << "iteration " << itern << endl;
        cerr << "collecting candidate factors" << endl;
        set<string> candidates;
        ug.init_candidates(vocab, candidates, n_candidates_per_iter, stoplist, min_removal_length);

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

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

        // Remove factors 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(sents, vocab, 1);
        assert_factors(vocab, short_factors, short_factor_min_lp);

        cerr << "factors 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 $0xa68, %rsp            # imm = 0xA68
movq %rsi, %rbx
movl %edi, %r14d
leaq -0x910(%rbp), %rdi
callq 0x91f2
leaq -0x7e8(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x22efb(%rip), %rsi     # 0x28020
leaq 0x22f34(%rip), %rdx     # 0x28060
leaq -0x7f8(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x7f8(%rbp), %rsi
callq 0x9258
movq %rax, %r15
leaq -0x7c8(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x22f09(%rip), %rsi     # 0x28069
leaq 0x22f06(%rip), %rdx     # 0x2806d
leaq -0x7d8(%rbp), %rdi
callq 0x82b0
leaq -0x5b8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x238b2(%rip), %rdx     # 0x28a37
leaq -0x5c8(%rbp), %rdi
movq %rdx, %rsi
callq 0x82b0
leaq -0x598(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23891(%rip), %rdx     # 0x28a37
leaq -0x5a8(%rbp), %rdi
movq %rdx, %rsi
callq 0x82b0
leaq -0x578(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e9a(%rip), %rsi     # 0x28061
leaq 0x22e9f(%rip), %rdx     # 0x2806d
leaq -0x588(%rbp), %rdi
callq 0x82b0
leaq -0x7d8(%rbp), %rdx
leaq -0x5c8(%rbp), %rcx
leaq -0x5a8(%rbp), %r8
leaq -0x588(%rbp), %r9
movq %r15, %rdi
movl $0x68, %esi
callq 0x9270
movq %rax, %r15
leaq -0x558(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e56(%rip), %rsi     # 0x2806e
leaq 0x22e5d(%rip), %rdx     # 0x2807c
leaq -0x568(%rbp), %rdi
callq 0x82b0
leaq -0x538(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e40(%rip), %rsi     # 0x2807d
leaq 0x22e3c(%rip), %rdx     # 0x28080
leaq -0x548(%rbp), %rdi
callq 0x82b0
leaq -0x518(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e1f(%rip), %rsi     # 0x28081
leaq 0x22e1d(%rip), %rdx     # 0x28086
leaq -0x528(%rbp), %rdi
callq 0x82b0
leaq -0x4f8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e00(%rip), %rsi     # 0x28087
leaq 0x22e41(%rip), %rdx     # 0x280cf
leaq -0x508(%rbp), %rdi
callq 0x82b0
leaq -0x568(%rbp), %rdx
leaq -0x548(%rbp), %rcx
leaq -0x528(%rbp), %r8
leaq -0x508(%rbp), %r9
movq %r15, %rdi
movl $0x63, %esi
callq 0x9270
movq %rax, %r15
leaq -0x4d8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22df8(%rip), %rsi     # 0x280d0
leaq 0x22dfd(%rip), %rdx     # 0x280dc
leaq -0x4e8(%rbp), %rdi
callq 0x82b0
leaq -0x4b8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d80(%rip), %rsi     # 0x2807d
leaq 0x22d7c(%rip), %rdx     # 0x28080
leaq -0x4c8(%rbp), %rdi
callq 0x82b0
leaq -0x498(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22de6(%rip), %rsi     # 0x28108
leaq 0x22de2(%rip), %rdx     # 0x2810b
leaq -0x4a8(%rbp), %rdi
callq 0x82b0
leaq -0x478(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d96(%rip), %rsi     # 0x280dd
leaq 0x22dbd(%rip), %rdx     # 0x2810b
leaq -0x488(%rbp), %rdi
callq 0x82b0
leaq -0x4e8(%rbp), %rdx
leaq -0x4c8(%rbp), %rcx
leaq -0x4a8(%rbp), %r8
leaq -0x488(%rbp), %r9
movq %r15, %rdi
movl $0x72, %esi
callq 0x9270
movq %rax, %r15
leaq -0x458(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d74(%rip), %rsi     # 0x2810c
leaq 0x22d7b(%rip), %rdx     # 0x2811a
leaq -0x468(%rbp), %rdi
callq 0x82b0
leaq -0x438(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22cc0(%rip), %rsi     # 0x2807d
leaq 0x22cbc(%rip), %rdx     # 0x28080
leaq -0x448(%rbp), %rdi
callq 0x82b0
leaq -0x418(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d67(%rip), %rsi     # 0x28149
leaq 0x22d61(%rip), %rdx     # 0x2814a
leaq -0x428(%rbp), %rdi
callq 0x82b0
leaq -0x3f8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d14(%rip), %rsi     # 0x2811b
leaq 0x22d3c(%rip), %rdx     # 0x2814a
leaq -0x408(%rbp), %rdi
callq 0x82b0
leaq -0x468(%rbp), %rdx
leaq -0x448(%rbp), %rcx
leaq -0x428(%rbp), %r8
leaq -0x408(%rbp), %r9
movq %r15, %rdi
movl $0x6d, %esi
callq 0x9270
movq %rax, %r15
leaq -0x3d8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22cf3(%rip), %rsi     # 0x2814b
leaq 0x22cfa(%rip), %rdx     # 0x28159
leaq -0x3e8(%rbp), %rdi
callq 0x82b0
leaq -0x3b8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22cdd(%rip), %rsi     # 0x2815a
leaq 0x22cde(%rip), %rdx     # 0x28162
leaq -0x3c8(%rbp), %rdi
callq 0x82b0
leaq -0x398(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23595(%rip), %rdx     # 0x28a37
leaq -0x3a8(%rbp), %rdi
movq %rdx, %rsi
callq 0x82b0
leaq -0x378(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22ca0(%rip), %rsi     # 0x28163
leaq 0x22cc4(%rip), %rdx     # 0x2818e
leaq -0x388(%rbp), %rdi
callq 0x82b0
leaq -0x3e8(%rbp), %rdx
leaq -0x3c8(%rbp), %rcx
leaq -0x3a8(%rbp), %r8
leaq -0x388(%rbp), %r9
movq %r15, %rdi
movl $0x76, %esi
callq 0x9270
movq %rax, %r15
leaq -0x358(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c7b(%rip), %rsi     # 0x2818f
leaq 0x22c84(%rip), %rdx     # 0x2819f
leaq -0x368(%rbp), %rdi
callq 0x82b0
leaq -0x338(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b44(%rip), %rsi     # 0x2807d
leaq 0x22b40(%rip), %rdx     # 0x28080
leaq -0x348(%rbp), %rdi
callq 0x82b0
leaq -0x318(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x234d9(%rip), %rdx     # 0x28a37
leaq -0x328(%rbp), %rdi
movq %rdx, %rsi
callq 0x82b0
leaq -0x2f8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c21(%rip), %rsi     # 0x281a0
leaq 0x22c52(%rip), %rdx     # 0x281d8
leaq -0x308(%rbp), %rdi
callq 0x82b0
leaq -0x368(%rbp), %rdx
leaq -0x348(%rbp), %rcx
leaq -0x328(%rbp), %r8
leaq -0x308(%rbp), %r9
movq %r15, %rdi
movl $0x73, %esi
callq 0x9270
movq %rax, %r15
leaq -0x2d8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c09(%rip), %rsi     # 0x281d9
leaq 0x22c11(%rip), %rdx     # 0x281e8
leaq -0x2e8(%rbp), %rdi
callq 0x82b0
leaq -0x2b8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22a88(%rip), %rsi     # 0x2807d
leaq 0x22a84(%rip), %rdx     # 0x28080
leaq -0x2c8(%rbp), %rdi
callq 0x82b0
leaq -0x298(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c05(%rip), %rsi     # 0x2821f
leaq 0x22bff(%rip), %rdx     # 0x28220
leaq -0x2a8(%rbp), %rdi
callq 0x82b0
leaq -0x278(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22baa(%rip), %rsi     # 0x281e9
leaq 0x22bda(%rip), %rdx     # 0x28220
leaq -0x288(%rbp), %rdi
callq 0x82b0
leaq -0x2e8(%rbp), %rdx
leaq -0x2c8(%rbp), %rcx
leaq -0x2a8(%rbp), %r8
leaq -0x288(%rbp), %r9
movq %r15, %rdi
movl $0x74, %esi
callq 0x9270
movq %rax, %r15
leaq -0x258(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b91(%rip), %rsi     # 0x28221
leaq 0x22b9a(%rip), %rdx     # 0x28231
leaq -0x268(%rbp), %rdi
callq 0x82b0
leaq -0x238(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23382(%rip), %rdx     # 0x28a37
leaq -0x248(%rbp), %rdi
movq %rdx, %rsi
callq 0x82b0
leaq -0x218(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23361(%rip), %rdx     # 0x28a37
leaq -0x228(%rbp), %rdi
movq %rdx, %rsi
callq 0x82b0
leaq -0x1f8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b3b(%rip), %rsi     # 0x28232
leaq 0x22b68(%rip), %rdx     # 0x28266
leaq -0x208(%rbp), %rdi
callq 0x82b0
leaq -0x268(%rbp), %rdx
leaq -0x248(%rbp), %rcx
leaq -0x228(%rbp), %r8
leaq -0x208(%rbp), %r9
movq %r15, %rdi
movl $0x66, %esi
callq 0x9270
movq %rax, %r15
leaq -0x1d8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b1f(%rip), %rsi     # 0x28267
leaq 0x22b1d(%rip), %rdx     # 0x2826c
leaq -0x1e8(%rbp), %rdi
callq 0x82b0
leaq -0x1b8(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x232ca(%rip), %rdx     # 0x28a37
leaq -0x1c8(%rbp), %rdi
movq %rdx, %rsi
callq 0x82b0
leaq -0x198(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x232a9(%rip), %rdx     # 0x28a37
leaq -0x1a8(%rbp), %rdi
movq %rdx, %rsi
callq 0x82b0
leaq -0x178(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22abe(%rip), %rsi     # 0x2826d
leaq 0x22ad6(%rip), %rdx     # 0x2828c
leaq -0x188(%rbp), %rdi
callq 0x82b0
leaq -0x1e8(%rbp), %rdx
leaq -0x1c8(%rbp), %rcx
leaq -0x1a8(%rbp), %r8
leaq -0x188(%rbp), %r9
movq %r15, %rdi
movl $0x38, %esi
callq 0x9270
movq -0x188(%rbp), %rdi
leaq -0x178(%rbp), %rax
cmpq %rax, %rdi
je 0x5803
callq 0x4360
movq -0x1a8(%rbp), %rdi
leaq -0x198(%rbp), %rax
cmpq %rax, %rdi
je 0x581b
callq 0x4360
movq -0x1c8(%rbp), %rdi
leaq -0x1b8(%rbp), %rax
cmpq %rax, %rdi
je 0x5833
callq 0x4360
movq -0x1e8(%rbp), %rdi
leaq -0x1d8(%rbp), %rax
cmpq %rax, %rdi
je 0x584b
callq 0x4360
movq -0x208(%rbp), %rdi
leaq -0x1f8(%rbp), %rax
cmpq %rax, %rdi
je 0x5863
callq 0x4360
movq -0x228(%rbp), %rdi
leaq -0x218(%rbp), %rax
cmpq %rax, %rdi
je 0x587b
callq 0x4360
movq -0x248(%rbp), %rdi
leaq -0x238(%rbp), %rax
cmpq %rax, %rdi
je 0x5893
callq 0x4360
movq -0x268(%rbp), %rdi
leaq -0x258(%rbp), %rax
cmpq %rax, %rdi
je 0x58ab
callq 0x4360
movq -0x288(%rbp), %rdi
leaq -0x278(%rbp), %rax
cmpq %rax, %rdi
je 0x58c3
callq 0x4360
movq -0x2a8(%rbp), %rdi
leaq -0x298(%rbp), %rax
cmpq %rax, %rdi
je 0x58db
callq 0x4360
movq -0x2c8(%rbp), %rdi
leaq -0x2b8(%rbp), %rax
cmpq %rax, %rdi
je 0x58f3
callq 0x4360
movq -0x2e8(%rbp), %rdi
leaq -0x2d8(%rbp), %rax
cmpq %rax, %rdi
je 0x590b
callq 0x4360
movq -0x308(%rbp), %rdi
leaq -0x2f8(%rbp), %rax
cmpq %rax, %rdi
je 0x5923
callq 0x4360
movq -0x328(%rbp), %rdi
leaq -0x318(%rbp), %rax
cmpq %rax, %rdi
je 0x593b
callq 0x4360
movq -0x348(%rbp), %rdi
leaq -0x338(%rbp), %rax
cmpq %rax, %rdi
je 0x5953
callq 0x4360
movq -0x368(%rbp), %rdi
leaq -0x358(%rbp), %rax
cmpq %rax, %rdi
je 0x596b
callq 0x4360
movq -0x388(%rbp), %rdi
leaq -0x378(%rbp), %rax
cmpq %rax, %rdi
je 0x5983
callq 0x4360
movq -0x3a8(%rbp), %rdi
leaq -0x398(%rbp), %rax
cmpq %rax, %rdi
je 0x599b
callq 0x4360
movq -0x3c8(%rbp), %rdi
leaq -0x3b8(%rbp), %rax
cmpq %rax, %rdi
je 0x59b3
callq 0x4360
movq -0x3e8(%rbp), %rdi
leaq -0x3d8(%rbp), %rax
cmpq %rax, %rdi
je 0x59cb
callq 0x4360
movq -0x408(%rbp), %rdi
leaq -0x3f8(%rbp), %rax
cmpq %rax, %rdi
je 0x59e3
callq 0x4360
movq -0x428(%rbp), %rdi
leaq -0x418(%rbp), %rax
cmpq %rax, %rdi
je 0x59fb
callq 0x4360
movq -0x448(%rbp), %rdi
leaq -0x438(%rbp), %rax
cmpq %rax, %rdi
je 0x5a13
callq 0x4360
movq -0x468(%rbp), %rdi
leaq -0x458(%rbp), %rax
cmpq %rax, %rdi
je 0x5a2b
callq 0x4360
movq -0x488(%rbp), %rdi
leaq -0x478(%rbp), %rax
cmpq %rax, %rdi
je 0x5a43
callq 0x4360
movq -0x4a8(%rbp), %rdi
leaq -0x498(%rbp), %rax
cmpq %rax, %rdi
je 0x5a5b
callq 0x4360
movq -0x4c8(%rbp), %rdi
leaq -0x4b8(%rbp), %rax
cmpq %rax, %rdi
je 0x5a73
callq 0x4360
movq -0x4e8(%rbp), %rdi
leaq -0x4d8(%rbp), %rax
cmpq %rax, %rdi
je 0x5a8b
callq 0x4360
movq -0x508(%rbp), %rdi
leaq -0x4f8(%rbp), %rax
cmpq %rax, %rdi
je 0x5aa3
callq 0x4360
movq -0x528(%rbp), %rdi
leaq -0x518(%rbp), %rax
cmpq %rax, %rdi
je 0x5abb
callq 0x4360
movq -0x548(%rbp), %rdi
leaq -0x538(%rbp), %rax
cmpq %rax, %rdi
je 0x5ad3
callq 0x4360
movq -0x568(%rbp), %rdi
leaq -0x558(%rbp), %rax
cmpq %rax, %rdi
je 0x5aeb
callq 0x4360
movq -0x588(%rbp), %rdi
leaq -0x578(%rbp), %rax
cmpq %rax, %rdi
je 0x5b03
callq 0x4360
movq -0x5a8(%rbp), %rdi
leaq -0x598(%rbp), %rax
cmpq %rax, %rdi
je 0x5b1b
callq 0x4360
movq -0x5c8(%rbp), %rdi
leaq -0x5b8(%rbp), %rax
cmpq %rax, %rdi
je 0x5b33
callq 0x4360
movq -0x7d8(%rbp), %rdi
cmpq %r13, %rdi
je 0x5b44
callq 0x4360
movq -0x7f8(%rbp), %rdi
cmpq %r12, %rdi
je 0x5b55
callq 0x4360
leaq -0x910(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
callq 0x9c98
movq -0x878(%rbp), %rax
movq -0x870(%rbp), %rcx
subq %rax, %rcx
cmpq $0x60, %rcx
je 0x5ba0
movq 0x30443(%rip), %rax     # 0x35fc8
movq (%rax), %rsi
leaq -0x910(%rbp), %rdi
movl $0x1, %edx
callq 0xa23a
movq -0x878(%rbp), %rax
leaq -0xc8(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0xd8(%rbp), %rdi
callq 0x8212
movq -0x878(%rbp), %rax
leaq -0xa8(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x20(%rax), %rsi
movq 0x28(%rax), %rdx
addq %rsi, %rdx
leaq -0xb8(%rbp), %rdi
callq 0x8212
movq -0x878(%rbp), %rax
leaq -0x158(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x40(%rax), %rsi
movq 0x48(%rax), %rdx
addq %rsi, %rdx
leaq -0x168(%rbp), %rdi
callq 0x8212
leaq -0x7a8(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22668(%rip), %rsi     # 0x2828d
leaq 0x2266b(%rip), %rdx     # 0x28297
leaq -0x7b8(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x7b8(%rbp), %rsi
callq 0x9d52
movq %rax, %rdi
callq 0x9114
movl %eax, -0x44(%rbp)
movq -0x7b8(%rbp), %rdi
cmpq %r14, %rdi
je 0x5c67
callq 0x4360
leaq -0x788(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x2261f(%rip), %rsi     # 0x28298
leaq 0x22620(%rip), %rdx     # 0x282a0
leaq -0x798(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x798(%rbp), %rsi
callq 0x9d52
movq %rax, %rdi
callq 0x9114
movl %eax, -0x4c(%rbp)
movq -0x798(%rbp), %rdi
cmpq %r14, %rdi
je 0x5cbb
callq 0x4360
leaq -0x768(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x225d4(%rip), %rsi     # 0x282a1
leaq 0x225d7(%rip), %rdx     # 0x282ab
leaq -0x778(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x778(%rbp), %rsi
callq 0x9d52
movq %rax, %rdi
callq 0x9114
movl %eax, -0x34(%rbp)
movq -0x778(%rbp), %rdi
cmpq %r14, %rdi
je 0x5d0f
callq 0x4360
leaq -0x748(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x2258b(%rip), %rsi     # 0x282ac
leaq 0x2258e(%rip), %rdx     # 0x282b6
leaq -0x758(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x758(%rbp), %rsi
callq 0x9d52
movq %rax, %rdi
callq 0x9114
movl %eax, -0x58(%rbp)
movq -0x758(%rbp), %rdi
cmpq %r14, %rdi
je 0x5d63
callq 0x4360
leaq -0x728(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22542(%rip), %rsi     # 0x282b7
leaq 0x22546(%rip), %rdx     # 0x282c2
leaq -0x738(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x738(%rbp), %rsi
callq 0x9d52
movq %rax, %rdi
callq 0x9114
movl %eax, -0x48(%rbp)
movq -0x738(%rbp), %rdi
cmpq %r14, %rdi
je 0x5db7
callq 0x4360
leaq -0x708(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22458(%rip), %rsi     # 0x28221
leaq 0x22461(%rip), %rdx     # 0x28231
leaq -0x718(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x718(%rbp), %rsi
callq 0x9d52
movb 0x4a(%rax), %al
movb %al, -0x30(%rbp)
movq -0x718(%rbp), %rdi
cmpq %r14, %rdi
je 0x5e06
callq 0x4360
leaq -0x6e8(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x2244f(%rip), %rsi     # 0x28267
leaq 0x2244d(%rip), %rdx     # 0x2826c
leaq -0x6f8(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x6f8(%rbp), %rsi
callq 0x9d52
movb 0x4a(%rax), %al
movb %al, -0x40(%rbp)
movq -0x6f8(%rbp), %rdi
cmpq %r14, %rdi
je 0x5e55
callq 0x4360
leaq -0x820(%rbp), %r14
movl $0x0, (%r14)
xorl %eax, %eax
movq %rax, 0x8(%r14)
movq %r14, 0x10(%r14)
movq %r14, 0x18(%r14)
movq %rax, 0x20(%r14)
leaq -0x6c8(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x2243c(%rip), %rsi     # 0x282c3
leaq 0x2243e(%rip), %rdx     # 0x282cc
leaq -0x6d8(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x6d8(%rbp), %rsi
callq 0x9d52
movb 0x4a(%rax), %bl
movq -0x6d8(%rbp), %rdi
cmpq %r15, %rdi
je 0x5ec1
callq 0x4360
testb %bl, %bl
je 0x5fca
xorps %xmm0, %xmm0
movaps %xmm0, -0xa90(%rbp)
movq $0x0, -0xa80(%rbp)
leaq -0x688(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x223d3(%rip), %rsi     # 0x282c3
leaq 0x223d5(%rip), %rdx     # 0x282cc
leaq -0x698(%rbp), %rdi
callq 0x82b0
leaq -0x910(%rbp), %rdi
leaq -0x698(%rbp), %rsi
callq 0x9d52
movq %rax, %rdi
callq 0x91de
leaq -0x6a8(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x6b8(%rbp), %rdi
callq 0x8212
leaq -0x6b8(%rbp), %rdi
leaq -0xa90(%rbp), %rsi
callq 0x1fc40
movq -0x6b8(%rbp), %rdi
cmpq %r12, %rdi
je 0x5f64
callq 0x4360
movq -0x698(%rbp), %rdi
cmpq %r15, %rdi
je 0x5f75
callq 0x4360
movq -0xa90(%rbp), %r15
movq -0xa88(%rbp), %rbx
leaq -0x828(%rbp), %rax
movq %rax, -0x858(%rbp)
cmpq %rbx, %r15
je 0x5fbe
leaq -0x828(%rbp), %r12
leaq -0x858(%rbp), %r13
movq %r12, %rdi
movq %r14, %rsi
movq %r15, %rdx
movq %r13, %rcx
callq 0x839e
addq $0x20, %r15
cmpq %rbx, %r15
jne 0x5fa4
leaq -0xa90(%rbp), %rdi
callq 0x73be
movq 0x30017(%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 0x222dc(%rip), %rsi     # 0x282cd
movl $0x1d, %edx
callq 0x4410
movq -0xd8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
movq 0x2ffd8(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x2ffc4(%rip), %rdi     # 0x35fe8
leaq 0x222c0(%rip), %rsi     # 0x282eb
movl $0x20, %edx
callq 0x4410
movq -0xb8(%rbp), %rsi
movq -0xb0(%rbp), %rdx
movq 0x2ff9e(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x2ff8a(%rip), %rdi     # 0x35fe8
leaq 0x222a7(%rip), %rsi     # 0x2830c
movl $0x1e, %edx
callq 0x4410
movq -0x168(%rbp), %rsi
movq -0x160(%rbp), %rdx
movq 0x2ff64(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x2ff50(%rip), %rdi     # 0x35fe8
leaq 0x2228c(%rip), %rsi     # 0x2832b
movl $0x26, %edx
callq 0x4410
movl -0x44(%rbp), %esi
movq 0x2ff35(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2ff21(%rip), %rdi     # 0x35fe8
leaq 0x22284(%rip), %rsi     # 0x28352
movl $0x32, %edx
callq 0x4410
movl -0x34(%rbp), %esi
movq 0x2ff06(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2fef2(%rip), %rdi     # 0x35fe8
leaq 0x22288(%rip), %rsi     # 0x28385
movl $0x24, %edx
callq 0x4410
movl -0x4c(%rbp), %esi
movq 0x2fed7(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
cmpq $0x0, -0x800(%rbp)
je 0x6172
movq 0x2feb9(%rip), %rdi     # 0x35fe8
leaq 0x22274(%rip), %rsi     # 0x283aa
movl $0x1a, %edx
callq 0x4410
movq -0x800(%rbp), %rsi
movq 0x2fe9a(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %r14
leaq 0x22268(%rip), %rsi     # 0x283c5
movl $0x9, %edx
movq %rax, %rdi
callq 0x4410
movq %r14, %rdi
callq 0x4180
movq 0x2fe6f(%rip), %rdi     # 0x35fe8
leaq 0x2224f(%rip), %rsi     # 0x283cf
movl $0x1f, %edx
callq 0x4410
movl -0x58(%rbp), %esi
movq 0x2fe54(%rip), %rbx     # 0x35fe8
movq %rbx, %rdi
movq %rsi, -0x58(%rbp)
callq 0x4260
movq %rax, %rdi
callq 0x4180
movl -0x48(%rbp), %eax
movl %eax, %ecx
movq %rcx, -0x98(%rbp)
testl %eax, %eax
jne 0x61ce
leaq 0x2226d(%rip), %rsi     # 0x2842c
movl $0x27, %edx
movq %rbx, %rdi
callq 0x4410
jmp 0x6210
movq 0x2fe13(%rip), %rdi     # 0x35fe8
leaq 0x22213(%rip), %rsi     # 0x283ef
movl $0x3c, %edx
callq 0x4410
movq 0x2fdfb(%rip), %rdi     # 0x35fe8
movq -0x98(%rbp), %rsi
callq 0x4260
movq %rax, %rbx
leaq 0x22018(%rip), %rsi     # 0x2821b
movl $0x5, %edx
movq %rax, %rdi
callq 0x4410
movq %rbx, %rdi
callq 0x4180
movq 0x2fdc9(%rip), %rdi     # 0x35fe8
leaq 0x2222e(%rip), %rsi     # 0x28454
movl $0x22, %edx
callq 0x4410
movzbl -0x30(%rbp), %esi
movq 0x2fdad(%rip), %rdi     # 0x35fe8
callq 0x4600
movq %rax, %rdi
callq 0x4180
movq 0x2fd99(%rip), %rdi     # 0x35fe8
leaq 0x22221(%rip), %rsi     # 0x28477
movl $0x1c, %edx
callq 0x4410
movzbl -0x40(%rbp), %ebx
movq 0x2fd7d(%rip), %rdi     # 0x35fe8
movl %ebx, %esi
callq 0x4600
movq %rax, %rdi
callq 0x4180
leaq -0x850(%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 -0x100(%rbp), %rax
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x610(%rbp), %rax
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
movq %rcx, -0x80(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x90(%rbp)
movq 0x2fd0c(%rip), %rdi     # 0x35fe8
leaq 0x221b1(%rip), %rsi     # 0x28494
movl $0x13, %edx
callq 0x4410
movq -0xb8(%rbp), %rsi
movq -0xb0(%rbp), %rdx
movq 0x2fce6(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
leaq -0x668(%rbp), %r15
movq %r15, -0x10(%r15)
movq -0xb8(%rbp), %rsi
movq -0xb0(%rbp), %rdx
addq %rsi, %rdx
leaq -0x678(%rbp), %rdi
callq 0x8212
leaq -0x678(%rbp), %rdi
leaq -0x108(%rbp), %rsi
leaq -0x74(%rbp), %rdx
movl %ebx, %ecx
callq 0x1f41e
movl %eax, %r14d
movq -0x678(%rbp), %rdi
cmpq %r15, %rdi
je 0x6364
callq 0x4360
testl %r14d, %r14d
jns 0x6392
movq 0x2fc78(%rip), %rdi     # 0x35fe8
leaq 0x22131(%rip), %rsi     # 0x284a8
movl $0x27, %edx
callq 0x4410
movq 0x2fc60(%rip), %rdi     # 0x35fe8
callq 0x4180
jmp 0x64ec
movq 0x2fc4f(%rip), %rdi     # 0x35fe8
leaq 0x22696(%rip), %rsi     # 0x28a36
movl $0x1, %edx
callq 0x4410
movq 0x2fc37(%rip), %rdi     # 0x35fe8
leaq 0x22030(%rip), %rsi     # 0x283e8
movl $0x6, %edx
callq 0x4410
movq -0xe0(%rbp), %rsi
movq 0x2fc18(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2fc04(%rip), %rdi     # 0x35fe8
leaq 0x2264b(%rip), %rsi     # 0x28a36
movl $0x1, %edx
callq 0x4410
movq 0x2fbec(%rip), %rdi     # 0x35fe8
leaq 0x220cd(%rip), %rsi     # 0x284d0
movl $0x17, %edx
callq 0x4410
movl -0x74(%rbp), %esi
movq 0x2fbd1(%rip), %rdi     # 0x35fe8
callq 0x4650
movq %rax, %rdi
callq 0x4180
leaq -0x108(%rbp), %rdi
leaq -0x858(%rbp), %rsi
movl -0x34(%rbp), %edx
movl %ebx, %ecx
callq 0x7157
movq 0x2fba5(%rip), %rdi     # 0x35fe8
leaq 0x2209e(%rip), %rsi     # 0x284e8
movl $0x18, %edx
callq 0x4410
movq -0xd8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
movq 0x2fb7f(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
leaq -0x648(%rbp), %r14
movq %r14, -0x10(%r14)
movq -0xd8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
addq %rsi, %rdx
leaq -0x658(%rbp), %rdi
callq 0x8212
leaq -0x658(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x1fc40
movl %eax, %ebx
movq -0x658(%rbp), %rdi
cmpq %r14, %rdi
je 0x64c4
callq 0x4360
testl %ebx, %ebx
jns 0x64f6
movq 0x2fb19(%rip), %rdi     # 0x35fe8
leaq 0x2202b(%rip), %rsi     # 0x28501
movl $0x2c, %edx
callq 0x4410
movq 0x2fb01(%rip), %rdi     # 0x35fe8
callq 0x4180
movl $0x1, %edi
callq 0x4430
movq 0x2faeb(%rip), %rdi     # 0x35fe8
leaq 0x22532(%rip), %rsi     # 0x28a36
movl $0x1, %edx
callq 0x4410
movq 0x2fad3(%rip), %rdi     # 0x35fe8
leaq 0x22012(%rip), %rsi     # 0x2852e
movl $0x1f, %edx
callq 0x4410
movq -0x88(%rbp), %rsi
subq -0x90(%rbp), %rsi
sarq $0x5, %rsi
movq 0x2faa9(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
cmpb $0x0, -0x30(%rbp)
je 0x655b
leaq 0x131ee(%rip), %rax     # 0x19747
jmp 0x6562
leaq 0x12c21(%rip), %rax     # 0x19183
leaq -0x148(%rbp), %rdi
movq %rax, (%rdi)
movb -0x40(%rbp), %al
movb %al, 0x8(%rdi)
leaq -0x90(%rbp), %rsi
leaq -0x108(%rbp), %rdx
leaq -0x618(%rbp), %rcx
callq 0x200bc
movsd %xmm0, -0x30(%rbp)
movq 0x2fa50(%rip), %rdi     # 0x35fe8
leaq 0x21faf(%rip), %rsi     # 0x2854e
movl $0x14, %edx
callq 0x4410
movq 0x2fa38(%rip), %rdi     # 0x35fe8
movsd -0x30(%rbp), %xmm0
callq 0x45c0
movq %rax, %rdi
callq 0x4180
movq 0x2fa1f(%rip), %rdi     # 0x35fe8
callq 0x4180
movq %rax, %rbx
leaq 0x21f8b(%rip), %rsi     # 0x28563
movl $0x2c, %edx
movq %rax, %rdi
callq 0x4410
movq %rbx, %rdi
callq 0x4180
movl $0x1, -0x30(%rbp)
leaq -0x108(%rbp), %r12
movabsq $-0x3333333333333333, %r15 # imm = 0xCCCCCCCCCCCCCCCD
movl $0xa, %edx
movq 0x2f9d7(%rip), %rdi     # 0x35fe8
leaq 0x21f78(%rip), %rsi     # 0x28590
callq 0x4410
movq 0x2f9c4(%rip), %rdi     # 0x35fe8
movl -0x30(%rbp), %esi
callq 0x4650
movq %rax, %rdi
callq 0x4180
movl $0x1c, %edx
movq 0x2f9a8(%rip), %rdi     # 0x35fe8
leaq 0x21f54(%rip), %rsi     # 0x2859b
callq 0x4410
movq 0x2f995(%rip), %rdi     # 0x35fe8
callq 0x4180
movl $0x0, -0x130(%rbp)
xorl %ecx, %ecx
movq %rcx, -0x128(%rbp)
leaq -0x130(%rbp), %rax
movq %rax, -0x120(%rbp)
movq %rax, -0x118(%rbp)
movq %rcx, -0x110(%rbp)
leaq -0x148(%rbp), %rdi
movq %r12, %rsi
leaq -0x138(%rbp), %rdx
movl -0x44(%rbp), %ecx
leaq -0x828(%rbp), %r8
movl -0x34(%rbp), %r9d
callq 0x20718
movl $0x1b, %edx
movq 0x2f931(%rip), %rdi     # 0x35fe8
leaq 0x21efa(%rip), %rsi     # 0x285b8
callq 0x4410
movq -0x110(%rbp), %rsi
movq 0x2f917(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %r13
movl $0x1, %edx
movq %rax, %rdi
leaq 0x22251(%rip), %rsi     # 0x28939
callq 0x4410
movq %r13, %rdi
callq 0x4180
xorps %xmm0, %xmm0
movaps %xmm0, -0x70(%rbp)
movq $0x0, -0x60(%rbp)
leaq -0x148(%rbp), %rdi
leaq -0x90(%rbp), %rsi
movq %r12, %rdx
leaq -0x138(%rbp), %rcx
leaq -0x618(%rbp), %r8
leaq -0x70(%rbp), %r9
callq 0x213fe
movsd %xmm0, -0x40(%rbp)
movl $0x2c, %edx
movq 0x2f8ab(%rip), %rdi     # 0x35fe8
leaq 0x21e90(%rip), %rsi     # 0x285d4
callq 0x4410
movq 0x2f898(%rip), %rdi     # 0x35fe8
movsd -0x40(%rbp), %xmm0
callq 0x45c0
movq %rax, %rdi
callq 0x4180
movq -0x70(%rbp), %rcx
cmpq %rcx, -0x68(%rbp)
je 0x693b
xorl %eax, %eax
movl $0x1, %ebx
xorl %r14d, %r14d
leaq (%rax,%rax,4), %r13
cmpq $0x1, 0x8(%rcx,%r13,8)
je 0x691a
leaq (%rcx,%r13,8), %rsi
movq %r12, %rdi
callq 0x834e
movq -0x70(%rbp), %rcx
leaq -0x100(%rbp), %rdx
cmpq %rdx, %rax
je 0x691a
leaq (%rcx,%r13,8), %rsi
leaq -0x618(%rbp), %rdi
callq 0x834e
movq -0x70(%rbp), %rcx
leaq -0x610(%rbp), %rdx
cmpq %rdx, %rax
je 0x691a
leaq (%rcx,%r13,8), %rsi
movq %r12, %rdi
callq 0x7416
shlq $0x3, %r13
addq -0x70(%rbp), %r13
leaq -0x618(%rbp), %rdi
movq %r13, %rsi
callq 0x7416
cmpl $0x0, -0x48(%rbp)
je 0x6900
movq -0x5f0(%rbp), %rax
xorl %edx, %edx
divq -0x98(%rbp)
testq %rdx, %rdx
jne 0x6900
movq %r12, %rdi
leaq -0x618(%rbp), %rsi
callq 0x7872
movq %r12, %rdi
movsd 0x217da(%rip), %xmm0    # 0x28008
callq 0x1ff52
leaq -0xa90(%rbp), %rdi
callq 0x44c0
movl $0xa, %edx
leaq -0xa90(%rbp), %rdi
leaq 0x21daf(%rip), %rsi     # 0x28601
callq 0x4410
leaq -0xa90(%rbp), %rdi
movl -0x30(%rbp), %esi
callq 0x4650
movq %rax, %r13
movl $0x1, %edx
movq %rax, %rdi
leaq 0x21d92(%rip), %rsi     # 0x2860a
callq 0x4410
movq -0xe0(%rbp), %rsi
movq %r13, %rdi
callq 0x4260
movl $0x6, %edx
movq %rax, %rdi
leaq 0x21d71(%rip), %rsi     # 0x2860c
callq 0x4410
leaq -0x5e8(%rbp), %rdi
leaq -0xa88(%rbp), %rsi
callq 0x45a0
leaq -0x5e8(%rbp), %rdi
movq %r12, %rsi
xorl %edx, %edx
movl $0x6, %ecx
callq 0x1f87e
movq -0x5e8(%rbp), %rdi
leaq -0x5d8(%rbp), %rax
cmpq %rax, %rdi
je 0x68e1
callq 0x4360
leaq -0xa90(%rbp), %rdi
movq 0x2f6c9(%rip), %rsi     # 0x35fb8
callq 0x41c0
leaq -0xa20(%rbp), %rdi
callq 0x4110
incl %r14d
cmpl -0x4c(%rbp), %r14d
jae 0x6936
movq -0x58(%rbp), %rax
cmpq %rax, -0xe0(%rbp)
jbe 0x6936
movq -0x70(%rbp), %rcx
movl %ebx, %eax
movq -0x68(%rbp), %rdx
subq %rcx, %rdx
sarq $0x3, %rdx
imulq %r15, %rdx
incl %ebx
cmpq %rax, %rdx
ja 0x677a
movl %r14d, %r13d
jmp 0x693e
xorl %r13d, %r13d
leaq -0x148(%rbp), %rdi
leaq -0x90(%rbp), %rsi
movq %r12, %rdx
movl $0x1, %ecx
callq 0x2000c
movsd %xmm0, -0x40(%rbp)
movq %r12, %rdi
leaq -0x858(%rbp), %rsi
callq 0x734e
movl $0x23, %edx
movq 0x2f66f(%rip), %rdi     # 0x35fe8
leaq 0x21c93(%rip), %rsi     # 0x28613
callq 0x4410
movq 0x2f65c(%rip), %rdi     # 0x35fe8
movq %r13, %rsi
callq 0x4260
movq %rax, %rdi
callq 0x4180
movl $0x19, %edx
movq 0x2f640(%rip), %rdi     # 0x35fe8
leaq 0x21c88(%rip), %rsi     # 0x28637
callq 0x4410
movq -0xe0(%rbp), %rsi
movq 0x2f626(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movl $0x1f, %edx
movq 0x2f60d(%rip), %rdi     # 0x35fe8
leaq 0x21c6f(%rip), %rsi     # 0x28651
callq 0x4410
movq 0x2f5fa(%rip), %rdi     # 0x35fe8
movsd -0x40(%rbp), %xmm0
callq 0x45c0
movq %rax, %rdi
callq 0x4180
movq -0x58(%rbp), %rax
cmpq %rax, -0xe0(%rbp)
jbe 0x6a2a
incl -0x30(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x7440
leaq -0x138(%rbp), %rdi
callq 0x8028
jmp 0x6605
movq 0x2f5b7(%rip), %rdi     # 0x35fe8
leaq 0x21c39(%rip), %rsi     # 0x28671
movl $0x1b, %edx
callq 0x4410
movq 0x2f59f(%rip), %rdi     # 0x35fe8
callq 0x4180
leaq -0x70(%rbp), %rdi
callq 0x7440
leaq -0x138(%rbp), %rdi
callq 0x8028
leaq -0x628(%rbp), %r14
movq %r14, -0x10(%r14)
movq -0x168(%rbp), %rsi
movq -0x160(%rbp), %rdx
addq %rsi, %rdx
leaq -0x638(%rbp), %rdi
callq 0x8212
leaq -0x638(%rbp), %rdi
leaq -0x108(%rbp), %rsi
xorl %edx, %edx
movl $0x6, %ecx
callq 0x1f87e
leaq -0x638(%rbp), %rdi
callq 0x4738
xorl %edi, %edi
callq 0x4430
movq %rax, %rbx
movq -0x638(%rbp), %rdi
jmp 0x6b48
jmp 0x6b65
jmp 0x6b19
jmp 0x6b19
movq %rax, %rbx
movq -0x5e8(%rbp), %rdi
leaq -0x5d8(%rbp), %rax
cmpq %rax, %rdi
je 0x6af0
callq 0x4360
jmp 0x6af0
movq %rax, %rbx
movq 0x2f4c1(%rip), %rsi     # 0x35fb8
leaq -0xa90(%rbp), %rdi
callq 0x41c0
leaq -0xa20(%rbp), %rdi
callq 0x4110
jmp 0x6b1c
jmp 0x6b19
jmp 0x6b19
jmp 0x6b19
jmp 0x6b19
movq %rax, %rbx
leaq -0x70(%rbp), %rdi
callq 0x7440
jmp 0x6b2a
movq %rax, %rbx
leaq -0x138(%rbp), %rdi
callq 0x8028
jmp 0x6b68
jmp 0x6b65
jmp 0x6b65
jmp 0x6b65
movq %rax, %rbx
movq -0x658(%rbp), %rdi
cmpq %r14, %rdi
jne 0x6b5e
jmp 0x6b68
movq %rax, %rbx
movq -0x678(%rbp), %rdi
cmpq %r15, %rdi
je 0x6b68
callq 0x4360
jmp 0x6b68
movq %rax, %rbx
leaq -0x90(%rbp), %rdi
callq 0x73be
leaq -0x618(%rbp), %rdi
callq 0x8092
leaq -0x108(%rbp), %rdi
callq 0x8092
leaq -0x858(%rbp), %rdi
callq 0x8028
jmp 0x6bf4
jmp 0x6bf1
jmp 0x6bca
movq %rax, %rbx
movq -0x6b8(%rbp), %rdi
cmpq %r12, %rdi
je 0x6bb7
callq 0x4360
jmp 0x6bb7
movq %rax, %rbx
movq -0x698(%rbp), %rdi
cmpq %r15, %rdi
je 0x6bcd
callq 0x4360
jmp 0x6bcd
movq %rax, %rbx
leaq -0xa90(%rbp), %rdi
callq 0x73be
jmp 0x6bf4
movq %rax, %rbx
movq -0x6d8(%rbp), %rdi
cmpq %r15, %rdi
je 0x6bf4
callq 0x4360
jmp 0x6bf4
movq %rax, %rbx
leaq -0x828(%rbp), %rdi
callq 0x8028
jmp 0x6c6f
movq %rax, %rbx
movq -0x6f8(%rbp), %rdi
jmp 0x6c60
jmp 0x6c6c
movq %rax, %rbx
movq -0x718(%rbp), %rdi
jmp 0x6c60
jmp 0x6c6c
movq %rax, %rbx
movq -0x738(%rbp), %rdi
jmp 0x6c60
jmp 0x6c6c
movq %rax, %rbx
movq -0x758(%rbp), %rdi
jmp 0x6c60
jmp 0x6c6c
movq %rax, %rbx
movq -0x778(%rbp), %rdi
jmp 0x6c60
jmp 0x6c6c
movq %rax, %rbx
movq -0x798(%rbp), %rdi
jmp 0x6c60
jmp 0x6c6c
movq %rax, %rbx
movq -0x7b8(%rbp), %rdi
cmpq %r14, %rdi
je 0x6c6f
callq 0x4360
jmp 0x6c6f
movq %rax, %rbx
movq -0x168(%rbp), %rdi
leaq -0x158(%rbp), %rax
cmpq %rax, %rdi
je 0x6c8c
callq 0x4360
jmp 0x6c8c
movq %rax, %rbx
movq -0xb8(%rbp), %rdi
leaq -0xa8(%rbp), %rax
cmpq %rax, %rdi
je 0x6ca9
callq 0x4360
jmp 0x6ca9
movq %rax, %rbx
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
jne 0x70fd
jmp 0x7107
jmp 0x7104
jmp 0x7104
movq %rax, %rbx
movq -0x188(%rbp), %rdi
leaq -0x178(%rbp), %rax
cmpq %rax, %rdi
je 0x6cef
callq 0x4360
jmp 0x6cef
movq %rax, %rbx
movq -0x1a8(%rbp), %rdi
leaq -0x198(%rbp), %rax
cmpq %rax, %rdi
je 0x6d0c
callq 0x4360
jmp 0x6d0c
movq %rax, %rbx
movq -0x1c8(%rbp), %rdi
leaq -0x1b8(%rbp), %rax
cmpq %rax, %rdi
je 0x6d29
callq 0x4360
jmp 0x6d29
movq %rax, %rbx
movq -0x1e8(%rbp), %rdi
leaq -0x1d8(%rbp), %rax
cmpq %rax, %rdi
je 0x6d48
callq 0x4360
jmp 0x6d48
jmp 0x6d45
movq %rax, %rbx
movq -0x208(%rbp), %rdi
leaq -0x1f8(%rbp), %rax
cmpq %rax, %rdi
je 0x6d65
callq 0x4360
jmp 0x6d65
movq %rax, %rbx
movq -0x228(%rbp), %rdi
leaq -0x218(%rbp), %rax
cmpq %rax, %rdi
je 0x6d82
callq 0x4360
jmp 0x6d82
movq %rax, %rbx
movq -0x248(%rbp), %rdi
leaq -0x238(%rbp), %rax
cmpq %rax, %rdi
je 0x6d9f
callq 0x4360
jmp 0x6d9f
movq %rax, %rbx
movq -0x268(%rbp), %rdi
leaq -0x258(%rbp), %rax
cmpq %rax, %rdi
je 0x6dbe
callq 0x4360
jmp 0x6dbe
jmp 0x6dbb
movq %rax, %rbx
movq -0x288(%rbp), %rdi
leaq -0x278(%rbp), %rax
cmpq %rax, %rdi
je 0x6ddb
callq 0x4360
jmp 0x6ddb
movq %rax, %rbx
movq -0x2a8(%rbp), %rdi
leaq -0x298(%rbp), %rax
cmpq %rax, %rdi
je 0x6df8
callq 0x4360
jmp 0x6df8
movq %rax, %rbx
movq -0x2c8(%rbp), %rdi
leaq -0x2b8(%rbp), %rax
cmpq %rax, %rdi
je 0x6e15
callq 0x4360
jmp 0x6e15
movq %rax, %rbx
movq -0x2e8(%rbp), %rdi
leaq -0x2d8(%rbp), %rax
cmpq %rax, %rdi
je 0x6e34
callq 0x4360
jmp 0x6e34
jmp 0x6e31
movq %rax, %rbx
movq -0x308(%rbp), %rdi
leaq -0x2f8(%rbp), %rax
cmpq %rax, %rdi
je 0x6e51
callq 0x4360
jmp 0x6e51
movq %rax, %rbx
movq -0x328(%rbp), %rdi
leaq -0x318(%rbp), %rax
cmpq %rax, %rdi
je 0x6e6e
callq 0x4360
jmp 0x6e6e
movq %rax, %rbx
movq -0x348(%rbp), %rdi
leaq -0x338(%rbp), %rax
cmpq %rax, %rdi
je 0x6e8b
callq 0x4360
jmp 0x6e8b
movq %rax, %rbx
movq -0x368(%rbp), %rdi
leaq -0x358(%rbp), %rax
cmpq %rax, %rdi
je 0x6eaa
callq 0x4360
jmp 0x6eaa
jmp 0x6ea7
movq %rax, %rbx
movq -0x388(%rbp), %rdi
leaq -0x378(%rbp), %rax
cmpq %rax, %rdi
je 0x6ec7
callq 0x4360
jmp 0x6ec7
movq %rax, %rbx
movq -0x3a8(%rbp), %rdi
leaq -0x398(%rbp), %rax
cmpq %rax, %rdi
je 0x6ee4
callq 0x4360
jmp 0x6ee4
movq %rax, %rbx
movq -0x3c8(%rbp), %rdi
leaq -0x3b8(%rbp), %rax
cmpq %rax, %rdi
je 0x6f01
callq 0x4360
jmp 0x6f01
movq %rax, %rbx
movq -0x3e8(%rbp), %rdi
leaq -0x3d8(%rbp), %rax
cmpq %rax, %rdi
je 0x6f20
callq 0x4360
jmp 0x6f20
jmp 0x6f1d
movq %rax, %rbx
movq -0x408(%rbp), %rdi
leaq -0x3f8(%rbp), %rax
cmpq %rax, %rdi
je 0x6f3d
callq 0x4360
jmp 0x6f3d
movq %rax, %rbx
movq -0x428(%rbp), %rdi
leaq -0x418(%rbp), %rax
cmpq %rax, %rdi
je 0x6f5a
callq 0x4360
jmp 0x6f5a
movq %rax, %rbx
movq -0x448(%rbp), %rdi
leaq -0x438(%rbp), %rax
cmpq %rax, %rdi
je 0x6f77
callq 0x4360
jmp 0x6f77
movq %rax, %rbx
movq -0x468(%rbp), %rdi
leaq -0x458(%rbp), %rax
cmpq %rax, %rdi
je 0x6f96
callq 0x4360
jmp 0x6f96
jmp 0x6f93
movq %rax, %rbx
movq -0x488(%rbp), %rdi
leaq -0x478(%rbp), %rax
cmpq %rax, %rdi
je 0x6fb3
callq 0x4360
jmp 0x6fb3
movq %rax, %rbx
movq -0x4a8(%rbp), %rdi
leaq -0x498(%rbp), %rax
cmpq %rax, %rdi
je 0x6fd0
callq 0x4360
jmp 0x6fd0
movq %rax, %rbx
movq -0x4c8(%rbp), %rdi
leaq -0x4b8(%rbp), %rax
cmpq %rax, %rdi
je 0x6fed
callq 0x4360
jmp 0x6fed
movq %rax, %rbx
movq -0x4e8(%rbp), %rdi
leaq -0x4d8(%rbp), %rax
cmpq %rax, %rdi
je 0x700c
callq 0x4360
jmp 0x700c
jmp 0x7009
movq %rax, %rbx
movq -0x508(%rbp), %rdi
leaq -0x4f8(%rbp), %rax
cmpq %rax, %rdi
je 0x7029
callq 0x4360
jmp 0x7029
movq %rax, %rbx
movq -0x528(%rbp), %rdi
leaq -0x518(%rbp), %rax
cmpq %rax, %rdi
je 0x7046
callq 0x4360
jmp 0x7046
movq %rax, %rbx
movq -0x548(%rbp), %rdi
leaq -0x538(%rbp), %rax
cmpq %rax, %rdi
je 0x7063
callq 0x4360
jmp 0x7063
movq %rax, %rbx
movq -0x568(%rbp), %rdi
leaq -0x558(%rbp), %rax
cmpq %rax, %rdi
je 0x7082
callq 0x4360
jmp 0x7082
jmp 0x707f
movq %rax, %rbx
movq -0x588(%rbp), %rdi
leaq -0x578(%rbp), %rax
cmpq %rax, %rdi
je 0x709f
callq 0x4360
jmp 0x709f
movq %rax, %rbx
movq -0x5a8(%rbp), %rdi
leaq -0x598(%rbp), %rax
cmpq %rax, %rdi
je 0x70bc
callq 0x4360
jmp 0x70bc
movq %rax, %rbx
movq -0x5c8(%rbp), %rdi
leaq -0x5b8(%rbp), %rax
cmpq %rax, %rdi
je 0x70d9
callq 0x4360
jmp 0x70d9
movq %rax, %rbx
movq -0x7d8(%rbp), %rdi
cmpq %r13, %rdi
je 0x70f1
callq 0x4360
jmp 0x70f1
jmp 0x70ee
movq %rax, %rbx
movq -0x7f8(%rbp), %rdi
cmpq %r12, %rdi
je 0x7107
callq 0x4360
jmp 0x7107
movq %rax, %rbx
leaq -0x878(%rbp), %rdi
callq 0x73be
leaq -0x8a8(%rbp), %rdi
callq 0x80de
leaq -0x8d8(%rbp), %rdi
callq 0x8148
leaq -0x8f0(%rbp), %r14
movq %r14, %rdi
callq 0x80aa
movq -0x20(%r14), %rdi
leaq -0x900(%rbp), %rax
cmpq %rax, %rdi
je 0x714f
callq 0x4360
movq %rbx, %rdi
callq 0x4680