def op_kYlzE7wslH(a):
    if op_zNymfbJ47P(a) >= 76 or op_MbQEnx6naJ(a) != 362 or op_6MpZysEj17(a) < 302:
        return op_qufViy4tU0(op_XhwjNDsVaA(op_gub5Cegaqo(a,a),op_PoHhknlbAi(203,a)),op_NINxns2OXj(op_ET0KLvfdmE(221,a),op_m1wQXNbXkg(a,a)))
    else:
        return a

def op_count_kYlzE7wslH(a):
    if op_zNymfbJ47P(a) >= 76 or op_MbQEnx6naJ(a) != 362 or op_6MpZysEj17(a) < 302:
        count = op_count_gub5Cegaqo(a,a)+op_count_PoHhknlbAi(203,a)+op_count_XhwjNDsVaA(op_gub5Cegaqo(a,a),op_PoHhknlbAi(203,a))+op_count_ET0KLvfdmE(221,a)+op_count_m1wQXNbXkg(a,a)+op_count_NINxns2OXj(op_ET0KLvfdmE(221,a),op_m1wQXNbXkg(a,a))+op_count_qufViy4tU0(op_XhwjNDsVaA(op_gub5Cegaqo(a,a),op_PoHhknlbAi(203,a)),op_NINxns2OXj(op_ET0KLvfdmE(221,a),op_m1wQXNbXkg(a,a)))+op_count_zNymfbJ47P(a)+op_count_MbQEnx6naJ(a)+op_count_6MpZysEj17(a)
    else:
        count = 1
    return count


def op_pf58PynOjz(a, b):
    return op_7TGVge7HG5(op_36V2MidH9c(op_eZsufpQxSh(b),op_fo48eGTxLC(a,791)),b)

def op_count_pf58PynOjz(a, b):
    count = op_count_eZsufpQxSh(b)+op_count_fo48eGTxLC(a,791)+op_count_36V2MidH9c(op_eZsufpQxSh(b),op_fo48eGTxLC(a,791))+op_count_7TGVge7HG5(op_36V2MidH9c(op_eZsufpQxSh(b),op_fo48eGTxLC(a,791)),b)
    return count


def op_0tpQEh4UHc(a):
    if op_WObL9SsYVE(a,570) != 403:
        return a
    else:
        return op_IGFM8TAlm9(op_aN9a90urxU(a))

def op_count_0tpQEh4UHc(a):
    if op_WObL9SsYVE(a,570) != 403:
        count = 1
    else:
        count = op_count_aN9a90urxU(a)+op_count_IGFM8TAlm9(op_aN9a90urxU(a))
    return count


def op_nh14iaZuFw(a):
    return op_bR7FmX73P0(op_aEZ9JgCP8a(op_ar1w6gUwHX(11,a),op_F5AHWXXekn(a,638)),a)

def op_count_nh14iaZuFw(a):
    count = op_count_ar1w6gUwHX(11,a)+op_count_F5AHWXXekn(a,638)+op_count_aEZ9JgCP8a(op_ar1w6gUwHX(11,a),op_F5AHWXXekn(a,638))+op_count_bR7FmX73P0(op_aEZ9JgCP8a(op_ar1w6gUwHX(11,a),op_F5AHWXXekn(a,638)),a)
    return count


a⫝̸⋷b = { ((b⩘⊒⪣(b⨥⩑⨢a))⪑((a∉⊞⊌154)⇔⇠∵(a⫰⋊⋯a))) }

def op_olRPQDKeNJ(a, b):
    return op_8CI59HBmeC(op_YVB80mNAyD(b,op_FSSPwwucrF(b,a)),op_0wziYLqNx9(op_22UCrTUJEh(a,154),op_9tbqhEjA70(a,a)))

def op_count_olRPQDKeNJ(a, b):
    count = op_count_FSSPwwucrF(b,a)+op_count_YVB80mNAyD(b,op_FSSPwwucrF(b,a))+op_count_22UCrTUJEh(a,154)+op_count_9tbqhEjA70(a,a)+op_count_0wziYLqNx9(op_22UCrTUJEh(a,154),op_9tbqhEjA70(a,a))+op_count_8CI59HBmeC(op_YVB80mNAyD(b,op_FSSPwwucrF(b,a)),op_0wziYLqNx9(op_22UCrTUJEh(a,154),op_9tbqhEjA70(a,a)))
    return count


a⪘⪠b = { (((a⫗⊐14)∰⋭(b⊙∅↹))⨼⋆≾(⪁⫳↲(⪛⨧a))) }

def op_ogFgcaYPum(a, b):
    return op_I8Ve4empKG(op_qeG8mGoQOE(op_ziaaVG88k7(a,14),op_B1Lk3S4aEx(b)),op_TcWRjSoWrE(op_6NJAcO2OWT(a)))

def op_count_ogFgcaYPum(a, b):
    count = op_count_ziaaVG88k7(a,14)+op_count_B1Lk3S4aEx(b)+op_count_qeG8mGoQOE(op_ziaaVG88k7(a,14),op_B1Lk3S4aEx(b))+op_count_6NJAcO2OWT(a)+op_count_TcWRjSoWrE(op_6NJAcO2OWT(a))+op_count_I8Ve4empKG(op_qeG8mGoQOE(op_ziaaVG88k7(a,14),op_B1Lk3S4aEx(b)),op_TcWRjSoWrE(op_6NJAcO2OWT(a)))
    return count


a⫏≍b = { (((b⋦)∠⊨≪(b⫮⊿))≤⋮((a⫝)⇶∤(a⨊b))) }

def op_77QyojrO9P(a, b):
    return op_gaaDP0UKzK(op_Y6u3OyaTgl(op_LJjZ19xYgc(b),op_89nYMzsCi7(b)),op_AkfP8Zv6DW(op_QRiKE94HQh(a),op_lGaBDnHbCC(a,b)))

def op_count_77QyojrO9P(a, b):
    count = op_count_LJjZ19xYgc(b)+op_count_89nYMzsCi7(b)+op_count_Y6u3OyaTgl(op_LJjZ19xYgc(b),op_89nYMzsCi7(b))+op_count_QRiKE94HQh(a)+op_count_lGaBDnHbCC(a,b)+op_count_AkfP8Zv6DW(op_QRiKE94HQh(a),op_lGaBDnHbCC(a,b))+op_count_gaaDP0UKzK(op_Y6u3OyaTgl(op_LJjZ19xYgc(b),op_89nYMzsCi7(b)),op_AkfP8Zv6DW(op_QRiKE94HQh(a),op_lGaBDnHbCC(a,b)))
    return count


def op_Aujgi7e9sH(a):
    return op_pqh8fhqG2f(op_e9vVQXp6da(op_xrB6SlzufE(230,a),op_aBQ6xLxuTc(a,a)))

def op_count_Aujgi7e9sH(a):
    count = op_count_xrB6SlzufE(230,a)+op_count_aBQ6xLxuTc(a,a)+op_count_e9vVQXp6da(op_xrB6SlzufE(230,a),op_aBQ6xLxuTc(a,a))+op_count_pqh8fhqG2f(op_e9vVQXp6da(op_xrB6SlzufE(230,a),op_aBQ6xLxuTc(a,a)))
    return count


a≍⇷b = { (((a≣⇔∕a)⇏(b⨳⋭⩊a))⩒⫫((b⇹⋂⨚a)≇⊭↭(a⋁))) }

def op_Wz77QOMFmQ(a, b):
    return op_KFSx94NKJn(op_PgomNjGXmI(op_05K4kaXxgg(a,a),op_hI7k9NMHqW(b,a)),op_aNWsvqozUr(op_wGJ01FE41T(b,a),op_R6sRhpmvlr(a)))

def op_count_Wz77QOMFmQ(a, b):
    count = op_count_05K4kaXxgg(a,a)+op_count_hI7k9NMHqW(b,a)+op_count_PgomNjGXmI(op_05K4kaXxgg(a,a),op_hI7k9NMHqW(b,a))+op_count_wGJ01FE41T(b,a)+op_count_R6sRhpmvlr(a)+op_count_aNWsvqozUr(op_wGJ01FE41T(b,a),op_R6sRhpmvlr(a))+op_count_KFSx94NKJn(op_PgomNjGXmI(op_05K4kaXxgg(a,a),op_hI7k9NMHqW(b,a)),op_aNWsvqozUr(op_wGJ01FE41T(b,a),op_R6sRhpmvlr(a)))
    return count


def op_G4WqXsvow1(a):
    return op_qpOCIbTlAF(op_vjAZhCvnmo(op_LdNpr8hQHL(a),op_iRVJYj8mGz(a,a)))

def op_count_G4WqXsvow1(a):
    count = op_count_LdNpr8hQHL(a)+op_count_iRVJYj8mGz(a,a)+op_count_vjAZhCvnmo(op_LdNpr8hQHL(a),op_iRVJYj8mGz(a,a))+op_count_qpOCIbTlAF(op_vjAZhCvnmo(op_LdNpr8hQHL(a),op_iRVJYj8mGz(a,a)))
    return count


↾⩽⨧a = { (((a≙⪾21)⨽∌(a⊠⋬↑a))≶⩊⋊((a⇛a)↜↔⇀(⋚⪦⪽a))) }

def op_sVi2Mjel97(a):
    return op_sFi0oIX7gK(op_9samAPKr6k(op_OhqpJ7Tl0K(a,21),op_W7L2oCKInH(a,a)),op_RXUpafmlG7(op_S3tN1ZzpSt(a,a),op_VjnqvBkomr(a)))

def op_count_sVi2Mjel97(a):
    count = op_count_OhqpJ7Tl0K(a,21)+op_count_W7L2oCKInH(a,a)+op_count_9samAPKr6k(op_OhqpJ7Tl0K(a,21),op_W7L2oCKInH(a,a))+op_count_S3tN1ZzpSt(a,a)+op_count_VjnqvBkomr(a)+op_count_RXUpafmlG7(op_S3tN1ZzpSt(a,a),op_VjnqvBkomr(a))+op_count_sFi0oIX7gK(op_9samAPKr6k(op_OhqpJ7Tl0K(a,21),op_W7L2oCKInH(a,a)),op_RXUpafmlG7(op_S3tN1ZzpSt(a,a),op_VjnqvBkomr(a)))
    return count


def op_WHqiHNQx1A(a):
    return op_d5CHQX7ZoG(a,a)

def op_count_WHqiHNQx1A(a):
    count = op_count_d5CHQX7ZoG(a,a)
    return count


def op_b2NvoRQKYw(a):
    return op_uFcxV4UQCh(a,a)

def op_count_b2NvoRQKYw(a):
    count = op_count_uFcxV4UQCh(a,a)
    return count


def op_gjiB2nRvj7(a, b):
    if (op_gKpnf7Fn5k(a) != 323 or op_H7BGMwr14A(a) <= 64 or b > 610):
        return op_HK0tfVPux8(op_MKCxaPE9tg(700,b),op_qg6AVprVkX(174))
    else:
        return op_NCK8ztm4vY(op_l6yaTd3a70(b),op_f8SZfwPBRv(b))

def op_count_gjiB2nRvj7(a, b):
    if (op_gKpnf7Fn5k(a) != 323 or op_H7BGMwr14A(a) <= 64 or b > 610):
        count = op_count_MKCxaPE9tg(700,b)+op_count_qg6AVprVkX(174)+op_count_HK0tfVPux8(op_MKCxaPE9tg(700,b),op_qg6AVprVkX(174))+op_count_gKpnf7Fn5k(a)+op_count_H7BGMwr14A(a)
    else:
        count = op_count_l6yaTd3a70(b)+op_count_f8SZfwPBRv(b)+op_count_NCK8ztm4vY(op_l6yaTd3a70(b),op_f8SZfwPBRv(b))
    return count


def op_lNo3Ts1j0w(a):
    if a != 500:
        return op_eY5BGNLxQI(op_RZ5CV9rWsJ(a,a),op_yyGr8FKHqM(143,600))
    else:
        return op_B48fwm0ULD(op_Am7a1SffsG(a))

def op_count_lNo3Ts1j0w(a):
    if a != 500:
        count = op_count_RZ5CV9rWsJ(a,a)+op_count_yyGr8FKHqM(143,600)+op_count_eY5BGNLxQI(op_RZ5CV9rWsJ(a,a),op_yyGr8FKHqM(143,600))
    else:
        count = op_count_Am7a1SffsG(a)+op_count_B48fwm0ULD(op_Am7a1SffsG(a))
    return count


a⩽⊩b = { ((⩐a)⪏⇁⨻(⇄≱↜(a↴↤a))) , if (a↝⋫763)>109 ; (((148⩉⪲⨦a)⊋≦⊧(⩎b))⊏≷≳) , else }

def op_jOWLc0xSqG(a, b):
    if op_EGhGGaRcC7(a,763) > 109:
        return op_Bw1fwYnFxE(op_zukycwwyTc(a),op_Vx83N9Bscg(op_HdNtoxZyhx(a,a)))
    else:
        return op_IyXueN9Vxj(op_oRDoc9rAEX(op_Is2W053hpV(148,a),op_3TAF4R0zOB(b)))

def op_count_jOWLc0xSqG(a, b):
    if op_EGhGGaRcC7(a,763) > 109:
        count = op_count_zukycwwyTc(a)+op_count_HdNtoxZyhx(a,a)+op_count_Vx83N9Bscg(op_HdNtoxZyhx(a,a))+op_count_Bw1fwYnFxE(op_zukycwwyTc(a),op_Vx83N9Bscg(op_HdNtoxZyhx(a,a)))+op_count_EGhGGaRcC7(a,763)
    else:
        count = op_count_Is2W053hpV(148,a)+op_count_3TAF4R0zOB(b)+op_count_oRDoc9rAEX(op_Is2W053hpV(148,a),op_3TAF4R0zOB(b))+op_count_IyXueN9Vxj(op_oRDoc9rAEX(op_Is2W053hpV(148,a),op_3TAF4R0zOB(b)))
    return count


def op_DfQeRGhLyD(a):
    return op_4JB6nKBMSY(op_QunAGeO7fw(op_F9Zfm1dsok(697,a),op_nzqACYN83e(a)),op_3FsoGOMzDA(op_Ikma4L65yo(a),op_yXekIHxTD4(236,a)))

def op_count_DfQeRGhLyD(a):
    count = op_count_F9Zfm1dsok(697,a)+op_count_nzqACYN83e(a)+op_count_QunAGeO7fw(op_F9Zfm1dsok(697,a),op_nzqACYN83e(a))+op_count_Ikma4L65yo(a)+op_count_yXekIHxTD4(236,a)+op_count_3FsoGOMzDA(op_Ikma4L65yo(a),op_yXekIHxTD4(236,a))+op_count_4JB6nKBMSY(op_QunAGeO7fw(op_F9Zfm1dsok(697,a),op_nzqACYN83e(a)),op_3FsoGOMzDA(op_Ikma4L65yo(a),op_yXekIHxTD4(236,a)))
    return count


def op_wDzxqlEc6l(a):
    return op_qi2PGaRFP5(op_WRl4KaSwns(op_GMrB5OisJT(a),op_tzokWjBnUu(a,a)))

def op_count_wDzxqlEc6l(a):
    count = op_count_GMrB5OisJT(a)+op_count_tzokWjBnUu(a,a)+op_count_WRl4KaSwns(op_GMrB5OisJT(a),op_tzokWjBnUu(a,a))+op_count_qi2PGaRFP5(op_WRl4KaSwns(op_GMrB5OisJT(a),op_tzokWjBnUu(a,a)))
    return count


a⇖⇻⋊ = { ((227⨢↰a)∿⇄∔(≪a)) , if (a⊚⨔)!=233 ; ((a∇∹a)≜) , else }

def op_kgUv28grIb(a):
    if op_XbEAUggs3J(a) != 233:
        return op_H0hvRnhmX4(op_xTB5j2aZzK(227,a),op_Qtd6bqUJcN(a))
    else:
        return op_jvbZP6NeOL(op_NQx0zRYggH(a,a))

def op_count_kgUv28grIb(a):
    if op_XbEAUggs3J(a) != 233:
        count = op_count_xTB5j2aZzK(227,a)+op_count_Qtd6bqUJcN(a)+op_count_H0hvRnhmX4(op_xTB5j2aZzK(227,a),op_Qtd6bqUJcN(a))+op_count_XbEAUggs3J(a)
    else:
        count = op_count_NQx0zRYggH(a,a)+op_count_jvbZP6NeOL(op_NQx0zRYggH(a,a))
    return count


⊶⫻↩a = { (⇾⩊⇾a) , if (⨤≛⊯a)>72 ; (230≤⨝) , else }

def op_4cew1NbZSu(a):
    if op_3YRBMmnbKr(a) > 72:
        return op_bx9Z9DAK5y(a)
    else:
        return op_itkOnPxCeF(230)

def op_count_4cew1NbZSu(a):
    if op_3YRBMmnbKr(a) > 72:
        count = op_count_bx9Z9DAK5y(a)+op_count_3YRBMmnbKr(a)
    else:
        count = op_count_itkOnPxCeF(230)
    return count


a⫛⨎ = { (≒⨯((a↯⋎a)↝⋫(a⊖⊬∳a))) , if (a⊝⇑≪)>=120 ; (((5↣a)∥⋈(a⪿⪠≾a))⫳((264⩲a)⊕(⊙⋩a))) , else }

def op_TE9JiZCLCZ(a):
    if op_yZQ9bFX2OK(a) >= 120:
        return op_qG9ZqFzE8s(op_EGhGGaRcC7(op_0MmFDdeb7B(a,a),op_xonniTcBY0(a,a)))
    else:
        return op_PVw4wBg8va(op_j7kFUh2iBI(op_M0eZcchmsa(5,a),op_SGDLQMSxql(a,a)),op_jln2xDVLTl(op_UvedHhwKRj(264,a),op_wWIXvozSzm(a)))

def op_count_TE9JiZCLCZ(a):
    if op_yZQ9bFX2OK(a) >= 120:
        count = op_count_0MmFDdeb7B(a,a)+op_count_xonniTcBY0(a,a)+op_count_EGhGGaRcC7(op_0MmFDdeb7B(a,a),op_xonniTcBY0(a,a))+op_count_qG9ZqFzE8s(op_EGhGGaRcC7(op_0MmFDdeb7B(a,a),op_xonniTcBY0(a,a)))+op_count_yZQ9bFX2OK(a)
    else:
        count = op_count_M0eZcchmsa(5,a)+op_count_SGDLQMSxql(a,a)+op_count_j7kFUh2iBI(op_M0eZcchmsa(5,a),op_SGDLQMSxql(a,a))+op_count_UvedHhwKRj(264,a)+op_count_wWIXvozSzm(a)+op_count_jln2xDVLTl(op_UvedHhwKRj(264,a),op_wWIXvozSzm(a))+op_count_PVw4wBg8va(op_j7kFUh2iBI(op_M0eZcchmsa(5,a),op_SGDLQMSxql(a,a)),op_jln2xDVLTl(op_UvedHhwKRj(264,a),op_wWIXvozSzm(a)))
    return count


def op_BVftKyGIpn(a, b):
    if op_3Cfxs2sGIE(b,751) <= 646:
        return op_9kyI0w1glK(op_4X4GscPmMf(b),op_PxFlO9LMOG(a))
    else:
        return op_kE9YHawE8s(op_cqlfqPYv00(30,a),op_qeG8mGoQOE(b,114))

def op_count_BVftKyGIpn(a, b):
    if op_3Cfxs2sGIE(b,751) <= 646:
        count = op_count_4X4GscPmMf(b)+op_count_PxFlO9LMOG(a)+op_count_9kyI0w1glK(op_4X4GscPmMf(b),op_PxFlO9LMOG(a))+op_count_3Cfxs2sGIE(b,751)
    else:
        count = op_count_cqlfqPYv00(30,a)+op_count_qeG8mGoQOE(b,114)+op_count_kE9YHawE8s(op_cqlfqPYv00(30,a),op_qeG8mGoQOE(b,114))
    return count


def op_r12yZ9Vwrm(a):
    return op_r52rsuXYVw(op_TFC8BisZgT(107,a),op_IjGhTk7PpW(a,a))

def op_count_r12yZ9Vwrm(a):
    count = op_count_TFC8BisZgT(107,a)+op_count_IjGhTk7PpW(a,a)+op_count_r52rsuXYVw(op_TFC8BisZgT(107,a),op_IjGhTk7PpW(a,a))
    return count


def op_1GglZyvUOk(a):
    return op_h1U3ZT2Qlc(op_O7TnP5W6K9(a),op_wUMGGCA6kW(op_8GoaSTesSg(a,a),op_17vTJqz9Ht(506)))

def op_count_1GglZyvUOk(a):
    count = op_count_O7TnP5W6K9(a)+op_count_8GoaSTesSg(a,a)+op_count_17vTJqz9Ht(506)+op_count_wUMGGCA6kW(op_8GoaSTesSg(a,a),op_17vTJqz9Ht(506))+op_count_h1U3ZT2Qlc(op_O7TnP5W6K9(a),op_wUMGGCA6kW(op_8GoaSTesSg(a,a),op_17vTJqz9Ht(506)))
    return count


def op_HUGdMAKuFc(a):
    return op_eLxqMNBOBk(op_9Cu3UApIng(op_ZVuupJtoea(a,a)))

def op_count_HUGdMAKuFc(a):
    count = op_count_ZVuupJtoea(a,a)+op_count_9Cu3UApIng(op_ZVuupJtoea(a,a))+op_count_eLxqMNBOBk(op_9Cu3UApIng(op_ZVuupJtoea(a,a)))
    return count


def op_IexCKy4jlb(a):
    return op_ZG1KnpkPxw(a,a)

