def op_NoNbPt79pX(a, b):
    if op_LTFpk6MNXo(b) >= 485 or op_wTiz35xKoq(a,147) <= 99:
        return a
    else:
        return op_RjlROH8OP1(a,op_hJhozpRboY(op_kFrcMyQrlQ(b)))

def op_count_NoNbPt79pX(a, b):
    if op_LTFpk6MNXo(b) >= 485 or op_wTiz35xKoq(a,147) <= 99:
        count = 1
    else:
        count = op_count_kFrcMyQrlQ(b)+op_count_hJhozpRboY(op_kFrcMyQrlQ(b))+op_count_RjlROH8OP1(a,op_hJhozpRboY(op_kFrcMyQrlQ(b)))
    return count


def op_yaaXXAb3Cv(a):
    if op_ZqmoXt0PtR(a) != 19:
        return a
    else:
        return op_7f6kG6nZd2(op_fnDOYsdde8(a),op_Z8Yg6dlDSp(537))

def op_count_yaaXXAb3Cv(a):
    if op_ZqmoXt0PtR(a) != 19:
        count = 1
    else:
        count = op_count_fnDOYsdde8(a)+op_count_Z8Yg6dlDSp(537)+op_count_7f6kG6nZd2(op_fnDOYsdde8(a),op_Z8Yg6dlDSp(537))
    return count


def op_6c2v7YtXPD(a):
    if op_xbJbJbSYo4(a,632) == 11:
        return op_XvIobvOzEP(a)
    else:
        return op_pkGID9BuoO(a)

def op_count_6c2v7YtXPD(a):
    if op_xbJbJbSYo4(a,632) == 11:
        count = op_count_XvIobvOzEP(a)+op_count_xbJbJbSYo4(a,632)
    else:
        count = op_count_pkGID9BuoO(a)
    return count


def op_xZgrlsmADn(a):
    if (op_ZXpgOvMj6j(a,195) > 937 and op_2sqRH14HT1(a) >= 50 and op_L7PEQm7qWG(a) > 205):
        return op_i5NNtHWeao(op_dR2gYrpTIj(a,a))
    else:
        return op_ZsTN7hvPwQ(op_Ou3rxsDsgJ(619,a))

def op_count_xZgrlsmADn(a):
    if (op_ZXpgOvMj6j(a,195) > 937 and op_2sqRH14HT1(a) >= 50 and op_L7PEQm7qWG(a) > 205):
        count = op_count_dR2gYrpTIj(a,a)+op_count_i5NNtHWeao(op_dR2gYrpTIj(a,a))+op_count_ZXpgOvMj6j(a,195)+op_count_2sqRH14HT1(a)+op_count_L7PEQm7qWG(a)
    else:
        count = op_count_Ou3rxsDsgJ(619,a)+op_count_ZsTN7hvPwQ(op_Ou3rxsDsgJ(619,a))
    return count


↘⫭↗a = { (a⩍↜⊄a) , if (a∛⩊52)>=39 ; (a⩭∖) , else }

def op_tl5LOfaYdR(a):
    if op_eXKgThLcvK(a,52) >= 39:
        return op_vqMs4v2zd9(a,a)
    else:
        return op_f3cRlOndDH(a)

def op_count_tl5LOfaYdR(a):
    if op_eXKgThLcvK(a,52) >= 39:
        count = op_count_vqMs4v2zd9(a,a)+op_count_eXKgThLcvK(a,52)
    else:
        count = op_count_f3cRlOndDH(a)
    return count


def op_USvtt2bUPl(a, b):
    if op_ZTJQ1ydIWA(b,813) <= 74:
        return op_fp9lZ9ehPv(b,op_TrDKUjqfgw(op_0KgWqnVqNo(166,a),op_cCidRm28DL(519)))
    else:
        return op_obeET8rFtc(op_W7L2oCKInH(op_obeET8rFtc(b,a),op_RR9T5AuQ1T(b,164)),op_09qx5t6My5(a))

def op_count_USvtt2bUPl(a, b):
    if op_ZTJQ1ydIWA(b,813) <= 74:
        count = op_count_0KgWqnVqNo(166,a)+op_count_cCidRm28DL(519)+op_count_TrDKUjqfgw(op_0KgWqnVqNo(166,a),op_cCidRm28DL(519))+op_count_fp9lZ9ehPv(b,op_TrDKUjqfgw(op_0KgWqnVqNo(166,a),op_cCidRm28DL(519)))+op_count_ZTJQ1ydIWA(b,813)
    else:
        count = op_count_obeET8rFtc(b,a)+op_count_RR9T5AuQ1T(b,164)+op_count_W7L2oCKInH(op_obeET8rFtc(b,a),op_RR9T5AuQ1T(b,164))+op_count_09qx5t6My5(a)+op_count_obeET8rFtc(op_W7L2oCKInH(op_obeET8rFtc(b,a),op_RR9T5AuQ1T(b,164)),op_09qx5t6My5(a))
    return count


a⇬⇆⪖b = { (⨵≀≌((a%a)⩅(⫃⋏⪵a))) , if (⨂↺⨱a)==26 ; (((≻→↸b)⩰⫂(a⫢a))⩍↜⊄((⪷∈↠a)⩢⫌(a⩉-b))) , else }

def op_rSZ0wUNsoD(a, b):
    if op_OZ4izqyzVL(a) == 26:
        return op_srAu1WTS94(op_WHvsDZpt7Z(op_k8jYdgA6NY(a,a),op_oP7ayciNnu(a)))
    else:
        return op_vqMs4v2zd9(op_1rGgR8aUQx(op_qziKOL4PS6(b),op_Rc7o8AHK9u(a,a)),op_8dZLBg44dN(op_Kn0TacbtGK(a),op_LHjswSuruo(a,b)))

def op_count_rSZ0wUNsoD(a, b):
    if op_OZ4izqyzVL(a) == 26:
        count = op_count_k8jYdgA6NY(a,a)+op_count_oP7ayciNnu(a)+op_count_WHvsDZpt7Z(op_k8jYdgA6NY(a,a),op_oP7ayciNnu(a))+op_count_srAu1WTS94(op_WHvsDZpt7Z(op_k8jYdgA6NY(a,a),op_oP7ayciNnu(a)))+op_count_OZ4izqyzVL(a)
    else:
        count = op_count_qziKOL4PS6(b)+op_count_Rc7o8AHK9u(a,a)+op_count_1rGgR8aUQx(op_qziKOL4PS6(b),op_Rc7o8AHK9u(a,a))+op_count_Kn0TacbtGK(a)+op_count_LHjswSuruo(a,b)+op_count_8dZLBg44dN(op_Kn0TacbtGK(a),op_LHjswSuruo(a,b))+op_count_vqMs4v2zd9(op_1rGgR8aUQx(op_qziKOL4PS6(b),op_Rc7o8AHK9u(a,a)),op_8dZLBg44dN(op_Kn0TacbtGK(a),op_LHjswSuruo(a,b)))
    return count


def op_zXCakctb6l(a, b):
    if op_ObEyaaML9x(a,271) > 431:
        return op_NajNryHj1W(b)
    else:
        return op_AmQ3iGDvqx(b,a)

def op_count_zXCakctb6l(a, b):
    if op_ObEyaaML9x(a,271) > 431:
        count = op_count_NajNryHj1W(b)+op_count_ObEyaaML9x(a,271)
    else:
        count = op_count_AmQ3iGDvqx(b,a)
    return count


a⨽⨵≄b = { (⊽a) , if (b⫺⋢)!=625 ; (b≈↶≭a) , else }

def op_XrAG8TgJNs(a, b):
    if op_UklnSfcsr4(b) != 625:
        return op_QxG7OkqoLX(a)
    else:
        return op_F6tGhZBYIt(b,a)

def op_count_XrAG8TgJNs(a, b):
    if op_UklnSfcsr4(b) != 625:
        count = op_count_QxG7OkqoLX(a)+op_count_UklnSfcsr4(b)
    else:
        count = op_count_F6tGhZBYIt(b,a)
    return count


a∦⩠b = { (a≺⫾⋧a) , if b>93 ; (b≭b) , else }

def op_b6M1poSKGi(a, b):
    if b > 93:
        return op_KxdBUJswLU(a,a)
    else:
        return op_rxpJgHHUmx(b,b)

def op_count_b6M1poSKGi(a, b):
    if b > 93:
        count = op_count_KxdBUJswLU(a,a)
    else:
        count = op_count_rxpJgHHUmx(b,b)
    return count


a↕⫿⪹b = { (((b⫨⩂b)⋄⫌≙(650⫰⋱a))⫯⪬∳(⊁⨺(↯⩬⋍336))) , if (∼≁a)>=619 ; (((a≝⩴⋻)⨚⋹%(b%⪤⇭b))↕∇⋍((a⨙⪞147)⪟⋺(b⋧⫖∥))) , else }

def op_1nCRdKBIH2(a, b):
    if op_ZjIGILgOf5(a) >= 619:
        return op_d7ASUq0ydm(op_MUqkgcWPyT(op_fXLvaTYCEu(b,b),op_6o9Blt3TJ6(650,a)),op_PxiHyQbrIp(op_kryvVsIc0P(336)))
    else:
        return op_XRjwFXip4B(op_kl8g1HIl1s(op_IOaQU9eBVk(a),op_BpnXzQ89oA(b,b)),op_16GVWZKPl9(op_NIS2NZpoyR(a,147),op_GMFhbk3k8M(b)))

def op_count_1nCRdKBIH2(a, b):
    if op_ZjIGILgOf5(a) >= 619:
        count = op_count_fXLvaTYCEu(b,b)+op_count_6o9Blt3TJ6(650,a)+op_count_MUqkgcWPyT(op_fXLvaTYCEu(b,b),op_6o9Blt3TJ6(650,a))+op_count_kryvVsIc0P(336)+op_count_PxiHyQbrIp(op_kryvVsIc0P(336))+op_count_d7ASUq0ydm(op_MUqkgcWPyT(op_fXLvaTYCEu(b,b),op_6o9Blt3TJ6(650,a)),op_PxiHyQbrIp(op_kryvVsIc0P(336)))+op_count_ZjIGILgOf5(a)
    else:
        count = op_count_IOaQU9eBVk(a)+op_count_BpnXzQ89oA(b,b)+op_count_kl8g1HIl1s(op_IOaQU9eBVk(a),op_BpnXzQ89oA(b,b))+op_count_NIS2NZpoyR(a,147)+op_count_GMFhbk3k8M(b)+op_count_16GVWZKPl9(op_NIS2NZpoyR(a,147),op_GMFhbk3k8M(b))+op_count_XRjwFXip4B(op_kl8g1HIl1s(op_IOaQU9eBVk(a),op_BpnXzQ89oA(b,b)),op_16GVWZKPl9(op_NIS2NZpoyR(a,147),op_GMFhbk3k8M(b)))
    return count


def op_8PLNt8Pt0p(a, b):
    if op_POp3h4pmYF(b,202) >= 247:
        return op_NNiFiUKbm3(b,b)
    else:
        return op_lyWz822IDG(104,a)

def op_count_8PLNt8Pt0p(a, b):
    if op_POp3h4pmYF(b,202) >= 247:
        count = op_count_NNiFiUKbm3(b,b)+op_count_POp3h4pmYF(b,202)
    else:
        count = op_count_lyWz822IDG(104,a)
    return count


a↢⊕b = { (((a∄⩮↔)⊯⪆(a⪭≯a))∟⋩≫((a∴a)↲⋇⇰)) , if (b⫊⇚⊺685)>188 or a<=174 ; a , else }

def op_N3yJGIY5gc(a, b):
    if op_Y5cEcQhyKu(b,685) > 188 or a <= 174:
        return op_BCU6VgEl6D(op_8u3ZXjUZq9(op_4KIxHNpB5o(a),op_XAx5wpdLa6(a,a)),op_BuILyVhHs9(op_hrf7POJlIJ(a,a)))
    else:
        return a

def op_count_N3yJGIY5gc(a, b):
    if op_Y5cEcQhyKu(b,685) > 188 or a <= 174:
        count = op_count_4KIxHNpB5o(a)+op_count_XAx5wpdLa6(a,a)+op_count_8u3ZXjUZq9(op_4KIxHNpB5o(a),op_XAx5wpdLa6(a,a))+op_count_hrf7POJlIJ(a,a)+op_count_BuILyVhHs9(op_hrf7POJlIJ(a,a))+op_count_BCU6VgEl6D(op_8u3ZXjUZq9(op_4KIxHNpB5o(a),op_XAx5wpdLa6(a,a)),op_BuILyVhHs9(op_hrf7POJlIJ(a,a)))+op_count_Y5cEcQhyKu(b,685)
    else:
        count = 1
    return count


≻⋢a = { ((a⨷∲a)⋪∉∙(≮a)) , if (⫍⋽a)>=96 or a!=1 or (a⪳∈⋴74)>122 ; ((455⩍≏a)⨓≏↨(a↮a)) , else }

def op_OKegJlSuFH(a):
    if op_Oz9I6mbsCN(a) >= 96 or a != 1 or op_eA2Rn72fZY(a,74) > 122:
        return op_ZudQkqJPAX(op_y1XfmXroNr(a,a),op_bVRrhJZyGv(a))
    else:
        return op_FFb7DDTmUH(op_JabAtFSQmd(455,a),op_ugTrrffvJh(a,a))

def op_count_OKegJlSuFH(a):
    if op_Oz9I6mbsCN(a) >= 96 or a != 1 or op_eA2Rn72fZY(a,74) > 122:
        count = op_count_y1XfmXroNr(a,a)+op_count_bVRrhJZyGv(a)+op_count_ZudQkqJPAX(op_y1XfmXroNr(a,a),op_bVRrhJZyGv(a))+op_count_Oz9I6mbsCN(a)+op_count_eA2Rn72fZY(a,74)
    else:
        count = op_count_JabAtFSQmd(455,a)+op_count_ugTrrffvJh(a,a)+op_count_FFb7DDTmUH(op_JabAtFSQmd(455,a),op_ugTrrffvJh(a,a))
    return count


def op_otkFIVjRo5(a):
    if a <= 122:
        return op_XXmTpEpWTW(72)
    else:
        return a

def op_count_otkFIVjRo5(a):
    if a <= 122:
        count = op_count_XXmTpEpWTW(72)
    else:
        count = 1
    return count


⋼⪪a = { (a⩍↲a) , if (a⪱⇝668)>273 ; (a⫉∜⋩) , else }

def op_XS7lhshGZk(a):
    if op_OTRTVPweYV(a,668) > 273:
        return op_kzp3oYQzRT(a,a)
    else:
        return op_2duuZjdUdY(a)

def op_count_XS7lhshGZk(a):
    if op_OTRTVPweYV(a,668) > 273:
        count = op_count_kzp3oYQzRT(a,a)+op_count_OTRTVPweYV(a,668)
    else:
        count = op_count_2duuZjdUdY(a)
    return count


a⨁⪲b = { (((b⪉⋜⨢b)↙⨫⫶(a∙⊟b))⇚⫬b) , if (b∕⪝)!=1 and (⋋⊲b)==270 ; ((b⋡⊿(321⨩))⋉←⋽((173⩡b)⇗⋫)) , else }

def op_G6y3LSwJ0w(a, b):
    if op_EEXzluxnhc(b) != 1 and op_RpARD7IbKd(b) == 270:
        return op_hobi2Kiz2H(op_LwmwRo8pon(op_0YlV2lZqOw(b,b),op_SxTAKzQCrw(a,b)),b)
    else:
        return op_Vf9NwM3fOJ(op_jHObMoggHE(b,op_weFp838rcz(321)),op_hpqmaQFPrd(op_G4EbQfwSm2(173,b)))

def op_count_G6y3LSwJ0w(a, b):
    if op_EEXzluxnhc(b) != 1 and op_RpARD7IbKd(b) == 270:
        count = op_count_0YlV2lZqOw(b,b)+op_count_SxTAKzQCrw(a,b)+op_count_LwmwRo8pon(op_0YlV2lZqOw(b,b),op_SxTAKzQCrw(a,b))+op_count_hobi2Kiz2H(op_LwmwRo8pon(op_0YlV2lZqOw(b,b),op_SxTAKzQCrw(a,b)),b)+op_count_EEXzluxnhc(b)+op_count_RpARD7IbKd(b)
    else:
        count = op_count_weFp838rcz(321)+op_count_jHObMoggHE(b,op_weFp838rcz(321))+op_count_G4EbQfwSm2(173,b)+op_count_hpqmaQFPrd(op_G4EbQfwSm2(173,b))+op_count_Vf9NwM3fOJ(op_jHObMoggHE(b,op_weFp838rcz(321)),op_hpqmaQFPrd(op_G4EbQfwSm2(173,b)))
    return count


≼⋽⫫a = { ((a⇆⨓≜)⨲≁⇁(⫞⪹⩄362)) , if (a⊏≷≳)!=80 and a<=146 ; ((⋺⩭a)↿⩋(a⪑a)) , else }

def op_jMgIWaN3nz(a):
    if op_IyXueN9Vxj(a) != 80 and a <= 146:
        return op_vgQrgVQVNk(op_KvvgdUaMHJ(a),op_hdbUzVO3gi(362))
    else:
        return op_a8qup2lXrT(op_9eAzrXm5nW(a),op_8CI59HBmeC(a,a))

def op_count_jMgIWaN3nz(a):
    if op_IyXueN9Vxj(a) != 80 and a <= 146:
        count = op_count_KvvgdUaMHJ(a)+op_count_hdbUzVO3gi(362)+op_count_vgQrgVQVNk(op_KvvgdUaMHJ(a),op_hdbUzVO3gi(362))+op_count_IyXueN9Vxj(a)
    else:
        count = op_count_9eAzrXm5nW(a)+op_count_8CI59HBmeC(a,a)+op_count_a8qup2lXrT(op_9eAzrXm5nW(a),op_8CI59HBmeC(a,a))
    return count


a∰⩚b = { (a⫗⊷⫓(180⩆b)) , if (b⨤↠⊭)>=136 ; ((b⋟⫀⨗a)⩵⪁⪣b) , else }

def op_P0PAE1kp4L(a, b):
    if op_Xp5ON8hGWA(b) >= 136:
        return op_zashukvMKz(a,op_QmMs3tyaZP(180,b))
    else:
        return op_7PtAaisWjx(op_dAAkup5nzi(b,a),b)

def op_count_P0PAE1kp4L(a, b):
    if op_Xp5ON8hGWA(b) >= 136:
        count = op_count_QmMs3tyaZP(180,b)+op_count_zashukvMKz(a,op_QmMs3tyaZP(180,b))+op_count_Xp5ON8hGWA(b)
    else:
        count = op_count_dAAkup5nzi(b,a)+op_count_7PtAaisWjx(op_dAAkup5nzi(b,a),b)
    return count


def op_VKl2S7RzAG(a):
    if op_MgruMXZIMT(a) != 12:
        return op_nCS4ZIUYfx(op_hL8JPCYIkc(58,a),op_rPNtK4BLRO(a,a))
    else:
        return op_MEqPUhr43n(op_AeqtO6eaHQ(a),op_XizqdzG9LG(108))

def op_count_VKl2S7RzAG(a):
    if op_MgruMXZIMT(a) != 12:
        count = op_count_hL8JPCYIkc(58,a)+op_count_rPNtK4BLRO(a,a)+op_count_nCS4ZIUYfx(op_hL8JPCYIkc(58,a),op_rPNtK4BLRO(a,a))+op_count_MgruMXZIMT(a)
    else:
        count = op_count_AeqtO6eaHQ(a)+op_count_XizqdzG9LG(108)+op_count_MEqPUhr43n(op_AeqtO6eaHQ(a),op_XizqdzG9LG(108))
    return count


a⨽⇁⨺b = { (∡∐⩌0) , if b==382 ; (a⫗⊷⫓a) , else }

def op_omvKroGSX5(a, b):
    if b == 382:
        return op_7ownb8jkdv(0)
    else:
        return op_zashukvMKz(a,a)

def op_count_omvKroGSX5(a, b):
    if b == 382:
        count = op_count_7ownb8jkdv(0)
    else:
        count = op_count_zashukvMKz(a,a)
    return count


a≋⫉≋b = { (b≁a) , if (⩊⊇⪬a)<270 ; (≜⪍b) , else }

def op_8jFBhTAx7s(a, b):
    if op_ViowlgaeMP(a) < 270:
        return op_8N2wDY1A35(b,a)
    else:
        return op_3yxomnqmFK(b)

def op_count_8jFBhTAx7s(a, b):
    if op_ViowlgaeMP(a) < 270:
        count = op_count_8N2wDY1A35(b,a)+op_count_ViowlgaeMP(a)
    else:
        count = op_count_3yxomnqmFK(b)
    return count


def op_j1j0ddcnwp(a, b):
    if op_UO1RhPgbnL(b) == 646 or op_dGh8tZTXpZ(b,306) > 701 or op_N5n1JPscym(b) <= 535:
        return op_Lhp4c9Iy31(op_fisgo7y6Pu(op_oW1cUEY5Sq(a,b),op_MsxN17mfUC(a,a)))
    else:
        return op_CzSLD2SD8j(op_inkyxCbjAn(op_matowZxHVj(442)),op_19xM9lTKYo(op_8cNrNy0nrI(a,a),op_8rgMBn28gJ(20,b)))

def op_count_j1j0ddcnwp(a, b):
    if op_UO1RhPgbnL(b) == 646 or op_dGh8tZTXpZ(b,306) > 701 or op_N5n1JPscym(b) <= 535:
        count = op_count_oW1cUEY5Sq(a,b)+op_count_MsxN17mfUC(a,a)+op_count_fisgo7y6Pu(op_oW1cUEY5Sq(a,b),op_MsxN17mfUC(a,a))+op_count_Lhp4c9Iy31(op_fisgo7y6Pu(op_oW1cUEY5Sq(a,b),op_MsxN17mfUC(a,a)))+op_count_UO1RhPgbnL(b)+op_count_dGh8tZTXpZ(b,306)+op_count_N5n1JPscym(b)
    else:
        count = op_count_matowZxHVj(442)+op_count_inkyxCbjAn(op_matowZxHVj(442))+op_count_8cNrNy0nrI(a,a)+op_count_8rgMBn28gJ(20,b)+op_count_19xM9lTKYo(op_8cNrNy0nrI(a,a),op_8rgMBn28gJ(20,b))+op_count_CzSLD2SD8j(op_inkyxCbjAn(op_matowZxHVj(442)),op_19xM9lTKYo(op_8cNrNy0nrI(a,a),op_8rgMBn28gJ(20,b)))
    return count


