a⇌⫇⫉b = { (((⨩∲⋌b)⪚(⋑a))⩌⋺((b⇌⫙⪟a)⊋≦⊧(a⋢b))) , if (≛b)<6 ; (((148⨜⇔a)⨸⪁(a⇞))⪨((a≦↸b)⨰↻⪇(≅≯⇸a))) , else }

def op_UlQ84THUy4(a, b):
    if op_W7eaUhjymW(b) < 6:
        return op_g7Hmc5v1ko(op_HrjLwUk87U(op_aSik1wnThz(b),op_iz8sE888QL(a)),op_oRDoc9rAEX(op_AFVx7xoS7T(b,a),op_NdELin8EPX(a,b)))
    else:
        return op_2z8nE7LpCu(op_g55IO6H4Gj(op_Sq3AGanRSD(148,a),op_5JYyxRJd4f(a)),op_nbuSfrB4hB(op_RygbFNSyEJ(a,b),op_apS25hmuAe(a)))

def op_count_UlQ84THUy4(a, b):
    if op_W7eaUhjymW(b) < 6:
        count = op_count_aSik1wnThz(b)+op_count_iz8sE888QL(a)+op_count_HrjLwUk87U(op_aSik1wnThz(b),op_iz8sE888QL(a))+op_count_AFVx7xoS7T(b,a)+op_count_NdELin8EPX(a,b)+op_count_oRDoc9rAEX(op_AFVx7xoS7T(b,a),op_NdELin8EPX(a,b))+op_count_g7Hmc5v1ko(op_HrjLwUk87U(op_aSik1wnThz(b),op_iz8sE888QL(a)),op_oRDoc9rAEX(op_AFVx7xoS7T(b,a),op_NdELin8EPX(a,b)))+op_count_W7eaUhjymW(b)
    else:
        count = op_count_Sq3AGanRSD(148,a)+op_count_5JYyxRJd4f(a)+op_count_g55IO6H4Gj(op_Sq3AGanRSD(148,a),op_5JYyxRJd4f(a))+op_count_RygbFNSyEJ(a,b)+op_count_apS25hmuAe(a)+op_count_nbuSfrB4hB(op_RygbFNSyEJ(a,b),op_apS25hmuAe(a))+op_count_2z8nE7LpCu(op_g55IO6H4Gj(op_Sq3AGanRSD(148,a),op_5JYyxRJd4f(a)),op_nbuSfrB4hB(op_RygbFNSyEJ(a,b),op_apS25hmuAe(a)))
    return count


a⊑⪙≊ = { (a⋝⋈⪟a) , if (a⪑⩈)<41 ; (⊄⩳↩a) , else }

def op_4AlKqWpGRT(a):
    if op_C6VvDP6HwP(a) < 41:
        return op_2DDjHMKMc0(a,a)
    else:
        return op_8w2t5hMYqp(a)

def op_count_4AlKqWpGRT(a):
    if op_C6VvDP6HwP(a) < 41:
        count = op_count_2DDjHMKMc0(a,a)+op_count_C6VvDP6HwP(a)
    else:
        count = op_count_8w2t5hMYqp(a)
    return count


a∶⊛⊭ = { (((102⨳⩥⨓a)⊓≱(a⪖⪡a))⨚((a↯⫤)⩒⫫(a⩚⊴⇥a))) , if a<26 ; ((∥⊫a)⩶) , else }

def op_1tcWyx6vdf(a):
    if a < 26:
        return op_nREPSIbpBE(op_VCG3UHNzLR(op_nCS4ZIUYfx(102,a),op_7PjNe5qSIJ(a,a)),op_KFSx94NKJn(op_VwlE7vj6HS(a),op_NTOWxs364D(a,a)))
    else:
        return op_yuvXk3Mco8(op_P8v4zCKN1o(a))

def op_count_1tcWyx6vdf(a):
    if a < 26:
        count = op_count_nCS4ZIUYfx(102,a)+op_count_7PjNe5qSIJ(a,a)+op_count_VCG3UHNzLR(op_nCS4ZIUYfx(102,a),op_7PjNe5qSIJ(a,a))+op_count_VwlE7vj6HS(a)+op_count_NTOWxs364D(a,a)+op_count_KFSx94NKJn(op_VwlE7vj6HS(a),op_NTOWxs364D(a,a))+op_count_nREPSIbpBE(op_VCG3UHNzLR(op_nCS4ZIUYfx(102,a),op_7PjNe5qSIJ(a,a)),op_KFSx94NKJn(op_VwlE7vj6HS(a),op_NTOWxs364D(a,a)))
    else:
        count = op_count_P8v4zCKN1o(a)+op_count_yuvXk3Mco8(op_P8v4zCKN1o(a))
    return count


def op_PxFlO9LMOG(a):
    if a <= 48:
        return op_aHKFHkCgn9(a)
    else:
        return op_YbVcJGFEVW(a,364)

def op_count_PxFlO9LMOG(a):
    if a <= 48:
        count = op_count_aHKFHkCgn9(a)
    else:
        count = op_count_YbVcJGFEVW(a,364)
    return count


a⊔∂⇅b = { (((b≭⫡b)↜⊷(598∽392))⩹(a⨜⨶a)) , if a!=100 ; (((a⊵a)⫶(b⊝⪿⪼a))⋞((a⫸a)⋥≓≎(⫄⋦≢a))) , else }

def op_LsSU5mH3bX(a, b):
    if a != 100:
        return op_2Wsdkap16l(op_irKjLsMeKy(op_b1mGkbI4Oy(b,b),op_y4ImoPnbV5(598,392)),op_HiPekx5b7W(a,a))
    else:
        return op_V4yb4KDoeF(op_BAIXFdYaz3(op_eaFBhJ0Uku(a,a),op_3Oe9XWJUTD(b,a)),op_Qy55tPpLXF(op_Qaz2MhZaG5(a,a),op_4kvgVkQeiQ(a)))

def op_count_LsSU5mH3bX(a, b):
    if a != 100:
        count = op_count_b1mGkbI4Oy(b,b)+op_count_y4ImoPnbV5(598,392)+op_count_irKjLsMeKy(op_b1mGkbI4Oy(b,b),op_y4ImoPnbV5(598,392))+op_count_HiPekx5b7W(a,a)+op_count_2Wsdkap16l(op_irKjLsMeKy(op_b1mGkbI4Oy(b,b),op_y4ImoPnbV5(598,392)),op_HiPekx5b7W(a,a))
    else:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_3Oe9XWJUTD(b,a)+op_count_BAIXFdYaz3(op_eaFBhJ0Uku(a,a),op_3Oe9XWJUTD(b,a))+op_count_Qaz2MhZaG5(a,a)+op_count_4kvgVkQeiQ(a)+op_count_Qy55tPpLXF(op_Qaz2MhZaG5(a,a),op_4kvgVkQeiQ(a))+op_count_V4yb4KDoeF(op_BAIXFdYaz3(op_eaFBhJ0Uku(a,a),op_3Oe9XWJUTD(b,a)),op_Qy55tPpLXF(op_Qaz2MhZaG5(a,a),op_4kvgVkQeiQ(a)))
    return count


a⋫⇱ = { ((a⇽⩪)⊢(a≧⫂∧a)) , if (∷≠a)!=263 ; ((≋a)⩉⊫⨁) , else }

def op_lxmaenj6DJ(a):
    if op_QiR2Oyf5Xj(a) != 263:
        return op_5twsqlHp2o(op_FonBHBYJbU(a),op_Ph9nP6C5qx(a,a))
    else:
        return op_7qqUquhhSb(op_61wBmkZwlr(a))

def op_count_lxmaenj6DJ(a):
    if op_QiR2Oyf5Xj(a) != 263:
        count = op_count_FonBHBYJbU(a)+op_count_Ph9nP6C5qx(a,a)+op_count_5twsqlHp2o(op_FonBHBYJbU(a),op_Ph9nP6C5qx(a,a))+op_count_QiR2Oyf5Xj(a)
    else:
        count = op_count_61wBmkZwlr(a)+op_count_7qqUquhhSb(op_61wBmkZwlr(a))
    return count


def op_AFaATjIauL(a):
    if op_Q9TX5pQS3Y(a) == 352:
        return op_d7ASUq0ydm(op_ocpzidtxKt(op_RygbFNSyEJ(a,a)),op_ObEyaaML9x(op_Rw46J52cBJ(a,706),op_12rbrZMWeM(a,a)))
    else:
        return op_AdZkA7nFnk(op_b1mGkbI4Oy(op_hrf7POJlIJ(257,a),op_61wBmkZwlr(146)),op_COABgblf1C(op_g55IO6H4Gj(a,a),op_61wBmkZwlr(203)))

def op_count_AFaATjIauL(a):
    if op_Q9TX5pQS3Y(a) == 352:
        count = op_count_RygbFNSyEJ(a,a)+op_count_ocpzidtxKt(op_RygbFNSyEJ(a,a))+op_count_Rw46J52cBJ(a,706)+op_count_12rbrZMWeM(a,a)+op_count_ObEyaaML9x(op_Rw46J52cBJ(a,706),op_12rbrZMWeM(a,a))+op_count_d7ASUq0ydm(op_ocpzidtxKt(op_RygbFNSyEJ(a,a)),op_ObEyaaML9x(op_Rw46J52cBJ(a,706),op_12rbrZMWeM(a,a)))+op_count_Q9TX5pQS3Y(a)
    else:
        count = op_count_hrf7POJlIJ(257,a)+op_count_61wBmkZwlr(146)+op_count_b1mGkbI4Oy(op_hrf7POJlIJ(257,a),op_61wBmkZwlr(146))+op_count_g55IO6H4Gj(a,a)+op_count_61wBmkZwlr(203)+op_count_COABgblf1C(op_g55IO6H4Gj(a,a),op_61wBmkZwlr(203))+op_count_AdZkA7nFnk(op_b1mGkbI4Oy(op_hrf7POJlIJ(257,a),op_61wBmkZwlr(146)),op_COABgblf1C(op_g55IO6H4Gj(a,a),op_61wBmkZwlr(203)))
    return count


def op_aF6wdyjNOF(a, b):
    if (op_eH2TOUuTDT(a) <= 445 and a < 158):
        return op_Lhk0YGb717(op_3tVxb0NHM4(643,112))
    else:
        return op_KFSx94NKJn(a,op_OGWBzMv138(a,b))

def op_count_aF6wdyjNOF(a, b):
    if (op_eH2TOUuTDT(a) <= 445 and a < 158):
        count = op_count_3tVxb0NHM4(643,112)+op_count_Lhk0YGb717(op_3tVxb0NHM4(643,112))+op_count_eH2TOUuTDT(a)
    else:
        count = op_count_OGWBzMv138(a,b)+op_count_KFSx94NKJn(a,op_OGWBzMv138(a,b))
    return count


a↽⋘⇦b = { a , if a>196 ; ((∂⩏⊆(b∅a))⪕(⫇(b≭⫡b))) , else }

def op_SEtte5H3sk(a, b):
    if a > 196:
        return a
    else:
        return op_umQnsF7QlU(op_8WDwsbhb0R(op_giaUb8UVhq(b,a)),op_YjI8oCXuph(op_b1mGkbI4Oy(b,b)))

def op_count_SEtte5H3sk(a, b):
    if a > 196:
        count = 1
    else:
        count = op_count_giaUb8UVhq(b,a)+op_count_8WDwsbhb0R(op_giaUb8UVhq(b,a))+op_count_b1mGkbI4Oy(b,b)+op_count_YjI8oCXuph(op_b1mGkbI4Oy(b,b))+op_count_umQnsF7QlU(op_8WDwsbhb0R(op_giaUb8UVhq(b,a)),op_YjI8oCXuph(op_b1mGkbI4Oy(b,b)))
    return count


⪳a = { (((∷≠a)≣(a⇌⫙⪟a))⪖⪡((6⊔a)∲⫑(⪷∈↠a))) , if a>=364 ; (((⇍342)⇼⇔∾(a⨧a))↜⊷(⫌⊑↬(a⫡⨏54))) , else }

def op_mnCm9oVcGF(a):
    if a >= 364:
        return op_7PjNe5qSIJ(op_ObEyaaML9x(op_QiR2Oyf5Xj(a),op_AFVx7xoS7T(a,a)),op_NrdPCfJQiM(op_E4l6HwMY31(6,a),op_Kn0TacbtGK(a)))
    else:
        return op_irKjLsMeKy(op_tifHPKVTfV(op_H9jWZL1q0V(342),op_3YWlZA9bsa(a,a)),op_h57jOAbG9W(op_QMFrweE19q(a,54)))

def op_count_mnCm9oVcGF(a):
    if a >= 364:
        count = op_count_QiR2Oyf5Xj(a)+op_count_AFVx7xoS7T(a,a)+op_count_ObEyaaML9x(op_QiR2Oyf5Xj(a),op_AFVx7xoS7T(a,a))+op_count_E4l6HwMY31(6,a)+op_count_Kn0TacbtGK(a)+op_count_NrdPCfJQiM(op_E4l6HwMY31(6,a),op_Kn0TacbtGK(a))+op_count_7PjNe5qSIJ(op_ObEyaaML9x(op_QiR2Oyf5Xj(a),op_AFVx7xoS7T(a,a)),op_NrdPCfJQiM(op_E4l6HwMY31(6,a),op_Kn0TacbtGK(a)))
    else:
        count = op_count_H9jWZL1q0V(342)+op_count_3YWlZA9bsa(a,a)+op_count_tifHPKVTfV(op_H9jWZL1q0V(342),op_3YWlZA9bsa(a,a))+op_count_QMFrweE19q(a,54)+op_count_h57jOAbG9W(op_QMFrweE19q(a,54))+op_count_irKjLsMeKy(op_tifHPKVTfV(op_H9jWZL1q0V(342),op_3YWlZA9bsa(a,a)),op_h57jOAbG9W(op_QMFrweE19q(a,54)))
    return count


a⨝√b = { (⋄(b⪒(⨾∊⩁a))) , if (b⊍)!=295 ; (((a⨵⪆50)→⨶⪴(⫌⊑↬a))⨌↪) , else }

def op_9m2uP4QEko(a, b):
    if op_3nqY3DE9mg(b) != 295:
        return op_k2B77S3vSv(op_f6k1SAg4EE(b,op_QErWpSDGk0(a)))
    else:
        return op_cWQsF5MvuD(op_bF6eod5Gvf(op_2DQ55sFlQl(a,50),op_h57jOAbG9W(a)))

def op_count_9m2uP4QEko(a, b):
    if op_3nqY3DE9mg(b) != 295:
        count = op_count_QErWpSDGk0(a)+op_count_f6k1SAg4EE(b,op_QErWpSDGk0(a))+op_count_k2B77S3vSv(op_f6k1SAg4EE(b,op_QErWpSDGk0(a)))+op_count_3nqY3DE9mg(b)
    else:
        count = op_count_2DQ55sFlQl(a,50)+op_count_h57jOAbG9W(a)+op_count_bF6eod5Gvf(op_2DQ55sFlQl(a,50),op_h57jOAbG9W(a))+op_count_cWQsF5MvuD(op_bF6eod5Gvf(op_2DQ55sFlQl(a,50),op_h57jOAbG9W(a)))
    return count


def op_gyx1WIpxU2(a):
    if a == 587:
        return op_qAljGMXEZr(201)
    else:
        return op_d7ASUq0ydm(185,225)

def op_count_gyx1WIpxU2(a):
    if a == 587:
        count = op_count_qAljGMXEZr(201)
    else:
        count = op_count_d7ASUq0ydm(185,225)
    return count


⪔⋞⇁a = { ((a⨙)∁) , if a==147 ; ((a≦↸a)⇛(a⋳⪒a)) , else }

def op_ogjC2vakcx(a):
    if a == 147:
        return op_jdwGQqwJi5(op_rlpcYeipVY(a))
    else:
        return op_S3tN1ZzpSt(op_RygbFNSyEJ(a,a),op_12rbrZMWeM(a,a))

def op_count_ogjC2vakcx(a):
    if a == 147:
        count = op_count_rlpcYeipVY(a)+op_count_jdwGQqwJi5(op_rlpcYeipVY(a))
    else:
        count = op_count_RygbFNSyEJ(a,a)+op_count_12rbrZMWeM(a,a)+op_count_S3tN1ZzpSt(op_RygbFNSyEJ(a,a),op_12rbrZMWeM(a,a))
    return count


a⫠⨡⊣b = { ((4≝⊿(b∇⊂⋱b))∼⇢(⩒∊(a⊬⨰b))) , if b==609 ; (⩪∧⨌((b≼127)⫲)) , else }

def op_ezv41XLVK4(a, b):
    if b == 609:
        return op_Cr5xnr8B4B(op_OKKcZfAt5B(4,op_nhYeJWJD5X(b,b)),op_qazvmhNBbN(op_s3Fd5m9Dh2(a,b)))
    else:
        return op_6iOiAJX1F8(op_9xnGDUPbC6(op_SPuZE40Ntn(b,127)))

def op_count_ezv41XLVK4(a, b):
    if b == 609:
        count = op_count_nhYeJWJD5X(b,b)+op_count_OKKcZfAt5B(4,op_nhYeJWJD5X(b,b))+op_count_s3Fd5m9Dh2(a,b)+op_count_qazvmhNBbN(op_s3Fd5m9Dh2(a,b))+op_count_Cr5xnr8B4B(op_OKKcZfAt5B(4,op_nhYeJWJD5X(b,b)),op_qazvmhNBbN(op_s3Fd5m9Dh2(a,b)))
    else:
        count = op_count_SPuZE40Ntn(b,127)+op_count_9xnGDUPbC6(op_SPuZE40Ntn(b,127))+op_count_6iOiAJX1F8(op_9xnGDUPbC6(op_SPuZE40Ntn(b,127)))
    return count


a⊏↗b = { ((b⫗⊒⇾b)≬⋮(a∷b)) , if a>53 ; ((a∘⨩)-(b≏⨯⊱178)) , else }

def op_DfPpNyVquf(a, b):
    if a > 53:
        return op_kbkesczE7y(op_hiBDRd40bf(b,b),op_D3AQDKkPcf(a,b))
    else:
        return op_rysDP5nf3Z(op_aHKFHkCgn9(a),op_UqUOXUQnbU(b,178))

def op_count_DfPpNyVquf(a, b):
    if a > 53:
        count = op_count_hiBDRd40bf(b,b)+op_count_D3AQDKkPcf(a,b)+op_count_kbkesczE7y(op_hiBDRd40bf(b,b),op_D3AQDKkPcf(a,b))
    else:
        count = op_count_aHKFHkCgn9(a)+op_count_UqUOXUQnbU(b,178)+op_count_rysDP5nf3Z(op_aHKFHkCgn9(a),op_UqUOXUQnbU(b,178))
    return count


a⊔⇣ = { (a∌a) , if a<=175 ; (a⋳⪒a) , else }

def op_oiSTJ4th13(a):
    if a <= 175:
        return op_8cLx32lpNA(a,a)
    else:
        return op_12rbrZMWeM(a,a)

def op_count_oiSTJ4th13(a):
    if a <= 175:
        count = op_count_8cLx32lpNA(a,a)
    else:
        count = op_count_12rbrZMWeM(a,a)
    return count


def op_wyXrRtLM2R(a):
    if op_6MpZysEj17(a) <= 307:
        return op_ocnLzx9CaJ(op_WR6HLWljOP(730,a),a)
    else:
        return op_vRio1gEz1j(a)

def op_count_wyXrRtLM2R(a):
    if op_6MpZysEj17(a) <= 307:
        count = op_count_WR6HLWljOP(730,a)+op_count_ocnLzx9CaJ(op_WR6HLWljOP(730,a),a)+op_count_6MpZysEj17(a)
    else:
        count = op_count_vRio1gEz1j(a)
    return count


def op_7XyOaozCdT(a):
    if (op_i8ToyICDmI(a,412) >= 3 or a != 323):
        return op_KWeyIRWUIQ(op_SPuZE40Ntn(a,a))
    else:
        return op_COABgblf1C(op_jvbZP6NeOL(a),230)

def op_count_7XyOaozCdT(a):
    if (op_i8ToyICDmI(a,412) >= 3 or a != 323):
        count = op_count_SPuZE40Ntn(a,a)+op_count_KWeyIRWUIQ(op_SPuZE40Ntn(a,a))+op_count_i8ToyICDmI(a,412)
    else:
        count = op_count_jvbZP6NeOL(a)+op_count_COABgblf1C(op_jvbZP6NeOL(a),230)
    return count


def op_bBWLhCymi1(a):
    if a >= 287:
        return op_14qkJME0vr(a)
    else:
        return op_t4WUHVGj7f(a)

def op_count_bBWLhCymi1(a):
    if a >= 287:
        count = op_count_14qkJME0vr(a)
    else:
        count = op_count_t4WUHVGj7f(a)
    return count


a⊂∤ = { (⫇⪃↚a) , if (a↼⊘⨖612)!=3 ; (a⊬⨰a) , else }

def op_Nz2E2qpr8g(a):
    if op_bPywburJMS(a,612) != 3:
        return op_Q9TX5pQS3Y(a)
    else:
        return op_s3Fd5m9Dh2(a,a)

def op_count_Nz2E2qpr8g(a):
    if op_bPywburJMS(a,612) != 3:
        count = op_count_Q9TX5pQS3Y(a)+op_count_bPywburJMS(a,612)
    else:
        count = op_count_s3Fd5m9Dh2(a,a)
    return count


a⋎⊡b = { ((a∘⨩)⩷∴(≉a)) , if a>=250 ; b , else }

def op_jneptBQ8aA(a, b):
    if a >= 250:
        return op_9FxExcQeMw(op_aHKFHkCgn9(a),op_e1ybzncUwg(a))
    else:
        return b