def op_count_IexCKy4jlb(a):
    count = op_count_ZG1KnpkPxw(a,a)
    return count


def op_YWzE9lFDSS(a, b):
    if (op_Es8UyEPW03(b,3) >= 250 or op_kRLvCwTm6h(a) < 157):
        return op_7DoUD1Rkxi(op_A0R0hrgyGo(a,a),op_Qsw9fW7fQc(212,a))
    else:
        return op_E64sFOc4tB(op_r42jg1nETI(a,361))

def op_count_YWzE9lFDSS(a, b):
    if (op_Es8UyEPW03(b,3) >= 250 or op_kRLvCwTm6h(a) < 157):
        count = op_count_A0R0hrgyGo(a,a)+op_count_Qsw9fW7fQc(212,a)+op_count_7DoUD1Rkxi(op_A0R0hrgyGo(a,a),op_Qsw9fW7fQc(212,a))+op_count_Es8UyEPW03(b,3)+op_count_kRLvCwTm6h(a)
    else:
        count = op_count_r42jg1nETI(a,361)+op_count_E64sFOc4tB(op_r42jg1nETI(a,361))
    return count


def op_BHOuU9c70O(a, b):
    return op_GJLngeV5jM(op_S4LUIutb1e(b,a),op_grXIztHqDa(58))

def op_count_BHOuU9c70O(a, b):
    count = op_count_S4LUIutb1e(b,a)+op_count_grXIztHqDa(58)+op_count_GJLngeV5jM(op_S4LUIutb1e(b,a),op_grXIztHqDa(58))
    return count


def op_kIemMrN4GV(a, b):
    return op_JI6Y01kM0I(op_zDv8rCDQpS(b),op_jBncVCNhdl(a,a))

def op_count_kIemMrN4GV(a, b):
    count = op_count_zDv8rCDQpS(b)+op_count_jBncVCNhdl(a,a)+op_count_JI6Y01kM0I(op_zDv8rCDQpS(b),op_jBncVCNhdl(a,a))
    return count


def op_DK6VLJQKIG(a, b):
    return op_00rZeUMtnD(op_XhwjNDsVaA(a,b))

def op_count_DK6VLJQKIG(a, b):
    count = op_count_XhwjNDsVaA(a,b)+op_count_00rZeUMtnD(op_XhwjNDsVaA(a,b))
    return count


a≱∍⫀b = { ((a⋺⫬34)⇔⇠∵(⩪⫡⊌a)) , if (b∫∘⫔26)==185 ; ((⩪∧⨌a)⇎⋱(b⫣⨩a)) , else }

def op_zxy7X5FkzH(a, b):
    if op_3TJII8pRfQ(b,26) == 185:
        return op_0wziYLqNx9(op_N2CwLZHY2H(a,34),op_Tgte3JtaA5(a))
    else:
        return op_bIDw1T0Uny(op_6iOiAJX1F8(a),op_4ZyE98Jico(b,a))

def op_count_zxy7X5FkzH(a, b):
    if op_3TJII8pRfQ(b,26) == 185:
        count = op_count_N2CwLZHY2H(a,34)+op_count_Tgte3JtaA5(a)+op_count_0wziYLqNx9(op_N2CwLZHY2H(a,34),op_Tgte3JtaA5(a))+op_count_3TJII8pRfQ(b,26)
    else:
        count = op_count_6iOiAJX1F8(a)+op_count_4ZyE98Jico(b,a)+op_count_bIDw1T0Uny(op_6iOiAJX1F8(a),op_4ZyE98Jico(b,a))
    return count


def op_rAoQIM5poM(a):
    return op_S3pNg7gwuQ(op_F9Zfm1dsok(op_QDVgd2eftb(214,a),op_yXb8vAEUka(237)),op_6l7ULzJsnZ(op_J9p31WXma4(187,a)))

def op_count_rAoQIM5poM(a):
    count = op_count_QDVgd2eftb(214,a)+op_count_yXb8vAEUka(237)+op_count_F9Zfm1dsok(op_QDVgd2eftb(214,a),op_yXb8vAEUka(237))+op_count_J9p31WXma4(187,a)+op_count_6l7ULzJsnZ(op_J9p31WXma4(187,a))+op_count_S3pNg7gwuQ(op_F9Zfm1dsok(op_QDVgd2eftb(214,a),op_yXb8vAEUka(237)),op_6l7ULzJsnZ(op_J9p31WXma4(187,a)))
    return count


def op_QLdimEuAYp(a):
    if op_NTLdrygXQH(a) != 189:
        return op_8w2t5hMYqp(op_TPY4Vhd24N(a,472))
    else:
        return op_lEJwZ8Bbna(op_IWmyXbctLI(413,a))

def op_count_QLdimEuAYp(a):
    if op_NTLdrygXQH(a) != 189:
        count = op_count_TPY4Vhd24N(a,472)+op_count_8w2t5hMYqp(op_TPY4Vhd24N(a,472))+op_count_NTLdrygXQH(a)
    else:
        count = op_count_IWmyXbctLI(413,a)+op_count_lEJwZ8Bbna(op_IWmyXbctLI(413,a))
    return count


a⩘⊻∩ = { (a≤⨝) , if (⋞⊪∩a)<=252 and a==230 ; a , else }

def op_xP5AhlsqBE(a):
    if op_FQxrAp7wUb(a) <= 252 and a == 230:
        return op_itkOnPxCeF(a)
    else:
        return a

def op_count_xP5AhlsqBE(a):
    if op_FQxrAp7wUb(a) <= 252 and a == 230:
        count = op_count_itkOnPxCeF(a)+op_count_FQxrAp7wUb(a)
    else:
        count = 1
    return count


a≐⫾⫈b = { b , if b>=480 ; (((a≎)⩄⊊(⋵b))⊬⩼⊳(⇒∈(b∲⫓b))) , else }

def op_IU7sCk8QVd(a, b):
    if b >= 480:
        return b
    else:
        return op_4F7LFkBAZC(op_ckxBfo3j3z(op_ziBb4sC0ZT(a),op_SMtK2Ho1FK(b)),op_CCAkqlVbr4(op_i8ToyICDmI(b,b)))

def op_count_IU7sCk8QVd(a, b):
    if b >= 480:
        count = 1
    else:
        count = op_count_ziBb4sC0ZT(a)+op_count_SMtK2Ho1FK(b)+op_count_ckxBfo3j3z(op_ziBb4sC0ZT(a),op_SMtK2Ho1FK(b))+op_count_i8ToyICDmI(b,b)+op_count_CCAkqlVbr4(op_i8ToyICDmI(b,b))+op_count_4F7LFkBAZC(op_ckxBfo3j3z(op_ziBb4sC0ZT(a),op_SMtK2Ho1FK(b)),op_CCAkqlVbr4(op_i8ToyICDmI(b,b)))
    return count


a∔⋺≯b = { (b⩻↮≝b) , if (∃a)==186 or b>59 ; (a⋥⋵⩄47) , else }

def op_J7W6jckXgl(a, b):
    if op_LUdrfeGgJL(a) == 186 or b > 59:
        return op_IHpSDSxKMI(b,b)
    else:
        return op_7t3wd0Fuz7(a,47)

def op_count_J7W6jckXgl(a, b):
    if op_LUdrfeGgJL(a) == 186 or b > 59:
        count = op_count_IHpSDSxKMI(b,b)+op_count_LUdrfeGgJL(a)
    else:
        count = op_count_7t3wd0Fuz7(a,47)
    return count


def op_ZJjC9dUWrm(a):
    if (a >= 320 and op_7uXtx8XWax(a) <= 106):
        return op_8CI59HBmeC(op_lSgQqoZ1E5(op_wd3DeAcC9f(a,a)),op_UscWZcTkUL(a,op_21ob1huWpa(a,a)))
    else:
        return op_aEfDsFgi2n(op_QbnwKVWMIQ(op_pzIYUzZX5D(a,a),op_7vzQ3v2UG6(143,a)),op_X8DMfAISiV(op_1wGGHZzAai(a)))

def op_count_ZJjC9dUWrm(a):
    if (a >= 320 and op_7uXtx8XWax(a) <= 106):
        count = op_count_wd3DeAcC9f(a,a)+op_count_lSgQqoZ1E5(op_wd3DeAcC9f(a,a))+op_count_21ob1huWpa(a,a)+op_count_UscWZcTkUL(a,op_21ob1huWpa(a,a))+op_count_8CI59HBmeC(op_lSgQqoZ1E5(op_wd3DeAcC9f(a,a)),op_UscWZcTkUL(a,op_21ob1huWpa(a,a)))+op_count_7uXtx8XWax(a)
    else:
        count = op_count_pzIYUzZX5D(a,a)+op_count_7vzQ3v2UG6(143,a)+op_count_QbnwKVWMIQ(op_pzIYUzZX5D(a,a),op_7vzQ3v2UG6(143,a))+op_count_1wGGHZzAai(a)+op_count_X8DMfAISiV(op_1wGGHZzAai(a))+op_count_aEfDsFgi2n(op_QbnwKVWMIQ(op_pzIYUzZX5D(a,a),op_7vzQ3v2UG6(143,a)),op_X8DMfAISiV(op_1wGGHZzAai(a)))
    return count


a⩙⇄∡ = { (((249⩟⇛⊂a)⊧)⋇↵⋅((a⪓a)⫭⨾(a↖≺⇫a))) , if (a⋥≓≎455)!=85 and (a⩡⩩)<=45 ; (↰⫏(a↸(a∢≙a))) , else }

def op_kmUSY1RLnD(a):
    if op_Qy55tPpLXF(a,455) != 85 and op_ShBvFzxPDQ(a) <= 45:
        return op_aEZ9JgCP8a(op_HLtJe7OQfK(op_QT3sqWOBfx(249,a)),op_9C14WDc2HD(op_1v5pUZ2RLP(a,a),op_rh14SKPVeV(a,a)))
    else:
        return op_UeUK5QjOtW(op_1eCjFl0mb9(a,op_BXZdiG1zfY(a,a)))

def op_count_kmUSY1RLnD(a):
    if op_Qy55tPpLXF(a,455) != 85 and op_ShBvFzxPDQ(a) <= 45:
        count = op_count_QT3sqWOBfx(249,a)+op_count_HLtJe7OQfK(op_QT3sqWOBfx(249,a))+op_count_1v5pUZ2RLP(a,a)+op_count_rh14SKPVeV(a,a)+op_count_9C14WDc2HD(op_1v5pUZ2RLP(a,a),op_rh14SKPVeV(a,a))+op_count_aEZ9JgCP8a(op_HLtJe7OQfK(op_QT3sqWOBfx(249,a)),op_9C14WDc2HD(op_1v5pUZ2RLP(a,a),op_rh14SKPVeV(a,a)))+op_count_Qy55tPpLXF(a,455)+op_count_ShBvFzxPDQ(a)
    else:
        count = op_count_BXZdiG1zfY(a,a)+op_count_1eCjFl0mb9(a,op_BXZdiG1zfY(a,a))+op_count_UeUK5QjOtW(op_1eCjFl0mb9(a,op_BXZdiG1zfY(a,a)))
    return count


def op_V7WZTyCj35(a):
    if a != 649:
        return op_FNfUIKSbyQ(a)
    else:
        return op_HK0tfVPux8(op_t1gIPYuk3R(a),op_ntT9PAI6rF(231,883))

def op_count_V7WZTyCj35(a):
    if a != 649:
        count = op_count_FNfUIKSbyQ(a)
    else:
        count = op_count_t1gIPYuk3R(a)+op_count_ntT9PAI6rF(231,883)+op_count_HK0tfVPux8(op_t1gIPYuk3R(a),op_ntT9PAI6rF(231,883))
    return count


⪧a = { ((⋍≭≼a)≅≙⩢) , if a<406 ; ((a⋅)⫣⪄⊒(a⫶a)) , else }

def op_g1NRBt4No0(a):
    if a < 406:
        return op_9P8cn3rNAU(op_Osz0M3HhIq(a))
    else:
        return op_RabNbG55vr(op_620seOwKww(a),op_BAIXFdYaz3(a,a))

def op_count_g1NRBt4No0(a):
    if a < 406:
        count = op_count_Osz0M3HhIq(a)+op_count_9P8cn3rNAU(op_Osz0M3HhIq(a))
    else:
        count = op_count_620seOwKww(a)+op_count_BAIXFdYaz3(a,a)+op_count_RabNbG55vr(op_620seOwKww(a),op_BAIXFdYaz3(a,a))
    return count


def op_jZZVGDEJeM(a, b):
    return op_JRqKiIdTS7(op_KCQC7vSPgj(op_7IRjtmSsUO(a,a),op_OkeBNI2wuD(a,b)))

def op_count_jZZVGDEJeM(a, b):
    count = op_count_7IRjtmSsUO(a,a)+op_count_OkeBNI2wuD(a,b)+op_count_KCQC7vSPgj(op_7IRjtmSsUO(a,a),op_OkeBNI2wuD(a,b))+op_count_JRqKiIdTS7(op_KCQC7vSPgj(op_7IRjtmSsUO(a,a),op_OkeBNI2wuD(a,b)))
    return count


def op_laSRlfPI3y(a, b):
    if op_hI7k9NMHqW(a,197) >= 34:
        return 53
    else:
        return op_CArV6hThFE(b)

def op_count_laSRlfPI3y(a, b):
    if op_hI7k9NMHqW(a,197) >= 34:
        count = op_count_hI7k9NMHqW(a,197)
    else:
        count = op_count_CArV6hThFE(b)
    return count


a⫯⫳⪜ = { (a⩘) , if ((⇆∐⩂a)>=535 or (⊛⨰⋷a)>=346 or a<=71) ; (a⇴≮⊋a) , else }

def op_UUeJZOHX36(a):
    if (op_yD5rMtMDT4(a) >= 535 or op_KlNKuDZ4P4(a) >= 346 or a <= 71):
        return op_wvHyciQT5X(a)
    else:
        return op_1guADMLg5x(a,a)

def op_count_UUeJZOHX36(a):
    if (op_yD5rMtMDT4(a) >= 535 or op_KlNKuDZ4P4(a) >= 346 or a <= 71):
        count = op_count_wvHyciQT5X(a)+op_count_yD5rMtMDT4(a)+op_count_KlNKuDZ4P4(a)
    else:
        count = op_count_1guADMLg5x(a,a)
    return count


a⇓↭b = { (⩆↑⇝(b↣⩾⨿128)) , if (b⨌↿434)>39 ; (⋈⩠⪚(a⊝⪴↚a)) , else }

def op_LcSyNDswmv(a, b):
    if op_mOUIj6rraD(b,434) > 39:
        return op_FAUHmXADzM(op_Kgf5n7vQLW(b,128))
    else:
        return op_V35NDd4Suc(op_ZcEZS9J7rM(a,a))

def op_count_LcSyNDswmv(a, b):
    if op_mOUIj6rraD(b,434) > 39:
        count = op_count_Kgf5n7vQLW(b,128)+op_count_FAUHmXADzM(op_Kgf5n7vQLW(b,128))+op_count_mOUIj6rraD(b,434)
    else:
        count = op_count_ZcEZS9J7rM(a,a)+op_count_V35NDd4Suc(op_ZcEZS9J7rM(a,a))
    return count


a←⇐b = { (((a⫲⨊)⫑⨱(a⋋∟⊰12))∱⨑((b/⋨a)⋘↷↾(200⇫⨙a))) }

def op_GIhpFIUPsE(a, b):
    return op_GHTZleiggj(op_ckHj138N5r(op_CArV6hThFE(a),op_mrNpOysvNy(a,12)),op_1Scw8a5e7g(op_cdLdONPVMp(b,a),op_5hfPSBHW5r(200,a)))

def op_count_GIhpFIUPsE(a, b):
    count = op_count_CArV6hThFE(a)+op_count_mrNpOysvNy(a,12)+op_count_ckHj138N5r(op_CArV6hThFE(a),op_mrNpOysvNy(a,12))+op_count_cdLdONPVMp(b,a)+op_count_5hfPSBHW5r(200,a)+op_count_1Scw8a5e7g(op_cdLdONPVMp(b,a),op_5hfPSBHW5r(200,a))+op_count_GHTZleiggj(op_ckHj138N5r(op_CArV6hThFE(a),op_mrNpOysvNy(a,12)),op_1Scw8a5e7g(op_cdLdONPVMp(b,a),op_5hfPSBHW5r(200,a)))
    return count


def op_05ltX3iTOF(a):
    if op_xeKVJklxVA(a,554) == 38:
        return op_tfk3gx8Z61(op_i8ToyICDmI(op_9G2jV8oAtO(703,a),op_SVbYQ5zZTr(a,229)),op_6StxWVwnvA(op_i43TpB2HrT(a,a),op_Ih3UVhBbvd(237,a)))
    else:
        return a

def op_count_05ltX3iTOF(a):
    if op_xeKVJklxVA(a,554) == 38:
        count = op_count_9G2jV8oAtO(703,a)+op_count_SVbYQ5zZTr(a,229)+op_count_i8ToyICDmI(op_9G2jV8oAtO(703,a),op_SVbYQ5zZTr(a,229))+op_count_i43TpB2HrT(a,a)+op_count_Ih3UVhBbvd(237,a)+op_count_6StxWVwnvA(op_i43TpB2HrT(a,a),op_Ih3UVhBbvd(237,a))+op_count_tfk3gx8Z61(op_i8ToyICDmI(op_9G2jV8oAtO(703,a),op_SVbYQ5zZTr(a,229)),op_6StxWVwnvA(op_i43TpB2HrT(a,a),op_Ih3UVhBbvd(237,a)))+op_count_xeKVJklxVA(a,554)
    else:
        count = 1
    return count


def op_4001miwxf9(a):
    if op_fP1Mkoq5j5(a) != 336 and op_5hfPSBHW5r(a,804) < 269:
        return op_mB7zfwCp1n(432,a)
    else:
        return op_jBncVCNhdl(a,a)

def op_count_4001miwxf9(a):
    if op_fP1Mkoq5j5(a) != 336 and op_5hfPSBHW5r(a,804) < 269:
        count = op_count_mB7zfwCp1n(432,a)+op_count_fP1Mkoq5j5(a)+op_count_5hfPSBHW5r(a,804)
    else:
        count = op_count_jBncVCNhdl(a,a)
    return count


def op_xbJbJbSYo4(a, b):
    if op_m7zcvuzcjJ(a) <= 78:
        return op_NQTbndOZCW(op_Wybb8daXue(a),op_7IRjtmSsUO(a,b))
    else:
        return op_yPRFSXaFQ1(op_kuIXHzHcAH(191,b),op_p1y54au9R0(283))

def op_count_xbJbJbSYo4(a, b):
    if op_m7zcvuzcjJ(a) <= 78:
        count = op_count_Wybb8daXue(a)+op_count_7IRjtmSsUO(a,b)+op_count_NQTbndOZCW(op_Wybb8daXue(a),op_7IRjtmSsUO(a,b))+op_count_m7zcvuzcjJ(a)
    else:
        count = op_count_kuIXHzHcAH(191,b)+op_count_p1y54au9R0(283)+op_count_yPRFSXaFQ1(op_kuIXHzHcAH(191,b),op_p1y54au9R0(283))
    return count


√⩈a = { (((a⫆⋶a)⊼⊥∠)⪘*⋴((174∪≡222)∡≴⫵(a≇⨤⊇543))) , if a<=177 ; (((a⪕⋍a)⊈⨦(a⪰⋼⨗a))⪟⇇((a∛⋻↤24)⊡⋶(↘a))) , else }

def op_7PYQjb7XP7(a):
    if a <= 177:
        return op_WA4yiEtoyW(op_8MVGE24Zp8(op_PogVMsAOp4(a,a)),op_tJkeIIum6v(op_IdpAe6zfUM(174,222),op_nLhlVZSGl1(a,543)))
    else:
        return op_n4a7NEQ25Y(op_NCK8ztm4vY(op_NLWUahlHYy(a,a),op_JjGBB9f9Hu(a,a)),op_zXQIJkDMTk(op_k3GVCLYZsC(a,24),op_LdNpr8hQHL(a)))

def op_count_7PYQjb7XP7(a):
    if a <= 177:
        count = op_count_PogVMsAOp4(a,a)+op_count_8MVGE24Zp8(op_PogVMsAOp4(a,a))+op_count_IdpAe6zfUM(174,222)+op_count_nLhlVZSGl1(a,543)+op_count_tJkeIIum6v(op_IdpAe6zfUM(174,222),op_nLhlVZSGl1(a,543))+op_count_WA4yiEtoyW(op_8MVGE24Zp8(op_PogVMsAOp4(a,a)),op_tJkeIIum6v(op_IdpAe6zfUM(174,222),op_nLhlVZSGl1(a,543)))
    else:
        count = op_count_NLWUahlHYy(a,a)+op_count_JjGBB9f9Hu(a,a)+op_count_NCK8ztm4vY(op_NLWUahlHYy(a,a),op_JjGBB9f9Hu(a,a))+op_count_k3GVCLYZsC(a,24)+op_count_LdNpr8hQHL(a)+op_count_zXQIJkDMTk(op_k3GVCLYZsC(a,24),op_LdNpr8hQHL(a))+op_count_n4a7NEQ25Y(op_NCK8ztm4vY(op_NLWUahlHYy(a,a),op_JjGBB9f9Hu(a,a)),op_zXQIJkDMTk(op_k3GVCLYZsC(a,24),op_LdNpr8hQHL(a)))
    return count


def op_UnvUJBFATM(a):
    return op_ZG1KnpkPxw(op_qjjQIhOD5T(a),op_fnDOYsdde8(a))

def op_count_UnvUJBFATM(a):
    count = op_count_qjjQIhOD5T(a)+op_count_fnDOYsdde8(a)+op_count_ZG1KnpkPxw(op_qjjQIhOD5T(a),op_fnDOYsdde8(a))
    return count


