def op_ECCUxibOga(a):
    if op_zR4jO40bMj(a,336) != 20:
        return op_rXAclfmB4M(op_ocpzidtxKt(op_fG6uBQFnGz(207)))
    else:
        return op_MXaNJeIAZ3(op_S3tN1ZzpSt(op_YC3tgrnOyr(a,a),op_AfoL3wC8aT(256)))

def op_count_ECCUxibOga(a):
    if op_zR4jO40bMj(a,336) != 20:
        count = op_count_fG6uBQFnGz(207)+op_count_ocpzidtxKt(op_fG6uBQFnGz(207))+op_count_rXAclfmB4M(op_ocpzidtxKt(op_fG6uBQFnGz(207)))+op_count_zR4jO40bMj(a,336)
    else:
        count = op_count_YC3tgrnOyr(a,a)+op_count_AfoL3wC8aT(256)+op_count_S3tN1ZzpSt(op_YC3tgrnOyr(a,a),op_AfoL3wC8aT(256))+op_count_MXaNJeIAZ3(op_S3tN1ZzpSt(op_YC3tgrnOyr(a,a),op_AfoL3wC8aT(256)))
    return count


a⨈b = { ((⩒∊b)⨜⇔(177⪱⇝b)) , if (⊲⪭b)<=48 ; ((a⇢a)⇔⨋) , else }

def op_A4Cuy9E95d(a, b):
    if op_k7HXdKtiEU(b) <= 48:
        return op_Sq3AGanRSD(op_qazvmhNBbN(b),op_OTRTVPweYV(177,b))
    else:
        return op_uBihLCJcMX(op_GMN7JP6WpN(a,a))

def op_count_A4Cuy9E95d(a, b):
    if op_k7HXdKtiEU(b) <= 48:
        count = op_count_qazvmhNBbN(b)+op_count_OTRTVPweYV(177,b)+op_count_Sq3AGanRSD(op_qazvmhNBbN(b),op_OTRTVPweYV(177,b))+op_count_k7HXdKtiEU(b)
    else:
        count = op_count_GMN7JP6WpN(a,a)+op_count_uBihLCJcMX(op_GMN7JP6WpN(a,a))
    return count


def op_oAMbWzt9Wf(a, b):
    if b <= 179 or op_o575Zjdmzy(b) >= 48:
        return op_wsXFuL0hC6(47,337)
    else:
        return op_g7Hmc5v1ko(a,700)

def op_count_oAMbWzt9Wf(a, b):
    if b <= 179 or op_o575Zjdmzy(b) >= 48:
        count = op_count_wsXFuL0hC6(47,337)+op_count_o575Zjdmzy(b)
    else:
        count = op_count_g7Hmc5v1ko(a,700)
    return count


def op_73CxnrUli8(a, b):
    if (op_Q2SPaKwpPJ(b,937) > 826 or op_IqGBaFP0uj(b) < 10):
        return op_JgXZM7XvWE(op_rysDP5nf3Z(44,a),op_cwbF3JtlMN(a,a))
    else:
        return op_AYdpE9sXAk(op_JgXZM7XvWE(b,a))

def op_count_73CxnrUli8(a, b):
    if (op_Q2SPaKwpPJ(b,937) > 826 or op_IqGBaFP0uj(b) < 10):
        count = op_count_rysDP5nf3Z(44,a)+op_count_cwbF3JtlMN(a,a)+op_count_JgXZM7XvWE(op_rysDP5nf3Z(44,a),op_cwbF3JtlMN(a,a))+op_count_Q2SPaKwpPJ(b,937)+op_count_IqGBaFP0uj(b)
    else:
        count = op_count_JgXZM7XvWE(b,a)+op_count_AYdpE9sXAk(op_JgXZM7XvWE(b,a))
    return count


def op_uE2ouRUgIU(a, b):
    if op_g55IO6H4Gj(a,419) > 307:
        return op_Y7wcNGrDQJ(a,op_rPNtK4BLRO(b,op_ut0Nd8ObBp(b)))
    else:
        return op_m612RDITqL(op_WObL9SsYVE(op_wsXFuL0hC6(a,b),op_d8xe6WWVfM(b,229)),op_S3tN1ZzpSt(op_tfWHHpNKUN(a),op_Api82iH42a(b,b)))

def op_count_uE2ouRUgIU(a, b):
    if op_g55IO6H4Gj(a,419) > 307:
        count = op_count_ut0Nd8ObBp(b)+op_count_rPNtK4BLRO(b,op_ut0Nd8ObBp(b))+op_count_Y7wcNGrDQJ(a,op_rPNtK4BLRO(b,op_ut0Nd8ObBp(b)))+op_count_g55IO6H4Gj(a,419)
    else:
        count = op_count_wsXFuL0hC6(a,b)+op_count_d8xe6WWVfM(b,229)+op_count_WObL9SsYVE(op_wsXFuL0hC6(a,b),op_d8xe6WWVfM(b,229))+op_count_tfWHHpNKUN(a)+op_count_Api82iH42a(b,b)+op_count_S3tN1ZzpSt(op_tfWHHpNKUN(a),op_Api82iH42a(b,b))+op_count_m612RDITqL(op_WObL9SsYVE(op_wsXFuL0hC6(a,b),op_d8xe6WWVfM(b,229)),op_S3tN1ZzpSt(op_tfWHHpNKUN(a),op_Api82iH42a(b,b)))
    return count


a⫰∈⊎ = { ((a⇤a)→⨶⪴(a⇄a)) , if a<=118 and a==22 ; ((a⪒⊣⊆a)⋅⇍(⋃a)) , else }

def op_DcHS2hUxRU(a):
    if a <= 118 and a == 22:
        return op_bF6eod5Gvf(op_YSKBFp38Pu(a,a),op_3EYGwJThht(a,a))
    else:
        return op_AdZkA7nFnk(op_eRqsBgTDFp(a,a),op_3mBM5G4a3l(a))

def op_count_DcHS2hUxRU(a):
    if a <= 118 and a == 22:
        count = op_count_YSKBFp38Pu(a,a)+op_count_3EYGwJThht(a,a)+op_count_bF6eod5Gvf(op_YSKBFp38Pu(a,a),op_3EYGwJThht(a,a))
    else:
        count = op_count_eRqsBgTDFp(a,a)+op_count_3mBM5G4a3l(a)+op_count_AdZkA7nFnk(op_eRqsBgTDFp(a,a),op_3mBM5G4a3l(a))
    return count


a⇃⪼b = { ((⊄(b⨧b))⇿⊰(⩏⊷≩(b⪇≇⋚b))) , if ((↞b)==841 or a<789) ; (((⫡⇟⇯b)⨜⨶(47⨑≵⋬b))⩌((a+⪬∐208)⨧↗⨷(b⪶≀⋏b))) , else }

def op_KfHK9LWpY5(a, b):
    if (op_QKXs96F9fN(b) == 841 or a < 789):
        return op_ap3xiM279w(op_AnPstFaJd9(op_3YWlZA9bsa(b,b)),op_uOZ1tnYMDE(op_3sJ7IOPOlU(b,b)))
    else:
        return op_UoVew8f2p2(op_HiPekx5b7W(op_qWUSsah53b(b),op_XnXgA4xnOs(47,b)),op_WSbXXWOizJ(op_2GS7woTJqF(a,208),op_zR4jO40bMj(b,b)))

def op_count_KfHK9LWpY5(a, b):
    if (op_QKXs96F9fN(b) == 841 or a < 789):
        count = op_count_3YWlZA9bsa(b,b)+op_count_AnPstFaJd9(op_3YWlZA9bsa(b,b))+op_count_3sJ7IOPOlU(b,b)+op_count_uOZ1tnYMDE(op_3sJ7IOPOlU(b,b))+op_count_ap3xiM279w(op_AnPstFaJd9(op_3YWlZA9bsa(b,b)),op_uOZ1tnYMDE(op_3sJ7IOPOlU(b,b)))+op_count_QKXs96F9fN(b)
    else:
        count = op_count_qWUSsah53b(b)+op_count_XnXgA4xnOs(47,b)+op_count_HiPekx5b7W(op_qWUSsah53b(b),op_XnXgA4xnOs(47,b))+op_count_2GS7woTJqF(a,208)+op_count_zR4jO40bMj(b,b)+op_count_WSbXXWOizJ(op_2GS7woTJqF(a,208),op_zR4jO40bMj(b,b))+op_count_UoVew8f2p2(op_HiPekx5b7W(op_qWUSsah53b(b),op_XnXgA4xnOs(47,b)),op_WSbXXWOizJ(op_2GS7woTJqF(a,208),op_zR4jO40bMj(b,b)))
    return count


⋜a = { a , if (↰⫏a)<279 or (a⇯⋐)>=225 ; ((a⇼⇔∾a)⩹(∡a)) , else }

def op_0q6GdIluC7(a):
    if op_UeUK5QjOtW(a) < 279 or op_LkLIoiE525(a) >= 225:
        return a
    else:
        return op_2Wsdkap16l(op_tifHPKVTfV(a,a),op_pRsWfj4Fpp(a))

def op_count_0q6GdIluC7(a):
    if op_UeUK5QjOtW(a) < 279 or op_LkLIoiE525(a) >= 225:
        count = 1
    else:
        count = op_count_tifHPKVTfV(a,a)+op_count_pRsWfj4Fpp(a)+op_count_2Wsdkap16l(op_tifHPKVTfV(a,a),op_pRsWfj4Fpp(a))
    return count


≑∜a = { (a⊚⫡⫭) , if a>=524 ; (a⨓↿∉a) , else }

def op_8AQFS2Ajjd(a):
    if a >= 524:
        return op_SpZWOsLKZJ(a)
    else:
        return op_OWnFPqjWlR(a,a)

def op_count_8AQFS2Ajjd(a):
    if a >= 524:
        count = op_count_SpZWOsLKZJ(a)
    else:
        count = op_count_OWnFPqjWlR(a,a)
    return count


⪃↑a = { (((⇙⪊a)∘(a⪍↜⋙a))⨶) , if a<=31 ; a , else }

def op_98E60VfkJa(a):
    if a <= 31:
        return op_rFxw8gIMmB(op_Z5m6OM72h2(op_pB6Fcnrjim(a),op_L05ObWFQCd(a,a)))
    else:
        return a

def op_count_98E60VfkJa(a):
    if a <= 31:
        count = op_count_pB6Fcnrjim(a)+op_count_L05ObWFQCd(a,a)+op_count_Z5m6OM72h2(op_pB6Fcnrjim(a),op_L05ObWFQCd(a,a))+op_count_rFxw8gIMmB(op_Z5m6OM72h2(op_pB6Fcnrjim(a),op_L05ObWFQCd(a,a)))
    else:
        count = 1
    return count


a⇒ = { (a⇑∁⪛) , if a<=644 and a>=209 ; (a⇛a) , else }

def op_7l9ndgg2I8(a):
    if a <= 644 and a >= 209:
        return op_P75hhshrwX(a)
    else:
        return op_S3tN1ZzpSt(a,a)

def op_count_7l9ndgg2I8(a):
    if a <= 644 and a >= 209:
        count = op_count_P75hhshrwX(a)
    else:
        count = op_count_S3tN1ZzpSt(a,a)
    return count


def op_zO3jaJNyRO(a):
    if op_eewbuw0ToL(a,833) != 25:
        return op_bF6eod5Gvf(a,a)
    else:
        return op_EZ6cjipfBz(693)

def op_count_zO3jaJNyRO(a):
    if op_eewbuw0ToL(a,833) != 25:
        count = op_count_bF6eod5Gvf(a,a)+op_count_eewbuw0ToL(a,833)
    else:
        count = op_count_EZ6cjipfBz(693)
    return count


def op_r4dXdAhveb(a):
    if a == 744:
        return op_FPxP5Y1j0W(596,243)
    else:
        return op_nhYeJWJD5X(61,55)

def op_count_r4dXdAhveb(a):
    if a == 744:
        count = op_count_FPxP5Y1j0W(596,243)
    else:
        count = op_count_nhYeJWJD5X(61,55)
    return count


def op_tJkeIIum6v(a, b):
    if a <= 322 and a <= 99:
        return b
    else:
        return op_oRDoc9rAEX(op_9Isq31Ruls(b,541),346)

def op_count_tJkeIIum6v(a, b):
    if a <= 322 and a <= 99:
        count = 1
    else:
        count = op_count_9Isq31Ruls(b,541)+op_count_oRDoc9rAEX(op_9Isq31Ruls(b,541),346)
    return count


⫨⇲⇞a = { (a⪹) , if a<94 ; (a↹⊜305) , else }

def op_7PBHsqWqsw(a):
    if a < 94:
        return op_B3sABdIn96(a)
    else:
        return op_9bazX3JMtO(a,305)

def op_count_7PBHsqWqsw(a):
    if a < 94:
        count = op_count_B3sABdIn96(a)
    else:
        count = op_count_9bazX3JMtO(a,305)
    return count


def op_nRXPgvBYVh(a):
    if (a > 321 and op_sdazOOVcIp(a,772) != 645):
        return op_QDWDTvZtyM(op_nhYeJWJD5X(a,387))
    else:
        return op_3YWlZA9bsa(op_8HCJqvcFkE(390),op_V4yb4KDoeF(20,392))

def op_count_nRXPgvBYVh(a):
    if (a > 321 and op_sdazOOVcIp(a,772) != 645):
        count = op_count_nhYeJWJD5X(a,387)+op_count_QDWDTvZtyM(op_nhYeJWJD5X(a,387))+op_count_sdazOOVcIp(a,772)
    else:
        count = op_count_8HCJqvcFkE(390)+op_count_V4yb4KDoeF(20,392)+op_count_3YWlZA9bsa(op_8HCJqvcFkE(390),op_V4yb4KDoeF(20,392))
    return count


↽⪑⋝a = { a , if a!=32 and a<=79 ; (a⩣⫁∢((a⪨a)⨧(a⪨≂a))) , else }

def op_bXsVDma5w0(a):
    if a != 32 and a <= 79:
        return a
    else:
        return op_JDUIKTTSIa(a,op_3YWlZA9bsa(op_2z8nE7LpCu(a,a),op_sdazOOVcIp(a,a)))

def op_count_bXsVDma5w0(a):
    if a != 32 and a <= 79:
        count = 1
    else:
        count = op_count_2z8nE7LpCu(a,a)+op_count_sdazOOVcIp(a,a)+op_count_3YWlZA9bsa(op_2z8nE7LpCu(a,a),op_sdazOOVcIp(a,a))+op_count_JDUIKTTSIa(a,op_3YWlZA9bsa(op_2z8nE7LpCu(a,a),op_sdazOOVcIp(a,a)))
    return count


a≮⫒ = { ((≿⇫(a+⪬∐a))⫯⪬∳(⩷(298⨧↗⨷a))) , if a<3 ; (a⇯⋐) , else }

def op_OdLS7bwPL8(a):
    if a < 3:
        return op_d7ASUq0ydm(op_3A1e9zoj8h(op_2GS7woTJqF(a,a)),op_1h0rLqGiFr(op_WSbXXWOizJ(298,a)))
    else:
        return op_LkLIoiE525(a)

def op_count_OdLS7bwPL8(a):
    if a < 3:
        count = op_count_2GS7woTJqF(a,a)+op_count_3A1e9zoj8h(op_2GS7woTJqF(a,a))+op_count_WSbXXWOizJ(298,a)+op_count_1h0rLqGiFr(op_WSbXXWOizJ(298,a))+op_count_d7ASUq0ydm(op_3A1e9zoj8h(op_2GS7woTJqF(a,a)),op_1h0rLqGiFr(op_WSbXXWOizJ(298,a)))
    else:
        count = op_count_LkLIoiE525(a)
    return count


a⇖⫠b = { (((a⪭b)⋥≓≎(a⪚⨁⋖a))⫁⪎((⊿b)⩉⊫⨁)) , if a>=232 ; a , else }

def op_dsYFgWXyte(a, b):
    if a >= 232:
        return op_xRrnTEsQ6j(op_Qy55tPpLXF(op_j9kHMeSvPp(a,b),op_xSk1F0pZbF(a,a)),op_7qqUquhhSb(op_DO4fhlbJSI(b)))
    else:
        return a

def op_count_dsYFgWXyte(a, b):
    if a >= 232:
        count = op_count_j9kHMeSvPp(a,b)+op_count_xSk1F0pZbF(a,a)+op_count_Qy55tPpLXF(op_j9kHMeSvPp(a,b),op_xSk1F0pZbF(a,a))+op_count_DO4fhlbJSI(b)+op_count_7qqUquhhSb(op_DO4fhlbJSI(b))+op_count_xRrnTEsQ6j(op_Qy55tPpLXF(op_j9kHMeSvPp(a,b),op_xSk1F0pZbF(a,a)),op_7qqUquhhSb(op_DO4fhlbJSI(b)))
    else:
        count = 1
    return count


def op_7k7C0RH0VI(a):
    if a == 240:
        return op_KWeyIRWUIQ(op_9bazX3JMtO(489,a))
    else:
        return op_neKQRQQIil(op_ap3xiM279w(a,a),op_OGWBzMv138(108,200))

def op_count_7k7C0RH0VI(a):
    if a == 240:
        count = op_count_9bazX3JMtO(489,a)+op_count_KWeyIRWUIQ(op_9bazX3JMtO(489,a))
    else:
        count = op_count_ap3xiM279w(a,a)+op_count_OGWBzMv138(108,200)+op_count_neKQRQQIil(op_ap3xiM279w(a,a),op_OGWBzMv138(108,200))
    return count


a≕⫨b = { (b⨻⪊⨷a) , if b>311 ; (⩆⇋a) , else }

def op_WSRWkT62m6(a, b):
    if b > 311:
        return op_Pkwamo1tM2(b,a)
    else:
        return op_IjUb3wyICU(a)

def op_count_WSRWkT62m6(a, b):
    if b > 311:
        count = op_count_Pkwamo1tM2(b,a)
    else:
        count = op_count_IjUb3wyICU(a)
    return count


def op_9P8cn3rNAU(a):
    if (a > 229 and op_eLAdDNolq6(a) == 99):
        return op_Cr5xnr8B4B(a,a)
    else:
        return op_13TjBizFrQ(a)

def op_count_9P8cn3rNAU(a):
    if (a > 229 and op_eLAdDNolq6(a) == 99):
        count = op_count_Cr5xnr8B4B(a,a)+op_count_eLAdDNolq6(a)
    else:
        count = op_count_13TjBizFrQ(a)
    return count


a⇯≛ = { (a⪚(⫡⇟⇯312)) , if a>32 ; ((a≻⇥≳a)⋅∹⩇) , else }

def op_tT8hlKktnq(a):
    if a > 32:
        return op_HrjLwUk87U(a,op_qWUSsah53b(312))
    else:
        return op_Tmr9JGNMVH(op_aiqF8n6J9c(a,a))

def op_count_tT8hlKktnq(a):
    if a > 32:
        count = op_count_qWUSsah53b(312)+op_count_HrjLwUk87U(a,op_qWUSsah53b(312))
    else:
        count = op_count_aiqF8n6J9c(a,a)+op_count_Tmr9JGNMVH(op_aiqF8n6J9c(a,a))
    return count


def op_aVPNa2d9sY(a):
    if a > 111:
        return op_yuvXk3Mco8(op_nbuSfrB4hB(234,a))
    else:
        return op_EWw2JM7wp4(op_nhYeJWJD5X(148,a),op_zoVPnxeHJ3(a))

def op_count_aVPNa2d9sY(a):
    if a > 111:
        count = op_count_nbuSfrB4hB(234,a)+op_count_yuvXk3Mco8(op_nbuSfrB4hB(234,a))
    else:
        count = op_count_nhYeJWJD5X(148,a)+op_count_zoVPnxeHJ3(a)+op_count_EWw2JM7wp4(op_nhYeJWJD5X(148,a),op_zoVPnxeHJ3(a))
    return count


a⪅⨸⩙ = { (a⫡⨏(a⨊⨠)) , if a>=221 ; ((a⩷∴a)⊋≦⊧(a⪇≇⋚31)) , else }

def op_TudO6I6C9Z(a):
    if a >= 221:
        return op_QMFrweE19q(a,op_qU6oQAhJaQ(a))
    else:
        return op_oRDoc9rAEX(op_9FxExcQeMw(a,a),op_3sJ7IOPOlU(a,31))

def op_count_TudO6I6C9Z(a):
    if a >= 221:
        count = op_count_qU6oQAhJaQ(a)+op_count_QMFrweE19q(a,op_qU6oQAhJaQ(a))
    else:
        count = op_count_9FxExcQeMw(a,a)+op_count_3sJ7IOPOlU(a,31)+op_count_oRDoc9rAEX(op_9FxExcQeMw(a,a),op_3sJ7IOPOlU(a,31))
    return count


def op_ImZOYqi0FL(a):
    if a >= 219:
        return op_3Oe9XWJUTD(op_2M7SKlOzyM(a,a),op_Noe24qw2ks(a,a))
    else:
        return op_2z8nE7LpCu(op_YSKBFp38Pu(a,a),op_G8pG1QxO6Y(697))

