def op_xD69zh8xqp(a, b):
    return op_FU0Cs4j7VP(op_JclMnS0uGI(b,a))

def op_count_xD69zh8xqp(a, b):
    count = op_count_JclMnS0uGI(b,a)+op_count_FU0Cs4j7VP(op_JclMnS0uGI(b,a))
    return count


def op_MahUMFw56D(a):
    return op_3ViojmjbAp(a,86)

def op_count_MahUMFw56D(a):
    count = op_count_3ViojmjbAp(a,86)
    return count


def op_ljcfZBUpm8(a):
    return op_ocnLzx9CaJ(op_40aOVDgCDB(4),op_JL8yIekQnl(a))

def op_count_ljcfZBUpm8(a):
    count = op_count_40aOVDgCDB(4)+op_count_JL8yIekQnl(a)+op_count_ocnLzx9CaJ(op_40aOVDgCDB(4),op_JL8yIekQnl(a))
    return count


⊬↢a = { (((a⫞⩸⩒a)⊝⪿⪼(a⫯⪬∳a))⪎↠((a⨀⨒)↸(∐⩳⋚a))) , if (∓a)>278 ; (((a↙a)⊱⇼⊻(a∌480))⇉⇱⇎) , else }

def op_WPoGxAaPR1(a):
    if op_OwUj7dcsQK(a) > 278:
        return op_3tVxb0NHM4(op_3Oe9XWJUTD(op_XGcMNugi78(a,a),op_d7ASUq0ydm(a,a)),op_1eCjFl0mb9(op_j6NVkjMzuk(a),op_SL6IHkK8vl(a)))
    else:
        return op_MRPaB8lBjK(op_FyVja0WsTP(op_yyfyN0ffXY(a,a),op_8cLx32lpNA(a,480)))

def op_count_WPoGxAaPR1(a):
    if op_OwUj7dcsQK(a) > 278:
        count = op_count_XGcMNugi78(a,a)+op_count_d7ASUq0ydm(a,a)+op_count_3Oe9XWJUTD(op_XGcMNugi78(a,a),op_d7ASUq0ydm(a,a))+op_count_j6NVkjMzuk(a)+op_count_SL6IHkK8vl(a)+op_count_1eCjFl0mb9(op_j6NVkjMzuk(a),op_SL6IHkK8vl(a))+op_count_3tVxb0NHM4(op_3Oe9XWJUTD(op_XGcMNugi78(a,a),op_d7ASUq0ydm(a,a)),op_1eCjFl0mb9(op_j6NVkjMzuk(a),op_SL6IHkK8vl(a)))+op_count_OwUj7dcsQK(a)
    else:
        count = op_count_yyfyN0ffXY(a,a)+op_count_8cLx32lpNA(a,480)+op_count_FyVja0WsTP(op_yyfyN0ffXY(a,a),op_8cLx32lpNA(a,480))+op_count_MRPaB8lBjK(op_FyVja0WsTP(op_yyfyN0ffXY(a,a),op_8cLx32lpNA(a,480)))
    return count


def op_yS9ePUuUdn(a):
    return op_9samAPKr6k(op_Tcnh7f0tEr(a),op_j9kHMeSvPp(a,a))

def op_count_yS9ePUuUdn(a):
    count = op_count_Tcnh7f0tEr(a)+op_count_j9kHMeSvPp(a,a)+op_count_9samAPKr6k(op_Tcnh7f0tEr(a),op_j9kHMeSvPp(a,a))
    return count


def op_w2537kitQq(a, b):
    if op_nREPSIbpBE(b,996) >= 244 and b >= 3:
        return op_aBQ6xLxuTc(op_XnXgA4xnOs(b,38),op_i8ToyICDmI(b,a))
    else:
        return op_7IPrd9c3lf(op_DhbWaqg5eL(b))

def op_count_w2537kitQq(a, b):
    if op_nREPSIbpBE(b,996) >= 244 and b >= 3:
        count = op_count_XnXgA4xnOs(b,38)+op_count_i8ToyICDmI(b,a)+op_count_aBQ6xLxuTc(op_XnXgA4xnOs(b,38),op_i8ToyICDmI(b,a))+op_count_nREPSIbpBE(b,996)
    else:
        count = op_count_DhbWaqg5eL(b)+op_count_7IPrd9c3lf(op_DhbWaqg5eL(b))
    return count


a≒∊b = { (≱⇩⩕(a⪢a)) , if (a⩤)==117 ; ((b⪊≅)⇄a) , else }

def op_5KTvxBwnZo(a, b):
    if op_Z2TMIBDE3Q(a) == 117:
        return op_3DZMoQKiUl(op_dWAJyo7jo9(a,a))
    else:
        return op_3EYGwJThht(op_bjFbhXSADs(b),a)

def op_count_5KTvxBwnZo(a, b):
    if op_Z2TMIBDE3Q(a) == 117:
        count = op_count_dWAJyo7jo9(a,a)+op_count_3DZMoQKiUl(op_dWAJyo7jo9(a,a))+op_count_Z2TMIBDE3Q(a)
    else:
        count = op_count_bjFbhXSADs(b)+op_count_3EYGwJThht(op_bjFbhXSADs(b),a)
    return count


def op_o8Pngz0Tml(a):
    return op_eewbuw0ToL(op_l1M9WJ3V7u(op_YbUVn0Rbpy(a,a)),op_9FxExcQeMw(op_Nsiff2A1zJ(a,a),op_4X4GscPmMf(a)))

def op_count_o8Pngz0Tml(a):
    count = op_count_YbUVn0Rbpy(a,a)+op_count_l1M9WJ3V7u(op_YbUVn0Rbpy(a,a))+op_count_Nsiff2A1zJ(a,a)+op_count_4X4GscPmMf(a)+op_count_9FxExcQeMw(op_Nsiff2A1zJ(a,a),op_4X4GscPmMf(a))+op_count_eewbuw0ToL(op_l1M9WJ3V7u(op_YbUVn0Rbpy(a,a)),op_9FxExcQeMw(op_Nsiff2A1zJ(a,a),op_4X4GscPmMf(a)))
    return count


⋗⩴⪓a = { (↩a) , if (↸⊣a)>=41 ; (a⇼⇔∾(≪(a⨪↰⇹a))) , else }

def op_nOKPl9n5zu(a):
    if op_wztAlM01eG(a) >= 41:
        return op_jLgFTUHLKL(a)
    else:
        return op_tifHPKVTfV(a,op_Qtd6bqUJcN(op_tmPS8pqC7x(a,a)))

def op_count_nOKPl9n5zu(a):
    if op_wztAlM01eG(a) >= 41:
        count = op_count_jLgFTUHLKL(a)+op_count_wztAlM01eG(a)
    else:
        count = op_count_tmPS8pqC7x(a,a)+op_count_Qtd6bqUJcN(op_tmPS8pqC7x(a,a))+op_count_tifHPKVTfV(a,op_Qtd6bqUJcN(op_tmPS8pqC7x(a,a)))
    return count


a∙⊟b = { (⩪∧⨌(a⫲⨊)) , if (b∐⫣)<386 ; ((a∣a)⊝⪿⪼(⊙↵-a)) , else }

def op_SxTAKzQCrw(a, b):
    if op_4CyGpkTkEk(b) < 386:
        return op_6iOiAJX1F8(op_CArV6hThFE(a))
    else:
        return op_3Oe9XWJUTD(op_PPChnnnBFF(a,a),op_oWn0xqSxBt(a))

def op_count_SxTAKzQCrw(a, b):
    if op_4CyGpkTkEk(b) < 386:
        count = op_count_CArV6hThFE(a)+op_count_6iOiAJX1F8(op_CArV6hThFE(a))+op_count_4CyGpkTkEk(b)
    else:
        count = op_count_PPChnnnBFF(a,a)+op_count_oWn0xqSxBt(a)+op_count_3Oe9XWJUTD(op_PPChnnnBFF(a,a),op_oWn0xqSxBt(a))
    return count


def op_ctOc4cKSDt(a):
    return op_eLAdDNolq6(op_tmPS8pqC7x(a,a))

def op_count_ctOc4cKSDt(a):
    count = op_count_tmPS8pqC7x(a,a)+op_count_eLAdDNolq6(op_tmPS8pqC7x(a,a))
    return count


def op_SIgE0bArFf(a):
    return op_E64sFOc4tB(op_dWAJyo7jo9(op_FU0Cs4j7VP(a),op_ZvLB05nZmT(a,715)))

def op_count_SIgE0bArFf(a):
    count = op_count_FU0Cs4j7VP(a)+op_count_ZvLB05nZmT(a,715)+op_count_dWAJyo7jo9(op_FU0Cs4j7VP(a),op_ZvLB05nZmT(a,715))+op_count_E64sFOc4tB(op_dWAJyo7jo9(op_FU0Cs4j7VP(a),op_ZvLB05nZmT(a,715)))
    return count


def op_3tj9sqzovi(a):
    return op_dWAJyo7jo9(op_XGcMNugi78(op_Y7wcNGrDQJ(a,a),op_Tw270M8GLb(a)),a)

def op_count_3tj9sqzovi(a):
    count = op_count_Y7wcNGrDQJ(a,a)+op_count_Tw270M8GLb(a)+op_count_XGcMNugi78(op_Y7wcNGrDQJ(a,a),op_Tw270M8GLb(a))+op_count_dWAJyo7jo9(op_XGcMNugi78(op_Y7wcNGrDQJ(a,a),op_Tw270M8GLb(a)),a)
    return count


def op_oo9mF6JIpo(a):
    if (op_zR4jO40bMj(a,180) >= 510 or op_cHh1gJQ2o6(a,665) != 249):
        return op_RhiyfpczSx(op_12rbrZMWeM(op_YSKBFp38Pu(157,a),op_tmPS8pqC7x(a,a)))
    else:
        return op_oacrs7FA3X(op_YbVcJGFEVW(op_L05ObWFQCd(a,a),op_HrjLwUk87U(a,343)),op_DmTXOeWf9t(op_2Wsdkap16l(a,a),op_uOZ1tnYMDE(a)))

def op_count_oo9mF6JIpo(a):
    if (op_zR4jO40bMj(a,180) >= 510 or op_cHh1gJQ2o6(a,665) != 249):
        count = op_count_YSKBFp38Pu(157,a)+op_count_tmPS8pqC7x(a,a)+op_count_12rbrZMWeM(op_YSKBFp38Pu(157,a),op_tmPS8pqC7x(a,a))+op_count_RhiyfpczSx(op_12rbrZMWeM(op_YSKBFp38Pu(157,a),op_tmPS8pqC7x(a,a)))+op_count_zR4jO40bMj(a,180)+op_count_cHh1gJQ2o6(a,665)
    else:
        count = op_count_L05ObWFQCd(a,a)+op_count_HrjLwUk87U(a,343)+op_count_YbVcJGFEVW(op_L05ObWFQCd(a,a),op_HrjLwUk87U(a,343))+op_count_2Wsdkap16l(a,a)+op_count_uOZ1tnYMDE(a)+op_count_DmTXOeWf9t(op_2Wsdkap16l(a,a),op_uOZ1tnYMDE(a))+op_count_oacrs7FA3X(op_YbVcJGFEVW(op_L05ObWFQCd(a,a),op_HrjLwUk87U(a,343)),op_DmTXOeWf9t(op_2Wsdkap16l(a,a),op_uOZ1tnYMDE(a)))
    return count


def op_Ez1Nq5fNfI(a, b):
    return op_QvoQhV0rrE(op_eRqsBgTDFp(op_JL8yIekQnl(514),op_kbkesczE7y(b,a)),op_mp7IySMOzn(1,op_kbkesczE7y(b,32)))

def op_count_Ez1Nq5fNfI(a, b):
    count = op_count_JL8yIekQnl(514)+op_count_kbkesczE7y(b,a)+op_count_eRqsBgTDFp(op_JL8yIekQnl(514),op_kbkesczE7y(b,a))+op_count_kbkesczE7y(b,32)+op_count_mp7IySMOzn(1,op_kbkesczE7y(b,32))+op_count_QvoQhV0rrE(op_eRqsBgTDFp(op_JL8yIekQnl(514),op_kbkesczE7y(b,a)),op_mp7IySMOzn(1,op_kbkesczE7y(b,32)))
    return count


def op_i9eR4S00cU(a, b):
    return op_Tw270M8GLb(op_fu6greOZ01(a,b))

def op_count_i9eR4S00cU(a, b):
    count = op_count_fu6greOZ01(a,b)+op_count_Tw270M8GLb(op_fu6greOZ01(a,b))
    return count


def op_13rbtpv6ld(a, b):
    if op_KPf6cnQVty(a,71) < 727:
        return op_wEfv7U73WA(op_KYD54nUTWz(a,63))
    else:
        return op_9cloC0Ngie(op_k8jYdgA6NY(b,b),op_s1XTVnmDOJ(b,14))

def op_count_13rbtpv6ld(a, b):
    if op_KPf6cnQVty(a,71) < 727:
        count = op_count_KYD54nUTWz(a,63)+op_count_wEfv7U73WA(op_KYD54nUTWz(a,63))+op_count_KPf6cnQVty(a,71)
    else:
        count = op_count_k8jYdgA6NY(b,b)+op_count_s1XTVnmDOJ(b,14)+op_count_9cloC0Ngie(op_k8jYdgA6NY(b,b),op_s1XTVnmDOJ(b,14))
    return count


def op_abYXlopdE0(a, b):
    return op_PoHhknlbAi(op_jWTQ2TZYIH(op_i8ToyICDmI(a,409),op_KFSx94NKJn(a,a)),op_gJLn6v0xnP(op_KYD54nUTWz(146,b),op_yXekIHxTD4(219,b)))

def op_count_abYXlopdE0(a, b):
    count = op_count_i8ToyICDmI(a,409)+op_count_KFSx94NKJn(a,a)+op_count_jWTQ2TZYIH(op_i8ToyICDmI(a,409),op_KFSx94NKJn(a,a))+op_count_KYD54nUTWz(146,b)+op_count_yXekIHxTD4(219,b)+op_count_gJLn6v0xnP(op_KYD54nUTWz(146,b),op_yXekIHxTD4(219,b))+op_count_PoHhknlbAi(op_jWTQ2TZYIH(op_i8ToyICDmI(a,409),op_KFSx94NKJn(a,a)),op_gJLn6v0xnP(op_KYD54nUTWz(146,b),op_yXekIHxTD4(219,b)))
    return count


def op_xUx7qlDO4z(a):
    return op_XhwjNDsVaA(op_KYD54nUTWz(op_rGHVDoGpnC(a,23),op_oZj3VtZNQx(a,a)),op_GODebY97qR(op_nREPSIbpBE(a,141),op_qWUSsah53b(a)))

def op_count_xUx7qlDO4z(a):
    count = op_count_rGHVDoGpnC(a,23)+op_count_oZj3VtZNQx(a,a)+op_count_KYD54nUTWz(op_rGHVDoGpnC(a,23),op_oZj3VtZNQx(a,a))+op_count_nREPSIbpBE(a,141)+op_count_qWUSsah53b(a)+op_count_GODebY97qR(op_nREPSIbpBE(a,141),op_qWUSsah53b(a))+op_count_XhwjNDsVaA(op_KYD54nUTWz(op_rGHVDoGpnC(a,23),op_oZj3VtZNQx(a,a)),op_GODebY97qR(op_nREPSIbpBE(a,141),op_qWUSsah53b(a)))
    return count


def op_9dWsAM3GFt(a):
    return op_DyGG3AbaNP(op_nREPSIbpBE(a,283),op_rysDP5nf3Z(a,a))

def op_count_9dWsAM3GFt(a):
    count = op_count_nREPSIbpBE(a,283)+op_count_rysDP5nf3Z(a,a)+op_count_DyGG3AbaNP(op_nREPSIbpBE(a,283),op_rysDP5nf3Z(a,a))
    return count


def op_UHmRx3INFg(a):
    return op_oZj3VtZNQx(op_DyGG3AbaNP(a,125),op_DE7zCoGJt9(op_FyVja0WsTP(a,51)))

def op_count_UHmRx3INFg(a):
    count = op_count_DyGG3AbaNP(a,125)+op_count_FyVja0WsTP(a,51)+op_count_DE7zCoGJt9(op_FyVja0WsTP(a,51))+op_count_oZj3VtZNQx(op_DyGG3AbaNP(a,125),op_DE7zCoGJt9(op_FyVja0WsTP(a,51)))
    return count


a⫁b = { (a≹⇙⪍6) , if a==154 ; (b⩘b) , else }

def op_0ajvFaJAv0(a, b):
    if a == 154:
        return op_AHs5Up7iyr(a,6)
    else:
        return op_cHh1gJQ2o6(b,b)

def op_count_0ajvFaJAv0(a, b):
    if a == 154:
        count = op_count_AHs5Up7iyr(a,6)
    else:
        count = op_count_cHh1gJQ2o6(b,b)
    return count


def op_CpSg5vQTgA(a):
    if op_s1XTVnmDOJ(a,156) <= 233 or op_VEQNXA0ZBg(a) > 744:
        return op_Q3PJZHRvZv(a)
    else:
        return a

def op_count_CpSg5vQTgA(a):
    if op_s1XTVnmDOJ(a,156) <= 233 or op_VEQNXA0ZBg(a) > 744:
        count = op_count_Q3PJZHRvZv(a)+op_count_s1XTVnmDOJ(a,156)+op_count_VEQNXA0ZBg(a)
    else:
        count = 1
    return count


a⋹⋡⊁b = { ((a⨐⩸⫘247)⫁⪎(⩰b)) , if (⫵↿b)==517 or b>135 ; (⊀(≀↧⇸a)) , else }

def op_As8RqfVLgs(a, b):
    if op_ivGwdmUAux(b) == 517 or b > 135:
        return op_xRrnTEsQ6j(op_fu6greOZ01(a,247),op_WkeUrDK8WX(b))
    else:
        return op_oPMjh9089D(op_ljTHtUsqzn(a))

def op_count_As8RqfVLgs(a, b):
    if op_ivGwdmUAux(b) == 517 or b > 135:
        count = op_count_fu6greOZ01(a,247)+op_count_WkeUrDK8WX(b)+op_count_xRrnTEsQ6j(op_fu6greOZ01(a,247),op_WkeUrDK8WX(b))+op_count_ivGwdmUAux(b)
    else:
        count = op_count_ljTHtUsqzn(a)+op_count_oPMjh9089D(op_ljTHtUsqzn(a))
    return count


a⪃⊛⇣b = { ((b∌b)⊵↤) , if b==348 ; ((a≹⇙⪍a)⪬(a⋝⋈⪟a)) , else }

def op_rrgAzCduG9(a, b):
    if b == 348:
        return op_7IPrd9c3lf(op_8cLx32lpNA(b,b))
    else:
        return op_Ez1Nq5fNfI(op_AHs5Up7iyr(a,a),op_2DDjHMKMc0(a,a))

def op_count_rrgAzCduG9(a, b):
    if b == 348:
        count = op_count_8cLx32lpNA(b,b)+op_count_7IPrd9c3lf(op_8cLx32lpNA(b,b))
    else:
        count = op_count_AHs5Up7iyr(a,a)+op_count_2DDjHMKMc0(a,a)+op_count_Ez1Nq5fNfI(op_AHs5Up7iyr(a,a),op_2DDjHMKMc0(a,a))
    return count


def op_aNhz54LH3e(a, b):
    if a == 21:
        return op_cHh1gJQ2o6(op_RygbFNSyEJ(op_KYD54nUTWz(a,11),op_PPChnnnBFF(657,a)),op_kbkesczE7y(op_SLLxy00UIr(a),op_bl5wxAcryP(a)))
    else:
        return op_ctOc4cKSDt(op_BUOGQAYlQx(op_AcOhelriW5(b)))

def op_count_aNhz54LH3e(a, b):
    if a == 21:
        count = op_count_KYD54nUTWz(a,11)+op_count_PPChnnnBFF(657,a)+op_count_RygbFNSyEJ(op_KYD54nUTWz(a,11),op_PPChnnnBFF(657,a))+op_count_SLLxy00UIr(a)+op_count_bl5wxAcryP(a)+op_count_kbkesczE7y(op_SLLxy00UIr(a),op_bl5wxAcryP(a))+op_count_cHh1gJQ2o6(op_RygbFNSyEJ(op_KYD54nUTWz(a,11),op_PPChnnnBFF(657,a)),op_kbkesczE7y(op_SLLxy00UIr(a),op_bl5wxAcryP(a)))
    else:
        count = op_count_AcOhelriW5(b)+op_count_BUOGQAYlQx(op_AcOhelriW5(b))+op_count_ctOc4cKSDt(op_BUOGQAYlQx(op_AcOhelriW5(b)))
    return count


def op_g21JL6JxX7(a):
    return op_Ikt5ks8PT7(op_A8NUZmVepG(a),op_Asc51vEJeQ(a))

def op_count_g21JL6JxX7(a):
    count = op_count_A8NUZmVepG(a)+op_count_Asc51vEJeQ(a)+op_count_Ikt5ks8PT7(op_A8NUZmVepG(a),op_Asc51vEJeQ(a))
    return count


a≳⇉b = { ((b⪁b)∌↝(a∷b)) , if (a∀⋜↑)<109 ; ((b⫘a)∠↢(a⨐⩸⫘a)) , else }

def op_V0kx6qeWkN(a, b):
    if op_KipPnG1M2J(a) < 109:
        return op_9Isq31Ruls(op_I7sXao9hZE(b,b),op_D3AQDKkPcf(a,b))
    else:
        return op_KbjG8mgYpV(op_48vC8HMD2b(b,a),op_fu6greOZ01(a,a))

def op_count_V0kx6qeWkN(a, b):
    if op_KipPnG1M2J(a) < 109:
        count = op_count_I7sXao9hZE(b,b)+op_count_D3AQDKkPcf(a,b)+op_count_9Isq31Ruls(op_I7sXao9hZE(b,b),op_D3AQDKkPcf(a,b))+op_count_KipPnG1M2J(a)
    else:
        count = op_count_48vC8HMD2b(b,a)+op_count_fu6greOZ01(a,a)+op_count_KbjG8mgYpV(op_48vC8HMD2b(b,a),op_fu6greOZ01(a,a))
    return count


