def op_4Ll0W7qmeK(a):
    return op_5mOiYMN9gN(op_SIgE0bArFf(op_OrCGT1jGGR(78,a)),op_6CTfL9kIPY(op_InYySgip2F(a,a),a))

def op_count_4Ll0W7qmeK(a):
    count = op_count_OrCGT1jGGR(78,a)+op_count_SIgE0bArFf(op_OrCGT1jGGR(78,a))+op_count_InYySgip2F(a,a)+op_count_6CTfL9kIPY(op_InYySgip2F(a,a),a)+op_count_5mOiYMN9gN(op_SIgE0bArFf(op_OrCGT1jGGR(78,a)),op_6CTfL9kIPY(op_InYySgip2F(a,a),a))
    return count


def op_CNWxb8aLZ6(a):
    return op_AVIuaxj4s4(op_KQPIbLmy7B(a,a))

def op_count_CNWxb8aLZ6(a):
    count = op_count_KQPIbLmy7B(a,a)+op_count_AVIuaxj4s4(op_KQPIbLmy7B(a,a))
    return count


def op_HOItD7clwk(a, b):
    return op_vtudXryacx(op_mqXw5SEYmG(a,b),op_cRahaglYVE(b))

def op_count_HOItD7clwk(a, b):
    count = op_count_mqXw5SEYmG(a,b)+op_count_cRahaglYVE(b)+op_count_vtudXryacx(op_mqXw5SEYmG(a,b),op_cRahaglYVE(b))
    return count


def op_CBnJ9lhpOp(a, b):
    return op_4fBBH5YYk9(op_VzPwlY6vDh(b,b),op_GMyVS5K48T(a,11))

def op_count_CBnJ9lhpOp(a, b):
    count = op_count_VzPwlY6vDh(b,b)+op_count_GMyVS5K48T(a,11)+op_count_4fBBH5YYk9(op_VzPwlY6vDh(b,b),op_GMyVS5K48T(a,11))
    return count


def op_N08cgbcyR6(a):
    return op_FJ3oXK3UQ0(op_2HYkBhA3K5(a,182),op_PmZQOlcY5C(a,a))

def op_count_N08cgbcyR6(a):
    count = op_count_2HYkBhA3K5(a,182)+op_count_PmZQOlcY5C(a,a)+op_count_FJ3oXK3UQ0(op_2HYkBhA3K5(a,182),op_PmZQOlcY5C(a,a))
    return count


def op_40FgM6c3mr(a):
    return op_I7sXao9hZE(a,a)

def op_count_40FgM6c3mr(a):
    count = op_count_I7sXao9hZE(a,a)
    return count


def op_0B6rXs9arf(a, b):
    return op_VX9aY244yz(op_EYCq4kZIGp(a,70),op_SxTAKzQCrw(b,281))

def op_count_0B6rXs9arf(a, b):
    count = op_count_EYCq4kZIGp(a,70)+op_count_SxTAKzQCrw(b,281)+op_count_VX9aY244yz(op_EYCq4kZIGp(a,70),op_SxTAKzQCrw(b,281))
    return count


a⋑≶⊧b = { ((≸≮(≃⋐⪬b))⨠∀⫧((b⫠⨡⊣a)⩸⋪(b⋘⇝⩳a))) }

def op_6ojlEB7Xxa(a, b):
    return op_griT9ijWOv(op_AljMvE3RRm(op_gae4JlXwSi(b)),op_avxXIHzjv1(op_ezv41XLVK4(b,a),op_E1o5MFdtNP(b,a)))

def op_count_6ojlEB7Xxa(a, b):
    count = op_count_gae4JlXwSi(b)+op_count_AljMvE3RRm(op_gae4JlXwSi(b))+op_count_ezv41XLVK4(b,a)+op_count_E1o5MFdtNP(b,a)+op_count_avxXIHzjv1(op_ezv41XLVK4(b,a),op_E1o5MFdtNP(b,a))+op_count_griT9ijWOv(op_AljMvE3RRm(op_gae4JlXwSi(b)),op_avxXIHzjv1(op_ezv41XLVK4(b,a),op_E1o5MFdtNP(b,a)))
    return count


def op_yUViG6dvHX(a):
    return op_xRrnTEsQ6j(op_F9Zfm1dsok(op_Q6Sj1WS8if(471,a),op_VionArRWsA(a,a)),op_bnaEnLVdkS(op_ScueqDwPO5(283,a),op_XFunts32PM(a,129)))

def op_count_yUViG6dvHX(a):
    count = op_count_Q6Sj1WS8if(471,a)+op_count_VionArRWsA(a,a)+op_count_F9Zfm1dsok(op_Q6Sj1WS8if(471,a),op_VionArRWsA(a,a))+op_count_ScueqDwPO5(283,a)+op_count_XFunts32PM(a,129)+op_count_bnaEnLVdkS(op_ScueqDwPO5(283,a),op_XFunts32PM(a,129))+op_count_xRrnTEsQ6j(op_F9Zfm1dsok(op_Q6Sj1WS8if(471,a),op_VionArRWsA(a,a)),op_bnaEnLVdkS(op_ScueqDwPO5(283,a),op_XFunts32PM(a,129)))
    return count


def op_phebilH2J7(a):
    return op_UvedHhwKRj(op_FU0Cs4j7VP(a),op_wPLLFAbfZL(34,209))

def op_count_phebilH2J7(a):
    count = op_count_FU0Cs4j7VP(a)+op_count_wPLLFAbfZL(34,209)+op_count_UvedHhwKRj(op_FU0Cs4j7VP(a),op_wPLLFAbfZL(34,209))
    return count


def op_MolRT8mHD9(a, b):
    return op_G9tJMlZ94a(op_R853JquVHs(b,a))

def op_count_MolRT8mHD9(a, b):
    count = op_count_R853JquVHs(b,a)+op_count_G9tJMlZ94a(op_R853JquVHs(b,a))
    return count


def op_CQlZ6bE0e2(a, b):
    return op_DD02tHBmow(op_xD69zh8xqp(a,a),op_gImejOImwh(b))

def op_count_CQlZ6bE0e2(a, b):
    count = op_count_xD69zh8xqp(a,a)+op_count_gImejOImwh(b)+op_count_DD02tHBmow(op_xD69zh8xqp(a,a),op_gImejOImwh(b))
    return count


def op_DlQhWMLsNa(a, b):
    return op_uTXOZ2BrWI(op_AzXXKTstlj(b,443),op_gImejOImwh(a))

def op_count_DlQhWMLsNa(a, b):
    count = op_count_AzXXKTstlj(b,443)+op_count_gImejOImwh(a)+op_count_uTXOZ2BrWI(op_AzXXKTstlj(b,443),op_gImejOImwh(a))
    return count


def op_549Ao9HXjy(a):
    return op_Noe24qw2ks(op_pTm79z5fiV(op_ddRwwn6plX(141)),op_oDCm7WA9JY(op_EVtoYVdMBM(a,248),op_8UWfUf6RpI(a)))

def op_count_549Ao9HXjy(a):
    count = op_count_ddRwwn6plX(141)+op_count_pTm79z5fiV(op_ddRwwn6plX(141))+op_count_EVtoYVdMBM(a,248)+op_count_8UWfUf6RpI(a)+op_count_oDCm7WA9JY(op_EVtoYVdMBM(a,248),op_8UWfUf6RpI(a))+op_count_Noe24qw2ks(op_pTm79z5fiV(op_ddRwwn6plX(141)),op_oDCm7WA9JY(op_EVtoYVdMBM(a,248),op_8UWfUf6RpI(a)))
    return count


def op_3CLqHJqhH3(a):
    return op_6LdHjL8Q3j(op_dOQKZuJSrO(op_I7sXao9hZE(55,a)),op_YtFLMpyAae(a,op_PplDJ2TuQZ(a)))

def op_count_3CLqHJqhH3(a):
    count = op_count_I7sXao9hZE(55,a)+op_count_dOQKZuJSrO(op_I7sXao9hZE(55,a))+op_count_PplDJ2TuQZ(a)+op_count_YtFLMpyAae(a,op_PplDJ2TuQZ(a))+op_count_6LdHjL8Q3j(op_dOQKZuJSrO(op_I7sXao9hZE(55,a)),op_YtFLMpyAae(a,op_PplDJ2TuQZ(a)))
    return count


def op_A9INIrR8ft(a):
    return op_ejsynaZir6(op_qcD85OyBjC(a),op_2Bhe5MV7ya(69,86))

def op_count_A9INIrR8ft(a):
    count = op_count_qcD85OyBjC(a)+op_count_2Bhe5MV7ya(69,86)+op_count_ejsynaZir6(op_qcD85OyBjC(a),op_2Bhe5MV7ya(69,86))
    return count


def op_cGDxHP7JUJ(a):
    return op_o8Pngz0Tml(op_q1J6mXxel7(a,a))

def op_count_cGDxHP7JUJ(a):
    count = op_count_q1J6mXxel7(a,a)+op_count_o8Pngz0Tml(op_q1J6mXxel7(a,a))
    return count


def op_ihk1DBtNxb(a):
    return op_24nwyATvD7(op_0B27zlnmPH(34,a),a)

def op_count_ihk1DBtNxb(a):
    count = op_count_0B27zlnmPH(34,a)+op_count_24nwyATvD7(op_0B27zlnmPH(34,a),a)
    return count


def op_LenHm9WsXc(a):
    return op_zPaW4OAyCC(op_uHAujLx7jl(a),op_lQLLKWeCgT(313))

def op_count_LenHm9WsXc(a):
    count = op_count_uHAujLx7jl(a)+op_count_lQLLKWeCgT(313)+op_count_zPaW4OAyCC(op_uHAujLx7jl(a),op_lQLLKWeCgT(313))
    return count


def op_8H9XrCch6l(a):
    return op_JAsMQSYFYM(op_YtFLMpyAae(a,18))

def op_count_8H9XrCch6l(a):
    count = op_count_YtFLMpyAae(a,18)+op_count_JAsMQSYFYM(op_YtFLMpyAae(a,18))
    return count


def op_IMpK1tyGtW(a):
    return op_UBVjgJrFBH(op_UuoVKWBu8y(a,a))

def op_count_IMpK1tyGtW(a):
    count = op_count_UuoVKWBu8y(a,a)+op_count_UBVjgJrFBH(op_UuoVKWBu8y(a,a))
    return count


def op_IWTIswZNai(a):
    return op_UCZYOMlgcp(op_FivK695Inb(369,a),op_sMYUOxfc2s(a))

def op_count_IWTIswZNai(a):
    count = op_count_FivK695Inb(369,a)+op_count_sMYUOxfc2s(a)+op_count_UCZYOMlgcp(op_FivK695Inb(369,a),op_sMYUOxfc2s(a))
    return count


def op_NwCTAjmBRm(a, b):
    return op_miu0bRYLYP(op_tIhPxZTbsh(op_9y2gCtWatQ(a,125),op_MscnI5MLJ2(b,a)),op_QunAGeO7fw(op_oWn0xqSxBt(b),op_PKukPltB9T(a,437)))

def op_count_NwCTAjmBRm(a, b):
    count = op_count_9y2gCtWatQ(a,125)+op_count_MscnI5MLJ2(b,a)+op_count_tIhPxZTbsh(op_9y2gCtWatQ(a,125),op_MscnI5MLJ2(b,a))+op_count_oWn0xqSxBt(b)+op_count_PKukPltB9T(a,437)+op_count_QunAGeO7fw(op_oWn0xqSxBt(b),op_PKukPltB9T(a,437))+op_count_miu0bRYLYP(op_tIhPxZTbsh(op_9y2gCtWatQ(a,125),op_MscnI5MLJ2(b,a)),op_QunAGeO7fw(op_oWn0xqSxBt(b),op_PKukPltB9T(a,437)))
    return count


def op_thlsZbFk5h(a):
    return op_T2fj7uvVaJ(a,a)

def op_count_thlsZbFk5h(a):
    count = op_count_T2fj7uvVaJ(a,a)
    return count


def op_hkV6yujCyK(a):
    return op_XqY0JVqrjQ(op_nOKPl9n5zu(a),op_dcf6jBEETk(a,a))

def op_count_hkV6yujCyK(a):
    count = op_count_nOKPl9n5zu(a)+op_count_dcf6jBEETk(a,a)+op_count_XqY0JVqrjQ(op_nOKPl9n5zu(a),op_dcf6jBEETk(a,a))
    return count


def op_Zv1svuggWB(a, b):
    return op_iEYVdzZsUa(op_ZM0i4Nc6IM(op_kLz9fXvToG(b,b)),op_sm8iIlF2Az(op_cTD4NrwkZ5(a)))

def op_count_Zv1svuggWB(a, b):
    count = op_count_kLz9fXvToG(b,b)+op_count_ZM0i4Nc6IM(op_kLz9fXvToG(b,b))+op_count_cTD4NrwkZ5(a)+op_count_sm8iIlF2Az(op_cTD4NrwkZ5(a))+op_count_iEYVdzZsUa(op_ZM0i4Nc6IM(op_kLz9fXvToG(b,b)),op_sm8iIlF2Az(op_cTD4NrwkZ5(a)))
    return count


∈⋕⫣a = { (((11⩒≳a)⪯⋃⪨(3⨗⩉a))∇⪺⋎((a⪗)∩a)) }

def op_fxpZkqvMd8(a):
    return op_9evlFqtL7b(op_PCKcP6eyxz(op_B8FmB0RXNF(11,a),op_yPuSsD7hfv(3,a)),op_F9Zfm1dsok(op_VEQNXA0ZBg(a),a))

def op_count_fxpZkqvMd8(a):
    count = op_count_B8FmB0RXNF(11,a)+op_count_yPuSsD7hfv(3,a)+op_count_PCKcP6eyxz(op_B8FmB0RXNF(11,a),op_yPuSsD7hfv(3,a))+op_count_VEQNXA0ZBg(a)+op_count_F9Zfm1dsok(op_VEQNXA0ZBg(a),a)+op_count_9evlFqtL7b(op_PCKcP6eyxz(op_B8FmB0RXNF(11,a),op_yPuSsD7hfv(3,a)),op_F9Zfm1dsok(op_VEQNXA0ZBg(a),a))
    return count


def op_nBjPDYfdet(a):
    return op_kLz9fXvToG(233,a)

def op_count_nBjPDYfdet(a):
    count = op_count_kLz9fXvToG(233,a)
    return count


def op_rBix6azao7(a, b):
    return op_FPxP5Y1j0W(op_MajuE94pkX(b),op_PMnSbSZIXz(op_ancsfN6GXi(b),op_m9KnjnodY9(a)))

def op_count_rBix6azao7(a, b):
    count = op_count_MajuE94pkX(b)+op_count_ancsfN6GXi(b)+op_count_m9KnjnodY9(a)+op_count_PMnSbSZIXz(op_ancsfN6GXi(b),op_m9KnjnodY9(a))+op_count_FPxP5Y1j0W(op_MajuE94pkX(b),op_PMnSbSZIXz(op_ancsfN6GXi(b),op_m9KnjnodY9(a)))
    return count


def op_mXAueq2O9a(a):
    return op_QIASkFMxnv(op_uIQPaHHdVQ(a,a),op_ancsfN6GXi(a))

def op_count_mXAueq2O9a(a):
    count = op_count_uIQPaHHdVQ(a,a)+op_count_ancsfN6GXi(a)+op_count_QIASkFMxnv(op_uIQPaHHdVQ(a,a),op_ancsfN6GXi(a))
    return count


def op_SlFKcT3k4s(a):
    return op_AzXXKTstlj(a,a)

def op_count_SlFKcT3k4s(a):
    count = op_count_AzXXKTstlj(a,a)
    return count


def op_AGkrHOTkuD(a):
    return op_Wz77QOMFmQ(a,op_2MgFsFVNLE(a))

def op_count_AGkrHOTkuD(a):
    count = op_count_2MgFsFVNLE(a)+op_count_Wz77QOMFmQ(a,op_2MgFsFVNLE(a))
    return count


def op_82WqTyS2jg(a):
    return op_zTd4o4K50M(op_JuuLT1NoCs(a))

def op_count_82WqTyS2jg(a):
    count = op_count_JuuLT1NoCs(a)+op_count_zTd4o4K50M(op_JuuLT1NoCs(a))
    return count


def op_V5tN3h4bgr(a):
    return op_AOY1O378J6(op_tQq6REDPEr(op_J0w9Gs8s4Y(a,a)),op_wKVdG4GJt7(op_9arBjGBxSA(49)))

def op_count_V5tN3h4bgr(a):
    count = op_count_J0w9Gs8s4Y(a,a)+op_count_tQq6REDPEr(op_J0w9Gs8s4Y(a,a))+op_count_9arBjGBxSA(49)+op_count_wKVdG4GJt7(op_9arBjGBxSA(49))+op_count_AOY1O378J6(op_tQq6REDPEr(op_J0w9Gs8s4Y(a,a)),op_wKVdG4GJt7(op_9arBjGBxSA(49)))
    return count


def op_gymZSq4thO(a, b):
    return op_C4PqR2W9Pw(op_FU0Cs4j7VP(b),op_0jCm5pNiJO(a,a))

def op_count_gymZSq4thO(a, b):
    count = op_count_FU0Cs4j7VP(b)+op_count_0jCm5pNiJO(a,a)+op_count_C4PqR2W9Pw(op_FU0Cs4j7VP(b),op_0jCm5pNiJO(a,a))
    return count


def op_hYVXwYK5wO(a):
    return op_Cw4SuJJGHO(op_Is2W053hpV(a,a),op_Wybb8daXue(51))

def op_count_hYVXwYK5wO(a):
    count = op_count_Is2W053hpV(a,a)+op_count_Wybb8daXue(51)+op_count_Cw4SuJJGHO(op_Is2W053hpV(a,a),op_Wybb8daXue(51))
    return count


∝⫦⋝a = { (((a↽↬a)⫽⪃(a↩⋒a))⩀⫑((127⩾⊒a)≣⇻⫥(a⩫∠a))) }

def op_xZ7YB30Ims(a):
    return op_n9EnWVX4dz(op_FJ3oXK3UQ0(op_7QYZIzcNPK(a,a),op_F4YWqIofbM(a,a)),op_mFxXOjnZkL(op_2rNkuxh6vz(127,a),op_61SMRth1bf(a,a)))

def op_count_xZ7YB30Ims(a):
    count = op_count_7QYZIzcNPK(a,a)+op_count_F4YWqIofbM(a,a)+op_count_FJ3oXK3UQ0(op_7QYZIzcNPK(a,a),op_F4YWqIofbM(a,a))+op_count_2rNkuxh6vz(127,a)+op_count_61SMRth1bf(a,a)+op_count_mFxXOjnZkL(op_2rNkuxh6vz(127,a),op_61SMRth1bf(a,a))+op_count_n9EnWVX4dz(op_FJ3oXK3UQ0(op_7QYZIzcNPK(a,a),op_F4YWqIofbM(a,a)),op_mFxXOjnZkL(op_2rNkuxh6vz(127,a),op_61SMRth1bf(a,a)))
    return count


def op_gdRLt8tqvc(a):
    return op_Qctrpi3WzA(op_tYn1ngw0gr(a,a))

def op_count_gdRLt8tqvc(a):
    count = op_count_tYn1ngw0gr(a,a)+op_count_Qctrpi3WzA(op_tYn1ngw0gr(a,a))
    return count


def op_MRcMJ41eEz(a, b):
    return op_Ag0vDIXuSH(op_lgf6B8eM2m(b,b),op_6SnOT2rOjz(a))

def op_count_MRcMJ41eEz(a, b):
    count = op_count_lgf6B8eM2m(b,b)+op_count_6SnOT2rOjz(a)+op_count_Ag0vDIXuSH(op_lgf6B8eM2m(b,b),op_6SnOT2rOjz(a))
    return count


def op_tXY9I5fHhi(a):
    return op_leeyKC4ZFN(a,a)

def op_count_tXY9I5fHhi(a):
    count = op_count_leeyKC4ZFN(a,a)
    return count


def op_6bxIVO3Qzz(a):
    return op_wgEGFGjsm3(op_5KTvxBwnZo(a,a),op_RTaRm1inG1(a,242))

def op_count_6bxIVO3Qzz(a):
    count = op_count_5KTvxBwnZo(a,a)+op_count_RTaRm1inG1(a,242)+op_count_wgEGFGjsm3(op_5KTvxBwnZo(a,a),op_RTaRm1inG1(a,242))
    return count


def op_lQTQh1x7dB(a, b):
    return op_I3ZanAtbUM(381,op_zUUN1G0anQ(a,op_O9U3z1385E(b)))

def op_count_lQTQh1x7dB(a, b):
    count = op_count_O9U3z1385E(b)+op_count_zUUN1G0anQ(a,op_O9U3z1385E(b))+op_count_I3ZanAtbUM(381,op_zUUN1G0anQ(a,op_O9U3z1385E(b)))
    return count


def op_jF1lsRAPwk(a):
    return op_VCtxkLNOzz(a,627)

def op_count_jF1lsRAPwk(a):
    count = op_count_VCtxkLNOzz(a,627)
    return count


def op_AS4GjyVyJT(a, b):
    return op_iQh8Bf344U(b,op_o20kRiQErp(a))

def op_count_AS4GjyVyJT(a, b):
    count = op_count_o20kRiQErp(a)+op_count_iQh8Bf344U(b,op_o20kRiQErp(a))
    return count


def op_SQzYt9gIGF(a, b):
    return op_tHss8q0tGc(op_SIQ4SDIJVm(b,a))

def op_count_SQzYt9gIGF(a, b):
    count = op_count_SIQ4SDIJVm(b,a)+op_count_tHss8q0tGc(op_SIQ4SDIJVm(b,a))
    return count


a⩝⊥⩲b = { (((b↓⨍⋜)⊸⨥≭(a↪b))⇏((a√a)⩖⪥a)) }

