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