def op_sQPZTAY2pc(a):
    if op_UoVew8f2p2(a,38) >= 498 and a <= 306:
        return op_PrwIXj9ZQe(op_KYL1uVeVpb(op_SPuZE40Ntn(420,a),op_UpkSd4zESC(a,a)))
    else:
        return op_FonBHBYJbU(op_RygbFNSyEJ(op_Qy55tPpLXF(206,a),a))

def op_count_sQPZTAY2pc(a):
    if op_UoVew8f2p2(a,38) >= 498 and a <= 306:
        count = op_count_SPuZE40Ntn(420,a)+op_count_UpkSd4zESC(a,a)+op_count_KYL1uVeVpb(op_SPuZE40Ntn(420,a),op_UpkSd4zESC(a,a))+op_count_PrwIXj9ZQe(op_KYL1uVeVpb(op_SPuZE40Ntn(420,a),op_UpkSd4zESC(a,a)))+op_count_UoVew8f2p2(a,38)
    else:
        count = op_count_Qy55tPpLXF(206,a)+op_count_RygbFNSyEJ(op_Qy55tPpLXF(206,a),a)+op_count_FonBHBYJbU(op_RygbFNSyEJ(op_Qy55tPpLXF(206,a),a))
    return count


a⨤⩳b = { a , if (↡b)<=207 ; (a≦↸b) , else }

def op_Uj3jQahk2D(a, b):
    if op_MXaNJeIAZ3(b) <= 207:
        return a
    else:
        return op_RygbFNSyEJ(a,b)

def op_count_Uj3jQahk2D(a, b):
    if op_MXaNJeIAZ3(b) <= 207:
        count = 1
    else:
        count = op_count_RygbFNSyEJ(a,b)
    return count


def op_xwVg91SYUp(a):
    return op_NTOWxs364D(op_3EhVUz7Ug9(a),op_NTOWxs364D(op_qy3n0tapmE(a,a),a))

def op_count_xwVg91SYUp(a):
    count = op_count_3EhVUz7Ug9(a)+op_count_qy3n0tapmE(a,a)+op_count_NTOWxs364D(op_qy3n0tapmE(a,a),a)+op_count_NTOWxs364D(op_3EhVUz7Ug9(a),op_NTOWxs364D(op_qy3n0tapmE(a,a),a))
    return count


def op_hASfSPd5iB(a):
    return op_64EQ39e0fC(a,8)

def op_count_hASfSPd5iB(a):
    count = op_count_64EQ39e0fC(a,8)
    return count


def op_0tp3iiivrU(a):
    if a == 331:
        return op_Sq3AGanRSD(a,op_f6k1SAg4EE(op_g55IO6H4Gj(309,a),op_SgAxmdLNEA(114)))
    else:
        return op_hmlrMsD2PO(op_lAOUD4ZMWV(op_qAljGMXEZr(a)),op_61wBmkZwlr(op_4CyGpkTkEk(a)))

def op_count_0tp3iiivrU(a):
    if a == 331:
        count = op_count_g55IO6H4Gj(309,a)+op_count_SgAxmdLNEA(114)+op_count_f6k1SAg4EE(op_g55IO6H4Gj(309,a),op_SgAxmdLNEA(114))+op_count_Sq3AGanRSD(a,op_f6k1SAg4EE(op_g55IO6H4Gj(309,a),op_SgAxmdLNEA(114)))
    else:
        count = op_count_qAljGMXEZr(a)+op_count_lAOUD4ZMWV(op_qAljGMXEZr(a))+op_count_4CyGpkTkEk(a)+op_count_61wBmkZwlr(op_4CyGpkTkEk(a))+op_count_hmlrMsD2PO(op_lAOUD4ZMWV(op_qAljGMXEZr(a)),op_61wBmkZwlr(op_4CyGpkTkEk(a)))
    return count


def op_mW0N8loidO(a):
    return op_FyVja0WsTP(a,a)

def op_count_mW0N8loidO(a):
    count = op_count_FyVja0WsTP(a,a)
    return count


⨖a = { ((a⨻⪊⨷81)⨬⫳) , if (⊙⨙⩍a)!=42 ; ((∨⫘⊿a)⋞(a∊⊞≈a)) , else }

def op_Q6gAPzGkqQ(a):
    if op_ocpzidtxKt(a) != 42:
        return op_kc7iqVBlRY(op_Pkwamo1tM2(a,81))
    else:
        return op_V4yb4KDoeF(op_qxp9F1VMeC(a),op_keuJNkrrbj(a,a))

def op_count_Q6gAPzGkqQ(a):
    if op_ocpzidtxKt(a) != 42:
        count = op_count_Pkwamo1tM2(a,81)+op_count_kc7iqVBlRY(op_Pkwamo1tM2(a,81))+op_count_ocpzidtxKt(a)
    else:
        count = op_count_qxp9F1VMeC(a)+op_count_keuJNkrrbj(a,a)+op_count_V4yb4KDoeF(op_qxp9F1VMeC(a),op_keuJNkrrbj(a,a))
    return count


a⋴≽⪿b = { (⊠(⨡↴b)) , if a!=185 ; (⊠b) , else }

def op_vpjiMvlQnK(a, b):
    if a != 185:
        return op_R3vAdrE3IH(op_liw5iZPkLH(b))
    else:
        return op_R3vAdrE3IH(b)

def op_count_vpjiMvlQnK(a, b):
    if a != 185:
        count = op_count_liw5iZPkLH(b)+op_count_R3vAdrE3IH(op_liw5iZPkLH(b))
    else:
        count = op_count_R3vAdrE3IH(b)
    return count


a⪆⪮ = { (((a⨶)⊀⪪⫸)⨳⩥⨓((a+⪬∐a)⫏↛⩏(a⪿⇪⊩111))) }

def op_bTLp93UMFE(a):
    return op_nCS4ZIUYfx(op_UIU2Eox550(op_rFxw8gIMmB(a)),op_YC3tgrnOyr(op_2GS7woTJqF(a,a),op_OGWBzMv138(a,111)))

def op_count_bTLp93UMFE(a):
    count = op_count_rFxw8gIMmB(a)+op_count_UIU2Eox550(op_rFxw8gIMmB(a))+op_count_2GS7woTJqF(a,a)+op_count_OGWBzMv138(a,111)+op_count_YC3tgrnOyr(op_2GS7woTJqF(a,a),op_OGWBzMv138(a,111))+op_count_nCS4ZIUYfx(op_UIU2Eox550(op_rFxw8gIMmB(a)),op_YC3tgrnOyr(op_2GS7woTJqF(a,a),op_OGWBzMv138(a,111)))
    return count


def op_r8WhR566a7(a):
    if op_sM9mzqIDB1(a,529) < 44:
        return op_b1mGkbI4Oy(a,277)
    else:
        return op_WmT3o8z6ya(a)

def op_count_r8WhR566a7(a):
    if op_sM9mzqIDB1(a,529) < 44:
        count = op_count_b1mGkbI4Oy(a,277)+op_count_sM9mzqIDB1(a,529)
    else:
        count = op_count_WmT3o8z6ya(a)
    return count


def op_5Dh7ct4pMe(a):
    return op_XnXgA4xnOs(a,a)

def op_count_5Dh7ct4pMe(a):
    count = op_count_XnXgA4xnOs(a,a)
    return count


def op_yQYX45Gf9c(a):
    if op_RHru8klgy8(a) == 220 or op_0kmYd0q39Y(a,766) == 934:
        return op_s3Fd5m9Dh2(op_7j4O788W3g(a,a),op_uOZ1tnYMDE(a))
    else:
        return op_uPb5QRN0te(op_YbVcJGFEVW(a,a))

def op_count_yQYX45Gf9c(a):
    if op_RHru8klgy8(a) == 220 or op_0kmYd0q39Y(a,766) == 934:
        count = op_count_7j4O788W3g(a,a)+op_count_uOZ1tnYMDE(a)+op_count_s3Fd5m9Dh2(op_7j4O788W3g(a,a),op_uOZ1tnYMDE(a))+op_count_RHru8klgy8(a)+op_count_0kmYd0q39Y(a,766)
    else:
        count = op_count_YbVcJGFEVW(a,a)+op_count_uPb5QRN0te(op_YbVcJGFEVW(a,a))
    return count


a≖⋷⨓b = { ((b⨔⇊b)⪚(⨍⩸↶b)) , if a>=75 ; ((b⫏↛⩏738)⋾⨟) , else }

def op_3ZAiUOk8Uv(a, b):
    if a >= 75:
        return op_HrjLwUk87U(op_JclMnS0uGI(b,b),op_2jG7DiviLq(b))
    else:
        return op_hYjFJ8q04Z(op_YC3tgrnOyr(b,738))

def op_count_3ZAiUOk8Uv(a, b):
    if a >= 75:
        count = op_count_JclMnS0uGI(b,b)+op_count_2jG7DiviLq(b)+op_count_HrjLwUk87U(op_JclMnS0uGI(b,b),op_2jG7DiviLq(b))
    else:
        count = op_count_YC3tgrnOyr(b,738)+op_count_hYjFJ8q04Z(op_YC3tgrnOyr(b,738))
    return count


a←∉⩵b = { (b⨔⇊b) , if (a⪒⊣⊆811)>=131 ; (⋽⪳⨃a) , else }

def op_NOHxjtdlri(a, b):
    if op_eRqsBgTDFp(a,811) >= 131:
        return op_JclMnS0uGI(b,b)
    else:
        return op_qAljGMXEZr(a)

def op_count_NOHxjtdlri(a, b):
    if op_eRqsBgTDFp(a,811) >= 131:
        count = op_count_JclMnS0uGI(b,b)+op_count_eRqsBgTDFp(a,811)
    else:
        count = op_count_qAljGMXEZr(a)
    return count


a⫻⫍b = { ((214⫊⇚⊺b)⪕(b⫏↛⩏b)) , if (a⫏↛⩏116)>=559 ; ((a⊎←↗)∣(a⫗⊒⇾a)) , else }

def op_3XmQWJya4h(a, b):
    if op_YC3tgrnOyr(a,116) >= 559:
        return op_umQnsF7QlU(op_Y5cEcQhyKu(214,b),op_YC3tgrnOyr(b,b))
    else:
        return op_PPChnnnBFF(op_dwb5p0fa6d(a),op_hiBDRd40bf(a,a))

def op_count_3XmQWJya4h(a, b):
    if op_YC3tgrnOyr(a,116) >= 559:
        count = op_count_Y5cEcQhyKu(214,b)+op_count_YC3tgrnOyr(b,b)+op_count_umQnsF7QlU(op_Y5cEcQhyKu(214,b),op_YC3tgrnOyr(b,b))+op_count_YC3tgrnOyr(a,116)
    else:
        count = op_count_dwb5p0fa6d(a)+op_count_hiBDRd40bf(a,a)+op_count_PPChnnnBFF(op_dwb5p0fa6d(a),op_hiBDRd40bf(a,a))
    return count


def op_jDZQ1yC2tg(a):
    return op_apS25hmuAe(op_S3tN1ZzpSt(op_KYL1uVeVpb(52,108),op_h57jOAbG9W(a)))

def op_count_jDZQ1yC2tg(a):
    count = op_count_KYL1uVeVpb(52,108)+op_count_h57jOAbG9W(a)+op_count_S3tN1ZzpSt(op_KYL1uVeVpb(52,108),op_h57jOAbG9W(a))+op_count_apS25hmuAe(op_S3tN1ZzpSt(op_KYL1uVeVpb(52,108),op_h57jOAbG9W(a)))
    return count


⨱+a = { (a∠⫱a) , if ((a⊀⪪⫸)<3 and a<=311) ; (((a⩰⨪↦)⪉⨛(a⇛a))↰) , else }

def op_R73I1om3fK(a):
    if (op_UIU2Eox550(a) < 3 and a <= 311):
        return op_QvoQhV0rrE(a,a)
    else:
        return op_bl5wxAcryP(op_EWw2JM7wp4(op_fLfyAuxYJD(a),op_S3tN1ZzpSt(a,a)))

def op_count_R73I1om3fK(a):
    if (op_UIU2Eox550(a) < 3 and a <= 311):
        count = op_count_QvoQhV0rrE(a,a)+op_count_UIU2Eox550(a)
    else:
        count = op_count_fLfyAuxYJD(a)+op_count_S3tN1ZzpSt(a,a)+op_count_EWw2JM7wp4(op_fLfyAuxYJD(a),op_S3tN1ZzpSt(a,a))+op_count_bl5wxAcryP(op_EWw2JM7wp4(op_fLfyAuxYJD(a),op_S3tN1ZzpSt(a,a)))
    return count


def op_jmnE7SUc7n(a):
    if op_FonBHBYJbU(a) != 103:
        return op_PxiHyQbrIp(op_ObEyaaML9x(632,a))
    else:
        return op_jBC4ymW3D7(op_Noe24qw2ks(a,a),a)

def op_count_jmnE7SUc7n(a):
    if op_FonBHBYJbU(a) != 103:
        count = op_count_ObEyaaML9x(632,a)+op_count_PxiHyQbrIp(op_ObEyaaML9x(632,a))+op_count_FonBHBYJbU(a)
    else:
        count = op_count_Noe24qw2ks(a,a)+op_count_jBC4ymW3D7(op_Noe24qw2ks(a,a),a)
    return count


def op_MeBATnnbQW(a):
    return op_OTRTVPweYV(op_cWQsF5MvuD(a),op_OWnFPqjWlR(a,a))

def op_count_MeBATnnbQW(a):
    count = op_count_cWQsF5MvuD(a)+op_count_OWnFPqjWlR(a,a)+op_count_OTRTVPweYV(op_cWQsF5MvuD(a),op_OWnFPqjWlR(a,a))
    return count


def op_N5Sc0Qlu6E(a):
    if op_86A5ENbKR9(a) == 133 and a >= 7:
        return op_eaFBhJ0Uku(op_jBC4ymW3D7(op_kweVJGAjhl(229),a),op_UggxBX659n(op_lAOUD4ZMWV(a),op_Bmrmz2XGnR(a,51)))
    else:
        return op_ocpzidtxKt(op_eewbuw0ToL(op_8n5YIzOsVS(a),op_eRqsBgTDFp(114,a)))

def op_count_N5Sc0Qlu6E(a):
    if op_86A5ENbKR9(a) == 133 and a >= 7:
        count = op_count_kweVJGAjhl(229)+op_count_jBC4ymW3D7(op_kweVJGAjhl(229),a)+op_count_lAOUD4ZMWV(a)+op_count_Bmrmz2XGnR(a,51)+op_count_UggxBX659n(op_lAOUD4ZMWV(a),op_Bmrmz2XGnR(a,51))+op_count_eaFBhJ0Uku(op_jBC4ymW3D7(op_kweVJGAjhl(229),a),op_UggxBX659n(op_lAOUD4ZMWV(a),op_Bmrmz2XGnR(a,51)))+op_count_86A5ENbKR9(a)
    else:
        count = op_count_8n5YIzOsVS(a)+op_count_eRqsBgTDFp(114,a)+op_count_eewbuw0ToL(op_8n5YIzOsVS(a),op_eRqsBgTDFp(114,a))+op_count_ocpzidtxKt(op_eewbuw0ToL(op_8n5YIzOsVS(a),op_eRqsBgTDFp(114,a)))
    return count


⨌⋗⫇a = { ((⫡⇟⇯a)⩌(a≼a)) , if a>=184 ; ((a⊢a)⪦⩸(a⊭a)) , else }

def op_1zJnz8G5mp(a):
    if a >= 184:
        return op_UoVew8f2p2(op_qWUSsah53b(a),op_SPuZE40Ntn(a,a))
    else:
        return op_0JWJYFSzIQ(op_5twsqlHp2o(a,a),op_4JGOJzXMq1(a,a))

def op_count_1zJnz8G5mp(a):
    if a >= 184:
        count = op_count_qWUSsah53b(a)+op_count_SPuZE40Ntn(a,a)+op_count_UoVew8f2p2(op_qWUSsah53b(a),op_SPuZE40Ntn(a,a))
    else:
        count = op_count_5twsqlHp2o(a,a)+op_count_4JGOJzXMq1(a,a)+op_count_0JWJYFSzIQ(op_5twsqlHp2o(a,a),op_4JGOJzXMq1(a,a))
    return count


def op_up0lffJJNv(a, b):
    return op_nlCqmYiOvY(op_dfKe02y8D2(b,a))

def op_count_up0lffJJNv(a, b):
    count = op_count_dfKe02y8D2(b,a)+op_count_nlCqmYiOvY(op_dfKe02y8D2(b,a))
    return count


def op_8yA0yoZckl(a):
    return op_kuIXHzHcAH(op_Z2TMIBDE3Q(op_gx7XJ7hdpj(a,60)),op_OKKcZfAt5B(op_OTRTVPweYV(a,341),op_zFNL8mZEFB(a,a)))

def op_count_8yA0yoZckl(a):
    count = op_count_gx7XJ7hdpj(a,60)+op_count_Z2TMIBDE3Q(op_gx7XJ7hdpj(a,60))+op_count_OTRTVPweYV(a,341)+op_count_zFNL8mZEFB(a,a)+op_count_OKKcZfAt5B(op_OTRTVPweYV(a,341),op_zFNL8mZEFB(a,a))+op_count_kuIXHzHcAH(op_Z2TMIBDE3Q(op_gx7XJ7hdpj(a,60)),op_OKKcZfAt5B(op_OTRTVPweYV(a,341),op_zFNL8mZEFB(a,a)))
    return count


def op_lLyLKsr33s(a):
    if a != 266:
        return a
    else:
        return op_5JYyxRJd4f(a)

def op_count_lLyLKsr33s(a):
    if a != 266:
        count = 1
    else:
        count = op_count_5JYyxRJd4f(a)
    return count


def op_lA8wl84gsz(a):
    return op_jBC4ymW3D7(op_OTRTVPweYV(a,a),op_uTBsSls0VN(a,a))

def op_count_lA8wl84gsz(a):
    count = op_count_OTRTVPweYV(a,a)+op_count_uTBsSls0VN(a,a)+op_count_jBC4ymW3D7(op_OTRTVPweYV(a,a),op_uTBsSls0VN(a,a))
    return count


def op_x56Q1NfF72(a, b):
    return op_gSr4c7pPrV(op_Y5cEcQhyKu(op_0kmYd0q39Y(a,a),op_L05ObWFQCd(b,a)))

def op_count_x56Q1NfF72(a, b):
    count = op_count_0kmYd0q39Y(a,a)+op_count_L05ObWFQCd(b,a)+op_count_Y5cEcQhyKu(op_0kmYd0q39Y(a,a),op_L05ObWFQCd(b,a))+op_count_gSr4c7pPrV(op_Y5cEcQhyKu(op_0kmYd0q39Y(a,a),op_L05ObWFQCd(b,a)))
    return count


⊾⫰a = { (((a∙∹∝a)≠≀(152≧⫂∧a))⫸⇳((a⇛457)≠≀(a⩌a))) , if a<=286 ; (((⩰a)⩦(⫇⪃↚a))⪁⨴⋨(a⪱⇝(a≽⊫))) , else }

def op_VGUpZxEpfn(a):
    if a <= 286:
        return op_gx7XJ7hdpj(op_IwW236VD4Y(op_HmxsFra2vL(a,a),op_Ph9nP6C5qx(152,a)),op_IwW236VD4Y(op_S3tN1ZzpSt(a,457),op_UoVew8f2p2(a,a)))
    else:
        return op_y2kQTS4a70(op_0kmYd0q39Y(op_WkeUrDK8WX(a),op_Q9TX5pQS3Y(a)),op_OTRTVPweYV(a,op_H0pizIJMoW(a)))

def op_count_VGUpZxEpfn(a):
    if a <= 286:
        count = op_count_HmxsFra2vL(a,a)+op_count_Ph9nP6C5qx(152,a)+op_count_IwW236VD4Y(op_HmxsFra2vL(a,a),op_Ph9nP6C5qx(152,a))+op_count_S3tN1ZzpSt(a,457)+op_count_UoVew8f2p2(a,a)+op_count_IwW236VD4Y(op_S3tN1ZzpSt(a,457),op_UoVew8f2p2(a,a))+op_count_gx7XJ7hdpj(op_IwW236VD4Y(op_HmxsFra2vL(a,a),op_Ph9nP6C5qx(152,a)),op_IwW236VD4Y(op_S3tN1ZzpSt(a,457),op_UoVew8f2p2(a,a)))
    else:
        count = op_count_WkeUrDK8WX(a)+op_count_Q9TX5pQS3Y(a)+op_count_0kmYd0q39Y(op_WkeUrDK8WX(a),op_Q9TX5pQS3Y(a))+op_count_H0pizIJMoW(a)+op_count_OTRTVPweYV(a,op_H0pizIJMoW(a))+op_count_y2kQTS4a70(op_0kmYd0q39Y(op_WkeUrDK8WX(a),op_Q9TX5pQS3Y(a)),op_OTRTVPweYV(a,op_H0pizIJMoW(a)))
    return count


def op_exBNT1EbB9(a, b):
    if op_s0IfDFCCuZ(b,227) > 126:
        return op_xRrnTEsQ6j(a,b)
    else:
        return op_keWfFq85dY(b)

def op_count_exBNT1EbB9(a, b):
    if op_s0IfDFCCuZ(b,227) > 126:
        count = op_count_xRrnTEsQ6j(a,b)+op_count_s0IfDFCCuZ(b,227)
    else:
        count = op_count_keWfFq85dY(b)
    return count