def op_count_jneptBQ8aA(a, b):
    if a >= 250:
        count = op_count_aHKFHkCgn9(a)+op_count_e1ybzncUwg(a)+op_count_9FxExcQeMw(op_aHKFHkCgn9(a),op_e1ybzncUwg(a))
    else:
        count = 1
    return count


a⇡⨐⪆b = { (((⋑a)⨜⇔(a⪭↷⊩))≽⇕) , if b!=415 ; ((⇻⫵(a⋞b))⨣∐↬((a⨑⋨a)⇛(a⩧⪆b))) , else }

def op_snJ4WsMDae(a, b):
    if b != 415:
        return op_SgAxmdLNEA(op_Sq3AGanRSD(op_iz8sE888QL(a),op_Oe8teynzfS(a)))
    else:
        return op_UpkSd4zESC(op_Wm7LHi3c8p(op_V4yb4KDoeF(a,b)),op_S3tN1ZzpSt(op_tIhPxZTbsh(a,a),op_Ikt5ks8PT7(a,b)))

def op_count_snJ4WsMDae(a, b):
    if b != 415:
        count = op_count_iz8sE888QL(a)+op_count_Oe8teynzfS(a)+op_count_Sq3AGanRSD(op_iz8sE888QL(a),op_Oe8teynzfS(a))+op_count_SgAxmdLNEA(op_Sq3AGanRSD(op_iz8sE888QL(a),op_Oe8teynzfS(a)))
    else:
        count = op_count_V4yb4KDoeF(a,b)+op_count_Wm7LHi3c8p(op_V4yb4KDoeF(a,b))+op_count_tIhPxZTbsh(a,a)+op_count_Ikt5ks8PT7(a,b)+op_count_S3tN1ZzpSt(op_tIhPxZTbsh(a,a),op_Ikt5ks8PT7(a,b))+op_count_UpkSd4zESC(op_Wm7LHi3c8p(op_V4yb4KDoeF(a,b)),op_S3tN1ZzpSt(op_tIhPxZTbsh(a,a),op_Ikt5ks8PT7(a,b)))
    return count


a∳⩯b = { (b⨰b) , if (b⇇)!=230 ; (⩦⩻⨪a) , else }

def op_9HGD9fv1Jr(a, b):
    if op_ieTw63T1Vx(b) != 230:
        return op_eewbuw0ToL(b,b)
    else:
        return op_2td37pGCOC(a)

def op_count_9HGD9fv1Jr(a, b):
    if op_ieTw63T1Vx(b) != 230:
        count = op_count_eewbuw0ToL(b,b)+op_count_ieTw63T1Vx(b)
    else:
        count = op_count_2td37pGCOC(a)
    return count


a⊉↞ = { (a⨑a) , if (⊄⩳↩a)==212 ; (a⨚a) , else }

def op_Mu3V65EQad(a):
    if op_8w2t5hMYqp(a) == 212:
        return op_IxJHfR5psi(a,a)
    else:
        return op_nREPSIbpBE(a,a)

def op_count_Mu3V65EQad(a):
    if op_8w2t5hMYqp(a) == 212:
        count = op_count_IxJHfR5psi(a,a)+op_count_8w2t5hMYqp(a)
    else:
        count = op_count_nREPSIbpBE(a,a)
    return count


a⇄⋁ = { (a∺≝⩲a) , if a<=28 ; (↞a) , else }

def op_PUVqHvbr12(a):
    if a <= 28:
        return op_KPf6cnQVty(a,a)
    else:
        return op_QKXs96F9fN(a)

def op_count_PUVqHvbr12(a):
    if a <= 28:
        count = op_count_KPf6cnQVty(a,a)
    else:
        count = op_count_QKXs96F9fN(a)
    return count


def op_GSwCgIDeiS(a):
    if op_U9HvHqtOoq(a) == 129 and a == 150:
        return op_mhIhit33mg(258)
    else:
        return op_12rbrZMWeM(550,a)

def op_count_GSwCgIDeiS(a):
    if op_U9HvHqtOoq(a) == 129 and a == 150:
        count = op_count_mhIhit33mg(258)+op_count_U9HvHqtOoq(a)
    else:
        count = op_count_12rbrZMWeM(550,a)
    return count


a⪾⩶⋸ = { (a⊉≛↸a) , if a>117 ; (⋼∭⪍a) , else }

def op_SpY9BOyHMp(a):
    if a > 117:
        return op_DZ8iAZOCBD(a,a)
    else:
        return op_DbCuESL50I(a)

def op_count_SpY9BOyHMp(a):
    if a > 117:
        count = op_count_DZ8iAZOCBD(a,a)
    else:
        count = op_count_DbCuESL50I(a)
    return count


def op_ZwJn4oPyB9(a):
    if op_YjI8oCXuph(a) == 11:
        return op_NdELin8EPX(op_G8pG1QxO6Y(op_jBC4ymW3D7(130,a)),op_IxJHfR5psi(op_QDWDTvZtyM(a),op_Z5m6OM72h2(a,330)))
    else:
        return op_B3tNObfNaL(op_FyVja0WsTP(op_AdZkA7nFnk(a,a),op_UqUOXUQnbU(a,119)))

def op_count_ZwJn4oPyB9(a):
    if op_YjI8oCXuph(a) == 11:
        count = op_count_jBC4ymW3D7(130,a)+op_count_G8pG1QxO6Y(op_jBC4ymW3D7(130,a))+op_count_QDWDTvZtyM(a)+op_count_Z5m6OM72h2(a,330)+op_count_IxJHfR5psi(op_QDWDTvZtyM(a),op_Z5m6OM72h2(a,330))+op_count_NdELin8EPX(op_G8pG1QxO6Y(op_jBC4ymW3D7(130,a)),op_IxJHfR5psi(op_QDWDTvZtyM(a),op_Z5m6OM72h2(a,330)))+op_count_YjI8oCXuph(a)
    else:
        count = op_count_AdZkA7nFnk(a,a)+op_count_UqUOXUQnbU(a,119)+op_count_FyVja0WsTP(op_AdZkA7nFnk(a,a),op_UqUOXUQnbU(a,119))+op_count_B3tNObfNaL(op_FyVja0WsTP(op_AdZkA7nFnk(a,a),op_UqUOXUQnbU(a,119)))
    return count


def op_9onfuQE7Rk(a):
    if op_qxp9F1VMeC(a) == 397:
        return op_PrwIXj9ZQe(op_s3Fd5m9Dh2(331,a))
    else:
        return op_qU6oQAhJaQ(op_eaFBhJ0Uku(a,a))

def op_count_9onfuQE7Rk(a):
    if op_qxp9F1VMeC(a) == 397:
        count = op_count_s3Fd5m9Dh2(331,a)+op_count_PrwIXj9ZQe(op_s3Fd5m9Dh2(331,a))+op_count_qxp9F1VMeC(a)
    else:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_qU6oQAhJaQ(op_eaFBhJ0Uku(a,a))
    return count


∢⇱a = { (((a∌↝a)-∠(a⫃⨇a))⩂⊭⨚) , if (a⨓↿∉907)<590 ; (((a∠↢a)-(a⨔⇊a))⋞((a⪈⋁⩁a)⪿⇪⊩(a⇇))) , else }

def op_oY18MMfxwf(a):
    if op_OWnFPqjWlR(a,907) < 590:
        return op_PaBHOjxk8c(op_s0IfDFCCuZ(op_9Isq31Ruls(a,a),op_09Ly4LVMIf(a,a)))
    else:
        return op_V4yb4KDoeF(op_rysDP5nf3Z(op_KbjG8mgYpV(a,a),op_JclMnS0uGI(a,a)),op_OGWBzMv138(op_GMyVS5K48T(a,a),op_ieTw63T1Vx(a)))

def op_count_oY18MMfxwf(a):
    if op_OWnFPqjWlR(a,907) < 590:
        count = op_count_9Isq31Ruls(a,a)+op_count_09Ly4LVMIf(a,a)+op_count_s0IfDFCCuZ(op_9Isq31Ruls(a,a),op_09Ly4LVMIf(a,a))+op_count_PaBHOjxk8c(op_s0IfDFCCuZ(op_9Isq31Ruls(a,a),op_09Ly4LVMIf(a,a)))+op_count_OWnFPqjWlR(a,907)
    else:
        count = op_count_KbjG8mgYpV(a,a)+op_count_JclMnS0uGI(a,a)+op_count_rysDP5nf3Z(op_KbjG8mgYpV(a,a),op_JclMnS0uGI(a,a))+op_count_GMyVS5K48T(a,a)+op_count_ieTw63T1Vx(a)+op_count_OGWBzMv138(op_GMyVS5K48T(a,a),op_ieTw63T1Vx(a))+op_count_V4yb4KDoeF(op_rysDP5nf3Z(op_KbjG8mgYpV(a,a),op_JclMnS0uGI(a,a)),op_OGWBzMv138(op_GMyVS5K48T(a,a),op_ieTw63T1Vx(a)))
    return count


a⩒⩻b = { ((17∽a)⩇∃⫛(a⩾a)) , if (b⇥↓)>=601 ; ((a⫟≀⫫)⫗⊒⇾b) , else }

def op_3x4KQ8f6lD(a, b):
    if op_KvubFp3XhO(b) >= 601:
        return op_1aApVXNlOP(op_y4ImoPnbV5(17,a),op_UggxBX659n(a,a))
    else:
        return op_hiBDRd40bf(op_KfMCrRzQhT(a),b)

def op_count_3x4KQ8f6lD(a, b):
    if op_KvubFp3XhO(b) >= 601:
        count = op_count_y4ImoPnbV5(17,a)+op_count_UggxBX659n(a,a)+op_count_1aApVXNlOP(op_y4ImoPnbV5(17,a),op_UggxBX659n(a,a))+op_count_KvubFp3XhO(b)
    else:
        count = op_count_KfMCrRzQhT(a)+op_count_hiBDRd40bf(op_KfMCrRzQhT(a),b)
    return count


def op_dcbMkX5nB5(a):
    if op_6LuFrogppQ(a) >= 222:
        return op_KROiRRz3d6(330,op_OTRTVPweYV(385,a))
    else:
        return op_RygbFNSyEJ(64,op_nREPSIbpBE(a,a))

def op_count_dcbMkX5nB5(a):
    if op_6LuFrogppQ(a) >= 222:
        count = op_count_OTRTVPweYV(385,a)+op_count_KROiRRz3d6(330,op_OTRTVPweYV(385,a))+op_count_6LuFrogppQ(a)
    else:
        count = op_count_nREPSIbpBE(a,a)+op_count_RygbFNSyEJ(64,op_nREPSIbpBE(a,a))
    return count


def op_vvkWjlpPOH(a):
    if op_61wBmkZwlr(a) != 21:
        return op_3A1e9zoj8h(328)
    else:
        return op_SgAxmdLNEA(a)

def op_count_vvkWjlpPOH(a):
    if op_61wBmkZwlr(a) != 21:
        count = op_count_3A1e9zoj8h(328)+op_count_61wBmkZwlr(a)
    else:
        count = op_count_SgAxmdLNEA(a)
    return count


a∐⪡b = { b , if (a⨵⪆115)>418 ; ((b≻⇥≳9)⊀⪪⫸) , else }

def op_F5wFo2T9P3(a, b):
    if op_2DQ55sFlQl(a,115) > 418:
        return b
    else:
        return op_UIU2Eox550(op_aiqF8n6J9c(b,9))

def op_count_F5wFo2T9P3(a, b):
    if op_2DQ55sFlQl(a,115) > 418:
        count = 1
    else:
        count = op_count_aiqF8n6J9c(b,9)+op_count_UIU2Eox550(op_aiqF8n6J9c(b,9))
    return count


a∡⊇⋥ = { (⋸⪍a) , if (a⪨≂144)<707 ; (a⊕⨔) , else }

def op_EqZz4TWaTh(a):
    if op_sdazOOVcIp(a,144) < 707:
        return op_PrwIXj9ZQe(a)
    else:
        return op_ut0Nd8ObBp(a)

def op_count_EqZz4TWaTh(a):
    if op_sdazOOVcIp(a,144) < 707:
        count = op_count_PrwIXj9ZQe(a)+op_count_sdazOOVcIp(a,144)
    else:
        count = op_count_ut0Nd8ObBp(a)
    return count


a⨖ = { (((a⊹⊞⫔)⋟⫀⨗(a⨑a))≽↲≰((⨇⪄⫏a)⫼⨠(⊲⪭a))) , if (a⨁⊸⫻)>=328 ; (((a⨴a)⊝⨜≵)⇿⊰((a≠≀12)⩣⫁∢(a⊬⨰a))) , else }

def op_5JprmgSD8j(a):
    if op_glklzrTFfD(a) >= 328:
        return op_cFVlceoRkX(op_dAAkup5nzi(op_eVHdItn4YL(a),op_IxJHfR5psi(a,a)),op_KYL1uVeVpb(op_B4c4JXCTtZ(a),op_k7HXdKtiEU(a)))
    else:
        return op_ap3xiM279w(op_CuHhPb8RwQ(op_jBC4ymW3D7(a,a)),op_JDUIKTTSIa(op_IwW236VD4Y(a,12),op_s3Fd5m9Dh2(a,a)))

def op_count_5JprmgSD8j(a):
    if op_glklzrTFfD(a) >= 328:
        count = op_count_eVHdItn4YL(a)+op_count_IxJHfR5psi(a,a)+op_count_dAAkup5nzi(op_eVHdItn4YL(a),op_IxJHfR5psi(a,a))+op_count_B4c4JXCTtZ(a)+op_count_k7HXdKtiEU(a)+op_count_KYL1uVeVpb(op_B4c4JXCTtZ(a),op_k7HXdKtiEU(a))+op_count_cFVlceoRkX(op_dAAkup5nzi(op_eVHdItn4YL(a),op_IxJHfR5psi(a,a)),op_KYL1uVeVpb(op_B4c4JXCTtZ(a),op_k7HXdKtiEU(a)))+op_count_glklzrTFfD(a)
    else:
        count = op_count_jBC4ymW3D7(a,a)+op_count_CuHhPb8RwQ(op_jBC4ymW3D7(a,a))+op_count_IwW236VD4Y(a,12)+op_count_s3Fd5m9Dh2(a,a)+op_count_JDUIKTTSIa(op_IwW236VD4Y(a,12),op_s3Fd5m9Dh2(a,a))+op_count_ap3xiM279w(op_CuHhPb8RwQ(op_jBC4ymW3D7(a,a)),op_JDUIKTTSIa(op_IwW236VD4Y(a,12),op_s3Fd5m9Dh2(a,a)))
    return count


def op_4h8vc4SGqo(a):
    if a == 156:
        return a
    else:
        return op_2M7SKlOzyM(a,a)

def op_count_4h8vc4SGqo(a):
    if a == 156:
        count = 1
    else:
        count = op_count_2M7SKlOzyM(a,a)
    return count


def op_ywsRBySUcc(a):
    if op_XbEAUggs3J(a) == 344:
        return op_dAAkup5nzi(a,98)
    else:
        return op_2PILXiQIjy(a)

def op_count_ywsRBySUcc(a):
    if op_XbEAUggs3J(a) == 344:
        count = op_count_dAAkup5nzi(a,98)+op_count_XbEAUggs3J(a)
    else:
        count = op_count_2PILXiQIjy(a)
    return count


def op_4jKFZJvyLI(a):
    if a != 828:
        return op_o575Zjdmzy(op_BX1lVwlMe0(a))
    else:
        return op_vRio1gEz1j(op_umQnsF7QlU(a,461))

def op_count_4jKFZJvyLI(a):
    if a != 828:
        count = op_count_BX1lVwlMe0(a)+op_count_o575Zjdmzy(op_BX1lVwlMe0(a))
    else:
        count = op_count_umQnsF7QlU(a,461)+op_count_vRio1gEz1j(op_umQnsF7QlU(a,461))
    return count


a⋜⊄b = { (b⋅∹⩇) , if a<=210 ; (29↬⩅∪) , else }

def op_KRecZEGPb8(a, b):
    if a <= 210:
        return op_Tmr9JGNMVH(b)
    else:
        return op_VJ330n2nnx(29)

def op_count_KRecZEGPb8(a, b):
    if a <= 210:
        count = op_count_Tmr9JGNMVH(b)
    else:
        count = op_count_VJ330n2nnx(29)
    return count


a∛⋦ = { (((a⋞a)⩒⫫(a≣a))∠↢((42⪶≀⋏a)⋆⊨(a⪠⩆⊳))) , if (a≦≮≮)!=32 ; ((⪷∈↠(a⩤∜↚a))⩌((a↙↠)⪣⫩)) , else }

def op_o0EkzFntuU(a):
    if op_D4vGDi5EA2(a) != 32:
        return op_KbjG8mgYpV(op_KFSx94NKJn(op_V4yb4KDoeF(a,a),op_ObEyaaML9x(a,a)),op_uTBsSls0VN(op_zR4jO40bMj(42,a),op_JLbD19bQDL(a)))
    else:
        return op_UoVew8f2p2(op_Kn0TacbtGK(op_KROiRRz3d6(a,a)),op_iuk5sVOGFA(op_texHS70gxN(a)))

def op_count_o0EkzFntuU(a):
    if op_D4vGDi5EA2(a) != 32:
        count = op_count_V4yb4KDoeF(a,a)+op_count_ObEyaaML9x(a,a)+op_count_KFSx94NKJn(op_V4yb4KDoeF(a,a),op_ObEyaaML9x(a,a))+op_count_zR4jO40bMj(42,a)+op_count_JLbD19bQDL(a)+op_count_uTBsSls0VN(op_zR4jO40bMj(42,a),op_JLbD19bQDL(a))+op_count_KbjG8mgYpV(op_KFSx94NKJn(op_V4yb4KDoeF(a,a),op_ObEyaaML9x(a,a)),op_uTBsSls0VN(op_zR4jO40bMj(42,a),op_JLbD19bQDL(a)))+op_count_D4vGDi5EA2(a)
    else:
        count = op_count_KROiRRz3d6(a,a)+op_count_Kn0TacbtGK(op_KROiRRz3d6(a,a))+op_count_texHS70gxN(a)+op_count_iuk5sVOGFA(op_texHS70gxN(a))+op_count_UoVew8f2p2(op_Kn0TacbtGK(op_KROiRRz3d6(a,a)),op_iuk5sVOGFA(op_texHS70gxN(a)))
    return count


⊢+⋕a = { (⪭≋⋼a) , if a<=37 ; (a+a) , else }

def op_CG9pxRMcZU(a):
    if a <= 37:
        return op_EZ6cjipfBz(a)
    else:
        return op_W4YGzv6Whe(a,a)

def op_count_CG9pxRMcZU(a):
    if a <= 37:
        count = op_count_EZ6cjipfBz(a)
    else:
        count = op_count_W4YGzv6Whe(a,a)
    return count


a⫔b = { ((389≚⊃≕a)⩹(a≽⪈↿a)) , if b>111 ; ((b≼a)⫏↛⩏(⊄a)) , else }

def op_Qsw9fW7fQc(a, b):
    if b > 111:
        return op_2Wsdkap16l(op_Bmrmz2XGnR(389,a),op_inCIaGQf8u(a,a))
    else:
        return op_YC3tgrnOyr(op_SPuZE40Ntn(b,a),op_AnPstFaJd9(a))

def op_count_Qsw9fW7fQc(a, b):
    if b > 111:
        count = op_count_Bmrmz2XGnR(389,a)+op_count_inCIaGQf8u(a,a)+op_count_2Wsdkap16l(op_Bmrmz2XGnR(389,a),op_inCIaGQf8u(a,a))
    else:
        count = op_count_SPuZE40Ntn(b,a)+op_count_AnPstFaJd9(a)+op_count_YC3tgrnOyr(op_SPuZE40Ntn(b,a),op_AnPstFaJd9(a))
    return count


a⋔b = { (a∇⊂⋱b) , if (≋a)<102 ; (130↱⊪⇍) , else }

def op_xQeZU3TIrN(a, b):
    if op_61wBmkZwlr(a) < 102:
        return op_nhYeJWJD5X(a,b)
    else:
        return op_Zubgv0tBda(130)

def op_count_xQeZU3TIrN(a, b):
    if op_61wBmkZwlr(a) < 102:
        count = op_count_nhYeJWJD5X(a,b)+op_count_61wBmkZwlr(a)
    else:
        count = op_count_Zubgv0tBda(130)
    return count


a⋽ = { (a⨣∐↬a) , if (≅≯⇸a)<26 ; (a⪹) , else }

def op_RKHU4s1Ist(a):
    if op_apS25hmuAe(a) < 26:
        return op_UpkSd4zESC(a,a)
    else:
        return op_B3sABdIn96(a)

def op_count_RKHU4s1Ist(a):
    if op_apS25hmuAe(a) < 26:
        count = op_count_UpkSd4zESC(a,a)+op_count_apS25hmuAe(a)
    else:
        count = op_count_B3sABdIn96(a)
    return count


⨕⋸⪩a = { (a⊲⩕⊾(⪁⫅≨a)) , if a>=501 ; ((a⪿⇪⊩a)∏⇴(∤a)) , else }

def op_dMW0bM025S(a):
    if a >= 501:
        return op_DmTXOeWf9t(a,op_YApyZlDuBr(a))
    else:
        return op_Rw46J52cBJ(op_OGWBzMv138(a,a),op_k2HlF1dBQh(a))

def op_count_dMW0bM025S(a):
    if a >= 501:
        count = op_count_YApyZlDuBr(a)+op_count_DmTXOeWf9t(a,op_YApyZlDuBr(a))
    else:
        count = op_count_OGWBzMv138(a,a)+op_count_k2HlF1dBQh(a)+op_count_Rw46J52cBJ(op_OGWBzMv138(a,a),op_k2HlF1dBQh(a))
    return count