def op_k1SHOSEABc(a, b):
    return op_9FxExcQeMw(op_COABgblf1C(37,op_eLxqMNBOBk(a)),op_JclMnS0uGI(op_HiPekx5b7W(111,78),op_U7g4x0WXJJ(a,b)))

def op_count_k1SHOSEABc(a, b):
    count = op_count_eLxqMNBOBk(a)+op_count_COABgblf1C(37,op_eLxqMNBOBk(a))+op_count_HiPekx5b7W(111,78)+op_count_U7g4x0WXJJ(a,b)+op_count_JclMnS0uGI(op_HiPekx5b7W(111,78),op_U7g4x0WXJJ(a,b))+op_count_9FxExcQeMw(op_COABgblf1C(37,op_eLxqMNBOBk(a)),op_JclMnS0uGI(op_HiPekx5b7W(111,78),op_U7g4x0WXJJ(a,b)))
    return count


⇺⋃a = { (((a≀⩗∶a)∪⫐(a⩁⩘229))⪨⊡(⊥(a↰))) }

def op_E5v5B3UAjG(a):
    return op_kuIXHzHcAH(op_7YooWSwCyH(op_8INZBEW696(a,a),op_gub5Cegaqo(a,229)),op_Q3PJZHRvZv(op_bl5wxAcryP(a)))

def op_count_E5v5B3UAjG(a):
    count = op_count_8INZBEW696(a,a)+op_count_gub5Cegaqo(a,229)+op_count_7YooWSwCyH(op_8INZBEW696(a,a),op_gub5Cegaqo(a,229))+op_count_bl5wxAcryP(a)+op_count_Q3PJZHRvZv(op_bl5wxAcryP(a))+op_count_kuIXHzHcAH(op_7YooWSwCyH(op_8INZBEW696(a,a),op_gub5Cegaqo(a,229)),op_Q3PJZHRvZv(op_bl5wxAcryP(a)))
    return count


⇜a = { ((a⫳≱↱a)⊬⨰(a⪒a)) , if a>51 ; ((⩷10)⫰⋱(⫛⫱⨽a)) , else }

def op_lFBm8KRb8F(a):
    if a > 51:
        return op_s3Fd5m9Dh2(op_ZvLB05nZmT(a,a),op_f6k1SAg4EE(a,a))
    else:
        return op_6o9Blt3TJ6(op_1h0rLqGiFr(10),op_DlLNRPXxWL(a))

def op_count_lFBm8KRb8F(a):
    if a > 51:
        count = op_count_ZvLB05nZmT(a,a)+op_count_f6k1SAg4EE(a,a)+op_count_s3Fd5m9Dh2(op_ZvLB05nZmT(a,a),op_f6k1SAg4EE(a,a))
    else:
        count = op_count_1h0rLqGiFr(10)+op_count_DlLNRPXxWL(a)+op_count_6o9Blt3TJ6(op_1h0rLqGiFr(10),op_DlLNRPXxWL(a))
    return count


a⊊ = { (((⫛⫱⨽a)∙⊟a)∌((a⇂≾⫗536)⋝⋈⪟(a⫡⨏a))) , if ((a≚⋢)==7 or (a⪘⨀)==15) ; ((a≀⫉(6⪛⫼a))⫠↝⫳) , else }

def op_W9R8I5fN5A(a):
    if (op_MahUMFw56D(a) == 7 or op_aA7tF3KVD3(a) == 15):
        return op_8cLx32lpNA(op_SxTAKzQCrw(op_DlLNRPXxWL(a),a),op_2DDjHMKMc0(op_aBQ6xLxuTc(a,536),op_QMFrweE19q(a,a)))
    else:
        return op_8n5YIzOsVS(op_oZj3VtZNQx(a,op_hyuBjUqXlG(6,a)))

def op_count_W9R8I5fN5A(a):
    if (op_MahUMFw56D(a) == 7 or op_aA7tF3KVD3(a) == 15):
        count = op_count_DlLNRPXxWL(a)+op_count_SxTAKzQCrw(op_DlLNRPXxWL(a),a)+op_count_aBQ6xLxuTc(a,536)+op_count_QMFrweE19q(a,a)+op_count_2DDjHMKMc0(op_aBQ6xLxuTc(a,536),op_QMFrweE19q(a,a))+op_count_8cLx32lpNA(op_SxTAKzQCrw(op_DlLNRPXxWL(a),a),op_2DDjHMKMc0(op_aBQ6xLxuTc(a,536),op_QMFrweE19q(a,a)))+op_count_MahUMFw56D(a)+op_count_aA7tF3KVD3(a)
    else:
        count = op_count_hyuBjUqXlG(6,a)+op_count_oZj3VtZNQx(a,op_hyuBjUqXlG(6,a))+op_count_8n5YIzOsVS(op_oZj3VtZNQx(a,op_hyuBjUqXlG(6,a)))
    return count


def op_uFPyJr306J(a):
    if op_NNaDxxp6OQ(a) != 2 or op_fG6uBQFnGz(a) == 528 or op_pRsWfj4Fpp(a) >= 548:
        return op_rGHVDoGpnC(a,a)
    else:
        return op_Y7wcNGrDQJ(132,a)

def op_count_uFPyJr306J(a):
    if op_NNaDxxp6OQ(a) != 2 or op_fG6uBQFnGz(a) == 528 or op_pRsWfj4Fpp(a) >= 548:
        count = op_count_rGHVDoGpnC(a,a)+op_count_NNaDxxp6OQ(a)+op_count_fG6uBQFnGz(a)+op_count_pRsWfj4Fpp(a)
    else:
        count = op_count_Y7wcNGrDQJ(132,a)
    return count


a⇡⇂b = { (((b≹⇙⪍b)⋳⪒(b⋷a))∺≝⩲(⫟(a⩷∴43))) , if (⊬↢a)==727 or (a⇔⨋)<18 ; ((604≴⪞⇿(≻⋜b))⨐⩸⫘a) , else }

def op_UMwdvZNt44(a, b):
    if op_WPoGxAaPR1(a) == 727 or op_uBihLCJcMX(a) < 18:
        return op_KPf6cnQVty(op_12rbrZMWeM(op_AHs5Up7iyr(b,b),op_23Mk6UjR3U(b,a)),op_z4E1FaHLuy(op_9FxExcQeMw(a,43)))
    else:
        return op_fu6greOZ01(op_lvlrscuwVU(604,op_3tj9sqzovi(b)),a)

def op_count_UMwdvZNt44(a, b):
    if op_WPoGxAaPR1(a) == 727 or op_uBihLCJcMX(a) < 18:
        count = op_count_AHs5Up7iyr(b,b)+op_count_23Mk6UjR3U(b,a)+op_count_12rbrZMWeM(op_AHs5Up7iyr(b,b),op_23Mk6UjR3U(b,a))+op_count_9FxExcQeMw(a,43)+op_count_z4E1FaHLuy(op_9FxExcQeMw(a,43))+op_count_KPf6cnQVty(op_12rbrZMWeM(op_AHs5Up7iyr(b,b),op_23Mk6UjR3U(b,a)),op_z4E1FaHLuy(op_9FxExcQeMw(a,43)))+op_count_WPoGxAaPR1(a)+op_count_uBihLCJcMX(a)
    else:
        count = op_count_3tj9sqzovi(b)+op_count_lvlrscuwVU(604,op_3tj9sqzovi(b))+op_count_fu6greOZ01(op_lvlrscuwVU(604,op_3tj9sqzovi(b)),a)
    return count


def op_jiX4gk2v2Q(a):
    return op_rGHVDoGpnC(op_oZj3VtZNQx(203,a),a)

def op_count_jiX4gk2v2Q(a):
    count = op_count_oZj3VtZNQx(203,a)+op_count_rGHVDoGpnC(op_oZj3VtZNQx(203,a),a)
    return count


a⋣⋖b = { ((a⨐⩸⫘a)⨫⇇↔(⪓⩚165)) , if ((a↯⫤)>=571 and (b⫻⋑⊟)>=52) ; a , else }

def op_J0M6qkBnIM(a, b):
    if (op_VwlE7vj6HS(a) >= 571 and op_o575Zjdmzy(b) >= 52):
        return op_LXhwmt4mBO(op_fu6greOZ01(a,a),op_u0R0Locfp2(165))
    else:
        return a

def op_count_J0M6qkBnIM(a, b):
    if (op_VwlE7vj6HS(a) >= 571 and op_o575Zjdmzy(b) >= 52):
        count = op_count_fu6greOZ01(a,a)+op_count_u0R0Locfp2(165)+op_count_LXhwmt4mBO(op_fu6greOZ01(a,a),op_u0R0Locfp2(165))+op_count_VwlE7vj6HS(a)+op_count_o575Zjdmzy(b)
    else:
        count = 1
    return count


def op_r0FS3hW4cC(a):
    return op_rGHVDoGpnC(a,op_nhYeJWJD5X(181,a))

def op_count_r0FS3hW4cC(a):
    count = op_count_nhYeJWJD5X(181,a)+op_count_rGHVDoGpnC(a,op_nhYeJWJD5X(181,a))
    return count


def op_SVb2v531z1(a):
    if op_3sJ7IOPOlU(a,963) != 62:
        return op_jWTQ2TZYIH(op_5obUd6DV38(op_SWo3A1KBJH(a)),op_XnXgA4xnOs(op_AdZkA7nFnk(a,a),op_pRsWfj4Fpp(178)))
    else:
        return op_oDCm7WA9JY(op_ocnLzx9CaJ(op_YbUVn0Rbpy(541,107),op_SIgE0bArFf(a)),op_DyGG3AbaNP(op_9cloC0Ngie(a,a),op_8HhzD0ZcuI(459,6)))

def op_count_SVb2v531z1(a):
    if op_3sJ7IOPOlU(a,963) != 62:
        count = op_count_SWo3A1KBJH(a)+op_count_5obUd6DV38(op_SWo3A1KBJH(a))+op_count_AdZkA7nFnk(a,a)+op_count_pRsWfj4Fpp(178)+op_count_XnXgA4xnOs(op_AdZkA7nFnk(a,a),op_pRsWfj4Fpp(178))+op_count_jWTQ2TZYIH(op_5obUd6DV38(op_SWo3A1KBJH(a)),op_XnXgA4xnOs(op_AdZkA7nFnk(a,a),op_pRsWfj4Fpp(178)))+op_count_3sJ7IOPOlU(a,963)
    else:
        count = op_count_YbUVn0Rbpy(541,107)+op_count_SIgE0bArFf(a)+op_count_ocnLzx9CaJ(op_YbUVn0Rbpy(541,107),op_SIgE0bArFf(a))+op_count_9cloC0Ngie(a,a)+op_count_8HhzD0ZcuI(459,6)+op_count_DyGG3AbaNP(op_9cloC0Ngie(a,a),op_8HhzD0ZcuI(459,6))+op_count_oDCm7WA9JY(op_ocnLzx9CaJ(op_YbUVn0Rbpy(541,107),op_SIgE0bArFf(a)),op_DyGG3AbaNP(op_9cloC0Ngie(a,a),op_8HhzD0ZcuI(459,6)))
    return count


def op_ZGCBLdVRRX(a):
    return op_U7g4x0WXJJ(a,a)

def op_count_ZGCBLdVRRX(a):
    count = op_count_U7g4x0WXJJ(a,a)
    return count


a⊫∞ = { ((a⨐⩸⫘149)⪇≇⋚(a∪⫐a)) , if (⫵↿a)>=80 ; a , else }

def op_pABnYW3G3E(a):
    if op_ivGwdmUAux(a) >= 80:
        return op_3sJ7IOPOlU(op_fu6greOZ01(a,149),op_7YooWSwCyH(a,a))
    else:
        return a

def op_count_pABnYW3G3E(a):
    if op_ivGwdmUAux(a) >= 80:
        count = op_count_fu6greOZ01(a,149)+op_count_7YooWSwCyH(a,a)+op_count_3sJ7IOPOlU(op_fu6greOZ01(a,149),op_7YooWSwCyH(a,a))+op_count_ivGwdmUAux(a)
    else:
        count = 1
    return count


def op_nLYMGWM7L8(a):
    if a == 152:
        return op_hrf7POJlIJ(op_WR6HLWljOP(a,a),op_wicAB68Tmb(118,a))
    else:
        return op_48vC8HMD2b(op_SUmda5xLS4(a,a),op_DlLNRPXxWL(a))

def op_count_nLYMGWM7L8(a):
    if a == 152:
        count = op_count_WR6HLWljOP(a,a)+op_count_wicAB68Tmb(118,a)+op_count_hrf7POJlIJ(op_WR6HLWljOP(a,a),op_wicAB68Tmb(118,a))
    else:
        count = op_count_SUmda5xLS4(a,a)+op_count_DlLNRPXxWL(a)+op_count_48vC8HMD2b(op_SUmda5xLS4(a,a),op_DlLNRPXxWL(a))
    return count


a∥⊢⊲b = { (a⨟⋌⩍b) , if (a⫌⩹⨱)>=49 ; b , else }

def op_v1UQAVDJRr(a, b):
    if op_EBcxylXtPf(a) >= 49:
        return op_rGHVDoGpnC(a,b)
    else:
        return b

def op_count_v1UQAVDJRr(a, b):
    if op_EBcxylXtPf(a) >= 49:
        count = op_count_rGHVDoGpnC(a,b)+op_count_EBcxylXtPf(a)
    else:
        count = 1
    return count


a≝⊰⇂ = { (a⩷∴51) , if a<491 ; (⫛⫱⨽a) , else }

def op_htSmYCowi5(a):
    if a < 491:
        return op_9FxExcQeMw(a,51)
    else:
        return op_DlLNRPXxWL(a)

def op_count_htSmYCowi5(a):
    if a < 491:
        count = op_count_9FxExcQeMw(a,51)
    else:
        count = op_count_DlLNRPXxWL(a)
    return count


def op_tXD093vOjl(a, b):
    if op_u7fv1HBiaC(a) > 101:
        return op_8INZBEW696(op_fu6greOZ01(448,a),op_z6LnFrNh4i(b,a))
    else:
        return op_DyGG3AbaNP(op_mqXw5SEYmG(b,b),op_rysDP5nf3Z(65,101))

def op_count_tXD093vOjl(a, b):
    if op_u7fv1HBiaC(a) > 101:
        count = op_count_fu6greOZ01(448,a)+op_count_z6LnFrNh4i(b,a)+op_count_8INZBEW696(op_fu6greOZ01(448,a),op_z6LnFrNh4i(b,a))+op_count_u7fv1HBiaC(a)
    else:
        count = op_count_mqXw5SEYmG(b,b)+op_count_rysDP5nf3Z(65,101)+op_count_DyGG3AbaNP(op_mqXw5SEYmG(b,b),op_rysDP5nf3Z(65,101))
    return count


a⊝ = { a , if (≯a)<=30 ; (((⩦⊞a)≁↽≥(a⪉⨛a))≹⇙⪍((a⊓⋫)⪉⨛(a⫰⋱a))) , else }

def op_O6EZ0fifGK(a):
    if op_keWfFq85dY(a) <= 30:
        return a
    else:
        return op_AHs5Up7iyr(op_ncHt1X6cMc(op_u7fv1HBiaC(a),op_EWw2JM7wp4(a,a)),op_EWw2JM7wp4(op_IqGBaFP0uj(a),op_6o9Blt3TJ6(a,a)))

def op_count_O6EZ0fifGK(a):
    if op_keWfFq85dY(a) <= 30:
        count = 1
    else:
        count = op_count_u7fv1HBiaC(a)+op_count_EWw2JM7wp4(a,a)+op_count_ncHt1X6cMc(op_u7fv1HBiaC(a),op_EWw2JM7wp4(a,a))+op_count_IqGBaFP0uj(a)+op_count_6o9Blt3TJ6(a,a)+op_count_EWw2JM7wp4(op_IqGBaFP0uj(a),op_6o9Blt3TJ6(a,a))+op_count_AHs5Up7iyr(op_ncHt1X6cMc(op_u7fv1HBiaC(a),op_EWw2JM7wp4(a,a)),op_EWw2JM7wp4(op_IqGBaFP0uj(a),op_6o9Blt3TJ6(a,a)))
    return count


def op_CoMdbyAt7R(a):
    return op_U6pG0PXrV3(op_DyGG3AbaNP(op_3DZMoQKiUl(a),op_liw5iZPkLH(a)))

def op_count_CoMdbyAt7R(a):
    count = op_count_3DZMoQKiUl(a)+op_count_liw5iZPkLH(a)+op_count_DyGG3AbaNP(op_3DZMoQKiUl(a),op_liw5iZPkLH(a))+op_count_U6pG0PXrV3(op_DyGG3AbaNP(op_3DZMoQKiUl(a),op_liw5iZPkLH(a)))
    return count


def op_2k53nXOpI5(a):
    return op_7t3wd0Fuz7(op_3tVxb0NHM4(a,op_AcOhelriW5(a)),op_ddLRYrp01A(a,op_Q3PJZHRvZv(a)))

def op_count_2k53nXOpI5(a):
    count = op_count_AcOhelriW5(a)+op_count_3tVxb0NHM4(a,op_AcOhelriW5(a))+op_count_Q3PJZHRvZv(a)+op_count_ddLRYrp01A(a,op_Q3PJZHRvZv(a))+op_count_7t3wd0Fuz7(op_3tVxb0NHM4(a,op_AcOhelriW5(a)),op_ddLRYrp01A(a,op_Q3PJZHRvZv(a)))
    return count


a⫒⫫b = { (b≹⇙⪍a) , if (a∁)>135 ; (b⇌⫙⪟a) , else }

def op_6Ko8hGgeMq(a, b):
    if op_jdwGQqwJi5(a) > 135:
        return op_AHs5Up7iyr(b,a)
    else:
        return op_AFVx7xoS7T(b,a)

def op_count_6Ko8hGgeMq(a, b):
    if op_jdwGQqwJi5(a) > 135:
        count = op_count_AHs5Up7iyr(b,a)+op_count_jdwGQqwJi5(a)
    else:
        count = op_count_AFVx7xoS7T(b,a)
    return count


def op_HnzytWxmAO(a, b):
    return op_QbnwKVWMIQ(op_U7g4x0WXJJ(op_2GS7woTJqF(b,b),b),a)

def op_count_HnzytWxmAO(a, b):
    count = op_count_2GS7woTJqF(b,b)+op_count_U7g4x0WXJJ(op_2GS7woTJqF(b,b),b)+op_count_QbnwKVWMIQ(op_U7g4x0WXJJ(op_2GS7woTJqF(b,b),b),a)
    return count


a⨼⩣b = { ((∐⩳⋚(b⩘a))⪛((∡129)⫥∨⫟(a⫲⨊))) }

def op_JxwMv5le6e(a, b):
    return op_uFcxV4UQCh(op_SL6IHkK8vl(op_cHh1gJQ2o6(b,a)),op_KYD54nUTWz(op_pRsWfj4Fpp(129),op_CArV6hThFE(a)))

def op_count_JxwMv5le6e(a, b):
    count = op_count_cHh1gJQ2o6(b,a)+op_count_SL6IHkK8vl(op_cHh1gJQ2o6(b,a))+op_count_pRsWfj4Fpp(129)+op_count_CArV6hThFE(a)+op_count_KYD54nUTWz(op_pRsWfj4Fpp(129),op_CArV6hThFE(a))+op_count_uFcxV4UQCh(op_SL6IHkK8vl(op_cHh1gJQ2o6(b,a)),op_KYD54nUTWz(op_pRsWfj4Fpp(129),op_CArV6hThFE(a)))
    return count


def op_yIPP7u6H5x(a):
    return op_GjBEYRfMaF(op_3tVxb0NHM4(op_fu6greOZ01(a,a),op_9HNa5Wba9A(696,a)),op_SUmda5xLS4(224,op_nOKPl9n5zu(a)))

def op_count_yIPP7u6H5x(a):
    count = op_count_fu6greOZ01(a,a)+op_count_9HNa5Wba9A(696,a)+op_count_3tVxb0NHM4(op_fu6greOZ01(a,a),op_9HNa5Wba9A(696,a))+op_count_nOKPl9n5zu(a)+op_count_SUmda5xLS4(224,op_nOKPl9n5zu(a))+op_count_GjBEYRfMaF(op_3tVxb0NHM4(op_fu6greOZ01(a,a),op_9HNa5Wba9A(696,a)),op_SUmda5xLS4(224,op_nOKPl9n5zu(a)))
    return count


a≄⊠b = { ((a∼b)⫯⪬∳(b∲⫓138)) , if (a⫣⪄⊒915)>=34 ; (⋗⩴⪓(b⫣⪄⊒b)) , else }

def op_vXNesLlMH1(a, b):
    if op_RabNbG55vr(a,915) >= 34:
        return op_d7ASUq0ydm(op_DyGG3AbaNP(a,b),op_i8ToyICDmI(b,138))
    else:
        return op_nOKPl9n5zu(op_RabNbG55vr(b,b))

def op_count_vXNesLlMH1(a, b):
    if op_RabNbG55vr(a,915) >= 34:
        count = op_count_DyGG3AbaNP(a,b)+op_count_i8ToyICDmI(b,138)+op_count_d7ASUq0ydm(op_DyGG3AbaNP(a,b),op_i8ToyICDmI(b,138))+op_count_RabNbG55vr(a,915)
    else:
        count = op_count_RabNbG55vr(b,b)+op_count_nOKPl9n5zu(op_RabNbG55vr(b,b))
    return count


def op_KvvgdUaMHJ(a):
    return op_Uaa54Peajs(op_KYD54nUTWz(a,a))