≅⋟⩖a = { (a⊬⫿⊭) , if (⊖a)<=168 ; (a≻⇥≳14) , else }

def op_h1TzpREX0q(a):
    if op_U6pG0PXrV3(a) <= 168:
        return op_v0DYgG9ikt(a)
    else:
        return op_aiqF8n6J9c(a,14)

def op_count_h1TzpREX0q(a):
    if op_U6pG0PXrV3(a) <= 168:
        count = op_count_v0DYgG9ikt(a)+op_count_U6pG0PXrV3(a)
    else:
        count = op_count_aiqF8n6J9c(a,14)
    return count


def op_ZG3wFgSLHc(a, b):
    if op_HmxsFra2vL(a,755) == 291:
        return op_620seOwKww(70)
    else:
        return op_JgXZM7XvWE(b,b)

def op_count_ZG3wFgSLHc(a, b):
    if op_HmxsFra2vL(a,755) == 291:
        count = op_count_620seOwKww(70)+op_count_HmxsFra2vL(a,755)
    else:
        count = op_count_JgXZM7XvWE(b,b)
    return count


a⋴⫬⫍b = { (⪁≄b) , if b<257 ; (a≦↸b) , else }

def op_lrLQygo13m(a, b):
    if b < 257:
        return op_2O29ZX4yK6(b)
    else:
        return op_RygbFNSyEJ(a,b)

def op_count_lrLQygo13m(a, b):
    if b < 257:
        count = op_count_2O29ZX4yK6(b)
    else:
        count = op_count_RygbFNSyEJ(a,b)
    return count


a⊁⪁∏b = { (a≣a) , if b<520 ; (⋗⩬⋾b) , else }

def op_NRyasOrsb7(a, b):
    if b < 520:
        return op_ObEyaaML9x(a,a)
    else:
        return op_DpFCA1CohY(b)

def op_count_NRyasOrsb7(a, b):
    if b < 520:
        count = op_count_ObEyaaML9x(a,a)
    else:
        count = op_count_DpFCA1CohY(b)
    return count


def op_c60jrNgcxX(a, b):
    return op_d7ASUq0ydm(op_eewbuw0ToL(op_tIhPxZTbsh(b,a),op_tnyRA5sazQ(b,a)),op_fLGIAiPz9h(a))

def op_count_c60jrNgcxX(a, b):
    count = op_count_tIhPxZTbsh(b,a)+op_count_tnyRA5sazQ(b,a)+op_count_eewbuw0ToL(op_tIhPxZTbsh(b,a),op_tnyRA5sazQ(b,a))+op_count_fLGIAiPz9h(a)+op_count_d7ASUq0ydm(op_eewbuw0ToL(op_tIhPxZTbsh(b,a),op_tnyRA5sazQ(b,a)),op_fLGIAiPz9h(a))
    return count


def op_NAuE9E6FzB(a):
    if a > 270 or op_MXaNJeIAZ3(a) == 183:
        return op_fjqJgF5yyp(287)
    else:
        return op_MKpoIoBJCf(op_u7fv1HBiaC(op_2M7SKlOzyM(a,a)))

def op_count_NAuE9E6FzB(a):
    if a > 270 or op_MXaNJeIAZ3(a) == 183:
        count = op_count_fjqJgF5yyp(287)+op_count_MXaNJeIAZ3(a)
    else:
        count = op_count_2M7SKlOzyM(a,a)+op_count_u7fv1HBiaC(op_2M7SKlOzyM(a,a))+op_count_MKpoIoBJCf(op_u7fv1HBiaC(op_2M7SKlOzyM(a,a)))
    return count


def op_I0zrp2dgMk(a):
    return op_1h0rLqGiFr(op_23Mk6UjR3U(a,a))

def op_count_I0zrp2dgMk(a):
    count = op_count_23Mk6UjR3U(a,a)+op_count_1h0rLqGiFr(op_23Mk6UjR3U(a,a))
    return count


def op_5UNAVQY1F7(a):
    return op_COABgblf1C(a,a)

def op_count_5UNAVQY1F7(a):
    count = op_count_COABgblf1C(a,a)
    return count


def op_Y6MI8lE4nL(a, b):
    return op_7PjNe5qSIJ(op_g55IO6H4Gj(a,35),op_U9HvHqtOoq(b))

def op_count_Y6MI8lE4nL(a, b):
    count = op_count_g55IO6H4Gj(a,35)+op_count_U9HvHqtOoq(b)+op_count_7PjNe5qSIJ(op_g55IO6H4Gj(a,35),op_U9HvHqtOoq(b))
    return count


def op_zDv8rCDQpS(a):
    return op_gx7XJ7hdpj(op_Ph9nP6C5qx(a,op_z2JHNkvbdm(a,a)),op_18saOjeKKm(op_qWUSsah53b(a)))

def op_count_zDv8rCDQpS(a):
    count = op_count_z2JHNkvbdm(a,a)+op_count_Ph9nP6C5qx(a,op_z2JHNkvbdm(a,a))+op_count_qWUSsah53b(a)+op_count_18saOjeKKm(op_qWUSsah53b(a))+op_count_gx7XJ7hdpj(op_Ph9nP6C5qx(a,op_z2JHNkvbdm(a,a)),op_18saOjeKKm(op_qWUSsah53b(a)))
    return count


a⨋ = { (((a⩧⪆a)∇⊂⋱(33⨲⇖⇮))⋝⋈⪟((a⇞)⪠⩆⊳)) }

def op_gBMo9waWS2(a):
    return op_2DDjHMKMc0(op_nhYeJWJD5X(op_Ikt5ks8PT7(a,a),op_oj4YnGA3cE(33)),op_JLbD19bQDL(op_5JYyxRJd4f(a)))

def op_count_gBMo9waWS2(a):
    count = op_count_Ikt5ks8PT7(a,a)+op_count_oj4YnGA3cE(33)+op_count_nhYeJWJD5X(op_Ikt5ks8PT7(a,a),op_oj4YnGA3cE(33))+op_count_5JYyxRJd4f(a)+op_count_JLbD19bQDL(op_5JYyxRJd4f(a))+op_count_2DDjHMKMc0(op_nhYeJWJD5X(op_Ikt5ks8PT7(a,a),op_oj4YnGA3cE(33)),op_JLbD19bQDL(op_5JYyxRJd4f(a)))
    return count


def op_nnbPl62aHf(a):
    if a != 159:
        return op_JLbD19bQDL(38)
    else:
        return op_s0IfDFCCuZ(a,a)

def op_count_nnbPl62aHf(a):
    if a != 159:
        count = op_count_JLbD19bQDL(38)
    else:
        count = op_count_s0IfDFCCuZ(a,a)
    return count


def op_jkca4M7ITL(a, b):
    return op_3tVxb0NHM4(662,op_Qaz2MhZaG5(op_1aApVXNlOP(a,a),op_PZaICrJanm(b)))

def op_count_jkca4M7ITL(a, b):
    count = op_count_1aApVXNlOP(a,a)+op_count_PZaICrJanm(b)+op_count_Qaz2MhZaG5(op_1aApVXNlOP(a,a),op_PZaICrJanm(b))+op_count_3tVxb0NHM4(662,op_Qaz2MhZaG5(op_1aApVXNlOP(a,a),op_PZaICrJanm(b)))
    return count


≉⪛a = { ((⪞⋲≾(a∠↢a))⊉≛↸((a⊬⨰273)⪔⊥(a⫇⋯a))) }

def op_QMy7l8Gp61(a):
    return op_DZ8iAZOCBD(op_kz228nwi0J(op_KbjG8mgYpV(a,a)),op_HJ9erzHUuu(op_s3Fd5m9Dh2(a,273),op_xoJmIySC7h(a,a)))

def op_count_QMy7l8Gp61(a):
    count = op_count_KbjG8mgYpV(a,a)+op_count_kz228nwi0J(op_KbjG8mgYpV(a,a))+op_count_s3Fd5m9Dh2(a,273)+op_count_xoJmIySC7h(a,a)+op_count_HJ9erzHUuu(op_s3Fd5m9Dh2(a,273),op_xoJmIySC7h(a,a))+op_count_DZ8iAZOCBD(op_kz228nwi0J(op_KbjG8mgYpV(a,a)),op_HJ9erzHUuu(op_s3Fd5m9Dh2(a,273),op_xoJmIySC7h(a,a)))
    return count


def op_IiHovbkX1w(a, b):
    return op_S5ZFQS4GK3(op_KED7KUUlGq(b),op_2Wsdkap16l(b,a))

def op_count_IiHovbkX1w(a, b):
    count = op_count_KED7KUUlGq(b)+op_count_2Wsdkap16l(b,a)+op_count_S5ZFQS4GK3(op_KED7KUUlGq(b),op_2Wsdkap16l(b,a))
    return count


def op_sFYBUaN5Wh(a):
    return op_3sJ7IOPOlU(a,op_i8ToyICDmI(a,313))

def op_count_sFYBUaN5Wh(a):
    count = op_count_i8ToyICDmI(a,313)+op_count_3sJ7IOPOlU(a,op_i8ToyICDmI(a,313))
    return count


def op_XCa2FAXCHz(a):
    return op_EZ6cjipfBz(op_Cr5xnr8B4B(198,a))

def op_count_XCa2FAXCHz(a):
    count = op_count_Cr5xnr8B4B(198,a)+op_count_EZ6cjipfBz(op_Cr5xnr8B4B(198,a))
    return count


a⋿⨴ = { ((a⩦a)≐→⇾) , if (a⪎⩰)!=79 or (∨⫘⊿a)!=463 ; (54⋂⩴(a⊱⇼⊻a)) , else }

def op_uWaxZYyA1T(a):
    if op_2ufhKmSs5H(a) != 79 or op_qxp9F1VMeC(a) != 463:
        return op_zV3pqYiQ5E(op_0kmYd0q39Y(a,a))
    else:
        return op_hmlrMsD2PO(54,op_FyVja0WsTP(a,a))

def op_count_uWaxZYyA1T(a):
    if op_2ufhKmSs5H(a) != 79 or op_qxp9F1VMeC(a) != 463:
        count = op_count_0kmYd0q39Y(a,a)+op_count_zV3pqYiQ5E(op_0kmYd0q39Y(a,a))+op_count_2ufhKmSs5H(a)+op_count_qxp9F1VMeC(a)
    else:
        count = op_count_FyVja0WsTP(a,a)+op_count_hmlrMsD2PO(54,op_FyVja0WsTP(a,a))
    return count


def op_qAij2BThqh(a):
    return op_NrdPCfJQiM(op_9FxExcQeMw(op_S5ZFQS4GK3(a,664),op_59igzFyhWz(96)),op_Noe24qw2ks(op_RygbFNSyEJ(a,a),op_HrjLwUk87U(a,18)))

def op_count_qAij2BThqh(a):
    count = op_count_S5ZFQS4GK3(a,664)+op_count_59igzFyhWz(96)+op_count_9FxExcQeMw(op_S5ZFQS4GK3(a,664),op_59igzFyhWz(96))+op_count_RygbFNSyEJ(a,a)+op_count_HrjLwUk87U(a,18)+op_count_Noe24qw2ks(op_RygbFNSyEJ(a,a),op_HrjLwUk87U(a,18))+op_count_NrdPCfJQiM(op_9FxExcQeMw(op_S5ZFQS4GK3(a,664),op_59igzFyhWz(96)),op_Noe24qw2ks(op_RygbFNSyEJ(a,a),op_HrjLwUk87U(a,18)))
    return count


def op_LLuSLi97EM(a):
    if a <= 299:
        return op_fG6uBQFnGz(a)
    else:
        return op_3EYGwJThht(54,a)

def op_count_LLuSLi97EM(a):
    if a <= 299:
        count = op_count_fG6uBQFnGz(a)
    else:
        count = op_count_3EYGwJThht(54,a)
    return count


def op_l5sQfSgPL9(a):
    return op_irKjLsMeKy(op_z2JHNkvbdm(a,a),op_40aOVDgCDB(a))

def op_count_l5sQfSgPL9(a):
    count = op_count_z2JHNkvbdm(a,a)+op_count_40aOVDgCDB(a)+op_count_irKjLsMeKy(op_z2JHNkvbdm(a,a),op_40aOVDgCDB(a))
    return count


def op_ZCundfY3Ma(a, b):
    return op_eH2TOUuTDT(op_wsXFuL0hC6(b,a))

def op_count_ZCundfY3Ma(a, b):
    count = op_count_wsXFuL0hC6(b,a)+op_count_eH2TOUuTDT(op_wsXFuL0hC6(b,a))
    return count


a⪬≉b = { (((a∌↝22)⨑⋨(a∙∹∝a))⇖↽((a⪯⫾⋍b)⊉↱≁(a⫠↝⫳))) , if b>=278 ; ((⫦≽⪐(b⨰↻⪇a))∶) , else }

def op_403lqio1gV(a, b):
    if b >= 278:
        return op_cwbF3JtlMN(op_tIhPxZTbsh(op_9Isq31Ruls(a,22),op_HmxsFra2vL(a,a)),op_w2P8NbNXyL(op_S5ZFQS4GK3(a,b),op_8n5YIzOsVS(a)))
    else:
        return op_7FnCP1ejHT(op_fjqJgF5yyp(op_nbuSfrB4hB(b,a)))

def op_count_403lqio1gV(a, b):
    if b >= 278:
        count = op_count_9Isq31Ruls(a,22)+op_count_HmxsFra2vL(a,a)+op_count_tIhPxZTbsh(op_9Isq31Ruls(a,22),op_HmxsFra2vL(a,a))+op_count_S5ZFQS4GK3(a,b)+op_count_8n5YIzOsVS(a)+op_count_w2P8NbNXyL(op_S5ZFQS4GK3(a,b),op_8n5YIzOsVS(a))+op_count_cwbF3JtlMN(op_tIhPxZTbsh(op_9Isq31Ruls(a,22),op_HmxsFra2vL(a,a)),op_w2P8NbNXyL(op_S5ZFQS4GK3(a,b),op_8n5YIzOsVS(a)))
    else:
        count = op_count_nbuSfrB4hB(b,a)+op_count_fjqJgF5yyp(op_nbuSfrB4hB(b,a))+op_count_7FnCP1ejHT(op_fjqJgF5yyp(op_nbuSfrB4hB(b,a)))
    return count


def op_vLzRcUDluw(a, b):
    if op_2ufhKmSs5H(b) > 102:
        return op_G8pG1QxO6Y(71)
    else:
        return op_nFAOW8KTqp(a)

def op_count_vLzRcUDluw(a, b):
    if op_2ufhKmSs5H(b) > 102:
        count = op_count_G8pG1QxO6Y(71)+op_count_2ufhKmSs5H(b)
    else:
        count = op_count_nFAOW8KTqp(a)
    return count


def op_gKLZWTijvO(a):
    return op_IxJHfR5psi(op_8w2t5hMYqp(a),op_Noe24qw2ks(705,a))

def op_count_gKLZWTijvO(a):
    count = op_count_8w2t5hMYqp(a)+op_count_Noe24qw2ks(705,a)+op_count_IxJHfR5psi(op_8w2t5hMYqp(a),op_Noe24qw2ks(705,a))
    return count


≻⇡a = { (∂⩏⊆a) , if a<360 ; (a⊹≧⊝) , else }

def op_AC70uH9ZjH(a):
    if a < 360:
        return op_8WDwsbhb0R(a)
    else:
        return op_LxFB4K6j0n(a)

def op_count_AC70uH9ZjH(a):
    if a < 360:
        count = op_count_8WDwsbhb0R(a)
    else:
        count = op_count_LxFB4K6j0n(a)
    return count


≏∖⊵a = { (((297⫊⇚⊺20)⫁⪎a)⋥≓≎(∨⫘⊿(a⋂⩴a))) }

def op_pXZtVqTWOf(a):
    return op_Qy55tPpLXF(op_xRrnTEsQ6j(op_Y5cEcQhyKu(297,20),a),op_qxp9F1VMeC(op_hmlrMsD2PO(a,a)))

def op_count_pXZtVqTWOf(a):
    count = op_count_Y5cEcQhyKu(297,20)+op_count_xRrnTEsQ6j(op_Y5cEcQhyKu(297,20),a)+op_count_hmlrMsD2PO(a,a)+op_count_qxp9F1VMeC(op_hmlrMsD2PO(a,a))+op_count_Qy55tPpLXF(op_xRrnTEsQ6j(op_Y5cEcQhyKu(297,20),a),op_qxp9F1VMeC(op_hmlrMsD2PO(a,a)))
    return count


def op_EFcLgMHpPM(a):
    if op_2fAMLLeFHb(a) <= 27:
        return op_Y9dhGmbGii(279)
    else:
        return op_DO4fhlbJSI(80)

def op_count_EFcLgMHpPM(a):
    if op_2fAMLLeFHb(a) <= 27:
        count = op_count_Y9dhGmbGii(279)+op_count_2fAMLLeFHb(a)
    else:
        count = op_count_DO4fhlbJSI(80)
    return count


def op_6P75XYiP07(a, b):
    return op_bQ67fsrMVf(op_cTDWOvIxvz(a,b))

def op_count_6P75XYiP07(a, b):
    count = op_count_cTDWOvIxvz(a,b)+op_count_bQ67fsrMVf(op_cTDWOvIxvz(a,b))
    return count


def op_H9pyI74bwb(a):
    return op_g55IO6H4Gj(op_ap3xiM279w(438,a),op_neKQRQQIil(a,a))

def op_count_H9pyI74bwb(a):
    count = op_count_ap3xiM279w(438,a)+op_count_neKQRQQIil(a,a)+op_count_g55IO6H4Gj(op_ap3xiM279w(438,a),op_neKQRQQIil(a,a))
    return count


def op_AH8QAgoliW(a):
    if op_DIvbN7qnHd(a) != 42:
        return 47
    else:
        return op_JclMnS0uGI(op_Z5m6OM72h2(529,a),op_PrwIXj9ZQe(a))

def op_count_AH8QAgoliW(a):
    if op_DIvbN7qnHd(a) != 42:
        count = op_count_DIvbN7qnHd(a)
    else:
        count = op_count_Z5m6OM72h2(529,a)+op_count_PrwIXj9ZQe(a)+op_count_JclMnS0uGI(op_Z5m6OM72h2(529,a),op_PrwIXj9ZQe(a))
    return count


a⋷⫙∸b = { (((b⨴b)⫶(a⨴b))⩍⋽⫝̸(∡(b≶a))) , if (a∝391)==194 ; ((b⋘(a⪿⇪⊩a))⇇) , else }

def op_8oxTided8f(a, b):
    if op_cTDWOvIxvz(a,391) == 194:
        return op_BiWNJpBvwn(op_BAIXFdYaz3(op_jBC4ymW3D7(b,b),op_jBC4ymW3D7(a,b)),op_pRsWfj4Fpp(op_Q2SPaKwpPJ(b,a)))
    else:
        return op_ieTw63T1Vx(op_2M7SKlOzyM(b,op_OGWBzMv138(a,a)))

def op_count_8oxTided8f(a, b):
    if op_cTDWOvIxvz(a,391) == 194:
        count = op_count_jBC4ymW3D7(b,b)+op_count_jBC4ymW3D7(a,b)+op_count_BAIXFdYaz3(op_jBC4ymW3D7(b,b),op_jBC4ymW3D7(a,b))+op_count_Q2SPaKwpPJ(b,a)+op_count_pRsWfj4Fpp(op_Q2SPaKwpPJ(b,a))+op_count_BiWNJpBvwn(op_BAIXFdYaz3(op_jBC4ymW3D7(b,b),op_jBC4ymW3D7(a,b)),op_pRsWfj4Fpp(op_Q2SPaKwpPJ(b,a)))+op_count_cTDWOvIxvz(a,391)
    else:
        count = op_count_OGWBzMv138(a,a)+op_count_2M7SKlOzyM(b,op_OGWBzMv138(a,a))+op_count_ieTw63T1Vx(op_2M7SKlOzyM(b,op_OGWBzMv138(a,a)))
    return count


a⨯ = { (((a⋷a)⋅⇍(6⊓≱a))⪚((9⋷a)⇛(a⨰a))) , if a<113 ; ((⫟(a→⨶⪴a))⩂⊭⨚) , else }

def op_q5yaU63SKE(a):
    if a < 113:
        return op_HrjLwUk87U(op_AdZkA7nFnk(op_23Mk6UjR3U(a,a),op_VCG3UHNzLR(6,a)),op_S3tN1ZzpSt(op_23Mk6UjR3U(9,a),op_eewbuw0ToL(a,a)))
    else:
        return op_PaBHOjxk8c(op_z4E1FaHLuy(op_bF6eod5Gvf(a,a)))

def op_count_q5yaU63SKE(a):
    if a < 113:
        count = op_count_23Mk6UjR3U(a,a)+op_count_VCG3UHNzLR(6,a)+op_count_AdZkA7nFnk(op_23Mk6UjR3U(a,a),op_VCG3UHNzLR(6,a))+op_count_23Mk6UjR3U(9,a)+op_count_eewbuw0ToL(a,a)+op_count_S3tN1ZzpSt(op_23Mk6UjR3U(9,a),op_eewbuw0ToL(a,a))+op_count_HrjLwUk87U(op_AdZkA7nFnk(op_23Mk6UjR3U(a,a),op_VCG3UHNzLR(6,a)),op_S3tN1ZzpSt(op_23Mk6UjR3U(9,a),op_eewbuw0ToL(a,a)))
    else:
        count = op_count_bF6eod5Gvf(a,a)+op_count_z4E1FaHLuy(op_bF6eod5Gvf(a,a))+op_count_PaBHOjxk8c(op_z4E1FaHLuy(op_bF6eod5Gvf(a,a)))
    return count


