def op_rXSb8jWWu5(a, b):
    if (a <= 135 and op_7FnCP1ejHT(a) >= 38):
        return op_8FLs4eVsLt(op_WvLrLe1sfH(b,a))
    else:
        return op_uPjn7n5pli(op_gNtKED3RKN(b),op_KRkRyTki02(75))

def op_count_rXSb8jWWu5(a, b):
    if (a <= 135 and op_7FnCP1ejHT(a) >= 38):
        count = op_count_WvLrLe1sfH(b,a)+op_count_8FLs4eVsLt(op_WvLrLe1sfH(b,a))+op_count_7FnCP1ejHT(a)
    else:
        count = op_count_gNtKED3RKN(b)+op_count_KRkRyTki02(75)+op_count_uPjn7n5pli(op_gNtKED3RKN(b),op_KRkRyTki02(75))
    return count


a≼⩟⨾b = { (⪵⩥∼a) , if (b⋗⩹⩓573)<=318 ; (a⋧a) , else }

def op_VwosiIjgpM(a, b):
    if op_EKLw81v4Z3(b,573) <= 318:
        return op_C8AGOwLzL7(a)
    else:
        return op_FaF1PUcip1(a,a)

def op_count_VwosiIjgpM(a, b):
    if op_EKLw81v4Z3(b,573) <= 318:
        count = op_count_C8AGOwLzL7(a)+op_count_EKLw81v4Z3(b,573)
    else:
        count = op_count_FaF1PUcip1(a,a)
    return count


a⋑⫡≨b = { ((a↧a)⩝⨤⨡2) , if (a⨣⋨805)<234 and (b⩂⇜⋀)!=189 ; ((a⊑⪙≊)↖(a⩖⊿b)) , else }

def op_B6NOxX3vVD(a, b):
    if op_BsQQe46RQf(a,805) < 234 and op_o75NORkZ6O(b) != 189:
        return op_Qqj2GTyBuk(op_5LE63mxGOF(a,a),2)
    else:
        return op_ojE0ZAmiGE(op_4AlKqWpGRT(a),op_RZ5CV9rWsJ(a,b))

def op_count_B6NOxX3vVD(a, b):
    if op_BsQQe46RQf(a,805) < 234 and op_o75NORkZ6O(b) != 189:
        count = op_count_5LE63mxGOF(a,a)+op_count_Qqj2GTyBuk(op_5LE63mxGOF(a,a),2)+op_count_BsQQe46RQf(a,805)+op_count_o75NORkZ6O(b)
    else:
        count = op_count_4AlKqWpGRT(a)+op_count_RZ5CV9rWsJ(a,b)+op_count_ojE0ZAmiGE(op_4AlKqWpGRT(a),op_RZ5CV9rWsJ(a,b))
    return count


a⨋⩬b = { b , if ((b∲⪣⇮)>6 and (⩳⪓⋆b)>=660) ; ((b⪎⪖a)∟) , else }

def op_78bqUfsprq(a, b):
    if (op_JvRhpr1fD5(b) > 6 and op_hPFeJH6INu(b) >= 660):
        return b
    else:
        return op_hTbEZDJLEm(op_CLzOjURgVu(b,a))

def op_count_78bqUfsprq(a, b):
    if (op_JvRhpr1fD5(b) > 6 and op_hPFeJH6INu(b) >= 660):
        count = 1
    else:
        count = op_count_CLzOjURgVu(b,a)+op_count_hTbEZDJLEm(op_CLzOjURgVu(b,a))
    return count


a⫃↼b = { (((a⊖⨇)⊟⇵⫊(47⩫≗⊖b))↳⨴⫋((a↣⪱b)⩏⇖(⨵≀≌a))) , if (a⩿≚816)>=436 and (b⋪⨐⊍)!=310 ; a , else }

def op_o6mhrXo99Y(a, b):
    if op_1iZxVsDXN9(a,816) >= 436 and op_B5APOzViFn(b) != 310:
        return op_bars6Y1s1I(op_ov2Ek6r32i(op_fHJIi2E7aO(a),op_6GzKXIXcaD(47,b)),op_WzExxB0XCT(op_qhklwjTpUT(a,b),op_srAu1WTS94(a)))
    else:
        return a

def op_count_o6mhrXo99Y(a, b):
    if op_1iZxVsDXN9(a,816) >= 436 and op_B5APOzViFn(b) != 310:
        count = op_count_fHJIi2E7aO(a)+op_count_6GzKXIXcaD(47,b)+op_count_ov2Ek6r32i(op_fHJIi2E7aO(a),op_6GzKXIXcaD(47,b))+op_count_qhklwjTpUT(a,b)+op_count_srAu1WTS94(a)+op_count_WzExxB0XCT(op_qhklwjTpUT(a,b),op_srAu1WTS94(a))+op_count_bars6Y1s1I(op_ov2Ek6r32i(op_fHJIi2E7aO(a),op_6GzKXIXcaD(47,b)),op_WzExxB0XCT(op_qhklwjTpUT(a,b),op_srAu1WTS94(a)))+op_count_1iZxVsDXN9(a,816)+op_count_B5APOzViFn(b)
    else:
        count = 1
    return count


a↯⊐b = { ((∈⇍⋶(212⋑↺⫍a))⊾(⪕≙(b⩘⨹⊿a))) , if b==91 ; ((∖⇽≓(a⨍↙⩡64))⋺⫬a) , else }

def op_AHC0DUa4yD(a, b):
    if b == 91:
        return op_pCNCNETmIQ(op_KWONaI82OJ(op_bgTCUQNVoy(212,a)),op_eWHr1gHY9C(op_3ldUWfsXlD(b,a)))
    else:
        return op_N2CwLZHY2H(op_UcNtpYHH3F(op_BAYcl7KEcJ(a,64)),a)

def op_count_AHC0DUa4yD(a, b):
    if b == 91:
        count = op_count_bgTCUQNVoy(212,a)+op_count_KWONaI82OJ(op_bgTCUQNVoy(212,a))+op_count_3ldUWfsXlD(b,a)+op_count_eWHr1gHY9C(op_3ldUWfsXlD(b,a))+op_count_pCNCNETmIQ(op_KWONaI82OJ(op_bgTCUQNVoy(212,a)),op_eWHr1gHY9C(op_3ldUWfsXlD(b,a)))
    else:
        count = op_count_BAYcl7KEcJ(a,64)+op_count_UcNtpYHH3F(op_BAYcl7KEcJ(a,64))+op_count_N2CwLZHY2H(op_UcNtpYHH3F(op_BAYcl7KEcJ(a,64)),a)
    return count


def op_vBWREp8Jik(a, b):
    if (op_F4YWqIofbM(b,89) != 7 or op_r52rsuXYVw(b,917) >= 424):
        return op_hyuBjUqXlG(b,b)
    else:
        return op_vgQrgVQVNk(a,388)

def op_count_vBWREp8Jik(a, b):
    if (op_F4YWqIofbM(b,89) != 7 or op_r52rsuXYVw(b,917) >= 424):
        count = op_count_hyuBjUqXlG(b,b)+op_count_F4YWqIofbM(b,89)+op_count_r52rsuXYVw(b,917)
    else:
        count = op_count_vgQrgVQVNk(a,388)
    return count


a≝∀ = { (a≄⋉a) , if (a⊰∋≹)==2 and (⋥↴≬a)==128 ; (a⊘) , else }

def op_2xNUJOTV1W(a):
    if op_WXdbpCQ0q7(a) == 2 and op_gZrEJN9j6U(a) == 128:
        return op_lmJLg3MMpL(a,a)
    else:
        return op_gu96TGCTMs(a)

def op_count_2xNUJOTV1W(a):
    if op_WXdbpCQ0q7(a) == 2 and op_gZrEJN9j6U(a) == 128:
        count = op_count_lmJLg3MMpL(a,a)+op_count_WXdbpCQ0q7(a)+op_count_gZrEJN9j6U(a)
    else:
        count = op_count_gu96TGCTMs(a)
    return count


def op_ppDMHnbqdJ(a):
    if op_Efya3fWOHL(a) < 150 and op_8VOMfS9Ted(a) >= 103:
        return op_4X4GscPmMf(a)
    else:
        return op_PULhhNGBKj(a,145)

def op_count_ppDMHnbqdJ(a):
    if op_Efya3fWOHL(a) < 150 and op_8VOMfS9Ted(a) >= 103:
        count = op_count_4X4GscPmMf(a)+op_count_Efya3fWOHL(a)+op_count_8VOMfS9Ted(a)
    else:
        count = op_count_PULhhNGBKj(a,145)
    return count


a⪉⋜⨢b = { (b⨽b) , if ((b⩱⪭⇶)!=441 or a>=4) ; (a⋘≐⇭b) , else }

def op_0YlV2lZqOw(a, b):
    if (op_4PRWQFqlah(b) != 441 or a >= 4):
        return op_8HhzD0ZcuI(b,b)
    else:
        return op_Am2kwplcWj(a,b)

def op_count_0YlV2lZqOw(a, b):
    if (op_4PRWQFqlah(b) != 441 or a >= 4):
        count = op_count_8HhzD0ZcuI(b,b)+op_count_4PRWQFqlah(b)
    else:
        count = op_count_Am2kwplcWj(a,b)
    return count


def op_gpjLwCVqUY(a, b):
    if op_mnxeNVfHTl(b) != 29 or op_LFP2zRhVLi(a,942) <= 269 or op_dCycFYvitt(a) >= 35:
        return op_AZPIx1Ag6c(op_1nNvNtr5EF(64,a))
    else:
        return op_zLfG7Ay1vB(a,op_8CI59HBmeC(b,b))

def op_count_gpjLwCVqUY(a, b):
    if op_mnxeNVfHTl(b) != 29 or op_LFP2zRhVLi(a,942) <= 269 or op_dCycFYvitt(a) >= 35:
        count = op_count_1nNvNtr5EF(64,a)+op_count_AZPIx1Ag6c(op_1nNvNtr5EF(64,a))+op_count_mnxeNVfHTl(b)+op_count_LFP2zRhVLi(a,942)+op_count_dCycFYvitt(a)
    else:
        count = op_count_8CI59HBmeC(b,b)+op_count_zLfG7Ay1vB(a,op_8CI59HBmeC(b,b))
    return count


def op_6HoF6Vdl3U(a):
    if op_uqRLbkwYuT(a) >= 256:
        return op_leNEk7drxJ(op_3EhVUz7Ug9(a))
    else:
        return op_Dk6V8i6EvU(112,op_1NCu7utSrV(310,15))

def op_count_6HoF6Vdl3U(a):
    if op_uqRLbkwYuT(a) >= 256:
        count = op_count_3EhVUz7Ug9(a)+op_count_leNEk7drxJ(op_3EhVUz7Ug9(a))+op_count_uqRLbkwYuT(a)
    else:
        count = op_count_1NCu7utSrV(310,15)+op_count_Dk6V8i6EvU(112,op_1NCu7utSrV(310,15))
    return count


a⊼⩽b = { (((b≡380)⪺≿(b↟⫝̸a))∨⨤∫((b⨅b)⇸∖⋇)) , if b>330 ; ((b↙⨫⫶(a⊻↮∮a))∯⩀(⨆≐≲(b∁⊗⊀))) , else }

def op_OfPioMvVOm(a, b):
    if b > 330:
        return op_Q6CfCNJhPO(op_dj54johvPQ(op_oW1cUEY5Sq(b,380),op_t3zCv2dJ9y(b,a)),op_3HGl1MDrAU(op_MscnI5MLJ2(b,b)))
    else:
        return op_mB7zfwCp1n(op_LwmwRo8pon(b,op_myvUJCpSMz(a,a)),op_Bi9z9uYZqW(op_PTnGWba0sW(b)))

def op_count_OfPioMvVOm(a, b):
    if b > 330:
        count = op_count_oW1cUEY5Sq(b,380)+op_count_t3zCv2dJ9y(b,a)+op_count_dj54johvPQ(op_oW1cUEY5Sq(b,380),op_t3zCv2dJ9y(b,a))+op_count_MscnI5MLJ2(b,b)+op_count_3HGl1MDrAU(op_MscnI5MLJ2(b,b))+op_count_Q6CfCNJhPO(op_dj54johvPQ(op_oW1cUEY5Sq(b,380),op_t3zCv2dJ9y(b,a)),op_3HGl1MDrAU(op_MscnI5MLJ2(b,b)))
    else:
        count = op_count_myvUJCpSMz(a,a)+op_count_LwmwRo8pon(b,op_myvUJCpSMz(a,a))+op_count_PTnGWba0sW(b)+op_count_Bi9z9uYZqW(op_PTnGWba0sW(b))+op_count_mB7zfwCp1n(op_LwmwRo8pon(b,op_myvUJCpSMz(a,a)),op_Bi9z9uYZqW(op_PTnGWba0sW(b)))
    return count


a≅≡ = { ((⇖⇹⊙a)⫁≮∙(a⨨a)) , if (a⨺948)==295 ; ((a⋚∑⪥a)⫭⨾(∆a)) , else }

def op_5tv359BOey(a):
    if op_78QBpbqeKK(a,948) == 295:
        return op_hKcBw1Lue0(op_k7lm2Ur0iI(a),op_vhtqQa4va1(a,a))
    else:
        return op_9C14WDc2HD(op_BnmjcH64ep(a,a),op_WxCQVOxfvH(a))

def op_count_5tv359BOey(a):
    if op_78QBpbqeKK(a,948) == 295:
        count = op_count_k7lm2Ur0iI(a)+op_count_vhtqQa4va1(a,a)+op_count_hKcBw1Lue0(op_k7lm2Ur0iI(a),op_vhtqQa4va1(a,a))+op_count_78QBpbqeKK(a,948)
    else:
        count = op_count_BnmjcH64ep(a,a)+op_count_WxCQVOxfvH(a)+op_count_9C14WDc2HD(op_BnmjcH64ep(a,a),op_WxCQVOxfvH(a))
    return count


a⊄∠≜b = { (⩦⨙⩙b) , if (a⋬⨭⫇)<=6 ; (a⨭⪣a) , else }

def op_z1V7RAAwQB(a, b):
    if op_AdLoyGUaoD(a) <= 6:
        return op_glFeB2EvNP(b)
    else:
        return op_kn8WO9XteQ(a,a)

def op_count_z1V7RAAwQB(a, b):
    if op_AdLoyGUaoD(a) <= 6:
        count = op_count_glFeB2EvNP(b)+op_count_AdLoyGUaoD(a)
    else:
        count = op_count_kn8WO9XteQ(a,a)
    return count


def op_vMsY8vuDsl(a):
    if (a < 675 and op_ZLUFTvfu0f(a) >= 280):
        return op_m5lJmxjxvL(op_1B4ngayaHK(a,a))
    else:
        return op_6Ac6Foig3G(op_e3Vku0ulLb(306,a))

def op_count_vMsY8vuDsl(a):
    if (a < 675 and op_ZLUFTvfu0f(a) >= 280):
        count = op_count_1B4ngayaHK(a,a)+op_count_m5lJmxjxvL(op_1B4ngayaHK(a,a))+op_count_ZLUFTvfu0f(a)
    else:
        count = op_count_e3Vku0ulLb(306,a)+op_count_6Ac6Foig3G(op_e3Vku0ulLb(306,a))
    return count


a⇃⋌↨b = { a , if (b≤⋮797)!=74 ; ((a⋻⪍⫐)⫉⨲⊜499) , else }

def op_IZ4n4pDw05(a, b):
    if op_gaaDP0UKzK(b,797) != 74:
        return a
    else:
        return op_WhqkvtTD3t(op_YvRQj5obxP(a),499)

def op_count_IZ4n4pDw05(a, b):
    if op_gaaDP0UKzK(b,797) != 74:
        count = 1
    else:
        count = op_count_YvRQj5obxP(a)+op_count_WhqkvtTD3t(op_YvRQj5obxP(a),499)
    return count


def op_IMmT9e60ZQ(a, b):
    if (a < 269 or op_LlA1dz4vja(a,885) >= 5):
        return op_Lctt7tVaRL(208,op_lmJLg3MMpL(a,a))
    else:
        return op_6kFJ6zSZFv(op_hTbEZDJLEm(b),op_xcoQzu4oYl(a,b))

def op_count_IMmT9e60ZQ(a, b):
    if (a < 269 or op_LlA1dz4vja(a,885) >= 5):
        count = op_count_lmJLg3MMpL(a,a)+op_count_Lctt7tVaRL(208,op_lmJLg3MMpL(a,a))+op_count_LlA1dz4vja(a,885)
    else:
        count = op_count_hTbEZDJLEm(b)+op_count_xcoQzu4oYl(a,b)+op_count_6kFJ6zSZFv(op_hTbEZDJLEm(b),op_xcoQzu4oYl(a,b))
    return count


def op_2D0NL1cXyo(a):
    if (op_fiy6xQ4H5B(a) < 122 and a > 603):
        return op_J8XgpbiY9M(a,a)
    else:
        return op_CgIo77xlM2(a)

def op_count_2D0NL1cXyo(a):
    if (op_fiy6xQ4H5B(a) < 122 and a > 603):
        count = op_count_J8XgpbiY9M(a,a)+op_count_fiy6xQ4H5B(a)
    else:
        count = op_count_CgIo77xlM2(a)
    return count


a⨌⪝ = { (a⫀) , if ((a⪚⪃)<=131 or a<=339) ; (((a⊫∤a)∽⪡)⋟⨸⨢((a⪘⇩⊈)⊁⊹⇚(a⇧∕⇚a))) , else }

def op_hgjqnGtYxC(a):
    if (op_ajXNDuf2dy(a) <= 131 or a <= 339):
        return op_hFnZRMLNSM(a)
    else:
        return op_fhjnU2VWuG(op_GyZKrXyLmB(op_PAFjRznPDq(a,a)),op_dfh7ENhFrR(op_RORK8BE6m0(a),op_ZVuupJtoea(a,a)))

def op_count_hgjqnGtYxC(a):
    if (op_ajXNDuf2dy(a) <= 131 or a <= 339):
        count = op_count_hFnZRMLNSM(a)+op_count_ajXNDuf2dy(a)
    else:
        count = op_count_PAFjRznPDq(a,a)+op_count_GyZKrXyLmB(op_PAFjRznPDq(a,a))+op_count_RORK8BE6m0(a)+op_count_ZVuupJtoea(a,a)+op_count_dfh7ENhFrR(op_RORK8BE6m0(a),op_ZVuupJtoea(a,a))+op_count_fhjnU2VWuG(op_GyZKrXyLmB(op_PAFjRznPDq(a,a)),op_dfh7ENhFrR(op_RORK8BE6m0(a),op_ZVuupJtoea(a,a)))
    return count


a⇔⇤b = { b , if (⪷⩇a)!=33 ; ((b⊮⊟↴b)⇎⋱a) , else }

def op_il4vvrGStZ(a, b):
    if op_aSdQdaBIZD(a) != 33:
        return b
    else:
        return op_bIDw1T0Uny(op_QDVgd2eftb(b,b),a)

def op_count_il4vvrGStZ(a, b):
    if op_aSdQdaBIZD(a) != 33:
        count = 1
    else:
        count = op_count_QDVgd2eftb(b,b)+op_count_bIDw1T0Uny(op_QDVgd2eftb(b,b),a)
    return count


a⩞⇢b = { (⨃(b⇺⨖a)) , if (⊈⋂⪔b)<11 ; (≔(≌⨡b)) , else }

def op_tAx3JLWuqz(a, b):
    if op_tlyMzCI9Xq(b) < 11:
        return op_HmfEavv2wQ(op_pm9cx6Eqcm(b,a))
    else:
        return op_8FLs4eVsLt(op_t8v8wpZpfx(b))

def op_count_tAx3JLWuqz(a, b):
    if op_tlyMzCI9Xq(b) < 11:
        count = op_count_pm9cx6Eqcm(b,a)+op_count_HmfEavv2wQ(op_pm9cx6Eqcm(b,a))+op_count_tlyMzCI9Xq(b)
    else:
        count = op_count_t8v8wpZpfx(b)+op_count_8FLs4eVsLt(op_t8v8wpZpfx(b))
    return count


def op_In1XhhOas6(a):
    if (a >= 228 or op_UscWZcTkUL(a,549) <= 3):
        return op_kn8WO9XteQ(a,a)
    else:
        return op_62BMGlFDoP(a)

def op_count_In1XhhOas6(a):
    if (a >= 228 or op_UscWZcTkUL(a,549) <= 3):
        count = op_count_kn8WO9XteQ(a,a)+op_count_UscWZcTkUL(a,549)
    else:
        count = op_count_62BMGlFDoP(a)
    return count


a↚⪇≥b = { ((b-a)⫩⨼(b≴⪞⇿b)) , if (⫇⨷b)>108 ; b , else }

def op_SORa71X8Qm(a, b):
    if op_ct1hK6qyRt(b) > 108:
        return op_WxjQizov8v(op_rysDP5nf3Z(b,a),op_lvlrscuwVU(b,b))
    else:
        return b

def op_count_SORa71X8Qm(a, b):
    if op_ct1hK6qyRt(b) > 108:
        count = op_count_rysDP5nf3Z(b,a)+op_count_lvlrscuwVU(b,b)+op_count_WxjQizov8v(op_rysDP5nf3Z(b,a),op_lvlrscuwVU(b,b))+op_count_ct1hK6qyRt(b)
    else:
        count = 1
    return count