def op_junIBM5Py7(a):
    if op_ZHbGYeIEOk(a) == 190:
        return op_YeqGfToepn(a,op_GAUYhZJcYo(op_ekA2oeJZMY(222,a)))
    else:
        return op_mFCgDW3omv(op_irfPbDV6Fp(op_2GS7woTJqF(485,a),op_2IFpBACqy9(a)))

def op_count_junIBM5Py7(a):
    if op_ZHbGYeIEOk(a) == 190:
        count = op_count_ekA2oeJZMY(222,a)+op_count_GAUYhZJcYo(op_ekA2oeJZMY(222,a))+op_count_YeqGfToepn(a,op_GAUYhZJcYo(op_ekA2oeJZMY(222,a)))+op_count_ZHbGYeIEOk(a)
    else:
        count = op_count_2GS7woTJqF(485,a)+op_count_2IFpBACqy9(a)+op_count_irfPbDV6Fp(op_2GS7woTJqF(485,a),op_2IFpBACqy9(a))+op_count_mFCgDW3omv(op_irfPbDV6Fp(op_2GS7woTJqF(485,a),op_2IFpBACqy9(a)))
    return count


a≽↽b = { ((⪽⊔⪾a)⪍⇠⫝̸(a⩓b)) , if (b⫷⪖560)>=68 ; ((⫄⋦≢b)∑⨉(a∳≍⊱)) , else }

def op_BQJYdnrrNn(a, b):
    if op_ovZ991LhRn(b,560) >= 68:
        return op_nMuxe7tt8I(op_8pEb091Skj(a),op_ZkTErvSsVl(a,b))
    else:
        return op_TbMhMv1AuS(op_4kvgVkQeiQ(b),op_cXLsWb8329(a))

def op_count_BQJYdnrrNn(a, b):
    if op_ovZ991LhRn(b,560) >= 68:
        count = op_count_8pEb091Skj(a)+op_count_ZkTErvSsVl(a,b)+op_count_nMuxe7tt8I(op_8pEb091Skj(a),op_ZkTErvSsVl(a,b))+op_count_ovZ991LhRn(b,560)
    else:
        count = op_count_4kvgVkQeiQ(b)+op_count_cXLsWb8329(a)+op_count_TbMhMv1AuS(op_4kvgVkQeiQ(b),op_cXLsWb8329(a))
    return count


a⩛⋨⨗b = { (b⊼≽↣a) , if (a∡⊞)!=143 ; (⫡⫨⇲b) , else }

def op_ethHWxwQs0(a, b):
    if op_xZ6zYjEi4D(a) != 143:
        return op_BXjDhA3pkh(b,a)
    else:
        return op_hJhozpRboY(b)

def op_count_ethHWxwQs0(a, b):
    if op_xZ6zYjEi4D(a) != 143:
        count = op_count_BXjDhA3pkh(b,a)+op_count_xZ6zYjEi4D(a)
    else:
        count = op_count_hJhozpRboY(b)
    return count


def op_j1sut04okq(a):
    if op_WxCQVOxfvH(a) >= 183 or op_4ZyE98Jico(a,458) == 713:
        return op_PmR7WuS4AT(op_8dZLBg44dN(a,36),op_YZvYafYi1t(a))
    else:
        return op_in7QvNEnpg(op_8N2wDY1A35(a,670))

def op_count_j1sut04okq(a):
    if op_WxCQVOxfvH(a) >= 183 or op_4ZyE98Jico(a,458) == 713:
        count = op_count_8dZLBg44dN(a,36)+op_count_YZvYafYi1t(a)+op_count_PmR7WuS4AT(op_8dZLBg44dN(a,36),op_YZvYafYi1t(a))+op_count_WxCQVOxfvH(a)+op_count_4ZyE98Jico(a,458)
    else:
        count = op_count_8N2wDY1A35(a,670)+op_count_in7QvNEnpg(op_8N2wDY1A35(a,670))
    return count


def op_l30MxOEAGa(a, b):
    if (op_RbC4sr1eiU(a,872) < 43 and op_jOfdi5Axto(a,388) == 107):
        return op_lyWz822IDG(a,b)
    else:
        return b

def op_count_l30MxOEAGa(a, b):
    if (op_RbC4sr1eiU(a,872) < 43 and op_jOfdi5Axto(a,388) == 107):
        count = op_count_lyWz822IDG(a,b)+op_count_RbC4sr1eiU(a,872)+op_count_jOfdi5Axto(a,388)
    else:
        count = 1
    return count


a∸⫍⊟b = { ((a⫸⋀⪒b)⊋∃⫍(a∽≸a)) , if (⨀b)<=40 ; (⊵⊁(b↧a)) , else }

def op_Or6mdMgn0K(a, b):
    if op_XizqdzG9LG(b) <= 40:
        return op_YWzE9lFDSS(op_fp9lZ9ehPv(a,b),op_Jf2MRgTP95(a,a))
    else:
        return op_AvED76WdY7(op_5LE63mxGOF(b,a))

def op_count_Or6mdMgn0K(a, b):
    if op_XizqdzG9LG(b) <= 40:
        count = op_count_fp9lZ9ehPv(a,b)+op_count_Jf2MRgTP95(a,a)+op_count_YWzE9lFDSS(op_fp9lZ9ehPv(a,b),op_Jf2MRgTP95(a,a))+op_count_XizqdzG9LG(b)
    else:
        count = op_count_5LE63mxGOF(b,a)+op_count_AvED76WdY7(op_5LE63mxGOF(b,a))
    return count


def op_jpiozxSpVX(a):
    if op_Lcu9TIsOQz(a) != 728 or a >= 315 or op_scnBMGRR3o(a) <= 307:
        return op_Vzd1Za95Jr(op_7iRqK53Syp(op_joCbSVezTg(a,a)),op_sQqERRYnsS(op_Y4P2H7a92Q(a,189)))
    else:
        return op_gX4FzDCZoG(op_EYU6BsVPjN(op_0wRoqxy0RT(a,a),op_XIIwhv8d0m(a,569)))

def op_count_jpiozxSpVX(a):
    if op_Lcu9TIsOQz(a) != 728 or a >= 315 or op_scnBMGRR3o(a) <= 307:
        count = op_count_joCbSVezTg(a,a)+op_count_7iRqK53Syp(op_joCbSVezTg(a,a))+op_count_Y4P2H7a92Q(a,189)+op_count_sQqERRYnsS(op_Y4P2H7a92Q(a,189))+op_count_Vzd1Za95Jr(op_7iRqK53Syp(op_joCbSVezTg(a,a)),op_sQqERRYnsS(op_Y4P2H7a92Q(a,189)))+op_count_Lcu9TIsOQz(a)+op_count_scnBMGRR3o(a)
    else:
        count = op_count_0wRoqxy0RT(a,a)+op_count_XIIwhv8d0m(a,569)+op_count_EYU6BsVPjN(op_0wRoqxy0RT(a,a),op_XIIwhv8d0m(a,569))+op_count_gX4FzDCZoG(op_EYU6BsVPjN(op_0wRoqxy0RT(a,a),op_XIIwhv8d0m(a,569)))
    return count


a⫺≋≑ = { (((a⇳≅)⪁⫑(a⫔⇒a))⨊(⪳(841⫛≵→a))) , if (a⋀)>=116 ; (((a⩅⨗a)∌⇯⇷(a⇳↙≢107))⪇⪤⩦((≾⫽a)⫔⫮)) , else }

def op_c7bK3lwktH(a):
    if op_71BScWmZ20(a) >= 116:
        return op_lGaBDnHbCC(op_wMzR1TNPRU(op_GAUYhZJcYo(a),op_xolZLAALD1(a,a)),op_mnCm9oVcGF(op_bvqU1ecX5M(841,a)))
    else:
        return op_0DhpTGsvK0(op_moP16zZBUU(op_NwTClTmkMo(a,a),op_iHGqphdURt(a,107)),op_ap0aNJFa73(op_plJuxQVeFk(a)))

def op_count_c7bK3lwktH(a):
    if op_71BScWmZ20(a) >= 116:
        count = op_count_GAUYhZJcYo(a)+op_count_xolZLAALD1(a,a)+op_count_wMzR1TNPRU(op_GAUYhZJcYo(a),op_xolZLAALD1(a,a))+op_count_bvqU1ecX5M(841,a)+op_count_mnCm9oVcGF(op_bvqU1ecX5M(841,a))+op_count_lGaBDnHbCC(op_wMzR1TNPRU(op_GAUYhZJcYo(a),op_xolZLAALD1(a,a)),op_mnCm9oVcGF(op_bvqU1ecX5M(841,a)))+op_count_71BScWmZ20(a)
    else:
        count = op_count_NwTClTmkMo(a,a)+op_count_iHGqphdURt(a,107)+op_count_moP16zZBUU(op_NwTClTmkMo(a,a),op_iHGqphdURt(a,107))+op_count_plJuxQVeFk(a)+op_count_ap0aNJFa73(op_plJuxQVeFk(a))+op_count_0DhpTGsvK0(op_moP16zZBUU(op_NwTClTmkMo(a,a),op_iHGqphdURt(a,107)),op_ap0aNJFa73(op_plJuxQVeFk(a)))
    return count


⋄⇷⋹a = { ((a⊷a)∻⊟) , if (⇻↴≱a)>15 ; a , else }

def op_qWofDyD2YP(a):
    if op_KlZ9JYY8wh(a) > 15:
        return op_kARpMGKQIr(op_M79hUXQlnf(a,a))
    else:
        return a

def op_count_qWofDyD2YP(a):
    if op_KlZ9JYY8wh(a) > 15:
        count = op_count_M79hUXQlnf(a,a)+op_count_kARpMGKQIr(op_M79hUXQlnf(a,a))+op_count_KlZ9JYY8wh(a)
    else:
        count = 1
    return count


a≑⨔≈b = { ((13⪵⩧⪨a)⨔⪫a) , if (a*⇘243)!=474 ; ((b∸≖⨓b)⇆⨓≜) , else }

def op_nS3HLG8jK0(a, b):
    if op_5JlONKxcBp(a,243) != 474:
        return op_YeqGfToepn(op_0QEWQRhRpH(13,a),a)
    else:
        return op_KvvgdUaMHJ(op_td3JEaTnr1(b,b))

def op_count_nS3HLG8jK0(a, b):
    if op_5JlONKxcBp(a,243) != 474:
        count = op_count_0QEWQRhRpH(13,a)+op_count_YeqGfToepn(op_0QEWQRhRpH(13,a),a)+op_count_5JlONKxcBp(a,243)
    else:
        count = op_count_td3JEaTnr1(b,b)+op_count_KvvgdUaMHJ(op_td3JEaTnr1(b,b))
    return count


⊑≔a = { (⫡⫨⇲(a⊝⨂a)) , if (a⇷⫩∐457)>=126 ; a , else }

def op_09WEJLX3iv(a):
    if op_m3RzpFxG9o(a,457) >= 126:
        return op_hJhozpRboY(op_qlXHEwqT5e(a,a))
    else:
        return a

def op_count_09WEJLX3iv(a):
    if op_m3RzpFxG9o(a,457) >= 126:
        count = op_count_qlXHEwqT5e(a,a)+op_count_hJhozpRboY(op_qlXHEwqT5e(a,a))+op_count_m3RzpFxG9o(a,457)
    else:
        count = 1
    return count


a∤⊳b = { ((a⪃⫳⩢)⇱∅⫼((698⫢⊶b)⫯⪬∳(b∆⇆↿b))) , if ((a⇳⋁714)==433 and (a⊖√)!=98) ; (⫠⊶≧((⇳⪻⋅a)⪭≯(∢⨟b))) , else }

def op_qEhE75JX2K(a, b):
    if (op_F4P0y6XAQk(a,714) == 433 and op_SitrkTsx1P(a) != 98):
        return op_jmRbPV3Y6D(op_9QkLXJ8ctG(a),op_d7ASUq0ydm(op_ZJYqJlJGqs(698,b),op_XO3djLyJMK(b,b)))
    else:
        return op_OimsOu7twr(op_XAx5wpdLa6(op_KjrLlKX7GV(a),op_ruCFZuNUwa(b)))

def op_count_qEhE75JX2K(a, b):
    if (op_F4P0y6XAQk(a,714) == 433 and op_SitrkTsx1P(a) != 98):
        count = op_count_9QkLXJ8ctG(a)+op_count_ZJYqJlJGqs(698,b)+op_count_XO3djLyJMK(b,b)+op_count_d7ASUq0ydm(op_ZJYqJlJGqs(698,b),op_XO3djLyJMK(b,b))+op_count_jmRbPV3Y6D(op_9QkLXJ8ctG(a),op_d7ASUq0ydm(op_ZJYqJlJGqs(698,b),op_XO3djLyJMK(b,b)))+op_count_F4P0y6XAQk(a,714)+op_count_SitrkTsx1P(a)
    else:
        count = op_count_KjrLlKX7GV(a)+op_count_ruCFZuNUwa(b)+op_count_XAx5wpdLa6(op_KjrLlKX7GV(a),op_ruCFZuNUwa(b))+op_count_OimsOu7twr(op_XAx5wpdLa6(op_KjrLlKX7GV(a),op_ruCFZuNUwa(b)))
    return count


def op_vRa8bAsGqv(a, b):
    if (op_0N1BchnEuL(b,579) <= 257 and op_WccB7VsUJn(a) != 174 and op_CqXKPLVYql(b) >= 13):
        return op_XvIobvOzEP(op_qG7zLWbgUK(b,b))
    else:
        return op_R035hG5bVd(op_XAY3Gwlcor(b,921),op_jDYCv5ONg6(a,b))

def op_count_vRa8bAsGqv(a, b):
    if (op_0N1BchnEuL(b,579) <= 257 and op_WccB7VsUJn(a) != 174 and op_CqXKPLVYql(b) >= 13):
        count = op_count_qG7zLWbgUK(b,b)+op_count_XvIobvOzEP(op_qG7zLWbgUK(b,b))+op_count_0N1BchnEuL(b,579)+op_count_WccB7VsUJn(a)+op_count_CqXKPLVYql(b)
    else:
        count = op_count_XAY3Gwlcor(b,921)+op_count_jDYCv5ONg6(a,b)+op_count_R035hG5bVd(op_XAY3Gwlcor(b,921),op_jDYCv5ONg6(a,b))
    return count


def op_tHnW0QPCB3(a):
    return op_QwQ0bohp01(op_Z8Yg6dlDSp(a))

def op_count_tHnW0QPCB3(a):
    count = op_count_Z8Yg6dlDSp(a)+op_count_QwQ0bohp01(op_Z8Yg6dlDSp(a))
    return count


def op_e8p6fEKqtN(a):
    return op_Utzb0HjIke(op_6y5rNZ8Vuy(op_QyT1usQeR4(a,22),op_hpqmaQFPrd(a)))

def op_count_e8p6fEKqtN(a):
    count = op_count_QyT1usQeR4(a,22)+op_count_hpqmaQFPrd(a)+op_count_6y5rNZ8Vuy(op_QyT1usQeR4(a,22),op_hpqmaQFPrd(a))+op_count_Utzb0HjIke(op_6y5rNZ8Vuy(op_QyT1usQeR4(a,22),op_hpqmaQFPrd(a)))
    return count


a∹⫟∝b = { ((a⊗⋊⇗b)⇪⋭) , if b!=45 ; (a⨟⋌⩍(a⪺⨮⩭a)) , else }

def op_OxFCrUY4NG(a, b):
    if b != 45:
        return op_Z8Yg6dlDSp(op_j6VZKFTxta(a,b))
    else:
        return op_rGHVDoGpnC(a,op_xnTr9QP4Ls(a,a))

def op_count_OxFCrUY4NG(a, b):
    if b != 45:
        count = op_count_j6VZKFTxta(a,b)+op_count_Z8Yg6dlDSp(op_j6VZKFTxta(a,b))
    else:
        count = op_count_xnTr9QP4Ls(a,a)+op_count_rGHVDoGpnC(a,op_xnTr9QP4Ls(a,a))
    return count


⇌⨮⪔a = { (((a⊫↳⇦a)⊱⪦)⫣((a⪱a)⇓⊀⋳(a≺⪤a))) }

def op_6jIKPoHdAD(a):
    return op_LJUzuYQJSf(op_dOLntULu1F(op_0pE9j4xUU7(a,a)),op_V9cNOZsTu7(op_Fw9FUhpJpC(a,a),op_Sr8YNAyyBy(a,a)))

def op_count_6jIKPoHdAD(a):
    count = op_count_0pE9j4xUU7(a,a)+op_count_dOLntULu1F(op_0pE9j4xUU7(a,a))+op_count_Fw9FUhpJpC(a,a)+op_count_Sr8YNAyyBy(a,a)+op_count_V9cNOZsTu7(op_Fw9FUhpJpC(a,a),op_Sr8YNAyyBy(a,a))+op_count_LJUzuYQJSf(op_dOLntULu1F(op_0pE9j4xUU7(a,a)),op_V9cNOZsTu7(op_Fw9FUhpJpC(a,a),op_Sr8YNAyyBy(a,a)))
    return count


a⪁∶⨌b = { ((38⫷b)⫲≮108) , if (b∘⊔)!=53 ; ((a⇗⋫)⇰⪁(↢≋↵a)) , else }

def op_G5PKD829FO(a, b):
    if op_rkvCqAjc6D(b) != 53:
        return op_3FKzo546dw(op_DD02tHBmow(38,b),108)
    else:
        return op_IiHovbkX1w(op_hpqmaQFPrd(a),op_FQm9LssSr7(a))

def op_count_G5PKD829FO(a, b):
    if op_rkvCqAjc6D(b) != 53:
        count = op_count_DD02tHBmow(38,b)+op_count_3FKzo546dw(op_DD02tHBmow(38,b),108)+op_count_rkvCqAjc6D(b)
    else:
        count = op_count_hpqmaQFPrd(a)+op_count_FQm9LssSr7(a)+op_count_IiHovbkX1w(op_hpqmaQFPrd(a),op_FQm9LssSr7(a))
    return count


⇜⊳a = { (a≎⊢⩠a) , if (⪣⊏⇏a)==93 ; (a⩫⨔a) , else }

def op_6MdcA7v5gT(a):
    if op_0YTUWrQViJ(a) == 93:
        return op_xqjYqib2Xz(a,a)
    else:
        return op_2uO7qEltAa(a,a)

def op_count_6MdcA7v5gT(a):
    if op_0YTUWrQViJ(a) == 93:
        count = op_count_xqjYqib2Xz(a,a)+op_count_0YTUWrQViJ(a)
    else:
        count = op_count_2uO7qEltAa(a,a)
    return count


⨑≃⋭a = { (((534↭⪗a)⇏↜(a≃⨎a))⫉∜⋩) , if a==711 ; (((a⫢⇘∝a)⊦⫿a)⩢⊿∯) , else }

def op_ffA1HnH8CA(a):
    if a == 711:
        return op_2duuZjdUdY(op_bc776OU6aa(op_aLNRF0Pt4F(534,a),op_lQ3fYqgTA2(a,a)))
    else:
        return op_PaUxu3VAD0(op_SDn8KSi9Pk(op_4TVzEgIAOW(a,a),a))

def op_count_ffA1HnH8CA(a):
    if a == 711:
        count = op_count_aLNRF0Pt4F(534,a)+op_count_lQ3fYqgTA2(a,a)+op_count_bc776OU6aa(op_aLNRF0Pt4F(534,a),op_lQ3fYqgTA2(a,a))+op_count_2duuZjdUdY(op_bc776OU6aa(op_aLNRF0Pt4F(534,a),op_lQ3fYqgTA2(a,a)))
    else:
        count = op_count_4TVzEgIAOW(a,a)+op_count_SDn8KSi9Pk(op_4TVzEgIAOW(a,a),a)+op_count_PaUxu3VAD0(op_SDn8KSi9Pk(op_4TVzEgIAOW(a,a),a))
    return count


⫌⫌⇖a = { (((92≌∨a)↽∞(a⋦≾a))⇖⫠((a⫊⇚⊺a)⊀⨢(a∎⫲⩖a))) , if (a>=266 and (a≜⊺)==172) ; ((⇰(⪱≕⊎a))⇦⇕a) , else }

def op_Hdy5ag7s1Q(a):
    if (a >= 266 and op_LbNrfsApX1(a) == 172):
        return op_dsYFgWXyte(op_eUizPD1kq5(op_BRzjzC6jtL(92,a),op_sGKMNvIg50(a,a)),op_qabBOWcXus(op_Y5cEcQhyKu(a,a),op_D4e1cgsuJu(a,a)))
    else:
        return op_MiD56F0FLc(op_zc1INhisa1(op_zgUsEIwSkM(a)),a)

def op_count_Hdy5ag7s1Q(a):
    if (a >= 266 and op_LbNrfsApX1(a) == 172):
        count = op_count_BRzjzC6jtL(92,a)+op_count_sGKMNvIg50(a,a)+op_count_eUizPD1kq5(op_BRzjzC6jtL(92,a),op_sGKMNvIg50(a,a))+op_count_Y5cEcQhyKu(a,a)+op_count_D4e1cgsuJu(a,a)+op_count_qabBOWcXus(op_Y5cEcQhyKu(a,a),op_D4e1cgsuJu(a,a))+op_count_dsYFgWXyte(op_eUizPD1kq5(op_BRzjzC6jtL(92,a),op_sGKMNvIg50(a,a)),op_qabBOWcXus(op_Y5cEcQhyKu(a,a),op_D4e1cgsuJu(a,a)))+op_count_LbNrfsApX1(a)
    else:
        count = op_count_zgUsEIwSkM(a)+op_count_zc1INhisa1(op_zgUsEIwSkM(a))+op_count_MiD56F0FLc(op_zc1INhisa1(op_zgUsEIwSkM(a)),a)
    return count