def op_count_KvvgdUaMHJ(a):
    count = op_count_KYD54nUTWz(a,a)+op_count_Uaa54Peajs(op_KYD54nUTWz(a,a))
    return count


def op_4n53wtyJvv(a):
    return op_nCS4ZIUYfx(op_WR6HLWljOP(316,a),op_Uaa54Peajs(255))

def op_count_4n53wtyJvv(a):
    count = op_count_WR6HLWljOP(316,a)+op_count_Uaa54Peajs(255)+op_count_nCS4ZIUYfx(op_WR6HLWljOP(316,a),op_Uaa54Peajs(255))
    return count


def op_RqrPlJkxDo(a, b):
    if op_CArV6hThFE(b) <= 80:
        return a
    else:
        return op_Uaa54Peajs(op_13rbtpv6ld(243,b))

def op_count_RqrPlJkxDo(a, b):
    if op_CArV6hThFE(b) <= 80:
        count = 1
    else:
        count = op_count_13rbtpv6ld(243,b)+op_count_Uaa54Peajs(op_13rbtpv6ld(243,b))
    return count


a≁b = { (∨∊⋏b) , if (⇨a)<365 ; ((a⪎↠b)↬(b⫒⫫b)) , else }

def op_8N2wDY1A35(a, b):
    if op_G9tJMlZ94a(a) < 365:
        return op_R5aXW34M0v(b)
    else:
        return op_B5M0gjZbta(op_3tVxb0NHM4(a,b),op_6Ko8hGgeMq(b,b))

def op_count_8N2wDY1A35(a, b):
    if op_G9tJMlZ94a(a) < 365:
        count = op_count_R5aXW34M0v(b)+op_count_G9tJMlZ94a(a)
    else:
        count = op_count_3tVxb0NHM4(a,b)+op_count_6Ko8hGgeMq(b,b)+op_count_B5M0gjZbta(op_3tVxb0NHM4(a,b),op_6Ko8hGgeMq(b,b))
    return count


a⫗⊷⫓b = { ((∂(b⨂≜a))⫩⊇) , if (↣≠⋷b)<=196 ; ((∷≠(a⊋≦⊧b))↓((b≎⊠⪸a)⪪(a≀⩗∶b))) , else }

def op_zashukvMKz(a, b):
    if op_Asc51vEJeQ(b) <= 196:
        return op_BjRHVeLaeN(op_Uaa54Peajs(op_k1SHOSEABc(b,a)))
    else:
        return op_Af076pWI7l(op_QiR2Oyf5Xj(op_oRDoc9rAEX(a,b)),op_xD69zh8xqp(op_bJkvcejdHO(b,a),op_8INZBEW696(a,b)))

def op_count_zashukvMKz(a, b):
    if op_Asc51vEJeQ(b) <= 196:
        count = op_count_k1SHOSEABc(b,a)+op_count_Uaa54Peajs(op_k1SHOSEABc(b,a))+op_count_BjRHVeLaeN(op_Uaa54Peajs(op_k1SHOSEABc(b,a)))+op_count_Asc51vEJeQ(b)
    else:
        count = op_count_oRDoc9rAEX(a,b)+op_count_QiR2Oyf5Xj(op_oRDoc9rAEX(a,b))+op_count_bJkvcejdHO(b,a)+op_count_8INZBEW696(a,b)+op_count_xD69zh8xqp(op_bJkvcejdHO(b,a),op_8INZBEW696(a,b))+op_count_Af076pWI7l(op_QiR2Oyf5Xj(op_oRDoc9rAEX(a,b)),op_xD69zh8xqp(op_bJkvcejdHO(b,a),op_8INZBEW696(a,b)))
    return count


def op_hpqmaQFPrd(a):
    return op_rxpJgHHUmx(a,a)

def op_count_hpqmaQFPrd(a):
    count = op_count_rxpJgHHUmx(a,a)
    return count


def op_IkUmn0D7oy(a):
    return op_oRDoc9rAEX(op_AdZkA7nFnk(a,254),op_megm06wKyl(a))

def op_count_IkUmn0D7oy(a):
    count = op_count_AdZkA7nFnk(a,254)+op_count_megm06wKyl(a)+op_count_oRDoc9rAEX(op_AdZkA7nFnk(a,254),op_megm06wKyl(a))
    return count


⊊≼∋a = { (a↬a) , if a<=50 ; (a⇻⋧≁a) , else }

def op_FWz7pXsQhA(a):
    if a <= 50:
        return op_B5M0gjZbta(a,a)
    else:
        return op_jCPkEVoL5K(a,a)

def op_count_FWz7pXsQhA(a):
    if a <= 50:
        count = op_count_B5M0gjZbta(a,a)
    else:
        count = op_count_jCPkEVoL5K(a,a)
    return count


def op_Z8Yg6dlDSp(a):
    return op_T2fj7uvVaJ(op_5KTvxBwnZo(a,a),op_inkyxCbjAn(a))

def op_count_Z8Yg6dlDSp(a):
    count = op_count_5KTvxBwnZo(a,a)+op_count_inkyxCbjAn(a)+op_count_T2fj7uvVaJ(op_5KTvxBwnZo(a,a),op_inkyxCbjAn(a))
    return count


def op_kMhfGuqI2H(a):
    if op_ZGCBLdVRRX(a) != 444:
        return op_lFBm8KRb8F(op_6aG7x05OhS(a))
    else:
        return op_z63VuFQld9(op_f6k1SAg4EE(a,a))

def op_count_kMhfGuqI2H(a):
    if op_ZGCBLdVRRX(a) != 444:
        count = op_count_6aG7x05OhS(a)+op_count_lFBm8KRb8F(op_6aG7x05OhS(a))+op_count_ZGCBLdVRRX(a)
    else:
        count = op_count_f6k1SAg4EE(a,a)+op_count_z63VuFQld9(op_f6k1SAg4EE(a,a))
    return count


def op_lyWz822IDG(a, b):
    if op_oacrs7FA3X(a,419) == 234:
        return op_W7eaUhjymW(op_w2P8NbNXyL(op_0kmYd0q39Y(132,9),op_3sJ7IOPOlU(a,a)))
    else:
        return op_5twsqlHp2o(op_Bmrmz2XGnR(op_WkeUrDK8WX(124),op_CpSg5vQTgA(b)),op_B5M0gjZbta(op_aMUSaJuDRU(16),op_03sUfWo75k(a)))

def op_count_lyWz822IDG(a, b):
    if op_oacrs7FA3X(a,419) == 234:
        count = op_count_0kmYd0q39Y(132,9)+op_count_3sJ7IOPOlU(a,a)+op_count_w2P8NbNXyL(op_0kmYd0q39Y(132,9),op_3sJ7IOPOlU(a,a))+op_count_W7eaUhjymW(op_w2P8NbNXyL(op_0kmYd0q39Y(132,9),op_3sJ7IOPOlU(a,a)))+op_count_oacrs7FA3X(a,419)
    else:
        count = op_count_WkeUrDK8WX(124)+op_count_CpSg5vQTgA(b)+op_count_Bmrmz2XGnR(op_WkeUrDK8WX(124),op_CpSg5vQTgA(b))+op_count_aMUSaJuDRU(16)+op_count_03sUfWo75k(a)+op_count_B5M0gjZbta(op_aMUSaJuDRU(16),op_03sUfWo75k(a))+op_count_5twsqlHp2o(op_Bmrmz2XGnR(op_WkeUrDK8WX(124),op_CpSg5vQTgA(b)),op_B5M0gjZbta(op_aMUSaJuDRU(16),op_03sUfWo75k(a)))
    return count


a⪓⨏ = { (((⨣⨃⇪a)≭(a⊊))⫢⨠((a⪇≇⋚a)⩘(413≥⨤⩑a))) , if (⇁⨣⪵a)<1 ; ((⋗⩴⪓(191∧))⫢⨠(⨛(a⊴a))) , else }

def op_4X9JU4Jbn6(a):
    if op_inkyxCbjAn(a) < 1:
        return op_xlXykHWxX1(op_rxpJgHHUmx(op_AcOhelriW5(a),op_W9R8I5fN5A(a)),op_cHh1gJQ2o6(op_3sJ7IOPOlU(a,a),op_gJLn6v0xnP(413,a)))
    else:
        return op_xlXykHWxX1(op_nOKPl9n5zu(op_z63VuFQld9(191)),op_CoMdbyAt7R(op_Nsiff2A1zJ(a,a)))

def op_count_4X9JU4Jbn6(a):
    if op_inkyxCbjAn(a) < 1:
        count = op_count_AcOhelriW5(a)+op_count_W9R8I5fN5A(a)+op_count_rxpJgHHUmx(op_AcOhelriW5(a),op_W9R8I5fN5A(a))+op_count_3sJ7IOPOlU(a,a)+op_count_gJLn6v0xnP(413,a)+op_count_cHh1gJQ2o6(op_3sJ7IOPOlU(a,a),op_gJLn6v0xnP(413,a))+op_count_xlXykHWxX1(op_rxpJgHHUmx(op_AcOhelriW5(a),op_W9R8I5fN5A(a)),op_cHh1gJQ2o6(op_3sJ7IOPOlU(a,a),op_gJLn6v0xnP(413,a)))+op_count_inkyxCbjAn(a)
    else:
        count = op_count_z63VuFQld9(191)+op_count_nOKPl9n5zu(op_z63VuFQld9(191))+op_count_Nsiff2A1zJ(a,a)+op_count_CoMdbyAt7R(op_Nsiff2A1zJ(a,a))+op_count_xlXykHWxX1(op_nOKPl9n5zu(op_z63VuFQld9(191)),op_CoMdbyAt7R(op_Nsiff2A1zJ(a,a)))
    return count


a⪥⨬⪅ = { (((a⨎1)⊹∫⫚(a⇄a))⫯⪬∳((a∽a)↳≱(∂a))) }

def op_zNRQejTB5A(a):
    return op_d7ASUq0ydm(op_uWAJUKEvyW(op_rJVOvQCfKK(a,1),op_3EYGwJThht(a,a)),op_JwTKLfZU96(op_y4ImoPnbV5(a,a),op_Uaa54Peajs(a)))

def op_count_zNRQejTB5A(a):
    count = op_count_rJVOvQCfKK(a,1)+op_count_3EYGwJThht(a,a)+op_count_uWAJUKEvyW(op_rJVOvQCfKK(a,1),op_3EYGwJThht(a,a))+op_count_y4ImoPnbV5(a,a)+op_count_Uaa54Peajs(a)+op_count_JwTKLfZU96(op_y4ImoPnbV5(a,a),op_Uaa54Peajs(a))+op_count_d7ASUq0ydm(op_uWAJUKEvyW(op_rJVOvQCfKK(a,1),op_3EYGwJThht(a,a)),op_JwTKLfZU96(op_y4ImoPnbV5(a,a),op_Uaa54Peajs(a)))
    return count


def op_OXDGMFPWZM(a, b):
    return op_13rbtpv6ld(op_inkyxCbjAn(659),op_kn8WO9XteQ(b,a))

def op_count_OXDGMFPWZM(a, b):
    count = op_count_inkyxCbjAn(659)+op_count_kn8WO9XteQ(b,a)+op_count_13rbtpv6ld(op_inkyxCbjAn(659),op_kn8WO9XteQ(b,a))
    return count


a⇍⊗b = { (((b⊉≛↸b)⪇≇⋚(447⊉≛↸a))⊢(∂(b∊∟⩊b))) }

def op_5uvYHDjeKN(a, b):
    return op_5twsqlHp2o(op_3sJ7IOPOlU(op_DZ8iAZOCBD(b,b),op_DZ8iAZOCBD(447,a)),op_Uaa54Peajs(op_ddLRYrp01A(b,b)))

def op_count_5uvYHDjeKN(a, b):
    count = op_count_DZ8iAZOCBD(b,b)+op_count_DZ8iAZOCBD(447,a)+op_count_3sJ7IOPOlU(op_DZ8iAZOCBD(b,b),op_DZ8iAZOCBD(447,a))+op_count_ddLRYrp01A(b,b)+op_count_Uaa54Peajs(op_ddLRYrp01A(b,b))+op_count_5twsqlHp2o(op_3sJ7IOPOlU(op_DZ8iAZOCBD(b,b),op_DZ8iAZOCBD(447,a)),op_Uaa54Peajs(op_ddLRYrp01A(b,b)))
    return count


def op_XIIwhv8d0m(a, b):
    return op_MRPaB8lBjK(op_vkpjKywKVM(op_B5M0gjZbta(a,179),op_UMwdvZNt44(b,b)))

def op_count_XIIwhv8d0m(a, b):
    count = op_count_B5M0gjZbta(a,179)+op_count_UMwdvZNt44(b,b)+op_count_vkpjKywKVM(op_B5M0gjZbta(a,179),op_UMwdvZNt44(b,b))+op_count_MRPaB8lBjK(op_vkpjKywKVM(op_B5M0gjZbta(a,179),op_UMwdvZNt44(b,b)))
    return count


a↦ = { (((a⊹∫⫚a)*177)⊹∫⫚((579⨰53)⪍↜⋙a)) , if a<72 ; ((⇁⨣⪵(a⫯⪬∳a))⫁⪎((a∘a)≹⇙⪍(a⇮⋭a))) , else }

def op_fFznvYxMfW(a):
    if a < 72:
        return op_uWAJUKEvyW(op_9HNa5Wba9A(op_uWAJUKEvyW(a,a),177),op_L05ObWFQCd(op_eewbuw0ToL(579,53),a))
    else:
        return op_xRrnTEsQ6j(op_inkyxCbjAn(op_d7ASUq0ydm(a,a)),op_AHs5Up7iyr(op_Z5m6OM72h2(a,a),op_vkpjKywKVM(a,a)))

def op_count_fFznvYxMfW(a):
    if a < 72:
        count = op_count_uWAJUKEvyW(a,a)+op_count_9HNa5Wba9A(op_uWAJUKEvyW(a,a),177)+op_count_eewbuw0ToL(579,53)+op_count_L05ObWFQCd(op_eewbuw0ToL(579,53),a)+op_count_uWAJUKEvyW(op_9HNa5Wba9A(op_uWAJUKEvyW(a,a),177),op_L05ObWFQCd(op_eewbuw0ToL(579,53),a))
    else:
        count = op_count_d7ASUq0ydm(a,a)+op_count_inkyxCbjAn(op_d7ASUq0ydm(a,a))+op_count_Z5m6OM72h2(a,a)+op_count_vkpjKywKVM(a,a)+op_count_AHs5Up7iyr(op_Z5m6OM72h2(a,a),op_vkpjKywKVM(a,a))+op_count_xRrnTEsQ6j(op_inkyxCbjAn(op_d7ASUq0ydm(a,a)),op_AHs5Up7iyr(op_Z5m6OM72h2(a,a),op_vkpjKywKVM(a,a)))
    return count


def op_XVKwrhznBb(a):
    return op_FyVja0WsTP(op_TpPTUOHfaN(326,a),op_UqFzSgLMvQ(a))

def op_count_XVKwrhznBb(a):
    count = op_count_TpPTUOHfaN(326,a)+op_count_UqFzSgLMvQ(a)+op_count_FyVja0WsTP(op_TpPTUOHfaN(326,a),op_UqFzSgLMvQ(a))
    return count


a⪭≯b = { (((b⨽∌374)⪔⊥(⋼∭⪍b))+⇶⊼((≋a)≓∲(↨⩢⫨a))) }

def op_XAx5wpdLa6(a, b):
    return op_TpPTUOHfaN(op_HJ9erzHUuu(op_9samAPKr6k(b,374),op_DbCuESL50I(b)),op_s1XTVnmDOJ(op_61wBmkZwlr(a),op_Z5CJsN7DuW(a)))

def op_count_XAx5wpdLa6(a, b):
    count = op_count_9samAPKr6k(b,374)+op_count_DbCuESL50I(b)+op_count_HJ9erzHUuu(op_9samAPKr6k(b,374),op_DbCuESL50I(b))+op_count_61wBmkZwlr(a)+op_count_Z5CJsN7DuW(a)+op_count_s1XTVnmDOJ(op_61wBmkZwlr(a),op_Z5CJsN7DuW(a))+op_count_TpPTUOHfaN(op_HJ9erzHUuu(op_9samAPKr6k(b,374),op_DbCuESL50I(b)),op_s1XTVnmDOJ(op_61wBmkZwlr(a),op_Z5CJsN7DuW(a)))
    return count


⨦⪝a = { (⫎≠⋺((a≳⇉a)⨎(⊵⊁a))) , if (a∙∹∝10)>301 ; ((⨣⨃⇪(a≭a))⊚⫡⫭) , else }

def op_SUjycxNXIR(a):
    if op_HmxsFra2vL(a,10) > 301:
        return op_LYeZOJ0nQG(op_rJVOvQCfKK(op_V0kx6qeWkN(a,a),op_AvED76WdY7(a)))
    else:
        return op_SpZWOsLKZJ(op_AcOhelriW5(op_rxpJgHHUmx(a,a)))

def op_count_SUjycxNXIR(a):
    if op_HmxsFra2vL(a,10) > 301:
        count = op_count_V0kx6qeWkN(a,a)+op_count_AvED76WdY7(a)+op_count_rJVOvQCfKK(op_V0kx6qeWkN(a,a),op_AvED76WdY7(a))+op_count_LYeZOJ0nQG(op_rJVOvQCfKK(op_V0kx6qeWkN(a,a),op_AvED76WdY7(a)))+op_count_HmxsFra2vL(a,10)
    else:
        count = op_count_rxpJgHHUmx(a,a)+op_count_AcOhelriW5(op_rxpJgHHUmx(a,a))+op_count_SpZWOsLKZJ(op_AcOhelriW5(op_rxpJgHHUmx(a,a)))
    return count


def op_QxG7OkqoLX(a):
    if op_VJ330n2nnx(a) < 402:
        return op_g55IO6H4Gj(a,761)
    else:
        return op_z63VuFQld9(a)

def op_count_QxG7OkqoLX(a):
    if op_VJ330n2nnx(a) < 402:
        count = op_count_g55IO6H4Gj(a,761)+op_count_VJ330n2nnx(a)
    else:
        count = op_count_z63VuFQld9(a)
    return count


a⋹ = { ((⨴⫝a)⇷(a↤⩊a)) , if (a≃⋄)<20 or (⊢≑≆a)<=20 ; ((a⨰a)∧) , else }

def op_opAxDRczMr(a):
    if op_aN9a90urxU(a) < 20 or op_27wFxooxGf(a) <= 20:
        return op_mp7IySMOzn(op_SVb2v531z1(a),op_13rbtpv6ld(a,a))
    else:
        return op_z63VuFQld9(op_eewbuw0ToL(a,a))

def op_count_opAxDRczMr(a):
    if op_aN9a90urxU(a) < 20 or op_27wFxooxGf(a) <= 20:
        count = op_count_SVb2v531z1(a)+op_count_13rbtpv6ld(a,a)+op_count_mp7IySMOzn(op_SVb2v531z1(a),op_13rbtpv6ld(a,a))+op_count_aN9a90urxU(a)+op_count_27wFxooxGf(a)
    else:
        count = op_count_eewbuw0ToL(a,a)+op_count_z63VuFQld9(op_eewbuw0ToL(a,a))
    return count


def op_XXmTpEpWTW(a):
    return op_8cLx32lpNA(op_HnzytWxmAO(a,a),op_rxpJgHHUmx(a,31))

def op_count_XXmTpEpWTW(a):
    count = op_count_HnzytWxmAO(a,a)+op_count_rxpJgHHUmx(a,31)+op_count_8cLx32lpNA(op_HnzytWxmAO(a,a),op_rxpJgHHUmx(a,31))
    return count


def op_oH594TLvBK(a):
    return op_MXaNJeIAZ3(op_COABgblf1C(a,127))

def op_count_oH594TLvBK(a):
    count = op_count_COABgblf1C(a,127)+op_count_MXaNJeIAZ3(op_COABgblf1C(a,127))
    return count


def op_S7Dkc5Re0B(a):
    return op_y4ImoPnbV5(op_g7Hmc5v1ko(a,17),op_09Ly4LVMIf(a,a))

def op_count_S7Dkc5Re0B(a):
    count = op_count_g7Hmc5v1ko(a,17)+op_count_09Ly4LVMIf(a,a)+op_count_y4ImoPnbV5(op_g7Hmc5v1ko(a,17),op_09Ly4LVMIf(a,a))
    return count


def op_KvubFp3XhO(a):
    return op_j9kHMeSvPp(op_E4l6HwMY31(op_t8gj7n24qd(459),op_PxiHyQbrIp(a)),a)

def op_count_KvubFp3XhO(a):
    count = op_count_t8gj7n24qd(459)+op_count_PxiHyQbrIp(a)+op_count_E4l6HwMY31(op_t8gj7n24qd(459),op_PxiHyQbrIp(a))+op_count_j9kHMeSvPp(op_E4l6HwMY31(op_t8gj7n24qd(459),op_PxiHyQbrIp(a)),a)
    return count


def op_UpkSd4zESC(a, b):
    return op_KPf6cnQVty(op_VJ330n2nnx(op_3EYGwJThht(b,a)),op_k7HXdKtiEU(op_Ph9nP6C5qx(a,43)))

def op_count_UpkSd4zESC(a, b):
    count = op_count_3EYGwJThht(b,a)+op_count_VJ330n2nnx(op_3EYGwJThht(b,a))+op_count_Ph9nP6C5qx(a,43)+op_count_k7HXdKtiEU(op_Ph9nP6C5qx(a,43))+op_count_KPf6cnQVty(op_VJ330n2nnx(op_3EYGwJThht(b,a)),op_k7HXdKtiEU(op_Ph9nP6C5qx(a,43)))
    return count


⨍⩸↶a = { (((a⫲)⇌⫙⪟(a≠≀a))∠⫱((a⇴4)⪇≇⋚(a⫰⋱a))) }