def op_FZMmiP4vxN(a, b):
    return op_PgomNjGXmI(op_Y51oDxb2WH(op_3DVzLFNsE9(b),op_EiZwwOZ4nb(a,b)),op_alVqtQAvjY(op_HX99UMoF54(a,a),a))

def op_count_FZMmiP4vxN(a, b):
    count = op_count_3DVzLFNsE9(b)+op_count_EiZwwOZ4nb(a,b)+op_count_Y51oDxb2WH(op_3DVzLFNsE9(b),op_EiZwwOZ4nb(a,b))+op_count_HX99UMoF54(a,a)+op_count_alVqtQAvjY(op_HX99UMoF54(a,a),a)+op_count_PgomNjGXmI(op_Y51oDxb2WH(op_3DVzLFNsE9(b),op_EiZwwOZ4nb(a,b)),op_alVqtQAvjY(op_HX99UMoF54(a,a),a))
    return count


a⨶∐⨑b = { (((⩑⩢∞b)⊟⊧(⪼↩a))⫽⪃((b⋛⇤b)⨍⇓(a↛∿b))) }

def op_m9OFtK78MA(a, b):
    return op_FJ3oXK3UQ0(op_GN3qbhwjUb(op_fkKnxDq6es(b),op_FUK0wQm8QP(a)),op_J6P3rkRUj0(op_rG3WRp3Ucw(b,b),op_zHhAB1R5m6(a,b)))

def op_count_m9OFtK78MA(a, b):
    count = op_count_fkKnxDq6es(b)+op_count_FUK0wQm8QP(a)+op_count_GN3qbhwjUb(op_fkKnxDq6es(b),op_FUK0wQm8QP(a))+op_count_rG3WRp3Ucw(b,b)+op_count_zHhAB1R5m6(a,b)+op_count_J6P3rkRUj0(op_rG3WRp3Ucw(b,b),op_zHhAB1R5m6(a,b))+op_count_FJ3oXK3UQ0(op_GN3qbhwjUb(op_fkKnxDq6es(b),op_FUK0wQm8QP(a)),op_J6P3rkRUj0(op_rG3WRp3Ucw(b,b),op_zHhAB1R5m6(a,b)))
    return count


a⩭↟b = { (((b⊼a)⋐≟⩺(b⇧⇶b))⊒⊉⇡((a⩑b)⋤≔⊹(↰⫏150))) }

def op_Sjuc9qqcuM(a, b):
    return op_cu7YvshKwT(op_PjbVkMzmXE(op_Qglmzouulk(b,a),op_bI8wFiTsE3(b,b)),op_Vc5rgziU3z(op_jbrVa8FwMb(a,b),op_UeUK5QjOtW(150)))

def op_count_Sjuc9qqcuM(a, b):
    count = op_count_Qglmzouulk(b,a)+op_count_bI8wFiTsE3(b,b)+op_count_PjbVkMzmXE(op_Qglmzouulk(b,a),op_bI8wFiTsE3(b,b))+op_count_jbrVa8FwMb(a,b)+op_count_UeUK5QjOtW(150)+op_count_Vc5rgziU3z(op_jbrVa8FwMb(a,b),op_UeUK5QjOtW(150))+op_count_cu7YvshKwT(op_PjbVkMzmXE(op_Qglmzouulk(b,a),op_bI8wFiTsE3(b,b)),op_Vc5rgziU3z(op_jbrVa8FwMb(a,b),op_UeUK5QjOtW(150)))
    return count


a⫌≊↚ = { (((a⪬a)⪔⊥(a⇷⩰⫑a))⪂⪕≍((⫅⪑a)⊛)) }

def op_a6IFn1UJHB(a):
    return op_WHRxrbF8gO(op_HJ9erzHUuu(op_Ez1Nq5fNfI(a,a),op_w1MtynkZx4(a,a)),op_7Eqj152hMc(op_WAv3ekBhw3(a)))

def op_count_a6IFn1UJHB(a):
    count = op_count_Ez1Nq5fNfI(a,a)+op_count_w1MtynkZx4(a,a)+op_count_HJ9erzHUuu(op_Ez1Nq5fNfI(a,a),op_w1MtynkZx4(a,a))+op_count_WAv3ekBhw3(a)+op_count_7Eqj152hMc(op_WAv3ekBhw3(a))+op_count_WHRxrbF8gO(op_HJ9erzHUuu(op_Ez1Nq5fNfI(a,a),op_w1MtynkZx4(a,a)),op_7Eqj152hMc(op_WAv3ekBhw3(a)))
    return count


def op_I6DPL2Gha1(a):
    return op_o9aZmLR5oB(a,op_ozBFlv7jAp(a))

def op_count_I6DPL2Gha1(a):
    count = op_count_ozBFlv7jAp(a)+op_count_o9aZmLR5oB(a,op_ozBFlv7jAp(a))
    return count


def op_tCGJ1wQqBz(a):
    return op_lwHaAYXP2r(op_mLFH2NRKNI(a),462)

def op_count_tCGJ1wQqBz(a):
    count = op_count_mLFH2NRKNI(a)+op_count_lwHaAYXP2r(op_mLFH2NRKNI(a),462)
    return count


def op_ibwOf8Q6hs(a):
    return op_gJLn6v0xnP(a,175)

def op_count_ibwOf8Q6hs(a):
    count = op_count_gJLn6v0xnP(a,175)
    return count


def op_O196BiGC8E(a, b):
    return op_OpIL6DGFIM(op_RUvFhAOGfE(a),op_gs832QT2eo(b,a))

def op_count_O196BiGC8E(a, b):
    count = op_count_RUvFhAOGfE(a)+op_count_gs832QT2eo(b,a)+op_count_OpIL6DGFIM(op_RUvFhAOGfE(a),op_gs832QT2eo(b,a))
    return count


def op_CjDCLd9yl0(a, b):
    return op_ancsfN6GXi(op_RjlROH8OP1(op_Ln1IrprsTU(b,a),op_kUwfQWDciI(420,a)))

def op_count_CjDCLd9yl0(a, b):
    count = op_count_Ln1IrprsTU(b,a)+op_count_kUwfQWDciI(420,a)+op_count_RjlROH8OP1(op_Ln1IrprsTU(b,a),op_kUwfQWDciI(420,a))+op_count_ancsfN6GXi(op_RjlROH8OP1(op_Ln1IrprsTU(b,a),op_kUwfQWDciI(420,a)))
    return count


def op_4eqkkQOw7T(a, b):
    return op_o5ySIend9F(op_EPpVF6AnNM(b),op_ivGwdmUAux(a))

def op_count_4eqkkQOw7T(a, b):
    count = op_count_EPpVF6AnNM(b)+op_count_ivGwdmUAux(a)+op_count_o5ySIend9F(op_EPpVF6AnNM(b),op_ivGwdmUAux(a))
    return count


def op_jFY9FjAYWk(a):
    return op_9cloC0Ngie(a,150)

def op_count_jFY9FjAYWk(a):
    count = op_count_9cloC0Ngie(a,150)
    return count


def op_kq2RHiFgRr(a):
    return op_w5FWba1tyO(op_6Bn9seHpcB(a,a))

def op_count_kq2RHiFgRr(a):
    count = op_count_6Bn9seHpcB(a,a)+op_count_w5FWba1tyO(op_6Bn9seHpcB(a,a))
    return count


def op_OHF4XPeKpv(a):
    return op_o8Pngz0Tml(op_vdIy956WRd(a,a))

def op_count_OHF4XPeKpv(a):
    count = op_count_vdIy956WRd(a,a)+op_count_o8Pngz0Tml(op_vdIy956WRd(a,a))
    return count


def op_XOlRTh06dm(a, b):
    return op_Qglmzouulk(op_y0NDXUJ6bi(307),op_qO3m3EJotg(b,a))

def op_count_XOlRTh06dm(a, b):
    count = op_count_y0NDXUJ6bi(307)+op_count_qO3m3EJotg(b,a)+op_count_Qglmzouulk(op_y0NDXUJ6bi(307),op_qO3m3EJotg(b,a))
    return count


a⫪⋺ = { (((a≹⪫⩨a)↵⋃⫤(a↳⨴⫋a))⫚⊁((a≶⩢↻a)√⇍(⋞⨂⫏a))) }

def op_ha6ENBszqk(a):
    return op_jCit4cQ0Np(op_550BOtPxFu(op_FfDWFnkQRw(a,a),op_bars6Y1s1I(a,a)),op_kx417KCkir(op_FivK695Inb(a,a),op_yEnfEu97Sw(a)))

def op_count_ha6ENBszqk(a):
    count = op_count_FfDWFnkQRw(a,a)+op_count_bars6Y1s1I(a,a)+op_count_550BOtPxFu(op_FfDWFnkQRw(a,a),op_bars6Y1s1I(a,a))+op_count_FivK695Inb(a,a)+op_count_yEnfEu97Sw(a)+op_count_kx417KCkir(op_FivK695Inb(a,a),op_yEnfEu97Sw(a))+op_count_jCit4cQ0Np(op_550BOtPxFu(op_FfDWFnkQRw(a,a),op_bars6Y1s1I(a,a)),op_kx417KCkir(op_FivK695Inb(a,a),op_yEnfEu97Sw(a)))
    return count


def op_fBqK9AGnZs(a):
    return op_Ez1Nq5fNfI(op_0pE9j4xUU7(a,a),op_qmIDKKAtKh(a,a))

def op_count_fBqK9AGnZs(a):
    count = op_count_0pE9j4xUU7(a,a)+op_count_qmIDKKAtKh(a,a)+op_count_Ez1Nq5fNfI(op_0pE9j4xUU7(a,a),op_qmIDKKAtKh(a,a))
    return count


def op_ZdeALYKJxX(a):
    return op_2MgFsFVNLE(op_Cr5xnr8B4B(a,a))

def op_count_ZdeALYKJxX(a):
    count = op_count_Cr5xnr8B4B(a,a)+op_count_2MgFsFVNLE(op_Cr5xnr8B4B(a,a))
    return count


def op_JMIyUdKdQN(a):
    return op_YFxL8Sc2Zy(op_iERJjuKeUH(a,a))

def op_count_JMIyUdKdQN(a):
    count = op_count_iERJjuKeUH(a,a)+op_count_YFxL8Sc2Zy(op_iERJjuKeUH(a,a))
    return count


def op_YrCpOPlftZ(a):
    return op_SR5kFfdi6N(a,a)

def op_count_YrCpOPlftZ(a):
    count = op_count_SR5kFfdi6N(a,a)
    return count


a⨤↑ = { (((⊡⫣∦a)⊺⇆(9⊩⋖a))⩍↲((+⊝⨔a)⊜⨊(115≤⋮a))) }

def op_36xAAdrQy6(a):
    return op_kzp3oYQzRT(op_NbEzn8HcDr(op_ohIwRG4GTH(a),op_foUTwTo3sQ(9,a)),op_HjyhWlPDg7(op_DhbWaqg5eL(a),op_gaaDP0UKzK(115,a)))

def op_count_36xAAdrQy6(a):
    count = op_count_ohIwRG4GTH(a)+op_count_foUTwTo3sQ(9,a)+op_count_NbEzn8HcDr(op_ohIwRG4GTH(a),op_foUTwTo3sQ(9,a))+op_count_DhbWaqg5eL(a)+op_count_gaaDP0UKzK(115,a)+op_count_HjyhWlPDg7(op_DhbWaqg5eL(a),op_gaaDP0UKzK(115,a))+op_count_kzp3oYQzRT(op_NbEzn8HcDr(op_ohIwRG4GTH(a),op_foUTwTo3sQ(9,a)),op_HjyhWlPDg7(op_DhbWaqg5eL(a),op_gaaDP0UKzK(115,a)))
    return count


def op_AKjRUA2FZg(a):
    return op_9cloC0Ngie(op_Rco790wzow(op_ZWmKTO1x1a(a,a)),a)

def op_count_AKjRUA2FZg(a):
    count = op_count_ZWmKTO1x1a(a,a)+op_count_Rco790wzow(op_ZWmKTO1x1a(a,a))+op_count_9cloC0Ngie(op_Rco790wzow(op_ZWmKTO1x1a(a,a)),a)
    return count


⪕⇯∇a = { (((a∴⪏115)⪿⇪⊩(⨥⇳a))⊻⋺(a⋇↵⋅(a⨦∄⇯a))) }

def op_eOaazfIvNN(a):
    return op_YIewCr4DHQ(op_OGWBzMv138(op_4XKlyKzzXk(a,115),op_9ntSni7vAj(a)),op_aEZ9JgCP8a(a,op_aULemKRNJ1(a,a)))

def op_count_eOaazfIvNN(a):
    count = op_count_4XKlyKzzXk(a,115)+op_count_9ntSni7vAj(a)+op_count_OGWBzMv138(op_4XKlyKzzXk(a,115),op_9ntSni7vAj(a))+op_count_aULemKRNJ1(a,a)+op_count_aEZ9JgCP8a(a,op_aULemKRNJ1(a,a))+op_count_YIewCr4DHQ(op_OGWBzMv138(op_4XKlyKzzXk(a,115),op_9ntSni7vAj(a)),op_aEZ9JgCP8a(a,op_aULemKRNJ1(a,a)))
    return count


a⫹∗⪍b = { (((b⩪↴)⨦⋵↔(a⋵⊳⊩a))↔⫤⩊((↲⩤b)⊛)) }

def op_NNiFiUKbm3(a, b):
    return op_bBEzQ2IhFN(op_Q4INPxF9gO(op_1JnGo53Eix(b),op_NrrDGmnwKr(a,a)),op_7Eqj152hMc(op_ENCncEn1bW(b)))

def op_count_NNiFiUKbm3(a, b):
    count = op_count_1JnGo53Eix(b)+op_count_NrrDGmnwKr(a,a)+op_count_Q4INPxF9gO(op_1JnGo53Eix(b),op_NrrDGmnwKr(a,a))+op_count_ENCncEn1bW(b)+op_count_7Eqj152hMc(op_ENCncEn1bW(b))+op_count_bBEzQ2IhFN(op_Q4INPxF9gO(op_1JnGo53Eix(b),op_NrrDGmnwKr(a,a)),op_7Eqj152hMc(op_ENCncEn1bW(b)))
    return count


def op_uQIJe7GXhw(a, b):
    return op_PmR7WuS4AT(op_24nwyATvD7(a,b),a)

def op_count_uQIJe7GXhw(a, b):
    count = op_count_24nwyATvD7(a,b)+op_count_PmR7WuS4AT(op_24nwyATvD7(a,b),a)
    return count


def op_e8qZvFDIOm(a):
    return op_4cew1NbZSu(op_GRrQNMyeGD(a,a))

def op_count_e8qZvFDIOm(a):
    count = op_count_GRrQNMyeGD(a,a)+op_count_4cew1NbZSu(op_GRrQNMyeGD(a,a))
    return count


def op_c23Fyoh7sc(a):
    return op_096fXiO8sA(op_ut0Nd8ObBp(op_uG1NkbAHL9(a,a)))

def op_count_c23Fyoh7sc(a):
    count = op_count_uG1NkbAHL9(a,a)+op_count_ut0Nd8ObBp(op_uG1NkbAHL9(a,a))+op_count_096fXiO8sA(op_ut0Nd8ObBp(op_uG1NkbAHL9(a,a)))
    return count


def op_TLYaljR7Dq(a):
    return op_NwTClTmkMo(a,op_LBdsKIvxzf(op_M2xoT84YXH(a,a)))

def op_count_TLYaljR7Dq(a):
    count = op_count_M2xoT84YXH(a,a)+op_count_LBdsKIvxzf(op_M2xoT84YXH(a,a))+op_count_NwTClTmkMo(a,op_LBdsKIvxzf(op_M2xoT84YXH(a,a)))
    return count


a⋖⋕b = { (((b∩⨠⇪a)⩻(b⨚⪝55))≝⪅((a≜⊇b)⫽⋔)) }

def op_sQUJgueOxq(a, b):
    return op_xcM15npT0G(op_dMSKA4bw4h(op_1dP9oEiBvS(b,a),op_X2bul7T2BP(b,55)),op_bJjEIIhyQG(op_oa1nrqFkD0(a,b)))

def op_count_sQUJgueOxq(a, b):
    count = op_count_1dP9oEiBvS(b,a)+op_count_X2bul7T2BP(b,55)+op_count_dMSKA4bw4h(op_1dP9oEiBvS(b,a),op_X2bul7T2BP(b,55))+op_count_oa1nrqFkD0(a,b)+op_count_bJjEIIhyQG(op_oa1nrqFkD0(a,b))+op_count_xcM15npT0G(op_dMSKA4bw4h(op_1dP9oEiBvS(b,a),op_X2bul7T2BP(b,55)),op_bJjEIIhyQG(op_oa1nrqFkD0(a,b)))
    return count


def op_GR0zR6W24O(a):
    return op_Qglmzouulk(op_aibkDESqBN(op_dTupBmadvU(264)),op_HSKAMekx8r(op_2C7y2GTnOL(a)))

def op_count_GR0zR6W24O(a):
    count = op_count_dTupBmadvU(264)+op_count_aibkDESqBN(op_dTupBmadvU(264))+op_count_2C7y2GTnOL(a)+op_count_HSKAMekx8r(op_2C7y2GTnOL(a))+op_count_Qglmzouulk(op_aibkDESqBN(op_dTupBmadvU(264)),op_HSKAMekx8r(op_2C7y2GTnOL(a)))
    return count


def op_t6lUWMkYe0(a):
    return op_lz4dBNPYLn(op_MSsKXfycuQ(a,60))

def op_count_t6lUWMkYe0(a):
    count = op_count_MSsKXfycuQ(a,60)+op_count_lz4dBNPYLn(op_MSsKXfycuQ(a,60))
    return count


def op_YhOUvfhp8F(a, b):
    return op_Ez1Nq5fNfI(op_kV9H2P1eKQ(b),op_rwRyCV9eVz(a))

def op_count_YhOUvfhp8F(a, b):
    count = op_count_kV9H2P1eKQ(b)+op_count_rwRyCV9eVz(a)+op_count_Ez1Nq5fNfI(op_kV9H2P1eKQ(b),op_rwRyCV9eVz(a))
    return count


≰⩓⋢a = { (↷⨋⨝((↞⇼⇂a)↩∔⇶(a⊛⋬⋔a))) }

def op_i1v0HLnoav(a):
    return op_qDu5eIyqZX(op_ZM199RjHSm(op_JLPupQi8WI(a),op_WvLrLe1sfH(a,a)))

def op_count_i1v0HLnoav(a):
    count = op_count_JLPupQi8WI(a)+op_count_WvLrLe1sfH(a,a)+op_count_ZM199RjHSm(op_JLPupQi8WI(a),op_WvLrLe1sfH(a,a))+op_count_qDu5eIyqZX(op_ZM199RjHSm(op_JLPupQi8WI(a),op_WvLrLe1sfH(a,a)))
    return count


⫎⨿a = { (((a≳a)⊇⫘⪍(198⊼a))⊞⫤(a⋕(≑⋹a))) }

def op_XAZXP5UDhC(a):
    return op_ty3zjDioQl(op_dUpriDnGP5(op_HOs11gFUaq(a,a),op_Qglmzouulk(198,a)),op_ODihFFDUGL(a,op_6B9nyZLogK(a)))

def op_count_XAZXP5UDhC(a):
    count = op_count_HOs11gFUaq(a,a)+op_count_Qglmzouulk(198,a)+op_count_dUpriDnGP5(op_HOs11gFUaq(a,a),op_Qglmzouulk(198,a))+op_count_6B9nyZLogK(a)+op_count_ODihFFDUGL(a,op_6B9nyZLogK(a))+op_count_ty3zjDioQl(op_dUpriDnGP5(op_HOs11gFUaq(a,a),op_Qglmzouulk(198,a)),op_ODihFFDUGL(a,op_6B9nyZLogK(a)))
    return count


def op_NLf0IKjRo1(a):
    return op_KmoU8R5UQR(op_gwN95fAitj(a),op_Z0MOmZBEvh(a,a))

def op_count_NLf0IKjRo1(a):
    count = op_count_gwN95fAitj(a)+op_count_Z0MOmZBEvh(a,a)+op_count_KmoU8R5UQR(op_gwN95fAitj(a),op_Z0MOmZBEvh(a,a))
    return count


def op_8MvT012fSG(a):
    return op_T2fj7uvVaJ(op_B7jD7820sf(a,158),op_lLg6KFppdz(a,a))

def op_count_8MvT012fSG(a):
    count = op_count_B7jD7820sf(a,158)+op_count_lLg6KFppdz(a,a)+op_count_T2fj7uvVaJ(op_B7jD7820sf(a,158),op_lLg6KFppdz(a,a))
    return count


def op_8uOpCutTam(a):
    return op_HbkKo2jppZ(op_dnsoz1tpAU(203,op_tmPS8pqC7x(a,a)))

def op_count_8uOpCutTam(a):
    count = op_count_tmPS8pqC7x(a,a)+op_count_dnsoz1tpAU(203,op_tmPS8pqC7x(a,a))+op_count_HbkKo2jppZ(op_dnsoz1tpAU(203,op_tmPS8pqC7x(a,a)))
    return count


def op_kZMZEsza0n(a):
    return op_mp7IySMOzn(156,a)

def op_count_kZMZEsza0n(a):
    count = op_count_mp7IySMOzn(156,a)
    return count


def op_0gSM43SqTj(a):
    return op_D617RFjZIq(op_Bi6gyirjvn(264,a))

def op_count_0gSM43SqTj(a):
    count = op_count_Bi6gyirjvn(264,a)+op_count_D617RFjZIq(op_Bi6gyirjvn(264,a))
    return count


def op_tanN5fYc9g(a):
    return op_6SnOT2rOjz(op_1aV2GNwNkT(op_rX7dfyzfdl(a,317),op_HI6EKyYwLR(a)))

