// File: /workspace/github_cpp_makefile_star2_O1/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 0x8ca4
movq %rax, 0x8(%rbx)
movl (%r14), %eax
xorl %edx, %edx
divq 0x2b5a8(%rip)           # 0x34258
imulq 0x18(%rdi), %rax
addq 0x28(%rdi), %rax
movsbq (%rdx,%rax), %rax
movl %eax, %eax
leaq 0x2b539(%rip), %rcx     # 0x34200
movss (%rcx,%rax,4), %xmm1
movaps %xmm1, %xmm0
mulss %xmm1, %xmm0
movss %xmm0, 0x14(%rsp)
movl 0x2b575(%rip), %eax     # 0x34254
testb $0x2, %al
movss %xmm1, 0x10(%rsp)
jne 0x8d6d
testb $0x4, %al
jne 0x8dde
movl $0x6, %esi
movq %rbx, %rdi
callq 0x94d2
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x956c
xorps %xmm0, %xmm0
cvtss2sd 0x10(%rsp), %xmm0
movss 0x14(%rsp), %xmm2
xorps %xmm1, %xmm1
cvtss2sd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x1c399(%rip), %xmm0    # 0x250d0
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 0x8ed5
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8ee8
movl $0x4, %esi
movq %rbx, %rdi
callq 0x94d2
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x956c
movss 0x14(%rsp), %xmm2
xorps %xmm0, %xmm0
cvtss2sd 0x10(%rsp), %xmm0
xorps %xmm1, %xmm1
cvtss2sd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd 0x1c321(%rip), %xmm0    # 0x250d0
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 0x8e3e
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8e51
movl $0x3, %esi
movq %rbx, %rdi
callq 0x94d2
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x956c
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x1c1fa(%rip), %xmm0    # 0x25008
movss 0x14(%rsp), %xmm1
subss %xmm1, %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x8f7f
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x8f92
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
movss 0x14(%rsp), %xmm2
movss 0x10(%rsp), %xmm1
subss %xmm2, %xmm1
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm1
jbe 0x907e
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 0x956c
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
mulss 0x1c163(%rip), %xmm0    # 0x2500c
movss %xmm0, 0x10(%rsp)
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x9006
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x9013
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
movss 0x14(%rsp), %xmm2
movss 0x10(%rsp), %xmm0
subss %xmm2, %xmm0
xorpd %xmm1, %xmm1
movss %xmm0, 0x10(%rsp)
ucomiss %xmm1, %xmm0
jbe 0x91ff
leaq 0x1c(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x956c
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 0x956c
movl 0x18(%rsp), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
mulss 0x1c0bd(%rip), %xmm0    # 0x25010
movss %xmm0, 0x10(%rsp)
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x90da
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x90e7
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
movss 0x14(%rsp), %xmm1
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm1
jbe 0x923b
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 0x956c
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x14(%rsp), %xmm0
mulss 0x1c032(%rip), %xmm0    # 0x2500c
movss %xmm0, 0x14(%rsp)
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x908c
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x9099
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
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 0x956c
movl (%r15), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x9068
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x9075
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
movss 0x14(%rsp), %xmm2
xorps %xmm0, %xmm0
ucomiss %xmm0, %xmm2
ja 0x9204
jmp 0x923b
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
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 0x956c
movl (%r15), %eax
movl %eax, 0x8(%rsp)
movss 0x14(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
jmp 0x9215
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
leaq 0x1c(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x956c
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 0x956c
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 0x9150
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x915d
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %ebp, %edx
callq 0x956c
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x919c
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x91a9
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
leaq 0x18(%rsp), %r12
movq %r12, %rdi
movq %r14, %rsi
movl %r15d, %edx
callq 0x956c
movl (%r12), %eax
movl %eax, 0x8(%rsp)
movss 0x10(%rsp), %xmm0
movss %xmm0, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x91e9
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x91f6
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
movss 0x14(%rsp), %xmm2
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm2
jbe 0x923b
addss %xmm2, %xmm2
movl (%r14), %eax
movl %eax, 0x8(%rsp)
movss %xmm2, 0xc(%rsp)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x922e
movq 0x8(%rsp), %rax
movq %rax, (%rsi)
addq $0x8, 0x8(%rbx)
jmp 0x923b
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x9630
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x924e
jmp 0x924e
jmp 0x924e
movq %rax, %rdi
callq 0x5380