def op_2jG7DiviLq(a):
    return op_QvoQhV0rrE(op_AFVx7xoS7T(op_9xnGDUPbC6(a),op_IwW236VD4Y(a,a)),op_3sJ7IOPOlU(op_4JB6nKBMSY(a,4),op_6o9Blt3TJ6(a,a)))

def op_count_2jG7DiviLq(a):
    count = op_count_9xnGDUPbC6(a)+op_count_IwW236VD4Y(a,a)+op_count_AFVx7xoS7T(op_9xnGDUPbC6(a),op_IwW236VD4Y(a,a))+op_count_4JB6nKBMSY(a,4)+op_count_6o9Blt3TJ6(a,a)+op_count_3sJ7IOPOlU(op_4JB6nKBMSY(a,4),op_6o9Blt3TJ6(a,a))+op_count_QvoQhV0rrE(op_AFVx7xoS7T(op_9xnGDUPbC6(a),op_IwW236VD4Y(a,a)),op_3sJ7IOPOlU(op_4JB6nKBMSY(a,4),op_6o9Blt3TJ6(a,a)))
    return count


def op_EO7Xdgo9So(a):
    return op_Noe24qw2ks(op_bF6eod5Gvf(20,a),op_IGFM8TAlm9(124))

def op_count_EO7Xdgo9So(a):
    count = op_count_bF6eod5Gvf(20,a)+op_count_IGFM8TAlm9(124)+op_count_Noe24qw2ks(op_bF6eod5Gvf(20,a),op_IGFM8TAlm9(124))
    return count


def op_tmjFFOTKyA(a):
    return op_KFSx94NKJn(a,a)

def op_count_tmjFFOTKyA(a):
    count = op_count_KFSx94NKJn(a,a)
    return count


a⨰↻⪇b = { (((b⊢a)⩚⊴⇥(b∣b))∠↢((a⊋≦⊧a)⋅⇍(b∺≝⩲a))) }

def op_nbuSfrB4hB(a, b):
    return op_KbjG8mgYpV(op_NTOWxs364D(op_5twsqlHp2o(b,a),op_PPChnnnBFF(b,b)),op_AdZkA7nFnk(op_oRDoc9rAEX(a,a),op_KPf6cnQVty(b,a)))

def op_count_nbuSfrB4hB(a, b):
    count = op_count_5twsqlHp2o(b,a)+op_count_PPChnnnBFF(b,b)+op_count_NTOWxs364D(op_5twsqlHp2o(b,a),op_PPChnnnBFF(b,b))+op_count_oRDoc9rAEX(a,a)+op_count_KPf6cnQVty(b,a)+op_count_AdZkA7nFnk(op_oRDoc9rAEX(a,a),op_KPf6cnQVty(b,a))+op_count_KbjG8mgYpV(op_NTOWxs364D(op_5twsqlHp2o(b,a),op_PPChnnnBFF(b,b)),op_AdZkA7nFnk(op_oRDoc9rAEX(a,a),op_KPf6cnQVty(b,a)))
    return count


def op_QErWpSDGk0(a):
    return op_09Ly4LVMIf(op_7j4O788W3g(op_k2HlF1dBQh(a),op_DmTXOeWf9t(a,a)),op_ztP7wcbY7m(op_DZ8iAZOCBD(a,a)))

def op_count_QErWpSDGk0(a):
    count = op_count_k2HlF1dBQh(a)+op_count_DmTXOeWf9t(a,a)+op_count_7j4O788W3g(op_k2HlF1dBQh(a),op_DmTXOeWf9t(a,a))+op_count_DZ8iAZOCBD(a,a)+op_count_ztP7wcbY7m(op_DZ8iAZOCBD(a,a))+op_count_09Ly4LVMIf(op_7j4O788W3g(op_k2HlF1dBQh(a),op_DmTXOeWf9t(a,a)),op_ztP7wcbY7m(op_DZ8iAZOCBD(a,a)))
    return count


def op_3FtlcrQcJU(a):
    return op_HmxsFra2vL(a,a)

def op_count_3FtlcrQcJU(a):
    count = op_count_HmxsFra2vL(a,a)
    return count


a⊚⨔ = { ((↞≼(a⨳⩥⨓a))↼⊘⨖((a⩇∃⫛a)⊉≛↸(a⨳⩥⨓a))) }

def op_XbEAUggs3J(a):
    return op_bPywburJMS(op_DE7zCoGJt9(op_nCS4ZIUYfx(a,a)),op_DZ8iAZOCBD(op_1aApVXNlOP(a,a),op_nCS4ZIUYfx(a,a)))

def op_count_XbEAUggs3J(a):
    count = op_count_nCS4ZIUYfx(a,a)+op_count_DE7zCoGJt9(op_nCS4ZIUYfx(a,a))+op_count_1aApVXNlOP(a,a)+op_count_nCS4ZIUYfx(a,a)+op_count_DZ8iAZOCBD(op_1aApVXNlOP(a,a),op_nCS4ZIUYfx(a,a))+op_count_bPywburJMS(op_DE7zCoGJt9(op_nCS4ZIUYfx(a,a)),op_DZ8iAZOCBD(op_1aApVXNlOP(a,a),op_nCS4ZIUYfx(a,a)))
    return count


a↭↢≔ = { (((a⊭↱7)→⨶⪴(a⇔⨋))↹⊜((a∷294)≠≀(⩏⊷≩a))) }

def op_Q6LsZf8ZYd(a):
    return op_9bazX3JMtO(op_bF6eod5Gvf(op_COABgblf1C(a,7),op_uBihLCJcMX(a)),op_IwW236VD4Y(op_D3AQDKkPcf(a,294),op_uOZ1tnYMDE(a)))

def op_count_Q6LsZf8ZYd(a):
    count = op_count_COABgblf1C(a,7)+op_count_uBihLCJcMX(a)+op_count_bF6eod5Gvf(op_COABgblf1C(a,7),op_uBihLCJcMX(a))+op_count_D3AQDKkPcf(a,294)+op_count_uOZ1tnYMDE(a)+op_count_IwW236VD4Y(op_D3AQDKkPcf(a,294),op_uOZ1tnYMDE(a))+op_count_9bazX3JMtO(op_bF6eod5Gvf(op_COABgblf1C(a,7),op_uBihLCJcMX(a)),op_IwW236VD4Y(op_D3AQDKkPcf(a,294),op_uOZ1tnYMDE(a)))
    return count


def op_oDvtRyfmAM(a):
    return op_IwW236VD4Y(481,a)

def op_count_oDvtRyfmAM(a):
    count = op_count_IwW236VD4Y(481,a)
    return count


def op_jvbZP6NeOL(a):
    return op_PPChnnnBFF(op_cTDWOvIxvz(94,296),op_86A5ENbKR9(a))

def op_count_jvbZP6NeOL(a):
    count = op_count_cTDWOvIxvz(94,296)+op_count_86A5ENbKR9(a)+op_count_PPChnnnBFF(op_cTDWOvIxvz(94,296),op_86A5ENbKR9(a))
    return count


a⊇≀≁ = { (((455∲⫓a)⪉⨛(465⩧⪆a))⫁⪎((a⫡⨏a)⊝⪿⪼(36⩼⇪↪a))) }

def op_AfoL3wC8aT(a):
    return op_xRrnTEsQ6j(op_EWw2JM7wp4(op_i8ToyICDmI(455,a),op_Ikt5ks8PT7(465,a)),op_3Oe9XWJUTD(op_QMFrweE19q(a,a),op_ocnLzx9CaJ(36,a)))

def op_count_AfoL3wC8aT(a):
    count = op_count_i8ToyICDmI(455,a)+op_count_Ikt5ks8PT7(465,a)+op_count_EWw2JM7wp4(op_i8ToyICDmI(455,a),op_Ikt5ks8PT7(465,a))+op_count_QMFrweE19q(a,a)+op_count_ocnLzx9CaJ(36,a)+op_count_3Oe9XWJUTD(op_QMFrweE19q(a,a),op_ocnLzx9CaJ(36,a))+op_count_xRrnTEsQ6j(op_EWw2JM7wp4(op_i8ToyICDmI(455,a),op_Ikt5ks8PT7(465,a)),op_3Oe9XWJUTD(op_QMFrweE19q(a,a),op_ocnLzx9CaJ(36,a)))
    return count


def op_j4geBLYVFK(a):
    return op_L05ObWFQCd(op_5twsqlHp2o(a,a),op_d7ASUq0ydm(a,a))

def op_count_j4geBLYVFK(a):
    count = op_count_5twsqlHp2o(a,a)+op_count_d7ASUq0ydm(a,a)+op_count_L05ObWFQCd(op_5twsqlHp2o(a,a),op_d7ASUq0ydm(a,a))
    return count


def op_SHWCOp9I4E(a):
    return op_COABgblf1C(a,op_KFSx94NKJn(op_KipPnG1M2J(a),op_cTDWOvIxvz(a,a)))

def op_count_SHWCOp9I4E(a):
    count = op_count_KipPnG1M2J(a)+op_count_cTDWOvIxvz(a,a)+op_count_KFSx94NKJn(op_KipPnG1M2J(a),op_cTDWOvIxvz(a,a))+op_count_COABgblf1C(a,op_KFSx94NKJn(op_KipPnG1M2J(a),op_cTDWOvIxvz(a,a)))
    return count


def op_IxJHfR5psi(a, b):
    return op_3Oe9XWJUTD(op_AF7qkfDlqP(b),op_bF6eod5Gvf(b,a))

def op_count_IxJHfR5psi(a, b):
    count = op_count_AF7qkfDlqP(b)+op_count_bF6eod5Gvf(b,a)+op_count_3Oe9XWJUTD(op_AF7qkfDlqP(b),op_bF6eod5Gvf(b,a))
    return count


def op_oj4YnGA3cE(a):
    return op_7j4O788W3g(op_cTDWOvIxvz(op_6o9Blt3TJ6(a,a),op_3Oe9XWJUTD(a,a)),op_u6S6b8DprG(a))

def op_count_oj4YnGA3cE(a):
    count = op_count_6o9Blt3TJ6(a,a)+op_count_3Oe9XWJUTD(a,a)+op_count_cTDWOvIxvz(op_6o9Blt3TJ6(a,a),op_3Oe9XWJUTD(a,a))+op_count_u6S6b8DprG(a)+op_count_7j4O788W3g(op_cTDWOvIxvz(op_6o9Blt3TJ6(a,a),op_3Oe9XWJUTD(a,a)),op_u6S6b8DprG(a))
    return count


def op_csT5a4elgc(a):
    return op_wztAlM01eG(op_RygbFNSyEJ(op_YSKBFp38Pu(a,a),op_4JB6nKBMSY(51,a)))

def op_count_csT5a4elgc(a):
    count = op_count_YSKBFp38Pu(a,a)+op_count_4JB6nKBMSY(51,a)+op_count_RygbFNSyEJ(op_YSKBFp38Pu(a,a),op_4JB6nKBMSY(51,a))+op_count_wztAlM01eG(op_RygbFNSyEJ(op_YSKBFp38Pu(a,a),op_4JB6nKBMSY(51,a)))
    return count


def op_WObL9SsYVE(a, b):
    return op_AdZkA7nFnk(op_uBihLCJcMX(b),op_ZcwmYACASQ(a))

def op_count_WObL9SsYVE(a, b):
    count = op_count_uBihLCJcMX(b)+op_count_ZcwmYACASQ(a)+op_count_AdZkA7nFnk(op_uBihLCJcMX(b),op_ZcwmYACASQ(a))
    return count


def op_zV3pqYiQ5E(a):
    return op_oRDoc9rAEX(op_IGFM8TAlm9(420),op_cWQsF5MvuD(a))

def op_count_zV3pqYiQ5E(a):
    count = op_count_IGFM8TAlm9(420)+op_count_cWQsF5MvuD(a)+op_count_oRDoc9rAEX(op_IGFM8TAlm9(420),op_cWQsF5MvuD(a))
    return count


def op_YApyZlDuBr(a):
    return op_Z5m6OM72h2(a,a)

def op_count_YApyZlDuBr(a):
    count = op_count_Z5m6OM72h2(a,a)
    return count


def op_texHS70gxN(a):
    return op_ocnLzx9CaJ(op_YbVcJGFEVW(a,a),op_Noe24qw2ks(a,a))

def op_count_texHS70gxN(a):
    count = op_count_YbVcJGFEVW(a,a)+op_count_Noe24qw2ks(a,a)+op_count_ocnLzx9CaJ(op_YbVcJGFEVW(a,a),op_Noe24qw2ks(a,a))
    return count


def op_1tCtMSPkGf(a):
    return op_umQnsF7QlU(op_Z5m6OM72h2(a,a),op_nCS4ZIUYfx(a,677))

def op_count_1tCtMSPkGf(a):
    count = op_count_Z5m6OM72h2(a,a)+op_count_nCS4ZIUYfx(a,677)+op_count_umQnsF7QlU(op_Z5m6OM72h2(a,a),op_nCS4ZIUYfx(a,677))
    return count


def op_ebeGRCukrZ(a):
    return op_e1ybzncUwg(op_cTDWOvIxvz(op_FyVja0WsTP(a,a),op_eRqsBgTDFp(a,a)))

def op_count_ebeGRCukrZ(a):
    count = op_count_FyVja0WsTP(a,a)+op_count_eRqsBgTDFp(a,a)+op_count_cTDWOvIxvz(op_FyVja0WsTP(a,a),op_eRqsBgTDFp(a,a))+op_count_e1ybzncUwg(op_cTDWOvIxvz(op_FyVja0WsTP(a,a),op_eRqsBgTDFp(a,a)))
    return count


def op_B3tNObfNaL(a):
    return op_y4ImoPnbV5(op_oPMjh9089D(a),op_8n5YIzOsVS(308))

def op_count_B3tNObfNaL(a):
    count = op_count_oPMjh9089D(a)+op_count_8n5YIzOsVS(308)+op_count_y4ImoPnbV5(op_oPMjh9089D(a),op_8n5YIzOsVS(308))
    return count


def op_UggxBX659n(a, b):
    return op_HmxsFra2vL(op_DbCuESL50I(op_rysDP5nf3Z(a,b)),op_YbVcJGFEVW(op_Eev2Q7dYIw(134),op_Noe24qw2ks(b,b)))

def op_count_UggxBX659n(a, b):
    count = op_count_rysDP5nf3Z(a,b)+op_count_DbCuESL50I(op_rysDP5nf3Z(a,b))+op_count_Eev2Q7dYIw(134)+op_count_Noe24qw2ks(b,b)+op_count_YbVcJGFEVW(op_Eev2Q7dYIw(134),op_Noe24qw2ks(b,b))+op_count_HmxsFra2vL(op_DbCuESL50I(op_rysDP5nf3Z(a,b)),op_YbVcJGFEVW(op_Eev2Q7dYIw(134),op_Noe24qw2ks(b,b)))
    return count


a⪈⋁⩁b = { ((∷≠(a⇼⇔∾b))⪍↜⋙((a≧⫂∧346)⫚⫇)) }

def op_GMyVS5K48T(a, b):
    return op_L05ObWFQCd(op_QiR2Oyf5Xj(op_tifHPKVTfV(a,b)),op_SdCjLnB6rR(op_Ph9nP6C5qx(a,346)))

def op_count_GMyVS5K48T(a, b):
    count = op_count_tifHPKVTfV(a,b)+op_count_QiR2Oyf5Xj(op_tifHPKVTfV(a,b))+op_count_Ph9nP6C5qx(a,346)+op_count_SdCjLnB6rR(op_Ph9nP6C5qx(a,346))+op_count_L05ObWFQCd(op_QiR2Oyf5Xj(op_tifHPKVTfV(a,b)),op_SdCjLnB6rR(op_Ph9nP6C5qx(a,346)))
    return count


def op_MKzNxCV7Yo(a):
    return op_w2P8NbNXyL(op_JLbD19bQDL(a),op_l1M9WJ3V7u(a))

def op_count_MKzNxCV7Yo(a):
    count = op_count_JLbD19bQDL(a)+op_count_l1M9WJ3V7u(a)+op_count_w2P8NbNXyL(op_JLbD19bQDL(a),op_l1M9WJ3V7u(a))
    return count


def op_2fAMLLeFHb(a):
    return op_uyq1hVkAcj(op_BiWNJpBvwn(op_8w2t5hMYqp(a),op_XPYlsWDdGa(a)))

def op_count_2fAMLLeFHb(a):
    count = op_count_8w2t5hMYqp(a)+op_count_XPYlsWDdGa(a)+op_count_BiWNJpBvwn(op_8w2t5hMYqp(a),op_XPYlsWDdGa(a))+op_count_uyq1hVkAcj(op_BiWNJpBvwn(op_8w2t5hMYqp(a),op_XPYlsWDdGa(a)))
    return count


def op_8TQKPGA8Ba(a):
    return op_WR6HLWljOP(a,102)

def op_count_8TQKPGA8Ba(a):
    count = op_count_WR6HLWljOP(a,102)
    return count


def op_tnyRA5sazQ(a, b):
    return op_1h0rLqGiFr(op_zR4jO40bMj(op_0kmYd0q39Y(a,b),op_8cLx32lpNA(a,b)))

def op_count_tnyRA5sazQ(a, b):
    count = op_count_0kmYd0q39Y(a,b)+op_count_8cLx32lpNA(a,b)+op_count_zR4jO40bMj(op_0kmYd0q39Y(a,b),op_8cLx32lpNA(a,b))+op_count_1h0rLqGiFr(op_zR4jO40bMj(op_0kmYd0q39Y(a,b),op_8cLx32lpNA(a,b)))
    return count


def op_qxp9F1VMeC(a):
    return op_qazvmhNBbN(op_L05ObWFQCd(a,a))

def op_count_qxp9F1VMeC(a):
    count = op_count_L05ObWFQCd(a,a)+op_count_qazvmhNBbN(op_L05ObWFQCd(a,a))
    return count


def op_FPxP5Y1j0W(a, b):
    return op_jdwGQqwJi5(op_YSKBFp38Pu(op_WR6HLWljOP(49,333),op_HmxsFra2vL(b,a)))

def op_count_FPxP5Y1j0W(a, b):
    count = op_count_WR6HLWljOP(49,333)+op_count_HmxsFra2vL(b,a)+op_count_YSKBFp38Pu(op_WR6HLWljOP(49,333),op_HmxsFra2vL(b,a))+op_count_jdwGQqwJi5(op_YSKBFp38Pu(op_WR6HLWljOP(49,333),op_HmxsFra2vL(b,a)))
    return count


def op_rv8OxMkTSD(a):
    return op_eRqsBgTDFp(93,a)

def op_count_rv8OxMkTSD(a):
    count = op_count_eRqsBgTDFp(93,a)
    return count


def op_13TjBizFrQ(a):
    return op_g55IO6H4Gj(op_hrf7POJlIJ(a,204),op_MXaNJeIAZ3(a))

def op_count_13TjBizFrQ(a):
    count = op_count_hrf7POJlIJ(a,204)+op_count_MXaNJeIAZ3(a)+op_count_g55IO6H4Gj(op_hrf7POJlIJ(a,204),op_MXaNJeIAZ3(a))
    return count


def op_fLfyAuxYJD(a):
    return op_9xnGDUPbC6(op_YSKBFp38Pu(op_3EYGwJThht(a,a),op_tifHPKVTfV(a,a)))

def op_count_fLfyAuxYJD(a):
    count = op_count_3EYGwJThht(a,a)+op_count_tifHPKVTfV(a,a)+op_count_YSKBFp38Pu(op_3EYGwJThht(a,a),op_tifHPKVTfV(a,a))+op_count_9xnGDUPbC6(op_YSKBFp38Pu(op_3EYGwJThht(a,a),op_tifHPKVTfV(a,a)))
    return count


def op_eftAHwPbeA(a):
    return op_bPywburJMS(a,op_W4YGzv6Whe(a,264))

def op_count_eftAHwPbeA(a):
    count = op_count_W4YGzv6Whe(a,264)+op_count_bPywburJMS(a,op_W4YGzv6Whe(a,264))
    return count


def op_Sq3AGanRSD(a, b):
    return op_Bmrmz2XGnR(op_HiPekx5b7W(op_oPMjh9089D(a),op_l1M9WJ3V7u(b)),b)

def op_count_Sq3AGanRSD(a, b):
    count = op_count_oPMjh9089D(a)+op_count_l1M9WJ3V7u(b)+op_count_HiPekx5b7W(op_oPMjh9089D(a),op_l1M9WJ3V7u(b))+op_count_Bmrmz2XGnR(op_HiPekx5b7W(op_oPMjh9089D(a),op_l1M9WJ3V7u(b)),b)
    return count


def op_UqUOXUQnbU(a, b):
    return op_40aOVDgCDB(op_Z5m6OM72h2(op_i8ToyICDmI(b,b),op_sdazOOVcIp(429,a)))

def op_count_UqUOXUQnbU(a, b):
    count = op_count_i8ToyICDmI(b,b)+op_count_sdazOOVcIp(429,a)+op_count_Z5m6OM72h2(op_i8ToyICDmI(b,b),op_sdazOOVcIp(429,a))+op_count_40aOVDgCDB(op_Z5m6OM72h2(op_i8ToyICDmI(b,b),op_sdazOOVcIp(429,a)))
    return count


def op_OTRTVPweYV(a, b):
    return op_pRsWfj4Fpp(op_HiPekx5b7W(op_HmxsFra2vL(15,a),op_u6S6b8DprG(b)))

def op_count_OTRTVPweYV(a, b):
    count = op_count_HmxsFra2vL(15,a)+op_count_u6S6b8DprG(b)+op_count_HiPekx5b7W(op_HmxsFra2vL(15,a),op_u6S6b8DprG(b))+op_count_pRsWfj4Fpp(op_HiPekx5b7W(op_HmxsFra2vL(15,a),op_u6S6b8DprG(b)))
    return count


def op_4JGOJzXMq1(a, b):
    if op_PxiHyQbrIp(a) <= 161:
        return op_RygbFNSyEJ(b,15)
    else:
        return op_IGFM8TAlm9(a)