def op_count_tanN5fYc9g(a):
    count = op_count_rX7dfyzfdl(a,317)+op_count_HI6EKyYwLR(a)+op_count_1aV2GNwNkT(op_rX7dfyzfdl(a,317),op_HI6EKyYwLR(a))+op_count_6SnOT2rOjz(op_1aV2GNwNkT(op_rX7dfyzfdl(a,317),op_HI6EKyYwLR(a)))
    return count


def op_71BScWmZ20(a):
    return op_qLiEs2rVxT(a,op_tIhPxZTbsh(op_FmwwWKfnT1(a,a),op_HcpSfZGHXr(a)))

def op_count_71BScWmZ20(a):
    count = op_count_FmwwWKfnT1(a,a)+op_count_HcpSfZGHXr(a)+op_count_tIhPxZTbsh(op_FmwwWKfnT1(a,a),op_HcpSfZGHXr(a))+op_count_qLiEs2rVxT(a,op_tIhPxZTbsh(op_FmwwWKfnT1(a,a),op_HcpSfZGHXr(a)))
    return count


a↭⫡⫿ = { (((a≆∬←37)∩⨠⇪(⪮↲a))⇠⪥((⨩⫔⫶a)⩡a)) }

def op_gjAq46C0vs(a):
    return op_SONCUvkmWe(op_1dP9oEiBvS(op_D9t95ZU4xk(a,37),op_o87fefzB9U(a)),op_G4EbQfwSm2(op_6jnLtSreEI(a),a))

def op_count_gjAq46C0vs(a):
    count = op_count_D9t95ZU4xk(a,37)+op_count_o87fefzB9U(a)+op_count_1dP9oEiBvS(op_D9t95ZU4xk(a,37),op_o87fefzB9U(a))+op_count_6jnLtSreEI(a)+op_count_G4EbQfwSm2(op_6jnLtSreEI(a),a)+op_count_SONCUvkmWe(op_1dP9oEiBvS(op_D9t95ZU4xk(a,37),op_o87fefzB9U(a)),op_G4EbQfwSm2(op_6jnLtSreEI(a),a))
    return count


def op_j7FIBANwpy(a):
    return op_P78JJ8jX64(op_lFOJH7vxrC(a,op_NsGlVlbNoR(a,a)))

def op_count_j7FIBANwpy(a):
    count = op_count_NsGlVlbNoR(a,a)+op_count_lFOJH7vxrC(a,op_NsGlVlbNoR(a,a))+op_count_P78JJ8jX64(op_lFOJH7vxrC(a,op_NsGlVlbNoR(a,a)))
    return count


def op_AmWt10Uk4H(a):
    return op_mp7IySMOzn(op_5FkWpvT4nG(a),23)

def op_count_AmWt10Uk4H(a):
    count = op_count_5FkWpvT4nG(a)+op_count_mp7IySMOzn(op_5FkWpvT4nG(a),23)
    return count


def op_3Ue7iHGqyA(a, b):
    return op_0bWY2Z1pds(op_BRZabeeXbq(b,a),op_LBdsKIvxzf(7))

def op_count_3Ue7iHGqyA(a, b):
    count = op_count_BRZabeeXbq(b,a)+op_count_LBdsKIvxzf(7)+op_count_0bWY2Z1pds(op_BRZabeeXbq(b,a),op_LBdsKIvxzf(7))
    return count


def op_KNYWTYjmhT(a):
    return op_apS25hmuAe(op_h0RDTF413h(op_Qctrpi3WzA(a),op_dm7TFAx3aQ(a,136)))

def op_count_KNYWTYjmhT(a):
    count = op_count_Qctrpi3WzA(a)+op_count_dm7TFAx3aQ(a,136)+op_count_h0RDTF413h(op_Qctrpi3WzA(a),op_dm7TFAx3aQ(a,136))+op_count_apS25hmuAe(op_h0RDTF413h(op_Qctrpi3WzA(a),op_dm7TFAx3aQ(a,136)))
    return count


def op_rbUixdTRGs(a):
    return op_InRsNkjnGi(a,a)

def op_count_rbUixdTRGs(a):
    count = op_count_InRsNkjnGi(a,a)
    return count


⋔⩰⊂a = { (((a⩌⫰⩃224)⩌⫰⩃(a⋡≤⩀a))⨟((a⪿⨑a)⪬∳)) }

def op_WhRel0j9dh(a):
    return op_AU7BrOWeXc(op_Qkdmijf3a6(op_Qkdmijf3a6(a,224),op_Mth4PhTnAe(a,a)),op_O9U3z1385E(op_GigY1hfIYu(a,a)))

def op_count_WhRel0j9dh(a):
    count = op_count_Qkdmijf3a6(a,224)+op_count_Mth4PhTnAe(a,a)+op_count_Qkdmijf3a6(op_Qkdmijf3a6(a,224),op_Mth4PhTnAe(a,a))+op_count_GigY1hfIYu(a,a)+op_count_O9U3z1385E(op_GigY1hfIYu(a,a))+op_count_AU7BrOWeXc(op_Qkdmijf3a6(op_Qkdmijf3a6(a,224),op_Mth4PhTnAe(a,a)),op_O9U3z1385E(op_GigY1hfIYu(a,a)))
    return count


def op_rDisGygZU1(a):
    return op_rsaZ3WVEY2(op_XXqG8ZAZxI(a,a))

def op_count_rDisGygZU1(a):
    count = op_count_XXqG8ZAZxI(a,a)+op_count_rsaZ3WVEY2(op_XXqG8ZAZxI(a,a))
    return count


def op_p0mv7k3RBx(a):
    return op_AU7BrOWeXc(op_69AmfhvhRu(153),op_2MgFsFVNLE(a))

def op_count_p0mv7k3RBx(a):
    count = op_count_69AmfhvhRu(153)+op_count_2MgFsFVNLE(a)+op_count_AU7BrOWeXc(op_69AmfhvhRu(153),op_2MgFsFVNLE(a))
    return count


def op_ZwozX83IF2(a, b):
    return op_lP51NIPzK8(op_LRNGc0VcxI(b,op_riWVmlCsxw(a)))

def op_count_ZwozX83IF2(a, b):
    count = op_count_riWVmlCsxw(a)+op_count_LRNGc0VcxI(b,op_riWVmlCsxw(a))+op_count_lP51NIPzK8(op_LRNGc0VcxI(b,op_riWVmlCsxw(a)))
    return count


a≡⇃↓b = { (((∥⊫a)⊾(⊤⪏a))⪠⊗((b⪺⨮⩭b)↳≱(b⨾⊞b))) }

def op_rsly0hsdAi(a, b):
    return op_HhERX61e69(op_pCNCNETmIQ(op_P8v4zCKN1o(a),op_wjRRZ4dIWs(a)),op_JwTKLfZU96(op_xnTr9QP4Ls(b,b),op_Fue4ErCFXP(b,b)))

def op_count_rsly0hsdAi(a, b):
    count = op_count_P8v4zCKN1o(a)+op_count_wjRRZ4dIWs(a)+op_count_pCNCNETmIQ(op_P8v4zCKN1o(a),op_wjRRZ4dIWs(a))+op_count_xnTr9QP4Ls(b,b)+op_count_Fue4ErCFXP(b,b)+op_count_JwTKLfZU96(op_xnTr9QP4Ls(b,b),op_Fue4ErCFXP(b,b))+op_count_HhERX61e69(op_pCNCNETmIQ(op_P8v4zCKN1o(a),op_wjRRZ4dIWs(a)),op_JwTKLfZU96(op_xnTr9QP4Ls(b,b),op_Fue4ErCFXP(b,b)))
    return count


def op_Bc0pPSeyaF(a, b):
    return op_H86EN3O05e(op_M0mAKAgWvJ(b,op_obeET8rFtc(156,a)),op_I7EtXjyZpr(a))

def op_count_Bc0pPSeyaF(a, b):
    count = op_count_obeET8rFtc(156,a)+op_count_M0mAKAgWvJ(b,op_obeET8rFtc(156,a))+op_count_I7EtXjyZpr(a)+op_count_H86EN3O05e(op_M0mAKAgWvJ(b,op_obeET8rFtc(156,a)),op_I7EtXjyZpr(a))
    return count


def op_hSIreTNRUp(a, b):
    return op_mp7IySMOzn(op_xgYOZyJC4Q(369,76),op_Fuz0oX5uPW(b,a))

def op_count_hSIreTNRUp(a, b):
    count = op_count_xgYOZyJC4Q(369,76)+op_count_Fuz0oX5uPW(b,a)+op_count_mp7IySMOzn(op_xgYOZyJC4Q(369,76),op_Fuz0oX5uPW(b,a))
    return count


def op_zjdyu7PHZ6(a):
    return op_9VoQ6iZjwX(op_AljMvE3RRm(op_Dk6V8i6EvU(40,411)),a)

def op_count_zjdyu7PHZ6(a):
    count = op_count_Dk6V8i6EvU(40,411)+op_count_AljMvE3RRm(op_Dk6V8i6EvU(40,411))+op_count_9VoQ6iZjwX(op_AljMvE3RRm(op_Dk6V8i6EvU(40,411)),a)
    return count


def op_IX7Zj2nZwK(a):
    return op_48vC8HMD2b(a,op_zFNL8mZEFB(2,9))

def op_count_IX7Zj2nZwK(a):
    count = op_count_zFNL8mZEFB(2,9)+op_count_48vC8HMD2b(a,op_zFNL8mZEFB(2,9))
    return count


def op_L0fB0uARcr(a):
    return op_zlqdqChXJz(op_yyfyN0ffXY(a,a))

def op_count_L0fB0uARcr(a):
    count = op_count_yyfyN0ffXY(a,a)+op_count_zlqdqChXJz(op_yyfyN0ffXY(a,a))
    return count


def op_8oF9z9zmXi(a, b):
    return op_Ss7kna3OSG(op_Qctrpi3WzA(b),op_bG3SoPrX0m(op_fxJSSRFwCt(a),op_20at030mKx(199,b)))

def op_count_8oF9z9zmXi(a, b):
    count = op_count_Qctrpi3WzA(b)+op_count_fxJSSRFwCt(a)+op_count_20at030mKx(199,b)+op_count_bG3SoPrX0m(op_fxJSSRFwCt(a),op_20at030mKx(199,b))+op_count_Ss7kna3OSG(op_Qctrpi3WzA(b),op_bG3SoPrX0m(op_fxJSSRFwCt(a),op_20at030mKx(199,b)))
    return count


def op_aiUQqK0Blk(a):
    return op_UhM7GxoAxS(op_4OmwL35pJX(242,a))

def op_count_aiUQqK0Blk(a):
    count = op_count_4OmwL35pJX(242,a)+op_count_UhM7GxoAxS(op_4OmwL35pJX(242,a))
    return count


def op_oKLeh0PF3k(a):
    return op_PJn8kYvayX(op_2MgFsFVNLE(a))

def op_count_oKLeh0PF3k(a):
    count = op_count_2MgFsFVNLE(a)+op_count_PJn8kYvayX(op_2MgFsFVNLE(a))
    return count


def op_qOPfEObX3b(a):
    if a <= 189 and op_jIjE9uTss5(a,803) < 417:
        return op_DhbWaqg5eL(op_yC1eAvCdMl(op_hv7txCVeHj(a,102),a))
    else:
        return op_hfpBUD6oBE(op_AdZkA7nFnk(a,a),op_a2IQm5WUqZ(op_GIhpFIUPsE(a,a),a))

def op_count_qOPfEObX3b(a):
    if a <= 189 and op_jIjE9uTss5(a,803) < 417:
        count = op_count_hv7txCVeHj(a,102)+op_count_yC1eAvCdMl(op_hv7txCVeHj(a,102),a)+op_count_DhbWaqg5eL(op_yC1eAvCdMl(op_hv7txCVeHj(a,102),a))+op_count_jIjE9uTss5(a,803)
    else:
        count = op_count_AdZkA7nFnk(a,a)+op_count_GIhpFIUPsE(a,a)+op_count_a2IQm5WUqZ(op_GIhpFIUPsE(a,a),a)+op_count_hfpBUD6oBE(op_AdZkA7nFnk(a,a),op_a2IQm5WUqZ(op_GIhpFIUPsE(a,a),a))
    return count


def op_FhlnIIaEwE(a):
    return op_VX9aY244yz(op_bhfZsaAByr(a),op_xSE4zQdLy1(115,39))

def op_count_FhlnIIaEwE(a):
    count = op_count_bhfZsaAByr(a)+op_count_xSE4zQdLy1(115,39)+op_count_VX9aY244yz(op_bhfZsaAByr(a),op_xSE4zQdLy1(115,39))
    return count


def op_bhk3La071i(a):
    if op_Z0MOmZBEvh(a,785) <= 237:
        return op_I7EtXjyZpr(a)
    else:
        return op_D4AlmasLin(a,191)

def op_count_bhk3La071i(a):
    if op_Z0MOmZBEvh(a,785) <= 237:
        count = op_count_I7EtXjyZpr(a)+op_count_Z0MOmZBEvh(a,785)
    else:
        count = op_count_D4AlmasLin(a,191)
    return count


def op_Pm3Ga7aQQD(a):
    return op_vBWREp8Jik(op_lECMGPioUL(a),op_sDUFqk2NSv(81,a))

def op_count_Pm3Ga7aQQD(a):
    count = op_count_lECMGPioUL(a)+op_count_sDUFqk2NSv(81,a)+op_count_vBWREp8Jik(op_lECMGPioUL(a),op_sDUFqk2NSv(81,a))
    return count


a⪽⇓⩄ = { (((a⇦a)⪠⋲)⋺∡((a⨰↻⪇a)⨌⇍(15⨘))) }

def op_DrIahOleHF(a):
    return op_VIBw2zwtKb(op_XsP9zM2YWI(op_DtsKfwZYmX(a,a)),op_wo1YdtTCdY(op_nbuSfrB4hB(a,a),op_ljcfZBUpm8(15)))

def op_count_DrIahOleHF(a):
    count = op_count_DtsKfwZYmX(a,a)+op_count_XsP9zM2YWI(op_DtsKfwZYmX(a,a))+op_count_nbuSfrB4hB(a,a)+op_count_ljcfZBUpm8(15)+op_count_wo1YdtTCdY(op_nbuSfrB4hB(a,a),op_ljcfZBUpm8(15))+op_count_VIBw2zwtKb(op_XsP9zM2YWI(op_DtsKfwZYmX(a,a)),op_wo1YdtTCdY(op_nbuSfrB4hB(a,a),op_ljcfZBUpm8(15)))
    return count


a⪁⇬b = { (((a↡∖b)⩑≓(a⇙⫲b))⫔(⊺⇒(∝∹⇝b))) }

def op_bftSnqDg2m(a, b):
    return op_Qsw9fW7fQc(op_StDAEzlBYm(op_uUutRT2kfE(a,b),op_gTCkXbls8X(a,b)),op_2MgFsFVNLE(op_85RiJAE5nc(b)))

def op_count_bftSnqDg2m(a, b):
    count = op_count_uUutRT2kfE(a,b)+op_count_gTCkXbls8X(a,b)+op_count_StDAEzlBYm(op_uUutRT2kfE(a,b),op_gTCkXbls8X(a,b))+op_count_85RiJAE5nc(b)+op_count_2MgFsFVNLE(op_85RiJAE5nc(b))+op_count_Qsw9fW7fQc(op_StDAEzlBYm(op_uUutRT2kfE(a,b),op_gTCkXbls8X(a,b)),op_2MgFsFVNLE(op_85RiJAE5nc(b)))
    return count


a⪴⨹⨤b = { (⋫≀⫽5) , if (∥⪬≵a)==575 ; (b≲⋳) , else }

def op_8SLT78mvD8(a, b):
    if op_LBL36x6Kn9(a) == 575:
        return op_V0aaSnRubj(5)
    else:
        return op_JAsMQSYFYM(b)

def op_count_8SLT78mvD8(a, b):
    if op_LBL36x6Kn9(a) == 575:
        count = op_count_V0aaSnRubj(5)+op_count_LBL36x6Kn9(a)
    else:
        count = op_count_JAsMQSYFYM(b)
    return count


a∉⫞ = { ((24≉⇁⇑a)⋃∰(a∖⊚a)) , if a!=160 ; ((a⋭a)⇋⊴⊜a) , else }

def op_OjaxCgigyv(a):
    if a != 160:
        return op_yqthOfQm3e(op_PMnSbSZIXz(24,a),op_KXDdaHDbNw(a,a))
    else:
        return op_1NEUe3Qa2W(op_WRl4KaSwns(a,a),a)

def op_count_OjaxCgigyv(a):
    if a != 160:
        count = op_count_PMnSbSZIXz(24,a)+op_count_KXDdaHDbNw(a,a)+op_count_yqthOfQm3e(op_PMnSbSZIXz(24,a),op_KXDdaHDbNw(a,a))
    else:
        count = op_count_WRl4KaSwns(a,a)+op_count_1NEUe3Qa2W(op_WRl4KaSwns(a,a),a)
    return count


a⨒⪟b = { (((b⇱∅⫼b)⪬a)∕⩚((a↚⪇≥245)≅⪍∭(753⪈⋺))) , if (⨸∍⪢b)!=281 ; (((a⋛⩥)⇙⋪(b⪏⨔⇙a))⇰⊲((46⪄⊣a)⋜⊄(⊕⪝↗a))) , else }

def op_hL0KJSrxWM(a, b):
    if op_sJEWiGNnod(b) != 281:
        return op_z9ffQ9n5Zr(op_Ez1Nq5fNfI(op_jmRbPV3Y6D(b,b),a),op_Qu4uWmhj3N(op_SORa71X8Qm(a,245),op_5p7zLdBmiR(753)))
    else:
        return op_yHZBwDW2Tk(op_jGx1aaGeDB(op_lz4dBNPYLn(a),op_Dye1y9yfmu(b,a)),op_KRecZEGPb8(op_9G2jV8oAtO(46,a),op_ufqzRtOMm4(a)))

def op_count_hL0KJSrxWM(a, b):
    if op_sJEWiGNnod(b) != 281:
        count = op_count_jmRbPV3Y6D(b,b)+op_count_Ez1Nq5fNfI(op_jmRbPV3Y6D(b,b),a)+op_count_SORa71X8Qm(a,245)+op_count_5p7zLdBmiR(753)+op_count_Qu4uWmhj3N(op_SORa71X8Qm(a,245),op_5p7zLdBmiR(753))+op_count_z9ffQ9n5Zr(op_Ez1Nq5fNfI(op_jmRbPV3Y6D(b,b),a),op_Qu4uWmhj3N(op_SORa71X8Qm(a,245),op_5p7zLdBmiR(753)))+op_count_sJEWiGNnod(b)
    else:
        count = op_count_lz4dBNPYLn(a)+op_count_Dye1y9yfmu(b,a)+op_count_jGx1aaGeDB(op_lz4dBNPYLn(a),op_Dye1y9yfmu(b,a))+op_count_9G2jV8oAtO(46,a)+op_count_ufqzRtOMm4(a)+op_count_KRecZEGPb8(op_9G2jV8oAtO(46,a),op_ufqzRtOMm4(a))+op_count_yHZBwDW2Tk(op_jGx1aaGeDB(op_lz4dBNPYLn(a),op_Dye1y9yfmu(b,a)),op_KRecZEGPb8(op_9G2jV8oAtO(46,a),op_ufqzRtOMm4(a)))
    return count


def op_98Zpo6bYPY(a, b):
    return op_8yGz9s51pC(op_NAuE9E6FzB(a),op_Nsiff2A1zJ(a,b))

def op_count_98Zpo6bYPY(a, b):
    count = op_count_NAuE9E6FzB(a)+op_count_Nsiff2A1zJ(a,b)+op_count_8yGz9s51pC(op_NAuE9E6FzB(a),op_Nsiff2A1zJ(a,b))
    return count


def op_V5yYDbs2B8(a, b):
    return op_ejsynaZir6(op_ceRqZ68cFu(b,b),op_hobi2Kiz2H(a,b))

def op_count_V5yYDbs2B8(a, b):
    count = op_count_ceRqZ68cFu(b,b)+op_count_hobi2Kiz2H(a,b)+op_count_ejsynaZir6(op_ceRqZ68cFu(b,b),op_hobi2Kiz2H(a,b))
    return count


def op_4xRpZGprqk(a):
    return op_yRqWCfy5LI(op_lECMGPioUL(op_cGjsL7NCy6(263)),op_4yVIdyRSpi(op_D69ahk0G0B(677,a),op_P0o8L8MpVP(a,a)))

def op_count_4xRpZGprqk(a):
    count = op_count_cGjsL7NCy6(263)+op_count_lECMGPioUL(op_cGjsL7NCy6(263))+op_count_D69ahk0G0B(677,a)+op_count_P0o8L8MpVP(a,a)+op_count_4yVIdyRSpi(op_D69ahk0G0B(677,a),op_P0o8L8MpVP(a,a))+op_count_yRqWCfy5LI(op_lECMGPioUL(op_cGjsL7NCy6(263)),op_4yVIdyRSpi(op_D69ahk0G0B(677,a),op_P0o8L8MpVP(a,a)))
    return count


a∬∖b = { (b⫀⫰⪦((a⨩)⨐(274√b))) , if (a⊧)==123 ; ((⩸⩅(a≶⩢↻b))⪡⇊⇼((⋃a)∳⫺(a⊸⫹b))) , else }

def op_Fm7EmmCWai(a, b):
    if op_HLtJe7OQfK(a) == 123:
        return op_itbFJNngdV(b,op_Noe24qw2ks(op_weFp838rcz(a),op_HX99UMoF54(274,b)))
    else:
        return op_h9LDQjFYy5(op_TyK7VG2XGl(op_FivK695Inb(a,b)),op_AzXXKTstlj(op_3mBM5G4a3l(a),op_xTDqZxPsQw(a,b)))