def op_count_ImZOYqi0FL(a):
    if a >= 219:
        count = op_count_2M7SKlOzyM(a,a)+op_count_Noe24qw2ks(a,a)+op_count_3Oe9XWJUTD(op_2M7SKlOzyM(a,a),op_Noe24qw2ks(a,a))
    else:
        count = op_count_YSKBFp38Pu(a,a)+op_count_G8pG1QxO6Y(697)+op_count_2z8nE7LpCu(op_YSKBFp38Pu(a,a),op_G8pG1QxO6Y(697))
    return count


⊻a = { ((a⫏↛⩏a)⪎↠(a⪉⨛69)) , if (⪷∈↠a)>153 ; ((⇒⊙∲a)⫇⋯(∨⫘⊿a)) , else }

def op_cruRczCMvk(a):
    if op_Kn0TacbtGK(a) > 153:
        return op_3tVxb0NHM4(op_YC3tgrnOyr(a,a),op_EWw2JM7wp4(a,69))
    else:
        return op_xoJmIySC7h(op_8HCJqvcFkE(a),op_qxp9F1VMeC(a))

def op_count_cruRczCMvk(a):
    if op_Kn0TacbtGK(a) > 153:
        count = op_count_YC3tgrnOyr(a,a)+op_count_EWw2JM7wp4(a,69)+op_count_3tVxb0NHM4(op_YC3tgrnOyr(a,a),op_EWw2JM7wp4(a,69))+op_count_Kn0TacbtGK(a)
    else:
        count = op_count_8HCJqvcFkE(a)+op_count_qxp9F1VMeC(a)+op_count_xoJmIySC7h(op_8HCJqvcFkE(a),op_qxp9F1VMeC(a))
    return count


⫝a = { (a⩤∜↚a) , if a!=7 ; (12⇤a) , else }

def op_fnBhMfI9ve(a):
    if a != 7:
        return op_KROiRRz3d6(a,a)
    else:
        return op_YSKBFp38Pu(12,a)

def op_count_fnBhMfI9ve(a):
    if a != 7:
        count = op_count_KROiRRz3d6(a,a)
    else:
        count = op_count_YSKBFp38Pu(12,a)
    return count


a⊳⫫b = { (((213⊲⩕⊾b)≦↸(b⨴a))⫀) , if b<110 ; (((a⫰⋱a)⊙)≽↲≰((b≧⫂∧a)⊵(a⋝⋈⪟b))) , else }

def op_siyWwrmZkB(a, b):
    if b < 110:
        return op_hFnZRMLNSM(op_RygbFNSyEJ(op_DmTXOeWf9t(213,b),op_jBC4ymW3D7(b,a)))
    else:
        return op_cFVlceoRkX(op_pjdzZ5rP1Y(op_6o9Blt3TJ6(a,a)),op_eaFBhJ0Uku(op_Ph9nP6C5qx(b,a),op_2DDjHMKMc0(a,b)))

def op_count_siyWwrmZkB(a, b):
    if b < 110:
        count = op_count_DmTXOeWf9t(213,b)+op_count_jBC4ymW3D7(b,a)+op_count_RygbFNSyEJ(op_DmTXOeWf9t(213,b),op_jBC4ymW3D7(b,a))+op_count_hFnZRMLNSM(op_RygbFNSyEJ(op_DmTXOeWf9t(213,b),op_jBC4ymW3D7(b,a)))
    else:
        count = op_count_6o9Blt3TJ6(a,a)+op_count_pjdzZ5rP1Y(op_6o9Blt3TJ6(a,a))+op_count_Ph9nP6C5qx(b,a)+op_count_2DDjHMKMc0(a,b)+op_count_eaFBhJ0Uku(op_Ph9nP6C5qx(b,a),op_2DDjHMKMc0(a,b))+op_count_cFVlceoRkX(op_pjdzZ5rP1Y(op_6o9Blt3TJ6(a,a)),op_eaFBhJ0Uku(op_Ph9nP6C5qx(b,a),op_2DDjHMKMc0(a,b)))
    return count


⊘⫃a = { (((a∙∹∝a)⩌⋺(a⨊⨠))⊋≦⊧(⩻⪛(a⇿⊰a))) , if (a↰)==169 ; (((a-a)∌(a≣a))⩵∡((8⪉⨛a)⨱∎)) , else }

def op_fIxHhYg2um(a):
    if op_bl5wxAcryP(a) == 169:
        return op_oRDoc9rAEX(op_g7Hmc5v1ko(op_HmxsFra2vL(a,a),op_qU6oQAhJaQ(a)),op_5RY6W0glyJ(op_ap3xiM279w(a,a)))
    else:
        return op_Y7wcNGrDQJ(op_8cLx32lpNA(op_rysDP5nf3Z(a,a),op_ObEyaaML9x(a,a)),op_MmTdOpaElr(op_EWw2JM7wp4(8,a)))

def op_count_fIxHhYg2um(a):
    if op_bl5wxAcryP(a) == 169:
        count = op_count_HmxsFra2vL(a,a)+op_count_qU6oQAhJaQ(a)+op_count_g7Hmc5v1ko(op_HmxsFra2vL(a,a),op_qU6oQAhJaQ(a))+op_count_ap3xiM279w(a,a)+op_count_5RY6W0glyJ(op_ap3xiM279w(a,a))+op_count_oRDoc9rAEX(op_g7Hmc5v1ko(op_HmxsFra2vL(a,a),op_qU6oQAhJaQ(a)),op_5RY6W0glyJ(op_ap3xiM279w(a,a)))+op_count_bl5wxAcryP(a)
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_ObEyaaML9x(a,a)+op_count_8cLx32lpNA(op_rysDP5nf3Z(a,a),op_ObEyaaML9x(a,a))+op_count_EWw2JM7wp4(8,a)+op_count_MmTdOpaElr(op_EWw2JM7wp4(8,a))+op_count_Y7wcNGrDQJ(op_8cLx32lpNA(op_rysDP5nf3Z(a,a),op_ObEyaaML9x(a,a)),op_MmTdOpaElr(op_EWw2JM7wp4(8,a)))
    return count


a⨔⫢⋨b = { ((b⊋≦⊧1)⩼⇪↪(a⩷∴481)) , if (⫹b)>=102 ; ((b⪚a)⋆⊨(b⪔⊥a)) , else }

def op_KgrVg2WY9S(a, b):
    if op_LmY23Q1aIi(b) >= 102:
        return op_ocnLzx9CaJ(op_oRDoc9rAEX(b,1),op_9FxExcQeMw(a,481))
    else:
        return op_uTBsSls0VN(op_HrjLwUk87U(b,a),op_HJ9erzHUuu(b,a))

def op_count_KgrVg2WY9S(a, b):
    if op_LmY23Q1aIi(b) >= 102:
        count = op_count_oRDoc9rAEX(b,1)+op_count_9FxExcQeMw(a,481)+op_count_ocnLzx9CaJ(op_oRDoc9rAEX(b,1),op_9FxExcQeMw(a,481))+op_count_LmY23Q1aIi(b)
    else:
        count = op_count_HrjLwUk87U(b,a)+op_count_HJ9erzHUuu(b,a)+op_count_uTBsSls0VN(op_HrjLwUk87U(b,a),op_HJ9erzHUuu(b,a))
    return count


a⋑≓− = { (a⨮⨆) , if (a⇌⫙⪟876)==63 ; (a↪∷a) , else }

def op_KC1PMIWjVu(a):
    if op_AFVx7xoS7T(a,876) == 63:
        return op_s0kPeV9Vm2(a)
    else:
        return op_Api82iH42a(a,a)

def op_count_KC1PMIWjVu(a):
    if op_AFVx7xoS7T(a,876) == 63:
        count = op_count_s0kPeV9Vm2(a)+op_count_AFVx7xoS7T(a,876)
    else:
        count = op_count_Api82iH42a(a,a)
    return count


a⇧⊇⋩b = { (a↫) , if (b⫻⋑⊟)==69 ; (b⨳⩥⨓a) , else }

def op_1TuAU3ehYs(a, b):
    if op_o575Zjdmzy(b) == 69:
        return op_uPb5QRN0te(a)
    else:
        return op_nCS4ZIUYfx(b,a)

def op_count_1TuAU3ehYs(a, b):
    if op_o575Zjdmzy(b) == 69:
        count = op_count_uPb5QRN0te(a)+op_count_o575Zjdmzy(b)
    else:
        count = op_count_nCS4ZIUYfx(b,a)
    return count


def op_D3npFAPdns(a):
    if (op_W4YGzv6Whe(a,17) == 180 or a >= 157):
        return op_hrf7POJlIJ(op_3sJ7IOPOlU(op_12rbrZMWeM(a,a),op_DbCuESL50I(61)),op_z4E1FaHLuy(op_KYL1uVeVpb(66,a)))
    else:
        return op_liw5iZPkLH(op_4JGOJzXMq1(op_nbuSfrB4hB(a,a),op_E4l6HwMY31(132,a)))

def op_count_D3npFAPdns(a):
    if (op_W4YGzv6Whe(a,17) == 180 or a >= 157):
        count = op_count_12rbrZMWeM(a,a)+op_count_DbCuESL50I(61)+op_count_3sJ7IOPOlU(op_12rbrZMWeM(a,a),op_DbCuESL50I(61))+op_count_KYL1uVeVpb(66,a)+op_count_z4E1FaHLuy(op_KYL1uVeVpb(66,a))+op_count_hrf7POJlIJ(op_3sJ7IOPOlU(op_12rbrZMWeM(a,a),op_DbCuESL50I(61)),op_z4E1FaHLuy(op_KYL1uVeVpb(66,a)))+op_count_W4YGzv6Whe(a,17)
    else:
        count = op_count_nbuSfrB4hB(a,a)+op_count_E4l6HwMY31(132,a)+op_count_4JGOJzXMq1(op_nbuSfrB4hB(a,a),op_E4l6HwMY31(132,a))+op_count_liw5iZPkLH(op_4JGOJzXMq1(op_nbuSfrB4hB(a,a),op_E4l6HwMY31(132,a)))
    return count


def op_jmRbPV3Y6D(a, b):
    if op_E4l6HwMY31(a,833) <= 87:
        return op_D309nIvmXG(op_rFxw8gIMmB(op_rPNtK4BLRO(b,a)))
    else:
        return op_U9HvHqtOoq(op_qxqspddX8k(43,op_UggxBX659n(a,b)))

def op_count_jmRbPV3Y6D(a, b):
    if op_E4l6HwMY31(a,833) <= 87:
        count = op_count_rPNtK4BLRO(b,a)+op_count_rFxw8gIMmB(op_rPNtK4BLRO(b,a))+op_count_D309nIvmXG(op_rFxw8gIMmB(op_rPNtK4BLRO(b,a)))+op_count_E4l6HwMY31(a,833)
    else:
        count = op_count_UggxBX659n(a,b)+op_count_qxqspddX8k(43,op_UggxBX659n(a,b))+op_count_U9HvHqtOoq(op_qxqspddX8k(43,op_UggxBX659n(a,b)))
    return count


a↲⇞b = { ((b⨱∎)⪔⊥(251⩌a)) , if (⊲⪭b)==116 ; (⪁⇼(a⊋≦⊧a)) , else }

def op_en8SqOBqg4(a, b):
    if op_k7HXdKtiEU(b) == 116:
        return op_HJ9erzHUuu(op_MmTdOpaElr(b),op_UoVew8f2p2(251,a))
    else:
        return op_ZNVVrZ94lY(op_oRDoc9rAEX(a,a))

def op_count_en8SqOBqg4(a, b):
    if op_k7HXdKtiEU(b) == 116:
        count = op_count_MmTdOpaElr(b)+op_count_UoVew8f2p2(251,a)+op_count_HJ9erzHUuu(op_MmTdOpaElr(b),op_UoVew8f2p2(251,a))+op_count_k7HXdKtiEU(b)
    else:
        count = op_count_oRDoc9rAEX(a,a)+op_count_ZNVVrZ94lY(op_oRDoc9rAEX(a,a))
    return count


a⫱⨄b = { ((242⋴⋺)≽↲≰(b↜⊷b)) , if a<374 ; (⨂⪏⇭(a⨣∐↬216)) , else }

def op_FWWC6DdxcU(a, b):
    if a < 374:
        return op_cFVlceoRkX(op_0bdkhPtsnY(242),op_irKjLsMeKy(b,b))
    else:
        return op_AYdpE9sXAk(op_UpkSd4zESC(a,216))

def op_count_FWWC6DdxcU(a, b):
    if a < 374:
        count = op_count_0bdkhPtsnY(242)+op_count_irKjLsMeKy(b,b)+op_count_cFVlceoRkX(op_0bdkhPtsnY(242),op_irKjLsMeKy(b,b))
    else:
        count = op_count_UpkSd4zESC(a,216)+op_count_AYdpE9sXAk(op_UpkSd4zESC(a,216))
    return count


def op_Toewqs8END(a, b):
    if a != 111:
        return op_0kmYd0q39Y(op_COABgblf1C(b,b),op_h57jOAbG9W(op_12rbrZMWeM(a,243)))
    else:
        return op_Bmrmz2XGnR(op_DX7B1fY6P6(op_oPMjh9089D(54),op_SPuZE40Ntn(121,b)),op_B3sABdIn96(op_sM9mzqIDB1(b,a)))

def op_count_Toewqs8END(a, b):
    if a != 111:
        count = op_count_COABgblf1C(b,b)+op_count_12rbrZMWeM(a,243)+op_count_h57jOAbG9W(op_12rbrZMWeM(a,243))+op_count_0kmYd0q39Y(op_COABgblf1C(b,b),op_h57jOAbG9W(op_12rbrZMWeM(a,243)))
    else:
        count = op_count_oPMjh9089D(54)+op_count_SPuZE40Ntn(121,b)+op_count_DX7B1fY6P6(op_oPMjh9089D(54),op_SPuZE40Ntn(121,b))+op_count_sM9mzqIDB1(b,a)+op_count_B3sABdIn96(op_sM9mzqIDB1(b,a))+op_count_Bmrmz2XGnR(op_DX7B1fY6P6(op_oPMjh9089D(54),op_SPuZE40Ntn(121,b)),op_B3sABdIn96(op_sM9mzqIDB1(b,a)))
    return count


a⊩ = { (⫊≏⨉a) , if (a⨱∎)<125 ; (a∷a) , else }

def op_gFzrrwmTu5(a):
    if op_MmTdOpaElr(a) < 125:
        return op_KED7KUUlGq(a)
    else:
        return op_D3AQDKkPcf(a,a)

def op_count_gFzrrwmTu5(a):
    if op_MmTdOpaElr(a) < 125:
        count = op_count_KED7KUUlGq(a)+op_count_MmTdOpaElr(a)
    else:
        count = op_count_D3AQDKkPcf(a,a)
    return count


a⋓⨈b = { ((⇻⫵(a⩇))⫀) , if b==201 ; a , else }

def op_xkSJ0gZJpj(a, b):
    if b == 201:
        return op_hFnZRMLNSM(op_Wm7LHi3c8p(op_wmlQD0656L(a)))
    else:
        return a

def op_count_xkSJ0gZJpj(a, b):
    if b == 201:
        count = op_count_wmlQD0656L(a)+op_count_Wm7LHi3c8p(op_wmlQD0656L(a))+op_count_hFnZRMLNSM(op_Wm7LHi3c8p(op_wmlQD0656L(a)))
    else:
        count = 1
    return count


a⫷b = { ((∤(a⋳⪒a))⩱) , if (a↬⩅∪)>=64 ; (((b⨣∐↬b)⪚16)⪱⇝((⫟b)⨰(⨝⨆b))) , else }

def op_DD02tHBmow(a, b):
    if op_VJ330n2nnx(a) >= 64:
        return op_uyq1hVkAcj(op_k2HlF1dBQh(op_12rbrZMWeM(a,a)))
    else:
        return op_OTRTVPweYV(op_HrjLwUk87U(op_UpkSd4zESC(b,b),16),op_eewbuw0ToL(op_z4E1FaHLuy(b),op_bQ67fsrMVf(b)))

def op_count_DD02tHBmow(a, b):
    if op_VJ330n2nnx(a) >= 64:
        count = op_count_12rbrZMWeM(a,a)+op_count_k2HlF1dBQh(op_12rbrZMWeM(a,a))+op_count_uyq1hVkAcj(op_k2HlF1dBQh(op_12rbrZMWeM(a,a)))+op_count_VJ330n2nnx(a)
    else:
        count = op_count_UpkSd4zESC(b,b)+op_count_HrjLwUk87U(op_UpkSd4zESC(b,b),16)+op_count_z4E1FaHLuy(b)+op_count_bQ67fsrMVf(b)+op_count_eewbuw0ToL(op_z4E1FaHLuy(b),op_bQ67fsrMVf(b))+op_count_OTRTVPweYV(op_HrjLwUk87U(op_UpkSd4zESC(b,b),16),op_eewbuw0ToL(op_z4E1FaHLuy(b),op_bQ67fsrMVf(b)))
    return count


a⫁≇⪊b = { (b⇼⇔∾a) , if (b≧⊼220)<=890 ; (b⊢≏≾a) , else }

def op_0SiDThPkZ4(a, b):
    if op_JoLB3LXqXx(b,220) <= 890:
        return op_tifHPKVTfV(b,a)
    else:
        return op_qxqspddX8k(b,a)

def op_count_0SiDThPkZ4(a, b):
    if op_JoLB3LXqXx(b,220) <= 890:
        count = op_count_tifHPKVTfV(b,a)+op_count_JoLB3LXqXx(b,220)
    else:
        count = op_count_qxqspddX8k(b,a)
    return count


def op_sBVsl3mEd7(a, b):
    if (op_V4yb4KDoeF(a,133) <= 793 or op_IxJHfR5psi(a,489) < 317):
        return op_kbkesczE7y(op_pB6Fcnrjim(op_d7ASUq0ydm(195,37)),op_z2JHNkvbdm(op_bPywburJMS(a,b),op_WSbXXWOizJ(124,a)))
    else:
        return op_qy3n0tapmE(op_QvoQhV0rrE(op_WSbXXWOizJ(596,b),op_tIhPxZTbsh(429,a)),b)

def op_count_sBVsl3mEd7(a, b):
    if (op_V4yb4KDoeF(a,133) <= 793 or op_IxJHfR5psi(a,489) < 317):
        count = op_count_d7ASUq0ydm(195,37)+op_count_pB6Fcnrjim(op_d7ASUq0ydm(195,37))+op_count_bPywburJMS(a,b)+op_count_WSbXXWOizJ(124,a)+op_count_z2JHNkvbdm(op_bPywburJMS(a,b),op_WSbXXWOizJ(124,a))+op_count_kbkesczE7y(op_pB6Fcnrjim(op_d7ASUq0ydm(195,37)),op_z2JHNkvbdm(op_bPywburJMS(a,b),op_WSbXXWOizJ(124,a)))+op_count_V4yb4KDoeF(a,133)+op_count_IxJHfR5psi(a,489)
    else:
        count = op_count_WSbXXWOizJ(596,b)+op_count_tIhPxZTbsh(429,a)+op_count_QvoQhV0rrE(op_WSbXXWOizJ(596,b),op_tIhPxZTbsh(429,a))+op_count_qy3n0tapmE(op_QvoQhV0rrE(op_WSbXXWOizJ(596,b),op_tIhPxZTbsh(429,a)),b)
    return count


a⨀⨟ = { (a⇿⊰a) , if ((a∐⫣)==66 or a<=386) ; (a⊚⫡⫭) , else }

def op_M1Ax2yJ6Vm(a):
    if (op_4CyGpkTkEk(a) == 66 or a <= 386):
        return op_ap3xiM279w(a,a)
    else:
        return op_SpZWOsLKZJ(a)

def op_count_M1Ax2yJ6Vm(a):
    if (op_4CyGpkTkEk(a) == 66 or a <= 386):
        count = op_count_ap3xiM279w(a,a)+op_count_4CyGpkTkEk(a)
    else:
        count = op_count_SpZWOsLKZJ(a)
    return count


⩷⨏a = { (a≬⋮(a⩇∃⫛144)) , if a<=129 ; ((a⊉≛↸a)≧⊼(a⇌⫙⪟a)) , else }

def op_xnPB32Mzin(a):
    if a <= 129:
        return op_kbkesczE7y(a,op_1aApVXNlOP(a,144))
    else:
        return op_JoLB3LXqXx(op_DZ8iAZOCBD(a,a),op_AFVx7xoS7T(a,a))

def op_count_xnPB32Mzin(a):
    if a <= 129:
        count = op_count_1aApVXNlOP(a,144)+op_count_kbkesczE7y(a,op_1aApVXNlOP(a,144))
    else:
        count = op_count_DZ8iAZOCBD(a,a)+op_count_AFVx7xoS7T(a,a)+op_count_JoLB3LXqXx(op_DZ8iAZOCBD(a,a),op_AFVx7xoS7T(a,a))
    return count


a⩽⇕∫b = { (∡b) , if a!=130 ; (a⇔⨋) , else }

def op_fMPSHunNzs(a, b):
    if a != 130:
        return op_pRsWfj4Fpp(b)
    else:
        return op_uBihLCJcMX(a)

