a⨙⪺b = { ((↩⪖(b⋙≃≡b))⋁⊣∋((549⪆⊎⇋736)↙⨬⋜(b⩓a))) }

def op_qREGwFwbFH(a, b):
    return op_up0lffJJNv(op_fG6uBQFnGz(op_JkIVKoZPN2(b,b)),op_UlBlWmOBXm(op_oCumtb3mAM(549,736),op_ZkTErvSsVl(b,a)))

def op_count_qREGwFwbFH(a, b):
    count = op_count_JkIVKoZPN2(b,b)+op_count_fG6uBQFnGz(op_JkIVKoZPN2(b,b))+op_count_oCumtb3mAM(549,736)+op_count_ZkTErvSsVl(b,a)+op_count_UlBlWmOBXm(op_oCumtb3mAM(549,736),op_ZkTErvSsVl(b,a))+op_count_up0lffJJNv(op_fG6uBQFnGz(op_JkIVKoZPN2(b,b)),op_UlBlWmOBXm(op_oCumtb3mAM(549,736),op_ZkTErvSsVl(b,a)))
    return count


def op_BVCjj6T7eR(a):
    return op_8GoaSTesSg(op_RKeiQKbkFn(a),op_vhomQbQnbp(a,a))

def op_count_BVCjj6T7eR(a):
    count = op_count_RKeiQKbkFn(a)+op_count_vhomQbQnbp(a,a)+op_count_8GoaSTesSg(op_RKeiQKbkFn(a),op_vhomQbQnbp(a,a))
    return count


def op_s28HuI08K8(a):
    return op_PDrNSJDGFK(op_h9SYvkAopU(op_unbemOi2Lp(21,a),op_2hIaDBSv9V(a,a)))

def op_count_s28HuI08K8(a):
    count = op_count_unbemOi2Lp(21,a)+op_count_2hIaDBSv9V(a,a)+op_count_h9SYvkAopU(op_unbemOi2Lp(21,a),op_2hIaDBSv9V(a,a))+op_count_PDrNSJDGFK(op_h9SYvkAopU(op_unbemOi2Lp(21,a),op_2hIaDBSv9V(a,a)))
    return count


def op_Lgn0ypenrd(a):
    if (op_S56z7WVPBn(a) > 223 or a <= 364):
        return op_LcSyNDswmv(op_PoHhknlbAi(op_NjmQ0Rwe72(850,a),op_NTOWxs364D(a,301)),op_HgknbBBPDn(op_RB4xwD08Yy(a),op_NUy9YeVOA2(709)))
    else:
        return op_cB5aNBh3WF(op_Rs7tkwGXpi(op_3FoScNMFmy(a,a)))

def op_count_Lgn0ypenrd(a):
    if (op_S56z7WVPBn(a) > 223 or a <= 364):
        count = op_count_NjmQ0Rwe72(850,a)+op_count_NTOWxs364D(a,301)+op_count_PoHhknlbAi(op_NjmQ0Rwe72(850,a),op_NTOWxs364D(a,301))+op_count_RB4xwD08Yy(a)+op_count_NUy9YeVOA2(709)+op_count_HgknbBBPDn(op_RB4xwD08Yy(a),op_NUy9YeVOA2(709))+op_count_LcSyNDswmv(op_PoHhknlbAi(op_NjmQ0Rwe72(850,a),op_NTOWxs364D(a,301)),op_HgknbBBPDn(op_RB4xwD08Yy(a),op_NUy9YeVOA2(709)))+op_count_S56z7WVPBn(a)
    else:
        count = op_count_3FoScNMFmy(a,a)+op_count_Rs7tkwGXpi(op_3FoScNMFmy(a,a))+op_count_cB5aNBh3WF(op_Rs7tkwGXpi(op_3FoScNMFmy(a,a)))
    return count


def op_15FIsqyxUu(a):
    return op_lmJLg3MMpL(op_1j1KpI9WdF(a,394),op_PY5Vuape4U(a,a))

def op_count_15FIsqyxUu(a):
    count = op_count_1j1KpI9WdF(a,394)+op_count_PY5Vuape4U(a,a)+op_count_lmJLg3MMpL(op_1j1KpI9WdF(a,394),op_PY5Vuape4U(a,a))
    return count


a⪪⋳⫦ = { ((a≺⪳⇀a)⩚⇏) , if (⋉⨁⩳a)==119 ; ((377⫒⫫a)⊶≥←(17⩱⇜⪦a)) , else }

def op_jjEsDdbHm4(a):
    if op_KiX0WaipjF(a) == 119:
        return op_8VOMfS9Ted(op_X7jJkrrtrt(a,a))
    else:
        return op_dJJu7uapqE(op_6Ko8hGgeMq(377,a),op_TPY4Vhd24N(17,a))

def op_count_jjEsDdbHm4(a):
    if op_KiX0WaipjF(a) == 119:
        count = op_count_X7jJkrrtrt(a,a)+op_count_8VOMfS9Ted(op_X7jJkrrtrt(a,a))+op_count_KiX0WaipjF(a)
    else:
        count = op_count_6Ko8hGgeMq(377,a)+op_count_TPY4Vhd24N(17,a)+op_count_dJJu7uapqE(op_6Ko8hGgeMq(377,a),op_TPY4Vhd24N(17,a))
    return count


def op_fPyeidLd0F(a, b):
    if (a < 206 and op_Y6MI8lE4nL(a,308) != 360):
        return op_9dWsAM3GFt(468)
    else:
        return op_cdLdONPVMp(b,b)

def op_count_fPyeidLd0F(a, b):
    if (a < 206 and op_Y6MI8lE4nL(a,308) != 360):
        count = op_count_9dWsAM3GFt(468)+op_count_Y6MI8lE4nL(a,308)
    else:
        count = op_count_cdLdONPVMp(b,b)
    return count


def op_r04HMFlk8D(a, b):
    if op_r2SrZsyW6O(a,770) >= 168:
        return op_zQ494HwmCt(op_Dk14meENWG(a))
    else:
        return op_BOXPexnoQF(op_GMKXAVE8R1(185,b),op_ne3ymXmP8e(b,277))

def op_count_r04HMFlk8D(a, b):
    if op_r2SrZsyW6O(a,770) >= 168:
        count = op_count_Dk14meENWG(a)+op_count_zQ494HwmCt(op_Dk14meENWG(a))+op_count_r2SrZsyW6O(a,770)
    else:
        count = op_count_GMKXAVE8R1(185,b)+op_count_ne3ymXmP8e(b,277)+op_count_BOXPexnoQF(op_GMKXAVE8R1(185,b),op_ne3ymXmP8e(b,277))
    return count


⋺⪩a = { ((a↞⊦⋕a)⫔(a⇀∌)) , if ((⨷⪦a)!=282 or a<=11) ; ((525⪄∻⪅)∐≈∃(a⋼⫬a)) , else }

def op_H7r7KfW0Pk(a):
    if (op_B9ROEQQS1A(a) != 282 or a <= 11):
        return op_Qsw9fW7fQc(op_jV8AwRZkI7(a,a),op_2k53nXOpI5(a))
    else:
        return op_gNAKpNfdJi(op_HlwC52oPqH(525),op_Y4dFvpZTzx(a,a))

def op_count_H7r7KfW0Pk(a):
    if (op_B9ROEQQS1A(a) != 282 or a <= 11):
        count = op_count_jV8AwRZkI7(a,a)+op_count_2k53nXOpI5(a)+op_count_Qsw9fW7fQc(op_jV8AwRZkI7(a,a),op_2k53nXOpI5(a))+op_count_B9ROEQQS1A(a)
    else:
        count = op_count_HlwC52oPqH(525)+op_count_Y4dFvpZTzx(a,a)+op_count_gNAKpNfdJi(op_HlwC52oPqH(525),op_Y4dFvpZTzx(a,a))
    return count


a⋘∈≪b = { (((a⫿⊱a)⋰⩵⇂(b∼≠≟b))⪁⇊⋡(⪶∵≟(⇖⫷⫕b))) }

def op_6D7H7aCHmB(a, b):
    return op_v7DKjtCdMf(op_FmwwWKfnT1(op_vEqyA2MNuf(a,a),op_sW5uJ3Qy8r(b,b)),op_48q1vUfRwK(op_UHmRx3INFg(b)))

def op_count_6D7H7aCHmB(a, b):
    count = op_count_vEqyA2MNuf(a,a)+op_count_sW5uJ3Qy8r(b,b)+op_count_FmwwWKfnT1(op_vEqyA2MNuf(a,a),op_sW5uJ3Qy8r(b,b))+op_count_UHmRx3INFg(b)+op_count_48q1vUfRwK(op_UHmRx3INFg(b))+op_count_v7DKjtCdMf(op_FmwwWKfnT1(op_vEqyA2MNuf(a,a),op_sW5uJ3Qy8r(b,b)),op_48q1vUfRwK(op_UHmRx3INFg(b)))
    return count


a⩤⪡≡b = { (a⫲⇺a) , if b==149 ; (⪳⫟⩤b) , else }

def op_dVNWGlEEKf(a, b):
    if b == 149:
        return op_BbBz0MWWQr(a,a)
    else:
        return op_Mwm3sDJixD(b)

def op_count_dVNWGlEEKf(a, b):
    if b == 149:
        count = op_count_BbBz0MWWQr(a,a)
    else:
        count = op_count_Mwm3sDJixD(b)
    return count


a⨤⩗↽b = { (((b⩔⇧⪏a)⫡(b≘≾-b))⋱↖⊀((b≹⇙⪍328)⋖⫂(a≝⊰⇂))) }

def op_drakYKgg1e(a, b):
    return op_q3K4svJW0A(op_r42jg1nETI(op_uTXOZ2BrWI(b,a),op_opc8BSlPgk(b,b)),op_7gUth6Rgvl(op_AHs5Up7iyr(b,328),op_htSmYCowi5(a)))

def op_count_drakYKgg1e(a, b):
    count = op_count_uTXOZ2BrWI(b,a)+op_count_opc8BSlPgk(b,b)+op_count_r42jg1nETI(op_uTXOZ2BrWI(b,a),op_opc8BSlPgk(b,b))+op_count_AHs5Up7iyr(b,328)+op_count_htSmYCowi5(a)+op_count_7gUth6Rgvl(op_AHs5Up7iyr(b,328),op_htSmYCowi5(a))+op_count_q3K4svJW0A(op_r42jg1nETI(op_uTXOZ2BrWI(b,a),op_opc8BSlPgk(b,b)),op_7gUth6Rgvl(op_AHs5Up7iyr(b,328),op_htSmYCowi5(a)))
    return count


a⇨⨏ = { ((≢⋄⋡(a⪦⫫⫄a))⊗⇩⩘(⪯↽∛(a≃∵∷))) , if (a⋴≧⨩853)!=280 ; ((⩧⫈(a≰⇯⫕a))⩳⩝((a⫴⫞a)⫳⊕≗(a⊨a))) , else }

def op_LlQJCNTfv7(a):
    if op_MtrOKNcKln(a,853) != 280:
        return op_TLcR4sSQDd(op_M7zwneKWPL(op_khc5YFX7Jp(a,a)),op_nRXPgvBYVh(op_VLryhnOmfw(a)))
    else:
        return op_Bc0pPSeyaF(op_HTmwGS9Ecj(op_JuQNioWekr(a,a)),op_dfTirE4uw8(op_schmcmpRvD(a,a),op_vg4gO5BX6G(a,a)))

def op_count_LlQJCNTfv7(a):
    if op_MtrOKNcKln(a,853) != 280:
        count = op_count_khc5YFX7Jp(a,a)+op_count_M7zwneKWPL(op_khc5YFX7Jp(a,a))+op_count_VLryhnOmfw(a)+op_count_nRXPgvBYVh(op_VLryhnOmfw(a))+op_count_TLcR4sSQDd(op_M7zwneKWPL(op_khc5YFX7Jp(a,a)),op_nRXPgvBYVh(op_VLryhnOmfw(a)))+op_count_MtrOKNcKln(a,853)
    else:
        count = op_count_JuQNioWekr(a,a)+op_count_HTmwGS9Ecj(op_JuQNioWekr(a,a))+op_count_schmcmpRvD(a,a)+op_count_vg4gO5BX6G(a,a)+op_count_dfTirE4uw8(op_schmcmpRvD(a,a),op_vg4gO5BX6G(a,a))+op_count_Bc0pPSeyaF(op_HTmwGS9Ecj(op_JuQNioWekr(a,a)),op_dfTirE4uw8(op_schmcmpRvD(a,a),op_vg4gO5BX6G(a,a)))
    return count


⪨≊⨓a = { (((↵⋴⨃51)⪃⊛⇣(⫑⨩⫂511))≪⨫(≾⫎(a⇩⇣a))) }

def op_BTMM8Z6Xrv(a):
    return op_w30Z8TZG8s(op_rrgAzCduG9(op_JhjFNQHZN6(51),op_n4X2i6wiGH(511)),op_iunaX2OYic(op_UscWZcTkUL(a,a)))

def op_count_BTMM8Z6Xrv(a):
    count = op_count_JhjFNQHZN6(51)+op_count_n4X2i6wiGH(511)+op_count_rrgAzCduG9(op_JhjFNQHZN6(51),op_n4X2i6wiGH(511))+op_count_UscWZcTkUL(a,a)+op_count_iunaX2OYic(op_UscWZcTkUL(a,a))+op_count_w30Z8TZG8s(op_rrgAzCduG9(op_JhjFNQHZN6(51),op_n4X2i6wiGH(511)),op_iunaX2OYic(op_UscWZcTkUL(a,a)))
    return count


def op_MPzQwfxNPb(a, b):
    return op_DwP0GRE7En(op_9cloC0Ngie(op_eWHr1gHY9C(b),a),op_CpSg5vQTgA(op_4JQ65aDwPJ(150,156)))

def op_count_MPzQwfxNPb(a, b):
    count = op_count_eWHr1gHY9C(b)+op_count_9cloC0Ngie(op_eWHr1gHY9C(b),a)+op_count_4JQ65aDwPJ(150,156)+op_count_CpSg5vQTgA(op_4JQ65aDwPJ(150,156))+op_count_DwP0GRE7En(op_9cloC0Ngie(op_eWHr1gHY9C(b),a),op_CpSg5vQTgA(op_4JQ65aDwPJ(150,156)))
    return count


def op_tFHU9QSWTK(a):
    return op_H7BGMwr14A(op_kMgNLpsPAE(a,op_PZaICrJanm(a)))

def op_count_tFHU9QSWTK(a):
    count = op_count_PZaICrJanm(a)+op_count_kMgNLpsPAE(a,op_PZaICrJanm(a))+op_count_H7BGMwr14A(op_kMgNLpsPAE(a,op_PZaICrJanm(a)))
    return count


def op_0GnNwaHm85(a):
    return op_As8RqfVLgs(a,146)

def op_count_0GnNwaHm85(a):
    count = op_count_As8RqfVLgs(a,146)
    return count


↗⪒⪽a = { (⋫⩝a) , if a!=82 ; (a⪃⊛⇣a) , else }

def op_7mzifJFaL9(a):
    if a != 82:
        return op_0JxkUJ2rDq(a)
    else:
        return op_rrgAzCduG9(a,a)

def op_count_7mzifJFaL9(a):
    if a != 82:
        count = op_count_0JxkUJ2rDq(a)
    else:
        count = op_count_rrgAzCduG9(a,a)
    return count


def op_Hf8iuKeICW(a, b):
    return op_p0sq3d5a1o(op_oCumtb3mAM(b,a))

def op_count_Hf8iuKeICW(a, b):
    count = op_count_oCumtb3mAM(b,a)+op_count_p0sq3d5a1o(op_oCumtb3mAM(b,a))
    return count


a⨲≤b = { ((b⫚⨥)⊣⇗(b≡⋹⩃)) , if (a↔⩊↦988)>0 ; ((a↜⩆b)≋≥(b⩜⊴a)) , else }

def op_Sx991o1SMv(a, b):
    if op_M2TiddxMZg(a,988) > 0:
        return op_sLSVf26GuY(op_5htHiqXdCj(b),op_gLpgCFl5iX(b))
    else:
        return op_p8rocv1ccI(op_QsXIYgs18t(a,b),op_anGRxg7xQn(b,a))

def op_count_Sx991o1SMv(a, b):
    if op_M2TiddxMZg(a,988) > 0:
        count = op_count_5htHiqXdCj(b)+op_count_gLpgCFl5iX(b)+op_count_sLSVf26GuY(op_5htHiqXdCj(b),op_gLpgCFl5iX(b))+op_count_M2TiddxMZg(a,988)
    else:
        count = op_count_QsXIYgs18t(a,b)+op_count_anGRxg7xQn(b,a)+op_count_p8rocv1ccI(op_QsXIYgs18t(a,b),op_anGRxg7xQn(b,a))
    return count


a⇰≔b = { (⋖((b⇘⋃⇠a)⇚(b⪛⫼a))) , if (a>=92 or b!=37) ; (((⇍⇓⫰a)≤(a⫦⫋19))⩃((b≤⪽a)∓⋪⨰(b⫱⩰≇b))) , else }

def op_sstJ7edIOd(a, b):
    if (a >= 92 or b != 37):
        return op_dYTqEtTc30(op_xIN6P3ZM4f(op_HCRZUvWJyW(b,a),op_hyuBjUqXlG(b,a)))
    else:
        return op_7IRjtmSsUO(op_HgknbBBPDn(op_FtfyBzfNWx(a),op_2SUl30BnjX(a,19)),op_PDLwjO9ulS(op_rIhv4QYABv(b,a),op_PujSanDGK5(b,b)))

def op_count_sstJ7edIOd(a, b):
    if (a >= 92 or b != 37):
        count = op_count_HCRZUvWJyW(b,a)+op_count_hyuBjUqXlG(b,a)+op_count_xIN6P3ZM4f(op_HCRZUvWJyW(b,a),op_hyuBjUqXlG(b,a))+op_count_dYTqEtTc30(op_xIN6P3ZM4f(op_HCRZUvWJyW(b,a),op_hyuBjUqXlG(b,a)))
    else:
        count = op_count_FtfyBzfNWx(a)+op_count_2SUl30BnjX(a,19)+op_count_HgknbBBPDn(op_FtfyBzfNWx(a),op_2SUl30BnjX(a,19))+op_count_rIhv4QYABv(b,a)+op_count_PujSanDGK5(b,b)+op_count_PDLwjO9ulS(op_rIhv4QYABv(b,a),op_PujSanDGK5(b,b))+op_count_7IRjtmSsUO(op_HgknbBBPDn(op_FtfyBzfNWx(a),op_2SUl30BnjX(a,19)),op_PDLwjO9ulS(op_rIhv4QYABv(b,a),op_PujSanDGK5(b,b)))
    return count


a⨨⊬ = { (∍∕(∣⩂(a⊺↚⊤a))) , if (a∰579)>=144 ; (⊩⩯⊸((a↮⋫⪪253)⩚⋩(⊽⫁⫾a))) , else }

def op_eLaTcQ2vlI(a):
    if op_PmR7WuS4AT(a,579) >= 144:
        return op_YrCpOPlftZ(op_78WfLKnqd1(op_ONgMwLM7Hk(a,a)))
    else:
        return op_ylL9BKhKk8(op_VGTZPjlT06(op_xSE4zQdLy1(a,253),op_WCUQA2F43R(a)))

def op_count_eLaTcQ2vlI(a):
    if op_PmR7WuS4AT(a,579) >= 144:
        count = op_count_ONgMwLM7Hk(a,a)+op_count_78WfLKnqd1(op_ONgMwLM7Hk(a,a))+op_count_YrCpOPlftZ(op_78WfLKnqd1(op_ONgMwLM7Hk(a,a)))+op_count_PmR7WuS4AT(a,579)
    else:
        count = op_count_xSE4zQdLy1(a,253)+op_count_WCUQA2F43R(a)+op_count_VGTZPjlT06(op_xSE4zQdLy1(a,253),op_WCUQA2F43R(a))+op_count_ylL9BKhKk8(op_VGTZPjlT06(op_xSE4zQdLy1(a,253),op_WCUQA2F43R(a)))
    return count


def op_yDpV1EUdWj(a):
    if op_2rWG8UG4ro(a) > 298 and op_cnKzxr1wWw(a,274) != 286:
        return op_RKeiQKbkFn(op_QIASkFMxnv(101,64))
    else:
        return op_Ikt5ks8PT7(op_HjyhWlPDg7(a,a),op_lFOJH7vxrC(a,164))

def op_count_yDpV1EUdWj(a):
    if op_2rWG8UG4ro(a) > 298 and op_cnKzxr1wWw(a,274) != 286:
        count = op_count_QIASkFMxnv(101,64)+op_count_RKeiQKbkFn(op_QIASkFMxnv(101,64))+op_count_2rWG8UG4ro(a)+op_count_cnKzxr1wWw(a,274)
    else:
        count = op_count_HjyhWlPDg7(a,a)+op_count_lFOJH7vxrC(a,164)+op_count_Ikt5ks8PT7(op_HjyhWlPDg7(a,a),op_lFOJH7vxrC(a,164))
    return count


def op_XmJSazf4lE(a):
    return op_tAx3JLWuqz(op_W45kItDdE7(op_SCITVCa1lL(a,a)),op_L07OSbUHmY(a))

def op_count_XmJSazf4lE(a):
    count = op_count_SCITVCa1lL(a,a)+op_count_W45kItDdE7(op_SCITVCa1lL(a,a))+op_count_L07OSbUHmY(a)+op_count_tAx3JLWuqz(op_W45kItDdE7(op_SCITVCa1lL(a,a)),op_L07OSbUHmY(a))
    return count


def op_biPq14AD4M(a):
    return op_pyPUrtY9wn(op_2HYkBhA3K5(op_HJ9erzHUuu(a,695),op_U9HvHqtOoq(a)),op_LS1NtLbZzy(op_fjIpuvyOFL(22,a),op_g21JL6JxX7(a)))