def op_QPOTYlzvoc(a):
    return op_4X9JU4Jbn6(op_pf0uqpgSkL(a))

def op_count_QPOTYlzvoc(a):
    count = op_count_pf0uqpgSkL(a)+op_count_4X9JU4Jbn6(op_pf0uqpgSkL(a))
    return count


def op_XfgxpkABjJ(a, b):
    return op_ZudQkqJPAX(op_GigY1hfIYu(b,b),op_fp9lZ9ehPv(b,a))

def op_count_XfgxpkABjJ(a, b):
    count = op_count_GigY1hfIYu(b,b)+op_count_fp9lZ9ehPv(b,a)+op_count_ZudQkqJPAX(op_GigY1hfIYu(b,b),op_fp9lZ9ehPv(b,a))
    return count


a⩜⊛⪠b = { (b⋿≌(239⋏↰⫪b)) , if (⋼⋜≘b)!=143 or b!=562 or (b∧)>=133 ; ((⪤a)⪞⇇(b⨯⇏⪊b)) , else }

def op_uHfVTDqq8d(a, b):
    if op_NjGMwpyDaG(b) != 143 or b != 562 or op_z63VuFQld9(b) >= 133:
        return op_OmMtHYPvwT(b,op_SKwOfwr7qx(239,b))
    else:
        return op_VP5j3Cbanc(op_sgAhpeloD6(a),op_rHWsv9TdNf(b,b))

def op_count_uHfVTDqq8d(a, b):
    if op_NjGMwpyDaG(b) != 143 or b != 562 or op_z63VuFQld9(b) >= 133:
        count = op_count_SKwOfwr7qx(239,b)+op_count_OmMtHYPvwT(b,op_SKwOfwr7qx(239,b))+op_count_NjGMwpyDaG(b)+op_count_z63VuFQld9(b)
    else:
        count = op_count_sgAhpeloD6(a)+op_count_rHWsv9TdNf(b,b)+op_count_VP5j3Cbanc(op_sgAhpeloD6(a),op_rHWsv9TdNf(b,b))
    return count


def op_neImAlHONt(a, b):
    return op_fjtdNEKGtt(op_WIqUFij8FB(a),op_FWz7pXsQhA(b))

def op_count_neImAlHONt(a, b):
    count = op_count_WIqUFij8FB(a)+op_count_FWz7pXsQhA(b)+op_count_fjtdNEKGtt(op_WIqUFij8FB(a),op_FWz7pXsQhA(b))
    return count


def op_DqjNyxTvyu(a):
    return op_ouUxIuCFBI(op_B5M0gjZbta(a,a))

def op_count_DqjNyxTvyu(a):
    count = op_count_B5M0gjZbta(a,a)+op_count_ouUxIuCFBI(op_B5M0gjZbta(a,a))
    return count


def op_eMoFJwcarR(a, b):
    return op_IkUmn0D7oy(op_qO3m3EJotg(a,b))

def op_count_eMoFJwcarR(a, b):
    count = op_count_qO3m3EJotg(a,b)+op_count_IkUmn0D7oy(op_qO3m3EJotg(a,b))
    return count


a⪬⫚⪳ = { (((⪾⪫a)⫉∜⋩)⨑⫡((a⪶↣a)⊰∟⫒(a↛⋛⪬a))) , if (a⊂∤)<406 ; (((a↮⨸⨚a)∮∓∵(⇃⩟167))⊞⊺⋓(⇀⇞(a⪳∈⋴117))) , else }

def op_pvdoBvbFlj(a):
    if op_Nz2E2qpr8g(a) < 406:
        return op_hy4PdIL0lw(op_2duuZjdUdY(op_vFgX83MrL4(a)),op_AEiy6t5Ykg(op_QstX2XvNns(a,a),op_vClBxk37di(a,a)))
    else:
        return op_meJysGTcxJ(op_esdkHLTfky(op_qUdDiQCoDi(a,a),op_fSUgO6gmlu(167)),op_vjoXiXDdkX(op_eA2Rn72fZY(a,117)))

def op_count_pvdoBvbFlj(a):
    if op_Nz2E2qpr8g(a) < 406:
        count = op_count_vFgX83MrL4(a)+op_count_2duuZjdUdY(op_vFgX83MrL4(a))+op_count_QstX2XvNns(a,a)+op_count_vClBxk37di(a,a)+op_count_AEiy6t5Ykg(op_QstX2XvNns(a,a),op_vClBxk37di(a,a))+op_count_hy4PdIL0lw(op_2duuZjdUdY(op_vFgX83MrL4(a)),op_AEiy6t5Ykg(op_QstX2XvNns(a,a),op_vClBxk37di(a,a)))+op_count_Nz2E2qpr8g(a)
    else:
        count = op_count_qUdDiQCoDi(a,a)+op_count_fSUgO6gmlu(167)+op_count_esdkHLTfky(op_qUdDiQCoDi(a,a),op_fSUgO6gmlu(167))+op_count_eA2Rn72fZY(a,117)+op_count_vjoXiXDdkX(op_eA2Rn72fZY(a,117))+op_count_meJysGTcxJ(op_esdkHLTfky(op_qUdDiQCoDi(a,a),op_fSUgO6gmlu(167)),op_vjoXiXDdkX(op_eA2Rn72fZY(a,117)))
    return count


⫚⇯⩲a = { (((72⪫⫨⩂a)⪗⪦⨯(a⋖⪺+a))⪥⨬⪅) , if ((a⋨≳⪨)>334 or (⋊⪳⋄a)>=481) ; (((a⊡⫷⨳a)⨑⩅≇(a∑⇒))↮≩((a⋘∈≪a)⇁(⨍∴⇏a))) , else }

def op_ApPZ2rtqwJ(a):
    if (op_5XZti1rSw1(a) > 334 or op_6XS5R8JCT1(a) >= 481):
        return op_zNRQejTB5A(op_C6huvSECWb(op_H87BKiGC8Y(72,a),op_xbJbJbSYo4(a,a)))
    else:
        return op_iajtp5ldcM(op_h92wMvzauj(op_dcf6jBEETk(a,a),op_0DNOxQ4GCZ(a)),op_z4ujcxYYss(op_6D7H7aCHmB(a,a),op_FEZDWGORxE(a)))

def op_count_ApPZ2rtqwJ(a):
    if (op_5XZti1rSw1(a) > 334 or op_6XS5R8JCT1(a) >= 481):
        count = op_count_H87BKiGC8Y(72,a)+op_count_xbJbJbSYo4(a,a)+op_count_C6huvSECWb(op_H87BKiGC8Y(72,a),op_xbJbJbSYo4(a,a))+op_count_zNRQejTB5A(op_C6huvSECWb(op_H87BKiGC8Y(72,a),op_xbJbJbSYo4(a,a)))+op_count_5XZti1rSw1(a)+op_count_6XS5R8JCT1(a)
    else:
        count = op_count_dcf6jBEETk(a,a)+op_count_0DNOxQ4GCZ(a)+op_count_h92wMvzauj(op_dcf6jBEETk(a,a),op_0DNOxQ4GCZ(a))+op_count_6D7H7aCHmB(a,a)+op_count_FEZDWGORxE(a)+op_count_z4ujcxYYss(op_6D7H7aCHmB(a,a),op_FEZDWGORxE(a))+op_count_iajtp5ldcM(op_h92wMvzauj(op_dcf6jBEETk(a,a),op_0DNOxQ4GCZ(a)),op_z4ujcxYYss(op_6D7H7aCHmB(a,a),op_FEZDWGORxE(a)))
    return count


def op_n6eLFXGg0B(a, b):
    return op_HK0tfVPux8(op_7I9wGcgl6g(op_9rNHCbYvka(b,b)),op_n178FrgV5J(op_4X9JU4Jbn6(a),a))

def op_count_n6eLFXGg0B(a, b):
    count = op_count_9rNHCbYvka(b,b)+op_count_7I9wGcgl6g(op_9rNHCbYvka(b,b))+op_count_4X9JU4Jbn6(a)+op_count_n178FrgV5J(op_4X9JU4Jbn6(a),a)+op_count_HK0tfVPux8(op_7I9wGcgl6g(op_9rNHCbYvka(b,b)),op_n178FrgV5J(op_4X9JU4Jbn6(a),a))
    return count


def op_xA2YduN7st(a):
    if op_jvFvQ1wJBO(a) >= 3 or op_sJTBqRh1mM(a) > 203:
        return op_XvIobvOzEP(a)
    else:
        return op_BUs8mdHAyi(114,a)

def op_count_xA2YduN7st(a):
    if op_jvFvQ1wJBO(a) >= 3 or op_sJTBqRh1mM(a) > 203:
        count = op_count_XvIobvOzEP(a)+op_count_jvFvQ1wJBO(a)+op_count_sJTBqRh1mM(a)
    else:
        count = op_count_BUs8mdHAyi(114,a)
    return count


def op_JvFqBLtcNG(a):
    return op_Sjuc9qqcuM(op_GMFhbk3k8M(a),op_Dk6V8i6EvU(a,a))

def op_count_JvFqBLtcNG(a):
    count = op_count_GMFhbk3k8M(a)+op_count_Dk6V8i6EvU(a,a)+op_count_Sjuc9qqcuM(op_GMFhbk3k8M(a),op_Dk6V8i6EvU(a,a))
    return count


def op_WqHI8e58Hn(a):
    if a >= 263:
        return op_8UWfUf6RpI(a)
    else:
        return op_hpqmaQFPrd(435)

def op_count_WqHI8e58Hn(a):
    if a >= 263:
        count = op_count_8UWfUf6RpI(a)
    else:
        count = op_count_hpqmaQFPrd(435)
    return count


def op_oNnDvOBO5P(a):
    if a >= 157:
        return op_KvvgdUaMHJ(a)
    else:
        return a

def op_count_oNnDvOBO5P(a):
    if a >= 157:
        count = op_count_KvvgdUaMHJ(a)
    else:
        count = 1
    return count


def op_huyxVsPNd6(a):
    if op_wrkABtkkQk(a,684) >= 450:
        return op_HOs11gFUaq(op_4VWYPRYUty(a,a),op_DK6VLJQKIG(a,325))
    else:
        return op_5GqDbVmqXU(op_Wog75QgrPw(a,a))

def op_count_huyxVsPNd6(a):
    if op_wrkABtkkQk(a,684) >= 450:
        count = op_count_4VWYPRYUty(a,a)+op_count_DK6VLJQKIG(a,325)+op_count_HOs11gFUaq(op_4VWYPRYUty(a,a),op_DK6VLJQKIG(a,325))+op_count_wrkABtkkQk(a,684)
    else:
        count = op_count_Wog75QgrPw(a,a)+op_count_5GqDbVmqXU(op_Wog75QgrPw(a,a))
    return count


def op_oaFKe9FVxI(a):
    return op_oAxwVu4h2T(op_M79hUXQlnf(a,a))

def op_count_oaFKe9FVxI(a):
    count = op_count_M79hUXQlnf(a,a)+op_count_oAxwVu4h2T(op_M79hUXQlnf(a,a))
    return count


⋄⊲∻a = { 5 , if (a⩬)<=5 and a>29 ; (a⩍↜⊄a) , else }

def op_rlXXHVr7Ke(a):
    if op_q4LUFz6CpC(a) <= 5 and a > 29:
        return 5
    else:
        return op_vqMs4v2zd9(a,a)

def op_count_rlXXHVr7Ke(a):
    if op_q4LUFz6CpC(a) <= 5 and a > 29:
        count = op_count_q4LUFz6CpC(a)
    else:
        count = op_count_vqMs4v2zd9(a,a)
    return count


def op_45TQwv7l59(a):
    return op_fp9lZ9ehPv(a,a)

def op_count_45TQwv7l59(a):
    count = op_count_fp9lZ9ehPv(a,a)
    return count


a⊶≽⪃b = { (((a⪲⊿⊌b)⨑⩝(a⨄∪565))⩔⋺∉((a⋍⋺b)∀↭⫰(a⩘⨬⇊))) }

def op_uDnO4p9xrC(a, b):
    return op_fH6KmAs7VO(op_XKadCV7SnD(op_phFTzdxDV7(a,b),op_uz3GelrGYC(a,565)),op_2muwgCqbmH(op_rW0uBYiax0(a,b),op_XXmTpEpWTW(a)))

def op_count_uDnO4p9xrC(a, b):
    count = op_count_phFTzdxDV7(a,b)+op_count_uz3GelrGYC(a,565)+op_count_XKadCV7SnD(op_phFTzdxDV7(a,b),op_uz3GelrGYC(a,565))+op_count_rW0uBYiax0(a,b)+op_count_XXmTpEpWTW(a)+op_count_2muwgCqbmH(op_rW0uBYiax0(a,b),op_XXmTpEpWTW(a))+op_count_fH6KmAs7VO(op_XKadCV7SnD(op_phFTzdxDV7(a,b),op_uz3GelrGYC(a,565)),op_2muwgCqbmH(op_rW0uBYiax0(a,b),op_XXmTpEpWTW(a)))
    return count


def op_1MATIUf2Fx(a, b):
    if (op_yxiS2IFDsO(a) == 71 or a <= 717):
        return op_cKMGO6HN71(271)
    else:
        return op_2duuZjdUdY(b)

def op_count_1MATIUf2Fx(a, b):
    if (op_yxiS2IFDsO(a) == 71 or a <= 717):
        count = op_count_cKMGO6HN71(271)+op_count_yxiS2IFDsO(a)
    else:
        count = op_count_2duuZjdUdY(b)
    return count


↼⨏⪳a = { ((56⊞a)⇓⊀⋳(a⊚⫌369)) , if (a⪪≶⊡)>8 ; (⩙∪⨐(a⫭∄)) , else }

def op_dcahOCudd1(a):
    if op_bFMCj3X5uq(a) > 8:
        return op_V9cNOZsTu7(op_15v7IodGk2(56,a),op_gSB9CMo1tN(a,369))
    else:
        return op_9KnANRFJl3(op_9knWTddxAL(a))

def op_count_dcahOCudd1(a):
    if op_bFMCj3X5uq(a) > 8:
        count = op_count_15v7IodGk2(56,a)+op_count_gSB9CMo1tN(a,369)+op_count_V9cNOZsTu7(op_15v7IodGk2(56,a),op_gSB9CMo1tN(a,369))+op_count_bFMCj3X5uq(a)
    else:
        count = op_count_9knWTddxAL(a)+op_count_9KnANRFJl3(op_9knWTddxAL(a))
    return count


a⫞⋗⇻b = { (b⇗⋫) , if ((b⪩⋛890)>=592 or (∬⇩a)>38) ; (b⇻↝⨫b) , else }

def op_837XeIGaG6(a, b):
    if (op_nyIe7nPnk9(b,890) >= 592 or op_W9FTkIePxi(a) > 38):
        return op_hpqmaQFPrd(b)
    else:
        return op_KKpDBDP0a1(b,b)

def op_count_837XeIGaG6(a, b):
    if (op_nyIe7nPnk9(b,890) >= 592 or op_W9FTkIePxi(a) > 38):
        count = op_count_hpqmaQFPrd(b)+op_count_nyIe7nPnk9(b,890)+op_count_W9FTkIePxi(a)
    else:
        count = op_count_KKpDBDP0a1(b,b)
    return count


a⇙⊀⊲b = { (((a≐⩧a)⋆⫊(b⊗⩛b))↕⋲((17⨚⩏↽44)⇃↿)) }

def op_3si6v4rxCB(a, b):
    return op_4fBBH5YYk9(op_yR0nB6c4Cl(op_T49sLqm3Na(a,a),op_ZuEtOFAVcg(b,b)),op_HRk3UwFOL9(op_Cxiv5RLK5O(17,44)))

def op_count_3si6v4rxCB(a, b):
    count = op_count_T49sLqm3Na(a,a)+op_count_ZuEtOFAVcg(b,b)+op_count_yR0nB6c4Cl(op_T49sLqm3Na(a,a),op_ZuEtOFAVcg(b,b))+op_count_Cxiv5RLK5O(17,44)+op_count_HRk3UwFOL9(op_Cxiv5RLK5O(17,44))+op_count_4fBBH5YYk9(op_yR0nB6c4Cl(op_T49sLqm3Na(a,a),op_ZuEtOFAVcg(b,b)),op_HRk3UwFOL9(op_Cxiv5RLK5O(17,44)))
    return count


def op_MwLXZy297b(a):
    if op_1Ozlt4kVTJ(a,855) <= 651:
        return a
    else:
        return op_BnmjcH64ep(op_XIFOzKCdcS(100,a),op_SUjycxNXIR(155))

def op_count_MwLXZy297b(a):
    if op_1Ozlt4kVTJ(a,855) <= 651:
        count = 1
    else:
        count = op_count_XIFOzKCdcS(100,a)+op_count_SUjycxNXIR(155)+op_count_BnmjcH64ep(op_XIFOzKCdcS(100,a),op_SUjycxNXIR(155))
    return count


⪃⩤⩿a = { (a⋧⫖∥) , if (a⨒⪷)>146 ; (a⨬↞a) , else }

def op_th6c2SobC2(a):
    if op_KyVz9wbwCq(a) > 146:
        return op_GMFhbk3k8M(a)
    else:
        return op_Gdaqu1gMph(a,a)

def op_count_th6c2SobC2(a):
    if op_KyVz9wbwCq(a) > 146:
        count = op_count_GMFhbk3k8M(a)+op_count_KyVz9wbwCq(a)
    else:
        count = op_count_Gdaqu1gMph(a,a)
    return count


def op_VB14j8KLmr(a):
    return op_WAegT8i1n4(op_OrCGT1jGGR(a,154),op_4n53wtyJvv(a))

def op_count_VB14j8KLmr(a):
    count = op_count_OrCGT1jGGR(a,154)+op_count_4n53wtyJvv(a)+op_count_WAegT8i1n4(op_OrCGT1jGGR(a,154),op_4n53wtyJvv(a))
    return count


a⇡⨶∞b = { ((∘⩕(b⋍⇥⫞a))⪭≯((a⊱←b)∭≱⪢(2⊏↗b))) }

def op_0IoATi4y1x(a, b):
    return op_XAx5wpdLa6(op_qmnm2YaJRp(op_x6jq9dVbvD(b,a)),op_PEDxqk51Tr(op_XqoI3XAs6w(a,b),op_DfPpNyVquf(2,b)))

def op_count_0IoATi4y1x(a, b):
    count = op_count_x6jq9dVbvD(b,a)+op_count_qmnm2YaJRp(op_x6jq9dVbvD(b,a))+op_count_XqoI3XAs6w(a,b)+op_count_DfPpNyVquf(2,b)+op_count_PEDxqk51Tr(op_XqoI3XAs6w(a,b),op_DfPpNyVquf(2,b))+op_count_XAx5wpdLa6(op_qmnm2YaJRp(op_x6jq9dVbvD(b,a)),op_PEDxqk51Tr(op_XqoI3XAs6w(a,b),op_DfPpNyVquf(2,b)))
    return count


a⋇↞↗ = { (((a≌a)⪪⋌(a⪞⫆a))↧⫃(⫡⊈(a⇿⊰a))) }

def op_1AlS1gpXRZ(a):
    return op_K6AsHvFZGJ(op_6y5rNZ8Vuy(op_lyWz822IDG(a,a),op_mdTgU5jPNV(a,a)),op_mRM1ryO8j1(op_ap3xiM279w(a,a)))

def op_count_1AlS1gpXRZ(a):
    count = op_count_lyWz822IDG(a,a)+op_count_mdTgU5jPNV(a,a)+op_count_6y5rNZ8Vuy(op_lyWz822IDG(a,a),op_mdTgU5jPNV(a,a))+op_count_ap3xiM279w(a,a)+op_count_mRM1ryO8j1(op_ap3xiM279w(a,a))+op_count_K6AsHvFZGJ(op_6y5rNZ8Vuy(op_lyWz822IDG(a,a),op_mdTgU5jPNV(a,a)),op_mRM1ryO8j1(op_ap3xiM279w(a,a)))
    return count


def op_RCycNnCysF(a, b):
    return op_zNRQejTB5A(op_Noy9b4xNXF(a,b))

def op_count_RCycNnCysF(a, b):
    count = op_count_Noy9b4xNXF(a,b)+op_count_zNRQejTB5A(op_Noy9b4xNXF(a,b))
    return count


a⪷⩧⨠b = { ((↰⇿a)⇸a) , if (a⇈↕)==508 ; ((34⨠↴b)≢⇇⩎a) , else }

def op_ZOA1WwHOsZ(a, b):
    if op_n9JeSdl2wB(a) == 508:
        return op_Kd4iD05TwA(op_GNrBevqJ2K(a),a)
    else:
        return op_podwzYvz0X(op_zStf3jvmdU(34,b),a)

def op_count_ZOA1WwHOsZ(a, b):
    if op_n9JeSdl2wB(a) == 508:
        count = op_count_GNrBevqJ2K(a)+op_count_Kd4iD05TwA(op_GNrBevqJ2K(a),a)+op_count_n9JeSdl2wB(a)
    else:
        count = op_count_zStf3jvmdU(34,b)+op_count_podwzYvz0X(op_zStf3jvmdU(34,b),a)
    return count


⇂⇏a = { ((a⩷⪩⊖(a⪒37))≽⇥((a⨓⫙⩬a)⇊⩃⋴(a≐⪀))) , if a<88 ; (⋾⨢(⫉(a↮⋫⪪a))) , else }

def op_Z0KWKmj7KR(a):
    if a < 88:
        return op_BFrWmtEzk6(op_eGV7a2KN6g(a,op_f6k1SAg4EE(a,37)),op_uA3r3M5hqH(op_fEBtCrdb6d(a,a),op_u4b2dqGghu(a)))
    else:
        return op_XdNqyszOnH(op_NajNryHj1W(op_xSE4zQdLy1(a,a)))