def op_av5nF5DF39(a):
    if op_dfKe02y8D2(a,923) > 89:
        return op_OWnFPqjWlR(op_WObL9SsYVE(236,78),op_Z2TMIBDE3Q(a))
    else:
        return op_neKQRQQIil(op_4JB6nKBMSY(a,a),op_B3sABdIn96(a))

def op_count_av5nF5DF39(a):
    if op_dfKe02y8D2(a,923) > 89:
        count = op_count_WObL9SsYVE(236,78)+op_count_Z2TMIBDE3Q(a)+op_count_OWnFPqjWlR(op_WObL9SsYVE(236,78),op_Z2TMIBDE3Q(a))+op_count_dfKe02y8D2(a,923)
    else:
        count = op_count_4JB6nKBMSY(a,a)+op_count_B3sABdIn96(a)+op_count_neKQRQQIil(op_4JB6nKBMSY(a,a),op_B3sABdIn96(a))
    return count


⋫⩝a = { (a⋅) , if (⨂⪏⇭a)!=67 ; (a∠⫱a) , else }

def op_0JxkUJ2rDq(a):
    if op_AYdpE9sXAk(a) != 67:
        return op_620seOwKww(a)
    else:
        return op_QvoQhV0rrE(a,a)

def op_count_0JxkUJ2rDq(a):
    if op_AYdpE9sXAk(a) != 67:
        count = op_count_620seOwKww(a)+op_count_AYdpE9sXAk(a)
    else:
        count = op_count_QvoQhV0rrE(a,a)
    return count


a↖b = { (((183⩍⋽⫝̸a)⋞(b+⪬∐b))⫩⊇) , if b==71 ; ((↥≼⋛(b∿⫑≎a))⨩≤⫤(⇠(⋑9))) , else }

def op_ojE0ZAmiGE(a, b):
    if b == 71:
        return op_BjRHVeLaeN(op_V4yb4KDoeF(op_BiWNJpBvwn(183,a),op_2GS7woTJqF(b,b)))
    else:
        return op_neKQRQQIil(op_x5lMkHmzsq(op_ar1w6gUwHX(b,a)),op_18saOjeKKm(op_iz8sE888QL(9)))

def op_count_ojE0ZAmiGE(a, b):
    if b == 71:
        count = op_count_BiWNJpBvwn(183,a)+op_count_2GS7woTJqF(b,b)+op_count_V4yb4KDoeF(op_BiWNJpBvwn(183,a),op_2GS7woTJqF(b,b))+op_count_BjRHVeLaeN(op_V4yb4KDoeF(op_BiWNJpBvwn(183,a),op_2GS7woTJqF(b,b)))
    else:
        count = op_count_ar1w6gUwHX(b,a)+op_count_x5lMkHmzsq(op_ar1w6gUwHX(b,a))+op_count_iz8sE888QL(9)+op_count_18saOjeKKm(op_iz8sE888QL(9))+op_count_neKQRQQIil(op_x5lMkHmzsq(op_ar1w6gUwHX(b,a)),op_18saOjeKKm(op_iz8sE888QL(9)))
    return count


def op_A4UbYHBgWq(a):
    if op_QKXs96F9fN(a) > 209:
        return op_UqUOXUQnbU(op_gSr4c7pPrV(op_YSKBFp38Pu(a,a)),op_BiWNJpBvwn(op_3EhVUz7Ug9(a),op_rIsGeVJWJF(a)))
    else:
        return op_xoJmIySC7h(op_PPChnnnBFF(op_nREPSIbpBE(243,a),op_umQnsF7QlU(a,119)),op_KYL1uVeVpb(a,op_YSKBFp38Pu(a,a)))

def op_count_A4UbYHBgWq(a):
    if op_QKXs96F9fN(a) > 209:
        count = op_count_YSKBFp38Pu(a,a)+op_count_gSr4c7pPrV(op_YSKBFp38Pu(a,a))+op_count_3EhVUz7Ug9(a)+op_count_rIsGeVJWJF(a)+op_count_BiWNJpBvwn(op_3EhVUz7Ug9(a),op_rIsGeVJWJF(a))+op_count_UqUOXUQnbU(op_gSr4c7pPrV(op_YSKBFp38Pu(a,a)),op_BiWNJpBvwn(op_3EhVUz7Ug9(a),op_rIsGeVJWJF(a)))+op_count_QKXs96F9fN(a)
    else:
        count = op_count_nREPSIbpBE(243,a)+op_count_umQnsF7QlU(a,119)+op_count_PPChnnnBFF(op_nREPSIbpBE(243,a),op_umQnsF7QlU(a,119))+op_count_YSKBFp38Pu(a,a)+op_count_KYL1uVeVpb(a,op_YSKBFp38Pu(a,a))+op_count_xoJmIySC7h(op_PPChnnnBFF(op_nREPSIbpBE(243,a),op_umQnsF7QlU(a,119)),op_KYL1uVeVpb(a,op_YSKBFp38Pu(a,a)))
    return count


def op_dFAOaJCxGq(a):
    if a != 295:
        return op_G8pG1QxO6Y(a)
    else:
        return op_Cr5xnr8B4B(a,364)

def op_count_dFAOaJCxGq(a):
    if a != 295:
        count = op_count_G8pG1QxO6Y(a)
    else:
        count = op_count_Cr5xnr8B4B(a,364)
    return count


a⪡⨥b = { b , if (b⨧619)>6 ; (⩕↛a) , else }

def op_rN9dtwqe3n(a, b):
    if op_3YWlZA9bsa(b,619) > 6:
        return b
    else:
        return op_3EhVUz7Ug9(a)

def op_count_rN9dtwqe3n(a, b):
    if op_3YWlZA9bsa(b,619) > 6:
        count = 1
    else:
        count = op_count_3EhVUz7Ug9(a)
    return count


def op_uuALuEY20A(a):
    if a > 108:
        return op_xRrnTEsQ6j(op_8TQKPGA8Ba(op_AdZkA7nFnk(a,96)),op_3sJ7IOPOlU(op_UpkSd4zESC(a,a),op_SPuZE40Ntn(a,a)))
    else:
        return op_3nqY3DE9mg(op_E4l6HwMY31(op_EBcxylXtPf(18),op_YbVcJGFEVW(335,a)))

def op_count_uuALuEY20A(a):
    if a > 108:
        count = op_count_AdZkA7nFnk(a,96)+op_count_8TQKPGA8Ba(op_AdZkA7nFnk(a,96))+op_count_UpkSd4zESC(a,a)+op_count_SPuZE40Ntn(a,a)+op_count_3sJ7IOPOlU(op_UpkSd4zESC(a,a),op_SPuZE40Ntn(a,a))+op_count_xRrnTEsQ6j(op_8TQKPGA8Ba(op_AdZkA7nFnk(a,96)),op_3sJ7IOPOlU(op_UpkSd4zESC(a,a),op_SPuZE40Ntn(a,a)))
    else:
        count = op_count_EBcxylXtPf(18)+op_count_YbVcJGFEVW(335,a)+op_count_E4l6HwMY31(op_EBcxylXtPf(18),op_YbVcJGFEVW(335,a))+op_count_3nqY3DE9mg(op_E4l6HwMY31(op_EBcxylXtPf(18),op_YbVcJGFEVW(335,a)))
    return count


a⇥⫝b = { b , if (∯a)<21 ; (((a⩣⫁∢a)≧⫂∧(b⪚⨁⋖a))⋅) , else }

def op_26qwp6pCTI(a, b):
    if op_13TjBizFrQ(a) < 21:
        return b
    else:
        return op_620seOwKww(op_Ph9nP6C5qx(op_JDUIKTTSIa(a,a),op_xSk1F0pZbF(b,a)))

def op_count_26qwp6pCTI(a, b):
    if op_13TjBizFrQ(a) < 21:
        count = 1
    else:
        count = op_count_JDUIKTTSIa(a,a)+op_count_xSk1F0pZbF(b,a)+op_count_Ph9nP6C5qx(op_JDUIKTTSIa(a,a),op_xSk1F0pZbF(b,a))+op_count_620seOwKww(op_Ph9nP6C5qx(op_JDUIKTTSIa(a,a),op_xSk1F0pZbF(b,a)))
    return count


def op_GIBeQO4UOL(a):
    if op_2z8nE7LpCu(a,725) <= 99 and a != 630:
        return op_Rw46J52cBJ(op_giaUb8UVhq(op_JclMnS0uGI(a,a),op_P75hhshrwX(71)),op_ut0Nd8ObBp(a))
    else:
        return op_6iafYuwGo8(op_j9kHMeSvPp(op_GMyVS5K48T(a,96),1),op_d8xe6WWVfM(op_HiPekx5b7W(a,a),a))

def op_count_GIBeQO4UOL(a):
    if op_2z8nE7LpCu(a,725) <= 99 and a != 630:
        count = op_count_JclMnS0uGI(a,a)+op_count_P75hhshrwX(71)+op_count_giaUb8UVhq(op_JclMnS0uGI(a,a),op_P75hhshrwX(71))+op_count_ut0Nd8ObBp(a)+op_count_Rw46J52cBJ(op_giaUb8UVhq(op_JclMnS0uGI(a,a),op_P75hhshrwX(71)),op_ut0Nd8ObBp(a))+op_count_2z8nE7LpCu(a,725)
    else:
        count = op_count_GMyVS5K48T(a,96)+op_count_j9kHMeSvPp(op_GMyVS5K48T(a,96),1)+op_count_HiPekx5b7W(a,a)+op_count_d8xe6WWVfM(op_HiPekx5b7W(a,a),a)+op_count_6iafYuwGo8(op_j9kHMeSvPp(op_GMyVS5K48T(a,96),1),op_d8xe6WWVfM(op_HiPekx5b7W(a,a),a))
    return count


a↩∅b = { (a≻⇥≳((886⫯⪬∳64)⪿⇪⊩(a⊢a))) , if (⋼∭⪍a)>=419 ; ((⊿(b⩘⋿454))∌↝((b⪔⊥a)⨜⇔a)) , else }

def op_wZLuOmreA3(a, b):
    if op_DbCuESL50I(a) >= 419:
        return op_aiqF8n6J9c(a,op_OGWBzMv138(op_d7ASUq0ydm(886,64),op_5twsqlHp2o(a,a)))
    else:
        return op_9Isq31Ruls(op_DO4fhlbJSI(op_64EQ39e0fC(b,454)),op_Sq3AGanRSD(op_HJ9erzHUuu(b,a),a))

def op_count_wZLuOmreA3(a, b):
    if op_DbCuESL50I(a) >= 419:
        count = op_count_d7ASUq0ydm(886,64)+op_count_5twsqlHp2o(a,a)+op_count_OGWBzMv138(op_d7ASUq0ydm(886,64),op_5twsqlHp2o(a,a))+op_count_aiqF8n6J9c(a,op_OGWBzMv138(op_d7ASUq0ydm(886,64),op_5twsqlHp2o(a,a)))+op_count_DbCuESL50I(a)
    else:
        count = op_count_64EQ39e0fC(b,454)+op_count_DO4fhlbJSI(op_64EQ39e0fC(b,454))+op_count_HJ9erzHUuu(b,a)+op_count_Sq3AGanRSD(op_HJ9erzHUuu(b,a),a)+op_count_9Isq31Ruls(op_DO4fhlbJSI(op_64EQ39e0fC(b,454)),op_Sq3AGanRSD(op_HJ9erzHUuu(b,a),a))
    return count


def op_NDAD7yaulu(a):
    if a != 81:
        return op_Ph9nP6C5qx(op_IxJHfR5psi(op_oPMjh9089D(a),op_kuIXHzHcAH(a,a)),op_hrf7POJlIJ(op_z4E1FaHLuy(a),op_4JGOJzXMq1(a,a)))
    else:
        return op_D4vGDi5EA2(op_oPMjh9089D(op_zoVPnxeHJ3(23)))

def op_count_NDAD7yaulu(a):
    if a != 81:
        count = op_count_oPMjh9089D(a)+op_count_kuIXHzHcAH(a,a)+op_count_IxJHfR5psi(op_oPMjh9089D(a),op_kuIXHzHcAH(a,a))+op_count_z4E1FaHLuy(a)+op_count_4JGOJzXMq1(a,a)+op_count_hrf7POJlIJ(op_z4E1FaHLuy(a),op_4JGOJzXMq1(a,a))+op_count_Ph9nP6C5qx(op_IxJHfR5psi(op_oPMjh9089D(a),op_kuIXHzHcAH(a,a)),op_hrf7POJlIJ(op_z4E1FaHLuy(a),op_4JGOJzXMq1(a,a)))
    else:
        count = op_count_zoVPnxeHJ3(23)+op_count_oPMjh9089D(op_zoVPnxeHJ3(23))+op_count_D4vGDi5EA2(op_oPMjh9089D(op_zoVPnxeHJ3(23)))
    return count


a⩿⩜b = { ((a⋘a)⪨(⫡⇟⇯a)) , if b!=132 ; ((b⫻⋑⊟)⇖↽(a⪨a)) , else }

def op_jeyBgv6tGe(a, b):
    if b != 132:
        return op_2z8nE7LpCu(op_2M7SKlOzyM(a,a),op_qWUSsah53b(a))
    else:
        return op_cwbF3JtlMN(op_o575Zjdmzy(b),op_2z8nE7LpCu(a,a))

def op_count_jeyBgv6tGe(a, b):
    if b != 132:
        count = op_count_2M7SKlOzyM(a,a)+op_count_qWUSsah53b(a)+op_count_2z8nE7LpCu(op_2M7SKlOzyM(a,a),op_qWUSsah53b(a))
    else:
        count = op_count_o575Zjdmzy(b)+op_count_2z8nE7LpCu(a,a)+op_count_cwbF3JtlMN(op_o575Zjdmzy(b),op_2z8nE7LpCu(a,a))
    return count


a⩋⩃-b = { (⪀≱(a⪍↜⋙b)) , if a>716 ; (⨑⩽⪐(b⨓↿∉107)) , else }

def op_PQ5jInepzR(a, b):
    if a > 716:
        return op_tDVI6bDdAd(op_L05ObWFQCd(a,b))
    else:
        return op_AF7qkfDlqP(op_OWnFPqjWlR(b,107))

def op_count_PQ5jInepzR(a, b):
    if a > 716:
        count = op_count_L05ObWFQCd(a,b)+op_count_tDVI6bDdAd(op_L05ObWFQCd(a,b))
    else:
        count = op_count_OWnFPqjWlR(b,107)+op_count_AF7qkfDlqP(op_OWnFPqjWlR(b,107))
    return count


a⇩⩌b = { (⨾∊⩁b) , if a>=101 ; (b∀⩎⋷b) , else }

def op_WtSaZj39hj(a, b):
    if a >= 101:
        return op_QErWpSDGk0(b)
    else:
        return op_FPxP5Y1j0W(b,b)

def op_count_WtSaZj39hj(a, b):
    if a >= 101:
        count = op_count_QErWpSDGk0(b)
    else:
        count = op_count_FPxP5Y1j0W(b,b)
    return count


a⫭⊯⇵b = { (((⊤b)⫀)⫡⨏((⫎≠⋺b)⪚⊾⩭)) , if (⇻⨃⇄a)>=530 ; (b⨣∐↬((a≧⊼a)⊋≦⊧(⪭≋⋼b))) , else }

def op_b1N51d35SA(a, b):
    if op_fLGIAiPz9h(a) >= 530:
        return op_QMFrweE19q(op_hFnZRMLNSM(op_oDvtRyfmAM(b)),op_ebeGRCukrZ(op_LYeZOJ0nQG(b)))
    else:
        return op_UpkSd4zESC(b,op_oRDoc9rAEX(op_JoLB3LXqXx(a,a),op_EZ6cjipfBz(b)))

def op_count_b1N51d35SA(a, b):
    if op_fLGIAiPz9h(a) >= 530:
        count = op_count_oDvtRyfmAM(b)+op_count_hFnZRMLNSM(op_oDvtRyfmAM(b))+op_count_LYeZOJ0nQG(b)+op_count_ebeGRCukrZ(op_LYeZOJ0nQG(b))+op_count_QMFrweE19q(op_hFnZRMLNSM(op_oDvtRyfmAM(b)),op_ebeGRCukrZ(op_LYeZOJ0nQG(b)))+op_count_fLGIAiPz9h(a)
    else:
        count = op_count_JoLB3LXqXx(a,a)+op_count_EZ6cjipfBz(b)+op_count_oRDoc9rAEX(op_JoLB3LXqXx(a,a),op_EZ6cjipfBz(b))+op_count_UpkSd4zESC(b,op_oRDoc9rAEX(op_JoLB3LXqXx(a,a),op_EZ6cjipfBz(b)))
    return count


a∉b = { (((a∇⊂⋱a)⋝⋈⪟(b⇤a))⩚) , if (b⊢)<525 ; (((a⋳/a)⪒⊣⊆(b⋅⇍105))⊉≛↸(≇⪴(a⪖⪡b))) , else }

def op_ZpNKXFjcIY(a, b):
    if op_40aOVDgCDB(b) < 525:
        return op_i3MWstRFMQ(op_2DDjHMKMc0(op_nhYeJWJD5X(a,a),op_YSKBFp38Pu(b,a)))
    else:
        return op_DZ8iAZOCBD(op_eRqsBgTDFp(op_m612RDITqL(a,a),op_AdZkA7nFnk(b,105)),op_zoVPnxeHJ3(op_7PjNe5qSIJ(a,b)))

def op_count_ZpNKXFjcIY(a, b):
    if op_40aOVDgCDB(b) < 525:
        count = op_count_nhYeJWJD5X(a,a)+op_count_YSKBFp38Pu(b,a)+op_count_2DDjHMKMc0(op_nhYeJWJD5X(a,a),op_YSKBFp38Pu(b,a))+op_count_i3MWstRFMQ(op_2DDjHMKMc0(op_nhYeJWJD5X(a,a),op_YSKBFp38Pu(b,a)))+op_count_40aOVDgCDB(b)
    else:
        count = op_count_m612RDITqL(a,a)+op_count_AdZkA7nFnk(b,105)+op_count_eRqsBgTDFp(op_m612RDITqL(a,a),op_AdZkA7nFnk(b,105))+op_count_7PjNe5qSIJ(a,b)+op_count_zoVPnxeHJ3(op_7PjNe5qSIJ(a,b))+op_count_DZ8iAZOCBD(op_eRqsBgTDFp(op_m612RDITqL(a,a),op_AdZkA7nFnk(b,105)),op_zoVPnxeHJ3(op_7PjNe5qSIJ(a,b)))
    return count


a∗b = { (((b⨸⪁a)≧⫂∧(↥≼⋛b))⪕((a⇴b)↜⊷(a⩵∡b))) , if (b⩵∡418)<327 ; (((a⨑≵⋬b)∊⊞≈(a≻⇥≳a))⨜⨶(b+⪬∐(⋃b))) , else }

def op_9aXLFNf8dt(a, b):
    if op_Y7wcNGrDQJ(b,418) < 327:
        return op_umQnsF7QlU(op_Ph9nP6C5qx(op_g55IO6H4Gj(b,a),op_x5lMkHmzsq(b)),op_irKjLsMeKy(op_4JB6nKBMSY(a,b),op_Y7wcNGrDQJ(a,b)))
    else:
        return op_HiPekx5b7W(op_keuJNkrrbj(op_XnXgA4xnOs(a,b),op_aiqF8n6J9c(a,a)),op_2GS7woTJqF(b,op_3mBM5G4a3l(b)))

def op_count_9aXLFNf8dt(a, b):
    if op_Y7wcNGrDQJ(b,418) < 327:
        count = op_count_g55IO6H4Gj(b,a)+op_count_x5lMkHmzsq(b)+op_count_Ph9nP6C5qx(op_g55IO6H4Gj(b,a),op_x5lMkHmzsq(b))+op_count_4JB6nKBMSY(a,b)+op_count_Y7wcNGrDQJ(a,b)+op_count_irKjLsMeKy(op_4JB6nKBMSY(a,b),op_Y7wcNGrDQJ(a,b))+op_count_umQnsF7QlU(op_Ph9nP6C5qx(op_g55IO6H4Gj(b,a),op_x5lMkHmzsq(b)),op_irKjLsMeKy(op_4JB6nKBMSY(a,b),op_Y7wcNGrDQJ(a,b)))+op_count_Y7wcNGrDQJ(b,418)
    else:
        count = op_count_XnXgA4xnOs(a,b)+op_count_aiqF8n6J9c(a,a)+op_count_keuJNkrrbj(op_XnXgA4xnOs(a,b),op_aiqF8n6J9c(a,a))+op_count_3mBM5G4a3l(b)+op_count_2GS7woTJqF(b,op_3mBM5G4a3l(b))+op_count_HiPekx5b7W(op_keuJNkrrbj(op_XnXgA4xnOs(a,b),op_aiqF8n6J9c(a,a)),op_2GS7woTJqF(b,op_3mBM5G4a3l(b)))
    return count


a⩚→∷ = { (⇍(⨝⨆(a⊲⩕⊾a))) , if (∯a)>=732 ; (((a⨧↗⨷a)≟⫹(⋸⪍a))∲⫑(⨢⋑⪾(a∽a))) , else }

def op_EME5WDdOsX(a):
    if op_13TjBizFrQ(a) >= 732:
        return op_H9jWZL1q0V(op_bQ67fsrMVf(op_DmTXOeWf9t(a,a)))
    else:
        return op_NrdPCfJQiM(op_z2JHNkvbdm(op_WSbXXWOizJ(a,a),op_PrwIXj9ZQe(a)),op_tmjFFOTKyA(op_y4ImoPnbV5(a,a)))