⊙⪹a = { (a⨍⪒↱) , if a>54 ; (⪛⨧640) , else }

def op_qm6KZr6wM2(a):
    if a > 54:
        return op_pI9YMM1ZOi(a)
    else:
        return op_6NJAcO2OWT(640)

def op_count_qm6KZr6wM2(a):
    if a > 54:
        count = op_count_pI9YMM1ZOi(a)
    else:
        count = op_count_6NJAcO2OWT(640)
    return count


def op_oOb3UXNJBg(a, b):
    return op_zLfG7Ay1vB(op_EdFULhntj6(a),op_mp94q5OcYM(b))

def op_count_oOb3UXNJBg(a, b):
    count = op_count_EdFULhntj6(a)+op_count_mp94q5OcYM(b)+op_count_zLfG7Ay1vB(op_EdFULhntj6(a),op_mp94q5OcYM(b))
    return count


def op_VDfsaUvojE(a):
    return op_BJDLbvb5Z5(op_FbfjV67I2U(op_bR7FmX73P0(a,a)),op_UO1RhPgbnL(op_NzkNgIFiP9(a,327)))

def op_count_VDfsaUvojE(a):
    count = op_count_bR7FmX73P0(a,a)+op_count_FbfjV67I2U(op_bR7FmX73P0(a,a))+op_count_NzkNgIFiP9(a,327)+op_count_UO1RhPgbnL(op_NzkNgIFiP9(a,327))+op_count_BJDLbvb5Z5(op_FbfjV67I2U(op_bR7FmX73P0(a,a)),op_UO1RhPgbnL(op_NzkNgIFiP9(a,327)))
    return count


def op_Vqiqf8u96X(a, b):
    if op_hufSi7BX0u(b) == 32:
        return op_PoHhknlbAi(38,2)
    else:
        return op_vLzRcUDluw(401,a)

def op_count_Vqiqf8u96X(a, b):
    if op_hufSi7BX0u(b) == 32:
        count = op_count_PoHhknlbAi(38,2)+op_count_hufSi7BX0u(b)
    else:
        count = op_count_vLzRcUDluw(401,a)
    return count


def op_f3cRlOndDH(a):
    return op_rHWsv9TdNf(op_TJRgAX2Xy2(a),op_rMifWJgd3t(a,a))

def op_count_f3cRlOndDH(a):
    count = op_count_TJRgAX2Xy2(a)+op_count_rMifWJgd3t(a,a)+op_count_rHWsv9TdNf(op_TJRgAX2Xy2(a),op_rMifWJgd3t(a,a))
    return count


def op_P4q3vTj68j(a):
    if op_RafIHr9T3g(a) > 582:
        return op_0jCm5pNiJO(op_6MREPLFO5z(op_9QNY6wq3gX(70),op_tSW8rgFwH6(a)),op_5JprmgSD8j(op_yHZBwDW2Tk(382,a)))
    else:
        return op_EO7Xdgo9So(op_gub5Cegaqo(18,op_jCit4cQ0Np(a,a)))

def op_count_P4q3vTj68j(a):
    if op_RafIHr9T3g(a) > 582:
        count = op_count_9QNY6wq3gX(70)+op_count_tSW8rgFwH6(a)+op_count_6MREPLFO5z(op_9QNY6wq3gX(70),op_tSW8rgFwH6(a))+op_count_yHZBwDW2Tk(382,a)+op_count_5JprmgSD8j(op_yHZBwDW2Tk(382,a))+op_count_0jCm5pNiJO(op_6MREPLFO5z(op_9QNY6wq3gX(70),op_tSW8rgFwH6(a)),op_5JprmgSD8j(op_yHZBwDW2Tk(382,a)))+op_count_RafIHr9T3g(a)
    else:
        count = op_count_jCit4cQ0Np(a,a)+op_count_gub5Cegaqo(18,op_jCit4cQ0Np(a,a))+op_count_EO7Xdgo9So(op_gub5Cegaqo(18,op_jCit4cQ0Np(a,a)))
    return count


⇑a = { (⩆↑⇝(a≎⊠⪸a)) , if ((↙⩵⋊a)==112 and (a⩌⪤)>191 and a<=391) ; ((a↮⋯a)⋪⊪↳(a⊉a)) , else }

def op_LMjKP3fxn6(a):
    if (op_tx9xvuZCgf(a) == 112 and op_yTHSiPy4RE(a) > 191 and a <= 391):
        return op_FAUHmXADzM(op_bJkvcejdHO(a,a))
    else:
        return op_FQQxe7X1ro(op_KPNWZM5Xul(a,a),op_DB9nkKv9Ue(a,a))

def op_count_LMjKP3fxn6(a):
    if (op_tx9xvuZCgf(a) == 112 and op_yTHSiPy4RE(a) > 191 and a <= 391):
        count = op_count_bJkvcejdHO(a,a)+op_count_FAUHmXADzM(op_bJkvcejdHO(a,a))+op_count_tx9xvuZCgf(a)+op_count_yTHSiPy4RE(a)
    else:
        count = op_count_KPNWZM5Xul(a,a)+op_count_DB9nkKv9Ue(a,a)+op_count_FQQxe7X1ro(op_KPNWZM5Xul(a,a),op_DB9nkKv9Ue(a,a))
    return count


a⇐⩗⋙b = { (((↶b)⫄⋒↱(37∐≞∍a))⫸⇳((b⨽∌a)⪆↚⋛(b⨔⇊a))) }

def op_kfSGLR5n54(a, b):
    return op_gx7XJ7hdpj(op_crtJ4cV1Co(op_TucRNWL6Pw(b),op_tSHYsjpuUI(37,a)),op_lBJ7sFuA67(op_9samAPKr6k(b,a),op_JclMnS0uGI(b,a)))

def op_count_kfSGLR5n54(a, b):
    count = op_count_TucRNWL6Pw(b)+op_count_tSHYsjpuUI(37,a)+op_count_crtJ4cV1Co(op_TucRNWL6Pw(b),op_tSHYsjpuUI(37,a))+op_count_9samAPKr6k(b,a)+op_count_JclMnS0uGI(b,a)+op_count_lBJ7sFuA67(op_9samAPKr6k(b,a),op_JclMnS0uGI(b,a))+op_count_gx7XJ7hdpj(op_crtJ4cV1Co(op_TucRNWL6Pw(b),op_tSHYsjpuUI(37,a)),op_lBJ7sFuA67(op_9samAPKr6k(b,a),op_JclMnS0uGI(b,a)))
    return count


def op_l1muhaaOLA(a):
    if (op_EAoIFGtZkS(a) != 945 or op_OdOWVsbFc9(a) == 481 or a > 33):
        return op_qsAu3zulMu(a,96)
    else:
        return op_sVMiUtOpJT(a,a)

def op_count_l1muhaaOLA(a):
    if (op_EAoIFGtZkS(a) != 945 or op_OdOWVsbFc9(a) == 481 or a > 33):
        count = op_count_qsAu3zulMu(a,96)+op_count_EAoIFGtZkS(a)+op_count_OdOWVsbFc9(a)
    else:
        count = op_count_sVMiUtOpJT(a,a)
    return count


a∸⊾ = { (⫓⋮≁((44⩸⫈⨺a)⫿⇓(a⨣a))) , if (⋽≉≛a)!=77 ; (⫹⩿((207∙⨵40)≉↲(a⇆⩒a))) , else }

def op_07nN3LaE4t(a):
    if op_EPOgAxRnf9(a) != 77:
        return op_9QNY6wq3gX(op_EYU6BsVPjN(op_wPaLWLSZ6I(44,a),op_5ClX4R8SjJ(a,a)))
    else:
        return op_7k7C0RH0VI(op_dngTJzlZ0N(op_reVGrTqfuh(207,40),op_jQIFa7kB8p(a,a)))

def op_count_07nN3LaE4t(a):
    if op_EPOgAxRnf9(a) != 77:
        count = op_count_wPaLWLSZ6I(44,a)+op_count_5ClX4R8SjJ(a,a)+op_count_EYU6BsVPjN(op_wPaLWLSZ6I(44,a),op_5ClX4R8SjJ(a,a))+op_count_9QNY6wq3gX(op_EYU6BsVPjN(op_wPaLWLSZ6I(44,a),op_5ClX4R8SjJ(a,a)))+op_count_EPOgAxRnf9(a)
    else:
        count = op_count_reVGrTqfuh(207,40)+op_count_jQIFa7kB8p(a,a)+op_count_dngTJzlZ0N(op_reVGrTqfuh(207,40),op_jQIFa7kB8p(a,a))+op_count_7k7C0RH0VI(op_dngTJzlZ0N(op_reVGrTqfuh(207,40),op_jQIFa7kB8p(a,a)))
    return count


def op_L0wYL11zkL(a, b):
    return op_I8Ve4empKG(op_nEsXyWgiOK(a,a),op_46b43un9S1(290,b))

def op_count_L0wYL11zkL(a, b):
    count = op_count_nEsXyWgiOK(a,a)+op_count_46b43un9S1(290,b)+op_count_I8Ve4empKG(op_nEsXyWgiOK(a,a),op_46b43un9S1(290,b))
    return count


def op_Ly2CBrtgQN(a):
    return op_LlA1dz4vja(op_LdNpr8hQHL(a),op_Y8C8ozzXLe(a,a))

def op_count_Ly2CBrtgQN(a):
    count = op_count_LdNpr8hQHL(a)+op_count_Y8C8ozzXLe(a,a)+op_count_LlA1dz4vja(op_LdNpr8hQHL(a),op_Y8C8ozzXLe(a,a))
    return count


def op_TcQCjLl2ML(a):
    return op_NOyIGfOOXL(op_15v7IodGk2(a,a),op_AmVValKoYk(a,a))

def op_count_TcQCjLl2ML(a):
    count = op_count_15v7IodGk2(a,a)+op_count_AmVValKoYk(a,a)+op_count_NOyIGfOOXL(op_15v7IodGk2(a,a),op_AmVValKoYk(a,a))
    return count


def op_pRK03Wo2nS(a):
    if (op_jOwHciYXdT(a,372) > 838 or op_WigUGApcQ3(a) != 180):
        return op_2RiCcpYWz7(op_6UwzacJ3Gx(op_cqlfqPYv00(a,265),op_DN0PLaXpeG(a,a)))
    else:
        return op_SPuZE40Ntn(op_grHKJW0KEs(op_UvGf2i8V7N(a)),a)

def op_count_pRK03Wo2nS(a):
    if (op_jOwHciYXdT(a,372) > 838 or op_WigUGApcQ3(a) != 180):
        count = op_count_cqlfqPYv00(a,265)+op_count_DN0PLaXpeG(a,a)+op_count_6UwzacJ3Gx(op_cqlfqPYv00(a,265),op_DN0PLaXpeG(a,a))+op_count_2RiCcpYWz7(op_6UwzacJ3Gx(op_cqlfqPYv00(a,265),op_DN0PLaXpeG(a,a)))+op_count_jOwHciYXdT(a,372)+op_count_WigUGApcQ3(a)
    else:
        count = op_count_UvGf2i8V7N(a)+op_count_grHKJW0KEs(op_UvGf2i8V7N(a))+op_count_SPuZE40Ntn(op_grHKJW0KEs(op_UvGf2i8V7N(a)),a)
    return count


⋏⇛a = { (a↨⩘) , if (a√⇁)>=19 ; (a⩃a) , else }

def op_o5wjj8Xedz(a):
    if op_erUMkNxUTh(a) >= 19:
        return op_1pJ76SN1ns(a)
    else:
        return op_7IRjtmSsUO(a,a)

def op_count_o5wjj8Xedz(a):
    if op_erUMkNxUTh(a) >= 19:
        count = op_count_1pJ76SN1ns(a)+op_count_erUMkNxUTh(a)
    else:
        count = op_count_7IRjtmSsUO(a,a)
    return count


def op_KiX0WaipjF(a):
    return op_WhqkvtTD3t(a,op_SYOdA8ocB9(op_hh4S7I0a8e(a,a)))

def op_count_KiX0WaipjF(a):
    count = op_count_hh4S7I0a8e(a,a)+op_count_SYOdA8ocB9(op_hh4S7I0a8e(a,a))+op_count_WhqkvtTD3t(a,op_SYOdA8ocB9(op_hh4S7I0a8e(a,a)))
    return count


def op_PtAucEsPcy(a):
    return op_X99M06cbEe(op_UqUOXUQnbU(op_AJW4C0rBPs(a,a),op_6CTfL9kIPY(a,a)))

def op_count_PtAucEsPcy(a):
    count = op_count_AJW4C0rBPs(a,a)+op_count_6CTfL9kIPY(a,a)+op_count_UqUOXUQnbU(op_AJW4C0rBPs(a,a),op_6CTfL9kIPY(a,a))+op_count_X99M06cbEe(op_UqUOXUQnbU(op_AJW4C0rBPs(a,a),op_6CTfL9kIPY(a,a)))
    return count


def op_UxafmFiFWz(a):
    if (op_h2AnrTQJpk(a) == 442 or op_odJCG207LD(a,517) != 287):
        return a
    else:
        return op_3CMemG6NAA(op_ov2Ek6r32i(a,a))

def op_count_UxafmFiFWz(a):
    if (op_h2AnrTQJpk(a) == 442 or op_odJCG207LD(a,517) != 287):
        count = 1
    else:
        count = op_count_ov2Ek6r32i(a,a)+op_count_3CMemG6NAA(op_ov2Ek6r32i(a,a))
    return count


def op_2Ds6SU9A9X(a):
    return op_8HhzD0ZcuI(op_YEzomLoFTT(op_AEiy6t5Ykg(a,175),op_DX7B1fY6P6(a,147)),op_o5ySIend9F(op_MoZz3Hqfy5(131),op_QmNHwIPJpO(294,a)))

def op_count_2Ds6SU9A9X(a):
    count = op_count_AEiy6t5Ykg(a,175)+op_count_DX7B1fY6P6(a,147)+op_count_YEzomLoFTT(op_AEiy6t5Ykg(a,175),op_DX7B1fY6P6(a,147))+op_count_MoZz3Hqfy5(131)+op_count_QmNHwIPJpO(294,a)+op_count_o5ySIend9F(op_MoZz3Hqfy5(131),op_QmNHwIPJpO(294,a))+op_count_8HhzD0ZcuI(op_YEzomLoFTT(op_AEiy6t5Ykg(a,175),op_DX7B1fY6P6(a,147)),op_o5ySIend9F(op_MoZz3Hqfy5(131),op_QmNHwIPJpO(294,a)))
    return count


a⋱↖⊀b = { (⇁⨐⇦(a≣≺a)) , if ((⋀⊷⨤a)>=313 or b>600) ; ((a≳a)≰⇯⫕(b⫕⨽⨩)) , else }

def op_q3K4svJW0A(a, b):
    if (op_7xJB7onPAH(a) >= 313 or b > 600):
        return op_nyiVdSq3X4(op_izrQJRSfVS(a,a))
    else:
        return op_JuQNioWekr(op_HOs11gFUaq(a,a),op_sX7icBeOwx(b))

def op_count_q3K4svJW0A(a, b):
    if (op_7xJB7onPAH(a) >= 313 or b > 600):
        count = op_count_izrQJRSfVS(a,a)+op_count_nyiVdSq3X4(op_izrQJRSfVS(a,a))+op_count_7xJB7onPAH(a)
    else:
        count = op_count_HOs11gFUaq(a,a)+op_count_sX7icBeOwx(b)+op_count_JuQNioWekr(op_HOs11gFUaq(a,a),op_sX7icBeOwx(b))
    return count


def op_bhfZsaAByr(a):
    return op_FlXk3pOYe8(op_XAY3Gwlcor(op_3Cfxs2sGIE(a,a),op_TSUy8hrQkO(a,a)))

def op_count_bhfZsaAByr(a):
    count = op_count_3Cfxs2sGIE(a,a)+op_count_TSUy8hrQkO(a,a)+op_count_XAY3Gwlcor(op_3Cfxs2sGIE(a,a),op_TSUy8hrQkO(a,a))+op_count_FlXk3pOYe8(op_XAY3Gwlcor(op_3Cfxs2sGIE(a,a),op_TSUy8hrQkO(a,a)))
    return count


def op_uPSJGxzYTl(a):
    if op_5gklcqtSna(a) == 21:
        return op_0cGMrPTqT1(a)
    else:
        return op_L0XVkq44a1(266,a)

def op_count_uPSJGxzYTl(a):
    if op_5gklcqtSna(a) == 21:
        count = op_count_0cGMrPTqT1(a)+op_count_5gklcqtSna(a)
    else:
        count = op_count_L0XVkq44a1(266,a)
    return count


def op_AiIrupo1Kv(a):
    return op_tTEXlJ6Kwl(op_rvuQEfv3GA(a),op_crtJ4cV1Co(a,364))

def op_count_AiIrupo1Kv(a):
    count = op_count_rvuQEfv3GA(a)+op_count_crtJ4cV1Co(a,364)+op_count_tTEXlJ6Kwl(op_rvuQEfv3GA(a),op_crtJ4cV1Co(a,364))
    return count


def op_FGBnIy7pYg(a, b):
    return op_0wt1I76pQR(op_ccHmK6PBIn(b),op_poiSo6Xg3g(a,a))

def op_count_FGBnIy7pYg(a, b):
    count = op_count_ccHmK6PBIn(b)+op_count_poiSo6Xg3g(a,a)+op_count_0wt1I76pQR(op_ccHmK6PBIn(b),op_poiSo6Xg3g(a,a))
    return count


a≬⋐⪟b = { (b⋥) , if b<=639 ; (⊆⋠a) , else }

def op_iNkNML30R6(a, b):
    if b <= 639:
        return op_3CMemG6NAA(b)
    else:
        return op_EBhcHTkKd8(a)

def op_count_iNkNML30R6(a, b):
    if b <= 639:
        count = op_count_3CMemG6NAA(b)
    else:
        count = op_count_EBhcHTkKd8(a)
    return count


def op_F2hu8gJOus(a, b):
    return op_WYd1w68Nbz(op_NvXf9kO3wV(op_wCMamEyb9i(b,b),op_bars6Y1s1I(a,b)))

def op_count_F2hu8gJOus(a, b):
    count = op_count_wCMamEyb9i(b,b)+op_count_bars6Y1s1I(a,b)+op_count_NvXf9kO3wV(op_wCMamEyb9i(b,b),op_bars6Y1s1I(a,b))+op_count_WYd1w68Nbz(op_NvXf9kO3wV(op_wCMamEyb9i(b,b),op_bars6Y1s1I(a,b)))
    return count


def op_2IIP3LKPc2(a, b):
    return op_oP7ayciNnu(op_7mDgzgOxkj(a,b))

def op_count_2IIP3LKPc2(a, b):
    count = op_count_7mDgzgOxkj(a,b)+op_count_oP7ayciNnu(op_7mDgzgOxkj(a,b))
    return count


def op_vIyP4eBY0B(a):
    if op_5e3ejKfaG8(a,513) != 73:
        return op_LdNpr8hQHL(op_vQUWrCPLqI(a,57))
    else:
        return op_yIzoUJazZW(op_Am2kwplcWj(a,a),op_srMk4GyP9y(628))

def op_count_vIyP4eBY0B(a):
    if op_5e3ejKfaG8(a,513) != 73:
        count = op_count_vQUWrCPLqI(a,57)+op_count_LdNpr8hQHL(op_vQUWrCPLqI(a,57))+op_count_5e3ejKfaG8(a,513)
    else:
        count = op_count_Am2kwplcWj(a,a)+op_count_srMk4GyP9y(628)+op_count_yIzoUJazZW(op_Am2kwplcWj(a,a),op_srMk4GyP9y(628))
    return count


⊘⫙⇄a = { ((≈⩪(a⩏⇖a))⋛≐((↞≼a)⪤⇈(a⫁⪎355))) }

def op_2MqfLGfpPe(a):
    return op_B7jD7820sf(op_STs8eSTo28(op_WzExxB0XCT(a,a)),op_lWNx0gx4UD(op_DE7zCoGJt9(a),op_xRrnTEsQ6j(a,355)))

def op_count_2MqfLGfpPe(a):
    count = op_count_WzExxB0XCT(a,a)+op_count_STs8eSTo28(op_WzExxB0XCT(a,a))+op_count_DE7zCoGJt9(a)+op_count_xRrnTEsQ6j(a,355)+op_count_lWNx0gx4UD(op_DE7zCoGJt9(a),op_xRrnTEsQ6j(a,355))+op_count_B7jD7820sf(op_STs8eSTo28(op_WzExxB0XCT(a,a)),op_lWNx0gx4UD(op_DE7zCoGJt9(a),op_xRrnTEsQ6j(a,355)))
    return count


def op_5Bds8Lk3z1(a):
    return op_e3Vku0ulLb(op_bG3SoPrX0m(a,a),op_TcUor9fpwD(219))

def op_count_5Bds8Lk3z1(a):
    count = op_count_bG3SoPrX0m(a,a)+op_count_TcUor9fpwD(219)+op_count_e3Vku0ulLb(op_bG3SoPrX0m(a,a),op_TcUor9fpwD(219))
    return count


def op_L0SZRSQANf(a):
    return op_jiNQK0AA7m(op_ngz0Dpm65C(op_rJlMWXggw2(a,192)))

def op_count_L0SZRSQANf(a):
    count = op_count_rJlMWXggw2(a,192)+op_count_ngz0Dpm65C(op_rJlMWXggw2(a,192))+op_count_jiNQK0AA7m(op_ngz0Dpm65C(op_rJlMWXggw2(a,192)))
    return count


