// File: /workspace/github_cpp_makefile_star2_O1/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 0x7296
leaq -0x340(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21ef0(%rip), %rsi     # 0x27020
leaq 0x21f1b(%rip), %rdx     # 0x27052
leaq -0x350(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x350(%rbp), %rsi
callq 0x72fc
movq %rax, %r15
leaq -0x320(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21ef0(%rip), %rsi     # 0x2705b
leaq 0x21eed(%rip), %rdx     # 0x2705f
leaq -0x330(%rbp), %rdi
callq 0x67ce
leaq -0x300(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x22417(%rip), %rdx     # 0x275a7
leaq -0x310(%rbp), %rdi
movq %rdx, %rsi
callq 0x67ce
leaq -0x2e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x223f6(%rip), %rdx     # 0x275a7
leaq -0x2f0(%rbp), %rdi
movq %rdx, %rsi
callq 0x67ce
leaq -0x2c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e81(%rip), %rsi     # 0x27053
leaq 0x21e86(%rip), %rdx     # 0x2705f
leaq -0x2d0(%rbp), %rdi
callq 0x67ce
leaq -0x330(%rbp), %rdx
leaq -0x310(%rbp), %rcx
leaq -0x2f0(%rbp), %r8
leaq -0x2d0(%rbp), %r9
movq %r15, %rdi
movl $0x68, %esi
callq 0x7314
movq %rax, %r15
leaq -0x2a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e3d(%rip), %rsi     # 0x27060
leaq 0x21e45(%rip), %rdx     # 0x2706f
leaq -0x2b0(%rbp), %rdi
callq 0x67ce
leaq -0x280(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21e28(%rip), %rsi     # 0x27070
leaq 0x21e24(%rip), %rdx     # 0x27073
leaq -0x290(%rbp), %rdi
callq 0x67ce
leaq -0x260(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2233a(%rip), %rdx     # 0x275a7
leaq -0x270(%rbp), %rdi
movq %rdx, %rsi
callq 0x67ce
leaq -0x240(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21de6(%rip), %rsi     # 0x27074
leaq 0x21df1(%rip), %rdx     # 0x27086
leaq -0x250(%rbp), %rdi
callq 0x67ce
leaq -0x2b0(%rbp), %rdx
leaq -0x290(%rbp), %rcx
leaq -0x270(%rbp), %r8
leaq -0x250(%rbp), %r9
movq %r15, %rdi
movl $0x76, %esi
callq 0x7314
movq %rax, %r15
leaq -0x220(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21da8(%rip), %rsi     # 0x27087
leaq 0x21db1(%rip), %rdx     # 0x27097
leaq -0x230(%rbp), %rdi
callq 0x67ce
leaq -0x200(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d6c(%rip), %rsi     # 0x27070
leaq 0x21d68(%rip), %rdx     # 0x27073
leaq -0x210(%rbp), %rdi
callq 0x67ce
leaq -0x1e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x2227e(%rip), %rdx     # 0x275a7
leaq -0x1f0(%rbp), %rdi
movq %rdx, %rsi
callq 0x67ce
leaq -0x1c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d4e(%rip), %rsi     # 0x27098
leaq 0x21d58(%rip), %rdx     # 0x270a9
leaq -0x1d0(%rbp), %rdi
callq 0x67ce
leaq -0x230(%rbp), %rdx
leaq -0x210(%rbp), %rcx
leaq -0x1f0(%rbp), %r8
leaq -0x1d0(%rbp), %r9
movq %r15, %rdi
movl $0x74, %esi
callq 0x7314
movq %rax, %r15
leaq -0x1a0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21d0f(%rip), %rsi     # 0x270aa
leaq 0x21d0d(%rip), %rdx     # 0x270af
leaq -0x1b0(%rbp), %rdi
callq 0x67ce
leaq -0x180(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x221e7(%rip), %rdx     # 0x275a7
leaq -0x190(%rbp), %rdi
movq %rdx, %rsi
callq 0x67ce
leaq -0x160(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x221c6(%rip), %rdx     # 0x275a7
leaq -0x170(%rbp), %rdi
movq %rdx, %rsi
callq 0x67ce
leaq -0x140(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21cae(%rip), %rsi     # 0x270b0
leaq 0x21cc6(%rip), %rdx     # 0x270cf
leaq -0x150(%rbp), %rdi
callq 0x67ce
leaq -0x1b0(%rbp), %rdx
leaq -0x190(%rbp), %rcx
leaq -0x170(%rbp), %r8
leaq -0x150(%rbp), %r9
movq %r15, %rdi
movl $0x38, %esi
callq 0x7314
movq -0x150(%rbp), %rdi
leaq -0x140(%rbp), %rax
cmpq %rax, %rdi
je 0x5456
callq 0x4350
movq -0x170(%rbp), %rdi
leaq -0x160(%rbp), %rax
cmpq %rax, %rdi
je 0x546e
callq 0x4350
movq -0x190(%rbp), %rdi
leaq -0x180(%rbp), %rax
cmpq %rax, %rdi
je 0x5486
callq 0x4350
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x549e
callq 0x4350
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x54b6
callq 0x4350
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x54ce
callq 0x4350
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x54e6
callq 0x4350
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x54fe
callq 0x4350
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x5516
callq 0x4350
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x552e
callq 0x4350
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x5546
callq 0x4350
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x555e
callq 0x4350
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x5576
callq 0x4350
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x558e
callq 0x4350
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x55a6
callq 0x4350
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x55be
callq 0x4350
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x55d6
callq 0x4350
leaq -0x6a8(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
callq 0x7d62
movq -0x608(%rbp), %rax
subq -0x610(%rbp), %rax
cmpq $0x40, %rax
je 0x5617
movq 0x2f9c5(%rip), %rax     # 0x34fc8
movq (%rax), %rsi
leaq -0x6a8(%rbp), %rdi
movl $0x1, %edx
callq 0x8304
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 0x21a30(%rip), %rsi     # 0x270aa
leaq 0x21a2e(%rip), %rdx     # 0x270af
leaq -0x550(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x550(%rbp), %rsi
callq 0x7e1c
movb 0x4a(%rax), %al
movb %al, -0x3c(%rbp)
movq -0x550(%rbp), %rdi
cmpq %r15, %rdi
je 0x56b7
callq 0x4350
leaq -0x520(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x21a94(%rip), %rsi     # 0x2715d
leaq 0x21a97(%rip), %rdx     # 0x27167
leaq -0x530(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x530(%rbp), %rsi
callq 0x7e1c
movb 0x4a(%rax), %bl
testb %bl, %bl
je 0x56ff
movl $0x0, -0x38(%rbp)
jmp 0x573f
leaq -0x3e0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21a0f(%rip), %rsi     # 0x27120
leaq 0x21a13(%rip), %rdx     # 0x2712b
leaq -0x3f0(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
callq 0x7e1c
movb 0x4a(%rax), %al
xorb $0x1, %al
movl %eax, -0x38(%rbp)
testb %bl, %bl
jne 0x5758
leaq -0x3e0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5758
callq 0x4350
movq -0x530(%rbp), %rdi
cmpq %r15, %rdi
je 0x5769
callq 0x4350
cmpb $0x0, -0x38(%rbp)
je 0x579d
movq 0x2f872(%rip), %rdi     # 0x34fe8
leaq 0x21953(%rip), %rsi     # 0x270d0
movl $0x27, %edx
callq 0x4400
movq 0x2f85a(%rip), %rdi     # 0x34fe8
callq 0x4180
movl $0x1, %edi
callq 0x4420
leaq -0x500(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x219ae(%rip), %rsi     # 0x2715d
leaq 0x219b1(%rip), %rdx     # 0x27167
leaq -0x510(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x510(%rbp), %rsi
callq 0x7e1c
movb 0x4a(%rax), %bl
cmpb $0x1, %bl
jne 0x581d
leaq -0x3c0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x21931(%rip), %rsi     # 0x27120
leaq 0x21935(%rip), %rdx     # 0x2712b
leaq -0x3d0(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x3d0(%rbp), %rsi
callq 0x7e1c
movb 0x4a(%rax), %al
movl %eax, -0x38(%rbp)
jmp 0x5824
movl $0x0, -0x38(%rbp)
testb %bl, %bl
je 0x583d
leaq -0x3c0(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x583d
callq 0x4350
movq -0x510(%rbp), %rdi
cmpq %r15, %rdi
je 0x584e
callq 0x4350
cmpb $0x0, -0x38(%rbp)
je 0x587d
movq 0x2f78d(%rip), %rdi     # 0x34fe8
leaq 0x21896(%rip), %rsi     # 0x270f8
movl $0x33, %edx
callq 0x4400
movq 0x2f775(%rip), %rdi     # 0x34fe8
callq 0x4180
jmp 0x5793
leaq -0x4e0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x218ce(%rip), %rsi     # 0x2715d
leaq 0x218d1(%rip), %rdx     # 0x27167
leaq -0x4f0(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x4f0(%rbp), %rsi
callq 0x7e1c
movb 0x4a(%rax), %bl
movq -0x4f0(%rbp), %rdi
cmpq %r15, %rdi
je 0x58c9
callq 0x4350
testb %bl, %bl
je 0x59f2
leaq -0x4c0(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x2187a(%rip), %rsi     # 0x2715d
leaq 0x2187d(%rip), %rdx     # 0x27167
leaq -0x4d0(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x4d0(%rbp), %rsi
callq 0x7e1c
movq %rax, %rdi
callq 0x7282
leaq -0x98(%rbp), %rdi
movq %rax, %rsi
callq 0x41c0
movq -0x4d0(%rbp), %rdi
cmpq %r15, %rdi
je 0x5931
callq 0x4350
movq 0x2f6b0(%rip), %rdi     # 0x34fe8
leaq 0x217ed(%rip), %rsi     # 0x2712c
movl $0x13, %edx
callq 0x4400
movq -0x98(%rbp), %rsi
movq -0x90(%rbp), %rdx
movq 0x2f68a(%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 0x1ddea
movl %eax, %ebx
movq -0x4b0(%rbp), %rdi
cmpq %r15, %rdi
je 0x59c1
callq 0x4350
testl %ebx, %ebx
jns 0x5b64
movq 0x2f618(%rip), %rdi     # 0x34fe8
leaq 0x21769(%rip), %rsi     # 0x27140
movl $0x27, %edx
callq 0x4400
movq 0x2f600(%rip), %rdi     # 0x34fe8
callq 0x4180
jmp 0x5793
movq $0x0, -0x38(%rbp)
leaq -0x480(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x21714(%rip), %rsi     # 0x27120
leaq 0x21718(%rip), %rdx     # 0x2712b
leaq -0x490(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x490(%rbp), %rsi
callq 0x7e1c
movb 0x4a(%rax), %al
movb %al, -0x29(%rbp)
movq -0x490(%rbp), %rdi
cmpq %r15, %rdi
je 0x5a49
callq 0x4350
cmpb $0x0, -0x29(%rbp)
je 0x5caa
leaq -0x460(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x216bb(%rip), %rsi     # 0x27120
leaq 0x216bf(%rip), %rdx     # 0x2712b
leaq -0x470(%rbp), %rdi
callq 0x67ce
leaq -0x6a8(%rbp), %rdi
leaq -0x470(%rbp), %rsi
callq 0x7e1c
movq %rax, %rdi
callq 0x7282
leaq -0x98(%rbp), %rdi
movq %rax, %rsi
callq 0x41c0
movq -0x470(%rbp), %rdi
cmpq %r15, %rdi
je 0x5ab3
callq 0x4350
movq 0x2f52e(%rip), %rdi     # 0x34fe8
leaq 0x216c6(%rip), %rsi     # 0x27187
movl $0x14, %edx
callq 0x4400
movq -0x590(%rbp), %rsi
movq -0x588(%rbp), %rdx
movq 0x2f508(%rip), %rdi     # 0x34fe8
callq 0x4400
movq %rax, %rdi
callq 0x4180
leaq -0x5f0(%rbp), %rdi
leaq -0x590(%rbp), %rsi
callq 0x22f5e
movl %eax, %ebx
leaq -0x5f0(%rbp), %rdi
leaq -0x5c0(%rbp), %rsi
callq 0x23756
movl $0x120, %edi            # imm = 0x120
callq 0x4390
movq %rax, -0x38(%rbp)
leaq -0x5c0(%rbp), %rsi
movq -0x38(%rbp), %rdi
callq 0xd078
testl %ebx, %ebx
jns 0x5c19
movq 0x2f4a6(%rip), %rdi     # 0x34fe8
leaq 0x21653(%rip), %rsi     # 0x2719c
movl $0x28, %edx
callq 0x4400
movq 0x2f48e(%rip), %rdi     # 0x34fe8
callq 0x4180
jmp 0x5793
movq 0x2f47d(%rip), %rdi     # 0x34fe8
leaq 0x21a34(%rip), %rsi     # 0x275a6
movl $0x1, %edx
callq 0x4400
movq 0x2f465(%rip), %rdi     # 0x34fe8
leaq 0x215de(%rip), %rsi     # 0x27168
movl $0x6, %edx
callq 0x4400
movq -0x598(%rbp), %rsi
movq 0x2f446(%rip), %rdi     # 0x34fe8
callq 0x4250
movq %rax, %rdi
callq 0x4180
movq 0x2f432(%rip), %rdi     # 0x34fe8
leaq 0x219e9(%rip), %rsi     # 0x275a6
movl $0x1, %edx
callq 0x4400
movq 0x2f41a(%rip), %rdi     # 0x34fe8
leaq 0x2159a(%rip), %rsi     # 0x2716f
movl $0x17, %edx
callq 0x4400
movl -0x4c(%rbp), %esi
movq 0x2f3ff(%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 0xd078
jmp 0x59fa
movq 0x2f3c8(%rip), %rdi     # 0x34fe8
leaq 0x2197f(%rip), %rsi     # 0x275a6
movl $0x1, %edx
callq 0x4400
movq 0x2f3b0(%rip), %rdi     # 0x34fe8
leaq 0x21586(%rip), %rsi     # 0x271c5
movl $0xc, %edx
callq 0x4400
movq -0x5c8(%rbp), %rsi
movq 0x2f391(%rip), %rdi     # 0x34fe8
callq 0x4250
movq %rax, %rdi
callq 0x4180
movq 0x2f37d(%rip), %rdi     # 0x34fe8
leaq 0x21934(%rip), %rsi     # 0x275a6
movl $0x1, %edx
callq 0x4400
movq 0x2f365(%rip), %rdi     # 0x34fe8
leaq 0x21548(%rip), %rsi     # 0x271d2
movl $0xd, %edx
callq 0x4400
movq 0x2f34d(%rip), %rdi     # 0x34fe8
movl %ebx, %esi
callq 0x4610
movq %rax, %rdi
callq 0x4180
movq 0x2f337(%rip), %rdi     # 0x34fe8
leaq 0x21528(%rip), %rsi     # 0x271e0
movl $0x11, %edx
callq 0x4400
movq 0x2f31f(%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 0x6868
movq -0x450(%rbp), %rdi
cmpq %r15, %rdi
je 0x5d17
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 0x6aba
movq -0x430(%rbp), %rdi
cmpq %r15, %rdi
je 0x5d60
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 0x5fdd
xorl %ecx, %ecx
movl %ecx, -0x3a8(%rbp)
movq %rcx, -0x3a0(%rbp)
leaq -0x3a8(%rbp), %rax
movq %rax, -0x398(%rbp)
movq %rax, -0x390(%rbp)
movq %rcx, -0x388(%rbp)
movl %ecx, -0x378(%rbp)
movq %rcx, -0x370(%rbp)
leaq -0x378(%rbp), %rax
movq %rax, -0x368(%rbp)
movq %rax, -0x360(%rbp)
movq %rcx, -0x358(%rbp)
movq %rcx, -0x60(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x70(%rbp)
cmpb $0x0, -0x29(%rbp)
je 0x5e47
leaq -0x110(%rbp), %rdi
leaq -0x130(%rbp), %rsi
leaq 0x2f599(%rip), %rdx     # 0x353a8
movq -0x38(%rbp), %rcx
xorl %r8d, %r8d
callq 0xed14
leaq -0x5f0(%rbp), %rdi
leaq -0x110(%rbp), %rsi
leaq -0x380(%rbp), %rdx
leaq -0x70(%rbp), %rcx
callq 0x18c09
leaq -0x110(%rbp), %rdi
callq 0x10704
jmp 0x5e66
movq -0x38(%rbp), %rdi
leaq -0x130(%rbp), %rsi
leaq -0x3b0(%rbp), %rdx
leaq -0x70(%rbp), %rcx
movl -0x3c(%rbp), %r8d
callq 0x17ec1
leaq -0x48(%rbp), %rdi
leaq -0x130(%rbp), %rsi
callq 0x6c7e
movq %rax, %rbx
leaq -0x100(%rbp), %rax
movq %rax, -0x110(%rbp)
leaq -0x110(%rbp), %rdi
leaq 0x21711(%rip), %rsi     # 0x275a6
leaq 0x2170b(%rip), %rdx     # 0x275a7
callq 0x67ce
movq %rbx, %rdi
leaq -0x110(%rbp), %rsi
callq 0x6c7e
movq -0x110(%rbp), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x5ec8
callq 0x4350
movq -0x70(%rbp), %rax
movq -0x68(%rbp), %rcx
subq %rax, %rcx
cmpq $0x8, %rcx
je 0x5f62
movl $0x1, %r15d
xorl %ecx, %ecx
movsd (%rax,%rcx,8), %xmm0
leaq -0x48(%rbp), %rdi
callq 0x6d26
movq %rax, %rbx
leaq -0x100(%rbp), %rax
movq %rax, -0x110(%rbp)
leaq -0x110(%rbp), %rdi
leaq 0x21498(%rip), %rsi     # 0x273aa
leaq 0x21492(%rip), %rdx     # 0x273ab
callq 0x67ce
movq %rbx, %rdi
leaq -0x110(%rbp), %rsi
callq 0x6c7e
movq -0x110(%rbp), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x5f45
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 0x5ee5
leaq -0x100(%rbp), %rax
movq %rax, -0x110(%rbp)
leaq -0x110(%rbp), %rdi
leaq 0x21416(%rip), %rsi     # 0x27394
leaq 0x21410(%rip), %rdx     # 0x27395
callq 0x67ce
leaq -0x48(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x6c7e
movq -0x110(%rbp), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x5fb2
callq 0x4350
movq -0x70(%rbp), %rdi
testq %rdi, %rdi
je 0x5fc0
callq 0x4350
leaq -0x380(%rbp), %rdi
callq 0x6486
leaq -0x3b0(%rbp), %rdi
callq 0x6514
jmp 0x5d7d
leaq -0x48(%rbp), %rdi
callq 0x6c4c
cmpq $0x0, -0x38(%rbp)
je 0x6001
movq -0x38(%rbp), %rbx
movq %rbx, %rdi
callq 0xd3c4
movq %rbx, %rdi
callq 0x4350
xorl %edi, %edi
callq 0x4420
jmp 0x6027
jmp 0x603a
jmp 0x6059
jmp 0x603a
jmp 0x6059
jmp 0x6059
movq %rax, %rbx
leaq -0x110(%rbp), %rdi
callq 0x10704
jmp 0x605c
jmp 0x6059
movq %rax, %rbx
jmp 0x6082
jmp 0x602e
movq %rax, %rbx
movq -0x38(%rbp), %rdi
jmp 0x61ab
movq %rax, %rbx
movq -0x110(%rbp), %rdi
leaq -0x100(%rbp), %rax
cmpq %rax, %rdi
je 0x605c
callq 0x4350
jmp 0x605c
jmp 0x6059
movq %rax, %rbx
movq -0x70(%rbp), %rdi
testq %rdi, %rdi
je 0x606a
callq 0x4350
leaq -0x380(%rbp), %rdi
callq 0x6486
leaq -0x3b0(%rbp), %rdi
callq 0x6514
movq -0x130(%rbp), %rdi
leaq -0x120(%rbp), %rax
cmpq %rax, %rdi
je 0x609a
callq 0x4350
leaq -0x48(%rbp), %rdi
callq 0x6c12
jmp 0x60d2
jmp 0x61b2
movq %rax, %rbx
movq -0x430(%rbp), %rdi
cmpq %r15, %rdi
je 0x60d2
callq 0x4350
jmp 0x60d2
movq %rax, %rbx
movq -0x4b0(%rbp), %rdi
jmp 0x61a6
movq %rax, %rbx
leaq -0x78(%rbp), %rdi
callq 0x69ba
jmp 0x61b5
jmp 0x61b2
movq %rax, %rbx
movq -0x450(%rbp), %rdi
jmp 0x61a6
jmp 0x61b2
movq %rax, %rbx
movq -0x470(%rbp), %rdi
jmp 0x61a6
jmp 0x61b2
movq %rax, %rbx
movq -0x490(%rbp), %rdi
jmp 0x61a6
movq %rax, %rbx
movq -0x4d0(%rbp), %rdi
jmp 0x61a6
jmp 0x61b2
jmp 0x61b2
movq %rax, %rbx
movq -0x4f0(%rbp), %rdi
jmp 0x61a6
movq %rax, %rbx
movq -0x3d0(%rbp), %rdi
leaq -0x3c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6162
callq 0x4350
jmp 0x6162
jmp 0x61b2
jmp 0x615f
movq %rax, %rbx
movq -0x510(%rbp), %rdi
jmp 0x61a6
movq %rax, %rbx
movq -0x3f0(%rbp), %rdi
leaq -0x3e0(%rbp), %rax
cmpq %rax, %rdi
je 0x6191
callq 0x4350
jmp 0x6191
jmp 0x61b2
jmp 0x618e
jmp 0x61b2
movq %rax, %rbx
movq -0x530(%rbp), %rdi
jmp 0x61a6
jmp 0x61b2
movq %rax, %rbx
movq -0x550(%rbp), %rdi
cmpq %r15, %rdi
je 0x61b5
callq 0x4350
jmp 0x61b5
movq %rax, %rbx
movq -0x410(%rbp), %rdi
leaq -0x400(%rbp), %rax
cmpq %rax, %rdi
je 0x61d2
callq 0x4350
jmp 0x61d2
movq %rax, %rbx
movq -0x570(%rbp), %rdi
cmpq %r14, %rdi
jne 0x63df
jmp 0x63e9
jmp 0x63e6
jmp 0x63e6
movq %rax, %rbx
movq -0x150(%rbp), %rdi
leaq -0x140(%rbp), %rax
cmpq %rax, %rdi
je 0x6211
callq 0x4350
jmp 0x6211
movq %rax, %rbx
movq -0x170(%rbp), %rdi
leaq -0x160(%rbp), %rax
cmpq %rax, %rdi
je 0x622e
callq 0x4350
jmp 0x622e
movq %rax, %rbx
movq -0x190(%rbp), %rdi
leaq -0x180(%rbp), %rax
cmpq %rax, %rdi
je 0x624b
callq 0x4350
jmp 0x624b
movq %rax, %rbx
movq -0x1b0(%rbp), %rdi
leaq -0x1a0(%rbp), %rax
cmpq %rax, %rdi
je 0x626a
callq 0x4350
jmp 0x626a
jmp 0x6267
movq %rax, %rbx
movq -0x1d0(%rbp), %rdi
leaq -0x1c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6287
callq 0x4350
jmp 0x6287
movq %rax, %rbx
movq -0x1f0(%rbp), %rdi
leaq -0x1e0(%rbp), %rax
cmpq %rax, %rdi
je 0x62a4
callq 0x4350
jmp 0x62a4
movq %rax, %rbx
movq -0x210(%rbp), %rdi
leaq -0x200(%rbp), %rax
cmpq %rax, %rdi
je 0x62c1
callq 0x4350
jmp 0x62c1
movq %rax, %rbx
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rax
cmpq %rax, %rdi
je 0x62e0
callq 0x4350
jmp 0x62e0
jmp 0x62dd
movq %rax, %rbx
movq -0x250(%rbp), %rdi
leaq -0x240(%rbp), %rax
cmpq %rax, %rdi
je 0x62fd
callq 0x4350
jmp 0x62fd
movq %rax, %rbx
movq -0x270(%rbp), %rdi
leaq -0x260(%rbp), %rax
cmpq %rax, %rdi
je 0x631a
callq 0x4350
jmp 0x631a
movq %rax, %rbx
movq -0x290(%rbp), %rdi
leaq -0x280(%rbp), %rax
cmpq %rax, %rdi
je 0x6337
callq 0x4350
jmp 0x6337
movq %rax, %rbx
movq -0x2b0(%rbp), %rdi
leaq -0x2a0(%rbp), %rax
cmpq %rax, %rdi
je 0x6356
callq 0x4350
jmp 0x6356
jmp 0x6353
movq %rax, %rbx
movq -0x2d0(%rbp), %rdi
leaq -0x2c0(%rbp), %rax
cmpq %rax, %rdi
je 0x6373
callq 0x4350
jmp 0x6373
movq %rax, %rbx
movq -0x2f0(%rbp), %rdi
leaq -0x2e0(%rbp), %rax
cmpq %rax, %rdi
je 0x6390
callq 0x4350
jmp 0x6390
movq %rax, %rbx
movq -0x310(%rbp), %rdi
leaq -0x300(%rbp), %rax
cmpq %rax, %rdi
je 0x63ad
callq 0x4350
jmp 0x63ad
movq %rax, %rbx
movq -0x330(%rbp), %rdi
leaq -0x320(%rbp), %rax
cmpq %rax, %rdi
je 0x63cc
callq 0x4350
jmp 0x63cc
jmp 0x63c9
movq %rax, %rbx
movq -0x350(%rbp), %rdi
leaq -0x340(%rbp), %rax
cmpq %rax, %rdi
je 0x63e9
callq 0x4350
jmp 0x63e9
movq %rax, %rbx
leaq -0x610(%rbp), %rdi
callq 0x657e
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 0x6436
callq 0x4350
jmp 0x6436
movq %rax, %rbx
leaq -0x5f0(%rbp), %rdi
callq 0x6486
leaq -0x5c0(%rbp), %rdi
callq 0x6514
movq -0x590(%rbp), %rdi
cmpq %r12, %rdi
je 0x645f
callq 0x4350
movq -0x98(%rbp), %rdi
cmpq %r13, %rdi
je 0x6470
callq 0x4350
movq %rbx, %rdi
callq 0x4640