// File: /workspace/github_cpp_makefile_star2_O1/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 0x5ea2(%rip), %rsi      # 0x37290
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 0x1c630
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 0x3143d
callq 0x3310
cmpl $0x0, 0x2c0c(%r14)
jle 0x314b7
xorl %ebp, %ebp
leaq 0x5e40(%rip), %r15      # 0x37290
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 0x1c630
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x314a8
callq 0x3310
incq %rbp
movslq 0x2c0c(%r14), %rax
cmpq %rax, %rbp
jl 0x3145c
leaq 0x5dd2(%rip), %rsi      # 0x37290
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 0x1c630
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x3150a
callq 0x3310
leaq 0x5d7f(%rip), %rsi      # 0x37290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2e48(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c630
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x31558
callq 0x3310
cmpl $0x0, 0x2c0c(%r14)
jle 0x315d2
xorl %ebp, %ebp
leaq 0x5d25(%rip), %r15      # 0x37290
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 0x1c630
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x315c3
callq 0x3310
incq %rbp
movslq 0x2c0c(%r14), %rax
cmpq %rax, %rbp
jl 0x31577
leaq 0x5cb7(%rip), %rsi      # 0x37290
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 0x1c630
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x31625
callq 0x3310
leaq 0x5c64(%rip), %rsi      # 0x37290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2ec0(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c630
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x31673
callq 0x3310
leaq 0x5c16(%rip), %rsi      # 0x37290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2f20(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r15
movq %r15, %rdi
callq 0x1c630
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x316c1
callq 0x3310
leaq 0x5bc8(%rip), %rsi      # 0x37290
movl $0x1, %edx
movq %rbx, %rdi
callq 0x3390
movq 0x2f38(%r14), %rax
movsd (%rax,%r12,8), %xmm0
movq %rsp, %r14
movq %r14, %rdi
callq 0x1c630
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0x3390
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x3170f
callq 0x3310
leaq 0x620c(%rip), %rsi      # 0x37922
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 0x31756
jmp 0x31756
jmp 0x31756
jmp 0x31756
jmp 0x31756
jmp 0x31756
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
jmp 0x31762
jmp 0x31756
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x3176c
callq 0x3310
movq %rbx, %rdi
callq 0x3580