a⇖⊫⨱ = { ((↪⫪⫘a)⫛∐⩼(231≻a)) , if (⫻∻⫝a)!=321 ; (a⪌⊯⪟(⊽⪳⋓a)) , else }

def op_DIMk9rMXS8(a):
    if op_UHiZrz1lbQ(a) != 321:
        return op_uQU0baUFSi(op_9dWsAM3GFt(a),op_5hXIoSHgw9(231,a))
    else:
        return op_ME4t0VB7iZ(a,op_MCrFb6r1k8(a))

def op_count_DIMk9rMXS8(a):
    if op_UHiZrz1lbQ(a) != 321:
        count = op_count_9dWsAM3GFt(a)+op_count_5hXIoSHgw9(231,a)+op_count_uQU0baUFSi(op_9dWsAM3GFt(a),op_5hXIoSHgw9(231,a))+op_count_UHiZrz1lbQ(a)
    else:
        count = op_count_MCrFb6r1k8(a)+op_count_ME4t0VB7iZ(a,op_MCrFb6r1k8(a))
    return count


def op_SDn8KSi9Pk(a, b):
    if op_OeDDgAmX5a(a) <= 472:
        return op_V721JHuZWD(op_PDrNSJDGFK(op_KROiRRz3d6(1,21)),33)
    else:
        return op_36TGfoTytI(a,op_IhSYcQUtqA(b,op_LeaixnEh0y(210,b)))

def op_count_SDn8KSi9Pk(a, b):
    if op_OeDDgAmX5a(a) <= 472:
        count = op_count_KROiRRz3d6(1,21)+op_count_PDrNSJDGFK(op_KROiRRz3d6(1,21))+op_count_V721JHuZWD(op_PDrNSJDGFK(op_KROiRRz3d6(1,21)),33)+op_count_OeDDgAmX5a(a)
    else:
        count = op_count_LeaixnEh0y(210,b)+op_count_IhSYcQUtqA(b,op_LeaixnEh0y(210,b))+op_count_36TGfoTytI(a,op_IhSYcQUtqA(b,op_LeaixnEh0y(210,b)))
    return count


a⪖⋗∋b = { ((a⊫⊎)⇌∀(⇥⩃a)) , if (b⪘)==135 ; (146⫊⪾⫇(a⊫⩢1)) , else }

def op_Mj2685Yyhu(a, b):
    if op_otBzi3yDII(b) == 135:
        return op_XONPy1BCje(op_hzNl2ELaCM(a),op_BN95awToQz(a))
    else:
        return op_svYG05ELwl(146,op_KcPBP832pE(a,1))

def op_count_Mj2685Yyhu(a, b):
    if op_otBzi3yDII(b) == 135:
        count = op_count_hzNl2ELaCM(a)+op_count_BN95awToQz(a)+op_count_XONPy1BCje(op_hzNl2ELaCM(a),op_BN95awToQz(a))+op_count_otBzi3yDII(b)
    else:
        count = op_count_KcPBP832pE(a,1)+op_count_svYG05ELwl(146,op_KcPBP832pE(a,1))
    return count


def op_lnvO3PsJt0(a):
    if op_rK7H9hZmfU(a,175) != 45:
        return op_PDrNSJDGFK(op_E6kf18OqlZ(op_y1eBRRC36c(540,a)))
    else:
        return op_6hz2NCYjHL(op_NQx0zRYggH(op_LbAE8EoqYH(a,33),op_wLFAaebWLN(a,a)))

def op_count_lnvO3PsJt0(a):
    if op_rK7H9hZmfU(a,175) != 45:
        count = op_count_y1eBRRC36c(540,a)+op_count_E6kf18OqlZ(op_y1eBRRC36c(540,a))+op_count_PDrNSJDGFK(op_E6kf18OqlZ(op_y1eBRRC36c(540,a)))+op_count_rK7H9hZmfU(a,175)
    else:
        count = op_count_LbAE8EoqYH(a,33)+op_count_wLFAaebWLN(a,a)+op_count_NQx0zRYggH(op_LbAE8EoqYH(a,33),op_wLFAaebWLN(a,a))+op_count_6hz2NCYjHL(op_NQx0zRYggH(op_LbAE8EoqYH(a,33),op_wLFAaebWLN(a,a)))
    return count


⩝≸a = { (((a⇧⊇⋩660)≃∵∷)≤(a∶⨪⊚(a∲⫓94))) , if a<=33 ; (((a⇒≿≁a)⊘⊒(≧%→a))⨔⫢⋨(⨜↚⪖(297↬⪚⋚a))) , else }

def op_Rw8mNbARE0(a):
    if a <= 33:
        return op_HgknbBBPDn(op_VLryhnOmfw(op_1TuAU3ehYs(a,660)),op_Fuz0oX5uPW(a,op_i8ToyICDmI(a,94)))
    else:
        return op_KgrVg2WY9S(op_Mcn3daWqHc(op_c2EN3bedbk(a,a),op_mtYELhq5uV(a)),op_TMIS6r1MbZ(op_fX6s9onSnr(297,a)))

def op_count_Rw8mNbARE0(a):
    if a <= 33:
        count = op_count_1TuAU3ehYs(a,660)+op_count_VLryhnOmfw(op_1TuAU3ehYs(a,660))+op_count_i8ToyICDmI(a,94)+op_count_Fuz0oX5uPW(a,op_i8ToyICDmI(a,94))+op_count_HgknbBBPDn(op_VLryhnOmfw(op_1TuAU3ehYs(a,660)),op_Fuz0oX5uPW(a,op_i8ToyICDmI(a,94)))
    else:
        count = op_count_c2EN3bedbk(a,a)+op_count_mtYELhq5uV(a)+op_count_Mcn3daWqHc(op_c2EN3bedbk(a,a),op_mtYELhq5uV(a))+op_count_fX6s9onSnr(297,a)+op_count_TMIS6r1MbZ(op_fX6s9onSnr(297,a))+op_count_KgrVg2WY9S(op_Mcn3daWqHc(op_c2EN3bedbk(a,a),op_mtYELhq5uV(a)),op_TMIS6r1MbZ(op_fX6s9onSnr(297,a)))
    return count


a≉≚b = { ((⊥a)∹⇒≸(b⫉⇬⇴a)) , if (≵⪚⪋b)<24 ; ((b⨅∔⋝837)⪾⪙(b≊⊬b)) , else }

def op_jclpaUKTlF(a, b):
    if op_5E98EovdLU(b) < 24:
        return op_4sRnSH0ldE(op_Q3PJZHRvZv(a),op_rTUPPhO5VL(b,a))
    else:
        return op_S964yixmzy(op_KGpiLyxIW6(b,837),op_ZqWZ7aSIYL(b,b))

def op_count_jclpaUKTlF(a, b):
    if op_5E98EovdLU(b) < 24:
        count = op_count_Q3PJZHRvZv(a)+op_count_rTUPPhO5VL(b,a)+op_count_4sRnSH0ldE(op_Q3PJZHRvZv(a),op_rTUPPhO5VL(b,a))+op_count_5E98EovdLU(b)
    else:
        count = op_count_KGpiLyxIW6(b,837)+op_count_ZqWZ7aSIYL(b,b)+op_count_S964yixmzy(op_KGpiLyxIW6(b,837),op_ZqWZ7aSIYL(b,b))
    return count


a⪆⋾ = { ((⪠(a⨕⇲⇜a))⫾(⨩↞⋞(⋞⨂⫏a))) , if a<=130 ; (((a⪒⊣⊆a)⪙⪋≵(a⇡⨐⪆a))⨑⊃⫛((a↪a)⩊≴⋘(a⇻⫪⇃a))) , else }

def op_AotK4QpUn7(a):
    if a <= 130:
        return op_7JbuLsbBtx(op_RKeiQKbkFn(op_DlQhWMLsNa(a,a)),op_T9ryv5IELa(op_yEnfEu97Sw(a)))
    else:
        return op_QJfD8BdLrJ(op_Y4P2H7a92Q(op_eRqsBgTDFp(a,a),op_snJ4WsMDae(a,a)),op_SCITVCa1lL(op_EiZwwOZ4nb(a,a),op_NvXf9kO3wV(a,a)))

def op_count_AotK4QpUn7(a):
    if a <= 130:
        count = op_count_DlQhWMLsNa(a,a)+op_count_RKeiQKbkFn(op_DlQhWMLsNa(a,a))+op_count_yEnfEu97Sw(a)+op_count_T9ryv5IELa(op_yEnfEu97Sw(a))+op_count_7JbuLsbBtx(op_RKeiQKbkFn(op_DlQhWMLsNa(a,a)),op_T9ryv5IELa(op_yEnfEu97Sw(a)))
    else:
        count = op_count_eRqsBgTDFp(a,a)+op_count_snJ4WsMDae(a,a)+op_count_Y4P2H7a92Q(op_eRqsBgTDFp(a,a),op_snJ4WsMDae(a,a))+op_count_EiZwwOZ4nb(a,a)+op_count_NvXf9kO3wV(a,a)+op_count_SCITVCa1lL(op_EiZwwOZ4nb(a,a),op_NvXf9kO3wV(a,a))+op_count_QJfD8BdLrJ(op_Y4P2H7a92Q(op_eRqsBgTDFp(a,a),op_snJ4WsMDae(a,a)),op_SCITVCa1lL(op_EiZwwOZ4nb(a,a),op_NvXf9kO3wV(a,a)))
    return count


a⫽⋦ = { (a⊰⋡a) , if a!=3 ; (a∥⊢⊲a) , else }

def op_HmnhVAue6F(a):
    if a != 3:
        return op_vjFqOupvX0(a,a)
    else:
        return op_v1UQAVDJRr(a,a)

def op_count_HmnhVAue6F(a):
    if a != 3:
        count = op_count_vjFqOupvX0(a,a)
    else:
        count = op_count_v1UQAVDJRr(a,a)
    return count


a⋐⩶b = { ((⊹⩝⩌(446⩆))⇺⊇) , if (a⇒⇑∠836)!=153 ; (((a∑⇟⊟b)⊒⫄)≶⋎(⫎⨵⪌(⪕⇯∇a))) , else }

def op_3Ay8PE6nzV(a, b):
    if op_V3Robn58tk(a,836) != 153:
        return op_8at3kJaBBN(op_jb5QPTkwwK(op_HNxyAwp1jS(446)))
    else:
        return op_KKQjbbJ9ie(op_nh3x8a6Puv(op_U7g4x0WXJJ(a,b)),op_sRe1zx0fTH(op_eOaazfIvNN(a)))

def op_count_3Ay8PE6nzV(a, b):
    if op_V3Robn58tk(a,836) != 153:
        count = op_count_HNxyAwp1jS(446)+op_count_jb5QPTkwwK(op_HNxyAwp1jS(446))+op_count_8at3kJaBBN(op_jb5QPTkwwK(op_HNxyAwp1jS(446)))+op_count_V3Robn58tk(a,836)
    else:
        count = op_count_U7g4x0WXJJ(a,b)+op_count_nh3x8a6Puv(op_U7g4x0WXJJ(a,b))+op_count_eOaazfIvNN(a)+op_count_sRe1zx0fTH(op_eOaazfIvNN(a))+op_count_KKQjbbJ9ie(op_nh3x8a6Puv(op_U7g4x0WXJJ(a,b)),op_sRe1zx0fTH(op_eOaazfIvNN(a)))
    return count


def op_R5LQDNXM5x(a):
    if op_1vIQx1Qjvl(a,891) < 14 or op_MajuE94pkX(a) > 221:
        return 144
    else:
        return op_c2r3abcdex(op_AHC0DUa4yD(op_As8RqfVLgs(a,62),op_s5E3qFixue(156)))

def op_count_R5LQDNXM5x(a):
    if op_1vIQx1Qjvl(a,891) < 14 or op_MajuE94pkX(a) > 221:
        count = op_count_1vIQx1Qjvl(a,891)+op_count_MajuE94pkX(a)
    else:
        count = op_count_As8RqfVLgs(a,62)+op_count_s5E3qFixue(156)+op_count_AHC0DUa4yD(op_As8RqfVLgs(a,62),op_s5E3qFixue(156))+op_count_c2r3abcdex(op_AHC0DUa4yD(op_As8RqfVLgs(a,62),op_s5E3qFixue(156)))
    return count


↡≚⋠a = { (((a⫯⫫⩾a)⨇⩔(∂⇢788))⨐⩸⫘((33∜↬a)⋗⩔(a⩃⋣≅a))) , if (a⨭⋐⨕)<355 and (a⊚⨁475)<327 ; (a⪿⨑a) , else }

def op_SwRJUmVs5b(a):
    if op_0x8fbimt21(a) < 355 and op_RNJInnG9gY(a,475) < 327:
        return op_fu6greOZ01(op_q1sc1H7in7(op_PjX0nsy6Is(a,a),op_xmM771S5Pe(788)),op_yq1ejzOzcL(op_Gvs3vXn1Ui(33,a),op_wkGOHkejlq(a,a)))
    else:
        return op_GigY1hfIYu(a,a)

def op_count_SwRJUmVs5b(a):
    if op_0x8fbimt21(a) < 355 and op_RNJInnG9gY(a,475) < 327:
        count = op_count_PjX0nsy6Is(a,a)+op_count_xmM771S5Pe(788)+op_count_q1sc1H7in7(op_PjX0nsy6Is(a,a),op_xmM771S5Pe(788))+op_count_Gvs3vXn1Ui(33,a)+op_count_wkGOHkejlq(a,a)+op_count_yq1ejzOzcL(op_Gvs3vXn1Ui(33,a),op_wkGOHkejlq(a,a))+op_count_fu6greOZ01(op_q1sc1H7in7(op_PjX0nsy6Is(a,a),op_xmM771S5Pe(788)),op_yq1ejzOzcL(op_Gvs3vXn1Ui(33,a),op_wkGOHkejlq(a,a)))+op_count_0x8fbimt21(a)+op_count_RNJInnG9gY(a,475)
    else:
        count = op_count_GigY1hfIYu(a,a)
    return count


a⋫⨯⨞b = { ((a⨮)↩⋒(⪉⋎∅a)) , if (a⨊⋽⫟)>391 ; ((⇺⋃b)⨖≹(⇉⪥a)) , else }

def op_RZ4BMVcvPh(a, b):
    if op_VTZvPh32nM(a) > 391:
        return op_F4YWqIofbM(op_jPzvRlArHT(a),op_NEss8XKjAy(a))
    else:
        return op_x56Q1NfF72(op_E5v5B3UAjG(b),op_M2B6wyGvxF(a))

def op_count_RZ4BMVcvPh(a, b):
    if op_VTZvPh32nM(a) > 391:
        count = op_count_jPzvRlArHT(a)+op_count_NEss8XKjAy(a)+op_count_F4YWqIofbM(op_jPzvRlArHT(a),op_NEss8XKjAy(a))+op_count_VTZvPh32nM(a)
    else:
        count = op_count_E5v5B3UAjG(b)+op_count_M2B6wyGvxF(a)+op_count_x56Q1NfF72(op_E5v5B3UAjG(b),op_M2B6wyGvxF(a))
    return count


def op_bjCuXhL34U(a, b):
    if (op_XIFOzKCdcS(b,670) != 166 and op_HcpSfZGHXr(a) <= 684):
        return op_CjDCLd9yl0(139,op_Z36JYzhjcK(op_Cz3oYOfD2J(a),op_oNoCrsWj2C(224)))
    else:
        return op_iAtjGBADWH(op_i6kyr1sQ78(op_xf6eqZIrT0(624,b),op_w6GhqmB5yQ(a,b)),op_xgYOZyJC4Q(op_uU3XJfDBdq(b,562),b))

def op_count_bjCuXhL34U(a, b):
    if (op_XIFOzKCdcS(b,670) != 166 and op_HcpSfZGHXr(a) <= 684):
        count = op_count_Cz3oYOfD2J(a)+op_count_oNoCrsWj2C(224)+op_count_Z36JYzhjcK(op_Cz3oYOfD2J(a),op_oNoCrsWj2C(224))+op_count_CjDCLd9yl0(139,op_Z36JYzhjcK(op_Cz3oYOfD2J(a),op_oNoCrsWj2C(224)))+op_count_XIFOzKCdcS(b,670)+op_count_HcpSfZGHXr(a)
    else:
        count = op_count_xf6eqZIrT0(624,b)+op_count_w6GhqmB5yQ(a,b)+op_count_i6kyr1sQ78(op_xf6eqZIrT0(624,b),op_w6GhqmB5yQ(a,b))+op_count_uU3XJfDBdq(b,562)+op_count_xgYOZyJC4Q(op_uU3XJfDBdq(b,562),b)+op_count_iAtjGBADWH(op_i6kyr1sQ78(op_xf6eqZIrT0(624,b),op_w6GhqmB5yQ(a,b)),op_xgYOZyJC4Q(op_uU3XJfDBdq(b,562),b))
    return count


⪉⊯⪸a = { ((a∪⋋)≫↝⫼(a⋗↱49)) , if (⪱≬a)==183 ; ((327⨁↜a)⋘↷↾(a⪃⊛⇣a)) , else }

def op_fvFMR5eLzk(a):
    if op_3l0286Hu2p(a) == 183:
        return op_roejz2H2dp(op_ZHbGYeIEOk(a),op_ks8apemKCz(a,49))
    else:
        return op_1Scw8a5e7g(op_HXskc7lbNg(327,a),op_rrgAzCduG9(a,a))

def op_count_fvFMR5eLzk(a):
    if op_3l0286Hu2p(a) == 183:
        count = op_count_ZHbGYeIEOk(a)+op_count_ks8apemKCz(a,49)+op_count_roejz2H2dp(op_ZHbGYeIEOk(a),op_ks8apemKCz(a,49))+op_count_3l0286Hu2p(a)
    else:
        count = op_count_HXskc7lbNg(327,a)+op_count_rrgAzCduG9(a,a)+op_count_1Scw8a5e7g(op_HXskc7lbNg(327,a),op_rrgAzCduG9(a,a))
    return count


a⇉⩁⨱b = { ((b⨕⇃⩗b)⪢(a⩰↠a)) , if (⪤a)==208 and (a∌⋯161)<508 ; ((259⨐⩸⫘b)∩⊐≤) , else }

def op_OXg2mDHQJO(a, b):
    if op_sgAhpeloD6(a) == 208 and op_8lBC7wqBde(a,161) < 508:
        return op_dWAJyo7jo9(op_9MFhuZajkF(b,b),op_s9l7B39Gy2(a,a))
    else:
        return op_N9FDu1g6sS(op_fu6greOZ01(259,b))

def op_count_OXg2mDHQJO(a, b):
    if op_sgAhpeloD6(a) == 208 and op_8lBC7wqBde(a,161) < 508:
        count = op_count_9MFhuZajkF(b,b)+op_count_s9l7B39Gy2(a,a)+op_count_dWAJyo7jo9(op_9MFhuZajkF(b,b),op_s9l7B39Gy2(a,a))+op_count_sgAhpeloD6(a)+op_count_8lBC7wqBde(a,161)
    else:
        count = op_count_fu6greOZ01(259,b)+op_count_N9FDu1g6sS(op_fu6greOZ01(259,b))
    return count


⫑⫺⨶a = { (⪬⩣≤((a⫁a)↹≜∞a)) , if (⪙⩛⫗a)>56 ; ((⨌⩝≸(a≺⊁⋃a))⋰a) , else }

def op_ISLlsjOUaQ(a):
    if op_FtCfX2urXE(a) > 56:
        return op_P4q3vTj68j(op_bAt5z2ML1n(op_0ajvFaJAv0(a,a),a))
    else:
        return op_lDgtejlvTV(op_SIW6J0XhfM(op_oxHsYMqCma(a,a)),a)

def op_count_ISLlsjOUaQ(a):
    if op_FtCfX2urXE(a) > 56:
        count = op_count_0ajvFaJAv0(a,a)+op_count_bAt5z2ML1n(op_0ajvFaJAv0(a,a),a)+op_count_P4q3vTj68j(op_bAt5z2ML1n(op_0ajvFaJAv0(a,a),a))+op_count_FtCfX2urXE(a)
    else:
        count = op_count_oxHsYMqCma(a,a)+op_count_SIW6J0XhfM(op_oxHsYMqCma(a,a))+op_count_lDgtejlvTV(op_SIW6J0XhfM(op_oxHsYMqCma(a,a)),a)
    return count


⨃→a = { (((a⪏a)⫩⫓(a⪻⫮↳))∼a) , if a<=149 ; (⇌⩫⇍((a⩙⪻a)⨎⋅(a∈⫷⨾a))) , else }

def op_fpNvDeHCGB(a):
    if a <= 149:
        return op_DyGG3AbaNP(op_dN8578Iovx(op_ReAzrgtvfu(a,a),op_wAmh1DN8VY(a)),a)
    else:
        return op_JKgjm8vE7t(op_hMGfXo4m8J(op_Y0zpOQG4YL(a,a),op_97rocKiZDM(a,a)))

def op_count_fpNvDeHCGB(a):
    if a <= 149:
        count = op_count_ReAzrgtvfu(a,a)+op_count_wAmh1DN8VY(a)+op_count_dN8578Iovx(op_ReAzrgtvfu(a,a),op_wAmh1DN8VY(a))+op_count_DyGG3AbaNP(op_dN8578Iovx(op_ReAzrgtvfu(a,a),op_wAmh1DN8VY(a)),a)
    else:
        count = op_count_Y0zpOQG4YL(a,a)+op_count_97rocKiZDM(a,a)+op_count_hMGfXo4m8J(op_Y0zpOQG4YL(a,a),op_97rocKiZDM(a,a))+op_count_JKgjm8vE7t(op_hMGfXo4m8J(op_Y0zpOQG4YL(a,a),op_97rocKiZDM(a,a)))
    return count