def op_count_fMPSHunNzs(a, b):
    if a != 130:
        count = op_count_pRsWfj4Fpp(b)
    else:
        count = op_count_uBihLCJcMX(a)
    return count


def op_JuYqkVW9UL(a, b):
    if op_2DQ55sFlQl(a,913) >= 776 and op_XbEAUggs3J(a) >= 110:
        return op_PjbVkMzmXE(op_RygbFNSyEJ(b,a),op_COABgblf1C(714,9))
    else:
        return op_d8xe6WWVfM(op_Cr5xnr8B4B(a,168),op_oRDoc9rAEX(32,a))

def op_count_JuYqkVW9UL(a, b):
    if op_2DQ55sFlQl(a,913) >= 776 and op_XbEAUggs3J(a) >= 110:
        count = op_count_RygbFNSyEJ(b,a)+op_count_COABgblf1C(714,9)+op_count_PjbVkMzmXE(op_RygbFNSyEJ(b,a),op_COABgblf1C(714,9))+op_count_2DQ55sFlQl(a,913)+op_count_XbEAUggs3J(a)
    else:
        count = op_count_Cr5xnr8B4B(a,168)+op_count_oRDoc9rAEX(32,a)+op_count_d8xe6WWVfM(op_Cr5xnr8B4B(a,168),op_oRDoc9rAEX(32,a))
    return count


≥a = { (a⋳/((166⊹≧⊝)∀⩎⋷(⫹a))) , if (⪆a)<162 ; ((⋸⪍(a⩒⫫a))⩧⪆((∑⇻≧a)⩌⋺(a⊔%a))) , else }

def op_1zuzTT1ORb(a):
    if op_KWeyIRWUIQ(a) < 162:
        return op_m612RDITqL(a,op_FPxP5Y1j0W(op_LxFB4K6j0n(166),op_LmY23Q1aIi(a)))
    else:
        return op_Ikt5ks8PT7(op_PrwIXj9ZQe(op_KFSx94NKJn(a,a)),op_g7Hmc5v1ko(op_l1M9WJ3V7u(a),op_uysxUYN2L2(a,a)))

def op_count_1zuzTT1ORb(a):
    if op_KWeyIRWUIQ(a) < 162:
        count = op_count_LxFB4K6j0n(166)+op_count_LmY23Q1aIi(a)+op_count_FPxP5Y1j0W(op_LxFB4K6j0n(166),op_LmY23Q1aIi(a))+op_count_m612RDITqL(a,op_FPxP5Y1j0W(op_LxFB4K6j0n(166),op_LmY23Q1aIi(a)))+op_count_KWeyIRWUIQ(a)
    else:
        count = op_count_KFSx94NKJn(a,a)+op_count_PrwIXj9ZQe(op_KFSx94NKJn(a,a))+op_count_l1M9WJ3V7u(a)+op_count_uysxUYN2L2(a,a)+op_count_g7Hmc5v1ko(op_l1M9WJ3V7u(a),op_uysxUYN2L2(a,a))+op_count_Ikt5ks8PT7(op_PrwIXj9ZQe(op_KFSx94NKJn(a,a)),op_g7Hmc5v1ko(op_l1M9WJ3V7u(a),op_uysxUYN2L2(a,a)))
    return count


def op_jbrVa8FwMb(a, b):
    if (op_BAIXFdYaz3(b,397) != 95 or op_840vADziXz(a) >= 226):
        return op_eRqsBgTDFp(a,b)
    else:
        return op_EO7Xdgo9So(b)

def op_count_jbrVa8FwMb(a, b):
    if (op_BAIXFdYaz3(b,397) != 95 or op_840vADziXz(a) >= 226):
        count = op_count_eRqsBgTDFp(a,b)+op_count_BAIXFdYaz3(b,397)+op_count_840vADziXz(a)
    else:
        count = op_count_EO7Xdgo9So(b)
    return count


def op_LlXaajdvBB(a):
    if a < 298 and a < 40:
        return op_PxiHyQbrIp(op_aiqF8n6J9c(a,8))
    else:
        return op_kuIXHzHcAH(op_Qy55tPpLXF(761,127),op_NdELin8EPX(a,40))

def op_count_LlXaajdvBB(a):
    if a < 298 and a < 40:
        count = op_count_aiqF8n6J9c(a,8)+op_count_PxiHyQbrIp(op_aiqF8n6J9c(a,8))
    else:
        count = op_count_Qy55tPpLXF(761,127)+op_count_NdELin8EPX(a,40)+op_count_kuIXHzHcAH(op_Qy55tPpLXF(761,127),op_NdELin8EPX(a,40))
    return count


def op_hb2mTwldPZ(a, b):
    if op_uOZ1tnYMDE(b) > 31:
        return op_gx7XJ7hdpj(665,op_HQuZ2f4It9(255))
    else:
        return op_JoLB3LXqXx(op_JDUIKTTSIa(b,a),op_W4YGzv6Whe(14,230))

def op_count_hb2mTwldPZ(a, b):
    if op_uOZ1tnYMDE(b) > 31:
        count = op_count_HQuZ2f4It9(255)+op_count_gx7XJ7hdpj(665,op_HQuZ2f4It9(255))+op_count_uOZ1tnYMDE(b)
    else:
        count = op_count_JDUIKTTSIa(b,a)+op_count_W4YGzv6Whe(14,230)+op_count_JoLB3LXqXx(op_JDUIKTTSIa(b,a),op_W4YGzv6Whe(14,230))
    return count


a↫⇬b = { (a⩽⩡638) , if (∦b)<466 ; (a⨲⇖⇮) , else }

def op_PHNdOSUEPW(a, b):
    if op_ew17WAA8t6(b) < 466:
        return op_zFNL8mZEFB(a,638)
    else:
        return op_oj4YnGA3cE(a)

def op_count_PHNdOSUEPW(a, b):
    if op_ew17WAA8t6(b) < 466:
        count = op_count_zFNL8mZEFB(a,638)+op_count_ew17WAA8t6(b)
    else:
        count = op_count_oj4YnGA3cE(a)
    return count


a≎↩∿b = { a , if b<87 ; (b∿⫑≎b) , else }

def op_DowK1ZCM6i(a, b):
    if b < 87:
        return a
    else:
        return op_ar1w6gUwHX(b,b)

def op_count_DowK1ZCM6i(a, b):
    if b < 87:
        count = 1
    else:
        count = op_count_ar1w6gUwHX(b,b)
    return count


a⋊↻⋐ = { (⩪∧⨌a) , if (a⋛∩⫮)>289 ; (a≻⇥≳50) , else }

def op_ecnbvylZ8f(a):
    if op_QDWDTvZtyM(a) > 289:
        return op_6iOiAJX1F8(a)
    else:
        return op_aiqF8n6J9c(a,50)

def op_count_ecnbvylZ8f(a):
    if op_QDWDTvZtyM(a) > 289:
        count = op_count_6iOiAJX1F8(a)+op_count_QDWDTvZtyM(a)
    else:
        count = op_count_aiqF8n6J9c(a,50)
    return count


def op_dngTJzlZ0N(a, b):
    if op_sM9mzqIDB1(b,143) <= 191:
        return op_UMMmb9LONo(a)
    else:
        return op_vg4gO5BX6G(b,177)

def op_count_dngTJzlZ0N(a, b):
    if op_sM9mzqIDB1(b,143) <= 191:
        count = op_count_UMMmb9LONo(a)+op_count_sM9mzqIDB1(b,143)
    else:
        count = op_count_vg4gO5BX6G(b,177)
    return count


def op_Qkdmijf3a6(a, b):
    if a > 110:
        return op_qxp9F1VMeC(op_8cLx32lpNA(op_U6pG0PXrV3(28),op_xoJmIySC7h(67,b)))
    else:
        return op_2O29ZX4yK6(op_sM9mzqIDB1(op_QMFrweE19q(a,b),op_Kn0TacbtGK(176)))

def op_count_Qkdmijf3a6(a, b):
    if a > 110:
        count = op_count_U6pG0PXrV3(28)+op_count_xoJmIySC7h(67,b)+op_count_8cLx32lpNA(op_U6pG0PXrV3(28),op_xoJmIySC7h(67,b))+op_count_qxp9F1VMeC(op_8cLx32lpNA(op_U6pG0PXrV3(28),op_xoJmIySC7h(67,b)))
    else:
        count = op_count_QMFrweE19q(a,b)+op_count_Kn0TacbtGK(176)+op_count_sM9mzqIDB1(op_QMFrweE19q(a,b),op_Kn0TacbtGK(176))+op_count_2O29ZX4yK6(op_sM9mzqIDB1(op_QMFrweE19q(a,b),op_Kn0TacbtGK(176)))
    return count


a↕∇⋍b = { (222≃a) , if (⩦⩻⨪b)==441 ; (⫇⪃↚a) , else }

def op_XRjwFXip4B(a, b):
    if op_2td37pGCOC(b) == 441:
        return op_YbVcJGFEVW(222,a)
    else:
        return op_Q9TX5pQS3Y(a)

def op_count_XRjwFXip4B(a, b):
    if op_2td37pGCOC(b) == 441:
        count = op_count_YbVcJGFEVW(222,a)+op_count_2td37pGCOC(b)
    else:
        count = op_count_Q9TX5pQS3Y(a)
    return count


def op_DSNDuqRLpq(a):
    if (a > 280 or op_2MzE1hQ0cz(a) >= 160):
        return op_U6pG0PXrV3(a)
    else:
        return op_j4geBLYVFK(a)

def op_count_DSNDuqRLpq(a):
    if (a > 280 or op_2MzE1hQ0cz(a) >= 160):
        count = op_count_U6pG0PXrV3(a)+op_count_2MzE1hQ0cz(a)
    else:
        count = op_count_j4geBLYVFK(a)
    return count


a∃≎⫭ = { (a≭⫡38) , if (a⋴⋺)>=29 ; (a⩣⫁∢a) , else }

def op_nF1SDegpJh(a):
    if op_0bdkhPtsnY(a) >= 29:
        return op_b1mGkbI4Oy(a,38)
    else:
        return op_JDUIKTTSIa(a,a)

def op_count_nF1SDegpJh(a):
    if op_0bdkhPtsnY(a) >= 29:
        count = op_count_b1mGkbI4Oy(a,38)+op_count_0bdkhPtsnY(a)
    else:
        count = op_count_JDUIKTTSIa(a,a)
    return count


a⨮b = { (a⊒a) , if a<=6 ; (⩻⪛b) , else }

def op_edpkH0X5wK(a, b):
    if a <= 6:
        return op_rPNtK4BLRO(a,a)
    else:
        return op_5RY6W0glyJ(b)

def op_count_edpkH0X5wK(a, b):
    if a <= 6:
        count = op_count_rPNtK4BLRO(a,a)
    else:
        count = op_count_5RY6W0glyJ(b)
    return count


def op_93apkkisdr(a):
    if a != 771:
        return op_620seOwKww(op_Siyfjn51pv(207))
    else:
        return op_Wm7LHi3c8p(op_eaFBhJ0Uku(a,a))

def op_count_93apkkisdr(a):
    if a != 771:
        count = op_count_Siyfjn51pv(207)+op_count_620seOwKww(op_Siyfjn51pv(207))
    else:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_Wm7LHi3c8p(op_eaFBhJ0Uku(a,a))
    return count


⋹∓↶a = { ((492∫⋜⩖341)⊬⨰(⊫∐⫩a)) , if a>534 ; ((a⪢⨴)⪨⊡a) , else }

def op_MyOvM7mRvP(a):
    if a > 534:
        return op_s3Fd5m9Dh2(op_JgXZM7XvWE(492,341),op_gSr4c7pPrV(a))
    else:
        return op_kuIXHzHcAH(op_UMMmb9LONo(a),a)

def op_count_MyOvM7mRvP(a):
    if a > 534:
        count = op_count_JgXZM7XvWE(492,341)+op_count_gSr4c7pPrV(a)+op_count_s3Fd5m9Dh2(op_JgXZM7XvWE(492,341),op_gSr4c7pPrV(a))
    else:
        count = op_count_UMMmb9LONo(a)+op_count_kuIXHzHcAH(op_UMMmb9LONo(a),a)
    return count


a⨗⇶b = { (b⫏↛⩏b) , if (a⨬⫳)>=65 ; (b⋙) , else }

def op_TD6m37OfND(a, b):
    if op_kc7iqVBlRY(a) >= 65:
        return op_YC3tgrnOyr(b,b)
    else:
        return op_XZxEnkN3N0(b)

def op_count_TD6m37OfND(a, b):
    if op_kc7iqVBlRY(a) >= 65:
        count = op_count_YC3tgrnOyr(b,b)+op_count_kc7iqVBlRY(a)
    else:
        count = op_count_XZxEnkN3N0(b)
    return count


a∿⨭⨸b = { (b⊀⪪⫸) , if (a⊢490)>252 ; (b⊱⇼⊻a) , else }

def op_n7NTx37v7F(a, b):
    if op_5twsqlHp2o(a,490) > 252:
        return op_UIU2Eox550(b)
    else:
        return op_FyVja0WsTP(b,a)

def op_count_n7NTx37v7F(a, b):
    if op_5twsqlHp2o(a,490) > 252:
        count = op_count_UIU2Eox550(b)+op_count_5twsqlHp2o(a,490)
    else:
        count = op_count_FyVja0WsTP(b,a)
    return count


a⫵⪞∥b = { (a⪁⨴⋨b) , if (b∁)!=117 ; (b-b) , else }

def op_agzRJtrQZ2(a, b):
    if op_jdwGQqwJi5(b) != 117:
        return op_y2kQTS4a70(a,b)
    else:
        return op_rysDP5nf3Z(b,b)

def op_count_agzRJtrQZ2(a, b):
    if op_jdwGQqwJi5(b) != 117:
        count = op_count_y2kQTS4a70(a,b)+op_count_jdwGQqwJi5(b)
    else:
        count = op_count_rysDP5nf3Z(b,b)
    return count


def op_n9EnWVX4dz(a, b):
    if a >= 668:
        return op_4CyGpkTkEk(a)
    else:
        return b

def op_count_n9EnWVX4dz(a, b):
    if a >= 668:
        count = op_count_4CyGpkTkEk(a)
    else:
        count = 1
    return count


⇓∌a = { ((94⊬⨰6)⩧⪆(a⋐≟⩺a)) , if a==63 ; (a⪠⩆⊳) , else }

def op_6yKk92sZFh(a):
    if a == 63:
        return op_Ikt5ks8PT7(op_s3Fd5m9Dh2(94,6),op_PjbVkMzmXE(a,a))
    else:
        return op_JLbD19bQDL(a)

def op_count_6yKk92sZFh(a):
    if a == 63:
        count = op_count_s3Fd5m9Dh2(94,6)+op_count_PjbVkMzmXE(a,a)+op_count_Ikt5ks8PT7(op_s3Fd5m9Dh2(94,6),op_PjbVkMzmXE(a,a))
    else:
        count = op_count_JLbD19bQDL(a)
    return count


a⩫≗⊖b = { ((b⋘a)↨⪍≴(≿⇫a)) , if (⇗⪘∲a)==126 ; ((b⪣⫩)⩣⫁∢(652⩧⪆a)) , else }

def op_6GzKXIXcaD(a, b):
    if op_j4geBLYVFK(a) == 126:
        return op_DX7B1fY6P6(op_2M7SKlOzyM(b,a),op_3A1e9zoj8h(a))
    else:
        return op_JDUIKTTSIa(op_iuk5sVOGFA(b),op_Ikt5ks8PT7(652,a))

def op_count_6GzKXIXcaD(a, b):
    if op_j4geBLYVFK(a) == 126:
        count = op_count_2M7SKlOzyM(b,a)+op_count_3A1e9zoj8h(a)+op_count_DX7B1fY6P6(op_2M7SKlOzyM(b,a),op_3A1e9zoj8h(a))+op_count_j4geBLYVFK(a)
    else:
        count = op_count_iuk5sVOGFA(b)+op_count_Ikt5ks8PT7(652,a)+op_count_JDUIKTTSIa(op_iuk5sVOGFA(b),op_Ikt5ks8PT7(652,a))
    return count


def op_jPYZHDFkUI(a, b):
    if op_KROiRRz3d6(a,866) >= 456:
        return op_tfWHHpNKUN(117)
    else:
        return op_OWnFPqjWlR(b,342)

def op_count_jPYZHDFkUI(a, b):
    if op_KROiRRz3d6(a,866) >= 456:
        count = op_count_tfWHHpNKUN(117)+op_count_KROiRRz3d6(a,866)
    else:
        count = op_count_OWnFPqjWlR(b,342)
    return count


a≞∓⫴ = { (a⇯⋐) , if a==211 ; (⋽⪳⨃a) , else }

def op_LcBySUccw5(a):
    if a == 211:
        return op_LkLIoiE525(a)
    else:
        return op_qAljGMXEZr(a)

def op_count_LcBySUccw5(a):
    if a == 211:
        count = op_count_LkLIoiE525(a)
    else:
        count = op_count_qAljGMXEZr(a)
    return count


def op_h4wKFUXOm3(a):
    if op_WkeUrDK8WX(a) != 651:
        return op_f6k1SAg4EE(op_uysxUYN2L2(a,op_ar1w6gUwHX(56,240)),op_pRsWfj4Fpp(op_Sq3AGanRSD(a,36)))
    else:
        return op_wztAlM01eG(a)

def op_count_h4wKFUXOm3(a):
    if op_WkeUrDK8WX(a) != 651:
        count = op_count_ar1w6gUwHX(56,240)+op_count_uysxUYN2L2(a,op_ar1w6gUwHX(56,240))+op_count_Sq3AGanRSD(a,36)+op_count_pRsWfj4Fpp(op_Sq3AGanRSD(a,36))+op_count_f6k1SAg4EE(op_uysxUYN2L2(a,op_ar1w6gUwHX(56,240)),op_pRsWfj4Fpp(op_Sq3AGanRSD(a,36)))+op_count_WkeUrDK8WX(a)
    else:
        count = op_count_wztAlM01eG(a)
    return count


a⋣↚⨌b = { (((a⪇≇⋚5)⇛(a∘a))⪦⩸(⫇⨷(a⊬⨰b))) , if (a⋥≓≎654)==6 ; (((a⋟⫀⨗a)+(≿⇫a))⫁⪎(⋽⪳⨃(b⪒3))) , else }

def op_iEYVdzZsUa(a, b):
    if op_Qy55tPpLXF(a,654) == 6:
        return op_0JWJYFSzIQ(op_S3tN1ZzpSt(op_3sJ7IOPOlU(a,5),op_Z5m6OM72h2(a,a)),op_ct1hK6qyRt(op_s3Fd5m9Dh2(a,b)))
    else:
        return op_xRrnTEsQ6j(op_W4YGzv6Whe(op_dAAkup5nzi(a,a),op_3A1e9zoj8h(a)),op_qAljGMXEZr(op_f6k1SAg4EE(b,3)))

def op_count_iEYVdzZsUa(a, b):
    if op_Qy55tPpLXF(a,654) == 6:
        count = op_count_3sJ7IOPOlU(a,5)+op_count_Z5m6OM72h2(a,a)+op_count_S3tN1ZzpSt(op_3sJ7IOPOlU(a,5),op_Z5m6OM72h2(a,a))+op_count_s3Fd5m9Dh2(a,b)+op_count_ct1hK6qyRt(op_s3Fd5m9Dh2(a,b))+op_count_0JWJYFSzIQ(op_S3tN1ZzpSt(op_3sJ7IOPOlU(a,5),op_Z5m6OM72h2(a,a)),op_ct1hK6qyRt(op_s3Fd5m9Dh2(a,b)))+op_count_Qy55tPpLXF(a,654)
    else:
        count = op_count_dAAkup5nzi(a,a)+op_count_3A1e9zoj8h(a)+op_count_W4YGzv6Whe(op_dAAkup5nzi(a,a),op_3A1e9zoj8h(a))+op_count_f6k1SAg4EE(b,3)+op_count_qAljGMXEZr(op_f6k1SAg4EE(b,3))+op_count_xRrnTEsQ6j(op_W4YGzv6Whe(op_dAAkup5nzi(a,a),op_3A1e9zoj8h(a)),op_qAljGMXEZr(op_f6k1SAg4EE(b,3)))
    return count


a⨴≄⊁ = { (⇝⋾⇵(a+a)) , if (a↮⪈⫰)<=207 ; ((a∫⋜⩖64)⨁⊸⫻) , else }

def op_3A4HHuzcAZ(a):
    if op_MKpoIoBJCf(a) <= 207:
        return op_6l7ULzJsnZ(op_W4YGzv6Whe(a,a))
    else:
        return op_glklzrTFfD(op_JgXZM7XvWE(a,64))

def op_count_3A4HHuzcAZ(a):
    if op_MKpoIoBJCf(a) <= 207:
        count = op_count_W4YGzv6Whe(a,a)+op_count_6l7ULzJsnZ(op_W4YGzv6Whe(a,a))+op_count_MKpoIoBJCf(a)
    else:
        count = op_count_JgXZM7XvWE(a,64)+op_count_glklzrTFfD(op_JgXZM7XvWE(a,64))
    return count


