def op_5DNZ0Rp91H(a):
    return op_D69ahk0G0B(op_fGTNyEZ31R(op_26qwp6pCTI(a,210),op_jWTQ2TZYIH(a,a)),op_cHh1gJQ2o6(op_WtSaZj39hj(a,539),op_bTLp93UMFE(59)))

def op_count_5DNZ0Rp91H(a):
    count = op_count_26qwp6pCTI(a,210)+op_count_jWTQ2TZYIH(a,a)+op_count_fGTNyEZ31R(op_26qwp6pCTI(a,210),op_jWTQ2TZYIH(a,a))+op_count_WtSaZj39hj(a,539)+op_count_bTLp93UMFE(59)+op_count_cHh1gJQ2o6(op_WtSaZj39hj(a,539),op_bTLp93UMFE(59))+op_count_D69ahk0G0B(op_fGTNyEZ31R(op_26qwp6pCTI(a,210),op_jWTQ2TZYIH(a,a)),op_cHh1gJQ2o6(op_WtSaZj39hj(a,539),op_bTLp93UMFE(59)))
    return count


a⨚∴b = { ((3⇠⇖⨝a)⨉⊹⋈(b⩨b)) , if (b⫃⨻⩹372)<249 or b!=21 ; ((∨∊⋏a)⨬(⨑⨙a)) , else }

def op_jiwY1kzaLi(a, b):
    if op_vlEuakAFQx(b,372) < 249 or b != 21:
        return op_jPYZHDFkUI(op_H2Ssz4jEjc(3,a),op_2DlMacCsIx(b,b))
    else:
        return op_NsGlVlbNoR(op_R5aXW34M0v(a),op_5hXH7YEb70(a))

def op_count_jiwY1kzaLi(a, b):
    if op_vlEuakAFQx(b,372) < 249 or b != 21:
        count = op_count_H2Ssz4jEjc(3,a)+op_count_2DlMacCsIx(b,b)+op_count_jPYZHDFkUI(op_H2Ssz4jEjc(3,a),op_2DlMacCsIx(b,b))+op_count_vlEuakAFQx(b,372)
    else:
        count = op_count_R5aXW34M0v(a)+op_count_5hXH7YEb70(a)+op_count_NsGlVlbNoR(op_R5aXW34M0v(a),op_5hXH7YEb70(a))
    return count


def op_svYG05ELwl(a, b):
    return op_F4yD0voBRQ(op_sX7icBeOwx(b),op_9WIAdFgsXU(b,a))

def op_count_svYG05ELwl(a, b):
    count = op_count_sX7icBeOwx(b)+op_count_9WIAdFgsXU(b,a)+op_count_F4yD0voBRQ(op_sX7icBeOwx(b),op_9WIAdFgsXU(b,a))
    return count


a⨣⪓⩣b = { ((803⪣⊴a)∰(935⩙∯⨿a)) , if (⋚⪦⪽a)<622 ; ((⩎⋉b)⋝⋈⪟(a⪙⊵⇷b)) , else }

def op_mVr5uKN5pR(a, b):
    if op_VjnqvBkomr(a) < 622:
        return op_PmR7WuS4AT(op_miu0bRYLYP(803,a),op_lPY5QE4vSP(935,a))
    else:
        return op_2DDjHMKMc0(op_FlXk3pOYe8(b),op_cZPC5xccNd(a,b))

def op_count_mVr5uKN5pR(a, b):
    if op_VjnqvBkomr(a) < 622:
        count = op_count_miu0bRYLYP(803,a)+op_count_lPY5QE4vSP(935,a)+op_count_PmR7WuS4AT(op_miu0bRYLYP(803,a),op_lPY5QE4vSP(935,a))+op_count_VjnqvBkomr(a)
    else:
        count = op_count_FlXk3pOYe8(b)+op_count_cZPC5xccNd(a,b)+op_count_2DDjHMKMc0(op_FlXk3pOYe8(b),op_cZPC5xccNd(a,b))
    return count


∉⪞↑a = { (((a⊿≫≷a)⪦⪊(⇗a))↠≿⨡((≅⋟⩖a)⩘⋿(125⨍417))) , if ((∍≝a)==357 and (a⩂⋒)>117) ; (((⫪⩩a)⇫(a≂∢a))↢≸(⊁⨺(a⪜a))) , else }

def op_201wZPoWQs(a):
    if (op_EGkyMtMXk9(a) == 357 and op_41vn2ZCtkK(a) > 117):
        return op_N4i4E2JzEW(op_DykcjiQqpf(op_16INH09eNu(a,a),op_mFCgDW3omv(a)),op_64EQ39e0fC(op_h1TzpREX0q(a),op_ceRqZ68cFu(125,417)))
    else:
        return op_sMWVT9hqlZ(op_MKCxaPE9tg(op_26t0tba44r(a),op_0UZhvIxcOb(a,a)),op_PxiHyQbrIp(op_EMR9JvRK8T(a,a)))

def op_count_201wZPoWQs(a):
    if (op_EGkyMtMXk9(a) == 357 and op_41vn2ZCtkK(a) > 117):
        count = op_count_16INH09eNu(a,a)+op_count_mFCgDW3omv(a)+op_count_DykcjiQqpf(op_16INH09eNu(a,a),op_mFCgDW3omv(a))+op_count_h1TzpREX0q(a)+op_count_ceRqZ68cFu(125,417)+op_count_64EQ39e0fC(op_h1TzpREX0q(a),op_ceRqZ68cFu(125,417))+op_count_N4i4E2JzEW(op_DykcjiQqpf(op_16INH09eNu(a,a),op_mFCgDW3omv(a)),op_64EQ39e0fC(op_h1TzpREX0q(a),op_ceRqZ68cFu(125,417)))+op_count_EGkyMtMXk9(a)+op_count_41vn2ZCtkK(a)
    else:
        count = op_count_26t0tba44r(a)+op_count_0UZhvIxcOb(a,a)+op_count_MKCxaPE9tg(op_26t0tba44r(a),op_0UZhvIxcOb(a,a))+op_count_EMR9JvRK8T(a,a)+op_count_PxiHyQbrIp(op_EMR9JvRK8T(a,a))+op_count_sMWVT9hqlZ(op_MKCxaPE9tg(op_26t0tba44r(a),op_0UZhvIxcOb(a,a)),op_PxiHyQbrIp(op_EMR9JvRK8T(a,a)))
    return count


a⪘⇷⨒b = { (452⇯⋻(⪎⫮b)) , if (⪸⪰a)>17 ; ((⋲⫆b)⇄(≧⊳b)) , else }

def op_6jL92VAzQT(a, b):
    if op_dtBtmTqwHZ(a) > 17:
        return op_ktfEB5Ypfm(452,op_iGBilXZWAT(b))
    else:
        return op_3EYGwJThht(op_udE70qCqth(b),op_GMrB5OisJT(b))

def op_count_6jL92VAzQT(a, b):
    if op_dtBtmTqwHZ(a) > 17:
        count = op_count_iGBilXZWAT(b)+op_count_ktfEB5Ypfm(452,op_iGBilXZWAT(b))+op_count_dtBtmTqwHZ(a)
    else:
        count = op_count_udE70qCqth(b)+op_count_GMrB5OisJT(b)+op_count_3EYGwJThht(op_udE70qCqth(b),op_GMrB5OisJT(b))
    return count


def op_lsjeA8d2WH(a):
    return op_cHh1gJQ2o6(247,a)

def op_count_lsjeA8d2WH(a):
    count = op_count_cHh1gJQ2o6(247,a)
    return count


def op_y8rNmhoTql(a):
    return op_s1XTVnmDOJ(275,op_UMMmb9LONo(a))

def op_count_y8rNmhoTql(a):
    count = op_count_UMMmb9LONo(a)+op_count_s1XTVnmDOJ(275,op_UMMmb9LONo(a))
    return count


a⊨⨀⋢ = { (a⊮⊟↴a) , if (⋊⪳⋄a)<100 ; (a⋪⫃) , else }

def op_XUp6kyaF9b(a):
    if op_6XS5R8JCT1(a) < 100:
        return op_QDVgd2eftb(a,a)
    else:
        return op_pWHz7MDI4y(a)

def op_count_XUp6kyaF9b(a):
    if op_6XS5R8JCT1(a) < 100:
        count = op_count_QDVgd2eftb(a,a)+op_count_6XS5R8JCT1(a)
    else:
        count = op_count_pWHz7MDI4y(a)
    return count


def op_PmZQOlcY5C(a, b):
    return op_q1J6mXxel7(op_P2ujY7PT9s(618),op_NfC9eRMqyZ(op_uFcxV4UQCh(a,b)))

def op_count_PmZQOlcY5C(a, b):
    count = op_count_P2ujY7PT9s(618)+op_count_uFcxV4UQCh(a,b)+op_count_NfC9eRMqyZ(op_uFcxV4UQCh(a,b))+op_count_q1J6mXxel7(op_P2ujY7PT9s(618),op_NfC9eRMqyZ(op_uFcxV4UQCh(a,b)))
    return count


a⋳⪎b = { (↥⫇((⫑≋b)⩥⇍)) , if (⋲⩝b)>=16 ; ((⫙a)⇳((b⪼↽b)⇌⋨≨)) , else }

def op_f0pYrt9hIs(a, b):
    if op_HtQuFPdTwO(b) >= 16:
        return op_9DifTUFlNJ(op_cwtOBccfmB(op_7vLe0YQdZ4(b)))
    else:
        return op_ekA2oeJZMY(op_X8DMfAISiV(a),op_bgrn5wBzt5(op_zcaA4Z4NaO(b,b)))

def op_count_f0pYrt9hIs(a, b):
    if op_HtQuFPdTwO(b) >= 16:
        count = op_count_7vLe0YQdZ4(b)+op_count_cwtOBccfmB(op_7vLe0YQdZ4(b))+op_count_9DifTUFlNJ(op_cwtOBccfmB(op_7vLe0YQdZ4(b)))+op_count_HtQuFPdTwO(b)
    else:
        count = op_count_X8DMfAISiV(a)+op_count_zcaA4Z4NaO(b,b)+op_count_bgrn5wBzt5(op_zcaA4Z4NaO(b,b))+op_count_ekA2oeJZMY(op_X8DMfAISiV(a),op_bgrn5wBzt5(op_zcaA4Z4NaO(b,b)))
    return count


def op_B0sgr6oGr0(a):
    if op_W7L2oCKInH(a,957) > 397:
        return op_5c10mcanly(35)
    else:
        return op_YbUVn0Rbpy(0,a)

def op_count_B0sgr6oGr0(a):
    if op_W7L2oCKInH(a,957) > 397:
        count = op_count_5c10mcanly(35)+op_count_W7L2oCKInH(a,957)
    else:
        count = op_count_YbUVn0Rbpy(0,a)
    return count


⪇≝⇎a = { (((a⪥⋳a)⇼−⩝(a∫⨆⊨a))∊⊳∝(a⇉(a⪿a))) , if a==451 ; (((a⊅)⨺⩶(a⩝⇦⋔160))⊋⨆⪺) , else }

def op_sHikgItnFT(a):
    if a == 451:
        return op_6h8r4YZk7l(op_EB85YeEtfS(op_lrx2PmmfOO(a,a),op_IDcHNuZ7N0(a,a)),op_lJ0NnniDH7(a,op_lLg6KFppdz(a,a)))
    else:
        return op_n9aplPH8B5(op_qCCe0Qx1RA(op_7p6YLioM7f(a),op_K5rbr6oWuE(a,160)))

def op_count_sHikgItnFT(a):
    if a == 451:
        count = op_count_lrx2PmmfOO(a,a)+op_count_IDcHNuZ7N0(a,a)+op_count_EB85YeEtfS(op_lrx2PmmfOO(a,a),op_IDcHNuZ7N0(a,a))+op_count_lLg6KFppdz(a,a)+op_count_lJ0NnniDH7(a,op_lLg6KFppdz(a,a))+op_count_6h8r4YZk7l(op_EB85YeEtfS(op_lrx2PmmfOO(a,a),op_IDcHNuZ7N0(a,a)),op_lJ0NnniDH7(a,op_lLg6KFppdz(a,a)))
    else:
        count = op_count_7p6YLioM7f(a)+op_count_K5rbr6oWuE(a,160)+op_count_qCCe0Qx1RA(op_7p6YLioM7f(a),op_K5rbr6oWuE(a,160))+op_count_n9aplPH8B5(op_qCCe0Qx1RA(op_7p6YLioM7f(a),op_K5rbr6oWuE(a,160)))
    return count


def op_fn7tgSaaxd(a):
    return op_PgomNjGXmI(a,op_PgomNjGXmI(a,op_wscyQdcy20(a,a)))

def op_count_fn7tgSaaxd(a):
    count = op_count_wscyQdcy20(a,a)+op_count_PgomNjGXmI(a,op_wscyQdcy20(a,a))+op_count_PgomNjGXmI(a,op_PgomNjGXmI(a,op_wscyQdcy20(a,a)))
    return count


a⪜⫑⩈b = { (⨞⫢b) , if b<=305 ; (∱≗a) , else }

def op_EI4SdbRorI(a, b):
    if b <= 305:
        return op_HQuZ2f4It9(b)
    else:
        return op_TLSiz8NPqi(a)

def op_count_EI4SdbRorI(a, b):
    if b <= 305:
        count = op_count_HQuZ2f4It9(b)
    else:
        count = op_count_TLSiz8NPqi(a)
    return count


def op_ZbLp05ek65(a):
    return op_4X4GscPmMf(op_V4yb4KDoeF(a,a))

def op_count_ZbLp05ek65(a):
    count = op_count_V4yb4KDoeF(a,a)+op_count_4X4GscPmMf(op_V4yb4KDoeF(a,a))
    return count


def op_fXobuQtsqT(a):
    return op_k4iM1060OG(op_w4eTsxfO5i(op_S5nS5IR4MP(a,a),op_1TuAU3ehYs(a,a)))

def op_count_fXobuQtsqT(a):
    count = op_count_S5nS5IR4MP(a,a)+op_count_1TuAU3ehYs(a,a)+op_count_w4eTsxfO5i(op_S5nS5IR4MP(a,a),op_1TuAU3ehYs(a,a))+op_count_k4iM1060OG(op_w4eTsxfO5i(op_S5nS5IR4MP(a,a),op_1TuAU3ehYs(a,a)))
    return count


def op_ho0i9fpiY0(a):
    return op_V35NDd4Suc(op_sQ9a9XOMpm(op_IWmyXbctLI(a,222),op_LCjPM0UdxD(a,a)))

def op_count_ho0i9fpiY0(a):
    count = op_count_IWmyXbctLI(a,222)+op_count_LCjPM0UdxD(a,a)+op_count_sQ9a9XOMpm(op_IWmyXbctLI(a,222),op_LCjPM0UdxD(a,a))+op_count_V35NDd4Suc(op_sQ9a9XOMpm(op_IWmyXbctLI(a,222),op_LCjPM0UdxD(a,a)))
    return count


def op_PWo6JWl7b4(a):
    return op_QbnwKVWMIQ(op_pf0uqpgSkL(a),op_YbUVn0Rbpy(a,26))

def op_count_PWo6JWl7b4(a):
    count = op_count_pf0uqpgSkL(a)+op_count_YbUVn0Rbpy(a,26)+op_count_QbnwKVWMIQ(op_pf0uqpgSkL(a),op_YbUVn0Rbpy(a,26))
    return count


def op_AigKnsj5hm(a):
    return op_ELhSUwggrT(op_m5a1S9LJYP(op_h92wMvzauj(102,13),op_EMR9JvRK8T(a,823)))

def op_count_AigKnsj5hm(a):
    count = op_count_h92wMvzauj(102,13)+op_count_EMR9JvRK8T(a,823)+op_count_m5a1S9LJYP(op_h92wMvzauj(102,13),op_EMR9JvRK8T(a,823))+op_count_ELhSUwggrT(op_m5a1S9LJYP(op_h92wMvzauj(102,13),op_EMR9JvRK8T(a,823)))
    return count


def op_Sv748hesrs(a):
    if op_fctvr1MjnF(a) < 429:
        return op_vfo9xvTTbt(op_Xl9shMzOPN(a,136),op_9TWTp1rdMN(a,a))
    else:
        return op_exBNT1EbB9(op_YEzomLoFTT(a,18),op_NsRBSK00Sa(a))

def op_count_Sv748hesrs(a):
    if op_fctvr1MjnF(a) < 429:
        count = op_count_Xl9shMzOPN(a,136)+op_count_9TWTp1rdMN(a,a)+op_count_vfo9xvTTbt(op_Xl9shMzOPN(a,136),op_9TWTp1rdMN(a,a))+op_count_fctvr1MjnF(a)
    else:
        count = op_count_YEzomLoFTT(a,18)+op_count_NsRBSK00Sa(a)+op_count_exBNT1EbB9(op_YEzomLoFTT(a,18),op_NsRBSK00Sa(a))
    return count


def op_mwZBVSZXlV(a):
    if op_kbXfJ1zvnP(a) <= 403:
        return op_AqWwJ29PGN(a,117)
    else:
        return op_jfAgQ2OQeM(19)

def op_count_mwZBVSZXlV(a):
    if op_kbXfJ1zvnP(a) <= 403:
        count = op_count_AqWwJ29PGN(a,117)+op_count_kbXfJ1zvnP(a)
    else:
        count = op_count_jfAgQ2OQeM(19)
    return count


def op_tpeGHsnl38(a):
    return op_yBHxIlLhSA(op_ncHwPWmt3u(op_XTarYq4gQB(a)),a)

def op_count_tpeGHsnl38(a):
    count = op_count_XTarYq4gQB(a)+op_count_ncHwPWmt3u(op_XTarYq4gQB(a))+op_count_yBHxIlLhSA(op_ncHwPWmt3u(op_XTarYq4gQB(a)),a)
    return count


def op_7YlQrX5pHB(a):
    return op_bJkvcejdHO(246,a)

def op_count_7YlQrX5pHB(a):
    count = op_count_bJkvcejdHO(246,a)
    return count


def op_FG9x3xuoNG(a):
    return op_6ayBXmFTY1(op_7ownb8jkdv(a),op_mcQVDGUp7Y(a))

def op_count_FG9x3xuoNG(a):
    count = op_count_7ownb8jkdv(a)+op_count_mcQVDGUp7Y(a)+op_count_6ayBXmFTY1(op_7ownb8jkdv(a),op_mcQVDGUp7Y(a))
    return count


a∃⋒ = { ((↩(a≽⪆a))⩤∾((a⫠⋒⊓a)−⩫⨜(a⇽⨅a))) , if (a⫡948)<114 and (a≍↿≦547)==128 ; (((a⇉⩢⩯)≵⩾⇗(a↮↗a))∃((a⩍↲219)∬⊓(⇂a))) , else }

def op_9F0oAuYyts(a):
    if op_r42jg1nETI(a,948) < 114 and op_TSUy8hrQkO(a,547) == 128:
        return op_S1JWpU3LTa(op_jLgFTUHLKL(op_0YS1lrvTlG(a,a)),op_ULuo49FML3(op_upewVN6Fvf(a,a),op_PyySExtkRS(a,a)))
    else:
        return op_3H5Xx7QWkg(op_GyJNigkHRe(op_ukGrET2Cg0(a),op_JI6Y01kM0I(a,a)),op_y0qJaDkwff(op_kzp3oYQzRT(a,219),op_0VM5IIwWHX(a)))

def op_count_9F0oAuYyts(a):
    if op_r42jg1nETI(a,948) < 114 and op_TSUy8hrQkO(a,547) == 128:
        count = op_count_0YS1lrvTlG(a,a)+op_count_jLgFTUHLKL(op_0YS1lrvTlG(a,a))+op_count_upewVN6Fvf(a,a)+op_count_PyySExtkRS(a,a)+op_count_ULuo49FML3(op_upewVN6Fvf(a,a),op_PyySExtkRS(a,a))+op_count_S1JWpU3LTa(op_jLgFTUHLKL(op_0YS1lrvTlG(a,a)),op_ULuo49FML3(op_upewVN6Fvf(a,a),op_PyySExtkRS(a,a)))+op_count_r42jg1nETI(a,948)+op_count_TSUy8hrQkO(a,547)
    else:
        count = op_count_ukGrET2Cg0(a)+op_count_JI6Y01kM0I(a,a)+op_count_GyJNigkHRe(op_ukGrET2Cg0(a),op_JI6Y01kM0I(a,a))+op_count_kzp3oYQzRT(a,219)+op_count_0VM5IIwWHX(a)+op_count_y0qJaDkwff(op_kzp3oYQzRT(a,219),op_0VM5IIwWHX(a))+op_count_3H5Xx7QWkg(op_GyJNigkHRe(op_ukGrET2Cg0(a),op_JI6Y01kM0I(a,a)),op_y0qJaDkwff(op_kzp3oYQzRT(a,219),op_0VM5IIwWHX(a)))
    return count


a↘⇮ = { (a∌⫆a) , if a!=379 ; (↩a) , else }

def op_yoEdANZ3uM(a):
    if a != 379:
        return op_jdrn0ppNe9(a,a)
    else:
        return op_jLgFTUHLKL(a)

def op_count_yoEdANZ3uM(a):
    if a != 379:
        count = op_count_jdrn0ppNe9(a,a)
    else:
        count = op_count_jLgFTUHLKL(a)
    return count


def op_AEkhJq6l7f(a):
    if op_tDdVcTxk2D(a) <= 134:
        return op_0Vcvu1QG1k(op_qeG8mGoQOE(op_aF6wdyjNOF(187,a),op_PQ5jInepzR(a,a)),op_HyMMGPmzsk(a,op_8ZudynJV7e(200)))
    else:
        return op_uU3XJfDBdq(op_Q9gYCtkcsQ(op_rBWSZ6pYZD(a,a),op_jKh9xaBIQ5(a,a)),op_JzgZF0Pirc(op_TyhCdZMmeC(a,264)))