≿⊣⇤a = { ((⪕≙(⋶⩦⇊a))∑((a⪩⊫)⨏(a⊶⫨a))) , if (a⇆16)>212 ; (((a≟⫹114)⩉⪲⨦(a⨔⫢⋨a))∵⊛≕a) , else }

def op_hVUYrvizSX(a):
    if op_S5nS5IR4MP(a,16) > 212:
        return op_JFrVJKYFMX(op_eWHr1gHY9C(op_OF9A0jlboB(a)),op_AJW4C0rBPs(op_0cGMrPTqT1(a),op_3AHgZhA1m2(a,a)))
    else:
        return op_421RnaStf2(op_Is2W053hpV(op_z2JHNkvbdm(a,114),op_KgrVg2WY9S(a,a)),a)

def op_count_hVUYrvizSX(a):
    if op_S5nS5IR4MP(a,16) > 212:
        count = op_count_OF9A0jlboB(a)+op_count_eWHr1gHY9C(op_OF9A0jlboB(a))+op_count_0cGMrPTqT1(a)+op_count_3AHgZhA1m2(a,a)+op_count_AJW4C0rBPs(op_0cGMrPTqT1(a),op_3AHgZhA1m2(a,a))+op_count_JFrVJKYFMX(op_eWHr1gHY9C(op_OF9A0jlboB(a)),op_AJW4C0rBPs(op_0cGMrPTqT1(a),op_3AHgZhA1m2(a,a)))+op_count_S5nS5IR4MP(a,16)
    else:
        count = op_count_z2JHNkvbdm(a,114)+op_count_KgrVg2WY9S(a,a)+op_count_Is2W053hpV(op_z2JHNkvbdm(a,114),op_KgrVg2WY9S(a,a))+op_count_421RnaStf2(op_Is2W053hpV(op_z2JHNkvbdm(a,114),op_KgrVg2WY9S(a,a)),a)
    return count


def op_Irc9Ck2jf5(a):
    if (op_kWS2N16A4V(a) == 341 and op_8Im2A1wcJk(a,623) == 323):
        return op_EfmNmIJYrc(op_QErWpSDGk0(op_7LDZuUjSGl(a,a)))
    else:
        return op_aN9a90urxU(op_3H5Xx7QWkg(op_wicAB68Tmb(a,a),op_V4yb4KDoeF(a,a)))

def op_count_Irc9Ck2jf5(a):
    if (op_kWS2N16A4V(a) == 341 and op_8Im2A1wcJk(a,623) == 323):
        count = op_count_7LDZuUjSGl(a,a)+op_count_QErWpSDGk0(op_7LDZuUjSGl(a,a))+op_count_EfmNmIJYrc(op_QErWpSDGk0(op_7LDZuUjSGl(a,a)))+op_count_kWS2N16A4V(a)+op_count_8Im2A1wcJk(a,623)
    else:
        count = op_count_wicAB68Tmb(a,a)+op_count_V4yb4KDoeF(a,a)+op_count_3H5Xx7QWkg(op_wicAB68Tmb(a,a),op_V4yb4KDoeF(a,a))+op_count_aN9a90urxU(op_3H5Xx7QWkg(op_wicAB68Tmb(a,a),op_V4yb4KDoeF(a,a)))
    return count


def op_5Jyf5jez7r(a, b):
    if (op_30yr7HMjFu(b,402) == 558 and b < 37 and op_WzExxB0XCT(a,491) != 406):
        return op_ua2fiIHkOT(a)
    else:
        return op_mCA1Lu4fO6(299,b)

def op_count_5Jyf5jez7r(a, b):
    if (op_30yr7HMjFu(b,402) == 558 and b < 37 and op_WzExxB0XCT(a,491) != 406):
        count = op_count_ua2fiIHkOT(a)+op_count_30yr7HMjFu(b,402)+op_count_WzExxB0XCT(a,491)
    else:
        count = op_count_mCA1Lu4fO6(299,b)
    return count


a∸≉⇢b = { (((⇊⋕↭a)⇄⊇⨂(a⋕a))⨄⩾↼((⩎⋉a)≴⪞⇿(b∌⋔b))) , if b>58 ; ((⊙⋩(a⊢⨅≐182))⊤≄((b⫫∾b)⋗⨓(b⋴a))) , else }

def op_CYKpEp7EJh(a, b):
    if b > 58:
        return op_6Bcfo3j9gb(op_diFBhjFx7A(op_9ICB09zv9L(a),op_ODihFFDUGL(a,a)),op_lvlrscuwVU(op_FlXk3pOYe8(a),op_7TGVge7HG5(b,b)))
    else:
        return op_El3zeUDNld(op_wWIXvozSzm(op_ieEneBRTef(a,182)),op_imqY0THBaP(op_b3qeQyvZfP(b,b),op_zqpnzlcbs4(b,a)))

def op_count_CYKpEp7EJh(a, b):
    if b > 58:
        count = op_count_9ICB09zv9L(a)+op_count_ODihFFDUGL(a,a)+op_count_diFBhjFx7A(op_9ICB09zv9L(a),op_ODihFFDUGL(a,a))+op_count_FlXk3pOYe8(a)+op_count_7TGVge7HG5(b,b)+op_count_lvlrscuwVU(op_FlXk3pOYe8(a),op_7TGVge7HG5(b,b))+op_count_6Bcfo3j9gb(op_diFBhjFx7A(op_9ICB09zv9L(a),op_ODihFFDUGL(a,a)),op_lvlrscuwVU(op_FlXk3pOYe8(a),op_7TGVge7HG5(b,b)))
    else:
        count = op_count_ieEneBRTef(a,182)+op_count_wWIXvozSzm(op_ieEneBRTef(a,182))+op_count_b3qeQyvZfP(b,b)+op_count_zqpnzlcbs4(b,a)+op_count_imqY0THBaP(op_b3qeQyvZfP(b,b),op_zqpnzlcbs4(b,a))+op_count_El3zeUDNld(op_wWIXvozSzm(op_ieEneBRTef(a,182)),op_imqY0THBaP(op_b3qeQyvZfP(b,b),op_zqpnzlcbs4(b,a)))
    return count


a⫺∳b = { b , if (⊻b)>271 or (⩒∿∠b)>42 ; ((⋎⨆a)⫸⊐(a⫫≝⪄a)) , else }

def op_JyLijAdH7y(a, b):
    if op_cruRczCMvk(b) > 271 or op_rhd368kmur(b) > 42:
        return b
    else:
        return op_mqXw5SEYmG(op_E64sFOc4tB(a),op_CfshEWpL66(a,a))

def op_count_JyLijAdH7y(a, b):
    if op_cruRczCMvk(b) > 271 or op_rhd368kmur(b) > 42:
        count = 1
    else:
        count = op_count_E64sFOc4tB(a)+op_count_CfshEWpL66(a,a)+op_count_mqXw5SEYmG(op_E64sFOc4tB(a),op_CfshEWpL66(a,a))
    return count


a⩰⪷b = { (a⊹∦b) , if (a⇛⋲954)!=551 ; (b⫲⨊) , else }

def op_GByQ9jZhTB(a, b):
    if op_bT2YGab5tl(a,954) != 551:
        return op_obeET8rFtc(a,b)
    else:
        return op_CArV6hThFE(b)

def op_count_GByQ9jZhTB(a, b):
    if op_bT2YGab5tl(a,954) != 551:
        count = op_count_obeET8rFtc(a,b)+op_count_bT2YGab5tl(a,954)
    else:
        count = op_count_CArV6hThFE(b)
    return count


a∈↼∛b = { b , if (a⇶)>24 ; (((⇐b)≐≱(⨝⇱⩟808))⊼∥((b⫣↠⇨433)⫍(b⪩≅b))) , else }

def op_IXvHsQHZJE(a, b):
    if op_9qYBGIiuHp(a) > 24:
        return b
    else:
        return op_Mf99ccDLYx(op_EopCNPJDb6(op_nmZMaaE0Q9(b),op_21pyUcYko7(808)),op_T6hFkIRCss(op_AmVValKoYk(b,433),op_TFdbvXreUq(b,b)))

def op_count_IXvHsQHZJE(a, b):
    if op_9qYBGIiuHp(a) > 24:
        count = 1
    else:
        count = op_count_nmZMaaE0Q9(b)+op_count_21pyUcYko7(808)+op_count_EopCNPJDb6(op_nmZMaaE0Q9(b),op_21pyUcYko7(808))+op_count_AmVValKoYk(b,433)+op_count_TFdbvXreUq(b,b)+op_count_T6hFkIRCss(op_AmVValKoYk(b,433),op_TFdbvXreUq(b,b))+op_count_Mf99ccDLYx(op_EopCNPJDb6(op_nmZMaaE0Q9(b),op_21pyUcYko7(808)),op_T6hFkIRCss(op_AmVValKoYk(b,433),op_TFdbvXreUq(b,b)))
    return count


def op_JlkbvlDEhB(a, b):
    if (op_IHiuu7CTbC(b) >= 236 or op_EqZz4TWaTh(a) < 39 or a <= 24):
        return op_5ClX4R8SjJ(op_RJKDfKcFKp(b,a),op_E4l6HwMY31(18,b))
    else:
        return op_NCK8ztm4vY(op_mcQVDGUp7Y(a),op_ABfv49b2Bx(b))

def op_count_JlkbvlDEhB(a, b):
    if (op_IHiuu7CTbC(b) >= 236 or op_EqZz4TWaTh(a) < 39 or a <= 24):
        count = op_count_RJKDfKcFKp(b,a)+op_count_E4l6HwMY31(18,b)+op_count_5ClX4R8SjJ(op_RJKDfKcFKp(b,a),op_E4l6HwMY31(18,b))+op_count_IHiuu7CTbC(b)+op_count_EqZz4TWaTh(a)
    else:
        count = op_count_mcQVDGUp7Y(a)+op_count_ABfv49b2Bx(b)+op_count_NCK8ztm4vY(op_mcQVDGUp7Y(a),op_ABfv49b2Bx(b))
    return count


def op_7yKx6fqJeC(a, b):
    if op_bUjw4zxijs(b) <= 11 or op_g8wdwh8Qhe(b) > 108 or op_VbgE6nPTyN(b) == 112:
        return op_kvyeM8WEH2(a,a)
    else:
        return a

def op_count_7yKx6fqJeC(a, b):
    if op_bUjw4zxijs(b) <= 11 or op_g8wdwh8Qhe(b) > 108 or op_VbgE6nPTyN(b) == 112:
        count = op_count_kvyeM8WEH2(a,a)+op_count_bUjw4zxijs(b)+op_count_g8wdwh8Qhe(b)+op_count_VbgE6nPTyN(b)
    else:
        count = 1
    return count


def op_RlOoWQmxHa(a, b):
    if op_jIjE9uTss5(a,461) >= 383:
        return a
    else:
        return op_S5nS5IR4MP(op_Rbawt6nfR7(b,b),op_ZG1KnpkPxw(69,b))

def op_count_RlOoWQmxHa(a, b):
    if op_jIjE9uTss5(a,461) >= 383:
        count = 1
    else:
        count = op_count_Rbawt6nfR7(b,b)+op_count_ZG1KnpkPxw(69,b)+op_count_S5nS5IR4MP(op_Rbawt6nfR7(b,b),op_ZG1KnpkPxw(69,b))
    return count


⊂←⨞a = { (⫁⫍⩼a) , if (⋷⊟a)==94 ; (583⫨⩸⩜a) , else }

def op_PSLWBooMso(a):
    if op_2fAMLLeFHb(a) == 94:
        return op_t0HF9KJGmM(a)
    else:
        return op_IjGhTk7PpW(583,a)

def op_count_PSLWBooMso(a):
    if op_2fAMLLeFHb(a) == 94:
        count = op_count_t0HF9KJGmM(a)+op_count_2fAMLLeFHb(a)
    else:
        count = op_count_IjGhTk7PpW(583,a)
    return count


def op_o8JeNLZQGb(a):
    if op_aP2QVQG16R(a,826) < 106:
        return op_5ESOiVPbEV(op_sMYUOxfc2s(op_8INZBEW696(281,a)),op_ZEEEl4JCgL(op_lknk80lCW5(149)))
    else:
        return op_0l75R42zb7(190,op_lBJ7sFuA67(op_lgKb5x9Kjz(43),op_r52rsuXYVw(a,a)))

def op_count_o8JeNLZQGb(a):
    if op_aP2QVQG16R(a,826) < 106:
        count = op_count_8INZBEW696(281,a)+op_count_sMYUOxfc2s(op_8INZBEW696(281,a))+op_count_lknk80lCW5(149)+op_count_ZEEEl4JCgL(op_lknk80lCW5(149))+op_count_5ESOiVPbEV(op_sMYUOxfc2s(op_8INZBEW696(281,a)),op_ZEEEl4JCgL(op_lknk80lCW5(149)))+op_count_aP2QVQG16R(a,826)
    else:
        count = op_count_lgKb5x9Kjz(43)+op_count_r52rsuXYVw(a,a)+op_count_lBJ7sFuA67(op_lgKb5x9Kjz(43),op_r52rsuXYVw(a,a))+op_count_0l75R42zb7(190,op_lBJ7sFuA67(op_lgKb5x9Kjz(43),op_r52rsuXYVw(a,a)))
    return count


a⫍∯b = { (a⩁⩘a) , if ((⨦⩛b)<28 or b==128) ; (a∾⇧a) , else }

def op_7L96h23J1a(a, b):
    if (op_am5vEDSDTs(b) < 28 or b == 128):
        return op_gub5Cegaqo(a,a)
    else:
        return op_vHez4XO4XZ(a,a)

def op_count_7L96h23J1a(a, b):
    if (op_am5vEDSDTs(b) < 28 or b == 128):
        count = op_count_gub5Cegaqo(a,a)+op_count_am5vEDSDTs(b)
    else:
        count = op_count_vHez4XO4XZ(a,a)
    return count


a⇏⫋b = { (a≫≃) , if (a>=39 and b!=16) ; (a-⫺b) , else }

def op_ro9DjxOURD(a, b):
    if (a >= 39 and b != 16):
        return op_X99M06cbEe(a)
    else:
        return op_nBHZox12dy(a,b)

def op_count_ro9DjxOURD(a, b):
    if (a >= 39 and b != 16):
        count = op_count_X99M06cbEe(a)
    else:
        count = op_count_nBHZox12dy(a,b)
    return count


def op_e78ZTXR2yC(a, b):
    if b == 16:
        return op_bR7FmX73P0(op_eBxW6LweQX(118),op_Sq3AGanRSD(151,a))
    else:
        return a

def op_count_e78ZTXR2yC(a, b):
    if b == 16:
        count = op_count_eBxW6LweQX(118)+op_count_Sq3AGanRSD(151,a)+op_count_bR7FmX73P0(op_eBxW6LweQX(118),op_Sq3AGanRSD(151,a))
    else:
        count = 1
    return count


a∪⫲≙b = { (((⇻⨃⇄a)⨫⇇↔(a⪄⊣a))⨡⇶⋳) , if (b⊈⋜⋼957)==222 ; (a⫀) , else }

def op_TWtPLDAloG(a, b):
    if op_92pAIinIZa(b,957) == 222:
        return op_sAr9zEqUJ3(op_LXhwmt4mBO(op_fLGIAiPz9h(a),op_9G2jV8oAtO(a,a)))
    else:
        return op_hFnZRMLNSM(a)

def op_count_TWtPLDAloG(a, b):
    if op_92pAIinIZa(b,957) == 222:
        count = op_count_fLGIAiPz9h(a)+op_count_9G2jV8oAtO(a,a)+op_count_LXhwmt4mBO(op_fLGIAiPz9h(a),op_9G2jV8oAtO(a,a))+op_count_sAr9zEqUJ3(op_LXhwmt4mBO(op_fLGIAiPz9h(a),op_9G2jV8oAtO(a,a)))+op_count_92pAIinIZa(b,957)
    else:
        count = op_count_hFnZRMLNSM(a)
    return count


a⪘⫌b = { b , if b>=41 ; ((⇙b)∝⋌⇬(b⨓↚a)) , else }

def op_sySRPoZ5fv(a, b):
    if b >= 41:
        return b
    else:
        return op_25jDJzUX4z(op_hJ1EP0XKuB(b),op_YLJhMbTGGW(b,a))

def op_count_sySRPoZ5fv(a, b):
    if b >= 41:
        count = 1
    else:
        count = op_count_hJ1EP0XKuB(b)+op_count_YLJhMbTGGW(b,a)+op_count_25jDJzUX4z(op_hJ1EP0XKuB(b),op_YLJhMbTGGW(b,a))
    return count


a⊸↽⨹b = { b , if (⇷⪱a)>719 ; (b⫕⨽⨩) , else }

def op_vmCBT8NNrW(a, b):
    if op_UzCMWKpHtT(a) > 719:
        return b
    else:
        return op_sX7icBeOwx(b)

def op_count_vmCBT8NNrW(a, b):
    if op_UzCMWKpHtT(a) > 719:
        count = 1
    else:
        count = op_count_sX7icBeOwx(b)
    return count


def op_fyKlSCRHtl(a):
    if (op_H7f1qksvrC(a) < 236 and op_9Q5hJbNi17(a,777) == 446 and op_7YooWSwCyH(a,921) == 331):
        return op_bQy7iKdSPD(op_bX58bBWVyZ(a,202),a)
    else:
        return op_lLg6KFppdz(op_uRdpOuG0pt(a,a),op_crtJ4cV1Co(a,a))

def op_count_fyKlSCRHtl(a):
    if (op_H7f1qksvrC(a) < 236 and op_9Q5hJbNi17(a,777) == 446 and op_7YooWSwCyH(a,921) == 331):
        count = op_count_bX58bBWVyZ(a,202)+op_count_bQy7iKdSPD(op_bX58bBWVyZ(a,202),a)+op_count_H7f1qksvrC(a)+op_count_9Q5hJbNi17(a,777)+op_count_7YooWSwCyH(a,921)
    else:
        count = op_count_uRdpOuG0pt(a,a)+op_count_crtJ4cV1Co(a,a)+op_count_lLg6KFppdz(op_uRdpOuG0pt(a,a),op_crtJ4cV1Co(a,a))
    return count


⫩⇫a = { (⇏⫅a) , if (a⇮⇃⫯246)>=77 ; (a→⩸↪a) , else }

def op_iGSPF4X1DF(a):
    if op_vjAZhCvnmo(a,246) >= 77:
        return op_p1y54au9R0(a)
    else:
        return op_UUAh1Hdfpu(a,a)

def op_count_iGSPF4X1DF(a):
    if op_vjAZhCvnmo(a,246) >= 77:
        count = op_count_p1y54au9R0(a)+op_count_vjAZhCvnmo(a,246)
    else:
        count = op_count_UUAh1Hdfpu(a,a)
    return count


a⩳⩳⋰ = { ((⫃≁a)≘≾-((9⨄⊾⩮)⪋⫼⪧(a⊽⊴a))) , if (⪔⋀a)>=107 ; (((43⊬a)∑⊏(a⇔⪫a))⇚⪠) , else }

def op_fHGfxVsRXw(a):
    if op_rvHLgphfVP(a) >= 107:
        return op_opc8BSlPgk(op_2RrC8bMJqa(a),op_KLMV3Z6VVJ(op_GfE2GQMWLl(9),op_qvKIMln9sx(a,a)))
    else:
        return op_Loh9y4A90B(op_6dpzsyEjuz(op_0B27zlnmPH(43,a),op_sYkX6kT28T(a,a)))

def op_count_fHGfxVsRXw(a):
    if op_rvHLgphfVP(a) >= 107:
        count = op_count_2RrC8bMJqa(a)+op_count_GfE2GQMWLl(9)+op_count_qvKIMln9sx(a,a)+op_count_KLMV3Z6VVJ(op_GfE2GQMWLl(9),op_qvKIMln9sx(a,a))+op_count_opc8BSlPgk(op_2RrC8bMJqa(a),op_KLMV3Z6VVJ(op_GfE2GQMWLl(9),op_qvKIMln9sx(a,a)))+op_count_rvHLgphfVP(a)
    else:
        count = op_count_0B27zlnmPH(43,a)+op_count_sYkX6kT28T(a,a)+op_count_6dpzsyEjuz(op_0B27zlnmPH(43,a),op_sYkX6kT28T(a,a))+op_count_Loh9y4A90B(op_6dpzsyEjuz(op_0B27zlnmPH(43,a),op_sYkX6kT28T(a,a)))
    return count


a⋄⊲⪹b = { (((a⋋↢⊃)↱⪃↡(a⩃a))⋅⇾⫱((b∉⊞⊌a)⫝)) , if (⩂⩀b)<515 ; (((a⫸⇳b)⫕⇤⪲(a⊿⊢a))↧⫃(⨆≐≲(b⋶))) , else }

def op_hqmS1nAjdO(a, b):
    if op_vHaazYf2iE(b) < 515:
        return op_oxSU0Fg4Pf(op_0MhWYBQRkt(op_PxFlO9LMOG(a),op_7IRjtmSsUO(a,a)),op_QRiKE94HQh(op_22UCrTUJEh(b,a)))
    else:
        return op_K6AsHvFZGJ(op_NP9YRXuJAy(op_gx7XJ7hdpj(a,b),op_0P6jqB2nlY(a,a)),op_Bi9z9uYZqW(op_ripkVfTXh6(b)))