def op_count_4JGOJzXMq1(a, b):
    if op_PxiHyQbrIp(a) <= 161:
        count = op_count_RygbFNSyEJ(b,15)+op_count_PxiHyQbrIp(a)
    else:
        count = op_count_IGFM8TAlm9(a)
    return count


def op_DX7B1fY6P6(a, b):
    return op_fG6uBQFnGz(op_bPywburJMS(a,b))

def op_count_DX7B1fY6P6(a, b):
    count = op_count_bPywburJMS(a,b)+op_count_fG6uBQFnGz(op_bPywburJMS(a,b))
    return count


a⇊⊒⫧ = { (⊄⩳↩a) , if a>=19 ; (∓⪦a) , else }

def op_eIba4BG3xN(a):
    if a >= 19:
        return op_8w2t5hMYqp(a)
    else:
        return op_D309nIvmXG(a)

def op_count_eIba4BG3xN(a):
    if a >= 19:
        count = op_count_8w2t5hMYqp(a)
    else:
        count = op_count_D309nIvmXG(a)
    return count


def op_V4yb4KDoeF(a, b):
    if op_KPf6cnQVty(b,181) != 7:
        return op_Z5m6OM72h2(op_FonBHBYJbU(op_2DDjHMKMc0(b,577)),op_3tVxb0NHM4(574,op_oRDoc9rAEX(a,b)))
    else:
        return op_3sJ7IOPOlU(op_i8ToyICDmI(op_bPywburJMS(a,487),op_3sJ7IOPOlU(115,b)),op_kuIXHzHcAH(op_bF6eod5Gvf(67,a),a))

def op_count_V4yb4KDoeF(a, b):
    if op_KPf6cnQVty(b,181) != 7:
        count = op_count_2DDjHMKMc0(b,577)+op_count_FonBHBYJbU(op_2DDjHMKMc0(b,577))+op_count_oRDoc9rAEX(a,b)+op_count_3tVxb0NHM4(574,op_oRDoc9rAEX(a,b))+op_count_Z5m6OM72h2(op_FonBHBYJbU(op_2DDjHMKMc0(b,577)),op_3tVxb0NHM4(574,op_oRDoc9rAEX(a,b)))+op_count_KPf6cnQVty(b,181)
    else:
        count = op_count_bPywburJMS(a,487)+op_count_3sJ7IOPOlU(115,b)+op_count_i8ToyICDmI(op_bPywburJMS(a,487),op_3sJ7IOPOlU(115,b))+op_count_bF6eod5Gvf(67,a)+op_count_kuIXHzHcAH(op_bF6eod5Gvf(67,a),a)+op_count_3sJ7IOPOlU(op_i8ToyICDmI(op_bPywburJMS(a,487),op_3sJ7IOPOlU(115,b)),op_kuIXHzHcAH(op_bF6eod5Gvf(67,a),a))
    return count


a⨮⨆ = { (((⨝⨆a)⪕(⩦⩻⨪8))⊱⇼⊻a) , if (a⊜)<87 ; ((↓⇌(a⩚⊴⇥a))⨳⩥⨓((62⪨≂a)∽(a⪒⊣⊆a))) , else }

def op_s0kPeV9Vm2(a):
    if op_Eev2Q7dYIw(a) < 87:
        return op_FyVja0WsTP(op_umQnsF7QlU(op_bQ67fsrMVf(a),op_2td37pGCOC(8)),a)
    else:
        return op_nCS4ZIUYfx(op_PxpmPgHHJV(op_NTOWxs364D(a,a)),op_y4ImoPnbV5(op_sdazOOVcIp(62,a),op_eRqsBgTDFp(a,a)))

def op_count_s0kPeV9Vm2(a):
    if op_Eev2Q7dYIw(a) < 87:
        count = op_count_bQ67fsrMVf(a)+op_count_2td37pGCOC(8)+op_count_umQnsF7QlU(op_bQ67fsrMVf(a),op_2td37pGCOC(8))+op_count_FyVja0WsTP(op_umQnsF7QlU(op_bQ67fsrMVf(a),op_2td37pGCOC(8)),a)+op_count_Eev2Q7dYIw(a)
    else:
        count = op_count_NTOWxs364D(a,a)+op_count_PxpmPgHHJV(op_NTOWxs364D(a,a))+op_count_sdazOOVcIp(62,a)+op_count_eRqsBgTDFp(a,a)+op_count_y4ImoPnbV5(op_sdazOOVcIp(62,a),op_eRqsBgTDFp(a,a))+op_count_nCS4ZIUYfx(op_PxpmPgHHJV(op_NTOWxs364D(a,a)),op_y4ImoPnbV5(op_sdazOOVcIp(62,a),op_eRqsBgTDFp(a,a)))
    return count


a∫≲⋬ = { ((a⩧⪆a)↼⊘⨖(⊤⊝a)) , if (⨂⪏⇭a)==211 and a>244 ; ((a⩍⋽⫝̸a)+(a∴a)) , else }

def op_DNmMwa48aR(a):
    if op_AYdpE9sXAk(a) == 211 and a > 244:
        return op_bPywburJMS(op_Ikt5ks8PT7(a,a),op_rXAclfmB4M(a))
    else:
        return op_W4YGzv6Whe(op_BiWNJpBvwn(a,a),op_hrf7POJlIJ(a,a))

def op_count_DNmMwa48aR(a):
    if op_AYdpE9sXAk(a) == 211 and a > 244:
        count = op_count_Ikt5ks8PT7(a,a)+op_count_rXAclfmB4M(a)+op_count_bPywburJMS(op_Ikt5ks8PT7(a,a),op_rXAclfmB4M(a))+op_count_AYdpE9sXAk(a)
    else:
        count = op_count_BiWNJpBvwn(a,a)+op_count_hrf7POJlIJ(a,a)+op_count_W4YGzv6Whe(op_BiWNJpBvwn(a,a),op_hrf7POJlIJ(a,a))
    return count


a⊵b = { ((a∙∹∝b)+(b∺≝⩲a)) , if b==333 ; (↞≼(83∘b)) , else }

def op_eaFBhJ0Uku(a, b):
    if b == 333:
        return op_W4YGzv6Whe(op_HmxsFra2vL(a,b),op_KPf6cnQVty(b,a))
    else:
        return op_DE7zCoGJt9(op_Z5m6OM72h2(83,b))

def op_count_eaFBhJ0Uku(a, b):
    if b == 333:
        count = op_count_HmxsFra2vL(a,b)+op_count_KPf6cnQVty(b,a)+op_count_W4YGzv6Whe(op_HmxsFra2vL(a,b),op_KPf6cnQVty(b,a))
    else:
        count = op_count_Z5m6OM72h2(83,b)+op_count_DE7zCoGJt9(op_Z5m6OM72h2(83,b))
    return count


def op_UoVew8f2p2(a, b):
    if op_12rbrZMWeM(b,328) == 266:
        return op_tfWHHpNKUN(op_3mBM5G4a3l(op_3sJ7IOPOlU(b,b)))
    else:
        return op_Bmrmz2XGnR(op_OwUj7dcsQK(op_nREPSIbpBE(a,18)),a)

def op_count_UoVew8f2p2(a, b):
    if op_12rbrZMWeM(b,328) == 266:
        count = op_count_3sJ7IOPOlU(b,b)+op_count_3mBM5G4a3l(op_3sJ7IOPOlU(b,b))+op_count_tfWHHpNKUN(op_3mBM5G4a3l(op_3sJ7IOPOlU(b,b)))+op_count_12rbrZMWeM(b,328)
    else:
        count = op_count_nREPSIbpBE(a,18)+op_count_OwUj7dcsQK(op_nREPSIbpBE(a,18))+op_count_Bmrmz2XGnR(op_OwUj7dcsQK(op_nREPSIbpBE(a,18)),a)
    return count


a⨴b = { (≇⪴((↡a)↺(⊖a))) , if a<287 ; (((a⨜⨶b)↺(b→⨶⪴500))⪶≀⋏(↸⊣(a⩚⊴⇥a))) , else }

def op_jBC4ymW3D7(a, b):
    if a < 287:
        return op_zoVPnxeHJ3(op_7j4O788W3g(op_MXaNJeIAZ3(a),op_U6pG0PXrV3(a)))
    else:
        return op_zR4jO40bMj(op_7j4O788W3g(op_HiPekx5b7W(a,b),op_bF6eod5Gvf(b,500)),op_wztAlM01eG(op_NTOWxs364D(a,a)))

def op_count_jBC4ymW3D7(a, b):
    if a < 287:
        count = op_count_MXaNJeIAZ3(a)+op_count_U6pG0PXrV3(a)+op_count_7j4O788W3g(op_MXaNJeIAZ3(a),op_U6pG0PXrV3(a))+op_count_zoVPnxeHJ3(op_7j4O788W3g(op_MXaNJeIAZ3(a),op_U6pG0PXrV3(a)))
    else:
        count = op_count_HiPekx5b7W(a,b)+op_count_bF6eod5Gvf(b,500)+op_count_7j4O788W3g(op_HiPekx5b7W(a,b),op_bF6eod5Gvf(b,500))+op_count_NTOWxs364D(a,a)+op_count_wztAlM01eG(op_NTOWxs364D(a,a))+op_count_zR4jO40bMj(op_7j4O788W3g(op_HiPekx5b7W(a,b),op_bF6eod5Gvf(b,500)),op_wztAlM01eG(op_NTOWxs364D(a,a)))
    return count


⩯≢≕a = { (a≝⊿(a⋳⪒(≀↧⇸a))) , if (↓⇌a)>110 ; (((a⫃⨇a)⪨≂(9∠⫱a))↹⊜((a∀⋜↑)⪍↜⋙(⪲⇎a))) , else }

def op_840vADziXz(a):
    if op_PxpmPgHHJV(a) > 110:
        return op_OKKcZfAt5B(a,op_12rbrZMWeM(a,op_ljTHtUsqzn(a)))
    else:
        return op_9bazX3JMtO(op_sdazOOVcIp(op_09Ly4LVMIf(a,a),op_QvoQhV0rrE(9,a)),op_L05ObWFQCd(op_KipPnG1M2J(a),op_XPYlsWDdGa(a)))

def op_count_840vADziXz(a):
    if op_PxpmPgHHJV(a) > 110:
        count = op_count_ljTHtUsqzn(a)+op_count_12rbrZMWeM(a,op_ljTHtUsqzn(a))+op_count_OKKcZfAt5B(a,op_12rbrZMWeM(a,op_ljTHtUsqzn(a)))+op_count_PxpmPgHHJV(a)
    else:
        count = op_count_09Ly4LVMIf(a,a)+op_count_QvoQhV0rrE(9,a)+op_count_sdazOOVcIp(op_09Ly4LVMIf(a,a),op_QvoQhV0rrE(9,a))+op_count_KipPnG1M2J(a)+op_count_XPYlsWDdGa(a)+op_count_L05ObWFQCd(op_KipPnG1M2J(a),op_XPYlsWDdGa(a))+op_count_9bazX3JMtO(op_sdazOOVcIp(op_09Ly4LVMIf(a,a),op_QvoQhV0rrE(9,a)),op_L05ObWFQCd(op_KipPnG1M2J(a),op_XPYlsWDdGa(a)))
    return count


a⇑∁⪛ = { ((a⪍↜⋙a)⪎↠(a≃a)) , if a<171 ; (↡(⊁⨺490)) , else }

def op_P75hhshrwX(a):
    if a < 171:
        return op_3tVxb0NHM4(op_L05ObWFQCd(a,a),op_YbVcJGFEVW(a,a))
    else:
        return op_MXaNJeIAZ3(op_PxiHyQbrIp(490))

def op_count_P75hhshrwX(a):
    if a < 171:
        count = op_count_L05ObWFQCd(a,a)+op_count_YbVcJGFEVW(a,a)+op_count_3tVxb0NHM4(op_L05ObWFQCd(a,a),op_YbVcJGFEVW(a,a))
    else:
        count = op_count_PxiHyQbrIp(490)+op_count_MXaNJeIAZ3(op_PxiHyQbrIp(490))
    return count


a≼b = { ((b⇴a)⊭↱(≅≯⇸b)) , if (b∲⫓230)<246 ; ((b↺a)+⪬∐b) , else }

def op_SPuZE40Ntn(a, b):
    if op_i8ToyICDmI(b,230) < 246:
        return op_COABgblf1C(op_4JB6nKBMSY(b,a),op_apS25hmuAe(b))
    else:
        return op_2GS7woTJqF(op_7j4O788W3g(b,a),b)

def op_count_SPuZE40Ntn(a, b):
    if op_i8ToyICDmI(b,230) < 246:
        count = op_count_4JB6nKBMSY(b,a)+op_count_apS25hmuAe(b)+op_count_COABgblf1C(op_4JB6nKBMSY(b,a),op_apS25hmuAe(b))+op_count_i8ToyICDmI(b,230)
    else:
        count = op_count_7j4O788W3g(b,a)+op_count_2GS7woTJqF(op_7j4O788W3g(b,a),b)
    return count


a⊙ = { (a⫯⪬∳a) , if a<=320 ; (a⫡⨏a) , else }

def op_pjdzZ5rP1Y(a):
    if a <= 320:
        return op_d7ASUq0ydm(a,a)
    else:
        return op_QMFrweE19q(a,a)

def op_count_pjdzZ5rP1Y(a):
    if a <= 320:
        count = op_count_d7ASUq0ydm(a,a)
    else:
        count = op_count_QMFrweE19q(a,a)
    return count


a⩽⩡b = { a , if (b⫡⨏23)>20 ; ((⨑⩽⪐b)+(b⫸⇳b)) , else }

def op_zFNL8mZEFB(a, b):
    if op_QMFrweE19q(b,23) > 20:
        return a
    else:
        return op_W4YGzv6Whe(op_AF7qkfDlqP(b),op_gx7XJ7hdpj(b,b))

def op_count_zFNL8mZEFB(a, b):
    if op_QMFrweE19q(b,23) > 20:
        count = 1
    else:
        count = op_count_AF7qkfDlqP(b)+op_count_gx7XJ7hdpj(b,b)+op_count_W4YGzv6Whe(op_AF7qkfDlqP(b),op_gx7XJ7hdpj(b,b))
    return count


def op_rlpcYeipVY(a):
    if a >= 508 or a > 678:
        return op_OKKcZfAt5B(op_KPf6cnQVty(op_IGFM8TAlm9(a),op_D3AQDKkPcf(a,482)),op_vRio1gEz1j(op_f6k1SAg4EE(a,a)))
    else:
        return op_eRqsBgTDFp(op_7qqUquhhSb(op_BUOGQAYlQx(a)),op_LxFB4K6j0n(120))

def op_count_rlpcYeipVY(a):
    if a >= 508 or a > 678:
        count = op_count_IGFM8TAlm9(a)+op_count_D3AQDKkPcf(a,482)+op_count_KPf6cnQVty(op_IGFM8TAlm9(a),op_D3AQDKkPcf(a,482))+op_count_f6k1SAg4EE(a,a)+op_count_vRio1gEz1j(op_f6k1SAg4EE(a,a))+op_count_OKKcZfAt5B(op_KPf6cnQVty(op_IGFM8TAlm9(a),op_D3AQDKkPcf(a,482)),op_vRio1gEz1j(op_f6k1SAg4EE(a,a)))
    else:
        count = op_count_BUOGQAYlQx(a)+op_count_7qqUquhhSb(op_BUOGQAYlQx(a))+op_count_LxFB4K6j0n(120)+op_count_eRqsBgTDFp(op_7qqUquhhSb(op_BUOGQAYlQx(a)),op_LxFB4K6j0n(120))
    return count


def op_BAIXFdYaz3(a, b):
    if op_ocnLzx9CaJ(a,838) < 643:
        return op_HmxsFra2vL(op_cTDWOvIxvz(op_tifHPKVTfV(a,a),op_umQnsF7QlU(b,a)),op_umQnsF7QlU(op_JclMnS0uGI(b,b),op_IwW236VD4Y(b,a)))
    else:
        return op_U6pG0PXrV3(op_D3AQDKkPcf(op_HrjLwUk87U(184,b),op_ZNVVrZ94lY(18)))

def op_count_BAIXFdYaz3(a, b):
    if op_ocnLzx9CaJ(a,838) < 643:
        count = op_count_tifHPKVTfV(a,a)+op_count_umQnsF7QlU(b,a)+op_count_cTDWOvIxvz(op_tifHPKVTfV(a,a),op_umQnsF7QlU(b,a))+op_count_JclMnS0uGI(b,b)+op_count_IwW236VD4Y(b,a)+op_count_umQnsF7QlU(op_JclMnS0uGI(b,b),op_IwW236VD4Y(b,a))+op_count_HmxsFra2vL(op_cTDWOvIxvz(op_tifHPKVTfV(a,a),op_umQnsF7QlU(b,a)),op_umQnsF7QlU(op_JclMnS0uGI(b,b),op_IwW236VD4Y(b,a)))+op_count_ocnLzx9CaJ(a,838)
    else:
        count = op_count_HrjLwUk87U(184,b)+op_count_ZNVVrZ94lY(18)+op_count_D3AQDKkPcf(op_HrjLwUk87U(184,b),op_ZNVVrZ94lY(18))+op_count_U6pG0PXrV3(op_D3AQDKkPcf(op_HrjLwUk87U(184,b),op_ZNVVrZ94lY(18)))
    return count


def op_d8xe6WWVfM(a, b):
    if op_N41Kp7NANJ(a) != 390:
        return op_2GS7woTJqF(op_zoVPnxeHJ3(op_bx9Z9DAK5y(b)),op_sdazOOVcIp(b,op_PxiHyQbrIp(b)))
    else:
        return op_Z5m6OM72h2(b,op_rysDP5nf3Z(op_0kmYd0q39Y(a,b),op_HmxsFra2vL(215,6)))

def op_count_d8xe6WWVfM(a, b):
    if op_N41Kp7NANJ(a) != 390:
        count = op_count_bx9Z9DAK5y(b)+op_count_zoVPnxeHJ3(op_bx9Z9DAK5y(b))+op_count_PxiHyQbrIp(b)+op_count_sdazOOVcIp(b,op_PxiHyQbrIp(b))+op_count_2GS7woTJqF(op_zoVPnxeHJ3(op_bx9Z9DAK5y(b)),op_sdazOOVcIp(b,op_PxiHyQbrIp(b)))+op_count_N41Kp7NANJ(a)
    else:
        count = op_count_0kmYd0q39Y(a,b)+op_count_HmxsFra2vL(215,6)+op_count_rysDP5nf3Z(op_0kmYd0q39Y(a,b),op_HmxsFra2vL(215,6))+op_count_Z5m6OM72h2(b,op_rysDP5nf3Z(op_0kmYd0q39Y(a,b),op_HmxsFra2vL(215,6)))
    return count


a∏⇴b = { (a⩉⊫⨁) , if (⊲⪭b)==16 ; (b⪭b) , else }

def op_Rw46J52cBJ(a, b):
    if op_k7HXdKtiEU(b) == 16:
        return op_7qqUquhhSb(a)
    else:
        return op_j9kHMeSvPp(b,b)

def op_count_Rw46J52cBJ(a, b):
    if op_k7HXdKtiEU(b) == 16:
        count = op_count_7qqUquhhSb(a)+op_count_k7HXdKtiEU(b)
    else:
        count = op_count_j9kHMeSvPp(b,b)
    return count


⇻⫵a = { ((a⊍)∴(↸⊣a)) , if (⨑⩽⪐a)==194 ; ((⨞⊢a)⇞) , else }

def op_Wm7LHi3c8p(a):
    if op_AF7qkfDlqP(a) == 194:
        return op_hrf7POJlIJ(op_3nqY3DE9mg(a),op_wztAlM01eG(a))
    else:
        return op_5JYyxRJd4f(op_xUOZtlo3hN(a))

def op_count_Wm7LHi3c8p(a):
    if op_AF7qkfDlqP(a) == 194:
        count = op_count_3nqY3DE9mg(a)+op_count_wztAlM01eG(a)+op_count_hrf7POJlIJ(op_3nqY3DE9mg(a),op_wztAlM01eG(a))+op_count_AF7qkfDlqP(a)
    else:
        count = op_count_xUOZtlo3hN(a)+op_count_5JYyxRJd4f(op_xUOZtlo3hN(a))
    return count


def op_wmlQD0656L(a):
    if (a >= 20 and a < 281):
        return op_QiR2Oyf5Xj(op_Noe24qw2ks(op_PxpmPgHHJV(a),op_ZNVVrZ94lY(a)))
    else:
        return op_18saOjeKKm(op_qWUSsah53b(op_KipPnG1M2J(737)))

def op_count_wmlQD0656L(a):
    if (a >= 20 and a < 281):
        count = op_count_PxpmPgHHJV(a)+op_count_ZNVVrZ94lY(a)+op_count_Noe24qw2ks(op_PxpmPgHHJV(a),op_ZNVVrZ94lY(a))+op_count_QiR2Oyf5Xj(op_Noe24qw2ks(op_PxpmPgHHJV(a),op_ZNVVrZ94lY(a)))
    else:
        count = op_count_KipPnG1M2J(737)+op_count_qWUSsah53b(op_KipPnG1M2J(737))+op_count_18saOjeKKm(op_qWUSsah53b(op_KipPnG1M2J(737)))
    return count


⩻⪛a = { ((a∠⫱a)⇤(528≬⋮a)) , if a>93 ; (a⊱⇼⊻(a⋝⋈⪟a)) , else }

def op_5RY6W0glyJ(a):
    if a > 93:
        return op_YSKBFp38Pu(op_QvoQhV0rrE(a,a),op_kbkesczE7y(528,a))
    else:
        return op_FyVja0WsTP(a,op_2DDjHMKMc0(a,a))

def op_count_5RY6W0glyJ(a):
    if a > 93:
        count = op_count_QvoQhV0rrE(a,a)+op_count_kbkesczE7y(528,a)+op_count_YSKBFp38Pu(op_QvoQhV0rrE(a,a),op_kbkesczE7y(528,a))
    else:
        count = op_count_2DDjHMKMc0(a,a)+op_count_FyVja0WsTP(a,op_2DDjHMKMc0(a,a))
    return count


