// File: /workspace/github_cpp_makefile_star2_O1/j-faria[P]kima/examples/BL2009/kima_setup.cpp
// Function: RVmodel::RVmodel()
RVmodel::RVmodel():fix(false),npmax(1)
{
    // priors as in Balan & Lahav (2009, DOI: 10.1111/j.1365-2966.2008.14385.x)
    Cprior = make_prior<Uniform>(-2000, 2000); // m/s
    Jprior = make_prior<ModifiedLogUniform>(1.0, 2000.); // m/s

    auto conditional = planets.get_conditional_prior();
    conditional->Pprior = make_prior<LogUniform>(0.2, 15E3); // days
    conditional->Kprior = make_prior<ModifiedLogUniform>(1.0, 2E3); // m/s
    conditional->eprior = make_prior<Uniform>(0., 1.);
    conditional->phiprior = make_prior<Uniform>(0.0, 2*M_PI);
    conditional->wprior = make_prior<Uniform>(0.0, 2*M_PI);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
movq %rdi, %rbx
xorl %ebp, %ebp
movb %bpl, (%rdi)
movl $0x1, %r15d
movl %r15d, 0x4(%rdi)
leaq 0x20(%rsp), %r14
movq %r14, %rdi
callq 0x7fa8
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 0x21c26
xorps %xmm0, %xmm0
movups %xmm0, 0x10c(%rbx)
movups %xmm0, 0xfc(%rbx)
movups %xmm0, 0xec(%rbx)
movups %xmm0, 0xdc(%rbx)
movups %xmm0, 0xcc(%rbx)
movups %xmm0, 0xbc(%rbx)
movl $0x0, 0x11c(%rbx)
movq %r14, %rdi
callq 0x8974
leaq 0x128(%rbx), %r15
leaq 0x329d1(%rip), %r14     # 0x53400
movslq 0xf8(%r14), %rsi
decq %rsi
leaq 0x20(%rsp), %rdx
movq %r15, %rdi
callq 0xbb9c
leaq 0x140(%rbx), %rbp
movslq 0xf8(%r14), %rsi
leaq 0x20(%rsp), %rdx
movq %rbp, %rdi
movq %r15, 0xf0(%rsp)
callq 0xbb9c
leaq 0x158(%rbx), %r12
movslq 0x7c(%r14), %rsi
leaq 0x20(%rsp), %rdx
movq %r12, %rdi
movq %rbp, 0xe8(%rsp)
callq 0xbb9c
movl $0x0, 0x1a8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x178(%rbx)
movb $0x0, 0x228(%rbx)
leaq 0x31d85(%rip), %rax     # 0x52830
movq %rax, 0x220(%rbx)
leaq 0x240(%rbx), %rdi
leaq 0x380(%rbx), %r13
movl $0x140, %edx            # imm = 0x140
xorl %esi, %esi
callq 0x6220
movq 0x8(%r14), %rax
subq (%r14), %rax
shrq $0x3, %rax
movslq %eax, %rsi
leaq 0x20(%rsp), %rdx
movq %r13, %rdi
callq 0x211cc
movq 0x8(%r14), %rax
subq (%r14), %rax
xorps %xmm0, %xmm0
movups %xmm0, 0x398(%rbx)
movq $0x0, 0x3a8(%rbx)
shrq $0x3, %rax
movslq %eax, %rcx
testq %rcx, %rcx
js 0x20e25
leaq 0x398(%rbx), %rbp
testl %eax, %eax
je 0x20b36
movabsq $0x7fffffffffffffff, %rax # imm = 0x7FFFFFFFFFFFFFFF
xorl %edx, %edx
divq %rcx
cmpq %rcx, %rax
jl 0x20e44
movq %rcx, %rsi
imulq %rcx, %rsi
movq %rbp, %rdi
movq %rcx, %rdx
callq 0x18da4
leaq 0x3b8(%rbx), %rdi
movl $0x158, %edx            # imm = 0x158
xorl %esi, %esi
callq 0x6220
leaq 0x18(%rsp), %rcx
movl $0xfffff830, (%rcx)     # imm = 0xFFFFF830
leaq 0x10(%rsp), %r8
movl $0x7d0, (%r8)           # imm = 0x7D0
leaq 0x28(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0xf(%rsp), %rdx
callq 0x1881a
movaps 0x20(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x20(%rsp)
movq 0x3c0(%rbx), %rdi
movups %xmm0, 0x3b8(%rbx)
testq %rdi, %rdi
je 0x20bb3
callq 0x8a1a
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x20bc2
callq 0x8a1a
movabsq $0x3ff0000000000000, %r14 # imm = 0x3FF0000000000000
leaq 0x18(%rsp), %rcx
movq %r14, (%rcx)
movabsq $0x409f400000000000, %r15 # imm = 0x409F400000000000
leaq 0x10(%rsp), %r8
movq %r15, (%r8)
leaq 0x28(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0xf(%rsp), %rdx
callq 0x35826
movaps 0x20(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x20(%rsp)
movq 0x3d0(%rbx), %rdi
movups %xmm0, 0x3c8(%rbx)
testq %rdi, %rdi
je 0x20c27
callq 0x8a1a
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x20c36
callq 0x8a1a
movabsq $0x3fc999999999999a, %rax # imm = 0x3FC999999999999A
leaq 0x18(%rsp), %rcx
movq %rax, (%rcx)
movabsq $0x40cd4c0000000000, %rax # imm = 0x40CD4C0000000000
leaq 0x10(%rsp), %r8
movq %rax, (%r8)
leaq 0x28(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0xf(%rsp), %rdx
callq 0x358aa
movaps 0x20(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x20(%rsp)
movq 0x40(%rbx), %rdi
movups %xmm0, 0x38(%rbx)
testq %rdi, %rdi
je 0x20c95
callq 0x8a1a
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x20ca4
callq 0x8a1a
leaq 0x18(%rsp), %rcx
movq %r14, (%rcx)
leaq 0x10(%rsp), %r8
movq %r15, (%r8)
leaq 0x28(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0xf(%rsp), %rdx
callq 0x35826
movaps 0x20(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x20(%rsp)
movq 0x50(%rbx), %rdi
movups %xmm0, 0x48(%rbx)
testq %rdi, %rdi
je 0x20cef
callq 0x8a1a
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x20cfe
callq 0x8a1a
xorl %eax, %eax
leaq 0x18(%rsp), %rcx
movq %rax, (%rcx)
leaq 0x10(%rsp), %r8
movq %r14, (%r8)
leaq 0x28(%rsp), %rdi
movq %rax, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0xf(%rsp), %rdx
callq 0x18922
movaps 0x20(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x20(%rsp)
movq 0x60(%rbx), %rdi
movups %xmm0, 0x58(%rbx)
testq %rdi, %rdi
je 0x20d47
callq 0x8a1a
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x20d56
callq 0x8a1a
xorl %eax, %eax
leaq 0x18(%rsp), %rcx
movq %rax, (%rcx)
movabsq $0x401921fb54442d18, %r14 # imm = 0x401921FB54442D18
leaq 0x10(%rsp), %r8
movq %r14, (%r8)
leaq 0x28(%rsp), %rdi
movq %rax, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0xf(%rsp), %rdx
callq 0x18922
movaps 0x20(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x20(%rsp)
movq 0x70(%rbx), %rdi
movups %xmm0, 0x68(%rbx)
testq %rdi, %rdi
je 0x20da9
callq 0x8a1a
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x20db8
callq 0x8a1a
xorl %eax, %eax
leaq 0x18(%rsp), %rcx
movq %rax, (%rcx)
leaq 0x10(%rsp), %r8
movq %r14, (%r8)
leaq 0x28(%rsp), %rdi
movq %rax, -0x8(%rdi)
leaq 0x20(%rsp), %rsi
leaq 0xf(%rsp), %rdx
callq 0x18922
movaps 0x20(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x20(%rsp)
movq 0x80(%rbx), %rdi
movups %xmm0, 0x78(%rbx)
testq %rdi, %rdi
je 0x20e04
callq 0x8a1a
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x20e13
callq 0x8a1a
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1f577(%rip), %rdi     # 0x403a3
leaq 0x24575(%rip), %rsi     # 0x453a8
leaq 0x1f6f8(%rip), %rcx     # 0x40532
movl $0x11d, %edx            # imm = 0x11D
callq 0x62b0
movl $0x8, %edi
callq 0x61d0
movq 0x32113(%rip), %rcx     # 0x52f68
addq $0x10, %rcx
movq %rcx, (%rax)
movq 0x3213d(%rip), %rsi     # 0x52fa0
movq 0x320e6(%rip), %rdx     # 0x52f50
movq %rax, %rdi
callq 0x66c0
jmp 0x20e7e
jmp 0x20e7e
jmp 0x20e7e
jmp 0x20e7e
jmp 0x20e7e
jmp 0x20e7e
movq %rax, %r14
leaq 0x488(%rbx), %r15
leaq 0x4a0(%rbx), %rax
movq %rax, 0xe0(%rsp)
leaq 0x4b8(%rbx), %rax
movq %rax, 0xd8(%rsp)
leaq 0x4d0(%rbx), %rax
movq %rax, 0xd0(%rsp)
leaq 0x4e8(%rbx), %rax
movq %rax, 0xc8(%rsp)
movq 0x508(%rbx), %rdi
testq %rdi, %rdi
je 0x20ed5
callq 0x8a1a
movq 0xc8(%rsp), %rdi
callq 0x21262
movq 0xd0(%rsp), %rdi
callq 0x21262
movq 0xd8(%rsp), %rdi
callq 0x21262
movq 0xe0(%rsp), %rdi
callq 0x21262
movq %r15, %rdi
callq 0x21262
movq 0x480(%rbx), %rdi
testq %rdi, %rdi
je 0x20f22
callq 0x8a1a
movq 0x470(%rbx), %rdi
testq %rdi, %rdi
je 0x20f33
callq 0x8a1a
movq 0x460(%rbx), %rdi
testq %rdi, %rdi
je 0x20f44
callq 0x8a1a
movq 0x450(%rbx), %rdi
testq %rdi, %rdi
je 0x20f55
callq 0x8a1a
movq 0x440(%rbx), %rdi
testq %rdi, %rdi
je 0x20f66
callq 0x8a1a
movq 0x430(%rbx), %rdi
testq %rdi, %rdi
je 0x20f77
callq 0x8a1a
movq 0x420(%rbx), %rdi
testq %rdi, %rdi
je 0x20f88
callq 0x8a1a
movq 0x410(%rbx), %rdi
testq %rdi, %rdi
je 0x20f99
callq 0x8a1a
movq 0x400(%rbx), %rdi
testq %rdi, %rdi
je 0x20faa
callq 0x8a1a
movq 0x3f0(%rbx), %rdi
testq %rdi, %rdi
je 0x20fbb
callq 0x8a1a
movq 0x3e0(%rbx), %rdi
testq %rdi, %rdi
je 0x20fcc
callq 0x8a1a
movq 0x3d0(%rbx), %rdi
testq %rdi, %rdi
je 0x20fdd
callq 0x8a1a
movq 0x3c0(%rbx), %rdi
testq %rdi, %rdi
je 0x21010
callq 0x8a1a
jmp 0x21010
movq %rax, %r14
jmp 0x21031
movq %rax, %r14
jmp 0x210df
movq %rax, %r14
jmp 0x210fe
movq %rax, %r14
jmp 0x2111d
movq %rax, %r14
movq (%rbp), %rdi
callq 0x64d0
movq (%r13), %rdi
testq %rdi, %rdi
je 0x21031
movq 0x390(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x368(%rbx), %rdi
testq %rdi, %rdi
je 0x2104c
movq 0x378(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x350(%rbx), %rdi
testq %rdi, %rdi
je 0x21067
movq 0x360(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x338(%rbx), %rdi
testq %rdi, %rdi
je 0x21082
movq 0x348(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x320(%rbx), %rdi
testq %rdi, %rdi
je 0x2109d
movq 0x330(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
leaq 0x220(%rbx), %r13
movq 0x308(%rbx), %rdi
testq %rdi, %rdi
je 0x210bf
movq 0x318(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq %r13, %rdi
callq 0x212aa
movq (%r12), %rdi
testq %rdi, %rdi
je 0x210df
movq 0x168(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0xe8(%rsp), %rax
movq (%rax), %rdi
testq %rdi, %rdi
je 0x210fe
movq 0x150(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0xf0(%rsp), %rax
movq (%rax), %rdi
testq %rdi, %rdi
je 0x2111d
movq 0x138(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
addq $0x8, %rbx
movq %rbx, %rdi
callq 0x2132e
movq %r14, %rdi
callq 0x6710