a⨠⋞∞b = { (((a≄⩼b)⫈(a≌25))≆⋉⩆((b↻⩚⨟b)↙⨃a)) }

def op_ro83S6q1af(a, b):
    return op_sHMtVDD4nv(op_e1wGt9VEHG(op_omoy7v1DzT(a,b),op_lyWz822IDG(a,25)),op_RO5dAyufID(op_KRe2A74MY3(b,b),a))

def op_count_ro83S6q1af(a, b):
    count = op_count_omoy7v1DzT(a,b)+op_count_lyWz822IDG(a,25)+op_count_e1wGt9VEHG(op_omoy7v1DzT(a,b),op_lyWz822IDG(a,25))+op_count_KRe2A74MY3(b,b)+op_count_RO5dAyufID(op_KRe2A74MY3(b,b),a)+op_count_sHMtVDD4nv(op_e1wGt9VEHG(op_omoy7v1DzT(a,b),op_lyWz822IDG(a,25)),op_RO5dAyufID(op_KRe2A74MY3(b,b),a))
    return count


a↶⫤⋊b = { ((b⩫⨔b)⋘↷↾(b⫣⨩155)) , if (a⪺≵⫇)==51 ; ((264∬≣∞a)⩚⊴⇥(b⨱a)) , else }

def op_I30ok4LVZ2(a, b):
    if op_2uGCWWNyrk(a) == 51:
        return op_1Scw8a5e7g(op_2uO7qEltAa(b,b),op_4ZyE98Jico(b,155))
    else:
        return op_NTOWxs364D(op_rSF6PK3BIo(264,a),op_KRirUCLfIK(b,a))

def op_count_I30ok4LVZ2(a, b):
    if op_2uGCWWNyrk(a) == 51:
        count = op_count_2uO7qEltAa(b,b)+op_count_4ZyE98Jico(b,155)+op_count_1Scw8a5e7g(op_2uO7qEltAa(b,b),op_4ZyE98Jico(b,155))+op_count_2uGCWWNyrk(a)
    else:
        count = op_count_rSF6PK3BIo(264,a)+op_count_KRirUCLfIK(b,a)+op_count_NTOWxs364D(op_rSF6PK3BIo(264,a),op_KRirUCLfIK(b,a))
    return count


a⪻⨭⫃b = { (a∝≶b) , if (a∛⇚∐384)>79 ; (a≁a) , else }

def op_DJLsQbDkw1(a, b):
    if op_bjFwS5ygY2(a,384) > 79:
        return op_e0UC6DYTvX(a,b)
    else:
        return op_8N2wDY1A35(a,a)

def op_count_DJLsQbDkw1(a, b):
    if op_bjFwS5ygY2(a,384) > 79:
        count = op_count_e0UC6DYTvX(a,b)+op_count_bjFwS5ygY2(a,384)
    else:
        count = op_count_8N2wDY1A35(a,a)
    return count


def op_RaM3QWCYh9(a):
    return op_Lk9bOOPVfB(op_NajNryHj1W(a))

def op_count_RaM3QWCYh9(a):
    count = op_count_NajNryHj1W(a)+op_count_Lk9bOOPVfB(op_NajNryHj1W(a))
    return count


def op_V6lFCrpEbY(a):
    return op_vomVLQX1UC(a,a)

def op_count_V6lFCrpEbY(a):
    count = op_count_vomVLQX1UC(a,a)
    return count


a⋵⫟b = { (((a⋻⨃⪛)⋕⪉⪜(407↼⨼≖b))⋣⩘⋸(⋟(459⩗⫗b))) }

def op_Gzf5cPaPMx(a, b):
    return op_DvuSqA3vLS(op_z6LnFrNh4i(op_qXTIGBu4xQ(a),op_a5o92vvqms(407,b)),op_J0UE6i7VTg(op_Xw48T5MRcn(459,b)))

def op_count_Gzf5cPaPMx(a, b):
    count = op_count_qXTIGBu4xQ(a)+op_count_a5o92vvqms(407,b)+op_count_z6LnFrNh4i(op_qXTIGBu4xQ(a),op_a5o92vvqms(407,b))+op_count_Xw48T5MRcn(459,b)+op_count_J0UE6i7VTg(op_Xw48T5MRcn(459,b))+op_count_DvuSqA3vLS(op_z6LnFrNh4i(op_qXTIGBu4xQ(a),op_a5o92vvqms(407,b)),op_J0UE6i7VTg(op_Xw48T5MRcn(459,b)))
    return count


def op_Zpi5zL4cOV(a, b):
    if op_2TXroppNd4(b,991) == 677 or op_VRmlYNqEUC(a) > 586:
        return op_z63VuFQld9(op_7f6kG6nZd2(b,b))
    else:
        return op_LgkrMb0d79(op_VcI7WilXed(a,322),op_0B27zlnmPH(b,a))

def op_count_Zpi5zL4cOV(a, b):
    if op_2TXroppNd4(b,991) == 677 or op_VRmlYNqEUC(a) > 586:
        count = op_count_7f6kG6nZd2(b,b)+op_count_z63VuFQld9(op_7f6kG6nZd2(b,b))+op_count_2TXroppNd4(b,991)+op_count_VRmlYNqEUC(a)
    else:
        count = op_count_VcI7WilXed(a,322)+op_count_0B27zlnmPH(b,a)+op_count_LgkrMb0d79(op_VcI7WilXed(a,322),op_0B27zlnmPH(b,a))
    return count


a⩟⫾↺ = { (a∲↬((a⋳⩥a)⨚(98⩌⫰⩃a))) , if (⋉⨖↔a)!=41 and (a⋩⪊⫪547)==356 and (a⫙⨠∵870)<769 ; (((⨈⫕a)⪒(a↳⨴⫋a))⋢⫂((a⊞95)⩾⊒(a⊍⪇a))) , else }

def op_BUnw6nrr4K(a):
    if op_MDxn7jJKFc(a) != 41 and op_jgzsi2wuu5(a,547) == 356 and op_VIMCZ0TE5t(a,870) < 769:
        return op_hQONRmdWAv(a,op_nREPSIbpBE(op_V4atgEyXGB(a,a),op_Qkdmijf3a6(98,a)))
    else:
        return op_MapNMPHSAz(op_f6k1SAg4EE(op_megm06wKyl(a),op_bars6Y1s1I(a,a)),op_2rNkuxh6vz(op_15v7IodGk2(a,95),op_1KIUooOuPe(a,a)))

def op_count_BUnw6nrr4K(a):
    if op_MDxn7jJKFc(a) != 41 and op_jgzsi2wuu5(a,547) == 356 and op_VIMCZ0TE5t(a,870) < 769:
        count = op_count_V4atgEyXGB(a,a)+op_count_Qkdmijf3a6(98,a)+op_count_nREPSIbpBE(op_V4atgEyXGB(a,a),op_Qkdmijf3a6(98,a))+op_count_hQONRmdWAv(a,op_nREPSIbpBE(op_V4atgEyXGB(a,a),op_Qkdmijf3a6(98,a)))+op_count_MDxn7jJKFc(a)+op_count_jgzsi2wuu5(a,547)+op_count_VIMCZ0TE5t(a,870)
    else:
        count = op_count_megm06wKyl(a)+op_count_bars6Y1s1I(a,a)+op_count_f6k1SAg4EE(op_megm06wKyl(a),op_bars6Y1s1I(a,a))+op_count_15v7IodGk2(a,95)+op_count_1KIUooOuPe(a,a)+op_count_2rNkuxh6vz(op_15v7IodGk2(a,95),op_1KIUooOuPe(a,a))+op_count_MapNMPHSAz(op_f6k1SAg4EE(op_megm06wKyl(a),op_bars6Y1s1I(a,a)),op_2rNkuxh6vz(op_15v7IodGk2(a,95),op_1KIUooOuPe(a,a)))
    return count


⨏√a = { (∪(≹↦⩒(226⋵⨂⋧a))) , if (a∟⇣↗226)<284 ; ((⨷⋅⪎(a↜⊷a))≻≌⋽((a⩵⨫⋙a)⪭≯(a⪖⪯⋚))) , else }

def op_x3ZNJ0Hq4t(a):
    if op_DbDpKIpy3e(a,226) < 284:
        return op_GUAyslFuBw(op_nCSYG0sci4(op_KpFi67e8T3(226,a)))
    else:
        return op_wHIWe8QR1k(op_rADO6jDX7N(op_irKjLsMeKy(a,a)),op_XAx5wpdLa6(op_DF3VBmRtJs(a,a),op_D8FqJNSzfY(a)))

def op_count_x3ZNJ0Hq4t(a):
    if op_DbDpKIpy3e(a,226) < 284:
        count = op_count_KpFi67e8T3(226,a)+op_count_nCSYG0sci4(op_KpFi67e8T3(226,a))+op_count_GUAyslFuBw(op_nCSYG0sci4(op_KpFi67e8T3(226,a)))+op_count_DbDpKIpy3e(a,226)
    else:
        count = op_count_irKjLsMeKy(a,a)+op_count_rADO6jDX7N(op_irKjLsMeKy(a,a))+op_count_DF3VBmRtJs(a,a)+op_count_D8FqJNSzfY(a)+op_count_XAx5wpdLa6(op_DF3VBmRtJs(a,a),op_D8FqJNSzfY(a))+op_count_wHIWe8QR1k(op_rADO6jDX7N(op_irKjLsMeKy(a,a)),op_XAx5wpdLa6(op_DF3VBmRtJs(a,a),op_D8FqJNSzfY(a)))
    return count


def op_yPN7L6NJ6u(a):
    return op_AxBbORVHmI(op_vhK6Jq5pWY(op_9m16WUFJ5C(a,a),a),op_HAXB6eNxZN(op_z63VuFQld9(a)))

def op_count_yPN7L6NJ6u(a):
    count = op_count_9m16WUFJ5C(a,a)+op_count_vhK6Jq5pWY(op_9m16WUFJ5C(a,a),a)+op_count_z63VuFQld9(a)+op_count_HAXB6eNxZN(op_z63VuFQld9(a))+op_count_AxBbORVHmI(op_vhK6Jq5pWY(op_9m16WUFJ5C(a,a),a),op_HAXB6eNxZN(op_z63VuFQld9(a)))
    return count


def op_njV5ReabBZ(a, b):
    return op_V9cNOZsTu7(op_9aXLFNf8dt(op_B6lopOPVwh(19,a),149),op_tTxESys1Qr(op_jbrVa8FwMb(b,a)))

def op_count_njV5ReabBZ(a, b):
    count = op_count_B6lopOPVwh(19,a)+op_count_9aXLFNf8dt(op_B6lopOPVwh(19,a),149)+op_count_jbrVa8FwMb(b,a)+op_count_tTxESys1Qr(op_jbrVa8FwMb(b,a))+op_count_V9cNOZsTu7(op_9aXLFNf8dt(op_B6lopOPVwh(19,a),149),op_tTxESys1Qr(op_jbrVa8FwMb(b,a)))
    return count


def op_7PerValoMX(a, b):
    return op_QZ0DWncqlE(op_GMFhbk3k8M(a),b)

def op_count_7PerValoMX(a, b):
    count = op_count_GMFhbk3k8M(a)+op_count_QZ0DWncqlE(op_GMFhbk3k8M(a),b)
    return count


a⇅⪬b = { (((⫫⩭⇋a)⫫≝≶(321⊯≩⫵b))⊍⩺⋍((⋒⪏⋋a)⨕⪎∫(⊻⇿⋺b))) }

def op_Ppx4H0ECoA(a, b):
    return op_OXDGMFPWZM(op_aKrygNiu38(op_NAuE9E6FzB(a),op_bwHU3AucoK(321,b)),op_6RfnUF5SwA(op_DfCADQreyR(a),op_3ETyc1YnpT(b)))

def op_count_Ppx4H0ECoA(a, b):
    count = op_count_NAuE9E6FzB(a)+op_count_bwHU3AucoK(321,b)+op_count_aKrygNiu38(op_NAuE9E6FzB(a),op_bwHU3AucoK(321,b))+op_count_DfCADQreyR(a)+op_count_3ETyc1YnpT(b)+op_count_6RfnUF5SwA(op_DfCADQreyR(a),op_3ETyc1YnpT(b))+op_count_OXDGMFPWZM(op_aKrygNiu38(op_NAuE9E6FzB(a),op_bwHU3AucoK(321,b)),op_6RfnUF5SwA(op_DfCADQreyR(a),op_3ETyc1YnpT(b)))
    return count


a⋟⇥⋱ = { (((a⪡⇊⇼a)⪺⋞)≁((⩔⩤920)⇊(∧≮∿a))) }

def op_iFAsnSZORc(a):
    return op_8N2wDY1A35(op_1BKvxjqByO(op_h9LDQjFYy5(a,a)),op_8h2Ofp3S4L(op_Hi7QvixoQr(920),op_sL65T3Der9(a)))

def op_count_iFAsnSZORc(a):
    count = op_count_h9LDQjFYy5(a,a)+op_count_1BKvxjqByO(op_h9LDQjFYy5(a,a))+op_count_Hi7QvixoQr(920)+op_count_sL65T3Der9(a)+op_count_8h2Ofp3S4L(op_Hi7QvixoQr(920),op_sL65T3Der9(a))+op_count_8N2wDY1A35(op_1BKvxjqByO(op_h9LDQjFYy5(a,a)),op_8h2Ofp3S4L(op_Hi7QvixoQr(920),op_sL65T3Der9(a)))
    return count


def op_HQBaGTjMlN(a, b):
    if (op_vvWkAKV61U(a,674) == 257 and op_I8nmDHOqjE(a) < 68):
        return op_EJvLRUhMvt(op_oW1cUEY5Sq(a,39),op_zNRQejTB5A(b))
    else:
        return op_3A1e9zoj8h(op_bs7D9C0JKx(b,63))

def op_count_HQBaGTjMlN(a, b):
    if (op_vvWkAKV61U(a,674) == 257 and op_I8nmDHOqjE(a) < 68):
        count = op_count_oW1cUEY5Sq(a,39)+op_count_zNRQejTB5A(b)+op_count_EJvLRUhMvt(op_oW1cUEY5Sq(a,39),op_zNRQejTB5A(b))+op_count_vvWkAKV61U(a,674)+op_count_I8nmDHOqjE(a)
    else:
        count = op_count_bs7D9C0JKx(b,63)+op_count_3A1e9zoj8h(op_bs7D9C0JKx(b,63))
    return count


a⋙⪙⋿ = { (a⇸a) , if (a⊂⋀⨺)!=583 ; (a↶⊆⩋a) , else }

def op_OAVsCIrdKA(a):
    if op_I2IqpfOY7h(a) != 583:
        return op_Kd4iD05TwA(a,a)
    else:
        return op_chVjXdrG4d(a,a)

def op_count_OAVsCIrdKA(a):
    if op_I2IqpfOY7h(a) != 583:
        count = op_count_Kd4iD05TwA(a,a)+op_count_I2IqpfOY7h(a)
    else:
        count = op_count_chVjXdrG4d(a,a)
    return count


def op_T8J51g0u0J(a):
    return op_hpqmaQFPrd(op_dUtXqx2Zuq(a,a))

def op_count_T8J51g0u0J(a):
    count = op_count_dUtXqx2Zuq(a,a)+op_count_hpqmaQFPrd(op_dUtXqx2Zuq(a,a))
    return count


≖⇗⪼a = { (((a⨗⊀≚a)⇳↙≢(a⩘⋿a))⫣⨩((a⪠⋋a)⫳⫚⇈(a⫗⊷⫓a))) }

def op_diMo4iVizl(a):
    return op_4ZyE98Jico(op_iHGqphdURt(op_mvNXXmRTq7(a,a),op_64EQ39e0fC(a,a)),op_InHNDff3xD(op_vpnlV8YnDh(a,a),op_zashukvMKz(a,a)))

