// File: icemiliang[P]vot/src/votx/otx.cc
// Function: votx::OTX::write_results(int, int)
void OTX::write_results(const int iterD, const int iterH) {
        std::cout << "writing results...\n    File prefix: " << vPrefix << std::endl;

        std::string dFilename = vPrefix + "_" + std::to_string(iterD) 
                                        + "_" + std::to_string(iterH) + ".vot";
        std::string iFilename = vPrefix + "_" + std::to_string(iterD) 
                                        + "_" + std::to_string(iterH) + ".index";        
        write_dirac(dFilename);
        write_empirical(iFilename);
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x230, %rsp            # imm = 0x230
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x230(%rbp)
movq 0x18221(%rip), %rdi     # 0x36fa8
leaq 0x7288(%rip), %rsi      # 0x26016
callq 0x9480
movq -0x230(%rbp), %rsi
movq %rax, %rdi
addq $0x88, %rsi
movq %rsi, -0x228(%rbp)
callq 0x9440
movq %rax, %rdi
movq 0x1818e(%rip), %rsi     # 0x36f48
callq 0x94d0
movq -0x228(%rbp), %rsi
leaq 0x726e(%rip), %rdx      # 0x2603b
leaq -0xb0(%rbp), %rdi
callq 0xc370
movl -0xc(%rbp), %esi
leaq -0xd0(%rbp), %rdi
callq 0x21060
jmp 0x1edea
leaq -0x90(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
leaq -0xd0(%rbp), %rdx
callq 0xc1b0
jmp 0x1ee06
leaq 0x722e(%rip), %rdx      # 0x2603b
leaq -0x70(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0xc280
jmp 0x1ee1f
movl -0x10(%rbp), %esi
leaq -0x100(%rbp), %rdi
callq 0x21060
jmp 0x1ee30
leaq -0x50(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x100(%rbp), %rdx
callq 0xc1b0
jmp 0x1ee46
leaq 0x71f0(%rip), %rdx      # 0x2603d
leaq -0x30(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0xc280
jmp 0x1ee5c
leaq -0x50(%rbp), %rdi
callq 0x9a08
leaq -0x100(%rbp), %rdi
callq 0x9a08
leaq -0x70(%rbp), %rdi
callq 0x9a08
leaq -0x90(%rbp), %rdi
callq 0x9a08
leaq -0xd0(%rbp), %rdi
callq 0x9a08
leaq -0xb0(%rbp), %rdi
callq 0x9a08
movq -0x230(%rbp), %rsi
addq $0x88, %rsi
leaq 0x7188(%rip), %rdx      # 0x2603b
leaq -0x1a0(%rbp), %rdi
callq 0xc370
jmp 0x1eec1
movl -0xc(%rbp), %esi
leaq -0x1c0(%rbp), %rdi
callq 0x21060
jmp 0x1eed2
leaq -0x180(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
leaq -0x1c0(%rbp), %rdx
callq 0xc1b0
jmp 0x1eeee
leaq 0x7146(%rip), %rdx      # 0x2603b
leaq -0x160(%rbp), %rdi
leaq -0x180(%rbp), %rsi
callq 0xc280
jmp 0x1ef0a
movl -0x10(%rbp), %esi
leaq -0x1e0(%rbp), %rdi
callq 0x21060
jmp 0x1ef1b
leaq -0x140(%rbp), %rdi
leaq -0x160(%rbp), %rsi
leaq -0x1e0(%rbp), %rdx
callq 0xc1b0
jmp 0x1ef37
leaq 0x7104(%rip), %rdx      # 0x26042
leaq -0x120(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0xc280
jmp 0x1ef53
leaq -0x140(%rbp), %rdi
callq 0x9a08
leaq -0x1e0(%rbp), %rdi
callq 0x9a08
leaq -0x160(%rbp), %rdi
callq 0x9a08
leaq -0x180(%rbp), %rdi
callq 0x9a08
leaq -0x1c0(%rbp), %rdi
callq 0x9a08
leaq -0x1a0(%rbp), %rdi
callq 0x9a08
leaq -0x200(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x91f0
jmp 0x1efad
movq -0x230(%rbp), %rdi
leaq -0x200(%rbp), %rsi
callq 0x1fc00
jmp 0x1efc2
leaq -0x200(%rbp), %rdi
callq 0x9a08
leaq -0x220(%rbp), %rdi
leaq -0x120(%rbp), %rsi
callq 0x91f0
jmp 0x1efe3
movq -0x230(%rbp), %rdi
leaq -0x220(%rbp), %rsi
callq 0x1ff20
jmp 0x1eff8
leaq -0x220(%rbp), %rdi
callq 0x9a08
leaq -0x120(%rbp), %rdi
callq 0x9a08
leaq -0x30(%rbp), %rdi
callq 0x9a08
addq $0x230, %rsp            # imm = 0x230
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f0d1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f0c5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f0b9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f0b0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f0a4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x9a08
leaq -0x100(%rbp), %rdi
callq 0x9a08
leaq -0x70(%rbp), %rdi
callq 0x9a08
leaq -0x90(%rbp), %rdi
callq 0x9a08
leaq -0xd0(%rbp), %rdi
callq 0x9a08
leaq -0xb0(%rbp), %rdi
callq 0x9a08
jmp 0x1f223
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f21a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f1ae
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f1a2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f196
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f18a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f17e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
leaq -0x140(%rbp), %rdi
callq 0x9a08
leaq -0x1e0(%rbp), %rdi
callq 0x9a08
leaq -0x160(%rbp), %rdi
callq 0x9a08
leaq -0x180(%rbp), %rdi
callq 0x9a08
leaq -0x1c0(%rbp), %rdi
callq 0x9a08
leaq -0x1a0(%rbp), %rdi
callq 0x9a08
jmp 0x1f21a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
jmp 0x1f20e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
leaq -0x200(%rbp), %rdi
callq 0x9a08
jmp 0x1f20e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xd8(%rbp)
movl %eax, -0xdc(%rbp)
leaq -0x220(%rbp), %rdi
callq 0x9a08
leaq -0x120(%rbp), %rdi
callq 0x9a08
leaq -0x30(%rbp), %rdi
callq 0x9a08
movq -0xd8(%rbp), %rdi
callq 0x98c0
nop