// File: /workspace/github_cpp_makefile_star2_O3/j-faria[P]kima/examples/activity_correlations/kima_setup.cpp
// Function: RVmodel::RVmodel()
RVmodel::RVmodel():fix(false),npmax(2)
{
    auto data = get_data();
    auto conditional = planets.get_conditional_prior();
    conditional->Pprior = make_prior<LogUniform>(1, 10*data.get_timespan()); // days
    conditional->Kprior = make_prior<ModifiedLogUniform>(1.0, 100); // m/s
    conditional->eprior = make_prior<Kumaraswamy>(0.867, 3.03);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x168, %rsp            # imm = 0x168
movq %rdi, %rbx
xorl %ebp, %ebp
movb %bpl, (%rdi)
movl $0x2, %r15d
movl %r15d, 0x4(%rdi)
leaq 0x60(%rsp), %r14
movq %r14, %rdi
callq 0x7ff8
movabsq $0x500000000, %rax      # imm = 0x500000000
movq %rax, 0x8(%rbx)
movl %r15d, 0x10(%rbx)
movb %bpl, 0x14(%rbx)
leaq 0x18(%rbx), %rdi
movq %r14, %rsi
callq 0x21240
xorpd %xmm0, %xmm0
movupd %xmm0, 0x10c(%rbx)
movupd %xmm0, 0xfc(%rbx)
movupd %xmm0, 0xec(%rbx)
movupd %xmm0, 0xdc(%rbx)
movupd %xmm0, 0xcc(%rbx)
movupd %xmm0, 0xbc(%rbx)
movl $0x0, 0x11c(%rbx)
movq %r14, %rdi
callq 0x89d4
leaq 0x128(%rbx), %r14
leaq 0x3122a(%rip), %rbp     # 0x51400
movslq 0xf8(%rbp), %rsi
decq %rsi
leaq 0x60(%rsp), %rdx
movq %r14, %rdi
callq 0xbca8
leaq 0x140(%rbx), %r15
movslq 0xf8(%rbp), %rsi
leaq 0x60(%rsp), %rdx
movq %r15, %rdi
callq 0xbca8
leaq 0x158(%rbx), %r12
movslq 0x7c(%rbp), %rsi
leaq 0x60(%rsp), %rdx
movq %r12, %rdi
callq 0xbca8
movl $0x0, 0x1a8(%rbx)
movb $0x0, 0x228(%rbx)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x178(%rbx)
leaq 0x30544(%rip), %rax     # 0x50788
movq %rax, 0x220(%rbx)
leaq 0x240(%rbx), %rdi
leaq 0x380(%rbx), %r13
movl $0x140, %edx            # imm = 0x140
xorl %esi, %esi
callq 0x6220
movq 0x8(%rbp), %rax
subq (%rbp), %rax
shrq $0x3, %rax
movslq %eax, %rsi
leaq 0x60(%rsp), %rdx
movq %r13, %rdi
callq 0x207cc
movq 0x8(%rbp), %rax
subq (%rbp), %rax
xorpd %xmm0, %xmm0
movupd %xmm0, 0x398(%rbx)
movq $0x0, 0x3a8(%rbx)
shrq $0x3, %rax
movslq %eax, %rcx
testq %rcx, %rcx
js 0x20456
leaq 0x398(%rbx), %rbp
movq %rcx, %rsi
imulq %rcx, %rsi
movq %rbp, %rdi
movq %rcx, %rdx
callq 0x18732
leaq 0x3b8(%rbx), %rdi
movl $0x158, %edx            # imm = 0x158
xorl %esi, %esi
callq 0x6220
leaq 0x3111d(%rip), %rsi     # 0x51400
leaq 0x60(%rsp), %rdi
callq 0x155a2
movl $0x1, 0x28(%rsp)
leaq 0x60(%rsp), %rdi
callq 0xbe5a
mulsd 0x1d3b1(%rip), %xmm0    # 0x3d6b8
leaq 0x30(%rsp), %r8
movsd %xmm0, (%r8)
leaq 0x18(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x10(%rsp), %rsi
leaq 0x7(%rsp), %rdx
leaq 0x28(%rsp), %rcx
callq 0x32f70
movapd 0x10(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x10(%rsp)
movq 0x40(%rbx), %rdi
movupd %xmm0, 0x38(%rbx)
testq %rdi, %rdi
je 0x20362
callq 0x8a7a
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x20362
callq 0x8a7a
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
leaq 0x30(%rsp), %rcx
movq %rax, (%rcx)
leaq 0x28(%rsp), %r8
movl $0x64, (%r8)
leaq 0x18(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x10(%rsp), %rsi
leaq 0x7(%rsp), %rdx
callq 0x32ff4
movapd 0x10(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x10(%rsp)
movq 0x50(%rbx), %rdi
movupd %xmm0, 0x48(%rbx)
testq %rdi, %rdi
je 0x203cc
callq 0x8a7a
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x203cc
callq 0x8a7a
movabsq $0x3febbe76c8b43958, %rax # imm = 0x3FEBBE76C8B43958
leaq 0x30(%rsp), %rcx
movq %rax, (%rcx)
movabsq $0x40083d70a3d70a3d, %rax # imm = 0x40083D70A3D70A3D
leaq 0x28(%rsp), %r8
movq %rax, (%r8)
leaq 0x18(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x10(%rsp), %rsi
leaq 0x7(%rsp), %rdx
callq 0x33078
movaps 0x10(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x10(%rsp)
movq 0x60(%rbx), %rdi
movups %xmm0, 0x58(%rbx)
testq %rdi, %rdi
je 0x2043a
callq 0x8a7a
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x2043a
callq 0x8a7a
leaq 0x60(%rsp), %rdi
callq 0xb922
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1df82(%rip), %rdi     # 0x3e3df
leaq 0x22498(%rip), %rsi     # 0x428fc
leaq 0x1e103(%rip), %rcx     # 0x3e56e
movl $0x11d, %edx            # imm = 0x11D
callq 0x62b0
jmp 0x204b2
jmp 0x204b2
movq %rax, 0x8(%rsp)
jmp 0x204c1
movq %rax, 0x8(%rsp)
jmp 0x2061d
movq %rax, 0x8(%rsp)
jmp 0x2063e
movq %rax, 0x8(%rsp)
jmp 0x206ec
movq %rax, 0x8(%rsp)
jmp 0x20703
movq %rax, 0x8(%rsp)
jmp 0x2071a
movq %rax, 0x8(%rsp)
leaq 0x60(%rsp), %rdi
callq 0xb922
leaq 0x488(%rbx), %rax
movq %rax, 0x58(%rsp)
leaq 0x4a0(%rbx), %rax
movq %rax, 0x50(%rsp)
leaq 0x4b8(%rbx), %rax
movq %rax, 0x48(%rsp)
leaq 0x4d0(%rbx), %rax
movq %rax, 0x40(%rsp)
leaq 0x4e8(%rbx), %rax
movq %rax, 0x38(%rsp)
movq 0x508(%rbx), %rdi
testq %rdi, %rdi
je 0x2050e
callq 0x8a7a
movq 0x38(%rsp), %rdi
callq 0x20864
movq 0x40(%rsp), %rdi
callq 0x20864
movq 0x48(%rsp), %rdi
callq 0x20864
movq 0x50(%rsp), %rdi
callq 0x20864
movq 0x58(%rsp), %rdi
callq 0x20864
movq 0x480(%rbx), %rdi
testq %rdi, %rdi
je 0x20551
callq 0x8a7a
movq 0x470(%rbx), %rdi
testq %rdi, %rdi
je 0x20562
callq 0x8a7a
movq 0x460(%rbx), %rdi
testq %rdi, %rdi
je 0x20573
callq 0x8a7a
movq 0x450(%rbx), %rdi
testq %rdi, %rdi
je 0x20584
callq 0x8a7a
movq 0x440(%rbx), %rdi
testq %rdi, %rdi
je 0x20595
callq 0x8a7a
movq 0x430(%rbx), %rdi
testq %rdi, %rdi
je 0x205a6
callq 0x8a7a
movq 0x420(%rbx), %rdi
testq %rdi, %rdi
je 0x205b7
callq 0x8a7a
movq 0x410(%rbx), %rdi
testq %rdi, %rdi
je 0x205c8
callq 0x8a7a
movq 0x400(%rbx), %rdi
testq %rdi, %rdi
je 0x205d9
callq 0x8a7a
movq 0x3f0(%rbx), %rdi
testq %rdi, %rdi
je 0x205ea
callq 0x8a7a
movq 0x3e0(%rbx), %rdi
testq %rdi, %rdi
je 0x205fb
callq 0x8a7a
movq 0x3d0(%rbx), %rdi
testq %rdi, %rdi
je 0x2060c
callq 0x8a7a
movq 0x3c0(%rbx), %rdi
testq %rdi, %rdi
je 0x2061d
callq 0x8a7a
movq (%rbp), %rdi
callq 0x64d0
movq (%r13), %rdi
testq %rdi, %rdi
je 0x2063e
movq 0x390(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x368(%rbx), %rdi
testq %rdi, %rdi
je 0x20659
movq 0x378(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x350(%rbx), %rdi
testq %rdi, %rdi
je 0x20674
movq 0x360(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x338(%rbx), %rdi
testq %rdi, %rdi
je 0x2068f
movq 0x348(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x320(%rbx), %rdi
testq %rdi, %rdi
je 0x206aa
movq 0x330(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
leaq 0x220(%rbx), %r13
movq 0x308(%rbx), %rdi
testq %rdi, %rdi
je 0x206cc
movq 0x318(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq %r13, %rdi
callq 0x208b2
movq (%r12), %rdi
testq %rdi, %rdi
je 0x206ec
movq 0x168(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq (%r15), %rdi
testq %rdi, %rdi
je 0x20703
movq 0x150(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq (%r14), %rdi
testq %rdi, %rdi
je 0x2071a
movq 0x138(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
addq $0x8, %rbx
movq %rbx, %rdi
callq 0x20936
movq 0x8(%rsp), %rdi
callq 0x6710