def op_count_biPq14AD4M(a):
    count = op_count_HJ9erzHUuu(a,695)+op_count_U9HvHqtOoq(a)+op_count_2HYkBhA3K5(op_HJ9erzHUuu(a,695),op_U9HvHqtOoq(a))+op_count_fjIpuvyOFL(22,a)+op_count_g21JL6JxX7(a)+op_count_LS1NtLbZzy(op_fjIpuvyOFL(22,a),op_g21JL6JxX7(a))+op_count_pyPUrtY9wn(op_2HYkBhA3K5(op_HJ9erzHUuu(a,695),op_U9HvHqtOoq(a)),op_LS1NtLbZzy(op_fjIpuvyOFL(22,a),op_g21JL6JxX7(a)))
    return count


a⋸↿ = { ((a⋖⇈18)⪩≭(↣≠⋷135)) , if (⫪⋧⩚a)!=100 ; (a↹⫥(a⋯⋟a)) , else }

def op_hLRhUkubSK(a):
    if op_t4imdJjDX1(a) != 100:
        return op_6nz9ZYviv4(op_0nVhjSiHEu(a,18),op_Asc51vEJeQ(135))
    else:
        return op_OSE2w6XS66(a,op_q9XL0dzTix(a,a))

def op_count_hLRhUkubSK(a):
    if op_t4imdJjDX1(a) != 100:
        count = op_count_0nVhjSiHEu(a,18)+op_count_Asc51vEJeQ(135)+op_count_6nz9ZYviv4(op_0nVhjSiHEu(a,18),op_Asc51vEJeQ(135))+op_count_t4imdJjDX1(a)
    else:
        count = op_count_q9XL0dzTix(a,a)+op_count_OSE2w6XS66(a,op_q9XL0dzTix(a,a))
    return count


def op_k9AnaXFBu4(a, b):
    return op_lGaBDnHbCC(op_4ZyE98Jico(op_iIjyEn7CwK(188,b),op_GigY1hfIYu(b,378)),op_mQAUEyL64v(op_yS6aSylXcn(b),op_fHC7P5UA1F(857,a)))

def op_count_k9AnaXFBu4(a, b):
    count = op_count_iIjyEn7CwK(188,b)+op_count_GigY1hfIYu(b,378)+op_count_4ZyE98Jico(op_iIjyEn7CwK(188,b),op_GigY1hfIYu(b,378))+op_count_yS6aSylXcn(b)+op_count_fHC7P5UA1F(857,a)+op_count_mQAUEyL64v(op_yS6aSylXcn(b),op_fHC7P5UA1F(857,a))+op_count_lGaBDnHbCC(op_4ZyE98Jico(op_iIjyEn7CwK(188,b),op_GigY1hfIYu(b,378)),op_mQAUEyL64v(op_yS6aSylXcn(b),op_fHC7P5UA1F(857,a)))
    return count


⇠⩁⨤a = { (((≂⨭a)≞∰⩧(a⋹⋡⊁a))⋙∪) , if ((a⫯⪅↕)<31 and (a⩼⨳⊤)<181) ; (⇲⫃≥((↖⋉→27)⫮⨥(35%⫢∉643))) , else }

def op_nmdTor2mtX(a):
    if (op_kdV7rk3jKp(a) < 31 and op_pVGAg23Ig9(a) < 181):
        return op_XK63EIK1US(op_j7UVJQGE8k(op_y6kfwHd1dQ(a),op_As8RqfVLgs(a,a)))
    else:
        return op_GHfes0uiuE(op_a7FMInTDhW(op_RfCYPj9yww(27),op_Xn8gXqwJxF(35,643)))

def op_count_nmdTor2mtX(a):
    if (op_kdV7rk3jKp(a) < 31 and op_pVGAg23Ig9(a) < 181):
        count = op_count_y6kfwHd1dQ(a)+op_count_As8RqfVLgs(a,a)+op_count_j7UVJQGE8k(op_y6kfwHd1dQ(a),op_As8RqfVLgs(a,a))+op_count_XK63EIK1US(op_j7UVJQGE8k(op_y6kfwHd1dQ(a),op_As8RqfVLgs(a,a)))+op_count_kdV7rk3jKp(a)+op_count_pVGAg23Ig9(a)
    else:
        count = op_count_RfCYPj9yww(27)+op_count_Xn8gXqwJxF(35,643)+op_count_a7FMInTDhW(op_RfCYPj9yww(27),op_Xn8gXqwJxF(35,643))+op_count_GHfes0uiuE(op_a7FMInTDhW(op_RfCYPj9yww(27),op_Xn8gXqwJxF(35,643)))
    return count


a⩋⩼b = { (∉≍b) , if b<=11 ; (⫛⫱⨽a) , else }

def op_EZk8YaHMRI(a, b):
    if b <= 11:
        return op_tpeGHsnl38(b)
    else:
        return op_DlLNRPXxWL(a)

def op_count_EZk8YaHMRI(a, b):
    if b <= 11:
        count = op_count_tpeGHsnl38(b)
    else:
        count = op_count_DlLNRPXxWL(a)
    return count


a∏≠⩔ = { (((a⋢⪬⨗a)≨⋝(a⫡a))≡⋹⩃) , if (a⪌≁⫾349)>=77 and a<241 and (a⨟⊽⇬)>14 ; a , else }

def op_FM79pOKRrz(a):
    if op_BpbpqQnb2W(a,349) >= 77 and a < 241 and op_vRy4X4Pqwq(a) > 14:
        return op_gLpgCFl5iX(op_aUmFd7VRsS(op_JDc8ysv6vp(a,a),op_r42jg1nETI(a,a)))
    else:
        return a

def op_count_FM79pOKRrz(a):
    if op_BpbpqQnb2W(a,349) >= 77 and a < 241 and op_vRy4X4Pqwq(a) > 14:
        count = op_count_JDc8ysv6vp(a,a)+op_count_r42jg1nETI(a,a)+op_count_aUmFd7VRsS(op_JDc8ysv6vp(a,a),op_r42jg1nETI(a,a))+op_count_gLpgCFl5iX(op_aUmFd7VRsS(op_JDc8ysv6vp(a,a),op_r42jg1nETI(a,a)))+op_count_BpbpqQnb2W(a,349)+op_count_vRy4X4Pqwq(a)
    else:
        count = 1
    return count


a⨂⩑⋬b = { (a⩃⋣≅a) , if (b⊩∰⋧515)==267 ; (b⇼) , else }

def op_aVpXz8fglr(a, b):
    if op_icxKCO3nOu(b,515) == 267:
        return op_wkGOHkejlq(a,a)
    else:
        return op_zDnGpti63o(b)

def op_count_aVpXz8fglr(a, b):
    if op_icxKCO3nOu(b,515) == 267:
        count = op_count_wkGOHkejlq(a,a)+op_count_icxKCO3nOu(b,515)
    else:
        count = op_count_zDnGpti63o(b)
    return count


a⨥∫≕b = { (a⊀⩕) , if (⇯⊘b)<74 ; (↞≼b) , else }

def op_Dn1qhuZlh6(a, b):
    if op_4IsXanmfaW(b) < 74:
        return op_r0FS3hW4cC(a)
    else:
        return op_DE7zCoGJt9(b)

def op_count_Dn1qhuZlh6(a, b):
    if op_4IsXanmfaW(b) < 74:
        count = op_count_r0FS3hW4cC(a)+op_count_4IsXanmfaW(b)
    else:
        count = op_count_DE7zCoGJt9(b)
    return count


a⨯≗b = { ((a⩑b)⊒≛(b⫁a)) , if b==185 ; ((a⨬⫝̸⋏b)≋⫝(⫔⊀⊉a)) , else }

def op_Wog75QgrPw(a, b):
    if b == 185:
        return op_MQjB2XFIYX(op_jbrVa8FwMb(a,b),op_0ajvFaJAv0(b,a))
    else:
        return op_HUtdSlaloT(op_BXhbPCvB7N(a,b),op_WaxZjr2aDl(a))

def op_count_Wog75QgrPw(a, b):
    if b == 185:
        count = op_count_jbrVa8FwMb(a,b)+op_count_0ajvFaJAv0(b,a)+op_count_MQjB2XFIYX(op_jbrVa8FwMb(a,b),op_0ajvFaJAv0(b,a))
    else:
        count = op_count_BXhbPCvB7N(a,b)+op_count_WaxZjr2aDl(a)+op_count_HUtdSlaloT(op_BXhbPCvB7N(a,b),op_WaxZjr2aDl(a))
    return count


a⨷↷b = { (((a⊣⫼b)⫙⪢(⩅⊑←b))⩆((a⋿⩮b)⫠)) , if (⩒∊a)==684 ; (((a⋷∪⋷a)⨡⇶⋳)⇆⊧((a⨄∪286)⇏⊫∳(692⊑∼∆))) , else }

def op_OW6ZB4eih6(a, b):
    if op_qazvmhNBbN(a) == 684:
        return op_QmMs3tyaZP(op_4WiZHdYfGJ(op_glk0xsqa6N(a,b),op_4zEoz1hlbb(b)),op_6SnOT2rOjz(op_fisgo7y6Pu(a,b)))
    else:
        return op_Cip0snuw7U(op_sAr9zEqUJ3(op_HYT61O2rBh(a,a)),op_1TeaI018f5(op_uz3GelrGYC(a,286),op_7qsl7NbTyq(692)))

def op_count_OW6ZB4eih6(a, b):
    if op_qazvmhNBbN(a) == 684:
        count = op_count_glk0xsqa6N(a,b)+op_count_4zEoz1hlbb(b)+op_count_4WiZHdYfGJ(op_glk0xsqa6N(a,b),op_4zEoz1hlbb(b))+op_count_fisgo7y6Pu(a,b)+op_count_6SnOT2rOjz(op_fisgo7y6Pu(a,b))+op_count_QmMs3tyaZP(op_4WiZHdYfGJ(op_glk0xsqa6N(a,b),op_4zEoz1hlbb(b)),op_6SnOT2rOjz(op_fisgo7y6Pu(a,b)))+op_count_qazvmhNBbN(a)
    else:
        count = op_count_HYT61O2rBh(a,a)+op_count_sAr9zEqUJ3(op_HYT61O2rBh(a,a))+op_count_uz3GelrGYC(a,286)+op_count_7qsl7NbTyq(692)+op_count_1TeaI018f5(op_uz3GelrGYC(a,286),op_7qsl7NbTyq(692))+op_count_Cip0snuw7U(op_sAr9zEqUJ3(op_HYT61O2rBh(a,a)),op_1TeaI018f5(op_uz3GelrGYC(a,286),op_7qsl7NbTyq(692)))
    return count


def op_GoiUArvN3p(a):
    return op_783zoCpM6g(op_zGZqYOUxsC(a,a))

def op_count_GoiUArvN3p(a):
    count = op_count_zGZqYOUxsC(a,a)+op_count_783zoCpM6g(op_zGZqYOUxsC(a,a))
    return count


def op_khC2EwHMPR(a, b):
    if op_LvaFuPukL6(b,998) >= 119:
        return op_CoMdbyAt7R(op_wZ022U9HON(op_JfoC2uBG3V(b),op_NjWr5y99d1(120,a)))
    else:
        return op_MtU63d9ZNI(op_aKouilhhtC(op_J2wtRQwxRJ(a,b)))

def op_count_khC2EwHMPR(a, b):
    if op_LvaFuPukL6(b,998) >= 119:
        count = op_count_JfoC2uBG3V(b)+op_count_NjWr5y99d1(120,a)+op_count_wZ022U9HON(op_JfoC2uBG3V(b),op_NjWr5y99d1(120,a))+op_count_CoMdbyAt7R(op_wZ022U9HON(op_JfoC2uBG3V(b),op_NjWr5y99d1(120,a)))+op_count_LvaFuPukL6(b,998)
    else:
        count = op_count_J2wtRQwxRJ(a,b)+op_count_aKouilhhtC(op_J2wtRQwxRJ(a,b))+op_count_MtU63d9ZNI(op_aKouilhhtC(op_J2wtRQwxRJ(a,b)))
    return count


def op_Ty7Y2lde26(a, b):
    return op_otB5Ew3TfZ(op_rXSb8jWWu5(op_r42jg1nETI(a,a),op_gx7XJ7hdpj(b,b)))

def op_count_Ty7Y2lde26(a, b):
    count = op_count_r42jg1nETI(a,a)+op_count_gx7XJ7hdpj(b,b)+op_count_rXSb8jWWu5(op_r42jg1nETI(a,a),op_gx7XJ7hdpj(b,b))+op_count_otB5Ew3TfZ(op_rXSb8jWWu5(op_r42jg1nETI(a,a),op_gx7XJ7hdpj(b,b)))
    return count


def op_DbDpKIpy3e(a, b):
    return op_q5ANYLE8fX(op_r2SrZsyW6O(op_JpNCwVdTNT(a,a),op_TLcR4sSQDd(225,b)))

def op_count_DbDpKIpy3e(a, b):
    count = op_count_JpNCwVdTNT(a,a)+op_count_TLcR4sSQDd(225,b)+op_count_r2SrZsyW6O(op_JpNCwVdTNT(a,a),op_TLcR4sSQDd(225,b))+op_count_q5ANYLE8fX(op_r2SrZsyW6O(op_JpNCwVdTNT(a,a),op_TLcR4sSQDd(225,b)))
    return count


def op_NsTb8aBH7M(a):
    return op_CPJod9CRaD(op_FtzCMUsONU(op_AYjbRmBFQ3(73,a),op_MR0dur9Axd(a,a)),a)

def op_count_NsTb8aBH7M(a):
    count = op_count_AYjbRmBFQ3(73,a)+op_count_MR0dur9Axd(a,a)+op_count_FtzCMUsONU(op_AYjbRmBFQ3(73,a),op_MR0dur9Axd(a,a))+op_count_CPJod9CRaD(op_FtzCMUsONU(op_AYjbRmBFQ3(73,a),op_MR0dur9Axd(a,a)),a)
    return count


def op_bcbrdrjOS2(a):
    if op_JvSxMoGXql(a) == 69:
        return op_bvEbpGYZ1Q(op_5eM6Qp6mRY(op_50uIHTrNdO(340,489),op_egl2U34JLY(a)),op_CbAk22hfYQ(op_qufViy4tU0(118,a)))
    else:
        return op_PDrNSJDGFK(op_jWTQ2TZYIH(op_BRZFass3Bp(a,a),op_5KTvxBwnZo(563,a)))

def op_count_bcbrdrjOS2(a):
    if op_JvSxMoGXql(a) == 69:
        count = op_count_50uIHTrNdO(340,489)+op_count_egl2U34JLY(a)+op_count_5eM6Qp6mRY(op_50uIHTrNdO(340,489),op_egl2U34JLY(a))+op_count_qufViy4tU0(118,a)+op_count_CbAk22hfYQ(op_qufViy4tU0(118,a))+op_count_bvEbpGYZ1Q(op_5eM6Qp6mRY(op_50uIHTrNdO(340,489),op_egl2U34JLY(a)),op_CbAk22hfYQ(op_qufViy4tU0(118,a)))+op_count_JvSxMoGXql(a)
    else:
        count = op_count_BRZFass3Bp(a,a)+op_count_5KTvxBwnZo(563,a)+op_count_jWTQ2TZYIH(op_BRZFass3Bp(a,a),op_5KTvxBwnZo(563,a))+op_count_PDrNSJDGFK(op_jWTQ2TZYIH(op_BRZFass3Bp(a,a),op_5KTvxBwnZo(563,a)))
    return count


a⊘≽⇾b = { (⨽⊡(a⇱⇎⩗b)) , if b>42 ; a , else }

def op_kucSuKQe76(a, b):
    if b > 42:
        return op_GzNIxZMYg4(op_DSSXvJAOg7(a,b))
    else:
        return a

def op_count_kucSuKQe76(a, b):
    if b > 42:
        count = op_count_DSSXvJAOg7(a,b)+op_count_GzNIxZMYg4(op_DSSXvJAOg7(a,b))
    else:
        count = 1
    return count


⋎⊯⇰a = { (a⋹⨔(a⩉→⋫a)) , if (a⋜⊦408)<288 ; (⪳⫟⩤(127∯⩥⪙a)) , else }

def op_JxVXO72MGb(a):
    if op_Clkk675x6l(a,408) < 288:
        return op_RdYriX7qu7(a,op_OHdKWLbo3y(a,a))
    else:
        return op_Mwm3sDJixD(op_lq4leFCqdl(127,a))

def op_count_JxVXO72MGb(a):
    if op_Clkk675x6l(a,408) < 288:
        count = op_count_OHdKWLbo3y(a,a)+op_count_RdYriX7qu7(a,op_OHdKWLbo3y(a,a))+op_count_Clkk675x6l(a,408)
    else:
        count = op_count_lq4leFCqdl(127,a)+op_count_Mwm3sDJixD(op_lq4leFCqdl(127,a))
    return count


a+∌⪲ = { (a⫷a) , if (a⫿⩙⫶)!=3 ; (a∟≃) , else }

def op_YvePTmM2D8(a):
    if op_HghB9Wb87q(a) != 3:
        return op_DD02tHBmow(a,a)
    else:
        return op_uPE9uA7DVi(a)

def op_count_YvePTmM2D8(a):
    if op_HghB9Wb87q(a) != 3:
        count = op_count_DD02tHBmow(a,a)+op_count_HghB9Wb87q(a)
    else:
        count = op_count_uPE9uA7DVi(a)
    return count


a⫗⋲b = { (b⫥∨⫟a) , if b<140 and b<72 and (a⪘⊱⫆219)<85 ; (b∳a) , else }

def op_vqt4r5uKs0(a, b):
    if b < 140 and b < 72 and op_YjcqlNuJ4W(a,219) < 85:
        return op_KYD54nUTWz(b,a)
    else:
        return op_XCY0eMNfgm(b,a)

def op_count_vqt4r5uKs0(a, b):
    if b < 140 and b < 72 and op_YjcqlNuJ4W(a,219) < 85:
        count = op_count_KYD54nUTWz(b,a)+op_count_YjcqlNuJ4W(a,219)
    else:
        count = op_count_XCY0eMNfgm(b,a)
    return count


def op_1g11ikCWIO(a):
    return op_LnO038Eblv(op_fvqsyRpAQk(a),op_6Ko8hGgeMq(a,a))

def op_count_1g11ikCWIO(a):
    count = op_count_fvqsyRpAQk(a)+op_count_6Ko8hGgeMq(a,a)+op_count_LnO038Eblv(op_fvqsyRpAQk(a),op_6Ko8hGgeMq(a,a))
    return count


⇳⨊⫔a = { (↓⇌a) , if (∨⨗a)==269 or (a⇇⊱)<47 ; ((a⨼⩣a)⩵⩤⋘) , else }

def op_Dcma8KhKr3(a):
    if op_Oda0vSKASk(a) == 269 or op_uGu51GOFDC(a) < 47:
        return op_PxpmPgHHJV(a)
    else:
        return op_bGH9BQXhMM(op_JxwMv5le6e(a,a))

def op_count_Dcma8KhKr3(a):
    if op_Oda0vSKASk(a) == 269 or op_uGu51GOFDC(a) < 47:
        count = op_count_PxpmPgHHJV(a)+op_count_Oda0vSKASk(a)+op_count_uGu51GOFDC(a)
    else:
        count = op_count_JxwMv5le6e(a,a)+op_count_bGH9BQXhMM(op_JxwMv5le6e(a,a))
    return count


a⩸⩼b = { (((a⩿-∸a)⨥⩼⪨(a⪶≂⩒b))⊢∞((b⋨⩽⩔)∬(b⪎⨈97))) , if b!=889 ; a , else }

def op_8QhDIlURpe(a, b):
    if b != 889:
        return op_duO1ngoDTu(op_rXSb8jWWu5(op_bvbbpKhc8C(a,a),op_rPxV9L2jhK(a,b)),op_R75JuolGUV(op_vONqII4LTO(b),op_PTuWOAQI59(b,97)))
    else:
        return a

def op_count_8QhDIlURpe(a, b):
    if b != 889:
        count = op_count_bvbbpKhc8C(a,a)+op_count_rPxV9L2jhK(a,b)+op_count_rXSb8jWWu5(op_bvbbpKhc8C(a,a),op_rPxV9L2jhK(a,b))+op_count_vONqII4LTO(b)+op_count_PTuWOAQI59(b,97)+op_count_R75JuolGUV(op_vONqII4LTO(b),op_PTuWOAQI59(b,97))+op_count_duO1ngoDTu(op_rXSb8jWWu5(op_bvbbpKhc8C(a,a),op_rPxV9L2jhK(a,b)),op_R75JuolGUV(op_vONqII4LTO(b),op_PTuWOAQI59(b,97)))
    else:
        count = 1
    return count


a⫘⋰⋡ = { (a⨟⋌⩍(⇵⪽a)) , if a<198 ; ((a∴⇘a)⨭(a≯⋐411)) , else }

def op_A4tTqkyH8w(a):
    if a < 198:
        return op_rGHVDoGpnC(a,op_ZGCBLdVRRX(a))
    else:
        return op_1ABctC9S11(op_U5ZKo8DQUb(a,a),op_iAtjGBADWH(a,411))

def op_count_A4tTqkyH8w(a):
    if a < 198:
        count = op_count_ZGCBLdVRRX(a)+op_count_rGHVDoGpnC(a,op_ZGCBLdVRRX(a))
    else:
        count = op_count_U5ZKo8DQUb(a,a)+op_count_iAtjGBADWH(a,411)+op_count_1ABctC9S11(op_U5ZKo8DQUb(a,a),op_iAtjGBADWH(a,411))
    return count


def op_tnWzN26NKS(a, b):
    return op_ea3DdhFzdW(op_gLpgCFl5iX(op_Qu4uWmhj3N(a,b)),33)