def op_count_AEkhJq6l7f(a):
    if op_tDdVcTxk2D(a) <= 134:
        count = op_count_aF6wdyjNOF(187,a)+op_count_PQ5jInepzR(a,a)+op_count_qeG8mGoQOE(op_aF6wdyjNOF(187,a),op_PQ5jInepzR(a,a))+op_count_8ZudynJV7e(200)+op_count_HyMMGPmzsk(a,op_8ZudynJV7e(200))+op_count_0Vcvu1QG1k(op_qeG8mGoQOE(op_aF6wdyjNOF(187,a),op_PQ5jInepzR(a,a)),op_HyMMGPmzsk(a,op_8ZudynJV7e(200)))+op_count_tDdVcTxk2D(a)
    else:
        count = op_count_rBWSZ6pYZD(a,a)+op_count_jKh9xaBIQ5(a,a)+op_count_Q9gYCtkcsQ(op_rBWSZ6pYZD(a,a),op_jKh9xaBIQ5(a,a))+op_count_TyhCdZMmeC(a,264)+op_count_JzgZF0Pirc(op_TyhCdZMmeC(a,264))+op_count_uU3XJfDBdq(op_Q9gYCtkcsQ(op_rBWSZ6pYZD(a,a),op_jKh9xaBIQ5(a,a)),op_JzgZF0Pirc(op_TyhCdZMmeC(a,264)))
    return count


def op_mcTWVDeujr(a):
    return op_vPmKJA6wUP(op_IWmyXbctLI(a,176),op_KlZ9JYY8wh(a))

def op_count_mcTWVDeujr(a):
    count = op_count_IWmyXbctLI(a,176)+op_count_KlZ9JYY8wh(a)+op_count_vPmKJA6wUP(op_IWmyXbctLI(a,176),op_KlZ9JYY8wh(a))
    return count


def op_VmltFm4kU9(a):
    return op_QlDtpsi6BD(op_DykcjiQqpf(a,a),op_hiBDRd40bf(818,a))

def op_count_VmltFm4kU9(a):
    count = op_count_DykcjiQqpf(a,a)+op_count_hiBDRd40bf(818,a)+op_count_QlDtpsi6BD(op_DykcjiQqpf(a,a),op_hiBDRd40bf(818,a))
    return count


a∦↵⊵b = { (b⇉b) , if (a⇏⫪)<=103 ; (b⪂) , else }

def op_JybgvyMknk(a, b):
    if op_zO3jaJNyRO(a) <= 103:
        return op_lJ0NnniDH7(b,b)
    else:
        return op_uqvL9iKn97(b)

def op_count_JybgvyMknk(a, b):
    if op_zO3jaJNyRO(a) <= 103:
        count = op_count_lJ0NnniDH7(b,b)+op_count_zO3jaJNyRO(a)
    else:
        count = op_count_uqvL9iKn97(b)
    return count


def op_hsPnYhM47l(a):
    return op_6h8r4YZk7l(op_L95AwlJzhO(a),op_cuBJ82CzGp(a,a))

def op_count_hsPnYhM47l(a):
    count = op_count_L95AwlJzhO(a)+op_count_cuBJ82CzGp(a,a)+op_count_6h8r4YZk7l(op_L95AwlJzhO(a),op_cuBJ82CzGp(a,a))
    return count


def op_TJqobuivFY(a):
    return op_pWXflaUkg0(op_tGSeddj7UK(a),op_xphRAOCHRw(22))

def op_count_TJqobuivFY(a):
    count = op_count_tGSeddj7UK(a)+op_count_xphRAOCHRw(22)+op_count_pWXflaUkg0(op_tGSeddj7UK(a),op_xphRAOCHRw(22))
    return count


a⇲⫫ = { (⊦(⇠∝≜(⫒a))) , if (a⇙⨵)<69 ; (((143⊬⩎a)⩐(a⊔≰))⨀⨰⊫(a⇫⫇)) , else }

def op_Adb2A0wgMV(a):
    if op_cbP1oMpIU3(a) < 69:
        return op_XLFSxamNWY(op_g1LgX1JFXs(op_leNEk7drxJ(a)))
    else:
        return op_Gl4WN4Uwdx(op_bMfZrpXtSe(op_UgHg3ocI1C(143,a),op_NZxXvgSuBG(a)),op_DN39D8SUEw(a))

def op_count_Adb2A0wgMV(a):
    if op_cbP1oMpIU3(a) < 69:
        count = op_count_leNEk7drxJ(a)+op_count_g1LgX1JFXs(op_leNEk7drxJ(a))+op_count_XLFSxamNWY(op_g1LgX1JFXs(op_leNEk7drxJ(a)))+op_count_cbP1oMpIU3(a)
    else:
        count = op_count_UgHg3ocI1C(143,a)+op_count_NZxXvgSuBG(a)+op_count_bMfZrpXtSe(op_UgHg3ocI1C(143,a),op_NZxXvgSuBG(a))+op_count_DN39D8SUEw(a)+op_count_Gl4WN4Uwdx(op_bMfZrpXtSe(op_UgHg3ocI1C(143,a),op_NZxXvgSuBG(a)),op_DN39D8SUEw(a))
    return count


def op_L0qFQ15L8m(a):
    return op_7JbuLsbBtx(op_XGcMNugi78(a,a),op_tNf708WLYo(a,a))

def op_count_L0qFQ15L8m(a):
    count = op_count_XGcMNugi78(a,a)+op_count_tNf708WLYo(a,a)+op_count_7JbuLsbBtx(op_XGcMNugi78(a,a),op_tNf708WLYo(a,a))
    return count


def op_T9ryv5IELa(a):
    return op_PoHhknlbAi(op_ULuo49FML3(a,a),op_gBZ5YI4mOE(35,a))

def op_count_T9ryv5IELa(a):
    count = op_count_ULuo49FML3(a,a)+op_count_gBZ5YI4mOE(35,a)+op_count_PoHhknlbAi(op_ULuo49FML3(a,a),op_gBZ5YI4mOE(35,a))
    return count


def op_f23dvC8TXu(a):
    return op_nEsXyWgiOK(op_SMtK2Ho1FK(a),a)

def op_count_f23dvC8TXu(a):
    count = op_count_SMtK2Ho1FK(a)+op_count_nEsXyWgiOK(op_SMtK2Ho1FK(a),a)
    return count


a≄⨍≧b = { ((⊱∞(⋼⋜≘132))≋≥a) , if (⪊⫲b)==323 ; (((b⊁)⇌(a⇊≒b))⫌⋠⫢((b⊝⩱272)⇽⨅(a⫽a))) , else }

def op_FCmZrLQ9ou(a, b):
    if op_HsTbSIxlT7(b) == 323:
        return op_p8rocv1ccI(op_4r9bMLtmr2(op_NjGMwpyDaG(132)),a)
    else:
        return op_mf9eRyN6Nh(op_ifvJ10rhcp(op_IU5bnLfiEv(b),op_eZ4iHVWETC(a,b)),op_PyySExtkRS(op_0jCm5pNiJO(b,272),op_uU3XJfDBdq(a,a)))

def op_count_FCmZrLQ9ou(a, b):
    if op_HsTbSIxlT7(b) == 323:
        count = op_count_NjGMwpyDaG(132)+op_count_4r9bMLtmr2(op_NjGMwpyDaG(132))+op_count_p8rocv1ccI(op_4r9bMLtmr2(op_NjGMwpyDaG(132)),a)+op_count_HsTbSIxlT7(b)
    else:
        count = op_count_IU5bnLfiEv(b)+op_count_eZ4iHVWETC(a,b)+op_count_ifvJ10rhcp(op_IU5bnLfiEv(b),op_eZ4iHVWETC(a,b))+op_count_0jCm5pNiJO(b,272)+op_count_uU3XJfDBdq(a,a)+op_count_PyySExtkRS(op_0jCm5pNiJO(b,272),op_uU3XJfDBdq(a,a))+op_count_mf9eRyN6Nh(op_ifvJ10rhcp(op_IU5bnLfiEv(b),op_eZ4iHVWETC(a,b)),op_PyySExtkRS(op_0jCm5pNiJO(b,272),op_uU3XJfDBdq(a,a)))
    return count


def op_rDggvnkF54(a, b):
    return op_hiBDRd40bf(op_KCGfcBnbwZ(op_H6BK1Evt7c(a),44),op_7TGVge7HG5(396,b))

def op_count_rDggvnkF54(a, b):
    count = op_count_H6BK1Evt7c(a)+op_count_KCGfcBnbwZ(op_H6BK1Evt7c(a),44)+op_count_7TGVge7HG5(396,b)+op_count_hiBDRd40bf(op_KCGfcBnbwZ(op_H6BK1Evt7c(a),44),op_7TGVge7HG5(396,b))
    return count


def op_JF5TV4k63Z(a):
    if op_xaRIqAkB3v(a,553) == 473 and op_EWoN9ihKS0(a) > 20:
        return op_GpLCU43mni(op_Bg9zIMXgOw(op_LFtbApO071(a,239),op_RpH87Eb5yS(a)),op_RabNbG55vr(op_bEPZFWGxOB(a,a),op_2SUl30BnjX(289,360)))
    else:
        return op_78QBpbqeKK(op_rhd368kmur(op_A1OgdcMHe9(532,a)),op_aGhYYhn7J7(op_PoHhknlbAi(a,a),op_IxJHfR5psi(a,a)))

def op_count_JF5TV4k63Z(a):
    if op_xaRIqAkB3v(a,553) == 473 and op_EWoN9ihKS0(a) > 20:
        count = op_count_LFtbApO071(a,239)+op_count_RpH87Eb5yS(a)+op_count_Bg9zIMXgOw(op_LFtbApO071(a,239),op_RpH87Eb5yS(a))+op_count_bEPZFWGxOB(a,a)+op_count_2SUl30BnjX(289,360)+op_count_RabNbG55vr(op_bEPZFWGxOB(a,a),op_2SUl30BnjX(289,360))+op_count_GpLCU43mni(op_Bg9zIMXgOw(op_LFtbApO071(a,239),op_RpH87Eb5yS(a)),op_RabNbG55vr(op_bEPZFWGxOB(a,a),op_2SUl30BnjX(289,360)))+op_count_xaRIqAkB3v(a,553)+op_count_EWoN9ihKS0(a)
    else:
        count = op_count_A1OgdcMHe9(532,a)+op_count_rhd368kmur(op_A1OgdcMHe9(532,a))+op_count_PoHhknlbAi(a,a)+op_count_IxJHfR5psi(a,a)+op_count_aGhYYhn7J7(op_PoHhknlbAi(a,a),op_IxJHfR5psi(a,a))+op_count_78QBpbqeKK(op_rhd368kmur(op_A1OgdcMHe9(532,a)),op_aGhYYhn7J7(op_PoHhknlbAi(a,a),op_IxJHfR5psi(a,a)))
    return count


a⪪⊛b = { (a⋾⨃∁b) , if (√∣⋌a)==8 and (⫏b)>203 ; (⨚⪲≒a) , else }

def op_zwyeAPEIkd(a, b):
    if op_XMCkeYNRmt(a) == 8 and op_kvIXUmKfYG(b) > 203:
        return op_212REbPD9h(a,b)
    else:
        return op_x442d74neU(a)

def op_count_zwyeAPEIkd(a, b):
    if op_XMCkeYNRmt(a) == 8 and op_kvIXUmKfYG(b) > 203:
        count = op_count_212REbPD9h(a,b)+op_count_XMCkeYNRmt(a)+op_count_kvIXUmKfYG(b)
    else:
        count = op_count_x442d74neU(a)
    return count


def op_xPGfLrZEkN(a):
    return op_3EhVUz7Ug9(op_rJlMWXggw2(a,a))

def op_count_xPGfLrZEkN(a):
    count = op_count_rJlMWXggw2(a,a)+op_count_3EhVUz7Ug9(op_rJlMWXggw2(a,a))
    return count


a⊂⇚⋠b = { (⫈↾⇕((a⫡a)⇧⫩(a↧⪱b))) , if (⪃↑b)<726 ; (((a⫸⊐a)⪧⨹)⩢⇢((b⇛∐⨃)⋋≌)) , else }

def op_aYHIbi88av(a, b):
    if op_98E60VfkJa(b) < 726:
        return op_7112RHhyte(op_IEFjhcG7wC(op_r42jg1nETI(a,a),op_NzkNgIFiP9(a,b)))
    else:
        return op_C4PqR2W9Pw(op_62W5FwqBqz(op_mqXw5SEYmG(a,a)),op_8ODPDE8kA8(op_Efya3fWOHL(b)))

def op_count_aYHIbi88av(a, b):
    if op_98E60VfkJa(b) < 726:
        count = op_count_r42jg1nETI(a,a)+op_count_NzkNgIFiP9(a,b)+op_count_IEFjhcG7wC(op_r42jg1nETI(a,a),op_NzkNgIFiP9(a,b))+op_count_7112RHhyte(op_IEFjhcG7wC(op_r42jg1nETI(a,a),op_NzkNgIFiP9(a,b)))+op_count_98E60VfkJa(b)
    else:
        count = op_count_mqXw5SEYmG(a,a)+op_count_62W5FwqBqz(op_mqXw5SEYmG(a,a))+op_count_Efya3fWOHL(b)+op_count_8ODPDE8kA8(op_Efya3fWOHL(b))+op_count_C4PqR2W9Pw(op_62W5FwqBqz(op_mqXw5SEYmG(a,a)),op_8ODPDE8kA8(op_Efya3fWOHL(b)))
    return count


a⫵⪣b = { (b≎) , if a>=193 ; (a⊝⪿⪼a) , else }

def op_I6rCAT91Kg(a, b):
    if a >= 193:
        return op_ziBb4sC0ZT(b)
    else:
        return op_3Oe9XWJUTD(a,a)

def op_count_I6rCAT91Kg(a, b):
    if a >= 193:
        count = op_count_ziBb4sC0ZT(b)
    else:
        count = op_count_3Oe9XWJUTD(a,a)
    return count


a∸⋈b = { (((200⨤b)⩤⪫(b⩖⊿a))⪼%⪐((⇏⫅b)≃b)) }

def op_EDU8iMklop(a, b):
    return op_TbUuY2B3fX(op_XAY3Gwlcor(op_6Dk38mmJ69(200,b),op_RZ5CV9rWsJ(b,a)),op_YbVcJGFEVW(op_p1y54au9R0(b),b))

def op_count_EDU8iMklop(a, b):
    count = op_count_6Dk38mmJ69(200,b)+op_count_RZ5CV9rWsJ(b,a)+op_count_XAY3Gwlcor(op_6Dk38mmJ69(200,b),op_RZ5CV9rWsJ(b,a))+op_count_p1y54au9R0(b)+op_count_YbVcJGFEVW(op_p1y54au9R0(b),b)+op_count_TbUuY2B3fX(op_XAY3Gwlcor(op_6Dk38mmJ69(200,b),op_RZ5CV9rWsJ(b,a)),op_YbVcJGFEVW(op_p1y54au9R0(b),b))
    return count


def op_cNzoKtkNoM(a):
    if (op_h1pqhWq6T8(a) == 566 or op_iVaOqSXtyo(a) <= 308):
        return op_oJeI64L7yZ(op_lJ0NnniDH7(a,a),200)
    else:
        return op_F5sOeBPF7d(op_rRzE4LHIBf(0,a),op_p1y54au9R0(a))

def op_count_cNzoKtkNoM(a):
    if (op_h1pqhWq6T8(a) == 566 or op_iVaOqSXtyo(a) <= 308):
        count = op_count_lJ0NnniDH7(a,a)+op_count_oJeI64L7yZ(op_lJ0NnniDH7(a,a),200)+op_count_h1pqhWq6T8(a)+op_count_iVaOqSXtyo(a)
    else:
        count = op_count_rRzE4LHIBf(0,a)+op_count_p1y54au9R0(a)+op_count_F5sOeBPF7d(op_rRzE4LHIBf(0,a),op_p1y54au9R0(a))
    return count


a⩉⊡⋼b = { ((391∝≶b)⨳⩥⨓(≺⨵a)) , if (b⫹⋆175)<229 ; ((71⪑b)∎∾⫀(b⋝⋈⪟a)) , else }

def op_5EKtqEE5Ob(a, b):
    if op_mvkfbmF2ZK(b,175) < 229:
        return op_nCS4ZIUYfx(op_e0UC6DYTvX(391,b),op_OfugFTrv6S(a))
    else:
        return op_5BPGwbLSwr(op_8CI59HBmeC(71,b),op_2DDjHMKMc0(b,a))

def op_count_5EKtqEE5Ob(a, b):
    if op_mvkfbmF2ZK(b,175) < 229:
        count = op_count_e0UC6DYTvX(391,b)+op_count_OfugFTrv6S(a)+op_count_nCS4ZIUYfx(op_e0UC6DYTvX(391,b),op_OfugFTrv6S(a))+op_count_mvkfbmF2ZK(b,175)
    else:
        count = op_count_8CI59HBmeC(71,b)+op_count_2DDjHMKMc0(b,a)+op_count_5BPGwbLSwr(op_8CI59HBmeC(71,b),op_2DDjHMKMc0(b,a))
    return count


a↽≢⨸b = { (b⩱⇜⪦78) , if b!=9 or a!=664 ; (b⊻↞≧a) , else }

def op_fxSIzzJdMr(a, b):
    if b != 9 or a != 664:
        return op_TPY4Vhd24N(b,78)
    else:
        return op_NZ4M85zvpZ(b,a)

def op_count_fxSIzzJdMr(a, b):
    if b != 9 or a != 664:
        count = op_count_TPY4Vhd24N(b,78)
    else:
        count = op_count_NZ4M85zvpZ(b,a)
    return count


a⩆⇬ = { (((373⊵⩛∤a)⋥∋(a−⩎√174))⇓⋧⋔((a⋡⊕a)⫭⨏(a↩∅258))) , if (a⋬)>85 and a>=192 ; (∶∢∐((⨚∍⪓80)⫍⇺(a⪟⫼a))) , else }

def op_62vlrWdSwK(a):
    if op_Dxm0Pjg1g3(a) > 85 and a >= 192:
        return op_ONJRQY6OPs(op_0dkrCdGzGT(op_36V2MidH9c(373,a),op_tW6TlDUxtJ(a,174)),op_4j7MdOEvYM(op_Q1zyOcezdx(a,a),op_wZLuOmreA3(a,258)))
    else:
        return op_owrP24woSl(op_ITUoubXGQQ(op_A70lgPgx8E(80),op_Lif1LrMNxJ(a,a)))

def op_count_62vlrWdSwK(a):
    if op_Dxm0Pjg1g3(a) > 85 and a >= 192:
        count = op_count_36V2MidH9c(373,a)+op_count_tW6TlDUxtJ(a,174)+op_count_0dkrCdGzGT(op_36V2MidH9c(373,a),op_tW6TlDUxtJ(a,174))+op_count_Q1zyOcezdx(a,a)+op_count_wZLuOmreA3(a,258)+op_count_4j7MdOEvYM(op_Q1zyOcezdx(a,a),op_wZLuOmreA3(a,258))+op_count_ONJRQY6OPs(op_0dkrCdGzGT(op_36V2MidH9c(373,a),op_tW6TlDUxtJ(a,174)),op_4j7MdOEvYM(op_Q1zyOcezdx(a,a),op_wZLuOmreA3(a,258)))+op_count_Dxm0Pjg1g3(a)
    else:
        count = op_count_A70lgPgx8E(80)+op_count_Lif1LrMNxJ(a,a)+op_count_ITUoubXGQQ(op_A70lgPgx8E(80),op_Lif1LrMNxJ(a,a))+op_count_owrP24woSl(op_ITUoubXGQQ(op_A70lgPgx8E(80),op_Lif1LrMNxJ(a,a)))
    return count


def op_p0E16jAmCc(a):
    return op_TQtCT2lTQ7(op_8VBTcuE82Z(op_RXUpafmlG7(a,a)),op_ifvJ10rhcp(op_UO1RhPgbnL(a),op_8u3ZXjUZq9(a,a)))

def op_count_p0E16jAmCc(a):
    count = op_count_RXUpafmlG7(a,a)+op_count_8VBTcuE82Z(op_RXUpafmlG7(a,a))+op_count_UO1RhPgbnL(a)+op_count_8u3ZXjUZq9(a,a)+op_count_ifvJ10rhcp(op_UO1RhPgbnL(a),op_8u3ZXjUZq9(a,a))+op_count_TQtCT2lTQ7(op_8VBTcuE82Z(op_RXUpafmlG7(a,a)),op_ifvJ10rhcp(op_UO1RhPgbnL(a),op_8u3ZXjUZq9(a,a)))
    return count


def op_DpoosDZB0h(a, b):
    return op_3ayH0UyYyX(op_qL4PrbW1Dq(a),op_1guADMLg5x(a,b))

def op_count_DpoosDZB0h(a, b):
    count = op_count_qL4PrbW1Dq(a)+op_count_1guADMLg5x(a,b)+op_count_3ayH0UyYyX(op_qL4PrbW1Dq(a),op_1guADMLg5x(a,b))
    return count


⨮⩁a = { (((a⇂≾⫗a)⫲≮(a⫫⋫a))≫≃⩳((386∁⋇a)≖)) }

def op_S8mF3k2q9k(a):
    return op_HJDcuLMPgt(op_3FKzo546dw(op_aBQ6xLxuTc(a,a),op_xtCeza3rDf(a,a)),op_dAvLJZHBt7(op_ET0KLvfdmE(386,a)))

def op_count_S8mF3k2q9k(a):
    count = op_count_aBQ6xLxuTc(a,a)+op_count_xtCeza3rDf(a,a)+op_count_3FKzo546dw(op_aBQ6xLxuTc(a,a),op_xtCeza3rDf(a,a))+op_count_ET0KLvfdmE(386,a)+op_count_dAvLJZHBt7(op_ET0KLvfdmE(386,a))+op_count_HJDcuLMPgt(op_3FKzo546dw(op_aBQ6xLxuTc(a,a),op_xtCeza3rDf(a,a)),op_dAvLJZHBt7(op_ET0KLvfdmE(386,a)))
    return count


