a⨭⩂ = { ((a≅⩀(⫵⋿a))↳∿⪆((⨙⪌a)≒⇠⪇(a∲⪻224))) }

def op_3SBaWxC4D9(a):
    return op_Cw4SuJJGHO(op_STXubeXA6y(a,op_GT5aUJrC8p(a)),op_gYtKeue64A(op_vEGLkm4Z2k(a),op_oS3yjF67M5(a,224)))

def op_count_3SBaWxC4D9(a):
    count = op_count_GT5aUJrC8p(a)+op_count_STXubeXA6y(a,op_GT5aUJrC8p(a))+op_count_vEGLkm4Z2k(a)+op_count_oS3yjF67M5(a,224)+op_count_gYtKeue64A(op_vEGLkm4Z2k(a),op_oS3yjF67M5(a,224))+op_count_Cw4SuJJGHO(op_STXubeXA6y(a,op_GT5aUJrC8p(a)),op_gYtKeue64A(op_vEGLkm4Z2k(a),op_oS3yjF67M5(a,224)))
    return count


def op_T5rNezsHiT(a):
    return op_QmNHwIPJpO(op_zPaCbzxRhG(op_6Dk38mmJ69(a,a)),op_iblNMd5S3q(op_ZUTmHRfELg(a),op_hmRjlYdCYn(a,a)))

def op_count_T5rNezsHiT(a):
    count = op_count_6Dk38mmJ69(a,a)+op_count_zPaCbzxRhG(op_6Dk38mmJ69(a,a))+op_count_ZUTmHRfELg(a)+op_count_hmRjlYdCYn(a,a)+op_count_iblNMd5S3q(op_ZUTmHRfELg(a),op_hmRjlYdCYn(a,a))+op_count_QmNHwIPJpO(op_zPaCbzxRhG(op_6Dk38mmJ69(a,a)),op_iblNMd5S3q(op_ZUTmHRfELg(a),op_hmRjlYdCYn(a,a)))
    return count

ZUTmHRfELg hmRjlYdCYn zPaCbzxRhG 6Dk38mmJ69 QmNHwIPJpO iblNMd5S3q


def op_s1PTdQKy4P(a, b):
    if op_P1t9JI7VYh(b) > 370 or b > 101 or b < 112:
        return op_sHMtVDD4nv(98,a)
    else:
        return op_QILz4EHje6(21)

def op_count_s1PTdQKy4P(a, b):
    if op_P1t9JI7VYh(b) > 370 or b > 101 or b < 112:
        count = op_count_sHMtVDD4nv(98,a)+op_count_P1t9JI7VYh(b)
    else:
        count = op_count_QILz4EHje6(21)
    return count


def op_LwusK5BndA(a):
    if a <= 544 and op_vaH8QgiDVg(a) <= 114:
        return op_5TUYCnJO6w(a)
    else:
        return op_EKLw81v4Z3(a,18)

def op_count_LwusK5BndA(a):
    if a <= 544 and op_vaH8QgiDVg(a) <= 114:
        count = op_count_5TUYCnJO6w(a)+op_count_vaH8QgiDVg(a)
    else:
        count = op_count_EKLw81v4Z3(a,18)
    return count


a⫦⩛b = { (a⪁a) , if b>=64 ; (b∻↫⋴) , else }

def op_eV1zWOyLyD(a, b):
    if b >= 64:
        return op_I7sXao9hZE(a,a)
    else:
        return op_SLlVjUjSRP(b)

def op_count_eV1zWOyLyD(a, b):
    if b >= 64:
        count = op_count_I7sXao9hZE(a,a)
    else:
        count = op_count_SLlVjUjSRP(b)
    return count


def op_G8HAaLWwbX(a):
    return op_ogFgcaYPum(op_BvEEMilsQy(op_5brc6wQHzR(42)),op_ObEyaaML9x(op_z9ffQ9n5Zr(a,a),op_9TWTp1rdMN(38,130)))

def op_count_G8HAaLWwbX(a):
    count = op_count_5brc6wQHzR(42)+op_count_BvEEMilsQy(op_5brc6wQHzR(42))+op_count_z9ffQ9n5Zr(a,a)+op_count_9TWTp1rdMN(38,130)+op_count_ObEyaaML9x(op_z9ffQ9n5Zr(a,a),op_9TWTp1rdMN(38,130))+op_count_ogFgcaYPum(op_BvEEMilsQy(op_5brc6wQHzR(42)),op_ObEyaaML9x(op_z9ffQ9n5Zr(a,a),op_9TWTp1rdMN(38,130)))
    return count


a⨺⩄ = { (⪽↫a) , if a!=4 ; (a⨰↻⪇a) , else }

def op_uN7ISAWc8x(a):
    if a != 4:
        return op_e6fjkqlCWa(a)
    else:
        return op_nbuSfrB4hB(a,a)

def op_count_uN7ISAWc8x(a):
    if a != 4:
        count = op_count_e6fjkqlCWa(a)
    else:
        count = op_count_nbuSfrB4hB(a,a)
    return count


def op_Jhk48AVObL(a):
    return op_oWn0xqSxBt(op_PgomNjGXmI(op_YJnbaRgmQd(a,a),op_EPpVF6AnNM(a)))

def op_count_Jhk48AVObL(a):
    count = op_count_YJnbaRgmQd(a,a)+op_count_EPpVF6AnNM(a)+op_count_PgomNjGXmI(op_YJnbaRgmQd(a,a),op_EPpVF6AnNM(a))+op_count_oWn0xqSxBt(op_PgomNjGXmI(op_YJnbaRgmQd(a,a),op_EPpVF6AnNM(a)))
    return count


⋂↵↷a = { (↴⪽⋼(a⨖⇷a)) , if ((a⇯⋡652)>60 or a==182) ; ((a⨫⇇↔a)⪣⇕⊊(⨎⪎a)) , else }

def op_H0UtCPEIDc(a):
    if (op_iQT509CoFi(a,652) > 60 or a == 182):
        return op_5TUYCnJO6w(op_JoVwyMeNnt(a,a))
    else:
        return op_JuKpg8yQLl(op_LXhwmt4mBO(a,a),op_1M6MJr8P6q(a))

def op_count_H0UtCPEIDc(a):
    if (op_iQT509CoFi(a,652) > 60 or a == 182):
        count = op_count_JoVwyMeNnt(a,a)+op_count_5TUYCnJO6w(op_JoVwyMeNnt(a,a))+op_count_iQT509CoFi(a,652)
    else:
        count = op_count_LXhwmt4mBO(a,a)+op_count_1M6MJr8P6q(a)+op_count_JuKpg8yQLl(op_LXhwmt4mBO(a,a),op_1M6MJr8P6q(a))
    return count


def op_GXTzmLCEuJ(a):
    return op_F5wFo2T9P3(op_yThMLMXdXQ(op_UO1RhPgbnL(a)),op_OLuofHlRCj(op_DkIP5kYgcc(206)))

def op_count_GXTzmLCEuJ(a):
    count = op_count_UO1RhPgbnL(a)+op_count_yThMLMXdXQ(op_UO1RhPgbnL(a))+op_count_DkIP5kYgcc(206)+op_count_OLuofHlRCj(op_DkIP5kYgcc(206))+op_count_F5wFo2T9P3(op_yThMLMXdXQ(op_UO1RhPgbnL(a)),op_OLuofHlRCj(op_DkIP5kYgcc(206)))
    return count


a⋱⪚⪂ = { ((a↱a)⪜a) , if a>47 ; (⇘(a⪭a)) , else }

def op_o9aBQa4rfA(a):
    if a > 47:
        return op_EMR9JvRK8T(op_SR5kFfdi6N(a,a),a)
    else:
        return op_MGuIdZPyUC(op_j9kHMeSvPp(a,a))

def op_count_o9aBQa4rfA(a):
    if a > 47:
        count = op_count_SR5kFfdi6N(a,a)+op_count_EMR9JvRK8T(op_SR5kFfdi6N(a,a),a)
    else:
        count = op_count_j9kHMeSvPp(a,a)+op_count_MGuIdZPyUC(op_j9kHMeSvPp(a,a))
    return count


def op_Cit964xnCU(a):
    return op_E4l6HwMY31(op_AVIuaxj4s4(a),op_0m7WmqJHie(a,420))

def op_count_Cit964xnCU(a):
    count = op_count_AVIuaxj4s4(a)+op_count_0m7WmqJHie(a,420)+op_count_E4l6HwMY31(op_AVIuaxj4s4(a),op_0m7WmqJHie(a,420))
    return count


def op_zd4hshLpIi(a):
    return op_szI9a73H0x(op_xD69zh8xqp(a,a),op_1P5EUR2X7u(510))

def op_count_zd4hshLpIi(a):
    count = op_count_xD69zh8xqp(a,a)+op_count_1P5EUR2X7u(510)+op_count_szI9a73H0x(op_xD69zh8xqp(a,a),op_1P5EUR2X7u(510))
    return count


a≇⩎↤b = { ((b⊬⩎(⪮∩⫾a))⊩⪒∹(a⫩⇠(b⫲≸⪮400))) }

def op_gb4MSIPkm5(a, b):
    return op_4sUNNrBZBC(op_UgHg3ocI1C(b,op_ZLl4PfgIji(a)),op_WebgaPI6Gt(a,op_P3lXMJvFrc(b,400)))

def op_count_gb4MSIPkm5(a, b):
    count = op_count_ZLl4PfgIji(a)+op_count_UgHg3ocI1C(b,op_ZLl4PfgIji(a))+op_count_P3lXMJvFrc(b,400)+op_count_WebgaPI6Gt(a,op_P3lXMJvFrc(b,400))+op_count_4sUNNrBZBC(op_UgHg3ocI1C(b,op_ZLl4PfgIji(a)),op_WebgaPI6Gt(a,op_P3lXMJvFrc(b,400)))
    return count


⋇⊏↤a = { (((a∁⨜⊄)⩒⩯≚(a⩙↭))↦⩻⊓(≒⊥(⫏⊟≊367))) , if (⪽⊔⪾a)!=473 ; (((a⊽⊴a)⨢≆(a⫾⊽a))∗⫦⨲((a↖⨁≎a)⩞⋂(≑⋘a))) , else }

def op_v6sZgv7VMj(a):
    if op_8pEb091Skj(a) != 473:
        return op_kf2MGdd7i0(op_V1brnGXOUL(op_ESJ9zyMYM4(a),op_6w2kgY5mIT(a)),op_bCRMEaRSRZ(op_AdBh5SqlKB(367)))
    else:
        return op_4zhs1Pu9yK(op_qQVdHIwY0K(op_qvKIMln9sx(a,a),op_QunAGeO7fw(a,a)),op_TQtCT2lTQ7(op_EJGWfkvLOs(a,a),op_ancsfN6GXi(a)))

def op_count_v6sZgv7VMj(a):
    if op_8pEb091Skj(a) != 473:
        count = op_count_ESJ9zyMYM4(a)+op_count_6w2kgY5mIT(a)+op_count_V1brnGXOUL(op_ESJ9zyMYM4(a),op_6w2kgY5mIT(a))+op_count_AdBh5SqlKB(367)+op_count_bCRMEaRSRZ(op_AdBh5SqlKB(367))+op_count_kf2MGdd7i0(op_V1brnGXOUL(op_ESJ9zyMYM4(a),op_6w2kgY5mIT(a)),op_bCRMEaRSRZ(op_AdBh5SqlKB(367)))+op_count_8pEb091Skj(a)
    else:
        count = op_count_qvKIMln9sx(a,a)+op_count_QunAGeO7fw(a,a)+op_count_qQVdHIwY0K(op_qvKIMln9sx(a,a),op_QunAGeO7fw(a,a))+op_count_EJGWfkvLOs(a,a)+op_count_ancsfN6GXi(a)+op_count_TQtCT2lTQ7(op_EJGWfkvLOs(a,a),op_ancsfN6GXi(a))+op_count_4zhs1Pu9yK(op_qQVdHIwY0K(op_qvKIMln9sx(a,a),op_QunAGeO7fw(a,a)),op_TQtCT2lTQ7(op_EJGWfkvLOs(a,a),op_ancsfN6GXi(a)))
    return count


⪙↻a = { a , if (∨⫘⊿a)!=144 or (a≔⇨↨21)>544 or a<693 ; (⪺(a∏⫣⩆a)) , else }

def op_JCxl9L1q7S(a):
    if op_qxp9F1VMeC(a) != 144 or op_R2I9eEDuDb(a,21) > 544 or a < 693:
        return a
    else:
        return op_HWsfkPJiI1(op_UuoVKWBu8y(a,a))

def op_count_JCxl9L1q7S(a):
    if op_qxp9F1VMeC(a) != 144 or op_R2I9eEDuDb(a,21) > 544 or a < 693:
        count = 1
    else:
        count = op_count_UuoVKWBu8y(a,a)+op_count_HWsfkPJiI1(op_UuoVKWBu8y(a,a))
    return count


def op_skFBHrSAU9(a, b):
    return op_9eDjlWS7DX(op_H9pKK0i7DW(op_5KTvxBwnZo(b,a)))

def op_count_skFBHrSAU9(a, b):
    count = op_count_5KTvxBwnZo(b,a)+op_count_H9pKK0i7DW(op_5KTvxBwnZo(b,a))+op_count_9eDjlWS7DX(op_H9pKK0i7DW(op_5KTvxBwnZo(b,a)))
    return count


def op_x6t0xEL32W(a):
    return op_Y5cEcQhyKu(op_wgEGFGjsm3(95,a),op_6B9nyZLogK(a))

def op_count_x6t0xEL32W(a):
    count = op_count_wgEGFGjsm3(95,a)+op_count_6B9nyZLogK(a)+op_count_Y5cEcQhyKu(op_wgEGFGjsm3(95,a),op_6B9nyZLogK(a))
    return count


def op_mOjhHwcN2s(a):
    return op_1br6wbZ6yJ(op_obeET8rFtc(op_SIsGfmEsr6(451),op_0nVhjSiHEu(a,210)),op_TyhCdZMmeC(op_AU7eUHalbZ(a,204),op_fkZUW4eOKP(178)))

def op_count_mOjhHwcN2s(a):
    count = op_count_SIsGfmEsr6(451)+op_count_0nVhjSiHEu(a,210)+op_count_obeET8rFtc(op_SIsGfmEsr6(451),op_0nVhjSiHEu(a,210))+op_count_AU7eUHalbZ(a,204)+op_count_fkZUW4eOKP(178)+op_count_TyhCdZMmeC(op_AU7eUHalbZ(a,204),op_fkZUW4eOKP(178))+op_count_1br6wbZ6yJ(op_obeET8rFtc(op_SIsGfmEsr6(451),op_0nVhjSiHEu(a,210)),op_TyhCdZMmeC(op_AU7eUHalbZ(a,204),op_fkZUW4eOKP(178)))
    return count


∬⇨∰a = { (⋔∗(a↕⋲a)) , if (a⋯471)==55 ; ((a⇼⊡⨗)∏) , else }

def op_YpfLyX7qNH(a):
    if op_fYduVokqvF(a,471) == 55:
        return op_YXnvTxWWGl(op_4fBBH5YYk9(a,a))
    else:
        return op_UO1RhPgbnL(op_2XnCokAFCw(a))

def op_count_YpfLyX7qNH(a):
    if op_fYduVokqvF(a,471) == 55:
        count = op_count_4fBBH5YYk9(a,a)+op_count_YXnvTxWWGl(op_4fBBH5YYk9(a,a))+op_count_fYduVokqvF(a,471)
    else:
        count = op_count_2XnCokAFCw(a)+op_count_UO1RhPgbnL(op_2XnCokAFCw(a))
    return count


a≉∤b = { (((595←∉⩵a)⪘⊱⫆(a⪔≤a))⇄⊇⨂((b⩻⩔⋅251)⪦⪊(a∶⨪⊚b))) , if a==51 ; (((b⨽⫍149)⪧⨲(32⫃a))⊈⋜⋼((⋉∇a)≴↼⪶(b≻⇥≳b))) , else }

def op_O5ZupU8PtU(a, b):
    if a == 51:
        return op_diFBhjFx7A(op_YjcqlNuJ4W(op_NOHxjtdlri(595,a),op_dnsoz1tpAU(a,a)),op_DykcjiQqpf(op_CHhZl5C0UC(b,251),op_Fuz0oX5uPW(a,b)))
    else:
        return op_92pAIinIZa(op_ViqgXgeRy8(op_ZMV0W12WVe(b,149),op_jkca4M7ITL(32,a)),op_yUc8DJLAu4(op_AVIuaxj4s4(a),op_aiqF8n6J9c(b,b)))

def op_count_O5ZupU8PtU(a, b):
    if a == 51:
        count = op_count_NOHxjtdlri(595,a)+op_count_dnsoz1tpAU(a,a)+op_count_YjcqlNuJ4W(op_NOHxjtdlri(595,a),op_dnsoz1tpAU(a,a))+op_count_CHhZl5C0UC(b,251)+op_count_Fuz0oX5uPW(a,b)+op_count_DykcjiQqpf(op_CHhZl5C0UC(b,251),op_Fuz0oX5uPW(a,b))+op_count_diFBhjFx7A(op_YjcqlNuJ4W(op_NOHxjtdlri(595,a),op_dnsoz1tpAU(a,a)),op_DykcjiQqpf(op_CHhZl5C0UC(b,251),op_Fuz0oX5uPW(a,b)))
    else:
        count = op_count_ZMV0W12WVe(b,149)+op_count_jkca4M7ITL(32,a)+op_count_ViqgXgeRy8(op_ZMV0W12WVe(b,149),op_jkca4M7ITL(32,a))+op_count_AVIuaxj4s4(a)+op_count_aiqF8n6J9c(b,b)+op_count_yUc8DJLAu4(op_AVIuaxj4s4(a),op_aiqF8n6J9c(b,b))+op_count_92pAIinIZa(op_ViqgXgeRy8(op_ZMV0W12WVe(b,149),op_jkca4M7ITL(32,a)),op_yUc8DJLAu4(op_AVIuaxj4s4(a),op_aiqF8n6J9c(b,b)))
    return count


a≯⫢⨂ = { (a⋚⪻∡a) , if a>=433 ; (⊉↲a) , else }

def op_XfGFoTru51(a):
    if a >= 433:
        return op_aRc3ADMqhx(a,a)
    else:
        return op_fkZUW4eOKP(a)

def op_count_XfGFoTru51(a):
    if a >= 433:
        count = op_count_aRc3ADMqhx(a,a)
    else:
        count = op_count_fkZUW4eOKP(a)
    return count


def op_E1YkKZ1Fov(a):
    return op_YHNvv2eCGw(op_6dy8BCxVp7(op_HBr05eZif0(a,a),op_bJkvcejdHO(a,a)))

def op_count_E1YkKZ1Fov(a):
    count = op_count_HBr05eZif0(a,a)+op_count_bJkvcejdHO(a,a)+op_count_6dy8BCxVp7(op_HBr05eZif0(a,a),op_bJkvcejdHO(a,a))+op_count_YHNvv2eCGw(op_6dy8BCxVp7(op_HBr05eZif0(a,a),op_bJkvcejdHO(a,a)))
    return count


def op_xwLFbgebsO(a):
    return op_ncHt1X6cMc(op_wztAlM01eG(a),op_FSasnAb2iR(95,a))

def op_count_xwLFbgebsO(a):
    count = op_count_wztAlM01eG(a)+op_count_FSasnAb2iR(95,a)+op_count_ncHt1X6cMc(op_wztAlM01eG(a),op_FSasnAb2iR(95,a))
    return count


a⋸∙⫫b = { (((a-⊅≓93)⩹∮(b↳a))⩌⨨⨫((a⫮⋒69)↙↷(→⩰141))) , if b>18 ; (∨⩣⩃b) , else }

def op_x1iAwxLBSJ(a, b):
    if b > 18:
        return op_3QUG3jHDXB(op_HZGlijH19F(op_rs7mXfeuA0(a,93),op_K1uHWJv1IW(b,a)),op_j8STMlMTgO(op_PblpGk9Zbg(a,69),op_o8Pngz0Tml(141)))
    else:
        return op_UqQFc3aWL8(b)

def op_count_x1iAwxLBSJ(a, b):
    if b > 18:
        count = op_count_rs7mXfeuA0(a,93)+op_count_K1uHWJv1IW(b,a)+op_count_HZGlijH19F(op_rs7mXfeuA0(a,93),op_K1uHWJv1IW(b,a))+op_count_PblpGk9Zbg(a,69)+op_count_o8Pngz0Tml(141)+op_count_j8STMlMTgO(op_PblpGk9Zbg(a,69),op_o8Pngz0Tml(141))+op_count_3QUG3jHDXB(op_HZGlijH19F(op_rs7mXfeuA0(a,93),op_K1uHWJv1IW(b,a)),op_j8STMlMTgO(op_PblpGk9Zbg(a,69),op_o8Pngz0Tml(141)))
    else:
        count = op_count_UqQFc3aWL8(b)
    return count


def op_QYAht0UA4x(a, b):
    if op_pC37afr74b(a,405) >= 560:
        return op_dcShxvzhyw(op_7PBHsqWqsw(op_HhERX61e69(a,a)))
    else:
        return op_DowK1ZCM6i(op_M0eZcchmsa(op_8YdTO89gQD(a,43),op_PwiXWqpBTd(a,b)),376)

def op_count_QYAht0UA4x(a, b):
    if op_pC37afr74b(a,405) >= 560:
        count = op_count_HhERX61e69(a,a)+op_count_7PBHsqWqsw(op_HhERX61e69(a,a))+op_count_dcShxvzhyw(op_7PBHsqWqsw(op_HhERX61e69(a,a)))+op_count_pC37afr74b(a,405)
    else:
        count = op_count_8YdTO89gQD(a,43)+op_count_PwiXWqpBTd(a,b)+op_count_M0eZcchmsa(op_8YdTO89gQD(a,43),op_PwiXWqpBTd(a,b))+op_count_DowK1ZCM6i(op_M0eZcchmsa(op_8YdTO89gQD(a,43),op_PwiXWqpBTd(a,b)),376)
    return count


