a∍⩞↴b = { (a≒∊a) , if (b⋞⫮845)<=22 ; (a∱⨑b) , else }

def op_EEu7GT1QVt(a, b):
    if op_2am7j97jvV(b,845) <= 22:
        return op_5KTvxBwnZo(a,a)
    else:
        return op_GHTZleiggj(a,b)

def op_count_EEu7GT1QVt(a, b):
    if op_2am7j97jvV(b,845) <= 22:
        count = op_count_5KTvxBwnZo(a,a)+op_count_2am7j97jvV(b,845)
    else:
        count = op_count_GHTZleiggj(a,b)
    return count


def op_q4us7QSqq3(a):
    if op_XXPFRlyT8X(a,884) != 24:
        return op_1B4ngayaHK(601,a)
    else:
        return op_tQq6REDPEr(a)

def op_count_q4us7QSqq3(a):
    if op_XXPFRlyT8X(a,884) != 24:
        count = op_count_1B4ngayaHK(601,a)+op_count_XXPFRlyT8X(a,884)
    else:
        count = op_count_tQq6REDPEr(a)
    return count


⪷⇑⇩a = { (((12⨺⇅⋾a)⋡≤⩀(a⫒⩐⫨a))↑⪫≶(⊊⇑⋄(⇰a))) , if a==6 ; (((a⇯)⋮⫆(a↩↫a))⇸⋑≛((⫥a)⊎∵⋝a)) , else }

def op_FdptXWPUPS(a):
    if a == 6:
        return op_yHqH2lrrnJ(op_Mth4PhTnAe(op_VEcxqPnwbF(12,a),op_xf6eqZIrT0(a,a)),op_oFFw5ibboO(op_zc1INhisa1(a)))
    else:
        return op_JhscMtXp41(op_H0fWaTn7v4(op_11z6DTm2Dp(a),op_JjJGrowCxS(a,a)),op_aiV2O28J80(op_qR0a6FVQRO(a),a))

def op_count_FdptXWPUPS(a):
    if a == 6:
        count = op_count_VEcxqPnwbF(12,a)+op_count_xf6eqZIrT0(a,a)+op_count_Mth4PhTnAe(op_VEcxqPnwbF(12,a),op_xf6eqZIrT0(a,a))+op_count_zc1INhisa1(a)+op_count_oFFw5ibboO(op_zc1INhisa1(a))+op_count_yHqH2lrrnJ(op_Mth4PhTnAe(op_VEcxqPnwbF(12,a),op_xf6eqZIrT0(a,a)),op_oFFw5ibboO(op_zc1INhisa1(a)))
    else:
        count = op_count_11z6DTm2Dp(a)+op_count_JjJGrowCxS(a,a)+op_count_H0fWaTn7v4(op_11z6DTm2Dp(a),op_JjJGrowCxS(a,a))+op_count_qR0a6FVQRO(a)+op_count_aiV2O28J80(op_qR0a6FVQRO(a),a)+op_count_JhscMtXp41(op_H0fWaTn7v4(op_11z6DTm2Dp(a),op_JjJGrowCxS(a,a)),op_aiV2O28J80(op_qR0a6FVQRO(a),a))
    return count


⨫⋂a = { ((0∖⊚a)∕(a∻⊟)) , if ((a⫻⋧)>6 or (≤/a)>330 or a>=310) ; ((a∶⋾⫅a)⩾⇁⋓(a≗⪓∷)) , else }

def op_I8nmDHOqjE(a):
    if (op_fxJSSRFwCt(a) > 6 or op_eLAdDNolq6(a) > 330 or a >= 310):
        return op_QeR9EosLiZ(op_KXDdaHDbNw(0,a),op_kARpMGKQIr(a))
    else:
        return op_ZX5tMuGpvw(op_CElUNYQIpN(a,a),op_xWKacU4PIG(a))

def op_count_I8nmDHOqjE(a):
    if (op_fxJSSRFwCt(a) > 6 or op_eLAdDNolq6(a) > 330 or a >= 310):
        count = op_count_KXDdaHDbNw(0,a)+op_count_kARpMGKQIr(a)+op_count_QeR9EosLiZ(op_KXDdaHDbNw(0,a),op_kARpMGKQIr(a))+op_count_fxJSSRFwCt(a)+op_count_eLAdDNolq6(a)
    else:
        count = op_count_CElUNYQIpN(a,a)+op_count_xWKacU4PIG(a)+op_count_ZX5tMuGpvw(op_CElUNYQIpN(a,a),op_xWKacU4PIG(a))
    return count


⇳⩸∵a = { ((a−⩠⩊403)⫢⩮↷) , if (a∬⇹)>=4 ; ((a∦⩤≿a)∇(a∕⪘≈a)) , else }

def op_uunWhy7tae(a):
    if op_azvffE8HSm(a) >= 4:
        return op_BLLGLRFJVt(op_xAdqek1hDd(a,403))
    else:
        return op_fICjaz8Yf3(op_zhTrIMte4B(a,a),op_9gOQWDhglh(a,a))

def op_count_uunWhy7tae(a):
    if op_azvffE8HSm(a) >= 4:
        count = op_count_xAdqek1hDd(a,403)+op_count_BLLGLRFJVt(op_xAdqek1hDd(a,403))+op_count_azvffE8HSm(a)
    else:
        count = op_count_zhTrIMte4B(a,a)+op_count_9gOQWDhglh(a,a)+op_count_fICjaz8Yf3(op_zhTrIMte4B(a,a),op_9gOQWDhglh(a,a))
    return count


a⨬↟b = { (⇮∭((⊈b)⊻⫕⩗(b⊐⪢≴a))) , if (a∝≗301)>796 and (b⩄⋧⋃268)>=573 and (b⨜≆⋀)<41 ; (((⋠∠⇱b)⋋⇅⊁(694∳⫺b))≣↻((⇁↸⫸b)⩻⇘⩦(232⇷⨲b))) , else }

def op_cHFgdFSfQu(a, b):
    if op_bQy7iKdSPD(a,301) > 796 and op_aZuMSAMASb(b,268) >= 573 and op_BKLvChGpzJ(b) < 41:
        return op_d2ZuDAaqmA(op_f09raCEPXX(op_RHru8klgy8(b),op_aXwoIQj555(b,a)))
    else:
        return op_KDDfsCJhw5(op_uRdpOuG0pt(op_BEKom63EOt(b),op_AzXXKTstlj(694,b)),op_BrdKLlllJJ(op_zqXLmTvkkA(b),op_6StxWVwnvA(232,b)))

def op_count_cHFgdFSfQu(a, b):
    if op_bQy7iKdSPD(a,301) > 796 and op_aZuMSAMASb(b,268) >= 573 and op_BKLvChGpzJ(b) < 41:
        count = op_count_RHru8klgy8(b)+op_count_aXwoIQj555(b,a)+op_count_f09raCEPXX(op_RHru8klgy8(b),op_aXwoIQj555(b,a))+op_count_d2ZuDAaqmA(op_f09raCEPXX(op_RHru8klgy8(b),op_aXwoIQj555(b,a)))+op_count_bQy7iKdSPD(a,301)+op_count_aZuMSAMASb(b,268)+op_count_BKLvChGpzJ(b)
    else:
        count = op_count_BEKom63EOt(b)+op_count_AzXXKTstlj(694,b)+op_count_uRdpOuG0pt(op_BEKom63EOt(b),op_AzXXKTstlj(694,b))+op_count_zqXLmTvkkA(b)+op_count_6StxWVwnvA(232,b)+op_count_BrdKLlllJJ(op_zqXLmTvkkA(b),op_6StxWVwnvA(232,b))+op_count_KDDfsCJhw5(op_uRdpOuG0pt(op_BEKom63EOt(b),op_AzXXKTstlj(694,b)),op_BrdKLlllJJ(op_zqXLmTvkkA(b),op_6StxWVwnvA(232,b)))
    return count


≿⊡⩨a = { (((a⊋↛a)⫴(a⪞⊗⋒))⋣√∲(≸≮(a↟a))) , if (a∽⫫⊬381)>=875 and (a⪆⨋∈896)>=5 ; (((a≞⇯a)↾∥⪚(a⋷⫙∸a))⩊∀) , else }

def op_nodAo8wL50(a):
    if op_NPE338n0HM(a,381) >= 875 and op_SHsB2qJFpV(a,896) >= 5:
        return op_1hm1oEpfJf(op_0N1BchnEuL(op_fOUzq6FFBl(a,a),op_pV5x9IfYtD(a)),op_AljMvE3RRm(op_PwiXWqpBTd(a,a)))
    else:
        return op_3AMynuqbBS(op_QyT1usQeR4(op_8kC3VQV3Yq(a,a),op_8oxTided8f(a,a)))

def op_count_nodAo8wL50(a):
    if op_NPE338n0HM(a,381) >= 875 and op_SHsB2qJFpV(a,896) >= 5:
        count = op_count_fOUzq6FFBl(a,a)+op_count_pV5x9IfYtD(a)+op_count_0N1BchnEuL(op_fOUzq6FFBl(a,a),op_pV5x9IfYtD(a))+op_count_PwiXWqpBTd(a,a)+op_count_AljMvE3RRm(op_PwiXWqpBTd(a,a))+op_count_1hm1oEpfJf(op_0N1BchnEuL(op_fOUzq6FFBl(a,a),op_pV5x9IfYtD(a)),op_AljMvE3RRm(op_PwiXWqpBTd(a,a)))+op_count_NPE338n0HM(a,381)+op_count_SHsB2qJFpV(a,896)
    else:
        count = op_count_8kC3VQV3Yq(a,a)+op_count_8oxTided8f(a,a)+op_count_QyT1usQeR4(op_8kC3VQV3Yq(a,a),op_8oxTided8f(a,a))+op_count_3AMynuqbBS(op_QyT1usQeR4(op_8kC3VQV3Yq(a,a),op_8oxTided8f(a,a)))
    return count


def op_gKjyxTIHza(a, b):
    if op_wvHyciQT5X(b) >= 78:
        return op_aF6wdyjNOF(op_8SltmloNbp(a),op_bEPZFWGxOB(a,150))
    else:
        return op_Mqg6Kpcx5i(op_k8X3umw52W(322,47),op_RxT7DRsJUJ(a))

def op_count_gKjyxTIHza(a, b):
    if op_wvHyciQT5X(b) >= 78:
        count = op_count_8SltmloNbp(a)+op_count_bEPZFWGxOB(a,150)+op_count_aF6wdyjNOF(op_8SltmloNbp(a),op_bEPZFWGxOB(a,150))+op_count_wvHyciQT5X(b)
    else:
        count = op_count_k8X3umw52W(322,47)+op_count_RxT7DRsJUJ(a)+op_count_Mqg6Kpcx5i(op_k8X3umw52W(322,47),op_RxT7DRsJUJ(a))
    return count


a⊶≥←b = { ((b⇶⨮∤b)⨢(b⇵b)) , if (a<=380 and b>=333) ; ((⪽↫b)⇁↻(a⪸⊜⨷5)) , else }

def op_dJJu7uapqE(a, b):
    if (a <= 380 and b >= 333):
        return op_wvOhsjS2Oe(op_G96GBiEpHu(b,b),op_kVSeQakJeK(b,b))
    else:
        return op_axqnU7qwpD(op_e6fjkqlCWa(b),op_6BFomJzHVX(a,5))

def op_count_dJJu7uapqE(a, b):
    if (a <= 380 and b >= 333):
        count = op_count_G96GBiEpHu(b,b)+op_count_kVSeQakJeK(b,b)+op_count_wvOhsjS2Oe(op_G96GBiEpHu(b,b),op_kVSeQakJeK(b,b))
    else:
        count = op_count_e6fjkqlCWa(b)+op_count_6BFomJzHVX(a,5)+op_count_axqnU7qwpD(op_e6fjkqlCWa(b),op_6BFomJzHVX(a,5))
    return count


def op_7T0rXPejzT(a, b):
    if (op_dbaoL9ubd4(b,980) == 628 and op_d0Zre4SrXV(a) != 40):
        return op_fBv0GnY1At(b,b)
    else:
        return op_Y827t4Oxkq(0,b)

def op_count_7T0rXPejzT(a, b):
    if (op_dbaoL9ubd4(b,980) == 628 and op_d0Zre4SrXV(a) != 40):
        count = op_count_fBv0GnY1At(b,b)+op_count_dbaoL9ubd4(b,980)+op_count_d0Zre4SrXV(a)
    else:
        count = op_count_Y827t4Oxkq(0,b)
    return count


a⩘⫾b = { (((⨉⋛⩼a)⨩≤⫤(b⩋⇋a))∴⋮↜((b≓⇂a)⩟⇛⊂49)) , if (⩄⊿a)>196 ; (((a⇝⪥⊌b)⊰a)←⪓⪉((a↓⨍⋜)⇽⩪)) , else }

def op_XhsOKxQTZa(a, b):
    if op_ZHciLFz6Pj(a) > 196:
        return op_LFP2zRhVLi(op_neKQRQQIil(op_dSkh3V1OUw(a),op_5eM6Qp6mRY(b,a)),op_QT3sqWOBfx(op_pNsYZ4ACSL(b,a),49))
    else:
        return op_DaYs1xmi21(op_S6anzDtGf9(op_8IBHxuH8oO(a,b),a),op_FonBHBYJbU(op_3DVzLFNsE9(a)))

def op_count_XhsOKxQTZa(a, b):
    if op_ZHciLFz6Pj(a) > 196:
        count = op_count_dSkh3V1OUw(a)+op_count_5eM6Qp6mRY(b,a)+op_count_neKQRQQIil(op_dSkh3V1OUw(a),op_5eM6Qp6mRY(b,a))+op_count_pNsYZ4ACSL(b,a)+op_count_QT3sqWOBfx(op_pNsYZ4ACSL(b,a),49)+op_count_LFP2zRhVLi(op_neKQRQQIil(op_dSkh3V1OUw(a),op_5eM6Qp6mRY(b,a)),op_QT3sqWOBfx(op_pNsYZ4ACSL(b,a),49))+op_count_ZHciLFz6Pj(a)
    else:
        count = op_count_8IBHxuH8oO(a,b)+op_count_S6anzDtGf9(op_8IBHxuH8oO(a,b),a)+op_count_3DVzLFNsE9(a)+op_count_FonBHBYJbU(op_3DVzLFNsE9(a))+op_count_DaYs1xmi21(op_S6anzDtGf9(op_8IBHxuH8oO(a,b),a),op_FonBHBYJbU(op_3DVzLFNsE9(a)))
    return count


a⊞⫲⫪ = { ((a⨣⩄⋪a)∵⩆⫂(a↦∡61)) , if a!=56 ; ((⫎↽↦a)≼⪑⋡(12⋸)) , else }

def op_pcjYa5fRNC(a):
    if a != 56:
        return op_n178FrgV5J(op_P61xNvXJCL(a,a),op_wTpLLema1J(a,61))
    else:
        return op_kDQ0oYbj3W(op_PSfJVl3MUC(a),op_QILz4EHje6(12))

def op_count_pcjYa5fRNC(a):
    if a != 56:
        count = op_count_P61xNvXJCL(a,a)+op_count_wTpLLema1J(a,61)+op_count_n178FrgV5J(op_P61xNvXJCL(a,a),op_wTpLLema1J(a,61))
    else:
        count = op_count_PSfJVl3MUC(a)+op_count_QILz4EHje6(12)+op_count_kDQ0oYbj3W(op_PSfJVl3MUC(a),op_QILz4EHje6(12))
    return count


a⇮↛b = { (⋈↗⨞(⨰⪧⋫(⊰⫽b))) , if (≺⨵a)<164 ; ((≆∏⊝a)⋭((⪿⋵b)∜(106⨩⊗a))) , else }

def op_fXtcczEKPc(a, b):
    if op_OfugFTrv6S(a) < 164:
        return op_R2bUY8UskB(op_4O6J1gTF1j(op_SvQeu911jP(b)))
    else:
        return op_WRl4KaSwns(op_Bv9scDTvcV(a),op_VX9aY244yz(op_vtevFjVkzF(b),op_Bw0fzZ75Yl(106,a)))

def op_count_fXtcczEKPc(a, b):
    if op_OfugFTrv6S(a) < 164:
        count = op_count_SvQeu911jP(b)+op_count_4O6J1gTF1j(op_SvQeu911jP(b))+op_count_R2bUY8UskB(op_4O6J1gTF1j(op_SvQeu911jP(b)))+op_count_OfugFTrv6S(a)
    else:
        count = op_count_Bv9scDTvcV(a)+op_count_vtevFjVkzF(b)+op_count_Bw0fzZ75Yl(106,a)+op_count_VX9aY244yz(op_vtevFjVkzF(b),op_Bw0fzZ75Yl(106,a))+op_count_WRl4KaSwns(op_Bv9scDTvcV(a),op_VX9aY244yz(op_vtevFjVkzF(b),op_Bw0fzZ75Yl(106,a)))
    return count


≤⪨⇏a = { ((a⇯a)⫁∆⨗(5⫒↥⩼)) , if (a⫷)==11 ; (⨎≾⊒(a⫸⊐61)) , else }

def op_OxQl6sep6v(a):
    if op_usgnsOtpbm(a) == 11:
        return op_JAobebJkKA(op_xtBOMFLMmK(a,a),op_jmnE7SUc7n(5))
    else:
        return op_OHutFJdwU6(op_mqXw5SEYmG(a,61))

def op_count_OxQl6sep6v(a):
    if op_usgnsOtpbm(a) == 11:
        count = op_count_xtBOMFLMmK(a,a)+op_count_jmnE7SUc7n(5)+op_count_JAobebJkKA(op_xtBOMFLMmK(a,a),op_jmnE7SUc7n(5))+op_count_usgnsOtpbm(a)
    else:
        count = op_count_mqXw5SEYmG(a,61)+op_count_OHutFJdwU6(op_mqXw5SEYmG(a,61))
    return count


a∖⪶⫨b = { ((⪝⪂⫅20)∝⊵(b⪶∔≞b)) , if b<=284 and (↔a)==146 ; ((⩙∪⨐b)≗⪓∷) , else }

def op_6RhV9jdZKx(a, b):
    if b <= 284 and op_ruOEQAzv1W(a) == 146:
        return op_GnsM4LGUJk(op_XTarYq4gQB(20),op_TNDO9Js9VB(b,b))
    else:
        return op_xWKacU4PIG(op_9KnANRFJl3(b))

def op_count_6RhV9jdZKx(a, b):
    if b <= 284 and op_ruOEQAzv1W(a) == 146:
        count = op_count_XTarYq4gQB(20)+op_count_TNDO9Js9VB(b,b)+op_count_GnsM4LGUJk(op_XTarYq4gQB(20),op_TNDO9Js9VB(b,b))+op_count_ruOEQAzv1W(a)
    else:
        count = op_count_9KnANRFJl3(b)+op_count_xWKacU4PIG(op_9KnANRFJl3(b))
    return count


def op_Tu8JGuLDXg(a, b):
    if (op_ZMV0W12WVe(a,508) != 203 or b <= 200):
        return op_RFEUBJbRkQ(op_z6LnFrNh4i(op_sRxm3lG5kW(80),op_f6k1SAg4EE(b,a)))
    else:
        return op_LhKFc5N9Ux(op_EJvLRUhMvt(op_ljcfZBUpm8(b),op_syzFGkhusE(b,a)))

def op_count_Tu8JGuLDXg(a, b):
    if (op_ZMV0W12WVe(a,508) != 203 or b <= 200):
        count = op_count_sRxm3lG5kW(80)+op_count_f6k1SAg4EE(b,a)+op_count_z6LnFrNh4i(op_sRxm3lG5kW(80),op_f6k1SAg4EE(b,a))+op_count_RFEUBJbRkQ(op_z6LnFrNh4i(op_sRxm3lG5kW(80),op_f6k1SAg4EE(b,a)))+op_count_ZMV0W12WVe(a,508)
    else:
        count = op_count_ljcfZBUpm8(b)+op_count_syzFGkhusE(b,a)+op_count_EJvLRUhMvt(op_ljcfZBUpm8(b),op_syzFGkhusE(b,a))+op_count_LhKFc5N9Ux(op_EJvLRUhMvt(op_ljcfZBUpm8(b),op_syzFGkhusE(b,a)))
    return count


a↺∥⊪b = { ((≻⋜b)⨾≾≱(a⋖⪺+b)) , if (⨈⪑a)<=20 ; (⊛⇂⪨(⫴⫣86)) , else }

def op_9qRMaZl2pA(a, b):
    if op_mp94q5OcYM(a) <= 20:
        return op_k328y6oGkW(op_3tj9sqzovi(b),op_xbJbJbSYo4(a,b))
    else:
        return op_3J4g3cQCoj(op_4ViIqD7dWl(86))

def op_count_9qRMaZl2pA(a, b):
    if op_mp94q5OcYM(a) <= 20:
        count = op_count_3tj9sqzovi(b)+op_count_xbJbJbSYo4(a,b)+op_count_k328y6oGkW(op_3tj9sqzovi(b),op_xbJbJbSYo4(a,b))+op_count_mp94q5OcYM(a)
    else:
        count = op_count_4ViIqD7dWl(86)+op_count_3J4g3cQCoj(op_4ViIqD7dWl(86))
    return count


def op_S6S2ylrVrN(a, b):
    if (op_RLh2CaJNDO(b) != 461 and op_KvubFp3XhO(a) != 248 and op_zjpztV9BY4(b,707) > 337):
        return op_Y4dFvpZTzx(b,a)
    else:
        return op_xD69zh8xqp(a,a)

def op_count_S6S2ylrVrN(a, b):
    if (op_RLh2CaJNDO(b) != 461 and op_KvubFp3XhO(a) != 248 and op_zjpztV9BY4(b,707) > 337):
        count = op_count_Y4dFvpZTzx(b,a)+op_count_RLh2CaJNDO(b)+op_count_KvubFp3XhO(a)+op_count_zjpztV9BY4(b,707)
    else:
        count = op_count_xD69zh8xqp(a,a)
    return count