a⇵⋐≆b = { ((b⋂⩴(218⨴a))⪔⊥((b⊔a)∽(b∄a))) , if (b⪹)!=426 ; (⇋↷((a⨓↿∉a)∮⨁)) , else }

def op_Eer0MjbH0r(a, b):
    if op_B3sABdIn96(b) != 426:
        return op_HJ9erzHUuu(op_hmlrMsD2PO(b,op_jBC4ymW3D7(218,a)),op_y4ImoPnbV5(op_E4l6HwMY31(b,a),op_tnyRA5sazQ(b,a)))
    else:
        return op_SWo3A1KBJH(op_TytFGXR7Zf(op_OWnFPqjWlR(a,a)))

def op_count_Eer0MjbH0r(a, b):
    if op_B3sABdIn96(b) != 426:
        count = op_count_jBC4ymW3D7(218,a)+op_count_hmlrMsD2PO(b,op_jBC4ymW3D7(218,a))+op_count_E4l6HwMY31(b,a)+op_count_tnyRA5sazQ(b,a)+op_count_y4ImoPnbV5(op_E4l6HwMY31(b,a),op_tnyRA5sazQ(b,a))+op_count_HJ9erzHUuu(op_hmlrMsD2PO(b,op_jBC4ymW3D7(218,a)),op_y4ImoPnbV5(op_E4l6HwMY31(b,a),op_tnyRA5sazQ(b,a)))+op_count_B3sABdIn96(b)
    else:
        count = op_count_OWnFPqjWlR(a,a)+op_count_TytFGXR7Zf(op_OWnFPqjWlR(a,a))+op_count_SWo3A1KBJH(op_TytFGXR7Zf(op_OWnFPqjWlR(a,a)))
    return count


def op_3yGYaMA1cc(a):
    if op_xoJmIySC7h(a,882) <= 11:
        return op_uysxUYN2L2(a,a)
    else:
        return op_Kn0TacbtGK(109)

def op_count_3yGYaMA1cc(a):
    if op_xoJmIySC7h(a,882) <= 11:
        count = op_count_uysxUYN2L2(a,a)+op_count_xoJmIySC7h(a,882)
    else:
        count = op_count_Kn0TacbtGK(109)
    return count


def op_kTOheoEf3C(a):
    if op_12rbrZMWeM(a,820) != 69:
        return op_2GS7woTJqF(a,a)
    else:
        return op_Y7wcNGrDQJ(10,a)

def op_count_kTOheoEf3C(a):
    if op_12rbrZMWeM(a,820) != 69:
        count = op_count_2GS7woTJqF(a,a)+op_count_12rbrZMWeM(a,820)
    else:
        count = op_count_Y7wcNGrDQJ(10,a)
    return count


⨢⇳a = { (≈(a⇖↽a)) , if a==548 ; ((a⪐-a)⫡⨏(a⩌⋺a)) , else }

def op_d3r8Dqe6Dv(a):
    if a == 548:
        return op_EO7Xdgo9So(op_cwbF3JtlMN(a,a))
    else:
        return op_QMFrweE19q(op_d8xe6WWVfM(a,a),op_g7Hmc5v1ko(a,a))

def op_count_d3r8Dqe6Dv(a):
    if a == 548:
        count = op_count_cwbF3JtlMN(a,a)+op_count_EO7Xdgo9So(op_cwbF3JtlMN(a,a))
    else:
        count = op_count_d8xe6WWVfM(a,a)+op_count_g7Hmc5v1ko(a,a)+op_count_QMFrweE19q(op_d8xe6WWVfM(a,a),op_g7Hmc5v1ko(a,a))
    return count


def op_JVQ21eiG9v(a):
    if op_inCIaGQf8u(a,858) > 25:
        return op_mhIhit33mg(op_2M7SKlOzyM(a,330))
    else:
        return op_Ph9nP6C5qx(op_Pkwamo1tM2(659,a),op_NTOWxs364D(a,a))

def op_count_JVQ21eiG9v(a):
    if op_inCIaGQf8u(a,858) > 25:
        count = op_count_2M7SKlOzyM(a,330)+op_count_mhIhit33mg(op_2M7SKlOzyM(a,330))+op_count_inCIaGQf8u(a,858)
    else:
        count = op_count_Pkwamo1tM2(659,a)+op_count_NTOWxs364D(a,a)+op_count_Ph9nP6C5qx(op_Pkwamo1tM2(659,a),op_NTOWxs364D(a,a))
    return count


a⫓⋼b = { ((63⪦⩸a)⇿⊰(⩻⪛b)) , if (⊲⪭b)>619 ; ((a⪱⇝b)⋰⇉∕(b∘⨩)) , else }

def op_FI4i5otY41(a, b):
    if op_k7HXdKtiEU(b) > 619:
        return op_ap3xiM279w(op_0JWJYFSzIQ(63,a),op_5RY6W0glyJ(b))
    else:
        return op_sM9mzqIDB1(op_OTRTVPweYV(a,b),op_aHKFHkCgn9(b))

def op_count_FI4i5otY41(a, b):
    if op_k7HXdKtiEU(b) > 619:
        count = op_count_0JWJYFSzIQ(63,a)+op_count_5RY6W0glyJ(b)+op_count_ap3xiM279w(op_0JWJYFSzIQ(63,a),op_5RY6W0glyJ(b))+op_count_k7HXdKtiEU(b)
    else:
        count = op_count_OTRTVPweYV(a,b)+op_count_aHKFHkCgn9(b)+op_count_sM9mzqIDB1(op_OTRTVPweYV(a,b),op_aHKFHkCgn9(b))
    return count


a⪯b = { (≀↧⇸((b⫏↛⩏b)⊲⩕⊾(∛⊵a))) , if b<=422 ; (((a↪∷a)⋷(⪁⫅≨a))⪅) , else }

def op_I3ZanAtbUM(a, b):
    if b <= 422:
        return op_ljTHtUsqzn(op_DmTXOeWf9t(op_YC3tgrnOyr(b,b),op_jfYOP67v6Y(a)))
    else:
        return op_FB83X2dByY(op_23Mk6UjR3U(op_Api82iH42a(a,a),op_YApyZlDuBr(a)))

def op_count_I3ZanAtbUM(a, b):
    if b <= 422:
        count = op_count_YC3tgrnOyr(b,b)+op_count_jfYOP67v6Y(a)+op_count_DmTXOeWf9t(op_YC3tgrnOyr(b,b),op_jfYOP67v6Y(a))+op_count_ljTHtUsqzn(op_DmTXOeWf9t(op_YC3tgrnOyr(b,b),op_jfYOP67v6Y(a)))
    else:
        count = op_count_Api82iH42a(a,a)+op_count_YApyZlDuBr(a)+op_count_23Mk6UjR3U(op_Api82iH42a(a,a),op_YApyZlDuBr(a))+op_count_FB83X2dByY(op_23Mk6UjR3U(op_Api82iH42a(a,a),op_YApyZlDuBr(a)))
    return count


a⇢∌b = { (a∌51) , if b!=27 ; (⇒⊙∲b) , else }

def op_10Y1YzcX1i(a, b):
    if b != 27:
        return op_8cLx32lpNA(a,51)
    else:
        return op_8HCJqvcFkE(b)

def op_count_10Y1YzcX1i(a, b):
    if b != 27:
        count = op_count_8cLx32lpNA(a,51)
    else:
        count = op_count_8HCJqvcFkE(b)
    return count


a⨒⇂⨽b = { (a⨊⨠) , if b==454 and (b⊚⨔)>327 and (a∫⋜⩖798)>511 ; a , else }

def op_Q8Thw7a1vL(a, b):
    if b == 454 and op_XbEAUggs3J(b) > 327 and op_JgXZM7XvWE(a,798) > 511:
        return op_qU6oQAhJaQ(a)
    else:
        return a

def op_count_Q8Thw7a1vL(a, b):
    if b == 454 and op_XbEAUggs3J(b) > 327 and op_JgXZM7XvWE(a,798) > 511:
        count = op_count_qU6oQAhJaQ(a)+op_count_XbEAUggs3J(b)+op_count_JgXZM7XvWE(a,798)
    else:
        count = 1
    return count


a⫣≆b = { (⊀⇵(a⪅)) , if a>414 ; ((b⫁⪎a)∠↢b) , else }

def op_WeZynXmtWN(a, b):
    if a > 414:
        return op_B3tNObfNaL(op_FB83X2dByY(a))
    else:
        return op_KbjG8mgYpV(op_xRrnTEsQ6j(b,a),b)

def op_count_WeZynXmtWN(a, b):
    if a > 414:
        count = op_count_FB83X2dByY(a)+op_count_B3tNObfNaL(op_FB83X2dByY(a))
    else:
        count = op_count_xRrnTEsQ6j(b,a)+op_count_KbjG8mgYpV(op_xRrnTEsQ6j(b,a),b)
    return count


def op_wff9HZunSZ(a):
    if op_t8gj7n24qd(a) == 221:
        return op_12rbrZMWeM(op_Bmrmz2XGnR(op_ar1w6gUwHX(a,25),op_nREPSIbpBE(a,a)),op_L05ObWFQCd(op_QMFrweE19q(a,a),a))
    else:
        return op_i3MWstRFMQ(op_0kmYd0q39Y(op_JoLB3LXqXx(668,a),op_b1mGkbI4Oy(a,a)))

def op_count_wff9HZunSZ(a):
    if op_t8gj7n24qd(a) == 221:
        count = op_count_ar1w6gUwHX(a,25)+op_count_nREPSIbpBE(a,a)+op_count_Bmrmz2XGnR(op_ar1w6gUwHX(a,25),op_nREPSIbpBE(a,a))+op_count_QMFrweE19q(a,a)+op_count_L05ObWFQCd(op_QMFrweE19q(a,a),a)+op_count_12rbrZMWeM(op_Bmrmz2XGnR(op_ar1w6gUwHX(a,25),op_nREPSIbpBE(a,a)),op_L05ObWFQCd(op_QMFrweE19q(a,a),a))+op_count_t8gj7n24qd(a)
    else:
        count = op_count_JoLB3LXqXx(668,a)+op_count_b1mGkbI4Oy(a,a)+op_count_0kmYd0q39Y(op_JoLB3LXqXx(668,a),op_b1mGkbI4Oy(a,a))+op_count_i3MWstRFMQ(op_0kmYd0q39Y(op_JoLB3LXqXx(668,a),op_b1mGkbI4Oy(a,a)))
    return count


def op_D6AM124FhJ(a, b):
    if a >= 443:
        return b
    else:
        return op_0bdkhPtsnY(a)

def op_count_D6AM124FhJ(a, b):
    if a >= 443:
        count = 1
    else:
        count = op_count_0bdkhPtsnY(a)
    return count


def op_bwYBi1zm8f(a):
    if op_HjMFvreeUu(a) < 39:
        return 520
    else:
        return op_sM9mzqIDB1(op_nhYeJWJD5X(op_zoVPnxeHJ3(180),op_tnyRA5sazQ(358,a)),op_U9HvHqtOoq(op_2z8nE7LpCu(a,328)))

def op_count_bwYBi1zm8f(a):
    if op_HjMFvreeUu(a) < 39:
        count = op_count_HjMFvreeUu(a)
    else:
        count = op_count_zoVPnxeHJ3(180)+op_count_tnyRA5sazQ(358,a)+op_count_nhYeJWJD5X(op_zoVPnxeHJ3(180),op_tnyRA5sazQ(358,a))+op_count_2z8nE7LpCu(a,328)+op_count_U9HvHqtOoq(op_2z8nE7LpCu(a,328))+op_count_sM9mzqIDB1(op_nhYeJWJD5X(op_zoVPnxeHJ3(180),op_tnyRA5sazQ(358,a)),op_U9HvHqtOoq(op_2z8nE7LpCu(a,328)))
    return count


≋≱⨐a = { (a⋛∩⫮) , if a==103 ; (a⋟⫀⨗a) , else }

def op_384QZ391xe(a):
    if a == 103:
        return op_QDWDTvZtyM(a)
    else:
        return op_dAAkup5nzi(a,a)

def op_count_384QZ391xe(a):
    if a == 103:
        count = op_count_QDWDTvZtyM(a)
    else:
        count = op_count_dAAkup5nzi(a,a)
    return count


⊲⪿a = { ((⩰a)⨔⊶↷(a⊵a)) , if ((≅≯⇸a)>=0 and a>=21) ; ((a⪒a)⇿⊰(a⩦a)) , else }

def op_plnrPrQ6BG(a):
    if (op_apS25hmuAe(a) >= 0 and a >= 21):
        return op_WObL9SsYVE(op_WkeUrDK8WX(a),op_eaFBhJ0Uku(a,a))
    else:
        return op_ap3xiM279w(op_f6k1SAg4EE(a,a),op_0kmYd0q39Y(a,a))

def op_count_plnrPrQ6BG(a):
    if (op_apS25hmuAe(a) >= 0 and a >= 21):
        count = op_count_WkeUrDK8WX(a)+op_count_eaFBhJ0Uku(a,a)+op_count_WObL9SsYVE(op_WkeUrDK8WX(a),op_eaFBhJ0Uku(a,a))+op_count_apS25hmuAe(a)
    else:
        count = op_count_f6k1SAg4EE(a,a)+op_count_0kmYd0q39Y(a,a)+op_count_ap3xiM279w(op_f6k1SAg4EE(a,a),op_0kmYd0q39Y(a,a))
    return count


a↣⪱b = { (b⨩≤⫤(b⪍↜⋙307)) , if (a⩉⊫⨁)<32 or a>26 ; (288⪉⨛(a⊹≧⊝)) , else }

def op_qhklwjTpUT(a, b):
    if op_7qqUquhhSb(a) < 32 or a > 26:
        return op_neKQRQQIil(b,op_L05ObWFQCd(b,307))
    else:
        return op_EWw2JM7wp4(288,op_LxFB4K6j0n(a))

def op_count_qhklwjTpUT(a, b):
    if op_7qqUquhhSb(a) < 32 or a > 26:
        count = op_count_L05ObWFQCd(b,307)+op_count_neKQRQQIil(b,op_L05ObWFQCd(b,307))+op_count_7qqUquhhSb(a)
    else:
        count = op_count_LxFB4K6j0n(a)+op_count_EWw2JM7wp4(288,op_LxFB4K6j0n(a))
    return count


a⋍b = { (((b↢a)↾⩰)⫻⋑⊟) , if (⩻⪛a)==172 ; a , else }

def op_gXjZ5wXXzC(a, b):
    if op_5RY6W0glyJ(a) == 172:
        return op_o575Zjdmzy(op_GNmBfxrna9(op_WR6HLWljOP(b,a)))
    else:
        return a

def op_count_gXjZ5wXXzC(a, b):
    if op_5RY6W0glyJ(a) == 172:
        count = op_count_WR6HLWljOP(b,a)+op_count_GNmBfxrna9(op_WR6HLWljOP(b,a))+op_count_o575Zjdmzy(op_GNmBfxrna9(op_WR6HLWljOP(b,a)))+op_count_5RY6W0glyJ(a)
    else:
        count = 1
    return count


a⩇⫾⪤b = { (((⨾∊⩁b)⪚⊾⩭)∀⩎⋷((⫳⪺∰a)⊉≛↸(b∣a))) , if (a⨜⇔216)>4 ; (b≻⇥≳(⨂⪏⇭(⨑⩽⪐b))) , else }

def op_FNeuu2F1id(a, b):
    if op_Sq3AGanRSD(a,216) > 4:
        return op_FPxP5Y1j0W(op_ebeGRCukrZ(op_QErWpSDGk0(b)),op_DZ8iAZOCBD(op_eftAHwPbeA(a),op_PPChnnnBFF(b,a)))
    else:
        return op_aiqF8n6J9c(b,op_AYdpE9sXAk(op_AF7qkfDlqP(b)))

def op_count_FNeuu2F1id(a, b):
    if op_Sq3AGanRSD(a,216) > 4:
        count = op_count_QErWpSDGk0(b)+op_count_ebeGRCukrZ(op_QErWpSDGk0(b))+op_count_eftAHwPbeA(a)+op_count_PPChnnnBFF(b,a)+op_count_DZ8iAZOCBD(op_eftAHwPbeA(a),op_PPChnnnBFF(b,a))+op_count_FPxP5Y1j0W(op_ebeGRCukrZ(op_QErWpSDGk0(b)),op_DZ8iAZOCBD(op_eftAHwPbeA(a),op_PPChnnnBFF(b,a)))+op_count_Sq3AGanRSD(a,216)
    else:
        count = op_count_AF7qkfDlqP(b)+op_count_AYdpE9sXAk(op_AF7qkfDlqP(b))+op_count_aiqF8n6J9c(b,op_AYdpE9sXAk(op_AF7qkfDlqP(b)))
    return count


a⋻⪍⫐ = { ((a⪍↜⋙a)≧⊼(a∅a)) , if a>60 ; a , else }

def op_YvRQj5obxP(a):
    if a > 60:
        return op_JoLB3LXqXx(op_L05ObWFQCd(a,a),op_giaUb8UVhq(a,a))
    else:
        return a

def op_count_YvRQj5obxP(a):
    if a > 60:
        count = op_count_L05ObWFQCd(a,a)+op_count_giaUb8UVhq(a,a)+op_count_JoLB3LXqXx(op_L05ObWFQCd(a,a),op_giaUb8UVhq(a,a))
    else:
        count = 1
    return count


a⫈∭⊸b = { (⫊≏⨉((⩕↛b)↢b)) , if (⇻⫵b)==284 ; (⊙⨙⩍((b∏⇴b)⊭↱a)) , else }

def op_21ob1huWpa(a, b):
    if op_Wm7LHi3c8p(b) == 284:
        return op_KED7KUUlGq(op_WR6HLWljOP(op_3EhVUz7Ug9(b),b))
    else:
        return op_ocpzidtxKt(op_COABgblf1C(op_Rw46J52cBJ(b,b),a))

def op_count_21ob1huWpa(a, b):
    if op_Wm7LHi3c8p(b) == 284:
        count = op_count_3EhVUz7Ug9(b)+op_count_WR6HLWljOP(op_3EhVUz7Ug9(b),b)+op_count_KED7KUUlGq(op_WR6HLWljOP(op_3EhVUz7Ug9(b),b))+op_count_Wm7LHi3c8p(b)
    else:
        count = op_count_Rw46J52cBJ(b,b)+op_count_COABgblf1C(op_Rw46J52cBJ(b,b),a)+op_count_ocpzidtxKt(op_COABgblf1C(op_Rw46J52cBJ(b,b),a))
    return count


a≋≥b = { (∋∴(⨞⊢a)) , if b<48 ; a , else }

def op_p8rocv1ccI(a, b):
    if b < 48:
        return op_nouZ5SZjt1(op_xUOZtlo3hN(a))
    else:
        return a

def op_count_p8rocv1ccI(a, b):
    if b < 48:
        count = op_count_xUOZtlo3hN(a)+op_count_nouZ5SZjt1(op_xUOZtlo3hN(a))
    else:
        count = 1
    return count


a⋷⪧b = { ((⊖(b∈))⪣⫩) , if (⩆⇋b)<81 ; ((a∌↝(⫄⋦≢185))≼(↞≼(a⪍↜⋙b))) , else }

def op_JoFAzT2BO8(a, b):
    if op_IjUb3wyICU(b) < 81:
        return op_iuk5sVOGFA(op_U6pG0PXrV3(op_ztP7wcbY7m(b)))
    else:
        return op_SPuZE40Ntn(op_9Isq31Ruls(a,op_4kvgVkQeiQ(185)),op_DE7zCoGJt9(op_L05ObWFQCd(a,b)))

def op_count_JoFAzT2BO8(a, b):
    if op_IjUb3wyICU(b) < 81:
        count = op_count_ztP7wcbY7m(b)+op_count_U6pG0PXrV3(op_ztP7wcbY7m(b))+op_count_iuk5sVOGFA(op_U6pG0PXrV3(op_ztP7wcbY7m(b)))+op_count_IjUb3wyICU(b)
    else:
        count = op_count_4kvgVkQeiQ(185)+op_count_9Isq31Ruls(a,op_4kvgVkQeiQ(185))+op_count_L05ObWFQCd(a,b)+op_count_DE7zCoGJt9(op_L05ObWFQCd(a,b))+op_count_SPuZE40Ntn(op_9Isq31Ruls(a,op_4kvgVkQeiQ(185)),op_DE7zCoGJt9(op_L05ObWFQCd(a,b)))
    return count


a⪡⪰b = { a , if b<=35 ; (((b⋥≓≎a)⋂⩴(b⇄b))↨⪍≴((a≦↸a)≣(b⊵b))) , else }

def op_aedcdP7WUt(a, b):
    if b <= 35:
        return a
    else:
        return op_DX7B1fY6P6(op_hmlrMsD2PO(op_Qy55tPpLXF(b,a),op_3EYGwJThht(b,b)),op_ObEyaaML9x(op_RygbFNSyEJ(a,a),op_eaFBhJ0Uku(b,b)))