def op_count_diMo4iVizl(a):
    count = op_count_mvNXXmRTq7(a,a)+op_count_64EQ39e0fC(a,a)+op_count_iHGqphdURt(op_mvNXXmRTq7(a,a),op_64EQ39e0fC(a,a))+op_count_vpnlV8YnDh(a,a)+op_count_zashukvMKz(a,a)+op_count_InHNDff3xD(op_vpnlV8YnDh(a,a),op_zashukvMKz(a,a))+op_count_4ZyE98Jico(op_iHGqphdURt(op_mvNXXmRTq7(a,a),op_64EQ39e0fC(a,a)),op_InHNDff3xD(op_vpnlV8YnDh(a,a),op_zashukvMKz(a,a)))
    return count


def op_UKTrMRwcAE(a):
    return op_RPa3726CSl(op_XAx5wpdLa6(op_XVKwrhznBb(a),op_KCcU5IC0Jf(a)))

def op_count_UKTrMRwcAE(a):
    count = op_count_XVKwrhznBb(a)+op_count_KCcU5IC0Jf(a)+op_count_XAx5wpdLa6(op_XVKwrhznBb(a),op_KCcU5IC0Jf(a))+op_count_RPa3726CSl(op_XAx5wpdLa6(op_XVKwrhznBb(a),op_KCcU5IC0Jf(a)))
    return count


a≞⪀⫽ = { (((a⩈⪻a)⪉⨛(a≦↸a))≰⨦⩤((a⩗⫗a)⋂⋮∼(686⪌⨺↜a))) }

def op_OIv02cux1v(a):
    return op_uM9y8FJ4Pt(op_EWw2JM7wp4(op_Yan4YobxxY(a,a),op_RygbFNSyEJ(a,a)),op_amriepWcxZ(op_Xw48T5MRcn(a,a),op_YZ4iizfuOA(686,a)))

def op_count_OIv02cux1v(a):
    count = op_count_Yan4YobxxY(a,a)+op_count_RygbFNSyEJ(a,a)+op_count_EWw2JM7wp4(op_Yan4YobxxY(a,a),op_RygbFNSyEJ(a,a))+op_count_Xw48T5MRcn(a,a)+op_count_YZ4iizfuOA(686,a)+op_count_amriepWcxZ(op_Xw48T5MRcn(a,a),op_YZ4iizfuOA(686,a))+op_count_uM9y8FJ4Pt(op_EWw2JM7wp4(op_Yan4YobxxY(a,a),op_RygbFNSyEJ(a,a)),op_amriepWcxZ(op_Xw48T5MRcn(a,a),op_YZ4iizfuOA(686,a)))
    return count


a⩕⊑b = { ((b⨣≵b)≒⩱(a⪓⨏)) , if a!=123 ; ((a⊡⇸⨱b)⨛∌⨑(a⫿⋬a)) , else }

def op_TJelt3DNlI(a, b):
    if a != 123:
        return op_BXBuq9lyFC(op_EDNtw33LkC(b,b),op_4X9JU4Jbn6(a))
    else:
        return op_ToXGGHTZgx(op_aXrETpFXun(a,b),op_Vlc94QOcSo(a,a))

def op_count_TJelt3DNlI(a, b):
    if a != 123:
        count = op_count_EDNtw33LkC(b,b)+op_count_4X9JU4Jbn6(a)+op_count_BXBuq9lyFC(op_EDNtw33LkC(b,b),op_4X9JU4Jbn6(a))
    else:
        count = op_count_aXrETpFXun(a,b)+op_count_Vlc94QOcSo(a,a)+op_count_ToXGGHTZgx(op_aXrETpFXun(a,b),op_Vlc94QOcSo(a,a))
    return count


def op_Vffd7Dbxa6(a):
    if op_eiq4tXUHbj(a) < 598 and op_NeTHBjglGE(a) > 217 and op_KQPIbLmy7B(a,242) == 21:
        return op_XAx5wpdLa6(op_I81SCRunY4(a,982),op_N08cgbcyR6(714))
    else:
        return op_pNsYZ4ACSL(op_FwXU2ccSS8(a),op_EjjZdWuWOr(184,a))

def op_count_Vffd7Dbxa6(a):
    if op_eiq4tXUHbj(a) < 598 and op_NeTHBjglGE(a) > 217 and op_KQPIbLmy7B(a,242) == 21:
        count = op_count_I81SCRunY4(a,982)+op_count_N08cgbcyR6(714)+op_count_XAx5wpdLa6(op_I81SCRunY4(a,982),op_N08cgbcyR6(714))+op_count_eiq4tXUHbj(a)+op_count_NeTHBjglGE(a)+op_count_KQPIbLmy7B(a,242)
    else:
        count = op_count_FwXU2ccSS8(a)+op_count_EjjZdWuWOr(184,a)+op_count_pNsYZ4ACSL(op_FwXU2ccSS8(a),op_EjjZdWuWOr(184,a))
    return count


def op_eYU5KJB9qK(a, b):
    return op_zqXLmTvkkA(op_8Dc31Y5xrO(op_F4wrSVGSLq(a,411),op_V9cNOZsTu7(b,a)))

def op_count_eYU5KJB9qK(a, b):
    count = op_count_F4wrSVGSLq(a,411)+op_count_V9cNOZsTu7(b,a)+op_count_8Dc31Y5xrO(op_F4wrSVGSLq(a,411),op_V9cNOZsTu7(b,a))+op_count_zqXLmTvkkA(op_8Dc31Y5xrO(op_F4wrSVGSLq(a,411),op_V9cNOZsTu7(b,a)))
    return count


def op_8mtaM7iw77(a):
    if op_7f6kG6nZd2(a,791) > 239:
        return op_W8aBYTaVYL(a)
    else:
        return op_hpqmaQFPrd(0)

def op_count_8mtaM7iw77(a):
    if op_7f6kG6nZd2(a,791) > 239:
        count = op_count_W8aBYTaVYL(a)+op_count_7f6kG6nZd2(a,791)
    else:
        count = op_count_hpqmaQFPrd(0)
    return count


∮∀≻a = { ((a⫨⫹⫘a)↮∁⩟(a≩⫓a)) , if (a>=249 or (a⊱⪃)>528) ; ((↞∟a)⪞⇇(a⊟⩓⊧a)) , else }

def op_ZynggvdrMR(a):
    if (a >= 249 or op_zkQy2Yb3g1(a) > 528):
        return op_B9Gkqmw0g5(op_GnJtpMXYEn(a,a),op_dS3vmXYzMr(a,a))
    else:
        return op_VP5j3Cbanc(op_fDddd6OLrU(a),op_ZWmKTO1x1a(a,a))

def op_count_ZynggvdrMR(a):
    if (a >= 249 or op_zkQy2Yb3g1(a) > 528):
        count = op_count_GnJtpMXYEn(a,a)+op_count_dS3vmXYzMr(a,a)+op_count_B9Gkqmw0g5(op_GnJtpMXYEn(a,a),op_dS3vmXYzMr(a,a))+op_count_zkQy2Yb3g1(a)
    else:
        count = op_count_fDddd6OLrU(a)+op_count_ZWmKTO1x1a(a,a)+op_count_VP5j3Cbanc(op_fDddd6OLrU(a),op_ZWmKTO1x1a(a,a))
    return count


def op_UBYJV1i4Au(a, b):
    return op_bX58bBWVyZ(op_cXLsWb8329(a),op_uFcxV4UQCh(a,b))

def op_count_UBYJV1i4Au(a, b):
    count = op_count_cXLsWb8329(a)+op_count_uFcxV4UQCh(a,b)+op_count_bX58bBWVyZ(op_cXLsWb8329(a),op_uFcxV4UQCh(a,b))
    return count


def op_wYc99xO4UU(a):
    if a <= 187:
        return op_vqMs4v2zd9(a,298)
    else:
        return op_P8h4Y6OdFr(a)

def op_count_wYc99xO4UU(a):
    if a <= 187:
        count = op_count_vqMs4v2zd9(a,298)
    else:
        count = op_count_P8h4Y6OdFr(a)
    return count


def op_ygbRxhb5Vq(a, b):
    return op_4sRnSH0ldE(op_D12pVJZ2CB(op_cq6SRdGhUK(b,b)),op_KvvgdUaMHJ(op_Yan4YobxxY(b,a)))

def op_count_ygbRxhb5Vq(a, b):
    count = op_count_cq6SRdGhUK(b,b)+op_count_D12pVJZ2CB(op_cq6SRdGhUK(b,b))+op_count_Yan4YobxxY(b,a)+op_count_KvvgdUaMHJ(op_Yan4YobxxY(b,a))+op_count_4sRnSH0ldE(op_D12pVJZ2CB(op_cq6SRdGhUK(b,b)),op_KvvgdUaMHJ(op_Yan4YobxxY(b,a)))
    return count


def op_IZalJ3wKHU(a):
    return op_ZsTN7hvPwQ(op_qG9ZqFzE8s(op_j7RMjKbHgu(a)))

def op_count_IZalJ3wKHU(a):
    count = op_count_j7RMjKbHgu(a)+op_count_qG9ZqFzE8s(op_j7RMjKbHgu(a))+op_count_ZsTN7hvPwQ(op_qG9ZqFzE8s(op_j7RMjKbHgu(a)))
    return count


a⨻≌⋹ = { (((a↶⊆⩋a)↕⋹↺)⪥⨬⪅) }

def op_niEfHXSq2R(a):
    return op_zNRQejTB5A(op_lOhmkGe2ro(op_chVjXdrG4d(a,a)))

def op_count_niEfHXSq2R(a):
    count = op_count_chVjXdrG4d(a,a)+op_count_lOhmkGe2ro(op_chVjXdrG4d(a,a))+op_count_zNRQejTB5A(op_lOhmkGe2ro(op_chVjXdrG4d(a,a)))
    return count


def op_pfo92htUrz(a):
    return op_ls2sEoW1gP(op_hJhozpRboY(a),op_aNWsvqozUr(a,a))

def op_count_pfo92htUrz(a):
    count = op_count_hJhozpRboY(a)+op_count_aNWsvqozUr(a,a)+op_count_ls2sEoW1gP(op_hJhozpRboY(a),op_aNWsvqozUr(a,a))
    return count


def op_McONe06GxS(a):
    return op_3H1LgMeZyw(a,a)

def op_count_McONe06GxS(a):
    count = op_count_3H1LgMeZyw(a,a)
    return count


def op_OZIUChdQFC(a):
    return op_vomVLQX1UC(a,a)

def op_count_OZIUChdQFC(a):
    count = op_count_vomVLQX1UC(a,a)
    return count


a⇨⪂ = { ((⫸⊃⋝(a⊑∙a))→⇚((⊛⩪∵200)⩁⪨(a⊔≰))) }

def op_IznRLByrVP(a):
    return op_POp3h4pmYF(op_oR1ZMLEmP5(op_vomVLQX1UC(a,a)),op_NkmDxhANyO(op_13xSrD6nRj(200),op_NZxXvgSuBG(a)))

def op_count_IznRLByrVP(a):
    count = op_count_vomVLQX1UC(a,a)+op_count_oR1ZMLEmP5(op_vomVLQX1UC(a,a))+op_count_13xSrD6nRj(200)+op_count_NZxXvgSuBG(a)+op_count_NkmDxhANyO(op_13xSrD6nRj(200),op_NZxXvgSuBG(a))+op_count_POp3h4pmYF(op_oR1ZMLEmP5(op_vomVLQX1UC(a,a)),op_NkmDxhANyO(op_13xSrD6nRj(200),op_NZxXvgSuBG(a)))
    return count


def op_c4ytWP7Ibu(a):
    return op_RqrPlJkxDo(op_kpf4jZBDQQ(a,a),op_UVV4cui74P(a))

def op_count_c4ytWP7Ibu(a):
    count = op_count_kpf4jZBDQQ(a,a)+op_count_UVV4cui74P(a)+op_count_RqrPlJkxDo(op_kpf4jZBDQQ(a,a),op_UVV4cui74P(a))
    return count


def op_H3e5GVkviO(a):
    return op_kMhfGuqI2H(op_NRjb64JMe1(a))

def op_count_H3e5GVkviO(a):
    count = op_count_NRjb64JMe1(a)+op_count_kMhfGuqI2H(op_NRjb64JMe1(a))
    return count


def op_7pJ2LVNT3w(a):
    return op_XVKwrhznBb(op_sCPPNA3LWS(a,515))

def op_count_7pJ2LVNT3w(a):
    count = op_count_sCPPNA3LWS(a,515)+op_count_XVKwrhznBb(op_sCPPNA3LWS(a,515))
    return count


def op_KExPZchLV3(a, b):
    return op_4JknimHijl(op_Vlc94QOcSo(b,81),op_4VWYPRYUty(a,a))

def op_count_KExPZchLV3(a, b):
    count = op_count_Vlc94QOcSo(b,81)+op_count_4VWYPRYUty(a,a)+op_count_4JknimHijl(op_Vlc94QOcSo(b,81),op_4VWYPRYUty(a,a))
    return count


def op_hKSXV9HFXN(a):
    return op_7GgezYTPa9(op_69AmfhvhRu(a),op_Kd4iD05TwA(301,a))

def op_count_hKSXV9HFXN(a):
    count = op_count_69AmfhvhRu(a)+op_count_Kd4iD05TwA(301,a)+op_count_7GgezYTPa9(op_69AmfhvhRu(a),op_Kd4iD05TwA(301,a))
    return count


def op_yBhmA7DGIo(a, b):
    return op_6y5rNZ8Vuy(op_RqrPlJkxDo(a,0),op_meOipXXSDp(a,b))

def op_count_yBhmA7DGIo(a, b):
    count = op_count_RqrPlJkxDo(a,0)+op_count_meOipXXSDp(a,b)+op_count_6y5rNZ8Vuy(op_RqrPlJkxDo(a,0),op_meOipXXSDp(a,b))
    return count


def op_lbpyLghGUj(a):
    return op_lyWz822IDG(op_AvmDa90cdR(a),op_Ct81DHBxx8(a,827))

def op_count_lbpyLghGUj(a):
    count = op_count_AvmDa90cdR(a)+op_count_Ct81DHBxx8(a,827)+op_count_lyWz822IDG(op_AvmDa90cdR(a),op_Ct81DHBxx8(a,827))
    return count


a⫯⫴↷b = { ((⩍⨿(⪎b))⪑⨹(⊾⫰(b↧⩳⩭b))) , if (a⊞838)!=358 ; (((↺⫕b)⪑(a⪿∤b))≭(⊙+(a⩣⫁∢b))) , else }

def op_9XZzB7vz4E(a, b):
    if op_15v7IodGk2(a,838) != 358:
        return op_QGPUvAHwG1(op_nxEb2W9nnd(op_4q4Wt1yQrE(b)),op_VGUpZxEpfn(op_KfoJTsIyUZ(b,b)))
    else:
        return op_rxpJgHHUmx(op_8CI59HBmeC(op_iqq15fan1Y(b),op_pDi3HXNjDB(a,b)),op_dUlVF5g9xE(op_JDUIKTTSIa(a,b)))

def op_count_9XZzB7vz4E(a, b):
    if op_15v7IodGk2(a,838) != 358:
        count = op_count_4q4Wt1yQrE(b)+op_count_nxEb2W9nnd(op_4q4Wt1yQrE(b))+op_count_KfoJTsIyUZ(b,b)+op_count_VGUpZxEpfn(op_KfoJTsIyUZ(b,b))+op_count_QGPUvAHwG1(op_nxEb2W9nnd(op_4q4Wt1yQrE(b)),op_VGUpZxEpfn(op_KfoJTsIyUZ(b,b)))+op_count_15v7IodGk2(a,838)
    else:
        count = op_count_iqq15fan1Y(b)+op_count_pDi3HXNjDB(a,b)+op_count_8CI59HBmeC(op_iqq15fan1Y(b),op_pDi3HXNjDB(a,b))+op_count_JDUIKTTSIa(a,b)+op_count_dUlVF5g9xE(op_JDUIKTTSIa(a,b))+op_count_rxpJgHHUmx(op_8CI59HBmeC(op_iqq15fan1Y(b),op_pDi3HXNjDB(a,b)),op_dUlVF5g9xE(op_JDUIKTTSIa(a,b)))
    return count