def op_A5l3xeE7N2(a):
    if op_mR0p8TbMGG(a,648) > 189 or a != 82 or a == 169:
        return op_6jnLtSreEI(a)
    else:
        return op_tJtBLRaXS9(2,a)

def op_count_A5l3xeE7N2(a):
    if op_mR0p8TbMGG(a,648) > 189 or a != 82 or a == 169:
        count = op_count_6jnLtSreEI(a)+op_count_mR0p8TbMGG(a,648)
    else:
        count = op_count_tJtBLRaXS9(2,a)
    return count


def op_ZGVXPq3q7K(a, b):
    if (b <= 113 and a <= 115):
        return op_gpjLwCVqUY(271,op_XHowTFVwyi(op_bKDbozsdlc(b),op_R853JquVHs(b,b)))
    else:
        return op_Jf2MRgTP95(op_u6S6b8DprG(op_9kyI0w1glK(a,a)),op_Utw2DgmeAM(op_TqTf0WBeGT(a)))

def op_count_ZGVXPq3q7K(a, b):
    if (b <= 113 and a <= 115):
        count = op_count_bKDbozsdlc(b)+op_count_R853JquVHs(b,b)+op_count_XHowTFVwyi(op_bKDbozsdlc(b),op_R853JquVHs(b,b))+op_count_gpjLwCVqUY(271,op_XHowTFVwyi(op_bKDbozsdlc(b),op_R853JquVHs(b,b)))
    else:
        count = op_count_9kyI0w1glK(a,a)+op_count_u6S6b8DprG(op_9kyI0w1glK(a,a))+op_count_TqTf0WBeGT(a)+op_count_Utw2DgmeAM(op_TqTf0WBeGT(a))+op_count_Jf2MRgTP95(op_u6S6b8DprG(op_9kyI0w1glK(a,a)),op_Utw2DgmeAM(op_TqTf0WBeGT(a)))
    return count


a⫧⪍b = { (b∲⩔) , if (a⪮⪭852)>40 ; (b⩺⋐⫨) , else }

def op_hmoK5NcTwx(a, b):
    if op_umcb8ZB9wY(a,852) > 40:
        return op_4oiuhcUfb7(b)
    else:
        return op_yS9ePUuUdn(b)

def op_count_hmoK5NcTwx(a, b):
    if op_umcb8ZB9wY(a,852) > 40:
        count = op_count_4oiuhcUfb7(b)+op_count_umcb8ZB9wY(a,852)
    else:
        count = op_count_yS9ePUuUdn(b)
    return count


def op_gX4FzDCZoG(a):
    if (op_E331xP7I43(a,224) >= 37 and op_LBL36x6Kn9(a) <= 625):
        return op_gfvVrh7EOO(op_LCrUByRFnp(a))
    else:
        return op_FpQM48OB1m(op_8PqENNA1S7(op_qYpz2WEVq4(a,77)))

def op_count_gX4FzDCZoG(a):
    if (op_E331xP7I43(a,224) >= 37 and op_LBL36x6Kn9(a) <= 625):
        count = op_count_LCrUByRFnp(a)+op_count_gfvVrh7EOO(op_LCrUByRFnp(a))+op_count_E331xP7I43(a,224)+op_count_LBL36x6Kn9(a)
    else:
        count = op_count_qYpz2WEVq4(a,77)+op_count_8PqENNA1S7(op_qYpz2WEVq4(a,77))+op_count_FpQM48OB1m(op_8PqENNA1S7(op_qYpz2WEVq4(a,77)))
    return count


a∭⋇b = { ((a⨀⋝⩂a)⇲(b⪴⪂52)) , if b<=363 ; (a∈⇹) , else }

def op_BRGXtWZ0MD(a, b):
    if b <= 363:
        return op_24nwyATvD7(op_gNhqVVHJgV(a,a),op_vqI1m89mpI(b,52))
    else:
        return op_bHMTMoSyEe(a)

def op_count_BRGXtWZ0MD(a, b):
    if b <= 363:
        count = op_count_gNhqVVHJgV(a,a)+op_count_vqI1m89mpI(b,52)+op_count_24nwyATvD7(op_gNhqVVHJgV(a,a),op_vqI1m89mpI(b,52))
    else:
        count = op_count_bHMTMoSyEe(a)
    return count


↵⋯a = { ((a⊭⫢)⩢a) , if ((a⫌⫔⇌)<=127 and (⨆⇫a)>739) ; ((a↵≅∝a)⨄⊾⩮) , else }

def op_HzjAeHUDMv(a):
    if (op_MDGfnd99Hk(a) <= 127 and op_BS5gxE7HeX(a) > 739):
        return op_xCh8PLxVLz(op_xiKbUzfUz0(a),a)
    else:
        return op_GfE2GQMWLl(op_p3t60N3cEu(a,a))

def op_count_HzjAeHUDMv(a):
    if (op_MDGfnd99Hk(a) <= 127 and op_BS5gxE7HeX(a) > 739):
        count = op_count_xiKbUzfUz0(a)+op_count_xCh8PLxVLz(op_xiKbUzfUz0(a),a)+op_count_MDGfnd99Hk(a)+op_count_BS5gxE7HeX(a)
    else:
        count = op_count_p3t60N3cEu(a,a)+op_count_GfE2GQMWLl(op_p3t60N3cEu(a,a))
    return count


⊆⋶a = { (((a≪⫇a)↫⇙↺(a⪯a))⫺⋢) , if (a⩭⩼⩹335)!=148 ; (((⫂↾a)⪉⋜⨢(202≑∓a))⫻-⫄((247∛≔)⪞⇨(a⇋⊴⊜a))) , else }

def op_yW1VfRRaq4(a):
    if op_vbWWDQncJe(a,335) != 148:
        return op_UklnSfcsr4(op_xRBuNLHaeO(op_HJmRI3zxge(a,a),op_I3ZanAtbUM(a,a)))
    else:
        return op_qO3m3EJotg(op_0YlV2lZqOw(op_stqfiwE0x5(a),op_SYQDw94fy9(202,a)),op_dbaoL9ubd4(op_mGnSCrte3L(247),op_1NEUe3Qa2W(a,a)))

def op_count_yW1VfRRaq4(a):
    if op_vbWWDQncJe(a,335) != 148:
        count = op_count_HJmRI3zxge(a,a)+op_count_I3ZanAtbUM(a,a)+op_count_xRBuNLHaeO(op_HJmRI3zxge(a,a),op_I3ZanAtbUM(a,a))+op_count_UklnSfcsr4(op_xRBuNLHaeO(op_HJmRI3zxge(a,a),op_I3ZanAtbUM(a,a)))+op_count_vbWWDQncJe(a,335)
    else:
        count = op_count_stqfiwE0x5(a)+op_count_SYQDw94fy9(202,a)+op_count_0YlV2lZqOw(op_stqfiwE0x5(a),op_SYQDw94fy9(202,a))+op_count_mGnSCrte3L(247)+op_count_1NEUe3Qa2W(a,a)+op_count_dbaoL9ubd4(op_mGnSCrte3L(247),op_1NEUe3Qa2W(a,a))+op_count_qO3m3EJotg(op_0YlV2lZqOw(op_stqfiwE0x5(a),op_SYQDw94fy9(202,a)),op_dbaoL9ubd4(op_mGnSCrte3L(247),op_1NEUe3Qa2W(a,a)))
    return count


a⇦⋥⩖ = { (⋦↙⩸883) , if a<=76 ; (a⫉⨲⊜a) , else }

def op_MI9fwAxosC(a):
    if a <= 76:
        return op_P78JJ8jX64(883)
    else:
        return op_WhqkvtTD3t(a,a)

def op_count_MI9fwAxosC(a):
    if a <= 76:
        count = op_count_P78JJ8jX64(883)
    else:
        count = op_count_WhqkvtTD3t(a,a)
    return count


def op_jFmOdrrJ6M(a):
    if op_L7PEQm7qWG(a) < 30:
        return op_AVIuaxj4s4(151)
    else:
        return op_IHiuu7CTbC(a)

def op_count_jFmOdrrJ6M(a):
    if op_L7PEQm7qWG(a) < 30:
        count = op_count_AVIuaxj4s4(151)+op_count_L7PEQm7qWG(a)
    else:
        count = op_count_IHiuu7CTbC(a)
    return count


a⩷⩺b = { (((a↛⩡⫤)↓∂⫆(↤⪎a))↹⊜a) , if a<257 ; (((b⪦a)⩁≑⩠(a⪠⇑≑a))⊩∰⋧((b∷b)⩸⋪(a⊩b))) , else }

def op_mBUmerU5Wa(a, b):
    if a < 257:
        return op_9bazX3JMtO(op_UO7sojQx20(op_FU0Cs4j7VP(a),op_PJn8kYvayX(a)),a)
    else:
        return op_icxKCO3nOu(op_J6uwgn6DsM(op_S2EdmdiVZh(b,a),op_9WIAdFgsXU(a,a)),op_avxXIHzjv1(op_D3AQDKkPcf(b,b),op_aCwnCp9fG4(a,b)))

def op_count_mBUmerU5Wa(a, b):
    if a < 257:
        count = op_count_FU0Cs4j7VP(a)+op_count_PJn8kYvayX(a)+op_count_UO7sojQx20(op_FU0Cs4j7VP(a),op_PJn8kYvayX(a))+op_count_9bazX3JMtO(op_UO7sojQx20(op_FU0Cs4j7VP(a),op_PJn8kYvayX(a)),a)
    else:
        count = op_count_S2EdmdiVZh(b,a)+op_count_9WIAdFgsXU(a,a)+op_count_J6uwgn6DsM(op_S2EdmdiVZh(b,a),op_9WIAdFgsXU(a,a))+op_count_D3AQDKkPcf(b,b)+op_count_aCwnCp9fG4(a,b)+op_count_avxXIHzjv1(op_D3AQDKkPcf(b,b),op_aCwnCp9fG4(a,b))+op_count_icxKCO3nOu(op_J6uwgn6DsM(op_S2EdmdiVZh(b,a),op_9WIAdFgsXU(a,a)),op_avxXIHzjv1(op_D3AQDKkPcf(b,b),op_aCwnCp9fG4(a,b)))
    return count


def op_QQzYoIc6IH(a):
    if (op_YbVcJGFEVW(a,38) != 311 or op_cGHQRUc1Fx(a) == 44):
        return op_XZQF252bpX(op_JvH2m5hQ94(a),op_UHiZrz1lbQ(0))
    else:
        return op_F0bFH7iBkH(op_waWucp1uQ4(135))

def op_count_QQzYoIc6IH(a):
    if (op_YbVcJGFEVW(a,38) != 311 or op_cGHQRUc1Fx(a) == 44):
        count = op_count_JvH2m5hQ94(a)+op_count_UHiZrz1lbQ(0)+op_count_XZQF252bpX(op_JvH2m5hQ94(a),op_UHiZrz1lbQ(0))+op_count_YbVcJGFEVW(a,38)+op_count_cGHQRUc1Fx(a)
    else:
        count = op_count_waWucp1uQ4(135)+op_count_F0bFH7iBkH(op_waWucp1uQ4(135))
    return count


a∯⇉⩚b = { (b⫃(2⩎⪣⊞)) , if b<=181 ; (⨇⩑(⪷⨧∗a)) , else }

def op_GyQA6DdueM(a, b):
    if b <= 181:
        return op_jkca4M7ITL(b,op_waWucp1uQ4(2))
    else:
        return op_Qad0JqIAjf(op_1ppdvXw4NF(a))

def op_count_GyQA6DdueM(a, b):
    if b <= 181:
        count = op_count_waWucp1uQ4(2)+op_count_jkca4M7ITL(b,op_waWucp1uQ4(2))
    else:
        count = op_count_1ppdvXw4NF(a)+op_count_Qad0JqIAjf(op_1ppdvXw4NF(a))
    return count


def op_UC6VTtFIlX(a):
    if op_2xNUJOTV1W(a) <= 271:
        return op_iERJjuKeUH(op_BiWNJpBvwn(op_dShKswRZS2(a,399),op_tTOv6jcZDA(a)),op_zcaA4Z4NaO(op_dsYFgWXyte(595,a),op_ktfEB5Ypfm(a,138)))
    else:
        return op_3uu3byueWr(op_xVqBDbDSwv(op_lNZWPMt3he(a,a),op_096fXiO8sA(223)))

def op_count_UC6VTtFIlX(a):
    if op_2xNUJOTV1W(a) <= 271:
        count = op_count_dShKswRZS2(a,399)+op_count_tTOv6jcZDA(a)+op_count_BiWNJpBvwn(op_dShKswRZS2(a,399),op_tTOv6jcZDA(a))+op_count_dsYFgWXyte(595,a)+op_count_ktfEB5Ypfm(a,138)+op_count_zcaA4Z4NaO(op_dsYFgWXyte(595,a),op_ktfEB5Ypfm(a,138))+op_count_iERJjuKeUH(op_BiWNJpBvwn(op_dShKswRZS2(a,399),op_tTOv6jcZDA(a)),op_zcaA4Z4NaO(op_dsYFgWXyte(595,a),op_ktfEB5Ypfm(a,138)))+op_count_2xNUJOTV1W(a)
    else:
        count = op_count_lNZWPMt3he(a,a)+op_count_096fXiO8sA(223)+op_count_xVqBDbDSwv(op_lNZWPMt3he(a,a),op_096fXiO8sA(223))+op_count_3uu3byueWr(op_xVqBDbDSwv(op_lNZWPMt3he(a,a),op_096fXiO8sA(223)))
    return count


a⇺≌≗b = { (((307⩄⊊a)⋝⪜⩥(b⩆b))⫹⪎≄(a⪴⊃⨩)) , if a!=11 ; (⨟⇸((⪬⇹⨻a)≩⪙b)) , else }

def op_au74vvFtZs(a, b):
    if a != 11:
        return op_K576RbR1w3(op_5e3ejKfaG8(op_ckxBfo3j3z(307,a),op_QmMs3tyaZP(b,b)),op_Bj2VpOWG8x(a))
    else:
        return op_1hwl9Xb5U6(op_InRsNkjnGi(op_Rco790wzow(a),b))

def op_count_au74vvFtZs(a, b):
    if a != 11:
        count = op_count_ckxBfo3j3z(307,a)+op_count_QmMs3tyaZP(b,b)+op_count_5e3ejKfaG8(op_ckxBfo3j3z(307,a),op_QmMs3tyaZP(b,b))+op_count_Bj2VpOWG8x(a)+op_count_K576RbR1w3(op_5e3ejKfaG8(op_ckxBfo3j3z(307,a),op_QmMs3tyaZP(b,b)),op_Bj2VpOWG8x(a))
    else:
        count = op_count_Rco790wzow(a)+op_count_InRsNkjnGi(op_Rco790wzow(a),b)+op_count_1hwl9Xb5U6(op_InRsNkjnGi(op_Rco790wzow(a),b))
    return count


def op_03rZgUhLgr(a):
    if op_5TUYCnJO6w(a) < 174:
        return op_GRrQNMyeGD(op_xbJbJbSYo4(op_gC4f1fifnE(a),op_GhV2CxyjiW(21,473)),op_PtITbjBpBq(op_404MvReicw(a,a),op_tYXmmrGzSP(a)))
    else:
        return op_yqthOfQm3e(op_AzXXKTstlj(op_6JB1RBngZg(a,273),op_8npM8OufGg(a,a)),op_y2kQTS4a70(op_Olv81LO2u6(152),op_vEGLkm4Z2k(a)))

def op_count_03rZgUhLgr(a):
    if op_5TUYCnJO6w(a) < 174:
        count = op_count_gC4f1fifnE(a)+op_count_GhV2CxyjiW(21,473)+op_count_xbJbJbSYo4(op_gC4f1fifnE(a),op_GhV2CxyjiW(21,473))+op_count_404MvReicw(a,a)+op_count_tYXmmrGzSP(a)+op_count_PtITbjBpBq(op_404MvReicw(a,a),op_tYXmmrGzSP(a))+op_count_GRrQNMyeGD(op_xbJbJbSYo4(op_gC4f1fifnE(a),op_GhV2CxyjiW(21,473)),op_PtITbjBpBq(op_404MvReicw(a,a),op_tYXmmrGzSP(a)))+op_count_5TUYCnJO6w(a)
    else:
        count = op_count_6JB1RBngZg(a,273)+op_count_8npM8OufGg(a,a)+op_count_AzXXKTstlj(op_6JB1RBngZg(a,273),op_8npM8OufGg(a,a))+op_count_Olv81LO2u6(152)+op_count_vEGLkm4Z2k(a)+op_count_y2kQTS4a70(op_Olv81LO2u6(152),op_vEGLkm4Z2k(a))+op_count_yqthOfQm3e(op_AzXXKTstlj(op_6JB1RBngZg(a,273),op_8npM8OufGg(a,a)),op_y2kQTS4a70(op_Olv81LO2u6(152),op_vEGLkm4Z2k(a)))
    return count


a∉∙⇗b = { (≣⊋∠(b∳⫺b)) , if (a≏≕⊈)>188 ; (⪽⊔⪾(a≌∨b)) , else }

def op_M0Gz8A1nx3(a, b):
    if op_20hTnS7co9(a) > 188:
        return op_yBIyVna2gu(op_AzXXKTstlj(b,b))
    else:
        return op_8pEb091Skj(op_BRzjzC6jtL(a,b))

def op_count_M0Gz8A1nx3(a, b):
    if op_20hTnS7co9(a) > 188:
        count = op_count_AzXXKTstlj(b,b)+op_count_yBIyVna2gu(op_AzXXKTstlj(b,b))+op_count_20hTnS7co9(a)
    else:
        count = op_count_BRzjzC6jtL(a,b)+op_count_8pEb091Skj(op_BRzjzC6jtL(a,b))
    return count


a⫉⇥⩟b = { (((40⫊)⊹⨛(a↦⩻⊓b))⫌⩢↗((b∅⋟⋈b)⩎⪣⊞)) , if (b≋⩳⩩)>=157 and (a⪉542)<=448 ; a , else }

def op_hLotPe0a43(a, b):
    if op_d6jxrEfZsd(b) >= 157 and op_P4ywzuOpaq(a,542) <= 448:
        return op_zXFJn6gPTe(op_9Skavuvm7c(op_f9yoPMFGE3(40),op_kf2MGdd7i0(a,b)),op_waWucp1uQ4(op_tGNgmywV9u(b,b)))
    else:
        return a

def op_count_hLotPe0a43(a, b):
    if op_d6jxrEfZsd(b) >= 157 and op_P4ywzuOpaq(a,542) <= 448:
        count = op_count_f9yoPMFGE3(40)+op_count_kf2MGdd7i0(a,b)+op_count_9Skavuvm7c(op_f9yoPMFGE3(40),op_kf2MGdd7i0(a,b))+op_count_tGNgmywV9u(b,b)+op_count_waWucp1uQ4(op_tGNgmywV9u(b,b))+op_count_zXFJn6gPTe(op_9Skavuvm7c(op_f9yoPMFGE3(40),op_kf2MGdd7i0(a,b)),op_waWucp1uQ4(op_tGNgmywV9u(b,b)))+op_count_d6jxrEfZsd(b)+op_count_P4ywzuOpaq(a,542)
    else:
        count = 1
    return count


⫎⨵⪌a = { ((⫵⇆a)∛(a⇼⇔∾a)) , if a<387 ; ((a⊻↞≧a)⋕⫓⨞(a≄⋉635)) , else }

def op_sRe1zx0fTH(a):
    if a < 387:
        return op_w2537kitQq(op_FEewDH7aVn(a),op_tifHPKVTfV(a,a))
    else:
        return op_HTQeboLAuK(op_NZ4M85zvpZ(a,a),op_lmJLg3MMpL(a,635))

def op_count_sRe1zx0fTH(a):
    if a < 387:
        count = op_count_FEewDH7aVn(a)+op_count_tifHPKVTfV(a,a)+op_count_w2537kitQq(op_FEewDH7aVn(a),op_tifHPKVTfV(a,a))
    else:
        count = op_count_NZ4M85zvpZ(a,a)+op_count_lmJLg3MMpL(a,635)+op_count_HTQeboLAuK(op_NZ4M85zvpZ(a,a),op_lmJLg3MMpL(a,635))
    return count


a←⫁⋲ = { ((⋗⩴⪓(a⫖⪽a))∰⫸⩌(⩖≀(a⫉⨲⊜a))) , if (a⩉⨿)!=87 ; (((266↓⋫112)⊐a)⪔≯⪼) , else }

def op_lHjdvGFfQr(a):
    if op_0XrHeV7DGo(a) != 87:
        return op_iQhOHdKFce(op_nOKPl9n5zu(op_UlIHxGcaIG(a,a)),op_IgJGjqfDMb(op_WhqkvtTD3t(a,a)))
    else:
        return op_H7yssDIsK9(op_kE9YHawE8s(op_gpjLwCVqUY(266,112),a))

def op_count_lHjdvGFfQr(a):
    if op_0XrHeV7DGo(a) != 87:
        count = op_count_UlIHxGcaIG(a,a)+op_count_nOKPl9n5zu(op_UlIHxGcaIG(a,a))+op_count_WhqkvtTD3t(a,a)+op_count_IgJGjqfDMb(op_WhqkvtTD3t(a,a))+op_count_iQhOHdKFce(op_nOKPl9n5zu(op_UlIHxGcaIG(a,a)),op_IgJGjqfDMb(op_WhqkvtTD3t(a,a)))+op_count_0XrHeV7DGo(a)
    else:
        count = op_count_gpjLwCVqUY(266,112)+op_count_kE9YHawE8s(op_gpjLwCVqUY(266,112),a)+op_count_H7yssDIsK9(op_kE9YHawE8s(op_gpjLwCVqUY(266,112),a))
    return count