def op_mDkOnwatbM(a):
    return op_I7sXao9hZE(a,a)

def op_count_mDkOnwatbM(a):
    count = op_count_I7sXao9hZE(a,a)
    return count


def op_OJ0jXJ1E9C(a):
    return op_ZkTErvSsVl(op_AcOhelriW5(a),a)

def op_count_OJ0jXJ1E9C(a):
    count = op_count_AcOhelriW5(a)+op_count_ZkTErvSsVl(op_AcOhelriW5(a),a)
    return count


def op_5kqsALhs9O(a):
    return op_V0kx6qeWkN(a,a)

def op_count_5kqsALhs9O(a):
    count = op_count_V0kx6qeWkN(a,a)
    return count


def op_AchO3c88jS(a):
    return op_1ABctC9S11(a,a)

def op_count_AchO3c88jS(a):
    count = op_count_1ABctC9S11(a,a)
    return count


def op_namGwJWDgA(a):
    return op_lFBm8KRb8F(op_8ue8uZX9oj(a))

def op_count_namGwJWDgA(a):
    count = op_count_8ue8uZX9oj(a)+op_count_lFBm8KRb8F(op_8ue8uZX9oj(a))
    return count


def op_HoQJGHBAQx(a, b):
    return op_Bg9zIMXgOw(374,op_RuDLcD2ZjY(op_q5ANYLE8fX(b),op_aF6wdyjNOF(550,a)))

def op_count_HoQJGHBAQx(a, b):
    count = op_count_q5ANYLE8fX(b)+op_count_aF6wdyjNOF(550,a)+op_count_RuDLcD2ZjY(op_q5ANYLE8fX(b),op_aF6wdyjNOF(550,a))+op_count_Bg9zIMXgOw(374,op_RuDLcD2ZjY(op_q5ANYLE8fX(b),op_aF6wdyjNOF(550,a)))
    return count


def op_WagXJ2sTWr(a):
    return op_Ts0S8GkAKQ(op_UHmRx3INFg(a),op_hfHSvYrndO(a,115))

def op_count_WagXJ2sTWr(a):
    count = op_count_UHmRx3INFg(a)+op_count_hfHSvYrndO(a,115)+op_count_Ts0S8GkAKQ(op_UHmRx3INFg(a),op_hfHSvYrndO(a,115))
    return count


a⩰≬∖ = { (((a↜↔⇀113)⨫⪾a)⇿⋘⫿((⨦⩛632)⩃⋣≅(a≥⨤⩑a))) }

def op_wFExKQ4qWc(a):
    return op_3pxRWyOFEM(op_wPLLFAbfZL(op_RXUpafmlG7(a,113),a),op_wkGOHkejlq(op_am5vEDSDTs(632),op_gJLn6v0xnP(a,a)))

def op_count_wFExKQ4qWc(a):
    count = op_count_RXUpafmlG7(a,113)+op_count_wPLLFAbfZL(op_RXUpafmlG7(a,113),a)+op_count_am5vEDSDTs(632)+op_count_gJLn6v0xnP(a,a)+op_count_wkGOHkejlq(op_am5vEDSDTs(632),op_gJLn6v0xnP(a,a))+op_count_3pxRWyOFEM(op_wPLLFAbfZL(op_RXUpafmlG7(a,113),a),op_wkGOHkejlq(op_am5vEDSDTs(632),op_gJLn6v0xnP(a,a)))
    return count


def op_RcQdMDmGJq(a):
    return op_chVjXdrG4d(op_bvEbpGYZ1Q(a,22),op_NIS2NZpoyR(a,a))

def op_count_RcQdMDmGJq(a):
    count = op_count_bvEbpGYZ1Q(a,22)+op_count_NIS2NZpoyR(a,a)+op_count_chVjXdrG4d(op_bvEbpGYZ1Q(a,22),op_NIS2NZpoyR(a,a))
    return count


a⇩∅⋛b = { (((b∭)⫡⫢(a⊏⋾a))⨡⨢(⩆↑⇝(617↤⩊a))) }

def op_Mbeio8QqvD(a, b):
    return op_2uSCGYIjKJ(op_rDggvnkF54(op_qLBMy5fcJr(b),op_wtqezVTTBR(a,a)),op_FAUHmXADzM(op_13rbtpv6ld(617,a)))

def op_count_Mbeio8QqvD(a, b):
    count = op_count_qLBMy5fcJr(b)+op_count_wtqezVTTBR(a,a)+op_count_rDggvnkF54(op_qLBMy5fcJr(b),op_wtqezVTTBR(a,a))+op_count_13rbtpv6ld(617,a)+op_count_FAUHmXADzM(op_13rbtpv6ld(617,a))+op_count_2uSCGYIjKJ(op_rDggvnkF54(op_qLBMy5fcJr(b),op_wtqezVTTBR(a,a)),op_FAUHmXADzM(op_13rbtpv6ld(617,a)))
    return count


def op_HxeoSFeqDz(a):
    return op_uPE9uA7DVi(op_1iU1QMvKk5(op_fkEnnR20LD(248),op_ImZOYqi0FL(a)))

def op_count_HxeoSFeqDz(a):
    count = op_count_fkEnnR20LD(248)+op_count_ImZOYqi0FL(a)+op_count_1iU1QMvKk5(op_fkEnnR20LD(248),op_ImZOYqi0FL(a))+op_count_uPE9uA7DVi(op_1iU1QMvKk5(op_fkEnnR20LD(248),op_ImZOYqi0FL(a)))
    return count


def op_MM78xdfiWQ(a):
    return op_FtzCMUsONU(a,8)

def op_count_MM78xdfiWQ(a):
    count = op_count_FtzCMUsONU(a,8)
    return count


def op_ysnSFUaBxB(a):
    return op_S3tN1ZzpSt(op_KYD54nUTWz(a,a),op_rppWNvNsyJ(a))

def op_count_ysnSFUaBxB(a):
    count = op_count_KYD54nUTWz(a,a)+op_count_rppWNvNsyJ(a)+op_count_S3tN1ZzpSt(op_KYD54nUTWz(a,a),op_rppWNvNsyJ(a))
    return count


def op_gXsxDUJvJn(a):
    return op_xstYv8reHl(op_wkGOHkejlq(a,a))

def op_count_gXsxDUJvJn(a):
    count = op_count_wkGOHkejlq(a,a)+op_count_xstYv8reHl(op_wkGOHkejlq(a,a))
    return count


def op_mRM1ryO8j1(a):
    return op_G1NSauL6xc(op_irfPbDV6Fp(a,op_sCuAmwvnJW(a)))

def op_count_mRM1ryO8j1(a):
    count = op_count_sCuAmwvnJW(a)+op_count_irfPbDV6Fp(a,op_sCuAmwvnJW(a))+op_count_G1NSauL6xc(op_irfPbDV6Fp(a,op_sCuAmwvnJW(a)))
    return count


def op_KO5PmQhKSV(a, b):
    return op_ONgMwLM7Hk(op_pdYExVicxf(b,a),a)

def op_count_KO5PmQhKSV(a, b):
    count = op_count_pdYExVicxf(b,a)+op_count_ONgMwLM7Hk(op_pdYExVicxf(b,a),a)
    return count


def op_XEcuiTd5C0(a):
    return op_uFPyJr306J(op_oavCpV4SmN(a,a))

def op_count_XEcuiTd5C0(a):
    count = op_count_oavCpV4SmN(a,a)+op_count_uFPyJr306J(op_oavCpV4SmN(a,a))
    return count


def op_z4dkQ1ktUr(a):
    return op_L07OSbUHmY(op_CWxo83c3q6(a,351))

def op_count_z4dkQ1ktUr(a):
    count = op_count_CWxo83c3q6(a,351)+op_count_L07OSbUHmY(op_CWxo83c3q6(a,351))
    return count


⫮≄≯a = { (((≰≘⪭a)⨗⇋⨽(a≳⇉a))⫍∯(≅⋶⇹(a≜))) }

def op_STTT905DeF(a):
    return op_7L96h23J1a(op_rwFLrzFFpG(op_wVM5sXXMr1(a),op_V0kx6qeWkN(a,a)),op_HeMnLyugZY(op_jvbZP6NeOL(a)))

def op_count_STTT905DeF(a):
    count = op_count_wVM5sXXMr1(a)+op_count_V0kx6qeWkN(a,a)+op_count_rwFLrzFFpG(op_wVM5sXXMr1(a),op_V0kx6qeWkN(a,a))+op_count_jvbZP6NeOL(a)+op_count_HeMnLyugZY(op_jvbZP6NeOL(a))+op_count_7L96h23J1a(op_rwFLrzFFpG(op_wVM5sXXMr1(a),op_V0kx6qeWkN(a,a)),op_HeMnLyugZY(op_jvbZP6NeOL(a)))
    return count


def op_33iyAmSC81(a):
    return op_jJY68xoYNq(129,op_HHyZ9Jp3JQ(op_A0R0hrgyGo(a,a),op_Dxm0Pjg1g3(a)))

def op_count_33iyAmSC81(a):
    count = op_count_A0R0hrgyGo(a,a)+op_count_Dxm0Pjg1g3(a)+op_count_HHyZ9Jp3JQ(op_A0R0hrgyGo(a,a),op_Dxm0Pjg1g3(a))+op_count_jJY68xoYNq(129,op_HHyZ9Jp3JQ(op_A0R0hrgyGo(a,a),op_Dxm0Pjg1g3(a)))
    return count


def op_bvfGSu68aY(a):
    return op_VIMCZ0TE5t(op_eftAHwPbeA(op_lFBm8KRb8F(a)),op_glklzrTFfD(op_26t0tba44r(a)))

def op_count_bvfGSu68aY(a):
    count = op_count_lFBm8KRb8F(a)+op_count_eftAHwPbeA(op_lFBm8KRb8F(a))+op_count_26t0tba44r(a)+op_count_glklzrTFfD(op_26t0tba44r(a))+op_count_VIMCZ0TE5t(op_eftAHwPbeA(op_lFBm8KRb8F(a)),op_glklzrTFfD(op_26t0tba44r(a)))
    return count


def op_IJv2jhVv9v(a):
    return op_uc8QQvMjnT(108,a)

def op_count_IJv2jhVv9v(a):
    count = op_count_uc8QQvMjnT(108,a)
    return count


def op_DMuX0lvxVH(a):
    return op_slHE12z0pD(op_QZUd2qjpcJ(a,a))

def op_count_DMuX0lvxVH(a):
    count = op_count_QZUd2qjpcJ(a,a)+op_count_slHE12z0pD(op_QZUd2qjpcJ(a,a))
    return count


⋍⇫⪻a = { (((∶⩡a)≒⩱(a⩲⩺240))↔⫤⩊((a≎⪠976)⨒↵(a⨑⩅≇a))) }

def op_SyF92qKS8Y(a):
    return op_bBEzQ2IhFN(op_BXBuq9lyFC(op_gAFkdPcyl3(a),op_aL9MTwpInd(a,240)),op_4F2d8NdGA5(op_aNhz54LH3e(a,976),op_h92wMvzauj(a,a)))

def op_count_SyF92qKS8Y(a):
    count = op_count_gAFkdPcyl3(a)+op_count_aL9MTwpInd(a,240)+op_count_BXBuq9lyFC(op_gAFkdPcyl3(a),op_aL9MTwpInd(a,240))+op_count_aNhz54LH3e(a,976)+op_count_h92wMvzauj(a,a)+op_count_4F2d8NdGA5(op_aNhz54LH3e(a,976),op_h92wMvzauj(a,a))+op_count_bBEzQ2IhFN(op_BXBuq9lyFC(op_gAFkdPcyl3(a),op_aL9MTwpInd(a,240)),op_4F2d8NdGA5(op_aNhz54LH3e(a,976),op_h92wMvzauj(a,a)))
    return count


def op_KCLvpwdZVE(a, b):
    return op_oS3yjF67M5(op_UO1RhPgbnL(b),op_AHs5Up7iyr(a,a))

def op_count_KCLvpwdZVE(a, b):
    count = op_count_UO1RhPgbnL(b)+op_count_AHs5Up7iyr(a,a)+op_count_oS3yjF67M5(op_UO1RhPgbnL(b),op_AHs5Up7iyr(a,a))
    return count


def op_OuoBIDUEa2(a, b):
    return op_Yokc098djA(op_wL68723Mti(op_5UdJKhy29U(a,a),op_Q3PJZHRvZv(b)))

def op_count_OuoBIDUEa2(a, b):
    count = op_count_5UdJKhy29U(a,a)+op_count_Q3PJZHRvZv(b)+op_count_wL68723Mti(op_5UdJKhy29U(a,a),op_Q3PJZHRvZv(b))+op_count_Yokc098djA(op_wL68723Mti(op_5UdJKhy29U(a,a),op_Q3PJZHRvZv(b)))
    return count


def op_JuqKEoU6tV(a):
    return op_weFp838rcz(op_EOlQWVzPou(a,a))

def op_count_JuqKEoU6tV(a):
    count = op_count_EOlQWVzPou(a,a)+op_count_weFp838rcz(op_EOlQWVzPou(a,a))
    return count


def op_Ozos15nwY0(a):
    return op_GR0zR6W24O(op_rGHVDoGpnC(a,a))

def op_count_Ozos15nwY0(a):
    count = op_count_rGHVDoGpnC(a,a)+op_count_GR0zR6W24O(op_rGHVDoGpnC(a,a))
    return count


def op_IGSFgj1axz(a, b):
    return op_eVHdItn4YL(op_LDvJLkMovV(op_iZahWpvE1f(a),op_DSSXvJAOg7(a,b)))

def op_count_IGSFgj1axz(a, b):
    count = op_count_iZahWpvE1f(a)+op_count_DSSXvJAOg7(a,b)+op_count_LDvJLkMovV(op_iZahWpvE1f(a),op_DSSXvJAOg7(a,b))+op_count_eVHdItn4YL(op_LDvJLkMovV(op_iZahWpvE1f(a),op_DSSXvJAOg7(a,b)))
    return count


def op_2WC08ehEDf(a):
    return op_DSSXvJAOg7(a,13)

def op_count_2WC08ehEDf(a):
    count = op_count_DSSXvJAOg7(a,13)
    return count


def op_ntjss91BEp(a):
    return op_uvdQJvN4PV(op_shbpov9XXO(335,a),op_Asc51vEJeQ(a))

def op_count_ntjss91BEp(a):
    count = op_count_shbpov9XXO(335,a)+op_count_Asc51vEJeQ(a)+op_count_uvdQJvN4PV(op_shbpov9XXO(335,a),op_Asc51vEJeQ(a))
    return count


a∱⩇b = { (((b⨄≾⊅a)⨌⫂(a⪟b))∓⨐↟(≮⨆(518⋢⪬⨗a))) }

def op_WQp7drKHjU(a, b):
    return op_pICi4oG5sS(op_WvhSX4Tttm(op_2FtUKenEIE(b,a),op_tqmm8txHHJ(a,b)),op_hl4Calylxn(op_JDc8ysv6vp(518,a)))

def op_count_WQp7drKHjU(a, b):
    count = op_count_2FtUKenEIE(b,a)+op_count_tqmm8txHHJ(a,b)+op_count_WvhSX4Tttm(op_2FtUKenEIE(b,a),op_tqmm8txHHJ(a,b))+op_count_JDc8ysv6vp(518,a)+op_count_hl4Calylxn(op_JDc8ysv6vp(518,a))+op_count_pICi4oG5sS(op_WvhSX4Tttm(op_2FtUKenEIE(b,a),op_tqmm8txHHJ(a,b)),op_hl4Calylxn(op_JDc8ysv6vp(518,a)))
    return count


a⩯⫪⋯b = { (((a⩇∃⫛a)⋘⇝⩳(a∐⪡a))⪲⨢((b↤⩊b)⋷(a↻b))) }

def op_eNnYzM0FzH(a, b):
    return op_6iafYuwGo8(op_E1o5MFdtNP(op_1aApVXNlOP(a,a),op_F5wFo2T9P3(a,a)),op_23Mk6UjR3U(op_13rbtpv6ld(b,b),op_XFunts32PM(a,b)))

def op_count_eNnYzM0FzH(a, b):
    count = op_count_1aApVXNlOP(a,a)+op_count_F5wFo2T9P3(a,a)+op_count_E1o5MFdtNP(op_1aApVXNlOP(a,a),op_F5wFo2T9P3(a,a))+op_count_13rbtpv6ld(b,b)+op_count_XFunts32PM(a,b)+op_count_23Mk6UjR3U(op_13rbtpv6ld(b,b),op_XFunts32PM(a,b))+op_count_6iafYuwGo8(op_E1o5MFdtNP(op_1aApVXNlOP(a,a),op_F5wFo2T9P3(a,a)),op_23Mk6UjR3U(op_13rbtpv6ld(b,b),op_XFunts32PM(a,b)))
    return count


def op_ZTJQ1ydIWA(a, b):
    return op_EaccxuysW0(op_NNiFiUKbm3(op_UMwdvZNt44(53,136),op_obeET8rFtc(a,b)),a)

def op_count_ZTJQ1ydIWA(a, b):
    count = op_count_UMwdvZNt44(53,136)+op_count_obeET8rFtc(a,b)+op_count_NNiFiUKbm3(op_UMwdvZNt44(53,136),op_obeET8rFtc(a,b))+op_count_EaccxuysW0(op_NNiFiUKbm3(op_UMwdvZNt44(53,136),op_obeET8rFtc(a,b)),a)
    return count


def op_S6Pqtx5KhT(a):
    return op_DyGG3AbaNP(a,op_d5CHQX7ZoG(a,a))

def op_count_S6Pqtx5KhT(a):
    count = op_count_d5CHQX7ZoG(a,a)+op_count_DyGG3AbaNP(a,op_d5CHQX7ZoG(a,a))
    return count


a⊦⨇b = { (((a↾⇦)↙↷(⫵⫔⨜a))⩀↣(b⊎⇸⪗(a∤⪤∞a))) }

def op_xu3hcfAPQ0(a, b):
    return op_OstGYNawjH(op_j8STMlMTgO(op_H9RETCE9fR(a),op_g3rbULXGjt(a)),op_zvDfsYxbno(b,op_uoTFhueqY9(a,a)))

def op_count_xu3hcfAPQ0(a, b):
    count = op_count_H9RETCE9fR(a)+op_count_g3rbULXGjt(a)+op_count_j8STMlMTgO(op_H9RETCE9fR(a),op_g3rbULXGjt(a))+op_count_uoTFhueqY9(a,a)+op_count_zvDfsYxbno(b,op_uoTFhueqY9(a,a))+op_count_OstGYNawjH(op_j8STMlMTgO(op_H9RETCE9fR(a),op_g3rbULXGjt(a)),op_zvDfsYxbno(b,op_uoTFhueqY9(a,a)))
    return count


def op_7uz4lquy7C(a):
    return op_p8rocv1ccI(op_QKXs96F9fN(op_LcYGXG2KuG(a,a)),op_HhERX61e69(a,op_9dWsAM3GFt(a)))

def op_count_7uz4lquy7C(a):
    count = op_count_LcYGXG2KuG(a,a)+op_count_QKXs96F9fN(op_LcYGXG2KuG(a,a))+op_count_9dWsAM3GFt(a)+op_count_HhERX61e69(a,op_9dWsAM3GFt(a))+op_count_p8rocv1ccI(op_QKXs96F9fN(op_LcYGXG2KuG(a,a)),op_HhERX61e69(a,op_9dWsAM3GFt(a)))
    return count


def op_QPtUWVhZ23(a):
    return op_HYT61O2rBh(362,a)

def op_count_QPtUWVhZ23(a):
    count = op_count_HYT61O2rBh(362,a)
    return count


def op_ztWgJSU0Hl(a):
    return op_6QRagP0gnj(op_FFb7DDTmUH(op_jkca4M7ITL(271,265),op_oqoWAMqwIq(473,a)),op_tmPS8pqC7x(op_gZaJvPXt7R(a),a))

def op_count_ztWgJSU0Hl(a):
    count = op_count_jkca4M7ITL(271,265)+op_count_oqoWAMqwIq(473,a)+op_count_FFb7DDTmUH(op_jkca4M7ITL(271,265),op_oqoWAMqwIq(473,a))+op_count_gZaJvPXt7R(a)+op_count_tmPS8pqC7x(op_gZaJvPXt7R(a),a)+op_count_6QRagP0gnj(op_FFb7DDTmUH(op_jkca4M7ITL(271,265),op_oqoWAMqwIq(473,a)),op_tmPS8pqC7x(op_gZaJvPXt7R(a),a))
    return count


def op_Kqwp5UHG2l(a):
    return op_J0M6qkBnIM(op_zqXLmTvkkA(192),a)

def op_count_Kqwp5UHG2l(a):
    count = op_count_zqXLmTvkkA(192)+op_count_J0M6qkBnIM(op_zqXLmTvkkA(192),a)
    return count


⇁⩹⩏a = { (((a⇿⋘⫿122)⊔∻⩳(⊬⨌a))⩻((a⋤≔⊹a)⇖⋍(a⊢⊞a))) }

def op_3aiViBuVTQ(a):
    return op_dMSKA4bw4h(op_JhYyHjCUKx(op_3pxRWyOFEM(a,122),op_q5ANYLE8fX(a)),op_GQS1ilwEGl(op_Vc5rgziU3z(a,a),op_IOQom0VbAc(a,a)))

def op_count_3aiViBuVTQ(a):
    count = op_count_3pxRWyOFEM(a,122)+op_count_q5ANYLE8fX(a)+op_count_JhYyHjCUKx(op_3pxRWyOFEM(a,122),op_q5ANYLE8fX(a))+op_count_Vc5rgziU3z(a,a)+op_count_IOQom0VbAc(a,a)+op_count_GQS1ilwEGl(op_Vc5rgziU3z(a,a),op_IOQom0VbAc(a,a))+op_count_dMSKA4bw4h(op_JhYyHjCUKx(op_3pxRWyOFEM(a,122),op_q5ANYLE8fX(a)),op_GQS1ilwEGl(op_Vc5rgziU3z(a,a),op_IOQom0VbAc(a,a)))
    return count