a∟∡ = { (((a−⪑a)≼⩟⨾(a⨖≹a))⇸⨏((a↱⇽)⨳⩥⨓(a⩫⨔a))) }

def op_8I0vLKOHLF(a):
    return op_oUXishvm7t(op_VwosiIjgpM(op_NtNF0fXNRD(a,a),op_x56Q1NfF72(a,a)),op_nCS4ZIUYfx(op_dcpgubgqzi(a),op_2uO7qEltAa(a,a)))

def op_count_8I0vLKOHLF(a):
    count = op_count_NtNF0fXNRD(a,a)+op_count_x56Q1NfF72(a,a)+op_count_VwosiIjgpM(op_NtNF0fXNRD(a,a),op_x56Q1NfF72(a,a))+op_count_dcpgubgqzi(a)+op_count_2uO7qEltAa(a,a)+op_count_nCS4ZIUYfx(op_dcpgubgqzi(a),op_2uO7qEltAa(a,a))+op_count_oUXishvm7t(op_VwosiIjgpM(op_NtNF0fXNRD(a,a),op_x56Q1NfF72(a,a)),op_nCS4ZIUYfx(op_dcpgubgqzi(a),op_2uO7qEltAa(a,a)))
    return count


def op_raSG5SZ7xq(a, b):
    return op_BeKUusqXDm(op_wfMG52dXrO(op_r04HMFlk8D(a,b),a),op_inkyxCbjAn(op_I5F5lFzvY5(a)))

def op_count_raSG5SZ7xq(a, b):
    count = op_count_r04HMFlk8D(a,b)+op_count_wfMG52dXrO(op_r04HMFlk8D(a,b),a)+op_count_I5F5lFzvY5(a)+op_count_inkyxCbjAn(op_I5F5lFzvY5(a))+op_count_BeKUusqXDm(op_wfMG52dXrO(op_r04HMFlk8D(a,b),a),op_inkyxCbjAn(op_I5F5lFzvY5(a)))
    return count


def op_DKFTbcAYAB(a, b):
    return op_i43TpB2HrT(b,op_vomVLQX1UC(a,2))

def op_count_DKFTbcAYAB(a, b):
    count = op_count_vomVLQX1UC(a,2)+op_count_i43TpB2HrT(b,op_vomVLQX1UC(a,2))
    return count


a≇↦ = { (((a⨎a)⨫⨦(a↱↬⊄a))↩⋒(a⇍⊗(a⇢⩬⋦))) , if a>=363 ; ((↰→(a⊯≩⫵a))⫶⩦⫌((a≐⫾⫈a)≞⩶⨁(a⪊a))) , else }

def op_gtW6vNHlY3(a):
    if a >= 363:
        return op_F4YWqIofbM(op_E7w2cPZO8a(op_rJVOvQCfKK(a,a),op_bxubYYkvCu(a,a)),op_5uvYHDjeKN(a,op_4QmT9D7c22(a)))
    else:
        return op_JhaTKDJgG8(op_0hkx13eqQk(op_bwHU3AucoK(a,a)),op_M5PcsFUMKN(op_IU7sCk8QVd(a,a),op_KwZuVxMAXT(a,a)))

def op_count_gtW6vNHlY3(a):
    if a >= 363:
        count = op_count_rJVOvQCfKK(a,a)+op_count_bxubYYkvCu(a,a)+op_count_E7w2cPZO8a(op_rJVOvQCfKK(a,a),op_bxubYYkvCu(a,a))+op_count_4QmT9D7c22(a)+op_count_5uvYHDjeKN(a,op_4QmT9D7c22(a))+op_count_F4YWqIofbM(op_E7w2cPZO8a(op_rJVOvQCfKK(a,a),op_bxubYYkvCu(a,a)),op_5uvYHDjeKN(a,op_4QmT9D7c22(a)))
    else:
        count = op_count_bwHU3AucoK(a,a)+op_count_0hkx13eqQk(op_bwHU3AucoK(a,a))+op_count_IU7sCk8QVd(a,a)+op_count_KwZuVxMAXT(a,a)+op_count_M5PcsFUMKN(op_IU7sCk8QVd(a,a),op_KwZuVxMAXT(a,a))+op_count_JhaTKDJgG8(op_0hkx13eqQk(op_bwHU3AucoK(a,a)),op_M5PcsFUMKN(op_IU7sCk8QVd(a,a),op_KwZuVxMAXT(a,a)))
    return count


def op_MDax6hatWj(a):
    return op_xcM15npT0G(a,op_4n53wtyJvv(106))

def op_count_MDax6hatWj(a):
    count = op_count_4n53wtyJvv(106)+op_count_xcM15npT0G(a,op_4n53wtyJvv(106))
    return count


def op_yYg8SeIxD4(a):
    return op_KIaJ2lWcks(op_vhtqQa4va1(op_KRirUCLfIK(a,a),op_EVtoYVdMBM(a,a)),op_QxG7OkqoLX(op_6J5CqRoEOV(a)))

def op_count_yYg8SeIxD4(a):
    count = op_count_KRirUCLfIK(a,a)+op_count_EVtoYVdMBM(a,a)+op_count_vhtqQa4va1(op_KRirUCLfIK(a,a),op_EVtoYVdMBM(a,a))+op_count_6J5CqRoEOV(a)+op_count_QxG7OkqoLX(op_6J5CqRoEOV(a))+op_count_KIaJ2lWcks(op_vhtqQa4va1(op_KRirUCLfIK(a,a),op_EVtoYVdMBM(a,a)),op_QxG7OkqoLX(op_6J5CqRoEOV(a)))
    return count


def op_pHi9aoQUzW(a):
    return op_sQUJgueOxq(op_QxG7OkqoLX(a),op_tEbupO1VcI(a,a))

def op_count_pHi9aoQUzW(a):
    count = op_count_QxG7OkqoLX(a)+op_count_tEbupO1VcI(a,a)+op_count_sQUJgueOxq(op_QxG7OkqoLX(a),op_tEbupO1VcI(a,a))
    return count


def op_oY3td9RiXe(a):
    return op_8N2wDY1A35(a,786)

def op_count_oY3td9RiXe(a):
    count = op_count_8N2wDY1A35(a,786)
    return count


a↭⊦ = { (((⪮∩⫾a)≝⊘(⋔≆a))⇊((599⩄∠⩟)⫧⋃≅(a⪧⨲a))) }

def op_38GxfZDW3H(a):
    return op_8h2Ofp3S4L(op_3KAnUrVtkf(op_ZLl4PfgIji(a),op_NjcIe6Zi5h(a)),op_rJlMWXggw2(op_ZsTN7hvPwQ(599),op_ViqgXgeRy8(a,a)))

def op_count_38GxfZDW3H(a):
    count = op_count_ZLl4PfgIji(a)+op_count_NjcIe6Zi5h(a)+op_count_3KAnUrVtkf(op_ZLl4PfgIji(a),op_NjcIe6Zi5h(a))+op_count_ZsTN7hvPwQ(599)+op_count_ViqgXgeRy8(a,a)+op_count_rJlMWXggw2(op_ZsTN7hvPwQ(599),op_ViqgXgeRy8(a,a))+op_count_8h2Ofp3S4L(op_3KAnUrVtkf(op_ZLl4PfgIji(a),op_NjcIe6Zi5h(a)),op_rJlMWXggw2(op_ZsTN7hvPwQ(599),op_ViqgXgeRy8(a,a)))
    return count


a⊰≍b = { (((a⊃⊩⨼14)↦∽)≨⇮⋤((a≊⊬a)≃≵≟(⊷↾⨓a))) , if (≍b)==453 ; (((b⋈17)⊏⪱)⇊⩃⋴((19∮↭b)⨭(⫡⫨⇲b))) , else }

def op_axqBmXjkgn(a, b):
    if op_qDGJMdN0kq(b) == 453:
        return op_HyyJt9QWn3(op_WhkTWWvFeL(op_zh6xVsAc2d(a,14)),op_095JLJYYv3(op_ZqWZ7aSIYL(a,a),op_KCNx3llt8B(a)))
    else:
        return op_uA3r3M5hqH(op_tMRIvGwTtK(op_nDybdB13Ph(b,17)),op_1ABctC9S11(op_uE2ouRUgIU(19,b),op_hJhozpRboY(b)))

def op_count_axqBmXjkgn(a, b):
    if op_qDGJMdN0kq(b) == 453:
        count = op_count_zh6xVsAc2d(a,14)+op_count_WhkTWWvFeL(op_zh6xVsAc2d(a,14))+op_count_ZqWZ7aSIYL(a,a)+op_count_KCNx3llt8B(a)+op_count_095JLJYYv3(op_ZqWZ7aSIYL(a,a),op_KCNx3llt8B(a))+op_count_HyyJt9QWn3(op_WhkTWWvFeL(op_zh6xVsAc2d(a,14)),op_095JLJYYv3(op_ZqWZ7aSIYL(a,a),op_KCNx3llt8B(a)))+op_count_qDGJMdN0kq(b)
    else:
        count = op_count_nDybdB13Ph(b,17)+op_count_tMRIvGwTtK(op_nDybdB13Ph(b,17))+op_count_uE2ouRUgIU(19,b)+op_count_hJhozpRboY(b)+op_count_1ABctC9S11(op_uE2ouRUgIU(19,b),op_hJhozpRboY(b))+op_count_uA3r3M5hqH(op_tMRIvGwTtK(op_nDybdB13Ph(b,17)),op_1ABctC9S11(op_uE2ouRUgIU(19,b),op_hJhozpRboY(b)))
    return count


a⩙⇬b = { ((≐≖(a⇊↲a))≿((b⇫∛⊐0)⩘⩵⪸(⨈⫕a))) }

def op_Eb3b5OLN4l(a, b):
    return op_OeanynyRyO(op_CkOMZzyWNQ(op_dm7TFAx3aQ(a,a)),op_w6GhqmB5yQ(op_fbEriRfOkh(b,0),op_megm06wKyl(a)))

def op_count_Eb3b5OLN4l(a, b):
    count = op_count_dm7TFAx3aQ(a,a)+op_count_CkOMZzyWNQ(op_dm7TFAx3aQ(a,a))+op_count_fbEriRfOkh(b,0)+op_count_megm06wKyl(a)+op_count_w6GhqmB5yQ(op_fbEriRfOkh(b,0),op_megm06wKyl(a))+op_count_OeanynyRyO(op_CkOMZzyWNQ(op_dm7TFAx3aQ(a,a)),op_w6GhqmB5yQ(op_fbEriRfOkh(b,0),op_megm06wKyl(a)))
    return count


≕⪯∵a = { ((⋹≊(a∰⫋↗))⪚⩙≫) }

def op_IvKufRPntt(a):
    return op_4n53wtyJvv(op_AWU58WIKBx(op_rOM0xNeW5h(a)))

def op_count_IvKufRPntt(a):
    count = op_count_rOM0xNeW5h(a)+op_count_AWU58WIKBx(op_rOM0xNeW5h(a))+op_count_4n53wtyJvv(op_AWU58WIKBx(op_rOM0xNeW5h(a)))
    return count


a∶⨝⪖ = { (⨉⨳(a∮−a)) , if ((a⫯∌⊮932)<850 or a!=68) ; ((a⩍⋔∮a)⇒⪫(a⩍↜⊄a)) , else }

def op_n9KVwRB8mX(a):
    if (op_l3UfSkHKmp(a,932) < 850 or a != 68):
        return op_gR7mZCetwO(op_YBMuzGt8zL(a,a))
    else:
        return op_1nNvNtr5EF(op_sm9LEE0iOp(a,a),op_vqMs4v2zd9(a,a))

def op_count_n9KVwRB8mX(a):
    if (op_l3UfSkHKmp(a,932) < 850 or a != 68):
        count = op_count_YBMuzGt8zL(a,a)+op_count_gR7mZCetwO(op_YBMuzGt8zL(a,a))+op_count_l3UfSkHKmp(a,932)
    else:
        count = op_count_sm9LEE0iOp(a,a)+op_count_vqMs4v2zd9(a,a)+op_count_1nNvNtr5EF(op_sm9LEE0iOp(a,a),op_vqMs4v2zd9(a,a))
    return count


def op_riOHFf4PoD(a, b):
    return op_qQ6w0OSeOl(op_xCh8PLxVLz(b,op_oEhejt2brB(b)),op_9oRFW4UxXC(op_81T1MV3A3t(b,a)))

def op_count_riOHFf4PoD(a, b):
    count = op_count_oEhejt2brB(b)+op_count_xCh8PLxVLz(b,op_oEhejt2brB(b))+op_count_81T1MV3A3t(b,a)+op_count_9oRFW4UxXC(op_81T1MV3A3t(b,a))+op_count_qQ6w0OSeOl(op_xCh8PLxVLz(b,op_oEhejt2brB(b)),op_9oRFW4UxXC(op_81T1MV3A3t(b,a)))
    return count


≄∟a = { ((≮a)⨔≚≋(a⇵a)) , if (a≲⨛)!=154 ; ((a⇲a)⨩↹⊶(875⇺⇾∭a)) , else }

def op_0dCua54aHN(a):
    if op_SUeSE0uIXE(a) != 154:
        return op_Z57zeUYC9z(op_bVRrhJZyGv(a),op_kVSeQakJeK(a,a))
    else:
        return op_jA7JayHTtc(op_24nwyATvD7(a,a),op_NGAnFqtOri(875,a))

def op_count_0dCua54aHN(a):
    if op_SUeSE0uIXE(a) != 154:
        count = op_count_bVRrhJZyGv(a)+op_count_kVSeQakJeK(a,a)+op_count_Z57zeUYC9z(op_bVRrhJZyGv(a),op_kVSeQakJeK(a,a))+op_count_SUeSE0uIXE(a)
    else:
        count = op_count_24nwyATvD7(a,a)+op_count_NGAnFqtOri(875,a)+op_count_jA7JayHTtc(op_24nwyATvD7(a,a),op_NGAnFqtOri(875,a))
    return count


⫆⨖a = { (((a⋦)≪⊺⋟(⨘⩖a))∺((a∡≴⫵a)≱⨿≍(a√a))) , if a!=65 ; ((⋢≢⊵(a⩗⫗a))∛∙(⋎⪔(⋫⊙≮a))) , else }

def op_rIYIAV7sqA(a):
    if a != 65:
        return op_3lnCICep6t(op_6XI03Y2wNz(op_LJjZ19xYgc(a),op_WkNHjf0Wex(a)),op_BAhcMzLYu8(op_tJkeIIum6v(a,a),op_HX99UMoF54(a,a)))
    else:
        return op_kpf4jZBDQQ(op_pFblFzGPQ4(op_Xw48T5MRcn(a,a)),op_siwqT4HIjO(op_vgbR074ZVD(a)))

