// File: /workspace/github_c_makefile_star2_O1/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 $0xb8, %rsp
movq %r8, %rbp
movq %rcx, %r12
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %r13
movb $0x1, (%r8)
movq 0x8(%rdi), %rax
movabsq $0x4c3dbe7cbbb5fa, %rcx # imm = 0x4C3DBE7CBBB5FA
cmpq %rcx, %rax
jle 0x98d19
movabsq $0x8b05407b5565ca3, %rcx # imm = 0x8B05407B5565CA3
cmpq %rcx, %rax
jg 0x98d8b
movabsq $0x7f4431917564076, %rcx # imm = 0x7F4431917564076
cmpq %rcx, %rax
jle 0x98f18
movabsq $0x7f4431917564077, %rcx # imm = 0x7F4431917564077
cmpq %rcx, %rax
je 0x99151
movabsq $0x808591917670ee3, %rcx # imm = 0x808591917670EE3
cmpq %rcx, %rax
je 0x990e1
movabsq $0x80f5119176d1ff9, %rcx # imm = 0x80F5119176D1FF9
cmpq %rcx, %rax
jne 0x9a017
testq %r15, %r15
je 0x994af
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x994af
movq 0x8(%rax), %rdi
jmp 0x994b1
movabsq $-0x3557c5e70b91a779, %rcx # imm = 0xCAA83A18F46E5887
cmpq %rcx, %rax
jle 0x98df6
movabsq $-0x18f43ce6facf19ad, %rcx # imm = 0xE70BC3190530E653
cmpq %rcx, %rax
jle 0x98eb5
movabsq $-0x18f43ce6facf19ac, %rcx # imm = 0xE70BC3190530E654
cmpq %rcx, %rax
je 0x990c2
movabsq $-0xe64339e40c20067, %rcx # imm = 0xF19BCC61BF3DFF99
cmpq %rcx, %rax
je 0x99006
movabsq $-0xa1cf8e6f31b5cd9, %rcx # imm = 0xF5E307190CE4A327
cmpq %rcx, %rax
jne 0x9a017
movq %r15, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x96c97
jmp 0x9a01b
movabsq $0x4328f78ab20e1f97, %rcx # imm = 0x4328F78AB20E1F97
cmpq %rcx, %rax
jle 0x98f5d
movabsq $0x4328f78ab20e1f98, %rcx # imm = 0x4328F78AB20E1F98
cmpq %rcx, %rax
je 0x99170
movabsq $0x6a7933d70f43faaf, %rcx # imm = 0x6A7933D70F43FAAF
cmpq %rcx, %rax
je 0x99100
movabsq $0x779b5f19564f3b35, %rcx # imm = 0x779B5F19564F3B35
cmpq %rcx, %rax
jne 0x9a017
testq %r15, %r15
je 0x994de
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x994de
movq 0x8(%rax), %rdi
jmp 0x994e0
movabsq $-0x57358b5d24648dc4, %rcx # imm = 0xA8CA74A2DB9B723C
cmpq %rcx, %rax
jg 0x98e5d
movabsq $-0x7d8e62e6a2f03d0b, %rcx # imm = 0x82719D195D0FC2F5
cmpq %rcx, %rax
je 0x98fb5
movabsq $-0x7852cb8bc90e7dee, %rcx # imm = 0x87AD347436F18212
cmpq %rcx, %rax
jne 0x9a017
movq %r15, %rdi
movq %r14, %rsi
callq 0x9a0f5
testb %al, %al
je 0x9a017
testq %r15, %r15
je 0x9984d
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x9984d
movq 0x8(%rax), %rdi
jmp 0x9984f
movabsq $-0x57358b5d24648dc3, %rcx # imm = 0xA8CA74A2DB9B723D
cmpq %rcx, %rax
je 0x98fd4
movabsq $-0x474675c9029fa41c, %rcx # imm = 0xB8B98A36FD605BE4
cmpq %rcx, %rax
jne 0x9a017
movq %r15, %rdi
movq %r14, %rsi
callq 0x9a0f5
testb %al, %al
je 0x9a017
testq %r15, %r15
je 0x99866
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x99866
movq 0x8(%rax), %rdi
jmp 0x99868
movabsq $-0x3557c5e70b91a778, %rcx # imm = 0xCAA83A18F46E5888
cmpq %rcx, %rax
je 0x99132
movabsq $-0x190868e6fae00d7a, %rcx # imm = 0xE6F79719051FF286
cmpq %rcx, %rax
jne 0x9a017
movq %r15, %rdi
callq 0x112fb6
testb %al, %al
je 0x9a017
movq %r14, %rdi
callq 0x112fb6
testb %al, %al
je 0x9a017
movq %r15, %rdi
callq 0x113a4b
testb %al, %al
je 0x99ee3
movq %r14, %rdi
callq 0x113a4b
jmp 0x99ee5
movabsq $0x4c3dbe7cbbb5fb, %rcx # imm = 0x4C3DBE7CBBB5FB
cmpq %rcx, %rax
je 0x99352
movabsq $0x7e66519174a3ce1, %rcx # imm = 0x7E66519174A3CE1
cmpq %rcx, %rax
jne 0x9a017
testq %r15, %r15
je 0x9950d
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x9950d
movq 0x8(%rax), %rdi
jmp 0x9950f
movabsq $0x8b05407b5565ca4, %rcx # imm = 0x8B05407B5565CA4
cmpq %rcx, %rax
je 0x99384
movabsq $0x1894146c8d27f1ee, %rcx # imm = 0x1894146C8D27F1EE
cmpq %rcx, %rax
jne 0x9a017
movq %r15, %rdi
movq %r14, %rsi
callq 0x9a0f5
testb %al, %al
je 0x9a017
testq %r15, %r15
je 0x99925
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x99925
movq 0x8(%rax), %rdi
jmp 0x99927
testq %r15, %r15
je 0x993c4
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x993c4
movq 0x8(%rax), %rdi
jmp 0x993c6
movq %r15, %rdi
movq %r14, %rsi
callq 0x9a0f5
testb %al, %al
je 0x9a017
testq %r15, %r15
je 0x99817
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x99817
movq 0x8(%rax), %rdi
jmp 0x99819
testq %r15, %r15
je 0x9a017
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x9a017
movabsq $-0x1948b20c22462ae4, %rbx # imm = 0xE6B74DF3DDB9D51C
cmpq %rbx, 0x8(%rax)
jne 0x9a017
leaq 0x10fd99(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
movq %r14, %rbp
leaq 0x40(%rsp), %r14
movq %r14, %rdi
callq 0xe0431
movq $0x4, 0x10(%r14)
movq (%r15), %rdi
callq 0x9a21a
movl $0x4, %esi
movq %r14, %rdi
movq %rbx, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %r14
addq $0x40, %r13
xorl %ebx, %ebx
movq %rax, %rdi
xorl %esi, %esi
xorl %edx, %edx
movq %r13, %rcx
movq %rbp, %r8
callq 0x9a2de
movq %r14, %rdi
callq 0xc8348
movq %rax, %r14
movq %r12, %rdi
callq 0x112baf
testq %r14, %r14
je 0x990ab
movq (%r14), %rdi
callq 0x1123e1
movq %rax, %rbx
movq %r14, (%r12)
movq %rbx, 0x8(%r12)
movq $0x3, 0x10(%r12)
jmp 0x99551
testq %r15, %r15
je 0x993f3
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x993f3
movq 0x8(%rax), %rdi
jmp 0x993f5
testq %r15, %r15
je 0x99422
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x99422
movq 0x8(%rax), %rdi
jmp 0x99424
movq %r15, %rdi
movq %r14, %rsi
callq 0x9a0f5
testb %al, %al
je 0x9a017
testq %r15, %r15
je 0x998b9
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x998b9
movq 0x8(%rax), %rdi
jmp 0x998bb
testq %r15, %r15
je 0x99451
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x99451
movq 0x8(%rax), %rdi
jmp 0x99453
testq %r15, %r15
je 0x99480
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x99480
movq 0x8(%rax), %rdi
jmp 0x99482
movq %r15, %rdi
callq 0x112fb6
testb %al, %al
je 0x9a017
testq %r14, %r14
je 0x991a2
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x991a2
movabsq $-0x19831b480b40fba0, %rcx # imm = 0xE67CE4B7F4BF0460
cmpq %rcx, 0x8(%rax)
je 0x9a017
movq %r12, 0x70(%rsp)
leaq 0x10fc22(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
leaq 0x40(%rsp), %rbx
movq %rbx, %rdi
callq 0xe0431
movq $0x4, 0x10(%rbx)
callq 0x94403
movabsq $-0x240ec4eb25c1f3e8, %rdx # imm = 0xDBF13B14DA3E0C18
movl $0x4, %esi
movq %rbx, %rdi
movq %rax, %rcx
callq 0xe0676
movq %rax, %r13
leaq 0x8(%rax), %rbx
movq %r15, %rdi
callq 0x113836
movq %rbx, %rdi
movq %rax, %rsi
callq 0xc4b01
cmpq $0x0, 0x18(%r13)
je 0x9953c
xorl %r15d, %r15d
xorl %r12d, %r12d
movq %r14, 0x38(%rsp)
movq %r13, 0x78(%rsp)
testq %r14, %r14
je 0x9922e
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x9922e
movq 0x8(%rax), %rcx
jmp 0x99230
xorl %ecx, %ecx
testq %r14, %r14
movq %rcx, 0x30(%rsp)
je 0x99249
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99249
movq 0x8(%rax), %rbx
jmp 0x9924b
xorl %ebx, %ebx
movq 0x10(%r13), %rbp
movq (%r14), %r13
leaq 0x11020f(%rip), %rdx    # 0x1a9468
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %rbx, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0x992b2
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0x992b2
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0x992b2
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0x9934a
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x992e2
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %rbx, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x110191(%rip), %rdi    # 0x1a9468
movq %rbx, %rsi
movq %rax, %rdx
callq 0x12128c
testq %r13, %r13
je 0x992f9
movq %r14, %rdi
movq %r13, %rsi
callq *0xc0(%r14)
movq %rax, %rbx
jmp 0x992fb
xorl %ebx, %ebx
movq 0x38(%rsp), %r14
movq 0x78(%rsp), %r13
leaq (%r15,%rbp), %rdi
callq 0x112baf
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x9931f
callq 0x1123e1
jmp 0x99321
xorl %eax, %eax
movq %rbx, (%rbp,%r15)
movq %rax, 0x8(%rbp,%r15)
movq $0x3, 0x10(%rbp,%r15)
incq %r12
addq $0x18, %r15
cmpq 0x18(%r13), %r12
jb 0x9921a
jmp 0x9953c
xorl %r14d, %r14d
jmp 0x992b6
movq %r15, %rdi
movq %r14, %rsi
callq 0x9a0f5
testb %al, %al
je 0x9a017
testq %r15, %r15
je 0x998ef
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x998ef
movq 0x8(%rax), %rdi
jmp 0x998f1
movq %r15, %rdi
callq 0x112fb6
testb %al, %al
je 0x9a017
movq %r14, %rdi
callq 0x112fb6
testb %al, %al
je 0x9a017
movq %r15, %rdi
callq 0x113a4b
movl %eax, %ecx
movb $0x1, %al
testb %cl, %cl
jne 0x993bc
movq %r14, %rdi
callq 0x113a4b
movzbl %al, %esi
jmp 0x99ee8
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
testq %r14, %r14
je 0x99560
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99560
movq 0x8(%rax), %rdi
jmp 0x99562
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x995ba
testq %r14, %r14
je 0x9958f
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x9958f
movq 0x8(%rax), %rdi
jmp 0x99591
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x9a017
testq %r14, %r14
je 0x99682
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99682
movq 0x8(%rax), %rdi
jmp 0x99684
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
testq %r14, %r14
je 0x996cc
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x996cc
movq 0x8(%rax), %rdi
jmp 0x996ce
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
testq %r14, %r14
je 0x99708
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99708
movq 0x8(%rax), %rdi
jmp 0x9970a
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
testq %r14, %r14
je 0x99737
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99737
movq 0x8(%rax), %rdi
jmp 0x99739
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
testq %r14, %r14
je 0x99766
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99766
movq 0x8(%rax), %rdi
jmp 0x99768
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x997cb
testq %r14, %r14
je 0x997a0
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x997a0
movq 0x8(%rax), %rdi
jmp 0x997a2
movq %r13, %rdi
callq 0xc8348
movq 0x70(%rsp), %rdi
movq %rax, %rsi
callq 0x8db81
leaq 0x40(%rsp), %rdi
callq 0xe0b30
jmp 0x9a01b
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
testq %r15, %r15
je 0x9995b
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x9995b
movq 0x8(%rax), %rdi
jmp 0x9995d
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x995ba
testq %r15, %r15
je 0x9998a
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x9998a
movq 0x8(%rax), %rdi
jmp 0x9998c
movabsq $-0x503db0e6e1c2e704, %rcx # imm = 0xAFC24F191E3D18FC
testq %r15, %r15
je 0x995d8
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x995d8
cmpq %rcx, 0x8(%rax)
je 0x995f8
testq %r14, %r14
je 0x9a017
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x9a017
cmpq %rcx, 0x8(%rax)
jne 0x9a017
movq %r14, 0x38(%rsp)
movq %r12, 0x70(%rsp)
leaq 0x10f7c7(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
leaq 0x40(%rsp), %rbp
movq %rbp, %rdi
movq %rcx, %r12
callq 0xe0431
movq $0x4, 0x10(%rbp)
xorl %ebx, %ebx
xorl %eax, %eax
callq 0x114bbb
movl $0x4, %esi
movq %rbp, %rdi
movq %r12, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %r14
xorl %eax, %eax
callq 0x114bbb
movl $0x4, %esi
movq %rbp, %rdi
movq %r12, %rbp
movq %r12, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %r12
testq %r15, %r15
je 0x9a034
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x9a032
movq 0x8(%rax), %rbx
jmp 0x9a034
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x9a017
movq %r14, %rdi
callq 0x113836
testq %rax, %rax
je 0x99e8c
movq %r15, %rdi
callq 0x113836
movq %rax, %rbx
movq %r14, %rdi
callq 0x113836
movq %rax, %rcx
movq %rbx, %rax
cqto
idivq %rcx
movq %r12, %rdi
movq %rdx, %rsi
jmp 0x99e61
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
movq %r14, %rdi
callq 0x1133ac
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x99eb2
jp 0x99eb2
addq $0x40, %r13
leaq 0xaa828(%rip), %rsi     # 0x143f2b
jmp 0x99e97
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
testq %r15, %r15
je 0x999b9
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x999b9
movq 0x8(%rax), %rdi
jmp 0x999bb
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
testq %r15, %r15
je 0x999e8
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x999e8
movq 0x8(%rax), %rdi
jmp 0x999ea
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x9a017
movq %r15, %rdi
callq 0x1133ac
movsd %xmm0, 0x30(%rsp)
movq %r14, %rdi
callq 0x1133ac
movapd %xmm0, %xmm1
movsd 0x30(%rsp), %xmm0
callq 0xd460
jmp 0x99e87
xorl %edi, %edi
callq 0x120be0
testq %rax, %rax
je 0x997cb
testq %r15, %r15
je 0x99a17
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x99a17
movq 0x8(%rax), %rdi
jmp 0x99a19
testq %r15, %r15
je 0x9a017
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x9a017
movabsq $-0x240ec4eb25c1f3e8, %rbx # imm = 0xDBF13B14DA3E0C18
cmpq %rbx, 0x8(%rax)
jne 0x9a017
testq %r14, %r14
je 0x99ef5
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99ef5
cmpq %rbx, 0x8(%rax)
sete %al
jmp 0x99ef7
xorl %edi, %edi
movq (%r15), %rax
testq %r14, %r14
je 0x99830
movq 0x8(%r14), %rcx
testq %rcx, %rcx
je 0x99830
movq 0x8(%rcx), %rbx
jmp 0x99832
xorl %ebx, %ebx
movq (%r14), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x99a46
callq 0x1123e1
jmp 0x99a48
xorl %edi, %edi
movq (%r15), %rax
testq %r14, %r14
je 0x9987f
movq 0x8(%r14), %rcx
testq %rcx, %rcx
je 0x9987f
movq 0x8(%rcx), %rbx
jmp 0x99881
xorl %edi, %edi
movq (%r15), %rax
testq %r14, %r14
je 0x9989c
movq 0x8(%r14), %rcx
testq %rcx, %rcx
je 0x9989c
movq 0x8(%rcx), %rbx
jmp 0x9989e
xorl %ebx, %ebx
movq (%r14), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x99abd
callq 0x1123e1
jmp 0x99abf
xorl %ebx, %ebx
movq (%r14), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x99ae4
callq 0x1123e1
jmp 0x99ae6
xorl %edi, %edi
movq (%r15), %rax
testq %r14, %r14
je 0x998d2
movq 0x8(%r14), %rcx
testq %rcx, %rcx
je 0x998d2
movq 0x8(%rcx), %rbx
jmp 0x998d4
xorl %ebx, %ebx
movq (%r14), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x99ba2
callq 0x1123e1
jmp 0x99ba4
xorl %edi, %edi
movq (%r15), %rax
testq %r14, %r14
je 0x99908
movq 0x8(%r14), %rcx
testq %rcx, %rcx
je 0x99908
movq 0x8(%rcx), %rbx
jmp 0x9990a
xorl %ebx, %ebx
movq (%r14), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x99c19
callq 0x1123e1
jmp 0x99c1b
xorl %edi, %edi
movq (%r15), %rax
testq %r14, %r14
je 0x9993e
movq 0x8(%r14), %rcx
testq %rcx, %rcx
je 0x9993e
movq 0x8(%rcx), %rbx
jmp 0x99940
xorl %ebx, %ebx
movq (%r14), %r14
movq %rax, 0x40(%rsp)
testq %rdi, %rdi
je 0x99c90
callq 0x1123e1
jmp 0x99c92
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99d2e
testq %r14, %r14
je 0x99d07
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99d07
movq 0x8(%rax), %rdi
jmp 0x99d09
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99d7a
testq %r14, %r14
je 0x99d53
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99d53
movq 0x8(%rax), %rdi
jmp 0x99d55
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99dc6
testq %r14, %r14
je 0x99d9b
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99d9b
movq 0x8(%rax), %rdi
jmp 0x99d9d
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99e13
testq %r14, %r14
je 0x99deb
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99deb
movq 0x8(%rax), %rdi
jmp 0x99ded
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99e6b
testq %r14, %r14
je 0x99e38
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x99e38
movq 0x8(%rax), %rdi
jmp 0x99e3a
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x80(%rsp)
testq %rbx, %rbx
je 0x99a6d
movq %rbx, %rdi
callq 0x1123e1
jmp 0x99a6f
xorl %eax, %eax
movq %rax, 0x88(%rsp)
movl $0x1, %eax
movq %rax, 0x90(%rsp)
movq %rax, 0x28(%rsp)
movups 0x80(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xfe636
xorl %esi, %esi
testl %eax, %eax
setle %sil
jmp 0x99ee8
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x80(%rsp)
testq %rbx, %rbx
je 0x99b0b
movq %rbx, %rdi
callq 0x1123e1
jmp 0x99b0d
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x80(%rsp)
testq %rbx, %rbx
je 0x99b50
movq %rbx, %rdi
callq 0x1123e1
jmp 0x99b52
xorl %eax, %eax
movq %rax, 0x88(%rsp)
movl $0x1, %eax
movq %rax, 0x90(%rsp)
movq %rax, 0x28(%rsp)
movups 0x80(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xfe636
jmp 0x99b95
xorl %eax, %eax
movq %rax, 0x88(%rsp)
movl $0x1, %eax
movq %rax, 0x90(%rsp)
movq %rax, 0x28(%rsp)
movups 0x80(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xfe636
notl %eax
shrl $0x1f, %eax
movq %r12, %rdi
movl %eax, %esi
jmp 0x99eeb
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x80(%rsp)
testq %rbx, %rbx
je 0x99bc9
movq %rbx, %rdi
callq 0x1123e1
jmp 0x99bcb
xorl %eax, %eax
movq %rax, 0x88(%rsp)
movl $0x1, %eax
movq %rax, 0x90(%rsp)
movq %rax, 0x28(%rsp)
movups 0x80(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xfe636
xorl %esi, %esi
testl %eax, %eax
sete %sil
jmp 0x99ee8
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x80(%rsp)
testq %rbx, %rbx
je 0x99c40
movq %rbx, %rdi
callq 0x1123e1
jmp 0x99c42
xorl %eax, %eax
movq %rax, 0x88(%rsp)
movl $0x1, %eax
movq %rax, 0x90(%rsp)
movq %rax, 0x28(%rsp)
movups 0x80(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xfe636
xorl %esi, %esi
testl %eax, %eax
setg %sil
jmp 0x99ee8
xorl %eax, %eax
movq %rax, 0x48(%rsp)
movq $0x1, 0x50(%rsp)
movq %r14, 0x80(%rsp)
testq %rbx, %rbx
je 0x99cb7
movq %rbx, %rdi
callq 0x1123e1
jmp 0x99cb9
xorl %eax, %eax
movq %rax, 0x88(%rsp)
movl $0x1, %eax
movq %rax, 0x90(%rsp)
movq %rax, 0x28(%rsp)
movups 0x80(%rsp), %xmm0
movups %xmm0, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x40(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0xfe636
xorl %esi, %esi
testl %eax, %eax
setne %sil
jmp 0x99ee8
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99d2e
movq %r15, %rdi
callq 0x113836
movq %rax, %rbx
movq %r14, %rdi
callq 0x113836
subq %rax, %rbx
jmp 0x99e5b
movq %r15, %rdi
callq 0x1133ac
movsd %xmm0, 0x30(%rsp)
movq %r14, %rdi
callq 0x1133ac
movsd 0x30(%rsp), %xmm1
subsd %xmm0, %xmm1
jmp 0x99ed2
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99d7a
movq %r15, %rdi
callq 0x113836
movq %rax, %rbx
movq %r14, %rdi
callq 0x113836
addq %rax, %rbx
jmp 0x99e5b
movq %r15, %rdi
callq 0x1133ac
movsd %xmm0, 0x30(%rsp)
movq %r14, %rdi
callq 0x1133ac
addsd 0x30(%rsp), %xmm0
jmp 0x99e87
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99dc6
movq %r15, %rdi
callq 0x113836
movq %rax, %rbx
movq %r14, %rdi
callq 0x113836
cmpq %rax, %rbx
cmovgeq %rax, %rbx
jmp 0x99e5b
movq %r15, %rdi
callq 0x1133ac
movsd %xmm0, 0x30(%rsp)
movq %r14, %rdi
callq 0x1133ac
movsd 0x30(%rsp), %xmm1
minsd %xmm0, %xmm1
jmp 0x99ed2
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99e13
movq %r15, %rdi
callq 0x113836
movq %rax, %rbx
movq %r14, %rdi
callq 0x113836
cmpq %rax, %rbx
cmovleq %rax, %rbx
jmp 0x99e5b
movq %r15, %rdi
callq 0x1133ac
movsd %xmm0, 0x30(%rsp)
movq %r14, %rdi
callq 0x1133ac
movsd 0x30(%rsp), %xmm1
maxsd %xmm0, %xmm1
jmp 0x99ed2
xorl %edi, %edi
callq 0x120d74
testq %rax, %rax
je 0x99e6b
movq %r15, %rdi
callq 0x113836
movq %rax, %rbx
movq %r14, %rdi
callq 0x113836
imulq %rax, %rbx
movq %r12, %rdi
movq %rbx, %rsi
callq 0x1132bf
jmp 0x9a01b
movq %r15, %rdi
callq 0x1133ac
movsd %xmm0, 0x30(%rsp)
movq %r14, %rdi
callq 0x1133ac
mulsd 0x30(%rsp), %xmm0
movq %r12, %rdi
jmp 0x99ed9
addq $0x40, %r13
leaq 0xaa0a7(%rip), %rsi     # 0x143f3e
movq %r13, %rdi
xorl %eax, %eax
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x95f0b
movq %r15, %rdi
callq 0x1133ac
movsd %xmm0, 0x30(%rsp)
movq %r14, %rdi
callq 0x1133ac
movsd 0x30(%rsp), %xmm1
divsd %xmm0, %xmm1
movq %r12, %rdi
movapd %xmm1, %xmm0
callq 0x113220
jmp 0x9a01b
xorl %eax, %eax
movzbl %al, %esi
movq %r12, %rdi
callq 0x11318a
jmp 0x9a01b
xorl %eax, %eax
testb %al, %al
je 0x9a017
movl %eax, 0xb4(%rsp)
movq %rbp, 0x78(%rsp)
movq %r12, 0x70(%rsp)
movq (%r15), %r12
leaq 0x10eeb6(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
movq %r14, %r15
leaq 0x40(%rsp), %r14
movq %r14, %rdi
callq 0xe0431
movq $0x6, 0x10(%r14)
movq (%r15), %r13
callq 0x94403
movl $0x6, %esi
movq %r14, %rdi
movq %rbx, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %r14
movq 0x18(%r13), %rsi
imulq 0x18(%r12), %rsi
leaq 0x8(%rax), %rdi
callq 0xc4b01
movq %r12, 0x38(%rsp)
cmpq $0x0, 0x18(%r12)
jle 0x99fe9
xorl %ebp, %ebp
movq $0x0, 0x30(%rsp)
movq 0x18(%r13), %rdx
testq %rdx, %rdx
jle 0x99fcd
movq 0x30(%rsp), %rax
leaq (%rax,%rax,2), %rbx
shlq $0x3, %rbx
movq 0x38(%rsp), %rax
addq 0x10(%rax), %rbx
xorl %r12d, %r12d
xorl %r15d, %r15d
movq 0x10(%r13), %rsi
addq %r12, %rsi
imulq %rbp, %rdx
addq 0x10(%r14), %rdx
addq %r12, %rdx
movq %rbx, %rdi
callq 0x96c97
incq %r15
movq 0x18(%r13), %rdx
addq $0x18, %r12
cmpq %rdx, %r15
jl 0x99fa3
movq 0x30(%rsp), %rdx
incq %rdx
addq $0x18, %rbp
movq 0x38(%rsp), %rax
movq %rdx, 0x30(%rsp)
cmpq 0x18(%rax), %rdx
jl 0x99f7e
movq %r14, %rdi
callq 0xc8348
movq 0x70(%rsp), %rdi
movq %rax, %rsi
callq 0x8db81
leaq 0x40(%rsp), %rdi
callq 0xe0b30
cmpb $0x0, 0xb4(%rsp)
movq 0x78(%rsp), %rbp
jne 0x9a01b
movb $0x0, (%rbp)
xorl %ebx, %ebx
movq %rbx, %rax
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %ebx, %ebx
movq (%r15), %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x1147c5
testq %rax, %rax
jne 0x9a077
movq 0x38(%rsp), %rax
testq %rax, %rax
je 0x9a060
movq 0x8(%rax), %rax
testq %rax, %rax
je 0x9a060
movq 0x8(%rax), %rsi
jmp 0x9a062
xorl %esi, %esi
movq 0x38(%rsp), %rax
movq (%rax), %rdx
movq %r12, %rdi
callq 0x1147c5
testq %rax, %rax
je 0x9a0e2
leaq 0x80(%rsp), %r14
leaq 0x40(%rsp), %rsi
movq %r14, %rdi
callq 0xe0431
movq $0x5, 0x10(%r14)
addq $0x40, %r13
xorl %eax, %eax
callq 0x114bbb
movl $0x5, %esi
movq %r14, %rdi
movq %rbp, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %rbx
movq %rax, %rdi
callq 0xc8b80
movq 0x8(%rbx), %rdx
leaq 0xa9e90(%rip), %rsi     # 0x143f58
movq %r13, %rdi
xorl %eax, %eax
callq 0x95f0b
movq %rax, %rbx
movq %r14, %rdi
callq 0xe0b30
jmp 0x9a01d
movq %r14, %rdi
movq %r12, %rsi
callq 0x1154c9
movq %r14, %rdi
jmp 0x9953f