def op_j7AgEMrvc9(a):
    if (op_AmVValKoYk(a,176) != 192 or op_p1ibIKL8Ww(a) > 62):
        return op_ncxV4Xuvl3(395)
    else:
        return op_6CTfL9kIPY(192,a)

def op_count_j7AgEMrvc9(a):
    if (op_AmVValKoYk(a,176) != 192 or op_p1ibIKL8Ww(a) > 62):
        count = op_count_ncxV4Xuvl3(395)+op_count_AmVValKoYk(a,176)+op_count_p1ibIKL8Ww(a)
    else:
        count = op_count_6CTfL9kIPY(192,a)
    return count


a⩇∆ = { (⨁(⊖∈a)) , if (a↥⋆)>40 ; (⨠a) , else }

def op_gc29PMqN0x(a):
    if op_6RHhwxMoH8(a) > 40:
        return op_gImejOImwh(op_YFxL8Sc2Zy(a))
    else:
        return op_QXkr67oqFK(a)

def op_count_gc29PMqN0x(a):
    if op_6RHhwxMoH8(a) > 40:
        count = op_count_YFxL8Sc2Zy(a)+op_count_gImejOImwh(op_YFxL8Sc2Zy(a))+op_count_6RHhwxMoH8(a)
    else:
        count = op_count_QXkr67oqFK(a)
    return count


⊱⫎↝a = { ((a⨉⩜⊁a)⪟⇏a) , if (a⇏⩵⨆733)<=169 ; (⇵⨭⊧(⫛a)) , else }

def op_t0yTIs8okQ(a):
    if op_GH46DaXZxO(a,733) <= 169:
        return op_GODebY97qR(op_F5AHWXXekn(a,a),a)
    else:
        return op_kHCzNB6UHl(op_flTYCMi2UH(a))

def op_count_t0yTIs8okQ(a):
    if op_GH46DaXZxO(a,733) <= 169:
        count = op_count_F5AHWXXekn(a,a)+op_count_GODebY97qR(op_F5AHWXXekn(a,a),a)+op_count_GH46DaXZxO(a,733)
    else:
        count = op_count_flTYCMi2UH(a)+op_count_kHCzNB6UHl(op_flTYCMi2UH(a))
    return count


def op_Hem8nFsJR5(a):
    return op_1YYS3WO4Kq(op_yXekIHxTD4(op_zNFFvkV5QZ(a,a),op_DkI5niHnM6(a,a)))

def op_count_Hem8nFsJR5(a):
    count = op_count_zNFFvkV5QZ(a,a)+op_count_DkI5niHnM6(a,a)+op_count_yXekIHxTD4(op_zNFFvkV5QZ(a,a),op_DkI5niHnM6(a,a))+op_count_1YYS3WO4Kq(op_yXekIHxTD4(op_zNFFvkV5QZ(a,a),op_DkI5niHnM6(a,a)))
    return count


def op_OfD1a70Q91(a):
    return op_kvIXUmKfYG(op_4JQ65aDwPJ(op_A7k8RvvYBg(396,a),op_kBclOZdV5K(a,a)))

def op_count_OfD1a70Q91(a):
    count = op_count_A7k8RvvYBg(396,a)+op_count_kBclOZdV5K(a,a)+op_count_4JQ65aDwPJ(op_A7k8RvvYBg(396,a),op_kBclOZdV5K(a,a))+op_count_kvIXUmKfYG(op_4JQ65aDwPJ(op_A7k8RvvYBg(396,a),op_kBclOZdV5K(a,a)))
    return count


def op_zUHZYjJ2nJ(a, b):
    return op_oW1cUEY5Sq(op_5ESOiVPbEV(a,a),op_7IRjtmSsUO(b,78))

def op_count_zUHZYjJ2nJ(a, b):
    count = op_count_5ESOiVPbEV(a,a)+op_count_7IRjtmSsUO(b,78)+op_count_oW1cUEY5Sq(op_5ESOiVPbEV(a,a),op_7IRjtmSsUO(b,78))
    return count


a↡⇆⊁b = { (((b⇒⫠)⩉⇙(∉a))⫟⪀(⋟↴⩑(b⪏⇁⨻a))) }

def op_SI1PWFcObS(a, b):
    return op_ZG1KnpkPxw(op_Bi6gyirjvn(op_HbkKo2jppZ(b),op_dma8RTlAAq(a)),op_eo60u8kDZm(op_Bw1fwYnFxE(b,a)))

def op_count_SI1PWFcObS(a, b):
    count = op_count_HbkKo2jppZ(b)+op_count_dma8RTlAAq(a)+op_count_Bi6gyirjvn(op_HbkKo2jppZ(b),op_dma8RTlAAq(a))+op_count_Bw1fwYnFxE(b,a)+op_count_eo60u8kDZm(op_Bw1fwYnFxE(b,a))+op_count_ZG1KnpkPxw(op_Bi6gyirjvn(op_HbkKo2jppZ(b),op_dma8RTlAAq(a)),op_eo60u8kDZm(op_Bw1fwYnFxE(b,a)))
    return count


a⫁⇖⫲ = { (a⨷∔) , if ((⩟⨆⊓a)<=67 and (a∊⊞≈203)!=683) ; (a⫫∾a) , else }

def op_Hn5k30YGDl(a):
    if (op_WIeCRpJbtd(a) <= 67 and op_keuJNkrrbj(a,203) != 683):
        return op_a7KiVaM89s(a)
    else:
        return op_b3qeQyvZfP(a,a)

def op_count_Hn5k30YGDl(a):
    if (op_WIeCRpJbtd(a) <= 67 and op_keuJNkrrbj(a,203) != 683):
        count = op_count_a7KiVaM89s(a)+op_count_WIeCRpJbtd(a)+op_count_keuJNkrrbj(a,203)
    else:
        count = op_count_b3qeQyvZfP(a,a)
    return count


⩏⩺⪨a = { (((a≲≓⪌)∖⪙(a⫞))∽⫫⊬((⫝̸⇇a)⋪⊪↳(208∋≞a))) }

def op_CKhxHrN1Ki(a):
    return op_NPE338n0HM(op_wcnuipe1kD(op_dcX9veljT5(a),op_mk4FjxrA5V(a)),op_FQQxe7X1ro(op_oY1sC6pMpa(a),op_F3ZYW0Xs6y(208,a)))

def op_count_CKhxHrN1Ki(a):
    count = op_count_dcX9veljT5(a)+op_count_mk4FjxrA5V(a)+op_count_wcnuipe1kD(op_dcX9veljT5(a),op_mk4FjxrA5V(a))+op_count_oY1sC6pMpa(a)+op_count_F3ZYW0Xs6y(208,a)+op_count_FQQxe7X1ro(op_oY1sC6pMpa(a),op_F3ZYW0Xs6y(208,a))+op_count_NPE338n0HM(op_wcnuipe1kD(op_dcX9veljT5(a),op_mk4FjxrA5V(a)),op_FQQxe7X1ro(op_oY1sC6pMpa(a),op_F3ZYW0Xs6y(208,a)))
    return count


⫛⩾⨻a = { (≭⫘((⩁⊖226)⇿⋅⫅(a⫳⫚⇈545))) , if (≛a)<291 ; ((⋛⋶(a⋕⨻⇥a))∔(⫌(⫾⩓⋭a))) , else }

def op_b7E1Qd99Py(a):
    if op_W7eaUhjymW(a) < 291:
        return op_jEAzKzhh6P(op_tfk3gx8Z61(op_GY4i1KjLZ1(226),op_InHNDff3xD(a,545)))
    else:
        return op_7vzQ3v2UG6(op_8ZudynJV7e(op_3ngf5It8Ig(a,a)),op_WFoUMfrXh9(op_3XOHfUkwXZ(a)))

def op_count_b7E1Qd99Py(a):
    if op_W7eaUhjymW(a) < 291:
        count = op_count_GY4i1KjLZ1(226)+op_count_InHNDff3xD(a,545)+op_count_tfk3gx8Z61(op_GY4i1KjLZ1(226),op_InHNDff3xD(a,545))+op_count_jEAzKzhh6P(op_tfk3gx8Z61(op_GY4i1KjLZ1(226),op_InHNDff3xD(a,545)))+op_count_W7eaUhjymW(a)
    else:
        count = op_count_3ngf5It8Ig(a,a)+op_count_8ZudynJV7e(op_3ngf5It8Ig(a,a))+op_count_3XOHfUkwXZ(a)+op_count_WFoUMfrXh9(op_3XOHfUkwXZ(a))+op_count_7vzQ3v2UG6(op_8ZudynJV7e(op_3ngf5It8Ig(a,a)),op_WFoUMfrXh9(op_3XOHfUkwXZ(a)))
    return count


def op_EYVwtEtosv(a, b):
    if op_S46drDFK2N(a) > 94 and op_EMR9JvRK8T(a,237) >= 263:
        return op_HK0tfVPux8(a,op_N9Hg1LnPl8(b))
    else:
        return op_aBQ6xLxuTc(op_lrLQygo13m(39,a),op_ydJmeWyvU7(115,22))

def op_count_EYVwtEtosv(a, b):
    if op_S46drDFK2N(a) > 94 and op_EMR9JvRK8T(a,237) >= 263:
        count = op_count_N9Hg1LnPl8(b)+op_count_HK0tfVPux8(a,op_N9Hg1LnPl8(b))+op_count_S46drDFK2N(a)+op_count_EMR9JvRK8T(a,237)
    else:
        count = op_count_lrLQygo13m(39,a)+op_count_ydJmeWyvU7(115,22)+op_count_aBQ6xLxuTc(op_lrLQygo13m(39,a),op_ydJmeWyvU7(115,22))
    return count


a⊠≟⩾ = { (⪯⋭(a⫑⋡a)) , if (a≩≁)!=467 ; ((⇌a)↼/(a*⇥≲)) , else }

def op_Cpyzt2SGX5(a):
    if op_sOgDaSCzbr(a) != 467:
        return op_l034Y9yrOR(op_fBv0GnY1At(a,a))
    else:
        return op_0l75R42zb7(op_AZPIx1Ag6c(a),op_DEqk5vDXLq(a))

def op_count_Cpyzt2SGX5(a):
    if op_sOgDaSCzbr(a) != 467:
        count = op_count_fBv0GnY1At(a,a)+op_count_l034Y9yrOR(op_fBv0GnY1At(a,a))+op_count_sOgDaSCzbr(a)
    else:
        count = op_count_AZPIx1Ag6c(a)+op_count_DEqk5vDXLq(a)+op_count_0l75R42zb7(op_AZPIx1Ag6c(a),op_DEqk5vDXLq(a))
    return count


def op_czcXd0geAe(a, b):
    return op_YdvuPOw6Zp(op_dGRJHjnrv2(b),op_GMrB5OisJT(a))

def op_count_czcXd0geAe(a, b):
    count = op_count_dGRJHjnrv2(b)+op_count_GMrB5OisJT(a)+op_count_YdvuPOw6Zp(op_dGRJHjnrv2(b),op_GMrB5OisJT(a))
    return count


a⫾⨻⫅b = { ((a⇂≾⫗b)⇿⋘⫿(a⋡b)) , if a>=100 or (⨇⪄⫏a)<=525 ; ((⨞⫢b)⫾(68⪋⫼⪧27)) , else }

def op_ROXViYalJH(a, b):
    if a >= 100 or op_B4c4JXCTtZ(a) <= 525:
        return op_3pxRWyOFEM(op_aBQ6xLxuTc(a,b),op_aZYNwA0vxh(a,b))
    else:
        return op_7JbuLsbBtx(op_HQuZ2f4It9(b),op_KLMV3Z6VVJ(68,27))

def op_count_ROXViYalJH(a, b):
    if a >= 100 or op_B4c4JXCTtZ(a) <= 525:
        count = op_count_aBQ6xLxuTc(a,b)+op_count_aZYNwA0vxh(a,b)+op_count_3pxRWyOFEM(op_aBQ6xLxuTc(a,b),op_aZYNwA0vxh(a,b))+op_count_B4c4JXCTtZ(a)
    else:
        count = op_count_HQuZ2f4It9(b)+op_count_KLMV3Z6VVJ(68,27)+op_count_7JbuLsbBtx(op_HQuZ2f4It9(b),op_KLMV3Z6VVJ(68,27))
    return count


⇄⫷⫈a = { ((∨∊⋏179)↭⪗a) , if (∪⊸⩁a)>=184 ; ((a⇢a)⋮≀(a⇒⇑∠a)) , else }

def op_Idy2MnMeH0(a):
    if op_ZDtbJ0pWwg(a) >= 184:
        return op_aLNRF0Pt4F(op_R5aXW34M0v(179),a)
    else:
        return op_VTngge07Jm(op_GMN7JP6WpN(a,a),op_V3Robn58tk(a,a))

def op_count_Idy2MnMeH0(a):
    if op_ZDtbJ0pWwg(a) >= 184:
        count = op_count_R5aXW34M0v(179)+op_count_aLNRF0Pt4F(op_R5aXW34M0v(179),a)+op_count_ZDtbJ0pWwg(a)
    else:
        count = op_count_GMN7JP6WpN(a,a)+op_count_V3Robn58tk(a,a)+op_count_VTngge07Jm(op_GMN7JP6WpN(a,a),op_V3Robn58tk(a,a))
    return count


a≟⪼∨b = { (b⫸⊐a) , if (a⫍≙⋓)>166 ; (a⊅∝∶) , else }

def op_irNdxohfJL(a, b):
    if op_6KydlnE2RL(a) > 166:
        return op_mqXw5SEYmG(b,a)
    else:
        return op_P1t9JI7VYh(a)

def op_count_irNdxohfJL(a, b):
    if op_6KydlnE2RL(a) > 166:
        count = op_count_mqXw5SEYmG(b,a)+op_count_6KydlnE2RL(a)
    else:
        count = op_count_P1t9JI7VYh(a)
    return count


a⋾⩩ = { ((a↗∻)⋱⇵(a⇓⋧⋔a)) , if a==207 ; (⋲⫆(a⫸⇈a)) , else }

def op_B78gU6xB9K(a):
    if a == 207:
        return op_5ESOiVPbEV(op_a1lA6srqjw(a),op_ONJRQY6OPs(a,a))
    else:
        return op_udE70qCqth(op_bEPZFWGxOB(a,a))

def op_count_B78gU6xB9K(a):
    if a == 207:
        count = op_count_a1lA6srqjw(a)+op_count_ONJRQY6OPs(a,a)+op_count_5ESOiVPbEV(op_a1lA6srqjw(a),op_ONJRQY6OPs(a,a))
    else:
        count = op_count_bEPZFWGxOB(a,a)+op_count_udE70qCqth(op_bEPZFWGxOB(a,a))
    return count


def op_detaD6PMqy(a):
    return op_7YooWSwCyH(op_gcnKSmWBRw(a,a),op_wff9HZunSZ(a))

def op_count_detaD6PMqy(a):
    count = op_count_gcnKSmWBRw(a,a)+op_count_wff9HZunSZ(a)+op_count_7YooWSwCyH(op_gcnKSmWBRw(a,a),op_wff9HZunSZ(a))
    return count


def op_2uSCGYIjKJ(a, b):
    return op_CfxG4j8dfZ(op_OfugFTrv6S(op_Z57zeUYC9z(a,a)),op_LJUzuYQJSf(op_5hfPSBHW5r(a,b),b))

def op_count_2uSCGYIjKJ(a, b):
    count = op_count_Z57zeUYC9z(a,a)+op_count_OfugFTrv6S(op_Z57zeUYC9z(a,a))+op_count_5hfPSBHW5r(a,b)+op_count_LJUzuYQJSf(op_5hfPSBHW5r(a,b),b)+op_count_CfxG4j8dfZ(op_OfugFTrv6S(op_Z57zeUYC9z(a,a)),op_LJUzuYQJSf(op_5hfPSBHW5r(a,b),b))
    return count


def op_hobi2Kiz2H(a, b):
    return op_rSF6PK3BIo(op_yD5rMtMDT4(a),op_8INZBEW696(b,34))

def op_count_hobi2Kiz2H(a, b):
    count = op_count_yD5rMtMDT4(a)+op_count_8INZBEW696(b,34)+op_count_rSF6PK3BIo(op_yD5rMtMDT4(a),op_8INZBEW696(b,34))
    return count


a⋊≶b = { b , if (≙⫸↢b)>252 ; ((a∍b)→) , else }

def op_9Ttzl7CrDT(a, b):
    if op_eZsufpQxSh(b) > 252:
        return b
    else:
        return op_zVbKEeMoGt(op_9rNHCbYvka(a,b))

def op_count_9Ttzl7CrDT(a, b):
    if op_eZsufpQxSh(b) > 252:
        count = 1
    else:
        count = op_count_9rNHCbYvka(a,b)+op_count_zVbKEeMoGt(op_9rNHCbYvka(a,b))
    return count


def op_foUTwTo3sQ(a, b):
    return op_A8NUZmVepG(op_5ClX4R8SjJ(a,b))

def op_count_foUTwTo3sQ(a, b):
    count = op_count_5ClX4R8SjJ(a,b)+op_count_A8NUZmVepG(op_5ClX4R8SjJ(a,b))
    return count


a⇽⋪⩥b = { b , if b>3 ; (157⪟⇏a) , else }

def op_8iaSloTsD3(a, b):
    if b > 3:
        return b
    else:
        return op_GODebY97qR(157,a)

def op_count_8iaSloTsD3(a, b):
    if b > 3:
        count = 1
    else:
        count = op_count_GODebY97qR(157,a)
    return count


a∔⪫≲b = { (a↨⩘) , if (↫⊢b)<=269 ; (b⩄⊊b) , else }

def op_VLZxMHXGZZ(a, b):
    if op_T1BnIDZEwD(b) <= 269:
        return op_1pJ76SN1ns(a)
    else:
        return op_ckxBfo3j3z(b,b)

def op_count_VLZxMHXGZZ(a, b):
    if op_T1BnIDZEwD(b) <= 269:
        count = op_count_1pJ76SN1ns(a)+op_count_T1BnIDZEwD(b)
    else:
        count = op_count_ckxBfo3j3z(b,b)
    return count


a⪏≁b = { (⊚(↘(a↬⨮⇲b))) , if (b⩣⩕∗)<331 ; (((a⋬∙⫻948)≝⪅(b⫛≵→a))⫱⨄((b∃⊄749)⫍⊽⨕(b⩀b))) , else }

def op_yCexBdt62W(a, b):
    if op_Lk9bOOPVfB(b) < 331:
        return op_kFrcMyQrlQ(op_LdNpr8hQHL(op_8TJv5LDobx(a,b)))
    else:
        return op_FWWC6DdxcU(op_xcM15npT0G(op_a4wu6RrqAP(a,948),op_bvqU1ecX5M(b,a)),op_ZwyS8wrxVQ(op_p5sVf13ywX(b,749),op_M1AAiXtbt9(b,b)))

def op_count_yCexBdt62W(a, b):
    if op_Lk9bOOPVfB(b) < 331:
        count = op_count_8TJv5LDobx(a,b)+op_count_LdNpr8hQHL(op_8TJv5LDobx(a,b))+op_count_kFrcMyQrlQ(op_LdNpr8hQHL(op_8TJv5LDobx(a,b)))+op_count_Lk9bOOPVfB(b)
    else:
        count = op_count_a4wu6RrqAP(a,948)+op_count_bvqU1ecX5M(b,a)+op_count_xcM15npT0G(op_a4wu6RrqAP(a,948),op_bvqU1ecX5M(b,a))+op_count_p5sVf13ywX(b,749)+op_count_M1AAiXtbt9(b,b)+op_count_ZwyS8wrxVQ(op_p5sVf13ywX(b,749),op_M1AAiXtbt9(b,b))+op_count_FWWC6DdxcU(op_xcM15npT0G(op_a4wu6RrqAP(a,948),op_bvqU1ecX5M(b,a)),op_ZwyS8wrxVQ(op_p5sVf13ywX(b,749),op_M1AAiXtbt9(b,b)))
    return count


⪪≎∈a = { (((a∉⊞⊌a)⫢⨠87)⩝⨤⨡((a⊡⫩a)∿⊵⋹(a⫭⨏726))) }

def op_tf3epvtHTq(a):
    return op_Qqj2GTyBuk(op_xlXykHWxX1(op_22UCrTUJEh(a,a),87),op_k8X3umw52W(op_GkvCUnJJBn(a,a),op_4j7MdOEvYM(a,726)))

def op_count_tf3epvtHTq(a):
    count = op_count_22UCrTUJEh(a,a)+op_count_xlXykHWxX1(op_22UCrTUJEh(a,a),87)+op_count_GkvCUnJJBn(a,a)+op_count_4j7MdOEvYM(a,726)+op_count_k8X3umw52W(op_GkvCUnJJBn(a,a),op_4j7MdOEvYM(a,726))+op_count_Qqj2GTyBuk(op_xlXykHWxX1(op_22UCrTUJEh(a,a),87),op_k8X3umw52W(op_GkvCUnJJBn(a,a),op_4j7MdOEvYM(a,726)))
    return count


a⨶∙b = { ((a≎)≫(⋲⩝a)) , if (b⋶⨘⇁558)>=140 ; ((b⨳⩥⨓b)⇨⇁(b⫫≝⪄b)) , else }

def op_B4yDMOFpHS(a, b):
    if op_JuV1nLCdrT(b,558) >= 140:
        return op_fjIpuvyOFL(op_ziBb4sC0ZT(a),op_HtQuFPdTwO(a))
    else:
        return op_0JEjmizNXg(op_nCS4ZIUYfx(b,b),op_CfshEWpL66(b,b))

