a≾∞⩢b = { (((b∐⫇3)↼⇙⨌(b∝a))⨠⨥⋊((b⩒⩻b)⨳(b⊟))) , if ((a↙⨃325)==6 and (a⨘⩜⇪)<=20) ; (((b⫝̸⨥a)∉∋)↚) , else }

def op_wDfklm0vkD(a, b):
    if (op_RO5dAyufID(a,325) == 6 and op_w1y23zWct6(a) <= 20):
        return op_xaRIqAkB3v(op_rMifWJgd3t(op_PwydOn4AwQ(b,3),op_cTDWOvIxvz(b,a)),op_YaB1w09lmH(op_3x4KQ8f6lD(b,b),op_y6OTf7Brud(b)))
    else:
        return op_FpZEcu9gEh(op_ZFviRl8shK(op_B8fOXEboqQ(b,a)))

def op_count_wDfklm0vkD(a, b):
    if (op_RO5dAyufID(a,325) == 6 and op_w1y23zWct6(a) <= 20):
        count = op_count_PwydOn4AwQ(b,3)+op_count_cTDWOvIxvz(b,a)+op_count_rMifWJgd3t(op_PwydOn4AwQ(b,3),op_cTDWOvIxvz(b,a))+op_count_3x4KQ8f6lD(b,b)+op_count_y6OTf7Brud(b)+op_count_YaB1w09lmH(op_3x4KQ8f6lD(b,b),op_y6OTf7Brud(b))+op_count_xaRIqAkB3v(op_rMifWJgd3t(op_PwydOn4AwQ(b,3),op_cTDWOvIxvz(b,a)),op_YaB1w09lmH(op_3x4KQ8f6lD(b,b),op_y6OTf7Brud(b)))+op_count_RO5dAyufID(a,325)+op_count_w1y23zWct6(a)
    else:
        count = op_count_B8fOXEboqQ(b,a)+op_count_ZFviRl8shK(op_B8fOXEboqQ(b,a))+op_count_FpZEcu9gEh(op_ZFviRl8shK(op_B8fOXEboqQ(b,a)))
    return count


def op_dd2un0Gk31(a, b):
    return op_KYD54nUTWz(op_hjASYKpOEw(a),op_KFvx0uYMJh(b))

def op_count_dd2un0Gk31(a, b):
    count = op_count_hjASYKpOEw(a)+op_count_KFvx0uYMJh(b)+op_count_KYD54nUTWz(op_hjASYKpOEw(a),op_KFvx0uYMJh(b))
    return count


a↻∞⨠b = { (((b⊮⩪a)⫈(b⪃⊛⇣a))⊩((∧⊲⊐505)⊫⇖(↓⊻⪕b))) }

def op_RHj0rXLc4B(a, b):
    return op_aCwnCp9fG4(op_e1wGt9VEHG(op_xAOA4rDxDB(b,a),op_rrgAzCduG9(b,a)),op_WfvMQLQgAr(op_MA5AhxUWDD(505),op_OOXovtW7XD(b)))

def op_count_RHj0rXLc4B(a, b):
    count = op_count_xAOA4rDxDB(b,a)+op_count_rrgAzCduG9(b,a)+op_count_e1wGt9VEHG(op_xAOA4rDxDB(b,a),op_rrgAzCduG9(b,a))+op_count_MA5AhxUWDD(505)+op_count_OOXovtW7XD(b)+op_count_WfvMQLQgAr(op_MA5AhxUWDD(505),op_OOXovtW7XD(b))+op_count_aCwnCp9fG4(op_e1wGt9VEHG(op_xAOA4rDxDB(b,a),op_rrgAzCduG9(b,a)),op_WfvMQLQgAr(op_MA5AhxUWDD(505),op_OOXovtW7XD(b)))
    return count


def op_mKL5yvcAMJ(a, b):
    if op_ziENa4oeDe(a,903) >= 178:
        return op_HQuZ2f4It9(op_LruclEJH8T(op_bF6eod5Gvf(83,b),75))
    else:
        return op_zH3mEP4fZ2(op_KHAvRn04uW(op_0wt1I76pQR(61,b)),op_l8UfvtpCFJ(op_G8ZGq3ATv0(b)))

def op_count_mKL5yvcAMJ(a, b):
    if op_ziENa4oeDe(a,903) >= 178:
        count = op_count_bF6eod5Gvf(83,b)+op_count_LruclEJH8T(op_bF6eod5Gvf(83,b),75)+op_count_HQuZ2f4It9(op_LruclEJH8T(op_bF6eod5Gvf(83,b),75))+op_count_ziENa4oeDe(a,903)
    else:
        count = op_count_0wt1I76pQR(61,b)+op_count_KHAvRn04uW(op_0wt1I76pQR(61,b))+op_count_G8ZGq3ATv0(b)+op_count_l8UfvtpCFJ(op_G8ZGq3ATv0(b))+op_count_zH3mEP4fZ2(op_KHAvRn04uW(op_0wt1I76pQR(61,b)),op_l8UfvtpCFJ(op_G8ZGq3ATv0(b)))
    return count


def op_0ixZa2Eeme(a, b):
    return op_78QBpbqeKK(op_IqadpPahGY(b),op_y6OTf7Brud(op_vXNesLlMH1(a,b)))

def op_count_0ixZa2Eeme(a, b):
    count = op_count_IqadpPahGY(b)+op_count_vXNesLlMH1(a,b)+op_count_y6OTf7Brud(op_vXNesLlMH1(a,b))+op_count_78QBpbqeKK(op_IqadpPahGY(b),op_y6OTf7Brud(op_vXNesLlMH1(a,b)))
    return count


a⋐⋩⩪b = { (((b⩻⩔⋅a)⨆a)⪂⇙≶((b⪜b)⨐⩸⫘(↫⩷≞259))) }

def op_lLROTRQbWZ(a, b):
    return op_cA8pkMYiOz(op_v5jqR0uimB(op_CHhZl5C0UC(b,a),a),op_fu6greOZ01(op_EMR9JvRK8T(b,b),op_9h3kpCOncX(259)))

def op_count_lLROTRQbWZ(a, b):
    count = op_count_CHhZl5C0UC(b,a)+op_count_v5jqR0uimB(op_CHhZl5C0UC(b,a),a)+op_count_EMR9JvRK8T(b,b)+op_count_9h3kpCOncX(259)+op_count_fu6greOZ01(op_EMR9JvRK8T(b,b),op_9h3kpCOncX(259))+op_count_cA8pkMYiOz(op_v5jqR0uimB(op_CHhZl5C0UC(b,a),a),op_fu6greOZ01(op_EMR9JvRK8T(b,b),op_9h3kpCOncX(259)))
    return count


def op_Anyy5xcQFj(a):
    if op_FsOkgZJFKv(a,404) < 2:
        return op_htSmYCowi5(op_lhONkfYInr(35,22))
    else:
        return op_fBnYZceood(op_Y8C8ozzXLe(a,600),a)

def op_count_Anyy5xcQFj(a):
    if op_FsOkgZJFKv(a,404) < 2:
        count = op_count_lhONkfYInr(35,22)+op_count_htSmYCowi5(op_lhONkfYInr(35,22))+op_count_FsOkgZJFKv(a,404)
    else:
        count = op_count_Y8C8ozzXLe(a,600)+op_count_fBnYZceood(op_Y8C8ozzXLe(a,600),a)
    return count


def op_qxokdsCRSr(a, b):
    return op_ERCh0iueHk(op_pABnYW3G3E(op_2Wsdkap16l(a,b)),op_RDhvo9XtvN(a))

def op_count_qxokdsCRSr(a, b):
    count = op_count_2Wsdkap16l(a,b)+op_count_pABnYW3G3E(op_2Wsdkap16l(a,b))+op_count_RDhvo9XtvN(a)+op_count_ERCh0iueHk(op_pABnYW3G3E(op_2Wsdkap16l(a,b)),op_RDhvo9XtvN(a))
    return count


def op_V4atgEyXGB(a, b):
    return op_gZaJvPXt7R(op_kX43GtnAVh(op_tYn1ngw0gr(a,b)))

def op_count_V4atgEyXGB(a, b):
    count = op_count_tYn1ngw0gr(a,b)+op_count_kX43GtnAVh(op_tYn1ngw0gr(a,b))+op_count_gZaJvPXt7R(op_kX43GtnAVh(op_tYn1ngw0gr(a,b)))
    return count


a⩫⩥⊇b = { (((a↯⋎285)≮⫰(b≫⋭*a))⫏∊∨((a≄b)⫛↱(a⩃⋣≅b))) , if (∥⪬≵a)!=488 ; (b⊃⩀((↬⨕a)⇑⇊⩴(⇳a))) , else }

def op_3rfdw3KGmN(a, b):
    if op_LBL36x6Kn9(a) != 488:
        return op_xgB3tWPdtm(op_RXTe6wbwcz(op_0MmFDdeb7B(a,285),op_dYBoAWDpSk(b,a)),op_mnHambyY0m(op_fLJG5zVr1z(a,b),op_wkGOHkejlq(a,b)))
    else:
        return op_e78ZTXR2yC(b,op_qUzyPcz3G4(op_pMXht5UQ7i(a),op_QaS5iYTZMC(a)))

def op_count_3rfdw3KGmN(a, b):
    if op_LBL36x6Kn9(a) != 488:
        count = op_count_0MmFDdeb7B(a,285)+op_count_dYBoAWDpSk(b,a)+op_count_RXTe6wbwcz(op_0MmFDdeb7B(a,285),op_dYBoAWDpSk(b,a))+op_count_fLJG5zVr1z(a,b)+op_count_wkGOHkejlq(a,b)+op_count_mnHambyY0m(op_fLJG5zVr1z(a,b),op_wkGOHkejlq(a,b))+op_count_xgB3tWPdtm(op_RXTe6wbwcz(op_0MmFDdeb7B(a,285),op_dYBoAWDpSk(b,a)),op_mnHambyY0m(op_fLJG5zVr1z(a,b),op_wkGOHkejlq(a,b)))+op_count_LBL36x6Kn9(a)
    else:
        count = op_count_pMXht5UQ7i(a)+op_count_QaS5iYTZMC(a)+op_count_qUzyPcz3G4(op_pMXht5UQ7i(a),op_QaS5iYTZMC(a))+op_count_e78ZTXR2yC(b,op_qUzyPcz3G4(op_pMXht5UQ7i(a),op_QaS5iYTZMC(a)))
    return count


def op_kkUjrQ8y3L(a):
    return op_iQVWWJ5UFC(op_ryce98zMeW(op_3vSzULByEU(a,a)),op_gLpgCFl5iX(op_lN5Hu1ptA5(a,a)))

def op_count_kkUjrQ8y3L(a):
    count = op_count_3vSzULByEU(a,a)+op_count_ryce98zMeW(op_3vSzULByEU(a,a))+op_count_lN5Hu1ptA5(a,a)+op_count_gLpgCFl5iX(op_lN5Hu1ptA5(a,a))+op_count_iQVWWJ5UFC(op_ryce98zMeW(op_3vSzULByEU(a,a)),op_gLpgCFl5iX(op_lN5Hu1ptA5(a,a)))
    return count


def op_7qstDH5PwA(a):
    return op_FtzCMUsONU(op_cSYuHxjEyJ(a),op_xapQr7rWwN(a))

def op_count_7qstDH5PwA(a):
    count = op_count_cSYuHxjEyJ(a)+op_count_xapQr7rWwN(a)+op_count_FtzCMUsONU(op_cSYuHxjEyJ(a),op_xapQr7rWwN(a))
    return count


def op_IXuVbfAdpH(a):
    return op_0ajvFaJAv0(a,331)

def op_count_IXuVbfAdpH(a):
    count = op_count_0ajvFaJAv0(a,331)
    return count


a∬⨣ = { ((a⪦⩸a)⩀↣(a⇪⋞a)) , if a==27 ; (⇵⪽a) , else }

def op_EMQkrcKh37(a):
    if a == 27:
        return op_OstGYNawjH(op_0JWJYFSzIQ(a,a),op_XFtV96IEKB(a,a))
    else:
        return op_ZGCBLdVRRX(a)

def op_count_EMQkrcKh37(a):
    if a == 27:
        count = op_count_0JWJYFSzIQ(a,a)+op_count_XFtV96IEKB(a,a)+op_count_OstGYNawjH(op_0JWJYFSzIQ(a,a),op_XFtV96IEKB(a,a))
    else:
        count = op_count_ZGCBLdVRRX(a)
    return count


def op_IWF83x7jBd(a):
    return op_qc7n42dByr(op_Qaz2MhZaG5(op_xb2YpVd57y(a,a),op_ONgMwLM7Hk(a,a)))

def op_count_IWF83x7jBd(a):
    count = op_count_xb2YpVd57y(a,a)+op_count_ONgMwLM7Hk(a,a)+op_count_Qaz2MhZaG5(op_xb2YpVd57y(a,a),op_ONgMwLM7Hk(a,a))+op_count_qc7n42dByr(op_Qaz2MhZaG5(op_xb2YpVd57y(a,a),op_ONgMwLM7Hk(a,a)))
    return count


def op_Avb3plBOUj(a):
    if a <= 434:
        return op_GT5aUJrC8p(a)
    else:
        return op_DyGG3AbaNP(a,128)

def op_count_Avb3plBOUj(a):
    if a <= 434:
        count = op_count_GT5aUJrC8p(a)
    else:
        count = op_count_DyGG3AbaNP(a,128)
    return count


a⨥⊠b = { (((a⪨∜a)⇷⋗(b⪃⩐⨑b))⨉⊹⋈((⨙⋹⊇b)⩩⫓⨁)) , if ((↑∭⋛a)>=140 or (a≢)<512) ; (((b⪘⫢a)⋲(⇵⪽b))⫡⨏((a⫮↻77)⫢⨏≡(49⩒⩻b))) , else }

def op_fuGavawvSo(a, b):
    if (op_9LJ0UGGx0U(a) >= 140 or op_q8oxKt1zRy(a) < 512):
        return op_jPYZHDFkUI(op_MFRHkRtSmA(op_TE9MRjNUgG(a,a),op_7OL7g5oVtb(b,b)),op_zwoA5Vb5OR(op_2XD3tPU2JT(b)))
    else:
        return op_QMFrweE19q(op_zoVUxTIMAa(op_oacrs7FA3X(b,a),op_ZGCBLdVRRX(b)),op_ln8odt1XeD(op_9y5jf4ro75(a,77),op_3x4KQ8f6lD(49,b)))

def op_count_fuGavawvSo(a, b):
    if (op_9LJ0UGGx0U(a) >= 140 or op_q8oxKt1zRy(a) < 512):
        count = op_count_TE9MRjNUgG(a,a)+op_count_7OL7g5oVtb(b,b)+op_count_MFRHkRtSmA(op_TE9MRjNUgG(a,a),op_7OL7g5oVtb(b,b))+op_count_2XD3tPU2JT(b)+op_count_zwoA5Vb5OR(op_2XD3tPU2JT(b))+op_count_jPYZHDFkUI(op_MFRHkRtSmA(op_TE9MRjNUgG(a,a),op_7OL7g5oVtb(b,b)),op_zwoA5Vb5OR(op_2XD3tPU2JT(b)))+op_count_9LJ0UGGx0U(a)+op_count_q8oxKt1zRy(a)
    else:
        count = op_count_oacrs7FA3X(b,a)+op_count_ZGCBLdVRRX(b)+op_count_zoVUxTIMAa(op_oacrs7FA3X(b,a),op_ZGCBLdVRRX(b))+op_count_9y5jf4ro75(a,77)+op_count_3x4KQ8f6lD(49,b)+op_count_ln8odt1XeD(op_9y5jf4ro75(a,77),op_3x4KQ8f6lD(49,b))+op_count_QMFrweE19q(op_zoVUxTIMAa(op_oacrs7FA3X(b,a),op_ZGCBLdVRRX(b)),op_ln8odt1XeD(op_9y5jf4ro75(a,77),op_3x4KQ8f6lD(49,b)))
    return count


⩸∻⋷a = { (((⫑⨩⫂a)⪋⩽⩀(a⩝≶a))↾⇦) , if ((∉a)==286 and (∜⩟a)>=79) ; (≩⫔⨷(316↻(a⨚⋹%a))) , else }

def op_TK7xFjAkOh(a):
    if (op_dma8RTlAAq(a) == 286 and op_3z281OYBYs(a) >= 79):
        return op_H9RETCE9fR(op_hS2BjwBKFM(op_n4X2i6wiGH(a),op_q6iAK3IPqK(a,a)))
    else:
        return op_LVTXjn9PlI(op_XFunts32PM(316,op_kl8g1HIl1s(a,a)))

def op_count_TK7xFjAkOh(a):
    if (op_dma8RTlAAq(a) == 286 and op_3z281OYBYs(a) >= 79):
        count = op_count_n4X2i6wiGH(a)+op_count_q6iAK3IPqK(a,a)+op_count_hS2BjwBKFM(op_n4X2i6wiGH(a),op_q6iAK3IPqK(a,a))+op_count_H9RETCE9fR(op_hS2BjwBKFM(op_n4X2i6wiGH(a),op_q6iAK3IPqK(a,a)))+op_count_dma8RTlAAq(a)+op_count_3z281OYBYs(a)
    else:
        count = op_count_kl8g1HIl1s(a,a)+op_count_XFunts32PM(316,op_kl8g1HIl1s(a,a))+op_count_LVTXjn9PlI(op_XFunts32PM(316,op_kl8g1HIl1s(a,a)))
    return count


∿⊤a = { (((a⩑⋮⋾)≹⇙⪍(a⇑⩢a))⇮⊵((a↨⇰)⊢⨂(477⋽≿⩈a))) }

def op_fCFpQjC2YG(a):
    return op_mQAUEyL64v(op_AHs5Up7iyr(op_JiteNRY3yT(a),op_gqZfcu8Q4L(a,a)),op_iIjyEn7CwK(op_vfQvGLtzjY(a),op_A1lUXjvBPn(477,a)))

def op_count_fCFpQjC2YG(a):
    count = op_count_JiteNRY3yT(a)+op_count_gqZfcu8Q4L(a,a)+op_count_AHs5Up7iyr(op_JiteNRY3yT(a),op_gqZfcu8Q4L(a,a))+op_count_vfQvGLtzjY(a)+op_count_A1lUXjvBPn(477,a)+op_count_iIjyEn7CwK(op_vfQvGLtzjY(a),op_A1lUXjvBPn(477,a))+op_count_mQAUEyL64v(op_AHs5Up7iyr(op_JiteNRY3yT(a),op_gqZfcu8Q4L(a,a)),op_iIjyEn7CwK(op_vfQvGLtzjY(a),op_A1lUXjvBPn(477,a)))
    return count


def op_dVoQI2pMDk(a, b):
    return op_NIS2NZpoyR(op_jZLVGoLxNh(b,b),op_Rs7tkwGXpi(a))

def op_count_dVoQI2pMDk(a, b):
    count = op_count_jZLVGoLxNh(b,b)+op_count_Rs7tkwGXpi(a)+op_count_NIS2NZpoyR(op_jZLVGoLxNh(b,b),op_Rs7tkwGXpi(a))
    return count


def op_mIsPaA4hSv(a, b):
    return op_fOqZxGbLQX(op_4WiZHdYfGJ(b,a),op_Q3PJZHRvZv(11))

def op_count_mIsPaA4hSv(a, b):
    count = op_count_4WiZHdYfGJ(b,a)+op_count_Q3PJZHRvZv(11)+op_count_fOqZxGbLQX(op_4WiZHdYfGJ(b,a),op_Q3PJZHRvZv(11))
    return count


⇎↖a = { (((a⨝⇝a)⫝⫧⩽(a⇈⩭a))↖⪸⫱((a⊡⫩a)⩔(a⋉←⋽a))) , if (≉⊈⨃a)!=36 ; (≘(⩷⩄(a⇣⩏))) , else }

def op_azy3gOdMa1(a):
    if op_kNtlGfu7Pf(a) != 36:
        return op_KCGfcBnbwZ(op_yOqGLqJViq(op_JVIk0ZlPWJ(a,a),op_9boeLj5Zd3(a,a)),op_EOlQWVzPou(op_GkvCUnJJBn(a,a),op_Vf9NwM3fOJ(a,a)))
    else:
        return op_tcjXMdvYtA(op_E5361TCKDi(op_oNoCrsWj2C(a)))

def op_count_azy3gOdMa1(a):
    if op_kNtlGfu7Pf(a) != 36:
        count = op_count_JVIk0ZlPWJ(a,a)+op_count_9boeLj5Zd3(a,a)+op_count_yOqGLqJViq(op_JVIk0ZlPWJ(a,a),op_9boeLj5Zd3(a,a))+op_count_GkvCUnJJBn(a,a)+op_count_Vf9NwM3fOJ(a,a)+op_count_EOlQWVzPou(op_GkvCUnJJBn(a,a),op_Vf9NwM3fOJ(a,a))+op_count_KCGfcBnbwZ(op_yOqGLqJViq(op_JVIk0ZlPWJ(a,a),op_9boeLj5Zd3(a,a)),op_EOlQWVzPou(op_GkvCUnJJBn(a,a),op_Vf9NwM3fOJ(a,a)))+op_count_kNtlGfu7Pf(a)
    else:
        count = op_count_oNoCrsWj2C(a)+op_count_E5361TCKDi(op_oNoCrsWj2C(a))+op_count_tcjXMdvYtA(op_E5361TCKDi(op_oNoCrsWj2C(a)))
    return count


def op_MAoGXFTGhy(a):
    return op_KYD54nUTWz(a,a)

def op_count_MAoGXFTGhy(a):
    count = op_count_KYD54nUTWz(a,a)
    return count


↱⩘a = { (126⪿↰⪖a) , if (a↥⪸)<507 ; (a⩇⫾⪤a) , else }

def op_Sp4k5h7Dsf(a):
    if op_aThlxnsVMp(a) < 507:
        return op_kMgNLpsPAE(126,a)
    else:
        return op_FNeuu2F1id(a,a)

def op_count_Sp4k5h7Dsf(a):
    if op_aThlxnsVMp(a) < 507:
        count = op_count_kMgNLpsPAE(126,a)+op_count_aThlxnsVMp(a)
    else:
        count = op_count_FNeuu2F1id(a,a)
    return count