def op_count_tnWzN26NKS(a, b):
    count = op_count_Qu4uWmhj3N(a,b)+op_count_gLpgCFl5iX(op_Qu4uWmhj3N(a,b))+op_count_ea3DdhFzdW(op_gLpgCFl5iX(op_Qu4uWmhj3N(a,b)),33)
    return count


def op_smamKrpOxY(a, b):
    return op_zBeky0p6hI(op_NIS2NZpoyR(op_YUijxPlj15(63,b),op_DonbzSbJYq(a,a)))

def op_count_smamKrpOxY(a, b):
    count = op_count_YUijxPlj15(63,b)+op_count_DonbzSbJYq(a,a)+op_count_NIS2NZpoyR(op_YUijxPlj15(63,b),op_DonbzSbJYq(a,a))+op_count_zBeky0p6hI(op_NIS2NZpoyR(op_YUijxPlj15(63,b),op_DonbzSbJYq(a,a)))
    return count


⫵⨰a = { (a⋖↱(a⫷a)) , if (⇆⊁↘a)!=450 ; (⪲⊾(a⇐⫛a)) , else }

def op_E3YU9vf7ag(a):
    if op_emTSK01Iw7(a) != 450:
        return op_HMFVGXHpcg(a,op_DD02tHBmow(a,a))
    else:
        return op_L07OSbUHmY(op_15x3VrOvJJ(a,a))

def op_count_E3YU9vf7ag(a):
    if op_emTSK01Iw7(a) != 450:
        count = op_count_DD02tHBmow(a,a)+op_count_HMFVGXHpcg(a,op_DD02tHBmow(a,a))+op_count_emTSK01Iw7(a)
    else:
        count = op_count_15x3VrOvJJ(a,a)+op_count_L07OSbUHmY(op_15x3VrOvJJ(a,a))
    return count


def op_7PtAaisWjx(a, b):
    if (op_LlA1dz4vja(b,146) <= 722 or op_6RfwPzxzfk(a) < 120):
        return op_GfE2GQMWLl(op_sVBMypNds7(op_DyGG3AbaNP(a,291),op_vjAZhCvnmo(a,a)))
    else:
        return op_ONJRQY6OPs(b,op_qJz32A0TQE(op_3AHgZhA1m2(a,288),op_c4Jgcjuupe(a,19)))

def op_count_7PtAaisWjx(a, b):
    if (op_LlA1dz4vja(b,146) <= 722 or op_6RfwPzxzfk(a) < 120):
        count = op_count_DyGG3AbaNP(a,291)+op_count_vjAZhCvnmo(a,a)+op_count_sVBMypNds7(op_DyGG3AbaNP(a,291),op_vjAZhCvnmo(a,a))+op_count_GfE2GQMWLl(op_sVBMypNds7(op_DyGG3AbaNP(a,291),op_vjAZhCvnmo(a,a)))+op_count_LlA1dz4vja(b,146)+op_count_6RfwPzxzfk(a)
    else:
        count = op_count_3AHgZhA1m2(a,288)+op_count_c4Jgcjuupe(a,19)+op_count_qJz32A0TQE(op_3AHgZhA1m2(a,288),op_c4Jgcjuupe(a,19))+op_count_ONJRQY6OPs(b,op_qJz32A0TQE(op_3AHgZhA1m2(a,288),op_c4Jgcjuupe(a,19)))
    return count


def op_6zYsE6uMM3(a):
    if (op_jyyZM2Dsjt(a) == 83 and op_ZlSH4tNl52(a) >= 278):
        return op_RKeiQKbkFn(op_LwusK5BndA(a))
    else:
        return op_XHowTFVwyi(op_zi3bF0tCqX(a,202),op_sDoe2e33o4(83))

def op_count_6zYsE6uMM3(a):
    if (op_jyyZM2Dsjt(a) == 83 and op_ZlSH4tNl52(a) >= 278):
        count = op_count_LwusK5BndA(a)+op_count_RKeiQKbkFn(op_LwusK5BndA(a))+op_count_jyyZM2Dsjt(a)+op_count_ZlSH4tNl52(a)
    else:
        count = op_count_zi3bF0tCqX(a,202)+op_count_sDoe2e33o4(83)+op_count_XHowTFVwyi(op_zi3bF0tCqX(a,202),op_sDoe2e33o4(83))
    return count


⋍≢a = { (⇖⫷⫕a) , if a<55 ; (a⫖⪽a) , else }

def op_uxCqJkQMQA(a):
    if a < 55:
        return op_UHmRx3INFg(a)
    else:
        return op_UlIHxGcaIG(a,a)

def op_count_uxCqJkQMQA(a):
    if a < 55:
        count = op_count_UHmRx3INFg(a)
    else:
        count = op_count_UlIHxGcaIG(a,a)
    return count


def op_j5bIxs1ndU(a):
    return op_abYXlopdE0(op_r45GFIZ6yb(op_9kyI0w1glK(89,a)),op_LeaixnEh0y(op_ZGCBLdVRRX(a),op_sXtXS1L2Bt(189,881)))

def op_count_j5bIxs1ndU(a):
    count = op_count_9kyI0w1glK(89,a)+op_count_r45GFIZ6yb(op_9kyI0w1glK(89,a))+op_count_ZGCBLdVRRX(a)+op_count_sXtXS1L2Bt(189,881)+op_count_LeaixnEh0y(op_ZGCBLdVRRX(a),op_sXtXS1L2Bt(189,881))+op_count_abYXlopdE0(op_r45GFIZ6yb(op_9kyI0w1glK(89,a)),op_LeaixnEh0y(op_ZGCBLdVRRX(a),op_sXtXS1L2Bt(189,881)))
    return count


def op_pFblFzGPQ4(a):
    return op_rxoAJkQuc9(a,op_DlLNRPXxWL(679))

def op_count_pFblFzGPQ4(a):
    count = op_count_DlLNRPXxWL(679)+op_count_rxoAJkQuc9(a,op_DlLNRPXxWL(679))
    return count


⨉∀a = { (a∑⇟⊟a) , if a<=823 ; (a⨖) , else }

def op_JlE51X69Kg(a):
    if a <= 823:
        return op_U7g4x0WXJJ(a,a)
    else:
        return op_5JprmgSD8j(a)

def op_count_JlE51X69Kg(a):
    if a <= 823:
        count = op_count_U7g4x0WXJJ(a,a)
    else:
        count = op_count_5JprmgSD8j(a)
    return count


def op_3r15PBVQFp(a):
    return op_P0o8L8MpVP(op_vONqII4LTO(a),op_iXQfhhNwXF(556))

def op_count_3r15PBVQFp(a):
    count = op_count_vONqII4LTO(a)+op_count_iXQfhhNwXF(556)+op_count_P0o8L8MpVP(op_vONqII4LTO(a),op_iXQfhhNwXF(556))
    return count


⫀↕⊜a = { (((a⫪⩳⇋a)⪖⪯⋚)∗⫦⨲(⊩↷92)) , if a>7 ; (((a⊗⊈46)⊡⫷⨳(a⋤a))⩳⩝((a⋮≀a)⩍↢(a⊋≦⊧185))) , else }

def op_uFV8GcXGXt(a):
    if a > 7:
        return op_4zhs1Pu9yK(op_D8FqJNSzfY(op_irfPbDV6Fp(a,a)),op_fgG4BKMGvw(92))
    else:
        return op_Bc0pPSeyaF(op_dcf6jBEETk(op_yS1ZSNIEll(a,46),op_3FfuuMEB8X(a,a)),op_aqU8F3SgaS(op_VTngge07Jm(a,a),op_oRDoc9rAEX(a,185)))

def op_count_uFV8GcXGXt(a):
    if a > 7:
        count = op_count_irfPbDV6Fp(a,a)+op_count_D8FqJNSzfY(op_irfPbDV6Fp(a,a))+op_count_fgG4BKMGvw(92)+op_count_4zhs1Pu9yK(op_D8FqJNSzfY(op_irfPbDV6Fp(a,a)),op_fgG4BKMGvw(92))
    else:
        count = op_count_yS1ZSNIEll(a,46)+op_count_3FfuuMEB8X(a,a)+op_count_dcf6jBEETk(op_yS1ZSNIEll(a,46),op_3FfuuMEB8X(a,a))+op_count_VTngge07Jm(a,a)+op_count_oRDoc9rAEX(a,185)+op_count_aqU8F3SgaS(op_VTngge07Jm(a,a),op_oRDoc9rAEX(a,185))+op_count_Bc0pPSeyaF(op_dcf6jBEETk(op_yS1ZSNIEll(a,46),op_3FfuuMEB8X(a,a)),op_aqU8F3SgaS(op_VTngge07Jm(a,a),op_oRDoc9rAEX(a,185)))
    return count


∋⇜a = { ((a↹⨮a)≢) , if (a⊚⨔)>575 ; ((a⫳∂a)≘↜(a⩩⋢↠a)) , else }

def op_fjFn4tOXUD(a):
    if op_XbEAUggs3J(a) > 575:
        return op_q8oxKt1zRy(op_fsGJKjavyD(a,a))
    else:
        return op_L4QKcwJRKF(op_jJYLip4aMc(a,a),op_J9p31WXma4(a,a))

def op_count_fjFn4tOXUD(a):
    if op_XbEAUggs3J(a) > 575:
        count = op_count_fsGJKjavyD(a,a)+op_count_q8oxKt1zRy(op_fsGJKjavyD(a,a))+op_count_XbEAUggs3J(a)
    else:
        count = op_count_jJYLip4aMc(a,a)+op_count_J9p31WXma4(a,a)+op_count_L4QKcwJRKF(op_jJYLip4aMc(a,a),op_J9p31WXma4(a,a))
    return count


def op_xcN3Ly45Hm(a, b):
    return op_MkFge0F0HF(a,op_IhxHnaDIDi(op_0ajvFaJAv0(a,b)))

def op_count_xcN3Ly45Hm(a, b):
    count = op_count_0ajvFaJAv0(a,b)+op_count_IhxHnaDIDi(op_0ajvFaJAv0(a,b))+op_count_MkFge0F0HF(a,op_IhxHnaDIDi(op_0ajvFaJAv0(a,b)))
    return count


def op_pBhxj4Y9v2(a):
    return op_wjRRZ4dIWs(op_6Ko8hGgeMq(op_uFPyJr306J(a),op_uC1OCuP0T4(a,132)))

def op_count_pBhxj4Y9v2(a):
    count = op_count_uFPyJr306J(a)+op_count_uC1OCuP0T4(a,132)+op_count_6Ko8hGgeMq(op_uFPyJr306J(a),op_uC1OCuP0T4(a,132))+op_count_wjRRZ4dIWs(op_6Ko8hGgeMq(op_uFPyJr306J(a),op_uC1OCuP0T4(a,132)))
    return count


def op_jeuWaY6rHL(a):
    if a != 775:
        return op_aULemKRNJ1(op_VwosiIjgpM(op_jiX4gk2v2Q(a),op_bsbByZDrTG(11,a)),op_ted83A08Om(a))
    else:
        return op_fG6uBQFnGz(op_9C14WDc2HD(op_XCY0eMNfgm(120,a),op_0VM5IIwWHX(a)))

def op_count_jeuWaY6rHL(a):
    if a != 775:
        count = op_count_jiX4gk2v2Q(a)+op_count_bsbByZDrTG(11,a)+op_count_VwosiIjgpM(op_jiX4gk2v2Q(a),op_bsbByZDrTG(11,a))+op_count_ted83A08Om(a)+op_count_aULemKRNJ1(op_VwosiIjgpM(op_jiX4gk2v2Q(a),op_bsbByZDrTG(11,a)),op_ted83A08Om(a))
    else:
        count = op_count_XCY0eMNfgm(120,a)+op_count_0VM5IIwWHX(a)+op_count_9C14WDc2HD(op_XCY0eMNfgm(120,a),op_0VM5IIwWHX(a))+op_count_fG6uBQFnGz(op_9C14WDc2HD(op_XCY0eMNfgm(120,a),op_0VM5IIwWHX(a)))
    return count


a⨿↿b = { (((a⇘≿b)≤(b⊇≀≁))⫐⊊((a⇴≮⊋19)⊣⨲(b⋻⋥b))) }

def op_jDYCv5ONg6(a, b):
    return op_ne3ymXmP8e(op_HgknbBBPDn(op_8EAfVIn5ao(a,b),op_AfoL3wC8aT(b)),op_PjIHNKxrlt(op_1guADMLg5x(a,19),op_mR0p8TbMGG(b,b)))

def op_count_jDYCv5ONg6(a, b):
    count = op_count_8EAfVIn5ao(a,b)+op_count_AfoL3wC8aT(b)+op_count_HgknbBBPDn(op_8EAfVIn5ao(a,b),op_AfoL3wC8aT(b))+op_count_1guADMLg5x(a,19)+op_count_mR0p8TbMGG(b,b)+op_count_PjIHNKxrlt(op_1guADMLg5x(a,19),op_mR0p8TbMGG(b,b))+op_count_ne3ymXmP8e(op_HgknbBBPDn(op_8EAfVIn5ao(a,b),op_AfoL3wC8aT(b)),op_PjIHNKxrlt(op_1guADMLg5x(a,19),op_mR0p8TbMGG(b,b)))
    return count


a≜≺b = { (b∼a) , if (b⋭⫎⪟)>=13 ; a , else }

def op_hBpcEQx1ht(a, b):
    if op_nw0VKSfdAL(b) >= 13:
        return op_DyGG3AbaNP(b,a)
    else:
        return a

def op_count_hBpcEQx1ht(a, b):
    if op_nw0VKSfdAL(b) >= 13:
        count = op_count_DyGG3AbaNP(b,a)+op_count_nw0VKSfdAL(b)
    else:
        count = 1
    return count


def op_eb34jpat1W(a, b):
    return op_9YwblYdrD7(op_NIS2NZpoyR(a,b),op_XMp7OlDfur(b,a))

def op_count_eb34jpat1W(a, b):
    count = op_count_NIS2NZpoyR(a,b)+op_count_XMp7OlDfur(b,a)+op_count_9YwblYdrD7(op_NIS2NZpoyR(a,b),op_XMp7OlDfur(b,a))
    return count


def op_YHLmqI2gdS(a):
    if a != 314 or op_qxp9F1VMeC(a) > 264:
        return op_jeXgggKxup(a)
    else:
        return op_rtRUSnrYdo(230,a)

def op_count_YHLmqI2gdS(a):
    if a != 314 or op_qxp9F1VMeC(a) > 264:
        count = op_count_jeXgggKxup(a)+op_count_qxp9F1VMeC(a)
    else:
        count = op_count_rtRUSnrYdo(230,a)
    return count


def op_ZZ4l1eGSKW(a):
    return op_hNahGPIvJb(op_HtQuFPdTwO(op_UMwdvZNt44(a,515)),op_8cNrNy0nrI(op_wTiz35xKoq(a,a),a))

def op_count_ZZ4l1eGSKW(a):
    count = op_count_UMwdvZNt44(a,515)+op_count_HtQuFPdTwO(op_UMwdvZNt44(a,515))+op_count_wTiz35xKoq(a,a)+op_count_8cNrNy0nrI(op_wTiz35xKoq(a,a),a)+op_count_hNahGPIvJb(op_HtQuFPdTwO(op_UMwdvZNt44(a,515)),op_8cNrNy0nrI(op_wTiz35xKoq(a,a),a))
    return count


a∷⩉⇿b = { ((⨭⊵⊅(a∄⫦⊛161))∯⩥⪙((⩦⨙⩙b)∩⨠⇪(a↷≪⋜687))) , if b>=695 and (a⩘/⪵)<101 ; ((⫔⫾(a/⊯⨻))≯⊼((b≵⩾⇗b)⇪⊦⫿(721⨸457))) , else }

def op_0NniEl5VrN(a, b):
    if b >= 695 and op_DEx41W0Tf0(a) < 101:
        return op_lq4leFCqdl(op_QtcuAnPJop(op_NsFxRf80t5(a,161)),op_1dP9oEiBvS(op_glFeB2EvNP(b),op_1j1KpI9WdF(a,687)))
    else:
        return op_6LEqcG83L6(op_zM038sETkn(op_G046GaHObK(a)),op_86EHC0btia(op_GyJNigkHRe(b,b),op_KmoU8R5UQR(721,457)))

def op_count_0NniEl5VrN(a, b):
    if b >= 695 and op_DEx41W0Tf0(a) < 101:
        count = op_count_NsFxRf80t5(a,161)+op_count_QtcuAnPJop(op_NsFxRf80t5(a,161))+op_count_glFeB2EvNP(b)+op_count_1j1KpI9WdF(a,687)+op_count_1dP9oEiBvS(op_glFeB2EvNP(b),op_1j1KpI9WdF(a,687))+op_count_lq4leFCqdl(op_QtcuAnPJop(op_NsFxRf80t5(a,161)),op_1dP9oEiBvS(op_glFeB2EvNP(b),op_1j1KpI9WdF(a,687)))+op_count_DEx41W0Tf0(a)
    else:
        count = op_count_G046GaHObK(a)+op_count_zM038sETkn(op_G046GaHObK(a))+op_count_GyJNigkHRe(b,b)+op_count_KmoU8R5UQR(721,457)+op_count_86EHC0btia(op_GyJNigkHRe(b,b),op_KmoU8R5UQR(721,457))+op_count_6LEqcG83L6(op_zM038sETkn(op_G046GaHObK(a)),op_86EHC0btia(op_GyJNigkHRe(b,b),op_KmoU8R5UQR(721,457)))
    return count


def op_4PifQricCT(a):
    return op_xaRIqAkB3v(op_0XrHeV7DGo(413),op_k1SHOSEABc(a,a))

def op_count_4PifQricCT(a):
    count = op_count_0XrHeV7DGo(413)+op_count_k1SHOSEABc(a,a)+op_count_xaRIqAkB3v(op_0XrHeV7DGo(413),op_k1SHOSEABc(a,a))
    return count


def op_2R9XRWleR5(a):
    return op_HtfiQVUMWI(op_ZGCBLdVRRX(15),op_qIDt5vVHD5(a,a))

def op_count_2R9XRWleR5(a):
    count = op_count_ZGCBLdVRRX(15)+op_count_qIDt5vVHD5(a,a)+op_count_HtfiQVUMWI(op_ZGCBLdVRRX(15),op_qIDt5vVHD5(a,a))
    return count


a⨩⫴⨛b = { ((a⪱b)⫖(a⫏↛⩏a)) , if (⨟a)<325 ; ((a⩷∴b)⪫(∎≩⨯b)) , else }

def op_XxqptKsXy8(a, b):
    if op_NfX6E9stcz(a) < 325:
        return op_aEfDsFgi2n(op_Fw9FUhpJpC(a,b),op_YC3tgrnOyr(a,a))
    else:
        return op_EcikR1MxSZ(op_9FxExcQeMw(a,b),op_l8UfvtpCFJ(b))

def op_count_XxqptKsXy8(a, b):
    if op_NfX6E9stcz(a) < 325:
        count = op_count_Fw9FUhpJpC(a,b)+op_count_YC3tgrnOyr(a,a)+op_count_aEfDsFgi2n(op_Fw9FUhpJpC(a,b),op_YC3tgrnOyr(a,a))+op_count_NfX6E9stcz(a)
    else:
        count = op_count_9FxExcQeMw(a,b)+op_count_l8UfvtpCFJ(b)+op_count_EcikR1MxSZ(op_9FxExcQeMw(a,b),op_l8UfvtpCFJ(b))
    return count


def op_bjFwS5ygY2(a, b):
    return op_yH8AgI9qjb(op_UHmRx3INFg(b),op_yJC0uiLgXl(156,a))

def op_count_bjFwS5ygY2(a, b):
    count = op_count_UHmRx3INFg(b)+op_count_yJC0uiLgXl(156,a)+op_count_yH8AgI9qjb(op_UHmRx3INFg(b),op_yJC0uiLgXl(156,a))
    return count


⫳⊛a = { (((a⩹∩⫰)⇏⊫∳(a⨭a))⪰⪩∈((a⪝∑⪽a)↥⪳)) , if (⋨a)!=29 ; (((a↺513)⇔⇠∵(150⪬≉a))≶⋎(≵⨮(a≖))) , else }

def op_5sRVwwGk0A(a):
    if op_CFh2zoe2kn(a) != 29:
        return op_nw9r1HaLU9(op_1TeaI018f5(op_VUHsuanwoc(a),op_1ABctC9S11(a,a)),op_5QLLaiylsb(op_knuYb4zZaj(a,a)))
    else:
        return op_KKQjbbJ9ie(op_0wziYLqNx9(op_7j4O788W3g(a,513),op_403lqio1gV(150,a)),op_uCSr2leBiz(op_dAvLJZHBt7(a)))

def op_count_5sRVwwGk0A(a):
    if op_CFh2zoe2kn(a) != 29:
        count = op_count_VUHsuanwoc(a)+op_count_1ABctC9S11(a,a)+op_count_1TeaI018f5(op_VUHsuanwoc(a),op_1ABctC9S11(a,a))+op_count_knuYb4zZaj(a,a)+op_count_5QLLaiylsb(op_knuYb4zZaj(a,a))+op_count_nw9r1HaLU9(op_1TeaI018f5(op_VUHsuanwoc(a),op_1ABctC9S11(a,a)),op_5QLLaiylsb(op_knuYb4zZaj(a,a)))+op_count_CFh2zoe2kn(a)
    else:
        count = op_count_7j4O788W3g(a,513)+op_count_403lqio1gV(150,a)+op_count_0wziYLqNx9(op_7j4O788W3g(a,513),op_403lqio1gV(150,a))+op_count_dAvLJZHBt7(a)+op_count_uCSr2leBiz(op_dAvLJZHBt7(a))+op_count_KKQjbbJ9ie(op_0wziYLqNx9(op_7j4O788W3g(a,513),op_403lqio1gV(150,a)),op_uCSr2leBiz(op_dAvLJZHBt7(a)))
    return count