def op_HKsnIs0Ho3(a, b):
    if (op_OKEw5qQgvj(b) != 610 or op_mp7IySMOzn(a,799) <= 18):
        return op_waWucp1uQ4(a)
    else:
        return a

def op_count_HKsnIs0Ho3(a, b):
    if (op_OKEw5qQgvj(b) != 610 or op_mp7IySMOzn(a,799) <= 18):
        count = op_count_waWucp1uQ4(a)+op_count_OKEw5qQgvj(b)+op_count_mp7IySMOzn(a,799)
    else:
        count = 1
    return count


a⩨⋩⪿ = { (((a⪑⫞↭a)⇱⨹⊀(246≆⪨⩷12))⇐↙(≆(a⇧≻))) , if (a⩀⊺⇍)==220 ; (((a⫐≩a)⋲(a⩫⨅))≦⋶∫((↦⫝̸⪽a)⪵↱⫥(a≿↯131))) , else }

def op_2AK6mDqOEe(a):
    if op_3tbQZWYi8S(a) == 220:
        return op_nFUV6O7puR(op_DEAy1fljX8(op_VsxaxIN4o0(a,a),op_0e2ucfioNt(246,12)),op_7iT9y97eD8(op_56lx0jOM0n(a)))
    else:
        return op_UCZYOMlgcp(op_zoVUxTIMAa(op_RDbMZWh2v2(a,a),op_OvpvhtAkoY(a)),op_kYTzVM0dNf(op_Kztwr9tJkF(a),op_EvWkNk7VX0(a,131)))

def op_count_2AK6mDqOEe(a):
    if op_3tbQZWYi8S(a) == 220:
        count = op_count_VsxaxIN4o0(a,a)+op_count_0e2ucfioNt(246,12)+op_count_DEAy1fljX8(op_VsxaxIN4o0(a,a),op_0e2ucfioNt(246,12))+op_count_56lx0jOM0n(a)+op_count_7iT9y97eD8(op_56lx0jOM0n(a))+op_count_nFUV6O7puR(op_DEAy1fljX8(op_VsxaxIN4o0(a,a),op_0e2ucfioNt(246,12)),op_7iT9y97eD8(op_56lx0jOM0n(a)))+op_count_3tbQZWYi8S(a)
    else:
        count = op_count_RDbMZWh2v2(a,a)+op_count_OvpvhtAkoY(a)+op_count_zoVUxTIMAa(op_RDbMZWh2v2(a,a),op_OvpvhtAkoY(a))+op_count_Kztwr9tJkF(a)+op_count_EvWkNk7VX0(a,131)+op_count_kYTzVM0dNf(op_Kztwr9tJkF(a),op_EvWkNk7VX0(a,131))+op_count_UCZYOMlgcp(op_zoVUxTIMAa(op_RDbMZWh2v2(a,a),op_OvpvhtAkoY(a)),op_kYTzVM0dNf(op_Kztwr9tJkF(a),op_EvWkNk7VX0(a,131)))
    return count


a%⪤⇭b = { ((a⩓↱⫎(a∲⨂b))≂⫬((⪧↲⋤16)⫞⫛⩱(b⋑⫡≨375))) , if (a⫉⨲⊜137)==423 ; (a↾b) , else }

def op_BpnXzQ89oA(a, b):
    if op_WhqkvtTD3t(a,137) == 423:
        return op_TMkpIaZGd6(op_vSg3Rn1iwJ(a,op_lN3c4ByBHx(a,b)),op_zq8axvgV1G(op_bwsAacVXlT(16),op_B6NOxX3vVD(b,375)))
    else:
        return op_XmtODG4Sr9(a,b)

def op_count_BpnXzQ89oA(a, b):
    if op_WhqkvtTD3t(a,137) == 423:
        count = op_count_lN3c4ByBHx(a,b)+op_count_vSg3Rn1iwJ(a,op_lN3c4ByBHx(a,b))+op_count_bwsAacVXlT(16)+op_count_B6NOxX3vVD(b,375)+op_count_zq8axvgV1G(op_bwsAacVXlT(16),op_B6NOxX3vVD(b,375))+op_count_TMkpIaZGd6(op_vSg3Rn1iwJ(a,op_lN3c4ByBHx(a,b)),op_zq8axvgV1G(op_bwsAacVXlT(16),op_B6NOxX3vVD(b,375)))+op_count_WhqkvtTD3t(a,137)
    else:
        count = op_count_XmtODG4Sr9(a,b)
    return count


def op_rADO6jDX7N(a):
    if a != 79:
        return op_iA2gmKZ3Wj(474)
    else:
        return op_yyGr8FKHqM(a,a)

def op_count_rADO6jDX7N(a):
    if a != 79:
        count = op_count_iA2gmKZ3Wj(474)
    else:
        count = op_count_yyGr8FKHqM(a,a)
    return count


⩩⪶⇋a = { ((a⇕⫍a)⊦⨽(≻⋜a)) , if (⊆⨾≳a)>131 ; (⇆⊁↘(a⇕∤535)) , else }

def op_79U8OCttTd(a):
    if op_VxTo73hUdI(a) > 131:
        return op_EfXKeaGUzV(op_SVbYQ5zZTr(a,a),op_3tj9sqzovi(a))
    else:
        return op_emTSK01Iw7(op_vv8LpWl80y(a,535))

def op_count_79U8OCttTd(a):
    if op_VxTo73hUdI(a) > 131:
        count = op_count_SVbYQ5zZTr(a,a)+op_count_3tj9sqzovi(a)+op_count_EfXKeaGUzV(op_SVbYQ5zZTr(a,a),op_3tj9sqzovi(a))+op_count_VxTo73hUdI(a)
    else:
        count = op_count_vv8LpWl80y(a,535)+op_count_emTSK01Iw7(op_vv8LpWl80y(a,535))
    return count


a⫛⋖⋜b = { (b↙a) , if (∨⫘⊿b)<314 ; (b⫓) , else }

def op_SFHyutUHV6(a, b):
    if op_qxp9F1VMeC(b) < 314:
        return op_yyfyN0ffXY(b,a)
    else:
        return op_mLFH2NRKNI(b)

def op_count_SFHyutUHV6(a, b):
    if op_qxp9F1VMeC(b) < 314:
        count = op_count_yyfyN0ffXY(b,a)+op_count_qxp9F1VMeC(b)
    else:
        count = op_count_mLFH2NRKNI(b)
    return count


def op_YSZKrOGlNm(a):
    if (op_AqJQW3khbP(a) == 151 and op_1CSirAG2uR(a) == 370 and a != 15):
        return op_zPaW4OAyCC(op_Jf2MRgTP95(a,122),op_6o9Blt3TJ6(223,a))
    else:
        return a

def op_count_YSZKrOGlNm(a):
    if (op_AqJQW3khbP(a) == 151 and op_1CSirAG2uR(a) == 370 and a != 15):
        count = op_count_Jf2MRgTP95(a,122)+op_count_6o9Blt3TJ6(223,a)+op_count_zPaW4OAyCC(op_Jf2MRgTP95(a,122),op_6o9Blt3TJ6(223,a))+op_count_AqJQW3khbP(a)+op_count_1CSirAG2uR(a)
    else:
        count = 1
    return count


a⇴∯b = { (((15↢⋥⊛b)⪁⊺⨩)⊬⨰(⊛⨰⋷a)) , if (≣⪥b)>=328 ; (((b⋡≾b)↽↬(⨺⫸≝b))⫻-⫄((≿⪣⩢b)⊾⇫(⋖b))) , else }

def op_97EW0KYuIz(a, b):
    if op_GYdfsuwOJy(b) >= 328:
        return op_s3Fd5m9Dh2(op_zw8pvIViHv(op_6pONsy2XwS(15,b)),op_KlNKuDZ4P4(a))
    else:
        return op_qO3m3EJotg(op_7QYZIzcNPK(op_maNSbC2RxN(b,b),op_NnTbxo2Idi(b)),op_EaccxuysW0(op_2rKnP1Q4SV(b),op_dYTqEtTc30(b)))

def op_count_97EW0KYuIz(a, b):
    if op_GYdfsuwOJy(b) >= 328:
        count = op_count_6pONsy2XwS(15,b)+op_count_zw8pvIViHv(op_6pONsy2XwS(15,b))+op_count_KlNKuDZ4P4(a)+op_count_s3Fd5m9Dh2(op_zw8pvIViHv(op_6pONsy2XwS(15,b)),op_KlNKuDZ4P4(a))+op_count_GYdfsuwOJy(b)
    else:
        count = op_count_maNSbC2RxN(b,b)+op_count_NnTbxo2Idi(b)+op_count_7QYZIzcNPK(op_maNSbC2RxN(b,b),op_NnTbxo2Idi(b))+op_count_2rKnP1Q4SV(b)+op_count_dYTqEtTc30(b)+op_count_EaccxuysW0(op_2rKnP1Q4SV(b),op_dYTqEtTc30(b))+op_count_qO3m3EJotg(op_7QYZIzcNPK(op_maNSbC2RxN(b,b),op_NnTbxo2Idi(b)),op_EaccxuysW0(op_2rKnP1Q4SV(b),op_dYTqEtTc30(b)))
    return count


⊿⇩a = { (a∰⩈a) , if (⩛⪔⩪a)>=331 ; (a↳∿⪆a) , else }

def op_Cz3oYOfD2J(a):
    if op_Kqj1jcIBMp(a) >= 331:
        return op_vjO1tVBgS7(a,a)
    else:
        return op_Cw4SuJJGHO(a,a)

def op_count_Cz3oYOfD2J(a):
    if op_Kqj1jcIBMp(a) >= 331:
        count = op_count_vjO1tVBgS7(a,a)+op_count_Kqj1jcIBMp(a)
    else:
        count = op_count_Cw4SuJJGHO(a,a)
    return count


def op_C3EbZSi9ME(a):
    if a <= 71:
        return op_q4xkxdBt2f(a,458)
    else:
        return op_Ez1Nq5fNfI(a,a)

def op_count_C3EbZSi9ME(a):
    if a <= 71:
        count = op_count_q4xkxdBt2f(a,458)
    else:
        count = op_count_Ez1Nq5fNfI(a,a)
    return count


⪠⊰a = { a , if (a≷∧820)==670 ; ((a∙⊟a)≥⨯(⋝⇱⇓a)) , else }

def op_5mPupkINTB(a):
    if op_BsKymRuLqz(a,820) == 670:
        return a
    else:
        return op_2GKZYdYZjS(op_SxTAKzQCrw(a,a),op_TLv57rOmDJ(a))

def op_count_5mPupkINTB(a):
    if op_BsKymRuLqz(a,820) == 670:
        count = 1
    else:
        count = op_count_SxTAKzQCrw(a,a)+op_count_TLv57rOmDJ(a)+op_count_2GKZYdYZjS(op_SxTAKzQCrw(a,a),op_TLv57rOmDJ(a))
    return count


def op_cCsG1vsFyi(a):
    if op_xRCgHJduM4(a,501) != 265:
        return op_0KMCeP1Jsh(322,a)
    else:
        return op_edUqJ6W6b3(a)

def op_count_cCsG1vsFyi(a):
    if op_xRCgHJduM4(a,501) != 265:
        count = op_count_0KMCeP1Jsh(322,a)+op_count_xRCgHJduM4(a,501)
    else:
        count = op_count_edUqJ6W6b3(a)
    return count


def op_xWqemuabDj(a, b):
    if op_KydNfnjeRI(a) <= 152:
        return op_iPL6cQVrhP(30,b)
    else:
        return op_H0fWaTn7v4(124,b)

def op_count_xWqemuabDj(a, b):
    if op_KydNfnjeRI(a) <= 152:
        count = op_count_iPL6cQVrhP(30,b)+op_count_KydNfnjeRI(a)
    else:
        count = op_count_H0fWaTn7v4(124,b)
    return count


a≜⊺ = { ((⇃(⪕≙298))⇎⊫((a≂⊘a)⩬(a⋦∲⋬a))) , if (⩝≋⋚a)<=133 ; ((≷⫦(⇸⨐⪙a))∃⋂((a⨝↳a)⋹⋛≠(a⋴⋺))) , else }

def op_LbNrfsApX1(a):
    if op_INF310Qlrg(a) <= 133:
        return op_7yKx6fqJeC(op_i4Pfiorep6(op_eWHr1gHY9C(298)),op_nuoWhTW6CA(op_0vlfU79Xq7(a,a),op_cUXFxtvyhI(a,a)))
    else:
        return op_fEFexwlJgE(op_K7MnsOaMRl(op_UhM7GxoAxS(a)),op_r52rsuXYVw(op_tqZXx6qj06(a,a),op_0bdkhPtsnY(a)))

def op_count_LbNrfsApX1(a):
    if op_INF310Qlrg(a) <= 133:
        count = op_count_eWHr1gHY9C(298)+op_count_i4Pfiorep6(op_eWHr1gHY9C(298))+op_count_0vlfU79Xq7(a,a)+op_count_cUXFxtvyhI(a,a)+op_count_nuoWhTW6CA(op_0vlfU79Xq7(a,a),op_cUXFxtvyhI(a,a))+op_count_7yKx6fqJeC(op_i4Pfiorep6(op_eWHr1gHY9C(298)),op_nuoWhTW6CA(op_0vlfU79Xq7(a,a),op_cUXFxtvyhI(a,a)))+op_count_INF310Qlrg(a)
    else:
        count = op_count_UhM7GxoAxS(a)+op_count_K7MnsOaMRl(op_UhM7GxoAxS(a))+op_count_tqZXx6qj06(a,a)+op_count_0bdkhPtsnY(a)+op_count_r52rsuXYVw(op_tqZXx6qj06(a,a),op_0bdkhPtsnY(a))+op_count_fEFexwlJgE(op_K7MnsOaMRl(op_UhM7GxoAxS(a)),op_r52rsuXYVw(op_tqZXx6qj06(a,a),op_0bdkhPtsnY(a)))
    return count


def op_Jasr5mA9li(a):
    if a > 476:
        return op_y16C4hJIbn(116,a)
    else:
        return op_w2537kitQq(a,a)

def op_count_Jasr5mA9li(a):
    if a > 476:
        count = op_count_y16C4hJIbn(116,a)
    else:
        count = op_count_w2537kitQq(a,a)
    return count


a⨫⫉ = { (⨶⩒a) , if a>=422 ; (a⫴≡a) , else }

def op_uX0saqmjbM(a):
    if a >= 422:
        return op_iKsoMkOqp0(a)
    else:
        return op_Q6Sj1WS8if(a,a)

def op_count_uX0saqmjbM(a):
    if a >= 422:
        count = op_count_iKsoMkOqp0(a)
    else:
        count = op_count_Q6Sj1WS8if(a,a)
    return count


def op_GoyURcluJe(a, b):
    if (b >= 377 and b > 402 and op_siyWwrmZkB(b,387) >= 173):
        return op_aVlPCascYn(op_8u3ZXjUZq9(b,a),op_EVtoYVdMBM(9,83))
    else:
        return op_6Bcfo3j9gb(a,op_rlgYWsFeVn(b))

def op_count_GoyURcluJe(a, b):
    if (b >= 377 and b > 402 and op_siyWwrmZkB(b,387) >= 173):
        count = op_count_8u3ZXjUZq9(b,a)+op_count_EVtoYVdMBM(9,83)+op_count_aVlPCascYn(op_8u3ZXjUZq9(b,a),op_EVtoYVdMBM(9,83))+op_count_siyWwrmZkB(b,387)
    else:
        count = op_count_rlgYWsFeVn(b)+op_count_6Bcfo3j9gb(a,op_rlgYWsFeVn(b))
    return count

6Bcfo3j9gb siyWwrmZkB 8u3ZXjUZq9 rlgYWsFeVn EVtoYVdMBM aVlPCascYn


a∌∺∗ = { ((a⨕⊄⇛a)⨔(a↝≞≭87)) , if (a⫠→⩳)>=340 ; ((⋗⩴⪓a)⫵⨐⫴(⋩⇼a)) , else }

def op_5XatVMDVEV(a):
    if op_2mhqNW5Qok(a) >= 340:
        return op_TlYxY93Pfd(op_Sk2xeHjcVZ(a,a),op_qmoX8GR648(a,87))
    else:
        return op_DwP0GRE7En(op_nOKPl9n5zu(a),op_rBEEKC6a67(a))

def op_count_5XatVMDVEV(a):
    if op_2mhqNW5Qok(a) >= 340:
        count = op_count_Sk2xeHjcVZ(a,a)+op_count_qmoX8GR648(a,87)+op_count_TlYxY93Pfd(op_Sk2xeHjcVZ(a,a),op_qmoX8GR648(a,87))+op_count_2mhqNW5Qok(a)
    else:
        count = op_count_nOKPl9n5zu(a)+op_count_rBEEKC6a67(a)+op_count_DwP0GRE7En(op_nOKPl9n5zu(a),op_rBEEKC6a67(a))
    return count


a⇞⩛ = { (a⪵∐a) , if a>=39 ; (a⋛⩥) , else }

def op_SQgPZ9rwqW(a):
    if a >= 39:
        return op_fHEWrCoiIm(a,a)
    else:
        return op_lz4dBNPYLn(a)

def op_count_SQgPZ9rwqW(a):
    if a >= 39:
        count = op_count_fHEWrCoiIm(a,a)
    else:
        count = op_count_lz4dBNPYLn(a)
    return count


def op_AxkPhlJ0T6(a):
    if (op_qVLDExghth(a) != 338 and op_zqpnzlcbs4(a,326) == 115):
        return op_oWn0xqSxBt(a)
    else:
        return op_LXu4eIoRGd(a,a)

def op_count_AxkPhlJ0T6(a):
    if (op_qVLDExghth(a) != 338 and op_zqpnzlcbs4(a,326) == 115):
        count = op_count_oWn0xqSxBt(a)+op_count_qVLDExghth(a)+op_count_zqpnzlcbs4(a,326)
    else:
        count = op_count_LXu4eIoRGd(a,a)
    return count


a⇟b = { (((a∱⫝b)↢≸(⇰⨵a))∕⪝) , if a>56 ; ((a⨍∆(a⨝≋⫻b))⫩⫓((a⪜↾b)≒∊(b⨌a))) , else }

def op_wXtdU0DicQ(a, b):
    if a > 56:
        return op_EEXzluxnhc(op_sMWVT9hqlZ(op_QTzpnREx4U(a,b),op_E4WEglQwU2(a)))
    else:
        return op_dN8578Iovx(op_qlIXcggVCe(a,op_laSRlfPI3y(a,b)),op_5KTvxBwnZo(op_j0T3bE6LZn(a,b),op_YdvuPOw6Zp(b,a)))

def op_count_wXtdU0DicQ(a, b):
    if a > 56:
        count = op_count_QTzpnREx4U(a,b)+op_count_E4WEglQwU2(a)+op_count_sMWVT9hqlZ(op_QTzpnREx4U(a,b),op_E4WEglQwU2(a))+op_count_EEXzluxnhc(op_sMWVT9hqlZ(op_QTzpnREx4U(a,b),op_E4WEglQwU2(a)))
    else:
        count = op_count_laSRlfPI3y(a,b)+op_count_qlIXcggVCe(a,op_laSRlfPI3y(a,b))+op_count_j0T3bE6LZn(a,b)+op_count_YdvuPOw6Zp(b,a)+op_count_5KTvxBwnZo(op_j0T3bE6LZn(a,b),op_YdvuPOw6Zp(b,a))+op_count_dN8578Iovx(op_qlIXcggVCe(a,op_laSRlfPI3y(a,b)),op_5KTvxBwnZo(op_j0T3bE6LZn(a,b),op_YdvuPOw6Zp(b,a)))
    return count


a≮∼b = { (((a⫯∃a)⪥≪⇒(159⊒b))∛∙((b⇊b)↽∞(b↑∊∴46))) , if a>847 ; ((⊢⊪(≧a))⇚∛⩤((a⪜⋗⇢a)⋪⪸(⊉↲516))) , else }

def op_Y2DHHefjzz(a, b):
    if a > 847:
        return op_kpf4jZBDQQ(op_mLaDX6ri0K(op_fyvQKNYXMd(a,a),op_rPNtK4BLRO(159,b)),op_eUizPD1kq5(op_8h2Ofp3S4L(b,b),op_pWXflaUkg0(b,46)))
    else:
        return op_AhDKBC5IVD(op_Fu0Gkb26pJ(op_438NZEZFZN(a)),op_7DoUD1Rkxi(op_MkFge0F0HF(a,a),op_fkZUW4eOKP(516)))

def op_count_Y2DHHefjzz(a, b):
    if a > 847:
        count = op_count_fyvQKNYXMd(a,a)+op_count_rPNtK4BLRO(159,b)+op_count_mLaDX6ri0K(op_fyvQKNYXMd(a,a),op_rPNtK4BLRO(159,b))+op_count_8h2Ofp3S4L(b,b)+op_count_pWXflaUkg0(b,46)+op_count_eUizPD1kq5(op_8h2Ofp3S4L(b,b),op_pWXflaUkg0(b,46))+op_count_kpf4jZBDQQ(op_mLaDX6ri0K(op_fyvQKNYXMd(a,a),op_rPNtK4BLRO(159,b)),op_eUizPD1kq5(op_8h2Ofp3S4L(b,b),op_pWXflaUkg0(b,46)))
    else:
        count = op_count_438NZEZFZN(a)+op_count_Fu0Gkb26pJ(op_438NZEZFZN(a))+op_count_MkFge0F0HF(a,a)+op_count_fkZUW4eOKP(516)+op_count_7DoUD1Rkxi(op_MkFge0F0HF(a,a),op_fkZUW4eOKP(516))+op_count_AhDKBC5IVD(op_Fu0Gkb26pJ(op_438NZEZFZN(a)),op_7DoUD1Rkxi(op_MkFge0F0HF(a,a),op_fkZUW4eOKP(516)))
    return count


