// File: /workspace/github_c_makefile_star2_O0/silverneko[P]miku/./src/server_io.cpp
// Function: sendResult(submission&, int, bool)
int sendResult(submission &sub, int verdict, bool done)
{
   ostringstream sout;
   sout << "update_verdict.py " << sub.submission_id << ' ';
   if(verdict == CE){
      sout << "CE";
   }else if(verdict == ER){
      sout << "ER";
   }else{
      for(int i = 0; i < sub.testdata_count; ++i){
         sout << fromVerdict(sub.verdict[i]).toAbr() << '/';
         sout << sub.time[i] << '/';
         sout << sub.mem[i] << '/';
         
         cerr << "td" << i << " : time " << sub.time[i];
         cerr << " mem " << sub.mem[i];
         cerr << " verdict " << fromVerdict(sub.verdict[i]).toStr();
         cerr << endl;
      }
   }
   if(done){
      sout << " OK OK";
   }else{
      sout << " NO NO";
   }
   system(sout.str().c_str());
   return 0;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x230, %rsp            # imm = 0x230
movb %dl, %al
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
andb $0x1, %al
movb %al, -0xd(%rbp)
leaq -0x188(%rbp), %rdi
movq %rdi, -0x1d0(%rbp)
callq 0x4480
movq -0x1d0(%rbp), %rdi
leaq 0x1995(%rip), %rsi      # 0xf7cf
callq 0x4320
movq %rax, -0x1c8(%rbp)
jmp 0xde48
movq -0x1c8(%rbp), %rdi
movq -0x8(%rbp), %rax
movl 0x4(%rax), %esi
callq 0x45e0
movq %rax, -0x1d8(%rbp)
jmp 0xde64
movq -0x1d8(%rbp), %rdi
movl $0x20, %esi
callq 0x43e0
jmp 0xde77
cmpl $0x11, -0xc(%rbp)
jne 0xdeae
leaq 0x195e(%rip), %rsi      # 0xf7e2
leaq -0x188(%rbp), %rdi
callq 0x4320
jmp 0xde92
jmp 0xe10a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x190(%rbp)
movl %eax, -0x194(%rbp)
jmp 0xe1aa
cmpl $0x13, -0xc(%rbp)
jne 0xdece
leaq 0x192a(%rip), %rsi      # 0xf7e5
leaq -0x188(%rbp), %rdi
callq 0x4320
jmp 0xdec9
jmp 0xe108
movl $0x0, -0x198(%rbp)
movl -0x198(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0xf0(%rcx), %eax
jge 0xe106
movq -0x8(%rbp), %rax
movslq -0x198(%rbp), %rcx
movl 0x734(%rax,%rcx,4), %esi
leaq -0x19c(%rbp), %rdi
callq 0xe380
jmp 0xdf0e
leaq -0x19c(%rbp), %rdi
callq 0xe3a0
movq %rax, -0x1e0(%rbp)
jmp 0xdf23
movq -0x1e0(%rbp), %rsi
leaq -0x188(%rbp), %rdi
callq 0x4320
movq %rax, -0x1e8(%rbp)
jmp 0xdf3f
movq -0x1e8(%rbp), %rdi
movl $0x2f, %esi
callq 0x43e0
jmp 0xdf52
movq -0x8(%rbp), %rax
movslq -0x198(%rbp), %rcx
movl 0xd74(%rax,%rcx,4), %esi
leaq -0x188(%rbp), %rdi
callq 0x45e0
movq %rax, -0x1f0(%rbp)
jmp 0xdf79
movq -0x1f0(%rbp), %rdi
movl $0x2f, %esi
callq 0x43e0
jmp 0xdf8c
movq -0x8(%rbp), %rax
movslq -0x198(%rbp), %rcx
movl 0xa54(%rax,%rcx,4), %esi
leaq -0x188(%rbp), %rdi
callq 0x45e0
movq %rax, -0x1f8(%rbp)
jmp 0xdfb3
movq -0x1f8(%rbp), %rdi
movl $0x2f, %esi
callq 0x43e0
jmp 0xdfc6
movq 0x7023(%rip), %rdi      # 0x14ff0
leaq 0x1814(%rip), %rsi      # 0xf7e8
callq 0x4320
movq %rax, -0x200(%rbp)
jmp 0xdfe2
movq -0x200(%rbp), %rdi
movl -0x198(%rbp), %esi
callq 0x45e0
movq %rax, -0x208(%rbp)
jmp 0xdffd
movq -0x208(%rbp), %rdi
leaq 0x17e0(%rip), %rsi      # 0xf7eb
callq 0x4320
movq %rax, -0x210(%rbp)
jmp 0xe019
movq -0x210(%rbp), %rdi
movq -0x8(%rbp), %rax
movslq -0x198(%rbp), %rcx
movl 0xd74(%rax,%rcx,4), %esi
callq 0x45e0
jmp 0xe039
movq 0x6fb0(%rip), %rdi      # 0x14ff0
leaq 0x17ad(%rip), %rsi      # 0xf7f4
callq 0x4320
movq %rax, -0x218(%rbp)
jmp 0xe055
movq -0x218(%rbp), %rdi
movq -0x8(%rbp), %rax
movslq -0x198(%rbp), %rcx
movl 0xa54(%rax,%rcx,4), %esi
callq 0x45e0
jmp 0xe075
movq 0x6f74(%rip), %rdi      # 0x14ff0
leaq 0x1777(%rip), %rsi      # 0xf7fa
callq 0x4320
movq %rax, -0x220(%rbp)
jmp 0xe091
movq -0x8(%rbp), %rax
movslq -0x198(%rbp), %rcx
movl 0x734(%rax,%rcx,4), %esi
leaq -0x1a0(%rbp), %rdi
callq 0xe380
jmp 0xe0b1
leaq -0x1a0(%rbp), %rdi
callq 0xe470
movq %rax, -0x228(%rbp)
jmp 0xe0c6
movq -0x228(%rbp), %rsi
movq -0x220(%rbp), %rdi
callq 0x4320
jmp 0xe0db
movq 0x6f0e(%rip), %rdi      # 0x14ff0
movq 0x6ebf(%rip), %rsi      # 0x14fa8
callq 0x4370
jmp 0xe0f0
jmp 0xe0f2
movl -0x198(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x198(%rbp)
jmp 0xded8
jmp 0xe108
jmp 0xe10a
testb $0x1, -0xd(%rbp)
je 0xe127
leaq 0x16ed(%rip), %rsi      # 0xf804
leaq -0x188(%rbp), %rdi
callq 0x4320
jmp 0xe125
jmp 0xe13e
leaq 0x16dd(%rip), %rsi      # 0xf80b
leaq -0x188(%rbp), %rdi
callq 0x4320
jmp 0xe13c
jmp 0xe13e
leaq -0x1c0(%rbp), %rdi
leaq -0x188(%rbp), %rsi
callq 0x4350
jmp 0xe153
leaq -0x1c0(%rbp), %rdi
callq 0x4180
movq %rax, %rdi
callq 0x42f0
jmp 0xe169
leaq -0x1c0(%rbp), %rdi
callq 0x4240
leaq -0x188(%rbp), %rdi
callq 0x40d0
xorl %eax, %eax
addq $0x230, %rsp            # imm = 0x230
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x190(%rbp)
movl %eax, -0x194(%rbp)
leaq -0x1c0(%rbp), %rdi
callq 0x4240
leaq -0x188(%rbp), %rdi
callq 0x40d0
movq -0x190(%rbp), %rdi
callq 0x45f0
nopw %cs:(%rax,%rax)
nopl (%rax)