def op_count_hqmS1nAjdO(a, b):
    if op_vHaazYf2iE(b) < 515:
        count = op_count_PxFlO9LMOG(a)+op_count_7IRjtmSsUO(a,a)+op_count_0MhWYBQRkt(op_PxFlO9LMOG(a),op_7IRjtmSsUO(a,a))+op_count_22UCrTUJEh(b,a)+op_count_QRiKE94HQh(op_22UCrTUJEh(b,a))+op_count_oxSU0Fg4Pf(op_0MhWYBQRkt(op_PxFlO9LMOG(a),op_7IRjtmSsUO(a,a)),op_QRiKE94HQh(op_22UCrTUJEh(b,a)))+op_count_vHaazYf2iE(b)
    else:
        count = op_count_gx7XJ7hdpj(a,b)+op_count_0P6jqB2nlY(a,a)+op_count_NP9YRXuJAy(op_gx7XJ7hdpj(a,b),op_0P6jqB2nlY(a,a))+op_count_ripkVfTXh6(b)+op_count_Bi9z9uYZqW(op_ripkVfTXh6(b))+op_count_K6AsHvFZGJ(op_NP9YRXuJAy(op_gx7XJ7hdpj(a,b),op_0P6jqB2nlY(a,a)),op_Bi9z9uYZqW(op_ripkVfTXh6(b)))
    return count


def op_dXiJTwqsTq(a):
    if a == 212:
        return op_wscyQdcy20(180,a)
    else:
        return op_LJUzuYQJSf(a,a)

def op_count_dXiJTwqsTq(a):
    if a == 212:
        count = op_count_wscyQdcy20(180,a)
    else:
        count = op_count_LJUzuYQJSf(a,a)
    return count


a⩴⫳b = { (((b⪿⇪⊩a)⪋)⊔%((a∯⪋⊬b)⊟⇱)) , if (⨟⫽⩍a)>=37 ; a , else }

def op_rn31iNPEz6(a, b):
    if op_GDq8SIrlUA(a) >= 37:
        return op_uysxUYN2L2(op_F0bFH7iBkH(op_OGWBzMv138(b,a)),op_03sUfWo75k(op_g3XCkDyza1(a,b)))
    else:
        return a

def op_count_rn31iNPEz6(a, b):
    if op_GDq8SIrlUA(a) >= 37:
        count = op_count_OGWBzMv138(b,a)+op_count_F0bFH7iBkH(op_OGWBzMv138(b,a))+op_count_g3XCkDyza1(a,b)+op_count_03sUfWo75k(op_g3XCkDyza1(a,b))+op_count_uysxUYN2L2(op_F0bFH7iBkH(op_OGWBzMv138(b,a)),op_03sUfWo75k(op_g3XCkDyza1(a,b)))+op_count_GDq8SIrlUA(a)
    else:
        count = 1
    return count


a⊍≮ = { ((⫓⪴a)⪵∐a) , if (a⨚⨎901)<=137 ; ((a⇰⪁a)⩵∷⩪(a⊢a)) , else }

def op_pW9AuglOCU(a):
    if op_vu59hxsJ1z(a,901) <= 137:
        return op_fHEWrCoiIm(op_eLxqMNBOBk(a),a)
    else:
        return op_X7PctZJgeL(op_IiHovbkX1w(a,a),op_5twsqlHp2o(a,a))

def op_count_pW9AuglOCU(a):
    if op_vu59hxsJ1z(a,901) <= 137:
        count = op_count_eLxqMNBOBk(a)+op_count_fHEWrCoiIm(op_eLxqMNBOBk(a),a)+op_count_vu59hxsJ1z(a,901)
    else:
        count = op_count_IiHovbkX1w(a,a)+op_count_5twsqlHp2o(a,a)+op_count_X7PctZJgeL(op_IiHovbkX1w(a,a),op_5twsqlHp2o(a,a))
    return count


a⩨⇩b = { (⪶(↨⩢⫨(658⨛⇹⫊b))) , if (a⋭⪻)!=696 ; (⪜⨰⫨((b⇧⊇⋩523)∏⊵⇆(b⫋⊊b))) , else }

def op_lrPGUkkDaz(a, b):
    if op_MCGqqsDoDu(a) != 696:
        return op_zBtHAxlVCP(op_Z5CJsN7DuW(op_GJLngeV5jM(658,b)))
    else:
        return op_RB4xwD08Yy(op_ANJ5yRPvn6(op_1TuAU3ehYs(b,523),op_kMX5G63lLu(b,b)))

def op_count_lrPGUkkDaz(a, b):
    if op_MCGqqsDoDu(a) != 696:
        count = op_count_GJLngeV5jM(658,b)+op_count_Z5CJsN7DuW(op_GJLngeV5jM(658,b))+op_count_zBtHAxlVCP(op_Z5CJsN7DuW(op_GJLngeV5jM(658,b)))+op_count_MCGqqsDoDu(a)
    else:
        count = op_count_1TuAU3ehYs(b,523)+op_count_kMX5G63lLu(b,b)+op_count_ANJ5yRPvn6(op_1TuAU3ehYs(b,523),op_kMX5G63lLu(b,b))+op_count_RB4xwD08Yy(op_ANJ5yRPvn6(op_1TuAU3ehYs(b,523),op_kMX5G63lLu(b,b)))
    return count


a⩑⋀b = { (a⇕) , if ((b⋳⪺⪌)>=186 and (b⊛⫍⩜)>113) ; (a≓≂b) , else }

def op_pae2FoY6yk(a, b):
    if (op_3FGESL1lF8(b) >= 186 and op_KaSTSbOewx(b) > 113):
        return op_vaH8QgiDVg(a)
    else:
        return op_9VoQ6iZjwX(a,b)

def op_count_pae2FoY6yk(a, b):
    if (op_3FGESL1lF8(b) >= 186 and op_KaSTSbOewx(b) > 113):
        count = op_count_vaH8QgiDVg(a)+op_count_3FGESL1lF8(b)+op_count_KaSTSbOewx(b)
    else:
        count = op_count_9VoQ6iZjwX(a,b)
    return count


def op_ehkay1nXe1(a):
    if a != 46:
        return op_zVYPLywUTj(a)
    else:
        return op_AJW4C0rBPs(565,a)

def op_count_ehkay1nXe1(a):
    if a != 46:
        count = op_count_zVYPLywUTj(a)
    else:
        count = op_count_AJW4C0rBPs(565,a)
    return count


def op_CLsG3YN2nx(a):
    if op_bTLp93UMFE(a) == 259 or op_Q8Thw7a1vL(a,34) < 209:
        return op_Yx2SW1no1q(239)
    else:
        return op_M2pIAIy88N(a)

def op_count_CLsG3YN2nx(a):
    if op_bTLp93UMFE(a) == 259 or op_Q8Thw7a1vL(a,34) < 209:
        count = op_count_Yx2SW1no1q(239)+op_count_bTLp93UMFE(a)+op_count_Q8Thw7a1vL(a,34)
    else:
        count = op_count_M2pIAIy88N(a)
    return count


a⨗⊚⫘b = { (((13⊥⋀a)⋋⫠⫥)⊟⩓⊧((a⨥21)∽⫹a)) , if (⫑≋a)>=589 ; (((b⩰⪎a)⋦)⩈⪻((a⫻⫴⨁a)⩉∽⪣(a⇆⇯b))) , else }

def op_v96W72HGcC(a, b):
    if op_7vLe0YQdZ4(a) >= 589:
        return op_ZWmKTO1x1a(op_NTLdrygXQH(op_2HYkBhA3K5(13,a)),op_VTWL3whYCc(op_GXZxp3Erot(a,21),a))
    else:
        return op_Yan4YobxxY(op_LJjZ19xYgc(op_keMeIxFVQ3(b,a)),op_3U6LfyZyIC(op_4KgMg3eWY3(a,a),op_BvUOHliOJ6(a,b)))

def op_count_v96W72HGcC(a, b):
    if op_7vLe0YQdZ4(a) >= 589:
        count = op_count_2HYkBhA3K5(13,a)+op_count_NTLdrygXQH(op_2HYkBhA3K5(13,a))+op_count_GXZxp3Erot(a,21)+op_count_VTWL3whYCc(op_GXZxp3Erot(a,21),a)+op_count_ZWmKTO1x1a(op_NTLdrygXQH(op_2HYkBhA3K5(13,a)),op_VTWL3whYCc(op_GXZxp3Erot(a,21),a))+op_count_7vLe0YQdZ4(a)
    else:
        count = op_count_keMeIxFVQ3(b,a)+op_count_LJjZ19xYgc(op_keMeIxFVQ3(b,a))+op_count_4KgMg3eWY3(a,a)+op_count_BvUOHliOJ6(a,b)+op_count_3U6LfyZyIC(op_4KgMg3eWY3(a,a),op_BvUOHliOJ6(a,b))+op_count_Yan4YobxxY(op_LJjZ19xYgc(op_keMeIxFVQ3(b,a)),op_3U6LfyZyIC(op_4KgMg3eWY3(a,a),op_BvUOHliOJ6(a,b)))
    return count


a≔⇨↨b = { (((a∘≹⊼a)⋛≐(∧⊯⊑a))⋛(↕↖⇍(b⋑↺⫍b))) , if (b↖⇒918)!=2 ; b , else }

def op_R2I9eEDuDb(a, b):
    if op_2Yy7IiVHWW(b,918) != 2:
        return op_YbUVn0Rbpy(op_B7jD7820sf(op_TSjMxbSiHV(a,a),op_p3tkozcGQn(a)),op_qpOCIbTlAF(op_bgTCUQNVoy(b,b)))
    else:
        return b

def op_count_R2I9eEDuDb(a, b):
    if op_2Yy7IiVHWW(b,918) != 2:
        count = op_count_TSjMxbSiHV(a,a)+op_count_p3tkozcGQn(a)+op_count_B7jD7820sf(op_TSjMxbSiHV(a,a),op_p3tkozcGQn(a))+op_count_bgTCUQNVoy(b,b)+op_count_qpOCIbTlAF(op_bgTCUQNVoy(b,b))+op_count_YbUVn0Rbpy(op_B7jD7820sf(op_TSjMxbSiHV(a,a),op_p3tkozcGQn(a)),op_qpOCIbTlAF(op_bgTCUQNVoy(b,b)))+op_count_2Yy7IiVHWW(b,918)
    else:
        count = 1
    return count


⫈⨼∮a = { (⋼∭⪍a) , if a>=264 ; (⇜⊴a) , else }

def op_oSa3xyU28z(a):
    if a >= 264:
        return op_DbCuESL50I(a)
    else:
        return op_XwDhCwWbUn(a)

def op_count_oSa3xyU28z(a):
    if a >= 264:
        count = op_count_DbCuESL50I(a)
    else:
        count = op_count_XwDhCwWbUn(a)
    return count


def op_NeTHBjglGE(a):
    if op_HbkKo2jppZ(a) > 112:
        return op_QMFrweE19q(a,op_UFzLZpQu9F(541,a))
    else:
        return op_Bi9z9uYZqW(op_ukq6epAj5P(a,370))

def op_count_NeTHBjglGE(a):
    if op_HbkKo2jppZ(a) > 112:
        count = op_count_UFzLZpQu9F(541,a)+op_count_QMFrweE19q(a,op_UFzLZpQu9F(541,a))+op_count_HbkKo2jppZ(a)
    else:
        count = op_count_ukq6epAj5P(a,370)+op_count_Bi9z9uYZqW(op_ukq6epAj5P(a,370))
    return count


⋔∗a = { ((a∞∠⊒a)⊪) , if a!=295 ; ((a≜⇝a)⪡⨥361) , else }

def op_YXnvTxWWGl(a):
    if a != 295:
        return op_zVYPLywUTj(op_QQjdLDgHOE(a,a))
    else:
        return op_rN9dtwqe3n(op_ZXpgOvMj6j(a,a),361)

def op_count_YXnvTxWWGl(a):
    if a != 295:
        count = op_count_QQjdLDgHOE(a,a)+op_count_zVYPLywUTj(op_QQjdLDgHOE(a,a))
    else:
        count = op_count_ZXpgOvMj6j(a,a)+op_count_rN9dtwqe3n(op_ZXpgOvMj6j(a,a),361)
    return count


def op_Nk3vbLkEBW(a, b):
    if (op_n7YBkKBAVq(b) >= 22 or op_hXLke0AbfW(b) != 355):
        return op_LDnGwIg2on(169)
    else:
        return op_cHh1gJQ2o6(a,b)

def op_count_Nk3vbLkEBW(a, b):
    if (op_n7YBkKBAVq(b) >= 22 or op_hXLke0AbfW(b) != 355):
        count = op_count_LDnGwIg2on(169)+op_count_n7YBkKBAVq(b)+op_count_hXLke0AbfW(b)
    else:
        count = op_count_cHh1gJQ2o6(a,b)
    return count


def op_88kSMS4ieK(a):
    if (op_zLfG7Ay1vB(a,856) >= 22 and op_ddLRYrp01A(a,731) <= 343):
        return op_rIhv4QYABv(op_Lnros4fou8(op_Ih3UVhBbvd(a,a),op_EMR9JvRK8T(a,a)),op_8ZudynJV7e(op_l034Y9yrOR(a)))
    else:
        return op_QDWDTvZtyM(op_rhd368kmur(op_YYmmGX8gEu(304,a)))

def op_count_88kSMS4ieK(a):
    if (op_zLfG7Ay1vB(a,856) >= 22 and op_ddLRYrp01A(a,731) <= 343):
        count = op_count_Ih3UVhBbvd(a,a)+op_count_EMR9JvRK8T(a,a)+op_count_Lnros4fou8(op_Ih3UVhBbvd(a,a),op_EMR9JvRK8T(a,a))+op_count_l034Y9yrOR(a)+op_count_8ZudynJV7e(op_l034Y9yrOR(a))+op_count_rIhv4QYABv(op_Lnros4fou8(op_Ih3UVhBbvd(a,a),op_EMR9JvRK8T(a,a)),op_8ZudynJV7e(op_l034Y9yrOR(a)))+op_count_zLfG7Ay1vB(a,856)+op_count_ddLRYrp01A(a,731)
    else:
        count = op_count_YYmmGX8gEu(304,a)+op_count_rhd368kmur(op_YYmmGX8gEu(304,a))+op_count_QDWDTvZtyM(op_rhd368kmur(op_YYmmGX8gEu(304,a)))
    return count


a∝↫∤b = { a , if (b⩂↠⊈)<=12 ; (((b⇌⫙⪟a)↗(a⨓⨕≠462))⪌⫯((57⋐⩹≹b)⪌⨺↜(a∟))) , else }

def op_N4MNDM3lcs(a, b):
    if op_amUYklY4X0(b) <= 12:
        return a
    else:
        return op_NQTbndOZCW(op_ODFdAPCKMa(op_AFVx7xoS7T(b,a),op_wwMOHVJtzA(a,462)),op_YZ4iizfuOA(op_ERCh0iueHk(57,b),op_hTbEZDJLEm(a)))

def op_count_N4MNDM3lcs(a, b):
    if op_amUYklY4X0(b) <= 12:
        count = 1
    else:
        count = op_count_AFVx7xoS7T(b,a)+op_count_wwMOHVJtzA(a,462)+op_count_ODFdAPCKMa(op_AFVx7xoS7T(b,a),op_wwMOHVJtzA(a,462))+op_count_ERCh0iueHk(57,b)+op_count_hTbEZDJLEm(a)+op_count_YZ4iizfuOA(op_ERCh0iueHk(57,b),op_hTbEZDJLEm(a))+op_count_NQTbndOZCW(op_ODFdAPCKMa(op_AFVx7xoS7T(b,a),op_wwMOHVJtzA(a,462)),op_YZ4iizfuOA(op_ERCh0iueHk(57,b),op_hTbEZDJLEm(a)))
    return count


a⩉→⋫b = { ((a⊋⪀⫭a)⫻-⫄(b≳a)) , if (⊝≂⪇b)==77 ; (↔(406⫊⊙⇠a)) , else }

def op_OHdKWLbo3y(a, b):
    if op_jhcXDNFX4l(b) == 77:
        return op_qO3m3EJotg(op_z8Vpgc5KJS(a,a),op_HOs11gFUaq(b,a))
    else:
        return op_ruOEQAzv1W(op_QwEjHC7A8R(406,a))

def op_count_OHdKWLbo3y(a, b):
    if op_jhcXDNFX4l(b) == 77:
        count = op_count_z8Vpgc5KJS(a,a)+op_count_HOs11gFUaq(b,a)+op_count_qO3m3EJotg(op_z8Vpgc5KJS(a,a),op_HOs11gFUaq(b,a))+op_count_jhcXDNFX4l(b)
    else:
        count = op_count_QwEjHC7A8R(406,a)+op_count_ruOEQAzv1W(op_QwEjHC7A8R(406,a))
    return count


def op_VNFuwohCu5(a):
    if a != 412:
        return op_AiZuih6wUj(op_8EAfVIn5ao(op_cHh1gJQ2o6(320,a),op_F9Zfm1dsok(a,a)),op_zR4jO40bMj(op_IT3TbjFqSq(129,a),op_QIRSbgWmJm(311)))
    else:
        return op_v9KVZbcFsa(op_j7kFUh2iBI(op_pNiqsYmQ4e(a),op_ViqgXgeRy8(a,a)),op_n4DPn5x9ZW(op_9HNa5Wba9A(a,42),op_X99M06cbEe(a)))

def op_count_VNFuwohCu5(a):
    if a != 412:
        count = op_count_cHh1gJQ2o6(320,a)+op_count_F9Zfm1dsok(a,a)+op_count_8EAfVIn5ao(op_cHh1gJQ2o6(320,a),op_F9Zfm1dsok(a,a))+op_count_IT3TbjFqSq(129,a)+op_count_QIRSbgWmJm(311)+op_count_zR4jO40bMj(op_IT3TbjFqSq(129,a),op_QIRSbgWmJm(311))+op_count_AiZuih6wUj(op_8EAfVIn5ao(op_cHh1gJQ2o6(320,a),op_F9Zfm1dsok(a,a)),op_zR4jO40bMj(op_IT3TbjFqSq(129,a),op_QIRSbgWmJm(311)))
    else:
        count = op_count_pNiqsYmQ4e(a)+op_count_ViqgXgeRy8(a,a)+op_count_j7kFUh2iBI(op_pNiqsYmQ4e(a),op_ViqgXgeRy8(a,a))+op_count_9HNa5Wba9A(a,42)+op_count_X99M06cbEe(a)+op_count_n4DPn5x9ZW(op_9HNa5Wba9A(a,42),op_X99M06cbEe(a))+op_count_v9KVZbcFsa(op_j7kFUh2iBI(op_pNiqsYmQ4e(a),op_ViqgXgeRy8(a,a)),op_n4DPn5x9ZW(op_9HNa5Wba9A(a,42),op_X99M06cbEe(a)))
    return count


def op_7cJkM7yzIb(a):
    if op_M0eZcchmsa(a,625) == 273:
        return op_8h2Ofp3S4L(op_i8i4Li6g16(op_grXIztHqDa(a),op_z2JHNkvbdm(a,a)),op_LMA9dqLka3(op_bIDw1T0Uny(a,a),op_inYIwJ0bD8(386)))
    else:
        return op_lgKb5x9Kjz(op_WHt3Xt46DB(op_Q2SbzXtpD3(a),op_FQxrAp7wUb(182)))

def op_count_7cJkM7yzIb(a):
    if op_M0eZcchmsa(a,625) == 273:
        count = op_count_grXIztHqDa(a)+op_count_z2JHNkvbdm(a,a)+op_count_i8i4Li6g16(op_grXIztHqDa(a),op_z2JHNkvbdm(a,a))+op_count_bIDw1T0Uny(a,a)+op_count_inYIwJ0bD8(386)+op_count_LMA9dqLka3(op_bIDw1T0Uny(a,a),op_inYIwJ0bD8(386))+op_count_8h2Ofp3S4L(op_i8i4Li6g16(op_grXIztHqDa(a),op_z2JHNkvbdm(a,a)),op_LMA9dqLka3(op_bIDw1T0Uny(a,a),op_inYIwJ0bD8(386)))+op_count_M0eZcchmsa(a,625)
    else:
        count = op_count_Q2SbzXtpD3(a)+op_count_FQxrAp7wUb(182)+op_count_WHt3Xt46DB(op_Q2SbzXtpD3(a),op_FQxrAp7wUb(182))+op_count_lgKb5x9Kjz(op_WHt3Xt46DB(op_Q2SbzXtpD3(a),op_FQxrAp7wUb(182)))
    return count


a⩂⇪⋣b = { ((a⫫∾b)⇒⪫(b⨽⇀a)) , if (a⋘⇝⩳9)==492 ; ((⇶⩗⩅a)∽⫄(a⋗↱a)) , else }

def op_05BAUYx2wZ(a, b):
    if op_E1o5MFdtNP(a,9) == 492:
        return op_1nNvNtr5EF(op_b3qeQyvZfP(a,b),op_h1U3ZT2Qlc(b,a))
    else:
        return op_RBKPHo7Qd9(op_MVP4l6Shxk(a),op_ks8apemKCz(a,a))

def op_count_05BAUYx2wZ(a, b):
    if op_E1o5MFdtNP(a,9) == 492:
        count = op_count_b3qeQyvZfP(a,b)+op_count_h1U3ZT2Qlc(b,a)+op_count_1nNvNtr5EF(op_b3qeQyvZfP(a,b),op_h1U3ZT2Qlc(b,a))+op_count_E1o5MFdtNP(a,9)
    else:
        count = op_count_MVP4l6Shxk(a)+op_count_ks8apemKCz(a,a)+op_count_RBKPHo7Qd9(op_MVP4l6Shxk(a),op_ks8apemKCz(a,a))
    return count