def op_JVIk0ZlPWJ(a, b):
    if op_nDybdB13Ph(b,133) != 132:
        return op_6LEqcG83L6(op_Tw270M8GLb(op_yRqWCfy5LI(a,a)),op_TMkpIaZGd6(op_nTnZaKopOY(37),op_bZvdkBTgtx(119)))
    else:
        return op_tBYU6worvm(op_zWEPWlwaj2(op_vv8LpWl80y(a,a),op_koW2ZZv8cS(b,501)))

def op_count_JVIk0ZlPWJ(a, b):
    if op_nDybdB13Ph(b,133) != 132:
        count = op_count_yRqWCfy5LI(a,a)+op_count_Tw270M8GLb(op_yRqWCfy5LI(a,a))+op_count_nTnZaKopOY(37)+op_count_bZvdkBTgtx(119)+op_count_TMkpIaZGd6(op_nTnZaKopOY(37),op_bZvdkBTgtx(119))+op_count_6LEqcG83L6(op_Tw270M8GLb(op_yRqWCfy5LI(a,a)),op_TMkpIaZGd6(op_nTnZaKopOY(37),op_bZvdkBTgtx(119)))+op_count_nDybdB13Ph(b,133)
    else:
        count = op_count_vv8LpWl80y(a,a)+op_count_koW2ZZv8cS(b,501)+op_count_zWEPWlwaj2(op_vv8LpWl80y(a,a),op_koW2ZZv8cS(b,501))+op_count_tBYU6worvm(op_zWEPWlwaj2(op_vv8LpWl80y(a,a),op_koW2ZZv8cS(b,501)))
    return count


def op_qKfjTBWwJY(a):
    if (op_gBMo9waWS2(a) >= 183 or op_pqRk2BRzIy(a) > 371):
        return op_MWoH0YoNSF(op_4pxXWnDKiI(op_xTgA75nXjt(a,a),op_dXiJTwqsTq(a)),op_eWtgzN4EAB(op_hh4S7I0a8e(146,a),op_MapNMPHSAz(296,a)))
    else:
        return op_WYdstNaOZK(op_Qkdmijf3a6(op_f09raCEPXX(a,a),op_I7sXao9hZE(24,a)),op_Rc7o8AHK9u(op_15v7IodGk2(301,a),op_veW6T7vJnP(a)))

def op_count_qKfjTBWwJY(a):
    if (op_gBMo9waWS2(a) >= 183 or op_pqRk2BRzIy(a) > 371):
        count = op_count_xTgA75nXjt(a,a)+op_count_dXiJTwqsTq(a)+op_count_4pxXWnDKiI(op_xTgA75nXjt(a,a),op_dXiJTwqsTq(a))+op_count_hh4S7I0a8e(146,a)+op_count_MapNMPHSAz(296,a)+op_count_eWtgzN4EAB(op_hh4S7I0a8e(146,a),op_MapNMPHSAz(296,a))+op_count_MWoH0YoNSF(op_4pxXWnDKiI(op_xTgA75nXjt(a,a),op_dXiJTwqsTq(a)),op_eWtgzN4EAB(op_hh4S7I0a8e(146,a),op_MapNMPHSAz(296,a)))+op_count_gBMo9waWS2(a)+op_count_pqRk2BRzIy(a)
    else:
        count = op_count_f09raCEPXX(a,a)+op_count_I7sXao9hZE(24,a)+op_count_Qkdmijf3a6(op_f09raCEPXX(a,a),op_I7sXao9hZE(24,a))+op_count_15v7IodGk2(301,a)+op_count_veW6T7vJnP(a)+op_count_Rc7o8AHK9u(op_15v7IodGk2(301,a),op_veW6T7vJnP(a))+op_count_WYdstNaOZK(op_Qkdmijf3a6(op_f09raCEPXX(a,a),op_I7sXao9hZE(24,a)),op_Rc7o8AHK9u(op_15v7IodGk2(301,a),op_veW6T7vJnP(a)))
    return count


a↼⫛⋺b = { (((88⫭↡)⊑⨮(a⩍⨱⇉585))⪰⋼⨗((∟⋨a)↞⨮(a⨺⇪))) , if (b↙↷952)!=0 or b>=384 ; (((a⇨⇁a)⪇≇⋚(913⪹≺))≄⩻((↘≔b)∅⨓⊺(b≖⪱b))) , else }

def op_UjEWUlwvxt(a, b):
    if op_j8STMlMTgO(b,952) != 0 or b >= 384:
        return op_JjGBB9f9Hu(op_xRCgHJduM4(op_izr9MGzCtp(88),op_DsyPkj0vuS(a,585)),op_bQgVqQlgRF(op_ctOc4cKSDt(a),op_GXrIlk0Lt2(a)))
    else:
        return op_GRrQNMyeGD(op_3sJ7IOPOlU(op_0JEjmizNXg(a,a),op_NiUpd8fmgo(913)),op_Y6eJsjawIR(op_Rojcw4AIka(b),op_WwRa9GTyuv(b,b)))

def op_count_UjEWUlwvxt(a, b):
    if op_j8STMlMTgO(b,952) != 0 or b >= 384:
        count = op_count_izr9MGzCtp(88)+op_count_DsyPkj0vuS(a,585)+op_count_xRCgHJduM4(op_izr9MGzCtp(88),op_DsyPkj0vuS(a,585))+op_count_ctOc4cKSDt(a)+op_count_GXrIlk0Lt2(a)+op_count_bQgVqQlgRF(op_ctOc4cKSDt(a),op_GXrIlk0Lt2(a))+op_count_JjGBB9f9Hu(op_xRCgHJduM4(op_izr9MGzCtp(88),op_DsyPkj0vuS(a,585)),op_bQgVqQlgRF(op_ctOc4cKSDt(a),op_GXrIlk0Lt2(a)))+op_count_j8STMlMTgO(b,952)
    else:
        count = op_count_0JEjmizNXg(a,a)+op_count_NiUpd8fmgo(913)+op_count_3sJ7IOPOlU(op_0JEjmizNXg(a,a),op_NiUpd8fmgo(913))+op_count_Rojcw4AIka(b)+op_count_WwRa9GTyuv(b,b)+op_count_Y6eJsjawIR(op_Rojcw4AIka(b),op_WwRa9GTyuv(b,b))+op_count_GRrQNMyeGD(op_3sJ7IOPOlU(op_0JEjmizNXg(a,a),op_NiUpd8fmgo(913)),op_Y6eJsjawIR(op_Rojcw4AIka(b),op_WwRa9GTyuv(b,b)))
    return count


a⇎⪹ = { (((⇒⊙∲a)↹↫⨞(a∀⇖a))⪉⩕↠((137⊚⫌a)⋆⪎⪨(a⩨⩁a))) , if (a⋪⫃)<558 ; (((592⪤≓⨓a)⊝⋁)⨸((a⩩∧⨆a)≕∼(a⊴284))) , else }

def op_CSyAgYLlFA(a):
    if op_pWHz7MDI4y(a) < 558:
        return op_chJOjhVmaW(op_Rj9i6ilAQV(op_8HCJqvcFkE(a),op_H7IE5R9nU5(a,a)),op_kLz9fXvToG(op_gSB9CMo1tN(137,a),op_mRABlwQNwR(a,a)))
    else:
        return op_KmoU8R5UQR(op_RENOe0fZe0(op_CgMtesZvCQ(592,a)),op_A6I87Ow00X(op_tzokWjBnUu(a,a),op_Nsiff2A1zJ(a,284)))

def op_count_CSyAgYLlFA(a):
    if op_pWHz7MDI4y(a) < 558:
        count = op_count_8HCJqvcFkE(a)+op_count_H7IE5R9nU5(a,a)+op_count_Rj9i6ilAQV(op_8HCJqvcFkE(a),op_H7IE5R9nU5(a,a))+op_count_gSB9CMo1tN(137,a)+op_count_mRABlwQNwR(a,a)+op_count_kLz9fXvToG(op_gSB9CMo1tN(137,a),op_mRABlwQNwR(a,a))+op_count_chJOjhVmaW(op_Rj9i6ilAQV(op_8HCJqvcFkE(a),op_H7IE5R9nU5(a,a)),op_kLz9fXvToG(op_gSB9CMo1tN(137,a),op_mRABlwQNwR(a,a)))+op_count_pWHz7MDI4y(a)
    else:
        count = op_count_CgMtesZvCQ(592,a)+op_count_RENOe0fZe0(op_CgMtesZvCQ(592,a))+op_count_tzokWjBnUu(a,a)+op_count_Nsiff2A1zJ(a,284)+op_count_A6I87Ow00X(op_tzokWjBnUu(a,a),op_Nsiff2A1zJ(a,284))+op_count_KmoU8R5UQR(op_RENOe0fZe0(op_CgMtesZvCQ(592,a)),op_A6I87Ow00X(op_tzokWjBnUu(a,a),op_Nsiff2A1zJ(a,284)))
    return count


a⩹⨽⨱b = { (⨥⇳(a≐≱a)) , if (b≽⪆798)>524 ; ((15⨨b)⇋⩓b) , else }

def op_f42Yu2lCIf(a, b):
    if op_0YS1lrvTlG(b,798) > 524:
        return op_9ntSni7vAj(op_EopCNPJDb6(a,a))
    else:
        return op_nV0ABU7b9V(op_vhtqQa4va1(15,b),b)

def op_count_f42Yu2lCIf(a, b):
    if op_0YS1lrvTlG(b,798) > 524:
        count = op_count_EopCNPJDb6(a,a)+op_count_9ntSni7vAj(op_EopCNPJDb6(a,a))+op_count_0YS1lrvTlG(b,798)
    else:
        count = op_count_vhtqQa4va1(15,b)+op_count_nV0ABU7b9V(op_vhtqQa4va1(15,b),b)
    return count


a≃≵≟b = { ((b⊆⇕a)⋮⫆(a⪥⋳b)) , if (b⪔95)==26 ; ((a⩜⩆a)≞→(b⫮b)) , else }

def op_095JLJYYv3(a, b):
    if op_GjBEYRfMaF(b,95) == 26:
        return op_H0fWaTn7v4(op_LXu4eIoRGd(b,a),op_lrx2PmmfOO(a,b))
    else:
        return op_F5sOeBPF7d(op_gBZ5YI4mOE(a,a),op_vwdxqpDU32(b,b))

def op_count_095JLJYYv3(a, b):
    if op_GjBEYRfMaF(b,95) == 26:
        count = op_count_LXu4eIoRGd(b,a)+op_count_lrx2PmmfOO(a,b)+op_count_H0fWaTn7v4(op_LXu4eIoRGd(b,a),op_lrx2PmmfOO(a,b))+op_count_GjBEYRfMaF(b,95)
    else:
        count = op_count_gBZ5YI4mOE(a,a)+op_count_vwdxqpDU32(b,b)+op_count_F5sOeBPF7d(op_gBZ5YI4mOE(a,a),op_vwdxqpDU32(b,b))
    return count


def op_PblbpLuwxj(a, b):
    if op_WwRa9GTyuv(b,412) == 876:
        return b
    else:
        return op_MXaNJeIAZ3(op_IEH3kw0xIp(op_4XKlyKzzXk(b,a),op_096fXiO8sA(102)))

def op_count_PblbpLuwxj(a, b):
    if op_WwRa9GTyuv(b,412) == 876:
        count = 1
    else:
        count = op_count_4XKlyKzzXk(b,a)+op_count_096fXiO8sA(102)+op_count_IEH3kw0xIp(op_4XKlyKzzXk(b,a),op_096fXiO8sA(102))+op_count_MXaNJeIAZ3(op_IEH3kw0xIp(op_4XKlyKzzXk(b,a),op_096fXiO8sA(102)))
    return count


a∳⫯⊚b = { (b⇧∕⇚(⋉∇b)) , if (⊁⇙⊰b)<=135 ; ((b*⊌↸)⩽⩡a) , else }

def op_T7LiYqMtiK(a, b):
    if op_VgeRG2wcJO(b) <= 135:
        return op_ZVuupJtoea(b,op_AVIuaxj4s4(b))
    else:
        return op_zFNL8mZEFB(op_yQ0cYmQ85n(b),a)

def op_count_T7LiYqMtiK(a, b):
    if op_VgeRG2wcJO(b) <= 135:
        count = op_count_AVIuaxj4s4(b)+op_count_ZVuupJtoea(b,op_AVIuaxj4s4(b))+op_count_VgeRG2wcJO(b)
    else:
        count = op_count_yQ0cYmQ85n(b)+op_count_zFNL8mZEFB(op_yQ0cYmQ85n(b),a)
    return count


a⪋⩽⩀b = { (a≓≂b) , if ((b⫻⋑⊟)<=47 or (⫹⨞≡b)<186 or (b⪗≔⫊)<=162) ; (b⫩) , else }

def op_hS2BjwBKFM(a, b):
    if (op_o575Zjdmzy(b) <= 47 or op_sCmkhm4nGY(b) < 186 or op_rXIkazgc8y(b) <= 162):
        return op_9VoQ6iZjwX(a,b)
    else:
        return op_6aG7x05OhS(b)

def op_count_hS2BjwBKFM(a, b):
    if (op_o575Zjdmzy(b) <= 47 or op_sCmkhm4nGY(b) < 186 or op_rXIkazgc8y(b) <= 162):
        count = op_count_9VoQ6iZjwX(a,b)+op_count_o575Zjdmzy(b)+op_count_sCmkhm4nGY(b)+op_count_rXIkazgc8y(b)
    else:
        count = op_count_6aG7x05OhS(b)
    return count


a⩝⫀⊬b = { ((b⊭⫢)⨣⪓⩣(b⫶b)) , if (⊠b)==10 or a>332 or (b⪅⋆⪾)!=44 ; ((a≥⨖≵b)⇪∗⨴(b⋲⨣⊼b)) , else }

def op_3monxvu6IK(a, b):
    if op_R3vAdrE3IH(b) == 10 or a > 332 or op_63dRGD47kE(b) != 44:
        return op_mVr5uKN5pR(op_xiKbUzfUz0(b),op_BAIXFdYaz3(b,b))
    else:
        return op_xb2YpVd57y(op_kkyNOwKHaJ(a,b),op_enoNeSxeZq(b,b))

def op_count_3monxvu6IK(a, b):
    if op_R3vAdrE3IH(b) == 10 or a > 332 or op_63dRGD47kE(b) != 44:
        count = op_count_xiKbUzfUz0(b)+op_count_BAIXFdYaz3(b,b)+op_count_mVr5uKN5pR(op_xiKbUzfUz0(b),op_BAIXFdYaz3(b,b))+op_count_R3vAdrE3IH(b)+op_count_63dRGD47kE(b)
    else:
        count = op_count_kkyNOwKHaJ(a,b)+op_count_enoNeSxeZq(b,b)+op_count_xb2YpVd57y(op_kkyNOwKHaJ(a,b),op_enoNeSxeZq(b,b))
    return count


def op_1xz6Wyaq9s(a):
    if (op_bMfZrpXtSe(a,299) < 101 or op_aNWAReb50r(a) >= 565):
        return op_e6fjkqlCWa(a)
    else:
        return op_FTI62PzLjd(a,a)

def op_count_1xz6Wyaq9s(a):
    if (op_bMfZrpXtSe(a,299) < 101 or op_aNWAReb50r(a) >= 565):
        count = op_count_e6fjkqlCWa(a)+op_count_bMfZrpXtSe(a,299)+op_count_aNWAReb50r(a)
    else:
        count = op_count_FTI62PzLjd(a,a)
    return count


a∥⫇b = { (b⫽⋔) , if (a<127 and (b⨑⊃⫛78)>41 and (⊐↗∝b)==75) ; (b⊼b) , else }

def op_ELzFbN8rhh(a, b):
    if (a < 127 and op_QJfD8BdLrJ(b,78) > 41 and op_inYIwJ0bD8(b) == 75):
        return op_bJjEIIhyQG(b)
    else:
        return op_Qglmzouulk(b,b)

def op_count_ELzFbN8rhh(a, b):
    if (a < 127 and op_QJfD8BdLrJ(b,78) > 41 and op_inYIwJ0bD8(b) == 75):
        count = op_count_bJjEIIhyQG(b)+op_count_QJfD8BdLrJ(b,78)+op_count_inYIwJ0bD8(b)
    else:
        count = op_count_Qglmzouulk(b,b)
    return count


a⨫⩫⊙b = { (⋗⩴⪓(a≊⩔)) , if (a⨠↴838)==120 ; ((b∸⋅a)⇫⨙(⨷b)) , else }

def op_6MHRivDnVK(a, b):
    if op_zStf3jvmdU(a,838) == 120:
        return op_nOKPl9n5zu(op_doxNIVS6p2(a))
    else:
        return op_5hfPSBHW5r(op_dqXKirNDVF(b,a),op_0De0cgdyF4(b))

def op_count_6MHRivDnVK(a, b):
    if op_zStf3jvmdU(a,838) == 120:
        count = op_count_doxNIVS6p2(a)+op_count_nOKPl9n5zu(op_doxNIVS6p2(a))+op_count_zStf3jvmdU(a,838)
    else:
        count = op_count_dqXKirNDVF(b,a)+op_count_0De0cgdyF4(b)+op_count_5hfPSBHW5r(op_dqXKirNDVF(b,a),op_0De0cgdyF4(b))
    return count


a∱⫆⨀ = { ((≊⪊a)⫦⪉(↲⩤203)) , if (↳≽a)>=76 ; ((a⨪↰⇹a)⫌⩢↗a) , else }

def op_3d0QikRhmc(a):
    if op_2RiCcpYWz7(a) >= 76:
        return op_wscyQdcy20(op_LEP1dkkg7l(a),op_ENCncEn1bW(203))
    else:
        return op_zXFJn6gPTe(op_tmPS8pqC7x(a,a),a)

def op_count_3d0QikRhmc(a):
    if op_2RiCcpYWz7(a) >= 76:
        count = op_count_LEP1dkkg7l(a)+op_count_ENCncEn1bW(203)+op_count_wscyQdcy20(op_LEP1dkkg7l(a),op_ENCncEn1bW(203))+op_count_2RiCcpYWz7(a)
    else:
        count = op_count_tmPS8pqC7x(a,a)+op_count_zXFJn6gPTe(op_tmPS8pqC7x(a,a),a)
    return count


a⫻⊲ = { (((⩣⪁a)⋷∪↥(⫰89))∙⨵((a⇪↧a)⪐-(⋙⫃⫩a))) , if (a⇫∆⋋)<291 ; (↔⊐⋟((a⨤a)⪩≅(305⫉⫷a))) , else }

def op_vV6lulWQOk(a):
    if op_bRnnbjT7Lp(a) < 291:
        return op_reVGrTqfuh(op_6aVlks4Vpw(op_W2rMsuCzF8(a),op_ryce98zMeW(89)),op_d8xe6WWVfM(op_yRqWCfy5LI(a,a),op_23RZ8Drpas(a)))
    else:
        return op_nuZMgjAhXC(op_TFdbvXreUq(op_6Dk38mmJ69(a,a),op_0m85q53N9z(305,a)))

def op_count_vV6lulWQOk(a):
    if op_bRnnbjT7Lp(a) < 291:
        count = op_count_W2rMsuCzF8(a)+op_count_ryce98zMeW(89)+op_count_6aVlks4Vpw(op_W2rMsuCzF8(a),op_ryce98zMeW(89))+op_count_yRqWCfy5LI(a,a)+op_count_23RZ8Drpas(a)+op_count_d8xe6WWVfM(op_yRqWCfy5LI(a,a),op_23RZ8Drpas(a))+op_count_reVGrTqfuh(op_6aVlks4Vpw(op_W2rMsuCzF8(a),op_ryce98zMeW(89)),op_d8xe6WWVfM(op_yRqWCfy5LI(a,a),op_23RZ8Drpas(a)))+op_count_bRnnbjT7Lp(a)
    else:
        count = op_count_6Dk38mmJ69(a,a)+op_count_0m85q53N9z(305,a)+op_count_TFdbvXreUq(op_6Dk38mmJ69(a,a),op_0m85q53N9z(305,a))+op_count_nuZMgjAhXC(op_TFdbvXreUq(op_6Dk38mmJ69(a,a),op_0m85q53N9z(305,a)))
    return count


a≛∁⨓b = { (⇸⨐⪙a) , if b<=210 ; (a⫋⩭) , else }

def op_OBmonyAJof(a, b):
    if b <= 210:
        return op_UhM7GxoAxS(a)
    else:
        return op_UTQvfVN19Q(a)

def op_count_OBmonyAJof(a, b):
    if b <= 210:
        count = op_count_UhM7GxoAxS(a)
    else:
        count = op_count_UTQvfVN19Q(a)
    return count


def op_IDsmIc521j(a):
    if op_CfshEWpL66(a,763) < 698:
        return op_4J8E7DyAzc(21,a)
    else:
        return op_o20kRiQErp(a)

def op_count_IDsmIc521j(a):
    if op_CfshEWpL66(a,763) < 698:
        count = op_count_4J8E7DyAzc(21,a)+op_count_CfshEWpL66(a,763)
    else:
        count = op_count_o20kRiQErp(a)
    return count


a⩁⫆b = { (a⪂∄b) , if (⪅⪢⇛b)==137 ; (∡≣⨺b) , else }

def op_Z85d8e4hG9(a, b):
    if op_WMWMpF7FtW(b) == 137:
        return op_LruclEJH8T(a,b)
    else:
        return op_3Mo73BEME2(b)

def op_count_Z85d8e4hG9(a, b):
    if op_WMWMpF7FtW(b) == 137:
        count = op_count_LruclEJH8T(a,b)+op_count_WMWMpF7FtW(b)
    else:
        count = op_count_3Mo73BEME2(b)
    return count


def op_lz12ztaV66(a):
    if (op_4JGOJzXMq1(a,143) != 87 or op_Lif1LrMNxJ(a,692) >= 640):
        return op_0JEjmizNXg(op_NkHGXixdNJ(a,115),op_2MgFsFVNLE(a))
    else:
        return op_Lnros4fou8(op_frKJlQghcg(578,a),op_ViqgXgeRy8(a,a))

