// File: /workspace/github_cpp_makefile_star2_O1/akinanop[P]mvl-solver/src/LinearEncode.cc
// Function: LinearEncode(CommandLine*)
void LinearEncode(CommandLine * cline)
{
  //local variables
  ifstream infile;
  ofstream outfile;
  char line_buffer[3000];
  char word_buffer[3000];
  int num_clause = 0;
  int num_var = 0;
  int new_num_clause = 0;
  int new_num_var = 0;
  int * domain;
  int * index;
  int var, val;
  int temp;
  bool isdone = false;
  int count = 0;
  char ch, ch1;

  //opening infile to read and checking if it opens
  infile.open(cline->FILE, ios::in);
  if(!infile)
    {
      cout<<endl;
      cout<<"**** ERROR ****"<<endl;
      cout<<"Could not open input file : "<<endl;
      cout<<endl;
      exit(1);
    }

  //opening outfile to write the new clauses
  outfile.open(cline->MODEL_FILE, ios::out);
  if(!outfile)
    {
      cout<<endl;
      cout<<"**** ERROR ****"<<endl;
      cout<<"Could not open output file : "<<endl;
      cout<<endl;
      exit(1);
    }

  //now reading each line from the infile and if needed to convert
  //then converting it and writing to outfile or just writing directly
  while(infile.getline(line_buffer, 3000))
    {
      //if line is comment - just write
      if(line_buffer[0] == 'c')
	{
	  //do nothing
	  ;
	}
      //else if line is p cnf var_num clause_num - just write
      else if(line_buffer[0] == 'p')
	{
	  //do nothing
	  temp = sscanf(line_buffer, "p cnf %d %d", &var, &val);
	  num_var = var;
	  num_clause = val;
	  domain = new int[var+1];
	  index = new int[var+1];
	  //default initialization to domain value 2
	  for(int i=0; i<var+1; i++)
	    domain[i] = 2;
	}
      //else if line is d var# domsize
      else if(line_buffer[0] == 'd')
	{
	  temp = sscanf(line_buffer, "d %d %d", &var, &val);
	  count++;
	  new_num_var += 2*val-1;
	  new_num_clause += 4*(val-2)+3+1;
	  domain[var] = val;
	}
      //else its variables
      else
	{
	  if(!isdone)
	    {
	      isdone = true;
	      new_num_clause += num_clause;
	      new_num_var += (num_var - count);
	      outfile<<"p cnf "<<new_num_var<<" "<<new_num_clause<<endl;
	      //compute the index values for each variable=domainvalue
	      index[1] = 1;
	      for(int i=2; i<num_var+1; i++)
		{
		  if(domain[i-1] == 2)
		    index[i] = index[i-1]+1;
		  else
		    index[i] = 2*domain[i-1] -1 + index[i-1];
		}
	      int var_t1 = 0;
	      int var_t2 = 0;
	      //add the extra clauses
	      for(int i=0; i<num_var+1; i++)
		{
		  if(domain[i] > 2)
		    {
		      //write the ALO condition
		      for(int j=0; j<domain[i]; j++)
			{
			  outfile<<index[i]+j<<" ";
			}
		      outfile<<" 0"<<endl;
		      var_t1 = index[i]+domain[i];
		      var_t2 = index[i];
		      outfile<<-(var_t1)<<" "<<(var_t2)<<" 0"<<endl;
		      outfile<<var_t1<<" "<<-(var_t2)<<" 0"<<endl;
		      for(int j=0; j<domain[i]-2; j++)
			{
			  outfile<<-(var_t1+1+j)<<" "<<(var_t1+j)<<" "<<var_t2+1+j<<" 0"<<endl;
			  outfile<<var_t1+1+j<<" "<<-(var_t1+j)<<" 0"<<endl;
			  outfile<<var_t1+1+j<<" "<<-(var_t2+1+j)<<" 0"<<endl;
			}
		      for(int j=0; j<domain[i]-1; j++)
			{
			  var_t1=-(index[i]+domain[i]+j);
			  var_t2=-(index[i]+1+j);
			  outfile<<var_t1<<" "<<var_t2<<" 0\n";
			}
		    }
		  else
		    {
		      //do nothing
		      ;
		    }
		}
	    }

	  char * lp = line_buffer;
	  do
	    {
	      char * wp = word_buffer;
	      //erasing all leading space/tabs
	      while (*lp && ((*lp == ' ') || (*lp == '\t')))
		{
		  lp++;
		}
	      //reading each value into word buffer
	      while (*lp && (*lp != ' ') && (*lp != '\t') && (*lp != '\n'))
		{
		  *(wp++) = *(lp++);
		}
	      *wp = '\0';
	      //converting into int and writing to file
	      if(strlen(word_buffer) != 0)
		{
		  temp = sscanf(word_buffer, "%d %c %d", &var, &ch, &val);
		  if(ch == '!')
		    temp = sscanf(word_buffer, "%d %c %c %d", &var, &ch, &ch1, &val);
		  //checking if variable = 0 i.e end of line
		  if(var != 0)
		    {
		      if(domain[var] > 2)
			{
			  var = index[var] + val;
			  if(ch == '!')
			    outfile<<"-"<<var<<" ";
			  else
			    outfile<<var<<" ";
			}
		      else
			{
			  if(val == 1)
			    {
			      var = index[var];
			      outfile<<var<<" ";
			    }
			  else
			    {
			      var = -index[var];
			      outfile<<var<<" ";
			    }
			}
		    }
		}
	    }while(*lp);
	  outfile<<"0"<<endl;
	}
    }

  //closing file
  infile.close();
  outfile.close();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1bf8, %rsp           # imm = 0x1BF8
movq %rdi, %rbx
leaq 0x278(%rsp), %rdi
callq 0x2260
leaq 0x78(%rsp), %rdi
callq 0x2380
movq 0x20(%rbx), %rsi
leaq 0x278(%rsp), %r15
movq %r15, %rdi
movl $0x8, %edx
callq 0x2170
movq 0x278(%rsp), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x298(%rsp,%rax)
jne 0x62d7
movq 0x28(%rbx), %rsi
leaq 0x78(%rsp), %rdi
movl $0x10, %edx
callq 0x2060
movq 0x78(%rsp), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x98(%rsp,%rax)
jne 0x6339
leaq 0x1040(%rsp), %r12
leaq 0x729c(%rip), %r13      # 0xcc17
leaq 0xc(%rsp), %rbp
movl $0x0, 0x40(%rsp)
movq $0x0, 0x30(%rsp)
movq $0x0, 0x48(%rsp)
movq $0x0, 0x50(%rsp)
movq $0x0, 0x60(%rsp)
movl $0x0, 0x44(%rsp)
movq 0x278(%rsp), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %ecx
movl $0xbb8, %edx            # imm = 0xBB8
movq %r15, %rdi
movq %r12, %rsi
callq 0x23c0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x626c
movzbl 0x1040(%rsp), %eax
cmpl $0x63, %eax
je 0x59b4
cmpl $0x64, %eax
je 0x5b93
cmpl $0x70, %eax
jne 0x5bdf
movq %r12, %rdi
leaq 0x71f0(%rip), %rsi      # 0xcc0b
movq %rbp, %rdx
leaq 0x1c(%rsp), %rcx
xorl %eax, %eax
callq 0x2210
movslq 0xc(%rsp), %rax
cmpq $-0x1, %rax
movl 0x1c(%rsp), %ecx
movl %ecx, 0x40(%rsp)
movq %rax, 0x30(%rsp)
leaq 0x4(,%rax,4), %rbx
movq $-0x1, %rax
cmovlq %rax, %rbx
movq %rbx, %rdi
callq 0x2030
movq %rax, 0x10(%rsp)
movq %rbx, %rdi
callq 0x2030
movq %rax, 0x20(%rsp)
cmpl $0x0, 0x30(%rsp)
js 0x59b4
movq 0x30(%rsp), %rax
movq %rax, %xmm0
pshufd $0x44, %xmm0, %xmm0     # xmm0 = xmm0[0,1,0,1]
shrl $0x2, %eax
andl $0x1fffffff, %eax       # imm = 0x1FFFFFFF
shlq $0x4, %rax
addq $0x10, %rax
pxor 0x7101(%rip), %xmm0     # 0xcba0
xorl %ecx, %ecx
movdqa 0x70e7(%rip), %xmm1     # 0xcb90
movdqa 0x70cf(%rip), %xmm2     # 0xcb80
movdqa %xmm1, %xmm3
pxor 0x70e3(%rip), %xmm3     # 0xcba0
movdqa %xmm3, %xmm4
pcmpgtd %xmm0, %xmm4
pcmpeqd %xmm0, %xmm3
pshufd $0xf5, %xmm3, %xmm5     # xmm5 = xmm3[1,1,3,3]
pand %xmm4, %xmm5
pshufd $0xf5, %xmm4, %xmm3     # xmm3 = xmm4[1,1,3,3]
por %xmm5, %xmm3
movd %xmm3, %edx
notl %edx
testb $0x1, %dl
je 0x5af2
movq 0x10(%rsp), %rdx
movl $0x2, (%rdx,%rcx)
pxor 0x70c6(%rip), %xmm3     # 0xcbc0
pextrw $0x4, %xmm3, %edx
testb $0x1, %dl
je 0x5b11
movq 0x10(%rsp), %rdx
movl $0x2, 0x4(%rdx,%rcx)
movdqa %xmm2, %xmm3
pxor 0x7083(%rip), %xmm3     # 0xcba0
movdqa %xmm3, %xmm4
pcmpgtd %xmm0, %xmm4
pcmpeqd %xmm0, %xmm3
pshufd $0xf5, %xmm3, %xmm5     # xmm5 = xmm3[1,1,3,3]
pand %xmm4, %xmm5
pshufd $0xf5, %xmm4, %xmm3     # xmm3 = xmm4[1,1,3,3]
por %xmm5, %xmm3
pxor 0x707d(%rip), %xmm3     # 0xcbc0
pextrw $0x0, %xmm3, %edx
testb $0x1, %dl
je 0x5b5a
movq 0x10(%rsp), %rdx
movl $0x2, 0x8(%rdx,%rcx)
pextrw $0x4, %xmm3, %edx
testb $0x1, %dl
je 0x5b71
movq 0x10(%rsp), %rdx
movl $0x2, 0xc(%rdx,%rcx)
movdqa 0x7037(%rip), %xmm3     # 0xcbb0
paddq %xmm3, %xmm1
paddq %xmm3, %xmm2
addq $0x10, %rcx
cmpq %rcx, %rax
jne 0x5ab1
jmp 0x59b4
movq %r12, %rdi
movq %r13, %rsi
movq %rbp, %rdx
leaq 0x1c(%rsp), %rcx
xorl %eax, %eax
callq 0x2210
incl 0x44(%rsp)
movl 0x1c(%rsp), %eax
movq 0x50(%rsp), %rcx
leal (%rcx,%rax,2), %ecx
decl %ecx
movq %rcx, 0x50(%rsp)
movq 0x48(%rsp), %rcx
leal -0x4(%rcx,%rax,4), %ecx
movq %rcx, 0x48(%rsp)
movslq 0xc(%rsp), %rcx
movq 0x10(%rsp), %rdx
movl %eax, (%rdx,%rcx,4)
jmp 0x59b4
testb $0x1, 0x60(%rsp)
jne 0x60f1
movl $0x6, %edx
leaq 0x78(%rsp), %rdi
leaq 0x6f1f(%rip), %rsi      # 0xcb1a
callq 0x2270
movq 0x30(%rsp), %rax
subl 0x44(%rsp), %eax
movq 0x50(%rsp), %rsi
addl %eax, %esi
leaq 0x78(%rsp), %rdi
movq %rsi, 0x50(%rsp)
callq 0x2390
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6616(%rip), %rsi      # 0xc247
callq 0x2270
movq 0x48(%rsp), %rsi
addl 0x40(%rsp), %esi
movq %rbx, %rdi
movq %rsi, 0x48(%rsp)
callq 0x2390
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movq 0x20(%rsp), %rax
movl $0x1, 0x4(%rax)
movq 0x30(%rsp), %rdi
cmpl $0x2, %edi
jl 0x5ccb
movl %edi, %eax
decq %rax
xorl %ecx, %ecx
movq 0x10(%rsp), %rdx
movl 0x4(%rdx,%rcx,4), %edx
cmpl $0x2, %edx
jne 0x5caf
movq 0x20(%rsp), %r8
movl 0x4(%r8,%rcx,4), %edx
incl %edx
jmp 0x5cbe
movq 0x20(%rsp), %r8
movl 0x4(%r8,%rcx,4), %esi
leal (%rsi,%rdx,2), %edx
decl %edx
movl %edx, 0x8(%r8,%rcx,4)
incq %rcx
cmpq %rcx, %rax
jne 0x5c93
movb $0x1, %al
movq %rax, 0x60(%rsp)
testl %edi, %edi
js 0x60f1
leal 0x1(%rdi), %eax
movq %rax, 0x68(%rsp)
xorl %r15d, %r15d
movq 0x10(%rsp), %rax
cmpl $0x3, (%rax,%r15,4)
jl 0x60c7
movq 0x10(%rsp), %rax
cmpl $0x0, (%rax,%r15,4)
movq 0x20(%rsp), %r14
jle 0x5d39
xorl %ebx, %ebx
movl (%r14,%r15,4), %esi
addl %ebx, %esi
leaq 0x78(%rsp), %rdi
callq 0x2390
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6520(%rip), %rsi      # 0xc247
callq 0x2270
incl %ebx
movq 0x10(%rsp), %rax
cmpl (%rax,%r15,4), %ebx
jl 0x5d08
movl $0x2, %edx
leaq 0x78(%rsp), %rdi
leaq 0x6ed5(%rip), %rsi      # 0xcc1f
callq 0x2270
movq 0x78(%rsp), %rax
movq -0x18(%rax), %rdi
leaq 0x78(%rsp), %rax
addq %rax, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
leaq 0x78(%rsp), %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl (%r14,%r15,4), %ecx
movq 0x10(%rsp), %rax
movl (%rax,%r15,4), %edx
movq %rcx, 0x38(%rsp)
addl %ecx, %edx
movq %rdx, 0x58(%rsp)
movl %edx, %esi
negl %esi
leaq 0x78(%rsp), %rdi
callq 0x2390
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x648f(%rip), %rsi      # 0xc247
callq 0x2270
movq %rbx, %rdi
movq 0x38(%rsp), %rsi
callq 0x2390
movq %rax, %r14
movl $0x2, %edx
movq %rax, %rdi
leaq 0x6e43(%rip), %rsi      # 0xcc1f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
leaq 0x78(%rsp), %rdi
movq 0x58(%rsp), %rsi
callq 0x2390
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x641e(%rip), %rsi      # 0xc247
callq 0x2270
movq 0x38(%rsp), %rax
movl %eax, %esi
negl %esi
movq %rbx, %rdi
callq 0x2390
movq %rax, %r14
movl $0x2, %edx
movq %rax, %rdi
leaq 0x6dce(%rip), %rsi      # 0xcc1f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movq 0x10(%rsp), %rax
cmpl $0x3, (%rax,%r15,4)
jl 0x6049
movq 0x58(%rsp), %rax
incl %eax
movq %rax, 0x70(%rsp)
movq 0x38(%rsp), %rax
incl %eax
movq %rax, 0x38(%rsp)
xorl %r13d, %r13d
movq 0x70(%rsp), %rax
leal (%rax,%r13), %ebp
movl %ebp, %esi
negl %esi
leaq 0x78(%rsp), %rdi
callq 0x2390
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6376(%rip), %rsi      # 0xc247
callq 0x2270
movq 0x58(%rsp), %rax
leal (%rax,%r13), %r12d
movq %rbx, %rdi
movl %r12d, %esi
callq 0x2390
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x634b(%rip), %rsi      # 0xc247
callq 0x2270
movq 0x38(%rsp), %rax
leal (%rax,%r13), %r14d
movq %rbx, %rdi
movl %r14d, %esi
callq 0x2390
movq %rax, %rbx
movl $0x2, %edx
movq %rax, %rdi
leaq 0x6cf8(%rip), %rsi      # 0xcc1f
callq 0x2270
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
leaq 0x78(%rsp), %rdi
movl %ebp, %esi
callq 0x2390
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x62d6(%rip), %rsi      # 0xc247
callq 0x2270
negl %r12d
movq %rbx, %rdi
movl %r12d, %esi
callq 0x2390
movq %rax, %rbx
movl $0x2, %edx
movq %rax, %rdi
leaq 0x6c89(%rip), %rsi      # 0xcc1f
callq 0x2270
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
leaq 0x78(%rsp), %rdi
movl %ebp, %esi
callq 0x2390
movq %rax, %rbx
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6267(%rip), %rsi      # 0xc247
callq 0x2270
negl %r14d
movq %rbx, %rdi
movl %r14d, %esi
callq 0x2390
movq %rax, %rbx
movl $0x2, %edx
movq %rax, %rdi
leaq 0x6c1a(%rip), %rsi      # 0xcc1f
callq 0x2270
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
incl %r13d
movq 0x10(%rsp), %rax
movl (%rax,%r15,4), %eax
addl $-0x2, %eax
cmpl %eax, %r13d
jl 0x5ea8
movq 0x10(%rsp), %rax
movl (%rax,%r15,4), %eax
cmpl $0x2, %eax
leaq 0x6bc6(%rip), %r13      # 0xcc22
jl 0x60c7
xorl %ebp, %ebp
xorl %r12d, %r12d
movq 0x20(%rsp), %rcx
movl (%rcx,%r15,4), %ebx
addl %ebx, %eax
movl %ebp, %esi
subl %eax, %esi
leaq 0x78(%rsp), %rdi
callq 0x2390
movq %rax, %r14
movl $0x1, %edx
movq %rax, %rdi
leaq 0x61b9(%rip), %rsi      # 0xc247
callq 0x2270
notl %ebx
addl %ebp, %ebx
movq %r14, %rdi
movl %ebx, %esi
callq 0x2390
movl $0x3, %edx
movq %rax, %rdi
movq %r13, %rsi
callq 0x2270
incl %r12d
movq 0x10(%rsp), %rax
movl (%rax,%r15,4), %eax
leal -0x1(%rax), %ecx
decl %ebp
cmpl %ecx, %r12d
jl 0x6063
incq %r15
cmpq 0x68(%rsp), %r15
jne 0x5ce5
leaq 0x278(%rsp), %r15
leaq 0x1040(%rsp), %r12
leaq 0x6b2b(%rip), %r13      # 0xcc17
leaq 0xc(%rsp), %rbp
movq %r12, %rbx
movzbl (%rbx), %eax
cmpl $0x9, %eax
je 0x6101
cmpl $0x20, %eax
jne 0x6106
incq %rbx
jmp 0x60f4
xorl %r14d, %r14d
movzbl (%rbx,%r14), %eax
cmpq $0x20, %rax
ja 0x6124
movabsq $0x100000601, %rcx      # imm = 0x100000601
btq %rax, %rcx
jb 0x6131
movb %al, 0x480(%rsp,%r14)
incq %r14
jmp 0x6109
movb $0x0, 0x480(%rsp,%r14)
cmpb $0x0, 0x480(%rsp)
je 0x6215
leaq 0x480(%rsp), %rdi
leaq 0x6acf(%rip), %rsi      # 0xcc26
movq %rbp, %rdx
leaq 0xb(%rsp), %rcx
leaq 0x1c(%rsp), %r8
xorl %eax, %eax
callq 0x2210
cmpb $0x21, 0xb(%rsp)
jne 0x619a
leaq 0x480(%rsp), %rdi
leaq 0x6aae(%rip), %rsi      # 0xcc2f
movq %rbp, %rdx
leaq 0xb(%rsp), %rcx
leaq 0x2f(%rsp), %r8
leaq 0x1c(%rsp), %r9
xorl %eax, %eax
callq 0x2210
movslq 0xc(%rsp), %rax
testq %rax, %rax
je 0x6215
movq 0x10(%rsp), %rcx
cmpl $0x3, (%rcx,%rax,4)
jl 0x61e2
movl 0x1c(%rsp), %esi
movq 0x20(%rsp), %rcx
addl (%rcx,%rax,4), %esi
movl %esi, 0xc(%rsp)
cmpb $0x21, 0xb(%rsp)
jne 0x61f7
movl $0x1, %edx
leaq 0x78(%rsp), %rdi
leaq 0x6a64(%rip), %rsi      # 0xcc3b
callq 0x2270
movl 0xc(%rsp), %esi
jmp 0x61f7
cmpl $0x1, 0x1c(%rsp)
movq 0x20(%rsp), %rcx
movl (%rcx,%rax,4), %esi
je 0x61f3
negl %esi
movl %esi, 0xc(%rsp)
leaq 0x78(%rsp), %rdi
callq 0x2390
movl $0x1, %edx
movq %rax, %rdi
leaq 0x6037(%rip), %rsi      # 0xc247
callq 0x2270
addq %r14, %rbx
cmpb $0x0, (%rbx)
jne 0x60f4
movl $0x1, %edx
leaq 0x78(%rsp), %rdi
leaq 0x69ee(%rip), %rsi      # 0xcc20
callq 0x2270
movq 0x78(%rsp), %rax
movq -0x18(%rax), %rdi
leaq 0x78(%rsp), %rax
addq %rax, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
leaq 0x78(%rsp), %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
jmp 0x59b4
leaq 0x278(%rsp), %rdi
callq 0x2090
leaq 0x78(%rsp), %rdi
callq 0x22f0
movq 0x9d3e(%rip), %rax      # 0xffc8
movq (%rax), %rcx
movq 0x18(%rax), %rax
leaq 0x80(%rsp), %rdi
movq %rcx, -0x8(%rdi)
movq -0x18(%rcx), %rcx
movq %rax, 0x78(%rsp,%rcx)
callq 0x21c0
leaq 0x170(%rsp), %rdi
callq 0x20e0
leaq 0x278(%rsp), %rdi
callq 0x20a0
addq $0x1bf8, %rsp           # imm = 0x1BF8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x9cf2(%rip), %rdi      # 0xffd0
callq 0x2120
movq 0x9ce6(%rip), %rdi      # 0xffd0
leaq 0x67e3(%rip), %rsi      # 0xcad4
movl $0xf, %edx
callq 0x2270
movq 0x9cce(%rip), %rdi      # 0xffd0
callq 0x2120
movq 0x9cc2(%rip), %rdi      # 0xffd0
leaq 0x68bb(%rip), %rsi      # 0xcbd0
movl $0x1c, %edx
callq 0x2270
movq 0x9caa(%rip), %rdi      # 0xffd0
callq 0x2120
movq 0x9c9e(%rip), %rdi      # 0xffd0
callq 0x2120
jmp 0x6399
movq 0x9c90(%rip), %rdi      # 0xffd0
callq 0x2120
movq 0x9c84(%rip), %rdi      # 0xffd0
leaq 0x6781(%rip), %rsi      # 0xcad4
movl $0xf, %edx
callq 0x2270
movq 0x9c6c(%rip), %rdi      # 0xffd0
callq 0x2120
movq 0x9c60(%rip), %rdi      # 0xffd0
leaq 0x6876(%rip), %rsi      # 0xcbed
movl $0x1d, %edx
callq 0x2270
movq 0x9c48(%rip), %rdi      # 0xffd0
callq 0x2120
movq 0x9c3c(%rip), %rdi      # 0xffd0
callq 0x2120
movl $0x1, %edi
callq 0x2290
movq %rax, %rbx
jmp 0x63ee
jmp 0x63b6
jmp 0x63b6
jmp 0x63b6
jmp 0x63b6
jmp 0x63b6
jmp 0x63b6
jmp 0x63b6
movq %rax, %rbx
movq 0x9c08(%rip), %rax      # 0xffc8
movq (%rax), %rcx
movq 0x18(%rax), %rax
leaq 0x80(%rsp), %rdi
movq %rcx, -0x8(%rdi)
movq -0x18(%rcx), %rcx
movq %rax, 0x78(%rsp,%rcx)
callq 0x21c0
leaq 0x170(%rsp), %rdi
callq 0x20e0
leaq 0x278(%rsp), %rdi
callq 0x20a0
movq %rbx, %rdi
callq 0x23a0
nop