a⇤≯b = { (⫓⪴((414⊙⨺⨬a)⪣⊠⊏(b∺≝⩲a))) , if (a⩯↚658)>103 ; (((a⩫≗⊖b)∽⫹(b∘b))⊥⇄b) , else }

def op_54rvuKiOgH(a, b):
    if op_EwuI1FZGOD(a,658) > 103:
        return op_eLxqMNBOBk(op_sfbOBpSN9p(op_xrB6SlzufE(414,a),op_KPf6cnQVty(b,a)))
    else:
        return op_gDxaUCbvBQ(op_VTWL3whYCc(op_6GzKXIXcaD(a,b),op_Z5m6OM72h2(b,b)),b)

def op_count_54rvuKiOgH(a, b):
    if op_EwuI1FZGOD(a,658) > 103:
        count = op_count_xrB6SlzufE(414,a)+op_count_KPf6cnQVty(b,a)+op_count_sfbOBpSN9p(op_xrB6SlzufE(414,a),op_KPf6cnQVty(b,a))+op_count_eLxqMNBOBk(op_sfbOBpSN9p(op_xrB6SlzufE(414,a),op_KPf6cnQVty(b,a)))+op_count_EwuI1FZGOD(a,658)
    else:
        count = op_count_6GzKXIXcaD(a,b)+op_count_Z5m6OM72h2(b,b)+op_count_VTWL3whYCc(op_6GzKXIXcaD(a,b),op_Z5m6OM72h2(b,b))+op_count_gDxaUCbvBQ(op_VTWL3whYCc(op_6GzKXIXcaD(a,b),op_Z5m6OM72h2(b,b)),b)
    return count


⩊⩙≶a = { (((a∨⨤∫a)⫁≮∙(⨃⫴611))⇴((⫿⨺0)⨈a)) , if a>40 ; (((a⫲∫a)⨺⊨(a⇦⋔⨵))⩙) , else }

def op_alPC0q6Ec0(a):
    if a > 40:
        return op_4JB6nKBMSY(op_hKcBw1Lue0(op_Q6CfCNJhPO(a,a),op_XeoxXfbtOj(611)),op_A4Cuy9E95d(op_mmv5UHiqV1(0),a))
    else:
        return op_JgJtpi6aUr(op_VXHFBbhtXV(op_dHAONFAwon(a,a),op_u3XxlibK4s(a)))

def op_count_alPC0q6Ec0(a):
    if a > 40:
        count = op_count_Q6CfCNJhPO(a,a)+op_count_XeoxXfbtOj(611)+op_count_hKcBw1Lue0(op_Q6CfCNJhPO(a,a),op_XeoxXfbtOj(611))+op_count_mmv5UHiqV1(0)+op_count_A4Cuy9E95d(op_mmv5UHiqV1(0),a)+op_count_4JB6nKBMSY(op_hKcBw1Lue0(op_Q6CfCNJhPO(a,a),op_XeoxXfbtOj(611)),op_A4Cuy9E95d(op_mmv5UHiqV1(0),a))
    else:
        count = op_count_dHAONFAwon(a,a)+op_count_u3XxlibK4s(a)+op_count_VXHFBbhtXV(op_dHAONFAwon(a,a),op_u3XxlibK4s(a))+op_count_JgJtpi6aUr(op_VXHFBbhtXV(op_dHAONFAwon(a,a),op_u3XxlibK4s(a)))
    return count


∢⫇⪙a = { (⊖⋅⋥(↱⪮≋(a⩔↕≎))) , if (a∼≠≟734)<=40 ; (((a⩝≶a)⫙⨠∵(19⇸⪉))*⇘((98⨨⩇⫼12)⫨⩸⩜(⇀a))) , else }

def op_kljZwTprh9(a):
    if op_sW5uJ3Qy8r(a,734) <= 40:
        return op_x7GavNW4Kv(op_c9fcJv25ES(op_NlrO9HiUSC(a)))
    else:
        return op_5JlONKxcBp(op_VIMCZ0TE5t(op_q6iAK3IPqK(a,a),op_y5RjBpU1NE(19)),op_IjGhTk7PpW(op_UreC4MxV1l(98,12),op_r6dTyk8NtM(a)))

def op_count_kljZwTprh9(a):
    if op_sW5uJ3Qy8r(a,734) <= 40:
        count = op_count_NlrO9HiUSC(a)+op_count_c9fcJv25ES(op_NlrO9HiUSC(a))+op_count_x7GavNW4Kv(op_c9fcJv25ES(op_NlrO9HiUSC(a)))+op_count_sW5uJ3Qy8r(a,734)
    else:
        count = op_count_q6iAK3IPqK(a,a)+op_count_y5RjBpU1NE(19)+op_count_VIMCZ0TE5t(op_q6iAK3IPqK(a,a),op_y5RjBpU1NE(19))+op_count_UreC4MxV1l(98,12)+op_count_r6dTyk8NtM(a)+op_count_IjGhTk7PpW(op_UreC4MxV1l(98,12),op_r6dTyk8NtM(a))+op_count_5JlONKxcBp(op_VIMCZ0TE5t(op_q6iAK3IPqK(a,a),op_y5RjBpU1NE(19)),op_IjGhTk7PpW(op_UreC4MxV1l(98,12),op_r6dTyk8NtM(a)))
    return count


a⪡⫖b = { ((≼⫑⫝(a⨖))⫇⩸⨢((b∌↝b)∀↭⫰111)) , if (⨽∫⩛b)>=73 ; (((b⊐a)⊤∬(a⩨∴⨤))≃⇜↓((a↴⪮a)⋯⨮⊁(a∪⊒a))) , else }

def op_Typ46Ho6Mb(a, b):
    if op_s8qX6NXliq(b) >= 73:
        return op_diu054m9en(op_8N3ri3lVON(op_5JprmgSD8j(a)),op_2muwgCqbmH(op_9Isq31Ruls(b,b),111))
    else:
        return op_zjpztV9BY4(op_5WBlwMsBj2(op_kE9YHawE8s(b,a),op_qjmPyXYQ7j(a)),op_1vIQx1Qjvl(op_3ayH0UyYyX(a,a),op_wd3DeAcC9f(a,a)))

def op_count_Typ46Ho6Mb(a, b):
    if op_s8qX6NXliq(b) >= 73:
        count = op_count_5JprmgSD8j(a)+op_count_8N3ri3lVON(op_5JprmgSD8j(a))+op_count_9Isq31Ruls(b,b)+op_count_2muwgCqbmH(op_9Isq31Ruls(b,b),111)+op_count_diu054m9en(op_8N3ri3lVON(op_5JprmgSD8j(a)),op_2muwgCqbmH(op_9Isq31Ruls(b,b),111))+op_count_s8qX6NXliq(b)
    else:
        count = op_count_kE9YHawE8s(b,a)+op_count_qjmPyXYQ7j(a)+op_count_5WBlwMsBj2(op_kE9YHawE8s(b,a),op_qjmPyXYQ7j(a))+op_count_3ayH0UyYyX(a,a)+op_count_wd3DeAcC9f(a,a)+op_count_1vIQx1Qjvl(op_3ayH0UyYyX(a,a),op_wd3DeAcC9f(a,a))+op_count_zjpztV9BY4(op_5WBlwMsBj2(op_kE9YHawE8s(b,a),op_qjmPyXYQ7j(a)),op_1vIQx1Qjvl(op_3ayH0UyYyX(a,a),op_wd3DeAcC9f(a,a)))
    return count


def op_pEteEgJd75(a):
    return op_2u38eHdNB5(op_0QEWQRhRpH(a,a),op_xwVg91SYUp(261))

def op_count_pEteEgJd75(a):
    count = op_count_0QEWQRhRpH(a,a)+op_count_xwVg91SYUp(261)+op_count_2u38eHdNB5(op_0QEWQRhRpH(a,a),op_xwVg91SYUp(261))
    return count


def op_ntZ9O5VkpC(a):
    return op_oraRL2iQuh(a,a)

def op_count_ntZ9O5VkpC(a):
    count = op_count_oraRL2iQuh(a,a)
    return count


def op_ynSyphp50o(a):
    return op_QIASkFMxnv(op_TtKiRfWgLg(a,a),op_TPY4Vhd24N(a,20))

def op_count_ynSyphp50o(a):
    count = op_count_TtKiRfWgLg(a,a)+op_count_TPY4Vhd24N(a,20)+op_count_QIASkFMxnv(op_TtKiRfWgLg(a,a),op_TPY4Vhd24N(a,20))
    return count


def op_rdq95btIpy(a):
    if op_qlIXcggVCe(a,551) > 9:
        return a
    else:
        return op_5ClX4R8SjJ(a,op_LJjZ19xYgc(92))

def op_count_rdq95btIpy(a):
    if op_qlIXcggVCe(a,551) > 9:
        count = 1
    else:
        count = op_count_LJjZ19xYgc(92)+op_count_5ClX4R8SjJ(a,op_LJjZ19xYgc(92))
    return count


def op_a1g1nEwBDm(a):
    return op_5bjJf2Re4f(op_XHowTFVwyi(0,183),op_Dk5vyLCiGd(a))

def op_count_a1g1nEwBDm(a):
    count = op_count_XHowTFVwyi(0,183)+op_count_Dk5vyLCiGd(a)+op_count_5bjJf2Re4f(op_XHowTFVwyi(0,183),op_Dk5vyLCiGd(a))
    return count


a⩅≙ = { ((⊸⫭⋦(↙⨧a))⫬(⨇⩑(a⋳/a))) , if (⇛⇍↶a)!=560 ; a , else }

def op_2I9wdrfv3U(a):
    if op_kZsPjwrGla(a) != 560:
        return op_bR7FmX73P0(op_qddvovaRuv(op_pTU0JXsWv4(a)),op_Qad0JqIAjf(op_m612RDITqL(a,a)))
    else:
        return a

def op_count_2I9wdrfv3U(a):
    if op_kZsPjwrGla(a) != 560:
        count = op_count_pTU0JXsWv4(a)+op_count_qddvovaRuv(op_pTU0JXsWv4(a))+op_count_m612RDITqL(a,a)+op_count_Qad0JqIAjf(op_m612RDITqL(a,a))+op_count_bR7FmX73P0(op_qddvovaRuv(op_pTU0JXsWv4(a)),op_Qad0JqIAjf(op_m612RDITqL(a,a)))+op_count_kZsPjwrGla(a)
    else:
        count = 1
    return count


def op_SRbuzIgMWI(a, b):
    if (op_IVVGj2B19U(b) == 103 and op_4oiuhcUfb7(a) <= 398 and op_NVeYvCUZ8p(b) != 159):
        return op_mcQVDGUp7Y(op_AeqtO6eaHQ(op_9aXLFNf8dt(a,a)))
    else:
        return op_51hOuhRTcR(op_nBHZox12dy(op_1TuAU3ehYs(b,171),op_Gf27X6JpjG(a,a)),op_12NXCxMFkf(op_Z5m6OM72h2(b,444),op_8uAz8JJKQ9(193,a)))

def op_count_SRbuzIgMWI(a, b):
    if (op_IVVGj2B19U(b) == 103 and op_4oiuhcUfb7(a) <= 398 and op_NVeYvCUZ8p(b) != 159):
        count = op_count_9aXLFNf8dt(a,a)+op_count_AeqtO6eaHQ(op_9aXLFNf8dt(a,a))+op_count_mcQVDGUp7Y(op_AeqtO6eaHQ(op_9aXLFNf8dt(a,a)))+op_count_IVVGj2B19U(b)+op_count_4oiuhcUfb7(a)+op_count_NVeYvCUZ8p(b)
    else:
        count = op_count_1TuAU3ehYs(b,171)+op_count_Gf27X6JpjG(a,a)+op_count_nBHZox12dy(op_1TuAU3ehYs(b,171),op_Gf27X6JpjG(a,a))+op_count_Z5m6OM72h2(b,444)+op_count_8uAz8JJKQ9(193,a)+op_count_12NXCxMFkf(op_Z5m6OM72h2(b,444),op_8uAz8JJKQ9(193,a))+op_count_51hOuhRTcR(op_nBHZox12dy(op_1TuAU3ehYs(b,171),op_Gf27X6JpjG(a,a)),op_12NXCxMFkf(op_Z5m6OM72h2(b,444),op_8uAz8JJKQ9(193,a)))
    return count


def op_6W4v7MRbuJ(a):
    return op_4X4GscPmMf(op_EEwWxUWaEX(a))

def op_count_6W4v7MRbuJ(a):
    count = op_count_EEwWxUWaEX(a)+op_count_4X4GscPmMf(op_EEwWxUWaEX(a))
    return count


def op_vCDJkcMmnD(a):
    return op_MZbvLECGjt(op_JjBRwFuOb8(11,a),op_1pJ76SN1ns(a))

def op_count_vCDJkcMmnD(a):
    count = op_count_JjBRwFuOb8(11,a)+op_count_1pJ76SN1ns(a)+op_count_MZbvLECGjt(op_JjBRwFuOb8(11,a),op_1pJ76SN1ns(a))
    return count


a⩎∞b = { (((508⨸∤⊸208)⇐∾⊈)⋏⨬⋖((b≤⪽a)⨻⩈⩔(b⫊b))) , if (∈⇍⋶a)<=241 ; (((b⩨∴⨤)∏∽10)⋲) , else }

def op_Gh2MLvlQyY(a, b):
    if op_KWONaI82OJ(a) <= 241:
        return op_bDMTzmQgzE(op_iMsmH2WNgD(op_GXvETGfcjc(508,208)),op_nEsXyWgiOK(op_rIhv4QYABv(b,a),op_uPjn7n5pli(b,b)))
    else:
        return op_zqg0bjjuED(op_6tQRFKEWKL(op_qjmPyXYQ7j(b),10))

def op_count_Gh2MLvlQyY(a, b):
    if op_KWONaI82OJ(a) <= 241:
        count = op_count_GXvETGfcjc(508,208)+op_count_iMsmH2WNgD(op_GXvETGfcjc(508,208))+op_count_rIhv4QYABv(b,a)+op_count_uPjn7n5pli(b,b)+op_count_nEsXyWgiOK(op_rIhv4QYABv(b,a),op_uPjn7n5pli(b,b))+op_count_bDMTzmQgzE(op_iMsmH2WNgD(op_GXvETGfcjc(508,208)),op_nEsXyWgiOK(op_rIhv4QYABv(b,a),op_uPjn7n5pli(b,b)))+op_count_KWONaI82OJ(a)
    else:
        count = op_count_qjmPyXYQ7j(b)+op_count_6tQRFKEWKL(op_qjmPyXYQ7j(b),10)+op_count_zqg0bjjuED(op_6tQRFKEWKL(op_qjmPyXYQ7j(b),10))
    return count


a⋍⋵⇓ = { (((a⩓a)⪘⨀)⫃⨻⩹((a⪿⫂⇿a)∖⪙(342⨦⇂⋫a))) }

def op_PeA9bFz7e1(a):
    return op_vlEuakAFQx(op_aA7tF3KVD3(op_ZkTErvSsVl(a,a)),op_wcnuipe1kD(op_bZEx4MGJjc(a,a),op_kr7qJdbOdS(342,a)))

def op_count_PeA9bFz7e1(a):
    count = op_count_ZkTErvSsVl(a,a)+op_count_aA7tF3KVD3(op_ZkTErvSsVl(a,a))+op_count_bZEx4MGJjc(a,a)+op_count_kr7qJdbOdS(342,a)+op_count_wcnuipe1kD(op_bZEx4MGJjc(a,a),op_kr7qJdbOdS(342,a))+op_count_vlEuakAFQx(op_aA7tF3KVD3(op_ZkTErvSsVl(a,a)),op_wcnuipe1kD(op_bZEx4MGJjc(a,a),op_kr7qJdbOdS(342,a)))
    return count


a⊸⊘⋚b = { (((b↧b)⩀↣(432∙⨵b))⋑⩐⪄((a⊯⪆24)⇆⇯(46⋱⊊a))) }

def op_vTkXlpIQgh(a, b):
    return op_mCA1Lu4fO6(op_OstGYNawjH(op_5LE63mxGOF(b,b),op_reVGrTqfuh(432,b)),op_BvUOHliOJ6(op_8u3ZXjUZq9(a,24),op_XIK4G3vWTl(46,a)))

def op_count_vTkXlpIQgh(a, b):
    count = op_count_5LE63mxGOF(b,b)+op_count_reVGrTqfuh(432,b)+op_count_OstGYNawjH(op_5LE63mxGOF(b,b),op_reVGrTqfuh(432,b))+op_count_8u3ZXjUZq9(a,24)+op_count_XIK4G3vWTl(46,a)+op_count_BvUOHliOJ6(op_8u3ZXjUZq9(a,24),op_XIK4G3vWTl(46,a))+op_count_mCA1Lu4fO6(op_OstGYNawjH(op_5LE63mxGOF(b,b),op_reVGrTqfuh(432,b)),op_BvUOHliOJ6(op_8u3ZXjUZq9(a,24),op_XIK4G3vWTl(46,a)))
    return count


def op_p97BeOkDlu(a, b):
    return op_qRfCwGgRXA(op_UqFzSgLMvQ(34),op_dUpriDnGP5(b,a))

def op_count_p97BeOkDlu(a, b):
    count = op_count_UqFzSgLMvQ(34)+op_count_dUpriDnGP5(b,a)+op_count_qRfCwGgRXA(op_UqFzSgLMvQ(34),op_dUpriDnGP5(b,a))
    return count


a⪆∨⊹b = { (((⪰∘a)⊝∲⩰(a∣b))⨒↵(⪭≐⨜a)) , if (b↮⪈⫰)<189 ; ((a⊾⪯⋞(b⋾∩b))≍↿≦((a≏≕⊈)⪂∄(a∳≈))) , else }

def op_iQh8Bf344U(a, b):
    if op_MKpoIoBJCf(b) < 189:
        return op_4F2d8NdGA5(op_UkFG6YBLyt(op_uuALuEY20A(a),op_PPChnnnBFF(a,b)),op_RyrdAX1Ftm(a))
    else:
        return op_TSUy8hrQkO(op_HK0tfVPux8(a,op_2KNBRhPqiH(b,b)),op_LruclEJH8T(op_20hTnS7co9(a),op_EVzXcFzw94(a)))

def op_count_iQh8Bf344U(a, b):
    if op_MKpoIoBJCf(b) < 189:
        count = op_count_uuALuEY20A(a)+op_count_PPChnnnBFF(a,b)+op_count_UkFG6YBLyt(op_uuALuEY20A(a),op_PPChnnnBFF(a,b))+op_count_RyrdAX1Ftm(a)+op_count_4F2d8NdGA5(op_UkFG6YBLyt(op_uuALuEY20A(a),op_PPChnnnBFF(a,b)),op_RyrdAX1Ftm(a))+op_count_MKpoIoBJCf(b)
    else:
        count = op_count_2KNBRhPqiH(b,b)+op_count_HK0tfVPux8(a,op_2KNBRhPqiH(b,b))+op_count_20hTnS7co9(a)+op_count_EVzXcFzw94(a)+op_count_LruclEJH8T(op_20hTnS7co9(a),op_EVzXcFzw94(a))+op_count_TSUy8hrQkO(op_HK0tfVPux8(a,op_2KNBRhPqiH(b,b)),op_LruclEJH8T(op_20hTnS7co9(a),op_EVzXcFzw94(a)))
    return count


a≵⋃⫿b = { (⪶⨩b) , if b<=372 ; (a⋢b) , else }

def op_GMKXAVE8R1(a, b):
    if b <= 372:
        return op_ixc2Esl5RP(b)
    else:
        return op_NdELin8EPX(a,b)

def op_count_GMKXAVE8R1(a, b):
    if b <= 372:
        count = op_count_ixc2Esl5RP(b)
    else:
        count = op_count_NdELin8EPX(a,b)
    return count


a≇⪦⋨b = { (⫇⨷(⇣⨹(a⊶⫨a))) , if b>785 ; (≧(⇖(a⫗⋱⩱a))) , else }

def op_lUbvlUQjLd(a, b):
    if b > 785:
        return op_ct1hK6qyRt(op_od8mRrw25e(op_3AHgZhA1m2(a,a)))
    else:
        return op_438NZEZFZN(op_tfWHHpNKUN(op_i43TpB2HrT(a,a)))

def op_count_lUbvlUQjLd(a, b):
    if b > 785:
        count = op_count_3AHgZhA1m2(a,a)+op_count_od8mRrw25e(op_3AHgZhA1m2(a,a))+op_count_ct1hK6qyRt(op_od8mRrw25e(op_3AHgZhA1m2(a,a)))
    else:
        count = op_count_i43TpB2HrT(a,a)+op_count_tfWHHpNKUN(op_i43TpB2HrT(a,a))+op_count_438NZEZFZN(op_tfWHHpNKUN(op_i43TpB2HrT(a,a)))
    return count


def op_LbAE8EoqYH(a, b):
    return op_ZG1KnpkPxw(op_X8DMfAISiV(b),op_vEtY77xraV(a,a))

def op_count_LbAE8EoqYH(a, b):
    count = op_count_X8DMfAISiV(b)+op_count_vEtY77xraV(a,a)+op_count_ZG1KnpkPxw(op_X8DMfAISiV(b),op_vEtY77xraV(a,a))
    return count


≬⫏a = { (((235⪬⪬⋰a)⊬⪖)↲√((a⪂)⪍⊡(a⪙⇔a))) }

def op_v0IW8TjYV5(a):
    return op_g2BVzdiSOk(op_2gsjGEPgKp(op_dKnrfkTA9N(235,a)),op_b3QkRJRxib(op_uqvL9iKn97(a),op_HtfiQVUMWI(a,a)))