def op_count_Fm7EmmCWai(a, b):
    if op_HLtJe7OQfK(a) == 123:
        count = op_count_weFp838rcz(a)+op_count_HX99UMoF54(274,b)+op_count_Noe24qw2ks(op_weFp838rcz(a),op_HX99UMoF54(274,b))+op_count_itbFJNngdV(b,op_Noe24qw2ks(op_weFp838rcz(a),op_HX99UMoF54(274,b)))+op_count_HLtJe7OQfK(a)
    else:
        count = op_count_FivK695Inb(a,b)+op_count_TyK7VG2XGl(op_FivK695Inb(a,b))+op_count_3mBM5G4a3l(a)+op_count_xTDqZxPsQw(a,b)+op_count_AzXXKTstlj(op_3mBM5G4a3l(a),op_xTDqZxPsQw(a,b))+op_count_h9LDQjFYy5(op_TyK7VG2XGl(op_FivK695Inb(a,b)),op_AzXXKTstlj(op_3mBM5G4a3l(a),op_xTDqZxPsQw(a,b)))
    return count


a≦⋟⫐ = { (a⋧∎⨊a) , if a<1 ; (a⩢≌) , else }

def op_FcXCDrwbu8(a):
    if a < 1:
        return op_jvKnzH5Wrf(a,a)
    else:
        return op_D617RFjZIq(a)

def op_count_FcXCDrwbu8(a):
    if a < 1:
        count = op_count_jvKnzH5Wrf(a,a)
    else:
        count = op_count_D617RFjZIq(a)
    return count


def op_d6d0K5f2Nw(a):
    if (op_nw0VKSfdAL(a) == 81 or op_uz3GelrGYC(a,438) != 11):
        return op_BdR7xPHmXT(op_WvhSX4Tttm(111,a),op_I7EtXjyZpr(a))
    else:
        return op_tmNq1QR2aX(op_OpIL6DGFIM(397,359),op_YaB1w09lmH(a,2))

def op_count_d6d0K5f2Nw(a):
    if (op_nw0VKSfdAL(a) == 81 or op_uz3GelrGYC(a,438) != 11):
        count = op_count_WvhSX4Tttm(111,a)+op_count_I7EtXjyZpr(a)+op_count_BdR7xPHmXT(op_WvhSX4Tttm(111,a),op_I7EtXjyZpr(a))+op_count_nw0VKSfdAL(a)+op_count_uz3GelrGYC(a,438)
    else:
        count = op_count_OpIL6DGFIM(397,359)+op_count_YaB1w09lmH(a,2)+op_count_tmNq1QR2aX(op_OpIL6DGFIM(397,359),op_YaB1w09lmH(a,2))
    return count


def op_VihDLWnWqA(a, b):
    return op_iERJjuKeUH(b,op_ZAXeO6SPf6(b,a))

def op_count_VihDLWnWqA(a, b):
    count = op_count_ZAXeO6SPf6(b,a)+op_count_iERJjuKeUH(b,op_ZAXeO6SPf6(b,a))
    return count


a⇋⊀⫙b = { ((a∁⨜⊄)⪾⨍⩥(b≬⫨b)) , if (a⊣≗⋬)<207 ; (⪽↫(∊≸∗b)) , else }

def op_TmC996L1ga(a, b):
    if op_56z7SUCW4w(a) < 207:
        return op_cqZq8M6Jmk(op_ESJ9zyMYM4(a),op_LDd7ey0C1m(b,b))
    else:
        return op_e6fjkqlCWa(op_HxDSz5st7J(b))

def op_count_TmC996L1ga(a, b):
    if op_56z7SUCW4w(a) < 207:
        count = op_count_ESJ9zyMYM4(a)+op_count_LDd7ey0C1m(b,b)+op_count_cqZq8M6Jmk(op_ESJ9zyMYM4(a),op_LDd7ey0C1m(b,b))+op_count_56z7SUCW4w(a)
    else:
        count = op_count_HxDSz5st7J(b)+op_count_e6fjkqlCWa(op_HxDSz5st7J(b))
    return count


a⪂⋥⇺ = { (((a⨢↟495)⩒⩯≚(a⇡≹a))↼⇙⨌(a⨑⩅≇(a⫕a))) , if (a⫽)<=90 ; (((a∑⫎↩a)⩕⇢)↠) , else }

def op_IbCngWv5MW(a):
    if op_ehBHL9glaM(a) <= 90:
        return op_rMifWJgd3t(op_V1brnGXOUL(op_Z7B3c4tHRK(a,495),op_cnKzxr1wWw(a,a)),op_h92wMvzauj(a,op_6CTfL9kIPY(a,a)))
    else:
        return op_LBdsKIvxzf(op_rcPEhkfKrA(op_HdNzD5PjZY(a,a)))

def op_count_IbCngWv5MW(a):
    if op_ehBHL9glaM(a) <= 90:
        count = op_count_Z7B3c4tHRK(a,495)+op_count_cnKzxr1wWw(a,a)+op_count_V1brnGXOUL(op_Z7B3c4tHRK(a,495),op_cnKzxr1wWw(a,a))+op_count_6CTfL9kIPY(a,a)+op_count_h92wMvzauj(a,op_6CTfL9kIPY(a,a))+op_count_rMifWJgd3t(op_V1brnGXOUL(op_Z7B3c4tHRK(a,495),op_cnKzxr1wWw(a,a)),op_h92wMvzauj(a,op_6CTfL9kIPY(a,a)))+op_count_ehBHL9glaM(a)
    else:
        count = op_count_HdNzD5PjZY(a,a)+op_count_rcPEhkfKrA(op_HdNzD5PjZY(a,a))+op_count_LBdsKIvxzf(op_rcPEhkfKrA(op_HdNzD5PjZY(a,a)))
    return count


a⫑⩧b = { (a≐↽((a⪛b)⊣⨲(a⨷∲a))) , if ((a⇜≔⇃726)!=22 or (a∁⋞645)<23) ; (≹↦⩒(b⨕⇃⩗a)) , else }

def op_tdtqYdqRBy(a, b):
    if (op_RlOoWQmxHa(a,726) != 22 or op_SRbuzIgMWI(a,645) < 23):
        return op_leeyKC4ZFN(a,op_PjIHNKxrlt(op_uFcxV4UQCh(a,b),op_y1XfmXroNr(a,a)))
    else:
        return op_nCSYG0sci4(op_9MFhuZajkF(b,a))

def op_count_tdtqYdqRBy(a, b):
    if (op_RlOoWQmxHa(a,726) != 22 or op_SRbuzIgMWI(a,645) < 23):
        count = op_count_uFcxV4UQCh(a,b)+op_count_y1XfmXroNr(a,a)+op_count_PjIHNKxrlt(op_uFcxV4UQCh(a,b),op_y1XfmXroNr(a,a))+op_count_leeyKC4ZFN(a,op_PjIHNKxrlt(op_uFcxV4UQCh(a,b),op_y1XfmXroNr(a,a)))+op_count_RlOoWQmxHa(a,726)+op_count_SRbuzIgMWI(a,645)
    else:
        count = op_count_9MFhuZajkF(b,a)+op_count_nCSYG0sci4(op_9MFhuZajkF(b,a))
    return count


∳⋏⫑a = { (∡≣⨺(444↡∰⨪a)) , if a<=413 ; ((a⇤≯a)⪏⨔⇙a) , else }

def op_Mqc8V66Xts(a):
    if a <= 413:
        return op_3Mo73BEME2(op_TFC8BisZgT(444,a))
    else:
        return op_Dye1y9yfmu(op_54rvuKiOgH(a,a),a)

def op_count_Mqc8V66Xts(a):
    if a <= 413:
        count = op_count_TFC8BisZgT(444,a)+op_count_3Mo73BEME2(op_TFC8BisZgT(444,a))
    else:
        count = op_count_54rvuKiOgH(a,a)+op_count_Dye1y9yfmu(op_54rvuKiOgH(a,a),a)
    return count


a≼∵ = { ((⇁⨐⇦a)⪹⫧⇽) , if (a⫓⫕908)==666 ; ((a⋗⩹⩓a)⋴≽⪿(⩌⇑⇏a)) , else }

def op_CbAk22hfYQ(a):
    if op_XsvFqRKgU7(a,908) == 666:
        return op_RUvFhAOGfE(op_nyiVdSq3X4(a))
    else:
        return op_vpjiMvlQnK(op_EKLw81v4Z3(a,a),op_9jHS2qrjEm(a))

def op_count_CbAk22hfYQ(a):
    if op_XsvFqRKgU7(a,908) == 666:
        count = op_count_nyiVdSq3X4(a)+op_count_RUvFhAOGfE(op_nyiVdSq3X4(a))+op_count_XsvFqRKgU7(a,908)
    else:
        count = op_count_EKLw81v4Z3(a,a)+op_count_9jHS2qrjEm(a)+op_count_vpjiMvlQnK(op_EKLw81v4Z3(a,a),op_9jHS2qrjEm(a))
    return count


a⫓↱⊔b = { (a⊳a) , if (b⫀≣↤585)<75 ; (∯⨽⫤b) , else }

def op_DN8E9rYbpB(a, b):
    if op_HF6nQZD8gr(b,585) < 75:
        return op_hmRjlYdCYn(a,a)
    else:
        return op_GY3Xx7HWXl(b)

def op_count_DN8E9rYbpB(a, b):
    if op_HF6nQZD8gr(b,585) < 75:
        count = op_count_hmRjlYdCYn(a,a)+op_count_HF6nQZD8gr(b,585)
    else:
        count = op_count_GY3Xx7HWXl(b)
    return count


⪡⇛⨶a = { ((a⇓⋧⋔a)⪟⫙(a↱a)) , if (↥a)>301 and (a⊦⊆194)>=94 and (a⩚→∷)!=103 ; (a⨠(⊻⇿⋺a)) , else }

def op_rdIIMiOofj(a):
    if op_A8NUZmVepG(a) > 301 and op_ziENa4oeDe(a,194) >= 94 and op_EME5WDdOsX(a) != 103:
        return op_KsnKn8I4DZ(op_ONJRQY6OPs(a,a),op_SR5kFfdi6N(a,a))
    else:
        return op_R3R4sbjZye(a,op_3ETyc1YnpT(a))

def op_count_rdIIMiOofj(a):
    if op_A8NUZmVepG(a) > 301 and op_ziENa4oeDe(a,194) >= 94 and op_EME5WDdOsX(a) != 103:
        count = op_count_ONJRQY6OPs(a,a)+op_count_SR5kFfdi6N(a,a)+op_count_KsnKn8I4DZ(op_ONJRQY6OPs(a,a),op_SR5kFfdi6N(a,a))+op_count_A8NUZmVepG(a)+op_count_ziENa4oeDe(a,194)+op_count_EME5WDdOsX(a)
    else:
        count = op_count_3ETyc1YnpT(a)+op_count_R3R4sbjZye(a,op_3ETyc1YnpT(a))
    return count


def op_X7jJkrrtrt(a, b):
    if b < 747:
        return op_zma7vR3L5W(op_Qctrpi3WzA(b),op_00g67dhXck(226))
    else:
        return op_j9kHMeSvPp(op_mSR6zonr31(817),op_pCNCNETmIQ(a,a))

def op_count_X7jJkrrtrt(a, b):
    if b < 747:
        count = op_count_Qctrpi3WzA(b)+op_count_00g67dhXck(226)+op_count_zma7vR3L5W(op_Qctrpi3WzA(b),op_00g67dhXck(226))
    else:
        count = op_count_mSR6zonr31(817)+op_count_pCNCNETmIQ(a,a)+op_count_j9kHMeSvPp(op_mSR6zonr31(817),op_pCNCNETmIQ(a,a))
    return count


def op_nrZEhjAOMF(a, b):
    if op_vRio1gEz1j(b) > 65:
        return op_ziaaVG88k7(op_0FYYz8fFRr(b,6),op_3DVzLFNsE9(237))
    else:
        return op_x56Q1NfF72(op_19xM9lTKYo(b,289),op_VSUCzqIkt4(260,a))

def op_count_nrZEhjAOMF(a, b):
    if op_vRio1gEz1j(b) > 65:
        count = op_count_0FYYz8fFRr(b,6)+op_count_3DVzLFNsE9(237)+op_count_ziaaVG88k7(op_0FYYz8fFRr(b,6),op_3DVzLFNsE9(237))+op_count_vRio1gEz1j(b)
    else:
        count = op_count_19xM9lTKYo(b,289)+op_count_VSUCzqIkt4(260,a)+op_count_x56Q1NfF72(op_19xM9lTKYo(b,289),op_VSUCzqIkt4(260,a))
    return count


a⇜⨒b = { (((a⪢⨴)⫭⨰)⪒(a⇊⩃⋴(92↯⊜a))) , if (≏a)>264 and a==62 and (b⊥⫄)!=15 ; (b⪷) , else }

def op_NdN35VWwix(a, b):
    if op_NkElgCjZ6e(a) > 264 and a == 62 and op_8oCiXlPk2I(b) != 15:
        return op_f6k1SAg4EE(op_MKKqPSfQPd(op_UMMmb9LONo(a)),op_uA3r3M5hqH(a,op_54UxIFHdAV(92,a)))
    else:
        return op_Qctrpi3WzA(b)

def op_count_NdN35VWwix(a, b):
    if op_NkElgCjZ6e(a) > 264 and a == 62 and op_8oCiXlPk2I(b) != 15:
        count = op_count_UMMmb9LONo(a)+op_count_MKKqPSfQPd(op_UMMmb9LONo(a))+op_count_54UxIFHdAV(92,a)+op_count_uA3r3M5hqH(a,op_54UxIFHdAV(92,a))+op_count_f6k1SAg4EE(op_MKKqPSfQPd(op_UMMmb9LONo(a)),op_uA3r3M5hqH(a,op_54UxIFHdAV(92,a)))+op_count_NkElgCjZ6e(a)+op_count_8oCiXlPk2I(b)
    else:
        count = op_count_Qctrpi3WzA(b)
    return count


def op_DkYVfzz2Wc(a, b):
    if op_3iurnvestf(b,52) <= 267:
        return op_UnCoSGIALn(a)
    else:
        return op_VgEnHjmnKG(175,a)

def op_count_DkYVfzz2Wc(a, b):
    if op_3iurnvestf(b,52) <= 267:
        count = op_count_UnCoSGIALn(a)+op_count_3iurnvestf(b,52)
    else:
        count = op_count_VgEnHjmnKG(175,a)
    return count


a⋰⩟b = { (b↱a) , if b<=385 ; (a⊻⨌⫵b) , else }

def op_GNCmgv9kPR(a, b):
    if b <= 385:
        return op_SR5kFfdi6N(b,a)
    else:
        return op_NOyIGfOOXL(a,b)

def op_count_GNCmgv9kPR(a, b):
    if b <= 385:
        count = op_count_SR5kFfdi6N(b,a)
    else:
        count = op_count_NOyIGfOOXL(a,b)
    return count


a≜⪾⫓b = { (b⇽⨹∛) , if (⪐⫟⊁b)>29 ; (b≨a) , else }

def op_uSqX6IAqZu(a, b):
    if op_QSHgk6IYtE(b) > 29:
        return op_5J5f66qPvN(b)
    else:
        return op_0KMCeP1Jsh(b,a)

def op_count_uSqX6IAqZu(a, b):
    if op_QSHgk6IYtE(b) > 29:
        count = op_count_5J5f66qPvN(b)+op_count_QSHgk6IYtE(b)
    else:
        count = op_count_0KMCeP1Jsh(b,a)
    return count


⊎⊡a = { (≺(a⨯∮25)) , if (a≙⇈⋰)!=346 and (a⊹⪤≱)<=23 and (a∹≮∧)==167 ; a , else }

def op_cKCxJJ9vp2(a):
    if op_oiwYFT9z5B(a) != 346 and op_Itv93Yo1MF(a) <= 23 and op_G9cdshBe1e(a) == 167:
        return op_096fXiO8sA(op_vvWkAKV61U(a,25))
    else:
        return a

def op_count_cKCxJJ9vp2(a):
    if op_oiwYFT9z5B(a) != 346 and op_Itv93Yo1MF(a) <= 23 and op_G9cdshBe1e(a) == 167:
        count = op_count_vvWkAKV61U(a,25)+op_count_096fXiO8sA(op_vvWkAKV61U(a,25))+op_count_oiwYFT9z5B(a)+op_count_Itv93Yo1MF(a)+op_count_G9cdshBe1e(a)
    else:
        count = 1
    return count


⩃⋵≱a = { (a≼⇖a) , if a<135 ; (a⋫) , else }

def op_fjBEzMYKPc(a):
    if a < 135:
        return op_rxoAJkQuc9(a,a)
    else:
        return op_JL8yIekQnl(a)

def op_count_fjBEzMYKPc(a):
    if a < 135:
        count = op_count_rxoAJkQuc9(a,a)
    else:
        count = op_count_JL8yIekQnl(a)
    return count


a⊼⨕⩚b = { ((b⨕⇹b)⊼⨶(a⊴b)) , if (a∴⋮↜107)>6 ; ((⋑⫻≾b)⋮⩂(b⊍⨀a)) , else }

def op_SXjdhr7TB9(a, b):
    if op_LFP2zRhVLi(a,107) > 6:
        return op_XbEkhYNcJE(op_PaWjBlmoRZ(b,b),op_Nsiff2A1zJ(a,b))
    else:
        return op_5mOiYMN9gN(op_YKmGAXgZjU(b),op_W48l78wIbG(b,a))

def op_count_SXjdhr7TB9(a, b):
    if op_LFP2zRhVLi(a,107) > 6:
        count = op_count_PaWjBlmoRZ(b,b)+op_count_Nsiff2A1zJ(a,b)+op_count_XbEkhYNcJE(op_PaWjBlmoRZ(b,b),op_Nsiff2A1zJ(a,b))+op_count_LFP2zRhVLi(a,107)
    else:
        count = op_count_YKmGAXgZjU(b)+op_count_W48l78wIbG(b,a)+op_count_5mOiYMN9gN(op_YKmGAXgZjU(b),op_W48l78wIbG(b,a))
    return count


a⇻⊶b = { ((⩥⩪a)⇽⋪⩥(56⫝⫧⩽7)) , if (⩂⩀b)==245 ; ((a⨺⩶b)⊴⇁⪶) , else }

def op_sXmnOOKqiH(a, b):
    if op_vHaazYf2iE(b) == 245:
        return op_8iaSloTsD3(op_oZVPzpKEfk(a),op_yOqGLqJViq(56,7))
    else:
        return op_oo9mF6JIpo(op_qCCe0Qx1RA(a,b))

def op_count_sXmnOOKqiH(a, b):
    if op_vHaazYf2iE(b) == 245:
        count = op_count_oZVPzpKEfk(a)+op_count_yOqGLqJViq(56,7)+op_count_8iaSloTsD3(op_oZVPzpKEfk(a),op_yOqGLqJViq(56,7))+op_count_vHaazYf2iE(b)
    else:
        count = op_count_qCCe0Qx1RA(a,b)+op_count_oo9mF6JIpo(op_qCCe0Qx1RA(a,b))
    return count


a⩍≻⋹b = { b , if (a≣∓502)>872 ; (((a⫛∐⩼b)⊟↞⨋)⪞⇨((⊃b)⊬⋠≠)) , else }

def op_F7J16R2oZC(a, b):
    if op_t7XEfsFsRn(a,502) > 872:
        return b
    else:
        return op_dbaoL9ubd4(op_akoXB3dKtI(op_uQU0baUFSi(a,b)),op_juijT1621o(op_fcYd9Sln05(b)))

def op_count_F7J16R2oZC(a, b):
    if op_t7XEfsFsRn(a,502) > 872:
        count = 1
    else:
        count = op_count_uQU0baUFSi(a,b)+op_count_akoXB3dKtI(op_uQU0baUFSi(a,b))+op_count_fcYd9Sln05(b)+op_count_juijT1621o(op_fcYd9Sln05(b))+op_count_dbaoL9ubd4(op_akoXB3dKtI(op_uQU0baUFSi(a,b)),op_juijT1621o(op_fcYd9Sln05(b)))
    return count


a⨽⫟⩔b = { ((b⊉↱≁b)⋐⩹≹(⊙↵-b)) , if a<476 ; ((226⨱⩕b)⨔⊶↷(b⊓≸b)) , else }

def op_JEy7KhA6te(a, b):
    if a < 476:
        return op_ERCh0iueHk(op_w2P8NbNXyL(b,b),op_oWn0xqSxBt(b))
    else:
        return op_WObL9SsYVE(op_2c2Kvs5UmY(226,b),op_W9l7OelwO5(b,b))

def op_count_JEy7KhA6te(a, b):
    if a < 476:
        count = op_count_w2P8NbNXyL(b,b)+op_count_oWn0xqSxBt(b)+op_count_ERCh0iueHk(op_w2P8NbNXyL(b,b),op_oWn0xqSxBt(b))
    else:
        count = op_count_2c2Kvs5UmY(226,b)+op_count_W9l7OelwO5(b,b)+op_count_WObL9SsYVE(op_2c2Kvs5UmY(226,b),op_W9l7OelwO5(b,b))
    return count


a↮⨇∣b = { (b⫽⇹≛) , if (a!=539 or (⩣⨎⋒b)<=223) ; (b⪪a) , else }

def op_1fJnU3Bvbz(a, b):
    if (a != 539 or op_PMp644FDJe(b) <= 223):
        return op_NNaDxxp6OQ(b)
    else:
        return op_xD69zh8xqp(b,a)

def op_count_1fJnU3Bvbz(a, b):
    if (a != 539 or op_PMp644FDJe(b) <= 223):
        count = op_count_NNaDxxp6OQ(b)+op_count_PMp644FDJe(b)
    else:
        count = op_count_xD69zh8xqp(b,a)
    return count


a≓ = { ((a⊊⊦a)⊳(a⨯∁⨏a)) , if a<=1 ; ((255∫∘⫔a)⩆(a⨤↠⊭)) , else }