⋑⋢⩔a = { (267∟≃) , if (a↢↝⊦)<384 ; (⫳⊑↿a) , else }

def op_1h0m8JqNKq(a):
    if op_c2r3abcdex(a) < 384:
        return op_uPE9uA7DVi(267)
    else:
        return op_1O0FHXADw1(a)

def op_count_1h0m8JqNKq(a):
    if op_c2r3abcdex(a) < 384:
        count = op_count_uPE9uA7DVi(267)+op_count_c2r3abcdex(a)
    else:
        count = op_count_1O0FHXADw1(a)
    return count


a⨽⪎⊷ = { ((242≇⪦⋨a)⊷⫩⩔(a∦⨌↡a)) , if (⨓∭a)!=560 ; ((a⨯∮a)⨟⋌⩍(52⇁⊓a)) , else }

def op_F2fmMXVYWm(a):
    if op_fMZ7mhYB2n(a) != 560:
        return op_ralaNa988P(op_lUbvlUQjLd(242,a),op_gfBLKDDRgZ(a,a))
    else:
        return op_rGHVDoGpnC(op_vvWkAKV61U(a,a),op_tYn1ngw0gr(52,a))

def op_count_F2fmMXVYWm(a):
    if op_fMZ7mhYB2n(a) != 560:
        count = op_count_lUbvlUQjLd(242,a)+op_count_gfBLKDDRgZ(a,a)+op_count_ralaNa988P(op_lUbvlUQjLd(242,a),op_gfBLKDDRgZ(a,a))+op_count_fMZ7mhYB2n(a)
    else:
        count = op_count_vvWkAKV61U(a,a)+op_count_tYn1ngw0gr(52,a)+op_count_rGHVDoGpnC(op_vvWkAKV61U(a,a),op_tYn1ngw0gr(52,a))
    return count


def op_ODJQNmEZ4O(a):
    if op_M0spx1iEew(a) == 266 and a < 160 and a >= 677:
        return op_PdXgBgzzRn(667)
    else:
        return op_p5sVf13ywX(a,a)

def op_count_ODJQNmEZ4O(a):
    if op_M0spx1iEew(a) == 266 and a < 160 and a >= 677:
        count = op_count_PdXgBgzzRn(667)+op_count_M0spx1iEew(a)
    else:
        count = op_count_p5sVf13ywX(a,a)
    return count


⨘⩖a = { ((⇖⇹⊙a)⨗⩕) , if a<103 ; ((⪲⇎0)⇱⇎⩗(a⪕⫤⨡a)) , else }

def op_WkNHjf0Wex(a):
    if a < 103:
        return op_vMsY8vuDsl(op_k7lm2Ur0iI(a))
    else:
        return op_DSSXvJAOg7(op_XPYlsWDdGa(0),op_NKl5HFIxUg(a,a))

def op_count_WkNHjf0Wex(a):
    if a < 103:
        count = op_count_k7lm2Ur0iI(a)+op_count_vMsY8vuDsl(op_k7lm2Ur0iI(a))
    else:
        count = op_count_XPYlsWDdGa(0)+op_count_NKl5HFIxUg(a,a)+op_count_DSSXvJAOg7(op_XPYlsWDdGa(0),op_NKl5HFIxUg(a,a))
    return count


a⪄∂⇔b = { ((a⩔b)⋁∮) , if (⩇≝↷a)<=1 or a!=6 ; ((⩬⊰⋒685)⊽⫨⪬) , else }

def op_P13mYjJ9ha(a, b):
    if op_lYDgrU5fjD(a) <= 1 or a != 6:
        return op_DzQ6xCa9qR(op_EOlQWVzPou(a,b))
    else:
        return op_5C4rGEtfh1(op_CcwCj3AAlH(685))

def op_count_P13mYjJ9ha(a, b):
    if op_lYDgrU5fjD(a) <= 1 or a != 6:
        count = op_count_EOlQWVzPou(a,b)+op_count_DzQ6xCa9qR(op_EOlQWVzPou(a,b))+op_count_lYDgrU5fjD(a)
    else:
        count = op_count_CcwCj3AAlH(685)+op_count_5C4rGEtfh1(op_CcwCj3AAlH(685))
    return count


a⇉⨙b = { ((⫙a)≙⪉⫔(a⊠⪡⨶102)) , if (↖∇⇑a)==740 ; ((a≡)≿≇⋫(≞b)) , else }

def op_y1jwDfX567(a, b):
    if op_th50nGnoUm(a) == 740:
        return op_NBzRrbIImn(op_X8DMfAISiV(a),op_ntT9PAI6rF(a,102))
    else:
        return op_IlBaPZfJxA(op_LlXaajdvBB(a),op_qtJLMuGoc3(b))

def op_count_y1jwDfX567(a, b):
    if op_th50nGnoUm(a) == 740:
        count = op_count_X8DMfAISiV(a)+op_count_ntT9PAI6rF(a,102)+op_count_NBzRrbIImn(op_X8DMfAISiV(a),op_ntT9PAI6rF(a,102))+op_count_th50nGnoUm(a)
    else:
        count = op_count_LlXaajdvBB(a)+op_count_qtJLMuGoc3(b)+op_count_IlBaPZfJxA(op_LlXaajdvBB(a),op_qtJLMuGoc3(b))
    return count


def op_uW15btUdRH(a, b):
    return op_rAeLvhpKas(op_SI1PWFcObS(op_U7g4x0WXJJ(b,a),op_whU4MbSDDh(166,b)))

def op_count_uW15btUdRH(a, b):
    count = op_count_U7g4x0WXJJ(b,a)+op_count_whU4MbSDDh(166,b)+op_count_SI1PWFcObS(op_U7g4x0WXJJ(b,a),op_whU4MbSDDh(166,b))+op_count_rAeLvhpKas(op_SI1PWFcObS(op_U7g4x0WXJJ(b,a),op_whU4MbSDDh(166,b)))
    return count


def op_Sz2Y4GUQ91(a, b):
    return op_qG7zLWbgUK(op_K00OLkiOkF(op_hL8JPCYIkc(b,a),op_SVb2v531z1(a)),op_aNUt8ajhS1(39))

def op_count_Sz2Y4GUQ91(a, b):
    count = op_count_hL8JPCYIkc(b,a)+op_count_SVb2v531z1(a)+op_count_K00OLkiOkF(op_hL8JPCYIkc(b,a),op_SVb2v531z1(a))+op_count_aNUt8ajhS1(39)+op_count_qG7zLWbgUK(op_K00OLkiOkF(op_hL8JPCYIkc(b,a),op_SVb2v531z1(a)),op_aNUt8ajhS1(39))
    return count


a∭↘⋄ = { (((a−⪑775)⨳⩨a)⪱((a≬⋐⪟a)≘↜(a≓⇂a))) }

def op_9beFMiLPNj(a):
    return op_Fw9FUhpJpC(op_M7wbeLYPvN(op_NtNF0fXNRD(a,775),a),op_L4QKcwJRKF(op_iNkNML30R6(a,a),op_pNsYZ4ACSL(a,a)))

def op_count_9beFMiLPNj(a):
    count = op_count_NtNF0fXNRD(a,775)+op_count_M7wbeLYPvN(op_NtNF0fXNRD(a,775),a)+op_count_iNkNML30R6(a,a)+op_count_pNsYZ4ACSL(a,a)+op_count_L4QKcwJRKF(op_iNkNML30R6(a,a),op_pNsYZ4ACSL(a,a))+op_count_Fw9FUhpJpC(op_M7wbeLYPvN(op_NtNF0fXNRD(a,775),a),op_L4QKcwJRKF(op_iNkNML30R6(a,a),op_pNsYZ4ACSL(a,a)))
    return count


def op_dwAjokwuz9(a):
    if (op_DEAy1fljX8(a,223) <= 306 or a == 270):
        return op_0VM5IIwWHX(op_As8RqfVLgs(218,op_g3XCkDyza1(a,a)))
    else:
        return op_6D3mdwkYL6(op_zWEPWlwaj2(op_pzIYUzZX5D(a,a),op_nCZMjqzUAG(250)))

def op_count_dwAjokwuz9(a):
    if (op_DEAy1fljX8(a,223) <= 306 or a == 270):
        count = op_count_g3XCkDyza1(a,a)+op_count_As8RqfVLgs(218,op_g3XCkDyza1(a,a))+op_count_0VM5IIwWHX(op_As8RqfVLgs(218,op_g3XCkDyza1(a,a)))+op_count_DEAy1fljX8(a,223)
    else:
        count = op_count_pzIYUzZX5D(a,a)+op_count_nCZMjqzUAG(250)+op_count_zWEPWlwaj2(op_pzIYUzZX5D(a,a),op_nCZMjqzUAG(250))+op_count_6D3mdwkYL6(op_zWEPWlwaj2(op_pzIYUzZX5D(a,a),op_nCZMjqzUAG(250)))
    return count


def op_xt9MyzfrPA(a):
    return op_vQUWrCPLqI(op_AJW4C0rBPs(a,a),op_jJY68xoYNq(a,a))

def op_count_xt9MyzfrPA(a):
    count = op_count_AJW4C0rBPs(a,a)+op_count_jJY68xoYNq(a,a)+op_count_vQUWrCPLqI(op_AJW4C0rBPs(a,a),op_jJY68xoYNq(a,a))
    return count


def op_bTfxBzPiO3(a):
    return op_UO7sojQx20(op_H9RETCE9fR(a),op_zLfG7Ay1vB(a,a))

def op_count_bTfxBzPiO3(a):
    count = op_count_H9RETCE9fR(a)+op_count_zLfG7Ay1vB(a,a)+op_count_UO7sojQx20(op_H9RETCE9fR(a),op_zLfG7Ay1vB(a,a))
    return count


def op_6S0sfZLmgx(a):
    return op_IEH3kw0xIp(op_1j9NUrSBwK(a,a),op_g21JL6JxX7(292))

def op_count_6S0sfZLmgx(a):
    count = op_count_1j9NUrSBwK(a,a)+op_count_g21JL6JxX7(292)+op_count_IEH3kw0xIp(op_1j9NUrSBwK(a,a),op_g21JL6JxX7(292))
    return count


a⫕⩽ = { (a⪔⊥a) , if (⇏↧⩨a)<=317 ; (⊬⨌a) , else }

def op_PN2VUTWePY(a):
    if op_w0DNA4Gsel(a) <= 317:
        return op_HJ9erzHUuu(a,a)
    else:
        return op_q5ANYLE8fX(a)

def op_count_PN2VUTWePY(a):
    if op_w0DNA4Gsel(a) <= 317:
        count = op_count_HJ9erzHUuu(a,a)+op_count_w0DNA4Gsel(a)
    else:
        count = op_count_q5ANYLE8fX(a)
    return count


def op_8cS69lgyqp(a):
    return op_pABnYW3G3E(op_3teYALjtln(23,a))

def op_count_8cS69lgyqp(a):
    count = op_count_3teYALjtln(23,a)+op_count_pABnYW3G3E(op_3teYALjtln(23,a))
    return count


def op_69BvncKZqz(a):
    return op_EYU6BsVPjN(op_KUgh4aG1vf(op_ANJ5yRPvn6(a,a)),op_NIS2NZpoyR(op_dXiJTwqsTq(a),a))

def op_count_69BvncKZqz(a):
    count = op_count_ANJ5yRPvn6(a,a)+op_count_KUgh4aG1vf(op_ANJ5yRPvn6(a,a))+op_count_dXiJTwqsTq(a)+op_count_NIS2NZpoyR(op_dXiJTwqsTq(a),a)+op_count_EYU6BsVPjN(op_KUgh4aG1vf(op_ANJ5yRPvn6(a,a)),op_NIS2NZpoyR(op_dXiJTwqsTq(a),a))
    return count


a⋙⪈ = { (a⫁a) , if (⫕⫌⫈a)==131 ; (∪a) , else }

def op_1zPCR4YLcf(a):
    if op_wMUvlF4yLL(a) == 131:
        return op_0ajvFaJAv0(a,a)
    else:
        return op_GUAyslFuBw(a)

def op_count_1zPCR4YLcf(a):
    if op_wMUvlF4yLL(a) == 131:
        count = op_count_0ajvFaJAv0(a,a)+op_count_wMUvlF4yLL(a)
    else:
        count = op_count_GUAyslFuBw(a)
    return count


a⫹⩔b = { (((a∄41)∕⩚178)⪝⋓((a∥⋈a)∫(⇕⨊a))) , if (a⫹⪎≄727)!=208 ; (((a⇩≳b)⩰≴⇟b)⫈⩚((a⨼⩅)∀⇚≩(b⊷⪂b))) , else }

def op_BL4jRqAoIQ(a, b):
    if op_K576RbR1w3(a,727) != 208:
        return op_2hIaDBSv9V(op_z9ffQ9n5Zr(op_tnyRA5sazQ(a,41),178),op_bX58bBWVyZ(op_j7kFUh2iBI(a,a),op_0k3LXBuut5(a)))
    else:
        return op_s4gCNs8pnH(op_5SwpydjcNm(op_31U0BVBhtT(a,b),b),op_LRNGc0VcxI(op_eN03chWq6S(a),op_QnvrtN8efL(b,b)))

def op_count_BL4jRqAoIQ(a, b):
    if op_K576RbR1w3(a,727) != 208:
        count = op_count_tnyRA5sazQ(a,41)+op_count_z9ffQ9n5Zr(op_tnyRA5sazQ(a,41),178)+op_count_j7kFUh2iBI(a,a)+op_count_0k3LXBuut5(a)+op_count_bX58bBWVyZ(op_j7kFUh2iBI(a,a),op_0k3LXBuut5(a))+op_count_2hIaDBSv9V(op_z9ffQ9n5Zr(op_tnyRA5sazQ(a,41),178),op_bX58bBWVyZ(op_j7kFUh2iBI(a,a),op_0k3LXBuut5(a)))+op_count_K576RbR1w3(a,727)
    else:
        count = op_count_31U0BVBhtT(a,b)+op_count_5SwpydjcNm(op_31U0BVBhtT(a,b),b)+op_count_eN03chWq6S(a)+op_count_QnvrtN8efL(b,b)+op_count_LRNGc0VcxI(op_eN03chWq6S(a),op_QnvrtN8efL(b,b))+op_count_s4gCNs8pnH(op_5SwpydjcNm(op_31U0BVBhtT(a,b),b),op_LRNGc0VcxI(op_eN03chWq6S(a),op_QnvrtN8efL(b,b)))
    return count


def op_jOsM6hcw3p(a, b):
    if (op_zNymfbJ47P(a) == 357 and op_mZg3X04OIL(b) == 214):
        return op_uFPyJr306J(b)
    else:
        return op_qUdDiQCoDi(17,b)

def op_count_jOsM6hcw3p(a, b):
    if (op_zNymfbJ47P(a) == 357 and op_mZg3X04OIL(b) == 214):
        count = op_count_uFPyJr306J(b)+op_count_zNymfbJ47P(a)+op_count_mZg3X04OIL(b)
    else:
        count = op_count_qUdDiQCoDi(17,b)
    return count


a↼⋂ = { (((a∇∹100)∼(a≎⪂a))⪴⨽((a∗⫦⨲a)⇑⩉∸)) , if (⋸⩇⊞a)>495 ; (((⇯⊘a)≉≕⩚(42∝⋌⇬a))⩈) , else }

def op_TURkxYj44e(a):
    if op_QZRjuhgdxU(a) > 495:
        return op_WOQIWRggyx(op_DyGG3AbaNP(op_NQx0zRYggH(a,100),op_rBix6azao7(a,a)),op_BOHTIbFqcy(op_4zhs1Pu9yK(a,a)))
    else:
        return op_zTd4o4K50M(op_uQIJe7GXhw(op_4IsXanmfaW(a),op_25jDJzUX4z(42,a)))

def op_count_TURkxYj44e(a):
    if op_QZRjuhgdxU(a) > 495:
        count = op_count_NQx0zRYggH(a,100)+op_count_rBix6azao7(a,a)+op_count_DyGG3AbaNP(op_NQx0zRYggH(a,100),op_rBix6azao7(a,a))+op_count_4zhs1Pu9yK(a,a)+op_count_BOHTIbFqcy(op_4zhs1Pu9yK(a,a))+op_count_WOQIWRggyx(op_DyGG3AbaNP(op_NQx0zRYggH(a,100),op_rBix6azao7(a,a)),op_BOHTIbFqcy(op_4zhs1Pu9yK(a,a)))+op_count_QZRjuhgdxU(a)
    else:
        count = op_count_4IsXanmfaW(a)+op_count_25jDJzUX4z(42,a)+op_count_uQIJe7GXhw(op_4IsXanmfaW(a),op_25jDJzUX4z(42,a))+op_count_zTd4o4K50M(op_uQIJe7GXhw(op_4IsXanmfaW(a),op_25jDJzUX4z(42,a)))
    return count


def op_u3oAJHhj7U(a, b):
    if op_rGHVDoGpnC(b,743) >= 212 or op_FaF1PUcip1(a,239) != 366:
        return op_EUSk7IrTeN(a)
    else:
        return op_jJY68xoYNq(143,a)

def op_count_u3oAJHhj7U(a, b):
    if op_rGHVDoGpnC(b,743) >= 212 or op_FaF1PUcip1(a,239) != 366:
        count = op_count_EUSk7IrTeN(a)+op_count_rGHVDoGpnC(b,743)+op_count_FaF1PUcip1(a,239)
    else:
        count = op_count_jJY68xoYNq(143,a)
    return count


a⋶⩵b = { b , if ((↪b)<484 or a>326 or b<106) ; (⫆⩾((a⋋↞⩉a)⫮⨰(a∠↓⩳))) , else }

def op_SXEJBH0vQB(a, b):
    if (op_KFvx0uYMJh(b) < 484 or a > 326 or b < 106):
        return b
    else:
        return op_8DHlP0DBF0(op_DHBAteFHNm(op_FtzCMUsONU(a,a),op_UP83abds7r(a)))

def op_count_SXEJBH0vQB(a, b):
    if (op_KFvx0uYMJh(b) < 484 or a > 326 or b < 106):
        count = 1
    else:
        count = op_count_FtzCMUsONU(a,a)+op_count_UP83abds7r(a)+op_count_DHBAteFHNm(op_FtzCMUsONU(a,a),op_UP83abds7r(a))+op_count_8DHlP0DBF0(op_DHBAteFHNm(op_FtzCMUsONU(a,a),op_UP83abds7r(a)))
    return count


a⊁≾≼b = { (((a⫕⇤⪲b)⨗⊚⫘(a≛⨶⨗b))⫙⨠∵((456⫄⊘b)∑⊋(a*⊚≜a))) , if a<12 ; (≮⨆((∨⫘⊿a)⇊⇳)) , else }

def op_3Pv1NAdfDM(a, b):
    if a < 12:
        return op_VIMCZ0TE5t(op_v96W72HGcC(op_NP9YRXuJAy(a,b),op_wWzzlX9aK4(a,b)),op_UTc5aj7RkL(op_gymZSq4thO(456,b),op_s0oCwvsLAD(a,a)))
    else:
        return op_hl4Calylxn(op_aaQ3WJhk6P(op_qxp9F1VMeC(a)))

def op_count_3Pv1NAdfDM(a, b):
    if a < 12:
        count = op_count_NP9YRXuJAy(a,b)+op_count_wWzzlX9aK4(a,b)+op_count_v96W72HGcC(op_NP9YRXuJAy(a,b),op_wWzzlX9aK4(a,b))+op_count_gymZSq4thO(456,b)+op_count_s0oCwvsLAD(a,a)+op_count_UTc5aj7RkL(op_gymZSq4thO(456,b),op_s0oCwvsLAD(a,a))+op_count_VIMCZ0TE5t(op_v96W72HGcC(op_NP9YRXuJAy(a,b),op_wWzzlX9aK4(a,b)),op_UTc5aj7RkL(op_gymZSq4thO(456,b),op_s0oCwvsLAD(a,a)))
    else:
        count = op_count_qxp9F1VMeC(a)+op_count_aaQ3WJhk6P(op_qxp9F1VMeC(a))+op_count_hl4Calylxn(op_aaQ3WJhk6P(op_qxp9F1VMeC(a)))
    return count


def op_Msj02pOpny(a, b):
    if op_oCumtb3mAM(a,977) == 718:
        return op_BM16iZzMx8(op_2u38eHdNB5(op_WHvsDZpt7Z(a,28),op_oxHsYMqCma(a,b)),op_eYS7XQEuXU(op_xx3dgqOXHl(1,196),op_ZbtZ49kJld(a)))
    else:
        return op_JKUDcJ19AH(op_7vzQ3v2UG6(127,op_bI8wFiTsE3(b,a)),op_tJ3alQfbpD(op_qO3m3EJotg(b,115),a))

def op_count_Msj02pOpny(a, b):
    if op_oCumtb3mAM(a,977) == 718:
        count = op_count_WHvsDZpt7Z(a,28)+op_count_oxHsYMqCma(a,b)+op_count_2u38eHdNB5(op_WHvsDZpt7Z(a,28),op_oxHsYMqCma(a,b))+op_count_xx3dgqOXHl(1,196)+op_count_ZbtZ49kJld(a)+op_count_eYS7XQEuXU(op_xx3dgqOXHl(1,196),op_ZbtZ49kJld(a))+op_count_BM16iZzMx8(op_2u38eHdNB5(op_WHvsDZpt7Z(a,28),op_oxHsYMqCma(a,b)),op_eYS7XQEuXU(op_xx3dgqOXHl(1,196),op_ZbtZ49kJld(a)))+op_count_oCumtb3mAM(a,977)
    else:
        count = op_count_bI8wFiTsE3(b,a)+op_count_7vzQ3v2UG6(127,op_bI8wFiTsE3(b,a))+op_count_qO3m3EJotg(b,115)+op_count_tJ3alQfbpD(op_qO3m3EJotg(b,115),a)+op_count_JKUDcJ19AH(op_7vzQ3v2UG6(127,op_bI8wFiTsE3(b,a)),op_tJ3alQfbpD(op_qO3m3EJotg(b,115),a))
    return count


a⪲⊬b = { (((a⋹⋡⊁b)⪇⇪⫳(b⨇a))∢⨵⨏((⫵⪾⩭b)⇎⋱(b↪∷754))) }

