// File: /workspace/github_cpp_makefile_star2_O3/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:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rcx, %rbx
movl %edx, %r15d
incq 0x10(%rdi)
movq %rsi, %r14
movq (%rcx), %rax
cmpq %rax, 0x8(%rcx)
je 0x8bb8
movq %rax, 0x8(%rbx)
movl (%r14), %eax
xorl %edx, %edx
divq 0x2b694(%rip)           # 0x34258
imulq 0x18(%rdi), %rax
addq 0x28(%rdi), %rax
movsbq (%rdx,%rax), %rax
movl %eax, %eax
leaq 0x2b625(%rip), %rcx     # 0x34200
movss (%rcx,%rax,4), %xmm1
movaps %xmm1, %xmm0
mulss %xmm1, %xmm0
movss %xmm0, 0x14(%rsp)
movl 0x2b661(%rip), %eax     # 0x34254
testb $0x2, %al
movss %xmm1, 0x10(%rsp)
jne 0x8c81
testb $0x4, %al
jne 0x8cf2
movl $0x6, %esi
movq %rbx, %rdi
callq 0x93e4
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x947e
xorps %xmm0, %xmm0
cvtss2sd 0x10(%rsp), %xmm0
movss 0x14(%rsp), %xmm2
xorps %xmm1, %xmm1
cvtss2sd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x1c495(%rip), %xmm0    # 0x250e0
subsd %xmm1, %xmm0
movl (%r12), %eax
movl %eax, 0x8(%rsp)
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x8de9
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8dfc
movl $0x4, %esi
movq %rbx, %rdi
callq 0x93e4
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x947e
movss 0x14(%rsp), %xmm2
xorps %xmm0, %xmm0
cvtss2sd 0x10(%rsp), %xmm0
xorps %xmm1, %xmm1
cvtss2sd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x1c41d(%rip), %xmm0    # 0x250e0
subsd %xmm1, %xmm0
movl (%r12), %eax
movl %eax, 0x8(%rsp)
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x8d52
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8d65
movl $0x3, %esi
movq %rbx, %rdi
callq 0x93e4
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x947e
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x1c2e6(%rip), %xmm0    # 0x25008
movss 0x14(%rsp), %xmm1
subss %xmm1, %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x8e93
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8ea6
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
movss 0x14(%rsp), %xmm2
movss 0x10(%rsp), %xmm1
subss %xmm2, %xmm1
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm1
jbe 0x8f92
leal 0x3(%r15), %eax
testl %r15d, %r15d
cmovnsl %r15d, %eax
andl $-0x4, %eax
negl %eax
leal (%r15,%rax), %edx
incl %edx
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movss %xmm1, 0x10(%rsp)
callq 0x947e
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
mulss 0x1c24f(%rip), %xmm0    # 0x2500c
movss %xmm0, 0x10(%rsp)
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x8f1a
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8f27
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
movss 0x14(%rsp), %xmm2
movss 0x10(%rsp), %xmm0
subss %xmm2, %xmm0
xorpd %xmm1, %xmm1
movss %xmm0, 0x10(%rsp)
ucomiss %xmm1, %xmm0
jbe 0x9113
leaq 0x1c(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x947e
leal 0x3(%r15), %eax
testl %r15d, %r15d
cmovnsl %r15d, %eax
andl $-0x4, %eax
negl %eax
leal (%r15,%rax), %ebp
incl %ebp
leaq 0x18(%rsp), %rdi
movq %r12, %rsi
movl %ebp, %edx
callq 0x947e
movl 0x18(%rsp), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
mulss 0x1c1a9(%rip), %xmm0    # 0x25010
movss %xmm0, 0x10(%rsp)
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x8fee
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8ffb
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
movss 0x14(%rsp), %xmm1
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm1
jbe 0x914f
leal 0x3(%r15), %eax
testl %r15d, %r15d
cmovnsl %r15d, %eax
andl $-0x4, %eax
negl %eax
leal (%r15,%rax), %edx
incl %edx
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0x947e
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x14(%rsp), %xmm0
mulss 0x1c11e(%rip), %xmm0    # 0x2500c
movss %xmm0, 0x14(%rsp)
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x8fa0
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8fad
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
leal 0x2(%r15), %eax
leal 0x5(%r15), %ecx
testl %eax, %eax
cmovnsl %eax, %ecx
andl $-0x4, %ecx
negl %ecx
leal (%r15,%rcx), %edx
addl $0x3, %edx
leaq 0x18(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x947e
movl (%r15), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x8f7c
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8f89
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
movss 0x14(%rsp), %xmm2
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm2
ja 0x9118
jmp 0x914f
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
leal 0x2(%r15), %eax
leal 0x5(%r15), %ecx
testl %eax, %eax
cmovnsl %eax, %ecx
andl $-0x4, %ecx
negl %ecx
leal (%r15,%rcx), %edx
addl $0x3, %edx
leaq 0x18(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x947e
movl (%r15), %eax
movl %eax, 0x8(%rsp)
movss 0x14(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
jmp 0x9129
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
leaq 0x1c(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x947e
leal 0x2(%r15), %eax
leal 0x5(%r15), %ecx
testl %eax, %eax
cmovnsl %eax, %ecx
andl $-0x4, %ecx
negl %ecx
addl %ecx, %r15d
addl $0x3, %r15d
leaq 0x18(%rsp), %rdi
movq %r12, %rsi
movl %r15d, %edx
callq 0x947e
movl 0x18(%rsp), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x9064
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x9071
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x947e
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x90b0
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x90bd
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x947e
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x90fd
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x910a
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
movss 0x14(%rsp), %xmm2
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm2
jbe 0x914f
addss %xmm2, %xmm2
movl (%r14), %eax
movl %eax, 0x8(%rsp)
movss %xmm2, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x9142
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x914f
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9546
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x9162
jmp 0x9162
jmp 0x9162
movq %rax, %rdi
callq 0x5380