def op_PBve4YTHKW(a):
    if op_dqLymamn1g(a) > 594 and op_uhF6YzFI4G(a) == 315 and op_kn2iEQ6jaA(a) != 428:
        return op_d5CHQX7ZoG(375,a)
    else:
        return op_vfo9xvTTbt(a,a)

def op_count_PBve4YTHKW(a):
    if op_dqLymamn1g(a) > 594 and op_uhF6YzFI4G(a) == 315 and op_kn2iEQ6jaA(a) != 428:
        count = op_count_d5CHQX7ZoG(375,a)+op_count_dqLymamn1g(a)+op_count_uhF6YzFI4G(a)+op_count_kn2iEQ6jaA(a)
    else:
        count = op_count_vfo9xvTTbt(a,a)
    return count


def op_S4cBJ5Nnzu(a, b):
    if op_jxm14LOQHd(a) == 196:
        return op_lbwCMbH8Kj(162)
    else:
        return op_QbnwKVWMIQ(61,b)

def op_count_S4cBJ5Nnzu(a, b):
    if op_jxm14LOQHd(a) == 196:
        count = op_count_lbwCMbH8Kj(162)+op_count_jxm14LOQHd(a)
    else:
        count = op_count_QbnwKVWMIQ(61,b)
    return count


def op_vWY2KLG4AQ(a):
    if a == 309:
        return op_Ldwfc8y82N(a,a)
    else:
        return op_zVYPLywUTj(475)

def op_count_vWY2KLG4AQ(a):
    if a == 309:
        count = op_count_Ldwfc8y82N(a,a)
    else:
        count = op_count_zVYPLywUTj(475)
    return count


a≍⪾⨄b = { (a⪿⫂⇿b) , if (a⋽⋛)<51 ; (177*⇥≲) , else }

def op_O4ICsYZwU0(a, b):
    if op_Nmlly2IRyU(a) < 51:
        return op_bZEx4MGJjc(a,b)
    else:
        return op_DEqk5vDXLq(177)

def op_count_O4ICsYZwU0(a, b):
    if op_Nmlly2IRyU(a) < 51:
        count = op_count_bZEx4MGJjc(a,b)+op_count_Nmlly2IRyU(a)
    else:
        count = op_count_DEqk5vDXLq(177)
    return count


def op_YZdnBjqczt(a):
    if op_dqXKirNDVF(a,353) >= 693:
        return op_aBQ6xLxuTc(a,a)
    else:
        return op_5UorIKpPro(a)

def op_count_YZdnBjqczt(a):
    if op_dqXKirNDVF(a,353) >= 693:
        count = op_count_aBQ6xLxuTc(a,a)+op_count_dqXKirNDVF(a,353)
    else:
        count = op_count_5UorIKpPro(a)
    return count


a⊿≜⩫ = { ((a⨫58)⪝∡) , if a>155 ; (∮⪶⋩(a⪂⩍↥a)) , else }

def op_Ma3Flw24cK(a):
    if a > 155:
        return op_3mEz3wejNI(op_MEqPUhr43n(a,58))
    else:
        return op_Go7jpMCFiM(op_S3pNg7gwuQ(a,a))

def op_count_Ma3Flw24cK(a):
    if a > 155:
        count = op_count_MEqPUhr43n(a,58)+op_count_3mEz3wejNI(op_MEqPUhr43n(a,58))
    else:
        count = op_count_S3pNg7gwuQ(a,a)+op_count_Go7jpMCFiM(op_S3pNg7gwuQ(a,a))
    return count


a∸⊯ = { (a⫏a) , if (a≗⫍)>393 ; (∨⨗a) , else }

def op_1B0IH4cfcq(a):
    if op_7Nd029Vx1U(a) > 393:
        return op_uQ5MaQD2YO(a,a)
    else:
        return op_Oda0vSKASk(a)

def op_count_1B0IH4cfcq(a):
    if op_7Nd029Vx1U(a) > 393:
        count = op_count_uQ5MaQD2YO(a,a)+op_count_7Nd029Vx1U(a)
    else:
        count = op_count_Oda0vSKASk(a)
    return count


a≯⩨⨎b = { ((⫃b)⊉≛↸(⪌a)) , if (⋇↪≃a)>=194 ; (⫴(101⋕⪉⪜b)) , else }

def op_xVqBDbDSwv(a, b):
    if op_qUHmkclnth(a) >= 194:
        return op_DZ8iAZOCBD(op_Un5MXTlDFV(b),op_zhcyjIpuZs(a))
    else:
        return op_wHwdFGb2cR(op_z6LnFrNh4i(101,b))

def op_count_xVqBDbDSwv(a, b):
    if op_qUHmkclnth(a) >= 194:
        count = op_count_Un5MXTlDFV(b)+op_count_zhcyjIpuZs(a)+op_count_DZ8iAZOCBD(op_Un5MXTlDFV(b),op_zhcyjIpuZs(a))+op_count_qUHmkclnth(a)
    else:
        count = op_count_z6LnFrNh4i(101,b)+op_count_wHwdFGb2cR(op_z6LnFrNh4i(101,b))
    return count


def op_uISTwMNpcE(a):
    if op_SMtK2Ho1FK(a) == 16:
        return 232
    else:
        return op_WYd1w68Nbz(a)

def op_count_uISTwMNpcE(a):
    if op_SMtK2Ho1FK(a) == 16:
        count = op_count_SMtK2Ho1FK(a)
    else:
        count = op_count_WYd1w68Nbz(a)
    return count


↽⇹⋠a = { (a≤⨝) , if a<=291 ; (((a⇰⪁50)⩼⫦⨐(187∝≗a))↪⩍⫅((a⨓⨕≠a)⨒⪀(a↖11))) , else }

def op_m5nBjkrkcW(a):
    if a <= 291:
        return op_itkOnPxCeF(a)
    else:
        return op_MuzqVKJccx(op_i5RbA8eqaO(op_IiHovbkX1w(a,50),op_bQy7iKdSPD(187,a)),op_6UwzacJ3Gx(op_wwMOHVJtzA(a,a),op_ojE0ZAmiGE(a,11)))

def op_count_m5nBjkrkcW(a):
    if a <= 291:
        count = op_count_itkOnPxCeF(a)
    else:
        count = op_count_IiHovbkX1w(a,50)+op_count_bQy7iKdSPD(187,a)+op_count_i5RbA8eqaO(op_IiHovbkX1w(a,50),op_bQy7iKdSPD(187,a))+op_count_wwMOHVJtzA(a,a)+op_count_ojE0ZAmiGE(a,11)+op_count_6UwzacJ3Gx(op_wwMOHVJtzA(a,a),op_ojE0ZAmiGE(a,11))+op_count_MuzqVKJccx(op_i5RbA8eqaO(op_IiHovbkX1w(a,50),op_bQy7iKdSPD(187,a)),op_6UwzacJ3Gx(op_wwMOHVJtzA(a,a),op_ojE0ZAmiGE(a,11)))
    return count


a⨤⇞⫚ = { ((a⊑⨮a)⋜⋳⪐a) , if (⫇⇓⪣a)!=21 ; (⪛⨧(a⪦)) , else }

def op_ve6wziXBj2(a):
    if op_vREf5JSI95(a) != 21:
        return op_1br6wbZ6yJ(op_xRCgHJduM4(a,a),a)
    else:
        return op_6NJAcO2OWT(op_RlYC4PyG6d(a))

def op_count_ve6wziXBj2(a):
    if op_vREf5JSI95(a) != 21:
        count = op_count_xRCgHJduM4(a,a)+op_count_1br6wbZ6yJ(op_xRCgHJduM4(a,a),a)+op_count_vREf5JSI95(a)
    else:
        count = op_count_RlYC4PyG6d(a)+op_count_6NJAcO2OWT(op_RlYC4PyG6d(a))
    return count


a⊻⨼ = { (⋯↷((a∧≾⩾a)⋥⋵⩄a)) , if (a⩅⊤)!=52 ; (⨓⨍(⪱≬(121⫉⊍≷234))) , else }

def op_Ni6W0cq8eC(a):
    if op_RFEUBJbRkQ(a) != 52:
        return op_lyvGaJdF94(op_7t3wd0Fuz7(op_rBWSZ6pYZD(a,a),a))
    else:
        return op_JGUZimA2Hi(op_3l0286Hu2p(op_KCQC7vSPgj(121,234)))

def op_count_Ni6W0cq8eC(a):
    if op_RFEUBJbRkQ(a) != 52:
        count = op_count_rBWSZ6pYZD(a,a)+op_count_7t3wd0Fuz7(op_rBWSZ6pYZD(a,a),a)+op_count_lyvGaJdF94(op_7t3wd0Fuz7(op_rBWSZ6pYZD(a,a),a))+op_count_RFEUBJbRkQ(a)
    else:
        count = op_count_KCQC7vSPgj(121,234)+op_count_3l0286Hu2p(op_KCQC7vSPgj(121,234))+op_count_JGUZimA2Hi(op_3l0286Hu2p(op_KCQC7vSPgj(121,234)))
    return count


⪇∀a = { (((a←∉⩵a)↣⪱(a⊋⪀⫭a))+↷) , if (a⪭≽⪚407)>=451 ; ((∨∊⋏(a⇞⊉↿62))⇄⪻((⊌a)⨢↟(a⫨⊽307))) , else }

def op_3uu3byueWr(a):
    if op_eY5BGNLxQI(a,407) >= 451:
        return op_vY7SLnyZNm(op_qhklwjTpUT(op_NOHxjtdlri(a,a),op_z8Vpgc5KJS(a,a)))
    else:
        return op_EqdHc83poM(op_R5aXW34M0v(op_bG3SoPrX0m(a,62)),op_Z7B3c4tHRK(op_Up1cwh7yZZ(a),op_73uHauwuWW(a,307)))

def op_count_3uu3byueWr(a):
    if op_eY5BGNLxQI(a,407) >= 451:
        count = op_count_NOHxjtdlri(a,a)+op_count_z8Vpgc5KJS(a,a)+op_count_qhklwjTpUT(op_NOHxjtdlri(a,a),op_z8Vpgc5KJS(a,a))+op_count_vY7SLnyZNm(op_qhklwjTpUT(op_NOHxjtdlri(a,a),op_z8Vpgc5KJS(a,a)))+op_count_eY5BGNLxQI(a,407)
    else:
        count = op_count_bG3SoPrX0m(a,62)+op_count_R5aXW34M0v(op_bG3SoPrX0m(a,62))+op_count_Up1cwh7yZZ(a)+op_count_73uHauwuWW(a,307)+op_count_Z7B3c4tHRK(op_Up1cwh7yZZ(a),op_73uHauwuWW(a,307))+op_count_EqdHc83poM(op_R5aXW34M0v(op_bG3SoPrX0m(a,62)),op_Z7B3c4tHRK(op_Up1cwh7yZZ(a),op_73uHauwuWW(a,307)))
    return count


⋉⨖↔a = { (a⋲(a⨕⋳)) , if (a∆⨍⇡)<=374 and a!=96 and (≱a)==8 ; ((⋝⇱⇓a)⩣⊵⩗(121⪌⊌⪟244)) , else }

def op_MDxn7jJKFc(a):
    if op_sBYFXexRzT(a) <= 374 and a != 96 and op_Z6xt9iJndF(a) == 8:
        return op_zoVUxTIMAa(a,op_4X4GscPmMf(a))
    else:
        return op_wsXFuL0hC6(op_TLv57rOmDJ(a),op_lr4bYNdzaZ(121,244))

def op_count_MDxn7jJKFc(a):
    if op_sBYFXexRzT(a) <= 374 and a != 96 and op_Z6xt9iJndF(a) == 8:
        count = op_count_4X4GscPmMf(a)+op_count_zoVUxTIMAa(a,op_4X4GscPmMf(a))+op_count_sBYFXexRzT(a)+op_count_Z6xt9iJndF(a)
    else:
        count = op_count_TLv57rOmDJ(a)+op_count_lr4bYNdzaZ(121,244)+op_count_wsXFuL0hC6(op_TLv57rOmDJ(a),op_lr4bYNdzaZ(121,244))
    return count


def op_doxNIVS6p2(a):
    if op_uRdpOuG0pt(a,986) != 23:
        return op_sGKMNvIg50(op_zPaCbzxRhG(a),a)
    else:
        return op_51hOuhRTcR(op_MtU63d9ZNI(574),op_B2MxbzqPiH(0,a))

def op_count_doxNIVS6p2(a):
    if op_uRdpOuG0pt(a,986) != 23:
        count = op_count_zPaCbzxRhG(a)+op_count_sGKMNvIg50(op_zPaCbzxRhG(a),a)+op_count_uRdpOuG0pt(a,986)
    else:
        count = op_count_MtU63d9ZNI(574)+op_count_B2MxbzqPiH(0,a)+op_count_51hOuhRTcR(op_MtU63d9ZNI(574),op_B2MxbzqPiH(0,a))
    return count


def op_MIHMQtqrNp(a):
    if op_muoSboCI92(a,791) >= 71:
        return op_zg3XA2Cjdk(op_kn8WO9XteQ(a,a))
    else:
        return a

def op_count_MIHMQtqrNp(a):
    if op_muoSboCI92(a,791) >= 71:
        count = op_count_kn8WO9XteQ(a,a)+op_count_zg3XA2Cjdk(op_kn8WO9XteQ(a,a))+op_count_muoSboCI92(a,791)
    else:
        count = 1
    return count


a⪥⪆↟ = { ((a∠a)⨫⇇↔(⪾⪫a)) , if (a⇯768)==626 ; (a⊳⇆(a≛⨶⨗a)) , else }

def op_Uk506jmOjG(a):
    if op_xtBOMFLMmK(a,768) == 626:
        return op_LXhwmt4mBO(op_jZOzHi7EqF(a,a),op_vFgX83MrL4(a))
    else:
        return op_Lsyp3t0mLH(a,op_wWzzlX9aK4(a,a))

def op_count_Uk506jmOjG(a):
    if op_xtBOMFLMmK(a,768) == 626:
        count = op_count_jZOzHi7EqF(a,a)+op_count_vFgX83MrL4(a)+op_count_LXhwmt4mBO(op_jZOzHi7EqF(a,a),op_vFgX83MrL4(a))+op_count_xtBOMFLMmK(a,768)
    else:
        count = op_count_wWzzlX9aK4(a,a)+op_count_Lsyp3t0mLH(a,op_wWzzlX9aK4(a,a))
    return count


a⊮≍⇽ = { ((a∴a)⪒⊣⊆a) , if (a⫲⨙≴)<=351 ; ((337⫇⩸⨢a)⨍a) , else }

def op_zCVO9nNVwR(a):
    if op_nWHsyAHoNI(a) <= 351:
        return op_eRqsBgTDFp(op_hrf7POJlIJ(a,a),a)
    else:
        return op_ceRqZ68cFu(op_diu054m9en(337,a),a)

def op_count_zCVO9nNVwR(a):
    if op_nWHsyAHoNI(a) <= 351:
        count = op_count_hrf7POJlIJ(a,a)+op_count_eRqsBgTDFp(op_hrf7POJlIJ(a,a),a)+op_count_nWHsyAHoNI(a)
    else:
        count = op_count_diu054m9en(337,a)+op_count_ceRqZ68cFu(op_diu054m9en(337,a),a)
    return count


a⪴↨≞ = { ((a⋑↺⫍a)∎⊌167) , if (⪼↩a)<13 ; ((⊵⊁a)⇁(a⇋∁↲a)) , else }

def op_Vminz2gq1z(a):
    if op_FUK0wQm8QP(a) < 13:
        return op_QlDtpsi6BD(op_bgTCUQNVoy(a,a),167)
    else:
        return op_z4ujcxYYss(op_AvED76WdY7(a),op_WWvgEODVog(a,a))

def op_count_Vminz2gq1z(a):
    if op_FUK0wQm8QP(a) < 13:
        count = op_count_bgTCUQNVoy(a,a)+op_count_QlDtpsi6BD(op_bgTCUQNVoy(a,a),167)+op_count_FUK0wQm8QP(a)
    else:
        count = op_count_AvED76WdY7(a)+op_count_WWvgEODVog(a,a)+op_count_z4ujcxYYss(op_AvED76WdY7(a),op_WWvgEODVog(a,a))
    return count


def op_4csk9gfIY2(a):
    if a != 47:
        return op_ugTrrffvJh(op_BEKom63EOt(a),op_3QUG3jHDXB(217,a))
    else:
        return op_JNAMZpJNVJ(op_OfugFTrv6S(903))

def op_count_4csk9gfIY2(a):
    if a != 47:
        count = op_count_BEKom63EOt(a)+op_count_3QUG3jHDXB(217,a)+op_count_ugTrrffvJh(op_BEKom63EOt(a),op_3QUG3jHDXB(217,a))
    else:
        count = op_count_OfugFTrv6S(903)+op_count_JNAMZpJNVJ(op_OfugFTrv6S(903))
    return count


a⊫⇖b = { (a⩎⨬b) , if (⊄⫀⨏b)==648 or (a⊽⩭⪱)>=127 ; (∍⩄a) , else }

def op_WfvMQLQgAr(a, b):
    if op_uhF6YzFI4G(b) == 648 or op_gNXQhL1a2M(a) >= 127:
        return op_dR2gYrpTIj(a,b)
    else:
        return op_2c5GHSTW0i(a)

def op_count_WfvMQLQgAr(a, b):
    if op_uhF6YzFI4G(b) == 648 or op_gNXQhL1a2M(a) >= 127:
        count = op_count_dR2gYrpTIj(a,b)+op_count_uhF6YzFI4G(b)+op_count_gNXQhL1a2M(a)
    else:
        count = op_count_2c5GHSTW0i(a)
    return count


a⪵≼ = { ((160⫬↰a)⊟⇵⫊(a⨑⇌⫪a)) , if (⊮−a)!=155 ; a , else }

def op_ARRVEPio8f(a):
    if op_BX5yTvkFHV(a) != 155:
        return op_ov2Ek6r32i(op_f8TJb0vaMc(160,a),op_OMlED4Os5J(a,a))
    else:
        return a

def op_count_ARRVEPio8f(a):
    if op_BX5yTvkFHV(a) != 155:
        count = op_count_f8TJb0vaMc(160,a)+op_count_OMlED4Os5J(a,a)+op_count_ov2Ek6r32i(op_f8TJb0vaMc(160,a),op_OMlED4Os5J(a,a))+op_count_BX5yTvkFHV(a)
    else:
        count = 1
    return count


⫿≧a = { (((a⫏⋑717)⫲≮(a⫮a))⊟⫌%((⨁a)∄⇄⇫)) , if (a<81 and (a⩜)==250) ; ((⩷⨜⫀(a⪼↽a))∍⫁⪅((a⪃⩐⨑a)↖⪸⫱(⋅⩆↔a))) , else }

def op_Ej9JA0mZap(a):
    if (a < 81 and op_m9KnjnodY9(a) == 250):
        return op_K5p65un2ft(op_3FKzo546dw(op_YJnbaRgmQd(a,717),op_vwdxqpDU32(a,a)),op_0hkreZnOFt(op_gImejOImwh(a)))
    else:
        return op_glenQ1xDvR(op_CDi0ktkjQ4(op_zcaA4Z4NaO(a,a)),op_KCGfcBnbwZ(op_7OL7g5oVtb(a,a),op_20hv3wdH5D(a)))

def op_count_Ej9JA0mZap(a):
    if (a < 81 and op_m9KnjnodY9(a) == 250):
        count = op_count_YJnbaRgmQd(a,717)+op_count_vwdxqpDU32(a,a)+op_count_3FKzo546dw(op_YJnbaRgmQd(a,717),op_vwdxqpDU32(a,a))+op_count_gImejOImwh(a)+op_count_0hkreZnOFt(op_gImejOImwh(a))+op_count_K5p65un2ft(op_3FKzo546dw(op_YJnbaRgmQd(a,717),op_vwdxqpDU32(a,a)),op_0hkreZnOFt(op_gImejOImwh(a)))+op_count_m9KnjnodY9(a)
    else:
        count = op_count_zcaA4Z4NaO(a,a)+op_count_CDi0ktkjQ4(op_zcaA4Z4NaO(a,a))+op_count_7OL7g5oVtb(a,a)+op_count_20hv3wdH5D(a)+op_count_KCGfcBnbwZ(op_7OL7g5oVtb(a,a),op_20hv3wdH5D(a))+op_count_glenQ1xDvR(op_CDi0ktkjQ4(op_zcaA4Z4NaO(a,a)),op_KCGfcBnbwZ(op_7OL7g5oVtb(a,a),op_20hv3wdH5D(a)))
    return count


a⩊ = { (a≶⇧⫄a) , if (⪰⇛⪭a)>607 ; (⊵≊⪸a) , else }

def op_bL9bVDjnH3(a):
    if op_FAU4UUhKNM(a) > 607:
        return op_r8SlbsZKtG(a,a)
    else:
        return op_mMNOlYfzJE(a)

def op_count_bL9bVDjnH3(a):
    if op_FAU4UUhKNM(a) > 607:
        count = op_count_r8SlbsZKtG(a,a)+op_count_FAU4UUhKNM(a)
    else:
        count = op_count_mMNOlYfzJE(a)
    return count


a⋲⋑b = { (338⊏≷≳) , if (b≻√⪧)==472 or b<77 or a!=34 ; (a⊫∤b) , else }