def op_count_rIYIAV7sqA(a):
    if a != 65:
        count = op_count_LJjZ19xYgc(a)+op_count_WkNHjf0Wex(a)+op_count_6XI03Y2wNz(op_LJjZ19xYgc(a),op_WkNHjf0Wex(a))+op_count_tJkeIIum6v(a,a)+op_count_HX99UMoF54(a,a)+op_count_BAhcMzLYu8(op_tJkeIIum6v(a,a),op_HX99UMoF54(a,a))+op_count_3lnCICep6t(op_6XI03Y2wNz(op_LJjZ19xYgc(a),op_WkNHjf0Wex(a)),op_BAhcMzLYu8(op_tJkeIIum6v(a,a),op_HX99UMoF54(a,a)))
    else:
        count = op_count_Xw48T5MRcn(a,a)+op_count_pFblFzGPQ4(op_Xw48T5MRcn(a,a))+op_count_vgbR074ZVD(a)+op_count_siwqT4HIjO(op_vgbR074ZVD(a))+op_count_kpf4jZBDQQ(op_pFblFzGPQ4(op_Xw48T5MRcn(a,a)),op_siwqT4HIjO(op_vgbR074ZVD(a)))
    return count


a∓≫⇀b = { (⪟⊰⊳a) , if ((a⨒⪏)>59 or (b⊠⇅352)<174) ; (b⩫⨔b) , else }

def op_q4gzqcV1e5(a, b):
    if (op_iyPDMiS9rP(a) > 59 or op_xcLjU86Y5m(b,352) < 174):
        return op_mfGmyP772u(a)
    else:
        return op_2uO7qEltAa(b,b)

def op_count_q4gzqcV1e5(a, b):
    if (op_iyPDMiS9rP(a) > 59 or op_xcLjU86Y5m(b,352) < 174):
        count = op_count_mfGmyP772u(a)+op_count_iyPDMiS9rP(a)+op_count_xcLjU86Y5m(b,352)
    else:
        count = op_count_2uO7qEltAa(b,b)
    return count


def op_Msg1Asbtgz(a):
    return op_4XcS8GkQlK(op_VWDfLP0KP3(a),op_N0OOnPqZzX(a,a))

def op_count_Msg1Asbtgz(a):
    count = op_count_VWDfLP0KP3(a)+op_count_N0OOnPqZzX(a,a)+op_count_4XcS8GkQlK(op_VWDfLP0KP3(a),op_N0OOnPqZzX(a,a))
    return count


def op_K0tNo9isS1(a):
    if (a >= 138 or op_i9eR4S00cU(a,127) >= 326):
        return a
    else:
        return op_yDwWaPWTxC(op_cXLsWb8329(op_nqPJMRuP12(a,14)),op_FcuCst4tGM(op_8oF9z9zmXi(186,a),op_lJ0NnniDH7(373,a)))

def op_count_K0tNo9isS1(a):
    if (a >= 138 or op_i9eR4S00cU(a,127) >= 326):
        count = 1
    else:
        count = op_count_nqPJMRuP12(a,14)+op_count_cXLsWb8329(op_nqPJMRuP12(a,14))+op_count_8oF9z9zmXi(186,a)+op_count_lJ0NnniDH7(373,a)+op_count_FcuCst4tGM(op_8oF9z9zmXi(186,a),op_lJ0NnniDH7(373,a))+op_count_yDwWaPWTxC(op_cXLsWb8329(op_nqPJMRuP12(a,14)),op_FcuCst4tGM(op_8oF9z9zmXi(186,a),op_lJ0NnniDH7(373,a)))
    return count


def op_hMvji3EdNB(a, b):
    return op_FiPrOu92E8(op_OXDGMFPWZM(a,b))

def op_count_hMvji3EdNB(a, b):
    count = op_count_OXDGMFPWZM(a,b)+op_count_FiPrOu92E8(op_OXDGMFPWZM(a,b))
    return count


a⇞≐b = { (((a⋉⇑≦a)∿⊵⋹(a⩧162))⋣⪑⫂((b⪕a)≆(∀⩰260))) , if (a⊾≜⊽190)>=4 ; (((a⇁⊧b)≌(⋎⊯⇰a))∿⊵⋹((b⩻⪈)⨌⩬≆(b⩿101))) , else }

def op_CpoBwi9SZd(a, b):
    if op_A6jTRgEchk(a,190) >= 4:
        return op_xecFjhARWK(op_k8X3umw52W(op_D6fLssyg6C(a,a),op_sQFXMycfVt(a,162)),op_vfo9xvTTbt(op_umQnsF7QlU(b,a),op_h37vUuUG8p(260)))
    else:
        return op_k8X3umw52W(op_lyWz822IDG(op_ZoB0c1gdhD(a,b),op_JxVXO72MGb(a)),op_9HK5Wpslhx(op_y8rNmhoTql(b),op_Lf60rts8ne(b,101)))

def op_count_CpoBwi9SZd(a, b):
    if op_A6jTRgEchk(a,190) >= 4:
        count = op_count_D6fLssyg6C(a,a)+op_count_sQFXMycfVt(a,162)+op_count_k8X3umw52W(op_D6fLssyg6C(a,a),op_sQFXMycfVt(a,162))+op_count_umQnsF7QlU(b,a)+op_count_h37vUuUG8p(260)+op_count_vfo9xvTTbt(op_umQnsF7QlU(b,a),op_h37vUuUG8p(260))+op_count_xecFjhARWK(op_k8X3umw52W(op_D6fLssyg6C(a,a),op_sQFXMycfVt(a,162)),op_vfo9xvTTbt(op_umQnsF7QlU(b,a),op_h37vUuUG8p(260)))+op_count_A6jTRgEchk(a,190)
    else:
        count = op_count_ZoB0c1gdhD(a,b)+op_count_JxVXO72MGb(a)+op_count_lyWz822IDG(op_ZoB0c1gdhD(a,b),op_JxVXO72MGb(a))+op_count_y8rNmhoTql(b)+op_count_Lf60rts8ne(b,101)+op_count_9HK5Wpslhx(op_y8rNmhoTql(b),op_Lf60rts8ne(b,101))+op_count_k8X3umw52W(op_lyWz822IDG(op_ZoB0c1gdhD(a,b),op_JxVXO72MGb(a)),op_9HK5Wpslhx(op_y8rNmhoTql(b),op_Lf60rts8ne(b,101)))
    return count


def op_KtlIDU3zbe(a):
    if op_cqZq8M6Jmk(a,729) < 665 or op_iI58LvO9D4(a) >= 126 or op_2NUgFhO1Pu(a) == 126:
        return op_vJ8u5f67e5(op_2duuZjdUdY(op_IwW236VD4Y(165,a)),op_3U6LfyZyIC(a,op_mzFbeuciqp(a)))
    else:
        return op_A6I87Ow00X(op_XhsOKxQTZa(op_YjSJMwvp8X(625,a),op_Z85d8e4hG9(105,a)),op_INF310Qlrg(op_grul1N2qWA(a,590)))

def op_count_KtlIDU3zbe(a):
    if op_cqZq8M6Jmk(a,729) < 665 or op_iI58LvO9D4(a) >= 126 or op_2NUgFhO1Pu(a) == 126:
        count = op_count_IwW236VD4Y(165,a)+op_count_2duuZjdUdY(op_IwW236VD4Y(165,a))+op_count_mzFbeuciqp(a)+op_count_3U6LfyZyIC(a,op_mzFbeuciqp(a))+op_count_vJ8u5f67e5(op_2duuZjdUdY(op_IwW236VD4Y(165,a)),op_3U6LfyZyIC(a,op_mzFbeuciqp(a)))+op_count_cqZq8M6Jmk(a,729)+op_count_iI58LvO9D4(a)+op_count_2NUgFhO1Pu(a)
    else:
        count = op_count_YjSJMwvp8X(625,a)+op_count_Z85d8e4hG9(105,a)+op_count_XhsOKxQTZa(op_YjSJMwvp8X(625,a),op_Z85d8e4hG9(105,a))+op_count_grul1N2qWA(a,590)+op_count_INF310Qlrg(op_grul1N2qWA(a,590))+op_count_A6I87Ow00X(op_XhsOKxQTZa(op_YjSJMwvp8X(625,a),op_Z85d8e4hG9(105,a)),op_INF310Qlrg(op_grul1N2qWA(a,590)))
    return count


a⋰⇗⨜b = { ((b⊁⪁∏(b∪≡a))⪊((37⫉∜⋩)⋭⊟⇚(b⪶⫣⇢a))) }

def op_enG62aICPc(a, b):
    return op_KwZuVxMAXT(op_NRyasOrsb7(b,op_IdpAe6zfUM(b,a)),op_R3ciTsHRPk(op_2duuZjdUdY(37),op_OTnzgDXvIu(b,a)))

def op_count_enG62aICPc(a, b):
    count = op_count_IdpAe6zfUM(b,a)+op_count_NRyasOrsb7(b,op_IdpAe6zfUM(b,a))+op_count_2duuZjdUdY(37)+op_count_OTnzgDXvIu(b,a)+op_count_R3ciTsHRPk(op_2duuZjdUdY(37),op_OTnzgDXvIu(b,a))+op_count_KwZuVxMAXT(op_NRyasOrsb7(b,op_IdpAe6zfUM(b,a)),op_R3ciTsHRPk(op_2duuZjdUdY(37),op_OTnzgDXvIu(b,a)))
    return count


def op_S37sf0AhWH(a, b):
    if op_p48QDZTAL3(a,259) <= 89:
        return b
    else:
        return op_8N2wDY1A35(op_ZwozX83IF2(894,47),op_Dk6V8i6EvU(41,a))

def op_count_S37sf0AhWH(a, b):
    if op_p48QDZTAL3(a,259) <= 89:
        count = 1
    else:
        count = op_count_ZwozX83IF2(894,47)+op_count_Dk6V8i6EvU(41,a)+op_count_8N2wDY1A35(op_ZwozX83IF2(894,47),op_Dk6V8i6EvU(41,a))
    return count


def op_JcdQPUYykp(a, b):
    return op_KvvgdUaMHJ(op_Ss7kna3OSG(207,op_jJmDmZERNq(a,b)))

def op_count_JcdQPUYykp(a, b):
    count = op_count_jJmDmZERNq(a,b)+op_count_Ss7kna3OSG(207,op_jJmDmZERNq(a,b))+op_count_KvvgdUaMHJ(op_Ss7kna3OSG(207,op_jJmDmZERNq(a,b)))
    return count


def op_1iANI4qsuN(a, b):
    return op_vomVLQX1UC(op_GzNIxZMYg4(op_cHlYcnNa7k(b)),op_vGFYg3DLww(op_gXjZ5wXXzC(a,a)))

def op_count_1iANI4qsuN(a, b):
    count = op_count_cHlYcnNa7k(b)+op_count_GzNIxZMYg4(op_cHlYcnNa7k(b))+op_count_gXjZ5wXXzC(a,a)+op_count_vGFYg3DLww(op_gXjZ5wXXzC(a,a))+op_count_vomVLQX1UC(op_GzNIxZMYg4(op_cHlYcnNa7k(b)),op_vGFYg3DLww(op_gXjZ5wXXzC(a,a)))
    return count


def op_c3u1Mb3Z3g(a, b):
    if (op_stqfiwE0x5(a) <= 232 or op_M2B6wyGvxF(b) == 132 or b <= 96):
        return op_6tyZHyy2Dj(op_TyhHQfemqq(op_sI3WE0f3wC(a,242)),op_VWDfLP0KP3(op_e8vy2cuFa5(a)))
    else:
        return op_2zAMpI9q0q(205,op_pHu44lZ3Lf(op_wDQhVHeL0p(a,a)))

def op_count_c3u1Mb3Z3g(a, b):
    if (op_stqfiwE0x5(a) <= 232 or op_M2B6wyGvxF(b) == 132 or b <= 96):
        count = op_count_sI3WE0f3wC(a,242)+op_count_TyhHQfemqq(op_sI3WE0f3wC(a,242))+op_count_e8vy2cuFa5(a)+op_count_VWDfLP0KP3(op_e8vy2cuFa5(a))+op_count_6tyZHyy2Dj(op_TyhHQfemqq(op_sI3WE0f3wC(a,242)),op_VWDfLP0KP3(op_e8vy2cuFa5(a)))+op_count_stqfiwE0x5(a)+op_count_M2B6wyGvxF(b)
    else:
        count = op_count_wDQhVHeL0p(a,a)+op_count_pHu44lZ3Lf(op_wDQhVHeL0p(a,a))+op_count_2zAMpI9q0q(205,op_pHu44lZ3Lf(op_wDQhVHeL0p(a,a)))
    return count


def op_i3YJat7gPt(a):
    return op_rxpJgHHUmx(op_r9oBSF0R1z(op_QTpwzC7kMJ(17),op_JjGBB9f9Hu(691,a)),op_kr7qJdbOdS(op_n7YBkKBAVq(222),op_nouZ5SZjt1(342)))

def op_count_i3YJat7gPt(a):
    count = op_count_QTpwzC7kMJ(17)+op_count_JjGBB9f9Hu(691,a)+op_count_r9oBSF0R1z(op_QTpwzC7kMJ(17),op_JjGBB9f9Hu(691,a))+op_count_n7YBkKBAVq(222)+op_count_nouZ5SZjt1(342)+op_count_kr7qJdbOdS(op_n7YBkKBAVq(222),op_nouZ5SZjt1(342))+op_count_rxpJgHHUmx(op_r9oBSF0R1z(op_QTpwzC7kMJ(17),op_JjGBB9f9Hu(691,a)),op_kr7qJdbOdS(op_n7YBkKBAVq(222),op_nouZ5SZjt1(342)))
    return count


a⊻≽b = { ((b⋬⨄39)⩍↜⊄(≨⇖1)) , if a!=85 ; (b⊲(a≋⊢≽)) , else }

def op_rqkQxB2FJA(a, b):
    if a != 85:
        return op_vqMs4v2zd9(op_iIYiXjcDWF(b,39),op_RDhvo9XtvN(1))
    else:
        return op_yMixD7ucMB(b,op_Lhk0YGb717(a))

def op_count_rqkQxB2FJA(a, b):
    if a != 85:
        count = op_count_iIYiXjcDWF(b,39)+op_count_RDhvo9XtvN(1)+op_count_vqMs4v2zd9(op_iIYiXjcDWF(b,39),op_RDhvo9XtvN(1))
    else:
        count = op_count_Lhk0YGb717(a)+op_count_yMixD7ucMB(b,op_Lhk0YGb717(a))
    return count


def op_1CEwJDtPkI(a):
    return op_2hIaDBSv9V(op_uz3GelrGYC(a,104),op_lyWz822IDG(a,a))

def op_count_1CEwJDtPkI(a):
    count = op_count_uz3GelrGYC(a,104)+op_count_lyWz822IDG(a,a)+op_count_2hIaDBSv9V(op_uz3GelrGYC(a,104),op_lyWz822IDG(a,a))
    return count


def op_EcPTTCI3Dr(a):
    return op_ZAXeO6SPf6(a,op_4n53wtyJvv(a))

def op_count_EcPTTCI3Dr(a):
    count = op_count_4n53wtyJvv(a)+op_count_ZAXeO6SPf6(a,op_4n53wtyJvv(a))
    return count


def op_VrGnI59HAQ(a):
    if op_6LdHjL8Q3j(a,37) > 459:
        return op_5uvYHDjeKN(395,517)
    else:
        return op_YLJhMbTGGW(a,170)

def op_count_VrGnI59HAQ(a):
    if op_6LdHjL8Q3j(a,37) > 459:
        count = op_count_5uvYHDjeKN(395,517)+op_count_6LdHjL8Q3j(a,37)
    else:
        count = op_count_YLJhMbTGGW(a,170)
    return count


def op_2ONCqMA7cw(a):
    return op_RqrPlJkxDo(a,622)

def op_count_2ONCqMA7cw(a):
    count = op_count_RqrPlJkxDo(a,622)
    return count


a∶↚≧b = { (⩚⇛b) , if (a⋤⊪⋲)!=329 ; (569≌b) , else }

def op_vXJGbGHkMp(a, b):
    if op_14kb9hdwTg(a) != 329:
        return op_pcWTvbDW7G(b)
    else:
        return op_lyWz822IDG(569,b)