def op_wsXFuL0hC6(a, b):
    if op_Noe24qw2ks(a,361) > 19 or b < 280:
        return op_xRrnTEsQ6j(op_pB6Fcnrjim(706),op_Bmrmz2XGnR(a,587))
    else:
        return op_2DQ55sFlQl(op_pRsWfj4Fpp(a),op_umQnsF7QlU(115,b))

def op_count_wsXFuL0hC6(a, b):
    if op_Noe24qw2ks(a,361) > 19 or b < 280:
        count = op_count_pB6Fcnrjim(706)+op_count_Bmrmz2XGnR(a,587)+op_count_xRrnTEsQ6j(op_pB6Fcnrjim(706),op_Bmrmz2XGnR(a,587))+op_count_Noe24qw2ks(a,361)
    else:
        count = op_count_pRsWfj4Fpp(a)+op_count_umQnsF7QlU(115,b)+op_count_2DQ55sFlQl(op_pRsWfj4Fpp(a),op_umQnsF7QlU(115,b))
    return count


a≶b = { ((a⩇∃⫛b)⪉⨛(b⪔⊥a)) , if b!=341 ; ((a⫍⨯↯)⋷(a⊨b)) , else }

def op_Q2SPaKwpPJ(a, b):
    if b != 341:
        return op_EWw2JM7wp4(op_1aApVXNlOP(a,b),op_HJ9erzHUuu(b,a))
    else:
        return op_23Mk6UjR3U(op_ZcwmYACASQ(a),op_vg4gO5BX6G(a,b))

def op_count_Q2SPaKwpPJ(a, b):
    if b != 341:
        count = op_count_1aApVXNlOP(a,b)+op_count_HJ9erzHUuu(b,a)+op_count_EWw2JM7wp4(op_1aApVXNlOP(a,b),op_HJ9erzHUuu(b,a))
    else:
        count = op_count_ZcwmYACASQ(a)+op_count_vg4gO5BX6G(a,b)+op_count_23Mk6UjR3U(op_ZcwmYACASQ(a),op_vg4gO5BX6G(a,b))
    return count


a⪲⨢b = { (712⊉↱≁a) , if (⊢≑≆a)<=101 ; (b⪎⩰) , else }

def op_6iafYuwGo8(a, b):
    if op_27wFxooxGf(a) <= 101:
        return op_w2P8NbNXyL(712,a)
    else:
        return op_2ufhKmSs5H(b)

def op_count_6iafYuwGo8(a, b):
    if op_27wFxooxGf(a) <= 101:
        count = op_count_w2P8NbNXyL(712,a)+op_count_27wFxooxGf(a)
    else:
        count = op_count_2ufhKmSs5H(b)
    return count


def op_iz8sE888QL(a):
    if op_EWw2JM7wp4(a,548) > 282 and op_QiR2Oyf5Xj(a) >= 129:
        return op_SpZWOsLKZJ(a)
    else:
        return op_xRrnTEsQ6j(a,a)

def op_count_iz8sE888QL(a):
    if op_EWw2JM7wp4(a,548) > 282 and op_QiR2Oyf5Xj(a) >= 129:
        count = op_count_SpZWOsLKZJ(a)+op_count_EWw2JM7wp4(a,548)+op_count_QiR2Oyf5Xj(a)
    else:
        count = op_count_xRrnTEsQ6j(a,a)
    return count


def op_irKjLsMeKy(a, b):
    if a == 287:
        return op_gx7XJ7hdpj(b,b)
    else:
        return op_YSKBFp38Pu(225,316)

def op_count_irKjLsMeKy(a, b):
    if a == 287:
        count = op_count_gx7XJ7hdpj(b,b)
    else:
        count = op_count_YSKBFp38Pu(225,316)
    return count


def op_aOI3TlLUAE(a):
    if op_Noe24qw2ks(a,974) != 64:
        return op_2Wsdkap16l(op_14qkJME0vr(a),op_D3AQDKkPcf(118,573))
    else:
        return op_glklzrTFfD(op_WmT3o8z6ya(a))

def op_count_aOI3TlLUAE(a):
    if op_Noe24qw2ks(a,974) != 64:
        count = op_count_14qkJME0vr(a)+op_count_D3AQDKkPcf(118,573)+op_count_2Wsdkap16l(op_14qkJME0vr(a),op_D3AQDKkPcf(118,573))+op_count_Noe24qw2ks(a,974)
    else:
        count = op_count_WmT3o8z6ya(a)+op_count_glklzrTFfD(op_WmT3o8z6ya(a))
    return count


def op_S56z7WVPBn(a):
    if op_U6pG0PXrV3(a) < 459:
        return op_59igzFyhWz(a)
    else:
        return op_YSKBFp38Pu(op_WR6HLWljOP(a,390),101)

def op_count_S56z7WVPBn(a):
    if op_U6pG0PXrV3(a) < 459:
        count = op_count_59igzFyhWz(a)+op_count_U6pG0PXrV3(a)
    else:
        count = op_count_WR6HLWljOP(a,390)+op_count_YSKBFp38Pu(op_WR6HLWljOP(a,390),101)
    return count


a⪢⨴ = { ((⨩∲⋌a)⩍⋽⫝̸(a⪉⨛a)) , if a!=688 ; ((a↼⊘⨖a)⪨⊡(a∷)) , else }

def op_UMMmb9LONo(a):
    if a != 688:
        return op_BiWNJpBvwn(op_aSik1wnThz(a),op_EWw2JM7wp4(a,a))
    else:
        return op_kuIXHzHcAH(op_bPywburJMS(a,a),op_nFAOW8KTqp(a))

def op_count_UMMmb9LONo(a):
    if a != 688:
        count = op_count_aSik1wnThz(a)+op_count_EWw2JM7wp4(a,a)+op_count_BiWNJpBvwn(op_aSik1wnThz(a),op_EWw2JM7wp4(a,a))
    else:
        count = op_count_bPywburJMS(a,a)+op_count_nFAOW8KTqp(a)+op_count_kuIXHzHcAH(op_bPywburJMS(a,a),op_nFAOW8KTqp(a))
    return count


⇺⪔⩬a = { ((a∌a)⊱⇼⊻(a⩦2)) , if (a⫌⩹⨱)!=270 ; (318⨑≵⋬(∓a)) , else }

def op_lAOUD4ZMWV(a):
    if op_EBcxylXtPf(a) != 270:
        return op_FyVja0WsTP(op_8cLx32lpNA(a,a),op_0kmYd0q39Y(a,2))
    else:
        return op_XnXgA4xnOs(318,op_OwUj7dcsQK(a))

def op_count_lAOUD4ZMWV(a):
    if op_EBcxylXtPf(a) != 270:
        count = op_count_8cLx32lpNA(a,a)+op_count_0kmYd0q39Y(a,2)+op_count_FyVja0WsTP(op_8cLx32lpNA(a,a),op_0kmYd0q39Y(a,2))+op_count_EBcxylXtPf(a)
    else:
        count = op_count_OwUj7dcsQK(a)+op_count_XnXgA4xnOs(318,op_OwUj7dcsQK(a))
    return count


a≻⇥≳b = { (((b⩵∡a)⫲)⨸⪁a) , if (b⪊≅)>=26 ; ((∓⪦(∓b))∺≝⩲((a+136)⋝⋈⪟(a⊉≛↸b))) , else }

def op_aiqF8n6J9c(a, b):
    if op_bjFbhXSADs(b) >= 26:
        return op_g55IO6H4Gj(op_9xnGDUPbC6(op_Y7wcNGrDQJ(b,a)),a)
    else:
        return op_KPf6cnQVty(op_D309nIvmXG(op_OwUj7dcsQK(b)),op_2DDjHMKMc0(op_W4YGzv6Whe(a,136),op_DZ8iAZOCBD(a,b)))

def op_count_aiqF8n6J9c(a, b):
    if op_bjFbhXSADs(b) >= 26:
        count = op_count_Y7wcNGrDQJ(b,a)+op_count_9xnGDUPbC6(op_Y7wcNGrDQJ(b,a))+op_count_g55IO6H4Gj(op_9xnGDUPbC6(op_Y7wcNGrDQJ(b,a)),a)+op_count_bjFbhXSADs(b)
    else:
        count = op_count_OwUj7dcsQK(b)+op_count_D309nIvmXG(op_OwUj7dcsQK(b))+op_count_W4YGzv6Whe(a,136)+op_count_DZ8iAZOCBD(a,b)+op_count_2DDjHMKMc0(op_W4YGzv6Whe(a,136),op_DZ8iAZOCBD(a,b))+op_count_KPf6cnQVty(op_D309nIvmXG(op_OwUj7dcsQK(b)),op_2DDjHMKMc0(op_W4YGzv6Whe(a,136),op_DZ8iAZOCBD(a,b)))
    return count


⋽⪳⨃a = { (((a⪨≂a)⪭(a-a))⪍↜⋙((⩦⊞a)⪉⨛(a⩚⊴⇥a))) , if a!=58 ; (((a⊨a)⪨⊡(a⪇≇⋚a))⩷∴((≤/a)⇼⇔∾(a≬⋮a))) , else }

def op_qAljGMXEZr(a):
    if a != 58:
        return op_L05ObWFQCd(op_j9kHMeSvPp(op_sdazOOVcIp(a,a),op_rysDP5nf3Z(a,a)),op_EWw2JM7wp4(op_u7fv1HBiaC(a),op_NTOWxs364D(a,a)))
    else:
        return op_9FxExcQeMw(op_kuIXHzHcAH(op_vg4gO5BX6G(a,a),op_3sJ7IOPOlU(a,a)),op_tifHPKVTfV(op_eLAdDNolq6(a),op_kbkesczE7y(a,a)))

def op_count_qAljGMXEZr(a):
    if a != 58:
        count = op_count_sdazOOVcIp(a,a)+op_count_rysDP5nf3Z(a,a)+op_count_j9kHMeSvPp(op_sdazOOVcIp(a,a),op_rysDP5nf3Z(a,a))+op_count_u7fv1HBiaC(a)+op_count_NTOWxs364D(a,a)+op_count_EWw2JM7wp4(op_u7fv1HBiaC(a),op_NTOWxs364D(a,a))+op_count_L05ObWFQCd(op_j9kHMeSvPp(op_sdazOOVcIp(a,a),op_rysDP5nf3Z(a,a)),op_EWw2JM7wp4(op_u7fv1HBiaC(a),op_NTOWxs364D(a,a)))
    else:
        count = op_count_vg4gO5BX6G(a,a)+op_count_3sJ7IOPOlU(a,a)+op_count_kuIXHzHcAH(op_vg4gO5BX6G(a,a),op_3sJ7IOPOlU(a,a))+op_count_eLAdDNolq6(a)+op_count_kbkesczE7y(a,a)+op_count_tifHPKVTfV(op_eLAdDNolq6(a),op_kbkesczE7y(a,a))+op_count_9FxExcQeMw(op_kuIXHzHcAH(op_vg4gO5BX6G(a,a),op_3sJ7IOPOlU(a,a)),op_tifHPKVTfV(op_eLAdDNolq6(a),op_kbkesczE7y(a,a)))
    return count


a⊩≵⪔ = { ((≤/a)⋝⋈⪟(⨩∲⋌a)) , if (⨂⪏⇭a)>=265 ; ((⊢≑≆268)⩚⊴⇥(a⋘⨑⨽)) , else }

def op_aDRGw0okjd(a):
    if op_AYdpE9sXAk(a) >= 265:
        return op_2DDjHMKMc0(op_eLAdDNolq6(a),op_aSik1wnThz(a))
    else:
        return op_NTOWxs364D(op_27wFxooxGf(268),op_WmT3o8z6ya(a))

def op_count_aDRGw0okjd(a):
    if op_AYdpE9sXAk(a) >= 265:
        count = op_count_eLAdDNolq6(a)+op_count_aSik1wnThz(a)+op_count_2DDjHMKMc0(op_eLAdDNolq6(a),op_aSik1wnThz(a))+op_count_AYdpE9sXAk(a)
    else:
        count = op_count_27wFxooxGf(268)+op_count_WmT3o8z6ya(a)+op_count_NTOWxs364D(op_27wFxooxGf(268),op_WmT3o8z6ya(a))
    return count


def op_hiBDRd40bf(a, b):
    if (a <= 251 or op_MmTdOpaElr(a) == 390 or op_oPMjh9089D(b) >= 101):
        return b
    else:
        return op_Noe24qw2ks(op_liw5iZPkLH(b),op_9FxExcQeMw(a,49))

def op_count_hiBDRd40bf(a, b):
    if (a <= 251 or op_MmTdOpaElr(a) == 390 or op_oPMjh9089D(b) >= 101):
        count = 1
    else:
        count = op_count_liw5iZPkLH(b)+op_count_9FxExcQeMw(a,49)+op_count_Noe24qw2ks(op_liw5iZPkLH(b),op_9FxExcQeMw(a,49))
    return count


a-∠b = { (((a⊉↱≁b)⪨⊡(134⫰⋱b))⇤((a⨐43)⩧⪆(a⊬⨰b))) , if b==426 ; (((⇾⩊⇾b)⇞)≃((b∷b)⊬⨰(a⇐≅))) , else }

def op_s0IfDFCCuZ(a, b):
    if b == 426:
        return op_YSKBFp38Pu(op_kuIXHzHcAH(op_w2P8NbNXyL(a,b),op_6o9Blt3TJ6(134,b)),op_Ikt5ks8PT7(op_Noe24qw2ks(a,43),op_s3Fd5m9Dh2(a,b)))
    else:
        return op_YbVcJGFEVW(op_5JYyxRJd4f(op_bx9Z9DAK5y(b)),op_s3Fd5m9Dh2(op_D3AQDKkPcf(b,b),op_wEfv7U73WA(a)))

def op_count_s0IfDFCCuZ(a, b):
    if b == 426:
        count = op_count_w2P8NbNXyL(a,b)+op_count_6o9Blt3TJ6(134,b)+op_count_kuIXHzHcAH(op_w2P8NbNXyL(a,b),op_6o9Blt3TJ6(134,b))+op_count_Noe24qw2ks(a,43)+op_count_s3Fd5m9Dh2(a,b)+op_count_Ikt5ks8PT7(op_Noe24qw2ks(a,43),op_s3Fd5m9Dh2(a,b))+op_count_YSKBFp38Pu(op_kuIXHzHcAH(op_w2P8NbNXyL(a,b),op_6o9Blt3TJ6(134,b)),op_Ikt5ks8PT7(op_Noe24qw2ks(a,43),op_s3Fd5m9Dh2(a,b)))
    else:
        count = op_count_bx9Z9DAK5y(b)+op_count_5JYyxRJd4f(op_bx9Z9DAK5y(b))+op_count_D3AQDKkPcf(b,b)+op_count_wEfv7U73WA(a)+op_count_s3Fd5m9Dh2(op_D3AQDKkPcf(b,b),op_wEfv7U73WA(a))+op_count_YbVcJGFEVW(op_5JYyxRJd4f(op_bx9Z9DAK5y(b)),op_s3Fd5m9Dh2(op_D3AQDKkPcf(b,b),op_wEfv7U73WA(a)))
    return count


a⨑⋨b = { ((⨞⊢a)∙∹∝(a⊉↱≁a)) , if (b⇩)!=225 ; ((b⊬⨰a)⇴(15⨸⪁b)) , else }

def op_tIhPxZTbsh(a, b):
    if op_vRio1gEz1j(b) != 225:
        return op_HmxsFra2vL(op_xUOZtlo3hN(a),op_w2P8NbNXyL(a,a))
    else:
        return op_4JB6nKBMSY(op_s3Fd5m9Dh2(b,a),op_g55IO6H4Gj(15,b))

def op_count_tIhPxZTbsh(a, b):
    if op_vRio1gEz1j(b) != 225:
        count = op_count_xUOZtlo3hN(a)+op_count_w2P8NbNXyL(a,a)+op_count_HmxsFra2vL(op_xUOZtlo3hN(a),op_w2P8NbNXyL(a,a))+op_count_vRio1gEz1j(b)
    else:
        count = op_count_s3Fd5m9Dh2(b,a)+op_count_g55IO6H4Gj(15,b)+op_count_4JB6nKBMSY(op_s3Fd5m9Dh2(b,a),op_g55IO6H4Gj(15,b))
    return count


a∲⫑b = { ((a⨵⪆a)⩍⋽⫝̸(b⇩)) , if a<230 ; ((b→⨶⪴b)⋳⪒(b⪎↠b)) , else }

def op_NrdPCfJQiM(a, b):
    if a < 230:
        return op_BiWNJpBvwn(op_2DQ55sFlQl(a,a),op_vRio1gEz1j(b))
    else:
        return op_12rbrZMWeM(op_bF6eod5Gvf(b,b),op_3tVxb0NHM4(b,b))

def op_count_NrdPCfJQiM(a, b):
    if a < 230:
        count = op_count_2DQ55sFlQl(a,a)+op_count_vRio1gEz1j(b)+op_count_BiWNJpBvwn(op_2DQ55sFlQl(a,a),op_vRio1gEz1j(b))
    else:
        count = op_count_bF6eod5Gvf(b,b)+op_count_3tVxb0NHM4(b,b)+op_count_12rbrZMWeM(op_bF6eod5Gvf(b,b),op_3tVxb0NHM4(b,b))
    return count


def op_sM9mzqIDB1(a, b):
    if (op_12rbrZMWeM(a,494) >= 150 or op_5JYyxRJd4f(a) > 379):
        return op_xRrnTEsQ6j(op_09Ly4LVMIf(b,a),op_PPChnnnBFF(b,a))
    else:
        return op_uPb5QRN0te(op_tifHPKVTfV(b,a))

def op_count_sM9mzqIDB1(a, b):
    if (op_12rbrZMWeM(a,494) >= 150 or op_5JYyxRJd4f(a) > 379):
        count = op_count_09Ly4LVMIf(b,a)+op_count_PPChnnnBFF(b,a)+op_count_xRrnTEsQ6j(op_09Ly4LVMIf(b,a),op_PPChnnnBFF(b,a))+op_count_12rbrZMWeM(a,494)+op_count_5JYyxRJd4f(a)
    else:
        count = op_count_tifHPKVTfV(b,a)+op_count_uPb5QRN0te(op_tifHPKVTfV(b,a))
    return count


⇻⨃⇄a = { (a≚⊃≕a) , if (↓⇌a)!=433 ; (a∴a) , else }

def op_fLGIAiPz9h(a):
    if op_PxpmPgHHJV(a) != 433:
        return op_Bmrmz2XGnR(a,a)
    else:
        return op_hrf7POJlIJ(a,a)

def op_count_fLGIAiPz9h(a):
    if op_PxpmPgHHJV(a) != 433:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_PxpmPgHHJV(a)
    else:
        count = op_count_hrf7POJlIJ(a,a)
    return count


def op_qy3n0tapmE(a, b):
    if op_WmT3o8z6ya(a) == 639 and op_LkLIoiE525(b) >= 375:
        return op_AFVx7xoS7T(op_oRDoc9rAEX(a,a),op_C6VvDP6HwP(a))
    else:
        return op_nREPSIbpBE(op_PxiHyQbrIp(704),op_0kmYd0q39Y(376,b))

def op_count_qy3n0tapmE(a, b):
    if op_WmT3o8z6ya(a) == 639 and op_LkLIoiE525(b) >= 375:
        count = op_count_oRDoc9rAEX(a,a)+op_count_C6VvDP6HwP(a)+op_count_AFVx7xoS7T(op_oRDoc9rAEX(a,a),op_C6VvDP6HwP(a))+op_count_WmT3o8z6ya(a)+op_count_LkLIoiE525(b)
    else:
        count = op_count_PxiHyQbrIp(704)+op_count_0kmYd0q39Y(376,b)+op_count_nREPSIbpBE(op_PxiHyQbrIp(704),op_0kmYd0q39Y(376,b))
    return count


a⨩≤⫤b = { ((∥⊫a)⊹≧⊝) , if a!=9 ; ((107⊜)⇼⇔∾(b∺≝⩲b)) , else }

def op_neKQRQQIil(a, b):
    if a != 9:
        return op_LxFB4K6j0n(op_P8v4zCKN1o(a))
    else:
        return op_tifHPKVTfV(op_Eev2Q7dYIw(107),op_KPf6cnQVty(b,b))

def op_count_neKQRQQIil(a, b):
    if a != 9:
        count = op_count_P8v4zCKN1o(a)+op_count_LxFB4K6j0n(op_P8v4zCKN1o(a))
    else:
        count = op_count_Eev2Q7dYIw(107)+op_count_KPf6cnQVty(b,b)+op_count_tifHPKVTfV(op_Eev2Q7dYIw(107),op_KPf6cnQVty(b,b))
    return count


def op_ew17WAA8t6(a):
    if (a >= 152 or a != 371):
        return op_DmTXOeWf9t(39,a)
    else:
        return op_WkeUrDK8WX(581)

def op_count_ew17WAA8t6(a):
    if (a >= 152 or a != 371):
        count = op_count_DmTXOeWf9t(39,a)
    else:
        count = op_count_WkeUrDK8WX(581)
    return count


def op_HQuZ2f4It9(a):
    return op_HmxsFra2vL(op_o575Zjdmzy(a),op_4JB6nKBMSY(a,500))

def op_count_HQuZ2f4It9(a):
    count = op_count_o575Zjdmzy(a)+op_count_4JB6nKBMSY(a,500)+op_count_HmxsFra2vL(op_o575Zjdmzy(a),op_4JB6nKBMSY(a,500))
    return count


def op_QKXs96F9fN(a):
    if a < 178:
        return op_Z5m6OM72h2(a,422)
    else:
        return op_MXaNJeIAZ3(a)

