// File: /workspace/github_cpp_makefile_star2_O1/sjain12[P]CliqueCounting/tests/test_cliques_brute_force.cpp
// Function: main
int main(int argc, char *argv[])
{
    if(argc < 9) {
        usage();
        exit(1);
    }

    std::vector<std::string> graphs; // input files

    int min_clique_size = 0, max_clique_size = 0, runs = 0, i = 0;
    float start_threshold = 0.0, end_threshold = 0.0, threshold_interval = 0.0;
	int num_samples=0, full=0;
    char c;
    printf("*****************************\n");
    while ((c = getopt(argc, argv, "i:m:M:r:")) != -1) {
        switch (c) {
            case 'i': {
                // multiple input files
                char *token = std::strtok(optarg, ",");
                printf("Input Files: ");
                while (token != NULL) {
                    graphs.push_back(std::string(token));
                    printf("%s,",token);
                    token = std::strtok(NULL, ",");
                }
                printf("\n");
            }
            break;

            case 'm':
                min_clique_size = atoi(optarg);
                cout << "Min Clique Size: " << min_clique_size << endl;
            break;

            case 'M':
                max_clique_size = atoi(optarg);
                cout << "Max Clique Size: " << max_clique_size << endl;
            break;

            case 'r':
                runs = atoi(optarg);
                cout << "Runs: " << runs << endl;
            break;

        }
    }
    printf("*****************************\n\n");

    populate_nCr();
    
    for (std::vector<std::string>::iterator it=graphs.begin(); it!=graphs.end(); ++it)
    {
        std::string fname = "../graphs/" + *it;
        std::cout << fname << std::endl;

        Graph g;
        printf("Loading graph\n");
        if (loadGraph(fname.c_str(), g, 1, IOFormat::escape))
            exit(1);

        printf("Converting to CSR\n");
        CGraph cg = makeCSR(g);

        printf("Creating DAG\n");
        CDAG dag = degreeOrdered(&cg);

        cout << "vertices: " << g.nVertices << " edges = " << g.nEdges << std::endl;

        string f = *it;
        char *token = std::strtok(strdup(f.c_str()), ".");
        string gname(token);
        cout << "GNAME = " << gname << endl;
        for(i=min_clique_size; i<=max_clique_size; i++)
        {
			string outfile(gname + "_" + to_string(i) + "_" + to_string(runs) + "_bf");
			std::string ofname = "../results/cliques/" + outfile;
    		std::cout << ofname << std::endl;
    		std::ofstream of;
    		of.open(ofname);
    		if (!of.is_open())
    		{
        		std::cout << "Could not open output file." << std::endl;
        		exit(1);
  			}
    		printf("Output File: %s\n", ofname.c_str());
			of << "csize,estimate,time" << endl;
       	
			for (int run=0; run < runs; run++)
			{	
            	cliques_brute_force(cg, dag, of, gname, "", i);
            	of << std::endl;
			}
			of.close();
        }
        delGraph(g);
        delCGraph(cg);
        delCDAG(dag);
    }
   


}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x478, %rsp            # imm = 0x478
cmpl $0x8, %edi
jle 0x5546
movq %rsi, %rbx
movl %edi, %ebp
xorps %xmm0, %xmm0
movaps %xmm0, 0x140(%rsp)
movq $0x0, 0x150(%rsp)
leaq 0x5af3(%rip), %rdi      # 0xa22d
callq 0x33c0
leaq 0x5982(%rip), %rdx      # 0xa0c8
movl %ebp, 0x80(%rsp)
movl %ebp, %edi
movq %rbx, 0x58(%rsp)
movq %rbx, %rsi
callq 0x30a0
shll $0x18, %eax
movl $0x0, 0x2c(%rsp)
movl $0x0, %ecx
movq %rcx, 0x50(%rsp)
movl $0x0, 0x28(%rsp)
cmpl $0xff000000, %eax       # imm = 0xFF000000
je 0x49ee
leaq 0x280(%rsp), %rbp
leaq 0x594e(%rip), %r12      # 0xa0e1
leaq 0x270(%rsp), %r15
leaq 0x140(%rsp), %r13
leaq 0x5935(%rip), %r14      # 0xa0df
movl $0x0, 0x28(%rsp)
movq $0x0, 0x50(%rsp)
movl $0x0, 0x2c(%rsp)
sarl $0x18, %eax
cmpl $0x6c, %eax
jg 0x487e
cmpl $0x4d, %eax
je 0x48fa
cmpl $0x69, %eax
jne 0x49c8
movq 0x97d0(%rip), %rax      # 0xdfb8
movq (%rax), %rdi
movq %r12, %rsi
callq 0x33e0
movq %rax, %rbx
leaq 0x58d4(%rip), %rdi      # 0xa0d1
xorl %eax, %eax
callq 0x3050
testq %rbx, %rbx
je 0x486f
movq %rbp, 0x270(%rsp)
movq %rbx, %rdi
callq 0x3130
leaq (%rax,%rbx), %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0x5f44
movq %r13, %rdi
movq %r15, %rsi
callq 0x5fd4
movq 0x270(%rsp), %rdi
cmpq %rbp, %rdi
je 0x4850
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
movq %r14, %rdi
movq %rbx, %rsi
xorl %eax, %eax
callq 0x3050
xorl %edi, %edi
movq %r12, %rsi
callq 0x33e0
movq %rax, %rbx
testq %rax, %rax
jne 0x4809
movl $0xa, %edi
callq 0x3370
jmp 0x49c8
cmpl $0x6d, %eax
je 0x4963
cmpl $0x72, %eax
jne 0x49c8
movq 0x9721(%rip), %rax      # 0xdfb8
movq (%rax), %rdi
callq 0x33d0
movl %eax, 0x2c(%rsp)
movl $0x6, %edx
movq 0x9721(%rip), %rdi      # 0xdfd0
leaq 0x5851(%rip), %rsi      # 0xa107
callq 0x32f0
movq 0x970e(%rip), %rdi      # 0xdfd0
movl 0x2c(%rsp), %esi
callq 0x3470
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
jmp 0x49c8
movq 0x96b7(%rip), %rax      # 0xdfb8
movq (%rax), %rdi
callq 0x33d0
movq %rax, 0x50(%rsp)
movl $0x11, %edx
movq 0x96b6(%rip), %rdi      # 0xdfd0
leaq 0x57d4(%rip), %rsi      # 0xa0f5
callq 0x32f0
movq 0x96a3(%rip), %rdi      # 0xdfd0
movq 0x50(%rsp), %rsi
callq 0x3470
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
jmp 0x49c8
movq 0x964e(%rip), %rax      # 0xdfb8
movq (%rax), %rdi
callq 0x33d0
movl %eax, 0x28(%rsp)
movl $0x11, %edx
movq 0x964e(%rip), %rdi      # 0xdfd0
leaq 0x575a(%rip), %rsi      # 0xa0e3
callq 0x32f0
movq 0x963b(%rip), %rdi      # 0xdfd0
movl 0x28(%rsp), %esi
callq 0x3470
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movl 0x80(%rsp), %edi
movq 0x58(%rsp), %rsi
leaq 0x56ed(%rip), %rdx      # 0xa0c8
callq 0x30a0
shll $0x18, %eax
cmpl $0xff000000, %eax       # imm = 0xFF000000
jne 0x47c3
leaq 0x5856(%rip), %rdi      # 0xa24b
callq 0x33c0
callq 0x3885
movq 0x140(%rsp), %r12
cmpq 0x148(%rsp), %r12
je 0x54f7
movl 0x2c(%rsp), %eax
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
movl %ecx, 0x58(%rsp)
movl %eax, %ebp
shrl $0x1f, %ebp
leaq 0x280(%rsp), %r13
movq 0x9590(%rip), %rax      # 0xdfc8
movq (%rax), %rcx
movq %rcx, 0x138(%rsp)
movq 0x18(%rax), %rax
movq %rax, 0x130(%rsp)
movslq 0x28(%rsp), %rax
movq %rax, 0x1e0(%rsp)
movq 0x50(%rsp), %rax
incl %eax
movl %eax, 0xcc(%rsp)
leaq 0x270(%rsp), %r15
leaq 0x5a36(%rip), %rbx      # 0xa4af
movq %rbp, 0x80(%rsp)
leaq 0x180(%rsp), %rdi
leaq 0x567e(%rip), %rsi      # 0xa10e
movq %r12, %rdx
callq 0x5839
movq 0x180(%rsp), %rsi
movq 0x188(%rsp), %rdx
movq 0x9521(%rip), %rdi      # 0xdfd0
callq 0x32f0
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x5785(%rip), %rdi      # 0xa26a
callq 0x33c0
movq 0x180(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x89d0
testl %eax, %eax
jne 0x553c
leaq 0x5760(%rip), %rdi      # 0xa278
callq 0x33c0
movups 0x1f0(%rsp), %xmm0
movups 0x200(%rsp), %xmm1
movups %xmm1, 0x10(%rsp)
movups %xmm0, (%rsp)
leaq 0x250(%rsp), %r14
movq %r14, %rdi
xorl %esi, %esi
callq 0x68eb
leaq 0x573b(%rip), %rdi      # 0xa28a
callq 0x33c0
leaq 0x210(%rsp), %rdi
movq %r14, %rsi
callq 0x3675
movl $0xa, %edx
movq 0x9460(%rip), %rdi      # 0xdfd0
leaq 0x55a2(%rip), %rsi      # 0xa119
callq 0x32f0
movq 0x1f0(%rsp), %rsi
movq 0x9445(%rip), %rdi      # 0xdfd0
callq 0x3260
movq %rax, %r14
movl $0x9, %edx
movq %rax, %rdi
leaq 0x5582(%rip), %rsi      # 0xa124
callq 0x32f0
movq 0x1f8(%rsp), %rsi
movq %r14, %rdi
callq 0x3260
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x170(%rsp), %rax
movq %rax, 0x160(%rsp)
movq (%r12), %rsi
movq 0x8(%r12), %rdx
addq %rsi, %rdx
leaq 0x160(%rsp), %rdi
callq 0x598a
movq 0x160(%rsp), %rdi
callq 0x34a0
movq %rax, %rdi
leaq 0x5452(%rip), %rsi      # 0xa073
callq 0x33e0
leaq 0x110(%rsp), %rdi
movq %rax, %rsi
movq %r15, %rdx
callq 0x57fc
movq %r12, 0x1e8(%rsp)
movl $0x8, %edx
movq 0x9383(%rip), %rdi      # 0xdfd0
leaq 0x54da(%rip), %rsi      # 0xa12e
callq 0x32f0
movq 0x110(%rsp), %rsi
movq 0x118(%rsp), %rdx
movq 0x9360(%rip), %rdi      # 0xdfd0
callq 0x32f0
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x50(%rsp), %rax
cmpl %eax, 0x28(%rsp)
jg 0x53bc
movq 0x1e0(%rsp), %r12
leaq 0x70(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x110(%rsp), %rsi
movq 0x118(%rsp), %rdx
addq %rsi, %rdx
leaq 0x60(%rsp), %r14
movq %r14, %rdi
callq 0x598a
movq %r14, %rdi
leaq 0x544d(%rip), %rsi      # 0xa137
callq 0x34c0
movl %r12d, %ebp
negl %ebp
cmovsl %r12d, %ebp
movl $0x1, %r13d
cmpl $0xa, %ebp
jb 0x4d49
movl $0x4, %r13d
movl %ebp, %eax
cmpl $0x63, %eax
jbe 0x4d40
cmpl $0x3e7, %eax            # imm = 0x3E7
jbe 0x4d46
cmpl $0x2710, %eax           # imm = 0x2710
jb 0x4d49
movl %eax, %ecx
movl $0xd1b71759, %edx       # imm = 0xD1B71759
imulq %rdx, %rcx
shrq $0x2d, %rcx
addl $0x4, %r13d
cmpl $0x1869f, %eax          # imm = 0x1869F
movl %ecx, %eax
ja 0x4d0b
addl $-0x3, %r13d
jmp 0x4d49
addl $-0x2, %r13d
jmp 0x4d49
decl %r13d
movl %r12d, %r14d
shrl $0x1f, %r14d
leal (%r14,%r13), %esi
leaq 0xb8(%rsp), %rax
movq %rax, 0xa8(%rsp)
leaq 0xa8(%rsp), %rdi
movl $0x2d, %edx
callq 0x3300
movl %r14d, %edi
addq 0xa8(%rsp), %rdi
movl %r13d, %esi
movl %ebp, %edx
callq 0x591d
movq 0x60(%rsp), %rcx
movl $0xf, %esi
leaq 0x70(%rsp), %rax
cmpq %rax, %rcx
je 0x4da4
movq 0x70(%rsp), %rsi
movq 0x68(%rsp), %r8
movq 0xb0(%rsp), %rdx
leaq (%rdx,%r8), %rax
cmpq %rsi, %rax
leaq 0xe0(%rsp), %rbp
jbe 0x4de6
movl $0xf, %esi
leaq 0xb8(%rsp), %rdi
cmpq %rdi, 0xa8(%rsp)
je 0x4de1
movq 0xb8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x4dfa
movq 0xa8(%rsp), %rsi
leaq 0x60(%rsp), %rdi
callq 0x30f0
jmp 0x4e0b
leaq 0xa8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32d0
movq %rbp, 0xd0(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x4e34
movq %rdx, 0xd0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xe0(%rsp)
jmp 0x4e3b
movups (%rcx), %xmm0
movups %xmm0, (%rbp)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0xd8(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0xd0(%rsp), %rdi
leaq 0x52cd(%rip), %rsi      # 0xa137
callq 0x34c0
leaq 0x40(%rsp), %rsi
movq %rsi, 0x30(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4e97
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
jmp 0x4e9d
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x38(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl $0x1, %r13d
cmpl $0xa, 0x58(%rsp)
jb 0x4f0a
movl $0x4, %r13d
movl 0x58(%rsp), %eax
cmpl $0x63, %eax
jbe 0x4f01
cmpl $0x3e7, %eax            # imm = 0x3E7
jbe 0x4f07
cmpl $0x2710, %eax           # imm = 0x2710
jb 0x4f0a
movl %eax, %ecx
movl $0xd1b71759, %edx       # imm = 0xD1B71759
imulq %rdx, %rcx
shrq $0x2d, %rcx
addl $0x4, %r13d
cmpl $0x1869f, %eax          # imm = 0x1869F
movl %ecx, %eax
ja 0x4ecc
addl $-0x3, %r13d
jmp 0x4f0a
addl $-0x2, %r13d
jmp 0x4f0a
decl %r13d
movq 0x80(%rsp), %r14
leal (%r14,%r13), %esi
leaq 0x98(%rsp), %rax
movq %rax, 0x88(%rsp)
leaq 0x88(%rsp), %rdi
movl $0x2d, %edx
callq 0x3300
movq 0x88(%rsp), %rdi
addq %r14, %rdi
movl %r13d, %esi
movl 0x58(%rsp), %edx
callq 0x591d
movq 0x30(%rsp), %rcx
movl $0xf, %esi
leaq 0x40(%rsp), %rax
cmpq %rax, %rcx
je 0x4f68
movq 0x40(%rsp), %rsi
movq 0x38(%rsp), %r8
movq 0x90(%rsp), %rdx
leaq (%rdx,%r8), %rax
cmpq %rsi, %rax
leaq 0x100(%rsp), %r14
jbe 0x4faa
movl $0xf, %esi
leaq 0x98(%rsp), %rdi
cmpq %rdi, 0x88(%rsp)
je 0x4fa5
movq 0x98(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x4fbe
movq 0x88(%rsp), %rsi
leaq 0x30(%rsp), %rdi
callq 0x30f0
jmp 0x4fcf
leaq 0x88(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32d0
leaq 0x280(%rsp), %rsi
movq %rsi, 0x270(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x5000
movq %rdx, 0x270(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x280(%rsp)
jmp 0x5006
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x278(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq %r15, %rdi
leaq 0x5109(%rip), %rsi      # 0xa139
callq 0x34c0
movq %r14, 0xf0(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5061
movq %rdx, 0xf0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x100(%rsp)
jmp 0x5068
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
movq %rdx, 0xf8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x270(%rsp), %rdi
leaq 0x280(%rsp), %rax
cmpq %rax, %rdi
je 0x50a8
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x50cd
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x50e9
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0xd0(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5106
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x512b
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x5147
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x30(%rsp), %rdi
leaq 0x4fea(%rip), %rsi      # 0xa13d
leaq 0xf0(%rsp), %rdx
callq 0x5839
movq 0x30(%rsp), %rsi
movq 0x38(%rsp), %rdx
movq 0x8e5f(%rip), %rdi      # 0xdfd0
callq 0x32f0
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %r13, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq %r15, %rdi
callq 0x3460
movq %r15, %rdi
leaq 0x30(%rsp), %rsi
movl $0x10, %edx
leaq 0x100(%rsp), %r14
callq 0x3140
leaq 0x2e0(%rsp), %rdi
callq 0x30b0
testb %al, %al
je 0x5518
movq 0x30(%rsp), %rsi
leaq 0x4f6e(%rip), %rdi      # 0xa151
xorl %eax, %eax
callq 0x3050
movl $0x13, %edx
movq %r15, %rdi
leaq 0x4f69(%rip), %rsi      # 0xa162
callq 0x32f0
movq 0x270(%rsp), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %r15, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movl 0x2c(%rsp), %eax
movl %eax, %ebp
testl %eax, %eax
jle 0x5324
leaq 0x1d0(%rsp), %rax
movq %rax, 0x1c0(%rsp)
movq 0x110(%rsp), %rsi
movq 0x118(%rsp), %rdx
addq %rsi, %rdx
leaq 0x1c0(%rsp), %rdi
callq 0x598a
leaq 0x1b0(%rsp), %rax
movq %rax, 0x1a0(%rsp)
leaq 0x1a0(%rsp), %rdi
movq %rbx, %rsi
movq %rbx, %rdx
callq 0x5f44
leaq 0x250(%rsp), %rdi
leaq 0x210(%rsp), %rsi
movq %r15, %rdx
movq %r12, %r9
callq 0x4089
movq 0x1a0(%rsp), %rdi
leaq 0x1b0(%rsp), %rax
cmpq %rax, %rdi
je 0x52cb
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x1c0(%rsp), %rdi
leaq 0x1d0(%rsp), %rax
cmpq %rax, %rdi
je 0x52f0
movq 0x1d0(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x270(%rsp), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x3270
movsbl %al, %esi
movq %r15, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
decl %ebp
jne 0x5238
movq %r15, %rdi
callq 0x3380
leaq 0x280(%rsp), %r13
movq 0x138(%rsp), %rax
movq %rax, 0x270(%rsp)
movq -0x18(%rax), %rax
movq 0x130(%rsp), %rcx
movq %rcx, 0x270(%rsp,%rax)
leaq 0x278(%rsp), %rdi
callq 0x3220
leaq 0x368(%rsp), %rdi
callq 0x3100
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x538e
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0xf0(%rsp), %rdi
cmpq %r14, %rdi
je 0x53ab
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32b0
incq %r12
cmpl %r12d, 0xcc(%rsp)
jne 0x4cb6
movups 0x1f0(%rsp), %xmm0
movups 0x200(%rsp), %xmm1
movups %xmm1, 0x10(%rsp)
movups %xmm0, (%rsp)
callq 0x63da
movups 0x250(%rsp), %xmm0
movups 0x260(%rsp), %xmm1
movups %xmm1, 0x10(%rsp)
movups %xmm0, (%rsp)
callq 0x6560
movups 0x210(%rsp), %xmm0
movups 0x220(%rsp), %xmm1
movups 0x230(%rsp), %xmm2
movups 0x240(%rsp), %xmm3
movaps %xmm3, 0x2a0(%rsp)
movaps %xmm2, 0x290(%rsp)
movaps %xmm1, 0x280(%rsp)
movaps %xmm0, 0x270(%rsp)
movups 0x210(%rsp), %xmm0
movups 0x220(%rsp), %xmm1
movups %xmm1, 0x10(%rsp)
movups %xmm0, (%rsp)
callq 0x6560
movups 0x10(%r13), %xmm0
movups 0x20(%r13), %xmm1
movups %xmm1, 0x10(%rsp)
movups %xmm0, (%rsp)
callq 0x6560
movq 0x110(%rsp), %rdi
leaq 0x120(%rsp), %rax
cmpq %rax, %rdi
movq 0x1e8(%rsp), %r12
je 0x549b
movq 0x120(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x160(%rsp), %rdi
leaq 0x170(%rsp), %rax
cmpq %rax, %rdi
je 0x54c0
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x180(%rsp), %rdi
leaq 0x190(%rsp), %rax
cmpq %rax, %rdi
je 0x54e5
movq 0x190(%rsp), %rsi
incq %rsi
callq 0x32b0
addq $0x20, %r12
cmpq 0x148(%rsp), %r12
jne 0x4a81
leaq 0x140(%rsp), %rdi
callq 0x58c2
xorl %eax, %eax
addq $0x478, %rsp            # imm = 0x478
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8ab1(%rip), %rdi      # 0xdfd0
leaq 0x4b33(%rip), %rsi      # 0xa059
movl $0x1b, %edx
callq 0x32f0
movq 0x8a99(%rip), %rdi      # 0xdfd0
callq 0x3150
movl $0x1, %edi
callq 0x3320
callq 0x46f1
jmp 0x553c
jmp 0x5561
movq %rax, %rbx
jmp 0x579c
jmp 0x558c
jmp 0x5561
jmp 0x558c
jmp 0x558c
jmp 0x5561
movq %rax, %rbx
jmp 0x57e6
movq %rax, %rbx
movq 0x270(%rsp), %rdi
cmpq %rbp, %rdi
je 0x57e6
movq 0x280(%rsp), %rsi
jmp 0x57de
jmp 0x558c
movq %rax, %rbx
jmp 0x57c1
jmp 0x55de
jmp 0x5701
movq %rax, %rbx
movq 0x270(%rsp), %rdi
leaq 0x280(%rsp), %rax
cmpq %rax, %rdi
je 0x55e9
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x55e9
movq %rax, %rbx
jmp 0x5647
jmp 0x55cc
movq %rax, %rbx
jmp 0x566c
movq %rax, %rbx
jmp 0x560e
movq %rax, %rbx
jmp 0x562a
movq %rax, %rbx
jmp 0x5777
movq %rax, %rbx
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x560e
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x562a
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0xd0(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5647
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x566c
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x5777
movq 0x70(%rsp), %rsi
jmp 0x576f
jmp 0x569b
movq %rax, %rbx
leaq 0x100(%rsp), %r14
jmp 0x575a
movq %rax, %rbx
leaq 0x100(%rsp), %r14
jmp 0x573e
jmp 0x5701
movq %rax, %rbx
movq 0x1a0(%rsp), %rdi
leaq 0x1b0(%rsp), %rax
cmpq %rax, %rdi
je 0x56da
movq 0x1b0(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x56da
movq %rax, %rbx
movq 0x1c0(%rsp), %rdi
leaq 0x1d0(%rsp), %rax
cmpq %rax, %rdi
je 0x5704
movq 0x1d0(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x5704
movq %rax, %rbx
leaq 0x278(%rsp), %rdi
movq 0x138(%rsp), %rax
movq %rax, -0x8(%rdi)
movq -0x18(%rax), %rax
movq 0x130(%rsp), %rcx
movq %rcx, 0x270(%rsp,%rax)
callq 0x3220
leaq 0x368(%rsp), %rdi
callq 0x3100
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x575a
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0xf0(%rsp), %rdi
cmpq %r14, %rdi
je 0x5777
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x110(%rsp), %rdi
leaq 0x120(%rsp), %rax
cmpq %rax, %rdi
je 0x579c
movq 0x120(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x160(%rsp), %rdi
leaq 0x170(%rsp), %rax
cmpq %rax, %rdi
je 0x57c1
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x180(%rsp), %rdi
leaq 0x190(%rsp), %rax
cmpq %rax, %rdi
je 0x57e6
movq 0x190(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x140(%rsp), %rdi
callq 0x58c2
movq %rbx, %rdi
callq 0x3480
nop