// File: /workspace/github_cpp_makefile_star2_O1/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 $0x128, %rsp            # imm = 0x128
movq %rdi, %rbx
movb $0x1, %bpl
movb %bpl, (%rdi)
xorl %r15d, %r15d
movl %r15d, 0x4(%rdi)
leaq 0x50(%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 0x21f74
movl %r15d, 0x11c(%rbx)
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)
movq %r14, %rdi
callq 0x8974
leaq 0x128(%rbx), %r13
leaq 0x339d6(%rip), %r14     # 0x54400
movslq 0xf8(%r14), %rsi
decq %rsi
leaq 0x50(%rsp), %rdx
movq %r13, %rdi
callq 0xbb9c
leaq 0x140(%rbx), %r15
movslq 0xf8(%r14), %rsi
leaq 0x50(%rsp), %rdx
movq %r15, %rdi
movq %r13, 0x118(%rsp)
callq 0xbb9c
leaq 0x158(%rbx), %r12
movslq 0x7c(%r14), %rsi
leaq 0x50(%rsp), %rdx
movq %r12, %rdi
movq %r15, 0x110(%rsp)
callq 0xbb9c
movl $0x0, 0x1a8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x178(%rbx)
movb $0x0, 0x228(%rbx)
leaq 0x32d3a(%rip), %rax     # 0x537e0
movq %rax, 0x220(%rbx)
leaq 0x240(%rbx), %rdi
leaq 0x380(%rbx), %rbp
movl $0x140, %edx            # imm = 0x140
xorl %esi, %esi
callq 0x6220
movq 0x8(%r14), %rax
subq (%r14), %rax
shrq $0x3, %rax
movslq %eax, %rsi
leaq 0x50(%rsp), %rdx
movq %rbp, %rdi
movq %r12, 0x108(%rsp)
callq 0x2151a
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 0x2117f
leaq 0x398(%rbx), %r14
testl %eax, %eax
movq %rbp, 0x100(%rsp)
movq %r14, 0xf8(%rsp)
je 0x20b49
movabsq $0x7fffffffffffffff, %rax # imm = 0x7FFFFFFFFFFFFFFF
xorl %edx, %edx
divq %rcx
cmpq %rcx, %rax
jl 0x2119e
movq %rcx, %rsi
imulq %rcx, %rsi
movq %r14, %rdi
movq %rcx, %rdx
callq 0x18da4
leaq 0x3b8(%rbx), %rdi
movl $0xe8, %edx
xorl %esi, %esi
callq 0x6220
movl $0x20, %edi
callq 0x6450
leaq 0x488(%rbx), %rcx
movq %rcx, 0x48(%rsp)
movq %rax, 0x488(%rbx)
movq %rax, 0x490(%rbx)
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, 0x498(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
movq %rcx, 0x490(%rbx)
movups %xmm0, 0x4a0(%rbx)
movq $0x0, 0x4b0(%rbx)
movl $0x20, %edi
callq 0x6450
leaq 0x4a0(%rbx), %rcx
movq %rcx, 0x40(%rsp)
movq %rax, 0x4a0(%rbx)
movq %rax, 0x4a8(%rbx)
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, 0x4b0(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
movq %rcx, 0x4a8(%rbx)
movups %xmm0, 0x4b8(%rbx)
movq $0x0, 0x4c8(%rbx)
movl $0x20, %edi
callq 0x6450
leaq 0x4b8(%rbx), %rcx
movq %rcx, 0x38(%rsp)
movq %rax, 0x4b8(%rbx)
movq %rax, 0x4c0(%rbx)
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, 0x4c8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
movq %rcx, 0x4c0(%rbx)
movups %xmm0, 0x4d0(%rbx)
movq $0x0, 0x4e0(%rbx)
movl $0x20, %edi
callq 0x6450
leaq 0x4d0(%rbx), %rcx
movq %rcx, 0x30(%rsp)
movq %rax, 0x4d0(%rbx)
movq %rax, 0x4d8(%rbx)
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, 0x4e0(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
movq %rcx, 0x4d8(%rbx)
movups %xmm0, 0x4e8(%rbx)
movq $0x0, 0x4f8(%rbx)
movl $0x20, %edi
callq 0x6450
leaq 0x4e8(%rbx), %rbp
movq %rax, 0x4e8(%rbx)
movq %rax, 0x4f0(%rbx)
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, 0x4f8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
movq %rcx, 0x4f0(%rbx)
movups %xmm0, 0x500(%rbx)
movabsq $0x4034e295e9e1b08a, %r14 # imm = 0x4034E295E9E1B08A
leaq 0x20(%rsp), %rcx
movq %r14, (%rcx)
movabsq $0x3f33a92a30553261, %r12 # imm = 0x3F33A92A30553261
leaq 0x18(%rsp), %r8
movq %r12, (%r8)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x50(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x18a2a
movq 0x48(%rsp), %rax
movq (%rax), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x8(%rax), %rdi
movups %xmm0, (%rax)
testq %rdi, %rdi
je 0x20d6d
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x20d7c
callq 0x8a1a
leaq 0x20(%rsp), %rcx
movl $0x1, (%rcx)
leaq 0x18(%rsp), %r8
movl $0x14, (%r8)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x50(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x1889e
movq 0x40(%rsp), %rax
movq (%rax), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x8(%rax), %rdi
movups %xmm0, (%rax)
testq %rdi, %rdi
je 0x20dd5
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x20de4
callq 0x8a1a
leaq 0x20(%rsp), %rcx
movl $0x0, (%rcx)
leaq 0x18(%rsp), %r8
movl $0x1, (%r8)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x50(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x1881a
movq 0x38(%rsp), %rax
movq (%rax), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x8(%rax), %rdi
movups %xmm0, (%rax)
testq %rdi, %rdi
je 0x20e3d
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x20e4c
callq 0x8a1a
movabsq $-0x3ff6de04abbbd2e8, %r15 # imm = 0xC00921FB54442D18
leaq 0x20(%rsp), %rcx
movq %r15, (%rcx)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x25526(%rip), %r8      # 0x46398
leaq 0x50(%rsp), %rsi
leaq 0x18(%rsp), %rdx
callq 0x35b74
movq (%rbp), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x8(%rax), %rdi
movups %xmm0, (%rax)
testq %rdi, %rdi
je 0x20ea3
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x20eb2
callq 0x8a1a
movabsq $0x40a03196f0068db9, %rax # imm = 0x40A03196F0068DB9
leaq 0x20(%rsp), %rcx
movq %rax, (%rcx)
movabsq $0x3f46f0068db8bac7, %rax # imm = 0x3F46F0068DB8BAC7
leaq 0x18(%rsp), %r8
movq %rax, (%r8)
leaq 0x28(%rsp), %r9
movq %r14, (%r9)
leaq 0x120(%rsp), %r14
movq %r12, (%r14)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
movq %r14, (%rsp)
leaq 0x50(%rsp), %rsi
leaq 0x17(%rsp), %rdx
callq 0x35bf8
movq 0x30(%rsp), %rax
movq (%rax), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x8(%rax), %rdi
movups %xmm0, (%rax)
testq %rdi, %rdi
je 0x20f2f
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x20f3e
callq 0x8a1a
movabsq $0x40452e809d495183, %r12 # imm = 0x40452E809D495183
leaq 0x20(%rsp), %rcx
movq %r12, (%rcx)
movabsq $0x3f43a92a30553261, %r13 # imm = 0x3F43A92A30553261
leaq 0x18(%rsp), %r8
movq %r13, (%r8)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x50(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x18a2a
movq 0x48(%rsp), %rax
movq (%rax), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x18(%rax), %rdi
movups %xmm0, 0x10(%rax)
testq %rdi, %rdi
je 0x20fa5
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x20fb4
callq 0x8a1a
leaq 0x20(%rsp), %rcx
movl $0x1, (%rcx)
leaq 0x18(%rsp), %r8
movl $0x14, (%r8)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x50(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x1889e
movq 0x40(%rsp), %rax
movq (%rax), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x18(%rax), %rdi
movups %xmm0, 0x10(%rax)
testq %rdi, %rdi
je 0x2100e
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2101d
callq 0x8a1a
leaq 0x20(%rsp), %rcx
movl $0x0, (%rcx)
leaq 0x18(%rsp), %r8
movl $0x1, (%r8)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x50(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x1881a
movq 0x38(%rsp), %rax
movq (%rax), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x18(%rax), %rdi
movups %xmm0, 0x10(%rax)
testq %rdi, %rdi
je 0x21077
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x21086
callq 0x8a1a
leaq 0x20(%rsp), %rcx
movq %r15, (%rcx)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
leaq 0x252f6(%rip), %r8      # 0x46398
leaq 0x50(%rsp), %rsi
leaq 0x18(%rsp), %rdx
callq 0x35b74
movq (%rbp), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x18(%rax), %rdi
movups %xmm0, 0x10(%rax)
testq %rdi, %rdi
je 0x210d4
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x210e3
callq 0x8a1a
movabsq $0x40a045400d1b7176, %rax # imm = 0x40A045400D1B7176
leaq 0x20(%rsp), %rcx
movq %rax, (%rcx)
movabsq $0x3f3a36e2eb1c432d, %rax # imm = 0x3F3A36E2EB1C432D
leaq 0x18(%rsp), %r8
movq %rax, (%r8)
leaq 0x28(%rsp), %r9
movq %r12, (%r9)
movq %r13, 0x120(%rsp)
leaq 0x58(%rsp), %rdi
movq $0x0, -0x8(%rdi)
movq %r14, (%rsp)
leaq 0x50(%rsp), %rsi
leaq 0x17(%rsp), %rdx
callq 0x35bf8
movq 0x30(%rsp), %rax
movq (%rax), %rax
movaps 0x50(%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, 0x50(%rsp)
movq 0x18(%rax), %rdi
movups %xmm0, 0x10(%rax)
testq %rdi, %rdi
je 0x2115e
callq 0x8a1a
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x2116d
callq 0x8a1a
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2021d(%rip), %rdi     # 0x413a3
leaq 0x2521c(%rip), %rsi     # 0x463a9
leaq 0x2039e(%rip), %rcx     # 0x41532
movl $0x11d, %edx            # imm = 0x11D
callq 0x62b0
movl $0x8, %edi
callq 0x61d0
movq 0x32db9(%rip), %rcx     # 0x53f68
addq $0x10, %rcx
movq %rcx, (%rax)
movq 0x32de3(%rip), %rsi     # 0x53fa0
movq 0x32d8c(%rip), %rdx     # 0x53f50
movq %rax, %rdi
callq 0x66c0
jmp 0x211de
jmp 0x211de
jmp 0x211de
jmp 0x211de
jmp 0x211de
jmp 0x211de
jmp 0x211de
jmp 0x211de
jmp 0x211de
movq %rax, %r15
movq 0x508(%rbx), %rdi
testq %rdi, %rdi
je 0x211f2
callq 0x8a1a
movq %rbp, %rdi
callq 0x215b0
movq 0x30(%rsp), %rdi
callq 0x215b0
movq 0x38(%rsp), %rdi
callq 0x215b0
movq 0x40(%rsp), %rdi
callq 0x215b0
movq 0x48(%rsp), %rdi
callq 0x215b0
movq 0x480(%rbx), %rdi
testq %rdi, %rdi
je 0x21233
callq 0x8a1a
movq 0x470(%rbx), %rdi
testq %rdi, %rdi
je 0x21244
callq 0x8a1a
movq 0x460(%rbx), %rdi
testq %rdi, %rdi
je 0x21255
callq 0x8a1a
movq 0x450(%rbx), %rdi
testq %rdi, %rdi
je 0x21266
callq 0x8a1a
movq 0x440(%rbx), %rdi
testq %rdi, %rdi
je 0x21277
callq 0x8a1a
movq 0x430(%rbx), %rdi
testq %rdi, %rdi
je 0x21288
callq 0x8a1a
movq 0x420(%rbx), %rdi
testq %rdi, %rdi
je 0x21299
callq 0x8a1a
movq 0x410(%rbx), %rdi
testq %rdi, %rdi
je 0x212aa
callq 0x8a1a
movq 0x400(%rbx), %rdi
testq %rdi, %rdi
je 0x212bb
callq 0x8a1a
movq 0x3f0(%rbx), %rdi
testq %rdi, %rdi
je 0x212cc
callq 0x8a1a
movq 0x3e0(%rbx), %rdi
testq %rdi, %rdi
je 0x212dd
callq 0x8a1a
movq 0x3d0(%rbx), %rdi
testq %rdi, %rdi
je 0x212ee
callq 0x8a1a
movq 0x3c0(%rbx), %rdi
testq %rdi, %rdi
je 0x212ff
callq 0x8a1a
movq 0xf8(%rsp), %rax
movq (%rax), %rdi
callq 0x64d0
movq 0x100(%rsp), %rax
movq (%rax), %rdi
testq %rdi, %rdi
je 0x2132e
movq 0x390(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x368(%rbx), %rdi
testq %rdi, %rdi
je 0x21349
movq 0x378(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x350(%rbx), %rdi
testq %rdi, %rdi
je 0x21364
movq 0x360(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x338(%rbx), %rdi
testq %rdi, %rdi
je 0x2137f
movq 0x348(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x320(%rbx), %rdi
testq %rdi, %rdi
je 0x2139a
movq 0x330(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
leaq 0x220(%rbx), %r14
movq 0x308(%rbx), %rdi
testq %rdi, %rdi
je 0x213bc
movq 0x318(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq %r14, %rdi
callq 0x215f8
movq 0x108(%rsp), %rax
movq (%rax), %rdi
testq %rdi, %rdi
je 0x213e3
movq 0x168(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x110(%rsp), %rax
movq (%rax), %rdi
testq %rdi, %rdi
je 0x21402
movq 0x150(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
movq 0x118(%rsp), %rax
movq (%rax), %rdi
testq %rdi, %rdi
je 0x21421
movq 0x138(%rbx), %rsi
subq %rdi, %rsi
callq 0x6460
addq $0x8, %rbx
movq %rbx, %rdi
callq 0x2167c
movq %r15, %rdi
callq 0x6710
movq %rax, %r15
jmp 0x211fa
movq %rax, %r15
jmp 0x21204
movq %rax, %r15
jmp 0x2120e
movq %rax, %r15
jmp 0x21218
movq %rax, %r15
jmp 0x21222
movq %rax, %r15
jmp 0x2132e
movq %rax, %r15
jmp 0x213e3
movq %rax, %r15
jmp 0x21402
movq %rax, %r15
jmp 0x21421
movq %rax, %r15
jmp 0x212ff