// File: bonetblai[P]mdp-engine/wet/./wet.h
// Function: problem_t::next(state_t const&, int, std::vector<std::pair<state_t, float>, std::allocator<std::pair<state_t, float>>>&) const
virtual void next(const state_t &s, Problem::action_t a, std::vector<std::pair<state_t, float> > &outcomes) const {
        ++expansions_;
        outcomes.clear();
        float e = kappa_table[water(s.x(), s.y())];
        float e2 = e*e;
        if( YVER ) {
            outcomes.reserve(4);
            outcomes.push_back(std::make_pair(s.move(a), 1.0 - e - e2));                               // kappa = 0
            if( e - e2 > 0.0 ) {
                outcomes.push_back(std::make_pair(s.move(1 + (a % 4)), (e - e2) / 2.0));               // kappa = 1
                outcomes.push_back(std::make_pair(s.move(1 + ((a+2) % 4)), (e - e2) / 2.0));           // kappa = 1
            }
            if( e2 > 0.0 ) outcomes.push_back(std::make_pair(s, 2 * e2));                              // kappa = 2
        } else if( ZVER ) {
            outcomes.reserve(3);
            outcomes.push_back(std::make_pair(s.move(a), 1.0 - e2));                                   // kappa = 0
            if( e2 > 0.0 ) {
                outcomes.push_back(std::make_pair(s.move(1 +(a % 4)), e2 / 2.0));                      // kappa = 2
                outcomes.push_back(std::make_pair(s.move(1 +((a+2) % 4)), e2 / 2.0));                  // kappa = 2
            }
        } else {
            outcomes.reserve(6);
            outcomes.push_back(std::make_pair(s.move(a), 1.0 - e - e2));                               // kappa = 0
            if( e - e2 > 0.0 ) {
                outcomes.push_back(std::make_pair((s.move(a)).move(1 + (a % 4)), (e - e2) / 4.0));     // kappa = 1
                outcomes.push_back(std::make_pair((s.move(a)).move(1 + ((a+2) % 4)), (e - e2) / 4.0)); // kappa = 1
                outcomes.push_back(std::make_pair(s.move(1 + (a % 4)), (e - e2) / 4.0));               // kappa = 1
                outcomes.push_back(std::make_pair(s.move(1 + ((a+2) % 4)), (e - e2) / 4.0));           // kappa = 1
            }
            if( e2 > 0.0 ) outcomes.push_back(std::make_pair(s, 2 * e2));                              // kappa = 2
        }
    }