↘⋺⨽a = { ((⊻⇿⋺a)↬⨮⇲(a⇣⩏)) , if a!=55 ; ((a⋹⋡⊁a)⇕⫴⪏a) , else }

def op_RxFcOKVklG(a):
    if a != 55:
        return op_8TJv5LDobx(op_3ETyc1YnpT(a),op_oNoCrsWj2C(a))
    else:
        return op_GJHlsoPRLa(op_As8RqfVLgs(a,a),a)

def op_count_RxFcOKVklG(a):
    if a != 55:
        count = op_count_3ETyc1YnpT(a)+op_count_oNoCrsWj2C(a)+op_count_8TJv5LDobx(op_3ETyc1YnpT(a),op_oNoCrsWj2C(a))
    else:
        count = op_count_As8RqfVLgs(a,a)+op_count_GJHlsoPRLa(op_As8RqfVLgs(a,a),a)
    return count


a⇀⇊⪽b = { (b⫢⇘∝b) , if (a↮⋯657)>44 ; (b⋦≤) , else }

def op_ziMrnT3a3d(a, b):
    if op_KPNWZM5Xul(a,657) > 44:
        return op_4TVzEgIAOW(b,b)
    else:
        return op_1RKnjyXON0(b)

def op_count_ziMrnT3a3d(a, b):
    if op_KPNWZM5Xul(a,657) > 44:
        count = op_count_4TVzEgIAOW(b,b)+op_count_KPNWZM5Xul(a,657)
    else:
        count = op_count_1RKnjyXON0(b)
    return count


def op_w2X6w1LZm1(a, b):
    if op_GXTzmLCEuJ(a) == 239 and op_DlLNRPXxWL(b) > 13 and b <= 42:
        return op_xUx7qlDO4z(b)
    else:
        return op_x5p3WF8YzS(797,915)

def op_count_w2X6w1LZm1(a, b):
    if op_GXTzmLCEuJ(a) == 239 and op_DlLNRPXxWL(b) > 13 and b <= 42:
        count = op_count_xUx7qlDO4z(b)+op_count_GXTzmLCEuJ(a)+op_count_DlLNRPXxWL(b)
    else:
        count = op_count_x5p3WF8YzS(797,915)
    return count


a⩙↲b = { (((b↫⪋b)⋏⫫∉(192≨≷↮a))∪⋗(∯↦⪐(b⨅⪔207))) , if (∨⨗b)!=20 ; ((⪳⫟⩤(b↾∥⪚b))≣⇻⫥(⩄(a⊡≗b))) , else }

def op_P7M1hVTxb7(a, b):
    if op_Oda0vSKASk(b) != 20:
        return op_qPbESVb90t(op_uc8QQvMjnT(op_9Z0HYftGYc(b,b),op_HcR3lMcVMO(192,a)),op_5NeFaSuRhF(op_zs0bbCWKdf(b,207)))
    else:
        return op_mFxXOjnZkL(op_Mwm3sDJixD(op_QyT1usQeR4(b,b)),op_otB5Ew3TfZ(op_8fYlehcX6L(a,b)))

def op_count_P7M1hVTxb7(a, b):
    if op_Oda0vSKASk(b) != 20:
        count = op_count_9Z0HYftGYc(b,b)+op_count_HcR3lMcVMO(192,a)+op_count_uc8QQvMjnT(op_9Z0HYftGYc(b,b),op_HcR3lMcVMO(192,a))+op_count_zs0bbCWKdf(b,207)+op_count_5NeFaSuRhF(op_zs0bbCWKdf(b,207))+op_count_qPbESVb90t(op_uc8QQvMjnT(op_9Z0HYftGYc(b,b),op_HcR3lMcVMO(192,a)),op_5NeFaSuRhF(op_zs0bbCWKdf(b,207)))+op_count_Oda0vSKASk(b)
    else:
        count = op_count_QyT1usQeR4(b,b)+op_count_Mwm3sDJixD(op_QyT1usQeR4(b,b))+op_count_8fYlehcX6L(a,b)+op_count_otB5Ew3TfZ(op_8fYlehcX6L(a,b))+op_count_mFxXOjnZkL(op_Mwm3sDJixD(op_QyT1usQeR4(b,b)),op_otB5Ew3TfZ(op_8fYlehcX6L(a,b)))
    return count


a⪐≷b = { (≾⫽b) , if (a⊒⪢)==21 ; (13∥⊢⊲b) , else }

def op_qFy0Mj3u4R(a, b):
    if op_eW8dGlLOGp(a) == 21:
        return op_plJuxQVeFk(b)
    else:
        return op_v1UQAVDJRr(13,b)

def op_count_qFy0Mj3u4R(a, b):
    if op_eW8dGlLOGp(a) == 21:
        count = op_count_plJuxQVeFk(b)+op_count_eW8dGlLOGp(a)
    else:
        count = op_count_v1UQAVDJRr(13,b)
    return count


a⊠≣∸b = { (⇀(a⫓⫕a)) , if (b√⇢)!=25 ; ((⫟⇪⇾74)⨟⋌⩍(b⩖∀a)) , else }

def op_Us2LWwOgbi(a, b):
    if op_xuCG1msaqB(b) != 25:
        return op_r6dTyk8NtM(op_XsvFqRKgU7(a,a))
    else:
        return op_rGHVDoGpnC(op_WnEoYGZB9p(74),op_vb6BVWtSHd(b,a))

def op_count_Us2LWwOgbi(a, b):
    if op_xuCG1msaqB(b) != 25:
        count = op_count_XsvFqRKgU7(a,a)+op_count_r6dTyk8NtM(op_XsvFqRKgU7(a,a))+op_count_xuCG1msaqB(b)
    else:
        count = op_count_WnEoYGZB9p(74)+op_count_vb6BVWtSHd(b,a)+op_count_rGHVDoGpnC(op_WnEoYGZB9p(74),op_vb6BVWtSHd(b,a))
    return count


def op_ddNjnRVCzm(a, b):
    if op_S8OTv5lHfG(b,568) != 407:
        return op_9dWsAM3GFt(a)
    else:
        return op_9Xid4KwaQf(b,op_EAoIFGtZkS(b))

def op_count_ddNjnRVCzm(a, b):
    if op_S8OTv5lHfG(b,568) != 407:
        count = op_count_9dWsAM3GFt(a)+op_count_S8OTv5lHfG(b,568)
    else:
        count = op_count_EAoIFGtZkS(b)+op_count_9Xid4KwaQf(b,op_EAoIFGtZkS(b))
    return count


def op_jCbz2jCesL(a):
    if (op_g7Hmc5v1ko(a,640) != 45 and a != 328 and op_Ky23fDbHIN(a) >= 23):
        return op_HTmwGS9Ecj(op_U7g4x0WXJJ(a,a))
    else:
        return op_NPE338n0HM(op_j7FIBANwpy(45),op_pNsYZ4ACSL(a,a))

def op_count_jCbz2jCesL(a):
    if (op_g7Hmc5v1ko(a,640) != 45 and a != 328 and op_Ky23fDbHIN(a) >= 23):
        count = op_count_U7g4x0WXJJ(a,a)+op_count_HTmwGS9Ecj(op_U7g4x0WXJJ(a,a))+op_count_g7Hmc5v1ko(a,640)+op_count_Ky23fDbHIN(a)
    else:
        count = op_count_j7FIBANwpy(45)+op_count_pNsYZ4ACSL(a,a)+op_count_NPE338n0HM(op_j7FIBANwpy(45),op_pNsYZ4ACSL(a,a))
    return count


⪭⋔a = { (a⇋⨤) , if (≻≏↙a)>=32 ; (∎≩⨯a) , else }

def op_2CVEVt1jgp(a):
    if op_JaOptaXQSg(a) >= 32:
        return op_UOaUNhpuyT(a)
    else:
        return op_l8UfvtpCFJ(a)

def op_count_2CVEVt1jgp(a):
    if op_JaOptaXQSg(a) >= 32:
        count = op_count_UOaUNhpuyT(a)+op_count_JaOptaXQSg(a)
    else:
        count = op_count_l8UfvtpCFJ(a)
    return count


a⋂⊑⫑b = { (b⫊⩸⋊b) , if (a⪙∝)<=1 ; (⨴⫝b) , else }

def op_CE7Hs0LNkj(a, b):
    if op_HdZMHzTtCW(a) <= 1:
        return op_1iU1QMvKk5(b,b)
    else:
        return op_SVb2v531z1(b)

def op_count_CE7Hs0LNkj(a, b):
    if op_HdZMHzTtCW(a) <= 1:
        count = op_count_1iU1QMvKk5(b,b)+op_count_HdZMHzTtCW(a)
    else:
        count = op_count_SVb2v531z1(b)
    return count


a∏∉b = { ((b∢∝a)⨤(a∝⊥)) , if (a⩩∝579)<=222 ; (a∃⊄(b⪏∋b)) , else }

def op_QnR9SIj1ts(a, b):
    if op_1JGD46l1GR(a,579) <= 222:
        return op_6Dk38mmJ69(op_Rbawt6nfR7(b,a),op_yS6aSylXcn(a))
    else:
        return op_p5sVf13ywX(a,op_yD4OLUtLkA(b,b))

def op_count_QnR9SIj1ts(a, b):
    if op_1JGD46l1GR(a,579) <= 222:
        count = op_count_Rbawt6nfR7(b,a)+op_count_yS6aSylXcn(a)+op_count_6Dk38mmJ69(op_Rbawt6nfR7(b,a),op_yS6aSylXcn(a))+op_count_1JGD46l1GR(a,579)
    else:
        count = op_count_yD4OLUtLkA(b,b)+op_count_p5sVf13ywX(a,op_yD4OLUtLkA(b,b))
    return count


a⇎∏b = { (a∛⋝⇈(b⫒⫫b)) , if (⩱⫮b)>=301 ; ((⫥⫬⇟a)↘⫼(b⋆⋬a)) , else }

def op_30rm44eTyo(a, b):
    if op_12Umaz9MH9(b) >= 301:
        return op_xYQH85bpue(a,op_6Ko8hGgeMq(b,b))
    else:
        return op_Vj82UMHPMx(op_casPA5FTUX(a),op_7YiCYgpUY4(b,a))

def op_count_30rm44eTyo(a, b):
    if op_12Umaz9MH9(b) >= 301:
        count = op_count_6Ko8hGgeMq(b,b)+op_count_xYQH85bpue(a,op_6Ko8hGgeMq(b,b))+op_count_12Umaz9MH9(b)
    else:
        count = op_count_casPA5FTUX(a)+op_count_7YiCYgpUY4(b,a)+op_count_Vj82UMHPMx(op_casPA5FTUX(a),op_7YiCYgpUY4(b,a))
    return count


a≊≮b = { ((≡⊻(b⩇-b))⫁∆⨗((72⋢⨘)≄⩼(a⫎⊬⇪b))) , if (⩯≢≕b)<=317 ; ((⇺⋃(a⋁⫘⋐b))⪿↓) , else }

def op_xxCYUnoOpB(a, b):
    if op_840vADziXz(b) <= 317:
        return op_JAobebJkKA(op_15J2qxtmnt(op_wCMamEyb9i(b,b)),op_omoy7v1DzT(op_TC4CXaSPFw(72),op_l0bZvDjuWY(a,b)))
    else:
        return op_AQR3Y5beSM(op_E5v5B3UAjG(op_bvEbpGYZ1Q(a,b)))

def op_count_xxCYUnoOpB(a, b):
    if op_840vADziXz(b) <= 317:
        count = op_count_wCMamEyb9i(b,b)+op_count_15J2qxtmnt(op_wCMamEyb9i(b,b))+op_count_TC4CXaSPFw(72)+op_count_l0bZvDjuWY(a,b)+op_count_omoy7v1DzT(op_TC4CXaSPFw(72),op_l0bZvDjuWY(a,b))+op_count_JAobebJkKA(op_15J2qxtmnt(op_wCMamEyb9i(b,b)),op_omoy7v1DzT(op_TC4CXaSPFw(72),op_l0bZvDjuWY(a,b)))+op_count_840vADziXz(b)
    else:
        count = op_count_bvEbpGYZ1Q(a,b)+op_count_E5v5B3UAjG(op_bvEbpGYZ1Q(a,b))+op_count_AQR3Y5beSM(op_E5v5B3UAjG(op_bvEbpGYZ1Q(a,b)))
    return count


√∟a = { (((a⩲⊅)⇣⩏)⩭⊋a) , if (a∅⋟⋈285)==476 and (a⪡⋛)<=482 ; (⊉↲((a⇦↓a)≀⇓∃(⩅⪆a))) , else }

def op_khjrfehMJ2(a):
    if op_tGNgmywV9u(a,285) == 476 and op_ts8DGGvHm3(a) <= 482:
        return op_c721urvlIy(op_oNoCrsWj2C(op_ceao54Vsbj(a)),a)
    else:
        return op_fkZUW4eOKP(op_kXpzAH9jno(op_GUNDlfLmMO(a,a),op_q4us7QSqq3(a)))

def op_count_khjrfehMJ2(a):
    if op_tGNgmywV9u(a,285) == 476 and op_ts8DGGvHm3(a) <= 482:
        count = op_count_ceao54Vsbj(a)+op_count_oNoCrsWj2C(op_ceao54Vsbj(a))+op_count_c721urvlIy(op_oNoCrsWj2C(op_ceao54Vsbj(a)),a)+op_count_tGNgmywV9u(a,285)+op_count_ts8DGGvHm3(a)
    else:
        count = op_count_GUNDlfLmMO(a,a)+op_count_q4us7QSqq3(a)+op_count_kXpzAH9jno(op_GUNDlfLmMO(a,a),op_q4us7QSqq3(a))+op_count_fkZUW4eOKP(op_kXpzAH9jno(op_GUNDlfLmMO(a,a),op_q4us7QSqq3(a)))
    return count


a⪾⋁b = { ((b≤b)⪘⇷⨒(b⪓⇀⫇)) , if (a∎)==40 ; ((b≛∁⨓b)∩(∌⇗15)) , else }

def op_wCz8Gf2p2F(a, b):
    if op_OVg4Y5bM5J(a) == 40:
        return op_6jL92VAzQT(op_HgknbBBPDn(b,b),op_SNWesf9iCk(b))
    else:
        return op_F9Zfm1dsok(op_OBmonyAJof(b,b),op_jOLWJh9ixj(15))

def op_count_wCz8Gf2p2F(a, b):
    if op_OVg4Y5bM5J(a) == 40:
        count = op_count_HgknbBBPDn(b,b)+op_count_SNWesf9iCk(b)+op_count_6jL92VAzQT(op_HgknbBBPDn(b,b),op_SNWesf9iCk(b))+op_count_OVg4Y5bM5J(a)
    else:
        count = op_count_OBmonyAJof(b,b)+op_count_jOLWJh9ixj(15)+op_count_F9Zfm1dsok(op_OBmonyAJof(b,b),op_jOLWJh9ixj(15))
    return count


a⪨⫁⫏b = { (∶⇠⨍(a↚)) , if a<677 ; ((a∨⨩∛b)⋪⩘≼a) , else }

def op_w7L4OQ8oc0(a, b):
    if a < 677:
        return op_A5l3xeE7N2(op_FpZEcu9gEh(a))
    else:
        return op_skFBHrSAU9(op_vEtY77xraV(a,b),a)

def op_count_w7L4OQ8oc0(a, b):
    if a < 677:
        count = op_count_FpZEcu9gEh(a)+op_count_A5l3xeE7N2(op_FpZEcu9gEh(a))
    else:
        count = op_count_vEtY77xraV(a,b)+op_count_skFBHrSAU9(op_vEtY77xraV(a,b),a)
    return count


a⇍↟b = { (a⊫∞) , if (⊋⪀⋰b)<=46 ; (717⪨∜b) , else }

def op_yqDymR32cI(a, b):
    if op_Hl6PnxXC2J(b) <= 46:
        return op_pABnYW3G3E(a)
    else:
        return op_TE9MRjNUgG(717,b)

def op_count_yqDymR32cI(a, b):
    if op_Hl6PnxXC2J(b) <= 46:
        count = op_count_pABnYW3G3E(a)+op_count_Hl6PnxXC2J(b)
    else:
        count = op_count_TE9MRjNUgG(717,b)
    return count


⊆≌∭a = { (a⫌⇛(∃a)) , if ((⊐∔a)<=387 and (a⨄⇱⋆)<=556 and (a⇭⨛)>114) ; ((a⋌≃16)⊵⩱(a∑⇟⊟a)) , else }

def op_PJqGGY73a3(a):
    if (op_pb0Byv8I5J(a) <= 387 and op_cjqiF7riNC(a) <= 556 and op_3O44ngoEp5(a) > 114):
        return op_i8i4Li6g16(a,op_LUdrfeGgJL(a))
    else:
        return op_JKUDcJ19AH(op_ZuWTEsGw6f(a,16),op_U7g4x0WXJJ(a,a))

def op_count_PJqGGY73a3(a):
    if (op_pb0Byv8I5J(a) <= 387 and op_cjqiF7riNC(a) <= 556 and op_3O44ngoEp5(a) > 114):
        count = op_count_LUdrfeGgJL(a)+op_count_i8i4Li6g16(a,op_LUdrfeGgJL(a))+op_count_pb0Byv8I5J(a)+op_count_cjqiF7riNC(a)+op_count_3O44ngoEp5(a)
    else:
        count = op_count_ZuWTEsGw6f(a,16)+op_count_U7g4x0WXJJ(a,a)+op_count_JKUDcJ19AH(op_ZuWTEsGw6f(a,16),op_U7g4x0WXJJ(a,a))
    return count


a≫⇹⋴b = { ((b⨚≬⊅)⩊) , if (⩣≐⇬b)>=659 ; ((a⫆a)≹⇙⪍(b≦↬714)) , else }

def op_HlbeaFbN7T(a, b):
    if op_Zs2Fr3PX4F(b) >= 659:
        return op_bL9bVDjnH3(op_UGy7J2WVVH(b))
    else:
        return op_AHs5Up7iyr(op_Y6MI8lE4nL(a,a),op_z4Ajd36hBy(b,714))

def op_count_HlbeaFbN7T(a, b):
    if op_Zs2Fr3PX4F(b) >= 659:
        count = op_count_UGy7J2WVVH(b)+op_count_bL9bVDjnH3(op_UGy7J2WVVH(b))+op_count_Zs2Fr3PX4F(b)
    else:
        count = op_count_Y6MI8lE4nL(a,a)+op_count_z4Ajd36hBy(b,714)+op_count_AHs5Up7iyr(op_Y6MI8lE4nL(a,a),op_z4Ajd36hBy(b,714))
    return count


a∩⨓∍b = { ((68≌∔a)⋸⊶⪑(⋸⫾⋐268)) , if (a⪈⋺)<209 ; (a∖(b⩇)) , else }

def op_USi4jNbo7q(a, b):
    if op_5p7zLdBmiR(a) < 209:
        return op_vhomQbQnbp(op_rS9owOYsXI(68,a),op_d7bqhxVNrw(268))
    else:
        return op_tXD093vOjl(a,op_wmlQD0656L(b))

def op_count_USi4jNbo7q(a, b):
    if op_5p7zLdBmiR(a) < 209:
        count = op_count_rS9owOYsXI(68,a)+op_count_d7bqhxVNrw(268)+op_count_vhomQbQnbp(op_rS9owOYsXI(68,a),op_d7bqhxVNrw(268))+op_count_5p7zLdBmiR(a)
    else:
        count = op_count_wmlQD0656L(b)+op_count_tXD093vOjl(a,op_wmlQD0656L(b))
    return count


def op_16GVWZKPl9(a, b):
    if op_ONgMwLM7Hk(b,293) != 687 and op_EJvLRUhMvt(b,267) >= 27:
        return op_GbDo2oKiUE(op_403lqio1gV(op_6RhV9jdZKx(207,a),op_l07mrZUIn9(a)))
    else:
        return op_UMwdvZNt44(op_InfL0ipZ4x(b),op_FbfjV67I2U(op_s8qX6NXliq(a)))

def op_count_16GVWZKPl9(a, b):
    if op_ONgMwLM7Hk(b,293) != 687 and op_EJvLRUhMvt(b,267) >= 27:
        count = op_count_6RhV9jdZKx(207,a)+op_count_l07mrZUIn9(a)+op_count_403lqio1gV(op_6RhV9jdZKx(207,a),op_l07mrZUIn9(a))+op_count_GbDo2oKiUE(op_403lqio1gV(op_6RhV9jdZKx(207,a),op_l07mrZUIn9(a)))+op_count_ONgMwLM7Hk(b,293)+op_count_EJvLRUhMvt(b,267)
    else:
        count = op_count_InfL0ipZ4x(b)+op_count_s8qX6NXliq(a)+op_count_FbfjV67I2U(op_s8qX6NXliq(a))+op_count_UMwdvZNt44(op_InfL0ipZ4x(b),op_FbfjV67I2U(op_s8qX6NXliq(a)))
    return count


a⫊⨣⇽ = { (⋞⫉⫰a) , if a!=711 ; (↽∬a) , else }

def op_aZlp7iObsc(a):
    if a != 711:
        return op_tXslIOlIqs(a)
    else:
        return op_ZbtZ49kJld(a)

def op_count_aZlp7iObsc(a):
    if a != 711:
        count = op_count_tXslIOlIqs(a)
    else:
        count = op_count_ZbtZ49kJld(a)
    return count


a⋬⨄b = { (((b∻∆⪈b)⫁⪢(220∪⋗b))⫔⩽⩺((b⫯∌⊮a)⫯⪻)) , if (a≋⫝915)<291 and b<=705 and (b↮944)>418 ; (((a⨝≼⊅a)↡≇(⪎⩂5))⇮⊵(⨾⩌⪕(b↦∡b))) , else }