def op_3aDEFeODLe(a):
    if op_12rbrZMWeM(a,518) <= 90:
        return op_i8ToyICDmI(a,a)
    else:
        return op_KbjG8mgYpV(a,220)

def op_count_3aDEFeODLe(a):
    if op_12rbrZMWeM(a,518) <= 90:
        count = op_count_i8ToyICDmI(a,a)+op_count_12rbrZMWeM(a,518)
    else:
        count = op_count_KbjG8mgYpV(a,220)
    return count


def op_UUAh1Hdfpu(a, b):
    return op_b1mGkbI4Oy(b,op_BAIXFdYaz3(op_SPuZE40Ntn(b,78),op_W7eaUhjymW(a)))

def op_count_UUAh1Hdfpu(a, b):
    count = op_count_SPuZE40Ntn(b,78)+op_count_W7eaUhjymW(a)+op_count_BAIXFdYaz3(op_SPuZE40Ntn(b,78),op_W7eaUhjymW(a))+op_count_b1mGkbI4Oy(b,op_BAIXFdYaz3(op_SPuZE40Ntn(b,78),op_W7eaUhjymW(a)))
    return count


a⋶⨘⇁b = { (-((a⊉≛↸b)≝⊿(b≏⨯⊱b))) , if (a∩⋅)<=142 ; (((b→⨶⪴b)≠≀(722⪉⨛a))⋘((b⩌⋺a)≗⫍)) , else }

def op_JuV1nLCdrT(a, b):
    if op_2MzE1hQ0cz(a) <= 142:
        return op_t8gj7n24qd(op_OKKcZfAt5B(op_DZ8iAZOCBD(a,b),op_UqUOXUQnbU(b,b)))
    else:
        return op_2M7SKlOzyM(op_IwW236VD4Y(op_bF6eod5Gvf(b,b),op_EWw2JM7wp4(722,a)),op_7Nd029Vx1U(op_g7Hmc5v1ko(b,a)))

def op_count_JuV1nLCdrT(a, b):
    if op_2MzE1hQ0cz(a) <= 142:
        count = op_count_DZ8iAZOCBD(a,b)+op_count_UqUOXUQnbU(b,b)+op_count_OKKcZfAt5B(op_DZ8iAZOCBD(a,b),op_UqUOXUQnbU(b,b))+op_count_t8gj7n24qd(op_OKKcZfAt5B(op_DZ8iAZOCBD(a,b),op_UqUOXUQnbU(b,b)))+op_count_2MzE1hQ0cz(a)
    else:
        count = op_count_bF6eod5Gvf(b,b)+op_count_EWw2JM7wp4(722,a)+op_count_IwW236VD4Y(op_bF6eod5Gvf(b,b),op_EWw2JM7wp4(722,a))+op_count_g7Hmc5v1ko(b,a)+op_count_7Nd029Vx1U(op_g7Hmc5v1ko(b,a))+op_count_2M7SKlOzyM(op_IwW236VD4Y(op_bF6eod5Gvf(b,b),op_EWw2JM7wp4(722,a)),op_7Nd029Vx1U(op_g7Hmc5v1ko(b,a)))
    return count


a⋟⨱b = { (b⩘⋿a) , if b<16 ; (b∏⇴b) , else }

def op_lN5Hu1ptA5(a, b):
    if b < 16:
        return op_64EQ39e0fC(b,a)
    else:
        return op_Rw46J52cBJ(b,b)

def op_count_lN5Hu1ptA5(a, b):
    if b < 16:
        count = op_count_64EQ39e0fC(b,a)
    else:
        count = op_count_Rw46J52cBJ(b,b)
    return count


def op_tfk3gx8Z61(a, b):
    if (op_eaFBhJ0Uku(b,909) >= 50 or op_3EhVUz7Ug9(a) != 324):
        return op_1h0rLqGiFr(op_dfKe02y8D2(b,24))
    else:
        return op_dAAkup5nzi(op_WSbXXWOizJ(b,a),op_i8ToyICDmI(a,b))

def op_count_tfk3gx8Z61(a, b):
    if (op_eaFBhJ0Uku(b,909) >= 50 or op_3EhVUz7Ug9(a) != 324):
        count = op_count_dfKe02y8D2(b,24)+op_count_1h0rLqGiFr(op_dfKe02y8D2(b,24))+op_count_eaFBhJ0Uku(b,909)+op_count_3EhVUz7Ug9(a)
    else:
        count = op_count_WSbXXWOizJ(b,a)+op_count_i8ToyICDmI(a,b)+op_count_dAAkup5nzi(op_WSbXXWOizJ(b,a),op_i8ToyICDmI(a,b))
    return count


a⩲⩎ = { (((a↨⪍≴a)≧⫂∧(≿⇫20))⊵((a⊉↱≁a)⨔⇊(a∽a))) }

def op_JONyAYLoix(a):
    return op_eaFBhJ0Uku(op_Ph9nP6C5qx(op_DX7B1fY6P6(a,a),op_3A1e9zoj8h(20)),op_JclMnS0uGI(op_w2P8NbNXyL(a,a),op_y4ImoPnbV5(a,a)))

def op_count_JONyAYLoix(a):
    count = op_count_DX7B1fY6P6(a,a)+op_count_3A1e9zoj8h(20)+op_count_Ph9nP6C5qx(op_DX7B1fY6P6(a,a),op_3A1e9zoj8h(20))+op_count_w2P8NbNXyL(a,a)+op_count_y4ImoPnbV5(a,a)+op_count_JclMnS0uGI(op_w2P8NbNXyL(a,a),op_y4ImoPnbV5(a,a))+op_count_eaFBhJ0Uku(op_Ph9nP6C5qx(op_DX7B1fY6P6(a,a),op_3A1e9zoj8h(20)),op_JclMnS0uGI(op_w2P8NbNXyL(a,a),op_y4ImoPnbV5(a,a)))
    return count


def op_C58ewRfeGC(a, b):
    return op_3tVxb0NHM4(op_wztAlM01eG(op_tDVI6bDdAd(b)),op_x5lMkHmzsq(op_Bmrmz2XGnR(a,b)))

def op_count_C58ewRfeGC(a, b):
    count = op_count_tDVI6bDdAd(b)+op_count_wztAlM01eG(op_tDVI6bDdAd(b))+op_count_Bmrmz2XGnR(a,b)+op_count_x5lMkHmzsq(op_Bmrmz2XGnR(a,b))+op_count_3tVxb0NHM4(op_wztAlM01eG(op_tDVI6bDdAd(b)),op_x5lMkHmzsq(op_Bmrmz2XGnR(a,b)))
    return count


def op_Q7Tf3RkJUn(a):
    return op_g55IO6H4Gj(op_HJ9erzHUuu(op_Ikt5ks8PT7(a,a),op_9bazX3JMtO(a,575)),op_6o9Blt3TJ6(op_uOZ1tnYMDE(a),op_BAIXFdYaz3(a,189)))

def op_count_Q7Tf3RkJUn(a):
    count = op_count_Ikt5ks8PT7(a,a)+op_count_9bazX3JMtO(a,575)+op_count_HJ9erzHUuu(op_Ikt5ks8PT7(a,a),op_9bazX3JMtO(a,575))+op_count_uOZ1tnYMDE(a)+op_count_BAIXFdYaz3(a,189)+op_count_6o9Blt3TJ6(op_uOZ1tnYMDE(a),op_BAIXFdYaz3(a,189))+op_count_g55IO6H4Gj(op_HJ9erzHUuu(op_Ikt5ks8PT7(a,a),op_9bazX3JMtO(a,575)),op_6o9Blt3TJ6(op_uOZ1tnYMDE(a),op_BAIXFdYaz3(a,189)))
    return count


def op_3TAF4R0zOB(a):
    return op_i8ToyICDmI(a,a)

def op_count_3TAF4R0zOB(a):
    count = op_count_i8ToyICDmI(a,a)
    return count


≓⫘⩃a = { (((a⊕⨔)∮⨁)⨵⪆((a⊉↱≁a)≬⋮(a⇼⇔∾a))) }

def op_cuc1ETTXoY(a):
    return op_2DQ55sFlQl(op_TytFGXR7Zf(op_ut0Nd8ObBp(a)),op_kbkesczE7y(op_w2P8NbNXyL(a,a),op_tifHPKVTfV(a,a)))

def op_count_cuc1ETTXoY(a):
    count = op_count_ut0Nd8ObBp(a)+op_count_TytFGXR7Zf(op_ut0Nd8ObBp(a))+op_count_w2P8NbNXyL(a,a)+op_count_tifHPKVTfV(a,a)+op_count_kbkesczE7y(op_w2P8NbNXyL(a,a),op_tifHPKVTfV(a,a))+op_count_2DQ55sFlQl(op_TytFGXR7Zf(op_ut0Nd8ObBp(a)),op_kbkesczE7y(op_w2P8NbNXyL(a,a),op_tifHPKVTfV(a,a)))
    return count


def op_devHHn6C3c(a):
    return op_JoLB3LXqXx(22,a)

def op_count_devHHn6C3c(a):
    count = op_count_JoLB3LXqXx(22,a)
    return count


def op_YaB1w09lmH(a, b):
    if b < 171:
        return op_OWnFPqjWlR(40,130)
    else:
        return op_zoVPnxeHJ3(a)

def op_count_YaB1w09lmH(a, b):
    if b < 171:
        count = op_count_OWnFPqjWlR(40,130)
    else:
        count = op_count_zoVPnxeHJ3(a)
    return count


a⫭⨲≔ = { (a≦↸a) , if a<266 and a>228 ; (∨a) , else }

def op_nWAGIhSidN(a):
    if a < 266 and a > 228:
        return op_RygbFNSyEJ(a,a)
    else:
        return op_rIsGeVJWJF(a)

def op_count_nWAGIhSidN(a):
    if a < 266 and a > 228:
        count = op_count_RygbFNSyEJ(a,a)
    else:
        count = op_count_rIsGeVJWJF(a)
    return count


def op_pVGAg23Ig9(a):
    return op_IwW236VD4Y(op_wztAlM01eG(op_NrdPCfJQiM(a,a)),op_rysDP5nf3Z(op_IwW236VD4Y(a,a),a))

def op_count_pVGAg23Ig9(a):
    count = op_count_NrdPCfJQiM(a,a)+op_count_wztAlM01eG(op_NrdPCfJQiM(a,a))+op_count_IwW236VD4Y(a,a)+op_count_rysDP5nf3Z(op_IwW236VD4Y(a,a),a)+op_count_IwW236VD4Y(op_wztAlM01eG(op_NrdPCfJQiM(a,a)),op_rysDP5nf3Z(op_IwW236VD4Y(a,a),a))
    return count


a⇍⇀∫b = { (b∲⫑b) , if (a⪚⊾⩭)!=604 ; (⩗⪄a) , else }

def op_KJGMR4YWSg(a, b):
    if op_ebeGRCukrZ(a) != 604:
        return op_NrdPCfJQiM(b,b)
    else:
        return op_Y9dhGmbGii(a)

def op_count_KJGMR4YWSg(a, b):
    if op_ebeGRCukrZ(a) != 604:
        count = op_count_NrdPCfJQiM(b,b)+op_count_ebeGRCukrZ(a)
    else:
        count = op_count_Y9dhGmbGii(a)
    return count


a⩐⩶b = { (b⫊⇚⊺a) , if a!=31 ; (≅≯⇸a) , else }

def op_5OTQqWnzXQ(a, b):
    if a != 31:
        return op_Y5cEcQhyKu(b,a)
    else:
        return op_apS25hmuAe(a)

def op_count_5OTQqWnzXQ(a, b):
    if a != 31:
        count = op_count_Y5cEcQhyKu(b,a)
    else:
        count = op_count_apS25hmuAe(a)
    return count


∦∲⋶a = { (⊁⨺((a⫏↛⩏a)⨵⪆(a⩹966))) , if ((⨡↴a)>=111 or a>533) ; (((a⨔⇊a)∌(a⨻⪊⨷a))⫌⩹⨱) , else }

def op_SP3KKJLwaM(a):
    if (op_liw5iZPkLH(a) >= 111 or a > 533):
        return op_PxiHyQbrIp(op_2DQ55sFlQl(op_YC3tgrnOyr(a,a),op_2Wsdkap16l(a,966)))
    else:
        return op_EBcxylXtPf(op_8cLx32lpNA(op_JclMnS0uGI(a,a),op_Pkwamo1tM2(a,a)))

def op_count_SP3KKJLwaM(a):
    if (op_liw5iZPkLH(a) >= 111 or a > 533):
        count = op_count_YC3tgrnOyr(a,a)+op_count_2Wsdkap16l(a,966)+op_count_2DQ55sFlQl(op_YC3tgrnOyr(a,a),op_2Wsdkap16l(a,966))+op_count_PxiHyQbrIp(op_2DQ55sFlQl(op_YC3tgrnOyr(a,a),op_2Wsdkap16l(a,966)))+op_count_liw5iZPkLH(a)
    else:
        count = op_count_JclMnS0uGI(a,a)+op_count_Pkwamo1tM2(a,a)+op_count_8cLx32lpNA(op_JclMnS0uGI(a,a),op_Pkwamo1tM2(a,a))+op_count_EBcxylXtPf(op_8cLx32lpNA(op_JclMnS0uGI(a,a),op_Pkwamo1tM2(a,a)))
    return count


↰→a = { (((111⋞a)⋐≟⩺(a⊠≄⫣))↨⪍≴((a⊋≦⊧a)≶(a∫⋜⩖a))) }

def op_0hkx13eqQk(a):
    return op_DX7B1fY6P6(op_PjbVkMzmXE(op_V4yb4KDoeF(111,a),op_DIvbN7qnHd(a)),op_Q2SPaKwpPJ(op_oRDoc9rAEX(a,a),op_JgXZM7XvWE(a,a)))

def op_count_0hkx13eqQk(a):
    count = op_count_V4yb4KDoeF(111,a)+op_count_DIvbN7qnHd(a)+op_count_PjbVkMzmXE(op_V4yb4KDoeF(111,a),op_DIvbN7qnHd(a))+op_count_oRDoc9rAEX(a,a)+op_count_JgXZM7XvWE(a,a)+op_count_Q2SPaKwpPJ(op_oRDoc9rAEX(a,a),op_JgXZM7XvWE(a,a))+op_count_DX7B1fY6P6(op_PjbVkMzmXE(op_V4yb4KDoeF(111,a),op_DIvbN7qnHd(a)),op_Q2SPaKwpPJ(op_oRDoc9rAEX(a,a),op_JgXZM7XvWE(a,a)))
    return count


def op_svMjjxhh0f(a):
    return op_620seOwKww(op_EZ6cjipfBz(a))

def op_count_svMjjxhh0f(a):
    count = op_count_EZ6cjipfBz(a)+op_count_620seOwKww(op_EZ6cjipfBz(a))
    return count


a↓⫱⪮b = { (((⇝⋾⇵a)≧⊼(159⨚b))⫼⨠((∦b)⫊⇚⊺(126≏⨯⊱a))) }

def op_l24lSdNBeQ(a, b):
    return op_KYL1uVeVpb(op_JoLB3LXqXx(op_6l7ULzJsnZ(a),op_nREPSIbpBE(159,b)),op_Y5cEcQhyKu(op_ew17WAA8t6(b),op_UqUOXUQnbU(126,a)))

def op_count_l24lSdNBeQ(a, b):
    count = op_count_6l7ULzJsnZ(a)+op_count_nREPSIbpBE(159,b)+op_count_JoLB3LXqXx(op_6l7ULzJsnZ(a),op_nREPSIbpBE(159,b))+op_count_ew17WAA8t6(b)+op_count_UqUOXUQnbU(126,a)+op_count_Y5cEcQhyKu(op_ew17WAA8t6(b),op_UqUOXUQnbU(126,a))+op_count_KYL1uVeVpb(op_JoLB3LXqXx(op_6l7ULzJsnZ(a),op_nREPSIbpBE(159,b)),op_Y5cEcQhyKu(op_ew17WAA8t6(b),op_UqUOXUQnbU(126,a)))
    return count


a≈⩄↚ = { (((75⊭⇢↿)∏⇴a)↢(⩆⇋271)) , if (a⩚)==725 ; (((a⇛a)⊵(a∌a))∊⊞≈((a⋥≓≎a)∫⋜⩖(a≦↸a))) , else }

def op_erW0SXIGkc(a):
    if op_i3MWstRFMQ(a) == 725:
        return op_WR6HLWljOP(op_Rw46J52cBJ(op_G8pG1QxO6Y(75),a),op_IjUb3wyICU(271))
    else:
        return op_keuJNkrrbj(op_eaFBhJ0Uku(op_S3tN1ZzpSt(a,a),op_8cLx32lpNA(a,a)),op_JgXZM7XvWE(op_Qy55tPpLXF(a,a),op_RygbFNSyEJ(a,a)))

def op_count_erW0SXIGkc(a):
    if op_i3MWstRFMQ(a) == 725:
        count = op_count_G8pG1QxO6Y(75)+op_count_Rw46J52cBJ(op_G8pG1QxO6Y(75),a)+op_count_IjUb3wyICU(271)+op_count_WR6HLWljOP(op_Rw46J52cBJ(op_G8pG1QxO6Y(75),a),op_IjUb3wyICU(271))+op_count_i3MWstRFMQ(a)
    else:
        count = op_count_S3tN1ZzpSt(a,a)+op_count_8cLx32lpNA(a,a)+op_count_eaFBhJ0Uku(op_S3tN1ZzpSt(a,a),op_8cLx32lpNA(a,a))+op_count_Qy55tPpLXF(a,a)+op_count_RygbFNSyEJ(a,a)+op_count_JgXZM7XvWE(op_Qy55tPpLXF(a,a),op_RygbFNSyEJ(a,a))+op_count_keuJNkrrbj(op_eaFBhJ0Uku(op_S3tN1ZzpSt(a,a),op_8cLx32lpNA(a,a)),op_JgXZM7XvWE(op_Qy55tPpLXF(a,a),op_RygbFNSyEJ(a,a)))
    return count


def op_ZNJwppvr1J(a):
    if op_IjUb3wyICU(a) == 277:
        return op_2z8nE7LpCu(a,a)
    else:
        return op_s0kPeV9Vm2(627)

def op_count_ZNJwppvr1J(a):
    if op_IjUb3wyICU(a) == 277:
        count = op_count_2z8nE7LpCu(a,a)+op_count_IjUb3wyICU(a)
    else:
        count = op_count_s0kPeV9Vm2(627)
    return count


def op_z2z0nki1m2(a, b):
    if (op_0MNWfHKp6a(a) <= 475 or op_V4yb4KDoeF(b,521) > 366 or op_nhYeJWJD5X(b,165) > 353):
        return op_GMN7JP6WpN(op_zR4jO40bMj(op_PjbVkMzmXE(a,382),op_tnyRA5sazQ(b,a)),op_Bmrmz2XGnR(907,op_S3tN1ZzpSt(b,b)))
    else:
        return op_VwlE7vj6HS(op_BiWNJpBvwn(op_Rw46J52cBJ(a,a),op_w2P8NbNXyL(a,b)))

def op_count_z2z0nki1m2(a, b):
    if (op_0MNWfHKp6a(a) <= 475 or op_V4yb4KDoeF(b,521) > 366 or op_nhYeJWJD5X(b,165) > 353):
        count = op_count_PjbVkMzmXE(a,382)+op_count_tnyRA5sazQ(b,a)+op_count_zR4jO40bMj(op_PjbVkMzmXE(a,382),op_tnyRA5sazQ(b,a))+op_count_S3tN1ZzpSt(b,b)+op_count_Bmrmz2XGnR(907,op_S3tN1ZzpSt(b,b))+op_count_GMN7JP6WpN(op_zR4jO40bMj(op_PjbVkMzmXE(a,382),op_tnyRA5sazQ(b,a)),op_Bmrmz2XGnR(907,op_S3tN1ZzpSt(b,b)))+op_count_0MNWfHKp6a(a)+op_count_V4yb4KDoeF(b,521)+op_count_nhYeJWJD5X(b,165)
    else:
        count = op_count_Rw46J52cBJ(a,a)+op_count_w2P8NbNXyL(a,b)+op_count_BiWNJpBvwn(op_Rw46J52cBJ(a,a),op_w2P8NbNXyL(a,b))+op_count_VwlE7vj6HS(op_BiWNJpBvwn(op_Rw46J52cBJ(a,a),op_w2P8NbNXyL(a,b)))
    return count


a⩝⪟⋿b = { ((a⨳⩥⨓124)⫲) , if (b⪭300)>=644 ; ((a⨳⩥⨓a)⩤∜↚(≿⇫b)) , else }

def op_3Cfxs2sGIE(a, b):
    if op_j9kHMeSvPp(b,300) >= 644:
        return op_9xnGDUPbC6(op_nCS4ZIUYfx(a,124))
    else:
        return op_KROiRRz3d6(op_nCS4ZIUYfx(a,a),op_3A1e9zoj8h(b))

def op_count_3Cfxs2sGIE(a, b):
    if op_j9kHMeSvPp(b,300) >= 644:
        count = op_count_nCS4ZIUYfx(a,124)+op_count_9xnGDUPbC6(op_nCS4ZIUYfx(a,124))+op_count_j9kHMeSvPp(b,300)
    else:
        count = op_count_nCS4ZIUYfx(a,a)+op_count_3A1e9zoj8h(b)+op_count_KROiRRz3d6(op_nCS4ZIUYfx(a,a),op_3A1e9zoj8h(b))
    return count


