// File: /workspace/github_cpp_makefile_star2_O1/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, %ebp
movq %rdi, %r14
movl 0x2bc8(%rdi), %esi
addl %ebp, %esi
leaq 0x1d70(%rdi), %rbx
movq %rbx, %rdi
callq 0x3550
cmpl $0x0, 0x2c0c(%r14)
movslq %ebp, %rax
movq %rax, 0x20(%rsp)
jle 0x31820
xorl %ebp, %ebp
leaq 0x5ad7(%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 0x2e60(%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 0x31811
callq 0x3310
incq %rbp
movslq 0x2c0c(%r14), %rax
cmpq %rax, %rbp
jl 0x317c5
cmpl $0x0, 0x2c0c(%r14)
jle 0x3189a
xorl %ebp, %ebp
leaq 0x5a5d(%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 0x2e78(%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 0x3188b
callq 0x3310
incq %rbp
movslq 0x2c0c(%r14), %rax
cmpq %rax, %rbp
jl 0x3183f
cmpb $0x1, 0x2c1c(%r14)
jne 0x3199c
cmpl $0x0, 0x2c20(%r14)
jle 0x31922
xorl %ebp, %ebp
leaq 0x59d5(%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 0x2ed8(%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 0x31913
callq 0x3310
incq %rbp
movslq 0x2c20(%r14), %rax
cmpq %rax, %rbp
jl 0x318c7
cmpl $0x0, 0x2c20(%r14)
jle 0x3199c
xorl %ebp, %ebp
leaq 0x595b(%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 0x2f08(%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 0x3198d
callq 0x3310
incq %rbp
movslq 0x2c20(%r14), %rax
cmpq %rax, %rbp
jl 0x31941
leaq 0x5f7f(%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 0x319cd
jmp 0x319cd
jmp 0x319cd
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x319e3
callq 0x3310
movq %rbx, %rdi
callq 0x3580