def op_count_B4yDMOFpHS(a, b):
    if op_JuV1nLCdrT(b,558) >= 140:
        count = op_count_ziBb4sC0ZT(a)+op_count_HtQuFPdTwO(a)+op_count_fjIpuvyOFL(op_ziBb4sC0ZT(a),op_HtQuFPdTwO(a))+op_count_JuV1nLCdrT(b,558)
    else:
        count = op_count_nCS4ZIUYfx(b,b)+op_count_CfshEWpL66(b,b)+op_count_0JEjmizNXg(op_nCS4ZIUYfx(b,b),op_CfshEWpL66(b,b))
    return count


def op_VSUCzqIkt4(a, b):
    if op_kvyeM8WEH2(b,19) > 414:
        return op_43pnEt37KX(op_oraRL2iQuh(a,2),op_LCjPM0UdxD(306,b))
    else:
        return op_2S2w38ZqYE(op_CArV6hThFE(a))

def op_count_VSUCzqIkt4(a, b):
    if op_kvyeM8WEH2(b,19) > 414:
        count = op_count_oraRL2iQuh(a,2)+op_count_LCjPM0UdxD(306,b)+op_count_43pnEt37KX(op_oraRL2iQuh(a,2),op_LCjPM0UdxD(306,b))+op_count_kvyeM8WEH2(b,19)
    else:
        count = op_count_CArV6hThFE(a)+op_count_2S2w38ZqYE(op_CArV6hThFE(a))
    return count


a∨↝⇂b = { (((b⫦⪉b)⩗∓⫀(⋉246))⩻((⊛⩪∵b)⫑⨱(11⨮⊪⩳a))) }

def op_xqJTEXASMa(a, b):
    return op_dMSKA4bw4h(op_F2taXPkQ1B(op_wscyQdcy20(b,b),op_7nDYFTqyZr(246)),op_ckHj138N5r(op_13xSrD6nRj(b),op_xgYOZyJC4Q(11,a)))

def op_count_xqJTEXASMa(a, b):
    count = op_count_wscyQdcy20(b,b)+op_count_7nDYFTqyZr(246)+op_count_F2taXPkQ1B(op_wscyQdcy20(b,b),op_7nDYFTqyZr(246))+op_count_13xSrD6nRj(b)+op_count_xgYOZyJC4Q(11,a)+op_count_ckHj138N5r(op_13xSrD6nRj(b),op_xgYOZyJC4Q(11,a))+op_count_dMSKA4bw4h(op_F2taXPkQ1B(op_wscyQdcy20(b,b),op_7nDYFTqyZr(246)),op_ckHj138N5r(op_13xSrD6nRj(b),op_xgYOZyJC4Q(11,a)))
    return count


def op_CzSLD2SD8j(a, b):
    return op_xNBdhnnwKq(op_iEYVdzZsUa(b,a))

def op_count_CzSLD2SD8j(a, b):
    count = op_count_iEYVdzZsUa(b,a)+op_count_xNBdhnnwKq(op_iEYVdzZsUa(b,a))
    return count


def op_Kqj1jcIBMp(a):
    return op_OKGz76xQTU(op_7t3wd0Fuz7(a,op_lnBQX9AhHE(292)),op_3FGESL1lF8(op_1B4ngayaHK(a,a)))

def op_count_Kqj1jcIBMp(a):
    count = op_count_lnBQX9AhHE(292)+op_count_7t3wd0Fuz7(a,op_lnBQX9AhHE(292))+op_count_1B4ngayaHK(a,a)+op_count_3FGESL1lF8(op_1B4ngayaHK(a,a))+op_count_OKGz76xQTU(op_7t3wd0Fuz7(a,op_lnBQX9AhHE(292)),op_3FGESL1lF8(op_1B4ngayaHK(a,a)))
    return count


a≌≢≞b = { ((a⩇-b)⪄⪘⪾(120∣∻⫱a)) , if a<135 ; ((a≖⪱a)∠(b⊁)) , else }

def op_ez0Fj7iaCl(a, b):
    if a < 135:
        return op_zO06vmwOEI(op_wCMamEyb9i(a,b),op_7ZiIqrHWXK(120,a))
    else:
        return op_jZOzHi7EqF(op_WwRa9GTyuv(a,a),op_IU5bnLfiEv(b))

def op_count_ez0Fj7iaCl(a, b):
    if a < 135:
        count = op_count_wCMamEyb9i(a,b)+op_count_7ZiIqrHWXK(120,a)+op_count_zO06vmwOEI(op_wCMamEyb9i(a,b),op_7ZiIqrHWXK(120,a))
    else:
        count = op_count_WwRa9GTyuv(a,a)+op_count_IU5bnLfiEv(b)+op_count_jZOzHi7EqF(op_WwRa9GTyuv(a,a),op_IU5bnLfiEv(b))
    return count


def op_DrwYmDgWEg(a, b):
    if op_1Ozlt4kVTJ(b,381) == 118:
        return op_9HNa5Wba9A(a,b)
    else:
        return b

def op_count_DrwYmDgWEg(a, b):
    if op_1Ozlt4kVTJ(b,381) == 118:
        count = op_count_9HNa5Wba9A(a,b)+op_count_1Ozlt4kVTJ(b,381)
    else:
        count = 1
    return count


def op_TFsFOLEWTU(a, b):
    return op_GH46DaXZxO(op_xf6eqZIrT0(b,b),op_RZ5CV9rWsJ(b,a))

def op_count_TFsFOLEWTU(a, b):
    count = op_count_xf6eqZIrT0(b,b)+op_count_RZ5CV9rWsJ(b,a)+op_count_GH46DaXZxO(op_xf6eqZIrT0(b,b),op_RZ5CV9rWsJ(b,a))
    return count


def op_omoy7v1DzT(a, b):
    return op_00rZeUMtnD(op_uQ5MaQD2YO(a,b))

def op_count_omoy7v1DzT(a, b):
    count = op_count_uQ5MaQD2YO(a,b)+op_count_00rZeUMtnD(op_uQ5MaQD2YO(a,b))
    return count


def op_54NKJjbPgT(a):
    return op_NNaDxxp6OQ(op_wicAB68Tmb(op_8bWyVNEEvk(771),op_ttmdOT7RaK(a,499)))

def op_count_54NKJjbPgT(a):
    count = op_count_8bWyVNEEvk(771)+op_count_ttmdOT7RaK(a,499)+op_count_wicAB68Tmb(op_8bWyVNEEvk(771),op_ttmdOT7RaK(a,499))+op_count_NNaDxxp6OQ(op_wicAB68Tmb(op_8bWyVNEEvk(771),op_ttmdOT7RaK(a,499)))
    return count


⊺⩉a = { (⊈↤a) , if (a↭⋂446)>671 or (a∐⫣)!=37 ; (a⨲≁⇁a) , else }

def op_filt7N8toe(a):
    if op_Acnz1HI8Ry(a,446) > 671 or op_4CyGpkTkEk(a) != 37:
        return op_hFvFHqVvZy(a)
    else:
        return op_vgQrgVQVNk(a,a)

def op_count_filt7N8toe(a):
    if op_Acnz1HI8Ry(a,446) > 671 or op_4CyGpkTkEk(a) != 37:
        count = op_count_hFvFHqVvZy(a)+op_count_Acnz1HI8Ry(a,446)+op_count_4CyGpkTkEk(a)
    else:
        count = op_count_vgQrgVQVNk(a,a)
    return count


def op_tegVxjLGUd(a, b):
    if op_hmlrMsD2PO(b,907) < 25:
        return op_cTDWOvIxvz(op_STs8eSTo28(b),op_qhklwjTpUT(156,a))
    else:
        return op_2M7SKlOzyM(op_odJCG207LD(b,a),op_UpkSd4zESC(a,868))

def op_count_tegVxjLGUd(a, b):
    if op_hmlrMsD2PO(b,907) < 25:
        count = op_count_STs8eSTo28(b)+op_count_qhklwjTpUT(156,a)+op_count_cTDWOvIxvz(op_STs8eSTo28(b),op_qhklwjTpUT(156,a))+op_count_hmlrMsD2PO(b,907)
    else:
        count = op_count_odJCG207LD(b,a)+op_count_UpkSd4zESC(a,868)+op_count_2M7SKlOzyM(op_odJCG207LD(b,a),op_UpkSd4zESC(a,868))
    return count


a⫍∟b = { (⇗a) , if (b⨯⋚⇸)==312 ; (b⊹∫⫚b) , else }

def op_ScueqDwPO5(a, b):
    if op_ERYOjm1MXQ(b) == 312:
        return op_mFCgDW3omv(a)
    else:
        return op_uWAJUKEvyW(b,b)

def op_count_ScueqDwPO5(a, b):
    if op_ERYOjm1MXQ(b) == 312:
        count = op_count_mFCgDW3omv(a)+op_count_ERYOjm1MXQ(b)
    else:
        count = op_count_uWAJUKEvyW(b,b)
    return count


def op_8PzcOshWjs(a):
    return op_36V2MidH9c(op_j6xpuCeBbW(a),a)

def op_count_8PzcOshWjs(a):
    count = op_count_j6xpuCeBbW(a)+op_count_36V2MidH9c(op_j6xpuCeBbW(a),a)
    return count


a⫌⨢≮b = { ((a↡≴⩿a)⫿⨖⫓(a⇫≋11)) , if (b⩮⊟⫑570)>5 ; b , else }

def op_KIaJ2lWcks(a, b):
    if op_xm2CaS4xAe(b,570) > 5:
        return op_pwrY02nFTx(op_FG45JEQvIn(a,a),op_7mDgzgOxkj(a,11))
    else:
        return b

def op_count_KIaJ2lWcks(a, b):
    if op_xm2CaS4xAe(b,570) > 5:
        count = op_count_FG45JEQvIn(a,a)+op_count_7mDgzgOxkj(a,11)+op_count_pwrY02nFTx(op_FG45JEQvIn(a,a),op_7mDgzgOxkj(a,11))+op_count_xm2CaS4xAe(b,570)
    else:
        count = 1
    return count


a⪆⨋∈b = { (((a⋖a)≃⇜↓(a⇖⫠a))≂⨫((78⪰⨦⋀b)⩅⪻⪻)) }

def op_SHsB2qJFpV(a, b):
    return op_A7k8RvvYBg(op_zjpztV9BY4(op_pdYExVicxf(a,a),op_dsYFgWXyte(a,a)),op_kHoXpA7yos(op_1m18G2N8t2(78,b)))

def op_count_SHsB2qJFpV(a, b):
    count = op_count_pdYExVicxf(a,a)+op_count_dsYFgWXyte(a,a)+op_count_zjpztV9BY4(op_pdYExVicxf(a,a),op_dsYFgWXyte(a,a))+op_count_1m18G2N8t2(78,b)+op_count_kHoXpA7yos(op_1m18G2N8t2(78,b))+op_count_A7k8RvvYBg(op_zjpztV9BY4(op_pdYExVicxf(a,a),op_dsYFgWXyte(a,a)),op_kHoXpA7yos(op_1m18G2N8t2(78,b)))
    return count


a⋁⪗ = { ((≆a)⩻⩔⋅(71⩃⫫⩌a)) , if a!=436 ; ((a⇣⫑a)⇚⪠) , else }

def op_zicIi9GIpC(a):
    if a != 436:
        return op_CHhZl5C0UC(op_7iT9y97eD8(a),op_ac6OB0jBIj(71,a))
    else:
        return op_Loh9y4A90B(op_srhPeXBSZS(a,a))

def op_count_zicIi9GIpC(a):
    if a != 436:
        count = op_count_7iT9y97eD8(a)+op_count_ac6OB0jBIj(71,a)+op_count_CHhZl5C0UC(op_7iT9y97eD8(a),op_ac6OB0jBIj(71,a))
    else:
        count = op_count_srhPeXBSZS(a,a)+op_count_Loh9y4A90B(op_srhPeXBSZS(a,a))
    return count


⋱⪀a = { (((⨣⨜⩤396)⇘⋴(397⋊a))⪀((a⋖⫂a)⇣⩺⋵(a∽⨚⊏a))) }

def op_1R9tFgc4MF(a):
    return op_Lnros4fou8(op_jGfH5UPFW6(op_gBAN53NepD(396),op_Dk6V8i6EvU(397,a)),op_F4yD0voBRQ(op_7gUth6Rgvl(a,a),op_OuNwQ8h2ZL(a,a)))

def op_count_1R9tFgc4MF(a):
    count = op_count_gBAN53NepD(396)+op_count_Dk6V8i6EvU(397,a)+op_count_jGfH5UPFW6(op_gBAN53NepD(396),op_Dk6V8i6EvU(397,a))+op_count_7gUth6Rgvl(a,a)+op_count_OuNwQ8h2ZL(a,a)+op_count_F4yD0voBRQ(op_7gUth6Rgvl(a,a),op_OuNwQ8h2ZL(a,a))+op_count_Lnros4fou8(op_jGfH5UPFW6(op_gBAN53NepD(396),op_Dk6V8i6EvU(397,a)),op_F4yD0voBRQ(op_7gUth6Rgvl(a,a),op_OuNwQ8h2ZL(a,a)))
    return count


def op_WJfMzpVMJg(a):
    if op_HJmRI3zxge(a,501) != 871:
        return op_3s7bcXIOLx(op_Kn0TacbtGK(op_ydyDtesUNX(a)),op_qvKIMln9sx(op_cu7YvshKwT(342,155),op_gClX4CNEER(a,a)))
    else:
        return op_wd3DeAcC9f(a,op_HJ9erzHUuu(op_WHt3Xt46DB(347,a),op_Mf99ccDLYx(a,339)))

def op_count_WJfMzpVMJg(a):
    if op_HJmRI3zxge(a,501) != 871:
        count = op_count_ydyDtesUNX(a)+op_count_Kn0TacbtGK(op_ydyDtesUNX(a))+op_count_cu7YvshKwT(342,155)+op_count_gClX4CNEER(a,a)+op_count_qvKIMln9sx(op_cu7YvshKwT(342,155),op_gClX4CNEER(a,a))+op_count_3s7bcXIOLx(op_Kn0TacbtGK(op_ydyDtesUNX(a)),op_qvKIMln9sx(op_cu7YvshKwT(342,155),op_gClX4CNEER(a,a)))+op_count_HJmRI3zxge(a,501)
    else:
        count = op_count_WHt3Xt46DB(347,a)+op_count_Mf99ccDLYx(a,339)+op_count_HJ9erzHUuu(op_WHt3Xt46DB(347,a),op_Mf99ccDLYx(a,339))+op_count_wd3DeAcC9f(a,op_HJ9erzHUuu(op_WHt3Xt46DB(347,a),op_Mf99ccDLYx(a,339)))
    return count


def op_ouUxIuCFBI(a):
    return op_9samAPKr6k(a,a)

def op_count_ouUxIuCFBI(a):
    count = op_count_9samAPKr6k(a,a)
    return count


def op_0EaiC7OwUo(a):
    return op_mqXw5SEYmG(a,a)

def op_count_0EaiC7OwUo(a):
    count = op_count_mqXw5SEYmG(a,a)
    return count


def op_3JWqcmIlL8(a):
    return op_uFcxV4UQCh(a,33)

def op_count_3JWqcmIlL8(a):
    count = op_count_uFcxV4UQCh(a,33)
    return count


def op_LkE86Ro6Gh(a, b):
    return op_VWdWub1Bzg(op_eLxqMNBOBk(a),op_5mOiYMN9gN(b,a))

def op_count_LkE86Ro6Gh(a, b):
    count = op_count_eLxqMNBOBk(a)+op_count_5mOiYMN9gN(b,a)+op_count_VWdWub1Bzg(op_eLxqMNBOBk(a),op_5mOiYMN9gN(b,a))
    return count


def op_dRwreLZZOA(a):
    return op_h92wMvzauj(a,op_Qtd6bqUJcN(144))

def op_count_dRwreLZZOA(a):
    count = op_count_Qtd6bqUJcN(144)+op_count_h92wMvzauj(a,op_Qtd6bqUJcN(144))
    return count


def op_Pzc8RF59W7(a):
    return op_xlXykHWxX1(op_YjTveF0rk5(a,a),op_3K1YInASmv(a,a))

def op_count_Pzc8RF59W7(a):
    count = op_count_YjTveF0rk5(a,a)+op_count_3K1YInASmv(a,a)+op_count_xlXykHWxX1(op_YjTveF0rk5(a,a),op_3K1YInASmv(a,a))
    return count


a⇓⇌b = { (a∝⫕∽b) , if (a⋏⨬⋖817)<327 ; (⊇⪡b) , else }

def op_HIdMovG0Kk(a, b):
    if op_bDMTzmQgzE(a,817) < 327:
        return op_O6oPZIQyvW(a,b)
    else:
        return op_MtU63d9ZNI(b)

def op_count_HIdMovG0Kk(a, b):
    if op_bDMTzmQgzE(a,817) < 327:
        count = op_count_O6oPZIQyvW(a,b)+op_count_bDMTzmQgzE(a,817)
    else:
        count = op_count_MtU63d9ZNI(b)
    return count


⩲⊢a = { ((a⇊⊒⫧)⇑⫑) , if a!=212 or (↑⩌≥a)<647 ; (⋶⇓⊆(a⪃)) , else }

def op_MXESctv5QK(a):
    if a != 212 or op_vtuEveK19u(a) < 647:
        return op_c6lc3cRmwV(op_eIba4BG3xN(a))
    else:
        return op_qjjQIhOD5T(op_YocpLSRo8j(a))

def op_count_MXESctv5QK(a):
    if a != 212 or op_vtuEveK19u(a) < 647:
        count = op_count_eIba4BG3xN(a)+op_count_c6lc3cRmwV(op_eIba4BG3xN(a))+op_count_vtuEveK19u(a)
    else:
        count = op_count_YocpLSRo8j(a)+op_count_qjjQIhOD5T(op_YocpLSRo8j(a))
    return count


def op_p9ZLykzLfk(a):
    return op_1m18G2N8t2(op_lyvGaJdF94(op_lP51NIPzK8(46)),op_Qqj2GTyBuk(a,op_0XOKELrVaD(97)))

def op_count_p9ZLykzLfk(a):
    count = op_count_lP51NIPzK8(46)+op_count_lyvGaJdF94(op_lP51NIPzK8(46))+op_count_0XOKELrVaD(97)+op_count_Qqj2GTyBuk(a,op_0XOKELrVaD(97))+op_count_1m18G2N8t2(op_lyvGaJdF94(op_lP51NIPzK8(46)),op_Qqj2GTyBuk(a,op_0XOKELrVaD(97)))
    return count


∑≣∘a = { (⊈((101↸a)⫫∤⪊a)) , if (a↟⫶)!=399 ; (∥↛((⋲⩝a)⊮⊪⪊)) , else }

def op_Nd9YaSUBxp(a):
    if op_npqluZklCA(a) != 399:
        return op_RHru8klgy8(op_meIKchaImn(op_1eCjFl0mb9(101,a),a))
    else:
        return op_fIxhDubex3(op_Lcu9TIsOQz(op_HtQuFPdTwO(a)))

def op_count_Nd9YaSUBxp(a):
    if op_npqluZklCA(a) != 399:
        count = op_count_1eCjFl0mb9(101,a)+op_count_meIKchaImn(op_1eCjFl0mb9(101,a),a)+op_count_RHru8klgy8(op_meIKchaImn(op_1eCjFl0mb9(101,a),a))+op_count_npqluZklCA(a)
    else:
        count = op_count_HtQuFPdTwO(a)+op_count_Lcu9TIsOQz(op_HtQuFPdTwO(a))+op_count_fIxhDubex3(op_Lcu9TIsOQz(op_HtQuFPdTwO(a)))
    return count


↱⪍⨾a = { (⇣(a⩩∧⨆a)) , if a!=35 ; ((a⪟671)≮⫰(⫻≎⨄a)) , else }

def op_2rWG8UG4ro(a):
    if a != 35:
        return op_jrW1E7Ncie(op_tzokWjBnUu(a,a))
    else:
        return op_RXTe6wbwcz(op_tqmm8txHHJ(a,671),op_22PRtPrKbi(a))

def op_count_2rWG8UG4ro(a):
    if a != 35:
        count = op_count_tzokWjBnUu(a,a)+op_count_jrW1E7Ncie(op_tzokWjBnUu(a,a))
    else:
        count = op_count_tqmm8txHHJ(a,671)+op_count_22PRtPrKbi(a)+op_count_RXTe6wbwcz(op_tqmm8txHHJ(a,671),op_22PRtPrKbi(a))
    return count


a∂√⊯ = { (((a≦↬a)⨑⩅≇(a⇊a))⨧↗⨷((⨵a)⊕(a↢⋥⊛a))) }

def op_zX8tI5gDFU(a):
    return op_WSbXXWOizJ(op_h92wMvzauj(op_z4Ajd36hBy(a,a),op_8h2Ofp3S4L(a,a)),op_jln2xDVLTl(op_Tl3Y52tvF8(a),op_6pONsy2XwS(a,a)))

def op_count_zX8tI5gDFU(a):
    count = op_count_z4Ajd36hBy(a,a)+op_count_8h2Ofp3S4L(a,a)+op_count_h92wMvzauj(op_z4Ajd36hBy(a,a),op_8h2Ofp3S4L(a,a))+op_count_Tl3Y52tvF8(a)+op_count_6pONsy2XwS(a,a)+op_count_jln2xDVLTl(op_Tl3Y52tvF8(a),op_6pONsy2XwS(a,a))+op_count_WSbXXWOizJ(op_h92wMvzauj(op_z4Ajd36hBy(a,a),op_8h2Ofp3S4L(a,a)),op_jln2xDVLTl(op_Tl3Y52tvF8(a),op_6pONsy2XwS(a,a)))
    return count


⇧⪔⨲a = { (((a≂⨫a)⫬↰(a⊗⋊⇗a))⇛⋲(≋√⊀(653∫⨥⋊a))) }

