// File: /workspace/github_cpp_makefile_star2_O3/bobverity[P]MavericK/writeOut.cpp
// Function: printEvidenceDetails(globals&, int)
void printEvidenceDetails(globals &globals, int Kindex) {
    int K = globals.Kmin+Kindex;
    
    globals.outputEvidenceDetails_fileStream << K;
    
    // Structure estimator details
    for (int mainRep=0; mainRep<globals.mainRepeats; mainRep++) {
        globals.outputEvidenceDetails_fileStream << "," << process_nan(globals.structure_loglike_mean[Kindex][mainRep]);
    }
    for (int mainRep=0; mainRep<globals.mainRepeats; mainRep++) {
        globals.outputEvidenceDetails_fileStream << "," << process_nan(globals.structure_loglike_var[Kindex][mainRep]);
    }
    
    // thermodynamic integral estimator details
    if (globals.thermodynamic_on) {
        for (int TIrep=0; TIrep<globals.thermodynamicRungs; TIrep++) {
            globals.outputEvidenceDetails_fileStream << "," << process_nan(globals.TIpoint_mean[Kindex][TIrep]);
        }
        for (int TIrep=0; TIrep<globals.thermodynamicRungs; TIrep++) {
            globals.outputEvidenceDetails_fileStream << "," << process_nan(globals.TIpoint_SE[Kindex][TIrep]);
        }
    }
    
    globals.outputEvidenceDetails_fileStream << "\n";
    globals.outputEvidenceDetails_fileStream.flush();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %esi, %eax
movq %rdi, %r14
movl 0x2bc8(%rdi), %esi
movl %eax, 0x24(%rsp)
addl %eax, %esi
leaq 0x1d70(%rdi), %rbx
movq %rbx, %rdi
callq 0x3550
cmpl $0x0, 0x2c0c(%r14)
jle 0x3135a
movslq 0x24(%rsp), %rax
xorl %r13d, %r13d
leaq 0x5006(%rip), %r15      # 0x36290
leaq (%rax,%rax,2), %rbp
movq %rsp, %r12
movl $0x1, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3390
movq 0x2e60(%r14), %rax
movq (%rax,%rbp,8), %rax
movsd (%rax,%r13,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 0x312de
callq 0x3310
incq %r13
movslq 0x2c0c(%r14), %rax
cmpq %rax, %r13
jl 0x31291
testl %eax, %eax
jle 0x3135a
xorl %r13d, %r13d
leaq 0x4f95(%rip), %r15      # 0x36290
movq %rsp, %r12
movl $0x1, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3390
movq 0x2e78(%r14), %rax
movq (%rax,%rbp,8), %rax
movsd (%rax,%r13,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 0x3134b
callq 0x3310
incq %r13
movslq 0x2c0c(%r14), %rax
cmpq %rax, %r13
jl 0x312fe
cmpb $0x1, 0x2c1c(%r14)
jne 0x31455
cmpl $0x0, 0x2c20(%r14)
jle 0x31455
movslq 0x24(%rsp), %rax
xorl %r13d, %r13d
leaq 0x4f0b(%rip), %r15      # 0x36290
leaq (%rax,%rax,2), %rbp
movq %rsp, %r12
movl $0x1, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3390
movq 0x2ed8(%r14), %rax
movq (%rax,%rbp,8), %rax
movsd (%rax,%r13,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 0x313d9
callq 0x3310
incq %r13
movslq 0x2c20(%r14), %rax
cmpq %rax, %r13
jl 0x3138c
testl %eax, %eax
jle 0x31455
xorl %r13d, %r13d
leaq 0x4e9a(%rip), %r15      # 0x36290
movq %rsp, %r12
movl $0x1, %edx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x3390
movq 0x2f08(%r14), %rax
movq (%rax,%rbp,8), %rax
movsd (%rax,%r13,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 0x31446
callq 0x3310
incq %r13
movslq 0x2c20(%r14), %rax
cmpq %rax, %r13
jl 0x313f9
leaq 0x54c6(%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 0x31486
jmp 0x31486
jmp 0x31486
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x3149c
callq 0x3310
movq %rbx, %rdi
callq 0x3580