def op_count_Z0KWKmj7KR(a):
    if a < 88:
        count = op_count_f6k1SAg4EE(a,37)+op_count_eGV7a2KN6g(a,op_f6k1SAg4EE(a,37))+op_count_fEBtCrdb6d(a,a)+op_count_u4b2dqGghu(a)+op_count_uA3r3M5hqH(op_fEBtCrdb6d(a,a),op_u4b2dqGghu(a))+op_count_BFrWmtEzk6(op_eGV7a2KN6g(a,op_f6k1SAg4EE(a,37)),op_uA3r3M5hqH(op_fEBtCrdb6d(a,a),op_u4b2dqGghu(a)))
    else:
        count = op_count_xSE4zQdLy1(a,a)+op_count_NajNryHj1W(op_xSE4zQdLy1(a,a))+op_count_XdNqyszOnH(op_NajNryHj1W(op_xSE4zQdLy1(a,a)))
    return count


def op_TYMBDb5Ma5(a, b):
    if op_F9Zfm1dsok(b,328) >= 437:
        return op_GKzrTPLY65(op_D309nIvmXG(op_5ESOiVPbEV(b,11)))
    else:
        return op_ne3ymXmP8e(op_FNfUIKSbyQ(op_fGDu59EtI5(a)),op_kVSeQakJeK(op_rxpJgHHUmx(654,a),op_hRVy312e02(a,a)))

def op_count_TYMBDb5Ma5(a, b):
    if op_F9Zfm1dsok(b,328) >= 437:
        count = op_count_5ESOiVPbEV(b,11)+op_count_D309nIvmXG(op_5ESOiVPbEV(b,11))+op_count_GKzrTPLY65(op_D309nIvmXG(op_5ESOiVPbEV(b,11)))+op_count_F9Zfm1dsok(b,328)
    else:
        count = op_count_fGDu59EtI5(a)+op_count_FNfUIKSbyQ(op_fGDu59EtI5(a))+op_count_rxpJgHHUmx(654,a)+op_count_hRVy312e02(a,a)+op_count_kVSeQakJeK(op_rxpJgHHUmx(654,a),op_hRVy312e02(a,a))+op_count_ne3ymXmP8e(op_FNfUIKSbyQ(op_fGDu59EtI5(a)),op_kVSeQakJeK(op_rxpJgHHUmx(654,a),op_hRVy312e02(a,a)))
    return count


a≟⪈↪b = { (((b⩀⋣)∢≢)⇎∏((≂⇦⊏403)∧)) , if (≞b)>=78 ; (b⋥≓≎((238≄a)∿⫑≎(a⩾↬b))) , else }

def op_rWK2kLjVjC(a, b):
    if op_qtJLMuGoc3(b) >= 78:
        return op_30rm44eTyo(op_t09ASzPfXr(op_yofmh8TXli(b)),op_z63VuFQld9(op_1t04p5JAHS(403)))
    else:
        return op_Qy55tPpLXF(b,op_ar1w6gUwHX(op_fLJG5zVr1z(238,a),op_Mok0FjNIvH(a,b)))

def op_count_rWK2kLjVjC(a, b):
    if op_qtJLMuGoc3(b) >= 78:
        count = op_count_yofmh8TXli(b)+op_count_t09ASzPfXr(op_yofmh8TXli(b))+op_count_1t04p5JAHS(403)+op_count_z63VuFQld9(op_1t04p5JAHS(403))+op_count_30rm44eTyo(op_t09ASzPfXr(op_yofmh8TXli(b)),op_z63VuFQld9(op_1t04p5JAHS(403)))+op_count_qtJLMuGoc3(b)
    else:
        count = op_count_fLJG5zVr1z(238,a)+op_count_Mok0FjNIvH(a,b)+op_count_ar1w6gUwHX(op_fLJG5zVr1z(238,a),op_Mok0FjNIvH(a,b))+op_count_Qy55tPpLXF(b,op_ar1w6gUwHX(op_fLJG5zVr1z(238,a),op_Mok0FjNIvH(a,b)))
    return count


a∰⊜⫘ = { ((a↛⊍a)⨰≰87) , if (a⨔⪫476)>=221 ; ((a⨑⇘⪧a)⨵⪥⨑(⊳⩹a)) , else }

def op_ZGMaCLOwcA(a):
    if op_YeqGfToepn(a,476) >= 221:
        return op_H7ACzx2Kvt(op_v678MvRNNJ(a,a),87)
    else:
        return op_Kep1ax30Fl(op_Oowe2FJHs2(a,a),op_XvIobvOzEP(a))

def op_count_ZGMaCLOwcA(a):
    if op_YeqGfToepn(a,476) >= 221:
        count = op_count_v678MvRNNJ(a,a)+op_count_H7ACzx2Kvt(op_v678MvRNNJ(a,a),87)+op_count_YeqGfToepn(a,476)
    else:
        count = op_count_Oowe2FJHs2(a,a)+op_count_XvIobvOzEP(a)+op_count_Kep1ax30Fl(op_Oowe2FJHs2(a,a),op_XvIobvOzEP(a))
    return count


⫊↼a = { ((⇫⪽⪉(⪿⫞a))⨓↚((a⪶⨾a)≟⪯(a≑∩⫼a))) , if (a⪌⨺↜252)>134 ; (((a⫟⩃)↔⩊↦(a≪⨫a))⇆⨓≜) , else }

def op_IUbvrM9g8Z(a):
    if op_YZ4iizfuOA(a,252) > 134:
        return op_YLJhMbTGGW(op_XcoZvXFTaY(op_fiyr0jWrCc(a)),op_Z0MOmZBEvh(op_3FoScNMFmy(a,a),op_99YtDRanc6(a,a)))
    else:
        return op_KvvgdUaMHJ(op_M2TiddxMZg(op_h6STQQN81o(a),op_w30Z8TZG8s(a,a)))

def op_count_IUbvrM9g8Z(a):
    if op_YZ4iizfuOA(a,252) > 134:
        count = op_count_fiyr0jWrCc(a)+op_count_XcoZvXFTaY(op_fiyr0jWrCc(a))+op_count_3FoScNMFmy(a,a)+op_count_99YtDRanc6(a,a)+op_count_Z0MOmZBEvh(op_3FoScNMFmy(a,a),op_99YtDRanc6(a,a))+op_count_YLJhMbTGGW(op_XcoZvXFTaY(op_fiyr0jWrCc(a)),op_Z0MOmZBEvh(op_3FoScNMFmy(a,a),op_99YtDRanc6(a,a)))+op_count_YZ4iizfuOA(a,252)
    else:
        count = op_count_h6STQQN81o(a)+op_count_w30Z8TZG8s(a,a)+op_count_M2TiddxMZg(op_h6STQQN81o(a),op_w30Z8TZG8s(a,a))+op_count_KvvgdUaMHJ(op_M2TiddxMZg(op_h6STQQN81o(a),op_w30Z8TZG8s(a,a)))
    return count


a⊆∧↹b = { (((a⇂≩b)⇃↿)∕⩚((b⨟a)⪔≤(b⋬≫135))) }

def op_uXh8SFOC2D(a, b):
    return op_z9ffQ9n5Zr(op_HRk3UwFOL9(op_WsTqe5jfIH(a,b)),op_dnsoz1tpAU(op_AU7BrOWeXc(b,a),op_XVpBsECZVK(b,135)))

def op_count_uXh8SFOC2D(a, b):
    count = op_count_WsTqe5jfIH(a,b)+op_count_HRk3UwFOL9(op_WsTqe5jfIH(a,b))+op_count_AU7BrOWeXc(b,a)+op_count_XVpBsECZVK(b,135)+op_count_dnsoz1tpAU(op_AU7BrOWeXc(b,a),op_XVpBsECZVK(b,135))+op_count_z9ffQ9n5Zr(op_HRk3UwFOL9(op_WsTqe5jfIH(a,b)),op_dnsoz1tpAU(op_AU7BrOWeXc(b,a),op_XVpBsECZVK(b,135)))
    return count


⫁↷a = { (((a⫑⋡a)⨇⩊↔(a⩫⨒a))↼⇙⨌((⨈⫕a)⪶⨾(a≱∛a))) }

def op_Z3EGoXOOdE(a):
    return op_rMifWJgd3t(op_RR9T5AuQ1T(op_fBv0GnY1At(a,a),op_2FSIlumXX8(a,a)),op_3FoScNMFmy(op_megm06wKyl(a),op_qFXstJKlZD(a,a)))

def op_count_Z3EGoXOOdE(a):
    count = op_count_fBv0GnY1At(a,a)+op_count_2FSIlumXX8(a,a)+op_count_RR9T5AuQ1T(op_fBv0GnY1At(a,a),op_2FSIlumXX8(a,a))+op_count_megm06wKyl(a)+op_count_qFXstJKlZD(a,a)+op_count_3FoScNMFmy(op_megm06wKyl(a),op_qFXstJKlZD(a,a))+op_count_rMifWJgd3t(op_RR9T5AuQ1T(op_fBv0GnY1At(a,a),op_2FSIlumXX8(a,a)),op_3FoScNMFmy(op_megm06wKyl(a),op_qFXstJKlZD(a,a)))
    return count


def op_sKtmpJnFUN(a, b):
    return op_78bqUfsprq(op_hJhozpRboY(op_NvEvKO2R8S(b,b)),a)

def op_count_sKtmpJnFUN(a, b):
    count = op_count_NvEvKO2R8S(b,b)+op_count_hJhozpRboY(op_NvEvKO2R8S(b,b))+op_count_78bqUfsprq(op_hJhozpRboY(op_NvEvKO2R8S(b,b)),a)
    return count


a⇸⊵↕b = { (((a⫗⊷⫓b)⇒⪫(468⪎⨈b))∽⫫⊬(⨁⨴b)) }

def op_hIwSznfbmL(a, b):
    return op_NPE338n0HM(op_1nNvNtr5EF(op_zashukvMKz(a,b),op_PTuWOAQI59(468,b)),op_VWDfLP0KP3(b))

def op_count_hIwSznfbmL(a, b):
    count = op_count_zashukvMKz(a,b)+op_count_PTuWOAQI59(468,b)+op_count_1nNvNtr5EF(op_zashukvMKz(a,b),op_PTuWOAQI59(468,b))+op_count_VWDfLP0KP3(b)+op_count_NPE338n0HM(op_1nNvNtr5EF(op_zashukvMKz(a,b),op_PTuWOAQI59(468,b)),op_VWDfLP0KP3(b))
    return count


a↗∡b = { (((%⫽⩖b)≥≧↭(b↙⇲a))≃⋸((b≲b)⩍⪍(b⩄∠⩟))) , if (⨄⪷a)>202 ; (((b⫳≱↱a)⨌(a⪈⋧))⇡⨐⪆((a⩒⩋b)⊿⇬211)) , else }

def op_Gnp79wnrY0(a, b):
    if op_JwF0D0CCIg(a) > 202:
        return op_6RH3pnjgqk(op_9uqIsVI5ug(op_h6xJg9npwH(b),op_8zaAVCxu8i(b,a)),op_e2FY0kGFxN(op_C6qVvj5REB(b,b),op_ZsTN7hvPwQ(b)))
    else:
        return op_snJ4WsMDae(op_YdvuPOw6Zp(op_ZvLB05nZmT(b,a),op_NoQppzo5s6(a)),op_smamKrpOxY(op_v3p230vbm5(a,b),211))

def op_count_Gnp79wnrY0(a, b):
    if op_JwF0D0CCIg(a) > 202:
        count = op_count_h6xJg9npwH(b)+op_count_8zaAVCxu8i(b,a)+op_count_9uqIsVI5ug(op_h6xJg9npwH(b),op_8zaAVCxu8i(b,a))+op_count_C6qVvj5REB(b,b)+op_count_ZsTN7hvPwQ(b)+op_count_e2FY0kGFxN(op_C6qVvj5REB(b,b),op_ZsTN7hvPwQ(b))+op_count_6RH3pnjgqk(op_9uqIsVI5ug(op_h6xJg9npwH(b),op_8zaAVCxu8i(b,a)),op_e2FY0kGFxN(op_C6qVvj5REB(b,b),op_ZsTN7hvPwQ(b)))+op_count_JwF0D0CCIg(a)
    else:
        count = op_count_ZvLB05nZmT(b,a)+op_count_NoQppzo5s6(a)+op_count_YdvuPOw6Zp(op_ZvLB05nZmT(b,a),op_NoQppzo5s6(a))+op_count_v3p230vbm5(a,b)+op_count_smamKrpOxY(op_v3p230vbm5(a,b),211)+op_count_snJ4WsMDae(op_YdvuPOw6Zp(op_ZvLB05nZmT(b,a),op_NoQppzo5s6(a)),op_smamKrpOxY(op_v3p230vbm5(a,b),211))
    return count


∏⋿⨾a = { ((a⨐⩸⫘a)≧⩷) , if (a⨾∙≹)>84 ; ((34⇗⋫)⩟⇛⊂(312≟⫹a)) , else }

def op_cOcnhkbAu9(a):
    if op_4001miwxf9(a) > 84:
        return op_5VvkOHeiPJ(op_fu6greOZ01(a,a))
    else:
        return op_QT3sqWOBfx(op_hpqmaQFPrd(34),op_z2JHNkvbdm(312,a))

def op_count_cOcnhkbAu9(a):
    if op_4001miwxf9(a) > 84:
        count = op_count_fu6greOZ01(a,a)+op_count_5VvkOHeiPJ(op_fu6greOZ01(a,a))+op_count_4001miwxf9(a)
    else:
        count = op_count_hpqmaQFPrd(34)+op_count_z2JHNkvbdm(312,a)+op_count_QT3sqWOBfx(op_hpqmaQFPrd(34),op_z2JHNkvbdm(312,a))
    return count


a⪜⩿b = { (((∔⋴b)⊏⩂a)⨗⇋⨽((a⩄∠⩟)⇢⊝(b⫊5))) }

def op_K55BWvKqfc(a, b):
    return op_rwFLrzFFpG(op_K22rD7vRpP(op_mTpCXz1iPs(b),a),op_jjWaUAHHEA(op_ZsTN7hvPwQ(a),op_uPjn7n5pli(b,5)))

def op_count_K55BWvKqfc(a, b):
    count = op_count_mTpCXz1iPs(b)+op_count_K22rD7vRpP(op_mTpCXz1iPs(b),a)+op_count_ZsTN7hvPwQ(a)+op_count_uPjn7n5pli(b,5)+op_count_jjWaUAHHEA(op_ZsTN7hvPwQ(a),op_uPjn7n5pli(b,5))+op_count_rwFLrzFFpG(op_K22rD7vRpP(op_mTpCXz1iPs(b),a),op_jjWaUAHHEA(op_ZsTN7hvPwQ(a),op_uPjn7n5pli(b,5)))
    return count


a⩉⩭b = { (⪴⋶(⨃∩⇫a)) , if (b⫪*33)==568 ; ((a⫗⊍a)⇍⊗(⨍↵a)) , else }

def op_8j9tvFMAIl(a, b):
    if op_oGFKVj26dB(b,33) == 568:
        return op_3EzLc2iFEa(op_ySZRlUEdJc(a))
    else:
        return op_5uvYHDjeKN(op_9848CK854r(a,a),op_gNtKED3RKN(a))

def op_count_8j9tvFMAIl(a, b):
    if op_oGFKVj26dB(b,33) == 568:
        count = op_count_ySZRlUEdJc(a)+op_count_3EzLc2iFEa(op_ySZRlUEdJc(a))+op_count_oGFKVj26dB(b,33)
    else:
        count = op_count_9848CK854r(a,a)+op_count_gNtKED3RKN(a)+op_count_5uvYHDjeKN(op_9848CK854r(a,a),op_gNtKED3RKN(a))
    return count


def op_in7TjmS1jB(a):
    return op_nV04iLk7Bg(op_e8qZvFDIOm(op_HnzytWxmAO(50,a)),op_exzyYvvvzF(a,op_Kd4iD05TwA(374,a)))

def op_count_in7TjmS1jB(a):
    count = op_count_HnzytWxmAO(50,a)+op_count_e8qZvFDIOm(op_HnzytWxmAO(50,a))+op_count_Kd4iD05TwA(374,a)+op_count_exzyYvvvzF(a,op_Kd4iD05TwA(374,a))+op_count_nV04iLk7Bg(op_e8qZvFDIOm(op_HnzytWxmAO(50,a)),op_exzyYvvvzF(a,op_Kd4iD05TwA(374,a)))
    return count


a⋸⊤b = { (((a⨣⩄⋪a)⩄∠⩟)∳⪵⩞((b⇂≩14)⫂⋷(b⊔%a))) }

def op_4Ep02CORZv(a, b):
    return op_jN33Ps9R0w(op_ZsTN7hvPwQ(op_P61xNvXJCL(a,a)),op_cqe5JS8r4F(op_WsTqe5jfIH(b,14),op_uysxUYN2L2(b,a)))

def op_count_4Ep02CORZv(a, b):
    count = op_count_P61xNvXJCL(a,a)+op_count_ZsTN7hvPwQ(op_P61xNvXJCL(a,a))+op_count_WsTqe5jfIH(b,14)+op_count_uysxUYN2L2(b,a)+op_count_cqe5JS8r4F(op_WsTqe5jfIH(b,14),op_uysxUYN2L2(b,a))+op_count_jN33Ps9R0w(op_ZsTN7hvPwQ(op_P61xNvXJCL(a,a)),op_cqe5JS8r4F(op_WsTqe5jfIH(b,14),op_uysxUYN2L2(b,a)))
    return count


a↫∙⩃b = { (⨀a) , if (b⨾∥)>19 ; (a⪂↸a) , else }

def op_Kw9sVQ3sAT(a, b):
    if op_6WFUAG7TdB(b) > 19:
        return op_XizqdzG9LG(a)
    else:
        return op_ZIgapHiLMw(a,a)

def op_count_Kw9sVQ3sAT(a, b):
    if op_6WFUAG7TdB(b) > 19:
        count = op_count_XizqdzG9LG(a)+op_count_6WFUAG7TdB(b)
    else:
        count = op_count_ZIgapHiLMw(a,a)
    return count


a⪥⨴%b = { (b⇺⇾∭a) , if (a⨤⩞)==504 ; (b⩍↜⊄57) , else }

def op_VyY8cP5uAN(a, b):
    if op_K37fP5ODka(a) == 504:
        return op_NGAnFqtOri(b,a)
    else:
        return op_vqMs4v2zd9(b,57)

def op_count_VyY8cP5uAN(a, b):
    if op_K37fP5ODka(a) == 504:
        count = op_count_NGAnFqtOri(b,a)+op_count_K37fP5ODka(a)
    else:
        count = op_count_vqMs4v2zd9(b,57)
    return count


a⩦≝ = { (⨛(28⩇↘a)) , if (a⩅897)<9 ; ((a⋀⊅⨬a)∪≡a) , else }

def op_lZuy57NRKR(a):
    if op_WHvsDZpt7Z(a,897) < 9:
        return op_CoMdbyAt7R(op_xc52gjKyDD(28,a))
    else:
        return op_IdpAe6zfUM(op_4VWYPRYUty(a,a),a)

def op_count_lZuy57NRKR(a):
    if op_WHvsDZpt7Z(a,897) < 9:
        count = op_count_xc52gjKyDD(28,a)+op_count_CoMdbyAt7R(op_xc52gjKyDD(28,a))+op_count_WHvsDZpt7Z(a,897)
    else:
        count = op_count_4VWYPRYUty(a,a)+op_count_IdpAe6zfUM(op_4VWYPRYUty(a,a),a)
    return count


a⪸⋛⋕b = { ((34⋲→a)⫙⪢(4∑∪∷)) , if (⊿⫐⩢a)<=6 ; ((b⊠⇯b)⫝√(b⩚⋩556)) , else }

def op_ANoKljj0Xo(a, b):
    if op_ncxV4Xuvl3(a) <= 6:
        return op_4WiZHdYfGJ(op_nBgmWpGUqG(34,a),op_VSucKG8bi6(4))
    else:
        return op_h9SYvkAopU(op_3H1LgMeZyw(b,b),op_VGTZPjlT06(b,556))

def op_count_ANoKljj0Xo(a, b):
    if op_ncxV4Xuvl3(a) <= 6:
        count = op_count_nBgmWpGUqG(34,a)+op_count_VSucKG8bi6(4)+op_count_4WiZHdYfGJ(op_nBgmWpGUqG(34,a),op_VSucKG8bi6(4))+op_count_ncxV4Xuvl3(a)
    else:
        count = op_count_3H1LgMeZyw(b,b)+op_count_VGTZPjlT06(b,556)+op_count_h9SYvkAopU(op_3H1LgMeZyw(b,b),op_VGTZPjlT06(b,556))
    return count


a≫∨↨b = { (a↓∂⫆a) , if (≔⩏⇻b)<426 ; (⊊≼∋a) , else }

def op_fgXPaA7XH2(a, b):
    if op_51mZ4XRfqV(b) < 426:
        return op_UO7sojQx20(a,a)
    else:
        return op_FWz7pXsQhA(a)

def op_count_fgXPaA7XH2(a, b):
    if op_51mZ4XRfqV(b) < 426:
        count = op_count_UO7sojQx20(a,a)+op_count_51mZ4XRfqV(b)
    else:
        count = op_count_FWz7pXsQhA(a)
    return count


a⨛⊕ = { (a⨖⇷a) , if (⋤≝⫚a)>274 ; (a⪓⨏) , else }

def op_QkTogYHMSN(a):
    if op_r4uCHgZyzG(a) > 274:
        return op_JoVwyMeNnt(a,a)
    else:
        return op_4X9JU4Jbn6(a)

def op_count_QkTogYHMSN(a):
    if op_r4uCHgZyzG(a) > 274:
        count = op_count_JoVwyMeNnt(a,a)+op_count_r4uCHgZyzG(a)
    else:
        count = op_count_4X9JU4Jbn6(a)
    return count


a⊸⫭b = { (⇺⪔⩬b) , if (b>712 or (b⋦⋎↙)>=522) ; (a∧) , else }