def op_hpA5xa3vz2(a):
    if op_f6k1SAg4EE(a,105) >= 42:
        return op_Wm7LHi3c8p(op_WR6HLWljOP(op_mhIhit33mg(321),op_e1ybzncUwg(a)))
    else:
        return op_cFVlceoRkX(op_x5lMkHmzsq(op_rXAclfmB4M(a)),op_PPChnnnBFF(op_cTDWOvIxvz(a,a),op_uysxUYN2L2(a,a)))

def op_count_hpA5xa3vz2(a):
    if op_f6k1SAg4EE(a,105) >= 42:
        count = op_count_mhIhit33mg(321)+op_count_e1ybzncUwg(a)+op_count_WR6HLWljOP(op_mhIhit33mg(321),op_e1ybzncUwg(a))+op_count_Wm7LHi3c8p(op_WR6HLWljOP(op_mhIhit33mg(321),op_e1ybzncUwg(a)))+op_count_f6k1SAg4EE(a,105)
    else:
        count = op_count_rXAclfmB4M(a)+op_count_x5lMkHmzsq(op_rXAclfmB4M(a))+op_count_cTDWOvIxvz(a,a)+op_count_uysxUYN2L2(a,a)+op_count_PPChnnnBFF(op_cTDWOvIxvz(a,a),op_uysxUYN2L2(a,a))+op_count_cFVlceoRkX(op_x5lMkHmzsq(op_rXAclfmB4M(a)),op_PPChnnnBFF(op_cTDWOvIxvz(a,a),op_uysxUYN2L2(a,a)))
    return count


def op_VthjlEEz0x(a):
    return op_xoJmIySC7h(op_IwW236VD4Y(a,op_B3sABdIn96(a)),op_NdELin8EPX(op_FyVja0WsTP(a,a),op_IjUb3wyICU(a)))

def op_count_VthjlEEz0x(a):
    count = op_count_B3sABdIn96(a)+op_count_IwW236VD4Y(a,op_B3sABdIn96(a))+op_count_FyVja0WsTP(a,a)+op_count_IjUb3wyICU(a)+op_count_NdELin8EPX(op_FyVja0WsTP(a,a),op_IjUb3wyICU(a))+op_count_xoJmIySC7h(op_IwW236VD4Y(a,op_B3sABdIn96(a)),op_NdELin8EPX(op_FyVja0WsTP(a,a),op_IjUb3wyICU(a)))
    return count


⫝⫷a = { (((a⋟⫀⨗a)⫰⋱(534↼⊘⨖a))≦≮≮) , if a<542 ; (((⊀a)∴(a⋐≟⩺a))∌↝(a⇿⊰a)) , else }

def op_ZVl794d7gZ(a):
    if a < 542:
        return op_D4vGDi5EA2(op_6o9Blt3TJ6(op_dAAkup5nzi(a,a),op_bPywburJMS(534,a)))
    else:
        return op_9Isq31Ruls(op_hrf7POJlIJ(op_oPMjh9089D(a),op_PjbVkMzmXE(a,a)),op_ap3xiM279w(a,a))

def op_count_ZVl794d7gZ(a):
    if a < 542:
        count = op_count_dAAkup5nzi(a,a)+op_count_bPywburJMS(534,a)+op_count_6o9Blt3TJ6(op_dAAkup5nzi(a,a),op_bPywburJMS(534,a))+op_count_D4vGDi5EA2(op_6o9Blt3TJ6(op_dAAkup5nzi(a,a),op_bPywburJMS(534,a)))
    else:
        count = op_count_oPMjh9089D(a)+op_count_PjbVkMzmXE(a,a)+op_count_hrf7POJlIJ(op_oPMjh9089D(a),op_PjbVkMzmXE(a,a))+op_count_ap3xiM279w(a,a)+op_count_9Isq31Ruls(op_hrf7POJlIJ(op_oPMjh9089D(a),op_PjbVkMzmXE(a,a)),op_ap3xiM279w(a,a))
    return count


def op_8DHlP0DBF0(a):
    return op_qy3n0tapmE(op_s3Fd5m9Dh2(435,a),op_12rbrZMWeM(a,a))

def op_count_8DHlP0DBF0(a):
    count = op_count_s3Fd5m9Dh2(435,a)+op_count_12rbrZMWeM(a,a)+op_count_qy3n0tapmE(op_s3Fd5m9Dh2(435,a),op_12rbrZMWeM(a,a))
    return count


def op_T6hFkIRCss(a, b):
    return op_hmlrMsD2PO(op_eftAHwPbeA(141),op_OKKcZfAt5B(b,a))

def op_count_T6hFkIRCss(a, b):
    count = op_count_eftAHwPbeA(141)+op_count_OKKcZfAt5B(b,a)+op_count_hmlrMsD2PO(op_eftAHwPbeA(141),op_OKKcZfAt5B(b,a))
    return count


def op_96sgIAAApN(a, b):
    return op_irKjLsMeKy(op_SHWCOp9I4E(op_IxJHfR5psi(b,a)),op_Ph9nP6C5qx(op_Sq3AGanRSD(a,b),b))

def op_count_96sgIAAApN(a, b):
    count = op_count_IxJHfR5psi(b,a)+op_count_SHWCOp9I4E(op_IxJHfR5psi(b,a))+op_count_Sq3AGanRSD(a,b)+op_count_Ph9nP6C5qx(op_Sq3AGanRSD(a,b),b)+op_count_irKjLsMeKy(op_SHWCOp9I4E(op_IxJHfR5psi(b,a)),op_Ph9nP6C5qx(op_Sq3AGanRSD(a,b),b))
    return count


a≹≨⨇b = { (((a⨣∐↬b)⩌⋺(467⊨a))∇⊂⋱((a⋳/b)∽(b⪍))) , if ((a⊕⨔)>=8 or (⇋↷b)<25) ; ((⩒∊a)⋳⪒(⋑(⫟b))) , else }

def op_aGhYYhn7J7(a, b):
    if (op_ut0Nd8ObBp(a) >= 8 or op_SWo3A1KBJH(b) < 25):
        return op_nhYeJWJD5X(op_g7Hmc5v1ko(op_UpkSd4zESC(a,b),op_vg4gO5BX6G(467,a)),op_y4ImoPnbV5(op_m612RDITqL(a,b),op_SHWCOp9I4E(b)))
    else:
        return op_12rbrZMWeM(op_qazvmhNBbN(a),op_iz8sE888QL(op_z4E1FaHLuy(b)))

def op_count_aGhYYhn7J7(a, b):
    if (op_ut0Nd8ObBp(a) >= 8 or op_SWo3A1KBJH(b) < 25):
        count = op_count_UpkSd4zESC(a,b)+op_count_vg4gO5BX6G(467,a)+op_count_g7Hmc5v1ko(op_UpkSd4zESC(a,b),op_vg4gO5BX6G(467,a))+op_count_m612RDITqL(a,b)+op_count_SHWCOp9I4E(b)+op_count_y4ImoPnbV5(op_m612RDITqL(a,b),op_SHWCOp9I4E(b))+op_count_nhYeJWJD5X(op_g7Hmc5v1ko(op_UpkSd4zESC(a,b),op_vg4gO5BX6G(467,a)),op_y4ImoPnbV5(op_m612RDITqL(a,b),op_SHWCOp9I4E(b)))+op_count_ut0Nd8ObBp(a)+op_count_SWo3A1KBJH(b)
    else:
        count = op_count_qazvmhNBbN(a)+op_count_z4E1FaHLuy(b)+op_count_iz8sE888QL(op_z4E1FaHLuy(b))+op_count_12rbrZMWeM(op_qazvmhNBbN(a),op_iz8sE888QL(op_z4E1FaHLuy(b)))
    return count


def op_EPOgAxRnf9(a):
    return op_LkLIoiE525(op_OTRTVPweYV(a,a))

def op_count_EPOgAxRnf9(a):
    count = op_count_OTRTVPweYV(a,a)+op_count_LkLIoiE525(op_OTRTVPweYV(a,a))
    return count


a⪣≬⊯ = { (((a↜⊷a)⪦⩸(↰⫏a))⩼⇪↪(∷≠(a⪇≇⋚a))) }

def op_rNLcfgtDaN(a):
    return op_ocnLzx9CaJ(op_0JWJYFSzIQ(op_irKjLsMeKy(a,a),op_UeUK5QjOtW(a)),op_QiR2Oyf5Xj(op_3sJ7IOPOlU(a,a)))

def op_count_rNLcfgtDaN(a):
    count = op_count_irKjLsMeKy(a,a)+op_count_UeUK5QjOtW(a)+op_count_0JWJYFSzIQ(op_irKjLsMeKy(a,a),op_UeUK5QjOtW(a))+op_count_3sJ7IOPOlU(a,a)+op_count_QiR2Oyf5Xj(op_3sJ7IOPOlU(a,a))+op_count_ocnLzx9CaJ(op_0JWJYFSzIQ(op_irKjLsMeKy(a,a),op_UeUK5QjOtW(a)),op_QiR2Oyf5Xj(op_3sJ7IOPOlU(a,a)))
    return count


def op_0e2ucfioNt(a, b):
    if b < 266:
        return op_1tCtMSPkGf(op_cTDWOvIxvz(266,a))
    else:
        return op_27wFxooxGf(op_7j4O788W3g(a,129))

def op_count_0e2ucfioNt(a, b):
    if b < 266:
        count = op_count_cTDWOvIxvz(266,a)+op_count_1tCtMSPkGf(op_cTDWOvIxvz(266,a))
    else:
        count = op_count_7j4O788W3g(a,129)+op_count_27wFxooxGf(op_7j4O788W3g(a,129))
    return count


def op_UTTIjGMhIB(a):
    return op_zFNL8mZEFB(a,a)

def op_count_UTTIjGMhIB(a):
    count = op_count_zFNL8mZEFB(a,a)
    return count


a⫝⩷⋻b = { (((a⪶≀⋏b)+(b⫍⨯↯))≻⇥≳((b⪕53)⪒⊣⊆(a⫡⨏a))) }

def op_owWyC9x9Uq(a, b):
    return op_aiqF8n6J9c(op_W4YGzv6Whe(op_zR4jO40bMj(a,b),op_ZcwmYACASQ(b)),op_eRqsBgTDFp(op_umQnsF7QlU(b,53),op_QMFrweE19q(a,a)))

def op_count_owWyC9x9Uq(a, b):
    count = op_count_zR4jO40bMj(a,b)+op_count_ZcwmYACASQ(b)+op_count_W4YGzv6Whe(op_zR4jO40bMj(a,b),op_ZcwmYACASQ(b))+op_count_umQnsF7QlU(b,53)+op_count_QMFrweE19q(a,a)+op_count_eRqsBgTDFp(op_umQnsF7QlU(b,53),op_QMFrweE19q(a,a))+op_count_aiqF8n6J9c(op_W4YGzv6Whe(op_zR4jO40bMj(a,b),op_ZcwmYACASQ(b)),op_eRqsBgTDFp(op_umQnsF7QlU(b,53),op_QMFrweE19q(a,a)))
    return count


⫟⨍a = { (a⋐≟⩺a) , if (⪞⋲≾a)!=76 ; (a⪭75) , else }

def op_eBxW6LweQX(a):
    if op_kz228nwi0J(a) != 76:
        return op_PjbVkMzmXE(a,a)
    else:
        return op_j9kHMeSvPp(a,75)

def op_count_eBxW6LweQX(a):
    if op_kz228nwi0J(a) != 76:
        count = op_count_PjbVkMzmXE(a,a)+op_count_kz228nwi0J(a)
    else:
        count = op_count_j9kHMeSvPp(a,75)
    return count


def op_jS8qnsL3aY(a):
    return op_12rbrZMWeM(op_SHWCOp9I4E(op_Ph9nP6C5qx(60,a)),op_4JGOJzXMq1(op_3EYGwJThht(a,a),op_inCIaGQf8u(249,a)))

def op_count_jS8qnsL3aY(a):
    count = op_count_Ph9nP6C5qx(60,a)+op_count_SHWCOp9I4E(op_Ph9nP6C5qx(60,a))+op_count_3EYGwJThht(a,a)+op_count_inCIaGQf8u(249,a)+op_count_4JGOJzXMq1(op_3EYGwJThht(a,a),op_inCIaGQf8u(249,a))+op_count_12rbrZMWeM(op_SHWCOp9I4E(op_Ph9nP6C5qx(60,a)),op_4JGOJzXMq1(op_3EYGwJThht(a,a),op_inCIaGQf8u(249,a)))
    return count


def op_UXDb5u0AqE(a):
    return op_BX1lVwlMe0(op_N41Kp7NANJ(a))

def op_count_UXDb5u0AqE(a):
    count = op_count_N41Kp7NANJ(a)+op_count_BX1lVwlMe0(op_N41Kp7NANJ(a))
    return count


⨯a = { ((a≼a)⫡⨏(a≬⋮a)) , if (↪⨀a)!=202 ; ((a⨚a)↹⊜(a⩽⩡a)) , else }

def op_vG0yOsQyhY(a):
    if op_t0cKpDWDXO(a) != 202:
        return op_QMFrweE19q(op_SPuZE40Ntn(a,a),op_kbkesczE7y(a,a))
    else:
        return op_9bazX3JMtO(op_nREPSIbpBE(a,a),op_zFNL8mZEFB(a,a))

def op_count_vG0yOsQyhY(a):
    if op_t0cKpDWDXO(a) != 202:
        count = op_count_SPuZE40Ntn(a,a)+op_count_kbkesczE7y(a,a)+op_count_QMFrweE19q(op_SPuZE40Ntn(a,a),op_kbkesczE7y(a,a))+op_count_t0cKpDWDXO(a)
    else:
        count = op_count_nREPSIbpBE(a,a)+op_count_zFNL8mZEFB(a,a)+op_count_9bazX3JMtO(op_nREPSIbpBE(a,a),op_zFNL8mZEFB(a,a))
    return count


a∱ = { ((a⪢⨴)⫏↛⩏(⇾⩊⇾a)) , if a>59 ; ((a⨧↗⨷a)⊱⇼⊻(a⩇∃⫛a)) , else }

def op_cqNFWGnuZT(a):
    if a > 59:
        return op_YC3tgrnOyr(op_UMMmb9LONo(a),op_bx9Z9DAK5y(a))
    else:
        return op_FyVja0WsTP(op_WSbXXWOizJ(a,a),op_1aApVXNlOP(a,a))

def op_count_cqNFWGnuZT(a):
    if a > 59:
        count = op_count_UMMmb9LONo(a)+op_count_bx9Z9DAK5y(a)+op_count_YC3tgrnOyr(op_UMMmb9LONo(a),op_bx9Z9DAK5y(a))
    else:
        count = op_count_WSbXXWOizJ(a,a)+op_count_1aApVXNlOP(a,a)+op_count_FyVja0WsTP(op_WSbXXWOizJ(a,a),op_1aApVXNlOP(a,a))
    return count


def op_oAYBm7Xi2B(a):
    return op_7PjNe5qSIJ(op_IjUb3wyICU(op_cwbF3JtlMN(a,a)),op_LmY23Q1aIi(op_7qqUquhhSb(a)))

def op_count_oAYBm7Xi2B(a):
    count = op_count_cwbF3JtlMN(a,a)+op_count_IjUb3wyICU(op_cwbF3JtlMN(a,a))+op_count_7qqUquhhSb(a)+op_count_LmY23Q1aIi(op_7qqUquhhSb(a))+op_count_7PjNe5qSIJ(op_IjUb3wyICU(op_cwbF3JtlMN(a,a)),op_LmY23Q1aIi(op_7qqUquhhSb(a)))
    return count


def op_cC2vwN27BI(a):
    return op_SgAxmdLNEA(op_64EQ39e0fC(519,a))

def op_count_cC2vwN27BI(a):
    count = op_count_64EQ39e0fC(519,a)+op_count_SgAxmdLNEA(op_64EQ39e0fC(519,a))
    return count


⊃a = { (≯(a⫃⨇a)) , if (a⩍⋽⫝̸73)>22 ; ((a≟⫹246)⩌(a⊲⩕⊾a)) , else }

def op_fcYd9Sln05(a):
    if op_BiWNJpBvwn(a,73) > 22:
        return op_keWfFq85dY(op_09Ly4LVMIf(a,a))
    else:
        return op_UoVew8f2p2(op_z2JHNkvbdm(a,246),op_DmTXOeWf9t(a,a))

def op_count_fcYd9Sln05(a):
    if op_BiWNJpBvwn(a,73) > 22:
        count = op_count_09Ly4LVMIf(a,a)+op_count_keWfFq85dY(op_09Ly4LVMIf(a,a))+op_count_BiWNJpBvwn(a,73)
    else:
        count = op_count_z2JHNkvbdm(a,246)+op_count_DmTXOeWf9t(a,a)+op_count_UoVew8f2p2(op_z2JHNkvbdm(a,246),op_DmTXOeWf9t(a,a))
    return count


def op_zNymfbJ47P(a):
    return op_2M7SKlOzyM(op_WkeUrDK8WX(op_wisItNeSwq(a)),op_EWw2JM7wp4(a,op_DNmMwa48aR(128)))

def op_count_zNymfbJ47P(a):
    count = op_count_wisItNeSwq(a)+op_count_WkeUrDK8WX(op_wisItNeSwq(a))+op_count_DNmMwa48aR(128)+op_count_EWw2JM7wp4(a,op_DNmMwa48aR(128))+op_count_2M7SKlOzyM(op_WkeUrDK8WX(op_wisItNeSwq(a)),op_EWw2JM7wp4(a,op_DNmMwa48aR(128)))
    return count


def op_V3Robn58tk(a, b):
    if a > 428:
        return op_nREPSIbpBE(559,op_ar1w6gUwHX(op_eewbuw0ToL(170,b),b))
    else:
        return op_zFNL8mZEFB(op_FonBHBYJbU(op_hiBDRd40bf(b,56)),op_ObEyaaML9x(op_oRDoc9rAEX(b,102),op_t0cKpDWDXO(233)))

def op_count_V3Robn58tk(a, b):
    if a > 428:
        count = op_count_eewbuw0ToL(170,b)+op_count_ar1w6gUwHX(op_eewbuw0ToL(170,b),b)+op_count_nREPSIbpBE(559,op_ar1w6gUwHX(op_eewbuw0ToL(170,b),b))
    else:
        count = op_count_hiBDRd40bf(b,56)+op_count_FonBHBYJbU(op_hiBDRd40bf(b,56))+op_count_oRDoc9rAEX(b,102)+op_count_t0cKpDWDXO(233)+op_count_ObEyaaML9x(op_oRDoc9rAEX(b,102),op_t0cKpDWDXO(233))+op_count_zFNL8mZEFB(op_FonBHBYJbU(op_hiBDRd40bf(b,56)),op_ObEyaaML9x(op_oRDoc9rAEX(b,102),op_t0cKpDWDXO(233)))
    return count


def op_fP4mxGGt9X(a):
    return op_pRsWfj4Fpp(op_WSbXXWOizJ(a,a))

def op_count_fP4mxGGt9X(a):
    count = op_count_WSbXXWOizJ(a,a)+op_count_pRsWfj4Fpp(op_WSbXXWOizJ(a,a))
    return count


def op_dYBoAWDpSk(a, b):
    return op_6o9Blt3TJ6(op_uOZ1tnYMDE(a),op_dAAkup5nzi(b,a))

def op_count_dYBoAWDpSk(a, b):
    count = op_count_uOZ1tnYMDE(a)+op_count_dAAkup5nzi(b,a)+op_count_6o9Blt3TJ6(op_uOZ1tnYMDE(a),op_dAAkup5nzi(b,a))
    return count


def op_mFCgDW3omv(a):
    return op_Z2TMIBDE3Q(op_W7eaUhjymW(op_OGWBzMv138(a,a)))

def op_count_mFCgDW3omv(a):
    count = op_count_OGWBzMv138(a,a)+op_count_W7eaUhjymW(op_OGWBzMv138(a,a))+op_count_Z2TMIBDE3Q(op_W7eaUhjymW(op_OGWBzMv138(a,a)))
    return count


def op_QSAdyzZytb(a):
    if op_ar1w6gUwHX(a,832) > 265:
        return op_neKQRQQIil(a,52)
    else:
        return op_IqGBaFP0uj(a)

def op_count_QSAdyzZytb(a):
    if op_ar1w6gUwHX(a,832) > 265:
        count = op_count_neKQRQQIil(a,52)+op_count_ar1w6gUwHX(a,832)
    else:
        count = op_count_IqGBaFP0uj(a)
    return count


def op_qJ7yZLo5we(a):
    return op_JclMnS0uGI(a,a)

def op_count_qJ7yZLo5we(a):
    count = op_count_JclMnS0uGI(a,a)
    return count


a⫡∬⫱ = { a , if a>=161 ; ((↞≼a)⫌⩹⨱) , else }

def op_9zVS3iN6ZV(a):
    if a >= 161:
        return a
    else:
        return op_EBcxylXtPf(op_DE7zCoGJt9(a))

def op_count_9zVS3iN6ZV(a):
    if a >= 161:
        count = 1
    else:
        count = op_count_DE7zCoGJt9(a)+op_count_EBcxylXtPf(op_DE7zCoGJt9(a))
    return count


a∩b = { (((b⫚⫇)⩧⪆(b⫶a))⨜⨶(⋷⊟(390⨻⪊⨷b))) }