def op_dOXw3z8HNR(a):
    return op_iI58LvO9D4(op_wkGOHkejlq(op_lJ0NnniDH7(a,a),a))

def op_count_dOXw3z8HNR(a):
    count = op_count_lJ0NnniDH7(a,a)+op_count_wkGOHkejlq(op_lJ0NnniDH7(a,a),a)+op_count_iI58LvO9D4(op_wkGOHkejlq(op_lJ0NnniDH7(a,a),a))
    return count


def op_9BcbTQ8Xhy(a):
    return op_MkFge0F0HF(op_3tVxb0NHM4(a,a),op_DlLNRPXxWL(a))

def op_count_9BcbTQ8Xhy(a):
    count = op_count_3tVxb0NHM4(a,a)+op_count_DlLNRPXxWL(a)+op_count_MkFge0F0HF(op_3tVxb0NHM4(a,a),op_DlLNRPXxWL(a))
    return count


def op_ID1mdqGU0D(a, b):
    return op_oCumtb3mAM(op_B7jD7820sf(a,a),op_2rNkuxh6vz(b,38))

def op_count_ID1mdqGU0D(a, b):
    count = op_count_B7jD7820sf(a,a)+op_count_2rNkuxh6vz(b,38)+op_count_oCumtb3mAM(op_B7jD7820sf(a,a),op_2rNkuxh6vz(b,38))
    return count


def op_J2jHkbahUp(a):
    return op_VIMCZ0TE5t(op_7RpQvro3M9(op_VOsMRMKId5(170,a)),op_YpfLyX7qNH(op_qtJLMuGoc3(a)))

def op_count_J2jHkbahUp(a):
    count = op_count_VOsMRMKId5(170,a)+op_count_7RpQvro3M9(op_VOsMRMKId5(170,a))+op_count_qtJLMuGoc3(a)+op_count_YpfLyX7qNH(op_qtJLMuGoc3(a))+op_count_VIMCZ0TE5t(op_7RpQvro3M9(op_VOsMRMKId5(170,a)),op_YpfLyX7qNH(op_qtJLMuGoc3(a)))
    return count


def op_Su065FLPC6(a):
    return op_hmRjlYdCYn(op_B8fOXEboqQ(op_pdGYp7HkH3(a,a),a),op_McFCC4mpHm(op_HYT61O2rBh(a,50)))

def op_count_Su065FLPC6(a):
    count = op_count_pdGYp7HkH3(a,a)+op_count_B8fOXEboqQ(op_pdGYp7HkH3(a,a),a)+op_count_HYT61O2rBh(a,50)+op_count_McFCC4mpHm(op_HYT61O2rBh(a,50))+op_count_hmRjlYdCYn(op_B8fOXEboqQ(op_pdGYp7HkH3(a,a),a),op_McFCC4mpHm(op_HYT61O2rBh(a,50)))
    return count


a⩅⇟b = { (((300∃⪵⋊b)↙⋥8)⊈⋜⋼((a⨍⩬⨌a)⫢⇘∝(⇺⋃b))) }

def op_0pHOk6ZRbk(a, b):
    return op_92pAIinIZa(op_k5AdHc7A76(op_qlV96dKO86(300,b),8),op_4TVzEgIAOW(op_5EuqP1ofBQ(a,a),op_E5v5B3UAjG(b)))

def op_count_0pHOk6ZRbk(a, b):
    count = op_count_qlV96dKO86(300,b)+op_count_k5AdHc7A76(op_qlV96dKO86(300,b),8)+op_count_5EuqP1ofBQ(a,a)+op_count_E5v5B3UAjG(b)+op_count_4TVzEgIAOW(op_5EuqP1ofBQ(a,a),op_E5v5B3UAjG(b))+op_count_92pAIinIZa(op_k5AdHc7A76(op_qlV96dKO86(300,b),8),op_4TVzEgIAOW(op_5EuqP1ofBQ(a,a),op_E5v5B3UAjG(b)))
    return count


def op_d9uCMlVk64(a):
    return op_4KgMg3eWY3(a,op_vXNesLlMH1(a,a))

def op_count_d9uCMlVk64(a):
    count = op_count_vXNesLlMH1(a,a)+op_count_4KgMg3eWY3(a,op_vXNesLlMH1(a,a))
    return count


def op_UDdVrkOA2g(a):
    return op_HIQX0yGik5(op_E5v5B3UAjG(113),a)

def op_count_UDdVrkOA2g(a):
    count = op_count_E5v5B3UAjG(113)+op_count_HIQX0yGik5(op_E5v5B3UAjG(113),a)
    return count


def op_q880SJUtZT(a):
    return op_TPY4Vhd24N(op_FbfjV67I2U(a),op_tXD093vOjl(a,a))

def op_count_q880SJUtZT(a):
    count = op_count_FbfjV67I2U(a)+op_count_tXD093vOjl(a,a)+op_count_TPY4Vhd24N(op_FbfjV67I2U(a),op_tXD093vOjl(a,a))
    return count


def op_uS4y6YwZVw(a, b):
    return op_p97BeOkDlu(op_slHE12z0pD(58),op_XVG3v5SdcH(a,b))

def op_count_uS4y6YwZVw(a, b):
    count = op_count_slHE12z0pD(58)+op_count_XVG3v5SdcH(a,b)+op_count_p97BeOkDlu(op_slHE12z0pD(58),op_XVG3v5SdcH(a,b))
    return count


def op_RPjiVv6BsV(a, b):
    return op_Ag0vDIXuSH(op_TmG8KjKJBC(b),op_ZbtZ49kJld(a))

def op_count_RPjiVv6BsV(a, b):
    count = op_count_TmG8KjKJBC(b)+op_count_ZbtZ49kJld(a)+op_count_Ag0vDIXuSH(op_TmG8KjKJBC(b),op_ZbtZ49kJld(a))
    return count


def op_vdTSmCy0tJ(a):
    return op_oCumtb3mAM(op_fRgCzqsvkF(a,a),op_wI2AJjpGii(59))

def op_count_vdTSmCy0tJ(a):
    count = op_count_fRgCzqsvkF(a,a)+op_count_wI2AJjpGii(59)+op_count_oCumtb3mAM(op_fRgCzqsvkF(a,a),op_wI2AJjpGii(59))
    return count


a⋓⩕⫬ = { ((a⪳↔⩚(⪳⫟⩤a))∳⩒⨭) }

def op_Q8zjhX1Czf(a):
    return op_AnY7RRqJK6(op_y7KeNMshhR(a,op_Mwm3sDJixD(a)))

def op_count_Q8zjhX1Czf(a):
    count = op_count_Mwm3sDJixD(a)+op_count_y7KeNMshhR(a,op_Mwm3sDJixD(a))+op_count_AnY7RRqJK6(op_y7KeNMshhR(a,op_Mwm3sDJixD(a)))
    return count


def op_q3VlQbBKVV(a):
    return op_V3iCuOQqPj(op_R0S15rJART(op_otB5Ew3TfZ(a)))

def op_count_q3VlQbBKVV(a):
    count = op_count_otB5Ew3TfZ(a)+op_count_R0S15rJART(op_otB5Ew3TfZ(a))+op_count_V3iCuOQqPj(op_R0S15rJART(op_otB5Ew3TfZ(a)))
    return count


def op_U2cN3Apxxx(a, b):
    return op_d5CHQX7ZoG(op_hl4Calylxn(a),op_kfSGLR5n54(b,b))

def op_count_U2cN3Apxxx(a, b):
    count = op_count_hl4Calylxn(a)+op_count_kfSGLR5n54(b,b)+op_count_d5CHQX7ZoG(op_hl4Calylxn(a),op_kfSGLR5n54(b,b))
    return count


def op_Jn8CSEwNtw(a):
    return op_aNhz54LH3e(a,a)

def op_count_Jn8CSEwNtw(a):
    count = op_count_aNhz54LH3e(a,a)
    return count


def op_ujMzoYT6XW(a):
    return op_SVb2v531z1(op_rs7mXfeuA0(a,a))

def op_count_ujMzoYT6XW(a):
    count = op_count_rs7mXfeuA0(a,a)+op_count_SVb2v531z1(op_rs7mXfeuA0(a,a))
    return count


def op_IlJn0u55zA(a):
    return op_CoMdbyAt7R(op_KoHHRSveB1(op_6VMWzqt8x7(a,613),op_l455cbmnc3(112,a)))

def op_count_IlJn0u55zA(a):
    count = op_count_6VMWzqt8x7(a,613)+op_count_l455cbmnc3(112,a)+op_count_KoHHRSveB1(op_6VMWzqt8x7(a,613),op_l455cbmnc3(112,a))+op_count_CoMdbyAt7R(op_KoHHRSveB1(op_6VMWzqt8x7(a,613),op_l455cbmnc3(112,a)))
    return count


a⋚⨥ = { (((↽∬a)⫚⫙(a⋈a))⇧⇶((a⩟⇡∉)⫮⨰(26⋂⩴a))) }

def op_Ji7KdMxnP0(a):
    return op_bI8wFiTsE3(op_q4xkxdBt2f(op_ZbtZ49kJld(a),op_nDybdB13Ph(a,a)),op_DHBAteFHNm(op_WNaY3fvy77(a),op_hmlrMsD2PO(26,a)))

def op_count_Ji7KdMxnP0(a):
    count = op_count_ZbtZ49kJld(a)+op_count_nDybdB13Ph(a,a)+op_count_q4xkxdBt2f(op_ZbtZ49kJld(a),op_nDybdB13Ph(a,a))+op_count_WNaY3fvy77(a)+op_count_hmlrMsD2PO(26,a)+op_count_DHBAteFHNm(op_WNaY3fvy77(a),op_hmlrMsD2PO(26,a))+op_count_bI8wFiTsE3(op_q4xkxdBt2f(op_ZbtZ49kJld(a),op_nDybdB13Ph(a,a)),op_DHBAteFHNm(op_WNaY3fvy77(a),op_hmlrMsD2PO(26,a)))
    return count


a⫑⊫⋒ = { (((↓⇌a)⋟⨱(⨴⫝a))⨿⫔⇻((⇀⇞a)⇌⋚⋨a)) }

def op_CUzstRtQtU(a):
    return op_ybzGjeuHHu(op_lN5Hu1ptA5(op_PxpmPgHHJV(a),op_SVb2v531z1(a)),op_pnTMXmORKi(op_vjoXiXDdkX(a),a))

def op_count_CUzstRtQtU(a):
    count = op_count_PxpmPgHHJV(a)+op_count_SVb2v531z1(a)+op_count_lN5Hu1ptA5(op_PxpmPgHHJV(a),op_SVb2v531z1(a))+op_count_vjoXiXDdkX(a)+op_count_pnTMXmORKi(op_vjoXiXDdkX(a),a)+op_count_ybzGjeuHHu(op_lN5Hu1ptA5(op_PxpmPgHHJV(a),op_SVb2v531z1(a)),op_pnTMXmORKi(op_vjoXiXDdkX(a),a))
    return count

PxpmPgHHJV lN5Hu1ptA5 SVb2v531z1 pnTMXmORKi ybzGjeuHHu vjoXiXDdkX


def op_rq7xJpWrKJ(a, b):
    return op_xUx7qlDO4z(op_NQx0zRYggH(op_pdYExVicxf(a,b),op_qm6tduIrUg(b)))

def op_count_rq7xJpWrKJ(a, b):
    count = op_count_pdYExVicxf(a,b)+op_count_qm6tduIrUg(b)+op_count_NQx0zRYggH(op_pdYExVicxf(a,b),op_qm6tduIrUg(b))+op_count_xUx7qlDO4z(op_NQx0zRYggH(op_pdYExVicxf(a,b),op_qm6tduIrUg(b)))
    return count


def op_lSCkOWYtyQ(a):
    return op_7JbuLsbBtx(op_Lctt7tVaRL(574,a),op_irfPbDV6Fp(a,a))

def op_count_lSCkOWYtyQ(a):
    count = op_count_Lctt7tVaRL(574,a)+op_count_irfPbDV6Fp(a,a)+op_count_7JbuLsbBtx(op_Lctt7tVaRL(574,a),op_irfPbDV6Fp(a,a))
    return count


def op_teoqfJgsD3(a):
    return op_O6EZ0fifGK(op_WeVnYaDh1n(op_cKCqOL6IAt(a),a))

def op_count_teoqfJgsD3(a):
    count = op_count_cKCqOL6IAt(a)+op_count_WeVnYaDh1n(op_cKCqOL6IAt(a),a)+op_count_O6EZ0fifGK(op_WeVnYaDh1n(op_cKCqOL6IAt(a),a))
    return count


def op_1T8bUglxjK(a):
    return op_uFPyJr306J(op_CfxG4j8dfZ(a,a))

def op_count_1T8bUglxjK(a):
    count = op_count_CfxG4j8dfZ(a,a)+op_count_uFPyJr306J(op_CfxG4j8dfZ(a,a))
    return count


∡⊑⩕a = { (((⇜a)∋⩥(a↙a))⩿≚(⫉⪹(51⨚⋹%a))) }

def op_Y6i81hhEUF(a):
    return op_1iZxVsDXN9(op_TFsFOLEWTU(op_lFBm8KRb8F(a),op_yyfyN0ffXY(a,a)),op_y0NDXUJ6bi(op_kl8g1HIl1s(51,a)))

def op_count_Y6i81hhEUF(a):
    count = op_count_lFBm8KRb8F(a)+op_count_yyfyN0ffXY(a,a)+op_count_TFsFOLEWTU(op_lFBm8KRb8F(a),op_yyfyN0ffXY(a,a))+op_count_kl8g1HIl1s(51,a)+op_count_y0NDXUJ6bi(op_kl8g1HIl1s(51,a))+op_count_1iZxVsDXN9(op_TFsFOLEWTU(op_lFBm8KRb8F(a),op_yyfyN0ffXY(a,a)),op_y0NDXUJ6bi(op_kl8g1HIl1s(51,a)))
    return count


def op_SHvpbamPDG(a):
    return op_ckHj138N5r(op_CpSg5vQTgA(650),op_xSk1F0pZbF(a,a))

def op_count_SHvpbamPDG(a):
    count = op_count_CpSg5vQTgA(650)+op_count_xSk1F0pZbF(a,a)+op_count_ckHj138N5r(op_CpSg5vQTgA(650),op_xSk1F0pZbF(a,a))
    return count


⊻⋑a = { (((a⊬⊩∢a)⫥∨⫟(a⊮⊟↴a))⪉⩕↠((⪗⇀a)↙⨬⋜(a↷≑⨪a))) }

def op_AQrZELecoi(a):
    return op_chJOjhVmaW(op_KYD54nUTWz(op_0hEPAaAg8C(a,a),op_QDVgd2eftb(a,a)),op_UlBlWmOBXm(op_705C7djen7(a),op_CBnJ9lhpOp(a,a)))

def op_count_AQrZELecoi(a):
    count = op_count_0hEPAaAg8C(a,a)+op_count_QDVgd2eftb(a,a)+op_count_KYD54nUTWz(op_0hEPAaAg8C(a,a),op_QDVgd2eftb(a,a))+op_count_705C7djen7(a)+op_count_CBnJ9lhpOp(a,a)+op_count_UlBlWmOBXm(op_705C7djen7(a),op_CBnJ9lhpOp(a,a))+op_count_chJOjhVmaW(op_KYD54nUTWz(op_0hEPAaAg8C(a,a),op_QDVgd2eftb(a,a)),op_UlBlWmOBXm(op_705C7djen7(a),op_CBnJ9lhpOp(a,a)))
    return count


a⨦⪥⪐ = { (((a⇱⇎⩗a)↙↷(⫿⨺a))⇋↽⋤((a⇫⨙a)⇝↝⩳(a⩉))) }

def op_BrrwWPaTKd(a):
    return op_3K1YInASmv(op_j8STMlMTgO(op_DSSXvJAOg7(a,a),op_mmv5UHiqV1(a)),op_4d38oB9bqe(op_5hfPSBHW5r(a,a),op_jDTlsx2lFv(a)))

def op_count_BrrwWPaTKd(a):
    count = op_count_DSSXvJAOg7(a,a)+op_count_mmv5UHiqV1(a)+op_count_j8STMlMTgO(op_DSSXvJAOg7(a,a),op_mmv5UHiqV1(a))+op_count_5hfPSBHW5r(a,a)+op_count_jDTlsx2lFv(a)+op_count_4d38oB9bqe(op_5hfPSBHW5r(a,a),op_jDTlsx2lFv(a))+op_count_3K1YInASmv(op_j8STMlMTgO(op_DSSXvJAOg7(a,a),op_mmv5UHiqV1(a)),op_4d38oB9bqe(op_5hfPSBHW5r(a,a),op_jDTlsx2lFv(a)))
    return count


⨟↮↫a = { (((256⇶⪪↳a)∀↜↬(a⨜⨶a))≃⫏⫷((⨸↜⫚579)⊱)) }

def op_oOKF4w5nuq(a):
    return op_CRQ1bbymjI(op_AU0wYOqMdg(op_yO0Pz5QMfn(256,a),op_HiPekx5b7W(a,a)),op_783zoCpM6g(op_eEYTvGKSWy(579)))

def op_count_oOKF4w5nuq(a):
    count = op_count_yO0Pz5QMfn(256,a)+op_count_HiPekx5b7W(a,a)+op_count_AU0wYOqMdg(op_yO0Pz5QMfn(256,a),op_HiPekx5b7W(a,a))+op_count_eEYTvGKSWy(579)+op_count_783zoCpM6g(op_eEYTvGKSWy(579))+op_count_CRQ1bbymjI(op_AU0wYOqMdg(op_yO0Pz5QMfn(256,a),op_HiPekx5b7W(a,a)),op_783zoCpM6g(op_eEYTvGKSWy(579)))
    return count


def op_piI9MZsuS9(a):
    return op_q5ANYLE8fX(op_Dh8yhYQk7S(op_NjTKcMbAv0(a,a),op_GaQLcZwlqT(a)))

def op_count_piI9MZsuS9(a):
    count = op_count_NjTKcMbAv0(a,a)+op_count_GaQLcZwlqT(a)+op_count_Dh8yhYQk7S(op_NjTKcMbAv0(a,a),op_GaQLcZwlqT(a))+op_count_q5ANYLE8fX(op_Dh8yhYQk7S(op_NjTKcMbAv0(a,a),op_GaQLcZwlqT(a)))
    return count


def op_Q9Zr1KO7mB(a):
    return op_yIPP7u6H5x(op_mFxXOjnZkL(a,a))

def op_count_Q9Zr1KO7mB(a):
    count = op_count_mFxXOjnZkL(a,a)+op_count_yIPP7u6H5x(op_mFxXOjnZkL(a,a))
    return count


def op_oGFKVj26dB(a, b):
    return op_I6rCAT91Kg(op_pC37afr74b(b,774),op_PdXgBgzzRn(a))

def op_count_oGFKVj26dB(a, b):
    count = op_count_pC37afr74b(b,774)+op_count_PdXgBgzzRn(a)+op_count_I6rCAT91Kg(op_pC37afr74b(b,774),op_PdXgBgzzRn(a))
    return count


def op_BKPc90dX1U(a):
    return op_tXD093vOjl(a,a)

def op_count_BKPc90dX1U(a):
    count = op_count_tXD093vOjl(a,a)
    return count


def op_W8ZHN4iMNa(a):
    return op_vhomQbQnbp(op_aA7tF3KVD3(a),op_DSSXvJAOg7(449,a))

def op_count_W8ZHN4iMNa(a):
    count = op_count_aA7tF3KVD3(a)+op_count_DSSXvJAOg7(449,a)+op_count_vhomQbQnbp(op_aA7tF3KVD3(a),op_DSSXvJAOg7(449,a))
    return count


def op_zF0Nhdilqs(a, b):
    return op_q5ANYLE8fX(op_dbaoL9ubd4(op_PoHhknlbAi(467,b),op_4bCQTR7McV(b,a)))

def op_count_zF0Nhdilqs(a, b):
    count = op_count_PoHhknlbAi(467,b)+op_count_4bCQTR7McV(b,a)+op_count_dbaoL9ubd4(op_PoHhknlbAi(467,b),op_4bCQTR7McV(b,a))+op_count_q5ANYLE8fX(op_dbaoL9ubd4(op_PoHhknlbAi(467,b),op_4bCQTR7McV(b,a)))
    return count


⊍⊉a = { ((⇵⪽(a⇸⋑≛a))⇌∀((⩴850)⇵(a∯⇉⩚a))) }

def op_7I9wGcgl6g(a):
    return op_XONPy1BCje(op_ZGCBLdVRRX(op_JhscMtXp41(a,a)),op_kVSeQakJeK(op_4YvEnb44Dc(850),op_GyQA6DdueM(a,a)))

def op_count_7I9wGcgl6g(a):
    count = op_count_JhscMtXp41(a,a)+op_count_ZGCBLdVRRX(op_JhscMtXp41(a,a))+op_count_4YvEnb44Dc(850)+op_count_GyQA6DdueM(a,a)+op_count_kVSeQakJeK(op_4YvEnb44Dc(850),op_GyQA6DdueM(a,a))+op_count_XONPy1BCje(op_ZGCBLdVRRX(op_JhscMtXp41(a,a)),op_kVSeQakJeK(op_4YvEnb44Dc(850),op_GyQA6DdueM(a,a)))
    return count


def op_uy4JgIBwhy(a):
    return op_KYD54nUTWz(183,a)

def op_count_uy4JgIBwhy(a):
    count = op_count_KYD54nUTWz(183,a)
    return count


def op_Rq6gVzLDy1(a):
    return op_AHs5Up7iyr(a,a)

def op_count_Rq6gVzLDy1(a):
    count = op_count_AHs5Up7iyr(a,a)
    return count


def op_WhkTWWvFeL(a):
    return op_NIS2NZpoyR(a,a)

def op_count_WhkTWWvFeL(a):
    count = op_count_NIS2NZpoyR(a,a)
    return count


def op_KTgTH3UQYZ(a, b):
    return op_gBAN53NepD(op_0k3LXBuut5(op_r2SrZsyW6O(b,a)))

