// File: Rubenmp[P]Rubik/src/defineRubik.cpp
// Function: Rubik::exportRubik(std::ostream&) const
void Rubik::exportRubik(std::ostream& os) const{
      os << corner[3].up << " " << edge[2].up << " " << corner[2].up << " ";
      os << edge[3].up << " " << center[0].center << " " << edge[1].up << " ";
      os << corner[0].up << " " << edge[0].up << " " << corner[1].up << " "<< endl;

      os << corner[3].right << " " << edge[3].down << " " << corner[0].left << " ";
      os << edge[10].down << " " << center[4].center << " " << edge[11].down << " ";
      os << corner[7].right << " " << edge[7].down << " " << corner[4].left << " " << endl;

      os << corner[0].right << " " << edge[0].down << " " << corner[1].left << " ";
      os << edge[11].up << " " << center[1].center << " " << edge[8].up << " ";
      os << corner[4].right << " " << edge[4].down << " " << corner[5].left << " "<< endl;

      os << corner[1].right << " " << edge[1].down << " " << corner[2].left << " ";
      os << edge[8].down << " " << center[2].center << " " << edge[9].down << " ";
      os << corner[5].right << " " << edge[5].down << " " << corner[6].left << " "<< endl;

      os << corner[2].right << " " << edge[2].down << " " << corner[3].left << " ";
      os << edge[9].up << " " << center[3].center << " " << edge[10].up << " ";
      os << corner[6].right << " " << edge[6].down << " " << corner[7].left << " " << endl;

      os << corner[4].up << " " << edge[4].up << " " << corner[5].up << " ";
      os << edge[7].up << " " << center[5].center << " " << edge[5].up << " ";
      os << corner[7].up << " " << edge[6].up << " " << corner[6].up << endl;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movsbl 0x27(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2bb5(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0xa(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2b96(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x24(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2b77(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0xc(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2b57(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl (%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2b39(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x8(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2b1a(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x1e(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2afa(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x6(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2adb(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x21(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2abc(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq 0x87b1(%rip), %rsi      # 0x1cfb8
callq 0x2260
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x29(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2a8d(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0xd(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2a6e(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x1f(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2a4f(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x1b(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2a2f(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x4(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2a10(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x1d(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x29f1(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x35(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x29d1(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x15(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x29b2(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x2b(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2993(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq 0x8688(%rip), %rsi      # 0x1cfb8
callq 0x2260
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x20(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2964(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x7(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2945(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x22(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2926(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x1c(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2906(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x1(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x28e7(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x16(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x28c8(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x2c(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x28a8(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0xf(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2889(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x2e(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x286a(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq 0x855f(%rip), %rsi      # 0x1cfb8
callq 0x2260
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x23(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x283b(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x9(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x281c(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x25(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x27fd(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x17(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x27dd(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x2(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x27be(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x19(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x279f(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x2f(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x277f(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x11(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2760(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x31(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2741(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq 0x8436(%rip), %rsi      # 0x1cfb8
callq 0x2260
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x26(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2712(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0xb(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x26f3(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x28(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x26d4(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x18(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x26b4(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x3(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2695(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x1a(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2676(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x32(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2656(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x13(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2637(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x34(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x2618(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq 0x830d(%rip), %rsi      # 0x1cfb8
callq 0x2260
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x2a(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x25e9(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0xe(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x25ca(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x2d(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x25ab(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x14(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x258b(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x5(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x256c(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x10(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x254d(%rip), %rsi      # 0x172b4
callq 0x2230
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rdi
movsbl 0x33(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x252d(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x12(%rax), %esi
callq 0x22e0
movq %rax, %rdi
leaq 0x250e(%rip), %rsi      # 0x172b4
callq 0x2230
movq %rax, %rdi
movq -0x18(%rbp), %rax
movsbl 0x30(%rax), %esi
callq 0x22e0
movq %rax, %rdi
movq 0x81f3(%rip), %rsi      # 0x1cfb8
callq 0x2260
addq $0x20, %rsp
popq %rbp
retq