def op_Q9PrIe8kwz(a):
    return op_bT2YGab5tl(op_f8TJb0vaMc(op_A7k8RvvYBg(a,a),op_j6VZKFTxta(a,a)),op_IkBJshDHtt(op_3iurnvestf(653,a)))

def op_count_Q9PrIe8kwz(a):
    count = op_count_A7k8RvvYBg(a,a)+op_count_j6VZKFTxta(a,a)+op_count_f8TJb0vaMc(op_A7k8RvvYBg(a,a),op_j6VZKFTxta(a,a))+op_count_3iurnvestf(653,a)+op_count_IkBJshDHtt(op_3iurnvestf(653,a))+op_count_bT2YGab5tl(op_f8TJb0vaMc(op_A7k8RvvYBg(a,a),op_j6VZKFTxta(a,a)),op_IkBJshDHtt(op_3iurnvestf(653,a)))
    return count


def op_MT2rQf9Uc4(a):
    return op_UvedHhwKRj(a,a)

def op_count_MT2rQf9Uc4(a):
    count = op_count_UvedHhwKRj(a,a)
    return count


def op_DbanN18JVT(a):
    return op_vQUWrCPLqI(op_n3Md7DSD5e(a),op_u3XxlibK4s(a))

def op_count_DbanN18JVT(a):
    count = op_count_n3Md7DSD5e(a)+op_count_u3XxlibK4s(a)+op_count_vQUWrCPLqI(op_n3Md7DSD5e(a),op_u3XxlibK4s(a))
    return count


def op_q4LUFz6CpC(a):
    return op_H7f1qksvrC(op_XZQF252bpX(a,a))

def op_count_q4LUFz6CpC(a):
    count = op_count_XZQF252bpX(a,a)+op_count_H7f1qksvrC(op_XZQF252bpX(a,a))
    return count


def op_JpKrC9aRU5(a):
    return op_jCPkEVoL5K(a,a)

def op_count_JpKrC9aRU5(a):
    count = op_count_jCPkEVoL5K(a,a)
    return count


def op_qxRlE1dZtv(a):
    return op_7LD8LOvptt(op_wwXkqyu98f(a,314),op_ddLRYrp01A(a,a))

def op_count_qxRlE1dZtv(a):
    count = op_count_wwXkqyu98f(a,314)+op_count_ddLRYrp01A(a,a)+op_count_7LD8LOvptt(op_wwXkqyu98f(a,314),op_ddLRYrp01A(a,a))
    return count


def op_ZDUbDbWw3f(a):
    if a < 242:
        return a
    else:
        return op_WQ21BOxugs(op_AU0rGnNQho(op_W23Bqxq5lg(185,a),op_403lqio1gV(861,a)),op_QLJ9aFu80N(op_C6qVvj5REB(a,a),op_8SnKnorVr9(a)))

def op_count_ZDUbDbWw3f(a):
    if a < 242:
        count = 1
    else:
        count = op_count_W23Bqxq5lg(185,a)+op_count_403lqio1gV(861,a)+op_count_AU0rGnNQho(op_W23Bqxq5lg(185,a),op_403lqio1gV(861,a))+op_count_C6qVvj5REB(a,a)+op_count_8SnKnorVr9(a)+op_count_QLJ9aFu80N(op_C6qVvj5REB(a,a),op_8SnKnorVr9(a))+op_count_WQ21BOxugs(op_AU0rGnNQho(op_W23Bqxq5lg(185,a),op_403lqio1gV(861,a)),op_QLJ9aFu80N(op_C6qVvj5REB(a,a),op_8SnKnorVr9(a)))
    return count


def op_JkXP7AMbFA(a):
    if op_tJtBLRaXS9(a,948) != 19 or op_TcWRjSoWrE(a) == 238:
        return op_5GqDbVmqXU(a)
    else:
        return op_FSasnAb2iR(300,277)

def op_count_JkXP7AMbFA(a):
    if op_tJtBLRaXS9(a,948) != 19 or op_TcWRjSoWrE(a) == 238:
        count = op_count_5GqDbVmqXU(a)+op_count_tJtBLRaXS9(a,948)+op_count_TcWRjSoWrE(a)
    else:
        count = op_count_FSasnAb2iR(300,277)
    return count


def op_veMsVB6gsU(a):
    return op_rJlMWXggw2(a,a)

def op_count_veMsVB6gsU(a):
    count = op_count_rJlMWXggw2(a,a)
    return count


a⨦⩉↧ = { (a↬⨮⇲(a∄a)) , if (a→)>8 ; ((⋎⪔133)⇉⇉) , else }

def op_N2rnhF1hZX(a):
    if op_zVbKEeMoGt(a) > 8:
        return op_8TJv5LDobx(a,op_tnyRA5sazQ(a,a))
    else:
        return op_diKm42VcIt(op_siwqT4HIjO(133))

def op_count_N2rnhF1hZX(a):
    if op_zVbKEeMoGt(a) > 8:
        count = op_count_tnyRA5sazQ(a,a)+op_count_8TJv5LDobx(a,op_tnyRA5sazQ(a,a))+op_count_zVbKEeMoGt(a)
    else:
        count = op_count_siwqT4HIjO(133)+op_count_diKm42VcIt(op_siwqT4HIjO(133))
    return count


def op_934Hjzw9DH(a):
    return op_Api82iH42a(op_mLFH2NRKNI(op_SL6IHkK8vl(171)),op_PULhhNGBKj(op_lvsn8tIMDl(a),op_tYr37UhHCW(a,a)))

def op_count_934Hjzw9DH(a):
    count = op_count_SL6IHkK8vl(171)+op_count_mLFH2NRKNI(op_SL6IHkK8vl(171))+op_count_lvsn8tIMDl(a)+op_count_tYr37UhHCW(a,a)+op_count_PULhhNGBKj(op_lvsn8tIMDl(a),op_tYr37UhHCW(a,a))+op_count_Api82iH42a(op_mLFH2NRKNI(op_SL6IHkK8vl(171)),op_PULhhNGBKj(op_lvsn8tIMDl(a),op_tYr37UhHCW(a,a)))
    return count


def op_TQGIL6lhZN(a, b):
    return op_aBc3pQJR8T(op_9qYBGIiuHp(op_f8TJb0vaMc(b,a)))

def op_count_TQGIL6lhZN(a, b):
    count = op_count_f8TJb0vaMc(b,a)+op_count_9qYBGIiuHp(op_f8TJb0vaMc(b,a))+op_count_aBc3pQJR8T(op_9qYBGIiuHp(op_f8TJb0vaMc(b,a)))
    return count


a∲⇍b = { ((a↳a)⪝⨱⫷) , if (⪎b)<=39 ; (≩(a↡∰⨪a)) , else }

def op_EVtoYVdMBM(a, b):
    if op_4q4Wt1yQrE(b) <= 39:
        return op_UgJUmNBkC4(op_K1uHWJv1IW(a,a))
    else:
        return op_dfvMZLPvSI(op_TFC8BisZgT(a,a))

def op_count_EVtoYVdMBM(a, b):
    if op_4q4Wt1yQrE(b) <= 39:
        count = op_count_K1uHWJv1IW(a,a)+op_count_UgJUmNBkC4(op_K1uHWJv1IW(a,a))+op_count_4q4Wt1yQrE(b)
    else:
        count = op_count_TFC8BisZgT(a,a)+op_count_dfvMZLPvSI(op_TFC8BisZgT(a,a))
    return count


def op_njRaTUvNRG(a, b):
    return op_svRCeDQHR0(op_5GqDbVmqXU(a),op_qIDt5vVHD5(140,b))

def op_count_njRaTUvNRG(a, b):
    count = op_count_5GqDbVmqXU(a)+op_count_qIDt5vVHD5(140,b)+op_count_svRCeDQHR0(op_5GqDbVmqXU(a),op_qIDt5vVHD5(140,b))
    return count


a⨋⇷ = { (((a⪛⫼a)⨬(a⨽∌a))⨣((∤↝a)⩰⩴(a⨖⇷a))) }

def op_8avPNxAQtx(a):
    return op_5ClX4R8SjJ(op_NsGlVlbNoR(op_hyuBjUqXlG(a,a),op_9samAPKr6k(a,a)),op_DaGtvK0FhA(op_3UMq87Qwqg(a),op_JoVwyMeNnt(a,a)))

def op_count_8avPNxAQtx(a):
    count = op_count_hyuBjUqXlG(a,a)+op_count_9samAPKr6k(a,a)+op_count_NsGlVlbNoR(op_hyuBjUqXlG(a,a),op_9samAPKr6k(a,a))+op_count_3UMq87Qwqg(a)+op_count_JoVwyMeNnt(a,a)+op_count_DaGtvK0FhA(op_3UMq87Qwqg(a),op_JoVwyMeNnt(a,a))+op_count_5ClX4R8SjJ(op_NsGlVlbNoR(op_hyuBjUqXlG(a,a),op_9samAPKr6k(a,a)),op_DaGtvK0FhA(op_3UMq87Qwqg(a),op_JoVwyMeNnt(a,a)))
    return count


def op_IqtgI5iPo4(a):
    return op_s1XTVnmDOJ(a,a)

def op_count_IqtgI5iPo4(a):
    count = op_count_s1XTVnmDOJ(a,a)
    return count


a∿⨢≣b = { (a⊁) , if (a⋚⫹)!=97 ; (b⇡⨸a) , else }

def op_hZqwc3tfoN(a, b):
    if op_42BppLRjHS(a) != 97:
        return op_IU5bnLfiEv(a)
    else:
        return op_zqsMTVBX2o(b,a)

def op_count_hZqwc3tfoN(a, b):
    if op_42BppLRjHS(a) != 97:
        count = op_count_IU5bnLfiEv(a)+op_count_42BppLRjHS(a)
    else:
        count = op_count_zqsMTVBX2o(b,a)
    return count


def op_katZo5ygBZ(a):
    return op_UuoVKWBu8y(op_3UMq87Qwqg(201),op_nz5y26sRSo(a,472))

def op_count_katZo5ygBZ(a):
    count = op_count_3UMq87Qwqg(201)+op_count_nz5y26sRSo(a,472)+op_count_UuoVKWBu8y(op_3UMq87Qwqg(201),op_nz5y26sRSo(a,472))
    return count


def op_ARChOtjECK(a, b):
    return op_8n6F7jskv3(b,op_hFvFHqVvZy(op_46b43un9S1(a,a)))

def op_count_ARChOtjECK(a, b):
    count = op_count_46b43un9S1(a,a)+op_count_hFvFHqVvZy(op_46b43un9S1(a,a))+op_count_8n6F7jskv3(b,op_hFvFHqVvZy(op_46b43un9S1(a,a)))
    return count


a⨓∶⪱b = { (b⪐≢↶((b∍↴a)∳⩯(a⫉⇬⇴b))) , if (a⇮⊵94)>=164 ; ((⊃(⩦⊞a))∮−((b⪔⊥a)⇣⩺⋵(234⪿⪠≾b))) , else }

def op_uyjXSLgOOM(a, b):
    if op_mQAUEyL64v(a,94) >= 164:
        return op_GaQb60eDBT(b,op_9HGD9fv1Jr(op_Esodbl1gVe(b,a),op_rTUPPhO5VL(a,b)))
    else:
        return op_YBMuzGt8zL(op_fcYd9Sln05(op_u7fv1HBiaC(a)),op_F4yD0voBRQ(op_HJ9erzHUuu(b,a),op_SGDLQMSxql(234,b)))

def op_count_uyjXSLgOOM(a, b):
    if op_mQAUEyL64v(a,94) >= 164:
        count = op_count_Esodbl1gVe(b,a)+op_count_rTUPPhO5VL(a,b)+op_count_9HGD9fv1Jr(op_Esodbl1gVe(b,a),op_rTUPPhO5VL(a,b))+op_count_GaQb60eDBT(b,op_9HGD9fv1Jr(op_Esodbl1gVe(b,a),op_rTUPPhO5VL(a,b)))+op_count_mQAUEyL64v(a,94)
    else:
        count = op_count_u7fv1HBiaC(a)+op_count_fcYd9Sln05(op_u7fv1HBiaC(a))+op_count_HJ9erzHUuu(b,a)+op_count_SGDLQMSxql(234,b)+op_count_F4yD0voBRQ(op_HJ9erzHUuu(b,a),op_SGDLQMSxql(234,b))+op_count_YBMuzGt8zL(op_fcYd9Sln05(op_u7fv1HBiaC(a)),op_F4yD0voBRQ(op_HJ9erzHUuu(b,a),op_SGDLQMSxql(234,b)))
    return count


def op_7t91pDo5kv(a):
    return op_aBQ6xLxuTc(162,a)

def op_count_7t91pDo5kv(a):
    count = op_count_aBQ6xLxuTc(162,a)
    return count


def op_DgPNDrFvSv(a, b):
    if (op_jS8qnsL3aY(b) <= 210 or b > 461):
        return op_H7f1qksvrC(b)
    else:
        return op_GfE2GQMWLl(a)

def op_count_DgPNDrFvSv(a, b):
    if (op_jS8qnsL3aY(b) <= 210 or b > 461):
        count = op_count_H7f1qksvrC(b)+op_count_jS8qnsL3aY(b)
    else:
        count = op_count_GfE2GQMWLl(a)
    return count


def op_kAHiOR3JUJ(a, b):
    if op_SPuZE40Ntn(a,877) != 243 or op_jBncVCNhdl(b,571) >= 128:
        return op_IkBJshDHtt(63)
    else:
        return op_36V2MidH9c(a,a)

def op_count_kAHiOR3JUJ(a, b):
    if op_SPuZE40Ntn(a,877) != 243 or op_jBncVCNhdl(b,571) >= 128:
        count = op_count_IkBJshDHtt(63)+op_count_SPuZE40Ntn(a,877)+op_count_jBncVCNhdl(b,571)
    else:
        count = op_count_36V2MidH9c(a,a)
    return count


def op_igGQ9BmGhw(a):
    return op_p1y54au9R0(op_X99M06cbEe(op_wPaLWLSZ6I(a,113)))

def op_count_igGQ9BmGhw(a):
    count = op_count_wPaLWLSZ6I(a,113)+op_count_X99M06cbEe(op_wPaLWLSZ6I(a,113))+op_count_p1y54au9R0(op_X99M06cbEe(op_wPaLWLSZ6I(a,113)))
    return count


def op_qopF649pY1(a):
    return op_WFJVtqsjOa(op_OfugFTrv6S(a),op_Vzd1Za95Jr(a,a))

def op_count_qopF649pY1(a):
    count = op_count_OfugFTrv6S(a)+op_count_Vzd1Za95Jr(a,a)+op_count_WFJVtqsjOa(op_OfugFTrv6S(a),op_Vzd1Za95Jr(a,a))
    return count


a⪹↠b = { ((⊈↤(b←⨾⪫a))⩈⨋∅((⫸⊾a)⩁⩘(b↜⩯⩶a))) }

def op_Ts0S8GkAKQ(a, b):
    return op_pziE1BpiHF(op_hFvFHqVvZy(op_0NqWd9MObm(b,a)),op_gub5Cegaqo(op_mg7BfXbOdF(a),op_BUZMbiqx9t(b,a)))

def op_count_Ts0S8GkAKQ(a, b):
    count = op_count_0NqWd9MObm(b,a)+op_count_hFvFHqVvZy(op_0NqWd9MObm(b,a))+op_count_mg7BfXbOdF(a)+op_count_BUZMbiqx9t(b,a)+op_count_gub5Cegaqo(op_mg7BfXbOdF(a),op_BUZMbiqx9t(b,a))+op_count_pziE1BpiHF(op_hFvFHqVvZy(op_0NqWd9MObm(b,a)),op_gub5Cegaqo(op_mg7BfXbOdF(a),op_BUZMbiqx9t(b,a)))
    return count


a↱⋍⪍ = { (a⪮%⊝153) , if (⫫≗a)<=22 ; (a∲⫓a) , else }

def op_uWjCyZJ6Lo(a):
    if op_zPaCbzxRhG(a) <= 22:
        return op_IWmyXbctLI(a,153)
    else:
        return op_i8ToyICDmI(a,a)

def op_count_uWjCyZJ6Lo(a):
    if op_zPaCbzxRhG(a) <= 22:
        count = op_count_IWmyXbctLI(a,153)+op_count_zPaCbzxRhG(a)
    else:
        count = op_count_i8ToyICDmI(a,a)
    return count


def op_6D1FPRNS71(a):
    return op_Z3BTqAxb9Q(op_212REbPD9h(a,a))

def op_count_6D1FPRNS71(a):
    count = op_count_212REbPD9h(a,a)+op_count_Z3BTqAxb9Q(op_212REbPD9h(a,a))
    return count


def op_tOgoIPsML4(a):
    return op_4X4GscPmMf(op_PfBB7jGsSd(a,159))

def op_count_tOgoIPsML4(a):
    count = op_count_PfBB7jGsSd(a,159)+op_count_4X4GscPmMf(op_PfBB7jGsSd(a,159))
    return count


def op_ewqpnQ7xpk(a, b):
    if op_z4gvzBU7aQ(b,531) > 61:
        return op_lP51NIPzK8(op_zPaCbzxRhG(op_ztbpxZ3MBw(283)))
    else:
        return op_jZOzHi7EqF(op_MzISTVg6W9(op_vlEuakAFQx(b,598)),op_C7DFujtSMd(op_SXU37uY0z3(80),op_GPz4iu2eFk(a,b)))

def op_count_ewqpnQ7xpk(a, b):
    if op_z4gvzBU7aQ(b,531) > 61:
        count = op_count_ztbpxZ3MBw(283)+op_count_zPaCbzxRhG(op_ztbpxZ3MBw(283))+op_count_lP51NIPzK8(op_zPaCbzxRhG(op_ztbpxZ3MBw(283)))+op_count_z4gvzBU7aQ(b,531)
    else:
        count = op_count_vlEuakAFQx(b,598)+op_count_MzISTVg6W9(op_vlEuakAFQx(b,598))+op_count_SXU37uY0z3(80)+op_count_GPz4iu2eFk(a,b)+op_count_C7DFujtSMd(op_SXU37uY0z3(80),op_GPz4iu2eFk(a,b))+op_count_jZOzHi7EqF(op_MzISTVg6W9(op_vlEuakAFQx(b,598)),op_C7DFujtSMd(op_SXU37uY0z3(80),op_GPz4iu2eFk(a,b)))
    return count


def op_7nowSyiMJg(a):
    return op_1eCjFl0mb9(a,a)

def op_count_7nowSyiMJg(a):
    count = op_count_1eCjFl0mb9(a,a)
    return count


a↓⫨⊁ = { (((125↪⪝)∫⩜⪳a)≬⇼↘((a⩃⫏a)⋗(400⪺↤a))) }

def op_jQMo6Arn7f(a):
    return op_b71WJCI7uC(op_HYQYetZkj2(op_l07mrZUIn9(125),a),op_hy5IL4GG6G(op_96sgIAAApN(a,a),op_HY4jiOqclA(400,a)))

def op_count_jQMo6Arn7f(a):
    count = op_count_l07mrZUIn9(125)+op_count_HYQYetZkj2(op_l07mrZUIn9(125),a)+op_count_96sgIAAApN(a,a)+op_count_HY4jiOqclA(400,a)+op_count_hy5IL4GG6G(op_96sgIAAApN(a,a),op_HY4jiOqclA(400,a))+op_count_b71WJCI7uC(op_HYQYetZkj2(op_l07mrZUIn9(125),a),op_hy5IL4GG6G(op_96sgIAAApN(a,a),op_HY4jiOqclA(400,a)))
    return count


a⋆⪮b = { ((⋙⪷(a⫅⩹a))⋘((⩦⨙⩙a)∛⇕(b≩⫓b))) , if a<0 ; ((⨈⪑(a⫳≱↱a))⩂((b⨍⇓b)⨼⋆≾(⪃↑b))) , else }

def op_M2xoT84YXH(a, b):
    if a < 0:
        return op_2M7SKlOzyM(op_jgiYmmuMZp(op_CdWimuzQB6(a,a)),op_Gf27X6JpjG(op_glFeB2EvNP(a),op_dS3vmXYzMr(b,b)))
    else:
        return op_CfxG4j8dfZ(op_mp94q5OcYM(op_ZvLB05nZmT(a,a)),op_I8Ve4empKG(op_J6P3rkRUj0(b,b),op_98E60VfkJa(b)))

def op_count_M2xoT84YXH(a, b):
    if a < 0:
        count = op_count_CdWimuzQB6(a,a)+op_count_jgiYmmuMZp(op_CdWimuzQB6(a,a))+op_count_glFeB2EvNP(a)+op_count_dS3vmXYzMr(b,b)+op_count_Gf27X6JpjG(op_glFeB2EvNP(a),op_dS3vmXYzMr(b,b))+op_count_2M7SKlOzyM(op_jgiYmmuMZp(op_CdWimuzQB6(a,a)),op_Gf27X6JpjG(op_glFeB2EvNP(a),op_dS3vmXYzMr(b,b)))
    else:
        count = op_count_ZvLB05nZmT(a,a)+op_count_mp94q5OcYM(op_ZvLB05nZmT(a,a))+op_count_J6P3rkRUj0(b,b)+op_count_98E60VfkJa(b)+op_count_I8Ve4empKG(op_J6P3rkRUj0(b,b),op_98E60VfkJa(b))+op_count_CfxG4j8dfZ(op_mp94q5OcYM(op_ZvLB05nZmT(a,a)),op_I8Ve4empKG(op_J6P3rkRUj0(b,b),op_98E60VfkJa(b)))
    return count


a⋿≌⩺b = { ((b⫍⇺(⩘⋧a))∪⋗((b%204)⇘⋴(b⊢≏≾a))) }