def op_count_v0IW8TjYV5(a):
    count = op_count_dKnrfkTA9N(235,a)+op_count_2gsjGEPgKp(op_dKnrfkTA9N(235,a))+op_count_uqvL9iKn97(a)+op_count_HtfiQVUMWI(a,a)+op_count_b3QkRJRxib(op_uqvL9iKn97(a),op_HtfiQVUMWI(a,a))+op_count_g2BVzdiSOk(op_2gsjGEPgKp(op_dKnrfkTA9N(235,a)),op_b3QkRJRxib(op_uqvL9iKn97(a),op_HtfiQVUMWI(a,a)))
    return count


def op_NFRU2DdddF(a):
    return op_8kC3VQV3Yq(a,op_FaF1PUcip1(op_NCK8ztm4vY(a,a),op_8ZudynJV7e(229)))

def op_count_NFRU2DdddF(a):
    count = op_count_NCK8ztm4vY(a,a)+op_count_8ZudynJV7e(229)+op_count_FaF1PUcip1(op_NCK8ztm4vY(a,a),op_8ZudynJV7e(229))+op_count_8kC3VQV3Yq(a,op_FaF1PUcip1(op_NCK8ztm4vY(a,a),op_8ZudynJV7e(229)))
    return count


def op_rmgrqid3ld(a):
    if op_Z6qvuIbiDz(a,616) != 394 or op_qvKIMln9sx(a,899) <= 122:
        return op_wxIwlBkOAg(op_vEtY77xraV(a,97),op_ZvB8Fo8LGH(a,a))
    else:
        return op_6Zjw4YHEYi(op_LruclEJH8T(a,849))

def op_count_rmgrqid3ld(a):
    if op_Z6qvuIbiDz(a,616) != 394 or op_qvKIMln9sx(a,899) <= 122:
        count = op_count_vEtY77xraV(a,97)+op_count_ZvB8Fo8LGH(a,a)+op_count_wxIwlBkOAg(op_vEtY77xraV(a,97),op_ZvB8Fo8LGH(a,a))+op_count_Z6qvuIbiDz(a,616)+op_count_qvKIMln9sx(a,899)
    else:
        count = op_count_LruclEJH8T(a,849)+op_count_6Zjw4YHEYi(op_LruclEJH8T(a,849))
    return count


def op_1eAbHQ8R4l(a):
    return op_QnvrtN8efL(op_zoVUxTIMAa(a,a),op_mMNOlYfzJE(a))

def op_count_1eAbHQ8R4l(a):
    count = op_count_zoVUxTIMAa(a,a)+op_count_mMNOlYfzJE(a)+op_count_QnvrtN8efL(op_zoVUxTIMAa(a,a),op_mMNOlYfzJE(a))
    return count


def op_81U6nAMLzr(a):
    if (a != 439 or op_ASIue62dCT(a) <= 492 or op_mVMnQ3ZUz6(a) != 479):
        return op_WscUkPRWwf(a,a)
    else:
        return op_Tl3Y52tvF8(a)

def op_count_81U6nAMLzr(a):
    if (a != 439 or op_ASIue62dCT(a) <= 492 or op_mVMnQ3ZUz6(a) != 479):
        count = op_count_WscUkPRWwf(a,a)+op_count_ASIue62dCT(a)+op_count_mVMnQ3ZUz6(a)
    else:
        count = op_count_Tl3Y52tvF8(a)
    return count


a↬≻≯b = { ((b⋘⋱a)⩷∴(b≎⊠⪸a)) , if (b≽)<245 ; ((a⋓⪊⫫b)⨃⊴) , else }

def op_BzHzNuv5hi(a, b):
    if op_j98Uxmdk7c(b) < 245:
        return op_9FxExcQeMw(op_70gRa6EccN(b,a),op_bJkvcejdHO(b,a))
    else:
        return op_f62L7mkOeG(op_tIVorTW24W(a,b))

def op_count_BzHzNuv5hi(a, b):
    if op_j98Uxmdk7c(b) < 245:
        count = op_count_70gRa6EccN(b,a)+op_count_bJkvcejdHO(b,a)+op_count_9FxExcQeMw(op_70gRa6EccN(b,a),op_bJkvcejdHO(b,a))+op_count_j98Uxmdk7c(b)
    else:
        count = op_count_tIVorTW24W(a,b)+op_count_f62L7mkOeG(op_tIVorTW24W(a,b))
    return count


a⩻⫧↛b = { (b/⪠≕a) , if (⩧a)>397 ; (⇐b) , else }

def op_jFFapEqhGL(a, b):
    if op_HPslF4Wa5g(a) > 397:
        return op_JJul4MxJIR(b,a)
    else:
        return op_nmZMaaE0Q9(b)

def op_count_jFFapEqhGL(a, b):
    if op_HPslF4Wa5g(a) > 397:
        count = op_count_JJul4MxJIR(b,a)+op_count_HPslF4Wa5g(a)
    else:
        count = op_count_nmZMaaE0Q9(b)
    return count


def op_7J74UIkAqv(a):
    return op_F4yD0voBRQ(a,a)

def op_count_7J74UIkAqv(a):
    count = op_count_F4yD0voBRQ(a,a)
    return count


def op_J3kS3MdmEX(a, b):
    return op_i43TpB2HrT(b,op_bBWLhCymi1(op_meIKchaImn(a,a)))

def op_count_J3kS3MdmEX(a, b):
    count = op_count_meIKchaImn(a,a)+op_count_bBWLhCymi1(op_meIKchaImn(a,a))+op_count_i43TpB2HrT(b,op_bBWLhCymi1(op_meIKchaImn(a,a)))
    return count


def op_ySrJp4b3H8(a):
    if (op_osk2rLiRrX(a) != 197 and op_v6n82cqzWM(a) != 183):
        return op_TLSiz8NPqi(op_JgJtpi6aUr(27))
    else:
        return op_Sk2xeHjcVZ(op_bQy7iKdSPD(47,409),op_EcikR1MxSZ(a,a))

def op_count_ySrJp4b3H8(a):
    if (op_osk2rLiRrX(a) != 197 and op_v6n82cqzWM(a) != 183):
        count = op_count_JgJtpi6aUr(27)+op_count_TLSiz8NPqi(op_JgJtpi6aUr(27))+op_count_osk2rLiRrX(a)+op_count_v6n82cqzWM(a)
    else:
        count = op_count_bQy7iKdSPD(47,409)+op_count_EcikR1MxSZ(a,a)+op_count_Sk2xeHjcVZ(op_bQy7iKdSPD(47,409),op_EcikR1MxSZ(a,a))
    return count


def op_gZDDXYGbxI(a):
    if op_7tsVghrNr2(a,602) != 56:
        return op_wsXFuL0hC6(op_YbVcJGFEVW(a,a),op_iKXgM9nePW(a,211))
    else:
        return op_m612RDITqL(op_XhwjNDsVaA(a,a),op_uTXOZ2BrWI(a,479))

def op_count_gZDDXYGbxI(a):
    if op_7tsVghrNr2(a,602) != 56:
        count = op_count_YbVcJGFEVW(a,a)+op_count_iKXgM9nePW(a,211)+op_count_wsXFuL0hC6(op_YbVcJGFEVW(a,a),op_iKXgM9nePW(a,211))+op_count_7tsVghrNr2(a,602)
    else:
        count = op_count_XhwjNDsVaA(a,a)+op_count_uTXOZ2BrWI(a,479)+op_count_m612RDITqL(op_XhwjNDsVaA(a,a),op_uTXOZ2BrWI(a,479))
    return count


def op_3OegPJftkp(a):
    return op_DykcjiQqpf(a,a)

def op_count_3OegPJftkp(a):
    count = op_count_DykcjiQqpf(a,a)
    return count


a∸≖⨓b = { (((a∴⫅⫄)⩍∍⪤(b⊋↛a))⇎⇧((a⇋⩓6)⪋⫼⪧(↑⩌≥a))) }

def op_td3JEaTnr1(a, b):
    return op_cnI436iWbz(op_pevpteaPmM(op_Gbxqws6XSS(a),op_fOUzq6FFBl(b,a)),op_KLMV3Z6VVJ(op_nV0ABU7b9V(a,6),op_vtuEveK19u(a)))

def op_count_td3JEaTnr1(a, b):
    count = op_count_Gbxqws6XSS(a)+op_count_fOUzq6FFBl(b,a)+op_count_pevpteaPmM(op_Gbxqws6XSS(a),op_fOUzq6FFBl(b,a))+op_count_nV0ABU7b9V(a,6)+op_count_vtuEveK19u(a)+op_count_KLMV3Z6VVJ(op_nV0ABU7b9V(a,6),op_vtuEveK19u(a))+op_count_cnI436iWbz(op_pevpteaPmM(op_Gbxqws6XSS(a),op_fOUzq6FFBl(b,a)),op_KLMV3Z6VVJ(op_nV0ABU7b9V(a,6),op_vtuEveK19u(a)))
    return count


a⫭↡ = { ((a⋑⩐⪄194)⇣⩺⋵(a⋊≁a)) , if (⪑⊊a)>=0 ; ((a⪢⋭)≵⩾⇗(a⫇⊯a)) , else }

def op_izr9MGzCtp(a):
    if op_zN4KueseHa(a) >= 0:
        return op_F4yD0voBRQ(op_mCA1Lu4fO6(a,194),op_rQTtyvEHdZ(a,a))
    else:
        return op_GyJNigkHRe(op_csT5a4elgc(a),op_pxtEXgrBIH(a,a))

def op_count_izr9MGzCtp(a):
    if op_zN4KueseHa(a) >= 0:
        count = op_count_mCA1Lu4fO6(a,194)+op_count_rQTtyvEHdZ(a,a)+op_count_F4yD0voBRQ(op_mCA1Lu4fO6(a,194),op_rQTtyvEHdZ(a,a))+op_count_zN4KueseHa(a)
    else:
        count = op_count_csT5a4elgc(a)+op_count_pxtEXgrBIH(a,a)+op_count_GyJNigkHRe(op_csT5a4elgc(a),op_pxtEXgrBIH(a,a))
    return count


a⇄⨕⨍b = { (b⩚∋(⫓⋮≁(⪨⇶⩻a))) , if (⨦↡⨓a)>625 and (⩆∭⫘a)<63 and b==634 ; (((b⊞≃⪲b)⨝√(⫤b))∯⩀(⩰(45⪭b))) , else }

def op_S3ygqCMwex(a, b):
    if op_rGX0140XfS(a) > 625 and op_lKIdTCn6US(a) < 63 and b == 634:
        return op_b5mRhv1JNt(b,op_9QNY6wq3gX(op_RfmSMOQ2FJ(a)))
    else:
        return op_mB7zfwCp1n(op_9m2uP4QEko(op_jKh9xaBIQ5(b,b),op_ii6Blt532R(b)),op_WkeUrDK8WX(op_j9kHMeSvPp(45,b)))

def op_count_S3ygqCMwex(a, b):
    if op_rGX0140XfS(a) > 625 and op_lKIdTCn6US(a) < 63 and b == 634:
        count = op_count_RfmSMOQ2FJ(a)+op_count_9QNY6wq3gX(op_RfmSMOQ2FJ(a))+op_count_b5mRhv1JNt(b,op_9QNY6wq3gX(op_RfmSMOQ2FJ(a)))+op_count_rGX0140XfS(a)+op_count_lKIdTCn6US(a)
    else:
        count = op_count_jKh9xaBIQ5(b,b)+op_count_ii6Blt532R(b)+op_count_9m2uP4QEko(op_jKh9xaBIQ5(b,b),op_ii6Blt532R(b))+op_count_j9kHMeSvPp(45,b)+op_count_WkeUrDK8WX(op_j9kHMeSvPp(45,b))+op_count_mB7zfwCp1n(op_9m2uP4QEko(op_jKh9xaBIQ5(b,b),op_ii6Blt532R(b)),op_WkeUrDK8WX(op_j9kHMeSvPp(45,b)))
    return count


def op_ybEnIHpYJR(a):
    if op_eftAHwPbeA(a) >= 155 and op_4yVIdyRSpi(a,806) != 147 and a == 178:
        return op_qD92y9n62Z(58)
    else:
        return op_TPY4Vhd24N(a,a)

def op_count_ybEnIHpYJR(a):
    if op_eftAHwPbeA(a) >= 155 and op_4yVIdyRSpi(a,806) != 147 and a == 178:
        count = op_count_qD92y9n62Z(58)+op_count_eftAHwPbeA(a)+op_count_4yVIdyRSpi(a,806)
    else:
        count = op_count_TPY4Vhd24N(a,a)
    return count


def op_ESJ9zyMYM4(a):
    return op_lLg6KFppdz(op_3CMemG6NAA(a),op_5SK3UOPDfl(a,348))

def op_count_ESJ9zyMYM4(a):
    count = op_count_3CMemG6NAA(a)+op_count_5SK3UOPDfl(a,348)+op_count_lLg6KFppdz(op_3CMemG6NAA(a),op_5SK3UOPDfl(a,348))
    return count


a⫡⩫⨩ = { (∝≪286) , if (a↸⫶⪔)!=694 ; (a⨻⩈⩔a) , else }

def op_VxsFyqworP(a):
    if op_XKLyAmQZcp(a) != 694:
        return op_mO5CGOYEYM(286)
    else:
        return op_nEsXyWgiOK(a,a)

def op_count_VxsFyqworP(a):
    if op_XKLyAmQZcp(a) != 694:
        count = op_count_mO5CGOYEYM(286)+op_count_XKLyAmQZcp(a)
    else:
        count = op_count_nEsXyWgiOK(a,a)
    return count


def op_yOqGLqJViq(a, b):
    return op_zQWRhDnn8F(op_AiZuih6wUj(op_22UCrTUJEh(b,a),op_R0IH6tFGJf(a)))

def op_count_yOqGLqJViq(a, b):
    count = op_count_22UCrTUJEh(b,a)+op_count_R0IH6tFGJf(a)+op_count_AiZuih6wUj(op_22UCrTUJEh(b,a),op_R0IH6tFGJf(a))+op_count_zQWRhDnn8F(op_AiZuih6wUj(op_22UCrTUJEh(b,a),op_R0IH6tFGJf(a)))
    return count


a↨⫓ = { (((⊧⪂⊅a)∠⫱(a≩a))⫄⋒↱(↠∋(a⨝⩣∺))) , if (a⩙⪻968)<179 or a<=231 ; (((a⫅)≅)⋡⊕(⫦≽⪐(⨻⊚a))) , else }

def op_iM8QWI0ref(a):
    if op_Y0zpOQG4YL(a,968) < 179 or a <= 231:
        return op_crtJ4cV1Co(op_QvoQhV0rrE(op_U08m58jomp(a),op_8vl1kniaDp(a,a)),op_KHAvRn04uW(op_ancx8kZcWl(a)))
    else:
        return op_Q1zyOcezdx(op_tgPF6n0bOJ(op_iI58LvO9D4(a)),op_fjqJgF5yyp(op_vhdvHNYmJ0(a)))

def op_count_iM8QWI0ref(a):
    if op_Y0zpOQG4YL(a,968) < 179 or a <= 231:
        count = op_count_U08m58jomp(a)+op_count_8vl1kniaDp(a,a)+op_count_QvoQhV0rrE(op_U08m58jomp(a),op_8vl1kniaDp(a,a))+op_count_ancx8kZcWl(a)+op_count_KHAvRn04uW(op_ancx8kZcWl(a))+op_count_crtJ4cV1Co(op_QvoQhV0rrE(op_U08m58jomp(a),op_8vl1kniaDp(a,a)),op_KHAvRn04uW(op_ancx8kZcWl(a)))+op_count_Y0zpOQG4YL(a,968)
    else:
        count = op_count_iI58LvO9D4(a)+op_count_tgPF6n0bOJ(op_iI58LvO9D4(a))+op_count_vhdvHNYmJ0(a)+op_count_fjqJgF5yyp(op_vhdvHNYmJ0(a))+op_count_Q1zyOcezdx(op_tgPF6n0bOJ(op_iI58LvO9D4(a)),op_fjqJgF5yyp(op_vhdvHNYmJ0(a)))
    return count


a⩐⇫⋆b = { (((a⋋∟⊰a)⇻⋧≁(b⪆↚⋛b))⋈((238⋍⋺196)⨝(a↑))) }

def op_RskJNM2xrU(a, b):
    return op_nDybdB13Ph(op_jCPkEVoL5K(op_mrNpOysvNy(a,a),op_lBJ7sFuA67(b,b)),op_fo48eGTxLC(op_rW0uBYiax0(238,196),op_BThhyOhh10(a)))

def op_count_RskJNM2xrU(a, b):
    count = op_count_mrNpOysvNy(a,a)+op_count_lBJ7sFuA67(b,b)+op_count_jCPkEVoL5K(op_mrNpOysvNy(a,a),op_lBJ7sFuA67(b,b))+op_count_rW0uBYiax0(238,196)+op_count_BThhyOhh10(a)+op_count_fo48eGTxLC(op_rW0uBYiax0(238,196),op_BThhyOhh10(a))+op_count_nDybdB13Ph(op_jCPkEVoL5K(op_mrNpOysvNy(a,a),op_lBJ7sFuA67(b,b)),op_fo48eGTxLC(op_rW0uBYiax0(238,196),op_BThhyOhh10(a)))
    return count


def op_zOb9yPhI8S(a):
    return op_eRqsBgTDFp(a,op_wvHyciQT5X(a))

def op_count_zOb9yPhI8S(a):
    count = op_count_wvHyciQT5X(a)+op_count_eRqsBgTDFp(a,op_wvHyciQT5X(a))
    return count


def op_1JDpKLmjHx(a):
    if a <= 564:
        return op_rJVOvQCfKK(a,95)
    else:
        return op_hVc01Dtea3(a)

def op_count_1JDpKLmjHx(a):
    if a <= 564:
        count = op_count_rJVOvQCfKK(a,95)
    else:
        count = op_count_hVc01Dtea3(a)
    return count


a⪈⊆b = { ((b⨇∍a)⪰⋎⋣(b-⨯b)) , if ((a⨻⩃)<540 or (b⫆)==921) ; ((a⪒⊣⊆b)⇴≮⊋(≧⊳a)) , else }

def op_9cXuuulTvS(a, b):
    if (op_r8WhR566a7(a) < 540 or op_cGHQRUc1Fx(b) == 921):
        return op_v7AuZyLTHx(op_MLcC8hLVgw(b,a),op_2lEcbzNZ3I(b,b))
    else:
        return op_1guADMLg5x(op_eRqsBgTDFp(a,b),op_GMrB5OisJT(a))

def op_count_9cXuuulTvS(a, b):
    if (op_r8WhR566a7(a) < 540 or op_cGHQRUc1Fx(b) == 921):
        count = op_count_MLcC8hLVgw(b,a)+op_count_2lEcbzNZ3I(b,b)+op_count_v7AuZyLTHx(op_MLcC8hLVgw(b,a),op_2lEcbzNZ3I(b,b))+op_count_r8WhR566a7(a)+op_count_cGHQRUc1Fx(b)
    else:
        count = op_count_eRqsBgTDFp(a,b)+op_count_GMrB5OisJT(a)+op_count_1guADMLg5x(op_eRqsBgTDFp(a,b),op_GMrB5OisJT(a))
    return count


def op_mHMPehN4Nn(a):
    return op_RabNbG55vr(a,80)

def op_count_mHMPehN4Nn(a):
    count = op_count_RabNbG55vr(a,80)
    return count


def op_JuZa3hjOps(a):
    return op_B7jD7820sf(a,a)

def op_count_JuZa3hjOps(a):
    count = op_count_B7jD7820sf(a,a)
    return count


def op_3bbvn6yFhX(a):
    return op_oAMbWzt9Wf(op_2M7SKlOzyM(a,a),op_212REbPD9h(a,a))

def op_count_3bbvn6yFhX(a):
    count = op_count_2M7SKlOzyM(a,a)+op_count_212REbPD9h(a,a)+op_count_oAMbWzt9Wf(op_2M7SKlOzyM(a,a),op_212REbPD9h(a,a))
    return count


a⨵⪥⨑b = { ((⫆↝a)⩛(b⪕⋍a)) , if (b⨁55)==138 ; ((a⨎⋸⪻)⋐⩹≹(⪸⊿a)) , else }

def op_Kep1ax30Fl(a, b):
    if op_l455cbmnc3(b,55) == 138:
        return op_1Ozlt4kVTJ(op_anXoXtNaKI(a),op_NLWUahlHYy(b,a))
    else:
        return op_ERCh0iueHk(op_Dk5vyLCiGd(a),op_sLhbn9hqDI(a))

def op_count_Kep1ax30Fl(a, b):
    if op_l455cbmnc3(b,55) == 138:
        count = op_count_anXoXtNaKI(a)+op_count_NLWUahlHYy(b,a)+op_count_1Ozlt4kVTJ(op_anXoXtNaKI(a),op_NLWUahlHYy(b,a))+op_count_l455cbmnc3(b,55)
    else:
        count = op_count_Dk5vyLCiGd(a)+op_count_sLhbn9hqDI(a)+op_count_ERCh0iueHk(op_Dk5vyLCiGd(a),op_sLhbn9hqDI(a))
    return count


def op_9xgsSlZQwG(a):
    return op_DykcjiQqpf(op_tSHYsjpuUI(401,416),op_sQFXMycfVt(a,a))

def op_count_9xgsSlZQwG(a):
    count = op_count_tSHYsjpuUI(401,416)+op_count_sQFXMycfVt(a,a)+op_count_DykcjiQqpf(op_tSHYsjpuUI(401,416),op_sQFXMycfVt(a,a))
    return count


def op_rAeLvhpKas(a):
    return op_36V2MidH9c(op_JZ6LT1lUci(a,a),op_7qqUquhhSb(a))

def op_count_rAeLvhpKas(a):
    count = op_count_JZ6LT1lUci(a,a)+op_count_7qqUquhhSb(a)+op_count_36V2MidH9c(op_JZ6LT1lUci(a,a),op_7qqUquhhSb(a))
    return count


def op_mIBwPQbOHe(a):
    return op_bJkvcejdHO(a,a)

def op_count_mIBwPQbOHe(a):
    count = op_count_bJkvcejdHO(a,a)
    return count