def op_iIYiXjcDWF(a, b):
    if op_HUtdSlaloT(a,915) < 291 and b <= 705 and op_ugTrrffvJh(b,944) > 418:
        return op_i9eR4S00cU(op_cdhuHqUAn3(op_HOItD7clwk(b,b),op_qPbESVb90t(220,b)),op_qA6dhkfGJ8(op_l3UfSkHKmp(b,a)))
    else:
        return op_mQAUEyL64v(op_JNCR0seNDw(op_LeaixnEh0y(a,a),op_G1NSauL6xc(5)),op_uRbtvZtfgl(op_wTpLLema1J(b,b)))

def op_count_iIYiXjcDWF(a, b):
    if op_HUtdSlaloT(a,915) < 291 and b <= 705 and op_ugTrrffvJh(b,944) > 418:
        count = op_count_HOItD7clwk(b,b)+op_count_qPbESVb90t(220,b)+op_count_cdhuHqUAn3(op_HOItD7clwk(b,b),op_qPbESVb90t(220,b))+op_count_l3UfSkHKmp(b,a)+op_count_qA6dhkfGJ8(op_l3UfSkHKmp(b,a))+op_count_i9eR4S00cU(op_cdhuHqUAn3(op_HOItD7clwk(b,b),op_qPbESVb90t(220,b)),op_qA6dhkfGJ8(op_l3UfSkHKmp(b,a)))+op_count_HUtdSlaloT(a,915)+op_count_ugTrrffvJh(b,944)
    else:
        count = op_count_LeaixnEh0y(a,a)+op_count_G1NSauL6xc(5)+op_count_JNCR0seNDw(op_LeaixnEh0y(a,a),op_G1NSauL6xc(5))+op_count_wTpLLema1J(b,b)+op_count_uRbtvZtfgl(op_wTpLLema1J(b,b))+op_count_mQAUEyL64v(op_JNCR0seNDw(op_LeaixnEh0y(a,a),op_G1NSauL6xc(5)),op_uRbtvZtfgl(op_wTpLLema1J(b,b)))
    return count


⇣∓a = { ((≙↧(a⊍⋬a))⨑≵⋬((a⊣⨺a)⨝⪜⊎(⩦∰⩭a))) , if (a⩧929)<=217 ; (∈⋕⫣((373⇫8)⇮⨪≁)) , else }

def op_dfM5u4HQJb(a):
    if op_sQFXMycfVt(a,929) <= 217:
        return op_XnXgA4xnOs(op_slHE12z0pD(op_uC1OCuP0T4(a,a)),op_WAegT8i1n4(op_8yGz9s51pC(a,a),op_mKn7Wvar9h(a)))
    else:
        return op_fxpZkqvMd8(op_AA4upKd8ki(op_MKCxaPE9tg(373,8)))

def op_count_dfM5u4HQJb(a):
    if op_sQFXMycfVt(a,929) <= 217:
        count = op_count_uC1OCuP0T4(a,a)+op_count_slHE12z0pD(op_uC1OCuP0T4(a,a))+op_count_8yGz9s51pC(a,a)+op_count_mKn7Wvar9h(a)+op_count_WAegT8i1n4(op_8yGz9s51pC(a,a),op_mKn7Wvar9h(a))+op_count_XnXgA4xnOs(op_slHE12z0pD(op_uC1OCuP0T4(a,a)),op_WAegT8i1n4(op_8yGz9s51pC(a,a),op_mKn7Wvar9h(a)))+op_count_sQFXMycfVt(a,929)
    else:
        count = op_count_MKCxaPE9tg(373,8)+op_count_AA4upKd8ki(op_MKCxaPE9tg(373,8))+op_count_fxpZkqvMd8(op_AA4upKd8ki(op_MKCxaPE9tg(373,8)))
    return count


def op_5UUNUngFci(a):
    if op_mqXw5SEYmG(a,951) > 204:
        return op_IHpSDSxKMI(536,7)
    else:
        return op_hl4Calylxn(a)

def op_count_5UUNUngFci(a):
    if op_mqXw5SEYmG(a,951) > 204:
        count = op_count_IHpSDSxKMI(536,7)+op_count_mqXw5SEYmG(a,951)
    else:
        count = op_count_hl4Calylxn(a)
    return count


def op_xBYRm0YrOf(a, b):
    if a != 416:
        return op_9zrREnvZmK(a,389)
    else:
        return op_JxwMv5le6e(a,b)

def op_count_xBYRm0YrOf(a, b):
    if a != 416:
        count = op_count_9zrREnvZmK(a,389)
    else:
        count = op_count_JxwMv5le6e(a,b)
    return count


a⩂⊃ = { (⪲⊾a) , if a!=169 ; (↴⇲⋩a) , else }

def op_wrzkcQdscW(a):
    if a != 169:
        return op_L07OSbUHmY(a)
    else:
        return op_FiPrOu92E8(a)

def op_count_wrzkcQdscW(a):
    if a != 169:
        count = op_count_L07OSbUHmY(a)
    else:
        count = op_count_FiPrOu92E8(a)
    return count


a⪛↤≞b = { (⋽⋏∜(b⊳⪫⪖163)) , if (a∅⋑)!=82 ; ((41⋇b)⪑⨹(b⇹⋂⨚b)) , else }

def op_DVTowVGif0(a, b):
    if op_fbPX9VtAPY(a) != 82:
        return op_dUVc8B1hJO(op_bqn6BngAyz(b,163))
    else:
        return op_QGPUvAHwG1(op_EIdmTB6ive(41,b),op_wGJ01FE41T(b,b))

def op_count_DVTowVGif0(a, b):
    if op_fbPX9VtAPY(a) != 82:
        count = op_count_bqn6BngAyz(b,163)+op_count_dUVc8B1hJO(op_bqn6BngAyz(b,163))+op_count_fbPX9VtAPY(a)
    else:
        count = op_count_EIdmTB6ive(41,b)+op_count_wGJ01FE41T(b,b)+op_count_QGPUvAHwG1(op_EIdmTB6ive(41,b),op_wGJ01FE41T(b,b))
    return count


a⇕↩b = { (a⊊) , if (b⪑⨹122)<=44 ; (a⇠⪥a) , else }

def op_vifJILPEmj(a, b):
    if op_QGPUvAHwG1(b,122) <= 44:
        return op_W9R8I5fN5A(a)
    else:
        return op_SONCUvkmWe(a,a)

def op_count_vifJILPEmj(a, b):
    if op_QGPUvAHwG1(b,122) <= 44:
        count = op_count_W9R8I5fN5A(a)+op_count_QGPUvAHwG1(b,122)
    else:
        count = op_count_SONCUvkmWe(a,a)
    return count


def op_HIkDS1Sebz(a):
    if (a < 85 or op_IhxHnaDIDi(a) > 29):
        return a
    else:
        return op_1RKnjyXON0(735)

def op_count_HIkDS1Sebz(a):
    if (a < 85 or op_IhxHnaDIDi(a) > 29):
        count = 1
    else:
        count = op_count_1RKnjyXON0(735)
    return count


def op_zMvF8jBUm2(a):
    if a >= 266:
        return op_UaMZCSCRMM(a)
    else:
        return op_SVb2v531z1(99)

def op_count_zMvF8jBUm2(a):
    if a >= 266:
        count = op_count_UaMZCSCRMM(a)
    else:
        count = op_count_SVb2v531z1(99)
    return count


def op_bCpihQNLPy(a, b):
    if op_hdbUzVO3gi(b) > 28:
        return op_fv96gLqN8H(op_vjoXiXDdkX(op_2k53nXOpI5(a)),op_ELzFbN8rhh(op_lNZWPMt3he(511,273),op_wvHyciQT5X(a)))
    else:
        return op_dBWtppcwHd(op_YMV0rvXXSg(op_uTBsSls0VN(b,a),op_e3uIs4Enfs(b)),op_W7eaUhjymW(op_cHFgdFSfQu(38,294)))

def op_count_bCpihQNLPy(a, b):
    if op_hdbUzVO3gi(b) > 28:
        count = op_count_2k53nXOpI5(a)+op_count_vjoXiXDdkX(op_2k53nXOpI5(a))+op_count_lNZWPMt3he(511,273)+op_count_wvHyciQT5X(a)+op_count_ELzFbN8rhh(op_lNZWPMt3he(511,273),op_wvHyciQT5X(a))+op_count_fv96gLqN8H(op_vjoXiXDdkX(op_2k53nXOpI5(a)),op_ELzFbN8rhh(op_lNZWPMt3he(511,273),op_wvHyciQT5X(a)))+op_count_hdbUzVO3gi(b)
    else:
        count = op_count_uTBsSls0VN(b,a)+op_count_e3uIs4Enfs(b)+op_count_YMV0rvXXSg(op_uTBsSls0VN(b,a),op_e3uIs4Enfs(b))+op_count_cHFgdFSfQu(38,294)+op_count_W7eaUhjymW(op_cHFgdFSfQu(38,294))+op_count_dBWtppcwHd(op_YMV0rvXXSg(op_uTBsSls0VN(b,a),op_e3uIs4Enfs(b)),op_W7eaUhjymW(op_cHFgdFSfQu(38,294)))
    return count


a⊠⩐ = { ((a≁↽≥a)⨿↛(⨛a)) , if (a≫⫦)>=172 or (a⩗⪽⫲)!=9 or (⋏↟⪜a)>227 ; ((256⊎∵⋝a)≷⩼⩕) , else }

def op_RByp91HRqp(a):
    if op_pXBJp6lguA(a) >= 172 or op_8L3oOCP6TI(a) != 9 or op_BkAOP1FcFr(a) > 227:
        return op_SlXQBQlOF8(op_ncHt1X6cMc(a,a),op_CoMdbyAt7R(a))
    else:
        return op_8xxngWiYAf(op_aiV2O28J80(256,a))

def op_count_RByp91HRqp(a):
    if op_pXBJp6lguA(a) >= 172 or op_8L3oOCP6TI(a) != 9 or op_BkAOP1FcFr(a) > 227:
        count = op_count_ncHt1X6cMc(a,a)+op_count_CoMdbyAt7R(a)+op_count_SlXQBQlOF8(op_ncHt1X6cMc(a,a),op_CoMdbyAt7R(a))+op_count_pXBJp6lguA(a)+op_count_8L3oOCP6TI(a)+op_count_BkAOP1FcFr(a)
    else:
        count = op_count_aiV2O28J80(256,a)+op_count_8xxngWiYAf(op_aiV2O28J80(256,a))
    return count


a⇋≯ = { (((a⇱⋜⨟a)⪅⩛(∎⨕⪤a))⩱⇜⪦((a⇩⇈⩍88)≻⊔⪋(48⫐⪾⊓))) , if (a⨈⋽⫈)==431 ; ((≨⊁⩽(a∛⇕169))⋽≿⩈(⪵⩥∼(a⪿↰⪖a))) , else }

def op_zOW4XSodvH(a):
    if op_9HTx33x6CA(a) == 431:
        return op_TPY4Vhd24N(op_kSD0v3Jzov(op_3u0bduSKBl(a,a),op_6kdXvP9FUt(a)),op_kwAJkQ91rG(op_oIwnecHcIl(a,88),op_0MyB4WGeSt(48)))
    else:
        return op_A1lUXjvBPn(op_kfDndAEh36(op_Gf27X6JpjG(a,169)),op_C8AGOwLzL7(op_kMgNLpsPAE(a,a)))

def op_count_zOW4XSodvH(a):
    if op_9HTx33x6CA(a) == 431:
        count = op_count_3u0bduSKBl(a,a)+op_count_6kdXvP9FUt(a)+op_count_kSD0v3Jzov(op_3u0bduSKBl(a,a),op_6kdXvP9FUt(a))+op_count_oIwnecHcIl(a,88)+op_count_0MyB4WGeSt(48)+op_count_kwAJkQ91rG(op_oIwnecHcIl(a,88),op_0MyB4WGeSt(48))+op_count_TPY4Vhd24N(op_kSD0v3Jzov(op_3u0bduSKBl(a,a),op_6kdXvP9FUt(a)),op_kwAJkQ91rG(op_oIwnecHcIl(a,88),op_0MyB4WGeSt(48)))+op_count_9HTx33x6CA(a)
    else:
        count = op_count_Gf27X6JpjG(a,169)+op_count_kfDndAEh36(op_Gf27X6JpjG(a,169))+op_count_kMgNLpsPAE(a,a)+op_count_C8AGOwLzL7(op_kMgNLpsPAE(a,a))+op_count_A1lUXjvBPn(op_kfDndAEh36(op_Gf27X6JpjG(a,169)),op_C8AGOwLzL7(op_kMgNLpsPAE(a,a)))
    return count


def op_ZSfTdnDw33(a):
    if (op_g1t39T4CNw(a) >= 178 and op_VIMCZ0TE5t(a,976) < 7):
        return op_DyGG3AbaNP(a,a)
    else:
        return op_OHF4XPeKpv(65)

def op_count_ZSfTdnDw33(a):
    if (op_g1t39T4CNw(a) >= 178 and op_VIMCZ0TE5t(a,976) < 7):
        count = op_count_DyGG3AbaNP(a,a)+op_count_g1t39T4CNw(a)+op_count_VIMCZ0TE5t(a,976)
    else:
        count = op_count_OHF4XPeKpv(65)
    return count


a⋵⨂⋧b = { ((b∴⇘a)⨍∱⋯(a⩀⊺⇍)) , if (b⩻↮≝987)<=361 ; ((b↶⊆⩋a)⨽⇀(b⋹⋡⊁b)) , else }

def op_KpFi67e8T3(a, b):
    if op_IHpSDSxKMI(b,987) <= 361:
        return op_wuz4IP3WND(op_U5ZKo8DQUb(b,a),op_3tbQZWYi8S(a))
    else:
        return op_h1U3ZT2Qlc(op_chVjXdrG4d(b,a),op_As8RqfVLgs(b,b))

def op_count_KpFi67e8T3(a, b):
    if op_IHpSDSxKMI(b,987) <= 361:
        count = op_count_U5ZKo8DQUb(b,a)+op_count_3tbQZWYi8S(a)+op_count_wuz4IP3WND(op_U5ZKo8DQUb(b,a),op_3tbQZWYi8S(a))+op_count_IHpSDSxKMI(b,987)
    else:
        count = op_count_chVjXdrG4d(b,a)+op_count_As8RqfVLgs(b,b)+op_count_h1U3ZT2Qlc(op_chVjXdrG4d(b,a),op_As8RqfVLgs(b,b))
    return count


def op_QmX1GnsT7a(a):
    if op_pC37afr74b(a,613) == 300:
        return op_tawivNIhYz(op_gZaJvPXt7R(368),op_2Bhe5MV7ya(a,a))
    else:
        return op_HcpSfZGHXr(op_DDyFJYJzaO(140))

def op_count_QmX1GnsT7a(a):
    if op_pC37afr74b(a,613) == 300:
        count = op_count_gZaJvPXt7R(368)+op_count_2Bhe5MV7ya(a,a)+op_count_tawivNIhYz(op_gZaJvPXt7R(368),op_2Bhe5MV7ya(a,a))+op_count_pC37afr74b(a,613)
    else:
        count = op_count_DDyFJYJzaO(140)+op_count_HcpSfZGHXr(op_DDyFJYJzaO(140))
    return count


def op_RkPywK3MP0(a):
    if (op_u76zy1DpyB(a) == 127 or op_Zv42Hr8KHE(a) == 109):
        return op_grul1N2qWA(526,a)
    else:
        return op_HTmwGS9Ecj(a)

def op_count_RkPywK3MP0(a):
    if (op_u76zy1DpyB(a) == 127 or op_Zv42Hr8KHE(a) == 109):
        count = op_count_grul1N2qWA(526,a)+op_count_u76zy1DpyB(a)+op_count_Zv42Hr8KHE(a)
    else:
        count = op_count_HTmwGS9Ecj(a)
    return count


a⨚⩏↽b = { (⊀(b⨘⋦⪅a)) , if (a∲⇆)>=134 ; ((313⫥∨⫟a)⩨a) , else }

def op_Cxiv5RLK5O(a, b):
    if op_917IECjXsT(a) >= 134:
        return op_oPMjh9089D(op_jJY68xoYNq(b,a))
    else:
        return op_2DlMacCsIx(op_KYD54nUTWz(313,a),a)

def op_count_Cxiv5RLK5O(a, b):
    if op_917IECjXsT(a) >= 134:
        count = op_count_jJY68xoYNq(b,a)+op_count_oPMjh9089D(op_jJY68xoYNq(b,a))+op_count_917IECjXsT(a)
    else:
        count = op_count_KYD54nUTWz(313,a)+op_count_2DlMacCsIx(op_KYD54nUTWz(313,a),a)
    return count


def op_aVOW5yr1q1(a, b):
    if a < 154:
        return op_i9eR4S00cU(543,b)
    else:
        return op_UmwfOCm9Vq(221)

def op_count_aVOW5yr1q1(a, b):
    if a < 154:
        count = op_count_i9eR4S00cU(543,b)
    else:
        count = op_count_UmwfOCm9Vq(221)
    return count


⪑⋶a = { (((a≐⪈⇼527)⇪↧(a↚≽⪤a))↗(⫐≁(a≅⩀5))) , if (a⪓↥)<=141 ; (⇙⋓⊯((a⫎⇟)⇭⫖⊱87)) , else }

def op_5x8TZY6HHA(a):
    if op_38U9ucsweH(a) <= 141:
        return op_ODFdAPCKMa(op_yRqWCfy5LI(op_xWqemuabDj(a,527),op_UyATZg4EzG(a,a)),op_P8h4Y6OdFr(op_STXubeXA6y(a,5)))
    else:
        return op_CLsG3YN2nx(op_Wt6GesNbUs(op_9ipoYaL8gF(a),87))

def op_count_5x8TZY6HHA(a):
    if op_38U9ucsweH(a) <= 141:
        count = op_count_xWqemuabDj(a,527)+op_count_UyATZg4EzG(a,a)+op_count_yRqWCfy5LI(op_xWqemuabDj(a,527),op_UyATZg4EzG(a,a))+op_count_STXubeXA6y(a,5)+op_count_P8h4Y6OdFr(op_STXubeXA6y(a,5))+op_count_ODFdAPCKMa(op_yRqWCfy5LI(op_xWqemuabDj(a,527),op_UyATZg4EzG(a,a)),op_P8h4Y6OdFr(op_STXubeXA6y(a,5)))+op_count_38U9ucsweH(a)
    else:
        count = op_count_9ipoYaL8gF(a)+op_count_Wt6GesNbUs(op_9ipoYaL8gF(a),87)+op_count_CLsG3YN2nx(op_Wt6GesNbUs(op_9ipoYaL8gF(a),87))
    return count


a⨦⊯⪥ = { (⇉-⫰(≣⪥(a⪶⨼a))) , if (⇫⊗a)>48 ; (((8↱a)⪱(a↚))⊾⪍⇠((a⋫↢388)⇇⨋⩦(⊲⪿a))) , else }

def op_EXVWx7EIC3(a):
    if op_H6YPSuUPVM(a) > 48:
        return op_IGFM8TAlm9(op_GYdfsuwOJy(op_kJJflTBdEb(a,a)))
    else:
        return op_ZRQRDfrpkZ(op_Fw9FUhpJpC(op_SR5kFfdi6N(8,a),op_FpZEcu9gEh(a)),op_7LDZuUjSGl(op_SFAASr8twV(a,388),op_plnrPrQ6BG(a)))

def op_count_EXVWx7EIC3(a):
    if op_H6YPSuUPVM(a) > 48:
        count = op_count_kJJflTBdEb(a,a)+op_count_GYdfsuwOJy(op_kJJflTBdEb(a,a))+op_count_IGFM8TAlm9(op_GYdfsuwOJy(op_kJJflTBdEb(a,a)))+op_count_H6YPSuUPVM(a)
    else:
        count = op_count_SR5kFfdi6N(8,a)+op_count_FpZEcu9gEh(a)+op_count_Fw9FUhpJpC(op_SR5kFfdi6N(8,a),op_FpZEcu9gEh(a))+op_count_SFAASr8twV(a,388)+op_count_plnrPrQ6BG(a)+op_count_7LDZuUjSGl(op_SFAASr8twV(a,388),op_plnrPrQ6BG(a))+op_count_ZRQRDfrpkZ(op_Fw9FUhpJpC(op_SR5kFfdi6N(8,a),op_FpZEcu9gEh(a)),op_7LDZuUjSGl(op_SFAASr8twV(a,388),op_plnrPrQ6BG(a)))
    return count


def op_ruCFZuNUwa(a):
    if op_XIFOzKCdcS(a,452) <= 522:
        return op_8cvnD9PGlL(op_umcb8ZB9wY(op_3ETyc1YnpT(a),op_kxjOcGAF4x(58,a)),op_AHs5Up7iyr(op_jJYLip4aMc(14,a),op_vLzRcUDluw(29,a)))
    else:
        return op_zd2IIeNu9V(op_rYBGuEs1v8(op_h9SYvkAopU(a,a)))

def op_count_ruCFZuNUwa(a):
    if op_XIFOzKCdcS(a,452) <= 522:
        count = op_count_3ETyc1YnpT(a)+op_count_kxjOcGAF4x(58,a)+op_count_umcb8ZB9wY(op_3ETyc1YnpT(a),op_kxjOcGAF4x(58,a))+op_count_jJYLip4aMc(14,a)+op_count_vLzRcUDluw(29,a)+op_count_AHs5Up7iyr(op_jJYLip4aMc(14,a),op_vLzRcUDluw(29,a))+op_count_8cvnD9PGlL(op_umcb8ZB9wY(op_3ETyc1YnpT(a),op_kxjOcGAF4x(58,a)),op_AHs5Up7iyr(op_jJYLip4aMc(14,a),op_vLzRcUDluw(29,a)))+op_count_XIFOzKCdcS(a,452)
    else:
        count = op_count_h9SYvkAopU(a,a)+op_count_rYBGuEs1v8(op_h9SYvkAopU(a,a))+op_count_zd2IIeNu9V(op_rYBGuEs1v8(op_h9SYvkAopU(a,a)))
    return count