a⋇≧⪿b = { (((a⨅⪔a)⪣(⪷⨧∗a))⊹⫨((39⪜⋗⇢430)⫰⪈↳(b∈∌⇙))) , if (a⇵⋒≫341)>166 ; (((b⫢b)⨠∀⫧(b↽⩔a))⋀⪒⨥((a⫏⨳)⫑%∭)) , else }

def op_spsmIqVHE9(a, b):
    if op_pf58PynOjz(a,341) > 166:
        return op_0uv4xNrpnl(op_VWdWub1Bzg(op_zs0bbCWKdf(a,a),op_1ppdvXw4NF(a)),op_fbcvdbyKp2(op_MkFge0F0HF(39,430),op_eTAniYArFr(b)))
    else:
        return op_uxpXySbnZx(op_griT9ijWOv(op_Rc7o8AHK9u(b,b),op_pC37afr74b(b,a)),op_xUx7qlDO4z(op_uYFMMs11JB(a)))

def op_count_spsmIqVHE9(a, b):
    if op_pf58PynOjz(a,341) > 166:
        count = op_count_zs0bbCWKdf(a,a)+op_count_1ppdvXw4NF(a)+op_count_VWdWub1Bzg(op_zs0bbCWKdf(a,a),op_1ppdvXw4NF(a))+op_count_MkFge0F0HF(39,430)+op_count_eTAniYArFr(b)+op_count_fbcvdbyKp2(op_MkFge0F0HF(39,430),op_eTAniYArFr(b))+op_count_0uv4xNrpnl(op_VWdWub1Bzg(op_zs0bbCWKdf(a,a),op_1ppdvXw4NF(a)),op_fbcvdbyKp2(op_MkFge0F0HF(39,430),op_eTAniYArFr(b)))+op_count_pf58PynOjz(a,341)
    else:
        count = op_count_Rc7o8AHK9u(b,b)+op_count_pC37afr74b(b,a)+op_count_griT9ijWOv(op_Rc7o8AHK9u(b,b),op_pC37afr74b(b,a))+op_count_uYFMMs11JB(a)+op_count_xUx7qlDO4z(op_uYFMMs11JB(a))+op_count_uxpXySbnZx(op_griT9ijWOv(op_Rc7o8AHK9u(b,b),op_pC37afr74b(b,a)),op_xUx7qlDO4z(op_uYFMMs11JB(a)))
    return count


def op_C0d9Y99Zj0(a):
    return op_EOlQWVzPou(160,a)

def op_count_C0d9Y99Zj0(a):
    count = op_count_EOlQWVzPou(160,a)
    return count


a⨣↙⫋ = { (a⋬(⊁⫙↠a)) , if a>=725 and (a⨖≹2)<193 ; (⊿⇩(a⨼⩣a)) , else }

def op_2HRabDccWo(a):
    if a >= 725 and op_x56Q1NfF72(a,2) < 193:
        return op_T9SPe3fQV2(a,op_KcZhLNx6yj(a))
    else:
        return op_Cz3oYOfD2J(op_JxwMv5le6e(a,a))

def op_count_2HRabDccWo(a):
    if a >= 725 and op_x56Q1NfF72(a,2) < 193:
        count = op_count_KcZhLNx6yj(a)+op_count_T9SPe3fQV2(a,op_KcZhLNx6yj(a))+op_count_x56Q1NfF72(a,2)
    else:
        count = op_count_JxwMv5le6e(a,a)+op_count_Cz3oYOfD2J(op_JxwMv5le6e(a,a))
    return count


a⇺⇾∭b = { (↽∬b) , if (a⋫⫫)!=13 ; (b⪦⫫⫄a) , else }

def op_NGAnFqtOri(a, b):
    if op_6hz2NCYjHL(a) != 13:
        return op_ZbtZ49kJld(b)
    else:
        return op_khc5YFX7Jp(b,a)

def op_count_NGAnFqtOri(a, b):
    if op_6hz2NCYjHL(a) != 13:
        count = op_count_ZbtZ49kJld(b)+op_count_6hz2NCYjHL(a)
    else:
        count = op_count_khc5YFX7Jp(b,a)
    return count


def op_V9jpnaHY55(a):
    if op_4OtQz9P6fE(a,675) >= 609:
        return a
    else:
        return op_PdXgBgzzRn(a)

def op_count_V9jpnaHY55(a):
    if op_4OtQz9P6fE(a,675) >= 609:
        count = 1
    else:
        count = op_count_PdXgBgzzRn(a)
    return count


def op_IOWsAYciS5(a):
    if (op_VxEd4nGCaq(a,270) >= 42 or op_e7fKtFYRQn(a) != 883):
        return op_ljTHtUsqzn(op_8CI59HBmeC(95,a))
    else:
        return op_GySAKFjObq(op_0ajvFaJAv0(175,a))

def op_count_IOWsAYciS5(a):
    if (op_VxEd4nGCaq(a,270) >= 42 or op_e7fKtFYRQn(a) != 883):
        count = op_count_8CI59HBmeC(95,a)+op_count_ljTHtUsqzn(op_8CI59HBmeC(95,a))+op_count_VxEd4nGCaq(a,270)+op_count_e7fKtFYRQn(a)
    else:
        count = op_count_0ajvFaJAv0(175,a)+op_count_GySAKFjObq(op_0ajvFaJAv0(175,a))
    return count


def op_5p4EhrTxB1(a):
    return op_J0M6qkBnIM(a,a)

def op_count_5p4EhrTxB1(a):
    count = op_count_J0M6qkBnIM(a,a)
    return count


def op_1FrEDqAiig(a):
    return op_bPXhXQRmGX(op_hzNl2ELaCM(a))

def op_count_1FrEDqAiig(a):
    count = op_count_hzNl2ELaCM(a)+op_count_bPXhXQRmGX(op_hzNl2ELaCM(a))
    return count


def op_JdcRpMhXBG(a):
    if a > 15 or op_MLcC8hLVgw(a,560) <= 132:
        return op_W23Bqxq5lg(op_RO5dAyufID(op_7uVIZdgRTG(32,a),op_Hem8nFsJR5(a)),op_8m1wXWE6kN(op_e3Vku0ulLb(a,17),op_jiX4gk2v2Q(227)))
    else:
        return a

def op_count_JdcRpMhXBG(a):
    if a > 15 or op_MLcC8hLVgw(a,560) <= 132:
        count = op_count_7uVIZdgRTG(32,a)+op_count_Hem8nFsJR5(a)+op_count_RO5dAyufID(op_7uVIZdgRTG(32,a),op_Hem8nFsJR5(a))+op_count_e3Vku0ulLb(a,17)+op_count_jiX4gk2v2Q(227)+op_count_8m1wXWE6kN(op_e3Vku0ulLb(a,17),op_jiX4gk2v2Q(227))+op_count_W23Bqxq5lg(op_RO5dAyufID(op_7uVIZdgRTG(32,a),op_Hem8nFsJR5(a)),op_8m1wXWE6kN(op_e3Vku0ulLb(a,17),op_jiX4gk2v2Q(227)))+op_count_MLcC8hLVgw(a,560)
    else:
        count = 1
    return count


def op_Lkn2i6M9au(a, b):
    return op_giaUb8UVhq(op_gLpgCFl5iX(b),op_bX58bBWVyZ(a,17))

def op_count_Lkn2i6M9au(a, b):
    count = op_count_gLpgCFl5iX(b)+op_count_bX58bBWVyZ(a,17)+op_count_giaUb8UVhq(op_gLpgCFl5iX(b),op_bX58bBWVyZ(a,17))
    return count


a⩨≸⊃b = { ((a⪱)≍≘b) , if b==651 ; ((↫⩷≞38)≑∓(b⨟⋌⩍b)) , else }

def op_TUqMYBSV1P(a, b):
    if b == 651:
        return op_cGo3xnfAnI(op_QrPBJNmqe2(a),b)
    else:
        return op_SYQDw94fy9(op_9h3kpCOncX(38),op_rGHVDoGpnC(b,b))

def op_count_TUqMYBSV1P(a, b):
    if b == 651:
        count = op_count_QrPBJNmqe2(a)+op_count_cGo3xnfAnI(op_QrPBJNmqe2(a),b)
    else:
        count = op_count_9h3kpCOncX(38)+op_count_rGHVDoGpnC(b,b)+op_count_SYQDw94fy9(op_9h3kpCOncX(38),op_rGHVDoGpnC(b,b))
    return count


def op_5ema2DnE2o(a, b):
    if op_YSKBFp38Pu(b,396) <= 470:
        return op_uPE9uA7DVi(a)
    else:
        return op_fEBtCrdb6d(a,26)

def op_count_5ema2DnE2o(a, b):
    if op_YSKBFp38Pu(b,396) <= 470:
        count = op_count_uPE9uA7DVi(a)+op_count_YSKBFp38Pu(b,396)
    else:
        count = op_count_fEBtCrdb6d(a,26)
    return count


a⨚⋷ = { ((a⫘a)∟≃) , if (a⊁)>=138 ; ((a⪄⪘⪾a)⪂⩍↥(30⪩∃a)) , else }

def op_YRSZukUtf2(a):
    if op_IU5bnLfiEv(a) >= 138:
        return op_uPE9uA7DVi(op_48vC8HMD2b(a,a))
    else:
        return op_S3pNg7gwuQ(op_zO06vmwOEI(a,a),op_ssdYMW82ZA(30,a))

def op_count_YRSZukUtf2(a):
    if op_IU5bnLfiEv(a) >= 138:
        count = op_count_48vC8HMD2b(a,a)+op_count_uPE9uA7DVi(op_48vC8HMD2b(a,a))+op_count_IU5bnLfiEv(a)
    else:
        count = op_count_zO06vmwOEI(a,a)+op_count_ssdYMW82ZA(30,a)+op_count_S3pNg7gwuQ(op_zO06vmwOEI(a,a),op_ssdYMW82ZA(30,a))
    return count


def op_Vc2Bs87Pss(a, b):
    if (op_4K99692Zgi(b) == 9 and op_aRc3ADMqhx(b,512) >= 275):
        return op_ZGCBLdVRRX(op_yJC0uiLgXl(a,a))
    else:
        return op_tIVorTW24W(op_GXvETGfcjc(b,b),op_JFrVJKYFMX(423,411))

def op_count_Vc2Bs87Pss(a, b):
    if (op_4K99692Zgi(b) == 9 and op_aRc3ADMqhx(b,512) >= 275):
        count = op_count_yJC0uiLgXl(a,a)+op_count_ZGCBLdVRRX(op_yJC0uiLgXl(a,a))+op_count_4K99692Zgi(b)+op_count_aRc3ADMqhx(b,512)
    else:
        count = op_count_GXvETGfcjc(b,b)+op_count_JFrVJKYFMX(423,411)+op_count_tIVorTW24W(op_GXvETGfcjc(b,b),op_JFrVJKYFMX(423,411))
    return count


⇾⇱a = { ((⇖a)↞≯↜(a⩫⨒a)) , if a<112 ; (⩧⫈(a⪥∱≎454)) , else }

def op_fWlb38EFDA(a):
    if a < 112:
        return op_Xnbhm1660t(op_tfWHHpNKUN(a),op_2FSIlumXX8(a,a))
    else:
        return op_HTmwGS9Ecj(op_mV4AiYyFkN(a,454))

def op_count_fWlb38EFDA(a):
    if a < 112:
        count = op_count_tfWHHpNKUN(a)+op_count_2FSIlumXX8(a,a)+op_count_Xnbhm1660t(op_tfWHHpNKUN(a),op_2FSIlumXX8(a,a))
    else:
        count = op_count_mV4AiYyFkN(a,454)+op_count_HTmwGS9Ecj(op_mV4AiYyFkN(a,454))
    return count


def op_10j0X0f9h1(a):
    if (op_73CxnrUli8(a,863) <= 334 or op_ziBb4sC0ZT(a) > 42 or op_katZo5ygBZ(a) == 125):
        return op_22D9SwvIE0(op_xqQb1WoLbV(a,a),op_BEh4QBmAc4(a,a))
    else:
        return op_r0FS3hW4cC(op_QBXDJ7vvjN(257,a))

def op_count_10j0X0f9h1(a):
    if (op_73CxnrUli8(a,863) <= 334 or op_ziBb4sC0ZT(a) > 42 or op_katZo5ygBZ(a) == 125):
        count = op_count_xqQb1WoLbV(a,a)+op_count_BEh4QBmAc4(a,a)+op_count_22D9SwvIE0(op_xqQb1WoLbV(a,a),op_BEh4QBmAc4(a,a))+op_count_73CxnrUli8(a,863)+op_count_ziBb4sC0ZT(a)+op_count_katZo5ygBZ(a)
    else:
        count = op_count_QBXDJ7vvjN(257,a)+op_count_r0FS3hW4cC(op_QBXDJ7vvjN(257,a))
    return count


def op_ffpSifkRDd(a, b):
    return op_oCumtb3mAM(op_9S2ZsDhJ9F(a),op_OmMtHYPvwT(a,b))

def op_count_ffpSifkRDd(a, b):
    count = op_count_9S2ZsDhJ9F(a)+op_count_OmMtHYPvwT(a,b)+op_count_oCumtb3mAM(op_9S2ZsDhJ9F(a),op_OmMtHYPvwT(a,b))
    return count


a⊫⨛ = { ((a⇒≿≁334)⪿↰⪖(a⫹⩪a)) , if a!=124 and (a⪕≯⪊896)!=562 ; ((a⩉*a)≼⇖(a⊇⩗a)) , else }

def op_hMJsXf9ixa(a):
    if a != 124 and op_NZlze526t4(a,896) != 562:
        return op_kMgNLpsPAE(op_c2EN3bedbk(a,334),op_yWyjdngDvQ(a,a))
    else:
        return op_rxoAJkQuc9(op_e9vVQXp6da(a,a),op_spjyGLfBHX(a,a))

def op_count_hMJsXf9ixa(a):
    if a != 124 and op_NZlze526t4(a,896) != 562:
        count = op_count_c2EN3bedbk(a,334)+op_count_yWyjdngDvQ(a,a)+op_count_kMgNLpsPAE(op_c2EN3bedbk(a,334),op_yWyjdngDvQ(a,a))+op_count_NZlze526t4(a,896)
    else:
        count = op_count_e9vVQXp6da(a,a)+op_count_spjyGLfBHX(a,a)+op_count_rxoAJkQuc9(op_e9vVQXp6da(a,a),op_spjyGLfBHX(a,a))
    return count


def op_EnJyB6SEAQ(a):
    return op_XLQU2G8LCx(op_j8NUO8wOlx(a),op_l8UfvtpCFJ(a))

def op_count_EnJyB6SEAQ(a):
    count = op_count_j8NUO8wOlx(a)+op_count_l8UfvtpCFJ(a)+op_count_XLQU2G8LCx(op_j8NUO8wOlx(a),op_l8UfvtpCFJ(a))
    return count


def op_qknmMflOvU(a, b):
    return op_yS6aSylXcn(op_GkvCUnJJBn(op_YM1fxtdZ71(136,101),op_BXZdiG1zfY(b,a)))

def op_count_qknmMflOvU(a, b):
    count = op_count_YM1fxtdZ71(136,101)+op_count_BXZdiG1zfY(b,a)+op_count_GkvCUnJJBn(op_YM1fxtdZ71(136,101),op_BXZdiG1zfY(b,a))+op_count_yS6aSylXcn(op_GkvCUnJJBn(op_YM1fxtdZ71(136,101),op_BXZdiG1zfY(b,a)))
    return count


def op_jh4iNNhwgJ(a):
    return op_DSSXvJAOg7(op_SfuFsy6r8G(a),op_m4ELZxczPY(a,750))

def op_count_jh4iNNhwgJ(a):
    count = op_count_SfuFsy6r8G(a)+op_count_m4ELZxczPY(a,750)+op_count_DSSXvJAOg7(op_SfuFsy6r8G(a),op_m4ELZxczPY(a,750))
    return count


def op_nZClF5bNDp(a):
    return op_ckxBfo3j3z(op_SxTAKzQCrw(a,a),op_L07OSbUHmY(a))

def op_count_nZClF5bNDp(a):
    count = op_count_SxTAKzQCrw(a,a)+op_count_L07OSbUHmY(a)+op_count_ckxBfo3j3z(op_SxTAKzQCrw(a,a),op_L07OSbUHmY(a))
    return count


def op_KkmjCxARcr(a):
    return op_slHE12z0pD(op_P4ywzuOpaq(a,a))

def op_count_KkmjCxARcr(a):
    count = op_count_P4ywzuOpaq(a,a)+op_count_slHE12z0pD(op_P4ywzuOpaq(a,a))
    return count


a⊾⊜⫷b = { b , if (b⊕⨂⋃)==452 ; ((b≰⨦⩤b)⋗∛(a↾⇦)) , else }

def op_KthfVZgUz2(a, b):
    if op_P1luAuIuJu(b) == 452:
        return b
    else:
        return op_jrjRpWUE4r(op_uM9y8FJ4Pt(b,b),op_H9RETCE9fR(a))

def op_count_KthfVZgUz2(a, b):
    if op_P1luAuIuJu(b) == 452:
        count = 1
    else:
        count = op_count_uM9y8FJ4Pt(b,b)+op_count_H9RETCE9fR(a)+op_count_jrjRpWUE4r(op_uM9y8FJ4Pt(b,b),op_H9RETCE9fR(a))
    return count


a⇳⨨b = { ((b⇎⊫a)⩽⩓(a⩜⩆b)) , if (⫹⨞≡a)<56 ; ((⨭⩧⫛a)⩂(130⋛⇤a)) , else }

def op_TXsa2IRtjG(a, b):
    if op_sCmkhm4nGY(a) < 56:
        return op_pdGYp7HkH3(op_7yKx6fqJeC(b,a),op_gBZ5YI4mOE(a,b))
    else:
        return op_CfxG4j8dfZ(op_g21JL6JxX7(a),op_rG3WRp3Ucw(130,a))

def op_count_TXsa2IRtjG(a, b):
    if op_sCmkhm4nGY(a) < 56:
        count = op_count_7yKx6fqJeC(b,a)+op_count_gBZ5YI4mOE(a,b)+op_count_pdGYp7HkH3(op_7yKx6fqJeC(b,a),op_gBZ5YI4mOE(a,b))+op_count_sCmkhm4nGY(a)
    else:
        count = op_count_g21JL6JxX7(a)+op_count_rG3WRp3Ucw(130,a)+op_count_CfxG4j8dfZ(op_g21JL6JxX7(a),op_rG3WRp3Ucw(130,a))
    return count


def op_DOCCJ8ZPQq(a):
    if op_Zu3AOvLcPu(a) >= 909:
        return op_yS6aSylXcn(170)
    else:
        return op_Noy9b4xNXF(a,a)

def op_count_DOCCJ8ZPQq(a):
    if op_Zu3AOvLcPu(a) >= 909:
        count = op_count_yS6aSylXcn(170)+op_count_Zu3AOvLcPu(a)
    else:
        count = op_count_Noy9b4xNXF(a,a)
    return count


def op_V2OvVjbBHA(a):
    return op_LnO038Eblv(op_dfTirE4uw8(a,421),op_tXD093vOjl(a,a))

def op_count_V2OvVjbBHA(a):
    count = op_count_dfTirE4uw8(a,421)+op_count_tXD093vOjl(a,a)+op_count_LnO038Eblv(op_dfTirE4uw8(a,421),op_tXD093vOjl(a,a))
    return count


def op_73bnYSuhWm(a):
    if a <= 313:
        return a
    else:
        return op_J0M6qkBnIM(a,91)

def op_count_73bnYSuhWm(a):
    if a <= 313:
        count = 1
    else:
        count = op_count_J0M6qkBnIM(a,91)
    return count


def op_8SH4Zyt6xw(a, b):
    if (op_A5l3xeE7N2(a) > 358 or op_qtqaAqrmD3(a) != 28 or op_RjlROH8OP1(b,868) != 70):
        return op_detaD6PMqy(op_IEH3kw0xIp(b,b))
    else:
        return op_HTmwGS9Ecj(a)

def op_count_8SH4Zyt6xw(a, b):
    if (op_A5l3xeE7N2(a) > 358 or op_qtqaAqrmD3(a) != 28 or op_RjlROH8OP1(b,868) != 70):
        count = op_count_IEH3kw0xIp(b,b)+op_count_detaD6PMqy(op_IEH3kw0xIp(b,b))+op_count_A5l3xeE7N2(a)+op_count_qtqaAqrmD3(a)+op_count_RjlROH8OP1(b,868)
    else:
        count = op_count_HTmwGS9Ecj(a)
    return count


a⩫⨁ = { ((⋮(a⋀∔⨖a))≓≂((a↚≽⪤a)⪦(a⨓⨶⪊a))) }

def op_Qi9ysyU6e2(a):
    return op_9VoQ6iZjwX(op_l6yaTd3a70(op_A1Qy3JNBX5(a,a)),op_S2EdmdiVZh(op_UyATZg4EzG(a,a),op_q0nYMvVa58(a,a)))

def op_count_Qi9ysyU6e2(a):
    count = op_count_A1Qy3JNBX5(a,a)+op_count_l6yaTd3a70(op_A1Qy3JNBX5(a,a))+op_count_UyATZg4EzG(a,a)+op_count_q0nYMvVa58(a,a)+op_count_S2EdmdiVZh(op_UyATZg4EzG(a,a),op_q0nYMvVa58(a,a))+op_count_9VoQ6iZjwX(op_l6yaTd3a70(op_A1Qy3JNBX5(a,a)),op_S2EdmdiVZh(op_UyATZg4EzG(a,a),op_q0nYMvVa58(a,a)))
    return count


def op_5t5QORnWDd(a, b):
    return op_XBHSxs2y4g(op_AfPMu6OKM6(a),op_tXD093vOjl(b,a))