def op_v8pAtuAcxw(a, b):
    if (b > 712 or op_v5Qrqh3LtL(b) >= 522):
        return op_lAOUD4ZMWV(b)
    else:
        return op_z63VuFQld9(a)

def op_count_v8pAtuAcxw(a, b):
    if (b > 712 or op_v5Qrqh3LtL(b) >= 522):
        count = op_count_lAOUD4ZMWV(b)+op_count_v5Qrqh3LtL(b)
    else:
        count = op_count_z63VuFQld9(a)
    return count


a⊨≙⪩ = { (a⪭≯a) , if a<=509 or (∲↸a)!=295 ; (a⫐≩a) , else }

def op_VqL7obfLWY(a):
    if a <= 509 or op_dNJ0VLDcvh(a) != 295:
        return op_XAx5wpdLa6(a,a)
    else:
        return op_RDbMZWh2v2(a,a)

def op_count_VqL7obfLWY(a):
    if a <= 509 or op_dNJ0VLDcvh(a) != 295:
        count = op_count_XAx5wpdLa6(a,a)+op_count_dNJ0VLDcvh(a)
    else:
        count = op_count_RDbMZWh2v2(a,a)
    return count


def op_fs9v0cIAs0(a):
    return op_glenQ1xDvR(op_Uaa54Peajs(a),op_GihdubVxvG(op_d7HenOggZb(a,a)))

def op_count_fs9v0cIAs0(a):
    count = op_count_Uaa54Peajs(a)+op_count_d7HenOggZb(a,a)+op_count_GihdubVxvG(op_d7HenOggZb(a,a))+op_count_glenQ1xDvR(op_Uaa54Peajs(a),op_GihdubVxvG(op_d7HenOggZb(a,a)))
    return count


def op_Lq68GFXLzA(a, b):
    if op_uqXAVwhw3J(a,241) >= 677:
        return op_lyWz822IDG(b,318)
    else:
        return op_szI9a73H0x(b,b)

def op_count_Lq68GFXLzA(a, b):
    if op_uqXAVwhw3J(a,241) >= 677:
        count = op_count_lyWz822IDG(b,318)+op_count_uqXAVwhw3J(a,241)
    else:
        count = op_count_szI9a73H0x(b,b)
    return count


a∯⫵⨟b = { (((a∦⫥a)⩤⪫(⩧a))⫸⋀⪒(⊖⊸(⇊⇄⫋a))) , if b==11 ; (b≤⋿((449⊘)⨃⪡⫖(a⨺⪞⪏a))) , else }

def op_1SmR4SaXeO(a, b):
    if b == 11:
        return op_fp9lZ9ehPv(op_XAY3Gwlcor(op_uyJxqxx1bA(a,a),op_HPslF4Wa5g(a)),op_XqFDMJBrt3(op_cGDxHP7JUJ(a)))
    else:
        return op_GWoGfTTeeI(b,op_Ow7SWM2pqT(op_gu96TGCTMs(449),op_tNf708WLYo(a,a)))

def op_count_1SmR4SaXeO(a, b):
    if b == 11:
        count = op_count_uyJxqxx1bA(a,a)+op_count_HPslF4Wa5g(a)+op_count_XAY3Gwlcor(op_uyJxqxx1bA(a,a),op_HPslF4Wa5g(a))+op_count_cGDxHP7JUJ(a)+op_count_XqFDMJBrt3(op_cGDxHP7JUJ(a))+op_count_fp9lZ9ehPv(op_XAY3Gwlcor(op_uyJxqxx1bA(a,a),op_HPslF4Wa5g(a)),op_XqFDMJBrt3(op_cGDxHP7JUJ(a)))
    else:
        count = op_count_gu96TGCTMs(449)+op_count_tNf708WLYo(a,a)+op_count_Ow7SWM2pqT(op_gu96TGCTMs(449),op_tNf708WLYo(a,a))+op_count_GWoGfTTeeI(b,op_Ow7SWM2pqT(op_gu96TGCTMs(449),op_tNf708WLYo(a,a)))
    return count


def op_NHvR1D5Qox(a):
    if (op_GXZxp3Erot(a,800) == 243 or op_rYtFH0JGBA(a) <= 195 or a > 560):
        return op_gDiZ5yZybD(a,op_yMixD7ucMB(a,a))
    else:
        return op_23RZ8Drpas(op_IkUmn0D7oy(a))

def op_count_NHvR1D5Qox(a):
    if (op_GXZxp3Erot(a,800) == 243 or op_rYtFH0JGBA(a) <= 195 or a > 560):
        count = op_count_yMixD7ucMB(a,a)+op_count_gDiZ5yZybD(a,op_yMixD7ucMB(a,a))+op_count_GXZxp3Erot(a,800)+op_count_rYtFH0JGBA(a)
    else:
        count = op_count_IkUmn0D7oy(a)+op_count_23RZ8Drpas(op_IkUmn0D7oy(a))
    return count


a⪂≴ = { (((⋔⩰⊂457)⊷(↯⪼a))⇙≖(⫁⫍⩼(a⩌⫰⩃a))) }

def op_jXhVKP5gqt(a):
    return op_UcOohO8Yx2(op_M79hUXQlnf(op_WhRel0j9dh(457),op_8jW3W4yZS5(a)),op_t0HF9KJGmM(op_Qkdmijf3a6(a,a)))

def op_count_jXhVKP5gqt(a):
    count = op_count_WhRel0j9dh(457)+op_count_8jW3W4yZS5(a)+op_count_M79hUXQlnf(op_WhRel0j9dh(457),op_8jW3W4yZS5(a))+op_count_Qkdmijf3a6(a,a)+op_count_t0HF9KJGmM(op_Qkdmijf3a6(a,a))+op_count_UcOohO8Yx2(op_M79hUXQlnf(op_WhRel0j9dh(457),op_8jW3W4yZS5(a)),op_t0HF9KJGmM(op_Qkdmijf3a6(a,a)))
    return count


def op_oYklYszAZ3(a):
    if a == 44:
        return op_megm06wKyl(247)
    else:
        return op_wUMGGCA6kW(240,332)

def op_count_oYklYszAZ3(a):
    if a == 44:
        count = op_count_megm06wKyl(247)
    else:
        count = op_count_wUMGGCA6kW(240,332)
    return count


a⋦≎⫝ = { (((a⇝↝⩳55)⇤(a⋹⨛⇥a))∘⫓) , if a!=7 ; ((a⫔⇒(a≀⇧≷a))⪓⨏) , else }

def op_ygAiZq91tG(a):
    if a != 7:
        return op_Y6NpPLRYrx(op_YSKBFp38Pu(op_4d38oB9bqe(a,55),op_EV9swbq3TP(a,a)))
    else:
        return op_4X9JU4Jbn6(op_xolZLAALD1(a,op_wd0AOQMDWk(a,a)))

def op_count_ygAiZq91tG(a):
    if a != 7:
        count = op_count_4d38oB9bqe(a,55)+op_count_EV9swbq3TP(a,a)+op_count_YSKBFp38Pu(op_4d38oB9bqe(a,55),op_EV9swbq3TP(a,a))+op_count_Y6NpPLRYrx(op_YSKBFp38Pu(op_4d38oB9bqe(a,55),op_EV9swbq3TP(a,a)))
    else:
        count = op_count_wd0AOQMDWk(a,a)+op_count_xolZLAALD1(a,op_wd0AOQMDWk(a,a))+op_count_4X9JU4Jbn6(op_xolZLAALD1(a,op_wd0AOQMDWk(a,a)))
    return count


def op_66xXLD0Cie(a, b):
    if op_qrkhgCXcSQ(a) != 84:
        return op_Fw9FUhpJpC(op_4XKlyKzzXk(a,294),op_4X9JU4Jbn6(b))
    else:
        return op_aEZ9JgCP8a(op_OKKcZfAt5B(368,a),op_pw9FOgV8Xd(a,388))

def op_count_66xXLD0Cie(a, b):
    if op_qrkhgCXcSQ(a) != 84:
        count = op_count_4XKlyKzzXk(a,294)+op_count_4X9JU4Jbn6(b)+op_count_Fw9FUhpJpC(op_4XKlyKzzXk(a,294),op_4X9JU4Jbn6(b))+op_count_qrkhgCXcSQ(a)
    else:
        count = op_count_OKKcZfAt5B(368,a)+op_count_pw9FOgV8Xd(a,388)+op_count_aEZ9JgCP8a(op_OKKcZfAt5B(368,a),op_pw9FOgV8Xd(a,388))
    return count


a⊋⩶⇈b = { b , if (a⩴⫳340)>275 ; ((a⋉b)⫗⊷⫓(a∗⫦⨲b)) , else }

def op_CAkOOyqETd(a, b):
    if op_rn31iNPEz6(a,340) > 275:
        return b
    else:
        return op_zashukvMKz(op_Lctt7tVaRL(a,b),op_4zhs1Pu9yK(a,b))

def op_count_CAkOOyqETd(a, b):
    if op_rn31iNPEz6(a,340) > 275:
        count = 1
    else:
        count = op_count_Lctt7tVaRL(a,b)+op_count_4zhs1Pu9yK(a,b)+op_count_zashukvMKz(op_Lctt7tVaRL(a,b),op_4zhs1Pu9yK(a,b))
    return count


def op_NLaVw5Q5os(a):
    return op_Zv1svuggWB(a,op_xoJmIySC7h(op_NajNryHj1W(174),a))

def op_count_NLaVw5Q5os(a):
    count = op_count_NajNryHj1W(174)+op_count_xoJmIySC7h(op_NajNryHj1W(174),a)+op_count_Zv1svuggWB(a,op_xoJmIySC7h(op_NajNryHj1W(174),a))
    return count


def op_2bcv2EBMAh(a):
    return op_lyWz822IDG(op_2GQrsJBuJP(a,a),op_M0Gz8A1nx3(758,597))

def op_count_2bcv2EBMAh(a):
    count = op_count_2GQrsJBuJP(a,a)+op_count_M0Gz8A1nx3(758,597)+op_count_lyWz822IDG(op_2GQrsJBuJP(a,a),op_M0Gz8A1nx3(758,597))
    return count


a≺⇚b = { ((a⋋≺⨥b)⫧⋃≅(b≮∼b)) , if (a↾⨓⪻)<=332 or b<=623 or (a≞⋀⪁)>71 ; ((277⇘⋴255)⊾⪍⇠(⊽b)) , else }

def op_ukYawB8IPS(a, b):
    if op_XqNoo3pneC(a) <= 332 or b <= 623 or op_NjO3Tj3M80(a) > 71:
        return op_rJlMWXggw2(op_roCjotLmxt(a,b),op_Y2DHHefjzz(b,b))
    else:
        return op_ZRQRDfrpkZ(op_jGfH5UPFW6(277,255),op_QxG7OkqoLX(b))

def op_count_ukYawB8IPS(a, b):
    if op_XqNoo3pneC(a) <= 332 or b <= 623 or op_NjO3Tj3M80(a) > 71:
        count = op_count_roCjotLmxt(a,b)+op_count_Y2DHHefjzz(b,b)+op_count_rJlMWXggw2(op_roCjotLmxt(a,b),op_Y2DHHefjzz(b,b))+op_count_XqNoo3pneC(a)+op_count_NjO3Tj3M80(a)
    else:
        count = op_count_jGfH5UPFW6(277,255)+op_count_QxG7OkqoLX(b)+op_count_ZRQRDfrpkZ(op_jGfH5UPFW6(277,255),op_QxG7OkqoLX(b))
    return count


a⊫≷ = { ((a⫉⊍≷13)⊑∙a) , if a!=332 ; ((≻→↸a)⇪∗⨴(∆∛a)) , else }

def op_XBTi1WFeTC(a):
    if a != 332:
        return op_vomVLQX1UC(op_KCQC7vSPgj(a,13),a)
    else:
        return op_xb2YpVd57y(op_qziKOL4PS6(a),op_8H9XrCch6l(a))

def op_count_XBTi1WFeTC(a):
    if a != 332:
        count = op_count_KCQC7vSPgj(a,13)+op_count_vomVLQX1UC(op_KCQC7vSPgj(a,13),a)
    else:
        count = op_count_qziKOL4PS6(a)+op_count_8H9XrCch6l(a)+op_count_xb2YpVd57y(op_qziKOL4PS6(a),op_8H9XrCch6l(a))
    return count


def op_L218DNkOge(a, b):
    return op_gIEBy3Ykr1(op_2duuZjdUdY(121),op_Fue4ErCFXP(a,b))

def op_count_L218DNkOge(a, b):
    count = op_count_2duuZjdUdY(121)+op_count_Fue4ErCFXP(a,b)+op_count_gIEBy3Ykr1(op_2duuZjdUdY(121),op_Fue4ErCFXP(a,b))
    return count


def op_7uywMUrKrQ(a):
    if (a == 278 or op_frUONFVpe5(a,956) > 213):
        return op_265LmWy1dS(op_mfGmyP772u(op_WHvsDZpt7Z(a,a)),op_tdtqYdqRBy(op_Vo2B4cwqRB(216,a),op_3tVxb0NHM4(a,a)))
    else:
        return op_J6P3rkRUj0(op_XbEkhYNcJE(a,op_HoQJGHBAQx(a,397)),op_UP83abds7r(op_ZsTN7hvPwQ(a)))

def op_count_7uywMUrKrQ(a):
    if (a == 278 or op_frUONFVpe5(a,956) > 213):
        count = op_count_WHvsDZpt7Z(a,a)+op_count_mfGmyP772u(op_WHvsDZpt7Z(a,a))+op_count_Vo2B4cwqRB(216,a)+op_count_3tVxb0NHM4(a,a)+op_count_tdtqYdqRBy(op_Vo2B4cwqRB(216,a),op_3tVxb0NHM4(a,a))+op_count_265LmWy1dS(op_mfGmyP772u(op_WHvsDZpt7Z(a,a)),op_tdtqYdqRBy(op_Vo2B4cwqRB(216,a),op_3tVxb0NHM4(a,a)))+op_count_frUONFVpe5(a,956)
    else:
        count = op_count_HoQJGHBAQx(a,397)+op_count_XbEkhYNcJE(a,op_HoQJGHBAQx(a,397))+op_count_ZsTN7hvPwQ(a)+op_count_UP83abds7r(op_ZsTN7hvPwQ(a))+op_count_J6P3rkRUj0(op_XbEkhYNcJE(a,op_HoQJGHBAQx(a,397)),op_UP83abds7r(op_ZsTN7hvPwQ(a)))
    return count


∯⊖a = { (((≮a)⫮(a⫴⩥a))∁⋳⪺((a≺∘a)⇊(a∉∍))) }

def op_TxuGzrPCU4(a):
    return op_g7zzq0G4Xr(op_vwdxqpDU32(op_bVRrhJZyGv(a),op_gilLJ3AUiP(a,a)),op_8h2Ofp3S4L(op_Xa5HQBL7Gp(a,a),op_CmQe8vlJtP(a)))

def op_count_TxuGzrPCU4(a):
    count = op_count_bVRrhJZyGv(a)+op_count_gilLJ3AUiP(a,a)+op_count_vwdxqpDU32(op_bVRrhJZyGv(a),op_gilLJ3AUiP(a,a))+op_count_Xa5HQBL7Gp(a,a)+op_count_CmQe8vlJtP(a)+op_count_8h2Ofp3S4L(op_Xa5HQBL7Gp(a,a),op_CmQe8vlJtP(a))+op_count_g7zzq0G4Xr(op_vwdxqpDU32(op_bVRrhJZyGv(a),op_gilLJ3AUiP(a,a)),op_8h2Ofp3S4L(op_Xa5HQBL7Gp(a,a),op_CmQe8vlJtP(a)))
    return count


def op_Up3YGBSMJS(a, b):
    return op_fp9lZ9ehPv(op_5rlzCezVtB(b),op_FyJR5xKCm8(a,b))

def op_count_Up3YGBSMJS(a, b):
    count = op_count_5rlzCezVtB(b)+op_count_FyJR5xKCm8(a,b)+op_count_fp9lZ9ehPv(op_5rlzCezVtB(b),op_FyJR5xKCm8(a,b))
    return count


def op_CuUbMD8r24(a):
    if op_IWo0LBntRE(a) == 498:
        return 243
    else:
        return op_NajNryHj1W(op_SR5kFfdi6N(a,80))

def op_count_CuUbMD8r24(a):
    if op_IWo0LBntRE(a) == 498:
        count = op_count_IWo0LBntRE(a)
    else:
        count = op_count_SR5kFfdi6N(a,80)+op_count_NajNryHj1W(op_SR5kFfdi6N(a,80))
    return count


def op_Mb6Uo2rS61(a, b):
    if (b > 280 or op_1P5EUR2X7u(b) > 667 or op_21ob1huWpa(b,516) != 355):
        return op_KNYWTYjmhT(op_w1MtynkZx4(op_FwXU2ccSS8(b),op_qFXstJKlZD(b,a)))
    else:
        return op_n178FrgV5J(op_S7HAksyGYW(op_4X9JU4Jbn6(b),op_c4LGkIkziT(a,133)),op_CODSA30q8k(op_E1o5MFdtNP(b,a),op_YUijxPlj15(a,401)))

def op_count_Mb6Uo2rS61(a, b):
    if (b > 280 or op_1P5EUR2X7u(b) > 667 or op_21ob1huWpa(b,516) != 355):
        count = op_count_FwXU2ccSS8(b)+op_count_qFXstJKlZD(b,a)+op_count_w1MtynkZx4(op_FwXU2ccSS8(b),op_qFXstJKlZD(b,a))+op_count_KNYWTYjmhT(op_w1MtynkZx4(op_FwXU2ccSS8(b),op_qFXstJKlZD(b,a)))+op_count_1P5EUR2X7u(b)+op_count_21ob1huWpa(b,516)
    else:
        count = op_count_4X9JU4Jbn6(b)+op_count_c4LGkIkziT(a,133)+op_count_S7HAksyGYW(op_4X9JU4Jbn6(b),op_c4LGkIkziT(a,133))+op_count_E1o5MFdtNP(b,a)+op_count_YUijxPlj15(a,401)+op_count_CODSA30q8k(op_E1o5MFdtNP(b,a),op_YUijxPlj15(a,401))+op_count_n178FrgV5J(op_S7HAksyGYW(op_4X9JU4Jbn6(b),op_c4LGkIkziT(a,133)),op_CODSA30q8k(op_E1o5MFdtNP(b,a),op_YUijxPlj15(a,401)))
    return count


a⪭⋎⋔b = { (((⫾⩓⋭38)∳⫺(a↳⨴⫋b))⨭⋉(⫟⊘≑(⩾-⋯708))) , if ((a⫇⩮∙)<=709 or (a⨯⫐)==572 or (⇝⩢a)!=1) ; (((≉⩂⇺b)⋡a)⪞⩻⫦((a⩢⫌b)⫗⊷⫓b)) , else }

def op_1TVAL4m3t4(a, b):
    if (op_FusMwf9CEL(a) <= 709 or op_rAoQIM5poM(a) == 572 or op_WqJCMpgySM(a) != 1):
        return op_oUjunzriDa(op_AzXXKTstlj(op_3XOHfUkwXZ(38),op_bars6Y1s1I(a,b)),op_HRCQ8rqs77(op_YEzmam5oPs(708)))
    else:
        return op_dShKswRZS2(op_aZYNwA0vxh(op_Ky07d51fS4(b),a),op_zashukvMKz(op_8dZLBg44dN(a,b),b))

def op_count_1TVAL4m3t4(a, b):
    if (op_FusMwf9CEL(a) <= 709 or op_rAoQIM5poM(a) == 572 or op_WqJCMpgySM(a) != 1):
        count = op_count_3XOHfUkwXZ(38)+op_count_bars6Y1s1I(a,b)+op_count_AzXXKTstlj(op_3XOHfUkwXZ(38),op_bars6Y1s1I(a,b))+op_count_YEzmam5oPs(708)+op_count_HRCQ8rqs77(op_YEzmam5oPs(708))+op_count_oUjunzriDa(op_AzXXKTstlj(op_3XOHfUkwXZ(38),op_bars6Y1s1I(a,b)),op_HRCQ8rqs77(op_YEzmam5oPs(708)))+op_count_FusMwf9CEL(a)+op_count_rAoQIM5poM(a)+op_count_WqJCMpgySM(a)
    else:
        count = op_count_Ky07d51fS4(b)+op_count_aZYNwA0vxh(op_Ky07d51fS4(b),a)+op_count_8dZLBg44dN(a,b)+op_count_zashukvMKz(op_8dZLBg44dN(a,b),b)+op_count_dShKswRZS2(op_aZYNwA0vxh(op_Ky07d51fS4(b),a),op_zashukvMKz(op_8dZLBg44dN(a,b),b))
    return count


def op_zcG8IOCbpD(a):
    if op_BXBuq9lyFC(a,558) >= 517:
        return op_9oRFW4UxXC(op_7sDzKfGRLI(op_wO0oqSbddX(348,a),op_7j4O788W3g(a,a)))
    else:
        return op_CJQMSuANdj(op_FZMmiP4vxN(91,op_k8jYdgA6NY(a,a)),185)

def op_count_zcG8IOCbpD(a):
    if op_BXBuq9lyFC(a,558) >= 517:
        count = op_count_wO0oqSbddX(348,a)+op_count_7j4O788W3g(a,a)+op_count_7sDzKfGRLI(op_wO0oqSbddX(348,a),op_7j4O788W3g(a,a))+op_count_9oRFW4UxXC(op_7sDzKfGRLI(op_wO0oqSbddX(348,a),op_7j4O788W3g(a,a)))+op_count_BXBuq9lyFC(a,558)
    else:
        count = op_count_k8jYdgA6NY(a,a)+op_count_FZMmiP4vxN(91,op_k8jYdgA6NY(a,a))+op_count_CJQMSuANdj(op_FZMmiP4vxN(91,op_k8jYdgA6NY(a,a)),185)
    return count


def op_aVnO08WicD(a):
    return op_inkyxCbjAn(op_LDvJLkMovV(op_PdXgBgzzRn(111),op_qUzyPcz3G4(139,a)))