def op_count_KTgTH3UQYZ(a, b):
    count = op_count_r2SrZsyW6O(b,a)+op_count_0k3LXBuut5(op_r2SrZsyW6O(b,a))+op_count_gBAN53NepD(op_0k3LXBuut5(op_r2SrZsyW6O(b,a)))
    return count


def op_n45BCcfuFx(a):
    return op_vXNesLlMH1(op_GaQLcZwlqT(a),op_rAeLvhpKas(12))

def op_count_n45BCcfuFx(a):
    count = op_count_GaQLcZwlqT(a)+op_count_rAeLvhpKas(12)+op_count_vXNesLlMH1(op_GaQLcZwlqT(a),op_rAeLvhpKas(12))
    return count


def op_kQasn8BPIn(a):
    return op_k1SHOSEABc(op_R1Mr340Wyc(a),op_vtwaKXoaUm(a))

def op_count_kQasn8BPIn(a):
    count = op_count_R1Mr340Wyc(a)+op_count_vtwaKXoaUm(a)+op_count_k1SHOSEABc(op_R1Mr340Wyc(a),op_vtwaKXoaUm(a))
    return count


def op_Hvd49AZ9ZD(a):
    return op_9Ttzl7CrDT(a,op_Mwm3sDJixD(a))

def op_count_Hvd49AZ9ZD(a):
    count = op_count_Mwm3sDJixD(a)+op_count_9Ttzl7CrDT(a,op_Mwm3sDJixD(a))
    return count


a⇓⨪⫘b = { (((⊀⊁a)⨎⋅(b⩈b))⋹⋡⊁(⊫⊒(a⫏b))) }

def op_t6Uc7nrtoK(a, b):
    return op_As8RqfVLgs(op_hMGfXo4m8J(op_HYvONbgwEr(a),op_XHowTFVwyi(b,b)),op_4YeRG329uO(op_uQ5MaQD2YO(a,b)))

def op_count_t6Uc7nrtoK(a, b):
    count = op_count_HYvONbgwEr(a)+op_count_XHowTFVwyi(b,b)+op_count_hMGfXo4m8J(op_HYvONbgwEr(a),op_XHowTFVwyi(b,b))+op_count_uQ5MaQD2YO(a,b)+op_count_4YeRG329uO(op_uQ5MaQD2YO(a,b))+op_count_As8RqfVLgs(op_hMGfXo4m8J(op_HYvONbgwEr(a),op_XHowTFVwyi(b,b)),op_4YeRG329uO(op_uQ5MaQD2YO(a,b)))
    return count


a↤⊓b = { ((b∋⪕⋐(b≡⋹⩃))⋶⊲≀((a⪓⇍a)⊸⫯⇥(b⫹⋆196))) }

def op_RFiGLI6Xh7(a, b):
    return op_i3ul2XJdZx(op_qCin6ZH1or(b,op_gLpgCFl5iX(b)),op_gl20KYyMkJ(op_wxIwlBkOAg(a,a),op_mvkfbmF2ZK(b,196)))

def op_count_RFiGLI6Xh7(a, b):
    count = op_count_gLpgCFl5iX(b)+op_count_qCin6ZH1or(b,op_gLpgCFl5iX(b))+op_count_wxIwlBkOAg(a,a)+op_count_mvkfbmF2ZK(b,196)+op_count_gl20KYyMkJ(op_wxIwlBkOAg(a,a),op_mvkfbmF2ZK(b,196))+op_count_i3ul2XJdZx(op_qCin6ZH1or(b,op_gLpgCFl5iX(b)),op_gl20KYyMkJ(op_wxIwlBkOAg(a,a),op_mvkfbmF2ZK(b,196)))
    return count


⊱⩍↰a = { ((⇵⪽(a⩥↟a))⩸≁⊂((a%⨜⩩a)≃≵≟(912∯⇉⩚a))) }

def op_AfpBHGfrtl(a):
    return op_xLaAF9S2uD(op_ZGCBLdVRRX(op_1iwIZY9iMy(a,a)),op_095JLJYYv3(op_1RHGetuw8g(a,a),op_GyQA6DdueM(912,a)))

def op_count_AfpBHGfrtl(a):
    count = op_count_1iwIZY9iMy(a,a)+op_count_ZGCBLdVRRX(op_1iwIZY9iMy(a,a))+op_count_1RHGetuw8g(a,a)+op_count_GyQA6DdueM(912,a)+op_count_095JLJYYv3(op_1RHGetuw8g(a,a),op_GyQA6DdueM(912,a))+op_count_xLaAF9S2uD(op_ZGCBLdVRRX(op_1iwIZY9iMy(a,a)),op_095JLJYYv3(op_1RHGetuw8g(a,a),op_GyQA6DdueM(912,a)))
    return count


def op_FXrMyEdUt8(a):
    return op_23xwPsBFjE(op_rmBUALaj1e(op_13rbtpv6ld(a,a)))

def op_count_FXrMyEdUt8(a):
    count = op_count_13rbtpv6ld(a,a)+op_count_rmBUALaj1e(op_13rbtpv6ld(a,a))+op_count_23xwPsBFjE(op_rmBUALaj1e(op_13rbtpv6ld(a,a)))
    return count


def op_I5F5lFzvY5(a):
    return op_GXvETGfcjc(op_M0Gz8A1nx3(a,399),op_W9R8I5fN5A(158))

def op_count_I5F5lFzvY5(a):
    count = op_count_M0Gz8A1nx3(a,399)+op_count_W9R8I5fN5A(158)+op_count_GXvETGfcjc(op_M0Gz8A1nx3(a,399),op_W9R8I5fN5A(158))
    return count


def op_MpHUcOsBqM(a, b):
    return op_RxT7DRsJUJ(op_JxwMv5le6e(b,a))

def op_count_MpHUcOsBqM(a, b):
    count = op_count_JxwMv5le6e(b,a)+op_count_RxT7DRsJUJ(op_JxwMv5le6e(b,a))
    return count


def op_z1O53zkudj(a):
    return op_Q8Thw7a1vL(op_HTmwGS9Ecj(a),op_WAegT8i1n4(689,a))

def op_count_z1O53zkudj(a):
    count = op_count_HTmwGS9Ecj(a)+op_count_WAegT8i1n4(689,a)+op_count_Q8Thw7a1vL(op_HTmwGS9Ecj(a),op_WAegT8i1n4(689,a))
    return count


def op_F3aO7eiOQU(a, b):
    return op_kXpzAH9jno(op_2XnCokAFCw(a),op_AHs5Up7iyr(b,b))

def op_count_F3aO7eiOQU(a, b):
    count = op_count_2XnCokAFCw(a)+op_count_AHs5Up7iyr(b,b)+op_count_kXpzAH9jno(op_2XnCokAFCw(a),op_AHs5Up7iyr(b,b))
    return count


def op_wA3gV8LhBv(a):
    return op_HgknbBBPDn(a,a)

def op_count_wA3gV8LhBv(a):
    count = op_count_HgknbBBPDn(a,a)
    return count


def op_2wDCdOTKdI(a):
    return op_zH3mEP4fZ2(op_HE4cl7szIj(a),op_ONgMwLM7Hk(13,346))

def op_count_2wDCdOTKdI(a):
    count = op_count_HE4cl7szIj(a)+op_count_ONgMwLM7Hk(13,346)+op_count_zH3mEP4fZ2(op_HE4cl7szIj(a),op_ONgMwLM7Hk(13,346))
    return count


def op_ejZiOdRb0x(a):
    return op_rGHVDoGpnC(a,a)

def op_count_ejZiOdRb0x(a):
    count = op_count_rGHVDoGpnC(a,a)
    return count


def op_vpBRTVLkwZ(a):
    return op_qYpz2WEVq4(op_yIPP7u6H5x(op_5WBlwMsBj2(216,a)),op_GH46DaXZxO(op_crEXoaJzxs(186,a),op_K22rD7vRpP(213,a)))

def op_count_vpBRTVLkwZ(a):
    count = op_count_5WBlwMsBj2(216,a)+op_count_yIPP7u6H5x(op_5WBlwMsBj2(216,a))+op_count_crEXoaJzxs(186,a)+op_count_K22rD7vRpP(213,a)+op_count_GH46DaXZxO(op_crEXoaJzxs(186,a),op_K22rD7vRpP(213,a))+op_count_qYpz2WEVq4(op_yIPP7u6H5x(op_5WBlwMsBj2(216,a)),op_GH46DaXZxO(op_crEXoaJzxs(186,a),op_K22rD7vRpP(213,a)))
    return count


def op_KIopX6cfS2(a):
    return op_wn2p5E80x1(op_sLSVf26GuY(a,a),op_l8UfvtpCFJ(472))

def op_count_KIopX6cfS2(a):
    count = op_count_sLSVf26GuY(a,a)+op_count_l8UfvtpCFJ(472)+op_count_wn2p5E80x1(op_sLSVf26GuY(a,a),op_l8UfvtpCFJ(472))
    return count


def op_jWzJCXARK0(a):
    return op_pdOSkNoazV(op_3DWXHa4XRG(a),op_HTmwGS9Ecj(a))

def op_count_jWzJCXARK0(a):
    count = op_count_3DWXHa4XRG(a)+op_count_HTmwGS9Ecj(a)+op_count_pdOSkNoazV(op_3DWXHa4XRG(a),op_HTmwGS9Ecj(a))
    return count


a⩋⩅⨞b = { (((241⊵⪳a)⨙⪞(b⫭⋕b))⋨⋃⪿((⫥⋿b)⊺)) }

def op_Qw7mSNJyu0(a, b):
    return op_sCOsY8Na4j(op_NIS2NZpoyR(op_Tu8JGuLDXg(241,a),op_d23X9ho1m8(b,b)),op_wff9HZunSZ(op_QVLtFdL5M6(b)))

def op_count_Qw7mSNJyu0(a, b):
    count = op_count_Tu8JGuLDXg(241,a)+op_count_d23X9ho1m8(b,b)+op_count_NIS2NZpoyR(op_Tu8JGuLDXg(241,a),op_d23X9ho1m8(b,b))+op_count_QVLtFdL5M6(b)+op_count_wff9HZunSZ(op_QVLtFdL5M6(b))+op_count_sCOsY8Na4j(op_NIS2NZpoyR(op_Tu8JGuLDXg(241,a),op_d23X9ho1m8(b,b)),op_wff9HZunSZ(op_QVLtFdL5M6(b)))
    return count


def op_9gGsbY1Ja1(a):
    return op_kMgNLpsPAE(a,117)

def op_count_9gGsbY1Ja1(a):
    count = op_count_kMgNLpsPAE(a,117)
    return count


def op_xecFjhARWK(a, b):
    return op_uPE9uA7DVi(op_7QJ18pq9jF(op_hkd0AjIQJB(302,a),op_m3Wy7lzjrX(50,b)))

def op_count_xecFjhARWK(a, b):
    count = op_count_hkd0AjIQJB(302,a)+op_count_m3Wy7lzjrX(50,b)+op_count_7QJ18pq9jF(op_hkd0AjIQJB(302,a),op_m3Wy7lzjrX(50,b))+op_count_uPE9uA7DVi(op_7QJ18pq9jF(op_hkd0AjIQJB(302,a),op_m3Wy7lzjrX(50,b)))
    return count


def op_xwp89WRdoK(a):
    return op_qtJLMuGoc3(op_U7g4x0WXJJ(a,a))

def op_count_xwp89WRdoK(a):
    count = op_count_U7g4x0WXJJ(a,a)+op_count_qtJLMuGoc3(op_U7g4x0WXJJ(a,a))
    return count


def op_5J9asQK9rj(a):
    return op_fu6greOZ01(a,11)

def op_count_5J9asQK9rj(a):
    count = op_count_fu6greOZ01(a,11)
    return count


def op_ZEUDJTK6fc(a):
    return op_S6anzDtGf9(op_e78ZTXR2yC(20,a),op_ONgMwLM7Hk(133,a))

def op_count_ZEUDJTK6fc(a):
    count = op_count_e78ZTXR2yC(20,a)+op_count_ONgMwLM7Hk(133,a)+op_count_S6anzDtGf9(op_e78ZTXR2yC(20,a),op_ONgMwLM7Hk(133,a))
    return count


def op_Ve7thSRCbP(a):
    return op_DyGG3AbaNP(624,a)

def op_count_Ve7thSRCbP(a):
    count = op_count_DyGG3AbaNP(624,a)
    return count


⫳≵a = { (((a⩓a)⊱)≴⫳((a⨝⫢⪶a)⊈⋜⋼(a⨥⫆a))) }

def op_mIByi70pvL(a):
    return op_JOesmJVzrd(op_783zoCpM6g(op_ZkTErvSsVl(a,a)),op_92pAIinIZa(op_4mpOrSB7Kf(a,a),op_yXekIHxTD4(a,a)))

def op_count_mIByi70pvL(a):
    count = op_count_ZkTErvSsVl(a,a)+op_count_783zoCpM6g(op_ZkTErvSsVl(a,a))+op_count_4mpOrSB7Kf(a,a)+op_count_yXekIHxTD4(a,a)+op_count_92pAIinIZa(op_4mpOrSB7Kf(a,a),op_yXekIHxTD4(a,a))+op_count_JOesmJVzrd(op_783zoCpM6g(op_ZkTErvSsVl(a,a)),op_92pAIinIZa(op_4mpOrSB7Kf(a,a),op_yXekIHxTD4(a,a)))
    return count


def op_TdoYcZUKP4(a, b):
    return op_EOlQWVzPou(b,op_lDk9nVpGHI(41,a))

def op_count_TdoYcZUKP4(a, b):
    count = op_count_lDk9nVpGHI(41,a)+op_count_EOlQWVzPou(b,op_lDk9nVpGHI(41,a))
    return count


def op_5eHmPLMqFW(a):
    return op_kUYI0el8wS(op_2Rh8CLvBI7(a),op_13rbtpv6ld(85,a))

def op_count_5eHmPLMqFW(a):
    count = op_count_2Rh8CLvBI7(a)+op_count_13rbtpv6ld(85,a)+op_count_kUYI0el8wS(op_2Rh8CLvBI7(a),op_13rbtpv6ld(85,a))
    return count


a⋣⊃≣b = { (((a⫻≒b)⨐⩸⫘(⪗⇀a))≟∷((b⫩⇠a)⪔≩⫊(264⊇⩗a))) }

def op_xEfbKbElwD(a, b):
    return op_W0tbZCD3my(op_fu6greOZ01(op_xcNeQXzqmV(a,b),op_705C7djen7(a)),op_KG0EK6K0uq(op_WebgaPI6Gt(b,a),op_spjyGLfBHX(264,a)))

def op_count_xEfbKbElwD(a, b):
    count = op_count_xcNeQXzqmV(a,b)+op_count_705C7djen7(a)+op_count_fu6greOZ01(op_xcNeQXzqmV(a,b),op_705C7djen7(a))+op_count_WebgaPI6Gt(b,a)+op_count_spjyGLfBHX(264,a)+op_count_KG0EK6K0uq(op_WebgaPI6Gt(b,a),op_spjyGLfBHX(264,a))+op_count_W0tbZCD3my(op_fu6greOZ01(op_xcNeQXzqmV(a,b),op_705C7djen7(a)),op_KG0EK6K0uq(op_WebgaPI6Gt(b,a),op_spjyGLfBHX(264,a)))
    return count


def op_frPcg8B8ey(a):
    return op_6Dk38mmJ69(op_diFBhjFx7A(op_ExT1EayJM6(a,a),op_7tsVghrNr2(a,a)),op_g55IO6H4Gj(op_otB5Ew3TfZ(630),op_W48l78wIbG(a,54)))

def op_count_frPcg8B8ey(a):
    count = op_count_ExT1EayJM6(a,a)+op_count_7tsVghrNr2(a,a)+op_count_diFBhjFx7A(op_ExT1EayJM6(a,a),op_7tsVghrNr2(a,a))+op_count_otB5Ew3TfZ(630)+op_count_W48l78wIbG(a,54)+op_count_g55IO6H4Gj(op_otB5Ew3TfZ(630),op_W48l78wIbG(a,54))+op_count_6Dk38mmJ69(op_diFBhjFx7A(op_ExT1EayJM6(a,a),op_7tsVghrNr2(a,a)),op_g55IO6H4Gj(op_otB5Ew3TfZ(630),op_W48l78wIbG(a,54)))
    return count


def op_jqTYfFQzdx(a):
    return op_6BFomJzHVX(op_p4CNbMj2Cz(a,a),op_0k3LXBuut5(a))

def op_count_jqTYfFQzdx(a):
    count = op_count_p4CNbMj2Cz(a,a)+op_count_0k3LXBuut5(a)+op_count_6BFomJzHVX(op_p4CNbMj2Cz(a,a),op_0k3LXBuut5(a))
    return count


def op_GNFKHmMo22(a, b):
    return op_hzNl2ELaCM(op_cdhuHqUAn3(a,b))

def op_count_GNFKHmMo22(a, b):
    count = op_count_cdhuHqUAn3(a,b)+op_count_hzNl2ELaCM(op_cdhuHqUAn3(a,b))
    return count


def op_Sci4aeBW9u(a):
    return op_jLVBUR7r3z(op_Asc51vEJeQ(a))

def op_count_Sci4aeBW9u(a):
    count = op_count_Asc51vEJeQ(a)+op_count_jLVBUR7r3z(op_Asc51vEJeQ(a))
    return count


a⪚⊠ = { (((↽∬a)↽↬(a≔⪤a))⇐*∿((a≶⩢↻a)⊛⋬⋔(a∫⩸a))) }

def op_CzQJ02IopM(a):
    return op_IjpNKm0C6p(op_7QYZIzcNPK(op_ZbtZ49kJld(a),op_hz148dRmk5(a,a)),op_WvLrLe1sfH(op_FivK695Inb(a,a),op_OpIL6DGFIM(a,a)))

def op_count_CzQJ02IopM(a):
    count = op_count_ZbtZ49kJld(a)+op_count_hz148dRmk5(a,a)+op_count_7QYZIzcNPK(op_ZbtZ49kJld(a),op_hz148dRmk5(a,a))+op_count_FivK695Inb(a,a)+op_count_OpIL6DGFIM(a,a)+op_count_WvLrLe1sfH(op_FivK695Inb(a,a),op_OpIL6DGFIM(a,a))+op_count_IjpNKm0C6p(op_7QYZIzcNPK(op_ZbtZ49kJld(a),op_hz148dRmk5(a,a)),op_WvLrLe1sfH(op_FivK695Inb(a,a),op_OpIL6DGFIM(a,a)))
    return count


⫂⪊a = { (((a↚)⪌∱(⪵∐⩓a))⋕⩇⊠((308⊐⪢≴a)⇏⩵⨆(a⩔⋺∉a))) }

def op_FxMnZB5tzV(a):
    return op_zcfNHCZcQb(op_DpPZRr4xWX(op_FpZEcu9gEh(a),op_O7TnP5W6K9(a)),op_GH46DaXZxO(op_aXwoIQj555(308,a),op_fH6KmAs7VO(a,a)))

def op_count_FxMnZB5tzV(a):
    count = op_count_FpZEcu9gEh(a)+op_count_O7TnP5W6K9(a)+op_count_DpPZRr4xWX(op_FpZEcu9gEh(a),op_O7TnP5W6K9(a))+op_count_aXwoIQj555(308,a)+op_count_fH6KmAs7VO(a,a)+op_count_GH46DaXZxO(op_aXwoIQj555(308,a),op_fH6KmAs7VO(a,a))+op_count_zcfNHCZcQb(op_DpPZRr4xWX(op_FpZEcu9gEh(a),op_O7TnP5W6K9(a)),op_GH46DaXZxO(op_aXwoIQj555(308,a),op_fH6KmAs7VO(a,a)))
    return count


def op_zbijNP6Ck0(a):
    return op_SVb2v531z1(op_PwiXWqpBTd(op_1P5EUR2X7u(a),op_JuxRK6KqNU(a,a)))

def op_count_zbijNP6Ck0(a):
    count = op_count_1P5EUR2X7u(a)+op_count_JuxRK6KqNU(a,a)+op_count_PwiXWqpBTd(op_1P5EUR2X7u(a),op_JuxRK6KqNU(a,a))+op_count_SVb2v531z1(op_PwiXWqpBTd(op_1P5EUR2X7u(a),op_JuxRK6KqNU(a,a)))
    return count


def op_S21rqX2YVK(a):
    return op_rrgAzCduG9(a,51)

def op_count_S21rqX2YVK(a):
    count = op_count_rrgAzCduG9(a,51)
    return count


def op_PHvOUAEE9l(a):
    return op_9dWsAM3GFt(op_gpjLwCVqUY(a,82))

def op_count_PHvOUAEE9l(a):
    count = op_count_gpjLwCVqUY(a,82)+op_count_9dWsAM3GFt(op_gpjLwCVqUY(a,82))
    return count


def op_WtVHUQ0bzk(a):
    return op_WjjFUEefTk(op_nLYMGWM7L8(a))

def op_count_WtVHUQ0bzk(a):
    count = op_count_nLYMGWM7L8(a)+op_count_WjjFUEefTk(op_nLYMGWM7L8(a))
    return count


def op_58gFHZifUC(a, b):
    return op_X0mktiqhyx(op_rGHVDoGpnC(op_dbaoL9ubd4(a,b),op_PmR7WuS4AT(209,a)))

def op_count_58gFHZifUC(a, b):
    count = op_count_dbaoL9ubd4(a,b)+op_count_PmR7WuS4AT(209,a)+op_count_rGHVDoGpnC(op_dbaoL9ubd4(a,b),op_PmR7WuS4AT(209,a))+op_count_X0mktiqhyx(op_rGHVDoGpnC(op_dbaoL9ubd4(a,b),op_PmR7WuS4AT(209,a)))
    return count


def op_iDkzpr3xYT(a):
    return op_13rbtpv6ld(278,a)

def op_count_iDkzpr3xYT(a):
    count = op_count_13rbtpv6ld(278,a)
    return count


def op_bpEqH9bIwc(a):
    return op_pABnYW3G3E(op_OlS1syIyuj(a,a))

