// File: Rubenmp[P]Rubik/src/defineRubik.cpp
// Function: Rubik::positionFinalCorners(std::vector<char, std::allocator<char>>&)
void Rubik::positionFinalCorners(vector<char>& solution){
	// Orientate final corners

   if ((corner[4].up == 'y') && (corner[5].right == 'y') &&
      (corner[7].up == 'y') && (corner[6].left == 'y')) // RD2rdRdrlD2LDlDL
      sequence("RDDrdRdrlDDLDlDL", solution);
   else if ((corner[4].left == 'y') && (corner[5].up == 'y') &&
           (corner[7].right == 'y') && (corner[6].up == 'y')) // LD2ldLdlrD2RDrDR
      sequence("LDDldLdlrDDRDrDR", solution);
   else if ((corner[4].left == 'y') && (corner[5].right == 'y') &&
           (corner[7].right == 'y') && (corner[6].left == 'y')) // RD2rdRdrlD2LDlDL LD2ldLdlrD2RDrDR
      sequence("RDDrdRdrlDDLDlDLLDDldLdlrDDRDrDR", solution);
   else if ((corner[4].right == 'y') && (corner[5].left == 'y') &&
           (corner[7].up == 'y') && (corner[6].up == 'y')) // FD2fdFdfbD2BDbDB
      sequence("FDDfdFdfbDDBDbDB", solution);
   else if ((corner[4].up == 'y') && (corner[5].up == 'y') &&
           (corner[7].left == 'y') && (corner[6].right == 'y')) // BD2bdBdbfD2FDfDF
      sequence("BDDbdBdbfDDFDfDF", solution);
   else if ((corner[4].right == 'y') && (corner[5].left == 'y') && //
           (corner[7].left == 'y') && (corner[6].right == 'y')) // FD2fdFdfbD2BDbDB BD2bdBdbfD2FDfDF
      sequence("FDDfdFdfbDDBDbDBBDDbdBdbfDDFDfDF", solution);
   else if ((corner[4].up == 'y') && (corner[5].left == 'y') &&
           (corner[7].up == 'y') && (corner[6].right == 'y')) // ldLdlD2LRDrDRD2r
      sequence("ldLdlDDLRDrDRDDr", solution);
   else if ((corner[4].right == 'y') && (corner[5].up == 'y') &&
           (corner[7].left == 'y') && (corner[6].up == 'y')) // rdRdrD2RLDlDLD2l
      sequence("rdRdrDDRLDlDLDDl", solution);
   else if ((corner[4].up == 'y') && (corner[5].up == 'y') &&
           (corner[7].right == 'y') && (corner[6].left == 'y')) // fdFdfD2FBDbDBD2b
      sequence("fdFdfDDFBDbDBDDb", solution);
   else if ((corner[4].left == 'y') && (corner[5].right == 'y') &&
           (corner[7].up == 'y') && (corner[6].up == 'y')) // bdBdbD2BFDfDFD2f
      sequence("bdBdbDDBFDfDFDDf", solution);
   else if ((corner[4].left == 'y') && (corner[5].right == 'y') &&
           (corner[7].right == 'y') && (corner[6].left == 'y')) // fdFdfD2FBDbDBD2b bdBdbD2BFDfDFD2f
      sequence("fdFdfDDFBDbDBDDbbdBdbDDBFDfDFDDf", solution);
   else if ((corner[4].right == 'y') && (corner[5].left == 'y') &&
           (corner[7].right == 'y') && (corner[6].left == 'y')) // FD2fdFdfbD2BDbDB fdFdfD2FBDbDBD2b
      sequence("FDDfdFdfbDDBDbDBfdFdfDDFBDbDBDDb", solution);
   else if ((corner[4].left == 'y') && (corner[5].right == 'y') &&
           (corner[7].left == 'y') && (corner[6].right == 'y')) // bdBdbD2BFDfDFD2f BD2bdBdbfD2FDfDF
      sequence("bdBdbDDBFDfDFDDfBDDbdBdbfDDFDfDF", solution);
   else if ((corner[4].right == 'y') && (corner[5].right == 'y') &&
           (corner[7].left == 'y') && (corner[6].left == 'y')) // rdRdrD2RLDlDLD2l RD2rdRdrlD2LDlDL
      sequence("rdRdrDDRLDlDLDDlRDDrdRdrlDDLDlDL", solution);
   else if ((corner[4].left == 'y') && (corner[5].left == 'y') &&
           (corner[7].right == 'y') && (corner[6].right == 'y')) // LD2ldLdlrD2RDrDR ldLdlD2LRDrDRD2r
      sequence("LDDldLdlrDDRDrDRldLdlDDLRDrDRDDr", solution);

   //
   int yellows = 0;
   for (int i=0;i<4;i++){
      if (corner[4+i].up == 'y')
	      ++yellows;
   }
   if (yellows == 1){
      if (corner[4].up == 'y'){
         if (corner[5].right == 'y') // RUruRUrudRUruRUrudRUruRUruD2
            sequence("RUruRUrudRUruRUrudRUruRUruDD", solution);
   	   else if (corner[5].left == 'y') // fuFUfuFUdfuFUfuFUdfuFUfuFUD2
            sequence("fuFUfuFUdfuFUfuFUd fuFUfuFUDD", solution);
      }
      else if (corner[5].up == 'y'){
         if (corner[4].right == 'y') // FUfuFUfuDFUfuFUfuDFUfuFUfuD2
            sequence("FUfuFUfuDFUfuFUfuDFUfuFUfuDD", solution);
	      else if (corner[4].left == 'y') // luLUluLUDluLUluLUDluLUluLUD2
            sequence("luLUluLUDluLUluLUDluLUluLUDD", solution);
      }
      else if (corner[6].up == 'y'){
         if (corner[5].right == 'y') // RUruRUruDRUruRUruDRUruRUruD2
            sequence("RUruRUruDRUruRUruDRUruRUruDD", solution);
	      else if (corner[5].left == 'y') // fuFUfuFUDfuFUfuF UDfuFUfuFUD2
            sequence("fuFUfuFUDfuFUfuFUDfuFUfuFUDD", solution);
      }
      else if (corner[7].up == 'y'){
         if (corner[5].right == 'y') // RUruRUruDRUruRUruD2RUruRUruD
            sequence("RUruRUruDRUruRUruDDRUruRUruD", solution);
	      else if (corner[5].left == 'y') // fuFUfuFUDfuFUfuFUD2fuFUfuFUD
            sequence("fuFUfuFUDfuFUfuFUDDfuFUfuFUD", solution);
      }
   }
   else if (yellows == 2){
      if ((corner[4].up != 'y') && (corner[6].up != 'y')){
	      if (corner[4].left == 'y') // luLUluLUD2luLUluLUluLUluLUD2
            sequence("luLUluLUDDluLUluLUluLUluLUDD", solution);
	      else if (corner[4].right == 'y') // luLUluLUluLUluLUD2 luLUluLUD2
            sequence("luLUluLUluLUluLUDDluLUluLUDD", solution);
      }
	   else if ((corner[5].up != 'y') && (corner[7].up != 'y')){
	      if (corner[5].left == 'y') // fuFUfuFUD2fuFUfuFUfuFUfuFUD2
            sequence("fuFUfuFUDDfuFUfuFUfuFUfuFUDD", solution);
	      else if (corner[5].right == 'y') // fuFUfuFUfuFUf uFUD2fuFUfuFUD2
            sequence("fuFUfuFUfuFUfuFUDDfuFUfuFUDD", solution);
      }
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x540, %rsp            # imm = 0x540
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x468(%rbp)
movsbl 0x2a(%rax), %eax
cmpl $0x79, %eax
jne 0x103fe
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x103fe
movq -0x468(%rbp), %rax
movsbl 0x33(%rax), %eax
cmpl $0x79, %eax
jne 0x103fe
movq -0x468(%rbp), %rax
movsbl 0x31(%rax), %eax
cmpl $0x79, %eax
jne 0x103fe
leaq -0x31(%rbp), %rdi
movq %rdi, -0x470(%rbp)
callq 0x23d0
movq -0x470(%rbp), %rdx
leaq 0x75b9(%rip), %rsi      # 0x1794e
leaq -0x30(%rbp), %rdi
callq 0x3920
jmp 0x103a0
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x30(%rbp), %rsi
callq 0x5320
jmp 0x103b6
leaq -0x30(%rbp), %rdi
callq 0x2140
leaq -0x31(%rbp), %rdi
callq 0x2280
jmp 0x110ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x103f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x2140
leaq -0x31(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2b(%rax), %eax
cmpl $0x79, %eax
jne 0x104d5
movq -0x468(%rbp), %rax
movsbl 0x2d(%rax), %eax
cmpl $0x79, %eax
jne 0x104d5
movq -0x468(%rbp), %rax
movsbl 0x35(%rax), %eax
cmpl $0x79, %eax
jne 0x104d5
movq -0x468(%rbp), %rax
movsbl 0x30(%rax), %eax
cmpl $0x79, %eax
jne 0x104d5
leaq -0x69(%rbp), %rdi
movq %rdi, -0x478(%rbp)
callq 0x23d0
movq -0x478(%rbp), %rdx
leaq 0x741b(%rip), %rsi      # 0x17887
leaq -0x68(%rbp), %rdi
callq 0x3920
jmp 0x10477
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x68(%rbp), %rsi
callq 0x5320
jmp 0x1048d
leaq -0x68(%rbp), %rdi
callq 0x2140
leaq -0x69(%rbp), %rdi
callq 0x2280
jmp 0x110e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x104c7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x68(%rbp), %rdi
callq 0x2140
leaq -0x69(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2b(%rax), %eax
cmpl $0x79, %eax
jne 0x105c1
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x105c1
movq -0x468(%rbp), %rax
movsbl 0x35(%rax), %eax
cmpl $0x79, %eax
jne 0x105c1
movq -0x468(%rbp), %rax
movsbl 0x31(%rax), %eax
cmpl $0x79, %eax
jne 0x105c1
leaq -0x91(%rbp), %rdi
movq %rdi, -0x480(%rbp)
callq 0x23d0
movq -0x480(%rbp), %rdx
leaq 0x7331(%rip), %rsi      # 0x17877
leaq -0x90(%rbp), %rdi
callq 0x3920
jmp 0x10554
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x90(%rbp), %rsi
callq 0x5320
jmp 0x1056d
leaq -0x90(%rbp), %rdi
callq 0x2140
leaq -0x91(%rbp), %rdi
callq 0x2280
jmp 0x110e6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x105b0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x2140
leaq -0x91(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2c(%rax), %eax
cmpl $0x79, %eax
jne 0x106ad
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x106ad
movq -0x468(%rbp), %rax
movsbl 0x33(%rax), %eax
cmpl $0x79, %eax
jne 0x106ad
movq -0x468(%rbp), %rax
movsbl 0x30(%rax), %eax
cmpl $0x79, %eax
jne 0x106ad
leaq -0xb9(%rbp), %rdi
movq %rdi, -0x488(%rbp)
callq 0x23d0
movq -0x488(%rbp), %rdx
leaq 0x7266(%rip), %rsi      # 0x17898
leaq -0xb8(%rbp), %rdi
callq 0x3920
jmp 0x10640
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0xb8(%rbp), %rsi
callq 0x5320
jmp 0x10659
leaq -0xb8(%rbp), %rdi
callq 0x2140
leaq -0xb9(%rbp), %rdi
callq 0x2280
jmp 0x110e4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x1069c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x2140
leaq -0xb9(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2a(%rax), %eax
cmpl $0x79, %eax
jne 0x10799
movq -0x468(%rbp), %rax
movsbl 0x2d(%rax), %eax
cmpl $0x79, %eax
jne 0x10799
movq -0x468(%rbp), %rax
movsbl 0x34(%rax), %eax
cmpl $0x79, %eax
jne 0x10799
movq -0x468(%rbp), %rax
movsbl 0x32(%rax), %eax
cmpl $0x79, %eax
jne 0x10799
leaq -0xe1(%rbp), %rdi
movq %rdi, -0x490(%rbp)
callq 0x23d0
movq -0x490(%rbp), %rdx
leaq 0x719b(%rip), %rsi      # 0x178b9
leaq -0xe0(%rbp), %rdi
callq 0x3920
jmp 0x1072c
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0xe0(%rbp), %rsi
callq 0x5320
jmp 0x10745
leaq -0xe0(%rbp), %rdi
callq 0x2140
leaq -0xe1(%rbp), %rdi
callq 0x2280
jmp 0x110e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10788
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x2140
leaq -0xe1(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2c(%rax), %eax
cmpl $0x79, %eax
jne 0x10885
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x10885
movq -0x468(%rbp), %rax
movsbl 0x34(%rax), %eax
cmpl $0x79, %eax
jne 0x10885
movq -0x468(%rbp), %rax
movsbl 0x32(%rax), %eax
cmpl $0x79, %eax
jne 0x10885
leaq -0x109(%rbp), %rdi
movq %rdi, -0x498(%rbp)
callq 0x23d0
movq -0x498(%rbp), %rdx
leaq 0x709f(%rip), %rsi      # 0x178a9
leaq -0x108(%rbp), %rdi
callq 0x3920
jmp 0x10818
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x108(%rbp), %rsi
callq 0x5320
jmp 0x10831
leaq -0x108(%rbp), %rdi
callq 0x2140
leaq -0x109(%rbp), %rdi
callq 0x2280
jmp 0x110e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10874
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x108(%rbp), %rdi
callq 0x2140
leaq -0x109(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2a(%rax), %eax
cmpl $0x79, %eax
jne 0x10971
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x10971
movq -0x468(%rbp), %rax
movsbl 0x33(%rax), %eax
cmpl $0x79, %eax
jne 0x10971
movq -0x468(%rbp), %rax
movsbl 0x32(%rax), %eax
cmpl $0x79, %eax
jne 0x10971
leaq -0x131(%rbp), %rdi
movq %rdi, -0x4a0(%rbp)
callq 0x23d0
movq -0x4a0(%rbp), %rdx
leaq 0x7079(%rip), %rsi      # 0x1796f
leaq -0x130(%rbp), %rdi
callq 0x3920
jmp 0x10904
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x130(%rbp), %rsi
callq 0x5320
jmp 0x1091d
leaq -0x130(%rbp), %rdi
callq 0x2140
leaq -0x131(%rbp), %rdi
callq 0x2280
jmp 0x110de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10960
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x130(%rbp), %rdi
callq 0x2140
leaq -0x131(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2c(%rax), %eax
cmpl $0x79, %eax
jne 0x10a5d
movq -0x468(%rbp), %rax
movsbl 0x2d(%rax), %eax
cmpl $0x79, %eax
jne 0x10a5d
movq -0x468(%rbp), %rax
movsbl 0x34(%rax), %eax
cmpl $0x79, %eax
jne 0x10a5d
movq -0x468(%rbp), %rax
movsbl 0x30(%rax), %eax
cmpl $0x79, %eax
jne 0x10a5d
leaq -0x159(%rbp), %rdi
movq %rdi, -0x4a8(%rbp)
callq 0x23d0
movq -0x4a8(%rbp), %rdx
leaq 0x6ee8(%rip), %rsi      # 0x178ca
leaq -0x158(%rbp), %rdi
callq 0x3920
jmp 0x109f0
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x158(%rbp), %rsi
callq 0x5320
jmp 0x10a09
leaq -0x158(%rbp), %rdi
callq 0x2140
leaq -0x159(%rbp), %rdi
callq 0x2280
jmp 0x110dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10a4c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x158(%rbp), %rdi
callq 0x2140
leaq -0x159(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2a(%rax), %eax
cmpl $0x79, %eax
jne 0x10b49
movq -0x468(%rbp), %rax
movsbl 0x2d(%rax), %eax
cmpl $0x79, %eax
jne 0x10b49
movq -0x468(%rbp), %rax
movsbl 0x35(%rax), %eax
cmpl $0x79, %eax
jne 0x10b49
movq -0x468(%rbp), %rax
movsbl 0x31(%rax), %eax
cmpl $0x79, %eax
jne 0x10b49
leaq -0x181(%rbp), %rdi
movq %rdi, -0x4b0(%rbp)
callq 0x23d0
movq -0x4b0(%rbp), %rdx
leaq 0x6e3e(%rip), %rsi      # 0x1790c
leaq -0x180(%rbp), %rdi
callq 0x3920
jmp 0x10adc
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x180(%rbp), %rsi
callq 0x5320
jmp 0x10af5
leaq -0x180(%rbp), %rdi
callq 0x2140
leaq -0x181(%rbp), %rdi
callq 0x2280
jmp 0x110da
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10b38
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x180(%rbp), %rdi
callq 0x2140
leaq -0x181(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2b(%rax), %eax
cmpl $0x79, %eax
jne 0x10c35
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x10c35
movq -0x468(%rbp), %rax
movsbl 0x33(%rax), %eax
cmpl $0x79, %eax
jne 0x10c35
movq -0x468(%rbp), %rax
movsbl 0x30(%rax), %eax
cmpl $0x79, %eax
jne 0x10c35
leaq -0x1a9(%rbp), %rdi
movq %rdi, -0x4b8(%rbp)
callq 0x23d0
movq -0x4b8(%rbp), %rdx
leaq 0x6d31(%rip), %rsi      # 0x178eb
leaq -0x1a8(%rbp), %rdi
callq 0x3920
jmp 0x10bc8
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x1a8(%rbp), %rsi
callq 0x5320
jmp 0x10be1
leaq -0x1a8(%rbp), %rdi
callq 0x2140
leaq -0x1a9(%rbp), %rdi
callq 0x2280
jmp 0x110d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10c24
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1a8(%rbp), %rdi
callq 0x2140
leaq -0x1a9(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2b(%rax), %eax
cmpl $0x79, %eax
jne 0x10d21
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x10d21
movq -0x468(%rbp), %rax
movsbl 0x35(%rax), %eax
cmpl $0x79, %eax
jne 0x10d21
movq -0x468(%rbp), %rax
movsbl 0x31(%rax), %eax
cmpl $0x79, %eax
jne 0x10d21
leaq -0x1d1(%rbp), %rdi
movq %rdi, -0x4c0(%rbp)
callq 0x23d0
movq -0x4c0(%rbp), %rdx
leaq 0x6c35(%rip), %rsi      # 0x178db
leaq -0x1d0(%rbp), %rdi
callq 0x3920
jmp 0x10cb4
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x1d0(%rbp), %rsi
callq 0x5320
jmp 0x10ccd
leaq -0x1d0(%rbp), %rdi
callq 0x2140
leaq -0x1d1(%rbp), %rdi
callq 0x2280
jmp 0x110d6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10d10
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1d0(%rbp), %rdi
callq 0x2140
leaq -0x1d1(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2c(%rax), %eax
cmpl $0x79, %eax
jne 0x10e0d
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x10e0d
movq -0x468(%rbp), %rax
movsbl 0x35(%rax), %eax
cmpl $0x79, %eax
jne 0x10e0d
movq -0x468(%rbp), %rax
movsbl 0x31(%rax), %eax
cmpl $0x79, %eax
jne 0x10e0d
leaq -0x1f9(%rbp), %rdi
movq %rdi, -0x4c8(%rbp)
callq 0x23d0
movq -0x4c8(%rbp), %rdx
leaq 0x6b6a(%rip), %rsi      # 0x178fc
leaq -0x1f8(%rbp), %rdi
callq 0x3920
jmp 0x10da0
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x1f8(%rbp), %rsi
callq 0x5320
jmp 0x10db9
leaq -0x1f8(%rbp), %rdi
callq 0x2140
leaq -0x1f9(%rbp), %rdi
callq 0x2280
jmp 0x110d4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10dfc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1f8(%rbp), %rdi
callq 0x2140
leaq -0x1f9(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2b(%rax), %eax
cmpl $0x79, %eax
jne 0x10ef9
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x10ef9
movq -0x468(%rbp), %rax
movsbl 0x34(%rax), %eax
cmpl $0x79, %eax
jne 0x10ef9
movq -0x468(%rbp), %rax
movsbl 0x32(%rax), %eax
cmpl $0x79, %eax
jne 0x10ef9
leaq -0x221(%rbp), %rdi
movq %rdi, -0x4d0(%rbp)
callq 0x23d0
movq -0x4d0(%rbp), %rdx
leaq 0x6a9f(%rip), %rsi      # 0x1791d
leaq -0x220(%rbp), %rdi
callq 0x3920
jmp 0x10e8c
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x220(%rbp), %rsi
callq 0x5320
jmp 0x10ea5
leaq -0x220(%rbp), %rdi
callq 0x2140
leaq -0x221(%rbp), %rdi
callq 0x2280
jmp 0x110d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10ee8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x220(%rbp), %rdi
callq 0x2140
leaq -0x221(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2c(%rax), %eax
cmpl $0x79, %eax
jne 0x10fe5
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x10fe5
movq -0x468(%rbp), %rax
movsbl 0x34(%rax), %eax
cmpl $0x79, %eax
jne 0x10fe5
movq -0x468(%rbp), %rax
movsbl 0x31(%rax), %eax
cmpl $0x79, %eax
jne 0x10fe5
leaq -0x249(%rbp), %rdi
movq %rdi, -0x4d8(%rbp)
callq 0x23d0
movq -0x4d8(%rbp), %rdx
leaq 0x69d4(%rip), %rsi      # 0x1793e
leaq -0x248(%rbp), %rdi
callq 0x3920
jmp 0x10f78
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x248(%rbp), %rsi
callq 0x5320
jmp 0x10f91
leaq -0x248(%rbp), %rdi
callq 0x2140
leaq -0x249(%rbp), %rdi
callq 0x2280
jmp 0x110d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x10fd4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x248(%rbp), %rdi
callq 0x2140
leaq -0x249(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2b(%rax), %eax
cmpl $0x79, %eax
jne 0x110ce
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x110ce
movq -0x468(%rbp), %rax
movsbl 0x35(%rax), %eax
cmpl $0x79, %eax
jne 0x110ce
movq -0x468(%rbp), %rax
movsbl 0x32(%rax), %eax
cmpl $0x79, %eax
jne 0x110ce
leaq -0x271(%rbp), %rdi
movq %rdi, -0x4e0(%rbp)
callq 0x23d0
movq -0x4e0(%rbp), %rdx
leaq 0x6909(%rip), %rsi      # 0x1795f
leaq -0x270(%rbp), %rdi
callq 0x3920
jmp 0x11064
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x270(%rbp), %rsi
callq 0x5320
jmp 0x1107d
leaq -0x270(%rbp), %rdi
callq 0x2140
leaq -0x271(%rbp), %rdi
callq 0x2280
jmp 0x110ce
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x110bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x270(%rbp), %rdi
callq 0x2140
leaq -0x271(%rbp), %rdi
callq 0x2280
jmp 0x11a72
jmp 0x110d0
jmp 0x110d2
jmp 0x110d4
jmp 0x110d6
jmp 0x110d8
jmp 0x110da
jmp 0x110dc
jmp 0x110de
jmp 0x110e0
jmp 0x110e2
jmp 0x110e4
jmp 0x110e6
jmp 0x110e8
jmp 0x110ea
movl $0x0, -0x278(%rbp)
movl $0x0, -0x27c(%rbp)
cmpl $0x4, -0x27c(%rbp)
jge 0x1114f
movq -0x468(%rbp), %rax
addq $0x1e, %rax
movl -0x27c(%rbp), %ecx
addl $0x4, %ecx
movslq %ecx, %rcx
imulq $0x3, %rcx, %rcx
addq %rcx, %rax
movsbl (%rax), %eax
cmpl $0x79, %eax
jne 0x1113c
movl -0x278(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x278(%rbp)
jmp 0x1113e
movl -0x27c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x27c(%rbp)
jmp 0x110fe
cmpl $0x1, -0x278(%rbp)
jne 0x11744
movq -0x468(%rbp), %rax
movsbl 0x2a(%rax), %eax
cmpl $0x79, %eax
jne 0x112d4
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x11220
leaq -0x2a1(%rbp), %rdi
movq %rdi, -0x4e8(%rbp)
callq 0x23d0
movq -0x4e8(%rbp), %rdx
leaq 0x67db(%rip), %rsi      # 0x17980
leaq -0x2a0(%rbp), %rdi
callq 0x3920
jmp 0x111b3
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x2a0(%rbp), %rsi
callq 0x5320
jmp 0x111cc
leaq -0x2a0(%rbp), %rdi
callq 0x2140
leaq -0x2a1(%rbp), %rdi
callq 0x2280
jmp 0x112cf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x1120f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x2a0(%rbp), %rdi
callq 0x2140
leaq -0x2a1(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x112cd
leaq -0x2c9(%rbp), %rdi
movq %rdi, -0x4f0(%rbp)
callq 0x23d0
movq -0x4f0(%rbp), %rdx
leaq 0x6748(%rip), %rsi      # 0x1799d
leaq -0x2c8(%rbp), %rdi
callq 0x3920
jmp 0x11263
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x2c8(%rbp), %rsi
callq 0x5320
jmp 0x1127c
leaq -0x2c8(%rbp), %rdi
callq 0x2140
leaq -0x2c9(%rbp), %rdi
callq 0x2280
jmp 0x112cd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x112bc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x2c8(%rbp), %rdi
callq 0x2140
leaq -0x2c9(%rbp), %rdi
callq 0x2280
jmp 0x11a72
jmp 0x112cf
jmp 0x1173f
movq -0x468(%rbp), %rax
movsbl 0x2d(%rax), %eax
cmpl $0x79, %eax
jne 0x1144c
movq -0x468(%rbp), %rax
movsbl 0x2c(%rax), %eax
cmpl $0x79, %eax
jne 0x11398
leaq -0x2f1(%rbp), %rdi
movq %rdi, -0x4f8(%rbp)
callq 0x23d0
movq -0x4f8(%rbp), %rdx
leaq 0x669e(%rip), %rsi      # 0x179bb
leaq -0x2f0(%rbp), %rdi
callq 0x3920
jmp 0x1132b
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x2f0(%rbp), %rsi
callq 0x5320
jmp 0x11344
leaq -0x2f0(%rbp), %rdi
callq 0x2140
leaq -0x2f1(%rbp), %rdi
callq 0x2280
jmp 0x11447
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x11387
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x2f0(%rbp), %rdi
callq 0x2140
leaq -0x2f1(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2b(%rax), %eax
cmpl $0x79, %eax
jne 0x11445
leaq -0x319(%rbp), %rdi
movq %rdi, -0x500(%rbp)
callq 0x23d0
movq -0x500(%rbp), %rdx
leaq 0x660b(%rip), %rsi      # 0x179d8
leaq -0x318(%rbp), %rdi
callq 0x3920
jmp 0x113db
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x318(%rbp), %rsi
callq 0x5320
jmp 0x113f4
leaq -0x318(%rbp), %rdi
callq 0x2140
leaq -0x319(%rbp), %rdi
callq 0x2280
jmp 0x11445
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x11434
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x318(%rbp), %rdi
callq 0x2140
leaq -0x319(%rbp), %rdi
callq 0x2280
jmp 0x11a72
jmp 0x11447
jmp 0x1173d
movq -0x468(%rbp), %rax
movsbl 0x30(%rax), %eax
cmpl $0x79, %eax
jne 0x115c4
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x11510
leaq -0x341(%rbp), %rdi
movq %rdi, -0x508(%rbp)
callq 0x23d0
movq -0x508(%rbp), %rdx
leaq 0x6560(%rip), %rsi      # 0x179f5
leaq -0x340(%rbp), %rdi
callq 0x3920
jmp 0x114a3
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x340(%rbp), %rsi
callq 0x5320
jmp 0x114bc
leaq -0x340(%rbp), %rdi
callq 0x2140
leaq -0x341(%rbp), %rdi
callq 0x2280
jmp 0x115bf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x114ff
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x340(%rbp), %rdi
callq 0x2140
leaq -0x341(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x115bd
leaq -0x369(%rbp), %rdi
movq %rdi, -0x510(%rbp)
callq 0x23d0
movq -0x510(%rbp), %rdx
leaq 0x64cd(%rip), %rsi      # 0x17a12
leaq -0x368(%rbp), %rdi
callq 0x3920
jmp 0x11553
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x368(%rbp), %rsi
callq 0x5320
jmp 0x1156c
leaq -0x368(%rbp), %rdi
callq 0x2140
leaq -0x369(%rbp), %rdi
callq 0x2280
jmp 0x115bd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x115ac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x368(%rbp), %rdi
callq 0x2140
leaq -0x369(%rbp), %rdi
callq 0x2280
jmp 0x11a72
jmp 0x115bf
jmp 0x1173b
movq -0x468(%rbp), %rax
movsbl 0x33(%rax), %eax
cmpl $0x79, %eax
jne 0x11739
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x11688
leaq -0x391(%rbp), %rdi
movq %rdi, -0x518(%rbp)
callq 0x23d0
movq -0x518(%rbp), %rdx
leaq 0x6422(%rip), %rsi      # 0x17a2f
leaq -0x390(%rbp), %rdi
callq 0x3920
jmp 0x1161b
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x390(%rbp), %rsi
callq 0x5320
jmp 0x11634
leaq -0x390(%rbp), %rdi
callq 0x2140
leaq -0x391(%rbp), %rdi
callq 0x2280
jmp 0x11737
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x11677
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x390(%rbp), %rdi
callq 0x2140
leaq -0x391(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x11735
leaq -0x3b9(%rbp), %rdi
movq %rdi, -0x520(%rbp)
callq 0x23d0
movq -0x520(%rbp), %rdx
leaq 0x638f(%rip), %rsi      # 0x17a4c
leaq -0x3b8(%rbp), %rdi
callq 0x3920
jmp 0x116cb
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x3b8(%rbp), %rsi
callq 0x5320
jmp 0x116e4
leaq -0x3b8(%rbp), %rdi
callq 0x2140
leaq -0x3b9(%rbp), %rdi
callq 0x2280
jmp 0x11735
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x11724
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x3b8(%rbp), %rdi
callq 0x2140
leaq -0x3b9(%rbp), %rdi
callq 0x2280
jmp 0x11a72
jmp 0x11737
jmp 0x11739
jmp 0x1173b
jmp 0x1173d
jmp 0x1173f
jmp 0x11a69
cmpl $0x2, -0x278(%rbp)
jne 0x11a67
movq -0x468(%rbp), %rax
movsbl 0x2a(%rax), %eax
cmpl $0x79, %eax
je 0x118dd
movq -0x468(%rbp), %rax
movsbl 0x30(%rax), %eax
cmpl $0x79, %eax
je 0x118dd
movq -0x468(%rbp), %rax
movsbl 0x2b(%rax), %eax
cmpl $0x79, %eax
jne 0x11829
leaq -0x3e1(%rbp), %rdi
movq %rdi, -0x528(%rbp)
callq 0x23d0
movq -0x528(%rbp), %rdx
leaq 0x62bb(%rip), %rsi      # 0x17a69
leaq -0x3e0(%rbp), %rdi
callq 0x3920
jmp 0x117bc
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x3e0(%rbp), %rsi
callq 0x5320
jmp 0x117d5
leaq -0x3e0(%rbp), %rdi
callq 0x2140
leaq -0x3e1(%rbp), %rdi
callq 0x2280
jmp 0x118d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x11818
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x3e0(%rbp), %rdi
callq 0x2140
leaq -0x3e1(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2c(%rax), %eax
cmpl $0x79, %eax
jne 0x118d6
leaq -0x409(%rbp), %rdi
movq %rdi, -0x530(%rbp)
callq 0x23d0
movq -0x530(%rbp), %rdx
leaq 0x6228(%rip), %rsi      # 0x17a86
leaq -0x408(%rbp), %rdi
callq 0x3920
jmp 0x1186c
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x408(%rbp), %rsi
callq 0x5320
jmp 0x11885
leaq -0x408(%rbp), %rdi
callq 0x2140
leaq -0x409(%rbp), %rdi
callq 0x2280
jmp 0x118d6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x118c5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x408(%rbp), %rdi
callq 0x2140
leaq -0x409(%rbp), %rdi
callq 0x2280
jmp 0x11a72
jmp 0x118d8
jmp 0x11a65
movq -0x468(%rbp), %rax
movsbl 0x2d(%rax), %eax
cmpl $0x79, %eax
je 0x11a63
movq -0x468(%rbp), %rax
movsbl 0x33(%rax), %eax
cmpl $0x79, %eax
je 0x11a63
movq -0x468(%rbp), %rax
movsbl 0x2e(%rax), %eax
cmpl $0x79, %eax
jne 0x119b5
leaq -0x431(%rbp), %rdi
movq %rdi, -0x538(%rbp)
callq 0x23d0
movq -0x538(%rbp), %rdx
leaq 0x6169(%rip), %rsi      # 0x17aa3
leaq -0x430(%rbp), %rdi
callq 0x3920
jmp 0x11948
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x430(%rbp), %rsi
callq 0x5320
jmp 0x11961
leaq -0x430(%rbp), %rdi
callq 0x2140
leaq -0x431(%rbp), %rdi
callq 0x2280
jmp 0x11a61
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x119a4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x430(%rbp), %rdi
callq 0x2140
leaq -0x431(%rbp), %rdi
callq 0x2280
jmp 0x11a72
movq -0x468(%rbp), %rax
movsbl 0x2f(%rax), %eax
cmpl $0x79, %eax
jne 0x11a5f
leaq -0x459(%rbp), %rdi
movq %rdi, -0x540(%rbp)
callq 0x23d0
movq -0x540(%rbp), %rdx
leaq 0x60d6(%rip), %rsi      # 0x17ac0
leaq -0x458(%rbp), %rdi
callq 0x3920
jmp 0x119f8
movq -0x468(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq -0x458(%rbp), %rsi
callq 0x5320
jmp 0x11a11
leaq -0x458(%rbp), %rdi
callq 0x2140
leaq -0x459(%rbp), %rdi
callq 0x2280
jmp 0x11a5f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x11a51
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x458(%rbp), %rdi
callq 0x2140
leaq -0x459(%rbp), %rdi
callq 0x2280
jmp 0x11a72
jmp 0x11a61
jmp 0x11a63
jmp 0x11a65
jmp 0x11a67
jmp 0x11a69
addq $0x540, %rsp            # imm = 0x540
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x23c0
nopl (%rax,%rax)