// File: /workspace/github_cpp_makefile_star2_O3/tanakh[P]icfpc2015/main.cpp
// Function: rec_beam(std::vector<std::vector<int, std::allocator<int>>, std::allocator<std::vector<int, std::allocator<int>>>> const&, unit const&, std::complex<int> const&, int, std::vector<int, std::allocator<int>>&, std::set<std::pair<std::pair<int, int>, int>, std::less<std::pair<std::pair<int, int>, int>>, std::allocator<std::pair<std::pair<int, int>, int>>>&, std::multiset<candidate, std::less<candidate>, std::allocator<candidate>>&, int, int, int, int, std::vector<int, std::allocator<int>> const&)
void rec_beam(const vector<vector<int>> &bd, const unit &u, const pt &pos, int rot,
              vector<int> &hist, set<pair<pair<int,int>, int>> &ss,
              multiset<candidate> &cand, int ls_old, int prev,
              int beam_width, int prev_score, const vector<int> &prev_moves)
{
  auto key = make_pair(make_pair(pos.real(), pos.imag()), rot);
  if (ss.count(key)) return;
  ss.insert(key);

  int invalid = -1;

  static const int tbl[][6] = {
    {1,0,2,3,4,5},
    {2,1,0,3,4,5},
    {0,1,2,3,4,5},
    {0,1,2,4,5,3},
  };
  const int *ord = tbl[3];


  // int ord[] = {0, 1, 2, 3, 4, 5};
  // for (int i = 0; i < 6; i++)
  //   swap(ord[i], ord[i+genrand_int31()%(6-i)]);

  for (int mov_ = 0; mov_ < 6; mov_++) {
    int mov = ord[mov_];
    pt npos = pos;
    int nrot = rot;
    switch(mov) {
    case W:   npos += pt(-2, 0); break;
    case E:   npos += pt(2, 0); break;
    case SW:  npos += pt(-1, 1); break;
    case SE:  npos += pt(1, 1); break;
    case CW:  nrot = (nrot + 1) % u.rot_max; break;
    case CCW: nrot = (nrot + u.rot_max - 1) % u.rot_max; break;
    }
    if (!check(bd, npos, u, nrot)) {
      invalid = mov;
      continue;
    }

    hist.push_back(mov);
    rec_beam(bd, u, npos, nrot, hist, ss, cand, ls_old, mov, beam_width, prev_score, prev_moves);
    hist.pop_back();
  }

  if (invalid >= 0) {
    double tscore =
      prev_score +
      calc_score(const_cast<vector<vector<int>>&>(bd), pos, u, rot, ls_old, hist);

    if ((int)cand.size() >= beam_width) {
      if (cand.begin()->score >= tscore) return;
      cand.erase(cand.begin());
    }

    candidate tmp;
    tmp.score = tscore;

    hist.push_back(invalid);
    tmp.moves = hist;
    hist.pop_back();

    vector<vector<int>> bdd = bd;
    auto tt = put_unit(bdd, pos, u, rot, ls_old);
    tmp.move_score = tt.first;
    tmp.board = bdd;
    tmp.ls_old = tt.second;

    tmp.prev_score = prev_score;
    tmp.prev_moves = prev_moves;

    cand.insert(tmp);
  }

  return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xe8, %rsp
movq %r9, %r13
movq %r8, %r14
movl %ecx, %r15d
movq %rdx, %rbx
movq %rsi, %r12
movq %rdi, %rbp
movq (%rdx), %rax
leaq 0xd8(%rsp), %rsi
movq %rax, (%rsi)
movl %ecx, 0x8(%rsi)
movq %r9, %rdi
callq 0x10884
leaq 0x8(%r13), %rcx
cmpq %rcx, %rax
je 0x62e5
addq $0xe8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rbx, 0x48(%rsp)
leaq 0xd8(%rsp), %rsi
movq %r13, 0x38(%rsp)
movq %r13, %rdi
callq 0x1092a
movl $0xffffffff, 0x40(%rsp) # imm = 0xFFFFFFFF
leal -0x1(%r15), %eax
movq %rax, 0x68(%rsp)
leal 0x1(%r15), %eax
movl %eax, 0x44(%rsp)
movl $0xffffffff, 0x34(%rsp) # imm = 0xFFFFFFFF
xorl %ebx, %ebx
leaq 0xeef7(%rip), %rax      # 0x15220
movl 0x48(%rax,%rbx,4), %edx
movl %edx, 0x50(%rsp)
movq 0x48(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x70(%rsp)
movl %r15d, %r13d
cmpq $0x5, %rdx
ja 0x639f
movq %rax, %rcx
shrq $0x20, %rcx
leaq 0xedf3(%rip), %rsi      # 0x15148
movslq (%rsi,%rdx,4), %rdx
addq %rsi, %rdx
jmpq *%rdx
addl $-0x2, %eax
jmp 0x6384
movl 0x44(%rsp), %eax
cltd
idivl 0x20(%r12)
jmp 0x639c
decl %eax
jmp 0x6375
incl %eax
movl %eax, 0x70(%rsp)
incl %ecx
movl %ecx, 0x74(%rsp)
jmp 0x6388
addl $0x2, %eax
movl %eax, 0x70(%rsp)
movl %r15d, %r13d
jmp 0x639f
movl 0x20(%r12), %ecx
movq 0x68(%rsp), %rax
addl %ecx, %eax
cltd
idivl %ecx
movl %edx, %r13d
movq %rbp, %rdi
leaq 0x70(%rsp), %rsi
movq %r12, %rdx
movl %r13d, %ecx
callq 0x504f
testb %al, %al
je 0x63d0
movq 0x8(%r14), %rsi
cmpq 0x10(%r14), %rsi
je 0x63de
movl 0x50(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%r14)
jmp 0x63eb
movl 0x50(%rsp), %eax
movl %eax, 0x34(%rsp)
movl %eax, 0x40(%rsp)
jmp 0x6445
movq %r14, %rdi
leaq 0x50(%rsp), %rdx
callq 0x10aaa
movq 0x148(%rsp), %rax
movq %rax, 0x28(%rsp)
movl 0x140(%rsp), %eax
movl %eax, 0x20(%rsp)
movl 0x138(%rsp), %eax
movl %eax, 0x18(%rsp)
movl 0x128(%rsp), %eax
movl %eax, 0x8(%rsp)
movq 0x120(%rsp), %rax
movq %rax, (%rsp)
movq %rbp, %rdi
movq %r12, %rsi
leaq 0x70(%rsp), %rdx
movl %r13d, %ecx
movq %r14, %r8
movq 0x38(%rsp), %r9
callq 0x628e
addq $-0x4, 0x8(%r14)
incq %rbx
cmpq $0x6, %rbx
jne 0x6322
cmpl $0x0, 0x34(%rsp)
movq 0x120(%rsp), %r13
movq 0x48(%rsp), %rbx
js 0x62d3
cvtsi2sdl 0x140(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
movq %rbp, %rdi
movq %rbx, %rsi
movq %r12, %rdx
movl %r15d, %ecx
callq 0x5886
addsd 0x38(%rsp), %xmm0
movl 0x138(%rsp), %eax
cmpl %eax, 0x28(%r13)
jl 0x64c4
movq 0x18(%r13), %rsi
movsd 0x78(%rsi), %xmm1
ucomisd %xmm0, %xmm1
jae 0x62d3
movq %r13, %rdi
movsd %xmm0, 0x38(%rsp)
callq 0x10c70
movsd 0x38(%rsp), %xmm0
xorpd %xmm1, %xmm1
movapd %xmm1, 0xb0(%rsp)
movq $0x0, 0xc0(%rsp)
movapd %xmm1, 0x70(%rsp)
movapd %xmm1, 0x80(%rsp)
movapd %xmm1, 0x90(%rsp)
movsd %xmm0, 0xc8(%rsp)
movq 0x8(%r14), %rsi
cmpq 0x10(%r14), %rsi
je 0x6518
movl 0x34(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%r14)
jmp 0x6525
leaq 0x40(%rsp), %rdx
movq %r14, %rdi
callq 0x10aaa
leaq 0x70(%rsp), %rdi
movq %r14, %rsi
callq 0xbc10
addq $-0x4, 0x8(%r14)
leaq 0x50(%rsp), %rdi
movq %rbp, %rsi
callq 0xbb1c
leaq 0x50(%rsp), %rdi
movq %rbx, %rsi
movq %r12, %rdx
movl %r15d, %ecx
movl 0x128(%rsp), %r8d
callq 0x5135
movq %rax, %r14
leaq 0xb0(%rsp), %rbx
movl %r14d, -0x10(%rbx)
leaq 0x50(%rsp), %rsi
movq %rbx, %rdi
callq 0xbcec
shrq $0x20, %r14
leaq 0x88(%rsp), %rdi
movl %r14d, 0x20(%rdi)
movl 0x140(%rsp), %eax
movl %eax, 0x1c(%rdi)
movq 0x148(%rsp), %rsi
callq 0xbc10
leaq 0x70(%rsp), %rsi
movq %r13, %rdi
callq 0x10caa
leaq 0x50(%rsp), %rdi
callq 0xbbae
movq %rbx, %rdi
callq 0xbbae
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x65d3
callq 0x32f0
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x62d3
callq 0x32f0
jmp 0x62d3
jmp 0x65ed
movq %rax, %rbx
jmp 0x65ff
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0xbbae
leaq 0x70(%rsp), %rdi
callq 0xbe74
movq %rbx, %rdi
callq 0x34a0