def op_count_vXJGbGHkMp(a, b):
    if op_14kb9hdwTg(a) != 329:
        count = op_count_pcWTvbDW7G(b)+op_count_14kb9hdwTg(a)
    else:
        count = op_count_lyWz822IDG(569,b)
    return count


a⪵⫁b = { (⪇b) , if (a⫪⩝)==155 ; (a≯⇕⪜a) , else }

def op_FTEDQHIBc0(a, b):
    if op_CaMTA8SFOL(a) == 155:
        return op_yxiS2IFDsO(b)
    else:
        return op_bjCuXhL34U(a,a)

def op_count_FTEDQHIBc0(a, b):
    if op_CaMTA8SFOL(a) == 155:
        count = op_count_yxiS2IFDsO(b)+op_count_CaMTA8SFOL(a)
    else:
        count = op_count_bjCuXhL34U(a,a)
    return count


def op_PJ2hNkm4Rz(a, b):
    if op_ftvcUWxNvV(b,621) > 322:
        return op_hpqmaQFPrd(op_sbVr4eN2cT(b,b))
    else:
        return op_C6qVvj5REB(op_hb2mTwldPZ(a,0),b)

def op_count_PJ2hNkm4Rz(a, b):
    if op_ftvcUWxNvV(b,621) > 322:
        count = op_count_sbVr4eN2cT(b,b)+op_count_hpqmaQFPrd(op_sbVr4eN2cT(b,b))+op_count_ftvcUWxNvV(b,621)
    else:
        count = op_count_hb2mTwldPZ(a,0)+op_count_C6qVvj5REB(op_hb2mTwldPZ(a,0),b)
    return count


⫍⊫↯a = { (∍∣a) , if (∥⋽⩢a)!=305 ; (a⫸⋀⪒a) , else }

def op_VNf7PUV3qo(a):
    if op_BbhZtCIkEc(a) != 305:
        return op_pDsxZAaXPf(a)
    else:
        return op_fp9lZ9ehPv(a,a)

def op_count_VNf7PUV3qo(a):
    if op_BbhZtCIkEc(a) != 305:
        count = op_count_pDsxZAaXPf(a)+op_count_BbhZtCIkEc(a)
    else:
        count = op_count_fp9lZ9ehPv(a,a)
    return count


a≴↜⪚b = { ((b⩫⨒b)∤⨺) , if (a↬⇄)<514 ; (∆⊬(a⊨⊗689)) , else }

def op_bdM5TUjW8K(a, b):
    if op_zlqdqChXJz(a) < 514:
        return op_khWs9AK9qD(op_2FSIlumXX8(b,b))
    else:
        return op_O7qnFq89DT(op_jOsM6hcw3p(a,689))

def op_count_bdM5TUjW8K(a, b):
    if op_zlqdqChXJz(a) < 514:
        count = op_count_2FSIlumXX8(b,b)+op_count_khWs9AK9qD(op_2FSIlumXX8(b,b))+op_count_zlqdqChXJz(a)
    else:
        count = op_count_jOsM6hcw3p(a,689)+op_count_O7qnFq89DT(op_jOsM6hcw3p(a,689))
    return count


a⋇⋕⊼b = { ((a∧⊅a)∘⋙(≺↤≠273)) , if ((a⋋↞⩉910)!=61 and (b↚)<655 and a!=22) ; (⪱≕⊎(b⩫⨔a)) , else }

def op_xUN5nYQgcO(a, b):
    if (op_FtzCMUsONU(a,910) != 61 and op_FpZEcu9gEh(b) < 655 and a != 22):
        return op_tLbWsX1p1l(op_UCvcCjwfVd(a,a),op_Us0J5kHGWE(273))
    else:
        return op_zgUsEIwSkM(op_2uO7qEltAa(b,a))

def op_count_xUN5nYQgcO(a, b):
    if (op_FtzCMUsONU(a,910) != 61 and op_FpZEcu9gEh(b) < 655 and a != 22):
        count = op_count_UCvcCjwfVd(a,a)+op_count_Us0J5kHGWE(273)+op_count_tLbWsX1p1l(op_UCvcCjwfVd(a,a),op_Us0J5kHGWE(273))+op_count_FtzCMUsONU(a,910)+op_count_FpZEcu9gEh(b)
    else:
        count = op_count_2uO7qEltAa(b,a)+op_count_zgUsEIwSkM(op_2uO7qEltAa(b,a))
    return count


def op_bqKj6pJkK2(a):
    if a < 250 and op_HjyhWlPDg7(a,317) <= 74:
        return op_S03AjwDZDp(251)
    else:
        return op_4VWYPRYUty(a,a)

def op_count_bqKj6pJkK2(a):
    if a < 250 and op_HjyhWlPDg7(a,317) <= 74:
        count = op_count_S03AjwDZDp(251)+op_count_HjyhWlPDg7(a,317)
    else:
        count = op_count_4VWYPRYUty(a,a)
    return count


a⨧⪐⩳b = { ((a≉⫽⩁282)⇱∅⫼(b⪨≂a)) , if (a≗⪓∷)<=493 ; (⩩(b⨧↗⨷b)) , else }

def op_Tb8pNB3HOw(a, b):
    if op_xWKacU4PIG(a) <= 493:
        return op_jmRbPV3Y6D(op_VwMVCLUDXc(a,282),op_sdazOOVcIp(b,a))
    else:
        return op_kMhfGuqI2H(op_WSbXXWOizJ(b,b))

def op_count_Tb8pNB3HOw(a, b):
    if op_xWKacU4PIG(a) <= 493:
        count = op_count_VwMVCLUDXc(a,282)+op_count_sdazOOVcIp(b,a)+op_count_jmRbPV3Y6D(op_VwMVCLUDXc(a,282),op_sdazOOVcIp(b,a))+op_count_xWKacU4PIG(a)
    else:
        count = op_count_WSbXXWOizJ(b,b)+op_count_kMhfGuqI2H(op_WSbXXWOizJ(b,b))
    return count


def op_sNGv2sT2NR(a):
    return op_yH8AgI9qjb(op_4mnGiJ3ceb(op_VP5j3Cbanc(a,a),83),op_yzfsDkmV9Q(39,op_HX99UMoF54(74,a)))

def op_count_sNGv2sT2NR(a):
    count = op_count_VP5j3Cbanc(a,a)+op_count_4mnGiJ3ceb(op_VP5j3Cbanc(a,a),83)+op_count_HX99UMoF54(74,a)+op_count_yzfsDkmV9Q(39,op_HX99UMoF54(74,a))+op_count_yH8AgI9qjb(op_4mnGiJ3ceb(op_VP5j3Cbanc(a,a),83),op_yzfsDkmV9Q(39,op_HX99UMoF54(74,a)))
    return count


⋖⋳a = { (a≖⋷⨓a) , if ((a⋩⊍⪏)<55 and (a⋢≻⪫)<=552 and (a/⋨140)<=136) ; (((a⊒⊉⇡a)⩅∏⇵(a⩂a))⩵∡((a⪭≯131)⋾⨃∁(⫹⋽⋑a))) , else }

def op_Col1jebckY(a):
    if (op_jNabHRqSXv(a) < 55 and op_3L9TutPFnE(a) <= 552 and op_cdLdONPVMp(a,140) <= 136):
        return op_3ZAiUOk8Uv(a,a)
    else:
        return op_Y7wcNGrDQJ(op_KqbUo6ISj2(op_cu7YvshKwT(a,a),op_CfxG4j8dfZ(a,a)),op_212REbPD9h(op_XAx5wpdLa6(a,131),op_G9uqLco1ym(a)))

def op_count_Col1jebckY(a):
    if (op_jNabHRqSXv(a) < 55 and op_3L9TutPFnE(a) <= 552 and op_cdLdONPVMp(a,140) <= 136):
        count = op_count_3ZAiUOk8Uv(a,a)+op_count_jNabHRqSXv(a)+op_count_3L9TutPFnE(a)+op_count_cdLdONPVMp(a,140)
    else:
        count = op_count_cu7YvshKwT(a,a)+op_count_CfxG4j8dfZ(a,a)+op_count_KqbUo6ISj2(op_cu7YvshKwT(a,a),op_CfxG4j8dfZ(a,a))+op_count_XAx5wpdLa6(a,131)+op_count_G9uqLco1ym(a)+op_count_212REbPD9h(op_XAx5wpdLa6(a,131),op_G9uqLco1ym(a))+op_count_Y7wcNGrDQJ(op_KqbUo6ISj2(op_cu7YvshKwT(a,a),op_CfxG4j8dfZ(a,a)),op_212REbPD9h(op_XAx5wpdLa6(a,131),op_G9uqLco1ym(a)))
    return count


def op_tLTXibYC0w(a, b):
    return op_oAMbWzt9Wf(op_NajNryHj1W(b),op_ecnbvylZ8f(a))

def op_count_tLTXibYC0w(a, b):
    count = op_count_NajNryHj1W(b)+op_count_ecnbvylZ8f(a)+op_count_oAMbWzt9Wf(op_NajNryHj1W(b),op_ecnbvylZ8f(a))
    return count


def op_k17EbNWRXX(a):
    if op_BXjDhA3pkh(a,916) >= 414:
        return 58
    else:
        return op_fp9lZ9ehPv(a,a)

def op_count_k17EbNWRXX(a):
    if op_BXjDhA3pkh(a,916) >= 414:
        count = op_count_BXjDhA3pkh(a,916)
    else:
        count = op_count_fp9lZ9ehPv(a,a)
    return count


a∫⪘↼b = { (⋮b) , if a<5 ; (≿⇫(b⇓⊀⋳167)) , else }

def op_oUxhW7fwR3(a, b):
    if a < 5:
        return op_l6yaTd3a70(b)
    else:
        return op_3A1e9zoj8h(op_V9cNOZsTu7(b,167))

def op_count_oUxhW7fwR3(a, b):
    if a < 5:
        count = op_count_l6yaTd3a70(b)
    else:
        count = op_count_V9cNOZsTu7(b,167)+op_count_3A1e9zoj8h(op_V9cNOZsTu7(b,167))
    return count


a⨚⇐b = { (∯⫛⫺((a⨾↢≹b)∄⫴⩙(⨦⪝a))) , if (a⊍)>122 ; ((⨎⪎(244∻742))∿⨢≣((540↷≇b)⫮≫(b⇝⋩⪿b))) , else }

def op_VfPoabr6Fq(a, b):
    if op_3nqY3DE9mg(a) > 122:
        return op_3CLqHJqhH3(op_yxKcTy0jFa(op_k1GXYZqJ0v(a,b),op_SUjycxNXIR(a)))
    else:
        return op_hZqwc3tfoN(op_1M6MJr8P6q(op_0Vcvu1QG1k(244,742)),op_n03n7aMV2f(op_KoHHRSveB1(540,b),op_5tUnBSHxYC(b,b)))

def op_count_VfPoabr6Fq(a, b):
    if op_3nqY3DE9mg(a) > 122:
        count = op_count_k1GXYZqJ0v(a,b)+op_count_SUjycxNXIR(a)+op_count_yxKcTy0jFa(op_k1GXYZqJ0v(a,b),op_SUjycxNXIR(a))+op_count_3CLqHJqhH3(op_yxKcTy0jFa(op_k1GXYZqJ0v(a,b),op_SUjycxNXIR(a)))+op_count_3nqY3DE9mg(a)
    else:
        count = op_count_0Vcvu1QG1k(244,742)+op_count_1M6MJr8P6q(op_0Vcvu1QG1k(244,742))+op_count_KoHHRSveB1(540,b)+op_count_5tUnBSHxYC(b,b)+op_count_n03n7aMV2f(op_KoHHRSveB1(540,b),op_5tUnBSHxYC(b,b))+op_count_hZqwc3tfoN(op_1M6MJr8P6q(op_0Vcvu1QG1k(244,742)),op_n03n7aMV2f(op_KoHHRSveB1(540,b),op_5tUnBSHxYC(b,b)))
    return count


def op_4tI0QM7QM3(a, b):
    return op_3H1LgMeZyw(op_yCexBdt62W(307,b),op_y1jwDfX567(b,a))

def op_count_4tI0QM7QM3(a, b):
    count = op_count_yCexBdt62W(307,b)+op_count_y1jwDfX567(b,a)+op_count_3H1LgMeZyw(op_yCexBdt62W(307,b),op_y1jwDfX567(b,a))
    return count


a⨏⪺↜b = { (((197⇆⨓≜)⨽∌(86↳⋕⋟249))⫵⪣((a⩽⩡b)⪭≯(a⨧⨞b))) , if (a≱↰∻)>452 ; (⇓∖↽((a≍⇠∡a)↣⩾⨿(691⨬↭b))) , else }

def op_xznLpEMHVS(a, b):
    if op_ur8SYGUlsu(a) > 452:
        return op_I6rCAT91Kg(op_9samAPKr6k(op_KvvgdUaMHJ(197),op_WYdstNaOZK(86,249)),op_XAx5wpdLa6(op_zFNL8mZEFB(a,b),op_FhO8PvMI2N(a,b)))
    else:
        return op_kR5rHuKjR1(op_Kgf5n7vQLW(op_4XUogC2HX8(a,a),op_VGLqItLMW8(691,b)))

def op_count_xznLpEMHVS(a, b):
    if op_ur8SYGUlsu(a) > 452:
        count = op_count_KvvgdUaMHJ(197)+op_count_WYdstNaOZK(86,249)+op_count_9samAPKr6k(op_KvvgdUaMHJ(197),op_WYdstNaOZK(86,249))+op_count_zFNL8mZEFB(a,b)+op_count_FhO8PvMI2N(a,b)+op_count_XAx5wpdLa6(op_zFNL8mZEFB(a,b),op_FhO8PvMI2N(a,b))+op_count_I6rCAT91Kg(op_9samAPKr6k(op_KvvgdUaMHJ(197),op_WYdstNaOZK(86,249)),op_XAx5wpdLa6(op_zFNL8mZEFB(a,b),op_FhO8PvMI2N(a,b)))+op_count_ur8SYGUlsu(a)
    else:
        count = op_count_4XUogC2HX8(a,a)+op_count_VGLqItLMW8(691,b)+op_count_Kgf5n7vQLW(op_4XUogC2HX8(a,a),op_VGLqItLMW8(691,b))+op_count_kR5rHuKjR1(op_Kgf5n7vQLW(op_4XUogC2HX8(a,a),op_VGLqItLMW8(691,b)))
    return count


a↢⩈ = { (⊊≼∋(a⇭⇷a)) , if (a∽⫄309)!=110 ; ((a⪏⊘⩚a)⫏≍(a⫖a)) , else }

def op_nouZh6MM01(a):
    if op_RBKPHo7Qd9(a,309) != 110:
        return op_FWz7pXsQhA(op_g0QzokjYge(a,a))
    else:
        return op_77QyojrO9P(op_KQPIbLmy7B(a,a),op_aEfDsFgi2n(a,a))

def op_count_nouZh6MM01(a):
    if op_RBKPHo7Qd9(a,309) != 110:
        count = op_count_g0QzokjYge(a,a)+op_count_FWz7pXsQhA(op_g0QzokjYge(a,a))+op_count_RBKPHo7Qd9(a,309)
    else:
        count = op_count_KQPIbLmy7B(a,a)+op_count_aEfDsFgi2n(a,a)+op_count_77QyojrO9P(op_KQPIbLmy7B(a,a),op_aEfDsFgi2n(a,a))
    return count


a⩎∌∕b = { (((a⇺⩨⨚851)⋊⪅(⊊≼∋a))∩⋛((⊿∔101)⪜⋗⇢(a∬⊓b))) }

def op_SRcFt4I7MO(a, b):
    return op_F2hu8gJOus(op_yH8AgI9qjb(op_fRgCzqsvkF(a,851),op_FWz7pXsQhA(a)),op_MkFge0F0HF(op_8VBTcuE82Z(101),op_y0qJaDkwff(a,b)))