def op_F9Zfm1dsok(a, b):
    return op_HiPekx5b7W(op_Ikt5ks8PT7(op_SdCjLnB6rR(b),op_BAIXFdYaz3(b,a)),op_2fAMLLeFHb(op_Pkwamo1tM2(390,b)))

def op_count_F9Zfm1dsok(a, b):
    count = op_count_SdCjLnB6rR(b)+op_count_BAIXFdYaz3(b,a)+op_count_Ikt5ks8PT7(op_SdCjLnB6rR(b),op_BAIXFdYaz3(b,a))+op_count_Pkwamo1tM2(390,b)+op_count_2fAMLLeFHb(op_Pkwamo1tM2(390,b))+op_count_HiPekx5b7W(op_Ikt5ks8PT7(op_SdCjLnB6rR(b),op_BAIXFdYaz3(b,a)),op_2fAMLLeFHb(op_Pkwamo1tM2(390,b)))
    return count


def op_p1ibIKL8Ww(a):
    return op_oDvtRyfmAM(op_dAAkup5nzi(a,a))

def op_count_p1ibIKL8Ww(a):
    count = op_count_dAAkup5nzi(a,a)+op_count_oDvtRyfmAM(op_dAAkup5nzi(a,a))
    return count


def op_f4xBLrudT3(a):
    if (op_ieTw63T1Vx(a) >= 192 and a > 540 and op_rlpcYeipVY(a) != 27):
        return op_j4geBLYVFK(a)
    else:
        return op_DmTXOeWf9t(a,391)

def op_count_f4xBLrudT3(a):
    if (op_ieTw63T1Vx(a) >= 192 and a > 540 and op_rlpcYeipVY(a) != 27):
        count = op_count_j4geBLYVFK(a)+op_count_ieTw63T1Vx(a)+op_count_rlpcYeipVY(a)
    else:
        count = op_count_DmTXOeWf9t(a,391)
    return count


a⊽⊴b = { (≦a) , if a>=542 or a<=34 or b>6 ; a , else }

def op_qvKIMln9sx(a, b):
    if a >= 542 or a <= 34 or b > 6:
        return op_RPa3726CSl(a)
    else:
        return a

def op_count_qvKIMln9sx(a, b):
    if a >= 542 or a <= 34 or b > 6:
        count = op_count_RPa3726CSl(a)
    else:
        count = 1
    return count


def op_PKbxZ4NZyu(a):
    return op_IqGBaFP0uj(op_WObL9SsYVE(a,a))

def op_count_PKbxZ4NZyu(a):
    count = op_count_WObL9SsYVE(a,a)+op_count_IqGBaFP0uj(op_WObL9SsYVE(a,a))
    return count


def op_ctN4c4Gw19(a):
    return op_XbEAUggs3J(op_3YWlZA9bsa(op_KWeyIRWUIQ(236),op_NrdPCfJQiM(a,a)))

def op_count_ctN4c4Gw19(a):
    count = op_count_KWeyIRWUIQ(236)+op_count_NrdPCfJQiM(a,a)+op_count_3YWlZA9bsa(op_KWeyIRWUIQ(236),op_NrdPCfJQiM(a,a))+op_count_XbEAUggs3J(op_3YWlZA9bsa(op_KWeyIRWUIQ(236),op_NrdPCfJQiM(a,a)))
    return count


def op_Y6oNw2t4Hd(a):
    if a >= 97:
        return op_L05ObWFQCd(289,op_Rw46J52cBJ(op_HiPekx5b7W(a,287),a))
    else:
        return op_VJ330n2nnx(op_P8v4zCKN1o(op_KFSx94NKJn(544,a)))

def op_count_Y6oNw2t4Hd(a):
    if a >= 97:
        count = op_count_HiPekx5b7W(a,287)+op_count_Rw46J52cBJ(op_HiPekx5b7W(a,287),a)+op_count_L05ObWFQCd(289,op_Rw46J52cBJ(op_HiPekx5b7W(a,287),a))
    else:
        count = op_count_KFSx94NKJn(544,a)+op_count_P8v4zCKN1o(op_KFSx94NKJn(544,a))+op_count_VJ330n2nnx(op_P8v4zCKN1o(op_KFSx94NKJn(544,a)))
    return count


def op_AEiy6t5Ykg(a, b):
    return op_l1M9WJ3V7u(op_i8ToyICDmI(a,b))

def op_count_AEiy6t5Ykg(a, b):
    count = op_count_i8ToyICDmI(a,b)+op_count_l1M9WJ3V7u(op_i8ToyICDmI(a,b))
    return count


def op_W80nNxIfVi(a):
    return op_dfKe02y8D2(op_3EYGwJThht(op_09Ly4LVMIf(122,263),155),op_3Oe9XWJUTD(a,op_WSbXXWOizJ(a,a)))

def op_count_W80nNxIfVi(a):
    count = op_count_09Ly4LVMIf(122,263)+op_count_3EYGwJThht(op_09Ly4LVMIf(122,263),155)+op_count_WSbXXWOizJ(a,a)+op_count_3Oe9XWJUTD(a,op_WSbXXWOizJ(a,a))+op_count_dfKe02y8D2(op_3EYGwJThht(op_09Ly4LVMIf(122,263),155),op_3Oe9XWJUTD(a,op_WSbXXWOizJ(a,a)))
    return count


a↸≥⇭ = { (a⨑≵⋬a) , if (a⇑∁⪛)!=705 ; (81⋆⋳) , else }

def op_v1oZ9VnFS1(a):
    if op_P75hhshrwX(a) != 705:
        return op_XnXgA4xnOs(a,a)
    else:
        return op_6MpZysEj17(81)

def op_count_v1oZ9VnFS1(a):
    if op_P75hhshrwX(a) != 705:
        count = op_count_XnXgA4xnOs(a,a)+op_count_P75hhshrwX(a)
    else:
        count = op_count_6MpZysEj17(81)
    return count


a⋞⪆⩬ = { (a∺≝⩲a) , if (a∺≝⩲997)==226 ; (⨍⩸↶a) , else }

def op_bfmSvDrgUq(a):
    if op_KPf6cnQVty(a,997) == 226:
        return op_KPf6cnQVty(a,a)
    else:
        return op_2jG7DiviLq(a)

def op_count_bfmSvDrgUq(a):
    if op_KPf6cnQVty(a,997) == 226:
        count = op_count_KPf6cnQVty(a,a)+op_count_KPf6cnQVty(a,997)
    else:
        count = op_count_2jG7DiviLq(a)
    return count


a⩢b = { (((a⫊⇚⊺b)≏⨯⊱(⫎≠⋺b))⪐-(⊲⪭(⨩∲⋌b))) , if b>=294 ; ((a∣(a⋐≟⩺355))⨑((⫹b)⫸⇳(a⩵∡a))) , else }

def op_xCh8PLxVLz(a, b):
    if b >= 294:
        return op_d8xe6WWVfM(op_UqUOXUQnbU(op_Y5cEcQhyKu(a,b),op_LYeZOJ0nQG(b)),op_k7HXdKtiEU(op_aSik1wnThz(b)))
    else:
        return op_IxJHfR5psi(op_PPChnnnBFF(a,op_PjbVkMzmXE(a,355)),op_gx7XJ7hdpj(op_LmY23Q1aIi(b),op_Y7wcNGrDQJ(a,a)))

def op_count_xCh8PLxVLz(a, b):
    if b >= 294:
        count = op_count_Y5cEcQhyKu(a,b)+op_count_LYeZOJ0nQG(b)+op_count_UqUOXUQnbU(op_Y5cEcQhyKu(a,b),op_LYeZOJ0nQG(b))+op_count_aSik1wnThz(b)+op_count_k7HXdKtiEU(op_aSik1wnThz(b))+op_count_d8xe6WWVfM(op_UqUOXUQnbU(op_Y5cEcQhyKu(a,b),op_LYeZOJ0nQG(b)),op_k7HXdKtiEU(op_aSik1wnThz(b)))
    else:
        count = op_count_PjbVkMzmXE(a,355)+op_count_PPChnnnBFF(a,op_PjbVkMzmXE(a,355))+op_count_LmY23Q1aIi(b)+op_count_Y7wcNGrDQJ(a,a)+op_count_gx7XJ7hdpj(op_LmY23Q1aIi(b),op_Y7wcNGrDQJ(a,a))+op_count_IxJHfR5psi(op_PPChnnnBFF(a,op_PjbVkMzmXE(a,355)),op_gx7XJ7hdpj(op_LmY23Q1aIi(b),op_Y7wcNGrDQJ(a,a)))
    return count


def op_89nYMzsCi7(a):
    return op_KPf6cnQVty(a,a)

def op_count_89nYMzsCi7(a):
    count = op_count_KPf6cnQVty(a,a)
    return count


a⊡⩯ = { (((a≭⫡a)⪱⇝(⫄⋦≢3))↜⊷((a≭⫡a)≭⫡(a≶a))) }

def op_u533dnqgjT(a):
    return op_irKjLsMeKy(op_OTRTVPweYV(op_b1mGkbI4Oy(a,a),op_4kvgVkQeiQ(3)),op_b1mGkbI4Oy(op_b1mGkbI4Oy(a,a),op_Q2SPaKwpPJ(a,a)))

def op_count_u533dnqgjT(a):
    count = op_count_b1mGkbI4Oy(a,a)+op_count_4kvgVkQeiQ(3)+op_count_OTRTVPweYV(op_b1mGkbI4Oy(a,a),op_4kvgVkQeiQ(3))+op_count_b1mGkbI4Oy(a,a)+op_count_Q2SPaKwpPJ(a,a)+op_count_b1mGkbI4Oy(op_b1mGkbI4Oy(a,a),op_Q2SPaKwpPJ(a,a))+op_count_irKjLsMeKy(op_OTRTVPweYV(op_b1mGkbI4Oy(a,a),op_4kvgVkQeiQ(3)),op_b1mGkbI4Oy(op_b1mGkbI4Oy(a,a),op_Q2SPaKwpPJ(a,a)))
    return count


def op_TDRXZ2ml7E(a):
    return op_bPywburJMS(a,a)

def op_count_TDRXZ2ml7E(a):
    count = op_count_bPywburJMS(a,a)
    return count


a⋴⨃b = { (555⨬⫳) , if a==43 ; (a∏⇴b) , else }

def op_ONKz0FhUGe(a, b):
    if a == 43:
        return op_kc7iqVBlRY(555)
    else:
        return op_Rw46J52cBJ(a,b)

def op_count_ONKz0FhUGe(a, b):
    if a == 43:
        count = op_count_kc7iqVBlRY(555)
    else:
        count = op_count_Rw46J52cBJ(a,b)
    return count


a⇰b = { (((b↼⊘⨖a)∌(≿⇫a))⫊⇚⊺(b⫁⪎(13⊕⨔))) , if (b⪹)>99 ; (((⪞⋲≾a)⩣⫁∢(a⩒⫫b))⨻⪊⨷((a⊵b)⊨b)) , else }

def op_sQnEGnxm5s(a, b):
    if op_B3sABdIn96(b) > 99:
        return op_Y5cEcQhyKu(op_8cLx32lpNA(op_bPywburJMS(b,a),op_3A1e9zoj8h(a)),op_xRrnTEsQ6j(b,op_ut0Nd8ObBp(13)))
    else:
        return op_Pkwamo1tM2(op_JDUIKTTSIa(op_kz228nwi0J(a),op_KFSx94NKJn(a,b)),op_vg4gO5BX6G(op_eaFBhJ0Uku(a,b),b))

def op_count_sQnEGnxm5s(a, b):
    if op_B3sABdIn96(b) > 99:
        count = op_count_bPywburJMS(b,a)+op_count_3A1e9zoj8h(a)+op_count_8cLx32lpNA(op_bPywburJMS(b,a),op_3A1e9zoj8h(a))+op_count_ut0Nd8ObBp(13)+op_count_xRrnTEsQ6j(b,op_ut0Nd8ObBp(13))+op_count_Y5cEcQhyKu(op_8cLx32lpNA(op_bPywburJMS(b,a),op_3A1e9zoj8h(a)),op_xRrnTEsQ6j(b,op_ut0Nd8ObBp(13)))+op_count_B3sABdIn96(b)
    else:
        count = op_count_kz228nwi0J(a)+op_count_KFSx94NKJn(a,b)+op_count_JDUIKTTSIa(op_kz228nwi0J(a),op_KFSx94NKJn(a,b))+op_count_eaFBhJ0Uku(a,b)+op_count_vg4gO5BX6G(op_eaFBhJ0Uku(a,b),b)+op_count_Pkwamo1tM2(op_JDUIKTTSIa(op_kz228nwi0J(a),op_KFSx94NKJn(a,b)),op_vg4gO5BX6G(op_eaFBhJ0Uku(a,b),b))
    return count


def op_Dh8yhYQk7S(a, b):
    if (op_4kvgVkQeiQ(b) == 346 and op_irKjLsMeKy(b,273) == 312):
        return op_jBC4ymW3D7(315,a)
    else:
        return op_Qy55tPpLXF(b,a)

def op_count_Dh8yhYQk7S(a, b):
    if (op_4kvgVkQeiQ(b) == 346 and op_irKjLsMeKy(b,273) == 312):
        count = op_count_jBC4ymW3D7(315,a)+op_count_4kvgVkQeiQ(b)+op_count_irKjLsMeKy(b,273)
    else:
        count = op_count_Qy55tPpLXF(b,a)
    return count


∙↓a = { (⇖11) , if (a⊎←↗)<=335 ; (((⨍⩸↶a)∙∹∝a)⊵((a⋝⋈⪟36)⊬⨰(⩦⩻⨪a))) , else }

def op_9BIxZYmKZo(a):
    if op_dwb5p0fa6d(a) <= 335:
        return op_tfWHHpNKUN(11)
    else:
        return op_eaFBhJ0Uku(op_HmxsFra2vL(op_2jG7DiviLq(a),a),op_s3Fd5m9Dh2(op_2DDjHMKMc0(a,36),op_2td37pGCOC(a)))

def op_count_9BIxZYmKZo(a):
    if op_dwb5p0fa6d(a) <= 335:
        count = op_count_tfWHHpNKUN(11)+op_count_dwb5p0fa6d(a)
    else:
        count = op_count_2jG7DiviLq(a)+op_count_HmxsFra2vL(op_2jG7DiviLq(a),a)+op_count_2DDjHMKMc0(a,36)+op_count_2td37pGCOC(a)+op_count_s3Fd5m9Dh2(op_2DDjHMKMc0(a,36),op_2td37pGCOC(a))+op_count_eaFBhJ0Uku(op_HmxsFra2vL(op_2jG7DiviLq(a),a),op_s3Fd5m9Dh2(op_2DDjHMKMc0(a,36),op_2td37pGCOC(a)))
    return count


⊇a = { (((⨝⨆a)∲⫓(∓⪦a))⫸⇳((a⫏↛⩏a)⪨≂(8⋢a))) , if a>=50 ; (⋽⪳⨃(⪸(⇋↷a))) , else }

def op_ZwRkqZpBJ5(a):
    if a >= 50:
        return op_gx7XJ7hdpj(op_i8ToyICDmI(op_bQ67fsrMVf(a),op_D309nIvmXG(a)),op_sdazOOVcIp(op_YC3tgrnOyr(a,a),op_NdELin8EPX(8,a)))
    else:
        return op_qAljGMXEZr(op_86A5ENbKR9(op_SWo3A1KBJH(a)))

def op_count_ZwRkqZpBJ5(a):
    if a >= 50:
        count = op_count_bQ67fsrMVf(a)+op_count_D309nIvmXG(a)+op_count_i8ToyICDmI(op_bQ67fsrMVf(a),op_D309nIvmXG(a))+op_count_YC3tgrnOyr(a,a)+op_count_NdELin8EPX(8,a)+op_count_sdazOOVcIp(op_YC3tgrnOyr(a,a),op_NdELin8EPX(8,a))+op_count_gx7XJ7hdpj(op_i8ToyICDmI(op_bQ67fsrMVf(a),op_D309nIvmXG(a)),op_sdazOOVcIp(op_YC3tgrnOyr(a,a),op_NdELin8EPX(8,a)))
    else:
        count = op_count_SWo3A1KBJH(a)+op_count_86A5ENbKR9(op_SWo3A1KBJH(a))+op_count_qAljGMXEZr(op_86A5ENbKR9(op_SWo3A1KBJH(a)))
    return count


def op_AnokoQhMoI(a):
    return op_64EQ39e0fC(op_AdZkA7nFnk(a,a),op_N41Kp7NANJ(a))

def op_count_AnokoQhMoI(a):
    count = op_count_AdZkA7nFnk(a,a)+op_count_N41Kp7NANJ(a)+op_count_64EQ39e0fC(op_AdZkA7nFnk(a,a),op_N41Kp7NANJ(a))
    return count


a⪦⨣⨀ = { ((761∫⋜⩖a)⨲⇖⇮) , if (a⪨≂716)>=59 ; ((a⫩⊇)≭⫡(a+⪬∐a)) , else }

def op_akRVkprNIi(a):
    if op_sdazOOVcIp(a,716) >= 59:
        return op_oj4YnGA3cE(op_JgXZM7XvWE(761,a))
    else:
        return op_b1mGkbI4Oy(op_BjRHVeLaeN(a),op_2GS7woTJqF(a,a))

def op_count_akRVkprNIi(a):
    if op_sdazOOVcIp(a,716) >= 59:
        count = op_count_JgXZM7XvWE(761,a)+op_count_oj4YnGA3cE(op_JgXZM7XvWE(761,a))+op_count_sdazOOVcIp(a,716)
    else:
        count = op_count_BjRHVeLaeN(a)+op_count_2GS7woTJqF(a,a)+op_count_b1mGkbI4Oy(op_BjRHVeLaeN(a),op_2GS7woTJqF(a,a))
    return count


def op_4vOKojZu5Q(a, b):
    return op_9Isq31Ruls(op_jfYOP67v6Y(a),op_XnXgA4xnOs(a,b))

def op_count_4vOKojZu5Q(a, b):
    count = op_count_jfYOP67v6Y(a)+op_count_XnXgA4xnOs(a,b)+op_count_9Isq31Ruls(op_jfYOP67v6Y(a),op_XnXgA4xnOs(a,b))
    return count


⫵⪾⩭a = { (((a⊨199)⪒(a⋐≟⩺a))⩼⇪↪(⇻⨃⇄(a⨑⋨a))) }

def op_9NrKhToWQz(a):
    return op_ocnLzx9CaJ(op_f6k1SAg4EE(op_vg4gO5BX6G(a,199),op_PjbVkMzmXE(a,a)),op_fLGIAiPz9h(op_tIhPxZTbsh(a,a)))

def op_count_9NrKhToWQz(a):
    count = op_count_vg4gO5BX6G(a,199)+op_count_PjbVkMzmXE(a,a)+op_count_f6k1SAg4EE(op_vg4gO5BX6G(a,199),op_PjbVkMzmXE(a,a))+op_count_tIhPxZTbsh(a,a)+op_count_fLGIAiPz9h(op_tIhPxZTbsh(a,a))+op_count_ocnLzx9CaJ(op_f6k1SAg4EE(op_vg4gO5BX6G(a,199),op_PjbVkMzmXE(a,a)),op_fLGIAiPz9h(op_tIhPxZTbsh(a,a)))
    return count


def op_yPx7rvoExr(a):
    return op_N41Kp7NANJ(op_s0IfDFCCuZ(a,a))

def op_count_yPx7rvoExr(a):
    count = op_count_s0IfDFCCuZ(a,a)+op_count_N41Kp7NANJ(op_s0IfDFCCuZ(a,a))
    return count


def op_C7DFujtSMd(a, b):
    if b == 442:
        return op_L05ObWFQCd(op_FyVja0WsTP(op_tmjFFOTKyA(b),131),op_vg4gO5BX6G(op_D3AQDKkPcf(61,a),op_nFAOW8KTqp(a)))
    else:
        return op_dfKe02y8D2(op_HmxsFra2vL(op_kc7iqVBlRY(296),op_3EhVUz7Ug9(a)),op_4CyGpkTkEk(op_kbkesczE7y(a,150)))

def op_count_C7DFujtSMd(a, b):
    if b == 442:
        count = op_count_tmjFFOTKyA(b)+op_count_FyVja0WsTP(op_tmjFFOTKyA(b),131)+op_count_D3AQDKkPcf(61,a)+op_count_nFAOW8KTqp(a)+op_count_vg4gO5BX6G(op_D3AQDKkPcf(61,a),op_nFAOW8KTqp(a))+op_count_L05ObWFQCd(op_FyVja0WsTP(op_tmjFFOTKyA(b),131),op_vg4gO5BX6G(op_D3AQDKkPcf(61,a),op_nFAOW8KTqp(a)))
    else:
        count = op_count_kc7iqVBlRY(296)+op_count_3EhVUz7Ug9(a)+op_count_HmxsFra2vL(op_kc7iqVBlRY(296),op_3EhVUz7Ug9(a))+op_count_kbkesczE7y(a,150)+op_count_4CyGpkTkEk(op_kbkesczE7y(a,150))+op_count_dfKe02y8D2(op_HmxsFra2vL(op_kc7iqVBlRY(296),op_3EhVUz7Ug9(a)),op_4CyGpkTkEk(op_kbkesczE7y(a,150)))
    return count


a∽⫹b = { b , if a<=209 ; (a≻⇥≳b) , else }

def op_VTWL3whYCc(a, b):
    if a <= 209:
        return b
    else:
        return op_aiqF8n6J9c(a,b)