def op_wO0oqSbddX(a, b):
    return op_FZ3HAPnHuF(op_zLfG7Ay1vB(op_As8RqfVLgs(a,b),op_sgd3VpchmQ(b,a)),op_bIDw1T0Uny(op_9NrKhToWQz(b),op_Api82iH42a(b,754)))

def op_count_wO0oqSbddX(a, b):
    count = op_count_As8RqfVLgs(a,b)+op_count_sgd3VpchmQ(b,a)+op_count_zLfG7Ay1vB(op_As8RqfVLgs(a,b),op_sgd3VpchmQ(b,a))+op_count_9NrKhToWQz(b)+op_count_Api82iH42a(b,754)+op_count_bIDw1T0Uny(op_9NrKhToWQz(b),op_Api82iH42a(b,754))+op_count_FZ3HAPnHuF(op_zLfG7Ay1vB(op_As8RqfVLgs(a,b),op_sgd3VpchmQ(b,a)),op_bIDw1T0Uny(op_9NrKhToWQz(b),op_Api82iH42a(b,754)))
    return count


⋾↾⪉a = { (a⊈⋜⋼a) , if (↥⫇a)>11 ; (a⊫⊎) , else }

def op_LcYyrfKZ0b(a):
    if op_9DifTUFlNJ(a) > 11:
        return op_92pAIinIZa(a,a)
    else:
        return op_hzNl2ELaCM(a)

def op_count_LcYyrfKZ0b(a):
    if op_9DifTUFlNJ(a) > 11:
        count = op_count_92pAIinIZa(a,a)+op_count_9DifTUFlNJ(a)
    else:
        count = op_count_hzNl2ELaCM(a)
    return count


def op_PnBVNfswgz(a):
    return op_gZaJvPXt7R(op_OSE2w6XS66(a,251))

def op_count_PnBVNfswgz(a):
    count = op_count_OSE2w6XS66(a,251)+op_count_gZaJvPXt7R(op_OSE2w6XS66(a,251))
    return count


⋔↯⪩a = { ((a↸≻)↮(a∖a)) , if (a≩≾)!=433 ; ((a⩶∖∔)⪆⪤⊀(a⨊88)) , else }

def op_VdjjggnPm9(a):
    if op_uH7zUBpMm0(a) != 433:
        return op_ugTrrffvJh(op_MajuE94pkX(a),op_tXD093vOjl(a,a))
    else:
        return op_fv7bIrfzMN(op_VA1QDPD51e(a),op_lGaBDnHbCC(a,88))

def op_count_VdjjggnPm9(a):
    if op_uH7zUBpMm0(a) != 433:
        count = op_count_MajuE94pkX(a)+op_count_tXD093vOjl(a,a)+op_count_ugTrrffvJh(op_MajuE94pkX(a),op_tXD093vOjl(a,a))+op_count_uH7zUBpMm0(a)
    else:
        count = op_count_VA1QDPD51e(a)+op_count_lGaBDnHbCC(a,88)+op_count_fv7bIrfzMN(op_VA1QDPD51e(a),op_lGaBDnHbCC(a,88))
    return count


def op_bniv6BOOKe(a):
    return op_R2I9eEDuDb(op_esrG2CHZvS(a),op_wDQhVHeL0p(a,a))

def op_count_bniv6BOOKe(a):
    count = op_count_esrG2CHZvS(a)+op_count_wDQhVHeL0p(a,a)+op_count_R2I9eEDuDb(op_esrG2CHZvS(a),op_wDQhVHeL0p(a,a))
    return count


a↧∉∞ = { (((a≴∏⪏a)⨗⫾(a↮a))↞≒↤(↰⇿(a∑⇟⊟a))) }

def op_IDinqWW7In(a):
    return op_VxkNjAGpeT(op_ascLZ9HdLA(op_HSrfgE6sGr(a,a),op_ugTrrffvJh(a,a)),op_GNrBevqJ2K(op_U7g4x0WXJJ(a,a)))

def op_count_IDinqWW7In(a):
    count = op_count_HSrfgE6sGr(a,a)+op_count_ugTrrffvJh(a,a)+op_count_ascLZ9HdLA(op_HSrfgE6sGr(a,a),op_ugTrrffvJh(a,a))+op_count_U7g4x0WXJJ(a,a)+op_count_GNrBevqJ2K(op_U7g4x0WXJJ(a,a))+op_count_VxkNjAGpeT(op_ascLZ9HdLA(op_HSrfgE6sGr(a,a),op_ugTrrffvJh(a,a)),op_GNrBevqJ2K(op_U7g4x0WXJJ(a,a)))
    return count


a⨏⊱⊤ = { (((⫨≗a)⋚⪻∡(a⋑≶⊧48))⨼⩣((a⇓∧≤a)⋒⫆⊙(a⪹⫱⨰))) }

def op_AVdxwGhUdF(a):
    return op_JxwMv5le6e(op_aRc3ADMqhx(op_xpUrh0Nm9d(a),op_6ojlEB7Xxa(a,48)),op_i6kyr1sQ78(op_CPJod9CRaD(a,a),op_9ombZPhn77(a)))

def op_count_AVdxwGhUdF(a):
    count = op_count_xpUrh0Nm9d(a)+op_count_6ojlEB7Xxa(a,48)+op_count_aRc3ADMqhx(op_xpUrh0Nm9d(a),op_6ojlEB7Xxa(a,48))+op_count_CPJod9CRaD(a,a)+op_count_9ombZPhn77(a)+op_count_i6kyr1sQ78(op_CPJod9CRaD(a,a),op_9ombZPhn77(a))+op_count_JxwMv5le6e(op_aRc3ADMqhx(op_xpUrh0Nm9d(a),op_6ojlEB7Xxa(a,48)),op_i6kyr1sQ78(op_CPJod9CRaD(a,a),op_9ombZPhn77(a)))
    return count


a⋌⋟b = { (((151⪃⩨⪌b)∃↡(a⇕⫴⪏a))⇓∧≤((b⊳≒≽b)⨭⫎(b⩁⊠a))) , if (b⇓657)<664 ; (↾⇖((b⫾≽b)≐⪈⇼(b⨘⋦⪅a))) , else }

def op_47qkUM3zqe(a, b):
    if op_TyhCdZMmeC(b,657) < 664:
        return op_CPJod9CRaD(op_JbWwmbzaq5(op_I9T9sjUhpJ(151,b),op_GJHlsoPRLa(a,a)),op_OVAuBYEMFc(op_3Ue7iHGqyA(b,b),op_o9aZmLR5oB(b,a)))
    else:
        return op_svMjjxhh0f(op_xWqemuabDj(op_OKGz76xQTU(b,b),op_jJY68xoYNq(b,a)))

def op_count_47qkUM3zqe(a, b):
    if op_TyhCdZMmeC(b,657) < 664:
        count = op_count_I9T9sjUhpJ(151,b)+op_count_GJHlsoPRLa(a,a)+op_count_JbWwmbzaq5(op_I9T9sjUhpJ(151,b),op_GJHlsoPRLa(a,a))+op_count_3Ue7iHGqyA(b,b)+op_count_o9aZmLR5oB(b,a)+op_count_OVAuBYEMFc(op_3Ue7iHGqyA(b,b),op_o9aZmLR5oB(b,a))+op_count_CPJod9CRaD(op_JbWwmbzaq5(op_I9T9sjUhpJ(151,b),op_GJHlsoPRLa(a,a)),op_OVAuBYEMFc(op_3Ue7iHGqyA(b,b),op_o9aZmLR5oB(b,a)))+op_count_TyhCdZMmeC(b,657)
    else:
        count = op_count_OKGz76xQTU(b,b)+op_count_jJY68xoYNq(b,a)+op_count_xWqemuabDj(op_OKGz76xQTU(b,b),op_jJY68xoYNq(b,a))+op_count_svMjjxhh0f(op_xWqemuabDj(op_OKGz76xQTU(b,b),op_jJY68xoYNq(b,a)))
    return count


a⫉⋋⊑b = { (((∀⊫a)⨨⩇⫼(a⊘⊒b))⇩⫻⋿((a⊻⋔)⨸∤⊸(b⇤⫸b))) , if (b⨰⋃⋥)>=610 ; (((a⫲⇝⋭226)∰⫀⋄(⩾-⋯b))⇞⋌((b⫲⇝⋭b)⫑⩧(b∷↰≆b))) , else }

def op_QJydnXQjbU(a, b):
    if op_lYcSkUzuAi(b) >= 610:
        return op_RN6w9XgKVm(op_UreC4MxV1l(op_gZaJvPXt7R(a),op_Mcn3daWqHc(a,b)),op_GXvETGfcjc(op_59td6bVjnr(a),op_XBHSxs2y4g(b,b)))
    else:
        return op_7ocSnRyrRL(op_Cwt3GTOVka(op_hnINjZwAK9(a,226),op_YEzmam5oPs(b)),op_tdtqYdqRBy(op_hnINjZwAK9(b,b),op_eFpA6433h8(b,b)))

def op_count_QJydnXQjbU(a, b):
    if op_lYcSkUzuAi(b) >= 610:
        count = op_count_gZaJvPXt7R(a)+op_count_Mcn3daWqHc(a,b)+op_count_UreC4MxV1l(op_gZaJvPXt7R(a),op_Mcn3daWqHc(a,b))+op_count_59td6bVjnr(a)+op_count_XBHSxs2y4g(b,b)+op_count_GXvETGfcjc(op_59td6bVjnr(a),op_XBHSxs2y4g(b,b))+op_count_RN6w9XgKVm(op_UreC4MxV1l(op_gZaJvPXt7R(a),op_Mcn3daWqHc(a,b)),op_GXvETGfcjc(op_59td6bVjnr(a),op_XBHSxs2y4g(b,b)))+op_count_lYcSkUzuAi(b)
    else:
        count = op_count_hnINjZwAK9(a,226)+op_count_YEzmam5oPs(b)+op_count_Cwt3GTOVka(op_hnINjZwAK9(a,226),op_YEzmam5oPs(b))+op_count_hnINjZwAK9(b,b)+op_count_eFpA6433h8(b,b)+op_count_tdtqYdqRBy(op_hnINjZwAK9(b,b),op_eFpA6433h8(b,b))+op_count_7ocSnRyrRL(op_Cwt3GTOVka(op_hnINjZwAK9(a,226),op_YEzmam5oPs(b)),op_tdtqYdqRBy(op_hnINjZwAK9(b,b),op_eFpA6433h8(b,b)))
    return count


def op_2jDsDjwA2e(a):
    return op_EGl705yzWM(op_xUx7qlDO4z(a),op_rh14SKPVeV(a,a))

def op_count_2jDsDjwA2e(a):
    count = op_count_xUx7qlDO4z(a)+op_count_rh14SKPVeV(a,a)+op_count_EGl705yzWM(op_xUx7qlDO4z(a),op_rh14SKPVeV(a,a))
    return count


a⩟⩇↠b = { ((a⨌⇆⊄b)⫧⋃≅(a⊀⩕)) , if (⊆b)>=362 ; ((a≥⊷a)∞⨰⨿(b⊪⇡10)) , else }

def op_dIn3bz4ux8(a, b):
    if op_5O3RcmakRU(b) >= 362:
        return op_rJlMWXggw2(op_IEaxuteP8c(a,b),op_r0FS3hW4cC(a))
    else:
        return op_RBzmFngr7A(op_ksinh3oGcn(a,a),op_yBHxIlLhSA(b,10))

def op_count_dIn3bz4ux8(a, b):
    if op_5O3RcmakRU(b) >= 362:
        count = op_count_IEaxuteP8c(a,b)+op_count_r0FS3hW4cC(a)+op_count_rJlMWXggw2(op_IEaxuteP8c(a,b),op_r0FS3hW4cC(a))+op_count_5O3RcmakRU(b)
    else:
        count = op_count_ksinh3oGcn(a,a)+op_count_yBHxIlLhSA(b,10)+op_count_RBzmFngr7A(op_ksinh3oGcn(a,a),op_yBHxIlLhSA(b,10))
    return count


a⊳⨋⪳ = { ((≨∾(a⋶⋆⪶))⋡⋻↥((≽↞⨑a)⋴≽⪿(a⨘⋦⪅a))) }

def op_90pB8QCbE6(a):
    return op_vCT1U90JYL(op_PaXVPLjNaM(op_bG3yHnOCKe(a)),op_vpjiMvlQnK(op_rfHPFfr6cI(a),op_jJY68xoYNq(a,a)))

def op_count_90pB8QCbE6(a):
    count = op_count_bG3yHnOCKe(a)+op_count_PaXVPLjNaM(op_bG3yHnOCKe(a))+op_count_rfHPFfr6cI(a)+op_count_jJY68xoYNq(a,a)+op_count_vpjiMvlQnK(op_rfHPFfr6cI(a),op_jJY68xoYNq(a,a))+op_count_vCT1U90JYL(op_PaXVPLjNaM(op_bG3yHnOCKe(a)),op_vpjiMvlQnK(op_rfHPFfr6cI(a),op_jJY68xoYNq(a,a)))
    return count


a⨗⫼b = { (⊍⫻(⨁(a↾a))) , if ((↔⊐⋟a)==479 and (⫉⋠⨏a)<109) ; ((⨂⪏⇭(a⋦≤))⋷∪⋷((a⇓∧≤a)⫓⨶(b⪶∔≞b))) , else }

def op_b3SOkoSZcb(a, b):
    if (op_nuZMgjAhXC(a) == 479 and op_nKxYFAY1hz(a) < 109):
        return op_FhlnIIaEwE(op_gImejOImwh(op_XmtODG4Sr9(a,a)))
    else:
        return op_HYT61O2rBh(op_AYdpE9sXAk(op_1RKnjyXON0(a)),op_XARkhMSjgT(op_CPJod9CRaD(a,a),op_TNDO9Js9VB(b,b)))

def op_count_b3SOkoSZcb(a, b):
    if (op_nuZMgjAhXC(a) == 479 and op_nKxYFAY1hz(a) < 109):
        count = op_count_XmtODG4Sr9(a,a)+op_count_gImejOImwh(op_XmtODG4Sr9(a,a))+op_count_FhlnIIaEwE(op_gImejOImwh(op_XmtODG4Sr9(a,a)))+op_count_nuZMgjAhXC(a)+op_count_nKxYFAY1hz(a)
    else:
        count = op_count_1RKnjyXON0(a)+op_count_AYdpE9sXAk(op_1RKnjyXON0(a))+op_count_CPJod9CRaD(a,a)+op_count_TNDO9Js9VB(b,b)+op_count_XARkhMSjgT(op_CPJod9CRaD(a,a),op_TNDO9Js9VB(b,b))+op_count_HYT61O2rBh(op_AYdpE9sXAk(op_1RKnjyXON0(a)),op_XARkhMSjgT(op_CPJod9CRaD(a,a),op_TNDO9Js9VB(b,b)))
    return count


def op_0IHt3gwd3V(a):
    return op_0KMCeP1Jsh(op_7AjaldEyf6(a,a),op_AHs5Up7iyr(61,225))

def op_count_0IHt3gwd3V(a):
    count = op_count_7AjaldEyf6(a,a)+op_count_AHs5Up7iyr(61,225)+op_count_0KMCeP1Jsh(op_7AjaldEyf6(a,a),op_AHs5Up7iyr(61,225))
    return count


a⋍⫎b = { (((⪋⩟⪍b)≦⇷∬(b⩞⊺↘42))⇡⇨↞(⋴⩆(b≳⇉a))) }

def op_G0R6HKjiJP(a, b):
    return op_34zfPTZm07(op_koW2ZZv8cS(op_qUo4zOcGDe(b),op_VgEnHjmnKG(b,42)),op_d16nJfGc4a(op_V0kx6qeWkN(b,a)))

def op_count_G0R6HKjiJP(a, b):
    count = op_count_qUo4zOcGDe(b)+op_count_VgEnHjmnKG(b,42)+op_count_koW2ZZv8cS(op_qUo4zOcGDe(b),op_VgEnHjmnKG(b,42))+op_count_V0kx6qeWkN(b,a)+op_count_d16nJfGc4a(op_V0kx6qeWkN(b,a))+op_count_34zfPTZm07(op_koW2ZZv8cS(op_qUo4zOcGDe(b),op_VgEnHjmnKG(b,42)),op_d16nJfGc4a(op_V0kx6qeWkN(b,a)))
    return count


def op_5q6UM8ilxM(a):
    return op_GNCmgv9kPR(op_qmnm2YaJRp(a),op_uc8QQvMjnT(a,a))

def op_count_5q6UM8ilxM(a):
    count = op_count_qmnm2YaJRp(a)+op_count_uc8QQvMjnT(a,a)+op_count_GNCmgv9kPR(op_qmnm2YaJRp(a),op_uc8QQvMjnT(a,a))
    return count


a⇙⊨b = { (⩄(b⇍⩓a)) , if b<=0 ; ((b∬∖180)↩↫(a∑⊿≛b)) , else }

def op_JJWedoOoQe(a, b):
    if b <= 0:
        return op_otB5Ew3TfZ(op_V5yYDbs2B8(b,a))
    else:
        return op_JjJGrowCxS(op_Fm7EmmCWai(b,180),op_HBr05eZif0(a,b))

def op_count_JJWedoOoQe(a, b):
    if b <= 0:
        count = op_count_V5yYDbs2B8(b,a)+op_count_otB5Ew3TfZ(op_V5yYDbs2B8(b,a))
    else:
        count = op_count_Fm7EmmCWai(b,180)+op_count_HBr05eZif0(a,b)+op_count_JjJGrowCxS(op_Fm7EmmCWai(b,180),op_HBr05eZif0(a,b))
    return count


def op_vpby3PAEa2(a):
    return op_8yGz9s51pC(op_S964yixmzy(a,a),op_fu6greOZ01(a,a))

def op_count_vpby3PAEa2(a):
    count = op_count_S964yixmzy(a,a)+op_count_fu6greOZ01(a,a)+op_count_8yGz9s51pC(op_S964yixmzy(a,a),op_fu6greOZ01(a,a))
    return count


def op_ZqPzIlKm7g(a):
    return op_HYT61O2rBh(a,a)

def op_count_ZqPzIlKm7g(a):
    count = op_count_HYT61O2rBh(a,a)
    return count


def op_htJNuGqEX0(a, b):
    return op_5WBlwMsBj2(op_dS7emaQrdo(op_HdNtoxZyhx(66,a),b),op_hzNl2ELaCM(op_2c2Kvs5UmY(a,a)))

def op_count_htJNuGqEX0(a, b):
    count = op_count_HdNtoxZyhx(66,a)+op_count_dS7emaQrdo(op_HdNtoxZyhx(66,a),b)+op_count_2c2Kvs5UmY(a,a)+op_count_hzNl2ELaCM(op_2c2Kvs5UmY(a,a))+op_count_5WBlwMsBj2(op_dS7emaQrdo(op_HdNtoxZyhx(66,a),b),op_hzNl2ELaCM(op_2c2Kvs5UmY(a,a)))
    return count


def op_6cqutZb5HV(a, b):
    return op_pSJVYgjxpR(op_7JbuLsbBtx(op_Q2SPaKwpPJ(b,97),op_l8UfvtpCFJ(619)),op_lY5u09dTZp(op_9XgyO8cQe5(a,109)))

def op_count_6cqutZb5HV(a, b):
    count = op_count_Q2SPaKwpPJ(b,97)+op_count_l8UfvtpCFJ(619)+op_count_7JbuLsbBtx(op_Q2SPaKwpPJ(b,97),op_l8UfvtpCFJ(619))+op_count_9XgyO8cQe5(a,109)+op_count_lY5u09dTZp(op_9XgyO8cQe5(a,109))+op_count_pSJVYgjxpR(op_7JbuLsbBtx(op_Q2SPaKwpPJ(b,97),op_l8UfvtpCFJ(619)),op_lY5u09dTZp(op_9XgyO8cQe5(a,109)))
    return count


def op_cMI1cT7zgg(a, b):
    return op_foUTwTo3sQ(op_NYIHRc2x51(a,b),op_irfPbDV6Fp(a,a))

def op_count_cMI1cT7zgg(a, b):
    count = op_count_NYIHRc2x51(a,b)+op_count_irfPbDV6Fp(a,a)+op_count_foUTwTo3sQ(op_NYIHRc2x51(a,b),op_irfPbDV6Fp(a,a))
    return count


def op_4Js5AZBv2W(a, b):
    return op_SlI4cQWdG9(op_DSSXvJAOg7(b,a),op_kE9YHawE8s(b,a))

def op_count_4Js5AZBv2W(a, b):
    count = op_count_DSSXvJAOg7(b,a)+op_count_kE9YHawE8s(b,a)+op_count_SlI4cQWdG9(op_DSSXvJAOg7(b,a),op_kE9YHawE8s(b,a))
    return count


a∫⨒↾ = { (((a⩰⪱)∢⨵⨏(a⋙≃≡a))⨂≜((⨈⊹⫕a)↠⩺)) }

def op_TjuQcnzntf(a):
    return op_k1SHOSEABc(op_FZ3HAPnHuF(op_sJYuYGD6M4(a),op_JkIVKoZPN2(a,a)),op_3jcGZHSLmS(op_V6pk6MIanw(a)))

def op_count_TjuQcnzntf(a):
    count = op_count_sJYuYGD6M4(a)+op_count_JkIVKoZPN2(a,a)+op_count_FZ3HAPnHuF(op_sJYuYGD6M4(a),op_JkIVKoZPN2(a,a))+op_count_V6pk6MIanw(a)+op_count_3jcGZHSLmS(op_V6pk6MIanw(a))+op_count_k1SHOSEABc(op_FZ3HAPnHuF(op_sJYuYGD6M4(a),op_JkIVKoZPN2(a,a)),op_3jcGZHSLmS(op_V6pk6MIanw(a)))
    return count


a⫩⊈b = { b , if (⋾⨄⪲a)<=693 or (b≈⫨⊴121)>=125 ; (b⋨⩽⩔) , else }

def op_gcX4MzxUVN(a, b):
    if op_ueiV7DCiJU(a) <= 693 or op_l6wLDxJviZ(b,121) >= 125:
        return b
    else:
        return op_vONqII4LTO(b)

def op_count_gcX4MzxUVN(a, b):
    if op_ueiV7DCiJU(a) <= 693 or op_l6wLDxJviZ(b,121) >= 125:
        count = 1
    else:
        count = op_count_vONqII4LTO(b)
    return count


