⨨⨛a = { (((a≺⋏a)⋆⋬(a⩽⩡a))⫞) , if (⨟⫽⩍a)>215 ; (a⪁⨴⋨((544∗⋺⪧)≧⨸≅(a⨏⋷⊗a))) , else }

def op_GDMloXLLsI(a):
    if op_GDq8SIrlUA(a) > 215:
        return op_mk4FjxrA5V(op_7YiCYgpUY4(op_exBNT1EbB9(a,a),op_zFNL8mZEFB(a,a)))
    else:
        return op_y2kQTS4a70(a,op_ovZcSHEfmM(op_iC1nznOfI5(544),op_qFQkR9UZt5(a,a)))

def op_count_GDMloXLLsI(a):
    if op_GDq8SIrlUA(a) > 215:
        count = op_count_exBNT1EbB9(a,a)+op_count_zFNL8mZEFB(a,a)+op_count_7YiCYgpUY4(op_exBNT1EbB9(a,a),op_zFNL8mZEFB(a,a))+op_count_mk4FjxrA5V(op_7YiCYgpUY4(op_exBNT1EbB9(a,a),op_zFNL8mZEFB(a,a)))+op_count_GDq8SIrlUA(a)
    else:
        count = op_count_iC1nznOfI5(544)+op_count_qFQkR9UZt5(a,a)+op_count_ovZcSHEfmM(op_iC1nznOfI5(544),op_qFQkR9UZt5(a,a))+op_count_y2kQTS4a70(a,op_ovZcSHEfmM(op_iC1nznOfI5(544),op_qFQkR9UZt5(a,a)))
    return count


a≉⇁⇑b = { ((a∍⫁⪅a)⫺(a⇳a)) , if (b≕⇆48)<367 ; (⇤←(↳⋇⋈b)) , else }

def op_PMnSbSZIXz(a, b):
    if op_4bQfsS4Ggx(b,48) < 367:
        return op_P0o8L8MpVP(op_glenQ1xDvR(a,a),op_ekA2oeJZMY(a,a))
    else:
        return op_jfAgQ2OQeM(op_NT4oKKFh9T(b))

def op_count_PMnSbSZIXz(a, b):
    if op_4bQfsS4Ggx(b,48) < 367:
        count = op_count_glenQ1xDvR(a,a)+op_count_ekA2oeJZMY(a,a)+op_count_P0o8L8MpVP(op_glenQ1xDvR(a,a),op_ekA2oeJZMY(a,a))+op_count_4bQfsS4Ggx(b,48)
    else:
        count = op_count_NT4oKKFh9T(b)+op_count_jfAgQ2OQeM(op_NT4oKKFh9T(b))
    return count


⨰∴a = { (a∉⊞⊌204) , if a<=819 ; (a⊊⊦a) , else }

def op_OnYpUDctdv(a):
    if a <= 819:
        return op_22UCrTUJEh(a,204)
    else:
        return op_e3R0INlQmt(a,a)

def op_count_OnYpUDctdv(a):
    if a <= 819:
        count = op_count_22UCrTUJEh(a,204)
    else:
        count = op_count_e3R0INlQmt(a,a)
    return count


a⇭⩛b = { (((a⫟↡b)∸⇼(b≲a))⊩(⫇⨡(a⊱⫣624))) , if (b⋻⪍⫐)<=77 ; (⊰≻⩌((b∀↭⫰a)↹⇡)) , else }

def op_i7brRvs2Zr(a, b):
    if op_YvRQj5obxP(b) <= 77:
        return op_aCwnCp9fG4(op_MsxN17mfUC(op_Vb2KBMmg4y(a,b),op_C6qVvj5REB(b,a)),op_hVQNqXJ0VF(op_lYYgj615o2(a,624)))
    else:
        return op_5wUK3axwSB(op_l9k287WniR(op_2muwgCqbmH(b,a)))

def op_count_i7brRvs2Zr(a, b):
    if op_YvRQj5obxP(b) <= 77:
        count = op_count_Vb2KBMmg4y(a,b)+op_count_C6qVvj5REB(b,a)+op_count_MsxN17mfUC(op_Vb2KBMmg4y(a,b),op_C6qVvj5REB(b,a))+op_count_lYYgj615o2(a,624)+op_count_hVQNqXJ0VF(op_lYYgj615o2(a,624))+op_count_aCwnCp9fG4(op_MsxN17mfUC(op_Vb2KBMmg4y(a,b),op_C6qVvj5REB(b,a)),op_hVQNqXJ0VF(op_lYYgj615o2(a,624)))+op_count_YvRQj5obxP(b)
    else:
        count = op_count_2muwgCqbmH(b,a)+op_count_l9k287WniR(op_2muwgCqbmH(b,a))+op_count_5wUK3axwSB(op_l9k287WniR(op_2muwgCqbmH(b,a)))
    return count


⪸∊a = { (⇙a) , if a>=23 ; (a⋱⊊a) , else }

def op_L46geuqLrK(a):
    if a >= 23:
        return op_hJ1EP0XKuB(a)
    else:
        return op_XIK4G3vWTl(a,a)

def op_count_L46geuqLrK(a):
    if a >= 23:
        count = op_count_hJ1EP0XKuB(a)
    else:
        count = op_count_XIK4G3vWTl(a,a)
    return count


def op_mHbOv7fYp3(a, b):
    if op_joCbSVezTg(a,281) <= 72:
        return op_siyWwrmZkB(op_18saOjeKKm(b),op_WYd1w68Nbz(426))
    else:
        return op_9aXLFNf8dt(op_jBncVCNhdl(a,a),op_ehqVwXWd4k(108,b))

def op_count_mHbOv7fYp3(a, b):
    if op_joCbSVezTg(a,281) <= 72:
        count = op_count_18saOjeKKm(b)+op_count_WYd1w68Nbz(426)+op_count_siyWwrmZkB(op_18saOjeKKm(b),op_WYd1w68Nbz(426))+op_count_joCbSVezTg(a,281)
    else:
        count = op_count_jBncVCNhdl(a,a)+op_count_ehqVwXWd4k(108,b)+op_count_9aXLFNf8dt(op_jBncVCNhdl(a,a),op_ehqVwXWd4k(108,b))
    return count


def op_RAYF3wTNd8(a):
    if (op_XZQF252bpX(a,153) > 848 and op_MzzvRbhZVg(a) > 16):
        return op_lvlrscuwVU(a,a)
    else:
        return a

def op_count_RAYF3wTNd8(a):
    if (op_XZQF252bpX(a,153) > 848 and op_MzzvRbhZVg(a) > 16):
        count = op_count_lvlrscuwVU(a,a)+op_count_XZQF252bpX(a,153)+op_count_MzzvRbhZVg(a)
    else:
        count = 1
    return count


a⫊∓ = { (((a⇻↜⇹a)⋟⫀⨗(a⇽⪾⨎a))⋴((a⊄⊎)⊵↦(a≶25))) , if (⩡a)!=772 ; ((⫑≋(685⋭a))⪆↚⋛((a↴⊅≬)⫭⨏(a⪟⇏a))) , else }

def op_byXSajxYUW(a):
    if op_nJ1iAr59wM(a) != 772:
        return op_zqpnzlcbs4(op_dAAkup5nzi(op_N6aCA1AhH1(a,a),op_lzCx6JGp55(a,a)),op_wleh0mrux3(op_Kqt6I3psp8(a),op_Q2SPaKwpPJ(a,25)))
    else:
        return op_lBJ7sFuA67(op_7vLe0YQdZ4(op_WRl4KaSwns(685,a)),op_4j7MdOEvYM(op_xMlr59cfq7(a),op_GODebY97qR(a,a)))

def op_count_byXSajxYUW(a):
    if op_nJ1iAr59wM(a) != 772:
        count = op_count_N6aCA1AhH1(a,a)+op_count_lzCx6JGp55(a,a)+op_count_dAAkup5nzi(op_N6aCA1AhH1(a,a),op_lzCx6JGp55(a,a))+op_count_Kqt6I3psp8(a)+op_count_Q2SPaKwpPJ(a,25)+op_count_wleh0mrux3(op_Kqt6I3psp8(a),op_Q2SPaKwpPJ(a,25))+op_count_zqpnzlcbs4(op_dAAkup5nzi(op_N6aCA1AhH1(a,a),op_lzCx6JGp55(a,a)),op_wleh0mrux3(op_Kqt6I3psp8(a),op_Q2SPaKwpPJ(a,25)))+op_count_nJ1iAr59wM(a)
    else:
        count = op_count_WRl4KaSwns(685,a)+op_count_7vLe0YQdZ4(op_WRl4KaSwns(685,a))+op_count_xMlr59cfq7(a)+op_count_GODebY97qR(a,a)+op_count_4j7MdOEvYM(op_xMlr59cfq7(a),op_GODebY97qR(a,a))+op_count_lBJ7sFuA67(op_7vLe0YQdZ4(op_WRl4KaSwns(685,a)),op_4j7MdOEvYM(op_xMlr59cfq7(a),op_GODebY97qR(a,a)))
    return count


⊋⇧a = { (((172⨯≫⊾a)⫶⪥↳(⩰a))∗⩻) , if a==226 ; (⋺⩭((⇾a)⇃⩛⇬(a≜⇝a))) , else }

def op_TyhHQfemqq(a):
    if a == 226:
        return op_ccHmK6PBIn(op_ymOBY7rw1m(op_3Nwa8gVjpX(172,a),op_WkeUrDK8WX(a)))
    else:
        return op_9eAzrXm5nW(op_ZyEASfasF5(op_YE0NuhSZe9(a),op_ZXpgOvMj6j(a,a)))

def op_count_TyhHQfemqq(a):
    if a == 226:
        count = op_count_3Nwa8gVjpX(172,a)+op_count_WkeUrDK8WX(a)+op_count_ymOBY7rw1m(op_3Nwa8gVjpX(172,a),op_WkeUrDK8WX(a))+op_count_ccHmK6PBIn(op_ymOBY7rw1m(op_3Nwa8gVjpX(172,a),op_WkeUrDK8WX(a)))
    else:
        count = op_count_YE0NuhSZe9(a)+op_count_ZXpgOvMj6j(a,a)+op_count_ZyEASfasF5(op_YE0NuhSZe9(a),op_ZXpgOvMj6j(a,a))+op_count_9eAzrXm5nW(op_ZyEASfasF5(op_YE0NuhSZe9(a),op_ZXpgOvMj6j(a,a)))
    return count


a⩭⩼⩹b = { b , if (b⇁⨫⊲460)<285 ; ((a↣⪱b)⫫⋫(a⪜a)) , else }

def op_vbWWDQncJe(a, b):
    if op_UNcwWhIvyc(b,460) < 285:
        return b
    else:
        return op_xtCeza3rDf(op_qhklwjTpUT(a,b),op_EMR9JvRK8T(a,a))

def op_count_vbWWDQncJe(a, b):
    if op_UNcwWhIvyc(b,460) < 285:
        count = 1
    else:
        count = op_count_qhklwjTpUT(a,b)+op_count_EMR9JvRK8T(a,a)+op_count_xtCeza3rDf(op_qhklwjTpUT(a,b),op_EMR9JvRK8T(a,a))
    return count


a≑⩈b = { (((≸a)⩴(b⇺⨖a))⇡⨸b) , if (b⨡↠)==397 ; (((a⨀⨰⊫b)⫬↰178)⋻⪍⫐) , else }

def op_jYgKUhfDbv(a, b):
    if op_TcUor9fpwD(b) == 397:
        return op_zqsMTVBX2o(op_8YdTO89gQD(op_eOf03JbCpp(a),op_pm9cx6Eqcm(b,a)),b)
    else:
        return op_YvRQj5obxP(op_f8TJb0vaMc(op_Gl4WN4Uwdx(a,b),178))

def op_count_jYgKUhfDbv(a, b):
    if op_TcUor9fpwD(b) == 397:
        count = op_count_eOf03JbCpp(a)+op_count_pm9cx6Eqcm(b,a)+op_count_8YdTO89gQD(op_eOf03JbCpp(a),op_pm9cx6Eqcm(b,a))+op_count_zqsMTVBX2o(op_8YdTO89gQD(op_eOf03JbCpp(a),op_pm9cx6Eqcm(b,a)),b)+op_count_TcUor9fpwD(b)
    else:
        count = op_count_Gl4WN4Uwdx(a,b)+op_count_f8TJb0vaMc(op_Gl4WN4Uwdx(a,b),178)+op_count_YvRQj5obxP(op_f8TJb0vaMc(op_Gl4WN4Uwdx(a,b),178))
    return count


def op_Y1UB4PYoRD(a):
    if (op_rNLcfgtDaN(a) >= 807 and op_mg7BfXbOdF(a) > 108):
        return op_CArV6hThFE(op_zBeky0p6hI(84))
    else:
        return op_AqJQW3khbP(op_xTgA75nXjt(a,a))

def op_count_Y1UB4PYoRD(a):
    if (op_rNLcfgtDaN(a) >= 807 and op_mg7BfXbOdF(a) > 108):
        count = op_count_zBeky0p6hI(84)+op_count_CArV6hThFE(op_zBeky0p6hI(84))+op_count_rNLcfgtDaN(a)+op_count_mg7BfXbOdF(a)
    else:
        count = op_count_xTgA75nXjt(a,a)+op_count_AqJQW3khbP(op_xTgA75nXjt(a,a))
    return count


∥⋽⩢a = { ((a⫶⫾⊪60)⇚⇸(a⨳⩥⨓(450⇈⫔⫇a))) , if a<108 ; ((⇊↹(a⨔≚≋46))≶⩊⋊(≨⫙(a⋅⇾⫱a))) , else }

def op_BbhZtCIkEc(a):
    if a < 108:
        return op_hYeRVcqlik(op_h5KbohBAOz(a,60),op_nCS4ZIUYfx(a,op_wfMG52dXrO(450,a)))
    else:
        return op_sFi0oIX7gK(op_uB3aWBBPu3(op_Z57zeUYC9z(a,46)),op_CcmqrEB6V7(op_oxSU0Fg4Pf(a,a)))

def op_count_BbhZtCIkEc(a):
    if a < 108:
        count = op_count_h5KbohBAOz(a,60)+op_count_wfMG52dXrO(450,a)+op_count_nCS4ZIUYfx(a,op_wfMG52dXrO(450,a))+op_count_hYeRVcqlik(op_h5KbohBAOz(a,60),op_nCS4ZIUYfx(a,op_wfMG52dXrO(450,a)))
    else:
        count = op_count_Z57zeUYC9z(a,46)+op_count_uB3aWBBPu3(op_Z57zeUYC9z(a,46))+op_count_oxSU0Fg4Pf(a,a)+op_count_CcmqrEB6V7(op_oxSU0Fg4Pf(a,a))+op_count_sFi0oIX7gK(op_uB3aWBBPu3(op_Z57zeUYC9z(a,46)),op_CcmqrEB6V7(op_oxSU0Fg4Pf(a,a)))
    return count


∕⋢∷a = { (⫿⫊⊕(a⊠⋬↑a)) , if (≓⫘⩃a)!=1 ; ((a⫡a)⊟⇵⫊(a⪄37)) , else }

def op_YVWMPToV05(a):
    if op_cuc1ETTXoY(a) != 1:
        return op_SLtCypM0tD(op_W7L2oCKInH(a,a))
    else:
        return op_ov2Ek6r32i(op_r42jg1nETI(a,a),op_SUmda5xLS4(a,37))

def op_count_YVWMPToV05(a):
    if op_cuc1ETTXoY(a) != 1:
        count = op_count_W7L2oCKInH(a,a)+op_count_SLtCypM0tD(op_W7L2oCKInH(a,a))+op_count_cuc1ETTXoY(a)
    else:
        count = op_count_r42jg1nETI(a,a)+op_count_SUmda5xLS4(a,37)+op_count_ov2Ek6r32i(op_r42jg1nETI(a,a),op_SUmda5xLS4(a,37))
    return count


def op_du21YARcKU(a, b):
    if op_XFtV96IEKB(a,281) <= 534:
        return op_BThhyOhh10(op_CLzOjURgVu(a,b))
    else:
        return op_5ClX4R8SjJ(op_LMA9dqLka3(a,b),op_bvqU1ecX5M(201,273))

def op_count_du21YARcKU(a, b):
    if op_XFtV96IEKB(a,281) <= 534:
        count = op_count_CLzOjURgVu(a,b)+op_count_BThhyOhh10(op_CLzOjURgVu(a,b))+op_count_XFtV96IEKB(a,281)
    else:
        count = op_count_LMA9dqLka3(a,b)+op_count_bvqU1ecX5M(201,273)+op_count_5ClX4R8SjJ(op_LMA9dqLka3(a,b),op_bvqU1ecX5M(201,273))
    return count


a≀⇧≷b = { (a⩎⨬a) , if b>244 ; (b⋔∶139) , else }

def op_wd0AOQMDWk(a, b):
    if b > 244:
        return op_dR2gYrpTIj(a,a)
    else:
        return op_e1tqKxnyD8(b,139)

def op_count_wd0AOQMDWk(a, b):
    if b > 244:
        count = op_count_dR2gYrpTIj(a,a)
    else:
        count = op_count_e1tqKxnyD8(b,139)
    return count


def op_mFxXOjnZkL(a, b):
    if (op_1AeZV2KPFC(a) >= 83 or b <= 64):
        return op_zFNL8mZEFB(op_ziaaVG88k7(207,706),op_tJtBLRaXS9(a,a))
    else:
        return op_TcUor9fpwD(op_STs8eSTo28(a))

def op_count_mFxXOjnZkL(a, b):
    if (op_1AeZV2KPFC(a) >= 83 or b <= 64):
        count = op_count_ziaaVG88k7(207,706)+op_count_tJtBLRaXS9(a,a)+op_count_zFNL8mZEFB(op_ziaaVG88k7(207,706),op_tJtBLRaXS9(a,a))+op_count_1AeZV2KPFC(a)
    else:
        count = op_count_STs8eSTo28(a)+op_count_TcUor9fpwD(op_STs8eSTo28(a))
    return count


a⨃⩻⇣b = { ((b↸a)⋡⋎(b∸⋅308)) , if b!=527 ; ((a⫊b)⫈∭⊸(a⩏⨀≉)) , else }

def op_7uVIZdgRTG(a, b):
    if b != 527:
        return op_4wZW19qsbv(op_1eCjFl0mb9(b,a),op_dqXKirNDVF(b,308))
    else:
        return op_21ob1huWpa(op_uPjn7n5pli(a,b),op_yOl4Zzdu5C(a))

def op_count_7uVIZdgRTG(a, b):
    if b != 527:
        count = op_count_1eCjFl0mb9(b,a)+op_count_dqXKirNDVF(b,308)+op_count_4wZW19qsbv(op_1eCjFl0mb9(b,a),op_dqXKirNDVF(b,308))
    else:
        count = op_count_uPjn7n5pli(a,b)+op_count_yOl4Zzdu5C(a)+op_count_21ob1huWpa(op_uPjn7n5pli(a,b),op_yOl4Zzdu5C(a))
    return count


⫝−a = { (a⨄⊾⩮) , if (a⪓↹⇾239)>=328 ; (a⇁a) , else }

def op_C1EDTBy5dj(a):
    if op_vs8iUQwOA7(a,239) >= 328:
        return op_GfE2GQMWLl(a)
    else:
        return op_z4ujcxYYss(a,a)

def op_count_C1EDTBy5dj(a):
    if op_vs8iUQwOA7(a,239) >= 328:
        count = op_count_GfE2GQMWLl(a)+op_count_vs8iUQwOA7(a,239)
    else:
        count = op_count_z4ujcxYYss(a,a)
    return count


a⩯⊧ = { (((a∸⋅a)⩮≏⫤(a⋺⫬854))⇏⩵⨆((a⇚≂653)∿⇄∔(a∊⊞≈a))) , if (a∲⇳⪦)<=626 ; (⫼⫹∘((a∁⩀⇵36)⋳⊳⋻(481≼⇆a))) , else }

def op_KW3VWLRQOE(a):
    if op_CXVugmvpsF(a) <= 626:
        return op_GH46DaXZxO(op_fRd8cuFkMc(op_dqXKirNDVF(a,a),op_N2CwLZHY2H(a,854)),op_H0hvRnhmX4(op_otIR7kHRl1(a,653),op_keuJNkrrbj(a,a)))
    else:
        return op_NkqkRm27mM(op_AUjZzCncoP(op_IT3TbjFqSq(a,36),op_D4AlmasLin(481,a)))

def op_count_KW3VWLRQOE(a):
    if op_CXVugmvpsF(a) <= 626:
        count = op_count_dqXKirNDVF(a,a)+op_count_N2CwLZHY2H(a,854)+op_count_fRd8cuFkMc(op_dqXKirNDVF(a,a),op_N2CwLZHY2H(a,854))+op_count_otIR7kHRl1(a,653)+op_count_keuJNkrrbj(a,a)+op_count_H0hvRnhmX4(op_otIR7kHRl1(a,653),op_keuJNkrrbj(a,a))+op_count_GH46DaXZxO(op_fRd8cuFkMc(op_dqXKirNDVF(a,a),op_N2CwLZHY2H(a,854)),op_H0hvRnhmX4(op_otIR7kHRl1(a,653),op_keuJNkrrbj(a,a)))+op_count_CXVugmvpsF(a)
    else:
        count = op_count_IT3TbjFqSq(a,36)+op_count_D4AlmasLin(481,a)+op_count_AUjZzCncoP(op_IT3TbjFqSq(a,36),op_D4AlmasLin(481,a))+op_count_NkqkRm27mM(op_AUjZzCncoP(op_IT3TbjFqSq(a,36),op_D4AlmasLin(481,a)))
    return count