def op_count_5t5QORnWDd(a, b):
    count = op_count_AfPMu6OKM6(a)+op_count_tXD093vOjl(b,a)+op_count_XBHSxs2y4g(op_AfPMu6OKM6(a),op_tXD093vOjl(b,a))
    return count


↺⊚⊘a = { (((a⇋⩓a)⇊↲(⨔⇖⇲a))∃⪵⋊((a⨦⇂⋫a)⪿⇽⊇(⋪⋯a))) , if ((a↧↺⊃)>692 or a!=142) ; (⨛(a∟⋩≫(a⪎⊑a))) , else }

def op_r5seurvYzn(a):
    if (op_WigUGApcQ3(a) > 692 or a != 142):
        return op_qlV96dKO86(op_dm7TFAx3aQ(op_nV0ABU7b9V(a,a),op_VV8U6VuDyB(a)),op_GzAXebfcbx(op_kr7qJdbOdS(a,a),op_TyJ0ll0qnE(a)))
    else:
        return op_CoMdbyAt7R(op_BCU6VgEl6D(a,op_DNprlI7j0r(a,a)))

def op_count_r5seurvYzn(a):
    if (op_WigUGApcQ3(a) > 692 or a != 142):
        count = op_count_nV0ABU7b9V(a,a)+op_count_VV8U6VuDyB(a)+op_count_dm7TFAx3aQ(op_nV0ABU7b9V(a,a),op_VV8U6VuDyB(a))+op_count_kr7qJdbOdS(a,a)+op_count_TyJ0ll0qnE(a)+op_count_GzAXebfcbx(op_kr7qJdbOdS(a,a),op_TyJ0ll0qnE(a))+op_count_qlV96dKO86(op_dm7TFAx3aQ(op_nV0ABU7b9V(a,a),op_VV8U6VuDyB(a)),op_GzAXebfcbx(op_kr7qJdbOdS(a,a),op_TyJ0ll0qnE(a)))+op_count_WigUGApcQ3(a)
    else:
        count = op_count_DNprlI7j0r(a,a)+op_count_BCU6VgEl6D(a,op_DNprlI7j0r(a,a))+op_count_CoMdbyAt7R(op_BCU6VgEl6D(a,op_DNprlI7j0r(a,a)))
    return count


def op_yvVWx39b6j(a):
    return op_IysziUkewr(op_OGWBzMv138(op_p4Ko5kSd0q(a),op_tXD093vOjl(163,a)))

def op_count_yvVWx39b6j(a):
    count = op_count_p4Ko5kSd0q(a)+op_count_tXD093vOjl(163,a)+op_count_OGWBzMv138(op_p4Ko5kSd0q(a),op_tXD093vOjl(163,a))+op_count_IysziUkewr(op_OGWBzMv138(op_p4Ko5kSd0q(a),op_tXD093vOjl(163,a)))
    return count


a⨯⋧⪟b = { (((b⫡⫢85)⊇⊸(b⋦≤))⋸⨴≀((b⨵⪆b)⩇↘(b≃⇜↓165))) , if (a⋔⋓)>=749 ; (((b⋹⨔b)⫮⋒(a∊a))↧⫃((115⨓⫙⩬a)⪩)) , else }

def op_M9TrR1UQKU(a, b):
    if op_AH8QAgoliW(a) >= 749:
        return op_nCcCUYjEFk(op_brNcoZndvY(op_rDggvnkF54(b,85),op_1RKnjyXON0(b)),op_xc52gjKyDD(op_2DQ55sFlQl(b,b),op_zjpztV9BY4(b,165)))
    else:
        return op_K6AsHvFZGJ(op_PblpGk9Zbg(op_RdYriX7qu7(b,b),op_3dhzKXxroQ(a,a)),op_u7GmA9CWxF(op_fEBtCrdb6d(115,a)))

def op_count_M9TrR1UQKU(a, b):
    if op_AH8QAgoliW(a) >= 749:
        count = op_count_rDggvnkF54(b,85)+op_count_1RKnjyXON0(b)+op_count_brNcoZndvY(op_rDggvnkF54(b,85),op_1RKnjyXON0(b))+op_count_2DQ55sFlQl(b,b)+op_count_zjpztV9BY4(b,165)+op_count_xc52gjKyDD(op_2DQ55sFlQl(b,b),op_zjpztV9BY4(b,165))+op_count_nCcCUYjEFk(op_brNcoZndvY(op_rDggvnkF54(b,85),op_1RKnjyXON0(b)),op_xc52gjKyDD(op_2DQ55sFlQl(b,b),op_zjpztV9BY4(b,165)))+op_count_AH8QAgoliW(a)
    else:
        count = op_count_RdYriX7qu7(b,b)+op_count_3dhzKXxroQ(a,a)+op_count_PblpGk9Zbg(op_RdYriX7qu7(b,b),op_3dhzKXxroQ(a,a))+op_count_fEBtCrdb6d(115,a)+op_count_u7GmA9CWxF(op_fEBtCrdb6d(115,a))+op_count_K6AsHvFZGJ(op_PblpGk9Zbg(op_RdYriX7qu7(b,b),op_3dhzKXxroQ(a,a)),op_u7GmA9CWxF(op_fEBtCrdb6d(115,a)))
    return count


def op_cjPwbkqBAt(a):
    return op_vXNesLlMH1(a,9)

def op_count_cjPwbkqBAt(a):
    count = op_count_vXNesLlMH1(a,9)
    return count


def op_Ct81DHBxx8(a, b):
    return op_KfoJTsIyUZ(op_S3tN1ZzpSt(op_HWsfkPJiI1(a),op_NIS2NZpoyR(b,a)),30)

def op_count_Ct81DHBxx8(a, b):
    count = op_count_HWsfkPJiI1(a)+op_count_NIS2NZpoyR(b,a)+op_count_S3tN1ZzpSt(op_HWsfkPJiI1(a),op_NIS2NZpoyR(b,a))+op_count_KfoJTsIyUZ(op_S3tN1ZzpSt(op_HWsfkPJiI1(a),op_NIS2NZpoyR(b,a)),30)
    return count


a⇀⩭⇶b = { (((a≇⨤⊇308)⫎⊬⇪(527⊫∞))≿⋟((b⇷≓⊞66)⋟⨮↥(b⨸⫱a))) }

def op_YPS3DtQit9(a, b):
    return op_m3dsOCKiQC(op_l0bZvDjuWY(op_nLhlVZSGl1(a,308),op_pABnYW3G3E(527)),op_uQsO4UtjI0(op_JsyojuCCcz(b,66),op_JpNCwVdTNT(b,a)))

def op_count_YPS3DtQit9(a, b):
    count = op_count_nLhlVZSGl1(a,308)+op_count_pABnYW3G3E(527)+op_count_l0bZvDjuWY(op_nLhlVZSGl1(a,308),op_pABnYW3G3E(527))+op_count_JsyojuCCcz(b,66)+op_count_JpNCwVdTNT(b,a)+op_count_uQsO4UtjI0(op_JsyojuCCcz(b,66),op_JpNCwVdTNT(b,a))+op_count_m3dsOCKiQC(op_l0bZvDjuWY(op_nLhlVZSGl1(a,308),op_pABnYW3G3E(527)),op_uQsO4UtjI0(op_JsyojuCCcz(b,66),op_JpNCwVdTNT(b,a)))
    return count


a≯⨟b = { (⫼⩉⇠b) , if a==313 ; (a⊀⩕) , else }

def op_8gXstNWuo7(a, b):
    if a == 313:
        return op_khvmGcbxAf(b)
    else:
        return op_r0FS3hW4cC(a)

def op_count_8gXstNWuo7(a, b):
    if a == 313:
        count = op_count_khvmGcbxAf(b)
    else:
        count = op_count_r0FS3hW4cC(a)
    return count


≷⫳⇌a = { a , if (a↷⩛⫁)==5 ; (⪠a) , else }

def op_F1b9itcxNQ(a):
    if op_BD43NodvV7(a) == 5:
        return a
    else:
        return op_RKeiQKbkFn(a)

def op_count_F1b9itcxNQ(a):
    if op_BD43NodvV7(a) == 5:
        count = 1
    else:
        count = op_count_RKeiQKbkFn(a)
    return count


def op_c1imIn2ZZ8(a):
    return op_kMgNLpsPAE(a,a)

def op_count_c1imIn2ZZ8(a):
    count = op_count_kMgNLpsPAE(a,a)
    return count


a⪤⨸b = { (a⋈⩀∌) , if (⋟⇐b)>=258 ; (91⋣⋖b) , else }

def op_wTjZLSwf2H(a, b):
    if op_RHudOG0WXe(b) >= 258:
        return op_zCxnRxPC5M(a)
    else:
        return op_J0M6qkBnIM(91,b)

def op_count_wTjZLSwf2H(a, b):
    if op_RHudOG0WXe(b) >= 258:
        count = op_count_zCxnRxPC5M(a)+op_count_RHudOG0WXe(b)
    else:
        count = op_count_J0M6qkBnIM(91,b)
    return count


a⊁⊁⨜ = { ((a⫥∨⫟a)⩧⨕(a⫝⩹⇓a)) , if (⪭⩑⪱a)<=15 ; ((a⪙⇔a)⇪⋞(≙↧a)) , else }

def op_sIPNUl7q6O(a):
    if op_SIgE0bArFf(a) <= 15:
        return op_Ytqyqjc8hL(op_KYD54nUTWz(a,a),op_QzAQJESKqZ(a,a))
    else:
        return op_XFtV96IEKB(op_HtfiQVUMWI(a,a),op_slHE12z0pD(a))

def op_count_sIPNUl7q6O(a):
    if op_SIgE0bArFf(a) <= 15:
        count = op_count_KYD54nUTWz(a,a)+op_count_QzAQJESKqZ(a,a)+op_count_Ytqyqjc8hL(op_KYD54nUTWz(a,a),op_QzAQJESKqZ(a,a))+op_count_SIgE0bArFf(a)
    else:
        count = op_count_HtfiQVUMWI(a,a)+op_count_slHE12z0pD(a)+op_count_XFtV96IEKB(op_HtfiQVUMWI(a,a),op_slHE12z0pD(a))
    return count


⪅⨉⊞a = { ((a⋳⊳⋻(a⫼⇷a))⫺⊿↻((a⨯⪷⊾75)∩⩷(⨴⫝a))) }

def op_4nFBbrNXCY(a):
    return op_02xnuIEL7W(op_AUjZzCncoP(a,op_W5FaPSP1ue(a,a)),op_LcYGXG2KuG(op_4pxXWnDKiI(a,75),op_SVb2v531z1(a)))

def op_count_4nFBbrNXCY(a):
    count = op_count_W5FaPSP1ue(a,a)+op_count_AUjZzCncoP(a,op_W5FaPSP1ue(a,a))+op_count_4pxXWnDKiI(a,75)+op_count_SVb2v531z1(a)+op_count_LcYGXG2KuG(op_4pxXWnDKiI(a,75),op_SVb2v531z1(a))+op_count_02xnuIEL7W(op_AUjZzCncoP(a,op_W5FaPSP1ue(a,a)),op_LcYGXG2KuG(op_4pxXWnDKiI(a,75),op_SVb2v531z1(a)))
    return count


def op_eAbZyXLgE6(a, b):
    if a >= 518 and op_eWtgzN4EAB(a,981) >= 28:
        return op_EccndXHfjJ(op_VstVOOoFda(op_A1Qy3JNBX5(b,b),op_XKadCV7SnD(628,421)))
    else:
        return op_jln2xDVLTl(op_qtCLXwJ9kz(op_vXNesLlMH1(a,b)),op_18saOjeKKm(op_l1vNuOfFQe(b)))

def op_count_eAbZyXLgE6(a, b):
    if a >= 518 and op_eWtgzN4EAB(a,981) >= 28:
        count = op_count_A1Qy3JNBX5(b,b)+op_count_XKadCV7SnD(628,421)+op_count_VstVOOoFda(op_A1Qy3JNBX5(b,b),op_XKadCV7SnD(628,421))+op_count_EccndXHfjJ(op_VstVOOoFda(op_A1Qy3JNBX5(b,b),op_XKadCV7SnD(628,421)))+op_count_eWtgzN4EAB(a,981)
    else:
        count = op_count_vXNesLlMH1(a,b)+op_count_qtCLXwJ9kz(op_vXNesLlMH1(a,b))+op_count_l1vNuOfFQe(b)+op_count_18saOjeKKm(op_l1vNuOfFQe(b))+op_count_jln2xDVLTl(op_qtCLXwJ9kz(op_vXNesLlMH1(a,b)),op_18saOjeKKm(op_l1vNuOfFQe(b)))
    return count


a≚≂ = { (⫔⩠⩅a) , if (a⇭⨛)<201 ; (a↚) , else }

def op_MgruMXZIMT(a):
    if op_3O44ngoEp5(a) < 201:
        return op_Yrb6ZMzTIl(a)
    else:
        return op_FpZEcu9gEh(a)

def op_count_MgruMXZIMT(a):
    if op_3O44ngoEp5(a) < 201:
        count = op_count_Yrb6ZMzTIl(a)+op_count_3O44ngoEp5(a)
    else:
        count = op_count_FpZEcu9gEh(a)
    return count


a⋃≣⪾b = { (((a⪝⇬b)↾∥⪚(b⇩⩌a))⩗∓⫀((⪶a)⨿(a∤⩃b))) , if (b≘⨶)!=290 and (↵≷⇎a)>3 ; (((b∛∙387)⫦⪉(↞⋲b))⋼∇∷((⨎⇜⨧a)⋫⇱)) , else }

def op_d9D0E6RNNu(a, b):
    if op_aOI3TlLUAE(b) != 290 and op_Riyh7rtXnH(a) > 3:
        return op_F2taXPkQ1B(op_QyT1usQeR4(op_gd1IBU5Lw6(a,b),op_WtSaZj39hj(b,a)),op_abYXlopdE0(op_zBtHAxlVCP(a),op_kltGiwuiXL(a,b)))
    else:
        return op_gj2K54ysNi(op_wscyQdcy20(op_kpf4jZBDQQ(b,387),op_BL0Zy5sOTh(b)),op_lxmaenj6DJ(op_kPYGJtKGvU(a)))

def op_count_d9D0E6RNNu(a, b):
    if op_aOI3TlLUAE(b) != 290 and op_Riyh7rtXnH(a) > 3:
        count = op_count_gd1IBU5Lw6(a,b)+op_count_WtSaZj39hj(b,a)+op_count_QyT1usQeR4(op_gd1IBU5Lw6(a,b),op_WtSaZj39hj(b,a))+op_count_zBtHAxlVCP(a)+op_count_kltGiwuiXL(a,b)+op_count_abYXlopdE0(op_zBtHAxlVCP(a),op_kltGiwuiXL(a,b))+op_count_F2taXPkQ1B(op_QyT1usQeR4(op_gd1IBU5Lw6(a,b),op_WtSaZj39hj(b,a)),op_abYXlopdE0(op_zBtHAxlVCP(a),op_kltGiwuiXL(a,b)))+op_count_aOI3TlLUAE(b)+op_count_Riyh7rtXnH(a)
    else:
        count = op_count_kpf4jZBDQQ(b,387)+op_count_BL0Zy5sOTh(b)+op_count_wscyQdcy20(op_kpf4jZBDQQ(b,387),op_BL0Zy5sOTh(b))+op_count_kPYGJtKGvU(a)+op_count_lxmaenj6DJ(op_kPYGJtKGvU(a))+op_count_gj2K54ysNi(op_wscyQdcy20(op_kpf4jZBDQQ(b,387),op_BL0Zy5sOTh(b)),op_lxmaenj6DJ(op_kPYGJtKGvU(a)))
    return count


def op_VwMZrBE6OG(a):
    return op_06kynYd13h(op_5RUBFCLEuU(op_H9RETCE9fR(a)))

def op_count_VwMZrBE6OG(a):
    count = op_count_H9RETCE9fR(a)+op_count_5RUBFCLEuU(op_H9RETCE9fR(a))+op_count_06kynYd13h(op_5RUBFCLEuU(op_H9RETCE9fR(a)))
    return count


a⊶⊸⇚ = { ((a⫡127)∘⋙(a≮⋹⨆a)) , if (a⋐⪋738)==387 or a<84 ; ((a∝⊥)⫗⊒⇾(↑⪩⪝a)) , else }

def op_NlfmuMfxeJ(a):
    if op_lDk9nVpGHI(a,738) == 387 or a < 84:
        return op_tLbWsX1p1l(op_r42jg1nETI(a,127),op_2l1b9il9K5(a,a))
    else:
        return op_hiBDRd40bf(op_yS6aSylXcn(a),op_N7lmHkEKsR(a))

def op_count_NlfmuMfxeJ(a):
    if op_lDk9nVpGHI(a,738) == 387 or a < 84:
        count = op_count_r42jg1nETI(a,127)+op_count_2l1b9il9K5(a,a)+op_count_tLbWsX1p1l(op_r42jg1nETI(a,127),op_2l1b9il9K5(a,a))+op_count_lDk9nVpGHI(a,738)
    else:
        count = op_count_yS6aSylXcn(a)+op_count_N7lmHkEKsR(a)+op_count_hiBDRd40bf(op_yS6aSylXcn(a),op_N7lmHkEKsR(a))
    return count


a⫥⨲b = { ((≨≸⪃(a⨺⩶a))≧⨣b) , if (⋙⫃⫩a)<275 ; (((a⇿⋘⫿b)⪿(a≲⋵≐a))⪱↫((↣≠⋷b)≶⩢↻(156⩮⫯a))) , else }

def op_OMFUGtumaF(a, b):
    if op_23RZ8Drpas(a) < 275:
        return op_Z36JYzhjcK(op_cTbZ3MnyPQ(op_qCCe0Qx1RA(a,a)),b)
    else:
        return op_ZIsvYUQ4QW(op_lLg6KFppdz(op_3pxRWyOFEM(a,b),op_MtQfxjaHiP(a,a)),op_FivK695Inb(op_Asc51vEJeQ(b),op_mHjHiGkaKy(156,a)))

def op_count_OMFUGtumaF(a, b):
    if op_23RZ8Drpas(a) < 275:
        count = op_count_qCCe0Qx1RA(a,a)+op_count_cTbZ3MnyPQ(op_qCCe0Qx1RA(a,a))+op_count_Z36JYzhjcK(op_cTbZ3MnyPQ(op_qCCe0Qx1RA(a,a)),b)+op_count_23RZ8Drpas(a)
    else:
        count = op_count_3pxRWyOFEM(a,b)+op_count_MtQfxjaHiP(a,a)+op_count_lLg6KFppdz(op_3pxRWyOFEM(a,b),op_MtQfxjaHiP(a,a))+op_count_Asc51vEJeQ(b)+op_count_mHjHiGkaKy(156,a)+op_count_FivK695Inb(op_Asc51vEJeQ(b),op_mHjHiGkaKy(156,a))+op_count_ZIsvYUQ4QW(op_lLg6KFppdz(op_3pxRWyOFEM(a,b),op_MtQfxjaHiP(a,a)),op_FivK695Inb(op_Asc51vEJeQ(b),op_mHjHiGkaKy(156,a)))
    return count


a⇢⇴b = { (/⩁⫠(291⩘⨹⊿(b⪻⫆⨅))) , if (a⫆)!=639 ; ((≙↧(⪔≽b))⋑≓−) , else }

def op_LdXn1trmiT(a, b):
    if op_cGHQRUc1Fx(a) != 639:
        return op_rlgYWsFeVn(op_3ldUWfsXlD(291,op_gLvFK8qJGt(b)))
    else:
        return op_KC1PMIWjVu(op_slHE12z0pD(op_7xY59dLUJT(b)))

def op_count_LdXn1trmiT(a, b):
    if op_cGHQRUc1Fx(a) != 639:
        count = op_count_gLvFK8qJGt(b)+op_count_3ldUWfsXlD(291,op_gLvFK8qJGt(b))+op_count_rlgYWsFeVn(op_3ldUWfsXlD(291,op_gLvFK8qJGt(b)))+op_count_cGHQRUc1Fx(a)
    else:
        count = op_count_7xY59dLUJT(b)+op_count_slHE12z0pD(op_7xY59dLUJT(b))+op_count_KC1PMIWjVu(op_slHE12z0pD(op_7xY59dLUJT(b)))
    return count


a⇼∌b = { (a⨭a) , if b>=738 ; (b⇊⋼⫧211) , else }

def op_kHNWnkXV1o(a, b):
    if b >= 738:
        return op_1ABctC9S11(a,a)
    else:
        return op_tUOKwCw09Q(b,211)

def op_count_kHNWnkXV1o(a, b):
    if b >= 738:
        count = op_count_1ABctC9S11(a,a)
    else:
        count = op_count_tUOKwCw09Q(b,211)
    return count


⊚⊜⪸a = { (((a↶⊆⩋33)⇌⫙⪟(a⩮≏⫤430))⇭⩛((a⇀∌)⩼⫦⨐a)) }

def op_WYLHRC3umX(a):
    return op_i7brRvs2Zr(op_AFVx7xoS7T(op_chVjXdrG4d(a,33),op_fRd8cuFkMc(a,430)),op_i5RbA8eqaO(op_2k53nXOpI5(a),a))

def op_count_WYLHRC3umX(a):
    count = op_count_chVjXdrG4d(a,33)+op_count_fRd8cuFkMc(a,430)+op_count_AFVx7xoS7T(op_chVjXdrG4d(a,33),op_fRd8cuFkMc(a,430))+op_count_2k53nXOpI5(a)+op_count_i5RbA8eqaO(op_2k53nXOpI5(a),a)+op_count_i7brRvs2Zr(op_AFVx7xoS7T(op_chVjXdrG4d(a,33),op_fRd8cuFkMc(a,430)),op_i5RbA8eqaO(op_2k53nXOpI5(a),a))
    return count


