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

    conf::Config config;
    config("usage: 2g-prune [OPTION...] WORDLIST TRANSITIONS_INIT MSFG_IN TRANSITIONS_OUT\n")
      ('h', "help", "", "", "display help")
      ('c', "candidates=INT", "arg", "5000", "Number of candidate subwords to try to remove per iteration")
      ('r', "removals=INT", "arg", "500", "Number of removals per iteration")
      ('m', "min-length=INT", "arg", "2", "Minimum length of subwords to remove, DEFAULT: 2")
      ('v', "vocab-size=INT", "arg must", "", "Target vocabulary size (stopping criterion)")
      ('t', "temp-models=INT", "arg", "0", "Write out intermediate models for #V mod INT == 0")
      ('b', "normalize-by-bigrams", "", "", "Normalize subword scores by the number of bigrams")
      ('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() != 4) config.print_help(stderr, 1);

    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();
    string wordlist_fname = config.arguments[0];
    string initial_transitions_fname = config.arguments[1];
    string msfg_fname = config.arguments[2];
    string transition_fname = config.arguments[3];
    unsigned int temp_vocab_interval = config["temp-models"].get_int();
    bool normalize_by_bigrams = config["normalize-by-bigrams"].specified;
    bool enable_fb = config["forward-backward"].specified;
    bool utf8_encoding = config["utf-8"].specified;

    std::cerr << std::boolalpha;
    cerr << "parameters, wordlist: " << wordlist_fname << endl;
    cerr << "parameters, initial transitions: " << initial_transitions_fname << endl;
    cerr << "parameters, msfg: " << msfg_fname << endl;
    cerr << "parameters, transitions out: " << transition_fname << endl;
    cerr << "parameters, candidates per iteration: " << n_candidates_per_iter << endl;
    cerr << "parameters, removals per iteration: " << removals_per_iter << endl;
    cerr << "parameters, minimum length for subwords to remove: " << min_removal_length << endl;
    cerr << "parameters, target vocab size: " << target_vocab_size << endl;
    cerr << "parameters, floor lp: " << FLOOR_LP << endl;
    if (temp_vocab_interval > 0)
        cerr << "parameters, write temp models whenever #V modulo " << temp_vocab_interval << " == 0" << endl;
    else
        cerr << "parameters, write temp models: NO" << endl;
    cerr << "parameters, normalize subword scores by the number of bigrams: " << normalize_by_bigrams << endl;
    cerr << "parameters, use forward-backward: " << enable_fb << endl;
    cerr << "parameters, utf-8 encoding: " << utf8_encoding << endl;

    int word_maxlen;
    map<string, flt_type> all_chars;
    map<string, flt_type> freqs;
    map<string, flt_type> words;
    MultiStringFactorGraph msfg(start_end_symbol);
    transitions_t transitions;
    transitions_t trans_stats;
    map<string, flt_type> unigram_stats;
    set<string> short_subwords;

    cerr << "Reading initial transitions " << initial_transitions_fname << endl;
    int retval = Bigrams::read_transitions(transitions, initial_transitions_fname);
    if (retval < 0) {
        cerr << "something went wrong reading transitions" << endl;
        exit(EXIT_FAILURE);
    }
    cerr << "\tnumber of transitions: " << Bigrams::transition_count(transitions) << endl;
    cerr << "\tvocabulary size: " << transitions.size() << endl;

    map<string, flt_type> vocab;
    Bigrams::trans_to_vocab(transitions, vocab);
    find_short_factors(vocab, short_subwords, min_removal_length, utf8_encoding);

    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;

    cerr << "Reading msfg " << msfg_fname << endl;
    msfg.read(msfg_fname);
    msfg.prune_unused(transitions);

    std::cerr << std::setprecision(15);
    int iteration = 1;
    unsigned int next_out_vocab_size=0;
    while (true) {

        cerr << "Iteration " << iteration << endl;

        assign_scores(transitions, msfg);
        flt_type lp = Bigrams::collect_trans_stats(words, msfg, trans_stats, unigram_stats, enable_fb);
        transitions.swap(trans_stats);
        Bigrams::freqs_to_logprobs(transitions);
        trans_stats.clear();

        cerr << "\tbigram likelihood: " << lp << endl;
        cerr << "\tnumber of transitions: " << Bigrams::transition_count(transitions) << endl;
        cerr << "\tvocabulary size: " << transitions.size() << endl;

        if (iteration==1 && temp_vocab_interval > 0)
            next_out_vocab_size = transitions.size()/temp_vocab_interval * temp_vocab_interval;

        // Get candidate subwords
        cerr << "\tinitializing removals .." << endl;
        map<string, flt_type> candidates;
        Bigrams::init_candidates_freq(n_candidates_per_iter, unigram_stats, candidates, short_subwords);
        //Bigrams::init_candidates_num_contexts(n_candidates_per_iter, transitions, unigram_stats, candidates);

        // Score all candidates
        cerr << "\tranking removals .." << endl;
        assign_scores(transitions, msfg);
        Bigrams::rank_candidate_subwords(words, msfg, unigram_stats, transitions,
                                         candidates, enable_fb, normalize_by_bigrams);

        // Remove subwords
        vector<pair<string, flt_type> > sorted_scores;
        Unigrams::sort_vocab(candidates, sorted_scores, true);
        vector<string> to_remove;
        for (auto it = sorted_scores.begin(); it != sorted_scores.end(); ++it) {
            to_remove.push_back(it->first);
            if (((transitions.size()-to_remove.size()) % removals_per_iter == 0)
                  && to_remove.size() >= (removals_per_iter/2))
                    break;
        }
        Bigrams::remove_transitions(to_remove, transitions);
        for (auto it = to_remove.begin(); it != to_remove.end(); ++it)
            msfg.remove_arcs(*it);

        Bigrams::iterate(words, msfg, transitions, enable_fb, 1);
        msfg.prune_unused(transitions);

        // Write intermediate model
        if (temp_vocab_interval > 0
            && transitions.size() <= next_out_vocab_size
            && transitions.size() > target_vocab_size)
        {
            ostringstream transitions_temp;
            transitions_temp << "transitions." << transitions.size() << ".gz";
            cerr << "\twriting to: " << transitions_temp.str() << endl;
            Bigrams::write_transitions(transitions, transitions_temp.str());
            next_out_vocab_size -= temp_vocab_interval;
        }

        if  (transitions.size() <= target_vocab_size) break;
        iteration++;
    }

    // Write the final model
    Bigrams::write_transitions(transitions, transition_fname);

    exit(EXIT_SUCCESS);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xbb8, %rsp            # imm = 0xBB8
movq %rsi, %rbx
movl %edi, %r14d
leaq -0x878(%rbp), %rdi
callq 0x93ca
leaq -0x780(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x22ecb(%rip), %rsi     # 0x28020
leaq 0x22f12(%rip), %rdx     # 0x2806e
leaq -0x790(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x790(%rbp), %rsi
callq 0x9430
movq %rax, %r15
leaq -0x760(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x22ee7(%rip), %rsi     # 0x28077
leaq 0x22ee4(%rip), %rdx     # 0x2807b
leaq -0x770(%rbp), %rdi
callq 0x86b8
leaq -0x620(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x237e2(%rip), %rdx     # 0x28997
leaq -0x630(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x600(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x237c1(%rip), %rdx     # 0x28997
leaq -0x610(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x5e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e78(%rip), %rsi     # 0x2806f
leaq 0x22e7d(%rip), %rdx     # 0x2807b
leaq -0x5f0(%rbp), %rdi
callq 0x86b8
leaq -0x770(%rbp), %rdx
leaq -0x630(%rbp), %rcx
leaq -0x610(%rbp), %r8
leaq -0x5f0(%rbp), %r9
movq %r15, %rdi
movl $0x68, %esi
callq 0x9448
movq %rax, %r15
leaq -0x5c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e34(%rip), %rsi     # 0x2807c
leaq 0x22e3b(%rip), %rdx     # 0x2808a
leaq -0x5d0(%rbp), %rdi
callq 0x86b8
leaq -0x5a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22e1e(%rip), %rsi     # 0x2808b
leaq 0x22e1a(%rip), %rdx     # 0x2808e
leaq -0x5b0(%rbp), %rdi
callq 0x86b8
leaq -0x580(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22dfd(%rip), %rsi     # 0x2808f
leaq 0x22dfa(%rip), %rdx     # 0x28093
leaq -0x590(%rbp), %rdi
callq 0x86b8
leaq -0x560(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22ddd(%rip), %rsi     # 0x28094
leaq 0x22e11(%rip), %rdx     # 0x280cf
leaq -0x570(%rbp), %rdi
callq 0x86b8
leaq -0x5d0(%rbp), %rdx
leaq -0x5b0(%rbp), %rcx
leaq -0x590(%rbp), %r8
leaq -0x570(%rbp), %r9
movq %r15, %rdi
movl $0x63, %esi
callq 0x9448
movq %rax, %r15
leaq -0x540(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22dc8(%rip), %rsi     # 0x280d0
leaq 0x22dcd(%rip), %rdx     # 0x280dc
leaq -0x550(%rbp), %rdi
callq 0x86b8
leaq -0x520(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d5e(%rip), %rsi     # 0x2808b
leaq 0x22d5a(%rip), %rdx     # 0x2808e
leaq -0x530(%rbp), %rdi
callq 0x86b8
leaq -0x500(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d8b(%rip), %rsi     # 0x280dd
leaq 0x22d87(%rip), %rdx     # 0x280e0
leaq -0x510(%rbp), %rdi
callq 0x86b8
leaq -0x4e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d6a(%rip), %rsi     # 0x280e1
leaq 0x22d83(%rip), %rdx     # 0x28101
leaq -0x4f0(%rbp), %rdi
callq 0x86b8
leaq -0x550(%rbp), %rdx
leaq -0x530(%rbp), %rcx
leaq -0x510(%rbp), %r8
leaq -0x4f0(%rbp), %r9
movq %r15, %rdi
movl $0x72, %esi
callq 0x9448
movq %rax, %r15
leaq -0x4c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d3a(%rip), %rsi     # 0x28102
leaq 0x22d41(%rip), %rdx     # 0x28110
leaq -0x4d0(%rbp), %rdi
callq 0x86b8
leaq -0x4a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c9e(%rip), %rsi     # 0x2808b
leaq 0x22c9a(%rip), %rdx     # 0x2808e
leaq -0x4b0(%rbp), %rdi
callq 0x86b8
leaq -0x480(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22d2e(%rip), %rsi     # 0x28140
leaq 0x22d28(%rip), %rdx     # 0x28141
leaq -0x490(%rbp), %rdi
callq 0x86b8
leaq -0x460(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22cda(%rip), %rsi     # 0x28111
leaq 0x22d03(%rip), %rdx     # 0x28141
leaq -0x470(%rbp), %rdi
callq 0x86b8
leaq -0x4d0(%rbp), %rdx
leaq -0x4b0(%rbp), %rcx
leaq -0x490(%rbp), %r8
leaq -0x470(%rbp), %r9
movq %r15, %rdi
movl $0x6d, %esi
callq 0x9448
movq %rax, %r15
leaq -0x440(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22cba(%rip), %rsi     # 0x28142
leaq 0x22cc1(%rip), %rdx     # 0x28150
leaq -0x450(%rbp), %rdi
callq 0x86b8
leaq -0x420(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22ca4(%rip), %rsi     # 0x28151
leaq 0x22ca5(%rip), %rdx     # 0x28159
leaq -0x430(%rbp), %rdi
callq 0x86b8
leaq -0x400(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x234c5(%rip), %rdx     # 0x28997
leaq -0x410(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x3e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c67(%rip), %rsi     # 0x2815a
leaq 0x22c8b(%rip), %rdx     # 0x28185
leaq -0x3f0(%rbp), %rdi
callq 0x86b8
leaq -0x450(%rbp), %rdx
leaq -0x430(%rbp), %rcx
leaq -0x410(%rbp), %r8
leaq -0x3f0(%rbp), %r9
movq %r15, %rdi
movl $0x76, %esi
callq 0x9448
movq %rax, %r15
leaq -0x3c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c42(%rip), %rsi     # 0x28186
leaq 0x22c4a(%rip), %rdx     # 0x28195
leaq -0x3d0(%rbp), %rdi
callq 0x86b8
leaq -0x3a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b22(%rip), %rsi     # 0x2808b
leaq 0x22b1e(%rip), %rdx     # 0x2808e
leaq -0x3b0(%rbp), %rdi
callq 0x86b8
leaq -0x380(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22c38(%rip), %rsi     # 0x281c6
leaq 0x22c32(%rip), %rdx     # 0x281c7
leaq -0x390(%rbp), %rdi
callq 0x86b8
leaq -0x360(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22be3(%rip), %rsi     # 0x28196
leaq 0x22c0d(%rip), %rdx     # 0x281c7
leaq -0x370(%rbp), %rdi
callq 0x86b8
leaq -0x3d0(%rbp), %rdx
leaq -0x3b0(%rbp), %rcx
leaq -0x390(%rbp), %r8
leaq -0x370(%rbp), %r9
movq %r15, %rdi
movl $0x74, %esi
callq 0x9448
movq %rax, %r15
leaq -0x340(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22bc4(%rip), %rsi     # 0x281c8
leaq 0x22bd1(%rip), %rdx     # 0x281dc
leaq -0x350(%rbp), %rdi
callq 0x86b8
leaq -0x320(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2336e(%rip), %rdx     # 0x28997
leaq -0x330(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x300(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2334d(%rip), %rdx     # 0x28997
leaq -0x310(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x2e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b72(%rip), %rsi     # 0x281dd
leaq 0x22b9c(%rip), %rdx     # 0x2820e
leaq -0x2f0(%rbp), %rdi
callq 0x86b8
leaq -0x350(%rbp), %rdx
leaq -0x330(%rbp), %rcx
leaq -0x310(%rbp), %r8
leaq -0x2f0(%rbp), %r9
movq %r15, %rdi
movl $0x62, %esi
callq 0x9448
movq %rax, %r15
leaq -0x2c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22b53(%rip), %rsi     # 0x2820f
leaq 0x22b5c(%rip), %rdx     # 0x2821f
leaq -0x2d0(%rbp), %rdi
callq 0x86b8
leaq -0x2a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x232b6(%rip), %rdx     # 0x28997
leaq -0x2b0(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x280(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x23295(%rip), %rdx     # 0x28997
leaq -0x290(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x260(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22afd(%rip), %rsi     # 0x28220
leaq 0x22b2a(%rip), %rdx     # 0x28254
leaq -0x270(%rbp), %rdi
callq 0x86b8
leaq -0x2d0(%rbp), %rdx
leaq -0x2b0(%rbp), %rcx
leaq -0x290(%rbp), %r8
leaq -0x270(%rbp), %r9
movq %r15, %rdi
movl $0x66, %esi
callq 0x9448
movq %rax, %r15
leaq -0x240(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22ae1(%rip), %rsi     # 0x28255
leaq 0x22adf(%rip), %rdx     # 0x2825a
leaq -0x250(%rbp), %rdi
callq 0x86b8
leaq -0x220(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x231fe(%rip), %rdx     # 0x28997
leaq -0x230(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x200(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x231dd(%rip), %rdx     # 0x28997
leaq -0x210(%rbp), %rdi
movq %rdx, %rsi
callq 0x86b8
leaq -0x1e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22a80(%rip), %rsi     # 0x2825b
leaq 0x22a98(%rip), %rdx     # 0x2827a
leaq -0x1f0(%rbp), %rdi
callq 0x86b8
leaq -0x250(%rbp), %rdx
leaq -0x230(%rbp), %rcx
leaq -0x210(%rbp), %r8
leaq -0x1f0(%rbp), %r9
movq %r15, %rdi
movl $0x38, %esi
callq 0x9448
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x582f
callq 0x4360
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x5847
callq 0x4360
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x585f
callq 0x4360
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x5877
callq 0x4360
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x588f
callq 0x4360
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x58a7
callq 0x4360
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x58bf
callq 0x4360
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x58d7
callq 0x4360
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x58ef
callq 0x4360
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x5907
callq 0x4360
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x591f
callq 0x4360
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x5937
callq 0x4360
movq -0x370(%rbp), %rdi
leaq -0x360(%rbp), %rax
cmpq %rax, %rdi
je 0x594f
callq 0x4360
movq -0x390(%rbp), %rdi
leaq -0x380(%rbp), %rax
cmpq %rax, %rdi
je 0x5967
callq 0x4360
movq -0x3b0(%rbp), %rdi
leaq -0x3a0(%rbp), %rax
cmpq %rax, %rdi
je 0x597f
callq 0x4360
movq -0x3d0(%rbp), %rdi
leaq -0x3c0(%rbp), %rax
cmpq %rax, %rdi
je 0x5997
callq 0x4360
movq -0x3f0(%rbp), %rdi
leaq -0x3e0(%rbp), %rax
cmpq %rax, %rdi
je 0x59af
callq 0x4360
movq -0x410(%rbp), %rdi
leaq -0x400(%rbp), %rax
cmpq %rax, %rdi
je 0x59c7
callq 0x4360
movq -0x430(%rbp), %rdi
leaq -0x420(%rbp), %rax
cmpq %rax, %rdi
je 0x59df
callq 0x4360
movq -0x450(%rbp), %rdi
leaq -0x440(%rbp), %rax
cmpq %rax, %rdi
je 0x59f7
callq 0x4360
movq -0x470(%rbp), %rdi
leaq -0x460(%rbp), %rax
cmpq %rax, %rdi
je 0x5a0f
callq 0x4360
movq -0x490(%rbp), %rdi
leaq -0x480(%rbp), %rax
cmpq %rax, %rdi
je 0x5a27
callq 0x4360
movq -0x4b0(%rbp), %rdi
leaq -0x4a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5a3f
callq 0x4360
movq -0x4d0(%rbp), %rdi
leaq -0x4c0(%rbp), %rax
cmpq %rax, %rdi
je 0x5a57
callq 0x4360
movq -0x4f0(%rbp), %rdi
leaq -0x4e0(%rbp), %rax
cmpq %rax, %rdi
je 0x5a6f
callq 0x4360
movq -0x510(%rbp), %rdi
leaq -0x500(%rbp), %rax
cmpq %rax, %rdi
je 0x5a87
callq 0x4360
movq -0x530(%rbp), %rdi
leaq -0x520(%rbp), %rax
cmpq %rax, %rdi
je 0x5a9f
callq 0x4360
movq -0x550(%rbp), %rdi
leaq -0x540(%rbp), %rax
cmpq %rax, %rdi
je 0x5ab7
callq 0x4360
movq -0x570(%rbp), %rdi
leaq -0x560(%rbp), %rax
cmpq %rax, %rdi
je 0x5acf
callq 0x4360
movq -0x590(%rbp), %rdi
leaq -0x580(%rbp), %rax
cmpq %rax, %rdi
je 0x5ae7
callq 0x4360
movq -0x5b0(%rbp), %rdi
leaq -0x5a0(%rbp), %rax
cmpq %rax, %rdi
je 0x5aff
callq 0x4360
movq -0x5d0(%rbp), %rdi
leaq -0x5c0(%rbp), %rax
cmpq %rax, %rdi
je 0x5b17
callq 0x4360
movq -0x5f0(%rbp), %rdi
leaq -0x5e0(%rbp), %rax
cmpq %rax, %rdi
je 0x5b2f
callq 0x4360
movq -0x610(%rbp), %rdi
leaq -0x600(%rbp), %rax
cmpq %rax, %rdi
je 0x5b47
callq 0x4360
movq -0x630(%rbp), %rdi
leaq -0x620(%rbp), %rax
cmpq %rax, %rdi
je 0x5b5f
callq 0x4360
movq -0x770(%rbp), %rdi
cmpq %r13, %rdi
je 0x5b70
callq 0x4360
movq -0x790(%rbp), %rdi
cmpq %r12, %rdi
je 0x5b81
callq 0x4360
leaq -0x878(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
callq 0x9e70
movq -0x7d8(%rbp), %rax
subq -0x7e0(%rbp), %rax
cmpq $0x80, %rax
je 0x5bc4
movq 0x30418(%rip), %rax     # 0x35fc8
movq (%rax), %rsi
leaq -0x878(%rbp), %rdi
movl $0x1, %edx
callq 0xa412
leaq -0x740(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x226a5(%rip), %rsi     # 0x2827b
leaq 0x226a8(%rip), %rdx     # 0x28285
leaq -0x750(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x750(%rbp), %rsi
callq 0x9f2a
movq %rax, %rdi
callq 0x92ec
movl %eax, -0x64(%rbp)
movq -0x750(%rbp), %rdi
cmpq %r14, %rdi
je 0x5c18
callq 0x4360
leaq -0x720(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x2265c(%rip), %rsi     # 0x28286
leaq 0x2265d(%rip), %rdx     # 0x2828e
leaq -0x730(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x730(%rbp), %rsi
callq 0x9f2a
movq %rax, %rdi
callq 0x92ec
movq %rax, -0x80(%rbp)
movq -0x730(%rbp), %rdi
cmpq %r14, %rdi
je 0x5c6d
callq 0x4360
leaq -0x700(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x22610(%rip), %rsi     # 0x2828f
leaq 0x22613(%rip), %rdx     # 0x28299
leaq -0x710(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x710(%rbp), %rsi
callq 0x9f2a
movq %rax, %rdi
callq 0x92ec
movl %eax, -0x78(%rbp)
movq -0x710(%rbp), %rdi
cmpq %r14, %rdi
je 0x5cc1
callq 0x4360
leaq -0x6e0(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x225c7(%rip), %rsi     # 0x2829a
leaq 0x225ca(%rip), %rdx     # 0x282a4
leaq -0x6f0(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x6f0(%rbp), %rsi
callq 0x9f2a
movq %rax, %rdi
callq 0x92ec
movl %eax, %ebx
movq -0x6f0(%rbp), %rdi
cmpq %r14, %rdi
je 0x5d14
callq 0x4360
movq -0x7e0(%rbp), %rax
leaq -0x130(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x140(%rbp), %rdi
callq 0x861a
movq -0x7e0(%rbp), %rax
leaq -0x170(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x20(%rax), %rsi
movq 0x28(%rax), %rdx
addq %rsi, %rdx
leaq -0x180(%rbp), %rdi
callq 0x861a
movq -0x7e0(%rbp), %rax
leaq -0x150(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x40(%rax), %rsi
movq 0x48(%rax), %rdx
addq %rsi, %rdx
leaq -0x160(%rbp), %rdi
callq 0x861a
movq -0x7e0(%rbp), %rax
leaq -0x1c0(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x60(%rax), %rsi
movq 0x68(%rax), %rdx
addq %rsi, %rdx
leaq -0x1d0(%rbp), %rdi
callq 0x861a
leaq -0x6c0(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x224dc(%rip), %rsi     # 0x282a5
leaq 0x224e0(%rip), %rdx     # 0x282b0
leaq -0x6d0(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x6d0(%rbp), %rsi
callq 0x9f2a
movq %rax, %rdi
callq 0x92ec
movl %eax, -0x2c(%rbp)
movq -0x6d0(%rbp), %rdi
cmpq %r14, %rdi
je 0x5e0b
callq 0x4360
leaq -0x6a0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x223ab(%rip), %rsi     # 0x281c8
leaq 0x223b8(%rip), %rdx     # 0x281dc
leaq -0x6b0(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x6b0(%rbp), %rsi
callq 0x9f2a
movb 0x4a(%rax), %r14b
movq -0x6b0(%rbp), %rdi
cmpq %r15, %rdi
je 0x5e58
callq 0x4360
leaq -0x680(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x223a4(%rip), %rsi     # 0x2820f
leaq 0x223ad(%rip), %rdx     # 0x2821f
leaq -0x690(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x690(%rbp), %rsi
callq 0x9f2a
movb 0x4a(%rax), %r15b
movq -0x690(%rbp), %rdi
cmpq %r12, %rdi
je 0x5ea6
callq 0x4360
leaq -0x660(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x2239c(%rip), %rsi     # 0x28255
leaq 0x2239a(%rip), %rdx     # 0x2825a
leaq -0x670(%rbp), %rdi
callq 0x86b8
leaq -0x878(%rbp), %rdi
leaq -0x670(%rbp), %rsi
callq 0x9f2a
movb 0x4a(%rax), %r13b
movq -0x670(%rbp), %rdi
cmpq %r12, %rdi
je 0x5ef4
callq 0x4360
movq 0x300ed(%rip), %rdi     # 0x35fe8
movq (%rdi), %rax
movq -0x18(%rax), %rax
orl $0x1, 0x18(%rdi,%rax)
leaq 0x223a3(%rip), %rsi     # 0x282b1
movl $0x16, %edx
callq 0x4410
movq -0x140(%rbp), %rsi
movq -0x138(%rbp), %rdx
movq 0x300bb(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x300a7(%rip), %rdi     # 0x35fe8
leaq 0x22380(%rip), %rsi     # 0x282c8
movl $0x21, %edx
callq 0x4410
movq -0x180(%rbp), %rsi
movq -0x178(%rbp), %rdx
movq 0x30081(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x3006d(%rip), %rdi     # 0x35fe8
leaq 0x22368(%rip), %rsi     # 0x282ea
movl $0x12, %edx
callq 0x4410
movq -0x160(%rbp), %rsi
movq -0x158(%rbp), %rdx
movq 0x30047(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x30033(%rip), %rdi     # 0x35fe8
leaq 0x22341(%rip), %rsi     # 0x282fd
movl $0x1d, %edx
callq 0x4410
movq -0x1d0(%rbp), %rsi
movq -0x1c8(%rbp), %rdx
movq 0x3000d(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq 0x2fff9(%rip), %rdi     # 0x35fe8
leaq 0x22325(%rip), %rsi     # 0x2831b
movl $0x26, %edx
callq 0x4410
movl -0x64(%rbp), %esi
movq 0x2ffde(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2ffca(%rip), %rdi     # 0x35fe8
leaq 0x2231d(%rip), %rsi     # 0x28342
movl $0x24, %edx
callq 0x4410
movl -0x80(%rbp), %r12d
movq 0x2ffae(%rip), %rdi     # 0x35fe8
movq %r12, %rsi
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2ff97(%rip), %rdi     # 0x35fe8
leaq 0x2230f(%rip), %rsi     # 0x28367
movl $0x33, %edx
callq 0x4410
movl -0x78(%rbp), %esi
movq 0x2ff7c(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2ff68(%rip), %rdi     # 0x35fe8
leaq 0x22314(%rip), %rsi     # 0x2839b
movl $0x1f, %edx
callq 0x4410
movl %ebx, %esi
movq 0x2ff4e(%rip), %rdi     # 0x35fe8
movq %rsi, -0x100(%rbp)
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2ff33(%rip), %rdi     # 0x35fe8
leaq 0x222ff(%rip), %rsi     # 0x283bb
movl $0x16, %edx
callq 0x4410
movq 0x2ff1b(%rip), %rbx     # 0x35fe8
movsd 0x21f33(%rip), %xmm0    # 0x28008
movq %rbx, %rdi
callq 0x45c0
movq %rax, %rdi
callq 0x4180
movl -0x2c(%rbp), %eax
movl %eax, %ecx
movq %rcx, -0xf8(%rbp)
testl %eax, %eax
je 0x6139
movq 0x2feec(%rip), %rdi     # 0x35fe8
leaq 0x222cf(%rip), %rsi     # 0x283d2
movl $0x31, %edx
callq 0x4410
movq 0x2fed4(%rip), %rdi     # 0x35fe8
movq -0xf8(%rbp), %rsi
callq 0x4260
movq %rax, %rbx
leaq 0x22098(%rip), %rsi     # 0x281c2
movl $0x5, %edx
movq %rax, %rdi
callq 0x4410
jmp 0x614d
leaq 0x222c4(%rip), %rsi     # 0x28404
movl $0x21, %edx
movq %rbx, %rdi
callq 0x4410
movq %rbx, %rdi
callq 0x4180
movq 0x2fe8c(%rip), %rdi     # 0x35fe8
leaq 0x222c3(%rip), %rsi     # 0x28426
movl $0x3f, %edx
callq 0x4410
movzbl %r14b, %esi
movq 0x2fe70(%rip), %rdi     # 0x35fe8
movl %esi, -0xb4(%rbp)
callq 0x4600
movq %rax, %rdi
callq 0x4180
movq 0x2fe56(%rip), %rdi     # 0x35fe8
leaq 0x222cd(%rip), %rsi     # 0x28466
movl $0x22, %edx
callq 0x4410
movzbl %r15b, %esi
movq 0x2fe3a(%rip), %rdi     # 0x35fe8
movl %esi, -0x30(%rbp)
callq 0x4600
movq %rax, %rdi
callq 0x4180
movq 0x2fe23(%rip), %rdi     # 0x35fe8
leaq 0x222bd(%rip), %rsi     # 0x28489
movl $0x1c, %edx
callq 0x4410
movzbl %r13b, %ebx
movq 0x2fe07(%rip), %rdi     # 0x35fe8
movl %ebx, %esi
callq 0x4600
movq %rax, %rdi
callq 0x4180
leaq -0x960(%rbp), %rax
xorl %r14d, %r14d
movl %r14d, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %r14, 0x20(%rax)
leaq -0x930(%rbp), %rax
movl %r14d, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %r14, 0x20(%rax)
leaq -0x7b8(%rbp), %rax
movl %r14d, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %r14, 0x20(%rax)
leaq 0x30178(%rip), %rsi     # 0x363c0
leaq -0xbd8(%rbp), %rdi
callq 0x741c
leaq -0x58(%rbp), %rax
movl %r14d, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %r14, 0x20(%rax)
leaq -0xa8(%rbp), %rax
movl %r14d, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %r14, 0x20(%rax)
leaq -0x8a0(%rbp), %rax
movl %r14d, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %r14, 0x20(%rax)
leaq -0x900(%rbp), %rax
movl %r14d, (%rax)
movq %r14, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %r14, 0x20(%rax)
movq 0x2fd28(%rip), %rdi     # 0x35fe8
leaq 0x221df(%rip), %rsi     # 0x284a6
movl $0x1c, %edx
callq 0x4410
movq -0x180(%rbp), %rsi
movq -0x178(%rbp), %rdx
movq 0x2fd02(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
leaq -0x60(%rbp), %rdi
leaq -0x180(%rbp), %rsi
callq 0x23eda
testl %eax, %eax
jns 0x6330
movq 0x2fcda(%rip), %rdi     # 0x35fe8
leaq 0x221ae(%rip), %rsi     # 0x284c3
movl $0x28, %edx
callq 0x4410
movq 0x2fcc2(%rip), %rdi     # 0x35fe8
callq 0x4180
jmp 0x6497
movq 0x2fcb1(%rip), %rdi     # 0x35fe8
leaq 0x221ae(%rip), %rsi     # 0x284ec
movl $0x18, %edx
callq 0x4410
leaq -0x60(%rbp), %rdi
callq 0x246c2
movq 0x2fc90(%rip), %rdi     # 0x35fe8
movl %eax, %esi
callq 0x4650
movq %rax, %rdi
callq 0x4180
movq 0x2fc7a(%rip), %rdi     # 0x35fe8
leaq 0x22190(%rip), %rsi     # 0x28505
movl $0x12, %edx
callq 0x4410
movq -0x38(%rbp), %rsi
movq 0x2fc5e(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
leaq -0x8d0(%rbp), %rax
movl $0x0, (%rax)
xorl %ecx, %ecx
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq -0x60(%rbp), %rdi
leaq -0x8d8(%rbp), %rsi
callq 0x24716
leaq -0x8d8(%rbp), %rdi
leaq -0x908(%rbp), %rsi
movl -0x78(%rbp), %edx
movl %ebx, %ecx
callq 0x7225
movq 0x2fc03(%rip), %rdi     # 0x35fe8
leaq 0x2212c(%rip), %rsi     # 0x28518
movl $0x12, %edx
callq 0x4410
movq -0x140(%rbp), %rsi
movq -0x138(%rbp), %rdx
movq 0x2fbdd(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
leaq -0x640(%rbp), %r14
movq %r14, -0x10(%r14)
movq -0x140(%rbp), %rsi
movq -0x138(%rbp), %rdx
addq %rsi, %rdx
leaq -0x650(%rbp), %rdi
callq 0x861a
leaq -0x650(%rbp), %rdi
leaq -0x7c0(%rbp), %rsi
leaq -0xb8(%rbp), %rdx
movl %ebx, %ecx
callq 0x1eed2
movl %eax, %ebx
movq -0x650(%rbp), %rdi
cmpq %r14, %rdi
je 0x646f
callq 0x4360
testl %ebx, %ebx
jns 0x64a1
movq 0x2fb6e(%rip), %rdi     # 0x35fe8
leaq 0x220aa(%rip), %rsi     # 0x2852b
movl $0x26, %edx
callq 0x4410
movq 0x2fb56(%rip), %rdi     # 0x35fe8
callq 0x4180
movl $0x1, %edi
callq 0x4430
movq 0x2fb40(%rip), %rdi     # 0x35fe8
leaq 0x224e7(%rip), %rsi     # 0x28996
movl $0x1, %edx
callq 0x4410
movq 0x2fb28(%rip), %rdi     # 0x35fe8
leaq 0x2208b(%rip), %rsi     # 0x28552
movl $0xf, %edx
callq 0x4410
movq -0x798(%rbp), %rsi
movq 0x2fb09(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
movq 0x2faf5(%rip), %rdi     # 0x35fe8
leaq 0x2249c(%rip), %rsi     # 0x28996
movl $0x1, %edx
callq 0x4410
movq 0x2fadd(%rip), %rdi     # 0x35fe8
leaq 0x22050(%rip), %rsi     # 0x28562
movl $0x15, %edx
callq 0x4410
movl -0xb8(%rbp), %esi
movq 0x2fabf(%rip), %rdi     # 0x35fe8
callq 0x4650
movq %rax, %rdi
callq 0x4180
movq 0x2faab(%rip), %rdi     # 0x35fe8
leaq 0x22034(%rip), %rsi     # 0x28578
movl $0xd, %edx
callq 0x4410
movq -0x160(%rbp), %rsi
movq -0x158(%rbp), %rdx
movq 0x2fa85(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
leaq -0xbd8(%rbp), %rdi
leaq -0x160(%rbp), %rsi
callq 0x14ce2
leaq -0xbd8(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x14846
movq 0x2fa4e(%rip), %rcx     # 0x35fe8
movq (%rcx), %rax
movq -0x18(%rax), %rax
movq $0xf, 0x8(%rcx,%rax)
movq -0x80(%rbp), %rax
shrl %eax
movq %rax, -0x80(%rbp)
movl $0x1, %r15d
leaq -0xbd8(%rbp), %rbx
leaq -0xf0(%rbp), %r13
movq $0x0, -0x70(%rbp)
movl $0xa, %edx
movq 0x2fa0c(%rip), %rdi     # 0x35fe8
leaq 0x21fa3(%rip), %rsi     # 0x28586
callq 0x4410
movq 0x2f9f9(%rip), %rdi     # 0x35fe8
movl %r15d, %esi
callq 0x4650
movq %rax, %rdi
callq 0x4180
leaq -0x60(%rbp), %rdi
movq %rbx, %rsi
callq 0x1a9de
leaq -0x7c0(%rbp), %rdi
movq %rbx, %rsi
leaq -0xb0(%rbp), %rdx
leaq -0x8a8(%rbp), %rcx
movl -0x30(%rbp), %r8d
callq 0x22da2
movsd %xmm0, -0x78(%rbp)
movq -0x50(%rbp), %rcx
movq -0xa0(%rbp), %rax
testq %rcx, %rcx
je 0x66a0
testq %rax, %rax
je 0x66fb
movq %rax, -0x50(%rbp)
movq %rcx, -0xa0(%rbp)
movups -0x48(%rbp), %xmm0
movups -0x98(%rbp), %xmm1
movups %xmm1, -0x48(%rbp)
movups %xmm0, -0x98(%rbp)
leaq -0x58(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0xa0(%rbp), %rax
leaq -0xa8(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x38(%rbp), %rax
movq -0x88(%rbp), %rcx
movq %rcx, -0x38(%rbp)
movq %rax, -0x88(%rbp)
jmp 0x6742
testq %rax, %rax
je 0x6742
movl -0xa8(%rbp), %ecx
movl %ecx, -0x58(%rbp)
movq %rax, -0x50(%rbp)
movups -0x98(%rbp), %xmm0
movups %xmm0, -0x48(%rbp)
leaq -0x58(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x88(%rbp), %rax
movq %rax, -0x38(%rbp)
xorl %ecx, %ecx
movq %rcx, -0xa0(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, -0x98(%rbp)
movq %rax, -0x90(%rbp)
movq %rcx, -0x88(%rbp)
jmp 0x6742
movl -0x58(%rbp), %eax
movl %eax, -0xa8(%rbp)
movq %rcx, -0xa0(%rbp)
movups -0x48(%rbp), %xmm0
movups %xmm0, -0x98(%rbp)
leaq -0xa8(%rbp), %rax
movq %rax, 0x8(%rcx)
movq -0x38(%rbp), %rax
movq %rax, -0x88(%rbp)
xorl %ecx, %ecx
movq %rcx, -0x50(%rbp)
leaq -0x58(%rbp), %rax
movq %rax, -0x48(%rbp)
movq %rax, -0x40(%rbp)
movq %rcx, -0x38(%rbp)
leaq -0x60(%rbp), %rdi
movsd 0x218ba(%rip), %xmm0    # 0x28008
callq 0x22f6c
leaq -0xb0(%rbp), %rdi
callq 0x8756
movl $0x14, %edx
movq 0x2f87d(%rip), %rdi     # 0x35fe8
leaq 0x21e1f(%rip), %rsi     # 0x28591
callq 0x4410
movq 0x2f86a(%rip), %rdi     # 0x35fe8
movsd -0x78(%rbp), %xmm0
callq 0x45c0
movq %rax, %rdi
callq 0x4180
movl $0x18, %edx
movq 0x2f84c(%rip), %rdi     # 0x35fe8
leaq 0x21d49(%rip), %rsi     # 0x284ec
callq 0x4410
leaq -0x60(%rbp), %rdi
callq 0x246c2
movq 0x2f830(%rip), %rdi     # 0x35fe8
movl %eax, %esi
callq 0x4650
movq %rax, %rdi
callq 0x4180
movl $0x12, %edx
movq 0x2f815(%rip), %rdi     # 0x35fe8
leaq 0x21d2b(%rip), %rsi     # 0x28505
callq 0x4410
movq -0x38(%rbp), %rsi
movq 0x2f7fe(%rip), %rdi     # 0x35fe8
callq 0x4260
movq %rax, %rdi
callq 0x4180
cmpl $0x0, -0x2c(%rbp)
sete %al
cmpl $0x1, %r15d
setne %cl
orb %al, %cl
jne 0x681f
movq -0x38(%rbp), %rcx
movq %rcx, %rax
xorl %edx, %edx
divq -0xf8(%rbp)
subl %edx, %ecx
movq %rcx, -0x70(%rbp)
movl $0x19, %edx
movq 0x2f7bd(%rip), %rdi     # 0x35fe8
leaq 0x21d74(%rip), %rsi     # 0x285a6
callq 0x4410
movq 0x2f7aa(%rip), %rdi     # 0x35fe8
callq 0x4180
movl $0x0, -0x1a8(%rbp)
xorl %ecx, %ecx
movq %rcx, -0x1a0(%rbp)
leaq -0x1a8(%rbp), %rax
movq %rax, -0x198(%rbp)
movq %rax, -0x190(%rbp)
movq %rcx, -0x188(%rbp)
movl -0x64(%rbp), %edi
leaq -0x8a8(%rbp), %rsi
leaq -0x1b0(%rbp), %rdx
leaq -0x908(%rbp), %rcx
callq 0x24e90
movl $0x14, %edx
movq 0x2f74d(%rip), %rdi     # 0x35fe8
leaq 0x21d1e(%rip), %rsi     # 0x285c0
callq 0x4410
movq 0x2f73a(%rip), %rdi     # 0x35fe8
callq 0x4180
leaq -0x60(%rbp), %rdi
movq %rbx, %rsi
callq 0x1a9de
movl -0xb4(%rbp), %eax
movl %eax, (%rsp)
leaq -0x7c0(%rbp), %rdi
movq %rbx, %rsi
leaq -0x8a8(%rbp), %rdx
leaq -0x60(%rbp), %rcx
leaq -0x1b0(%rbp), %r8
movl -0x30(%rbp), %r9d
callq 0x251b6
xorps %xmm0, %xmm0
movaps %xmm0, -0x120(%rbp)
movq $0x0, -0x110(%rbp)
leaq -0x1b0(%rbp), %rdi
leaq -0x120(%rbp), %rsi
movl $0x1, %edx
callq 0x1f5e4
xorps %xmm0, %xmm0
movaps %xmm0, -0xf0(%rbp)
movq $0x0, -0xe0(%rbp)
movq -0x120(%rbp), %r14
cmpq -0x118(%rbp), %r14
je 0x697f
movq %r13, %rdi
movq %r14, %rsi
callq 0x75cc
movq -0xe8(%rbp), %rcx
subq -0xf0(%rbp), %rcx
movq -0x38(%rbp), %rax
sarq $0x5, %rcx
subq %rcx, %rax
xorl %edx, %edx
divq %r12
testq %rdx, %rdx
sete %al
cmpq -0x80(%rbp), %rcx
setae %cl
testb %cl, %al
jne 0x697f
addq $0x28, %r14
jmp 0x6936
movq %r13, %rdi
leaq -0x60(%rbp), %rsi
callq 0x24108
movq -0xf0(%rbp), %r14
cmpq -0xe8(%rbp), %r14
je 0x69ac
movq %rbx, %rdi
movq %r14, %rsi
callq 0x146d6
addq $0x20, %r14
jmp 0x6992
leaq -0x7c0(%rbp), %rdi
movq %rbx, %rsi
leaq -0x60(%rbp), %rdx
movl -0x30(%rbp), %ecx
movl $0x1, %r8d
callq 0x22c98
movq %rbx, %rdi
leaq -0x60(%rbp), %rsi
callq 0x14846
movq -0x38(%rbp), %r14
cmpl $0x0, -0x2c(%rbp)
je 0x6b1a
movl -0x70(%rbp), %eax
cmpq %rax, %r14
seta %al
cmpq -0x100(%rbp), %r14
setbe %cl
orb %al, %cl
jne 0x6b1a
leaq -0xae0(%rbp), %rdi
callq 0x44c0
movl $0xc, %edx
leaq -0xae0(%rbp), %rdi
leaq 0x21bb9(%rip), %rsi     # 0x285d5
callq 0x4410
movq -0x38(%rbp), %rsi
leaq -0xae0(%rbp), %rdi
callq 0x4260
movl $0x3, %edx
movq %rax, %rdi
leaq 0x21ba2(%rip), %rsi     # 0x285e2
callq 0x4410
movl $0xd, %edx
movq 0x2f597(%rip), %rdi     # 0x35fe8
leaq 0x21b8e(%rip), %rsi     # 0x285e6
callq 0x4410
leaq -0xd8(%rbp), %rdi
leaq -0xad8(%rbp), %rsi
callq 0x45a0
movq -0xd8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
movq 0x2f563(%rip), %rdi     # 0x35fe8
callq 0x4410
movq %rax, %rdi
callq 0x4180
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
je 0x6aaa
callq 0x4360
leaq -0xd8(%rbp), %rdi
leaq -0xad8(%rbp), %rsi
callq 0x45a0
leaq -0x60(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
xorl %edx, %edx
movl $0x6, %ecx
callq 0x23b9e
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
je 0x6aec
callq 0x4360
movq -0x70(%rbp), %rax
subl -0x2c(%rbp), %eax
movq %rax, -0x70(%rbp)
leaq -0xae0(%rbp), %rdi
movq 0x2f4b3(%rip), %rsi     # 0x35fb8
callq 0x41c0
leaq -0xa70(%rbp), %rdi
callq 0x4110
movq -0x38(%rbp), %r14
incl %r15d
movq %r13, %rdi
callq 0x7618
leaq -0x120(%rbp), %rdi
callq 0x7670
leaq -0x1b0(%rbp), %rdi
callq 0x8350
cmpq -0x100(%rbp), %r14
ja 0x65d0
leaq -0x60(%rbp), %rdi
leaq -0x1d0(%rbp), %rsi
xorl %edx, %edx
movl $0x6, %ecx
callq 0x23b9e
xorl %edi, %edi
callq 0x4430
jmp 0x6bf1
jmp 0x6b71
jmp 0x6b90
movq %rax, %rbx
movq -0xd8(%rbp), %rdi
leaq -0xc8(%rbp), %rax
cmpq %rax, %rdi
je 0x6b93
callq 0x4360
jmp 0x6b93
jmp 0x6b90
movq %rax, %rbx
movq 0x2f41e(%rip), %rsi     # 0x35fb8
leaq -0xae0(%rbp), %rdi
callq 0x41c0
leaq -0xa70(%rbp), %rdi
callq 0x4110
jmp 0x6bbd
jmp 0x6bba
jmp 0x6bba
jmp 0x6bba
movq %rax, %rbx
leaq -0xf0(%rbp), %rdi
callq 0x7618
jmp 0x6bce
movq %rax, %rbx
leaq -0x120(%rbp), %rdi
callq 0x7670
jmp 0x6bdf
movq %rax, %rbx
leaq -0x1b0(%rbp), %rdi
callq 0x8350
jmp 0x6c0a
jmp 0x6bf1
jmp 0x6bf1
movq %rax, %rbx
jmp 0x6c0a
movq %rax, %rbx
movq -0x650(%rbp), %rdi
cmpq %r14, %rdi
je 0x6c0a
callq 0x4360
leaq -0x8d8(%rbp), %rdi
callq 0x8350
jmp 0x6c1d
jmp 0x6c1a
movq %rax, %rbx
leaq -0x908(%rbp), %rdi
callq 0x83ba
leaq -0x8a8(%rbp), %rdi
callq 0x8350
leaq -0xb0(%rbp), %rdi
callq 0x8424
leaq -0x60(%rbp), %rdi
callq 0x8424
leaq -0xbd8(%rbp), %rdi
callq 0x13b2c
jmp 0x6c5b
movq %rax, %rbx
leaq -0x7c0(%rbp), %rdi
callq 0x8350
leaq -0x938(%rbp), %rdi
callq 0x8350
leaq -0x968(%rbp), %rdi
callq 0x8350
jmp 0x6cd0
jmp 0x6ccd
movq %rax, %rbx
movq -0x670(%rbp), %rdi
jmp 0x6c9b
jmp 0x6ccd
movq %rax, %rbx
movq -0x690(%rbp), %rdi
cmpq %r12, %rdi
jne 0x6cc6
jmp 0x6cd0
jmp 0x6ccd
movq %rax, %rbx
movq -0x6b0(%rbp), %rdi
cmpq %r15, %rdi
jne 0x6cc6
jmp 0x6cd0
jmp 0x6ccd
movq %rax, %rbx
movq -0x6d0(%rbp), %rdi
cmpq %r14, %rdi
je 0x6cd0
callq 0x4360
jmp 0x6cd0
movq %rax, %rbx
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6ced
callq 0x4360
jmp 0x6ced
movq %rax, %rbx
movq -0x160(%rbp), %rdi
leaq -0x150(%rbp), %rax
cmpq %rax, %rdi
je 0x6d0a
callq 0x4360
jmp 0x6d0a
movq %rax, %rbx
movq -0x180(%rbp), %rdi
leaq -0x170(%rbp), %rax
cmpq %rax, %rdi
je 0x6d27
callq 0x4360
jmp 0x6d27
movq %rax, %rbx
movq -0x140(%rbp), %rdi
leaq -0x130(%rbp), %rax
cmpq %rax, %rdi
jne 0x71cb
jmp 0x71d5
jmp 0x71d2
movq %rax, %rbx
movq -0x6f0(%rbp), %rdi
jmp 0x6d85
jmp 0x71d2
movq %rax, %rbx
movq -0x710(%rbp), %rdi
jmp 0x6d85
jmp 0x71d2
movq %rax, %rbx
movq -0x730(%rbp), %rdi
jmp 0x6d85
jmp 0x71d2
movq %rax, %rbx
movq -0x750(%rbp), %rdi
cmpq %r14, %rdi
jne 0x71cb
jmp 0x71d5
jmp 0x71d2
jmp 0x71d2
movq %rax, %rbx
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x6dbd
callq 0x4360
jmp 0x6dbd
movq %rax, %rbx
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x6dda
callq 0x4360
jmp 0x6dda
movq %rax, %rbx
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x6df7
callq 0x4360
jmp 0x6df7
movq %rax, %rbx
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x6e16
callq 0x4360
jmp 0x6e16
jmp 0x6e13
movq %rax, %rbx
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x6e33
callq 0x4360
jmp 0x6e33
movq %rax, %rbx
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x6e50
callq 0x4360
jmp 0x6e50
movq %rax, %rbx
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6e6d
callq 0x4360
jmp 0x6e6d
movq %rax, %rbx
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6e8c
callq 0x4360
jmp 0x6e8c
jmp 0x6e89
movq %rax, %rbx
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x6ea9
callq 0x4360
jmp 0x6ea9
movq %rax, %rbx
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x6ec6
callq 0x4360
jmp 0x6ec6
movq %rax, %rbx
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x6ee3
callq 0x4360
jmp 0x6ee3
movq %rax, %rbx
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x6f02
callq 0x4360
jmp 0x6f02
jmp 0x6eff
movq %rax, %rbx
movq -0x370(%rbp), %rdi
leaq -0x360(%rbp), %rax
cmpq %rax, %rdi
je 0x6f1f
callq 0x4360
jmp 0x6f1f
movq %rax, %rbx
movq -0x390(%rbp), %rdi
leaq -0x380(%rbp), %rax
cmpq %rax, %rdi
je 0x6f3c
callq 0x4360
jmp 0x6f3c
movq %rax, %rbx
movq -0x3b0(%rbp), %rdi
leaq -0x3a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6f59
callq 0x4360
jmp 0x6f59
movq %rax, %rbx
movq -0x3d0(%rbp), %rdi
leaq -0x3c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6f78
callq 0x4360
jmp 0x6f78
jmp 0x6f75
movq %rax, %rbx
movq -0x3f0(%rbp), %rdi
leaq -0x3e0(%rbp), %rax
cmpq %rax, %rdi
je 0x6f95
callq 0x4360
jmp 0x6f95
movq %rax, %rbx
movq -0x410(%rbp), %rdi
leaq -0x400(%rbp), %rax
cmpq %rax, %rdi
je 0x6fb2
callq 0x4360
jmp 0x6fb2
movq %rax, %rbx
movq -0x430(%rbp), %rdi
leaq -0x420(%rbp), %rax
cmpq %rax, %rdi
je 0x6fcf
callq 0x4360
jmp 0x6fcf
movq %rax, %rbx
movq -0x450(%rbp), %rdi
leaq -0x440(%rbp), %rax
cmpq %rax, %rdi
je 0x6fee
callq 0x4360
jmp 0x6fee
jmp 0x6feb
movq %rax, %rbx
movq -0x470(%rbp), %rdi
leaq -0x460(%rbp), %rax
cmpq %rax, %rdi
je 0x700b
callq 0x4360
jmp 0x700b
movq %rax, %rbx
movq -0x490(%rbp), %rdi
leaq -0x480(%rbp), %rax
cmpq %rax, %rdi
je 0x7028
callq 0x4360
jmp 0x7028
movq %rax, %rbx
movq -0x4b0(%rbp), %rdi
leaq -0x4a0(%rbp), %rax
cmpq %rax, %rdi
je 0x7045
callq 0x4360
jmp 0x7045
movq %rax, %rbx
movq -0x4d0(%rbp), %rdi
leaq -0x4c0(%rbp), %rax
cmpq %rax, %rdi
je 0x7064
callq 0x4360
jmp 0x7064
jmp 0x7061
movq %rax, %rbx
movq -0x4f0(%rbp), %rdi
leaq -0x4e0(%rbp), %rax
cmpq %rax, %rdi
je 0x7081
callq 0x4360
jmp 0x7081
movq %rax, %rbx
movq -0x510(%rbp), %rdi
leaq -0x500(%rbp), %rax
cmpq %rax, %rdi
je 0x709e
callq 0x4360
jmp 0x709e
movq %rax, %rbx
movq -0x530(%rbp), %rdi
leaq -0x520(%rbp), %rax
cmpq %rax, %rdi
je 0x70bb
callq 0x4360
jmp 0x70bb
movq %rax, %rbx
movq -0x550(%rbp), %rdi
leaq -0x540(%rbp), %rax
cmpq %rax, %rdi
je 0x70da
callq 0x4360
jmp 0x70da
jmp 0x70d7
movq %rax, %rbx
movq -0x570(%rbp), %rdi
leaq -0x560(%rbp), %rax
cmpq %rax, %rdi
je 0x70f7
callq 0x4360
jmp 0x70f7
movq %rax, %rbx
movq -0x590(%rbp), %rdi
leaq -0x580(%rbp), %rax
cmpq %rax, %rdi
je 0x7114
callq 0x4360
jmp 0x7114
movq %rax, %rbx
movq -0x5b0(%rbp), %rdi
leaq -0x5a0(%rbp), %rax
cmpq %rax, %rdi
je 0x7131
callq 0x4360
jmp 0x7131
movq %rax, %rbx
movq -0x5d0(%rbp), %rdi
leaq -0x5c0(%rbp), %rax
cmpq %rax, %rdi
je 0x7150
callq 0x4360
jmp 0x7150
jmp 0x714d
movq %rax, %rbx
movq -0x5f0(%rbp), %rdi
leaq -0x5e0(%rbp), %rax
cmpq %rax, %rdi
je 0x716d
callq 0x4360
jmp 0x716d
movq %rax, %rbx
movq -0x610(%rbp), %rdi
leaq -0x600(%rbp), %rax
cmpq %rax, %rdi
je 0x718a
callq 0x4360
jmp 0x718a
movq %rax, %rbx
movq -0x630(%rbp), %rdi
leaq -0x620(%rbp), %rax
cmpq %rax, %rdi
je 0x71a7
callq 0x4360
jmp 0x71a7
movq %rax, %rbx
movq -0x770(%rbp), %rdi
cmpq %r13, %rdi
je 0x71bf
callq 0x4360
jmp 0x71bf
jmp 0x71bc
movq %rax, %rbx
movq -0x790(%rbp), %rdi
cmpq %r12, %rdi
je 0x71d5
callq 0x4360
jmp 0x71d5
movq %rax, %rbx
leaq -0x7e0(%rbp), %rdi
callq 0x7618
leaq -0x810(%rbp), %rdi
callq 0x84e6
leaq -0x840(%rbp), %rdi
callq 0x8550
leaq -0x858(%rbp), %r14
movq %r14, %rdi
callq 0x84b2
movq -0x20(%r14), %rdi
leaq -0x868(%rbp), %rax
cmpq %rax, %rdi
je 0x721d
callq 0x4360
movq %rbx, %rdi
callq 0x4680