def op_count_VTWL3whYCc(a, b):
    if a <= 209:
        count = 1
    else:
        count = op_count_aiqF8n6J9c(a,b)
    return count


⇓↿a = { (((a≏⨯⊱a)⪚⨁⋖(⇉-⫰a))⋆⊨((a⨳⩥⨓a)⇪⋱)) }

def op_GDEgHlA5Kw(a):
    return op_uTBsSls0VN(op_xSk1F0pZbF(op_UqUOXUQnbU(a,a),op_IGFM8TAlm9(a)),op_MKzNxCV7Yo(op_nCS4ZIUYfx(a,a)))

def op_count_GDEgHlA5Kw(a):
    count = op_count_UqUOXUQnbU(a,a)+op_count_IGFM8TAlm9(a)+op_count_xSk1F0pZbF(op_UqUOXUQnbU(a,a),op_IGFM8TAlm9(a))+op_count_nCS4ZIUYfx(a,a)+op_count_MKzNxCV7Yo(op_nCS4ZIUYfx(a,a))+op_count_uTBsSls0VN(op_xSk1F0pZbF(op_UqUOXUQnbU(a,a),op_IGFM8TAlm9(a)),op_MKzNxCV7Yo(op_nCS4ZIUYfx(a,a)))
    return count


⫸⊾a = { (⪁⫅≨a) , if (a⨌↪)>245 ; a , else }

def op_mg7BfXbOdF(a):
    if op_cWQsF5MvuD(a) > 245:
        return op_YApyZlDuBr(a)
    else:
        return a

def op_count_mg7BfXbOdF(a):
    if op_cWQsF5MvuD(a) > 245:
        count = op_count_YApyZlDuBr(a)+op_count_cWQsF5MvuD(a)
    else:
        count = 1
    return count


a⫮⪍ = { ((a⊢a)⫃⨇(a⩣⊵⩗a)) , if (a⊀⪪⫸)==16 ; (a≽↲≰(a⪔⊥a)) , else }

def op_cjZ6PVuxTA(a):
    if op_UIU2Eox550(a) == 16:
        return op_09Ly4LVMIf(op_5twsqlHp2o(a,a),op_wsXFuL0hC6(a,a))
    else:
        return op_cFVlceoRkX(a,op_HJ9erzHUuu(a,a))

def op_count_cjZ6PVuxTA(a):
    if op_UIU2Eox550(a) == 16:
        count = op_count_5twsqlHp2o(a,a)+op_count_wsXFuL0hC6(a,a)+op_count_09Ly4LVMIf(op_5twsqlHp2o(a,a),op_wsXFuL0hC6(a,a))+op_count_UIU2Eox550(a)
    else:
        count = op_count_HJ9erzHUuu(a,a)+op_count_cFVlceoRkX(a,op_HJ9erzHUuu(a,a))
    return count


def op_j27Jgf5Byt(a):
    return op_PxiHyQbrIp(op_6iOiAJX1F8(a))

def op_count_j27Jgf5Byt(a):
    count = op_count_6iOiAJX1F8(a)+op_count_PxiHyQbrIp(op_6iOiAJX1F8(a))
    return count


def op_RORK8BE6m0(a):
    return op_rIsGeVJWJF(op_JgXZM7XvWE(a,a))

def op_count_RORK8BE6m0(a):
    count = op_count_JgXZM7XvWE(a,a)+op_count_rIsGeVJWJF(op_JgXZM7XvWE(a,a))
    return count


a⨲≯b = { ((b⋥≓≎b)≃(≦a)) , if (b∮⨁)!=278 ; ((46⩼⇪↪52)⇤(b⫃⨇a)) , else }

def op_rRzE4LHIBf(a, b):
    if op_TytFGXR7Zf(b) != 278:
        return op_YbVcJGFEVW(op_Qy55tPpLXF(b,b),op_RPa3726CSl(a))
    else:
        return op_YSKBFp38Pu(op_ocnLzx9CaJ(46,52),op_09Ly4LVMIf(b,a))

def op_count_rRzE4LHIBf(a, b):
    if op_TytFGXR7Zf(b) != 278:
        count = op_count_Qy55tPpLXF(b,b)+op_count_RPa3726CSl(a)+op_count_YbVcJGFEVW(op_Qy55tPpLXF(b,b),op_RPa3726CSl(a))+op_count_TytFGXR7Zf(b)
    else:
        count = op_count_ocnLzx9CaJ(46,52)+op_count_09Ly4LVMIf(b,a)+op_count_YSKBFp38Pu(op_ocnLzx9CaJ(46,52),op_09Ly4LVMIf(b,a))
    return count


def op_JgJtpi6aUr(a):
    return op_0kmYd0q39Y(op_ew17WAA8t6(a),op_UggxBX659n(a,a))

def op_count_JgJtpi6aUr(a):
    count = op_count_ew17WAA8t6(a)+op_count_UggxBX659n(a,a)+op_count_0kmYd0q39Y(op_ew17WAA8t6(a),op_UggxBX659n(a,a))
    return count


def op_tFor2jiNUU(a):
    if a < 190:
        return op_iuk5sVOGFA(a)
    else:
        return a

def op_count_tFor2jiNUU(a):
    if a < 190:
        count = op_count_iuk5sVOGFA(a)
    else:
        count = 1
    return count


def op_CowNEiWUa3(a):
    return op_UqUOXUQnbU(a,a)

def op_count_CowNEiWUa3(a):
    count = op_count_UqUOXUQnbU(a,a)
    return count


a⋦≾b = { (b⫲) , if a!=488 or (∛⊵b)>=1 ; (a⋥≓≎a) , else }

def op_sGKMNvIg50(a, b):
    if a != 488 or op_jfYOP67v6Y(b) >= 1:
        return op_9xnGDUPbC6(b)
    else:
        return op_Qy55tPpLXF(a,a)

def op_count_sGKMNvIg50(a, b):
    if a != 488 or op_jfYOP67v6Y(b) >= 1:
        count = op_count_9xnGDUPbC6(b)+op_count_jfYOP67v6Y(b)
    else:
        count = op_count_Qy55tPpLXF(a,a)
    return count


def op_cGVIc6Ian5(a):
    return op_Ph9nP6C5qx(op_qxqspddX8k(a,a),op_ebeGRCukrZ(a))

def op_count_cGVIc6Ian5(a):
    count = op_count_qxqspddX8k(a,a)+op_count_ebeGRCukrZ(a)+op_count_Ph9nP6C5qx(op_qxqspddX8k(a,a),op_ebeGRCukrZ(a))
    return count


def op_pnqXmBqCRn(a):
    if a <= 103:
        return op_QMFrweE19q(a,a)
    else:
        return op_6iafYuwGo8(a,52)

def op_count_pnqXmBqCRn(a):
    if a <= 103:
        count = op_count_QMFrweE19q(a,a)
    else:
        count = op_count_6iafYuwGo8(a,52)
    return count


a⪬⩝ = { (a⇊⊒⫧) , if (a⇟⨁⪰)>64 ; (a∑a) , else }

def op_CvGjaUuSzx(a):
    if op_BX1lVwlMe0(a) > 64:
        return op_eIba4BG3xN(a)
    else:
        return op_JFrVJKYFMX(a,a)

def op_count_CvGjaUuSzx(a):
    if op_BX1lVwlMe0(a) > 64:
        count = op_count_eIba4BG3xN(a)+op_count_BX1lVwlMe0(a)
    else:
        count = op_count_JFrVJKYFMX(a,a)
    return count


def op_TKwpwGcWmn(a):
    return op_keuJNkrrbj(op_HQuZ2f4It9(43),op_i8ToyICDmI(a,a))

def op_count_TKwpwGcWmn(a):
    count = op_count_HQuZ2f4It9(43)+op_count_i8ToyICDmI(a,a)+op_count_keuJNkrrbj(op_HQuZ2f4It9(43),op_i8ToyICDmI(a,a))
    return count


⩂↘⋹a = { (a⪨a) , if a==690 ; (∨a) , else }

def op_GWLlYEOmyj(a):
    if a == 690:
        return op_2z8nE7LpCu(a,a)
    else:
        return op_rIsGeVJWJF(a)

def op_count_GWLlYEOmyj(a):
    if a == 690:
        count = op_count_2z8nE7LpCu(a,a)
    else:
        count = op_count_rIsGeVJWJF(a)
    return count


def op_Gdaqu1gMph(a, b):
    return op_qy3n0tapmE(op_8w2t5hMYqp(op_4CyGpkTkEk(b)),op_rPNtK4BLRO(op_7IPrd9c3lf(147),op_oDvtRyfmAM(a)))

def op_count_Gdaqu1gMph(a, b):
    count = op_count_4CyGpkTkEk(b)+op_count_8w2t5hMYqp(op_4CyGpkTkEk(b))+op_count_7IPrd9c3lf(147)+op_count_oDvtRyfmAM(a)+op_count_rPNtK4BLRO(op_7IPrd9c3lf(147),op_oDvtRyfmAM(a))+op_count_qy3n0tapmE(op_8w2t5hMYqp(op_4CyGpkTkEk(b)),op_rPNtK4BLRO(op_7IPrd9c3lf(147),op_oDvtRyfmAM(a)))
    return count


def op_QyT1usQeR4(a, b):
    return op_5twsqlHp2o(op_ZNVVrZ94lY(b),op_JclMnS0uGI(a,b))

def op_count_QyT1usQeR4(a, b):
    count = op_count_ZNVVrZ94lY(b)+op_count_JclMnS0uGI(a,b)+op_count_5twsqlHp2o(op_ZNVVrZ94lY(b),op_JclMnS0uGI(a,b))
    return count


def op_FHEpwxztf9(a):
    return op_eewbuw0ToL(op_DO4fhlbJSI(op_AYdpE9sXAk(a)),op_nCS4ZIUYfx(op_620seOwKww(a),op_C6VvDP6HwP(a)))

def op_count_FHEpwxztf9(a):
    count = op_count_AYdpE9sXAk(a)+op_count_DO4fhlbJSI(op_AYdpE9sXAk(a))+op_count_620seOwKww(a)+op_count_C6VvDP6HwP(a)+op_count_nCS4ZIUYfx(op_620seOwKww(a),op_C6VvDP6HwP(a))+op_count_eewbuw0ToL(op_DO4fhlbJSI(op_AYdpE9sXAk(a)),op_nCS4ZIUYfx(op_620seOwKww(a),op_C6VvDP6HwP(a)))
    return count


def op_dYE5MVbrE4(a):
    return op_hiBDRd40bf(op_61wBmkZwlr(op_nbuSfrB4hB(a,a)),op_KWeyIRWUIQ(op_giaUb8UVhq(a,a)))

def op_count_dYE5MVbrE4(a):
    count = op_count_nbuSfrB4hB(a,a)+op_count_61wBmkZwlr(op_nbuSfrB4hB(a,a))+op_count_giaUb8UVhq(a,a)+op_count_KWeyIRWUIQ(op_giaUb8UVhq(a,a))+op_count_hiBDRd40bf(op_61wBmkZwlr(op_nbuSfrB4hB(a,a)),op_KWeyIRWUIQ(op_giaUb8UVhq(a,a)))
    return count


def op_04rQOwzt8r(a):
    return op_f6k1SAg4EE(a,a)

def op_count_04rQOwzt8r(a):
    count = op_count_f6k1SAg4EE(a,a)
    return count


⩾⇢a = { (a∇⊂⋱a) , if a<=99 ; (a≽⇕) , else }

def op_Do2fuqKQ4Q(a):
    if a <= 99:
        return op_nhYeJWJD5X(a,a)
    else:
        return op_SgAxmdLNEA(a)

def op_count_Do2fuqKQ4Q(a):
    if a <= 99:
        count = op_count_nhYeJWJD5X(a,a)
    else:
        count = op_count_SgAxmdLNEA(a)
    return count


a⩂⇜⋀ = { (≇⪴a) , if (a⇊⊒⫧)>=834 ; (a∊⊞≈a) , else }

def op_o75NORkZ6O(a):
    if op_eIba4BG3xN(a) >= 834:
        return op_zoVPnxeHJ3(a)
    else:
        return op_keuJNkrrbj(a,a)

def op_count_o75NORkZ6O(a):
    if op_eIba4BG3xN(a) >= 834:
        count = op_count_zoVPnxeHJ3(a)+op_count_eIba4BG3xN(a)
    else:
        count = op_count_keuJNkrrbj(a,a)
    return count


a⇋⩓b = { ((a⋅∹⩇)⇛(⊤a)) , if b<127 ; ((b⫸⇳b)∝(b⋳/a)) , else }

def op_nV0ABU7b9V(a, b):
    if b < 127:
        return op_S3tN1ZzpSt(op_Tmr9JGNMVH(a),op_oDvtRyfmAM(a))
    else:
        return op_cTDWOvIxvz(op_gx7XJ7hdpj(b,b),op_m612RDITqL(b,a))

def op_count_nV0ABU7b9V(a, b):
    if b < 127:
        count = op_count_Tmr9JGNMVH(a)+op_count_oDvtRyfmAM(a)+op_count_S3tN1ZzpSt(op_Tmr9JGNMVH(a),op_oDvtRyfmAM(a))
    else:
        count = op_count_gx7XJ7hdpj(b,b)+op_count_m612RDITqL(b,a)+op_count_cTDWOvIxvz(op_gx7XJ7hdpj(b,b),op_m612RDITqL(b,a))
    return count


def op_kZsPjwrGla(a):
    if a == 48:
        return op_U9HvHqtOoq(op_0JWJYFSzIQ(op_DmTXOeWf9t(518,58),op_uysxUYN2L2(a,a)))
    else:
        return op_i3MWstRFMQ(op_s0kPeV9Vm2(op_Noe24qw2ks(a,283)))

def op_count_kZsPjwrGla(a):
    if a == 48:
        count = op_count_DmTXOeWf9t(518,58)+op_count_uysxUYN2L2(a,a)+op_count_0JWJYFSzIQ(op_DmTXOeWf9t(518,58),op_uysxUYN2L2(a,a))+op_count_U9HvHqtOoq(op_0JWJYFSzIQ(op_DmTXOeWf9t(518,58),op_uysxUYN2L2(a,a)))
    else:
        count = op_count_Noe24qw2ks(a,283)+op_count_s0kPeV9Vm2(op_Noe24qw2ks(a,283))+op_count_i3MWstRFMQ(op_s0kPeV9Vm2(op_Noe24qw2ks(a,283)))
    return count


def op_IMmyYpP7Ep(a):
    return op_DNmMwa48aR(op_cFVlceoRkX(a,a))

def op_count_IMmyYpP7Ep(a):
    count = op_count_cFVlceoRkX(a,a)+op_count_DNmMwa48aR(op_cFVlceoRkX(a,a))
    return count


a⨼⊯⨸b = { (b≟⫹a) , if b==265 ; (b⋅∹⩇) , else }

def op_PQWaCfYBWv(a, b):
    if b == 265:
        return op_z2JHNkvbdm(b,a)
    else:
        return op_Tmr9JGNMVH(b)

def op_count_PQWaCfYBWv(a, b):
    if b == 265:
        count = op_count_z2JHNkvbdm(b,a)
    else:
        count = op_count_Tmr9JGNMVH(b)
    return count


a⨧⫸∅b = { a , if a>260 or a==569 ; (((b⪎↠a)⫯⪬∳b)⫏↛⩏((a⋥≓≎b)⨶)) , else }

def op_xQ7F9HlfPt(a, b):
    if a > 260 or a == 569:
        return a
    else:
        return op_YC3tgrnOyr(op_d7ASUq0ydm(op_3tVxb0NHM4(b,a),b),op_rFxw8gIMmB(op_Qy55tPpLXF(a,b)))

def op_count_xQ7F9HlfPt(a, b):
    if a > 260 or a == 569:
        count = 1
    else:
        count = op_count_3tVxb0NHM4(b,a)+op_count_d7ASUq0ydm(op_3tVxb0NHM4(b,a),b)+op_count_Qy55tPpLXF(a,b)+op_count_rFxw8gIMmB(op_Qy55tPpLXF(a,b))+op_count_YC3tgrnOyr(op_d7ASUq0ydm(op_3tVxb0NHM4(b,a),b),op_rFxw8gIMmB(op_Qy55tPpLXF(a,b)))
    return count


def op_8MVGE24Zp8(a):
    return op_EWw2JM7wp4(op_2ufhKmSs5H(op_JDUIKTTSIa(402,a)),a)

def op_count_8MVGE24Zp8(a):
    count = op_count_JDUIKTTSIa(402,a)+op_count_2ufhKmSs5H(op_JDUIKTTSIa(402,a))+op_count_EWw2JM7wp4(op_2ufhKmSs5H(op_JDUIKTTSIa(402,a)),a)
    return count


def op_UNJVspG3Sj(a, b):
    if op_COABgblf1C(a,324) == 312:
        return op_irKjLsMeKy(165,b)
    else:
        return op_Sq3AGanRSD(b,b)

def op_count_UNJVspG3Sj(a, b):
    if op_COABgblf1C(a,324) == 312:
        count = op_count_irKjLsMeKy(165,b)+op_count_COABgblf1C(a,324)
    else:
        count = op_count_Sq3AGanRSD(b,b)
    return count


a≐⋣⩉b = { (((b⩼⇪↪a)∄(⊡⇒⪪a))⪍↜⋙((675⪈⋁⩁283)≠≀(b↭↢≔))) }

def op_8cvnD9PGlL(a, b):
    return op_L05ObWFQCd(op_tnyRA5sazQ(op_ocnLzx9CaJ(b,a),op_wisItNeSwq(a)),op_IwW236VD4Y(op_GMyVS5K48T(675,283),op_Q6LsZf8ZYd(b)))

def op_count_8cvnD9PGlL(a, b):
    count = op_count_ocnLzx9CaJ(b,a)+op_count_wisItNeSwq(a)+op_count_tnyRA5sazQ(op_ocnLzx9CaJ(b,a),op_wisItNeSwq(a))+op_count_GMyVS5K48T(675,283)+op_count_Q6LsZf8ZYd(b)+op_count_IwW236VD4Y(op_GMyVS5K48T(675,283),op_Q6LsZf8ZYd(b))+op_count_L05ObWFQCd(op_tnyRA5sazQ(op_ocnLzx9CaJ(b,a),op_wisItNeSwq(a)),op_IwW236VD4Y(op_GMyVS5K48T(675,283),op_Q6LsZf8ZYd(b)))
    return count


def op_ru99yUhMbR(a):
    return op_DmTXOeWf9t(a,a)

def op_count_ru99yUhMbR(a):
    count = op_count_DmTXOeWf9t(a,a)
    return count


a∻⩧ = { ((a⨲⇖⇮)⋐≟⩺(a⇖↽a)) , if a>114 ; ((a⪔⊥a)⫰⋱(a-∠a)) , else }

def op_j8NUO8wOlx(a):
    if a > 114:
        return op_PjbVkMzmXE(op_oj4YnGA3cE(a),op_cwbF3JtlMN(a,a))
    else:
        return op_6o9Blt3TJ6(op_HJ9erzHUuu(a,a),op_s0IfDFCCuZ(a,a))

def op_count_j8NUO8wOlx(a):
    if a > 114:
        count = op_count_oj4YnGA3cE(a)+op_count_cwbF3JtlMN(a,a)+op_count_PjbVkMzmXE(op_oj4YnGA3cE(a),op_cwbF3JtlMN(a,a))
    else:
        count = op_count_HJ9erzHUuu(a,a)+op_count_s0IfDFCCuZ(a,a)+op_count_6o9Blt3TJ6(op_HJ9erzHUuu(a,a),op_s0IfDFCCuZ(a,a))
    return count


def op_NdVPtuIXDX(a):
    return op_nhYeJWJD5X(op_EZ6cjipfBz(op_UggxBX659n(a,a)),a)

def op_count_NdVPtuIXDX(a):
    count = op_count_UggxBX659n(a,a)+op_count_EZ6cjipfBz(op_UggxBX659n(a,a))+op_count_nhYeJWJD5X(op_EZ6cjipfBz(op_UggxBX659n(a,a)),a)
    return count


def op_QZRjuhgdxU(a):
    return op_nhYeJWJD5X(op_69GgKhV9QQ(a),op_Noe24qw2ks(a,a))

def op_count_QZRjuhgdxU(a):
    count = op_count_69GgKhV9QQ(a)+op_count_Noe24qw2ks(a,a)+op_count_nhYeJWJD5X(op_69GgKhV9QQ(a),op_Noe24qw2ks(a,a))
    return count


def op_56vuAyirlf(a, b):
    return op_0JWJYFSzIQ(op_UMMmb9LONo(b),op_W4YGzv6Whe(a,b))

def op_count_56vuAyirlf(a, b):
    count = op_count_UMMmb9LONo(b)+op_count_W4YGzv6Whe(a,b)+op_count_0JWJYFSzIQ(op_UMMmb9LONo(b),op_W4YGzv6Whe(a,b))
    return count


⊽⋮⩚a = { a , if (⋃a)<=7 ; (((⫂a)⊋≦⊧(90⊒a))⫲) , else }

def op_iZahWpvE1f(a):
    if op_3mBM5G4a3l(a) <= 7:
        return a
    else:
        return op_9xnGDUPbC6(op_oRDoc9rAEX(op_U9HvHqtOoq(a),op_rPNtK4BLRO(90,a)))