def op_count_aedcdP7WUt(a, b):
    if b <= 35:
        count = 1
    else:
        count = op_count_Qy55tPpLXF(b,a)+op_count_3EYGwJThht(b,b)+op_count_hmlrMsD2PO(op_Qy55tPpLXF(b,a),op_3EYGwJThht(b,b))+op_count_RygbFNSyEJ(a,a)+op_count_eaFBhJ0Uku(b,b)+op_count_ObEyaaML9x(op_RygbFNSyEJ(a,a),op_eaFBhJ0Uku(b,b))+op_count_DX7B1fY6P6(op_hmlrMsD2PO(op_Qy55tPpLXF(b,a),op_3EYGwJThht(b,b)),op_ObEyaaML9x(op_RygbFNSyEJ(a,a),op_eaFBhJ0Uku(b,b)))
    return count


def op_8n6F7jskv3(a, b):
    if a == 107:
        return op_uTBsSls0VN(b,op_2PILXiQIjy(op_6o9Blt3TJ6(687,b)))
    else:
        return op_DIvbN7qnHd(429)

def op_count_8n6F7jskv3(a, b):
    if a == 107:
        count = op_count_6o9Blt3TJ6(687,b)+op_count_2PILXiQIjy(op_6o9Blt3TJ6(687,b))+op_count_uTBsSls0VN(b,op_2PILXiQIjy(op_6o9Blt3TJ6(687,b)))
    else:
        count = op_count_DIvbN7qnHd(429)
    return count


a⩳∖ = { (⫡⇟⇯(a∠↢a)) , if (⊙⨙⩍a)==482 ; (⇋↷(446≧⊼a)) , else }

def op_VRmlYNqEUC(a):
    if op_ocpzidtxKt(a) == 482:
        return op_qWUSsah53b(op_KbjG8mgYpV(a,a))
    else:
        return op_SWo3A1KBJH(op_JoLB3LXqXx(446,a))

def op_count_VRmlYNqEUC(a):
    if op_ocpzidtxKt(a) == 482:
        count = op_count_KbjG8mgYpV(a,a)+op_count_qWUSsah53b(op_KbjG8mgYpV(a,a))+op_count_ocpzidtxKt(a)
    else:
        count = op_count_JoLB3LXqXx(446,a)+op_count_SWo3A1KBJH(op_JoLB3LXqXx(446,a))
    return count


a≋⩳⩩ = { ((⋽⪳⨃a)⪔⊥(a⪲⨢a)) , if a>=54 ; ((a≧⫂∧251)≦↸(a⇿⊰a)) , else }

def op_d6jxrEfZsd(a):
    if a >= 54:
        return op_HJ9erzHUuu(op_qAljGMXEZr(a),op_6iafYuwGo8(a,a))
    else:
        return op_RygbFNSyEJ(op_Ph9nP6C5qx(a,251),op_ap3xiM279w(a,a))

def op_count_d6jxrEfZsd(a):
    if a >= 54:
        count = op_count_qAljGMXEZr(a)+op_count_6iafYuwGo8(a,a)+op_count_HJ9erzHUuu(op_qAljGMXEZr(a),op_6iafYuwGo8(a,a))
    else:
        count = op_count_Ph9nP6C5qx(a,251)+op_count_ap3xiM279w(a,a)+op_count_RygbFNSyEJ(op_Ph9nP6C5qx(a,251),op_ap3xiM279w(a,a))
    return count


a⊓⫱⫘ = { (⫊≏⨉(275⫡⨏a)) , if (⫎≠⋺a)>=6 ; (⊄(a⇩↽)) , else }

def op_3q7QWIRGS2(a):
    if op_LYeZOJ0nQG(a) >= 6:
        return op_KED7KUUlGq(op_QMFrweE19q(275,a))
    else:
        return op_AnPstFaJd9(op_HjMFvreeUu(a))

def op_count_3q7QWIRGS2(a):
    if op_LYeZOJ0nQG(a) >= 6:
        count = op_count_QMFrweE19q(275,a)+op_count_KED7KUUlGq(op_QMFrweE19q(275,a))+op_count_LYeZOJ0nQG(a)
    else:
        count = op_count_HjMFvreeUu(a)+op_count_AnPstFaJd9(op_HjMFvreeUu(a))
    return count


a↣b = { (b⋥≓≎a) , if (a⊭⇢↿)==431 ; (b∠⫱230) , else }

def op_M0eZcchmsa(a, b):
    if op_G8pG1QxO6Y(a) == 431:
        return op_Qy55tPpLXF(b,a)
    else:
        return op_QvoQhV0rrE(b,230)

def op_count_M0eZcchmsa(a, b):
    if op_G8pG1QxO6Y(a) == 431:
        count = op_count_Qy55tPpLXF(b,a)+op_count_G8pG1QxO6Y(a)
    else:
        count = op_count_QvoQhV0rrE(b,230)
    return count


def op_De5KeVc9mK(a, b):
    if op_jBC4ymW3D7(b,626) != 71:
        return op_GMN7JP6WpN(op_3sJ7IOPOlU(op_XnXgA4xnOs(b,5),op_Z2TMIBDE3Q(b)),op_qy3n0tapmE(op_WR6HLWljOP(a,a),op_t8gj7n24qd(a)))
    else:
        return op_HmxsFra2vL(op_V4yb4KDoeF(a,op_tnyRA5sazQ(119,b)),op_IwW236VD4Y(op_9Isq31Ruls(b,a),op_YC3tgrnOyr(a,691)))

def op_count_De5KeVc9mK(a, b):
    if op_jBC4ymW3D7(b,626) != 71:
        count = op_count_XnXgA4xnOs(b,5)+op_count_Z2TMIBDE3Q(b)+op_count_3sJ7IOPOlU(op_XnXgA4xnOs(b,5),op_Z2TMIBDE3Q(b))+op_count_WR6HLWljOP(a,a)+op_count_t8gj7n24qd(a)+op_count_qy3n0tapmE(op_WR6HLWljOP(a,a),op_t8gj7n24qd(a))+op_count_GMN7JP6WpN(op_3sJ7IOPOlU(op_XnXgA4xnOs(b,5),op_Z2TMIBDE3Q(b)),op_qy3n0tapmE(op_WR6HLWljOP(a,a),op_t8gj7n24qd(a)))+op_count_jBC4ymW3D7(b,626)
    else:
        count = op_count_tnyRA5sazQ(119,b)+op_count_V4yb4KDoeF(a,op_tnyRA5sazQ(119,b))+op_count_9Isq31Ruls(b,a)+op_count_YC3tgrnOyr(a,691)+op_count_IwW236VD4Y(op_9Isq31Ruls(b,a),op_YC3tgrnOyr(a,691))+op_count_HmxsFra2vL(op_V4yb4KDoeF(a,op_tnyRA5sazQ(119,b)),op_IwW236VD4Y(op_9Isq31Ruls(b,a),op_YC3tgrnOyr(a,691)))
    return count


⪱⫍a = { ((a≟⫹a)⊵(≯a)) , if a==665 ; ((a⇛28)⪶≀⋏(⊀⇵a)) , else }

def op_GySAKFjObq(a):
    if a == 665:
        return op_eaFBhJ0Uku(op_z2JHNkvbdm(a,a),op_keWfFq85dY(a))
    else:
        return op_zR4jO40bMj(op_S3tN1ZzpSt(a,28),op_B3tNObfNaL(a))

def op_count_GySAKFjObq(a):
    if a == 665:
        count = op_count_z2JHNkvbdm(a,a)+op_count_keWfFq85dY(a)+op_count_eaFBhJ0Uku(op_z2JHNkvbdm(a,a),op_keWfFq85dY(a))
    else:
        count = op_count_S3tN1ZzpSt(a,28)+op_count_B3tNObfNaL(a)+op_count_zR4jO40bMj(op_S3tN1ZzpSt(a,28),op_B3tNObfNaL(a))
    return count


a⊞⫤b = { (b⋢((b⋂⩴a)⨰↻⪇(⪲⇎b))) , if (a⊕⨔)!=75 ; (((↡b)⊭↱(b∝b))⪖⪡a) , else }

def op_ty3zjDioQl(a, b):
    if op_ut0Nd8ObBp(a) != 75:
        return op_NdELin8EPX(b,op_nbuSfrB4hB(op_hmlrMsD2PO(b,a),op_XPYlsWDdGa(b)))
    else:
        return op_7PjNe5qSIJ(op_COABgblf1C(op_MXaNJeIAZ3(b),op_cTDWOvIxvz(b,b)),a)

def op_count_ty3zjDioQl(a, b):
    if op_ut0Nd8ObBp(a) != 75:
        count = op_count_hmlrMsD2PO(b,a)+op_count_XPYlsWDdGa(b)+op_count_nbuSfrB4hB(op_hmlrMsD2PO(b,a),op_XPYlsWDdGa(b))+op_count_NdELin8EPX(b,op_nbuSfrB4hB(op_hmlrMsD2PO(b,a),op_XPYlsWDdGa(b)))+op_count_ut0Nd8ObBp(a)
    else:
        count = op_count_MXaNJeIAZ3(b)+op_count_cTDWOvIxvz(b,b)+op_count_COABgblf1C(op_MXaNJeIAZ3(b),op_cTDWOvIxvz(b,b))+op_count_7PjNe5qSIJ(op_COABgblf1C(op_MXaNJeIAZ3(b),op_cTDWOvIxvz(b,b)),a)
    return count


def op_onRtam9a1K(a):
    if op_2z8nE7LpCu(a,548) > 105:
        return op_B4c4JXCTtZ(op_sdazOOVcIp(a,a))
    else:
        return op_DX7B1fY6P6(op_Bmrmz2XGnR(678,a),op_i8ToyICDmI(391,a))

def op_count_onRtam9a1K(a):
    if op_2z8nE7LpCu(a,548) > 105:
        count = op_count_sdazOOVcIp(a,a)+op_count_B4c4JXCTtZ(op_sdazOOVcIp(a,a))+op_count_2z8nE7LpCu(a,548)
    else:
        count = op_count_Bmrmz2XGnR(678,a)+op_count_i8ToyICDmI(391,a)+op_count_DX7B1fY6P6(op_Bmrmz2XGnR(678,a),op_i8ToyICDmI(391,a))
    return count


def op_lKIdTCn6US(a):
    if op_R3vAdrE3IH(a) != 112 and op_HrjLwUk87U(a,988) != 71:
        return op_UeUK5QjOtW(a)
    else:
        return op_dwb5p0fa6d(a)

def op_count_lKIdTCn6US(a):
    if op_R3vAdrE3IH(a) != 112 and op_HrjLwUk87U(a,988) != 71:
        count = op_count_UeUK5QjOtW(a)+op_count_R3vAdrE3IH(a)+op_count_HrjLwUk87U(a,988)
    else:
        count = op_count_dwb5p0fa6d(a)
    return count


⫹⪴⊙a = { ((714⇪⋱)⪎↠(a⪈⋁⩁a)) , if a<167 ; ((a⪔⊥a)≶(a⊉↱≁a)) , else }

def op_2enQSJPbnT(a):
    if a < 167:
        return op_3tVxb0NHM4(op_MKzNxCV7Yo(714),op_GMyVS5K48T(a,a))
    else:
        return op_Q2SPaKwpPJ(op_HJ9erzHUuu(a,a),op_w2P8NbNXyL(a,a))

def op_count_2enQSJPbnT(a):
    if a < 167:
        count = op_count_MKzNxCV7Yo(714)+op_count_GMyVS5K48T(a,a)+op_count_3tVxb0NHM4(op_MKzNxCV7Yo(714),op_GMyVS5K48T(a,a))
    else:
        count = op_count_HJ9erzHUuu(a,a)+op_count_w2P8NbNXyL(a,a)+op_count_Q2SPaKwpPJ(op_HJ9erzHUuu(a,a),op_w2P8NbNXyL(a,a))
    return count


def op_dFd5gG7kXb(a, b):
    if op_m612RDITqL(a,919) < 47:
        return op_j9kHMeSvPp(op_ocpzidtxKt(op_KFSx94NKJn(106,a)),op_3tVxb0NHM4(op_rFxw8gIMmB(a),op_8w2t5hMYqp(b)))
    else:
        return op_JLbD19bQDL(b)

def op_count_dFd5gG7kXb(a, b):
    if op_m612RDITqL(a,919) < 47:
        count = op_count_KFSx94NKJn(106,a)+op_count_ocpzidtxKt(op_KFSx94NKJn(106,a))+op_count_rFxw8gIMmB(a)+op_count_8w2t5hMYqp(b)+op_count_3tVxb0NHM4(op_rFxw8gIMmB(a),op_8w2t5hMYqp(b))+op_count_j9kHMeSvPp(op_ocpzidtxKt(op_KFSx94NKJn(106,a)),op_3tVxb0NHM4(op_rFxw8gIMmB(a),op_8w2t5hMYqp(b)))+op_count_m612RDITqL(a,919)
    else:
        count = op_count_JLbD19bQDL(b)
    return count


a⨜≆⋀ = { a , if a>474 ; (((a⊵a)⊢≏≾(a⪶≀⋏a))⋳⪒((a↪∷a)≣(⫹a))) , else }

def op_BKLvChGpzJ(a):
    if a > 474:
        return a
    else:
        return op_12rbrZMWeM(op_qxqspddX8k(op_eaFBhJ0Uku(a,a),op_zR4jO40bMj(a,a)),op_ObEyaaML9x(op_Api82iH42a(a,a),op_LmY23Q1aIi(a)))

def op_count_BKLvChGpzJ(a):
    if a > 474:
        count = 1
    else:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_zR4jO40bMj(a,a)+op_count_qxqspddX8k(op_eaFBhJ0Uku(a,a),op_zR4jO40bMj(a,a))+op_count_Api82iH42a(a,a)+op_count_LmY23Q1aIi(a)+op_count_ObEyaaML9x(op_Api82iH42a(a,a),op_LmY23Q1aIi(a))+op_count_12rbrZMWeM(op_qxqspddX8k(op_eaFBhJ0Uku(a,a),op_zR4jO40bMj(a,a)),op_ObEyaaML9x(op_Api82iH42a(a,a),op_LmY23Q1aIi(a)))
    return count


a⇔ = { ((a⋴⋺)⩌(⊄(a⊓≱a))) , if a<=252 ; (((a⪎↠a)↙↠)⇤((a∀⩎⋷526)⩚⊴⇥(a⪕a))) , else }

def op_uPHUoLFsCR(a):
    if a <= 252:
        return op_UoVew8f2p2(op_0bdkhPtsnY(a),op_AnPstFaJd9(op_VCG3UHNzLR(a,a)))
    else:
        return op_YSKBFp38Pu(op_texHS70gxN(op_3tVxb0NHM4(a,a)),op_NTOWxs364D(op_FPxP5Y1j0W(a,526),op_umQnsF7QlU(a,a)))

def op_count_uPHUoLFsCR(a):
    if a <= 252:
        count = op_count_0bdkhPtsnY(a)+op_count_VCG3UHNzLR(a,a)+op_count_AnPstFaJd9(op_VCG3UHNzLR(a,a))+op_count_UoVew8f2p2(op_0bdkhPtsnY(a),op_AnPstFaJd9(op_VCG3UHNzLR(a,a)))
    else:
        count = op_count_3tVxb0NHM4(a,a)+op_count_texHS70gxN(op_3tVxb0NHM4(a,a))+op_count_FPxP5Y1j0W(a,526)+op_count_umQnsF7QlU(a,a)+op_count_NTOWxs364D(op_FPxP5Y1j0W(a,526),op_umQnsF7QlU(a,a))+op_count_YSKBFp38Pu(op_texHS70gxN(op_3tVxb0NHM4(a,a)),op_NTOWxs364D(op_FPxP5Y1j0W(a,526),op_umQnsF7QlU(a,a)))
    return count


def op_7Ck9TqTIl2(a, b):
    if a >= 274:
        return op_dAAkup5nzi(2,op_S7Dkc5Re0B(287))
    else:
        return b

def op_count_7Ck9TqTIl2(a, b):
    if a >= 274:
        count = op_count_S7Dkc5Re0B(287)+op_count_dAAkup5nzi(2,op_S7Dkc5Re0B(287))
    else:
        count = 1
    return count


def op_ns9WHXQr9V(a):
    if (op_OWnFPqjWlR(a,625) == 207 and a >= 315 and a > 208):
        return op_ar1w6gUwHX(op_rPNtK4BLRO(a,op_SpZWOsLKZJ(a)),op_k2HlF1dBQh(op_Qaz2MhZaG5(7,a)))
    else:
        return op_D3AQDKkPcf(op_sM9mzqIDB1(op_QvoQhV0rrE(121,a),op_XnXgA4xnOs(a,a)),op_HrjLwUk87U(op_tifHPKVTfV(a,a),op_YC3tgrnOyr(605,a)))

def op_count_ns9WHXQr9V(a):
    if (op_OWnFPqjWlR(a,625) == 207 and a >= 315 and a > 208):
        count = op_count_SpZWOsLKZJ(a)+op_count_rPNtK4BLRO(a,op_SpZWOsLKZJ(a))+op_count_Qaz2MhZaG5(7,a)+op_count_k2HlF1dBQh(op_Qaz2MhZaG5(7,a))+op_count_ar1w6gUwHX(op_rPNtK4BLRO(a,op_SpZWOsLKZJ(a)),op_k2HlF1dBQh(op_Qaz2MhZaG5(7,a)))+op_count_OWnFPqjWlR(a,625)
    else:
        count = op_count_QvoQhV0rrE(121,a)+op_count_XnXgA4xnOs(a,a)+op_count_sM9mzqIDB1(op_QvoQhV0rrE(121,a),op_XnXgA4xnOs(a,a))+op_count_tifHPKVTfV(a,a)+op_count_YC3tgrnOyr(605,a)+op_count_HrjLwUk87U(op_tifHPKVTfV(a,a),op_YC3tgrnOyr(605,a))+op_count_D3AQDKkPcf(op_sM9mzqIDB1(op_QvoQhV0rrE(121,a),op_XnXgA4xnOs(a,a)),op_HrjLwUk87U(op_tifHPKVTfV(a,a),op_YC3tgrnOyr(605,a)))
    return count


a⩟⊕⊵b = { (a∭) , if a>51 ; (b+a) , else }

def op_kjKFno67uy(a, b):
    if a > 51:
        return op_qLBMy5fcJr(a)
    else:
        return op_W4YGzv6Whe(b,a)

def op_count_kjKFno67uy(a, b):
    if a > 51:
        count = op_count_qLBMy5fcJr(a)
    else:
        count = op_count_W4YGzv6Whe(b,a)
    return count


a⋗⩹⩓b = { ((⨡↴a)⊉≛↸(a⊓≱167)) , if b>942 ; b , else }

def op_EKLw81v4Z3(a, b):
    if b > 942:
        return op_DZ8iAZOCBD(op_liw5iZPkLH(a),op_VCG3UHNzLR(a,167))
    else:
        return b

def op_count_EKLw81v4Z3(a, b):
    if b > 942:
        count = op_count_liw5iZPkLH(a)+op_count_VCG3UHNzLR(a,167)+op_count_DZ8iAZOCBD(op_liw5iZPkLH(a),op_VCG3UHNzLR(a,167))
    else:
        count = 1
    return count


def op_UAnEl8RtiT(a, b):
    if op_fLGIAiPz9h(a) < 712:
        return op_cTDWOvIxvz(op_dfKe02y8D2(op_NdELin8EPX(125,508),op_OWnFPqjWlR(b,136)),op_NTOWxs364D(op_5twsqlHp2o(b,a),op_QvoQhV0rrE(a,a)))
    else:
        return op_NrdPCfJQiM(op_bQ67fsrMVf(op_KWeyIRWUIQ(593)),op_7j4O788W3g(op_th50nGnoUm(a),op_2DDjHMKMc0(a,a)))

def op_count_UAnEl8RtiT(a, b):
    if op_fLGIAiPz9h(a) < 712:
        count = op_count_NdELin8EPX(125,508)+op_count_OWnFPqjWlR(b,136)+op_count_dfKe02y8D2(op_NdELin8EPX(125,508),op_OWnFPqjWlR(b,136))+op_count_5twsqlHp2o(b,a)+op_count_QvoQhV0rrE(a,a)+op_count_NTOWxs364D(op_5twsqlHp2o(b,a),op_QvoQhV0rrE(a,a))+op_count_cTDWOvIxvz(op_dfKe02y8D2(op_NdELin8EPX(125,508),op_OWnFPqjWlR(b,136)),op_NTOWxs364D(op_5twsqlHp2o(b,a),op_QvoQhV0rrE(a,a)))+op_count_fLGIAiPz9h(a)
    else:
        count = op_count_KWeyIRWUIQ(593)+op_count_bQ67fsrMVf(op_KWeyIRWUIQ(593))+op_count_th50nGnoUm(a)+op_count_2DDjHMKMc0(a,a)+op_count_7j4O788W3g(op_th50nGnoUm(a),op_2DDjHMKMc0(a,a))+op_count_NrdPCfJQiM(op_bQ67fsrMVf(op_KWeyIRWUIQ(593)),op_7j4O788W3g(op_th50nGnoUm(a),op_2DDjHMKMc0(a,a)))
    return count


