// File: /workspace/github_cpp_makefile_star2_O1/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 $0x27798, %rsp          # imm = 0x27798
movl %r9d, 0x2c(%rsp)
movq %rcx, 0x220(%rsp)
movq %rsi, 0x160(%rsp)
movq %rdi, 0x118(%rsp)
callq 0x3060
movq %rax, 0x288(%rsp)
xorl %eax, %eax
leaq 0x250(%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 0x71d8
leaq 0x200(%rsp), %rdi
movl $0x989680, %esi         # imm = 0x989680
callq 0x71d8
xorl %eax, %eax
movq %rax, 0x13f10(%rsp,%rax,8)
incq %rax
cmpq $0x2710, %rax           # imm = 0x2710
jne 0x439b
xorl %edi, %edi
callq 0x3250
movl %eax, %edi
callq 0x3280
movl $0x10, %edi
callq 0x32c0
movq %rax, %r15
xorpd %xmm0, %xmm0
movupd %xmm0, (%rax)
xorl %eax, %eax
movq %rax, 0x190(%rsp)
movapd %xmm0, 0x180(%rsp)
leaq 0x1e0(%rsp), %rdi
movq %rax, 0x10(%rdi)
movapd %xmm0, (%rdi)
movl $0x989680, %esi         # imm = 0x989680
callq 0x71d8
leaq 0x180(%rsp), %rdi
movl $0x989680, %esi         # imm = 0x989680
callq 0x720a
movq 0x118(%rsp), %rax
cmpq $0x0, (%rax)
jle 0x4a62
movslq 0x277d8(%rsp), %r13
leal -0x1(%r13), %eax
cltq
movq %rax, 0x1a0(%rsp)
movl $0x989680, %r14d        # imm = 0x989680
xorpd %xmm0, %xmm0
movapd %xmm0, 0x140(%rsp)
movapd %xmm0, 0x150(%rsp)
movapd %xmm0, 0x170(%rsp)
movapd %xmm0, 0x1d0(%rsp)
movq $0x0, 0xb0(%rsp)
movapd %xmm0, 0x270(%rsp)
movapd %xmm0, 0x1c0(%rsp)
movq %r15, 0xb8(%rsp)
movq %r13, 0x110(%rsp)
movl %r14d, %ebp
movl $0x10, %edi
callq 0x32c0
movq %rax, %rbx
xorpd %xmm0, %xmm0
movapd %xmm0, (%rax)
movq $0x1, (%rax)
movl $0x8, %edi
callq 0x3030
movq %rax, 0x8(%rbx)
movq 0xb0(%rsp), %rcx
movq %rcx, (%rax)
movq 0x160(%rsp), %rax
movq 0x10(%rax), %r14
movq (%r14,%rcx,8), %r13
movq 0x8(%r14,%rcx,8), %r12
movl $0x10, %edi
callq 0x32c0
movq %rax, %r15
subq %r13, %r12
xorpd %xmm0, %xmm0
movapd %xmm0, (%rax)
movq %r12, (%rax)
leaq (,%r12,8), %rdi
movabsq $0x1fffffffffffffff, %rax # imm = 0x1FFFFFFFFFFFFFFF
cmpq %rax, %r12
movq $-0x1, %rax
cmovaq %rax, %rdi
callq 0x3030
movq %rax, 0x8(%r15)
movq 0xb0(%rsp), %rcx
movq (%r14,%rcx,8), %rsi
incq %rcx
shlq $0x3, %rsi
movq %rcx, 0xb0(%rsp)
movq (%r14,%rcx,8), %rdx
shlq $0x3, %rdx
subq %rsi, %rdx
je 0x4561
movq 0x160(%rsp), %rcx
addq 0x18(%rcx), %rsi
movq %rax, %rdi
callq 0x3470
movl $0x10, %edi
callq 0x32c0
movq %rax, %r12
movq %rbx, (%rax)
movq %r15, 0x8(%rax)
movl $0x10, %edi
callq 0x32c0
movq %r12, (%rax)
movq 0xb8(%rsp), %r15
movq (%r15), %rsi
movq %rsi, 0x8(%rax)
movl 0x8(%r15), %ecx
leal 0x1(%rcx), %edx
movl %edx, 0x8(%r15)
movq %rsi, (%r15)
xorl %edx, %edx
movq %rdx, 0x8(%rax)
movl %ecx, 0x8(%r15)
movq %rdx, 0x490(%rsp)
movq 0x110(%rsp), %r13
movl %ebp, %r14d
movq %rax, %rcx
movq %rcx, 0x168(%rsp)
movq (%rcx), %rax
movq (%rax), %rcx
movq 0x8(%rax), %rbp
movq %rcx, 0x20(%rsp)
movq (%rcx), %rbx
movq (%rbp), %r12
movq 0x118(%rsp), %rax
movupd (%rax), %xmm0
movupd 0x10(%rax), %xmm1
movupd %xmm1, 0x10(%rsp)
movupd %xmm0, (%rsp)
movq %rbp, %rdi
leaq 0x490(%rsp), %rsi
callq 0x4129
movq %r12, 0xc8(%rsp)
leaq (%r12,%rbx), %rax
cmpq %r13, %rax
jge 0x4636
movapd 0x170(%rsp), %xmm0
addsd 0x79dd(%rip), %xmm0     # 0xc008
movapd %xmm0, 0x170(%rsp)
jmp 0x46a1
cmpq %r13, %rbx
jne 0x4657
movapd 0x150(%rsp), %xmm0
addsd 0x79bc(%rip), %xmm0     # 0xc008
movapd %xmm0, 0x150(%rsp)
jmp 0x46a1
cmpq 0x1a0(%rsp), %rbx
jne 0x466c
xorps %xmm0, %xmm0
cvtsi2sdq (%rbp), %xmm0
jmp 0x468b
movl 0x277d8(%rsp), %eax
subl %ebx, %eax
cmpl $0x2, %eax
jne 0x4743
xorps %xmm0, %xmm0
cvtsi2sdq 0x490(%rsp), %xmm0
movapd 0x150(%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, 0x150(%rsp)
movb $0x1, %al
movq 0x20(%rsp), %rbx
testb %al, %al
je 0x46ce
cmpq $0x0, (%rbp)
js 0x46c1
movq 0x8(%rbp), %rdi
testq %rdi, %rdi
je 0x46c1
callq 0x3370
movl $0x10, %esi
movq %rbp, %rdi
callq 0x32d0
cmpq $0x0, (%rbx)
jle 0x46e2
movq 0x8(%rbx), %rdi
testq %rdi, %rdi
je 0x46e2
callq 0x3370
movl $0x10, %esi
movq %rbx, %rdi
callq 0x32d0
movq 0x168(%rsp), %rbx
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x4709
movl $0x10, %esi
callq 0x32d0
movl $0x10, %esi
movq %rbx, %rdi
callq 0x32d0
movq (%r15), %rcx
testq %rcx, %rcx
je 0x4733
movq 0x8(%rcx), %rax
movq %rax, (%r15)
movq $0x0, 0x8(%rcx)
decl 0x8(%r15)
jmp 0x4735
xorl %ecx, %ecx
testq %rcx, %rcx
jne 0x45bf
jmp 0x4a47
leal -0x1(%rax), %ecx
xorps %xmm1, %xmm1
cvtsi2sd %ecx, %xmm1
movsd 0x78b3(%rip), %xmm3     # 0xc008
movapd %xmm3, %xmm2
divsd %xmm1, %xmm2
movapd %xmm3, %xmm1
subsd %xmm2, %xmm1
ucomisd %xmm1, %xmm0
jae 0x4921
movapd 0x1c0(%rsp), %xmm0
addsd %xmm3, %xmm0
movapd %xmm0, 0x1c0(%rsp)
movb $0x1, %al
cmpq $0x2, (%rbp)
movq 0x20(%rsp), %rbx
jl 0x46a8
movl %r14d, 0x1bc(%rsp)
movq 0xc8(%rsp), %rcx
leaq (,%rcx,8), %rdx
movabsq $0x1fffffffffffffff, %rax # imm = 0x1FFFFFFFFFFFFFFF
cmpq %rax, %rcx
movq $-0x1, %rax
cmovaq %rax, %rdx
movq %rdx, 0x1a8(%rsp)
movl $0x1, %eax
movq %rax, 0xc0(%rsp)
xorl %r14d, %r14d
movl $0x10, %edi
callq 0x32c0
movq %rax, %r12
xorpd %xmm0, %xmm0
movapd %xmm0, (%rax)
movq $0x1, (%rax)
movl $0x8, %edi
callq 0x3030
movq %rax, 0x8(%r12)
movq (%rbx), %rax
incq %rax
movq %rax, (%r12)
movl $0x10, %edi
callq 0x32c0
movq %rax, %r13
movq 0xc8(%rsp), %rax
xorpd %xmm0, %xmm0
movapd %xmm0, (%r13)
movq %rax, (%r13)
movq 0x1a8(%rsp), %rdi
callq 0x3030
movq %rax, 0x8(%r13)
leaq 0x1(%r14), %rax
cmpq %rax, (%rbp)
movq %rax, 0x1b0(%rsp)
jle 0x48aa
xorl %ebx, %ebx
movq 0xc0(%rsp), %r15
movq 0x8(%rbp), %rax
movq (%rax,%r14,8), %rsi
movq (%rax,%r15,8), %rdx
movq 0x118(%rsp), %rdi
callq 0x8856
cmpl $-0x1, %eax
je 0x4897
movq 0x8(%rbp), %rax
movq (%rax,%r15,8), %rax
movq 0x8(%r13), %rcx
movslq %ebx, %rbx
movq %rax, (%rcx,%rbx,8)
incl %ebx
incq %r15
cmpq %r15, (%rbp)
jg 0x4864
movslq %ebx, %rax
movq 0x20(%rsp), %rbx
jmp 0x48ac
xorl %eax, %eax
movq %rax, (%r13)
movl $0x10, %edi
callq 0x32c0
movq %rax, %r14
movq %r12, (%rax)
movq %r13, 0x8(%rax)
movl $0x10, %edi
callq 0x32c0
movq %r14, (%rax)
movq 0xb8(%rsp), %r15
movq (%r15), %rcx
movq %rcx, 0x8(%rax)
movq %rax, (%r15)
incl 0x8(%r15)
movq (%rbp), %rax
decq %rax
incq 0xc0(%rsp)
movq 0x1b0(%rsp), %rcx
movq %rcx, %r14
cmpq %rcx, %rax
movq 0x110(%rsp), %r13
jg 0x47df
movl 0x1bc(%rsp), %r14d
movb $0x1, %al
jmp 0x46a8
movapd 0x140(%rsp), %xmm2
cvttsd2si %xmm2, %rcx
movq %rcx, %rdx
sarq $0x3f, %rdx
movapd %xmm2, %xmm0
subsd 0x76ce(%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 0xc8(%rsp), %r8
imulq $0x328, %r8, %rdx       # imm = 0x328
leaq 0xb95e(%rip), %rdi      # 0x102d0
addq %rdi, %rdx
movsd (%rdx,%rcx,8), %xmm0
cvttsd2si %xmm0, %ecx
movq 0x1e0(%rsp), %rdx
movl %ecx, (%rdx,%rsi,4)
movq 0x250(%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 0x270(%rsp), %xmm1
addsd %xmm0, %xmm1
movapd %xmm1, 0x270(%rsp)
addsd %xmm3, %xmm2
xorps %xmm0, %xmm0
cvtsi2sd %r14d, %xmm0
movapd %xmm2, 0x140(%rsp)
ucomisd %xmm0, %xmm2
movq 0x20(%rsp), %rbx
jne 0x4a40
jp 0x4a40
addl $0x989680, %r14d        # imm = 0x989680
movslq %r14d, %r12
leaq 0x180(%rsp), %rdi
movq %r12, %rsi
callq 0x720a
leaq 0x1e0(%rsp), %rdi
movq %r12, %rsi
callq 0x71d8
leaq 0x250(%rsp), %rdi
movq %r12, %rsi
callq 0x71d8
leaq 0x200(%rsp), %rdi
movq %r12, %rsi
callq 0x71d8
xorl %eax, %eax
jmp 0x46a8
movq 0x118(%rsp), %rax
movq 0xb0(%rsp), %rcx
cmpq (%rax), %rcx
jl 0x4494
jmp 0x4a9c
xorpd %xmm0, %xmm0
movapd %xmm0, 0x1c0(%rsp)
movapd %xmm0, 0x270(%rsp)
movapd %xmm0, 0x1d0(%rsp)
movapd %xmm0, 0x170(%rsp)
movapd %xmm0, 0x150(%rsp)
movapd %xmm0, 0x140(%rsp)
callq 0x3060
subq 0x288(%rsp), %rax
movabsq $0x20c49ba5e353f7cf, %rcx # imm = 0x20C49BA5E353F7CF
imulq %rcx
movq %rdx, %r12
movq 0xb510(%rip), %rdi      # 0xffd0
leaq 0x7641(%rip), %rsi      # 0xc108
movl $0xb, %edx
callq 0x3310
movq 0xb4f8(%rip), %rdi      # 0xffd0
movapd 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 0xb4b9(%rip), %rdi      # 0xffd0
leaq 0x76e6(%rip), %rsi      # 0xc204
movl $0x9, %edx
callq 0x3310
movq 0xb4a1(%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 0xb462(%rip), %rdi      # 0xffd0
leaq 0x75b3(%rip), %rsi      # 0xc128
movl $0x13, %edx
callq 0x3310
movq 0xb44a(%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 0xb40b(%rip), %rdi      # 0xffd0
leaq 0x7548(%rip), %rsi      # 0xc114
movl $0x27, %edx
callq 0x3310
movapd 0x1c0(%rsp), %xmm0
addsd 0x140(%rsp), %xmm0
addsd 0x170(%rsp), %xmm0
movq 0xb3d8(%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 0x80(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x220(%rsp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq 0x70(%rsp), %rdi
callq 0x73bc
leaq 0x74e6(%rip), %rsi      # 0xc13c
leaq 0x70(%rsp), %rdi
callq 0x3510
movl 0x277d0(%rsp), %eax
movl %eax, %ebp
negl %ebp
cmovsl %eax, %ebp
movl $0x1, %ebx
cmpl $0xa, %ebp
jb 0x4cbc
movl $0x4, %ebx
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebp, %ecx
cmpl $0x63, %ecx
jbe 0x4cb5
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x4cba
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x4cbc
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebx
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x4c84
addl $-0x3, %ebx
jmp 0x4cbc
addl $-0x2, %ebx
jmp 0x4cbc
decl %ebx
movl 0x277d0(%rsp), %eax
movl %eax, %r15d
shrl $0x1f, %r15d
leal (%rbx,%r15), %esi
leaq 0x60(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x50(%rsp), %rdi
movl $0x2d, %edx
callq 0x3320
movl %r15d, %eax
movq 0x50(%rsp), %rdi
movq %rax, 0x1a8(%rsp)
addq %rax, %rdi
movl %ebx, %esi
movl %ebp, %edx
callq 0x734f
movq 0x70(%rsp), %rcx
movq 0x78(%rsp), %r8
movq 0x58(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r14, %rcx
je 0x4d27
movq 0x80(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x4d47
movl $0xf, %esi
leaq 0x60(%rsp), %rdi
cmpq %rdi, 0x50(%rsp)
je 0x4d42
movq 0x60(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x4d58
movq 0x50(%rsp), %rsi
leaq 0x70(%rsp), %rdi
callq 0x30f0
jmp 0x4d66
leaq 0x50(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
leaq 0x40(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x4d8a
movq %rsi, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
jmp 0x4d92
movupd (%rcx), %xmm0
movupd %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x38(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x7386(%rip), %rsi      # 0xc13c
leaq 0x30(%rsp), %rdi
callq 0x3510
leaq 0x100(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
movq %r15, 0x1a0(%rsp)
je 0x4df8
movq %rdx, 0xf0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x100(%rsp)
jmp 0x4e01
movupd (%rcx), %xmm0
movupd %xmm0, (%r14)
movq 0x8(%rax), %rdx
movq %rdx, 0xf8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl 0x277d8(%rsp), %eax
movl %eax, %r15d
negl %r15d
cmovsl %eax, %r15d
movl $0x1, %ebx
cmpl $0xa, %r15d
jb 0x4e7d
movl $0x4, %ebx
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %r15d, %ecx
cmpl $0x63, %ecx
jbe 0x4e76
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x4e7b
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x4e7d
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebx
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x4e45
addl $-0x3, %ebx
jmp 0x4e7d
addl $-0x2, %ebx
jmp 0x4e7d
decl %ebx
movq %r12, 0x110(%rsp)
movl 0x277d8(%rsp), %eax
movl %eax, %r12d
shrl $0x1f, %r12d
leal (%rbx,%r12), %esi
leaq 0xe0(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0xd0(%rsp), %rdi
movl $0x2d, %edx
callq 0x3320
movq %r12, 0xb0(%rsp)
movl %r12d, %r12d
movq 0xd0(%rsp), %rdi
addq %r12, %rdi
movl %ebx, %esi
movl %r15d, %edx
callq 0x734f
movq 0xf0(%rsp), %rcx
movq 0xf8(%rsp), %r8
movq 0xd8(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r14, %rcx
je 0x4f03
movq 0x100(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x4f24
movl $0xf, %esi
cmpq %r13, 0xd0(%rsp)
je 0x4f1f
movq 0xe0(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x4f3b
movq 0xd0(%rsp), %rsi
leaq 0xf0(%rsp), %rdi
callq 0x30f0
jmp 0x4f4c
leaq 0xd0(%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 0x4f79
movq %rsi, 0x120(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x130(%rsp)
jmp 0x4f81
movupd (%rcx), %xmm0
movupd %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x128(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x7194(%rip), %rsi      # 0xc13c
leaq 0x120(%rsp), %rdi
callq 0x3510
leaq 0x2a0(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x4fe5
movq %rdx, 0x290(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x2a0(%rsp)
jmp 0x4fed
movupd (%rcx), %xmm0
movupd %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x298(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl 0x2c(%rsp), %eax
movl %eax, %ebx
negl %ebx
cmovsl %eax, %ebx
movl $0x1, %r14d
cmpl $0xa, %ebx
jb 0x5067
movl $0x4, %r14d
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl %ebx, %ecx
cmpl $0x63, %ecx
jbe 0x505e
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x5064
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x5067
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %r14d
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x502b
addl $-0x3, %r14d
jmp 0x5067
addl $-0x2, %r14d
jmp 0x5067
decl %r14d
movl %r15d, 0xb8(%rsp)
movl 0x2c(%rsp), %eax
movl %eax, %r15d
shrl $0x1f, %r15d
leal (%r14,%r15), %esi
leaq 0xa0(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x90(%rsp), %rdi
movl $0x2d, %edx
callq 0x3320
movl %r15d, %edi
addq 0x90(%rsp), %rdi
movl %r14d, %esi
movl %ebx, %edx
callq 0x734f
movq 0x290(%rsp), %rcx
movq 0x298(%rsp), %r8
movq 0x98(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
leaq 0x2a0(%rsp), %rdi
cmpq %rdi, %rcx
je 0x50e7
movq 0x2a0(%rsp), %rsi
cmpq %rsi, %rax
leaq 0x100(%rsp), %r15
jbe 0x5118
movl $0xf, %esi
leaq 0xa0(%rsp), %rdi
cmpq %rdi, 0x90(%rsp)
je 0x5113
movq 0xa0(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x512f
movq 0x90(%rsp), %rsi
leaq 0x290(%rsp), %rdi
callq 0x30f0
jmp 0x5140
leaq 0x90(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
leaq 0x4a0(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x516d
movq %rsi, 0x490(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x4a0(%rsp)
jmp 0x5175
movupd (%rcx), %xmm0
movupd %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x498(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x6fa2(%rip), %rsi      # 0xc13e
leaq 0x490(%rsp), %rdi
callq 0x3510
leaq 0x240(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x51d9
movq %rdx, 0x230(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x240(%rsp)
jmp 0x51e1
movupd (%rcx), %xmm0
movupd %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x238(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4a0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x521d
movq 0x4a0(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x5242
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x290(%rsp), %rdi
leaq 0x2a0(%rsp), %rax
cmpq %rax, %rdi
je 0x5267
movq 0x2a0(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x130(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5288
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x32d0
movq %r12, 0x160(%rsp)
movq 0xd0(%rsp), %rdi
cmpq %r13, %rdi
je 0x52ad
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32d0
movl %ebp, 0xc0(%rsp)
movq 0xf0(%rsp), %rdi
cmpq %r15, %rdi
movq 0x110(%rsp), %r12
je 0x52d9
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x40(%rsp), %rbp
movq -0x10(%rbp), %rdi
cmpq %rbp, %rdi
je 0x52f4
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x5310
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x70(%rsp), %rdi
leaq 0x80(%rsp), %rax
cmpq %rax, %rdi
je 0x5332
movq 0x80(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x6e0b(%rip), %rsi      # 0xc144
leaq 0x120(%rsp), %rdi
leaq 0x230(%rsp), %rdx
callq 0x723b
movq 0x120(%rsp), %rsi
movq 0x128(%rsp), %rdx
movq 0xac6b(%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 0x490(%rsp), %rdi
callq 0x34a0
leaq 0x490(%rsp), %rdi
leaq 0x120(%rsp), %rsi
movl $0x10, %edx
callq 0x3140
leaq 0x500(%rsp), %rdi
callq 0x30b0
testb %al, %al
je 0x6397
movq 0x120(%rsp), %rsi
leaq 0x6d79(%rip), %rdi      # 0xc158
xorl %eax, %eax
callq 0x3050
leaq 0x6d7c(%rip), %rsi      # 0xc169
leaq 0x490(%rsp), %rbx
movl $0x19, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x490(%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
leaq 0x490(%rsp), %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
movq 0x490(%rsp), %rax
movq -0x18(%rax), %rax
movq $0x2, 0x498(%rsp,%rax)
xorpd %xmm0, %xmm0
movapd 0x140(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jne 0x5464
jnp 0x5780
movq $0x1, 0xf0(%rsp)
movq 0x1e0(%rsp), %rsi
movq 0x1e8(%rsp), %rdx
leaq 0x290(%rsp), %rdi
callq 0x7cd6
cmpl $0x0, 0x2c(%rsp)
jle 0x573c
xorps %xmm0, %xmm0
cvtsi2sdl 0x277d0(%rsp), %xmm0
movsd %xmm0, 0xc8(%rsp)
xorl %r12d, %r12d
callq 0x3060
movq %rax, 0x1b0(%rsp)
xorpd %xmm0, %xmm0
cmpl $0x0, 0x277d0(%rsp)
jle 0x5623
movsd %xmm0, 0x168(%rsp)
xorl %r15d, %r15d
leaq 0x290(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
movq %rdi, %rdx
callq 0x80fc
cltq
movq 0x250(%rsp), %rcx
movslq (%rcx,%rax,4), %r14
movq 0x180(%rsp), %rcx
movq (%rcx,%rax,8), %rbp
movq (%rbp), %rdx
testq %rdx, %rdx
je 0x552f
shlq $0x3, %rdx
leaq 0x690(%rsp), %rdi
leaq 0x13f10(%rsp), %rsi
callq 0x3210
movq (%rbp), %r13
cmpq $0x2, %r13
jb 0x558c
shlq $0x3, %r13
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 0x5583
leaq (%rsp,%rbx), %rax
addq $0x690, %rax            # imm = 0x690
leaq 0x690(%rsp,%rdx,8), %rcx
movq (%rax), %rdx
movq (%rcx), %rsi
movq %rsi, (%rax)
movq %rdx, (%rcx)
addq $0x8, %rbx
cmpq %rbx, %r13
jne 0x5542
movl $0x8, %esi
movq %r14, %rdi
callq 0x31a0
movq %rax, %r13
testl %r14d, %r14d
jle 0x55c0
movq 0x8(%rbp), %rax
xorl %ecx, %ecx
movq 0x690(%rsp,%rcx,8), %rdx
movq (%rax,%rdx,8), %rdx
movq %rdx, (%r13,%rcx,8)
incq %rcx
cmpq %rcx, %r14
jne 0x55a7
movq %r13, %rdi
movl %r14d, %esi
movq 0x118(%rsp), %rdx
callq 0x4043
movsd 0x168(%rsp), %xmm0
movapd %xmm0, %xmm1
addsd 0x6a20(%rip), %xmm1     # 0xc008
testb %al, %al
jne 0x55f0
movapd %xmm0, %xmm1
movsd %xmm1, 0x20(%rsp)
movq %r13, %rdi
callq 0x3340
movsd 0x20(%rsp), %xmm0
incl %r15d
movsd %xmm0, 0x168(%rsp)
cmpl 0x277d0(%rsp), %r15d
leaq 0x40(%rsp), %rbp
jne 0x54db
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 0xc8(%rsp), %xmm0
addsd 0x150(%rsp), %xmm0
leaq 0x228(%rsp), %rdi
callq 0x34d0
movsd 0x228(%rsp), %xmm0
leaq 0x490(%rsp), %rdi
callq 0x3460
leaq 0x100(%rsp), %r15
movq %rax, %r13
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6ae4(%rip), %rsi      # 0xc188
callq 0x3310
movsd 0x20(%rsp), %xmm0
divsd 0xc8(%rsp), %xmm0
movq %r13, %rdi
callq 0x3460
movq %rax, %r13
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6ab6(%rip), %rsi      # 0xc188
callq 0x3310
movq %r14, %rax
shrq $0x3f, %rax
sarq $0x7, %r14
addq %rax, %r14
movq %r13, %rdi
movq %r14, %rsi
callq 0x3270
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6a86(%rip), %rsi      # 0xc188
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 0x2c(%rsp), %r12d
jne 0x54b0
movq 0x2a8(%rsp), %rdi
testq %rdi, %rdi
je 0x5759
movq 0x2b8(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x290(%rsp), %rdi
testq %rdi, %rdi
movq 0x110(%rsp), %r12
je 0x57cd
movq 0x2a0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
jmp 0x57cd
leaq 0x69fc(%rip), %rsi      # 0xc183
leaq 0x490(%rsp), %rbx
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x490(%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
leaq 0x490(%rsp), %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x490(%rsp), %rdi
callq 0x33b0
leaq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
movq %rax, (%rdi)
movq 0x220(%rsp), %rax
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
callq 0x73bc
leaq 0x6937(%rip), %rsi      # 0xc13c
leaq 0x50(%rsp), %rdi
callq 0x3510
movl $0x1, %ebx
cmpl $0xa, 0xc0(%rsp)
jb 0x5867
movl $0x4, %ebx
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl 0xc0(%rsp), %ecx
cmpl $0x63, %ecx
jbe 0x5860
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x5865
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x5867
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebx
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x582f
addl $-0x3, %ebx
jmp 0x5867
addl $-0x2, %ebx
jmp 0x5867
decl %ebx
movq 0x1a0(%rsp), %rsi
addl %ebx, %esi
leaq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
movq %rax, (%rdi)
movl $0x2d, %edx
callq 0x3320
movq 0x1a8(%rsp), %rdi
addq 0xd0(%rsp), %rdi
movl %ebx, %esi
movl 0xc0(%rsp), %edx
callq 0x734f
movq 0x50(%rsp), %rcx
movq 0x58(%rsp), %r8
movq 0xd8(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
leaq 0x60(%rsp), %rdi
cmpq %rdi, %rcx
je 0x58d6
movq 0x60(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x58ff
movl $0xf, %esi
leaq 0xe0(%rsp), %rdi
cmpq %rdi, 0xd0(%rsp)
je 0x58fa
movq 0xe0(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x5913
movq 0xd0(%rsp), %rsi
leaq 0x50(%rsp), %rdi
callq 0x30f0
jmp 0x5924
leaq 0xd0(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
leaq 0x80(%rsp), %rsi
movq %rsi, 0x70(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x594f
movq %rdx, 0x70(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x80(%rsp)
jmp 0x5957
movupd (%rcx), %xmm0
movupd %xmm0, (%rsi)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x78(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x67c1(%rip), %rsi      # 0xc13c
leaq 0x70(%rsp), %rdi
callq 0x3510
movq %rbp, 0x30(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
movq 0xb0(%rsp), %rsi
je 0x59b0
movq %rdx, 0x30(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x40(%rsp)
jmp 0x59b9
movupd (%rcx), %xmm0
movupd %xmm0, (%rbp)
movq 0x8(%rax), %rdx
movq %rdx, 0x38(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl $0x1, %ebx
cmpl $0xa, 0xb8(%rsp)
jb 0x5a29
movl $0x4, %ebx
movl $0xd1b71759, %eax       # imm = 0xD1B71759
movl 0xb8(%rsp), %ecx
cmpl $0x63, %ecx
jbe 0x5a22
cmpl $0x3e7, %ecx            # imm = 0x3E7
jbe 0x5a27
cmpl $0x2710, %ecx           # imm = 0x2710
jb 0x5a29
movl %ecx, %edx
imulq %rax, %rdx
shrq $0x2d, %rdx
addl $0x4, %ebx
cmpl $0x1869f, %ecx          # imm = 0x1869F
movl %edx, %ecx
ja 0x59f1
addl $-0x3, %ebx
jmp 0x5a29
addl $-0x2, %ebx
jmp 0x5a29
decl %ebx
addl %ebx, %esi
leaq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
movq %rax, (%rdi)
movl $0x2d, %edx
callq 0x3320
movq 0x160(%rsp), %rdi
addq 0x90(%rsp), %rdi
movl %ebx, %esi
movl 0xb8(%rsp), %edx
callq 0x734f
movq 0x30(%rsp), %rcx
movq 0x38(%rsp), %r8
movq 0x98(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %rbp, %rcx
je 0x5a8b
movq 0x40(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x5ab4
movl $0xf, %esi
leaq 0xa0(%rsp), %rdi
cmpq %rdi, 0x90(%rsp)
je 0x5aaf
movq 0xa0(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x5ac8
movq 0x90(%rsp), %rsi
leaq 0x30(%rsp), %rdi
callq 0x30f0
jmp 0x5ad9
leaq 0x90(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x32f0
leaq 0x2a0(%rsp), %rsi
movq %rsi, 0x290(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x5b0a
movq %rdx, 0x290(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x2a0(%rsp)
jmp 0x5b12
movupd (%rcx), %xmm0
movupd %xmm0, (%rsi)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x298(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x6651(%rip), %rsi      # 0xc18a
leaq 0x290(%rsp), %rdi
callq 0x3510
movq %r15, 0xf0(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5b72
movq %rdx, 0xf0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x100(%rsp)
jmp 0x5b7b
movupd (%rcx), %xmm0
movupd %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0xf8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x290(%rsp), %rdi
leaq 0x2a0(%rsp), %rax
cmpq %rax, %rdi
je 0x5bbb
movq 0x2a0(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x5be0
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x30(%rsp), %rdi
cmpq %rbp, %rdi
je 0x5bf7
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x70(%rsp), %rdi
leaq 0x80(%rsp), %rax
cmpq %rax, %rdi
je 0x5c19
movq 0x80(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
cmpq %rax, %rdi
je 0x5c3e
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x5c5a
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x64e3(%rip), %rsi      # 0xc144
leaq 0x30(%rsp), %rdi
leaq 0xf0(%rsp), %rdx
callq 0x723b
movq 0x30(%rsp), %rsi
movq 0x38(%rsp), %rdx
movq 0xa34c(%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 0x290(%rsp), %rdi
callq 0x34a0
leaq 0x290(%rsp), %rdi
leaq 0x30(%rsp), %rsi
movl $0x10, %edx
callq 0x3140
leaq 0x300(%rsp), %rdi
callq 0x30b0
testb %al, %al
je 0x63bd
movq 0x30(%rsp), %rsi
leaq 0x6460(%rip), %rdi      # 0xc158
xorl %eax, %eax
callq 0x3050
leaq 0x648c(%rip), %rsi      # 0xc192
leaq 0x290(%rsp), %rdi
movl $0x9, %edx
callq 0x3310
leaq 0x6487(%rip), %rsi      # 0xc1a6
leaq 0x290(%rsp), %rdi
movl $0x7, %edx
callq 0x3310
leaq 0x6464(%rip), %rsi      # 0xc19c
leaq 0x290(%rsp), %rdi
movl $0x11, %edx
callq 0x3310
leaq 0x645d(%rip), %rsi      # 0xc1ae
leaq 0x290(%rsp), %rdi
movl $0xc, %edx
callq 0x3310
leaq 0x6451(%rip), %rsi      # 0xc1bb
leaq 0x290(%rsp), %rdi
movl $0x2, %edx
callq 0x3310
leaq 0x643b(%rip), %rsi      # 0xc1be
leaq 0x290(%rsp), %rdi
movl $0x7, %edx
callq 0x3310
leaq 0x642a(%rip), %rsi      # 0xc1c6
leaq 0x290(%rsp), %rbx
movl $0xc, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x290(%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
leaq 0x290(%rsp), %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x290(%rsp), %rdi
movapd 0x1c0(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
leaq 0x6386(%rip), %rsi      # 0xc188
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
movapd 0x140(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
leaq 0x635e(%rip), %rsi      # 0xc188
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
movapd 0x170(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
leaq 0x6336(%rip), %rsi      # 0xc188
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
movapd 0x270(%rsp), %xmm0
callq 0x3460
movq %rax, %rbx
leaq 0x630e(%rip), %rsi      # 0xc188
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
movapd 0x1d0(%rsp), %xmm0
callq 0x3460
leaq 0x62e9(%rip), %rsi      # 0xc188
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %r12, %rax
shrq $0x3f, %rax
sarq $0x7, %r12
addq %rax, %r12
leaq 0x290(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x3270
movq %rax, %r14
leaq 0x62b1(%rip), %rsi      # 0xc188
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %r14, %rdi
movl 0x277d0(%rsp), %esi
callq 0x34b0
movq %rax, %r14
leaq 0x628b(%rip), %rsi      # 0xc188
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 0x290(%rsp), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3290
movsbl %al, %esi
leaq 0x290(%rsp), %rdi
callq 0x3040
movq %rax, %rdi
callq 0x31b0
leaq 0x290(%rsp), %rdi
callq 0x33b0
xorpd %xmm0, %xmm0
movapd 0x140(%rsp), %xmm1
ucomisd %xmm0, %xmm1
jbe 0x5fd8
xorl %ebx, %ebx
movq 0x180(%rsp), %rax
movq (%rax,%rbx,8), %rax
cmpq $0x0, (%rax)
js 0x5fa4
movq 0x8(%rax), %rdi
testq %rdi, %rdi
je 0x5fa4
callq 0x3370
movq 0x180(%rsp), %rax
movq (%rax,%rbx,8), %rdi
testq %rdi, %rdi
je 0x5fbf
movl $0x10, %esi
callq 0x32d0
incq %rbx
xorps %xmm0, %xmm0
cvtsi2sd %ebx, %xmm0
movapd 0x140(%rsp), %xmm1
ucomisd %xmm0, %xmm1
ja 0x5f84
movq 0x9ff1(%rip), %rdi      # 0xffd0
leaq 0x61ed(%rip), %rsi      # 0xc1d3
movl $0xe, %edx
callq 0x3310
movq 0x9fd9(%rip), %rdi      # 0xffd0
movl 0x277d8(%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 0x9f9c(%rip), %rdi      # 0xffd0
leaq 0x61a7(%rip), %rsi      # 0xc1e2
movl $0x10, %edx
callq 0x3310
movq 0x9f84(%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 0x9f45(%rip), %rdi      # 0xffd0
leaq 0x6161(%rip), %rsi      # 0xc1f3
movl $0x1a, %edx
callq 0x3310
movq 0x9f2d(%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 0x9eee(%rip), %rdi      # 0xffd0
leaq 0x6125(%rip), %rsi      # 0xc20e
movl $0x1d, %edx
callq 0x3310
movq 0x9ed6(%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 0x9e97(%rip), %rdi      # 0xffd0
leaq 0x60ec(%rip), %rsi      # 0xc22c
movl $0x1e, %edx
callq 0x3310
movsd 0x228(%rsp), %xmm0
movq 0x9e76(%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
movq 0x9e40(%rip), %rdi      # 0xffd0
leaq 0x60b4(%rip), %rsi      # 0xc24b
movl $0x4, %edx
callq 0x3310
movq 0x9e28(%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 0x9de9(%rip), %rdi      # 0xffd0
leaq 0x6062(%rip), %rsi      # 0xc250
movl $0x19, %edx
callq 0x3310
movq 0x9dd1(%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 0x9d90(%rip), %rax      # 0xffc8
movq (%rax), %rbx
movq 0x18(%rax), %r14
leaq 0x298(%rsp), %rdi
movq %rbx, -0x8(%rdi)
movq -0x18(%rbx), %rax
movq %r14, 0x290(%rsp,%rax)
callq 0x3220
leaq 0x388(%rsp), %rdi
callq 0x3100
movq 0x30(%rsp), %rdi
cmpq %rbp, %rdi
je 0x6280
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xf0(%rsp), %rdi
cmpq %r15, %rdi
je 0x629d
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32d0
leaq 0x498(%rsp), %rdi
movq %rbx, -0x8(%rdi)
movq -0x18(%rbx), %rax
movq %r14, 0x490(%rsp,%rax)
callq 0x3220
leaq 0x588(%rsp), %rdi
callq 0x3100
movq 0x120(%rsp), %rdi
leaq 0x130(%rsp), %rax
cmpq %rax, %rdi
je 0x62ec
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x230(%rsp), %rdi
leaq 0x240(%rsp), %rax
cmpq %rax, %rdi
je 0x6311
movq 0x240(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
je 0x632e
movq 0x1f0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x180(%rsp), %rdi
testq %rdi, %rdi
je 0x634b
movq 0x190(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0x6368
movq 0x210(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x250(%rsp), %rdi
testq %rdi, %rdi
je 0x6385
movq 0x260(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
addq $0x27798, %rsp          # imm = 0x27798
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x9c32(%rip), %rdi      # 0xffd0
leaq 0x5d24(%rip), %rsi      # 0xc0c9
movl $0x1b, %edx
callq 0x3310
movq 0x9c1a(%rip), %rdi      # 0xffd0
callq 0x3150
jmp 0x63e1
movq 0x9c0c(%rip), %rdi      # 0xffd0
leaq 0x5cfe(%rip), %rsi      # 0xc0c9
movl $0x1b, %edx
callq 0x3310
movq 0x9bf4(%rip), %rdi      # 0xffd0
callq 0x3150
movl $0x1, %edi
callq 0x3350
jmp 0x667f
jmp 0x6672
movq %rax, %rbx
jmp 0x66bf
movq %rax, %rbx
movq 0x290(%rsp), %rdi
leaq 0x2a0(%rsp), %rax
cmpq %rax, %rdi
je 0x642a
movq 0x2a0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x642a
movq %rax, %rbx
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x6454
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6454
movq %rax, %rbx
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x6475
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6475
movq %rax, %rbx
movq 0x70(%rsp), %rdi
leaq 0x80(%rsp), %rax
cmpq %rax, %rdi
je 0x649c
movq 0x80(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x649c
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
leaq 0xe0(%rsp), %rax
cmpq %rax, %rdi
je 0x64c8
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x64c8
jmp 0x64c5
movq %rax, %rbx
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x66fc
movq 0x60(%rsp), %rsi
jmp 0x66dc
jmp 0x667f
jmp 0x6677
movq %rax, %rbx
jmp 0x672e
movq %rax, %rbx
leaq 0x4a0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x6520
movq 0x4a0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6520
movq %rax, %rbx
movq 0x90(%rsp), %rdi
leaq 0xa0(%rsp), %rax
cmpq %rax, %rdi
je 0x654a
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x654a
movq %rax, %rbx
movq 0x290(%rsp), %rdi
leaq 0x2a0(%rsp), %rax
cmpq %rax, %rdi
je 0x6574
movq 0x2a0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6574
movq %rax, %rbx
leaq 0x130(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x659a
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x659a
movq %rax, %rbx
movq 0xd0(%rsp), %rdi
cmpq %r13, %rdi
je 0x65bc
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x65bc
movq %rax, %rbx
movq 0xf0(%rsp), %rdi
leaq 0x100(%rsp), %rax
cmpq %rax, %rdi
je 0x65e6
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x65e6
movq %rax, %rbx
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x6606
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6606
movq %rax, %rbx
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x6627
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6627
movq %rax, %rbx
movq 0x70(%rsp), %rdi
leaq 0x80(%rsp), %rax
cmpq %rax, %rdi
je 0x6760
movq 0x80(%rsp), %rsi
jmp 0x674b
movq %rax, %rbx
movq 0x70(%rsp), %rdi
cmpq %r14, %rdi
jne 0x663d
jmp 0x6760
jmp 0x675d
jmp 0x6668
jmp 0x675d
movq %rax, %rbx
jmp 0x679a
jmp 0x667f
movq %rax, %rbx
jmp 0x66a3
movq %rax, %rbx
jmp 0x6709
movq %rax, %rbx
jmp 0x66fc
jmp 0x675d
jmp 0x675d
jmp 0x675d
movq %rax, %rbx
leaq 0x290(%rsp), %rdi
callq 0x33e0
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x66bf
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0xf0(%rsp), %rdi
leaq 0x100(%rsp), %rax
cmpq %rax, %rdi
je 0x66fc
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x66fc
jmp 0x675d
jmp 0x66ec
jmp 0x66ec
movq %rax, %rbx
leaq 0x290(%rsp), %rdi
callq 0x72c4
leaq 0x490(%rsp), %rdi
callq 0x33e0
movq 0x120(%rsp), %rdi
leaq 0x130(%rsp), %rax
cmpq %rax, %rdi
je 0x672e
movq 0x130(%rsp), %rsi
incq %rsi
callq 0x32d0
movq 0x230(%rsp), %rdi
leaq 0x240(%rsp), %rax
cmpq %rax, %rdi
je 0x6760
movq 0x240(%rsp), %rsi
incq %rsi
callq 0x32d0
jmp 0x6760
jmp 0x675d
jmp 0x675d
jmp 0x675d
jmp 0x675d
movq %rax, %rbx
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
je 0x677d
movq 0x1f0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x180(%rsp), %rdi
testq %rdi, %rdi
je 0x679a
movq 0x190(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x200(%rsp), %rdi
testq %rdi, %rdi
je 0x67b7
movq 0x210(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq 0x250(%rsp), %rdi
testq %rdi, %rdi
je 0x67d4
movq 0x260(%rsp), %rsi
subq %rdi, %rsi
callq 0x32d0
movq %rbx, %rdi
callq 0x34c0