def op_ubStOKblsQ(a, b):
    return op_qPbESVb90t(op_ITUoubXGQQ(b,op_S9mysg7M9M(a)),op_jGfH5UPFW6(op_k8jYdgA6NY(b,204),op_qxqspddX8k(b,a)))

def op_count_ubStOKblsQ(a, b):
    count = op_count_S9mysg7M9M(a)+op_count_ITUoubXGQQ(b,op_S9mysg7M9M(a))+op_count_k8jYdgA6NY(b,204)+op_count_qxqspddX8k(b,a)+op_count_jGfH5UPFW6(op_k8jYdgA6NY(b,204),op_qxqspddX8k(b,a))+op_count_qPbESVb90t(op_ITUoubXGQQ(b,op_S9mysg7M9M(a)),op_jGfH5UPFW6(op_k8jYdgA6NY(b,204),op_qxqspddX8k(b,a)))
    return count


a⪣⪃b = { (∘≵(b≝b)) , if a<=92 ; ((a∓⋝b)≝) , else }

def op_vaPs0NDhgo(a, b):
    if a <= 92:
        return op_LlCD65txTz(op_9ceAZlIJYr(b,b))
    else:
        return op_qediHccxJ2(op_PoHhknlbAi(a,b))

def op_count_vaPs0NDhgo(a, b):
    if a <= 92:
        count = op_count_9ceAZlIJYr(b,b)+op_count_LlCD65txTz(op_9ceAZlIJYr(b,b))
    else:
        count = op_count_PoHhknlbAi(a,b)+op_count_qediHccxJ2(op_PoHhknlbAi(a,b))
    return count


def op_6VMWzqt8x7(a, b):
    if (a < 253 or op_JI6Y01kM0I(b,453) <= 65 or b <= 789):
        return op_8gunywYc09(op_zFY2A2ppo2(op_YANvL1cq0Q(120,a)))
    else:
        return op_RXUpafmlG7(op_Y6u3OyaTgl(op_aCwnCp9fG4(415,b),op_xcoQzu4oYl(a,b)),13)

def op_count_6VMWzqt8x7(a, b):
    if (a < 253 or op_JI6Y01kM0I(b,453) <= 65 or b <= 789):
        count = op_count_YANvL1cq0Q(120,a)+op_count_zFY2A2ppo2(op_YANvL1cq0Q(120,a))+op_count_8gunywYc09(op_zFY2A2ppo2(op_YANvL1cq0Q(120,a)))+op_count_JI6Y01kM0I(b,453)
    else:
        count = op_count_aCwnCp9fG4(415,b)+op_count_xcoQzu4oYl(a,b)+op_count_Y6u3OyaTgl(op_aCwnCp9fG4(415,b),op_xcoQzu4oYl(a,b))+op_count_RXUpafmlG7(op_Y6u3OyaTgl(op_aCwnCp9fG4(415,b),op_xcoQzu4oYl(a,b)),13)
    return count


≈⫷⇶a = { (((a∗⫦⨲a)⪡(74⋗⨓a))⋑↺⫍((a⫒↣⫴a)↵⋵⇹(a≐≱a))) }

def op_znRXZOC9Ci(a):
    return op_bgTCUQNVoy(op_oraRL2iQuh(op_4zhs1Pu9yK(a,a),op_imqY0THBaP(74,a)),op_dUtXqx2Zuq(op_QNXKgMrj0w(a,a),op_EopCNPJDb6(a,a)))

def op_count_znRXZOC9Ci(a):
    count = op_count_4zhs1Pu9yK(a,a)+op_count_imqY0THBaP(74,a)+op_count_oraRL2iQuh(op_4zhs1Pu9yK(a,a),op_imqY0THBaP(74,a))+op_count_QNXKgMrj0w(a,a)+op_count_EopCNPJDb6(a,a)+op_count_dUtXqx2Zuq(op_QNXKgMrj0w(a,a),op_EopCNPJDb6(a,a))+op_count_bgTCUQNVoy(op_oraRL2iQuh(op_4zhs1Pu9yK(a,a),op_imqY0THBaP(74,a)),op_dUtXqx2Zuq(op_QNXKgMrj0w(a,a),op_EopCNPJDb6(a,a)))
    return count


def op_G96GBiEpHu(a, b):
    return op_8jW3W4yZS5(op_XFunts32PM(b,a))

def op_count_G96GBiEpHu(a, b):
    count = op_count_XFunts32PM(b,a)+op_count_8jW3W4yZS5(op_XFunts32PM(b,a))
    return count


def op_2XD3tPU2JT(a):
    return op_YEzomLoFTT(206,a)

def op_count_2XD3tPU2JT(a):
    count = op_count_YEzomLoFTT(206,a)
    return count


def op_FJI9jqA9rL(a):
    return op_Gf27X6JpjG(op_mp94q5OcYM(op_MLuVrXzyTy(a,a)),op_kE9YHawE8s(op_GIBeQO4UOL(a),op_zXQIJkDMTk(a,a)))

def op_count_FJI9jqA9rL(a):
    count = op_count_MLuVrXzyTy(a,a)+op_count_mp94q5OcYM(op_MLuVrXzyTy(a,a))+op_count_GIBeQO4UOL(a)+op_count_zXQIJkDMTk(a,a)+op_count_kE9YHawE8s(op_GIBeQO4UOL(a),op_zXQIJkDMTk(a,a))+op_count_Gf27X6JpjG(op_mp94q5OcYM(op_MLuVrXzyTy(a,a)),op_kE9YHawE8s(op_GIBeQO4UOL(a),op_zXQIJkDMTk(a,a)))
    return count


def op_cKCqOL6IAt(a):
    return op_6CTfL9kIPY(235,a)

def op_count_cKCqOL6IAt(a):
    count = op_count_6CTfL9kIPY(235,a)
    return count


⪐⫟⊁a = { ((a≐≱a)⊐⨩⨺(444→⨶⪴a)) , if ((a⇡⨸995)>326 and a>784) ; ((a⫏a)⪊⇅(a≜⩼a)) , else }

def op_QSHgk6IYtE(a):
    if (op_zqsMTVBX2o(a,995) > 326 and a > 784):
        return op_kSF6tTRmc5(op_EopCNPJDb6(a,a),op_bF6eod5Gvf(444,a))
    else:
        return op_wwXkqyu98f(op_uQ5MaQD2YO(a,a),op_44bIv9JyVY(a,a))

def op_count_QSHgk6IYtE(a):
    if (op_zqsMTVBX2o(a,995) > 326 and a > 784):
        count = op_count_EopCNPJDb6(a,a)+op_count_bF6eod5Gvf(444,a)+op_count_kSF6tTRmc5(op_EopCNPJDb6(a,a),op_bF6eod5Gvf(444,a))+op_count_zqsMTVBX2o(a,995)
    else:
        count = op_count_uQ5MaQD2YO(a,a)+op_count_44bIv9JyVY(a,a)+op_count_wwXkqyu98f(op_uQ5MaQD2YO(a,a),op_44bIv9JyVY(a,a))
    return count


def op_9sMXryrs6h(a):
    return op_IOQom0VbAc(op_DEqk5vDXLq(a),op_zoVUxTIMAa(a,a))

def op_count_9sMXryrs6h(a):
    count = op_count_DEqk5vDXLq(a)+op_count_zoVUxTIMAa(a,a)+op_count_IOQom0VbAc(op_DEqk5vDXLq(a),op_zoVUxTIMAa(a,a))
    return count


def op_TmG8KjKJBC(a):
    return op_gWibIJBsW2(op_S2EdmdiVZh(a,a),op_8ZudynJV7e(a))

def op_count_TmG8KjKJBC(a):
    count = op_count_S2EdmdiVZh(a,a)+op_count_8ZudynJV7e(a)+op_count_gWibIJBsW2(op_S2EdmdiVZh(a,a),op_8ZudynJV7e(a))
    return count


≻⪷a = { (((≈⩪a)≀⇓∃(a≅⪍∭a))⊢⨅≐(↠∋(a⨱↷⋐a))) }

def op_wMwjgZ7GAT(a):
    return op_ieEneBRTef(op_kXpzAH9jno(op_STs8eSTo28(a),op_Qu4uWmhj3N(a,a)),op_KHAvRn04uW(op_N4xFjQxcx5(a,a)))

def op_count_wMwjgZ7GAT(a):
    count = op_count_STs8eSTo28(a)+op_count_Qu4uWmhj3N(a,a)+op_count_kXpzAH9jno(op_STs8eSTo28(a),op_Qu4uWmhj3N(a,a))+op_count_N4xFjQxcx5(a,a)+op_count_KHAvRn04uW(op_N4xFjQxcx5(a,a))+op_count_ieEneBRTef(op_kXpzAH9jno(op_STs8eSTo28(a),op_Qu4uWmhj3N(a,a)),op_KHAvRn04uW(op_N4xFjQxcx5(a,a)))
    return count


def op_BAhcMzLYu8(a, b):
    if op_FcFIThd5eN(a) >= 413:
        return op_8FLs4eVsLt(109)
    else:
        return op_A1OgdcMHe9(a,b)

def op_count_BAhcMzLYu8(a, b):
    if op_FcFIThd5eN(a) >= 413:
        count = op_count_8FLs4eVsLt(109)+op_count_FcFIThd5eN(a)
    else:
        count = op_count_A1OgdcMHe9(a,b)
    return count


⇯⇹a = { ((⫅⩤(a⫞⩸⩒a))⨧⫸∅((497↴⊅≬)∺(a≎⋰))) , if a<578 ; ((∖⨊↿35)∞⩭∨((a⨽⫍263)∋∓⫟(↪a))) , else }

def op_WwoyfPE0GI(a):
    if a < 578:
        return op_xQ7F9HlfPt(op_mXREAjXmot(op_XGcMNugi78(a,a)),op_3lnCICep6t(op_xMlr59cfq7(497),op_hrXGNBIrMT(a)))
    else:
        return op_yPRFSXaFQ1(op_3MN2UJMywv(35),op_xTgA75nXjt(op_ZMV0W12WVe(a,263),op_KFvx0uYMJh(a)))

def op_count_WwoyfPE0GI(a):
    if a < 578:
        count = op_count_XGcMNugi78(a,a)+op_count_mXREAjXmot(op_XGcMNugi78(a,a))+op_count_xMlr59cfq7(497)+op_count_hrXGNBIrMT(a)+op_count_3lnCICep6t(op_xMlr59cfq7(497),op_hrXGNBIrMT(a))+op_count_xQ7F9HlfPt(op_mXREAjXmot(op_XGcMNugi78(a,a)),op_3lnCICep6t(op_xMlr59cfq7(497),op_hrXGNBIrMT(a)))
    else:
        count = op_count_3MN2UJMywv(35)+op_count_ZMV0W12WVe(a,263)+op_count_KFvx0uYMJh(a)+op_count_xTgA75nXjt(op_ZMV0W12WVe(a,263),op_KFvx0uYMJh(a))+op_count_yPRFSXaFQ1(op_3MN2UJMywv(35),op_xTgA75nXjt(op_ZMV0W12WVe(a,263),op_KFvx0uYMJh(a)))
    return count


a≻⊔⪋b = { (((b⫫⋫b)≩⫆(b⨑⋨a))≅(⩯≢≕(↾⫸566))) }

def op_kwAJkQ91rG(a, b):
    return op_aFodGWjv1K(op_8Im2A1wcJk(op_xtCeza3rDf(b,b),op_tIhPxZTbsh(b,a)),op_840vADziXz(op_jGcHlHjguj(566)))

def op_count_kwAJkQ91rG(a, b):
    count = op_count_xtCeza3rDf(b,b)+op_count_tIhPxZTbsh(b,a)+op_count_8Im2A1wcJk(op_xtCeza3rDf(b,b),op_tIhPxZTbsh(b,a))+op_count_jGcHlHjguj(566)+op_count_840vADziXz(op_jGcHlHjguj(566))+op_count_aFodGWjv1K(op_8Im2A1wcJk(op_xtCeza3rDf(b,b),op_tIhPxZTbsh(b,a)),op_840vADziXz(op_jGcHlHjguj(566)))
    return count


def op_enoNeSxeZq(a, b):
    if op_4PRWQFqlah(a) < 543:
        return op_d7ASUq0ydm(op_0q6GdIluC7(op_ShBvFzxPDQ(232)),op_uEiDLHpX5n(b,op_YC3tgrnOyr(244,b)))
    else:
        return op_IVVGj2B19U(op_IU5bnLfiEv(op_LcBySUccw5(14)))

def op_count_enoNeSxeZq(a, b):
    if op_4PRWQFqlah(a) < 543:
        count = op_count_ShBvFzxPDQ(232)+op_count_0q6GdIluC7(op_ShBvFzxPDQ(232))+op_count_YC3tgrnOyr(244,b)+op_count_uEiDLHpX5n(b,op_YC3tgrnOyr(244,b))+op_count_d7ASUq0ydm(op_0q6GdIluC7(op_ShBvFzxPDQ(232)),op_uEiDLHpX5n(b,op_YC3tgrnOyr(244,b)))+op_count_4PRWQFqlah(a)
    else:
        count = op_count_LcBySUccw5(14)+op_count_IU5bnLfiEv(op_LcBySUccw5(14))+op_count_IVVGj2B19U(op_IU5bnLfiEv(op_LcBySUccw5(14)))
    return count


a⨟∧⇿b = { (((b↙⨬⋜b)⨔⪫(216⇡))↟⫝̸((a⋰a)⫽(b≅⨐⋅20))) }

def op_SvBhWvR7tw(a, b):
    return op_t3zCv2dJ9y(op_YeqGfToepn(op_UlBlWmOBXm(b,b),op_UqFzSgLMvQ(216)),op_uU3XJfDBdq(op_lDgtejlvTV(a,a),op_lv7AZugVYQ(b,20)))

def op_count_SvBhWvR7tw(a, b):
    count = op_count_UlBlWmOBXm(b,b)+op_count_UqFzSgLMvQ(216)+op_count_YeqGfToepn(op_UlBlWmOBXm(b,b),op_UqFzSgLMvQ(216))+op_count_lDgtejlvTV(a,a)+op_count_lv7AZugVYQ(b,20)+op_count_uU3XJfDBdq(op_lDgtejlvTV(a,a),op_lv7AZugVYQ(b,20))+op_count_t3zCv2dJ9y(op_YeqGfToepn(op_UlBlWmOBXm(b,b),op_UqFzSgLMvQ(216)),op_uU3XJfDBdq(op_lDgtejlvTV(a,a),op_lv7AZugVYQ(b,20)))
    return count


a↙⪋⫸ = { (((a⊓≱a)∇∹(a⩫≗⊖a))⪷↴((a↠⫝̸⫩a)∟)) }

def op_0yp81yx1Kd(a):
    return op_Yslh20Vpco(op_NQx0zRYggH(op_VCG3UHNzLR(a,a),op_6GzKXIXcaD(a,a)),op_hTbEZDJLEm(op_E331xP7I43(a,a)))

def op_count_0yp81yx1Kd(a):
    count = op_count_VCG3UHNzLR(a,a)+op_count_6GzKXIXcaD(a,a)+op_count_NQx0zRYggH(op_VCG3UHNzLR(a,a),op_6GzKXIXcaD(a,a))+op_count_E331xP7I43(a,a)+op_count_hTbEZDJLEm(op_E331xP7I43(a,a))+op_count_Yslh20Vpco(op_NQx0zRYggH(op_VCG3UHNzLR(a,a),op_6GzKXIXcaD(a,a)),op_hTbEZDJLEm(op_E331xP7I43(a,a)))
    return count


def op_KDuwreRs2W(a):
    return op_XGcMNugi78(143,a)

def op_count_KDuwreRs2W(a):
    count = op_count_XGcMNugi78(143,a)
    return count


def op_TggRJD4cLo(a, b):
    if (op_NkmDxhANyO(b,258) <= 457 or op_I0baQEctSg(b) <= 52):
        return op_UZb5oF9J8A(op_IU5bnLfiEv(a),op_nREPSIbpBE(b,a))
    else:
        return op_MDeofPkNUB(op_uEzDtkuuWN(a),op_AoPU032JrE(411))

def op_count_TggRJD4cLo(a, b):
    if (op_NkmDxhANyO(b,258) <= 457 or op_I0baQEctSg(b) <= 52):
        count = op_count_IU5bnLfiEv(a)+op_count_nREPSIbpBE(b,a)+op_count_UZb5oF9J8A(op_IU5bnLfiEv(a),op_nREPSIbpBE(b,a))+op_count_NkmDxhANyO(b,258)+op_count_I0baQEctSg(b)
    else:
        count = op_count_uEzDtkuuWN(a)+op_count_AoPU032JrE(411)+op_count_MDeofPkNUB(op_uEzDtkuuWN(a),op_AoPU032JrE(411))
    return count


↮⇋a = { ((≆a)⫎⨶⇬(a⩧459)) , if (⇙a)!=70 ; ((⪶⨩a)⋤(a⨆⪪⊞a)) , else }

def op_LINbGLUOtg(a):
    if op_hJ1EP0XKuB(a) != 70:
        return op_5wMGBMjzkl(op_7iT9y97eD8(a),op_sQFXMycfVt(a,459))
    else:
        return op_3FfuuMEB8X(op_ixc2Esl5RP(a),op_ofsUmZRSmp(a,a))

def op_count_LINbGLUOtg(a):
    if op_hJ1EP0XKuB(a) != 70:
        count = op_count_7iT9y97eD8(a)+op_count_sQFXMycfVt(a,459)+op_count_5wMGBMjzkl(op_7iT9y97eD8(a),op_sQFXMycfVt(a,459))+op_count_hJ1EP0XKuB(a)
    else:
        count = op_count_ixc2Esl5RP(a)+op_count_ofsUmZRSmp(a,a)+op_count_3FfuuMEB8X(op_ixc2Esl5RP(a),op_ofsUmZRSmp(a,a))
    return count


def op_vas5LJo2XG(a):
    return op_RdfFZieUng(a,op_ZJpFhNJr3x(op_pCchOQ3ajF(a)))

def op_count_vas5LJo2XG(a):
    count = op_count_pCchOQ3ajF(a)+op_count_ZJpFhNJr3x(op_pCchOQ3ajF(a))+op_count_RdfFZieUng(a,op_ZJpFhNJr3x(op_pCchOQ3ajF(a)))
    return count


def op_7vXulwUosi(a, b):
    if op_QDVgd2eftb(b,639) != 386:
        return op_WHvsDZpt7Z(371,a)
    else:
        return op_srAu1WTS94(a)

def op_count_7vXulwUosi(a, b):
    if op_QDVgd2eftb(b,639) != 386:
        count = op_count_WHvsDZpt7Z(371,a)+op_count_QDVgd2eftb(b,639)
    else:
        count = op_count_srAu1WTS94(a)
    return count


def op_M0feZtmigt(a):
    return op_2hIaDBSv9V(op_cHlYcnNa7k(a),op_N2CwLZHY2H(a,78))

def op_count_M0feZtmigt(a):
    count = op_count_cHlYcnNa7k(a)+op_count_N2CwLZHY2H(a,78)+op_count_2hIaDBSv9V(op_cHlYcnNa7k(a),op_N2CwLZHY2H(a,78))
    return count


def op_vHuTXzteFg(a):
    return op_UvedHhwKRj(a,a)

def op_count_vHuTXzteFg(a):
    count = op_count_UvedHhwKRj(a,a)
    return count


def op_SxDpv7iSp8(a):
    if op_zitDEEUIOR(a) != 139 or op_R75JuolGUV(a,800) > 114 or a == 74:
        return op_BUZMbiqx9t(520,149)
    else:
        return op_GMrB5OisJT(454)

def op_count_SxDpv7iSp8(a):
    if op_zitDEEUIOR(a) != 139 or op_R75JuolGUV(a,800) > 114 or a == 74:
        count = op_count_BUZMbiqx9t(520,149)+op_count_zitDEEUIOR(a)+op_count_R75JuolGUV(a,800)
    else:
        count = op_count_GMrB5OisJT(454)
    return count


a≷⊋b = { ((≆∏⊝(a⊭⇾b))⇘⨗(⇣(5⫟⪀a))) , if (b⇪∊⪂)<=440 ; (((⋠∜a)∝⫕∽(b⫍⨯↯))⊢⫝̸⪉((⋸⩇⊞a)⇉(160⋔∶a))) , else }

def op_JeqbPMBChU(a, b):
    if op_WDL3VZifvS(b) <= 440:
        return op_w4eTsxfO5i(op_Bv9scDTvcV(op_5ujlfRu9Nu(a,b)),op_jrW1E7Ncie(op_ZG1KnpkPxw(5,a)))
    else:
        return op_ZCundfY3Ma(op_O6oPZIQyvW(op_ZJpFhNJr3x(a),op_ZcwmYACASQ(b)),op_lJ0NnniDH7(op_QZRjuhgdxU(a),op_e1tqKxnyD8(160,a)))

def op_count_JeqbPMBChU(a, b):
    if op_WDL3VZifvS(b) <= 440:
        count = op_count_5ujlfRu9Nu(a,b)+op_count_Bv9scDTvcV(op_5ujlfRu9Nu(a,b))+op_count_ZG1KnpkPxw(5,a)+op_count_jrW1E7Ncie(op_ZG1KnpkPxw(5,a))+op_count_w4eTsxfO5i(op_Bv9scDTvcV(op_5ujlfRu9Nu(a,b)),op_jrW1E7Ncie(op_ZG1KnpkPxw(5,a)))+op_count_WDL3VZifvS(b)
    else:
        count = op_count_ZJpFhNJr3x(a)+op_count_ZcwmYACASQ(b)+op_count_O6oPZIQyvW(op_ZJpFhNJr3x(a),op_ZcwmYACASQ(b))+op_count_QZRjuhgdxU(a)+op_count_e1tqKxnyD8(160,a)+op_count_lJ0NnniDH7(op_QZRjuhgdxU(a),op_e1tqKxnyD8(160,a))+op_count_ZCundfY3Ma(op_O6oPZIQyvW(op_ZJpFhNJr3x(a),op_ZcwmYACASQ(b)),op_lJ0NnniDH7(op_QZRjuhgdxU(a),op_e1tqKxnyD8(160,a)))
    return count