a⩇∭≓ = { (a↤⩊a) , if (⫹⊼⫑a)>=149 ; (a⨂≜a) , else }

def op_yePEOAKGoC(a):
    if op_CjIShBDbjh(a) >= 149:
        return op_13rbtpv6ld(a,a)
    else:
        return op_k1SHOSEABc(a,a)

def op_count_yePEOAKGoC(a):
    if op_CjIShBDbjh(a) >= 149:
        count = op_count_13rbtpv6ld(a,a)+op_count_CjIShBDbjh(a)
    else:
        count = op_count_k1SHOSEABc(a,a)
    return count


⋶⩮∟a = { ((a∁⩀⇵a)⫫∾(⇵⪽a)) , if a==124 or a!=358 ; ((⨞⨐≇a)≕∾(351⋟⨮↥a)) , else }

def op_ZqKTebEiPC(a):
    if a == 124 or a != 358:
        return op_b3qeQyvZfP(op_IT3TbjFqSq(a,a),op_ZGCBLdVRRX(a))
    else:
        return op_F9pSHpyQ3k(op_7aWw7RtOlB(a),op_uQsO4UtjI0(351,a))

def op_count_ZqKTebEiPC(a):
    if a == 124 or a != 358:
        count = op_count_IT3TbjFqSq(a,a)+op_count_ZGCBLdVRRX(a)+op_count_b3qeQyvZfP(op_IT3TbjFqSq(a,a),op_ZGCBLdVRRX(a))
    else:
        count = op_count_7aWw7RtOlB(a)+op_count_uQsO4UtjI0(351,a)+op_count_F9pSHpyQ3k(op_7aWw7RtOlB(a),op_uQsO4UtjI0(351,a))
    return count


def op_Si22uCWP51(a):
    return op_xb2YpVd57y(op_ltMW3l6iBZ(a),op_Q3PJZHRvZv(op_o6mhrXo99Y(a,a)))

def op_count_Si22uCWP51(a):
    count = op_count_ltMW3l6iBZ(a)+op_count_o6mhrXo99Y(a,a)+op_count_Q3PJZHRvZv(op_o6mhrXo99Y(a,a))+op_count_xb2YpVd57y(op_ltMW3l6iBZ(a),op_Q3PJZHRvZv(op_o6mhrXo99Y(a,a)))
    return count


a⪄⋉ = { (((a⨬⊟a)⋆⪮(a≤a))⊔∂⇅((⨠⊄⩡a)⊗⨾⋇(a≱⨿≍a))) , if (a⩍⪮⩄)<15 ; (⪑(a⇑⩉∸)) , else }

def op_l4vtimLWOR(a):
    if op_58oXLXXGsH(a) < 15:
        return op_LsSU5mH3bX(op_M2xoT84YXH(op_hv7txCVeHj(a,a),op_HgknbBBPDn(a,a)),op_LDYsZkKpXC(op_XUNI3At14j(a),op_BAhcMzLYu8(a,a)))
    else:
        return op_UvGf2i8V7N(op_BOHTIbFqcy(a))

def op_count_l4vtimLWOR(a):
    if op_58oXLXXGsH(a) < 15:
        count = op_count_hv7txCVeHj(a,a)+op_count_HgknbBBPDn(a,a)+op_count_M2xoT84YXH(op_hv7txCVeHj(a,a),op_HgknbBBPDn(a,a))+op_count_XUNI3At14j(a)+op_count_BAhcMzLYu8(a,a)+op_count_LDYsZkKpXC(op_XUNI3At14j(a),op_BAhcMzLYu8(a,a))+op_count_LsSU5mH3bX(op_M2xoT84YXH(op_hv7txCVeHj(a,a),op_HgknbBBPDn(a,a)),op_LDYsZkKpXC(op_XUNI3At14j(a),op_BAhcMzLYu8(a,a)))+op_count_58oXLXXGsH(a)
    else:
        count = op_count_BOHTIbFqcy(a)+op_count_UvGf2i8V7N(op_BOHTIbFqcy(a))
    return count


def op_Lzzjnv6IUM(a, b):
    return op_P2ujY7PT9s(op_13rbtpv6ld(op_dJJu7uapqE(438,b),op_QrPBJNmqe2(a)))

def op_count_Lzzjnv6IUM(a, b):
    count = op_count_dJJu7uapqE(438,b)+op_count_QrPBJNmqe2(a)+op_count_13rbtpv6ld(op_dJJu7uapqE(438,b),op_QrPBJNmqe2(a))+op_count_P2ujY7PT9s(op_13rbtpv6ld(op_dJJu7uapqE(438,b),op_QrPBJNmqe2(a)))
    return count


a⫏⪀⨨b = { (((a∋⩥b)⫔↣⋰a)⪝⇬(≱(400⩿∸46))) , if (↾⇖b)==261 ; (((a⊝)⊏⪱)⋹⨛⇥((↥⊓⋾b)⊴⩳(⊢⋚b))) , else }

def op_c6EZArOfuv(a, b):
    if op_svMjjxhh0f(b) == 261:
        return op_gd1IBU5Lw6(op_1tOBPiOaCx(op_TFsFOLEWTU(a,b),a),op_Z6xt9iJndF(op_DkYVfzz2Wc(400,46)))
    else:
        return op_EV9swbq3TP(op_tMRIvGwTtK(op_O6EZ0fifGK(a)),op_vvoDRbMjB2(op_FpcPPjdv9G(b),op_mImJIA1bCd(b)))

def op_count_c6EZArOfuv(a, b):
    if op_svMjjxhh0f(b) == 261:
        count = op_count_TFsFOLEWTU(a,b)+op_count_1tOBPiOaCx(op_TFsFOLEWTU(a,b),a)+op_count_DkYVfzz2Wc(400,46)+op_count_Z6xt9iJndF(op_DkYVfzz2Wc(400,46))+op_count_gd1IBU5Lw6(op_1tOBPiOaCx(op_TFsFOLEWTU(a,b),a),op_Z6xt9iJndF(op_DkYVfzz2Wc(400,46)))+op_count_svMjjxhh0f(b)
    else:
        count = op_count_O6EZ0fifGK(a)+op_count_tMRIvGwTtK(op_O6EZ0fifGK(a))+op_count_FpcPPjdv9G(b)+op_count_mImJIA1bCd(b)+op_count_vvoDRbMjB2(op_FpcPPjdv9G(b),op_mImJIA1bCd(b))+op_count_EV9swbq3TP(op_tMRIvGwTtK(op_O6EZ0fifGK(a)),op_vvoDRbMjB2(op_FpcPPjdv9G(b),op_mImJIA1bCd(b)))
    return count


a⫿⋬b = { a , if a>120 ; (((b≫≃)⊔∂⇅195)∖((a⊤≄b)⊗≩∵(⇫⪽⪉b))) , else }

def op_Vlc94QOcSo(a, b):
    if a > 120:
        return a
    else:
        return op_tXD093vOjl(op_LsSU5mH3bX(op_X99M06cbEe(b),195),op_and34yUspC(op_El3zeUDNld(a,b),op_XcoZvXFTaY(b)))

def op_count_Vlc94QOcSo(a, b):
    if a > 120:
        count = 1
    else:
        count = op_count_X99M06cbEe(b)+op_count_LsSU5mH3bX(op_X99M06cbEe(b),195)+op_count_El3zeUDNld(a,b)+op_count_XcoZvXFTaY(b)+op_count_and34yUspC(op_El3zeUDNld(a,b),op_XcoZvXFTaY(b))+op_count_tXD093vOjl(op_LsSU5mH3bX(op_X99M06cbEe(b),195),op_and34yUspC(op_El3zeUDNld(a,b),op_XcoZvXFTaY(b)))
    return count


def op_uvZGJJ7PyJ(a):
    return op_nIYkNgNdHw(op_vbWWDQncJe(op_khWs9AK9qD(a),op_J0M6qkBnIM(0,a)))

def op_count_uvZGJJ7PyJ(a):
    count = op_count_khWs9AK9qD(a)+op_count_J0M6qkBnIM(0,a)+op_count_vbWWDQncJe(op_khWs9AK9qD(a),op_J0M6qkBnIM(0,a))+op_count_nIYkNgNdHw(op_vbWWDQncJe(op_khWs9AK9qD(a),op_J0M6qkBnIM(0,a)))
    return count


def op_oqWvjWhiXK(a):
    return op_Mf99ccDLYx(op_3ayH0UyYyX(36,122),op_g21JL6JxX7(a))

def op_count_oqWvjWhiXK(a):
    count = op_count_3ayH0UyYyX(36,122)+op_count_g21JL6JxX7(a)+op_count_Mf99ccDLYx(op_3ayH0UyYyX(36,122),op_g21JL6JxX7(a))
    return count


def op_1QoWjPuHgb(a):
    return op_8ODPDE8kA8(op_CR96Emc5ZT(op_piOHHbwPSa(a),op_As8RqfVLgs(a,a)))

def op_count_1QoWjPuHgb(a):
    count = op_count_piOHHbwPSa(a)+op_count_As8RqfVLgs(a,a)+op_count_CR96Emc5ZT(op_piOHHbwPSa(a),op_As8RqfVLgs(a,a))+op_count_8ODPDE8kA8(op_CR96Emc5ZT(op_piOHHbwPSa(a),op_As8RqfVLgs(a,a)))
    return count


def op_kmBp2JTFes(a):
    if op_23Mk6UjR3U(a,724) >= 42 and op_d5gtUuFZTS(a,83) >= 798 and op_ZGCBLdVRRX(a) < 84:
        return op_9jGFtftlop(op_Sjuc9qqcuM(a,a),op_l8UfvtpCFJ(313))
    else:
        return op_xMR2S8fb9y(op_AabjzCHElt(a,64))

def op_count_kmBp2JTFes(a):
    if op_23Mk6UjR3U(a,724) >= 42 and op_d5gtUuFZTS(a,83) >= 798 and op_ZGCBLdVRRX(a) < 84:
        count = op_count_Sjuc9qqcuM(a,a)+op_count_l8UfvtpCFJ(313)+op_count_9jGFtftlop(op_Sjuc9qqcuM(a,a),op_l8UfvtpCFJ(313))+op_count_23Mk6UjR3U(a,724)+op_count_d5gtUuFZTS(a,83)+op_count_ZGCBLdVRRX(a)
    else:
        count = op_count_AabjzCHElt(a,64)+op_count_xMR2S8fb9y(op_AabjzCHElt(a,64))
    return count


a⨑⪦≱b = { (⨭⩧⫛((a⨇≷∥b)⋟⨸⨢(b↘⊶507))) , if (b⇶⇳)<27 ; (((a⋿≌⩺b)⋓⫂)≫⪝⋲(⋱⪀(b≇∂))) , else }

def op_rE97siFiEn(a, b):
    if op_cC2vwN27BI(b) < 27:
        return op_g21JL6JxX7(op_fhjnU2VWuG(op_ER3VUc6CxE(a,b),op_x1J4WEBOl4(b,507)))
    else:
        return op_C58ewRfeGC(op_yUJoOxHnOD(op_ubStOKblsQ(a,b)),op_1R9tFgc4MF(op_HChtWISJd1(b)))

def op_count_rE97siFiEn(a, b):
    if op_cC2vwN27BI(b) < 27:
        count = op_count_ER3VUc6CxE(a,b)+op_count_x1J4WEBOl4(b,507)+op_count_fhjnU2VWuG(op_ER3VUc6CxE(a,b),op_x1J4WEBOl4(b,507))+op_count_g21JL6JxX7(op_fhjnU2VWuG(op_ER3VUc6CxE(a,b),op_x1J4WEBOl4(b,507)))+op_count_cC2vwN27BI(b)
    else:
        count = op_count_ubStOKblsQ(a,b)+op_count_yUJoOxHnOD(op_ubStOKblsQ(a,b))+op_count_HChtWISJd1(b)+op_count_1R9tFgc4MF(op_HChtWISJd1(b))+op_count_C58ewRfeGC(op_yUJoOxHnOD(op_ubStOKblsQ(a,b)),op_1R9tFgc4MF(op_HChtWISJd1(b)))
    return count


def op_xDnUDAd8Od(a, b):
    return op_HgknbBBPDn(op_WyeQdY98By(b,b),op_QbnwKVWMIQ(109,a))

def op_count_xDnUDAd8Od(a, b):
    count = op_count_WyeQdY98By(b,b)+op_count_QbnwKVWMIQ(109,a)+op_count_HgknbBBPDn(op_WyeQdY98By(b,b),op_QbnwKVWMIQ(109,a))
    return count


def op_Rg8cr00MzR(a):
    return op_E7xopLvnHe(op_DlLNRPXxWL(a),a)

def op_count_Rg8cr00MzR(a):
    count = op_count_DlLNRPXxWL(a)+op_count_E7xopLvnHe(op_DlLNRPXxWL(a),a)
    return count


def op_CZxYLrmmHY(a, b):
    if op_wEfv7U73WA(b) <= 98:
        return op_88kSMS4ieK(588)
    else:
        return op_s3Fd5m9Dh2(op_WxjQizov8v(op_FI4i5otY41(b,6),op_EiH4xaClOJ(a,a)),op_otB5Ew3TfZ(op_XXqG8ZAZxI(25,a)))

def op_count_CZxYLrmmHY(a, b):
    if op_wEfv7U73WA(b) <= 98:
        count = op_count_88kSMS4ieK(588)+op_count_wEfv7U73WA(b)
    else:
        count = op_count_FI4i5otY41(b,6)+op_count_EiH4xaClOJ(a,a)+op_count_WxjQizov8v(op_FI4i5otY41(b,6),op_EiH4xaClOJ(a,a))+op_count_XXqG8ZAZxI(25,a)+op_count_otB5Ew3TfZ(op_XXqG8ZAZxI(25,a))+op_count_s3Fd5m9Dh2(op_WxjQizov8v(op_FI4i5otY41(b,6),op_EiH4xaClOJ(a,a)),op_otB5Ew3TfZ(op_XXqG8ZAZxI(25,a)))
    return count


a⪳⩖⪫b = { (a⩣⪛69) , if b>534 ; (⪲⊾a) , else }

def op_FyJR5xKCm8(a, b):
    if b > 534:
        return op_NINxns2OXj(a,69)
    else:
        return op_L07OSbUHmY(a)

def op_count_FyJR5xKCm8(a, b):
    if b > 534:
        count = op_count_NINxns2OXj(a,69)
    else:
        count = op_count_L07OSbUHmY(a)
    return count


⊥↽⊅a = { ((⩂⩧≞a)⪆⊎⇋(⨍∜⫠a)) }

def op_hYZPKlEmyE(a):
    return op_oCumtb3mAM(op_BPaCcFBkCD(a),op_Jy9gJ1pnyD(a))

def op_count_hYZPKlEmyE(a):
    count = op_count_BPaCcFBkCD(a)+op_count_Jy9gJ1pnyD(a)+op_count_oCumtb3mAM(op_BPaCcFBkCD(a),op_Jy9gJ1pnyD(a))
    return count


a⊎≻b = { (a⋵b) , if (⇆↴b)==402 ; (b⨙⪞a) , else }

def op_794JarEjDv(a, b):
    if op_LenHm9WsXc(b) == 402:
        return op_oAMbWzt9Wf(a,b)
    else:
        return op_NIS2NZpoyR(b,a)

def op_count_794JarEjDv(a, b):
    if op_LenHm9WsXc(b) == 402:
        count = op_count_oAMbWzt9Wf(a,b)+op_count_LenHm9WsXc(b)
    else:
        count = op_count_NIS2NZpoyR(b,a)
    return count


def op_jHObMoggHE(a, b):
    return op_uG1NkbAHL9(op_fXLvaTYCEu(op_6y5rNZ8Vuy(b,127),op_5JprmgSD8j(a)),op_kE9YHawE8s(op_8iaSloTsD3(14,343),op_rrgAzCduG9(a,a)))

def op_count_jHObMoggHE(a, b):
    count = op_count_6y5rNZ8Vuy(b,127)+op_count_5JprmgSD8j(a)+op_count_fXLvaTYCEu(op_6y5rNZ8Vuy(b,127),op_5JprmgSD8j(a))+op_count_8iaSloTsD3(14,343)+op_count_rrgAzCduG9(a,a)+op_count_kE9YHawE8s(op_8iaSloTsD3(14,343),op_rrgAzCduG9(a,a))+op_count_uG1NkbAHL9(op_fXLvaTYCEu(op_6y5rNZ8Vuy(b,127),op_5JprmgSD8j(a)),op_kE9YHawE8s(op_8iaSloTsD3(14,343),op_rrgAzCduG9(a,a)))
    return count


def op_SggTXhFfzB(a):
    if (a < 194 and op_snY4i7AnEH(a) != 143):
        return 11
    else:
        return op_YaB1w09lmH(op_EjjZdWuWOr(a,a),op_13rbtpv6ld(a,47))

def op_count_SggTXhFfzB(a):
    if (a < 194 and op_snY4i7AnEH(a) != 143):
        count = op_count_snY4i7AnEH(a)
    else:
        count = op_count_EjjZdWuWOr(a,a)+op_count_13rbtpv6ld(a,47)+op_count_YaB1w09lmH(op_EjjZdWuWOr(a,a),op_13rbtpv6ld(a,47))
    return count


a⇁⊧b = { (((b≄⩻b)⫲⩦≂(⨵b))⋏⩄⨂(↪⫪⫘(547↮⨇∣a))) , if b==100 ; ((≤⪨⇏a)⫒⇰((b∃b)⫋≊↯(484⋘⫽))) , else }

def op_ZoB0c1gdhD(a, b):
    if b == 100:
        return op_D69ahk0G0B(op_La0rJYYuXL(op_GRrQNMyeGD(b,b),op_Tl3Y52tvF8(b)),op_9dWsAM3GFt(op_1fJnU3Bvbz(547,a)))
    else:
        return op_Z8kU1u1TkF(op_OxQl6sep6v(a),op_QYAht0UA4x(op_3H5Xx7QWkg(b,b),op_M0feZtmigt(484)))

def op_count_ZoB0c1gdhD(a, b):
    if b == 100:
        count = op_count_GRrQNMyeGD(b,b)+op_count_Tl3Y52tvF8(b)+op_count_La0rJYYuXL(op_GRrQNMyeGD(b,b),op_Tl3Y52tvF8(b))+op_count_1fJnU3Bvbz(547,a)+op_count_9dWsAM3GFt(op_1fJnU3Bvbz(547,a))+op_count_D69ahk0G0B(op_La0rJYYuXL(op_GRrQNMyeGD(b,b),op_Tl3Y52tvF8(b)),op_9dWsAM3GFt(op_1fJnU3Bvbz(547,a)))
    else:
        count = op_count_OxQl6sep6v(a)+op_count_3H5Xx7QWkg(b,b)+op_count_M0feZtmigt(484)+op_count_QYAht0UA4x(op_3H5Xx7QWkg(b,b),op_M0feZtmigt(484))+op_count_Z8kU1u1TkF(op_OxQl6sep6v(a),op_QYAht0UA4x(op_3H5Xx7QWkg(b,b),op_M0feZtmigt(484)))
    return count


a⨸∰⨾ = { (a⫫≠≯51) , if (⇤⨣⫹a)<=156 ; (⇺⋃a) , else }

def op_ul0o20QDLm(a):
    if op_23ZIczioFV(a) <= 156:
        return op_QIASkFMxnv(a,51)
    else:
        return op_E5v5B3UAjG(a)

def op_count_ul0o20QDLm(a):
    if op_23ZIczioFV(a) <= 156:
        count = op_count_QIASkFMxnv(a,51)+op_count_23ZIczioFV(a)
    else:
        count = op_count_E5v5B3UAjG(a)
    return count


def op_mErJyYWwFl(a, b):
    if op_R5BlhskJds(a,110) != 408:
        return op_gxiHOcD4DJ(op_lFBm8KRb8F(a),op_F5el3aEdEY(op_nuoWhTW6CA(a,279)))
    else:
        return op_cHlYcnNa7k(op_3ngf5It8Ig(op_2Ut47WbR7R(29),op_0FYYz8fFRr(b,181)))

def op_count_mErJyYWwFl(a, b):
    if op_R5BlhskJds(a,110) != 408:
        count = op_count_lFBm8KRb8F(a)+op_count_nuoWhTW6CA(a,279)+op_count_F5el3aEdEY(op_nuoWhTW6CA(a,279))+op_count_gxiHOcD4DJ(op_lFBm8KRb8F(a),op_F5el3aEdEY(op_nuoWhTW6CA(a,279)))+op_count_R5BlhskJds(a,110)
    else:
        count = op_count_2Ut47WbR7R(29)+op_count_0FYYz8fFRr(b,181)+op_count_3ngf5It8Ig(op_2Ut47WbR7R(29),op_0FYYz8fFRr(b,181))+op_count_cHlYcnNa7k(op_3ngf5It8Ig(op_2Ut47WbR7R(29),op_0FYYz8fFRr(b,181)))
    return count


a⩎⪚⨃ = { ((a⋋↞⩉a)⊣⇗(a↜↸⩯a)) , if (a<166 and (a∜⨐)>448) ; ((a⊃⋐)⫮⨰(333⪶⋼⋛138)) , else }

def op_VYnLvm2nlX(a):
    if (a < 166 and op_D53DUCbGSg(a) > 448):
        return op_sLSVf26GuY(op_FtzCMUsONU(a,a),op_Kf1zqKnZRg(a,a))
    else:
        return op_DHBAteFHNm(op_n7xO3XHPOA(a),op_6ayBXmFTY1(333,138))

def op_count_VYnLvm2nlX(a):
    if (a < 166 and op_D53DUCbGSg(a) > 448):
        count = op_count_FtzCMUsONU(a,a)+op_count_Kf1zqKnZRg(a,a)+op_count_sLSVf26GuY(op_FtzCMUsONU(a,a),op_Kf1zqKnZRg(a,a))+op_count_D53DUCbGSg(a)
    else:
        count = op_count_n7xO3XHPOA(a)+op_count_6ayBXmFTY1(333,138)+op_count_DHBAteFHNm(op_n7xO3XHPOA(a),op_6ayBXmFTY1(333,138))
    return count


def op_fJCoIAQ89Q(a):
    if op_VTIu7k39a1(a) <= 283 and op_CUcQ7hI1X5(a,464) <= 316:
        return a
    else:
        return op_AHs5Up7iyr(op_CfxG4j8dfZ(op_NnryeZgiwo(a,a),op_VSHtt0ev1p(a)),op_TmC996L1ga(a,784))