def op_count_aVnO08WicD(a):
    count = op_count_PdXgBgzzRn(111)+op_count_qUzyPcz3G4(139,a)+op_count_LDvJLkMovV(op_PdXgBgzzRn(111),op_qUzyPcz3G4(139,a))+op_count_inkyxCbjAn(op_LDvJLkMovV(op_PdXgBgzzRn(111),op_qUzyPcz3G4(139,a)))
    return count

qUzyPcz3G4 LDvJLkMovV inkyxCbjAn PdXgBgzzRn


⨙⪯⨩a = { (280⇪⋭) , if a==1 ; (a⪚a) , else }

def op_44kkgqQIT0(a):
    if a == 1:
        return op_Z8Yg6dlDSp(280)
    else:
        return op_HrjLwUk87U(a,a)

def op_count_44kkgqQIT0(a):
    if a == 1:
        count = op_count_Z8Yg6dlDSp(280)
    else:
        count = op_count_HrjLwUk87U(a,a)
    return count


def op_GLibEqn9Dv(a):
    return op_M79hUXQlnf(op_J3paS0Hf4p(42),op_csP1NBikjX(a,a))

def op_count_GLibEqn9Dv(a):
    count = op_count_J3paS0Hf4p(42)+op_count_csP1NBikjX(a,a)+op_count_M79hUXQlnf(op_J3paS0Hf4p(42),op_csP1NBikjX(a,a))
    return count


⇈⩇a = { (((a⋛∼⫝̸)≞⊜⊃(a≘↜a))⋴⇒⩪((a↨⫓)⩘⨬⇊)) }

def op_rH2tF3jhTy(a):
    return op_ydJmeWyvU7(op_0rRutzN8mZ(op_y8WkMkRpra(a),op_L4QKcwJRKF(a,a)),op_XXmTpEpWTW(op_iM8QWI0ref(a)))

def op_count_rH2tF3jhTy(a):
    count = op_count_y8WkMkRpra(a)+op_count_L4QKcwJRKF(a,a)+op_count_0rRutzN8mZ(op_y8WkMkRpra(a),op_L4QKcwJRKF(a,a))+op_count_iM8QWI0ref(a)+op_count_XXmTpEpWTW(op_iM8QWI0ref(a))+op_count_ydJmeWyvU7(op_0rRutzN8mZ(op_y8WkMkRpra(a),op_L4QKcwJRKF(a,a)),op_XXmTpEpWTW(op_iM8QWI0ref(a)))
    return count


a⪿↾⪱b = { (((b⊳≒≽b)⩏≛↟(a⪀↓a))⋼∇∷(⇆↴(b∌⫆a))) , if (a⫩⊇)!=269 ; (⊊≼∋((b⨯≫⊾44)⇆⇯b)) , else }

def op_IxBRlpJjOE(a, b):
    if op_BjRHVeLaeN(a) != 269:
        return op_gj2K54ysNi(op_Tk0QX8wo8A(op_3Ue7iHGqyA(b,b),op_Ss6GwJf70J(a,a)),op_LenHm9WsXc(op_jdrn0ppNe9(b,a)))
    else:
        return op_FWz7pXsQhA(op_BvUOHliOJ6(op_3Nwa8gVjpX(b,44),b))

def op_count_IxBRlpJjOE(a, b):
    if op_BjRHVeLaeN(a) != 269:
        count = op_count_3Ue7iHGqyA(b,b)+op_count_Ss6GwJf70J(a,a)+op_count_Tk0QX8wo8A(op_3Ue7iHGqyA(b,b),op_Ss6GwJf70J(a,a))+op_count_jdrn0ppNe9(b,a)+op_count_LenHm9WsXc(op_jdrn0ppNe9(b,a))+op_count_gj2K54ysNi(op_Tk0QX8wo8A(op_3Ue7iHGqyA(b,b),op_Ss6GwJf70J(a,a)),op_LenHm9WsXc(op_jdrn0ppNe9(b,a)))+op_count_BjRHVeLaeN(a)
    else:
        count = op_count_3Nwa8gVjpX(b,44)+op_count_BvUOHliOJ6(op_3Nwa8gVjpX(b,44),b)+op_count_FWz7pXsQhA(op_BvUOHliOJ6(op_3Nwa8gVjpX(b,44),b))
    return count


a∜⊲⪻b = { ((∈⨅⪻(b⊁⪁∏a))⩋⩃-((b⊍⪇a)∏∽(⨁⨴b))) }

def op_HQxBVb6XE1(a, b):
    return op_PQ5jInepzR(op_GsN1cH954R(op_NRyasOrsb7(b,a)),op_6tQRFKEWKL(op_1KIUooOuPe(b,a),op_VWDfLP0KP3(b)))

def op_count_HQxBVb6XE1(a, b):
    count = op_count_NRyasOrsb7(b,a)+op_count_GsN1cH954R(op_NRyasOrsb7(b,a))+op_count_1KIUooOuPe(b,a)+op_count_VWDfLP0KP3(b)+op_count_6tQRFKEWKL(op_1KIUooOuPe(b,a),op_VWDfLP0KP3(b))+op_count_PQ5jInepzR(op_GsN1cH954R(op_NRyasOrsb7(b,a)),op_6tQRFKEWKL(op_1KIUooOuPe(b,a),op_VWDfLP0KP3(b)))
    return count


def op_KjNxT28bpg(a, b):
    return op_hpqmaQFPrd(op_x6jq9dVbvD(b,a))

def op_count_KjNxT28bpg(a, b):
    count = op_count_x6jq9dVbvD(b,a)+op_count_hpqmaQFPrd(op_x6jq9dVbvD(b,a))
    return count


def op_JX1Pb83LMg(a):
    if op_59igzFyhWz(a) < 191:
        return op_a4wu6RrqAP(op_T7LiYqMtiK(a,a),op_DRIDsgTGz3(802,324))
    else:
        return op_fo48eGTxLC(op_SUjycxNXIR(43),op_7AjaldEyf6(98,422))

def op_count_JX1Pb83LMg(a):
    if op_59igzFyhWz(a) < 191:
        count = op_count_T7LiYqMtiK(a,a)+op_count_DRIDsgTGz3(802,324)+op_count_a4wu6RrqAP(op_T7LiYqMtiK(a,a),op_DRIDsgTGz3(802,324))+op_count_59igzFyhWz(a)
    else:
        count = op_count_SUjycxNXIR(43)+op_count_7AjaldEyf6(98,422)+op_count_fo48eGTxLC(op_SUjycxNXIR(43),op_7AjaldEyf6(98,422))
    return count


def op_uyBza676AP(a):
    return op_Y8bsIgOLgX(op_OEiktesKRI(op_BDB2DfzOhS(a,a),op_megm06wKyl(171)))

def op_count_uyBza676AP(a):
    count = op_count_BDB2DfzOhS(a,a)+op_count_megm06wKyl(171)+op_count_OEiktesKRI(op_BDB2DfzOhS(a,a),op_megm06wKyl(171))+op_count_Y8bsIgOLgX(op_OEiktesKRI(op_BDB2DfzOhS(a,a),op_megm06wKyl(171)))
    return count


⊣⊺a = { (((a≱⨿≍a)⫂∏(380⋸⨴≀a))⊍⋬((704⊰⋡a)↽↳(⩩a))) }

def op_ufe4Lgx4UK(a):
    return op_uC1OCuP0T4(op_01leFtwrgg(op_BAhcMzLYu8(a,a),op_nCcCUYjEFk(380,a)),op_O2dvc4p6Kl(op_vjFqOupvX0(704,a),op_kMhfGuqI2H(a)))

def op_count_ufe4Lgx4UK(a):
    count = op_count_BAhcMzLYu8(a,a)+op_count_nCcCUYjEFk(380,a)+op_count_01leFtwrgg(op_BAhcMzLYu8(a,a),op_nCcCUYjEFk(380,a))+op_count_vjFqOupvX0(704,a)+op_count_kMhfGuqI2H(a)+op_count_O2dvc4p6Kl(op_vjFqOupvX0(704,a),op_kMhfGuqI2H(a))+op_count_uC1OCuP0T4(op_01leFtwrgg(op_BAhcMzLYu8(a,a),op_nCcCUYjEFk(380,a)),op_O2dvc4p6Kl(op_vjFqOupvX0(704,a),op_kMhfGuqI2H(a)))
    return count


def op_tkkxj6wHua(a):
    return op_RqrPlJkxDo(a,a)

def op_count_tkkxj6wHua(a):
    count = op_count_RqrPlJkxDo(a,a)
    return count


a⨸⨵b = { ((275⪞⇇a)↢⇡⪬(a∇⪺⋎a)) , if (⇴⩶⋸b)>70 ; a , else }

def op_3S2QoZKaxV(a, b):
    if op_qjOlvzq7E3(b) > 70:
        return op_x8gJv5z0tQ(op_VP5j3Cbanc(275,a),op_9evlFqtL7b(a,a))
    else:
        return a

def op_count_3S2QoZKaxV(a, b):
    if op_qjOlvzq7E3(b) > 70:
        count = op_count_VP5j3Cbanc(275,a)+op_count_9evlFqtL7b(a,a)+op_count_x8gJv5z0tQ(op_VP5j3Cbanc(275,a),op_9evlFqtL7b(a,a))+op_count_qjOlvzq7E3(b)
    else:
        count = 1
    return count


a↴↪ = { (332⩫⨔a) , if (≾⫎a)<479 ; (a∩⨓∍a) , else }

def op_KFgEvexIJM(a):
    if op_iunaX2OYic(a) < 479:
        return op_2uO7qEltAa(332,a)
    else:
        return op_USi4jNbo7q(a,a)

def op_count_KFgEvexIJM(a):
    if op_iunaX2OYic(a) < 479:
        count = op_count_2uO7qEltAa(332,a)+op_count_iunaX2OYic(a)
    else:
        count = op_count_USi4jNbo7q(a,a)
    return count


def op_PP4g3h6oef(a, b):
    return op_seBVGjDgw8(op_4ZyE98Jico(a,b),op_zgUsEIwSkM(a))

def op_count_PP4g3h6oef(a, b):
    count = op_count_4ZyE98Jico(a,b)+op_count_zgUsEIwSkM(a)+op_count_seBVGjDgw8(op_4ZyE98Jico(a,b),op_zgUsEIwSkM(a))
    return count


a⊂⫩⊱b = { (((∆⊬b)⊞⊺⋓(b⋬⨄a))↵⋃⫤((b⇷⋗b)⪿(b⇼↘⪽272))) }

def op_OQ3KBpCgMJ(a, b):
    return op_550BOtPxFu(op_meJysGTcxJ(op_O7qnFq89DT(b),op_iIYiXjcDWF(b,a)),op_lLg6KFppdz(op_MFRHkRtSmA(b,b),op_XHiEIDRUBl(b,272)))

def op_count_OQ3KBpCgMJ(a, b):
    count = op_count_O7qnFq89DT(b)+op_count_iIYiXjcDWF(b,a)+op_count_meJysGTcxJ(op_O7qnFq89DT(b),op_iIYiXjcDWF(b,a))+op_count_MFRHkRtSmA(b,b)+op_count_XHiEIDRUBl(b,272)+op_count_lLg6KFppdz(op_MFRHkRtSmA(b,b),op_XHiEIDRUBl(b,272))+op_count_550BOtPxFu(op_meJysGTcxJ(op_O7qnFq89DT(b),op_iIYiXjcDWF(b,a)),op_lLg6KFppdz(op_MFRHkRtSmA(b,b),op_XHiEIDRUBl(b,272)))
    return count


def op_S4eOm18JtW(a):
    if (op_PAFjRznPDq(a,764) != 252 or op_yp9CRaSDpl(a) >= 416):
        return op_ifvJ10rhcp(a,554)
    else:
        return op_bVRrhJZyGv(a)

def op_count_S4eOm18JtW(a):
    if (op_PAFjRznPDq(a,764) != 252 or op_yp9CRaSDpl(a) >= 416):
        count = op_count_ifvJ10rhcp(a,554)+op_count_PAFjRznPDq(a,764)+op_count_yp9CRaSDpl(a)
    else:
        count = op_count_bVRrhJZyGv(a)
    return count


a⨜⊯⩪b = { b , if b!=463 ; ((⊦⪽a)⇪⋭) , else }

def op_oehlAo2NKJ(a, b):
    if b != 463:
        return b
    else:
        return op_Z8Yg6dlDSp(op_80sRvZwr0R(a))

def op_count_oehlAo2NKJ(a, b):
    if b != 463:
        count = 1
    else:
        count = op_count_80sRvZwr0R(a)+op_count_Z8Yg6dlDSp(op_80sRvZwr0R(a))
    return count


def op_1sYySXAt0x(a):
    return op_3H1LgMeZyw(a,a)

def op_count_1sYySXAt0x(a):
    count = op_count_3H1LgMeZyw(a,a)
    return count


a⪳⩠⩝b = { (⪨↰(b⩅b)) , if ((b↡≇697)!=31 and (a⫮)<56) ; (⊡⨵(b⩫⨔b)) , else }

def op_rDQge1E4DZ(a, b):
    if (op_JNCR0seNDw(b,697) != 31 and op_f2PyOz23Sc(a) < 56):
        return op_blQ9vzDKd0(op_WHvsDZpt7Z(b,b))
    else:
        return op_tNSUXwYT8S(op_2uO7qEltAa(b,b))

def op_count_rDQge1E4DZ(a, b):
    if (op_JNCR0seNDw(b,697) != 31 and op_f2PyOz23Sc(a) < 56):
        count = op_count_WHvsDZpt7Z(b,b)+op_count_blQ9vzDKd0(op_WHvsDZpt7Z(b,b))+op_count_JNCR0seNDw(b,697)+op_count_f2PyOz23Sc(a)
    else:
        count = op_count_2uO7qEltAa(b,b)+op_count_tNSUXwYT8S(op_2uO7qEltAa(b,b))
    return count


def op_UkLEg3oKbZ(a):
    return op_MQjB2XFIYX(op_O7qnFq89DT(a),a)

def op_count_UkLEg3oKbZ(a):
    count = op_count_O7qnFq89DT(a)+op_count_MQjB2XFIYX(op_O7qnFq89DT(a),a)
    return count


≢≜⨀a = { (((⪌a)↖≺⇫(a⇕⫍a))⫟⪝((a⊃⊩⨼a)⪟⫙(⩂⩀a))) , if (a⩺⋐⫨)>=11 ; (↘≫⊸((a⪬≉a)⨘⋶⪀)) , else }

def op_UGZHEstcOe(a):
    if op_yS9ePUuUdn(a) >= 11:
        return op_RjlROH8OP1(op_rh14SKPVeV(op_zhcyjIpuZs(a),op_SVbYQ5zZTr(a,a)),op_KsnKn8I4DZ(op_zh6xVsAc2d(a,a),op_vHaazYf2iE(a)))
    else:
        return op_nnGqU0lB6x(op_XVKwrhznBb(op_403lqio1gV(a,a)))

def op_count_UGZHEstcOe(a):
    if op_yS9ePUuUdn(a) >= 11:
        count = op_count_zhcyjIpuZs(a)+op_count_SVbYQ5zZTr(a,a)+op_count_rh14SKPVeV(op_zhcyjIpuZs(a),op_SVbYQ5zZTr(a,a))+op_count_zh6xVsAc2d(a,a)+op_count_vHaazYf2iE(a)+op_count_KsnKn8I4DZ(op_zh6xVsAc2d(a,a),op_vHaazYf2iE(a))+op_count_RjlROH8OP1(op_rh14SKPVeV(op_zhcyjIpuZs(a),op_SVbYQ5zZTr(a,a)),op_KsnKn8I4DZ(op_zh6xVsAc2d(a,a),op_vHaazYf2iE(a)))+op_count_yS9ePUuUdn(a)
    else:
        count = op_count_403lqio1gV(a,a)+op_count_XVKwrhznBb(op_403lqio1gV(a,a))+op_count_nnGqU0lB6x(op_XVKwrhznBb(op_403lqio1gV(a,a)))
    return count


def op_UbMGyaP4JH(a):
    return op_XIIwhv8d0m(op_kYFPnnp2ry(36),op_WPoGxAaPR1(op_fXLvaTYCEu(a,a)))

def op_count_UbMGyaP4JH(a):
    count = op_count_kYFPnnp2ry(36)+op_count_fXLvaTYCEu(a,a)+op_count_WPoGxAaPR1(op_fXLvaTYCEu(a,a))+op_count_XIIwhv8d0m(op_kYFPnnp2ry(36),op_WPoGxAaPR1(op_fXLvaTYCEu(a,a)))
    return count


a⋓⫤b = { (((a∜a)⨥⩑⨢a)≰) , if (a⇺⨖711)<=49 ; (((b⋉⫍)⇖⋍(b⨣⨌b))≡((⨝⇱⩟b)≌a)) , else }

def op_97qOqySu7V(a, b):
    if op_pm9cx6Eqcm(a,711) <= 49:
        return op_5UorIKpPro(op_FSSPwwucrF(op_VX9aY244yz(a,a),a))
    else:
        return op_oW1cUEY5Sq(op_GQS1ilwEGl(op_qJ7yZLo5we(b),op_Dqjgu3tjia(b,b)),op_lyWz822IDG(op_21pyUcYko7(b),a))

def op_count_97qOqySu7V(a, b):
    if op_pm9cx6Eqcm(a,711) <= 49:
        count = op_count_VX9aY244yz(a,a)+op_count_FSSPwwucrF(op_VX9aY244yz(a,a),a)+op_count_5UorIKpPro(op_FSSPwwucrF(op_VX9aY244yz(a,a),a))+op_count_pm9cx6Eqcm(a,711)
    else:
        count = op_count_qJ7yZLo5we(b)+op_count_Dqjgu3tjia(b,b)+op_count_GQS1ilwEGl(op_qJ7yZLo5we(b),op_Dqjgu3tjia(b,b))+op_count_21pyUcYko7(b)+op_count_lyWz822IDG(op_21pyUcYko7(b),a)+op_count_oW1cUEY5Sq(op_GQS1ilwEGl(op_qJ7yZLo5we(b),op_Dqjgu3tjia(b,b)),op_lyWz822IDG(op_21pyUcYko7(b),a))
    return count


a⩔⇣b = { (⋂⪍⩆((a↸⋽⊴1)⪏∋(213⨠↴b))) , if (b⇠⩎)==73 ; ((⊾⨷(470≝⋺))⪟⫼((a⇍⊗b)⇿⋘⫿(74⫳∊a))) , else }

def op_oqsOl70i0x(a, b):
    if op_6fHIvV6xl0(b) == 73:
        return op_KCcU5IC0Jf(op_yD4OLUtLkA(op_9zMjbAiDwo(a,1),op_zStf3jvmdU(213,b)))
    else:
        return op_Lif1LrMNxJ(op_MHhX754Fnl(op_bVHWhkdu1k(470)),op_3pxRWyOFEM(op_5uvYHDjeKN(a,b),op_4Js5AZBv2W(74,a)))

def op_count_oqsOl70i0x(a, b):
    if op_6fHIvV6xl0(b) == 73:
        count = op_count_9zMjbAiDwo(a,1)+op_count_zStf3jvmdU(213,b)+op_count_yD4OLUtLkA(op_9zMjbAiDwo(a,1),op_zStf3jvmdU(213,b))+op_count_KCcU5IC0Jf(op_yD4OLUtLkA(op_9zMjbAiDwo(a,1),op_zStf3jvmdU(213,b)))+op_count_6fHIvV6xl0(b)
    else:
        count = op_count_bVHWhkdu1k(470)+op_count_MHhX754Fnl(op_bVHWhkdu1k(470))+op_count_5uvYHDjeKN(a,b)+op_count_4Js5AZBv2W(74,a)+op_count_3pxRWyOFEM(op_5uvYHDjeKN(a,b),op_4Js5AZBv2W(74,a))+op_count_Lif1LrMNxJ(op_MHhX754Fnl(op_bVHWhkdu1k(470)),op_3pxRWyOFEM(op_5uvYHDjeKN(a,b),op_4Js5AZBv2W(74,a)))
    return count


def op_ZignKt9gIk(a):
    if a >= 14:
        return op_yd3ne7Hlcq(op_UqUOXUQnbU(a,258),op_9oRFW4UxXC(a))
    else:
        return op_c4Jgcjuupe(op_0QFdjTDhaB(a,348),a)

def op_count_ZignKt9gIk(a):
    if a >= 14:
        count = op_count_UqUOXUQnbU(a,258)+op_count_9oRFW4UxXC(a)+op_count_yd3ne7Hlcq(op_UqUOXUQnbU(a,258),op_9oRFW4UxXC(a))
    else:
        count = op_count_0QFdjTDhaB(a,348)+op_count_c4Jgcjuupe(op_0QFdjTDhaB(a,348),a)
    return count


a↙⫎b = { (((b⇓⫳⨡a)⇃↿)↛⫒((a∌⫆b)↺⨡⋆(⊹⩝⩌a))) }

def op_IZjnvEinZu(a, b):
    return op_tLTU0hrBh2(op_HRk3UwFOL9(op_ELRoKZSYG1(b,a)),op_pnGoN4HH9c(op_jdrn0ppNe9(a,b),op_jb5QPTkwwK(a)))

def op_count_IZjnvEinZu(a, b):
    count = op_count_ELRoKZSYG1(b,a)+op_count_HRk3UwFOL9(op_ELRoKZSYG1(b,a))+op_count_jdrn0ppNe9(a,b)+op_count_jb5QPTkwwK(a)+op_count_pnGoN4HH9c(op_jdrn0ppNe9(a,b),op_jb5QPTkwwK(a))+op_count_tLTU0hrBh2(op_HRk3UwFOL9(op_ELRoKZSYG1(b,a)),op_pnGoN4HH9c(op_jdrn0ppNe9(a,b),op_jb5QPTkwwK(a)))
    return count


a⇜⫰⫵ = { ((39↤≣a)∳≍⊱) , if (∻↝⊨a)<=557 ; (∉⪞↑(a↼⇙⨌a)) , else }