def op_count_lz12ztaV66(a):
    if (op_4JGOJzXMq1(a,143) != 87 or op_Lif1LrMNxJ(a,692) >= 640):
        count = op_count_NkHGXixdNJ(a,115)+op_count_2MgFsFVNLE(a)+op_count_0JEjmizNXg(op_NkHGXixdNJ(a,115),op_2MgFsFVNLE(a))+op_count_4JGOJzXMq1(a,143)+op_count_Lif1LrMNxJ(a,692)
    else:
        count = op_count_frKJlQghcg(578,a)+op_count_ViqgXgeRy8(a,a)+op_count_Lnros4fou8(op_frKJlQghcg(578,a),op_ViqgXgeRy8(a,a))
    return count


a⋍−⪗ = { (a⪩) , if (∋∴a)<=745 ; (⨙⪌a) , else }

def op_6dQfI0sM9j(a):
    if op_nouZ5SZjt1(a) <= 745:
        return op_u7GmA9CWxF(a)
    else:
        return op_vEGLkm4Z2k(a)

def op_count_6dQfI0sM9j(a):
    if op_nouZ5SZjt1(a) <= 745:
        count = op_count_u7GmA9CWxF(a)+op_count_nouZ5SZjt1(a)
    else:
        count = op_count_vEGLkm4Z2k(a)
    return count


def op_Q6CeAy1lkG(a):
    if a == 59:
        return op_R853JquVHs(op_H7f1qksvrC(a),op_t7XEfsFsRn(a,166))
    else:
        return op_Y9TaKbm2SM(op_Metdo7PNA5(405,a))

def op_count_Q6CeAy1lkG(a):
    if a == 59:
        count = op_count_H7f1qksvrC(a)+op_count_t7XEfsFsRn(a,166)+op_count_R853JquVHs(op_H7f1qksvrC(a),op_t7XEfsFsRn(a,166))
    else:
        count = op_count_Metdo7PNA5(405,a)+op_count_Y9TaKbm2SM(op_Metdo7PNA5(405,a))
    return count


a⩒⫪⩟ = { (a↽⩔a) , if (⫾⨄a)<1 ; (a⇋⋞) , else }

def op_wU1NW2VRZe(a):
    if op_7fI9Cgzuff(a) < 1:
        return op_pC37afr74b(a,a)
    else:
        return op_x4nckvPyZv(a)

def op_count_wU1NW2VRZe(a):
    if op_7fI9Cgzuff(a) < 1:
        count = op_count_pC37afr74b(a,a)+op_count_7fI9Cgzuff(a)
    else:
        count = op_count_x4nckvPyZv(a)
    return count


⋮⫯⊔a = { (⨿⪛a) , if (∍∣a)>=16 ; (85∕⩚a) , else }

def op_zvIMFxgTFy(a):
    if op_pDsxZAaXPf(a) >= 16:
        return op_VmltFm4kU9(a)
    else:
        return op_z9ffQ9n5Zr(85,a)

def op_count_zvIMFxgTFy(a):
    if op_pDsxZAaXPf(a) >= 16:
        count = op_count_VmltFm4kU9(a)+op_count_pDsxZAaXPf(a)
    else:
        count = op_count_z9ffQ9n5Zr(85,a)
    return count


a⋈⨵↘b = { (⪞⇺((b↳≱b)⪗⪦⨯(b⪂⇙≶b))) , if (b⨭⫎155)!=434 ; a , else }

def op_cKjX3YDZG0(a, b):
    if op_OVAuBYEMFc(b,155) != 434:
        return op_LcLDYWYtOH(op_C6huvSECWb(op_JwTKLfZU96(b,b),op_cA8pkMYiOz(b,b)))
    else:
        return a

def op_count_cKjX3YDZG0(a, b):
    if op_OVAuBYEMFc(b,155) != 434:
        count = op_count_JwTKLfZU96(b,b)+op_count_cA8pkMYiOz(b,b)+op_count_C6huvSECWb(op_JwTKLfZU96(b,b),op_cA8pkMYiOz(b,b))+op_count_LcLDYWYtOH(op_C6huvSECWb(op_JwTKLfZU96(b,b),op_cA8pkMYiOz(b,b)))+op_count_OVAuBYEMFc(b,155)
    else:
        count = 1
    return count


a≛⨪⪕b = { ((178∎⫲⩖b)↩⋒(b≳447)) , if (a⨼⩅)<=153 ; (∡≣⨺(a⪩≭b)) , else }

def op_2BQfft9YfO(a, b):
    if op_eN03chWq6S(a) <= 153:
        return op_F4YWqIofbM(op_D4e1cgsuJu(178,b),op_HOs11gFUaq(b,447))
    else:
        return op_3Mo73BEME2(op_6nz9ZYviv4(a,b))

def op_count_2BQfft9YfO(a, b):
    if op_eN03chWq6S(a) <= 153:
        count = op_count_D4e1cgsuJu(178,b)+op_count_HOs11gFUaq(b,447)+op_count_F4YWqIofbM(op_D4e1cgsuJu(178,b),op_HOs11gFUaq(b,447))+op_count_eN03chWq6S(a)
    else:
        count = op_count_6nz9ZYviv4(a,b)+op_count_3Mo73BEME2(op_6nz9ZYviv4(a,b))
    return count


def op_vRy4X4Pqwq(a):
    if (op_Oa3MEmA8k4(a) != 616 and op_NPUvTuGeXI(a) < 409):
        return op_RTaRm1inG1(op_Ln1IrprsTU(275,a),op_fTN8FyfkXr(0))
    else:
        return a

def op_count_vRy4X4Pqwq(a):
    if (op_Oa3MEmA8k4(a) != 616 and op_NPUvTuGeXI(a) < 409):
        count = op_count_Ln1IrprsTU(275,a)+op_count_fTN8FyfkXr(0)+op_count_RTaRm1inG1(op_Ln1IrprsTU(275,a),op_fTN8FyfkXr(0))+op_count_Oa3MEmA8k4(a)+op_count_NPUvTuGeXI(a)
    else:
        count = 1
    return count


a⊪⫋b = { (((a⫻-⫄a)⋟⨈(b⫮⊿))⩁⋵(⫅⪑(⊝≂⪇b))) , if (a⫰∈⊎)<=8 ; (((550≴⫳b)≍∎(↔⊐⋟b))⇺⩨⨚(a⊲⩕⊾(b⪜a))) , else }

def op_ea3DdhFzdW(a, b):
    if op_DcHS2hUxRU(a) <= 8:
        return op_Dwi3vkQv6Q(op_KagmZ2dQBE(op_qO3m3EJotg(a,a),op_89nYMzsCi7(b)),op_WAv3ekBhw3(op_jhcXDNFX4l(b)))
    else:
        return op_fRgCzqsvkF(op_CODSA30q8k(op_JOesmJVzrd(550,b),op_nuZMgjAhXC(b)),op_DmTXOeWf9t(a,op_EMR9JvRK8T(b,a)))

def op_count_ea3DdhFzdW(a, b):
    if op_DcHS2hUxRU(a) <= 8:
        count = op_count_qO3m3EJotg(a,a)+op_count_89nYMzsCi7(b)+op_count_KagmZ2dQBE(op_qO3m3EJotg(a,a),op_89nYMzsCi7(b))+op_count_jhcXDNFX4l(b)+op_count_WAv3ekBhw3(op_jhcXDNFX4l(b))+op_count_Dwi3vkQv6Q(op_KagmZ2dQBE(op_qO3m3EJotg(a,a),op_89nYMzsCi7(b)),op_WAv3ekBhw3(op_jhcXDNFX4l(b)))+op_count_DcHS2hUxRU(a)
    else:
        count = op_count_JOesmJVzrd(550,b)+op_count_nuZMgjAhXC(b)+op_count_CODSA30q8k(op_JOesmJVzrd(550,b),op_nuZMgjAhXC(b))+op_count_EMR9JvRK8T(b,a)+op_count_DmTXOeWf9t(a,op_EMR9JvRK8T(b,a))+op_count_fRgCzqsvkF(op_CODSA30q8k(op_JOesmJVzrd(550,b),op_nuZMgjAhXC(b)),op_DmTXOeWf9t(a,op_EMR9JvRK8T(b,a)))
    return count


⋍⪕⫝̸a = { (a⇧∕⇚a) , if a==497 ; (⪽↫83) , else }

def op_oiBKNNcxYk(a):
    if a == 497:
        return op_ZVuupJtoea(a,a)
    else:
        return op_e6fjkqlCWa(83)

def op_count_oiBKNNcxYk(a):
    if a == 497:
        count = op_count_ZVuupJtoea(a,a)
    else:
        count = op_count_e6fjkqlCWa(83)
    return count


def op_sVBMypNds7(a, b):
    if (a != 37 and op_xc52gjKyDD(a,555) < 92):
        return op_T2fj7uvVaJ(b,a)
    else:
        return op_Pr2ZIwnRe0(b)

def op_count_sVBMypNds7(a, b):
    if (a != 37 and op_xc52gjKyDD(a,555) < 92):
        count = op_count_T2fj7uvVaJ(b,a)+op_count_xc52gjKyDD(a,555)
    else:
        count = op_count_Pr2ZIwnRe0(b)
    return count


a⨨⨍⋱ = { (a⊼∥a) , if (a∌⫆172)>=629 ; (a↕⋲(a↝⩙a)) , else }

def op_7ersmf1Tsl(a):
    if op_jdrn0ppNe9(a,172) >= 629:
        return op_Mf99ccDLYx(a,a)
    else:
        return op_4fBBH5YYk9(a,op_e3mPa9iSev(a,a))

def op_count_7ersmf1Tsl(a):
    if op_jdrn0ppNe9(a,172) >= 629:
        count = op_count_Mf99ccDLYx(a,a)+op_count_jdrn0ppNe9(a,172)
    else:
        count = op_count_e3mPa9iSev(a,a)+op_count_4fBBH5YYk9(a,op_e3mPa9iSev(a,a))
    return count


a⊑⩎ = { (324⩎⪣⊞) , if ((a⫻⋰)>87 and (↪↝a)<555) ; (a⊔≉⫖a) , else }

def op_J9Q7nyY1F1(a):
    if (op_IXQUgpeKaw(a) > 87 and op_fapF41XmAQ(a) < 555):
        return op_waWucp1uQ4(324)
    else:
        return op_U6FdYdKaSc(a,a)

def op_count_J9Q7nyY1F1(a):
    if (op_IXQUgpeKaw(a) > 87 and op_fapF41XmAQ(a) < 555):
        count = op_count_waWucp1uQ4(324)+op_count_IXQUgpeKaw(a)+op_count_fapF41XmAQ(a)
    else:
        count = op_count_U6FdYdKaSc(a,a)
    return count


a∢≢ = { ((⪴⇀a)⩖∀((461⨯a)⊱⇼⊻(↑∪⪶a))) , if (a⇟≁⩯)<=341 or (∥⊫a)<181 ; ((78⫚⫙(a⨯a))⫦∦((⪫⨮⊛a)⨟⋡⇮(a⨞⫉≽a))) , else }

def op_t09ASzPfXr(a):
    if op_m8h42HkABM(a) <= 341 or op_P8v4zCKN1o(a) < 181:
        return op_vb6BVWtSHd(op_2TGWtfCSF0(a),op_FyVja0WsTP(op_qYpz2WEVq4(461,a),op_SpJsxfHw9E(a)))
    else:
        return op_wTiz35xKoq(op_q4xkxdBt2f(78,op_qYpz2WEVq4(a,a)),op_vdIy956WRd(op_w5FWba1tyO(a),op_mNv3h3qoQh(a,a)))

def op_count_t09ASzPfXr(a):
    if op_m8h42HkABM(a) <= 341 or op_P8v4zCKN1o(a) < 181:
        count = op_count_2TGWtfCSF0(a)+op_count_qYpz2WEVq4(461,a)+op_count_SpJsxfHw9E(a)+op_count_FyVja0WsTP(op_qYpz2WEVq4(461,a),op_SpJsxfHw9E(a))+op_count_vb6BVWtSHd(op_2TGWtfCSF0(a),op_FyVja0WsTP(op_qYpz2WEVq4(461,a),op_SpJsxfHw9E(a)))+op_count_m8h42HkABM(a)+op_count_P8v4zCKN1o(a)
    else:
        count = op_count_qYpz2WEVq4(a,a)+op_count_q4xkxdBt2f(78,op_qYpz2WEVq4(a,a))+op_count_w5FWba1tyO(a)+op_count_mNv3h3qoQh(a,a)+op_count_vdIy956WRd(op_w5FWba1tyO(a),op_mNv3h3qoQh(a,a))+op_count_wTiz35xKoq(op_q4xkxdBt2f(78,op_qYpz2WEVq4(a,a)),op_vdIy956WRd(op_w5FWba1tyO(a),op_mNv3h3qoQh(a,a)))
    return count


def op_wjQ9OipZQk(a):
    if op_CYKpEp7EJh(a,659) <= 587 or op_yZQ9bFX2OK(a) < 130 or op_ea2zvyrKmE(a) > 229:
        return op_UWGAvKki9m(op_Qglmzouulk(op_gYvnWNXnJJ(a),op_jdrn0ppNe9(a,a)))
    else:
        return op_HPslF4Wa5g(op_917IECjXsT(165))

def op_count_wjQ9OipZQk(a):
    if op_CYKpEp7EJh(a,659) <= 587 or op_yZQ9bFX2OK(a) < 130 or op_ea2zvyrKmE(a) > 229:
        count = op_count_gYvnWNXnJJ(a)+op_count_jdrn0ppNe9(a,a)+op_count_Qglmzouulk(op_gYvnWNXnJJ(a),op_jdrn0ppNe9(a,a))+op_count_UWGAvKki9m(op_Qglmzouulk(op_gYvnWNXnJJ(a),op_jdrn0ppNe9(a,a)))+op_count_CYKpEp7EJh(a,659)+op_count_yZQ9bFX2OK(a)+op_count_ea2zvyrKmE(a)
    else:
        count = op_count_917IECjXsT(165)+op_count_HPslF4Wa5g(op_917IECjXsT(165))
    return count