def op_d0chmTdrP1(a):
    return op_FtzCMUsONU(op_r2SrZsyW6O(op_uunWhy7tae(a),a),a)

def op_count_d0chmTdrP1(a):
    count = op_count_uunWhy7tae(a)+op_count_r2SrZsyW6O(op_uunWhy7tae(a),a)+op_count_FtzCMUsONU(op_r2SrZsyW6O(op_uunWhy7tae(a),a),a)
    return count


def op_3QZCh1gh4C(a, b):
    return op_k8QYoddjpG(op_oCumtb3mAM(b,a))

def op_count_3QZCh1gh4C(a, b):
    count = op_count_oCumtb3mAM(b,a)+op_count_k8QYoddjpG(op_oCumtb3mAM(b,a))
    return count


def op_6myVUs7aaI(a, b):
    return op_YYmmGX8gEu(op_qtJLMuGoc3(146),op_NRyasOrsb7(op_i8ToyICDmI(b,a),23))

def op_count_6myVUs7aaI(a, b):
    count = op_count_qtJLMuGoc3(146)+op_count_i8ToyICDmI(b,a)+op_count_NRyasOrsb7(op_i8ToyICDmI(b,a),23)+op_count_YYmmGX8gEu(op_qtJLMuGoc3(146),op_NRyasOrsb7(op_i8ToyICDmI(b,a),23))
    return count


a≃⊏⇊ = { (((1⨭a)⪖⇲⪣)⨡⨢((a≯≲⫧a)∛⇘(⩤⊕∪44))) , if (a⩍∍⪤746)!=99 ; (((↶263)⊠≌(65⪃⪃⇂a))⊞⊼(⩊⋗∋(a∌⋯a))) , else }

def op_5gLFQQTeld(a):
    if op_pevpteaPmM(a,746) != 99:
        return op_2uSCGYIjKJ(op_zOrdhqsGhh(op_1ABctC9S11(1,a)),op_m5a1S9LJYP(op_qhwfmwp1fI(a,a),op_gfvVrh7EOO(44)))
    else:
        return op_zVc77mVpRV(op_CMed2nD9yG(op_TucRNWL6Pw(263),op_OBprRxo8oX(65,a)),op_HcpSfZGHXr(op_8lBC7wqBde(a,a)))

def op_count_5gLFQQTeld(a):
    if op_pevpteaPmM(a,746) != 99:
        count = op_count_1ABctC9S11(1,a)+op_count_zOrdhqsGhh(op_1ABctC9S11(1,a))+op_count_qhwfmwp1fI(a,a)+op_count_gfvVrh7EOO(44)+op_count_m5a1S9LJYP(op_qhwfmwp1fI(a,a),op_gfvVrh7EOO(44))+op_count_2uSCGYIjKJ(op_zOrdhqsGhh(op_1ABctC9S11(1,a)),op_m5a1S9LJYP(op_qhwfmwp1fI(a,a),op_gfvVrh7EOO(44)))+op_count_pevpteaPmM(a,746)
    else:
        count = op_count_TucRNWL6Pw(263)+op_count_OBprRxo8oX(65,a)+op_count_CMed2nD9yG(op_TucRNWL6Pw(263),op_OBprRxo8oX(65,a))+op_count_8lBC7wqBde(a,a)+op_count_HcpSfZGHXr(op_8lBC7wqBde(a,a))+op_count_zVc77mVpRV(op_CMed2nD9yG(op_TucRNWL6Pw(263),op_OBprRxo8oX(65,a)),op_HcpSfZGHXr(op_8lBC7wqBde(a,a)))
    return count


def op_PseBgVJPx2(a):
    return op_J0M6qkBnIM(op_QstX2XvNns(a,a),op_SYQDw94fy9(a,68))

def op_count_PseBgVJPx2(a):
    count = op_count_QstX2XvNns(a,a)+op_count_SYQDw94fy9(a,68)+op_count_J0M6qkBnIM(op_QstX2XvNns(a,a),op_SYQDw94fy9(a,68))
    return count


a⋦⫿≰b = { ((124⪒⊣⊆b)⋕⊸⩖(b⩗⇿a)) , if (a⊻⨮)>=268 and a>=17 ; ((15⊓≸393)⪵⩧⪨(a⇀∌)) , else }

def op_XCzpQhBAQ5(a, b):
    if op_rG56MjzCQb(a) >= 268 and a >= 17:
        return op_cJkzRF2TBs(op_eRqsBgTDFp(124,b),op_tKtycZyL6s(b,a))
    else:
        return op_0QEWQRhRpH(op_W9l7OelwO5(15,393),op_2k53nXOpI5(a))

def op_count_XCzpQhBAQ5(a, b):
    if op_rG56MjzCQb(a) >= 268 and a >= 17:
        count = op_count_eRqsBgTDFp(124,b)+op_count_tKtycZyL6s(b,a)+op_count_cJkzRF2TBs(op_eRqsBgTDFp(124,b),op_tKtycZyL6s(b,a))+op_count_rG56MjzCQb(a)
    else:
        count = op_count_W9l7OelwO5(15,393)+op_count_2k53nXOpI5(a)+op_count_0QEWQRhRpH(op_W9l7OelwO5(15,393),op_2k53nXOpI5(a))
    return count


a⇱⊆ = { a , if a>283 ; (349↷≪⋜a) , else }

def op_pADPBvBK5O(a):
    if a > 283:
        return a
    else:
        return op_1j1KpI9WdF(349,a)

def op_count_pADPBvBK5O(a):
    if a > 283:
        count = 1
    else:
        count = op_count_1j1KpI9WdF(349,a)
    return count


a→⋘⋨b = { (b⇡≹b) , if (⇩⊢⩦a)<=162 or a>14 or (b↪⨬↱)<=36 ; (⇺⋃a) , else }

def op_BWat5gdpof(a, b):
    if op_JbBTMDmgJL(a) <= 162 or a > 14 or op_9HBWIydjSK(b) <= 36:
        return op_cnKzxr1wWw(b,b)
    else:
        return op_E5v5B3UAjG(a)

def op_count_BWat5gdpof(a, b):
    if op_JbBTMDmgJL(a) <= 162 or a > 14 or op_9HBWIydjSK(b) <= 36:
        count = op_count_cnKzxr1wWw(b,b)+op_count_JbBTMDmgJL(a)+op_count_9HBWIydjSK(b)
    else:
        count = op_count_E5v5B3UAjG(a)
    return count


def op_Ph0JSxtvsM(a):
    return op_2IFpBACqy9(op_k1SHOSEABc(op_C7qQ2FzY6w(a),op_ZMmbXOLbMt(a)))

def op_count_Ph0JSxtvsM(a):
    count = op_count_C7qQ2FzY6w(a)+op_count_ZMmbXOLbMt(a)+op_count_k1SHOSEABc(op_C7qQ2FzY6w(a),op_ZMmbXOLbMt(a))+op_count_2IFpBACqy9(op_k1SHOSEABc(op_C7qQ2FzY6w(a),op_ZMmbXOLbMt(a)))
    return count


def op_tpyYqkLPmY(a):
    return op_q5ANYLE8fX(op_IXvHsQHZJE(232,a))

def op_count_tpyYqkLPmY(a):
    count = op_count_IXvHsQHZJE(232,a)+op_count_q5ANYLE8fX(op_IXvHsQHZJE(232,a))
    return count


def op_svP7HEWhmT(a, b):
    return op_l8UfvtpCFJ(op_HDwVj9x3oe(op_O26jwKggyC(a,a),op_PyySExtkRS(a,b)))

def op_count_svP7HEWhmT(a, b):
    count = op_count_O26jwKggyC(a,a)+op_count_PyySExtkRS(a,b)+op_count_HDwVj9x3oe(op_O26jwKggyC(a,a),op_PyySExtkRS(a,b))+op_count_l8UfvtpCFJ(op_HDwVj9x3oe(op_O26jwKggyC(a,a),op_PyySExtkRS(a,b)))
    return count


def op_y7F763vKkd(a):
    return op_tXD093vOjl(a,a)

def op_count_y7F763vKkd(a):
    count = op_count_tXD093vOjl(a,a)
    return count


a⪣⫶⪍b = { (⪲⊾b) , if (b⫨⩲71)<240 ; (a∫∘⫔173) , else }

def op_rGHR47Yhn1(a, b):
    if op_R2HynRqwTS(b,71) < 240:
        return op_L07OSbUHmY(b)
    else:
        return op_3TJII8pRfQ(a,173)

def op_count_rGHR47Yhn1(a, b):
    if op_R2HynRqwTS(b,71) < 240:
        count = op_count_L07OSbUHmY(b)+op_count_R2HynRqwTS(b,71)
    else:
        count = op_count_3TJII8pRfQ(a,173)
    return count


def op_jEEMcCqYJw(a):
    return op_eaT0FLINi9(op_CbMqwDqKLa(a),op_rGHVDoGpnC(op_vg7TviSPDE(155,a),op_zBeky0p6hI(2)))

def op_count_jEEMcCqYJw(a):
    count = op_count_CbMqwDqKLa(a)+op_count_vg7TviSPDE(155,a)+op_count_zBeky0p6hI(2)+op_count_rGHVDoGpnC(op_vg7TviSPDE(155,a),op_zBeky0p6hI(2))+op_count_eaT0FLINi9(op_CbMqwDqKLa(a),op_rGHVDoGpnC(op_vg7TviSPDE(155,a),op_zBeky0p6hI(2)))
    return count


def op_dFMEQxFrKv(a):
    return op_EIdmTB6ive(844,a)

def op_count_dFMEQxFrKv(a):
    count = op_count_EIdmTB6ive(844,a)
    return count


def op_QLxErF9cq3(a):
    if op_Rbawt6nfR7(a,382) > 55:
        return op_gjiB2nRvj7(391,a)
    else:
        return op_NIS2NZpoyR(a,a)

def op_count_QLxErF9cq3(a):
    if op_Rbawt6nfR7(a,382) > 55:
        count = op_count_gjiB2nRvj7(391,a)+op_count_Rbawt6nfR7(a,382)
    else:
        count = op_count_NIS2NZpoyR(a,a)
    return count


a≸⫫b = { ((↕a)⇒(∞⨈⩂a)) , if a>=98 and (b⊾⫳473)!=411 ; (⫂⩂≷(a≝⊰⇂)) , else }

def op_os34lzdRlP(a, b):
    if a >= 98 and op_1uctxu2Xjm(b,473) != 411:
        return op_NCFrRDpG8J(op_EfmNmIJYrc(a),op_B9xYyIfem5(a))
    else:
        return op_a0FLuQwI5A(op_htSmYCowi5(a))

def op_count_os34lzdRlP(a, b):
    if a >= 98 and op_1uctxu2Xjm(b,473) != 411:
        count = op_count_EfmNmIJYrc(a)+op_count_B9xYyIfem5(a)+op_count_NCFrRDpG8J(op_EfmNmIJYrc(a),op_B9xYyIfem5(a))+op_count_1uctxu2Xjm(b,473)
    else:
        count = op_count_htSmYCowi5(a)+op_count_a0FLuQwI5A(op_htSmYCowi5(a))
    return count


def op_p5VPjCni8f(a):
    return op_0ftGoQG529(op_MGbPxTAMI3(op_J0M6qkBnIM(98,a),op_aRomWCf35x(a)),a)

def op_count_p5VPjCni8f(a):
    count = op_count_J0M6qkBnIM(98,a)+op_count_aRomWCf35x(a)+op_count_MGbPxTAMI3(op_J0M6qkBnIM(98,a),op_aRomWCf35x(a))+op_count_0ftGoQG529(op_MGbPxTAMI3(op_J0M6qkBnIM(98,a),op_aRomWCf35x(a)),a)
    return count


a⫿⇈ = { ((a⨟⋌⩍a)⫃⋲) , if (a⨠⇲)<178 ; ((82∝≗a)⊣) , else }

def op_IsLWmnhWj9(a):
    if op_YNLX1V1NcH(a) < 178:
        return op_R1Mr340Wyc(op_rGHVDoGpnC(a,a))
    else:
        return op_sCuAmwvnJW(op_bQy7iKdSPD(82,a))

def op_count_IsLWmnhWj9(a):
    if op_YNLX1V1NcH(a) < 178:
        count = op_count_rGHVDoGpnC(a,a)+op_count_R1Mr340Wyc(op_rGHVDoGpnC(a,a))+op_count_YNLX1V1NcH(a)
    else:
        count = op_count_bQy7iKdSPD(82,a)+op_count_sCuAmwvnJW(op_bQy7iKdSPD(82,a))
    return count


a⩠⊈↲ = { (((a⇨⪃⋨a)⋋(23∢⋺a))⊫⊐⋞(⫻↝(a⨼⩣413))) }

def op_MChaGtIkA4(a):
    return op_IYFFTOGOwC(op_zjtvyRDnKl(op_7JOOl3WMOF(a,a),op_s1PTdQKy4P(23,a)),op_6wsEJg4lyh(op_JxwMv5le6e(a,413)))

def op_count_MChaGtIkA4(a):
    count = op_count_7JOOl3WMOF(a,a)+op_count_s1PTdQKy4P(23,a)+op_count_zjtvyRDnKl(op_7JOOl3WMOF(a,a),op_s1PTdQKy4P(23,a))+op_count_JxwMv5le6e(a,413)+op_count_6wsEJg4lyh(op_JxwMv5le6e(a,413))+op_count_IYFFTOGOwC(op_zjtvyRDnKl(op_7JOOl3WMOF(a,a),op_s1PTdQKy4P(23,a)),op_6wsEJg4lyh(op_JxwMv5le6e(a,413)))
    return count


def op_XAOaFJJjEh(a, b):
    if op_3On8Mq6EYF(b,896) >= 22:
        return op_7Qh4uK5oHN(op_l8UfvtpCFJ(796),op_xBbleKmA1B(a))
    else:
        return op_0ftGoQG529(op_NsGlVlbNoR(a,b),op_xRCgHJduM4(9,396))

def op_count_XAOaFJJjEh(a, b):
    if op_3On8Mq6EYF(b,896) >= 22:
        count = op_count_l8UfvtpCFJ(796)+op_count_xBbleKmA1B(a)+op_count_7Qh4uK5oHN(op_l8UfvtpCFJ(796),op_xBbleKmA1B(a))+op_count_3On8Mq6EYF(b,896)
    else:
        count = op_count_NsGlVlbNoR(a,b)+op_count_xRCgHJduM4(9,396)+op_count_0ftGoQG529(op_NsGlVlbNoR(a,b),op_xRCgHJduM4(9,396))
    return count


a⫱⨮b = { (120⇴∐a) , if ((⊬↢a)<2 or b==25) ; (b≌↢a) , else }

def op_RWdP9IP8gk(a, b):
    if (op_WPoGxAaPR1(a) < 2 or b == 25):
        return op_HnzytWxmAO(120,a)
    else:
        return op_pOgAOnktfS(b,a)

def op_count_RWdP9IP8gk(a, b):
    if (op_WPoGxAaPR1(a) < 2 or b == 25):
        count = op_count_HnzytWxmAO(120,a)+op_count_WPoGxAaPR1(a)
    else:
        count = op_count_pOgAOnktfS(b,a)
    return count


⋒⩠a = { (⊂a) , if (a∁⋞29)==87 ; (a∯⪋⊬a) , else }

def op_nIA866gMUa(a):
    if op_SRbuzIgMWI(a,29) == 87:
        return op_PDrNSJDGFK(a)
    else:
        return op_g3XCkDyza1(a,a)

def op_count_nIA866gMUa(a):
    if op_SRbuzIgMWI(a,29) == 87:
        count = op_count_PDrNSJDGFK(a)+op_count_SRbuzIgMWI(a,29)
    else:
        count = op_count_g3XCkDyza1(a,a)
    return count


def op_bjs6apDnfR(a):
    return op_IqGBaFP0uj(op_uc8QQvMjnT(op_w6vKuAWEt9(a),a))

def op_count_bjs6apDnfR(a):
    count = op_count_w6vKuAWEt9(a)+op_count_uc8QQvMjnT(op_w6vKuAWEt9(a),a)+op_count_IqGBaFP0uj(op_uc8QQvMjnT(op_w6vKuAWEt9(a),a))
    return count


def op_vDbgfNrxyX(a):
    if a != 112:
        return op_6KydlnE2RL(op_leeyKC4ZFN(op_filt7N8toe(a),op_vg4gO5BX6G(a,a)))
    else:
        return op_8kNFaiJNnI(op_15x3VrOvJJ(op_xUx7qlDO4z(33),op_O4ICsYZwU0(137,a)))

def op_count_vDbgfNrxyX(a):
    if a != 112:
        count = op_count_filt7N8toe(a)+op_count_vg4gO5BX6G(a,a)+op_count_leeyKC4ZFN(op_filt7N8toe(a),op_vg4gO5BX6G(a,a))+op_count_6KydlnE2RL(op_leeyKC4ZFN(op_filt7N8toe(a),op_vg4gO5BX6G(a,a)))
    else:
        count = op_count_xUx7qlDO4z(33)+op_count_O4ICsYZwU0(137,a)+op_count_15x3VrOvJJ(op_xUx7qlDO4z(33),op_O4ICsYZwU0(137,a))+op_count_8kNFaiJNnI(op_15x3VrOvJJ(op_xUx7qlDO4z(33),op_O4ICsYZwU0(137,a)))
    return count


a⩡⋝⫬b = { ((⋮↴⨭(a⇧⇶719))⩶⊱(∘⪤⨱(a⫁a))) , if (b≫⩳504)==333 ; (((a⊱↕⊥b)⊹∫⫚(b⫁179))⇼⋠) , else }

def op_ziWtPyBhwr(a, b):
    if op_XH94E1aXt9(b,504) == 333:
        return op_blCx0AD3sY(op_ZqqqB7SzF3(op_bI8wFiTsE3(a,719)),op_2qErdGqAEf(op_0ajvFaJAv0(a,a)))
    else:
        return op_Lcj8otdlvG(op_uWAJUKEvyW(op_cqlfqPYv00(a,b),op_0ajvFaJAv0(b,179)))

def op_count_ziWtPyBhwr(a, b):
    if op_XH94E1aXt9(b,504) == 333:
        count = op_count_bI8wFiTsE3(a,719)+op_count_ZqqqB7SzF3(op_bI8wFiTsE3(a,719))+op_count_0ajvFaJAv0(a,a)+op_count_2qErdGqAEf(op_0ajvFaJAv0(a,a))+op_count_blCx0AD3sY(op_ZqqqB7SzF3(op_bI8wFiTsE3(a,719)),op_2qErdGqAEf(op_0ajvFaJAv0(a,a)))+op_count_XH94E1aXt9(b,504)
    else:
        count = op_count_cqlfqPYv00(a,b)+op_count_0ajvFaJAv0(b,179)+op_count_uWAJUKEvyW(op_cqlfqPYv00(a,b),op_0ajvFaJAv0(b,179))+op_count_Lcj8otdlvG(op_uWAJUKEvyW(op_cqlfqPYv00(a,b),op_0ajvFaJAv0(b,179)))
    return count


def op_KsVe8WUwtp(a):
    return op_TFdbvXreUq(op_7vLe0YQdZ4(op_VihDLWnWqA(461,a)),op_EIdmTB6ive(op_DN0PLaXpeG(a,64),op_mFCgDW3omv(a)))

def op_count_KsVe8WUwtp(a):
    count = op_count_VihDLWnWqA(461,a)+op_count_7vLe0YQdZ4(op_VihDLWnWqA(461,a))+op_count_DN0PLaXpeG(a,64)+op_count_mFCgDW3omv(a)+op_count_EIdmTB6ive(op_DN0PLaXpeG(a,64),op_mFCgDW3omv(a))+op_count_TFdbvXreUq(op_7vLe0YQdZ4(op_VihDLWnWqA(461,a)),op_EIdmTB6ive(op_DN0PLaXpeG(a,64),op_mFCgDW3omv(a)))
    return count


def op_DhC4EHeAiO(a):
    if op_ad4JNLnqE5(a,917) >= 273 and op_QJcynLHPqw(a) >= 150:
        return op_B8FmB0RXNF(op_cdLdONPVMp(op_zxbqsjVkt1(a),op_BdR7xPHmXT(a,109)),op_6Ko8hGgeMq(op_5hXIoSHgw9(a,a),op_rBix6azao7(a,a)))
    else:
        return a

def op_count_DhC4EHeAiO(a):
    if op_ad4JNLnqE5(a,917) >= 273 and op_QJcynLHPqw(a) >= 150:
        count = op_count_zxbqsjVkt1(a)+op_count_BdR7xPHmXT(a,109)+op_count_cdLdONPVMp(op_zxbqsjVkt1(a),op_BdR7xPHmXT(a,109))+op_count_5hXIoSHgw9(a,a)+op_count_rBix6azao7(a,a)+op_count_6Ko8hGgeMq(op_5hXIoSHgw9(a,a),op_rBix6azao7(a,a))+op_count_B8FmB0RXNF(op_cdLdONPVMp(op_zxbqsjVkt1(a),op_BdR7xPHmXT(a,109)),op_6Ko8hGgeMq(op_5hXIoSHgw9(a,a),op_rBix6azao7(a,a)))+op_count_ad4JNLnqE5(a,917)+op_count_QJcynLHPqw(a)
    else:
        count = 1
    return count


def op_wz7IQFofmm(a, b):
    return op_Y4lAmUR5B7(op_FZ3HAPnHuF(322,b),op_gZaJvPXt7R(a))

def op_count_wz7IQFofmm(a, b):
    count = op_count_FZ3HAPnHuF(322,b)+op_count_gZaJvPXt7R(a)+op_count_Y4lAmUR5B7(op_FZ3HAPnHuF(322,b),op_gZaJvPXt7R(a))
    return count