def op_XqY0JVqrjQ(a, b):
    if op_iJhMwlfzpc(b) == 472 or b < 77 or a != 34:
        return op_IyXueN9Vxj(338)
    else:
        return op_PAFjRznPDq(a,b)

def op_count_XqY0JVqrjQ(a, b):
    if op_iJhMwlfzpc(b) == 472 or b < 77 or a != 34:
        count = op_count_IyXueN9Vxj(338)+op_count_iJhMwlfzpc(b)
    else:
        count = op_count_PAFjRznPDq(a,b)
    return count


⩜∂a = { (≎⊗a) , if (a==34 or (a⪙⪡)>59) ; (a⨇∍a) , else }

def op_YM4t4Yvq2v(a):
    if (a == 34 or op_UXm6u3EINg(a) > 59):
        return op_F5el3aEdEY(a)
    else:
        return op_MLcC8hLVgw(a,a)

def op_count_YM4t4Yvq2v(a):
    if (a == 34 or op_UXm6u3EINg(a) > 59):
        count = op_count_F5el3aEdEY(a)+op_count_UXm6u3EINg(a)
    else:
        count = op_count_MLcC8hLVgw(a,a)
    return count


def op_2Eatjx6Scy(a):
    if op_DkVDVv6gLT(a,805) == 871 or op_aUmFd7VRsS(a,446) == 55 or op_FmRHj4r86U(a) > 131:
        return op_UO1RhPgbnL(a)
    else:
        return op_xtCeza3rDf(a,a)

def op_count_2Eatjx6Scy(a):
    if op_DkVDVv6gLT(a,805) == 871 or op_aUmFd7VRsS(a,446) == 55 or op_FmRHj4r86U(a) > 131:
        count = op_count_UO1RhPgbnL(a)+op_count_DkVDVv6gLT(a,805)+op_count_aUmFd7VRsS(a,446)+op_count_FmRHj4r86U(a)
    else:
        count = op_count_xtCeza3rDf(a,a)
    return count


a∂⊂b = { (((a⊮⊟↴b)⩶∖∔)⨍↙⩡((a⫯∀b)⋛(b↳314))) , if (→⊛b)!=375 ; (a∿∖((⪕↣⫥a)⊻(b⇱))) , else }

def op_lBo1w7jVIg(a, b):
    if op_OG4QiCaPPM(b) != 375:
        return op_BAYcl7KEcJ(op_VA1QDPD51e(op_QDVgd2eftb(a,b)),op_YbUVn0Rbpy(op_Vom2vRC85V(a,b),op_K1uHWJv1IW(b,314)))
    else:
        return op_j9qIIAB78T(a,op_exzyYvvvzF(op_wTbdp8pxvm(a),op_S0xevmWjPz(b)))

def op_count_lBo1w7jVIg(a, b):
    if op_OG4QiCaPPM(b) != 375:
        count = op_count_QDVgd2eftb(a,b)+op_count_VA1QDPD51e(op_QDVgd2eftb(a,b))+op_count_Vom2vRC85V(a,b)+op_count_K1uHWJv1IW(b,314)+op_count_YbUVn0Rbpy(op_Vom2vRC85V(a,b),op_K1uHWJv1IW(b,314))+op_count_BAYcl7KEcJ(op_VA1QDPD51e(op_QDVgd2eftb(a,b)),op_YbUVn0Rbpy(op_Vom2vRC85V(a,b),op_K1uHWJv1IW(b,314)))+op_count_OG4QiCaPPM(b)
    else:
        count = op_count_wTbdp8pxvm(a)+op_count_S0xevmWjPz(b)+op_count_exzyYvvvzF(op_wTbdp8pxvm(a),op_S0xevmWjPz(b))+op_count_j9qIIAB78T(a,op_exzyYvvvzF(op_wTbdp8pxvm(a),op_S0xevmWjPz(b)))
    return count


a⋢⪬⨗b = { (a⋤≤(a⨀⨰⊫116)) , if (b⋃∟⩱)!=358 or (⨈⪑b)!=13 ; (⇛⇍↶(↳⋇⋈b)) , else }

def op_JDc8ysv6vp(a, b):
    if op_9EYvfR4k4G(b) != 358 or op_mp94q5OcYM(b) != 13:
        return op_rwMffNUYCm(a,op_Gl4WN4Uwdx(a,116))
    else:
        return op_kZsPjwrGla(op_NT4oKKFh9T(b))

def op_count_JDc8ysv6vp(a, b):
    if op_9EYvfR4k4G(b) != 358 or op_mp94q5OcYM(b) != 13:
        count = op_count_Gl4WN4Uwdx(a,116)+op_count_rwMffNUYCm(a,op_Gl4WN4Uwdx(a,116))+op_count_9EYvfR4k4G(b)+op_count_mp94q5OcYM(b)
    else:
        count = op_count_NT4oKKFh9T(b)+op_count_kZsPjwrGla(op_NT4oKKFh9T(b))
    return count


↳≹⪂a = { ((a⇩⩌a)⨺⩶(65⨛⇹⫊a)) , if a<=259 ; ((a⊁)⇈⨇⊙(a⇽⪾⨎a)) , else }

def op_nclDsV6kpE(a):
    if a <= 259:
        return op_qCCe0Qx1RA(op_WtSaZj39hj(a,a),op_GJLngeV5jM(65,a))
    else:
        return op_S5cEPmjQ5R(op_IU5bnLfiEv(a),op_lzCx6JGp55(a,a))

def op_count_nclDsV6kpE(a):
    if a <= 259:
        count = op_count_WtSaZj39hj(a,a)+op_count_GJLngeV5jM(65,a)+op_count_qCCe0Qx1RA(op_WtSaZj39hj(a,a),op_GJLngeV5jM(65,a))
    else:
        count = op_count_IU5bnLfiEv(a)+op_count_lzCx6JGp55(a,a)+op_count_S5cEPmjQ5R(op_IU5bnLfiEv(a),op_lzCx6JGp55(a,a))
    return count


def op_1ji5VzsPO5(a):
    if op_F7HNRAl3VQ(a) < 657:
        return op_UkFG6YBLyt(op_YxgxvjpN4O(a),op_edpkH0X5wK(a,a))
    else:
        return op_CfshEWpL66(op_C6qVvj5REB(20,102),op_glYmogwHQI(a))

def op_count_1ji5VzsPO5(a):
    if op_F7HNRAl3VQ(a) < 657:
        count = op_count_YxgxvjpN4O(a)+op_count_edpkH0X5wK(a,a)+op_count_UkFG6YBLyt(op_YxgxvjpN4O(a),op_edpkH0X5wK(a,a))+op_count_F7HNRAl3VQ(a)
    else:
        count = op_count_C6qVvj5REB(20,102)+op_count_glYmogwHQI(a)+op_count_CfshEWpL66(op_C6qVvj5REB(20,102),op_glYmogwHQI(a))
    return count


a⫽≚ = { (≺⨵((a⊫∤a)∌⇯⇷(a⩐71))) , if (↱⊵a)>250 ; (((a⋣⩘⋸a)⫕⇤⪲(a⪌⫯a))⊁⊹⇚(⫌(a⋴⫬⫍a))) , else }

def op_S6MazRJXU7(a):
    if op_ySQaxTQMd8(a) > 250:
        return op_OfugFTrv6S(op_moP16zZBUU(op_PAFjRznPDq(a,a),op_bMfZrpXtSe(a,71)))
    else:
        return op_dfh7ENhFrR(op_NP9YRXuJAy(op_DvuSqA3vLS(a,a),op_NQTbndOZCW(a,a)),op_WFoUMfrXh9(op_lrLQygo13m(a,a)))

def op_count_S6MazRJXU7(a):
    if op_ySQaxTQMd8(a) > 250:
        count = op_count_PAFjRznPDq(a,a)+op_count_bMfZrpXtSe(a,71)+op_count_moP16zZBUU(op_PAFjRznPDq(a,a),op_bMfZrpXtSe(a,71))+op_count_OfugFTrv6S(op_moP16zZBUU(op_PAFjRznPDq(a,a),op_bMfZrpXtSe(a,71)))+op_count_ySQaxTQMd8(a)
    else:
        count = op_count_DvuSqA3vLS(a,a)+op_count_NQTbndOZCW(a,a)+op_count_NP9YRXuJAy(op_DvuSqA3vLS(a,a),op_NQTbndOZCW(a,a))+op_count_lrLQygo13m(a,a)+op_count_WFoUMfrXh9(op_lrLQygo13m(a,a))+op_count_dfh7ENhFrR(op_NP9YRXuJAy(op_DvuSqA3vLS(a,a),op_NQTbndOZCW(a,a)),op_WFoUMfrXh9(op_lrLQygo13m(a,a)))
    return count


a≍⊖b = { (⪎⫘⋣((a⪫↪977)⪄⨗⋂(b⪔∲))) , if (a⫚)==36 ; (((⇬⊨⫣b)↖≺⇫(a∫178))⩫≗⊖(≪(b∪⋗a))) , else }

def op_oOMvLvbYDH(a, b):
    if op_Rfnrj8mxUA(a) == 36:
        return op_E3Ox6p8mIt(op_BA5ptRLOMP(op_SR7DhePr6g(a,977),op_9Mv3TGYLiV(b)))
    else:
        return op_6GzKXIXcaD(op_rh14SKPVeV(op_AndBsovwpD(b),op_bX58bBWVyZ(a,178)),op_Qtd6bqUJcN(op_qPbESVb90t(b,a)))

def op_count_oOMvLvbYDH(a, b):
    if op_Rfnrj8mxUA(a) == 36:
        count = op_count_SR7DhePr6g(a,977)+op_count_9Mv3TGYLiV(b)+op_count_BA5ptRLOMP(op_SR7DhePr6g(a,977),op_9Mv3TGYLiV(b))+op_count_E3Ox6p8mIt(op_BA5ptRLOMP(op_SR7DhePr6g(a,977),op_9Mv3TGYLiV(b)))+op_count_Rfnrj8mxUA(a)
    else:
        count = op_count_AndBsovwpD(b)+op_count_bX58bBWVyZ(a,178)+op_count_rh14SKPVeV(op_AndBsovwpD(b),op_bX58bBWVyZ(a,178))+op_count_qPbESVb90t(b,a)+op_count_Qtd6bqUJcN(op_qPbESVb90t(b,a))+op_count_6GzKXIXcaD(op_rh14SKPVeV(op_AndBsovwpD(b),op_bX58bBWVyZ(a,178)),op_Qtd6bqUJcN(op_qPbESVb90t(b,a)))
    return count


def op_bNS9ZnBCLm(a):
    if op_Rc7o8AHK9u(a,926) <= 406 or op_V1brnGXOUL(a,833) >= 455:
        return op_NrdPCfJQiM(a,a)
    else:
        return op_ukSLkBfL7r(a)

def op_count_bNS9ZnBCLm(a):
    if op_Rc7o8AHK9u(a,926) <= 406 or op_V1brnGXOUL(a,833) >= 455:
        count = op_count_NrdPCfJQiM(a,a)+op_count_Rc7o8AHK9u(a,926)+op_count_V1brnGXOUL(a,833)
    else:
        count = op_count_ukSLkBfL7r(a)
    return count


a∆⇆↿b = { ((⊟≔b)⫃⨻⩹(b⪴⊹)) , if (a⫣222)!=379 ; (⊮−((a⇆⇯a)⪈(a⩁⩘a))) , else }

def op_XO3djLyJMK(a, b):
    if op_LJUzuYQJSf(a,222) != 379:
        return op_vlEuakAFQx(op_KF104xOwWn(b),op_WjjFUEefTk(b))
    else:
        return op_BX5yTvkFHV(op_y16C4hJIbn(op_BvUOHliOJ6(a,a),op_gub5Cegaqo(a,a)))

def op_count_XO3djLyJMK(a, b):
    if op_LJUzuYQJSf(a,222) != 379:
        count = op_count_KF104xOwWn(b)+op_count_WjjFUEefTk(b)+op_count_vlEuakAFQx(op_KF104xOwWn(b),op_WjjFUEefTk(b))+op_count_LJUzuYQJSf(a,222)
    else:
        count = op_count_BvUOHliOJ6(a,a)+op_count_gub5Cegaqo(a,a)+op_count_y16C4hJIbn(op_BvUOHliOJ6(a,a),op_gub5Cegaqo(a,a))+op_count_BX5yTvkFHV(op_y16C4hJIbn(op_BvUOHliOJ6(a,a),op_gub5Cegaqo(a,a)))
    return count


def op_BxhAOQCiWd(a):
    if (op_gNtKED3RKN(a) != 594 and a == 134 and op_sMyAjHvMXx(a) >= 330):
        return op_GAVB7XhWSO(a)
    else:
        return op_ukq6epAj5P(op_dfTirE4uw8(op_Y4lAmUR5B7(a,a),op_CG9pxRMcZU(a)),a)

def op_count_BxhAOQCiWd(a):
    if (op_gNtKED3RKN(a) != 594 and a == 134 and op_sMyAjHvMXx(a) >= 330):
        count = op_count_GAVB7XhWSO(a)+op_count_gNtKED3RKN(a)+op_count_sMyAjHvMXx(a)
    else:
        count = op_count_Y4lAmUR5B7(a,a)+op_count_CG9pxRMcZU(a)+op_count_dfTirE4uw8(op_Y4lAmUR5B7(a,a),op_CG9pxRMcZU(a))+op_count_ukq6epAj5P(op_dfTirE4uw8(op_Y4lAmUR5B7(a,a),op_CG9pxRMcZU(a)),a)
    return count


∜⩟a = { ((a⋪∉∙(a⊟⇵⫊202))∳(⫎≠⋺(a⩿⊎a))) , if (a∱⩿⨃)<651 ; (((⋀⊷⨤644)∆⩎(a⪘⫢a))∛⇕((67⪶⋼⋛a)⊺⪚↾(a⋔∶a))) , else }

def op_3z281OYBYs(a):
    if op_ABfv49b2Bx(a) < 651:
        return op_XCY0eMNfgm(op_ZudQkqJPAX(a,op_ov2Ek6r32i(a,202)),op_LYeZOJ0nQG(op_IIvul3xxOn(a,a)))
    else:
        return op_Gf27X6JpjG(op_zPWNPtZ3KV(op_7xJB7onPAH(644),op_oacrs7FA3X(a,a)),op_wFGzIcZ3iX(op_6ayBXmFTY1(67,a),op_e1tqKxnyD8(a,a)))

def op_count_3z281OYBYs(a):
    if op_ABfv49b2Bx(a) < 651:
        count = op_count_ov2Ek6r32i(a,202)+op_count_ZudQkqJPAX(a,op_ov2Ek6r32i(a,202))+op_count_IIvul3xxOn(a,a)+op_count_LYeZOJ0nQG(op_IIvul3xxOn(a,a))+op_count_XCY0eMNfgm(op_ZudQkqJPAX(a,op_ov2Ek6r32i(a,202)),op_LYeZOJ0nQG(op_IIvul3xxOn(a,a)))+op_count_ABfv49b2Bx(a)
    else:
        count = op_count_7xJB7onPAH(644)+op_count_oacrs7FA3X(a,a)+op_count_zPWNPtZ3KV(op_7xJB7onPAH(644),op_oacrs7FA3X(a,a))+op_count_6ayBXmFTY1(67,a)+op_count_e1tqKxnyD8(a,a)+op_count_wFGzIcZ3iX(op_6ayBXmFTY1(67,a),op_e1tqKxnyD8(a,a))+op_count_Gf27X6JpjG(op_zPWNPtZ3KV(op_7xJB7onPAH(644),op_oacrs7FA3X(a,a)),op_wFGzIcZ3iX(op_6ayBXmFTY1(67,a),op_e1tqKxnyD8(a,a)))
    return count


a⋏↰⫪b = { ((↮⋩⫫(a↜↔⇀b))∘↭) , if a<640 ; (⩐(a∊∟⩊(b∋⪕⋐554))) , else }

def op_SKwOfwr7qx(a, b):
    if a < 640:
        return op_9xyjPV1ThU(op_tOisafnce1(op_RXUpafmlG7(a,b)))
    else:
        return op_zukycwwyTc(op_ddLRYrp01A(a,op_qCin6ZH1or(b,554)))

def op_count_SKwOfwr7qx(a, b):
    if a < 640:
        count = op_count_RXUpafmlG7(a,b)+op_count_tOisafnce1(op_RXUpafmlG7(a,b))+op_count_9xyjPV1ThU(op_tOisafnce1(op_RXUpafmlG7(a,b)))
    else:
        count = op_count_qCin6ZH1or(b,554)+op_count_ddLRYrp01A(a,op_qCin6ZH1or(b,554))+op_count_zukycwwyTc(op_ddLRYrp01A(a,op_qCin6ZH1or(b,554)))
    return count


⪻⩬a = { ((⨻⊉⨹45)⫿⊹≯(a⪭⋶⫝̸a)) , if (⩴∝a)<271 ; (a⊓) , else }

def op_YFiUht9t3s(a):
    if op_oBqjyQFq4M(a) < 271:
        return op_WHt3Xt46DB(op_ZC1CbmVjOG(45),op_poiSo6Xg3g(a,a))
    else:
        return op_7Xkn05QJzG(a)

def op_count_YFiUht9t3s(a):
    if op_oBqjyQFq4M(a) < 271:
        count = op_count_ZC1CbmVjOG(45)+op_count_poiSo6Xg3g(a,a)+op_count_WHt3Xt46DB(op_ZC1CbmVjOG(45),op_poiSo6Xg3g(a,a))+op_count_oBqjyQFq4M(a)
    else:
        count = op_count_7Xkn05QJzG(a)
    return count


def op_EfXKeaGUzV(a, b):
    if (op_KYIJhKMuxi(b) == 505 and a >= 400 and op_YEzomLoFTT(a,516) == 24):
        return b
    else:
        return op_1NCu7utSrV(b,a)

def op_count_EfXKeaGUzV(a, b):
    if (op_KYIJhKMuxi(b) == 505 and a >= 400 and op_YEzomLoFTT(a,516) == 24):
        count = 1
    else:
        count = op_count_1NCu7utSrV(b,a)
    return count


a⨚⊲⫴ = { (a⪛a) , if (a∝⇝)>58 ; (a∾−192) , else }

def op_onUXBXXiSg(a):
    if op_yp9CRaSDpl(a) > 58:
        return op_uFcxV4UQCh(a,a)
    else:
        return op_V0u2OkZBsS(a,192)

def op_count_onUXBXXiSg(a):
    if op_yp9CRaSDpl(a) > 58:
        count = op_count_uFcxV4UQCh(a,a)+op_count_yp9CRaSDpl(a)
    else:
        count = op_count_V0u2OkZBsS(a,192)
    return count


⫻⩕a = { a , if a<=40 ; (≦∁(a⨆⩉a)) , else }

def op_l9uINT2ZnM(a):
    if a <= 40:
        return a
    else:
        return op_9ICcGScMcE(op_PtITbjBpBq(a,a))

def op_count_l9uINT2ZnM(a):
    if a <= 40:
        count = 1
    else:
        count = op_count_PtITbjBpBq(a,a)+op_count_9ICcGScMcE(op_PtITbjBpBq(a,a))
    return count


⫰⫭a = { ((a⩼⫦⨐152)⇐↙(a⊈⨦a)) , if (a⊣⨺399)==154 ; ((a≯≲⫧a)⇫≋(≘a)) , else }

def op_dTupBmadvU(a):
    if op_8yGz9s51pC(a,399) == 154:
        return op_nFUV6O7puR(op_i5RbA8eqaO(a,152),op_NCK8ztm4vY(a,a))
    else:
        return op_7mDgzgOxkj(op_qhwfmwp1fI(a,a),op_tcjXMdvYtA(a))

def op_count_dTupBmadvU(a):
    if op_8yGz9s51pC(a,399) == 154:
        count = op_count_i5RbA8eqaO(a,152)+op_count_NCK8ztm4vY(a,a)+op_count_nFUV6O7puR(op_i5RbA8eqaO(a,152),op_NCK8ztm4vY(a,a))+op_count_8yGz9s51pC(a,399)
    else:
        count = op_count_qhwfmwp1fI(a,a)+op_count_tcjXMdvYtA(a)+op_count_7mDgzgOxkj(op_qhwfmwp1fI(a,a),op_tcjXMdvYtA(a))
    return count


def op_FpcPPjdv9G(a):
    if a >= 597 and op_VjnqvBkomr(a) >= 64 and op_ZuEtOFAVcg(a,307) != 168:
        return op_RJKDfKcFKp(op_lBJ7sFuA67(342,a),op_lgKb5x9Kjz(a))
    else:
        return op_s1XTVnmDOJ(op_TtKiRfWgLg(a,a),a)

def op_count_FpcPPjdv9G(a):
    if a >= 597 and op_VjnqvBkomr(a) >= 64 and op_ZuEtOFAVcg(a,307) != 168:
        count = op_count_lBJ7sFuA67(342,a)+op_count_lgKb5x9Kjz(a)+op_count_RJKDfKcFKp(op_lBJ7sFuA67(342,a),op_lgKb5x9Kjz(a))+op_count_VjnqvBkomr(a)+op_count_ZuEtOFAVcg(a,307)
    else:
        count = op_count_TtKiRfWgLg(a,a)+op_count_s1XTVnmDOJ(op_TtKiRfWgLg(a,a),a)
    return count


a⪏⊘⩚b = { (b⊇⫘⪍b) , if (≎⊗b)>=287 and (b⇵⊁⩕)==43 and (≰⪎a)>141 ; (⋞⊪∩75) , else }