def op_RtH8IFrZUd(a):
    if op_Z6qvuIbiDz(a,532) < 79:
        return op_EMR9JvRK8T(a,118)
    else:
        return op_9tKT6PmtkH(a)

def op_count_RtH8IFrZUd(a):
    if op_Z6qvuIbiDz(a,532) < 79:
        count = op_count_EMR9JvRK8T(a,118)+op_count_Z6qvuIbiDz(a,532)
    else:
        count = op_count_9tKT6PmtkH(a)
    return count


def op_wgEGFGjsm3(a, b):
    if (op_zBtHAxlVCP(a) >= 250 or op_bMfZrpXtSe(a,344) > 272 or b >= 28):
        return op_hiLoF09tr3(op_bEPZFWGxOB(op_IEH3kw0xIp(b,357),op_vaH8QgiDVg(13)))
    else:
        return op_ZG1KnpkPxw(op_cGHQRUc1Fx(op_j7UVJQGE8k(b,65)),op_hiBDRd40bf(op_QbnwKVWMIQ(a,186),op_Sdk5QcUYJw(b)))

def op_count_wgEGFGjsm3(a, b):
    if (op_zBtHAxlVCP(a) >= 250 or op_bMfZrpXtSe(a,344) > 272 or b >= 28):
        count = op_count_IEH3kw0xIp(b,357)+op_count_vaH8QgiDVg(13)+op_count_bEPZFWGxOB(op_IEH3kw0xIp(b,357),op_vaH8QgiDVg(13))+op_count_hiLoF09tr3(op_bEPZFWGxOB(op_IEH3kw0xIp(b,357),op_vaH8QgiDVg(13)))+op_count_zBtHAxlVCP(a)+op_count_bMfZrpXtSe(a,344)
    else:
        count = op_count_j7UVJQGE8k(b,65)+op_count_cGHQRUc1Fx(op_j7UVJQGE8k(b,65))+op_count_QbnwKVWMIQ(a,186)+op_count_Sdk5QcUYJw(b)+op_count_hiBDRd40bf(op_QbnwKVWMIQ(a,186),op_Sdk5QcUYJw(b))+op_count_ZG1KnpkPxw(op_cGHQRUc1Fx(op_j7UVJQGE8k(b,65)),op_hiBDRd40bf(op_QbnwKVWMIQ(a,186),op_Sdk5QcUYJw(b)))
    return count


a⩍↢b = { ((↯⪼(b⫔a))⫁≮∙((⨍↵b)≧↧↪(b≎⩅a))) }

def op_aqU8F3SgaS(a, b):
    return op_hKcBw1Lue0(op_8jW3W4yZS5(op_Qsw9fW7fQc(b,a)),op_bnaEnLVdkS(op_gNtKED3RKN(b),op_ieqGirTMxl(b,a)))

def op_count_aqU8F3SgaS(a, b):
    count = op_count_Qsw9fW7fQc(b,a)+op_count_8jW3W4yZS5(op_Qsw9fW7fQc(b,a))+op_count_gNtKED3RKN(b)+op_count_ieqGirTMxl(b,a)+op_count_bnaEnLVdkS(op_gNtKED3RKN(b),op_ieqGirTMxl(b,a))+op_count_hKcBw1Lue0(op_8jW3W4yZS5(op_Qsw9fW7fQc(b,a)),op_bnaEnLVdkS(op_gNtKED3RKN(b),op_ieqGirTMxl(b,a)))
    return count


⋑⫻≾a = { (((a∷a)≏⪷⨊(a⩒≳216))↢⋥⊛(⨚∍⪓(a⨤110))) }

def op_YKmGAXgZjU(a):
    return op_6pONsy2XwS(op_aP2QVQG16R(op_D3AQDKkPcf(a,a),op_B8FmB0RXNF(a,216)),op_A70lgPgx8E(op_6Dk38mmJ69(a,110)))

def op_count_YKmGAXgZjU(a):
    count = op_count_D3AQDKkPcf(a,a)+op_count_B8FmB0RXNF(a,216)+op_count_aP2QVQG16R(op_D3AQDKkPcf(a,a),op_B8FmB0RXNF(a,216))+op_count_6Dk38mmJ69(a,110)+op_count_A70lgPgx8E(op_6Dk38mmJ69(a,110))+op_count_6pONsy2XwS(op_aP2QVQG16R(op_D3AQDKkPcf(a,a),op_B8FmB0RXNF(a,216)),op_A70lgPgx8E(op_6Dk38mmJ69(a,110)))
    return count


a⇑⩢b = { (((a⨬23)⋹⋛≠(a⨇∑⇷98))⪌⫯a) , if (a*⨄)<177 ; (((545∋≞b)↸(b⪞⇨b))⊵⩛∤((b⩕≗a)⊀⨢(⇱⨱a))) , else }

def op_gqZfcu8Q4L(a, b):
    if op_5VqMCcXhPM(a) < 177:
        return op_NQTbndOZCW(op_r52rsuXYVw(op_NsGlVlbNoR(a,23),op_LCjPM0UdxD(a,98)),a)
    else:
        return op_36V2MidH9c(op_1eCjFl0mb9(op_F3ZYW0Xs6y(545,b),op_dbaoL9ubd4(b,b)),op_qabBOWcXus(op_PULhhNGBKj(b,a),op_8AKr1ZaVfa(a)))

def op_count_gqZfcu8Q4L(a, b):
    if op_5VqMCcXhPM(a) < 177:
        count = op_count_NsGlVlbNoR(a,23)+op_count_LCjPM0UdxD(a,98)+op_count_r52rsuXYVw(op_NsGlVlbNoR(a,23),op_LCjPM0UdxD(a,98))+op_count_NQTbndOZCW(op_r52rsuXYVw(op_NsGlVlbNoR(a,23),op_LCjPM0UdxD(a,98)),a)+op_count_5VqMCcXhPM(a)
    else:
        count = op_count_F3ZYW0Xs6y(545,b)+op_count_dbaoL9ubd4(b,b)+op_count_1eCjFl0mb9(op_F3ZYW0Xs6y(545,b),op_dbaoL9ubd4(b,b))+op_count_PULhhNGBKj(b,a)+op_count_8AKr1ZaVfa(a)+op_count_qabBOWcXus(op_PULhhNGBKj(b,a),op_8AKr1ZaVfa(a))+op_count_36V2MidH9c(op_1eCjFl0mb9(op_F3ZYW0Xs6y(545,b),op_dbaoL9ubd4(b,b)),op_qabBOWcXus(op_PULhhNGBKj(b,a),op_8AKr1ZaVfa(a)))
    return count


def op_jN33Ps9R0w(a, b):
    return op_0D7yuLhasi(op_tnyRA5sazQ(op_4J8E7DyAzc(a,114),op_L95AwlJzhO(b)))

def op_count_jN33Ps9R0w(a, b):
    count = op_count_4J8E7DyAzc(a,114)+op_count_L95AwlJzhO(b)+op_count_tnyRA5sazQ(op_4J8E7DyAzc(a,114),op_L95AwlJzhO(b))+op_count_0D7yuLhasi(op_tnyRA5sazQ(op_4J8E7DyAzc(a,114),op_L95AwlJzhO(b)))
    return count


a⫳⋚⩴b = { (⩪∧⨌(b≴⪞⇿38)) , if (a⩁⪨74)!=118 ; (⫛≇≢(b≬⇓70)) , else }

def op_lzETxEuxZT(a, b):
    if op_NkmDxhANyO(a,74) != 118:
        return op_6iOiAJX1F8(op_lvlrscuwVU(b,38))
    else:
        return op_ZUqWrWYwGf(op_jWTQ2TZYIH(b,70))

def op_count_lzETxEuxZT(a, b):
    if op_NkmDxhANyO(a,74) != 118:
        count = op_count_lvlrscuwVU(b,38)+op_count_6iOiAJX1F8(op_lvlrscuwVU(b,38))+op_count_NkmDxhANyO(a,74)
    else:
        count = op_count_jWTQ2TZYIH(b,70)+op_count_ZUqWrWYwGf(op_jWTQ2TZYIH(b,70))
    return count


def op_zlqdqChXJz(a):
    return op_EaccxuysW0(op_Qtd6bqUJcN(a),op_CdHlyAwjkr(a,391))

def op_count_zlqdqChXJz(a):
    count = op_count_Qtd6bqUJcN(a)+op_count_CdHlyAwjkr(a,391)+op_count_EaccxuysW0(op_Qtd6bqUJcN(a),op_CdHlyAwjkr(a,391))
    return count


def op_gzNV2SEzrU(a):
    if a != 402:
        return op_vkpjKywKVM(a,a)
    else:
        return a

def op_count_gzNV2SEzrU(a):
    if a != 402:
        count = op_count_vkpjKywKVM(a,a)
    else:
        count = 1
    return count


a⨭⋐⨕ = { (((15⪝∡)⫸⩸(a⋾⨃∁a))⋟⨱(a⫲≮(a⨯a))) }

def op_0x8fbimt21(a):
    return op_lN5Hu1ptA5(op_SfUa7LlWFO(op_3mEz3wejNI(15),op_212REbPD9h(a,a)),op_3FKzo546dw(a,op_qYpz2WEVq4(a,a)))

def op_count_0x8fbimt21(a):
    count = op_count_3mEz3wejNI(15)+op_count_212REbPD9h(a,a)+op_count_SfUa7LlWFO(op_3mEz3wejNI(15),op_212REbPD9h(a,a))+op_count_qYpz2WEVq4(a,a)+op_count_3FKzo546dw(a,op_qYpz2WEVq4(a,a))+op_count_lN5Hu1ptA5(op_SfUa7LlWFO(op_3mEz3wejNI(15),op_212REbPD9h(a,a)),op_3FKzo546dw(a,op_qYpz2WEVq4(a,a)))
    return count


def op_V08W7FVfU1(a):
    return op_YFxL8Sc2Zy(op_YUijxPlj15(op_tJtBLRaXS9(a,a),op_pCNCNETmIQ(340,89)))

def op_count_V08W7FVfU1(a):
    count = op_count_tJtBLRaXS9(a,a)+op_count_pCNCNETmIQ(340,89)+op_count_YUijxPlj15(op_tJtBLRaXS9(a,a),op_pCNCNETmIQ(340,89))+op_count_YFxL8Sc2Zy(op_YUijxPlj15(op_tJtBLRaXS9(a,a),op_pCNCNETmIQ(340,89)))
    return count


def op_zVvP8pktau(a):
    return op_J6P3rkRUj0(a,op_mOUIj6rraD(op_vHaazYf2iE(0),op_AvED76WdY7(a)))

def op_count_zVvP8pktau(a):
    count = op_count_vHaazYf2iE(0)+op_count_AvED76WdY7(a)+op_count_mOUIj6rraD(op_vHaazYf2iE(0),op_AvED76WdY7(a))+op_count_J6P3rkRUj0(a,op_mOUIj6rraD(op_vHaazYf2iE(0),op_AvED76WdY7(a)))
    return count


def op_00g67dhXck(a):
    return op_oraRL2iQuh(op_LlXaajdvBB(a),a)

def op_count_00g67dhXck(a):
    count = op_count_LlXaajdvBB(a)+op_count_oraRL2iQuh(op_LlXaajdvBB(a),a)
    return count


a⋌⊠⇮b = { (b⊁) , if ((b⨲⫽≐)>787 or (≯∣⫮a)>411 or (b≝↽⨕)>771) ; (b⊝∲⩰a) , else }

def op_S3hZFNPv2b(a, b):
    if (op_jVOFQrKAvS(b) > 787 or op_ctswzS5Znb(a) > 411 or op_EOlTwnPOYS(b) > 771):
        return op_IU5bnLfiEv(b)
    else:
        return op_UkFG6YBLyt(b,a)

def op_count_S3hZFNPv2b(a, b):
    if (op_jVOFQrKAvS(b) > 787 or op_ctswzS5Znb(a) > 411 or op_EOlTwnPOYS(b) > 771):
        count = op_count_IU5bnLfiEv(b)+op_count_jVOFQrKAvS(b)+op_count_ctswzS5Znb(a)+op_count_EOlTwnPOYS(b)
    else:
        count = op_count_UkFG6YBLyt(b,a)
    return count


def op_SCHATngr79(a, b):
    return op_diFBhjFx7A(op_i43TpB2HrT(a,265),op_Z0MOmZBEvh(a,b))

def op_count_SCHATngr79(a, b):
    count = op_count_i43TpB2HrT(a,265)+op_count_Z0MOmZBEvh(a,b)+op_count_diFBhjFx7A(op_i43TpB2HrT(a,265),op_Z0MOmZBEvh(a,b))
    return count


def op_8oCiXlPk2I(a):
    return op_3CMemG6NAA(op_C4PqR2W9Pw(a,a))

def op_count_8oCiXlPk2I(a):
    count = op_count_C4PqR2W9Pw(a,a)+op_count_3CMemG6NAA(op_C4PqR2W9Pw(a,a))
    return count


def op_3tB9xiuknT(a, b):
    return op_BXZdiG1zfY(op_d5CHQX7ZoG(op_hTbEZDJLEm(185),op_TbUuY2B3fX(a,b)),op_Xbtyq2jN9O(op_tfWHHpNKUN(a),op_dQYby3Z2bC(a)))

def op_count_3tB9xiuknT(a, b):
    count = op_count_hTbEZDJLEm(185)+op_count_TbUuY2B3fX(a,b)+op_count_d5CHQX7ZoG(op_hTbEZDJLEm(185),op_TbUuY2B3fX(a,b))+op_count_tfWHHpNKUN(a)+op_count_dQYby3Z2bC(a)+op_count_Xbtyq2jN9O(op_tfWHHpNKUN(a),op_dQYby3Z2bC(a))+op_count_BXZdiG1zfY(op_d5CHQX7ZoG(op_hTbEZDJLEm(185),op_TbUuY2B3fX(a,b)),op_Xbtyq2jN9O(op_tfWHHpNKUN(a),op_dQYby3Z2bC(a)))
    return count


def op_HCsbtDxahA(a):
    return op_yyGr8FKHqM(op_i6kyr1sQ78(op_exzyYvvvzF(a,a),op_NfX6E9stcz(a)),op_d4WUS4uD2S(op_QbnwKVWMIQ(a,a)))

def op_count_HCsbtDxahA(a):
    count = op_count_exzyYvvvzF(a,a)+op_count_NfX6E9stcz(a)+op_count_i6kyr1sQ78(op_exzyYvvvzF(a,a),op_NfX6E9stcz(a))+op_count_QbnwKVWMIQ(a,a)+op_count_d4WUS4uD2S(op_QbnwKVWMIQ(a,a))+op_count_yyGr8FKHqM(op_i6kyr1sQ78(op_exzyYvvvzF(a,a),op_NfX6E9stcz(a)),op_d4WUS4uD2S(op_QbnwKVWMIQ(a,a)))
    return count


∭⪆∅a = { ((a⊇⫘⪍(a≬⇼↘a))⨽∌((⊰⫉678)⇽⪾⨎(495≄⋉a))) }

def op_eN5oDT4ZGp(a):
    return op_9samAPKr6k(op_dUpriDnGP5(a,op_b71WJCI7uC(a,a)),op_lzCx6JGp55(op_sPiGf7YRX8(678),op_lmJLg3MMpL(495,a)))

def op_count_eN5oDT4ZGp(a):
    count = op_count_b71WJCI7uC(a,a)+op_count_dUpriDnGP5(a,op_b71WJCI7uC(a,a))+op_count_sPiGf7YRX8(678)+op_count_lmJLg3MMpL(495,a)+op_count_lzCx6JGp55(op_sPiGf7YRX8(678),op_lmJLg3MMpL(495,a))+op_count_9samAPKr6k(op_dUpriDnGP5(a,op_b71WJCI7uC(a,a)),op_lzCx6JGp55(op_sPiGf7YRX8(678),op_lmJLg3MMpL(495,a)))
    return count


a⫉∦⋪ = { (((a∕a)↙⇰(157⫼⨠a))≵⩾⇗((a⩎⨬a)⨔⪫(a⨓⫹a))) }

def op_QqmkG6raA8(a):
    return op_GyJNigkHRe(op_14HHJbxGxH(op_QeR9EosLiZ(a,a),op_KYL1uVeVpb(157,a)),op_YeqGfToepn(op_dR2gYrpTIj(a,a),op_YYmmGX8gEu(a,a)))

def op_count_QqmkG6raA8(a):
    count = op_count_QeR9EosLiZ(a,a)+op_count_KYL1uVeVpb(157,a)+op_count_14HHJbxGxH(op_QeR9EosLiZ(a,a),op_KYL1uVeVpb(157,a))+op_count_dR2gYrpTIj(a,a)+op_count_YYmmGX8gEu(a,a)+op_count_YeqGfToepn(op_dR2gYrpTIj(a,a),op_YYmmGX8gEu(a,a))+op_count_GyJNigkHRe(op_14HHJbxGxH(op_QeR9EosLiZ(a,a),op_KYL1uVeVpb(157,a)),op_YeqGfToepn(op_dR2gYrpTIj(a,a),op_YYmmGX8gEu(a,a)))
    return count


def op_sHVQJCC778(a):
    return op_z4ujcxYYss(op_OfugFTrv6S(a),op_9rNHCbYvka(a,116))

def op_count_sHVQJCC778(a):
    count = op_count_OfugFTrv6S(a)+op_count_9rNHCbYvka(a,116)+op_count_z4ujcxYYss(op_OfugFTrv6S(a),op_9rNHCbYvka(a,116))
    return count


def op_548jBt5mY5(a):
    if a != 146:
        return op_sW5uJ3Qy8r(a,a)
    else:
        return op_eWHr1gHY9C(468)

def op_count_548jBt5mY5(a):
    if a != 146:
        count = op_count_sW5uJ3Qy8r(a,a)
    else:
        count = op_count_eWHr1gHY9C(468)
    return count


a∵⩱⫖ = { (34∴⫴) , if (a⪝⋓882)>42 and (a⇃⩅⪖)<254 ; (a⪝⋓a) , else }

def op_VYb0fMpyYW(a):
    if op_2hIaDBSv9V(a,882) > 42 and op_VAzvGNulUU(a) < 254:
        return op_Fe3OlIgKHc(34)
    else:
        return op_2hIaDBSv9V(a,a)

def op_count_VYb0fMpyYW(a):
    if op_2hIaDBSv9V(a,882) > 42 and op_VAzvGNulUU(a) < 254:
        count = op_count_Fe3OlIgKHc(34)+op_count_2hIaDBSv9V(a,882)+op_count_VAzvGNulUU(a)
    else:
        count = op_count_2hIaDBSv9V(a,a)
    return count


a⪰⪩∈b = { (((a⨢⫣↬a)∙∹∝(a⩜704))↢⋥⊛((a%b)∫⨥⋊(a⩐a))) }

def op_nw9r1HaLU9(a, b):
    return op_6pONsy2XwS(op_HmxsFra2vL(op_C7DFujtSMd(a,a),op_eWtgzN4EAB(a,704)),op_3iurnvestf(op_k8jYdgA6NY(a,b),op_bMfZrpXtSe(a,a)))

def op_count_nw9r1HaLU9(a, b):
    count = op_count_C7DFujtSMd(a,a)+op_count_eWtgzN4EAB(a,704)+op_count_HmxsFra2vL(op_C7DFujtSMd(a,a),op_eWtgzN4EAB(a,704))+op_count_k8jYdgA6NY(a,b)+op_count_bMfZrpXtSe(a,a)+op_count_3iurnvestf(op_k8jYdgA6NY(a,b),op_bMfZrpXtSe(a,a))+op_count_6pONsy2XwS(op_HmxsFra2vL(op_C7DFujtSMd(a,a),op_eWtgzN4EAB(a,704)),op_3iurnvestf(op_k8jYdgA6NY(a,b),op_bMfZrpXtSe(a,a)))
    return count


a↼⪃⊊ = { (((a≃⫏⫷a)⫞⩸⩒(⊙≻a))⫳⫚⇈(⫛⫝(142↠⨗a))) }

def op_qewHkPZdoh(a):
    return op_InHNDff3xD(op_XGcMNugi78(op_CRQ1bbymjI(a,a),op_kXdIxiHQg4(a)),op_wKVdG4GJt7(op_B2MxbzqPiH(142,a)))

def op_count_qewHkPZdoh(a):
    count = op_count_CRQ1bbymjI(a,a)+op_count_kXdIxiHQg4(a)+op_count_XGcMNugi78(op_CRQ1bbymjI(a,a),op_kXdIxiHQg4(a))+op_count_B2MxbzqPiH(142,a)+op_count_wKVdG4GJt7(op_B2MxbzqPiH(142,a))+op_count_InHNDff3xD(op_XGcMNugi78(op_CRQ1bbymjI(a,a),op_kXdIxiHQg4(a)),op_wKVdG4GJt7(op_B2MxbzqPiH(142,a)))
    return count


def op_12Umaz9MH9(a):
    if (op_jS8qnsL3aY(a) != 12 or op_Ng8DvMldyy(a) > 48):
        return op_hyuBjUqXlG(212,421)
    else:
        return op_Dk6V8i6EvU(a,a)

def op_count_12Umaz9MH9(a):
    if (op_jS8qnsL3aY(a) != 12 or op_Ng8DvMldyy(a) > 48):
        count = op_count_hyuBjUqXlG(212,421)+op_count_jS8qnsL3aY(a)+op_count_Ng8DvMldyy(a)
    else:
        count = op_count_Dk6V8i6EvU(a,a)
    return count


a⪨⪘⩱ = { ((∙↓(a⫿⊹≯a))⪄(⇾⇔⋮(a⩛660))) , if (a⊢6)>32 ; ((a≼⇆a)⊋((a⩌a)⪿)) , else }

def op_k9g1vfnVAo(a):
    if op_5twsqlHp2o(a,6) > 32:
        return op_SUmda5xLS4(op_9BIxZYmKZo(op_WHt3Xt46DB(a,a)),op_TJRgAX2Xy2(op_1Ozlt4kVTJ(a,660)))
    else:
        return op_W4tP9CfskL(op_D4AlmasLin(a,a),op_F7HNRAl3VQ(op_UoVew8f2p2(a,a)))