def op_count_EME5WDdOsX(a):
    if op_13TjBizFrQ(a) >= 732:
        count = op_count_DmTXOeWf9t(a,a)+op_count_bQ67fsrMVf(op_DmTXOeWf9t(a,a))+op_count_H9jWZL1q0V(op_bQ67fsrMVf(op_DmTXOeWf9t(a,a)))+op_count_13TjBizFrQ(a)
    else:
        count = op_count_WSbXXWOizJ(a,a)+op_count_PrwIXj9ZQe(a)+op_count_z2JHNkvbdm(op_WSbXXWOizJ(a,a),op_PrwIXj9ZQe(a))+op_count_y4ImoPnbV5(a,a)+op_count_tmjFFOTKyA(op_y4ImoPnbV5(a,a))+op_count_NrdPCfJQiM(op_z2JHNkvbdm(op_WSbXXWOizJ(a,a),op_PrwIXj9ZQe(a)),op_tmjFFOTKyA(op_y4ImoPnbV5(a,a)))
    return count


def op_5AgZUzVIQa(a):
    if a >= 530:
        return op_y2kQTS4a70(a,a)
    else:
        return op_hrf7POJlIJ(473,a)

def op_count_5AgZUzVIQa(a):
    if a >= 530:
        count = op_count_y2kQTS4a70(a,a)
    else:
        count = op_count_hrf7POJlIJ(473,a)
    return count


def op_69AmfhvhRu(a):
    if op_Ikt5ks8PT7(a,466) <= 619:
        return op_hmlrMsD2PO(op_cwbF3JtlMN(op_18saOjeKKm(556),op_RHru8klgy8(a)),op_S5ZFQS4GK3(op_zoVPnxeHJ3(a),op_cwbF3JtlMN(a,a)))
    else:
        return op_nCS4ZIUYfx(op_Y5cEcQhyKu(op_vg4gO5BX6G(a,a),op_3YWlZA9bsa(a,59)),op_KPf6cnQVty(op_W4YGzv6Whe(a,a),op_3Oe9XWJUTD(810,a)))

def op_count_69AmfhvhRu(a):
    if op_Ikt5ks8PT7(a,466) <= 619:
        count = op_count_18saOjeKKm(556)+op_count_RHru8klgy8(a)+op_count_cwbF3JtlMN(op_18saOjeKKm(556),op_RHru8klgy8(a))+op_count_zoVPnxeHJ3(a)+op_count_cwbF3JtlMN(a,a)+op_count_S5ZFQS4GK3(op_zoVPnxeHJ3(a),op_cwbF3JtlMN(a,a))+op_count_hmlrMsD2PO(op_cwbF3JtlMN(op_18saOjeKKm(556),op_RHru8klgy8(a)),op_S5ZFQS4GK3(op_zoVPnxeHJ3(a),op_cwbF3JtlMN(a,a)))+op_count_Ikt5ks8PT7(a,466)
    else:
        count = op_count_vg4gO5BX6G(a,a)+op_count_3YWlZA9bsa(a,59)+op_count_Y5cEcQhyKu(op_vg4gO5BX6G(a,a),op_3YWlZA9bsa(a,59))+op_count_W4YGzv6Whe(a,a)+op_count_3Oe9XWJUTD(810,a)+op_count_KPf6cnQVty(op_W4YGzv6Whe(a,a),op_3Oe9XWJUTD(810,a))+op_count_nCS4ZIUYfx(op_Y5cEcQhyKu(op_vg4gO5BX6G(a,a),op_3YWlZA9bsa(a,59)),op_KPf6cnQVty(op_W4YGzv6Whe(a,a),op_3Oe9XWJUTD(810,a)))
    return count


a⪼b = { (b⨐a) , if a>=628 ; (b⊩≵⪔) , else }

def op_enyv3EGcQ1(a, b):
    if a >= 628:
        return op_Noe24qw2ks(b,a)
    else:
        return op_aDRGw0okjd(b)

def op_count_enyv3EGcQ1(a, b):
    if a >= 628:
        count = op_count_Noe24qw2ks(b,a)
    else:
        count = op_count_aDRGw0okjd(b)
    return count


def op_LCrUByRFnp(a):
    if a != 64:
        return op_3EYGwJThht(op_UoVew8f2p2(op_HiPekx5b7W(a,a),op_cwbF3JtlMN(a,a)),op_Z5m6OM72h2(op_kuIXHzHcAH(a,177),op_vg4gO5BX6G(868,228)))
    else:
        return op_qy3n0tapmE(op_DZ8iAZOCBD(op_ObEyaaML9x(a,a),op_IpgdDpBHsO(a)),op_8HCJqvcFkE(op_jBC4ymW3D7(a,265)))

def op_count_LCrUByRFnp(a):
    if a != 64:
        count = op_count_HiPekx5b7W(a,a)+op_count_cwbF3JtlMN(a,a)+op_count_UoVew8f2p2(op_HiPekx5b7W(a,a),op_cwbF3JtlMN(a,a))+op_count_kuIXHzHcAH(a,177)+op_count_vg4gO5BX6G(868,228)+op_count_Z5m6OM72h2(op_kuIXHzHcAH(a,177),op_vg4gO5BX6G(868,228))+op_count_3EYGwJThht(op_UoVew8f2p2(op_HiPekx5b7W(a,a),op_cwbF3JtlMN(a,a)),op_Z5m6OM72h2(op_kuIXHzHcAH(a,177),op_vg4gO5BX6G(868,228)))
    else:
        count = op_count_ObEyaaML9x(a,a)+op_count_IpgdDpBHsO(a)+op_count_DZ8iAZOCBD(op_ObEyaaML9x(a,a),op_IpgdDpBHsO(a))+op_count_jBC4ymW3D7(a,265)+op_count_8HCJqvcFkE(op_jBC4ymW3D7(a,265))+op_count_qy3n0tapmE(op_DZ8iAZOCBD(op_ObEyaaML9x(a,a),op_IpgdDpBHsO(a)),op_8HCJqvcFkE(op_jBC4ymW3D7(a,265)))
    return count


def op_zg3XA2Cjdk(a):
    if (op_DmTXOeWf9t(a,68) < 378 or op_sM9mzqIDB1(a,793) > 393):
        return op_ar1w6gUwHX(a,a)
    else:
        return op_86A5ENbKR9(414)

def op_count_zg3XA2Cjdk(a):
    if (op_DmTXOeWf9t(a,68) < 378 or op_sM9mzqIDB1(a,793) > 393):
        count = op_count_ar1w6gUwHX(a,a)+op_count_DmTXOeWf9t(a,68)+op_count_sM9mzqIDB1(a,793)
    else:
        count = op_count_86A5ENbKR9(414)
    return count


a⩀ = { (((537≚⊃≕a)-(a∿⫑≎a))⩚⊴⇥((a⪎↠a)⨑a)) , if (a<44 and (a⊇≀≁)>=731) ; (((463⨑≵⋬a)⪲⨢(a↾⩰))⨵⪆((a⩚⊴⇥a)∙∹∝(a⨻⪊⨷247))) , else }

def op_FnVB2mpEQa(a):
    if (a < 44 and op_AfoL3wC8aT(a) >= 731):
        return op_NTOWxs364D(op_rysDP5nf3Z(op_Bmrmz2XGnR(537,a),op_ar1w6gUwHX(a,a)),op_IxJHfR5psi(op_3tVxb0NHM4(a,a),a))
    else:
        return op_2DQ55sFlQl(op_6iafYuwGo8(op_XnXgA4xnOs(463,a),op_GNmBfxrna9(a)),op_HmxsFra2vL(op_NTOWxs364D(a,a),op_Pkwamo1tM2(a,247)))

def op_count_FnVB2mpEQa(a):
    if (a < 44 and op_AfoL3wC8aT(a) >= 731):
        count = op_count_Bmrmz2XGnR(537,a)+op_count_ar1w6gUwHX(a,a)+op_count_rysDP5nf3Z(op_Bmrmz2XGnR(537,a),op_ar1w6gUwHX(a,a))+op_count_3tVxb0NHM4(a,a)+op_count_IxJHfR5psi(op_3tVxb0NHM4(a,a),a)+op_count_NTOWxs364D(op_rysDP5nf3Z(op_Bmrmz2XGnR(537,a),op_ar1w6gUwHX(a,a)),op_IxJHfR5psi(op_3tVxb0NHM4(a,a),a))+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_XnXgA4xnOs(463,a)+op_count_GNmBfxrna9(a)+op_count_6iafYuwGo8(op_XnXgA4xnOs(463,a),op_GNmBfxrna9(a))+op_count_NTOWxs364D(a,a)+op_count_Pkwamo1tM2(a,247)+op_count_HmxsFra2vL(op_NTOWxs364D(a,a),op_Pkwamo1tM2(a,247))+op_count_2DQ55sFlQl(op_6iafYuwGo8(op_XnXgA4xnOs(463,a),op_GNmBfxrna9(a)),op_HmxsFra2vL(op_NTOWxs364D(a,a),op_Pkwamo1tM2(a,247)))
    return count


a≖ = { (a∊⊞≈((84⊹≧⊝)⪱⇝(a-550))) , if (a⫦∱⫙)!=828 ; (((a⫗⊒⇾a)⨑≵⋬(a⪔⊥a))⩚⊴⇥((15⩼⇪↪a)⩼⇪↪(a⩽⩡a))) , else }

def op_dAvLJZHBt7(a):
    if op_tHMVLcQ9bH(a) != 828:
        return op_keuJNkrrbj(a,op_OTRTVPweYV(op_LxFB4K6j0n(84),op_rysDP5nf3Z(a,550)))
    else:
        return op_NTOWxs364D(op_XnXgA4xnOs(op_hiBDRd40bf(a,a),op_HJ9erzHUuu(a,a)),op_ocnLzx9CaJ(op_ocnLzx9CaJ(15,a),op_zFNL8mZEFB(a,a)))

def op_count_dAvLJZHBt7(a):
    if op_tHMVLcQ9bH(a) != 828:
        count = op_count_LxFB4K6j0n(84)+op_count_rysDP5nf3Z(a,550)+op_count_OTRTVPweYV(op_LxFB4K6j0n(84),op_rysDP5nf3Z(a,550))+op_count_keuJNkrrbj(a,op_OTRTVPweYV(op_LxFB4K6j0n(84),op_rysDP5nf3Z(a,550)))+op_count_tHMVLcQ9bH(a)
    else:
        count = op_count_hiBDRd40bf(a,a)+op_count_HJ9erzHUuu(a,a)+op_count_XnXgA4xnOs(op_hiBDRd40bf(a,a),op_HJ9erzHUuu(a,a))+op_count_ocnLzx9CaJ(15,a)+op_count_zFNL8mZEFB(a,a)+op_count_ocnLzx9CaJ(op_ocnLzx9CaJ(15,a),op_zFNL8mZEFB(a,a))+op_count_NTOWxs364D(op_XnXgA4xnOs(op_hiBDRd40bf(a,a),op_HJ9erzHUuu(a,a)),op_ocnLzx9CaJ(op_ocnLzx9CaJ(15,a),op_zFNL8mZEFB(a,a)))
    return count


⫃⋏⪵a = { (⇒⊙∲a) , if a!=151 ; (a∠⫱139) , else }

def op_oP7ayciNnu(a):
    if a != 151:
        return op_8HCJqvcFkE(a)
    else:
        return op_QvoQhV0rrE(a,139)

def op_count_oP7ayciNnu(a):
    if a != 151:
        count = op_count_8HCJqvcFkE(a)
    else:
        count = op_count_QvoQhV0rrE(a,139)
    return count


⫻⩤a = { (a⋢a) , if (⪭≋⋼a)==390 ; a , else }

def op_UQXuZ4ILBz(a):
    if op_EZ6cjipfBz(a) == 390:
        return op_NdELin8EPX(a,a)
    else:
        return a

def op_count_UQXuZ4ILBz(a):
    if op_EZ6cjipfBz(a) == 390:
        count = op_count_NdELin8EPX(a,a)+op_count_EZ6cjipfBz(a)
    else:
        count = 1
    return count


a≓⊒≚ = { ((a⋞a)⇟⨁⪰) , if a>=878 ; (⫳⪺∰(a⫻⋑⊟)) , else }

def op_BNGsloQH8l(a):
    if a >= 878:
        return op_BX1lVwlMe0(op_V4yb4KDoeF(a,a))
    else:
        return op_eftAHwPbeA(op_o575Zjdmzy(a))

def op_count_BNGsloQH8l(a):
    if a >= 878:
        count = op_count_V4yb4KDoeF(a,a)+op_count_BX1lVwlMe0(op_V4yb4KDoeF(a,a))
    else:
        count = op_count_o575Zjdmzy(a)+op_count_eftAHwPbeA(op_o575Zjdmzy(a))
    return count


⊮a = { ((159∄a)⨩≤⫤(a⪎⨄⋝)) , if a>=521 and a!=141 and a>=210 ; ((a⋟⫀⨗a)∫⋜⩖(a∊⊞≈a)) , else }

def op_FgfPIZ09o7(a):
    if a >= 521 and a != 141 and a >= 210:
        return op_neKQRQQIil(op_tnyRA5sazQ(159,a),op_kweVJGAjhl(a))
    else:
        return op_JgXZM7XvWE(op_dAAkup5nzi(a,a),op_keuJNkrrbj(a,a))

def op_count_FgfPIZ09o7(a):
    if a >= 521 and a != 141 and a >= 210:
        count = op_count_tnyRA5sazQ(159,a)+op_count_kweVJGAjhl(a)+op_count_neKQRQQIil(op_tnyRA5sazQ(159,a),op_kweVJGAjhl(a))
    else:
        count = op_count_dAAkup5nzi(a,a)+op_count_keuJNkrrbj(a,a)+op_count_JgXZM7XvWE(op_dAAkup5nzi(a,a),op_keuJNkrrbj(a,a))
    return count


⫓a = { (a⋘a) , if a!=160 ; (⊡⇒⪪a) , else }

def op_w9UCfAjeUR(a):
    if a != 160:
        return op_2M7SKlOzyM(a,a)
    else:
        return op_wisItNeSwq(a)

def op_count_w9UCfAjeUR(a):
    if a != 160:
        count = op_count_2M7SKlOzyM(a,a)
    else:
        count = op_count_wisItNeSwq(a)
    return count


def op_4YvEnb44Dc(a):
    if op_t4WUHVGj7f(a) <= 25:
        return op_D3AQDKkPcf(op_D3AQDKkPcf(op_L05ObWFQCd(a,a),op_TytFGXR7Zf(264)),op_AnPstFaJd9(op_HiPekx5b7W(272,a)))
    else:
        return op_qWUSsah53b(a)

def op_count_4YvEnb44Dc(a):
    if op_t4WUHVGj7f(a) <= 25:
        count = op_count_L05ObWFQCd(a,a)+op_count_TytFGXR7Zf(264)+op_count_D3AQDKkPcf(op_L05ObWFQCd(a,a),op_TytFGXR7Zf(264))+op_count_HiPekx5b7W(272,a)+op_count_AnPstFaJd9(op_HiPekx5b7W(272,a))+op_count_D3AQDKkPcf(op_D3AQDKkPcf(op_L05ObWFQCd(a,a),op_TytFGXR7Zf(264)),op_AnPstFaJd9(op_HiPekx5b7W(272,a)))+op_count_t4WUHVGj7f(a)
    else:
        count = op_count_qWUSsah53b(a)
    return count


⫛⫝a = { ((⨞⊢a)⫃⨇a) , if a>7 ; (a⋞(a⇤a)) , else }

def op_wKVdG4GJt7(a):
    if a > 7:
        return op_09Ly4LVMIf(op_xUOZtlo3hN(a),a)
    else:
        return op_V4yb4KDoeF(a,op_YSKBFp38Pu(a,a))

def op_count_wKVdG4GJt7(a):
    if a > 7:
        count = op_count_xUOZtlo3hN(a)+op_count_09Ly4LVMIf(op_xUOZtlo3hN(a),a)
    else:
        count = op_count_YSKBFp38Pu(a,a)+op_count_V4yb4KDoeF(a,op_YSKBFp38Pu(a,a))
    return count


def op_UqQFc3aWL8(a):
    if op_qU6oQAhJaQ(a) == 133:
        return op_EWw2JM7wp4(op_S5ZFQS4GK3(146,a),op_AdZkA7nFnk(a,a))
    else:
        return op_uysxUYN2L2(op_eVHdItn4YL(a),494)

def op_count_UqQFc3aWL8(a):
    if op_qU6oQAhJaQ(a) == 133:
        count = op_count_S5ZFQS4GK3(146,a)+op_count_AdZkA7nFnk(a,a)+op_count_EWw2JM7wp4(op_S5ZFQS4GK3(146,a),op_AdZkA7nFnk(a,a))+op_count_qU6oQAhJaQ(a)
    else:
        count = op_count_eVHdItn4YL(a)+op_count_uysxUYN2L2(op_eVHdItn4YL(a),494)
    return count


def op_YKIeB6uNw6(a):
    if a == 568:
        return op_vg4gO5BX6G(op_Api82iH42a(op_W2rMsuCzF8(a),op_DZ8iAZOCBD(1,a)),op_jBC4ymW3D7(op_IwW236VD4Y(590,a),op_P8v4zCKN1o(59)))
    else:
        return op_1aApVXNlOP(op_rysDP5nf3Z(op_MXaNJeIAZ3(30),op_d8xe6WWVfM(a,a)),op_69GgKhV9QQ(op_ztP7wcbY7m(a)))

def op_count_YKIeB6uNw6(a):
    if a == 568:
        count = op_count_W2rMsuCzF8(a)+op_count_DZ8iAZOCBD(1,a)+op_count_Api82iH42a(op_W2rMsuCzF8(a),op_DZ8iAZOCBD(1,a))+op_count_IwW236VD4Y(590,a)+op_count_P8v4zCKN1o(59)+op_count_jBC4ymW3D7(op_IwW236VD4Y(590,a),op_P8v4zCKN1o(59))+op_count_vg4gO5BX6G(op_Api82iH42a(op_W2rMsuCzF8(a),op_DZ8iAZOCBD(1,a)),op_jBC4ymW3D7(op_IwW236VD4Y(590,a),op_P8v4zCKN1o(59)))
    else:
        count = op_count_MXaNJeIAZ3(30)+op_count_d8xe6WWVfM(a,a)+op_count_rysDP5nf3Z(op_MXaNJeIAZ3(30),op_d8xe6WWVfM(a,a))+op_count_ztP7wcbY7m(a)+op_count_69GgKhV9QQ(op_ztP7wcbY7m(a))+op_count_1aApVXNlOP(op_rysDP5nf3Z(op_MXaNJeIAZ3(30),op_d8xe6WWVfM(a,a)),op_69GgKhV9QQ(op_ztP7wcbY7m(a)))
    return count


a⩩⫓⨁ = { ((58⋂⩴(a⨸⪁a))⫍⨯↯) , if (a⇴741)>=17 ; (((a⫸⇳a)↜⊷(a⫻⋑⊟))⊵(⩪∧⨌(53⨐a))) , else }

def op_zwoA5Vb5OR(a):
    if op_4JB6nKBMSY(a,741) >= 17:
        return op_ZcwmYACASQ(op_hmlrMsD2PO(58,op_g55IO6H4Gj(a,a)))
    else:
        return op_eaFBhJ0Uku(op_irKjLsMeKy(op_gx7XJ7hdpj(a,a),op_o575Zjdmzy(a)),op_6iOiAJX1F8(op_Noe24qw2ks(53,a)))

def op_count_zwoA5Vb5OR(a):
    if op_4JB6nKBMSY(a,741) >= 17:
        count = op_count_g55IO6H4Gj(a,a)+op_count_hmlrMsD2PO(58,op_g55IO6H4Gj(a,a))+op_count_ZcwmYACASQ(op_hmlrMsD2PO(58,op_g55IO6H4Gj(a,a)))+op_count_4JB6nKBMSY(a,741)
    else:
        count = op_count_gx7XJ7hdpj(a,a)+op_count_o575Zjdmzy(a)+op_count_irKjLsMeKy(op_gx7XJ7hdpj(a,a),op_o575Zjdmzy(a))+op_count_Noe24qw2ks(53,a)+op_count_6iOiAJX1F8(op_Noe24qw2ks(53,a))+op_count_eaFBhJ0Uku(op_irKjLsMeKy(op_gx7XJ7hdpj(a,a),op_o575Zjdmzy(a)),op_6iOiAJX1F8(op_Noe24qw2ks(53,a)))
    return count


a⋥⇧b = { (((a↱⊪⇍)⋝⋈⪟(b⨰↻⪇b))⫸⇳((a⨐0)∣(⊠a))) , if a<736 ; (((80⩦a)↹⊜(⩏⊷≩b))⊕⨔) , else }

def op_UAZAhLH3kE(a, b):
    if a < 736:
        return op_gx7XJ7hdpj(op_2DDjHMKMc0(op_Zubgv0tBda(a),op_nbuSfrB4hB(b,b)),op_PPChnnnBFF(op_Noe24qw2ks(a,0),op_R3vAdrE3IH(a)))
    else:
        return op_ut0Nd8ObBp(op_9bazX3JMtO(op_0kmYd0q39Y(80,a),op_uOZ1tnYMDE(b)))

def op_count_UAZAhLH3kE(a, b):
    if a < 736:
        count = op_count_Zubgv0tBda(a)+op_count_nbuSfrB4hB(b,b)+op_count_2DDjHMKMc0(op_Zubgv0tBda(a),op_nbuSfrB4hB(b,b))+op_count_Noe24qw2ks(a,0)+op_count_R3vAdrE3IH(a)+op_count_PPChnnnBFF(op_Noe24qw2ks(a,0),op_R3vAdrE3IH(a))+op_count_gx7XJ7hdpj(op_2DDjHMKMc0(op_Zubgv0tBda(a),op_nbuSfrB4hB(b,b)),op_PPChnnnBFF(op_Noe24qw2ks(a,0),op_R3vAdrE3IH(a)))
    else:
        count = op_count_0kmYd0q39Y(80,a)+op_count_uOZ1tnYMDE(b)+op_count_9bazX3JMtO(op_0kmYd0q39Y(80,a),op_uOZ1tnYMDE(b))+op_count_ut0Nd8ObBp(op_9bazX3JMtO(op_0kmYd0q39Y(80,a),op_uOZ1tnYMDE(b)))
    return count