def op_KQPIbLmy7B(a, b):
    if op_F5el3aEdEY(b) >= 287 and op_ms6ehJAQNZ(b) == 43 and op_gC4f1fifnE(a) > 141:
        return op_dUpriDnGP5(b,b)
    else:
        return op_FQxrAp7wUb(75)

def op_count_KQPIbLmy7B(a, b):
    if op_F5el3aEdEY(b) >= 287 and op_ms6ehJAQNZ(b) == 43 and op_gC4f1fifnE(a) > 141:
        count = op_count_dUpriDnGP5(b,b)+op_count_F5el3aEdEY(b)+op_count_ms6ehJAQNZ(b)+op_count_gC4f1fifnE(a)
    else:
        count = op_count_FQxrAp7wUb(75)
    return count


⇌⇡⨾a = { (((a⨒⪷)⇼⇔∾(a⊡⋶a))⩜) , if ((a⫒⩐⫨440)<=27 and (a≜⇝989)<=61) ; (((a⪘⊱⫆a)⊫⊐⋞(a⪯⫾⋍375))⋩≍≻) , else }

def op_McFCC4mpHm(a):
    if (op_xf6eqZIrT0(a,440) <= 27 and op_ZXpgOvMj6j(a,989) <= 61):
        return op_m9KnjnodY9(op_tifHPKVTfV(op_KyVz9wbwCq(a),op_zXQIJkDMTk(a,a)))
    else:
        return op_WYd1w68Nbz(op_IYFFTOGOwC(op_YjcqlNuJ4W(a,a),op_S5ZFQS4GK3(a,375)))

def op_count_McFCC4mpHm(a):
    if (op_xf6eqZIrT0(a,440) <= 27 and op_ZXpgOvMj6j(a,989) <= 61):
        count = op_count_KyVz9wbwCq(a)+op_count_zXQIJkDMTk(a,a)+op_count_tifHPKVTfV(op_KyVz9wbwCq(a),op_zXQIJkDMTk(a,a))+op_count_m9KnjnodY9(op_tifHPKVTfV(op_KyVz9wbwCq(a),op_zXQIJkDMTk(a,a)))+op_count_xf6eqZIrT0(a,440)+op_count_ZXpgOvMj6j(a,989)
    else:
        count = op_count_YjcqlNuJ4W(a,a)+op_count_S5ZFQS4GK3(a,375)+op_count_IYFFTOGOwC(op_YjcqlNuJ4W(a,a),op_S5ZFQS4GK3(a,375))+op_count_WYd1w68Nbz(op_IYFFTOGOwC(op_YjcqlNuJ4W(a,a),op_S5ZFQS4GK3(a,375)))
    return count


⊩∉⨔a = { (((410⩽⩡85)∴⋮↜a)≯⩮⩓(⪷⩇(a≴⪞⇿a))) , if a<=26 ; (675⩹∮(⩆↑⇝(a⩂a))) , else }

def op_NnNzBmd9Ac(a):
    if a <= 26:
        return op_wcUnr516Gq(op_LFP2zRhVLi(op_zFNL8mZEFB(410,85),a),op_aSdQdaBIZD(op_lvlrscuwVU(a,a)))
    else:
        return op_HZGlijH19F(675,op_FAUHmXADzM(op_CfxG4j8dfZ(a,a)))

def op_count_NnNzBmd9Ac(a):
    if a <= 26:
        count = op_count_zFNL8mZEFB(410,85)+op_count_LFP2zRhVLi(op_zFNL8mZEFB(410,85),a)+op_count_lvlrscuwVU(a,a)+op_count_aSdQdaBIZD(op_lvlrscuwVU(a,a))+op_count_wcUnr516Gq(op_LFP2zRhVLi(op_zFNL8mZEFB(410,85),a),op_aSdQdaBIZD(op_lvlrscuwVU(a,a)))
    else:
        count = op_count_CfxG4j8dfZ(a,a)+op_count_FAUHmXADzM(op_CfxG4j8dfZ(a,a))+op_count_HZGlijH19F(675,op_FAUHmXADzM(op_CfxG4j8dfZ(a,a)))
    return count


a⨒⩉ = { (a⊧↖) , if (a⪈)>775 ; (a⇏⩵⨆a) , else }

def op_jAF6zt9CKD(a):
    if op_45CgEd1X7v(a) > 775:
        return op_EKiFHuOFxO(a)
    else:
        return op_GH46DaXZxO(a,a)

def op_count_jAF6zt9CKD(a):
    if op_45CgEd1X7v(a) > 775:
        count = op_count_EKiFHuOFxO(a)+op_count_45CgEd1X7v(a)
    else:
        count = op_count_GH46DaXZxO(a,a)
    return count


def op_txwYU0SrTK(a, b):
    if a == 341:
        return op_B0ezUFU1kP(168)
    else:
        return op_3TJII8pRfQ(b,4)

def op_count_txwYU0SrTK(a, b):
    if a == 341:
        count = op_count_B0ezUFU1kP(168)
    else:
        count = op_count_3TJII8pRfQ(b,4)
    return count


a⇆⊲⇢b = { (((b≚⊃≕398)⩜⩆(b⇚⪠))⪐-((∫⋌b)⊙⨺⨬(b⇛a))) , if (⩇⇝b)>633 ; (((b≵b)⫣≬(b⩈⩕⇁b))⪯((a⨢↰b)⊎⇁⫏(133⪿⇪⊩21))) , else }

def op_eit6DlVSbc(a, b):
    if op_VdfggxAD5a(b) > 633:
        return op_d8xe6WWVfM(op_gBZ5YI4mOE(op_Bmrmz2XGnR(b,398),op_Loh9y4A90B(b)),op_xrB6SlzufE(op_9onfuQE7Rk(b),op_S3tN1ZzpSt(b,a)))
    else:
        return op_I3ZanAtbUM(op_NrWB21ZewL(op_nV04iLk7Bg(b,b),op_kUwfQWDciI(b,b)),op_oj0wKxwag9(op_xTB5j2aZzK(a,b),op_OGWBzMv138(133,21)))

def op_count_eit6DlVSbc(a, b):
    if op_VdfggxAD5a(b) > 633:
        count = op_count_Bmrmz2XGnR(b,398)+op_count_Loh9y4A90B(b)+op_count_gBZ5YI4mOE(op_Bmrmz2XGnR(b,398),op_Loh9y4A90B(b))+op_count_9onfuQE7Rk(b)+op_count_S3tN1ZzpSt(b,a)+op_count_xrB6SlzufE(op_9onfuQE7Rk(b),op_S3tN1ZzpSt(b,a))+op_count_d8xe6WWVfM(op_gBZ5YI4mOE(op_Bmrmz2XGnR(b,398),op_Loh9y4A90B(b)),op_xrB6SlzufE(op_9onfuQE7Rk(b),op_S3tN1ZzpSt(b,a)))+op_count_VdfggxAD5a(b)
    else:
        count = op_count_nV04iLk7Bg(b,b)+op_count_kUwfQWDciI(b,b)+op_count_NrWB21ZewL(op_nV04iLk7Bg(b,b),op_kUwfQWDciI(b,b))+op_count_xTB5j2aZzK(a,b)+op_count_OGWBzMv138(133,21)+op_count_oj0wKxwag9(op_xTB5j2aZzK(a,b),op_OGWBzMv138(133,21))+op_count_I3ZanAtbUM(op_NrWB21ZewL(op_nV04iLk7Bg(b,b),op_kUwfQWDciI(b,b)),op_oj0wKxwag9(op_xTB5j2aZzK(a,b),op_OGWBzMv138(133,21)))
    return count


a↢↝⊦ = { a , if (a⨅⪔751)<567 ; (a≎a) , else }

def op_c2r3abcdex(a):
    if op_zs0bbCWKdf(a,751) < 567:
        return a
    else:
        return op_kvyeM8WEH2(a,a)

def op_count_c2r3abcdex(a):
    if op_zs0bbCWKdf(a,751) < 567:
        count = 1
    else:
        count = op_count_kvyeM8WEH2(a,a)
    return count


a⫎⋖⫩ = { (⊀⪏((a⫏a)⨈(a⇼⪱⪮a))) , if a>36 ; (a⨕≅) , else }

def op_SUBirZyVSs(a):
    if a > 36:
        return op_p86lzYUsDd(op_A4Cuy9E95d(op_uQ5MaQD2YO(a,a),op_iKXgM9nePW(a,a)))
    else:
        return op_oRPPGhDbyZ(a)

def op_count_SUBirZyVSs(a):
    if a > 36:
        count = op_count_uQ5MaQD2YO(a,a)+op_count_iKXgM9nePW(a,a)+op_count_A4Cuy9E95d(op_uQ5MaQD2YO(a,a),op_iKXgM9nePW(a,a))+op_count_p86lzYUsDd(op_A4Cuy9E95d(op_uQ5MaQD2YO(a,a),op_iKXgM9nePW(a,a)))
    else:
        count = op_count_oRPPGhDbyZ(a)
    return count


a∼⨁⨫b = { (612⋥⋵⩄0) , if (a⫲⨙≴)!=143 ; (a⋚∑⪥b) , else }

def op_eEL69zFnLs(a, b):
    if op_nWHsyAHoNI(a) != 143:
        return op_7t3wd0Fuz7(612,0)
    else:
        return op_BnmjcH64ep(a,b)

def op_count_eEL69zFnLs(a, b):
    if op_nWHsyAHoNI(a) != 143:
        count = op_count_7t3wd0Fuz7(612,0)+op_count_nWHsyAHoNI(a)
    else:
        count = op_count_BnmjcH64ep(a,b)
    return count


a⪚⊹ = { (a⋼⫬(a⩈⨋∅a)) , if a<45 or a<762 or a<=49 ; ((a⋻⋥a)⪶⋼⋛(265⋕⪉⪜a)) , else }

def op_Gfb776MB0v(a):
    if a < 45 or a < 762 or a <= 49:
        return op_Y4dFvpZTzx(a,op_pziE1BpiHF(a,a))
    else:
        return op_6ayBXmFTY1(op_mR0p8TbMGG(a,a),op_z6LnFrNh4i(265,a))

def op_count_Gfb776MB0v(a):
    if a < 45 or a < 762 or a <= 49:
        count = op_count_pziE1BpiHF(a,a)+op_count_Y4dFvpZTzx(a,op_pziE1BpiHF(a,a))
    else:
        count = op_count_mR0p8TbMGG(a,a)+op_count_z6LnFrNh4i(265,a)+op_count_6ayBXmFTY1(op_mR0p8TbMGG(a,a),op_z6LnFrNh4i(265,a))
    return count


def op_kxjOcGAF4x(a, b):
    if op_G4EbQfwSm2(a,287) > 358 and op_jIjE9uTss5(a,209) != 3:
        return op_vRio1gEz1j(b)
    else:
        return op_srAu1WTS94(a)

def op_count_kxjOcGAF4x(a, b):
    if op_G4EbQfwSm2(a,287) > 358 and op_jIjE9uTss5(a,209) != 3:
        count = op_count_vRio1gEz1j(b)+op_count_G4EbQfwSm2(a,287)+op_count_jIjE9uTss5(a,209)
    else:
        count = op_count_srAu1WTS94(a)
    return count


⪷⨧∗a = { (↥(99⫳⫚⇈a)) , if ((a⇸⊡⊌)>=312 or (a≗)<138) ; ((a⨡⇟⫳a)⫎⇑↛(a⪈a)) , else }

def op_1ppdvXw4NF(a):
    if (op_i2qnWr4Tz9(a) >= 312 or op_LhKFc5N9Ux(a) < 138):
        return op_A8NUZmVepG(op_InHNDff3xD(99,a))
    else:
        return op_yJC0uiLgXl(op_LlA1dz4vja(a,a),op_y16C4hJIbn(a,a))

def op_count_1ppdvXw4NF(a):
    if (op_i2qnWr4Tz9(a) >= 312 or op_LhKFc5N9Ux(a) < 138):
        count = op_count_InHNDff3xD(99,a)+op_count_A8NUZmVepG(op_InHNDff3xD(99,a))+op_count_i2qnWr4Tz9(a)+op_count_LhKFc5N9Ux(a)
    else:
        count = op_count_LlA1dz4vja(a,a)+op_count_y16C4hJIbn(a,a)+op_count_yJC0uiLgXl(op_LlA1dz4vja(a,a),op_y16C4hJIbn(a,a))
    return count


def op_MFRHkRtSmA(a, b):
    if a >= 127:
        return op_XCY0eMNfgm(op_yo23qO3U4o(op_8zNRrli7uG(256,b),op_9rNHCbYvka(a,a)),8)
    else:
        return op_nz26hwsvpd(op_WxCQVOxfvH(op_TPY4Vhd24N(a,b)))

def op_count_MFRHkRtSmA(a, b):
    if a >= 127:
        count = op_count_8zNRrli7uG(256,b)+op_count_9rNHCbYvka(a,a)+op_count_yo23qO3U4o(op_8zNRrli7uG(256,b),op_9rNHCbYvka(a,a))+op_count_XCY0eMNfgm(op_yo23qO3U4o(op_8zNRrli7uG(256,b),op_9rNHCbYvka(a,a)),8)
    else:
        count = op_count_TPY4Vhd24N(a,b)+op_count_WxCQVOxfvH(op_TPY4Vhd24N(a,b))+op_count_nz26hwsvpd(op_WxCQVOxfvH(op_TPY4Vhd24N(a,b)))
    return count


a⩯≙ = { (((81⇫⨙a)↕(a⇤a))⩌⨭≭((a⫃a)⨰↻⪇(a∝≶54))) , if a>2 ; ((⊖∈(a≜⩢⊷a))⩞⨑(⇏⫅(a⫣≾⊺128))) , else }

def op_mPmOAv6pl0(a):
    if a > 2:
        return op_4KnvnEaVgu(op_LenFzV9tw1(op_5hfPSBHW5r(81,a),op_YSKBFp38Pu(a,a)),op_nbuSfrB4hB(op_jkca4M7ITL(a,a),op_e0UC6DYTvX(a,54)))
    else:
        return op_gWibIJBsW2(op_YFxL8Sc2Zy(op_k9T6mMvXeX(a,a)),op_p1y54au9R0(op_LXAvwK8YDe(a,128)))

def op_count_mPmOAv6pl0(a):
    if a > 2:
        count = op_count_5hfPSBHW5r(81,a)+op_count_YSKBFp38Pu(a,a)+op_count_LenFzV9tw1(op_5hfPSBHW5r(81,a),op_YSKBFp38Pu(a,a))+op_count_jkca4M7ITL(a,a)+op_count_e0UC6DYTvX(a,54)+op_count_nbuSfrB4hB(op_jkca4M7ITL(a,a),op_e0UC6DYTvX(a,54))+op_count_4KnvnEaVgu(op_LenFzV9tw1(op_5hfPSBHW5r(81,a),op_YSKBFp38Pu(a,a)),op_nbuSfrB4hB(op_jkca4M7ITL(a,a),op_e0UC6DYTvX(a,54)))
    else:
        count = op_count_k9T6mMvXeX(a,a)+op_count_YFxL8Sc2Zy(op_k9T6mMvXeX(a,a))+op_count_LXAvwK8YDe(a,128)+op_count_p1y54au9R0(op_LXAvwK8YDe(a,128))+op_count_gWibIJBsW2(op_YFxL8Sc2Zy(op_k9T6mMvXeX(a,a)),op_p1y54au9R0(op_LXAvwK8YDe(a,128)))
    return count


a⫂⋷b = { b , if (a⇎)>352 ; (((≎⊗b)⪌≁⫾(a↜⊷a))⨚⪝((a⋉a)⋭(974⨖⇷a))) , else }

def op_cqe5JS8r4F(a, b):
    if op_F3U2LKoYzR(a) > 352:
        return b
    else:
        return op_X2bul7T2BP(op_BpbpqQnb2W(op_F5el3aEdEY(b),op_irKjLsMeKy(a,a)),op_WRl4KaSwns(op_Lctt7tVaRL(a,a),op_JoVwyMeNnt(974,a)))

def op_count_cqe5JS8r4F(a, b):
    if op_F3U2LKoYzR(a) > 352:
        count = 1
    else:
        count = op_count_F5el3aEdEY(b)+op_count_irKjLsMeKy(a,a)+op_count_BpbpqQnb2W(op_F5el3aEdEY(b),op_irKjLsMeKy(a,a))+op_count_Lctt7tVaRL(a,a)+op_count_JoVwyMeNnt(974,a)+op_count_WRl4KaSwns(op_Lctt7tVaRL(a,a),op_JoVwyMeNnt(974,a))+op_count_X2bul7T2BP(op_BpbpqQnb2W(op_F5el3aEdEY(b),op_irKjLsMeKy(a,a)),op_WRl4KaSwns(op_Lctt7tVaRL(a,a),op_JoVwyMeNnt(974,a)))
    return count


def op_TC4CXaSPFw(a):
    if op_avxXIHzjv1(a,762) != 508 and a >= 123:
        return op_dS3vmXYzMr(op_Qtd6bqUJcN(a),op_UlQ84THUy4(a,a))
    else:
        return op_GpLCU43mni(op_yHZBwDW2Tk(a,a),op_OKGz76xQTU(a,129))

def op_count_TC4CXaSPFw(a):
    if op_avxXIHzjv1(a,762) != 508 and a >= 123:
        count = op_count_Qtd6bqUJcN(a)+op_count_UlQ84THUy4(a,a)+op_count_dS3vmXYzMr(op_Qtd6bqUJcN(a),op_UlQ84THUy4(a,a))+op_count_avxXIHzjv1(a,762)
    else:
        count = op_count_yHZBwDW2Tk(a,a)+op_count_OKGz76xQTU(a,129)+op_count_GpLCU43mni(op_yHZBwDW2Tk(a,a),op_OKGz76xQTU(a,129))
    return count


a⩞∭↩b = { ((a⩗∓⫀(a⫦⪝b))≡(a≭∩(b⨕⋳))) , if a==702 and (⫿⫊⊕a)<=93 ; b , else }

def op_dGh8tZTXpZ(a, b):
    if a == 702 and op_SLtCypM0tD(a) <= 93:
        return op_oW1cUEY5Sq(op_F2taXPkQ1B(a,op_m4ELZxczPY(a,b)),op_q1J6mXxel7(a,op_4X4GscPmMf(b)))
    else:
        return b

def op_count_dGh8tZTXpZ(a, b):
    if a == 702 and op_SLtCypM0tD(a) <= 93:
        count = op_count_m4ELZxczPY(a,b)+op_count_F2taXPkQ1B(a,op_m4ELZxczPY(a,b))+op_count_4X4GscPmMf(b)+op_count_q1J6mXxel7(a,op_4X4GscPmMf(b))+op_count_oW1cUEY5Sq(op_F2taXPkQ1B(a,op_m4ELZxczPY(a,b)),op_q1J6mXxel7(a,op_4X4GscPmMf(b)))+op_count_SLtCypM0tD(a)
    else:
        count = 1
    return count


a∵∄⫽b = { ((b⨻⪊⨷a)⨍⪒↱) , if b<80 ; ((a⫶⪥↳b)⫇⋯(b⪭⋶⫝̸b)) , else }

def op_vJL9zW01lR(a, b):
    if b < 80:
        return op_pI9YMM1ZOi(op_Pkwamo1tM2(b,a))
    else:
        return op_xoJmIySC7h(op_ymOBY7rw1m(a,b),op_poiSo6Xg3g(b,b))

def op_count_vJL9zW01lR(a, b):
    if b < 80:
        count = op_count_Pkwamo1tM2(b,a)+op_count_pI9YMM1ZOi(op_Pkwamo1tM2(b,a))
    else:
        count = op_count_ymOBY7rw1m(a,b)+op_count_poiSo6Xg3g(b,b)+op_count_xoJmIySC7h(op_ymOBY7rw1m(a,b),op_poiSo6Xg3g(b,b))
    return count


a⇷⫩∐b = { ((b⨩≤⫤b)⇕) , if (a↛)!=52 ; a , else }

def op_m3RzpFxG9o(a, b):
    if op_HZwfF5iRlC(a) != 52:
        return op_vaH8QgiDVg(op_neKQRQQIil(b,b))
    else:
        return a

def op_count_m3RzpFxG9o(a, b):
    if op_HZwfF5iRlC(a) != 52:
        count = op_count_neKQRQQIil(b,b)+op_count_vaH8QgiDVg(op_neKQRQQIil(b,b))+op_count_HZwfF5iRlC(a)
    else:
        count = 1
    return count


⊯⪥a = { ((a⨳⩥⨓a)⇳(a⩒⫫a)) , if a>534 ; ((a→⩸↪a)≃⋄) , else }

def op_nWmGNsKps7(a):
    if a > 534:
        return op_ekA2oeJZMY(op_nCS4ZIUYfx(a,a),op_KFSx94NKJn(a,a))
    else:
        return op_aN9a90urxU(op_UUAh1Hdfpu(a,a))

def op_count_nWmGNsKps7(a):
    if a > 534:
        count = op_count_nCS4ZIUYfx(a,a)+op_count_KFSx94NKJn(a,a)+op_count_ekA2oeJZMY(op_nCS4ZIUYfx(a,a),op_KFSx94NKJn(a,a))
    else:
        count = op_count_UUAh1Hdfpu(a,a)+op_count_aN9a90urxU(op_UUAh1Hdfpu(a,a))
    return count


def op_brH9JXUoJ8(a):
    if op_u7fv1HBiaC(a) < 226:
        return op_0D7yuLhasi(233)
    else:
        return op_UkFG6YBLyt(470,a)