def op_count_bpEqH9bIwc(a):
    count = op_count_OlS1syIyuj(a,a)+op_count_pABnYW3G3E(op_OlS1syIyuj(a,a))
    return count


def op_LwdzWonbYs(a):
    return op_wkGOHkejlq(op_Px089qlpp0(op_5e3ejKfaG8(21,a),op_o9aZmLR5oB(a,a)),op_q4LUFz6CpC(a))

def op_count_LwdzWonbYs(a):
    count = op_count_5e3ejKfaG8(21,a)+op_count_o9aZmLR5oB(a,a)+op_count_Px089qlpp0(op_5e3ejKfaG8(21,a),op_o9aZmLR5oB(a,a))+op_count_q4LUFz6CpC(a)+op_count_wkGOHkejlq(op_Px089qlpp0(op_5e3ejKfaG8(21,a),op_o9aZmLR5oB(a,a)),op_q4LUFz6CpC(a))
    return count


≎≽⩬a = { (((a⫪⩳⇋a)⫬⪵⪛)⋝⋈⪟((a⩃⫫⩌117)⊂⇲(a⪧⨲850))) }

def op_eHgMTvJigA(a):
    return op_2DDjHMKMc0(op_yLUgxHAXp2(op_irfPbDV6Fp(a,a)),op_QBXDJ7vvjN(op_ac6OB0jBIj(a,117),op_ViqgXgeRy8(a,850)))

def op_count_eHgMTvJigA(a):
    count = op_count_irfPbDV6Fp(a,a)+op_count_yLUgxHAXp2(op_irfPbDV6Fp(a,a))+op_count_ac6OB0jBIj(a,117)+op_count_ViqgXgeRy8(a,850)+op_count_QBXDJ7vvjN(op_ac6OB0jBIj(a,117),op_ViqgXgeRy8(a,850))+op_count_2DDjHMKMc0(op_yLUgxHAXp2(op_irfPbDV6Fp(a,a)),op_QBXDJ7vvjN(op_ac6OB0jBIj(a,117),op_ViqgXgeRy8(a,850)))
    return count


def op_bsjKDZlCiq(a):
    return op_whU4MbSDDh(op_ZGCBLdVRRX(a),op_PxRhXGhMrj(a))

def op_count_bsjKDZlCiq(a):
    count = op_count_ZGCBLdVRRX(a)+op_count_PxRhXGhMrj(a)+op_count_whU4MbSDDh(op_ZGCBLdVRRX(a),op_PxRhXGhMrj(a))
    return count


def op_BxBOsLIbst(a):
    return op_QiR2Oyf5Xj(op_L4QKcwJRKF(a,a))

def op_count_BxBOsLIbst(a):
    count = op_count_L4QKcwJRKF(a,a)+op_count_QiR2Oyf5Xj(op_L4QKcwJRKF(a,a))
    return count


def op_biapNcUfoJ(a):
    return op_CCipZfT0qU(op_qtJLMuGoc3(a))

def op_count_biapNcUfoJ(a):
    count = op_count_qtJLMuGoc3(a)+op_count_CCipZfT0qU(op_qtJLMuGoc3(a))
    return count


def op_qL5nPF9Rrf(a, b):
    return op_xUx7qlDO4z(op_3K1YInASmv(a,b))

def op_count_qL5nPF9Rrf(a, b):
    count = op_count_3K1YInASmv(a,b)+op_count_xUx7qlDO4z(op_3K1YInASmv(a,b))
    return count


def op_fI2wvvCsHG(a, b):
    return op_Toewqs8END(op_fu6greOZ01(a,b),op_Kqt6I3psp8(a))

def op_count_fI2wvvCsHG(a, b):
    count = op_count_fu6greOZ01(a,b)+op_count_Kqt6I3psp8(a)+op_count_Toewqs8END(op_fu6greOZ01(a,b),op_Kqt6I3psp8(a))
    return count


def op_RaEu8ZqWSb(a):
    return op_HYT61O2rBh(a,a)

def op_count_RaEu8ZqWSb(a):
    count = op_count_HYT61O2rBh(a,a)
    return count


⋔⊌↨a = { (((a⊝)⩉⊫⨁)∵∄⫽((146⪯⋊a)≫≋⊱(a∹⪑∌))) }

def op_xnYrdMmGY8(a):
    return op_vJL9zW01lR(op_7qqUquhhSb(op_O6EZ0fifGK(a)),op_qVQ2UlSx0b(op_lNZWPMt3he(146,a),op_rWc7knECwY(a)))

def op_count_xnYrdMmGY8(a):
    count = op_count_O6EZ0fifGK(a)+op_count_7qqUquhhSb(op_O6EZ0fifGK(a))+op_count_lNZWPMt3he(146,a)+op_count_rWc7knECwY(a)+op_count_qVQ2UlSx0b(op_lNZWPMt3he(146,a),op_rWc7knECwY(a))+op_count_vJL9zW01lR(op_7qqUquhhSb(op_O6EZ0fifGK(a)),op_qVQ2UlSx0b(op_lNZWPMt3he(146,a),op_rWc7knECwY(a)))
    return count


def op_iV9HroGBxb(a):
    return op_k1SHOSEABc(a,a)

def op_count_iV9HroGBxb(a):
    count = op_count_k1SHOSEABc(a,a)
    return count


def op_ixXfdLRfOf(a, b):
    return op_V0kx6qeWkN(op_mHbOv7fYp3(op_ELRoKZSYG1(697,219),op_Ss7kna3OSG(819,b)),op_vtudXryacx(op_CCYvMPNbl0(a,b),op_VstVOOoFda(b,b)))

def op_count_ixXfdLRfOf(a, b):
    count = op_count_ELRoKZSYG1(697,219)+op_count_Ss7kna3OSG(819,b)+op_count_mHbOv7fYp3(op_ELRoKZSYG1(697,219),op_Ss7kna3OSG(819,b))+op_count_CCYvMPNbl0(a,b)+op_count_VstVOOoFda(b,b)+op_count_vtudXryacx(op_CCYvMPNbl0(a,b),op_VstVOOoFda(b,b))+op_count_V0kx6qeWkN(op_mHbOv7fYp3(op_ELRoKZSYG1(697,219),op_Ss7kna3OSG(819,b)),op_vtudXryacx(op_CCYvMPNbl0(a,b),op_VstVOOoFda(b,b)))
    return count


def op_wtejqNp37K(a):
    return op_V0kx6qeWkN(op_k8X3umw52W(a,a),op_HDwVj9x3oe(a,a))

def op_count_wtejqNp37K(a):
    count = op_count_k8X3umw52W(a,a)+op_count_HDwVj9x3oe(a,a)+op_count_V0kx6qeWkN(op_k8X3umw52W(a,a),op_HDwVj9x3oe(a,a))
    return count


def op_OrRZc0ZbSH(a):
    return op_gWibIJBsW2(op_sylijClI4e(op_46b43un9S1(a,a)),op_13TjBizFrQ(op_g21JL6JxX7(642)))

def op_count_OrRZc0ZbSH(a):
    count = op_count_46b43un9S1(a,a)+op_count_sylijClI4e(op_46b43un9S1(a,a))+op_count_g21JL6JxX7(642)+op_count_13TjBizFrQ(op_g21JL6JxX7(642))+op_count_gWibIJBsW2(op_sylijClI4e(op_46b43un9S1(a,a)),op_13TjBizFrQ(op_g21JL6JxX7(642)))
    return count


def op_O9l9BviflX(a, b):
    return op_783zoCpM6g(op_d5gtUuFZTS(b,a))

def op_count_O9l9BviflX(a, b):
    count = op_count_d5gtUuFZTS(b,a)+op_count_783zoCpM6g(op_d5gtUuFZTS(b,a))
    return count


⊲↟a = { (((a⋝⪜⩥a)⪰⋼⨗(137⊉⋥214))⩧⪆(⨴⫝(a∹⋪a))) }

def op_JOXMPeUIAk(a):
    return op_Ikt5ks8PT7(op_JjGBB9f9Hu(op_5e3ejKfaG8(a,a),op_zSGZJdW1n7(137,214)),op_SVb2v531z1(op_bSFsjWNCVa(a,a)))

def op_count_JOXMPeUIAk(a):
    count = op_count_5e3ejKfaG8(a,a)+op_count_zSGZJdW1n7(137,214)+op_count_JjGBB9f9Hu(op_5e3ejKfaG8(a,a),op_zSGZJdW1n7(137,214))+op_count_bSFsjWNCVa(a,a)+op_count_SVb2v531z1(op_bSFsjWNCVa(a,a))+op_count_Ikt5ks8PT7(op_JjGBB9f9Hu(op_5e3ejKfaG8(a,a),op_zSGZJdW1n7(137,214)),op_SVb2v531z1(op_bSFsjWNCVa(a,a)))
    return count


def op_db3vI43zl8(a, b):
    return op_oCumtb3mAM(op_dma8RTlAAq(b),op_b2NvoRQKYw(a))

def op_count_db3vI43zl8(a, b):
    count = op_count_dma8RTlAAq(b)+op_count_b2NvoRQKYw(a)+op_count_oCumtb3mAM(op_dma8RTlAAq(b),op_b2NvoRQKYw(a))
    return count


def op_vUEwzZbUIH(a):
    return op_kBclOZdV5K(826,op_v1UQAVDJRr(a,a))

def op_count_vUEwzZbUIH(a):
    count = op_count_v1UQAVDJRr(a,a)+op_count_kBclOZdV5K(826,op_v1UQAVDJRr(a,a))
    return count


def op_vjzur6zLxA(a):
    return op_RLgQDWzcJN(op_54VVz5kVPR(299),op_9dWsAM3GFt(a))

def op_count_vjzur6zLxA(a):
    count = op_count_54VVz5kVPR(299)+op_count_9dWsAM3GFt(a)+op_count_RLgQDWzcJN(op_54VVz5kVPR(299),op_9dWsAM3GFt(a))
    return count


def op_XdQ2L7YCp4(a):
    return op_CrdmZwrWDO(op_O6EZ0fifGK(a),op_sCPPNA3LWS(544,a))

def op_count_XdQ2L7YCp4(a):
    count = op_count_O6EZ0fifGK(a)+op_count_sCPPNA3LWS(544,a)+op_count_CrdmZwrWDO(op_O6EZ0fifGK(a),op_sCPPNA3LWS(544,a))
    return count


def op_eHkCKWqHqp(a):
    return op_lyFH5idjNF(op_Xz5TYaP0s6(a),op_6Ko8hGgeMq(80,a))

def op_count_eHkCKWqHqp(a):
    count = op_count_Xz5TYaP0s6(a)+op_count_6Ko8hGgeMq(80,a)+op_count_lyFH5idjNF(op_Xz5TYaP0s6(a),op_6Ko8hGgeMq(80,a))
    return count


def op_bWIdOnOZAp(a):
    return op_Vf9NwM3fOJ(op_y75s1iXyHd(op_fj06ns36qH(583,a),a),op_L4QKcwJRKF(a,op_h8IYq48x0s(a)))

def op_count_bWIdOnOZAp(a):
    count = op_count_fj06ns36qH(583,a)+op_count_y75s1iXyHd(op_fj06ns36qH(583,a),a)+op_count_h8IYq48x0s(a)+op_count_L4QKcwJRKF(a,op_h8IYq48x0s(a))+op_count_Vf9NwM3fOJ(op_y75s1iXyHd(op_fj06ns36qH(583,a),a),op_L4QKcwJRKF(a,op_h8IYq48x0s(a)))
    return count


def op_3UGpfLz2IH(a):
    return op_vXNesLlMH1(a,219)

def op_count_3UGpfLz2IH(a):
    count = op_count_vXNesLlMH1(a,219)
    return count


def op_IxwfTARYbf(a):
    return op_KYD54nUTWz(op_v7AuZyLTHx(a,297),op_LwmwRo8pon(a,a))

def op_count_IxwfTARYbf(a):
    count = op_count_v7AuZyLTHx(a,297)+op_count_LwmwRo8pon(a,a)+op_count_KYD54nUTWz(op_v7AuZyLTHx(a,297),op_LwmwRo8pon(a,a))
    return count


def op_MFQ7hF7x4X(a):
    return op_kxjOcGAF4x(op_4YvEnb44Dc(op_gNhqVVHJgV(a,660)),op_pABnYW3G3E(op_S5nS5IR4MP(876,186)))

def op_count_MFQ7hF7x4X(a):
    count = op_count_gNhqVVHJgV(a,660)+op_count_4YvEnb44Dc(op_gNhqVVHJgV(a,660))+op_count_S5nS5IR4MP(876,186)+op_count_pABnYW3G3E(op_S5nS5IR4MP(876,186))+op_count_kxjOcGAF4x(op_4YvEnb44Dc(op_gNhqVVHJgV(a,660)),op_pABnYW3G3E(op_S5nS5IR4MP(876,186)))
    return count


def op_LUNRZDq60H(a):
    return op_XhYZ2gVPdD(op_13rbtpv6ld(a,a),op_ERCh0iueHk(a,16))

def op_count_LUNRZDq60H(a):
    count = op_count_13rbtpv6ld(a,a)+op_count_ERCh0iueHk(a,16)+op_count_XhYZ2gVPdD(op_13rbtpv6ld(a,a),op_ERCh0iueHk(a,16))
    return count


def op_TftkgZ2c1z(a):
    return op_tXD093vOjl(op_PDLwjO9ulS(a,a),op_iqq15fan1Y(a))

def op_count_TftkgZ2c1z(a):
    count = op_count_PDLwjO9ulS(a,a)+op_count_iqq15fan1Y(a)+op_count_tXD093vOjl(op_PDLwjO9ulS(a,a),op_iqq15fan1Y(a))
    return count


def op_ApvcQ46LCq(a):
    return op_DdGfRTBqou(op_XFw8Sin97h(op_hiLoF09tr3(a),op_slHE12z0pD(a)),op_CR1kRiSFw6(a,op_RlYC4PyG6d(338)))

def op_count_ApvcQ46LCq(a):
    count = op_count_hiLoF09tr3(a)+op_count_slHE12z0pD(a)+op_count_XFw8Sin97h(op_hiLoF09tr3(a),op_slHE12z0pD(a))+op_count_RlYC4PyG6d(338)+op_count_CR1kRiSFw6(a,op_RlYC4PyG6d(338))+op_count_DdGfRTBqou(op_XFw8Sin97h(op_hiLoF09tr3(a),op_slHE12z0pD(a)),op_CR1kRiSFw6(a,op_RlYC4PyG6d(338)))
    return count


a⨙⇘⩔b = { (((a⪜⋗⇢b)⫦⇥(b↱101))≯⩮⩓(⪜⫊⩿(b⋣⋖b))) }

def op_dpJPRYXZ7G(a, b):
    return op_wcUnr516Gq(op_2pBQXqWGeP(op_MkFge0F0HF(a,b),op_SR5kFfdi6N(b,101)),op_2dvK3HezHB(op_J0M6qkBnIM(b,b)))

def op_count_dpJPRYXZ7G(a, b):
    count = op_count_MkFge0F0HF(a,b)+op_count_SR5kFfdi6N(b,101)+op_count_2pBQXqWGeP(op_MkFge0F0HF(a,b),op_SR5kFfdi6N(b,101))+op_count_J0M6qkBnIM(b,b)+op_count_2dvK3HezHB(op_J0M6qkBnIM(b,b))+op_count_wcUnr516Gq(op_2pBQXqWGeP(op_MkFge0F0HF(a,b),op_SR5kFfdi6N(b,101)),op_2dvK3HezHB(op_J0M6qkBnIM(b,b)))
    return count


def op_oAxwVu4h2T(a):
    return op_cUpKZOVm0l(op_U7g4x0WXJJ(a,a))

def op_count_oAxwVu4h2T(a):
    count = op_count_U7g4x0WXJJ(a,a)+op_count_cUpKZOVm0l(op_U7g4x0WXJJ(a,a))
    return count


def op_h5M5dJX2Pa(a):
    return op_7DVaw2hB8E(op_JxwMv5le6e(a,a))

def op_count_h5M5dJX2Pa(a):
    count = op_count_JxwMv5le6e(a,a)+op_count_7DVaw2hB8E(op_JxwMv5le6e(a,a))
    return count


def op_udlVjwRdAs(a):
    return op_RLgQDWzcJN(op_FpZEcu9gEh(7),op_6MHRivDnVK(a,a))

def op_count_udlVjwRdAs(a):
    count = op_count_FpZEcu9gEh(7)+op_count_6MHRivDnVK(a,a)+op_count_RLgQDWzcJN(op_FpZEcu9gEh(7),op_6MHRivDnVK(a,a))
    return count


a↛⊍b = { (((b⊹∫⫚b)↡-(a⇹⋂⨚a))⋾≒((245⫮a)⋆⫊(a⩥↟698))) }

def op_v678MvRNNJ(a, b):
    return op_rtRUSnrYdo(op_O26jwKggyC(op_uWAJUKEvyW(b,b),op_wGJ01FE41T(a,a)),op_yR0nB6c4Cl(op_vwdxqpDU32(245,a),op_1iwIZY9iMy(a,698)))

def op_count_v678MvRNNJ(a, b):
    count = op_count_uWAJUKEvyW(b,b)+op_count_wGJ01FE41T(a,a)+op_count_O26jwKggyC(op_uWAJUKEvyW(b,b),op_wGJ01FE41T(a,a))+op_count_vwdxqpDU32(245,a)+op_count_1iwIZY9iMy(a,698)+op_count_yR0nB6c4Cl(op_vwdxqpDU32(245,a),op_1iwIZY9iMy(a,698))+op_count_rtRUSnrYdo(op_O26jwKggyC(op_uWAJUKEvyW(b,b),op_wGJ01FE41T(a,a)),op_yR0nB6c4Cl(op_vwdxqpDU32(245,a),op_1iwIZY9iMy(a,698)))
    return count


def op_agtuLrgmkE(a):
    return op_ONgMwLM7Hk(a,a)

def op_count_agtuLrgmkE(a):
    count = op_count_ONgMwLM7Hk(a,a)
    return count


def op_TXGQy3BdUS(a, b):
    return op_gDxaUCbvBQ(op_irfPbDV6Fp(b,234),op_eZsufpQxSh(a))

def op_count_TXGQy3BdUS(a, b):
    count = op_count_irfPbDV6Fp(b,234)+op_count_eZsufpQxSh(a)+op_count_gDxaUCbvBQ(op_irfPbDV6Fp(b,234),op_eZsufpQxSh(a))
    return count


def op_JnI2caiXKA(a):
    return op_PgomNjGXmI(op_hxAvLvgoB8(op_bQgVqQlgRF(372,65),op_SPnn9I1i98(a)),op_W9R8I5fN5A(a))

def op_count_JnI2caiXKA(a):
    count = op_count_bQgVqQlgRF(372,65)+op_count_SPnn9I1i98(a)+op_count_hxAvLvgoB8(op_bQgVqQlgRF(372,65),op_SPnn9I1i98(a))+op_count_W9R8I5fN5A(a)+op_count_PgomNjGXmI(op_hxAvLvgoB8(op_bQgVqQlgRF(372,65),op_SPnn9I1i98(a)),op_W9R8I5fN5A(a))
    return count


def op_0kbM87xL66(a):
    return op_2rWG8UG4ro(op_q5ANYLE8fX(op_JclMnS0uGI(a,a)))

def op_count_0kbM87xL66(a):
    count = op_count_JclMnS0uGI(a,a)+op_count_q5ANYLE8fX(op_JclMnS0uGI(a,a))+op_count_2rWG8UG4ro(op_q5ANYLE8fX(op_JclMnS0uGI(a,a)))
    return count


def op_FXaSQvBq3h(a):
    return op_hl4Calylxn(op_gjiB2nRvj7(a,a))

def op_count_FXaSQvBq3h(a):
    count = op_count_gjiB2nRvj7(a,a)+op_count_hl4Calylxn(op_gjiB2nRvj7(a,a))
    return count


def op_iW4QffvnJH(a, b):
    return op_jiX4gk2v2Q(op_E4l6HwMY31(op_Dye1y9yfmu(a,a),op_GoyURcluJe(b,a)))

def op_count_iW4QffvnJH(a, b):
    count = op_count_Dye1y9yfmu(a,a)+op_count_GoyURcluJe(b,a)+op_count_E4l6HwMY31(op_Dye1y9yfmu(a,a),op_GoyURcluJe(b,a))+op_count_jiX4gk2v2Q(op_E4l6HwMY31(op_Dye1y9yfmu(a,a),op_GoyURcluJe(b,a)))
    return count


def op_icoADaVd29(a):
    return op_yS1ZSNIEll(op_OKKcZfAt5B(a,a),op_htSmYCowi5(a))

def op_count_icoADaVd29(a):
    count = op_count_OKKcZfAt5B(a,a)+op_count_htSmYCowi5(a)+op_count_yS1ZSNIEll(op_OKKcZfAt5B(a,a),op_htSmYCowi5(a))
    return count


def op_KRe2A74MY3(a, b):
    if op_YSKBFp38Pu(a,607) <= 273:
        return op_0wziYLqNx9(op_hfpBUD6oBE(b,56),op_K5p65un2ft(a,a))
    else:
        return op_TBD2yOIirL(op_axqnU7qwpD(194,b),op_CoMdbyAt7R(568))

def op_count_KRe2A74MY3(a, b):
    if op_YSKBFp38Pu(a,607) <= 273:
        count = op_count_hfpBUD6oBE(b,56)+op_count_K5p65un2ft(a,a)+op_count_0wziYLqNx9(op_hfpBUD6oBE(b,56),op_K5p65un2ft(a,a))+op_count_YSKBFp38Pu(a,607)
    else:
        count = op_count_axqnU7qwpD(194,b)+op_count_CoMdbyAt7R(568)+op_count_TBD2yOIirL(op_axqnU7qwpD(194,b),op_CoMdbyAt7R(568))
    return count


def op_g5ZkNZC6fS(a):
    return op_NIS2NZpoyR(op_Mwm3sDJixD(20),op_enoNeSxeZq(591,a))

