// File: 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
movq %rsp, %rbp
subq $0x430, %rsp            # imm = 0x430
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x260(%rbp)
movb $0x0, (%rax)
movl $0x2, 0x4(%rax)
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, -0x250(%rbp)
movl 0x4(%rax), %ecx
movl %ecx, -0x244(%rbp)
movzbl (%rax), %eax
movl %eax, -0x254(%rbp)
leaq -0xa8(%rbp), %rdi
movq %rdi, -0x240(%rbp)
callq 0xc100
movl -0x254(%rbp), %ecx
movq -0x250(%rbp), %rdi
movl -0x244(%rbp), %edx
movq -0x240(%rbp), %r8
andl $0x1, %ecx
movl $0x5, %esi
xorl %r9d, %r9d
callq 0x6e610
jmp 0x6d8e3
leaq -0xa8(%rbp), %rdi
callq 0xd700
movq -0x260(%rbp), %rax
addq $0x128, %rax            # imm = 0x128
movq %rax, -0x270(%rbp)
callq 0xbb50
movq %rax, -0x268(%rbp)
jmp 0x6d911
movq -0x268(%rbp), %rax
movl 0xf8(%rax), %eax
decl %eax
cltq
movq %rax, -0x280(%rbp)
leaq -0xb5(%rbp), %rdi
movq %rdi, -0x278(%rbp)
callq 0x8e50
movq -0x270(%rbp), %rdi
movq -0x280(%rbp), %rsi
movq -0x278(%rbp), %rdx
callq 0x17430
jmp 0x6d958
leaq -0xb5(%rbp), %rdi
callq 0x91d0
movq -0x260(%rbp), %rax
addq $0x140, %rax            # imm = 0x140
movq %rax, -0x290(%rbp)
callq 0xbb50
movq %rax, -0x288(%rbp)
jmp 0x6d986
movq -0x288(%rbp), %rax
movslq 0xf8(%rax), %rax
movq %rax, -0x2a0(%rbp)
leaq -0xb6(%rbp), %rdi
movq %rdi, -0x298(%rbp)
callq 0x8e50
movq -0x290(%rbp), %rdi
movq -0x2a0(%rbp), %rsi
movq -0x298(%rbp), %rdx
callq 0x17430
jmp 0x6d9ca
leaq -0xb6(%rbp), %rdi
callq 0x91d0
movq -0x260(%rbp), %rax
addq $0x158, %rax            # imm = 0x158
movq %rax, -0x2b0(%rbp)
callq 0xbb50
movq %rax, -0x2a8(%rbp)
jmp 0x6d9f8
movq -0x2a8(%rbp), %rax
movslq 0x7c(%rax), %rax
movq %rax, -0x2c0(%rbp)
leaq -0xb7(%rbp), %rdi
movq %rdi, -0x2b8(%rbp)
callq 0x8e50
movq -0x2b0(%rbp), %rdi
movq -0x2c0(%rbp), %rsi
movq -0x2b8(%rbp), %rdx
callq 0x17430
jmp 0x6da39
leaq -0xb7(%rbp), %rdi
callq 0x91d0
movq -0x260(%rbp), %rdi
movq $0x0, 0x178(%rdi)
movq $0x0, 0x180(%rdi)
movl $0x0, 0x1a8(%rdi)
addq $0x220, %rdi            # imm = 0x220
movq %rdi, -0x2c8(%rbp)
callq 0x6e6b0
jmp 0x6da81
movq -0x260(%rbp), %rdi
addq $0x308, %rdi            # imm = 0x308
movq %rdi, -0x300(%rbp)
callq 0x8800
movq -0x260(%rbp), %rdi
addq $0x320, %rdi            # imm = 0x320
movq %rdi, -0x2f8(%rbp)
callq 0x8800
movq -0x260(%rbp), %rdi
addq $0x338, %rdi            # imm = 0x338
movq %rdi, -0x2f0(%rbp)
callq 0x8800
movq -0x260(%rbp), %rdi
addq $0x350, %rdi            # imm = 0x350
movq %rdi, -0x2e8(%rbp)
callq 0x8800
movq -0x260(%rbp), %rdi
addq $0x368, %rdi            # imm = 0x368
movq %rdi, -0x2e0(%rbp)
callq 0x8800
movq -0x260(%rbp), %rax
addq $0x380, %rax            # imm = 0x380
movq %rax, -0x2d8(%rbp)
callq 0xbb50
movq %rax, -0x2d0(%rbp)
jmp 0x6db25
movq -0x2d0(%rbp), %rdi
callq 0x28240
movl %eax, -0x304(%rbp)
jmp 0x6db39
movl -0x304(%rbp), %eax
cltq
movq %rax, -0x318(%rbp)
leaq -0xb8(%rbp), %rdi
movq %rdi, -0x310(%rbp)
callq 0x6e8d0
movq -0x2d8(%rbp), %rdi
movq -0x318(%rbp), %rsi
movq -0x310(%rbp), %rdx
callq 0x6e8f0
jmp 0x6db77
leaq -0xb8(%rbp), %rdi
callq 0x31e70
movq -0x260(%rbp), %rax
addq $0x398, %rax            # imm = 0x398
movq %rax, -0x328(%rbp)
callq 0xbb50
movq %rax, -0x320(%rbp)
jmp 0x6dba5
movq -0x320(%rbp), %rdi
callq 0x28240
movl %eax, -0x32c(%rbp)
jmp 0x6dbb9
movl -0x32c(%rbp), %eax
movl %eax, -0xbc(%rbp)
callq 0xbb50
movq %rax, -0x338(%rbp)
jmp 0x6dbd3
movq -0x338(%rbp), %rdi
callq 0x28240
movl %eax, -0x33c(%rbp)
jmp 0x6dbe7
movq -0x328(%rbp), %rdi
movl -0x33c(%rbp), %eax
movl %eax, -0xc0(%rbp)
leaq -0xbc(%rbp), %rsi
leaq -0xc0(%rbp), %rdx
callq 0x30c70
jmp 0x6dc0f
movq -0x260(%rbp), %rdi
addq $0x3b8, %rdi            # imm = 0x3B8
movq %rdi, -0x3b8(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x3c8, %rdi            # imm = 0x3C8
movq %rdi, -0x3b0(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x3d8, %rdi            # imm = 0x3D8
movq %rdi, -0x3a8(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x3e8, %rdi            # imm = 0x3E8
movq %rdi, -0x3a0(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x3f8, %rdi            # imm = 0x3F8
movq %rdi, -0x398(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x408, %rdi            # imm = 0x408
movq %rdi, -0x390(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x418, %rdi            # imm = 0x418
movq %rdi, -0x388(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x428, %rdi            # imm = 0x428
movq %rdi, -0x380(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x438, %rdi            # imm = 0x438
movq %rdi, -0x378(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x448, %rdi            # imm = 0x448
movq %rdi, -0x370(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x458, %rdi            # imm = 0x458
movq %rdi, -0x368(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x468, %rdi            # imm = 0x468
movq %rdi, -0x360(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
addq $0x478, %rdi            # imm = 0x478
movq %rdi, -0x358(%rbp)
callq 0xd070
movq -0x260(%rbp), %rax
addq $0x488, %rax            # imm = 0x488
movq %rax, -0x350(%rbp)
leaq -0xc1(%rbp), %rdi
movq %rdi, -0x348(%rbp)
callq 0x6e960
movq -0x350(%rbp), %rdi
movq -0x348(%rbp), %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0x6e980
jmp 0x6dda1
leaq -0xc1(%rbp), %rdi
callq 0x6e9f0
movq -0x260(%rbp), %rax
addq $0x4a0, %rax            # imm = 0x4A0
movq %rax, -0x3c8(%rbp)
leaq -0xc2(%rbp), %rdi
movq %rdi, -0x3c0(%rbp)
callq 0x6e960
movq -0x3c8(%rbp), %rdi
movq -0x3c0(%rbp), %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0x6e980
jmp 0x6dded
leaq -0xc2(%rbp), %rdi
callq 0x6e9f0
movq -0x260(%rbp), %rax
addq $0x4b8, %rax            # imm = 0x4B8
movq %rax, -0x3d8(%rbp)
leaq -0xc3(%rbp), %rdi
movq %rdi, -0x3d0(%rbp)
callq 0x6e960
movq -0x3d8(%rbp), %rdi
movq -0x3d0(%rbp), %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0x6e980
jmp 0x6de39
leaq -0xc3(%rbp), %rdi
callq 0x6e9f0
movq -0x260(%rbp), %rax
addq $0x4d0, %rax            # imm = 0x4D0
movq %rax, -0x3e8(%rbp)
leaq -0xc4(%rbp), %rdi
movq %rdi, -0x3e0(%rbp)
callq 0x6e960
movq -0x3e8(%rbp), %rdi
movq -0x3e0(%rbp), %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0x6e980
jmp 0x6de85
leaq -0xc4(%rbp), %rdi
callq 0x6e9f0
movq -0x260(%rbp), %rax
addq $0x4e8, %rax            # imm = 0x4E8
movq %rax, -0x3f8(%rbp)
leaq -0xc5(%rbp), %rdi
movq %rdi, -0x3f0(%rbp)
callq 0x6e960
movq -0x3f8(%rbp), %rdi
movq -0x3f0(%rbp), %rdx
xorl %eax, %eax
movl %eax, %esi
callq 0x6e980
jmp 0x6ded1
leaq -0xc5(%rbp), %rdi
callq 0x6e9f0
movq -0x260(%rbp), %rdi
addq $0x500, %rdi            # imm = 0x500
movq %rdi, -0x408(%rbp)
callq 0xd070
movq -0x260(%rbp), %rdi
callq 0x6ea10
movq %rax, -0x400(%rbp)
jmp 0x6df0c
movq -0x400(%rbp), %rsi
leaq -0x1d0(%rbp), %rdi
callq 0x27a10
jmp 0x6df21
movq -0x260(%rbp), %rdi
addq $0x8, %rdi
callq 0x2c850
movq %rax, -0x410(%rbp)
jmp 0x6df3a
movq -0x410(%rbp), %rax
movq %rax, -0x1d8(%rbp)
movl $0x1, -0x1ec(%rbp)
leaq -0x1d0(%rbp), %rdi
callq 0x177d0
movsd %xmm0, -0x418(%rbp)
jmp 0x6df68
movq -0x260(%rbp), %rsi
movsd -0x418(%rbp), %xmm0
movsd 0x4c7b1(%rip), %xmm1    # 0xba730
mulsd %xmm1, %xmm0
movsd %xmm0, -0x1f8(%rbp)
leaq -0x1e8(%rbp), %rdi
leaq -0x1ec(%rbp), %rdx
leaq -0x1f8(%rbp), %rcx
callq 0x6ea30
jmp 0x6dfa7
movq -0x1d8(%rbp), %rdi
addq $0x20, %rdi
leaq -0x1e8(%rbp), %rsi
movq %rsi, -0x420(%rbp)
callq 0xd480
movq -0x420(%rbp), %rdi
callq 0xd4b0
movq -0x260(%rbp), %rsi
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, -0x210(%rbp)
movl $0x64, -0x214(%rbp)
leaq -0x208(%rbp), %rdi
leaq -0x210(%rbp), %rdx
leaq -0x214(%rbp), %rcx
callq 0x6ea70
jmp 0x6e00f
movq -0x1d8(%rbp), %rdi
addq $0x30, %rdi
leaq -0x208(%rbp), %rsi
movq %rsi, -0x428(%rbp)
callq 0xd550
movq -0x428(%rbp), %rdi
callq 0xd580
movq -0x260(%rbp), %rsi
movabsq $0x3febbe76c8b43958, %rax # imm = 0x3FEBBE76C8B43958
movq %rax, -0x230(%rbp)
movabsq $0x40083d70a3d70a3d, %rax # imm = 0x40083D70A3D70A3D
movq %rax, -0x238(%rbp)
leaq -0x228(%rbp), %rdi
leaq -0x230(%rbp), %rdx
leaq -0x238(%rbp), %rcx
callq 0x6eab0
jmp 0x6e07e
movq -0x1d8(%rbp), %rdi
addq $0x40, %rdi
leaq -0x228(%rbp), %rsi
callq 0x6eaf0
leaq -0x228(%rbp), %rdi
callq 0x6eb20
leaq -0x1d0(%rbp), %rdi
callq 0x16600
addq $0x430, %rsp            # imm = 0x430
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0xd700
jmp 0x6e43e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6e432
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xb5(%rbp), %rdi
callq 0x91d0
jmp 0x6e432
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6e426
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xb6(%rbp), %rdi
callq 0x91d0
jmp 0x6e426
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6e41a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xb7(%rbp), %rdi
callq 0x91d0
jmp 0x6e41a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6e40e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6e3c6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x31e70
jmp 0x6e3c6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6e3ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc1(%rbp), %rdi
callq 0x6e9f0
jmp 0x6e312
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc2(%rbp), %rdi
callq 0x6e9f0
jmp 0x6e306
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc3(%rbp), %rdi
callq 0x6e9f0
jmp 0x6e2fa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc4(%rbp), %rdi
callq 0x6e9f0
jmp 0x6e2ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc5(%rbp), %rdi
callq 0x6e9f0
jmp 0x6e2e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6e2ca
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0x1d0(%rbp), %rdi
callq 0x16600
movq -0x408(%rbp), %rdi
callq 0xd6a0
movq -0x3f8(%rbp), %rdi
callq 0x6eb40
movq -0x3e8(%rbp), %rdi
callq 0x6eb40
movq -0x3d8(%rbp), %rdi
callq 0x6eb40
movq -0x3c8(%rbp), %rdi
callq 0x6eb40
movq -0x350(%rbp), %rdi
callq 0x6eb40
movq -0x358(%rbp), %rdi
callq 0xd6a0
movq -0x360(%rbp), %rdi
callq 0xd6a0
movq -0x368(%rbp), %rdi
callq 0xd6a0
movq -0x370(%rbp), %rdi
callq 0xd6a0
movq -0x378(%rbp), %rdi
callq 0xd6a0
movq -0x380(%rbp), %rdi
callq 0xd6a0
movq -0x388(%rbp), %rdi
callq 0xd6a0
movq -0x390(%rbp), %rdi
callq 0xd6a0
movq -0x398(%rbp), %rdi
callq 0xd6a0
movq -0x3a0(%rbp), %rdi
callq 0xd6a0
movq -0x3a8(%rbp), %rdi
callq 0xd6a0
movq -0x3b0(%rbp), %rdi
callq 0xd6a0
movq -0x3b8(%rbp), %rdi
callq 0xd6a0
movq -0x328(%rbp), %rdi
callq 0x28ff0
movq -0x2d8(%rbp), %rdi
callq 0x31a90
movq -0x2e0(%rbp), %rdi
callq 0x8930
movq -0x2e8(%rbp), %rdi
callq 0x8930
movq -0x2f0(%rbp), %rdi
callq 0x8930
movq -0x2f8(%rbp), %rdi
callq 0x8930
movq -0x300(%rbp), %rdi
callq 0x8930
movq -0x2c8(%rbp), %rdi
callq 0x6eba0
movq -0x2b0(%rbp), %rdi
callq 0x8930
movq -0x290(%rbp), %rdi
callq 0x8930
movq -0x270(%rbp), %rdi
callq 0x8930
movq -0x250(%rbp), %rdi
callq 0x6ec70
movq -0xb0(%rbp), %rdi
callq 0x7830
nopw (%rax,%rax)