def op_count_brH9JXUoJ8(a):
    if op_u7fv1HBiaC(a) < 226:
        count = op_count_0D7yuLhasi(233)+op_count_u7fv1HBiaC(a)
    else:
        count = op_count_UkFG6YBLyt(470,a)
    return count


def op_QawyrIFcuj(a):
    if a < 102 and op_KFvx0uYMJh(a) > 339 and a <= 640:
        return op_i8ToyICDmI(591,92)
    else:
        return op_9tKT6PmtkH(934)

def op_count_QawyrIFcuj(a):
    if a < 102 and op_KFvx0uYMJh(a) > 339 and a <= 640:
        count = op_count_i8ToyICDmI(591,92)+op_count_KFvx0uYMJh(a)
    else:
        count = op_count_9tKT6PmtkH(934)
    return count


def op_6E7YYtf6WW(a):
    if (op_qR0a6FVQRO(a) > 75 and a > 373):
        return op_PaBHOjxk8c(op_uQ5MaQD2YO(19,431))
    else:
        return op_vREf5JSI95(op_FZXVY8MgqP(a))

def op_count_6E7YYtf6WW(a):
    if (op_qR0a6FVQRO(a) > 75 and a > 373):
        count = op_count_uQ5MaQD2YO(19,431)+op_count_PaBHOjxk8c(op_uQ5MaQD2YO(19,431))+op_count_qR0a6FVQRO(a)
    else:
        count = op_count_FZXVY8MgqP(a)+op_count_vREf5JSI95(op_FZXVY8MgqP(a))
    return count


≌↨+a = { ((⇾a)⩄⊊(⩎⨒↳a)) , if (⋝⫝⇞a)>=534 ; (≋(a⊵⩛∤a)) , else }

def op_SrmO9uAGRY(a):
    if op_plD4nFIz3E(a) >= 534:
        return op_ckxBfo3j3z(op_YE0NuhSZe9(a),op_udD8TXgqfB(a))
    else:
        return op_61wBmkZwlr(op_36V2MidH9c(a,a))

def op_count_SrmO9uAGRY(a):
    if op_plD4nFIz3E(a) >= 534:
        count = op_count_YE0NuhSZe9(a)+op_count_udD8TXgqfB(a)+op_count_ckxBfo3j3z(op_YE0NuhSZe9(a),op_udD8TXgqfB(a))+op_count_plD4nFIz3E(a)
    else:
        count = op_count_36V2MidH9c(a,a)+op_count_61wBmkZwlr(op_36V2MidH9c(a,a))
    return count


def op_czPDG2m7oo(a):
    if (op_YihBXhoEus(a) >= 270 and op_OaPFTkT3rt(a) <= 69 and op_7GgezYTPa9(a,325) == 81):
        return op_Fe3OlIgKHc(a)
    else:
        return op_S8OTv5lHfG(a,536)

def op_count_czPDG2m7oo(a):
    if (op_YihBXhoEus(a) >= 270 and op_OaPFTkT3rt(a) <= 69 and op_7GgezYTPa9(a,325) == 81):
        count = op_count_Fe3OlIgKHc(a)+op_count_YihBXhoEus(a)+op_count_OaPFTkT3rt(a)+op_count_7GgezYTPa9(a,325)
    else:
        count = op_count_S8OTv5lHfG(a,536)
    return count


⩊a = { (↸≛(⇠∝≜(a⪒⩉a))) , if (⨙⫴⫎a)!=313 ; (((a↱⊁⫤a)∖⪙(∦⪖a))⫉⋃((a⋯↤a)⇙⫲(a∎∾⫀a))) , else }

def op_oU4pJxGBSS(a):
    if op_KRkRyTki02(a) != 313:
        return op_DG2cS3PCn6(op_g1LgX1JFXs(op_JZ6LT1lUci(a,a)))
    else:
        return op_YEzomLoFTT(op_wcnuipe1kD(op_G1IgnKcz2d(a,a),op_QwQ0bohp01(a)),op_gTCkXbls8X(op_AqWwJ29PGN(a,a),op_5BPGwbLSwr(a,a)))

def op_count_oU4pJxGBSS(a):
    if op_KRkRyTki02(a) != 313:
        count = op_count_JZ6LT1lUci(a,a)+op_count_g1LgX1JFXs(op_JZ6LT1lUci(a,a))+op_count_DG2cS3PCn6(op_g1LgX1JFXs(op_JZ6LT1lUci(a,a)))+op_count_KRkRyTki02(a)
    else:
        count = op_count_G1IgnKcz2d(a,a)+op_count_QwQ0bohp01(a)+op_count_wcnuipe1kD(op_G1IgnKcz2d(a,a),op_QwQ0bohp01(a))+op_count_AqWwJ29PGN(a,a)+op_count_5BPGwbLSwr(a,a)+op_count_gTCkXbls8X(op_AqWwJ29PGN(a,a),op_5BPGwbLSwr(a,a))+op_count_YEzomLoFTT(op_wcnuipe1kD(op_G1IgnKcz2d(a,a),op_QwQ0bohp01(a)),op_gTCkXbls8X(op_AqWwJ29PGN(a,a),op_5BPGwbLSwr(a,a)))
    return count


def op_iZfg1modf1(a, b):
    if op_KXDdaHDbNw(b,156) <= 228 or op_8ZWiXT2Wxh(a,541) < 443:
        return a
    else:
        return op_8INZBEW696(op_dUVc8B1hJO(op_8cNrNy0nrI(a,a)),op_exzyYvvvzF(op_vtuEveK19u(a),op_5LE63mxGOF(506,b)))

def op_count_iZfg1modf1(a, b):
    if op_KXDdaHDbNw(b,156) <= 228 or op_8ZWiXT2Wxh(a,541) < 443:
        count = 1
    else:
        count = op_count_8cNrNy0nrI(a,a)+op_count_dUVc8B1hJO(op_8cNrNy0nrI(a,a))+op_count_vtuEveK19u(a)+op_count_5LE63mxGOF(506,b)+op_count_exzyYvvvzF(op_vtuEveK19u(a),op_5LE63mxGOF(506,b))+op_count_8INZBEW696(op_dUVc8B1hJO(op_8cNrNy0nrI(a,a)),op_exzyYvvvzF(op_vtuEveK19u(a),op_5LE63mxGOF(506,b)))
    return count


⫭⩬a = { (((74⪡a)≽⋴≂)↖≺⇫((a⊾⇫a)⩛(a⨉⩜⊁a))) , if a<348 ; (⨦⩛(⨰∸⨫(a⨖⋀⪧))) , else }

def op_6ukkYxVLSh(a):
    if a < 348:
        return op_rh14SKPVeV(op_tu1KPXez7K(op_oraRL2iQuh(74,a)),op_1Ozlt4kVTJ(op_EaccxuysW0(a,a),op_F5AHWXXekn(a,a)))
    else:
        return op_am5vEDSDTs(op_QLCso5hF94(op_Yd9a1pGZCe(a)))

def op_count_6ukkYxVLSh(a):
    if a < 348:
        count = op_count_oraRL2iQuh(74,a)+op_count_tu1KPXez7K(op_oraRL2iQuh(74,a))+op_count_EaccxuysW0(a,a)+op_count_F5AHWXXekn(a,a)+op_count_1Ozlt4kVTJ(op_EaccxuysW0(a,a),op_F5AHWXXekn(a,a))+op_count_rh14SKPVeV(op_tu1KPXez7K(op_oraRL2iQuh(74,a)),op_1Ozlt4kVTJ(op_EaccxuysW0(a,a),op_F5AHWXXekn(a,a)))
    else:
        count = op_count_Yd9a1pGZCe(a)+op_count_QLCso5hF94(op_Yd9a1pGZCe(a))+op_count_am5vEDSDTs(op_QLCso5hF94(op_Yd9a1pGZCe(a)))
    return count


a∖⊱∩b = { (((⊕b)⋱⇵b)⩑((↠⨻⇳b)∝≗(a⊓a))) , if (a⇞⊞⩶)>=3 ; (((a∰⋭172)⊝⨜≵)→⩸↪(208∖⊫(a⪬⪬⋰695))) , else }

def op_AzuvrbTMCN(a, b):
    if op_Ng8DvMldyy(a) >= 3:
        return op_jbrVa8FwMb(op_5ESOiVPbEV(op_C2eOkFrmjf(b),b),op_bQy7iKdSPD(op_x6DEqRu9vc(b),op_ExT1EayJM6(a,a)))
    else:
        return op_UUAh1Hdfpu(op_CuHhPb8RwQ(op_qeG8mGoQOE(a,172)),op_xNgZz6XNYQ(208,op_dKnrfkTA9N(a,695)))

def op_count_AzuvrbTMCN(a, b):
    if op_Ng8DvMldyy(a) >= 3:
        count = op_count_C2eOkFrmjf(b)+op_count_5ESOiVPbEV(op_C2eOkFrmjf(b),b)+op_count_x6DEqRu9vc(b)+op_count_ExT1EayJM6(a,a)+op_count_bQy7iKdSPD(op_x6DEqRu9vc(b),op_ExT1EayJM6(a,a))+op_count_jbrVa8FwMb(op_5ESOiVPbEV(op_C2eOkFrmjf(b),b),op_bQy7iKdSPD(op_x6DEqRu9vc(b),op_ExT1EayJM6(a,a)))+op_count_Ng8DvMldyy(a)
    else:
        count = op_count_qeG8mGoQOE(a,172)+op_count_CuHhPb8RwQ(op_qeG8mGoQOE(a,172))+op_count_dKnrfkTA9N(a,695)+op_count_xNgZz6XNYQ(208,op_dKnrfkTA9N(a,695))+op_count_UUAh1Hdfpu(op_CuHhPb8RwQ(op_qeG8mGoQOE(a,172)),op_xNgZz6XNYQ(208,op_dKnrfkTA9N(a,695)))
    return count


a↾⋢⨛b = { 87 , if (b∖⨕)!=748 ; (a⫇⩸⨢b) , else }

def op_wrRbCGIh8z(a, b):
    if op_w6vKuAWEt9(b) != 748:
        return 87
    else:
        return op_diu054m9en(a,b)

def op_count_wrRbCGIh8z(a, b):
    if op_w6vKuAWEt9(b) != 748:
        count = op_count_w6vKuAWEt9(b)
    else:
        count = op_count_diu054m9en(a,b)
    return count


∟⋚a = { (⋡⪙⨇(a↼⇙⨌a)) , if (⪾a)!=397 ; a , else }

def op_2ORcNqMYln(a):
    if op_lnBQX9AhHE(a) != 397:
        return op_UWGAvKki9m(op_rMifWJgd3t(a,a))
    else:
        return a

def op_count_2ORcNqMYln(a):
    if op_lnBQX9AhHE(a) != 397:
        count = op_count_rMifWJgd3t(a,a)+op_count_UWGAvKki9m(op_rMifWJgd3t(a,a))+op_count_lnBQX9AhHE(a)
    else:
        count = 1
    return count


def op_C7qQ2FzY6w(a):
    if a <= 163:
        return op_ydyDtesUNX(839)
    else:
        return op_gNtKED3RKN(op_zBeky0p6hI(a))

def op_count_C7qQ2FzY6w(a):
    if a <= 163:
        count = op_count_ydyDtesUNX(839)
    else:
        count = op_count_zBeky0p6hI(a)+op_count_gNtKED3RKN(op_zBeky0p6hI(a))
    return count


⋕≑a = { ((⨚∍⪓a)⋊(a∓⇿⇟622)) , if a==1 ; (a⊐⪢≴(a⨍⇓a)) , else }

def op_IzOKbZyrV5(a):
    if a == 1:
        return op_Dk6V8i6EvU(op_A70lgPgx8E(a),op_gXIGmlOAB4(a,622))
    else:
        return op_aXwoIQj555(a,op_J6P3rkRUj0(a,a))

def op_count_IzOKbZyrV5(a):
    if a == 1:
        count = op_count_A70lgPgx8E(a)+op_count_gXIGmlOAB4(a,622)+op_count_Dk6V8i6EvU(op_A70lgPgx8E(a),op_gXIGmlOAB4(a,622))
    else:
        count = op_count_J6P3rkRUj0(a,a)+op_count_aXwoIQj555(a,op_J6P3rkRUj0(a,a))
    return count


def op_xKojsOwT2Q(a):
    if op_sI0su5b2po(a) == 104:
        return op_z4Ajd36hBy(op_6LEqcG83L6(a,321),op_YbUVn0Rbpy(231,a))
    else:
        return op_5UorIKpPro(op_FSgM43rAbT(a))

def op_count_xKojsOwT2Q(a):
    if op_sI0su5b2po(a) == 104:
        count = op_count_6LEqcG83L6(a,321)+op_count_YbUVn0Rbpy(231,a)+op_count_z4Ajd36hBy(op_6LEqcG83L6(a,321),op_YbUVn0Rbpy(231,a))+op_count_sI0su5b2po(a)
    else:
        count = op_count_FSgM43rAbT(a)+op_count_5UorIKpPro(op_FSgM43rAbT(a))
    return count


a⫢⇘∝b = { (∱≗a) , if (⋉b)>=112 ; (a⪖⪡a) , else }

def op_4TVzEgIAOW(a, b):
    if op_7nDYFTqyZr(b) >= 112:
        return op_TLSiz8NPqi(a)
    else:
        return op_7PjNe5qSIJ(a,a)

def op_count_4TVzEgIAOW(a, b):
    if op_7nDYFTqyZr(b) >= 112:
        count = op_count_TLSiz8NPqi(a)+op_count_7nDYFTqyZr(b)
    else:
        count = op_count_7PjNe5qSIJ(a,a)
    return count


a⊸⋶b = { ((b↡⫩⩏)⫉⋑⫄(a⨝⩣∺)) , if (↿⩠⋻a)!=532 and a!=94 and (b⫡690)<=643 ; ((a⊮⊟↴b)⊫(a↴⪮a)) , else }

def op_hAnHtMy7w3(a, b):
    if op_HHzAglSfHQ(a) != 532 and a != 94 and op_r42jg1nETI(b,690) <= 643:
        return op_Ar9Pym55NP(op_4Zbi407kdO(b),op_ancx8kZcWl(a))
    else:
        return op_kOoQ1erSk8(op_QDVgd2eftb(a,b),op_3ayH0UyYyX(a,a))

def op_count_hAnHtMy7w3(a, b):
    if op_HHzAglSfHQ(a) != 532 and a != 94 and op_r42jg1nETI(b,690) <= 643:
        count = op_count_4Zbi407kdO(b)+op_count_ancx8kZcWl(a)+op_count_Ar9Pym55NP(op_4Zbi407kdO(b),op_ancx8kZcWl(a))+op_count_HHzAglSfHQ(a)+op_count_r42jg1nETI(b,690)
    else:
        count = op_count_QDVgd2eftb(a,b)+op_count_3ayH0UyYyX(a,a)+op_count_kOoQ1erSk8(op_QDVgd2eftb(a,b),op_3ayH0UyYyX(a,a))
    return count


a⫳⩫⫘b = { ((b⨉⊹⋈a)≓≂(a⫁≮∙a)) , if (⊡⇒⪪b)<749 ; ((⫶⊄≣b)⩚⨌) , else }

def op_qmIDKKAtKh(a, b):
    if op_wisItNeSwq(b) < 749:
        return op_9VoQ6iZjwX(op_jPYZHDFkUI(b,a),op_hKcBw1Lue0(a,a))
    else:
        return op_aPjlLpp23p(op_wxb3vTeyAj(b))

def op_count_qmIDKKAtKh(a, b):
    if op_wisItNeSwq(b) < 749:
        count = op_count_jPYZHDFkUI(b,a)+op_count_hKcBw1Lue0(a,a)+op_count_9VoQ6iZjwX(op_jPYZHDFkUI(b,a),op_hKcBw1Lue0(a,a))+op_count_wisItNeSwq(b)
    else:
        count = op_count_wxb3vTeyAj(b)+op_count_aPjlLpp23p(op_wxb3vTeyAj(b))
    return count


def op_cEkRxgHhVa(a):
    return op_hWheh3WaNG(a,op_mk4FjxrA5V(a))

def op_count_cEkRxgHhVa(a):
    count = op_count_mk4FjxrA5V(a)+op_count_hWheh3WaNG(a,op_mk4FjxrA5V(a))
    return count


def op_S964yixmzy(a, b):
    if (op_YkXXfHVFPI(a) >= 62 or op_sQqERRYnsS(b) < 610):
        return op_hiBDRd40bf(op_NvXf9kO3wV(op_ceRqZ68cFu(56,742),op_k8X3umw52W(b,723)),op_rppWNvNsyJ(op_8INZBEW696(a,a)))
    else:
        return op_d5CHQX7ZoG(op_Wo0bHzzxyF(op_QyT1usQeR4(a,b)),op_Jpd0OHcjin(op_zNFFvkV5QZ(103,b)))

def op_count_S964yixmzy(a, b):
    if (op_YkXXfHVFPI(a) >= 62 or op_sQqERRYnsS(b) < 610):
        count = op_count_ceRqZ68cFu(56,742)+op_count_k8X3umw52W(b,723)+op_count_NvXf9kO3wV(op_ceRqZ68cFu(56,742),op_k8X3umw52W(b,723))+op_count_8INZBEW696(a,a)+op_count_rppWNvNsyJ(op_8INZBEW696(a,a))+op_count_hiBDRd40bf(op_NvXf9kO3wV(op_ceRqZ68cFu(56,742),op_k8X3umw52W(b,723)),op_rppWNvNsyJ(op_8INZBEW696(a,a)))+op_count_YkXXfHVFPI(a)+op_count_sQqERRYnsS(b)
    else:
        count = op_count_QyT1usQeR4(a,b)+op_count_Wo0bHzzxyF(op_QyT1usQeR4(a,b))+op_count_zNFFvkV5QZ(103,b)+op_count_Jpd0OHcjin(op_zNFFvkV5QZ(103,b))+op_count_d5CHQX7ZoG(op_Wo0bHzzxyF(op_QyT1usQeR4(a,b)),op_Jpd0OHcjin(op_zNFFvkV5QZ(103,b)))
    return count


def op_B8FWm1sKOp(a):
    if (op_M2pIAIy88N(a) <= 486 or op_TucRNWL6Pw(a) > 100):
        return op_X2bul7T2BP(op_leNEk7drxJ(op_YbUVn0Rbpy(a,a)),op_7IRjtmSsUO(op_RPa3726CSl(a),op_qvKIMln9sx(a,a)))
    else:
        return op_qvKIMln9sx(op_6pONsy2XwS(op_iSxGtpjIlD(a),op_4OtQz9P6fE(a,a)),op_try26Xv2zA(op_msRZmk5CCg(a,119),op_x5p3WF8YzS(a,165)))

def op_count_B8FWm1sKOp(a):
    if (op_M2pIAIy88N(a) <= 486 or op_TucRNWL6Pw(a) > 100):
        count = op_count_YbUVn0Rbpy(a,a)+op_count_leNEk7drxJ(op_YbUVn0Rbpy(a,a))+op_count_RPa3726CSl(a)+op_count_qvKIMln9sx(a,a)+op_count_7IRjtmSsUO(op_RPa3726CSl(a),op_qvKIMln9sx(a,a))+op_count_X2bul7T2BP(op_leNEk7drxJ(op_YbUVn0Rbpy(a,a)),op_7IRjtmSsUO(op_RPa3726CSl(a),op_qvKIMln9sx(a,a)))+op_count_M2pIAIy88N(a)+op_count_TucRNWL6Pw(a)
    else:
        count = op_count_iSxGtpjIlD(a)+op_count_4OtQz9P6fE(a,a)+op_count_6pONsy2XwS(op_iSxGtpjIlD(a),op_4OtQz9P6fE(a,a))+op_count_msRZmk5CCg(a,119)+op_count_x5p3WF8YzS(a,165)+op_count_try26Xv2zA(op_msRZmk5CCg(a,119),op_x5p3WF8YzS(a,165))+op_count_qvKIMln9sx(op_6pONsy2XwS(op_iSxGtpjIlD(a),op_4OtQz9P6fE(a,a)),op_try26Xv2zA(op_msRZmk5CCg(a,119),op_x5p3WF8YzS(a,165)))
    return count


def op_B9xYyIfem5(a):
    return op_kvIXUmKfYG(op_3s7bcXIOLx(a,a))

def op_count_B9xYyIfem5(a):
    count = op_count_3s7bcXIOLx(a,a)+op_count_kvIXUmKfYG(op_3s7bcXIOLx(a,a))
    return count


⨿⇶⊪a = { (((a⊖⩤a)∍↴(a⇚⪠))⊔((a⋗⨓a)⩖∀(a⩓a))) , if ((⨍a)>=148 or (a⋸∕)==402) ; a , else }

def op_0RhLLOON5O(a):
    if (op_pf0uqpgSkL(a) >= 148 or op_hfzAcxY1HE(a) == 402):
        return op_E4l6HwMY31(op_Esodbl1gVe(op_muoSboCI92(a,a),op_Loh9y4A90B(a)),op_vb6BVWtSHd(op_imqY0THBaP(a,a),op_ZkTErvSsVl(a,a)))
    else:
        return a