def op_kVCVy2rQUt(a):
    if op_HM9ofUKDT9(a) <= 557:
        return op_cXLsWb8329(op_MeYs8TY2lN(39,a))
    else:
        return op_201wZPoWQs(op_rMifWJgd3t(a,a))

def op_count_kVCVy2rQUt(a):
    if op_HM9ofUKDT9(a) <= 557:
        count = op_count_MeYs8TY2lN(39,a)+op_count_cXLsWb8329(op_MeYs8TY2lN(39,a))+op_count_HM9ofUKDT9(a)
    else:
        count = op_count_rMifWJgd3t(a,a)+op_count_201wZPoWQs(op_rMifWJgd3t(a,a))
    return count


a∻⇕⩻b = { (((b⊁⫸⋮b)⊇⩗(⇱≆∔b))⩗⫗((b⋺⫬101)↬⨮⇲(a⩷∴259))) , if (⩎≅⪂a)!=55 ; (((b⫖⪽a)∛⇚∐(b∕⩚a))∮⇳⪂) , else }

def op_gKGKpseHtA(a, b):
    if op_sMYUOxfc2s(a) != 55:
        return op_Xw48T5MRcn(op_spjyGLfBHX(op_NcNb16HsFi(b,b),op_pdnvgaFT42(b)),op_8TJv5LDobx(op_N2CwLZHY2H(b,101),op_9FxExcQeMw(a,259)))
    else:
        return op_Zkf8ljKXC6(op_bjFwS5ygY2(op_UlIHxGcaIG(b,a),op_z9ffQ9n5Zr(b,a)))

def op_count_gKGKpseHtA(a, b):
    if op_sMYUOxfc2s(a) != 55:
        count = op_count_NcNb16HsFi(b,b)+op_count_pdnvgaFT42(b)+op_count_spjyGLfBHX(op_NcNb16HsFi(b,b),op_pdnvgaFT42(b))+op_count_N2CwLZHY2H(b,101)+op_count_9FxExcQeMw(a,259)+op_count_8TJv5LDobx(op_N2CwLZHY2H(b,101),op_9FxExcQeMw(a,259))+op_count_Xw48T5MRcn(op_spjyGLfBHX(op_NcNb16HsFi(b,b),op_pdnvgaFT42(b)),op_8TJv5LDobx(op_N2CwLZHY2H(b,101),op_9FxExcQeMw(a,259)))+op_count_sMYUOxfc2s(a)
    else:
        count = op_count_UlIHxGcaIG(b,a)+op_count_z9ffQ9n5Zr(b,a)+op_count_bjFwS5ygY2(op_UlIHxGcaIG(b,a),op_z9ffQ9n5Zr(b,a))+op_count_Zkf8ljKXC6(op_bjFwS5ygY2(op_UlIHxGcaIG(b,a),op_z9ffQ9n5Zr(b,a)))
    return count


a⩇⨾b = { 337 , if (b⩯∖↥)>606 ; (a⩘⨬⇊) , else }

def op_f5MEIjNZAb(a, b):
    if op_y0bMs0JaMo(b) > 606:
        return 337
    else:
        return op_XXmTpEpWTW(a)

def op_count_f5MEIjNZAb(a, b):
    if op_y0bMs0JaMo(b) > 606:
        count = op_count_y0bMs0JaMo(b)
    else:
        count = op_count_XXmTpEpWTW(a)
    return count


a⪨↶b = { (((≁≌∧a)⨚(b⊠⇯a))∵⩆⫂((303⋻⊷a)⩆≬(a⨃∂≰b))) , if (b⨔⫪)==593 ; (((a⩸⋪b)⩭⊞≿(b↯⪋≎42))⇀⩭⇶((a⨢b)↨⪍≴(≧⫾≼a))) , else }

def op_44dHcDAbbi(a, b):
    if op_6RfwPzxzfk(b) == 593:
        return op_n178FrgV5J(op_nREPSIbpBE(op_DhC4EHeAiO(a),op_3H1LgMeZyw(b,a)),op_atutLCrBFm(op_oqAxLywCTT(303,a),op_wcdrXsDMxZ(a,b)))
    else:
        return op_YPS3DtQit9(op_RuDLcD2ZjY(op_avxXIHzjv1(a,b),op_Y827t4Oxkq(b,42)),op_DX7B1fY6P6(op_wvOhsjS2Oe(a,b),op_qxRlE1dZtv(a)))

def op_count_44dHcDAbbi(a, b):
    if op_6RfwPzxzfk(b) == 593:
        count = op_count_DhC4EHeAiO(a)+op_count_3H1LgMeZyw(b,a)+op_count_nREPSIbpBE(op_DhC4EHeAiO(a),op_3H1LgMeZyw(b,a))+op_count_oqAxLywCTT(303,a)+op_count_wcdrXsDMxZ(a,b)+op_count_atutLCrBFm(op_oqAxLywCTT(303,a),op_wcdrXsDMxZ(a,b))+op_count_n178FrgV5J(op_nREPSIbpBE(op_DhC4EHeAiO(a),op_3H1LgMeZyw(b,a)),op_atutLCrBFm(op_oqAxLywCTT(303,a),op_wcdrXsDMxZ(a,b)))+op_count_6RfwPzxzfk(b)
    else:
        count = op_count_avxXIHzjv1(a,b)+op_count_Y827t4Oxkq(b,42)+op_count_RuDLcD2ZjY(op_avxXIHzjv1(a,b),op_Y827t4Oxkq(b,42))+op_count_wvOhsjS2Oe(a,b)+op_count_qxRlE1dZtv(a)+op_count_DX7B1fY6P6(op_wvOhsjS2Oe(a,b),op_qxRlE1dZtv(a))+op_count_YPS3DtQit9(op_RuDLcD2ZjY(op_avxXIHzjv1(a,b),op_Y827t4Oxkq(b,42)),op_DX7B1fY6P6(op_wvOhsjS2Oe(a,b),op_qxRlE1dZtv(a)))
    return count


def op_o34juJei6r(a):
    return op_HqcLaSpb3E(op_30yr7HMjFu(op_Zz7PIHcPdM(121),a),op_xLFIbYxpIl(op_HRk3UwFOL9(a)))

def op_count_o34juJei6r(a):
    count = op_count_Zz7PIHcPdM(121)+op_count_30yr7HMjFu(op_Zz7PIHcPdM(121),a)+op_count_HRk3UwFOL9(a)+op_count_xLFIbYxpIl(op_HRk3UwFOL9(a))+op_count_HqcLaSpb3E(op_30yr7HMjFu(op_Zz7PIHcPdM(121),a),op_xLFIbYxpIl(op_HRk3UwFOL9(a)))
    return count


def op_JW0UsP9DxE(a, b):
    return op_4n53wtyJvv(op_aLNRF0Pt4F(op_gcnKSmWBRw(b,62),op_rX7dfyzfdl(a,a)))

def op_count_JW0UsP9DxE(a, b):
    count = op_count_gcnKSmWBRw(b,62)+op_count_rX7dfyzfdl(a,a)+op_count_aLNRF0Pt4F(op_gcnKSmWBRw(b,62),op_rX7dfyzfdl(a,a))+op_count_4n53wtyJvv(op_aLNRF0Pt4F(op_gcnKSmWBRw(b,62),op_rX7dfyzfdl(a,a)))
    return count


def op_6z6CnPvxbZ(a):
    return op_5gLFQQTeld(op_4VWYPRYUty(a,a))

def op_count_6z6CnPvxbZ(a):
    count = op_count_4VWYPRYUty(a,a)+op_count_5gLFQQTeld(op_4VWYPRYUty(a,a))
    return count


def op_OwW17gK6Fj(a, b):
    return op_eFpA6433h8(op_bwYBi1zm8f(op_tGNgmywV9u(b,a)),op_opAxDRczMr(op_EV9swbq3TP(a,a)))

def op_count_OwW17gK6Fj(a, b):
    count = op_count_tGNgmywV9u(b,a)+op_count_bwYBi1zm8f(op_tGNgmywV9u(b,a))+op_count_EV9swbq3TP(a,a)+op_count_opAxDRczMr(op_EV9swbq3TP(a,a))+op_count_eFpA6433h8(op_bwYBi1zm8f(op_tGNgmywV9u(b,a)),op_opAxDRczMr(op_EV9swbq3TP(a,a)))
    return count


a⊚↵⫖b = { (((a⊴⩆⊰a)⩄∠⩟)≳⇚⋣((b⊳⫕≐a)⩻⨮⋝(b⇷≓⊞a))) , if a!=238 ; (((a∯⇉⩚a)⋡⋎(b⋒⋧∊a))⋑↺⫍((a⇁↻135)⊌∘⩲(a⋺⫬335))) , else }

def op_THW9t1FcCU(a, b):
    if a != 238:
        return op_IjsC9BljnW(op_ZsTN7hvPwQ(op_hkd0AjIQJB(a,a)),op_tTEXlJ6Kwl(op_c0xLRV89Nr(b,a),op_JsyojuCCcz(b,a)))
    else:
        return op_bgTCUQNVoy(op_4wZW19qsbv(op_GyQA6DdueM(a,a),op_Toewqs8END(b,a)),op_c8Fsqxg8nU(op_axqnU7qwpD(a,135),op_N2CwLZHY2H(a,335)))

def op_count_THW9t1FcCU(a, b):
    if a != 238:
        count = op_count_hkd0AjIQJB(a,a)+op_count_ZsTN7hvPwQ(op_hkd0AjIQJB(a,a))+op_count_c0xLRV89Nr(b,a)+op_count_JsyojuCCcz(b,a)+op_count_tTEXlJ6Kwl(op_c0xLRV89Nr(b,a),op_JsyojuCCcz(b,a))+op_count_IjsC9BljnW(op_ZsTN7hvPwQ(op_hkd0AjIQJB(a,a)),op_tTEXlJ6Kwl(op_c0xLRV89Nr(b,a),op_JsyojuCCcz(b,a)))
    else:
        count = op_count_GyQA6DdueM(a,a)+op_count_Toewqs8END(b,a)+op_count_4wZW19qsbv(op_GyQA6DdueM(a,a),op_Toewqs8END(b,a))+op_count_axqnU7qwpD(a,135)+op_count_N2CwLZHY2H(a,335)+op_count_c8Fsqxg8nU(op_axqnU7qwpD(a,135),op_N2CwLZHY2H(a,335))+op_count_bgTCUQNVoy(op_4wZW19qsbv(op_GyQA6DdueM(a,a),op_Toewqs8END(b,a)),op_c8Fsqxg8nU(op_axqnU7qwpD(a,135),op_N2CwLZHY2H(a,335)))
    return count


def op_xdHjIES0go(a):
    return op_hedAZG2wqk(op_VP5j3Cbanc(op_pRsWfj4Fpp(a),op_5uvYHDjeKN(22,a)))

def op_count_xdHjIES0go(a):
    count = op_count_pRsWfj4Fpp(a)+op_count_5uvYHDjeKN(22,a)+op_count_VP5j3Cbanc(op_pRsWfj4Fpp(a),op_5uvYHDjeKN(22,a))+op_count_hedAZG2wqk(op_VP5j3Cbanc(op_pRsWfj4Fpp(a),op_5uvYHDjeKN(22,a)))
    return count


def op_PifFSns7OQ(a, b):
    return op_c6EZArOfuv(op_RqrPlJkxDo(a,b),op_RygbFNSyEJ(b,a))

def op_count_PifFSns7OQ(a, b):
    count = op_count_RqrPlJkxDo(a,b)+op_count_RygbFNSyEJ(b,a)+op_count_c6EZArOfuv(op_RqrPlJkxDo(a,b),op_RygbFNSyEJ(b,a))
    return count


⋮⨢⩅a = { ((a⋖⇕⪰a)≗⪓∷) , if (a⩅⊤)<359 ; (⊑(a∑⊋a)) , else }

def op_Uox7kZceF3(a):
    if op_RFEUBJbRkQ(a) < 359:
        return op_xWKacU4PIG(op_zGZqYOUxsC(a,a))
    else:
        return op_IkUmn0D7oy(op_UTc5aj7RkL(a,a))

def op_count_Uox7kZceF3(a):
    if op_RFEUBJbRkQ(a) < 359:
        count = op_count_zGZqYOUxsC(a,a)+op_count_xWKacU4PIG(op_zGZqYOUxsC(a,a))+op_count_RFEUBJbRkQ(a)
    else:
        count = op_count_UTc5aj7RkL(a,a)+op_count_IkUmn0D7oy(op_UTc5aj7RkL(a,a))
    return count


a≰⨾b = { (((⪺⩔∉b)⨷∌⇱(b⊶⊰b))⨏⋷⊗((⨦⪝b)⪗∐(a⇠⪥b))) }

def op_Ue4GNof2tU(a, b):
    return op_qFQkR9UZt5(op_4JknimHijl(op_VYuSRsvjYE(b),op_6cqutZb5HV(b,b)),op_p8ATxzkIZV(op_SUjycxNXIR(b),op_SONCUvkmWe(a,b)))

def op_count_Ue4GNof2tU(a, b):
    count = op_count_VYuSRsvjYE(b)+op_count_6cqutZb5HV(b,b)+op_count_4JknimHijl(op_VYuSRsvjYE(b),op_6cqutZb5HV(b,b))+op_count_SUjycxNXIR(b)+op_count_SONCUvkmWe(a,b)+op_count_p8ATxzkIZV(op_SUjycxNXIR(b),op_SONCUvkmWe(a,b))+op_count_qFQkR9UZt5(op_4JknimHijl(op_VYuSRsvjYE(b),op_6cqutZb5HV(b,b)),op_p8ATxzkIZV(op_SUjycxNXIR(b),op_SONCUvkmWe(a,b)))
    return count


a⫪≀b = { (((b⨘⋶⪀)↹⨦(a≂⋸b))⪶⨼((⇆∐⩂b)∌⋯(a⫗⋱⩱a))) , if a<223 ; (((a⇎⊫a)⪳∈⋴(0⊏⪽↩b))⇋↽⋤((⊽≙⇥a)⇡⨸(b⋘⊽⋨b))) , else }

def op_hj3rjKGHuo(a, b):
    if a < 223:
        return op_kJJflTBdEb(op_CE93BnRTrY(op_XVKwrhznBb(b),op_S4cBJ5Nnzu(a,b)),op_8lBC7wqBde(op_yD5rMtMDT4(b),op_i43TpB2HrT(a,a)))
    else:
        return op_3K1YInASmv(op_eA2Rn72fZY(op_7yKx6fqJeC(a,a),op_BOXPexnoQF(0,b)),op_zqsMTVBX2o(op_5WVe5l1U9D(a),op_vHw4Ts2jdd(b,b)))

def op_count_hj3rjKGHuo(a, b):
    if a < 223:
        count = op_count_XVKwrhznBb(b)+op_count_S4cBJ5Nnzu(a,b)+op_count_CE93BnRTrY(op_XVKwrhznBb(b),op_S4cBJ5Nnzu(a,b))+op_count_yD5rMtMDT4(b)+op_count_i43TpB2HrT(a,a)+op_count_8lBC7wqBde(op_yD5rMtMDT4(b),op_i43TpB2HrT(a,a))+op_count_kJJflTBdEb(op_CE93BnRTrY(op_XVKwrhznBb(b),op_S4cBJ5Nnzu(a,b)),op_8lBC7wqBde(op_yD5rMtMDT4(b),op_i43TpB2HrT(a,a)))
    else:
        count = op_count_7yKx6fqJeC(a,a)+op_count_BOXPexnoQF(0,b)+op_count_eA2Rn72fZY(op_7yKx6fqJeC(a,a),op_BOXPexnoQF(0,b))+op_count_5WVe5l1U9D(a)+op_count_vHw4Ts2jdd(b,b)+op_count_zqsMTVBX2o(op_5WVe5l1U9D(a),op_vHw4Ts2jdd(b,b))+op_count_3K1YInASmv(op_eA2Rn72fZY(op_7yKx6fqJeC(a,a),op_BOXPexnoQF(0,b)),op_zqsMTVBX2o(op_5WVe5l1U9D(a),op_vHw4Ts2jdd(b,b)))
    return count


a⊗⪠ = { (((a⇏⫟)⋍↽⇨)⇪⋭) , if (a⇊⋼⫧220)<490 ; (≹≩(⫃≈(a⨧⨞a))) , else }

def op_20soVURaDa(a):
    if op_tUOKwCw09Q(a,220) < 490:
        return op_Z8Yg6dlDSp(op_E2xTplnD0N(op_EKv0cRgQII(a)))
    else:
        return op_scnBMGRR3o(op_fGDu59EtI5(op_FhO8PvMI2N(a,a)))

def op_count_20soVURaDa(a):
    if op_tUOKwCw09Q(a,220) < 490:
        count = op_count_EKv0cRgQII(a)+op_count_E2xTplnD0N(op_EKv0cRgQII(a))+op_count_Z8Yg6dlDSp(op_E2xTplnD0N(op_EKv0cRgQII(a)))+op_count_tUOKwCw09Q(a,220)
    else:
        count = op_count_FhO8PvMI2N(a,a)+op_count_fGDu59EtI5(op_FhO8PvMI2N(a,a))+op_count_scnBMGRR3o(op_fGDu59EtI5(op_FhO8PvMI2N(a,a)))
    return count


a+⨁⩝ = { (a⩞⨑a) , if (a<385 and (⋧a)!=39) ; (a⫉∜⋩) , else }

def op_yeO5TAUV6E(a):
    if (a < 385 and op_fctvr1MjnF(a) != 39):
        return op_gWibIJBsW2(a,a)
    else:
        return op_2duuZjdUdY(a)

def op_count_yeO5TAUV6E(a):
    if (a < 385 and op_fctvr1MjnF(a) != 39):
        count = op_count_gWibIJBsW2(a,a)+op_count_fctvr1MjnF(a)
    else:
        count = op_count_2duuZjdUdY(a)
    return count


a⪎⩟∾ = { (⫙⫔⫽a) , if (a⪿↓)==251 ; (a⫌⩉⩟a) , else }

def op_VtpRtMlepA(a):
    if op_AQR3Y5beSM(a) == 251:
        return op_CFs4UCiLv7(a)
    else:
        return op_XIIwhv8d0m(a,a)

def op_count_VtpRtMlepA(a):
    if op_AQR3Y5beSM(a) == 251:
        count = op_count_CFs4UCiLv7(a)+op_count_AQR3Y5beSM(a)
    else:
        count = op_count_XIIwhv8d0m(a,a)
    return count


def op_zwwOe8hZoF(a):
    if (a == 1 and op_Api82iH42a(a,602) != 70 and a > 21):
        return a
    else:
        return op_2uO7qEltAa(op_tN0ubDjZ4j(a),op_7nDYFTqyZr(37))

def op_count_zwwOe8hZoF(a):
    if (a == 1 and op_Api82iH42a(a,602) != 70 and a > 21):
        count = 1
    else:
        count = op_count_tN0ubDjZ4j(a)+op_count_7nDYFTqyZr(37)+op_count_2uO7qEltAa(op_tN0ubDjZ4j(a),op_7nDYFTqyZr(37))
    return count


def op_XEN8DJLwpf(a):
    if op_mcTWVDeujr(a) == 135:
        return op_Xw48T5MRcn(op_YbZxT5zkAA(a),op_NAuE9E6FzB(60))
    else:
        return op_2pBQXqWGeP(op_iKLLq8LGXo(11),op_pCNCNETmIQ(a,394))

def op_count_XEN8DJLwpf(a):
    if op_mcTWVDeujr(a) == 135:
        count = op_count_YbZxT5zkAA(a)+op_count_NAuE9E6FzB(60)+op_count_Xw48T5MRcn(op_YbZxT5zkAA(a),op_NAuE9E6FzB(60))+op_count_mcTWVDeujr(a)
    else:
        count = op_count_iKLLq8LGXo(11)+op_count_pCNCNETmIQ(a,394)+op_count_2pBQXqWGeP(op_iKLLq8LGXo(11),op_pCNCNETmIQ(a,394))
    return count


def op_Wp7QG2TLMf(a):
    if op_udlVjwRdAs(a) >= 233:
        return op_1m18G2N8t2(7,a)
    else:
        return op_TpPTUOHfaN(a,227)

def op_count_Wp7QG2TLMf(a):
    if op_udlVjwRdAs(a) >= 233:
        count = op_count_1m18G2N8t2(7,a)+op_count_udlVjwRdAs(a)
    else:
        count = op_count_TpPTUOHfaN(a,227)
    return count


def op_DAxMAgNvOL(a, b):
    if op_pB6Fcnrjim(a) <= 52 and op_nouZ5SZjt1(b) > 283:
        return op_mnxeNVfHTl(op_Kd4iD05TwA(a,a))
    else:
        return op_pNiqsYmQ4e(322)

def op_count_DAxMAgNvOL(a, b):
    if op_pB6Fcnrjim(a) <= 52 and op_nouZ5SZjt1(b) > 283:
        count = op_count_Kd4iD05TwA(a,a)+op_count_mnxeNVfHTl(op_Kd4iD05TwA(a,a))+op_count_pB6Fcnrjim(a)+op_count_nouZ5SZjt1(b)
    else:
        count = op_count_pNiqsYmQ4e(322)
    return count


def op_ktIDu5Vix7(a):
    return op_KRirUCLfIK(op_HliYdHbTqc(op_HRk3UwFOL9(a),a),op_3On8Mq6EYF(op_hfHSvYrndO(a,a),op_vLzRcUDluw(a,a)))

def op_count_ktIDu5Vix7(a):
    count = op_count_HRk3UwFOL9(a)+op_count_HliYdHbTqc(op_HRk3UwFOL9(a),a)+op_count_hfHSvYrndO(a,a)+op_count_vLzRcUDluw(a,a)+op_count_3On8Mq6EYF(op_hfHSvYrndO(a,a),op_vLzRcUDluw(a,a))+op_count_KRirUCLfIK(op_HliYdHbTqc(op_HRk3UwFOL9(a),a),op_3On8Mq6EYF(op_hfHSvYrndO(a,a),op_vLzRcUDluw(a,a)))
    return count