def op_84wZ3VzQvO(a):
    if a <= 1:
        return op_hmRjlYdCYn(op_e3R0INlQmt(a,a),op_0wRoqxy0RT(a,a))
    else:
        return op_QmMs3tyaZP(op_3TJII8pRfQ(255,a),op_Xp5ON8hGWA(a))

def op_count_84wZ3VzQvO(a):
    if a <= 1:
        count = op_count_e3R0INlQmt(a,a)+op_count_0wRoqxy0RT(a,a)+op_count_hmRjlYdCYn(op_e3R0INlQmt(a,a),op_0wRoqxy0RT(a,a))
    else:
        count = op_count_3TJII8pRfQ(255,a)+op_count_Xp5ON8hGWA(a)+op_count_QmMs3tyaZP(op_3TJII8pRfQ(255,a),op_Xp5ON8hGWA(a))
    return count


a⇎∌∐ = { (a≦⇷∬((30⨂a)⊥⋀(a⊳⫕≐a))) , if ((a↼⨜∘)<=60 and a>=82) ; (((a∩⨠⇪a)⇯(9≲⋳))⪠⋋((a⋓⋃691)≣⪪⪧(a⋲⨣⊼a))) , else }

def op_0DOZWxxBg7(a):
    if (op_2vc6jfJkHe(a) <= 60 and a >= 82):
        return op_koW2ZZv8cS(a,op_2HYkBhA3K5(op_fvY4jMd0AS(30,a),op_c0xLRV89Nr(a,a)))
    else:
        return op_vpnlV8YnDh(op_xtBOMFLMmK(op_1dP9oEiBvS(a,a),op_JAsMQSYFYM(9)),op_7Qh4uK5oHN(op_vQUWrCPLqI(a,691),op_enoNeSxeZq(a,a)))

def op_count_0DOZWxxBg7(a):
    if (op_2vc6jfJkHe(a) <= 60 and a >= 82):
        count = op_count_fvY4jMd0AS(30,a)+op_count_c0xLRV89Nr(a,a)+op_count_2HYkBhA3K5(op_fvY4jMd0AS(30,a),op_c0xLRV89Nr(a,a))+op_count_koW2ZZv8cS(a,op_2HYkBhA3K5(op_fvY4jMd0AS(30,a),op_c0xLRV89Nr(a,a)))+op_count_2vc6jfJkHe(a)
    else:
        count = op_count_1dP9oEiBvS(a,a)+op_count_JAsMQSYFYM(9)+op_count_xtBOMFLMmK(op_1dP9oEiBvS(a,a),op_JAsMQSYFYM(9))+op_count_vQUWrCPLqI(a,691)+op_count_enoNeSxeZq(a,a)+op_count_7Qh4uK5oHN(op_vQUWrCPLqI(a,691),op_enoNeSxeZq(a,a))+op_count_vpnlV8YnDh(op_xtBOMFLMmK(op_1dP9oEiBvS(a,a),op_JAsMQSYFYM(9)),op_7Qh4uK5oHN(op_vQUWrCPLqI(a,691),op_enoNeSxeZq(a,a)))
    return count


a≿⊨⋥b = { (⩣(⋏547)) , if (⫊≒≼b)>169 ; ((b≥⨤⩑a)⫴(a⊗⨾⋇b)) , else }

def op_8JSReAK0Vy(a, b):
    if op_8Rbqmg3L2h(b) > 169:
        return op_xwVg91SYUp(op_AWSeafXRiV(547))
    else:
        return op_0N1BchnEuL(op_gJLn6v0xnP(b,a),op_LDYsZkKpXC(a,b))

def op_count_8JSReAK0Vy(a, b):
    if op_8Rbqmg3L2h(b) > 169:
        count = op_count_AWSeafXRiV(547)+op_count_xwVg91SYUp(op_AWSeafXRiV(547))+op_count_8Rbqmg3L2h(b)
    else:
        count = op_count_gJLn6v0xnP(b,a)+op_count_LDYsZkKpXC(a,b)+op_count_0N1BchnEuL(op_gJLn6v0xnP(b,a),op_LDYsZkKpXC(a,b))
    return count


a⊔∸b = { (((394⨗⊀≚b)⪈∋)≰≳) , if (a⋌)<52 ; (((a⩙∖⇲a)⪘⫌(b⩊))⨲≁⇁((b≥⨤⩑b)⋍⨍(b⨭⇳⩶))) , else }

def op_6kUgJp8G8x(a, b):
    if op_VbgE6nPTyN(a) < 52:
        return op_KdUgOy5FMX(op_tZ6GdtsAZE(op_mvNXXmRTq7(394,b)))
    else:
        return op_vgQrgVQVNk(op_sySRPoZ5fv(op_Dr4yJ0dQtH(a,a),op_bL9bVDjnH3(b)),op_NjmQ0Rwe72(op_gJLn6v0xnP(b,b),op_IYjkFnrPhj(b)))

def op_count_6kUgJp8G8x(a, b):
    if op_VbgE6nPTyN(a) < 52:
        count = op_count_mvNXXmRTq7(394,b)+op_count_tZ6GdtsAZE(op_mvNXXmRTq7(394,b))+op_count_KdUgOy5FMX(op_tZ6GdtsAZE(op_mvNXXmRTq7(394,b)))+op_count_VbgE6nPTyN(a)
    else:
        count = op_count_Dr4yJ0dQtH(a,a)+op_count_bL9bVDjnH3(b)+op_count_sySRPoZ5fv(op_Dr4yJ0dQtH(a,a),op_bL9bVDjnH3(b))+op_count_gJLn6v0xnP(b,b)+op_count_IYjkFnrPhj(b)+op_count_NjmQ0Rwe72(op_gJLn6v0xnP(b,b),op_IYjkFnrPhj(b))+op_count_vgQrgVQVNk(op_sySRPoZ5fv(op_Dr4yJ0dQtH(a,a),op_bL9bVDjnH3(b)),op_NjmQ0Rwe72(op_gJLn6v0xnP(b,b),op_IYjkFnrPhj(b)))
    return count


def op_qd8qp14mSP(a, b):
    if op_eaFBhJ0Uku(a,477) >= 327:
        return op_TbULwM3gdg(op_uxpXySbnZx(151,a),op_6jnLtSreEI(73))
    else:
        return op_H7IE5R9nU5(op_hVQNqXJ0VF(a),op_jGfH5UPFW6(b,6))

def op_count_qd8qp14mSP(a, b):
    if op_eaFBhJ0Uku(a,477) >= 327:
        count = op_count_uxpXySbnZx(151,a)+op_count_6jnLtSreEI(73)+op_count_TbULwM3gdg(op_uxpXySbnZx(151,a),op_6jnLtSreEI(73))+op_count_eaFBhJ0Uku(a,477)
    else:
        count = op_count_hVQNqXJ0VF(a)+op_count_jGfH5UPFW6(b,6)+op_count_H7IE5R9nU5(op_hVQNqXJ0VF(a),op_jGfH5UPFW6(b,6))
    return count


≉⇺⊨a = { (((a∠a)∷∠⋱)↾((↺⫕a)⇕∤(a⩑≓a))) , if (⋃a)<34 ; (≋⊿≄((a⫐⩏∜a)∫⩜⪳a)) , else }

def op_juRe9x0E8B(a):
    if op_3mBM5G4a3l(a) < 34:
        return op_XmtODG4Sr9(op_R4f6djjN4a(op_jZOzHi7EqF(a,a)),op_vv8LpWl80y(op_iqq15fan1Y(a),op_StDAEzlBYm(a,a)))
    else:
        return op_mSR6zonr31(op_HYQYetZkj2(op_0wt1I76pQR(a,a),a))

def op_count_juRe9x0E8B(a):
    if op_3mBM5G4a3l(a) < 34:
        count = op_count_jZOzHi7EqF(a,a)+op_count_R4f6djjN4a(op_jZOzHi7EqF(a,a))+op_count_iqq15fan1Y(a)+op_count_StDAEzlBYm(a,a)+op_count_vv8LpWl80y(op_iqq15fan1Y(a),op_StDAEzlBYm(a,a))+op_count_XmtODG4Sr9(op_R4f6djjN4a(op_jZOzHi7EqF(a,a)),op_vv8LpWl80y(op_iqq15fan1Y(a),op_StDAEzlBYm(a,a)))+op_count_3mBM5G4a3l(a)
    else:
        count = op_count_0wt1I76pQR(a,a)+op_count_HYQYetZkj2(op_0wt1I76pQR(a,a),a)+op_count_mSR6zonr31(op_HYQYetZkj2(op_0wt1I76pQR(a,a),a))
    return count


a⪥⫞b = { (((38⇘⋃⇠b)⨊↕(a⋞⪨⇈b))⩉→⋫((2↾b)⇜⪿⇴(b⩶⨵297))) , if (a⋒∇⋹)<431 ; (((669⇨⪃⋨698)⪺⩒∧(⋭b))⩉((b⋂⩴b)⫧⋃≅(b⇿↡))) , else }

def op_3oK3CGrHP7(a, b):
    if op_SLnbwYKU1k(a) < 431:
        return op_OHdKWLbo3y(op_sDckQzKUSc(op_HCRZUvWJyW(38,b),op_DgPNDrFvSv(a,b)),op_HHyZ9Jp3JQ(op_XmtODG4Sr9(2,b),op_VxEd4nGCaq(b,297)))
    else:
        return op_OH3l0Vrv7d(op_6octCBlY1U(op_7JOOl3WMOF(669,698),op_pqh8fhqG2f(b)),op_rJlMWXggw2(op_hmlrMsD2PO(b,b),op_UfExUP4t10(b)))

def op_count_3oK3CGrHP7(a, b):
    if op_SLnbwYKU1k(a) < 431:
        count = op_count_HCRZUvWJyW(38,b)+op_count_DgPNDrFvSv(a,b)+op_count_sDckQzKUSc(op_HCRZUvWJyW(38,b),op_DgPNDrFvSv(a,b))+op_count_XmtODG4Sr9(2,b)+op_count_VxEd4nGCaq(b,297)+op_count_HHyZ9Jp3JQ(op_XmtODG4Sr9(2,b),op_VxEd4nGCaq(b,297))+op_count_OHdKWLbo3y(op_sDckQzKUSc(op_HCRZUvWJyW(38,b),op_DgPNDrFvSv(a,b)),op_HHyZ9Jp3JQ(op_XmtODG4Sr9(2,b),op_VxEd4nGCaq(b,297)))+op_count_SLnbwYKU1k(a)
    else:
        count = op_count_7JOOl3WMOF(669,698)+op_count_pqh8fhqG2f(b)+op_count_6octCBlY1U(op_7JOOl3WMOF(669,698),op_pqh8fhqG2f(b))+op_count_hmlrMsD2PO(b,b)+op_count_UfExUP4t10(b)+op_count_rJlMWXggw2(op_hmlrMsD2PO(b,b),op_UfExUP4t10(b))+op_count_OH3l0Vrv7d(op_6octCBlY1U(op_7JOOl3WMOF(669,698),op_pqh8fhqG2f(b)),op_rJlMWXggw2(op_hmlrMsD2PO(b,b),op_UfExUP4t10(b)))
    return count


def op_6BfsaRR7pl(a):
    if op_SI11VcxkTx(a) > 602:
        return op_waWucp1uQ4(219)
    else:
        return a

def op_count_6BfsaRR7pl(a):
    if op_SI11VcxkTx(a) > 602:
        count = op_count_waWucp1uQ4(219)+op_count_SI11VcxkTx(a)
    else:
        count = 1
    return count


↼⫲⋨a = { a , if (a≻⫁⇭)!=618 ; (251≥⨤⩑a) , else }

def op_sOrsctL3Iw(a):
    if op_gwsgbCbNkP(a) != 618:
        return a
    else:
        return op_gJLn6v0xnP(251,a)

def op_count_sOrsctL3Iw(a):
    if op_gwsgbCbNkP(a) != 618:
        count = 1
    else:
        count = op_count_gJLn6v0xnP(251,a)
    return count


def op_l6d3lDOrD5(a):
    return op_61SMRth1bf(op_gJLn6v0xnP(a,61),op_TBD2yOIirL(a,a))

def op_count_l6d3lDOrD5(a):
    count = op_count_gJLn6v0xnP(a,61)+op_count_TBD2yOIirL(a,a)+op_count_61SMRth1bf(op_gJLn6v0xnP(a,61),op_TBD2yOIirL(a,a))
    return count


⇲⨘⊗a = { (⇤∩((a⩵∡a)⊐)) , if (⋟↴⩑a)<=639 ; ((a⊓(a⨚528))⇁((a↓a)⨸∤⊸(a⋡⊕a))) , else }

def op_I691bYaoQR(a):
    if op_eo60u8kDZm(a) <= 639:
        return op_BxNL6VpnAK(op_pNiqsYmQ4e(op_Y7wcNGrDQJ(a,a)))
    else:
        return op_z4ujcxYYss(op_ExT1EayJM6(a,op_nREPSIbpBE(a,528)),op_GXvETGfcjc(op_Af076pWI7l(a,a),op_Q1zyOcezdx(a,a)))

def op_count_I691bYaoQR(a):
    if op_eo60u8kDZm(a) <= 639:
        count = op_count_Y7wcNGrDQJ(a,a)+op_count_pNiqsYmQ4e(op_Y7wcNGrDQJ(a,a))+op_count_BxNL6VpnAK(op_pNiqsYmQ4e(op_Y7wcNGrDQJ(a,a)))+op_count_eo60u8kDZm(a)
    else:
        count = op_count_nREPSIbpBE(a,528)+op_count_ExT1EayJM6(a,op_nREPSIbpBE(a,528))+op_count_Af076pWI7l(a,a)+op_count_Q1zyOcezdx(a,a)+op_count_GXvETGfcjc(op_Af076pWI7l(a,a),op_Q1zyOcezdx(a,a))+op_count_z4ujcxYYss(op_ExT1EayJM6(a,op_nREPSIbpBE(a,528)),op_GXvETGfcjc(op_Af076pWI7l(a,a),op_Q1zyOcezdx(a,a)))
    return count


a⊪∱⋤b = { (((b⊃⋢%b)∑⊏(⊈b))∳⫺((⪊607)⫳⊕≗(a≞∰⩧a))) , if (a⊄⇮)<190 or (a⪏⇥-234)>51 ; (((b⨐b)⪢(a⨔⊥⊮b))⪂↸16) , else }

def op_1YmprtVp9J(a, b):
    if op_9dNSVF2AR3(a) < 190 or op_frUONFVpe5(a,234) > 51:
        return op_AzXXKTstlj(op_6dpzsyEjuz(op_MGbPxTAMI3(b,b),op_RHru8klgy8(b)),op_dfTirE4uw8(op_lknk80lCW5(607),op_j7UVJQGE8k(a,a)))
    else:
        return op_ZIgapHiLMw(op_dWAJyo7jo9(op_Noe24qw2ks(b,b),op_UKXeKwF0uS(a,b)),16)

def op_count_1YmprtVp9J(a, b):
    if op_9dNSVF2AR3(a) < 190 or op_frUONFVpe5(a,234) > 51:
        count = op_count_MGbPxTAMI3(b,b)+op_count_RHru8klgy8(b)+op_count_6dpzsyEjuz(op_MGbPxTAMI3(b,b),op_RHru8klgy8(b))+op_count_lknk80lCW5(607)+op_count_j7UVJQGE8k(a,a)+op_count_dfTirE4uw8(op_lknk80lCW5(607),op_j7UVJQGE8k(a,a))+op_count_AzXXKTstlj(op_6dpzsyEjuz(op_MGbPxTAMI3(b,b),op_RHru8klgy8(b)),op_dfTirE4uw8(op_lknk80lCW5(607),op_j7UVJQGE8k(a,a)))+op_count_9dNSVF2AR3(a)+op_count_frUONFVpe5(a,234)
    else:
        count = op_count_Noe24qw2ks(b,b)+op_count_UKXeKwF0uS(a,b)+op_count_dWAJyo7jo9(op_Noe24qw2ks(b,b),op_UKXeKwF0uS(a,b))+op_count_ZIgapHiLMw(op_dWAJyo7jo9(op_Noe24qw2ks(b,b),op_UKXeKwF0uS(a,b)),16)
    return count


a⪴⊉⩤ = { (a⫺⇀⫂a) , if (a⪒⫴≏687)<58 ; (⪓⩚a) , else }

def op_XfoY1Ceqcw(a):
    if op_wZ022U9HON(a,687) < 58:
        return op_TSnReAWEO2(a,a)
    else:
        return op_u0R0Locfp2(a)

def op_count_XfoY1Ceqcw(a):
    if op_wZ022U9HON(a,687) < 58:
        count = op_count_TSnReAWEO2(a,a)+op_count_wZ022U9HON(a,687)
    else:
        count = op_count_u0R0Locfp2(a)
    return count


a↔⨩⫁ = { (a↘⋏) , if (a⪟↷)==631 ; (a↕⋲a) , else }

def op_6endt8kKyI(a):
    if op_CowNEiWUa3(a) == 631:
        return op_cB80CVIL8n(a)
    else:
        return op_4fBBH5YYk9(a,a)

def op_count_6endt8kKyI(a):
    if op_CowNEiWUa3(a) == 631:
        count = op_count_cB80CVIL8n(a)+op_count_CowNEiWUa3(a)
    else:
        count = op_count_4fBBH5YYk9(a,a)
    return count


def op_WKrwE01Wo4(a):
    if op_IDDgyz04Ei(a) < 51:
        return op_tqmm8txHHJ(op_ezv41XLVK4(op_jYgKUhfDbv(252,a),op_lwHaAYXP2r(66,a)),op_Mcn3daWqHc(op_LsZlLlgs1U(109),op_vas5LJo2XG(302)))
    else:
        return op_InYySgip2F(op_9onfuQE7Rk(a),op_5BPGwbLSwr(op_7sDzKfGRLI(a,a),op_aKrygNiu38(a,611)))

def op_count_WKrwE01Wo4(a):
    if op_IDDgyz04Ei(a) < 51:
        count = op_count_jYgKUhfDbv(252,a)+op_count_lwHaAYXP2r(66,a)+op_count_ezv41XLVK4(op_jYgKUhfDbv(252,a),op_lwHaAYXP2r(66,a))+op_count_LsZlLlgs1U(109)+op_count_vas5LJo2XG(302)+op_count_Mcn3daWqHc(op_LsZlLlgs1U(109),op_vas5LJo2XG(302))+op_count_tqmm8txHHJ(op_ezv41XLVK4(op_jYgKUhfDbv(252,a),op_lwHaAYXP2r(66,a)),op_Mcn3daWqHc(op_LsZlLlgs1U(109),op_vas5LJo2XG(302)))+op_count_IDDgyz04Ei(a)
    else:
        count = op_count_9onfuQE7Rk(a)+op_count_7sDzKfGRLI(a,a)+op_count_aKrygNiu38(a,611)+op_count_5BPGwbLSwr(op_7sDzKfGRLI(a,a),op_aKrygNiu38(a,611))+op_count_InYySgip2F(op_9onfuQE7Rk(a),op_5BPGwbLSwr(op_7sDzKfGRLI(a,a),op_aKrygNiu38(a,611)))
    return count


def op_bpWG3xhwCA(a, b):
    if a <= 114 or op_C8IQglFYk9(b) == 293:
        return op_kR5rHuKjR1(op_r2SrZsyW6O(a,b))
    else:
        return op_24nwyATvD7(op_EEycz8o2AV(b),175)

def op_count_bpWG3xhwCA(a, b):
    if a <= 114 or op_C8IQglFYk9(b) == 293:
        count = op_count_r2SrZsyW6O(a,b)+op_count_kR5rHuKjR1(op_r2SrZsyW6O(a,b))+op_count_C8IQglFYk9(b)
    else:
        count = op_count_EEycz8o2AV(b)+op_count_24nwyATvD7(op_EEycz8o2AV(b),175)
    return count


def op_ijLAIEqlmR(a):
    if op_EAnnDYaExr(a) == 140:
        return op_SWo3A1KBJH(a)
    else:
        return op_R853JquVHs(662,1)

def op_count_ijLAIEqlmR(a):
    if op_EAnnDYaExr(a) == 140:
        count = op_count_SWo3A1KBJH(a)+op_count_EAnnDYaExr(a)
    else:
        count = op_count_R853JquVHs(662,1)
    return count


def op_ywIRzWCRIJ(a, b):
    if b == 205:
        return op_O9U3z1385E(72)
    else:
        return op_kVSeQakJeK(b,a)

def op_count_ywIRzWCRIJ(a, b):
    if b == 205:
        count = op_count_O9U3z1385E(72)
    else:
        count = op_count_kVSeQakJeK(b,a)
    return count


def op_mUVGd8eAGQ(a):
    if (op_KmoU8R5UQR(a,92) < 203 and a <= 730):
        return op_nuZMgjAhXC(a)
    else:
        return a

def op_count_mUVGd8eAGQ(a):
    if (op_KmoU8R5UQR(a,92) < 203 and a <= 730):
        count = op_count_nuZMgjAhXC(a)+op_count_KmoU8R5UQR(a,92)
    else:
        count = 1
    return count


a⪱∗⩯b = { (⊀⋆(⊅⩞≮b)) , if (b⨿↛8)!=468 ; ((a⫻⫣b)∍(∾∔b)) , else }

def op_dyxpMQgVc3(a, b):
    if op_SlXQBQlOF8(b,8) != 468:
        return op_ZLUFTvfu0f(op_5UNAVQY1F7(b))
    else:
        return op_9rNHCbYvka(op_Mqg6Kpcx5i(a,b),op_mhiGTHl996(b))

def op_count_dyxpMQgVc3(a, b):
    if op_SlXQBQlOF8(b,8) != 468:
        count = op_count_5UNAVQY1F7(b)+op_count_ZLUFTvfu0f(op_5UNAVQY1F7(b))+op_count_SlXQBQlOF8(b,8)
    else:
        count = op_count_Mqg6Kpcx5i(a,b)+op_count_mhiGTHl996(b)+op_count_9rNHCbYvka(op_Mqg6Kpcx5i(a,b),op_mhiGTHl996(b))
    return count