def op_vB4PGue8eB(a):
    return op_bMfZrpXtSe(op_C1PIbbV0Fo(op_0q6GdIluC7(319),op_wkGOHkejlq(a,a)),op_2ORcNqMYln(op_1ABctC9S11(a,19)))

def op_count_vB4PGue8eB(a):
    count = op_count_0q6GdIluC7(319)+op_count_wkGOHkejlq(a,a)+op_count_C1PIbbV0Fo(op_0q6GdIluC7(319),op_wkGOHkejlq(a,a))+op_count_1ABctC9S11(a,19)+op_count_2ORcNqMYln(op_1ABctC9S11(a,19))+op_count_bMfZrpXtSe(op_C1PIbbV0Fo(op_0q6GdIluC7(319),op_wkGOHkejlq(a,a)),op_2ORcNqMYln(op_1ABctC9S11(a,19)))
    return count


⊿↝a = { (a⋯⋟a) , if (a⋿⨴)!=355 ; (⩩≉⋩a) , else }

def op_Psd3ZNMsen(a):
    if op_uWaxZYyA1T(a) != 355:
        return op_q9XL0dzTix(a,a)
    else:
        return op_PdXgBgzzRn(a)

def op_count_Psd3ZNMsen(a):
    if op_uWaxZYyA1T(a) != 355:
        count = op_count_q9XL0dzTix(a,a)+op_count_uWaxZYyA1T(a)
    else:
        count = op_count_PdXgBgzzRn(a)
    return count


def op_7p8VGje0xA(a):
    return op_SlI4cQWdG9(op_UlQ84THUy4(a,a),op_0k3LXBuut5(a))

def op_count_7p8VGje0xA(a):
    count = op_count_UlQ84THUy4(a,a)+op_count_0k3LXBuut5(a)+op_count_SlI4cQWdG9(op_UlQ84THUy4(a,a),op_0k3LXBuut5(a))
    return count


a⊠⩼⋷ = { ((114⋾≒(a≻⇢a))⩜≝⪟) , if (a⇂≾⫗919)>=127 ; ((⊤(⪫⨧a))⫥∨⫟((a⪱a)⊒⪪⋔(a⩒⩯≚a))) , else }

def op_ChRZ8b5grz(a):
    if op_aBQ6xLxuTc(a,919) >= 127:
        return op_DbanN18JVT(op_rtRUSnrYdo(114,op_n5wvQJ84nZ(a,a)))
    else:
        return op_KYD54nUTWz(op_oDvtRyfmAM(op_1GglZyvUOk(a)),op_wNvkPc5Jc9(op_Fw9FUhpJpC(a,a),op_V1brnGXOUL(a,a)))

def op_count_ChRZ8b5grz(a):
    if op_aBQ6xLxuTc(a,919) >= 127:
        count = op_count_n5wvQJ84nZ(a,a)+op_count_rtRUSnrYdo(114,op_n5wvQJ84nZ(a,a))+op_count_DbanN18JVT(op_rtRUSnrYdo(114,op_n5wvQJ84nZ(a,a)))+op_count_aBQ6xLxuTc(a,919)
    else:
        count = op_count_1GglZyvUOk(a)+op_count_oDvtRyfmAM(op_1GglZyvUOk(a))+op_count_Fw9FUhpJpC(a,a)+op_count_V1brnGXOUL(a,a)+op_count_wNvkPc5Jc9(op_Fw9FUhpJpC(a,a),op_V1brnGXOUL(a,a))+op_count_KYD54nUTWz(op_oDvtRyfmAM(op_1GglZyvUOk(a)),op_wNvkPc5Jc9(op_Fw9FUhpJpC(a,a),op_V1brnGXOUL(a,a)))
    return count


a⊅⇲ = { (⫵⇆(143⫨⨌∐a)) , if (≆∏⊝a)==188 ; ((a⫹∗⪍a)⋇(a⪖∤)) , else }

def op_Nl5ba0YkVJ(a):
    if op_Bv9scDTvcV(a) == 188:
        return op_FEewDH7aVn(op_Ln1IrprsTU(143,a))
    else:
        return op_EIdmTB6ive(op_NNiFiUKbm3(a,a),op_y0uMrIc0tV(a))

def op_count_Nl5ba0YkVJ(a):
    if op_Bv9scDTvcV(a) == 188:
        count = op_count_Ln1IrprsTU(143,a)+op_count_FEewDH7aVn(op_Ln1IrprsTU(143,a))+op_count_Bv9scDTvcV(a)
    else:
        count = op_count_NNiFiUKbm3(a,a)+op_count_y0uMrIc0tV(a)+op_count_EIdmTB6ive(op_NNiFiUKbm3(a,a),op_y0uMrIc0tV(a))
    return count


def op_99YtDRanc6(a, b):
    return op_HTmwGS9Ecj(op_JeqbPMBChU(a,b))

def op_count_99YtDRanc6(a, b):
    count = op_count_JeqbPMBChU(a,b)+op_count_HTmwGS9Ecj(op_JeqbPMBChU(a,b))
    return count


def op_CwG9uGOFhQ(a):
    return op_l8UfvtpCFJ(op_vas5LJo2XG(a))

def op_count_CwG9uGOFhQ(a):
    count = op_count_vas5LJo2XG(a)+op_count_l8UfvtpCFJ(op_vas5LJo2XG(a))
    return count


def op_6J5WwMB5Kz(a, b):
    return op_dUtXqx2Zuq(op_KEJMtErjzX(op_PtITbjBpBq(a,563),op_hzNl2ELaCM(a)),b)

def op_count_6J5WwMB5Kz(a, b):
    count = op_count_PtITbjBpBq(a,563)+op_count_hzNl2ELaCM(a)+op_count_KEJMtErjzX(op_PtITbjBpBq(a,563),op_hzNl2ELaCM(a))+op_count_dUtXqx2Zuq(op_KEJMtErjzX(op_PtITbjBpBq(a,563),op_hzNl2ELaCM(a)),b)
    return count


a⪰∟b = { ((⇒↗⇷a)⩝⨤⨡(a⪁⇡⨫)) , if (⫇⨡b)<=169 ; ((10⫒⫫b)⪿⇪⊩(a⊹b)) , else }

def op_OkLixESUg4(a, b):
    if op_hVQNqXJ0VF(b) <= 169:
        return op_Qqj2GTyBuk(op_N5n1JPscym(a),op_5brc6wQHzR(a))
    else:
        return op_OGWBzMv138(op_6Ko8hGgeMq(10,b),op_9kyI0w1glK(a,b))

def op_count_OkLixESUg4(a, b):
    if op_hVQNqXJ0VF(b) <= 169:
        count = op_count_N5n1JPscym(a)+op_count_5brc6wQHzR(a)+op_count_Qqj2GTyBuk(op_N5n1JPscym(a),op_5brc6wQHzR(a))+op_count_hVQNqXJ0VF(b)
    else:
        count = op_count_6Ko8hGgeMq(10,b)+op_count_9kyI0w1glK(a,b)+op_count_OGWBzMv138(op_6Ko8hGgeMq(10,b),op_9kyI0w1glK(a,b))
    return count


def op_KaXRXEkgzS(a, b):
    if op_nh3x8a6Puv(b) == 610:
        return op_6nz9ZYviv4(op_dbaoL9ubd4(356,op_PyySExtkRS(a,b)),op_Bw1fwYnFxE(op_tfk3gx8Z61(b,a),op_4ZyE98Jico(18,2)))
    else:
        return op_fu6greOZ01(op_PrwIXj9ZQe(op_RKeiQKbkFn(a)),op_tYr37UhHCW(op_0N1BchnEuL(204,a),op_RHru8klgy8(a)))

def op_count_KaXRXEkgzS(a, b):
    if op_nh3x8a6Puv(b) == 610:
        count = op_count_PyySExtkRS(a,b)+op_count_dbaoL9ubd4(356,op_PyySExtkRS(a,b))+op_count_tfk3gx8Z61(b,a)+op_count_4ZyE98Jico(18,2)+op_count_Bw1fwYnFxE(op_tfk3gx8Z61(b,a),op_4ZyE98Jico(18,2))+op_count_6nz9ZYviv4(op_dbaoL9ubd4(356,op_PyySExtkRS(a,b)),op_Bw1fwYnFxE(op_tfk3gx8Z61(b,a),op_4ZyE98Jico(18,2)))+op_count_nh3x8a6Puv(b)
    else:
        count = op_count_RKeiQKbkFn(a)+op_count_PrwIXj9ZQe(op_RKeiQKbkFn(a))+op_count_0N1BchnEuL(204,a)+op_count_RHru8klgy8(a)+op_count_tYr37UhHCW(op_0N1BchnEuL(204,a),op_RHru8klgy8(a))+op_count_fu6greOZ01(op_PrwIXj9ZQe(op_RKeiQKbkFn(a)),op_tYr37UhHCW(op_0N1BchnEuL(204,a),op_RHru8klgy8(a)))
    return count


def op_4rGo9AEyrh(a, b):
    return op_yDrALfoX9E(op_i9eR4S00cU(a,a),op_VzPwlY6vDh(a,b))

def op_count_4rGo9AEyrh(a, b):
    count = op_count_i9eR4S00cU(a,a)+op_count_VzPwlY6vDh(a,b)+op_count_yDrALfoX9E(op_i9eR4S00cU(a,a),op_VzPwlY6vDh(a,b))
    return count


a⩢⫌b = { (((b⊒⊉⇡a)≎⪠(258⨠⇲))⩹≮((b⩣⩕∗)⪺⨮⩭(b⪂⫺≀b))) }

def op_8dZLBg44dN(a, b):
    return op_xeKVJklxVA(op_aNhz54LH3e(op_cu7YvshKwT(b,a),op_YNLX1V1NcH(258)),op_xnTr9QP4Ls(op_Lk9bOOPVfB(b),op_AHJIMHBoCD(b,b)))

def op_count_8dZLBg44dN(a, b):
    count = op_count_cu7YvshKwT(b,a)+op_count_YNLX1V1NcH(258)+op_count_aNhz54LH3e(op_cu7YvshKwT(b,a),op_YNLX1V1NcH(258))+op_count_Lk9bOOPVfB(b)+op_count_AHJIMHBoCD(b,b)+op_count_xnTr9QP4Ls(op_Lk9bOOPVfB(b),op_AHJIMHBoCD(b,b))+op_count_xeKVJklxVA(op_aNhz54LH3e(op_cu7YvshKwT(b,a),op_YNLX1V1NcH(258)),op_xnTr9QP4Ls(op_Lk9bOOPVfB(b),op_AHJIMHBoCD(b,b)))
    return count


a⪥⋤ = { (((a⋾≒a)⨝(a∙∹∝a))∄∑⫋((a⊞⊺⋓a)⊎∵⋝(⇂↕⪝a))) }

def op_wWrhQkHgWZ(a):
    return op_0Pabu4m7xG(op_fo48eGTxLC(op_rtRUSnrYdo(a,a),op_HmxsFra2vL(a,a)),op_aiV2O28J80(op_meJysGTcxJ(a,a),op_Ns6MaEZbMP(a)))

def op_count_wWrhQkHgWZ(a):
    count = op_count_rtRUSnrYdo(a,a)+op_count_HmxsFra2vL(a,a)+op_count_fo48eGTxLC(op_rtRUSnrYdo(a,a),op_HmxsFra2vL(a,a))+op_count_meJysGTcxJ(a,a)+op_count_Ns6MaEZbMP(a)+op_count_aiV2O28J80(op_meJysGTcxJ(a,a),op_Ns6MaEZbMP(a))+op_count_0Pabu4m7xG(op_fo48eGTxLC(op_rtRUSnrYdo(a,a),op_HmxsFra2vL(a,a)),op_aiV2O28J80(op_meJysGTcxJ(a,a),op_Ns6MaEZbMP(a)))
    return count


∓⪣a = { (((⊔⫟⇮a)⊒⊀⩅(⪅⇱⩖a))⇱⇎⩗(≚(a∁⋳⪺a))) , if (a⨯⫩∳)<202 ; (((a⊲a)≲⨛)⪛⫼((⩮⪙a)⋡⋎(a*⇘a))) , else }

def op_N0MacyOX9O(a):
    if op_UHlgM6WGLb(a) < 202:
        return op_DSSXvJAOg7(op_Qof2EeolbN(op_iZ8bQENK8d(a),op_GGjhROnT7v(a)),op_uewDYDcSPn(op_g7zzq0G4Xr(a,a)))
    else:
        return op_hyuBjUqXlG(op_SUeSE0uIXE(op_yMixD7ucMB(a,a)),op_4wZW19qsbv(op_1twl7c1emG(a),op_5JlONKxcBp(a,a)))

def op_count_N0MacyOX9O(a):
    if op_UHlgM6WGLb(a) < 202:
        count = op_count_iZ8bQENK8d(a)+op_count_GGjhROnT7v(a)+op_count_Qof2EeolbN(op_iZ8bQENK8d(a),op_GGjhROnT7v(a))+op_count_g7zzq0G4Xr(a,a)+op_count_uewDYDcSPn(op_g7zzq0G4Xr(a,a))+op_count_DSSXvJAOg7(op_Qof2EeolbN(op_iZ8bQENK8d(a),op_GGjhROnT7v(a)),op_uewDYDcSPn(op_g7zzq0G4Xr(a,a)))+op_count_UHlgM6WGLb(a)
    else:
        count = op_count_yMixD7ucMB(a,a)+op_count_SUeSE0uIXE(op_yMixD7ucMB(a,a))+op_count_1twl7c1emG(a)+op_count_5JlONKxcBp(a,a)+op_count_4wZW19qsbv(op_1twl7c1emG(a),op_5JlONKxcBp(a,a))+op_count_hyuBjUqXlG(op_SUeSE0uIXE(op_yMixD7ucMB(a,a)),op_4wZW19qsbv(op_1twl7c1emG(a),op_5JlONKxcBp(a,a)))
    return count


a≨⋼b = { (b⋇↵⋅a) , if b==471 ; (a⇱⇎⩗551) , else }

def op_jJmDmZERNq(a, b):
    if b == 471:
        return op_aEZ9JgCP8a(b,a)
    else:
        return op_DSSXvJAOg7(a,551)

def op_count_jJmDmZERNq(a, b):
    if b == 471:
        count = op_count_aEZ9JgCP8a(b,a)
    else:
        count = op_count_DSSXvJAOg7(a,551)
    return count


a⫷⨕∜b = { (((b≄a)⋪⪸(a⪰⪩∈b))⋚∑⪥313) , if (a∹608)<746 ; (((a⪌∱a)∖(10⋾⨅⫦b))≀⋞) , else }

def op_vLoQcAsOWt(a, b):
    if op_Dh8yhYQk7S(a,608) < 746:
        return op_BnmjcH64ep(op_7DoUD1Rkxi(op_fLJG5zVr1z(b,a),op_nw9r1HaLU9(a,b)),313)
    else:
        return op_S4YxGYwohl(op_tXD093vOjl(op_DpPZRr4xWX(a,a),op_66lcxNmSNf(10,b)))

def op_count_vLoQcAsOWt(a, b):
    if op_Dh8yhYQk7S(a,608) < 746:
        count = op_count_fLJG5zVr1z(b,a)+op_count_nw9r1HaLU9(a,b)+op_count_7DoUD1Rkxi(op_fLJG5zVr1z(b,a),op_nw9r1HaLU9(a,b))+op_count_BnmjcH64ep(op_7DoUD1Rkxi(op_fLJG5zVr1z(b,a),op_nw9r1HaLU9(a,b)),313)+op_count_Dh8yhYQk7S(a,608)
    else:
        count = op_count_DpPZRr4xWX(a,a)+op_count_66lcxNmSNf(10,b)+op_count_tXD093vOjl(op_DpPZRr4xWX(a,a),op_66lcxNmSNf(10,b))+op_count_S4YxGYwohl(op_tXD093vOjl(op_DpPZRr4xWX(a,a),op_66lcxNmSNf(10,b)))
    return count


def op_Q8tj8I5L8x(a, b):
    if op_h4Kq12klWJ(a) >= 376:
        return op_uc8QQvMjnT(a,163)
    else:
        return op_nHeERPBDuK(b)

def op_count_Q8tj8I5L8x(a, b):
    if op_h4Kq12klWJ(a) >= 376:
        count = op_count_uc8QQvMjnT(a,163)+op_count_h4Kq12klWJ(a)
    else:
        count = op_count_nHeERPBDuK(b)
    return count


def op_n2rTBWRekQ(a, b):
    return op_J4RdkEvY2C(op_yIPP7u6H5x(66),op_kVSeQakJeK(a,b))

def op_count_n2rTBWRekQ(a, b):
    count = op_count_yIPP7u6H5x(66)+op_count_kVSeQakJeK(a,b)+op_count_J4RdkEvY2C(op_yIPP7u6H5x(66),op_kVSeQakJeK(a,b))
    return count


a⨌⩬≆b = { (((153⊩∰⋧62)≍↿≦(⇵⪽a))⩅((36⊾≜⊽b)⋌∯⨭(⩪⪕↫b))) }

def op_9HK5Wpslhx(a, b):
    return op_WHvsDZpt7Z(op_TSUy8hrQkO(op_icxKCO3nOu(153,62),op_ZGCBLdVRRX(a)),op_fOKpyHLGkA(op_A6jTRgEchk(36,b),op_haB7CxuiID(b)))

def op_count_9HK5Wpslhx(a, b):
    count = op_count_icxKCO3nOu(153,62)+op_count_ZGCBLdVRRX(a)+op_count_TSUy8hrQkO(op_icxKCO3nOu(153,62),op_ZGCBLdVRRX(a))+op_count_A6jTRgEchk(36,b)+op_count_haB7CxuiID(b)+op_count_fOKpyHLGkA(op_A6jTRgEchk(36,b),op_haB7CxuiID(b))+op_count_WHvsDZpt7Z(op_TSUy8hrQkO(op_icxKCO3nOu(153,62),op_ZGCBLdVRRX(a)),op_fOKpyHLGkA(op_A6jTRgEchk(36,b),op_haB7CxuiID(b)))
    return count


a⊛⩞∲b = { ((b⊃⋢%a)≇⩎↤(b⨩≛⊦)) , if (a⇯⪐)<538 or (b⨞≺825)!=274 or b<=136 ; ((b⨟⋌⩍a)⨑≵⋬(a⨼⩣b)) , else }

def op_dW5OiMYfCD(a, b):
    if op_LnjDZ16MLF(a) < 538 or op_8uAz8JJKQ9(b,825) != 274 or b <= 136:
        return op_gb4MSIPkm5(op_MGbPxTAMI3(b,a),op_IDkxGAumfq(b))
    else:
        return op_XnXgA4xnOs(op_rGHVDoGpnC(b,a),op_JxwMv5le6e(a,b))

def op_count_dW5OiMYfCD(a, b):
    if op_LnjDZ16MLF(a) < 538 or op_8uAz8JJKQ9(b,825) != 274 or b <= 136:
        count = op_count_MGbPxTAMI3(b,a)+op_count_IDkxGAumfq(b)+op_count_gb4MSIPkm5(op_MGbPxTAMI3(b,a),op_IDkxGAumfq(b))+op_count_LnjDZ16MLF(a)+op_count_8uAz8JJKQ9(b,825)
    else:
        count = op_count_rGHVDoGpnC(b,a)+op_count_JxwMv5le6e(a,b)+op_count_XnXgA4xnOs(op_rGHVDoGpnC(b,a),op_JxwMv5le6e(a,b))
    return count


a⪩⨿≊ = { (⫵⇞⨹(a⨅⪆⩝a)) , if (a⊽⫨⪬)>709 ; ((a⪑⫝)⊹(a⨙⪞a)) , else }

def op_7L8XWezV1w(a):
    if op_5C4rGEtfh1(a) > 709:
        return op_YJ5URB4ZkF(op_9wYLNYP4HS(a,a))
    else:
        return op_9kyI0w1glK(op_jxm14LOQHd(a),op_NIS2NZpoyR(a,a))

def op_count_7L8XWezV1w(a):
    if op_5C4rGEtfh1(a) > 709:
        count = op_count_9wYLNYP4HS(a,a)+op_count_YJ5URB4ZkF(op_9wYLNYP4HS(a,a))+op_count_5C4rGEtfh1(a)
    else:
        count = op_count_jxm14LOQHd(a)+op_count_NIS2NZpoyR(a,a)+op_count_9kyI0w1glK(op_jxm14LOQHd(a),op_NIS2NZpoyR(a,a))
    return count


a≿⊯b = { b , if b<391 and b==256 ; (((a∘⇁b)⨝⪜⊎(a⩕⇃∙))⨑((a⨇146)⪿↰⪖(a≹⇙⪍b))) , else }

def op_m3rHOj9xiO(a, b):
    if b < 391 and b == 256:
        return b
    else:
        return op_IxJHfR5psi(op_WAegT8i1n4(op_kIWj6knPC7(a,b),op_bQG9Ud0UO2(a)),op_kMgNLpsPAE(op_sgd3VpchmQ(a,146),op_AHs5Up7iyr(a,b)))

def op_count_m3rHOj9xiO(a, b):
    if b < 391 and b == 256:
        count = 1
    else:
        count = op_count_kIWj6knPC7(a,b)+op_count_bQG9Ud0UO2(a)+op_count_WAegT8i1n4(op_kIWj6knPC7(a,b),op_bQG9Ud0UO2(a))+op_count_sgd3VpchmQ(a,146)+op_count_AHs5Up7iyr(a,b)+op_count_kMgNLpsPAE(op_sgd3VpchmQ(a,146),op_AHs5Up7iyr(a,b))+op_count_IxJHfR5psi(op_WAegT8i1n4(op_kIWj6knPC7(a,b),op_bQG9Ud0UO2(a)),op_kMgNLpsPAE(op_sgd3VpchmQ(a,146),op_AHs5Up7iyr(a,b)))
    return count