def op_count_k9g1vfnVAo(a):
    if op_5twsqlHp2o(a,6) > 32:
        count = op_count_WHt3Xt46DB(a,a)+op_count_9BIxZYmKZo(op_WHt3Xt46DB(a,a))+op_count_1Ozlt4kVTJ(a,660)+op_count_TJRgAX2Xy2(op_1Ozlt4kVTJ(a,660))+op_count_SUmda5xLS4(op_9BIxZYmKZo(op_WHt3Xt46DB(a,a)),op_TJRgAX2Xy2(op_1Ozlt4kVTJ(a,660)))+op_count_5twsqlHp2o(a,6)
    else:
        count = op_count_D4AlmasLin(a,a)+op_count_UoVew8f2p2(a,a)+op_count_F7HNRAl3VQ(op_UoVew8f2p2(a,a))+op_count_W4tP9CfskL(op_D4AlmasLin(a,a),op_F7HNRAl3VQ(op_UoVew8f2p2(a,a)))
    return count


a⇧⊇⋽b = { a , if (⫵⪾⩭b)!=416 ; ((a≙⪾a)∇⫙(b∺⋿1)) , else }

def op_3ndbmbFCGg(a, b):
    if op_9NrKhToWQz(b) != 416:
        return a
    else:
        return op_L1HhCB6FLx(op_OhqpJ7Tl0K(a,a),op_Ft2biiUhlV(b,1))

def op_count_3ndbmbFCGg(a, b):
    if op_9NrKhToWQz(b) != 416:
        count = 1
    else:
        count = op_count_OhqpJ7Tl0K(a,a)+op_count_Ft2biiUhlV(b,1)+op_count_L1HhCB6FLx(op_OhqpJ7Tl0K(a,a),op_Ft2biiUhlV(b,1))
    return count


def op_nCsRMdoB9F(a):
    if a >= 423:
        return op_Lsyp3t0mLH(op_ZHciLFz6Pj(1),op_rJVOvQCfKK(a,a))
    else:
        return op_DMQv6Lzoze(op_3mBM5G4a3l(167))

def op_count_nCsRMdoB9F(a):
    if a >= 423:
        count = op_count_ZHciLFz6Pj(1)+op_count_rJVOvQCfKK(a,a)+op_count_Lsyp3t0mLH(op_ZHciLFz6Pj(1),op_rJVOvQCfKK(a,a))
    else:
        count = op_count_3mBM5G4a3l(167)+op_count_DMQv6Lzoze(op_3mBM5G4a3l(167))
    return count


a⊾≜⊽b = { ((a⊱⇼⊻b)⨍⪺(a⪸⫢⋭)) , if (a⊁)>=11 ; ((359⨭⪣79)∞∠⊒(b⨆⩉b)) , else }

def op_A6jTRgEchk(a, b):
    if op_IU5bnLfiEv(a) >= 11:
        return op_IEH3kw0xIp(op_FyVja0WsTP(a,b),op_fTN8FyfkXr(a))
    else:
        return op_QQjdLDgHOE(op_kn8WO9XteQ(359,79),op_PtITbjBpBq(b,b))

def op_count_A6jTRgEchk(a, b):
    if op_IU5bnLfiEv(a) >= 11:
        count = op_count_FyVja0WsTP(a,b)+op_count_fTN8FyfkXr(a)+op_count_IEH3kw0xIp(op_FyVja0WsTP(a,b),op_fTN8FyfkXr(a))+op_count_IU5bnLfiEv(a)
    else:
        count = op_count_kn8WO9XteQ(359,79)+op_count_PtITbjBpBq(b,b)+op_count_QQjdLDgHOE(op_kn8WO9XteQ(359,79),op_PtITbjBpBq(b,b))
    return count


def op_9DU4nIN8Eu(a):
    return op_Am2kwplcWj(op_CgIo77xlM2(a),op_PmR7WuS4AT(a,a))

def op_count_9DU4nIN8Eu(a):
    count = op_count_CgIo77xlM2(a)+op_count_PmR7WuS4AT(a,a)+op_count_Am2kwplcWj(op_CgIo77xlM2(a),op_PmR7WuS4AT(a,a))
    return count


a⪴⩪b = { ((a⊢⇽b)⪋⫼⪧(⫂102)) , if (⋗⩬⋾b)>762 ; ((a⫫∾b)⊲⩕⊾(b↼/b)) , else }

def op_w01WD5VhBf(a, b):
    if op_DpFCA1CohY(b) > 762:
        return op_KLMV3Z6VVJ(op_fGTNyEZ31R(a,b),op_U9HvHqtOoq(102))
    else:
        return op_DmTXOeWf9t(op_b3qeQyvZfP(a,b),op_0l75R42zb7(b,b))

def op_count_w01WD5VhBf(a, b):
    if op_DpFCA1CohY(b) > 762:
        count = op_count_fGTNyEZ31R(a,b)+op_count_U9HvHqtOoq(102)+op_count_KLMV3Z6VVJ(op_fGTNyEZ31R(a,b),op_U9HvHqtOoq(102))+op_count_DpFCA1CohY(b)
    else:
        count = op_count_b3qeQyvZfP(a,b)+op_count_0l75R42zb7(b,b)+op_count_DmTXOeWf9t(op_b3qeQyvZfP(a,b),op_0l75R42zb7(b,b))
    return count


def op_TMkpIaZGd6(a, b):
    if a <= 851 and op_wHwdFGb2cR(b) <= 107 and op_j0FS1QXHo5(a,309) == 166:
        return op_b1mGkbI4Oy(op_3UBWuKoTzU(a),op_C8AGOwLzL7(808))
    else:
        return op_HmfEavv2wQ(op_5ClX4R8SjJ(a,b))

def op_count_TMkpIaZGd6(a, b):
    if a <= 851 and op_wHwdFGb2cR(b) <= 107 and op_j0FS1QXHo5(a,309) == 166:
        count = op_count_3UBWuKoTzU(a)+op_count_C8AGOwLzL7(808)+op_count_b1mGkbI4Oy(op_3UBWuKoTzU(a),op_C8AGOwLzL7(808))+op_count_wHwdFGb2cR(b)+op_count_j0FS1QXHo5(a,309)
    else:
        count = op_count_5ClX4R8SjJ(a,b)+op_count_HmfEavv2wQ(op_5ClX4R8SjJ(a,b))
    return count


def op_zHhAB1R5m6(a, b):
    return op_17vTJqz9Ht(op_ITUoubXGQQ(op_wtqezVTTBR(b,b),op_9gb37ZWNW1(a)))

def op_count_zHhAB1R5m6(a, b):
    count = op_count_wtqezVTTBR(b,b)+op_count_9gb37ZWNW1(a)+op_count_ITUoubXGQQ(op_wtqezVTTBR(b,b),op_9gb37ZWNW1(a))+op_count_17vTJqz9Ht(op_ITUoubXGQQ(op_wtqezVTTBR(b,b),op_9gb37ZWNW1(a)))
    return count


def op_jd8TUTUKQ4(a):
    return op_xoJmIySC7h(op_i8ToyICDmI(op_j6NVkjMzuk(a),op_dQYby3Z2bC(a)),a)

def op_count_jd8TUTUKQ4(a):
    count = op_count_j6NVkjMzuk(a)+op_count_dQYby3Z2bC(a)+op_count_i8ToyICDmI(op_j6NVkjMzuk(a),op_dQYby3Z2bC(a))+op_count_xoJmIySC7h(op_i8ToyICDmI(op_j6NVkjMzuk(a),op_dQYby3Z2bC(a)),a)
    return count


def op_epfYWcC03g(a):
    return op_0KgWqnVqNo(op_cZPC5xccNd(109,op_fOUzq6FFBl(a,a)),op_zVbKEeMoGt(op_PmR7WuS4AT(a,308)))

def op_count_epfYWcC03g(a):
    count = op_count_fOUzq6FFBl(a,a)+op_count_cZPC5xccNd(109,op_fOUzq6FFBl(a,a))+op_count_PmR7WuS4AT(a,308)+op_count_zVbKEeMoGt(op_PmR7WuS4AT(a,308))+op_count_0KgWqnVqNo(op_cZPC5xccNd(109,op_fOUzq6FFBl(a,a)),op_zVbKEeMoGt(op_PmR7WuS4AT(a,308)))
    return count


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

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


def op_6O8ohGGmyb(a):
    return op_l07mrZUIn9(op_zERmOPCQyP(a))

def op_count_6O8ohGGmyb(a):
    count = op_count_zERmOPCQyP(a)+op_count_l07mrZUIn9(op_zERmOPCQyP(a))
    return count


a∹≮∧ = { ((⊐↗∝a)⇉⊙⨗(0⨲≁⇁a)) , if (a⫅⩹159)<380 or (a⪾↷)<431 ; ((a∴⪏60)⇄⊇⨂(a⨦a)) , else }

def op_G9cdshBe1e(a):
    if op_CdWimuzQB6(a,159) < 380 or op_BBvI4SRxrt(a) < 431:
        return op_lgf6B8eM2m(op_inYIwJ0bD8(a),op_vgQrgVQVNk(0,a))
    else:
        return op_diFBhjFx7A(op_4XKlyKzzXk(a,60),op_z4gvzBU7aQ(a,a))

def op_count_G9cdshBe1e(a):
    if op_CdWimuzQB6(a,159) < 380 or op_BBvI4SRxrt(a) < 431:
        count = op_count_inYIwJ0bD8(a)+op_count_vgQrgVQVNk(0,a)+op_count_lgf6B8eM2m(op_inYIwJ0bD8(a),op_vgQrgVQVNk(0,a))+op_count_CdWimuzQB6(a,159)+op_count_BBvI4SRxrt(a)
    else:
        count = op_count_4XKlyKzzXk(a,60)+op_count_z4gvzBU7aQ(a,a)+op_count_diFBhjFx7A(op_4XKlyKzzXk(a,60),op_z4gvzBU7aQ(a,a))
    return count


def op_alUqptSmQ5(a):
    if (op_OKGz76xQTU(a,781) >= 240 and op_7nmw0kbar0(a) > 74):
        return op_nEsXyWgiOK(op_Jf2MRgTP95(a,88),op_z4ujcxYYss(233,0))
    else:
        return op_gClX4CNEER(op_1Btw2138KI(a,a),op_WhqkvtTD3t(540,a))

def op_count_alUqptSmQ5(a):
    if (op_OKGz76xQTU(a,781) >= 240 and op_7nmw0kbar0(a) > 74):
        count = op_count_Jf2MRgTP95(a,88)+op_count_z4ujcxYYss(233,0)+op_count_nEsXyWgiOK(op_Jf2MRgTP95(a,88),op_z4ujcxYYss(233,0))+op_count_OKGz76xQTU(a,781)+op_count_7nmw0kbar0(a)
    else:
        count = op_count_1Btw2138KI(a,a)+op_count_WhqkvtTD3t(540,a)+op_count_gClX4CNEER(op_1Btw2138KI(a,a),op_WhqkvtTD3t(540,a))
    return count


def op_a5m4w6at4G(a, b):
    if a >= 609:
        return op_jrW1E7Ncie(a)
    else:
        return b

def op_count_a5m4w6at4G(a, b):
    if a >= 609:
        count = op_count_jrW1E7Ncie(a)
    else:
        count = 1
    return count


a⩯∖↥ = { ((a≱a)⊻⨌⫵(a≃⇜↓a)) , if (a⩥⋻572)>444 ; ((a⋅⇍a)∽⪡) , else }

def op_y0bMs0JaMo(a):
    if op_XXqG8ZAZxI(a,572) > 444:
        return op_NOyIGfOOXL(op_VetzYauijD(a,a),op_zjpztV9BY4(a,a))
    else:
        return op_GyZKrXyLmB(op_AdZkA7nFnk(a,a))

def op_count_y0bMs0JaMo(a):
    if op_XXqG8ZAZxI(a,572) > 444:
        count = op_count_VetzYauijD(a,a)+op_count_zjpztV9BY4(a,a)+op_count_NOyIGfOOXL(op_VetzYauijD(a,a),op_zjpztV9BY4(a,a))+op_count_XXqG8ZAZxI(a,572)
    else:
        count = op_count_AdZkA7nFnk(a,a)+op_count_GyZKrXyLmB(op_AdZkA7nFnk(a,a))
    return count


def op_rG7Yhk5daU(a, b):
    if op_m1wQXNbXkg(a,260) >= 62 or op_ukq6epAj5P(b,321) <= 6:
        return a
    else:
        return op_0wt1I76pQR(op_PyySExtkRS(op_OOXovtW7XD(298),op_f8TJb0vaMc(b,a)),b)

def op_count_rG7Yhk5daU(a, b):
    if op_m1wQXNbXkg(a,260) >= 62 or op_ukq6epAj5P(b,321) <= 6:
        count = 1
    else:
        count = op_count_OOXovtW7XD(298)+op_count_f8TJb0vaMc(b,a)+op_count_PyySExtkRS(op_OOXovtW7XD(298),op_f8TJb0vaMc(b,a))+op_count_0wt1I76pQR(op_PyySExtkRS(op_OOXovtW7XD(298),op_f8TJb0vaMc(b,a)),b)
    return count


a+≒⫡ = { (a⪼↽a) , if (a⫌⩹⨱)<259 ; (⪡⇡≛a) , else }

def op_HHwXMLlU4l(a):
    if op_EBcxylXtPf(a) < 259:
        return op_zcaA4Z4NaO(a,a)
    else:
        return op_qL4PrbW1Dq(a)

def op_count_HHwXMLlU4l(a):
    if op_EBcxylXtPf(a) < 259:
        count = op_count_zcaA4Z4NaO(a,a)+op_count_EBcxylXtPf(a)
    else:
        count = op_count_qL4PrbW1Dq(a)
    return count


def op_ZUTmHRfELg(a):
    return op_ov2Ek6r32i(op_GMrB5OisJT(a),op_9VoQ6iZjwX(a,a))

def op_count_ZUTmHRfELg(a):
    count = op_count_GMrB5OisJT(a)+op_count_9VoQ6iZjwX(a,a)+op_count_ov2Ek6r32i(op_GMrB5OisJT(a),op_9VoQ6iZjwX(a,a))
    return count


def op_YM3hcBAtRe(a, b):
    if op_ODihFFDUGL(b,940) < 139 and a != 104:
        return op_W23Bqxq5lg(op_WrOUkiTiko(b,119),op_F0bFH7iBkH(a))
    else:
        return op_giaUb8UVhq(op_ukGrET2Cg0(a),op_vtudXryacx(a,a))

def op_count_YM3hcBAtRe(a, b):
    if op_ODihFFDUGL(b,940) < 139 and a != 104:
        count = op_count_WrOUkiTiko(b,119)+op_count_F0bFH7iBkH(a)+op_count_W23Bqxq5lg(op_WrOUkiTiko(b,119),op_F0bFH7iBkH(a))+op_count_ODihFFDUGL(b,940)
    else:
        count = op_count_ukGrET2Cg0(a)+op_count_vtudXryacx(a,a)+op_count_giaUb8UVhq(op_ukGrET2Cg0(a),op_vtudXryacx(a,a))
    return count


def op_Zv42Hr8KHE(a):
    return op_HmxsFra2vL(op_H7f1qksvrC(op_FPxP5Y1j0W(a,a)),op_xtBOMFLMmK(op_ar1w6gUwHX(a,121),op_AxBbORVHmI(351,11)))

def op_count_Zv42Hr8KHE(a):
    count = op_count_FPxP5Y1j0W(a,a)+op_count_H7f1qksvrC(op_FPxP5Y1j0W(a,a))+op_count_ar1w6gUwHX(a,121)+op_count_AxBbORVHmI(351,11)+op_count_xtBOMFLMmK(op_ar1w6gUwHX(a,121),op_AxBbORVHmI(351,11))+op_count_HmxsFra2vL(op_H7f1qksvrC(op_FPxP5Y1j0W(a,a)),op_xtBOMFLMmK(op_ar1w6gUwHX(a,121),op_AxBbORVHmI(351,11)))
    return count


≌⇱⩔a = { (⩆↑⇝(a⨙⩌⊫)) }

def op_Ifgt44yLA3(a):
    return op_FAUHmXADzM(op_JvXlSfnreT(a))

def op_count_Ifgt44yLA3(a):
    count = op_count_JvXlSfnreT(a)+op_count_FAUHmXADzM(op_JvXlSfnreT(a))
    return count


a⪶∔≞b = { (((a⇆297)⊨(a⩿⊎b))⋭⨀/(b⇈⫔⫇(⋜a))) , if a<=181 ; ((⊾⫰(a⨔≚≋b))⫽⇹≛) , else }

def op_TNDO9Js9VB(a, b):
    if a <= 181:
        return op_6Chw2r1Icb(op_vg4gO5BX6G(op_S5nS5IR4MP(a,297),op_IIvul3xxOn(a,b)),op_wfMG52dXrO(b,op_0q6GdIluC7(a)))
    else:
        return op_NNaDxxp6OQ(op_VGUpZxEpfn(op_Z57zeUYC9z(a,b)))

def op_count_TNDO9Js9VB(a, b):
    if a <= 181:
        count = op_count_S5nS5IR4MP(a,297)+op_count_IIvul3xxOn(a,b)+op_count_vg4gO5BX6G(op_S5nS5IR4MP(a,297),op_IIvul3xxOn(a,b))+op_count_0q6GdIluC7(a)+op_count_wfMG52dXrO(b,op_0q6GdIluC7(a))+op_count_6Chw2r1Icb(op_vg4gO5BX6G(op_S5nS5IR4MP(a,297),op_IIvul3xxOn(a,b)),op_wfMG52dXrO(b,op_0q6GdIluC7(a)))
    else:
        count = op_count_Z57zeUYC9z(a,b)+op_count_VGUpZxEpfn(op_Z57zeUYC9z(a,b))+op_count_NNaDxxp6OQ(op_VGUpZxEpfn(op_Z57zeUYC9z(a,b)))
    return count


def op_GsN1cH954R(a):
    return op_hFvFHqVvZy(op_ONJRQY6OPs(a,a))

def op_count_GsN1cH954R(a):
    count = op_count_ONJRQY6OPs(a,a)+op_count_hFvFHqVvZy(op_ONJRQY6OPs(a,a))
    return count


def op_H0z4LH9MP9(a, b):
    if op_q6iAK3IPqK(a,877) >= 433 and op_9raouWxsgn(b) == 508:
        return op_dngTJzlZ0N(op_7mDgzgOxkj(112,op_zDnGpti63o(b)),op_mW0N8loidO(a))
    else:
        return op_eX0elmHHZW(op_cwtOBccfmB(op_3sJ7IOPOlU(b,b)))

def op_count_H0z4LH9MP9(a, b):
    if op_q6iAK3IPqK(a,877) >= 433 and op_9raouWxsgn(b) == 508:
        count = op_count_zDnGpti63o(b)+op_count_7mDgzgOxkj(112,op_zDnGpti63o(b))+op_count_mW0N8loidO(a)+op_count_dngTJzlZ0N(op_7mDgzgOxkj(112,op_zDnGpti63o(b)),op_mW0N8loidO(a))+op_count_q6iAK3IPqK(a,877)+op_count_9raouWxsgn(b)
    else:
        count = op_count_3sJ7IOPOlU(b,b)+op_count_cwtOBccfmB(op_3sJ7IOPOlU(b,b))+op_count_eX0elmHHZW(op_cwtOBccfmB(op_3sJ7IOPOlU(b,b)))
    return count


def op_tOgMf2oJuk(a):
    return op_avxXIHzjv1(op_UkFG6YBLyt(a,a),op_pf0uqpgSkL(a))

def op_count_tOgMf2oJuk(a):
    count = op_count_UkFG6YBLyt(a,a)+op_count_pf0uqpgSkL(a)+op_count_avxXIHzjv1(op_UkFG6YBLyt(a,a),op_pf0uqpgSkL(a))
    return count


⫥⫻a = { ((⊪⇚(a∎⋻⨟a))≬⋮((349≯⊼a)≬⇼↘(a⨕⋳))) }

def op_toqWW6VavR(a):
    return op_kbkesczE7y(op_DK0EyP8F00(op_6VowpqB2XT(a,a)),op_b71WJCI7uC(op_6LEqcG83L6(349,a),op_4X4GscPmMf(a)))

def op_count_toqWW6VavR(a):
    count = op_count_6VowpqB2XT(a,a)+op_count_DK0EyP8F00(op_6VowpqB2XT(a,a))+op_count_6LEqcG83L6(349,a)+op_count_4X4GscPmMf(a)+op_count_b71WJCI7uC(op_6LEqcG83L6(349,a),op_4X4GscPmMf(a))+op_count_kbkesczE7y(op_DK0EyP8F00(op_6VowpqB2XT(a,a)),op_b71WJCI7uC(op_6LEqcG83L6(349,a),op_4X4GscPmMf(a)))
    return count


a⋭⩚⪅b = { (a⇡⨐⪆386) , if b==147 ; (b⩘) , else }

def op_2lS4bIu3TQ(a, b):
    if b == 147:
        return op_snJ4WsMDae(a,386)
    else:
        return op_wvHyciQT5X(b)

def op_count_2lS4bIu3TQ(a, b):
    if b == 147:
        count = op_count_snJ4WsMDae(a,386)
    else:
        count = op_count_wvHyciQT5X(b)
    return count


a↱⇛b = { (((b⨅a)≙⪾(b⊠⋹b))⋍(⇬⊧⊉(a⋧137))) }

def op_A7bR116Ggg(a, b):
    return op_gXjZ5wXXzC(op_OhqpJ7Tl0K(op_MscnI5MLJ2(b,a),op_UgjAoJHWT6(b,b)),op_WzUFEcWj69(op_FaF1PUcip1(a,137)))