def op_566Ks3yvH1(a):
    return op_fHEWrCoiIm(op_sX7icBeOwx(op_kXpzAH9jno(a,a)),op_5twsqlHp2o(op_bG3SoPrX0m(a,a),a))

def op_count_566Ks3yvH1(a):
    count = op_count_kXpzAH9jno(a,a)+op_count_sX7icBeOwx(op_kXpzAH9jno(a,a))+op_count_bG3SoPrX0m(a,a)+op_count_5twsqlHp2o(op_bG3SoPrX0m(a,a),a)+op_count_fHEWrCoiIm(op_sX7icBeOwx(op_kXpzAH9jno(a,a)),op_5twsqlHp2o(op_bG3SoPrX0m(a,a),a))
    return count


def op_0Q84OyDVxf(a):
    return op_NNaDxxp6OQ(op_WRl4KaSwns(a,a))

def op_count_0Q84OyDVxf(a):
    count = op_count_WRl4KaSwns(a,a)+op_count_NNaDxxp6OQ(op_WRl4KaSwns(a,a))
    return count


a⫚⋫⊨b = { (⇨b) , if (⇿⨑⊞b)==221 ; (855⪭≽⪚a) , else }

def op_6gQ0EqwXZr(a, b):
    if op_RafIHr9T3g(b) == 221:
        return op_G9tJMlZ94a(b)
    else:
        return op_eY5BGNLxQI(855,a)

def op_count_6gQ0EqwXZr(a, b):
    if op_RafIHr9T3g(b) == 221:
        count = op_count_G9tJMlZ94a(b)+op_count_RafIHr9T3g(b)
    else:
        count = op_count_eY5BGNLxQI(855,a)
    return count


def op_a3VSMU2Z1l(a):
    return op_JGUZimA2Hi(op_kHoXpA7yos(op_s4gCNs8pnH(a,a)))

def op_count_a3VSMU2Z1l(a):
    count = op_count_s4gCNs8pnH(a,a)+op_count_kHoXpA7yos(op_s4gCNs8pnH(a,a))+op_count_JGUZimA2Hi(op_kHoXpA7yos(op_s4gCNs8pnH(a,a)))
    return count


a⊰⫲b = { (((272↵)⇢⩤⨤b)⊏≷≳) , if b!=514 ; (((b⩉-a)⊴⩆⊰(≱⨚a))⇸≇) , else }

def op_kbRaMQMGhu(a, b):
    if b != 514:
        return op_IyXueN9Vxj(op_kBclOZdV5K(op_OKbrAQToy4(272),b))
    else:
        return op_FZXVY8MgqP(op_hkd0AjIQJB(op_LHjswSuruo(b,a),op_GaQLcZwlqT(a)))

def op_count_kbRaMQMGhu(a, b):
    if b != 514:
        count = op_count_OKbrAQToy4(272)+op_count_kBclOZdV5K(op_OKbrAQToy4(272),b)+op_count_IyXueN9Vxj(op_kBclOZdV5K(op_OKbrAQToy4(272),b))
    else:
        count = op_count_LHjswSuruo(b,a)+op_count_GaQLcZwlqT(a)+op_count_hkd0AjIQJB(op_LHjswSuruo(b,a),op_GaQLcZwlqT(a))+op_count_FZXVY8MgqP(op_hkd0AjIQJB(op_LHjswSuruo(b,a),op_GaQLcZwlqT(a)))
    return count


a⫳∂b = { ((⨖⋝⩣306)⋔⫻(b∠⨼≺b)) , if (⇒∈b)<=386 or (↪↝a)<87 ; a , else }

def op_jJYLip4aMc(a, b):
    if op_CCAkqlVbr4(b) <= 386 or op_fapF41XmAQ(a) < 87:
        return op_tcrxUegxCv(op_JRqKiIdTS7(306),op_zF2h9d8EEQ(b,b))
    else:
        return a

def op_count_jJYLip4aMc(a, b):
    if op_CCAkqlVbr4(b) <= 386 or op_fapF41XmAQ(a) < 87:
        count = op_count_JRqKiIdTS7(306)+op_count_zF2h9d8EEQ(b,b)+op_count_tcrxUegxCv(op_JRqKiIdTS7(306),op_zF2h9d8EEQ(b,b))+op_count_CCAkqlVbr4(b)+op_count_fapF41XmAQ(a)
    else:
        count = 1
    return count


def op_w5NP6NjTRG(a):
    return op_3EYGwJThht(op_RQrPGIk0z5(a,a),op_sX7icBeOwx(a))

def op_count_w5NP6NjTRG(a):
    count = op_count_RQrPGIk0z5(a,a)+op_count_sX7icBeOwx(a)+op_count_3EYGwJThht(op_RQrPGIk0z5(a,a),op_sX7icBeOwx(a))
    return count


∯↦⪐a = { (((68⋝≺⋾)↵)↴(↫⇄(a⫫⋫a))) , if (a⩝⨤⨡976)==420 ; (⫛≇≢((a⋸∕)≀⋧(≅↽∆a))) , else }

def op_5NeFaSuRhF(a):
    if op_Qqj2GTyBuk(a,976) == 420:
        return op_ZACOWTJZO4(op_OKbrAQToy4(op_mcQVDGUp7Y(68)),op_Z3BTqAxb9Q(op_xtCeza3rDf(a,a)))
    else:
        return op_ZUqWrWYwGf(op_RLgQDWzcJN(op_hfzAcxY1HE(a),op_I0zrp2dgMk(a)))

def op_count_5NeFaSuRhF(a):
    if op_Qqj2GTyBuk(a,976) == 420:
        count = op_count_mcQVDGUp7Y(68)+op_count_OKbrAQToy4(op_mcQVDGUp7Y(68))+op_count_xtCeza3rDf(a,a)+op_count_Z3BTqAxb9Q(op_xtCeza3rDf(a,a))+op_count_ZACOWTJZO4(op_OKbrAQToy4(op_mcQVDGUp7Y(68)),op_Z3BTqAxb9Q(op_xtCeza3rDf(a,a)))+op_count_Qqj2GTyBuk(a,976)
    else:
        count = op_count_hfzAcxY1HE(a)+op_count_I0zrp2dgMk(a)+op_count_RLgQDWzcJN(op_hfzAcxY1HE(a),op_I0zrp2dgMk(a))+op_count_ZUqWrWYwGf(op_RLgQDWzcJN(op_hfzAcxY1HE(a),op_I0zrp2dgMk(a)))
    return count


def op_88WNeL7FRU(a):
    return op_rMifWJgd3t(a,a)

def op_count_88WNeL7FRU(a):
    count = op_count_rMifWJgd3t(a,a)
    return count


a⊎∵⋝b = { (⊖∈(b⊛⋬⋔b)) , if (a⊠≌552)<=536 ; ((a≎⩅a)⇊⋎⊡(a⇯⋻a)) , else }

def op_aiV2O28J80(a, b):
    if op_CMed2nD9yG(a,552) <= 536:
        return op_YFxL8Sc2Zy(op_WvLrLe1sfH(b,b))
    else:
        return op_svRCeDQHR0(op_ieqGirTMxl(a,a),op_ktfEB5Ypfm(a,a))

def op_count_aiV2O28J80(a, b):
    if op_CMed2nD9yG(a,552) <= 536:
        count = op_count_WvLrLe1sfH(b,b)+op_count_YFxL8Sc2Zy(op_WvLrLe1sfH(b,b))+op_count_CMed2nD9yG(a,552)
    else:
        count = op_count_ieqGirTMxl(a,a)+op_count_ktfEB5Ypfm(a,a)+op_count_svRCeDQHR0(op_ieqGirTMxl(a,a),op_ktfEB5Ypfm(a,a))
    return count


a∀⩍⫪b = { (((⪔≽458)⊻(a⇒77))⋓⋃((a⋬∙⫻b)⪝(b⩷∴a))) }

def op_cL3AwAelTI(a, b):
    return op_vQUWrCPLqI(op_exzyYvvvzF(op_7xY59dLUJT(458),op_NCFrRDpG8J(a,77)),op_wicAB68Tmb(op_a4wu6RrqAP(a,b),op_9FxExcQeMw(b,a)))

def op_count_cL3AwAelTI(a, b):
    count = op_count_7xY59dLUJT(458)+op_count_NCFrRDpG8J(a,77)+op_count_exzyYvvvzF(op_7xY59dLUJT(458),op_NCFrRDpG8J(a,77))+op_count_a4wu6RrqAP(a,b)+op_count_9FxExcQeMw(b,a)+op_count_wicAB68Tmb(op_a4wu6RrqAP(a,b),op_9FxExcQeMw(b,a))+op_count_vQUWrCPLqI(op_exzyYvvvzF(op_7xY59dLUJT(458),op_NCFrRDpG8J(a,77)),op_wicAB68Tmb(op_a4wu6RrqAP(a,b),op_9FxExcQeMw(b,a)))
    return count


≕⫓⫴a = { (⫵⪾⩭((a⫋⇻≳a)⊢⇽(a∿∖a))) , if a<63 ; (((368⊻↮∮a)≖−≲)⋹≫((⇠∝≜a)⫠⋒⊓(a⫟⪀a))) , else }

def op_YZvYafYi1t(a):
    if a < 63:
        return op_9NrKhToWQz(op_fGTNyEZ31R(op_4vOKojZu5Q(a,a),op_j9qIIAB78T(a,a)))
    else:
        return op_vrPnkOnn0X(op_IpgdDpBHsO(op_myvUJCpSMz(368,a)),op_upewVN6Fvf(op_g1LgX1JFXs(a),op_ZG1KnpkPxw(a,a)))

def op_count_YZvYafYi1t(a):
    if a < 63:
        count = op_count_4vOKojZu5Q(a,a)+op_count_j9qIIAB78T(a,a)+op_count_fGTNyEZ31R(op_4vOKojZu5Q(a,a),op_j9qIIAB78T(a,a))+op_count_9NrKhToWQz(op_fGTNyEZ31R(op_4vOKojZu5Q(a,a),op_j9qIIAB78T(a,a)))
    else:
        count = op_count_myvUJCpSMz(368,a)+op_count_IpgdDpBHsO(op_myvUJCpSMz(368,a))+op_count_g1LgX1JFXs(a)+op_count_ZG1KnpkPxw(a,a)+op_count_upewVN6Fvf(op_g1LgX1JFXs(a),op_ZG1KnpkPxw(a,a))+op_count_vrPnkOnn0X(op_IpgdDpBHsO(op_myvUJCpSMz(368,a)),op_upewVN6Fvf(op_g1LgX1JFXs(a),op_ZG1KnpkPxw(a,a)))
    return count


a⫄⋬⨭b = { (((255⩳a)⇋⩓(2⇿⊰a))⨏⋷⊗((⨌⋗⫇a)⪵⩧⪨(b⇼−⩝a))) }

def op_iTTRkVyUIC(a, b):
    return op_qFQkR9UZt5(op_nV0ABU7b9V(op_yC1eAvCdMl(255,a),op_ap3xiM279w(2,a)),op_0QEWQRhRpH(op_1zJnz8G5mp(a),op_EB85YeEtfS(b,a)))

def op_count_iTTRkVyUIC(a, b):
    count = op_count_yC1eAvCdMl(255,a)+op_count_ap3xiM279w(2,a)+op_count_nV0ABU7b9V(op_yC1eAvCdMl(255,a),op_ap3xiM279w(2,a))+op_count_1zJnz8G5mp(a)+op_count_EB85YeEtfS(b,a)+op_count_0QEWQRhRpH(op_1zJnz8G5mp(a),op_EB85YeEtfS(b,a))+op_count_qFQkR9UZt5(op_nV0ABU7b9V(op_yC1eAvCdMl(255,a),op_ap3xiM279w(2,a)),op_0QEWQRhRpH(op_1zJnz8G5mp(a),op_EB85YeEtfS(b,a)))
    return count


a⪠⨇b = { (((a∲⪻b)↽⋘⇦(3⊩b))∽⪡) , if (a⩅⩡)<443 ; (((b⪦a)≫≃⩳(⨇⋊⊆b))⪕⋍((b⨔≚≋145)∝⫕∽(⨤≛⊯a))) , else }

def op_EzFlXpFlmz(a, b):
    if op_0MNWfHKp6a(a) < 443:
        return op_GyZKrXyLmB(op_SEtte5H3sk(op_oS3yjF67M5(a,b),op_aCwnCp9fG4(3,b)))
    else:
        return op_NLWUahlHYy(op_HJDcuLMPgt(op_S2EdmdiVZh(b,a),op_eX0elmHHZW(b)),op_O6oPZIQyvW(op_Z57zeUYC9z(b,145),op_3YRBMmnbKr(a)))

def op_count_EzFlXpFlmz(a, b):
    if op_0MNWfHKp6a(a) < 443:
        count = op_count_oS3yjF67M5(a,b)+op_count_aCwnCp9fG4(3,b)+op_count_SEtte5H3sk(op_oS3yjF67M5(a,b),op_aCwnCp9fG4(3,b))+op_count_GyZKrXyLmB(op_SEtte5H3sk(op_oS3yjF67M5(a,b),op_aCwnCp9fG4(3,b)))+op_count_0MNWfHKp6a(a)
    else:
        count = op_count_S2EdmdiVZh(b,a)+op_count_eX0elmHHZW(b)+op_count_HJDcuLMPgt(op_S2EdmdiVZh(b,a),op_eX0elmHHZW(b))+op_count_Z57zeUYC9z(b,145)+op_count_3YRBMmnbKr(a)+op_count_O6oPZIQyvW(op_Z57zeUYC9z(b,145),op_3YRBMmnbKr(a))+op_count_NLWUahlHYy(op_HJDcuLMPgt(op_S2EdmdiVZh(b,a),op_eX0elmHHZW(b)),op_O6oPZIQyvW(op_Z57zeUYC9z(b,145),op_3YRBMmnbKr(a)))
    return count


a⋰⩵⇂b = { ((a⇢⨀a)∴⫴) , if (b↣)>29 ; ((a∠⊍⋙a)⇋⇻(8⊰⩉∩a)) , else }

def op_FmwwWKfnT1(a, b):
    if op_0D7yuLhasi(b) > 29:
        return op_Fe3OlIgKHc(op_fjtdNEKGtt(a,a))
    else:
        return op_lIWCnfEXsl(op_lAUTOmyRBs(a,a),op_qRfCwGgRXA(8,a))

def op_count_FmwwWKfnT1(a, b):
    if op_0D7yuLhasi(b) > 29:
        count = op_count_fjtdNEKGtt(a,a)+op_count_Fe3OlIgKHc(op_fjtdNEKGtt(a,a))+op_count_0D7yuLhasi(b)
    else:
        count = op_count_lAUTOmyRBs(a,a)+op_count_qRfCwGgRXA(8,a)+op_count_lIWCnfEXsl(op_lAUTOmyRBs(a,a),op_qRfCwGgRXA(8,a))
    return count

lIWCnfEXsl qRfCwGgRXA fjtdNEKGtt Fe3OlIgKHc lAUTOmyRBs 0D7yuLhasi


def op_RtvoJli5tl(a):
    if (op_UscWZcTkUL(a,724) >= 6 or op_nRXPgvBYVh(a) == 196):
        return op_8KJvvzKnGn(op_PIKqUwW8wB(a))
    else:
        return op_0kmYd0q39Y(op_nMAdxk2waN(a,47),op_Em9NHB5wTK(a,a))

def op_count_RtvoJli5tl(a):
    if (op_UscWZcTkUL(a,724) >= 6 or op_nRXPgvBYVh(a) == 196):
        count = op_count_PIKqUwW8wB(a)+op_count_8KJvvzKnGn(op_PIKqUwW8wB(a))+op_count_UscWZcTkUL(a,724)+op_count_nRXPgvBYVh(a)
    else:
        count = op_count_nMAdxk2waN(a,47)+op_count_Em9NHB5wTK(a,a)+op_count_0kmYd0q39Y(op_nMAdxk2waN(a,47),op_Em9NHB5wTK(a,a))
    return count


def op_6qR1IGAwob(a):
    if a >= 194:
        return op_Ldwfc8y82N(669,a)
    else:
        return op_inYIwJ0bD8(197)

def op_count_6qR1IGAwob(a):
    if a >= 194:
        count = op_count_Ldwfc8y82N(669,a)
    else:
        count = op_count_inYIwJ0bD8(197)
    return count


def op_1es7DgKSnn(a, b):
    if op_cnI436iWbz(b,877) <= 39:
        return op_yIzoUJazZW(b,a)
    else:
        return op_fICjaz8Yf3(b,143)

def op_count_1es7DgKSnn(a, b):
    if op_cnI436iWbz(b,877) <= 39:
        count = op_count_yIzoUJazZW(b,a)+op_count_cnI436iWbz(b,877)
    else:
        count = op_count_fICjaz8Yf3(b,143)
    return count


def op_JLPupQi8WI(a):
    if op_MscnI5MLJ2(a,99) != 91:
        return op_DEqk5vDXLq(op_RZ5CV9rWsJ(a,a))
    else:
        return op_hv7txCVeHj(op_pdnvgaFT42(a),op_tUf8PANZgi(67,144))

def op_count_JLPupQi8WI(a):
    if op_MscnI5MLJ2(a,99) != 91:
        count = op_count_RZ5CV9rWsJ(a,a)+op_count_DEqk5vDXLq(op_RZ5CV9rWsJ(a,a))+op_count_MscnI5MLJ2(a,99)
    else:
        count = op_count_pdnvgaFT42(a)+op_count_tUf8PANZgi(67,144)+op_count_hv7txCVeHj(op_pdnvgaFT42(a),op_tUf8PANZgi(67,144))
    return count


a⊡⊼b = { (((333-⫺b)∋≞(⫔≈b))≧⨸≅((b∙↹⋪a)⨫⇇↔(↛↥114))) }

def op_0Si2hqrjlk(a, b):
    return op_ovZcSHEfmM(op_F3ZYW0Xs6y(op_nBHZox12dy(333,b),op_eclEAv0D6v(b)),op_LXhwmt4mBO(op_DkVDVv6gLT(b,a),op_R7GmZ833Q5(114)))

def op_count_0Si2hqrjlk(a, b):
    count = op_count_nBHZox12dy(333,b)+op_count_eclEAv0D6v(b)+op_count_F3ZYW0Xs6y(op_nBHZox12dy(333,b),op_eclEAv0D6v(b))+op_count_DkVDVv6gLT(b,a)+op_count_R7GmZ833Q5(114)+op_count_LXhwmt4mBO(op_DkVDVv6gLT(b,a),op_R7GmZ833Q5(114))+op_count_ovZcSHEfmM(op_F3ZYW0Xs6y(op_nBHZox12dy(333,b),op_eclEAv0D6v(b)),op_LXhwmt4mBO(op_DkVDVv6gLT(b,a),op_R7GmZ833Q5(114)))
    return count


def op_MjmTaW8g1G(a, b):
    return op_BThhyOhh10(op_kbkesczE7y(op_E4l6HwMY31(b,a),op_xdPrHzyJaz(a)))

def op_count_MjmTaW8g1G(a, b):
    count = op_count_E4l6HwMY31(b,a)+op_count_xdPrHzyJaz(a)+op_count_kbkesczE7y(op_E4l6HwMY31(b,a),op_xdPrHzyJaz(a))+op_count_BThhyOhh10(op_kbkesczE7y(op_E4l6HwMY31(b,a),op_xdPrHzyJaz(a)))
    return count


a⋠≆≊ = { (((a⩨≂a)⇆⇯(a⋫⫫))⋌≃((a⫣20)≐≱(a⨒a))) }

def op_4gypyV2tMi(a):
    return op_ZuWTEsGw6f(op_BvUOHliOJ6(op_lhONkfYInr(a,a),op_6hz2NCYjHL(a)),op_EopCNPJDb6(op_LJUzuYQJSf(a,20),op_y75s1iXyHd(a,a)))

def op_count_4gypyV2tMi(a):
    count = op_count_lhONkfYInr(a,a)+op_count_6hz2NCYjHL(a)+op_count_BvUOHliOJ6(op_lhONkfYInr(a,a),op_6hz2NCYjHL(a))+op_count_LJUzuYQJSf(a,20)+op_count_y75s1iXyHd(a,a)+op_count_EopCNPJDb6(op_LJUzuYQJSf(a,20),op_y75s1iXyHd(a,a))+op_count_ZuWTEsGw6f(op_BvUOHliOJ6(op_lhONkfYInr(a,a),op_6hz2NCYjHL(a)),op_EopCNPJDb6(op_LJUzuYQJSf(a,20),op_y75s1iXyHd(a,a)))
    return count


⪌⨝⩨a = { (a⋔⋤) , if (∳*≳a)<261 ; (a≀⩗∶a) , else }

def op_jr4hVFv1u6(a):
    if op_G68iXt2SEN(a) < 261:
        return op_iYXK16QgvJ(a)
    else:
        return op_8INZBEW696(a,a)

def op_count_jr4hVFv1u6(a):
    if op_G68iXt2SEN(a) < 261:
        count = op_count_iYXK16QgvJ(a)+op_count_G68iXt2SEN(a)
    else:
        count = op_count_8INZBEW696(a,a)
    return count