def op_count_g5ZkNZC6fS(a):
    count = op_count_Mwm3sDJixD(20)+op_count_enoNeSxeZq(591,a)+op_count_NIS2NZpoyR(op_Mwm3sDJixD(20),op_enoNeSxeZq(591,a))
    return count


a⩁⨉ = { ((∍∣(a⫷⪖a))↚≽⪤((⋫⇳a)⊿⇌(↺⩋199))) }

def op_J809hVH4RM(a):
    return op_UyATZg4EzG(op_pDsxZAaXPf(op_ovZ991LhRn(a,a)),op_bzTfts3R6K(op_imQJVdWFtl(a),op_Vv2WSWroHI(199)))

def op_count_J809hVH4RM(a):
    count = op_count_ovZ991LhRn(a,a)+op_count_pDsxZAaXPf(op_ovZ991LhRn(a,a))+op_count_imQJVdWFtl(a)+op_count_Vv2WSWroHI(199)+op_count_bzTfts3R6K(op_imQJVdWFtl(a),op_Vv2WSWroHI(199))+op_count_UyATZg4EzG(op_pDsxZAaXPf(op_ovZ991LhRn(a,a)),op_bzTfts3R6K(op_imQJVdWFtl(a),op_Vv2WSWroHI(199)))
    return count


a⪻⨿b = { (((a⊫⊐⋞299)⇴⋯⨚a)⇣⩏) , if (a⊂⋀⨺)==21 ; (((b≚⋵b)≐⪈⇼(b⪶b))⨞≺((b⫣⪄⊒a)⋟∂(b⫼⇷48))) , else }

def op_W9cAPfQ7aX(a, b):
    if op_I2IqpfOY7h(a) == 21:
        return op_oNoCrsWj2C(op_R2KrFb2lGC(op_IYFFTOGOwC(a,299),a))
    else:
        return op_8uAz8JJKQ9(op_xWqemuabDj(op_jXurZARjrp(b,b),op_NvEvKO2R8S(b,b)),op_iPzKFVPbR0(op_RabNbG55vr(b,a),op_W5FaPSP1ue(b,48)))

def op_count_W9cAPfQ7aX(a, b):
    if op_I2IqpfOY7h(a) == 21:
        count = op_count_IYFFTOGOwC(a,299)+op_count_R2KrFb2lGC(op_IYFFTOGOwC(a,299),a)+op_count_oNoCrsWj2C(op_R2KrFb2lGC(op_IYFFTOGOwC(a,299),a))+op_count_I2IqpfOY7h(a)
    else:
        count = op_count_jXurZARjrp(b,b)+op_count_NvEvKO2R8S(b,b)+op_count_xWqemuabDj(op_jXurZARjrp(b,b),op_NvEvKO2R8S(b,b))+op_count_RabNbG55vr(b,a)+op_count_W5FaPSP1ue(b,48)+op_count_iPzKFVPbR0(op_RabNbG55vr(b,a),op_W5FaPSP1ue(b,48))+op_count_8uAz8JJKQ9(op_xWqemuabDj(op_jXurZARjrp(b,b),op_NvEvKO2R8S(b,b)),op_iPzKFVPbR0(op_RabNbG55vr(b,a),op_W5FaPSP1ue(b,48)))
    return count


def op_nSf2I58SrM(a, b):
    return op_UHmRx3INFg(op_3oK3CGrHP7(b,a))

def op_count_nSf2I58SrM(a, b):
    count = op_count_3oK3CGrHP7(b,a)+op_count_UHmRx3INFg(op_3oK3CGrHP7(b,a))
    return count


a⨙⋓⋃ = { ((a⇘≿a)⪿↰⪖a) , if a!=317 ; ((329⊺⪹a)⇖⪆(⩝↠a)) , else }

def op_eVppV2RE3V(a):
    if a != 317:
        return op_kMgNLpsPAE(op_8EAfVIn5ao(a,a),a)
    else:
        return op_pPTxWWVODo(op_qkFtMc4JWq(329,a),op_6fyZXHyWv3(a))

def op_count_eVppV2RE3V(a):
    if a != 317:
        count = op_count_8EAfVIn5ao(a,a)+op_count_kMgNLpsPAE(op_8EAfVIn5ao(a,a),a)
    else:
        count = op_count_qkFtMc4JWq(329,a)+op_count_6fyZXHyWv3(a)+op_count_pPTxWWVODo(op_qkFtMc4JWq(329,a),op_6fyZXHyWv3(a))
    return count


a≋⊨b = { (⋊⪔b) , if (a↣⩾⨿724)<178 ; (a⨂≜a) , else }

def op_dS8PRAya2j(a, b):
    if op_Kgf5n7vQLW(a,724) < 178:
        return op_G3bbgDJC6W(b)
    else:
        return op_k1SHOSEABc(a,a)

def op_count_dS8PRAya2j(a, b):
    if op_Kgf5n7vQLW(a,724) < 178:
        count = op_count_G3bbgDJC6W(b)+op_count_Kgf5n7vQLW(a,724)
    else:
        count = op_count_k1SHOSEABc(a,a)
    return count


a⪛⪔⇼ = { (a⇀∌) , if (a⨘⩜⇪)<=30 and (a⋰⇉∕488)!=466 and (⪨⇶⩻a)!=190 ; (a⊆⇧⪚a) , else }

def op_ZTPqFqIsV0(a):
    if op_w1y23zWct6(a) <= 30 and op_sM9mzqIDB1(a,488) != 466 and op_RfmSMOQ2FJ(a) != 190:
        return op_2k53nXOpI5(a)
    else:
        return op_zma7vR3L5W(a,a)

def op_count_ZTPqFqIsV0(a):
    if op_w1y23zWct6(a) <= 30 and op_sM9mzqIDB1(a,488) != 466 and op_RfmSMOQ2FJ(a) != 190:
        count = op_count_2k53nXOpI5(a)+op_count_w1y23zWct6(a)+op_count_sM9mzqIDB1(a,488)+op_count_RfmSMOQ2FJ(a)
    else:
        count = op_count_zma7vR3L5W(a,a)
    return count


⋬↭↜a = { (a⩗⇿a) , if a>3 ; (a⨙⪞a) , else }

def op_ybTakfAU1X(a):
    if a > 3:
        return op_tKtycZyL6s(a,a)
    else:
        return op_NIS2NZpoyR(a,a)

def op_count_ybTakfAU1X(a):
    if a > 3:
        count = op_count_tKtycZyL6s(a,a)
    else:
        count = op_count_NIS2NZpoyR(a,a)
    return count


def op_d4Z5tx6zaj(a):
    if op_Yd9a1pGZCe(a) >= 575 or op_zERmOPCQyP(a) >= 634 or op_qabBOWcXus(a,16) == 221:
        return op_fICjaz8Yf3(621,op_6Bn9seHpcB(a,a))
    else:
        return op_DlLNRPXxWL(op_sFi0oIX7gK(320,a))

def op_count_d4Z5tx6zaj(a):
    if op_Yd9a1pGZCe(a) >= 575 or op_zERmOPCQyP(a) >= 634 or op_qabBOWcXus(a,16) == 221:
        count = op_count_6Bn9seHpcB(a,a)+op_count_fICjaz8Yf3(621,op_6Bn9seHpcB(a,a))+op_count_Yd9a1pGZCe(a)+op_count_zERmOPCQyP(a)+op_count_qabBOWcXus(a,16)
    else:
        count = op_count_sFi0oIX7gK(320,a)+op_count_DlLNRPXxWL(op_sFi0oIX7gK(320,a))
    return count


a⊏≞b = { (((331∑⇟⊟b)∍⫁⪅(a⊣a))⋳⊳⋻((⩔↓235)⋟⫀⨗(b⋓⋃104))) , if (b⇥⊤)>=67 ; (⊠((b↨⪍≴a)∪≡(a⋭⊟⇚a))) , else }

def op_nG1heNYH7f(a, b):
    if op_zitDEEUIOR(b) >= 67:
        return op_AUjZzCncoP(op_glenQ1xDvR(op_U7g4x0WXJJ(331,b),op_odJCG207LD(a,a)),op_dAAkup5nzi(op_FwjpH4CO5L(235),op_vQUWrCPLqI(b,104)))
    else:
        return op_R3vAdrE3IH(op_IdpAe6zfUM(op_DX7B1fY6P6(b,a),op_R3ciTsHRPk(a,a)))

def op_count_nG1heNYH7f(a, b):
    if op_zitDEEUIOR(b) >= 67:
        count = op_count_U7g4x0WXJJ(331,b)+op_count_odJCG207LD(a,a)+op_count_glenQ1xDvR(op_U7g4x0WXJJ(331,b),op_odJCG207LD(a,a))+op_count_FwjpH4CO5L(235)+op_count_vQUWrCPLqI(b,104)+op_count_dAAkup5nzi(op_FwjpH4CO5L(235),op_vQUWrCPLqI(b,104))+op_count_AUjZzCncoP(op_glenQ1xDvR(op_U7g4x0WXJJ(331,b),op_odJCG207LD(a,a)),op_dAAkup5nzi(op_FwjpH4CO5L(235),op_vQUWrCPLqI(b,104)))+op_count_zitDEEUIOR(b)
    else:
        count = op_count_DX7B1fY6P6(b,a)+op_count_R3ciTsHRPk(a,a)+op_count_IdpAe6zfUM(op_DX7B1fY6P6(b,a),op_R3ciTsHRPk(a,a))+op_count_R3vAdrE3IH(op_IdpAe6zfUM(op_DX7B1fY6P6(b,a),op_R3ciTsHRPk(a,a)))
    return count


a⪚≡b = { (((b⨯∁⨏a)⫋⊊(b⋻a))≎⫟∴) , if (a==228 and (⇣⇚b)>=43) ; (((b⫖⋠⊅b)∯⇉⩚(a⫹∦b))⊀⩕) , else }

def op_6zZYUn3aWT(a, b):
    if (a == 228 and op_GbDo2oKiUE(b) >= 43):
        return op_xKojsOwT2Q(op_kMX5G63lLu(op_0wRoqxy0RT(b,a),op_Z6qvuIbiDz(b,a)))
    else:
        return op_r0FS3hW4cC(op_GyQA6DdueM(op_tTVmucEQhY(b,b),op_kYEX8TTQiv(a,b)))

def op_count_6zZYUn3aWT(a, b):
    if (a == 228 and op_GbDo2oKiUE(b) >= 43):
        count = op_count_0wRoqxy0RT(b,a)+op_count_Z6qvuIbiDz(b,a)+op_count_kMX5G63lLu(op_0wRoqxy0RT(b,a),op_Z6qvuIbiDz(b,a))+op_count_xKojsOwT2Q(op_kMX5G63lLu(op_0wRoqxy0RT(b,a),op_Z6qvuIbiDz(b,a)))+op_count_GbDo2oKiUE(b)
    else:
        count = op_count_tTVmucEQhY(b,b)+op_count_kYEX8TTQiv(a,b)+op_count_GyQA6DdueM(op_tTVmucEQhY(b,b),op_kYEX8TTQiv(a,b))+op_count_r0FS3hW4cC(op_GyQA6DdueM(op_tTVmucEQhY(b,b),op_kYEX8TTQiv(a,b)))
    return count


⨷∰a = { a , if a>=6 or a<=72 or (⨞⊢a)!=199 ; (⇖⫷⫕a) , else }

def op_EVIjReS6pp(a):
    if a >= 6 or a <= 72 or op_xUOZtlo3hN(a) != 199:
        return a
    else:
        return op_UHmRx3INFg(a)

def op_count_EVIjReS6pp(a):
    if a >= 6 or a <= 72 or op_xUOZtlo3hN(a) != 199:
        count = 1
    else:
        count = op_count_UHmRx3INFg(a)
    return count


a⋅≽⪰b = { (a↤⩊(b⨠↴a)) , if (a⫄⊘564)==645 ; ((a⪏⇥-a)⨁↜(115⨺⊨a)) , else }

def op_ppPFNvytQ8(a, b):
    if op_gymZSq4thO(a,564) == 645:
        return op_13rbtpv6ld(a,op_zStf3jvmdU(b,a))
    else:
        return op_HXskc7lbNg(op_frUONFVpe5(a,a),op_VXHFBbhtXV(115,a))

def op_count_ppPFNvytQ8(a, b):
    if op_gymZSq4thO(a,564) == 645:
        count = op_count_zStf3jvmdU(b,a)+op_count_13rbtpv6ld(a,op_zStf3jvmdU(b,a))+op_count_gymZSq4thO(a,564)
    else:
        count = op_count_frUONFVpe5(a,a)+op_count_VXHFBbhtXV(115,a)+op_count_HXskc7lbNg(op_frUONFVpe5(a,a),op_VXHFBbhtXV(115,a))
    return count


def op_mQPMaUGGhs(a):
    if (op_tSW8rgFwH6(a) != 510 or a >= 771 or op_odjyBYi3Hg(a,435) >= 3):
        return op_DlLNRPXxWL(a)
    else:
        return op_J2wtRQwxRJ(a,32)

def op_count_mQPMaUGGhs(a):
    if (op_tSW8rgFwH6(a) != 510 or a >= 771 or op_odjyBYi3Hg(a,435) >= 3):
        count = op_count_DlLNRPXxWL(a)+op_count_tSW8rgFwH6(a)+op_count_odjyBYi3Hg(a,435)
    else:
        count = op_count_J2wtRQwxRJ(a,32)
    return count


a⊼≽↣b = { ((b⋾⨅⫦(b≑⇖⨧))⋏⫫∉(∯(b⊩⋖a))) , if b<75 ; (61≄⊠((⩔⩤308)⨓⨕≠(b⫻))) , else }

def op_BXjDhA3pkh(a, b):
    if b < 75:
        return op_uc8QQvMjnT(op_66lcxNmSNf(b,op_XtYRr4mNkg(b)),op_13TjBizFrQ(op_foUTwTo3sQ(b,a)))
    else:
        return op_vXNesLlMH1(61,op_wwMOHVJtzA(op_Hi7QvixoQr(308),op_0Z2NUNwNEr(b)))

def op_count_BXjDhA3pkh(a, b):
    if b < 75:
        count = op_count_XtYRr4mNkg(b)+op_count_66lcxNmSNf(b,op_XtYRr4mNkg(b))+op_count_foUTwTo3sQ(b,a)+op_count_13TjBizFrQ(op_foUTwTo3sQ(b,a))+op_count_uc8QQvMjnT(op_66lcxNmSNf(b,op_XtYRr4mNkg(b)),op_13TjBizFrQ(op_foUTwTo3sQ(b,a)))
    else:
        count = op_count_Hi7QvixoQr(308)+op_count_0Z2NUNwNEr(b)+op_count_wwMOHVJtzA(op_Hi7QvixoQr(308),op_0Z2NUNwNEr(b))+op_count_vXNesLlMH1(61,op_wwMOHVJtzA(op_Hi7QvixoQr(308),op_0Z2NUNwNEr(b)))
    return count


a∴⫖b = { (46⇡⇂157) , if ((a⇠⪙∟)>=91 and (⊖⊵↳b)<17) ; (a⩓↱⫎b) , else }

def op_8ai4ry6y38(a, b):
    if (op_ZMlAXoltN4(a) >= 91 and op_G7lIUhhxBf(b) < 17):
        return op_UMwdvZNt44(46,157)
    else:
        return op_vSg3Rn1iwJ(a,b)

def op_count_8ai4ry6y38(a, b):
    if (op_ZMlAXoltN4(a) >= 91 and op_G7lIUhhxBf(b) < 17):
        count = op_count_UMwdvZNt44(46,157)+op_count_ZMlAXoltN4(a)+op_count_G7lIUhhxBf(b)
    else:
        count = op_count_vSg3Rn1iwJ(a,b)
    return count


a⫅⫛ = { (⊂(a⊚⨁a)) , if (a⩑≃≶897)!=9 ; ((a⪡⇊⇼a)⋕⨻⇥(234⪺⨮⩭48)) , else }

def op_pdmrLbcYh8(a):
    if op_4JQ65aDwPJ(a,897) != 9:
        return op_PDrNSJDGFK(op_RNJInnG9gY(a,a))
    else:
        return op_3ngf5It8Ig(op_h9LDQjFYy5(a,a),op_xnTr9QP4Ls(234,48))

def op_count_pdmrLbcYh8(a):
    if op_4JQ65aDwPJ(a,897) != 9:
        count = op_count_RNJInnG9gY(a,a)+op_count_PDrNSJDGFK(op_RNJInnG9gY(a,a))+op_count_4JQ65aDwPJ(a,897)
    else:
        count = op_count_h9LDQjFYy5(a,a)+op_count_xnTr9QP4Ls(234,48)+op_count_3ngf5It8Ig(op_h9LDQjFYy5(a,a),op_xnTr9QP4Ls(234,48))
    return count


def op_syRt0Udd8z(a, b):
    if (op_ckxBfo3j3z(a,277) == 459 and op_jwp7q48hqb(a) < 368):
        return op_zqXLmTvkkA(op_fvqsyRpAQk(op_ZbtZ49kJld(a)))
    else:
        return op_7ocSnRyrRL(op_PULhhNGBKj(75,op_kJJflTBdEb(204,a)),op_lNjWqXbZ95(op_GRrQNMyeGD(b,a)))

def op_count_syRt0Udd8z(a, b):
    if (op_ckxBfo3j3z(a,277) == 459 and op_jwp7q48hqb(a) < 368):
        count = op_count_ZbtZ49kJld(a)+op_count_fvqsyRpAQk(op_ZbtZ49kJld(a))+op_count_zqXLmTvkkA(op_fvqsyRpAQk(op_ZbtZ49kJld(a)))+op_count_ckxBfo3j3z(a,277)+op_count_jwp7q48hqb(a)
    else:
        count = op_count_kJJflTBdEb(204,a)+op_count_PULhhNGBKj(75,op_kJJflTBdEb(204,a))+op_count_GRrQNMyeGD(b,a)+op_count_lNjWqXbZ95(op_GRrQNMyeGD(b,a))+op_count_7ocSnRyrRL(op_PULhhNGBKj(75,op_kJJflTBdEb(204,a)),op_lNjWqXbZ95(op_GRrQNMyeGD(b,a)))
    return count


a⫳⪫b = { (b≘↜a) , if (a⨧234)>389 ; (b⇑⇊⩴b) , else }

def op_Ej93YxKZT5(a, b):
    if op_3YWlZA9bsa(a,234) > 389:
        return op_L4QKcwJRKF(b,a)
    else:
        return op_qUzyPcz3G4(b,b)

def op_count_Ej93YxKZT5(a, b):
    if op_3YWlZA9bsa(a,234) > 389:
        count = op_count_L4QKcwJRKF(b,a)+op_count_3YWlZA9bsa(a,234)
    else:
        count = op_count_qUzyPcz3G4(b,b)
    return count


def op_MPJelLyf9X(a, b):
    if (op_Yf3elhOqYq(b) >= 369 and op_oXiaJt2W9u(a,952) > 156 and b > 208):
        return op_hGWjAarRlq(op_otB5Ew3TfZ(b),op_18saOjeKKm(a))
    else:
        return op_3teYALjtln(op_Y6MI8lE4nL(504,b),op_sVBMypNds7(a,b))

def op_count_MPJelLyf9X(a, b):
    if (op_Yf3elhOqYq(b) >= 369 and op_oXiaJt2W9u(a,952) > 156 and b > 208):
        count = op_count_otB5Ew3TfZ(b)+op_count_18saOjeKKm(a)+op_count_hGWjAarRlq(op_otB5Ew3TfZ(b),op_18saOjeKKm(a))+op_count_Yf3elhOqYq(b)+op_count_oXiaJt2W9u(a,952)
    else:
        count = op_count_Y6MI8lE4nL(504,b)+op_count_sVBMypNds7(a,b)+op_count_3teYALjtln(op_Y6MI8lE4nL(504,b),op_sVBMypNds7(a,b))
    return count


a⩵∑⫵b = { (↓≂⇺((∍≀b)∸≉⇢(a⊠⨐⨙a))) , if (⊛⨰⋷b)!=727 ; (((a⪫⇥⨹)⋔+⨓a)⊫⩢((a⪂⇙≶a)⨿(⪮↲a))) , else }

def op_LFtgh9Sru3(a, b):
    if op_KlNKuDZ4P4(b) != 727:
        return op_CTG5Aoznya(op_CYKpEp7EJh(op_pnBIoLvPwZ(b),op_CeS4mkIOg2(a,a)))
    else:
        return op_KcPBP832pE(op_AU7eUHalbZ(op_VUevmm8Vgz(a),a),op_abYXlopdE0(op_cA8pkMYiOz(a,a),op_o87fefzB9U(a)))

def op_count_LFtgh9Sru3(a, b):
    if op_KlNKuDZ4P4(b) != 727:
        count = op_count_pnBIoLvPwZ(b)+op_count_CeS4mkIOg2(a,a)+op_count_CYKpEp7EJh(op_pnBIoLvPwZ(b),op_CeS4mkIOg2(a,a))+op_count_CTG5Aoznya(op_CYKpEp7EJh(op_pnBIoLvPwZ(b),op_CeS4mkIOg2(a,a)))+op_count_KlNKuDZ4P4(b)
    else:
        count = op_count_VUevmm8Vgz(a)+op_count_AU7eUHalbZ(op_VUevmm8Vgz(a),a)+op_count_cA8pkMYiOz(a,a)+op_count_o87fefzB9U(a)+op_count_abYXlopdE0(op_cA8pkMYiOz(a,a),op_o87fefzB9U(a))+op_count_KcPBP832pE(op_AU7eUHalbZ(op_VUevmm8Vgz(a),a),op_abYXlopdE0(op_cA8pkMYiOz(a,a),op_o87fefzB9U(a)))
    return count


def op_bDixWcGVi1(a):
    return op_bL9bVDjnH3(op_TyhCdZMmeC(op_DyGG3AbaNP(a,a),op_vzIhVlHn4a(a,a)))

def op_count_bDixWcGVi1(a):
    count = op_count_DyGG3AbaNP(a,a)+op_count_vzIhVlHn4a(a,a)+op_count_TyhCdZMmeC(op_DyGG3AbaNP(a,a),op_vzIhVlHn4a(a,a))+op_count_bL9bVDjnH3(op_TyhCdZMmeC(op_DyGG3AbaNP(a,a),op_vzIhVlHn4a(a,a)))
    return count