def op_S3m6d8Efh3(a):
    if op_glk0xsqa6N(a,629) != 35:
        return op_161cyTtxSb(a,a)
    else:
        return op_tXD093vOjl(a,91)

def op_count_S3m6d8Efh3(a):
    if op_glk0xsqa6N(a,629) != 35:
        count = op_count_161cyTtxSb(a,a)+op_count_glk0xsqa6N(a,629)
    else:
        count = op_count_tXD093vOjl(a,91)
    return count


a↲∆b = { ((b⇨⇺∂)⩘(a⫷⇣42)) , if (⇝⩢b)<8 ; (b⊺↚⊤(b⪪↜)) , else }

def op_6vCJ7fqGEg(a, b):
    if op_WqJCMpgySM(b) < 8:
        return op_cHh1gJQ2o6(op_tnOISPig27(b),op_yyGr8FKHqM(a,42))
    else:
        return op_ONgMwLM7Hk(b,op_8Ju4LnUxUv(b))

def op_count_6vCJ7fqGEg(a, b):
    if op_WqJCMpgySM(b) < 8:
        count = op_count_tnOISPig27(b)+op_count_yyGr8FKHqM(a,42)+op_count_cHh1gJQ2o6(op_tnOISPig27(b),op_yyGr8FKHqM(a,42))+op_count_WqJCMpgySM(b)
    else:
        count = op_count_8Ju4LnUxUv(b)+op_count_ONgMwLM7Hk(b,op_8Ju4LnUxUv(b))
    return count


a⪛⪒⇌ = { (⪠(a⫞⩸⩒a)) , if a<91 ; (⇺∀⫥(a⪔⊥a)) , else }

def op_MQi1PkaTga(a):
    if a < 91:
        return op_RKeiQKbkFn(op_XGcMNugi78(a,a))
    else:
        return op_6ILkmSAb4z(op_HJ9erzHUuu(a,a))

def op_count_MQi1PkaTga(a):
    if a < 91:
        count = op_count_XGcMNugi78(a,a)+op_count_RKeiQKbkFn(op_XGcMNugi78(a,a))
    else:
        count = op_count_HJ9erzHUuu(a,a)+op_count_6ILkmSAb4z(op_HJ9erzHUuu(a,a))
    return count


a∬⪂↞ = { (↯⩬⋍((a∠⊨≪a)⋥⇧(a⩵∷⩪a))) , if (a⫷≘⊇)==425 and (a⩛⊑⩁225)<=34 ; (⩌⩙((a↚≽⪤a)⩅(a⪦a))) , else }

def op_WWZ3V96UAA(a):
    if op_p6m9eN6eAN(a) == 425 and op_t7Ywswk0oK(a,225) <= 34:
        return op_kryvVsIc0P(op_UAZAhLH3kE(op_Y6u3OyaTgl(a,a),op_X7PctZJgeL(a,a)))
    else:
        return op_I3sBQMZDxg(op_WHvsDZpt7Z(op_UyATZg4EzG(a,a),op_S2EdmdiVZh(a,a)))

def op_count_WWZ3V96UAA(a):
    if op_p6m9eN6eAN(a) == 425 and op_t7Ywswk0oK(a,225) <= 34:
        count = op_count_Y6u3OyaTgl(a,a)+op_count_X7PctZJgeL(a,a)+op_count_UAZAhLH3kE(op_Y6u3OyaTgl(a,a),op_X7PctZJgeL(a,a))+op_count_kryvVsIc0P(op_UAZAhLH3kE(op_Y6u3OyaTgl(a,a),op_X7PctZJgeL(a,a)))+op_count_p6m9eN6eAN(a)+op_count_t7Ywswk0oK(a,225)
    else:
        count = op_count_UyATZg4EzG(a,a)+op_count_S2EdmdiVZh(a,a)+op_count_WHvsDZpt7Z(op_UyATZg4EzG(a,a),op_S2EdmdiVZh(a,a))+op_count_I3sBQMZDxg(op_WHvsDZpt7Z(op_UyATZg4EzG(a,a),op_S2EdmdiVZh(a,a)))
    return count


def op_Y4Gn6f3O5M(a, b):
    if op_mB7zfwCp1n(b,894) < 119 or op_9rNHCbYvka(b,347) == 208:
        return op_5UdJKhy29U(op_PeA9bFz7e1(op_0KgWqnVqNo(b,834)),op_vmCBT8NNrW(op_ne3ymXmP8e(8,189),op_lFdsUIK82P(a)))
    else:
        return op_fLJG5zVr1z(op_q9P67AyrZV(op_XiWMKjQOaU(b)),op_vjO1tVBgS7(op_ExT1EayJM6(a,343),op_0DhpTGsvK0(b,b)))

def op_count_Y4Gn6f3O5M(a, b):
    if op_mB7zfwCp1n(b,894) < 119 or op_9rNHCbYvka(b,347) == 208:
        count = op_count_0KgWqnVqNo(b,834)+op_count_PeA9bFz7e1(op_0KgWqnVqNo(b,834))+op_count_ne3ymXmP8e(8,189)+op_count_lFdsUIK82P(a)+op_count_vmCBT8NNrW(op_ne3ymXmP8e(8,189),op_lFdsUIK82P(a))+op_count_5UdJKhy29U(op_PeA9bFz7e1(op_0KgWqnVqNo(b,834)),op_vmCBT8NNrW(op_ne3ymXmP8e(8,189),op_lFdsUIK82P(a)))+op_count_mB7zfwCp1n(b,894)+op_count_9rNHCbYvka(b,347)
    else:
        count = op_count_XiWMKjQOaU(b)+op_count_q9P67AyrZV(op_XiWMKjQOaU(b))+op_count_ExT1EayJM6(a,343)+op_count_0DhpTGsvK0(b,b)+op_count_vjO1tVBgS7(op_ExT1EayJM6(a,343),op_0DhpTGsvK0(b,b))+op_count_fLJG5zVr1z(op_q9P67AyrZV(op_XiWMKjQOaU(b)),op_vjO1tVBgS7(op_ExT1EayJM6(a,343),op_0DhpTGsvK0(b,b)))
    return count


a⪄⪛b = { (⨴⫝a) , if ((a⊲⪜⫿624)>20 and (b⊻⊦)<333 and a<149) ; (b≒b) , else }

def op_LJtAiRCxnQ(a, b):
    if (op_WscUkPRWwf(a,624) > 20 and op_5SxnThNa0k(b) < 333 and a < 149):
        return op_SVb2v531z1(a)
    else:
        return op_AYjbRmBFQ3(b,b)

def op_count_LJtAiRCxnQ(a, b):
    if (op_WscUkPRWwf(a,624) > 20 and op_5SxnThNa0k(b) < 333 and a < 149):
        count = op_count_SVb2v531z1(a)+op_count_WscUkPRWwf(a,624)+op_count_5SxnThNa0k(b)
    else:
        count = op_count_AYjbRmBFQ3(b,b)
    return count


def op_RWZsFBAS74(a):
    if op_hfQ6xxn5As(a) >= 158 or op_t7Ywswk0oK(a,192) != 303 or op_SvBhWvR7tw(a,981) < 258:
        return op_kbRaMQMGhu(op_dCycFYvitt(a),op_ERGuGz6niO(a,a))
    else:
        return op_xeKVJklxVA(op_7vXulwUosi(a,a),op_hl4Calylxn(27))

def op_count_RWZsFBAS74(a):
    if op_hfQ6xxn5As(a) >= 158 or op_t7Ywswk0oK(a,192) != 303 or op_SvBhWvR7tw(a,981) < 258:
        count = op_count_dCycFYvitt(a)+op_count_ERGuGz6niO(a,a)+op_count_kbRaMQMGhu(op_dCycFYvitt(a),op_ERGuGz6niO(a,a))+op_count_hfQ6xxn5As(a)+op_count_t7Ywswk0oK(a,192)+op_count_SvBhWvR7tw(a,981)
    else:
        count = op_count_7vXulwUosi(a,a)+op_count_hl4Calylxn(27)+op_count_xeKVJklxVA(op_7vXulwUosi(a,a),op_hl4Calylxn(27))
    return count


a⫱⇽b = { (((a⊵↦b)↷≪⋜(⨣⨜⩤b))↝⊨((a⋷⪧b)⩤∾(b⇮⨌⨎a))) , if (a⋘↷↾231)<52 ; (((b⪧≠⊧a)⫒↥⩼)⊺) , else }

def op_mIoZ9zUucM(a, b):
    if op_1Scw8a5e7g(a,231) < 52:
        return op_BTJnxt4pK9(op_1j1KpI9WdF(op_wleh0mrux3(a,b),op_gBAN53NepD(b)),op_S1JWpU3LTa(op_JoFAzT2BO8(a,b),op_sI3WE0f3wC(b,a)))
    else:
        return op_wff9HZunSZ(op_jmnE7SUc7n(op_8FEQrRiNx3(b,a)))

def op_count_mIoZ9zUucM(a, b):
    if op_1Scw8a5e7g(a,231) < 52:
        count = op_count_wleh0mrux3(a,b)+op_count_gBAN53NepD(b)+op_count_1j1KpI9WdF(op_wleh0mrux3(a,b),op_gBAN53NepD(b))+op_count_JoFAzT2BO8(a,b)+op_count_sI3WE0f3wC(b,a)+op_count_S1JWpU3LTa(op_JoFAzT2BO8(a,b),op_sI3WE0f3wC(b,a))+op_count_BTJnxt4pK9(op_1j1KpI9WdF(op_wleh0mrux3(a,b),op_gBAN53NepD(b)),op_S1JWpU3LTa(op_JoFAzT2BO8(a,b),op_sI3WE0f3wC(b,a)))+op_count_1Scw8a5e7g(a,231)
    else:
        count = op_count_8FEQrRiNx3(b,a)+op_count_jmnE7SUc7n(op_8FEQrRiNx3(b,a))+op_count_wff9HZunSZ(op_jmnE7SUc7n(op_8FEQrRiNx3(b,a)))
    return count


a⋗≠b = { ((b≞⩺(a⨯))⨂≜((b⇔⫃68)⊴⩛(≣⩾585))) , if a<237 ; (b⪁((∻⨶↵b)⪶⨼(13⫚⋫⊨a))) , else }

def op_lVBWckV5Af(a, b):
    if a < 237:
        return op_k1SHOSEABc(op_DrJzCU6Bmr(b,op_q5yaU63SKE(a)),op_wL68723Mti(op_yyAgkU6uLp(b,68),op_fn7tgSaaxd(585)))
    else:
        return op_I7sXao9hZE(b,op_kJJflTBdEb(op_N17SBJXhaQ(b),op_6gQ0EqwXZr(13,a)))

def op_count_lVBWckV5Af(a, b):
    if a < 237:
        count = op_count_q5yaU63SKE(a)+op_count_DrJzCU6Bmr(b,op_q5yaU63SKE(a))+op_count_yyAgkU6uLp(b,68)+op_count_fn7tgSaaxd(585)+op_count_wL68723Mti(op_yyAgkU6uLp(b,68),op_fn7tgSaaxd(585))+op_count_k1SHOSEABc(op_DrJzCU6Bmr(b,op_q5yaU63SKE(a)),op_wL68723Mti(op_yyAgkU6uLp(b,68),op_fn7tgSaaxd(585)))
    else:
        count = op_count_N17SBJXhaQ(b)+op_count_6gQ0EqwXZr(13,a)+op_count_kJJflTBdEb(op_N17SBJXhaQ(b),op_6gQ0EqwXZr(13,a))+op_count_I7sXao9hZE(b,op_kJJflTBdEb(op_N17SBJXhaQ(b),op_6gQ0EqwXZr(13,a)))
    return count


def op_N0YMWPNSqX(a, b):
    if op_gKjyxTIHza(b,106) < 294:
        return op_Asc51vEJeQ(b)
    else:
        return op_PjX0nsy6Is(a,364)

def op_count_N0YMWPNSqX(a, b):
    if op_gKjyxTIHza(b,106) < 294:
        count = op_count_Asc51vEJeQ(b)+op_count_gKjyxTIHza(b,106)
    else:
        count = op_count_PjX0nsy6Is(a,364)
    return count


a↱⇱ = { (a⋏⫫∉a) , if (⇿≗⇩a)>=16 ; (⋠∜a) , else }

def op_tTqoyeuIJ3(a):
    if op_FdnA9mdgAX(a) >= 16:
        return op_uc8QQvMjnT(a,a)
    else:
        return op_ZJpFhNJr3x(a)

def op_count_tTqoyeuIJ3(a):
    if op_FdnA9mdgAX(a) >= 16:
        count = op_count_uc8QQvMjnT(a,a)+op_count_FdnA9mdgAX(a)
    else:
        count = op_count_ZJpFhNJr3x(a)
    return count


a⪠⋽≻ = { (a⨼⩣a) , if a>=741 ; (a⫔⩽⩺253) , else }

def op_elE4RB9sLN(a):
    if a >= 741:
        return op_JxwMv5le6e(a,a)
    else:
        return op_i9eR4S00cU(a,253)

def op_count_elE4RB9sLN(a):
    if a >= 741:
        count = op_count_JxwMv5le6e(a,a)
    else:
        count = op_count_i9eR4S00cU(a,253)
    return count


a↡⪡ = { (⇕⨊a) , if (↶a)<376 ; (a⩿⪉a) , else }

def op_uWTZg3tSjW(a):
    if op_TucRNWL6Pw(a) < 376:
        return op_0k3LXBuut5(a)
    else:
        return op_swlCOMtQUm(a,a)

def op_count_uWTZg3tSjW(a):
    if op_TucRNWL6Pw(a) < 376:
        count = op_count_0k3LXBuut5(a)+op_count_TucRNWL6Pw(a)
    else:
        count = op_count_swlCOMtQUm(a,a)
    return count


⋍⪩⫫a = { (⪮⫚⨀(a⇉)) , if a<=24 ; ((a↴⩃⫐a)⩇-(320≤a)) , else }

def op_V5CeSbxfAV(a):
    if a <= 24:
        return op_mfLRytBdgR(op_7XyOaozCdT(a))
    else:
        return op_wCMamEyb9i(op_gKlcUr9zCg(a,a),op_HgknbBBPDn(320,a))

def op_count_V5CeSbxfAV(a):
    if a <= 24:
        count = op_count_7XyOaozCdT(a)+op_count_mfLRytBdgR(op_7XyOaozCdT(a))
    else:
        count = op_count_gKlcUr9zCg(a,a)+op_count_HgknbBBPDn(320,a)+op_count_wCMamEyb9i(op_gKlcUr9zCg(a,a),op_HgknbBBPDn(320,a))
    return count


⊛⊛⩽a = { (((313⨛⇹⫊a)⋽≿⩈(a≹⇏a))⪌⊯⪟(∎≩⨯(↩≼311))) , if ((≧⊳a)>=484 and (⨫↠a)<=14) ; ((a∣(339⫭⊯⇵a))⨍∆((⨰⋗a)⫯∀(a⪘⋉⇭a))) , else }

def op_Jiw8y5xib9(a):
    if (op_GMrB5OisJT(a) >= 484 and op_3LhVKWHYPi(a) <= 14):
        return op_ME4t0VB7iZ(op_A1lUXjvBPn(op_GJLngeV5jM(313,a),op_DpoosDZB0h(a,a)),op_l8UfvtpCFJ(op_GR0zR6W24O(311)))
    else:
        return op_qlIXcggVCe(op_PPChnnnBFF(a,op_b1N51d35SA(339,a)),op_Vom2vRC85V(op_nzqACYN83e(a),op_2TXroppNd4(a,a)))

def op_count_Jiw8y5xib9(a):
    if (op_GMrB5OisJT(a) >= 484 and op_3LhVKWHYPi(a) <= 14):
        count = op_count_GJLngeV5jM(313,a)+op_count_DpoosDZB0h(a,a)+op_count_A1lUXjvBPn(op_GJLngeV5jM(313,a),op_DpoosDZB0h(a,a))+op_count_GR0zR6W24O(311)+op_count_l8UfvtpCFJ(op_GR0zR6W24O(311))+op_count_ME4t0VB7iZ(op_A1lUXjvBPn(op_GJLngeV5jM(313,a),op_DpoosDZB0h(a,a)),op_l8UfvtpCFJ(op_GR0zR6W24O(311)))+op_count_GMrB5OisJT(a)+op_count_3LhVKWHYPi(a)
    else:
        count = op_count_b1N51d35SA(339,a)+op_count_PPChnnnBFF(a,op_b1N51d35SA(339,a))+op_count_nzqACYN83e(a)+op_count_2TXroppNd4(a,a)+op_count_Vom2vRC85V(op_nzqACYN83e(a),op_2TXroppNd4(a,a))+op_count_qlIXcggVCe(op_PPChnnnBFF(a,op_b1N51d35SA(339,a)),op_Vom2vRC85V(op_nzqACYN83e(a),op_2TXroppNd4(a,a)))
    return count


a≳⩃b = { b , if (b∲⇍624)>=230 ; ((⫸∞⪮a)∝⊥) , else }

def op_50SNac7bO5(a, b):
    if op_EVtoYVdMBM(b,624) >= 230:
        return b
    else:
        return op_yS6aSylXcn(op_lh14icfd7w(a))

def op_count_50SNac7bO5(a, b):
    if op_EVtoYVdMBM(b,624) >= 230:
        count = 1
    else:
        count = op_count_lh14icfd7w(a)+op_count_yS6aSylXcn(op_lh14icfd7w(a))
    return count


⩦⫢a = { (⫿⨺a) , if (⩟⨆⊓a)!=619 ; (a∖a) , else }

def op_G4FeCKYKCt(a):
    if op_WIeCRpJbtd(a) != 619:
        return op_mmv5UHiqV1(a)
    else:
        return op_tXD093vOjl(a,a)

def op_count_G4FeCKYKCt(a):
    if op_WIeCRpJbtd(a) != 619:
        count = op_count_mmv5UHiqV1(a)+op_count_WIeCRpJbtd(a)
    else:
        count = op_count_tXD093vOjl(a,a)
    return count


def op_ITxEbCbLbY(a):
    if op_FJI9jqA9rL(a) <= 186:
        return op_Mcn3daWqHc(op_0jym0dg8K8(a,100),op_6pONsy2XwS(a,a))
    else:
        return op_iSPYpyCUiq(op_vXNesLlMH1(a,154))

def op_count_ITxEbCbLbY(a):
    if op_FJI9jqA9rL(a) <= 186:
        count = op_count_0jym0dg8K8(a,100)+op_count_6pONsy2XwS(a,a)+op_count_Mcn3daWqHc(op_0jym0dg8K8(a,100),op_6pONsy2XwS(a,a))+op_count_FJI9jqA9rL(a)
    else:
        count = op_count_vXNesLlMH1(a,154)+op_count_iSPYpyCUiq(op_vXNesLlMH1(a,154))
    return count


⫸⊃⋝a = { ((⋗⇾⨧(a⨚⪝64))⪺≸((a⪑a)⇐↙(a≦↸a))) , if (⇤∦⫞a)<140 ; ((≶↦⪦(a⋬∙⫻a))⨳⋭⩊((a∿⩫⫏59)⫏⋑(⪳⫟⩤716))) , else }

def op_oR1ZMLEmP5(a):
    if op_IoUjnv0djG(a) < 140:
        return op_LbAE8EoqYH(op_Mr0boxVnVf(op_X2bul7T2BP(a,64)),op_nFUV6O7puR(op_8CI59HBmeC(a,a),op_RygbFNSyEJ(a,a)))
    else:
        return op_hI7k9NMHqW(op_MIHMQtqrNp(op_a4wu6RrqAP(a,a)),op_YJnbaRgmQd(op_whU4MbSDDh(a,59),op_Mwm3sDJixD(716)))

def op_count_oR1ZMLEmP5(a):
    if op_IoUjnv0djG(a) < 140:
        count = op_count_X2bul7T2BP(a,64)+op_count_Mr0boxVnVf(op_X2bul7T2BP(a,64))+op_count_8CI59HBmeC(a,a)+op_count_RygbFNSyEJ(a,a)+op_count_nFUV6O7puR(op_8CI59HBmeC(a,a),op_RygbFNSyEJ(a,a))+op_count_LbAE8EoqYH(op_Mr0boxVnVf(op_X2bul7T2BP(a,64)),op_nFUV6O7puR(op_8CI59HBmeC(a,a),op_RygbFNSyEJ(a,a)))+op_count_IoUjnv0djG(a)
    else:
        count = op_count_a4wu6RrqAP(a,a)+op_count_MIHMQtqrNp(op_a4wu6RrqAP(a,a))+op_count_whU4MbSDDh(a,59)+op_count_Mwm3sDJixD(716)+op_count_YJnbaRgmQd(op_whU4MbSDDh(a,59),op_Mwm3sDJixD(716))+op_count_hI7k9NMHqW(op_MIHMQtqrNp(op_a4wu6RrqAP(a,a)),op_YJnbaRgmQd(op_whU4MbSDDh(a,59),op_Mwm3sDJixD(716)))
    return count


a⩐∓⪍b = { (√(⨳⩬⇯(b⋤≔⊹a))) , if a>176 or (a⋳⩇⊫)!=282 or (a⫚⨥)<17 ; (((b∶∼⩅a)≞⇯(46⨪↰⇹b))∱⨖(≙↧(≷⫦a))) , else }

def op_NcnV7uxl1o(a, b):
    if a > 176 or op_6O8ohGGmyb(a) != 282 or op_5htHiqXdCj(a) < 17:
        return op_9Nj8JWw93Z(op_cSYuHxjEyJ(op_Vc5rgziU3z(b,a)))
    else:
        return op_owCSkFYFye(op_8kC3VQV3Yq(op_0m7WmqJHie(b,a),op_tmPS8pqC7x(46,b)),op_slHE12z0pD(op_K7MnsOaMRl(a)))

