// File: /workspace/github_cpp_makefile_star2_O2/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 %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %rbx
movl %edx, %ebp
incq 0x10(%rdi)
movq %rsi, %r14
movq (%rcx), %rax
cmpq %rax, 0x8(%rcx)
je 0x77bd
movq %rax, 0x8(%rbx)
movl (%r14), %eax
xorl %edx, %edx
divq 0x25a8f(%rip)           # 0x2d258
imulq 0x18(%rdi), %rax
addq 0x28(%rdi), %rax
movsbq (%rdx,%rax), %rax
movl %eax, %eax
leaq 0x25a20(%rip), %rcx     # 0x2d200
movss (%rcx,%rax,4), %xmm1
movaps %xmm1, %xmm0
mulss %xmm1, %xmm0
movl 0x25a62(%rip), %eax     # 0x2d254
testb $0x2, %al
movss %xmm0, 0x8(%rsp)
jne 0x799b
testb $0x4, %al
jne 0x7ac1
pushq $0x6
popq %rsi
movq %rbx, %rdi
movss %xmm1, (%rsp)
callq 0x7d3a
leaq 0x4(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x7dce
cvtss2sd (%rsp), %xmm0
cvtss2sd 0x8(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd 0x1486f(%rip), %xmm0    # 0x1c0b0
subsd %xmm1, %xmm0
movl (%r15), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x4(%rsi)
movq %rbx, %rdi
callq 0x7eb6
movss (%rsp), %xmm1
movss 0x8(%rsp), %xmm0
subss %xmm0, %xmm1
xorps %xmm2, %xmm2
ucomiss %xmm2, %xmm1
jbe 0x7aa0
movss %xmm1, (%rsp)
leaq 0x14(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x7dce
pushq $0x4
popq %r13
movl %ebp, %eax
cltd
idivl %r13d
movl %edx, %r15d
incl %r15d
leaq 0x4(%rsp), %rdi
movq %r12, %rsi
movl %r15d, %edx
callq 0x7dce
movl 0x4(%rsp), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movss (%rsp), %xmm0
mulss 0x14746(%rip), %xmm0    # 0x1c010
movss %xmm0, (%rsp)
movss %xmm0, 0x4(%rsi)
movq %rbx, %rdi
callq 0x7eb6
leaq 0x14(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x7dce
addl $0x2, %ebp
movl %ebp, %eax
cltd
idivl %r13d
movl %edx, %ebp
incl %ebp
leaq 0x4(%rsp), %rdi
movq %r12, %rsi
movl %ebp, %edx
callq 0x7dce
movl 0x4(%rsp), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movss (%rsp), %xmm0
movss %xmm0, 0x4(%rsi)
movq %rbx, %rdi
callq 0x7eb6
leaq 0x4(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x7dce
movl (%r12), %eax
leaq 0xc(%rsp), %r15
movl %eax, (%r15)
movss (%rsp), %xmm0
movss %xmm0, 0x4(%r15)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7eb6
leaq 0x4(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x7dce
movl (%r12), %eax
movl %eax, (%r15)
movss (%rsp), %xmm0
movss %xmm0, 0x4(%r15)
leaq 0xc(%rsp), %rsi
movq %rbx, %rdi
callq 0x7eb6
movss 0x8(%rsp), %xmm0
xorps %xmm2, %xmm2
jmp 0x7aa0
pushq $0x4
popq %rsi
movq %rbx, %rdi
movss %xmm1, (%rsp)
callq 0x7d3a
leaq 0x4(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x7dce
cvtss2sd (%rsp), %xmm0
cvtss2sd 0x8(%rsp), %xmm1
addsd %xmm0, %xmm1
movsd 0x146dc(%rip), %xmm0    # 0x1c0b0
subsd %xmm1, %xmm0
movl (%r15), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
cvtsd2ss %xmm0, %xmm0
movss %xmm0, 0x4(%rsi)
movq %rbx, %rdi
callq 0x7eb6
movss (%rsp), %xmm1
movss 0x8(%rsp), %xmm0
subss %xmm0, %xmm1
xorps %xmm2, %xmm2
ucomiss %xmm2, %xmm1
jbe 0x7aa0
pushq $0x4
popq %r12
movl %ebp, %eax
cltd
idivl %r12d
incl %edx
leaq 0x4(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
movss %xmm1, (%rsp)
callq 0x7dce
movl (%r15), %eax
leaq 0xc(%rsp), %r15
movl %eax, (%r15)
movss (%rsp), %xmm0
mulss 0x145c5(%rip), %xmm0    # 0x1c00c
movss %xmm0, (%rsp)
movss %xmm0, 0x4(%r15)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7eb6
addl $0x2, %ebp
movl %ebp, %eax
cltd
idivl %r12d
incl %edx
leaq 0x4(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0x7dce
movl (%r12), %eax
movl %eax, (%r15)
movss (%rsp), %xmm0
movss %xmm0, 0x4(%r15)
leaq 0xc(%rsp), %rsi
movq %rbx, %rdi
callq 0x7eb6
xorps %xmm2, %xmm2
movss 0x8(%rsp), %xmm0
ucomiss %xmm2, %xmm0
jbe 0x7b9c
addss %xmm0, %xmm0
movl (%r14), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movss %xmm0, 0x4(%rsi)
jmp 0x7b94
pushq $0x3
popq %rsi
movq %rbx, %rdi
callq 0x7d3a
leaq 0x4(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x7dce
movl (%r15), %eax
leaq 0xc(%rsp), %rsi
movl %eax, (%rsi)
movss 0x14518(%rip), %xmm0    # 0x1c008
subss 0x8(%rsp), %xmm0
movss %xmm0, 0x4(%rsi)
movq %rbx, %rdi
callq 0x7eb6
xorps %xmm0, %xmm0
movss 0x8(%rsp), %xmm1
ucomiss %xmm0, %xmm1
jbe 0x7b9c
pushq $0x4
popq %r12
movl %ebp, %eax
cltd
idivl %r12d
incl %edx
leaq 0x4(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x7dce
movl (%r15), %eax
leaq 0xc(%rsp), %r15
movl %eax, (%r15)
movss 0x8(%rsp), %xmm0
mulss 0x144c2(%rip), %xmm0    # 0x1c00c
movss %xmm0, 0x8(%rsp)
movss %xmm0, 0x4(%r15)
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7eb6
addl $0x2, %ebp
movl %ebp, %eax
cltd
idivl %r12d
incl %edx
leaq 0x4(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0x7dce
movl (%r12), %eax
movl %eax, (%r15)
movss 0x8(%rsp), %xmm0
movss %xmm0, 0x4(%r15)
leaq 0xc(%rsp), %rsi
movq %rbx, %rdi
callq 0x7eb6
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x7bb1
jmp 0x7bb1
jmp 0x7bb1
movq %rax, %rdi
callq 0x5390
nop