def op_kzAGyAqdev(a):
    if (op_EkoPfCBOH0(a) > 241 and op_plJuxQVeFk(a) <= 146):
        return op_XBHSxs2y4g(op_tnOISPig27(op_nMAdxk2waN(a,354)),op_hz148dRmk5(op_K22rD7vRpP(a,a),op_Am2kwplcWj(a,a)))
    else:
        return op_oNoCrsWj2C(op_duO1ngoDTu(op_KfoJTsIyUZ(a,535),op_hMGfXo4m8J(a,301)))

def op_count_kzAGyAqdev(a):
    if (op_EkoPfCBOH0(a) > 241 and op_plJuxQVeFk(a) <= 146):
        count = op_count_nMAdxk2waN(a,354)+op_count_tnOISPig27(op_nMAdxk2waN(a,354))+op_count_K22rD7vRpP(a,a)+op_count_Am2kwplcWj(a,a)+op_count_hz148dRmk5(op_K22rD7vRpP(a,a),op_Am2kwplcWj(a,a))+op_count_XBHSxs2y4g(op_tnOISPig27(op_nMAdxk2waN(a,354)),op_hz148dRmk5(op_K22rD7vRpP(a,a),op_Am2kwplcWj(a,a)))+op_count_EkoPfCBOH0(a)+op_count_plJuxQVeFk(a)
    else:
        count = op_count_KfoJTsIyUZ(a,535)+op_count_hMGfXo4m8J(a,301)+op_count_duO1ngoDTu(op_KfoJTsIyUZ(a,535),op_hMGfXo4m8J(a,301))+op_count_oNoCrsWj2C(op_duO1ngoDTu(op_KfoJTsIyUZ(a,535),op_hMGfXo4m8J(a,301)))
    return count


a⪘⨪ = { ((a⋋↞⩉(a*⋵))⨍⩬⨌((⊘⊭a)≔≋⊏(≜⨉↹a))) }

def op_ilkjX4jc2u(a):
    return op_5EuqP1ofBQ(op_FtzCMUsONU(a,op_r1zS8MN8oc(a)),op_lyFH5idjNF(op_JUHsk2aNYO(a),op_yfNrFhSzv5(a)))

def op_count_ilkjX4jc2u(a):
    count = op_count_r1zS8MN8oc(a)+op_count_FtzCMUsONU(a,op_r1zS8MN8oc(a))+op_count_JUHsk2aNYO(a)+op_count_yfNrFhSzv5(a)+op_count_lyFH5idjNF(op_JUHsk2aNYO(a),op_yfNrFhSzv5(a))+op_count_5EuqP1ofBQ(op_FtzCMUsONU(a,op_r1zS8MN8oc(a)),op_lyFH5idjNF(op_JUHsk2aNYO(a),op_yfNrFhSzv5(a)))
    return count


a⫈↪⫧b = { (⪳⫟⩤(a∿⊵⋹a)) , if b!=116 or (⪠⨨a)<=404 ; ((a⫥≴)⩪∄⇙(a≐→⇾)) , else }

def op_d7HenOggZb(a, b):
    if b != 116 or op_jFY9FjAYWk(a) <= 404:
        return op_Mwm3sDJixD(op_k8X3umw52W(a,a))
    else:
        return op_BHOuU9c70O(op_JdPE7RfYiZ(a),op_zV3pqYiQ5E(a))

def op_count_d7HenOggZb(a, b):
    if b != 116 or op_jFY9FjAYWk(a) <= 404:
        count = op_count_k8X3umw52W(a,a)+op_count_Mwm3sDJixD(op_k8X3umw52W(a,a))+op_count_jFY9FjAYWk(a)
    else:
        count = op_count_JdPE7RfYiZ(a)+op_count_zV3pqYiQ5E(a)+op_count_BHOuU9c70O(op_JdPE7RfYiZ(a),op_zV3pqYiQ5E(a))
    return count


a⇯⪿b = { (((125⋹⩢≗)⫝)⋟⨱((∝⩩⩂b)≟⇃(a⇆⪛≍a))) , if (a⨓↚65)>27 ; (((⨴⫝a)≐⫾⫈(a⋖⇕⪰b))≎⪠((⋇⋙⨞a)⫶⨡⨒(b⊥≍⋁b))) , else }

def op_GhqPBpD5TA(a, b):
    if op_YLJhMbTGGW(a,65) > 27:
        return op_lN5Hu1ptA5(op_QRiKE94HQh(op_TVJtHEi4fI(125)),op_8hQlX1bI6f(op_kV9H2P1eKQ(b),op_15fnz2YIbx(a,a)))
    else:
        return op_aNhz54LH3e(op_IU7sCk8QVd(op_SVb2v531z1(a),op_zGZqYOUxsC(a,b)),op_cYefTWUxOW(op_AnokoQhMoI(a),op_UuQ5TkIIzY(b,b)))

def op_count_GhqPBpD5TA(a, b):
    if op_YLJhMbTGGW(a,65) > 27:
        count = op_count_TVJtHEi4fI(125)+op_count_QRiKE94HQh(op_TVJtHEi4fI(125))+op_count_kV9H2P1eKQ(b)+op_count_15fnz2YIbx(a,a)+op_count_8hQlX1bI6f(op_kV9H2P1eKQ(b),op_15fnz2YIbx(a,a))+op_count_lN5Hu1ptA5(op_QRiKE94HQh(op_TVJtHEi4fI(125)),op_8hQlX1bI6f(op_kV9H2P1eKQ(b),op_15fnz2YIbx(a,a)))+op_count_YLJhMbTGGW(a,65)
    else:
        count = op_count_SVb2v531z1(a)+op_count_zGZqYOUxsC(a,b)+op_count_IU7sCk8QVd(op_SVb2v531z1(a),op_zGZqYOUxsC(a,b))+op_count_AnokoQhMoI(a)+op_count_UuQ5TkIIzY(b,b)+op_count_cYefTWUxOW(op_AnokoQhMoI(a),op_UuQ5TkIIzY(b,b))+op_count_aNhz54LH3e(op_IU7sCk8QVd(op_SVb2v531z1(a),op_zGZqYOUxsC(a,b)),op_cYefTWUxOW(op_AnokoQhMoI(a),op_UuQ5TkIIzY(b,b)))
    return count


a⫺⫽b = { (⩩≉⋩b) , if (⇛⇍↶a)<23 and (a⨘⨲)>254 ; (b⨦⇉⋆b) , else }

def op_iXmAi0XaOO(a, b):
    if op_kZsPjwrGla(a) < 23 and op_yA5FHYI7SS(a) > 254:
        return op_PdXgBgzzRn(b)
    else:
        return op_qu6tLqWajp(b,b)

def op_count_iXmAi0XaOO(a, b):
    if op_kZsPjwrGla(a) < 23 and op_yA5FHYI7SS(a) > 254:
        count = op_count_PdXgBgzzRn(b)+op_count_kZsPjwrGla(a)+op_count_yA5FHYI7SS(a)
    else:
        count = op_count_qu6tLqWajp(b,b)
    return count


def op_volnuCWf6Z(a):
    if (op_zvIMFxgTFy(a) == 462 or op_m1jdlUv8hK(a) >= 44 or op_ZwJn4oPyB9(a) >= 160):
        return op_Noe24qw2ks(op_dSjykO3Vy1(439),op_PY5Vuape4U(a,a))
    else:
        return op_ne3ymXmP8e(op_aTVQQkjKZd(a),op_v1UQAVDJRr(194,a))

def op_count_volnuCWf6Z(a):
    if (op_zvIMFxgTFy(a) == 462 or op_m1jdlUv8hK(a) >= 44 or op_ZwJn4oPyB9(a) >= 160):
        count = op_count_dSjykO3Vy1(439)+op_count_PY5Vuape4U(a,a)+op_count_Noe24qw2ks(op_dSjykO3Vy1(439),op_PY5Vuape4U(a,a))+op_count_zvIMFxgTFy(a)+op_count_m1jdlUv8hK(a)+op_count_ZwJn4oPyB9(a)
    else:
        count = op_count_aTVQQkjKZd(a)+op_count_v1UQAVDJRr(194,a)+op_count_ne3ymXmP8e(op_aTVQQkjKZd(a),op_v1UQAVDJRr(194,a))
    return count


a⨳≵⨑ = { (⋯⩸⪂45) , if (≧⊳a)>163 ; (a⫪⩳⇋a) , else }

def op_kMjXbcDXJJ(a):
    if op_GMrB5OisJT(a) > 163:
        return op_FapX7bjesn(45)
    else:
        return op_irfPbDV6Fp(a,a)

def op_count_kMjXbcDXJJ(a):
    if op_GMrB5OisJT(a) > 163:
        count = op_count_FapX7bjesn(45)+op_count_GMrB5OisJT(a)
    else:
        count = op_count_irfPbDV6Fp(a,a)
    return count


def op_bduEVrNXsf(a):
    return op_AHs5Up7iyr(a,a)

def op_count_bduEVrNXsf(a):
    count = op_count_AHs5Up7iyr(a,a)
    return count


∋⪻a = { (⊾⪍⋷(a⫒⫫a)) , if a<65 ; a , else }

def op_bJMug2uZKq(a):
    if a < 65:
        return op_Y3wE7m9rYT(op_6Ko8hGgeMq(a,a))
    else:
        return a

def op_count_bJMug2uZKq(a):
    if a < 65:
        count = op_count_6Ko8hGgeMq(a,a)+op_count_Y3wE7m9rYT(op_6Ko8hGgeMq(a,a))
    else:
        count = 1
    return count


def op_pRJ3HIctmZ(a):
    if op_OvpvhtAkoY(a) != 289:
        return op_SFAASr8twV(a,17)
    else:
        return op_NIS2NZpoyR(a,74)

def op_count_pRJ3HIctmZ(a):
    if op_OvpvhtAkoY(a) != 289:
        count = op_count_SFAASr8twV(a,17)+op_count_OvpvhtAkoY(a)
    else:
        count = op_count_NIS2NZpoyR(a,74)
    return count


a⇭⇷b = { (293⫔⩽⩺a) , if ((⊨⨱⋪b)>57 and (b∂√⊯)>40) ; (a⩵⩤⋘) , else }

def op_g0QzokjYge(a, b):
    if (op_2Rh8CLvBI7(b) > 57 and op_zX8tI5gDFU(b) > 40):
        return op_i9eR4S00cU(293,a)
    else:
        return op_bGH9BQXhMM(a)

def op_count_g0QzokjYge(a, b):
    if (op_2Rh8CLvBI7(b) > 57 and op_zX8tI5gDFU(b) > 40):
        count = op_count_i9eR4S00cU(293,a)+op_count_2Rh8CLvBI7(b)+op_count_zX8tI5gDFU(b)
    else:
        count = op_count_bGH9BQXhMM(a)
    return count


a∷⋎ = { (((a⫭⨏a)∑⊿≛(↵≷⇎a))⫹⩪((⨴⫝761)≮≗⫂(a⪶⇰⇵a))) }

def op_lsvTvnvlOD(a):
    return op_yWyjdngDvQ(op_HBr05eZif0(op_4j7MdOEvYM(a,a),op_Riyh7rtXnH(a)),op_P5jP6ymN6L(op_SVb2v531z1(761),op_98Zpo6bYPY(a,a)))

def op_count_lsvTvnvlOD(a):
    count = op_count_4j7MdOEvYM(a,a)+op_count_Riyh7rtXnH(a)+op_count_HBr05eZif0(op_4j7MdOEvYM(a,a),op_Riyh7rtXnH(a))+op_count_SVb2v531z1(761)+op_count_98Zpo6bYPY(a,a)+op_count_P5jP6ymN6L(op_SVb2v531z1(761),op_98Zpo6bYPY(a,a))+op_count_yWyjdngDvQ(op_HBr05eZif0(op_4j7MdOEvYM(a,a),op_Riyh7rtXnH(a)),op_P5jP6ymN6L(op_SVb2v531z1(761),op_98Zpo6bYPY(a,a)))
    return count


def op_krqSa5kwPj(a, b):
    return op_hzNl2ELaCM(op_JuKpg8yQLl(op_VrorGuhMMG(a),b))

def op_count_krqSa5kwPj(a, b):
    count = op_count_VrorGuhMMG(a)+op_count_JuKpg8yQLl(op_VrorGuhMMG(a),b)+op_count_hzNl2ELaCM(op_JuKpg8yQLl(op_VrorGuhMMG(a),b))
    return count


a⋾⪎ = { ((a⇱⇎⩗a)⋀(a⊪⫋a)) , if (⪁⫳↲a)>=105 ; (↫⫦(a↱↬⊄a)) , else }

def op_3xkIZCbeYF(a):
    if op_TcWRjSoWrE(a) >= 105:
        return op_Y20syRcaKk(op_DSSXvJAOg7(a,a),op_ea3DdhFzdW(a,a))
    else:
        return op_FbfjV67I2U(op_bxubYYkvCu(a,a))

def op_count_3xkIZCbeYF(a):
    if op_TcWRjSoWrE(a) >= 105:
        count = op_count_DSSXvJAOg7(a,a)+op_count_ea3DdhFzdW(a,a)+op_count_Y20syRcaKk(op_DSSXvJAOg7(a,a),op_ea3DdhFzdW(a,a))+op_count_TcWRjSoWrE(a)
    else:
        count = op_count_bxubYYkvCu(a,a)+op_count_FbfjV67I2U(op_bxubYYkvCu(a,a))
    return count


a⩶∲b = { (≞a) , if b!=32 ; ((⋴(b⨼⋆≾b))⫓⋼((b⪩∃a)⇆⊲⇢(b⫋⊠⪔))) , else }

def op_jOfdi5Axto(a, b):
    if b != 32:
        return op_qtJLMuGoc3(a)
    else:
        return op_FI4i5otY41(op_6m6eYvIglw(op_I8Ve4empKG(b,b)),op_eit6DlVSbc(op_ssdYMW82ZA(b,a),op_3g9sxFYwMA(b)))

def op_count_jOfdi5Axto(a, b):
    if b != 32:
        count = op_count_qtJLMuGoc3(a)
    else:
        count = op_count_I8Ve4empKG(b,b)+op_count_6m6eYvIglw(op_I8Ve4empKG(b,b))+op_count_ssdYMW82ZA(b,a)+op_count_3g9sxFYwMA(b)+op_count_eit6DlVSbc(op_ssdYMW82ZA(b,a),op_3g9sxFYwMA(b))+op_count_FI4i5otY41(op_6m6eYvIglw(op_I8Ve4empKG(b,b)),op_eit6DlVSbc(op_ssdYMW82ZA(b,a),op_3g9sxFYwMA(b)))
    return count


def op_I8N3MAzWPd(a):
    if op_XbEkhYNcJE(a,916) < 59 or a >= 206:
        return op_z6EySSQeql(a,op_bMfZrpXtSe(a,op_eV1zWOyLyD(a,651)))
    else:
        return op_ekA2oeJZMY(op_VcI7WilXed(op_pNiqsYmQ4e(a),op_LcSyNDswmv(84,a)),op_jbrVa8FwMb(op_FG4jWDXkwW(a,a),op_783zoCpM6g(a)))

def op_count_I8N3MAzWPd(a):
    if op_XbEkhYNcJE(a,916) < 59 or a >= 206:
        count = op_count_eV1zWOyLyD(a,651)+op_count_bMfZrpXtSe(a,op_eV1zWOyLyD(a,651))+op_count_z6EySSQeql(a,op_bMfZrpXtSe(a,op_eV1zWOyLyD(a,651)))+op_count_XbEkhYNcJE(a,916)
    else:
        count = op_count_pNiqsYmQ4e(a)+op_count_LcSyNDswmv(84,a)+op_count_VcI7WilXed(op_pNiqsYmQ4e(a),op_LcSyNDswmv(84,a))+op_count_FG4jWDXkwW(a,a)+op_count_783zoCpM6g(a)+op_count_jbrVa8FwMb(op_FG4jWDXkwW(a,a),op_783zoCpM6g(a))+op_count_ekA2oeJZMY(op_VcI7WilXed(op_pNiqsYmQ4e(a),op_LcSyNDswmv(84,a)),op_jbrVa8FwMb(op_FG4jWDXkwW(a,a),op_783zoCpM6g(a)))
    return count


a≫⨕⨀b = { ((b⋘⪾a)⪧⋰(a⩰⪎b)) , if (b↞≯↜167)<132 ; ((a⫆⊡⫚761)↾⇦) , else }

def op_dMOz4GxGkG(a, b):
    if op_Xnbhm1660t(b,167) < 132:
        return op_JXJd912KIl(op_QzuynGCx6W(b,a),op_keMeIxFVQ3(a,b))
    else:
        return op_H9RETCE9fR(op_POxaEwwkES(a,761))

def op_count_dMOz4GxGkG(a, b):
    if op_Xnbhm1660t(b,167) < 132:
        count = op_count_QzuynGCx6W(b,a)+op_count_keMeIxFVQ3(a,b)+op_count_JXJd912KIl(op_QzuynGCx6W(b,a),op_keMeIxFVQ3(a,b))+op_count_Xnbhm1660t(b,167)
    else:
        count = op_count_POxaEwwkES(a,761)+op_count_H9RETCE9fR(op_POxaEwwkES(a,761))
    return count


≤⋫a = { a , if (a⇄∙)>22 ; (↪⫪⫘543) , else }

def op_3FpPu8AKo6(a):
    if op_6DyPSuX1X4(a) > 22:
        return a
    else:
        return op_9dWsAM3GFt(543)

def op_count_3FpPu8AKo6(a):
    if op_6DyPSuX1X4(a) > 22:
        count = 1
    else:
        count = op_count_9dWsAM3GFt(543)
    return count


a⇗⇐ = { (((63⨴∤a)⨜⇔(a⪝⋓a))≘⨍⩢(⩞↓(a≤⨝))) , if (a⩘⫪⫚)>202 ; a , else }

def op_oz64wffqbW(a):
    if op_2tIpuwCADi(a) > 202:
        return op_y1Bs0Kwqk0(op_Sq3AGanRSD(op_qBiGvaKbIj(63,a),op_2hIaDBSv9V(a,a)),op_esrG2CHZvS(op_itkOnPxCeF(a)))
    else:
        return a

def op_count_oz64wffqbW(a):
    if op_2tIpuwCADi(a) > 202:
        count = op_count_qBiGvaKbIj(63,a)+op_count_2hIaDBSv9V(a,a)+op_count_Sq3AGanRSD(op_qBiGvaKbIj(63,a),op_2hIaDBSv9V(a,a))+op_count_itkOnPxCeF(a)+op_count_esrG2CHZvS(op_itkOnPxCeF(a))+op_count_y1Bs0Kwqk0(op_Sq3AGanRSD(op_qBiGvaKbIj(63,a),op_2hIaDBSv9V(a,a)),op_esrG2CHZvS(op_itkOnPxCeF(a)))+op_count_2tIpuwCADi(a)
    else:
        count = 1
    return count


a⨅≄∆b = { ((a⋾≒b)⫧⋃≅(⫸⨥b)) , if (b≍⇠∡988)<=180 ; b , else }

def op_UHdNR6CISx(a, b):
    if op_4XUogC2HX8(b,988) <= 180:
        return op_rJlMWXggw2(op_rtRUSnrYdo(a,b),op_23Tkgu9UsN(b))
    else:
        return b

def op_count_UHdNR6CISx(a, b):
    if op_4XUogC2HX8(b,988) <= 180:
        count = op_count_rtRUSnrYdo(a,b)+op_count_23Tkgu9UsN(b)+op_count_rJlMWXggw2(op_rtRUSnrYdo(a,b),op_23Tkgu9UsN(b))+op_count_4XUogC2HX8(b,988)
    else:
        count = 1
    return count


a⨾∜≆b = { ((b∖a)↦⋨(150⨳⩨b)) , if b>68 ; ((b≮≗⫂7)⪭⊓) , else }

def op_RbC4sr1eiU(a, b):
    if b > 68:
        return op_HWPVJOF0FO(op_tXD093vOjl(b,a),op_M7wbeLYPvN(150,b))
    else:
        return op_dqLymamn1g(op_P5jP6ymN6L(b,7))

def op_count_RbC4sr1eiU(a, b):
    if b > 68:
        count = op_count_tXD093vOjl(b,a)+op_count_M7wbeLYPvN(150,b)+op_count_HWPVJOF0FO(op_tXD093vOjl(b,a),op_M7wbeLYPvN(150,b))
    else:
        count = op_count_P5jP6ymN6L(b,7)+op_count_dqLymamn1g(op_P5jP6ymN6L(b,7))
    return count


def op_wMzR1TNPRU(a, b):
    if (op_jeyBgv6tGe(b,972) >= 203 and op_LCemN4bnwC(b) != 99 and op_kn2iEQ6jaA(a) != 458):
        return op_PDrNSJDGFK(b)
    else:
        return op_UCZYOMlgcp(a,a)

def op_count_wMzR1TNPRU(a, b):
    if (op_jeyBgv6tGe(b,972) >= 203 and op_LCemN4bnwC(b) != 99 and op_kn2iEQ6jaA(a) != 458):
        count = op_count_PDrNSJDGFK(b)+op_count_jeyBgv6tGe(b,972)+op_count_LCemN4bnwC(b)+op_count_kn2iEQ6jaA(a)
    else:
        count = op_count_UCZYOMlgcp(a,a)
    return count


≯∱a = { ((⊥a)⫂∏(a⩍⪍a)) , if (a⫳⊕≗463)<845 ; (a⪔⋨) , else }

def op_DTd5yQ9g84(a):
    if op_dfTirE4uw8(a,463) < 845:
        return op_01leFtwrgg(op_Q3PJZHRvZv(a),op_e2FY0kGFxN(a,a))
    else:
        return op_Ki65uArhug(a)