def op_count_NcnV7uxl1o(a, b):
    if a > 176 or op_6O8ohGGmyb(a) != 282 or op_5htHiqXdCj(a) < 17:
        count = op_count_Vc5rgziU3z(b,a)+op_count_cSYuHxjEyJ(op_Vc5rgziU3z(b,a))+op_count_9Nj8JWw93Z(op_cSYuHxjEyJ(op_Vc5rgziU3z(b,a)))+op_count_6O8ohGGmyb(a)+op_count_5htHiqXdCj(a)
    else:
        count = op_count_0m7WmqJHie(b,a)+op_count_tmPS8pqC7x(46,b)+op_count_8kC3VQV3Yq(op_0m7WmqJHie(b,a),op_tmPS8pqC7x(46,b))+op_count_K7MnsOaMRl(a)+op_count_slHE12z0pD(op_K7MnsOaMRl(a))+op_count_owCSkFYFye(op_8kC3VQV3Yq(op_0m7WmqJHie(b,a),op_tmPS8pqC7x(46,b)),op_slHE12z0pD(op_K7MnsOaMRl(a)))
    return count


a⨵⪸ = { ((a⪹⪡a)⩭) , if (a⊿⇪↰)<=2 and (a⋱⇵760)==110 and a<=108 ; ((a⫸⩸a)⩩∧⨆(a⊒⪙⋠a)) , else }

def op_BXuVwb1gUU(a):
    if op_KydNfnjeRI(a) <= 2 and op_5ESOiVPbEV(a,760) == 110 and a <= 108:
        return op_yIPP7u6H5x(op_Wg8Td3V4Jl(a,a))
    else:
        return op_tzokWjBnUu(op_SfUa7LlWFO(a,a),op_sSN6hMPJni(a,a))

def op_count_BXuVwb1gUU(a):
    if op_KydNfnjeRI(a) <= 2 and op_5ESOiVPbEV(a,760) == 110 and a <= 108:
        count = op_count_Wg8Td3V4Jl(a,a)+op_count_yIPP7u6H5x(op_Wg8Td3V4Jl(a,a))+op_count_KydNfnjeRI(a)+op_count_5ESOiVPbEV(a,760)
    else:
        count = op_count_SfUa7LlWFO(a,a)+op_count_sSN6hMPJni(a,a)+op_count_tzokWjBnUu(op_SfUa7LlWFO(a,a),op_sSN6hMPJni(a,a))
    return count


a⊓⋔⋧ = { (((a⪶⪫)∼(a⇂≾⫗a))⨔≚≋((629↮≣)⋣⩘⋸(a⇏⫋a))) , if a>534 and (a∾⨓∱555)>=108 ; (((a⊲⋔a)⨄⇱⋆)≥⨤⩑((10≂⩅a)≥⨯(478⫭↝a))) , else }

def op_KylKdcS8ve(a):
    if a > 534 and op_MS8KyFsSBL(a,555) >= 108:
        return op_Z57zeUYC9z(op_DyGG3AbaNP(op_OfyHn656xP(a),op_aBQ6xLxuTc(a,a)),op_DvuSqA3vLS(op_wD9ZKAewOQ(629),op_ro9DjxOURD(a,a)))
    else:
        return op_gJLn6v0xnP(op_cjqiF7riNC(op_ePf4TJv8UX(a,a)),op_2GKZYdYZjS(op_gDiZ5yZybD(10,a),op_n4DPn5x9ZW(478,a)))

def op_count_KylKdcS8ve(a):
    if a > 534 and op_MS8KyFsSBL(a,555) >= 108:
        count = op_count_OfyHn656xP(a)+op_count_aBQ6xLxuTc(a,a)+op_count_DyGG3AbaNP(op_OfyHn656xP(a),op_aBQ6xLxuTc(a,a))+op_count_wD9ZKAewOQ(629)+op_count_ro9DjxOURD(a,a)+op_count_DvuSqA3vLS(op_wD9ZKAewOQ(629),op_ro9DjxOURD(a,a))+op_count_Z57zeUYC9z(op_DyGG3AbaNP(op_OfyHn656xP(a),op_aBQ6xLxuTc(a,a)),op_DvuSqA3vLS(op_wD9ZKAewOQ(629),op_ro9DjxOURD(a,a)))+op_count_MS8KyFsSBL(a,555)
    else:
        count = op_count_ePf4TJv8UX(a,a)+op_count_cjqiF7riNC(op_ePf4TJv8UX(a,a))+op_count_gDiZ5yZybD(10,a)+op_count_n4DPn5x9ZW(478,a)+op_count_2GKZYdYZjS(op_gDiZ5yZybD(10,a),op_n4DPn5x9ZW(478,a))+op_count_gJLn6v0xnP(op_cjqiF7riNC(op_ePf4TJv8UX(a,a)),op_2GKZYdYZjS(op_gDiZ5yZybD(10,a),op_n4DPn5x9ZW(478,a)))
    return count


a⪟↹⩄b = { ((17⩷⩺a)⩉(b⪤≓⨓b)) , if (a≪⊺⋟8)==708 ; ((⪸⪰b)∖⊚(b⪃⊛⇣571)) , else }

def op_ve6XJ80iAA(a, b):
    if op_6XI03Y2wNz(a,8) == 708:
        return op_OH3l0Vrv7d(op_mBUmerU5Wa(17,a),op_CgMtesZvCQ(b,b))
    else:
        return op_KXDdaHDbNw(op_dtBtmTqwHZ(b),op_rrgAzCduG9(b,571))

def op_count_ve6XJ80iAA(a, b):
    if op_6XI03Y2wNz(a,8) == 708:
        count = op_count_mBUmerU5Wa(17,a)+op_count_CgMtesZvCQ(b,b)+op_count_OH3l0Vrv7d(op_mBUmerU5Wa(17,a),op_CgMtesZvCQ(b,b))+op_count_6XI03Y2wNz(a,8)
    else:
        count = op_count_dtBtmTqwHZ(b)+op_count_rrgAzCduG9(b,571)+op_count_KXDdaHDbNw(op_dtBtmTqwHZ(b),op_rrgAzCduG9(b,571))
    return count


a⋠⫔↷b = { ((⪡⇛⨶a)↣⫣⇭) , if (↚⪳≙b)<=3 ; ((↣≠⋷a)⩖⇢⊻(b⫺51)) , else }

def op_I81SCRunY4(a, b):
    if op_Xz5TYaP0s6(b) <= 3:
        return op_hVc01Dtea3(op_rdIIMiOofj(a))
    else:
        return op_mI6bTf2RKS(op_Asc51vEJeQ(a),op_P0o8L8MpVP(b,51))

def op_count_I81SCRunY4(a, b):
    if op_Xz5TYaP0s6(b) <= 3:
        count = op_count_rdIIMiOofj(a)+op_count_hVc01Dtea3(op_rdIIMiOofj(a))+op_count_Xz5TYaP0s6(b)
    else:
        count = op_count_Asc51vEJeQ(a)+op_count_P0o8L8MpVP(b,51)+op_count_mI6bTf2RKS(op_Asc51vEJeQ(a),op_P0o8L8MpVP(b,51))
    return count


def op_zPOpjZnxb0(a):
    if op_Pq8ByzEFQ1(a) <= 236 and op_rfCxBsGcPd(a,727) >= 14 and op_kZsPjwrGla(a) >= 680:
        return op_6D3mdwkYL6(op_dzg9arMPh9(op_If09U4imfG(a,40),a))
    else:
        return op_aFgCSysgue(op_q5ANYLE8fX(op_POp3h4pmYF(231,416)),a)

def op_count_zPOpjZnxb0(a):
    if op_Pq8ByzEFQ1(a) <= 236 and op_rfCxBsGcPd(a,727) >= 14 and op_kZsPjwrGla(a) >= 680:
        count = op_count_If09U4imfG(a,40)+op_count_dzg9arMPh9(op_If09U4imfG(a,40),a)+op_count_6D3mdwkYL6(op_dzg9arMPh9(op_If09U4imfG(a,40),a))+op_count_Pq8ByzEFQ1(a)+op_count_rfCxBsGcPd(a,727)+op_count_kZsPjwrGla(a)
    else:
        count = op_count_POp3h4pmYF(231,416)+op_count_q5ANYLE8fX(op_POp3h4pmYF(231,416))+op_count_aFgCSysgue(op_q5ANYLE8fX(op_POp3h4pmYF(231,416)),a)
    return count


a⪟⇱∛b = { (((933⊴⩳223)↲⇰(80⪴⋴↼b))⋪∉∙((a⋯⋟a)↵≅∝(↣≠⋷a))) , if (a⩌≎⨁)<=237 ; ((⪣⊏⇏(b∞∠⊒a))⨼((b⫋⊊b)⩍⋔∮(b⋤≔⊹b))) , else }

def op_NjHg1x11w6(a, b):
    if op_Xi4clIOpIx(a) <= 237:
        return op_ZudQkqJPAX(op_PfBB7jGsSd(op_vvoDRbMjB2(933,223),op_3MGUzg19yl(80,b)),op_p3t60N3cEu(op_q9XL0dzTix(a,a),op_Asc51vEJeQ(a)))
    else:
        return op_wrkABtkkQk(op_0YTUWrQViJ(op_QQjdLDgHOE(b,a)),op_sm9LEE0iOp(op_kMX5G63lLu(b,b),op_Vc5rgziU3z(b,b)))

def op_count_NjHg1x11w6(a, b):
    if op_Xi4clIOpIx(a) <= 237:
        count = op_count_vvoDRbMjB2(933,223)+op_count_3MGUzg19yl(80,b)+op_count_PfBB7jGsSd(op_vvoDRbMjB2(933,223),op_3MGUzg19yl(80,b))+op_count_q9XL0dzTix(a,a)+op_count_Asc51vEJeQ(a)+op_count_p3t60N3cEu(op_q9XL0dzTix(a,a),op_Asc51vEJeQ(a))+op_count_ZudQkqJPAX(op_PfBB7jGsSd(op_vvoDRbMjB2(933,223),op_3MGUzg19yl(80,b)),op_p3t60N3cEu(op_q9XL0dzTix(a,a),op_Asc51vEJeQ(a)))+op_count_Xi4clIOpIx(a)
    else:
        count = op_count_QQjdLDgHOE(b,a)+op_count_0YTUWrQViJ(op_QQjdLDgHOE(b,a))+op_count_kMX5G63lLu(b,b)+op_count_Vc5rgziU3z(b,b)+op_count_sm9LEE0iOp(op_kMX5G63lLu(b,b),op_Vc5rgziU3z(b,b))+op_count_wrkABtkkQk(op_0YTUWrQViJ(op_QQjdLDgHOE(b,a)),op_sm9LEE0iOp(op_kMX5G63lLu(b,b),op_Vc5rgziU3z(b,b)))
    return count


⇊⊀⨻a = { (((a⋤a)≆(a∺⋿a))⨝⪜⊎(⊚∘(a⇑≢⇛a))) , if (a⩑430)==162 or a<351 ; ((⪼⊮⪮(a↖⇒a))⪑((212⨬a)⪋⪉(a≌≢≞a))) , else }

def op_WwZIMy2l8F(a):
    if op_jbrVa8FwMb(a,430) == 162 or a < 351:
        return op_WAegT8i1n4(op_vfo9xvTTbt(op_3FfuuMEB8X(a,a),op_Ft2biiUhlV(a,a)),op_VzlfKl8IS2(op_X7KZn19ZSq(a,a)))
    else:
        return op_8CI59HBmeC(op_FnKkWBwf5d(op_2Yy7IiVHWW(a,a)),op_SWbPh9106B(op_NsGlVlbNoR(212,a),op_ez0Fj7iaCl(a,a)))

def op_count_WwZIMy2l8F(a):
    if op_jbrVa8FwMb(a,430) == 162 or a < 351:
        count = op_count_3FfuuMEB8X(a,a)+op_count_Ft2biiUhlV(a,a)+op_count_vfo9xvTTbt(op_3FfuuMEB8X(a,a),op_Ft2biiUhlV(a,a))+op_count_X7KZn19ZSq(a,a)+op_count_VzlfKl8IS2(op_X7KZn19ZSq(a,a))+op_count_WAegT8i1n4(op_vfo9xvTTbt(op_3FfuuMEB8X(a,a),op_Ft2biiUhlV(a,a)),op_VzlfKl8IS2(op_X7KZn19ZSq(a,a)))+op_count_jbrVa8FwMb(a,430)
    else:
        count = op_count_2Yy7IiVHWW(a,a)+op_count_FnKkWBwf5d(op_2Yy7IiVHWW(a,a))+op_count_NsGlVlbNoR(212,a)+op_count_ez0Fj7iaCl(a,a)+op_count_SWbPh9106B(op_NsGlVlbNoR(212,a),op_ez0Fj7iaCl(a,a))+op_count_8CI59HBmeC(op_FnKkWBwf5d(op_2Yy7IiVHWW(a,a)),op_SWbPh9106B(op_NsGlVlbNoR(212,a),op_ez0Fj7iaCl(a,a)))
    return count


a↣⨼ = { ((a⨆⫳⊗a)∱⫝(≮⨆a)) , if (a⩡⫇150)<=873 ; ((⫝⫻⪪765)∿⇈(a⪗⪯a)) , else }

def op_W8aBYTaVYL(a):
    if op_OkftowgG4v(a,150) <= 873:
        return op_QTzpnREx4U(op_lKgWx0LCvK(a,a),op_hl4Calylxn(a))
    else:
        return op_frKJlQghcg(op_3QslfnIP5z(765),op_shbpov9XXO(a,a))

def op_count_W8aBYTaVYL(a):
    if op_OkftowgG4v(a,150) <= 873:
        count = op_count_lKgWx0LCvK(a,a)+op_count_hl4Calylxn(a)+op_count_QTzpnREx4U(op_lKgWx0LCvK(a,a),op_hl4Calylxn(a))+op_count_OkftowgG4v(a,150)
    else:
        count = op_count_3QslfnIP5z(765)+op_count_shbpov9XXO(a,a)+op_count_frKJlQghcg(op_3QslfnIP5z(765),op_shbpov9XXO(a,a))
    return count


def op_e2vfUNW9iL(a, b):
    if op_i9eR4S00cU(a,688) >= 342:
        return op_TLVNXzrcCu(op_HY4jiOqclA(op_U7g4x0WXJJ(b,234),op_eLfSHi7B7f(b)))
    else:
        return op_DNprlI7j0r(op_LEx69w4iTZ(op_4mzu1DjKu8(a)),14)

def op_count_e2vfUNW9iL(a, b):
    if op_i9eR4S00cU(a,688) >= 342:
        count = op_count_U7g4x0WXJJ(b,234)+op_count_eLfSHi7B7f(b)+op_count_HY4jiOqclA(op_U7g4x0WXJJ(b,234),op_eLfSHi7B7f(b))+op_count_TLVNXzrcCu(op_HY4jiOqclA(op_U7g4x0WXJJ(b,234),op_eLfSHi7B7f(b)))+op_count_i9eR4S00cU(a,688)
    else:
        count = op_count_4mzu1DjKu8(a)+op_count_LEx69w4iTZ(op_4mzu1DjKu8(a))+op_count_DNprlI7j0r(op_LEx69w4iTZ(op_4mzu1DjKu8(a)),14)
    return count


def op_oxoBnjLA35(a):
    if op_TicOtjMu6G(a) != 207:
        return op_8T0b78JSGG(op_ERCh0iueHk(op_mRABlwQNwR(784,840),op_xoJmIySC7h(355,a)))
    else:
        return op_ZGCBLdVRRX(op_pPTxWWVODo(op_Ln1IrprsTU(39,a),op_FiPrOu92E8(a)))

def op_count_oxoBnjLA35(a):
    if op_TicOtjMu6G(a) != 207:
        count = op_count_mRABlwQNwR(784,840)+op_count_xoJmIySC7h(355,a)+op_count_ERCh0iueHk(op_mRABlwQNwR(784,840),op_xoJmIySC7h(355,a))+op_count_8T0b78JSGG(op_ERCh0iueHk(op_mRABlwQNwR(784,840),op_xoJmIySC7h(355,a)))+op_count_TicOtjMu6G(a)
    else:
        count = op_count_Ln1IrprsTU(39,a)+op_count_FiPrOu92E8(a)+op_count_pPTxWWVODo(op_Ln1IrprsTU(39,a),op_FiPrOu92E8(a))+op_count_ZGCBLdVRRX(op_pPTxWWVODo(op_Ln1IrprsTU(39,a),op_FiPrOu92E8(a)))
    return count


a↩⇨∠b = { ((a⋖⇕⪰a)≘⨍⩢(b∠a)) , if (⨅⇩a)>=120 ; (⋛⋶(b⇀∌)) , else }

def op_15TriiT5lc(a, b):
    if op_lbwCMbH8Kj(a) >= 120:
        return op_y1Bs0Kwqk0(op_zGZqYOUxsC(a,a),op_jZOzHi7EqF(b,a))
    else:
        return op_8ZudynJV7e(op_2k53nXOpI5(b))

def op_count_15TriiT5lc(a, b):
    if op_lbwCMbH8Kj(a) >= 120:
        count = op_count_zGZqYOUxsC(a,a)+op_count_jZOzHi7EqF(b,a)+op_count_y1Bs0Kwqk0(op_zGZqYOUxsC(a,a),op_jZOzHi7EqF(b,a))+op_count_lbwCMbH8Kj(a)
    else:
        count = op_count_2k53nXOpI5(b)+op_count_8ZudynJV7e(op_2k53nXOpI5(b))
    return count


def op_uPwavjg6Fh(a):
    if op_DBOBVDFmn2(a) == 122 or op_MKCxaPE9tg(a,799) == 740 or op_Eev2Q7dYIw(a) > 138:
        return a
    else:
        return op_DyGG3AbaNP(a,353)

def op_count_uPwavjg6Fh(a):
    if op_DBOBVDFmn2(a) == 122 or op_MKCxaPE9tg(a,799) == 740 or op_Eev2Q7dYIw(a) > 138:
        count = 1
    else:
        count = op_count_DyGG3AbaNP(a,353)
    return count


def op_XsOIMlu4sf(a):
    if a < 50:
        return op_xsU24Rf5qB(op_DSSXvJAOg7(a,284))
    else:
        return op_QOt3funPBV(986)

def op_count_XsOIMlu4sf(a):
    if a < 50:
        count = op_count_DSSXvJAOg7(a,284)+op_count_xsU24Rf5qB(op_DSSXvJAOg7(a,284))
    else:
        count = op_count_QOt3funPBV(986)
    return count


a⊍⋒∺b = { ((b⇙⫲b)⪶≀⋏(b⇷⫩∐b)) , if (⫊≏⨉a)>=248 ; ((⇏⇓315)⫹∗⪍(b⇱⇎⩗a)) , else }

def op_UpLFYzPS7a(a, b):
    if op_KED7KUUlGq(a) >= 248:
        return op_zR4jO40bMj(op_gTCkXbls8X(b,b),op_m3RzpFxG9o(b,b))
    else:
        return op_NNiFiUKbm3(op_6Y8uju4AIA(315),op_DSSXvJAOg7(b,a))

def op_count_UpLFYzPS7a(a, b):
    if op_KED7KUUlGq(a) >= 248:
        count = op_count_gTCkXbls8X(b,b)+op_count_m3RzpFxG9o(b,b)+op_count_zR4jO40bMj(op_gTCkXbls8X(b,b),op_m3RzpFxG9o(b,b))+op_count_KED7KUUlGq(a)
    else:
        count = op_count_6Y8uju4AIA(315)+op_count_DSSXvJAOg7(b,a)+op_count_NNiFiUKbm3(op_6Y8uju4AIA(315),op_DSSXvJAOg7(b,a))
    return count


def op_andFNUqDoQ(a):
    if op_M0mAKAgWvJ(a,458) <= 83:
        return op_84BIegk66X(op_jJY68xoYNq(op_fb4iIApWsB(61),op_wxno1H4PnZ(a,a)),op_ILZIEOL6W5(a,op_YzLjQAvfBQ(a)))
    else:
        return op_wObHbfC1Ju(op_VTWL3whYCc(op_vHez4XO4XZ(105,a),op_iPL6cQVrhP(a,0)))

def op_count_andFNUqDoQ(a):
    if op_M0mAKAgWvJ(a,458) <= 83:
        count = op_count_fb4iIApWsB(61)+op_count_wxno1H4PnZ(a,a)+op_count_jJY68xoYNq(op_fb4iIApWsB(61),op_wxno1H4PnZ(a,a))+op_count_YzLjQAvfBQ(a)+op_count_ILZIEOL6W5(a,op_YzLjQAvfBQ(a))+op_count_84BIegk66X(op_jJY68xoYNq(op_fb4iIApWsB(61),op_wxno1H4PnZ(a,a)),op_ILZIEOL6W5(a,op_YzLjQAvfBQ(a)))+op_count_M0mAKAgWvJ(a,458)
    else:
        count = op_count_vHez4XO4XZ(105,a)+op_count_iPL6cQVrhP(a,0)+op_count_VTWL3whYCc(op_vHez4XO4XZ(105,a),op_iPL6cQVrhP(a,0))+op_count_wObHbfC1Ju(op_VTWL3whYCc(op_vHez4XO4XZ(105,a),op_iPL6cQVrhP(a,0)))
    return count


a↯≯b = { (b⊺↚⊤151) , if b<=54 ; (b⇎⇧a) , else }

def op_tQzHSwedHX(a, b):
    if b <= 54:
        return op_ONgMwLM7Hk(b,151)
    else:
        return op_cnI436iWbz(b,a)

def op_count_tQzHSwedHX(a, b):
    if b <= 54:
        count = op_count_ONgMwLM7Hk(b,151)
    else:
        count = op_count_cnI436iWbz(b,a)
    return count