def op_count_fJCoIAQ89Q(a):
    if op_VTIu7k39a1(a) <= 283 and op_CUcQ7hI1X5(a,464) <= 316:
        count = 1
    else:
        count = op_count_NnryeZgiwo(a,a)+op_count_VSHtt0ev1p(a)+op_count_CfxG4j8dfZ(op_NnryeZgiwo(a,a),op_VSHtt0ev1p(a))+op_count_TmC996L1ga(a,784)+op_count_AHs5Up7iyr(op_CfxG4j8dfZ(op_NnryeZgiwo(a,a),op_VSHtt0ev1p(a)),op_TmC996L1ga(a,784))
    return count


def op_j8tmOsUiBO(a):
    return op_UXDb5u0AqE(op_BpnXzQ89oA(op_AHs5Up7iyr(4,69),op_JZ6LT1lUci(23,a)))

def op_count_j8tmOsUiBO(a):
    count = op_count_AHs5Up7iyr(4,69)+op_count_JZ6LT1lUci(23,a)+op_count_BpnXzQ89oA(op_AHs5Up7iyr(4,69),op_JZ6LT1lUci(23,a))+op_count_UXDb5u0AqE(op_BpnXzQ89oA(op_AHs5Up7iyr(4,69),op_JZ6LT1lUci(23,a)))
    return count


def op_3HftzggCho(a):
    return op_NIS2NZpoyR(a,a)

def op_count_3HftzggCho(a):
    count = op_count_NIS2NZpoyR(a,a)
    return count


√⊽⋊a = { (∜⪌⨚(a↓≀a)) , if (⪵⩥∼a)>=575 ; ((a≝⊘68)⊀⩕) , else }

def op_IQ4tNSWXUZ(a):
    if op_C8AGOwLzL7(a) >= 575:
        return op_hYVXwYK5wO(op_Izi1QHXWZJ(a,a))
    else:
        return op_r0FS3hW4cC(op_3KAnUrVtkf(a,68))

def op_count_IQ4tNSWXUZ(a):
    if op_C8AGOwLzL7(a) >= 575:
        count = op_count_Izi1QHXWZJ(a,a)+op_count_hYVXwYK5wO(op_Izi1QHXWZJ(a,a))+op_count_C8AGOwLzL7(a)
    else:
        count = op_count_3KAnUrVtkf(a,68)+op_count_r0FS3hW4cC(op_3KAnUrVtkf(a,68))
    return count


def op_e9kk8TuevZ(a):
    return op_QZ0DWncqlE(op_gZaJvPXt7R(a),a)

def op_count_e9kk8TuevZ(a):
    count = op_count_gZaJvPXt7R(a)+op_count_QZ0DWncqlE(op_gZaJvPXt7R(a),a)
    return count


def op_MOB9mvu0aS(a):
    if op_0x8fbimt21(a) != 2 and op_pTm79z5fiV(a) <= 42:
        return op_iQVWWJ5UFC(op_1NCu7utSrV(511,376),op_mg7BfXbOdF(a))
    else:
        return op_mkdbhKckMx(op_5KTvxBwnZo(350,a),op_uFPyJr306J(a))

def op_count_MOB9mvu0aS(a):
    if op_0x8fbimt21(a) != 2 and op_pTm79z5fiV(a) <= 42:
        count = op_count_1NCu7utSrV(511,376)+op_count_mg7BfXbOdF(a)+op_count_iQVWWJ5UFC(op_1NCu7utSrV(511,376),op_mg7BfXbOdF(a))+op_count_0x8fbimt21(a)+op_count_pTm79z5fiV(a)
    else:
        count = op_count_5KTvxBwnZo(350,a)+op_count_uFPyJr306J(a)+op_count_mkdbhKckMx(op_5KTvxBwnZo(350,a),op_uFPyJr306J(a))
    return count


a↳⊷b = { (((⩛∙≁24)⇸⋑≛(256⨉⪘⪊b))∑⇟⊟((b⩳↗b)⩩⋢↠(a⫡a))) }

def op_X4d4H0A5r8(a, b):
    return op_U7g4x0WXJJ(op_JhscMtXp41(op_lJQWCVzX43(24),op_wxno1H4PnZ(256,b)),op_J9p31WXma4(op_crEXoaJzxs(b,b),op_r42jg1nETI(a,a)))

def op_count_X4d4H0A5r8(a, b):
    count = op_count_lJQWCVzX43(24)+op_count_wxno1H4PnZ(256,b)+op_count_JhscMtXp41(op_lJQWCVzX43(24),op_wxno1H4PnZ(256,b))+op_count_crEXoaJzxs(b,b)+op_count_r42jg1nETI(a,a)+op_count_J9p31WXma4(op_crEXoaJzxs(b,b),op_r42jg1nETI(a,a))+op_count_U7g4x0WXJJ(op_JhscMtXp41(op_lJQWCVzX43(24),op_wxno1H4PnZ(256,b)),op_J9p31WXma4(op_crEXoaJzxs(b,b),op_r42jg1nETI(a,a)))
    return count


⩭↺a = { (((⇴⩭a)⇰⊲(a∄⩵a))⨸⨾⇕a) , if (a⊬⩼⊳808)>=385 ; (⩧⫈((⩇⊌a)⊯(a⋑≶⊧a))) , else }

def op_KnVrkH193S(a):
    if op_4F7LFkBAZC(a,808) >= 385:
        return op_cJjtybAweL(op_yHZBwDW2Tk(op_cKMGO6HN71(a),op_AsCFVB39Ml(a,a)),a)
    else:
        return op_HTmwGS9Ecj(op_QLJ9aFu80N(op_o8JeNLZQGb(a),op_6ojlEB7Xxa(a,a)))

def op_count_KnVrkH193S(a):
    if op_4F7LFkBAZC(a,808) >= 385:
        count = op_count_cKMGO6HN71(a)+op_count_AsCFVB39Ml(a,a)+op_count_yHZBwDW2Tk(op_cKMGO6HN71(a),op_AsCFVB39Ml(a,a))+op_count_cJjtybAweL(op_yHZBwDW2Tk(op_cKMGO6HN71(a),op_AsCFVB39Ml(a,a)),a)+op_count_4F7LFkBAZC(a,808)
    else:
        count = op_count_o8JeNLZQGb(a)+op_count_6ojlEB7Xxa(a,a)+op_count_QLJ9aFu80N(op_o8JeNLZQGb(a),op_6ojlEB7Xxa(a,a))+op_count_HTmwGS9Ecj(op_QLJ9aFu80N(op_o8JeNLZQGb(a),op_6ojlEB7Xxa(a,a)))
    return count


def op_OOHW9efuXo(a):
    return op_vXNesLlMH1(a,578)

def op_count_OOHW9efuXo(a):
    count = op_count_vXNesLlMH1(a,578)
    return count


def op_B1sXqUsuP2(a):
    return op_NbEzn8HcDr(op_i3ul2XJdZx(a,a),op_NIS2NZpoyR(a,212))

def op_count_B1sXqUsuP2(a):
    count = op_count_i3ul2XJdZx(a,a)+op_count_NIS2NZpoyR(a,212)+op_count_NbEzn8HcDr(op_i3ul2XJdZx(a,a),op_NIS2NZpoyR(a,212))
    return count


def op_0DNOxQ4GCZ(a):
    return op_r8SlbsZKtG(op_agxF4Cl01F(a),op_aNhz54LH3e(a,a))

def op_count_0DNOxQ4GCZ(a):
    count = op_count_agxF4Cl01F(a)+op_count_aNhz54LH3e(a,a)+op_count_r8SlbsZKtG(op_agxF4Cl01F(a),op_aNhz54LH3e(a,a))
    return count


def op_ZeMWGr3stH(a):
    if op_T7fl5gIC18(a,45) <= 66:
        return op_GJHlsoPRLa(a,3)
    else:
        return op_otB5Ew3TfZ(317)

def op_count_ZeMWGr3stH(a):
    if op_T7fl5gIC18(a,45) <= 66:
        count = op_count_GJHlsoPRLa(a,3)+op_count_T7fl5gIC18(a,45)
    else:
        count = op_count_otB5Ew3TfZ(317)
    return count


def op_LLNsdG1yfM(a):
    return op_ItukRTmCMw(op_vXNesLlMH1(a,a))

def op_count_LLNsdG1yfM(a):
    count = op_count_vXNesLlMH1(a,a)+op_count_ItukRTmCMw(op_vXNesLlMH1(a,a))
    return count


def op_SsNni7Y807(a):
    return op_lrLQygo13m(op_UyATZg4EzG(a,a),op_rwFLrzFFpG(a,a))

def op_count_SsNni7Y807(a):
    count = op_count_UyATZg4EzG(a,a)+op_count_rwFLrzFFpG(a,a)+op_count_lrLQygo13m(op_UyATZg4EzG(a,a),op_rwFLrzFFpG(a,a))
    return count


def op_YdBwA19OY4(a):
    return op_xUx7qlDO4z(op_ix7EXTlSvf(a))

def op_count_YdBwA19OY4(a):
    count = op_count_ix7EXTlSvf(a)+op_count_xUx7qlDO4z(op_ix7EXTlSvf(a))
    return count


a≜⨛ = { (a⇱⇎⩗a) , if a>135 or (a⇺⇄)<=14 ; (28⨲⇖⇮) , else }

def op_iazTdSmPBK(a):
    if a > 135 or op_UDcMIFMAzx(a) <= 14:
        return op_DSSXvJAOg7(a,a)
    else:
        return op_oj4YnGA3cE(28)

def op_count_iazTdSmPBK(a):
    if a > 135 or op_UDcMIFMAzx(a) <= 14:
        count = op_count_DSSXvJAOg7(a,a)+op_count_UDcMIFMAzx(a)
    else:
        count = op_count_oj4YnGA3cE(28)
    return count


⩄⇦⪭a = { (((∀⊫a)⪾↻(a≤⨝))⫼⇷(⨌⋗⫇(↼⫲⋨181))) }

def op_649wnd6Oxo(a):
    return op_W5FaPSP1ue(op_2YN3RQf1Sk(op_gZaJvPXt7R(a),op_itkOnPxCeF(a)),op_1zJnz8G5mp(op_sOrsctL3Iw(181)))

def op_count_649wnd6Oxo(a):
    count = op_count_gZaJvPXt7R(a)+op_count_itkOnPxCeF(a)+op_count_2YN3RQf1Sk(op_gZaJvPXt7R(a),op_itkOnPxCeF(a))+op_count_sOrsctL3Iw(181)+op_count_1zJnz8G5mp(op_sOrsctL3Iw(181))+op_count_W5FaPSP1ue(op_2YN3RQf1Sk(op_gZaJvPXt7R(a),op_itkOnPxCeF(a)),op_1zJnz8G5mp(op_sOrsctL3Iw(181)))
    return count


∪⩴⨏a = { ((a⪴⨽a)⩐⇎⋉(a∺⋿a)) , if (a⪼↸990)<=149 ; ((a∰⩈a)⨊⋜⩦(a⊱)) , else }

def op_7bi6q68t0s(a):
    if op_EGl705yzWM(a,990) <= 149:
        return op_eMh4dbs4bt(op_WOQIWRggyx(a,a),op_Ft2biiUhlV(a,a))
    else:
        return op_K4mq4RyTKW(op_vjO1tVBgS7(a,a),op_783zoCpM6g(a))

def op_count_7bi6q68t0s(a):
    if op_EGl705yzWM(a,990) <= 149:
        count = op_count_WOQIWRggyx(a,a)+op_count_Ft2biiUhlV(a,a)+op_count_eMh4dbs4bt(op_WOQIWRggyx(a,a),op_Ft2biiUhlV(a,a))+op_count_EGl705yzWM(a,990)
    else:
        count = op_count_vjO1tVBgS7(a,a)+op_count_783zoCpM6g(a)+op_count_K4mq4RyTKW(op_vjO1tVBgS7(a,a),op_783zoCpM6g(a))
    return count


a⊌⩟ = { (((26⋋↞⩉a)≹≨⨇(a⨢a))⋛⋺a) , if (a↥⩙)==368 ; (((a⫉⫷a)∛∙(a≇⇺⫰a))⇡⇂((a⇋∁↲a)-∠(614⫥⪥a))) , else }

def op_kE9eXj1CxI(a):
    if op_7TwMvaEPpN(a) == 368:
        return op_ZGVXPq3q7K(op_aGhYYhn7J7(op_FtzCMUsONU(26,a),op_wvOhsjS2Oe(a,a)),a)
    else:
        return op_UMwdvZNt44(op_kpf4jZBDQQ(op_0m85q53N9z(a,a),op_o910uiVYjO(a,a)),op_s0IfDFCCuZ(op_WWvgEODVog(a,a),op_H86EN3O05e(614,a)))

def op_count_kE9eXj1CxI(a):
    if op_7TwMvaEPpN(a) == 368:
        count = op_count_FtzCMUsONU(26,a)+op_count_wvOhsjS2Oe(a,a)+op_count_aGhYYhn7J7(op_FtzCMUsONU(26,a),op_wvOhsjS2Oe(a,a))+op_count_ZGVXPq3q7K(op_aGhYYhn7J7(op_FtzCMUsONU(26,a),op_wvOhsjS2Oe(a,a)),a)+op_count_7TwMvaEPpN(a)
    else:
        count = op_count_0m85q53N9z(a,a)+op_count_o910uiVYjO(a,a)+op_count_kpf4jZBDQQ(op_0m85q53N9z(a,a),op_o910uiVYjO(a,a))+op_count_WWvgEODVog(a,a)+op_count_H86EN3O05e(614,a)+op_count_s0IfDFCCuZ(op_WWvgEODVog(a,a),op_H86EN3O05e(614,a))+op_count_UMwdvZNt44(op_kpf4jZBDQQ(op_0m85q53N9z(a,a),op_o910uiVYjO(a,a)),op_s0IfDFCCuZ(op_WWvgEODVog(a,a),op_H86EN3O05e(614,a)))
    return count


a⫈↫b = { (((29⊿⋩b)⊡≗(b⪴⪗∳b))⊜⪧((a⫻⫣b)⫞⩛)) , if (b⩌⩤⨢)<24 ; (((b⊫⊎)∩(b≴√⇹b))∀≈(a⨝↳b)) , else }

def op_uLF38lHRcS(a, b):
    if op_Y6oNw2t4Hd(b) < 24:
        return op_zxYHQgBFH5(op_8fYlehcX6L(op_Lzeq4vgtW6(29,b),op_YUijxPlj15(b,b)),op_aQMAt6GGKI(op_Mqg6Kpcx5i(a,b)))
    else:
        return op_zUHZYjJ2nJ(op_F9Zfm1dsok(op_hzNl2ELaCM(b),op_nAvFnAjdcU(b,b)),op_tqZXx6qj06(a,b))

def op_count_uLF38lHRcS(a, b):
    if op_Y6oNw2t4Hd(b) < 24:
        count = op_count_Lzeq4vgtW6(29,b)+op_count_YUijxPlj15(b,b)+op_count_8fYlehcX6L(op_Lzeq4vgtW6(29,b),op_YUijxPlj15(b,b))+op_count_Mqg6Kpcx5i(a,b)+op_count_aQMAt6GGKI(op_Mqg6Kpcx5i(a,b))+op_count_zxYHQgBFH5(op_8fYlehcX6L(op_Lzeq4vgtW6(29,b),op_YUijxPlj15(b,b)),op_aQMAt6GGKI(op_Mqg6Kpcx5i(a,b)))+op_count_Y6oNw2t4Hd(b)
    else:
        count = op_count_hzNl2ELaCM(b)+op_count_nAvFnAjdcU(b,b)+op_count_F9Zfm1dsok(op_hzNl2ELaCM(b),op_nAvFnAjdcU(b,b))+op_count_tqZXx6qj06(a,b)+op_count_zUHZYjJ2nJ(op_F9Zfm1dsok(op_hzNl2ELaCM(b),op_nAvFnAjdcU(b,b)),op_tqZXx6qj06(a,b))
    return count


⊁⩭a = { (((⨕88)⋷⫙∸a)⊗∉⫋((a⩉⪲⨦492)⊺⪹(a≡⋹⩃))) }

def op_ZjE56Tjd5j(a):
    return op_F0HuPnWKeH(op_8oxTided8f(op_yXb8vAEUka(88),a),op_qkFtMc4JWq(op_Is2W053hpV(a,492),op_gLpgCFl5iX(a)))

def op_count_ZjE56Tjd5j(a):
    count = op_count_yXb8vAEUka(88)+op_count_8oxTided8f(op_yXb8vAEUka(88),a)+op_count_Is2W053hpV(a,492)+op_count_gLpgCFl5iX(a)+op_count_qkFtMc4JWq(op_Is2W053hpV(a,492),op_gLpgCFl5iX(a))+op_count_F0HuPnWKeH(op_8oxTided8f(op_yXb8vAEUka(88),a),op_qkFtMc4JWq(op_Is2W053hpV(a,492),op_gLpgCFl5iX(a)))
    return count


a⫒⫝b = { ((b⇒⫙⩪b)↙⨬⋜(⩧⫈b)) , if (a∵≐)==208 ; (⊈⋂⪔(b∰⋕a)) , else }

def op_D3vt6oaqeg(a, b):
    if op_59igzFyhWz(a) == 208:
        return op_UlBlWmOBXm(op_GlSFjmIWmY(b,b),op_HTmwGS9Ecj(b))
    else:
        return op_tlyMzCI9Xq(op_BJDLbvb5Z5(b,a))

def op_count_D3vt6oaqeg(a, b):
    if op_59igzFyhWz(a) == 208:
        count = op_count_GlSFjmIWmY(b,b)+op_count_HTmwGS9Ecj(b)+op_count_UlBlWmOBXm(op_GlSFjmIWmY(b,b),op_HTmwGS9Ecj(b))+op_count_59igzFyhWz(a)
    else:
        count = op_count_BJDLbvb5Z5(b,a)+op_count_tlyMzCI9Xq(op_BJDLbvb5Z5(b,a))
    return count


⨖⋌a = { (⪐⊮⇂((a↓⫟a)⨼⊯⨸(∎≩⨯a))) , if a>=28 ; a , else }

def op_KprzO3AAnt(a):
    if a >= 28:
        return op_gyx1WIpxU2(op_PQWaCfYBWv(op_VOsMRMKId5(a,a),op_l8UfvtpCFJ(a)))
    else:
        return a

def op_count_KprzO3AAnt(a):
    if a >= 28:
        count = op_count_VOsMRMKId5(a,a)+op_count_l8UfvtpCFJ(a)+op_count_PQWaCfYBWv(op_VOsMRMKId5(a,a),op_l8UfvtpCFJ(a))+op_count_gyx1WIpxU2(op_PQWaCfYBWv(op_VOsMRMKId5(a,a),op_l8UfvtpCFJ(a)))
    else:
        count = 1
    return count


def op_CwaMKCY1tG(a):
    return op_l8UfvtpCFJ(op_Qy55tPpLXF(162,a))

def op_count_CwaMKCY1tG(a):
    count = op_count_Qy55tPpLXF(162,a)+op_count_l8UfvtpCFJ(op_Qy55tPpLXF(162,a))
    return count


def op_pW6GmGbIpO(a):
    return op_JxwMv5le6e(227,op_kWb6VvCuY5(15,a))

def op_count_pW6GmGbIpO(a):
    count = op_count_kWb6VvCuY5(15,a)+op_count_JxwMv5le6e(227,op_kWb6VvCuY5(15,a))
    return count


⇋⩭↑a = { (a⊢⊞a) , if (a⩘⫠⇑)>74 ; (a⫑%∭) , else }

def op_7Ga8l2ef0n(a):
    if op_C4vwzYFrXv(a) > 74:
        return op_IOQom0VbAc(a,a)
    else:
        return op_xUx7qlDO4z(a)

def op_count_7Ga8l2ef0n(a):
    if op_C4vwzYFrXv(a) > 74:
        count = op_count_IOQom0VbAc(a,a)+op_count_C4vwzYFrXv(a)
    else:
        count = op_count_xUx7qlDO4z(a)
    return count


a⇏↜b = { (((a⩪⋳259)⊺⪚↾(b⨯≫⊾477))⩏≛↟(↕⨹↣(⇕⨊b))) }

def op_bc776OU6aa(a, b):
    return op_Tk0QX8wo8A(op_wFGzIcZ3iX(op_lo4wzqzbYk(a,259),op_3Nwa8gVjpX(b,477)),op_krTmBp4034(op_0k3LXBuut5(b)))

def op_count_bc776OU6aa(a, b):
    count = op_count_lo4wzqzbYk(a,259)+op_count_3Nwa8gVjpX(b,477)+op_count_wFGzIcZ3iX(op_lo4wzqzbYk(a,259),op_3Nwa8gVjpX(b,477))+op_count_0k3LXBuut5(b)+op_count_krTmBp4034(op_0k3LXBuut5(b))+op_count_Tk0QX8wo8A(op_wFGzIcZ3iX(op_lo4wzqzbYk(a,259),op_3Nwa8gVjpX(b,477)),op_krTmBp4034(op_0k3LXBuut5(b)))
    return count


⋟⇆a = { ((a⊟⊧a)⩔(a⨭⫡⋝)) , if (a⊋751)<36 ; (⪄⇋⇮(a⩉∽⪣256)) , else }

def op_jvFvQ1wJBO(a):
    if op_W4tP9CfskL(a,751) < 36:
        return op_EOlQWVzPou(op_GN3qbhwjUb(a,a),op_Ge61LBmWpH(a))
    else:
        return op_pq4SmNyoEl(op_3U6LfyZyIC(a,256))

def op_count_jvFvQ1wJBO(a):
    if op_W4tP9CfskL(a,751) < 36:
        count = op_count_GN3qbhwjUb(a,a)+op_count_Ge61LBmWpH(a)+op_count_EOlQWVzPou(op_GN3qbhwjUb(a,a),op_Ge61LBmWpH(a))+op_count_W4tP9CfskL(a,751)
    else:
        count = op_count_3U6LfyZyIC(a,256)+op_count_pq4SmNyoEl(op_3U6LfyZyIC(a,256))
    return count


a⨠⋞ = { ((a⇵⪤⫑(a∑a))⇸∍((∀⊫a)⋊⇄↴(a⫷a))) }