def op_count_QKXs96F9fN(a):
    if a < 178:
        count = op_count_Z5m6OM72h2(a,422)
    else:
        count = op_count_MXaNJeIAZ3(a)
    return count


a∘⨩ = { (((a⪒a)⋝⋈⪟(a⪨⊡a))+⪬∐(⨑⩽⪐(a-4))) }

def op_aHKFHkCgn9(a):
    return op_2GS7woTJqF(op_2DDjHMKMc0(op_f6k1SAg4EE(a,a),op_kuIXHzHcAH(a,a)),op_AF7qkfDlqP(op_rysDP5nf3Z(a,4)))

def op_count_aHKFHkCgn9(a):
    count = op_count_f6k1SAg4EE(a,a)+op_count_kuIXHzHcAH(a,a)+op_count_2DDjHMKMc0(op_f6k1SAg4EE(a,a),op_kuIXHzHcAH(a,a))+op_count_rysDP5nf3Z(a,4)+op_count_AF7qkfDlqP(op_rysDP5nf3Z(a,4))+op_count_2GS7woTJqF(op_2DDjHMKMc0(op_f6k1SAg4EE(a,a),op_kuIXHzHcAH(a,a)),op_AF7qkfDlqP(op_rysDP5nf3Z(a,4)))
    return count


def op_6LuFrogppQ(a):
    return op_3sJ7IOPOlU(a,a)

def op_count_6LuFrogppQ(a):
    count = op_count_3sJ7IOPOlU(a,a)
    return count


a⩜⩌ = { (((a↫)⨰(a⪎↠a))∝(⊢≑≆(675⇌⫙⪟a))) }

def op_2DRhT6gtPg(a):
    return op_cTDWOvIxvz(op_eewbuw0ToL(op_uPb5QRN0te(a),op_3tVxb0NHM4(a,a)),op_27wFxooxGf(op_AFVx7xoS7T(675,a)))

def op_count_2DRhT6gtPg(a):
    count = op_count_uPb5QRN0te(a)+op_count_3tVxb0NHM4(a,a)+op_count_eewbuw0ToL(op_uPb5QRN0te(a),op_3tVxb0NHM4(a,a))+op_count_AFVx7xoS7T(675,a)+op_count_27wFxooxGf(op_AFVx7xoS7T(675,a))+op_count_cTDWOvIxvz(op_eewbuw0ToL(op_uPb5QRN0te(a),op_3tVxb0NHM4(a,a)),op_27wFxooxGf(op_AFVx7xoS7T(675,a)))
    return count


a≭⫡b = { ((∥⊫(b∠⫱a))⨰((b≚⊃≕a)⊲⩕⊾(b∘b))) }

def op_b1mGkbI4Oy(a, b):
    return op_eewbuw0ToL(op_P8v4zCKN1o(op_QvoQhV0rrE(b,a)),op_DmTXOeWf9t(op_Bmrmz2XGnR(b,a),op_Z5m6OM72h2(b,b)))

def op_count_b1mGkbI4Oy(a, b):
    count = op_count_QvoQhV0rrE(b,a)+op_count_P8v4zCKN1o(op_QvoQhV0rrE(b,a))+op_count_Bmrmz2XGnR(b,a)+op_count_Z5m6OM72h2(b,b)+op_count_DmTXOeWf9t(op_Bmrmz2XGnR(b,a),op_Z5m6OM72h2(b,b))+op_count_eewbuw0ToL(op_P8v4zCKN1o(op_QvoQhV0rrE(b,a)),op_DmTXOeWf9t(op_Bmrmz2XGnR(b,a),op_Z5m6OM72h2(b,b)))
    return count


def op_ocpzidtxKt(a):
    if a >= 484:
        return op_i8ToyICDmI(op_eH2TOUuTDT(a),op_EWw2JM7wp4(a,34))
    else:
        return op_ZcwmYACASQ(op_2DDjHMKMc0(506,a))

def op_count_ocpzidtxKt(a):
    if a >= 484:
        count = op_count_eH2TOUuTDT(a)+op_count_EWw2JM7wp4(a,34)+op_count_i8ToyICDmI(op_eH2TOUuTDT(a),op_EWw2JM7wp4(a,34))
    else:
        count = op_count_2DDjHMKMc0(506,a)+op_count_ZcwmYACASQ(op_2DDjHMKMc0(506,a))
    return count


def op_QDWDTvZtyM(a):
    return op_y4ImoPnbV5(a,302)

def op_count_QDWDTvZtyM(a):
    count = op_count_y4ImoPnbV5(a,302)
    return count


def op_ar1w6gUwHX(a, b):
    return op_t4WUHVGj7f(op_IwW236VD4Y(op_g7Hmc5v1ko(a,a),op_rysDP5nf3Z(b,814)))

def op_count_ar1w6gUwHX(a, b):
    count = op_count_g7Hmc5v1ko(a,a)+op_count_rysDP5nf3Z(b,814)+op_count_IwW236VD4Y(op_g7Hmc5v1ko(a,a),op_rysDP5nf3Z(b,814))+op_count_t4WUHVGj7f(op_IwW236VD4Y(op_g7Hmc5v1ko(a,a),op_rysDP5nf3Z(b,814)))
    return count


def op_hYjFJ8q04Z(a):
    return op_g7Hmc5v1ko(op_k7HXdKtiEU(a),op_23Mk6UjR3U(a,a))

def op_count_hYjFJ8q04Z(a):
    count = op_count_k7HXdKtiEU(a)+op_count_23Mk6UjR3U(a,a)+op_count_g7Hmc5v1ko(op_k7HXdKtiEU(a),op_23Mk6UjR3U(a,a))
    return count


def op_64EQ39e0fC(a, b):
    if op_uPb5QRN0te(b) <= 56:
        return op_s3Fd5m9Dh2(op_Qy55tPpLXF(a,a),op_vRio1gEz1j(253))
    else:
        return op_Eev2Q7dYIw(op_3EYGwJThht(a,262))

def op_count_64EQ39e0fC(a, b):
    if op_uPb5QRN0te(b) <= 56:
        count = op_count_Qy55tPpLXF(a,a)+op_count_vRio1gEz1j(253)+op_count_s3Fd5m9Dh2(op_Qy55tPpLXF(a,a),op_vRio1gEz1j(253))+op_count_uPb5QRN0te(b)
    else:
        count = op_count_3EYGwJThht(a,262)+op_count_Eev2Q7dYIw(op_3EYGwJThht(a,262))
    return count


⪭≋⋼a = { ((⋃(a⊔a))⊋≦⊧(↓⇌(151∠↢a))) , if (⋼∭⪍a)>49 ; (((a⨜⨶a)∲⫓(a+⪬∐a))⩌⋺a) , else }

def op_EZ6cjipfBz(a):
    if op_DbCuESL50I(a) > 49:
        return op_oRDoc9rAEX(op_3mBM5G4a3l(op_E4l6HwMY31(a,a)),op_PxpmPgHHJV(op_KbjG8mgYpV(151,a)))
    else:
        return op_g7Hmc5v1ko(op_i8ToyICDmI(op_HiPekx5b7W(a,a),op_2GS7woTJqF(a,a)),a)

def op_count_EZ6cjipfBz(a):
    if op_DbCuESL50I(a) > 49:
        count = op_count_E4l6HwMY31(a,a)+op_count_3mBM5G4a3l(op_E4l6HwMY31(a,a))+op_count_KbjG8mgYpV(151,a)+op_count_PxpmPgHHJV(op_KbjG8mgYpV(151,a))+op_count_oRDoc9rAEX(op_3mBM5G4a3l(op_E4l6HwMY31(a,a)),op_PxpmPgHHJV(op_KbjG8mgYpV(151,a)))+op_count_DbCuESL50I(a)
    else:
        count = op_count_HiPekx5b7W(a,a)+op_count_2GS7woTJqF(a,a)+op_count_i8ToyICDmI(op_HiPekx5b7W(a,a),op_2GS7woTJqF(a,a))+op_count_g7Hmc5v1ko(op_i8ToyICDmI(op_HiPekx5b7W(a,a),op_2GS7woTJqF(a,a)),a)
    return count


a⪁⨴⋨b = { ((⊢≑≆a)⩍⋽⫝̸(⫇a)) , if (b⫭)>623 ; ((135∺≝⩲a)⋅⇍(b⋥≓≎5)) , else }

def op_y2kQTS4a70(a, b):
    if op_t4WUHVGj7f(b) > 623:
        return op_BiWNJpBvwn(op_27wFxooxGf(a),op_YjI8oCXuph(a))
    else:
        return op_AdZkA7nFnk(op_KPf6cnQVty(135,a),op_Qy55tPpLXF(b,5))

def op_count_y2kQTS4a70(a, b):
    if op_t4WUHVGj7f(b) > 623:
        count = op_count_27wFxooxGf(a)+op_count_YjI8oCXuph(a)+op_count_BiWNJpBvwn(op_27wFxooxGf(a),op_YjI8oCXuph(a))+op_count_t4WUHVGj7f(b)
    else:
        count = op_count_KPf6cnQVty(135,a)+op_count_Qy55tPpLXF(b,5)+op_count_AdZkA7nFnk(op_KPf6cnQVty(135,a),op_Qy55tPpLXF(b,5))
    return count


def op_PaBHOjxk8c(a):
    return op_ocnLzx9CaJ(op_1h0rLqGiFr(a),op_umQnsF7QlU(a,675))

def op_count_PaBHOjxk8c(a):
    count = op_count_1h0rLqGiFr(a)+op_count_umQnsF7QlU(a,675)+op_count_ocnLzx9CaJ(op_1h0rLqGiFr(a),op_umQnsF7QlU(a,675))
    return count


a⪿⇪⊩b = { a , if a==33 ; (⇋↷(b⪨⊡a)) , else }

def op_OGWBzMv138(a, b):
    if a == 33:
        return a
    else:
        return op_SWo3A1KBJH(op_kuIXHzHcAH(b,a))

def op_count_OGWBzMv138(a, b):
    if a == 33:
        count = 1
    else:
        count = op_count_kuIXHzHcAH(b,a)+op_count_SWo3A1KBJH(op_kuIXHzHcAH(b,a))
    return count


def op_qxqspddX8k(a, b):
    return op_RygbFNSyEJ(op_zR4jO40bMj(a,a),op_umQnsF7QlU(b,b))

def op_count_qxqspddX8k(a, b):
    count = op_count_zR4jO40bMj(a,a)+op_count_umQnsF7QlU(b,b)+op_count_RygbFNSyEJ(op_zR4jO40bMj(a,a),op_umQnsF7QlU(b,b))
    return count


def op_th50nGnoUm(a):
    if op_umQnsF7QlU(a,261) == 344:
        return op_fOIeswaMU4(a)
    else:
        return op_oRDoc9rAEX(a,a)

def op_count_th50nGnoUm(a):
    if op_umQnsF7QlU(a,261) == 344:
        count = op_count_fOIeswaMU4(a)+op_count_umQnsF7QlU(a,261)
    else:
        count = op_count_oRDoc9rAEX(a,a)
    return count


a⩚ = { (((a∠↢a)⩣⫁∢(≛a))⫁⪎((a∘108)⋅⇍(≋a))) , if (∓a)>644 ; (((a⨐a)⩌⋺(a⪭a))⫃⨇((⋃a)⨑≵⋬(↞≼a))) , else }

def op_i3MWstRFMQ(a):
    if op_OwUj7dcsQK(a) > 644:
        return op_xRrnTEsQ6j(op_JDUIKTTSIa(op_KbjG8mgYpV(a,a),op_W7eaUhjymW(a)),op_AdZkA7nFnk(op_Z5m6OM72h2(a,108),op_61wBmkZwlr(a)))
    else:
        return op_09Ly4LVMIf(op_g7Hmc5v1ko(op_Noe24qw2ks(a,a),op_j9kHMeSvPp(a,a)),op_XnXgA4xnOs(op_3mBM5G4a3l(a),op_DE7zCoGJt9(a)))

def op_count_i3MWstRFMQ(a):
    if op_OwUj7dcsQK(a) > 644:
        count = op_count_KbjG8mgYpV(a,a)+op_count_W7eaUhjymW(a)+op_count_JDUIKTTSIa(op_KbjG8mgYpV(a,a),op_W7eaUhjymW(a))+op_count_Z5m6OM72h2(a,108)+op_count_61wBmkZwlr(a)+op_count_AdZkA7nFnk(op_Z5m6OM72h2(a,108),op_61wBmkZwlr(a))+op_count_xRrnTEsQ6j(op_JDUIKTTSIa(op_KbjG8mgYpV(a,a),op_W7eaUhjymW(a)),op_AdZkA7nFnk(op_Z5m6OM72h2(a,108),op_61wBmkZwlr(a)))+op_count_OwUj7dcsQK(a)
    else:
        count = op_count_Noe24qw2ks(a,a)+op_count_j9kHMeSvPp(a,a)+op_count_g7Hmc5v1ko(op_Noe24qw2ks(a,a),op_j9kHMeSvPp(a,a))+op_count_3mBM5G4a3l(a)+op_count_DE7zCoGJt9(a)+op_count_XnXgA4xnOs(op_3mBM5G4a3l(a),op_DE7zCoGJt9(a))+op_count_09Ly4LVMIf(op_g7Hmc5v1ko(op_Noe24qw2ks(a,a),op_j9kHMeSvPp(a,a)),op_XnXgA4xnOs(op_3mBM5G4a3l(a),op_DE7zCoGJt9(a)))
    return count


def op_W2rMsuCzF8(a):
    return op_8cLx32lpNA(op_YSKBFp38Pu(584,a),op_nREPSIbpBE(193,a))

def op_count_W2rMsuCzF8(a):
    count = op_count_YSKBFp38Pu(584,a)+op_count_nREPSIbpBE(193,a)+op_count_8cLx32lpNA(op_YSKBFp38Pu(584,a),op_nREPSIbpBE(193,a))
    return count


def op_7Nd029Vx1U(a):
    return op_7j4O788W3g(op_E4l6HwMY31(op_KFSx94NKJn(a,304),op_12rbrZMWeM(a,a)),a)

def op_count_7Nd029Vx1U(a):
    count = op_count_KFSx94NKJn(a,304)+op_count_12rbrZMWeM(a,a)+op_count_E4l6HwMY31(op_KFSx94NKJn(a,304),op_12rbrZMWeM(a,a))+op_count_7j4O788W3g(op_E4l6HwMY31(op_KFSx94NKJn(a,304),op_12rbrZMWeM(a,a)),a)
    return count


a⇩↽ = { (((a⨌↪)⊨(⫟a))∺≝⩲((a⫡⨏a)∣(a⪔⊥a))) }

def op_HjMFvreeUu(a):
    return op_KPf6cnQVty(op_vg4gO5BX6G(op_cWQsF5MvuD(a),op_z4E1FaHLuy(a)),op_PPChnnnBFF(op_QMFrweE19q(a,a),op_HJ9erzHUuu(a,a)))

def op_count_HjMFvreeUu(a):
    count = op_count_cWQsF5MvuD(a)+op_count_z4E1FaHLuy(a)+op_count_vg4gO5BX6G(op_cWQsF5MvuD(a),op_z4E1FaHLuy(a))+op_count_QMFrweE19q(a,a)+op_count_HJ9erzHUuu(a,a)+op_count_PPChnnnBFF(op_QMFrweE19q(a,a),op_HJ9erzHUuu(a,a))+op_count_KPf6cnQVty(op_vg4gO5BX6G(op_cWQsF5MvuD(a),op_z4E1FaHLuy(a)),op_PPChnnnBFF(op_QMFrweE19q(a,a),op_HJ9erzHUuu(a,a)))
    return count


def op_8HCJqvcFkE(a):
    return op_oPMjh9089D(op_HJ9erzHUuu(a,a))

def op_count_8HCJqvcFkE(a):
    count = op_count_HJ9erzHUuu(a,a)+op_count_oPMjh9089D(op_HJ9erzHUuu(a,a))
    return count


def op_Q9TX5pQS3Y(a):
    return op_LkLIoiE525(op_Ikt5ks8PT7(a,a))

def op_count_Q9TX5pQS3Y(a):
    count = op_count_Ikt5ks8PT7(a,a)+op_count_LkLIoiE525(op_Ikt5ks8PT7(a,a))
    return count


def op_2z8nE7LpCu(a, b):
    return op_w2P8NbNXyL(a,op_QMFrweE19q(a,b))

def op_count_2z8nE7LpCu(a, b):
    count = op_count_QMFrweE19q(a,b)+op_count_w2P8NbNXyL(a,op_QMFrweE19q(a,b))
    return count


def op_0JWJYFSzIQ(a, b):
    if op_KipPnG1M2J(a) == 564:
        return op_KPf6cnQVty(op_s3Fd5m9Dh2(175,a),op_W7eaUhjymW(507))
    else:
        return op_eRqsBgTDFp(op_d7ASUq0ydm(130,a),op_AdZkA7nFnk(b,b))

def op_count_0JWJYFSzIQ(a, b):
    if op_KipPnG1M2J(a) == 564:
        count = op_count_s3Fd5m9Dh2(175,a)+op_count_W7eaUhjymW(507)+op_count_KPf6cnQVty(op_s3Fd5m9Dh2(175,a),op_W7eaUhjymW(507))+op_count_KipPnG1M2J(a)
    else:
        count = op_count_d7ASUq0ydm(130,a)+op_count_AdZkA7nFnk(b,b)+op_count_eRqsBgTDFp(op_d7ASUq0ydm(130,a),op_AdZkA7nFnk(b,b))
    return count


⨇⪄⫏a = { (⩦⊞a) , if a==25 ; (a⫰⋱a) , else }

def op_B4c4JXCTtZ(a):
    if a == 25:
        return op_u7fv1HBiaC(a)
    else:
        return op_6o9Blt3TJ6(a,a)

def op_count_B4c4JXCTtZ(a):
    if a == 25:
        count = op_count_u7fv1HBiaC(a)
    else:
        count = op_count_6o9Blt3TJ6(a,a)
    return count


a≧⊼b = { ((≇⪴a)⊬⫿⊭) , if b<294 ; ((⊲⪭b)⪨≂(≯b)) , else }

def op_JoLB3LXqXx(a, b):
    if b < 294:
        return op_v0DYgG9ikt(op_zoVPnxeHJ3(a))
    else:
        return op_sdazOOVcIp(op_k7HXdKtiEU(b),op_keWfFq85dY(b))

def op_count_JoLB3LXqXx(a, b):
    if b < 294:
        count = op_count_zoVPnxeHJ3(a)+op_count_v0DYgG9ikt(op_zoVPnxeHJ3(a))
    else:
        count = op_count_k7HXdKtiEU(b)+op_count_keWfFq85dY(b)+op_count_sdazOOVcIp(op_k7HXdKtiEU(b),op_keWfFq85dY(b))
    return count


a≟⫹b = { ((b∴b)⪒(102⊉≛↸b)) , if (a⊠≄⫣)==158 ; (↥≼⋛(b⊉≛↸b)) , else }

def op_z2JHNkvbdm(a, b):
    if op_DIvbN7qnHd(a) == 158:
        return op_f6k1SAg4EE(op_hrf7POJlIJ(b,b),op_DZ8iAZOCBD(102,b))
    else:
        return op_x5lMkHmzsq(op_DZ8iAZOCBD(b,b))

def op_count_z2JHNkvbdm(a, b):
    if op_DIvbN7qnHd(a) == 158:
        count = op_count_hrf7POJlIJ(b,b)+op_count_DZ8iAZOCBD(102,b)+op_count_f6k1SAg4EE(op_hrf7POJlIJ(b,b),op_DZ8iAZOCBD(102,b))+op_count_DIvbN7qnHd(a)
    else:
        count = op_count_DZ8iAZOCBD(b,b)+op_count_x5lMkHmzsq(op_DZ8iAZOCBD(b,b))
    return count


⫌⊑↬a = { (⪸(⇠a)) , if a!=6 ; ((a⫚↹⊑a)⨱∎) , else }

def op_h57jOAbG9W(a):
    if a != 6:
        return op_86A5ENbKR9(op_18saOjeKKm(a))
    else:
        return op_MmTdOpaElr(op_dfKe02y8D2(a,a))

def op_count_h57jOAbG9W(a):
    if a != 6:
        count = op_count_18saOjeKKm(a)+op_count_86A5ENbKR9(op_18saOjeKKm(a))
    else:
        count = op_count_dfKe02y8D2(a,a)+op_count_MmTdOpaElr(op_dfKe02y8D2(a,a))
    return count


def op_rPNtK4BLRO(a, b):
    if op_U6pG0PXrV3(a) != 50:
        return op_bPywburJMS(op_E4l6HwMY31(op_09Ly4LVMIf(60,a),op_g55IO6H4Gj(b,b)),op_j9kHMeSvPp(op_6o9Blt3TJ6(a,a),op_gx7XJ7hdpj(a,a)))
    else:
        return op_tfWHHpNKUN(op_pRsWfj4Fpp(op_U6pG0PXrV3(489)))

def op_count_rPNtK4BLRO(a, b):
    if op_U6pG0PXrV3(a) != 50:
        count = op_count_09Ly4LVMIf(60,a)+op_count_g55IO6H4Gj(b,b)+op_count_E4l6HwMY31(op_09Ly4LVMIf(60,a),op_g55IO6H4Gj(b,b))+op_count_6o9Blt3TJ6(a,a)+op_count_gx7XJ7hdpj(a,a)+op_count_j9kHMeSvPp(op_6o9Blt3TJ6(a,a),op_gx7XJ7hdpj(a,a))+op_count_bPywburJMS(op_E4l6HwMY31(op_09Ly4LVMIf(60,a),op_g55IO6H4Gj(b,b)),op_j9kHMeSvPp(op_6o9Blt3TJ6(a,a),op_gx7XJ7hdpj(a,a)))+op_count_U6pG0PXrV3(a)
    else:
        count = op_count_U6pG0PXrV3(489)+op_count_pRsWfj4Fpp(op_U6pG0PXrV3(489))+op_count_tfWHHpNKUN(op_pRsWfj4Fpp(op_U6pG0PXrV3(489)))
    return count