/*a = { ((a≳⨗∰(a∲⇳⪦))⋂⋯(⇩⫆∈(78⇪⊴↶a))) , if (⊄⨡⋾a)<247 ; (((a⇤↠⊀a)≼≰⪤(169↡⊰⫅a))≎↩∿((165⋷∪↥a)∝↫∤a)) , else }

def op_fb4iIApWsB(a):
    if op_ZMmbXOLbMt(a) < 247:
        return op_jxGJixDqZp(op_CVvrhyTOBt(a,op_CXVugmvpsF(a)),op_P3e4aKGkjw(op_DO06dXi7jz(78,a)))
    else:
        return op_DowK1ZCM6i(op_OEnvRqCCi3(op_z6EySSQeql(a,a),op_VCtxkLNOzz(169,a)),op_N4MNDM3lcs(op_6aVlks4Vpw(165,a),a))

def op_count_fb4iIApWsB(a):
    if op_ZMmbXOLbMt(a) < 247:
        count = op_count_CXVugmvpsF(a)+op_count_CVvrhyTOBt(a,op_CXVugmvpsF(a))+op_count_DO06dXi7jz(78,a)+op_count_P3e4aKGkjw(op_DO06dXi7jz(78,a))+op_count_jxGJixDqZp(op_CVvrhyTOBt(a,op_CXVugmvpsF(a)),op_P3e4aKGkjw(op_DO06dXi7jz(78,a)))+op_count_ZMmbXOLbMt(a)
    else:
        count = op_count_z6EySSQeql(a,a)+op_count_VCtxkLNOzz(169,a)+op_count_OEnvRqCCi3(op_z6EySSQeql(a,a),op_VCtxkLNOzz(169,a))+op_count_6aVlks4Vpw(165,a)+op_count_N4MNDM3lcs(op_6aVlks4Vpw(165,a),a)+op_count_DowK1ZCM6i(op_OEnvRqCCi3(op_z6EySSQeql(a,a),op_VCtxkLNOzz(169,a)),op_N4MNDM3lcs(op_6aVlks4Vpw(165,a),a))
    return count


⊍-↓a = { ((a⩋a)⨚(340≟⪼∨a)) , if ((a⋹⩢≗)<204 and a<=49) ; ((a∀≈a)⪸⪲⊧(a⩄⊊a)) , else }

def op_Zu3AOvLcPu(a):
    if (op_TVJtHEi4fI(a) < 204 and a <= 49):
        return op_nREPSIbpBE(op_S2ubVDYUV4(a,a),op_irNdxohfJL(340,a))
    else:
        return op_zUUN1G0anQ(op_zUHZYjJ2nJ(a,a),op_ckxBfo3j3z(a,a))

def op_count_Zu3AOvLcPu(a):
    if (op_TVJtHEi4fI(a) < 204 and a <= 49):
        count = op_count_S2ubVDYUV4(a,a)+op_count_irNdxohfJL(340,a)+op_count_nREPSIbpBE(op_S2ubVDYUV4(a,a),op_irNdxohfJL(340,a))+op_count_TVJtHEi4fI(a)
    else:
        count = op_count_zUHZYjJ2nJ(a,a)+op_count_ckxBfo3j3z(a,a)+op_count_zUUN1G0anQ(op_zUHZYjJ2nJ(a,a),op_ckxBfo3j3z(a,a))
    return count


a⪂≦⊑b = { a , if (⩑√⊽a)>1 ; (((a↶↽128)⇼⪱⪮(104↧⪱a))⪝⋓((≈⊽b)⫏⊷)) , else }

def op_hNahGPIvJb(a, b):
    if op_Wimg07XIVX(a) > 1:
        return a
    else:
        return op_2hIaDBSv9V(op_iKXgM9nePW(op_8damnDlvQO(a,128),op_NzkNgIFiP9(104,a)),op_dcShxvzhyw(op_5gklcqtSna(b)))

def op_count_hNahGPIvJb(a, b):
    if op_Wimg07XIVX(a) > 1:
        count = 1
    else:
        count = op_count_8damnDlvQO(a,128)+op_count_NzkNgIFiP9(104,a)+op_count_iKXgM9nePW(op_8damnDlvQO(a,128),op_NzkNgIFiP9(104,a))+op_count_5gklcqtSna(b)+op_count_dcShxvzhyw(op_5gklcqtSna(b))+op_count_2hIaDBSv9V(op_iKXgM9nePW(op_8damnDlvQO(a,128),op_NzkNgIFiP9(104,a)),op_dcShxvzhyw(op_5gklcqtSna(b)))
    return count


a⨢∉⋖ = { ((a⫖a)⫺↓⫶(a⫽⪃253)) , if (a↪≰959)>=512 ; ((a∢⨡≗a)⫊(⩜⪮a)) , else }

def op_dJntwlUE31(a):
    if op_laDV8SAqpw(a,959) >= 512:
        return op_IP5SWKBbFb(op_aEfDsFgi2n(a,a),op_FJ3oXK3UQ0(a,253))
    else:
        return op_uPjn7n5pli(op_j0FS1QXHo5(a,a),op_Fy0YbK4kxW(a))

def op_count_dJntwlUE31(a):
    if op_laDV8SAqpw(a,959) >= 512:
        count = op_count_aEfDsFgi2n(a,a)+op_count_FJ3oXK3UQ0(a,253)+op_count_IP5SWKBbFb(op_aEfDsFgi2n(a,a),op_FJ3oXK3UQ0(a,253))+op_count_laDV8SAqpw(a,959)
    else:
        count = op_count_j0FS1QXHo5(a,a)+op_count_Fy0YbK4kxW(a)+op_count_uPjn7n5pli(op_j0FS1QXHo5(a,a),op_Fy0YbK4kxW(a))
    return count


a⫅⊪⪂ = { (14≀⫉a) , if (⪯⫰a)>427 ; a , else }

def op_Dx5dukYd5t(a):
    if op_CVVYKrfexc(a) > 427:
        return op_oZj3VtZNQx(14,a)
    else:
        return a

def op_count_Dx5dukYd5t(a):
    if op_CVVYKrfexc(a) > 427:
        count = op_count_oZj3VtZNQx(14,a)+op_count_CVVYKrfexc(a)
    else:
        count = 1
    return count


a⊂↳b = { (⪓⩚((b∄b)⫫≝⪄(b⨃∂≰a))) , if (a⩉∨309)==172 ; (a⨽⫍(a⇽⋪⩥(b⋉⇑≦a))) , else }

def op_ikIYYtIIV7(a, b):
    if op_m1wQXNbXkg(a,309) == 172:
        return op_u0R0Locfp2(op_CfshEWpL66(op_tnyRA5sazQ(b,b),op_wcdrXsDMxZ(b,a)))
    else:
        return op_ZMV0W12WVe(a,op_8iaSloTsD3(a,op_D6fLssyg6C(b,a)))

def op_count_ikIYYtIIV7(a, b):
    if op_m1wQXNbXkg(a,309) == 172:
        count = op_count_tnyRA5sazQ(b,b)+op_count_wcdrXsDMxZ(b,a)+op_count_CfshEWpL66(op_tnyRA5sazQ(b,b),op_wcdrXsDMxZ(b,a))+op_count_u0R0Locfp2(op_CfshEWpL66(op_tnyRA5sazQ(b,b),op_wcdrXsDMxZ(b,a)))+op_count_m1wQXNbXkg(a,309)
    else:
        count = op_count_D6fLssyg6C(b,a)+op_count_8iaSloTsD3(a,op_D6fLssyg6C(b,a))+op_count_ZMV0W12WVe(a,op_8iaSloTsD3(a,op_D6fLssyg6C(b,a)))
    return count


def op_CGv8F5LqoY(a):
    if a <= 461:
        return op_DDnYDa6DZ9(op_bO0Zp5FHr0(666,a))
    else:
        return op_Qglmzouulk(op_hfQ6xxn5As(a),op_sW5uJ3Qy8r(a,2))

def op_count_CGv8F5LqoY(a):
    if a <= 461:
        count = op_count_bO0Zp5FHr0(666,a)+op_count_DDnYDa6DZ9(op_bO0Zp5FHr0(666,a))
    else:
        count = op_count_hfQ6xxn5As(a)+op_count_sW5uJ3Qy8r(a,2)+op_count_Qglmzouulk(op_hfQ6xxn5As(a),op_sW5uJ3Qy8r(a,2))
    return count


a⪻⫮↳ = { (a⫐≩(a↭⨕)) , if (⇂⋯a)!=61 ; ((a⫘801)⇑(≟⪴a)) , else }

def op_wAmh1DN8VY(a):
    if op_7DVaw2hB8E(a) != 61:
        return op_RDbMZWh2v2(a,op_uPSJGxzYTl(a))
    else:
        return op_vBWREp8Jik(op_48vC8HMD2b(a,801),op_rxhJEvh336(a))

def op_count_wAmh1DN8VY(a):
    if op_7DVaw2hB8E(a) != 61:
        count = op_count_uPSJGxzYTl(a)+op_count_RDbMZWh2v2(a,op_uPSJGxzYTl(a))+op_count_7DVaw2hB8E(a)
    else:
        count = op_count_48vC8HMD2b(a,801)+op_count_rxhJEvh336(a)+op_count_vBWREp8Jik(op_48vC8HMD2b(a,801),op_rxhJEvh336(a))
    return count


def op_xcLjU86Y5m(a, b):
    if b < 52 and b < 59:
        return op_2am7j97jvV(op_jGfH5UPFW6(op_OVAuBYEMFc(860,a),op_w5FWba1tyO(397)),op_Qmvpor93tS(op_cYEGcM02R4(b,486)))
    else:
        return op_5WBlwMsBj2(op_Ew9mx34HQE(op_tJtBLRaXS9(b,b)),op_D4e1cgsuJu(op_pSJVYgjxpR(b,100),op_OivqHXtoNJ(b,189)))

def op_count_xcLjU86Y5m(a, b):
    if b < 52 and b < 59:
        count = op_count_OVAuBYEMFc(860,a)+op_count_w5FWba1tyO(397)+op_count_jGfH5UPFW6(op_OVAuBYEMFc(860,a),op_w5FWba1tyO(397))+op_count_cYEGcM02R4(b,486)+op_count_Qmvpor93tS(op_cYEGcM02R4(b,486))+op_count_2am7j97jvV(op_jGfH5UPFW6(op_OVAuBYEMFc(860,a),op_w5FWba1tyO(397)),op_Qmvpor93tS(op_cYEGcM02R4(b,486)))
    else:
        count = op_count_tJtBLRaXS9(b,b)+op_count_Ew9mx34HQE(op_tJtBLRaXS9(b,b))+op_count_pSJVYgjxpR(b,100)+op_count_OivqHXtoNJ(b,189)+op_count_D4e1cgsuJu(op_pSJVYgjxpR(b,100),op_OivqHXtoNJ(b,189))+op_count_5WBlwMsBj2(op_Ew9mx34HQE(op_tJtBLRaXS9(b,b)),op_D4e1cgsuJu(op_pSJVYgjxpR(b,100),op_OivqHXtoNJ(b,189)))
    return count


def op_5SxnThNa0k(a):
    if (op_HSKAMekx8r(a) == 520 or op_oXQ8EQIAzy(a,853) > 34):
        return op_3tj9sqzovi(op_9samAPKr6k(a,a))
    else:
        return a

def op_count_5SxnThNa0k(a):
    if (op_HSKAMekx8r(a) == 520 or op_oXQ8EQIAzy(a,853) > 34):
        count = op_count_9samAPKr6k(a,a)+op_count_3tj9sqzovi(op_9samAPKr6k(a,a))+op_count_HSKAMekx8r(a)+op_count_oXQ8EQIAzy(a,853)
    else:
        count = 1
    return count


def op_qeLrIUDzt0(a, b):
    if op_eaFBhJ0Uku(b,55) < 522:
        return op_pdOSkNoazV(op_exzyYvvvzF(a,op_2pBQXqWGeP(15,a)),op_mnCm9oVcGF(op_leeyKC4ZFN(679,a)))
    else:
        return op_3VKKtQjORe(op_Fue4ErCFXP(op_8Iqshm4ZEt(a,b),b),op_p3t60N3cEu(b,op_1iwIZY9iMy(a,23)))

def op_count_qeLrIUDzt0(a, b):
    if op_eaFBhJ0Uku(b,55) < 522:
        count = op_count_2pBQXqWGeP(15,a)+op_count_exzyYvvvzF(a,op_2pBQXqWGeP(15,a))+op_count_leeyKC4ZFN(679,a)+op_count_mnCm9oVcGF(op_leeyKC4ZFN(679,a))+op_count_pdOSkNoazV(op_exzyYvvvzF(a,op_2pBQXqWGeP(15,a)),op_mnCm9oVcGF(op_leeyKC4ZFN(679,a)))+op_count_eaFBhJ0Uku(b,55)
    else:
        count = op_count_8Iqshm4ZEt(a,b)+op_count_Fue4ErCFXP(op_8Iqshm4ZEt(a,b),b)+op_count_1iwIZY9iMy(a,23)+op_count_p3t60N3cEu(b,op_1iwIZY9iMy(a,23))+op_count_3VKKtQjORe(op_Fue4ErCFXP(op_8Iqshm4ZEt(a,b),b),op_p3t60N3cEu(b,op_1iwIZY9iMy(a,23)))
    return count


a⇾⩸⇗b = { (⪂∧(⊞⪻(a∏⫣⩆a))) , if (b⇼⊡⨗)!=107 ; (((a⋔∾b)⊹⫨(⨨⨣∣2))≗⩒⨛((a⊕∕b)⫘⋞(a⇜⪿⇴a))) , else }

def op_qkJOzkc7yA(a, b):
    if op_2XnCokAFCw(b) != 107:
        return op_iKLLq8LGXo(op_RdkBwzoIxl(op_UuoVKWBu8y(a,a)))
    else:
        return op_Ih3UVhBbvd(op_0uv4xNrpnl(op_5bjJf2Re4f(a,b),op_r4dXdAhveb(2)),op_JuYqkVW9UL(op_9cloC0Ngie(a,b),op_HHyZ9Jp3JQ(a,a)))

def op_count_qkJOzkc7yA(a, b):
    if op_2XnCokAFCw(b) != 107:
        count = op_count_UuoVKWBu8y(a,a)+op_count_RdkBwzoIxl(op_UuoVKWBu8y(a,a))+op_count_iKLLq8LGXo(op_RdkBwzoIxl(op_UuoVKWBu8y(a,a)))+op_count_2XnCokAFCw(b)
    else:
        count = op_count_5bjJf2Re4f(a,b)+op_count_r4dXdAhveb(2)+op_count_0uv4xNrpnl(op_5bjJf2Re4f(a,b),op_r4dXdAhveb(2))+op_count_9cloC0Ngie(a,b)+op_count_HHyZ9Jp3JQ(a,a)+op_count_JuYqkVW9UL(op_9cloC0Ngie(a,b),op_HHyZ9Jp3JQ(a,a))+op_count_Ih3UVhBbvd(op_0uv4xNrpnl(op_5bjJf2Re4f(a,b),op_r4dXdAhveb(2)),op_JuYqkVW9UL(op_9cloC0Ngie(a,b),op_HHyZ9Jp3JQ(a,a)))
    return count


a⨐⪯⪘ = { (80↓a) , if (a⋨≇)!=30 ; (⊺⇒a) , else }

def op_4DjlC60JUS(a):
    if op_U1gM3zMnFZ(a) != 30:
        return op_Af076pWI7l(80,a)
    else:
        return op_2MgFsFVNLE(a)

def op_count_4DjlC60JUS(a):
    if op_U1gM3zMnFZ(a) != 30:
        count = op_count_Af076pWI7l(80,a)+op_count_U1gM3zMnFZ(a)
    else:
        count = op_count_2MgFsFVNLE(a)
    return count


def op_o0XIVnnuRq(a):
    if op_LCIWZYeeIg(a,868) < 126:
        return op_FivK695Inb(100,a)
    else:
        return op_BEh4QBmAc4(a,a)

def op_count_o0XIVnnuRq(a):
    if op_LCIWZYeeIg(a,868) < 126:
        count = op_count_FivK695Inb(100,a)+op_count_LCIWZYeeIg(a,868)
    else:
        count = op_count_BEh4QBmAc4(a,a)
    return count


def op_YXJMeYSx5L(a):
    if op_QrPBJNmqe2(a) == 577:
        return op_UnCoSGIALn(a)
    else:
        return op_A41kwsHSEW(a)

def op_count_YXJMeYSx5L(a):
    if op_QrPBJNmqe2(a) == 577:
        count = op_count_UnCoSGIALn(a)+op_count_QrPBJNmqe2(a)
    else:
        count = op_count_A41kwsHSEW(a)
    return count


a⋐⪼ = { ((a↾a)⩞⇢(a⇰a)) , if a!=219 ; ((a⇺⩨⨚a)⫔(a⇃≔a)) , else }

def op_oyXgIFPRmJ(a):
    if a != 219:
        return op_tAx3JLWuqz(op_XmtODG4Sr9(a,a),op_sQnEGnxm5s(a,a))
    else:
        return op_Qsw9fW7fQc(op_fRgCzqsvkF(a,a),op_60FhV4dE5s(a,a))

def op_count_oyXgIFPRmJ(a):
    if a != 219:
        count = op_count_XmtODG4Sr9(a,a)+op_count_sQnEGnxm5s(a,a)+op_count_tAx3JLWuqz(op_XmtODG4Sr9(a,a),op_sQnEGnxm5s(a,a))
    else:
        count = op_count_fRgCzqsvkF(a,a)+op_count_60FhV4dE5s(a,a)+op_count_Qsw9fW7fQc(op_fRgCzqsvkF(a,a),op_60FhV4dE5s(a,a))
    return count


⫇⇗a = { ((a⪓⇍a)⩆(a⩮≏⫤238)) , if (⪮↲a)==798 ; ((a⊸⇪⫘a)⫑⨱(⊬↢a)) , else }

def op_tRnsvZxAor(a):
    if op_o87fefzB9U(a) == 798:
        return op_QmMs3tyaZP(op_wxIwlBkOAg(a,a),op_fRd8cuFkMc(a,238))
    else:
        return op_ckHj138N5r(op_55mBqzxS3b(a,a),op_WPoGxAaPR1(a))

def op_count_tRnsvZxAor(a):
    if op_o87fefzB9U(a) == 798:
        count = op_count_wxIwlBkOAg(a,a)+op_count_fRd8cuFkMc(a,238)+op_count_QmMs3tyaZP(op_wxIwlBkOAg(a,a),op_fRd8cuFkMc(a,238))+op_count_o87fefzB9U(a)
    else:
        count = op_count_55mBqzxS3b(a,a)+op_count_WPoGxAaPR1(a)+op_count_ckHj138N5r(op_55mBqzxS3b(a,a),op_WPoGxAaPR1(a))
    return count


def op_xOk6BLkkH3(a):
    if op_Ns6MaEZbMP(a) < 14:
        return op_KiBGhu83fR(216,op_s4gCNs8pnH(a,a))
    else:
        return op_KmoU8R5UQR(op_wwMOHVJtzA(317,636),29)

def op_count_xOk6BLkkH3(a):
    if op_Ns6MaEZbMP(a) < 14:
        count = op_count_s4gCNs8pnH(a,a)+op_count_KiBGhu83fR(216,op_s4gCNs8pnH(a,a))+op_count_Ns6MaEZbMP(a)
    else:
        count = op_count_wwMOHVJtzA(317,636)+op_count_KmoU8R5UQR(op_wwMOHVJtzA(317,636),29)
    return count


a⫖⋠⊅b = { (⋡⨘≙(b⩗⇿a)) , if ((a≞∑⊙)<73 and (b⨘⇗⫦)>=243) ; ((a⩬)⩺(⫅⪑b)) , else }

def op_tTVmucEQhY(a, b):
    if (op_sQCuBzcf58(a) < 73 and op_wJXJNSoS23(b) >= 243):
        return op_tHss8q0tGc(op_tKtycZyL6s(b,a))
    else:
        return op_8rgMBn28gJ(op_q4LUFz6CpC(a),op_WAv3ekBhw3(b))

def op_count_tTVmucEQhY(a, b):
    if (op_sQCuBzcf58(a) < 73 and op_wJXJNSoS23(b) >= 243):
        count = op_count_tKtycZyL6s(b,a)+op_count_tHss8q0tGc(op_tKtycZyL6s(b,a))+op_count_sQCuBzcf58(a)+op_count_wJXJNSoS23(b)
    else:
        count = op_count_q4LUFz6CpC(a)+op_count_WAv3ekBhw3(b)+op_count_8rgMBn28gJ(op_q4LUFz6CpC(a),op_WAv3ekBhw3(b))
    return count


a↳≏⨭b = { (((a⇙⊞a)⪃)⪘⋉⇭((b↠)⋾⨅⫦(⩮⪙a))) , if (a⨣⫯⫙)>=491 ; (((a⇖⊣⪮)↸⋽⊴(b⊩∮⨊))⪈((195↻↝⋳)↬⨮⇲(b⫁⫓⨱))) , else }

def op_Lvlz8vjeLB(a, b):
    if op_RibSMrjiW3(a) >= 491:
        return op_2TXroppNd4(op_YocpLSRo8j(op_zPaW4OAyCC(a,a)),op_66lcxNmSNf(op_LBdsKIvxzf(b),op_1twl7c1emG(a)))
    else:
        return op_y16C4hJIbn(op_9zMjbAiDwo(op_0RvmdXweZj(a),op_58dnxQFQ7p(b)),op_8TJv5LDobx(op_IhxHnaDIDi(195),op_PuuCLXFy7p(b)))

def op_count_Lvlz8vjeLB(a, b):
    if op_RibSMrjiW3(a) >= 491:
        count = op_count_zPaW4OAyCC(a,a)+op_count_YocpLSRo8j(op_zPaW4OAyCC(a,a))+op_count_LBdsKIvxzf(b)+op_count_1twl7c1emG(a)+op_count_66lcxNmSNf(op_LBdsKIvxzf(b),op_1twl7c1emG(a))+op_count_2TXroppNd4(op_YocpLSRo8j(op_zPaW4OAyCC(a,a)),op_66lcxNmSNf(op_LBdsKIvxzf(b),op_1twl7c1emG(a)))+op_count_RibSMrjiW3(a)
    else:
        count = op_count_0RvmdXweZj(a)+op_count_58dnxQFQ7p(b)+op_count_9zMjbAiDwo(op_0RvmdXweZj(a),op_58dnxQFQ7p(b))+op_count_IhxHnaDIDi(195)+op_count_PuuCLXFy7p(b)+op_count_8TJv5LDobx(op_IhxHnaDIDi(195),op_PuuCLXFy7p(b))+op_count_y16C4hJIbn(op_9zMjbAiDwo(op_0RvmdXweZj(a),op_58dnxQFQ7p(b)),op_8TJv5LDobx(op_IhxHnaDIDi(195),op_PuuCLXFy7p(b)))
    return count


a⪾⫺↬b = { ((b⋐⇩⊬)⨾⊞(b⨐⪤6)) , if (≸↞⋩a)<=2 ; ((b≻)⨣(⪖a)) , else }

def op_YjZqTYKcEl(a, b):
    if op_tVs89wIT8I(a) <= 2:
        return op_Fue4ErCFXP(op_JuuLT1NoCs(b),op_4yVIdyRSpi(b,6))
    else:
        return op_5ClX4R8SjJ(op_twpv9hRVHj(b),op_qtqaAqrmD3(a))

def op_count_YjZqTYKcEl(a, b):
    if op_tVs89wIT8I(a) <= 2:
        count = op_count_JuuLT1NoCs(b)+op_count_4yVIdyRSpi(b,6)+op_count_Fue4ErCFXP(op_JuuLT1NoCs(b),op_4yVIdyRSpi(b,6))+op_count_tVs89wIT8I(a)
    else:
        count = op_count_twpv9hRVHj(b)+op_count_qtqaAqrmD3(a)+op_count_5ClX4R8SjJ(op_twpv9hRVHj(b),op_qtqaAqrmD3(a))
    return count


def op_ORX1aWDdLT(a):
    if a < 89 or op_ZM199RjHSm(a,389) > 21:
        return op_9Z0HYftGYc(a,a)
    else:
        return op_uvdQJvN4PV(207,a)

def op_count_ORX1aWDdLT(a):
    if a < 89 or op_ZM199RjHSm(a,389) > 21:
        count = op_count_9Z0HYftGYc(a,a)+op_count_ZM199RjHSm(a,389)
    else:
        count = op_count_uvdQJvN4PV(207,a)
    return count


def op_FEAIl51Qld(a):
    if a == 379:
        return op_SR5kFfdi6N(a,a)
    else:
        return a

def op_count_FEAIl51Qld(a):
    if a == 379:
        count = op_count_SR5kFfdi6N(a,a)
    else:
        count = 1
    return count


def op_3TrUmeR8ze(a, b):
    if (op_ZX5tMuGpvw(b,161) == 105 and op_mVMnQ3ZUz6(a) == 63):
        return op_qvKIMln9sx(b,21)
    else:
        return op_D617RFjZIq(a)

def op_count_3TrUmeR8ze(a, b):
    if (op_ZX5tMuGpvw(b,161) == 105 and op_mVMnQ3ZUz6(a) == 63):
        count = op_count_qvKIMln9sx(b,21)+op_count_ZX5tMuGpvw(b,161)+op_count_mVMnQ3ZUz6(a)
    else:
        count = op_count_D617RFjZIq(a)
    return count


def op_A5weMJUwsv(a):
    if op_kE9YHawE8s(a,59) <= 1:
        return op_38uX3UqIft(a,138)
    else:
        return op_KmoU8R5UQR(a,a)

def op_count_A5weMJUwsv(a):
    if op_kE9YHawE8s(a,59) <= 1:
        count = op_count_38uX3UqIft(a,138)+op_count_kE9YHawE8s(a,59)
    else:
        count = op_count_KmoU8R5UQR(a,a)
    return count


a⋠⋤⨥ = { (a⇉(a⩀≏⋴a)) , if (a⊎⇸⪗203)<=78 ; ((a⋲∁a)≣⋋) , else }

def op_qR6wjdDWpt(a):
    if op_zvDfsYxbno(a,203) <= 78:
        return op_lJ0NnniDH7(a,op_DrczTq5oRw(a,a))
    else:
        return op_Tcnh7f0tEr(op_64iDxRhgYJ(a,a))

def op_count_qR6wjdDWpt(a):
    if op_zvDfsYxbno(a,203) <= 78:
        count = op_count_DrczTq5oRw(a,a)+op_count_lJ0NnniDH7(a,op_DrczTq5oRw(a,a))+op_count_zvDfsYxbno(a,203)
    else:
        count = op_count_64iDxRhgYJ(a,a)+op_count_Tcnh7f0tEr(op_64iDxRhgYJ(a,a))
    return count


↽⩌≌a = { (⪭⩑⪱a) , if a>=101 ; (a⫨≐a) , else }

def op_wvfgQAmwBT(a):
    if a >= 101:
        return op_SIgE0bArFf(a)
    else:
        return op_erJ3pvLwDa(a,a)

def op_count_wvfgQAmwBT(a):
    if a >= 101:
        count = op_count_SIgE0bArFf(a)
    else:
        count = op_count_erJ3pvLwDa(a,a)
    return count


def op_2FtUKenEIE(a, b):
    if (a > 180 or op_8POb3bc2fl(a) > 381):
        return op_xOvNxfD5CB(b,b)
    else:
        return op_Qglmzouulk(b,726)

def op_count_2FtUKenEIE(a, b):
    if (a > 180 or op_8POb3bc2fl(a) > 381):
        count = op_count_xOvNxfD5CB(b,b)+op_count_8POb3bc2fl(a)
    else:
        count = op_count_Qglmzouulk(b,726)
    return count


def op_ODnr2u4KvP(a, b):
    if (b <= 464 or op_BUZMbiqx9t(a,376) > 41 or op_OuTNrnoNOz(a) > 878):
        return op_tJtBLRaXS9(op_SR5kFfdi6N(a,a),op_XXPFRlyT8X(a,b))
    else:
        return op_irKjLsMeKy(op_4001miwxf9(a),op_Uj3jQahk2D(1,55))

def op_count_ODnr2u4KvP(a, b):
    if (b <= 464 or op_BUZMbiqx9t(a,376) > 41 or op_OuTNrnoNOz(a) > 878):
        count = op_count_SR5kFfdi6N(a,a)+op_count_XXPFRlyT8X(a,b)+op_count_tJtBLRaXS9(op_SR5kFfdi6N(a,a),op_XXPFRlyT8X(a,b))+op_count_BUZMbiqx9t(a,376)+op_count_OuTNrnoNOz(a)
    else:
        count = op_count_4001miwxf9(a)+op_count_Uj3jQahk2D(1,55)+op_count_irKjLsMeKy(op_4001miwxf9(a),op_Uj3jQahk2D(1,55))
    return count


def op_1SMHoYdH72(a, b):
    if a == 326:
        return op_dWAJyo7jo9(op_6iOiAJX1F8(96),op_kYTzVM0dNf(198,a))
    else:
        return op_TugJ99jqtG(op_WxjQizov8v(a,b))

def op_count_1SMHoYdH72(a, b):
    if a == 326:
        count = op_count_6iOiAJX1F8(96)+op_count_kYTzVM0dNf(198,a)+op_count_dWAJyo7jo9(op_6iOiAJX1F8(96),op_kYTzVM0dNf(198,a))
    else:
        count = op_count_WxjQizov8v(a,b)+op_count_TugJ99jqtG(op_WxjQizov8v(a,b))
    return count


⩚⇛a = { (((a≅)⫊⪾⫇(193⨧↗⨷a))⫋⇻≳((a⇇≺⩫a)⊓≱(441⪠⩘↥a))) , if (←≛∠a)<=195 and (a⇎⩧)>87 ; (((193∐⩾a)⩕⋦(a⇐≸≯a))⇪⊦⫿((a⩹a)⩏)) , else }

def op_pcWTvbDW7G(a):
    if op_H9pyI74bwb(a) <= 195 and op_RhL9C1fmD6(a) > 87:
        return op_4vOKojZu5Q(op_svYG05ELwl(op_tgPF6n0bOJ(a),op_WSbXXWOizJ(193,a)),op_VCG3UHNzLR(op_XVG3v5SdcH(a,a),op_cK5aFthJLQ(441,a)))
    else:
        return op_86EHC0btia(op_RrCWIpBJZe(op_g4xdPasWpP(193,a),op_VCbe00QjLe(a,a)),op_iA2gmKZ3Wj(op_2Wsdkap16l(a,a)))

def op_count_pcWTvbDW7G(a):
    if op_H9pyI74bwb(a) <= 195 and op_RhL9C1fmD6(a) > 87:
        count = op_count_tgPF6n0bOJ(a)+op_count_WSbXXWOizJ(193,a)+op_count_svYG05ELwl(op_tgPF6n0bOJ(a),op_WSbXXWOizJ(193,a))+op_count_XVG3v5SdcH(a,a)+op_count_cK5aFthJLQ(441,a)+op_count_VCG3UHNzLR(op_XVG3v5SdcH(a,a),op_cK5aFthJLQ(441,a))+op_count_4vOKojZu5Q(op_svYG05ELwl(op_tgPF6n0bOJ(a),op_WSbXXWOizJ(193,a)),op_VCG3UHNzLR(op_XVG3v5SdcH(a,a),op_cK5aFthJLQ(441,a)))+op_count_H9pyI74bwb(a)+op_count_RhL9C1fmD6(a)
    else:
        count = op_count_g4xdPasWpP(193,a)+op_count_VCbe00QjLe(a,a)+op_count_RrCWIpBJZe(op_g4xdPasWpP(193,a),op_VCbe00QjLe(a,a))+op_count_2Wsdkap16l(a,a)+op_count_iA2gmKZ3Wj(op_2Wsdkap16l(a,a))+op_count_86EHC0btia(op_RrCWIpBJZe(op_g4xdPasWpP(193,a),op_VCbe00QjLe(a,a)),op_iA2gmKZ3Wj(op_2Wsdkap16l(a,a)))
    return count


a⩪⋳b = { (b≶⩢↻a) , if b<273 and a!=464 ; (a≽⪈↿28) , else }

def op_lo4wzqzbYk(a, b):
    if b < 273 and a != 464:
        return op_FivK695Inb(b,a)
    else:
        return op_inCIaGQf8u(a,28)

def op_count_lo4wzqzbYk(a, b):
    if b < 273 and a != 464:
        count = op_count_FivK695Inb(b,a)
    else:
        count = op_count_inCIaGQf8u(a,28)
    return count


a↰⩛ = { (((a↴⪮a)⋾⨅⫦(⫴⫣a))⨄⩾↼(a⊺⇆a)) , if a<644 or (↨⩆≛a)!=242 ; (((∂⇢61)⊀⋬↔(⊾≁a))⩉((a⫾⊽a)⇮⊵(80≢⨮⊬83))) , else }

def op_55focwhbve(a):
    if a < 644 or op_7cJkM7yzIb(a) != 242:
        return op_6Bcfo3j9gb(op_66lcxNmSNf(op_3ayH0UyYyX(a,a),op_4ViIqD7dWl(a)),op_NbEzn8HcDr(a,a))
    else:
        return op_OH3l0Vrv7d(op_MduqJzDb6X(op_xmM771S5Pe(61),op_n4rX4TPmCH(a)),op_mQAUEyL64v(op_QunAGeO7fw(a,a),op_bZVfxpBV3i(80,83)))

def op_count_55focwhbve(a):
    if a < 644 or op_7cJkM7yzIb(a) != 242:
        count = op_count_3ayH0UyYyX(a,a)+op_count_4ViIqD7dWl(a)+op_count_66lcxNmSNf(op_3ayH0UyYyX(a,a),op_4ViIqD7dWl(a))+op_count_NbEzn8HcDr(a,a)+op_count_6Bcfo3j9gb(op_66lcxNmSNf(op_3ayH0UyYyX(a,a),op_4ViIqD7dWl(a)),op_NbEzn8HcDr(a,a))+op_count_7cJkM7yzIb(a)
    else:
        count = op_count_xmM771S5Pe(61)+op_count_n4rX4TPmCH(a)+op_count_MduqJzDb6X(op_xmM771S5Pe(61),op_n4rX4TPmCH(a))+op_count_QunAGeO7fw(a,a)+op_count_bZVfxpBV3i(80,83)+op_count_mQAUEyL64v(op_QunAGeO7fw(a,a),op_bZVfxpBV3i(80,83))+op_count_OH3l0Vrv7d(op_MduqJzDb6X(op_xmM771S5Pe(61),op_n4rX4TPmCH(a)),op_mQAUEyL64v(op_QunAGeO7fw(a,a),op_bZVfxpBV3i(80,83)))
    return count


⇷∭a = { ((a⇊⋼⫧a)⨠∀⫧(44⋆⪎⪨a)) , if (≪a)==128 or (a↴⨲⇷)>782 ; ((a*⨄)⊣⨺(a↵⨥a)) , else }

def op_9Jo6AFxRmg(a):
    if op_Qtd6bqUJcN(a) == 128 or op_4kjqOuz2u2(a) > 782:
        return op_griT9ijWOv(op_tUOKwCw09Q(a,a),op_kLz9fXvToG(44,a))
    else:
        return op_8yGz9s51pC(op_5VqMCcXhPM(a),op_6kFJ6zSZFv(a,a))

def op_count_9Jo6AFxRmg(a):
    if op_Qtd6bqUJcN(a) == 128 or op_4kjqOuz2u2(a) > 782:
        count = op_count_tUOKwCw09Q(a,a)+op_count_kLz9fXvToG(44,a)+op_count_griT9ijWOv(op_tUOKwCw09Q(a,a),op_kLz9fXvToG(44,a))+op_count_Qtd6bqUJcN(a)+op_count_4kjqOuz2u2(a)
    else:
        count = op_count_5VqMCcXhPM(a)+op_count_6kFJ6zSZFv(a,a)+op_count_8yGz9s51pC(op_5VqMCcXhPM(a),op_6kFJ6zSZFv(a,a))
    return count


⇿⨧∰a = { ((a∴⋮↜(⇆∐⩂a))⊴(⩷⩮(97⋭a))) , if (a∰⇦⋇)==121 ; (∍⩄((a⪙⇔a)⩕)) , else }

def op_q9F1jGpgap(a):
    if op_Gh96TW4s3j(a) == 121:
        return op_Nsiff2A1zJ(op_LFP2zRhVLi(a,op_yD5rMtMDT4(a)),op_XmGbNvpYjI(op_WRl4KaSwns(97,a)))
    else:
        return op_2c5GHSTW0i(op_ztbpxZ3MBw(op_HtfiQVUMWI(a,a)))

def op_count_q9F1jGpgap(a):
    if op_Gh96TW4s3j(a) == 121:
        count = op_count_yD5rMtMDT4(a)+op_count_LFP2zRhVLi(a,op_yD5rMtMDT4(a))+op_count_WRl4KaSwns(97,a)+op_count_XmGbNvpYjI(op_WRl4KaSwns(97,a))+op_count_Nsiff2A1zJ(op_LFP2zRhVLi(a,op_yD5rMtMDT4(a)),op_XmGbNvpYjI(op_WRl4KaSwns(97,a)))+op_count_Gh96TW4s3j(a)
    else:
        count = op_count_HtfiQVUMWI(a,a)+op_count_ztbpxZ3MBw(op_HtfiQVUMWI(a,a))+op_count_2c5GHSTW0i(op_ztbpxZ3MBw(op_HtfiQVUMWI(a,a)))
    return count


a⩽≩b = { ((≋≱⨐a)⋦⊭(⋿⩥⫌a)) , if b<74 ; ((b≯≲⫧a)⩇∃⫛(b⫘a)) , else }

def op_Bb3iaE2VYX(a, b):
    if b < 74:
        return op_hGWjAarRlq(op_384QZ391xe(a),op_w5NP6NjTRG(a))
    else:
        return op_1aApVXNlOP(op_qhwfmwp1fI(b,a),op_48vC8HMD2b(b,a))

def op_count_Bb3iaE2VYX(a, b):
    if b < 74:
        count = op_count_384QZ391xe(a)+op_count_w5NP6NjTRG(a)+op_count_hGWjAarRlq(op_384QZ391xe(a),op_w5NP6NjTRG(a))
    else:
        count = op_count_qhwfmwp1fI(b,a)+op_count_48vC8HMD2b(b,a)+op_count_1aApVXNlOP(op_qhwfmwp1fI(b,a),op_48vC8HMD2b(b,a))
    return count


⩽⊟a = { (a⪢a) , if a<863 ; (⋴⩆a) , else }

def op_PjZhtZiQyW(a):
    if a < 863:
        return op_dWAJyo7jo9(a,a)
    else:
        return op_d16nJfGc4a(a)

def op_count_PjZhtZiQyW(a):
    if a < 863:
        count = op_count_dWAJyo7jo9(a,a)
    else:
        count = op_count_d16nJfGc4a(a)
    return count


def op_4FXIOzUQfL(a):
    if op_yXekIHxTD4(a,672) == 38:
        return op_gA7jnhTi3D(a)
    else:
        return op_T2fj7uvVaJ(a,a)

def op_count_4FXIOzUQfL(a):
    if op_yXekIHxTD4(a,672) == 38:
        count = op_count_gA7jnhTi3D(a)+op_count_yXekIHxTD4(a,672)
    else:
        count = op_count_T2fj7uvVaJ(a,a)
    return count


a⨂⪼∾ = { ((a⪲⨢(a⩈⩕⇁a))≩⫆a) , if (⊳%⊅a)!=131 and a==63 ; (a↙(a⪤↿(⪯↼a))) , else }

def op_Y3MfvmAUnm(a):
    if op_BOS6zkJn83(a) != 131 and a == 63:
        return op_8Im2A1wcJk(op_6iafYuwGo8(a,op_kUwfQWDciI(a,a)),a)
    else:
        return op_yyfyN0ffXY(a,op_AabjzCHElt(a,op_OOWgT8j5Dv(a)))

def op_count_Y3MfvmAUnm(a):
    if op_BOS6zkJn83(a) != 131 and a == 63:
        count = op_count_kUwfQWDciI(a,a)+op_count_6iafYuwGo8(a,op_kUwfQWDciI(a,a))+op_count_8Im2A1wcJk(op_6iafYuwGo8(a,op_kUwfQWDciI(a,a)),a)+op_count_BOS6zkJn83(a)
    else:
        count = op_count_OOWgT8j5Dv(a)+op_count_AabjzCHElt(a,op_OOWgT8j5Dv(a))+op_count_yyfyN0ffXY(a,op_AabjzCHElt(a,op_OOWgT8j5Dv(a)))
    return count


a⊁⫸⋮b = { (b⇆⫤a) , if b>=829 ; (⋗⩴⪓b) , else }

def op_NcNb16HsFi(a, b):
    if b >= 829:
        return op_mgxBsyfu3j(b,a)
    else:
        return op_nOKPl9n5zu(b)

def op_count_NcNb16HsFi(a, b):
    if b >= 829:
        count = op_count_mgxBsyfu3j(b,a)
    else:
        count = op_count_nOKPl9n5zu(b)
    return count


a⪂⫺≀b = { 109 , if (b⩯∖↥)!=87 ; (((⨩⫔⫶a)⨶⇴(⪙⩛⫗a))⪌⨞((b⊡⫩b)↣⪱(55≚↯))) , else }

def op_AHJIMHBoCD(a, b):
    if op_y0bMs0JaMo(b) != 87:
        return 109
    else:
        return op_pdOSkNoazV(op_iO9AwRVKvo(op_6jnLtSreEI(a),op_FtCfX2urXE(a)),op_qhklwjTpUT(op_GkvCUnJJBn(b,b),op_kGXD7kUhWz(55)))

def op_count_AHJIMHBoCD(a, b):
    if op_y0bMs0JaMo(b) != 87:
        count = op_count_y0bMs0JaMo(b)
    else:
        count = op_count_6jnLtSreEI(a)+op_count_FtCfX2urXE(a)+op_count_iO9AwRVKvo(op_6jnLtSreEI(a),op_FtCfX2urXE(a))+op_count_GkvCUnJJBn(b,b)+op_count_kGXD7kUhWz(55)+op_count_qhklwjTpUT(op_GkvCUnJJBn(b,b),op_kGXD7kUhWz(55))+op_count_pdOSkNoazV(op_iO9AwRVKvo(op_6jnLtSreEI(a),op_FtCfX2urXE(a)),op_qhklwjTpUT(op_GkvCUnJJBn(b,b),op_kGXD7kUhWz(55)))
    return count


a⋂⩵⋿b = { (b⨄) , if a>=242 ; (b⇱⨹⊀b) , else }

def op_bSZcsXjNEf(a, b):
    if a >= 242:
        return op_H7f1qksvrC(b)
    else:
        return op_DEAy1fljX8(b,b)

def op_count_bSZcsXjNEf(a, b):
    if a >= 242:
        count = op_count_H7f1qksvrC(b)
    else:
        count = op_count_DEAy1fljX8(b,b)
    return count


a⫚≓⪥b = { ((a⩑⋮⋾)⩕⋦(a⋐⇩⊬)) , if (⇾⇔⋮b)<=366 ; ((a⫏⊷)⨾∻(a⫈b)) , else }

def op_2k9CPL97St(a, b):
    if op_TJRgAX2Xy2(b) <= 366:
        return op_RrCWIpBJZe(op_JiteNRY3yT(a),op_JuuLT1NoCs(a))
    else:
        return op_uUzwcyyGYg(op_dcShxvzhyw(a),op_e1wGt9VEHG(a,b))

def op_count_2k9CPL97St(a, b):
    if op_TJRgAX2Xy2(b) <= 366:
        count = op_count_JiteNRY3yT(a)+op_count_JuuLT1NoCs(a)+op_count_RrCWIpBJZe(op_JiteNRY3yT(a),op_JuuLT1NoCs(a))+op_count_TJRgAX2Xy2(b)
    else:
        count = op_count_dcShxvzhyw(a)+op_count_e1wGt9VEHG(a,b)+op_count_uUzwcyyGYg(op_dcShxvzhyw(a),op_e1wGt9VEHG(a,b))
    return count


a⇲⇑b = { (((b≶⩢↻a)⋬≫(b↧⇸b))∎⋻⨟((74∋≞a)⪤⇈b)) , if (≿⇫b)!=101 or a!=140 or (a⩮≏⫤13)>452 ; (⪟⊰⊳((a⫲↩b)⪗)) , else }

def op_QkwmXRe71K(a, b):
    if op_3A1e9zoj8h(b) != 101 or a != 140 or op_fRd8cuFkMc(a,13) > 452:
        return op_6VowpqB2XT(op_XVpBsECZVK(op_FivK695Inb(b,a),op_ttmdOT7RaK(b,b)),op_lWNx0gx4UD(op_F3ZYW0Xs6y(74,a),b))
    else:
        return op_mfGmyP772u(op_VEQNXA0ZBg(op_WvpRrkIbtT(a,b)))

def op_count_QkwmXRe71K(a, b):
    if op_3A1e9zoj8h(b) != 101 or a != 140 or op_fRd8cuFkMc(a,13) > 452:
        count = op_count_FivK695Inb(b,a)+op_count_ttmdOT7RaK(b,b)+op_count_XVpBsECZVK(op_FivK695Inb(b,a),op_ttmdOT7RaK(b,b))+op_count_F3ZYW0Xs6y(74,a)+op_count_lWNx0gx4UD(op_F3ZYW0Xs6y(74,a),b)+op_count_6VowpqB2XT(op_XVpBsECZVK(op_FivK695Inb(b,a),op_ttmdOT7RaK(b,b)),op_lWNx0gx4UD(op_F3ZYW0Xs6y(74,a),b))+op_count_3A1e9zoj8h(b)+op_count_fRd8cuFkMc(a,13)
    else:
        count = op_count_WvpRrkIbtT(a,b)+op_count_VEQNXA0ZBg(op_WvpRrkIbtT(a,b))+op_count_mfGmyP772u(op_VEQNXA0ZBg(op_WvpRrkIbtT(a,b)))
    return count


def op_RENlWKVhmM(a):
    if op_c8LynfaAxk(a,39) != 564:
        return op_HWsfkPJiI1(a)
    else:
        return op_Iel5ZjMdzh(a)

def op_count_RENlWKVhmM(a):
    if op_c8LynfaAxk(a,39) != 564:
        count = op_count_HWsfkPJiI1(a)+op_count_c8LynfaAxk(a,39)
    else:
        count = op_count_Iel5ZjMdzh(a)
    return count


a⨬↭b = { (((b⫳⋚⩴a)⩏)⩍↲(502⨾∻(a⫢⇘∝a))) , if a==396 ; (((a↱⇽)∮⨁)↳∿⪆((∂⇢a)⫎⊉⩷(⋁⨛b))) , else }

def op_VGLqItLMW8(a, b):
    if a == 396:
        return op_kzp3oYQzRT(op_iA2gmKZ3Wj(op_lzETxEuxZT(b,a)),op_uUzwcyyGYg(502,op_4TVzEgIAOW(a,a)))
    else:
        return op_Cw4SuJJGHO(op_TytFGXR7Zf(op_dcpgubgqzi(a)),op_BpMHJNSmWr(op_xmM771S5Pe(a),op_SSgfzlOy5C(b)))

def op_count_VGLqItLMW8(a, b):
    if a == 396:
        count = op_count_lzETxEuxZT(b,a)+op_count_iA2gmKZ3Wj(op_lzETxEuxZT(b,a))+op_count_4TVzEgIAOW(a,a)+op_count_uUzwcyyGYg(502,op_4TVzEgIAOW(a,a))+op_count_kzp3oYQzRT(op_iA2gmKZ3Wj(op_lzETxEuxZT(b,a)),op_uUzwcyyGYg(502,op_4TVzEgIAOW(a,a)))
    else:
        count = op_count_dcpgubgqzi(a)+op_count_TytFGXR7Zf(op_dcpgubgqzi(a))+op_count_xmM771S5Pe(a)+op_count_SSgfzlOy5C(b)+op_count_BpMHJNSmWr(op_xmM771S5Pe(a),op_SSgfzlOy5C(b))+op_count_Cw4SuJJGHO(op_TytFGXR7Zf(op_dcpgubgqzi(a)),op_BpMHJNSmWr(op_xmM771S5Pe(a),op_SSgfzlOy5C(b)))
    return count


a↕⋹↺ = { (((a⋨a)⫾⊽(76≀⋧a))⫀≣↤a) , if (a⫅⩹770)!=7 ; (((a∠⊨≪a)≜∖⩎(a↛⩡⫤))⇋∁↲a) , else }

def op_lOhmkGe2ro(a):
    if op_CdWimuzQB6(a,770) != 7:
        return op_HF6nQZD8gr(op_QunAGeO7fw(op_SfEYNmpFSu(a,a),op_RLgQDWzcJN(76,a)),a)
    else:
        return op_WWvgEODVog(op_NHqdvowzfS(op_Y6u3OyaTgl(a,a),op_FU0Cs4j7VP(a)),a)

def op_count_lOhmkGe2ro(a):
    if op_CdWimuzQB6(a,770) != 7:
        count = op_count_SfEYNmpFSu(a,a)+op_count_RLgQDWzcJN(76,a)+op_count_QunAGeO7fw(op_SfEYNmpFSu(a,a),op_RLgQDWzcJN(76,a))+op_count_HF6nQZD8gr(op_QunAGeO7fw(op_SfEYNmpFSu(a,a),op_RLgQDWzcJN(76,a)),a)+op_count_CdWimuzQB6(a,770)
    else:
        count = op_count_Y6u3OyaTgl(a,a)+op_count_FU0Cs4j7VP(a)+op_count_NHqdvowzfS(op_Y6u3OyaTgl(a,a),op_FU0Cs4j7VP(a))+op_count_WWvgEODVog(op_NHqdvowzfS(op_Y6u3OyaTgl(a,a),op_FU0Cs4j7VP(a)),a)
    return count


∔⋽⋺a = { (((93⨫≖a)⫊(a⪌≋a))⪊((a⇴⊆)⨨⪘⨔(67⫊))) , if ((↳≹⪂a)<=6 and (⊆⋠a)<=754 and a<=353) ; (((a⪶≀⋏a)⫱⨄(a⊴⇁⪶))⋬((a⪉⨛a)⪍↜⋙(a⫱≫⪥27))) , else }

def op_fYONEsaF25(a):
    if (op_nclDsV6kpE(a) <= 6 and op_EBhcHTkKd8(a) <= 754 and a <= 353):
        return op_KwZuVxMAXT(op_uPjn7n5pli(op_I77jZxbMqF(93,a),op_V2wPz6I6tV(a,a)),op_MZbvLECGjt(op_N5oiCIjjeb(a),op_f9yoPMFGE3(67)))
    else:
        return op_T9SPe3fQV2(op_FWWC6DdxcU(op_zR4jO40bMj(a,a),op_oo9mF6JIpo(a)),op_L05ObWFQCd(op_EWw2JM7wp4(a,a),op_J65EmZhDzK(a,27)))

def op_count_fYONEsaF25(a):
    if (op_nclDsV6kpE(a) <= 6 and op_EBhcHTkKd8(a) <= 754 and a <= 353):
        count = op_count_I77jZxbMqF(93,a)+op_count_V2wPz6I6tV(a,a)+op_count_uPjn7n5pli(op_I77jZxbMqF(93,a),op_V2wPz6I6tV(a,a))+op_count_N5oiCIjjeb(a)+op_count_f9yoPMFGE3(67)+op_count_MZbvLECGjt(op_N5oiCIjjeb(a),op_f9yoPMFGE3(67))+op_count_KwZuVxMAXT(op_uPjn7n5pli(op_I77jZxbMqF(93,a),op_V2wPz6I6tV(a,a)),op_MZbvLECGjt(op_N5oiCIjjeb(a),op_f9yoPMFGE3(67)))+op_count_nclDsV6kpE(a)+op_count_EBhcHTkKd8(a)
    else:
        count = op_count_zR4jO40bMj(a,a)+op_count_oo9mF6JIpo(a)+op_count_FWWC6DdxcU(op_zR4jO40bMj(a,a),op_oo9mF6JIpo(a))+op_count_EWw2JM7wp4(a,a)+op_count_J65EmZhDzK(a,27)+op_count_L05ObWFQCd(op_EWw2JM7wp4(a,a),op_J65EmZhDzK(a,27))+op_count_T9SPe3fQV2(op_FWWC6DdxcU(op_zR4jO40bMj(a,a),op_oo9mF6JIpo(a)),op_L05ObWFQCd(op_EWw2JM7wp4(a,a),op_J65EmZhDzK(a,27)))
    return count


def op_Y8bsIgOLgX(a):
    if (op_OWnFPqjWlR(a,387) == 8 or op_hrXGNBIrMT(a) > 315 or a > 261):
        return op_6aG7x05OhS(op_Rj9i6ilAQV(17,a))
    else:
        return op_AU0rGnNQho(op_DrJzCU6Bmr(a,a),op_3IOjIrkHfL(a,a))

def op_count_Y8bsIgOLgX(a):
    if (op_OWnFPqjWlR(a,387) == 8 or op_hrXGNBIrMT(a) > 315 or a > 261):
        count = op_count_Rj9i6ilAQV(17,a)+op_count_6aG7x05OhS(op_Rj9i6ilAQV(17,a))+op_count_OWnFPqjWlR(a,387)+op_count_hrXGNBIrMT(a)
    else:
        count = op_count_DrJzCU6Bmr(a,a)+op_count_3IOjIrkHfL(a,a)+op_count_AU0rGnNQho(op_DrJzCU6Bmr(a,a),op_3IOjIrkHfL(a,a))
    return count


∧⊥a = { (((a⨸⨅a)⋁⪕(⋸⊭⪙a))→⊣⋬((⪅≇110)⇇≺⩫(a⩬244))) , if (a∦⋟⋗)<18 ; (((a≭∲a)⩢≌)⋔⋤) , else }

def op_h9L1WvCQNL(a):
    if op_j8wzaSQQPZ(a) < 18:
        return op_51hOuhRTcR(op_2cbslIIPJD(op_H0z4LH9MP9(a,a),op_Rpf5pjIpzP(a)),op_XVG3v5SdcH(op_fkEnnR20LD(110),op_nuoWhTW6CA(a,244)))
    else:
        return op_iYXK16QgvJ(op_D617RFjZIq(op_KYh8HrRqh8(a,a)))

def op_count_h9L1WvCQNL(a):
    if op_j8wzaSQQPZ(a) < 18:
        count = op_count_H0z4LH9MP9(a,a)+op_count_Rpf5pjIpzP(a)+op_count_2cbslIIPJD(op_H0z4LH9MP9(a,a),op_Rpf5pjIpzP(a))+op_count_fkEnnR20LD(110)+op_count_nuoWhTW6CA(a,244)+op_count_XVG3v5SdcH(op_fkEnnR20LD(110),op_nuoWhTW6CA(a,244))+op_count_51hOuhRTcR(op_2cbslIIPJD(op_H0z4LH9MP9(a,a),op_Rpf5pjIpzP(a)),op_XVG3v5SdcH(op_fkEnnR20LD(110),op_nuoWhTW6CA(a,244)))+op_count_j8wzaSQQPZ(a)
    else:
        count = op_count_KYh8HrRqh8(a,a)+op_count_D617RFjZIq(op_KYh8HrRqh8(a,a))+op_count_iYXK16QgvJ(op_D617RFjZIq(op_KYh8HrRqh8(a,a)))
    return count


def op_JMtezEMsTe(a, b):
    if (op_vtevFjVkzF(b) != 104 and b != 108):
        return op_xonniTcBY0(op_J2wtRQwxRJ(a,b),b)
    else:
        return op_Uj3jQahk2D(op_UnCoSGIALn(a),op_ts8K6hLPsW(a,183))

def op_count_JMtezEMsTe(a, b):
    if (op_vtevFjVkzF(b) != 104 and b != 108):
        count = op_count_J2wtRQwxRJ(a,b)+op_count_xonniTcBY0(op_J2wtRQwxRJ(a,b),b)+op_count_vtevFjVkzF(b)
    else:
        count = op_count_UnCoSGIALn(a)+op_count_ts8K6hLPsW(a,183)+op_count_Uj3jQahk2D(op_UnCoSGIALn(a),op_ts8K6hLPsW(a,183))
    return count


a∂≉⩶ = { (((a⪃⩐⨑a)∕⩚(a⨦⋜↻a))⩱⨟⋋) , if (⊿∔a)>=55 ; (((a⊺⇆180)⩯⊧)∛(a⨗≲⊗(a⪋a))) , else }

def op_31SEDDvKvy(a):
    if op_8VBTcuE82Z(a) >= 55:
        return op_OaPFTkT3rt(op_z9ffQ9n5Zr(op_7OL7g5oVtb(a,a),op_yzfsDkmV9Q(a,a)))
    else:
        return op_w2537kitQq(op_KW3VWLRQOE(op_NbEzn8HcDr(a,180)),op_yd3ne7Hlcq(a,op_nMAdxk2waN(a,a)))

def op_count_31SEDDvKvy(a):
    if op_8VBTcuE82Z(a) >= 55:
        count = op_count_7OL7g5oVtb(a,a)+op_count_yzfsDkmV9Q(a,a)+op_count_z9ffQ9n5Zr(op_7OL7g5oVtb(a,a),op_yzfsDkmV9Q(a,a))+op_count_OaPFTkT3rt(op_z9ffQ9n5Zr(op_7OL7g5oVtb(a,a),op_yzfsDkmV9Q(a,a)))+op_count_8VBTcuE82Z(a)
    else:
        count = op_count_NbEzn8HcDr(a,180)+op_count_KW3VWLRQOE(op_NbEzn8HcDr(a,180))+op_count_nMAdxk2waN(a,a)+op_count_yd3ne7Hlcq(a,op_nMAdxk2waN(a,a))+op_count_w2537kitQq(op_KW3VWLRQOE(op_NbEzn8HcDr(a,180)),op_yd3ne7Hlcq(a,op_nMAdxk2waN(a,a)))
    return count


↫≊a = { 346 , if (a∄⇄⇫)!=36 ; (a⊆⇕a) , else }

def op_EHlbOlwtM8(a):
    if op_0hkreZnOFt(a) != 36:
        return 346
    else:
        return op_LXu4eIoRGd(a,a)

def op_count_EHlbOlwtM8(a):
    if op_0hkreZnOFt(a) != 36:
        count = op_count_0hkreZnOFt(a)
    else:
        count = op_count_LXu4eIoRGd(a,a)
    return count


a⊏⩊∥b = { ((⇖⇹⊙b)⪶↡(a⨳⋭⩊506)) , if (a⩪⪌⇚479)<27 ; ((b⊸⇪⫘a)⊼(143-⩻⫨b)) , else }

def op_tbpRXEYxOu(a, b):
    if op_8LYAfUkFpU(a,479) < 27:
        return op_YnqEOO27KC(op_k7lm2Ur0iI(b),op_hI7k9NMHqW(a,506))
    else:
        return op_Qglmzouulk(op_55mBqzxS3b(b,a),op_PJy3UKdmZA(143,b))

def op_count_tbpRXEYxOu(a, b):
    if op_8LYAfUkFpU(a,479) < 27:
        count = op_count_k7lm2Ur0iI(b)+op_count_hI7k9NMHqW(a,506)+op_count_YnqEOO27KC(op_k7lm2Ur0iI(b),op_hI7k9NMHqW(a,506))+op_count_8LYAfUkFpU(a,479)
    else:
        count = op_count_55mBqzxS3b(b,a)+op_count_PJy3UKdmZA(143,b)+op_count_Qglmzouulk(op_55mBqzxS3b(b,a),op_PJy3UKdmZA(143,b))
    return count


⇮←a = { (((a≃⨎a)↝⫞≯(⫕⫌⫈531))⫒⪤((⨗a)/⨏(a⊄⇴⇏))) , if (⊕a)>528 ; (((a⨖a)≩⪙a)⫰⋊⋯(a⊬⇕⩯(⋜a))) , else }

def op_7XEALY16RK(a):
    if op_C2eOkFrmjf(a) > 528:
        return op_EiH4xaClOJ(op_jmsAQFt4sM(op_lQ3fYqgTA2(a,a),op_wMUvlF4yLL(531)),op_2r0jC1lZao(op_OzkgYwrgK1(a),op_VpFlG6hbse(a)))
    else:
        return op_9tbqhEjA70(op_InRsNkjnGi(op_73CxnrUli8(a,a),a),op_QmNHwIPJpO(a,op_0q6GdIluC7(a)))

def op_count_7XEALY16RK(a):
    if op_C2eOkFrmjf(a) > 528:
        count = op_count_lQ3fYqgTA2(a,a)+op_count_wMUvlF4yLL(531)+op_count_jmsAQFt4sM(op_lQ3fYqgTA2(a,a),op_wMUvlF4yLL(531))+op_count_OzkgYwrgK1(a)+op_count_VpFlG6hbse(a)+op_count_2r0jC1lZao(op_OzkgYwrgK1(a),op_VpFlG6hbse(a))+op_count_EiH4xaClOJ(op_jmsAQFt4sM(op_lQ3fYqgTA2(a,a),op_wMUvlF4yLL(531)),op_2r0jC1lZao(op_OzkgYwrgK1(a),op_VpFlG6hbse(a)))+op_count_C2eOkFrmjf(a)
    else:
        count = op_count_73CxnrUli8(a,a)+op_count_InRsNkjnGi(op_73CxnrUli8(a,a),a)+op_count_0q6GdIluC7(a)+op_count_QmNHwIPJpO(a,op_0q6GdIluC7(a))+op_count_9tbqhEjA70(op_InRsNkjnGi(op_73CxnrUli8(a,a),a),op_QmNHwIPJpO(a,op_0q6GdIluC7(a)))
    return count


a∆⋙⩞b = { (((a⇻⫣⨞b)⋓⇿⪦(374⫎⇑↛a))≉↲(608∩⩷(≆∏⊝b))) , if (a⨝∬⪥)>99 ; ((⩹≁(b↴782))⫫∤⪊((8⪠⨇a)⫗)) , else }

def op_PY5Vuape4U(a, b):
    if op_R4D35fCfI0(a) > 99:
        return op_dngTJzlZ0N(op_fOqZxGbLQX(op_saLtbStKV3(a,b),op_yJC0uiLgXl(374,a)),op_LcYGXG2KuG(608,op_Bv9scDTvcV(b)))
    else:
        return op_meIKchaImn(op_f23dvC8TXu(op_ZACOWTJZO4(b,782)),op_aibkDESqBN(op_EzFlXpFlmz(8,a)))

def op_count_PY5Vuape4U(a, b):
    if op_R4D35fCfI0(a) > 99:
        count = op_count_saLtbStKV3(a,b)+op_count_yJC0uiLgXl(374,a)+op_count_fOqZxGbLQX(op_saLtbStKV3(a,b),op_yJC0uiLgXl(374,a))+op_count_Bv9scDTvcV(b)+op_count_LcYGXG2KuG(608,op_Bv9scDTvcV(b))+op_count_dngTJzlZ0N(op_fOqZxGbLQX(op_saLtbStKV3(a,b),op_yJC0uiLgXl(374,a)),op_LcYGXG2KuG(608,op_Bv9scDTvcV(b)))+op_count_R4D35fCfI0(a)
    else:
        count = op_count_ZACOWTJZO4(b,782)+op_count_f23dvC8TXu(op_ZACOWTJZO4(b,782))+op_count_EzFlXpFlmz(8,a)+op_count_aibkDESqBN(op_EzFlXpFlmz(8,a))+op_count_meIKchaImn(op_f23dvC8TXu(op_ZACOWTJZO4(b,782)),op_aibkDESqBN(op_EzFlXpFlmz(8,a)))
    return count


a⇓⫳⨡b = { (b⊴(a≓∲150)) , if ((⨯⨥∥b)==0 and (b⋧⋹↔)<=498) ; ((a∄∑⫋78)⩲a) , else }

def op_ELRoKZSYG1(a, b):
    if (op_gCnWojhG97(b) == 0 and op_mcTWVDeujr(b) <= 498):
        return op_Nsiff2A1zJ(b,op_s1XTVnmDOJ(a,150))
    else:
        return op_UvedHhwKRj(op_0Pabu4m7xG(a,78),a)

def op_count_ELRoKZSYG1(a, b):
    if (op_gCnWojhG97(b) == 0 and op_mcTWVDeujr(b) <= 498):
        count = op_count_s1XTVnmDOJ(a,150)+op_count_Nsiff2A1zJ(b,op_s1XTVnmDOJ(a,150))+op_count_gCnWojhG97(b)+op_count_mcTWVDeujr(b)
    else:
        count = op_count_0Pabu4m7xG(a,78)+op_count_UvedHhwKRj(op_0Pabu4m7xG(a,78),a)
    return count


a↡⩓⇀b = { ((⫻↝(b≊⩺559))⫥⪥((⨸/a)⊩⊆)) , if (a⪜⊁)>=22 ; (((∈⨅⪻31)⪏⨔⇙(b⇆⇯a))⊯⋑⪃((a⩬⫑⪙)↠)) , else }

def op_7ciLLrGsph(a, b):
    if op_b7SseGJRgG(a) >= 22:
        return op_H86EN3O05e(op_6wsEJg4lyh(op_VNRPem7Emt(b,559)),op_B0sgr6oGr0(op_H38O1heHB8(a)))
    else:
        return op_EYVwtEtosv(op_Dye1y9yfmu(op_GsN1cH954R(31),op_BvUOHliOJ6(b,a)),op_LBdsKIvxzf(op_ngz0Dpm65C(a)))

def op_count_7ciLLrGsph(a, b):
    if op_b7SseGJRgG(a) >= 22:
        count = op_count_VNRPem7Emt(b,559)+op_count_6wsEJg4lyh(op_VNRPem7Emt(b,559))+op_count_H38O1heHB8(a)+op_count_B0sgr6oGr0(op_H38O1heHB8(a))+op_count_H86EN3O05e(op_6wsEJg4lyh(op_VNRPem7Emt(b,559)),op_B0sgr6oGr0(op_H38O1heHB8(a)))+op_count_b7SseGJRgG(a)
    else:
        count = op_count_GsN1cH954R(31)+op_count_BvUOHliOJ6(b,a)+op_count_Dye1y9yfmu(op_GsN1cH954R(31),op_BvUOHliOJ6(b,a))+op_count_ngz0Dpm65C(a)+op_count_LBdsKIvxzf(op_ngz0Dpm65C(a))+op_count_EYVwtEtosv(op_Dye1y9yfmu(op_GsN1cH954R(31),op_BvUOHliOJ6(b,a)),op_LBdsKIvxzf(op_ngz0Dpm65C(a)))
    return count


a≀⇚⇋b = { (a⇸⊫≧b) , if (a⫝)>=147 ; (239⪪a) , else }

def op_q5IHqlg51c(a, b):
    if op_QRiKE94HQh(a) >= 147:
        return op_36TGfoTytI(a,b)
    else:
        return op_xD69zh8xqp(239,a)

def op_count_q5IHqlg51c(a, b):
    if op_QRiKE94HQh(a) >= 147:
        count = op_count_36TGfoTytI(a,b)+op_count_QRiKE94HQh(a)
    else:
        count = op_count_xD69zh8xqp(239,a)
    return count


def op_ZqqqB7SzF3(a):
    if op_4OtQz9P6fE(a,724) <= 352:
        return op_T49sLqm3Na(op_BAIXFdYaz3(a,a),op_nLhlVZSGl1(105,535))
    else:
        return op_T2fj7uvVaJ(op_8K9QSAs3hD(a),op_YnqEOO27KC(a,474))

def op_count_ZqqqB7SzF3(a):
    if op_4OtQz9P6fE(a,724) <= 352:
        count = op_count_BAIXFdYaz3(a,a)+op_count_nLhlVZSGl1(105,535)+op_count_T49sLqm3Na(op_BAIXFdYaz3(a,a),op_nLhlVZSGl1(105,535))+op_count_4OtQz9P6fE(a,724)
    else:
        count = op_count_8K9QSAs3hD(a)+op_count_YnqEOO27KC(a,474)+op_count_T2fj7uvVaJ(op_8K9QSAs3hD(a),op_YnqEOO27KC(a,474))
    return count


def op_h6STQQN81o(a):
    if op_t7XEfsFsRn(a,157) > 506:
        return op_Cw4SuJJGHO(op_pzIYUzZX5D(a,25),op_NtNF0fXNRD(24,a))
    else:
        return op_MSsKXfycuQ(op_cRahaglYVE(a),op_NbEzn8HcDr(a,a))

def op_count_h6STQQN81o(a):
    if op_t7XEfsFsRn(a,157) > 506:
        count = op_count_pzIYUzZX5D(a,25)+op_count_NtNF0fXNRD(24,a)+op_count_Cw4SuJJGHO(op_pzIYUzZX5D(a,25),op_NtNF0fXNRD(24,a))+op_count_t7XEfsFsRn(a,157)
    else:
        count = op_count_cRahaglYVE(a)+op_count_NbEzn8HcDr(a,a)+op_count_MSsKXfycuQ(op_cRahaglYVE(a),op_NbEzn8HcDr(a,a))
    return count


a⩐⫤ = { (⊝⫆(a⇅⊪⪝)) , if (a⪋≛)!=2 ; ((⇰559)⩹⨧≼(a⋆⪎⪨a)) , else }

def op_MPzj0p0R7H(a):
    if op_5DNZ0Rp91H(a) != 2:
        return op_b2NvoRQKYw(op_7DMB7V6SJk(a))
    else:
        return op_8GoaSTesSg(op_zc1INhisa1(559),op_kLz9fXvToG(a,a))

def op_count_MPzj0p0R7H(a):
    if op_5DNZ0Rp91H(a) != 2:
        count = op_count_7DMB7V6SJk(a)+op_count_b2NvoRQKYw(op_7DMB7V6SJk(a))+op_count_5DNZ0Rp91H(a)
    else:
        count = op_count_zc1INhisa1(559)+op_count_kLz9fXvToG(a,a)+op_count_8GoaSTesSg(op_zc1INhisa1(559),op_kLz9fXvToG(a,a))
    return count


≧⊄a = { (a⇱⨹⊀a) , if (a∹⇒≸986)==120 ; (⩷a) , else }

def op_pfmDJX2a0A(a):
    if op_4sRnSH0ldE(a,986) == 120:
        return op_DEAy1fljX8(a,a)
    else:
        return op_1h0rLqGiFr(a)

def op_count_pfmDJX2a0A(a):
    if op_4sRnSH0ldE(a,986) == 120:
        count = op_count_DEAy1fljX8(a,a)+op_count_4sRnSH0ldE(a,986)
    else:
        count = op_count_1h0rLqGiFr(a)
    return count


a⫊⩸⋊b = { ((b⨻a)⫟∩(260⨍↙⩡a)) , if b!=217 ; ((b⇲b)⋙⪠(b⨛⇹⫊b)) , else }

def op_1iU1QMvKk5(a, b):
    if b != 217:
        return op_n7wOqbEDlF(op_joCbSVezTg(b,a),op_BAYcl7KEcJ(260,a))
    else:
        return op_vPmKJA6wUP(op_24nwyATvD7(b,b),op_GJLngeV5jM(b,b))

def op_count_1iU1QMvKk5(a, b):
    if b != 217:
        count = op_count_joCbSVezTg(b,a)+op_count_BAYcl7KEcJ(260,a)+op_count_n7wOqbEDlF(op_joCbSVezTg(b,a),op_BAYcl7KEcJ(260,a))
    else:
        count = op_count_24nwyATvD7(b,b)+op_count_GJLngeV5jM(b,b)+op_count_vPmKJA6wUP(op_24nwyATvD7(b,b),op_GJLngeV5jM(b,b))
    return count


a⋕⊸⩖b = { (⪰≴⋛(b⊼5)) , if (b⋚∑⪥672)>=307 ; ((b⋞a)⇁≍↕(≖⋂a)) , else }

def op_cJkzRF2TBs(a, b):
    if op_BnmjcH64ep(b,672) >= 307:
        return op_DkIP5kYgcc(op_Qglmzouulk(b,5))
    else:
        return op_qmQdYVJtpo(op_V4yb4KDoeF(b,a),op_YxgxvjpN4O(a))

def op_count_cJkzRF2TBs(a, b):
    if op_BnmjcH64ep(b,672) >= 307:
        count = op_count_Qglmzouulk(b,5)+op_count_DkIP5kYgcc(op_Qglmzouulk(b,5))+op_count_BnmjcH64ep(b,672)
    else:
        count = op_count_V4yb4KDoeF(b,a)+op_count_YxgxvjpN4O(a)+op_count_qmQdYVJtpo(op_V4yb4KDoeF(b,a),op_YxgxvjpN4O(a))
    return count