def op_vM25c4dJEd(a):
    return op_MCGaq0s4v9(op_8IMc3tXeXz(a,op_JFrVJKYFMX(a,a)),op_DC2fg2LBfY(op_gZaJvPXt7R(a),op_DD02tHBmow(a,a)))

def op_count_vM25c4dJEd(a):
    count = op_count_JFrVJKYFMX(a,a)+op_count_8IMc3tXeXz(a,op_JFrVJKYFMX(a,a))+op_count_gZaJvPXt7R(a)+op_count_DD02tHBmow(a,a)+op_count_DC2fg2LBfY(op_gZaJvPXt7R(a),op_DD02tHBmow(a,a))+op_count_MCGaq0s4v9(op_8IMc3tXeXz(a,op_JFrVJKYFMX(a,a)),op_DC2fg2LBfY(op_gZaJvPXt7R(a),op_DD02tHBmow(a,a)))
    return count


def op_uMjCgiXncn(a):
    return op_4IsXanmfaW(op_uPE9uA7DVi(op_qQ6w0OSeOl(28,a)))

def op_count_uMjCgiXncn(a):
    count = op_count_qQ6w0OSeOl(28,a)+op_count_uPE9uA7DVi(op_qQ6w0OSeOl(28,a))+op_count_4IsXanmfaW(op_uPE9uA7DVi(op_qQ6w0OSeOl(28,a)))
    return count


a⇻⪻b = { ((⊥(b⪞∓b))⪇≇⋚((b⩦a)⩫(b⋽≒⊱b))) , if (b⪸↘⩇)>=453 ; (386↺∓≲) , else }

def op_Xx5rgbcPza(a, b):
    if op_lNEVCi3l3o(b) >= 453:
        return op_3sJ7IOPOlU(op_Q3PJZHRvZv(op_f0EEqlM9KS(b,b)),op_8zNRrli7uG(op_0kmYd0q39Y(b,a),op_7UJktksAgI(b,b)))
    else:
        return op_fq7H3HeIEr(386)

def op_count_Xx5rgbcPza(a, b):
    if op_lNEVCi3l3o(b) >= 453:
        count = op_count_f0EEqlM9KS(b,b)+op_count_Q3PJZHRvZv(op_f0EEqlM9KS(b,b))+op_count_0kmYd0q39Y(b,a)+op_count_7UJktksAgI(b,b)+op_count_8zNRrli7uG(op_0kmYd0q39Y(b,a),op_7UJktksAgI(b,b))+op_count_3sJ7IOPOlU(op_Q3PJZHRvZv(op_f0EEqlM9KS(b,b)),op_8zNRrli7uG(op_0kmYd0q39Y(b,a),op_7UJktksAgI(b,b)))+op_count_lNEVCi3l3o(b)
    else:
        count = op_count_fq7H3HeIEr(386)
    return count


def op_2m2C7kd6U1(a, b):
    return op_zi3bF0tCqX(op_OkftowgG4v(op_fcbMX6Iur2(b,a),op_Mwm3sDJixD(a)),op_q4LUFz6CpC(op_xTDqZxPsQw(505,148)))

def op_count_2m2C7kd6U1(a, b):
    count = op_count_fcbMX6Iur2(b,a)+op_count_Mwm3sDJixD(a)+op_count_OkftowgG4v(op_fcbMX6Iur2(b,a),op_Mwm3sDJixD(a))+op_count_xTDqZxPsQw(505,148)+op_count_q4LUFz6CpC(op_xTDqZxPsQw(505,148))+op_count_zi3bF0tCqX(op_OkftowgG4v(op_fcbMX6Iur2(b,a),op_Mwm3sDJixD(a)),op_q4LUFz6CpC(op_xTDqZxPsQw(505,148)))
    return count


a⨘⨼⇽b = { ((∜⨇(b≱b))⪖⪡((41⪁⨴⋨a)≛⨪⪕(⊬⇐a))) , if (a⋿≌195)>=59 ; (((a≇⩎↤a)*⊕(359⪟≞⫚a))⪡⨥(⫆⩾(b⩴⫳a))) , else }

def op_vyES0PD1Tv(a, b):
    if op_OmMtHYPvwT(a,195) >= 59:
        return op_7PjNe5qSIJ(op_uFPyJr306J(op_VetzYauijD(b,b)),op_2BQfft9YfO(op_y2kQTS4a70(41,a),op_aRomWCf35x(a)))
    else:
        return op_rN9dtwqe3n(op_1roSrQb8YU(op_gb4MSIPkm5(a,a),op_ZSUUsgWsFn(359,a)),op_8DHlP0DBF0(op_rn31iNPEz6(b,a)))

def op_count_vyES0PD1Tv(a, b):
    if op_OmMtHYPvwT(a,195) >= 59:
        count = op_count_VetzYauijD(b,b)+op_count_uFPyJr306J(op_VetzYauijD(b,b))+op_count_y2kQTS4a70(41,a)+op_count_aRomWCf35x(a)+op_count_2BQfft9YfO(op_y2kQTS4a70(41,a),op_aRomWCf35x(a))+op_count_7PjNe5qSIJ(op_uFPyJr306J(op_VetzYauijD(b,b)),op_2BQfft9YfO(op_y2kQTS4a70(41,a),op_aRomWCf35x(a)))+op_count_OmMtHYPvwT(a,195)
    else:
        count = op_count_gb4MSIPkm5(a,a)+op_count_ZSUUsgWsFn(359,a)+op_count_1roSrQb8YU(op_gb4MSIPkm5(a,a),op_ZSUUsgWsFn(359,a))+op_count_rn31iNPEz6(b,a)+op_count_8DHlP0DBF0(op_rn31iNPEz6(b,a))+op_count_rN9dtwqe3n(op_1roSrQb8YU(op_gb4MSIPkm5(a,a),op_ZSUUsgWsFn(359,a)),op_8DHlP0DBF0(op_rn31iNPEz6(b,a)))
    return count


def op_b3sbC8fTng(a, b):
    return op_oCumtb3mAM(op_yM1DlX2Cij(b),op_m7zcvuzcjJ(a))

def op_count_b3sbC8fTng(a, b):
    count = op_count_yM1DlX2Cij(b)+op_count_m7zcvuzcjJ(a)+op_count_oCumtb3mAM(op_yM1DlX2Cij(b),op_m7zcvuzcjJ(a))
    return count


def op_ZaDLEKjiM6(a, b):
    if op_sEh42lEs34(a) != 115:
        return op_MolRT8mHD9(op_SPuZE40Ntn(op_NzNtVczcLC(a,156),op_sm9LEE0iOp(231,b)),op_mzFbeuciqp(op_DyGG3AbaNP(22,b)))
    else:
        return op_MhFal2wsdN(op_sYkX6kT28T(op_1kEBgkiUNU(297),op_8YdTO89gQD(a,b)))

def op_count_ZaDLEKjiM6(a, b):
    if op_sEh42lEs34(a) != 115:
        count = op_count_NzNtVczcLC(a,156)+op_count_sm9LEE0iOp(231,b)+op_count_SPuZE40Ntn(op_NzNtVczcLC(a,156),op_sm9LEE0iOp(231,b))+op_count_DyGG3AbaNP(22,b)+op_count_mzFbeuciqp(op_DyGG3AbaNP(22,b))+op_count_MolRT8mHD9(op_SPuZE40Ntn(op_NzNtVczcLC(a,156),op_sm9LEE0iOp(231,b)),op_mzFbeuciqp(op_DyGG3AbaNP(22,b)))+op_count_sEh42lEs34(a)
    else:
        count = op_count_1kEBgkiUNU(297)+op_count_8YdTO89gQD(a,b)+op_count_sYkX6kT28T(op_1kEBgkiUNU(297),op_8YdTO89gQD(a,b))+op_count_MhFal2wsdN(op_sYkX6kT28T(op_1kEBgkiUNU(297),op_8YdTO89gQD(a,b)))
    return count


⪞⇹a = { ((48⋯⋟a)∵∄⫽(a↾⇦)) , if (⫎a)!=46 ; ((a⋍⨍25)≰⨦⩤(a⨏⨮a)) , else }

def op_S4ruA7me2E(a):
    if op_j27Jgf5Byt(a) != 46:
        return op_vJL9zW01lR(op_q9XL0dzTix(48,a),op_H9RETCE9fR(a))
    else:
        return op_uM9y8FJ4Pt(op_NjmQ0Rwe72(a,25),op_kPwFPZlApY(a,a))

def op_count_S4ruA7me2E(a):
    if op_j27Jgf5Byt(a) != 46:
        count = op_count_q9XL0dzTix(48,a)+op_count_H9RETCE9fR(a)+op_count_vJL9zW01lR(op_q9XL0dzTix(48,a),op_H9RETCE9fR(a))+op_count_j27Jgf5Byt(a)
    else:
        count = op_count_NjmQ0Rwe72(a,25)+op_count_kPwFPZlApY(a,a)+op_count_uM9y8FJ4Pt(op_NjmQ0Rwe72(a,25),op_kPwFPZlApY(a,a))
    return count


def op_KhA5uHUFqq(a):
    return op_qtJLMuGoc3(op_67pLdqUuiR(a,a))

def op_count_KhA5uHUFqq(a):
    count = op_count_67pLdqUuiR(a,a)+op_count_qtJLMuGoc3(op_67pLdqUuiR(a,a))
    return count


a∛⪘b = { (a⊶⊞(⨴⫝(b⨴477))) , if (⫻≎⨄b)!=8 ; (⫤⇰((7⩿248)∺≝⩲(b≃⇜↓b))) , else }

def op_GFTBBIETQN(a, b):
    if op_22PRtPrKbi(b) != 8:
        return op_vqL3z2Fhus(a,op_SVb2v531z1(op_jBC4ymW3D7(b,477)))
    else:
        return op_sMyAjHvMXx(op_KPf6cnQVty(op_Lf60rts8ne(7,248),op_zjpztV9BY4(b,b)))

def op_count_GFTBBIETQN(a, b):
    if op_22PRtPrKbi(b) != 8:
        count = op_count_jBC4ymW3D7(b,477)+op_count_SVb2v531z1(op_jBC4ymW3D7(b,477))+op_count_vqL3z2Fhus(a,op_SVb2v531z1(op_jBC4ymW3D7(b,477)))+op_count_22PRtPrKbi(b)
    else:
        count = op_count_Lf60rts8ne(7,248)+op_count_zjpztV9BY4(b,b)+op_count_KPf6cnQVty(op_Lf60rts8ne(7,248),op_zjpztV9BY4(b,b))+op_count_sMyAjHvMXx(op_KPf6cnQVty(op_Lf60rts8ne(7,248),op_zjpztV9BY4(b,b)))
    return count


def op_4Iz79PAHah(a, b):
    return op_abYXlopdE0(op_wDQhVHeL0p(op_knvpjL2tUS(b,b),op_QkhyUd66fj(a)),a)

def op_count_4Iz79PAHah(a, b):
    count = op_count_knvpjL2tUS(b,b)+op_count_QkhyUd66fj(a)+op_count_wDQhVHeL0p(op_knvpjL2tUS(b,b),op_QkhyUd66fj(a))+op_count_abYXlopdE0(op_wDQhVHeL0p(op_knvpjL2tUS(b,b),op_QkhyUd66fj(a)),a)
    return count


⋌⊧a = { (a⪳⨈) , if ((a⨴∎)>=44 or (a⪵→340)!=144) ; (((a⩐a)⨢⩏(a⪋⩽⩀127))⪙⨣⫆((a⋁⪕a)⋹⋡⊁(a⊶⊞a))) , else }

def op_f5Q4NypybA(a):
    if (op_CpSg5vQTgA(a) >= 44 or op_7KGj3ybMWB(a,340) != 144):
        return op_pGtFQtYsOB(a)
    else:
        return op_wEBUqoxgu1(op_3vsYb8CDSQ(op_bMfZrpXtSe(a,a),op_hS2BjwBKFM(a,127)),op_As8RqfVLgs(op_2cbslIIPJD(a,a),op_vqL3z2Fhus(a,a)))

def op_count_f5Q4NypybA(a):
    if (op_CpSg5vQTgA(a) >= 44 or op_7KGj3ybMWB(a,340) != 144):
        count = op_count_pGtFQtYsOB(a)+op_count_CpSg5vQTgA(a)+op_count_7KGj3ybMWB(a,340)
    else:
        count = op_count_bMfZrpXtSe(a,a)+op_count_hS2BjwBKFM(a,127)+op_count_3vsYb8CDSQ(op_bMfZrpXtSe(a,a),op_hS2BjwBKFM(a,127))+op_count_2cbslIIPJD(a,a)+op_count_vqL3z2Fhus(a,a)+op_count_As8RqfVLgs(op_2cbslIIPJD(a,a),op_vqL3z2Fhus(a,a))+op_count_wEBUqoxgu1(op_3vsYb8CDSQ(op_bMfZrpXtSe(a,a),op_hS2BjwBKFM(a,127)),op_As8RqfVLgs(op_2cbslIIPJD(a,a),op_vqL3z2Fhus(a,a)))
    return count


a∀⫕∮b = { (a≧⫂∧a) , if a==16 ; (b≎⪠a) , else }

def op_IYHsu6s8OV(a, b):
    if a == 16:
        return op_Ph9nP6C5qx(a,a)
    else:
        return op_aNhz54LH3e(b,a)

def op_count_IYHsu6s8OV(a, b):
    if a == 16:
        count = op_count_Ph9nP6C5qx(a,a)
    else:
        count = op_count_aNhz54LH3e(b,a)
    return count


def op_iQ1cVfSgkK(a):
    if op_ET0KLvfdmE(a,857) > 780 and op_RGTKTgjLlv(a,22) <= 83 and op_uuALuEY20A(a) <= 24:
        return op_L4QKcwJRKF(a,428)
    else:
        return op_UMwdvZNt44(a,a)

def op_count_iQ1cVfSgkK(a):
    if op_ET0KLvfdmE(a,857) > 780 and op_RGTKTgjLlv(a,22) <= 83 and op_uuALuEY20A(a) <= 24:
        count = op_count_L4QKcwJRKF(a,428)+op_count_ET0KLvfdmE(a,857)+op_count_RGTKTgjLlv(a,22)+op_count_uuALuEY20A(a)
    else:
        count = op_count_UMwdvZNt44(a,a)
    return count


a⇶⩾ = { (⪲⊾a) , if (a⇼⨔≊)!=419 ; (a⨀⋝⩂a) , else }

def op_DYU2Nagq8R(a):
    if op_aTY1AQKFzf(a) != 419:
        return op_L07OSbUHmY(a)
    else:
        return op_gNhqVVHJgV(a,a)

def op_count_DYU2Nagq8R(a):
    if op_aTY1AQKFzf(a) != 419:
        count = op_count_L07OSbUHmY(a)+op_count_aTY1AQKFzf(a)
    else:
        count = op_count_gNhqVVHJgV(a,a)
    return count


⪓⋍⪠a = { (((a⪌⊯⪟a)⨆⩍(a≄⊠a))≊⩔) , if (⊔∺a)<=93 ; (≀↧⇸(a⫣⪄⊒(≰⫪⇪169))) , else }

def op_cdPlauQLpd(a):
    if op_sVy2mYxvnI(a) <= 93:
        return op_doxNIVS6p2(op_vzIhVlHn4a(op_ME4t0VB7iZ(a,a),op_vXNesLlMH1(a,a)))
    else:
        return op_ljTHtUsqzn(op_RabNbG55vr(a,op_YZPGigeTkX(169)))

def op_count_cdPlauQLpd(a):
    if op_sVy2mYxvnI(a) <= 93:
        count = op_count_ME4t0VB7iZ(a,a)+op_count_vXNesLlMH1(a,a)+op_count_vzIhVlHn4a(op_ME4t0VB7iZ(a,a),op_vXNesLlMH1(a,a))+op_count_doxNIVS6p2(op_vzIhVlHn4a(op_ME4t0VB7iZ(a,a),op_vXNesLlMH1(a,a)))+op_count_sVy2mYxvnI(a)
    else:
        count = op_count_YZPGigeTkX(169)+op_count_RabNbG55vr(a,op_YZPGigeTkX(169))+op_count_ljTHtUsqzn(op_RabNbG55vr(a,op_YZPGigeTkX(169)))
    return count


a⨞≵⋁b = { (⪛⨧((⩊≂⋮b)⨢∉⋖)) , if (a⩧⊭⋽)<226 ; (((a⨝b)∡≴⫵(b↨⩆b))⨤((⨾⪆185)⨊↕(194⨲))) , else }

def op_EKLKHyWVE0(a, b):
    if op_O79S74KhN8(a) < 226:
        return op_6NJAcO2OWT(op_dJntwlUE31(op_t7BgFzR4Wt(b)))
    else:
        return op_6Dk38mmJ69(op_tJkeIIum6v(op_fo48eGTxLC(a,b),op_CFYtLYPBqA(b,b)),op_sDckQzKUSc(op_JvSxMoGXql(185),op_nLYMGWM7L8(194)))

def op_count_EKLKHyWVE0(a, b):
    if op_O79S74KhN8(a) < 226:
        count = op_count_t7BgFzR4Wt(b)+op_count_dJntwlUE31(op_t7BgFzR4Wt(b))+op_count_6NJAcO2OWT(op_dJntwlUE31(op_t7BgFzR4Wt(b)))+op_count_O79S74KhN8(a)
    else:
        count = op_count_fo48eGTxLC(a,b)+op_count_CFYtLYPBqA(b,b)+op_count_tJkeIIum6v(op_fo48eGTxLC(a,b),op_CFYtLYPBqA(b,b))+op_count_JvSxMoGXql(185)+op_count_nLYMGWM7L8(194)+op_count_sDckQzKUSc(op_JvSxMoGXql(185),op_nLYMGWM7L8(194))+op_count_6Dk38mmJ69(op_tJkeIIum6v(op_fo48eGTxLC(a,b),op_CFYtLYPBqA(b,b)),op_sDckQzKUSc(op_JvSxMoGXql(185),op_nLYMGWM7L8(194)))
    return count


a≇⪦b = { (↣⩘≦a) , if b>=197 ; (773⫪⩳⇋a) , else }

def op_uTGAQopWoM(a, b):
    if b >= 197:
        return op_p5qYALri8P(a)
    else:
        return op_irfPbDV6Fp(773,a)

def op_count_uTGAQopWoM(a, b):
    if b >= 197:
        count = op_count_p5qYALri8P(a)
    else:
        count = op_count_irfPbDV6Fp(773,a)
    return count


def op_X1q3rO4PFZ(a):
    return op_HTmwGS9Ecj(op_15v7IodGk2(a,a))

def op_count_X1q3rO4PFZ(a):
    count = op_count_15v7IodGk2(a,a)+op_count_HTmwGS9Ecj(op_15v7IodGk2(a,a))
    return count


def op_FgYUCPJ1sH(a, b):
    return op_Io6RfLUAY0(op_DaGtvK0FhA(a,0),op_esrG2CHZvS(b))

def op_count_FgYUCPJ1sH(a, b):
    count = op_count_DaGtvK0FhA(a,0)+op_count_esrG2CHZvS(b)+op_count_Io6RfLUAY0(op_DaGtvK0FhA(a,0),op_esrG2CHZvS(b))
    return count


a≁⨸b = { ((b⋯⨮⊁5)⇏⊫∳(a⇎⊫96)) , if (b⋱≯232)<=617 ; ((⇵⪽b)∴⪣⋮(b⩽⫨a)) , else }

def op_w8YNoe8rIc(a, b):
    if op_dbdAhqSh71(b,232) <= 617:
        return op_1TeaI018f5(op_1vIQx1Qjvl(b,5),op_7yKx6fqJeC(a,96))
    else:
        return op_eYS7XQEuXU(op_ZGCBLdVRRX(b),op_8mtiSnzBRA(b,a))

def op_count_w8YNoe8rIc(a, b):
    if op_dbdAhqSh71(b,232) <= 617:
        count = op_count_1vIQx1Qjvl(b,5)+op_count_7yKx6fqJeC(a,96)+op_count_1TeaI018f5(op_1vIQx1Qjvl(b,5),op_7yKx6fqJeC(a,96))+op_count_dbdAhqSh71(b,232)
    else:
        count = op_count_ZGCBLdVRRX(b)+op_count_8mtiSnzBRA(b,a)+op_count_eYS7XQEuXU(op_ZGCBLdVRRX(b),op_8mtiSnzBRA(b,a))
    return count


def op_xNrpOlpO8q(a):
    return op_WBwPOP8NKF(op_q5ANYLE8fX(a),op_UlQ84THUy4(a,a))

def op_count_xNrpOlpO8q(a):
    count = op_count_q5ANYLE8fX(a)+op_count_UlQ84THUy4(a,a)+op_count_WBwPOP8NKF(op_q5ANYLE8fX(a),op_UlQ84THUy4(a,a))
    return count


def op_tXT1zRb2ZN(a, b):
    return op_YjTveF0rk5(op_w4QFAe3OeV(op_DnaO8zatMH(a,a),a),op_L07OSbUHmY(op_fjIpuvyOFL(139,b)))

def op_count_tXT1zRb2ZN(a, b):
    count = op_count_DnaO8zatMH(a,a)+op_count_w4QFAe3OeV(op_DnaO8zatMH(a,a),a)+op_count_fjIpuvyOFL(139,b)+op_count_L07OSbUHmY(op_fjIpuvyOFL(139,b))+op_count_YjTveF0rk5(op_w4QFAe3OeV(op_DnaO8zatMH(a,a),a),op_L07OSbUHmY(op_fjIpuvyOFL(139,b)))
    return count


a⨣⋿⩍ = { (((a⫔⇒a)↺⋘(⩄a))≜⪾⫓((41⪡⇊⇼a)≂⨫(a≵⫁⨩a))) }

def op_Ho96uGGWuE(a):
    return op_uSqX6IAqZu(op_jIjE9uTss5(op_xolZLAALD1(a,a),op_otB5Ew3TfZ(a)),op_A7k8RvvYBg(op_h9LDQjFYy5(41,a),op_ygCb31sq1A(a,a)))

