// File: 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
movq %rsp, %rbp
subq $0x410, %rsp            # imm = 0x410
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x220(%rbp)
movb $0x1, (%rax)
movl $0x0, 0x4(%rax)
movq %rax, %rcx
addq $0x8, %rcx
movq %rcx, -0x210(%rbp)
movl 0x4(%rax), %ecx
movl %ecx, -0x204(%rbp)
movzbl (%rax), %eax
movl %eax, -0x214(%rbp)
leaq -0xa8(%rbp), %rdi
movq %rdi, -0x200(%rbp)
callq 0xb0c0
movl -0x214(%rbp), %ecx
movq -0x210(%rbp), %rdi
movl -0x204(%rbp), %edx
movq -0x200(%rbp), %r8
andl $0x1, %ecx
movl $0x5, %esi
xorl %r9d, %r9d
callq 0x6d8f0
jmp 0x6c8a3
leaq -0xa8(%rbp), %rdi
callq 0xc6c0
movq -0x220(%rbp), %rax
addq $0x128, %rax            # imm = 0x128
movq %rax, -0x230(%rbp)
callq 0xab10
movq %rax, -0x228(%rbp)
jmp 0x6c8d1
movq -0x228(%rbp), %rax
movl 0xf8(%rax), %eax
decl %eax
cltq
movq %rax, -0x240(%rbp)
leaq -0xb5(%rbp), %rdi
movq %rdi, -0x238(%rbp)
callq 0x7e10
movq -0x230(%rbp), %rdi
movq -0x240(%rbp), %rsi
movq -0x238(%rbp), %rdx
callq 0x163f0
jmp 0x6c918
leaq -0xb5(%rbp), %rdi
callq 0x8190
movq -0x220(%rbp), %rax
addq $0x140, %rax            # imm = 0x140
movq %rax, -0x250(%rbp)
callq 0xab10
movq %rax, -0x248(%rbp)
jmp 0x6c946
movq -0x248(%rbp), %rax
movslq 0xf8(%rax), %rax
movq %rax, -0x260(%rbp)
leaq -0xb6(%rbp), %rdi
movq %rdi, -0x258(%rbp)
callq 0x7e10
movq -0x250(%rbp), %rdi
movq -0x260(%rbp), %rsi
movq -0x258(%rbp), %rdx
callq 0x163f0
jmp 0x6c98a
leaq -0xb6(%rbp), %rdi
callq 0x8190
movq -0x220(%rbp), %rax
addq $0x158, %rax            # imm = 0x158
movq %rax, -0x270(%rbp)
callq 0xab10
movq %rax, -0x268(%rbp)
jmp 0x6c9b8
movq -0x268(%rbp), %rax
movslq 0x7c(%rax), %rax
movq %rax, -0x280(%rbp)
leaq -0xb7(%rbp), %rdi
movq %rdi, -0x278(%rbp)
callq 0x7e10
movq -0x270(%rbp), %rdi
movq -0x280(%rbp), %rsi
movq -0x278(%rbp), %rdx
callq 0x163f0
jmp 0x6c9f9
leaq -0xb7(%rbp), %rdi
callq 0x8190
movq -0x220(%rbp), %rdi
movq $0x0, 0x178(%rdi)
movq $0x0, 0x180(%rdi)
movl $0x0, 0x1a8(%rdi)
addq $0x220, %rdi            # imm = 0x220
movq %rdi, -0x288(%rbp)
callq 0x6d990
jmp 0x6ca41
movq -0x220(%rbp), %rdi
addq $0x308, %rdi            # imm = 0x308
movq %rdi, -0x2c0(%rbp)
callq 0x77c0
movq -0x220(%rbp), %rdi
addq $0x320, %rdi            # imm = 0x320
movq %rdi, -0x2b8(%rbp)
callq 0x77c0
movq -0x220(%rbp), %rdi
addq $0x338, %rdi            # imm = 0x338
movq %rdi, -0x2b0(%rbp)
callq 0x77c0
movq -0x220(%rbp), %rdi
addq $0x350, %rdi            # imm = 0x350
movq %rdi, -0x2a8(%rbp)
callq 0x77c0
movq -0x220(%rbp), %rdi
addq $0x368, %rdi            # imm = 0x368
movq %rdi, -0x2a0(%rbp)
callq 0x77c0
movq -0x220(%rbp), %rax
addq $0x380, %rax            # imm = 0x380
movq %rax, -0x298(%rbp)
callq 0xab10
movq %rax, -0x290(%rbp)
jmp 0x6cae5
movq -0x290(%rbp), %rdi
callq 0x27200
movl %eax, -0x2c4(%rbp)
jmp 0x6caf9
movl -0x2c4(%rbp), %eax
cltq
movq %rax, -0x2d8(%rbp)
leaq -0xb8(%rbp), %rdi
movq %rdi, -0x2d0(%rbp)
callq 0x6dbb0
movq -0x298(%rbp), %rdi
movq -0x2d8(%rbp), %rsi
movq -0x2d0(%rbp), %rdx
callq 0x6dbd0
jmp 0x6cb37
leaq -0xb8(%rbp), %rdi
callq 0x30e30
movq -0x220(%rbp), %rax
addq $0x398, %rax            # imm = 0x398
movq %rax, -0x2e8(%rbp)
callq 0xab10
movq %rax, -0x2e0(%rbp)
jmp 0x6cb65
movq -0x2e0(%rbp), %rdi
callq 0x27200
movl %eax, -0x2ec(%rbp)
jmp 0x6cb79
movl -0x2ec(%rbp), %eax
movl %eax, -0xbc(%rbp)
callq 0xab10
movq %rax, -0x2f8(%rbp)
jmp 0x6cb93
movq -0x2f8(%rbp), %rdi
callq 0x27200
movl %eax, -0x2fc(%rbp)
jmp 0x6cba7
movq -0x2e8(%rbp), %rdi
movl -0x2fc(%rbp), %eax
movl %eax, -0xc0(%rbp)
leaq -0xbc(%rbp), %rsi
leaq -0xc0(%rbp), %rdx
callq 0x2fc30
jmp 0x6cbcf
movq -0x220(%rbp), %rdi
addq $0x3b8, %rdi            # imm = 0x3B8
movq %rdi, -0x378(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x3c8, %rdi            # imm = 0x3C8
movq %rdi, -0x370(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x3d8, %rdi            # imm = 0x3D8
movq %rdi, -0x368(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x3e8, %rdi            # imm = 0x3E8
movq %rdi, -0x360(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x3f8, %rdi            # imm = 0x3F8
movq %rdi, -0x358(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x408, %rdi            # imm = 0x408
movq %rdi, -0x350(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x418, %rdi            # imm = 0x418
movq %rdi, -0x348(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x428, %rdi            # imm = 0x428
movq %rdi, -0x340(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x438, %rdi            # imm = 0x438
movq %rdi, -0x338(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x448, %rdi            # imm = 0x448
movq %rdi, -0x330(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x458, %rdi            # imm = 0x458
movq %rdi, -0x328(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x468, %rdi            # imm = 0x468
movq %rdi, -0x320(%rbp)
callq 0xc030
movq -0x220(%rbp), %rdi
addq $0x478, %rdi            # imm = 0x478
movq %rdi, -0x318(%rbp)
callq 0xc030
movq -0x220(%rbp), %rax
addq $0x488, %rax            # imm = 0x488
movq %rax, -0x310(%rbp)
leaq -0xc1(%rbp), %rdi
movq %rdi, -0x308(%rbp)
callq 0x6dc40
movq -0x310(%rbp), %rdi
movq -0x308(%rbp), %rdx
movl $0x2, %esi
callq 0x6dc60
jmp 0x6cd62
leaq -0xc1(%rbp), %rdi
callq 0x6dcd0
movq -0x220(%rbp), %rax
addq $0x4a0, %rax            # imm = 0x4A0
movq %rax, -0x388(%rbp)
leaq -0xc2(%rbp), %rdi
movq %rdi, -0x380(%rbp)
callq 0x6dc40
movq -0x388(%rbp), %rdi
movq -0x380(%rbp), %rdx
movl $0x2, %esi
callq 0x6dc60
jmp 0x6cdaf
leaq -0xc2(%rbp), %rdi
callq 0x6dcd0
movq -0x220(%rbp), %rax
addq $0x4b8, %rax            # imm = 0x4B8
movq %rax, -0x398(%rbp)
leaq -0xc3(%rbp), %rdi
movq %rdi, -0x390(%rbp)
callq 0x6dc40
movq -0x398(%rbp), %rdi
movq -0x390(%rbp), %rdx
movl $0x2, %esi
callq 0x6dc60
jmp 0x6cdfc
leaq -0xc3(%rbp), %rdi
callq 0x6dcd0
movq -0x220(%rbp), %rax
addq $0x4d0, %rax            # imm = 0x4D0
movq %rax, -0x3a8(%rbp)
leaq -0xc4(%rbp), %rdi
movq %rdi, -0x3a0(%rbp)
callq 0x6dc40
movq -0x3a8(%rbp), %rdi
movq -0x3a0(%rbp), %rdx
movl $0x2, %esi
callq 0x6dc60
jmp 0x6ce49
leaq -0xc4(%rbp), %rdi
callq 0x6dcd0
movq -0x220(%rbp), %rax
addq $0x4e8, %rax            # imm = 0x4E8
movq %rax, -0x3b8(%rbp)
leaq -0xc5(%rbp), %rdi
movq %rdi, -0x3b0(%rbp)
callq 0x6dc40
movq -0x3b8(%rbp), %rdi
movq -0x3b0(%rbp), %rdx
movl $0x2, %esi
callq 0x6dc60
jmp 0x6ce96
leaq -0xc5(%rbp), %rdi
callq 0x6dcd0
movq -0x220(%rbp), %rdi
addq $0x500, %rdi            # imm = 0x500
movq %rdi, -0x3c0(%rbp)
callq 0xc030
movq -0x220(%rbp), %rsi
movabsq $0x4034e295e9e1b08a, %rax # imm = 0x4034E295E9E1B08A
movq %rax, -0xe0(%rbp)
movabsq $0x3f33a92a30553261, %rax # imm = 0x3F33A92A30553261
movq %rax, -0xe8(%rbp)
leaq -0xd8(%rbp), %rdi
leaq -0xe0(%rbp), %rdx
leaq -0xe8(%rbp), %rcx
callq 0x26e80
jmp 0x6cf01
movq -0x220(%rbp), %rdi
addq $0x488, %rdi            # imm = 0x488
xorl %eax, %eax
movl %eax, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0xd8(%rbp), %rsi
movq %rsi, -0x3c8(%rbp)
callq 0x26c30
movq -0x3c8(%rbp), %rdi
callq 0x26c60
movq -0x220(%rbp), %rsi
movl $0x1, -0xfc(%rbp)
movl $0x14, -0x100(%rbp)
leaq -0xf8(%rbp), %rdi
leaq -0xfc(%rbp), %rdx
leaq -0x100(%rbp), %rcx
callq 0x26cc0
jmp 0x6cf71
movq -0x220(%rbp), %rdi
addq $0x4a0, %rdi            # imm = 0x4A0
xorl %eax, %eax
movl %eax, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0xf8(%rbp), %rsi
movq %rsi, -0x3d0(%rbp)
callq 0xc440
movq -0x3d0(%rbp), %rdi
callq 0xc470
movq -0x220(%rbp), %rsi
movl $0x0, -0x114(%rbp)
movl $0x1, -0x118(%rbp)
leaq -0x110(%rbp), %rdi
leaq -0x114(%rbp), %rdx
leaq -0x118(%rbp), %rcx
callq 0x26c80
jmp 0x6cfe1
movq -0x220(%rbp), %rdi
addq $0x4b8, %rdi            # imm = 0x4B8
xorl %eax, %eax
movl %eax, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0x110(%rbp), %rsi
movq %rsi, -0x3d8(%rbp)
callq 0xc1f0
movq -0x3d8(%rbp), %rdi
callq 0xc220
movq -0x220(%rbp), %rsi
movabsq $-0x3ff6de04abbbd2e8, %rax # imm = 0xC00921FB54442D18
movq %rax, -0x130(%rbp)
leaq 0x5997f(%rip), %rcx     # 0xc69b8
leaq -0x128(%rbp), %rdi
leaq -0x130(%rbp), %rdx
callq 0x6dcf0
jmp 0x6d04e
movq -0x220(%rbp), %rdi
addq $0x4e8, %rdi            # imm = 0x4E8
xorl %eax, %eax
movl %eax, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0x128(%rbp), %rsi
movq %rsi, -0x3e0(%rbp)
callq 0xc1f0
movq -0x3e0(%rbp), %rdi
callq 0xc220
movq -0x220(%rbp), %rsi
movabsq $0x40a03196f0068db9, %rax # imm = 0x40A03196F0068DB9
movq %rax, -0x148(%rbp)
movabsq $0x3f46f0068db8bac7, %rax # imm = 0x3F46F0068DB8BAC7
movq %rax, -0x150(%rbp)
movabsq $0x4034e295e9e1b08a, %rax # imm = 0x4034E295E9E1B08A
movq %rax, -0x158(%rbp)
movabsq $0x3f33a92a30553261, %rax # imm = 0x3F33A92A30553261
movq %rax, -0x160(%rbp)
leaq -0x140(%rbp), %rdi
leaq -0x148(%rbp), %rdx
leaq -0x150(%rbp), %rcx
leaq -0x158(%rbp), %r8
leaq -0x160(%rbp), %r9
callq 0x6dd30
jmp 0x6d0fc
movq -0x220(%rbp), %rdi
addq $0x4d0, %rdi            # imm = 0x4D0
xorl %eax, %eax
movl %eax, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0x140(%rbp), %rsi
movq %rsi, -0x3e8(%rbp)
callq 0x6dd80
movq -0x3e8(%rbp), %rdi
callq 0x6ddb0
movq -0x220(%rbp), %rsi
movabsq $0x40452e809d495183, %rax # imm = 0x40452E809D495183
movq %rax, -0x178(%rbp)
movabsq $0x3f43a92a30553261, %rax # imm = 0x3F43A92A30553261
movq %rax, -0x180(%rbp)
leaq -0x170(%rbp), %rdi
leaq -0x178(%rbp), %rdx
leaq -0x180(%rbp), %rcx
callq 0x26e80
jmp 0x6d17a
movq -0x220(%rbp), %rdi
addq $0x488, %rdi            # imm = 0x488
movl $0x1, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0x170(%rbp), %rsi
movq %rsi, -0x3f0(%rbp)
callq 0x26c30
movq -0x3f0(%rbp), %rdi
callq 0x26c60
movq -0x220(%rbp), %rsi
movl $0x1, -0x194(%rbp)
movl $0x14, -0x198(%rbp)
leaq -0x190(%rbp), %rdi
leaq -0x194(%rbp), %rdx
leaq -0x198(%rbp), %rcx
callq 0x26cc0
jmp 0x6d1eb
movq -0x220(%rbp), %rdi
addq $0x4a0, %rdi            # imm = 0x4A0
movl $0x1, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0x190(%rbp), %rsi
movq %rsi, -0x3f8(%rbp)
callq 0xc440
movq -0x3f8(%rbp), %rdi
callq 0xc470
movq -0x220(%rbp), %rsi
movl $0x0, -0x1ac(%rbp)
movl $0x1, -0x1b0(%rbp)
leaq -0x1a8(%rbp), %rdi
leaq -0x1ac(%rbp), %rdx
leaq -0x1b0(%rbp), %rcx
callq 0x26c80
jmp 0x6d25c
movq -0x220(%rbp), %rdi
addq $0x4b8, %rdi            # imm = 0x4B8
movl $0x1, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0x1a8(%rbp), %rsi
movq %rsi, -0x400(%rbp)
callq 0xc1f0
movq -0x400(%rbp), %rdi
callq 0xc220
movq -0x220(%rbp), %rsi
movabsq $-0x3ff6de04abbbd2e8, %rax # imm = 0xC00921FB54442D18
movq %rax, -0x1c8(%rbp)
leaq 0x59703(%rip), %rcx     # 0xc69b8
leaq -0x1c0(%rbp), %rdi
leaq -0x1c8(%rbp), %rdx
callq 0x6dcf0
jmp 0x6d2ca
movq -0x220(%rbp), %rdi
addq $0x4e8, %rdi            # imm = 0x4E8
movl $0x1, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0x1c0(%rbp), %rsi
movq %rsi, -0x408(%rbp)
callq 0xc1f0
movq -0x408(%rbp), %rdi
callq 0xc220
movq -0x220(%rbp), %rsi
movabsq $0x40a045400d1b7176, %rax # imm = 0x40A045400D1B7176
movq %rax, -0x1e0(%rbp)
movabsq $0x3f3a36e2eb1c432d, %rax # imm = 0x3F3A36E2EB1C432D
movq %rax, -0x1e8(%rbp)
movabsq $0x40452e809d495183, %rax # imm = 0x40452E809D495183
movq %rax, -0x1f0(%rbp)
movabsq $0x3f43a92a30553261, %rax # imm = 0x3F43A92A30553261
movq %rax, -0x1f8(%rbp)
leaq -0x1d8(%rbp), %rdi
leaq -0x1e0(%rbp), %rdx
leaq -0x1e8(%rbp), %rcx
leaq -0x1f0(%rbp), %r8
leaq -0x1f8(%rbp), %r9
callq 0x6dd30
jmp 0x6d379
movq -0x220(%rbp), %rdi
addq $0x4d0, %rdi            # imm = 0x4D0
movl $0x1, %esi
callq 0x26ef0
movq %rax, %rdi
leaq -0x1d8(%rbp), %rsi
callq 0x6dd80
leaq -0x1d8(%rbp), %rdi
callq 0x6ddb0
addq $0x410, %rsp            # imm = 0x410
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0xc6c0
jmp 0x6d71d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6d711
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xb5(%rbp), %rdi
callq 0x8190
jmp 0x6d711
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6d705
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xb6(%rbp), %rdi
callq 0x8190
jmp 0x6d705
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6d6f9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xb7(%rbp), %rdi
callq 0x8190
jmp 0x6d6f9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6d6ed
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6d6a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x30e30
jmp 0x6d6a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
jmp 0x6d699
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc1(%rbp), %rdi
callq 0x6dcd0
jmp 0x6d5f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc2(%rbp), %rdi
callq 0x6dcd0
jmp 0x6d5e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc3(%rbp), %rdi
callq 0x6dcd0
jmp 0x6d5d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc4(%rbp), %rdi
callq 0x6dcd0
jmp 0x6d5cd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
leaq -0xc5(%rbp), %rdi
callq 0x6dcd0
jmp 0x6d5c1
movq -0x3c0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb0(%rbp)
movl %eax, -0xb4(%rbp)
callq 0xc660
movq -0x3b8(%rbp), %rdi
callq 0x6ddd0
movq -0x3a8(%rbp), %rdi
callq 0x6ddd0
movq -0x398(%rbp), %rdi
callq 0x6ddd0
movq -0x388(%rbp), %rdi
callq 0x6ddd0
movq -0x310(%rbp), %rdi
callq 0x6ddd0
movq -0x318(%rbp), %rdi
callq 0xc660
movq -0x320(%rbp), %rdi
callq 0xc660
movq -0x328(%rbp), %rdi
callq 0xc660
movq -0x330(%rbp), %rdi
callq 0xc660
movq -0x338(%rbp), %rdi
callq 0xc660
movq -0x340(%rbp), %rdi
callq 0xc660
movq -0x348(%rbp), %rdi
callq 0xc660
movq -0x350(%rbp), %rdi
callq 0xc660
movq -0x358(%rbp), %rdi
callq 0xc660
movq -0x360(%rbp), %rdi
callq 0xc660
movq -0x368(%rbp), %rdi
callq 0xc660
movq -0x370(%rbp), %rdi
callq 0xc660
movq -0x378(%rbp), %rdi
callq 0xc660
movq -0x2e8(%rbp), %rdi
callq 0x27fb0
movq -0x298(%rbp), %rdi
callq 0x30a50
movq -0x2a0(%rbp), %rdi
callq 0x78f0
movq -0x2a8(%rbp), %rdi
callq 0x78f0
movq -0x2b0(%rbp), %rdi
callq 0x78f0
movq -0x2b8(%rbp), %rdi
callq 0x78f0
movq -0x2c0(%rbp), %rdi
callq 0x78f0
movq -0x288(%rbp), %rdi
callq 0x6de30
movq -0x270(%rbp), %rdi
callq 0x78f0
movq -0x250(%rbp), %rdi
callq 0x78f0
movq -0x230(%rbp), %rdi
callq 0x78f0
movq -0x210(%rbp), %rdi
callq 0x6df00
movq -0xb0(%rbp), %rdi
callq 0x6830
nopl (%rax)