// File: /workspace/github_c_makefile_star2_O3/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_btcl_operator_bop_s_solve_exportable_a_b
er_t x_btcl_operator_bop_s_solve_exportable_a_b( const x_btcl_operator_bop_s* o, const sr_s* a, const sr_s* b, sr_s* result, bl_t* success )
{
    // bcore_x_btcl_operator.x:291:1
    
    (*(success)) = true;
    
    switch( o->type )
    {
        case ((tp_t)(TYPEOF_pow)):
        {
            if( bcore_tp_is_numeric( sr_s_type(a) ) && bcore_tp_is_numeric( sr_s_type(b) ) )
            {
                sr_s_const_from_f3(result,pow( sr_s_to_f3(a), sr_s_to_f3(b) ) );
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_div)):
        {
            if( bcore_tp_is_numeric( sr_s_type(a) ) && bcore_tp_is_numeric( sr_s_type(b) ) )
            {
                if( sr_s_to_f3(b) == 0 ) return  x_source_point_s_parse_error_fa(&(o->sp),"Division by zero.\n" );
                sr_s_const_from_f3(result,sr_s_to_f3(a) / sr_s_to_f3(b) );
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_mod)):
        {
            if( bcore_tp_is_integer( sr_s_type(a) ) && bcore_tp_is_integer( sr_s_type(b) ) )
            {
                if( sr_s_to_s3(b) == 0 ) return  x_source_point_s_parse_error_fa(&(o->sp),"Modulo division by zero.\n" );
                sr_s_const_from_s3(result,sr_s_to_s3(a) % sr_s_to_s3(b) );
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_mul)):
        {
            if( bcore_tp_is_numeric( sr_s_type(a) ) && bcore_tp_is_numeric( sr_s_type(b) ) )
            {
                if( bcore_tp_is_integer( sr_s_type(a) ) && bcore_tp_is_integer( sr_s_type(b) ) )
                {
                    sr_s_const_from_s3(result,sr_s_to_s3(a) * sr_s_to_s3(b) );
                }
                else
                {
                    sr_s_const_from_f3(result,sr_s_to_f3(a) * sr_s_to_f3(b) );
                }
                return  0;
            }
            else if( sr_s_type(a) == ((tp_t)(TYPEOF_x_btcl_list_s)) )
            {
                const x_btcl_list_s* list_a = ((const x_btcl_list_s*)(a->o));
                if( sr_s_type(b) == ((tp_t)(TYPEOF_x_btcl_list_s)) )
                {BLM_INIT_LEVEL(6);
                    const x_btcl_list_s* list_b = ((const x_btcl_list_s*)(b->o));
                    x_btcl_list_s* list_r = ((x_btcl_list_s*)BLM_LEVEL_T_PUSH(6,x_btcl_list_s,x_btcl_list_s_create()));
                    x_btcl_list_s_set_size(list_r,x_btcl_list_s_size(list_a) * x_btcl_list_s_size(list_b) );
                    for(sz_t i = 0; i < x_btcl_list_s_size(list_a); i++ )
                    {
                        sr_s* sa =&( list_a->arr.data[ i ]);
    
                        for(sz_t j = 0; j < x_btcl_list_s_size(list_b); j++ )
                        {
                            sr_s* sb =&( list_b->arr.data[ j ]);
                            BLM_TRY(x_btcl_bop_cat_ab(sa, sb,&( list_r->arr.data[ i * x_btcl_list_s_size(list_b) + j ] )))
                        }
                    }
                    sr_s_asc(result,((x_btcl_list_s*)bcore_fork(list_r)) );
                    BLM_RETURNV(er_t, 0)
                BLM_DOWN();}
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_sub)):
        {
            if( bcore_tp_is_numeric( sr_s_type(a) ) && bcore_tp_is_numeric( sr_s_type(b) ) )
            {
                if( bcore_tp_is_integer( sr_s_type(a) ) && bcore_tp_is_integer( sr_s_type(b) ) )
                {
                    sr_s_const_from_s3(result,sr_s_to_s3(a) - sr_s_to_s3(b) );
                }
                else
                {
                    sr_s_const_from_f3(result,sr_s_to_f3(a) - sr_s_to_f3(b) );
                }
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_max)):
        {
            if( bcore_tp_is_numeric( sr_s_type(a) ) && bcore_tp_is_numeric( sr_s_type(b) ) )
            {
                if( bcore_tp_is_integer( sr_s_type(a) ) && bcore_tp_is_integer( sr_s_type(b) ) )
                {
                    sr_s_const_from_s3(result,s3_max( sr_s_to_s3(a), sr_s_to_s3(b) ) );
                }
                else
                {
                    sr_s_const_from_f3(result,f3_max( sr_s_to_f3(a), sr_s_to_f3(b) ) );
                }
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_min)):
        {
            if( bcore_tp_is_numeric( sr_s_type(a) ) && bcore_tp_is_numeric( sr_s_type(b) ) )
            {
                if( bcore_tp_is_integer( sr_s_type(a) ) && bcore_tp_is_integer( sr_s_type(b) ) )
                {
                    sr_s_const_from_s3(result,s3_min( sr_s_to_s3(a), sr_s_to_s3(b) ) );
                }
                else
                {
                    sr_s_const_from_f3(result,f3_min( sr_s_to_f3(a), sr_s_to_f3(b) ) );
                }
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_add)):
        {
            if( bcore_tp_is_numeric( sr_s_type(a) ) )
            {
                if( bcore_tp_is_numeric( sr_s_type(b) ) )
                {
                    if( bcore_tp_is_integer( sr_s_type(a) ) && bcore_tp_is_integer( sr_s_type(b) ) )
                    {
                        sr_s_const_from_s3(result,sr_s_to_s3(a) + sr_s_to_s3(b) );
                    }
                    else
                    {
                        sr_s_const_from_f3(result,sr_s_to_f3(a) + sr_s_to_f3(b) );
                    }
                    return  0;
                }
            }
    
            if( sr_s_type(a) == ((tp_t)(TYPEOF_st_s)) || sr_s_type(b) == ((tp_t)(TYPEOF_st_s)) )
            {BLM_INIT_LEVEL(4);
                st_s* st1 = ((st_s*)BLM_LEVEL_T_PUSH(4,st_s,st_s_create()));
                st_s* st2 = ((st_s*)BLM_LEVEL_T_PUSH(4,st_s,st_s_create()));
                if( st_s_copy_typed(st1,sr_s_type(a), a->o ) ) {BLM_INIT_LEVEL(5); BLM_RETURNV(er_t, x_source_point_s_parse_error_fa(&(o->sp),"operator '+': #<sc_t>\n", bcore_error_pop_all_to_st(((st_s*)BLM_LEVEL_T_PUSH(5,st_s,st_s_create())) )->sc )) BLM_DOWN();}
                if( st_s_copy_typed(st2,sr_s_type(b), b->o ) ) {BLM_INIT_LEVEL(5); BLM_RETURNV(er_t, x_source_point_s_parse_error_fa(&(o->sp),"operator '+': #<sc_t>\n", bcore_error_pop_all_to_st(((st_s*)BLM_LEVEL_T_PUSH(5,st_s,st_s_create())) )->sc )) BLM_DOWN();}
                st_s_push_st(st1,st2 );
    
                sr_s_asc(result,((st_s*)bcore_fork(st1)) );
                BLM_RETURNV(er_t, 0)
            BLM_DOWN();}
        }
        break;
    
        case ((tp_t)(TYPEOF_spawn)):
        {
            if( sr_s_is_numeric(a) && sr_s_type(b) != ((tp_t)(TYPEOF_x_btcl_function_s)) )
            {BLM_INIT_LEVEL(4);
                x_btcl_list_s* list = ((x_btcl_list_s*)BLM_LEVEL_T_PUSH(4,x_btcl_list_s,x_btcl_list_s_create()));
                bcore_arr_sr_s_set_size(&(list->arr),sr_s_to_s3(a) );
                for(sz_t i = 0; i < list->arr.size; i++ )
                {
                    sr_s_tsc(&(list->arr.data[ i ]),sr_s_type(b), x_inst_t_clone( b->o,sr_s_type(b) ) );
                }
                sr_s_asc(result,((x_btcl_list_s*)bcore_fork(list)) );
                BLM_RETURNV(er_t, 0)
            BLM_DOWN();}
        }
        break;
    
        case ((tp_t)(TYPEOF_cat)): return  x_btcl_bop_cat_ab(((sr_s*)(a)), ((sr_s*)(b)), result );
    
        case ((tp_t)(TYPEOF_equal)):
        {
            if( x_btcl_operator_is_comparable(a, b ) )
            {
                sr_s_from_bl(result,0 == x_compare_t_num_dominant(sr_s_type(a), a->o, sr_s_type(b), b->o ) );
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_unequal)):
        {
            if( x_btcl_operator_is_comparable(a, b ) )
            {
                sr_s_from_bl(result,0 != x_compare_t_num_dominant(sr_s_type(a), a->o, sr_s_type(b), b->o ) );
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_larger_equal)):
        {
            if( x_btcl_operator_is_comparable(a, b ) )
            {
                sr_s_from_bl(result,0 >= x_compare_t_num_dominant(sr_s_type(a), a->o, sr_s_type(b), b->o ) );
                return  0;
            }
        }
        break;
    
    
        case ((tp_t)(TYPEOF_larger)):
        {
            if( x_btcl_operator_is_comparable(a, b ) )
            {
                sr_s_from_bl(result,0 >  x_compare_t_num_dominant(sr_s_type(a), a->o, sr_s_type(b), b->o ) );
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_smaller_equal)):
        {
            if( x_btcl_operator_is_comparable(a, b ) )
            {
                sr_s_from_bl(result,0 <= x_compare_t_num_dominant(sr_s_type(a), a->o, sr_s_type(b), b->o ) );
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_smaller)):
        {
            if( x_btcl_operator_is_comparable(a, b ) )
            {
                sr_s_from_bl(result,0 <  x_compare_t_num_dominant(sr_s_type(a), a->o, sr_s_type(b), b->o ) );
                return  0;
            }
        }
        break;
    
        case ((tp_t)(TYPEOF_and)): if( sr_s_is_numeric(a) && sr_s_is_numeric(b) ) { sr_s_from_bl(result,sr_s_to_bl(a) && sr_s_to_bl(b) ); return  0; } break;
        case ((tp_t)(TYPEOF_or)):  if( sr_s_is_numeric(a) && sr_s_is_numeric(b) ) { sr_s_from_bl(result,sr_s_to_bl(a) || sr_s_to_bl(b) ); return  0; } break;
    
        case ((tp_t)(TYPEOF_shift_left)):
        {
            if( sr_s_type(a) == ((tp_t)(TYPEOF_x_btcl_net_node_s)) )
            {BLM_INIT_LEVEL(4);
                x_btcl_net_node_s* node = ((x_btcl_net_node_s*)BLM_LEVEL_T_PUSH(4,x_btcl_net_node_s,x_btcl_net_node_s_clone(((x_btcl_net_node_s*)(a->o)))));
                x_btcl_net_node_s_push_plain_branch(node,0, false,&( o->sp), ((sr_s*)(b)) );
                sr_s_asc(result,((x_btcl_net_node_s*)bcore_fork(node)) );
                BLM_RETURNV(er_t, 0)
            BLM_DOWN();}
        }
        break;
    
        default: break;
    }
    
    (*(success)) = false;
    return  0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %r8, %r12
movq %rcx, %r14
movq %rdx, %rbp
movq %rsi, %r15
movq %rdi, %r13
movb $0x1, (%r8)
movq 0x8(%rdi), %rax
movabsq $0x4c3dbe7cbbb5fa, %rcx # imm = 0x4C3DBE7CBBB5FA
cmpq %rcx, %rax
jle 0x90a24
movabsq $0x8b05407b5565ca3, %rcx # imm = 0x8B05407B5565CA3
cmpq %rcx, %rax
jg 0x90a96
movabsq $0x7f4431917564076, %rcx # imm = 0x7F4431917564076
cmpq %rcx, %rax
jle 0x90c23
movabsq $0x7f4431917564077, %rcx # imm = 0x7F4431917564077
cmpq %rcx, %rax
je 0x90e5a
movabsq $0x808591917670ee3, %rcx # imm = 0x808591917670EE3
cmpq %rcx, %rax
je 0x90dea
movabsq $0x80f5119176d1ff9, %rcx # imm = 0x80F5119176D1FF9
cmpq %rcx, %rax
jne 0x915cf
testq %r15, %r15
je 0x911b6
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x911b6
movq 0x8(%rax), %rdi
jmp 0x911b8
movabsq $-0x3557c5e70b91a779, %rcx # imm = 0xCAA83A18F46E5887
cmpq %rcx, %rax
jle 0x90b01
movabsq $-0x18f43ce6facf19ad, %rcx # imm = 0xE70BC3190530E653
cmpq %rcx, %rax
jle 0x90bc0
movabsq $-0x18f43ce6facf19ac, %rcx # imm = 0xE70BC3190530E654
cmpq %rcx, %rax
je 0x90dcb
movabsq $-0xe64339e40c20067, %rcx # imm = 0xF19BCC61BF3DFF99
cmpq %rcx, %rax
je 0x90d11
movabsq $-0xa1cf8e6f31b5cd9, %rcx # imm = 0xF5E307190CE4A327
cmpq %rcx, %rax
jne 0x915cf
movq %r15, %rdi
movq %rbp, %rsi
movq %r14, %rdx
callq 0x8ea59
jmp 0x91ca8
movabsq $0x4328f78ab20e1f97, %rcx # imm = 0x4328F78AB20E1F97
cmpq %rcx, %rax
jle 0x90c68
movabsq $0x4328f78ab20e1f98, %rcx # imm = 0x4328F78AB20E1F98
cmpq %rcx, %rax
je 0x90e79
movabsq $0x6a7933d70f43faaf, %rcx # imm = 0x6A7933D70F43FAAF
cmpq %rcx, %rax
je 0x90e09
movabsq $0x779b5f19564f3b35, %rcx # imm = 0x779B5F19564F3B35
cmpq %rcx, %rax
jne 0x915cf
testq %r15, %r15
je 0x911e5
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x911e5
movq 0x8(%rax), %rdi
jmp 0x911e7
movabsq $-0x57358b5d24648dc4, %rcx # imm = 0xA8CA74A2DB9B723C
cmpq %rcx, %rax
jg 0x90b68
movabsq $-0x7d8e62e6a2f03d0b, %rcx # imm = 0x82719D195D0FC2F5
cmpq %rcx, %rax
je 0x90cc0
movabsq $-0x7852cb8bc90e7dee, %rcx # imm = 0x87AD347436F18212
cmpq %rcx, %rax
jne 0x915cf
movq %r15, %rdi
movq %rbp, %rsi
callq 0x91d9d
testb %al, %al
je 0x915cf
testq %r15, %r15
je 0x91616
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91616
movq 0x8(%rax), %rdi
jmp 0x91618
movabsq $-0x57358b5d24648dc3, %rcx # imm = 0xA8CA74A2DB9B723D
cmpq %rcx, %rax
je 0x90cdf
movabsq $-0x474675c9029fa41c, %rcx # imm = 0xB8B98A36FD605BE4
cmpq %rcx, %rax
jne 0x915cf
movq %r15, %rdi
movq %rbp, %rsi
callq 0x91d9d
testb %al, %al
je 0x915cf
testq %r15, %r15
je 0x91632
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91632
movq 0x8(%rax), %rdi
jmp 0x91634
movabsq $-0x3557c5e70b91a778, %rcx # imm = 0xCAA83A18F46E5888
cmpq %rcx, %rax
je 0x90e3b
movabsq $-0x190868e6fae00d7a, %rcx # imm = 0xE6F79719051FF286
cmpq %rcx, %rax
jne 0x915cf
movq %r15, %rdi
callq 0x108085
testb %al, %al
je 0x915cf
movq %rbp, %rdi
callq 0x108085
testb %al, %al
je 0x915cf
movq %r15, %rdi
callq 0x108b00
testb %al, %al
je 0x91cbf
movq %rbp, %rdi
callq 0x108b00
jmp 0x91cc1
movabsq $0x4c3dbe7cbbb5fb, %rcx # imm = 0x4C3DBE7CBBB5FB
cmpq %rcx, %rax
je 0x91059
movabsq $0x7e66519174a3ce1, %rcx # imm = 0x7E66519174A3CE1
cmpq %rcx, %rax
jne 0x915cf
testq %r15, %r15
je 0x91214
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91214
movq 0x8(%rax), %rdi
jmp 0x91216
movabsq $0x8b05407b5565ca4, %rcx # imm = 0x8B05407B5565CA4
cmpq %rcx, %rax
je 0x9108b
movabsq $0x1894146c8d27f1ee, %rcx # imm = 0x1894146C8D27F1EE
cmpq %rcx, %rax
jne 0x915cf
movq %r15, %rdi
movq %rbp, %rsi
callq 0x91d9d
testb %al, %al
je 0x915cf
testq %r15, %r15
je 0x9170a
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x9170a
movq 0x8(%rax), %rdi
jmp 0x9170c
testq %r15, %r15
je 0x910cb
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x910cb
movq 0x8(%rax), %rdi
jmp 0x910cd
movq %r15, %rdi
movq %rbp, %rsi
callq 0x91d9d
testb %al, %al
je 0x915cf
testq %r15, %r15
je 0x915d9
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x915d9
movq 0x8(%rax), %rdi
jmp 0x915db
testq %r15, %r15
je 0x915cf
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x915cf
movabsq $-0x1948b20c22462ae4, %rbx # imm = 0xE6B74DF3DDB9D51C
cmpq %rbx, 0x8(%rax)
jne 0x915cf
leaq 0x10b08e(%rip), %rax    # 0x19bdd0
movq (%rax), %rsi
leaq 0x40(%rsp), %r12
movq %r12, %rdi
callq 0xd6675
movq $0x4, 0x10(%r12)
movq (%r15), %rdi
callq 0x91ea9
movl $0x4, %esi
movq %r12, %rdi
movq %rbx, %rdx
movq %rax, %rcx
callq 0xd68a8
movq %rax, %r15
addq $0x40, %r13
xorl %ebx, %ebx
movq %rax, %rdi
xorl %esi, %esi
xorl %edx, %edx
movq %r13, %rcx
movq %rbp, %r8
callq 0x91f68
movq %r15, %rdi
callq 0xbe7e4
movq %r14, %rdi
movq %rax, %r14
movq %rdi, %r15
callq 0x107ca9
testq %r14, %r14
je 0x90db7
movq (%r14), %rdi
callq 0x1074f1
movq %rax, %rbx
movq %r14, (%r15)
movq %rbx, 0x8(%r15)
movq $0x3, 0x10(%r15)
jmp 0x9104a
testq %r15, %r15
je 0x910fa
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x910fa
movq 0x8(%rax), %rdi
jmp 0x910fc
testq %r15, %r15
je 0x91129
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91129
movq 0x8(%rax), %rdi
jmp 0x9112b
movq %r15, %rdi
movq %rbp, %rsi
callq 0x91d9d
testb %al, %al
je 0x915cf
testq %r15, %r15
je 0x91690
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91690
movq 0x8(%rax), %rdi
jmp 0x91692
testq %r15, %r15
je 0x91158
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91158
movq 0x8(%rax), %rdi
jmp 0x9115a
testq %r15, %r15
je 0x91187
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91187
movq 0x8(%rax), %rdi
jmp 0x91189
movq %r15, %rdi
callq 0x108085
testb %al, %al
je 0x915cf
testq %rbp, %rbp
je 0x90eab
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x90eab
movabsq $-0x19831b480b40fba0, %rcx # imm = 0xE67CE4B7F4BF0460
cmpq %rcx, 0x8(%rax)
je 0x915cf
movq %r14, 0xa0(%rsp)
leaq 0x10af16(%rip), %rax    # 0x19bdd0
movq (%rax), %rsi
leaq 0x40(%rsp), %rbx
movq %rbx, %rdi
callq 0xd6675
movq $0x4, 0x10(%rbx)
callq 0x8c302
movabsq $-0x240ec4eb25c1f3e8, %rdx # imm = 0xDBF13B14DA3E0C18
movl $0x4, %esi
movq %rbx, %rdi
movq %rax, %rcx
callq 0xd68a8
movq %rax, %r12
leaq 0x8(%rax), %rbx
movq %r15, %rdi
callq 0x1088f4
movq %rbx, %rdi
movq %rax, %rsi
callq 0xbb055
cmpq $0x0, 0x18(%r12)
je 0x91032
xorl %r14d, %r14d
xorl %r15d, %r15d
movq %rbp, 0x38(%rsp)
movq %r12, 0x30(%rsp)
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x90f36
movq 0x8(%rax), %rbp
jmp 0x90f38
xorl %ebp, %ebp
movq 0x10(%r12), %r12
movq 0x38(%rsp), %rax
movq (%rax), %rbx
leaq 0x10b51c(%rip), %rdx    # 0x19c468
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x90fa1
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x90fa1
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x90fa1
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x90faa
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x90fd1
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %rbp, %rsi
callq 0xe9bc5
movq %rax, %r13
leaq 0x10b4a2(%rip), %rdi    # 0x19c468
movq %rbp, %rsi
movq %rax, %rdx
callq 0x115fac
testq %rbx, %rbx
je 0x90fe8
movq %r13, %rdi
movq %rbx, %rsi
callq *0xc0(%r13)
movq %rax, %rbx
jmp 0x90fea
xorl %ebx, %ebx
leaq (%r12,%r14), %rdi
callq 0x107ca9
testq %rbp, %rbp
je 0x91002
movq %rbp, %rdi
callq 0x1074f1
jmp 0x91004
xorl %eax, %eax
movq 0x38(%rsp), %rbp
movq %rbx, (%r12,%r14)
movq %rax, 0x8(%r12,%r14)
movq $0x3, 0x10(%r12,%r14)
incq %r15
addq $0x18, %r14
movq 0x30(%rsp), %r12
cmpq 0x18(%r12), %r15
jb 0x90f27
movq %r12, %rdi
callq 0xbe7e4
movq 0xa0(%rsp), %rdi
movq %rax, %rsi
callq 0x85850
leaq 0x40(%rsp), %rdi
callq 0xd6d2c
jmp 0x91ca8
movq %r15, %rdi
movq %rbp, %rsi
callq 0x91d9d
testb %al, %al
je 0x915cf
testq %r15, %r15
je 0x916cd
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x916cd
movq 0x8(%rax), %rdi
jmp 0x916cf
movq %r15, %rdi
callq 0x108085
testb %al, %al
je 0x915cf
movq %rbp, %rdi
callq 0x108085
testb %al, %al
je 0x915cf
movq %r15, %rdi
callq 0x108b00
movl %eax, %ecx
movb $0x1, %al
testb %cl, %cl
jne 0x910c3
movq %rbp, %rdi
callq 0x108b00
movzbl %al, %esi
jmp 0x91cc4
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
testq %rbp, %rbp
je 0x91243
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91243
movq 0x8(%rax), %rdi
jmp 0x91245
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x9129d
testq %rbp, %rbp
je 0x91272
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91272
movq 0x8(%rax), %rdi
jmp 0x91274
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x915cf
testq %rbp, %rbp
je 0x9135f
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x9135f
movq 0x8(%rax), %rdi
jmp 0x91361
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
testq %rbp, %rbp
je 0x913a9
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x913a9
movq 0x8(%rax), %rdi
jmp 0x913ab
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
testq %rbp, %rbp
je 0x913e5
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x913e5
movq 0x8(%rax), %rdi
jmp 0x913e7
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
testq %rbp, %rbp
je 0x91414
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91414
movq 0x8(%rax), %rdi
jmp 0x91416
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
testq %rbp, %rbp
je 0x91443
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91443
movq 0x8(%rax), %rdi
jmp 0x91445
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x914a8
testq %rbp, %rbp
je 0x9147d
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x9147d
movq 0x8(%rax), %rdi
jmp 0x9147f
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
testq %r15, %r15
je 0x91747
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91747
movq 0x8(%rax), %rdi
jmp 0x91749
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x9129d
testq %r15, %r15
je 0x91776
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91776
movq 0x8(%rax), %rdi
jmp 0x91778
movabsq $-0x503db0e6e1c2e704, %rcx # imm = 0xAFC24F191E3D18FC
testq %r15, %r15
je 0x912bb
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x912bb
cmpq %rcx, 0x8(%rax)
je 0x912db
testq %rbp, %rbp
je 0x915cf
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x915cf
cmpq %rcx, 0x8(%rax)
jne 0x915cf
movq %rbp, 0x38(%rsp)
leaq 0x10aae9(%rip), %rax    # 0x19bdd0
movq (%rax), %rsi
leaq 0x40(%rsp), %rbp
movq %rbp, %rdi
movq %rcx, %r12
callq 0xd6675
movq $0x4, 0x10(%rbp)
xorl %ebx, %ebx
xorl %eax, %eax
callq 0x109c82
movl $0x4, %esi
movq %rbp, %rdi
movq %r12, %rdx
movq %rax, %rcx
callq 0xd68a8
movq %rax, 0x30(%rsp)
xorl %eax, %eax
callq 0x109c82
movl $0x4, %esi
movq %rbp, %rdi
movq %r12, %rdx
movq %rax, %rcx
callq 0xd68a8
movq %rax, %rbp
testq %r15, %r15
je 0x91cce
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91ccc
movq 0x8(%rax), %rbx
jmp 0x91cce
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x915cf
movq %rbp, %rdi
callq 0x1088f4
testq %rax, %rax
je 0x91c56
movq %r15, %rdi
callq 0x1088f4
movq %rax, %rbx
movq %rbp, %rdi
callq 0x1088f4
movq %rax, %rcx
movq %rbx, %rax
cqto
idivq %rcx
movq %r14, %rdi
movq %rdx, %rsi
jmp 0x91c2e
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
movq %rbp, %rdi
callq 0x10847b
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x91c7c
jp 0x91c7c
addq $0x40, %r13
leaq 0xa79c3(%rip), %rsi     # 0x138da3
jmp 0x91c61
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
testq %r15, %r15
je 0x917a5
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x917a5
movq 0x8(%rax), %rdi
jmp 0x917a7
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
testq %r15, %r15
je 0x917d4
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x917d4
movq 0x8(%rax), %rdi
jmp 0x917d6
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x915cf
movq %r15, %rdi
callq 0x10847b
movsd %xmm0, 0x30(%rsp)
movq %rbp, %rdi
callq 0x10847b
movapd %xmm0, %xmm1
movsd 0x30(%rsp), %xmm0
callq 0xd470
jmp 0x91c51
xorl %edi, %edi
callq 0x115904
testq %rax, %rax
je 0x914a8
testq %r15, %r15
je 0x91803
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x91803
movq 0x8(%rax), %rdi
jmp 0x91805
testq %r15, %r15
je 0x915cf
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x915cf
movabsq $-0x240ec4eb25c1f3e8, %rbx # imm = 0xDBF13B14DA3E0C18
cmpq %rbx, 0x8(%rax)
jne 0x915cf
testq %rbp, %rbp
je 0x915cf
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x915cf
cmpq %rbx, 0x8(%rax)
jne 0x915cf
movq %r14, 0xa0(%rsp)
movq (%r15), %r12
leaq 0x10a8cc(%rip), %rax    # 0x19bdd0
movq (%rax), %rsi
leaq 0x40(%rsp), %r15
movq %r15, %rdi
callq 0xd6675
movq $0x6, 0x10(%r15)
movq (%rbp), %r13
callq 0x8c302
movl $0x6, %esi
movq %r15, %rdi
movq %rbx, %rdx
movq %rax, %rcx
callq 0xd68a8
movq %rax, %r14
movq 0x18(%r13), %rsi
imulq 0x18(%r12), %rsi
leaq 0x8(%rax), %rdi
callq 0xbb055
movq 0x18(%r12), %rax
testq %rax, %rax
jle 0x915c7
movq 0x18(%r13), %rdx
xorl %r15d, %r15d
xorl %ecx, %ecx
movq %r12, 0x30(%rsp)
testq %rdx, %rdx
jle 0x915bb
movq %rcx, 0x38(%rsp)
leaq (%rcx,%rcx,2), %rbx
shlq $0x3, %rbx
addq 0x10(%r12), %rbx
xorl %r12d, %r12d
xorl %ebp, %ebp
movq 0x10(%r13), %rsi
addq %r12, %rsi
imulq %r15, %rdx
addq 0x10(%r14), %rdx
addq %r12, %rdx
movq %rbx, %rdi
callq 0x8ea59
incq %rbp
movq 0x18(%r13), %rdx
addq $0x18, %r12
cmpq %rdx, %rbp
jl 0x91582
movq 0x30(%rsp), %r12
movq 0x18(%r12), %rax
movq 0x38(%rsp), %rcx
incq %rcx
addq $0x18, %r15
cmpq %rax, %rcx
jl 0x91566
movq %r14, %rdi
jmp 0x91035
movb $0x0, (%r12)
jmp 0x91ca8
xorl %edi, %edi
movq (%r15), %rax
testq %rbp, %rbp
je 0x915f5
movq 0x8(%rbp), %rcx
testq %rcx, %rcx
je 0x915f5
movq %r14, %r15
movq 0x8(%rcx), %rbx
jmp 0x915fa
movq %r14, %r15
xorl %ebx, %ebx
movq (%rbp), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x91832
callq 0x1074f1
jmp 0x91834
xorl %edi, %edi
movq (%r15), %rax
testq %rbp, %rbp
je 0x9164e
movq 0x8(%rbp), %rcx
testq %rcx, %rcx
je 0x9164e
movq %r14, %r15
movq 0x8(%rcx), %rbx
jmp 0x91653
xorl %edi, %edi
movq (%r15), %rax
testq %rbp, %rbp
je 0x9166f
movq 0x8(%rbp), %rcx
testq %rcx, %rcx
je 0x9166f
movq %r14, %r15
movq 0x8(%rcx), %rbx
jmp 0x91674
movq %r14, %r15
xorl %ebx, %ebx
movq (%rbp), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x918a3
callq 0x1074f1
jmp 0x918a5
movq %r14, %r15
xorl %ebx, %ebx
movq (%rbp), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x918c7
callq 0x1074f1
jmp 0x918c9
xorl %edi, %edi
movq (%r15), %rax
testq %rbp, %rbp
je 0x916ac
movq 0x8(%rbp), %rcx
testq %rcx, %rcx
je 0x916ac
movq %r14, %r15
movq 0x8(%rcx), %rbx
jmp 0x916b1
movq %r14, %r15
xorl %ebx, %ebx
movq (%rbp), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x9197c
callq 0x1074f1
jmp 0x9197e
xorl %edi, %edi
movq (%r15), %rax
testq %rbp, %rbp
je 0x916e9
movq 0x8(%rbp), %rcx
testq %rcx, %rcx
je 0x916e9
movq %r14, %r15
movq 0x8(%rcx), %rbx
jmp 0x916ee
movq %r14, %r15
xorl %ebx, %ebx
movq (%rbp), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x919ed
callq 0x1074f1
jmp 0x919ef
xorl %edi, %edi
movq (%r15), %rax
testq %rbp, %rbp
je 0x91726
movq 0x8(%rbp), %rcx
testq %rcx, %rcx
je 0x91726
movq %r14, %r15
movq 0x8(%rcx), %rbx
jmp 0x9172b
movq %r14, %r15
xorl %ebx, %ebx
movq (%rbp), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x91a5b
callq 0x1074f1
jmp 0x91a5d
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91afb
testq %rbp, %rbp
je 0x91ad4
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91ad4
movq 0x8(%rax), %rdi
jmp 0x91ad6
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91b47
testq %rbp, %rbp
je 0x91b20
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91b20
movq 0x8(%rax), %rdi
jmp 0x91b22
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91b93
testq %rbp, %rbp
je 0x91b68
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91b68
movq 0x8(%rax), %rdi
jmp 0x91b6a
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91be0
testq %rbp, %rbp
je 0x91bb8
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91bb8
movq 0x8(%rax), %rdi
jmp 0x91bba
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91c35
testq %rbp, %rbp
je 0x91c05
movq 0x8(%rbp), %rax
testq %rax, %rax
je 0x91c05
movq 0x8(%rax), %rdi
jmp 0x91c07
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x70(%rsp)
testq %rbx, %rbx
je 0x91856
movq %rbx, %rdi
callq 0x1074f1
jmp 0x91858
xorl %eax, %eax
movq %r15, %rbx
movq %rax, 0x78(%rsp)
movl $0x1, %eax
movq %rax, 0x80(%rsp)
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xf3fbb
xorl %esi, %esi
testl %eax, %eax
setle %sil
jmp 0x91ac7
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x70(%rsp)
testq %rbx, %rbx
je 0x918eb
movq %rbx, %rdi
callq 0x1074f1
jmp 0x918ed
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x70(%rsp)
testq %rbx, %rbx
je 0x9192d
movq %rbx, %rdi
callq 0x1074f1
jmp 0x9192f
xorl %eax, %eax
movq %r15, %rbx
movq %rax, 0x78(%rsp)
movl $0x1, %eax
movq %rax, 0x80(%rsp)
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xf3fbb
jmp 0x9196f
xorl %eax, %eax
movq %r15, %rbx
movq %rax, 0x78(%rsp)
movl $0x1, %eax
movq %rax, 0x80(%rsp)
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xf3fbb
notl %eax
shrl $0x1f, %eax
movq %rbx, %rdi
movl %eax, %esi
jmp 0x91aca
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x70(%rsp)
testq %rbx, %rbx
je 0x919a0
movq %rbx, %rdi
callq 0x1074f1
jmp 0x919a2
xorl %eax, %eax
movq %r15, %rbx
movq %rax, 0x78(%rsp)
movl $0x1, %eax
movq %rax, 0x80(%rsp)
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xf3fbb
xorl %esi, %esi
testl %eax, %eax
sete %sil
jmp 0x91ac7
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x70(%rsp)
testq %rbx, %rbx
je 0x91a11
movq %rbx, %rdi
callq 0x1074f1
jmp 0x91a13
xorl %eax, %eax
movq %r15, %rbx
movq %rax, 0x78(%rsp)
movl $0x1, %eax
movq %rax, 0x80(%rsp)
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xf3fbb
xorl %esi, %esi
testl %eax, %eax
setg %sil
jmp 0x91ac7
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x70(%rsp)
testq %rbx, %rbx
je 0x91a7f
movq %rbx, %rdi
callq 0x1074f1
jmp 0x91a81
xorl %eax, %eax
movq %r15, %rbx
movq %rax, 0x78(%rsp)
movl $0x1, %eax
movq %rax, 0x80(%rsp)
movq %rax, 0x28(%rsp)
movups 0x70(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xf3fbb
xorl %esi, %esi
testl %eax, %eax
setne %sil
movq %rbx, %rdi
callq 0x108259
jmp 0x91ca8
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91afb
movq %r15, %rdi
callq 0x1088f4
movq %rax, %rbx
movq %rbp, %rdi
callq 0x1088f4
subq %rax, %rbx
jmp 0x91c28
movq %r15, %rdi
callq 0x10847b
movsd %xmm0, 0x30(%rsp)
movq %rbp, %rdi
callq 0x10847b
movsd 0x30(%rsp), %xmm1
subsd %xmm0, %xmm1
jmp 0x91c9c
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91b47
movq %r15, %rdi
callq 0x1088f4
movq %rax, %rbx
movq %rbp, %rdi
callq 0x1088f4
addq %rax, %rbx
jmp 0x91c28
movq %r15, %rdi
callq 0x10847b
movsd %xmm0, 0x30(%rsp)
movq %rbp, %rdi
callq 0x10847b
addsd 0x30(%rsp), %xmm0
jmp 0x91c51
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91b93
movq %r15, %rdi
callq 0x1088f4
movq %rax, %rbx
movq %rbp, %rdi
callq 0x1088f4
cmpq %rax, %rbx
cmovgeq %rax, %rbx
jmp 0x91c28
movq %r15, %rdi
callq 0x10847b
movsd %xmm0, 0x30(%rsp)
movq %rbp, %rdi
callq 0x10847b
movsd 0x30(%rsp), %xmm1
minsd %xmm0, %xmm1
jmp 0x91c9c
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91be0
movq %r15, %rdi
callq 0x1088f4
movq %rax, %rbx
movq %rbp, %rdi
callq 0x1088f4
cmpq %rax, %rbx
cmovleq %rax, %rbx
jmp 0x91c28
movq %r15, %rdi
callq 0x10847b
movsd %xmm0, 0x30(%rsp)
movq %rbp, %rdi
callq 0x10847b
movsd 0x30(%rsp), %xmm1
maxsd %xmm0, %xmm1
jmp 0x91c9c
xorl %edi, %edi
callq 0x115a98
testq %rax, %rax
je 0x91c35
movq %r15, %rdi
callq 0x1088f4
movq %rax, %rbx
movq %rbp, %rdi
callq 0x1088f4
imulq %rax, %rbx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x10838e
jmp 0x91ca8
movq %r15, %rdi
callq 0x10847b
movsd %xmm0, 0x30(%rsp)
movq %rbp, %rdi
callq 0x10847b
mulsd 0x30(%rsp), %xmm0
movq %r14, %rdi
jmp 0x91ca3
addq $0x40, %r13
leaq 0xa7155(%rip), %rsi     # 0x138db6
movq %r13, %rdi
xorl %eax, %eax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x8dd3f
movq %r15, %rdi
callq 0x10847b
movsd %xmm0, 0x30(%rsp)
movq %rbp, %rdi
callq 0x10847b
movsd 0x30(%rsp), %xmm1
divsd %xmm0, %xmm1
movq %r14, %rdi
movapd %xmm1, %xmm0
callq 0x1082ef
xorl %ebx, %ebx
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %eax, %eax
movzbl %al, %esi
movq %r14, %rdi
jmp 0x91aca
xorl %ebx, %ebx
movq 0x38(%rsp), %r12
movq (%r15), %rdx
movq 0x30(%rsp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x10988c
testq %rax, %rax
jne 0x91d13
testq %r12, %r12
je 0x91d00
movq 0x8(%r12), %rax
testq %rax, %rax
je 0x91d00
movq 0x8(%rax), %rsi
jmp 0x91d02
xorl %esi, %esi
movq (%r12), %rdx
movq %rbp, %rdi
callq 0x10988c
testq %rax, %rax
je 0x91d82
leaq 0x70(%rsp), %r14
leaq 0x40(%rsp), %rsi
movq %r14, %rdi
callq 0xd6675
movq $0x5, 0x10(%r14)
addq $0x40, %r13
xorl %eax, %eax
callq 0x109c82
movl $0x5, %esi
movq %r14, %rdi
movabsq $-0x503db0e6e1c2e704, %rdx # imm = 0xAFC24F191E3D18FC
movq %rax, %rcx
callq 0xd68a8
movq %rax, %rbx
movq %rax, %rdi
callq 0xbf00c
movq 0x8(%rbx), %rdx
leaq 0xa7068(%rip), %rsi     # 0x138dd0
movq %r13, %rdi
xorl %eax, %eax
callq 0x8dd3f
movq %rax, %rbx
movq %r14, %rdi
callq 0xd6d2c
jmp 0x91caa
movq %r15, %rdi
movq %rbp, %rsi
callq 0x10a596
movq %r15, %rdi
callq 0xbe7e4
movq %r14, %rdi
jmp 0x91042