def op_count_Ho96uGGWuE(a):
    count = op_count_xolZLAALD1(a,a)+op_count_otB5Ew3TfZ(a)+op_count_jIjE9uTss5(op_xolZLAALD1(a,a),op_otB5Ew3TfZ(a))+op_count_h9LDQjFYy5(41,a)+op_count_ygCb31sq1A(a,a)+op_count_A7k8RvvYBg(op_h9LDQjFYy5(41,a),op_ygCb31sq1A(a,a))+op_count_uSqX6IAqZu(op_jIjE9uTss5(op_xolZLAALD1(a,a),op_otB5Ew3TfZ(a)),op_A7k8RvvYBg(op_h9LDQjFYy5(41,a),op_ygCb31sq1A(a,a)))
    return count


def op_ch7N5mCkvX(a, b):
    if op_RENOe0fZe0(b) == 37:
        return op_r0FS3hW4cC(a)
    else:
        return op_dvgeamS7g2(222,312)

def op_count_ch7N5mCkvX(a, b):
    if op_RENOe0fZe0(b) == 37:
        count = op_count_r0FS3hW4cC(a)+op_count_RENOe0fZe0(b)
    else:
        count = op_count_dvgeamS7g2(222,312)
    return count


a∌⪅⩋b = { a , if b<=4 ; ((a↚≽⪤b)↭↢≔) , else }

def op_WxweLjuF6a(a, b):
    if b <= 4:
        return a
    else:
        return op_Q6LsZf8ZYd(op_UyATZg4EzG(a,b))

def op_count_WxweLjuF6a(a, b):
    if b <= 4:
        count = 1
    else:
        count = op_count_UyATZg4EzG(a,b)+op_count_Q6LsZf8ZYd(op_UyATZg4EzG(a,b))
    return count


a⇀⫉⨪b = { 2 , if (b⩫⋌⩴)>=348 ; (b⇴∐a) , else }

def op_MJ2rvC5aq9(a, b):
    if op_ZEiArkg7ih(b) >= 348:
        return 2
    else:
        return op_HnzytWxmAO(b,a)

def op_count_MJ2rvC5aq9(a, b):
    if op_ZEiArkg7ih(b) >= 348:
        count = op_count_ZEiArkg7ih(b)
    else:
        count = op_count_HnzytWxmAO(b,a)
    return count


a↲⫒b = { (b⪜↾a) , if (a≫⫦)!=709 ; (↨b) , else }

def op_ERSC7pXrG5(a, b):
    if op_pXBJp6lguA(a) != 709:
        return op_j0T3bE6LZn(b,a)
    else:
        return op_jiX4gk2v2Q(b)

def op_count_ERSC7pXrG5(a, b):
    if op_pXBJp6lguA(a) != 709:
        count = op_count_j0T3bE6LZn(b,a)+op_count_pXBJp6lguA(a)
    else:
        count = op_count_jiX4gk2v2Q(b)
    return count


a⇕⩡b = { ((b≎⪂b)⊀⩕) , if (b⨜↩)<874 ; ((b⇈⨇⊙a)⨄≾⊅(5⩗⩻a)) , else }

def op_xUUbjRAQFP(a, b):
    if op_lsjeA8d2WH(b) < 874:
        return op_r0FS3hW4cC(op_rBix6azao7(b,b))
    else:
        return op_2FtUKenEIE(op_S5cEPmjQ5R(b,a),op_4OtQz9P6fE(5,a))

def op_count_xUUbjRAQFP(a, b):
    if op_lsjeA8d2WH(b) < 874:
        count = op_count_rBix6azao7(b,b)+op_count_r0FS3hW4cC(op_rBix6azao7(b,b))+op_count_lsjeA8d2WH(b)
    else:
        count = op_count_S5cEPmjQ5R(b,a)+op_count_4OtQz9P6fE(5,a)+op_count_2FtUKenEIE(op_S5cEPmjQ5R(b,a),op_4OtQz9P6fE(5,a))
    return count


a⪿⇯⪀ = { (a⨭58) , if (a⩨∴⨤)<=3 ; (a↷⋇⫼) , else }

def op_C80Q5Y1JfA(a):
    if op_qjmPyXYQ7j(a) <= 3:
        return op_1ABctC9S11(a,58)
    else:
        return op_h2AnrTQJpk(a)

def op_count_C80Q5Y1JfA(a):
    if op_qjmPyXYQ7j(a) <= 3:
        count = op_count_1ABctC9S11(a,58)+op_count_qjmPyXYQ7j(a)
    else:
        count = op_count_h2AnrTQJpk(a)
    return count


def op_2qSYyYijXg(a, b):
    return op_WGd7rOyKiB(op_WxMdBijbcV(op_K8Gs4pJAFP(a,b),op_Asc51vEJeQ(b)))

def op_count_2qSYyYijXg(a, b):
    count = op_count_K8Gs4pJAFP(a,b)+op_count_Asc51vEJeQ(b)+op_count_WxMdBijbcV(op_K8Gs4pJAFP(a,b),op_Asc51vEJeQ(b))+op_count_WGd7rOyKiB(op_WxMdBijbcV(op_K8Gs4pJAFP(a,b),op_Asc51vEJeQ(b)))
    return count


∅≝a = { ((⪮⫚⨀a)⩃⋣≅(≭≾≫a)) , if ((a⊚⨬)<=243 and (a≻⫁⇭)>=67) ; ((520⊁⊹⇚a)⨱↷⋐(166∟⪁⇹)) , else }

def op_WccB7VsUJn(a):
    if (op_FKhs930IBc(a) <= 243 and op_gwsgbCbNkP(a) >= 67):
        return op_wkGOHkejlq(op_mfLRytBdgR(a),op_mpIc2IH24C(a))
    else:
        return op_N4xFjQxcx5(op_dfh7ENhFrR(520,a),op_Eshg0vLipp(166))

def op_count_WccB7VsUJn(a):
    if (op_FKhs930IBc(a) <= 243 and op_gwsgbCbNkP(a) >= 67):
        count = op_count_mfLRytBdgR(a)+op_count_mpIc2IH24C(a)+op_count_wkGOHkejlq(op_mfLRytBdgR(a),op_mpIc2IH24C(a))+op_count_FKhs930IBc(a)+op_count_gwsgbCbNkP(a)
    else:
        count = op_count_dfh7ENhFrR(520,a)+op_count_Eshg0vLipp(166)+op_count_N4xFjQxcx5(op_dfh7ENhFrR(520,a),op_Eshg0vLipp(166))
    return count


a⊁/⇛ = { (((a⫥↲)≹⇙⪍(a⇈⪿a))≫⋭*((a∕↟⨟a)⋕⫓⨞(165⫃⨻⩹37))) }

def op_ffnNVDgmrI(a):
    return op_dYBoAWDpSk(op_AHs5Up7iyr(op_lAQX055Tbp(a),op_Q7t1aWOjeJ(a,a)),op_HTQeboLAuK(op_6tyZHyy2Dj(a,a),op_vlEuakAFQx(165,37)))

def op_count_ffnNVDgmrI(a):
    count = op_count_lAQX055Tbp(a)+op_count_Q7t1aWOjeJ(a,a)+op_count_AHs5Up7iyr(op_lAQX055Tbp(a),op_Q7t1aWOjeJ(a,a))+op_count_6tyZHyy2Dj(a,a)+op_count_vlEuakAFQx(165,37)+op_count_HTQeboLAuK(op_6tyZHyy2Dj(a,a),op_vlEuakAFQx(165,37))+op_count_dYBoAWDpSk(op_AHs5Up7iyr(op_lAQX055Tbp(a),op_Q7t1aWOjeJ(a,a)),op_HTQeboLAuK(op_6tyZHyy2Dj(a,a),op_vlEuakAFQx(165,37)))
    return count


def op_rOACUC4DnF(a):
    return op_lhrve3vigU(op_HYT61O2rBh(op_N5Sc0Qlu6E(a),op_udE70qCqth(a)))

def op_count_rOACUC4DnF(a):
    count = op_count_N5Sc0Qlu6E(a)+op_count_udE70qCqth(a)+op_count_HYT61O2rBh(op_N5Sc0Qlu6E(a),op_udE70qCqth(a))+op_count_lhrve3vigU(op_HYT61O2rBh(op_N5Sc0Qlu6E(a),op_udE70qCqth(a)))
    return count


def op_uM2wwUOc1z(a, b):
    if op_SgAxmdLNEA(b) >= 25:
        return op_CPJod9CRaD(op_xcM15npT0G(op_dnsoz1tpAU(b,a),83),op_7QYZIzcNPK(op_RdfFZieUng(a,b),op_2KNBRhPqiH(13,b)))
    else:
        return op_WHvsDZpt7Z(op_W4YGzv6Whe(op_tJ3alQfbpD(121,a),op_UK7Ch8M0uo(b)),op_13rbtpv6ld(op_7PjNe5qSIJ(166,a),op_vXNesLlMH1(232,a)))

def op_count_uM2wwUOc1z(a, b):
    if op_SgAxmdLNEA(b) >= 25:
        count = op_count_dnsoz1tpAU(b,a)+op_count_xcM15npT0G(op_dnsoz1tpAU(b,a),83)+op_count_RdfFZieUng(a,b)+op_count_2KNBRhPqiH(13,b)+op_count_7QYZIzcNPK(op_RdfFZieUng(a,b),op_2KNBRhPqiH(13,b))+op_count_CPJod9CRaD(op_xcM15npT0G(op_dnsoz1tpAU(b,a),83),op_7QYZIzcNPK(op_RdfFZieUng(a,b),op_2KNBRhPqiH(13,b)))+op_count_SgAxmdLNEA(b)
    else:
        count = op_count_tJ3alQfbpD(121,a)+op_count_UK7Ch8M0uo(b)+op_count_W4YGzv6Whe(op_tJ3alQfbpD(121,a),op_UK7Ch8M0uo(b))+op_count_7PjNe5qSIJ(166,a)+op_count_vXNesLlMH1(232,a)+op_count_13rbtpv6ld(op_7PjNe5qSIJ(166,a),op_vXNesLlMH1(232,a))+op_count_WHvsDZpt7Z(op_W4YGzv6Whe(op_tJ3alQfbpD(121,a),op_UK7Ch8M0uo(b)),op_13rbtpv6ld(op_7PjNe5qSIJ(166,a),op_vXNesLlMH1(232,a)))
    return count


def op_QnnfcV50aN(a):
    return op_HnzytWxmAO(a,a)

def op_count_QnnfcV50aN(a):
    count = op_count_HnzytWxmAO(a,a)
    return count


a↖⫁ = { (((a⊰⋡a)⨉⊔(a⩯⫘⫒a))⋣⋖((⨩∲⋌a)⨽(105∛⇕a))) }

def op_zvaTLPeEL2(a):
    return op_J0M6qkBnIM(op_nrZEhjAOMF(op_vjFqOupvX0(a,a),op_JJqjdL2EOb(a,a)),op_8HhzD0ZcuI(op_aSik1wnThz(a),op_Gf27X6JpjG(105,a)))

def op_count_zvaTLPeEL2(a):
    count = op_count_vjFqOupvX0(a,a)+op_count_JJqjdL2EOb(a,a)+op_count_nrZEhjAOMF(op_vjFqOupvX0(a,a),op_JJqjdL2EOb(a,a))+op_count_aSik1wnThz(a)+op_count_Gf27X6JpjG(105,a)+op_count_8HhzD0ZcuI(op_aSik1wnThz(a),op_Gf27X6JpjG(105,a))+op_count_J0M6qkBnIM(op_nrZEhjAOMF(op_vjFqOupvX0(a,a),op_JJqjdL2EOb(a,a)),op_8HhzD0ZcuI(op_aSik1wnThz(a),op_Gf27X6JpjG(105,a)))
    return count


def op_1hdqQGJ5yH(a, b):
    if op_t9XVKdP1fe(a,256) < 280:
        return op_3teYALjtln(b,a)
    else:
        return op_DyGG3AbaNP(78,b)

def op_count_1hdqQGJ5yH(a, b):
    if op_t9XVKdP1fe(a,256) < 280:
        count = op_count_3teYALjtln(b,a)+op_count_t9XVKdP1fe(a,256)
    else:
        count = op_count_DyGG3AbaNP(78,b)
    return count


def op_Ay3hMfUSlN(a, b):
    return op_ONgMwLM7Hk(op_meJysGTcxJ(b,561),op_IC8pW5Tu9f(b,a))

def op_count_Ay3hMfUSlN(a, b):
    count = op_count_meJysGTcxJ(b,561)+op_count_IC8pW5Tu9f(b,a)+op_count_ONgMwLM7Hk(op_meJysGTcxJ(b,561),op_IC8pW5Tu9f(b,a))
    return count


a⊚↬ = { ((∱≗(a≉↲a))⫂⋇⩚((⇖⫷⫕a)⨤)) , if a==227 ; (((a≍↿≦a)∥⋿⫎)⪒⫴≏((a⊲a)⩺∆⋀(∳⋏⫑a))) , else }

def op_uxfBYRxT5H(a):
    if a == 227:
        return op_jqQE7070fF(op_TLSiz8NPqi(op_dngTJzlZ0N(a,a)),op_BV4vVKNs1e(op_UHmRx3INFg(a)))
    else:
        return op_wZ022U9HON(op_LZtLg3AMbN(op_TSUy8hrQkO(a,a)),op_CT5lT3N5Bi(op_yMixD7ucMB(a,a),op_Mqc8V66Xts(a)))

def op_count_uxfBYRxT5H(a):
    if a == 227:
        count = op_count_dngTJzlZ0N(a,a)+op_count_TLSiz8NPqi(op_dngTJzlZ0N(a,a))+op_count_UHmRx3INFg(a)+op_count_BV4vVKNs1e(op_UHmRx3INFg(a))+op_count_jqQE7070fF(op_TLSiz8NPqi(op_dngTJzlZ0N(a,a)),op_BV4vVKNs1e(op_UHmRx3INFg(a)))
    else:
        count = op_count_TSUy8hrQkO(a,a)+op_count_LZtLg3AMbN(op_TSUy8hrQkO(a,a))+op_count_yMixD7ucMB(a,a)+op_count_Mqc8V66Xts(a)+op_count_CT5lT3N5Bi(op_yMixD7ucMB(a,a),op_Mqc8V66Xts(a))+op_count_wZ022U9HON(op_LZtLg3AMbN(op_TSUy8hrQkO(a,a)),op_CT5lT3N5Bi(op_yMixD7ucMB(a,a),op_Mqc8V66Xts(a)))
    return count


def op_MrO23QlecZ(a):
    return op_WzExxB0XCT(op_t3D3eDBhoo(op_rGHVDoGpnC(a,a)),op_XhwjNDsVaA(a,op_crEXoaJzxs(a,a)))

def op_count_MrO23QlecZ(a):
    count = op_count_rGHVDoGpnC(a,a)+op_count_t3D3eDBhoo(op_rGHVDoGpnC(a,a))+op_count_crEXoaJzxs(a,a)+op_count_XhwjNDsVaA(a,op_crEXoaJzxs(a,a))+op_count_WzExxB0XCT(op_t3D3eDBhoo(op_rGHVDoGpnC(a,a)),op_XhwjNDsVaA(a,op_crEXoaJzxs(a,a)))
    return count


a⊤⊺b = { ((b⩤⪫a)≴⪇≏(12∀⇚≩286)) , if ((b⊭∹↮)<=416 or (⋤⫶⇃b)>=20 or b>14) ; ((b≼⇖a)⫦⩛(⇺⋃a)) , else }

def op_7Ed51MQhrN(a, b):
    if (op_xNBdhnnwKq(b) <= 416 or op_7lWACXvToW(b) >= 20 or b > 14):
        return op_7T0rXPejzT(op_XAY3Gwlcor(b,a),op_LRNGc0VcxI(12,286))
    else:
        return op_eV1zWOyLyD(op_rxoAJkQuc9(b,a),op_E5v5B3UAjG(a))

def op_count_7Ed51MQhrN(a, b):
    if (op_xNBdhnnwKq(b) <= 416 or op_7lWACXvToW(b) >= 20 or b > 14):
        count = op_count_XAY3Gwlcor(b,a)+op_count_LRNGc0VcxI(12,286)+op_count_7T0rXPejzT(op_XAY3Gwlcor(b,a),op_LRNGc0VcxI(12,286))+op_count_xNBdhnnwKq(b)+op_count_7lWACXvToW(b)
    else:
        count = op_count_rxoAJkQuc9(b,a)+op_count_E5v5B3UAjG(a)+op_count_eV1zWOyLyD(op_rxoAJkQuc9(b,a),op_E5v5B3UAjG(a))
    return count


⇰∅⊧a = { (((a⩇↘a)⫮↻(a⫲≸⪮a))⇎⇧((⇕⨊253)⫺≟(124⩷⇦a))) }

def op_4pfZurdSGM(a):
    return op_cnI436iWbz(op_9y5jf4ro75(op_xc52gjKyDD(a,a),op_P3lXMJvFrc(a,a)),op_oJeI64L7yZ(op_0k3LXBuut5(253),op_6fPYHgDDYH(124,a)))

def op_count_4pfZurdSGM(a):
    count = op_count_xc52gjKyDD(a,a)+op_count_P3lXMJvFrc(a,a)+op_count_9y5jf4ro75(op_xc52gjKyDD(a,a),op_P3lXMJvFrc(a,a))+op_count_0k3LXBuut5(253)+op_count_6fPYHgDDYH(124,a)+op_count_oJeI64L7yZ(op_0k3LXBuut5(253),op_6fPYHgDDYH(124,a))+op_count_cnI436iWbz(op_9y5jf4ro75(op_xc52gjKyDD(a,a),op_P3lXMJvFrc(a,a)),op_oJeI64L7yZ(op_0k3LXBuut5(253),op_6fPYHgDDYH(124,a)))
    return count


def op_l80d38mdYJ(a):
    if op_G8ZGq3ATv0(a) <= 531:
        return op_EIdmTB6ive(op_fgG4BKMGvw(a),op_kweVJGAjhl(a))
    else:
        return op_MLcC8hLVgw(op_tawivNIhYz(a,48),op_XMZMMtYJwx(256))

def op_count_l80d38mdYJ(a):
    if op_G8ZGq3ATv0(a) <= 531:
        count = op_count_fgG4BKMGvw(a)+op_count_kweVJGAjhl(a)+op_count_EIdmTB6ive(op_fgG4BKMGvw(a),op_kweVJGAjhl(a))+op_count_G8ZGq3ATv0(a)
    else:
        count = op_count_tawivNIhYz(a,48)+op_count_XMZMMtYJwx(256)+op_count_MLcC8hLVgw(op_tawivNIhYz(a,48),op_XMZMMtYJwx(256))
    return count


a⨶↙b = { (((b⩉∽⪣a)⪘⊱⫆(b→⩸↪b))⇑≢⇛((a⋁⫘⋐a)⫳∂(b⇡⇂b))) , if (a⫑⩧992)!=36 ; (((⋎∷b)∏↵⋆(a⪵b))≬⇼↘((b↥≆)≱⊆)) , else }

def op_3OBV5oTuLc(a, b):
    if op_tdtqYdqRBy(a,992) != 36:
        return op_X7KZn19ZSq(op_YjcqlNuJ4W(op_3U6LfyZyIC(b,a),op_UUAh1Hdfpu(b,b)),op_jJYLip4aMc(op_bvEbpGYZ1Q(a,a),op_UMwdvZNt44(b,b)))
    else:
        return op_b71WJCI7uC(op_8oF9z9zmXi(op_L5r9akbnFw(b),op_zWEPWlwaj2(a,b)),op_3gwhJpgULg(op_n1xa2Ukpg1(b)))

def op_count_3OBV5oTuLc(a, b):
    if op_tdtqYdqRBy(a,992) != 36:
        count = op_count_3U6LfyZyIC(b,a)+op_count_UUAh1Hdfpu(b,b)+op_count_YjcqlNuJ4W(op_3U6LfyZyIC(b,a),op_UUAh1Hdfpu(b,b))+op_count_bvEbpGYZ1Q(a,a)+op_count_UMwdvZNt44(b,b)+op_count_jJYLip4aMc(op_bvEbpGYZ1Q(a,a),op_UMwdvZNt44(b,b))+op_count_X7KZn19ZSq(op_YjcqlNuJ4W(op_3U6LfyZyIC(b,a),op_UUAh1Hdfpu(b,b)),op_jJYLip4aMc(op_bvEbpGYZ1Q(a,a),op_UMwdvZNt44(b,b)))+op_count_tdtqYdqRBy(a,992)
    else:
        count = op_count_L5r9akbnFw(b)+op_count_zWEPWlwaj2(a,b)+op_count_8oF9z9zmXi(op_L5r9akbnFw(b),op_zWEPWlwaj2(a,b))+op_count_n1xa2Ukpg1(b)+op_count_3gwhJpgULg(op_n1xa2Ukpg1(b))+op_count_b71WJCI7uC(op_8oF9z9zmXi(op_L5r9akbnFw(b),op_zWEPWlwaj2(a,b)),op_3gwhJpgULg(op_n1xa2Ukpg1(b)))
    return count


a≺⫾⋧b = { ((a⊈⇓⨞b)⊼∥a) , if (⫟⨏b)>86 ; (a↫⇙↺(⇜513)) , else }

def op_KxdBUJswLU(a, b):
    if op_mQ08XF8cJl(b) > 86:
        return op_Mf99ccDLYx(op_fj06ns36qH(a,b),a)
    else:
        return op_xRBuNLHaeO(a,op_lFBm8KRb8F(513))

def op_count_KxdBUJswLU(a, b):
    if op_mQ08XF8cJl(b) > 86:
        count = op_count_fj06ns36qH(a,b)+op_count_Mf99ccDLYx(op_fj06ns36qH(a,b),a)+op_count_mQ08XF8cJl(b)
    else:
        count = op_count_lFBm8KRb8F(513)+op_count_xRBuNLHaeO(a,op_lFBm8KRb8F(513))
    return count


↬⇈a = { (((a≡⋹⩃)⊪⇡(292⫈a))⨔⊥⊮((a←⪈137)⊨⫯↵(a⪯a))) }

def op_CR53SMEClr(a):
    return op_UKXeKwF0uS(op_yBHxIlLhSA(op_gLpgCFl5iX(a),op_e1wGt9VEHG(292,a)),op_5UdJKhy29U(op_BRZabeeXbq(a,137),op_I3ZanAtbUM(a,a)))