a⨔∭⩍b = { (a⪆⊎⇋b) , if (a⋩⪂)<=27 ; (⪕∮b) , else }

def op_g6Va4NCmdU(a, b):
    if op_TcqBw3IAzW(a) <= 27:
        return op_oCumtb3mAM(a,b)
    else:
        return op_3i9jIp2RQP(b)

def op_count_g6Va4NCmdU(a, b):
    if op_TcqBw3IAzW(a) <= 27:
        count = op_count_oCumtb3mAM(a,b)+op_count_TcqBw3IAzW(a)
    else:
        count = op_count_3i9jIp2RQP(b)
    return count


a∪≻⋫b = { (b⊹∫⫚a) , if (b⪄⨗⋂978)==82 and (a↻⫙)<14 ; (↣≠⋷b) , else }

def op_HRPUj8mvjI(a, b):
    if op_BA5ptRLOMP(b,978) == 82 and op_qi2PGaRFP5(a) < 14:
        return op_uWAJUKEvyW(b,a)
    else:
        return op_Asc51vEJeQ(b)

def op_count_HRPUj8mvjI(a, b):
    if op_BA5ptRLOMP(b,978) == 82 and op_qi2PGaRFP5(a) < 14:
        count = op_count_uWAJUKEvyW(b,a)+op_count_BA5ptRLOMP(b,978)+op_count_qi2PGaRFP5(a)
    else:
        count = op_count_Asc51vEJeQ(b)
    return count


def op_hAuHmBv4Iq(a, b):
    if op_li6r5MptpW(b) != 231:
        return op_As8RqfVLgs(a,185)
    else:
        return op_Mk4ylCeGwW(187)

def op_count_hAuHmBv4Iq(a, b):
    if op_li6r5MptpW(b) != 231:
        count = op_count_As8RqfVLgs(a,185)+op_count_li6r5MptpW(b)
    else:
        count = op_count_Mk4ylCeGwW(187)
    return count


⪾⇈a = { (a∟≃) , if a>=253 ; (a⇓a) , else }

def op_1Rtqwwihgq(a):
    if a >= 253:
        return op_uPE9uA7DVi(a)
    else:
        return op_TyhCdZMmeC(a,a)

def op_count_1Rtqwwihgq(a):
    if a >= 253:
        count = op_count_uPE9uA7DVi(a)
    else:
        count = op_count_TyhCdZMmeC(a,a)
    return count


⩊⋬a = { ((a⇴∐a)≮⫒) , if (a⇦⋔⨵)>175 or (a∥⇨)>=206 ; ((⇅⊳a)⇂⇩↑) , else }

def op_plTlYiiVR7(a):
    if op_u3XxlibK4s(a) > 175 or op_B1w2DhXrIu(a) >= 206:
        return op_OdLS7bwPL8(op_HnzytWxmAO(a,a))
    else:
        return op_8XkzSOMcld(op_TdUTTVKLPU(a))

def op_count_plTlYiiVR7(a):
    if op_u3XxlibK4s(a) > 175 or op_B1w2DhXrIu(a) >= 206:
        count = op_count_HnzytWxmAO(a,a)+op_count_OdLS7bwPL8(op_HnzytWxmAO(a,a))+op_count_u3XxlibK4s(a)+op_count_B1w2DhXrIu(a)
    else:
        count = op_count_TdUTTVKLPU(a)+op_count_8XkzSOMcld(op_TdUTTVKLPU(a))
    return count


a⊒∱⪌b = { ((≛⫬∙a)⇼↘⪽(⊘⪂b)) , if a==521 ; (≙↧(a⋘⊽⋨a)) , else }

def op_ohUNKU9Yq4(a, b):
    if a == 521:
        return op_XHiEIDRUBl(op_Ux7iK00Jvb(a),op_hy02SBIzwW(b))
    else:
        return op_slHE12z0pD(op_vHw4Ts2jdd(a,a))

def op_count_ohUNKU9Yq4(a, b):
    if a == 521:
        count = op_count_Ux7iK00Jvb(a)+op_count_hy02SBIzwW(b)+op_count_XHiEIDRUBl(op_Ux7iK00Jvb(a),op_hy02SBIzwW(b))
    else:
        count = op_count_vHw4Ts2jdd(a,a)+op_count_slHE12z0pD(op_vHw4Ts2jdd(a,a))
    return count


⪑⨀a = { (((a⨐⩸⫘55)⫡⨏(a⇀⪳⪜a))⨿(⪱⊙(a⋐≟⩺a))) , if (⋑a)==159 ; (((a↪⩍⫅518)⇆(a⋗⋌a))≭∲((260⇶⫷a)⪄⪘⪾(⫽∺⊷a))) , else }

def op_fNAF9vHlKy(a):
    if op_iz8sE888QL(a) == 159:
        return op_abYXlopdE0(op_QMFrweE19q(op_fu6greOZ01(a,55),op_qpd0AC6jbn(a,a)),op_LC3l6UcXNH(op_PjbVkMzmXE(a,a)))
    else:
        return op_KYh8HrRqh8(op_S5nS5IR4MP(op_MuzqVKJccx(a,518),op_9BUDYzLkPF(a,a)),op_zO06vmwOEI(op_rWHQfPzizK(260,a),op_Q277GdSo1u(a)))

def op_count_fNAF9vHlKy(a):
    if op_iz8sE888QL(a) == 159:
        count = op_count_fu6greOZ01(a,55)+op_count_qpd0AC6jbn(a,a)+op_count_QMFrweE19q(op_fu6greOZ01(a,55),op_qpd0AC6jbn(a,a))+op_count_PjbVkMzmXE(a,a)+op_count_LC3l6UcXNH(op_PjbVkMzmXE(a,a))+op_count_abYXlopdE0(op_QMFrweE19q(op_fu6greOZ01(a,55),op_qpd0AC6jbn(a,a)),op_LC3l6UcXNH(op_PjbVkMzmXE(a,a)))+op_count_iz8sE888QL(a)
    else:
        count = op_count_MuzqVKJccx(a,518)+op_count_9BUDYzLkPF(a,a)+op_count_S5nS5IR4MP(op_MuzqVKJccx(a,518),op_9BUDYzLkPF(a,a))+op_count_rWHQfPzizK(260,a)+op_count_Q277GdSo1u(a)+op_count_zO06vmwOEI(op_rWHQfPzizK(260,a),op_Q277GdSo1u(a))+op_count_KYh8HrRqh8(op_S5nS5IR4MP(op_MuzqVKJccx(a,518),op_9BUDYzLkPF(a,a)),op_zO06vmwOEI(op_rWHQfPzizK(260,a),op_Q277GdSo1u(a)))
    return count


def op_vxHv16HtEI(a):
    if op_Ou3rxsDsgJ(a,622) > 368 or op_8IBHxuH8oO(a,671) >= 500:
        return op_783zoCpM6g(a)
    else:
        return op_CzReKdJ050(a,a)

def op_count_vxHv16HtEI(a):
    if op_Ou3rxsDsgJ(a,622) > 368 or op_8IBHxuH8oO(a,671) >= 500:
        count = op_count_783zoCpM6g(a)+op_count_Ou3rxsDsgJ(a,622)+op_count_8IBHxuH8oO(a,671)
    else:
        count = op_count_CzReKdJ050(a,a)
    return count


a⩊⩨⩡b = { ((a⇧⇶b)⨢⫆↮(a∑⇟⊟a)) , if (a⊋⋭)<766 ; (⨻⊉⨹(a≻≌⋽a)) , else }

def op_WbqpoKMVoL(a, b):
    if op_43qyRbuflC(a) < 766:
        return op_f3sHO3maxt(op_bI8wFiTsE3(a,b),op_U7g4x0WXJJ(a,a))
    else:
        return op_ZC1CbmVjOG(op_wHIWe8QR1k(a,a))

def op_count_WbqpoKMVoL(a, b):
    if op_43qyRbuflC(a) < 766:
        count = op_count_bI8wFiTsE3(a,b)+op_count_U7g4x0WXJJ(a,a)+op_count_f3sHO3maxt(op_bI8wFiTsE3(a,b),op_U7g4x0WXJJ(a,a))+op_count_43qyRbuflC(a)
    else:
        count = op_count_wHIWe8QR1k(a,a)+op_count_ZC1CbmVjOG(op_wHIWe8QR1k(a,a))
    return count


a⨰- = { ((≮⨆50)↗⇀⩯(a⫇⩸⨢a)) , if (⊒⫑⊡a)!=113 or (⪃⇦a)<=171 ; ((a≎a)⋉←⋽(a⊍⋬a)) , else }

def op_P4ChZxiUBf(a):
    if op_NVeYvCUZ8p(a) != 113 or op_RxT7DRsJUJ(a) <= 171:
        return op_2IkpNCe4ga(op_hl4Calylxn(50),op_diu054m9en(a,a))
    else:
        return op_Vf9NwM3fOJ(op_kvyeM8WEH2(a,a),op_uC1OCuP0T4(a,a))

def op_count_P4ChZxiUBf(a):
    if op_NVeYvCUZ8p(a) != 113 or op_RxT7DRsJUJ(a) <= 171:
        count = op_count_hl4Calylxn(50)+op_count_diu054m9en(a,a)+op_count_2IkpNCe4ga(op_hl4Calylxn(50),op_diu054m9en(a,a))+op_count_NVeYvCUZ8p(a)+op_count_RxT7DRsJUJ(a)
    else:
        count = op_count_kvyeM8WEH2(a,a)+op_count_uC1OCuP0T4(a,a)+op_count_Vf9NwM3fOJ(op_kvyeM8WEH2(a,a),op_uC1OCuP0T4(a,a))
    return count


a⫌≡⋰ = { (((a≞⩶⨁a)⨚(a⩕⪹a))⨬(↽∬(a⪙⨷))) , if (⋫⊙≮a)<=386 ; (a⨢↟(∛⊵(a⇨⪃⋨a))) , else }

def op_47qfsoIpT8(a):
    if op_vgbR074ZVD(a) <= 386:
        return op_NsGlVlbNoR(op_nREPSIbpBE(op_M5PcsFUMKN(a,a),op_kzMYT8W7Zd(a,a)),op_ZbtZ49kJld(op_HI6EKyYwLR(a)))
    else:
        return op_Z7B3c4tHRK(a,op_jfYOP67v6Y(op_7JOOl3WMOF(a,a)))

def op_count_47qfsoIpT8(a):
    if op_vgbR074ZVD(a) <= 386:
        count = op_count_M5PcsFUMKN(a,a)+op_count_kzMYT8W7Zd(a,a)+op_count_nREPSIbpBE(op_M5PcsFUMKN(a,a),op_kzMYT8W7Zd(a,a))+op_count_HI6EKyYwLR(a)+op_count_ZbtZ49kJld(op_HI6EKyYwLR(a))+op_count_NsGlVlbNoR(op_nREPSIbpBE(op_M5PcsFUMKN(a,a),op_kzMYT8W7Zd(a,a)),op_ZbtZ49kJld(op_HI6EKyYwLR(a)))+op_count_vgbR074ZVD(a)
    else:
        count = op_count_7JOOl3WMOF(a,a)+op_count_jfYOP67v6Y(op_7JOOl3WMOF(a,a))+op_count_Z7B3c4tHRK(a,op_jfYOP67v6Y(op_7JOOl3WMOF(a,a)))
    return count


⊧⩣≡a = { (((⩠↾⋷a)⨗⩕)⇕⫍a) , if a>585 ; ((⇺⊢(⊬⨌a))⩌⨨⨫((a≭⩙∲8)⨤(a∲⪻a))) , else }

def op_iYCqBDWHag(a):
    if a > 585:
        return op_SVbYQ5zZTr(op_vMsY8vuDsl(op_ukSLkBfL7r(a)),a)
    else:
        return op_3QUG3jHDXB(op_nmsOY208YL(op_q5ANYLE8fX(a)),op_6Dk38mmJ69(op_uc7hNODfk0(a,8),op_oS3yjF67M5(a,a)))

def op_count_iYCqBDWHag(a):
    if a > 585:
        count = op_count_ukSLkBfL7r(a)+op_count_vMsY8vuDsl(op_ukSLkBfL7r(a))+op_count_SVbYQ5zZTr(op_vMsY8vuDsl(op_ukSLkBfL7r(a)),a)
    else:
        count = op_count_q5ANYLE8fX(a)+op_count_nmsOY208YL(op_q5ANYLE8fX(a))+op_count_uc7hNODfk0(a,8)+op_count_oS3yjF67M5(a,a)+op_count_6Dk38mmJ69(op_uc7hNODfk0(a,8),op_oS3yjF67M5(a,a))+op_count_3QUG3jHDXB(op_nmsOY208YL(op_q5ANYLE8fX(a)),op_6Dk38mmJ69(op_uc7hNODfk0(a,8),op_oS3yjF67M5(a,a)))
    return count


a⊧⫤b = { (a⇀∌) , if (b⊍⪇667)!=73 ; (≸↞⋩a) , else }

def op_l6uhoutUSf(a, b):
    if op_1KIUooOuPe(b,667) != 73:
        return op_2k53nXOpI5(a)
    else:
        return op_tVs89wIT8I(a)

def op_count_l6uhoutUSf(a, b):
    if op_1KIUooOuPe(b,667) != 73:
        count = op_count_2k53nXOpI5(a)+op_count_1KIUooOuPe(b,667)
    else:
        count = op_count_tVs89wIT8I(a)
    return count


⪰⋀∗a = { (a⪎⨈(a≓∲a)) , if (≢⋄⋡a)<=66 ; ((⪠5)⪥⊚⫄) , else }

def op_S9J2yDLYw9(a):
    if op_M7zwneKWPL(a) <= 66:
        return op_PTuWOAQI59(a,op_s1XTVnmDOJ(a,a))
    else:
        return op_o0XIVnnuRq(op_RKeiQKbkFn(5))

def op_count_S9J2yDLYw9(a):
    if op_M7zwneKWPL(a) <= 66:
        count = op_count_s1XTVnmDOJ(a,a)+op_count_PTuWOAQI59(a,op_s1XTVnmDOJ(a,a))+op_count_M7zwneKWPL(a)
    else:
        count = op_count_RKeiQKbkFn(5)+op_count_o0XIVnnuRq(op_RKeiQKbkFn(5))
    return count


⪓⊱∫a = { ((6⪗⪯a)⋗⨓(⩗⩯a)) , if (⋞∿a)<=43 and a!=269 ; (a⨄⩾↼(⩩≉⋩a)) , else }

def op_ESeaFd6FDU(a):
    if op_vTvE58QpBu(a) <= 43 and a != 269:
        return op_imqY0THBaP(op_shbpov9XXO(6,a),op_ZIn1xnwsz5(a))
    else:
        return op_6Bcfo3j9gb(a,op_PdXgBgzzRn(a))

def op_count_ESeaFd6FDU(a):
    if op_vTvE58QpBu(a) <= 43 and a != 269:
        count = op_count_shbpov9XXO(6,a)+op_count_ZIn1xnwsz5(a)+op_count_imqY0THBaP(op_shbpov9XXO(6,a),op_ZIn1xnwsz5(a))+op_count_vTvE58QpBu(a)
    else:
        count = op_count_PdXgBgzzRn(a)+op_count_6Bcfo3j9gb(a,op_PdXgBgzzRn(a))
    return count


def op_ukaSZDAsUO(a, b):
    if (op_f41ZsjPMQ7(b) != 365 and op_yJC0uiLgXl(a,980) < 614 and op_0m85q53N9z(b,959) != 446):
        return 646
    else:
        return op_YUaZ0ptK8E(op_tXD093vOjl(a,op_hd8EJBCbQT(426,b)))

def op_count_ukaSZDAsUO(a, b):
    if (op_f41ZsjPMQ7(b) != 365 and op_yJC0uiLgXl(a,980) < 614 and op_0m85q53N9z(b,959) != 446):
        count = op_count_f41ZsjPMQ7(b)+op_count_yJC0uiLgXl(a,980)+op_count_0m85q53N9z(b,959)
    else:
        count = op_count_hd8EJBCbQT(426,b)+op_count_tXD093vOjl(a,op_hd8EJBCbQT(426,b))+op_count_YUaZ0ptK8E(op_tXD093vOjl(a,op_hd8EJBCbQT(426,b)))
    return count


def op_00eugm16j2(a, b):
    return op_1RKnjyXON0(op_SlXQBQlOF8(a,b))

def op_count_00eugm16j2(a, b):
    count = op_count_SlXQBQlOF8(a,b)+op_count_1RKnjyXON0(op_SlXQBQlOF8(a,b))
    return count


def op_deDAj96Jnr(a):
    return op_rtRUSnrYdo(a,a)

def op_count_deDAj96Jnr(a):
    count = op_count_rtRUSnrYdo(a,a)
    return count


-⩓⇬a = { (a⋷∪⋷a) , if (a⊏)==32 ; (a⪣⊠⊏a) , else }

def op_FBAhYX3tc6(a):
    if op_87d232jbQB(a) == 32:
        return op_HYT61O2rBh(a,a)
    else:
        return op_sfbOBpSN9p(a,a)

def op_count_FBAhYX3tc6(a):
    if op_87d232jbQB(a) == 32:
        count = op_count_HYT61O2rBh(a,a)+op_count_87d232jbQB(a)
    else:
        count = op_count_sfbOBpSN9p(a,a)
    return count


a∴⊾ = { (((a≞→a)⩄⫧∩(a⊲⩕⊾a))⊲(⩄(a↚⋳⨕a))) }

def op_2921P5fBKz(a):
    return op_yMixD7ucMB(op_x91QhENKPJ(op_F5sOeBPF7d(a,a),op_DmTXOeWf9t(a,a)),op_otB5Ew3TfZ(op_7Z9orq1BI6(a,a)))

def op_count_2921P5fBKz(a):
    count = op_count_F5sOeBPF7d(a,a)+op_count_DmTXOeWf9t(a,a)+op_count_x91QhENKPJ(op_F5sOeBPF7d(a,a),op_DmTXOeWf9t(a,a))+op_count_7Z9orq1BI6(a,a)+op_count_otB5Ew3TfZ(op_7Z9orq1BI6(a,a))+op_count_yMixD7ucMB(op_x91QhENKPJ(op_F5sOeBPF7d(a,a),op_DmTXOeWf9t(a,a)),op_otB5Ew3TfZ(op_7Z9orq1BI6(a,a)))
    return count


a⇴∈∣b = { ((⩤⊗(b⫤⇆⋞))⨻⩈⩔((b⇚≂a)∥⋈(b≎⪠b))) }

def op_zLO0jD9z8P(a, b):
    return op_nEsXyWgiOK(op_DnjuNtPDFA(op_BMGZzhc1vn(b)),op_j7kFUh2iBI(op_otIR7kHRl1(b,a),op_aNhz54LH3e(b,b)))

def op_count_zLO0jD9z8P(a, b):
    count = op_count_BMGZzhc1vn(b)+op_count_DnjuNtPDFA(op_BMGZzhc1vn(b))+op_count_otIR7kHRl1(b,a)+op_count_aNhz54LH3e(b,b)+op_count_j7kFUh2iBI(op_otIR7kHRl1(b,a),op_aNhz54LH3e(b,b))+op_count_nEsXyWgiOK(op_DnjuNtPDFA(op_BMGZzhc1vn(b)),op_j7kFUh2iBI(op_otIR7kHRl1(b,a),op_aNhz54LH3e(b,b)))
    return count


a⫠⨨⊜b = { (((⇜a)⋌∯⨭(b⫛∐⩼401))⋅∕⪽((b⩖⪥a)∁⊟(a↗∻))) , if (↥≼⋛a)==751 ; b , else }

def op_nqPJMRuP12(a, b):
    if op_x5lMkHmzsq(a) == 751:
        return op_xapeEN5k6N(op_fOKpyHLGkA(op_lFBm8KRb8F(a),op_uQU0baUFSi(b,401)),op_HqcLaSpb3E(op_alVqtQAvjY(b,a),op_a1lA6srqjw(a)))
    else:
        return b

def op_count_nqPJMRuP12(a, b):
    if op_x5lMkHmzsq(a) == 751:
        count = op_count_lFBm8KRb8F(a)+op_count_uQU0baUFSi(b,401)+op_count_fOKpyHLGkA(op_lFBm8KRb8F(a),op_uQU0baUFSi(b,401))+op_count_alVqtQAvjY(b,a)+op_count_a1lA6srqjw(a)+op_count_HqcLaSpb3E(op_alVqtQAvjY(b,a),op_a1lA6srqjw(a))+op_count_xapeEN5k6N(op_fOKpyHLGkA(op_lFBm8KRb8F(a),op_uQU0baUFSi(b,401)),op_HqcLaSpb3E(op_alVqtQAvjY(b,a),op_a1lA6srqjw(a)))+op_count_x5lMkHmzsq(a)
    else:
        count = 1
    return count


a⊱⩪b = { ((≙↧a)⩱∐⨋(b*b)) , if (b⩃)==2 ; ((59⇋↽⋤239)≠≀(b⊯≩⫵b)) , else }

def op_Tqh1jpDmYY(a, b):
    if op_2sqRH14HT1(b) == 2:
        return op_Popjir4Ocp(op_slHE12z0pD(a),op_9HNa5Wba9A(b,b))
    else:
        return op_IwW236VD4Y(op_3K1YInASmv(59,239),op_bwHU3AucoK(b,b))

def op_count_Tqh1jpDmYY(a, b):
    if op_2sqRH14HT1(b) == 2:
        count = op_count_slHE12z0pD(a)+op_count_9HNa5Wba9A(b,b)+op_count_Popjir4Ocp(op_slHE12z0pD(a),op_9HNa5Wba9A(b,b))+op_count_2sqRH14HT1(b)
    else:
        count = op_count_3K1YInASmv(59,239)+op_count_bwHU3AucoK(b,b)+op_count_IwW236VD4Y(op_3K1YInASmv(59,239),op_bwHU3AucoK(b,b))
    return count