hfHSvYrndO 3On8Mq6EYF HRk3UwFOL9 KRirUCLfIK vLzRcUDluw HliYdHbTqc


a⪱⊌↪b = { (((256⇍⊗b)≪⊺⋟(b↽↬a))∥⋽(⊼≨(a↞⇏↡))) }

def op_EF7xyVP9OR(a, b):
    return op_bHT9wUTdfV(op_6XI03Y2wNz(op_5uvYHDjeKN(256,b),op_7QYZIzcNPK(b,a)),op_SQxhFGQGJk(op_3jaEye8kCv(a)))

def op_count_EF7xyVP9OR(a, b):
    count = op_count_5uvYHDjeKN(256,b)+op_count_7QYZIzcNPK(b,a)+op_count_6XI03Y2wNz(op_5uvYHDjeKN(256,b),op_7QYZIzcNPK(b,a))+op_count_3jaEye8kCv(a)+op_count_SQxhFGQGJk(op_3jaEye8kCv(a))+op_count_bHT9wUTdfV(op_6XI03Y2wNz(op_5uvYHDjeKN(256,b),op_7QYZIzcNPK(b,a)),op_SQxhFGQGJk(op_3jaEye8kCv(a)))
    return count


a⪍⇒⋟ = { ((a↟⫝̸a)⫱⨗(a⇏↜a)) , if (a⩤≠≯400)==388 ; ((41⩆⋬↵a)⊐⨩⨺(a⪙⊵⇷141)) , else }

def op_2xNcJ8V46Q(a):
    if op_htFxK0qXae(a,400) == 388:
        return op_ojcltenu0e(op_t3zCv2dJ9y(a,a),op_bc776OU6aa(a,a))
    else:
        return op_kSF6tTRmc5(op_GGuaFouzBB(41,a),op_cZPC5xccNd(a,141))

def op_count_2xNcJ8V46Q(a):
    if op_htFxK0qXae(a,400) == 388:
        count = op_count_t3zCv2dJ9y(a,a)+op_count_bc776OU6aa(a,a)+op_count_ojcltenu0e(op_t3zCv2dJ9y(a,a),op_bc776OU6aa(a,a))+op_count_htFxK0qXae(a,400)
    else:
        count = op_count_GGuaFouzBB(41,a)+op_count_cZPC5xccNd(a,141)+op_count_kSF6tTRmc5(op_GGuaFouzBB(41,a),op_cZPC5xccNd(a,141))
    return count


a∑⋉ = { ((⇹(a⋒∨⩅a))↽⋘⇦((⨆⇫a)⪜⋗⇢(a⩫⨔a))) , if (⪠⨨a)==837 ; ((↺⋣⇞(229⇣⊱281))⊄∠≜(⩬⨀⪸(75⨓∶⪱a))) , else }

def op_dM4BgSC54c(a):
    if op_jFY9FjAYWk(a) == 837:
        return op_SEtte5H3sk(op_dOQKZuJSrO(op_mKL5yvcAMJ(a,a)),op_MkFge0F0HF(op_BS5gxE7HeX(a),op_2uO7qEltAa(a,a)))
    else:
        return op_z1V7RAAwQB(op_BiDpHvhd4U(op_nhiPEUZSI1(229,281)),op_px4lOhQsnE(op_uyjXSLgOOM(75,a)))

def op_count_dM4BgSC54c(a):
    if op_jFY9FjAYWk(a) == 837:
        count = op_count_mKL5yvcAMJ(a,a)+op_count_dOQKZuJSrO(op_mKL5yvcAMJ(a,a))+op_count_BS5gxE7HeX(a)+op_count_2uO7qEltAa(a,a)+op_count_MkFge0F0HF(op_BS5gxE7HeX(a),op_2uO7qEltAa(a,a))+op_count_SEtte5H3sk(op_dOQKZuJSrO(op_mKL5yvcAMJ(a,a)),op_MkFge0F0HF(op_BS5gxE7HeX(a),op_2uO7qEltAa(a,a)))+op_count_jFY9FjAYWk(a)
    else:
        count = op_count_nhiPEUZSI1(229,281)+op_count_BiDpHvhd4U(op_nhiPEUZSI1(229,281))+op_count_uyjXSLgOOM(75,a)+op_count_px4lOhQsnE(op_uyjXSLgOOM(75,a))+op_count_z1V7RAAwQB(op_BiDpHvhd4U(op_nhiPEUZSI1(229,281)),op_px4lOhQsnE(op_uyjXSLgOOM(75,a)))
    return count


def op_V9m6Mm7eoj(a):
    return op_HUtdSlaloT(op_e1wGt9VEHG(a,a),op_M79hUXQlnf(a,a))

def op_count_V9m6Mm7eoj(a):
    count = op_count_e1wGt9VEHG(a,a)+op_count_M79hUXQlnf(a,a)+op_count_HUtdSlaloT(op_e1wGt9VEHG(a,a),op_M79hUXQlnf(a,a))
    return count


⪍⊃⇕a = { (⋡⪙⨇((a≭a)⇄(a↛⩩⇶a))) , if (⫒a)>=803 or (a⩀⋦)==439 ; (⋔⊌↨((a⇌≄↤a)⨇↳⊣(a≜⨛))) , else }

def op_6YpoLXPuyh(a):
    if op_leNEk7drxJ(a) >= 803 or op_Y8bsIgOLgX(a) == 439:
        return op_UWGAvKki9m(op_3EYGwJThht(op_rxpJgHHUmx(a,a),op_gIEBy3Ykr1(a,a)))
    else:
        return op_xnYrdMmGY8(op_ZJYiLdgVnw(op_67pLdqUuiR(a,a),op_iazTdSmPBK(a)))

def op_count_6YpoLXPuyh(a):
    if op_leNEk7drxJ(a) >= 803 or op_Y8bsIgOLgX(a) == 439:
        count = op_count_rxpJgHHUmx(a,a)+op_count_gIEBy3Ykr1(a,a)+op_count_3EYGwJThht(op_rxpJgHHUmx(a,a),op_gIEBy3Ykr1(a,a))+op_count_UWGAvKki9m(op_3EYGwJThht(op_rxpJgHHUmx(a,a),op_gIEBy3Ykr1(a,a)))+op_count_leNEk7drxJ(a)+op_count_Y8bsIgOLgX(a)
    else:
        count = op_count_67pLdqUuiR(a,a)+op_count_iazTdSmPBK(a)+op_count_ZJYiLdgVnw(op_67pLdqUuiR(a,a),op_iazTdSmPBK(a))+op_count_xnYrdMmGY8(op_ZJYiLdgVnw(op_67pLdqUuiR(a,a),op_iazTdSmPBK(a)))
    return count


def op_rDxjnC6Nqk(a, b):
    if (op_jFan81Y8q9(b,984) == 101 and op_tu1KPXez7K(b) < 242):
        return op_megm06wKyl(op_GUAyslFuBw(b))
    else:
        return op_lLg6KFppdz(a,op_tYgBMy40jR(a,140))

def op_count_rDxjnC6Nqk(a, b):
    if (op_jFan81Y8q9(b,984) == 101 and op_tu1KPXez7K(b) < 242):
        count = op_count_GUAyslFuBw(b)+op_count_megm06wKyl(op_GUAyslFuBw(b))+op_count_jFan81Y8q9(b,984)+op_count_tu1KPXez7K(b)
    else:
        count = op_count_tYgBMy40jR(a,140)+op_count_lLg6KFppdz(a,op_tYgBMy40jR(a,140))
    return count


def op_AJOVFFcWoR(a):
    return op_M79hUXQlnf(a,a)

def op_count_AJOVFFcWoR(a):
    count = op_count_M79hUXQlnf(a,a)
    return count


a⇅⨛⩪b = { (b⪡261) , if b==171 ; (((b⊍⩺⋍b)⊏⋾a)⨓⨕≠b) , else }

def op_iDA26ZlMjA(a, b):
    if b == 171:
        return op_oraRL2iQuh(b,261)
    else:
        return op_wwMOHVJtzA(op_wtqezVTTBR(op_OXDGMFPWZM(b,b),a),b)

def op_count_iDA26ZlMjA(a, b):
    if b == 171:
        count = op_count_oraRL2iQuh(b,261)
    else:
        count = op_count_OXDGMFPWZM(b,b)+op_count_wtqezVTTBR(op_OXDGMFPWZM(b,b),a)+op_count_wwMOHVJtzA(op_wtqezVTTBR(op_OXDGMFPWZM(b,b),a),b)
    return count

wwMOHVJtzA wtqezVTTBR oraRL2iQuh OXDGMFPWZM


def op_XzEv0pzi6Z(a):
    return op_ixXfdLRfOf(a,op_4n53wtyJvv(28))

def op_count_XzEv0pzi6Z(a):
    count = op_count_4n53wtyJvv(28)+op_count_ixXfdLRfOf(a,op_4n53wtyJvv(28))
    return count


def op_KgoA8e4PiY(a):
    return op_SUjycxNXIR(op_z63VuFQld9(a))

def op_count_KgoA8e4PiY(a):
    count = op_count_z63VuFQld9(a)+op_count_SUjycxNXIR(op_z63VuFQld9(a))
    return count


⨙⊸a = { (((a⊱↕⊥a)↶⩧(⪸⊉a))→⩸↪((a⋋↢⊃)≵⩾⇗(a⇃↿))) }

def op_h1rAvvScMX(a):
    return op_UUAh1Hdfpu(op_70GhcLsRSW(op_cqlfqPYv00(a,a),op_mlzqNBtYd8(a)),op_GyJNigkHRe(op_PxFlO9LMOG(a),op_HRk3UwFOL9(a)))

def op_count_h1rAvvScMX(a):
    count = op_count_cqlfqPYv00(a,a)+op_count_mlzqNBtYd8(a)+op_count_70GhcLsRSW(op_cqlfqPYv00(a,a),op_mlzqNBtYd8(a))+op_count_PxFlO9LMOG(a)+op_count_HRk3UwFOL9(a)+op_count_GyJNigkHRe(op_PxFlO9LMOG(a),op_HRk3UwFOL9(a))+op_count_UUAh1Hdfpu(op_70GhcLsRSW(op_cqlfqPYv00(a,a),op_mlzqNBtYd8(a)),op_GyJNigkHRe(op_PxFlO9LMOG(a),op_HRk3UwFOL9(a)))
    return count


def op_YIjvUtKkEE(a):
    return op_Z8Yg6dlDSp(op_22D9SwvIE0(a,a))

def op_count_YIjvUtKkEE(a):
    count = op_count_22D9SwvIE0(a,a)+op_count_Z8Yg6dlDSp(op_22D9SwvIE0(a,a))
    return count


def op_OnSntO0f26(a):
    if op_Yslh20Vpco(a,893) != 86:
        return op_5uvYHDjeKN(a,a)
    else:
        return op_QKXs96F9fN(a)

def op_count_OnSntO0f26(a):
    if op_Yslh20Vpco(a,893) != 86:
        count = op_count_5uvYHDjeKN(a,a)+op_count_Yslh20Vpco(a,893)
    else:
        count = op_count_QKXs96F9fN(a)
    return count


def op_FHUkuftqV4(a):
    return op_zashukvMKz(a,a)

def op_count_FHUkuftqV4(a):
    count = op_count_zashukvMKz(a,a)
    return count


⋁⫟a = { (⇁⨣⪵(a⩝≶a)) , if a!=544 ; (⇠⊞⩕(a↑⇣)) , else }

def op_igJYlDtne3(a):
    if a != 544:
        return op_inkyxCbjAn(op_q6iAK3IPqK(a,a))
    else:
        return op_NMif27OxkP(op_RENlWKVhmM(a))

def op_count_igJYlDtne3(a):
    if a != 544:
        count = op_count_q6iAK3IPqK(a,a)+op_count_inkyxCbjAn(op_q6iAK3IPqK(a,a))
    else:
        count = op_count_RENlWKVhmM(a)+op_count_NMif27OxkP(op_RENlWKVhmM(a))
    return count


a⪀⇻b = { (⫉b) , if (∧⨇⇂b)==552 ; (b↾a) , else }

def op_xSTgnomHoY(a, b):
    if op_mjfNiYKyI7(b) == 552:
        return op_NajNryHj1W(b)
    else:
        return op_XmtODG4Sr9(b,a)

def op_count_xSTgnomHoY(a, b):
    if op_mjfNiYKyI7(b) == 552:
        count = op_count_NajNryHj1W(b)+op_count_mjfNiYKyI7(b)
    else:
        count = op_count_XmtODG4Sr9(b,a)
    return count


def op_PmAcxVVQai(a):
    if op_XIIwhv8d0m(a,236) == 919 and op_Tu8JGuLDXg(a,671) >= 176:
        return op_O7qnFq89DT(a)
    else:
        return op_HUtdSlaloT(59,29)

def op_count_PmAcxVVQai(a):
    if op_XIIwhv8d0m(a,236) == 919 and op_Tu8JGuLDXg(a,671) >= 176:
        count = op_count_O7qnFq89DT(a)+op_count_XIIwhv8d0m(a,236)+op_count_Tu8JGuLDXg(a,671)
    else:
        count = op_count_HUtdSlaloT(59,29)
    return count


a⨕↜b = { ((b⪤b)+⇶⊼(a⊇⩗a)) , if (b↾≫)<112 or (⋪⋢a)>=165 ; ((69↳b)↫⪋(a⩓⇶⩹b)) , else }

def op_q1br7uUepo(a, b):
    if op_B48fwm0ULD(b) < 112 or op_9yXIZOBfSp(a) >= 165:
        return op_TpPTUOHfaN(op_JKhKCqropJ(b,b),op_spjyGLfBHX(a,a))
    else:
        return op_9Z0HYftGYc(op_K1uHWJv1IW(69,b),op_uPssntxAAm(a,b))

def op_count_q1br7uUepo(a, b):
    if op_B48fwm0ULD(b) < 112 or op_9yXIZOBfSp(a) >= 165:
        count = op_count_JKhKCqropJ(b,b)+op_count_spjyGLfBHX(a,a)+op_count_TpPTUOHfaN(op_JKhKCqropJ(b,b),op_spjyGLfBHX(a,a))+op_count_B48fwm0ULD(b)+op_count_9yXIZOBfSp(a)
    else:
        count = op_count_K1uHWJv1IW(69,b)+op_count_uPssntxAAm(a,b)+op_count_9Z0HYftGYc(op_K1uHWJv1IW(69,b),op_uPssntxAAm(a,b))
    return count


def op_9ajglzEkf1(a, b):
    if op_L0fB0uARcr(a) > 835 or b >= 56:
        return op_AhnjkTRNhD(713,op_I4Z2h7Ev6U(677,79))
    else:
        return op_Y6u3OyaTgl(op_hJhozpRboY(a),op_O26jwKggyC(b,a))

def op_count_9ajglzEkf1(a, b):
    if op_L0fB0uARcr(a) > 835 or b >= 56:
        count = op_count_I4Z2h7Ev6U(677,79)+op_count_AhnjkTRNhD(713,op_I4Z2h7Ev6U(677,79))+op_count_L0fB0uARcr(a)
    else:
        count = op_count_hJhozpRboY(a)+op_count_O26jwKggyC(b,a)+op_count_Y6u3OyaTgl(op_hJhozpRboY(a),op_O26jwKggyC(b,a))
    return count


a≕≡⪲b = { (∇⊏⪗((b⫌⩉⩟b)⋖⪕(123⊘≽⇾78))) , if (b∩692)<=403 ; (((b⫫⇊b)⨀⋝⩂(a⊋⪀⫭b))⩱) , else }

def op_YGrd5bI09Q(a, b):
    if op_F9Zfm1dsok(b,692) <= 403:
        return op_lNo3Ts1j0w(op_FgYUCPJ1sH(op_XIIwhv8d0m(b,b),op_kucSuKQe76(123,78)))
    else:
        return op_uyq1hVkAcj(op_gNhqVVHJgV(op_ACbyQ4RlKv(b,b),op_z8Vpgc5KJS(a,b)))

def op_count_YGrd5bI09Q(a, b):
    if op_F9Zfm1dsok(b,692) <= 403:
        count = op_count_XIIwhv8d0m(b,b)+op_count_kucSuKQe76(123,78)+op_count_FgYUCPJ1sH(op_XIIwhv8d0m(b,b),op_kucSuKQe76(123,78))+op_count_lNo3Ts1j0w(op_FgYUCPJ1sH(op_XIIwhv8d0m(b,b),op_kucSuKQe76(123,78)))+op_count_F9Zfm1dsok(b,692)
    else:
        count = op_count_ACbyQ4RlKv(b,b)+op_count_z8Vpgc5KJS(a,b)+op_count_gNhqVVHJgV(op_ACbyQ4RlKv(b,b),op_z8Vpgc5KJS(a,b))+op_count_uyq1hVkAcj(op_gNhqVVHJgV(op_ACbyQ4RlKv(b,b),op_z8Vpgc5KJS(a,b)))
    return count


⨠⇔⨞a = { (((a⋠⫔↷a)⨟⋌⩍(a≌≢≞a))←⪈((⪨↰a)⇃⋌↨(310≭a))) }

def op_l04uORaiU6(a):
    return op_BRZabeeXbq(op_rGHVDoGpnC(op_I81SCRunY4(a,a),op_ez0Fj7iaCl(a,a)),op_IZ4n4pDw05(op_blQ9vzDKd0(a),op_rxpJgHHUmx(310,a)))

def op_count_l04uORaiU6(a):
    count = op_count_I81SCRunY4(a,a)+op_count_ez0Fj7iaCl(a,a)+op_count_rGHVDoGpnC(op_I81SCRunY4(a,a),op_ez0Fj7iaCl(a,a))+op_count_blQ9vzDKd0(a)+op_count_rxpJgHHUmx(310,a)+op_count_IZ4n4pDw05(op_blQ9vzDKd0(a),op_rxpJgHHUmx(310,a))+op_count_BRZabeeXbq(op_rGHVDoGpnC(op_I81SCRunY4(a,a),op_ez0Fj7iaCl(a,a)),op_IZ4n4pDw05(op_blQ9vzDKd0(a),op_rxpJgHHUmx(310,a)))
    return count


def op_tYpVs8tcdg(a, b):
    if op_8dZLBg44dN(b,662) < 885:
        return op_y3VePj6QEb(op_BRzjzC6jtL(op_U7g4x0WXJJ(a,222),op_rAoQIM5poM(a)))
    else:
        return op_VCoQhphGv5(op_qG7zLWbgUK(op_IMmH2efQS3(b,b),op_vomVLQX1UC(a,303)),op_tJtBLRaXS9(op_DrwYmDgWEg(a,a),op_5EKtqEE5Ob(215,425)))

def op_count_tYpVs8tcdg(a, b):
    if op_8dZLBg44dN(b,662) < 885:
        count = op_count_U7g4x0WXJJ(a,222)+op_count_rAoQIM5poM(a)+op_count_BRzjzC6jtL(op_U7g4x0WXJJ(a,222),op_rAoQIM5poM(a))+op_count_y3VePj6QEb(op_BRzjzC6jtL(op_U7g4x0WXJJ(a,222),op_rAoQIM5poM(a)))+op_count_8dZLBg44dN(b,662)
    else:
        count = op_count_IMmH2efQS3(b,b)+op_count_vomVLQX1UC(a,303)+op_count_qG7zLWbgUK(op_IMmH2efQS3(b,b),op_vomVLQX1UC(a,303))+op_count_DrwYmDgWEg(a,a)+op_count_5EKtqEE5Ob(215,425)+op_count_tJtBLRaXS9(op_DrwYmDgWEg(a,a),op_5EKtqEE5Ob(215,425))+op_count_VCoQhphGv5(op_qG7zLWbgUK(op_IMmH2efQS3(b,b),op_vomVLQX1UC(a,303)),op_tJtBLRaXS9(op_DrwYmDgWEg(a,a),op_5EKtqEE5Ob(215,425)))
    return count


def op_tt1z2Cxvdg(a):
    return op_RqrPlJkxDo(a,a)

def op_count_tt1z2Cxvdg(a):
    count = op_count_RqrPlJkxDo(a,a)
    return count


a∮⇖⫸ = { (∨⩣⩃a) , if (a⫗⨮)<7 ; (a≁a) , else }

def op_9BRYJ0TeEM(a):
    if op_p8fm81BEEb(a) < 7:
        return op_UqQFc3aWL8(a)
    else:
        return op_8N2wDY1A35(a,a)

def op_count_9BRYJ0TeEM(a):
    if op_p8fm81BEEb(a) < 7:
        count = op_count_UqQFc3aWL8(a)+op_count_p8fm81BEEb(a)
    else:
        count = op_count_8N2wDY1A35(a,a)
    return count


def op_ogSq4p7f0D(a):
    return op_4n53wtyJvv(op_NZlze526t4(a,a))

def op_count_ogSq4p7f0D(a):
    count = op_count_NZlze526t4(a,a)+op_count_4n53wtyJvv(op_NZlze526t4(a,a))
    return count


a/⫪ = { (((a∘≲⫽)⋿≌⩺(a⫌⋠⫢a))⊁⪁∏((a∯⩥⪙a)⪓⨏)) }

def op_2iTE95EuwF(a):
    return op_NRyasOrsb7(op_ubStOKblsQ(op_rg8zEDJi9b(a),op_mf9eRyN6Nh(a,a)),op_4X9JU4Jbn6(op_lq4leFCqdl(a,a)))

def op_count_2iTE95EuwF(a):
    count = op_count_rg8zEDJi9b(a)+op_count_mf9eRyN6Nh(a,a)+op_count_ubStOKblsQ(op_rg8zEDJi9b(a),op_mf9eRyN6Nh(a,a))+op_count_lq4leFCqdl(a,a)+op_count_4X9JU4Jbn6(op_lq4leFCqdl(a,a))+op_count_NRyasOrsb7(op_ubStOKblsQ(op_rg8zEDJi9b(a),op_mf9eRyN6Nh(a,a)),op_4X9JU4Jbn6(op_lq4leFCqdl(a,a)))
    return count