def op_count_CR53SMEClr(a):
    count = op_count_gLpgCFl5iX(a)+op_count_e1wGt9VEHG(292,a)+op_count_yBHxIlLhSA(op_gLpgCFl5iX(a),op_e1wGt9VEHG(292,a))+op_count_BRZabeeXbq(a,137)+op_count_I3ZanAtbUM(a,a)+op_count_5UdJKhy29U(op_BRZabeeXbq(a,137),op_I3ZanAtbUM(a,a))+op_count_UKXeKwF0uS(op_yBHxIlLhSA(op_gLpgCFl5iX(a),op_e1wGt9VEHG(292,a)),op_5UdJKhy29U(op_BRZabeeXbq(a,137),op_I3ZanAtbUM(a,a)))
    return count


≄≿⪏a = { (((a⋽≿⩈a)⩔(⋜⨿120))≜≙∟((↧⩉⊪46)⨃⇵⋔a)) }

def op_8CfIAKa9KG(a):
    return op_NHmXCxURad(op_EOlQWVzPou(op_A1lUXjvBPn(a,a),op_iJUaW3TlWh(120)),op_Bdiofinswe(op_95w3rD6PBL(46),a))

def op_count_8CfIAKa9KG(a):
    count = op_count_A1lUXjvBPn(a,a)+op_count_iJUaW3TlWh(120)+op_count_EOlQWVzPou(op_A1lUXjvBPn(a,a),op_iJUaW3TlWh(120))+op_count_95w3rD6PBL(46)+op_count_Bdiofinswe(op_95w3rD6PBL(46),a)+op_count_NHmXCxURad(op_EOlQWVzPou(op_A1lUXjvBPn(a,a),op_iJUaW3TlWh(120)),op_Bdiofinswe(op_95w3rD6PBL(46),a))
    return count


def op_hnc6aPGICr(a, b):
    return op_GnsM4LGUJk(op_QnvrtN8efL(b,a),op_slHE12z0pD(a))

def op_count_hnc6aPGICr(a, b):
    count = op_count_QnvrtN8efL(b,a)+op_count_slHE12z0pD(a)+op_count_GnsM4LGUJk(op_QnvrtN8efL(b,a),op_slHE12z0pD(a))
    return count


def op_I3jz0LF3r6(a):
    return op_tNf708WLYo(op_hxAvLvgoB8(a,a),op_l8UfvtpCFJ(a))

def op_count_I3jz0LF3r6(a):
    count = op_count_hxAvLvgoB8(a,a)+op_count_l8UfvtpCFJ(a)+op_count_tNf708WLYo(op_hxAvLvgoB8(a,a),op_l8UfvtpCFJ(a))
    return count


def op_h6xJg9npwH(a):
    return op_sbYsij7Tm7(op_tXD093vOjl(op_uqvL9iKn97(a),op_bMfZrpXtSe(a,a)))

def op_count_h6xJg9npwH(a):
    count = op_count_uqvL9iKn97(a)+op_count_bMfZrpXtSe(a,a)+op_count_tXD093vOjl(op_uqvL9iKn97(a),op_bMfZrpXtSe(a,a))+op_count_sbYsij7Tm7(op_tXD093vOjl(op_uqvL9iKn97(a),op_bMfZrpXtSe(a,a)))
    return count


a⫽⨌b = { (a⨼⩣a) , if (a⋝)==528 or (a⪂)<14 or (b⫮⪑⫫)==350 ; a , else }

def op_ARDLgz5e4H(a, b):
    if op_1wGGHZzAai(a) == 528 or op_uqvL9iKn97(a) < 14 or op_xknSNUqjSS(b) == 350:
        return op_JxwMv5le6e(a,a)
    else:
        return a

def op_count_ARDLgz5e4H(a, b):
    if op_1wGGHZzAai(a) == 528 or op_uqvL9iKn97(a) < 14 or op_xknSNUqjSS(b) == 350:
        count = op_count_JxwMv5le6e(a,a)+op_count_1wGGHZzAai(a)+op_count_uqvL9iKn97(a)+op_count_xknSNUqjSS(b)
    else:
        count = 1
    return count


def op_YdvF2wYqBz(a, b):
    return op_zoMfecqQp8(op_UyATZg4EzG(b,a))

def op_count_YdvF2wYqBz(a, b):
    count = op_count_UyATZg4EzG(b,a)+op_count_zoMfecqQp8(op_UyATZg4EzG(b,a))
    return count


def op_uVNfmwgTTu(a, b):
    return op_783zoCpM6g(op_XO3djLyJMK(op_bvqU1ecX5M(406,a),op_7L96h23J1a(b,b)))

def op_count_uVNfmwgTTu(a, b):
    count = op_count_bvqU1ecX5M(406,a)+op_count_7L96h23J1a(b,b)+op_count_XO3djLyJMK(op_bvqU1ecX5M(406,a),op_7L96h23J1a(b,b))+op_count_783zoCpM6g(op_XO3djLyJMK(op_bvqU1ecX5M(406,a),op_7L96h23J1a(b,b)))
    return count


a∾⇻≍b = { (((⋥↴≬a)⇻⫣⨞b)≂⪹((b≃⫏⫷b)≄⊠(b⊧⫬∧b))) }

def op_QBqwSxUga8(a, b):
    return op_oXQ8EQIAzy(op_saLtbStKV3(op_gZrEJN9j6U(a),b),op_vXNesLlMH1(op_CRQ1bbymjI(b,b),op_J0w9Gs8s4Y(b,b)))

def op_count_QBqwSxUga8(a, b):
    count = op_count_gZrEJN9j6U(a)+op_count_saLtbStKV3(op_gZrEJN9j6U(a),b)+op_count_CRQ1bbymjI(b,b)+op_count_J0w9Gs8s4Y(b,b)+op_count_vXNesLlMH1(op_CRQ1bbymjI(b,b),op_J0w9Gs8s4Y(b,b))+op_count_oXQ8EQIAzy(op_saLtbStKV3(op_gZrEJN9j6U(a),b),op_vXNesLlMH1(op_CRQ1bbymjI(b,b),op_J0w9Gs8s4Y(b,b)))
    return count


def op_KddyXIjG63(a, b):
    return op_vQUWrCPLqI(op_cfzbWQPbWn(b,b),op_Asc51vEJeQ(a))

def op_count_KddyXIjG63(a, b):
    count = op_count_cfzbWQPbWn(b,b)+op_count_Asc51vEJeQ(a)+op_count_vQUWrCPLqI(op_cfzbWQPbWn(b,b),op_Asc51vEJeQ(a))
    return count


a⨁⪏b = { (⊂(a⫡a)) , if (b∐↷≔)>393 ; ((a≿⪆)∲⋩(⋷⩠∮b)) , else }

def op_cq6SRdGhUK(a, b):
    if op_QUPGxB8iS7(b) > 393:
        return op_PDrNSJDGFK(op_r42jg1nETI(a,a))
    else:
        return op_cSS1dVYpOh(op_yyWjrqbZev(a),op_Xt9FLAqpNL(b))

def op_count_cq6SRdGhUK(a, b):
    if op_QUPGxB8iS7(b) > 393:
        count = op_count_r42jg1nETI(a,a)+op_count_PDrNSJDGFK(op_r42jg1nETI(a,a))+op_count_QUPGxB8iS7(b)
    else:
        count = op_count_yyWjrqbZev(a)+op_count_Xt9FLAqpNL(b)+op_count_cSS1dVYpOh(op_yyWjrqbZev(a),op_Xt9FLAqpNL(b))
    return count


def op_BZeaQIihHu(a):
    return op_V0kx6qeWkN(op_A7bR116Ggg(a,a),op_O5ZupU8PtU(a,a))

def op_count_BZeaQIihHu(a):
    count = op_count_A7bR116Ggg(a,a)+op_count_O5ZupU8PtU(a,a)+op_count_V0kx6qeWkN(op_A7bR116Ggg(a,a),op_O5ZupU8PtU(a,a))
    return count


a⨷⩓b = { (((b∾∦⨹b)⇰⪁(a⋴≧⨩b))⨖⊈(a⫱⨶(⇜a))) , if (b⋆%)>789 and (≼≽⫧a)==125 and (∀⩰a)==9 ; b , else }

def op_dLrZ00JvCb(a, b):
    if op_aUEgCsZcqv(b) > 789 and op_OyMmzkefeY(a) == 125 and op_h37vUuUG8p(a) == 9:
        return op_nQeiMw3aKm(op_IiHovbkX1w(op_lRou3FLhkg(b,b),op_MtrOKNcKln(a,b)),op_XrsBijI8L6(a,op_lFBm8KRb8F(a)))
    else:
        return b

def op_count_dLrZ00JvCb(a, b):
    if op_aUEgCsZcqv(b) > 789 and op_OyMmzkefeY(a) == 125 and op_h37vUuUG8p(a) == 9:
        count = op_count_lRou3FLhkg(b,b)+op_count_MtrOKNcKln(a,b)+op_count_IiHovbkX1w(op_lRou3FLhkg(b,b),op_MtrOKNcKln(a,b))+op_count_lFBm8KRb8F(a)+op_count_XrsBijI8L6(a,op_lFBm8KRb8F(a))+op_count_nQeiMw3aKm(op_IiHovbkX1w(op_lRou3FLhkg(b,b),op_MtrOKNcKln(a,b)),op_XrsBijI8L6(a,op_lFBm8KRb8F(a)))+op_count_aUEgCsZcqv(b)+op_count_OyMmzkefeY(a)+op_count_h37vUuUG8p(a)
    else:
        count = 1
    return count


a⨴≩∈b = { (((a∵⇹⫟233)⫨⩲(⪬⇹⨻a))⊍⋬((494→⩾⨳b)⩒⫫(a⋣⋖b))) }

def op_69eaN89350(a, b):
    return op_uC1OCuP0T4(op_R2HynRqwTS(op_9vOtoqJqyB(a,233),op_Rco790wzow(a)),op_KFSx94NKJn(op_L0RDdgp79x(494,b),op_J0M6qkBnIM(a,b)))

def op_count_69eaN89350(a, b):
    count = op_count_9vOtoqJqyB(a,233)+op_count_Rco790wzow(a)+op_count_R2HynRqwTS(op_9vOtoqJqyB(a,233),op_Rco790wzow(a))+op_count_L0RDdgp79x(494,b)+op_count_J0M6qkBnIM(a,b)+op_count_KFSx94NKJn(op_L0RDdgp79x(494,b),op_J0M6qkBnIM(a,b))+op_count_uC1OCuP0T4(op_R2HynRqwTS(op_9vOtoqJqyB(a,233),op_Rco790wzow(a)),op_KFSx94NKJn(op_L0RDdgp79x(494,b),op_J0M6qkBnIM(a,b)))
    return count


def op_GKzrTPLY65(a):
    return op_jJY68xoYNq(a,7)

def op_count_GKzrTPLY65(a):
    count = op_count_jJY68xoYNq(a,7)
    return count


∈∨⪓a = { 504 , if (a↽⊷⩽)<=662 ; (((a⩏≛↟a)⨝√(a⨘⋦⪅366))⫦≼⩴) , else }

def op_nWYVfOTxp2(a):
    if op_ib7zY5ZCmQ(a) <= 662:
        return 504
    else:
        return op_sgEubufFhX(op_9m2uP4QEko(op_Tk0QX8wo8A(a,a),op_jJY68xoYNq(a,366)))

def op_count_nWYVfOTxp2(a):
    if op_ib7zY5ZCmQ(a) <= 662:
        count = op_count_ib7zY5ZCmQ(a)
    else:
        count = op_count_Tk0QX8wo8A(a,a)+op_count_jJY68xoYNq(a,366)+op_count_9m2uP4QEko(op_Tk0QX8wo8A(a,a),op_jJY68xoYNq(a,366))+op_count_sgEubufFhX(op_9m2uP4QEko(op_Tk0QX8wo8A(a,a),op_jJY68xoYNq(a,366)))
    return count


def op_gkkEeTfzWU(a, b):
    return op_oNoCrsWj2C(op_r9oBSF0R1z(b,a))

def op_count_gkkEeTfzWU(a, b):
    count = op_count_r9oBSF0R1z(b,a)+op_count_oNoCrsWj2C(op_r9oBSF0R1z(b,a))
    return count


a⪃⫳⩢ = { (a⋐⊨) , if a<=12 or (⪨↰a)==282 or (a∛⇬)==33 ; (⊬⨌a) , else }

def op_9QkLXJ8ctG(a):
    if a <= 12 or op_blQ9vzDKd0(a) == 282 or op_tFaxd5lqwP(a) == 33:
        return op_fqTpERtnV2(a)
    else:
        return op_q5ANYLE8fX(a)

def op_count_9QkLXJ8ctG(a):
    if a <= 12 or op_blQ9vzDKd0(a) == 282 or op_tFaxd5lqwP(a) == 33:
        count = op_count_fqTpERtnV2(a)+op_count_blQ9vzDKd0(a)+op_count_tFaxd5lqwP(a)
    else:
        count = op_count_q5ANYLE8fX(a)
    return count


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

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


a⨗⇟∺b = { ((↣≠⋷(608⫳≱↱a))∎≩⇇((389←∉⩵b)⇑⩢(a⪵↱⫥b))) }

def op_b7tKYjfAZV(a, b):
    return op_Xq0lTT7sOi(op_Asc51vEJeQ(op_ZvLB05nZmT(608,a)),op_gqZfcu8Q4L(op_NOHxjtdlri(389,b),op_kYTzVM0dNf(a,b)))

def op_count_b7tKYjfAZV(a, b):
    count = op_count_ZvLB05nZmT(608,a)+op_count_Asc51vEJeQ(op_ZvLB05nZmT(608,a))+op_count_NOHxjtdlri(389,b)+op_count_kYTzVM0dNf(a,b)+op_count_gqZfcu8Q4L(op_NOHxjtdlri(389,b),op_kYTzVM0dNf(a,b))+op_count_Xq0lTT7sOi(op_Asc51vEJeQ(op_ZvLB05nZmT(608,a)),op_gqZfcu8Q4L(op_NOHxjtdlri(389,b),op_kYTzVM0dNf(a,b)))
    return count


def op_n4p4v5x0sm(a, b):
    if (a > 292 and op_pTm79z5fiV(a) < 15 and a > 63):
        return op_mBd9rm8NRO(op_oGcWmnzv9W(a))
    else:
        return op_4J8E7DyAzc(op_PmZQOlcY5C(op_yIPP7u6H5x(27),op_JKhKCqropJ(531,b)),op_sHVQJCC778(op_6LuFrogppQ(b)))

def op_count_n4p4v5x0sm(a, b):
    if (a > 292 and op_pTm79z5fiV(a) < 15 and a > 63):
        count = op_count_oGcWmnzv9W(a)+op_count_mBd9rm8NRO(op_oGcWmnzv9W(a))+op_count_pTm79z5fiV(a)
    else:
        count = op_count_yIPP7u6H5x(27)+op_count_JKhKCqropJ(531,b)+op_count_PmZQOlcY5C(op_yIPP7u6H5x(27),op_JKhKCqropJ(531,b))+op_count_6LuFrogppQ(b)+op_count_sHVQJCC778(op_6LuFrogppQ(b))+op_count_4J8E7DyAzc(op_PmZQOlcY5C(op_yIPP7u6H5x(27),op_JKhKCqropJ(531,b)),op_sHVQJCC778(op_6LuFrogppQ(b)))
    return count


a⪍⪵⪊ = { (⫛⫱⨽a) , if (≃⊬a)<=398 ; (a⨕⪛a) , else }

def op_jM4Yq2iVOf(a):
    if op_f881mwBPz8(a) <= 398:
        return op_DlLNRPXxWL(a)
    else:
        return op_tXrZvwVvz6(a,a)

def op_count_jM4Yq2iVOf(a):
    if op_f881mwBPz8(a) <= 398:
        count = op_count_DlLNRPXxWL(a)+op_count_f881mwBPz8(a)
    else:
        count = op_count_tXrZvwVvz6(a,a)
    return count


def op_dqp1kvRSzp(a, b):
    return op_TWtAD7Vnyk(op_QunAGeO7fw(b,op_NIS2NZpoyR(a,b)))

def op_count_dqp1kvRSzp(a, b):
    count = op_count_NIS2NZpoyR(a,b)+op_count_QunAGeO7fw(b,op_NIS2NZpoyR(a,b))+op_count_TWtAD7Vnyk(op_QunAGeO7fw(b,op_NIS2NZpoyR(a,b)))
    return count


def op_h1INGJAfWc(a):
    return op_wp7aVJRZEA(op_UvGf2i8V7N(op_rGHVDoGpnC(13,a)))

def op_count_h1INGJAfWc(a):
    count = op_count_rGHVDoGpnC(13,a)+op_count_UvGf2i8V7N(op_rGHVDoGpnC(13,a))+op_count_wp7aVJRZEA(op_UvGf2i8V7N(op_rGHVDoGpnC(13,a)))
    return count


⫆⨱∊a = { ((a⨞≤(a⪀↓a))⋦≤) , if (a⨕⪎∫37)<426 ; a , else }

def op_CHF0haSjzl(a):
    if op_6RfnUF5SwA(a,37) < 426:
        return op_1RKnjyXON0(op_KKbLlDMr5j(a,op_Ss6GwJf70J(a,a)))
    else:
        return a

def op_count_CHF0haSjzl(a):
    if op_6RfnUF5SwA(a,37) < 426:
        count = op_count_Ss6GwJf70J(a,a)+op_count_KKbLlDMr5j(a,op_Ss6GwJf70J(a,a))+op_count_1RKnjyXON0(op_KKbLlDMr5j(a,op_Ss6GwJf70J(a,a)))+op_count_6RfnUF5SwA(a,37)
    else:
        count = 1
    return count


def op_yFIcaRZY15(a):
    if (a != 2 and op_c4LGkIkziT(a,110) > 531):
        return op_M5PcsFUMKN(op_vjO1tVBgS7(op_NdELin8EPX(a,a),op_J3kS3MdmEX(a,a)),op_swlCOMtQUm(op_403lqio1gV(a,350),op_vONqII4LTO(a)))
    else:
        return op_eewbuw0ToL(op_KRirUCLfIK(op_9XgyO8cQe5(345,a),op_PyLssB6NmA(15,a)),a)

def op_count_yFIcaRZY15(a):
    if (a != 2 and op_c4LGkIkziT(a,110) > 531):
        count = op_count_NdELin8EPX(a,a)+op_count_J3kS3MdmEX(a,a)+op_count_vjO1tVBgS7(op_NdELin8EPX(a,a),op_J3kS3MdmEX(a,a))+op_count_403lqio1gV(a,350)+op_count_vONqII4LTO(a)+op_count_swlCOMtQUm(op_403lqio1gV(a,350),op_vONqII4LTO(a))+op_count_M5PcsFUMKN(op_vjO1tVBgS7(op_NdELin8EPX(a,a),op_J3kS3MdmEX(a,a)),op_swlCOMtQUm(op_403lqio1gV(a,350),op_vONqII4LTO(a)))+op_count_c4LGkIkziT(a,110)
    else:
        count = op_count_9XgyO8cQe5(345,a)+op_count_PyLssB6NmA(15,a)+op_count_KRirUCLfIK(op_9XgyO8cQe5(345,a),op_PyLssB6NmA(15,a))+op_count_eewbuw0ToL(op_KRirUCLfIK(op_9XgyO8cQe5(345,a),op_PyLssB6NmA(15,a)),a)
    return count


⋃↗a = { (∼≁((95⫔⩔⨨a)≇⇺⫰(a∲a))) , if (a≇⩶762)<83 ; ((⇽⪆(⩟⋲∼a))↴⋟((a≵⩾⇗a)⪆⊎⇋(⊕a))) , else }

def op_Ia0jhaLqHg(a):
    if op_ROVlpfRyNv(a,762) < 83:
        return op_ZjIGILgOf5(op_o910uiVYjO(op_pzIYUzZX5D(95,a),op_K8Gs4pJAFP(a,a)))
    else:
        return op_yo23qO3U4o(op_wutRFhsGG8(op_FYDBne3c8m(a)),op_oCumtb3mAM(op_GyJNigkHRe(a,a),op_C2eOkFrmjf(a)))

def op_count_Ia0jhaLqHg(a):
    if op_ROVlpfRyNv(a,762) < 83:
        count = op_count_pzIYUzZX5D(95,a)+op_count_K8Gs4pJAFP(a,a)+op_count_o910uiVYjO(op_pzIYUzZX5D(95,a),op_K8Gs4pJAFP(a,a))+op_count_ZjIGILgOf5(op_o910uiVYjO(op_pzIYUzZX5D(95,a),op_K8Gs4pJAFP(a,a)))+op_count_ROVlpfRyNv(a,762)
    else:
        count = op_count_FYDBne3c8m(a)+op_count_wutRFhsGG8(op_FYDBne3c8m(a))+op_count_GyJNigkHRe(a,a)+op_count_C2eOkFrmjf(a)+op_count_oCumtb3mAM(op_GyJNigkHRe(a,a),op_C2eOkFrmjf(a))+op_count_yo23qO3U4o(op_wutRFhsGG8(op_FYDBne3c8m(a)),op_oCumtb3mAM(op_GyJNigkHRe(a,a),op_C2eOkFrmjf(a)))
    return count


a↩⊃b = { (((∁↜⩹a)≞∰⩧(⇅≀70))⇖⋍((a⇊⋎⊡272)⩎∞(b≤b))) }

def op_1AjReamIzS(a, b):
    return op_GQS1ilwEGl(op_j7UVJQGE8k(op_ffr2ZXDv3X(a),op_3FVW14tz3K(70)),op_Gh2MLvlQyY(op_svRCeDQHR0(a,272),op_HgknbBBPDn(b,b)))

def op_count_1AjReamIzS(a, b):
    count = op_count_ffr2ZXDv3X(a)+op_count_3FVW14tz3K(70)+op_count_j7UVJQGE8k(op_ffr2ZXDv3X(a),op_3FVW14tz3K(70))+op_count_svRCeDQHR0(a,272)+op_count_HgknbBBPDn(b,b)+op_count_Gh2MLvlQyY(op_svRCeDQHR0(a,272),op_HgknbBBPDn(b,b))+op_count_GQS1ilwEGl(op_j7UVJQGE8k(op_ffr2ZXDv3X(a),op_3FVW14tz3K(70)),op_Gh2MLvlQyY(op_svRCeDQHR0(a,272),op_HgknbBBPDn(b,b)))
    return count