def op_count_SRcFt4I7MO(a, b):
    count = op_count_fRgCzqsvkF(a,851)+op_count_FWz7pXsQhA(a)+op_count_yH8AgI9qjb(op_fRgCzqsvkF(a,851),op_FWz7pXsQhA(a))+op_count_8VBTcuE82Z(101)+op_count_y0qJaDkwff(a,b)+op_count_MkFge0F0HF(op_8VBTcuE82Z(101),op_y0qJaDkwff(a,b))+op_count_F2hu8gJOus(op_yH8AgI9qjb(op_fRgCzqsvkF(a,851),op_FWz7pXsQhA(a)),op_MkFge0F0HF(op_8VBTcuE82Z(101),op_y0qJaDkwff(a,b)))
    return count


a⪢⇴⩮b = { (1⩡≅b) , if (a≎⋽⪿)!=326 ; (a⋹) , else }

def op_Dw3T4FDz7o(a, b):
    if op_Mp74FtG4yY(a) != 326:
        return op_xwio6vWodV(1,b)
    else:
        return op_opAxDRczMr(a)

def op_count_Dw3T4FDz7o(a, b):
    if op_Mp74FtG4yY(a) != 326:
        count = op_count_xwio6vWodV(1,b)+op_count_Mp74FtG4yY(a)
    else:
        count = op_count_opAxDRczMr(a)
    return count


def op_iVdAyP3CgB(a):
    return op_hfQ6xxn5As(op_q3K4svJW0A(50,op_GGuaFouzBB(a,a)))

def op_count_iVdAyP3CgB(a):
    count = op_count_GGuaFouzBB(a,a)+op_count_q3K4svJW0A(50,op_GGuaFouzBB(a,a))+op_count_hfQ6xxn5As(op_q3K4svJW0A(50,op_GGuaFouzBB(a,a)))
    return count


def op_VY2mgyIDKZ(a):
    return op_OXDGMFPWZM(a,a)

def op_count_VY2mgyIDKZ(a):
    count = op_count_OXDGMFPWZM(a,a)
    return count


def op_CfygsQB80v(a):
    return op_LruclEJH8T(op_GAUYhZJcYo(op_HPE80N5E2e(a,a)),a)

def op_count_CfygsQB80v(a):
    count = op_count_HPE80N5E2e(a,a)+op_count_GAUYhZJcYo(op_HPE80N5E2e(a,a))+op_count_LruclEJH8T(op_GAUYhZJcYo(op_HPE80N5E2e(a,a)),a)
    return count


⨌↟⨿a = { (⩱⇑(a⪑⨹a)) , if (↰⨔a)>198 and (∪a)==295 ; (⇁⨣⪵(a↯≯a)) , else }

def op_jcDGFQi5BE(a):
    if op_vrtL6VfB4X(a) > 198 and op_GUAyslFuBw(a) == 295:
        return op_KHep7MR1Du(op_QGPUvAHwG1(a,a))
    else:
        return op_inkyxCbjAn(op_tQzHSwedHX(a,a))

def op_count_jcDGFQi5BE(a):
    if op_vrtL6VfB4X(a) > 198 and op_GUAyslFuBw(a) == 295:
        count = op_count_QGPUvAHwG1(a,a)+op_count_KHep7MR1Du(op_QGPUvAHwG1(a,a))+op_count_vrtL6VfB4X(a)+op_count_GUAyslFuBw(a)
    else:
        count = op_count_tQzHSwedHX(a,a)+op_count_inkyxCbjAn(op_tQzHSwedHX(a,a))
    return count


def op_CpnGfSPGKv(a):
    return op_aCwnCp9fG4(op_oUjunzriDa(142,a),op_TpPTUOHfaN(a,a))

def op_count_CpnGfSPGKv(a):
    count = op_count_oUjunzriDa(142,a)+op_count_TpPTUOHfaN(a,a)+op_count_aCwnCp9fG4(op_oUjunzriDa(142,a),op_TpPTUOHfaN(a,a))
    return count


def op_2tJ4hZF2b5(a):
    return op_gBVRdjwhPO(op_lyWz822IDG(a,a),op_6oBLqlZVSO(a,a))

def op_count_2tJ4hZF2b5(a):
    count = op_count_lyWz822IDG(a,a)+op_count_6oBLqlZVSO(a,a)+op_count_gBVRdjwhPO(op_lyWz822IDG(a,a),op_6oBLqlZVSO(a,a))
    return count


a⊮≆b = { ((∂(a⋍a))↾⋢⨛(66⨃∂≰(⨾⩌⪕378))) , if a>=2 ; (((135⋍⇥⫞b)⊸⋶(⊾≁b))↖⫁) , else }

def op_pmmy7H9tBR(a, b):
    if a >= 2:
        return op_wrRbCGIh8z(op_Uaa54Peajs(op_gXjZ5wXXzC(a,a)),op_wcdrXsDMxZ(66,op_uRbtvZtfgl(378)))
    else:
        return op_zvaTLPeEL2(op_hAnHtMy7w3(op_x6jq9dVbvD(135,b),op_n4rX4TPmCH(b)))

def op_count_pmmy7H9tBR(a, b):
    if a >= 2:
        count = op_count_gXjZ5wXXzC(a,a)+op_count_Uaa54Peajs(op_gXjZ5wXXzC(a,a))+op_count_uRbtvZtfgl(378)+op_count_wcdrXsDMxZ(66,op_uRbtvZtfgl(378))+op_count_wrRbCGIh8z(op_Uaa54Peajs(op_gXjZ5wXXzC(a,a)),op_wcdrXsDMxZ(66,op_uRbtvZtfgl(378)))
    else:
        count = op_count_x6jq9dVbvD(135,b)+op_count_n4rX4TPmCH(b)+op_count_hAnHtMy7w3(op_x6jq9dVbvD(135,b),op_n4rX4TPmCH(b))+op_count_zvaTLPeEL2(op_hAnHtMy7w3(op_x6jq9dVbvD(135,b),op_n4rX4TPmCH(b)))
    return count


def op_oHDyjg9Pf9(a):
    if op_wZLuOmreA3(a,215) <= 232:
        return op_8rgMBn28gJ(op_dngTJzlZ0N(338,a),op_5uvYHDjeKN(a,a))
    else:
        return op_V5CeSbxfAV(op_8TxtlIfyZU(a))

def op_count_oHDyjg9Pf9(a):
    if op_wZLuOmreA3(a,215) <= 232:
        count = op_count_dngTJzlZ0N(338,a)+op_count_5uvYHDjeKN(a,a)+op_count_8rgMBn28gJ(op_dngTJzlZ0N(338,a),op_5uvYHDjeKN(a,a))+op_count_wZLuOmreA3(a,215)
    else:
        count = op_count_8TxtlIfyZU(a)+op_count_V5CeSbxfAV(op_8TxtlIfyZU(a))
    return count


⨯∛⨐a = { ((⪭⩑⪱166)⋾≒(a≎a)) , if (a⇡⨐⪆77)<388 ; ((a⋰55)⫚⨜⫂(a⪭≯a)) , else }

def op_qPSYXAvoQL(a):
    if op_snJ4WsMDae(a,77) < 388:
        return op_rtRUSnrYdo(op_SIgE0bArFf(166),op_kvyeM8WEH2(a,a))
    else:
        return op_fSM0JS9f3g(op_lDgtejlvTV(a,55),op_XAx5wpdLa6(a,a))

def op_count_qPSYXAvoQL(a):
    if op_snJ4WsMDae(a,77) < 388:
        count = op_count_SIgE0bArFf(166)+op_count_kvyeM8WEH2(a,a)+op_count_rtRUSnrYdo(op_SIgE0bArFf(166),op_kvyeM8WEH2(a,a))+op_count_snJ4WsMDae(a,77)
    else:
        count = op_count_lDgtejlvTV(a,55)+op_count_XAx5wpdLa6(a,a)+op_count_fSM0JS9f3g(op_lDgtejlvTV(a,55),op_XAx5wpdLa6(a,a))
    return count


def op_BPHwkJf7tU(a):
    return op_hJhozpRboY(op_MKCxaPE9tg(a,op_USFcXE7UDz(a)))

def op_count_BPHwkJf7tU(a):
    count = op_count_USFcXE7UDz(a)+op_count_MKCxaPE9tg(a,op_USFcXE7UDz(a))+op_count_hJhozpRboY(op_MKCxaPE9tg(a,op_USFcXE7UDz(a)))
    return count


def op_7UVQsOXTH2(a):
    return op_inkyxCbjAn(op_aEZ9JgCP8a(279,a))

def op_count_7UVQsOXTH2(a):
    count = op_count_aEZ9JgCP8a(279,a)+op_count_inkyxCbjAn(op_aEZ9JgCP8a(279,a))
    return count


a≕⇐⨆b = { (a∳≍⊱) , if (b≦↬416)!=6 ; (⋳⨊⪊a) , else }

def op_p8dLwm4J02(a, b):
    if op_z4Ajd36hBy(b,416) != 6:
        return op_cXLsWb8329(a)
    else:
        return op_JIizHpWMWm(a)

def op_count_p8dLwm4J02(a, b):
    if op_z4Ajd36hBy(b,416) != 6:
        count = op_count_cXLsWb8329(a)+op_count_z4Ajd36hBy(b,416)
    else:
        count = op_count_JIizHpWMWm(a)
    return count


a⫣⩪ = { (((a⊷⪂a)⪶⊲⪺(a⇆⨓≜))⪦⪊((a⇰⋂↨a)⋰⩟(33≮⫰a))) }

def op_6rzvoOGHFs(a):
    return op_DykcjiQqpf(op_RCyfEiCqYx(op_QnvrtN8efL(a,a),op_KvvgdUaMHJ(a)),op_GNCmgv9kPR(op_8eNi29xLc8(a,a),op_RXTe6wbwcz(33,a)))

def op_count_6rzvoOGHFs(a):
    count = op_count_QnvrtN8efL(a,a)+op_count_KvvgdUaMHJ(a)+op_count_RCyfEiCqYx(op_QnvrtN8efL(a,a),op_KvvgdUaMHJ(a))+op_count_8eNi29xLc8(a,a)+op_count_RXTe6wbwcz(33,a)+op_count_GNCmgv9kPR(op_8eNi29xLc8(a,a),op_RXTe6wbwcz(33,a))+op_count_DykcjiQqpf(op_RCyfEiCqYx(op_QnvrtN8efL(a,a),op_KvvgdUaMHJ(a)),op_GNCmgv9kPR(op_8eNi29xLc8(a,a),op_RXTe6wbwcz(33,a)))
    return count


def op_1cY6SLuIWe(a):
    return op_Uaa54Peajs(op_ZuEtOFAVcg(a,a))

def op_count_1cY6SLuIWe(a):
    count = op_count_ZuEtOFAVcg(a,a)+op_count_Uaa54Peajs(op_ZuEtOFAVcg(a,a))
    return count


def op_RkhNJIRmlu(a):
    return op_GMFhbk3k8M(op_FBAhYX3tc6(a))

def op_count_RkhNJIRmlu(a):
    count = op_count_FBAhYX3tc6(a)+op_count_GMFhbk3k8M(op_FBAhYX3tc6(a))
    return count


a≬⪤⋆b = { ((b⋿⫂⩢a)⋦⊭(≬⫏b)) , if (b⪈)!=68 or (⨪↺a)<=17 ; ((b⪞⇇b)⫹⇡) , else }

def op_IfqenH30XF(a, b):
    if op_45CgEd1X7v(b) != 68 or op_YsdJDCpWnV(a) <= 17:
        return op_hGWjAarRlq(op_Myl0MYZ3R6(b,a),op_v0IW8TjYV5(b))
    else:
        return op_h3p4FFU9wb(op_VP5j3Cbanc(b,b))

def op_count_IfqenH30XF(a, b):
    if op_45CgEd1X7v(b) != 68 or op_YsdJDCpWnV(a) <= 17:
        count = op_count_Myl0MYZ3R6(b,a)+op_count_v0IW8TjYV5(b)+op_count_hGWjAarRlq(op_Myl0MYZ3R6(b,a),op_v0IW8TjYV5(b))+op_count_45CgEd1X7v(b)+op_count_YsdJDCpWnV(a)
    else:
        count = op_count_VP5j3Cbanc(b,b)+op_count_h3p4FFU9wb(op_VP5j3Cbanc(b,b))
    return count


a↶⋜⇮b = { ((b⩵⨫⋙a)⇪⋭) , if (a⫹⇡)==131 ; ((a⩟⨤⇞348)↟(a⫭⨏b)) , else }

def op_XpkqFL0htT(a, b):
    if op_h3p4FFU9wb(a) == 131:
        return op_Z8Yg6dlDSp(op_DF3VBmRtJs(b,a))
    else:
        return op_PwiXWqpBTd(op_ebriStd5ZX(a,348),op_4j7MdOEvYM(a,b))

def op_count_XpkqFL0htT(a, b):
    if op_h3p4FFU9wb(a) == 131:
        count = op_count_DF3VBmRtJs(b,a)+op_count_Z8Yg6dlDSp(op_DF3VBmRtJs(b,a))+op_count_h3p4FFU9wb(a)
    else:
        count = op_count_ebriStd5ZX(a,348)+op_count_4j7MdOEvYM(a,b)+op_count_PwiXWqpBTd(op_ebriStd5ZX(a,348),op_4j7MdOEvYM(a,b))
    return count


def op_HSvpTKktks(a, b):
    if op_566Ks3yvH1(a) == 171 or op_bSZcsXjNEf(a,31) != 209 or b >= 59:
        return op_TUqMYBSV1P(op_7IRjtmSsUO(a,120),op_hUy8stm4fT(a,61))
    else:
        return op_ZsTN7hvPwQ(op_qkJOzkc7yA(a,a))

def op_count_HSvpTKktks(a, b):
    if op_566Ks3yvH1(a) == 171 or op_bSZcsXjNEf(a,31) != 209 or b >= 59:
        count = op_count_7IRjtmSsUO(a,120)+op_count_hUy8stm4fT(a,61)+op_count_TUqMYBSV1P(op_7IRjtmSsUO(a,120),op_hUy8stm4fT(a,61))+op_count_566Ks3yvH1(a)+op_count_bSZcsXjNEf(a,31)
    else:
        count = op_count_qkJOzkc7yA(a,a)+op_count_ZsTN7hvPwQ(op_qkJOzkc7yA(a,a))
    return count


def op_1WUsT3zmV5(a, b):
    return op_Dwi3vkQv6Q(op_gFZ7uJLGkE(a,b),op_ZsTN7hvPwQ(141))

def op_count_1WUsT3zmV5(a, b):
    count = op_count_gFZ7uJLGkE(a,b)+op_count_ZsTN7hvPwQ(141)+op_count_Dwi3vkQv6Q(op_gFZ7uJLGkE(a,b),op_ZsTN7hvPwQ(141))
    return count


def op_7UA3PdtRtj(a, b):
    return op_ODihFFDUGL(op_FIrfzHNbUm(a),op_VP5j3Cbanc(153,b))

def op_count_7UA3PdtRtj(a, b):
    count = op_count_FIrfzHNbUm(a)+op_count_VP5j3Cbanc(153,b)+op_count_ODihFFDUGL(op_FIrfzHNbUm(a),op_VP5j3Cbanc(153,b))
    return count


⫎↷∧a = { (∕≊(a⪥∱≎a)) , if (a⫔↣⋰942)==264 ; ((a⋚⪻∡a)⋹) , else }

def op_3tf7miun2q(a):
    if op_1tOBPiOaCx(a,942) == 264:
        return op_Sci4aeBW9u(op_mV4AiYyFkN(a,a))
    else:
        return op_opAxDRczMr(op_aRc3ADMqhx(a,a))