def op_count_iZahWpvE1f(a):
    if op_3mBM5G4a3l(a) <= 7:
        count = 1
    else:
        count = op_count_U9HvHqtOoq(a)+op_count_rPNtK4BLRO(90,a)+op_count_oRDoc9rAEX(op_U9HvHqtOoq(a),op_rPNtK4BLRO(90,a))+op_count_9xnGDUPbC6(op_oRDoc9rAEX(op_U9HvHqtOoq(a),op_rPNtK4BLRO(90,a)))
    return count


a∲b = { (⩻⪛(⨞⫢(b⨸⪁639))) , if (⪞⋲≾b)>=514 ; (((a∲⫓a)⇌⫙⪟(⩏⊷≩b))⫰⋱((b⫻⋑⊟)⊓≱(b⋘a))) , else }

def op_K8Gs4pJAFP(a, b):
    if op_kz228nwi0J(b) >= 514:
        return op_5RY6W0glyJ(op_HQuZ2f4It9(op_g55IO6H4Gj(b,639)))
    else:
        return op_6o9Blt3TJ6(op_AFVx7xoS7T(op_i8ToyICDmI(a,a),op_uOZ1tnYMDE(b)),op_VCG3UHNzLR(op_o575Zjdmzy(b),op_2M7SKlOzyM(b,a)))

def op_count_K8Gs4pJAFP(a, b):
    if op_kz228nwi0J(b) >= 514:
        count = op_count_g55IO6H4Gj(b,639)+op_count_HQuZ2f4It9(op_g55IO6H4Gj(b,639))+op_count_5RY6W0glyJ(op_HQuZ2f4It9(op_g55IO6H4Gj(b,639)))+op_count_kz228nwi0J(b)
    else:
        count = op_count_i8ToyICDmI(a,a)+op_count_uOZ1tnYMDE(b)+op_count_AFVx7xoS7T(op_i8ToyICDmI(a,a),op_uOZ1tnYMDE(b))+op_count_o575Zjdmzy(b)+op_count_2M7SKlOzyM(b,a)+op_count_VCG3UHNzLR(op_o575Zjdmzy(b),op_2M7SKlOzyM(b,a))+op_count_6o9Blt3TJ6(op_AFVx7xoS7T(op_i8ToyICDmI(a,a),op_uOZ1tnYMDE(b)),op_VCG3UHNzLR(op_o575Zjdmzy(b),op_2M7SKlOzyM(b,a)))
    return count


a⫮b = { ((a⫋)⪯⫾⋍(a∺≝⩲a)) , if a>=252 ; (⪞⋲≾(⇍b)) , else }

def op_vwdxqpDU32(a, b):
    if a >= 252:
        return op_S5ZFQS4GK3(op_mhIhit33mg(a),op_KPf6cnQVty(a,a))
    else:
        return op_kz228nwi0J(op_H9jWZL1q0V(b))

def op_count_vwdxqpDU32(a, b):
    if a >= 252:
        count = op_count_mhIhit33mg(a)+op_count_KPf6cnQVty(a,a)+op_count_S5ZFQS4GK3(op_mhIhit33mg(a),op_KPf6cnQVty(a,a))
    else:
        count = op_count_H9jWZL1q0V(b)+op_count_kz228nwi0J(op_H9jWZL1q0V(b))
    return count


def op_9BUDYzLkPF(a, b):
    return op_UggxBX659n(op_nouZ5SZjt1(b),op_PPChnnnBFF(a,a))

def op_count_9BUDYzLkPF(a, b):
    count = op_count_nouZ5SZjt1(b)+op_count_PPChnnnBFF(a,a)+op_count_UggxBX659n(op_nouZ5SZjt1(b),op_PPChnnnBFF(a,a))
    return count


def op_rfhpjrEH1F(a, b):
    if (op_th50nGnoUm(a) < 17 and a != 188):
        return op_VJ330n2nnx(84)
    else:
        return op_Q2SPaKwpPJ(746,b)

def op_count_rfhpjrEH1F(a, b):
    if (op_th50nGnoUm(a) < 17 and a != 188):
        count = op_count_VJ330n2nnx(84)+op_count_th50nGnoUm(a)
    else:
        count = op_count_Q2SPaKwpPJ(746,b)
    return count


def op_B2MxbzqPiH(a, b):
    return op_3sJ7IOPOlU(op_C6VvDP6HwP(a),op_DmTXOeWf9t(b,b))

def op_count_B2MxbzqPiH(a, b):
    count = op_count_C6VvDP6HwP(a)+op_count_DmTXOeWf9t(b,b)+op_count_3sJ7IOPOlU(op_C6VvDP6HwP(a),op_DmTXOeWf9t(b,b))
    return count


def op_v8QJ0qw7NL(a):
    if op_C6VvDP6HwP(a) != 265:
        return op_4JGOJzXMq1(52,a)
    else:
        return op_4JGOJzXMq1(a,a)

def op_count_v8QJ0qw7NL(a):
    if op_C6VvDP6HwP(a) != 265:
        count = op_count_4JGOJzXMq1(52,a)+op_count_C6VvDP6HwP(a)
    else:
        count = op_count_4JGOJzXMq1(a,a)
    return count


def op_lGaBDnHbCC(a, b):
    if op_tifHPKVTfV(b,247) >= 2:
        return op_v0DYgG9ikt(176)
    else:
        return a

def op_count_lGaBDnHbCC(a, b):
    if op_tifHPKVTfV(b,247) >= 2:
        count = op_count_v0DYgG9ikt(176)+op_count_tifHPKVTfV(b,247)
    else:
        count = 1
    return count


a∿⊑≬b = { (b⊔%a) , if b!=170 ; (≀↧⇸a) , else }

def op_1j9NUrSBwK(a, b):
    if b != 170:
        return op_uysxUYN2L2(b,a)
    else:
        return op_ljTHtUsqzn(a)

def op_count_1j9NUrSBwK(a, b):
    if b != 170:
        count = op_count_uysxUYN2L2(b,a)
    else:
        count = op_count_ljTHtUsqzn(a)
    return count


def op_PyLssB6NmA(a, b):
    return op_0JWJYFSzIQ(op_4JB6nKBMSY(a,b),op_AnPstFaJd9(a))

def op_count_PyLssB6NmA(a, b):
    count = op_count_4JB6nKBMSY(a,b)+op_count_AnPstFaJd9(a)+op_count_0JWJYFSzIQ(op_4JB6nKBMSY(a,b),op_AnPstFaJd9(a))
    return count


⋉a = { (((a↼⊘⨖a)↨⪍≴(a∀⩎⋷a))⨰((a⨧↗⨷a)≽↲≰(a⪨≂a))) }

def op_7nDYFTqyZr(a):
    return op_eewbuw0ToL(op_DX7B1fY6P6(op_bPywburJMS(a,a),op_FPxP5Y1j0W(a,a)),op_cFVlceoRkX(op_WSbXXWOizJ(a,a),op_sdazOOVcIp(a,a)))

def op_count_7nDYFTqyZr(a):
    count = op_count_bPywburJMS(a,a)+op_count_FPxP5Y1j0W(a,a)+op_count_DX7B1fY6P6(op_bPywburJMS(a,a),op_FPxP5Y1j0W(a,a))+op_count_WSbXXWOizJ(a,a)+op_count_sdazOOVcIp(a,a)+op_count_cFVlceoRkX(op_WSbXXWOizJ(a,a),op_sdazOOVcIp(a,a))+op_count_eewbuw0ToL(op_DX7B1fY6P6(op_bPywburJMS(a,a),op_FPxP5Y1j0W(a,a)),op_cFVlceoRkX(op_WSbXXWOizJ(a,a),op_sdazOOVcIp(a,a)))
    return count


a⩇↘b = { ((a⪕a)⊲⩕⊾(b⊚⫡⫭)) , if a>=132 ; (⇻⨃⇄(a⨔⊶↷b)) , else }

def op_xc52gjKyDD(a, b):
    if a >= 132:
        return op_DmTXOeWf9t(op_umQnsF7QlU(a,a),op_SpZWOsLKZJ(b))
    else:
        return op_fLGIAiPz9h(op_WObL9SsYVE(a,b))

def op_count_xc52gjKyDD(a, b):
    if a >= 132:
        count = op_count_umQnsF7QlU(a,a)+op_count_SpZWOsLKZJ(b)+op_count_DmTXOeWf9t(op_umQnsF7QlU(a,a),op_SpZWOsLKZJ(b))
    else:
        count = op_count_WObL9SsYVE(a,b)+op_count_fLGIAiPz9h(op_WObL9SsYVE(a,b))
    return count


def op_aTVQQkjKZd(a):
    if op_uOZ1tnYMDE(a) <= 5:
        return op_PPChnnnBFF(op_AnPstFaJd9(op_cFVlceoRkX(a,a)),op_ObEyaaML9x(op_RPa3726CSl(244),op_PPChnnnBFF(203,238)))
    else:
        return op_GMN7JP6WpN(op_kbkesczE7y(op_ar1w6gUwHX(411,97),op_ar1w6gUwHX(a,a)),op_i8ToyICDmI(op_GMN7JP6WpN(a,a),op_WR6HLWljOP(69,387)))

def op_count_aTVQQkjKZd(a):
    if op_uOZ1tnYMDE(a) <= 5:
        count = op_count_cFVlceoRkX(a,a)+op_count_AnPstFaJd9(op_cFVlceoRkX(a,a))+op_count_RPa3726CSl(244)+op_count_PPChnnnBFF(203,238)+op_count_ObEyaaML9x(op_RPa3726CSl(244),op_PPChnnnBFF(203,238))+op_count_PPChnnnBFF(op_AnPstFaJd9(op_cFVlceoRkX(a,a)),op_ObEyaaML9x(op_RPa3726CSl(244),op_PPChnnnBFF(203,238)))+op_count_uOZ1tnYMDE(a)
    else:
        count = op_count_ar1w6gUwHX(411,97)+op_count_ar1w6gUwHX(a,a)+op_count_kbkesczE7y(op_ar1w6gUwHX(411,97),op_ar1w6gUwHX(a,a))+op_count_GMN7JP6WpN(a,a)+op_count_WR6HLWljOP(69,387)+op_count_i8ToyICDmI(op_GMN7JP6WpN(a,a),op_WR6HLWljOP(69,387))+op_count_GMN7JP6WpN(op_kbkesczE7y(op_ar1w6gUwHX(411,97),op_ar1w6gUwHX(a,a)),op_i8ToyICDmI(op_GMN7JP6WpN(a,a),op_WR6HLWljOP(69,387)))
    return count


a⋳b = { (((b⪉⨛a)⪔⊥(b⊔%b))↨⪍≴((a≠≀a)⊵(a∇⊂⋱b))) , if (a⫍⨯↯)<413 ; (((b⪨≂100)⊨b)⪲⨢((401⇑∁⪛)⊨(b⊒b))) , else }

def op_CJytEhD05r(a, b):
    if op_ZcwmYACASQ(a) < 413:
        return op_DX7B1fY6P6(op_HJ9erzHUuu(op_EWw2JM7wp4(b,a),op_uysxUYN2L2(b,b)),op_eaFBhJ0Uku(op_IwW236VD4Y(a,a),op_nhYeJWJD5X(a,b)))
    else:
        return op_6iafYuwGo8(op_vg4gO5BX6G(op_sdazOOVcIp(b,100),b),op_vg4gO5BX6G(op_P75hhshrwX(401),op_rPNtK4BLRO(b,b)))

def op_count_CJytEhD05r(a, b):
    if op_ZcwmYACASQ(a) < 413:
        count = op_count_EWw2JM7wp4(b,a)+op_count_uysxUYN2L2(b,b)+op_count_HJ9erzHUuu(op_EWw2JM7wp4(b,a),op_uysxUYN2L2(b,b))+op_count_IwW236VD4Y(a,a)+op_count_nhYeJWJD5X(a,b)+op_count_eaFBhJ0Uku(op_IwW236VD4Y(a,a),op_nhYeJWJD5X(a,b))+op_count_DX7B1fY6P6(op_HJ9erzHUuu(op_EWw2JM7wp4(b,a),op_uysxUYN2L2(b,b)),op_eaFBhJ0Uku(op_IwW236VD4Y(a,a),op_nhYeJWJD5X(a,b)))+op_count_ZcwmYACASQ(a)
    else:
        count = op_count_sdazOOVcIp(b,100)+op_count_vg4gO5BX6G(op_sdazOOVcIp(b,100),b)+op_count_P75hhshrwX(401)+op_count_rPNtK4BLRO(b,b)+op_count_vg4gO5BX6G(op_P75hhshrwX(401),op_rPNtK4BLRO(b,b))+op_count_6iafYuwGo8(op_vg4gO5BX6G(op_sdazOOVcIp(b,100),b),op_vg4gO5BX6G(op_P75hhshrwX(401),op_rPNtK4BLRO(b,b)))
    return count


def op_WHRxrbF8gO(a, b):
    if (op_z2JHNkvbdm(b,470) < 510 and op_k7HXdKtiEU(b) >= 220):
        return op_s0IfDFCCuZ(a,b)
    else:
        return op_SPuZE40Ntn(875,a)

def op_count_WHRxrbF8gO(a, b):
    if (op_z2JHNkvbdm(b,470) < 510 and op_k7HXdKtiEU(b) >= 220):
        count = op_count_s0IfDFCCuZ(a,b)+op_count_z2JHNkvbdm(b,470)+op_count_k7HXdKtiEU(b)
    else:
        count = op_count_SPuZE40Ntn(875,a)
    return count


def op_nz5y26sRSo(a, b):
    return op_2Wsdkap16l(op_g7Hmc5v1ko(op_5twsqlHp2o(b,b),b),op_keWfFq85dY(op_qxqspddX8k(a,b)))

def op_count_nz5y26sRSo(a, b):
    count = op_count_5twsqlHp2o(b,b)+op_count_g7Hmc5v1ko(op_5twsqlHp2o(b,b),b)+op_count_qxqspddX8k(a,b)+op_count_keWfFq85dY(op_qxqspddX8k(a,b))+op_count_2Wsdkap16l(op_g7Hmc5v1ko(op_5twsqlHp2o(b,b),b),op_keWfFq85dY(op_qxqspddX8k(a,b)))
    return count


def op_lgePFucvtA(a):
    return op_FPxP5Y1j0W(a,a)

def op_count_lgePFucvtA(a):
    count = op_count_FPxP5Y1j0W(a,a)
    return count


a⇄⪻b = { (b≦↸a) , if (a∫≲⋬)!=194 ; (a≼b) , else }

def op_EqdHc83poM(a, b):
    if op_DNmMwa48aR(a) != 194:
        return op_RygbFNSyEJ(b,a)
    else:
        return op_SPuZE40Ntn(a,b)

def op_count_EqdHc83poM(a, b):
    if op_DNmMwa48aR(a) != 194:
        count = op_count_RygbFNSyEJ(b,a)+op_count_DNmMwa48aR(a)
    else:
        count = op_count_SPuZE40Ntn(a,b)
    return count


a≻≌⋽b = { (127⋎((⨢⋑⪾b)⨩≤⫤(b⩵∡b))) , if (⩻⪛b)>530 ; (⇖((a≦↸a)∇⊂⋱(b↯⫤))) , else }

def op_wHIWe8QR1k(a, b):
    if op_5RY6W0glyJ(b) > 530:
        return op_qy3n0tapmE(127,op_neKQRQQIil(op_tmjFFOTKyA(b),op_Y7wcNGrDQJ(b,b)))
    else:
        return op_tfWHHpNKUN(op_nhYeJWJD5X(op_RygbFNSyEJ(a,a),op_VwlE7vj6HS(b)))

def op_count_wHIWe8QR1k(a, b):
    if op_5RY6W0glyJ(b) > 530:
        count = op_count_tmjFFOTKyA(b)+op_count_Y7wcNGrDQJ(b,b)+op_count_neKQRQQIil(op_tmjFFOTKyA(b),op_Y7wcNGrDQJ(b,b))+op_count_qy3n0tapmE(127,op_neKQRQQIil(op_tmjFFOTKyA(b),op_Y7wcNGrDQJ(b,b)))+op_count_5RY6W0glyJ(b)
    else:
        count = op_count_RygbFNSyEJ(a,a)+op_count_VwlE7vj6HS(b)+op_count_nhYeJWJD5X(op_RygbFNSyEJ(a,a),op_VwlE7vj6HS(b))+op_count_tfWHHpNKUN(op_nhYeJWJD5X(op_RygbFNSyEJ(a,a),op_VwlE7vj6HS(b)))
    return count


a⨡⇟⫳b = { ((b⋳⪒b)⪨≂(259⨩≤⫤a)) , if (b⩱)!=194 ; ((b≻⇥≳a)⇢(a⪨≂b)) , else }

def op_LlA1dz4vja(a, b):
    if op_uyq1hVkAcj(b) != 194:
        return op_sdazOOVcIp(op_12rbrZMWeM(b,b),op_neKQRQQIil(259,a))
    else:
        return op_GMN7JP6WpN(op_aiqF8n6J9c(b,a),op_sdazOOVcIp(a,b))

def op_count_LlA1dz4vja(a, b):
    if op_uyq1hVkAcj(b) != 194:
        count = op_count_12rbrZMWeM(b,b)+op_count_neKQRQQIil(259,a)+op_count_sdazOOVcIp(op_12rbrZMWeM(b,b),op_neKQRQQIil(259,a))+op_count_uyq1hVkAcj(b)
    else:
        count = op_count_aiqF8n6J9c(b,a)+op_count_sdazOOVcIp(a,b)+op_count_GMN7JP6WpN(op_aiqF8n6J9c(b,a),op_sdazOOVcIp(a,b))
    return count


a∛∙b = { (⋽⪳⨃((b⋟⫀⨗a)⨩≤⫤(b⊉↱≁228))) , if (a⋳⪒983)==167 ; a , else }

def op_kpf4jZBDQQ(a, b):
    if op_12rbrZMWeM(a,983) == 167:
        return op_qAljGMXEZr(op_neKQRQQIil(op_dAAkup5nzi(b,a),op_w2P8NbNXyL(b,228)))
    else:
        return a

def op_count_kpf4jZBDQQ(a, b):
    if op_12rbrZMWeM(a,983) == 167:
        count = op_count_dAAkup5nzi(b,a)+op_count_w2P8NbNXyL(b,228)+op_count_neKQRQQIil(op_dAAkup5nzi(b,a),op_w2P8NbNXyL(b,228))+op_count_qAljGMXEZr(op_neKQRQQIil(op_dAAkup5nzi(b,a),op_w2P8NbNXyL(b,228)))+op_count_12rbrZMWeM(a,983)
    else:
        count = 1
    return count


a⊤≄b = { (((b≣b)∽(a∠↢a))∠↢((a⪉⨛a)⫠↝⫳)) }

def op_El3zeUDNld(a, b):
    return op_KbjG8mgYpV(op_y4ImoPnbV5(op_ObEyaaML9x(b,b),op_KbjG8mgYpV(a,a)),op_8n5YIzOsVS(op_EWw2JM7wp4(a,a)))

def op_count_El3zeUDNld(a, b):
    count = op_count_ObEyaaML9x(b,b)+op_count_KbjG8mgYpV(a,a)+op_count_y4ImoPnbV5(op_ObEyaaML9x(b,b),op_KbjG8mgYpV(a,a))+op_count_EWw2JM7wp4(a,a)+op_count_8n5YIzOsVS(op_EWw2JM7wp4(a,a))+op_count_KbjG8mgYpV(op_y4ImoPnbV5(op_ObEyaaML9x(b,b),op_KbjG8mgYpV(a,a)),op_8n5YIzOsVS(op_EWw2JM7wp4(a,a)))
    return count


def op_A7FiOhU1z0(a):
    return op_JgXZM7XvWE(op_64EQ39e0fC(a,a),op_AFVx7xoS7T(a,245))

def op_count_A7FiOhU1z0(a):
    count = op_count_64EQ39e0fC(a,a)+op_count_AFVx7xoS7T(a,245)+op_count_JgXZM7XvWE(op_64EQ39e0fC(a,a),op_AFVx7xoS7T(a,245))
    return count


a≩≁ = { (287∑a) , if (a↮⪈⫰)<=205 ; (a⨻⪊⨷a) , else }

def op_sOgDaSCzbr(a):
    if op_MKpoIoBJCf(a) <= 205:
        return op_JFrVJKYFMX(287,a)
    else:
        return op_Pkwamo1tM2(a,a)

def op_count_sOgDaSCzbr(a):
    if op_MKpoIoBJCf(a) <= 205:
        count = op_count_JFrVJKYFMX(287,a)+op_count_MKpoIoBJCf(a)
    else:
        count = op_count_Pkwamo1tM2(a,a)
    return count


def op_BxNL6VpnAK(a):
    if a == 9:
        return op_UpkSd4zESC(op_gx7XJ7hdpj(a,65),op_rysDP5nf3Z(a,a))
    else:
        return op_m612RDITqL(op_XnXgA4xnOs(a,945),op_eaFBhJ0Uku(93,a))

def op_count_BxNL6VpnAK(a):
    if a == 9:
        count = op_count_gx7XJ7hdpj(a,65)+op_count_rysDP5nf3Z(a,a)+op_count_UpkSd4zESC(op_gx7XJ7hdpj(a,65),op_rysDP5nf3Z(a,a))
    else:
        count = op_count_XnXgA4xnOs(a,945)+op_count_eaFBhJ0Uku(93,a)+op_count_m612RDITqL(op_XnXgA4xnOs(a,945),op_eaFBhJ0Uku(93,a))
    return count


def op_hVQNqXJ0VF(a):
    return op_XbEAUggs3J(op_JoLB3LXqXx(77,a))

