// File: 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:
subq $0x1d8, %rsp            # imm = 0x1D8
movq %rdi, 0x1d0(%rsp)
movl %esi, 0x1cc(%rsp)
movq 0x1d0(%rsp), %rax
movl 0x2bc8(%rax), %eax
movl 0x1cc(%rsp), %ecx
addl %ecx, %eax
movl %eax, 0x1c8(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
movl 0x1c8(%rsp), %esi
callq 0x4700
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x63a3(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, 0x80(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2e00, %rdi           # imm = 0x2E00
movslq 0x1cc(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0x1a8(%rsp), %rdi
movq %rdi, 0x88(%rsp)
callq 0x35ed0
movq 0x80(%rsp), %rdi
movq 0x88(%rsp), %rsi
callq 0x43e0
jmp 0x55ede
leaq 0x1a8(%rsp), %rdi
callq 0x4270
movl $0x0, 0x198(%rsp)
movl 0x198(%rsp), %eax
movq 0x1d0(%rsp), %rcx
cmpl 0x2c0c(%rcx), %eax
jge 0x55ff3
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x6301(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, 0x70(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2e18, %rdi           # imm = 0x2E18
movslq 0x1cc(%rsp), %rsi
callq 0x8bc0
movq %rax, %rdi
movslq 0x198(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0x178(%rsp), %rdi
movq %rdi, 0x78(%rsp)
callq 0x35ed0
movq 0x70(%rsp), %rdi
movq 0x78(%rsp), %rsi
callq 0x43e0
jmp 0x55f84
leaq 0x178(%rsp), %rdi
callq 0x4270
movl 0x198(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x198(%rsp)
jmp 0x55ef6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0x1a8(%rsp), %rdi
callq 0x4270
jmp 0x56480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0x178(%rsp), %rdi
callq 0x4270
jmp 0x56480
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x621f(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, 0x60(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2e30, %rdi           # imm = 0x2E30
movslq 0x1cc(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0x158(%rsp), %rdi
movq %rdi, 0x68(%rsp)
callq 0x35ed0
movq 0x60(%rsp), %rdi
movq 0x68(%rsp), %rsi
callq 0x43e0
jmp 0x56056
leaq 0x158(%rsp), %rdi
callq 0x4270
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x61af(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, 0x50(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2e48, %rdi           # imm = 0x2E48
movslq 0x1cc(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0x138(%rsp), %rdi
movq %rdi, 0x58(%rsp)
callq 0x35ed0
movq 0x50(%rsp), %rdi
movq 0x58(%rsp), %rsi
callq 0x43e0
jmp 0x560c6
leaq 0x138(%rsp), %rdi
callq 0x4270
movl $0x0, 0x134(%rsp)
movl 0x134(%rsp), %eax
movq 0x1d0(%rsp), %rcx
cmpl 0x2c0c(%rcx), %eax
jge 0x56201
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x6119(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, 0x40(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2e90, %rdi           # imm = 0x2E90
movslq 0x1cc(%rsp), %rsi
callq 0x8bc0
movq %rax, %rdi
movslq 0x134(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0x110(%rsp), %rdi
movq %rdi, 0x48(%rsp)
callq 0x35ed0
movq 0x40(%rsp), %rdi
movq 0x48(%rsp), %rsi
callq 0x43e0
jmp 0x5616c
leaq 0x110(%rsp), %rdi
callq 0x4270
movl 0x134(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x134(%rsp)
jmp 0x560de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0x158(%rsp), %rdi
callq 0x4270
jmp 0x56480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0x138(%rsp), %rdi
callq 0x4270
jmp 0x56480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0x110(%rsp), %rdi
callq 0x4270
jmp 0x56480
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x6011(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, 0x30(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2ea8, %rdi           # imm = 0x2EA8
movslq 0x1cc(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0xf0(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0x35ed0
movq 0x30(%rsp), %rdi
movq 0x38(%rsp), %rsi
callq 0x43e0
jmp 0x56264
leaq 0xf0(%rsp), %rdi
callq 0x4270
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x5fa1(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, 0x20(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2ec0, %rdi           # imm = 0x2EC0
movslq 0x1cc(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0xd0(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0x35ed0
movq 0x20(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x43e0
jmp 0x562d4
leaq 0xd0(%rsp), %rdi
callq 0x4270
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x5f31(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, 0x10(%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2f20, %rdi           # imm = 0x2F20
movslq 0x1cc(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0xb0(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0x35ed0
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
callq 0x43e0
jmp 0x56344
leaq 0xb0(%rsp), %rdi
callq 0x4270
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x5ec1(%rip), %rsi      # 0x5c228
callq 0x4430
movq %rax, (%rsp)
movq 0x1d0(%rsp), %rdi
addq $0x2f38, %rdi           # imm = 0x2F38
movslq 0x1cc(%rsp), %rsi
callq 0x8c20
movsd (%rax), %xmm0
leaq 0x90(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0x35ed0
movq (%rsp), %rdi
movq 0x8(%rsp), %rsi
callq 0x43e0
jmp 0x563b2
leaq 0x90(%rsp), %rdi
callq 0x4270
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
leaq 0x64bd(%rip), %rsi      # 0x5c892
callq 0x4430
movq 0x1d0(%rsp), %rdi
addq $0x1970, %rdi           # imm = 0x1970
callq 0x42b0
addq $0x1d8, %rsp            # imm = 0x1D8
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0xf0(%rsp), %rdi
callq 0x4270
jmp 0x56480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0xd0(%rsp), %rdi
callq 0x4270
jmp 0x56480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0xb0(%rsp), %rdi
callq 0x4270
jmp 0x56480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x1a0(%rsp)
movl %eax, 0x19c(%rsp)
leaq 0x90(%rsp), %rdi
callq 0x4270
movq 0x1a0(%rsp), %rdi
callq 0x4730
nopl (%rax)