a⩮⫯b = { (42∜b) , if (a⊗≭)>=9 ; (a∐⪡a) , else }

def op_mHjHiGkaKy(a, b):
    if op_LEwYTyxvmM(a) >= 9:
        return op_VX9aY244yz(42,b)
    else:
        return op_F5wFo2T9P3(a,a)

def op_count_mHjHiGkaKy(a, b):
    if op_LEwYTyxvmM(a) >= 9:
        count = op_count_VX9aY244yz(42,b)+op_count_LEwYTyxvmM(a)
    else:
        count = op_count_F5wFo2T9P3(a,a)
    return count


a↰↷b = { ((b⋵⊳⊩b)⇲b) , if (b∕⊭⩐)>=413 ; ((b⋗⨥⇺b)⩑≓(⨆↞⨞a)) , else }

def op_PhsAhB8QR5(a, b):
    if op_3NA69MsM6K(b) >= 413:
        return op_24nwyATvD7(op_NrrDGmnwKr(b,b),b)
    else:
        return op_StDAEzlBYm(op_dLCAdcn76Q(b,b),op_DIFeRzIvat(a))

def op_count_PhsAhB8QR5(a, b):
    if op_3NA69MsM6K(b) >= 413:
        count = op_count_NrrDGmnwKr(b,b)+op_count_24nwyATvD7(op_NrrDGmnwKr(b,b),b)+op_count_3NA69MsM6K(b)
    else:
        count = op_count_dLCAdcn76Q(b,b)+op_count_DIFeRzIvat(a)+op_count_StDAEzlBYm(op_dLCAdcn76Q(b,b),op_DIFeRzIvat(a))
    return count


a↤≣b = { ((⨶⫂⊶250)≺⋏(a∰⫀⋄b)) , if a==144 ; ((b⋚↵⨭a)⨲∙) , else }

def op_MeYs8TY2lN(a, b):
    if a == 144:
        return op_exBNT1EbB9(op_jXDDweKMrz(250),op_Cwt3GTOVka(a,b))
    else:
        return op_cRahaglYVE(op_EhNdXCgA70(b,a))

def op_count_MeYs8TY2lN(a, b):
    if a == 144:
        count = op_count_jXDDweKMrz(250)+op_count_Cwt3GTOVka(a,b)+op_count_exBNT1EbB9(op_jXDDweKMrz(250),op_Cwt3GTOVka(a,b))
    else:
        count = op_count_EhNdXCgA70(b,a)+op_count_cRahaglYVE(op_EhNdXCgA70(b,a))
    return count


a⊧↰ = { (((a⩩∧⨆a)*⇘(a∲⪻381))⫱⨄((a⊠⋵⩢a)≮⫀↢(a⋙⪠a))) , if (a⫖≨⩺174)==199 ; (((a≍↿≦55)⫔⇒(a∾≱391))⩺⋐⫨) , else }

def op_bnzuCieixi(a):
    if op_YtFLMpyAae(a,174) == 199:
        return op_FWWC6DdxcU(op_5JlONKxcBp(op_tzokWjBnUu(a,a),op_oS3yjF67M5(a,381)),op_seBVGjDgw8(op_M0mAKAgWvJ(a,a),op_vPmKJA6wUP(a,a)))
    else:
        return op_yS9ePUuUdn(op_xolZLAALD1(op_TSUy8hrQkO(a,55),op_RX5zLEmt4k(a,391)))

def op_count_bnzuCieixi(a):
    if op_YtFLMpyAae(a,174) == 199:
        count = op_count_tzokWjBnUu(a,a)+op_count_oS3yjF67M5(a,381)+op_count_5JlONKxcBp(op_tzokWjBnUu(a,a),op_oS3yjF67M5(a,381))+op_count_M0mAKAgWvJ(a,a)+op_count_vPmKJA6wUP(a,a)+op_count_seBVGjDgw8(op_M0mAKAgWvJ(a,a),op_vPmKJA6wUP(a,a))+op_count_FWWC6DdxcU(op_5JlONKxcBp(op_tzokWjBnUu(a,a),op_oS3yjF67M5(a,381)),op_seBVGjDgw8(op_M0mAKAgWvJ(a,a),op_vPmKJA6wUP(a,a)))+op_count_YtFLMpyAae(a,174)
    else:
        count = op_count_TSUy8hrQkO(a,55)+op_count_RX5zLEmt4k(a,391)+op_count_xolZLAALD1(op_TSUy8hrQkO(a,55),op_RX5zLEmt4k(a,391))+op_count_yS9ePUuUdn(op_xolZLAALD1(op_TSUy8hrQkO(a,55),op_RX5zLEmt4k(a,391)))
    return count


a⪫⫨⩂b = { (⇃((25⇻⫙)∫⩜⪳(a∫∐∢a))) , if (a∿⨢≣843)<51 ; (((b⩓⋯⨒b)⫌⫔⇌)⊡≗b) , else }

def op_H87BKiGC8Y(a, b):
    if op_hZqwc3tfoN(a,843) < 51:
        return op_i4Pfiorep6(op_HYQYetZkj2(op_lgzN2IkfN5(25),op_US97TQlt8r(a,a)))
    else:
        return op_8fYlehcX6L(op_MDGfnd99Hk(op_vJA4po4RDE(b,b)),b)

def op_count_H87BKiGC8Y(a, b):
    if op_hZqwc3tfoN(a,843) < 51:
        count = op_count_lgzN2IkfN5(25)+op_count_US97TQlt8r(a,a)+op_count_HYQYetZkj2(op_lgzN2IkfN5(25),op_US97TQlt8r(a,a))+op_count_i4Pfiorep6(op_HYQYetZkj2(op_lgzN2IkfN5(25),op_US97TQlt8r(a,a)))+op_count_hZqwc3tfoN(a,843)
    else:
        count = op_count_vJA4po4RDE(b,b)+op_count_MDGfnd99Hk(op_vJA4po4RDE(b,b))+op_count_8fYlehcX6L(op_MDGfnd99Hk(op_vJA4po4RDE(b,b)),b)
    return count


a⫂⋇⩚b = { (b⨪↰⇹a) , if (a⩊⨖)>=517 ; (b≯⨴⫤a) , else }

def op_jqQE7070fF(a, b):
    if op_VNFuwohCu5(a) >= 517:
        return op_tmPS8pqC7x(b,a)
    else:
        return op_OEiktesKRI(b,a)

def op_count_jqQE7070fF(a, b):
    if op_VNFuwohCu5(a) >= 517:
        count = op_count_tmPS8pqC7x(b,a)+op_count_VNFuwohCu5(a)
    else:
        count = op_count_OEiktesKRI(b,a)
    return count


a⋹⨔b = { (a⩺⪪a) , if ((⊛⪶a)>=92 and (a∁⨜⊄)<57) ; b , else }

def op_RdYriX7qu7(a, b):
    if (op_WuDju6Xg1a(a) >= 92 and op_ESJ9zyMYM4(a) < 57):
        return op_uvdQJvN4PV(a,a)
    else:
        return b

def op_count_RdYriX7qu7(a, b):
    if (op_WuDju6Xg1a(a) >= 92 and op_ESJ9zyMYM4(a) < 57):
        count = op_count_uvdQJvN4PV(a,a)+op_count_WuDju6Xg1a(a)+op_count_ESJ9zyMYM4(a)
    else:
        count = 1
    return count


def op_2WjbR4jpJS(a):
    if (op_AA4upKd8ki(a) != 611 or op_cnKzxr1wWw(a,69) >= 428):
        return op_udD8TXgqfB(op_QZ1Dv19kB2(op_vmCBT8NNrW(a,a)))
    else:
        return op_SHsB2qJFpV(op_F5sOeBPF7d(253,a),op_xSk1F0pZbF(op_U5ZKo8DQUb(240,a),op_S2ubVDYUV4(a,a)))

def op_count_2WjbR4jpJS(a):
    if (op_AA4upKd8ki(a) != 611 or op_cnKzxr1wWw(a,69) >= 428):
        count = op_count_vmCBT8NNrW(a,a)+op_count_QZ1Dv19kB2(op_vmCBT8NNrW(a,a))+op_count_udD8TXgqfB(op_QZ1Dv19kB2(op_vmCBT8NNrW(a,a)))+op_count_AA4upKd8ki(a)+op_count_cnKzxr1wWw(a,69)
    else:
        count = op_count_F5sOeBPF7d(253,a)+op_count_U5ZKo8DQUb(240,a)+op_count_S2ubVDYUV4(a,a)+op_count_xSk1F0pZbF(op_U5ZKo8DQUb(240,a),op_S2ubVDYUV4(a,a))+op_count_SHsB2qJFpV(op_F5sOeBPF7d(253,a),op_xSk1F0pZbF(op_U5ZKo8DQUb(240,a),op_S2ubVDYUV4(a,a)))
    return count


a⪩∃b = { (((b⊔⫏)≑∓(a∌a))⩯⫘⫒((a↕∇⋍b)≏⪷⨊(b⪚⫟8))) , if (b≦⇟⩠820)>260 or a<=185 ; (((a⋛⩥)⇾⫟305)∯↪((141⪘⇬∩b)⩀↣(b⊗⩛b))) , else }

def op_ssdYMW82ZA(a, b):
    if op_kWb6VvCuY5(b,820) > 260 or a <= 185:
        return op_JJqjdL2EOb(op_SYQDw94fy9(op_YkXXfHVFPI(b),op_8cLx32lpNA(a,a)),op_aP2QVQG16R(op_XRjwFXip4B(a,b),op_attoALb2Xr(b,8)))
    else:
        return op_4OmwL35pJX(op_v4BQkv4qJ3(op_lz4dBNPYLn(a),305),op_OstGYNawjH(op_Bg9zIMXgOw(141,b),op_ZuEtOFAVcg(b,b)))

def op_count_ssdYMW82ZA(a, b):
    if op_kWb6VvCuY5(b,820) > 260 or a <= 185:
        count = op_count_YkXXfHVFPI(b)+op_count_8cLx32lpNA(a,a)+op_count_SYQDw94fy9(op_YkXXfHVFPI(b),op_8cLx32lpNA(a,a))+op_count_XRjwFXip4B(a,b)+op_count_attoALb2Xr(b,8)+op_count_aP2QVQG16R(op_XRjwFXip4B(a,b),op_attoALb2Xr(b,8))+op_count_JJqjdL2EOb(op_SYQDw94fy9(op_YkXXfHVFPI(b),op_8cLx32lpNA(a,a)),op_aP2QVQG16R(op_XRjwFXip4B(a,b),op_attoALb2Xr(b,8)))+op_count_kWb6VvCuY5(b,820)
    else:
        count = op_count_lz4dBNPYLn(a)+op_count_v4BQkv4qJ3(op_lz4dBNPYLn(a),305)+op_count_Bg9zIMXgOw(141,b)+op_count_ZuEtOFAVcg(b,b)+op_count_OstGYNawjH(op_Bg9zIMXgOw(141,b),op_ZuEtOFAVcg(b,b))+op_count_4OmwL35pJX(op_v4BQkv4qJ3(op_lz4dBNPYLn(a),305),op_OstGYNawjH(op_Bg9zIMXgOw(141,b),op_ZuEtOFAVcg(b,b)))
    return count


⊮⩕a = { ((a≶⋎a)⫚⨥) , if (≏⪳a)>67 ; ((a∬⊓654)⩚⩷⇎(⪇∀a)) , else }

def op_Dz9c7EalIr(a):
    if op_SYOdA8ocB9(a) > 67:
        return op_5htHiqXdCj(op_KKQjbbJ9ie(a,a))
    else:
        return op_NYIHRc2x51(op_y0qJaDkwff(a,654),op_3uu3byueWr(a))

def op_count_Dz9c7EalIr(a):
    if op_SYOdA8ocB9(a) > 67:
        count = op_count_KKQjbbJ9ie(a,a)+op_count_5htHiqXdCj(op_KKQjbbJ9ie(a,a))+op_count_SYOdA8ocB9(a)
    else:
        count = op_count_y0qJaDkwff(a,654)+op_count_3uu3byueWr(a)+op_count_NYIHRc2x51(op_y0qJaDkwff(a,654),op_3uu3byueWr(a))
    return count


def op_c2EN3bedbk(a, b):
    return op_xiKbUzfUz0(op_8cLx32lpNA(b,a))

def op_count_c2EN3bedbk(a, b):
    count = op_count_8cLx32lpNA(b,a)+op_count_xiKbUzfUz0(op_8cLx32lpNA(b,a))
    return count


def op_0IJnPRqYAE(a, b):
    if op_BM37NSA12W(a) != 124 and op_riWVmlCsxw(a) < 32:
        return op_NnTbxo2Idi(op_W4YGzv6Whe(a,a))
    else:
        return op_nDybdB13Ph(b,op_cJjtybAweL(22,360))

def op_count_0IJnPRqYAE(a, b):
    if op_BM37NSA12W(a) != 124 and op_riWVmlCsxw(a) < 32:
        count = op_count_W4YGzv6Whe(a,a)+op_count_NnTbxo2Idi(op_W4YGzv6Whe(a,a))+op_count_BM37NSA12W(a)+op_count_riWVmlCsxw(a)
    else:
        count = op_count_cJjtybAweL(22,360)+op_count_nDybdB13Ph(b,op_cJjtybAweL(22,360))
    return count


def op_F4FETcNwDq(a, b):
    if a >= 139:
        return op_eRqsBgTDFp(b,op_8EAfVIn5ao(op_WNQsNB10vU(2),op_DolxePZw3A(a)))
    else:
        return op_6LEqcG83L6(op_Dk6V8i6EvU(op_zqpnzlcbs4(b,a),op_DB9nkKv9Ue(353,b)),op_XCY0eMNfgm(op_Qctrpi3WzA(b),op_vwdxqpDU32(609,a)))

def op_count_F4FETcNwDq(a, b):
    if a >= 139:
        count = op_count_WNQsNB10vU(2)+op_count_DolxePZw3A(a)+op_count_8EAfVIn5ao(op_WNQsNB10vU(2),op_DolxePZw3A(a))+op_count_eRqsBgTDFp(b,op_8EAfVIn5ao(op_WNQsNB10vU(2),op_DolxePZw3A(a)))
    else:
        count = op_count_zqpnzlcbs4(b,a)+op_count_DB9nkKv9Ue(353,b)+op_count_Dk6V8i6EvU(op_zqpnzlcbs4(b,a),op_DB9nkKv9Ue(353,b))+op_count_Qctrpi3WzA(b)+op_count_vwdxqpDU32(609,a)+op_count_XCY0eMNfgm(op_Qctrpi3WzA(b),op_vwdxqpDU32(609,a))+op_count_6LEqcG83L6(op_Dk6V8i6EvU(op_zqpnzlcbs4(b,a),op_DB9nkKv9Ue(353,b)),op_XCY0eMNfgm(op_Qctrpi3WzA(b),op_vwdxqpDU32(609,a)))
    return count


a⩏∷⫄b = { ((a⨥⫆b)⨈(97≀⫉a)) , if (a⨩)!=20 ; ((a∛⋻↤b)⊒⊉⇡(↣⩶⇟a)) , else }

def op_dW9gTyyBp9(a, b):
    if op_weFp838rcz(a) != 20:
        return op_A4Cuy9E95d(op_yXekIHxTD4(a,b),op_oZj3VtZNQx(97,a))
    else:
        return op_cu7YvshKwT(op_k3GVCLYZsC(a,b),op_g79TAGw6Ip(a))

def op_count_dW9gTyyBp9(a, b):
    if op_weFp838rcz(a) != 20:
        count = op_count_yXekIHxTD4(a,b)+op_count_oZj3VtZNQx(97,a)+op_count_A4Cuy9E95d(op_yXekIHxTD4(a,b),op_oZj3VtZNQx(97,a))+op_count_weFp838rcz(a)
    else:
        count = op_count_k3GVCLYZsC(a,b)+op_count_g79TAGw6Ip(a)+op_count_cu7YvshKwT(op_k3GVCLYZsC(a,b),op_g79TAGw6Ip(a))
    return count


def op_36oyC1E11C(a):
    if a >= 386 or op_Fic7usBSnH(a) >= 382:
        return 702
    else:
        return op_VEQNXA0ZBg(a)

def op_count_36oyC1E11C(a):
    if a >= 386 or op_Fic7usBSnH(a) >= 382:
        count = op_count_Fic7usBSnH(a)
    else:
        count = op_count_VEQNXA0ZBg(a)
    return count


def op_yofmh8TXli(a):
    if op_0D7yuLhasi(a) < 251:
        return op_moP16zZBUU(290,a)
    else:
        return op_i4Pfiorep6(a)

def op_count_yofmh8TXli(a):
    if op_0D7yuLhasi(a) < 251:
        count = op_count_moP16zZBUU(290,a)+op_count_0D7yuLhasi(a)
    else:
        count = op_count_i4Pfiorep6(a)
    return count


a⪜⊀⨌ = { (a⪹⫧⇽) , if a<=54 ; (6⫏⨳) , else }

def op_hXOBMgjpDE(a):
    if a <= 54:
        return op_RUvFhAOGfE(a)
    else:
        return op_uYFMMs11JB(6)

def op_count_hXOBMgjpDE(a):
    if a <= 54:
        count = op_count_RUvFhAOGfE(a)
    else:
        count = op_count_uYFMMs11JB(6)
    return count


a≑⇖⨧ = { (∻↝⊨a) , if a<265 ; (a⋆⪎⪨10) , else }

def op_XtYRr4mNkg(a):
    if a < 265:
        return op_HM9ofUKDT9(a)
    else:
        return op_kLz9fXvToG(a,10)

def op_count_XtYRr4mNkg(a):
    if a < 265:
        count = op_count_HM9ofUKDT9(a)
    else:
        count = op_count_kLz9fXvToG(a,10)
    return count


a↮⨸⨚b = { (a⩃98) , if (∔⫍a)==71 ; (a⇷b) , else }

def op_qUdDiQCoDi(a, b):
    if op_K0MBgY5f4d(a) == 71:
        return op_7IRjtmSsUO(a,98)
    else:
        return op_mp7IySMOzn(a,b)

def op_count_qUdDiQCoDi(a, b):
    if op_K0MBgY5f4d(a) == 71:
        count = op_count_7IRjtmSsUO(a,98)+op_count_K0MBgY5f4d(a)
    else:
        count = op_count_mp7IySMOzn(a,b)
    return count


def op_RoF4bFLqIl(a):
    if op_dJiJYRflmL(a) <= 311:
        return op_InRsNkjnGi(a,303)
    else:
        return op_3tVxb0NHM4(a,a)

def op_count_RoF4bFLqIl(a):
    if op_dJiJYRflmL(a) <= 311:
        count = op_count_InRsNkjnGi(a,303)+op_count_dJiJYRflmL(a)
    else:
        count = op_count_3tVxb0NHM4(a,a)
    return count


def op_Us0J5kHGWE(a):
    if op_u7GmA9CWxF(a) == 24:
        return op_WdvBu47IBD(a)
    else:
        return op_FJ3oXK3UQ0(a,386)

def op_count_Us0J5kHGWE(a):
    if op_u7GmA9CWxF(a) == 24:
        count = op_count_WdvBu47IBD(a)+op_count_u7GmA9CWxF(a)
    else:
        count = op_count_FJ3oXK3UQ0(a,386)
    return count


a⨷≻⩐b = { (b⩎⪣⊞) , if (⩱∐a)>45 ; (82∼⇢a) , else }

def op_WeVnYaDh1n(a, b):
    if op_npvO5i13Qd(a) > 45:
        return op_waWucp1uQ4(b)
    else:
        return op_Cr5xnr8B4B(82,a)

def op_count_WeVnYaDh1n(a, b):
    if op_npvO5i13Qd(a) > 45:
        count = op_count_waWucp1uQ4(b)+op_count_npvO5i13Qd(a)
    else:
        count = op_count_Cr5xnr8B4B(82,a)
    return count


⋂≪⩹a = { (((a⨸∤⊸a)↓∂⫆(a%⋁⇘a))⇒⊞⨞((a⪰⨦⋀a)⊮⊟↴(a⫆⊡⫚a))) , if a!=210 ; (((⊬↢a)⩮(a∨⋤⇐a))∛⇘((a⪆⨋∈a)⊝⪿⪼(a⨮⊪⩳a))) , else }

def op_he19AcpWpK(a):
    if a != 210:
        return op_3TQ6NmgUL8(op_UO7sojQx20(op_GXvETGfcjc(a,a),op_AOY1O378J6(a,a)),op_QDVgd2eftb(op_1m18G2N8t2(a,a),op_POxaEwwkES(a,a)))
    else:
        return op_m5a1S9LJYP(op_265LmWy1dS(op_WPoGxAaPR1(a),op_XAozx2NkZN(a,a)),op_3Oe9XWJUTD(op_SHsB2qJFpV(a,a),op_xgYOZyJC4Q(a,a)))

def op_count_he19AcpWpK(a):
    if a != 210:
        count = op_count_GXvETGfcjc(a,a)+op_count_AOY1O378J6(a,a)+op_count_UO7sojQx20(op_GXvETGfcjc(a,a),op_AOY1O378J6(a,a))+op_count_1m18G2N8t2(a,a)+op_count_POxaEwwkES(a,a)+op_count_QDVgd2eftb(op_1m18G2N8t2(a,a),op_POxaEwwkES(a,a))+op_count_3TQ6NmgUL8(op_UO7sojQx20(op_GXvETGfcjc(a,a),op_AOY1O378J6(a,a)),op_QDVgd2eftb(op_1m18G2N8t2(a,a),op_POxaEwwkES(a,a)))
    else:
        count = op_count_WPoGxAaPR1(a)+op_count_XAozx2NkZN(a,a)+op_count_265LmWy1dS(op_WPoGxAaPR1(a),op_XAozx2NkZN(a,a))+op_count_SHsB2qJFpV(a,a)+op_count_xgYOZyJC4Q(a,a)+op_count_3Oe9XWJUTD(op_SHsB2qJFpV(a,a),op_xgYOZyJC4Q(a,a))+op_count_m5a1S9LJYP(op_265LmWy1dS(op_WPoGxAaPR1(a),op_XAozx2NkZN(a,a)),op_3Oe9XWJUTD(op_SHsB2qJFpV(a,a),op_xgYOZyJC4Q(a,a)))
    return count


