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

    string vocab_fname;
    string trans_fname;
    int maxlen;
    map<string, flt_type> vocab;
    StringSet *ss_vocab = NULL;
    transitions_t transitions;
    bool unigram = true;

    conf::Config config;
    config("usage: segposts [OPTION...] INPUT SEGPROBS_OUTPUT\n")
      ('h', "help", "", "", "display help")
      ('v', "vocabulary=FILE", "arg", "", "Unigram model file")
      ('t', "transitions=FILE", "arg", "", "Bigram model file")
      ('8', "utf-8", "", "", "Utf-8 character encoding in use");
    config.default_parse(argc, argv);
    if (config.arguments.size() != 2) config.print_help(stderr, 1);

    string in_fname = config.arguments[0];
    string out_fname = config.arguments[1];
    bool utf8_encoding = config["utf-8"].specified;

    if (!config["vocabulary"].specified && !config["transitions"].specified) {
        cerr << "Please define vocabulary or transitions" << endl;
        exit(EXIT_FAILURE);
    }

    if (config["vocabulary"].specified && config["transitions"].specified) {
        cerr << "Please don't define both vocabulary and transitions" << endl;
        exit(EXIT_FAILURE);
    }

    if (config["vocabulary"].specified) {
        vocab_fname = config["vocabulary"].get_str();
        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;
        ss_vocab = new StringSet(vocab);
    }

    if (config["transitions"].specified) {
        unigram = false;
        vocab_fname = config["transitions"].get_str();
        cerr << "Reading transitions " << trans_fname << endl;
        int retval = Bigrams::read_transitions(transitions, trans_fname);
        Bigrams::trans_to_vocab(transitions, vocab);
        ss_vocab = new StringSet(vocab);
        if (retval < 0) {
            cerr << "something went wrong reading transitions" << endl;
            exit(EXIT_FAILURE);
        }
        cerr << "\t" << "vocabulary: " << transitions.size() << endl;
        cerr << "\t" << "transitions: " << retval << endl;
    }

    cerr << "Segmenting corpus" << endl;
    SimpleFileInput infile(in_fname);
    SimpleFileOutput outfile(out_fname);

    string line;
    while (infile.getline(line)) {

        map<string, flt_type> ug_stats;
        transitions_t bg_stats;
        vector<flt_type> post_scores;

        if (unigram)
            forward_backward(*ss_vocab, line, ug_stats, post_scores, utf8_encoding);
        else {
            FactorGraph fg(line, start_end_symbol, *ss_vocab);
            forward_backward(transitions, fg, bg_stats, post_scores);
        }

        outfile << line << "\t";
        for (unsigned int i=0; i<post_scores.size()-1; i++)
            outfile << post_scores[i] << " ";
        outfile << "\n";
    }

    outfile.close();
    if (ss_vocab != NULL) delete ss_vocab;
    exit(EXIT_SUCCESS);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x688, %rsp            # imm = 0x688