a≅⊩⫟b = { (((a⩍∍⪤a)⪒⩉(b↬⨮⇲453))∐⋓∯((a≬⇺)⫕a)) , if ((≖⋂b)<566 or (⨶⩒a)>258) ; ((⨆≐≲(a⊻⨌⫵318))⨣((b≮⩿77)⩆(⇞⋅≍a))) , else }

def op_KpA1OOWoyj(a, b):
    if (op_YxgxvjpN4O(b) < 566 or op_iKsoMkOqp0(a) > 258):
        return op_ur59r4nmwX(op_JZ6LT1lUci(op_pevpteaPmM(a,a),op_8TJv5LDobx(b,453)),op_6CTfL9kIPY(op_OdOWVsbFc9(a),a))
    else:
        return op_5ClX4R8SjJ(op_Bi9z9uYZqW(op_NOyIGfOOXL(a,318)),op_QmMs3tyaZP(op_UlPEfdckiB(b,77),op_yW1pgUlhyC(a)))

def op_count_KpA1OOWoyj(a, b):
    if (op_YxgxvjpN4O(b) < 566 or op_iKsoMkOqp0(a) > 258):
        count = op_count_pevpteaPmM(a,a)+op_count_8TJv5LDobx(b,453)+op_count_JZ6LT1lUci(op_pevpteaPmM(a,a),op_8TJv5LDobx(b,453))+op_count_OdOWVsbFc9(a)+op_count_6CTfL9kIPY(op_OdOWVsbFc9(a),a)+op_count_ur59r4nmwX(op_JZ6LT1lUci(op_pevpteaPmM(a,a),op_8TJv5LDobx(b,453)),op_6CTfL9kIPY(op_OdOWVsbFc9(a),a))+op_count_YxgxvjpN4O(b)+op_count_iKsoMkOqp0(a)
    else:
        count = op_count_NOyIGfOOXL(a,318)+op_count_Bi9z9uYZqW(op_NOyIGfOOXL(a,318))+op_count_UlPEfdckiB(b,77)+op_count_yW1pgUlhyC(a)+op_count_QmMs3tyaZP(op_UlPEfdckiB(b,77),op_yW1pgUlhyC(a))+op_count_5ClX4R8SjJ(op_Bi9z9uYZqW(op_NOyIGfOOXL(a,318)),op_QmMs3tyaZP(op_UlPEfdckiB(b,77),op_yW1pgUlhyC(a)))
    return count


a⇳↘⇃b = { ((⫈↾⇕b)≏⨐) , if ((a⪌≁⫾633)>=26 and (b⪃⩐⨑439)>=8) ; ((b⩫≗⊖86)⪟⇏(a⇳a)) , else }

def op_uG1NkbAHL9(a, b):
    if (op_BpbpqQnb2W(a,633) >= 26 and op_7OL7g5oVtb(b,439) >= 8):
        return op_lP51NIPzK8(op_7112RHhyte(b))
    else:
        return op_GODebY97qR(op_6GzKXIXcaD(b,86),op_ekA2oeJZMY(a,a))

def op_count_uG1NkbAHL9(a, b):
    if (op_BpbpqQnb2W(a,633) >= 26 and op_7OL7g5oVtb(b,439) >= 8):
        count = op_count_7112RHhyte(b)+op_count_lP51NIPzK8(op_7112RHhyte(b))+op_count_BpbpqQnb2W(a,633)+op_count_7OL7g5oVtb(b,439)
    else:
        count = op_count_6GzKXIXcaD(b,86)+op_count_ekA2oeJZMY(a,a)+op_count_GODebY97qR(op_6GzKXIXcaD(b,86),op_ekA2oeJZMY(a,a))
    return count


a≷∧b = { ((b⩱⇜⪦b)∳(a∠↢b)) , if (a⇁430)<22 ; ((b⊗⋊⇗a)∇(⋕b)) , else }

def op_BsKymRuLqz(a, b):
    if op_z4ujcxYYss(a,430) < 22:
        return op_XCY0eMNfgm(op_TPY4Vhd24N(b,b),op_KbjG8mgYpV(a,b))
    else:
        return op_fICjaz8Yf3(op_j6VZKFTxta(b,a),op_mnxeNVfHTl(b))

def op_count_BsKymRuLqz(a, b):
    if op_z4ujcxYYss(a,430) < 22:
        count = op_count_TPY4Vhd24N(b,b)+op_count_KbjG8mgYpV(a,b)+op_count_XCY0eMNfgm(op_TPY4Vhd24N(b,b),op_KbjG8mgYpV(a,b))+op_count_z4ujcxYYss(a,430)
    else:
        count = op_count_j6VZKFTxta(b,a)+op_count_mnxeNVfHTl(b)+op_count_fICjaz8Yf3(op_j6VZKFTxta(b,a),op_mnxeNVfHTl(b))
    return count


a⫰⨚⩞ = { (⊆⋠a) , if (a⇳593)<99 ; (a⨫a) , else }

def op_eR3dTtlLvC(a):
    if op_ekA2oeJZMY(a,593) < 99:
        return op_EBhcHTkKd8(a)
    else:
        return op_MEqPUhr43n(a,a)

def op_count_eR3dTtlLvC(a):
    if op_ekA2oeJZMY(a,593) < 99:
        count = op_count_EBhcHTkKd8(a)+op_count_ekA2oeJZMY(a,593)
    else:
        count = op_count_MEqPUhr43n(a,a)
    return count


a↰⪁⫰ = { (a∓⋝a) , if (a∎∾⫀136)>=106 and a<4 ; (a∪⊒a) , else }

def op_PVI7WUI8kW(a):
    if op_5BPGwbLSwr(a,136) >= 106 and a < 4:
        return op_PoHhknlbAi(a,a)
    else:
        return op_wd3DeAcC9f(a,a)

def op_count_PVI7WUI8kW(a):
    if op_5BPGwbLSwr(a,136) >= 106 and a < 4:
        count = op_count_PoHhknlbAi(a,a)+op_count_5BPGwbLSwr(a,136)
    else:
        count = op_count_wd3DeAcC9f(a,a)
    return count


a⨕⇺ = { ((a⫿⇓a)⨭⪣(a⨄⊾⩮)) , if (a⨤⩳863)>=872 ; ((a∋∓⫟a)⪤⩸(a⊭↱a)) , else }

def op_mMfZsoEC0P(a):
    if op_Uj3jQahk2D(a,863) >= 872:
        return op_kn8WO9XteQ(op_EYU6BsVPjN(a,a),op_GfE2GQMWLl(a))
    else:
        return op_fSc9RXyFW7(op_xTgA75nXjt(a,a),op_COABgblf1C(a,a))

def op_count_mMfZsoEC0P(a):
    if op_Uj3jQahk2D(a,863) >= 872:
        count = op_count_EYU6BsVPjN(a,a)+op_count_GfE2GQMWLl(a)+op_count_kn8WO9XteQ(op_EYU6BsVPjN(a,a),op_GfE2GQMWLl(a))+op_count_Uj3jQahk2D(a,863)
    else:
        count = op_count_xTgA75nXjt(a,a)+op_count_COABgblf1C(a,a)+op_count_fSc9RXyFW7(op_xTgA75nXjt(a,a),op_COABgblf1C(a,a))
    return count


def op_N17SBJXhaQ(a):
    if op_KYIJhKMuxi(a) <= 630:
        return op_G9tJMlZ94a(op_msdupkhzuU(op_UlPEfdckiB(a,530)))
    else:
        return op_8kC3VQV3Yq(op_h2AnrTQJpk(op_Tl3Y52tvF8(a)),op_fBv0GnY1At(op_bT2YGab5tl(a,a),op_b6ngcG4bdA(a)))

def op_count_N17SBJXhaQ(a):
    if op_KYIJhKMuxi(a) <= 630:
        count = op_count_UlPEfdckiB(a,530)+op_count_msdupkhzuU(op_UlPEfdckiB(a,530))+op_count_G9tJMlZ94a(op_msdupkhzuU(op_UlPEfdckiB(a,530)))+op_count_KYIJhKMuxi(a)
    else:
        count = op_count_Tl3Y52tvF8(a)+op_count_h2AnrTQJpk(op_Tl3Y52tvF8(a))+op_count_bT2YGab5tl(a,a)+op_count_b6ngcG4bdA(a)+op_count_fBv0GnY1At(op_bT2YGab5tl(a,a),op_b6ngcG4bdA(a))+op_count_8kC3VQV3Yq(op_h2AnrTQJpk(op_Tl3Y52tvF8(a)),op_fBv0GnY1At(op_bT2YGab5tl(a,a),op_b6ngcG4bdA(a)))
    return count


def op_YvhqI36dBA(a):
    if op_aGhYYhn7J7(a,106) < 26 and op_TQtCT2lTQ7(a,743) == 184:
        return op_JFuJqCunNX(a)
    else:
        return op_ddLRYrp01A(a,a)

def op_count_YvhqI36dBA(a):
    if op_aGhYYhn7J7(a,106) < 26 and op_TQtCT2lTQ7(a,743) == 184:
        count = op_count_JFuJqCunNX(a)+op_count_aGhYYhn7J7(a,106)+op_count_TQtCT2lTQ7(a,743)
    else:
        count = op_count_ddLRYrp01A(a,a)
    return count


def op_eToibgGYEJ(a):
    if op_Qaz2MhZaG5(a,373) <= 265 or op_W80nNxIfVi(a) < 618:
        return op_hFvFHqVvZy(a)
    else:
        return op_OeanynyRyO(a,a)

def op_count_eToibgGYEJ(a):
    if op_Qaz2MhZaG5(a,373) <= 265 or op_W80nNxIfVi(a) < 618:
        count = op_count_hFvFHqVvZy(a)+op_count_Qaz2MhZaG5(a,373)+op_count_W80nNxIfVi(a)
    else:
        count = op_count_OeanynyRyO(a,a)
    return count


∅⊐a = { (a⊭∹↮) , if (⋦⇉a)>283 ; a , else }

def op_pTm79z5fiV(a):
    if op_eoYqM80cVs(a) > 283:
        return op_xNBdhnnwKq(a)
    else:
        return a

def op_count_pTm79z5fiV(a):
    if op_eoYqM80cVs(a) > 283:
        count = op_count_xNBdhnnwKq(a)+op_count_eoYqM80cVs(a)
    else:
        count = 1
    return count


∦⊸a = { (⋑←a) , if (a⊁⫘⫛)>443 ; (⩑⋳a) , else }

def op_EiIVHA0ZyL(a):
    if op_hPqFu8RMdw(a) > 443:
        return op_B0ezUFU1kP(a)
    else:
        return op_rJxzQv3Kn1(a)

def op_count_EiIVHA0ZyL(a):
    if op_hPqFu8RMdw(a) > 443:
        count = op_count_B0ezUFU1kP(a)+op_count_hPqFu8RMdw(a)
    else:
        count = op_count_rJxzQv3Kn1(a)
    return count


⪎⪃a = { (↑%((a⪝a)⨽⇀(a≗⩒⨛a))) , if (a⋛≏⋸)>180 ; (((⨩⪖a)⩥⊱(a≨↤))⩺) , else }

def op_Pr2ZIwnRe0(a):
    if op_Y3qrs0M54z(a) > 180:
        return op_gZJ3n2KrV4(op_h1U3ZT2Qlc(op_wicAB68Tmb(a,a),op_Ih3UVhBbvd(a,a)))
    else:
        return op_YFgJcOFAB6(op_TtKiRfWgLg(op_pjx72LgDRm(a),op_8ldKKjU4wV(a)))

def op_count_Pr2ZIwnRe0(a):
    if op_Y3qrs0M54z(a) > 180:
        count = op_count_wicAB68Tmb(a,a)+op_count_Ih3UVhBbvd(a,a)+op_count_h1U3ZT2Qlc(op_wicAB68Tmb(a,a),op_Ih3UVhBbvd(a,a))+op_count_gZJ3n2KrV4(op_h1U3ZT2Qlc(op_wicAB68Tmb(a,a),op_Ih3UVhBbvd(a,a)))+op_count_Y3qrs0M54z(a)
    else:
        count = op_count_pjx72LgDRm(a)+op_count_8ldKKjU4wV(a)+op_count_TtKiRfWgLg(op_pjx72LgDRm(a),op_8ldKKjU4wV(a))+op_count_YFgJcOFAB6(op_TtKiRfWgLg(op_pjx72LgDRm(a),op_8ldKKjU4wV(a)))
    return count


def op_vJA4po4RDE(a, b):
    if op_2TfmgxUuUr(a) == 213 and op_pTU0JXsWv4(a) > 203 and op_tfWHHpNKUN(a) <= 29:
        return op_Tl3Y52tvF8(672)
    else:
        return op_j9kHMeSvPp(113,b)

def op_count_vJA4po4RDE(a, b):
    if op_2TfmgxUuUr(a) == 213 and op_pTU0JXsWv4(a) > 203 and op_tfWHHpNKUN(a) <= 29:
        count = op_count_Tl3Y52tvF8(672)+op_count_2TfmgxUuUr(a)+op_count_pTU0JXsWv4(a)+op_count_tfWHHpNKUN(a)
    else:
        count = op_count_j9kHMeSvPp(113,b)
    return count


def op_BOXPexnoQF(a, b):
    if op_Z7B3c4tHRK(b,939) == 28:
        return op_oPMjh9089D(op_gXIGmlOAB4(b,b))
    else:
        return op_DykcjiQqpf(op_PPChnnnBFF(a,b),op_ojE0ZAmiGE(b,575))

def op_count_BOXPexnoQF(a, b):
    if op_Z7B3c4tHRK(b,939) == 28:
        count = op_count_gXIGmlOAB4(b,b)+op_count_oPMjh9089D(op_gXIGmlOAB4(b,b))+op_count_Z7B3c4tHRK(b,939)
    else:
        count = op_count_PPChnnnBFF(a,b)+op_count_ojE0ZAmiGE(b,575)+op_count_DykcjiQqpf(op_PPChnnnBFF(a,b),op_ojE0ZAmiGE(b,575))
    return count


def op_34zfPTZm07(a, b):
    if op_z4ujcxYYss(b,123) > 344:
        return op_fGDu59EtI5(op_3mEz3wejNI(a))
    else:
        return op_bDMTzmQgzE(op_RR9T5AuQ1T(100,b),op_DykcjiQqpf(b,75))

def op_count_34zfPTZm07(a, b):
    if op_z4ujcxYYss(b,123) > 344:
        count = op_count_3mEz3wejNI(a)+op_count_fGDu59EtI5(op_3mEz3wejNI(a))+op_count_z4ujcxYYss(b,123)
    else:
        count = op_count_RR9T5AuQ1T(100,b)+op_count_DykcjiQqpf(b,75)+op_count_bDMTzmQgzE(op_RR9T5AuQ1T(100,b),op_DykcjiQqpf(b,75))
    return count


a⫶⊆⪷b = { ((⇳(⇖⩂≵99))≅⋲(⇻⨃⇄(⪷⋘a))) , if (b↖)>119 ; (⪣((a⪮%⊝a)≅≙⩢)) , else }

def op_qIZplYu9Ss(a, b):
    if op_E9STjFE31x(b) > 119:
        return op_A0R0hrgyGo(op_QaS5iYTZMC(op_ctN4c4Gw19(99)),op_fLGIAiPz9h(op_GIBeQO4UOL(a)))
    else:
        return op_B1QnekXghJ(op_9P8cn3rNAU(op_IWmyXbctLI(a,a)))

def op_count_qIZplYu9Ss(a, b):
    if op_E9STjFE31x(b) > 119:
        count = op_count_ctN4c4Gw19(99)+op_count_QaS5iYTZMC(op_ctN4c4Gw19(99))+op_count_GIBeQO4UOL(a)+op_count_fLGIAiPz9h(op_GIBeQO4UOL(a))+op_count_A0R0hrgyGo(op_QaS5iYTZMC(op_ctN4c4Gw19(99)),op_fLGIAiPz9h(op_GIBeQO4UOL(a)))+op_count_E9STjFE31x(b)
    else:
        count = op_count_IWmyXbctLI(a,a)+op_count_9P8cn3rNAU(op_IWmyXbctLI(a,a))+op_count_B1QnekXghJ(op_9P8cn3rNAU(op_IWmyXbctLI(a,a)))
    return count


⪂≹≽a = { (⫓⋮≁(a→⊣⋬a)) , if (a⪷⊄)<315 ; ((a⩱⇜⪦a)⨘↽(a⇧⊇⋩a)) , else }

def op_Y9TaKbm2SM(a):
    if op_PveJMblpdR(a) < 315:
        return op_9QNY6wq3gX(op_51hOuhRTcR(a,a))
    else:
        return op_DHxEmMn2cg(op_TPY4Vhd24N(a,a),op_1TuAU3ehYs(a,a))

def op_count_Y9TaKbm2SM(a):
    if op_PveJMblpdR(a) < 315:
        count = op_count_51hOuhRTcR(a,a)+op_count_9QNY6wq3gX(op_51hOuhRTcR(a,a))+op_count_PveJMblpdR(a)
    else:
        count = op_count_TPY4Vhd24N(a,a)+op_count_1TuAU3ehYs(a,a)+op_count_DHxEmMn2cg(op_TPY4Vhd24N(a,a),op_1TuAU3ehYs(a,a))
    return count


def op_USFcXE7UDz(a):
    if op_cTDWOvIxvz(a,829) <= 166:
        return a
    else:
        return op_wicAB68Tmb(a,a)

def op_count_USFcXE7UDz(a):
    if op_cTDWOvIxvz(a,829) <= 166:
        count = 1
    else:
        count = op_count_wicAB68Tmb(a,a)
    return count


a⊼⋴⫕ = { (a⩖⊿a) , if (⊶a)!=72 or (a⇙⨵)<=558 ; (a∝≶a) , else }

def op_8FDu1WbyS1(a):
    if op_iLDmr1kYEU(a) != 72 or op_cbP1oMpIU3(a) <= 558:
        return op_RZ5CV9rWsJ(a,a)
    else:
        return op_e0UC6DYTvX(a,a)

def op_count_8FDu1WbyS1(a):
    if op_iLDmr1kYEU(a) != 72 or op_cbP1oMpIU3(a) <= 558:
        count = op_count_RZ5CV9rWsJ(a,a)+op_count_iLDmr1kYEU(a)+op_count_cbP1oMpIU3(a)
    else:
        count = op_count_e0UC6DYTvX(a,a)
    return count


def op_a7FMInTDhW(a, b):
    if (op_e1tqKxnyD8(b,401) != 76 and op_0XOKELrVaD(a) > 21):
        return op_8m1wXWE6kN(624,a)
    else:
        return op_CArV6hThFE(b)

def op_count_a7FMInTDhW(a, b):
    if (op_e1tqKxnyD8(b,401) != 76 and op_0XOKELrVaD(a) > 21):
        count = op_count_8m1wXWE6kN(624,a)+op_count_e1tqKxnyD8(b,401)+op_count_0XOKELrVaD(a)
    else:
        count = op_count_CArV6hThFE(b)
    return count


a⫨⪌∩ = { (⋴a) , if a!=444 ; (a⪛a) , else }

def op_YkhJrs0kMn(a):
    if a != 444:
        return op_6m6eYvIglw(a)
    else:
        return op_uFcxV4UQCh(a,a)

def op_count_YkhJrs0kMn(a):
    if a != 444:
        count = op_count_6m6eYvIglw(a)
    else:
        count = op_count_uFcxV4UQCh(a,a)
    return count


a⫺↓⫶b = { (b⇪b) , if a>78 ; (a*⇥≲) , else }

def op_IP5SWKBbFb(a, b):
    if a > 78:
        return op_hfpBUD6oBE(b,b)
    else:
        return op_DEqk5vDXLq(a)

def op_count_IP5SWKBbFb(a, b):
    if a > 78:
        count = op_count_hfpBUD6oBE(b,b)
    else:
        count = op_count_DEqk5vDXLq(a)
    return count


a⊮⩪b = { (b⨅⪔b) , if (b∖⊫928)<163 ; (b⊱⫣a) , else }

def op_xAOA4rDxDB(a, b):
    if op_xNgZz6XNYQ(b,928) < 163:
        return op_zs0bbCWKdf(b,b)
    else:
        return op_lYYgj615o2(b,a)

def op_count_xAOA4rDxDB(a, b):
    if op_xNgZz6XNYQ(b,928) < 163:
        count = op_count_zs0bbCWKdf(b,b)+op_count_xNgZz6XNYQ(b,928)
    else:
        count = op_count_lYYgj615o2(b,a)
    return count


a⋝≏⩝ = { (a⨎a) , if (↑⩌≥a)>173 ; (a⪣a) , else }

def op_s2ZN2RdlnU(a):
    if op_vtuEveK19u(a) > 173:
        return op_rJVOvQCfKK(a,a)
    else:
        return op_VWdWub1Bzg(a,a)

def op_count_s2ZN2RdlnU(a):
    if op_vtuEveK19u(a) > 173:
        count = op_count_rJVOvQCfKK(a,a)+op_count_vtuEveK19u(a)
    else:
        count = op_count_VWdWub1Bzg(a,a)
    return count


a⫻⨧b = { (a≣≺b) , if b<848 ; (⩠↾⋷a) , else }

def op_h5YN6hAmmS(a, b):
    if b < 848:
        return op_izrQJRSfVS(a,b)
    else:
        return op_ukSLkBfL7r(a)

def op_count_h5YN6hAmmS(a, b):
    if b < 848:
        count = op_count_izrQJRSfVS(a,b)
    else:
        count = op_count_ukSLkBfL7r(a)
    return count