// Assembly:
subq $0x2f8, %rsp            # imm = 0x2F8
movq %rdi, 0x2f0(%rsp)
movq %rsi, 0x2e8(%rsp)
movl %edx, 0x2e4(%rsp)
movq %rcx, 0x2d8(%rsp)
movq 0x2f0(%rsp), %rax
movq %rax, 0xd8(%rsp)
movq 0x10(%rax), %rcx
addq $0x1, %rcx
movq %rcx, 0x10(%rax)
movq 0x2d8(%rsp), %rdi
callq 0xd2d0
movq 0x2e8(%rsp), %rdi
callq 0xd320
movl %eax, %eax
movq %rax, 0xe0(%rsp)
movq 0x2e8(%rsp), %rdi
callq 0xd340
movq 0xd8(%rsp), %rdi
movq 0xe0(%rsp), %rsi
movl %eax, %eax
movl %eax, %edx
callq 0xd2f0
movl %eax, %eax
movl %eax, %ecx
leaq 0x653a9(%rip), %rax     # 0x712a0
movss (%rax,%rcx,4), %xmm0
movss %xmm0, 0x2d4(%rsp)
movss 0x2d4(%rsp), %xmm0
mulss 0x2d4(%rsp), %xmm0
movss %xmm0, 0x2d0(%rsp)
movl 0x653ce(%rip), %eax     # 0x712f4
andl $0x2, %eax
cmpl $0x0, %eax
je 0xc424
movq 0x2d8(%rsp), %rdi
movl $0x4, %esi
callq 0xd360
movq 0x2d8(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
leaq 0x2b4(%rsp), %rdi
movq %rdi, 0xd0(%rsp)
callq 0xd4e0
movq 0xd0(%rsp), %rsi
movss 0x2d4(%rsp), %xmm0
cvtss2sd %xmm0, %xmm1
movsd 0x4508b(%rip), %xmm0    # 0x51020
subsd %xmm1, %xmm0
movss 0x2d0(%rsp), %xmm1
cvtss2sd %xmm1, %xmm1
subsd %xmm1, %xmm0
movsd %xmm0, 0x2a8(%rsp)
leaq 0x2b8(%rsp), %rdi
leaq 0x2a8(%rsp), %rdx
callq 0xd4a0
jmp 0xbfca
leaq 0x2c8(%rsp), %rdi
leaq 0x2b8(%rsp), %rsi
callq 0xd6d0
jmp 0xbfe1
movq 0xc8(%rsp), %rdi
leaq 0x2c8(%rsp), %rsi
callq 0xd470
jmp 0xbff8
leaq 0x2c8(%rsp), %rdi
callq 0xd700
leaq 0x2b8(%rsp), %rdi
callq 0xd710
leaq 0x2b4(%rsp), %rdi
callq 0xba80
movss 0x2d4(%rsp), %xmm0
subss 0x2d0(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0xc36e
movq 0x2d8(%rsp), %rax
movq %rax, 0xb8(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
movl %edx, %ecx
addl $0x3, %ecx
testl %edx, %edx
movl %edx, %eax
cmovsl %ecx, %eax
andl $-0x4, %eax
negl %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x1(%rax,%rcx), %edx
leaq 0x27c(%rsp), %rdi
movq %rdi, 0xc0(%rsp)
callq 0xd4e0
movq 0xc0(%rsp), %rsi
movss 0x2d4(%rsp), %xmm0
movss 0x2d0(%rsp), %xmm1
subss %xmm1, %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x44f77(%rip), %xmm1    # 0x51030
mulsd %xmm1, %xmm0
movsd %xmm0, 0x270(%rsp)
leaq 0x280(%rsp), %rdi
leaq 0x270(%rsp), %rdx
callq 0xd4a0
jmp 0xc0dd
leaq 0x294(%rsp), %rdi
leaq 0x280(%rsp), %rsi
callq 0xd6d0
jmp 0xc0f4
movq 0xb8(%rsp), %rdi
leaq 0x294(%rsp), %rsi
callq 0xd470
jmp 0xc10b
leaq 0x294(%rsp), %rdi
callq 0xd700
leaq 0x280(%rsp), %rdi
callq 0xd710
leaq 0x27c(%rsp), %rdi
callq 0xba80
movq 0x2d8(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
movl %edx, %eax
addl $0x2, %eax
movl %edx, %ecx
addl $0x5, %ecx
testl %eax, %eax
cmovsl %ecx, %eax
andl $-0x4, %eax
negl %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x3(%rax,%rcx), %edx
leaq 0x254(%rsp), %rdi
movq %rdi, 0xb0(%rsp)
callq 0xd4e0
movq 0xb0(%rsp), %rsi
movss 0x2d4(%rsp), %xmm0
movss 0x2d0(%rsp), %xmm1
subss %xmm1, %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x44e84(%rip), %xmm1    # 0x51030
mulsd %xmm1, %xmm0
movsd %xmm0, 0x248(%rsp)
leaq 0x258(%rsp), %rdi
leaq 0x248(%rsp), %rdx
callq 0xd4a0
jmp 0xc1d0
leaq 0x268(%rsp), %rdi
leaq 0x258(%rsp), %rsi
callq 0xd6d0
jmp 0xc1e7
movq 0xa8(%rsp), %rdi
leaq 0x268(%rsp), %rsi
callq 0xd470
jmp 0xc1fe
leaq 0x268(%rsp), %rdi
callq 0xd700
leaq 0x258(%rsp), %rdi
callq 0xd710
leaq 0x254(%rsp), %rdi
callq 0xba80
jmp 0xc36e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc284
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc277
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x2c8(%rsp), %rdi
callq 0xd700
leaq 0x2b8(%rsp), %rdi
callq 0xd710
leaq 0x2b4(%rsp), %rdi
callq 0xba80
jmp 0xd036
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc2f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc2e3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x294(%rsp), %rdi
callq 0xd700
leaq 0x280(%rsp), %rdi
callq 0xd710
leaq 0x27c(%rsp), %rdi
callq 0xba80
jmp 0xd036
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc35c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc34f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x268(%rsp), %rdi
callq 0xd700
leaq 0x258(%rsp), %rdi
callq 0xd710
leaq 0x254(%rsp), %rdi
callq 0xba80
jmp 0xd036
movss 0x2d0(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0xc41f
movq 0x2d8(%rsp), %rax
movq %rax, 0x98(%rsp)
movq 0x2e8(%rsp), %rsi
movss 0x2d0(%rsp), %xmm0
addss %xmm0, %xmm0
movss %xmm0, 0x23c(%rsp)
leaq 0x240(%rsp), %rdi
movq %rdi, 0xa0(%rsp)
leaq 0x23c(%rsp), %rdx
callq 0xd720
movq 0x98(%rsp), %rdi
movq 0xa0(%rsp), %rsi
callq 0xd470
jmp 0xc3ea
leaq 0x240(%rsp), %rdi
callq 0xd700
jmp 0xc41f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x240(%rsp), %rdi
callq 0xd700
jmp 0xd036
jmp 0xd02e
movl 0x64eca(%rip), %eax     # 0x712f4
andl $0x4, %eax
cmpl $0x0, %eax
je 0xc831
movq 0x2d8(%rsp), %rdi
movl $0x3, %esi
callq 0xd360
movq 0x2d8(%rsp), %rax
movq %rax, 0x88(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
leaq 0x21c(%rsp), %rdi
movq %rdi, 0x90(%rsp)
callq 0xd4e0
movq 0x90(%rsp), %rsi
movss 0x2d0(%rsp), %xmm0
cvtss2sd %xmm0, %xmm1
movsd 0x44b87(%rip), %xmm0    # 0x51020
subsd %xmm1, %xmm0
movsd %xmm0, 0x210(%rsp)
leaq 0x220(%rsp), %rdi
leaq 0x210(%rsp), %rdx
callq 0xd4a0
jmp 0xc4bd
leaq 0x234(%rsp), %rdi
leaq 0x220(%rsp), %rsi
callq 0xd6d0
jmp 0xc4d4
movq 0x88(%rsp), %rdi
leaq 0x234(%rsp), %rsi
callq 0xd470
jmp 0xc4eb
leaq 0x234(%rsp), %rdi
callq 0xd700
leaq 0x220(%rsp), %rdi
callq 0xd710
leaq 0x21c(%rsp), %rdi
callq 0xba80
movss 0x2d0(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0xc82c
movq 0x2d8(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
movl %edx, %ecx
addl $0x3, %ecx
testl %edx, %edx
movl %edx, %eax
cmovsl %ecx, %eax
andl $-0x4, %eax
negl %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x1(%rax,%rcx), %edx
leaq 0x1f4(%rsp), %rdi
movq %rdi, 0x80(%rsp)
callq 0xd4e0
movq 0x80(%rsp), %rsi
movss 0x2d0(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x44a9d(%rip), %xmm1    # 0x51030
mulsd %xmm1, %xmm0
movsd %xmm0, 0x1e8(%rsp)
leaq 0x1f8(%rsp), %rdi
leaq 0x1e8(%rsp), %rdx
callq 0xd4a0
jmp 0xc5b7
leaq 0x208(%rsp), %rdi
leaq 0x1f8(%rsp), %rsi
callq 0xd6d0
jmp 0xc5ce
movq 0x78(%rsp), %rdi
leaq 0x208(%rsp), %rsi
callq 0xd470
jmp 0xc5e2
leaq 0x208(%rsp), %rdi
callq 0xd700
leaq 0x1f8(%rsp), %rdi
callq 0xd710
leaq 0x1f4(%rsp), %rdi
callq 0xba80
movq 0x2d8(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
movl %edx, %eax
addl $0x2, %eax
movl %edx, %ecx
addl $0x5, %ecx
testl %eax, %eax
cmovsl %ecx, %eax
andl $-0x4, %eax
negl %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x3(%rax,%rcx), %edx
leaq 0x1cc(%rsp), %rdi
movq %rdi, 0x70(%rsp)
callq 0xd4e0
movq 0x70(%rsp), %rsi
movss 0x2d0(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x449c3(%rip), %xmm1    # 0x51030
mulsd %xmm1, %xmm0
movsd %xmm0, 0x1c0(%rsp)
leaq 0x1d0(%rsp), %rdi
leaq 0x1c0(%rsp), %rdx
callq 0xd4a0
jmp 0xc691
leaq 0x1e0(%rsp), %rdi
leaq 0x1d0(%rsp), %rsi
callq 0xd6d0
jmp 0xc6a8
movq 0x68(%rsp), %rdi
leaq 0x1e0(%rsp), %rsi
callq 0xd470
jmp 0xc6bc
leaq 0x1e0(%rsp), %rdi
callq 0xd700
leaq 0x1d0(%rsp), %rdi
callq 0xd710
leaq 0x1cc(%rsp), %rdi
callq 0xba80
jmp 0xc82c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc742
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc735
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x234(%rsp), %rdi
callq 0xd700
leaq 0x220(%rsp), %rdi
callq 0xd710
leaq 0x21c(%rsp), %rdi
callq 0xba80
jmp 0xd036
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc7ae
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc7a1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x208(%rsp), %rdi
callq 0xd700
leaq 0x1f8(%rsp), %rdi
callq 0xd710
leaq 0x1f4(%rsp), %rdi
callq 0xba80
jmp 0xd036
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc81a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xc80d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x1e0(%rsp), %rdi
callq 0xd700
leaq 0x1d0(%rsp), %rdi
callq 0xd710
leaq 0x1cc(%rsp), %rdi
callq 0xba80
jmp 0xd036
jmp 0xd02c
movq 0x2d8(%rsp), %rdi
movl $0x6, %esi
callq 0xd360
movq 0x2d8(%rsp), %rax
movq %rax, 0x58(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
leaq 0x1a4(%rsp), %rdi
movq %rdi, 0x60(%rsp)
callq 0xd4e0
movq 0x60(%rsp), %rsi
movss 0x2d4(%rsp), %xmm0
cvtss2sd %xmm0, %xmm1
movsd 0x44795(%rip), %xmm0    # 0x51020
subsd %xmm1, %xmm0
movss 0x2d0(%rsp), %xmm1
cvtss2sd %xmm1, %xmm1
subsd %xmm1, %xmm0
movsd %xmm0, 0x198(%rsp)
leaq 0x1a8(%rsp), %rdi
leaq 0x198(%rsp), %rdx
callq 0xd4a0
jmp 0xc8c0
leaq 0x1b8(%rsp), %rdi
leaq 0x1a8(%rsp), %rsi
callq 0xd6d0
jmp 0xc8d7
movq 0x58(%rsp), %rdi
leaq 0x1b8(%rsp), %rsi
callq 0xd470
jmp 0xc8eb
leaq 0x1b8(%rsp), %rdi
callq 0xd700
leaq 0x1a8(%rsp), %rdi
callq 0xd710
leaq 0x1a4(%rsp), %rdi
callq 0xba80
movss 0x2d4(%rsp), %xmm0
subss 0x2d0(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0xcf88
movq 0x2d8(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
leaq 0x178(%rsp), %rdi
movq %rdi, 0x50(%rsp)
callq 0xd4e0
movq 0x50(%rsp), %rsi
movl 0x2e4(%rsp), %edx
movl %edx, %ecx
addl $0x3, %ecx
testl %edx, %edx
movl %edx, %eax
cmovsl %ecx, %eax
andl $-0x4, %eax
negl %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x1(%rax,%rcx), %edx
leaq 0x17c(%rsp), %rdi
callq 0xd4e0
jmp 0xc997
movss 0x2d4(%rsp), %xmm0
movss 0x2d0(%rsp), %xmm1
subss %xmm1, %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x4466f(%rip), %xmm1    # 0x51028
mulsd %xmm1, %xmm0
movsd %xmm0, 0x170(%rsp)
leaq 0x180(%rsp), %rdi
leaq 0x17c(%rsp), %rsi
leaq 0x170(%rsp), %rdx
callq 0xd4a0
jmp 0xc9e5
leaq 0x190(%rsp), %rdi
leaq 0x180(%rsp), %rsi
callq 0xd6d0
jmp 0xc9fc
movq 0x48(%rsp), %rdi
leaq 0x190(%rsp), %rsi
callq 0xd470
jmp 0xca10
leaq 0x190(%rsp), %rdi
callq 0xd700
leaq 0x180(%rsp), %rdi
callq 0xd710
leaq 0x17c(%rsp), %rdi
callq 0xba80
leaq 0x178(%rsp), %rdi
callq 0xba80
movq 0x2d8(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
leaq 0x150(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0xd4e0
movq 0x40(%rsp), %rsi
movl 0x2e4(%rsp), %edx
movl %edx, %eax
addl $0x2, %eax
movl %edx, %ecx
addl $0x5, %ecx
testl %eax, %eax
cmovsl %ecx, %eax
andl $-0x4, %eax
negl %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x3(%rax,%rcx), %edx
leaq 0x154(%rsp), %rdi
callq 0xd4e0
jmp 0xcaa9
movss 0x2d4(%rsp), %xmm0
movss 0x2d0(%rsp), %xmm1
subss %xmm1, %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x4455d(%rip), %xmm1    # 0x51028
mulsd %xmm1, %xmm0
movsd %xmm0, 0x148(%rsp)
leaq 0x158(%rsp), %rdi
leaq 0x154(%rsp), %rsi
leaq 0x148(%rsp), %rdx
callq 0xd4a0
jmp 0xcaf7
leaq 0x168(%rsp), %rdi
leaq 0x158(%rsp), %rsi
callq 0xd6d0
jmp 0xcb0e
movq 0x38(%rsp), %rdi
leaq 0x168(%rsp), %rsi
callq 0xd470
jmp 0xcb22
leaq 0x168(%rsp), %rdi
callq 0xd700
leaq 0x158(%rsp), %rdi
callq 0xd710
leaq 0x154(%rsp), %rdi
callq 0xba80
leaq 0x150(%rsp), %rdi
callq 0xba80
movq 0x2d8(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
movl %edx, %ecx
addl $0x3, %ecx
testl %edx, %edx
movl %edx, %eax
cmovsl %ecx, %eax
andl $-0x4, %eax
negl %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x1(%rax,%rcx), %edx
leaq 0x12c(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0xd4e0
movq 0x30(%rsp), %rsi
movss 0x2d4(%rsp), %xmm0
movss 0x2d0(%rsp), %xmm1
subss %xmm1, %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x44464(%rip), %xmm1    # 0x51028
mulsd %xmm1, %xmm0
movsd %xmm0, 0x120(%rsp)
leaq 0x130(%rsp), %rdi
leaq 0x120(%rsp), %rdx
callq 0xd4a0
jmp 0xcbe8
leaq 0x140(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0xd6d0
jmp 0xcbff
movq 0x28(%rsp), %rdi
leaq 0x140(%rsp), %rsi
callq 0xd470
jmp 0xcc13
leaq 0x140(%rsp), %rdi
callq 0xd700
leaq 0x130(%rsp), %rdi
callq 0xd710
leaq 0x12c(%rsp), %rdi
callq 0xba80
movq 0x2d8(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x2e8(%rsp), %rsi
movl 0x2e4(%rsp), %edx
movl %edx, %eax
addl $0x2, %eax
movl %edx, %ecx
addl $0x5, %ecx
testl %eax, %eax
cmovsl %ecx, %eax
andl $-0x4, %eax
negl %eax
movl %eax, %ecx
movl %edx, %eax
leal 0x3(%rax,%rcx), %edx
leaq 0x104(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0xd4e0
movq 0x20(%rsp), %rsi
movss 0x2d4(%rsp), %xmm0
movss 0x2d0(%rsp), %xmm1
subss %xmm1, %xmm0
cvtss2sd %xmm0, %xmm0
movsd 0x4437d(%rip), %xmm1    # 0x51028
mulsd %xmm1, %xmm0
movsd %xmm0, 0xf8(%rsp)
leaq 0x108(%rsp), %rdi
leaq 0xf8(%rsp), %rdx
callq 0xd4a0
jmp 0xcccf
leaq 0x118(%rsp), %rdi
leaq 0x108(%rsp), %rsi
callq 0xd6d0
jmp 0xcce6
movq 0x18(%rsp), %rdi
leaq 0x118(%rsp), %rsi
callq 0xd470
jmp 0xccfa
leaq 0x118(%rsp), %rdi
callq 0xd700
leaq 0x108(%rsp), %rdi
callq 0xd710
leaq 0x104(%rsp), %rdi
callq 0xba80
jmp 0xcf88
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xcd80
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xcd73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x1b8(%rsp), %rdi
callq 0xd700
leaq 0x1a8(%rsp), %rdi
callq 0xd710
leaq 0x1a4(%rsp), %rdi
callq 0xba80
jmp 0xd036
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xce0f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xce02
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xcdf5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x190(%rsp), %rdi
callq 0xd700
leaq 0x180(%rsp), %rdi
callq 0xd710
leaq 0x17c(%rsp), %rdi
callq 0xba80
leaq 0x178(%rsp), %rdi
callq 0xba80
jmp 0xd036
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xce9e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xce91
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xce84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x168(%rsp), %rdi
callq 0xd700
leaq 0x158(%rsp), %rdi
callq 0xd710
leaq 0x154(%rsp), %rdi
callq 0xba80
leaq 0x150(%rsp), %rdi
callq 0xba80
jmp 0xd036
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xcf0a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xcefd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x140(%rsp), %rdi
callq 0xd700
leaq 0x130(%rsp), %rdi
callq 0xd710
leaq 0x12c(%rsp), %rdi
callq 0xba80
jmp 0xd036
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xcf76
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
jmp 0xcf69
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0x118(%rsp), %rdi
callq 0xd700
leaq 0x108(%rsp), %rdi
callq 0xd710
leaq 0x104(%rsp), %rdi
callq 0xba80
jmp 0xd036
movss 0x2d0(%rsp), %xmm0
cvtss2sd %xmm0, %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0xd02a
movq 0x2d8(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x2e8(%rsp), %rsi
movss 0x2d0(%rsp), %xmm0
addss %xmm0, %xmm0
movss %xmm0, 0xec(%rsp)
leaq 0xf0(%rsp), %rdi
movq %rdi, 0x10(%rsp)
leaq 0xec(%rsp), %rdx
callq 0xd720
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0xd470
jmp 0xcff8
leaq 0xf0(%rsp), %rdi
callq 0xd700
jmp 0xd02a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2a0(%rsp)
movl %eax, 0x29c(%rsp)
leaq 0xf0(%rsp), %rdi
callq 0xd700
jmp 0xd036
jmp 0xd02c
jmp 0xd02e
addq $0x2f8, %rsp            # imm = 0x2F8
retq
movq 0x2a0(%rsp), %rdi
callq 0x64a0
nopw %cs:(%rax,%rax)
nopl (%rax)