a⪹⨥ = { ((401∢⫮≞a)⫄⋒↱(a∝⋌⇬a)) , if (a⨾⊄⪓664)>174 ; ((a⊟↞⨋)↷≇(438⪌⨞a)) , else }

def op_KFusDbNECn(a):
    if op_BeKUusqXDm(a,664) > 174:
        return op_crtJ4cV1Co(op_NV1XkC78JZ(401,a),op_25jDJzUX4z(a,a))
    else:
        return op_KoHHRSveB1(op_akoXB3dKtI(a),op_pdOSkNoazV(438,a))

def op_count_KFusDbNECn(a):
    if op_BeKUusqXDm(a,664) > 174:
        count = op_count_NV1XkC78JZ(401,a)+op_count_25jDJzUX4z(a,a)+op_count_crtJ4cV1Co(op_NV1XkC78JZ(401,a),op_25jDJzUX4z(a,a))+op_count_BeKUusqXDm(a,664)
    else:
        count = op_count_akoXB3dKtI(a)+op_count_pdOSkNoazV(438,a)+op_count_KoHHRSveB1(op_akoXB3dKtI(a),op_pdOSkNoazV(438,a))
    return count


a≄≄⋘ = { (((⋪⨠⊼103)⩸⋪(a≶⩢↻a))⪞⫆((⪆a)≖⨚/(⪭⩑⪱a))) , if a!=444 ; (((372⋓⪊⫫a)⪏⇥-(a⫏∊∨a))⋁⫌((a⪒⩉a)∫⨆⊨(a∙∹∝a))) , else }

def op_ixfGDaCFNQ(a):
    if a != 444:
        return op_mdTgU5jPNV(op_avxXIHzjv1(op_TN95HPKuwU(103),op_FivK695Inb(a,a)),op_0ftGoQG529(op_KWeyIRWUIQ(a),op_SIgE0bArFf(a)))
    else:
        return op_uIQPaHHdVQ(op_frUONFVpe5(op_tIVorTW24W(372,a),op_xgB3tWPdtm(a,a)),op_IDcHNuZ7N0(op_JZ6LT1lUci(a,a),op_HmxsFra2vL(a,a)))

def op_count_ixfGDaCFNQ(a):
    if a != 444:
        count = op_count_TN95HPKuwU(103)+op_count_FivK695Inb(a,a)+op_count_avxXIHzjv1(op_TN95HPKuwU(103),op_FivK695Inb(a,a))+op_count_KWeyIRWUIQ(a)+op_count_SIgE0bArFf(a)+op_count_0ftGoQG529(op_KWeyIRWUIQ(a),op_SIgE0bArFf(a))+op_count_mdTgU5jPNV(op_avxXIHzjv1(op_TN95HPKuwU(103),op_FivK695Inb(a,a)),op_0ftGoQG529(op_KWeyIRWUIQ(a),op_SIgE0bArFf(a)))
    else:
        count = op_count_tIVorTW24W(372,a)+op_count_xgB3tWPdtm(a,a)+op_count_frUONFVpe5(op_tIVorTW24W(372,a),op_xgB3tWPdtm(a,a))+op_count_JZ6LT1lUci(a,a)+op_count_HmxsFra2vL(a,a)+op_count_IDcHNuZ7N0(op_JZ6LT1lUci(a,a),op_HmxsFra2vL(a,a))+op_count_uIQPaHHdVQ(op_frUONFVpe5(op_tIVorTW24W(372,a),op_xgB3tWPdtm(a,a)),op_IDcHNuZ7N0(op_JZ6LT1lUci(a,a),op_HmxsFra2vL(a,a)))
    return count


⋅≥a = { (↽⫑⋬(⇃a)) , if a>275 or (⋦⋼∤a)<=13 ; ((a⊷⊙∯)≿≇⋫(a↮a)) , else }

def op_WrQGA6Tb8A(a):
    if a > 275 or op_EPQYTAAjDN(a) <= 13:
        return op_alUqptSmQ5(op_i4Pfiorep6(a))
    else:
        return op_IlBaPZfJxA(op_PTLmVBoW1R(a),op_ugTrrffvJh(a,a))

def op_count_WrQGA6Tb8A(a):
    if a > 275 or op_EPQYTAAjDN(a) <= 13:
        count = op_count_i4Pfiorep6(a)+op_count_alUqptSmQ5(op_i4Pfiorep6(a))+op_count_EPQYTAAjDN(a)
    else:
        count = op_count_PTLmVBoW1R(a)+op_count_ugTrrffvJh(a,a)+op_count_IlBaPZfJxA(op_PTLmVBoW1R(a),op_ugTrrffvJh(a,a))
    return count


def op_r9oBSF0R1z(a, b):
    if b == 250:
        return op_uPjn7n5pli(op_w5FWba1tyO(b),op_omOgCPqb2l(78,706))
    else:
        return op_OV481x3Hpp(op_WebgaPI6Gt(a,a),83)

def op_count_r9oBSF0R1z(a, b):
    if b == 250:
        count = op_count_w5FWba1tyO(b)+op_count_omOgCPqb2l(78,706)+op_count_uPjn7n5pli(op_w5FWba1tyO(b),op_omOgCPqb2l(78,706))
    else:
        count = op_count_WebgaPI6Gt(a,a)+op_count_OV481x3Hpp(op_WebgaPI6Gt(a,a),83)
    return count


a≌⇴⊤b = { (((b∴⋮↜b)⇍⇀∫(a⊥≍⋁a))⨑⫡((105∦⋟⋗)↛⩡⫤)) , if (b⪢∋)>=207 ; (((a⪃⩐⨑b)≋⫝(b⊄⋑a))≵⩾⇗((a⪦a)⫯∃(a∨≍⨱a))) , else }

def op_UYEGcvXLMF(a, b):
    if op_l1muhaaOLA(b) >= 207:
        return op_hy4PdIL0lw(op_KJGMR4YWSg(op_LFP2zRhVLi(b,b),op_UuQ5TkIIzY(a,a)),op_FU0Cs4j7VP(op_j8wzaSQQPZ(105)))
    else:
        return op_GyJNigkHRe(op_HUtdSlaloT(op_7OL7g5oVtb(a,b),op_dS7emaQrdo(b,a)),op_fyvQKNYXMd(op_S2EdmdiVZh(a,a),op_MBVn70KtPJ(a,a)))

def op_count_UYEGcvXLMF(a, b):
    if op_l1muhaaOLA(b) >= 207:
        count = op_count_LFP2zRhVLi(b,b)+op_count_UuQ5TkIIzY(a,a)+op_count_KJGMR4YWSg(op_LFP2zRhVLi(b,b),op_UuQ5TkIIzY(a,a))+op_count_j8wzaSQQPZ(105)+op_count_FU0Cs4j7VP(op_j8wzaSQQPZ(105))+op_count_hy4PdIL0lw(op_KJGMR4YWSg(op_LFP2zRhVLi(b,b),op_UuQ5TkIIzY(a,a)),op_FU0Cs4j7VP(op_j8wzaSQQPZ(105)))+op_count_l1muhaaOLA(b)
    else:
        count = op_count_7OL7g5oVtb(a,b)+op_count_dS7emaQrdo(b,a)+op_count_HUtdSlaloT(op_7OL7g5oVtb(a,b),op_dS7emaQrdo(b,a))+op_count_S2EdmdiVZh(a,a)+op_count_MBVn70KtPJ(a,a)+op_count_fyvQKNYXMd(op_S2EdmdiVZh(a,a),op_MBVn70KtPJ(a,a))+op_count_GyJNigkHRe(op_HUtdSlaloT(op_7OL7g5oVtb(a,b),op_dS7emaQrdo(b,a)),op_fyvQKNYXMd(op_S2EdmdiVZh(a,a),op_MBVn70KtPJ(a,a)))
    return count


def op_8Dc31Y5xrO(a, b):
    if op_tIhPxZTbsh(a,709) <= 144:
        return op_kf2MGdd7i0(op_gwN95fAitj(b),op_8rgMBn28gJ(b,731))
    else:
        return op_mg7BfXbOdF(op_0pE9j4xUU7(a,553))

def op_count_8Dc31Y5xrO(a, b):
    if op_tIhPxZTbsh(a,709) <= 144:
        count = op_count_gwN95fAitj(b)+op_count_8rgMBn28gJ(b,731)+op_count_kf2MGdd7i0(op_gwN95fAitj(b),op_8rgMBn28gJ(b,731))+op_count_tIhPxZTbsh(a,709)
    else:
        count = op_count_0pE9j4xUU7(a,553)+op_count_mg7BfXbOdF(op_0pE9j4xUU7(a,553))
    return count


a⨍∱⋯b = { ((810⊠⪡⨶356)⇨⊤(b∨↝⇂a)) , if ((a≑≱⪘)<277 and b<253) ; ((a⨲∙)⇼a) , else }

def op_wuz4IP3WND(a, b):
    if (op_tGSeddj7UK(a) < 277 and b < 253):
        return op_zqsNBkd1kC(op_ntT9PAI6rF(810,356),op_xqJTEXASMa(b,a))
    else:
        return op_PyLssB6NmA(op_cRahaglYVE(a),a)

def op_count_wuz4IP3WND(a, b):
    if (op_tGSeddj7UK(a) < 277 and b < 253):
        count = op_count_ntT9PAI6rF(810,356)+op_count_xqJTEXASMa(b,a)+op_count_zqsNBkd1kC(op_ntT9PAI6rF(810,356),op_xqJTEXASMa(b,a))+op_count_tGSeddj7UK(a)
    else:
        count = op_count_cRahaglYVE(a)+op_count_PyLssB6NmA(op_cRahaglYVE(a),a)
    return count


a⩅⊪↣b = { ((⊚⇬(⇝⋾⇵a))↾⨓⪻) , if (b⩄⊴⇗)>14 and b>=64 ; (((a⨛⨲)⩊≴⋘(b↡⊰⫅a))⫌⋠⫢((b↴⫎a)⊤≳(b⋙≃≡b))) , else }

def op_CxOMcnKVtH(a, b):
    if op_tRaSz2BvdX(b) > 14 and b >= 64:
        return op_XqNoo3pneC(op_8K9QSAs3hD(op_6l7ULzJsnZ(a)))
    else:
        return op_mf9eRyN6Nh(op_SCITVCa1lL(op_BavjakIp40(a),op_VCtxkLNOzz(b,a)),op_hh4S7I0a8e(op_5Jyf5jez7r(b,a),op_JkIVKoZPN2(b,b)))

def op_count_CxOMcnKVtH(a, b):
    if op_tRaSz2BvdX(b) > 14 and b >= 64:
        count = op_count_6l7ULzJsnZ(a)+op_count_8K9QSAs3hD(op_6l7ULzJsnZ(a))+op_count_XqNoo3pneC(op_8K9QSAs3hD(op_6l7ULzJsnZ(a)))+op_count_tRaSz2BvdX(b)
    else:
        count = op_count_BavjakIp40(a)+op_count_VCtxkLNOzz(b,a)+op_count_SCITVCa1lL(op_BavjakIp40(a),op_VCtxkLNOzz(b,a))+op_count_5Jyf5jez7r(b,a)+op_count_JkIVKoZPN2(b,b)+op_count_hh4S7I0a8e(op_5Jyf5jez7r(b,a),op_JkIVKoZPN2(b,b))+op_count_mf9eRyN6Nh(op_SCITVCa1lL(op_BavjakIp40(a),op_VCtxkLNOzz(b,a)),op_hh4S7I0a8e(op_5Jyf5jez7r(b,a),op_JkIVKoZPN2(b,b)))
    return count


a⊄∬≗b = { (b⊛) , if (⩼↹b)>281 ; a , else }

def op_gFZ7uJLGkE(a, b):
    if op_D12pVJZ2CB(b) > 281:
        return op_7Eqj152hMc(b)
    else:
        return a

def op_count_gFZ7uJLGkE(a, b):
    if op_D12pVJZ2CB(b) > 281:
        count = op_count_7Eqj152hMc(b)+op_count_D12pVJZ2CB(b)
    else:
        count = 1
    return count


a⩍⩅ = { (54⫲≸⪮a) , if (⊒↧⫰a)>=320 ; (a⇲⩅) , else }

def op_z40oZCW8Cv(a):
    if op_matowZxHVj(a) >= 320:
        return op_P3lXMJvFrc(54,a)
    else:
        return op_gj9QuscczC(a)

def op_count_z40oZCW8Cv(a):
    if op_matowZxHVj(a) >= 320:
        count = op_count_P3lXMJvFrc(54,a)+op_count_matowZxHVj(a)
    else:
        count = op_count_gj9QuscczC(a)
    return count


⇩⋛⊜a = { (((a⊿⊢a)⋖⇕⪰(595⇪∗⨴a))⋟∂((a⪬a)⊈⨦a)) , if (⇐⪰a)!=340 ; (((a⨍↱⋑)∎⋻⨟(a↺⋘a))≵⫁⨩((a⋍⋺a)⩾(a⪖⪡a))) , else }

def op_baLokTF4fL(a):
    if op_qD92y9n62Z(a) != 340:
        return op_iPzKFVPbR0(op_zGZqYOUxsC(op_0P6jqB2nlY(a,a),op_xb2YpVd57y(595,a)),op_NCK8ztm4vY(op_Ez1Nq5fNfI(a,a),a))
    else:
        return op_ygCb31sq1A(op_6VowpqB2XT(op_bDovvIE8aA(a),op_jIjE9uTss5(a,a)),op_UggxBX659n(op_rW0uBYiax0(a,a),op_7PjNe5qSIJ(a,a)))

def op_count_baLokTF4fL(a):
    if op_qD92y9n62Z(a) != 340:
        count = op_count_0P6jqB2nlY(a,a)+op_count_xb2YpVd57y(595,a)+op_count_zGZqYOUxsC(op_0P6jqB2nlY(a,a),op_xb2YpVd57y(595,a))+op_count_Ez1Nq5fNfI(a,a)+op_count_NCK8ztm4vY(op_Ez1Nq5fNfI(a,a),a)+op_count_iPzKFVPbR0(op_zGZqYOUxsC(op_0P6jqB2nlY(a,a),op_xb2YpVd57y(595,a)),op_NCK8ztm4vY(op_Ez1Nq5fNfI(a,a),a))+op_count_qD92y9n62Z(a)
    else:
        count = op_count_bDovvIE8aA(a)+op_count_jIjE9uTss5(a,a)+op_count_6VowpqB2XT(op_bDovvIE8aA(a),op_jIjE9uTss5(a,a))+op_count_rW0uBYiax0(a,a)+op_count_7PjNe5qSIJ(a,a)+op_count_UggxBX659n(op_rW0uBYiax0(a,a),op_7PjNe5qSIJ(a,a))+op_count_ygCb31sq1A(op_6VowpqB2XT(op_bDovvIE8aA(a),op_jIjE9uTss5(a,a)),op_UggxBX659n(op_rW0uBYiax0(a,a),op_7PjNe5qSIJ(a,a)))
    return count


⊗≒⨛a = { (a≋⊴⋅a) , if (⫭⨁⪭a)<550 ; (a∙⊟733) , else }

def op_guvtzDIX9I(a):
    if op_TjiRhGzIti(a) < 550:
        return op_TWCuuHjbTv(a,a)
    else:
        return op_SxTAKzQCrw(a,733)

def op_count_guvtzDIX9I(a):
    if op_TjiRhGzIti(a) < 550:
        count = op_count_TWCuuHjbTv(a,a)+op_count_TjiRhGzIti(a)
    else:
        count = op_count_SxTAKzQCrw(a,733)
    return count


a⊣⫼b = { ((91⪨a)⩃⫫⩌(a⋵⊡⊕)) , if (b≳)==3 ; ((b⩵↝⋽b)⇱⨹⊀a) , else }

def op_glk0xsqa6N(a, b):
    if op_VVXmEcaNmn(b) == 3:
        return op_ac6OB0jBIj(op_2z8nE7LpCu(91,a),op_cEkRxgHhVa(a))
    else:
        return op_DEAy1fljX8(op_Sz2rUO9lfJ(b,b),a)

def op_count_glk0xsqa6N(a, b):
    if op_VVXmEcaNmn(b) == 3:
        count = op_count_2z8nE7LpCu(91,a)+op_count_cEkRxgHhVa(a)+op_count_ac6OB0jBIj(op_2z8nE7LpCu(91,a),op_cEkRxgHhVa(a))+op_count_VVXmEcaNmn(b)
    else:
        count = op_count_Sz2rUO9lfJ(b,b)+op_count_DEAy1fljX8(op_Sz2rUO9lfJ(b,b),a)
    return count


a⊸⇯≶b = { (((b⩪⪌⇚a)⇟⫶↝)⫲⇺((b⫂⋷b)⨧↗⨷(a≓≂a))) , if a!=245 or (≱∹a)<=147 ; (((a≄≁a)⪿⫂⇿(a⪿≘←))⪳⨴⊣((⇰805)⪪(a⨣∐↬b))) , else }

def op_DtEpNPabB2(a, b):
    if a != 245 or op_mcemG08I7S(a) <= 147:
        return op_BbBz0MWWQr(op_np3dKlJAHQ(op_8LYAfUkFpU(b,a)),op_WSbXXWOizJ(op_cqe5JS8r4F(b,b),op_9VoQ6iZjwX(a,a)))
    else:
        return op_vJ8u5f67e5(op_bZEx4MGJjc(op_Rl2NcqNhI0(a,a),op_hbCmkZ2HCK(a)),op_xD69zh8xqp(op_zc1INhisa1(805),op_UpkSd4zESC(a,b)))

def op_count_DtEpNPabB2(a, b):
    if a != 245 or op_mcemG08I7S(a) <= 147:
        count = op_count_8LYAfUkFpU(b,a)+op_count_np3dKlJAHQ(op_8LYAfUkFpU(b,a))+op_count_cqe5JS8r4F(b,b)+op_count_9VoQ6iZjwX(a,a)+op_count_WSbXXWOizJ(op_cqe5JS8r4F(b,b),op_9VoQ6iZjwX(a,a))+op_count_BbBz0MWWQr(op_np3dKlJAHQ(op_8LYAfUkFpU(b,a)),op_WSbXXWOizJ(op_cqe5JS8r4F(b,b),op_9VoQ6iZjwX(a,a)))+op_count_mcemG08I7S(a)
    else:
        count = op_count_Rl2NcqNhI0(a,a)+op_count_hbCmkZ2HCK(a)+op_count_bZEx4MGJjc(op_Rl2NcqNhI0(a,a),op_hbCmkZ2HCK(a))+op_count_zc1INhisa1(805)+op_count_UpkSd4zESC(a,b)+op_count_xD69zh8xqp(op_zc1INhisa1(805),op_UpkSd4zESC(a,b))+op_count_vJ8u5f67e5(op_bZEx4MGJjc(op_Rl2NcqNhI0(a,a),op_hbCmkZ2HCK(a)),op_xD69zh8xqp(op_zc1INhisa1(805),op_UpkSd4zESC(a,b)))
    return count


def op_DC2fg2LBfY(a, b):
    if op_JjJGrowCxS(b,446) > 316 or op_9DU4nIN8Eu(b) > 57:
        return op_J4RdkEvY2C(a,a)
    else:
        return op_Q6Sj1WS8if(a,152)

def op_count_DC2fg2LBfY(a, b):
    if op_JjJGrowCxS(b,446) > 316 or op_9DU4nIN8Eu(b) > 57:
        count = op_count_J4RdkEvY2C(a,a)+op_count_JjJGrowCxS(b,446)+op_count_9DU4nIN8Eu(b)
    else:
        count = op_count_Q6Sj1WS8if(a,152)
    return count


⋞∿a = { ((∉⫁⪘(a⩭⊋a))≫≃⩳((⫑⨩⫂a)⩦(⇶⩱↠a))) , if (a⇗≫597)<=478 ; (((637↯↞)⪪(⫉⪹a))⋏⩄⨂((a⫃a)⩃(a⊒⊀⩅a))) , else }

def op_vTvE58QpBu(a):
    if op_S4LUIutb1e(a,597) <= 478:
        return op_HJDcuLMPgt(op_eDOVKHKPQq(op_c721urvlIy(a,a)),op_0kmYd0q39Y(op_n4X2i6wiGH(a),op_0nQBUOI8xy(a)))
    else:
        return op_D69ahk0G0B(op_xD69zh8xqp(op_e7fKtFYRQn(637),op_y0NDXUJ6bi(a)),op_7IRjtmSsUO(op_jkca4M7ITL(a,a),op_Qof2EeolbN(a,a)))

def op_count_vTvE58QpBu(a):
    if op_S4LUIutb1e(a,597) <= 478:
        count = op_count_c721urvlIy(a,a)+op_count_eDOVKHKPQq(op_c721urvlIy(a,a))+op_count_n4X2i6wiGH(a)+op_count_0nQBUOI8xy(a)+op_count_0kmYd0q39Y(op_n4X2i6wiGH(a),op_0nQBUOI8xy(a))+op_count_HJDcuLMPgt(op_eDOVKHKPQq(op_c721urvlIy(a,a)),op_0kmYd0q39Y(op_n4X2i6wiGH(a),op_0nQBUOI8xy(a)))+op_count_S4LUIutb1e(a,597)
    else:
        count = op_count_e7fKtFYRQn(637)+op_count_y0NDXUJ6bi(a)+op_count_xD69zh8xqp(op_e7fKtFYRQn(637),op_y0NDXUJ6bi(a))+op_count_jkca4M7ITL(a,a)+op_count_Qof2EeolbN(a,a)+op_count_7IRjtmSsUO(op_jkca4M7ITL(a,a),op_Qof2EeolbN(a,a))+op_count_D69ahk0G0B(op_xD69zh8xqp(op_e7fKtFYRQn(637),op_y0NDXUJ6bi(a)),op_7IRjtmSsUO(op_jkca4M7ITL(a,a),op_Qof2EeolbN(a,a)))
    return count