def op_5f2EBvyfTH(a):
    if op_bs7D9C0JKx(a,912) <= 313:
        return op_WxjQizov8v(op_cWQsF5MvuD(a),op_9C14WDc2HD(a,175))
    else:
        return op_x6DEqRu9vc(op_bG3SoPrX0m(124,a))

def op_count_5f2EBvyfTH(a):
    if op_bs7D9C0JKx(a,912) <= 313:
        count = op_count_cWQsF5MvuD(a)+op_count_9C14WDc2HD(a,175)+op_count_WxjQizov8v(op_cWQsF5MvuD(a),op_9C14WDc2HD(a,175))+op_count_bs7D9C0JKx(a,912)
    else:
        count = op_count_bG3SoPrX0m(124,a)+op_count_x6DEqRu9vc(op_bG3SoPrX0m(124,a))
    return count


def op_38U9ucsweH(a):
    if op_uTXOZ2BrWI(a,903) < 212:
        return op_12NXCxMFkf(op_d5CHQX7ZoG(op_2KNBRhPqiH(a,297),op_qR0a6FVQRO(a)),op_mMNOlYfzJE(op_x91QhENKPJ(a,235)))
    else:
        return op_Q6CfCNJhPO(524,op_9BUDYzLkPF(a,op_kpf4jZBDQQ(a,a)))

def op_count_38U9ucsweH(a):
    if op_uTXOZ2BrWI(a,903) < 212:
        count = op_count_2KNBRhPqiH(a,297)+op_count_qR0a6FVQRO(a)+op_count_d5CHQX7ZoG(op_2KNBRhPqiH(a,297),op_qR0a6FVQRO(a))+op_count_x91QhENKPJ(a,235)+op_count_mMNOlYfzJE(op_x91QhENKPJ(a,235))+op_count_12NXCxMFkf(op_d5CHQX7ZoG(op_2KNBRhPqiH(a,297),op_qR0a6FVQRO(a)),op_mMNOlYfzJE(op_x91QhENKPJ(a,235)))+op_count_uTXOZ2BrWI(a,903)
    else:
        count = op_count_kpf4jZBDQQ(a,a)+op_count_9BUDYzLkPF(a,op_kpf4jZBDQQ(a,a))+op_count_Q6CfCNJhPO(524,op_9BUDYzLkPF(a,op_kpf4jZBDQQ(a,a)))
    return count


a⫤⨬∦b = { ((↗(a⨽∌77))⫠⋒⊓((53≣b)≅⪺↕(b≎⩅a))) , if a>=308 ; (((a↚⋳⨕a)⇽↿⪿a)⪉⩕↠((b⩝⪟⋿a)⨘↽(119⪉≟b))) , else }

def op_DCJZU9FOvX(a, b):
    if a >= 308:
        return op_upewVN6Fvf(op_mW0N8loidO(op_9samAPKr6k(a,77)),op_dBWtppcwHd(op_ObEyaaML9x(53,b),op_ieqGirTMxl(b,a)))
    else:
        return op_chJOjhVmaW(op_9Q5hJbNi17(op_7Z9orq1BI6(a,a),a),op_DHxEmMn2cg(op_3Cfxs2sGIE(b,a),op_SMFAWc6Akq(119,b)))

def op_count_DCJZU9FOvX(a, b):
    if a >= 308:
        count = op_count_9samAPKr6k(a,77)+op_count_mW0N8loidO(op_9samAPKr6k(a,77))+op_count_ObEyaaML9x(53,b)+op_count_ieqGirTMxl(b,a)+op_count_dBWtppcwHd(op_ObEyaaML9x(53,b),op_ieqGirTMxl(b,a))+op_count_upewVN6Fvf(op_mW0N8loidO(op_9samAPKr6k(a,77)),op_dBWtppcwHd(op_ObEyaaML9x(53,b),op_ieqGirTMxl(b,a)))
    else:
        count = op_count_7Z9orq1BI6(a,a)+op_count_9Q5hJbNi17(op_7Z9orq1BI6(a,a),a)+op_count_3Cfxs2sGIE(b,a)+op_count_SMFAWc6Akq(119,b)+op_count_DHxEmMn2cg(op_3Cfxs2sGIE(b,a),op_SMFAWc6Akq(119,b))+op_count_chJOjhVmaW(op_9Q5hJbNi17(op_7Z9orq1BI6(a,a),a),op_DHxEmMn2cg(op_3Cfxs2sGIE(b,a),op_SMFAWc6Akq(119,b)))
    return count


a≟⇃b = { ((a⨽⪊≇)∇(a⨍⪺a)) , if (b⋯↤934)>=185 ; (⨇(a⋈a)) , else }

def op_8hQlX1bI6f(a, b):
    if op_AqWwJ29PGN(b,934) >= 185:
        return op_fICjaz8Yf3(op_nlCqmYiOvY(a),op_IEH3kw0xIp(a,a))
    else:
        return op_Oop2uYv01n(op_nDybdB13Ph(a,a))

def op_count_8hQlX1bI6f(a, b):
    if op_AqWwJ29PGN(b,934) >= 185:
        count = op_count_nlCqmYiOvY(a)+op_count_IEH3kw0xIp(a,a)+op_count_fICjaz8Yf3(op_nlCqmYiOvY(a),op_IEH3kw0xIp(a,a))+op_count_AqWwJ29PGN(b,934)
    else:
        count = op_count_nDybdB13Ph(a,a)+op_count_Oop2uYv01n(op_nDybdB13Ph(a,a))
    return count


a⨑⫡b = { ((a⩁⋵a)∽⫹(b↑)) , if a>164 ; ((a↻b)∄(b∼⇢181)) , else }

def op_hy4PdIL0lw(a, b):
    if a > 164:
        return op_VTWL3whYCc(op_Dwi3vkQv6Q(a,a),op_BThhyOhh10(b))
    else:
        return op_tnyRA5sazQ(op_XFunts32PM(a,b),op_Cr5xnr8B4B(b,181))

def op_count_hy4PdIL0lw(a, b):
    if a > 164:
        count = op_count_Dwi3vkQv6Q(a,a)+op_count_BThhyOhh10(b)+op_count_VTWL3whYCc(op_Dwi3vkQv6Q(a,a),op_BThhyOhh10(b))
    else:
        count = op_count_XFunts32PM(a,b)+op_count_Cr5xnr8B4B(b,181)+op_count_tnyRA5sazQ(op_XFunts32PM(a,b),op_Cr5xnr8B4B(b,181))
    return count


⫀↧⇾a = { ((a⇮⋭a)⩜⫱(a⋥≓≎a)) , if (a⪊≅)<0 ; ((⩸⇭a)⋳/(⇂a)) , else }

def op_P0ikVYFdCm(a):
    if op_bjFbhXSADs(a) < 0:
        return op_6lEGX12sqf(op_vkpjKywKVM(a,a),op_Qy55tPpLXF(a,a))
    else:
        return op_m612RDITqL(op_AzY7Vl1fKV(a),op_0VM5IIwWHX(a))

def op_count_P0ikVYFdCm(a):
    if op_bjFbhXSADs(a) < 0:
        count = op_count_vkpjKywKVM(a,a)+op_count_Qy55tPpLXF(a,a)+op_count_6lEGX12sqf(op_vkpjKywKVM(a,a),op_Qy55tPpLXF(a,a))+op_count_bjFbhXSADs(a)
    else:
        count = op_count_AzY7Vl1fKV(a)+op_count_0VM5IIwWHX(a)+op_count_m612RDITqL(op_AzY7Vl1fKV(a),op_0VM5IIwWHX(a))
    return count


a⨼⪈b = { (⋈⩠⪚((b∌b)⨡↠)) , if (⩭⨈a)==192 ; (((b⊟⫌%a)↰⋉≍(b⇤a))⋍) , else }

def op_pMvAIFlBh1(a, b):
    if op_sylijClI4e(a) == 192:
        return op_V35NDd4Suc(op_TcUor9fpwD(op_8cLx32lpNA(b,b)))
    else:
        return op_dREnsuNWoJ(op_4fDPylY7hB(op_K5p65un2ft(b,a),op_YSKBFp38Pu(b,a)))

def op_count_pMvAIFlBh1(a, b):
    if op_sylijClI4e(a) == 192:
        count = op_count_8cLx32lpNA(b,b)+op_count_TcUor9fpwD(op_8cLx32lpNA(b,b))+op_count_V35NDd4Suc(op_TcUor9fpwD(op_8cLx32lpNA(b,b)))+op_count_sylijClI4e(a)
    else:
        count = op_count_K5p65un2ft(b,a)+op_count_YSKBFp38Pu(b,a)+op_count_4fDPylY7hB(op_K5p65un2ft(b,a),op_YSKBFp38Pu(b,a))+op_count_dREnsuNWoJ(op_4fDPylY7hB(op_K5p65un2ft(b,a),op_YSKBFp38Pu(b,a)))
    return count


def op_ZFy2rhIysb(a):
    if (a != 24 and op_AnPstFaJd9(a) <= 146):
        return op_reVGrTqfuh(op_ZqmoXt0PtR(op_iuUhER8Vt9(a)),op_5e3ejKfaG8(op_YBMuzGt8zL(795,a),op_J6uwgn6DsM(a,a)))
    else:
        return op_dsYFgWXyte(op_p5qYALri8P(op_ZACOWTJZO4(a,a)),251)

def op_count_ZFy2rhIysb(a):
    if (a != 24 and op_AnPstFaJd9(a) <= 146):
        count = op_count_iuUhER8Vt9(a)+op_count_ZqmoXt0PtR(op_iuUhER8Vt9(a))+op_count_YBMuzGt8zL(795,a)+op_count_J6uwgn6DsM(a,a)+op_count_5e3ejKfaG8(op_YBMuzGt8zL(795,a),op_J6uwgn6DsM(a,a))+op_count_reVGrTqfuh(op_ZqmoXt0PtR(op_iuUhER8Vt9(a)),op_5e3ejKfaG8(op_YBMuzGt8zL(795,a),op_J6uwgn6DsM(a,a)))+op_count_AnPstFaJd9(a)
    else:
        count = op_count_ZACOWTJZO4(a,a)+op_count_p5qYALri8P(op_ZACOWTJZO4(a,a))+op_count_dsYFgWXyte(op_p5qYALri8P(op_ZACOWTJZO4(a,a)),251)
    return count


def op_Mcn3daWqHc(a, b):
    if op_bq0uxnJnnH(b,918) >= 491:
        return op_SGfBAFE26B(b,op_tqmm8txHHJ(473,b))
    else:
        return op_jBncVCNhdl(op_9ICcGScMcE(b),a)

def op_count_Mcn3daWqHc(a, b):
    if op_bq0uxnJnnH(b,918) >= 491:
        count = op_count_tqmm8txHHJ(473,b)+op_count_SGfBAFE26B(b,op_tqmm8txHHJ(473,b))+op_count_bq0uxnJnnH(b,918)
    else:
        count = op_count_9ICcGScMcE(b)+op_count_jBncVCNhdl(op_9ICcGScMcE(b),a)
    return count


def op_wJVW2dKJ3w(a):
    if (a > 140 or op_3h5GKXUu7E(a) <= 204):
        return op_sX7icBeOwx(op_jneptBQ8aA(op_MSsKXfycuQ(a,a),op_vaH8QgiDVg(263)))
    else:
        return a

def op_count_wJVW2dKJ3w(a):
    if (a > 140 or op_3h5GKXUu7E(a) <= 204):
        count = op_count_MSsKXfycuQ(a,a)+op_count_vaH8QgiDVg(263)+op_count_jneptBQ8aA(op_MSsKXfycuQ(a,a),op_vaH8QgiDVg(263))+op_count_sX7icBeOwx(op_jneptBQ8aA(op_MSsKXfycuQ(a,a),op_vaH8QgiDVg(263)))+op_count_3h5GKXUu7E(a)
    else:
        count = 1
    return count


⇂⋯a = { (((35⩐a)⩣⊵⩗(a⇛≢∆a))∱⨑((a⇆⫤a)↑⪫≶(a∿⊵⋹a))) , if (a⋂⪋)==231 ; ((⋝⫝⇞(a⫩⇖⊚))⊮∢≜) , else }

def op_7DVaw2hB8E(a):
    if op_TQFzRlfVW8(a) == 231:
        return op_GHTZleiggj(op_wsXFuL0hC6(op_bMfZrpXtSe(35,a),op_BRZFass3Bp(a,a)),op_yHqH2lrrnJ(op_mgxBsyfu3j(a,a),op_k8X3umw52W(a,a)))
    else:
        return op_ydyDtesUNX(op_plD4nFIz3E(op_QNPXGx1oVE(a)))

def op_count_7DVaw2hB8E(a):
    if op_TQFzRlfVW8(a) == 231:
        count = op_count_bMfZrpXtSe(35,a)+op_count_BRZFass3Bp(a,a)+op_count_wsXFuL0hC6(op_bMfZrpXtSe(35,a),op_BRZFass3Bp(a,a))+op_count_mgxBsyfu3j(a,a)+op_count_k8X3umw52W(a,a)+op_count_yHqH2lrrnJ(op_mgxBsyfu3j(a,a),op_k8X3umw52W(a,a))+op_count_GHTZleiggj(op_wsXFuL0hC6(op_bMfZrpXtSe(35,a),op_BRZFass3Bp(a,a)),op_yHqH2lrrnJ(op_mgxBsyfu3j(a,a),op_k8X3umw52W(a,a)))+op_count_TQFzRlfVW8(a)
    else:
        count = op_count_QNPXGx1oVE(a)+op_count_plD4nFIz3E(op_QNPXGx1oVE(a))+op_count_ydyDtesUNX(op_plD4nFIz3E(op_QNPXGx1oVE(a)))
    return count


a⋴≧⨩b = { (≇⪴b) , if (b⊢⇽793)==152 or b==403 or (∷≠b)>380 ; (((1≆⪃a)∢≼(b≴⪞⇿b))⇖↽((a⩁)⇯⋻(a≀⋧b))) , else }

def op_MtrOKNcKln(a, b):
    if op_fGTNyEZ31R(b,793) == 152 or b == 403 or op_QiR2Oyf5Xj(b) > 380:
        return op_zoVPnxeHJ3(b)
    else:
        return op_cwbF3JtlMN(op_MDeofPkNUB(op_EjjZdWuWOr(1,a),op_lvlrscuwVU(b,b)),op_ktfEB5Ypfm(op_5GqDbVmqXU(a),op_RLgQDWzcJN(a,b)))

def op_count_MtrOKNcKln(a, b):
    if op_fGTNyEZ31R(b,793) == 152 or b == 403 or op_QiR2Oyf5Xj(b) > 380:
        count = op_count_zoVPnxeHJ3(b)+op_count_fGTNyEZ31R(b,793)+op_count_QiR2Oyf5Xj(b)
    else:
        count = op_count_EjjZdWuWOr(1,a)+op_count_lvlrscuwVU(b,b)+op_count_MDeofPkNUB(op_EjjZdWuWOr(1,a),op_lvlrscuwVU(b,b))+op_count_5GqDbVmqXU(a)+op_count_RLgQDWzcJN(a,b)+op_count_ktfEB5Ypfm(op_5GqDbVmqXU(a),op_RLgQDWzcJN(a,b))+op_count_cwbF3JtlMN(op_MDeofPkNUB(op_EjjZdWuWOr(1,a),op_lvlrscuwVU(b,b)),op_ktfEB5Ypfm(op_5GqDbVmqXU(a),op_RLgQDWzcJN(a,b)))
    return count


a⪿↦⊘ = { (⫂↾a) , if (↪⨀a)>=29 ; (a⊁) , else }

def op_mzFbeuciqp(a):
    if op_t0cKpDWDXO(a) >= 29:
        return op_stqfiwE0x5(a)
    else:
        return op_IU5bnLfiEv(a)

def op_count_mzFbeuciqp(a):
    if op_t0cKpDWDXO(a) >= 29:
        count = op_count_stqfiwE0x5(a)+op_count_t0cKpDWDXO(a)
    else:
        count = op_count_IU5bnLfiEv(a)
    return count


a⪉⪹∳b = { ((b⊌⨑b)≪⫇(b⊢≏≾a)) , if a<913 or (b⪩⊫)<=867 or (b∃⇔⊪914)>197 ; ((b⇉⇱⇎)≜⩢⊷(b⫊b)) , else }

def op_0bWY2Z1pds(a, b):
    if a < 913 or op_0cGMrPTqT1(b) <= 867 or op_WFJVtqsjOa(b,914) > 197:
        return op_HJmRI3zxge(op_rfCxBsGcPd(b,b),op_qxqspddX8k(b,a))
    else:
        return op_k9T6mMvXeX(op_MRPaB8lBjK(b),op_uPjn7n5pli(b,b))

def op_count_0bWY2Z1pds(a, b):
    if a < 913 or op_0cGMrPTqT1(b) <= 867 or op_WFJVtqsjOa(b,914) > 197:
        count = op_count_rfCxBsGcPd(b,b)+op_count_qxqspddX8k(b,a)+op_count_HJmRI3zxge(op_rfCxBsGcPd(b,b),op_qxqspddX8k(b,a))+op_count_0cGMrPTqT1(b)+op_count_WFJVtqsjOa(b,914)
    else:
        count = op_count_MRPaB8lBjK(b)+op_count_uPjn7n5pli(b,b)+op_count_k9T6mMvXeX(op_MRPaB8lBjK(b),op_uPjn7n5pli(b,b))
    return count


a⊐⋖ = { (≙≿⇔a) , if a!=538 and a!=65 and (↱⇻↑a)>=404 ; (127⊹∫⫚a) , else }

def op_Re0mmsocGZ(a):
    if a != 538 and a != 65 and op_2FialGP0jN(a) >= 404:
        return op_61C3GuCVLx(a)
    else:
        return op_uWAJUKEvyW(127,a)

def op_count_Re0mmsocGZ(a):
    if a != 538 and a != 65 and op_2FialGP0jN(a) >= 404:
        count = op_count_61C3GuCVLx(a)+op_count_2FialGP0jN(a)
    else:
        count = op_count_uWAJUKEvyW(127,a)
    return count


⪂∧a = { (⇣(a⩸⫈⨺a)) , if (a↰⇜⩿)!=389 ; ((a≳a)−↩(∧⨇⇂a)) , else }

def op_iKLLq8LGXo(a):
    if op_D3f8g0qpyM(a) != 389:
        return op_jrW1E7Ncie(op_wPaLWLSZ6I(a,a))
    else:
        return op_R5BlhskJds(op_HOs11gFUaq(a,a),op_mjfNiYKyI7(a))

def op_count_iKLLq8LGXo(a):
    if op_D3f8g0qpyM(a) != 389:
        count = op_count_wPaLWLSZ6I(a,a)+op_count_jrW1E7Ncie(op_wPaLWLSZ6I(a,a))+op_count_D3f8g0qpyM(a)
    else:
        count = op_count_HOs11gFUaq(a,a)+op_count_mjfNiYKyI7(a)+op_count_R5BlhskJds(op_HOs11gFUaq(a,a),op_mjfNiYKyI7(a))
    return count


def op_4mpOrSB7Kf(a, b):
    if op_TrDKUjqfgw(a,579) == 7:
        return op_hTbEZDJLEm(b)
    else:
        return op_jkca4M7ITL(a,146)

def op_count_4mpOrSB7Kf(a, b):
    if op_TrDKUjqfgw(a,579) == 7:
        count = op_count_hTbEZDJLEm(b)+op_count_TrDKUjqfgw(a,579)
    else:
        count = op_count_jkca4M7ITL(a,146)
    return count


a⩯⇪b = { (b≎⊠⪸a) , if (⇑⫎b)>511 ; (⊧⪂⊅a) , else }

def op_OrCGT1jGGR(a, b):
    if op_DlKt5E9iEj(b) > 511:
        return op_bJkvcejdHO(b,a)
    else:
        return op_U08m58jomp(a)

def op_count_OrCGT1jGGR(a, b):
    if op_DlKt5E9iEj(b) > 511:
        count = op_count_bJkvcejdHO(b,a)+op_count_DlKt5E9iEj(b)
    else:
        count = op_count_U08m58jomp(a)
    return count


a≅↺ = { (a*⇥≲) , if a!=61 or (a∕⪘≈488)>=84 ; (a⩻⇘⩦a) , else }

def op_xwrwLf9c24(a):
    if a != 61 or op_9gOQWDhglh(a,488) >= 84:
        return op_DEqk5vDXLq(a)
    else:
        return op_BrdKLlllJJ(a,a)

def op_count_xwrwLf9c24(a):
    if a != 61 or op_9gOQWDhglh(a,488) >= 84:
        count = op_count_DEqk5vDXLq(a)+op_count_9gOQWDhglh(a,488)
    else:
        count = op_count_BrdKLlllJJ(a,a)
    return count


def op_q0nYMvVa58(a, b):
    if op_OD5lQAL0u2(b) < 391:
        return op_2hIaDBSv9V(op_8oxTided8f(op_G4EbQfwSm2(a,b),op_Wybb8daXue(67)),op_7PjNe5qSIJ(op_3nqY3DE9mg(a),op_zPWNPtZ3KV(86,b)))
    else:
        return op_y75s1iXyHd(op_4vOKojZu5Q(op_5GqDbVmqXU(a),op_S2EdmdiVZh(a,b)),op_k8jYdgA6NY(op_cx1JSpNNHo(a,a),op_KVe5lQHqeP(131)))

