// File: /workspace/github_cpp_makefile_star2_O3/sjain12[P]CliqueCounting/tests/../Escape/CliquesTuranShadow.h
// Function: turan_shadow(Escape::CGraph&, CDAG&, std::basic_ofstream<char, std::char_traits<char>>&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, int, int, int)
void turan_shadow(CGraph &CG, CDAG &DG, ofstream &of, string gname, string fname, int runs, int num_samples, int clique_size)
{    
    high_resolution_clock::time_point treegen_s = high_resolution_clock::now();

    double num_cliques = 0, num_leaves = 0;
    double non_leaf_cliques = 0;
    double discarded_leaves = 0;
    int k = 0; 
    double succ_ratio = 0, leaf_samples = 0, leaf_size = 0, density = 0, leaf_cliques = 0;
    VertexIdx psize = 0, nsize = 0;
    PartialClique *pc = NULL;
    VertexIdx arr[10000];  // array for storing numbers 0 through leaf_size, which will be used by the random number generator
    VertexIdx rng[10000]; // will be used for the random number generator
    double N = 0;    

    vector<int> leafk;
    vector<int> leafn;
    int leaves_inc = 10000000;
    int max_leaves = leaves_inc;
    leafk.resize(leaves_inc);
    leafn.resize(leaves_inc);
    double internal = 0;


    for (int i=0; i<10000; i++)
        arr[i] = i;

    double internal_nodes = 0;
	double shadow_size = 0;
    srand(time(NULL));
    
    Stack *stack = newStack();
    vector <VertexSet*> leaves;
    vector <int> leafExperiments;
    leafExperiments.resize(leaves_inc);
    leaves.resize(leaves_inc);

    for (VertexIdx i=0; i<CG.nVertices; i++)
    {
    	VertexSet *path = newVertexSet(1);
    	path->vertices[0] = i;
    	VertexSet *nbrs = newVertexSet(DG.outlist.offsets[i+1] - DG.outlist.offsets[i]);
    	std::copy(DG.outlist.nbors+DG.outlist.offsets[i], DG.outlist.nbors+DG.outlist.offsets[i+1], nbrs->vertices);
    	pc = newPartialClique(path, nbrs);
    	stack->push(pc);

        StackItem* si = stack->pop();
        int flag = 0;
    	EdgeIdx num_edges = 0;
        while (si != NULL)  // unraveling the stack
        {
            VertexSet *path = si->pc->path;
            VertexSet *nbrs = si->pc->nbrs;  // get the current path and its nbrs
            psize = path->nVertices;
            nsize = nbrs->nVertices;
            flag = 0;

    	    k = clique_size - psize;
            density = get_density(CG, nbrs,num_edges);
    				
            if (psize + nsize < clique_size) 
            {
                discarded_leaves++;
                flag = 1;
            }
            else if (psize == clique_size)
            {
                num_cliques++;
                non_leaf_cliques++;
                flag = 1;
            }
            else if (psize == clique_size - 1)
            {
                num_cliques += nbrs->nVertices;
                non_leaf_cliques += nbrs->nVertices;
                flag = 1;
            }
            else if (k == 2)
    		{
    				non_leaf_cliques += num_edges;
    				flag = 1;
    		}
    		else
    		{
                double thresh_dens = 1.0 - pow((k-1), -1);
                if (density >= thresh_dens)
                {
                    leaves[num_leaves] = nbrs;
                    leafExperiments[num_leaves] = nCr[nsize][k];
                    leafk[num_leaves] = k;
                    leafn[num_leaves] = nsize;
                    N += nCr[nsize][k];
                  
                    shadow_size += nsize;

                    num_leaves++;
                    if (num_leaves == max_leaves) 
                    {
                        max_leaves += leaves_inc;
                        leaves.resize(max_leaves);
                        leafExperiments.resize(max_leaves);
                        leafk.resize(max_leaves);
                        leafn.resize(max_leaves);
                    }
                }
                else
                {
                    internal++;
                    for (int i=0; i<nbrs->nVertices-1; i++)
                    {
                        VertexSet *new_path = newVertexSet(1);
                        new_path->nVertices = path->nVertices + 1;
                        VertexSet *new_nbrs = newVertexSet(nsize);

                        int c = 0;
                        for (int j=i+1; j<nbrs->nVertices; j++)
                        {
                            if (CG.isEdge(nbrs->vertices[i], nbrs->vertices[j]) != -1)
                            {
                                new_nbrs->vertices[c] = nbrs->vertices[j];
                                c++;
                            }
                        }
                        new_nbrs->nVertices = c;
    			
                        PartialClique *pc1 = newPartialClique(new_path, new_nbrs);
                        stack->push(pc1);
                    }

                    flag = 1;
                }
            }
            if (flag == 1)
            {
                if (nbrs->nVertices >= 0) delete[] nbrs->vertices;
                delete nbrs;
                
            }
            if (path->nVertices > 0) delete[] path->vertices;
            delete path;
            delete si->pc;
            delete si;
            si = stack->pop();
            continue;
        }

    }
	high_resolution_clock::time_point treegen_e = high_resolution_clock::now();
    auto duration_treegen = std::chrono::duration_cast<std::chrono::microseconds>( treegen_e - treegen_s ).count();

    cout << "internal = " << internal << endl;
    cout << "leaves = " << num_leaves << endl;
    cout << "discarded_leaves = " << discarded_leaves << endl;
    cout << "internal + leaves + discarded_leaves = " << internal + num_leaves + discarded_leaves << endl;

    string datfile(gname + "_" + to_string(num_samples) + "_" + to_string(clique_size) + "_" + to_string(runs) + "_data");
    std::string dfname = "../results/cliques/" + datfile;
    std::cout << dfname << std::endl;
    std::ofstream df;
    df.open(dfname);
    if (!df.is_open())
    {
        std::cout << "Could not open output file." << std::endl;
        exit(1);
    }
    printf("Output File: %s\n", dfname.c_str());
    df << "estimate,succ_ratio,time," << endl;
    df.precision(2);
    double est;

	if (num_leaves != 0)
	{
		std::default_random_engine generator;
		std::discrete_distribution<int> distribution (leafExperiments.begin(), leafExperiments.end());
	
    	for (int r=0; r<runs; r++)
    	{
        
        	high_resolution_clock::time_point sampling_s = high_resolution_clock::now();
        	auto duration_sampling = std::chrono::duration_cast<std::chrono::microseconds>(sampling_s - sampling_s).count();
        	leaf_cliques = 0;
        	for (int i=0; i<num_samples; ++i) 
        	{
            	int leaf = distribution(generator);
            	k = leafk[leaf];
            	VertexSet *l = leaves[leaf];
            	std::copy(arr, arr+l->nVertices, rng);
            	std::random_shuffle ( rng, rng+l->nVertices);
            	VertexIdx *sample = (VertexIdx *) calloc(k,sizeof(VertexIdx)); 
            	for (int j = 0; j < k; j++)
                	sample[j] = l->vertices[rng[j]];

            	if (isClique(sample, k, CG)) 
            	{
                	leaf_cliques++; //experiment was a success. Sampled set of vertices do form a clique
            	}

            	free(sample);
        	}

        	high_resolution_clock::time_point sampling_e = high_resolution_clock::now();
        	duration_sampling = std::chrono::duration_cast<std::chrono::microseconds>( sampling_e - sampling_s ).count();
        	modf((leaf_cliques * N / num_samples)+non_leaf_cliques, &est);
        	succ_ratio = leaf_cliques / num_samples;
        	df << est << "," <<  succ_ratio << "," << duration_sampling << "," << endl;
    	}
    }
	else 
     	df << "0,0,0," << endl;
    		
	df.close();

    string outfile(gname + "_" + to_string(num_samples) + "_" + to_string(clique_size) + "_params");
    std::string ofname = "../results/cliques/" + outfile;
    std::cout << ofname << std::endl;
    std::ofstream ofparams;
    ofparams.open(ofname);
    if (!ofparams.is_open())
    {
        std::cout << "Could not open output file." << std::endl;
        exit(1);
    }
    printf("Output File: %s\n", ofname.c_str());

    ofparams << "internal," << "leaves," << "discarded leaves,"  << "shadow size," << "N,";
    ofparams << "tree_t," << "num_samples," << endl;
    ofparams << internal << "," << num_leaves << "," << discarded_leaves << "," << shadow_size << "," << N << ",";
    ofparams << duration_treegen << "," << num_samples << "," << endl;
    ofparams << endl;
    ofparams.close();
   
	for (int i=0; i<num_leaves; i++)
	{
		if (leaves[i]->nVertices >= 0) delete[] leaves[i]->vertices;
            delete leaves[i];
            
	} 
    cout << "clique_size = " << clique_size << endl;;
    cout << "Num of leaves = " << num_leaves << endl;
    cout << "Num of discarded leaves = " << discarded_leaves << endl;
    cout << "Number of non_leaf_cliques = " << non_leaf_cliques << endl;
    cout << "Estimated number of cliques = " << est << endl;
    cout << "N = " << N << endl;
    cout << "time reqd to build tree: " << duration_treegen << endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x27788, %rsp          # imm = 0x27788
movl %r9d, 0x5c(%rsp)
movq %rcx, 0x218(%rsp)
movq %rsi, 0x160(%rsp)
movq %rdi, 0x118(%rsp)
callq 0x3060
movq %rax, %rbx
xorl %eax, %eax
leaq 0x240(%rsp), %rdi
movq %rax, 0x10(%rdi)
xorpd %xmm0, %xmm0
movapd %xmm0, (%rdi)
movq %rax, 0x210(%rsp)
movapd %xmm0, 0x200(%rsp)
movl $0x989680, %esi         # imm = 0x989680
callq 0x7138
leaq 0x200(%rsp), %rdi
movl $0x989680, %esi         # imm = 0x989680
callq 0x7138
movq %rbx, 0x270(%rsp)
movdqa 0x7d12(%rip), %xmm0     # 0xc030
xorl %eax, %eax
movdqa 0x7d18(%rip), %xmm1     # 0xc040
movdqa %xmm0, 0x13f00(%rsp,%rax,8)
addq $0x2, %rax
paddq %xmm1, %xmm0
cmpq $0x2710, %rax           # imm = 0x2710
jne 0x4328
xorl %ebx, %ebx
xorl %edi, %edi
callq 0x3250
movl %eax, %edi
callq 0x3280
movq %rbx, 0x190(%rsp)
pxor %xmm0, %xmm0
movdqa %xmm0, 0x180(%rsp)
leaq 0x1e0(%rsp), %rdi
movq %rbx, 0x10(%rdi)
movdqa %xmm0, (%rdi)
movl $0x989680, %esi         # imm = 0x989680
callq 0x7138
leaq 0x180(%rsp), %rdi
movl $0x989680, %esi         # imm = 0x989680
callq 0x716a
movq 0x118(%rsp), %rax
cmpq $0x0, (%rax)
jle 0x49b6
movslq 0x277c8(%rsp), %r12
leal -0x1(%r12), %eax
cltq
movq %rax, 0x1a0(%rsp)
movl $0x989680, %r13d        # imm = 0x989680
pxor %xmm0, %xmm0
movdqa %xmm0, 0x140(%rsp)
movdqa %xmm0, 0x150(%rsp)
movdqa %xmm0, 0x170(%rsp)
movdqa %xmm0, 0x1d0(%rsp)
movq $0x0, 0xc0(%rsp)
movdqa %xmm0, 0x260(%rsp)
movdqa %xmm0, 0x1c0(%rsp)
movq %r12, 0x168(%rsp)
movl $0x10, %edi
callq 0x32c0
movq %rax, %rbx
movq $0x1, (%rax)
movl $0x8, %edi
callq 0x3030
movq %rbx, 0x30(%rsp)
movq %rax, 0x8(%rbx)
movq 0xc0(%rsp), %rcx
movq %rcx, (%rax)
movq 0x160(%rsp), %rax
movq 0x10(%rax), %rbx
movq (%rbx,%rcx,8), %r14
movq 0x8(%rbx,%rcx,8), %r15
movl $0x10, %edi
callq 0x32c0
movq %rax, %rbp
subq %r14, %r15
movq %r15, (%rax)
leaq (,%r15,8), %rdi
movq %r15, 0x28(%rsp)
movabsq $0x1fffffffffffffff, %rax # imm = 0x1FFFFFFFFFFFFFFF
cmpq %rax, %r15
movq $-0x1, %rax
cmovaq %rax, %rdi
callq 0x3030
movq %rax, 0x8(%rbp)
movq 0xc0(%rsp), %rcx
movq (%rbx,%rcx,8), %rsi
incq %rcx
shlq $0x3, %rsi
movq %rcx, 0xc0(%rsp)
movq (%rbx,%rcx,8), %rdx
shlq $0x3, %rdx
subq %rsi, %rdx
je 0x44d3
movq 0x160(%rsp), %rcx
addq 0x18(%rcx), %rsi
movq %rax, %rdi
callq 0x3470
movl $0x10, %edi
callq 0x32c0
movq %rax, %r14
movq 0x30(%rsp), %rax
movq %rax, (%r14)
movq %rbp, 0x8(%r14)
movl $0x10, %edi
callq 0x32c0
movq %rax, %rbx
movq %r14, (%rax)
xorl %eax, %eax
movq %rax, 0x8(%rbx)
movq %rax, 0x480(%rsp)
movl $0x1, %r14d
movq $0x0, 0x20(%rsp)
movq 0x118(%rsp), %rax
movupd (%rax), %xmm0
movupd 0x10(%rax), %xmm1
movupd %xmm1, 0x10(%rsp)
movupd %xmm0, (%rsp)
movq %rbp, %rdi
leaq 0x480(%rsp), %rsi
callq 0x40ae
movq 0x28(%rsp), %rax
addq %r14, %rax
cmpq %r12, %rax
jge 0x456e
movapd 0x170(%rsp), %xmm0
addsd 0x7aa5(%rip), %xmm0     # 0xc008
movapd %xmm0, 0x170(%rsp)
jmp 0x4591
cmpq %r12, %r14
jne 0x4638
movapd 0x150(%rsp), %xmm0
addsd 0x7a80(%rip), %xmm0     # 0xc008
movapd %xmm0, 0x150(%rsp)
movq (%rbp), %rcx
movq %rbx, %r14
testq %rcx, %rcx
js 0x45ab
movq 0x8(%rbp), %rdi
testq %rdi, %rdi
je 0x45ab
callq 0x3370
movl $0x10, %esi
movq %rbp, %rdi
callq 0x32d0
movq 0x20(%rsp), %rbx
movq 0x30(%rsp), %rbp
cmpq $0x0, (%rbp)
jle 0x45d7
movq 0x8(%rbp), %rdi
testq %rdi, %rdi
je 0x45d7
callq 0x3370
movl $0x10, %esi
movq %rbp, %rdi
callq 0x32d0
movq (%r14), %rdi
movl $0x10, %esi
callq 0x32d0
movl $0x10, %esi
movq %r14, %rdi
callq 0x32d0
testq %rbx, %rbx
je 0x499b
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
movq %rcx, 0x20(%rsp)
movq $0x0, 0x8(%rbx)
movq (%rax), %rcx
movq 0x8(%rax), %rbp
movq %rcx, 0x30(%rsp)
movq (%rcx), %r14
movq (%rbp), %rax
movq %rax, 0x28(%rsp)
jmp 0x4519
cmpq 0x1a0(%rsp), %r14
jne 0x4669
movq (%rbp), %rcx
xorps %xmm0, %xmm0
cvtsi2sd %rcx, %xmm0
movapd 0x150(%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, 0x150(%rsp)
jmp 0x4595
movl 0x277c8(%rsp), %eax
subl %r14d, %eax
cmpl $0x2, %eax
jne 0x46a0
xorps %xmm0, %xmm0
cvtsi2sdq 0x480(%rsp), %xmm0
movapd 0x150(%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, 0x150(%rsp)
jmp 0x4591
leal -0x1(%rax), %ecx
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd 0x7956(%rip), %xmm3     # 0xc008
movapd %xmm3, %xmm2
divsd %xmm1, %xmm2
movapd %xmm3, %xmm1
subsd %xmm2, %xmm1
ucomisd %xmm1, %xmm0
jae 0x486a
movapd 0x1c0(%rsp), %xmm0
addsd %xmm3, %xmm0
movapd %xmm0, 0x1c0(%rsp)
movq (%rbp), %rcx
cmpq $0x2, %rcx
jl 0x4595
movl %r13d, 0x1bc(%rsp)
movq 0x28(%rsp), %rax
leaq (,%rax,8), %rdx
movabsq $0x1fffffffffffffff, %rcx # imm = 0x1FFFFFFFFFFFFFFF
cmpq %rcx, %rax
movq $-0x1, %rax
cmovaq %rax, %rdx
movq %rdx, 0x110(%rsp)
movl $0x1, %eax
movq %rax, 0xc8(%rsp)
xorl %r13d, %r13d
movq %rbx, 0x1a8(%rsp)
movl $0x10, %edi
callq 0x32c0
movq %rax, %r14
movq $0x1, (%rax)
movl $0x8, %edi
callq 0x3030
movq %rax, 0x8(%r14)
movq 0x30(%rsp), %rax
movq (%rax), %rax
incq %rax
movq %rax, (%r14)
movl $0x10, %edi
callq 0x32c0
movq %rax, %r15
movq 0x28(%rsp), %rax
movq %rax, (%r15)
movq 0x110(%rsp), %rdi
callq 0x3030
movq %rax, 0x8(%r15)
leaq 0x1(%r13), %rax
movq %rax, 0x1b0(%rsp)
cmpq %rax, (%rbp)
jle 0x4800
xorl %ebx, %ebx
movq 0xc8(%rsp), %r12
movq 0x8(%rbp), %rax
movq (%rax,%r13,8), %rsi
movq (%rax,%r12,8), %rdx
movq 0x118(%rsp), %rdi
callq 0x87c2
cmpl $-0x1, %eax
je 0x47e2
movq 0x8(%rbp), %rax
movq (%rax,%r12,8), %rax
movq 0x8(%r15), %rcx
movslq %ebx, %rbx
movq %rax, (%rcx,%rbx,8)
incl %ebx
incq %r12
cmpq %r12, (%rbp)
jg 0x47af
movslq %ebx, %rax
movq 0x168(%rsp), %r12
movq 0x1a8(%rsp), %rbx
jmp 0x4802
xorl %eax, %eax
movq %rax, (%r15)
movl $0x10, %edi
callq 0x32c0
movq %rax, %r13
movq %r14, (%rax)
movq %r15, 0x8(%rax)
movl $0x10, %edi
callq 0x32c0
movq %r13, (%rax)
movq 0x20(%rsp), %rcx
movq %rcx, 0x8(%rax)
movq (%rbp), %rcx
leaq -0x1(%rcx), %rdx
incq 0xc8(%rsp)
movq %rax, 0x20(%rsp)
movq 0x1b0(%rsp), %rsi
movq %rsi, %r13
cmpq %rsi, %rdx
jg 0x473d
movq %rax, 0x20(%rsp)
movl 0x1bc(%rsp), %r13d
jmp 0x4595
movq %rbx, %r14
movapd 0x140(%rsp), %xmm2
cvttsd2si %xmm2, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
movapd %xmm2, %xmm0
subsd 0x7782(%rip), %xmm0     # 0xc010
cvttsd2si %xmm0, %rsi
andq %rdx, %rsi
orq %rcx, %rsi
movq 0x180(%rsp), %rcx
movq %rbp, (%rcx,%rsi,8)
movslq %eax, %rcx
movq 0x28(%rsp), %r8
imulq $0x328, %r8, %rdx       # imm = 0x328
leaq 0xba15(%rip), %rdi      # 0x102d0
addq %rdi, %rdx
movsd (%rdx,%rcx,8), %xmm0
cvttsd2si %xmm0, %ecx
movq 0x1e0(%rsp), %rdx
movl %ecx, (%rdx,%rsi,4)
movq 0x240(%rsp), %rcx
movl %eax, (%rcx,%rsi,4)
movq 0x200(%rsp), %rax
movl %r8d, (%rax,%rsi,4)
movapd 0x1d0(%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, 0x1d0(%rsp)
xorps %xmm0, %xmm0
cvtsi2sd %r8, %xmm0
movapd 0x260(%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, 0x260(%rsp)
addsd %xmm3, %xmm2
xorps %xmm0, %xmm0
cvtsi2sd %r13d, %xmm0
movapd %xmm2, 0x140(%rsp)
ucomisd %xmm0, %xmm2
jne 0x45b8
jp 0x45b8
addl $0x989680, %r13d        # imm = 0x989680
movslq %r13d, %rbx
leaq 0x180(%rsp), %rdi
movq %rbx, %rsi
callq 0x716a
movq 0x30(%rsp), %rbp
leaq 0x1e0(%rsp), %rdi
movq %rbx, %rsi
callq 0x7138
leaq 0x240(%rsp), %rdi
movq %rbx, %rsi
callq 0x7138
leaq 0x200(%rsp), %rdi
movq %rbx, %rsi
callq 0x7138
movq 0x20(%rsp), %rbx
jmp 0x45c2
movq 0x118(%rsp), %rax
movq 0xc0(%rsp), %rcx
cmpq (%rax), %rcx
jl 0x440f
jmp 0x49f0
pxor %xmm0, %xmm0
movdqa %xmm0, 0x1c0(%rsp)
movdqa %xmm0, 0x260(%rsp)
movdqa %xmm0, 0x1d0(%rsp)
movdqa %xmm0, 0x170(%rsp)
movdqa %xmm0, 0x150(%rsp)
movdqa %xmm0, 0x140(%rsp)
callq 0x3060
subq 0x270(%rsp), %rax
movabsq $0x20c49ba5e353f7cf, %rcx # imm = 0x20C49BA5E353F7CF
imulq %rcx
movq %rdx, %r12
movq 0xb5bc(%rip), %rdi      # 0xffd0
leaq 0x76fd(%rip), %rsi      # 0xc118
movl $0xb, %edx
callq 0x3310
movq 0xb5a4(%rip), %rdi      # 0xffd0
movdqa 0x1c0(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0xb565(%rip), %rdi      # 0xffd0
leaq 0x77a2(%rip), %rsi      # 0xc214
movl $0x9, %edx
callq 0x3310
movq 0xb54d(%rip), %rdi      # 0xffd0
movdqa 0x140(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0xb50e(%rip), %rdi      # 0xffd0
leaq 0x766f(%rip), %rsi      # 0xc138
movl $0x13, %edx
callq 0x3310
movq 0xb4f6(%rip), %rdi      # 0xffd0
movdqa 0x170(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0xb4b7(%rip), %rdi      # 0xffd0
leaq 0x7604(%rip), %rsi      # 0xc124
movl $0x27, %edx
callq 0x3310
movapd 0x1c0(%rsp), %xmm0
addsd 0x140(%rsp), %xmm0
addsd 0x170(%rsp), %xmm0
movq 0xb484(%rip), %rdi      # 0xffd0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x90(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x218(%rsp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq 0x80(%rsp), %rdi
callq 0x7320
leaq 0x759f(%rip), %rsi      # 0xc14c
leaq 0x80(%rsp), %rdi
callq 0x3510
movl 0x277c0(%rsp), %eax
movl %eax, %ebp
negl %ebp
cmovsl %eax, %ebp
movl $0x1, %ebx
cmpl $0xa, %ebp
jb 0x4c16
movl $0x4, %ebx
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0x4c0f
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x4c14
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x4c16
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebx
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x4bde
addl $-0x3, %ebx
jmp 0x4c16
addl $-0x2, %ebx
jmp 0x4c16
decl %ebx
movl 0x277c0(%rsp), %eax
movl %eax, %r13d
shrl $0x1f, %r13d
leal (%rbx,%r13), %esi
leaq 0x70(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x60(%rsp), %rdi
movl $0x2d, %edx
callq 0x3320
movl %r13d, %r15d
movq 0x60(%rsp), %rdi
addq %r15, %rdi
movl %ebx, %esi
movl %ebp, %edx
callq 0x72b2
movq 0x80(%rsp), %rcx
movq 0x88(%rsp), %r8
movq 0x68(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r14, %rcx
je 0x4c7f
movq 0x90(%rsp), %rdi
movq 0x60(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x4ca2
movl $0xf, %edi
leaq 0x70(%rsp), %r9
cmpq %r9, %rsi
je 0x4c9d
movq 0x70(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x4cb1
leaq 0x80(%rsp), %rdi
callq 0x30f0
jmp 0x4cbf
leaq 0x60(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
leaq 0x48(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x4ce3
movq %rsi, 0x38(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x48(%rsp)
jmp 0x4ceb
movupd (%rcx), %xmm0
movupd %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x40(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x743d(%rip), %rsi      # 0xc14c
leaq 0x38(%rsp), %rdi
callq 0x3510
leaq 0xb0(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
movq %r15, 0x1a8(%rsp)
je 0x4d51
movq %rdx, 0xa0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xb0(%rsp)
jmp 0x4d59
movupd (%rcx), %xmm0
movupd %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0xa8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl 0x277c8(%rsp), %eax
movl %eax, %r15d
negl %r15d
cmovsl %eax, %r15d
movl $0x1, %ebx
cmpl $0xa, %r15d
jb 0x4dd5
movl $0x4, %ebx
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r15d, %ecx
cmpl $0x63, %ecx
jbe 0x4dce
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x4dd3
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x4dd5
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebx
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x4d9d
addl $-0x3, %ebx
jmp 0x4dd5
addl $-0x2, %ebx
jmp 0x4dd5
decl %ebx
movl 0x277c8(%rsp), %eax
movl %eax, %r14d
shrl $0x1f, %r14d
leal (%rbx,%r14), %esi
leaq 0x100(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0xf0(%rsp), %rdi
movl $0x2d, %edx
callq 0x3320
movq %r14, 0x168(%rsp)
movl %r14d, %eax
movq 0xf0(%rsp), %rdi
movq %rax, 0xc0(%rsp)
addq %rax, %rdi
movl %ebx, %esi
movl %r15d, %edx
callq 0x72b2
movq 0xa0(%rsp), %rcx
movq 0xa8(%rsp), %r8
movq 0xf8(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
leaq 0xb0(%rsp), %rsi
cmpq %rsi, %rcx
je 0x4e63
movq 0xb0(%rsp), %rdi
movq 0xf0(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x4e8f
movl $0xf, %edi
leaq 0x100(%rsp), %r9
cmpq %r9, %rsi
je 0x4e8a
movq 0x100(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x4e9e
leaq 0xa0(%rsp), %rdi
callq 0x30f0
jmp 0x4eaf
leaq 0xf0(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
leaq 0x130(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x4edc
movq %rsi, 0x120(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x130(%rsp)
jmp 0x4ee4
movupd (%rcx), %xmm0
movupd %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x128(%rsp)
movq %rcx, (%rax)
movq %r13, 0x1a0(%rsp)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x7239(%rip), %rsi      # 0xc14c
leaq 0x120(%rsp), %rdi
callq 0x3510
leaq 0x290(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4f50
movq %rdx, 0x280(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x290(%rsp)
jmp 0x4f5a
movupd (%rcx), %xmm0
movupd %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x288(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl 0x5c(%rsp), %eax
movl %eax, %ebx
negl %ebx
cmovsl %eax, %ebx
movl $0x1, %r14d
cmpl $0xa, %ebx
jb 0x4fd4
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebx, %ecx
cmpl $0x63, %ecx
jbe 0x4fcb
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x4fd1
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x4fd4
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x4f98
addl $-0x3, %r14d
jmp 0x4fd4
addl $-0x2, %r14d
jmp 0x4fd4
decl %r14d
movl %r15d, 0x110(%rsp)
movl %ebp, 0xc8(%rsp)
movl 0x5c(%rsp), %eax
movl %eax, %r15d
shrl $0x1f, %r15d
leal (%r14,%r15), %esi
leaq 0xe0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0xd0(%rsp), %rdi
movl $0x2d, %edx
callq 0x3320
movl %r15d, %edi
addq 0xd0(%rsp), %rdi
movl %r14d, %esi
movl %ebx, %edx
callq 0x72b2
movq 0x280(%rsp), %rcx
movq 0x288(%rsp), %r8
movq 0xd8(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x5053
movq 0x290(%rsp), %rdi
movq 0xd0(%rsp), %rsi
cmpq %rdi, %rax
leaq 0x90(%rsp), %r15
jbe 0x5087
movl $0xf, %edi
leaq 0xe0(%rsp), %r9
cmpq %r9, %rsi
je 0x5082
movq 0xe0(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x5096
leaq 0x280(%rsp), %rdi
callq 0x30f0
jmp 0x50a7
leaq 0xd0(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
leaq 0x490(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x50d4
movq %rsi, 0x480(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x490(%rsp)
jmp 0x50dc
movupd (%rcx), %xmm0
movupd %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x488(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x704b(%rip), %rsi      # 0xc14e
leaq 0x480(%rsp), %rdi
callq 0x3510
leaq 0x230(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5140
movq %rdx, 0x220(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x230(%rsp)
jmp 0x5148
movupd (%rcx), %xmm0
movupd %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x228(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x490(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5184
movq 0x490(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
cmpq %rax, %rdi
je 0x51a9
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x280(%rsp), %rdi
cmpq %r13, %rdi
je 0x51c6
movq 0x290(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x130(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x51e7
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xf0(%rsp), %rdi
leaq 0x100(%rsp), %rax
cmpq %rax, %rdi
je 0x520c
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x5231
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x48(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x524c
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x5268
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x80(%rsp), %rdi
cmpq %r15, %rdi
je 0x5285
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x6ec8(%rip), %rsi      # 0xc154
leaq 0x120(%rsp), %rdi
leaq 0x220(%rsp), %rdx
callq 0x719b
movq 0x120(%rsp), %rsi
movq 0x128(%rsp), %rdx
movq 0xad18(%rip), %rdi      # 0xffd0
callq 0x3310
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x480(%rsp), %rdi
callq 0x34a0
leaq 0x480(%rsp), %rdi
leaq 0x120(%rsp), %rsi
movl $0x10, %edx
callq 0x3140
leaq 0x4f0(%rsp), %rdi
callq 0x30b0
testb %al, %al
je 0x62f0
movq 0x120(%rsp), %rsi
leaq 0x6e36(%rip), %rdi      # 0xc168
xorl %eax, %eax
callq 0x3050
leaq 0x6e39(%rip), %rsi      # 0xc179
leaq 0x480(%rsp), %rbx
movl $0x19, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x480(%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
leaq 0x480(%rsp), %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x480(%rsp), %rax
movq -0x18(%rax), %rax
movq $0x2, 0x488(%rsp,%rax)
xorpd %xmm0, %xmm0
movapd 0x140(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x53b7
jnp 0x5690
movq $0x1, 0xa0(%rsp)
movq 0x1e0(%rsp), %rsi
movq 0x1e8(%rsp), %rdx
leaq 0x280(%rsp), %rdi
callq 0x7c38
movq %r12, 0x160(%rsp)
cmpl $0x0, 0x5c(%rsp)
jle 0x56df
xorps %xmm0, %xmm0
cvtsi2sdl 0x277c0(%rsp), %xmm0
movsd %xmm0, 0x30(%rsp)
xorl %r12d, %r12d
callq 0x3060
movq %rax, 0x1b0(%rsp)
xorpd %xmm0, %xmm0
cmpl $0x0, 0x277c0(%rsp)
jle 0x5575
movsd %xmm0, 0x28(%rsp)
xorl %r15d, %r15d
leaq 0x280(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
movq %rdi, %rdx
callq 0x8060
cltq
movq 0x240(%rsp), %rcx
movslq (%rcx,%rax,4), %r14
movq 0x180(%rsp), %rcx
movq (%rcx,%rax,8), %r13
movq (%r13), %rdx
testq %rdx, %rdx
je 0x54e1
shlq $0x3, %rdx
leaq 0x680(%rsp), %rdi
leaq 0x13f00(%rsp), %rsi
callq 0x3210
movq (%r13), %rbp
cmpq $0x2, %rbp
jb 0x54e1
shlq $0x3, %rbp
movl $0x8, %ebx
callq 0x30d0
cltq
movq %rbx, %rcx
sarq $0x3, %rcx
incq %rcx
cqto
idivq %rcx
leaq (,%rdx,8), %rax
cmpq %rax, %rbx
je 0x54d8
leaq (%rsp,%rbx), %rax
addq $0x680, %rax            # imm = 0x680
leaq 0x680(%rsp,%rdx,8), %rcx
movq (%rax), %rdx
movq (%rcx), %rsi
movq %rsi, (%rax)
movq %rdx, (%rcx)
addq $0x8, %rbx
cmpq %rbx, %rbp
jne 0x5497
movl $0x8, %esi
movq %r14, %rdi
callq 0x31a0
movq %rax, %rbp
testl %r14d, %r14d
jle 0x5515
movq 0x8(%r13), %rax
xorl %ecx, %ecx
movq 0x680(%rsp,%rcx,8), %rdx
movq (%rax,%rdx,8), %rdx
movq %rdx, (%rbp,%rcx,8)
incq %rcx
cmpq %rcx, %r14
jne 0x54fc
movq %rbp, %rdi
movl %r14d, %esi
movq 0x118(%rsp), %rdx
callq 0x401a
movsd 0x28(%rsp), %xmm0
movapd %xmm0, %xmm1
addsd 0x6ace(%rip), %xmm1     # 0xc008
testb %al, %al
jne 0x5542
movapd %xmm0, %xmm1
movsd %xmm1, 0x20(%rsp)
movq %rbp, %rdi
callq 0x3340
movsd 0x20(%rsp), %xmm0
incl %r15d
movsd %xmm0, 0x28(%rsp)
cmpl 0x277c0(%rsp), %r15d
leaq 0x290(%rsp), %r13
jne 0x5430
movsd %xmm0, 0x20(%rsp)
callq 0x3060
subq 0x1b0(%rsp), %rax
movabsq $0x20c49ba5e353f7cf, %rcx # imm = 0x20C49BA5E353F7CF
imulq %rcx
movq %rdx, %r14
movapd 0x1d0(%rsp), %xmm0
mulsd 0x20(%rsp), %xmm0
divsd 0x30(%rsp), %xmm0
addsd 0x150(%rsp), %xmm0
leaq 0x278(%rsp), %rdi
callq 0x34d0
movsd 0x278(%rsp), %xmm0
leaq 0x480(%rsp), %rdi
movsd %xmm0, 0x28(%rsp)
callq 0x3460
leaq 0x90(%rsp), %r15
movq %rax, %rbp
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6b9f(%rip), %rsi      # 0xc198
callq 0x3310
movsd 0x20(%rsp), %xmm0
divsd 0x30(%rsp), %xmm0
movq %rbp, %rdi
callq 0x3460
movq %rax, %rbp
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6b74(%rip), %rsi      # 0xc198
callq 0x3310
movq %r14, %rax
shrq $0x3f, %rax
sarq $0x7, %r14
addq %rax, %r14
movq %rbp, %rdi
movq %r14, %rsi
callq 0x3270
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6b44(%rip), %rsi      # 0xc198
callq 0x3310
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
incl %r12d
cmpl 0x5c(%rsp), %r12d
jne 0x5408
jmp 0x56df
leaq 0x6afc(%rip), %rsi      # 0xc193
leaq 0x480(%rsp), %rbx
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x480(%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
leaq 0x480(%rsp), %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
jmp 0x5721
movq 0x298(%rsp), %rdi
testq %rdi, %rdi
je 0x56fc
movq 0x2a8(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x280(%rsp), %rdi
testq %rdi, %rdi
movq 0x160(%rsp), %r12
je 0x5721
movq 0x290(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
leaq 0x480(%rsp), %rdi
callq 0x33b0
leaq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
movq %rax, (%rdi)
movq 0x218(%rsp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
callq 0x7320
leaq 0x69f3(%rip), %rsi      # 0xc14c
leaq 0x60(%rsp), %rdi
callq 0x3510
movl $0x1, %ebx
cmpl $0xa, 0xc8(%rsp)
jb 0x57bb
movl $0x4, %ebx
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl 0xc8(%rsp), %ecx
cmpl $0x63, %ecx
jbe 0x57b4
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x57b9
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x57bb
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebx
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x5783
addl $-0x3, %ebx
jmp 0x57bb
addl $-0x2, %ebx
jmp 0x57bb
decl %ebx
movq 0x1a0(%rsp), %rsi
addl %ebx, %esi
leaq 0xf0(%rsp), %rdi
leaq 0x100(%rsp), %rax
movq %rax, (%rdi)
movl $0x2d, %edx
callq 0x3320
movq 0x1a8(%rsp), %rdi
addq 0xf0(%rsp), %rdi
movl %ebx, %esi
movl 0xc8(%rsp), %edx
callq 0x72b2
movq 0x60(%rsp), %rcx
movq 0x68(%rsp), %r8
movq 0xf8(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
leaq 0x70(%rsp), %rsi
cmpq %rsi, %rcx
je 0x582a
movq 0x70(%rsp), %rdi
movq 0xf0(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x5856
movl $0xf, %edi
leaq 0x100(%rsp), %r9
cmpq %r9, %rsi
je 0x5851
movq 0x100(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x5862
leaq 0x60(%rsp), %rdi
callq 0x30f0
jmp 0x5873
leaq 0xf0(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
movq %r15, 0x80(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x589c
movq %rdx, 0x80(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x90(%rsp)
jmp 0x58a5
movupd (%rcx), %xmm0
movupd %xmm0, (%r15)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x88(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x6880(%rip), %rsi      # 0xc14c
leaq 0x80(%rsp), %rdi
callq 0x3510
leaq 0x48(%rsp), %rsi
movq %rsi, 0x38(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5901
movq %rdx, 0x38(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x48(%rsp)
jmp 0x5909
movupd (%rcx), %xmm0
movupd %xmm0, (%rsi)
movq 0x168(%rsp), %rsi
movq 0x8(%rax), %rdx
movq %rdx, 0x40(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl $0x1, %ebx
cmpl $0xa, 0x110(%rsp)
jb 0x5981
movl $0x4, %ebx
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl 0x110(%rsp), %ecx
cmpl $0x63, %ecx
jbe 0x597a
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x597f
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x5981
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebx
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x5949
addl $-0x3, %ebx
jmp 0x5981
addl $-0x2, %ebx
jmp 0x5981
decl %ebx
addl %ebx, %esi
leaq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
movq %rax, (%rdi)
movl $0x2d, %edx
callq 0x3320
movq 0xc0(%rsp), %rdi
addq 0xd0(%rsp), %rdi
movl %ebx, %esi
movl 0x110(%rsp), %edx
callq 0x72b2
movq 0x38(%rsp), %rcx
movq 0x40(%rsp), %r8
movq 0xd8(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
leaq 0x48(%rsp), %rsi
cmpq %rsi, %rcx
je 0x59e8
movq 0x48(%rsp), %rdi
movq 0xd0(%rsp), %rsi
cmpq %rdi, %rax
jbe 0x5a14
movl $0xf, %edi
leaq 0xe0(%rsp), %r9
cmpq %r9, %rsi
je 0x5a0f
movq 0xe0(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x5a20
leaq 0x38(%rsp), %rdi
callq 0x30f0
jmp 0x5a31
leaq 0xd0(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
movq %r13, 0x280(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x5a5a
movq %rdx, 0x280(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x290(%rsp)
jmp 0x5a64
movupd (%rcx), %xmm0
movupd %xmm0, (%r13)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x288(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x670f(%rip), %rsi      # 0xc19a
leaq 0x280(%rsp), %rdi
callq 0x3510
leaq 0xb0(%rsp), %rsi
movq %rsi, 0xa0(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5acc
movq %rdx, 0xa0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xb0(%rsp)
jmp 0x5ad4
movupd (%rcx), %xmm0
movupd %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0xa8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x280(%rsp), %rdi
cmpq %r13, %rdi
je 0x5b0c
movq 0x290(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
cmpq %rax, %rdi
je 0x5b31
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x5b4d
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x80(%rsp), %rdi
cmpq %r15, %rdi
je 0x5b6a
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xf0(%rsp), %rdi
leaq 0x100(%rsp), %rax
cmpq %rax, %rdi
je 0x5b8f
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x5bab
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x65a2(%rip), %rsi      # 0xc154
leaq 0x38(%rsp), %rdi
leaq 0xa0(%rsp), %rdx
callq 0x719b
movq 0x38(%rsp), %rsi
movq 0x40(%rsp), %rdx
movq 0xa3fb(%rip), %rdi      # 0xffd0
callq 0x3310
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x280(%rsp), %rdi
callq 0x34a0
leaq 0x280(%rsp), %rdi
leaq 0x38(%rsp), %rsi
movl $0x10, %edx
callq 0x3140
leaq 0x2f0(%rsp), %rdi
callq 0x30b0
testb %al, %al
je 0x6316
movq 0x38(%rsp), %rsi
leaq 0x651f(%rip), %rdi      # 0xc168
xorl %eax, %eax
callq 0x3050
leaq 0x654b(%rip), %rsi      # 0xc1a2
leaq 0x280(%rsp), %rdi
movl $0x9, %edx
callq 0x3310
leaq 0x6546(%rip), %rsi      # 0xc1b6
leaq 0x280(%rsp), %rdi
movl $0x7, %edx
callq 0x3310
leaq 0x6523(%rip), %rsi      # 0xc1ac
leaq 0x280(%rsp), %rdi
movl $0x11, %edx
callq 0x3310
leaq 0x651c(%rip), %rsi      # 0xc1be
leaq 0x280(%rsp), %rdi
movl $0xc, %edx
callq 0x3310
leaq 0x6510(%rip), %rsi      # 0xc1cb
leaq 0x280(%rsp), %rdi
movl $0x2, %edx
callq 0x3310
leaq 0x64fa(%rip), %rsi      # 0xc1ce
leaq 0x280(%rsp), %rdi
movl $0x7, %edx
callq 0x3310
leaq 0x64e9(%rip), %rsi      # 0xc1d6
leaq 0x280(%rsp), %rbx
movl $0xc, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x280(%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
leaq 0x280(%rsp), %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x280(%rsp), %rdi
movapd 0x1c0(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
leaq 0x6445(%rip), %rsi      # 0xc198
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
movapd 0x140(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
leaq 0x641d(%rip), %rsi      # 0xc198
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
movapd 0x170(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
leaq 0x63f5(%rip), %rsi      # 0xc198
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
movapd 0x260(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
leaq 0x63cd(%rip), %rsi      # 0xc198
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
movapd 0x1d0(%rsp), %xmm0
callq 0x3460
leaq 0x63a8(%rip), %rsi      # 0xc198
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %r12, %rax
shrq $0x3f, %rax
sarq $0x7, %r12
addq %rax, %r12
leaq 0x280(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x3270
movq %rax, %r14
leaq 0x6370(%rip), %rsi      # 0xc198
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %r14, %rdi
movl 0x277c0(%rsp), %esi
callq 0x34b0
movq %rax, %r14
leaq 0x634a(%rip), %rsi      # 0xc198
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %r14, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x280(%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
leaq 0x280(%rsp), %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x280(%rsp), %rdi
callq 0x33b0
xorpd %xmm0, %xmm0
movapd 0x140(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x5f27
xorl %ebx, %ebx
movq 0x180(%rsp), %rax
movq (%rax,%rbx,8), %rdi
cmpq $0x0, (%rdi)
js 0x5f04
movq 0x8(%rdi), %rax
testq %rax, %rax
je 0x5f04
movq %rax, %rdi
callq 0x3370
movq 0x180(%rsp), %rax
movq (%rax,%rbx,8), %rdi
movl $0x10, %esi
callq 0x32d0
incq %rbx
xorps %xmm0, %xmm0
cvtsi2sd %ebx, %xmm0
movapd 0x140(%rsp), %xmm1
ucomisd %xmm0, %xmm1
ja 0x5ed5
movq 0xa0a2(%rip), %rdi      # 0xffd0
leaq 0x62ae(%rip), %rsi      # 0xc1e3
movl $0xe, %edx
callq 0x3310
movq 0xa08a(%rip), %rdi      # 0xffd0
movl 0x277c8(%rsp), %esi
callq 0x34b0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0xa04d(%rip), %rdi      # 0xffd0
leaq 0x6268(%rip), %rsi      # 0xc1f2
movl $0x10, %edx
callq 0x3310
movq 0xa035(%rip), %rdi      # 0xffd0
movapd 0x140(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x9ff6(%rip), %rdi      # 0xffd0
leaq 0x6222(%rip), %rsi      # 0xc203
movl $0x1a, %edx
callq 0x3310
movq 0x9fde(%rip), %rdi      # 0xffd0
movapd 0x170(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x9f9f(%rip), %rdi      # 0xffd0
leaq 0x61e6(%rip), %rsi      # 0xc21e
movl $0x1d, %edx
callq 0x3310
movq 0x9f87(%rip), %rdi      # 0xffd0
movapd 0x150(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x9f48(%rip), %rdi      # 0xffd0
leaq 0x61ad(%rip), %rsi      # 0xc23c
movl $0x1e, %edx
callq 0x3310
movq 0x9f30(%rip), %rdi      # 0xffd0
movsd 0x28(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x9ef4(%rip), %rdi      # 0xffd0
leaq 0x6178(%rip), %rsi      # 0xc25b
movl $0x4, %edx
callq 0x3310
movq 0x9edc(%rip), %rdi      # 0xffd0
movapd 0x1d0(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x9e9d(%rip), %rdi      # 0xffd0
leaq 0x6126(%rip), %rsi      # 0xc260
movl $0x19, %edx
callq 0x3310
movq 0x9e85(%rip), %rdi      # 0xffd0
movq %r12, %rsi
callq 0x3270
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x9e44(%rip), %rax      # 0xffc8
movq (%rax), %rbx
movq 0x18(%rax), %r14
leaq 0x288(%rsp), %rdi
movq %rbx, -0x8(%rdi)
movq -0x18(%rbx), %rax
movq %r14, 0x280(%rsp,%rax)
callq 0x3220
leaq 0x378(%rsp), %rdi
callq 0x3100
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x61d1
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x61f6
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x488(%rsp), %rdi
movq %rbx, -0x8(%rdi)
movq -0x18(%rbx), %rax
movq %r14, 0x480(%rsp,%rax)
callq 0x3220
leaq 0x578(%rsp), %rdi
callq 0x3100
movq 0x120(%rsp), %rdi
leaq 0x130(%rsp), %rax
cmpq %rax, %rdi
je 0x6245
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x220(%rsp), %rdi
leaq 0x230(%rsp), %rax
cmpq %rax, %rdi
je 0x626a
movq 0x230(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
je 0x6287
movq 0x1f0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x180(%rsp), %rdi
testq %rdi, %rdi
je 0x62a4
movq 0x190(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0x62c1
movq 0x210(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x240(%rsp), %rdi
testq %rdi, %rdi
je 0x62de
movq 0x250(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
addq $0x27788, %rsp          # imm = 0x27788
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x9cd9(%rip), %rdi      # 0xffd0
leaq 0x5ddb(%rip), %rsi      # 0xc0d9
movl $0x1b, %edx
callq 0x3310
movq 0x9cc1(%rip), %rdi      # 0xffd0
callq 0x3150
jmp 0x633a
movq 0x9cb3(%rip), %rdi      # 0xffd0
leaq 0x5db5(%rip), %rsi      # 0xc0d9
movl $0x1b, %edx
callq 0x3310
movq 0x9c9b(%rip), %rdi      # 0xffd0
callq 0x3150
movl $0x1, %edi
callq 0x3350
jmp 0x65df
jmp 0x65d2
movq %rax, %rbx
jmp 0x661f
movq %rax, %rbx
movq 0x280(%rsp), %rdi
cmpq %r13, %rdi
je 0x637b
movq 0x290(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x637b
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
cmpq %rax, %rdi
je 0x63a5
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x63a5
movq %rax, %rbx
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x63c6
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x63c6
movq %rax, %rbx
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x63f0
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x63f0
movq %rax, %rbx
movq 0xf0(%rsp), %rdi
leaq 0x100(%rsp), %rax
cmpq %rax, %rdi
je 0x641c
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x641c
jmp 0x6419
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x665c
movq 0x70(%rsp), %rsi
jmp 0x663c
jmp 0x65df
jmp 0x65d7
movq %rax, %rbx
jmp 0x668e
movq %rax, %rbx
leaq 0x490(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x6474
movq 0x490(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6474
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
cmpq %rax, %rdi
je 0x649e
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x649e
movq %rax, %rbx
movq 0x280(%rsp), %rdi
leaq 0x290(%rsp), %rax
cmpq %rax, %rdi
je 0x64c8
movq 0x290(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x64c8
movq %rax, %rbx
leaq 0x130(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x64ee
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x64ee
movq %rax, %rbx
movq 0xf0(%rsp), %rdi
leaq 0x100(%rsp), %rax
cmpq %rax, %rdi
je 0x6518
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6518
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x6542
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6542
movq %rax, %rbx
leaq 0x48(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x6562
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6562
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x6583
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6583
movq %rax, %rbx
movq 0x80(%rsp), %rdi
leaq 0x90(%rsp), %rax
cmpq %rax, %rdi
je 0x66c0
movq 0x90(%rsp), %rsi
jmp 0x66ab
movq %rax, %rbx
movq 0x80(%rsp), %rdi
cmpq %r14, %rdi
jne 0x659c
jmp 0x66c0
jmp 0x66bd
jmp 0x66bd
movq %rax, %rbx
jmp 0x66fa
jmp 0x65df
movq %rax, %rbx
jmp 0x6603
movq %rax, %rbx
jmp 0x6669
movq %rax, %rbx
jmp 0x665c
jmp 0x66bd
jmp 0x66bd
jmp 0x66bd
movq %rax, %rbx
leaq 0x280(%rsp), %rdi
callq 0x33e0
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x661f
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0x665c
movq 0xb0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x665c
jmp 0x66bd
jmp 0x664c
jmp 0x664c
movq %rax, %rbx
leaq 0x280(%rsp), %rdi
callq 0x7224
leaq 0x480(%rsp), %rdi
callq 0x33e0
movq 0x120(%rsp), %rdi
leaq 0x130(%rsp), %rax
cmpq %rax, %rdi
je 0x668e
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x220(%rsp), %rdi
leaq 0x230(%rsp), %rax
cmpq %rax, %rdi
je 0x66c0
movq 0x230(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x66c0
jmp 0x66bd
jmp 0x66bd
jmp 0x66bd
jmp 0x66bd
movq %rax, %rbx
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
je 0x66dd
movq 0x1f0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x180(%rsp), %rdi
testq %rdi, %rdi
je 0x66fa
movq 0x190(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0x6717
movq 0x210(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x240(%rsp), %rdi
testq %rdi, %rdi
je 0x6734
movq 0x250(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq %rbx, %rdi
callq 0x34c0