a⨕⪎∫b = { ((b⪚a)⩵∡(49⪹)) , if (b⫇⋯218)>138 ; ((a≬⋮a)⨁⊸⫻) , else }

def op_6RfnUF5SwA(a, b):
    if op_xoJmIySC7h(b,218) > 138:
        return op_Y7wcNGrDQJ(op_HrjLwUk87U(b,a),op_B3sABdIn96(49))
    else:
        return op_glklzrTFfD(op_kbkesczE7y(a,a))

def op_count_6RfnUF5SwA(a, b):
    if op_xoJmIySC7h(b,218) > 138:
        count = op_count_HrjLwUk87U(b,a)+op_count_B3sABdIn96(49)+op_count_Y7wcNGrDQJ(op_HrjLwUk87U(b,a),op_B3sABdIn96(49))+op_count_xoJmIySC7h(b,218)
    else:
        count = op_count_kbkesczE7y(a,a)+op_count_glklzrTFfD(op_kbkesczE7y(a,a))
    return count


def op_87d232jbQB(a):
    if (a > 310 and op_3tVxb0NHM4(a,712) == 304):
        return op_RygbFNSyEJ(op_2GS7woTJqF(78,a),op_B3tNObfNaL(a))
    else:
        return op_JgXZM7XvWE(op_tmjFFOTKyA(265),op_jvbZP6NeOL(22))

def op_count_87d232jbQB(a):
    if (a > 310 and op_3tVxb0NHM4(a,712) == 304):
        count = op_count_2GS7woTJqF(78,a)+op_count_B3tNObfNaL(a)+op_count_RygbFNSyEJ(op_2GS7woTJqF(78,a),op_B3tNObfNaL(a))+op_count_3tVxb0NHM4(a,712)
    else:
        count = op_count_tmjFFOTKyA(265)+op_count_jvbZP6NeOL(22)+op_count_JgXZM7XvWE(op_tmjFFOTKyA(265),op_jvbZP6NeOL(22))
    return count


def op_DkI5niHnM6(a, b):
    if (op_iuk5sVOGFA(b) == 388 or b != 54):
        return op_z2JHNkvbdm(a,b)
    else:
        return op_0kmYd0q39Y(a,a)

def op_count_DkI5niHnM6(a, b):
    if (op_iuk5sVOGFA(b) == 388 or b != 54):
        count = op_count_z2JHNkvbdm(a,b)+op_count_iuk5sVOGFA(b)
    else:
        count = op_count_0kmYd0q39Y(a,a)
    return count


a⩇-b = { (((a∐⫣)≃(a∲⫑500))↢((536⨜⇔a)⋞(a⋥≓≎a))) , if b>=208 ; (b⩘⋿((a∺≝⩲a)⨸⪁(⪁⫅≨a))) , else }

def op_wCMamEyb9i(a, b):
    if b >= 208:
        return op_WR6HLWljOP(op_YbVcJGFEVW(op_4CyGpkTkEk(a),op_NrdPCfJQiM(a,500)),op_V4yb4KDoeF(op_Sq3AGanRSD(536,a),op_Qy55tPpLXF(a,a)))
    else:
        return op_64EQ39e0fC(b,op_g55IO6H4Gj(op_KPf6cnQVty(a,a),op_YApyZlDuBr(a)))

def op_count_wCMamEyb9i(a, b):
    if b >= 208:
        count = op_count_4CyGpkTkEk(a)+op_count_NrdPCfJQiM(a,500)+op_count_YbVcJGFEVW(op_4CyGpkTkEk(a),op_NrdPCfJQiM(a,500))+op_count_Sq3AGanRSD(536,a)+op_count_Qy55tPpLXF(a,a)+op_count_V4yb4KDoeF(op_Sq3AGanRSD(536,a),op_Qy55tPpLXF(a,a))+op_count_WR6HLWljOP(op_YbVcJGFEVW(op_4CyGpkTkEk(a),op_NrdPCfJQiM(a,500)),op_V4yb4KDoeF(op_Sq3AGanRSD(536,a),op_Qy55tPpLXF(a,a)))
    else:
        count = op_count_KPf6cnQVty(a,a)+op_count_YApyZlDuBr(a)+op_count_g55IO6H4Gj(op_KPf6cnQVty(a,a),op_YApyZlDuBr(a))+op_count_64EQ39e0fC(b,op_g55IO6H4Gj(op_KPf6cnQVty(a,a),op_YApyZlDuBr(a)))
    return count


a⋅∕⪽b = { (≯b) , if b<79 ; (439≧⊼a) , else }

def op_xapeEN5k6N(a, b):
    if b < 79:
        return op_keWfFq85dY(b)
    else:
        return op_JoLB3LXqXx(439,a)

def op_count_xapeEN5k6N(a, b):
    if b < 79:
        count = op_count_keWfFq85dY(b)
    else:
        count = op_count_JoLB3LXqXx(439,a)
    return count


a⇹⊯b = { (777≻⇥≳b) , if (b↭↢≔)==288 ; (a⨜⨶a) , else }

def op_7LD8LOvptt(a, b):
    if op_Q6LsZf8ZYd(b) == 288:
        return op_aiqF8n6J9c(777,b)
    else:
        return op_HiPekx5b7W(a,a)

def op_count_7LD8LOvptt(a, b):
    if op_Q6LsZf8ZYd(b) == 288:
        count = op_count_aiqF8n6J9c(777,b)+op_count_Q6LsZf8ZYd(b)
    else:
        count = op_count_HiPekx5b7W(a,a)
    return count


a⪺⋮b = { (⩪⩔((a≭⫡a)⪲⨢(⫦≽⪐199))) , if (≇⪴b)==104 ; b , else }

def op_3s7bcXIOLx(a, b):
    if op_zoVPnxeHJ3(b) == 104:
        return op_Siyfjn51pv(op_6iafYuwGo8(op_b1mGkbI4Oy(a,a),op_fjqJgF5yyp(199)))
    else:
        return b

def op_count_3s7bcXIOLx(a, b):
    if op_zoVPnxeHJ3(b) == 104:
        count = op_count_b1mGkbI4Oy(a,a)+op_count_fjqJgF5yyp(199)+op_count_6iafYuwGo8(op_b1mGkbI4Oy(a,a),op_fjqJgF5yyp(199))+op_count_Siyfjn51pv(op_6iafYuwGo8(op_b1mGkbI4Oy(a,a),op_fjqJgF5yyp(199)))+op_count_zoVPnxeHJ3(b)
    else:
        count = 1
    return count


a⫍⫂b = { ((a∙∹∝b)-∠(b⨳⩥⨓a)) , if (a⨽⪊≇)!=195 ; ((b⨩≤⫤b)∷) , else }

def op_XZQF252bpX(a, b):
    if op_nlCqmYiOvY(a) != 195:
        return op_s0IfDFCCuZ(op_HmxsFra2vL(a,b),op_nCS4ZIUYfx(b,a))
    else:
        return op_nFAOW8KTqp(op_neKQRQQIil(b,b))

def op_count_XZQF252bpX(a, b):
    if op_nlCqmYiOvY(a) != 195:
        count = op_count_HmxsFra2vL(a,b)+op_count_nCS4ZIUYfx(b,a)+op_count_s0IfDFCCuZ(op_HmxsFra2vL(a,b),op_nCS4ZIUYfx(b,a))+op_count_nlCqmYiOvY(a)
    else:
        count = op_count_neKQRQQIil(b,b)+op_count_nFAOW8KTqp(op_neKQRQQIil(b,b))
    return count


def op_lJ0NnniDH7(a, b):
    if op_4CyGpkTkEk(b) <= 537:
        return op_s3Fd5m9Dh2(op_NdELin8EPX(op_g7Hmc5v1ko(b,645),op_qxp9F1VMeC(b)),op_GMN7JP6WpN(op_FyVja0WsTP(b,594),op_RHru8klgy8(70)))
    else:
        return op_7IPrd9c3lf(op_6o9Blt3TJ6(op_cTDWOvIxvz(a,b),op_EZ6cjipfBz(a)))

def op_count_lJ0NnniDH7(a, b):
    if op_4CyGpkTkEk(b) <= 537:
        count = op_count_g7Hmc5v1ko(b,645)+op_count_qxp9F1VMeC(b)+op_count_NdELin8EPX(op_g7Hmc5v1ko(b,645),op_qxp9F1VMeC(b))+op_count_FyVja0WsTP(b,594)+op_count_RHru8klgy8(70)+op_count_GMN7JP6WpN(op_FyVja0WsTP(b,594),op_RHru8klgy8(70))+op_count_s3Fd5m9Dh2(op_NdELin8EPX(op_g7Hmc5v1ko(b,645),op_qxp9F1VMeC(b)),op_GMN7JP6WpN(op_FyVja0WsTP(b,594),op_RHru8klgy8(70)))+op_count_4CyGpkTkEk(b)
    else:
        count = op_count_cTDWOvIxvz(a,b)+op_count_EZ6cjipfBz(a)+op_count_6o9Blt3TJ6(op_cTDWOvIxvz(a,b),op_EZ6cjipfBz(a))+op_count_7IPrd9c3lf(op_6o9Blt3TJ6(op_cTDWOvIxvz(a,b),op_EZ6cjipfBz(a)))
    return count


def op_0Sy2KUVBp2(a):
    if op_yuvXk3Mco8(a) > 53 and op_UpkSd4zESC(a,760) > 348:
        return op_40aOVDgCDB(a)
    else:
        return op_1aApVXNlOP(28,a)

def op_count_0Sy2KUVBp2(a):
    if op_yuvXk3Mco8(a) > 53 and op_UpkSd4zESC(a,760) > 348:
        count = op_count_40aOVDgCDB(a)+op_count_yuvXk3Mco8(a)+op_count_UpkSd4zESC(a,760)
    else:
        count = op_count_1aApVXNlOP(28,a)
    return count


def op_EeXl9tcVcp(a):
    if op_t4WUHVGj7f(a) <= 422:
        return op_KipPnG1M2J(op_ObEyaaML9x(a,a))
    else:
        return op_f6k1SAg4EE(op_6iOiAJX1F8(15),op_E4l6HwMY31(164,a))

def op_count_EeXl9tcVcp(a):
    if op_t4WUHVGj7f(a) <= 422:
        count = op_count_ObEyaaML9x(a,a)+op_count_KipPnG1M2J(op_ObEyaaML9x(a,a))+op_count_t4WUHVGj7f(a)
    else:
        count = op_count_6iOiAJX1F8(15)+op_count_E4l6HwMY31(164,a)+op_count_f6k1SAg4EE(op_6iOiAJX1F8(15),op_E4l6HwMY31(164,a))
    return count


a⩤⪫b = { (((⫳⪺∰b)⇄(a∠⫱a))⪐-((54⇿⊰b)≝⊿(a∲⫑b))) , if (a⩜⩌)>27 ; (((a⨩≤⫤a)⫁⪎(a⫀))⩌⋺(a≧⫂∧(a⫡⨏b))) , else }

def op_XAY3Gwlcor(a, b):
    if op_2DRhT6gtPg(a) > 27:
        return op_d8xe6WWVfM(op_3EYGwJThht(op_eftAHwPbeA(b),op_QvoQhV0rrE(a,a)),op_OKKcZfAt5B(op_ap3xiM279w(54,b),op_NrdPCfJQiM(a,b)))
    else:
        return op_g7Hmc5v1ko(op_xRrnTEsQ6j(op_neKQRQQIil(a,a),op_hFnZRMLNSM(a)),op_Ph9nP6C5qx(a,op_QMFrweE19q(a,b)))

def op_count_XAY3Gwlcor(a, b):
    if op_2DRhT6gtPg(a) > 27:
        count = op_count_eftAHwPbeA(b)+op_count_QvoQhV0rrE(a,a)+op_count_3EYGwJThht(op_eftAHwPbeA(b),op_QvoQhV0rrE(a,a))+op_count_ap3xiM279w(54,b)+op_count_NrdPCfJQiM(a,b)+op_count_OKKcZfAt5B(op_ap3xiM279w(54,b),op_NrdPCfJQiM(a,b))+op_count_d8xe6WWVfM(op_3EYGwJThht(op_eftAHwPbeA(b),op_QvoQhV0rrE(a,a)),op_OKKcZfAt5B(op_ap3xiM279w(54,b),op_NrdPCfJQiM(a,b)))+op_count_2DRhT6gtPg(a)
    else:
        count = op_count_neKQRQQIil(a,a)+op_count_hFnZRMLNSM(a)+op_count_xRrnTEsQ6j(op_neKQRQQIil(a,a),op_hFnZRMLNSM(a))+op_count_QMFrweE19q(a,b)+op_count_Ph9nP6C5qx(a,op_QMFrweE19q(a,b))+op_count_g7Hmc5v1ko(op_xRrnTEsQ6j(op_neKQRQQIil(a,a),op_hFnZRMLNSM(a)),op_Ph9nP6C5qx(a,op_QMFrweE19q(a,b)))
    return count


a⋖⇕⪰b = { (((a∀⩎⋷689)≶a)≶((200≟⫹b)⨻⪊⨷(b∺≝⩲a))) , if b>=243 ; (((a⩾a)→⨶⪴(b≼a))≬⋮(b⫌⩹⨱)) , else }

def op_zGZqYOUxsC(a, b):
    if b >= 243:
        return op_Q2SPaKwpPJ(op_Q2SPaKwpPJ(op_FPxP5Y1j0W(a,689),a),op_Pkwamo1tM2(op_z2JHNkvbdm(200,b),op_KPf6cnQVty(b,a)))
    else:
        return op_kbkesczE7y(op_bF6eod5Gvf(op_UggxBX659n(a,a),op_SPuZE40Ntn(b,a)),op_EBcxylXtPf(b))

def op_count_zGZqYOUxsC(a, b):
    if b >= 243:
        count = op_count_FPxP5Y1j0W(a,689)+op_count_Q2SPaKwpPJ(op_FPxP5Y1j0W(a,689),a)+op_count_z2JHNkvbdm(200,b)+op_count_KPf6cnQVty(b,a)+op_count_Pkwamo1tM2(op_z2JHNkvbdm(200,b),op_KPf6cnQVty(b,a))+op_count_Q2SPaKwpPJ(op_Q2SPaKwpPJ(op_FPxP5Y1j0W(a,689),a),op_Pkwamo1tM2(op_z2JHNkvbdm(200,b),op_KPf6cnQVty(b,a)))
    else:
        count = op_count_UggxBX659n(a,a)+op_count_SPuZE40Ntn(b,a)+op_count_bF6eod5Gvf(op_UggxBX659n(a,a),op_SPuZE40Ntn(b,a))+op_count_EBcxylXtPf(b)+op_count_kbkesczE7y(op_bF6eod5Gvf(op_UggxBX659n(a,a),op_SPuZE40Ntn(b,a)),op_EBcxylXtPf(b))
    return count


a↠≿⨡b = { (a⊙) , if a!=42 ; (b≝⊿b) , else }

def op_N4i4E2JzEW(a, b):
    if a != 42:
        return op_pjdzZ5rP1Y(a)
    else:
        return op_OKKcZfAt5B(b,b)

def op_count_N4i4E2JzEW(a, b):
    if a != 42:
        count = op_count_pjdzZ5rP1Y(a)
    else:
        count = op_count_OKKcZfAt5B(b,b)
    return count


a∛⇘b = { (b∀⋜↑) , if (≯a)>=242 ; (⊤a) , else }

def op_m5a1S9LJYP(a, b):
    if op_keWfFq85dY(a) >= 242:
        return op_KipPnG1M2J(b)
    else:
        return op_oDvtRyfmAM(a)

def op_count_m5a1S9LJYP(a, b):
    if op_keWfFq85dY(a) >= 242:
        count = op_count_KipPnG1M2J(b)+op_count_keWfFq85dY(a)
    else:
        count = op_count_oDvtRyfmAM(a)
    return count


def op_y1eBRRC36c(a, b):
    if (a <= 171 and op_jvbZP6NeOL(a) < 29):
        return op_bjFbhXSADs(7)
    else:
        return op_giaUb8UVhq(a,op_9bazX3JMtO(b,10))

def op_count_y1eBRRC36c(a, b):
    if (a <= 171 and op_jvbZP6NeOL(a) < 29):
        count = op_count_bjFbhXSADs(7)+op_count_jvbZP6NeOL(a)
    else:
        count = op_count_9bazX3JMtO(b,10)+op_count_giaUb8UVhq(a,op_9bazX3JMtO(b,10))
    return count


def op_GoJAjt0UOl(a):
    if op_uBihLCJcMX(a) > 16:
        return op_XIabStNQrY(op_12rbrZMWeM(op_8cLx32lpNA(a,a),op_BUOGQAYlQx(a)))
    else:
        return op_jBC4ymW3D7(op_qy3n0tapmE(op_Qy55tPpLXF(a,16),op_uTBsSls0VN(72,377)),op_NdELin8EPX(op_7PjNe5qSIJ(a,a),op_UoVew8f2p2(a,a)))

def op_count_GoJAjt0UOl(a):
    if op_uBihLCJcMX(a) > 16:
        count = op_count_8cLx32lpNA(a,a)+op_count_BUOGQAYlQx(a)+op_count_12rbrZMWeM(op_8cLx32lpNA(a,a),op_BUOGQAYlQx(a))+op_count_XIabStNQrY(op_12rbrZMWeM(op_8cLx32lpNA(a,a),op_BUOGQAYlQx(a)))+op_count_uBihLCJcMX(a)
    else:
        count = op_count_Qy55tPpLXF(a,16)+op_count_uTBsSls0VN(72,377)+op_count_qy3n0tapmE(op_Qy55tPpLXF(a,16),op_uTBsSls0VN(72,377))+op_count_7PjNe5qSIJ(a,a)+op_count_UoVew8f2p2(a,a)+op_count_NdELin8EPX(op_7PjNe5qSIJ(a,a),op_UoVew8f2p2(a,a))+op_count_jBC4ymW3D7(op_qy3n0tapmE(op_Qy55tPpLXF(a,16),op_uTBsSls0VN(72,377)),op_NdELin8EPX(op_7PjNe5qSIJ(a,a),op_UoVew8f2p2(a,a)))
    return count


a⋴b = { (⇺⪔⩬(b⋰⇉∕a)) , if a!=548 ; (⪸(⊄⩳↩361)) , else }

def op_zqpnzlcbs4(a, b):
    if a != 548:
        return op_lAOUD4ZMWV(op_sM9mzqIDB1(b,a))
    else:
        return op_86A5ENbKR9(op_8w2t5hMYqp(361))

def op_count_zqpnzlcbs4(a, b):
    if a != 548:
        count = op_count_sM9mzqIDB1(b,a)+op_count_lAOUD4ZMWV(op_sM9mzqIDB1(b,a))
    else:
        count = op_count_8w2t5hMYqp(361)+op_count_86A5ENbKR9(op_8w2t5hMYqp(361))
    return count


def op_5HFUViGXfi(a, b):
    if (b <= 181 and a != 668):
        return op_RygbFNSyEJ(19,op_Q2SPaKwpPJ(a,a))
    else:
        return op_COABgblf1C(op_umQnsF7QlU(7,b),op_UoVew8f2p2(3,153))

def op_count_5HFUViGXfi(a, b):
    if (b <= 181 and a != 668):
        count = op_count_Q2SPaKwpPJ(a,a)+op_count_RygbFNSyEJ(19,op_Q2SPaKwpPJ(a,a))
    else:
        count = op_count_umQnsF7QlU(7,b)+op_count_UoVew8f2p2(3,153)+op_count_COABgblf1C(op_umQnsF7QlU(7,b),op_UoVew8f2p2(3,153))
    return count


a⨨⩇⫼b = { (((118≽⪈↿a)∫⋜⩖(a⪚⨁⋖a))⨜⇔((a⇟⨁⪰)⊉≛↸82)) , if b==25 ; (⊄((122⨐a)⪉⨛(b⪐-b))) , else }

def op_UreC4MxV1l(a, b):
    if b == 25:
        return op_Sq3AGanRSD(op_JgXZM7XvWE(op_inCIaGQf8u(118,a),op_xSk1F0pZbF(a,a)),op_DZ8iAZOCBD(op_BX1lVwlMe0(a),82))
    else:
        return op_AnPstFaJd9(op_EWw2JM7wp4(op_Noe24qw2ks(122,a),op_d8xe6WWVfM(b,b)))

def op_count_UreC4MxV1l(a, b):
    if b == 25:
        count = op_count_inCIaGQf8u(118,a)+op_count_xSk1F0pZbF(a,a)+op_count_JgXZM7XvWE(op_inCIaGQf8u(118,a),op_xSk1F0pZbF(a,a))+op_count_BX1lVwlMe0(a)+op_count_DZ8iAZOCBD(op_BX1lVwlMe0(a),82)+op_count_Sq3AGanRSD(op_JgXZM7XvWE(op_inCIaGQf8u(118,a),op_xSk1F0pZbF(a,a)),op_DZ8iAZOCBD(op_BX1lVwlMe0(a),82))
    else:
        count = op_count_Noe24qw2ks(122,a)+op_count_d8xe6WWVfM(b,b)+op_count_EWw2JM7wp4(op_Noe24qw2ks(122,a),op_d8xe6WWVfM(b,b))+op_count_AnPstFaJd9(op_EWw2JM7wp4(op_Noe24qw2ks(122,a),op_d8xe6WWVfM(b,b)))
    return count


def op_y5RjBpU1NE(a):
    if op_L05ObWFQCd(a,966) >= 45:
        return op_EZ6cjipfBz(789)
    else:
        return op_kbkesczE7y(250,a)