def op_count_A7bR116Ggg(a, b):
    count = op_count_MscnI5MLJ2(b,a)+op_count_UgjAoJHWT6(b,b)+op_count_OhqpJ7Tl0K(op_MscnI5MLJ2(b,a),op_UgjAoJHWT6(b,b))+op_count_FaF1PUcip1(a,137)+op_count_WzUFEcWj69(op_FaF1PUcip1(a,137))+op_count_gXjZ5wXXzC(op_OhqpJ7Tl0K(op_MscnI5MLJ2(b,a),op_UgjAoJHWT6(b,b)),op_WzUFEcWj69(op_FaF1PUcip1(a,137)))
    return count


⩷⇭↦a = { (⊐↗∝(a⇻⫪⇃(a↠≿))) , if (a⇹⊁)<=590 ; (((a⋯212)⫝)⋆⋬((a⩱⇜⪦a)↢(a∈⨪⇽a))) , else }

def op_ieV67lfL4Y(a):
    if op_zIH5p6XAlz(a) <= 590:
        return op_inYIwJ0bD8(op_NvXf9kO3wV(a,op_Q2SbzXtpD3(a)))
    else:
        return op_7YiCYgpUY4(op_QRiKE94HQh(op_fYduVokqvF(a,212)),op_WR6HLWljOP(op_TPY4Vhd24N(a,a),op_OkeBNI2wuD(a,a)))

def op_count_ieV67lfL4Y(a):
    if op_zIH5p6XAlz(a) <= 590:
        count = op_count_Q2SbzXtpD3(a)+op_count_NvXf9kO3wV(a,op_Q2SbzXtpD3(a))+op_count_inYIwJ0bD8(op_NvXf9kO3wV(a,op_Q2SbzXtpD3(a)))+op_count_zIH5p6XAlz(a)
    else:
        count = op_count_fYduVokqvF(a,212)+op_count_QRiKE94HQh(op_fYduVokqvF(a,212))+op_count_TPY4Vhd24N(a,a)+op_count_OkeBNI2wuD(a,a)+op_count_WR6HLWljOP(op_TPY4Vhd24N(a,a),op_OkeBNI2wuD(a,a))+op_count_7YiCYgpUY4(op_QRiKE94HQh(op_fYduVokqvF(a,212)),op_WR6HLWljOP(op_TPY4Vhd24N(a,a),op_OkeBNI2wuD(a,a)))
    return count


⋾⨢a = { (a≕⇆a) , if (≀a)<135 ; (a⪄a) , else }

def op_XdNqyszOnH(a):
    if op_6drNxD3LI2(a) < 135:
        return op_4bQfsS4Ggx(a,a)
    else:
        return op_SUmda5xLS4(a,a)

def op_count_XdNqyszOnH(a):
    if op_6drNxD3LI2(a) < 135:
        count = op_count_4bQfsS4Ggx(a,a)+op_count_6drNxD3LI2(a)
    else:
        count = op_count_SUmda5xLS4(a,a)
    return count


a⇍≇⩱b = { (((b⩷∝⩞b)⨒↵(⪝⪂⫅a))⨰((a⇆⪛≍b)↴⨎⊥(b∴⪏a))) }

def op_c5WRWRuAo2(a, b):
    return op_eewbuw0ToL(op_4F2d8NdGA5(op_5SK3UOPDfl(b,b),op_XTarYq4gQB(a)),op_50uIHTrNdO(op_15fnz2YIbx(a,b),op_4XKlyKzzXk(b,a)))

def op_count_c5WRWRuAo2(a, b):
    count = op_count_5SK3UOPDfl(b,b)+op_count_XTarYq4gQB(a)+op_count_4F2d8NdGA5(op_5SK3UOPDfl(b,b),op_XTarYq4gQB(a))+op_count_15fnz2YIbx(a,b)+op_count_4XKlyKzzXk(b,a)+op_count_50uIHTrNdO(op_15fnz2YIbx(a,b),op_4XKlyKzzXk(b,a))+op_count_eewbuw0ToL(op_4F2d8NdGA5(op_5SK3UOPDfl(b,b),op_XTarYq4gQB(a)),op_50uIHTrNdO(op_15fnz2YIbx(a,b),op_4XKlyKzzXk(b,a)))
    return count


def op_y0NDXUJ6bi(a):
    return op_aQOF7STvow(op_ukq6epAj5P(op_CLzOjURgVu(a,376),op_SGDLQMSxql(a,a)))

def op_count_y0NDXUJ6bi(a):
    count = op_count_CLzOjURgVu(a,376)+op_count_SGDLQMSxql(a,a)+op_count_ukq6epAj5P(op_CLzOjURgVu(a,376),op_SGDLQMSxql(a,a))+op_count_aQOF7STvow(op_ukq6epAj5P(op_CLzOjURgVu(a,376),op_SGDLQMSxql(a,a)))
    return count


a≆∬←b = { (((b⫬↰a)⩲(b⨏a))⪽) , if (b≬⇼↘860)<117 and (b⋆≅⊈)>318 ; ((∽⩧⊟(⩷b))↵⨥((∲b)⋔⫻(b↫⪋a))) , else }

def op_D9t95ZU4xk(a, b):
    if op_b71WJCI7uC(b,860) < 117 and op_bgq2XZ6hDa(b) > 318:
        return op_iuUhER8Vt9(op_UvedHhwKRj(op_f8TJb0vaMc(b,a),op_AJW4C0rBPs(b,a)))
    else:
        return op_6kFJ6zSZFv(op_bSjOZQuQ6S(op_1h0rLqGiFr(b)),op_tcrxUegxCv(op_XCNViHof92(b),op_9Z0HYftGYc(b,a)))

def op_count_D9t95ZU4xk(a, b):
    if op_b71WJCI7uC(b,860) < 117 and op_bgq2XZ6hDa(b) > 318:
        count = op_count_f8TJb0vaMc(b,a)+op_count_AJW4C0rBPs(b,a)+op_count_UvedHhwKRj(op_f8TJb0vaMc(b,a),op_AJW4C0rBPs(b,a))+op_count_iuUhER8Vt9(op_UvedHhwKRj(op_f8TJb0vaMc(b,a),op_AJW4C0rBPs(b,a)))+op_count_b71WJCI7uC(b,860)+op_count_bgq2XZ6hDa(b)
    else:
        count = op_count_1h0rLqGiFr(b)+op_count_bSjOZQuQ6S(op_1h0rLqGiFr(b))+op_count_XCNViHof92(b)+op_count_9Z0HYftGYc(b,a)+op_count_tcrxUegxCv(op_XCNViHof92(b),op_9Z0HYftGYc(b,a))+op_count_6kFJ6zSZFv(op_bSjOZQuQ6S(op_1h0rLqGiFr(b)),op_tcrxUegxCv(op_XCNViHof92(b),op_9Z0HYftGYc(b,a)))
    return count


def op_4QmT9D7c22(a):
    return op_R5aXW34M0v(op_MuzqVKJccx(29,a))

def op_count_4QmT9D7c22(a):
    count = op_count_MuzqVKJccx(29,a)+op_count_R5aXW34M0v(op_MuzqVKJccx(29,a))
    return count


a≏√ = { a , if (a⪫↾⩎)==264 ; ((a⊇⫘⪍a)⇶⪪↳a) , else }

def op_6THiFstHsT(a):
    if op_JgGMJxb6KO(a) == 264:
        return a
    else:
        return op_yO0Pz5QMfn(op_dUpriDnGP5(a,a),a)

def op_count_6THiFstHsT(a):
    if op_JgGMJxb6KO(a) == 264:
        count = 1
    else:
        count = op_count_dUpriDnGP5(a,a)+op_count_yO0Pz5QMfn(op_dUpriDnGP5(a,a),a)
    return count


def op_RtdllnjmMA(a):
    return op_US97TQlt8r(op_gVe57Wp8lf(a,a),op_nEsXyWgiOK(a,a))

def op_count_RtdllnjmMA(a):
    count = op_count_gVe57Wp8lf(a,a)+op_count_nEsXyWgiOK(a,a)+op_count_US97TQlt8r(op_gVe57Wp8lf(a,a),op_nEsXyWgiOK(a,a))
    return count


def op_GY79QbXAEf(a):
    if op_LmY23Q1aIi(a) <= 372:
        return op_Z57zeUYC9z(755,a)
    else:
        return op_K8zGsxkxB9(a)

def op_count_GY79QbXAEf(a):
    if op_LmY23Q1aIi(a) <= 372:
        count = op_count_Z57zeUYC9z(755,a)+op_count_LmY23Q1aIi(a)
    else:
        count = op_count_K8zGsxkxB9(a)
    return count


def op_6QRagP0gnj(a, b):
    return op_VwBdEydXvH(op_BThhyOhh10(op_5UiNl87mkg(b)),op_Ih3UVhBbvd(op_tSHYsjpuUI(74,a),a))

def op_count_6QRagP0gnj(a, b):
    count = op_count_5UiNl87mkg(b)+op_count_BThhyOhh10(op_5UiNl87mkg(b))+op_count_tSHYsjpuUI(74,a)+op_count_Ih3UVhBbvd(op_tSHYsjpuUI(74,a),a)+op_count_VwBdEydXvH(op_BThhyOhh10(op_5UiNl87mkg(b)),op_Ih3UVhBbvd(op_tSHYsjpuUI(74,a),a))
    return count


a∲⨂b = { (((a⪭a)⫨⨌∐(≏≯a))∎⫲⩖((b⨔≚≋b)⨺⊨(a⇕))) }

def op_lN3c4ByBHx(a, b):
    return op_D4e1cgsuJu(op_Ln1IrprsTU(op_j9kHMeSvPp(a,a),op_6W74g7QTY6(a)),op_VXHFBbhtXV(op_Z57zeUYC9z(b,b),op_vaH8QgiDVg(a)))

def op_count_lN3c4ByBHx(a, b):
    count = op_count_j9kHMeSvPp(a,a)+op_count_6W74g7QTY6(a)+op_count_Ln1IrprsTU(op_j9kHMeSvPp(a,a),op_6W74g7QTY6(a))+op_count_Z57zeUYC9z(b,b)+op_count_vaH8QgiDVg(a)+op_count_VXHFBbhtXV(op_Z57zeUYC9z(b,b),op_vaH8QgiDVg(a))+op_count_D4e1cgsuJu(op_Ln1IrprsTU(op_j9kHMeSvPp(a,a),op_6W74g7QTY6(a)),op_VXHFBbhtXV(op_Z57zeUYC9z(b,b),op_vaH8QgiDVg(a)))
    return count


def op_LTFpk6MNXo(a):
    if op_PHNdOSUEPW(a,469) >= 99:
        return op_grHKJW0KEs(a)
    else:
        return op_YKXtVccgU0(a)

def op_count_LTFpk6MNXo(a):
    if op_PHNdOSUEPW(a,469) >= 99:
        count = op_count_grHKJW0KEs(a)+op_count_PHNdOSUEPW(a,469)
    else:
        count = op_count_YKXtVccgU0(a)
    return count


a⫯∃b = { ((⇅≀(a∰a))∵((b⨄⩾↼b)∳⩯(a∓⋝a))) }

def op_fyvQKNYXMd(a, b):
    return op_aHlGvsvWuT(op_3FVW14tz3K(op_PmR7WuS4AT(a,a)),op_9HGD9fv1Jr(op_6Bcfo3j9gb(b,b),op_PoHhknlbAi(a,a)))

def op_count_fyvQKNYXMd(a, b):
    count = op_count_PmR7WuS4AT(a,a)+op_count_3FVW14tz3K(op_PmR7WuS4AT(a,a))+op_count_6Bcfo3j9gb(b,b)+op_count_PoHhknlbAi(a,a)+op_count_9HGD9fv1Jr(op_6Bcfo3j9gb(b,b),op_PoHhknlbAi(a,a))+op_count_aHlGvsvWuT(op_3FVW14tz3K(op_PmR7WuS4AT(a,a)),op_9HGD9fv1Jr(op_6Bcfo3j9gb(b,b),op_PoHhknlbAi(a,a)))
    return count


def op_5a0jY1hD0i(a):
    return op_jS8qnsL3aY(op_QLJ9aFu80N(a,235))

def op_count_5a0jY1hD0i(a):
    count = op_count_QLJ9aFu80N(a,235)+op_count_jS8qnsL3aY(op_QLJ9aFu80N(a,235))
    return count


def op_pqRk2BRzIy(a):
    return op_yMixD7ucMB(op_6MREPLFO5z(a,a),op_d5CHQX7ZoG(a,a))

def op_count_pqRk2BRzIy(a):
    count = op_count_6MREPLFO5z(a,a)+op_count_d5CHQX7ZoG(a,a)+op_count_yMixD7ucMB(op_6MREPLFO5z(a,a),op_d5CHQX7ZoG(a,a))
    return count


a⪸⪲⊧b = { ((b⪱)↰⋉≍(b⊳⪫⪖786)) , if b>213 ; ((a⩇⫾⪤a)⪝⨱⫷) , else }

def op_zUUN1G0anQ(a, b):
    if b > 213:
        return op_4fDPylY7hB(op_QrPBJNmqe2(b),op_bqn6BngAyz(b,786))
    else:
        return op_UgJUmNBkC4(op_FNeuu2F1id(a,a))

def op_count_zUUN1G0anQ(a, b):
    if b > 213:
        count = op_count_QrPBJNmqe2(b)+op_count_bqn6BngAyz(b,786)+op_count_4fDPylY7hB(op_QrPBJNmqe2(b),op_bqn6BngAyz(b,786))
    else:
        count = op_count_FNeuu2F1id(a,a)+op_count_UgJUmNBkC4(op_FNeuu2F1id(a,a))
    return count


def op_zhTrIMte4B(a, b):
    return op_tAdjUBznzo(op_MGuIdZPyUC(b),op_a0FLuQwI5A(a))

def op_count_zhTrIMte4B(a, b):
    count = op_count_MGuIdZPyUC(b)+op_count_a0FLuQwI5A(a)+op_count_tAdjUBznzo(op_MGuIdZPyUC(b),op_a0FLuQwI5A(a))
    return count


a⇪⩄b = { ((a⪉⩕↠28)↑) , if (⪸⪰b)<=406 ; ((b≣⪪⪧b)≧(b⫿⨖⫓b)) , else }

def op_UiG5z6BKUh(a, b):
    if op_dtBtmTqwHZ(b) <= 406:
        return op_BThhyOhh10(op_chJOjhVmaW(a,28))
    else:
        return op_MSsKXfycuQ(op_7Qh4uK5oHN(b,b),op_pwrY02nFTx(b,b))

def op_count_UiG5z6BKUh(a, b):
    if op_dtBtmTqwHZ(b) <= 406:
        count = op_count_chJOjhVmaW(a,28)+op_count_BThhyOhh10(op_chJOjhVmaW(a,28))+op_count_dtBtmTqwHZ(b)
    else:
        count = op_count_7Qh4uK5oHN(b,b)+op_count_pwrY02nFTx(b,b)+op_count_MSsKXfycuQ(op_7Qh4uK5oHN(b,b),op_pwrY02nFTx(b,b))
    return count


a⩁⊠b = { ((a⨣b)↨⩘) , if (a≢⪅)>=242 ; ((36⇖↽a)≣⪪⪧(b⊙⨺⨬b)) , else }

def op_o9aZmLR5oB(a, b):
    if op_MkBXkCAWHM(a) >= 242:
        return op_1pJ76SN1ns(op_5ClX4R8SjJ(a,b))
    else:
        return op_7Qh4uK5oHN(op_cwbF3JtlMN(36,a),op_xrB6SlzufE(b,b))

def op_count_o9aZmLR5oB(a, b):
    if op_MkBXkCAWHM(a) >= 242:
        count = op_count_5ClX4R8SjJ(a,b)+op_count_1pJ76SN1ns(op_5ClX4R8SjJ(a,b))+op_count_MkBXkCAWHM(a)
    else:
        count = op_count_cwbF3JtlMN(36,a)+op_count_xrB6SlzufE(b,b)+op_count_7Qh4uK5oHN(op_cwbF3JtlMN(36,a),op_xrB6SlzufE(b,b))
    return count


a⇴⊆ = { a , if a>=162 ; ((a⋊⪄⋢a)∫↝⇷) , else }

def op_N5oiCIjjeb(a):
    if a >= 162:
        return a
    else:
        return op_dOyh8NTXcy(op_87HMmqlxet(a,a))

def op_count_N5oiCIjjeb(a):
    if a >= 162:
        count = 1
    else:
        count = op_count_87HMmqlxet(a,a)+op_count_dOyh8NTXcy(op_87HMmqlxet(a,a))
    return count


def op_maDeKFQcBS(a):
    return op_STs8eSTo28(op_WxMdBijbcV(op_oraRL2iQuh(a,a),op_OkftowgG4v(124,a)))

def op_count_maDeKFQcBS(a):
    count = op_count_oraRL2iQuh(a,a)+op_count_OkftowgG4v(124,a)+op_count_WxMdBijbcV(op_oraRL2iQuh(a,a),op_OkftowgG4v(124,a))+op_count_STs8eSTo28(op_WxMdBijbcV(op_oraRL2iQuh(a,a),op_OkftowgG4v(124,a)))
    return count


def op_4gLRAbdHEX(a):
    if (a >= 137 and op_pUl58FdsSl(a,726) >= 97 and op_4uEYZgDuWU(a) <= 174):
        return op_b3qeQyvZfP(op_qU6oQAhJaQ(op_EiZwwOZ4nb(338,a)),a)
    else:
        return op_acVl7VRmiK(op_4X4GscPmMf(op_j9kHMeSvPp(a,a)))

def op_count_4gLRAbdHEX(a):
    if (a >= 137 and op_pUl58FdsSl(a,726) >= 97 and op_4uEYZgDuWU(a) <= 174):
        count = op_count_EiZwwOZ4nb(338,a)+op_count_qU6oQAhJaQ(op_EiZwwOZ4nb(338,a))+op_count_b3qeQyvZfP(op_qU6oQAhJaQ(op_EiZwwOZ4nb(338,a)),a)+op_count_pUl58FdsSl(a,726)+op_count_4uEYZgDuWU(a)
    else:
        count = op_count_j9kHMeSvPp(a,a)+op_count_4X4GscPmMf(op_j9kHMeSvPp(a,a))+op_count_acVl7VRmiK(op_4X4GscPmMf(op_j9kHMeSvPp(a,a)))
    return count


def op_cmotHq0Evn(a):
    if (op_nCS4ZIUYfx(a,639) >= 224 or op_UO1RhPgbnL(a) != 233):
        return op_zFY2A2ppo2(op_fRgCzqsvkF(a,a))
    else:
        return op_09Ly4LVMIf(op_9FxExcQeMw(a,257),op_j9kHMeSvPp(a,a))

def op_count_cmotHq0Evn(a):
    if (op_nCS4ZIUYfx(a,639) >= 224 or op_UO1RhPgbnL(a) != 233):
        count = op_count_fRgCzqsvkF(a,a)+op_count_zFY2A2ppo2(op_fRgCzqsvkF(a,a))+op_count_nCS4ZIUYfx(a,639)+op_count_UO1RhPgbnL(a)
    else:
        count = op_count_9FxExcQeMw(a,257)+op_count_j9kHMeSvPp(a,a)+op_count_09Ly4LVMIf(op_9FxExcQeMw(a,257),op_j9kHMeSvPp(a,a))
    return count


a⩓↱⫎b = { (((⫿⫊⊕a)∗(a⪷⋄5))∆⋉((≧⊳a)⩳(b≂⊟⊞b))) }

def op_vSg3Rn1iwJ(a, b):
    return op_sBVsl3mEd7(op_9aXLFNf8dt(op_SLtCypM0tD(a),op_HPE80N5E2e(a,5)),op_yC1eAvCdMl(op_GMrB5OisJT(a),op_0KgWqnVqNo(b,b)))

def op_count_vSg3Rn1iwJ(a, b):
    count = op_count_SLtCypM0tD(a)+op_count_HPE80N5E2e(a,5)+op_count_9aXLFNf8dt(op_SLtCypM0tD(a),op_HPE80N5E2e(a,5))+op_count_GMrB5OisJT(a)+op_count_0KgWqnVqNo(b,b)+op_count_yC1eAvCdMl(op_GMrB5OisJT(a),op_0KgWqnVqNo(b,b))+op_count_sBVsl3mEd7(op_9aXLFNf8dt(op_SLtCypM0tD(a),op_HPE80N5E2e(a,5)),op_yC1eAvCdMl(op_GMrB5OisJT(a),op_0KgWqnVqNo(b,b)))
    return count


⫭⨂a = { ((a⫭⊯⇵a)≎⊠⪸(a⋆⋬a)) , if (a⨋≰585)<=567 or (a⊮⊟↴335)>560 or a>=685 ; ((a↳⊌⋀)⊴⩳(a⋲a)) , else }

def op_Dft4r91YKp(a):
    if op_uw1KoZSwz0(a,585) <= 567 or op_QDVgd2eftb(a,335) > 560 or a >= 685:
        return op_bJkvcejdHO(op_b1N51d35SA(a,a),op_7YiCYgpUY4(a,a))
    else:
        return op_vvoDRbMjB2(op_Bi41EdtgH6(a),op_zoVUxTIMAa(a,a))

def op_count_Dft4r91YKp(a):
    if op_uw1KoZSwz0(a,585) <= 567 or op_QDVgd2eftb(a,335) > 560 or a >= 685:
        count = op_count_b1N51d35SA(a,a)+op_count_7YiCYgpUY4(a,a)+op_count_bJkvcejdHO(op_b1N51d35SA(a,a),op_7YiCYgpUY4(a,a))+op_count_uw1KoZSwz0(a,585)+op_count_QDVgd2eftb(a,335)
    else:
        count = op_count_Bi41EdtgH6(a)+op_count_zoVUxTIMAa(a,a)+op_count_vvoDRbMjB2(op_Bi41EdtgH6(a),op_zoVUxTIMAa(a,a))
    return count


⨈⊹⫕a = { (((a⪘⋉⇭a)≚⊃≕a)∋≞((⪶⨩306)⊖≡(a⪡⪫))) }