def op_count_q0nYMvVa58(a, b):
    if op_OD5lQAL0u2(b) < 391:
        count = op_count_G4EbQfwSm2(a,b)+op_count_Wybb8daXue(67)+op_count_8oxTided8f(op_G4EbQfwSm2(a,b),op_Wybb8daXue(67))+op_count_3nqY3DE9mg(a)+op_count_zPWNPtZ3KV(86,b)+op_count_7PjNe5qSIJ(op_3nqY3DE9mg(a),op_zPWNPtZ3KV(86,b))+op_count_2hIaDBSv9V(op_8oxTided8f(op_G4EbQfwSm2(a,b),op_Wybb8daXue(67)),op_7PjNe5qSIJ(op_3nqY3DE9mg(a),op_zPWNPtZ3KV(86,b)))+op_count_OD5lQAL0u2(b)
    else:
        count = op_count_5GqDbVmqXU(a)+op_count_S2EdmdiVZh(a,b)+op_count_4vOKojZu5Q(op_5GqDbVmqXU(a),op_S2EdmdiVZh(a,b))+op_count_cx1JSpNNHo(a,a)+op_count_KVe5lQHqeP(131)+op_count_k8jYdgA6NY(op_cx1JSpNNHo(a,a),op_KVe5lQHqeP(131))+op_count_y75s1iXyHd(op_4vOKojZu5Q(op_5GqDbVmqXU(a),op_S2EdmdiVZh(a,b)),op_k8jYdgA6NY(op_cx1JSpNNHo(a,a),op_KVe5lQHqeP(131)))
    return count


≒⊥a = { (a∳⩯a) , if (⪎a)>95 ; (a⇻⋧≁a) , else }

def op_bCRMEaRSRZ(a):
    if op_4q4Wt1yQrE(a) > 95:
        return op_9HGD9fv1Jr(a,a)
    else:
        return op_jCPkEVoL5K(a,a)

def op_count_bCRMEaRSRZ(a):
    if op_4q4Wt1yQrE(a) > 95:
        count = op_count_9HGD9fv1Jr(a,a)+op_count_4q4Wt1yQrE(a)
    else:
        count = op_count_jCPkEVoL5K(a,a)
    return count


def op_IjsC9BljnW(a, b):
    if (op_NEss8XKjAy(b) != 207 or op_NnryeZgiwo(a,382) >= 72):
        return op_wcUnr516Gq(op_jCit4cQ0Np(op_gTCkXbls8X(473,72),op_bAt5z2ML1n(b,b)),op_G9tJMlZ94a(op_bqn6BngAyz(445,b)))
    else:
        return op_5gklcqtSna(op_AEiy6t5Ykg(op_IkBJshDHtt(b),op_bs7D9C0JKx(a,a)))

def op_count_IjsC9BljnW(a, b):
    if (op_NEss8XKjAy(b) != 207 or op_NnryeZgiwo(a,382) >= 72):
        count = op_count_gTCkXbls8X(473,72)+op_count_bAt5z2ML1n(b,b)+op_count_jCit4cQ0Np(op_gTCkXbls8X(473,72),op_bAt5z2ML1n(b,b))+op_count_bqn6BngAyz(445,b)+op_count_G9tJMlZ94a(op_bqn6BngAyz(445,b))+op_count_wcUnr516Gq(op_jCit4cQ0Np(op_gTCkXbls8X(473,72),op_bAt5z2ML1n(b,b)),op_G9tJMlZ94a(op_bqn6BngAyz(445,b)))+op_count_NEss8XKjAy(b)+op_count_NnryeZgiwo(a,382)
    else:
        count = op_count_IkBJshDHtt(b)+op_count_bs7D9C0JKx(a,a)+op_count_AEiy6t5Ykg(op_IkBJshDHtt(b),op_bs7D9C0JKx(a,a))+op_count_5gklcqtSna(op_AEiy6t5Ykg(op_IkBJshDHtt(b),op_bs7D9C0JKx(a,a)))
    return count


⨞⇖⩚a = { (((a⨄)⇋∊)⊓((⩂↘⋹a)⋥⋵⩄(⩣⪁7))) , if a<331 ; a , else }

def op_OCY0vtSxxj(a):
    if a < 331:
        return op_ExT1EayJM6(op_3FtlcrQcJU(op_H7f1qksvrC(a)),op_7t3wd0Fuz7(op_GWLlYEOmyj(a),op_W2rMsuCzF8(7)))
    else:
        return a

def op_count_OCY0vtSxxj(a):
    if a < 331:
        count = op_count_H7f1qksvrC(a)+op_count_3FtlcrQcJU(op_H7f1qksvrC(a))+op_count_GWLlYEOmyj(a)+op_count_W2rMsuCzF8(7)+op_count_7t3wd0Fuz7(op_GWLlYEOmyj(a),op_W2rMsuCzF8(7))+op_count_ExT1EayJM6(op_3FtlcrQcJU(op_H7f1qksvrC(a)),op_7t3wd0Fuz7(op_GWLlYEOmyj(a),op_W2rMsuCzF8(7)))
    else:
        count = 1
    return count


⩱∐a = { (∨∊⋏a) , if ((a⨘⇗⫦)<184 and a!=367) ; (a↠⨗a) , else }

def op_npvO5i13Qd(a):
    if (op_wJXJNSoS23(a) < 184 and a != 367):
        return op_R5aXW34M0v(a)
    else:
        return op_B2MxbzqPiH(a,a)

def op_count_npvO5i13Qd(a):
    if (op_wJXJNSoS23(a) < 184 and a != 367):
        count = op_count_R5aXW34M0v(a)+op_count_wJXJNSoS23(a)
    else:
        count = op_count_B2MxbzqPiH(a,a)
    return count


def op_iiTMZ4fY4C(a):
    if (op_hASfSPd5iB(a) <= 75 or op_uB3aWBBPu3(a) <= 53):
        return op_vaH8QgiDVg(op_uFcxV4UQCh(a,a))
    else:
        return op_3nmA2mtsbg(op_NkHGXixdNJ(a,378))

def op_count_iiTMZ4fY4C(a):
    if (op_hASfSPd5iB(a) <= 75 or op_uB3aWBBPu3(a) <= 53):
        count = op_count_uFcxV4UQCh(a,a)+op_count_vaH8QgiDVg(op_uFcxV4UQCh(a,a))+op_count_hASfSPd5iB(a)+op_count_uB3aWBBPu3(a)
    else:
        count = op_count_NkHGXixdNJ(a,378)+op_count_3nmA2mtsbg(op_NkHGXixdNJ(a,378))
    return count


⪟⨮⩐a = { (a∩a) , if (a⊍⇉)!=208 ; (38⋕⪉⪜a) , else }

def op_WHpMMeXVWX(a):
    if op_ifb2XhFGzt(a) != 208:
        return op_F9Zfm1dsok(a,a)
    else:
        return op_z6LnFrNh4i(38,a)

def op_count_WHpMMeXVWX(a):
    if op_ifb2XhFGzt(a) != 208:
        count = op_count_F9Zfm1dsok(a,a)+op_count_ifb2XhFGzt(a)
    else:
        count = op_count_z6LnFrNh4i(38,a)
    return count


def op_VstVOOoFda(a, b):
    if (b <= 18 and op_rrwC2wGnut(b) > 501 and op_VAzvGNulUU(a) == 200):
        return op_5ESOiVPbEV(b,b)
    else:
        return op_5UNAVQY1F7(368)

def op_count_VstVOOoFda(a, b):
    if (b <= 18 and op_rrwC2wGnut(b) > 501 and op_VAzvGNulUU(a) == 200):
        count = op_count_5ESOiVPbEV(b,b)+op_count_rrwC2wGnut(b)+op_count_VAzvGNulUU(a)
    else:
        count = op_count_5UNAVQY1F7(368)
    return count


a↝⫞≯b = { (444⋙⪠(⇓↿b)) , if a!=15 ; (⪻⇥(b⫬b)) , else }

def op_jmsAQFt4sM(a, b):
    if a != 15:
        return op_vPmKJA6wUP(444,op_GDEgHlA5Kw(b))
    else:
        return op_kaeRoPDD5o(op_bR7FmX73P0(b,b))

def op_count_jmsAQFt4sM(a, b):
    if a != 15:
        count = op_count_GDEgHlA5Kw(b)+op_count_vPmKJA6wUP(444,op_GDEgHlA5Kw(b))
    else:
        count = op_count_bR7FmX73P0(b,b)+op_count_kaeRoPDD5o(op_bR7FmX73P0(b,b))
    return count


def op_NZgYfQjzNC(a):
    if a <= 189:
        return op_kE9YHawE8s(op_pMXht5UQ7i(a),op_LfDFAzw8az(119))
    else:
        return op_H40QhctQVb(op_h92wMvzauj(a,73))

def op_count_NZgYfQjzNC(a):
    if a <= 189:
        count = op_count_pMXht5UQ7i(a)+op_count_LfDFAzw8az(119)+op_count_kE9YHawE8s(op_pMXht5UQ7i(a),op_LfDFAzw8az(119))
    else:
        count = op_count_h92wMvzauj(a,73)+op_count_H40QhctQVb(op_h92wMvzauj(a,73))
    return count


a⪭∄ = { (((a≭⫡a)≨≷↮(a⩹⨧≼a))∛⋻↤((a⩹∮70)⪶⋼⋛(9⋡∥a))) , if a!=49 ; (((a⫲⇓a)⇆(↔123))∐⋓∯((a⨽⇀a)/⪠≕(120↼/a))) , else }

def op_1UDKal20No(a):
    if a != 49:
        return op_k3GVCLYZsC(op_HcR3lMcVMO(op_b1mGkbI4Oy(a,a),op_8GoaSTesSg(a,a)),op_6ayBXmFTY1(op_HZGlijH19F(a,70),op_zNFFvkV5QZ(9,a)))
    else:
        return op_ur59r4nmwX(op_S5nS5IR4MP(op_i5hWbqkGkb(a,a),op_ruOEQAzv1W(123)),op_JJul4MxJIR(op_h1U3ZT2Qlc(a,a),op_0l75R42zb7(120,a)))

def op_count_1UDKal20No(a):
    if a != 49:
        count = op_count_b1mGkbI4Oy(a,a)+op_count_8GoaSTesSg(a,a)+op_count_HcR3lMcVMO(op_b1mGkbI4Oy(a,a),op_8GoaSTesSg(a,a))+op_count_HZGlijH19F(a,70)+op_count_zNFFvkV5QZ(9,a)+op_count_6ayBXmFTY1(op_HZGlijH19F(a,70),op_zNFFvkV5QZ(9,a))+op_count_k3GVCLYZsC(op_HcR3lMcVMO(op_b1mGkbI4Oy(a,a),op_8GoaSTesSg(a,a)),op_6ayBXmFTY1(op_HZGlijH19F(a,70),op_zNFFvkV5QZ(9,a)))
    else:
        count = op_count_i5hWbqkGkb(a,a)+op_count_ruOEQAzv1W(123)+op_count_S5nS5IR4MP(op_i5hWbqkGkb(a,a),op_ruOEQAzv1W(123))+op_count_h1U3ZT2Qlc(a,a)+op_count_0l75R42zb7(120,a)+op_count_JJul4MxJIR(op_h1U3ZT2Qlc(a,a),op_0l75R42zb7(120,a))+op_count_ur59r4nmwX(op_S5nS5IR4MP(op_i5hWbqkGkb(a,a),op_ruOEQAzv1W(123)),op_JJul4MxJIR(op_h1U3ZT2Qlc(a,a),op_0l75R42zb7(120,a)))
    return count


a⨰⪃∷ = { (((a⊐)⇏(10⩌⨨⨫a))⩯≱⩰((a⨑⇌⫪a)∐⪡(⨦↡⨓a))) , if (⪑a)>432 ; (((a⊈⋜⋼a)⇌≑)⊰((a⫌⋠⫢36)⪡(a⩌⫰⩃a))) , else }

def op_ed2YgVf9Wu(a):
    if op_UvGf2i8V7N(a) > 432:
        return op_HDwVj9x3oe(op_PgomNjGXmI(op_pNiqsYmQ4e(a),op_3QUG3jHDXB(10,a)),op_F5wFo2T9P3(op_OMlED4Os5J(a,a),op_rGX0140XfS(a)))
    else:
        return op_S6anzDtGf9(op_189xYf1rc3(op_92pAIinIZa(a,a)),op_oraRL2iQuh(op_mf9eRyN6Nh(a,36),op_Qkdmijf3a6(a,a)))

def op_count_ed2YgVf9Wu(a):
    if op_UvGf2i8V7N(a) > 432:
        count = op_count_pNiqsYmQ4e(a)+op_count_3QUG3jHDXB(10,a)+op_count_PgomNjGXmI(op_pNiqsYmQ4e(a),op_3QUG3jHDXB(10,a))+op_count_OMlED4Os5J(a,a)+op_count_rGX0140XfS(a)+op_count_F5wFo2T9P3(op_OMlED4Os5J(a,a),op_rGX0140XfS(a))+op_count_HDwVj9x3oe(op_PgomNjGXmI(op_pNiqsYmQ4e(a),op_3QUG3jHDXB(10,a)),op_F5wFo2T9P3(op_OMlED4Os5J(a,a),op_rGX0140XfS(a)))+op_count_UvGf2i8V7N(a)
    else:
        count = op_count_92pAIinIZa(a,a)+op_count_189xYf1rc3(op_92pAIinIZa(a,a))+op_count_mf9eRyN6Nh(a,36)+op_count_Qkdmijf3a6(a,a)+op_count_oraRL2iQuh(op_mf9eRyN6Nh(a,36),op_Qkdmijf3a6(a,a))+op_count_S6anzDtGf9(op_189xYf1rc3(op_92pAIinIZa(a,a)),op_oraRL2iQuh(op_mf9eRyN6Nh(a,36),op_Qkdmijf3a6(a,a)))
    return count


⇎⪓a = { ((⪶⨩a)⇔⩳) , if (a⋆⋬546)<315 or a!=35 ; ((a⋔∶a)⇰↹∦) , else }

def op_9phkr9WceN(a):
    if op_7YiCYgpUY4(a,546) < 315 or a != 35:
        return op_FBLLQBTQYa(op_ixc2Esl5RP(a))
    else:
        return op_BcBLqVX0Dd(op_e1tqKxnyD8(a,a))

def op_count_9phkr9WceN(a):
    if op_7YiCYgpUY4(a,546) < 315 or a != 35:
        count = op_count_ixc2Esl5RP(a)+op_count_FBLLQBTQYa(op_ixc2Esl5RP(a))+op_count_7YiCYgpUY4(a,546)
    else:
        count = op_count_e1tqKxnyD8(a,a)+op_count_BcBLqVX0Dd(op_e1tqKxnyD8(a,a))
    return count


∘⩕a = { ((a↹)↵(a⩚⫳a)) , if (a∝⇝)<39 ; ((⇰a)⊝∲⩰(a⩩∧⨆a)) , else }

def op_qmnm2YaJRp(a):
    if op_yp9CRaSDpl(a) < 39:
        return op_8cNrNy0nrI(op_czsasVwKyq(a),op_meOipXXSDp(a,a))
    else:
        return op_UkFG6YBLyt(op_zc1INhisa1(a),op_tzokWjBnUu(a,a))

def op_count_qmnm2YaJRp(a):
    if op_yp9CRaSDpl(a) < 39:
        count = op_count_czsasVwKyq(a)+op_count_meOipXXSDp(a,a)+op_count_8cNrNy0nrI(op_czsasVwKyq(a),op_meOipXXSDp(a,a))+op_count_yp9CRaSDpl(a)
    else:
        count = op_count_zc1INhisa1(a)+op_count_tzokWjBnUu(a,a)+op_count_UkFG6YBLyt(op_zc1INhisa1(a),op_tzokWjBnUu(a,a))
    return count


def op_20at030mKx(a, b):
    if op_zVbKEeMoGt(b) < 539:
        return op_MGuIdZPyUC(op_0Vcvu1QG1k(b,b))
    else:
        return op_4KgMg3eWY3(op_FWWC6DdxcU(66,201),a)

def op_count_20at030mKx(a, b):
    if op_zVbKEeMoGt(b) < 539:
        count = op_count_0Vcvu1QG1k(b,b)+op_count_MGuIdZPyUC(op_0Vcvu1QG1k(b,b))+op_count_zVbKEeMoGt(b)
    else:
        count = op_count_FWWC6DdxcU(66,201)+op_count_4KgMg3eWY3(op_FWWC6DdxcU(66,201),a)
    return count


⪑⊇⫘a = { (a⨡a) , if a<97 and a>113 ; (a⋁) , else }

def op_0z37qbxKYg(a):
    if a < 97 and a > 113:
        return op_tJtBLRaXS9(a,a)
    else:
        return op_R6sRhpmvlr(a)

def op_count_0z37qbxKYg(a):
    if a < 97 and a > 113:
        count = op_count_tJtBLRaXS9(a,a)
    else:
        count = op_count_R6sRhpmvlr(a)
    return count


def op_sBNEnO5DrL(a):
    if (op_eZJ1CbPeTb(a) <= 342 and op_YjTveF0rk5(a,905) > 252):
        return op_JpB1LdahAH(op_Q2SbzXtpD3(433),a)
    else:
        return op_hJ1EP0XKuB(op_n9EnWVX4dz(op_tfk3gx8Z61(a,a),op_MscnI5MLJ2(a,a)))

def op_count_sBNEnO5DrL(a):
    if (op_eZJ1CbPeTb(a) <= 342 and op_YjTveF0rk5(a,905) > 252):
        count = op_count_Q2SbzXtpD3(433)+op_count_JpB1LdahAH(op_Q2SbzXtpD3(433),a)+op_count_eZJ1CbPeTb(a)+op_count_YjTveF0rk5(a,905)
    else:
        count = op_count_tfk3gx8Z61(a,a)+op_count_MscnI5MLJ2(a,a)+op_count_n9EnWVX4dz(op_tfk3gx8Z61(a,a),op_MscnI5MLJ2(a,a))+op_count_hJ1EP0XKuB(op_n9EnWVX4dz(op_tfk3gx8Z61(a,a),op_MscnI5MLJ2(a,a)))
    return count


a⨚⋹%b = { (((⫌⊑↬a)⨯∽⇪)⪰) , if (b⩠⊴)<558 ; (a≜⊇((b⋏⪄⋛b)⇻⋧≁(0⊣⨺b))) , else }

def op_kl8g1HIl1s(a, b):
    if op_bUjw4zxijs(b) < 558:
        return op_TqTf0WBeGT(op_bkrCwORtsm(op_h57jOAbG9W(a)))
    else:
        return op_oa1nrqFkD0(a,op_jCPkEVoL5K(op_VCoQhphGv5(b,b),op_8yGz9s51pC(0,b)))

def op_count_kl8g1HIl1s(a, b):
    if op_bUjw4zxijs(b) < 558:
        count = op_count_h57jOAbG9W(a)+op_count_bkrCwORtsm(op_h57jOAbG9W(a))+op_count_TqTf0WBeGT(op_bkrCwORtsm(op_h57jOAbG9W(a)))+op_count_bUjw4zxijs(b)
    else:
        count = op_count_VCoQhphGv5(b,b)+op_count_8yGz9s51pC(0,b)+op_count_jCPkEVoL5K(op_VCoQhphGv5(b,b),op_8yGz9s51pC(0,b))+op_count_oa1nrqFkD0(a,op_jCPkEVoL5K(op_VCoQhphGv5(b,b),op_8yGz9s51pC(0,b)))
    return count


a∷⫾b = { ((⋑←a)⩐(a∛∙b)) , if (⨝⇱⩟a)>=253 ; (a⩴(24⫐≩b)) , else }

def op_6FkTzFgkJV(a, b):
    if op_21pyUcYko7(a) >= 253:
        return op_bMfZrpXtSe(op_B0ezUFU1kP(a),op_kpf4jZBDQQ(a,b))
    else:
        return op_8YdTO89gQD(a,op_RDbMZWh2v2(24,b))

def op_count_6FkTzFgkJV(a, b):
    if op_21pyUcYko7(a) >= 253:
        count = op_count_B0ezUFU1kP(a)+op_count_kpf4jZBDQQ(a,b)+op_count_bMfZrpXtSe(op_B0ezUFU1kP(a),op_kpf4jZBDQQ(a,b))+op_count_21pyUcYko7(a)
    else:
        count = op_count_RDbMZWh2v2(24,b)+op_count_8YdTO89gQD(a,op_RDbMZWh2v2(24,b))
    return count


a⩃⪰b = { (((b∊⊳∝96)∁⋇(≂b))⇴≃∙) , if (⋼⋜≘b)<=305 ; (((≧↼a)↭↢≔)≓∲((b≏⪷⨊b)⇡⨐⪆(⪚⋰⋮12))) , else }

def op_4vTWrC396Y(a, b):
    if op_NjGMwpyDaG(b) <= 305:
        return op_q7JRbKRkcT(op_ET0KLvfdmE(op_6h8r4YZk7l(b,96),op_dCycFYvitt(b)))
    else:
        return op_s1XTVnmDOJ(op_Q6LsZf8ZYd(op_z5O9aNKFo7(a)),op_snJ4WsMDae(op_aP2QVQG16R(b,b),op_9KSCB8sGCw(12)))

def op_count_4vTWrC396Y(a, b):
    if op_NjGMwpyDaG(b) <= 305:
        count = op_count_6h8r4YZk7l(b,96)+op_count_dCycFYvitt(b)+op_count_ET0KLvfdmE(op_6h8r4YZk7l(b,96),op_dCycFYvitt(b))+op_count_q7JRbKRkcT(op_ET0KLvfdmE(op_6h8r4YZk7l(b,96),op_dCycFYvitt(b)))+op_count_NjGMwpyDaG(b)
    else:
        count = op_count_z5O9aNKFo7(a)+op_count_Q6LsZf8ZYd(op_z5O9aNKFo7(a))+op_count_aP2QVQG16R(b,b)+op_count_9KSCB8sGCw(12)+op_count_snJ4WsMDae(op_aP2QVQG16R(b,b),op_9KSCB8sGCw(12))+op_count_s1XTVnmDOJ(op_Q6LsZf8ZYd(op_z5O9aNKFo7(a)),op_snJ4WsMDae(op_aP2QVQG16R(b,b),op_9KSCB8sGCw(12)))
    return count