def op_ZilkyjA8lc(a, b):
    if op_pRsWfj4Fpp(b) <= 525:
        return op_3EhVUz7Ug9(a)
    else:
        return op_uysxUYN2L2(op_ObEyaaML9x(b,b),op_inCIaGQf8u(b,581))

def op_count_ZilkyjA8lc(a, b):
    if op_pRsWfj4Fpp(b) <= 525:
        count = op_count_3EhVUz7Ug9(a)+op_count_pRsWfj4Fpp(b)
    else:
        count = op_count_ObEyaaML9x(b,b)+op_count_inCIaGQf8u(b,581)+op_count_uysxUYN2L2(op_ObEyaaML9x(b,b),op_inCIaGQf8u(b,581))
    return count


a⨍∺∨ = { (a⪍↜⋙a) , if (a⪢⋭)>311 ; (a⪕129) , else }

def op_2kFdOADONl(a):
    if op_csT5a4elgc(a) > 311:
        return op_L05ObWFQCd(a,a)
    else:
        return op_umQnsF7QlU(a,129)

def op_count_2kFdOADONl(a):
    if op_csT5a4elgc(a) > 311:
        count = op_count_L05ObWFQCd(a,a)+op_count_csT5a4elgc(a)
    else:
        count = op_count_umQnsF7QlU(a,129)
    return count


a⩾↬b = { (⫊≏⨉(⩪∧⨌b)) , if a>=566 ; (((b⨱∎)∌↝(201⇟⨁⪰))∲⫑(≦(b⇌⫙⪟b))) , else }

def op_Mok0FjNIvH(a, b):
    if a >= 566:
        return op_KED7KUUlGq(op_6iOiAJX1F8(b))
    else:
        return op_NrdPCfJQiM(op_9Isq31Ruls(op_MmTdOpaElr(b),op_BX1lVwlMe0(201)),op_RPa3726CSl(op_AFVx7xoS7T(b,b)))

def op_count_Mok0FjNIvH(a, b):
    if a >= 566:
        count = op_count_6iOiAJX1F8(b)+op_count_KED7KUUlGq(op_6iOiAJX1F8(b))
    else:
        count = op_count_MmTdOpaElr(b)+op_count_BX1lVwlMe0(201)+op_count_9Isq31Ruls(op_MmTdOpaElr(b),op_BX1lVwlMe0(201))+op_count_AFVx7xoS7T(b,b)+op_count_RPa3726CSl(op_AFVx7xoS7T(b,b))+op_count_NrdPCfJQiM(op_9Isq31Ruls(op_MmTdOpaElr(b),op_BX1lVwlMe0(201)),op_RPa3726CSl(op_AFVx7xoS7T(b,b)))
    return count


a⨀⪀⨓b = { ((b∠↢b)⇼⇔∾(b⩷∴b)) , if (a⩟)>=466 ; ((⊤b)∅(32⋥≓≎b)) , else }

def op_LnO038Eblv(a, b):
    if op_fOIeswaMU4(a) >= 466:
        return op_tifHPKVTfV(op_KbjG8mgYpV(b,b),op_9FxExcQeMw(b,b))
    else:
        return op_giaUb8UVhq(op_oDvtRyfmAM(b),op_Qy55tPpLXF(32,b))

def op_count_LnO038Eblv(a, b):
    if op_fOIeswaMU4(a) >= 466:
        count = op_count_KbjG8mgYpV(b,b)+op_count_9FxExcQeMw(b,b)+op_count_tifHPKVTfV(op_KbjG8mgYpV(b,b),op_9FxExcQeMw(b,b))+op_count_fOIeswaMU4(a)
    else:
        count = op_count_oDvtRyfmAM(b)+op_count_Qy55tPpLXF(32,b)+op_count_giaUb8UVhq(op_oDvtRyfmAM(b),op_Qy55tPpLXF(32,b))
    return count


⋱a = { (a↨⪍≴a) , if a==18 or a>=841 ; (a⨝⩣∺) , else }

def op_3HKsHe9krx(a):
    if a == 18 or a >= 841:
        return op_DX7B1fY6P6(a,a)
    else:
        return op_ancx8kZcWl(a)

def op_count_3HKsHe9krx(a):
    if a == 18 or a >= 841:
        count = op_count_DX7B1fY6P6(a,a)
    else:
        count = op_count_ancx8kZcWl(a)
    return count


⫥⊃a = { (⪸(↖∇⇑a)) , if (a>=103 and (⇺⪔⩬a)==263) ; (⫟(a≧⫂∧a)) , else }

def op_FcFIThd5eN(a):
    if (a >= 103 and op_lAOUD4ZMWV(a) == 263):
        return op_86A5ENbKR9(op_th50nGnoUm(a))
    else:
        return op_z4E1FaHLuy(op_Ph9nP6C5qx(a,a))

def op_count_FcFIThd5eN(a):
    if (a >= 103 and op_lAOUD4ZMWV(a) == 263):
        count = op_count_th50nGnoUm(a)+op_count_86A5ENbKR9(op_th50nGnoUm(a))+op_count_lAOUD4ZMWV(a)
    else:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_z4E1FaHLuy(op_Ph9nP6C5qx(a,a))
    return count


def op_nCZMjqzUAG(a):
    if (a <= 135 and a < 111):
        return op_HrjLwUk87U(a,6)
    else:
        return op_B3sABdIn96(a)

def op_count_nCZMjqzUAG(a):
    if (a <= 135 and a < 111):
        count = op_count_HrjLwUk87U(a,6)
    else:
        count = op_count_B3sABdIn96(a)
    return count


def op_ZHPPSMsMp2(a):
    if a == 89:
        return op_cTDWOvIxvz(op_inCIaGQf8u(a,a),op_Bmrmz2XGnR(a,74))
    else:
        return op_u6S6b8DprG(op_620seOwKww(180))

def op_count_ZHPPSMsMp2(a):
    if a == 89:
        count = op_count_inCIaGQf8u(a,a)+op_count_Bmrmz2XGnR(a,74)+op_count_cTDWOvIxvz(op_inCIaGQf8u(a,a),op_Bmrmz2XGnR(a,74))
    else:
        count = op_count_620seOwKww(180)+op_count_u6S6b8DprG(op_620seOwKww(180))
    return count


def op_25jDJzUX4z(a, b):
    if b < 82:
        return b
    else:
        return op_tnyRA5sazQ(b,a)

def op_count_25jDJzUX4z(a, b):
    if b < 82:
        count = 1
    else:
        count = op_count_tnyRA5sazQ(b,a)
    return count


a≯∀⋝ = { (↓⇌((a∏⇴a)+(a⊦⊿))) , if (a⨣∐↬90)<=537 ; ((a⩤∜↚(a⊉↱≁a))⫠↝⫳) , else }

def op_CId4SrfWPi(a):
    if op_UpkSd4zESC(a,90) <= 537:
        return op_PxpmPgHHJV(op_W4YGzv6Whe(op_Rw46J52cBJ(a,a),op_14qkJME0vr(a)))
    else:
        return op_8n5YIzOsVS(op_KROiRRz3d6(a,op_w2P8NbNXyL(a,a)))

def op_count_CId4SrfWPi(a):
    if op_UpkSd4zESC(a,90) <= 537:
        count = op_count_Rw46J52cBJ(a,a)+op_count_14qkJME0vr(a)+op_count_W4YGzv6Whe(op_Rw46J52cBJ(a,a),op_14qkJME0vr(a))+op_count_PxpmPgHHJV(op_W4YGzv6Whe(op_Rw46J52cBJ(a,a),op_14qkJME0vr(a)))+op_count_UpkSd4zESC(a,90)
    else:
        count = op_count_w2P8NbNXyL(a,a)+op_count_KROiRRz3d6(a,op_w2P8NbNXyL(a,a))+op_count_8n5YIzOsVS(op_KROiRRz3d6(a,op_w2P8NbNXyL(a,a)))
    return count


def op_r1wsaOI97t(a):
    if a <= 522:
        return op_ut0Nd8ObBp(a)
    else:
        return a

def op_count_r1wsaOI97t(a):
    if a <= 522:
        count = op_count_ut0Nd8ObBp(a)
    else:
        count = 1
    return count


def op_8Rbqmg3L2h(a):
    if a != 187:
        return op_1h0rLqGiFr(a)
    else:
        return op_GMN7JP6WpN(a,264)

def op_count_8Rbqmg3L2h(a):
    if a != 187:
        count = op_count_1h0rLqGiFr(a)
    else:
        count = op_count_GMN7JP6WpN(a,264)
    return count


a⫭⋕b = { ((a⋐≟⩺a)⩦(∓a)) , if a>=44 ; ((a⊢≏≾49)↹⊜(a∑b)) , else }

def op_d23X9ho1m8(a, b):
    if a >= 44:
        return op_0kmYd0q39Y(op_PjbVkMzmXE(a,a),op_OwUj7dcsQK(a))
    else:
        return op_9bazX3JMtO(op_qxqspddX8k(a,49),op_JFrVJKYFMX(a,b))

def op_count_d23X9ho1m8(a, b):
    if a >= 44:
        count = op_count_PjbVkMzmXE(a,a)+op_count_OwUj7dcsQK(a)+op_count_0kmYd0q39Y(op_PjbVkMzmXE(a,a),op_OwUj7dcsQK(a))
    else:
        count = op_count_qxqspddX8k(a,49)+op_count_JFrVJKYFMX(a,b)+op_count_9bazX3JMtO(op_qxqspddX8k(a,49),op_JFrVJKYFMX(a,b))
    return count


a∿⊵⋹b = { (((a∽a)-∠(385⫭))⇄((a⩼⇪↪a)⋂⩴(⫦≽⪐b))) , if (⩦⊞b)<=1 ; (((a⪕b)↺(a≶a))⩘⋿((↥≼⋛b)⩒⫫(b⩤∜↚a))) , else }

def op_k8X3umw52W(a, b):
    if op_u7fv1HBiaC(b) <= 1:
        return op_3EYGwJThht(op_s0IfDFCCuZ(op_y4ImoPnbV5(a,a),op_t4WUHVGj7f(385)),op_hmlrMsD2PO(op_ocnLzx9CaJ(a,a),op_fjqJgF5yyp(b)))
    else:
        return op_64EQ39e0fC(op_7j4O788W3g(op_umQnsF7QlU(a,b),op_Q2SPaKwpPJ(a,a)),op_KFSx94NKJn(op_x5lMkHmzsq(b),op_KROiRRz3d6(b,a)))

def op_count_k8X3umw52W(a, b):
    if op_u7fv1HBiaC(b) <= 1:
        count = op_count_y4ImoPnbV5(a,a)+op_count_t4WUHVGj7f(385)+op_count_s0IfDFCCuZ(op_y4ImoPnbV5(a,a),op_t4WUHVGj7f(385))+op_count_ocnLzx9CaJ(a,a)+op_count_fjqJgF5yyp(b)+op_count_hmlrMsD2PO(op_ocnLzx9CaJ(a,a),op_fjqJgF5yyp(b))+op_count_3EYGwJThht(op_s0IfDFCCuZ(op_y4ImoPnbV5(a,a),op_t4WUHVGj7f(385)),op_hmlrMsD2PO(op_ocnLzx9CaJ(a,a),op_fjqJgF5yyp(b)))+op_count_u7fv1HBiaC(b)
    else:
        count = op_count_umQnsF7QlU(a,b)+op_count_Q2SPaKwpPJ(a,a)+op_count_7j4O788W3g(op_umQnsF7QlU(a,b),op_Q2SPaKwpPJ(a,a))+op_count_x5lMkHmzsq(b)+op_count_KROiRRz3d6(b,a)+op_count_KFSx94NKJn(op_x5lMkHmzsq(b),op_KROiRRz3d6(b,a))+op_count_64EQ39e0fC(op_7j4O788W3g(op_umQnsF7QlU(a,b),op_Q2SPaKwpPJ(a,a)),op_KFSx94NKJn(op_x5lMkHmzsq(b),op_KROiRRz3d6(b,a)))
    return count


⫹⋆⫒a = { a , if a<=94 ; ((⨩∲⋌a)⫯⪬∳(271∴a)) , else }

def op_FKWqyFISdc(a):
    if a <= 94:
        return a
    else:
        return op_d7ASUq0ydm(op_aSik1wnThz(a),op_hrf7POJlIJ(271,a))

def op_count_FKWqyFISdc(a):
    if a <= 94:
        count = 1
    else:
        count = op_count_aSik1wnThz(a)+op_count_hrf7POJlIJ(271,a)+op_count_d7ASUq0ydm(op_aSik1wnThz(a),op_hrf7POJlIJ(271,a))
    return count


≨⫙a = { ((a-a)⫦∱⫙) , if (a⇑∁⪛)==5 ; ((a⨰↻⪇161)↙↠) , else }

def op_CcmqrEB6V7(a):
    if op_P75hhshrwX(a) == 5:
        return op_tHMVLcQ9bH(op_rysDP5nf3Z(a,a))
    else:
        return op_texHS70gxN(op_nbuSfrB4hB(a,161))

def op_count_CcmqrEB6V7(a):
    if op_P75hhshrwX(a) == 5:
        count = op_count_rysDP5nf3Z(a,a)+op_count_tHMVLcQ9bH(op_rysDP5nf3Z(a,a))+op_count_P75hhshrwX(a)
    else:
        count = op_count_nbuSfrB4hB(a,161)+op_count_texHS70gxN(op_nbuSfrB4hB(a,161))
    return count


a⊈⋜⋼b = { b , if (↪⨀b)>11 ; (⨾∊⩁(a⪊≅)) , else }

def op_92pAIinIZa(a, b):
    if op_t0cKpDWDXO(b) > 11:
        return b
    else:
        return op_QErWpSDGk0(op_bjFbhXSADs(a))

def op_count_92pAIinIZa(a, b):
    if op_t0cKpDWDXO(b) > 11:
        count = 1
    else:
        count = op_count_bjFbhXSADs(a)+op_count_QErWpSDGk0(op_bjFbhXSADs(a))
    return count


↚⫯a = { ((a∴a)≚⊃≕(a⩘⋿a)) , if (⇻⫵a)==106 ; ((⊁⨺106)⇖↽(62⫚↹⊑a)) , else }

def op_NRH4DvNg9d(a):
    if op_Wm7LHi3c8p(a) == 106:
        return op_Bmrmz2XGnR(op_hrf7POJlIJ(a,a),op_64EQ39e0fC(a,a))
    else:
        return op_cwbF3JtlMN(op_PxiHyQbrIp(106),op_dfKe02y8D2(62,a))

def op_count_NRH4DvNg9d(a):
    if op_Wm7LHi3c8p(a) == 106:
        count = op_count_hrf7POJlIJ(a,a)+op_count_64EQ39e0fC(a,a)+op_count_Bmrmz2XGnR(op_hrf7POJlIJ(a,a),op_64EQ39e0fC(a,a))+op_count_Wm7LHi3c8p(a)
    else:
        count = op_count_PxiHyQbrIp(106)+op_count_dfKe02y8D2(62,a)+op_count_cwbF3JtlMN(op_PxiHyQbrIp(106),op_dfKe02y8D2(62,a))
    return count


a⪤≌ = { (⊙⨙⩍a) , if (a⫚⫇)>696 ; (a⇖↽a) , else }

def op_atKpLLnrfM(a):
    if op_SdCjLnB6rR(a) > 696:
        return op_ocpzidtxKt(a)
    else:
        return op_cwbF3JtlMN(a,a)

def op_count_atKpLLnrfM(a):
    if op_SdCjLnB6rR(a) > 696:
        count = op_count_ocpzidtxKt(a)+op_count_SdCjLnB6rR(a)
    else:
        count = op_count_cwbF3JtlMN(a,a)
    return count


a≾⫖⫗ = { ((a⊩≵⪔)∇⊂⋱(∥⊫68)) , if (a⊩≵⪔)>=208 ; ((a⫏↛⩏a)≣(a≭⫡a)) , else }

def op_op6w1lxe4Q(a):
    if op_aDRGw0okjd(a) >= 208:
        return op_nhYeJWJD5X(op_aDRGw0okjd(a),op_P8v4zCKN1o(68))
    else:
        return op_ObEyaaML9x(op_YC3tgrnOyr(a,a),op_b1mGkbI4Oy(a,a))

def op_count_op6w1lxe4Q(a):
    if op_aDRGw0okjd(a) >= 208:
        count = op_count_aDRGw0okjd(a)+op_count_P8v4zCKN1o(68)+op_count_nhYeJWJD5X(op_aDRGw0okjd(a),op_P8v4zCKN1o(68))+op_count_aDRGw0okjd(a)
    else:
        count = op_count_YC3tgrnOyr(a,a)+op_count_b1mGkbI4Oy(a,a)+op_count_ObEyaaML9x(op_YC3tgrnOyr(a,a),op_b1mGkbI4Oy(a,a))
    return count


a⩸∪⋾ = { (⊈((a⊚⫡⫭)⪇≇⋚(a≼a))) , if (⩪⩔a)>=349 ; ((⊄⩳↩(↰⫏a))⇅) , else }

def op_YfD4cHFEui(a):
    if op_Siyfjn51pv(a) >= 349:
        return op_RHru8klgy8(op_3sJ7IOPOlU(op_SpZWOsLKZJ(a),op_SPuZE40Ntn(a,a)))
    else:
        return op_oH594TLvBK(op_8w2t5hMYqp(op_UeUK5QjOtW(a)))

def op_count_YfD4cHFEui(a):
    if op_Siyfjn51pv(a) >= 349:
        count = op_count_SpZWOsLKZJ(a)+op_count_SPuZE40Ntn(a,a)+op_count_3sJ7IOPOlU(op_SpZWOsLKZJ(a),op_SPuZE40Ntn(a,a))+op_count_RHru8klgy8(op_3sJ7IOPOlU(op_SpZWOsLKZJ(a),op_SPuZE40Ntn(a,a)))+op_count_Siyfjn51pv(a)
    else:
        count = op_count_UeUK5QjOtW(a)+op_count_8w2t5hMYqp(op_UeUK5QjOtW(a))+op_count_oH594TLvBK(op_8w2t5hMYqp(op_UeUK5QjOtW(a)))
    return count


def op_bgq2XZ6hDa(a):
    if a == 324 and a < 337:
        return op_18saOjeKKm(op_R3vAdrE3IH(a))
    else:
        return op_QMFrweE19q(op_E4l6HwMY31(op_AF7qkfDlqP(323),a),op_S3tN1ZzpSt(op_m612RDITqL(a,a),a))

def op_count_bgq2XZ6hDa(a):
    if a == 324 and a < 337:
        count = op_count_R3vAdrE3IH(a)+op_count_18saOjeKKm(op_R3vAdrE3IH(a))
    else:
        count = op_count_AF7qkfDlqP(323)+op_count_E4l6HwMY31(op_AF7qkfDlqP(323),a)+op_count_m612RDITqL(a,a)+op_count_S3tN1ZzpSt(op_m612RDITqL(a,a),a)+op_count_QMFrweE19q(op_E4l6HwMY31(op_AF7qkfDlqP(323),a),op_S3tN1ZzpSt(op_m612RDITqL(a,a),a))
    return count


⩼↹a = { ((↓⇌(a⋐≟⩺6))⊉↱≁((a⩚⊴⇥a)⪁⨴⋨(a⪒a))) , if (a≟⫹429)!=265 ; ((≛a)∇⊂⋱((⪆a)⨵⪆(a⊢a))) , else }

def op_D12pVJZ2CB(a):
    if op_z2JHNkvbdm(a,429) != 265:
        return op_w2P8NbNXyL(op_PxpmPgHHJV(op_PjbVkMzmXE(a,6)),op_y2kQTS4a70(op_NTOWxs364D(a,a),op_f6k1SAg4EE(a,a)))
    else:
        return op_nhYeJWJD5X(op_W7eaUhjymW(a),op_2DQ55sFlQl(op_KWeyIRWUIQ(a),op_5twsqlHp2o(a,a)))

def op_count_D12pVJZ2CB(a):
    if op_z2JHNkvbdm(a,429) != 265:
        count = op_count_PjbVkMzmXE(a,6)+op_count_PxpmPgHHJV(op_PjbVkMzmXE(a,6))+op_count_NTOWxs364D(a,a)+op_count_f6k1SAg4EE(a,a)+op_count_y2kQTS4a70(op_NTOWxs364D(a,a),op_f6k1SAg4EE(a,a))+op_count_w2P8NbNXyL(op_PxpmPgHHJV(op_PjbVkMzmXE(a,6)),op_y2kQTS4a70(op_NTOWxs364D(a,a),op_f6k1SAg4EE(a,a)))+op_count_z2JHNkvbdm(a,429)
    else:
        count = op_count_W7eaUhjymW(a)+op_count_KWeyIRWUIQ(a)+op_count_5twsqlHp2o(a,a)+op_count_2DQ55sFlQl(op_KWeyIRWUIQ(a),op_5twsqlHp2o(a,a))+op_count_nhYeJWJD5X(op_W7eaUhjymW(a),op_2DQ55sFlQl(op_KWeyIRWUIQ(a),op_5twsqlHp2o(a,a)))
    return count