def op_YJ9IICeN5d(a):
    if op_dnsoz1tpAU(a,539) < 302 and a == 464:
        return op_7QEXmkAHEQ(op_XSHbJDpXHf(op_j0FS1QXHo5(162,232),op_SLLxy00UIr(a)))
    else:
        return op_xaRIqAkB3v(op_0cGMrPTqT1(op_z4Ajd36hBy(a,a)),op_W8uEiCP10Z(op_W4d5dJqKFt(a,a),a))

def op_count_YJ9IICeN5d(a):
    if op_dnsoz1tpAU(a,539) < 302 and a == 464:
        count = op_count_j0FS1QXHo5(162,232)+op_count_SLLxy00UIr(a)+op_count_XSHbJDpXHf(op_j0FS1QXHo5(162,232),op_SLLxy00UIr(a))+op_count_7QEXmkAHEQ(op_XSHbJDpXHf(op_j0FS1QXHo5(162,232),op_SLLxy00UIr(a)))+op_count_dnsoz1tpAU(a,539)
    else:
        count = op_count_z4Ajd36hBy(a,a)+op_count_0cGMrPTqT1(op_z4Ajd36hBy(a,a))+op_count_W4d5dJqKFt(a,a)+op_count_W8uEiCP10Z(op_W4d5dJqKFt(a,a),a)+op_count_xaRIqAkB3v(op_0cGMrPTqT1(op_z4Ajd36hBy(a,a)),op_W8uEiCP10Z(op_W4d5dJqKFt(a,a),a))
    return count


def op_A7y3yTezXg(a):
    if op_bhfZsaAByr(a) >= 352 and op_gfvVrh7EOO(a) <= 576:
        return a
    else:
        return op_AU7BrOWeXc(op_kf2MGdd7i0(a,116),op_e1hLqZQXWX(358,a))

def op_count_A7y3yTezXg(a):
    if op_bhfZsaAByr(a) >= 352 and op_gfvVrh7EOO(a) <= 576:
        count = 1
    else:
        count = op_count_kf2MGdd7i0(a,116)+op_count_e1hLqZQXWX(358,a)+op_count_AU7BrOWeXc(op_kf2MGdd7i0(a,116),op_e1hLqZQXWX(358,a))
    return count


a⨍⪏⩣b = { (b⫁∆⨗a) , if (⊢≑≆b)<517 ; (a⪝∑⪽a) , else }

def op_kCyt61dDHL(a, b):
    if op_27wFxooxGf(b) < 517:
        return op_JAobebJkKA(b,a)
    else:
        return op_knuYb4zZaj(a,a)

def op_count_kCyt61dDHL(a, b):
    if op_27wFxooxGf(b) < 517:
        count = op_count_JAobebJkKA(b,a)+op_count_27wFxooxGf(b)
    else:
        count = op_count_knuYb4zZaj(a,a)
    return count


def op_spjyGLfBHX(a, b):
    if a != 299:
        return op_TSjMxbSiHV(op_S02ZffNhFe(61,a),op_HBr05eZif0(b,56))
    else:
        return op_mHbOv7fYp3(op_wDQhVHeL0p(619,b),op_m1jdlUv8hK(a))

def op_count_spjyGLfBHX(a, b):
    if a != 299:
        count = op_count_S02ZffNhFe(61,a)+op_count_HBr05eZif0(b,56)+op_count_TSjMxbSiHV(op_S02ZffNhFe(61,a),op_HBr05eZif0(b,56))
    else:
        count = op_count_wDQhVHeL0p(619,b)+op_count_m1jdlUv8hK(a)+op_count_mHbOv7fYp3(op_wDQhVHeL0p(619,b),op_m1jdlUv8hK(a))
    return count


⊠√≧a = { (((a↴⨎⊥a)⪬⩝)⫴≡((97∺⊴⊌a)≹⪫⩨(a↯⊐a))) , if (⪟⨮⩐a)>83 ; (((767∣⇻⨋)⇪∗⨴(6⪜↾a))⇪∗⨴(⋗⩴⪓(a⨘∹464))) , else }

def op_DGWHGLFxUh(a):
    if op_WHpMMeXVWX(a) > 83:
        return op_Q6Sj1WS8if(op_CvGjaUuSzx(op_50uIHTrNdO(a,a)),op_FfDWFnkQRw(op_AxBbORVHmI(97,a),op_AHC0DUa4yD(a,a)))
    else:
        return op_xb2YpVd57y(op_xb2YpVd57y(op_Sp3VKZyLoc(767),op_j0T3bE6LZn(6,a)),op_nOKPl9n5zu(op_dzAneifoyM(a,464)))

def op_count_DGWHGLFxUh(a):
    if op_WHpMMeXVWX(a) > 83:
        count = op_count_50uIHTrNdO(a,a)+op_count_CvGjaUuSzx(op_50uIHTrNdO(a,a))+op_count_AxBbORVHmI(97,a)+op_count_AHC0DUa4yD(a,a)+op_count_FfDWFnkQRw(op_AxBbORVHmI(97,a),op_AHC0DUa4yD(a,a))+op_count_Q6Sj1WS8if(op_CvGjaUuSzx(op_50uIHTrNdO(a,a)),op_FfDWFnkQRw(op_AxBbORVHmI(97,a),op_AHC0DUa4yD(a,a)))+op_count_WHpMMeXVWX(a)
    else:
        count = op_count_Sp3VKZyLoc(767)+op_count_j0T3bE6LZn(6,a)+op_count_xb2YpVd57y(op_Sp3VKZyLoc(767),op_j0T3bE6LZn(6,a))+op_count_dzAneifoyM(a,464)+op_count_nOKPl9n5zu(op_dzAneifoyM(a,464))+op_count_xb2YpVd57y(op_xb2YpVd57y(op_Sp3VKZyLoc(767),op_j0T3bE6LZn(6,a)),op_nOKPl9n5zu(op_dzAneifoyM(a,464)))
    return count


a⫇⪙∄ = { ((a⊐a)≛∴⩓(a⇌147)) , if a>166 ; ((a⪶⊲⪺a)≐↽(⋕a)) , else }

def op_M5NawvOFST(a):
    if a > 166:
        return op_p97BeOkDlu(op_kE9YHawE8s(a,a),op_ifvJ10rhcp(a,147))
    else:
        return op_leeyKC4ZFN(op_RCyfEiCqYx(a,a),op_mnxeNVfHTl(a))

def op_count_M5NawvOFST(a):
    if a > 166:
        count = op_count_kE9YHawE8s(a,a)+op_count_ifvJ10rhcp(a,147)+op_count_p97BeOkDlu(op_kE9YHawE8s(a,a),op_ifvJ10rhcp(a,147))
    else:
        count = op_count_RCyfEiCqYx(a,a)+op_count_mnxeNVfHTl(a)+op_count_leeyKC4ZFN(op_RCyfEiCqYx(a,a),op_mnxeNVfHTl(a))
    return count


a⇫∳ = { ((↛↥(a∑⊿≛a))↽⋘⇦((a≽↲≰a)⨥⫶(143≅⊛a))) , if (⩄⊿a)==72 ; a , else }

def op_H1BWIYgtL7(a):
    if op_ZHciLFz6Pj(a) == 72:
        return op_SEtte5H3sk(op_R7GmZ833Q5(op_HBr05eZif0(a,a)),op_kT4MlvM4La(op_cFVlceoRkX(a,a),op_3On8Mq6EYF(143,a)))
    else:
        return a

def op_count_H1BWIYgtL7(a):
    if op_ZHciLFz6Pj(a) == 72:
        count = op_count_HBr05eZif0(a,a)+op_count_R7GmZ833Q5(op_HBr05eZif0(a,a))+op_count_cFVlceoRkX(a,a)+op_count_3On8Mq6EYF(143,a)+op_count_kT4MlvM4La(op_cFVlceoRkX(a,a),op_3On8Mq6EYF(143,a))+op_count_SEtte5H3sk(op_R7GmZ833Q5(op_HBr05eZif0(a,a)),op_kT4MlvM4La(op_cFVlceoRkX(a,a),op_3On8Mq6EYF(143,a)))+op_count_ZHciLFz6Pj(a)
    else:
        count = 1
    return count


def op_DOPeY7gr46(a):
    return op_Izi1QHXWZJ(op_oo9mF6JIpo(op_yHZBwDW2Tk(a,a)),op_ZX5tMuGpvw(op_RJKDfKcFKp(a,111),op_Typ46Ho6Mb(a,232)))

def op_count_DOPeY7gr46(a):
    count = op_count_yHZBwDW2Tk(a,a)+op_count_oo9mF6JIpo(op_yHZBwDW2Tk(a,a))+op_count_RJKDfKcFKp(a,111)+op_count_Typ46Ho6Mb(a,232)+op_count_ZX5tMuGpvw(op_RJKDfKcFKp(a,111),op_Typ46Ho6Mb(a,232))+op_count_Izi1QHXWZJ(op_oo9mF6JIpo(op_yHZBwDW2Tk(a,a)),op_ZX5tMuGpvw(op_RJKDfKcFKp(a,111),op_Typ46Ho6Mb(a,232)))
    return count


def op_156v2NovHl(a, b):
    if (op_pdnvgaFT42(a) > 1 and op_FSasnAb2iR(b,452) <= 238):
        return op_ktfEB5Ypfm(op_mVr5uKN5pR(49,a),op_vg4gO5BX6G(93,b))
    else:
        return op_w2537kitQq(op_zPwbmAUgue(a),op_aSdQdaBIZD(358))

def op_count_156v2NovHl(a, b):
    if (op_pdnvgaFT42(a) > 1 and op_FSasnAb2iR(b,452) <= 238):
        count = op_count_mVr5uKN5pR(49,a)+op_count_vg4gO5BX6G(93,b)+op_count_ktfEB5Ypfm(op_mVr5uKN5pR(49,a),op_vg4gO5BX6G(93,b))+op_count_pdnvgaFT42(a)+op_count_FSasnAb2iR(b,452)
    else:
        count = op_count_zPwbmAUgue(a)+op_count_aSdQdaBIZD(358)+op_count_w2537kitQq(op_zPwbmAUgue(a),op_aSdQdaBIZD(358))
    return count


a∄⩮↔ = { (a⇉a) , if (∓⪦a)!=19 ; (a↩∔⇶a) , else }

def op_4KIxHNpB5o(a):
    if op_D309nIvmXG(a) != 19:
        return op_lJ0NnniDH7(a,a)
    else:
        return op_ZM199RjHSm(a,a)

def op_count_4KIxHNpB5o(a):
    if op_D309nIvmXG(a) != 19:
        count = op_count_lJ0NnniDH7(a,a)+op_count_D309nIvmXG(a)
    else:
        count = op_count_ZM199RjHSm(a,a)
    return count


def op_620pvzNFYC(a):
    if (op_6RHt3CCRg6(a,884) >= 191 and a < 20):
        return op_gJLn6v0xnP(a,278)
    else:
        return op_uOZ1tnYMDE(a)

def op_count_620pvzNFYC(a):
    if (op_6RHt3CCRg6(a,884) >= 191 and a < 20):
        count = op_count_gJLn6v0xnP(a,278)+op_count_6RHt3CCRg6(a,884)
    else:
        count = op_count_uOZ1tnYMDE(a)
    return count


a⋡⋻↥b = { ((⫡⇟⇯a)⫲≸⪮(⊡∱b)) , if b==99 ; ((b⊠⋵⩢a)⪁⇍a) , else }

def op_vCT1U90JYL(a, b):
    if b == 99:
        return op_P3lXMJvFrc(op_qWUSsah53b(a),op_YKXtVccgU0(b))
    else:
        return op_OWt3uj0ipL(op_M0mAKAgWvJ(b,a),a)

def op_count_vCT1U90JYL(a, b):
    if b == 99:
        count = op_count_qWUSsah53b(a)+op_count_YKXtVccgU0(b)+op_count_P3lXMJvFrc(op_qWUSsah53b(a),op_YKXtVccgU0(b))
    else:
        count = op_count_M0mAKAgWvJ(b,a)+op_count_OWt3uj0ipL(op_M0mAKAgWvJ(b,a),a)
    return count


a⨕⇧⋉b = { (((⫛⩾⨻a)⪚⫟(a⋘⋱a))⨋⩬((a⨞⫉≽a)⊆⇷(b⋗a))) , if b<=305 ; (((b⪉b)⩘/⪵)↓⨍⋜) , else }

def op_khjTTDjfVw(a, b):
    if b <= 305:
        return op_78bqUfsprq(op_attoALb2Xr(op_b7E1Qd99Py(a),op_70gRa6EccN(a,a)),op_33Ug0vB88I(op_mNv3h3qoQh(a,a),op_hy5IL4GG6G(b,a)))
    else:
        return op_3DVzLFNsE9(op_DEx41W0Tf0(op_P4ywzuOpaq(b,b)))

def op_count_khjTTDjfVw(a, b):
    if b <= 305:
        count = op_count_b7E1Qd99Py(a)+op_count_70gRa6EccN(a,a)+op_count_attoALb2Xr(op_b7E1Qd99Py(a),op_70gRa6EccN(a,a))+op_count_mNv3h3qoQh(a,a)+op_count_hy5IL4GG6G(b,a)+op_count_33Ug0vB88I(op_mNv3h3qoQh(a,a),op_hy5IL4GG6G(b,a))+op_count_78bqUfsprq(op_attoALb2Xr(op_b7E1Qd99Py(a),op_70gRa6EccN(a,a)),op_33Ug0vB88I(op_mNv3h3qoQh(a,a),op_hy5IL4GG6G(b,a)))
    else:
        count = op_count_P4ywzuOpaq(b,b)+op_count_DEx41W0Tf0(op_P4ywzuOpaq(b,b))+op_count_3DVzLFNsE9(op_DEx41W0Tf0(op_P4ywzuOpaq(b,b)))
    return count


a⇓⇨ = { a , if a!=83 ; (((a⪼⪨a)∝(a⨴∤a))∷⫾((a⨣∐↬a)↠⫝̸⫩(a⊭⫢))) , else }

def op_GJi8dsORFG(a):
    if a != 83:
        return a
    else:
        return op_6FkTzFgkJV(op_cTDWOvIxvz(op_hx5c7FTGAw(a,a),op_qBiGvaKbIj(a,a)),op_E331xP7I43(op_UpkSd4zESC(a,a),op_xiKbUzfUz0(a)))

def op_count_GJi8dsORFG(a):
    if a != 83:
        count = 1
    else:
        count = op_count_hx5c7FTGAw(a,a)+op_count_qBiGvaKbIj(a,a)+op_count_cTDWOvIxvz(op_hx5c7FTGAw(a,a),op_qBiGvaKbIj(a,a))+op_count_UpkSd4zESC(a,a)+op_count_xiKbUzfUz0(a)+op_count_E331xP7I43(op_UpkSd4zESC(a,a),op_xiKbUzfUz0(a))+op_count_6FkTzFgkJV(op_cTDWOvIxvz(op_hx5c7FTGAw(a,a),op_qBiGvaKbIj(a,a)),op_E331xP7I43(op_UpkSd4zESC(a,a),op_xiKbUzfUz0(a)))
    return count


def op_KHep7MR1Du(a):
    if op_DrwYmDgWEg(a,800) >= 93 or op_2Eatjx6Scy(a) == 469:
        return op_JAsMQSYFYM(445)
    else:
        return op_Kgf5n7vQLW(a,a)

def op_count_KHep7MR1Du(a):
    if op_DrwYmDgWEg(a,800) >= 93 or op_2Eatjx6Scy(a) == 469:
        count = op_count_JAsMQSYFYM(445)+op_count_DrwYmDgWEg(a,800)+op_count_2Eatjx6Scy(a)
    else:
        count = op_count_Kgf5n7vQLW(a,a)
    return count


def op_77jVN1Jqeu(a):
    if op_IVVGj2B19U(a) > 296 or op_vqGKxYkFQP(a) != 6:
        return op_gXjZ5wXXzC(op_qpRO7jokVD(op_JwTKLfZU96(a,114),op_MxGp09baVO(77,539)),op_bjFbhXSADs(op_EopCNPJDb6(a,282)))
    else:
        return op_dAvLJZHBt7(op_uyq1hVkAcj(op_zCxnRxPC5M(a)))

def op_count_77jVN1Jqeu(a):
    if op_IVVGj2B19U(a) > 296 or op_vqGKxYkFQP(a) != 6:
        count = op_count_JwTKLfZU96(a,114)+op_count_MxGp09baVO(77,539)+op_count_qpRO7jokVD(op_JwTKLfZU96(a,114),op_MxGp09baVO(77,539))+op_count_EopCNPJDb6(a,282)+op_count_bjFbhXSADs(op_EopCNPJDb6(a,282))+op_count_gXjZ5wXXzC(op_qpRO7jokVD(op_JwTKLfZU96(a,114),op_MxGp09baVO(77,539)),op_bjFbhXSADs(op_EopCNPJDb6(a,282)))+op_count_IVVGj2B19U(a)+op_count_vqGKxYkFQP(a)
    else:
        count = op_count_zCxnRxPC5M(a)+op_count_uyq1hVkAcj(op_zCxnRxPC5M(a))+op_count_dAvLJZHBt7(op_uyq1hVkAcj(op_zCxnRxPC5M(a)))
    return count


≛∷a = { (a⫢⩮↷) , if (⇾a)==57 ; (((844⩫∠a)↱⪃↡(a⇠⪥a))∇⇳⫎((≸≮a)⨠(a⋢⪬⨗a))) , else }

def op_335PpwKqs0(a):
    if op_YE0NuhSZe9(a) == 57:
        return op_BLLGLRFJVt(a)
    else:
        return op_F1vicInhg4(op_0MhWYBQRkt(op_61SMRth1bf(844,a),op_SONCUvkmWe(a,a)),op_R3R4sbjZye(op_AljMvE3RRm(a),op_JDc8ysv6vp(a,a)))

def op_count_335PpwKqs0(a):
    if op_YE0NuhSZe9(a) == 57:
        count = op_count_BLLGLRFJVt(a)+op_count_YE0NuhSZe9(a)
    else:
        count = op_count_61SMRth1bf(844,a)+op_count_SONCUvkmWe(a,a)+op_count_0MhWYBQRkt(op_61SMRth1bf(844,a),op_SONCUvkmWe(a,a))+op_count_AljMvE3RRm(a)+op_count_JDc8ysv6vp(a,a)+op_count_R3R4sbjZye(op_AljMvE3RRm(a),op_JDc8ysv6vp(a,a))+op_count_F1vicInhg4(op_0MhWYBQRkt(op_61SMRth1bf(844,a),op_SONCUvkmWe(a,a)),op_R3R4sbjZye(op_AljMvE3RRm(a),op_JDc8ysv6vp(a,a)))
    return count


⋚∆⊱a = { (⊾≁a) , if (a⩱⊟≬)>=481 ; (⋦↙⩸a) , else }

def op_diyeJPzcYZ(a):
    if op_ksH6MiusHz(a) >= 481:
        return op_n4rX4TPmCH(a)
    else:
        return op_P78JJ8jX64(a)

def op_count_diyeJPzcYZ(a):
    if op_ksH6MiusHz(a) >= 481:
        count = op_count_n4rX4TPmCH(a)+op_count_ksH6MiusHz(a)
    else:
        count = op_count_P78JJ8jX64(a)
    return count


a∄⫴⩙b = { (a⩬a) , if (b≹603)<422 ; (b⫽⪃a) , else }

def op_yxKcTy0jFa(a, b):
    if op_r2SrZsyW6O(b,603) < 422:
        return op_nuoWhTW6CA(a,a)
    else:
        return op_FJ3oXK3UQ0(b,a)

def op_count_yxKcTy0jFa(a, b):
    if op_r2SrZsyW6O(b,603) < 422:
        count = op_count_nuoWhTW6CA(a,a)+op_count_r2SrZsyW6O(b,603)
    else:
        count = op_count_FJ3oXK3UQ0(b,a)
    return count


a⊗∉⫋b = { (b⪔a) , if b==78 ; (a⊴202) , else }

def op_F0HuPnWKeH(a, b):
    if b == 78:
        return op_GjBEYRfMaF(b,a)
    else:
        return op_Nsiff2A1zJ(a,202)

def op_count_F0HuPnWKeH(a, b):
    if b == 78:
        count = op_count_GjBEYRfMaF(b,a)
    else:
        count = op_count_Nsiff2A1zJ(a,202)
    return count


a∕⨳⋖ = { (⫥⫬⇟a) , if a==356 ; (a↡⊰⫅a) , else }

def op_MUbvvnbpNk(a):
    if a == 356:
        return op_casPA5FTUX(a)
    else:
        return op_VCtxkLNOzz(a,a)

def op_count_MUbvvnbpNk(a):
    if a == 356:
        count = op_count_casPA5FTUX(a)
    else:
        count = op_count_VCtxkLNOzz(a,a)
    return count


a⊎⋳⫂b = { (≺(a⫨⨌∐b)) , if (b∃⊄225)==107 ; a , else }

def op_oPeCLo6WTi(a, b):
    if op_p5sVf13ywX(b,225) == 107:
        return op_096fXiO8sA(op_Ln1IrprsTU(a,b))
    else:
        return a

def op_count_oPeCLo6WTi(a, b):
    if op_p5sVf13ywX(b,225) == 107:
        count = op_count_Ln1IrprsTU(a,b)+op_count_096fXiO8sA(op_Ln1IrprsTU(a,b))+op_count_p5sVf13ywX(b,225)
    else:
        count = 1
    return count