def op_gwQiHU3EuM(a):
    if (op_fMZ7mhYB2n(a) != 372 or op_i1v0HLnoav(a) != 107 or op_22D9SwvIE0(a,491) == 615):
        return 507
    else:
        return op_PdXgBgzzRn(a)

def op_count_gwQiHU3EuM(a):
    if (op_fMZ7mhYB2n(a) != 372 or op_i1v0HLnoav(a) != 107 or op_22D9SwvIE0(a,491) == 615):
        count = op_count_fMZ7mhYB2n(a)+op_count_i1v0HLnoav(a)+op_count_22D9SwvIE0(a,491)
    else:
        count = op_count_PdXgBgzzRn(a)
    return count


a↼⫩b = { (((⪬⪡≷546)⪃⊛⇣(b↭∷⨦a))⫙∈(⫻⩕(b⫏⋑b))) }

def op_McY416fZnZ(a, b):
    return op_X7Nk9lXC9E(op_rrgAzCduG9(op_hn0CQGOdYJ(546),op_CCYvMPNbl0(b,a)),op_l9uINT2ZnM(op_YJnbaRgmQd(b,b)))

def op_count_McY416fZnZ(a, b):
    count = op_count_hn0CQGOdYJ(546)+op_count_CCYvMPNbl0(b,a)+op_count_rrgAzCduG9(op_hn0CQGOdYJ(546),op_CCYvMPNbl0(b,a))+op_count_YJnbaRgmQd(b,b)+op_count_l9uINT2ZnM(op_YJnbaRgmQd(b,b))+op_count_X7Nk9lXC9E(op_rrgAzCduG9(op_hn0CQGOdYJ(546),op_CCYvMPNbl0(b,a)),op_l9uINT2ZnM(op_YJnbaRgmQd(b,b)))
    return count


a⋐⨿b = { (((a⫻∮)⋋↞⩉(a⊉237))≨≷↮(⇜⋮(≽↞⨑b))) }

def op_rg9d9fbw92(a, b):
    return op_HcR3lMcVMO(op_FtzCMUsONU(op_c6IZHs8yUf(a),op_DB9nkKv9Ue(a,237)),op_QDIjiCACCA(op_rfHPFfr6cI(b)))

def op_count_rg9d9fbw92(a, b):
    count = op_count_c6IZHs8yUf(a)+op_count_DB9nkKv9Ue(a,237)+op_count_FtzCMUsONU(op_c6IZHs8yUf(a),op_DB9nkKv9Ue(a,237))+op_count_rfHPFfr6cI(b)+op_count_QDIjiCACCA(op_rfHPFfr6cI(b))+op_count_HcR3lMcVMO(op_FtzCMUsONU(op_c6IZHs8yUf(a),op_DB9nkKv9Ue(a,237)),op_QDIjiCACCA(op_rfHPFfr6cI(b)))
    return count


def op_wxPuvmov39(a):
    if op_jmnE7SUc7n(a) >= 9 or op_EzFlXpFlmz(a,694) < 108:
        return op_8npM8OufGg(op_v7AuZyLTHx(op_SORa71X8Qm(a,218),op_XhwjNDsVaA(a,97)),op_wvOhsjS2Oe(op_ylAeJOtWIu(a),op_pABnYW3G3E(7)))
    else:
        return op_8LYAfUkFpU(op_t7XEfsFsRn(op_bQy7iKdSPD(a,21),op_CLsG3YN2nx(a)),op_ttmdOT7RaK(op_YjWMGCMWCv(a),op_o8Pngz0Tml(a)))

def op_count_wxPuvmov39(a):
    if op_jmnE7SUc7n(a) >= 9 or op_EzFlXpFlmz(a,694) < 108:
        count = op_count_SORa71X8Qm(a,218)+op_count_XhwjNDsVaA(a,97)+op_count_v7AuZyLTHx(op_SORa71X8Qm(a,218),op_XhwjNDsVaA(a,97))+op_count_ylAeJOtWIu(a)+op_count_pABnYW3G3E(7)+op_count_wvOhsjS2Oe(op_ylAeJOtWIu(a),op_pABnYW3G3E(7))+op_count_8npM8OufGg(op_v7AuZyLTHx(op_SORa71X8Qm(a,218),op_XhwjNDsVaA(a,97)),op_wvOhsjS2Oe(op_ylAeJOtWIu(a),op_pABnYW3G3E(7)))+op_count_jmnE7SUc7n(a)+op_count_EzFlXpFlmz(a,694)
    else:
        count = op_count_bQy7iKdSPD(a,21)+op_count_CLsG3YN2nx(a)+op_count_t7XEfsFsRn(op_bQy7iKdSPD(a,21),op_CLsG3YN2nx(a))+op_count_YjWMGCMWCv(a)+op_count_o8Pngz0Tml(a)+op_count_ttmdOT7RaK(op_YjWMGCMWCv(a),op_o8Pngz0Tml(a))+op_count_8LYAfUkFpU(op_t7XEfsFsRn(op_bQy7iKdSPD(a,21),op_CLsG3YN2nx(a)),op_ttmdOT7RaK(op_YjWMGCMWCv(a),op_o8Pngz0Tml(a)))
    return count


a⩦↙⊁ = { (a⨂≜a) , if (a⊡⩼⩻970)==473 ; (a∛⋻↤a) , else }

def op_L0Vb9kAguV(a):
    if op_FmA5WqHrBh(a,970) == 473:
        return op_k1SHOSEABc(a,a)
    else:
        return op_k3GVCLYZsC(a,a)

def op_count_L0Vb9kAguV(a):
    if op_FmA5WqHrBh(a,970) == 473:
        count = op_count_k1SHOSEABc(a,a)+op_count_FmA5WqHrBh(a,970)
    else:
        count = op_count_k3GVCLYZsC(a,a)
    return count


def op_K0k3CMDgFo(a, b):
    return op_EuXjuL2SQ0(op_0ajvFaJAv0(b,a))

def op_count_K0k3CMDgFo(a, b):
    count = op_count_0ajvFaJAv0(b,a)+op_count_EuXjuL2SQ0(op_0ajvFaJAv0(b,a))
    return count


def op_7O2ge1A7qA(a):
    return op_UyATZg4EzG(op_6VowpqB2XT(a,a),a)

def op_count_7O2ge1A7qA(a):
    count = op_count_6VowpqB2XT(a,a)+op_count_UyATZg4EzG(op_6VowpqB2XT(a,a),a)
    return count


def op_q0d7CaQJvY(a):
    return op_UHmRx3INFg(op_50uIHTrNdO(a,a))

def op_count_q0d7CaQJvY(a):
    count = op_count_50uIHTrNdO(a,a)+op_count_UHmRx3INFg(op_50uIHTrNdO(a,a))
    return count


def op_DOV1FBUI56(a):
    return op_iunaX2OYic(op_mO5CGOYEYM(op_EIdmTB6ive(a,a)))

def op_count_DOV1FBUI56(a):
    count = op_count_EIdmTB6ive(a,a)+op_count_mO5CGOYEYM(op_EIdmTB6ive(a,a))+op_count_iunaX2OYic(op_mO5CGOYEYM(op_EIdmTB6ive(a,a)))
    return count


def op_C0abn2dVQs(a):
    return op_oNoCrsWj2C(op_tqmm8txHHJ(op_VIybuTSL33(a,65),op_AabjzCHElt(78,a)))

def op_count_C0abn2dVQs(a):
    count = op_count_VIybuTSL33(a,65)+op_count_AabjzCHElt(78,a)+op_count_tqmm8txHHJ(op_VIybuTSL33(a,65),op_AabjzCHElt(78,a))+op_count_oNoCrsWj2C(op_tqmm8txHHJ(op_VIybuTSL33(a,65),op_AabjzCHElt(78,a)))
    return count


def op_weU8RZONq4(a):
    return op_SGfBAFE26B(op_abYXlopdE0(a,a),op_xoxUyiTt6N(a))

def op_count_weU8RZONq4(a):
    count = op_count_abYXlopdE0(a,a)+op_count_xoxUyiTt6N(a)+op_count_SGfBAFE26B(op_abYXlopdE0(a,a),op_xoxUyiTt6N(a))
    return count


def op_xZ6zYjEi4D(a):
    return op_n7wOqbEDlF(a,op_xrB6SlzufE(op_ZbtZ49kJld(134),op_uz3GelrGYC(395,a)))

def op_count_xZ6zYjEi4D(a):
    count = op_count_ZbtZ49kJld(134)+op_count_uz3GelrGYC(395,a)+op_count_xrB6SlzufE(op_ZbtZ49kJld(134),op_uz3GelrGYC(395,a))+op_count_n7wOqbEDlF(a,op_xrB6SlzufE(op_ZbtZ49kJld(134),op_uz3GelrGYC(395,a)))
    return count


def op_TArfdKqPJt(a):
    if a <= 50 and op_plJuxQVeFk(a) == 22:
        return op_KYD54nUTWz(42,140)
    else:
        return op_xZ7YB30Ims(a)

def op_count_TArfdKqPJt(a):
    if a <= 50 and op_plJuxQVeFk(a) == 22:
        count = op_count_KYD54nUTWz(42,140)+op_count_plJuxQVeFk(a)
    else:
        count = op_count_xZ7YB30Ims(a)
    return count


a⫝̸∽⩇b = { (((a⪌⨝∇a)≳⇉(a⫝⪙b))⪑⫞↭(⋫≀⫽(⨚⪯b))) }

def op_qvVw0GErgc(a, b):
    return op_VsxaxIN4o0(op_V0kx6qeWkN(op_J3kS3MdmEX(a,a),op_y1eBRRC36c(a,b)),op_V0aaSnRubj(op_tQw1O4DHpO(b)))

def op_count_qvVw0GErgc(a, b):
    count = op_count_J3kS3MdmEX(a,a)+op_count_y1eBRRC36c(a,b)+op_count_V0kx6qeWkN(op_J3kS3MdmEX(a,a),op_y1eBRRC36c(a,b))+op_count_tQw1O4DHpO(b)+op_count_V0aaSnRubj(op_tQw1O4DHpO(b))+op_count_VsxaxIN4o0(op_V0kx6qeWkN(op_J3kS3MdmEX(a,a),op_y1eBRRC36c(a,b)),op_V0aaSnRubj(op_tQw1O4DHpO(b)))
    return count


a⪊⫸⨯ = { (a⪋≥⨲a) , if (⫴⫣a)<71 ; (⇜a) , else }

def op_K9wcJkzVKU(a):
    if op_4ViIqD7dWl(a) < 71:
        return op_EZf0a6At7B(a,a)
    else:
        return op_lFBm8KRb8F(a)

def op_count_K9wcJkzVKU(a):
    if op_4ViIqD7dWl(a) < 71:
        count = op_count_EZf0a6At7B(a,a)+op_count_4ViIqD7dWl(a)
    else:
        count = op_count_lFBm8KRb8F(a)
    return count


def op_O9NiZjtnIW(a):
    if (a > 243 and op_QeMqMgpMCq(a) > 477):
        return op_FpZEcu9gEh(a)
    else:
        return op_QeMqMgpMCq(132)

def op_count_O9NiZjtnIW(a):
    if (a > 243 and op_QeMqMgpMCq(a) > 477):
        count = op_count_FpZEcu9gEh(a)+op_count_QeMqMgpMCq(a)
    else:
        count = op_count_QeMqMgpMCq(132)
    return count


def op_s7wa6oIwDS(a):
    return op_UAZAhLH3kE(op_LcYGXG2KuG(578,op_0rzHZG8MuI(a)),op_PdXgBgzzRn(op_CJQMSuANdj(a,a)))

def op_count_s7wa6oIwDS(a):
    count = op_count_0rzHZG8MuI(a)+op_count_LcYGXG2KuG(578,op_0rzHZG8MuI(a))+op_count_CJQMSuANdj(a,a)+op_count_PdXgBgzzRn(op_CJQMSuANdj(a,a))+op_count_UAZAhLH3kE(op_LcYGXG2KuG(578,op_0rzHZG8MuI(a)),op_PdXgBgzzRn(op_CJQMSuANdj(a,a)))
    return count


def op_F4wrSVGSLq(a, b):
    return op_slHE12z0pD(op_sCOsY8Na4j(b,a))

def op_count_F4wrSVGSLq(a, b):
    count = op_count_sCOsY8Na4j(b,a)+op_count_slHE12z0pD(op_sCOsY8Na4j(b,a))
    return count


def op_qLIwL9fq4o(a):
    if op_Dpe03YneAS(a,459) >= 230:
        return op_jiX4gk2v2Q(a)
    else:
        return op_v1UQAVDJRr(a,a)

def op_count_qLIwL9fq4o(a):
    if op_Dpe03YneAS(a,459) >= 230:
        count = op_count_jiX4gk2v2Q(a)+op_count_Dpe03YneAS(a,459)
    else:
        count = op_count_v1UQAVDJRr(a,a)
    return count


a⊮⇷b = { (((a↾⇦)⫨⨌∐(a⨗⩉a))⩏≛↟(⩌⫈⊏(72⩳⩝a))) , if (b⪟⫼739)<=126 ; a , else }

def op_L2fuIbcvNJ(a, b):
    if op_Lif1LrMNxJ(b,739) <= 126:
        return op_Tk0QX8wo8A(op_Ln1IrprsTU(op_H9RETCE9fR(a),op_yPuSsD7hfv(a,a)),op_lSMDpxMVNJ(op_Bc0pPSeyaF(72,a)))
    else:
        return a

def op_count_L2fuIbcvNJ(a, b):
    if op_Lif1LrMNxJ(b,739) <= 126:
        count = op_count_H9RETCE9fR(a)+op_count_yPuSsD7hfv(a,a)+op_count_Ln1IrprsTU(op_H9RETCE9fR(a),op_yPuSsD7hfv(a,a))+op_count_Bc0pPSeyaF(72,a)+op_count_lSMDpxMVNJ(op_Bc0pPSeyaF(72,a))+op_count_Tk0QX8wo8A(op_Ln1IrprsTU(op_H9RETCE9fR(a),op_yPuSsD7hfv(a,a)),op_lSMDpxMVNJ(op_Bc0pPSeyaF(72,a)))+op_count_Lif1LrMNxJ(b,739)
    else:
        count = 1
    return count


a⇦↭b = { (((⫂⩂≷b)⫔⩔⨨(b∳a))⊵⩱((b↾⇦)⫲⇝⋭(b⨯⩬344))) , if (≏↼a)<=318 ; b , else }

def op_EdOlxfbBgw(a, b):
    if op_u76zy1DpyB(a) <= 318:
        return op_JKUDcJ19AH(op_pzIYUzZX5D(op_a0FLuQwI5A(b),op_XCY0eMNfgm(b,a)),op_hnINjZwAK9(op_H9RETCE9fR(b),op_6OYwSIrMzf(b,344)))
    else:
        return b

def op_count_EdOlxfbBgw(a, b):
    if op_u76zy1DpyB(a) <= 318:
        count = op_count_a0FLuQwI5A(b)+op_count_XCY0eMNfgm(b,a)+op_count_pzIYUzZX5D(op_a0FLuQwI5A(b),op_XCY0eMNfgm(b,a))+op_count_H9RETCE9fR(b)+op_count_6OYwSIrMzf(b,344)+op_count_hnINjZwAK9(op_H9RETCE9fR(b),op_6OYwSIrMzf(b,344))+op_count_JKUDcJ19AH(op_pzIYUzZX5D(op_a0FLuQwI5A(b),op_XCY0eMNfgm(b,a)),op_hnINjZwAK9(op_H9RETCE9fR(b),op_6OYwSIrMzf(b,344)))+op_count_u76zy1DpyB(a)
    else:
        count = 1
    return count


a⋲⫂⫭ = { (((a≯⇓a)⊫∞)∑⊏((a⫀⫰⪦a)⪔≩⫊(203⇏a))) }

def op_q8lmiU1V26(a):
    return op_6dpzsyEjuz(op_pABnYW3G3E(op_zlRBn4MdrZ(a,a)),op_KG0EK6K0uq(op_itbFJNngdV(a,a),op_PgomNjGXmI(203,a)))

def op_count_q8lmiU1V26(a):
    count = op_count_zlRBn4MdrZ(a,a)+op_count_pABnYW3G3E(op_zlRBn4MdrZ(a,a))+op_count_itbFJNngdV(a,a)+op_count_PgomNjGXmI(203,a)+op_count_KG0EK6K0uq(op_itbFJNngdV(a,a),op_PgomNjGXmI(203,a))+op_count_6dpzsyEjuz(op_pABnYW3G3E(op_zlRBn4MdrZ(a,a)),op_KG0EK6K0uq(op_itbFJNngdV(a,a),op_PgomNjGXmI(203,a)))
    return count


⊗⪥⫅a = { (⨭⩧⫛a) , if (a⫩⨼473)>466 ; (41⋂↱↪a) , else }

def op_ZhwA9iSMvT(a):
    if op_WxjQizov8v(a,473) > 466:
        return op_g21JL6JxX7(a)
    else:
        return op_156v2NovHl(41,a)

def op_count_ZhwA9iSMvT(a):
    if op_WxjQizov8v(a,473) > 466:
        count = op_count_g21JL6JxX7(a)+op_count_WxjQizov8v(a,473)
    else:
        count = op_count_156v2NovHl(41,a)
    return count


≴⋲↰a = { (((∋∴a)≋≥(a⋹⋡⊁a))↘⇮) , if (a⋰486)!=194 ; (((a⩌⨭≭957)⋧⋛↙(a↑⪫≶a))⊒≛(⋥↴≬(a⪴⪗∳a))) , else }

def op_ZNXBYqCSKn(a):
    if op_lDgtejlvTV(a,486) != 194:
        return op_yoEdANZ3uM(op_p8rocv1ccI(op_nouZ5SZjt1(a),op_As8RqfVLgs(a,a)))
    else:
        return op_MQjB2XFIYX(op_IMmH2efQS3(op_4KnvnEaVgu(a,957),op_yHqH2lrrnJ(a,a)),op_gZrEJN9j6U(op_YUijxPlj15(a,a)))

def op_count_ZNXBYqCSKn(a):
    if op_lDgtejlvTV(a,486) != 194:
        count = op_count_nouZ5SZjt1(a)+op_count_As8RqfVLgs(a,a)+op_count_p8rocv1ccI(op_nouZ5SZjt1(a),op_As8RqfVLgs(a,a))+op_count_yoEdANZ3uM(op_p8rocv1ccI(op_nouZ5SZjt1(a),op_As8RqfVLgs(a,a)))+op_count_lDgtejlvTV(a,486)
    else:
        count = op_count_4KnvnEaVgu(a,957)+op_count_yHqH2lrrnJ(a,a)+op_count_IMmH2efQS3(op_4KnvnEaVgu(a,957),op_yHqH2lrrnJ(a,a))+op_count_YUijxPlj15(a,a)+op_count_gZrEJN9j6U(op_YUijxPlj15(a,a))+op_count_MQjB2XFIYX(op_IMmH2efQS3(op_4KnvnEaVgu(a,957),op_yHqH2lrrnJ(a,a)),op_gZrEJN9j6U(op_YUijxPlj15(a,a)))
    return count


def op_kllnd2yYzX(a, b):
    return op_zwyeAPEIkd(op_13rbtpv6ld(a,533),op_gjiB2nRvj7(b,b))

def op_count_kllnd2yYzX(a, b):
    count = op_count_13rbtpv6ld(a,533)+op_count_gjiB2nRvj7(b,b)+op_count_zwyeAPEIkd(op_13rbtpv6ld(a,533),op_gjiB2nRvj7(b,b))
    return count


def op_vrgjVPuaWO(a):
    if op_fTN8FyfkXr(a) > 689 and op_nhiPEUZSI1(a,766) != 168 and op_TPY4Vhd24N(a,306) > 431:
        return op_yyfyN0ffXY(op_kWb6VvCuY5(op_yPRFSXaFQ1(a,a),op_Tu8JGuLDXg(a,323)),op_bL9bVDjnH3(op_46b43un9S1(525,a)))
    else:
        return op_wrwtkmGkix(op_2DhqeOovny(op_WscUkPRWwf(a,a),op_ZGCBLdVRRX(a)))

def op_count_vrgjVPuaWO(a):
    if op_fTN8FyfkXr(a) > 689 and op_nhiPEUZSI1(a,766) != 168 and op_TPY4Vhd24N(a,306) > 431:
        count = op_count_yPRFSXaFQ1(a,a)+op_count_Tu8JGuLDXg(a,323)+op_count_kWb6VvCuY5(op_yPRFSXaFQ1(a,a),op_Tu8JGuLDXg(a,323))+op_count_46b43un9S1(525,a)+op_count_bL9bVDjnH3(op_46b43un9S1(525,a))+op_count_yyfyN0ffXY(op_kWb6VvCuY5(op_yPRFSXaFQ1(a,a),op_Tu8JGuLDXg(a,323)),op_bL9bVDjnH3(op_46b43un9S1(525,a)))+op_count_fTN8FyfkXr(a)+op_count_nhiPEUZSI1(a,766)+op_count_TPY4Vhd24N(a,306)
    else:
        count = op_count_WscUkPRWwf(a,a)+op_count_ZGCBLdVRRX(a)+op_count_2DhqeOovny(op_WscUkPRWwf(a,a),op_ZGCBLdVRRX(a))+op_count_wrwtkmGkix(op_2DhqeOovny(op_WscUkPRWwf(a,a),op_ZGCBLdVRRX(a)))
    return count


a⊤⨭⇟ = { (((a⇁⪭+)⨏(a⫻⩳∈a))⨋∔⪎(⪡⊎(⇬⊧⊉a))) , if a<401 ; (⪞⇺((22∑⇟⊟a)⩮⊟⫑a)) , else }