def op_count_hVQNqXJ0VF(a):
    count = op_count_JoLB3LXqXx(77,a)+op_count_XbEAUggs3J(op_JoLB3LXqXx(77,a))
    return count


def op_nmsOY208YL(a):
    return op_0kmYd0q39Y(a,a)

def op_count_nmsOY208YL(a):
    count = op_count_0kmYd0q39Y(a,a)
    return count


def op_EvTGYzlQPx(a):
    return op_7PjNe5qSIJ(op_18saOjeKKm(785),op_SWo3A1KBJH(op_y2kQTS4a70(a,a)))

def op_count_EvTGYzlQPx(a):
    count = op_count_18saOjeKKm(785)+op_count_y2kQTS4a70(a,a)+op_count_SWo3A1KBJH(op_y2kQTS4a70(a,a))+op_count_7PjNe5qSIJ(op_18saOjeKKm(785),op_SWo3A1KBJH(op_y2kQTS4a70(a,a)))
    return count


a⇘⋃⇠b = { (((b⨔⊶↷b)⫇⋯(a⩣⊵⩗a))⊔((113⪇≇⋚808)⊬⨰(a⩤))) }

def op_HCRZUvWJyW(a, b):
    return op_E4l6HwMY31(op_xoJmIySC7h(op_WObL9SsYVE(b,b),op_wsXFuL0hC6(a,a)),op_s3Fd5m9Dh2(op_3sJ7IOPOlU(113,808),op_Z2TMIBDE3Q(a)))

def op_count_HCRZUvWJyW(a, b):
    count = op_count_WObL9SsYVE(b,b)+op_count_wsXFuL0hC6(a,a)+op_count_xoJmIySC7h(op_WObL9SsYVE(b,b),op_wsXFuL0hC6(a,a))+op_count_3sJ7IOPOlU(113,808)+op_count_Z2TMIBDE3Q(a)+op_count_s3Fd5m9Dh2(op_3sJ7IOPOlU(113,808),op_Z2TMIBDE3Q(a))+op_count_E4l6HwMY31(op_xoJmIySC7h(op_WObL9SsYVE(b,b),op_wsXFuL0hC6(a,a)),op_s3Fd5m9Dh2(op_3sJ7IOPOlU(113,808),op_Z2TMIBDE3Q(a)))
    return count


a⫮⫄b = { (⩏⊷≩342) , if a<73 ; (b≦↸a) , else }

def op_Y31smXl5sr(a, b):
    if a < 73:
        return op_uOZ1tnYMDE(342)
    else:
        return op_RygbFNSyEJ(b,a)

def op_count_Y31smXl5sr(a, b):
    if a < 73:
        count = op_count_uOZ1tnYMDE(342)
    else:
        count = op_count_RygbFNSyEJ(b,a)
    return count


def op_OOTPsrdaAg(a):
    if (op_JgXZM7XvWE(a,99) != 749 and op_YC3tgrnOyr(a,693) <= 231 and a != 133):
        return a
    else:
        return op_gx7XJ7hdpj(op_8TQKPGA8Ba(op_tfWHHpNKUN(a)),op_COABgblf1C(op_KROiRRz3d6(226,357),op_Rw46J52cBJ(a,a)))

def op_count_OOTPsrdaAg(a):
    if (op_JgXZM7XvWE(a,99) != 749 and op_YC3tgrnOyr(a,693) <= 231 and a != 133):
        count = 1
    else:
        count = op_count_tfWHHpNKUN(a)+op_count_8TQKPGA8Ba(op_tfWHHpNKUN(a))+op_count_KROiRRz3d6(226,357)+op_count_Rw46J52cBJ(a,a)+op_count_COABgblf1C(op_KROiRRz3d6(226,357),op_Rw46J52cBJ(a,a))+op_count_gx7XJ7hdpj(op_8TQKPGA8Ba(op_tfWHHpNKUN(a)),op_COABgblf1C(op_KROiRRz3d6(226,357),op_Rw46J52cBJ(a,a)))
    return count


def op_tZb0v6mkOr(a):
    return op_g55IO6H4Gj(op_nouZ5SZjt1(a),op_oRDoc9rAEX(a,a))

def op_count_tZb0v6mkOr(a):
    count = op_count_nouZ5SZjt1(a)+op_count_oRDoc9rAEX(a,a)+op_count_g55IO6H4Gj(op_nouZ5SZjt1(a),op_oRDoc9rAEX(a,a))
    return count


def op_V2wPz6I6tV(a, b):
    return op_cTDWOvIxvz(op_3A1e9zoj8h(op_2DDjHMKMc0(a,b)),op_JLbD19bQDL(a))

def op_count_V2wPz6I6tV(a, b):
    count = op_count_2DDjHMKMc0(a,b)+op_count_3A1e9zoj8h(op_2DDjHMKMc0(a,b))+op_count_JLbD19bQDL(a)+op_count_cTDWOvIxvz(op_3A1e9zoj8h(op_2DDjHMKMc0(a,b)),op_JLbD19bQDL(a))
    return count


def op_e1tqKxnyD8(a, b):
    if b <= 52 or op_dwb5p0fa6d(a) <= 2:
        return op_WR6HLWljOP(166,148)
    else:
        return op_B3sABdIn96(b)

def op_count_e1tqKxnyD8(a, b):
    if b <= 52 or op_dwb5p0fa6d(a) <= 2:
        count = op_count_WR6HLWljOP(166,148)+op_count_dwb5p0fa6d(a)
    else:
        count = op_count_B3sABdIn96(b)
    return count


def op_9ipU8dM2qQ(a):
    return op_AFVx7xoS7T(op_7j4O788W3g(op_kz228nwi0J(a),op_gx7XJ7hdpj(379,a)),op_Z5m6OM72h2(a,op_KYL1uVeVpb(204,385)))

def op_count_9ipU8dM2qQ(a):
    count = op_count_kz228nwi0J(a)+op_count_gx7XJ7hdpj(379,a)+op_count_7j4O788W3g(op_kz228nwi0J(a),op_gx7XJ7hdpj(379,a))+op_count_KYL1uVeVpb(204,385)+op_count_Z5m6OM72h2(a,op_KYL1uVeVpb(204,385))+op_count_AFVx7xoS7T(op_7j4O788W3g(op_kz228nwi0J(a),op_gx7XJ7hdpj(379,a)),op_Z5m6OM72h2(a,op_KYL1uVeVpb(204,385)))
    return count


def op_gTCkXbls8X(a, b):
    if op_irKjLsMeKy(b,447) == 34:
        return op_sM9mzqIDB1(op_NrdPCfJQiM(b,op_rPNtK4BLRO(a,a)),op_eLAdDNolq6(op_Y5cEcQhyKu(212,80)))
    else:
        return op_9Isq31Ruls(op_Z5m6OM72h2(op_Qaz2MhZaG5(a,a),op_UMMmb9LONo(b)),op_JFrVJKYFMX(op_qxp9F1VMeC(364),op_QKXs96F9fN(a)))

def op_count_gTCkXbls8X(a, b):
    if op_irKjLsMeKy(b,447) == 34:
        count = op_count_rPNtK4BLRO(a,a)+op_count_NrdPCfJQiM(b,op_rPNtK4BLRO(a,a))+op_count_Y5cEcQhyKu(212,80)+op_count_eLAdDNolq6(op_Y5cEcQhyKu(212,80))+op_count_sM9mzqIDB1(op_NrdPCfJQiM(b,op_rPNtK4BLRO(a,a)),op_eLAdDNolq6(op_Y5cEcQhyKu(212,80)))+op_count_irKjLsMeKy(b,447)
    else:
        count = op_count_Qaz2MhZaG5(a,a)+op_count_UMMmb9LONo(b)+op_count_Z5m6OM72h2(op_Qaz2MhZaG5(a,a),op_UMMmb9LONo(b))+op_count_qxp9F1VMeC(364)+op_count_QKXs96F9fN(a)+op_count_JFrVJKYFMX(op_qxp9F1VMeC(364),op_QKXs96F9fN(a))+op_count_9Isq31Ruls(op_Z5m6OM72h2(op_Qaz2MhZaG5(a,a),op_UMMmb9LONo(b)),op_JFrVJKYFMX(op_qxp9F1VMeC(364),op_QKXs96F9fN(a)))
    return count


a⊅⪬b = { (((b≣a)⊔(⪞⋲≾b))≼((616⫡⨏a)⇪⋱)) , if (b⩰⨪↦)>529 ; (((b∄240)⊔(a⋎354))⇌⫙⪟((∥⊫a)⋟⫀⨗(a⨑≵⋬a))) , else }

def op_TlDLxRNSIU(a, b):
    if op_fLfyAuxYJD(b) > 529:
        return op_SPuZE40Ntn(op_E4l6HwMY31(op_ObEyaaML9x(b,a),op_kz228nwi0J(b)),op_MKzNxCV7Yo(op_QMFrweE19q(616,a)))
    else:
        return op_AFVx7xoS7T(op_E4l6HwMY31(op_tnyRA5sazQ(b,240),op_qy3n0tapmE(a,354)),op_dAAkup5nzi(op_P8v4zCKN1o(a),op_XnXgA4xnOs(a,a)))

def op_count_TlDLxRNSIU(a, b):
    if op_fLfyAuxYJD(b) > 529:
        count = op_count_ObEyaaML9x(b,a)+op_count_kz228nwi0J(b)+op_count_E4l6HwMY31(op_ObEyaaML9x(b,a),op_kz228nwi0J(b))+op_count_QMFrweE19q(616,a)+op_count_MKzNxCV7Yo(op_QMFrweE19q(616,a))+op_count_SPuZE40Ntn(op_E4l6HwMY31(op_ObEyaaML9x(b,a),op_kz228nwi0J(b)),op_MKzNxCV7Yo(op_QMFrweE19q(616,a)))+op_count_fLfyAuxYJD(b)
    else:
        count = op_count_tnyRA5sazQ(b,240)+op_count_qy3n0tapmE(a,354)+op_count_E4l6HwMY31(op_tnyRA5sazQ(b,240),op_qy3n0tapmE(a,354))+op_count_P8v4zCKN1o(a)+op_count_XnXgA4xnOs(a,a)+op_count_dAAkup5nzi(op_P8v4zCKN1o(a),op_XnXgA4xnOs(a,a))+op_count_AFVx7xoS7T(op_E4l6HwMY31(op_tnyRA5sazQ(b,240),op_qy3n0tapmE(a,354)),op_dAAkup5nzi(op_P8v4zCKN1o(a),op_XnXgA4xnOs(a,a)))
    return count


⪧⊭a = { (⇺⪔⩬a) , if (⫂a)!=39 ; (⨞⫢a) , else }

def op_IcvWD20DOo(a):
    if op_U9HvHqtOoq(a) != 39:
        return op_lAOUD4ZMWV(a)
    else:
        return op_HQuZ2f4It9(a)

def op_count_IcvWD20DOo(a):
    if op_U9HvHqtOoq(a) != 39:
        count = op_count_lAOUD4ZMWV(a)+op_count_U9HvHqtOoq(a)
    else:
        count = op_count_HQuZ2f4It9(a)
    return count


def op_mQekotfATW(a):
    return op_DX7B1fY6P6(op_rXAclfmB4M(a),a)

def op_count_mQekotfATW(a):
    count = op_count_rXAclfmB4M(a)+op_count_DX7B1fY6P6(op_rXAclfmB4M(a),a)
    return count


a∈⋭↰b = { (225∺≝⩲((b⋳⪒b)⨲⇖⇮)) , if a<341 ; (⋸⪍(a↺(a≟⫹b))) , else }

def op_30yr7HMjFu(a, b):
    if a < 341:
        return op_KPf6cnQVty(225,op_oj4YnGA3cE(op_12rbrZMWeM(b,b)))
    else:
        return op_PrwIXj9ZQe(op_7j4O788W3g(a,op_z2JHNkvbdm(a,b)))

def op_count_30yr7HMjFu(a, b):
    if a < 341:
        count = op_count_12rbrZMWeM(b,b)+op_count_oj4YnGA3cE(op_12rbrZMWeM(b,b))+op_count_KPf6cnQVty(225,op_oj4YnGA3cE(op_12rbrZMWeM(b,b)))
    else:
        count = op_count_z2JHNkvbdm(a,b)+op_count_7j4O788W3g(a,op_z2JHNkvbdm(a,b))+op_count_PrwIXj9ZQe(op_7j4O788W3g(a,op_z2JHNkvbdm(a,b)))
    return count


def op_BavjakIp40(a):
    return op_JclMnS0uGI(op_OTRTVPweYV(16,91),op_FyVja0WsTP(a,a))

def op_count_BavjakIp40(a):
    count = op_count_OTRTVPweYV(16,91)+op_count_FyVja0WsTP(a,a)+op_count_JclMnS0uGI(op_OTRTVPweYV(16,91),op_FyVja0WsTP(a,a))
    return count


a⨍⇓b = { (a≧⊼((⊲⪭a)∌↝(a⩾b))) , if b>622 ; ((⋗⩬⋾(a⪚⨁⋖b))⊉↱≁(↰⫏(a≃b))) , else }

def op_J6P3rkRUj0(a, b):
    if b > 622:
        return op_JoLB3LXqXx(a,op_9Isq31Ruls(op_k7HXdKtiEU(a),op_UggxBX659n(a,b)))
    else:
        return op_w2P8NbNXyL(op_DpFCA1CohY(op_xSk1F0pZbF(a,b)),op_UeUK5QjOtW(op_YbVcJGFEVW(a,b)))

def op_count_J6P3rkRUj0(a, b):
    if b > 622:
        count = op_count_k7HXdKtiEU(a)+op_count_UggxBX659n(a,b)+op_count_9Isq31Ruls(op_k7HXdKtiEU(a),op_UggxBX659n(a,b))+op_count_JoLB3LXqXx(a,op_9Isq31Ruls(op_k7HXdKtiEU(a),op_UggxBX659n(a,b)))
    else:
        count = op_count_xSk1F0pZbF(a,b)+op_count_DpFCA1CohY(op_xSk1F0pZbF(a,b))+op_count_YbVcJGFEVW(a,b)+op_count_UeUK5QjOtW(op_YbVcJGFEVW(a,b))+op_count_w2P8NbNXyL(op_DpFCA1CohY(op_xSk1F0pZbF(a,b)),op_UeUK5QjOtW(op_YbVcJGFEVW(a,b)))
    return count


def op_41OuaTWjfN(a, b):
    return op_V4yb4KDoeF(op_oPMjh9089D(b),op_nREPSIbpBE(a,76))

def op_count_41OuaTWjfN(a, b):
    count = op_count_oPMjh9089D(b)+op_count_nREPSIbpBE(a,76)+op_count_V4yb4KDoeF(op_oPMjh9089D(b),op_nREPSIbpBE(a,76))
    return count


def op_PVbKqJ6OmJ(a):
    return op_nREPSIbpBE(a,a)

def op_count_PVbKqJ6OmJ(a):
    count = op_count_nREPSIbpBE(a,a)
    return count


def op_QTTXQbcWNU(a):
    if (a >= 305 or a > 411):
        return op_AfoL3wC8aT(op_6iafYuwGo8(op_eRqsBgTDFp(a,790),op_qy3n0tapmE(a,a)))
    else:
        return op_oPMjh9089D(op_MXaNJeIAZ3(a))

def op_count_QTTXQbcWNU(a):
    if (a >= 305 or a > 411):
        count = op_count_eRqsBgTDFp(a,790)+op_count_qy3n0tapmE(a,a)+op_count_6iafYuwGo8(op_eRqsBgTDFp(a,790),op_qy3n0tapmE(a,a))+op_count_AfoL3wC8aT(op_6iafYuwGo8(op_eRqsBgTDFp(a,790),op_qy3n0tapmE(a,a)))
    else:
        count = op_count_MXaNJeIAZ3(a)+op_count_oPMjh9089D(op_MXaNJeIAZ3(a))
    return count


a⪁⇊⋡b = { ((a⨰b)⊲⩕⊾(a⩒⫫329)) , if (∷≠a)==16 ; (∂⩏⊆(30∄b)) , else }

def op_v7DKjtCdMf(a, b):
    if op_QiR2Oyf5Xj(a) == 16:
        return op_DmTXOeWf9t(op_eewbuw0ToL(a,b),op_KFSx94NKJn(a,329))
    else:
        return op_8WDwsbhb0R(op_tnyRA5sazQ(30,b))

def op_count_v7DKjtCdMf(a, b):
    if op_QiR2Oyf5Xj(a) == 16:
        count = op_count_eewbuw0ToL(a,b)+op_count_KFSx94NKJn(a,329)+op_count_DmTXOeWf9t(op_eewbuw0ToL(a,b),op_KFSx94NKJn(a,329))+op_count_QiR2Oyf5Xj(a)
    else:
        count = op_count_tnyRA5sazQ(30,b)+op_count_8WDwsbhb0R(op_tnyRA5sazQ(30,b))
    return count


a∓⊪≰ = { (86∇⊂⋱a) , if a>5 ; (a⨚a) , else }

def op_Weet5uwNop(a):
    if a > 5:
        return op_nhYeJWJD5X(86,a)
    else:
        return op_nREPSIbpBE(a,a)

def op_count_Weet5uwNop(a):
    if a > 5:
        count = op_count_nhYeJWJD5X(86,a)
    else:
        count = op_count_nREPSIbpBE(a,a)
    return count


def op_0XOKELrVaD(a):
    return op_27wFxooxGf(op_KbjG8mgYpV(op_tnyRA5sazQ(a,a),op_qxqspddX8k(a,190)))

def op_count_0XOKELrVaD(a):
    count = op_count_tnyRA5sazQ(a,a)+op_count_qxqspddX8k(a,190)+op_count_KbjG8mgYpV(op_tnyRA5sazQ(a,a),op_qxqspddX8k(a,190))+op_count_27wFxooxGf(op_KbjG8mgYpV(op_tnyRA5sazQ(a,a),op_qxqspddX8k(a,190)))
    return count


def op_dQVgcz9SMU(a):
    return op_9FxExcQeMw(op_BiWNJpBvwn(op_iuk5sVOGFA(a),a),op_eewbuw0ToL(op_7j4O788W3g(235,a),op_Ikt5ks8PT7(a,198)))

def op_count_dQVgcz9SMU(a):
    count = op_count_iuk5sVOGFA(a)+op_count_BiWNJpBvwn(op_iuk5sVOGFA(a),a)+op_count_7j4O788W3g(235,a)+op_count_Ikt5ks8PT7(a,198)+op_count_eewbuw0ToL(op_7j4O788W3g(235,a),op_Ikt5ks8PT7(a,198))+op_count_9FxExcQeMw(op_BiWNJpBvwn(op_iuk5sVOGFA(a),a),op_eewbuw0ToL(op_7j4O788W3g(235,a),op_Ikt5ks8PT7(a,198)))
    return count


def op_RpH87Eb5yS(a):
    return op_nREPSIbpBE(op_PxpmPgHHJV(a),op_840vADziXz(a))

def op_count_RpH87Eb5yS(a):
    count = op_count_PxpmPgHHJV(a)+op_count_840vADziXz(a)+op_count_nREPSIbpBE(op_PxpmPgHHJV(a),op_840vADziXz(a))
    return count


def op_tKtycZyL6s(a, b):
    if op_4JGOJzXMq1(b,492) == 67:
        return op_ztP7wcbY7m(op_s3Fd5m9Dh2(op_eewbuw0ToL(a,a),op_cTDWOvIxvz(b,b)))
    else:
        return a

def op_count_tKtycZyL6s(a, b):
    if op_4JGOJzXMq1(b,492) == 67:
        count = op_count_eewbuw0ToL(a,a)+op_count_cTDWOvIxvz(b,b)+op_count_s3Fd5m9Dh2(op_eewbuw0ToL(a,a),op_cTDWOvIxvz(b,b))+op_count_ztP7wcbY7m(op_s3Fd5m9Dh2(op_eewbuw0ToL(a,a),op_cTDWOvIxvz(b,b)))+op_count_4JGOJzXMq1(b,492)
    else:
        count = 1
    return count


def op_pCchOQ3ajF(a):
    return op_86A5ENbKR9(op_cWQsF5MvuD(a))

def op_count_pCchOQ3ajF(a):
    count = op_count_cWQsF5MvuD(a)+op_count_86A5ENbKR9(op_cWQsF5MvuD(a))
    return count


def op_aCwnCp9fG4(a, b):
    if a > 119:
        return op_Y7wcNGrDQJ(op_KPf6cnQVty(a,a),a)
    else:
        return op_64EQ39e0fC(op_JoLB3LXqXx(105,325),op_s0IfDFCCuZ(b,b))

def op_count_aCwnCp9fG4(a, b):
    if a > 119:
        count = op_count_KPf6cnQVty(a,a)+op_count_Y7wcNGrDQJ(op_KPf6cnQVty(a,a),a)
    else:
        count = op_count_JoLB3LXqXx(105,325)+op_count_s0IfDFCCuZ(b,b)+op_count_64EQ39e0fC(op_JoLB3LXqXx(105,325),op_s0IfDFCCuZ(b,b))
    return count


def op_ITUoubXGQQ(a, b):
    if b >= 294:
        return op_jfYOP67v6Y(222)
    else:
        return op_g7Hmc5v1ko(b,a)

def op_count_ITUoubXGQQ(a, b):
    if b >= 294:
        count = op_count_jfYOP67v6Y(222)
    else:
        count = op_count_g7Hmc5v1ko(b,a)
    return count