// File: /workspace/github_cpp_makefile_star2_O2/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, %r15
movb $0x0, (%rdi)
movl $0x2, 0x4(%rdi)
leaq 0x8(%rdi), %r14
leaq 0x60(%rsp), %rbx
movq %rbx, %rdi
callq 0x7df8
pushq $0x5
popq %rsi
pushq $0x2
popq %rdx
movq %r14, %rdi
xorl %ecx, %ecx
movq %rbx, %r8
xorl %r9d, %r9d
callq 0x20f8a
movq %rbx, %rdi
callq 0x86b2
leaq 0x128(%r15), %r12
leaq 0x43ad9(%rip), %rbx     # 0x64580
movslq 0xf8(%rbx), %rsi
decq %rsi
leaq 0x60(%rsp), %rdx
movq %r12, %rdi
movq %r14, 0x58(%rsp)
callq 0xb340
leaq 0x140(%r15), %r13
movslq 0xf8(%rbx), %rsi
leaq 0x60(%rsp), %rdx
movq %r13, %rdi
movq %r12, 0x50(%rsp)
callq 0xb340
leaq 0x158(%r15), %rdi
movslq 0x7c(%rbx), %rsi
leaq 0x60(%rsp), %rdx
movq %rdi, 0x40(%rsp)
movq %r13, 0x48(%rsp)
callq 0xb340
andl $0x0, 0x1a8(%r15)
movb $0x0, 0x228(%r15)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x178(%r15)
leaq 0x42c62(%rip), %rax     # 0x63788
movq %rax, 0x220(%r15)
leaq 0x240(%r15), %rdi
leaq 0x380(%r15), %rbp
movl $0x140, %edx            # imm = 0x140
xorl %esi, %esi
callq 0x6220
movq 0x8(%rbx), %rax
subq (%rbx), %rax
shrq $0x3, %rax
movslq %eax, %rsi
leaq 0x60(%rsp), %rdx
movq %rbp, 0x38(%rsp)
movq %rbp, %rdi
callq 0x20fdc
leaq 0x398(%r15), %rbp
movq 0x8(%rbx), %rax
subq (%rbx), %rax
shrq $0x3, %rax
leaq 0x60(%rsp), %rsi
movl %eax, (%rsi)
leaq 0x10(%rsp), %rdx
movl %eax, (%rdx)
movq %rbp, %rdi
callq 0x15088
leaq 0x3b8(%r15), %rdi
leaq 0x488(%r15), %r14
movl $0xd0, %edx
xorl %esi, %esi
callq 0x6220
leaq 0x60(%rsp), %rdx
movq %r14, %rdi
xorl %esi, %esi
movq %rbp, 0x30(%rsp)
callq 0x2102e
leaq 0x4a0(%r15), %r12
leaq 0x60(%rsp), %rdx
movq %r12, %rdi
xorl %esi, %esi
callq 0x2102e
leaq 0x4b8(%r15), %r13
leaq 0x60(%rsp), %rdx
movq %r13, %rdi
xorl %esi, %esi
callq 0x2102e
leaq 0x4d0(%r15), %rbp
leaq 0x60(%rsp), %rdx
movq %rbp, %rdi
xorl %esi, %esi
callq 0x2102e
leaq 0x4e8(%r15), %rbx
leaq 0x60(%rsp), %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x2102e
xorpd %xmm0, %xmm0
movupd %xmm0, 0x500(%r15)
leaq 0x43957(%rip), %rsi     # 0x64580
leaq 0x60(%rsp), %rdi
callq 0x11ac2
movl $0x1, 0x20(%rsp)
leaq 0x60(%rsp), %rdi
callq 0xb43a
mulsd 0x1ba13(%rip), %xmm0    # 0x3c660
leaq 0x28(%rsp), %rdx
movsd %xmm0, (%rdx)
leaq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x33293
leaq 0x38(%r15), %rdi
leaq 0x10(%rsp), %rsi
callq 0x9024
leaq 0x18(%rsp), %rdi
callq 0x8730
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
leaq 0x28(%rsp), %rsi
movq %rax, (%rsi)
leaq 0x20(%rsp), %rdx
movl $0x64, (%rdx)
leaq 0x10(%rsp), %rdi
callq 0x33390
leaq 0x48(%r15), %rdi
leaq 0x10(%rsp), %rsi
callq 0x91de
leaq 0x18(%rsp), %rdi
callq 0x8730
movabsq $0x3febbe76c8b43958, %rax # imm = 0x3FEBBE76C8B43958
leaq 0x28(%rsp), %rsi
movq %rax, (%rsi)
movabsq $0x40083d70a3d70a3d, %rax # imm = 0x40083D70A3D70A3D
leaq 0x20(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x10(%rsp), %rdi
callq 0x3348e
addq $0x58, %r15
leaq 0x10(%rsp), %rsi
movq %r15, %rdi
callq 0x3363c
leaq 0x18(%rsp), %rdi
callq 0x8730
leaq 0x60(%rsp), %rdi
callq 0xb0de
addq $0x168, %rsp            # imm = 0x168
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x20d81
jmp 0x20d81
movq %rax, 0x8(%rsp)
jmp 0x20d90
movq %rax, 0x8(%rsp)
jmp 0x20da4
movq %rax, 0x8(%rsp)
jmp 0x20dac
movq %rax, 0x8(%rsp)
jmp 0x20db4
movq %rax, 0x8(%rsp)
jmp 0x20dbc
movq %rax, 0x8(%rsp)
jmp 0x20dc4
movq %rax, 0x8(%rsp)
jmp 0x20e6a
movq %rax, 0x8(%rsp)
jmp 0x20e74
movq %rax, 0x8(%rsp)
jmp 0x20ed8
movq %rax, 0x8(%rsp)
jmp 0x20ee2
movq %rax, 0x8(%rsp)
jmp 0x20eec
movq %rax, 0x8(%rsp)
leaq 0x60(%rsp), %rdi
callq 0xb0de
leaq 0x508(%r15), %rdi
callq 0x8730
movq %rbx, %rdi
callq 0x21080
movq %rbp, %rdi
callq 0x21080
movq %r13, %rdi
callq 0x21080
movq %r12, %rdi
callq 0x21080
movq %r14, %rdi
callq 0x21080
leaq 0x480(%r15), %rdi
callq 0x8730
leaq 0x470(%r15), %rdi
callq 0x8730
leaq 0x460(%r15), %rdi
callq 0x8730
leaq 0x450(%r15), %rdi
callq 0x8730
leaq 0x440(%r15), %rdi
callq 0x8730
leaq 0x430(%r15), %rdi
callq 0x8730
leaq 0x420(%r15), %rdi
callq 0x8730
leaq 0x410(%r15), %rdi
callq 0x8730
leaq 0x400(%r15), %rdi
callq 0x8730
leaq 0x3f0(%r15), %rdi
callq 0x8730
leaq 0x3e0(%r15), %rdi
callq 0x8730
leaq 0x3d0(%r15), %rdi
callq 0x8730
leaq 0x3c0(%r15), %rdi
callq 0x8730
movq 0x30(%rsp), %rdi
callq 0x144cc
movq 0x38(%rsp), %rdi
callq 0x154da
leaq 0x220(%r15), %rbx
leaq 0x308(%r15), %r14
leaq 0x320(%r15), %r12
leaq 0x338(%r15), %r13
leaq 0x350(%r15), %rbp
addq $0x368, %r15            # imm = 0x368
movq %r15, %rdi
callq 0x718e
movq %rbp, %rdi
callq 0x718e
movq %r13, %rdi
callq 0x718e
movq %r12, %rdi
callq 0x718e
movq %r14, %rdi
callq 0x718e
movq %rbx, %rdi
callq 0x210a2
movq 0x40(%rsp), %rdi
callq 0x718e
movq 0x48(%rsp), %rdi
callq 0x718e
movq 0x50(%rsp), %rdi
callq 0x718e
movq 0x58(%rsp), %rdi
callq 0x2112a
movq 0x8(%rsp), %rdi
callq 0x66e0