def op_count_DTd5yQ9g84(a):
    if op_dfTirE4uw8(a,463) < 845:
        count = op_count_Q3PJZHRvZv(a)+op_count_e2FY0kGFxN(a,a)+op_count_01leFtwrgg(op_Q3PJZHRvZv(a),op_e2FY0kGFxN(a,a))+op_count_dfTirE4uw8(a,463)
    else:
        count = op_count_Ki65uArhug(a)
    return count


a⪆⨪b = { (((a≺⊅≢)⪟⇏(∉⪄a))⨡(↙⩵⋊(↣⩘≦a))) , if (a⨍↷⊼)>428 and (b⪪⪋)>88 ; (((↨488)⇻⊹(⋒⪏⋋a))∃≃∂((a⫢⩮↷)≣⪪⪧(a↟⫝̸a))) , else }

def op_IBMnGZVooU(a, b):
    if op_9cStKeCW7E(a) > 428 and op_3m1Q9am5nA(b) > 88:
        return op_tJtBLRaXS9(op_GODebY97qR(op_7a9ZMWMOb3(a),op_b9D4xlfVCW(a)),op_tx9xvuZCgf(op_p5qYALri8P(a)))
    else:
        return op_ltnqZvy4u5(op_gQpPSlYAud(op_jiX4gk2v2Q(488),op_DfCADQreyR(a)),op_7Qh4uK5oHN(op_BLLGLRFJVt(a),op_t3zCv2dJ9y(a,a)))

def op_count_IBMnGZVooU(a, b):
    if op_9cStKeCW7E(a) > 428 and op_3m1Q9am5nA(b) > 88:
        count = op_count_7a9ZMWMOb3(a)+op_count_b9D4xlfVCW(a)+op_count_GODebY97qR(op_7a9ZMWMOb3(a),op_b9D4xlfVCW(a))+op_count_p5qYALri8P(a)+op_count_tx9xvuZCgf(op_p5qYALri8P(a))+op_count_tJtBLRaXS9(op_GODebY97qR(op_7a9ZMWMOb3(a),op_b9D4xlfVCW(a)),op_tx9xvuZCgf(op_p5qYALri8P(a)))+op_count_9cStKeCW7E(a)+op_count_3m1Q9am5nA(b)
    else:
        count = op_count_jiX4gk2v2Q(488)+op_count_DfCADQreyR(a)+op_count_gQpPSlYAud(op_jiX4gk2v2Q(488),op_DfCADQreyR(a))+op_count_BLLGLRFJVt(a)+op_count_t3zCv2dJ9y(a,a)+op_count_7Qh4uK5oHN(op_BLLGLRFJVt(a),op_t3zCv2dJ9y(a,a))+op_count_ltnqZvy4u5(op_gQpPSlYAud(op_jiX4gk2v2Q(488),op_DfCADQreyR(a)),op_7Qh4uK5oHN(op_BLLGLRFJVt(a),op_t3zCv2dJ9y(a,a)))
    return count


⇲⨷⋇a = { a , if (a↵)<=332 ; (a⊝) , else }

def op_2NUgFhO1Pu(a):
    if op_OKbrAQToy4(a) <= 332:
        return a
    else:
        return op_O6EZ0fifGK(a)

def op_count_2NUgFhO1Pu(a):
    if op_OKbrAQToy4(a) <= 332:
        count = 1
    else:
        count = op_count_O6EZ0fifGK(a)
    return count


def op_1jo8xBblJ8(a):
    if op_pm9cx6Eqcm(a,988) != 197:
        return op_Wz77QOMFmQ(op_HYT61O2rBh(a,a),a)
    else:
        return op_qcEcSoa3Nn(op_NvvUe35Zgj(a,461))

def op_count_1jo8xBblJ8(a):
    if op_pm9cx6Eqcm(a,988) != 197:
        count = op_count_HYT61O2rBh(a,a)+op_count_Wz77QOMFmQ(op_HYT61O2rBh(a,a),a)+op_count_pm9cx6Eqcm(a,988)
    else:
        count = op_count_NvvUe35Zgj(a,461)+op_count_qcEcSoa3Nn(op_NvvUe35Zgj(a,461))
    return count


⨹⨜a = { (a⪡⪞(a⨦∄⇯a)) , if a>184 ; ((a⫆a)⪬⪬⋰(⪳⫟⩤a)) , else }

def op_HNMAFSWCli(a):
    if a > 184:
        return op_ymSh1NLfN3(a,op_aULemKRNJ1(a,a))
    else:
        return op_dKnrfkTA9N(op_Y6MI8lE4nL(a,a),op_Mwm3sDJixD(a))

def op_count_HNMAFSWCli(a):
    if a > 184:
        count = op_count_aULemKRNJ1(a,a)+op_count_ymSh1NLfN3(a,op_aULemKRNJ1(a,a))
    else:
        count = op_count_Y6MI8lE4nL(a,a)+op_count_Mwm3sDJixD(a)+op_count_dKnrfkTA9N(op_Y6MI8lE4nL(a,a),op_Mwm3sDJixD(a))
    return count


a⫎⩌⊟ = { (⪲⊾a) , if (a⨣⩄⋪582)>168 ; (a⊯⪆a) , else }

def op_nF8WBO3S0j(a):
    if op_P61xNvXJCL(a,582) > 168:
        return op_L07OSbUHmY(a)
    else:
        return op_8u3ZXjUZq9(a,a)

def op_count_nF8WBO3S0j(a):
    if op_P61xNvXJCL(a,582) > 168:
        count = op_count_L07OSbUHmY(a)+op_count_P61xNvXJCL(a,582)
    else:
        count = op_count_8u3ZXjUZq9(a,a)
    return count


≇⫒≈a = { (↽∬a) , if (a<82 and (a⪈≞⨙)!=27 and (a⨟⋌⩍137)<=260) ; (a↡⊰⫅a) , else }

def op_scoBackZqR(a):
    if (a < 82 and op_X9HzN6XoI2(a) != 27 and op_rGHVDoGpnC(a,137) <= 260):
        return op_ZbtZ49kJld(a)
    else:
        return op_VCtxkLNOzz(a,a)

def op_count_scoBackZqR(a):
    if (a < 82 and op_X9HzN6XoI2(a) != 27 and op_rGHVDoGpnC(a,137) <= 260):
        count = op_count_ZbtZ49kJld(a)+op_count_X9HzN6XoI2(a)+op_count_rGHVDoGpnC(a,137)
    else:
        count = op_count_VCtxkLNOzz(a,a)
    return count


def op_JoLRxfVZJQ(a, b):
    if op_5hXIoSHgw9(a,503) <= 218:
        return op_jiX4gk2v2Q(a)
    else:
        return op_P3lXMJvFrc(a,b)

def op_count_JoLRxfVZJQ(a, b):
    if op_5hXIoSHgw9(a,503) <= 218:
        count = op_count_jiX4gk2v2Q(a)+op_count_5hXIoSHgw9(a,503)
    else:
        count = op_count_P3lXMJvFrc(a,b)
    return count


a⨿⊌b = { (b≘↜a) , if (a⨺⊨132)!=237 or (≩⫔⨷a)!=305 ; (⋞⨂⫏a) , else }

def op_9XENTMHpOx(a, b):
    if op_VXHFBbhtXV(a,132) != 237 or op_LVTXjn9PlI(a) != 305:
        return op_L4QKcwJRKF(b,a)
    else:
        return op_yEnfEu97Sw(a)

def op_count_9XENTMHpOx(a, b):
    if op_VXHFBbhtXV(a,132) != 237 or op_LVTXjn9PlI(a) != 305:
        count = op_count_L4QKcwJRKF(b,a)+op_count_VXHFBbhtXV(a,132)+op_count_LVTXjn9PlI(a)
    else:
        count = op_count_yEnfEu97Sw(a)
    return count


a⨓⪒⊧b = { b , if (b⇌⫙⪟889)<=146 ; (∴∂∝(⊣⋡↞(b∥⊢⊲a))) , else }

def op_KLUCs05e6A(a, b):
    if op_AFVx7xoS7T(b,889) <= 146:
        return b
    else:
        return op_EKO8KMgjXs(op_JXNsC7FERy(op_v1UQAVDJRr(b,a)))

def op_count_KLUCs05e6A(a, b):
    if op_AFVx7xoS7T(b,889) <= 146:
        count = 1
    else:
        count = op_count_v1UQAVDJRr(b,a)+op_count_JXNsC7FERy(op_v1UQAVDJRr(b,a))+op_count_EKO8KMgjXs(op_JXNsC7FERy(op_v1UQAVDJRr(b,a)))
    return count


⊬⨧⊡a = { (((a⨠a)⇒⫙⩪(a⪆⊎⇋a))⋪⊪↳(⇘⫇⇣(a⊉⋥473))) , if ((⨃⊵a)>=780 and (⊘⊭a)>7) ; (a≙⨆) , else }

def op_Es3KftIgt5(a):
    if (op_JsPn0nWP7D(a) >= 780 and op_JUHsk2aNYO(a) > 7):
        return op_FQQxe7X1ro(op_GlSFjmIWmY(op_R3R4sbjZye(a,a),op_oCumtb3mAM(a,a)),op_23xwPsBFjE(op_zSGZJdW1n7(a,473)))
    else:
        return op_2X45rB3Miu(a)

def op_count_Es3KftIgt5(a):
    if (op_JsPn0nWP7D(a) >= 780 and op_JUHsk2aNYO(a) > 7):
        count = op_count_R3R4sbjZye(a,a)+op_count_oCumtb3mAM(a,a)+op_count_GlSFjmIWmY(op_R3R4sbjZye(a,a),op_oCumtb3mAM(a,a))+op_count_zSGZJdW1n7(a,473)+op_count_23xwPsBFjE(op_zSGZJdW1n7(a,473))+op_count_FQQxe7X1ro(op_GlSFjmIWmY(op_R3R4sbjZye(a,a),op_oCumtb3mAM(a,a)),op_23xwPsBFjE(op_zSGZJdW1n7(a,473)))+op_count_JsPn0nWP7D(a)+op_count_JUHsk2aNYO(a)
    else:
        count = op_count_2X45rB3Miu(a)
    return count


a⩁⫝̸⇉b = { (⩝(a⫽∀⋝a)) , if b!=134 ; (a⨶∐⨑(a⨭a)) , else }

def op_LEpJdZZj4n(a, b):
    if b != 134:
        return op_AqJQW3khbP(op_DN0PLaXpeG(a,a))
    else:
        return op_m9OFtK78MA(a,op_1ABctC9S11(a,a))

def op_count_LEpJdZZj4n(a, b):
    if b != 134:
        count = op_count_DN0PLaXpeG(a,a)+op_count_AqJQW3khbP(op_DN0PLaXpeG(a,a))
    else:
        count = op_count_1ABctC9S11(a,a)+op_count_m9OFtK78MA(a,op_1ABctC9S11(a,a))
    return count


a∗⨨⇆b = { (((a⋴⋼b)∂∗⪗)⪩∱((a⪯↖a)⪼≍(81⪼b))) , if (a⫖⩐)<85 ; (((↱⪍⨾a)⫒⫫(b⇢a))⇷⋗((a⪂⪕≍b)⇣⫑b)) , else }

def op_LXYRORd6DH(a, b):
    if op_ddRwwn6plX(a) < 85:
        return op_MLuVrXzyTy(op_AImFQV74U5(op_Ub5LgP3zz0(a,b)),op_ILZIEOL6W5(op_LkE86Ro6Gh(a,a),op_enyv3EGcQ1(81,b)))
    else:
        return op_MFRHkRtSmA(op_6Ko8hGgeMq(op_2rWG8UG4ro(a),op_GMN7JP6WpN(b,a)),op_srhPeXBSZS(op_WHRxrbF8gO(a,b),b))

def op_count_LXYRORd6DH(a, b):
    if op_ddRwwn6plX(a) < 85:
        count = op_count_Ub5LgP3zz0(a,b)+op_count_AImFQV74U5(op_Ub5LgP3zz0(a,b))+op_count_LkE86Ro6Gh(a,a)+op_count_enyv3EGcQ1(81,b)+op_count_ILZIEOL6W5(op_LkE86Ro6Gh(a,a),op_enyv3EGcQ1(81,b))+op_count_MLuVrXzyTy(op_AImFQV74U5(op_Ub5LgP3zz0(a,b)),op_ILZIEOL6W5(op_LkE86Ro6Gh(a,a),op_enyv3EGcQ1(81,b)))+op_count_ddRwwn6plX(a)
    else:
        count = op_count_2rWG8UG4ro(a)+op_count_GMN7JP6WpN(b,a)+op_count_6Ko8hGgeMq(op_2rWG8UG4ro(a),op_GMN7JP6WpN(b,a))+op_count_WHRxrbF8gO(a,b)+op_count_srhPeXBSZS(op_WHRxrbF8gO(a,b),b)+op_count_MFRHkRtSmA(op_6Ko8hGgeMq(op_2rWG8UG4ro(a),op_GMN7JP6WpN(b,a)),op_srhPeXBSZS(op_WHRxrbF8gO(a,b),b))
    return count


a↻⊙↡b = { (((265⫅⇎⫶a)⨓⨕≠(154⨳a))⪵⋛((b⋋⇅⊁a)⇣↛≟(b⨵⇚⪞))) , if (a∭)<69 ; ((a⩋⩴↯(a⪃⊛⇣577))*⊘⊥) , else }

def op_xmMSQW8VZK(a, b):
    if op_qLBMy5fcJr(a) < 69:
        return op_wUMGGCA6kW(op_wwMOHVJtzA(op_cdNjF6SLXv(265,a),op_YaB1w09lmH(154,a)),op_9XgyO8cQe5(op_uRdpOuG0pt(b,a),op_qsxZ7LE8tF(b)))
    else:
        return op_LfIsSpmOd6(op_NGwZOE19PH(a,op_rrgAzCduG9(a,577)))

def op_count_xmMSQW8VZK(a, b):
    if op_qLBMy5fcJr(a) < 69:
        count = op_count_cdNjF6SLXv(265,a)+op_count_YaB1w09lmH(154,a)+op_count_wwMOHVJtzA(op_cdNjF6SLXv(265,a),op_YaB1w09lmH(154,a))+op_count_uRdpOuG0pt(b,a)+op_count_qsxZ7LE8tF(b)+op_count_9XgyO8cQe5(op_uRdpOuG0pt(b,a),op_qsxZ7LE8tF(b))+op_count_wUMGGCA6kW(op_wwMOHVJtzA(op_cdNjF6SLXv(265,a),op_YaB1w09lmH(154,a)),op_9XgyO8cQe5(op_uRdpOuG0pt(b,a),op_qsxZ7LE8tF(b)))+op_count_qLBMy5fcJr(a)
    else:
        count = op_count_rrgAzCduG9(a,577)+op_count_NGwZOE19PH(a,op_rrgAzCduG9(a,577))+op_count_LfIsSpmOd6(op_NGwZOE19PH(a,op_rrgAzCduG9(a,577)))
    return count


def op_HewQUj0GaT(a, b):
    if op_aQMAt6GGKI(b) > 190:
        return op_sbVr4eN2cT(op_ne3ymXmP8e(a,125),op_RKeiQKbkFn(a))
    else:
        return op_ZNJwppvr1J(op_fXLvaTYCEu(a,337))

def op_count_HewQUj0GaT(a, b):
    if op_aQMAt6GGKI(b) > 190:
        count = op_count_ne3ymXmP8e(a,125)+op_count_RKeiQKbkFn(a)+op_count_sbVr4eN2cT(op_ne3ymXmP8e(a,125),op_RKeiQKbkFn(a))+op_count_aQMAt6GGKI(b)
    else:
        count = op_count_fXLvaTYCEu(a,337)+op_count_ZNJwppvr1J(op_fXLvaTYCEu(a,337))
    return count


a⊮⫝⪙ = { (((a⋲a)⩵∡(32⇻⋰⩬a))⇌≄↤((a∳⫺a)⩭)) , if (a⩅≹⊥528)<=634 ; a , else }

def op_BQGAuM59Ur(a):
    if op_WBz61sV7d5(a,528) <= 634:
        return op_67pLdqUuiR(op_Y7wcNGrDQJ(op_zoVUxTIMAa(a,a),op_FDwp7JETPi(32,a)),op_yIPP7u6H5x(op_AzXXKTstlj(a,a)))
    else:
        return a

def op_count_BQGAuM59Ur(a):
    if op_WBz61sV7d5(a,528) <= 634:
        count = op_count_zoVUxTIMAa(a,a)+op_count_FDwp7JETPi(32,a)+op_count_Y7wcNGrDQJ(op_zoVUxTIMAa(a,a),op_FDwp7JETPi(32,a))+op_count_AzXXKTstlj(a,a)+op_count_yIPP7u6H5x(op_AzXXKTstlj(a,a))+op_count_67pLdqUuiR(op_Y7wcNGrDQJ(op_zoVUxTIMAa(a,a),op_FDwp7JETPi(32,a)),op_yIPP7u6H5x(op_AzXXKTstlj(a,a)))+op_count_WBz61sV7d5(a,528)
    else:
        count = 1
    return count


a⇞⩁⨙ = { a , if a==624 ; (((a⩼⇪↪13)≓∲(⫛⫱⨽a))⇝⨮a) , else }

def op_AxfAw78UOZ(a):
    if a == 624:
        return a
    else:
        return op_UZhIZzOawa(op_s1XTVnmDOJ(op_ocnLzx9CaJ(a,13),op_DlLNRPXxWL(a)),a)

def op_count_AxfAw78UOZ(a):
    if a == 624:
        count = 1
    else:
        count = op_count_ocnLzx9CaJ(a,13)+op_count_DlLNRPXxWL(a)+op_count_s1XTVnmDOJ(op_ocnLzx9CaJ(a,13),op_DlLNRPXxWL(a))+op_count_UZhIZzOawa(op_s1XTVnmDOJ(op_ocnLzx9CaJ(a,13),op_DlLNRPXxWL(a)),a)
    return count


a∆⇣⪇b = { (((b↯⪋≎88)∙(b⩁≑⩠b))⫶≉((206⫎⊉⩷299)⩖∀(b⋧∎⨊b))) , if b==57 ; (⨴⫝((a⋩⪊⫪a)⊢(b⪮⪭b))) , else }

def op_0c4xQQqFpB(a, b):
    if b == 57:
        return op_Wi2L83eyOa(op_12NXCxMFkf(op_Y827t4Oxkq(b,88),op_J6uwgn6DsM(b,b)),op_vb6BVWtSHd(op_BpMHJNSmWr(206,299),op_jvKnzH5Wrf(b,b)))
    else:
        return op_SVb2v531z1(op_5twsqlHp2o(op_jgzsi2wuu5(a,a),op_umcb8ZB9wY(b,b)))

def op_count_0c4xQQqFpB(a, b):
    if b == 57:
        count = op_count_Y827t4Oxkq(b,88)+op_count_J6uwgn6DsM(b,b)+op_count_12NXCxMFkf(op_Y827t4Oxkq(b,88),op_J6uwgn6DsM(b,b))+op_count_BpMHJNSmWr(206,299)+op_count_jvKnzH5Wrf(b,b)+op_count_vb6BVWtSHd(op_BpMHJNSmWr(206,299),op_jvKnzH5Wrf(b,b))+op_count_Wi2L83eyOa(op_12NXCxMFkf(op_Y827t4Oxkq(b,88),op_J6uwgn6DsM(b,b)),op_vb6BVWtSHd(op_BpMHJNSmWr(206,299),op_jvKnzH5Wrf(b,b)))
    else:
        count = op_count_jgzsi2wuu5(a,a)+op_count_umcb8ZB9wY(b,b)+op_count_5twsqlHp2o(op_jgzsi2wuu5(a,a),op_umcb8ZB9wY(b,b))+op_count_SVb2v531z1(op_5twsqlHp2o(op_jgzsi2wuu5(a,a),op_umcb8ZB9wY(b,b)))
    return count


a⇐⫋ = { (≮⨆(⊿⪔a)) , if (⫢⨛a)>169 ; ((a⨐⩸⫘201)∨⋤⇐(a⫲≐a)) , else }

def op_JhpeMVFRII(a):
    if op_4Dyllu4mHO(a) > 169:
        return op_hl4Calylxn(op_WLuzRzneSI(a))
    else:
        return op_XAozx2NkZN(op_fu6greOZ01(a,201),op_sDUFqk2NSv(a,a))

def op_count_JhpeMVFRII(a):
    if op_4Dyllu4mHO(a) > 169:
        count = op_count_WLuzRzneSI(a)+op_count_hl4Calylxn(op_WLuzRzneSI(a))+op_count_4Dyllu4mHO(a)
    else:
        count = op_count_fu6greOZ01(a,201)+op_count_sDUFqk2NSv(a,a)+op_count_XAozx2NkZN(op_fu6greOZ01(a,201),op_sDUFqk2NSv(a,a))
    return count


↵∽a = { (↪⫪⫘(⩏⇻⫲(⫇∢⩩a))) , if (a⫉⇬⇴794)!=309 and a<45 and (a⊝⋁)!=729 ; (((a≵⩾⇗226)⊈⇓⨞a)⪆⪤⊀a) , else }

def op_YBqTImeDyv(a):
    if op_rTUPPhO5VL(a,794) != 309 and a < 45 and op_RENOe0fZe0(a) != 729:
        return op_9dWsAM3GFt(op_S5jp8fx3wg(op_MeqaiHmz06(a)))
    else:
        return op_fv7bIrfzMN(op_fj06ns36qH(op_GyJNigkHRe(a,226),a),a)

def op_count_YBqTImeDyv(a):
    if op_rTUPPhO5VL(a,794) != 309 and a < 45 and op_RENOe0fZe0(a) != 729:
        count = op_count_MeqaiHmz06(a)+op_count_S5jp8fx3wg(op_MeqaiHmz06(a))+op_count_9dWsAM3GFt(op_S5jp8fx3wg(op_MeqaiHmz06(a)))+op_count_rTUPPhO5VL(a,794)+op_count_RENOe0fZe0(a)
    else:
        count = op_count_GyJNigkHRe(a,226)+op_count_fj06ns36qH(op_GyJNigkHRe(a,226),a)+op_count_fv7bIrfzMN(op_fj06ns36qH(op_GyJNigkHRe(a,226),a),a)
    return count