def op_count_3tf7miun2q(a):
    if op_1tOBPiOaCx(a,942) == 264:
        count = op_count_mV4AiYyFkN(a,a)+op_count_Sci4aeBW9u(op_mV4AiYyFkN(a,a))+op_count_1tOBPiOaCx(a,942)
    else:
        count = op_count_aRc3ADMqhx(a,a)+op_count_opAxDRczMr(op_aRc3ADMqhx(a,a))
    return count


def op_nwr8ycvMSi(a):
    return op_kMhfGuqI2H(op_qxqspddX8k(a,a))

def op_count_nwr8ycvMSi(a):
    count = op_count_qxqspddX8k(a,a)+op_count_kMhfGuqI2H(op_qxqspddX8k(a,a))
    return count


def op_wdvQHhFUwU(a):
    return op_1eCjFl0mb9(op_jOLWJh9ixj(op_zVvP8pktau(a)),op_ZsTN7hvPwQ(op_MlMyrKhIQ5(a,891)))

def op_count_wdvQHhFUwU(a):
    count = op_count_zVvP8pktau(a)+op_count_jOLWJh9ixj(op_zVvP8pktau(a))+op_count_MlMyrKhIQ5(a,891)+op_count_ZsTN7hvPwQ(op_MlMyrKhIQ5(a,891))+op_count_1eCjFl0mb9(op_jOLWJh9ixj(op_zVvP8pktau(a)),op_ZsTN7hvPwQ(op_MlMyrKhIQ5(a,891)))
    return count


a↯⩺⋷ = { (∆⊬a) , if a>366 ; (a⊭⪸a) , else }

def op_cbngJgZg4z(a):
    if a > 366:
        return op_O7qnFq89DT(a)
    else:
        return op_du21YARcKU(a,a)

def op_count_cbngJgZg4z(a):
    if a > 366:
        count = op_count_O7qnFq89DT(a)
    else:
        count = op_count_du21YARcKU(a,a)
    return count


def op_IW722yxEqq(a, b):
    return op_AJW4C0rBPs(op_O7qnFq89DT(a),op_aFodGWjv1K(b,71))

def op_count_IW722yxEqq(a, b):
    count = op_count_O7qnFq89DT(a)+op_count_aFodGWjv1K(b,71)+op_count_AJW4C0rBPs(op_O7qnFq89DT(a),op_aFodGWjv1K(b,71))
    return count


def op_7AnkpbSiLG(a):
    if op_OCY0vtSxxj(a) < 6:
        return op_KvvgdUaMHJ(a)
    else:
        return op_iIjyEn7CwK(597,116)

def op_count_7AnkpbSiLG(a):
    if op_OCY0vtSxxj(a) < 6:
        count = op_count_KvvgdUaMHJ(a)+op_count_OCY0vtSxxj(a)
    else:
        count = op_count_iIjyEn7CwK(597,116)
    return count


∰⇼⋺a = { (a⨳⋭⩊(a∇∹a)) , if (a⋢⫂402)>=16 ; ((a⩉≙⋏a)⋧⫖∥) , else }

def op_grICbPvdgS(a):
    if op_MapNMPHSAz(a,402) >= 16:
        return op_hI7k9NMHqW(a,op_NQx0zRYggH(a,a))
    else:
        return op_GMFhbk3k8M(op_K6E8QFs5tY(a,a))

def op_count_grICbPvdgS(a):
    if op_MapNMPHSAz(a,402) >= 16:
        count = op_count_NQx0zRYggH(a,a)+op_count_hI7k9NMHqW(a,op_NQx0zRYggH(a,a))+op_count_MapNMPHSAz(a,402)
    else:
        count = op_count_K6E8QFs5tY(a,a)+op_count_GMFhbk3k8M(op_K6E8QFs5tY(a,a))
    return count


def op_eItzkhEZsW(a):
    return op_P4ywzuOpaq(op_kMhfGuqI2H(a),op_lwHaAYXP2r(504,573))

def op_count_eItzkhEZsW(a):
    count = op_count_kMhfGuqI2H(a)+op_count_lwHaAYXP2r(504,573)+op_count_P4ywzuOpaq(op_kMhfGuqI2H(a),op_lwHaAYXP2r(504,573))
    return count


a↹⊡ = { ((∕⋢∷(273↯⪎⨼a))⇺⇾∭((271⪛↤≞a)∨⋤⇐(a⪪⊛a))) , if (⫢⨛a)<=384 ; (((a⫍⊽⨕a)≔≋⊏(⇮∭a))⨏⨮((a⋦∨)↦)) , else }

def op_FvJSJSmfVN(a):
    if op_4Dyllu4mHO(a) <= 384:
        return op_NGAnFqtOri(op_YVWMPToV05(op_cfzbWQPbWn(273,a)),op_XAozx2NkZN(op_DVTowVGif0(271,a),op_zwyeAPEIkd(a,a)))
    else:
        return op_kPwFPZlApY(op_lyFH5idjNF(op_ZwyS8wrxVQ(a,a),op_d2ZuDAaqmA(a)),op_fFznvYxMfW(op_ukh9136rcV(a)))

def op_count_FvJSJSmfVN(a):
    if op_4Dyllu4mHO(a) <= 384:
        count = op_count_cfzbWQPbWn(273,a)+op_count_YVWMPToV05(op_cfzbWQPbWn(273,a))+op_count_DVTowVGif0(271,a)+op_count_zwyeAPEIkd(a,a)+op_count_XAozx2NkZN(op_DVTowVGif0(271,a),op_zwyeAPEIkd(a,a))+op_count_NGAnFqtOri(op_YVWMPToV05(op_cfzbWQPbWn(273,a)),op_XAozx2NkZN(op_DVTowVGif0(271,a),op_zwyeAPEIkd(a,a)))+op_count_4Dyllu4mHO(a)
    else:
        count = op_count_ZwyS8wrxVQ(a,a)+op_count_d2ZuDAaqmA(a)+op_count_lyFH5idjNF(op_ZwyS8wrxVQ(a,a),op_d2ZuDAaqmA(a))+op_count_ukh9136rcV(a)+op_count_fFznvYxMfW(op_ukh9136rcV(a))+op_count_kPwFPZlApY(op_lyFH5idjNF(op_ZwyS8wrxVQ(a,a),op_d2ZuDAaqmA(a)),op_fFznvYxMfW(op_ukh9136rcV(a)))
    return count


a⪳⩳⨊ = { (⊶↦⫞a) , if (a⨧⨞733)>=473 and (a⩛⋈)<=91 ; (⇁⨣⪵a) , else }

def op_adv2hjCBC8(a):
    if op_FhO8PvMI2N(a,733) >= 473 and op_Hua5FZk7i7(a) <= 91:
        return op_K1RGqz2nJX(a)
    else:
        return op_inkyxCbjAn(a)

def op_count_adv2hjCBC8(a):
    if op_FhO8PvMI2N(a,733) >= 473 and op_Hua5FZk7i7(a) <= 91:
        count = op_count_K1RGqz2nJX(a)+op_count_FhO8PvMI2N(a,733)+op_count_Hua5FZk7i7(a)
    else:
        count = op_count_inkyxCbjAn(a)
    return count


def op_PHR1CEM5Im(a):
    if a > 821:
        return op_EzIxTvi3nW(op_l3UfSkHKmp(a,232))
    else:
        return op_XAx5wpdLa6(op_ljFmKPBYlm(145),op_k8QYoddjpG(a))

def op_count_PHR1CEM5Im(a):
    if a > 821:
        count = op_count_l3UfSkHKmp(a,232)+op_count_EzIxTvi3nW(op_l3UfSkHKmp(a,232))
    else:
        count = op_count_ljFmKPBYlm(145)+op_count_k8QYoddjpG(a)+op_count_XAx5wpdLa6(op_ljFmKPBYlm(145),op_k8QYoddjpG(a))
    return count


a∶⪭⨥b = { ((b⇸∍b)⫯∀b) , if a<332 ; ((b≉⇁⇑b)⇍⊗(779⨭⩞a)) , else }

def op_2LGhmBVo0W(a, b):
    if a < 332:
        return op_Vom2vRC85V(op_MCGaq0s4v9(b,b),b)
    else:
        return op_5uvYHDjeKN(op_PMnSbSZIXz(b,b),op_wLFAaebWLN(779,a))

def op_count_2LGhmBVo0W(a, b):
    if a < 332:
        count = op_count_MCGaq0s4v9(b,b)+op_count_Vom2vRC85V(op_MCGaq0s4v9(b,b),b)
    else:
        count = op_count_PMnSbSZIXz(b,b)+op_count_wLFAaebWLN(779,a)+op_count_5uvYHDjeKN(op_PMnSbSZIXz(b,b),op_wLFAaebWLN(779,a))
    return count


a⇴⩑ = { ((a⩃⪐)⩂(a∄⫦⊛a)) , if (≺⨵a)==143 ; ((a⫌⩉⩟a)⇍↤(⊇↦⪁a)) , else }

def op_YNCyNsxv79(a):
    if op_OfugFTrv6S(a) == 143:
        return op_CfxG4j8dfZ(op_teoqfJgsD3(a),op_NsFxRf80t5(a,a))
    else:
        return op_KO5PmQhKSV(op_XIIwhv8d0m(a,a),op_ja8oIrGfIm(a))

def op_count_YNCyNsxv79(a):
    if op_OfugFTrv6S(a) == 143:
        count = op_count_teoqfJgsD3(a)+op_count_NsFxRf80t5(a,a)+op_count_CfxG4j8dfZ(op_teoqfJgsD3(a),op_NsFxRf80t5(a,a))+op_count_OfugFTrv6S(a)
    else:
        count = op_count_XIIwhv8d0m(a,a)+op_count_ja8oIrGfIm(a)+op_count_KO5PmQhKSV(op_XIIwhv8d0m(a,a),op_ja8oIrGfIm(a))
    return count


a⋖≥b = { (((132⨇↳⊣b)≵⇄⪳(b⇖⨙a))≭((∹⪤b)⫙⪢(⇒⫀a))) , if b>94 ; (↡⪸((b⪐)⊹∫⫚(⨘⫚⋬a))) , else }

def op_f66VzgLLM3(a, b):
    if b > 94:
        return op_rxpJgHHUmx(op_tlYc1JfIjr(op_ZJYiLdgVnw(132,b),op_EokiGtKvm3(b,a)),op_4WiZHdYfGJ(op_kSC8k6UQxo(b),op_KNYWTYjmhT(a)))
    else:
        return op_9qpl1oH0LZ(op_uWAJUKEvyW(op_eH2TOUuTDT(b),op_E8CrZS0krV(a)))

def op_count_f66VzgLLM3(a, b):
    if b > 94:
        count = op_count_ZJYiLdgVnw(132,b)+op_count_EokiGtKvm3(b,a)+op_count_tlYc1JfIjr(op_ZJYiLdgVnw(132,b),op_EokiGtKvm3(b,a))+op_count_kSC8k6UQxo(b)+op_count_KNYWTYjmhT(a)+op_count_4WiZHdYfGJ(op_kSC8k6UQxo(b),op_KNYWTYjmhT(a))+op_count_rxpJgHHUmx(op_tlYc1JfIjr(op_ZJYiLdgVnw(132,b),op_EokiGtKvm3(b,a)),op_4WiZHdYfGJ(op_kSC8k6UQxo(b),op_KNYWTYjmhT(a)))
    else:
        count = op_count_eH2TOUuTDT(b)+op_count_E8CrZS0krV(a)+op_count_uWAJUKEvyW(op_eH2TOUuTDT(b),op_E8CrZS0krV(a))+op_count_9qpl1oH0LZ(op_uWAJUKEvyW(op_eH2TOUuTDT(b),op_E8CrZS0krV(a)))
    return count


a⨢⊞ = { ((a↴↤a)≨⋼(a⋂⊑⫑a)) , if (⨗⊥a)!=55 ; ((⫡⫨⇲215)⊃⋐) , else }

def op_kriV2NdW1P(a):
    if op_rzvZhbcSiR(a) != 55:
        return op_jJmDmZERNq(op_HdNtoxZyhx(a,a),op_CE7Hs0LNkj(a,a))
    else:
        return op_n7xO3XHPOA(op_hJhozpRboY(215))

def op_count_kriV2NdW1P(a):
    if op_rzvZhbcSiR(a) != 55:
        count = op_count_HdNtoxZyhx(a,a)+op_count_CE7Hs0LNkj(a,a)+op_count_jJmDmZERNq(op_HdNtoxZyhx(a,a),op_CE7Hs0LNkj(a,a))+op_count_rzvZhbcSiR(a)
    else:
        count = op_count_hJhozpRboY(215)+op_count_n7xO3XHPOA(op_hJhozpRboY(215))
    return count

hJhozpRboY CE7Hs0LNkj n7xO3XHPOA rzvZhbcSiR jJmDmZERNq HdNtoxZyhx


⊢↧a = { (a⪮⪍a) , if (a∺⨣)<=62 ; (222⩄∠⩟) , else }

def op_46sOkBBuR7(a):
    if op_mjcGG1YeM8(a) <= 62:
        return op_WwieoIwdPD(a,a)
    else:
        return op_ZsTN7hvPwQ(222)

def op_count_46sOkBBuR7(a):
    if op_mjcGG1YeM8(a) <= 62:
        count = op_count_WwieoIwdPD(a,a)+op_count_mjcGG1YeM8(a)
    else:
        count = op_count_ZsTN7hvPwQ(222)
    return count


def op_GmSjRcdWYV(a):
    return op_XAx5wpdLa6(op_rRzE4LHIBf(a,a),op_9QNY6wq3gX(236))

def op_count_GmSjRcdWYV(a):
    count = op_count_rRzE4LHIBf(a,a)+op_count_9QNY6wq3gX(236)+op_count_XAx5wpdLa6(op_rRzE4LHIBf(a,a),op_9QNY6wq3gX(236))
    return count


def op_Gf2OVzTys4(a):
    return op_NajNryHj1W(op_eaT0FLINi9(a,a))

def op_count_Gf2OVzTys4(a):
    count = op_count_eaT0FLINi9(a,a)+op_count_NajNryHj1W(op_eaT0FLINi9(a,a))
    return count


def op_wpLQg5pKMy(a, b):
    return op_yxiS2IFDsO(op_VTngge07Jm(a,b))

def op_count_wpLQg5pKMy(a, b):
    count = op_count_VTngge07Jm(a,b)+op_count_yxiS2IFDsO(op_VTngge07Jm(a,b))
    return count


a⩬≭b = { (((b⇆⨝↺)⨸⨾⇕(b⋚↵⨭b))↩≙∟((b⊑↘a)≑∓(a⋁⫘⋐b))) , if ((a∎∾⫀245)<330 and (∖⫦⊀a)<=4) ; ((⨈⫕(a⩺∆⋀b))⫫≠≯((b⊱⋝a)∉⊞⊌(b≜⊇b))) , else }

def op_Q8r6ugPYXP(a, b):
    if (op_5BPGwbLSwr(a,245) < 330 and op_062Vd6lJgw(a) <= 4):
        return op_R8Ex4iThqb(op_cJjtybAweL(op_YbZxT5zkAA(b),op_EhNdXCgA70(b,b)),op_SYQDw94fy9(op_K61QsNYwml(b,a),op_bvEbpGYZ1Q(a,b)))
    else:
        return op_QIASkFMxnv(op_megm06wKyl(op_CT5lT3N5Bi(a,b)),op_22UCrTUJEh(op_EJvLRUhMvt(b,a),op_oa1nrqFkD0(b,b)))

