// File: /workspace/github_cpp_makefile_star2_O2/bobverity[P]MavericK/writeOut.cpp
// Function: printEvidence(globals&, int)
void printEvidence(globals &globals, int Kindex) {
    int K = globals.Kmin+Kindex;
    
    globals.outputEvidence_fileStream << K;
    
    // exhaustive
    globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_exhaustive[Kindex]);
    // harmonic
    for (int mainRep=0; mainRep<globals.mainRepeats; mainRep++) {
        globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_harmonic[Kindex][mainRep]);
    }
    globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_harmonic_grandMean[Kindex]);
    globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_harmonic_grandSE[Kindex]);
    // structure
    for (int mainRep=0; mainRep<globals.mainRepeats; mainRep++) {
        globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_structure[Kindex][mainRep]);
    }
    globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_structure_grandMean[Kindex]);
    globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_structure_grandSE[Kindex]);
    // TI
    globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_TI[Kindex]);
    globals.outputEvidence_fileStream << "," << process_nan(globals.logEvidence_TI_SE[Kindex]);
    
    globals.outputEvidence_fileStream << "\n";
    globals.outputEvidence_fileStream.flush();
    
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movl %esi, %ebp
movq %rdi, %r14
movl 0x2bc8(%rdi), %esi
addl %ebp, %esi
leaq 0x1970(%rdi), %r13
movq %r13, %rdi
callq 0x3570
leaq 0x39a9(%rip), %rsi      # 0x27240
movq %r13, %rdi
callq 0x3350
movq %rax, %r15
movslq %ebp, %rbp
movq 0x2e00(%r14), %rax
movsd (%rax,%rbp,8), %xmm0
leaq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0x161b8
movq %r15, %rdi
movq %r12, %rsi
callq 0x3310
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x3170
xorl %ebx, %ebx
movq %rbp, 0x28(%rsp)
imulq $0x18, %rbp, %rax
movq %rax, 0x30(%rsp)
movslq 0x2c0c(%r14), %r12
movq %r13, %rbp
movq %r13, %rdi
leaq 0x3946(%rip), %rsi      # 0x27240
callq 0x3350
movq %rax, %r13
cmpq %r12, %rbx
jge 0x2393f
movq 0x2e18(%r14), %rax
movq 0x30(%rsp), %rcx
movq (%rax,%rcx), %rax
movsd (%rax,%rbx,8), %xmm0
movq %r15, %rdi
callq 0x161b8
movq %r13, %rdi
movq %r15, %rsi
callq 0x3310
movq %r15, %rdi
callq 0x3170
incq %rbx
movq %rbp, %r13
jmp 0x238e6
movq 0x2e30(%r14), %rax
movq 0x28(%rsp), %rbx
movsd (%rax,%rbx,8), %xmm0
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x161b8
movq %r13, %rdi
movq %r15, %rsi
callq 0x3310
leaq 0x8(%rsp), %rdi
callq 0x3170
leaq 0x38c7(%rip), %rsi      # 0x27240
movq %rbp, %r13
movq %rbp, %rdi
callq 0x3350
movq %rax, %r15
movq 0x2e48(%r14), %rax
movsd (%rax,%rbx,8), %xmm0
leaq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0x161b8
movq %r15, %rdi
movq %r12, %rsi
callq 0x3310
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x3170
xorl %ebx, %ebx
movslq 0x2c0c(%r14), %r12
movq %r13, %rdi
leaq 0x3875(%rip), %rsi      # 0x27240
callq 0x3350
movq %rax, %r13
cmpq %r12, %rbx
jge 0x23a10
movq 0x2e90(%r14), %rax
movq 0x30(%rsp), %rcx
movq (%rax,%rcx), %rax
movsd (%rax,%rbx,8), %xmm0
movq %r15, %rdi
callq 0x161b8
movq %r13, %rdi
movq %r15, %rsi
callq 0x3310
movq %r15, %rdi
callq 0x3170
incq %rbx
movq %rbp, %r13
jmp 0x239ba
movq 0x2ea8(%r14), %rax
movq 0x28(%rsp), %r12
movsd (%rax,%r12,8), %xmm0
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x161b8
movq %r13, %rdi
movq %r15, %rsi
callq 0x3310
leaq 0x8(%rsp), %rdi
callq 0x3170
leaq 0x37f5(%rip), %rsi      # 0x27240
movq %rbp, %rdi
callq 0x3350
movq %rax, %r15
movq 0x2ec0(%r14), %rax
movsd (%rax,%r12,8), %xmm0
leaq 0x8(%rsp), %r13
movq %r13, %rdi
callq 0x161b8
movq %r15, %rdi
movq %r13, %rsi
callq 0x3310
movq %r12, %r13
leaq 0x8(%rsp), %rdi
callq 0x3170
leaq 0x37b1(%rip), %rsi      # 0x27240
movq %rbp, %rdi
callq 0x3350
movq %rax, %r15
movq 0x2f20(%r14), %rax
movsd (%rax,%r12,8), %xmm0
leaq 0x8(%rsp), %r12
movq %r12, %rdi
callq 0x161b8
movq %r15, %rdi
movq %r12, %rsi
callq 0x3310
leaq 0x8(%rsp), %rdi
callq 0x3170
leaq 0x3770(%rip), %rsi      # 0x27240
movq %rbp, %rdi
callq 0x3350
movq %rax, %r15
movq 0x2f38(%r14), %rax
movsd (%rax,%r13,8), %xmm0
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x161b8
movq %r15, %rdi
movq %r14, %rsi
callq 0x3310
leaq 0x8(%rsp), %rdi
callq 0x3170
leaq 0x3daa(%rip), %rsi      # 0x278bb
movq %rbp, %rdi
callq 0x3350
movq %rbp, %rdi
callq 0x3230
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x23b40
jmp 0x23b40
jmp 0x23b40
jmp 0x23b40
jmp 0x23b40
jmp 0x23b40
jmp 0x23b40
jmp 0x23b40
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x3170
movq %rbx, %rdi
callq 0x35a0