def op_5TG5Qc2aJX(a):
    if op_COABgblf1C(a,281) <= 330:
        return a
    else:
        return op_KYL1uVeVpb(16,a)

def op_count_5TG5Qc2aJX(a):
    if op_COABgblf1C(a,281) <= 330:
        count = 1
    else:
        count = op_count_KYL1uVeVpb(16,a)
    return count


a⊕⫺b = { (b↮⪈⫰) , if (b∫≲⋬)<=19 ; (b⨜⇔a) , else }

def op_H6S8IR817C(a, b):
    if op_DNmMwa48aR(b) <= 19:
        return op_MKpoIoBJCf(b)
    else:
        return op_Sq3AGanRSD(b,a)

def op_count_H6S8IR817C(a, b):
    if op_DNmMwa48aR(b) <= 19:
        count = op_count_MKpoIoBJCf(b)+op_count_DNmMwa48aR(b)
    else:
        count = op_count_Sq3AGanRSD(b,a)
    return count


a⊤∬b = { (((⪲⇎b)⪿⇪⊩(b⫶153))≗⫍) , if b!=246 ; ((∋∴(b≣a))⊒((a≚⊃≕b)∝(b⫗⊒⇾35))) , else }

def op_5WBlwMsBj2(a, b):
    if b != 246:
        return op_7Nd029Vx1U(op_OGWBzMv138(op_XPYlsWDdGa(b),op_BAIXFdYaz3(b,153)))
    else:
        return op_rPNtK4BLRO(op_nouZ5SZjt1(op_ObEyaaML9x(b,a)),op_cTDWOvIxvz(op_Bmrmz2XGnR(a,b),op_hiBDRd40bf(b,35)))

def op_count_5WBlwMsBj2(a, b):
    if b != 246:
        count = op_count_XPYlsWDdGa(b)+op_count_BAIXFdYaz3(b,153)+op_count_OGWBzMv138(op_XPYlsWDdGa(b),op_BAIXFdYaz3(b,153))+op_count_7Nd029Vx1U(op_OGWBzMv138(op_XPYlsWDdGa(b),op_BAIXFdYaz3(b,153)))
    else:
        count = op_count_ObEyaaML9x(b,a)+op_count_nouZ5SZjt1(op_ObEyaaML9x(b,a))+op_count_Bmrmz2XGnR(a,b)+op_count_hiBDRd40bf(b,35)+op_count_cTDWOvIxvz(op_Bmrmz2XGnR(a,b),op_hiBDRd40bf(b,35))+op_count_rPNtK4BLRO(op_nouZ5SZjt1(op_ObEyaaML9x(b,a)),op_cTDWOvIxvz(op_Bmrmz2XGnR(a,b),op_hiBDRd40bf(b,35)))
    return count


a⩉≙⋏b = { a , if a>=472 ; (((⩷a)⪲⨢(b⪚⨁⋖a))⫭) , else }

def op_K6E8QFs5tY(a, b):
    if a >= 472:
        return a
    else:
        return op_t4WUHVGj7f(op_6iafYuwGo8(op_1h0rLqGiFr(a),op_xSk1F0pZbF(b,a)))

def op_count_K6E8QFs5tY(a, b):
    if a >= 472:
        count = 1
    else:
        count = op_count_1h0rLqGiFr(a)+op_count_xSk1F0pZbF(b,a)+op_count_6iafYuwGo8(op_1h0rLqGiFr(a),op_xSk1F0pZbF(b,a))+op_count_t4WUHVGj7f(op_6iafYuwGo8(op_1h0rLqGiFr(a),op_xSk1F0pZbF(b,a)))
    return count


def op_BnmjcH64ep(a, b):
    if (a <= 588 or b > 44):
        return op_Y9dhGmbGii(490)
    else:
        return op_giaUb8UVhq(b,b)

def op_count_BnmjcH64ep(a, b):
    if (a <= 588 or b > 44):
        count = op_count_Y9dhGmbGii(490)
    else:
        count = op_count_giaUb8UVhq(b,b)
    return count


def op_Yrb6ZMzTIl(a):
    if op_ut0Nd8ObBp(a) >= 698:
        return op_6LuFrogppQ(op_s3Fd5m9Dh2(a,a))
    else:
        return op_7j4O788W3g(672,op_j4geBLYVFK(504))

def op_count_Yrb6ZMzTIl(a):
    if op_ut0Nd8ObBp(a) >= 698:
        count = op_count_s3Fd5m9Dh2(a,a)+op_count_6LuFrogppQ(op_s3Fd5m9Dh2(a,a))+op_count_ut0Nd8ObBp(a)
    else:
        count = op_count_j4geBLYVFK(504)+op_count_7j4O788W3g(672,op_j4geBLYVFK(504))
    return count


a⪶b = { ((b∷a)∄(≎↾b)) , if (b⨝⩣∺)<25 ; ((a⪹)⇄a) , else }

def op_NvEvKO2R8S(a, b):
    if op_ancx8kZcWl(b) < 25:
        return op_tnyRA5sazQ(op_D3AQDKkPcf(b,a),op_S56z7WVPBn(b))
    else:
        return op_3EYGwJThht(op_B3sABdIn96(a),a)

def op_count_NvEvKO2R8S(a, b):
    if op_ancx8kZcWl(b) < 25:
        count = op_count_D3AQDKkPcf(b,a)+op_count_S56z7WVPBn(b)+op_count_tnyRA5sazQ(op_D3AQDKkPcf(b,a),op_S56z7WVPBn(b))+op_count_ancx8kZcWl(b)
    else:
        count = op_count_B3sABdIn96(a)+op_count_3EYGwJThht(op_B3sABdIn96(a),a)
    return count


def op_lbwCMbH8Kj(a):
    if op_B4c4JXCTtZ(a) >= 198:
        return op_texHS70gxN(op_LmY23Q1aIi(a))
    else:
        return op_DmTXOeWf9t(op_rysDP5nf3Z(490,a),op_d7ASUq0ydm(a,a))

def op_count_lbwCMbH8Kj(a):
    if op_B4c4JXCTtZ(a) >= 198:
        count = op_count_LmY23Q1aIi(a)+op_count_texHS70gxN(op_LmY23Q1aIi(a))+op_count_B4c4JXCTtZ(a)
    else:
        count = op_count_rysDP5nf3Z(490,a)+op_count_d7ASUq0ydm(a,a)+op_count_DmTXOeWf9t(op_rysDP5nf3Z(490,a),op_d7ASUq0ydm(a,a))
    return count


def op_Es8UyEPW03(a, b):
    if b < 242:
        return op_23Mk6UjR3U(a,130)
    else:
        return op_YjI8oCXuph(b)

def op_count_Es8UyEPW03(a, b):
    if b < 242:
        count = op_count_23Mk6UjR3U(a,130)
    else:
        count = op_count_YjI8oCXuph(b)
    return count


def op_xIN6P3ZM4f(a, b):
    if (a >= 43 or b <= 401):
        return op_s0IfDFCCuZ(op_WSbXXWOizJ(b,a),op_59igzFyhWz(b))
    else:
        return op_D3AQDKkPcf(op_zoVPnxeHJ3(a),185)

def op_count_xIN6P3ZM4f(a, b):
    if (a >= 43 or b <= 401):
        count = op_count_WSbXXWOizJ(b,a)+op_count_59igzFyhWz(b)+op_count_s0IfDFCCuZ(op_WSbXXWOizJ(b,a),op_59igzFyhWz(b))
    else:
        count = op_count_zoVPnxeHJ3(a)+op_count_D3AQDKkPcf(op_zoVPnxeHJ3(a),185)
    return count


a⫟⫧⇿b = { (((⩪⩔a)⪭(b⊚⫡⫭))≝⊿(⇖(⪭≋⋼a))) , if (-b)>=496 ; ((∯(a⨑⋨b))⨵⪆((139⊉↱≁a)⨑(⫡⇟⇯a))) , else }

def op_szI9a73H0x(a, b):
    if op_t8gj7n24qd(b) >= 496:
        return op_OKKcZfAt5B(op_j9kHMeSvPp(op_Siyfjn51pv(a),op_SpZWOsLKZJ(b)),op_tfWHHpNKUN(op_EZ6cjipfBz(a)))
    else:
        return op_2DQ55sFlQl(op_13TjBizFrQ(op_tIhPxZTbsh(a,b)),op_IxJHfR5psi(op_w2P8NbNXyL(139,a),op_qWUSsah53b(a)))

def op_count_szI9a73H0x(a, b):
    if op_t8gj7n24qd(b) >= 496:
        count = op_count_Siyfjn51pv(a)+op_count_SpZWOsLKZJ(b)+op_count_j9kHMeSvPp(op_Siyfjn51pv(a),op_SpZWOsLKZJ(b))+op_count_EZ6cjipfBz(a)+op_count_tfWHHpNKUN(op_EZ6cjipfBz(a))+op_count_OKKcZfAt5B(op_j9kHMeSvPp(op_Siyfjn51pv(a),op_SpZWOsLKZJ(b)),op_tfWHHpNKUN(op_EZ6cjipfBz(a)))+op_count_t8gj7n24qd(b)
    else:
        count = op_count_tIhPxZTbsh(a,b)+op_count_13TjBizFrQ(op_tIhPxZTbsh(a,b))+op_count_w2P8NbNXyL(139,a)+op_count_qWUSsah53b(a)+op_count_IxJHfR5psi(op_w2P8NbNXyL(139,a),op_qWUSsah53b(a))+op_count_2DQ55sFlQl(op_13TjBizFrQ(op_tIhPxZTbsh(a,b)),op_IxJHfR5psi(op_w2P8NbNXyL(139,a),op_qWUSsah53b(a)))
    return count


a⇞⊉↿b = { (⊫∐⫩((17⪈⋁⩁a)↺(b⨑≵⋬a))) , if (⪷∈↠a)>=117 ; ((⫄⋦≢a)∌↝((112≧⊼b)⪚(203∽b))) , else }

def op_bG3SoPrX0m(a, b):
    if op_Kn0TacbtGK(a) >= 117:
        return op_gSr4c7pPrV(op_7j4O788W3g(op_GMyVS5K48T(17,a),op_XnXgA4xnOs(b,a)))
    else:
        return op_9Isq31Ruls(op_4kvgVkQeiQ(a),op_HrjLwUk87U(op_JoLB3LXqXx(112,b),op_y4ImoPnbV5(203,b)))

def op_count_bG3SoPrX0m(a, b):
    if op_Kn0TacbtGK(a) >= 117:
        count = op_count_GMyVS5K48T(17,a)+op_count_XnXgA4xnOs(b,a)+op_count_7j4O788W3g(op_GMyVS5K48T(17,a),op_XnXgA4xnOs(b,a))+op_count_gSr4c7pPrV(op_7j4O788W3g(op_GMyVS5K48T(17,a),op_XnXgA4xnOs(b,a)))+op_count_Kn0TacbtGK(a)
    else:
        count = op_count_4kvgVkQeiQ(a)+op_count_JoLB3LXqXx(112,b)+op_count_y4ImoPnbV5(203,b)+op_count_HrjLwUk87U(op_JoLB3LXqXx(112,b),op_y4ImoPnbV5(203,b))+op_count_9Isq31Ruls(op_4kvgVkQeiQ(a),op_HrjLwUk87U(op_JoLB3LXqXx(112,b),op_y4ImoPnbV5(203,b)))
    return count


def op_Ci59WLJJ94(a):
    if a != 197:
        return op_S5ZFQS4GK3(op_3YWlZA9bsa(a,352),op_12rbrZMWeM(a,18))
    else:
        return op_8WDwsbhb0R(op_V4yb4KDoeF(a,a))

def op_count_Ci59WLJJ94(a):
    if a != 197:
        count = op_count_3YWlZA9bsa(a,352)+op_count_12rbrZMWeM(a,18)+op_count_S5ZFQS4GK3(op_3YWlZA9bsa(a,352),op_12rbrZMWeM(a,18))
    else:
        count = op_count_V4yb4KDoeF(a,a)+op_count_8WDwsbhb0R(op_V4yb4KDoeF(a,a))
    return count


def op_E7xopLvnHe(a, b):
    if op_H0pizIJMoW(b) != 537:
        return op_irKjLsMeKy(op_2GS7woTJqF(b,7),op_rysDP5nf3Z(833,a))
    else:
        return op_2Wsdkap16l(op_zFNL8mZEFB(b,b),op_B3sABdIn96(b))

def op_count_E7xopLvnHe(a, b):
    if op_H0pizIJMoW(b) != 537:
        count = op_count_2GS7woTJqF(b,7)+op_count_rysDP5nf3Z(833,a)+op_count_irKjLsMeKy(op_2GS7woTJqF(b,7),op_rysDP5nf3Z(833,a))+op_count_H0pizIJMoW(b)
    else:
        count = op_count_zFNL8mZEFB(b,b)+op_count_B3sABdIn96(b)+op_count_2Wsdkap16l(op_zFNL8mZEFB(b,b),op_B3sABdIn96(b))
    return count


a∊⊳∝b = { a , if (b⩂⊭⨚)>484 ; (⩕↛851) , else }

def op_6h8r4YZk7l(a, b):
    if op_PaBHOjxk8c(b) > 484:
        return a
    else:
        return op_3EhVUz7Ug9(851)

def op_count_6h8r4YZk7l(a, b):
    if op_PaBHOjxk8c(b) > 484:
        count = 1
    else:
        count = op_count_3EhVUz7Ug9(851)
    return count


a⇠⩎ = { (((a⪚⨁⋖127)⪱⇝(a⩆≶⊌))⨰((a→⨶⪴480)⨩≤⫤(a⪶≀⋏a))) , if a>165 ; (((a⊢a)⫯⪬∳(a⫸238))⪿⇪⊩(↩⪖(a⇔⨋))) , else }

def op_6fHIvV6xl0(a):
    if a > 165:
        return op_eewbuw0ToL(op_OTRTVPweYV(op_xSk1F0pZbF(a,127),op_PZaICrJanm(a)),op_neKQRQQIil(op_bF6eod5Gvf(a,480),op_zR4jO40bMj(a,a)))
    else:
        return op_OGWBzMv138(op_d7ASUq0ydm(op_5twsqlHp2o(a,a),op_Qaz2MhZaG5(a,238)),op_fG6uBQFnGz(op_uBihLCJcMX(a)))

def op_count_6fHIvV6xl0(a):
    if a > 165:
        count = op_count_xSk1F0pZbF(a,127)+op_count_PZaICrJanm(a)+op_count_OTRTVPweYV(op_xSk1F0pZbF(a,127),op_PZaICrJanm(a))+op_count_bF6eod5Gvf(a,480)+op_count_zR4jO40bMj(a,a)+op_count_neKQRQQIil(op_bF6eod5Gvf(a,480),op_zR4jO40bMj(a,a))+op_count_eewbuw0ToL(op_OTRTVPweYV(op_xSk1F0pZbF(a,127),op_PZaICrJanm(a)),op_neKQRQQIil(op_bF6eod5Gvf(a,480),op_zR4jO40bMj(a,a)))
    else:
        count = op_count_5twsqlHp2o(a,a)+op_count_Qaz2MhZaG5(a,238)+op_count_d7ASUq0ydm(op_5twsqlHp2o(a,a),op_Qaz2MhZaG5(a,238))+op_count_uBihLCJcMX(a)+op_count_fG6uBQFnGz(op_uBihLCJcMX(a))+op_count_OGWBzMv138(op_d7ASUq0ydm(op_5twsqlHp2o(a,a),op_Qaz2MhZaG5(a,238)),op_fG6uBQFnGz(op_uBihLCJcMX(a)))
    return count


def op_S6anzDtGf9(a, b):
    if op_7IPrd9c3lf(b) >= 183:
        return op_0kmYd0q39Y(a,208)
    else:
        return op_U9HvHqtOoq(116)

def op_count_S6anzDtGf9(a, b):
    if op_7IPrd9c3lf(b) >= 183:
        count = op_count_0kmYd0q39Y(a,208)+op_count_7IPrd9c3lf(b)
    else:
        count = op_count_U9HvHqtOoq(116)
    return count


a⋨⋛b = { ((b≽⪈↿a)≻⇥≳(a⪨a)) , if (a⋝⋈⪟828)>=317 ; ((a∼⇢a)⩌(a⩣⊵⩗b)) , else }

def op_G0iO3bCCZ3(a, b):
    if op_2DDjHMKMc0(a,828) >= 317:
        return op_aiqF8n6J9c(op_inCIaGQf8u(b,a),op_2z8nE7LpCu(a,a))
    else:
        return op_UoVew8f2p2(op_Cr5xnr8B4B(a,a),op_wsXFuL0hC6(a,b))

def op_count_G0iO3bCCZ3(a, b):
    if op_2DDjHMKMc0(a,828) >= 317:
        count = op_count_inCIaGQf8u(b,a)+op_count_2z8nE7LpCu(a,a)+op_count_aiqF8n6J9c(op_inCIaGQf8u(b,a),op_2z8nE7LpCu(a,a))+op_count_2DDjHMKMc0(a,828)
    else:
        count = op_count_Cr5xnr8B4B(a,a)+op_count_wsXFuL0hC6(a,b)+op_count_UoVew8f2p2(op_Cr5xnr8B4B(a,a),op_wsXFuL0hC6(a,b))
    return count


def op_B8FmB0RXNF(a, b):
    if b <= 48 or b < 357:
        return op_m612RDITqL(45,b)
    else:
        return op_fLGIAiPz9h(a)

def op_count_B8FmB0RXNF(a, b):
    if b <= 48 or b < 357:
        count = op_count_m612RDITqL(45,b)
    else:
        count = op_count_fLGIAiPz9h(a)
    return count


a⨥∖b = { ((b⇋≉)-(b⫏↛⩏a)) , if b<76 ; (⫄⋦≢(b∐⫣)) , else }

def op_VcI7WilXed(a, b):
    if b < 76:
        return op_rysDP5nf3Z(op_XIabStNQrY(b),op_YC3tgrnOyr(b,a))
    else:
        return op_4kvgVkQeiQ(op_4CyGpkTkEk(b))

def op_count_VcI7WilXed(a, b):
    if b < 76:
        count = op_count_XIabStNQrY(b)+op_count_YC3tgrnOyr(b,a)+op_count_rysDP5nf3Z(op_XIabStNQrY(b),op_YC3tgrnOyr(b,a))
    else:
        count = op_count_4CyGpkTkEk(b)+op_count_4kvgVkQeiQ(op_4CyGpkTkEk(b))
    return count


a↹⋇b = { (∋∴a) , if a<=614 ; (10⫗⊒⇾b) , else }

def op_W23Bqxq5lg(a, b):
    if a <= 614:
        return op_nouZ5SZjt1(a)
    else:
        return op_hiBDRd40bf(10,b)

def op_count_W23Bqxq5lg(a, b):
    if a <= 614:
        count = op_count_nouZ5SZjt1(a)
    else:
        count = op_count_hiBDRd40bf(10,b)
    return count


a⨆⋰⊆b = { b , if b!=288 ; ((a⪒b)⫰⋱(a↺a)) , else }

def op_B7fx9NtlGq(a, b):
    if b != 288:
        return b
    else:
        return op_6o9Blt3TJ6(op_f6k1SAg4EE(a,b),op_7j4O788W3g(a,a))

def op_count_B7fx9NtlGq(a, b):
    if b != 288:
        count = 1
    else:
        count = op_count_f6k1SAg4EE(a,b)+op_count_7j4O788W3g(a,a)+op_count_6o9Blt3TJ6(op_f6k1SAg4EE(a,b),op_7j4O788W3g(a,a))
    return count


a⨋b = { (b⫃⨇a) , if (b<=132 and b<=155) ; (a≐→⇾) , else }

def op_0LaBQbWfgF(a, b):
    if (b <= 132 and b <= 155):
        return op_09Ly4LVMIf(b,a)
    else:
        return op_zV3pqYiQ5E(a)

def op_count_0LaBQbWfgF(a, b):
    if (b <= 132 and b <= 155):
        count = op_count_09Ly4LVMIf(b,a)
    else:
        count = op_count_zV3pqYiQ5E(a)
    return count


def op_G4EbQfwSm2(a, b):
    if op_fLGIAiPz9h(b) <= 443:
        return op_d7ASUq0ydm(op_7j4O788W3g(b,556),op_AdZkA7nFnk(a,70))
    else:
        return op_S3tN1ZzpSt(op_d7ASUq0ydm(b,467),b)

def op_count_G4EbQfwSm2(a, b):
    if op_fLGIAiPz9h(b) <= 443:
        count = op_count_7j4O788W3g(b,556)+op_count_AdZkA7nFnk(a,70)+op_count_d7ASUq0ydm(op_7j4O788W3g(b,556),op_AdZkA7nFnk(a,70))+op_count_fLGIAiPz9h(b)
    else:
        count = op_count_d7ASUq0ydm(b,467)+op_count_S3tN1ZzpSt(op_d7ASUq0ydm(b,467),b)
    return count