def op_a3nRKK1mwL(a):
    if a < 401:
        return op_2eU2VkipYL(op_AJW4C0rBPs(op_Nb6mHGtcrZ(a),op_6MREPLFO5z(a,a)),op_CtwNLWFr0w(op_WzUFEcWj69(a)))
    else:
        return op_LcLDYWYtOH(op_xm2CaS4xAe(op_U7g4x0WXJJ(22,a),a))

def op_count_a3nRKK1mwL(a):
    if a < 401:
        count = op_count_Nb6mHGtcrZ(a)+op_count_6MREPLFO5z(a,a)+op_count_AJW4C0rBPs(op_Nb6mHGtcrZ(a),op_6MREPLFO5z(a,a))+op_count_WzUFEcWj69(a)+op_count_CtwNLWFr0w(op_WzUFEcWj69(a))+op_count_2eU2VkipYL(op_AJW4C0rBPs(op_Nb6mHGtcrZ(a),op_6MREPLFO5z(a,a)),op_CtwNLWFr0w(op_WzUFEcWj69(a)))
    else:
        count = op_count_U7g4x0WXJJ(22,a)+op_count_xm2CaS4xAe(op_U7g4x0WXJJ(22,a),a)+op_count_LcLDYWYtOH(op_xm2CaS4xAe(op_U7g4x0WXJJ(22,a),a))
    return count


def op_tNSUXwYT8S(a):
    return op_K6E8QFs5tY(op_UHmRx3INFg(a),op_mp7IySMOzn(a,a))

def op_count_tNSUXwYT8S(a):
    count = op_count_UHmRx3INFg(a)+op_count_mp7IySMOzn(a,a)+op_count_K6E8QFs5tY(op_UHmRx3INFg(a),op_mp7IySMOzn(a,a))
    return count


a⫿≯b = { (((566⨢⫣↬a)⊊)⇼⪱⪮((a⫈∭⊸a)≊⊬(b⫣≾⊺44))) }

def op_RQ8B8TkRxG(a, b):
    return op_iKXgM9nePW(op_W9R8I5fN5A(op_C7DFujtSMd(566,a)),op_ZqWZ7aSIYL(op_21ob1huWpa(a,a),op_LXAvwK8YDe(b,44)))

def op_count_RQ8B8TkRxG(a, b):
    count = op_count_C7DFujtSMd(566,a)+op_count_W9R8I5fN5A(op_C7DFujtSMd(566,a))+op_count_21ob1huWpa(a,a)+op_count_LXAvwK8YDe(b,44)+op_count_ZqWZ7aSIYL(op_21ob1huWpa(a,a),op_LXAvwK8YDe(b,44))+op_count_iKXgM9nePW(op_W9R8I5fN5A(op_C7DFujtSMd(566,a)),op_ZqWZ7aSIYL(op_21ob1huWpa(a,a),op_LXAvwK8YDe(b,44)))
    return count


def op_FiMVApYjzB(a, b):
    if b != 485:
        return op_oywGZ9bzxQ(341)
    else:
        return op_EOlQWVzPou(a,a)

def op_count_FiMVApYjzB(a, b):
    if b != 485:
        count = op_count_oywGZ9bzxQ(341)
    else:
        count = op_count_EOlQWVzPou(a,a)
    return count


def op_Zkf8ljKXC6(a):
    return op_13rbtpv6ld(op_7xY59dLUJT(a),op_ajjFYbqVNX(a))

def op_count_Zkf8ljKXC6(a):
    count = op_count_7xY59dLUJT(a)+op_count_ajjFYbqVNX(a)+op_count_13rbtpv6ld(op_7xY59dLUJT(a),op_ajjFYbqVNX(a))
    return count


a⩵⊫b = { (∀⊫(b∿∦)) , if (b⇠⇖⨝653)<=682 and (a⩜≝⪟)<767 ; ((b≎↩∿a)⇵⫓↮) , else }

def op_bpCtRcqK5t(a, b):
    if op_H2Ssz4jEjc(b,653) <= 682 and op_DbanN18JVT(a) < 767:
        return op_gZaJvPXt7R(op_VDGmRyWY74(b))
    else:
        return op_lqOLaD3VEa(op_DowK1ZCM6i(b,a))

def op_count_bpCtRcqK5t(a, b):
    if op_H2Ssz4jEjc(b,653) <= 682 and op_DbanN18JVT(a) < 767:
        count = op_count_VDGmRyWY74(b)+op_count_gZaJvPXt7R(op_VDGmRyWY74(b))+op_count_H2Ssz4jEjc(b,653)+op_count_DbanN18JVT(a)
    else:
        count = op_count_DowK1ZCM6i(b,a)+op_count_lqOLaD3VEa(op_DowK1ZCM6i(b,a))
    return count


a⩜⨋⨛b = { (((⫽⪃∩a)⫸⇳(b∷↨⪰b))↞⊦⋕((⇺⋃a)≝(b⨽a))) , if (b⇏)>=111 ; (⇋a) , else }

def op_J1Cm4UmAn6(a, b):
    if op_L7PEQm7qWG(b) >= 111:
        return op_jV8AwRZkI7(op_gx7XJ7hdpj(op_zsfYGRPJw1(a),op_I1sHTgYUb4(b,b)),op_9ceAZlIJYr(op_E5v5B3UAjG(a),op_8HhzD0ZcuI(b,a)))
    else:
        return op_6Ac6Foig3G(a)

def op_count_J1Cm4UmAn6(a, b):
    if op_L7PEQm7qWG(b) >= 111:
        count = op_count_zsfYGRPJw1(a)+op_count_I1sHTgYUb4(b,b)+op_count_gx7XJ7hdpj(op_zsfYGRPJw1(a),op_I1sHTgYUb4(b,b))+op_count_E5v5B3UAjG(a)+op_count_8HhzD0ZcuI(b,a)+op_count_9ceAZlIJYr(op_E5v5B3UAjG(a),op_8HhzD0ZcuI(b,a))+op_count_jV8AwRZkI7(op_gx7XJ7hdpj(op_zsfYGRPJw1(a),op_I1sHTgYUb4(b,b)),op_9ceAZlIJYr(op_E5v5B3UAjG(a),op_8HhzD0ZcuI(b,a)))+op_count_L7PEQm7qWG(b)
    else:
        count = op_count_6Ac6Foig3G(a)
    return count


a⋥⪘ = { (a≡⫯⪠(⇖⫷⫕a)) , if a>608 ; ((a⪒⩉a)≋⊖⪚) , else }

def op_6Jkrb0i9lg(a):
    if a > 608:
        return op_sXtXS1L2Bt(a,op_UHmRx3INFg(a))
    else:
        return op_N5Sc0Qlu6E(op_JZ6LT1lUci(a,a))

def op_count_6Jkrb0i9lg(a):
    if a > 608:
        count = op_count_UHmRx3INFg(a)+op_count_sXtXS1L2Bt(a,op_UHmRx3INFg(a))
    else:
        count = op_count_JZ6LT1lUci(a,a)+op_count_N5Sc0Qlu6E(op_JZ6LT1lUci(a,a))
    return count


def op_K1RGqz2nJX(a):
    if a <= 705:
        return op_ViqgXgeRy8(op_PDrNSJDGFK(600),op_NGwZOE19PH(409,a))
    else:
        return op_gcnKSmWBRw(op_htsSHb9NOj(a,128),op_XFzi6qi8zt(a,a))

def op_count_K1RGqz2nJX(a):
    if a <= 705:
        count = op_count_PDrNSJDGFK(600)+op_count_NGwZOE19PH(409,a)+op_count_ViqgXgeRy8(op_PDrNSJDGFK(600),op_NGwZOE19PH(409,a))
    else:
        count = op_count_htsSHb9NOj(a,128)+op_count_XFzi6qi8zt(a,a)+op_count_gcnKSmWBRw(op_htsSHb9NOj(a,128),op_XFzi6qi8zt(a,a))
    return count


def op_6J5CqRoEOV(a):
    return op_1Pm2PC0Op1(a,op_gZaJvPXt7R(a))

def op_count_6J5CqRoEOV(a):
    count = op_count_gZaJvPXt7R(a)+op_count_1Pm2PC0Op1(a,op_gZaJvPXt7R(a))
    return count


def op_QgdHHsQxr5(a):
    return op_JybgvyMknk(op_Asc51vEJeQ(op_EV9swbq3TP(688,a)),op_3VCmebEnkL(op_W5FaPSP1ue(168,410)))

def op_count_QgdHHsQxr5(a):
    count = op_count_EV9swbq3TP(688,a)+op_count_Asc51vEJeQ(op_EV9swbq3TP(688,a))+op_count_W5FaPSP1ue(168,410)+op_count_3VCmebEnkL(op_W5FaPSP1ue(168,410))+op_count_JybgvyMknk(op_Asc51vEJeQ(op_EV9swbq3TP(688,a)),op_3VCmebEnkL(op_W5FaPSP1ue(168,410)))
    return count


def op_bCoWb1BSef(a, b):
    return op_2k53nXOpI5(op_NNiFiUKbm3(a,b))

def op_count_bCoWb1BSef(a, b):
    count = op_count_NNiFiUKbm3(a,b)+op_count_2k53nXOpI5(op_NNiFiUKbm3(a,b))
    return count


def op_E89PxuHdl7(a):
    if (op_nLYMGWM7L8(a) == 169 and a < 99):
        return op_UyATZg4EzG(a,a)
    else:
        return op_exzyYvvvzF(108,a)

def op_count_E89PxuHdl7(a):
    if (op_nLYMGWM7L8(a) == 169 and a < 99):
        count = op_count_UyATZg4EzG(a,a)+op_count_nLYMGWM7L8(a)
    else:
        count = op_count_exzyYvvvzF(108,a)
    return count


def op_3JZj0836pf(a):
    return op_wCMamEyb9i(op_I3sBQMZDxg(a),op_1RKnjyXON0(241))

def op_count_3JZj0836pf(a):
    count = op_count_I3sBQMZDxg(a)+op_count_1RKnjyXON0(241)+op_count_wCMamEyb9i(op_I3sBQMZDxg(a),op_1RKnjyXON0(241))
    return count


a∛⩊b = { (((a∭≔)⨲)⋍⇥⫞((a∎⪘∵b)⨓⫹(⪞⊪⊹184))) , if a!=171 ; (((b⋟⨱7)⋤b)⇤↠⊀((a⋔∾a)⫲∫(590⫾⩮⪒b))) , else }

def op_eXKgThLcvK(a, b):
    if a != 171:
        return op_x6jq9dVbvD(op_nLYMGWM7L8(op_QTpwzC7kMJ(a)),op_YYmmGX8gEu(op_N0OOnPqZzX(a,b),op_pHu44lZ3Lf(184)))
    else:
        return op_z6EySSQeql(op_3FfuuMEB8X(op_lN5Hu1ptA5(b,7),b),op_dHAONFAwon(op_5bjJf2Re4f(a,a),op_FsOkgZJFKv(590,b)))

def op_count_eXKgThLcvK(a, b):
    if a != 171:
        count = op_count_QTpwzC7kMJ(a)+op_count_nLYMGWM7L8(op_QTpwzC7kMJ(a))+op_count_N0OOnPqZzX(a,b)+op_count_pHu44lZ3Lf(184)+op_count_YYmmGX8gEu(op_N0OOnPqZzX(a,b),op_pHu44lZ3Lf(184))+op_count_x6jq9dVbvD(op_nLYMGWM7L8(op_QTpwzC7kMJ(a)),op_YYmmGX8gEu(op_N0OOnPqZzX(a,b),op_pHu44lZ3Lf(184)))
    else:
        count = op_count_lN5Hu1ptA5(b,7)+op_count_3FfuuMEB8X(op_lN5Hu1ptA5(b,7),b)+op_count_5bjJf2Re4f(a,a)+op_count_FsOkgZJFKv(590,b)+op_count_dHAONFAwon(op_5bjJf2Re4f(a,a),op_FsOkgZJFKv(590,b))+op_count_z6EySSQeql(op_3FfuuMEB8X(op_lN5Hu1ptA5(b,7),b),op_dHAONFAwon(op_5bjJf2Re4f(a,a),op_FsOkgZJFKv(590,b)))
    return count


def op_x4aEI2pRu5(a):
    if (op_Api82iH42a(a,175) < 308 or op_f4qx5ZNkPA(a) >= 294 or op_fn7tgSaaxd(a) < 118):
        return op_ONgMwLM7Hk(op_XONPy1BCje(108,a),op_V0kx6qeWkN(a,152))
    else:
        return op_Ou3rxsDsgJ(op_ZtMh8aaghZ(a,a),a)

def op_count_x4aEI2pRu5(a):
    if (op_Api82iH42a(a,175) < 308 or op_f4qx5ZNkPA(a) >= 294 or op_fn7tgSaaxd(a) < 118):
        count = op_count_XONPy1BCje(108,a)+op_count_V0kx6qeWkN(a,152)+op_count_ONgMwLM7Hk(op_XONPy1BCje(108,a),op_V0kx6qeWkN(a,152))+op_count_Api82iH42a(a,175)+op_count_f4qx5ZNkPA(a)+op_count_fn7tgSaaxd(a)
    else:
        count = op_count_ZtMh8aaghZ(a,a)+op_count_Ou3rxsDsgJ(op_ZtMh8aaghZ(a,a),a)
    return count


def op_ShxKnlt5WG(a, b):
    if op_JJtIcLWklg(a) == 119:
        return op_XLQU2G8LCx(op_KDDfsCJhw5(a,360),op_LXu4eIoRGd(b,58))
    else:
        return op_CoMdbyAt7R(op_10Y1YzcX1i(182,479))

def op_count_ShxKnlt5WG(a, b):
    if op_JJtIcLWklg(a) == 119:
        count = op_count_KDDfsCJhw5(a,360)+op_count_LXu4eIoRGd(b,58)+op_count_XLQU2G8LCx(op_KDDfsCJhw5(a,360),op_LXu4eIoRGd(b,58))+op_count_JJtIcLWklg(a)
    else:
        count = op_count_10Y1YzcX1i(182,479)+op_count_CoMdbyAt7R(op_10Y1YzcX1i(182,479))
    return count


def op_w5Ta59sn43(a):
    return op_CtwNLWFr0w(op_abYXlopdE0(op_5VcLSDSepo(a,a),op_ODFdAPCKMa(a,a)))

def op_count_w5Ta59sn43(a):
    count = op_count_5VcLSDSepo(a,a)+op_count_ODFdAPCKMa(a,a)+op_count_abYXlopdE0(op_5VcLSDSepo(a,a),op_ODFdAPCKMa(a,a))+op_count_CtwNLWFr0w(op_abYXlopdE0(op_5VcLSDSepo(a,a),op_ODFdAPCKMa(a,a)))
    return count


a⊫⪪b = { (b⋏⫫∉b) , if (⪅⇱⩖a)>262 ; (⋡⨘≙b) , else }

def op_s80zAji2HO(a, b):
    if op_GGjhROnT7v(a) > 262:
        return op_uc8QQvMjnT(b,b)
    else:
        return op_tHss8q0tGc(b)

def op_count_s80zAji2HO(a, b):
    if op_GGjhROnT7v(a) > 262:
        count = op_count_uc8QQvMjnT(b,b)+op_count_GGjhROnT7v(a)
    else:
        count = op_count_tHss8q0tGc(b)
    return count


a⇂≩b = { (b⪏⨔⇙a) , if (⪌≎a)<29 ; (b⨲) , else }

def op_WsTqe5jfIH(a, b):
    if op_zrtTgzMHZU(a) < 29:
        return op_Dye1y9yfmu(b,a)
    else:
        return op_nLYMGWM7L8(b)

def op_count_WsTqe5jfIH(a, b):
    if op_zrtTgzMHZU(a) < 29:
        count = op_count_Dye1y9yfmu(b,a)+op_count_zrtTgzMHZU(a)
    else:
        count = op_count_nLYMGWM7L8(b)
    return count


a⨍≘≳ = { (a⨂≜a) , if (a⩡⩩)<206 ; (a↞≒↤a) , else }

def op_fM9ZWFfxfE(a):
    if op_ShBvFzxPDQ(a) < 206:
        return op_k1SHOSEABc(a,a)
    else:
        return op_VxkNjAGpeT(a,a)

def op_count_fM9ZWFfxfE(a):
    if op_ShBvFzxPDQ(a) < 206:
        count = op_count_k1SHOSEABc(a,a)+op_count_ShBvFzxPDQ(a)
    else:
        count = op_count_VxkNjAGpeT(a,a)
    return count


a⩕↢⊭ = { ((a⫖≨⩺26)⪛(⪠a)) , if (≀⊣a)!=32 or a<=646 or (a⊈⩺)!=441 ; ((a⊐⪢≴a)≟⪯(a⊼⨶a)) , else }

def op_hsA8XBVpvV(a):
    if op_FAhOgU50NN(a) != 32 or a <= 646 or op_jF1lsRAPwk(a) != 441:
        return op_uFcxV4UQCh(op_YtFLMpyAae(a,26),op_RKeiQKbkFn(a))
    else:
        return op_Z0MOmZBEvh(op_aXwoIQj555(a,a),op_XbEkhYNcJE(a,a))

def op_count_hsA8XBVpvV(a):
    if op_FAhOgU50NN(a) != 32 or a <= 646 or op_jF1lsRAPwk(a) != 441:
        count = op_count_YtFLMpyAae(a,26)+op_count_RKeiQKbkFn(a)+op_count_uFcxV4UQCh(op_YtFLMpyAae(a,26),op_RKeiQKbkFn(a))+op_count_FAhOgU50NN(a)+op_count_jF1lsRAPwk(a)
    else:
        count = op_count_aXwoIQj555(a,a)+op_count_XbEkhYNcJE(a,a)+op_count_Z0MOmZBEvh(op_aXwoIQj555(a,a),op_XbEkhYNcJE(a,a))
    return count


def op_OH9fuZm00E(a):
    return op_kUwfQWDciI(op_LFtbApO071(a,a),op_HYT61O2rBh(a,a))

def op_count_OH9fuZm00E(a):
    count = op_count_LFtbApO071(a,a)+op_count_HYT61O2rBh(a,a)+op_count_kUwfQWDciI(op_LFtbApO071(a,a),op_HYT61O2rBh(a,a))
    return count


⫒⊏⪜a = { (⇖⫷⫕a) , if (⪒↺a)>=14 ; ((a⇪↠⋁a)⋚(a⩡a)) , else }

def op_b8FbpbGaDN(a):
    if op_X7Ai75l9Fg(a) >= 14:
        return op_UHmRx3INFg(a)
    else:
        return op_S8OTv5lHfG(op_Mb1WsTvFll(a,a),op_G4EbQfwSm2(a,a))

def op_count_b8FbpbGaDN(a):
    if op_X7Ai75l9Fg(a) >= 14:
        count = op_count_UHmRx3INFg(a)+op_count_X7Ai75l9Fg(a)
    else:
        count = op_count_Mb1WsTvFll(a,a)+op_count_G4EbQfwSm2(a,a)+op_count_S8OTv5lHfG(op_Mb1WsTvFll(a,a),op_G4EbQfwSm2(a,a))
    return count


a⫭⋕⨗ = { (((a⇙⋪a)⊼⊥∠)⋘⋱((a⋐≟⩺a)⊕(a⇦))) , if (⪜∅a)>=75 ; (((a∕≐⨡a)+⩘(182⩆≬a))⫑%∭) , else }

def op_M89gFCN8QI(a):
    if op_7YGta5Vjpq(a) >= 75:
        return op_70gRa6EccN(op_8MVGE24Zp8(op_jGx1aaGeDB(a,a)),op_jln2xDVLTl(op_PjbVkMzmXE(a,a),op_mw2Z75faEJ(a)))
    else:
        return op_xUx7qlDO4z(op_sQ9a9XOMpm(op_jjinYn4SO4(a,a),op_atutLCrBFm(182,a)))

def op_count_M89gFCN8QI(a):
    if op_7YGta5Vjpq(a) >= 75:
        count = op_count_jGx1aaGeDB(a,a)+op_count_8MVGE24Zp8(op_jGx1aaGeDB(a,a))+op_count_PjbVkMzmXE(a,a)+op_count_mw2Z75faEJ(a)+op_count_jln2xDVLTl(op_PjbVkMzmXE(a,a),op_mw2Z75faEJ(a))+op_count_70gRa6EccN(op_8MVGE24Zp8(op_jGx1aaGeDB(a,a)),op_jln2xDVLTl(op_PjbVkMzmXE(a,a),op_mw2Z75faEJ(a)))+op_count_7YGta5Vjpq(a)
    else:
        count = op_count_jjinYn4SO4(a,a)+op_count_atutLCrBFm(182,a)+op_count_sQ9a9XOMpm(op_jjinYn4SO4(a,a),op_atutLCrBFm(182,a))+op_count_xUx7qlDO4z(op_sQ9a9XOMpm(op_jjinYn4SO4(a,a),op_atutLCrBFm(182,a)))
    return count


def op_YrT0jBD1Q1(a):
    return op_OdoR6iWuHS(op_9dWsAM3GFt(op_1tCtMSPkGf(a)),op_PQ5jInepzR(op_99NnmD7XqA(187),op_TC4CXaSPFw(a)))

def op_count_YrT0jBD1Q1(a):
    count = op_count_1tCtMSPkGf(a)+op_count_9dWsAM3GFt(op_1tCtMSPkGf(a))+op_count_99NnmD7XqA(187)+op_count_TC4CXaSPFw(a)+op_count_PQ5jInepzR(op_99NnmD7XqA(187),op_TC4CXaSPFw(a))+op_count_OdoR6iWuHS(op_9dWsAM3GFt(op_1tCtMSPkGf(a)),op_PQ5jInepzR(op_99NnmD7XqA(187),op_TC4CXaSPFw(a)))
    return count