def op_count_0RhLLOON5O(a):
    if (op_pf0uqpgSkL(a) >= 148 or op_hfzAcxY1HE(a) == 402):
        count = op_count_muoSboCI92(a,a)+op_count_Loh9y4A90B(a)+op_count_Esodbl1gVe(op_muoSboCI92(a,a),op_Loh9y4A90B(a))+op_count_imqY0THBaP(a,a)+op_count_ZkTErvSsVl(a,a)+op_count_vb6BVWtSHd(op_imqY0THBaP(a,a),op_ZkTErvSsVl(a,a))+op_count_E4l6HwMY31(op_Esodbl1gVe(op_muoSboCI92(a,a),op_Loh9y4A90B(a)),op_vb6BVWtSHd(op_imqY0THBaP(a,a),op_ZkTErvSsVl(a,a)))+op_count_pf0uqpgSkL(a)+op_count_hfzAcxY1HE(a)
    else:
        count = 1
    return count


def op_3O44ngoEp5(a):
    if (op_jLVBUR7r3z(a) <= 271 or op_j6xpuCeBbW(a) != 279):
        return op_OsERE6edzB(67)
    else:
        return op_0QEWQRhRpH(a,a)

def op_count_3O44ngoEp5(a):
    if (op_jLVBUR7r3z(a) <= 271 or op_j6xpuCeBbW(a) != 279):
        count = op_count_OsERE6edzB(67)+op_count_jLVBUR7r3z(a)+op_count_j6xpuCeBbW(a)
    else:
        count = op_count_0QEWQRhRpH(a,a)
    return count


a≭⩙∲b = { (⊫∐⫩(b⨚⨎(b↸a))) , if ((a⊺⪚↾667)>111 and b<87) ; (((a↧a)⩫(≪⨁a))⫉⋃b) , else }

def op_uc7hNODfk0(a, b):
    if (op_wFGzIcZ3iX(a,667) > 111 and b < 87):
        return op_gSr4c7pPrV(op_vu59hxsJ1z(b,op_1eCjFl0mb9(b,a)))
    else:
        return op_YEzomLoFTT(op_8zNRrli7uG(op_5LE63mxGOF(a,a),op_srBb5Ry0l3(a)),b)

def op_count_uc7hNODfk0(a, b):
    if (op_wFGzIcZ3iX(a,667) > 111 and b < 87):
        count = op_count_1eCjFl0mb9(b,a)+op_count_vu59hxsJ1z(b,op_1eCjFl0mb9(b,a))+op_count_gSr4c7pPrV(op_vu59hxsJ1z(b,op_1eCjFl0mb9(b,a)))+op_count_wFGzIcZ3iX(a,667)
    else:
        count = op_count_5LE63mxGOF(a,a)+op_count_srBb5Ry0l3(a)+op_count_8zNRrli7uG(op_5LE63mxGOF(a,a),op_srBb5Ry0l3(a))+op_count_YEzomLoFTT(op_8zNRrli7uG(op_5LE63mxGOF(a,a),op_srBb5Ry0l3(a)),b)
    return count


def op_ea2zvyrKmE(a):
    if (op_3DWXHa4XRG(a) < 96 or op_oFFw5ibboO(a) <= 15 or a < 104):
        return op_hFnZRMLNSM(op_jfAgQ2OQeM(a))
    else:
        return op_LwmwRo8pon(op_wcUnr516Gq(55,a),op_kzp3oYQzRT(a,755))

def op_count_ea2zvyrKmE(a):
    if (op_3DWXHa4XRG(a) < 96 or op_oFFw5ibboO(a) <= 15 or a < 104):
        count = op_count_jfAgQ2OQeM(a)+op_count_hFnZRMLNSM(op_jfAgQ2OQeM(a))+op_count_3DWXHa4XRG(a)+op_count_oFFw5ibboO(a)
    else:
        count = op_count_wcUnr516Gq(55,a)+op_count_kzp3oYQzRT(a,755)+op_count_LwmwRo8pon(op_wcUnr516Gq(55,a),op_kzp3oYQzRT(a,755))
    return count


def op_XwvgBEAZvL(a):
    return op_RJKDfKcFKp(op_0P6jqB2nlY(64,a),op_u0dhG1s4E2(a,190))

def op_count_XwvgBEAZvL(a):
    count = op_count_0P6jqB2nlY(64,a)+op_count_u0dhG1s4E2(a,190)+op_count_RJKDfKcFKp(op_0P6jqB2nlY(64,a),op_u0dhG1s4E2(a,190))
    return count


def op_VgeRG2wcJO(a):
    return op_4mnGiJ3ceb(op_MtU63d9ZNI(20),op_ZvB8Fo8LGH(a,a))

def op_count_VgeRG2wcJO(a):
    count = op_count_MtU63d9ZNI(20)+op_count_ZvB8Fo8LGH(a,a)+op_count_4mnGiJ3ceb(op_MtU63d9ZNI(20),op_ZvB8Fo8LGH(a,a))
    return count


def op_FMXDKVvoWq(a):
    if op_ziENa4oeDe(a,695) != 642:
        return op_bHT9wUTdfV(a,op_j6NVkjMzuk(a))
    else:
        return op_bX58bBWVyZ(op_GZNMAtHQ0A(a,287),a)

def op_count_FMXDKVvoWq(a):
    if op_ziENa4oeDe(a,695) != 642:
        count = op_count_j6NVkjMzuk(a)+op_count_bHT9wUTdfV(a,op_j6NVkjMzuk(a))+op_count_ziENa4oeDe(a,695)
    else:
        count = op_count_GZNMAtHQ0A(a,287)+op_count_bX58bBWVyZ(op_GZNMAtHQ0A(a,287),a)
    return count


↥⊵⫢a = { (⇘((⪅≇a)⋂⫽⪜(a⫚⇃⪓a))) , if (⫇a)>=15 ; (((a∲⫈⊪a)⫕(a⫯⪅↕))⪚a) , else }

def op_snY4i7AnEH(a):
    if op_YjI8oCXuph(a) >= 15:
        return op_MGuIdZPyUC(op_BS1zk2O8ip(op_fkEnnR20LD(a),op_8ZWiXT2Wxh(a,a)))
    else:
        return op_HrjLwUk87U(op_6CTfL9kIPY(op_XMp7OlDfur(a,a),op_kdV7rk3jKp(a)),a)

def op_count_snY4i7AnEH(a):
    if op_YjI8oCXuph(a) >= 15:
        count = op_count_fkEnnR20LD(a)+op_count_8ZWiXT2Wxh(a,a)+op_count_BS1zk2O8ip(op_fkEnnR20LD(a),op_8ZWiXT2Wxh(a,a))+op_count_MGuIdZPyUC(op_BS1zk2O8ip(op_fkEnnR20LD(a),op_8ZWiXT2Wxh(a,a)))+op_count_YjI8oCXuph(a)
    else:
        count = op_count_XMp7OlDfur(a,a)+op_count_kdV7rk3jKp(a)+op_count_6CTfL9kIPY(op_XMp7OlDfur(a,a),op_kdV7rk3jKp(a))+op_count_HrjLwUk87U(op_6CTfL9kIPY(op_XMp7OlDfur(a,a),op_kdV7rk3jKp(a)),a)
    return count


def op_sJCxMEJGw3(a):
    return op_AJW4C0rBPs(op_i5RbA8eqaO(a,a),op_kvIXUmKfYG(120))

def op_count_sJCxMEJGw3(a):
    count = op_count_i5RbA8eqaO(a,a)+op_count_kvIXUmKfYG(120)+op_count_AJW4C0rBPs(op_i5RbA8eqaO(a,a),op_kvIXUmKfYG(120))
    return count


def op_rpm0c6hkjF(a):
    return op_8INZBEW696(322,a)

def op_count_rpm0c6hkjF(a):
    count = op_count_8INZBEW696(322,a)
    return count


a⋦⋎↙ = { (((⪾a)⊣⨲(a⇏a))⨭⪣((776≣⪪⪧a)⊶⊞(a⇼))) , if a<285 and (⊱∞a)<=488 ; (((a⨒⇂⨽a)⫺(213⫑))∮↭((a⪱)⨟(a∿⇄∔a))) , else }

def op_v5Qrqh3LtL(a):
    if a < 285 and op_4r9bMLtmr2(a) <= 488:
        return op_kn8WO9XteQ(op_PjIHNKxrlt(op_lnBQX9AhHE(a),op_PgomNjGXmI(a,a)),op_vqL3z2Fhus(op_7Qh4uK5oHN(776,a),op_zDnGpti63o(a)))
    else:
        return op_uE2ouRUgIU(op_P0o8L8MpVP(op_Q8Thw7a1vL(a,a),op_CgIo77xlM2(213)),op_AU7BrOWeXc(op_QrPBJNmqe2(a),op_H0hvRnhmX4(a,a)))

def op_count_v5Qrqh3LtL(a):
    if a < 285 and op_4r9bMLtmr2(a) <= 488:
        count = op_count_lnBQX9AhHE(a)+op_count_PgomNjGXmI(a,a)+op_count_PjIHNKxrlt(op_lnBQX9AhHE(a),op_PgomNjGXmI(a,a))+op_count_7Qh4uK5oHN(776,a)+op_count_zDnGpti63o(a)+op_count_vqL3z2Fhus(op_7Qh4uK5oHN(776,a),op_zDnGpti63o(a))+op_count_kn8WO9XteQ(op_PjIHNKxrlt(op_lnBQX9AhHE(a),op_PgomNjGXmI(a,a)),op_vqL3z2Fhus(op_7Qh4uK5oHN(776,a),op_zDnGpti63o(a)))+op_count_4r9bMLtmr2(a)
    else:
        count = op_count_Q8Thw7a1vL(a,a)+op_count_CgIo77xlM2(213)+op_count_P0o8L8MpVP(op_Q8Thw7a1vL(a,a),op_CgIo77xlM2(213))+op_count_QrPBJNmqe2(a)+op_count_H0hvRnhmX4(a,a)+op_count_AU7BrOWeXc(op_QrPBJNmqe2(a),op_H0hvRnhmX4(a,a))+op_count_uE2ouRUgIU(op_P0o8L8MpVP(op_Q8Thw7a1vL(a,a),op_CgIo77xlM2(213)),op_AU7BrOWeXc(op_QrPBJNmqe2(a),op_H0hvRnhmX4(a,a)))
    return count


def op_DWEcSmf8PJ(a):
    return op_6m6eYvIglw(op_HtfiQVUMWI(op_wxb3vTeyAj(a),op_z8Vpgc5KJS(a,a)))

def op_count_DWEcSmf8PJ(a):
    count = op_count_wxb3vTeyAj(a)+op_count_z8Vpgc5KJS(a,a)+op_count_HtfiQVUMWI(op_wxb3vTeyAj(a),op_z8Vpgc5KJS(a,a))+op_count_6m6eYvIglw(op_HtfiQVUMWI(op_wxb3vTeyAj(a),op_z8Vpgc5KJS(a,a)))
    return count


a⨫⩆⪂ = { a , if (a⩤⇕↭)>69 ; ((435∇a)⊇⨟∦) , else }

def op_veW6T7vJnP(a):
    if op_sayj7rmJXN(a) > 69:
        return a
    else:
        return op_4wdLeFtEcX(op_fICjaz8Yf3(435,a))

def op_count_veW6T7vJnP(a):
    if op_sayj7rmJXN(a) > 69:
        count = 1
    else:
        count = op_count_fICjaz8Yf3(435,a)+op_count_4wdLeFtEcX(op_fICjaz8Yf3(435,a))
    return count


a⩌⋃ = { (((15⊓⋫)⊱⫣(137⫑⨱173))⨓⫹((a⩒⩻a)⫚⊁(⊦⊋⋾a))) , if (a∥⋈≜84)==223 ; ((⋧⫪≄(a⋩⇎))⇌⫙⪟((a⩋⇋a)⫼⇷(a⨆⩍a))) , else }

def op_ExhMl7tL3O(a):
    if op_QAd1nPzBGT(a,84) == 223:
        return op_YYmmGX8gEu(op_lYYgj615o2(op_IqGBaFP0uj(15),op_ckHj138N5r(137,173)),op_jCit4cQ0Np(op_3x4KQ8f6lD(a,a),op_y8cOOkYZzJ(a)))
    else:
        return op_AFVx7xoS7T(op_aQOF7STvow(op_84TDxkSNK1(a)),op_W5FaPSP1ue(op_5eM6Qp6mRY(a,a),op_vzIhVlHn4a(a,a)))

def op_count_ExhMl7tL3O(a):
    if op_QAd1nPzBGT(a,84) == 223:
        count = op_count_IqGBaFP0uj(15)+op_count_ckHj138N5r(137,173)+op_count_lYYgj615o2(op_IqGBaFP0uj(15),op_ckHj138N5r(137,173))+op_count_3x4KQ8f6lD(a,a)+op_count_y8cOOkYZzJ(a)+op_count_jCit4cQ0Np(op_3x4KQ8f6lD(a,a),op_y8cOOkYZzJ(a))+op_count_YYmmGX8gEu(op_lYYgj615o2(op_IqGBaFP0uj(15),op_ckHj138N5r(137,173)),op_jCit4cQ0Np(op_3x4KQ8f6lD(a,a),op_y8cOOkYZzJ(a)))+op_count_QAd1nPzBGT(a,84)
    else:
        count = op_count_84TDxkSNK1(a)+op_count_aQOF7STvow(op_84TDxkSNK1(a))+op_count_5eM6Qp6mRY(a,a)+op_count_vzIhVlHn4a(a,a)+op_count_W5FaPSP1ue(op_5eM6Qp6mRY(a,a),op_vzIhVlHn4a(a,a))+op_count_AFVx7xoS7T(op_aQOF7STvow(op_84TDxkSNK1(a)),op_W5FaPSP1ue(op_5eM6Qp6mRY(a,a),op_vzIhVlHn4a(a,a)))
    return count


a⪰⩬b = { (a⊂≢↧(⋜∺(342⊾⪯⋞b))) , if b<772 ; (⇔↙⇢a) , else }

def op_bv5TH0yHlB(a, b):
    if b < 772:
        return op_1NCu7utSrV(a,op_izD018cS1t(op_HK0tfVPux8(342,b)))
    else:
        return op_43Q9kPNg6V(a)

def op_count_bv5TH0yHlB(a, b):
    if b < 772:
        count = op_count_HK0tfVPux8(342,b)+op_count_izD018cS1t(op_HK0tfVPux8(342,b))+op_count_1NCu7utSrV(a,op_izD018cS1t(op_HK0tfVPux8(342,b)))
    else:
        count = op_count_43Q9kPNg6V(a)
    return count


a⩾⇁⋓b = { (832≲⪆⩈a) , if (b⋳⪺⪌)!=170 ; (b⨻⩈⩔a) , else }

def op_ZX5tMuGpvw(a, b):
    if op_3FGESL1lF8(b) != 170:
        return op_BM16iZzMx8(832,a)
    else:
        return op_nEsXyWgiOK(b,a)

def op_count_ZX5tMuGpvw(a, b):
    if op_3FGESL1lF8(b) != 170:
        count = op_count_BM16iZzMx8(832,a)+op_count_3FGESL1lF8(b)
    else:
        count = op_count_nEsXyWgiOK(b,a)
    return count


a⊷⫩⩔b = { (164⨨a) , if (a⊺)>284 ; (a≆⋉⩆b) , else }

def op_ralaNa988P(a, b):
    if op_wff9HZunSZ(a) > 284:
        return op_vhtqQa4va1(164,a)
    else:
        return op_sHMtVDD4nv(a,b)

def op_count_ralaNa988P(a, b):
    if op_wff9HZunSZ(a) > 284:
        count = op_count_vhtqQa4va1(164,a)+op_count_wff9HZunSZ(a)
    else:
        count = op_count_sHMtVDD4nv(a,b)
    return count


def op_P61xNvXJCL(a, b):
    return op_E64sFOc4tB(op_d5CHQX7ZoG(op_xUOZtlo3hN(a),op_kSF6tTRmc5(b,800)))

def op_count_P61xNvXJCL(a, b):
    count = op_count_xUOZtlo3hN(a)+op_count_kSF6tTRmc5(b,800)+op_count_d5CHQX7ZoG(op_xUOZtlo3hN(a),op_kSF6tTRmc5(b,800))+op_count_E64sFOc4tB(op_d5CHQX7ZoG(op_xUOZtlo3hN(a),op_kSF6tTRmc5(b,800)))
    return count


def op_2GQrsJBuJP(a, b):
    return op_OVAuBYEMFc(op_G68iXt2SEN(op_mox3eEFvMs(265)),op_oraRL2iQuh(op_Bg4ILJ8bWx(a,b),op_yuvXk3Mco8(b)))

def op_count_2GQrsJBuJP(a, b):
    count = op_count_mox3eEFvMs(265)+op_count_G68iXt2SEN(op_mox3eEFvMs(265))+op_count_Bg4ILJ8bWx(a,b)+op_count_yuvXk3Mco8(b)+op_count_oraRL2iQuh(op_Bg4ILJ8bWx(a,b),op_yuvXk3Mco8(b))+op_count_OVAuBYEMFc(op_G68iXt2SEN(op_mox3eEFvMs(265)),op_oraRL2iQuh(op_Bg4ILJ8bWx(a,b),op_yuvXk3Mco8(b)))
    return count


a↓≀b = { ((a⋽≿⩈a)⊵⇹⇚a) , if (a⩨≂973)!=181 ; ((99⊩b)⩔⇧⪏(⨮↦↱a)) , else }

def op_Izi1QHXWZJ(a, b):
    if op_lhONkfYInr(a,973) != 181:
        return op_FG4jWDXkwW(op_A1lUXjvBPn(a,a),a)
    else:
        return op_uTXOZ2BrWI(op_aCwnCp9fG4(99,b),op_sYcpBQ0cFf(a))

def op_count_Izi1QHXWZJ(a, b):
    if op_lhONkfYInr(a,973) != 181:
        count = op_count_A1lUXjvBPn(a,a)+op_count_FG4jWDXkwW(op_A1lUXjvBPn(a,a),a)+op_count_lhONkfYInr(a,973)
    else:
        count = op_count_aCwnCp9fG4(99,b)+op_count_sYcpBQ0cFf(a)+op_count_uTXOZ2BrWI(op_aCwnCp9fG4(99,b),op_sYcpBQ0cFf(a))
    return count


a∹⇒≸b = { ((b∔b)⇠⇖⨝(a⩈⨋∅b)) , if (⨌⪏a)!=10 ; ((a⩹∮a)∲↓≵) , else }

def op_4sRnSH0ldE(a, b):
    if op_aKouilhhtC(a) != 10:
        return op_H2Ssz4jEjc(op_7vzQ3v2UG6(b,b),op_pziE1BpiHF(a,b))
    else:
        return op_M2pIAIy88N(op_HZGlijH19F(a,a))

def op_count_4sRnSH0ldE(a, b):
    if op_aKouilhhtC(a) != 10:
        count = op_count_7vzQ3v2UG6(b,b)+op_count_pziE1BpiHF(a,b)+op_count_H2Ssz4jEjc(op_7vzQ3v2UG6(b,b),op_pziE1BpiHF(a,b))+op_count_aKouilhhtC(a)
    else:
        count = op_count_HZGlijH19F(a,a)+op_count_M2pIAIy88N(op_HZGlijH19F(a,a))
    return count


def op_Wimg07XIVX(a):
    if (op_gcnKSmWBRw(a,228) < 442 and op_QEn8q3amHe(a) != 919):
        return op_rfhpjrEH1F(a,op_iXQfhhNwXF(a))
    else:
        return op_DD02tHBmow(op_dAvLJZHBt7(9),op_CElUNYQIpN(13,a))

def op_count_Wimg07XIVX(a):
    if (op_gcnKSmWBRw(a,228) < 442 and op_QEn8q3amHe(a) != 919):
        count = op_count_iXQfhhNwXF(a)+op_count_rfhpjrEH1F(a,op_iXQfhhNwXF(a))+op_count_gcnKSmWBRw(a,228)+op_count_QEn8q3amHe(a)
    else:
        count = op_count_dAvLJZHBt7(9)+op_count_CElUNYQIpN(13,a)+op_count_DD02tHBmow(op_dAvLJZHBt7(9),op_CElUNYQIpN(13,a))
    return count


def op_9ipoYaL8gF(a):
    return op_kzp3oYQzRT(op_hyuBjUqXlG(a,661),op_apS25hmuAe(473))

def op_count_9ipoYaL8gF(a):
    count = op_count_hyuBjUqXlG(a,661)+op_count_apS25hmuAe(473)+op_count_kzp3oYQzRT(op_hyuBjUqXlG(a,661),op_apS25hmuAe(473))
    return count


a≹b = { (a⪺⋮b) , if (a∰⋭880)==790 ; (b⫸⊐b) , else }

def op_r2SrZsyW6O(a, b):
    if op_qeG8mGoQOE(a,880) == 790:
        return op_3s7bcXIOLx(a,b)
    else:
        return op_mqXw5SEYmG(b,b)

def op_count_r2SrZsyW6O(a, b):
    if op_qeG8mGoQOE(a,880) == 790:
        count = op_count_3s7bcXIOLx(a,b)+op_count_qeG8mGoQOE(a,880)
    else:
        count = op_count_mqXw5SEYmG(b,b)
    return count


def op_6Bn9seHpcB(a, b):
    return op_gClX4CNEER(op_YoXIXuKAaa(b,368),op_YEzomLoFTT(a,133))

def op_count_6Bn9seHpcB(a, b):
    count = op_count_YoXIXuKAaa(b,368)+op_count_YEzomLoFTT(a,133)+op_count_gClX4CNEER(op_YoXIXuKAaa(b,368),op_YEzomLoFTT(a,133))
    return count