def op_count_y5RjBpU1NE(a):
    if op_L05ObWFQCd(a,966) >= 45:
        count = op_count_EZ6cjipfBz(789)+op_count_L05ObWFQCd(a,966)
    else:
        count = op_count_kbkesczE7y(250,a)
    return count


a+⩘b = { ((b⩤∜↚b)⩣⫁∢(b⪚⨁⋖a)) , if b!=350 ; ((109⋥≓≎b)⨱∎) , else }

def op_sQ9a9XOMpm(a, b):
    if b != 350:
        return op_JDUIKTTSIa(op_KROiRRz3d6(b,b),op_xSk1F0pZbF(b,a))
    else:
        return op_MmTdOpaElr(op_Qy55tPpLXF(109,b))

def op_count_sQ9a9XOMpm(a, b):
    if b != 350:
        count = op_count_KROiRRz3d6(b,b)+op_count_xSk1F0pZbF(b,a)+op_count_JDUIKTTSIa(op_KROiRRz3d6(b,b),op_xSk1F0pZbF(b,a))
    else:
        count = op_count_Qy55tPpLXF(109,b)+op_count_MmTdOpaElr(op_Qy55tPpLXF(109,b))
    return count


def op_3UoNRbjy4o(a):
    if op_RHru8klgy8(a) >= 166:
        return op_64EQ39e0fC(a,a)
    else:
        return op_Q9TX5pQS3Y(310)

def op_count_3UoNRbjy4o(a):
    if op_RHru8klgy8(a) >= 166:
        count = op_count_64EQ39e0fC(a,a)+op_count_RHru8klgy8(a)
    else:
        count = op_count_Q9TX5pQS3Y(310)
    return count


a⋐⋧ = { (((a⨔⇊a)⩒⫫(a∺≝⩲a))⫊⇚⊺(⨾∊⩁(a⋟⫀⨗a))) , if (a⪠⩆⊳)<91 ; (∨((a⊝⪿⪼a)⋅⇍(a⪇≇⋚a))) , else }

def op_KtiOaQIiP4(a):
    if op_JLbD19bQDL(a) < 91:
        return op_Y5cEcQhyKu(op_KFSx94NKJn(op_JclMnS0uGI(a,a),op_KPf6cnQVty(a,a)),op_QErWpSDGk0(op_dAAkup5nzi(a,a)))
    else:
        return op_rIsGeVJWJF(op_AdZkA7nFnk(op_3Oe9XWJUTD(a,a),op_3sJ7IOPOlU(a,a)))

def op_count_KtiOaQIiP4(a):
    if op_JLbD19bQDL(a) < 91:
        count = op_count_JclMnS0uGI(a,a)+op_count_KPf6cnQVty(a,a)+op_count_KFSx94NKJn(op_JclMnS0uGI(a,a),op_KPf6cnQVty(a,a))+op_count_dAAkup5nzi(a,a)+op_count_QErWpSDGk0(op_dAAkup5nzi(a,a))+op_count_Y5cEcQhyKu(op_KFSx94NKJn(op_JclMnS0uGI(a,a),op_KPf6cnQVty(a,a)),op_QErWpSDGk0(op_dAAkup5nzi(a,a)))+op_count_JLbD19bQDL(a)
    else:
        count = op_count_3Oe9XWJUTD(a,a)+op_count_3sJ7IOPOlU(a,a)+op_count_AdZkA7nFnk(op_3Oe9XWJUTD(a,a),op_3sJ7IOPOlU(a,a))+op_count_rIsGeVJWJF(op_AdZkA7nFnk(op_3Oe9XWJUTD(a,a),op_3sJ7IOPOlU(a,a)))
    return count


def op_Q6CfCNJhPO(a, b):
    if op_aSik1wnThz(b) != 396:
        return op_k2HlF1dBQh(223)
    else:
        return a

def op_count_Q6CfCNJhPO(a, b):
    if op_aSik1wnThz(b) != 396:
        count = op_count_k2HlF1dBQh(223)+op_count_aSik1wnThz(b)
    else:
        count = 1
    return count


a⩻⇘⩦b = { (a⇟⨁⪰) , if (a⨔⊶↷886)<=37 ; (((a⨧a)⋥≓≎(b⨣∐↬b))≽↲≰((⋑a)⩦(b≦↸b))) , else }

def op_BrdKLlllJJ(a, b):
    if op_WObL9SsYVE(a,886) <= 37:
        return op_BX1lVwlMe0(a)
    else:
        return op_cFVlceoRkX(op_Qy55tPpLXF(op_3YWlZA9bsa(a,a),op_UpkSd4zESC(b,b)),op_0kmYd0q39Y(op_iz8sE888QL(a),op_RygbFNSyEJ(b,b)))

def op_count_BrdKLlllJJ(a, b):
    if op_WObL9SsYVE(a,886) <= 37:
        count = op_count_BX1lVwlMe0(a)+op_count_WObL9SsYVE(a,886)
    else:
        count = op_count_3YWlZA9bsa(a,a)+op_count_UpkSd4zESC(b,b)+op_count_Qy55tPpLXF(op_3YWlZA9bsa(a,a),op_UpkSd4zESC(b,b))+op_count_iz8sE888QL(a)+op_count_RygbFNSyEJ(b,b)+op_count_0kmYd0q39Y(op_iz8sE888QL(a),op_RygbFNSyEJ(b,b))+op_count_cFVlceoRkX(op_Qy55tPpLXF(op_3YWlZA9bsa(a,a),op_UpkSd4zESC(b,b)),op_0kmYd0q39Y(op_iz8sE888QL(a),op_RygbFNSyEJ(b,b)))
    return count


a⨧⫦∟b = { (a⪎⨄⋝) , if (b⇟⨁⪰)>=99 and (b⫸⇳442)!=10 and b<63 ; (a⊲⩕⊾b) , else }

def op_jZLVGoLxNh(a, b):
    if op_BX1lVwlMe0(b) >= 99 and op_gx7XJ7hdpj(b,442) != 10 and b < 63:
        return op_kweVJGAjhl(a)
    else:
        return op_DmTXOeWf9t(a,b)

def op_count_jZLVGoLxNh(a, b):
    if op_BX1lVwlMe0(b) >= 99 and op_gx7XJ7hdpj(b,442) != 10 and b < 63:
        count = op_count_kweVJGAjhl(a)+op_count_BX1lVwlMe0(b)+op_count_gx7XJ7hdpj(b,442)
    else:
        count = op_count_DmTXOeWf9t(a,b)
    return count


a⋡b = { ((a⊉≛↸b)⋝⋈⪟(16⨌↪)) , if a==508 ; ((a≬⋮a)⨣∐↬(b⋷41)) , else }

def op_aZYNwA0vxh(a, b):
    if a == 508:
        return op_2DDjHMKMc0(op_DZ8iAZOCBD(a,b),op_cWQsF5MvuD(16))
    else:
        return op_UpkSd4zESC(op_kbkesczE7y(a,a),op_23Mk6UjR3U(b,41))

def op_count_aZYNwA0vxh(a, b):
    if a == 508:
        count = op_count_DZ8iAZOCBD(a,b)+op_count_cWQsF5MvuD(16)+op_count_2DDjHMKMc0(op_DZ8iAZOCBD(a,b),op_cWQsF5MvuD(16))
    else:
        count = op_count_kbkesczE7y(a,a)+op_count_23Mk6UjR3U(b,41)+op_count_UpkSd4zESC(op_kbkesczE7y(a,a),op_23Mk6UjR3U(b,41))
    return count


a∶∥⊗b = { ((a⫸313)⨽⪊≇) , if (⇗⪘∲b)>=420 ; ((⇖a)≝⊿(b⨰a)) , else }

def op_JpB1LdahAH(a, b):
    if op_j4geBLYVFK(b) >= 420:
        return op_nlCqmYiOvY(op_Qaz2MhZaG5(a,313))
    else:
        return op_OKKcZfAt5B(op_tfWHHpNKUN(a),op_eewbuw0ToL(b,a))

def op_count_JpB1LdahAH(a, b):
    if op_j4geBLYVFK(b) >= 420:
        count = op_count_Qaz2MhZaG5(a,313)+op_count_nlCqmYiOvY(op_Qaz2MhZaG5(a,313))+op_count_j4geBLYVFK(b)
    else:
        count = op_count_tfWHHpNKUN(a)+op_count_eewbuw0ToL(b,a)+op_count_OKKcZfAt5B(op_tfWHHpNKUN(a),op_eewbuw0ToL(b,a))
    return count


a⋗⨓b = { ((b⊉≛↸b)⊀⪪⫸) , if (b⫍⨯↯)>=285 or a<252 ; ((a↼⊘⨖a)⋅⇍(∦a)) , else }

def op_imqY0THBaP(a, b):
    if op_ZcwmYACASQ(b) >= 285 or a < 252:
        return op_UIU2Eox550(op_DZ8iAZOCBD(b,b))
    else:
        return op_AdZkA7nFnk(op_bPywburJMS(a,a),op_ew17WAA8t6(a))

def op_count_imqY0THBaP(a, b):
    if op_ZcwmYACASQ(b) >= 285 or a < 252:
        count = op_count_DZ8iAZOCBD(b,b)+op_count_UIU2Eox550(op_DZ8iAZOCBD(b,b))+op_count_ZcwmYACASQ(b)
    else:
        count = op_count_bPywburJMS(a,a)+op_count_ew17WAA8t6(a)+op_count_AdZkA7nFnk(op_bPywburJMS(a,a),op_ew17WAA8t6(a))
    return count


a⇒⫠ = { a , if ((∛⊵a)>=85 or (⨩∲⋌a)<36) ; ((a⊓≱a)⪲⨢(694⫊⇚⊺a)) , else }

def op_HbkKo2jppZ(a):
    if (op_jfYOP67v6Y(a) >= 85 or op_aSik1wnThz(a) < 36):
        return a
    else:
        return op_6iafYuwGo8(op_VCG3UHNzLR(a,a),op_Y5cEcQhyKu(694,a))

def op_count_HbkKo2jppZ(a):
    if (op_jfYOP67v6Y(a) >= 85 or op_aSik1wnThz(a) < 36):
        count = 1
    else:
        count = op_count_VCG3UHNzLR(a,a)+op_count_Y5cEcQhyKu(694,a)+op_count_6iafYuwGo8(op_VCG3UHNzLR(a,a),op_Y5cEcQhyKu(694,a))
    return count


def op_7vzQ3v2UG6(a, b):
    if op_yuvXk3Mco8(a) < 127:
        return op_wmlQD0656L(a)
    else:
        return op_W4YGzv6Whe(b,a)

def op_count_7vzQ3v2UG6(a, b):
    if op_yuvXk3Mco8(a) < 127:
        count = op_count_wmlQD0656L(a)+op_count_yuvXk3Mco8(a)
    else:
        count = op_count_W4YGzv6Whe(b,a)
    return count


a⨺⊓b = { (b⪨⊡b) , if a==275 ; (b⪅) , else }

def op_0PHiouZoJp(a, b):
    if a == 275:
        return op_kuIXHzHcAH(b,b)
    else:
        return op_FB83X2dByY(b)

def op_count_0PHiouZoJp(a, b):
    if a == 275:
        count = op_count_kuIXHzHcAH(b,b)
    else:
        count = op_count_FB83X2dByY(b)
    return count


a≢ = { (((⊲⪭a)∌(a∆⨵⋿))⇿⊰((a⊔a)⪈⋁⩁(a⇌⫙⪟a))) , if (a⊩≵⪔)<=173 ; (((18⋅)⫏↛⩏(a⩌⋺a))⨻⪊⨷(≋(a⋟⫀⨗158))) , else }

def op_q8oxKt1zRy(a):
    if op_aDRGw0okjd(a) <= 173:
        return op_ap3xiM279w(op_8cLx32lpNA(op_k7HXdKtiEU(a),op_7CBskBkoKY(a)),op_GMyVS5K48T(op_E4l6HwMY31(a,a),op_AFVx7xoS7T(a,a)))
    else:
        return op_Pkwamo1tM2(op_YC3tgrnOyr(op_620seOwKww(18),op_g7Hmc5v1ko(a,a)),op_61wBmkZwlr(op_dAAkup5nzi(a,158)))

def op_count_q8oxKt1zRy(a):
    if op_aDRGw0okjd(a) <= 173:
        count = op_count_k7HXdKtiEU(a)+op_count_7CBskBkoKY(a)+op_count_8cLx32lpNA(op_k7HXdKtiEU(a),op_7CBskBkoKY(a))+op_count_E4l6HwMY31(a,a)+op_count_AFVx7xoS7T(a,a)+op_count_GMyVS5K48T(op_E4l6HwMY31(a,a),op_AFVx7xoS7T(a,a))+op_count_ap3xiM279w(op_8cLx32lpNA(op_k7HXdKtiEU(a),op_7CBskBkoKY(a)),op_GMyVS5K48T(op_E4l6HwMY31(a,a),op_AFVx7xoS7T(a,a)))+op_count_aDRGw0okjd(a)
    else:
        count = op_count_620seOwKww(18)+op_count_g7Hmc5v1ko(a,a)+op_count_YC3tgrnOyr(op_620seOwKww(18),op_g7Hmc5v1ko(a,a))+op_count_dAAkup5nzi(a,158)+op_count_61wBmkZwlr(op_dAAkup5nzi(a,158))+op_count_Pkwamo1tM2(op_YC3tgrnOyr(op_620seOwKww(18),op_g7Hmc5v1ko(a,a)),op_61wBmkZwlr(op_dAAkup5nzi(a,158)))
    return count


⇲⪙⋟a = { (⫄⋦≢(⋄a)) , if a<=10 ; ((a⊇≀≁)⫊⇚⊺(a↺a)) , else }

def op_4OifspQZBV(a):
    if a <= 10:
        return op_4kvgVkQeiQ(op_k2B77S3vSv(a))
    else:
        return op_Y5cEcQhyKu(op_AfoL3wC8aT(a),op_7j4O788W3g(a,a))

def op_count_4OifspQZBV(a):
    if a <= 10:
        count = op_count_k2B77S3vSv(a)+op_count_4kvgVkQeiQ(op_k2B77S3vSv(a))
    else:
        count = op_count_AfoL3wC8aT(a)+op_count_7j4O788W3g(a,a)+op_count_Y5cEcQhyKu(op_AfoL3wC8aT(a),op_7j4O788W3g(a,a))
    return count


a⫰⋊⋯b = { (((⩷a)⫯⪬∳(a⪇≇⋚a))⩵∡((⨇⪄⫏a)⋥≓≎(a↱⊪⇍))) , if a<1 ; (⨑⩽⪐((⋷⊟a)⋷(b+b))) , else }

def op_9tbqhEjA70(a, b):
    if a < 1:
        return op_Y7wcNGrDQJ(op_d7ASUq0ydm(op_1h0rLqGiFr(a),op_3sJ7IOPOlU(a,a)),op_Qy55tPpLXF(op_B4c4JXCTtZ(a),op_Zubgv0tBda(a)))
    else:
        return op_AF7qkfDlqP(op_23Mk6UjR3U(op_2fAMLLeFHb(a),op_W4YGzv6Whe(b,b)))

def op_count_9tbqhEjA70(a, b):
    if a < 1:
        count = op_count_1h0rLqGiFr(a)+op_count_3sJ7IOPOlU(a,a)+op_count_d7ASUq0ydm(op_1h0rLqGiFr(a),op_3sJ7IOPOlU(a,a))+op_count_B4c4JXCTtZ(a)+op_count_Zubgv0tBda(a)+op_count_Qy55tPpLXF(op_B4c4JXCTtZ(a),op_Zubgv0tBda(a))+op_count_Y7wcNGrDQJ(op_d7ASUq0ydm(op_1h0rLqGiFr(a),op_3sJ7IOPOlU(a,a)),op_Qy55tPpLXF(op_B4c4JXCTtZ(a),op_Zubgv0tBda(a)))
    else:
        count = op_count_2fAMLLeFHb(a)+op_count_W4YGzv6Whe(b,b)+op_count_23Mk6UjR3U(op_2fAMLLeFHb(a),op_W4YGzv6Whe(b,b))+op_count_AF7qkfDlqP(op_23Mk6UjR3U(op_2fAMLLeFHb(a),op_W4YGzv6Whe(b,b)))
    return count


def op_khc5YFX7Jp(a, b):
    if op_Y7wcNGrDQJ(a,166) <= 22:
        return op_40aOVDgCDB(160)
    else:
        return op_qxqspddX8k(b,a)

def op_count_khc5YFX7Jp(a, b):
    if op_Y7wcNGrDQJ(a,166) <= 22:
        count = op_count_40aOVDgCDB(160)+op_count_Y7wcNGrDQJ(a,166)
    else:
        count = op_count_qxqspddX8k(b,a)
    return count


⇍⇓⫰a = { a , if (≉a)>14 ; (((50⊢a)⫚↹⊑(a⪯⫾⋍a))⊇≀≁) , else }

def op_FtfyBzfNWx(a):
    if op_e1ybzncUwg(a) > 14:
        return a
    else:
        return op_AfoL3wC8aT(op_dfKe02y8D2(op_5twsqlHp2o(50,a),op_S5ZFQS4GK3(a,a)))

def op_count_FtfyBzfNWx(a):
    if op_e1ybzncUwg(a) > 14:
        count = 1
    else:
        count = op_count_5twsqlHp2o(50,a)+op_count_S5ZFQS4GK3(a,a)+op_count_dfKe02y8D2(op_5twsqlHp2o(50,a),op_S5ZFQS4GK3(a,a))+op_count_AfoL3wC8aT(op_dfKe02y8D2(op_5twsqlHp2o(50,a),op_S5ZFQS4GK3(a,a)))
    return count


≣⫔⩐a = { (a⫶((33⪁⨴⋨a)⨰↻⪇(a⪱⇝a))) , if a>=588 ; (⇻⨃⇄((a⨜⇔a)⋳⪒(≀↧⇸a))) , else }

def op_b5NAO7yNHC(a):
    if a >= 588:
        return op_BAIXFdYaz3(a,op_nbuSfrB4hB(op_y2kQTS4a70(33,a),op_OTRTVPweYV(a,a)))
    else:
        return op_fLGIAiPz9h(op_12rbrZMWeM(op_Sq3AGanRSD(a,a),op_ljTHtUsqzn(a)))

def op_count_b5NAO7yNHC(a):
    if a >= 588:
        count = op_count_y2kQTS4a70(33,a)+op_count_OTRTVPweYV(a,a)+op_count_nbuSfrB4hB(op_y2kQTS4a70(33,a),op_OTRTVPweYV(a,a))+op_count_BAIXFdYaz3(a,op_nbuSfrB4hB(op_y2kQTS4a70(33,a),op_OTRTVPweYV(a,a)))
    else:
        count = op_count_Sq3AGanRSD(a,a)+op_count_ljTHtUsqzn(a)+op_count_12rbrZMWeM(op_Sq3AGanRSD(a,a),op_ljTHtUsqzn(a))+op_count_fLGIAiPz9h(op_12rbrZMWeM(op_Sq3AGanRSD(a,a),op_ljTHtUsqzn(a)))
    return count


def op_dma8RTlAAq(a):
    if a <= 106:
        return op_wsXFuL0hC6(a,a)
    else:
        return a

def op_count_dma8RTlAAq(a):
    if a <= 106:
        count = op_count_wsXFuL0hC6(a,a)
    else:
        count = 1
    return count


a⇸⊡⊌ = { (a⋘⨑⨽) , if (↪⨀a)!=332 ; (a⋥≓≎329) , else }

def op_i2qnWr4Tz9(a):
    if op_t0cKpDWDXO(a) != 332:
        return op_WmT3o8z6ya(a)
    else:
        return op_Qy55tPpLXF(a,329)

def op_count_i2qnWr4Tz9(a):
    if op_t0cKpDWDXO(a) != 332:
        count = op_count_WmT3o8z6ya(a)+op_count_t0cKpDWDXO(a)
    else:
        count = op_count_Qy55tPpLXF(a,329)
    return count


a∛⇕b = { (a⩷∴(⋾b)) , if (⊠a)>339 ; ((⇗⪘∲b)∈) , else }

def op_Gf27X6JpjG(a, b):
    if op_R3vAdrE3IH(a) > 339:
        return op_9FxExcQeMw(a,op_8TQKPGA8Ba(b))
    else:
        return op_ztP7wcbY7m(op_j4geBLYVFK(b))

def op_count_Gf27X6JpjG(a, b):
    if op_R3vAdrE3IH(a) > 339:
        count = op_count_8TQKPGA8Ba(b)+op_count_9FxExcQeMw(a,op_8TQKPGA8Ba(b))+op_count_R3vAdrE3IH(a)
    else:
        count = op_count_j4geBLYVFK(b)+op_count_ztP7wcbY7m(op_j4geBLYVFK(b))
    return count


def op_66ZrUJcAwA(a):
    if op_5JYyxRJd4f(a) < 483:
        return a
    else:
        return op_GMN7JP6WpN(op_PPChnnnBFF(op_Siyfjn51pv(a),op_ocnLzx9CaJ(a,81)),op_d7ASUq0ydm(op_aOI3TlLUAE(116),op_dAAkup5nzi(a,364)))

def op_count_66ZrUJcAwA(a):
    if op_5JYyxRJd4f(a) < 483:
        count = 1
    else:
        count = op_count_Siyfjn51pv(a)+op_count_ocnLzx9CaJ(a,81)+op_count_PPChnnnBFF(op_Siyfjn51pv(a),op_ocnLzx9CaJ(a,81))+op_count_aOI3TlLUAE(116)+op_count_dAAkup5nzi(a,364)+op_count_d7ASUq0ydm(op_aOI3TlLUAE(116),op_dAAkup5nzi(a,364))+op_count_GMN7JP6WpN(op_PPChnnnBFF(op_Siyfjn51pv(a),op_ocnLzx9CaJ(a,81)),op_d7ASUq0ydm(op_aOI3TlLUAE(116),op_dAAkup5nzi(a,364)))
    return count