movq %rsi, %rbx
movl %edi, %r14d
leaq -0x88(%rbp), %r13
movq %r13, -0x10(%r13)
xorl %eax, %eax
movq %rax, -0x8(%r13)
movb %al, (%r13)
leaq -0x580(%rbp), %r12
movq %r12, -0x10(%r12)
movq %rax, -0x8(%r12)
movb %al, (%r12)
leaq -0x5b8(%rbp), %rcx
movl %eax, (%rcx)
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
leaq -0x5e8(%rbp), %rcx
movl %eax, (%rcx)
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
leaq -0x6a8(%rbp), %rdi
callq 0x729e
leaq -0x380(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21ef0(%rip), %rsi     # 0x27020
leaq 0x21f1b(%rip), %rdx     # 0x27052
leaq -0x390(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x390(%rbp), %rsi
callq 0x7304
movq %rax, %r15
leaq -0x360(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21ef0(%rip), %rsi     # 0x2705b
leaq 0x21eed(%rip), %rdx     # 0x2705f
leaq -0x370(%rbp), %rdi
callq 0x67d2
leaq -0x340(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22417(%rip), %rdx     # 0x275a7
leaq -0x350(%rbp), %rdi
movq %rdx, %rsi
callq 0x67d2
leaq -0x320(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x223f6(%rip), %rdx     # 0x275a7
leaq -0x330(%rbp), %rdi
movq %rdx, %rsi
callq 0x67d2
leaq -0x300(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e81(%rip), %rsi     # 0x27053
leaq 0x21e86(%rip), %rdx     # 0x2705f
leaq -0x310(%rbp), %rdi
callq 0x67d2
leaq -0x370(%rbp), %rdx
leaq -0x350(%rbp), %rcx
leaq -0x330(%rbp), %r8
leaq -0x310(%rbp), %r9
movq %r15, %rdi
movl $0x68, %esi
callq 0x731c
movq %rax, %r15
leaq -0x2e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e3d(%rip), %rsi     # 0x27060
leaq 0x21e45(%rip), %rdx     # 0x2706f
leaq -0x2f0(%rbp), %rdi
callq 0x67d2
leaq -0x2c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e28(%rip), %rsi     # 0x27070
leaq 0x21e24(%rip), %rdx     # 0x27073
leaq -0x2d0(%rbp), %rdi
callq 0x67d2
leaq -0x2a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2233a(%rip), %rdx     # 0x275a7
leaq -0x2b0(%rbp), %rdi
movq %rdx, %rsi
callq 0x67d2
leaq -0x280(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21de6(%rip), %rsi     # 0x27074
leaq 0x21df1(%rip), %rdx     # 0x27086
leaq -0x290(%rbp), %rdi
callq 0x67d2
leaq -0x2f0(%rbp), %rdx
leaq -0x2d0(%rbp), %rcx
leaq -0x2b0(%rbp), %r8
leaq -0x290(%rbp), %r9
movq %r15, %rdi
movl $0x76, %esi
callq 0x731c
movq %rax, %r15
leaq -0x260(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21da8(%rip), %rsi     # 0x27087
leaq 0x21db1(%rip), %rdx     # 0x27097
leaq -0x270(%rbp), %rdi
callq 0x67d2
leaq -0x240(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d6c(%rip), %rsi     # 0x27070
leaq 0x21d68(%rip), %rdx     # 0x27073
leaq -0x250(%rbp), %rdi
callq 0x67d2
leaq -0x220(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2227e(%rip), %rdx     # 0x275a7
leaq -0x230(%rbp), %rdi
movq %rdx, %rsi
callq 0x67d2
leaq -0x200(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d4e(%rip), %rsi     # 0x27098
leaq 0x21d58(%rip), %rdx     # 0x270a9
leaq -0x210(%rbp), %rdi
callq 0x67d2
leaq -0x270(%rbp), %rdx
leaq -0x250(%rbp), %rcx
leaq -0x230(%rbp), %r8
leaq -0x210(%rbp), %r9
movq %r15, %rdi
movl $0x74, %esi
callq 0x731c
movq %rax, %r15
leaq -0x1e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d0f(%rip), %rsi     # 0x270aa
leaq 0x21d0d(%rip), %rdx     # 0x270af
leaq -0x1f0(%rbp), %rdi
callq 0x67d2
leaq -0x1c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x221e7(%rip), %rdx     # 0x275a7
leaq -0x1d0(%rbp), %rdi
movq %rdx, %rsi
callq 0x67d2
leaq -0x1a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x221c6(%rip), %rdx     # 0x275a7
leaq -0x1b0(%rbp), %rdi
movq %rdx, %rsi
callq 0x67d2
leaq -0x180(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21cae(%rip), %rsi     # 0x270b0
leaq 0x21cc6(%rip), %rdx     # 0x270cf
leaq -0x190(%rbp), %rdi
callq 0x67d2
leaq -0x1f0(%rbp), %rdx
leaq -0x1d0(%rbp), %rcx
leaq -0x1b0(%rbp), %r8
leaq -0x190(%rbp), %r9
movq %r15, %rdi
movl $0x38, %esi
callq 0x731c
movq -0x190(%rbp), %rdi
leaq -0x180(%rbp), %rax
cmpq %rax, %rdi
je 0x5456
callq 0x4350
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x546e
callq 0x4350
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x5486
callq 0x4350
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x549e
callq 0x4350
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x54b6
callq 0x4350
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x54ce
callq 0x4350
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x54e6
callq 0x4350
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x54fe
callq 0x4350
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x5516
callq 0x4350
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x552e
callq 0x4350
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x5546
callq 0x4350
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x555e
callq 0x4350
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x5576
callq 0x4350
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x558e
callq 0x4350
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x55a6
callq 0x4350
movq -0x370(%rbp), %rdi
leaq -0x360(%rbp), %rax
cmpq %rax, %rdi
je 0x55be
callq 0x4350
movq -0x390(%rbp), %rdi
leaq -0x380(%rbp), %rax
cmpq %rax, %rdi
je 0x55d6
callq 0x4350
leaq -0x6a8(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
callq 0x7d44
movq -0x610(%rbp), %rax
movq -0x608(%rbp), %rcx
subq %rax, %rcx
cmpq $0x40, %rcx
je 0x5621
movq 0x2f9c2(%rip), %rax     # 0x34fc8
movq (%rax), %rsi
leaq -0x6a8(%rbp), %rdi
movl $0x1, %edx
callq 0x82e6
movq -0x610(%rbp), %rax
leaq -0x560(%rbp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq -0x570(%rbp), %rdi
callq 0x6734
movq -0x610(%rbp), %rax
leaq -0x400(%rbp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x20(%rax), %rsi
movq 0x28(%rax), %rdx
addq %rsi, %rdx
leaq -0x410(%rbp), %rdi
callq 0x6734
leaq -0x540(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x21a2d(%rip), %rsi     # 0x270aa
leaq 0x21a2b(%rip), %rdx     # 0x270af
leaq -0x550(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x550(%rbp), %rsi
callq 0x7dfe
movb 0x4a(%rax), %al
movb %al, -0x3c(%rbp)
movq -0x550(%rbp), %rdi
cmpq %r15, %rdi
je 0x56ba
callq 0x4350
leaq -0x520(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x21a91(%rip), %rsi     # 0x2715d
leaq 0x21a94(%rip), %rdx     # 0x27167
leaq -0x530(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x530(%rbp), %rsi
callq 0x7dfe
cmpb $0x0, 0x4a(%rax)
je 0x5741
xorl %ebx, %ebx
movq -0x530(%rbp), %rdi
cmpq %r15, %rdi
je 0x570b
callq 0x4350
testb %bl, %bl
je 0x57a0
movq 0x2f8ce(%rip), %rdi     # 0x34fe8
leaq 0x219af(%rip), %rsi     # 0x270d0
movl $0x27, %edx
callq 0x4400
movq 0x2f8b6(%rip), %rdi     # 0x34fe8
callq 0x4180
movl $0x1, %edi
callq 0x4420
leaq -0x160(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x219cd(%rip), %rsi     # 0x27120
leaq 0x219d1(%rip), %rdx     # 0x2712b
leaq -0x170(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x170(%rbp), %rsi
callq 0x7dfe
movb 0x4a(%rax), %bl
xorb $0x1, %bl
movq -0x170(%rbp), %rdi
leaq -0x160(%rbp), %rax
cmpq %rax, %rdi
je 0x56fa
callq 0x4350
jmp 0x56fa
leaq -0x500(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x219ab(%rip), %rsi     # 0x2715d
leaq 0x219ae(%rip), %rdx     # 0x27167
leaq -0x510(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x510(%rbp), %rsi
callq 0x7dfe
cmpb $0x1, 0x4a(%rax)
jne 0x5833
leaq -0x140(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21930(%rip), %rsi     # 0x27120
leaq 0x21934(%rip), %rdx     # 0x2712b
leaq -0x150(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x150(%rbp), %rsi
callq 0x7dfe
movb 0x4a(%rax), %bl
movq -0x150(%rbp), %rdi
leaq -0x140(%rbp), %rax
cmpq %rax, %rdi
je 0x5835
callq 0x4350
jmp 0x5835
xorl %ebx, %ebx
movq -0x510(%rbp), %rdi
cmpq %r15, %rdi
je 0x5846
callq 0x4350
testb %bl, %bl
je 0x5873
movq 0x2f797(%rip), %rdi     # 0x34fe8
leaq 0x218a0(%rip), %rsi     # 0x270f8
movl $0x33, %edx
callq 0x4400
movq 0x2f77f(%rip), %rdi     # 0x34fe8
callq 0x4180
jmp 0x5737
leaq -0x4e0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x218d8(%rip), %rsi     # 0x2715d
leaq 0x218db(%rip), %rdx     # 0x27167
leaq -0x4f0(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x4f0(%rbp), %rsi
callq 0x7dfe
movb 0x4a(%rax), %bl
movq -0x4f0(%rbp), %rdi
cmpq %r15, %rdi
je 0x58bf
callq 0x4350
testb %bl, %bl
je 0x59e8
leaq -0x4c0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x21884(%rip), %rsi     # 0x2715d
leaq 0x21887(%rip), %rdx     # 0x27167
leaq -0x4d0(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x4d0(%rbp), %rsi
callq 0x7dfe
movq %rax, %rdi
callq 0x728a
leaq -0x98(%rbp), %rdi
movq %rax, %rsi
callq 0x41c0
movq -0x4d0(%rbp), %rdi
cmpq %r15, %rdi
je 0x5927
callq 0x4350
movq 0x2f6ba(%rip), %rdi     # 0x34fe8
leaq 0x217f7(%rip), %rsi     # 0x2712c
movl $0x13, %edx
callq 0x4400
movq -0x98(%rbp), %rsi
movq -0x90(%rbp), %rdx
movq 0x2f694(%rip), %rdi     # 0x34fe8
callq 0x4400
movq %rax, %rdi
callq 0x4180
leaq -0x4a0(%rbp), %r15
movq %r15, -0x10(%r15)
movq -0x98(%rbp), %rsi
movq -0x90(%rbp), %rdx
addq %rsi, %rdx
leaq -0x4b0(%rbp), %rdi
callq 0x6734
movzbl -0x3c(%rbp), %ecx
leaq -0x4b0(%rbp), %rdi
leaq -0x5c0(%rbp), %rsi
leaq -0x4c(%rbp), %rdx
callq 0x1dcb6
movl %eax, %ebx
movq -0x4b0(%rbp), %rdi
cmpq %r15, %rdi
je 0x59b7
callq 0x4350
testl %ebx, %ebx
jns 0x5b5a
movq 0x2f622(%rip), %rdi     # 0x34fe8
leaq 0x21773(%rip), %rsi     # 0x27140
movl $0x27, %edx
callq 0x4400
movq 0x2f60a(%rip), %rdi     # 0x34fe8
callq 0x4180
jmp 0x5737
movq $0x0, -0x38(%rbp)
leaq -0x480(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x2171e(%rip), %rsi     # 0x27120
leaq 0x21722(%rip), %rdx     # 0x2712b
leaq -0x490(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x490(%rbp), %rsi
callq 0x7dfe
movb 0x4a(%rax), %al
movb %al, -0x29(%rbp)
movq -0x490(%rbp), %rdi
cmpq %r15, %rdi
je 0x5a3f
callq 0x4350
cmpb $0x0, -0x29(%rbp)
je 0x5ca0
leaq -0x460(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x216c5(%rip), %rsi     # 0x27120
leaq 0x216c9(%rip), %rdx     # 0x2712b
leaq -0x470(%rbp), %rdi
callq 0x67d2
leaq -0x6a8(%rbp), %rdi
leaq -0x470(%rbp), %rsi
callq 0x7dfe
movq %rax, %rdi
callq 0x728a
leaq -0x98(%rbp), %rdi
movq %rax, %rsi
callq 0x41c0
movq -0x470(%rbp), %rdi
cmpq %r15, %rdi
je 0x5aa9
callq 0x4350
movq 0x2f538(%rip), %rdi     # 0x34fe8
leaq 0x216d0(%rip), %rsi     # 0x27187
movl $0x14, %edx
callq 0x4400
movq -0x590(%rbp), %rsi
movq -0x588(%rbp), %rdx
movq 0x2f512(%rip), %rdi     # 0x34fe8
callq 0x4400
movq %rax, %rdi
callq 0x4180
leaq -0x5f0(%rbp), %rdi
leaq -0x590(%rbp), %rsi
callq 0x22d7e
movl %eax, %ebx
leaq -0x5f0(%rbp), %rdi
leaq -0x5c0(%rbp), %rsi
callq 0x235ba
movl $0x120, %edi            # imm = 0x120
callq 0x4390
movq %rax, -0x38(%rbp)
leaq -0x5c0(%rbp), %rsi
movq -0x38(%rbp), %rdi
callq 0xcfd4
testl %ebx, %ebx
jns 0x5c0f
movq 0x2f4b0(%rip), %rdi     # 0x34fe8
leaq 0x2165d(%rip), %rsi     # 0x2719c
movl $0x28, %edx
callq 0x4400
movq 0x2f498(%rip), %rdi     # 0x34fe8
callq 0x4180
jmp 0x5737
movq 0x2f487(%rip), %rdi     # 0x34fe8
leaq 0x21a3e(%rip), %rsi     # 0x275a6
movl $0x1, %edx
callq 0x4400
movq 0x2f46f(%rip), %rdi     # 0x34fe8
leaq 0x215e8(%rip), %rsi     # 0x27168
movl $0x6, %edx
callq 0x4400
movq -0x598(%rbp), %rsi
movq 0x2f450(%rip), %rdi     # 0x34fe8
callq 0x4250
movq %rax, %rdi
callq 0x4180
movq 0x2f43c(%rip), %rdi     # 0x34fe8
leaq 0x219f3(%rip), %rsi     # 0x275a6
movl $0x1, %edx
callq 0x4400
movq 0x2f424(%rip), %rdi     # 0x34fe8
leaq 0x215a4(%rip), %rsi     # 0x2716f
movl $0x17, %edx
callq 0x4400
movl -0x4c(%rbp), %esi
movq 0x2f409(%rip), %rdi     # 0x34fe8
callq 0x4610
movq %rax, %rdi
callq 0x4180
movl $0x120, %edi            # imm = 0x120
callq 0x4390
movq %rax, -0x38(%rbp)
leaq -0x5c0(%rbp), %rsi
movq -0x38(%rbp), %rdi
callq 0xcfd4
jmp 0x59f0
movq 0x2f3d2(%rip), %rdi     # 0x34fe8
leaq 0x21989(%rip), %rsi     # 0x275a6
movl $0x1, %edx
callq 0x4400
movq 0x2f3ba(%rip), %rdi     # 0x34fe8
leaq 0x21590(%rip), %rsi     # 0x271c5
movl $0xc, %edx
callq 0x4400
movq -0x5c8(%rbp), %rsi
movq 0x2f39b(%rip), %rdi     # 0x34fe8
callq 0x4250
movq %rax, %rdi
callq 0x4180
movq 0x2f387(%rip), %rdi     # 0x34fe8
leaq 0x2193e(%rip), %rsi     # 0x275a6
movl $0x1, %edx
callq 0x4400
movq 0x2f36f(%rip), %rdi     # 0x34fe8
leaq 0x21552(%rip), %rsi     # 0x271d2
movl $0xd, %edx
callq 0x4400
movq 0x2f357(%rip), %rdi     # 0x34fe8
movl %ebx, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4180
movq 0x2f341(%rip), %rdi     # 0x34fe8
leaq 0x21532(%rip), %rsi     # 0x271e0
movl $0x11, %edx
callq 0x4400
movq 0x2f329(%rip), %rdi     # 0x34fe8
callq 0x4180
leaq -0x440(%rbp), %r15
movq %r15, -0x10(%r15)
movq -0x570(%rbp), %rsi
movq -0x568(%rbp), %rdx
addq %rsi, %rdx
leaq -0x450(%rbp), %rdi
callq 0x6734
leaq -0x78(%rbp), %rdi
leaq -0x450(%rbp), %rsi
callq 0x6870
movq -0x450(%rbp), %rdi
cmpq %r15, %rdi
je 0x5d0d
callq 0x4350
leaq -0x420(%rbp), %r15
movq %r15, -0x10(%r15)
movq -0x410(%rbp), %rsi
movq -0x408(%rbp), %rdx
addq %rsi, %rdx
leaq -0x430(%rbp), %rdi
callq 0x6734
leaq -0x48(%rbp), %rdi
leaq -0x430(%rbp), %rsi
callq 0x6ac2
movq -0x430(%rbp), %rdi
cmpq %r15, %rdi
je 0x5d56
callq 0x4350
leaq -0x120(%rbp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
movzbl -0x3c(%rbp), %eax
movl %eax, -0x3c(%rbp)
movq -0x78(%rbp), %rdi
movq (%rdi), %rax
leaq -0x130(%rbp), %rsi
callq *(%rax)
testb %al, %al
je 0x5fd3
xorl %ecx, %ecx
movl %ecx, -0x3e8(%rbp)
movq %rcx, -0x3e0(%rbp)
leaq -0x3e8(%rbp), %rax
movq %rax, -0x3d8(%rbp)
movq %rax, -0x3d0(%rbp)
movq %rcx, -0x3c8(%rbp)
movl %ecx, -0x3b8(%rbp)
movq %rcx, -0x3b0(%rbp)
leaq -0x3b8(%rbp), %rax
movq %rax, -0x3a8(%rbp)
movq %rax, -0x3a0(%rbp)
movq %rcx, -0x398(%rbp)
movq %rcx, -0x60(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x70(%rbp)
cmpb $0x0, -0x29(%rbp)
je 0x5e3d
leaq -0x110(%rbp), %rdi
leaq -0x130(%rbp), %rsi
leaq 0x2f5a3(%rip), %rdx     # 0x353a8
movq -0x38(%rbp), %rcx
xorl %r8d, %r8d
callq 0xec20
leaq -0x5f0(%rbp), %rdi
leaq -0x110(%rbp), %rsi
leaq -0x3c0(%rbp), %rdx
leaq -0x70(%rbp), %rcx
callq 0x18ac8
leaq -0x110(%rbp), %rdi
callq 0x1060c
jmp 0x5e5c
movq -0x38(%rbp), %rdi
leaq -0x130(%rbp), %rsi
leaq -0x3f0(%rbp), %rdx
leaq -0x70(%rbp), %rcx
movl -0x3c(%rbp), %r8d
callq 0x17d53
leaq -0x48(%rbp), %rdi
leaq -0x130(%rbp), %rsi
callq 0x6c86
movq %rax, %rbx
leaq -0x100(%rbp), %rax
movq %rax, -0x110(%rbp)
leaq -0x110(%rbp), %rdi
leaq 0x2171b(%rip), %rsi     # 0x275a6
leaq 0x21715(%rip), %rdx     # 0x275a7
callq 0x67d2
movq %rbx, %rdi
leaq -0x110(%rbp), %rsi
callq 0x6c86
movq -0x110(%rbp), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x5ebe
callq 0x4350
movq -0x70(%rbp), %rax
movq -0x68(%rbp), %rcx
subq %rax, %rcx
cmpq $0x8, %rcx
je 0x5f58
movl $0x1, %r15d
xorl %ecx, %ecx
movsd (%rax,%rcx,8), %xmm0
leaq -0x48(%rbp), %rdi
callq 0x6d2e
movq %rax, %rbx
leaq -0x100(%rbp), %rax
movq %rax, -0x110(%rbp)
leaq -0x110(%rbp), %rdi
leaq 0x214a2(%rip), %rsi     # 0x273aa
leaq 0x2149c(%rip), %rdx     # 0x273ab
callq 0x67d2
movq %rbx, %rdi
leaq -0x110(%rbp), %rsi
callq 0x6c86
movq -0x110(%rbp), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x5f3b
callq 0x4350
movl %r15d, %ecx
movq -0x70(%rbp), %rax
movq -0x68(%rbp), %rdx
subq %rax, %rdx
sarq $0x3, %rdx
decq %rdx
incl %r15d
cmpq %rcx, %rdx
ja 0x5edb
leaq -0x100(%rbp), %rax
movq %rax, -0x110(%rbp)
leaq -0x110(%rbp), %rdi
leaq 0x21420(%rip), %rsi     # 0x27394
leaq 0x2141a(%rip), %rdx     # 0x27395
callq 0x67d2
leaq -0x48(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x6c86
movq -0x110(%rbp), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x5fa8
callq 0x4350
movq -0x70(%rbp), %rdi
testq %rdi, %rdi
je 0x5fb6
callq 0x4350
leaq -0x3c0(%rbp), %rdi
callq 0x647c
leaq -0x3f0(%rbp), %rdi
callq 0x650a
jmp 0x5d73
leaq -0x48(%rbp), %rdi
callq 0x6c54
cmpq $0x0, -0x38(%rbp)
je 0x5ff7
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
callq 0xd354
movq %rbx, %rdi
callq 0x4350
xorl %edi, %edi
callq 0x4420
jmp 0x601d
jmp 0x6030
jmp 0x604f
jmp 0x6030
jmp 0x604f
jmp 0x604f
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x1060c
jmp 0x6052
jmp 0x604f
movq %rax, %rbx
jmp 0x6078
jmp 0x6024
movq %rax, %rbx
movq -0x38(%rbp), %rdi
jmp 0x61a1
movq %rax, %rbx
movq -0x110(%rbp), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x6052
callq 0x4350
jmp 0x6052
jmp 0x604f
movq %rax, %rbx
movq -0x70(%rbp), %rdi
testq %rdi, %rdi
je 0x6060
callq 0x4350
leaq -0x3c0(%rbp), %rdi
callq 0x647c
leaq -0x3f0(%rbp), %rdi
callq 0x650a
movq -0x130(%rbp), %rdi
leaq -0x120(%rbp), %rax
cmpq %rax, %rdi
je 0x6090
callq 0x4350
leaq -0x48(%rbp), %rdi
callq 0x6c1a
jmp 0x60c8
jmp 0x61a8
movq %rax, %rbx
movq -0x430(%rbp), %rdi
cmpq %r15, %rdi
je 0x60c8
callq 0x4350
jmp 0x60c8
movq %rax, %rbx
movq -0x4b0(%rbp), %rdi
jmp 0x619c
movq %rax, %rbx
leaq -0x78(%rbp), %rdi
callq 0x69c2
jmp 0x61ab
jmp 0x61a8
movq %rax, %rbx
movq -0x450(%rbp), %rdi
jmp 0x619c
jmp 0x61a8
movq %rax, %rbx
movq -0x470(%rbp), %rdi
jmp 0x619c
jmp 0x61a8
movq %rax, %rbx
movq -0x490(%rbp), %rdi
jmp 0x619c
movq %rax, %rbx
movq -0x4d0(%rbp), %rdi
jmp 0x619c
jmp 0x61a8
jmp 0x61a8
movq %rax, %rbx
movq -0x4f0(%rbp), %rdi
jmp 0x619c
movq %rax, %rbx
movq -0x150(%rbp), %rdi
leaq -0x140(%rbp), %rax
cmpq %rax, %rdi
je 0x6158
callq 0x4350
jmp 0x6158
jmp 0x61a8
jmp 0x6155
movq %rax, %rbx
movq -0x510(%rbp), %rdi
jmp 0x619c
movq %rax, %rbx
movq -0x170(%rbp), %rdi
leaq -0x160(%rbp), %rax
cmpq %rax, %rdi
je 0x6187
callq 0x4350
jmp 0x6187
jmp 0x61a8
jmp 0x6184
jmp 0x61a8
movq %rax, %rbx
movq -0x530(%rbp), %rdi
jmp 0x619c
jmp 0x61a8
movq %rax, %rbx
movq -0x550(%rbp), %rdi
cmpq %r15, %rdi
je 0x61ab
callq 0x4350
jmp 0x61ab
movq %rax, %rbx
movq -0x410(%rbp), %rdi
leaq -0x400(%rbp), %rax
cmpq %rax, %rdi
je 0x61c8
callq 0x4350
jmp 0x61c8
movq %rax, %rbx
movq -0x570(%rbp), %rdi
cmpq %r14, %rdi
jne 0x63d5
jmp 0x63df
jmp 0x63dc
jmp 0x63dc
movq %rax, %rbx
movq -0x190(%rbp), %rdi
leaq -0x180(%rbp), %rax
cmpq %rax, %rdi
je 0x6207
callq 0x4350
jmp 0x6207
movq %rax, %rbx
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6224
callq 0x4350
jmp 0x6224
movq %rax, %rbx
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6241
callq 0x4350
jmp 0x6241
movq %rax, %rbx
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x6260
callq 0x4350
jmp 0x6260
jmp 0x625d
movq %rax, %rbx
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x627d
callq 0x4350
jmp 0x627d
movq %rax, %rbx
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x629a
callq 0x4350
jmp 0x629a
movq %rax, %rbx
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x62b7
callq 0x4350
jmp 0x62b7
movq %rax, %rbx
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x62d6
callq 0x4350
jmp 0x62d6
jmp 0x62d3
movq %rax, %rbx
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x62f3
callq 0x4350
jmp 0x62f3
movq %rax, %rbx
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6310
callq 0x4350
jmp 0x6310
movq %rax, %rbx
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x632d
callq 0x4350
jmp 0x632d
movq %rax, %rbx
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x634c
callq 0x4350
jmp 0x634c
jmp 0x6349
movq %rax, %rbx
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x6369
callq 0x4350
jmp 0x6369
movq %rax, %rbx
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x6386
callq 0x4350
jmp 0x6386
movq %rax, %rbx
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x63a3
callq 0x4350
jmp 0x63a3
movq %rax, %rbx
movq -0x370(%rbp), %rdi
leaq -0x360(%rbp), %rax
cmpq %rax, %rdi
je 0x63c2
callq 0x4350
jmp 0x63c2
jmp 0x63bf
movq %rax, %rbx
movq -0x390(%rbp), %rdi
leaq -0x380(%rbp), %rax
cmpq %rax, %rdi
je 0x63df
callq 0x4350
jmp 0x63df
movq %rax, %rbx
leaq -0x610(%rbp), %rdi
callq 0x6574
leaq -0x640(%rbp), %rdi
callq 0x6600
leaq -0x670(%rbp), %rdi
callq 0x666a
leaq -0x688(%rbp), %r14
movq %r14, %rdi
callq 0x65cc
movq -0x20(%r14), %rdi
leaq -0x698(%rbp), %rax
cmpq %rax, %rdi
je 0x642c
callq 0x4350
jmp 0x642c
movq %rax, %rbx
leaq -0x5f0(%rbp), %rdi
callq 0x647c
leaq -0x5c0(%rbp), %rdi
callq 0x650a
movq -0x590(%rbp), %rdi
cmpq %r12, %rdi
je 0x6455
callq 0x4350
movq -0x98(%rbp), %rdi
cmpq %r13, %rdi
je 0x6466
callq 0x4350
movq %rbx, %rdi
callq 0x4640