// File: /workspace/github_cpp_makefile_star2_O2/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, %r15
movb $0x0, (%rdi)
movl $0x1, 0x4(%rdi)
leaq 0x8(%rdi), %r12
leaq 0x58(%rsp), %rbx
movq %rbx, %rdi
callq 0x7dd8
pushq $0x5
popq %rsi
pushq $0x1
popq %rdx
movq %r12, %rdi
xorl %ecx, %ecx
movq %rbx, %r8
xorl %r9d, %r9d
callq 0x21016
movq %rbx, %rdi
callq 0x8692
leaq 0x128(%r15), %r14
leaq 0x43af9(%rip), %rbx     # 0x64580
movslq 0xf8(%rbx), %rsi
decq %rsi
leaq 0x58(%rsp), %rdx
movq %r14, %rdi
movq %r12, 0x50(%rsp)
callq 0xb320
leaq 0x140(%r15), %r13
movslq 0xf8(%rbx), %rsi
leaq 0x58(%rsp), %rdx
movq %r13, %rdi
movq %r14, 0x48(%rsp)
callq 0xb320
leaq 0x158(%r15), %rbp
movslq 0x7c(%rbx), %rsi
leaq 0x58(%rsp), %rdx
movq %rbp, %rdi
movq %r13, 0x40(%rsp)
callq 0xb320
andl $0x0, 0x1a8(%r15)
movb $0x0, 0x228(%r15)
xorps %xmm0, %xmm0
movups %xmm0, 0x178(%r15)
leaq 0x42d2e(%rip), %rax     # 0x63830
movq %rax, 0x220(%r15)
leaq 0x240(%r15), %rdi
leaq 0x380(%r15), %r12
movl $0x140, %edx            # imm = 0x140
xorl %esi, %esi
callq 0x6220
movq 0x8(%rbx), %rax
subq (%rbx), %rax
shrq $0x3, %rax
movslq %eax, %rsi
leaq 0x58(%rsp), %rdx
movq %r12, 0x30(%rsp)
movq %r12, %rdi
movq %rbp, 0x38(%rsp)
callq 0x21068
leaq 0x398(%r15), %r12
movq 0x8(%rbx), %rax
subq (%rbx), %rax
shrq $0x3, %rax
leaq 0x58(%rsp), %rsi
movl %eax, (%rsi)
leaq 0x8(%rsp), %rdx
movl %eax, (%rdx)
movq %r12, %rdi
callq 0x15068
leaq 0x3b8(%r15), %r14
leaq 0x488(%r15), %rbx
movl $0xd0, %edx
movq %r14, %rdi
xorl %esi, %esi
callq 0x6220
leaq 0x58(%rsp), %rdx
movq %rbx, %rdi
xorl %esi, %esi
movq %r12, 0x28(%rsp)
callq 0x210ba
leaq 0x4a0(%r15), %rdi
leaq 0x58(%rsp), %rdx
movq %rdi, 0x18(%rsp)
xorl %esi, %esi
movq %rbx, 0x20(%rsp)
callq 0x210ba
leaq 0x4b8(%r15), %r13
leaq 0x58(%rsp), %rdx
movq %r13, %rdi
xorl %esi, %esi
callq 0x210ba
leaq 0x4d0(%r15), %rbp
leaq 0x58(%rsp), %rdx
movq %rbp, %rdi
xorl %esi, %esi
callq 0x210ba
leaq 0x4e8(%r15), %rbx
leaq 0x58(%rsp), %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x210ba
xorps %xmm0, %xmm0
movups %xmm0, 0x500(%r15)
leaq 0x8(%rsp), %rsi
movl $0xfffff830, (%rsi)     # imm = 0xFFFFF830
leaq 0x10(%rsp), %rdx
movl $0x7d0, (%rdx)          # imm = 0x7D0
leaq 0x58(%rsp), %rdi
callq 0x1482c
leaq 0x58(%rsp), %rsi
movq %r14, %rdi
callq 0x8b20
leaq 0x60(%rsp), %rdi
callq 0x8710
movabsq $0x3ff0000000000000, %r14 # imm = 0x3FF0000000000000
leaq 0x8(%rsp), %rsi
movq %r14, (%rsi)
movabsq $0x409f400000000000, %r12 # imm = 0x409F400000000000
leaq 0x10(%rsp), %rdx
movq %r12, (%rdx)
leaq 0x58(%rsp), %rdi
callq 0x3331f
leaq 0x3c8(%r15), %rdi
leaq 0x58(%rsp), %rsi
callq 0x91be
leaq 0x60(%rsp), %rdi
callq 0x8710
movabsq $0x3fc999999999999a, %rax # imm = 0x3FC999999999999A
leaq 0x8(%rsp), %rsi
movq %rax, (%rsi)
movabsq $0x40cd4c0000000000, %rax # imm = 0x40CD4C0000000000
leaq 0x10(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x58(%rsp), %rdi
callq 0x3341c
leaq 0x38(%r15), %rdi
leaq 0x58(%rsp), %rsi
callq 0x9004
leaq 0x60(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
movq %r14, (%rsi)
leaq 0x10(%rsp), %rdx
movq %r12, (%rdx)
leaq 0x58(%rsp), %rdi
callq 0x3331f
leaq 0x48(%r15), %rdi
leaq 0x58(%rsp), %rsi
callq 0x91be
leaq 0x60(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
andq $0x0, (%rsi)
leaq 0x10(%rsp), %rdx
movq %r14, (%rdx)
leaq 0x58(%rsp), %rdi
callq 0x14a28
leaq 0x58(%r15), %rdi
leaq 0x58(%rsp), %rsi
callq 0x8b20
leaq 0x60(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
andq $0x0, (%rsi)
movabsq $0x401921fb54442d18, %r14 # imm = 0x401921FB54442D18
leaq 0x10(%rsp), %rdx
movq %r14, (%rdx)
leaq 0x58(%rsp), %rdi
callq 0x14a28
leaq 0x68(%r15), %rdi
leaq 0x58(%rsp), %rsi
callq 0x8b20
leaq 0x60(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
andq $0x0, (%rsi)
leaq 0x10(%rsp), %rdx
movq %r14, (%rdx)
leaq 0x58(%rsp), %rdi
callq 0x14a28
addq $0x78, %r15
leaq 0x58(%rsp), %rsi
movq %r15, %rdi
callq 0x8b20
leaq 0x60(%rsp), %rdi
callq 0x8710
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x20dc7
jmp 0x20dc7
jmp 0x20dc7
jmp 0x20dc7
jmp 0x20dc7
jmp 0x20dc7
movq %rax, (%rsp)
leaq 0x508(%r15), %rdi
callq 0x8710
movq %rbx, %rdi
callq 0x2110c
movq %rbp, %rdi
callq 0x2110c
movq %r13, %rdi
callq 0x2110c
movq 0x18(%rsp), %rdi
callq 0x2110c
movq 0x20(%rsp), %rdi
callq 0x2110c
leaq 0x480(%r15), %rdi
callq 0x8710
leaq 0x470(%r15), %rdi
callq 0x8710
leaq 0x460(%r15), %rdi
callq 0x8710
leaq 0x450(%r15), %rdi
callq 0x8710
leaq 0x440(%r15), %rdi
callq 0x8710
leaq 0x430(%r15), %rdi
callq 0x8710
leaq 0x420(%r15), %rdi
callq 0x8710
leaq 0x410(%r15), %rdi
callq 0x8710
leaq 0x400(%r15), %rdi
callq 0x8710
leaq 0x3f0(%r15), %rdi
callq 0x8710
leaq 0x3e0(%r15), %rdi
callq 0x8710
leaq 0x3d0(%r15), %rdi
callq 0x8710
leaq 0x3c0(%r15), %rdi
callq 0x8710
movq 0x28(%rsp), %rdi
callq 0x144ac
movq 0x30(%rsp), %rdi
callq 0x154ba
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 0x716e
movq %rbp, %rdi
callq 0x716e
movq %r13, %rdi
callq 0x716e
movq %r12, %rdi
callq 0x716e
movq %r14, %rdi
callq 0x716e
movq %rbx, %rdi
callq 0x2112e
movq 0x38(%rsp), %rdi
callq 0x716e
movq 0x40(%rsp), %rdi
callq 0x716e
movq 0x48(%rsp), %rdi
callq 0x716e
movq 0x50(%rsp), %rdi
callq 0x211b6
movq (%rsp), %rdi
callq 0x66e0
movq %rax, (%rsp)
jmp 0x20ddf
movq %rax, (%rsp)
jmp 0x20de7
movq %rax, (%rsp)
jmp 0x20def
movq %rax, (%rsp)
jmp 0x20df9
movq %rax, (%rsp)
jmp 0x20e03
movq %rax, (%rsp)
jmp 0x20ea9
movq %rax, (%rsp)
jmp 0x20eb3
movq %rax, (%rsp)
jmp 0x20f17
movq %rax, (%rsp)
jmp 0x20f21
movq %rax, (%rsp)
jmp 0x20f2b