def op_V6pk6MIanw(a):
    return op_F3ZYW0Xs6y(op_Bmrmz2XGnR(op_2TXroppNd4(a,a),a),op_Qhrmy2cZ4F(op_ixc2Esl5RP(306),op_O9ITgcsgp9(a)))

def op_count_V6pk6MIanw(a):
    count = op_count_2TXroppNd4(a,a)+op_count_Bmrmz2XGnR(op_2TXroppNd4(a,a),a)+op_count_ixc2Esl5RP(306)+op_count_O9ITgcsgp9(a)+op_count_Qhrmy2cZ4F(op_ixc2Esl5RP(306),op_O9ITgcsgp9(a))+op_count_F3ZYW0Xs6y(op_Bmrmz2XGnR(op_2TXroppNd4(a,a),a),op_Qhrmy2cZ4F(op_ixc2Esl5RP(306),op_O9ITgcsgp9(a)))
    return count


def op_WLuzRzneSI(a):
    return op_50uIHTrNdO(op_EYU6BsVPjN(a,a),op_zVbKEeMoGt(a))

def op_count_WLuzRzneSI(a):
    count = op_count_EYU6BsVPjN(a,a)+op_count_zVbKEeMoGt(a)+op_count_50uIHTrNdO(op_EYU6BsVPjN(a,a),op_zVbKEeMoGt(a))
    return count


def op_FAhOgU50NN(a):
    return op_TLSiz8NPqi(op_W4tP9CfskL(a,a))

def op_count_FAhOgU50NN(a):
    count = op_count_W4tP9CfskL(a,a)+op_count_TLSiz8NPqi(op_W4tP9CfskL(a,a))
    return count


def op_zStf3jvmdU(a, b):
    if op_F9pSHpyQ3k(a,11) >= 115 and op_YvRQj5obxP(b) <= 44:
        return op_OVAuBYEMFc(360,35)
    else:
        return op_6NJAcO2OWT(b)

def op_count_zStf3jvmdU(a, b):
    if op_F9pSHpyQ3k(a,11) >= 115 and op_YvRQj5obxP(b) <= 44:
        count = op_count_OVAuBYEMFc(360,35)+op_count_F9pSHpyQ3k(a,11)+op_count_YvRQj5obxP(b)
    else:
        count = op_count_6NJAcO2OWT(b)
    return count


def op_De3qOSctMQ(a):
    return op_OhqpJ7Tl0K(a,200)

def op_count_De3qOSctMQ(a):
    count = op_count_OhqpJ7Tl0K(a,200)
    return count


a⋚⫨↫b = { (≸(a↿⪖⨀a)) , if (a⊣⨲680)==298 ; (a≴↼⪶(b⪁⨴⋨b)) , else }

def op_YM1fxtdZ71(a, b):
    if op_PjIHNKxrlt(a,680) == 298:
        return op_eOf03JbCpp(op_D2jTeYMLoz(a,a))
    else:
        return op_yUc8DJLAu4(a,op_y2kQTS4a70(b,b))

def op_count_YM1fxtdZ71(a, b):
    if op_PjIHNKxrlt(a,680) == 298:
        count = op_count_D2jTeYMLoz(a,a)+op_count_eOf03JbCpp(op_D2jTeYMLoz(a,a))+op_count_PjIHNKxrlt(a,680)
    else:
        count = op_count_y2kQTS4a70(b,b)+op_count_yUc8DJLAu4(a,op_y2kQTS4a70(b,b))
    return count


def op_WlfBdto2jO(a):
    return op_2M7SKlOzyM(op_y6kfwHd1dQ(op_ojE0ZAmiGE(a,a)),op_BThhyOhh10(op_22PRtPrKbi(465)))

def op_count_WlfBdto2jO(a):
    count = op_count_ojE0ZAmiGE(a,a)+op_count_y6kfwHd1dQ(op_ojE0ZAmiGE(a,a))+op_count_22PRtPrKbi(465)+op_count_BThhyOhh10(op_22PRtPrKbi(465))+op_count_2M7SKlOzyM(op_y6kfwHd1dQ(op_ojE0ZAmiGE(a,a)),op_BThhyOhh10(op_22PRtPrKbi(465)))
    return count


def op_Q277GdSo1u(a):
    return op_0pE9j4xUU7(90,a)

def op_count_Q277GdSo1u(a):
    count = op_count_0pE9j4xUU7(90,a)
    return count


a⊘⪓⇈ = { (((a⊕⫺a)∋⪕⋐(⩆↑⇝a))∻(a⨇∑⇷(a↖≺⇫808))) }

def op_dIMor02l7G(a):
    return op_0Vcvu1QG1k(op_qCin6ZH1or(op_H6S8IR817C(a,a),op_FAUHmXADzM(a)),op_LCjPM0UdxD(a,op_rh14SKPVeV(a,808)))

def op_count_dIMor02l7G(a):
    count = op_count_H6S8IR817C(a,a)+op_count_FAUHmXADzM(a)+op_count_qCin6ZH1or(op_H6S8IR817C(a,a),op_FAUHmXADzM(a))+op_count_rh14SKPVeV(a,808)+op_count_LCjPM0UdxD(a,op_rh14SKPVeV(a,808))+op_count_0Vcvu1QG1k(op_qCin6ZH1or(op_H6S8IR817C(a,a),op_FAUHmXADzM(a)),op_LCjPM0UdxD(a,op_rh14SKPVeV(a,808)))
    return count


def op_K37fP5ODka(a):
    return op_iXQfhhNwXF(op_NOyIGfOOXL(a,74))

def op_count_K37fP5ODka(a):
    count = op_count_NOyIGfOOXL(a,74)+op_count_iXQfhhNwXF(op_NOyIGfOOXL(a,74))
    return count


def op_GVt5TSu2QM(a):
    if (op_khvmGcbxAf(a) < 372 or op_dHAONFAwon(a,894) >= 39):
        return op_2enQSJPbnT(a)
    else:
        return op_jrW1E7Ncie(709)

def op_count_GVt5TSu2QM(a):
    if (op_khvmGcbxAf(a) < 372 or op_dHAONFAwon(a,894) >= 39):
        count = op_count_2enQSJPbnT(a)+op_count_khvmGcbxAf(a)+op_count_dHAONFAwon(a,894)
    else:
        count = op_count_jrW1E7Ncie(709)
    return count


def op_xVUWaZOhhf(a):
    return op_hmlrMsD2PO(a,op_grXIztHqDa(op_nREPSIbpBE(a,a)))

def op_count_xVUWaZOhhf(a):
    count = op_count_nREPSIbpBE(a,a)+op_count_grXIztHqDa(op_nREPSIbpBE(a,a))+op_count_hmlrMsD2PO(a,op_grXIztHqDa(op_nREPSIbpBE(a,a)))
    return count


def op_BRZabeeXbq(a, b):
    return op_RpQvJizf4x(op_dUpriDnGP5(609,b),op_AxXlgV2eu3(a))

def op_count_BRZabeeXbq(a, b):
    count = op_count_dUpriDnGP5(609,b)+op_count_AxXlgV2eu3(a)+op_count_RpQvJizf4x(op_dUpriDnGP5(609,b),op_AxXlgV2eu3(a))
    return count


⊭⫞⩷a = { (a⪛⫼a) , if (⋧a)>255 ; (⇗a) , else }

def op_TyYNUdhLtG(a):
    if op_fctvr1MjnF(a) > 255:
        return op_hyuBjUqXlG(a,a)
    else:
        return op_mFCgDW3omv(a)

def op_count_TyYNUdhLtG(a):
    if op_fctvr1MjnF(a) > 255:
        count = op_count_hyuBjUqXlG(a,a)+op_count_fctvr1MjnF(a)
    else:
        count = op_count_mFCgDW3omv(a)
    return count


def op_7IA1JcIY95(a):
    if op_TucRNWL6Pw(a) != 290:
        return op_RZ5CV9rWsJ(637,201)
    else:
        return a

def op_count_7IA1JcIY95(a):
    if op_TucRNWL6Pw(a) != 290:
        count = op_count_RZ5CV9rWsJ(637,201)+op_count_TucRNWL6Pw(a)
    else:
        count = 1
    return count


⋫≩⩆a = { (⪝⪂⫅(a∆⩎a)) , if a<296 and a==61 ; (⪵⩥∼(a⩌⨨⨫382)) , else }

def op_JzeRMpoAS3(a):
    if a < 296 and a == 61:
        return op_XTarYq4gQB(op_zPWNPtZ3KV(a,a))
    else:
        return op_C8AGOwLzL7(op_3QUG3jHDXB(a,382))

def op_count_JzeRMpoAS3(a):
    if a < 296 and a == 61:
        count = op_count_zPWNPtZ3KV(a,a)+op_count_XTarYq4gQB(op_zPWNPtZ3KV(a,a))
    else:
        count = op_count_3QUG3jHDXB(a,382)+op_count_C8AGOwLzL7(op_3QUG3jHDXB(a,382))
    return count


def op_JXJd912KIl(a, b):
    if (op_A70lgPgx8E(b) >= 168 and op_cjZ6PVuxTA(a) >= 567 and op_WzExxB0XCT(b,921) == 172):
        return op_S4LUIutb1e(op_bZEx4MGJjc(a,354),op_2u38eHdNB5(b,b))
    else:
        return op_5hXIoSHgw9(op_KHAvRn04uW(b),b)

def op_count_JXJd912KIl(a, b):
    if (op_A70lgPgx8E(b) >= 168 and op_cjZ6PVuxTA(a) >= 567 and op_WzExxB0XCT(b,921) == 172):
        count = op_count_bZEx4MGJjc(a,354)+op_count_2u38eHdNB5(b,b)+op_count_S4LUIutb1e(op_bZEx4MGJjc(a,354),op_2u38eHdNB5(b,b))+op_count_A70lgPgx8E(b)+op_count_cjZ6PVuxTA(a)+op_count_WzExxB0XCT(b,921)
    else:
        count = op_count_KHAvRn04uW(b)+op_count_5hXIoSHgw9(op_KHAvRn04uW(b),b)
    return count


⨮⇂↕a = { (∠↺a) , if a!=247 ; ((a⋥⋵⩄a)⩌⨨⨫(a≞⇯a)) , else }

def op_qMMW6tboEw(a):
    if a != 247:
        return op_RpH87Eb5yS(a)
    else:
        return op_3QUG3jHDXB(op_7t3wd0Fuz7(a,a),op_8kC3VQV3Yq(a,a))

def op_count_qMMW6tboEw(a):
    if a != 247:
        count = op_count_RpH87Eb5yS(a)
    else:
        count = op_count_7t3wd0Fuz7(a,a)+op_count_8kC3VQV3Yq(a,a)+op_count_3QUG3jHDXB(op_7t3wd0Fuz7(a,a),op_8kC3VQV3Yq(a,a))
    return count


def op_6BFomJzHVX(a, b):
    return op_3UMq87Qwqg(op_CfxG4j8dfZ(op_OVAuBYEMFc(226,a),op_OhqpJ7Tl0K(a,b)))

def op_count_6BFomJzHVX(a, b):
    count = op_count_OVAuBYEMFc(226,a)+op_count_OhqpJ7Tl0K(a,b)+op_count_CfxG4j8dfZ(op_OVAuBYEMFc(226,a),op_OhqpJ7Tl0K(a,b))+op_count_3UMq87Qwqg(op_CfxG4j8dfZ(op_OVAuBYEMFc(226,a),op_OhqpJ7Tl0K(a,b)))
    return count


def op_LCemN4bnwC(a):
    if op_N2CwLZHY2H(a,932) == 377:
        return op_agzRJtrQZ2(op_1aApVXNlOP(a,a),op_EKiFHuOFxO(218))
    else:
        return a

def op_count_LCemN4bnwC(a):
    if op_N2CwLZHY2H(a,932) == 377:
        count = op_count_1aApVXNlOP(a,a)+op_count_EKiFHuOFxO(218)+op_count_agzRJtrQZ2(op_1aApVXNlOP(a,a),op_EKiFHuOFxO(218))+op_count_N2CwLZHY2H(a,932)
    else:
        count = 1
    return count


def op_UZhIZzOawa(a, b):
    if op_LXAvwK8YDe(b,798) > 660:
        return op_TbUuY2B3fX(op_BEVrL8Aknx(op_lAUTOmyRBs(a,b)),op_265LmWy1dS(op_KPNWZM5Xul(a,90),op_ziBb4sC0ZT(b)))
    else:
        return op_MzRW7k9OSH(op_WxjQizov8v(op_reVGrTqfuh(286,a),op_VbgE6nPTyN(a)),op_lJ0NnniDH7(op_xc52gjKyDD(b,a),op_uPjn7n5pli(b,6)))

def op_count_UZhIZzOawa(a, b):
    if op_LXAvwK8YDe(b,798) > 660:
        count = op_count_lAUTOmyRBs(a,b)+op_count_BEVrL8Aknx(op_lAUTOmyRBs(a,b))+op_count_KPNWZM5Xul(a,90)+op_count_ziBb4sC0ZT(b)+op_count_265LmWy1dS(op_KPNWZM5Xul(a,90),op_ziBb4sC0ZT(b))+op_count_TbUuY2B3fX(op_BEVrL8Aknx(op_lAUTOmyRBs(a,b)),op_265LmWy1dS(op_KPNWZM5Xul(a,90),op_ziBb4sC0ZT(b)))+op_count_LXAvwK8YDe(b,798)
    else:
        count = op_count_reVGrTqfuh(286,a)+op_count_VbgE6nPTyN(a)+op_count_WxjQizov8v(op_reVGrTqfuh(286,a),op_VbgE6nPTyN(a))+op_count_xc52gjKyDD(b,a)+op_count_uPjn7n5pli(b,6)+op_count_lJ0NnniDH7(op_xc52gjKyDD(b,a),op_uPjn7n5pli(b,6))+op_count_MzRW7k9OSH(op_WxjQizov8v(op_reVGrTqfuh(286,a),op_VbgE6nPTyN(a)),op_lJ0NnniDH7(op_xc52gjKyDD(b,a),op_uPjn7n5pli(b,6)))
    return count


⋢⋨a = { (((a⨆⪪⊞a)⋱√⋜(a⪌≁⫾a))≘≾-((579⨳a)⪦(⫣↼a))) , if (a⋢⋴84)<41 ; (((a⨜a)⫂↦⪌(a⋩))⪘) , else }

def op_kEMkAxmcAQ(a):
    if op_FjmygMY46A(a,84) < 41:
        return op_opc8BSlPgk(op_trAzs8tmNv(op_ofsUmZRSmp(a,a),op_BpbpqQnb2W(a,a)),op_S2EdmdiVZh(op_YaB1w09lmH(579,a),op_tSW8rgFwH6(a)))
    else:
        return op_otBzi3yDII(op_uBbSXYMpE2(op_D6AM124FhJ(a,a),op_Ye9Neqwqbv(a)))

def op_count_kEMkAxmcAQ(a):
    if op_FjmygMY46A(a,84) < 41:
        count = op_count_ofsUmZRSmp(a,a)+op_count_BpbpqQnb2W(a,a)+op_count_trAzs8tmNv(op_ofsUmZRSmp(a,a),op_BpbpqQnb2W(a,a))+op_count_YaB1w09lmH(579,a)+op_count_tSW8rgFwH6(a)+op_count_S2EdmdiVZh(op_YaB1w09lmH(579,a),op_tSW8rgFwH6(a))+op_count_opc8BSlPgk(op_trAzs8tmNv(op_ofsUmZRSmp(a,a),op_BpbpqQnb2W(a,a)),op_S2EdmdiVZh(op_YaB1w09lmH(579,a),op_tSW8rgFwH6(a)))+op_count_FjmygMY46A(a,84)
    else:
        count = op_count_D6AM124FhJ(a,a)+op_count_Ye9Neqwqbv(a)+op_count_uBbSXYMpE2(op_D6AM124FhJ(a,a),op_Ye9Neqwqbv(a))+op_count_otBzi3yDII(op_uBbSXYMpE2(op_D6AM124FhJ(a,a),op_Ye9Neqwqbv(a)))
    return count


∢≑⊠a = { (((a⋛a)⨊)⋛≐((a⩴a)⩁∪(a⇝⪥⊌a))) , if (a⨣⋨712)>=222 ; (⪣⩱⊶((a↟⇝a)⫊(a≜⊇a))) , else }

def op_HsiG3TmlRU(a):
    if op_BsQQe46RQf(a,712) >= 222:
        return op_B7jD7820sf(op_Yx2SW1no1q(op_YbUVn0Rbpy(a,a)),op_dvgeamS7g2(op_8YdTO89gQD(a,a),op_8IBHxuH8oO(a,a)))
    else:
        return op_6CFj31KG7v(op_uPjn7n5pli(op_YdxZk85PfS(a,a),op_oa1nrqFkD0(a,a)))

def op_count_HsiG3TmlRU(a):
    if op_BsQQe46RQf(a,712) >= 222:
        count = op_count_YbUVn0Rbpy(a,a)+op_count_Yx2SW1no1q(op_YbUVn0Rbpy(a,a))+op_count_8YdTO89gQD(a,a)+op_count_8IBHxuH8oO(a,a)+op_count_dvgeamS7g2(op_8YdTO89gQD(a,a),op_8IBHxuH8oO(a,a))+op_count_B7jD7820sf(op_Yx2SW1no1q(op_YbUVn0Rbpy(a,a)),op_dvgeamS7g2(op_8YdTO89gQD(a,a),op_8IBHxuH8oO(a,a)))+op_count_BsQQe46RQf(a,712)
    else:
        count = op_count_YdxZk85PfS(a,a)+op_count_oa1nrqFkD0(a,a)+op_count_uPjn7n5pli(op_YdxZk85PfS(a,a),op_oa1nrqFkD0(a,a))+op_count_6CFj31KG7v(op_uPjn7n5pli(op_YdxZk85PfS(a,a),op_oa1nrqFkD0(a,a)))
    return count


a≢⫰b = { (((a⪙⊵⇷a)≝⪅(b⊵⩛∤b))⫬↰((b⨔≚≋b)⊶⊞b)) }

def op_Dk39DBqpe6(a, b):
    return op_f8TJb0vaMc(op_xcM15npT0G(op_cZPC5xccNd(a,a),op_36V2MidH9c(b,b)),op_vqL3z2Fhus(op_Z57zeUYC9z(b,b),b))

def op_count_Dk39DBqpe6(a, b):
    count = op_count_cZPC5xccNd(a,a)+op_count_36V2MidH9c(b,b)+op_count_xcM15npT0G(op_cZPC5xccNd(a,a),op_36V2MidH9c(b,b))+op_count_Z57zeUYC9z(b,b)+op_count_vqL3z2Fhus(op_Z57zeUYC9z(b,b),b)+op_count_f8TJb0vaMc(op_xcM15npT0G(op_cZPC5xccNd(a,a),op_36V2MidH9c(b,b)),op_vqL3z2Fhus(op_Z57zeUYC9z(b,b),b))
    return count


a⊛⊵⇙ = { (((a⪧≠⊧a)⋒⫆⊙(a⪓↹⇾a))⋊⪄⋢(↔(a⫭↝a))) }

def op_l83zz0Tvns(a):
    return op_87HMmqlxet(op_i6kyr1sQ78(op_8FEQrRiNx3(a,a),op_vs8iUQwOA7(a,a)),op_ruOEQAzv1W(op_n4DPn5x9ZW(a,a)))

def op_count_l83zz0Tvns(a):
    count = op_count_8FEQrRiNx3(a,a)+op_count_vs8iUQwOA7(a,a)+op_count_i6kyr1sQ78(op_8FEQrRiNx3(a,a),op_vs8iUQwOA7(a,a))+op_count_n4DPn5x9ZW(a,a)+op_count_ruOEQAzv1W(op_n4DPn5x9ZW(a,a))+op_count_87HMmqlxet(op_i6kyr1sQ78(op_8FEQrRiNx3(a,a),op_vs8iUQwOA7(a,a)),op_ruOEQAzv1W(op_n4DPn5x9ZW(a,a)))
    return count


⫻↓⨡a = { (((a⇨⇳⇴)⋦≾(a↿⊽))⩝∍∂((a↝⋫a)⪧⩚↞)) }

def op_PTrw6d9BX0(a):
    return op_6wBhCzx1ue(op_sGKMNvIg50(op_izXB28zTrC(a),op_6ttpNeQUxE(a)),op_iCFmNpcOux(op_EGhGGaRcC7(a,a)))

def op_count_PTrw6d9BX0(a):
    count = op_count_izXB28zTrC(a)+op_count_6ttpNeQUxE(a)+op_count_sGKMNvIg50(op_izXB28zTrC(a),op_6ttpNeQUxE(a))+op_count_EGhGGaRcC7(a,a)+op_count_iCFmNpcOux(op_EGhGGaRcC7(a,a))+op_count_6wBhCzx1ue(op_sGKMNvIg50(op_izXB28zTrC(a),op_6ttpNeQUxE(a)),op_iCFmNpcOux(op_EGhGGaRcC7(a,a)))
    return count


def op_msi37rJfSb(a):
    return op_PFXS2rZOZy(op_z6LnFrNh4i(727,a))

def op_count_msi37rJfSb(a):
    count = op_count_z6LnFrNh4i(727,a)+op_count_PFXS2rZOZy(op_z6LnFrNh4i(727,a))
    return count


⊾⫛a = { (64≍↿≦a) , if (a⋇↵⋅532)>371 ; (a∲↓≵) , else }

def op_E6kf18OqlZ(a):
    if op_aEZ9JgCP8a(a,532) > 371:
        return op_TSUy8hrQkO(64,a)
    else:
        return op_M2pIAIy88N(a)

def op_count_E6kf18OqlZ(a):
    if op_aEZ9JgCP8a(a,532) > 371:
        count = op_count_TSUy8hrQkO(64,a)+op_count_aEZ9JgCP8a(a,532)
    else:
        count = op_count_M2pIAIy88N(a)
    return count