⋖⋅a = { (a⫿∎a) , if (a↕≻265)==36 ; (a⪛⫼a) , else }

def op_saC1J2Q83X(a):
    if op_ccAshUO0WJ(a,265) == 36:
        return op_5EPoWE8Hz6(a,a)
    else:
        return op_hyuBjUqXlG(a,a)

def op_count_saC1J2Q83X(a):
    if op_ccAshUO0WJ(a,265) == 36:
        count = op_count_5EPoWE8Hz6(a,a)+op_count_ccAshUO0WJ(a,265)
    else:
        count = op_count_hyuBjUqXlG(a,a)
    return count


a⇣↛≟b = { (a⩘b) , if (⊟⇪b)!=353 ; (a⇂≾⫗b) , else }

def op_9XgyO8cQe5(a, b):
    if op_91PYVx90ZM(b) != 353:
        return op_cHh1gJQ2o6(a,b)
    else:
        return op_aBQ6xLxuTc(a,b)

def op_count_9XgyO8cQe5(a, b):
    if op_91PYVx90ZM(b) != 353:
        count = op_count_cHh1gJQ2o6(a,b)+op_count_91PYVx90ZM(b)
    else:
        count = op_count_aBQ6xLxuTc(a,b)
    return count


def op_DEORFjwfEp(a):
    if (op_dcX9veljT5(a) == 296 or a == 355 or op_IVYZfpfDBw(a) <= 124):
        return op_RHru8klgy8(op_rTUPPhO5VL(234,a))
    else:
        return op_lmJLg3MMpL(op_36V2MidH9c(a,a),op_dma8RTlAAq(a))

def op_count_DEORFjwfEp(a):
    if (op_dcX9veljT5(a) == 296 or a == 355 or op_IVYZfpfDBw(a) <= 124):
        count = op_count_rTUPPhO5VL(234,a)+op_count_RHru8klgy8(op_rTUPPhO5VL(234,a))+op_count_dcX9veljT5(a)+op_count_IVYZfpfDBw(a)
    else:
        count = op_count_36V2MidH9c(a,a)+op_count_dma8RTlAAq(a)+op_count_lmJLg3MMpL(op_36V2MidH9c(a,a),op_dma8RTlAAq(a))
    return count


a⇙⋪b = { ((a⨦∄⇯a)≴⪞⇿(a⊍⨀a)) , if a!=624 ; b , else }

def op_jGx1aaGeDB(a, b):
    if a != 624:
        return op_lvlrscuwVU(op_aULemKRNJ1(a,a),op_W48l78wIbG(a,a))
    else:
        return b

def op_count_jGx1aaGeDB(a, b):
    if a != 624:
        count = op_count_aULemKRNJ1(a,a)+op_count_W48l78wIbG(a,a)+op_count_lvlrscuwVU(op_aULemKRNJ1(a,a),op_W48l78wIbG(a,a))
    else:
        count = 1
    return count


≾⋫a = { ((a⫵⪞∥a)⪃↞⩐) , if (a⇮⇃⫯500)!=41 ; ((a⩘⨹⊿483)↻(a⋻⪍⫐)) , else }

def op_fWXqLDIDDI(a):
    if op_vjAZhCvnmo(a,500) != 41:
        return op_grXIztHqDa(op_agzRJtrQZ2(a,a))
    else:
        return op_XFunts32PM(op_3ldUWfsXlD(a,483),op_YvRQj5obxP(a))

def op_count_fWXqLDIDDI(a):
    if op_vjAZhCvnmo(a,500) != 41:
        count = op_count_agzRJtrQZ2(a,a)+op_count_grXIztHqDa(op_agzRJtrQZ2(a,a))+op_count_vjAZhCvnmo(a,500)
    else:
        count = op_count_3ldUWfsXlD(a,483)+op_count_YvRQj5obxP(a)+op_count_XFunts32PM(op_3ldUWfsXlD(a,483),op_YvRQj5obxP(a))
    return count


a⪫∵⨮b = { ((b≻b)⨑⇌⫪(b⨇∑⇷b)) , if ((⪷∈↠b)>465 or (≯a)<307 or (b⩚⇏)==385) ; ((334≭∲a)⩎⨬(⋣b)) , else }

def op_sIyajdlsvz(a, b):
    if (op_Kn0TacbtGK(b) > 465 or op_keWfFq85dY(a) < 307 or op_8VOMfS9Ted(b) == 385):
        return op_OMlED4Os5J(op_5hXIoSHgw9(b,b),op_LCjPM0UdxD(b,b))
    else:
        return op_dR2gYrpTIj(op_KYh8HrRqh8(334,a),op_zQWRhDnn8F(b))

def op_count_sIyajdlsvz(a, b):
    if (op_Kn0TacbtGK(b) > 465 or op_keWfFq85dY(a) < 307 or op_8VOMfS9Ted(b) == 385):
        count = op_count_5hXIoSHgw9(b,b)+op_count_LCjPM0UdxD(b,b)+op_count_OMlED4Os5J(op_5hXIoSHgw9(b,b),op_LCjPM0UdxD(b,b))+op_count_Kn0TacbtGK(b)+op_count_keWfFq85dY(a)+op_count_8VOMfS9Ted(b)
    else:
        count = op_count_KYh8HrRqh8(334,a)+op_count_zQWRhDnn8F(b)+op_count_dR2gYrpTIj(op_KYh8HrRqh8(334,a),op_zQWRhDnn8F(b))
    return count


a⩣⪆ = { (((a↖⇒493)⇹⋂⨚(a⋲∁a))⩕) , if (≨⊁⩽a)>0 ; ((a≻⇢(a≯⊼a))⫿∎((a⨫⇇↔a)∊∟⩊(a∇∹a))) , else }

def op_OEwDNNx61C(a):
    if op_kfDndAEh36(a) > 0:
        return op_ztbpxZ3MBw(op_wGJ01FE41T(op_2Yy7IiVHWW(a,493),op_64iDxRhgYJ(a,a)))
    else:
        return op_5EPoWE8Hz6(op_n5wvQJ84nZ(a,op_6LEqcG83L6(a,a)),op_ddLRYrp01A(op_LXhwmt4mBO(a,a),op_NQx0zRYggH(a,a)))

def op_count_OEwDNNx61C(a):
    if op_kfDndAEh36(a) > 0:
        count = op_count_2Yy7IiVHWW(a,493)+op_count_64iDxRhgYJ(a,a)+op_count_wGJ01FE41T(op_2Yy7IiVHWW(a,493),op_64iDxRhgYJ(a,a))+op_count_ztbpxZ3MBw(op_wGJ01FE41T(op_2Yy7IiVHWW(a,493),op_64iDxRhgYJ(a,a)))+op_count_kfDndAEh36(a)
    else:
        count = op_count_6LEqcG83L6(a,a)+op_count_n5wvQJ84nZ(a,op_6LEqcG83L6(a,a))+op_count_LXhwmt4mBO(a,a)+op_count_NQx0zRYggH(a,a)+op_count_ddLRYrp01A(op_LXhwmt4mBO(a,a),op_NQx0zRYggH(a,a))+op_count_5EPoWE8Hz6(op_n5wvQJ84nZ(a,op_6LEqcG83L6(a,a)),op_ddLRYrp01A(op_LXhwmt4mBO(a,a),op_NQx0zRYggH(a,a)))
    return count


def op_8mtiSnzBRA(a, b):
    if (b != 149 and op_pziE1BpiHF(a,764) != 88 and a <= 154):
        return op_mMNOlYfzJE(b)
    else:
        return op_tSHYsjpuUI(b,16)

def op_count_8mtiSnzBRA(a, b):
    if (b != 149 and op_pziE1BpiHF(a,764) != 88 and a <= 154):
        count = op_count_mMNOlYfzJE(b)+op_count_pziE1BpiHF(a,764)
    else:
        count = op_count_tSHYsjpuUI(b,16)
    return count


a⪙⪃⫩b = { ((⇡⫫(b↔⫤⩊a))⪋↯((a∍↴a)⇉⇉)) , if (a≂⊟⊞674)>=202 ; (((a⨊⋜⩦b)⊗⊌(⨇⪄⫏b))⇋⩓((b∷↰≆a)⇶)) , else }

def op_qLNS38JfQg(a, b):
    if op_0KgWqnVqNo(a,674) >= 202:
        return op_zDWB6XqCFD(op_xkySVgzY16(op_bBEzQ2IhFN(b,a)),op_diKm42VcIt(op_Esodbl1gVe(a,a)))
    else:
        return op_nV0ABU7b9V(op_aF6wdyjNOF(op_K4mq4RyTKW(a,b),op_B4c4JXCTtZ(b)),op_9qYBGIiuHp(op_eFpA6433h8(b,a)))

def op_count_qLNS38JfQg(a, b):
    if op_0KgWqnVqNo(a,674) >= 202:
        count = op_count_bBEzQ2IhFN(b,a)+op_count_xkySVgzY16(op_bBEzQ2IhFN(b,a))+op_count_Esodbl1gVe(a,a)+op_count_diKm42VcIt(op_Esodbl1gVe(a,a))+op_count_zDWB6XqCFD(op_xkySVgzY16(op_bBEzQ2IhFN(b,a)),op_diKm42VcIt(op_Esodbl1gVe(a,a)))+op_count_0KgWqnVqNo(a,674)
    else:
        count = op_count_K4mq4RyTKW(a,b)+op_count_B4c4JXCTtZ(b)+op_count_aF6wdyjNOF(op_K4mq4RyTKW(a,b),op_B4c4JXCTtZ(b))+op_count_eFpA6433h8(b,a)+op_count_9qYBGIiuHp(op_eFpA6433h8(b,a))+op_count_nV0ABU7b9V(op_aF6wdyjNOF(op_K4mq4RyTKW(a,b),op_B4c4JXCTtZ(b)),op_9qYBGIiuHp(op_eFpA6433h8(b,a)))
    return count


≻→↸a = { (⫻≤86) , if (⇂⊪⩀a)>=65 ; (⨮↦↱a) , else }

def op_qziKOL4PS6(a):
    if op_8yA0yoZckl(a) >= 65:
        return op_v7yRR9JtDU(86)
    else:
        return op_sYcpBQ0cFf(a)

def op_count_qziKOL4PS6(a):
    if op_8yA0yoZckl(a) >= 65:
        count = op_count_v7yRR9JtDU(86)+op_count_8yA0yoZckl(a)
    else:
        count = op_count_sYcpBQ0cFf(a)
    return count


def op_SfEYNmpFSu(a, b):
    if (op_aK1dng0i0Q(a) >= 162 or op_NbEzn8HcDr(a,731) != 111):
        return op_3pxRWyOFEM(op_OEiktesKRI(op_A41kwsHSEW(b),a),op_9rNHCbYvka(op_d0BPTzii7q(b),op_hrf7POJlIJ(b,a)))
    else:
        return op_sBVsl3mEd7(op_GpxN1sq6sw(op_IU5bnLfiEv(a)),b)

def op_count_SfEYNmpFSu(a, b):
    if (op_aK1dng0i0Q(a) >= 162 or op_NbEzn8HcDr(a,731) != 111):
        count = op_count_A41kwsHSEW(b)+op_count_OEiktesKRI(op_A41kwsHSEW(b),a)+op_count_d0BPTzii7q(b)+op_count_hrf7POJlIJ(b,a)+op_count_9rNHCbYvka(op_d0BPTzii7q(b),op_hrf7POJlIJ(b,a))+op_count_3pxRWyOFEM(op_OEiktesKRI(op_A41kwsHSEW(b),a),op_9rNHCbYvka(op_d0BPTzii7q(b),op_hrf7POJlIJ(b,a)))+op_count_aK1dng0i0Q(a)+op_count_NbEzn8HcDr(a,731)
    else:
        count = op_count_IU5bnLfiEv(a)+op_count_GpxN1sq6sw(op_IU5bnLfiEv(a))+op_count_sBVsl3mEd7(op_GpxN1sq6sw(op_IU5bnLfiEv(a)),b)
    return count


a⊇⇶⫝̸b = { (a≵⩾⇗((b⩐b)⨯≫⊾(⨮≕b))) , if (a⩎⋴)>=80 ; (((∳*≳37)⋂⩴(b⩝⪋≩))≆⋉⩆((a⫣≬59)⫞)) , else }

def op_CTQAACDJUC(a, b):
    if op_CAXE9Cb1F1(a) >= 80:
        return op_GyJNigkHRe(a,op_3Nwa8gVjpX(op_bMfZrpXtSe(b,b),op_LpaIDEFahL(b)))
    else:
        return op_sHMtVDD4nv(op_hmlrMsD2PO(op_G68iXt2SEN(37),op_Qmvpor93tS(b)),op_mk4FjxrA5V(op_NrWB21ZewL(a,59)))

def op_count_CTQAACDJUC(a, b):
    if op_CAXE9Cb1F1(a) >= 80:
        count = op_count_bMfZrpXtSe(b,b)+op_count_LpaIDEFahL(b)+op_count_3Nwa8gVjpX(op_bMfZrpXtSe(b,b),op_LpaIDEFahL(b))+op_count_GyJNigkHRe(a,op_3Nwa8gVjpX(op_bMfZrpXtSe(b,b),op_LpaIDEFahL(b)))+op_count_CAXE9Cb1F1(a)
    else:
        count = op_count_G68iXt2SEN(37)+op_count_Qmvpor93tS(b)+op_count_hmlrMsD2PO(op_G68iXt2SEN(37),op_Qmvpor93tS(b))+op_count_NrWB21ZewL(a,59)+op_count_mk4FjxrA5V(op_NrWB21ZewL(a,59))+op_count_sHMtVDD4nv(op_hmlrMsD2PO(op_G68iXt2SEN(37),op_Qmvpor93tS(b)),op_mk4FjxrA5V(op_NrWB21ZewL(a,59)))
    return count


a⋨⫉⫇b = { (⋖((b⨇⩣⪟)↓⋻)) , if (a⇩⩌465)<277 ; (((a⩀↣a)⊏≷≳)⊟⋔↩((b⩣⨨⊁)⋧⊕(⇋↷b))) , else }

def op_KusQEL0Wui(a, b):
    if op_WtSaZj39hj(a,465) < 277:
        return op_dYTqEtTc30(op_Dl2oGiO0ez(op_oywGZ9bzxQ(b)))
    else:
        return op_1B4ngayaHK(op_IyXueN9Vxj(op_OstGYNawjH(a,a)),op_RsIz0jMEOs(op_aii10oKZ0R(b),op_SWo3A1KBJH(b)))

def op_count_KusQEL0Wui(a, b):
    if op_WtSaZj39hj(a,465) < 277:
        count = op_count_oywGZ9bzxQ(b)+op_count_Dl2oGiO0ez(op_oywGZ9bzxQ(b))+op_count_dYTqEtTc30(op_Dl2oGiO0ez(op_oywGZ9bzxQ(b)))+op_count_WtSaZj39hj(a,465)
    else:
        count = op_count_OstGYNawjH(a,a)+op_count_IyXueN9Vxj(op_OstGYNawjH(a,a))+op_count_aii10oKZ0R(b)+op_count_SWo3A1KBJH(b)+op_count_RsIz0jMEOs(op_aii10oKZ0R(b),op_SWo3A1KBJH(b))+op_count_1B4ngayaHK(op_IyXueN9Vxj(op_OstGYNawjH(a,a)),op_RsIz0jMEOs(op_aii10oKZ0R(b),op_SWo3A1KBJH(b)))
    return count


a⪞⋔b = { (b/⋨a) , if (b⪓↹⇾224)>=180 ; (⨮↦↱a) , else }

def op_nyjUIJb8jt(a, b):
    if op_vs8iUQwOA7(b,224) >= 180:
        return op_cdLdONPVMp(b,a)
    else:
        return op_sYcpBQ0cFf(a)

def op_count_nyjUIJb8jt(a, b):
    if op_vs8iUQwOA7(b,224) >= 180:
        count = op_count_cdLdONPVMp(b,a)+op_count_vs8iUQwOA7(b,224)
    else:
        count = op_count_sYcpBQ0cFf(a)
    return count


def op_1OnfIxKN7s(a):
    if op_SGfBAFE26B(a,996) <= 603 and op_PRgG163Dcu(a) == 104 and op_3UBWuKoTzU(a) >= 492:
        return op_7YooWSwCyH(59,a)
    else:
        return op_9QNY6wq3gX(597)

def op_count_1OnfIxKN7s(a):
    if op_SGfBAFE26B(a,996) <= 603 and op_PRgG163Dcu(a) == 104 and op_3UBWuKoTzU(a) >= 492:
        count = op_count_7YooWSwCyH(59,a)+op_count_SGfBAFE26B(a,996)+op_count_PRgG163Dcu(a)+op_count_3UBWuKoTzU(a)
    else:
        count = op_count_9QNY6wq3gX(597)
    return count


a≩⨕⩣ = { (((674≤⋿a)⋷↮⫣(139⊛⋬⋔a))⊪⨰⋆((a⇱)⫝√(a∈⫷⨾a))) , if (a⪱)>=443 and a==55 ; a , else }

def op_YWLv8WXsBF(a):
    if op_QrPBJNmqe2(a) >= 443 and a == 55:
        return op_gVe57Wp8lf(op_IhmFHZKYD8(op_GWoGfTTeeI(674,a),op_WvLrLe1sfH(139,a)),op_h9SYvkAopU(op_S0xevmWjPz(a),op_97rocKiZDM(a,a)))
    else:
        return a

def op_count_YWLv8WXsBF(a):
    if op_QrPBJNmqe2(a) >= 443 and a == 55:
        count = op_count_GWoGfTTeeI(674,a)+op_count_WvLrLe1sfH(139,a)+op_count_IhmFHZKYD8(op_GWoGfTTeeI(674,a),op_WvLrLe1sfH(139,a))+op_count_S0xevmWjPz(a)+op_count_97rocKiZDM(a,a)+op_count_h9SYvkAopU(op_S0xevmWjPz(a),op_97rocKiZDM(a,a))+op_count_gVe57Wp8lf(op_IhmFHZKYD8(op_GWoGfTTeeI(674,a),op_WvLrLe1sfH(139,a)),op_h9SYvkAopU(op_S0xevmWjPz(a),op_97rocKiZDM(a,a)))+op_count_QrPBJNmqe2(a)
    else:
        count = 1
    return count


a⩗⩤b = { (⋛⋶(a⋂⩴b)) , if (a⊞⨨)>100 ; b , else }

def op_iQVWWJ5UFC(a, b):
    if op_YxhMJt5neZ(a) > 100:
        return op_8ZudynJV7e(op_hmlrMsD2PO(a,b))
    else:
        return b

def op_count_iQVWWJ5UFC(a, b):
    if op_YxhMJt5neZ(a) > 100:
        count = op_count_hmlrMsD2PO(a,b)+op_count_8ZudynJV7e(op_hmlrMsD2PO(a,b))+op_count_YxhMJt5neZ(a)
    else:
        count = 1
    return count


def op_X9HzN6XoI2(a):
    if (a < 34 and op_Xp5ON8hGWA(a) > 477):
        return op_mp94q5OcYM(33)
    else:
        return op_NvEvKO2R8S(a,118)

def op_count_X9HzN6XoI2(a):
    if (a < 34 and op_Xp5ON8hGWA(a) > 477):
        count = op_count_mp94q5OcYM(33)+op_count_Xp5ON8hGWA(a)
    else:
        count = op_count_NvEvKO2R8S(a,118)
    return count


def op_ILZIEOL6W5(a, b):
    if (op_7t3wd0Fuz7(a,857) != 123 and op_Uvzk2f6EIK(a) >= 21 and op_9ipU8dM2qQ(a) == 221):
        return op_zma7vR3L5W(op_HX99UMoF54(b,a),op_e3uIs4Enfs(a))
    else:
        return op_d5CHQX7ZoG(op_zBtHAxlVCP(a),op_IU5bnLfiEv(608))

def op_count_ILZIEOL6W5(a, b):
    if (op_7t3wd0Fuz7(a,857) != 123 and op_Uvzk2f6EIK(a) >= 21 and op_9ipU8dM2qQ(a) == 221):
        count = op_count_HX99UMoF54(b,a)+op_count_e3uIs4Enfs(a)+op_count_zma7vR3L5W(op_HX99UMoF54(b,a),op_e3uIs4Enfs(a))+op_count_7t3wd0Fuz7(a,857)+op_count_Uvzk2f6EIK(a)+op_count_9ipU8dM2qQ(a)
    else:
        count = op_count_zBtHAxlVCP(a)+op_count_IU5bnLfiEv(608)+op_count_d5CHQX7ZoG(op_zBtHAxlVCP(a),op_IU5bnLfiEv(608))
    return count


↯⩙a = { (⫓⋮≁(a≿↹a)) , if (a⇙⨵)>100 ; (⇝a) , else }

def op_k8QYoddjpG(a):
    if op_cbP1oMpIU3(a) > 100:
        return op_9QNY6wq3gX(op_VionArRWsA(a,a))
    else:
        return op_SJue8jHfl2(a)

def op_count_k8QYoddjpG(a):
    if op_cbP1oMpIU3(a) > 100:
        count = op_count_VionArRWsA(a,a)+op_count_9QNY6wq3gX(op_VionArRWsA(a,a))+op_count_cbP1oMpIU3(a)
    else:
        count = op_count_SJue8jHfl2(a)
    return count