a↭⪗b = { (((436⩌a)≏⨯⊱(b↪∷a))≧⫂∧(⇙⪊(a∊⊞≈b))) , if b>370 ; (((370⫏↛⩏b)⨔⊶↷(b⨰↻⪇b))≧⊼((b≽⊫)⇖↽(a⊝⪿⪼a))) , else }

def op_aLNRF0Pt4F(a, b):
    if b > 370:
        return op_Ph9nP6C5qx(op_UqUOXUQnbU(op_UoVew8f2p2(436,a),op_Api82iH42a(b,a)),op_pB6Fcnrjim(op_keuJNkrrbj(a,b)))
    else:
        return op_JoLB3LXqXx(op_WObL9SsYVE(op_YC3tgrnOyr(370,b),op_nbuSfrB4hB(b,b)),op_cwbF3JtlMN(op_H0pizIJMoW(b),op_3Oe9XWJUTD(a,a)))

def op_count_aLNRF0Pt4F(a, b):
    if b > 370:
        count = op_count_UoVew8f2p2(436,a)+op_count_Api82iH42a(b,a)+op_count_UqUOXUQnbU(op_UoVew8f2p2(436,a),op_Api82iH42a(b,a))+op_count_keuJNkrrbj(a,b)+op_count_pB6Fcnrjim(op_keuJNkrrbj(a,b))+op_count_Ph9nP6C5qx(op_UqUOXUQnbU(op_UoVew8f2p2(436,a),op_Api82iH42a(b,a)),op_pB6Fcnrjim(op_keuJNkrrbj(a,b)))
    else:
        count = op_count_YC3tgrnOyr(370,b)+op_count_nbuSfrB4hB(b,b)+op_count_WObL9SsYVE(op_YC3tgrnOyr(370,b),op_nbuSfrB4hB(b,b))+op_count_H0pizIJMoW(b)+op_count_3Oe9XWJUTD(a,a)+op_count_cwbF3JtlMN(op_H0pizIJMoW(b),op_3Oe9XWJUTD(a,a))+op_count_JoLB3LXqXx(op_WObL9SsYVE(op_YC3tgrnOyr(370,b),op_nbuSfrB4hB(b,b)),op_cwbF3JtlMN(op_H0pizIJMoW(b),op_3Oe9XWJUTD(a,a)))
    return count


def op_hYeRVcqlik(a, b):
    if op_Mp74FtG4yY(b) <= 68:
        return op_tnyRA5sazQ(op_ZNVVrZ94lY(a),op_xRrnTEsQ6j(424,171))
    else:
        return op_uysxUYN2L2(op_b1mGkbI4Oy(a,215),b)

def op_count_hYeRVcqlik(a, b):
    if op_Mp74FtG4yY(b) <= 68:
        count = op_count_ZNVVrZ94lY(a)+op_count_xRrnTEsQ6j(424,171)+op_count_tnyRA5sazQ(op_ZNVVrZ94lY(a),op_xRrnTEsQ6j(424,171))+op_count_Mp74FtG4yY(b)
    else:
        count = op_count_b1mGkbI4Oy(a,215)+op_count_uysxUYN2L2(op_b1mGkbI4Oy(a,215),b)
    return count


def op_kMX5G63lLu(a, b):
    if b <= 248 or a >= 340:
        return op_6MpZysEj17(336)
    else:
        return op_wsXFuL0hC6(200,a)

def op_count_kMX5G63lLu(a, b):
    if b <= 248 or a >= 340:
        count = op_count_6MpZysEj17(336)
    else:
        count = op_count_wsXFuL0hC6(200,a)
    return count


a⊝⪴↚b = { (a⨻⪊⨷b) , if (b⨙)>139 ; (⪁⇼472) , else }

def op_ZcEZS9J7rM(a, b):
    if op_rlpcYeipVY(b) > 139:
        return op_Pkwamo1tM2(a,b)
    else:
        return op_ZNVVrZ94lY(472)

def op_count_ZcEZS9J7rM(a, b):
    if op_rlpcYeipVY(b) > 139:
        count = op_count_Pkwamo1tM2(a,b)+op_count_rlpcYeipVY(b)
    else:
        count = op_count_ZNVVrZ94lY(472)
    return count


a∔∭⪄b = { ((↖∇⇑b)⨧((a⪒⊣⊆b)⪖⪡a)) , if ((a⇼⇔∾732)==140 or (b⊢)>65) ; (((b⊬⨰b)∄(a≽↲≰a))≽↲≰(⩯≢≕(⫇⨷a))) , else }

def op_FYxAUuNJ3U(a, b):
    if (op_tifHPKVTfV(a,732) == 140 or op_40aOVDgCDB(b) > 65):
        return op_3YWlZA9bsa(op_th50nGnoUm(b),op_7PjNe5qSIJ(op_eRqsBgTDFp(a,b),a))
    else:
        return op_cFVlceoRkX(op_tnyRA5sazQ(op_s3Fd5m9Dh2(b,b),op_cFVlceoRkX(a,a)),op_840vADziXz(op_ct1hK6qyRt(a)))

def op_count_FYxAUuNJ3U(a, b):
    if (op_tifHPKVTfV(a,732) == 140 or op_40aOVDgCDB(b) > 65):
        count = op_count_th50nGnoUm(b)+op_count_eRqsBgTDFp(a,b)+op_count_7PjNe5qSIJ(op_eRqsBgTDFp(a,b),a)+op_count_3YWlZA9bsa(op_th50nGnoUm(b),op_7PjNe5qSIJ(op_eRqsBgTDFp(a,b),a))+op_count_tifHPKVTfV(a,732)+op_count_40aOVDgCDB(b)
    else:
        count = op_count_s3Fd5m9Dh2(b,b)+op_count_cFVlceoRkX(a,a)+op_count_tnyRA5sazQ(op_s3Fd5m9Dh2(b,b),op_cFVlceoRkX(a,a))+op_count_ct1hK6qyRt(a)+op_count_840vADziXz(op_ct1hK6qyRt(a))+op_count_cFVlceoRkX(op_tnyRA5sazQ(op_s3Fd5m9Dh2(b,b),op_cFVlceoRkX(a,a)),op_840vADziXz(op_ct1hK6qyRt(a)))
    return count


⇻a = { a , if a<47 ; (∓⪦((a⩒⫫a)⨑≵⋬(≦a))) , else }

def op_hiLoF09tr3(a):
    if a < 47:
        return a
    else:
        return op_D309nIvmXG(op_XnXgA4xnOs(op_KFSx94NKJn(a,a),op_RPa3726CSl(a)))

def op_count_hiLoF09tr3(a):
    if a < 47:
        count = 1
    else:
        count = op_count_KFSx94NKJn(a,a)+op_count_RPa3726CSl(a)+op_count_XnXgA4xnOs(op_KFSx94NKJn(a,a),op_RPa3726CSl(a))+op_count_D309nIvmXG(op_XnXgA4xnOs(op_KFSx94NKJn(a,a),op_RPa3726CSl(a)))
    return count


def op_0MmFDdeb7B(a, b):
    if op_z4E1FaHLuy(b) != 7 and op_oH594TLvBK(b) <= 447:
        return op_rIsGeVJWJF(op_XZxEnkN3N0(a))
    else:
        return op_eewbuw0ToL(op_WR6HLWljOP(b,472),op_0JWJYFSzIQ(b,a))

def op_count_0MmFDdeb7B(a, b):
    if op_z4E1FaHLuy(b) != 7 and op_oH594TLvBK(b) <= 447:
        count = op_count_XZxEnkN3N0(a)+op_count_rIsGeVJWJF(op_XZxEnkN3N0(a))+op_count_z4E1FaHLuy(b)+op_count_oH594TLvBK(b)
    else:
        count = op_count_WR6HLWljOP(b,472)+op_count_0JWJYFSzIQ(b,a)+op_count_eewbuw0ToL(op_WR6HLWljOP(b,472),op_0JWJYFSzIQ(b,a))
    return count


def op_6R1J4BifJJ(a, b):
    if (a != 405 and op_OGWBzMv138(a,521) > 261):
        return op_m612RDITqL(op_EWw2JM7wp4(op_QErWpSDGk0(555),op_ap3xiM279w(a,b)),op_P8v4zCKN1o(op_4JB6nKBMSY(b,a)))
    else:
        return op_QErWpSDGk0(op_6LuFrogppQ(op_HmxsFra2vL(a,b)))

def op_count_6R1J4BifJJ(a, b):
    if (a != 405 and op_OGWBzMv138(a,521) > 261):
        count = op_count_QErWpSDGk0(555)+op_count_ap3xiM279w(a,b)+op_count_EWw2JM7wp4(op_QErWpSDGk0(555),op_ap3xiM279w(a,b))+op_count_4JB6nKBMSY(b,a)+op_count_P8v4zCKN1o(op_4JB6nKBMSY(b,a))+op_count_m612RDITqL(op_EWw2JM7wp4(op_QErWpSDGk0(555),op_ap3xiM279w(a,b)),op_P8v4zCKN1o(op_4JB6nKBMSY(b,a)))+op_count_OGWBzMv138(a,521)
    else:
        count = op_count_HmxsFra2vL(a,b)+op_count_6LuFrogppQ(op_HmxsFra2vL(a,b))+op_count_QErWpSDGk0(op_6LuFrogppQ(op_HmxsFra2vL(a,b)))
    return count


a⫗⊐b = { ((b↪∷a)⪈⋁⩁161) , if (a∵≐)>304 ; (⫇⪃↚(⫟b)) , else }

def op_ziaaVG88k7(a, b):
    if op_59igzFyhWz(a) > 304:
        return op_GMyVS5K48T(op_Api82iH42a(b,a),161)
    else:
        return op_Q9TX5pQS3Y(op_z4E1FaHLuy(b))

def op_count_ziaaVG88k7(a, b):
    if op_59igzFyhWz(a) > 304:
        count = op_count_Api82iH42a(b,a)+op_count_GMyVS5K48T(op_Api82iH42a(b,a),161)+op_count_59igzFyhWz(a)
    else:
        count = op_count_z4E1FaHLuy(b)+op_count_Q9TX5pQS3Y(op_z4E1FaHLuy(b))
    return count


a⋪⪈b = { (a≻⇥≳b) , if a>363 ; (b⨳⩥⨓69) , else }

def op_VIItbDWeFv(a, b):
    if a > 363:
        return op_aiqF8n6J9c(a,b)
    else:
        return op_nCS4ZIUYfx(b,69)

def op_count_VIItbDWeFv(a, b):
    if a > 363:
        count = op_count_aiqF8n6J9c(a,b)
    else:
        count = op_count_nCS4ZIUYfx(b,69)
    return count


a≐⇃⇈b = { (a⪱⇝b) , if a>=159 ; (⫭≬a) , else }

def op_TBD2yOIirL(a, b):
    if a >= 159:
        return op_OTRTVPweYV(a,b)
    else:
        return op_S7Dkc5Re0B(a)

def op_count_TBD2yOIirL(a, b):
    if a >= 159:
        count = op_count_OTRTVPweYV(a,b)
    else:
        count = op_count_S7Dkc5Re0B(a)
    return count


a↖⪸⫱b = { ((a⪇≇⋚b)↜⊷(≅≯⇸b)) , if (⇍a)<=97 ; ((a⩾b)⫁⪎(b⫀)) , else }

def op_KCGfcBnbwZ(a, b):
    if op_H9jWZL1q0V(a) <= 97:
        return op_irKjLsMeKy(op_3sJ7IOPOlU(a,b),op_apS25hmuAe(b))
    else:
        return op_xRrnTEsQ6j(op_UggxBX659n(a,b),op_hFnZRMLNSM(b))

def op_count_KCGfcBnbwZ(a, b):
    if op_H9jWZL1q0V(a) <= 97:
        count = op_count_3sJ7IOPOlU(a,b)+op_count_apS25hmuAe(b)+op_count_irKjLsMeKy(op_3sJ7IOPOlU(a,b),op_apS25hmuAe(b))+op_count_H9jWZL1q0V(a)
    else:
        count = op_count_UggxBX659n(a,b)+op_count_hFnZRMLNSM(b)+op_count_xRrnTEsQ6j(op_UggxBX659n(a,b),op_hFnZRMLNSM(b))
    return count


def op_IOaQU9eBVk(a):
    if (a <= 197 or op_4JB6nKBMSY(a,241) != 49):
        return op_t8gj7n24qd(op_ar1w6gUwHX(a,a))
    else:
        return op_3YWlZA9bsa(op_6iafYuwGo8(a,a),a)

def op_count_IOaQU9eBVk(a):
    if (a <= 197 or op_4JB6nKBMSY(a,241) != 49):
        count = op_count_ar1w6gUwHX(a,a)+op_count_t8gj7n24qd(op_ar1w6gUwHX(a,a))+op_count_4JB6nKBMSY(a,241)
    else:
        count = op_count_6iafYuwGo8(a,a)+op_count_3YWlZA9bsa(op_6iafYuwGo8(a,a),a)
    return count


a≀⇼⋷b = { (95⊭↱a) , if (b⨝⩣∺)==43 ; (∷≠b) , else }

def op_WN7bYeQ5jG(a, b):
    if op_ancx8kZcWl(b) == 43:
        return op_COABgblf1C(95,a)
    else:
        return op_QiR2Oyf5Xj(b)

def op_count_WN7bYeQ5jG(a, b):
    if op_ancx8kZcWl(b) == 43:
        count = op_count_COABgblf1C(95,a)+op_count_ancx8kZcWl(b)
    else:
        count = op_count_QiR2Oyf5Xj(b)
    return count


a≲⨛ = { (≇⪴(78∌a)) , if (a∘⨩)>284 and (a⫚⫇)>638 ; (a⩾(⫄⋦≢a)) , else }

def op_SUeSE0uIXE(a):
    if op_aHKFHkCgn9(a) > 284 and op_SdCjLnB6rR(a) > 638:
        return op_zoVPnxeHJ3(op_8cLx32lpNA(78,a))
    else:
        return op_UggxBX659n(a,op_4kvgVkQeiQ(a))

def op_count_SUeSE0uIXE(a):
    if op_aHKFHkCgn9(a) > 284 and op_SdCjLnB6rR(a) > 638:
        count = op_count_8cLx32lpNA(78,a)+op_count_zoVPnxeHJ3(op_8cLx32lpNA(78,a))+op_count_aHKFHkCgn9(a)+op_count_SdCjLnB6rR(a)
    else:
        count = op_count_4kvgVkQeiQ(a)+op_count_UggxBX659n(a,op_4kvgVkQeiQ(a))
    return count


def op_3QUG3jHDXB(a, b):
    if op_nbuSfrB4hB(a,675) == 156:
        return op_kbkesczE7y(op_3YWlZA9bsa(op_s0IfDFCCuZ(a,b),op_L05ObWFQCd(a,b)),op_FyVja0WsTP(op_UIU2Eox550(659),op_qy3n0tapmE(942,a)))
    else:
        return op_V4yb4KDoeF(op_uysxUYN2L2(op_E4l6HwMY31(a,b),op_NTOWxs364D(614,a)),b)

def op_count_3QUG3jHDXB(a, b):
    if op_nbuSfrB4hB(a,675) == 156:
        count = op_count_s0IfDFCCuZ(a,b)+op_count_L05ObWFQCd(a,b)+op_count_3YWlZA9bsa(op_s0IfDFCCuZ(a,b),op_L05ObWFQCd(a,b))+op_count_UIU2Eox550(659)+op_count_qy3n0tapmE(942,a)+op_count_FyVja0WsTP(op_UIU2Eox550(659),op_qy3n0tapmE(942,a))+op_count_kbkesczE7y(op_3YWlZA9bsa(op_s0IfDFCCuZ(a,b),op_L05ObWFQCd(a,b)),op_FyVja0WsTP(op_UIU2Eox550(659),op_qy3n0tapmE(942,a)))+op_count_nbuSfrB4hB(a,675)
    else:
        count = op_count_E4l6HwMY31(a,b)+op_count_NTOWxs364D(614,a)+op_count_uysxUYN2L2(op_E4l6HwMY31(a,b),op_NTOWxs364D(614,a))+op_count_V4yb4KDoeF(op_uysxUYN2L2(op_E4l6HwMY31(a,b),op_NTOWxs364D(614,a)),b)
    return count


a↹b = { ((⨩∲⋌b)⋥≓≎(b⪎⩰)) , if (↞b)<202 ; ((a⩍⋽⫝̸b)≬⋮(27⇩)) , else }

def op_Cu8F6Sd0bU(a, b):
    if op_QKXs96F9fN(b) < 202:
        return op_Qy55tPpLXF(op_aSik1wnThz(b),op_2ufhKmSs5H(b))
    else:
        return op_kbkesczE7y(op_BiWNJpBvwn(a,b),op_vRio1gEz1j(27))

def op_count_Cu8F6Sd0bU(a, b):
    if op_QKXs96F9fN(b) < 202:
        count = op_count_aSik1wnThz(b)+op_count_2ufhKmSs5H(b)+op_count_Qy55tPpLXF(op_aSik1wnThz(b),op_2ufhKmSs5H(b))+op_count_QKXs96F9fN(b)
    else:
        count = op_count_BiWNJpBvwn(a,b)+op_count_vRio1gEz1j(27)+op_count_kbkesczE7y(op_BiWNJpBvwn(a,b),op_vRio1gEz1j(27))
    return count


def op_uhORFLtD8W(a):
    if op_dwb5p0fa6d(a) < 12:
        return op_2z8nE7LpCu(op_2M7SKlOzyM(op_ocnLzx9CaJ(242,a),212),op_m612RDITqL(op_vRio1gEz1j(158),op_UggxBX659n(a,a)))
    else:
        return a

def op_count_uhORFLtD8W(a):
    if op_dwb5p0fa6d(a) < 12:
        count = op_count_ocnLzx9CaJ(242,a)+op_count_2M7SKlOzyM(op_ocnLzx9CaJ(242,a),212)+op_count_vRio1gEz1j(158)+op_count_UggxBX659n(a,a)+op_count_m612RDITqL(op_vRio1gEz1j(158),op_UggxBX659n(a,a))+op_count_2z8nE7LpCu(op_2M7SKlOzyM(op_ocnLzx9CaJ(242,a),212),op_m612RDITqL(op_vRio1gEz1j(158),op_UggxBX659n(a,a)))+op_count_dwb5p0fa6d(a)
    else:
        count = 1
    return count


a⪋⫾⨕ = { ((a⨧a)≎⋽⪿) , if (⊡⇒⪪a)>=767 ; ((a⫯⪬∳a)⇢(a⪑⩈)) , else }

def op_tAFJbl8FKS(a):
    if op_wisItNeSwq(a) >= 767:
        return op_Mp74FtG4yY(op_3YWlZA9bsa(a,a))
    else:
        return op_GMN7JP6WpN(op_d7ASUq0ydm(a,a),op_C6VvDP6HwP(a))

def op_count_tAFJbl8FKS(a):
    if op_wisItNeSwq(a) >= 767:
        count = op_count_3YWlZA9bsa(a,a)+op_count_Mp74FtG4yY(op_3YWlZA9bsa(a,a))+op_count_wisItNeSwq(a)
    else:
        count = op_count_d7ASUq0ydm(a,a)+op_count_C6VvDP6HwP(a)+op_count_GMN7JP6WpN(op_d7ASUq0ydm(a,a),op_C6VvDP6HwP(a))
    return count


a≎⋰ = { ((∡(a⪚⨁⋖a))⇼⇔∾(∡(a≻⇥≳a))) , if (a⪹)==200 ; ((⩏⊷≩(a∠↢a))⪱⇝((a⪱⇝a)⫀)) , else }

def op_hrXGNBIrMT(a):
    if op_B3sABdIn96(a) == 200:
        return op_tifHPKVTfV(op_pRsWfj4Fpp(op_xSk1F0pZbF(a,a)),op_pRsWfj4Fpp(op_aiqF8n6J9c(a,a)))
    else:
        return op_OTRTVPweYV(op_uOZ1tnYMDE(op_KbjG8mgYpV(a,a)),op_hFnZRMLNSM(op_OTRTVPweYV(a,a)))

def op_count_hrXGNBIrMT(a):
    if op_B3sABdIn96(a) == 200:
        count = op_count_xSk1F0pZbF(a,a)+op_count_pRsWfj4Fpp(op_xSk1F0pZbF(a,a))+op_count_aiqF8n6J9c(a,a)+op_count_pRsWfj4Fpp(op_aiqF8n6J9c(a,a))+op_count_tifHPKVTfV(op_pRsWfj4Fpp(op_xSk1F0pZbF(a,a)),op_pRsWfj4Fpp(op_aiqF8n6J9c(a,a)))+op_count_B3sABdIn96(a)
    else:
        count = op_count_KbjG8mgYpV(a,a)+op_count_uOZ1tnYMDE(op_KbjG8mgYpV(a,a))+op_count_OTRTVPweYV(a,a)+op_count_hFnZRMLNSM(op_OTRTVPweYV(a,a))+op_count_OTRTVPweYV(op_uOZ1tnYMDE(op_KbjG8mgYpV(a,a)),op_hFnZRMLNSM(op_OTRTVPweYV(a,a)))
    return count