// File: /workspace/github_cpp_makefile_star2_O2/j-faria[P]kima/examples/K2-24/kima_setup.cpp
// Function: RVmodel::RVmodel()
RVmodel::RVmodel():fix(true),npmax(0)
{
    // periods = [20.8851, 42.3633]
    // period_errs = [0.0003, 0.0006]
    // t0s = [2072.7948, 2082.6251]
    // t0_errs = [0.0007, 0.0004]
    // Ks = [5.05069163 5.50983542] m/s

    // priors for first known_object
    KO_Pprior[0] = make_prior<Gaussian>(20.8851, 0.0003);
    KO_Kprior[0] = make_prior<LogUniform>(1, 20);
    // KO_eprior[0] = make_prior<Kumaraswamy>(0.867, 3.03);
    KO_eprior[0] = make_prior<Uniform>(0, 1);
    KO_wprior[0] = make_prior<Uniform>(-PI, PI);
    // KO_phiprior[0] = make_prior<Uniform>(0, 2*PI);
    KO_phiprior[0] = make_prior<Gaussian_from_Tc>(2072.7948, 0.0007, 20.8851, 0.0003);
    
    // // priors for first known_object
    KO_Pprior[1] = make_prior<Gaussian>(42.3633, 0.0006);
    KO_Kprior[1] = make_prior<LogUniform>(1, 20);
    // KO_eprior[1] = make_prior<Kumaraswamy>(0.867, 3.03);
    KO_eprior[1] = make_prior<Uniform>(0, 1);
    // KO_wprior[1] = make_prior<Uniform>(0, 2*PI);
    KO_wprior[1] = make_prior<Uniform>(-PI, PI);
    // KO_phiprior[1] = make_prior<Uniform>(0, 2*PI);
    KO_phiprior[1] = make_prior<Gaussian_from_Tc>(2082.6251, 0.0004, 42.3633, 0.0006);

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq %rdi, %r15
movb $0x1, (%rdi)
andl $0x0, 0x4(%rdi)
leaq 0x8(%rdi), %r14
leaq 0x28(%rsp), %rbx
movq %rbx, %rdi
callq 0x7dd8
pushq $0x5
popq %rsi
pushq $0x1
popq %rcx
movq %r14, %rdi
xorl %edx, %edx
movq %rbx, %r8
xorl %r9d, %r9d
callq 0x2115a
movq %rbx, %rdi
callq 0x8692
leaq 0x128(%r15), %r12
leaq 0x43afc(%rip), %rbx     # 0x64580
movslq 0xf8(%rbx), %rsi
decq %rsi
leaq 0x28(%rsp), %rdx
movq %r12, %rdi
movq %r14, 0xf0(%rsp)
callq 0xb320
leaq 0x140(%r15), %r13
movslq 0xf8(%rbx), %rsi
leaq 0x28(%rsp), %rdx
movq %r13, %rdi
movq %r12, 0xe8(%rsp)
callq 0xb320
leaq 0x158(%r15), %rbp
movslq 0x7c(%rbx), %rsi
leaq 0x28(%rsp), %rdx
movq %rbp, %rdi
movq %r13, 0xe0(%rsp)
callq 0xb320
andl $0x0, 0x1a8(%r15)
movb $0x0, 0x228(%r15)
xorps %xmm0, %xmm0
movups %xmm0, 0x178(%r15)
leaq 0x42cd8(%rip), %rax     # 0x637e0
movq %rax, 0x220(%r15)
leaq 0x240(%r15), %rdi
leaq 0x380(%r15), %r14
movl $0x140, %edx            # imm = 0x140
xorl %esi, %esi
callq 0x6220
movq 0x8(%rbx), %rax
subq (%rbx), %rax
shrq $0x3, %rax
movslq %eax, %rsi
leaq 0x28(%rsp), %rdx
movq %r14, 0xd0(%rsp)
movq %r14, %rdi
movq %rbp, 0xd8(%rsp)
callq 0x211ac
leaq 0x398(%r15), %r14
movq 0x8(%rbx), %rax
subq (%rbx), %rax
shrq $0x3, %rax
leaq 0x28(%rsp), %rsi
movl %eax, (%rsi)
leaq 0x8(%rsp), %rdx
movl %eax, (%rdx)
movq %r14, %rdi
callq 0x15068
leaq 0x3b8(%r15), %rdi
leaq 0x488(%r15), %rbx
movl $0xd0, %edx
xorl %esi, %esi
callq 0x6220
pushq $0x2
popq %rsi
leaq 0x28(%rsp), %rdx
movq %rbx, 0x20(%rsp)
movq %rbx, %rdi
movq %r14, 0xc8(%rsp)
callq 0x211fe
leaq 0x4a0(%r15), %rdi
pushq $0x2
popq %rsi
leaq 0x28(%rsp), %rdx
movq %rdi, 0x18(%rsp)
callq 0x211fe
leaq 0x4b8(%r15), %r13
pushq $0x2
popq %rsi
leaq 0x28(%rsp), %rdx
movq %r13, %rdi
callq 0x211fe
leaq 0x4d0(%r15), %rbp
pushq $0x2
popq %rsi
leaq 0x28(%rsp), %rdx
movq %rbp, %rdi
callq 0x211fe
leaq 0x4e8(%r15), %rbx
pushq $0x2
popq %rsi
leaq 0x28(%rsp), %rdx
movq %rbx, %rdi
callq 0x211fe
xorps %xmm0, %xmm0
movups %xmm0, 0x500(%r15)
movabsq $0x4034e295e9e1b08a, %r14 # imm = 0x4034E295E9E1B08A
leaq 0x8(%rsp), %rsi
movq %r14, (%rsi)
movabsq $0x3f33a92a30553261, %r12 # imm = 0x3F33A92A30553261
leaq 0x10(%rsp), %rdx
movq %r12, (%rdx)
leaq 0x28(%rsp), %rdi
callq 0x14c24
movq 0x20(%rsp), %rax
movq (%rax), %rdi
leaq 0x28(%rsp), %rsi
callq 0x147fe
leaq 0x30(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
movl $0x1, (%rsi)
leaq 0x10(%rsp), %rdx
movl $0x14, (%rdx)
leaq 0x28(%rsp), %rdi
callq 0x1492a
movq 0x18(%rsp), %rax
movq (%rax), %rdi
leaq 0x28(%rsp), %rsi
callq 0x9004
leaq 0x30(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
andl $0x0, (%rsi)
leaq 0x10(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x28(%rsp), %rdi
callq 0x1482c
movq (%r13), %rdi
leaq 0x28(%rsp), %rsi
callq 0x8b20
leaq 0x30(%rsp), %rdi
callq 0x8710
movabsq $-0x3ff6de04abbbd2e8, %rax # imm = 0xC00921FB54442D18
leaq 0x8(%rsp), %rsi
movq %rax, (%rsi)
leaq 0x26338(%rip), %rdx     # 0x47028
leaq 0x28(%rsp), %rdi
callq 0x33463
movq (%rbx), %rdi
leaq 0x28(%rsp), %rsi
callq 0x8b20
leaq 0x30(%rsp), %rdi
callq 0x8710
movabsq $0x40a03196f0068db9, %rax # imm = 0x40A03196F0068DB9
leaq 0x8(%rsp), %rsi
movq %rax, (%rsi)
movabsq $0x3f46f0068db8bac7, %rax # imm = 0x3F46F0068DB8BAC7
leaq 0x10(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x100(%rsp), %rcx
movq %r14, (%rcx)
leaq 0xf8(%rsp), %r8
movq %r12, (%r8)
leaq 0x28(%rsp), %rdi
callq 0x33560
movq (%rbp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x3373a
leaq 0x30(%rsp), %rdi
callq 0x8710
movabsq $0x40452e809d495183, %r14 # imm = 0x40452E809D495183
leaq 0x8(%rsp), %rsi
movq %r14, (%rsi)
movabsq $0x3f43a92a30553261, %r12 # imm = 0x3F43A92A30553261
leaq 0x10(%rsp), %rdx
movq %r12, (%rdx)
leaq 0x28(%rsp), %rdi
callq 0x14c24
movq 0x20(%rsp), %rax
movq (%rax), %rdi
addq $0x10, %rdi
leaq 0x28(%rsp), %rsi
callq 0x147fe
leaq 0x30(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
movl $0x1, (%rsi)
leaq 0x10(%rsp), %rdx
movl $0x14, (%rdx)
leaq 0x28(%rsp), %rdi
callq 0x1492a
movq 0x18(%rsp), %rax
movq (%rax), %rdi
addq $0x10, %rdi
leaq 0x28(%rsp), %rsi
callq 0x9004
leaq 0x30(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
andl $0x0, (%rsi)
leaq 0x10(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x28(%rsp), %rdi
callq 0x1482c
movq (%r13), %rdi
addq $0x10, %rdi
leaq 0x28(%rsp), %rsi
callq 0x8b20
leaq 0x30(%rsp), %rdi
callq 0x8710
leaq 0x8(%rsp), %rsi
movabsq $-0x3ff6de04abbbd2e8, %rax # imm = 0xC00921FB54442D18
movq %rax, (%rsi)
leaq 0x261db(%rip), %rdx     # 0x47028
leaq 0x28(%rsp), %rdi
callq 0x33463
movq (%rbx), %rdi
addq $0x10, %rdi
leaq 0x28(%rsp), %rsi
callq 0x8b20
leaq 0x30(%rsp), %rdi
callq 0x8710
movabsq $0x40a045400d1b7176, %rax # imm = 0x40A045400D1B7176
leaq 0x8(%rsp), %rsi
movq %rax, (%rsi)
movabsq $0x3f3a36e2eb1c432d, %rax # imm = 0x3F3A36E2EB1C432D
leaq 0x10(%rsp), %rdx
movq %rax, (%rdx)
leaq 0x100(%rsp), %rcx
movq %r14, (%rcx)
leaq 0xf8(%rsp), %r8
movq %r12, (%r8)
leaq 0x28(%rsp), %rdi
callq 0x33560
movq (%rbp), %rdi
addq $0x10, %rdi
leaq 0x28(%rsp), %rsi
callq 0x3373a
leaq 0x30(%rsp), %rdi
callq 0x8710
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x20ef6
jmp 0x20ef6
jmp 0x20ef6
jmp 0x20ef6
jmp 0x20ef6
jmp 0x20ef6
jmp 0x20ef6
jmp 0x20ef6
jmp 0x20ef6
movq %rax, (%rsp)
leaq 0x508(%r15), %rdi
callq 0x8710
movq %rbx, %rdi
callq 0x21250
movq %rbp, %rdi
callq 0x21250
movq %r13, %rdi
callq 0x21250
movq 0x18(%rsp), %rdi
callq 0x21250
movq 0x20(%rsp), %rdi
callq 0x21250
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 0xc8(%rsp), %rdi
callq 0x144ac
movq 0xd0(%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 0x21272
movq 0xd8(%rsp), %rdi
callq 0x716e
movq 0xe0(%rsp), %rdi
callq 0x716e
movq 0xe8(%rsp), %rdi
callq 0x716e
movq 0xf0(%rsp), %rdi
callq 0x212fa
movq (%rsp), %rdi
callq 0x66e0
movq %rax, (%rsp)
jmp 0x20f0e
movq %rax, (%rsp)
jmp 0x20f16
movq %rax, (%rsp)
jmp 0x20f1e
movq %rax, (%rsp)
jmp 0x20f28
movq %rax, (%rsp)
jmp 0x20f32
movq %rax, (%rsp)
jmp 0x20fdb
movq %rax, (%rsp)
jmp 0x20fe8
movq %rax, (%rsp)
jmp 0x2104f
movq %rax, (%rsp)
jmp 0x2105c
movq %rax, (%rsp)
jmp 0x21069