⩥⩪a = { (⨕((495⊤⨋≘a)∜⊓)) , if (a⊰⇫)>256 ; (((0≧a)⋊(⫏a))≀⋧((a⩹≮a)⨌⫂(⫄⊌⪿a))) , else }

def op_oZVPzpKEfk(a):
    if op_z4idyk376g(a) > 256:
        return op_yXb8vAEUka(op_d0BPTzii7q(op_KiBGhu83fR(495,a)))
    else:
        return op_RLgQDWzcJN(op_Dk6V8i6EvU(op_MSsKXfycuQ(0,a),op_kvIXUmKfYG(a)),op_WvhSX4Tttm(op_xeKVJklxVA(a,a),op_xoxUyiTt6N(a)))

def op_count_oZVPzpKEfk(a):
    if op_z4idyk376g(a) > 256:
        count = op_count_KiBGhu83fR(495,a)+op_count_d0BPTzii7q(op_KiBGhu83fR(495,a))+op_count_yXb8vAEUka(op_d0BPTzii7q(op_KiBGhu83fR(495,a)))+op_count_z4idyk376g(a)
    else:
        count = op_count_MSsKXfycuQ(0,a)+op_count_kvIXUmKfYG(a)+op_count_Dk6V8i6EvU(op_MSsKXfycuQ(0,a),op_kvIXUmKfYG(a))+op_count_xeKVJklxVA(a,a)+op_count_xoxUyiTt6N(a)+op_count_WvhSX4Tttm(op_xeKVJklxVA(a,a),op_xoxUyiTt6N(a))+op_count_RLgQDWzcJN(op_Dk6V8i6EvU(op_MSsKXfycuQ(0,a),op_kvIXUmKfYG(a)),op_WvhSX4Tttm(op_xeKVJklxVA(a,a),op_xoxUyiTt6N(a)))
    return count


a↲b = { b , if (a⋬⨭⫇)>874 ; (b⋛b) , else }

def op_zsIZezdOUu(a, b):
    if op_AdLoyGUaoD(a) > 874:
        return b
    else:
        return op_YbUVn0Rbpy(b,b)

def op_count_zsIZezdOUu(a, b):
    if op_AdLoyGUaoD(a) > 874:
        count = 1
    else:
        count = op_count_YbUVn0Rbpy(b,b)
    return count


a⋪⪏b = { (((b⨯a)⊢⨅≐a)↳⨴⫋((4⨆⫳⊗a)⩰⪎(⨈⪑a))) , if (⫭≆b)==1 ; (⨈⪑((b∙↹⋪a)∨≍⨱(b⊺⪚↾b))) , else }

def op_NjTKcMbAv0(a, b):
    if op_jUSOKRaoYR(b) == 1:
        return op_bars6Y1s1I(op_ieEneBRTef(op_qYpz2WEVq4(b,a),a),op_keMeIxFVQ3(op_lKgWx0LCvK(4,a),op_mp94q5OcYM(a)))
    else:
        return op_mp94q5OcYM(op_MBVn70KtPJ(op_DkVDVv6gLT(b,a),op_wFGzIcZ3iX(b,b)))

def op_count_NjTKcMbAv0(a, b):
    if op_jUSOKRaoYR(b) == 1:
        count = op_count_qYpz2WEVq4(b,a)+op_count_ieEneBRTef(op_qYpz2WEVq4(b,a),a)+op_count_lKgWx0LCvK(4,a)+op_count_mp94q5OcYM(a)+op_count_keMeIxFVQ3(op_lKgWx0LCvK(4,a),op_mp94q5OcYM(a))+op_count_bars6Y1s1I(op_ieEneBRTef(op_qYpz2WEVq4(b,a),a),op_keMeIxFVQ3(op_lKgWx0LCvK(4,a),op_mp94q5OcYM(a)))+op_count_jUSOKRaoYR(b)
    else:
        count = op_count_DkVDVv6gLT(b,a)+op_count_wFGzIcZ3iX(b,b)+op_count_MBVn70KtPJ(op_DkVDVv6gLT(b,a),op_wFGzIcZ3iX(b,b))+op_count_mp94q5OcYM(op_MBVn70KtPJ(op_DkVDVv6gLT(b,a),op_wFGzIcZ3iX(b,b)))
    return count


def op_pq4SmNyoEl(a):
    if op_WRl4KaSwns(a,216) < 309:
        return a
    else:
        return op_WYd1w68Nbz(op_MdtlklhKSi(a,215))

def op_count_pq4SmNyoEl(a):
    if op_WRl4KaSwns(a,216) < 309:
        count = 1
    else:
        count = op_count_MdtlklhKSi(a,215)+op_count_WYd1w68Nbz(op_MdtlklhKSi(a,215))
    return count


def op_o8WGFEQXGx(a):
    if a > 415:
        return op_R6sRhpmvlr(184)
    else:
        return op_NnryeZgiwo(a,304)

def op_count_o8WGFEQXGx(a):
    if a > 415:
        count = op_count_R6sRhpmvlr(184)
    else:
        count = op_count_NnryeZgiwo(a,304)
    return count


a⇑⋄≟ = { ((a↖⨁≎a)⋪∉∙(a⫣⪄⊒a)) , if (a↖⪸⫱945)<=460 ; ((≩⫿a)∨⋤⇐(170⫣a)) , else }

def op_P5BrYIAG8X(a):
    if op_KCGfcBnbwZ(a,945) <= 460:
        return op_ZudQkqJPAX(op_EJGWfkvLOs(a,a),op_RabNbG55vr(a,a))
    else:
        return op_XAozx2NkZN(op_8xj5BWNEvp(a),op_LJUzuYQJSf(170,a))

def op_count_P5BrYIAG8X(a):
    if op_KCGfcBnbwZ(a,945) <= 460:
        count = op_count_EJGWfkvLOs(a,a)+op_count_RabNbG55vr(a,a)+op_count_ZudQkqJPAX(op_EJGWfkvLOs(a,a),op_RabNbG55vr(a,a))+op_count_KCGfcBnbwZ(a,945)
    else:
        count = op_count_8xj5BWNEvp(a)+op_count_LJUzuYQJSf(170,a)+op_count_XAozx2NkZN(op_8xj5BWNEvp(a),op_LJUzuYQJSf(170,a))
    return count


def op_50JfepwJON(a):
    if (op_xgYOZyJC4Q(a,237) == 27 and op_dOpcb7sOVh(a) >= 335 and op_iria2qRldt(a) != 257):
        return op_UvedHhwKRj(op_xbhjYmr6L1(79),op_lrLQygo13m(a,a))
    else:
        return op_438NZEZFZN(op_y16C4hJIbn(a,a))

def op_count_50JfepwJON(a):
    if (op_xgYOZyJC4Q(a,237) == 27 and op_dOpcb7sOVh(a) >= 335 and op_iria2qRldt(a) != 257):
        count = op_count_xbhjYmr6L1(79)+op_count_lrLQygo13m(a,a)+op_count_UvedHhwKRj(op_xbhjYmr6L1(79),op_lrLQygo13m(a,a))+op_count_xgYOZyJC4Q(a,237)+op_count_dOpcb7sOVh(a)+op_count_iria2qRldt(a)
    else:
        count = op_count_y16C4hJIbn(a,a)+op_count_438NZEZFZN(op_y16C4hJIbn(a,a))
    return count


a⪌⊯⪟b = { ((233⊾⪯⋞a)∳(∪⊸⩁a)) , if (a⨑≵⋬940)!=257 ; (b⇐↙(b⇯⋻b)) , else }

def op_ME4t0VB7iZ(a, b):
    if op_XnXgA4xnOs(a,940) != 257:
        return op_XCY0eMNfgm(op_HK0tfVPux8(233,a),op_ZDtbJ0pWwg(a))
    else:
        return op_nFUV6O7puR(b,op_ktfEB5Ypfm(b,b))

def op_count_ME4t0VB7iZ(a, b):
    if op_XnXgA4xnOs(a,940) != 257:
        count = op_count_HK0tfVPux8(233,a)+op_count_ZDtbJ0pWwg(a)+op_count_XCY0eMNfgm(op_HK0tfVPux8(233,a),op_ZDtbJ0pWwg(a))+op_count_XnXgA4xnOs(a,940)
    else:
        count = op_count_ktfEB5Ypfm(b,b)+op_count_nFUV6O7puR(b,op_ktfEB5Ypfm(b,b))
    return count


a⪷⋐b = { ((b⇶⇳)⊾⪯⋞(a⩥⊱b)) , if b<291 ; ((⪭≐⨜b)⨅⪔(b⊸⊻≥)) , else }

def op_aVlPCascYn(a, b):
    if b < 291:
        return op_HK0tfVPux8(op_cC2vwN27BI(b),op_TtKiRfWgLg(a,b))
    else:
        return op_zs0bbCWKdf(op_RyrdAX1Ftm(b),op_UtOFw9C4Rn(b))

def op_count_aVlPCascYn(a, b):
    if b < 291:
        count = op_count_cC2vwN27BI(b)+op_count_TtKiRfWgLg(a,b)+op_count_HK0tfVPux8(op_cC2vwN27BI(b),op_TtKiRfWgLg(a,b))
    else:
        count = op_count_RyrdAX1Ftm(b)+op_count_UtOFw9C4Rn(b)+op_count_zs0bbCWKdf(op_RyrdAX1Ftm(b),op_UtOFw9C4Rn(b))
    return count


⊔⩀a = { (((a⩌≪⫐a)⊇⫍⪏(a⊝⪴↚a))≧↧↪(≈⩪(a⊚⨔))) , if a<101 ; ((a⋟⨱(a⪟⇏a))≝) , else }

def op_YjWMGCMWCv(a):
    if a < 101:
        return op_bnaEnLVdkS(op_WyeQdY98By(op_B7h40RZuRL(a,a),op_ZcEZS9J7rM(a,a)),op_STs8eSTo28(op_XbEAUggs3J(a)))
    else:
        return op_qediHccxJ2(op_lN5Hu1ptA5(a,op_GODebY97qR(a,a)))

def op_count_YjWMGCMWCv(a):
    if a < 101:
        count = op_count_B7h40RZuRL(a,a)+op_count_ZcEZS9J7rM(a,a)+op_count_WyeQdY98By(op_B7h40RZuRL(a,a),op_ZcEZS9J7rM(a,a))+op_count_XbEAUggs3J(a)+op_count_STs8eSTo28(op_XbEAUggs3J(a))+op_count_bnaEnLVdkS(op_WyeQdY98By(op_B7h40RZuRL(a,a),op_ZcEZS9J7rM(a,a)),op_STs8eSTo28(op_XbEAUggs3J(a)))
    else:
        count = op_count_GODebY97qR(a,a)+op_count_lN5Hu1ptA5(a,op_GODebY97qR(a,a))+op_count_qediHccxJ2(op_lN5Hu1ptA5(a,op_GODebY97qR(a,a)))
    return count


⫘⫭a = { (↠⨻⇳(a⊁⊹⇚a)) , if (a∆⨵⋿)<209 ; ((a⪶⋼⋛a)⫫⋫(a∙⨵a)) , else }

def op_8inq6GlBRh(a):
    if op_7CBskBkoKY(a) < 209:
        return op_x6DEqRu9vc(op_dfh7ENhFrR(a,a))
    else:
        return op_xtCeza3rDf(op_6ayBXmFTY1(a,a),op_reVGrTqfuh(a,a))

def op_count_8inq6GlBRh(a):
    if op_7CBskBkoKY(a) < 209:
        count = op_count_dfh7ENhFrR(a,a)+op_count_x6DEqRu9vc(op_dfh7ENhFrR(a,a))+op_count_7CBskBkoKY(a)
    else:
        count = op_count_6ayBXmFTY1(a,a)+op_count_reVGrTqfuh(a,a)+op_count_xtCeza3rDf(op_6ayBXmFTY1(a,a),op_reVGrTqfuh(a,a))
    return count


a⪜⋗⇢b = { ((399∘⇁a)-(b⩗⇿b)) , if a<=822 ; (a⨨(a⋛≐a)) , else }

def op_MkFge0F0HF(a, b):
    if a <= 822:
        return op_rysDP5nf3Z(op_kIWj6knPC7(399,a),op_tKtycZyL6s(b,b))
    else:
        return op_vhtqQa4va1(a,op_B7jD7820sf(a,a))

def op_count_MkFge0F0HF(a, b):
    if a <= 822:
        count = op_count_kIWj6knPC7(399,a)+op_count_tKtycZyL6s(b,b)+op_count_rysDP5nf3Z(op_kIWj6knPC7(399,a),op_tKtycZyL6s(b,b))
    else:
        count = op_count_B7jD7820sf(a,a)+op_count_vhtqQa4va1(a,op_B7jD7820sf(a,a))
    return count


def op_HyyJt9QWn3(a, b):
    if op_PfBB7jGsSd(a,845) != 75 or a < 360:
        return op_2h70HhlMnL(op_4JQ65aDwPJ(b,110))
    else:
        return op_s1XTVnmDOJ(op_W7L2oCKInH(b,b),op_wicAB68Tmb(a,81))

def op_count_HyyJt9QWn3(a, b):
    if op_PfBB7jGsSd(a,845) != 75 or a < 360:
        count = op_count_4JQ65aDwPJ(b,110)+op_count_2h70HhlMnL(op_4JQ65aDwPJ(b,110))+op_count_PfBB7jGsSd(a,845)
    else:
        count = op_count_W7L2oCKInH(b,b)+op_count_wicAB68Tmb(a,81)+op_count_s1XTVnmDOJ(op_W7L2oCKInH(b,b),op_wicAB68Tmb(a,81))
    return count


def op_SONCUvkmWe(a, b):
    if (a > 123 or a == 229):
        return op_lP51NIPzK8(op_yIzoUJazZW(a,30))
    else:
        return op_ERCh0iueHk(op_9aXLFNf8dt(a,b),op_WBz61sV7d5(a,b))

def op_count_SONCUvkmWe(a, b):
    if (a > 123 or a == 229):
        count = op_count_yIzoUJazZW(a,30)+op_count_lP51NIPzK8(op_yIzoUJazZW(a,30))
    else:
        count = op_count_9aXLFNf8dt(a,b)+op_count_WBz61sV7d5(a,b)+op_count_ERCh0iueHk(op_9aXLFNf8dt(a,b),op_WBz61sV7d5(a,b))
    return count


def op_7QYZIzcNPK(a, b):
    if a != 107 or op_PIKqUwW8wB(b) != 87:
        return op_o0EkzFntuU(op_BM16iZzMx8(b,op_CMed2nD9yG(b,b)))
    else:
        return op_ydJmeWyvU7(op_AqJQW3khbP(op_SGDLQMSxql(261,7)),op_JclMnS0uGI(op_YbUVn0Rbpy(b,22),op_FaF1PUcip1(227,a)))

def op_count_7QYZIzcNPK(a, b):
    if a != 107 or op_PIKqUwW8wB(b) != 87:
        count = op_count_CMed2nD9yG(b,b)+op_count_BM16iZzMx8(b,op_CMed2nD9yG(b,b))+op_count_o0EkzFntuU(op_BM16iZzMx8(b,op_CMed2nD9yG(b,b)))+op_count_PIKqUwW8wB(b)
    else:
        count = op_count_SGDLQMSxql(261,7)+op_count_AqJQW3khbP(op_SGDLQMSxql(261,7))+op_count_YbUVn0Rbpy(b,22)+op_count_FaF1PUcip1(227,a)+op_count_JclMnS0uGI(op_YbUVn0Rbpy(b,22),op_FaF1PUcip1(227,a))+op_count_ydJmeWyvU7(op_AqJQW3khbP(op_SGDLQMSxql(261,7)),op_JclMnS0uGI(op_YbUVn0Rbpy(b,22),op_FaF1PUcip1(227,a)))
    return count


a⩊b = { (↠⨻⇳((b⩻⨮⋝b)⩃(b⋙⪠a))) , if (b⨁161)<=177 ; (((a⊫↳⇦a)⊫⊐⋞(b⪄⊣b))⪏⇁⨻((b⩧⪆a)⇸⨏(a↰))) , else }

def op_kUYI0el8wS(a, b):
    if op_l455cbmnc3(b,161) <= 177:
        return op_x6DEqRu9vc(op_7IRjtmSsUO(op_tTEXlJ6Kwl(b,b),op_vPmKJA6wUP(b,a)))
    else:
        return op_Bw1fwYnFxE(op_IYFFTOGOwC(op_0pE9j4xUU7(a,a),op_9G2jV8oAtO(b,b)),op_oUXishvm7t(op_Ikt5ks8PT7(b,a),op_bl5wxAcryP(a)))

def op_count_kUYI0el8wS(a, b):
    if op_l455cbmnc3(b,161) <= 177:
        count = op_count_tTEXlJ6Kwl(b,b)+op_count_vPmKJA6wUP(b,a)+op_count_7IRjtmSsUO(op_tTEXlJ6Kwl(b,b),op_vPmKJA6wUP(b,a))+op_count_x6DEqRu9vc(op_7IRjtmSsUO(op_tTEXlJ6Kwl(b,b),op_vPmKJA6wUP(b,a)))+op_count_l455cbmnc3(b,161)
    else:
        count = op_count_0pE9j4xUU7(a,a)+op_count_9G2jV8oAtO(b,b)+op_count_IYFFTOGOwC(op_0pE9j4xUU7(a,a),op_9G2jV8oAtO(b,b))+op_count_Ikt5ks8PT7(b,a)+op_count_bl5wxAcryP(a)+op_count_oUXishvm7t(op_Ikt5ks8PT7(b,a),op_bl5wxAcryP(a))+op_count_Bw1fwYnFxE(op_IYFFTOGOwC(op_0pE9j4xUU7(a,a),op_9G2jV8oAtO(b,b)),op_oUXishvm7t(op_Ikt5ks8PT7(b,a),op_bl5wxAcryP(a)))
    return count


∪↾⨜a = { ((a⇠⇖⨝a)⩯≱⩰(325↿⊽)) , if (a⋭⨀/163)>167 ; ((⇖a)⨮⪎⇱(⊐↗∝a)) , else }

def op_Aldd1zCI1E(a):
    if op_6Chw2r1Icb(a,163) > 167:
        return op_HDwVj9x3oe(op_H2Ssz4jEjc(a,a),op_6ttpNeQUxE(325))
    else:
        return op_QyJFccSbaX(op_tfWHHpNKUN(a),op_inYIwJ0bD8(a))

def op_count_Aldd1zCI1E(a):
    if op_6Chw2r1Icb(a,163) > 167:
        count = op_count_H2Ssz4jEjc(a,a)+op_count_6ttpNeQUxE(325)+op_count_HDwVj9x3oe(op_H2Ssz4jEjc(a,a),op_6ttpNeQUxE(325))+op_count_6Chw2r1Icb(a,163)
    else:
        count = op_count_tfWHHpNKUN(a)+op_count_inYIwJ0bD8(a)+op_count_QyJFccSbaX(op_tfWHHpNKUN(a),op_inYIwJ0bD8(a))
    return count


a⊪⊀← = { (a↕a) , if a>=163 ; (a%a) , else }

def op_20W8xOCcW6(a):
    if a >= 163:
        return op_LenFzV9tw1(a,a)
    else:
        return op_k8jYdgA6NY(a,a)

def op_count_20W8xOCcW6(a):
    if a >= 163:
        count = op_count_LenFzV9tw1(a,a)
    else:
        count = op_count_k8jYdgA6NY(a,a)
    return count


⇃⊵⨨a = { (((a≟⪯a)⩌⨨⨫(a⇩⇣a))⋐≟⩺(∱≗(96↨⪍≴a))) , if (⋧a)<512 ; (((116⋹⨛⇥81)⫅⩹(20⩰⫔4))⨉⩜⊁(a⪶≀⋏(a⇠⇖⨝a))) , else }

def op_2C7y2GTnOL(a):
    if op_fctvr1MjnF(a) < 512:
        return op_PjbVkMzmXE(op_3QUG3jHDXB(op_Z0MOmZBEvh(a,a),op_UscWZcTkUL(a,a)),op_TLSiz8NPqi(op_DX7B1fY6P6(96,a)))
    else:
        return op_F5AHWXXekn(op_CdWimuzQB6(op_EV9swbq3TP(116,81),op_x5p3WF8YzS(20,4)),op_zR4jO40bMj(a,op_H2Ssz4jEjc(a,a)))

def op_count_2C7y2GTnOL(a):
    if op_fctvr1MjnF(a) < 512:
        count = op_count_Z0MOmZBEvh(a,a)+op_count_UscWZcTkUL(a,a)+op_count_3QUG3jHDXB(op_Z0MOmZBEvh(a,a),op_UscWZcTkUL(a,a))+op_count_DX7B1fY6P6(96,a)+op_count_TLSiz8NPqi(op_DX7B1fY6P6(96,a))+op_count_PjbVkMzmXE(op_3QUG3jHDXB(op_Z0MOmZBEvh(a,a),op_UscWZcTkUL(a,a)),op_TLSiz8NPqi(op_DX7B1fY6P6(96,a)))+op_count_fctvr1MjnF(a)
    else:
        count = op_count_EV9swbq3TP(116,81)+op_count_x5p3WF8YzS(20,4)+op_count_CdWimuzQB6(op_EV9swbq3TP(116,81),op_x5p3WF8YzS(20,4))+op_count_H2Ssz4jEjc(a,a)+op_count_zR4jO40bMj(a,op_H2Ssz4jEjc(a,a))+op_count_F5AHWXXekn(op_CdWimuzQB6(op_EV9swbq3TP(116,81),op_x5p3WF8YzS(20,4)),op_zR4jO40bMj(a,op_H2Ssz4jEjc(a,a)))
    return count