a⫗⨑ = { (((a⨬⊟a)⨿⩹⨽(a⇰⨄a))≨⊪((a⋦≤)≅(a⩧a))) }

def op_1y6quRE1Dz(a):
    return op_lbcw7xjCof(op_3RepPf7rcT(op_hv7txCVeHj(a,a),op_90p4Yo1NOE(a,a)),op_aFodGWjv1K(op_1RKnjyXON0(a),op_sQFXMycfVt(a,a)))

def op_count_1y6quRE1Dz(a):
    count = op_count_hv7txCVeHj(a,a)+op_count_90p4Yo1NOE(a,a)+op_count_3RepPf7rcT(op_hv7txCVeHj(a,a),op_90p4Yo1NOE(a,a))+op_count_1RKnjyXON0(a)+op_count_sQFXMycfVt(a,a)+op_count_aFodGWjv1K(op_1RKnjyXON0(a),op_sQFXMycfVt(a,a))+op_count_lbcw7xjCof(op_3RepPf7rcT(op_hv7txCVeHj(a,a),op_90p4Yo1NOE(a,a)),op_aFodGWjv1K(op_1RKnjyXON0(a),op_sQFXMycfVt(a,a)))
    return count


a⩠⋢⇑b = { (((b⋨⩽⩔)≪⊺⋟(b⨔⪫b))⪔((b⋙⪠b)↼⊘⨖(a↾⪷⋓))) , if (a⩌⨭≭154)>40 ; (⋉(≨⫙(240⋛∕a))) , else }

def op_IgGIml95G3(a, b):
    if op_4KnvnEaVgu(a,154) > 40:
        return op_GjBEYRfMaF(op_6XI03Y2wNz(op_vONqII4LTO(b),op_YeqGfToepn(b,b)),op_bPywburJMS(op_vPmKJA6wUP(b,b),op_1vc8ABl8A5(a)))
    else:
        return op_7nDYFTqyZr(op_CcmqrEB6V7(op_zCpJCfCzjV(240,a)))

def op_count_IgGIml95G3(a, b):
    if op_4KnvnEaVgu(a,154) > 40:
        count = op_count_vONqII4LTO(b)+op_count_YeqGfToepn(b,b)+op_count_6XI03Y2wNz(op_vONqII4LTO(b),op_YeqGfToepn(b,b))+op_count_vPmKJA6wUP(b,b)+op_count_1vc8ABl8A5(a)+op_count_bPywburJMS(op_vPmKJA6wUP(b,b),op_1vc8ABl8A5(a))+op_count_GjBEYRfMaF(op_6XI03Y2wNz(op_vONqII4LTO(b),op_YeqGfToepn(b,b)),op_bPywburJMS(op_vPmKJA6wUP(b,b),op_1vc8ABl8A5(a)))+op_count_4KnvnEaVgu(a,154)
    else:
        count = op_count_zCpJCfCzjV(240,a)+op_count_CcmqrEB6V7(op_zCpJCfCzjV(240,a))+op_count_7nDYFTqyZr(op_CcmqrEB6V7(op_zCpJCfCzjV(240,a)))
    return count


def op_7aJSmk6HZN(a, b):
    return op_Vqiqf8u96X(op_Y3qrs0M54z(op_wkGOHkejlq(355,a)),op_Vzd1Za95Jr(60,b))

def op_count_7aJSmk6HZN(a, b):
    count = op_count_wkGOHkejlq(355,a)+op_count_Y3qrs0M54z(op_wkGOHkejlq(355,a))+op_count_Vzd1Za95Jr(60,b)+op_count_Vqiqf8u96X(op_Y3qrs0M54z(op_wkGOHkejlq(355,a)),op_Vzd1Za95Jr(60,b))
    return count


def op_mx4FdVSfGH(a, b):
    return op_K1uHWJv1IW(op_6Bcfo3j9gb(op_otB5Ew3TfZ(a),op_VXHFBbhtXV(a,b)),172)

def op_count_mx4FdVSfGH(a, b):
    count = op_count_otB5Ew3TfZ(a)+op_count_VXHFBbhtXV(a,b)+op_count_6Bcfo3j9gb(op_otB5Ew3TfZ(a),op_VXHFBbhtXV(a,b))+op_count_K1uHWJv1IW(op_6Bcfo3j9gb(op_otB5Ew3TfZ(a),op_VXHFBbhtXV(a,b)),172)
    return count


a⪿⋭ = { (⋋⊲(a≂⩅a)) , if (a⨠⇲)>=97 ; (⫛⩾⨻(↪⫪⫘a)) , else }

def op_w4IleUJLLF(a):
    if op_YNLX1V1NcH(a) >= 97:
        return op_RpARD7IbKd(op_gDiZ5yZybD(a,a))
    else:
        return op_b7E1Qd99Py(op_9dWsAM3GFt(a))

def op_count_w4IleUJLLF(a):
    if op_YNLX1V1NcH(a) >= 97:
        count = op_count_gDiZ5yZybD(a,a)+op_count_RpARD7IbKd(op_gDiZ5yZybD(a,a))+op_count_YNLX1V1NcH(a)
    else:
        count = op_count_9dWsAM3GFt(a)+op_count_b7E1Qd99Py(op_9dWsAM3GFt(a))
    return count


def op_2C8CHJb2cr(a):
    return op_W9R8I5fN5A(op_2hIaDBSv9V(405,a))

def op_count_2C8CHJb2cr(a):
    count = op_count_2hIaDBSv9V(405,a)+op_count_W9R8I5fN5A(op_2hIaDBSv9V(405,a))
    return count


def op_SawRd5KjGU(a):
    return op_Z8kU1u1TkF(op_gZaJvPXt7R(353),op_G96GBiEpHu(a,a))

def op_count_SawRd5KjGU(a):
    count = op_count_gZaJvPXt7R(353)+op_count_G96GBiEpHu(a,a)+op_count_Z8kU1u1TkF(op_gZaJvPXt7R(353),op_G96GBiEpHu(a,a))
    return count


def op_KfhhlCQ6hZ(a, b):
    return op_aN41RXSydB(op_V1brnGXOUL(op_MkFge0F0HF(b,74),b),op_qPbESVb90t(op_1ABctC9S11(204,b),op_If09U4imfG(705,a)))

def op_count_KfhhlCQ6hZ(a, b):
    count = op_count_MkFge0F0HF(b,74)+op_count_V1brnGXOUL(op_MkFge0F0HF(b,74),b)+op_count_1ABctC9S11(204,b)+op_count_If09U4imfG(705,a)+op_count_qPbESVb90t(op_1ABctC9S11(204,b),op_If09U4imfG(705,a))+op_count_aN41RXSydB(op_V1brnGXOUL(op_MkFge0F0HF(b,74),b),op_qPbESVb90t(op_1ABctC9S11(204,b),op_If09U4imfG(705,a)))
    return count


def op_OhJIXvr6RG(a, b):
    if op_8FDu1WbyS1(b) > 702:
        return op_uU3XJfDBdq(a,103)
    else:
        return op_L4QKcwJRKF(a,103)

def op_count_OhJIXvr6RG(a, b):
    if op_8FDu1WbyS1(b) > 702:
        count = op_count_uU3XJfDBdq(a,103)+op_count_8FDu1WbyS1(b)
    else:
        count = op_count_L4QKcwJRKF(a,103)
    return count


a⋷⇊b = { (((465⫢⇘∝29)⨠↴(⫃a))⨋∔⪎((b⊉⋥b)⇉(⨭⩧⫛a))) }

def op_7f6kG6nZd2(a, b):
    return op_2eU2VkipYL(op_zStf3jvmdU(op_4TVzEgIAOW(465,29),op_Un5MXTlDFV(a)),op_lJ0NnniDH7(op_zSGZJdW1n7(b,b),op_g21JL6JxX7(a)))

def op_count_7f6kG6nZd2(a, b):
    count = op_count_4TVzEgIAOW(465,29)+op_count_Un5MXTlDFV(a)+op_count_zStf3jvmdU(op_4TVzEgIAOW(465,29),op_Un5MXTlDFV(a))+op_count_zSGZJdW1n7(b,b)+op_count_g21JL6JxX7(a)+op_count_lJ0NnniDH7(op_zSGZJdW1n7(b,b),op_g21JL6JxX7(a))+op_count_2eU2VkipYL(op_zStf3jvmdU(op_4TVzEgIAOW(465,29),op_Un5MXTlDFV(a)),op_lJ0NnniDH7(op_zSGZJdW1n7(b,b),op_g21JL6JxX7(a)))
    return count


a⪡≆≍b = { ((b⨐⩸⫘a)⋦≤) , if (⨧↻⫕b)==3 ; (⨣⨜⩤(b⫭⊯⇵a)) , else }

def op_WwnKwzu3PB(a, b):
    if op_ltLMORAyGj(b) == 3:
        return op_1RKnjyXON0(op_fu6greOZ01(b,a))
    else:
        return op_gBAN53NepD(op_b1N51d35SA(b,a))

def op_count_WwnKwzu3PB(a, b):
    if op_ltLMORAyGj(b) == 3:
        count = op_count_fu6greOZ01(b,a)+op_count_1RKnjyXON0(op_fu6greOZ01(b,a))+op_count_ltLMORAyGj(b)
    else:
        count = op_count_b1N51d35SA(b,a)+op_count_gBAN53NepD(op_b1N51d35SA(b,a))
    return count


a⩦⊸≛b = { (((b⊊)⪟⫼(b⩄⊊a))⩜⩆((0≐⩧a)⊇⪃⋕)) }

def op_kckhUynXml(a, b):
    return op_gBZ5YI4mOE(op_Lif1LrMNxJ(op_W9R8I5fN5A(b),op_ckxBfo3j3z(b,a)),op_9ACAjKT0GU(op_T49sLqm3Na(0,a)))

def op_count_kckhUynXml(a, b):
    count = op_count_W9R8I5fN5A(b)+op_count_ckxBfo3j3z(b,a)+op_count_Lif1LrMNxJ(op_W9R8I5fN5A(b),op_ckxBfo3j3z(b,a))+op_count_T49sLqm3Na(0,a)+op_count_9ACAjKT0GU(op_T49sLqm3Na(0,a))+op_count_gBZ5YI4mOE(op_Lif1LrMNxJ(op_W9R8I5fN5A(b),op_ckxBfo3j3z(b,a)),op_9ACAjKT0GU(op_T49sLqm3Na(0,a)))
    return count


a≺⪣b = { (472⫪⩳⇋a) , if b<49 ; (⫭⩬b) , else }

def op_JIoCaiHxTA(a, b):
    if b < 49:
        return op_irfPbDV6Fp(472,a)
    else:
        return op_6ukkYxVLSh(b)

def op_count_JIoCaiHxTA(a, b):
    if b < 49:
        count = op_count_irfPbDV6Fp(472,a)
    else:
        count = op_count_6ukkYxVLSh(b)
    return count


≰↳a = { (≛→((a∿⋇a)⪶⊲⪺(a⨴∎))) , if (a⋅∹⩇)!=597 and (⪱⊞a)<345 and (⨵a)<81 ; a , else }

def op_OuUZbbJtCO(a):
    if op_Tmr9JGNMVH(a) != 597 and op_DolxePZw3A(a) < 345 and op_Tl3Y52tvF8(a) < 81:
        return op_w1vxEyvOam(op_RCyfEiCqYx(op_KKKQDg6gKh(a,a),op_CpSg5vQTgA(a)))
    else:
        return a

def op_count_OuUZbbJtCO(a):
    if op_Tmr9JGNMVH(a) != 597 and op_DolxePZw3A(a) < 345 and op_Tl3Y52tvF8(a) < 81:
        count = op_count_KKKQDg6gKh(a,a)+op_count_CpSg5vQTgA(a)+op_count_RCyfEiCqYx(op_KKKQDg6gKh(a,a),op_CpSg5vQTgA(a))+op_count_w1vxEyvOam(op_RCyfEiCqYx(op_KKKQDg6gKh(a,a),op_CpSg5vQTgA(a)))+op_count_Tmr9JGNMVH(a)+op_count_DolxePZw3A(a)+op_count_Tl3Y52tvF8(a)
    else:
        count = 1
    return count


a∞↢⫚b = { ((↙⩵⋊a)⋁⪗) , if ((⊢⋚b)<103 and b<=113 and a<=58) ; ((a⋋↞⩉a)⊞⪨(b⊶⇠⋮)) , else }

def op_hRcwbwgT6K(a, b):
    if (op_mImJIA1bCd(b) < 103 and b <= 113 and a <= 58):
        return op_zicIi9GIpC(op_tx9xvuZCgf(a))
    else:
        return op_KIhHBHJSp1(op_FtzCMUsONU(a,a),op_EHTPhddjmx(b))

def op_count_hRcwbwgT6K(a, b):
    if (op_mImJIA1bCd(b) < 103 and b <= 113 and a <= 58):
        count = op_count_tx9xvuZCgf(a)+op_count_zicIi9GIpC(op_tx9xvuZCgf(a))+op_count_mImJIA1bCd(b)
    else:
        count = op_count_FtzCMUsONU(a,a)+op_count_EHTPhddjmx(b)+op_count_KIhHBHJSp1(op_FtzCMUsONU(a,a),op_EHTPhddjmx(b))
    return count


def op_0IiNIA04sJ(a):
    if op_XsP9zM2YWI(a) <= 359:
        return op_UMwdvZNt44(a,895)
    else:
        return op_rPxV9L2jhK(536,a)

def op_count_0IiNIA04sJ(a):
    if op_XsP9zM2YWI(a) <= 359:
        count = op_count_UMwdvZNt44(a,895)+op_count_XsP9zM2YWI(a)
    else:
        count = op_count_rPxV9L2jhK(536,a)
    return count


a∾⫍⫸ = { ((a⊆⇧⪚a)⋱≺≑(a⨞⫉≽a)) , if a<=110 ; (⊳⊪(600⇱⇎⩗a)) , else }

def op_H2chcWAYlq(a):
    if a <= 110:
        return op_xqQb1WoLbV(op_zma7vR3L5W(a,a),op_mNv3h3qoQh(a,a))
    else:
        return op_4hWCy7L5gw(op_DSSXvJAOg7(600,a))

def op_count_H2chcWAYlq(a):
    if a <= 110:
        count = op_count_zma7vR3L5W(a,a)+op_count_mNv3h3qoQh(a,a)+op_count_xqQb1WoLbV(op_zma7vR3L5W(a,a),op_mNv3h3qoQh(a,a))
    else:
        count = op_count_DSSXvJAOg7(600,a)+op_count_4hWCy7L5gw(op_DSSXvJAOg7(600,a))
    return count


a⫔≅⪨ = { (a⪊⋘⫝a) , if (a⋣⩘⋸25)>14 ; (260∖a) , else }

def op_zQkUZllWrM(a):
    if op_DvuSqA3vLS(a,25) > 14:
        return op_SEAGOOoQ7b(a,a)
    else:
        return op_tXD093vOjl(260,a)

def op_count_zQkUZllWrM(a):
    if op_DvuSqA3vLS(a,25) > 14:
        count = op_count_SEAGOOoQ7b(a,a)+op_count_DvuSqA3vLS(a,25)
    else:
        count = op_count_tXD093vOjl(260,a)
    return count


a/≏b = { (((⋽⋏∜a)≅⨐⋅(537↚≽⪤a))⩍⨱⇉(b∭⋝(a⪈⊆a))) }

def op_SP7xYe4apX(a, b):
    return op_DsyPkj0vuS(op_lv7AZugVYQ(op_dUVc8B1hJO(a),op_UyATZg4EzG(537,a)),op_Ojn3henNK2(b,op_9cXuuulTvS(a,a)))

def op_count_SP7xYe4apX(a, b):
    count = op_count_dUVc8B1hJO(a)+op_count_UyATZg4EzG(537,a)+op_count_lv7AZugVYQ(op_dUVc8B1hJO(a),op_UyATZg4EzG(537,a))+op_count_9cXuuulTvS(a,a)+op_count_Ojn3henNK2(b,op_9cXuuulTvS(a,a))+op_count_DsyPkj0vuS(op_lv7AZugVYQ(op_dUVc8B1hJO(a),op_UyATZg4EzG(537,a)),op_Ojn3henNK2(b,op_9cXuuulTvS(a,a)))
    return count


def op_G9uqLco1ym(a):
    return op_J0M6qkBnIM(a,178)

def op_count_G9uqLco1ym(a):
    count = op_count_J0M6qkBnIM(a,178)
    return count


def op_xpIgt5m7QM(a):
    return op_BRZabeeXbq(op_B7fx9NtlGq(a,58),op_1RKnjyXON0(a))

def op_count_xpIgt5m7QM(a):
    count = op_count_B7fx9NtlGq(a,58)+op_count_1RKnjyXON0(a)+op_count_BRZabeeXbq(op_B7fx9NtlGq(a,58),op_1RKnjyXON0(a))
    return count


def op_rNY9wDMMmV(a, b):
    return op_IhSYcQUtqA(op_bs7D9C0JKx(a,b),op_PDrNSJDGFK(b))

def op_count_rNY9wDMMmV(a, b):
    count = op_count_bs7D9C0JKx(a,b)+op_count_PDrNSJDGFK(b)+op_count_IhSYcQUtqA(op_bs7D9C0JKx(a,b),op_PDrNSJDGFK(b))
    return count


def op_9FyG84QLhI(a, b):
    return op_kUYI0el8wS(op_rQTtyvEHdZ(b,a),op_oNoCrsWj2C(b))

def op_count_9FyG84QLhI(a, b):
    count = op_count_rQTtyvEHdZ(b,a)+op_count_oNoCrsWj2C(b)+op_count_kUYI0el8wS(op_rQTtyvEHdZ(b,a),op_oNoCrsWj2C(b))
    return count


⇌⪈⇈a = { ((a⋙)↲) , if (a⊤⪐∵)>=433 or a==37 ; ((a⇑≢⇛a)≍⇠∡(⩈↘a)) , else }

def op_3xHsbfGmqx(a):
    if op_A7FiOhU1z0(a) >= 433 or a == 37:
        return op_hfQ6xxn5As(op_XZxEnkN3N0(a))
    else:
        return op_4XUogC2HX8(op_X7KZn19ZSq(a,a),op_loXBSJr7HD(a))

def op_count_3xHsbfGmqx(a):
    if op_A7FiOhU1z0(a) >= 433 or a == 37:
        count = op_count_XZxEnkN3N0(a)+op_count_hfQ6xxn5As(op_XZxEnkN3N0(a))+op_count_A7FiOhU1z0(a)
    else:
        count = op_count_X7KZn19ZSq(a,a)+op_count_loXBSJr7HD(a)+op_count_4XUogC2HX8(op_X7KZn19ZSq(a,a),op_loXBSJr7HD(a))
    return count


def op_VwMVCLUDXc(a, b):
    if (op_uQsO4UtjI0(a,107) <= 221 and b > 154 and op_FAhOgU50NN(a) >= 202):
        return op_WXcmPTwyo2(op_swlCOMtQUm(b,b))
    else:
        return op_UOjlNIQEDw(op_rGHVDoGpnC(162,a))

def op_count_VwMVCLUDXc(a, b):
    if (op_uQsO4UtjI0(a,107) <= 221 and b > 154 and op_FAhOgU50NN(a) >= 202):
        count = op_count_swlCOMtQUm(b,b)+op_count_WXcmPTwyo2(op_swlCOMtQUm(b,b))+op_count_uQsO4UtjI0(a,107)+op_count_FAhOgU50NN(a)
    else:
        count = op_count_rGHVDoGpnC(162,a)+op_count_UOjlNIQEDw(op_rGHVDoGpnC(162,a))
    return count


def op_RSrFWgTMUf(a, b):
    if (op_SluXztOHTZ(b,882) >= 287 or op_fnOoXbwtGE(b) < 162):
        return op_86EHC0btia(a,174)
    else:
        return op_Asc51vEJeQ(b)

def op_count_RSrFWgTMUf(a, b):
    if (op_SluXztOHTZ(b,882) >= 287 or op_fnOoXbwtGE(b) < 162):
        count = op_count_86EHC0btia(a,174)+op_count_SluXztOHTZ(b,882)+op_count_fnOoXbwtGE(b)
    else:
        count = op_count_Asc51vEJeQ(b)
    return count


⋑≰a = { ((⊾⫐≉a)⩂⇪⋣(a⩅∏⇵a)) , if a!=64 ; ((a⊺⇆13)⨟⋌⩍(a≞⇯a)) , else }

def op_KvM4WgcYzi(a):
    if a != 64:
        return op_05BAUYx2wZ(op_MpcNqJdYoE(a),op_KqbUo6ISj2(a,a))
    else:
        return op_rGHVDoGpnC(op_NbEzn8HcDr(a,13),op_8kC3VQV3Yq(a,a))

def op_count_KvM4WgcYzi(a):
    if a != 64:
        count = op_count_MpcNqJdYoE(a)+op_count_KqbUo6ISj2(a,a)+op_count_05BAUYx2wZ(op_MpcNqJdYoE(a),op_KqbUo6ISj2(a,a))
    else:
        count = op_count_NbEzn8HcDr(a,13)+op_count_8kC3VQV3Yq(a,a)+op_count_rGHVDoGpnC(op_NbEzn8HcDr(a,13),op_8kC3VQV3Yq(a,a))
    return count


def op_wEyHPk8nCj(a, b):
    return op_SWo3A1KBJH(op_UMwdvZNt44(op_sM9mzqIDB1(a,b),op_96sgIAAApN(647,b)))

def op_count_wEyHPk8nCj(a, b):
    count = op_count_sM9mzqIDB1(a,b)+op_count_96sgIAAApN(647,b)+op_count_UMwdvZNt44(op_sM9mzqIDB1(a,b),op_96sgIAAApN(647,b))+op_count_SWo3A1KBJH(op_UMwdvZNt44(op_sM9mzqIDB1(a,b),op_96sgIAAApN(647,b)))
    return count