def op_VCG3UHNzLR(a, b):
    if (op_DmTXOeWf9t(b,399) == 462 or a < 10):
        return op_zoVPnxeHJ3(48)
    else:
        return op_eRqsBgTDFp(419,b)

def op_count_VCG3UHNzLR(a, b):
    if (op_DmTXOeWf9t(b,399) == 462 or a < 10):
        count = op_count_zoVPnxeHJ3(48)+op_count_DmTXOeWf9t(b,399)
    else:
        count = op_count_eRqsBgTDFp(419,b)
    return count


a⩤∜↚b = { (a⫻⋑⊟) , if (a⋆⋳)>=96 ; (a⪇≇⋚b) , else }

def op_KROiRRz3d6(a, b):
    if op_6MpZysEj17(a) >= 96:
        return op_o575Zjdmzy(a)
    else:
        return op_3sJ7IOPOlU(a,b)

def op_count_KROiRRz3d6(a, b):
    if op_6MpZysEj17(a) >= 96:
        count = op_count_o575Zjdmzy(a)+op_count_6MpZysEj17(a)
    else:
        count = op_count_3sJ7IOPOlU(a,b)
    return count


def op_ut0Nd8ObBp(a):
    return op_cTDWOvIxvz(op_k2HlF1dBQh(op_DE7zCoGJt9(a)),op_rysDP5nf3Z(op_eewbuw0ToL(182,a),op_Qy55tPpLXF(a,363)))

def op_count_ut0Nd8ObBp(a):
    count = op_count_DE7zCoGJt9(a)+op_count_k2HlF1dBQh(op_DE7zCoGJt9(a))+op_count_eewbuw0ToL(182,a)+op_count_Qy55tPpLXF(a,363)+op_count_rysDP5nf3Z(op_eewbuw0ToL(182,a),op_Qy55tPpLXF(a,363))+op_count_cTDWOvIxvz(op_k2HlF1dBQh(op_DE7zCoGJt9(a)),op_rysDP5nf3Z(op_eewbuw0ToL(182,a),op_Qy55tPpLXF(a,363)))
    return count


def op_7CBskBkoKY(a):
    return op_1h0rLqGiFr(op_L05ObWFQCd(a,a))

def op_count_7CBskBkoKY(a):
    count = op_count_L05ObWFQCd(a,a)+op_count_1h0rLqGiFr(op_L05ObWFQCd(a,a))
    return count


def op_OWnFPqjWlR(a, b):
    return op_sdazOOVcIp(op_pRsWfj4Fpp(op_Noe24qw2ks(7,a)),b)

def op_count_OWnFPqjWlR(a, b):
    count = op_count_Noe24qw2ks(7,a)+op_count_pRsWfj4Fpp(op_Noe24qw2ks(7,a))+op_count_sdazOOVcIp(op_pRsWfj4Fpp(op_Noe24qw2ks(7,a)),b)
    return count


def op_PZaICrJanm(a):
    if a == 580 and op_59igzFyhWz(a) < 132:
        return op_W7eaUhjymW(a)
    else:
        return op_1aApVXNlOP(128,389)

def op_count_PZaICrJanm(a):
    if a == 580 and op_59igzFyhWz(a) < 132:
        count = op_count_W7eaUhjymW(a)+op_count_59igzFyhWz(a)
    else:
        count = op_count_1aApVXNlOP(128,389)
    return count


def op_rIsGeVJWJF(a):
    if op_Ph9nP6C5qx(a,64) <= 20:
        return op_1aApVXNlOP(op_7j4O788W3g(op_2DQ55sFlQl(a,a),op_1h0rLqGiFr(a)),op_3EYGwJThht(op_rysDP5nf3Z(a,a),op_BiWNJpBvwn(a,a)))
    else:
        return op_HJ9erzHUuu(op_t4WUHVGj7f(op_t8gj7n24qd(a)),op_6o9Blt3TJ6(op_tifHPKVTfV(304,a),op_EWw2JM7wp4(a,a)))

def op_count_rIsGeVJWJF(a):
    if op_Ph9nP6C5qx(a,64) <= 20:
        count = op_count_2DQ55sFlQl(a,a)+op_count_1h0rLqGiFr(a)+op_count_7j4O788W3g(op_2DQ55sFlQl(a,a),op_1h0rLqGiFr(a))+op_count_rysDP5nf3Z(a,a)+op_count_BiWNJpBvwn(a,a)+op_count_3EYGwJThht(op_rysDP5nf3Z(a,a),op_BiWNJpBvwn(a,a))+op_count_1aApVXNlOP(op_7j4O788W3g(op_2DQ55sFlQl(a,a),op_1h0rLqGiFr(a)),op_3EYGwJThht(op_rysDP5nf3Z(a,a),op_BiWNJpBvwn(a,a)))+op_count_Ph9nP6C5qx(a,64)
    else:
        count = op_count_t8gj7n24qd(a)+op_count_t4WUHVGj7f(op_t8gj7n24qd(a))+op_count_tifHPKVTfV(304,a)+op_count_EWw2JM7wp4(a,a)+op_count_6o9Blt3TJ6(op_tifHPKVTfV(304,a),op_EWw2JM7wp4(a,a))+op_count_HJ9erzHUuu(op_t4WUHVGj7f(op_t8gj7n24qd(a)),op_6o9Blt3TJ6(op_tifHPKVTfV(304,a),op_EWw2JM7wp4(a,a)))
    return count


a∮⨁ = { ((a⩣⫁∢a)⊬⨰(⋼∭⪍a)) , if (a⨳⩥⨓636)<=658 ; ((a⫰⋱a)⩌⋺(⩏⊷≩a)) , else }

def op_TytFGXR7Zf(a):
    if op_nCS4ZIUYfx(a,636) <= 658:
        return op_s3Fd5m9Dh2(op_JDUIKTTSIa(a,a),op_DbCuESL50I(a))
    else:
        return op_g7Hmc5v1ko(op_6o9Blt3TJ6(a,a),op_uOZ1tnYMDE(a))

def op_count_TytFGXR7Zf(a):
    if op_nCS4ZIUYfx(a,636) <= 658:
        count = op_count_JDUIKTTSIa(a,a)+op_count_DbCuESL50I(a)+op_count_s3Fd5m9Dh2(op_JDUIKTTSIa(a,a),op_DbCuESL50I(a))+op_count_nCS4ZIUYfx(a,636)
    else:
        count = op_count_6o9Blt3TJ6(a,a)+op_count_uOZ1tnYMDE(a)+op_count_g7Hmc5v1ko(op_6o9Blt3TJ6(a,a),op_uOZ1tnYMDE(a))
    return count


def op_k2B77S3vSv(a):
    return op_MXaNJeIAZ3(op_8cLx32lpNA(a,a))

def op_count_k2B77S3vSv(a):
    count = op_count_8cLx32lpNA(a,a)+op_count_MXaNJeIAZ3(op_8cLx32lpNA(a,a))
    return count


def op_RPa3726CSl(a):
    return op_BUOGQAYlQx(op_DmTXOeWf9t(op_3Oe9XWJUTD(a,a),op_nREPSIbpBE(a,242)))

def op_count_RPa3726CSl(a):
    count = op_count_3Oe9XWJUTD(a,a)+op_count_nREPSIbpBE(a,242)+op_count_DmTXOeWf9t(op_3Oe9XWJUTD(a,a),op_nREPSIbpBE(a,242))+op_count_BUOGQAYlQx(op_DmTXOeWf9t(op_3Oe9XWJUTD(a,a),op_nREPSIbpBE(a,242)))
    return count


a⫀ = { (⇾⩊⇾((a⪔⊥a)≝⊿(a⇄a))) , if a>103 ; (((a⪑⩈)↼⊘⨖(a⩌⋺a))⨳⩥⨓((≋a)≬⋮(≉a))) , else }

def op_hFnZRMLNSM(a):
    if a > 103:
        return op_bx9Z9DAK5y(op_OKKcZfAt5B(op_HJ9erzHUuu(a,a),op_3EYGwJThht(a,a)))
    else:
        return op_nCS4ZIUYfx(op_bPywburJMS(op_C6VvDP6HwP(a),op_g7Hmc5v1ko(a,a)),op_kbkesczE7y(op_61wBmkZwlr(a),op_e1ybzncUwg(a)))

def op_count_hFnZRMLNSM(a):
    if a > 103:
        count = op_count_HJ9erzHUuu(a,a)+op_count_3EYGwJThht(a,a)+op_count_OKKcZfAt5B(op_HJ9erzHUuu(a,a),op_3EYGwJThht(a,a))+op_count_bx9Z9DAK5y(op_OKKcZfAt5B(op_HJ9erzHUuu(a,a),op_3EYGwJThht(a,a)))
    else:
        count = op_count_C6VvDP6HwP(a)+op_count_g7Hmc5v1ko(a,a)+op_count_bPywburJMS(op_C6VvDP6HwP(a),op_g7Hmc5v1ko(a,a))+op_count_61wBmkZwlr(a)+op_count_e1ybzncUwg(a)+op_count_kbkesczE7y(op_61wBmkZwlr(a),op_e1ybzncUwg(a))+op_count_nCS4ZIUYfx(op_bPywburJMS(op_C6VvDP6HwP(a),op_g7Hmc5v1ko(a,a)),op_kbkesczE7y(op_61wBmkZwlr(a),op_e1ybzncUwg(a)))
    return count


a⫸b = { (((b↼⊘⨖a)∷(354↯⫤))⩹((a⩇∃⫛a)⊉↱≁b)) }

def op_Qaz2MhZaG5(a, b):
    return op_2Wsdkap16l(op_D3AQDKkPcf(op_bPywburJMS(b,a),op_VwlE7vj6HS(354)),op_w2P8NbNXyL(op_1aApVXNlOP(a,a),b))

def op_count_Qaz2MhZaG5(a, b):
    count = op_count_bPywburJMS(b,a)+op_count_VwlE7vj6HS(354)+op_count_D3AQDKkPcf(op_bPywburJMS(b,a),op_VwlE7vj6HS(354))+op_count_1aApVXNlOP(a,a)+op_count_w2P8NbNXyL(op_1aApVXNlOP(a,a),b)+op_count_2Wsdkap16l(op_D3AQDKkPcf(op_bPywburJMS(b,a),op_VwlE7vj6HS(354)),op_w2P8NbNXyL(op_1aApVXNlOP(a,a),b))
    return count


def op_69GgKhV9QQ(a):
    if (op_HiPekx5b7W(a,820) <= 7 and a < 169 and op_OwUj7dcsQK(a) < 896):
        return op_rFxw8gIMmB(op_Ph9nP6C5qx(op_LxFB4K6j0n(a),op_3Oe9XWJUTD(a,a)))
    else:
        return op_rysDP5nf3Z(op_e1ybzncUwg(op_3Oe9XWJUTD(a,a)),op_QvoQhV0rrE(op_HiPekx5b7W(200,285),op_QMFrweE19q(a,a)))

def op_count_69GgKhV9QQ(a):
    if (op_HiPekx5b7W(a,820) <= 7 and a < 169 and op_OwUj7dcsQK(a) < 896):
        count = op_count_LxFB4K6j0n(a)+op_count_3Oe9XWJUTD(a,a)+op_count_Ph9nP6C5qx(op_LxFB4K6j0n(a),op_3Oe9XWJUTD(a,a))+op_count_rFxw8gIMmB(op_Ph9nP6C5qx(op_LxFB4K6j0n(a),op_3Oe9XWJUTD(a,a)))+op_count_HiPekx5b7W(a,820)+op_count_OwUj7dcsQK(a)
    else:
        count = op_count_3Oe9XWJUTD(a,a)+op_count_e1ybzncUwg(op_3Oe9XWJUTD(a,a))+op_count_HiPekx5b7W(200,285)+op_count_QMFrweE19q(a,a)+op_count_QvoQhV0rrE(op_HiPekx5b7W(200,285),op_QMFrweE19q(a,a))+op_count_rysDP5nf3Z(op_e1ybzncUwg(op_3Oe9XWJUTD(a,a)),op_QvoQhV0rrE(op_HiPekx5b7W(200,285),op_QMFrweE19q(a,a)))
    return count


def op_KYL1uVeVpb(a, b):
    return op_s3Fd5m9Dh2(op_COABgblf1C(a,op_4CyGpkTkEk(b)),op_KbjG8mgYpV(a,op_B3sABdIn96(b)))

def op_count_KYL1uVeVpb(a, b):
    count = op_count_4CyGpkTkEk(b)+op_count_COABgblf1C(a,op_4CyGpkTkEk(b))+op_count_B3sABdIn96(b)+op_count_KbjG8mgYpV(a,op_B3sABdIn96(b))+op_count_s3Fd5m9Dh2(op_COABgblf1C(a,op_4CyGpkTkEk(b)),op_KbjG8mgYpV(a,op_B3sABdIn96(b)))
    return count


a⊭⇢↿ = { ((⋂(⊈a))⨚((a⨸⪁a)⨵⪆(a⫡⨏45))) , if a>221 ; (((a⫰⋱a)⪉⨛(a≋⫹))⪔⊥((65⊔a)⊬⫿⊭)) , else }

def op_G8pG1QxO6Y(a):
    if a > 221:
        return op_nREPSIbpBE(op_BUOGQAYlQx(op_RHru8klgy8(a)),op_2DQ55sFlQl(op_g55IO6H4Gj(a,a),op_QMFrweE19q(a,45)))
    else:
        return op_HJ9erzHUuu(op_EWw2JM7wp4(op_6o9Blt3TJ6(a,a),op_N41Kp7NANJ(a)),op_v0DYgG9ikt(op_E4l6HwMY31(65,a)))

def op_count_G8pG1QxO6Y(a):
    if a > 221:
        count = op_count_RHru8klgy8(a)+op_count_BUOGQAYlQx(op_RHru8klgy8(a))+op_count_g55IO6H4Gj(a,a)+op_count_QMFrweE19q(a,45)+op_count_2DQ55sFlQl(op_g55IO6H4Gj(a,a),op_QMFrweE19q(a,45))+op_count_nREPSIbpBE(op_BUOGQAYlQx(op_RHru8klgy8(a)),op_2DQ55sFlQl(op_g55IO6H4Gj(a,a),op_QMFrweE19q(a,45)))
    else:
        count = op_count_6o9Blt3TJ6(a,a)+op_count_N41Kp7NANJ(a)+op_count_EWw2JM7wp4(op_6o9Blt3TJ6(a,a),op_N41Kp7NANJ(a))+op_count_E4l6HwMY31(65,a)+op_count_v0DYgG9ikt(op_E4l6HwMY31(65,a))+op_count_HJ9erzHUuu(op_EWw2JM7wp4(op_6o9Blt3TJ6(a,a),op_N41Kp7NANJ(a)),op_v0DYgG9ikt(op_E4l6HwMY31(65,a)))
    return count


a≽⊫ = { (≉(a⪒a)) , if (a∠↢28)<=49 or (a∴≳≥)>=318 ; ((a≦≮≮)∴(a⨜⨶a)) , else }

def op_H0pizIJMoW(a):
    if op_KbjG8mgYpV(a,28) <= 49 or op_a3N2hFLK0J(a) >= 318:
        return op_e1ybzncUwg(op_f6k1SAg4EE(a,a))
    else:
        return op_hrf7POJlIJ(op_D4vGDi5EA2(a),op_HiPekx5b7W(a,a))

def op_count_H0pizIJMoW(a):
    if op_KbjG8mgYpV(a,28) <= 49 or op_a3N2hFLK0J(a) >= 318:
        count = op_count_f6k1SAg4EE(a,a)+op_count_e1ybzncUwg(op_f6k1SAg4EE(a,a))+op_count_KbjG8mgYpV(a,28)+op_count_a3N2hFLK0J(a)
    else:
        count = op_count_D4vGDi5EA2(a)+op_count_HiPekx5b7W(a,a)+op_count_hrf7POJlIJ(op_D4vGDi5EA2(a),op_HiPekx5b7W(a,a))
    return count


a⫏↛⩏b = { (((a→⨶⪴b)⨚(b⪔⊥b))⊝⪿⪼(∓(⊖b))) , if (⪸a)>94 ; ((b⪔⊥(⨝⨆148))⩇∃⫛((a⋅⇍b)∣(a∣b))) , else }

def op_YC3tgrnOyr(a, b):
    if op_86A5ENbKR9(a) > 94:
        return op_3Oe9XWJUTD(op_nREPSIbpBE(op_bF6eod5Gvf(a,b),op_HJ9erzHUuu(b,b)),op_OwUj7dcsQK(op_U6pG0PXrV3(b)))
    else:
        return op_1aApVXNlOP(op_HJ9erzHUuu(b,op_bQ67fsrMVf(148)),op_PPChnnnBFF(op_AdZkA7nFnk(a,b),op_PPChnnnBFF(a,b)))

def op_count_YC3tgrnOyr(a, b):
    if op_86A5ENbKR9(a) > 94:
        count = op_count_bF6eod5Gvf(a,b)+op_count_HJ9erzHUuu(b,b)+op_count_nREPSIbpBE(op_bF6eod5Gvf(a,b),op_HJ9erzHUuu(b,b))+op_count_U6pG0PXrV3(b)+op_count_OwUj7dcsQK(op_U6pG0PXrV3(b))+op_count_3Oe9XWJUTD(op_nREPSIbpBE(op_bF6eod5Gvf(a,b),op_HJ9erzHUuu(b,b)),op_OwUj7dcsQK(op_U6pG0PXrV3(b)))+op_count_86A5ENbKR9(a)
    else:
        count = op_count_bQ67fsrMVf(148)+op_count_HJ9erzHUuu(b,op_bQ67fsrMVf(148))+op_count_AdZkA7nFnk(a,b)+op_count_PPChnnnBFF(a,b)+op_count_PPChnnnBFF(op_AdZkA7nFnk(a,b),op_PPChnnnBFF(a,b))+op_count_1aApVXNlOP(op_HJ9erzHUuu(b,op_bQ67fsrMVf(148)),op_PPChnnnBFF(op_AdZkA7nFnk(a,b),op_PPChnnnBFF(a,b)))
    return count


def op_tDVI6bDdAd(a):
    if op_w2P8NbNXyL(a,609) == 340:
        return op_i8ToyICDmI(a,a)
    else:
        return op_4JB6nKBMSY(a,55)

def op_count_tDVI6bDdAd(a):
    if op_w2P8NbNXyL(a,609) == 340:
        count = op_count_i8ToyICDmI(a,a)+op_count_w2P8NbNXyL(a,609)
    else:
        count = op_count_4JB6nKBMSY(a,55)
    return count


def op_4kvgVkQeiQ(a):
    return op_4JB6nKBMSY(op_4CyGpkTkEk(a),a)

def op_count_4kvgVkQeiQ(a):
    count = op_count_4CyGpkTkEk(a)+op_count_4JB6nKBMSY(op_4CyGpkTkEk(a),a)
    return count


def op_7FnCP1ejHT(a):
    return op_DE7zCoGJt9(op_i8ToyICDmI(a,a))

def op_count_7FnCP1ejHT(a):
    count = op_count_i8ToyICDmI(a,a)+op_count_DE7zCoGJt9(op_i8ToyICDmI(a,a))
    return count


def op_cwbF3JtlMN(a, b):
    return op_y4ImoPnbV5(op_JDUIKTTSIa(op_5twsqlHp2o(b,b),op_8cLx32lpNA(48,b)),op_DmTXOeWf9t(op_gx7XJ7hdpj(b,a),op_IGFM8TAlm9(220)))

def op_count_cwbF3JtlMN(a, b):
    count = op_count_5twsqlHp2o(b,b)+op_count_8cLx32lpNA(48,b)+op_count_JDUIKTTSIa(op_5twsqlHp2o(b,b),op_8cLx32lpNA(48,b))+op_count_gx7XJ7hdpj(b,a)+op_count_IGFM8TAlm9(220)+op_count_DmTXOeWf9t(op_gx7XJ7hdpj(b,a),op_IGFM8TAlm9(220))+op_count_y4ImoPnbV5(op_JDUIKTTSIa(op_5twsqlHp2o(b,b),op_8cLx32lpNA(48,b)),op_DmTXOeWf9t(op_gx7XJ7hdpj(b,a),op_IGFM8TAlm9(220)))
    return count


def op_inCIaGQf8u(a, b):
    return op_18saOjeKKm(op_Qy55tPpLXF(a,b))

def op_count_inCIaGQf8u(a, b):
    count = op_count_Qy55tPpLXF(a,b)+op_count_18saOjeKKm(op_Qy55tPpLXF(a,b))
    return count


def op_Kn0TacbtGK(a):
    return op_kuIXHzHcAH(op_apS25hmuAe(op_86A5ENbKR9(a)),op_bQ67fsrMVf(op_JclMnS0uGI(a,53)))

def op_count_Kn0TacbtGK(a):
    count = op_count_86A5ENbKR9(a)+op_count_apS25hmuAe(op_86A5ENbKR9(a))+op_count_JclMnS0uGI(a,53)+op_count_bQ67fsrMVf(op_JclMnS0uGI(a,53))+op_count_kuIXHzHcAH(op_apS25hmuAe(op_86A5ENbKR9(a)),op_bQ67fsrMVf(op_JclMnS0uGI(a,53)))
    return count


def op_3A1e9zoj8h(a):
    return op_OwUj7dcsQK(op_QMFrweE19q(op_oRDoc9rAEX(a,a),op_HiPekx5b7W(a,a)))

def op_count_3A1e9zoj8h(a):
    count = op_count_oRDoc9rAEX(a,a)+op_count_HiPekx5b7W(a,a)+op_count_QMFrweE19q(op_oRDoc9rAEX(a,a),op_HiPekx5b7W(a,a))+op_count_OwUj7dcsQK(op_QMFrweE19q(op_oRDoc9rAEX(a,a),op_HiPekx5b7W(a,a)))
    return count