a⩉ = { (a∥⋈≜a) , if (⩗⪄a)<186 ; (a∽⪡) , else }

def op_jDTlsx2lFv(a):
    if op_Y9dhGmbGii(a) < 186:
        return op_QAd1nPzBGT(a,a)
    else:
        return op_GyZKrXyLmB(a)

def op_count_jDTlsx2lFv(a):
    if op_Y9dhGmbGii(a) < 186:
        count = op_count_QAd1nPzBGT(a,a)+op_count_Y9dhGmbGii(a)
    else:
        count = op_count_GyZKrXyLmB(a)
    return count


a⫏⪈⪰b = { (a→) , if (b⋚↵⨭654)<52 ; (a⫱⩰≇a) , else }

def op_O2e688qAWz(a, b):
    if op_EhNdXCgA70(b,654) < 52:
        return op_zVbKEeMoGt(a)
    else:
        return op_PujSanDGK5(a,a)

def op_count_O2e688qAWz(a, b):
    if op_EhNdXCgA70(b,654) < 52:
        count = op_count_zVbKEeMoGt(a)+op_count_EhNdXCgA70(b,654)
    else:
        count = op_count_PujSanDGK5(a,a)
    return count


a*⊚≜b = { (b↯⊜a) , if a<380 ; (a⨫⇇↔492) , else }

def op_s0oCwvsLAD(a, b):
    if a < 380:
        return op_54UxIFHdAV(b,a)
    else:
        return op_LXhwmt4mBO(a,492)

def op_count_s0oCwvsLAD(a, b):
    if a < 380:
        count = op_count_54UxIFHdAV(b,a)
    else:
        count = op_count_LXhwmt4mBO(a,492)
    return count


⪨⇏a = { (a⋯↤a) , if a<=58 ; (↺⪉⨢54) , else }

def op_B45c6Qapky(a):
    if a <= 58:
        return op_AqWwJ29PGN(a,a)
    else:
        return op_zFY2A2ppo2(54)

def op_count_B45c6Qapky(a):
    if a <= 58:
        count = op_count_AqWwJ29PGN(a,a)
    else:
        count = op_count_zFY2A2ppo2(54)
    return count


def op_kYoPWhNMed(a):
    if op_5tUnBSHxYC(a,117) == 105:
        return op_xlXykHWxX1(op_2Yy7IiVHWW(113,a),op_BxNL6VpnAK(a))
    else:
        return op_blQ9vzDKd0(op_7mDgzgOxkj(a,a))

def op_count_kYoPWhNMed(a):
    if op_5tUnBSHxYC(a,117) == 105:
        count = op_count_2Yy7IiVHWW(113,a)+op_count_BxNL6VpnAK(a)+op_count_xlXykHWxX1(op_2Yy7IiVHWW(113,a),op_BxNL6VpnAK(a))+op_count_5tUnBSHxYC(a,117)
    else:
        count = op_count_7mDgzgOxkj(a,a)+op_count_blQ9vzDKd0(op_7mDgzgOxkj(a,a))
    return count


a≒⇠⪇b = { (b⊏≷≳) , if (b≲⨛)<227 ; (b⇖↽a) , else }

def op_gYtKeue64A(a, b):
    if op_SUeSE0uIXE(b) < 227:
        return op_IyXueN9Vxj(b)
    else:
        return op_cwbF3JtlMN(b,a)

def op_count_gYtKeue64A(a, b):
    if op_SUeSE0uIXE(b) < 227:
        count = op_count_IyXueN9Vxj(b)+op_count_SUeSE0uIXE(b)
    else:
        count = op_count_cwbF3JtlMN(b,a)
    return count


⊄⨡⋾a = { (19⊍⋬a) , if (a⊱⫣29)<=94 ; (a⋥⋵⩄a) , else }

def op_ZMmbXOLbMt(a):
    if op_lYYgj615o2(a,29) <= 94:
        return op_uC1OCuP0T4(19,a)
    else:
        return op_7t3wd0Fuz7(a,a)

def op_count_ZMmbXOLbMt(a):
    if op_lYYgj615o2(a,29) <= 94:
        count = op_count_uC1OCuP0T4(19,a)+op_count_lYYgj615o2(a,29)
    else:
        count = op_count_7t3wd0Fuz7(a,a)
    return count


a⫿⊱b = { (≎⊗((b⨁⊸⫻)⨇(b⨝√a))) , if b<=305 ; (a⩙⪻((b*⋵)⩉≙⋏(114↷⊢))) , else }

def op_vEqyA2MNuf(a, b):
    if b <= 305:
        return op_F5el3aEdEY(op_sgd3VpchmQ(op_glklzrTFfD(b),op_9m2uP4QEko(b,a)))
    else:
        return op_Y0zpOQG4YL(a,op_K6E8QFs5tY(op_r1zS8MN8oc(b),op_mox3eEFvMs(114)))

def op_count_vEqyA2MNuf(a, b):
    if b <= 305:
        count = op_count_glklzrTFfD(b)+op_count_9m2uP4QEko(b,a)+op_count_sgd3VpchmQ(op_glklzrTFfD(b),op_9m2uP4QEko(b,a))+op_count_F5el3aEdEY(op_sgd3VpchmQ(op_glklzrTFfD(b),op_9m2uP4QEko(b,a)))
    else:
        count = op_count_r1zS8MN8oc(b)+op_count_mox3eEFvMs(114)+op_count_K6E8QFs5tY(op_r1zS8MN8oc(b),op_mox3eEFvMs(114))+op_count_Y0zpOQG4YL(a,op_K6E8QFs5tY(op_r1zS8MN8oc(b),op_mox3eEFvMs(114)))
    return count


a∢⋼ = { (((356⨆⩉a)⩻↮≝(a↲≘a))⇑⇊⩴((a⇦↡⇅a)⫆(⋶⩦⇊a))) , if (⋫⩝a)!=315 ; (((a⋼⫬a)⋉⩷(a⋳⊳⋻218))⪽) , else }

def op_hdEtKLoq7X(a):
    if op_0JxkUJ2rDq(a) != 315:
        return op_qUzyPcz3G4(op_IHpSDSxKMI(op_PtITbjBpBq(356,a),op_De5KeVc9mK(a,a)),op_Y6MI8lE4nL(op_Metdo7PNA5(a,a),op_OF9A0jlboB(a)))
    else:
        return op_iuUhER8Vt9(op_3IOjIrkHfL(op_Y4dFvpZTzx(a,a),op_AUjZzCncoP(a,218)))

def op_count_hdEtKLoq7X(a):
    if op_0JxkUJ2rDq(a) != 315:
        count = op_count_PtITbjBpBq(356,a)+op_count_De5KeVc9mK(a,a)+op_count_IHpSDSxKMI(op_PtITbjBpBq(356,a),op_De5KeVc9mK(a,a))+op_count_Metdo7PNA5(a,a)+op_count_OF9A0jlboB(a)+op_count_Y6MI8lE4nL(op_Metdo7PNA5(a,a),op_OF9A0jlboB(a))+op_count_qUzyPcz3G4(op_IHpSDSxKMI(op_PtITbjBpBq(356,a),op_De5KeVc9mK(a,a)),op_Y6MI8lE4nL(op_Metdo7PNA5(a,a),op_OF9A0jlboB(a)))+op_count_0JxkUJ2rDq(a)
    else:
        count = op_count_Y4dFvpZTzx(a,a)+op_count_AUjZzCncoP(a,218)+op_count_3IOjIrkHfL(op_Y4dFvpZTzx(a,a),op_AUjZzCncoP(a,218))+op_count_iuUhER8Vt9(op_3IOjIrkHfL(op_Y4dFvpZTzx(a,a),op_AUjZzCncoP(a,218)))
    return count


def op_sn1NV54cqk(a):
    if a >= 365:
        return op_EMR9JvRK8T(op_7Qh4uK5oHN(op_rVbGrKipL7(a),op_WQ4V1AEB0R(0)),op_sM9mzqIDB1(op_BvUOHliOJ6(a,a),op_W4YGzv6Whe(a,44)))
    else:
        return op_MLcC8hLVgw(op_HrjLwUk87U(op_9HNa5Wba9A(a,a),op_Y0zpOQG4YL(164,a)),op_3EhVUz7Ug9(op_WHRxrbF8gO(a,a)))

def op_count_sn1NV54cqk(a):
    if a >= 365:
        count = op_count_rVbGrKipL7(a)+op_count_WQ4V1AEB0R(0)+op_count_7Qh4uK5oHN(op_rVbGrKipL7(a),op_WQ4V1AEB0R(0))+op_count_BvUOHliOJ6(a,a)+op_count_W4YGzv6Whe(a,44)+op_count_sM9mzqIDB1(op_BvUOHliOJ6(a,a),op_W4YGzv6Whe(a,44))+op_count_EMR9JvRK8T(op_7Qh4uK5oHN(op_rVbGrKipL7(a),op_WQ4V1AEB0R(0)),op_sM9mzqIDB1(op_BvUOHliOJ6(a,a),op_W4YGzv6Whe(a,44)))
    else:
        count = op_count_9HNa5Wba9A(a,a)+op_count_Y0zpOQG4YL(164,a)+op_count_HrjLwUk87U(op_9HNa5Wba9A(a,a),op_Y0zpOQG4YL(164,a))+op_count_WHRxrbF8gO(a,a)+op_count_3EhVUz7Ug9(op_WHRxrbF8gO(a,a))+op_count_MLcC8hLVgw(op_HrjLwUk87U(op_9HNa5Wba9A(a,a),op_Y0zpOQG4YL(164,a)),op_3EhVUz7Ug9(op_WHRxrbF8gO(a,a)))
    return count


a⇷⩰⫑b = { (b⇡) , if b==240 or a>=30 ; (b≀a) , else }

def op_w1MtynkZx4(a, b):
    if b == 240 or a >= 30:
        return op_UqFzSgLMvQ(b)
    else:
        return op_YoXIXuKAaa(b,a)

def op_count_w1MtynkZx4(a, b):
    if b == 240 or a >= 30:
        count = op_count_UqFzSgLMvQ(b)
    else:
        count = op_count_YoXIXuKAaa(b,a)
    return count


def op_nyIe7nPnk9(a, b):
    if (op_EldckLUJRt(b) < 131 or op_DXcxrPgmTJ(a) > 111 or op_vilDxIvKHQ(a) >= 116):
        return op_8CI59HBmeC(op_If09U4imfG(b,b),op_7CBskBkoKY(b))
    else:
        return op_0QEWQRhRpH(op_PVs2szVvOd(b),op_vu59hxsJ1z(192,121))

def op_count_nyIe7nPnk9(a, b):
    if (op_EldckLUJRt(b) < 131 or op_DXcxrPgmTJ(a) > 111 or op_vilDxIvKHQ(a) >= 116):
        count = op_count_If09U4imfG(b,b)+op_count_7CBskBkoKY(b)+op_count_8CI59HBmeC(op_If09U4imfG(b,b),op_7CBskBkoKY(b))+op_count_EldckLUJRt(b)+op_count_DXcxrPgmTJ(a)+op_count_vilDxIvKHQ(a)
    else:
        count = op_count_PVs2szVvOd(b)+op_count_vu59hxsJ1z(192,121)+op_count_0QEWQRhRpH(op_PVs2szVvOd(b),op_vu59hxsJ1z(192,121))
    return count


def op_ZIsvYUQ4QW(a, b):
    if (op_miu0bRYLYP(b,198) <= 45 and op_qJ7yZLo5we(b) != 908):
        return op_9Z0HYftGYc(op_syzFGkhusE(129,a),op_RhiyfpczSx(a))
    else:
        return b

def op_count_ZIsvYUQ4QW(a, b):
    if (op_miu0bRYLYP(b,198) <= 45 and op_qJ7yZLo5we(b) != 908):
        count = op_count_syzFGkhusE(129,a)+op_count_RhiyfpczSx(a)+op_count_9Z0HYftGYc(op_syzFGkhusE(129,a),op_RhiyfpczSx(a))+op_count_miu0bRYLYP(b,198)+op_count_qJ7yZLo5we(b)
    else:
        count = 1
    return count


def op_IWo0LBntRE(a):
    if a >= 215 or a > 124 or a != 99:
        return op_NNaDxxp6OQ(208)
    else:
        return op_3pxRWyOFEM(op_AmVValKoYk(a,782),a)

def op_count_IWo0LBntRE(a):
    if a >= 215 or a > 124 or a != 99:
        count = op_count_NNaDxxp6OQ(208)
    else:
        count = op_count_AmVValKoYk(a,782)+op_count_3pxRWyOFEM(op_AmVValKoYk(a,782),a)
    return count


a⨕≊⪷ = { ((⋏⋭(a⋡∥301))⩸⨹⇝) , if a<14 ; (((407⨱⊌)⊂≢↧(≂⨭a))⋪⪈((a⊳⫫a)≛⪭(a⊧↖))) , else }

def op_BBZh6bhtjA(a):
    if a < 14:
        return op_Tx2vH9Gc0M(op_8PqENNA1S7(op_zNFFvkV5QZ(a,301)))
    else:
        return op_VIItbDWeFv(op_1NCu7utSrV(op_NS9BolIB1B(407),op_y6kfwHd1dQ(a)),op_6DIkXxLLjT(op_siyWwrmZkB(a,a),op_EKiFHuOFxO(a)))

def op_count_BBZh6bhtjA(a):
    if a < 14:
        count = op_count_zNFFvkV5QZ(a,301)+op_count_8PqENNA1S7(op_zNFFvkV5QZ(a,301))+op_count_Tx2vH9Gc0M(op_8PqENNA1S7(op_zNFFvkV5QZ(a,301)))
    else:
        count = op_count_NS9BolIB1B(407)+op_count_y6kfwHd1dQ(a)+op_count_1NCu7utSrV(op_NS9BolIB1B(407),op_y6kfwHd1dQ(a))+op_count_siyWwrmZkB(a,a)+op_count_EKiFHuOFxO(a)+op_count_6DIkXxLLjT(op_siyWwrmZkB(a,a),op_EKiFHuOFxO(a))+op_count_VIItbDWeFv(op_1NCu7utSrV(op_NS9BolIB1B(407),op_y6kfwHd1dQ(a)),op_6DIkXxLLjT(op_siyWwrmZkB(a,a),op_EKiFHuOFxO(a)))
    return count


a⇑⩉∸ = { (a↜↔⇀a) , if (a⪏541)!=628 ; (a⫬a) , else }

def op_BOHTIbFqcy(a):
    if op_ReAzrgtvfu(a,541) != 628:
        return op_RXUpafmlG7(a,a)
    else:
        return op_bR7FmX73P0(a,a)

def op_count_BOHTIbFqcy(a):
    if op_ReAzrgtvfu(a,541) != 628:
        count = op_count_RXUpafmlG7(a,a)+op_count_ReAzrgtvfu(a,541)
    else:
        count = op_count_bR7FmX73P0(a,a)
    return count


⩐⩎⩰a = { (a⪝∡) , if (a⇡↟≸736)>=64 ; (a≄⨃≹a) , else }

def op_pf8zzojfIZ(a):
    if op_4J8E7DyAzc(a,736) >= 64:
        return op_3mEz3wejNI(a)
    else:
        return op_Bh0c9BvTwN(a,a)

def op_count_pf8zzojfIZ(a):
    if op_4J8E7DyAzc(a,736) >= 64:
        count = op_count_3mEz3wejNI(a)+op_count_4J8E7DyAzc(a,736)
    else:
        count = op_count_Bh0c9BvTwN(a,a)
    return count


def op_dWLS5Kz1Yj(a):
    if a >= 227 and a < 196:
        return op_mMNOlYfzJE(283)
    else:
        return op_bX58bBWVyZ(a,a)

def op_count_dWLS5Kz1Yj(a):
    if a >= 227 and a < 196:
        count = op_count_mMNOlYfzJE(283)
    else:
        count = op_count_bX58bBWVyZ(a,a)
    return count


def op_yTk0cepgRE(a):
    if op_OimsOu7twr(a) > 581 or op_LlXaajdvBB(a) >= 207:
        return op_ZG1KnpkPxw(a,a)
    else:
        return op_moP16zZBUU(a,371)

def op_count_yTk0cepgRE(a):
    if op_OimsOu7twr(a) > 581 or op_LlXaajdvBB(a) >= 207:
        count = op_count_ZG1KnpkPxw(a,a)+op_count_OimsOu7twr(a)+op_count_LlXaajdvBB(a)
    else:
        count = op_count_moP16zZBUU(a,371)
    return count


def op_uWXgofXBkL(a):
    if op_R73I1om3fK(a) < 84 and op_IiHovbkX1w(a,437) <= 3:
        return op_3ayH0UyYyX(op_5n5YhvIuaO(a,4),op_zQWRhDnn8F(a))
    else:
        return op_OEnvRqCCi3(op_Io6RfLUAY0(341,174),a)

def op_count_uWXgofXBkL(a):
    if op_R73I1om3fK(a) < 84 and op_IiHovbkX1w(a,437) <= 3:
        count = op_count_5n5YhvIuaO(a,4)+op_count_zQWRhDnn8F(a)+op_count_3ayH0UyYyX(op_5n5YhvIuaO(a,4),op_zQWRhDnn8F(a))+op_count_R73I1om3fK(a)+op_count_IiHovbkX1w(a,437)
    else:
        count = op_count_Io6RfLUAY0(341,174)+op_count_OEnvRqCCi3(op_Io6RfLUAY0(341,174),a)
    return count


def op_attoALb2Xr(a, b):
    if op_ruOEQAzv1W(b) != 716 or op_6o9Blt3TJ6(a,546) > 256:
        return op_FSasnAb2iR(op_tYr37UhHCW(b,b),op_MscnI5MLJ2(a,a))
    else:
        return op_V2wPz6I6tV(op_6hz2NCYjHL(a),op_ccHmK6PBIn(b))

def op_count_attoALb2Xr(a, b):
    if op_ruOEQAzv1W(b) != 716 or op_6o9Blt3TJ6(a,546) > 256:
        count = op_count_tYr37UhHCW(b,b)+op_count_MscnI5MLJ2(a,a)+op_count_FSasnAb2iR(op_tYr37UhHCW(b,b),op_MscnI5MLJ2(a,a))+op_count_ruOEQAzv1W(b)+op_count_6o9Blt3TJ6(a,546)
    else:
        count = op_count_6hz2NCYjHL(a)+op_count_ccHmK6PBIn(b)+op_count_V2wPz6I6tV(op_6hz2NCYjHL(a),op_ccHmK6PBIn(b))
    return count


def op_iIjyEn7CwK(a, b):
    if op_yd3ne7Hlcq(a,440) < 356 and b == 170:
        return b
    else:
        return op_7GgezYTPa9(op_dQVgcz9SMU(47),op_6Zjw4YHEYi(a))

def op_count_iIjyEn7CwK(a, b):
    if op_yd3ne7Hlcq(a,440) < 356 and b == 170:
        count = 1
    else:
        count = op_count_dQVgcz9SMU(47)+op_count_6Zjw4YHEYi(a)+op_count_7GgezYTPa9(op_dQVgcz9SMU(47),op_6Zjw4YHEYi(a))
    return count


def op_zVc77mVpRV(a, b):
    if op_RCyfEiCqYx(a,536) >= 40:
        return op_HHzAglSfHQ(b)
    else:
        return op_15fnz2YIbx(op_6Zjw4YHEYi(169),op_gXjZ5wXXzC(b,91))

def op_count_zVc77mVpRV(a, b):
    if op_RCyfEiCqYx(a,536) >= 40:
        count = op_count_HHzAglSfHQ(b)+op_count_RCyfEiCqYx(a,536)
    else:
        count = op_count_6Zjw4YHEYi(169)+op_count_gXjZ5wXXzC(b,91)+op_count_15fnz2YIbx(op_6Zjw4YHEYi(169),op_gXjZ5wXXzC(b,91))
    return count


a⪯⋃⪨b = { ((b⇊≒a)⫑) , if (b↔⫤⩊304)<188 ; ((b⨫≖b)⇍↮(a⫮⋒b)) , else }

def op_PCKcP6eyxz(a, b):
    if op_bBEzQ2IhFN(b,304) < 188:
        return op_CgIo77xlM2(op_eZ4iHVWETC(b,a))
    else:
        return op_jOwHciYXdT(op_I77jZxbMqF(b,b),op_PblpGk9Zbg(a,b))

def op_count_PCKcP6eyxz(a, b):
    if op_bBEzQ2IhFN(b,304) < 188:
        count = op_count_eZ4iHVWETC(b,a)+op_count_CgIo77xlM2(op_eZ4iHVWETC(b,a))+op_count_bBEzQ2IhFN(b,304)
    else:
        count = op_count_I77jZxbMqF(b,b)+op_count_PblpGk9Zbg(a,b)+op_count_jOwHciYXdT(op_I77jZxbMqF(b,b),op_PblpGk9Zbg(a,b))
    return count


a⫔⇒b = { (((a⪗⪦⨯b)⊭⇾a)∢((a⇂≾⫗b)*⨺⊵(a⪠⫢⪧821))) , if (b∦⨀97)>910 ; (((a↪⪝)⫟⫧⇿(a⨶⇴a))⋱((a∽⫹b)⨡(⋧⫪≄a))) , else }

