// File: /workspace/github_cpp_makefile_star2_O3/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 $0x28, %rsp
movl %esi, %ebp
movq %rdi, %r14
movl 0x2bc8(%rdi), %esi
addl %ebp, %esi
leaq 0x1970(%rdi), %rbx
movq %rbx, %rdi
callq 0x3550
leaq 0x53d7(%rip), %rsi      # 0x36290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movslq %ebp, %r12
movq 0x2e00(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c311
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq %r12, 0x20(%rsp)
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x30f08
callq 0x3310
cmpl $0x0, 0x2c0c(%r14)
jle 0x30f82
xorl %ebp, %ebp
leaq 0x5375(%rip), %r15      # 0x36290
movq 0x20(%rsp), %rax
leaq (%rax,%rax,2), %r13
movq %rsp, %r12
movl $0x1, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3390
movq 0x2e18(%r14), %rax
movq (%rax,%r13,8), %rax
movsd (%rax,%rbp,8), %xmm0
movq %r12, %rdi
callq 0x1c311
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x30f73
callq 0x3310
incq %rbp
movslq 0x2c0c(%r14), %rax
cmpq %rax, %rbp
jl 0x30f27
leaq 0x5307(%rip), %rsi      # 0x36290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2e30(%r14), %rax
movq 0x20(%rsp), %r12
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c311
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x30fd5
callq 0x3310
leaq 0x52b4(%rip), %rsi      # 0x36290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2e48(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c311
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x31023
callq 0x3310
cmpl $0x0, 0x2c0c(%r14)
jle 0x3109d
xorl %ebp, %ebp
leaq 0x525a(%rip), %r15      # 0x36290
movq 0x20(%rsp), %rax
leaq (%rax,%rax,2), %r13
movq %rsp, %r12
movl $0x1, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3390
movq 0x2e90(%r14), %rax
movq (%rax,%r13,8), %rax
movsd (%rax,%rbp,8), %xmm0
movq %r12, %rdi
callq 0x1c311
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x3108e
callq 0x3310
incq %rbp
movslq 0x2c0c(%r14), %rax
cmpq %rax, %rbp
jl 0x31042
leaq 0x51ec(%rip), %rsi      # 0x36290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2ea8(%r14), %rax
movq 0x20(%rsp), %r12
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c311
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x310f0
callq 0x3310
leaq 0x5199(%rip), %rsi      # 0x36290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2ec0(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c311
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x3113e
callq 0x3310
leaq 0x514b(%rip), %rsi      # 0x36290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2f20(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c311
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x3118c
callq 0x3310
leaq 0x50fd(%rip), %rsi      # 0x36290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2f38(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r14
movq %r14, %rdi
callq 0x1c311
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x311da
callq 0x3310
leaq 0x5741(%rip), %rsi      # 0x36922
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq %rbx, %rdi
callq 0x31f0
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x31221
jmp 0x31221
jmp 0x31221
jmp 0x31221
jmp 0x31221
jmp 0x31221
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
jmp 0x3122d
jmp 0x31221
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x31237
callq 0x3310
movq %rbx, %rdi
callq 0x3580