a⫸⩸b = { (((a⪎↠a)≚⊃≕(a⨧↗⨷a))⨴((b⪚⊾⩭)⪲⨢(a⩾b))) , if (b⪐)!=540 or (⋸⪍b)<342 ; (a⋎(48⨵⪆(248∝a))) , else }

def op_SfUa7LlWFO(a, b):
    if op_eH2TOUuTDT(b) != 540 or op_PrwIXj9ZQe(b) < 342:
        return op_jBC4ymW3D7(op_Bmrmz2XGnR(op_3tVxb0NHM4(a,a),op_WSbXXWOizJ(a,a)),op_6iafYuwGo8(op_ebeGRCukrZ(b),op_UggxBX659n(a,b)))
    else:
        return op_qy3n0tapmE(a,op_2DQ55sFlQl(48,op_cTDWOvIxvz(248,a)))

def op_count_SfUa7LlWFO(a, b):
    if op_eH2TOUuTDT(b) != 540 or op_PrwIXj9ZQe(b) < 342:
        count = op_count_3tVxb0NHM4(a,a)+op_count_WSbXXWOizJ(a,a)+op_count_Bmrmz2XGnR(op_3tVxb0NHM4(a,a),op_WSbXXWOizJ(a,a))+op_count_ebeGRCukrZ(b)+op_count_UggxBX659n(a,b)+op_count_6iafYuwGo8(op_ebeGRCukrZ(b),op_UggxBX659n(a,b))+op_count_jBC4ymW3D7(op_Bmrmz2XGnR(op_3tVxb0NHM4(a,a),op_WSbXXWOizJ(a,a)),op_6iafYuwGo8(op_ebeGRCukrZ(b),op_UggxBX659n(a,b)))+op_count_eH2TOUuTDT(b)+op_count_PrwIXj9ZQe(b)
    else:
        count = op_count_cTDWOvIxvz(248,a)+op_count_2DQ55sFlQl(48,op_cTDWOvIxvz(248,a))+op_count_qy3n0tapmE(a,op_2DQ55sFlQl(48,op_cTDWOvIxvz(248,a)))
    return count


a⩄⫧∩b = { (((b≏⨯⊱b)⇩)⪚((a≻⇥≳a)⪨⊡(453⩉⊫⨁))) , if a>29 ; (a≚⊃≕((b⫰⋱232)≼(b⫗⊒⇾a))) , else }

def op_x91QhENKPJ(a, b):
    if a > 29:
        return op_HrjLwUk87U(op_vRio1gEz1j(op_UqUOXUQnbU(b,b)),op_kuIXHzHcAH(op_aiqF8n6J9c(a,a),op_7qqUquhhSb(453)))
    else:
        return op_Bmrmz2XGnR(a,op_SPuZE40Ntn(op_6o9Blt3TJ6(b,232),op_hiBDRd40bf(b,a)))

def op_count_x91QhENKPJ(a, b):
    if a > 29:
        count = op_count_UqUOXUQnbU(b,b)+op_count_vRio1gEz1j(op_UqUOXUQnbU(b,b))+op_count_aiqF8n6J9c(a,a)+op_count_7qqUquhhSb(453)+op_count_kuIXHzHcAH(op_aiqF8n6J9c(a,a),op_7qqUquhhSb(453))+op_count_HrjLwUk87U(op_vRio1gEz1j(op_UqUOXUQnbU(b,b)),op_kuIXHzHcAH(op_aiqF8n6J9c(a,a),op_7qqUquhhSb(453)))
    else:
        count = op_count_6o9Blt3TJ6(b,232)+op_count_hiBDRd40bf(b,a)+op_count_SPuZE40Ntn(op_6o9Blt3TJ6(b,232),op_hiBDRd40bf(b,a))+op_count_Bmrmz2XGnR(a,op_SPuZE40Ntn(op_6o9Blt3TJ6(b,232),op_hiBDRd40bf(b,a)))
    return count


⇰a = { ((a⇴a)⪒⊣⊆(a⋘⨑⨽)) , if (a⋘121)<=127 ; ((a⩣⊵⩗a)⩹(⨢⋑⪾a)) , else }

def op_zc1INhisa1(a):
    if op_2M7SKlOzyM(a,121) <= 127:
        return op_eRqsBgTDFp(op_4JB6nKBMSY(a,a),op_WmT3o8z6ya(a))
    else:
        return op_2Wsdkap16l(op_wsXFuL0hC6(a,a),op_tmjFFOTKyA(a))

def op_count_zc1INhisa1(a):
    if op_2M7SKlOzyM(a,121) <= 127:
        count = op_count_4JB6nKBMSY(a,a)+op_count_WmT3o8z6ya(a)+op_count_eRqsBgTDFp(op_4JB6nKBMSY(a,a),op_WmT3o8z6ya(a))+op_count_2M7SKlOzyM(a,121)
    else:
        count = op_count_wsXFuL0hC6(a,a)+op_count_tmjFFOTKyA(a)+op_count_2Wsdkap16l(op_wsXFuL0hC6(a,a),op_tmjFFOTKyA(a))
    return count


a∍b = { ((b⫸⇳43)⩒⫫(b⪢⨴)) , if b==18 ; ((b⋰⇉∕a)⩇∃⫛(207⇖↽a)) , else }

def op_9rNHCbYvka(a, b):
    if b == 18:
        return op_KFSx94NKJn(op_gx7XJ7hdpj(b,43),op_UMMmb9LONo(b))
    else:
        return op_1aApVXNlOP(op_sM9mzqIDB1(b,a),op_cwbF3JtlMN(207,a))

def op_count_9rNHCbYvka(a, b):
    if b == 18:
        count = op_count_gx7XJ7hdpj(b,43)+op_count_UMMmb9LONo(b)+op_count_KFSx94NKJn(op_gx7XJ7hdpj(b,43),op_UMMmb9LONo(b))
    else:
        count = op_count_sM9mzqIDB1(b,a)+op_count_cwbF3JtlMN(207,a)+op_count_1aApVXNlOP(op_sM9mzqIDB1(b,a),op_cwbF3JtlMN(207,a))
    return count


⊀⋆a = { (⋃((a≧⫂∧a)↼⊘⨖(a-∠a))) , if (↸⊣a)<=45 ; (a∐⫣) , else }

def op_ZLUFTvfu0f(a):
    if op_wztAlM01eG(a) <= 45:
        return op_3mBM5G4a3l(op_bPywburJMS(op_Ph9nP6C5qx(a,a),op_s0IfDFCCuZ(a,a)))
    else:
        return op_4CyGpkTkEk(a)

def op_count_ZLUFTvfu0f(a):
    if op_wztAlM01eG(a) <= 45:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_s0IfDFCCuZ(a,a)+op_count_bPywburJMS(op_Ph9nP6C5qx(a,a),op_s0IfDFCCuZ(a,a))+op_count_3mBM5G4a3l(op_bPywburJMS(op_Ph9nP6C5qx(a,a),op_s0IfDFCCuZ(a,a)))+op_count_wztAlM01eG(a)
    else:
        count = op_count_4CyGpkTkEk(a)
    return count


def op_FvIKpoq3gV(a):
    if a != 443:
        return op_L05ObWFQCd(a,op_bPywburJMS(op_uysxUYN2L2(7,a),op_W4YGzv6Whe(a,119)))
    else:
        return op_xSk1F0pZbF(op_OTRTVPweYV(op_1aApVXNlOP(a,330),op_JoLB3LXqXx(a,a)),op_DE7zCoGJt9(op_KYL1uVeVpb(a,180)))

def op_count_FvIKpoq3gV(a):
    if a != 443:
        count = op_count_uysxUYN2L2(7,a)+op_count_W4YGzv6Whe(a,119)+op_count_bPywburJMS(op_uysxUYN2L2(7,a),op_W4YGzv6Whe(a,119))+op_count_L05ObWFQCd(a,op_bPywburJMS(op_uysxUYN2L2(7,a),op_W4YGzv6Whe(a,119)))
    else:
        count = op_count_1aApVXNlOP(a,330)+op_count_JoLB3LXqXx(a,a)+op_count_OTRTVPweYV(op_1aApVXNlOP(a,330),op_JoLB3LXqXx(a,a))+op_count_KYL1uVeVpb(a,180)+op_count_DE7zCoGJt9(op_KYL1uVeVpb(a,180))+op_count_xSk1F0pZbF(op_OTRTVPweYV(op_1aApVXNlOP(a,330),op_JoLB3LXqXx(a,a)),op_DE7zCoGJt9(op_KYL1uVeVpb(a,180)))
    return count


a⨬b = { ((470⩾a)⫊⇚⊺(a≝⊿b)) , if (a⊢)>15 and (∦b)<840 ; ((b⪱⇝a)≣(⇾⩊⇾b)) , else }

def op_NsGlVlbNoR(a, b):
    if op_40aOVDgCDB(a) > 15 and op_ew17WAA8t6(b) < 840:
        return op_Y5cEcQhyKu(op_UggxBX659n(470,a),op_OKKcZfAt5B(a,b))
    else:
        return op_ObEyaaML9x(op_OTRTVPweYV(b,a),op_bx9Z9DAK5y(b))

def op_count_NsGlVlbNoR(a, b):
    if op_40aOVDgCDB(a) > 15 and op_ew17WAA8t6(b) < 840:
        count = op_count_UggxBX659n(470,a)+op_count_OKKcZfAt5B(a,b)+op_count_Y5cEcQhyKu(op_UggxBX659n(470,a),op_OKKcZfAt5B(a,b))+op_count_40aOVDgCDB(a)+op_count_ew17WAA8t6(b)
    else:
        count = op_count_OTRTVPweYV(b,a)+op_count_bx9Z9DAK5y(b)+op_count_ObEyaaML9x(op_OTRTVPweYV(b,a),op_bx9Z9DAK5y(b))
    return count


def op_kRLvCwTm6h(a):
    if op_tfWHHpNKUN(a) == 438:
        return op_xoJmIySC7h(op_Ikt5ks8PT7(a,12),op_Qy55tPpLXF(a,117))
    else:
        return a

def op_count_kRLvCwTm6h(a):
    if op_tfWHHpNKUN(a) == 438:
        count = op_count_Ikt5ks8PT7(a,12)+op_count_Qy55tPpLXF(a,117)+op_count_xoJmIySC7h(op_Ikt5ks8PT7(a,12),op_Qy55tPpLXF(a,117))+op_count_tfWHHpNKUN(a)
    else:
        count = 1
    return count


def op_vrPnkOnn0X(a, b):
    if (b >= 1 and op_tDVI6bDdAd(b) < 387 and op_i8ToyICDmI(b,240) != 267):
        return op_KFSx94NKJn(op_OGWBzMv138(a,a),op_YSKBFp38Pu(a,a))
    else:
        return op_Y9dhGmbGii(op_MXaNJeIAZ3(915))

def op_count_vrPnkOnn0X(a, b):
    if (b >= 1 and op_tDVI6bDdAd(b) < 387 and op_i8ToyICDmI(b,240) != 267):
        count = op_count_OGWBzMv138(a,a)+op_count_YSKBFp38Pu(a,a)+op_count_KFSx94NKJn(op_OGWBzMv138(a,a),op_YSKBFp38Pu(a,a))+op_count_tDVI6bDdAd(b)+op_count_i8ToyICDmI(b,240)
    else:
        count = op_count_MXaNJeIAZ3(915)+op_count_Y9dhGmbGii(op_MXaNJeIAZ3(915))
    return count


def op_a7KiVaM89s(a):
    return op_9Isq31Ruls(op_9xnGDUPbC6(op_E4l6HwMY31(a,a)),a)

def op_count_a7KiVaM89s(a):
    count = op_count_E4l6HwMY31(a,a)+op_count_9xnGDUPbC6(op_E4l6HwMY31(a,a))+op_count_9Isq31Ruls(op_9xnGDUPbC6(op_E4l6HwMY31(a,a)),a)
    return count


a≯⩮⩓b = { (297⋘((b⩌⋺a)⩦a)) , if (⊤⊝b)!=10 ; ((⩗⪄(b⋢a))⨮⨆) , else }

def op_wcUnr516Gq(a, b):
    if op_rXAclfmB4M(b) != 10:
        return op_2M7SKlOzyM(297,op_0kmYd0q39Y(op_g7Hmc5v1ko(b,a),a))
    else:
        return op_s0kPeV9Vm2(op_Y9dhGmbGii(op_NdELin8EPX(b,a)))

def op_count_wcUnr516Gq(a, b):
    if op_rXAclfmB4M(b) != 10:
        count = op_count_g7Hmc5v1ko(b,a)+op_count_0kmYd0q39Y(op_g7Hmc5v1ko(b,a),a)+op_count_2M7SKlOzyM(297,op_0kmYd0q39Y(op_g7Hmc5v1ko(b,a),a))+op_count_rXAclfmB4M(b)
    else:
        count = op_count_NdELin8EPX(b,a)+op_count_Y9dhGmbGii(op_NdELin8EPX(b,a))+op_count_s0kPeV9Vm2(op_Y9dhGmbGii(op_NdELin8EPX(b,a)))
    return count


≧↼a = { ((⇻⨃⇄a)⋞(-a)) , if (a⊇≀≁)>=19 ; ((a⨜⇔a)⇽⩪) , else }

def op_z5O9aNKFo7(a):
    if op_AfoL3wC8aT(a) >= 19:
        return op_V4yb4KDoeF(op_fLGIAiPz9h(a),op_t8gj7n24qd(a))
    else:
        return op_FonBHBYJbU(op_Sq3AGanRSD(a,a))

def op_count_z5O9aNKFo7(a):
    if op_AfoL3wC8aT(a) >= 19:
        count = op_count_fLGIAiPz9h(a)+op_count_t8gj7n24qd(a)+op_count_V4yb4KDoeF(op_fLGIAiPz9h(a),op_t8gj7n24qd(a))+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_Sq3AGanRSD(a,a)+op_count_FonBHBYJbU(op_Sq3AGanRSD(a,a))
    return count


def op_wWIXvozSzm(a):
    return op_bx9Z9DAK5y(op_wsXFuL0hC6(op_f6k1SAg4EE(a,a),op_JclMnS0uGI(a,a)))

def op_count_wWIXvozSzm(a):
    count = op_count_f6k1SAg4EE(a,a)+op_count_JclMnS0uGI(a,a)+op_count_wsXFuL0hC6(op_f6k1SAg4EE(a,a),op_JclMnS0uGI(a,a))+op_count_bx9Z9DAK5y(op_wsXFuL0hC6(op_f6k1SAg4EE(a,a),op_JclMnS0uGI(a,a)))
    return count


a⩿⊎b = { (193⨻⪊⨷a) , if (↞≼b)<214 ; (a∌b) , else }

def op_IIvul3xxOn(a, b):
    if op_DE7zCoGJt9(b) < 214:
        return op_Pkwamo1tM2(193,a)
    else:
        return op_8cLx32lpNA(a,b)

def op_count_IIvul3xxOn(a, b):
    if op_DE7zCoGJt9(b) < 214:
        count = op_count_Pkwamo1tM2(193,a)+op_count_DE7zCoGJt9(b)
    else:
        count = op_count_8cLx32lpNA(a,b)
    return count


def op_xTB5j2aZzK(a, b):
    return op_HQuZ2f4It9(op_eewbuw0ToL(op_8cLx32lpNA(a,a),op_neKQRQQIil(b,b)))

def op_count_xTB5j2aZzK(a, b):
    count = op_count_8cLx32lpNA(a,a)+op_count_neKQRQQIil(b,b)+op_count_eewbuw0ToL(op_8cLx32lpNA(a,a),op_neKQRQQIil(b,b))+op_count_HQuZ2f4It9(op_eewbuw0ToL(op_8cLx32lpNA(a,a),op_neKQRQQIil(b,b)))
    return count


a⊔≰ = { (((a⫌⩹⨱)⫸⇳(a≧⊼a))⊵((a⩚⊴⇥89)⋐≟⩺(a⇤a))) , if (⫇a)<=8 ; (((⫊≏⨉a)∷(1⋘a))⪿⇪⊩((⪆a)∌a)) , else }

def op_NZxXvgSuBG(a):
    if op_YjI8oCXuph(a) <= 8:
        return op_eaFBhJ0Uku(op_gx7XJ7hdpj(op_EBcxylXtPf(a),op_JoLB3LXqXx(a,a)),op_PjbVkMzmXE(op_NTOWxs364D(a,89),op_YSKBFp38Pu(a,a)))
    else:
        return op_OGWBzMv138(op_D3AQDKkPcf(op_KED7KUUlGq(a),op_2M7SKlOzyM(1,a)),op_8cLx32lpNA(op_KWeyIRWUIQ(a),a))

def op_count_NZxXvgSuBG(a):
    if op_YjI8oCXuph(a) <= 8:
        count = op_count_EBcxylXtPf(a)+op_count_JoLB3LXqXx(a,a)+op_count_gx7XJ7hdpj(op_EBcxylXtPf(a),op_JoLB3LXqXx(a,a))+op_count_NTOWxs364D(a,89)+op_count_YSKBFp38Pu(a,a)+op_count_PjbVkMzmXE(op_NTOWxs364D(a,89),op_YSKBFp38Pu(a,a))+op_count_eaFBhJ0Uku(op_gx7XJ7hdpj(op_EBcxylXtPf(a),op_JoLB3LXqXx(a,a)),op_PjbVkMzmXE(op_NTOWxs364D(a,89),op_YSKBFp38Pu(a,a)))+op_count_YjI8oCXuph(a)
    else:
        count = op_count_KED7KUUlGq(a)+op_count_2M7SKlOzyM(1,a)+op_count_D3AQDKkPcf(op_KED7KUUlGq(a),op_2M7SKlOzyM(1,a))+op_count_KWeyIRWUIQ(a)+op_count_8cLx32lpNA(op_KWeyIRWUIQ(a),a)+op_count_OGWBzMv138(op_D3AQDKkPcf(op_KED7KUUlGq(a),op_2M7SKlOzyM(1,a)),op_8cLx32lpNA(op_KWeyIRWUIQ(a),a))
    return count


def op_YE0NuhSZe9(a):
    return op_27wFxooxGf(op_4JGOJzXMq1(321,a))

def op_count_YE0NuhSZe9(a):
    count = op_count_4JGOJzXMq1(321,a)+op_count_27wFxooxGf(op_4JGOJzXMq1(321,a))
    return count


a⋠b = { ((b⊉↱≁(a⇩))⩇∃⫛((b∈)⩌(a⇞))) , if (b⇞)==238 ; ((⨡↴(1⩹a))∫⋜⩖((b⪈⋁⩁a)⋰⇉∕(455⪔⊥a))) , else }

def op_9KPSAEIRzt(a, b):
    if op_5JYyxRJd4f(b) == 238:
        return op_1aApVXNlOP(op_w2P8NbNXyL(b,op_vRio1gEz1j(a)),op_UoVew8f2p2(op_ztP7wcbY7m(b),op_5JYyxRJd4f(a)))
    else:
        return op_JgXZM7XvWE(op_liw5iZPkLH(op_2Wsdkap16l(1,a)),op_sM9mzqIDB1(op_GMyVS5K48T(b,a),op_HJ9erzHUuu(455,a)))

def op_count_9KPSAEIRzt(a, b):
    if op_5JYyxRJd4f(b) == 238:
        count = op_count_vRio1gEz1j(a)+op_count_w2P8NbNXyL(b,op_vRio1gEz1j(a))+op_count_ztP7wcbY7m(b)+op_count_5JYyxRJd4f(a)+op_count_UoVew8f2p2(op_ztP7wcbY7m(b),op_5JYyxRJd4f(a))+op_count_1aApVXNlOP(op_w2P8NbNXyL(b,op_vRio1gEz1j(a)),op_UoVew8f2p2(op_ztP7wcbY7m(b),op_5JYyxRJd4f(a)))+op_count_5JYyxRJd4f(b)
    else:
        count = op_count_2Wsdkap16l(1,a)+op_count_liw5iZPkLH(op_2Wsdkap16l(1,a))+op_count_GMyVS5K48T(b,a)+op_count_HJ9erzHUuu(455,a)+op_count_sM9mzqIDB1(op_GMyVS5K48T(b,a),op_HJ9erzHUuu(455,a))+op_count_JgXZM7XvWE(op_liw5iZPkLH(op_2Wsdkap16l(1,a)),op_sM9mzqIDB1(op_GMyVS5K48T(b,a),op_HJ9erzHUuu(455,a)))
    return count


a→⊣⋬b = { (((b⫁⪎b)⩵∡(b⪯⫾⋍b))⩹((a⫏↛⩏a)⫶(⨇⪄⫏b))) }

def op_51hOuhRTcR(a, b):
    return op_2Wsdkap16l(op_Y7wcNGrDQJ(op_xRrnTEsQ6j(b,b),op_S5ZFQS4GK3(b,b)),op_BAIXFdYaz3(op_YC3tgrnOyr(a,a),op_B4c4JXCTtZ(b)))

def op_count_51hOuhRTcR(a, b):
    count = op_count_xRrnTEsQ6j(b,b)+op_count_S5ZFQS4GK3(b,b)+op_count_Y7wcNGrDQJ(op_xRrnTEsQ6j(b,b),op_S5ZFQS4GK3(b,b))+op_count_YC3tgrnOyr(a,a)+op_count_B4c4JXCTtZ(b)+op_count_BAIXFdYaz3(op_YC3tgrnOyr(a,a),op_B4c4JXCTtZ(b))+op_count_2Wsdkap16l(op_Y7wcNGrDQJ(op_xRrnTEsQ6j(b,b),op_S5ZFQS4GK3(b,b)),op_BAIXFdYaz3(op_YC3tgrnOyr(a,a),op_B4c4JXCTtZ(b)))
    return count


