// File: /workspace/github_cpp_makefile_star2_O2/tanakh[P]icfpc2015/main.cpp
// Function: output_solution(int, int, int, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
void output_solution(int problem_id, int seed, int score, const string &moves, const string &tag)
{
  stringstream ss;
  ss << "out-full/" << problem_id << "-" << seed << "-" << score << ".json";
  ofstream ofs(ss.str().c_str());

  object o;
  o["problemId"] = value((int64_t)problem_id);
  o["seed"] = value((int64_t)seed);
  if (tag != "")
    o["tag"] = value(tag);
  o["solution"] = value(moves);

  ofs << "[" << endl;
  ofs << value(o) << endl;
  ofs << "]" << endl;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x3f0, %rsp            # imm = 0x3F0
movq %r8, %r14
movq %rcx, %rbx
movl %edx, %r12d
movl %esi, %ebp
movl %edi, %r15d
leaq 0x68(%rsp), %rdi
callq 0x3210
leaq 0x78(%rsp), %rdi
leaq 0xc750(%rip), %rsi      # 0x124d3
callq 0x32f0
movq %rax, %rdi
movl %r15d, %esi
callq 0x3490
leaq 0xc743(%rip), %rsi      # 0x124dd
movq %rax, %rdi
callq 0x32f0
movq %rax, %rdi
movl %ebp, %esi
callq 0x3490
leaq 0xc72a(%rip), %rsi      # 0x124dd
movq %rax, %rdi
callq 0x32f0
movq %rax, %rdi
movl %r12d, %esi
callq 0x3490
leaq 0xc712(%rip), %rsi      # 0x124df
movq %rax, %rdi
callq 0x32f0
leaq 0x80(%rsp), %rsi
leaq 0x38(%rsp), %rdi
callq 0x3420
movq 0x38(%rsp), %rsi
leaq 0x1f0(%rsp), %rdi
pushq $0x10
popq %rdx
callq 0x3330
leaq 0x38(%rsp), %rdi
callq 0x3550
leaq 0x40(%rsp), %rax
andl $0x0, (%rax)
andq $0x0, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
andq $0x0, 0x20(%rax)
movslq %r15d, %rax
movl $0x6, 0x8(%rsp)
movq %rax, 0x10(%rsp)
leaq 0xc6ae(%rip), %rsi      # 0x124e5
leaq 0x18(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x30e0
leaq 0x38(%rsp), %rdi
leaq 0x18(%rsp), %rsi
callq 0x954c
leaq 0x8(%rsp), %rsi
movq %rax, %rdi
callq 0x9d22
leaq 0x18(%rsp), %rdi
callq 0x3550
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x9760
movslq %ebp, %rax
movl $0x6, (%r15)
movq %rax, 0x8(%r15)
leaq 0xc661(%rip), %rsi      # 0x124ef
leaq 0x18(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x30e0
leaq 0x38(%rsp), %rdi
leaq 0x18(%rsp), %rsi
callq 0x954c
leaq 0x8(%rsp), %rsi
movq %rax, %rdi
callq 0x9d22
leaq 0x18(%rsp), %rdi
callq 0x3550
leaq 0x8(%rsp), %rdi
callq 0x9760
leaq 0xc7d6(%rip), %rsi      # 0x126aa
movq %r14, %rdi
callq 0x9d6e
testb %al, %al
je 0x5f33
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
callq 0x9d78
leaq 0xc600(%rip), %rsi      # 0x124f4
leaq 0x18(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x30e0
leaq 0x38(%rsp), %rdi
leaq 0x18(%rsp), %rsi
callq 0x954c
leaq 0x8(%rsp), %rsi
movq %rax, %rdi
callq 0x9d22
leaq 0x18(%rsp), %rdi
callq 0x3550
leaq 0x8(%rsp), %rdi
callq 0x9760
leaq 0x8(%rsp), %rdi
movq %rbx, %rsi
callq 0x9d78
leaq 0xc5b1(%rip), %rsi      # 0x124f8
leaq 0x18(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x30e0
leaq 0x38(%rsp), %rdi
leaq 0x18(%rsp), %rsi
callq 0x954c
leaq 0x8(%rsp), %rsi
movq %rax, %rdi
callq 0x9d22
leaq 0x18(%rsp), %rdi
callq 0x3550
leaq 0x8(%rsp), %rdi
callq 0x9760
leaq 0xc398(%rip), %rsi      # 0x12325
leaq 0x1f0(%rsp), %rdi
callq 0x32f0
movq %rax, %rdi
callq 0x3130
leaq 0x18(%rsp), %rdi
leaq 0x38(%rsp), %rsi
callq 0x9de6
leaq 0x1f0(%rsp), %rdi
leaq 0x18(%rsp), %rsi
callq 0x9dbc
movq %rax, %rdi
callq 0x3130
leaq 0x18(%rsp), %rdi
callq 0x9760
leaq 0xc525(%rip), %rsi      # 0x12501
leaq 0x1f0(%rsp), %rdi
callq 0x32f0
movq %rax, %rdi
callq 0x3130
leaq 0x38(%rsp), %rdi
callq 0xa9d2
leaq 0x1f0(%rsp), %rdi
callq 0x33e0
leaq 0x68(%rsp), %rdi
callq 0x3250
addq $0x3f0, %rsp            # imm = 0x3F0
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x6030
jmp 0x606d
jmp 0x606d
jmp 0x6030
jmp 0x6054
jmp 0x606d
jmp 0x6030
movq %rax, %rbx
jmp 0x6061
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x3550
jmp 0x608c
jmp 0x6089
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
jmp 0x6066
jmp 0x6054
jmp 0x6054
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
callq 0x3550
leaq 0x8(%rsp), %rdi
callq 0x9760
jmp 0x6070
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0xa9d2
leaq 0x1f0(%rsp), %rdi
callq 0x33e0
jmp 0x608c
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
callq 0x3250
movq %rbx, %rdi
callq 0x34a0