def op_count_Q8r6ugPYXP(a, b):
    if (op_5BPGwbLSwr(a,245) < 330 and op_062Vd6lJgw(a) <= 4):
        count = op_count_YbZxT5zkAA(b)+op_count_EhNdXCgA70(b,b)+op_count_cJjtybAweL(op_YbZxT5zkAA(b),op_EhNdXCgA70(b,b))+op_count_K61QsNYwml(b,a)+op_count_bvEbpGYZ1Q(a,b)+op_count_SYQDw94fy9(op_K61QsNYwml(b,a),op_bvEbpGYZ1Q(a,b))+op_count_R8Ex4iThqb(op_cJjtybAweL(op_YbZxT5zkAA(b),op_EhNdXCgA70(b,b)),op_SYQDw94fy9(op_K61QsNYwml(b,a),op_bvEbpGYZ1Q(a,b)))+op_count_5BPGwbLSwr(a,245)+op_count_062Vd6lJgw(a)
    else:
        count = op_count_CT5lT3N5Bi(a,b)+op_count_megm06wKyl(op_CT5lT3N5Bi(a,b))+op_count_EJvLRUhMvt(b,a)+op_count_oa1nrqFkD0(b,b)+op_count_22UCrTUJEh(op_EJvLRUhMvt(b,a),op_oa1nrqFkD0(b,b))+op_count_QIASkFMxnv(op_megm06wKyl(op_CT5lT3N5Bi(a,b)),op_22UCrTUJEh(op_EJvLRUhMvt(b,a),op_oa1nrqFkD0(b,b)))
    return count


def op_PswgLKkmTT(a, b):
    if op_SsNni7Y807(a) <= 4:
        return op_2uO7qEltAa(11,773)
    else:
        return op_8SnKnorVr9(b)

def op_count_PswgLKkmTT(a, b):
    if op_SsNni7Y807(a) <= 4:
        count = op_count_2uO7qEltAa(11,773)+op_count_SsNni7Y807(a)
    else:
        count = op_count_8SnKnorVr9(b)
    return count


def op_TPoU75oZxy(a):
    return op_B5M0gjZbta(117,a)

def op_count_TPoU75oZxy(a):
    count = op_count_B5M0gjZbta(117,a)
    return count


a↭⫵b = { ((b⩐∓⪍a)∠⊍⋙(b↻a)) , if (∘≵b)!=285 ; (⫵(76⊒⊓∬b)) , else }

def op_NXtAvSfIkC(a, b):
    if op_LlCD65txTz(b) != 285:
        return op_lAUTOmyRBs(op_NcnV7uxl1o(b,a),op_XFunts32PM(b,a))
    else:
        return op_9oRFW4UxXC(op_ZmZzbvfWE2(76,b))

def op_count_NXtAvSfIkC(a, b):
    if op_LlCD65txTz(b) != 285:
        count = op_count_NcnV7uxl1o(b,a)+op_count_XFunts32PM(b,a)+op_count_lAUTOmyRBs(op_NcnV7uxl1o(b,a),op_XFunts32PM(b,a))+op_count_LlCD65txTz(b)
    else:
        count = op_count_ZmZzbvfWE2(76,b)+op_count_9oRFW4UxXC(op_ZmZzbvfWE2(76,b))
    return count


a⩎⩑b = { ((b⩩⪊∶a)⇗⋫) , if (⩐↠⨄b)>106 ; ((b⩴⇩⩭b)⨼⩣(b⇺⩨⨚a)) , else }

def op_9OmgLoynIo(a, b):
    if op_volnuCWf6Z(b) > 106:
        return op_hpqmaQFPrd(op_Nk3vbLkEBW(b,a))
    else:
        return op_JxwMv5le6e(op_ZlduNN376N(b,b),op_fRgCzqsvkF(b,a))

def op_count_9OmgLoynIo(a, b):
    if op_volnuCWf6Z(b) > 106:
        count = op_count_Nk3vbLkEBW(b,a)+op_count_hpqmaQFPrd(op_Nk3vbLkEBW(b,a))+op_count_volnuCWf6Z(b)
    else:
        count = op_count_ZlduNN376N(b,b)+op_count_fRgCzqsvkF(b,a)+op_count_JxwMv5le6e(op_ZlduNN376N(b,b),op_fRgCzqsvkF(b,a))
    return count


a⋳⩂b = { (((⫡⫨⇲b)⩻⋾(879⩕⪍⨤b))⪈((⇰∅⊧b)∟⩂(b⪣⊴a))) }

def op_DsIgUu2wCj(a, b):
    return op_y16C4hJIbn(op_E5Kao3Mgj0(op_hJhozpRboY(b),op_kravj9xg3G(879,b)),op_tXT1zRb2ZN(op_4pfZurdSGM(b),op_miu0bRYLYP(b,a)))

def op_count_DsIgUu2wCj(a, b):
    count = op_count_hJhozpRboY(b)+op_count_kravj9xg3G(879,b)+op_count_E5Kao3Mgj0(op_hJhozpRboY(b),op_kravj9xg3G(879,b))+op_count_4pfZurdSGM(b)+op_count_miu0bRYLYP(b,a)+op_count_tXT1zRb2ZN(op_4pfZurdSGM(b),op_miu0bRYLYP(b,a))+op_count_y16C4hJIbn(op_E5Kao3Mgj0(op_hJhozpRboY(b),op_kravj9xg3G(879,b)),op_tXT1zRb2ZN(op_4pfZurdSGM(b),op_miu0bRYLYP(b,a)))
    return count


⨙≩⫝̸a = { (((a⫋⇻≳a)⫾⩮⪒(⊅≊a))⊸⨥≭((a⊻↞≧495)∄⩵(⨁⨴a))) , if (a⪬⪬⋰279)==212 ; a , else }

def op_7ci1ouaA6w(a):
    if op_dKnrfkTA9N(a,279) == 212:
        return op_Y51oDxb2WH(op_FsOkgZJFKv(op_4vOKojZu5Q(a,a),op_gIZzZX53MY(a)),op_AsCFVB39Ml(op_NZ4M85zvpZ(a,495),op_VWDfLP0KP3(a)))
    else:
        return a

def op_count_7ci1ouaA6w(a):
    if op_dKnrfkTA9N(a,279) == 212:
        count = op_count_4vOKojZu5Q(a,a)+op_count_gIZzZX53MY(a)+op_count_FsOkgZJFKv(op_4vOKojZu5Q(a,a),op_gIZzZX53MY(a))+op_count_NZ4M85zvpZ(a,495)+op_count_VWDfLP0KP3(a)+op_count_AsCFVB39Ml(op_NZ4M85zvpZ(a,495),op_VWDfLP0KP3(a))+op_count_Y51oDxb2WH(op_FsOkgZJFKv(op_4vOKojZu5Q(a,a),op_gIZzZX53MY(a)),op_AsCFVB39Ml(op_NZ4M85zvpZ(a,495),op_VWDfLP0KP3(a)))+op_count_dKnrfkTA9N(a,279)
    else:
        count = 1
    return count


def op_JgDhMddaNw(a):
    if op_fBv0GnY1At(a,830) != 154:
        return op_M79hUXQlnf(op_xcNeQXzqmV(270,op_UaMZCSCRMM(a)),a)
    else:
        return op_SMFAWc6Akq(op_zTd4o4K50M(op_I3byGEDeqT(a)),op_5E98EovdLU(op_eZ4iHVWETC(79,a)))

def op_count_JgDhMddaNw(a):
    if op_fBv0GnY1At(a,830) != 154:
        count = op_count_UaMZCSCRMM(a)+op_count_xcNeQXzqmV(270,op_UaMZCSCRMM(a))+op_count_M79hUXQlnf(op_xcNeQXzqmV(270,op_UaMZCSCRMM(a)),a)+op_count_fBv0GnY1At(a,830)
    else:
        count = op_count_I3byGEDeqT(a)+op_count_zTd4o4K50M(op_I3byGEDeqT(a))+op_count_eZ4iHVWETC(79,a)+op_count_5E98EovdLU(op_eZ4iHVWETC(79,a))+op_count_SMFAWc6Akq(op_zTd4o4K50M(op_I3byGEDeqT(a)),op_5E98EovdLU(op_eZ4iHVWETC(79,a)))
    return count


def op_CT3Zfq0efj(a):
    if a < 240 or op_0B27zlnmPH(a,232) > 127:
        return op_1nNvNtr5EF(op_U7g4x0WXJJ(op_u3oAJHhj7U(a,a),op_7tsVghrNr2(68,181)),op_vqMs4v2zd9(op_cXCH4RrCH6(a,a),op_p5sVf13ywX(a,a)))
    else:
        return op_x6SPyeFq6Y(op_3aDEFeODLe(op_RDbMZWh2v2(a,226)),op_jBB9GIfJL4(a))

def op_count_CT3Zfq0efj(a):
    if a < 240 or op_0B27zlnmPH(a,232) > 127:
        count = op_count_u3oAJHhj7U(a,a)+op_count_7tsVghrNr2(68,181)+op_count_U7g4x0WXJJ(op_u3oAJHhj7U(a,a),op_7tsVghrNr2(68,181))+op_count_cXCH4RrCH6(a,a)+op_count_p5sVf13ywX(a,a)+op_count_vqMs4v2zd9(op_cXCH4RrCH6(a,a),op_p5sVf13ywX(a,a))+op_count_1nNvNtr5EF(op_U7g4x0WXJJ(op_u3oAJHhj7U(a,a),op_7tsVghrNr2(68,181)),op_vqMs4v2zd9(op_cXCH4RrCH6(a,a),op_p5sVf13ywX(a,a)))+op_count_0B27zlnmPH(a,232)
    else:
        count = op_count_RDbMZWh2v2(a,226)+op_count_3aDEFeODLe(op_RDbMZWh2v2(a,226))+op_count_jBB9GIfJL4(a)+op_count_x6SPyeFq6Y(op_3aDEFeODLe(op_RDbMZWh2v2(a,226)),op_jBB9GIfJL4(a))
    return count


a↖⇨⇹b = { ((a⇃↿)⫃⨄↛(b⨴⊢)) , if (b⇪⋱)<=758 ; ((b∢≼a)↧⋪⩹(b⇌↸)) , else }

def op_DFN0AAj2Vy(a, b):
    if op_MKzNxCV7Yo(b) <= 758:
        return op_9m16WUFJ5C(op_HRk3UwFOL9(a),op_QhWxDjfUm3(b))
    else:
        return op_aFgCSysgue(op_MDeofPkNUB(b,a),op_2PILXiQIjy(b))

def op_count_DFN0AAj2Vy(a, b):
    if op_MKzNxCV7Yo(b) <= 758:
        count = op_count_HRk3UwFOL9(a)+op_count_QhWxDjfUm3(b)+op_count_9m16WUFJ5C(op_HRk3UwFOL9(a),op_QhWxDjfUm3(b))+op_count_MKzNxCV7Yo(b)
    else:
        count = op_count_MDeofPkNUB(b,a)+op_count_2PILXiQIjy(b)+op_count_aFgCSysgue(op_MDeofPkNUB(b,a),op_2PILXiQIjy(b))
    return count


def op_vDwEbnd7eh(a):
    if op_EIdmTB6ive(a,326) != 301:
        return op_XAx5wpdLa6(a,487)
    else:
        return a

def op_count_vDwEbnd7eh(a):
    if op_EIdmTB6ive(a,326) != 301:
        count = op_count_XAx5wpdLa6(a,487)+op_count_EIdmTB6ive(a,326)
    else:
        count = 1
    return count


def op_kX5dFqGV7k(a):
    return op_6O8ohGGmyb(op_B5M0gjZbta(a,a))

def op_count_kX5dFqGV7k(a):
    count = op_count_B5M0gjZbta(a,a)+op_count_6O8ohGGmyb(op_B5M0gjZbta(a,a))
    return count


def op_SKR4HEEbNv(a):
    return op_Gl4WN4Uwdx(op_bVRrhJZyGv(a),op_6VMWzqt8x7(a,a))

def op_count_SKR4HEEbNv(a):
    count = op_count_bVRrhJZyGv(a)+op_count_6VMWzqt8x7(a,a)+op_count_Gl4WN4Uwdx(op_bVRrhJZyGv(a),op_6VMWzqt8x7(a,a))
    return count


def op_zNnb3NRSLi(a):
    return op_tW6TlDUxtJ(op_W9BcR1zwUp(a,a),op_M79hUXQlnf(87,a))

def op_count_zNnb3NRSLi(a):
    count = op_count_W9BcR1zwUp(a,a)+op_count_M79hUXQlnf(87,a)+op_count_tW6TlDUxtJ(op_W9BcR1zwUp(a,a),op_M79hUXQlnf(87,a))
    return count


⪌⪇a = { (((a≏⩑a)⋼(≏a))↠⫝̸⫩((⊥⊩⫚a)∧)) , if a==420 ; (⪲⇎((a≎⪠a)≗⇫)) , else }

def op_musPuMImfu(a):
    if a == 420:
        return op_E331xP7I43(op_pvbE2flhr7(op_LMA9dqLka3(a,a),op_NkElgCjZ6e(a)),op_z63VuFQld9(op_6sjkl0TBQG(a)))
    else:
        return op_XPYlsWDdGa(op_IWF83x7jBd(op_aNhz54LH3e(a,a)))

def op_count_musPuMImfu(a):
    if a == 420:
        count = op_count_LMA9dqLka3(a,a)+op_count_NkElgCjZ6e(a)+op_count_pvbE2flhr7(op_LMA9dqLka3(a,a),op_NkElgCjZ6e(a))+op_count_6sjkl0TBQG(a)+op_count_z63VuFQld9(op_6sjkl0TBQG(a))+op_count_E331xP7I43(op_pvbE2flhr7(op_LMA9dqLka3(a,a),op_NkElgCjZ6e(a)),op_z63VuFQld9(op_6sjkl0TBQG(a)))
    else:
        count = op_count_aNhz54LH3e(a,a)+op_count_IWF83x7jBd(op_aNhz54LH3e(a,a))+op_count_XPYlsWDdGa(op_IWF83x7jBd(op_aNhz54LH3e(a,a)))
    return count


def op_yNB2DrKmgd(a):
    return op_Dh8yhYQk7S(op_A1lUXjvBPn(a,op_rTLvlHl7eZ(a)),op_9oRFW4UxXC(op_WebgaPI6Gt(377,a)))

def op_count_yNB2DrKmgd(a):
    count = op_count_rTLvlHl7eZ(a)+op_count_A1lUXjvBPn(a,op_rTLvlHl7eZ(a))+op_count_WebgaPI6Gt(377,a)+op_count_9oRFW4UxXC(op_WebgaPI6Gt(377,a))+op_count_Dh8yhYQk7S(op_A1lUXjvBPn(a,op_rTLvlHl7eZ(a)),op_9oRFW4UxXC(op_WebgaPI6Gt(377,a)))
    return count


def op_kFGxVR3uPo(a):
    return op_dS3vmXYzMr(op_6fPYHgDDYH(a,a),op_XizqdzG9LG(a))

def op_count_kFGxVR3uPo(a):
    count = op_count_6fPYHgDDYH(a,a)+op_count_XizqdzG9LG(a)+op_count_dS3vmXYzMr(op_6fPYHgDDYH(a,a),op_XizqdzG9LG(a))
    return count


a⋁↲b = { ((89⩘⨬⇊)⇩⫻⋿(40⨶⫍⩣b)) , if (b⊀⪪⫸)==554 ; a , else }

def op_pke5NB8nPx(a, b):
    if op_UIU2Eox550(b) == 554:
        return op_RN6w9XgKVm(op_XXmTpEpWTW(89),op_qx0uycIDzO(40,b))
    else:
        return a

def op_count_pke5NB8nPx(a, b):
    if op_UIU2Eox550(b) == 554:
        count = op_count_XXmTpEpWTW(89)+op_count_qx0uycIDzO(40,b)+op_count_RN6w9XgKVm(op_XXmTpEpWTW(89),op_qx0uycIDzO(40,b))+op_count_UIU2Eox550(b)
    else:
        count = 1
    return count