def op_xolZLAALD1(a, b):
    if op_59i70fHhft(b,97) > 910:
        return op_FSasnAb2iR(op_5ujlfRu9Nu(op_C6huvSECWb(a,b),a),op_NnryeZgiwo(op_aBQ6xLxuTc(a,b),op_fC5nSkFZ11(a,821)))
    else:
        return op_rK7H9hZmfU(op_szI9a73H0x(op_l07mrZUIn9(a),op_iO9AwRVKvo(a,a)),op_tJtBLRaXS9(op_VTWL3whYCc(a,b),op_aQOF7STvow(a)))

def op_count_xolZLAALD1(a, b):
    if op_59i70fHhft(b,97) > 910:
        count = op_count_C6huvSECWb(a,b)+op_count_5ujlfRu9Nu(op_C6huvSECWb(a,b),a)+op_count_aBQ6xLxuTc(a,b)+op_count_fC5nSkFZ11(a,821)+op_count_NnryeZgiwo(op_aBQ6xLxuTc(a,b),op_fC5nSkFZ11(a,821))+op_count_FSasnAb2iR(op_5ujlfRu9Nu(op_C6huvSECWb(a,b),a),op_NnryeZgiwo(op_aBQ6xLxuTc(a,b),op_fC5nSkFZ11(a,821)))+op_count_59i70fHhft(b,97)
    else:
        count = op_count_l07mrZUIn9(a)+op_count_iO9AwRVKvo(a,a)+op_count_szI9a73H0x(op_l07mrZUIn9(a),op_iO9AwRVKvo(a,a))+op_count_VTWL3whYCc(a,b)+op_count_aQOF7STvow(a)+op_count_tJtBLRaXS9(op_VTWL3whYCc(a,b),op_aQOF7STvow(a))+op_count_rK7H9hZmfU(op_szI9a73H0x(op_l07mrZUIn9(a),op_iO9AwRVKvo(a,a)),op_tJtBLRaXS9(op_VTWL3whYCc(a,b),op_aQOF7STvow(a)))
    return count


def op_qpRO7jokVD(a, b):
    if op_tJtBLRaXS9(a,946) < 191:
        return b
    else:
        return op_YFxL8Sc2Zy(a)

def op_count_qpRO7jokVD(a, b):
    if op_tJtBLRaXS9(a,946) < 191:
        count = 1
    else:
        count = op_count_YFxL8Sc2Zy(a)
    return count


a⫣≓≍ = { (a⨽∌a) , if (⨰∸⨫a)>=59 ; (a⋥≓≎a) , else }

def op_bKOVlL9eFV(a):
    if op_QLCso5hF94(a) >= 59:
        return op_9samAPKr6k(a,a)
    else:
        return op_Qy55tPpLXF(a,a)

def op_count_bKOVlL9eFV(a):
    if op_QLCso5hF94(a) >= 59:
        count = op_count_9samAPKr6k(a,a)+op_count_QLCso5hF94(a)
    else:
        count = op_count_Qy55tPpLXF(a,a)
    return count


a⩁⊞b = { b , if b!=29 ; (((a⨯a)⩐(a⩈))↝⋫((⋾≌⋮a)⊠⪡⨶(⊵≊⪸a))) , else }

def op_LS1NtLbZzy(a, b):
    if b != 29:
        return b
    else:
        return op_EGhGGaRcC7(op_bMfZrpXtSe(op_qYpz2WEVq4(a,a),op_zTd4o4K50M(a)),op_ntT9PAI6rF(op_EvI7ZBNDvA(a),op_mMNOlYfzJE(a)))

def op_count_LS1NtLbZzy(a, b):
    if b != 29:
        count = 1
    else:
        count = op_count_qYpz2WEVq4(a,a)+op_count_zTd4o4K50M(a)+op_count_bMfZrpXtSe(op_qYpz2WEVq4(a,a),op_zTd4o4K50M(a))+op_count_EvI7ZBNDvA(a)+op_count_mMNOlYfzJE(a)+op_count_ntT9PAI6rF(op_EvI7ZBNDvA(a),op_mMNOlYfzJE(a))+op_count_EGhGGaRcC7(op_bMfZrpXtSe(op_qYpz2WEVq4(a,a),op_zTd4o4K50M(a)),op_ntT9PAI6rF(op_EvI7ZBNDvA(a),op_mMNOlYfzJE(a)))
    return count


a⨀⊝ = { ((29⨋≰a)↣⪱(a⫉⊍≷a)) , if (a≖≏⋒)==351 ; ((a⊙⨺⨬a)⪄a) , else }

def op_6AEL2JzJqO(a):
    if op_eZJ1CbPeTb(a) == 351:
        return op_qhklwjTpUT(op_uw1KoZSwz0(29,a),op_KCQC7vSPgj(a,a))
    else:
        return op_SUmda5xLS4(op_xrB6SlzufE(a,a),a)

def op_count_6AEL2JzJqO(a):
    if op_eZJ1CbPeTb(a) == 351:
        count = op_count_uw1KoZSwz0(29,a)+op_count_KCQC7vSPgj(a,a)+op_count_qhklwjTpUT(op_uw1KoZSwz0(29,a),op_KCQC7vSPgj(a,a))+op_count_eZJ1CbPeTb(a)
    else:
        count = op_count_xrB6SlzufE(a,a)+op_count_SUmda5xLS4(op_xrB6SlzufE(a,a),a)
    return count


a⪸⪋⩏b = { ((a⪫↪89)⫢√⪁(a∏⊵⇆b)) , if (b⋼)==324 ; (⊐↗∝(524⩋⨧⊉)) , else }

def op_FTI62PzLjd(a, b):
    if op_bBWLhCymi1(b) == 324:
        return op_Ldwfc8y82N(op_SR7DhePr6g(a,89),op_ANJ5yRPvn6(a,b))
    else:
        return op_inYIwJ0bD8(op_x9eSC9dsh8(524))

def op_count_FTI62PzLjd(a, b):
    if op_bBWLhCymi1(b) == 324:
        count = op_count_SR7DhePr6g(a,89)+op_count_ANJ5yRPvn6(a,b)+op_count_Ldwfc8y82N(op_SR7DhePr6g(a,89),op_ANJ5yRPvn6(a,b))+op_count_bBWLhCymi1(b)
    else:
        count = op_count_x9eSC9dsh8(524)+op_count_inYIwJ0bD8(op_x9eSC9dsh8(524))
    return count


a⊉↧≠ = { (⋠∜(a⊬⩚⩷a)) , if a!=433 ; ((a⇁a)≆(a≂⋴a)) , else }

def op_KZfZsL7Zgd(a):
    if a != 433:
        return op_ZJpFhNJr3x(op_MF36iSLlG6(a,a))
    else:
        return op_vfo9xvTTbt(op_z4ujcxYYss(a,a),op_mb1liLwOKQ(a,a))

def op_count_KZfZsL7Zgd(a):
    if a != 433:
        count = op_count_MF36iSLlG6(a,a)+op_count_ZJpFhNJr3x(op_MF36iSLlG6(a,a))
    else:
        count = op_count_z4ujcxYYss(a,a)+op_count_mb1liLwOKQ(a,a)+op_count_vfo9xvTTbt(op_z4ujcxYYss(a,a),op_mb1liLwOKQ(a,a))
    return count


def op_hz148dRmk5(a, b):
    if op_bHMTMoSyEe(a) < 706 or op_hy5IL4GG6G(a,596) != 45:
        return op_l07mrZUIn9(196)
    else:
        return op_2HYkBhA3K5(b,283)

def op_count_hz148dRmk5(a, b):
    if op_bHMTMoSyEe(a) < 706 or op_hy5IL4GG6G(a,596) != 45:
        count = op_count_l07mrZUIn9(196)+op_count_bHMTMoSyEe(a)+op_count_hy5IL4GG6G(a,596)
    else:
        count = op_count_2HYkBhA3K5(b,283)
    return count


a∹≔b = { (((b≴⪞⇿244)⨽⇀(a⇂≭a))⋱⊊((a⇶⪪↳a)⩣⪛(215⫲≮113))) , if (b⊓)<773 ; (≅⋟⩖(a⨓⫹(a↕∇⋍a))) , else }

def op_mA6yuBE6QF(a, b):
    if op_7Xkn05QJzG(b) < 773:
        return op_XIK4G3vWTl(op_h1U3ZT2Qlc(op_lvlrscuwVU(b,244),op_ZilkyjA8lc(a,a)),op_NINxns2OXj(op_yO0Pz5QMfn(a,a),op_3FKzo546dw(215,113)))
    else:
        return op_h1TzpREX0q(op_YYmmGX8gEu(a,op_XRjwFXip4B(a,a)))

def op_count_mA6yuBE6QF(a, b):
    if op_7Xkn05QJzG(b) < 773:
        count = op_count_lvlrscuwVU(b,244)+op_count_ZilkyjA8lc(a,a)+op_count_h1U3ZT2Qlc(op_lvlrscuwVU(b,244),op_ZilkyjA8lc(a,a))+op_count_yO0Pz5QMfn(a,a)+op_count_3FKzo546dw(215,113)+op_count_NINxns2OXj(op_yO0Pz5QMfn(a,a),op_3FKzo546dw(215,113))+op_count_XIK4G3vWTl(op_h1U3ZT2Qlc(op_lvlrscuwVU(b,244),op_ZilkyjA8lc(a,a)),op_NINxns2OXj(op_yO0Pz5QMfn(a,a),op_3FKzo546dw(215,113)))+op_count_7Xkn05QJzG(b)
    else:
        count = op_count_XRjwFXip4B(a,a)+op_count_YYmmGX8gEu(a,op_XRjwFXip4B(a,a))+op_count_h1TzpREX0q(op_YYmmGX8gEu(a,op_XRjwFXip4B(a,a)))
    return count


a⇔⇏⋥ = { (((41⨽a)⇚≂(a⇋⇻a))∄⩵((a⪨≂568)⪨≂(a⊠⪀↲a))) , if (a⨍359)!=9 ; (((a↠⫝̸⫩a)⪮%⊝(a⇈⫔⫇a))∗) , else }

def op_gE746nUu0T(a):
    if op_ceRqZ68cFu(a,359) != 9:
        return op_AsCFVB39Ml(op_otIR7kHRl1(op_8HhzD0ZcuI(41,a),op_lIWCnfEXsl(a,a)),op_sdazOOVcIp(op_sdazOOVcIp(a,568),op_msRZmk5CCg(a,a)))
    else:
        return op_hXLke0AbfW(op_IWmyXbctLI(op_E331xP7I43(a,a),op_wfMG52dXrO(a,a)))

def op_count_gE746nUu0T(a):
    if op_ceRqZ68cFu(a,359) != 9:
        count = op_count_8HhzD0ZcuI(41,a)+op_count_lIWCnfEXsl(a,a)+op_count_otIR7kHRl1(op_8HhzD0ZcuI(41,a),op_lIWCnfEXsl(a,a))+op_count_sdazOOVcIp(a,568)+op_count_msRZmk5CCg(a,a)+op_count_sdazOOVcIp(op_sdazOOVcIp(a,568),op_msRZmk5CCg(a,a))+op_count_AsCFVB39Ml(op_otIR7kHRl1(op_8HhzD0ZcuI(41,a),op_lIWCnfEXsl(a,a)),op_sdazOOVcIp(op_sdazOOVcIp(a,568),op_msRZmk5CCg(a,a)))+op_count_ceRqZ68cFu(a,359)
    else:
        count = op_count_E331xP7I43(a,a)+op_count_wfMG52dXrO(a,a)+op_count_IWmyXbctLI(op_E331xP7I43(a,a),op_wfMG52dXrO(a,a))+op_count_hXLke0AbfW(op_IWmyXbctLI(op_E331xP7I43(a,a),op_wfMG52dXrO(a,a)))
    return count


a↥⩙ = { ((a⇋∁↲a)⫲≮(⋧⫪≄a)) , if (a⫥⪥404)<=479 ; ((⇜≂≑a)⇃⩛⇬(128⇧⊇⋩a)) , else }

def op_7TwMvaEPpN(a):
    if op_H86EN3O05e(a,404) <= 479:
        return op_3FKzo546dw(op_WWvgEODVog(a,a),op_aQOF7STvow(a))
    else:
        return op_ZyEASfasF5(op_RFg3ArkQ7E(a),op_1TuAU3ehYs(128,a))

def op_count_7TwMvaEPpN(a):
    if op_H86EN3O05e(a,404) <= 479:
        count = op_count_WWvgEODVog(a,a)+op_count_aQOF7STvow(a)+op_count_3FKzo546dw(op_WWvgEODVog(a,a),op_aQOF7STvow(a))+op_count_H86EN3O05e(a,404)
    else:
        count = op_count_RFg3ArkQ7E(a)+op_count_1TuAU3ehYs(128,a)+op_count_ZyEASfasF5(op_RFg3ArkQ7E(a),op_1TuAU3ehYs(128,a))
    return count


a⪣⇕⊊b = { (b∊∟⩊b) , if (⨩⪖a)>877 ; (a*⨄) , else }

def op_JuKpg8yQLl(a, b):
    if op_pjx72LgDRm(a) > 877:
        return op_ddLRYrp01A(b,b)
    else:
        return op_5VqMCcXhPM(a)

def op_count_JuKpg8yQLl(a, b):
    if op_pjx72LgDRm(a) > 877:
        count = op_count_ddLRYrp01A(b,b)+op_count_pjx72LgDRm(a)
    else:
        count = op_count_5VqMCcXhPM(a)
    return count


a⩶⊱b = { ((b⨇⩊↔(b⫼⇷a))⋦) , if (a∱⊱⪦)!=116 ; (((⫆⩾b)≭∊b)≯⩮⩓((376∲⫑a)∄b)) , else }

def op_blCx0AD3sY(a, b):
    if op_2SuunQtscG(a) != 116:
        return op_LJjZ19xYgc(op_RR9T5AuQ1T(b,op_W5FaPSP1ue(b,a)))
    else:
        return op_wcUnr516Gq(op_NvvUe35Zgj(op_8DHlP0DBF0(b),b),op_tnyRA5sazQ(op_NrdPCfJQiM(376,a),b))

def op_count_blCx0AD3sY(a, b):
    if op_2SuunQtscG(a) != 116:
        count = op_count_W5FaPSP1ue(b,a)+op_count_RR9T5AuQ1T(b,op_W5FaPSP1ue(b,a))+op_count_LJjZ19xYgc(op_RR9T5AuQ1T(b,op_W5FaPSP1ue(b,a)))+op_count_2SuunQtscG(a)
    else:
        count = op_count_8DHlP0DBF0(b)+op_count_NvvUe35Zgj(op_8DHlP0DBF0(b),b)+op_count_NrdPCfJQiM(376,a)+op_count_tnyRA5sazQ(op_NrdPCfJQiM(376,a),b)+op_count_wcUnr516Gq(op_NvvUe35Zgj(op_8DHlP0DBF0(b),b),op_tnyRA5sazQ(op_NrdPCfJQiM(376,a),b))
    return count


a⨯⊏⊊ = { (a⊼⩙≵) , if a<=213 and (a⨬⫳)>=4 and a<=385 ; (a⇮⋭a) , else }

def op_hS44MJc8OG(a):
    if a <= 213 and op_kc7iqVBlRY(a) >= 4 and a <= 385:
        return op_qpxJquq7V4(a)
    else:
        return op_vkpjKywKVM(a,a)

def op_count_hS44MJc8OG(a):
    if a <= 213 and op_kc7iqVBlRY(a) >= 4 and a <= 385:
        count = op_count_qpxJquq7V4(a)+op_count_kc7iqVBlRY(a)
    else:
        count = op_count_vkpjKywKVM(a,a)
    return count


def op_WrqevOroKw(a):
    if op_Oz60OTg7Kb(a) != 667:
        return op_aFodGWjv1K(op_nVH8oQGqd6(op_VDo68Vv9Oy(45)),op_NsRBSK00Sa(op_jWTQ2TZYIH(352,a)))
    else:
        return op_DO4fhlbJSI(op_S3tN1ZzpSt(op_NRyasOrsb7(a,a),op_gZrEJN9j6U(a)))

def op_count_WrqevOroKw(a):
    if op_Oz60OTg7Kb(a) != 667:
        count = op_count_VDo68Vv9Oy(45)+op_count_nVH8oQGqd6(op_VDo68Vv9Oy(45))+op_count_jWTQ2TZYIH(352,a)+op_count_NsRBSK00Sa(op_jWTQ2TZYIH(352,a))+op_count_aFodGWjv1K(op_nVH8oQGqd6(op_VDo68Vv9Oy(45)),op_NsRBSK00Sa(op_jWTQ2TZYIH(352,a)))+op_count_Oz60OTg7Kb(a)
    else:
        count = op_count_NRyasOrsb7(a,a)+op_count_gZrEJN9j6U(a)+op_count_S3tN1ZzpSt(op_NRyasOrsb7(a,a),op_gZrEJN9j6U(a))+op_count_DO4fhlbJSI(op_S3tN1ZzpSt(op_NRyasOrsb7(a,a),op_gZrEJN9j6U(a)))
    return count


a⋣√∲b = { ((≑⇌↚b)≤⋮(a⇵)) , if (≍a)<=174 or (b∺775)>44 ; ((250⊮⊟↴a)⋇↵⋅(b⊥≍⋁b)) , else }

def op_1hm1oEpfJf(a, b):
    if op_qDGJMdN0kq(a) <= 174 or op_3lnCICep6t(b,775) > 44:
        return op_gaaDP0UKzK(op_mLtj7USckU(b),op_rFiAhazZjy(a))
    else:
        return op_aEZ9JgCP8a(op_QDVgd2eftb(250,a),op_UuQ5TkIIzY(b,b))

def op_count_1hm1oEpfJf(a, b):
    if op_qDGJMdN0kq(a) <= 174 or op_3lnCICep6t(b,775) > 44:
        count = op_count_mLtj7USckU(b)+op_count_rFiAhazZjy(a)+op_count_gaaDP0UKzK(op_mLtj7USckU(b),op_rFiAhazZjy(a))+op_count_qDGJMdN0kq(a)+op_count_3lnCICep6t(b,775)
    else:
        count = op_count_QDVgd2eftb(250,a)+op_count_UuQ5TkIIzY(b,b)+op_count_aEZ9JgCP8a(op_QDVgd2eftb(250,a),op_UuQ5TkIIzY(b,b))
    return count


def op_Popjir4Ocp(a, b):
    if b <= 81:
        return op_45CgEd1X7v(op_XGcMNugi78(99,a))
    else:
        return op_xAdqek1hDd(op_lYYgj615o2(a,464),op_YaB1w09lmH(2,b))

def op_count_Popjir4Ocp(a, b):
    if b <= 81:
        count = op_count_XGcMNugi78(99,a)+op_count_45CgEd1X7v(op_XGcMNugi78(99,a))
    else:
        count = op_count_lYYgj615o2(a,464)+op_count_YaB1w09lmH(2,b)+op_count_xAdqek1hDd(op_lYYgj615o2(a,464),op_YaB1w09lmH(2,b))
    return count


a⊍⊘⫙b = { (((a⫁⪎a)⨥∖(b⇘≿a))∥⋈((b⩼⇪↪a)⪵⩧⪨(a∹279))) , if ((a⊩)<166 and (⫯b)!=7 and (b⩘∃)==2) ; (((25⋪)∯⪋⊬(⋿⊆⪇450))⪶((b↝≞≭a)⫹≱(b↞≒↤341))) , else }

def op_CWxo83c3q6(a, b):
    if (op_gFzrrwmTu5(a) < 166 and op_H6BK1Evt7c(b) != 7 and op_rppWNvNsyJ(b) == 2):
        return op_j7kFUh2iBI(op_VcI7WilXed(op_xRrnTEsQ6j(a,a),op_8EAfVIn5ao(b,a)),op_0QEWQRhRpH(op_ocnLzx9CaJ(b,a),op_Dh8yhYQk7S(a,279)))
    else:
        return op_NvEvKO2R8S(op_g3XCkDyza1(op_ua2fiIHkOT(25),op_Tkp64Nxkog(450)),op_syzFGkhusE(op_qmoX8GR648(b,a),op_VxkNjAGpeT(b,341)))

def op_count_CWxo83c3q6(a, b):
    if (op_gFzrrwmTu5(a) < 166 and op_H6BK1Evt7c(b) != 7 and op_rppWNvNsyJ(b) == 2):
        count = op_count_xRrnTEsQ6j(a,a)+op_count_8EAfVIn5ao(b,a)+op_count_VcI7WilXed(op_xRrnTEsQ6j(a,a),op_8EAfVIn5ao(b,a))+op_count_ocnLzx9CaJ(b,a)+op_count_Dh8yhYQk7S(a,279)+op_count_0QEWQRhRpH(op_ocnLzx9CaJ(b,a),op_Dh8yhYQk7S(a,279))+op_count_j7kFUh2iBI(op_VcI7WilXed(op_xRrnTEsQ6j(a,a),op_8EAfVIn5ao(b,a)),op_0QEWQRhRpH(op_ocnLzx9CaJ(b,a),op_Dh8yhYQk7S(a,279)))+op_count_gFzrrwmTu5(a)+op_count_H6BK1Evt7c(b)+op_count_rppWNvNsyJ(b)
    else:
        count = op_count_ua2fiIHkOT(25)+op_count_Tkp64Nxkog(450)+op_count_g3XCkDyza1(op_ua2fiIHkOT(25),op_Tkp64Nxkog(450))+op_count_qmoX8GR648(b,a)+op_count_VxkNjAGpeT(b,341)+op_count_syzFGkhusE(op_qmoX8GR648(b,a),op_VxkNjAGpeT(b,341))+op_count_NvEvKO2R8S(op_g3XCkDyza1(op_ua2fiIHkOT(25),op_Tkp64Nxkog(450)),op_syzFGkhusE(op_qmoX8GR648(b,a),op_VxkNjAGpeT(b,341)))
    return count