// File: /workspace/github_cpp_makefile_star2_O2/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 %r15
pushq %r14
pushq %rbx
movq %rsi, %r15
movq %rdi, %rbx
movsbl 0x27(%rdi), %esi
movq %r15, %rdi
callq 0x2200
leaq 0x176d(%rip), %r14      # 0xb585
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0xa(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x24(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0xc(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl (%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x8(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x1e(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x6(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x21(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movq %rax, %rdi
callq 0x20f0
movsbl 0x29(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0xd(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x1f(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x1b(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x4(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x1d(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x35(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x15(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x2b(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movq %rax, %rdi
callq 0x20f0
movsbl 0x20(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x7(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x22(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x1c(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x1(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x16(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x2c(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0xf(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x2e(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movq %rax, %rdi
callq 0x20f0
movsbl 0x23(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x9(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x25(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x17(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x2(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x19(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x2f(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x11(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x31(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movq %rax, %rdi
callq 0x20f0
movsbl 0x26(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0xb(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x28(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x18(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x3(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x1a(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x32(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x13(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x34(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movq %rax, %rdi
callq 0x20f0
movsbl 0x2a(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0xe(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x2d(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x14(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x5(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x10(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x33(%rbx), %esi
movq %r15, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x12(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
movq %r14, %rsi
callq 0x21b0
movsbl 0x30(%rbx), %esi
movq %rax, %rdi
callq 0x2200
movq %rax, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x20f0
nop