def op_sI0su5b2po(a):
    if a >= 75:
        return op_5twsqlHp2o(op_Tmr9JGNMVH(a),op_bjFbhXSADs(a))
    else:
        return op_EWw2JM7wp4(op_2GS7woTJqF(a,532),op_1h0rLqGiFr(a))

def op_count_sI0su5b2po(a):
    if a >= 75:
        count = op_count_Tmr9JGNMVH(a)+op_count_bjFbhXSADs(a)+op_count_5twsqlHp2o(op_Tmr9JGNMVH(a),op_bjFbhXSADs(a))
    else:
        count = op_count_2GS7woTJqF(a,532)+op_count_1h0rLqGiFr(a)+op_count_EWw2JM7wp4(op_2GS7woTJqF(a,532),op_1h0rLqGiFr(a))
    return count


a≨≷↮b = { (((b⩤∜↚a)∠↢(165⋝⋈⪟a))⪿⇪⊩((115⊀⪪⫸)⪕(a⩤∜↚b))) }

def op_HcR3lMcVMO(a, b):
    return op_OGWBzMv138(op_KbjG8mgYpV(op_KROiRRz3d6(b,a),op_2DDjHMKMc0(165,a)),op_umQnsF7QlU(op_UIU2Eox550(115),op_KROiRRz3d6(a,b)))

def op_count_HcR3lMcVMO(a, b):
    count = op_count_KROiRRz3d6(b,a)+op_count_2DDjHMKMc0(165,a)+op_count_KbjG8mgYpV(op_KROiRRz3d6(b,a),op_2DDjHMKMc0(165,a))+op_count_UIU2Eox550(115)+op_count_KROiRRz3d6(a,b)+op_count_umQnsF7QlU(op_UIU2Eox550(115),op_KROiRRz3d6(a,b))+op_count_OGWBzMv138(op_KbjG8mgYpV(op_KROiRRz3d6(b,a),op_2DDjHMKMc0(165,a)),op_umQnsF7QlU(op_UIU2Eox550(115),op_KROiRRz3d6(a,b)))
    return count


def op_flTYCMi2UH(a):
    return op_JDUIKTTSIa(a,a)

def op_count_flTYCMi2UH(a):
    count = op_count_JDUIKTTSIa(a,a)
    return count


def op_jeW0Rpey79(a):
    return op_4JB6nKBMSY(op_KPf6cnQVty(op_0JWJYFSzIQ(a,a),op_f6k1SAg4EE(38,33)),a)

def op_count_jeW0Rpey79(a):
    count = op_count_0JWJYFSzIQ(a,a)+op_count_f6k1SAg4EE(38,33)+op_count_KPf6cnQVty(op_0JWJYFSzIQ(a,a),op_f6k1SAg4EE(38,33))+op_count_4JB6nKBMSY(op_KPf6cnQVty(op_0JWJYFSzIQ(a,a),op_f6k1SAg4EE(38,33)),a)
    return count


def op_9VoQ6iZjwX(a, b):
    if op_bx9Z9DAK5y(b) >= 377:
        return op_E4l6HwMY31(op_ieTw63T1Vx(op_bx9Z9DAK5y(42)),op_8cLx32lpNA(op_sdazOOVcIp(a,a),op_IwW236VD4Y(168,b)))
    else:
        return op_f6k1SAg4EE(op_PPChnnnBFF(op_2GS7woTJqF(190,b),op_13TjBizFrQ(b)),op_tnyRA5sazQ(op_EBcxylXtPf(a),op_JLbD19bQDL(126)))

def op_count_9VoQ6iZjwX(a, b):
    if op_bx9Z9DAK5y(b) >= 377:
        count = op_count_bx9Z9DAK5y(42)+op_count_ieTw63T1Vx(op_bx9Z9DAK5y(42))+op_count_sdazOOVcIp(a,a)+op_count_IwW236VD4Y(168,b)+op_count_8cLx32lpNA(op_sdazOOVcIp(a,a),op_IwW236VD4Y(168,b))+op_count_E4l6HwMY31(op_ieTw63T1Vx(op_bx9Z9DAK5y(42)),op_8cLx32lpNA(op_sdazOOVcIp(a,a),op_IwW236VD4Y(168,b)))+op_count_bx9Z9DAK5y(b)
    else:
        count = op_count_2GS7woTJqF(190,b)+op_count_13TjBizFrQ(b)+op_count_PPChnnnBFF(op_2GS7woTJqF(190,b),op_13TjBizFrQ(b))+op_count_EBcxylXtPf(a)+op_count_JLbD19bQDL(126)+op_count_tnyRA5sazQ(op_EBcxylXtPf(a),op_JLbD19bQDL(126))+op_count_f6k1SAg4EE(op_PPChnnnBFF(op_2GS7woTJqF(190,b),op_13TjBizFrQ(b)),op_tnyRA5sazQ(op_EBcxylXtPf(a),op_JLbD19bQDL(126)))
    return count


def op_WYdstNaOZK(a, b):
    return op_rIsGeVJWJF(op_inCIaGQf8u(op_bPywburJMS(a,b),op_t8gj7n24qd(a)))

def op_count_WYdstNaOZK(a, b):
    count = op_count_bPywburJMS(a,b)+op_count_t8gj7n24qd(a)+op_count_inCIaGQf8u(op_bPywburJMS(a,b),op_t8gj7n24qd(a))+op_count_rIsGeVJWJF(op_inCIaGQf8u(op_bPywburJMS(a,b),op_t8gj7n24qd(a)))
    return count


def op_S46drDFK2N(a):
    if op_e1ybzncUwg(a) < 87:
        return op_6iafYuwGo8(op_Siyfjn51pv(op_KbjG8mgYpV(a,a)),op_nREPSIbpBE(op_kuIXHzHcAH(417,92),op_EWw2JM7wp4(a,196)))
    else:
        return op_pRsWfj4Fpp(op_NdELin8EPX(op_vg4gO5BX6G(a,a),op_PxiHyQbrIp(a)))

def op_count_S46drDFK2N(a):
    if op_e1ybzncUwg(a) < 87:
        count = op_count_KbjG8mgYpV(a,a)+op_count_Siyfjn51pv(op_KbjG8mgYpV(a,a))+op_count_kuIXHzHcAH(417,92)+op_count_EWw2JM7wp4(a,196)+op_count_nREPSIbpBE(op_kuIXHzHcAH(417,92),op_EWw2JM7wp4(a,196))+op_count_6iafYuwGo8(op_Siyfjn51pv(op_KbjG8mgYpV(a,a)),op_nREPSIbpBE(op_kuIXHzHcAH(417,92),op_EWw2JM7wp4(a,196)))+op_count_e1ybzncUwg(a)
    else:
        count = op_count_vg4gO5BX6G(a,a)+op_count_PxiHyQbrIp(a)+op_count_NdELin8EPX(op_vg4gO5BX6G(a,a),op_PxiHyQbrIp(a))+op_count_pRsWfj4Fpp(op_NdELin8EPX(op_vg4gO5BX6G(a,a),op_PxiHyQbrIp(a)))
    return count


def op_MLuVrXzyTy(a, b):
    if b >= 700:
        return op_8WDwsbhb0R(op_XnXgA4xnOs(op_3YWlZA9bsa(b,b),op_m612RDITqL(a,b)))
    else:
        return op_V4yb4KDoeF(op_BUOGQAYlQx(op_3YWlZA9bsa(b,516)),op_W4YGzv6Whe(op_Y7wcNGrDQJ(48,b),op_1aApVXNlOP(a,54)))

def op_count_MLuVrXzyTy(a, b):
    if b >= 700:
        count = op_count_3YWlZA9bsa(b,b)+op_count_m612RDITqL(a,b)+op_count_XnXgA4xnOs(op_3YWlZA9bsa(b,b),op_m612RDITqL(a,b))+op_count_8WDwsbhb0R(op_XnXgA4xnOs(op_3YWlZA9bsa(b,b),op_m612RDITqL(a,b)))
    else:
        count = op_count_3YWlZA9bsa(b,516)+op_count_BUOGQAYlQx(op_3YWlZA9bsa(b,516))+op_count_Y7wcNGrDQJ(48,b)+op_count_1aApVXNlOP(a,54)+op_count_W4YGzv6Whe(op_Y7wcNGrDQJ(48,b),op_1aApVXNlOP(a,54))+op_count_V4yb4KDoeF(op_BUOGQAYlQx(op_3YWlZA9bsa(b,516)),op_W4YGzv6Whe(op_Y7wcNGrDQJ(48,b),op_1aApVXNlOP(a,54)))
    return count


⪘⋹⊆a = { (⇺⪔⩬(⨾∊⩁a)) }

def op_rYuH8NSTjl(a):
    return op_lAOUD4ZMWV(op_QErWpSDGk0(a))

def op_count_rYuH8NSTjl(a):
    count = op_count_QErWpSDGk0(a)+op_count_lAOUD4ZMWV(op_QErWpSDGk0(a))
    return count


def op_sPiGf7YRX8(a):
    return op_9bazX3JMtO(op_u7fv1HBiaC(a),op_jvbZP6NeOL(a))

def op_count_sPiGf7YRX8(a):
    count = op_count_u7fv1HBiaC(a)+op_count_jvbZP6NeOL(a)+op_count_9bazX3JMtO(op_u7fv1HBiaC(a),op_jvbZP6NeOL(a))
    return count


a⩘∃ = { ((⇙⪊(a⫀))⊵(⇝⋾⇵(130⨰a))) , if (⨍⩸↶a)==157 ; (((a≚⊃≕a)∀⩎⋷(⋃a))⨑≵⋬(a⪚⨁⋖(a⋆⊨a))) , else }

def op_rppWNvNsyJ(a):
    if op_2jG7DiviLq(a) == 157:
        return op_eaFBhJ0Uku(op_pB6Fcnrjim(op_hFnZRMLNSM(a)),op_6l7ULzJsnZ(op_eewbuw0ToL(130,a)))
    else:
        return op_XnXgA4xnOs(op_FPxP5Y1j0W(op_Bmrmz2XGnR(a,a),op_3mBM5G4a3l(a)),op_xSk1F0pZbF(a,op_uTBsSls0VN(a,a)))

def op_count_rppWNvNsyJ(a):
    if op_2jG7DiviLq(a) == 157:
        count = op_count_hFnZRMLNSM(a)+op_count_pB6Fcnrjim(op_hFnZRMLNSM(a))+op_count_eewbuw0ToL(130,a)+op_count_6l7ULzJsnZ(op_eewbuw0ToL(130,a))+op_count_eaFBhJ0Uku(op_pB6Fcnrjim(op_hFnZRMLNSM(a)),op_6l7ULzJsnZ(op_eewbuw0ToL(130,a)))+op_count_2jG7DiviLq(a)
    else:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_3mBM5G4a3l(a)+op_count_FPxP5Y1j0W(op_Bmrmz2XGnR(a,a),op_3mBM5G4a3l(a))+op_count_uTBsSls0VN(a,a)+op_count_xSk1F0pZbF(a,op_uTBsSls0VN(a,a))+op_count_XnXgA4xnOs(op_FPxP5Y1j0W(op_Bmrmz2XGnR(a,a),op_3mBM5G4a3l(a)),op_xSk1F0pZbF(a,op_uTBsSls0VN(a,a)))
    return count


≂∛⫋a = { (∥⊫a) , if a>19 and (a≧⫂∧117)==682 ; (⫎≠⋺a) , else }

def op_i7VTUR2azr(a):
    if a > 19 and op_Ph9nP6C5qx(a,117) == 682:
        return op_P8v4zCKN1o(a)
    else:
        return op_LYeZOJ0nQG(a)

def op_count_i7VTUR2azr(a):
    if a > 19 and op_Ph9nP6C5qx(a,117) == 682:
        count = op_count_P8v4zCKN1o(a)+op_count_Ph9nP6C5qx(a,117)
    else:
        count = op_count_LYeZOJ0nQG(a)
    return count


def op_ByhTHGuwmm(a):
    return op_XbEAUggs3J(op_Bmrmz2XGnR(op_QiR2Oyf5Xj(a),op_z2JHNkvbdm(189,a)))

def op_count_ByhTHGuwmm(a):
    count = op_count_QiR2Oyf5Xj(a)+op_count_z2JHNkvbdm(189,a)+op_count_Bmrmz2XGnR(op_QiR2Oyf5Xj(a),op_z2JHNkvbdm(189,a))+op_count_XbEAUggs3J(op_Bmrmz2XGnR(op_QiR2Oyf5Xj(a),op_z2JHNkvbdm(189,a)))
    return count


def op_slbBSpilWt(a):
    if a != 283:
        return op_HiPekx5b7W(a,32)
    else:
        return op_qazvmhNBbN(601)

def op_count_slbBSpilWt(a):
    if a != 283:
        count = op_count_HiPekx5b7W(a,32)
    else:
        count = op_count_qazvmhNBbN(601)
    return count


≱⨚a = { ((130⪯⫾⋍a)⋝∏) , if (a⋅)>=560 ; (a⩷∴(a⪲⨢a)) , else }

def op_GaQLcZwlqT(a):
    if op_620seOwKww(a) >= 560:
        return op_69GgKhV9QQ(op_S5ZFQS4GK3(130,a))
    else:
        return op_9FxExcQeMw(a,op_6iafYuwGo8(a,a))

def op_count_GaQLcZwlqT(a):
    if op_620seOwKww(a) >= 560:
        count = op_count_S5ZFQS4GK3(130,a)+op_count_69GgKhV9QQ(op_S5ZFQS4GK3(130,a))+op_count_620seOwKww(a)
    else:
        count = op_count_6iafYuwGo8(a,a)+op_count_9FxExcQeMw(a,op_6iafYuwGo8(a,a))
    return count


def op_KfUWWnJWrf(a, b):
    return op_620seOwKww(op_XnXgA4xnOs(a,b))

def op_count_KfUWWnJWrf(a, b):
    count = op_count_XnXgA4xnOs(a,b)+op_count_620seOwKww(op_XnXgA4xnOs(a,b))
    return count


def op_W1TocZkZtQ(a):
    return op_HQuZ2f4It9(op_EWw2JM7wp4(a,a))

def op_count_W1TocZkZtQ(a):
    count = op_count_EWw2JM7wp4(a,a)+op_count_HQuZ2f4It9(op_EWw2JM7wp4(a,a))
    return count


a⨅⪔b = { ((b∀⩎⋷b)⪯⫾⋍(a⇌⫙⪟50)) , if (b⊹⊞⫔)>547 ; ((a⊉↱≁486)⨓↿∉(b⪖⪡b)) , else }

def op_zs0bbCWKdf(a, b):
    if op_eVHdItn4YL(b) > 547:
        return op_S5ZFQS4GK3(op_FPxP5Y1j0W(b,b),op_AFVx7xoS7T(a,50))
    else:
        return op_OWnFPqjWlR(op_w2P8NbNXyL(a,486),op_7PjNe5qSIJ(b,b))

def op_count_zs0bbCWKdf(a, b):
    if op_eVHdItn4YL(b) > 547:
        count = op_count_FPxP5Y1j0W(b,b)+op_count_AFVx7xoS7T(a,50)+op_count_S5ZFQS4GK3(op_FPxP5Y1j0W(b,b),op_AFVx7xoS7T(a,50))+op_count_eVHdItn4YL(b)
    else:
        count = op_count_w2P8NbNXyL(a,486)+op_count_7PjNe5qSIJ(b,b)+op_count_OWnFPqjWlR(op_w2P8NbNXyL(a,486),op_7PjNe5qSIJ(b,b))
    return count


def op_v9KVZbcFsa(a, b):
    return op_m612RDITqL(op_DmTXOeWf9t(221,op_2DDjHMKMc0(10,a)),op_XZxEnkN3N0(op_tnyRA5sazQ(b,b)))

def op_count_v9KVZbcFsa(a, b):
    count = op_count_2DDjHMKMc0(10,a)+op_count_DmTXOeWf9t(221,op_2DDjHMKMc0(10,a))+op_count_tnyRA5sazQ(b,b)+op_count_XZxEnkN3N0(op_tnyRA5sazQ(b,b))+op_count_m612RDITqL(op_DmTXOeWf9t(221,op_2DDjHMKMc0(10,a)),op_XZxEnkN3N0(op_tnyRA5sazQ(b,b)))
    return count


a⨥⩑⨢b = { ((64⇋≉)↼⊘⨖(20⋳/a)) , if b>=5 ; ((b⨜⨶513)⋥≓≎(⨢⋑⪾b)) , else }

def op_FSSPwwucrF(a, b):
    if b >= 5:
        return op_bPywburJMS(op_XIabStNQrY(64),op_m612RDITqL(20,a))
    else:
        return op_Qy55tPpLXF(op_HiPekx5b7W(b,513),op_tmjFFOTKyA(b))

def op_count_FSSPwwucrF(a, b):
    if b >= 5:
        count = op_count_XIabStNQrY(64)+op_count_m612RDITqL(20,a)+op_count_bPywburJMS(op_XIabStNQrY(64),op_m612RDITqL(20,a))
    else:
        count = op_count_HiPekx5b7W(b,513)+op_count_tmjFFOTKyA(b)+op_count_Qy55tPpLXF(op_HiPekx5b7W(b,513),op_tmjFFOTKyA(b))
    return count


a∎⋞b = { (((a⨜⇔a)∣(↪⨀b))⊢≏≾(⇒⊙∲(⩆⇋b))) , if (b⇩↽)==508 ; (((51∮⨁)⫗⊒⇾(b↹⊜b))⇴((879∙∹∝a)∙∹∝(a∶))) , else }

def op_pUl58FdsSl(a, b):
    if op_HjMFvreeUu(b) == 508:
        return op_qxqspddX8k(op_PPChnnnBFF(op_Sq3AGanRSD(a,a),op_t0cKpDWDXO(b)),op_8HCJqvcFkE(op_IjUb3wyICU(b)))
    else:
        return op_4JB6nKBMSY(op_hiBDRd40bf(op_TytFGXR7Zf(51),op_9bazX3JMtO(b,b)),op_HmxsFra2vL(op_HmxsFra2vL(879,a),op_7FnCP1ejHT(a)))

def op_count_pUl58FdsSl(a, b):
    if op_HjMFvreeUu(b) == 508:
        count = op_count_Sq3AGanRSD(a,a)+op_count_t0cKpDWDXO(b)+op_count_PPChnnnBFF(op_Sq3AGanRSD(a,a),op_t0cKpDWDXO(b))+op_count_IjUb3wyICU(b)+op_count_8HCJqvcFkE(op_IjUb3wyICU(b))+op_count_qxqspddX8k(op_PPChnnnBFF(op_Sq3AGanRSD(a,a),op_t0cKpDWDXO(b)),op_8HCJqvcFkE(op_IjUb3wyICU(b)))+op_count_HjMFvreeUu(b)
    else:
        count = op_count_TytFGXR7Zf(51)+op_count_9bazX3JMtO(b,b)+op_count_hiBDRd40bf(op_TytFGXR7Zf(51),op_9bazX3JMtO(b,b))+op_count_HmxsFra2vL(879,a)+op_count_7FnCP1ejHT(a)+op_count_HmxsFra2vL(op_HmxsFra2vL(879,a),op_7FnCP1ejHT(a))+op_count_4JB6nKBMSY(op_hiBDRd40bf(op_TytFGXR7Zf(51),op_9bazX3JMtO(b,b)),op_HmxsFra2vL(op_HmxsFra2vL(879,a),op_7FnCP1ejHT(a)))
    return count


def op_nHeERPBDuK(a):
    return op_kuIXHzHcAH(op_BjRHVeLaeN(a),op_xUOZtlo3hN(a))

def op_count_nHeERPBDuK(a):
    count = op_count_BjRHVeLaeN(a)+op_count_xUOZtlo3hN(a)+op_count_kuIXHzHcAH(op_BjRHVeLaeN(a),op_xUOZtlo3hN(a))
    return count


a⨹⋡≘b = { (↞≼a) , if (b⨶)<81 ; (a⇛a) , else }

def op_LdjhkzDm9K(a, b):
    if op_rFxw8gIMmB(b) < 81:
        return op_DE7zCoGJt9(a)
    else:
        return op_S3tN1ZzpSt(a,a)

def op_count_LdjhkzDm9K(a, b):
    if op_rFxw8gIMmB(b) < 81:
        count = op_count_DE7zCoGJt9(a)+op_count_rFxw8gIMmB(b)
    else:
        count = op_count_S3tN1ZzpSt(a,a)
    return count


a⊋↛b = { (((a⪈⋁⩁b)⪊≅)⩌((b⪉⨛b)≽⪈↿(a⊨b))) }

def op_fOUzq6FFBl(a, b):
    return op_UoVew8f2p2(op_bjFbhXSADs(op_GMyVS5K48T(a,b)),op_inCIaGQf8u(op_EWw2JM7wp4(b,b),op_vg4gO5BX6G(a,b)))

def op_count_fOUzq6FFBl(a, b):
    count = op_count_GMyVS5K48T(a,b)+op_count_bjFbhXSADs(op_GMyVS5K48T(a,b))+op_count_EWw2JM7wp4(b,b)+op_count_vg4gO5BX6G(a,b)+op_count_inCIaGQf8u(op_EWw2JM7wp4(b,b),op_vg4gO5BX6G(a,b))+op_count_UoVew8f2p2(op_bjFbhXSADs(op_GMyVS5K48T(a,b)),op_inCIaGQf8u(op_EWw2JM7wp4(b,b),op_vg4gO5BX6G(a,b)))
    return count


def op_Tgte3JtaA5(a):
    return op_D309nIvmXG(op_OGWBzMv138(a,a))

def op_count_Tgte3JtaA5(a):
    count = op_count_OGWBzMv138(a,a)+op_count_D309nIvmXG(op_OGWBzMv138(a,a))
    return count