a↞⨤b = { (a⊓≱(a⪲⨢(↰⫏6))) , if (b⪍)>=9 ; (((a⊱⇼⊻a)⪕(a⩾b))↨⪍≴((⨡↴85)∽(b⨸⪁a))) , else }

def op_XGlTuFGO4m(a, b):
    if op_SHWCOp9I4E(b) >= 9:
        return op_VCG3UHNzLR(a,op_6iafYuwGo8(a,op_UeUK5QjOtW(6)))
    else:
        return op_DX7B1fY6P6(op_umQnsF7QlU(op_FyVja0WsTP(a,a),op_UggxBX659n(a,b)),op_y4ImoPnbV5(op_liw5iZPkLH(85),op_g55IO6H4Gj(b,a)))

def op_count_XGlTuFGO4m(a, b):
    if op_SHWCOp9I4E(b) >= 9:
        count = op_count_UeUK5QjOtW(6)+op_count_6iafYuwGo8(a,op_UeUK5QjOtW(6))+op_count_VCG3UHNzLR(a,op_6iafYuwGo8(a,op_UeUK5QjOtW(6)))+op_count_SHWCOp9I4E(b)
    else:
        count = op_count_FyVja0WsTP(a,a)+op_count_UggxBX659n(a,b)+op_count_umQnsF7QlU(op_FyVja0WsTP(a,a),op_UggxBX659n(a,b))+op_count_liw5iZPkLH(85)+op_count_g55IO6H4Gj(b,a)+op_count_y4ImoPnbV5(op_liw5iZPkLH(85),op_g55IO6H4Gj(b,a))+op_count_DX7B1fY6P6(op_umQnsF7QlU(op_FyVja0WsTP(a,a),op_UggxBX659n(a,b)),op_y4ImoPnbV5(op_liw5iZPkLH(85),op_g55IO6H4Gj(b,a)))
    return count


⊻⇿⋺a = { (⋄(⨑⩽⪐61)) , if a<=5 ; (((a⊭↱a)⫡⨏(⇗⪘∲a))⊱⇼⊻(3⫊⇚⊺(a⨮⨆))) , else }

def op_3ETyc1YnpT(a):
    if a <= 5:
        return op_k2B77S3vSv(op_AF7qkfDlqP(61))
    else:
        return op_FyVja0WsTP(op_QMFrweE19q(op_COABgblf1C(a,a),op_j4geBLYVFK(a)),op_Y5cEcQhyKu(3,op_s0kPeV9Vm2(a)))

def op_count_3ETyc1YnpT(a):
    if a <= 5:
        count = op_count_AF7qkfDlqP(61)+op_count_k2B77S3vSv(op_AF7qkfDlqP(61))
    else:
        count = op_count_COABgblf1C(a,a)+op_count_j4geBLYVFK(a)+op_count_QMFrweE19q(op_COABgblf1C(a,a),op_j4geBLYVFK(a))+op_count_s0kPeV9Vm2(a)+op_count_Y5cEcQhyKu(3,op_s0kPeV9Vm2(a))+op_count_FyVja0WsTP(op_QMFrweE19q(op_COABgblf1C(a,a),op_j4geBLYVFK(a)),op_Y5cEcQhyKu(3,op_s0kPeV9Vm2(a)))
    return count


∶⩡a = { (a∺≝⩲a) , if (⇾⩊⇾a)<=74 ; (a≬⋮275) , else }

def op_gAFkdPcyl3(a):
    if op_bx9Z9DAK5y(a) <= 74:
        return op_KPf6cnQVty(a,a)
    else:
        return op_kbkesczE7y(a,275)

def op_count_gAFkdPcyl3(a):
    if op_bx9Z9DAK5y(a) <= 74:
        count = op_count_KPf6cnQVty(a,a)+op_count_bx9Z9DAK5y(a)
    else:
        count = op_count_kbkesczE7y(a,275)
    return count


a↴⨎⊥b = { (((b≏⨯⊱462)≽⊫)⊢((a⪍)⊢(b⨐a))) , if b>=371 ; (((b∊⊞≈b)≝⊿(643⋝⋈⪟b))⫚↹⊑((b⩚⊴⇥727)⋅∹⩇)) , else }

def op_50uIHTrNdO(a, b):
    if b >= 371:
        return op_5twsqlHp2o(op_H0pizIJMoW(op_UqUOXUQnbU(b,462)),op_5twsqlHp2o(op_SHWCOp9I4E(a),op_Noe24qw2ks(b,a)))
    else:
        return op_dfKe02y8D2(op_OKKcZfAt5B(op_keuJNkrrbj(b,b),op_2DDjHMKMc0(643,b)),op_Tmr9JGNMVH(op_NTOWxs364D(b,727)))

def op_count_50uIHTrNdO(a, b):
    if b >= 371:
        count = op_count_UqUOXUQnbU(b,462)+op_count_H0pizIJMoW(op_UqUOXUQnbU(b,462))+op_count_SHWCOp9I4E(a)+op_count_Noe24qw2ks(b,a)+op_count_5twsqlHp2o(op_SHWCOp9I4E(a),op_Noe24qw2ks(b,a))+op_count_5twsqlHp2o(op_H0pizIJMoW(op_UqUOXUQnbU(b,462)),op_5twsqlHp2o(op_SHWCOp9I4E(a),op_Noe24qw2ks(b,a)))
    else:
        count = op_count_keuJNkrrbj(b,b)+op_count_2DDjHMKMc0(643,b)+op_count_OKKcZfAt5B(op_keuJNkrrbj(b,b),op_2DDjHMKMc0(643,b))+op_count_NTOWxs364D(b,727)+op_count_Tmr9JGNMVH(op_NTOWxs364D(b,727))+op_count_dfKe02y8D2(op_OKKcZfAt5B(op_keuJNkrrbj(b,b),op_2DDjHMKMc0(643,b)),op_Tmr9JGNMVH(op_NTOWxs364D(b,727)))
    return count


def op_QmMs3tyaZP(a, b):
    return op_9FxExcQeMw(op_6o9Blt3TJ6(op_cTDWOvIxvz(b,b),op_HJ9erzHUuu(b,a)),op_LmY23Q1aIi(op_Bmrmz2XGnR(b,b)))

def op_count_QmMs3tyaZP(a, b):
    count = op_count_cTDWOvIxvz(b,b)+op_count_HJ9erzHUuu(b,a)+op_count_6o9Blt3TJ6(op_cTDWOvIxvz(b,b),op_HJ9erzHUuu(b,a))+op_count_Bmrmz2XGnR(b,b)+op_count_LmY23Q1aIi(op_Bmrmz2XGnR(b,b))+op_count_9FxExcQeMw(op_6o9Blt3TJ6(op_cTDWOvIxvz(b,b),op_HJ9erzHUuu(b,a)),op_LmY23Q1aIi(op_Bmrmz2XGnR(b,b)))
    return count


def op_ktfEB5Ypfm(a, b):
    if (a >= 22 and b <= 308):
        return op_AdZkA7nFnk(a,b)
    else:
        return op_DZ8iAZOCBD(b,313)

def op_count_ktfEB5Ypfm(a, b):
    if (a >= 22 and b <= 308):
        count = op_count_AdZkA7nFnk(a,b)
    else:
        count = op_count_DZ8iAZOCBD(b,313)
    return count


def op_vMVtL6bY9U(a, b):
    if (a < 124 or b >= 289):
        return b
    else:
        return op_6LuFrogppQ(op_GNmBfxrna9(346))

def op_count_vMVtL6bY9U(a, b):
    if (a < 124 or b >= 289):
        count = 1
    else:
        count = op_count_GNmBfxrna9(346)+op_count_6LuFrogppQ(op_GNmBfxrna9(346))
    return count


def op_ABfv49b2Bx(a):
    return op_2ufhKmSs5H(op_aiqF8n6J9c(a,op_nbuSfrB4hB(248,a)))

def op_count_ABfv49b2Bx(a):
    count = op_count_nbuSfrB4hB(248,a)+op_count_aiqF8n6J9c(a,op_nbuSfrB4hB(248,a))+op_count_2ufhKmSs5H(op_aiqF8n6J9c(a,op_nbuSfrB4hB(248,a)))
    return count


def op_itLUMRE952(a):
    if (a < 209 and a > 220):
        return a
    else:
        return op_PPChnnnBFF(op_GMyVS5K48T(a,a),op_W7eaUhjymW(827))

def op_count_itLUMRE952(a):
    if (a < 209 and a > 220):
        count = 1
    else:
        count = op_count_GMyVS5K48T(a,a)+op_count_W7eaUhjymW(827)+op_count_PPChnnnBFF(op_GMyVS5K48T(a,a),op_W7eaUhjymW(827))
    return count


def op_0eccDpRXfQ(a):
    return op_tIhPxZTbsh(a,a)

def op_count_0eccDpRXfQ(a):
    count = op_count_tIhPxZTbsh(a,a)
    return count


a⩵⩡ = { (((212⇋∊)⋞(a∠⫱a))∲⫓(⪷∈↠(⋄a))) , if (a<70 and a!=303) ; ((⩰(a∊⊞≈a))≟⫹((a↜⊷a)∀⩎⋷(a⨔⇊a))) , else }

def op_p9QfEVXWAf(a):
    if (a < 70 and a != 303):
        return op_i8ToyICDmI(op_V4yb4KDoeF(op_3FtlcrQcJU(212),op_QvoQhV0rrE(a,a)),op_Kn0TacbtGK(op_k2B77S3vSv(a)))
    else:
        return op_z2JHNkvbdm(op_WkeUrDK8WX(op_keuJNkrrbj(a,a)),op_FPxP5Y1j0W(op_irKjLsMeKy(a,a),op_JclMnS0uGI(a,a)))

def op_count_p9QfEVXWAf(a):
    if (a < 70 and a != 303):
        count = op_count_3FtlcrQcJU(212)+op_count_QvoQhV0rrE(a,a)+op_count_V4yb4KDoeF(op_3FtlcrQcJU(212),op_QvoQhV0rrE(a,a))+op_count_k2B77S3vSv(a)+op_count_Kn0TacbtGK(op_k2B77S3vSv(a))+op_count_i8ToyICDmI(op_V4yb4KDoeF(op_3FtlcrQcJU(212),op_QvoQhV0rrE(a,a)),op_Kn0TacbtGK(op_k2B77S3vSv(a)))
    else:
        count = op_count_keuJNkrrbj(a,a)+op_count_WkeUrDK8WX(op_keuJNkrrbj(a,a))+op_count_irKjLsMeKy(a,a)+op_count_JclMnS0uGI(a,a)+op_count_FPxP5Y1j0W(op_irKjLsMeKy(a,a),op_JclMnS0uGI(a,a))+op_count_z2JHNkvbdm(op_WkeUrDK8WX(op_keuJNkrrbj(a,a)),op_FPxP5Y1j0W(op_irKjLsMeKy(a,a),op_JclMnS0uGI(a,a)))
    return count


def op_4R0h9sVYH3(a):
    return op_P75hhshrwX(op_ct1hK6qyRt(a))

def op_count_4R0h9sVYH3(a):
    count = op_count_ct1hK6qyRt(a)+op_count_P75hhshrwX(op_ct1hK6qyRt(a))
    return count


def op_ViowlgaeMP(a):
    return op_JDUIKTTSIa(op_LmY23Q1aIi(op_cwbF3JtlMN(a,a)),op_inCIaGQf8u(a,op_OGWBzMv138(a,a)))

def op_count_ViowlgaeMP(a):
    count = op_count_cwbF3JtlMN(a,a)+op_count_LmY23Q1aIi(op_cwbF3JtlMN(a,a))+op_count_OGWBzMv138(a,a)+op_count_inCIaGQf8u(a,op_OGWBzMv138(a,a))+op_count_JDUIKTTSIa(op_LmY23Q1aIi(op_cwbF3JtlMN(a,a)),op_inCIaGQf8u(a,op_OGWBzMv138(a,a)))
    return count


a⨂⪮↪ = { (a⊭↱a) , if a>22 ; (a∄a) , else }

def op_BYlXFd1hNb(a):
    if a > 22:
        return op_COABgblf1C(a,a)
    else:
        return op_tnyRA5sazQ(a,a)

def op_count_BYlXFd1hNb(a):
    if a > 22:
        count = op_count_COABgblf1C(a,a)
    else:
        count = op_count_tnyRA5sazQ(a,a)
    return count


def op_vHez4XO4XZ(a, b):
    if op_3tVxb0NHM4(b,684) <= 68:
        return op_S3tN1ZzpSt(op_tDVI6bDdAd(182),op_SWo3A1KBJH(a))
    else:
        return op_23Mk6UjR3U(op_ew17WAA8t6(371),op_tifHPKVTfV(767,b))

def op_count_vHez4XO4XZ(a, b):
    if op_3tVxb0NHM4(b,684) <= 68:
        count = op_count_tDVI6bDdAd(182)+op_count_SWo3A1KBJH(a)+op_count_S3tN1ZzpSt(op_tDVI6bDdAd(182),op_SWo3A1KBJH(a))+op_count_3tVxb0NHM4(b,684)
    else:
        count = op_count_ew17WAA8t6(371)+op_count_tifHPKVTfV(767,b)+op_count_23Mk6UjR3U(op_ew17WAA8t6(371),op_tifHPKVTfV(767,b))
    return count


a⋤≤b = { a , if b>=10 ; ((⊲⪭(36⪈⋁⩁a))≣(⫭≬(b∲⫑b))) , else }

def op_rwMffNUYCm(a, b):
    if b >= 10:
        return a
    else:
        return op_ObEyaaML9x(op_k7HXdKtiEU(op_GMyVS5K48T(36,a)),op_S7Dkc5Re0B(op_NrdPCfJQiM(b,b)))

def op_count_rwMffNUYCm(a, b):
    if b >= 10:
        count = 1
    else:
        count = op_count_GMyVS5K48T(36,a)+op_count_k7HXdKtiEU(op_GMyVS5K48T(36,a))+op_count_NrdPCfJQiM(b,b)+op_count_S7Dkc5Re0B(op_NrdPCfJQiM(b,b))+op_count_ObEyaaML9x(op_k7HXdKtiEU(op_GMyVS5K48T(36,a)),op_S7Dkc5Re0B(op_NrdPCfJQiM(b,b)))
    return count


a⇤⪡⪚b = { (b⊎←↗) , if b>=64 ; (200⋘a) , else }

def op_wFVzoaU45i(a, b):
    if b >= 64:
        return op_dwb5p0fa6d(b)
    else:
        return op_2M7SKlOzyM(200,a)

def op_count_wFVzoaU45i(a, b):
    if b >= 64:
        count = op_count_dwb5p0fa6d(b)
    else:
        count = op_count_2M7SKlOzyM(200,a)
    return count


a⪎⨈b = { (b⇽⩪) , if b<=117 ; (a⊔a) , else }

def op_PTuWOAQI59(a, b):
    if b <= 117:
        return op_FonBHBYJbU(b)
    else:
        return op_E4l6HwMY31(a,a)

def op_count_PTuWOAQI59(a, b):
    if b <= 117:
        count = op_count_FonBHBYJbU(b)
    else:
        count = op_count_E4l6HwMY31(a,a)
    return count


def op_zLIoVnJ3kK(a):
    return op_DX7B1fY6P6(op_JoLB3LXqXx(27,192),op_ObEyaaML9x(a,a))

def op_count_zLIoVnJ3kK(a):
    count = op_count_JoLB3LXqXx(27,192)+op_count_ObEyaaML9x(a,a)+op_count_DX7B1fY6P6(op_JoLB3LXqXx(27,192),op_ObEyaaML9x(a,a))
    return count


a∕⪝ = { (((⩪⩔a)⩹(⊠a))⨰((a⋆⊨a)⋝⋈⪟(a⪶≀⋏389))) }

def op_EEXzluxnhc(a):
    return op_eewbuw0ToL(op_2Wsdkap16l(op_Siyfjn51pv(a),op_R3vAdrE3IH(a)),op_2DDjHMKMc0(op_uTBsSls0VN(a,a),op_zR4jO40bMj(a,389)))

def op_count_EEXzluxnhc(a):
    count = op_count_Siyfjn51pv(a)+op_count_R3vAdrE3IH(a)+op_count_2Wsdkap16l(op_Siyfjn51pv(a),op_R3vAdrE3IH(a))+op_count_uTBsSls0VN(a,a)+op_count_zR4jO40bMj(a,389)+op_count_2DDjHMKMc0(op_uTBsSls0VN(a,a),op_zR4jO40bMj(a,389))+op_count_eewbuw0ToL(op_2Wsdkap16l(op_Siyfjn51pv(a),op_R3vAdrE3IH(a)),op_2DDjHMKMc0(op_uTBsSls0VN(a,a),op_zR4jO40bMj(a,389)))
    return count


a⊄⊎ = { ((⇻⨃⇄a)⊍) , if (a⇩↽)>=359 ; ((⫇⪃↚a)⪨⊡(⇻⨃⇄a)) , else }

def op_Kqt6I3psp8(a):
    if op_HjMFvreeUu(a) >= 359:
        return op_3nqY3DE9mg(op_fLGIAiPz9h(a))
    else:
        return op_kuIXHzHcAH(op_Q9TX5pQS3Y(a),op_fLGIAiPz9h(a))

def op_count_Kqt6I3psp8(a):
    if op_HjMFvreeUu(a) >= 359:
        count = op_count_fLGIAiPz9h(a)+op_count_3nqY3DE9mg(op_fLGIAiPz9h(a))+op_count_HjMFvreeUu(a)
    else:
        count = op_count_Q9TX5pQS3Y(a)+op_count_fLGIAiPz9h(a)+op_count_kuIXHzHcAH(op_Q9TX5pQS3Y(a),op_fLGIAiPz9h(a))
    return count


def op_iIks2zNL3V(a):
    return op_l1M9WJ3V7u(op_z2JHNkvbdm(op_tifHPKVTfV(a,a),op_Siyfjn51pv(a)))

def op_count_iIks2zNL3V(a):
    count = op_count_tifHPKVTfV(a,a)+op_count_Siyfjn51pv(a)+op_count_z2JHNkvbdm(op_tifHPKVTfV(a,a),op_Siyfjn51pv(a))+op_count_l1M9WJ3V7u(op_z2JHNkvbdm(op_tifHPKVTfV(a,a),op_Siyfjn51pv(a)))
    return count


a⫅⩹b = { (b⨑b) , if a!=526 and (⨢⋑⪾b)<=125 ; (⫂b) , else }

def op_CdWimuzQB6(a, b):
    if a != 526 and op_tmjFFOTKyA(b) <= 125:
        return op_IxJHfR5psi(b,b)
    else:
        return op_U9HvHqtOoq(b)

def op_count_CdWimuzQB6(a, b):
    if a != 526 and op_tmjFFOTKyA(b) <= 125:
        count = op_count_IxJHfR5psi(b,b)+op_count_tmjFFOTKyA(b)
    else:
        count = op_count_U9HvHqtOoq(b)
    return count


a≋⊴⋅b = { (((a⇤b)≽⪈↿a)⊱⇼⊻((b⊔a)∀⩎⋷(a≋⫹))) }

def op_TWCuuHjbTv(a, b):
    return op_FyVja0WsTP(op_inCIaGQf8u(op_YSKBFp38Pu(a,b),a),op_FPxP5Y1j0W(op_E4l6HwMY31(b,a),op_N41Kp7NANJ(a)))

def op_count_TWCuuHjbTv(a, b):
    count = op_count_YSKBFp38Pu(a,b)+op_count_inCIaGQf8u(op_YSKBFp38Pu(a,b),a)+op_count_E4l6HwMY31(b,a)+op_count_N41Kp7NANJ(a)+op_count_FPxP5Y1j0W(op_E4l6HwMY31(b,a),op_N41Kp7NANJ(a))+op_count_FyVja0WsTP(op_inCIaGQf8u(op_YSKBFp38Pu(a,b),a),op_FPxP5Y1j0W(op_E4l6HwMY31(b,a),op_N41Kp7NANJ(a)))
    return count


a⊊⊦b = { (a∲⫑a) , if (∤a)!=79 ; (b⋳⪒11) , else }

def op_e3R0INlQmt(a, b):
    if op_k2HlF1dBQh(a) != 79:
        return op_NrdPCfJQiM(a,a)
    else:
        return op_12rbrZMWeM(b,11)

def op_count_e3R0INlQmt(a, b):
    if op_k2HlF1dBQh(a) != 79:
        count = op_count_NrdPCfJQiM(a,a)+op_count_k2HlF1dBQh(a)
    else:
        count = op_count_12rbrZMWeM(b,11)
    return count


def op_WvhSX4Tttm(a, b):
    if op_nFAOW8KTqp(a) < 127:
        return op_k7HXdKtiEU(op_W4YGzv6Whe(101,b))
    else:
        return op_rXAclfmB4M(op_eftAHwPbeA(b))

def op_count_WvhSX4Tttm(a, b):
    if op_nFAOW8KTqp(a) < 127:
        count = op_count_W4YGzv6Whe(101,b)+op_count_k7HXdKtiEU(op_W4YGzv6Whe(101,b))+op_count_nFAOW8KTqp(a)
    else:
        count = op_count_eftAHwPbeA(b)+op_count_rXAclfmB4M(op_eftAHwPbeA(b))
    return count


def op_SSwnU7d7z2(a):
    return op_Qaz2MhZaG5(a,a)

def op_count_SSwnU7d7z2(a):
    count = op_count_Qaz2MhZaG5(a,a)
    return count


def op_d2ZuDAaqmA(a):
    if op_fLfyAuxYJD(a) <= 37:
        return op_xRrnTEsQ6j(118,a)
    else:
        return op_i3MWstRFMQ(a)

def op_count_d2ZuDAaqmA(a):
    if op_fLfyAuxYJD(a) <= 37:
        count = op_count_xRrnTEsQ6j(118,a)+op_count_fLfyAuxYJD(a)
    else:
        count = op_count_i3MWstRFMQ(a)
    return count


def op_4DBylSEnKK(a):
    if op_Ikt5ks8PT7(a,824) >= 87:
        return op_dAAkup5nzi(op_sdazOOVcIp(op_YApyZlDuBr(a),op_3sJ7IOPOlU(a,459)),op_RygbFNSyEJ(op_ObEyaaML9x(512,34),op_e1ybzncUwg(a)))
    else:
        return op_e1ybzncUwg(op_nCS4ZIUYfx(op_Z5m6OM72h2(a,224),op_4JGOJzXMq1(80,a)))

def op_count_4DBylSEnKK(a):
    if op_Ikt5ks8PT7(a,824) >= 87:
        count = op_count_YApyZlDuBr(a)+op_count_3sJ7IOPOlU(a,459)+op_count_sdazOOVcIp(op_YApyZlDuBr(a),op_3sJ7IOPOlU(a,459))+op_count_ObEyaaML9x(512,34)+op_count_e1ybzncUwg(a)+op_count_RygbFNSyEJ(op_ObEyaaML9x(512,34),op_e1ybzncUwg(a))+op_count_dAAkup5nzi(op_sdazOOVcIp(op_YApyZlDuBr(a),op_3sJ7IOPOlU(a,459)),op_RygbFNSyEJ(op_ObEyaaML9x(512,34),op_e1ybzncUwg(a)))+op_count_Ikt5ks8PT7(a,824)
    else:
        count = op_count_Z5m6OM72h2(a,224)+op_count_4JGOJzXMq1(80,a)+op_count_nCS4ZIUYfx(op_Z5m6OM72h2(a,224),op_4JGOJzXMq1(80,a))+op_count_e1ybzncUwg(op_nCS4ZIUYfx(op_Z5m6OM72h2(a,224),op_4JGOJzXMq1(80,a)))
    return count


def op_VwcTUkJCl7(a):
    if (a >= 35 or op_9xnGDUPbC6(a) != 15):
        return op_6iafYuwGo8(43,a)
    else:
        return op_2M7SKlOzyM(op_inCIaGQf8u(op_k7HXdKtiEU(752),op_3EhVUz7Ug9(a)),op_W4YGzv6Whe(op_NrdPCfJQiM(a,a),op_3tVxb0NHM4(a,348)))

def op_count_VwcTUkJCl7(a):
    if (a >= 35 or op_9xnGDUPbC6(a) != 15):
        count = op_count_6iafYuwGo8(43,a)+op_count_9xnGDUPbC6(a)
    else:
        count = op_count_k7HXdKtiEU(752)+op_count_3EhVUz7Ug9(a)+op_count_inCIaGQf8u(op_k7HXdKtiEU(752),op_3EhVUz7Ug9(a))+op_count_NrdPCfJQiM(a,a)+op_count_3tVxb0NHM4(a,348)+op_count_W4YGzv6Whe(op_NrdPCfJQiM(a,a),op_3tVxb0NHM4(a,348))+op_count_2M7SKlOzyM(op_inCIaGQf8u(op_k7HXdKtiEU(752),op_3EhVUz7Ug9(a)),op_W4YGzv6Whe(op_NrdPCfJQiM(a,a),op_3tVxb0NHM4(a,348)))
    return count


def op_YeqGfToepn(a, b):
    return op_j9kHMeSvPp(op_sdazOOVcIp(b,a),op_EWw2JM7wp4(a,a))

def op_count_YeqGfToepn(a, b):
    count = op_count_sdazOOVcIp(b,a)+op_count_EWw2JM7wp4(a,a)+op_count_j9kHMeSvPp(op_sdazOOVcIp(b,a),op_EWw2JM7wp4(a,a))
    return count


def op_ks8apemKCz(a, b):
    if (op_EBcxylXtPf(a) > 157 or op_QMFrweE19q(b,241) == 17):
        return op_cTDWOvIxvz(op_VCG3UHNzLR(200,a),op_cTDWOvIxvz(5,b))
    else:
        return op_QMFrweE19q(op_keWfFq85dY(a),op_m612RDITqL(a,a))

def op_count_ks8apemKCz(a, b):
    if (op_EBcxylXtPf(a) > 157 or op_QMFrweE19q(b,241) == 17):
        count = op_count_VCG3UHNzLR(200,a)+op_count_cTDWOvIxvz(5,b)+op_count_cTDWOvIxvz(op_VCG3UHNzLR(200,a),op_cTDWOvIxvz(5,b))+op_count_EBcxylXtPf(a)+op_count_QMFrweE19q(b,241)
    else:
        count = op_count_keWfFq85dY(a)+op_count_m612RDITqL(a,a)+op_count_QMFrweE19q(op_keWfFq85dY(a),op_m612RDITqL(a,a))
    return count


def op_SfNomHk8j6(a):
    return op_z2JHNkvbdm(a,a)

def op_count_SfNomHk8j6(a):
    count = op_count_z2JHNkvbdm(a,a)
    return count


a≛⨶⨗b = { ((⫹(a∘b))⊭↱((a⊢≏≾a)⪨⊡(b⩦a))) , if a<=32 ; a , else }

def op_wWzzlX9aK4(a, b):
    if a <= 32:
        return op_COABgblf1C(op_LmY23Q1aIi(op_Z5m6OM72h2(a,b)),op_kuIXHzHcAH(op_qxqspddX8k(a,a),op_0kmYd0q39Y(b,a)))
    else:
        return a

def op_count_wWzzlX9aK4(a, b):
    if a <= 32:
        count = op_count_Z5m6OM72h2(a,b)+op_count_LmY23Q1aIi(op_Z5m6OM72h2(a,b))+op_count_qxqspddX8k(a,a)+op_count_0kmYd0q39Y(b,a)+op_count_kuIXHzHcAH(op_qxqspddX8k(a,a),op_0kmYd0q39Y(b,a))+op_count_COABgblf1C(op_LmY23Q1aIi(op_Z5m6OM72h2(a,b)),op_kuIXHzHcAH(op_qxqspddX8k(a,a),op_0kmYd0q39Y(b,a)))
    else:
        count = 1
    return count


a⩰⪱ = { (⨑⩽⪐(a⇥↓)) , if a<=532 ; a , else }

def op_sJYuYGD6M4(a):
    if a <= 532:
        return op_AF7qkfDlqP(op_KvubFp3XhO(a))
    else:
        return a

def op_count_sJYuYGD6M4(a):
    if a <= 532:
        count = op_count_KvubFp3XhO(a)+op_count_AF7qkfDlqP(op_KvubFp3XhO(a))
    else:
        count = 1
    return count


def op_LXmfvPwYVb(a):
    if op_rysDP5nf3Z(a,557) == 67:
        return op_eaFBhJ0Uku(a,a)
    else:
        return op_ancx8kZcWl(a)

def op_count_LXmfvPwYVb(a):
    if op_rysDP5nf3Z(a,557) == 67:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_rysDP5nf3Z(a,557)
    else:
        count = op_count_ancx8kZcWl(a)
    return count


def op_FpTgazpbE6(a):
    return op_s0IfDFCCuZ(op_64EQ39e0fC(op_OKKcZfAt5B(a,a),op_Y7wcNGrDQJ(941,97)),op_qWUSsah53b(op_DbCuESL50I(a)))

def op_count_FpTgazpbE6(a):
    count = op_count_OKKcZfAt5B(a,a)+op_count_Y7wcNGrDQJ(941,97)+op_count_64EQ39e0fC(op_OKKcZfAt5B(a,a),op_Y7wcNGrDQJ(941,97))+op_count_DbCuESL50I(a)+op_count_qWUSsah53b(op_DbCuESL50I(a))+op_count_s0IfDFCCuZ(op_64EQ39e0fC(op_OKKcZfAt5B(a,a),op_Y7wcNGrDQJ(941,97)),op_qWUSsah53b(op_DbCuESL50I(a)))
    return count


def op_B48fwm0ULD(a):
    return op_b1mGkbI4Oy(a,a)

def op_count_B48fwm0ULD(a):
    count = op_count_b1mGkbI4Oy(a,a)
    return count


def op_8MaHhw0rJN(a):
    return op_rysDP5nf3Z(a,a)

def op_count_8MaHhw0rJN(a):
    count = op_count_rysDP5nf3Z(a,a)
    return count


a∥⋈≜b = { (∥⊫((⨍⩸↶b)≃(64⩣⊵⩗a))) , if (a⊝⪿⪼707)!=24 ; (((b≻⇥≳b)⩼⇪↪(b⩌b))⇩) , else }

def op_QAd1nPzBGT(a, b):
    if op_3Oe9XWJUTD(a,707) != 24:
        return op_P8v4zCKN1o(op_YbVcJGFEVW(op_2jG7DiviLq(b),op_wsXFuL0hC6(64,a)))
    else:
        return op_vRio1gEz1j(op_ocnLzx9CaJ(op_aiqF8n6J9c(b,b),op_UoVew8f2p2(b,b)))

def op_count_QAd1nPzBGT(a, b):
    if op_3Oe9XWJUTD(a,707) != 24:
        count = op_count_2jG7DiviLq(b)+op_count_wsXFuL0hC6(64,a)+op_count_YbVcJGFEVW(op_2jG7DiviLq(b),op_wsXFuL0hC6(64,a))+op_count_P8v4zCKN1o(op_YbVcJGFEVW(op_2jG7DiviLq(b),op_wsXFuL0hC6(64,a)))+op_count_3Oe9XWJUTD(a,707)
    else:
        count = op_count_aiqF8n6J9c(b,b)+op_count_UoVew8f2p2(b,b)+op_count_ocnLzx9CaJ(op_aiqF8n6J9c(b,b),op_UoVew8f2p2(b,b))+op_count_vRio1gEz1j(op_ocnLzx9CaJ(op_aiqF8n6J9c(b,b),op_UoVew8f2p2(b,b)))
    return count


a≻ = { ((a↜⊷a)∫⋜⩖(a⇐≅)) , if a<114 ; ((a∄a)≭⫡(a⪱⇝a)) , else }

def op_twpv9hRVHj(a):
    if a < 114:
        return op_JgXZM7XvWE(op_irKjLsMeKy(a,a),op_wEfv7U73WA(a))
    else:
        return op_b1mGkbI4Oy(op_tnyRA5sazQ(a,a),op_OTRTVPweYV(a,a))

def op_count_twpv9hRVHj(a):
    if a < 114:
        count = op_count_irKjLsMeKy(a,a)+op_count_wEfv7U73WA(a)+op_count_JgXZM7XvWE(op_irKjLsMeKy(a,a),op_wEfv7U73WA(a))
    else:
        count = op_count_tnyRA5sazQ(a,a)+op_count_OTRTVPweYV(a,a)+op_count_b1mGkbI4Oy(op_tnyRA5sazQ(a,a),op_OTRTVPweYV(a,a))
    return count


def op_QwQ0bohp01(a):
    if op_1aApVXNlOP(a,758) != 30:
        return op_DZ8iAZOCBD(op_1aApVXNlOP(115,a),a)
    else:
        return op_Eev2Q7dYIw(op_B4c4JXCTtZ(663))

def op_count_QwQ0bohp01(a):
    if op_1aApVXNlOP(a,758) != 30:
        count = op_count_1aApVXNlOP(115,a)+op_count_DZ8iAZOCBD(op_1aApVXNlOP(115,a),a)+op_count_1aApVXNlOP(a,758)
    else:
        count = op_count_B4c4JXCTtZ(663)+op_count_Eev2Q7dYIw(op_B4c4JXCTtZ(663))
    return count


a⋴⋼b = { (((⊠b)∙∹∝(b∘a))≦↸((a↱⊪⇍)⫁⪎(71⇌⫙⪟0))) , if a>=277 ; (((62∀⩎⋷b)∼⇢(b⫡⨏b))⋟⫀⨗((⇖b)≟⫹(b⫡⨏b))) , else }

def op_Ub5LgP3zz0(a, b):
    if a >= 277:
        return op_RygbFNSyEJ(op_HmxsFra2vL(op_R3vAdrE3IH(b),op_Z5m6OM72h2(b,a)),op_xRrnTEsQ6j(op_Zubgv0tBda(a),op_AFVx7xoS7T(71,0)))
    else:
        return op_dAAkup5nzi(op_Cr5xnr8B4B(op_FPxP5Y1j0W(62,b),op_QMFrweE19q(b,b)),op_z2JHNkvbdm(op_tfWHHpNKUN(b),op_QMFrweE19q(b,b)))

def op_count_Ub5LgP3zz0(a, b):
    if a >= 277:
        count = op_count_R3vAdrE3IH(b)+op_count_Z5m6OM72h2(b,a)+op_count_HmxsFra2vL(op_R3vAdrE3IH(b),op_Z5m6OM72h2(b,a))+op_count_Zubgv0tBda(a)+op_count_AFVx7xoS7T(71,0)+op_count_xRrnTEsQ6j(op_Zubgv0tBda(a),op_AFVx7xoS7T(71,0))+op_count_RygbFNSyEJ(op_HmxsFra2vL(op_R3vAdrE3IH(b),op_Z5m6OM72h2(b,a)),op_xRrnTEsQ6j(op_Zubgv0tBda(a),op_AFVx7xoS7T(71,0)))
    else:
        count = op_count_FPxP5Y1j0W(62,b)+op_count_QMFrweE19q(b,b)+op_count_Cr5xnr8B4B(op_FPxP5Y1j0W(62,b),op_QMFrweE19q(b,b))+op_count_tfWHHpNKUN(b)+op_count_QMFrweE19q(b,b)+op_count_z2JHNkvbdm(op_tfWHHpNKUN(b),op_QMFrweE19q(b,b))+op_count_dAAkup5nzi(op_Cr5xnr8B4B(op_FPxP5Y1j0W(62,b),op_QMFrweE19q(b,b)),op_z2JHNkvbdm(op_tfWHHpNKUN(b),op_QMFrweE19q(b,b)))
    return count


a∗⋺⪧ = { ((↸⊣a)≼(a⨵⪆a)) , if a>=13 ; ((a∌a)⩚⊴⇥(a≶40)) , else }

def op_iC1nznOfI5(a):
    if a >= 13:
        return op_SPuZE40Ntn(op_wztAlM01eG(a),op_2DQ55sFlQl(a,a))
    else:
        return op_NTOWxs364D(op_8cLx32lpNA(a,a),op_Q2SPaKwpPJ(a,40))

def op_count_iC1nznOfI5(a):
    if a >= 13:
        count = op_count_wztAlM01eG(a)+op_count_2DQ55sFlQl(a,a)+op_count_SPuZE40Ntn(op_wztAlM01eG(a),op_2DQ55sFlQl(a,a))
    else:
        count = op_count_8cLx32lpNA(a,a)+op_count_Q2SPaKwpPJ(a,40)+op_count_NTOWxs364D(op_8cLx32lpNA(a,a),op_Q2SPaKwpPJ(a,40))
    return count


a⇙⪗b = { (((b≶15)⪇≇⋚(a∑b))⪲⨢((b⪦⩸a)⫲)) }

def op_WKd9jDRQLW(a, b):
    return op_6iafYuwGo8(op_3sJ7IOPOlU(op_Q2SPaKwpPJ(b,15),op_JFrVJKYFMX(a,b)),op_9xnGDUPbC6(op_0JWJYFSzIQ(b,a)))

def op_count_WKd9jDRQLW(a, b):
    count = op_count_Q2SPaKwpPJ(b,15)+op_count_JFrVJKYFMX(a,b)+op_count_3sJ7IOPOlU(op_Q2SPaKwpPJ(b,15),op_JFrVJKYFMX(a,b))+op_count_0JWJYFSzIQ(b,a)+op_count_9xnGDUPbC6(op_0JWJYFSzIQ(b,a))+op_count_6iafYuwGo8(op_3sJ7IOPOlU(op_Q2SPaKwpPJ(b,15),op_JFrVJKYFMX(a,b)),op_9xnGDUPbC6(op_0JWJYFSzIQ(b,a)))
    return count


def op_Wzsy2r6X7v(a):
    return op_UpkSd4zESC(op_zR4jO40bMj(op_HrjLwUk87U(642,770),op_2fAMLLeFHb(a)),op_OTRTVPweYV(op_OWnFPqjWlR(a,343),op_P8v4zCKN1o(329)))

def op_count_Wzsy2r6X7v(a):
    count = op_count_HrjLwUk87U(642,770)+op_count_2fAMLLeFHb(a)+op_count_zR4jO40bMj(op_HrjLwUk87U(642,770),op_2fAMLLeFHb(a))+op_count_OWnFPqjWlR(a,343)+op_count_P8v4zCKN1o(329)+op_count_OTRTVPweYV(op_OWnFPqjWlR(a,343),op_P8v4zCKN1o(329))+op_count_UpkSd4zESC(op_zR4jO40bMj(op_HrjLwUk87U(642,770),op_2fAMLLeFHb(a)),op_OTRTVPweYV(op_OWnFPqjWlR(a,343),op_P8v4zCKN1o(329)))
    return count


def op_wabNmG5S9W(a):
    return op_5twsqlHp2o(op_9Isq31Ruls(op_E4l6HwMY31(522,49),op_KFSx94NKJn(467,a)),op_rIsGeVJWJF(op_WkeUrDK8WX(a)))

def op_count_wabNmG5S9W(a):
    count = op_count_E4l6HwMY31(522,49)+op_count_KFSx94NKJn(467,a)+op_count_9Isq31Ruls(op_E4l6HwMY31(522,49),op_KFSx94NKJn(467,a))+op_count_WkeUrDK8WX(a)+op_count_rIsGeVJWJF(op_WkeUrDK8WX(a))+op_count_5twsqlHp2o(op_9Isq31Ruls(op_E4l6HwMY31(522,49),op_KFSx94NKJn(467,a)),op_rIsGeVJWJF(op_WkeUrDK8WX(a)))
    return count


def op_uBbSXYMpE2(a, b):
    if op_4JGOJzXMq1(a,605) == 536:
        return a
    else:
        return op_SpZWOsLKZJ(op_OWnFPqjWlR(48,b))

def op_count_uBbSXYMpE2(a, b):
    if op_4JGOJzXMq1(a,605) == 536:
        count = 1
    else:
        count = op_count_OWnFPqjWlR(48,b)+op_count_SpZWOsLKZJ(op_OWnFPqjWlR(48,b))
    return count


def op_aHlGvsvWuT(a, b):
    if op_2M7SKlOzyM(a,314) != 491:
        return op_9FxExcQeMw(op_cTDWOvIxvz(a,38),op_HrjLwUk87U(b,57))
    else:
        return op_B3sABdIn96(op_rIsGeVJWJF(415))

def op_count_aHlGvsvWuT(a, b):
    if op_2M7SKlOzyM(a,314) != 491:
        count = op_count_cTDWOvIxvz(a,38)+op_count_HrjLwUk87U(b,57)+op_count_9FxExcQeMw(op_cTDWOvIxvz(a,38),op_HrjLwUk87U(b,57))+op_count_2M7SKlOzyM(a,314)
    else:
        count = op_count_rIsGeVJWJF(415)+op_count_B3sABdIn96(op_rIsGeVJWJF(415))
    return count


def op_kSF6tTRmc5(a, b):
    if op_OwUj7dcsQK(b) == 143:
        return op_UqUOXUQnbU(a,a)
    else:
        return op_d8xe6WWVfM(111,168)

def op_count_kSF6tTRmc5(a, b):
    if op_OwUj7dcsQK(b) == 143:
        count = op_count_UqUOXUQnbU(a,a)+op_count_OwUj7dcsQK(b)
    else:
        count = op_count_d8xe6WWVfM(111,168)
    return count


def op_glYmogwHQI(a):
    return op_LxFB4K6j0n(op_BAIXFdYaz3(a,a))

def op_count_glYmogwHQI(a):
    count = op_count_BAIXFdYaz3(a,a)+op_count_LxFB4K6j0n(op_BAIXFdYaz3(a,a))
    return count


def op_3jcGZHSLmS(a):
    return op_tnyRA5sazQ(op_tnyRA5sazQ(a,a),op_zFNL8mZEFB(a,486))

def op_count_3jcGZHSLmS(a):
    count = op_count_tnyRA5sazQ(a,a)+op_count_zFNL8mZEFB(a,486)+op_count_tnyRA5sazQ(op_tnyRA5sazQ(a,a),op_zFNL8mZEFB(a,486))
    return count


a⋏ = { ((⨩∲⋌(⊙⨙⩍a))⫊⇚⊺(⪷∈↠(a⨳⩥⨓a))) , if (a⩤)<=78 ; (((154↮⪈⫰)⫃⨇(116≶a))⊓≱((a⨑a)⊎←↗)) , else }

def op_CIQmgPqllN(a):
    if op_Z2TMIBDE3Q(a) <= 78:
        return op_Y5cEcQhyKu(op_aSik1wnThz(op_ocpzidtxKt(a)),op_Kn0TacbtGK(op_nCS4ZIUYfx(a,a)))
    else:
        return op_VCG3UHNzLR(op_09Ly4LVMIf(op_MKpoIoBJCf(154),op_Q2SPaKwpPJ(116,a)),op_dwb5p0fa6d(op_IxJHfR5psi(a,a)))

def op_count_CIQmgPqllN(a):
    if op_Z2TMIBDE3Q(a) <= 78:
        count = op_count_ocpzidtxKt(a)+op_count_aSik1wnThz(op_ocpzidtxKt(a))+op_count_nCS4ZIUYfx(a,a)+op_count_Kn0TacbtGK(op_nCS4ZIUYfx(a,a))+op_count_Y5cEcQhyKu(op_aSik1wnThz(op_ocpzidtxKt(a)),op_Kn0TacbtGK(op_nCS4ZIUYfx(a,a)))+op_count_Z2TMIBDE3Q(a)
    else:
        count = op_count_MKpoIoBJCf(154)+op_count_Q2SPaKwpPJ(116,a)+op_count_09Ly4LVMIf(op_MKpoIoBJCf(154),op_Q2SPaKwpPJ(116,a))+op_count_IxJHfR5psi(a,a)+op_count_dwb5p0fa6d(op_IxJHfR5psi(a,a))+op_count_VCG3UHNzLR(op_09Ly4LVMIf(op_MKpoIoBJCf(154),op_Q2SPaKwpPJ(116,a)),op_dwb5p0fa6d(op_IxJHfR5psi(a,a)))
    return count


def op_8ugvbv80dy(a):
    if op_y2kQTS4a70(a,219) < 223:
        return op_2Wsdkap16l(op_2O29ZX4yK6(a),a)
    else:
        return op_LmY23Q1aIi(op_AF7qkfDlqP(a))

def op_count_8ugvbv80dy(a):
    if op_y2kQTS4a70(a,219) < 223:
        count = op_count_2O29ZX4yK6(a)+op_count_2Wsdkap16l(op_2O29ZX4yK6(a),a)+op_count_y2kQTS4a70(a,219)
    else:
        count = op_count_AF7qkfDlqP(a)+op_count_LmY23Q1aIi(op_AF7qkfDlqP(a))
    return count


def op_hjASYKpOEw(a):
    if op_E4l6HwMY31(a,931) != 165:
        return op_HJ9erzHUuu(op_WObL9SsYVE(op_YApyZlDuBr(a),op_tnyRA5sazQ(8,a)),op_WR6HLWljOP(op_Ph9nP6C5qx(a,a),op_PPChnnnBFF(a,a)))
    else:
        return op_GMyVS5K48T(op_m612RDITqL(op_rysDP5nf3Z(a,a),op_tIhPxZTbsh(36,a)),op_k2B77S3vSv(op_UggxBX659n(a,a)))

def op_count_hjASYKpOEw(a):
    if op_E4l6HwMY31(a,931) != 165:
        count = op_count_YApyZlDuBr(a)+op_count_tnyRA5sazQ(8,a)+op_count_WObL9SsYVE(op_YApyZlDuBr(a),op_tnyRA5sazQ(8,a))+op_count_Ph9nP6C5qx(a,a)+op_count_PPChnnnBFF(a,a)+op_count_WR6HLWljOP(op_Ph9nP6C5qx(a,a),op_PPChnnnBFF(a,a))+op_count_HJ9erzHUuu(op_WObL9SsYVE(op_YApyZlDuBr(a),op_tnyRA5sazQ(8,a)),op_WR6HLWljOP(op_Ph9nP6C5qx(a,a),op_PPChnnnBFF(a,a)))+op_count_E4l6HwMY31(a,931)
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_tIhPxZTbsh(36,a)+op_count_m612RDITqL(op_rysDP5nf3Z(a,a),op_tIhPxZTbsh(36,a))+op_count_UggxBX659n(a,a)+op_count_k2B77S3vSv(op_UggxBX659n(a,a))+op_count_GMyVS5K48T(op_m612RDITqL(op_rysDP5nf3Z(a,a),op_tIhPxZTbsh(36,a)),op_k2B77S3vSv(op_UggxBX659n(a,a)))
    return count


def op_iRVJYj8mGz(a, b):
    return op_6iafYuwGo8(op_g55IO6H4Gj(36,a),op_wsXFuL0hC6(a,b))

def op_count_iRVJYj8mGz(a, b):
    count = op_count_g55IO6H4Gj(36,a)+op_count_wsXFuL0hC6(a,b)+op_count_6iafYuwGo8(op_g55IO6H4Gj(36,a),op_wsXFuL0hC6(a,b))
    return count


def op_7E34dqMgFI(a):
    return op_7j4O788W3g(op_UoVew8f2p2(a,791),op_5RY6W0glyJ(a))

def op_count_7E34dqMgFI(a):
    count = op_count_UoVew8f2p2(a,791)+op_count_5RY6W0glyJ(a)+op_count_7j4O788W3g(op_UoVew8f2p2(a,791),op_5RY6W0glyJ(a))
    return count


def op_GbDo2oKiUE(a):
    if op_E4l6HwMY31(a,930) > 7:
        return op_HJ9erzHUuu(op_u7fv1HBiaC(op_tIhPxZTbsh(312,a)),op_DX7B1fY6P6(op_E4l6HwMY31(184,115),op_v0DYgG9ikt(a)))
    else:
        return op_9Isq31Ruls(op_MXaNJeIAZ3(op_DmTXOeWf9t(a,114)),op_18saOjeKKm(op_pRsWfj4Fpp(a)))

def op_count_GbDo2oKiUE(a):
    if op_E4l6HwMY31(a,930) > 7:
        count = op_count_tIhPxZTbsh(312,a)+op_count_u7fv1HBiaC(op_tIhPxZTbsh(312,a))+op_count_E4l6HwMY31(184,115)+op_count_v0DYgG9ikt(a)+op_count_DX7B1fY6P6(op_E4l6HwMY31(184,115),op_v0DYgG9ikt(a))+op_count_HJ9erzHUuu(op_u7fv1HBiaC(op_tIhPxZTbsh(312,a)),op_DX7B1fY6P6(op_E4l6HwMY31(184,115),op_v0DYgG9ikt(a)))+op_count_E4l6HwMY31(a,930)
    else:
        count = op_count_DmTXOeWf9t(a,114)+op_count_MXaNJeIAZ3(op_DmTXOeWf9t(a,114))+op_count_pRsWfj4Fpp(a)+op_count_18saOjeKKm(op_pRsWfj4Fpp(a))+op_count_9Isq31Ruls(op_MXaNJeIAZ3(op_DmTXOeWf9t(a,114)),op_18saOjeKKm(op_pRsWfj4Fpp(a)))
    return count


a⫦⪝b = { ((b⋅)⊋≦⊧(b⨵⪆b)) , if (a⊇≀≁)==135 ; ((a⪱⇝b)⪒⊣⊆(a⊢)) , else }

def op_m4ELZxczPY(a, b):
    if op_AfoL3wC8aT(a) == 135:
        return op_oRDoc9rAEX(op_620seOwKww(b),op_2DQ55sFlQl(b,b))
    else:
        return op_eRqsBgTDFp(op_OTRTVPweYV(a,b),op_40aOVDgCDB(a))

def op_count_m4ELZxczPY(a, b):
    if op_AfoL3wC8aT(a) == 135:
        count = op_count_620seOwKww(b)+op_count_2DQ55sFlQl(b,b)+op_count_oRDoc9rAEX(op_620seOwKww(b),op_2DQ55sFlQl(b,b))+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_OTRTVPweYV(a,b)+op_count_40aOVDgCDB(a)+op_count_eRqsBgTDFp(op_OTRTVPweYV(a,b),op_40aOVDgCDB(a))
    return count


⋍↚⩘a = { (((a⨵⪆a)⪑⩈)⊓≱a) , if a>175 ; (((a→⨶⪴a)∊⊞≈(a⫊⇚⊺a))⫯⪬∳(⩰(a↺a))) , else }

def op_BN1JO0BeqZ(a):
    if a > 175:
        return op_VCG3UHNzLR(op_C6VvDP6HwP(op_2DQ55sFlQl(a,a)),a)
    else:
        return op_d7ASUq0ydm(op_keuJNkrrbj(op_bF6eod5Gvf(a,a),op_Y5cEcQhyKu(a,a)),op_WkeUrDK8WX(op_7j4O788W3g(a,a)))

def op_count_BN1JO0BeqZ(a):
    if a > 175:
        count = op_count_2DQ55sFlQl(a,a)+op_count_C6VvDP6HwP(op_2DQ55sFlQl(a,a))+op_count_VCG3UHNzLR(op_C6VvDP6HwP(op_2DQ55sFlQl(a,a)),a)
    else:
        count = op_count_bF6eod5Gvf(a,a)+op_count_Y5cEcQhyKu(a,a)+op_count_keuJNkrrbj(op_bF6eod5Gvf(a,a),op_Y5cEcQhyKu(a,a))+op_count_7j4O788W3g(a,a)+op_count_WkeUrDK8WX(op_7j4O788W3g(a,a))+op_count_d7ASUq0ydm(op_keuJNkrrbj(op_bF6eod5Gvf(a,a),op_Y5cEcQhyKu(a,a)),op_WkeUrDK8WX(op_7j4O788W3g(a,a)))
    return count


def op_xOvNxfD5CB(a, b):
    return op_g55IO6H4Gj(b,op_sM9mzqIDB1(op_69GgKhV9QQ(a),op_AnPstFaJd9(221)))

def op_count_xOvNxfD5CB(a, b):
    count = op_count_69GgKhV9QQ(a)+op_count_AnPstFaJd9(221)+op_count_sM9mzqIDB1(op_69GgKhV9QQ(a),op_AnPstFaJd9(221))+op_count_g55IO6H4Gj(b,op_sM9mzqIDB1(op_69GgKhV9QQ(a),op_AnPstFaJd9(221)))
    return count


a⊑⨮b = { ((a≧⫂∧(b⪖⪡a))⊉≛↸((a⪎⨄⋝)⩾(b⪱⇝342))) , if b<=20 ; (((665≭⫡a)⫏↛⩏(b⩌⋺b))-∠((85∑b)≽⪈↿(b⪨≂b))) , else }

def op_xRCgHJduM4(a, b):
    if b <= 20:
        return op_DZ8iAZOCBD(op_Ph9nP6C5qx(a,op_7PjNe5qSIJ(b,a)),op_UggxBX659n(op_kweVJGAjhl(a),op_OTRTVPweYV(b,342)))
    else:
        return op_s0IfDFCCuZ(op_YC3tgrnOyr(op_b1mGkbI4Oy(665,a),op_g7Hmc5v1ko(b,b)),op_inCIaGQf8u(op_JFrVJKYFMX(85,b),op_sdazOOVcIp(b,b)))

def op_count_xRCgHJduM4(a, b):
    if b <= 20:
        count = op_count_7PjNe5qSIJ(b,a)+op_count_Ph9nP6C5qx(a,op_7PjNe5qSIJ(b,a))+op_count_kweVJGAjhl(a)+op_count_OTRTVPweYV(b,342)+op_count_UggxBX659n(op_kweVJGAjhl(a),op_OTRTVPweYV(b,342))+op_count_DZ8iAZOCBD(op_Ph9nP6C5qx(a,op_7PjNe5qSIJ(b,a)),op_UggxBX659n(op_kweVJGAjhl(a),op_OTRTVPweYV(b,342)))
    else:
        count = op_count_b1mGkbI4Oy(665,a)+op_count_g7Hmc5v1ko(b,b)+op_count_YC3tgrnOyr(op_b1mGkbI4Oy(665,a),op_g7Hmc5v1ko(b,b))+op_count_JFrVJKYFMX(85,b)+op_count_sdazOOVcIp(b,b)+op_count_inCIaGQf8u(op_JFrVJKYFMX(85,b),op_sdazOOVcIp(b,b))+op_count_s0IfDFCCuZ(op_YC3tgrnOyr(op_b1mGkbI4Oy(665,a),op_g7Hmc5v1ko(b,b)),op_inCIaGQf8u(op_JFrVJKYFMX(85,b),op_sdazOOVcIp(b,b)))
    return count


a⨇∑⇷b = { (b⇄a) , if b>207 ; (b⇑∁⪛) , else }

def op_LCjPM0UdxD(a, b):
    if b > 207:
        return op_3EYGwJThht(b,a)
    else:
        return op_P75hhshrwX(b)

def op_count_LCjPM0UdxD(a, b):
    if b > 207:
        count = op_count_3EYGwJThht(b,a)
    else:
        count = op_count_P75hhshrwX(b)
    return count


a⋚↵⨭b = { ((⫦≽⪐(a∼⇢b))⩼⇪↪(a⪨(118⫁⪎b))) , if (⫊≏⨉a)<62 ; (((124⩵∡214)⩦(⋾b))∼⇢((b∄b)⊝⪿⪼(b⊝⪿⪼a))) , else }

def op_EhNdXCgA70(a, b):
    if op_KED7KUUlGq(a) < 62:
        return op_ocnLzx9CaJ(op_fjqJgF5yyp(op_Cr5xnr8B4B(a,b)),op_2z8nE7LpCu(a,op_xRrnTEsQ6j(118,b)))
    else:
        return op_Cr5xnr8B4B(op_0kmYd0q39Y(op_Y7wcNGrDQJ(124,214),op_8TQKPGA8Ba(b)),op_3Oe9XWJUTD(op_tnyRA5sazQ(b,b),op_3Oe9XWJUTD(b,a)))

def op_count_EhNdXCgA70(a, b):
    if op_KED7KUUlGq(a) < 62:
        count = op_count_Cr5xnr8B4B(a,b)+op_count_fjqJgF5yyp(op_Cr5xnr8B4B(a,b))+op_count_xRrnTEsQ6j(118,b)+op_count_2z8nE7LpCu(a,op_xRrnTEsQ6j(118,b))+op_count_ocnLzx9CaJ(op_fjqJgF5yyp(op_Cr5xnr8B4B(a,b)),op_2z8nE7LpCu(a,op_xRrnTEsQ6j(118,b)))+op_count_KED7KUUlGq(a)
    else:
        count = op_count_Y7wcNGrDQJ(124,214)+op_count_8TQKPGA8Ba(b)+op_count_0kmYd0q39Y(op_Y7wcNGrDQJ(124,214),op_8TQKPGA8Ba(b))+op_count_tnyRA5sazQ(b,b)+op_count_3Oe9XWJUTD(b,a)+op_count_3Oe9XWJUTD(op_tnyRA5sazQ(b,b),op_3Oe9XWJUTD(b,a))+op_count_Cr5xnr8B4B(op_0kmYd0q39Y(op_Y7wcNGrDQJ(124,214),op_8TQKPGA8Ba(b)),op_3Oe9XWJUTD(op_tnyRA5sazQ(b,b),op_3Oe9XWJUTD(b,a)))
    return count


def op_4d8tbwVAPf(a):
    if op_FyVja0WsTP(a,405) > 436:
        return op_m612RDITqL(a,502)
    else:
        return op_RHru8klgy8(a)

def op_count_4d8tbwVAPf(a):
    if op_FyVja0WsTP(a,405) > 436:
        count = op_count_m612RDITqL(a,502)+op_count_FyVja0WsTP(a,405)
    else:
        count = op_count_RHru8klgy8(a)
    return count


def op_Y3qrs0M54z(a):
    return op_GMN7JP6WpN(op_S56z7WVPBn(op_1h0rLqGiFr(a)),op_MmTdOpaElr(op_4kvgVkQeiQ(a)))

def op_count_Y3qrs0M54z(a):
    count = op_count_1h0rLqGiFr(a)+op_count_S56z7WVPBn(op_1h0rLqGiFr(a))+op_count_4kvgVkQeiQ(a)+op_count_MmTdOpaElr(op_4kvgVkQeiQ(a))+op_count_GMN7JP6WpN(op_S56z7WVPBn(op_1h0rLqGiFr(a)),op_MmTdOpaElr(op_4kvgVkQeiQ(a)))
    return count


def op_wg9pOOtXXC(a):
    return op_u6S6b8DprG(op_RygbFNSyEJ(op_Qy55tPpLXF(a,a),op_KFSx94NKJn(247,a)))

def op_count_wg9pOOtXXC(a):
    count = op_count_Qy55tPpLXF(a,a)+op_count_KFSx94NKJn(247,a)+op_count_RygbFNSyEJ(op_Qy55tPpLXF(a,a),op_KFSx94NKJn(247,a))+op_count_u6S6b8DprG(op_RygbFNSyEJ(op_Qy55tPpLXF(a,a),op_KFSx94NKJn(247,a)))
    return count


a⪖⩯b = { (a⩣⫁∢b) , if a<559 ; (a⩂⊭⨚) , else }

def op_ruocl2TjRv(a, b):
    if a < 559:
        return op_JDUIKTTSIa(a,b)
    else:
        return op_PaBHOjxk8c(a)

def op_count_ruocl2TjRv(a, b):
    if a < 559:
        count = op_count_JDUIKTTSIa(a,b)
    else:
        count = op_count_PaBHOjxk8c(a)
    return count


a⨦⇉⋆b = { (⋗⩬⋾a) , if b<=66 ; (b⪅) , else }

def op_qu6tLqWajp(a, b):
    if b <= 66:
        return op_DpFCA1CohY(a)
    else:
        return op_FB83X2dByY(b)

def op_count_qu6tLqWajp(a, b):
    if b <= 66:
        count = op_count_DpFCA1CohY(a)
    else:
        count = op_count_FB83X2dByY(b)
    return count


a⫃⋲ = { ((a⩤∜↚a)∽(54≽↲≰a)) , if (a⩌⋺542)!=129 ; ((a⩽⩡a)≧⫂∧(↰⫏a)) , else }

def op_R1Mr340Wyc(a):
    if op_g7Hmc5v1ko(a,542) != 129:
        return op_y4ImoPnbV5(op_KROiRRz3d6(a,a),op_cFVlceoRkX(54,a))
    else:
        return op_Ph9nP6C5qx(op_zFNL8mZEFB(a,a),op_UeUK5QjOtW(a))

def op_count_R1Mr340Wyc(a):
    if op_g7Hmc5v1ko(a,542) != 129:
        count = op_count_KROiRRz3d6(a,a)+op_count_cFVlceoRkX(54,a)+op_count_y4ImoPnbV5(op_KROiRRz3d6(a,a),op_cFVlceoRkX(54,a))+op_count_g7Hmc5v1ko(a,542)
    else:
        count = op_count_zFNL8mZEFB(a,a)+op_count_UeUK5QjOtW(a)+op_count_Ph9nP6C5qx(op_zFNL8mZEFB(a,a),op_UeUK5QjOtW(a))
    return count


def op_Tixtbf0zgv(a):
    if (op_YbVcJGFEVW(a,953) <= 172 and a > 352):
        return op_jfYOP67v6Y(op_m612RDITqL(a,a))
    else:
        return op_VCG3UHNzLR(op_oDvtRyfmAM(a),op_COABgblf1C(a,a))

def op_count_Tixtbf0zgv(a):
    if (op_YbVcJGFEVW(a,953) <= 172 and a > 352):
        count = op_count_m612RDITqL(a,a)+op_count_jfYOP67v6Y(op_m612RDITqL(a,a))+op_count_YbVcJGFEVW(a,953)
    else:
        count = op_count_oDvtRyfmAM(a)+op_count_COABgblf1C(a,a)+op_count_VCG3UHNzLR(op_oDvtRyfmAM(a),op_COABgblf1C(a,a))
    return count


def op_pDgDbUWb4G(a):
    return op_VCG3UHNzLR(op_ZNVVrZ94lY(a),op_WR6HLWljOP(57,a))

def op_count_pDgDbUWb4G(a):
    count = op_count_ZNVVrZ94lY(a)+op_count_WR6HLWljOP(57,a)+op_count_VCG3UHNzLR(op_ZNVVrZ94lY(a),op_WR6HLWljOP(57,a))
    return count


a∎⊌b = { (((⊀⇵513)⩱)↹⊜((⫹b)⨸⪁(a⨑≵⋬a))) }

def op_QlDtpsi6BD(a, b):
    return op_9bazX3JMtO(op_uyq1hVkAcj(op_B3tNObfNaL(513)),op_g55IO6H4Gj(op_LmY23Q1aIi(b),op_XnXgA4xnOs(a,a)))

def op_count_QlDtpsi6BD(a, b):
    count = op_count_B3tNObfNaL(513)+op_count_uyq1hVkAcj(op_B3tNObfNaL(513))+op_count_LmY23Q1aIi(b)+op_count_XnXgA4xnOs(a,a)+op_count_g55IO6H4Gj(op_LmY23Q1aIi(b),op_XnXgA4xnOs(a,a))+op_count_9bazX3JMtO(op_uyq1hVkAcj(op_B3tNObfNaL(513)),op_g55IO6H4Gj(op_LmY23Q1aIi(b),op_XnXgA4xnOs(a,a)))
    return count


a⪙ = { (a⊓≱a) , if (a↮⪈⫰)<=131 ; (a⪉⨛a) , else }

def op_q9W8HK4W87(a):
    if op_MKpoIoBJCf(a) <= 131:
        return op_VCG3UHNzLR(a,a)
    else:
        return op_EWw2JM7wp4(a,a)

def op_count_q9W8HK4W87(a):
    if op_MKpoIoBJCf(a) <= 131:
        count = op_count_VCG3UHNzLR(a,a)+op_count_MKpoIoBJCf(a)
    else:
        count = op_count_EWw2JM7wp4(a,a)
    return count


def op_Mgrz23wGJT(a):
    return op_QvoQhV0rrE(a,a)

def op_count_Mgrz23wGJT(a):
    count = op_count_QvoQhV0rrE(a,a)
    return count


a≽⪆b = { (a⋥≓≎((b⨜⨶b)∺≝⩲(⫄⋦≢a))) , if b==135 ; a , else }

def op_0YS1lrvTlG(a, b):
    if b == 135:
        return op_Qy55tPpLXF(a,op_KPf6cnQVty(op_HiPekx5b7W(b,b),op_4kvgVkQeiQ(a)))
    else:
        return a

def op_count_0YS1lrvTlG(a, b):
    if b == 135:
        count = op_count_HiPekx5b7W(b,b)+op_count_4kvgVkQeiQ(a)+op_count_KPf6cnQVty(op_HiPekx5b7W(b,b),op_4kvgVkQeiQ(a))+op_count_Qy55tPpLXF(a,op_KPf6cnQVty(op_HiPekx5b7W(b,b),op_4kvgVkQeiQ(a)))
    else:
        count = 1
    return count


def op_FQxrAp7wUb(a):
    return op_NTOWxs364D(op_DmTXOeWf9t(op_27wFxooxGf(a),a),op_YjI8oCXuph(op_YC3tgrnOyr(a,a)))

def op_count_FQxrAp7wUb(a):
    count = op_count_27wFxooxGf(a)+op_count_DmTXOeWf9t(op_27wFxooxGf(a),a)+op_count_YC3tgrnOyr(a,a)+op_count_YjI8oCXuph(op_YC3tgrnOyr(a,a))+op_count_NTOWxs364D(op_DmTXOeWf9t(op_27wFxooxGf(a),a),op_YjI8oCXuph(op_YC3tgrnOyr(a,a)))
    return count


def op_PVw4wBg8va(a, b):
    return op_2Wsdkap16l(op_UpkSd4zESC(b,a),op_7PjNe5qSIJ(a,b))

def op_count_PVw4wBg8va(a, b):
    count = op_count_UpkSd4zESC(b,a)+op_count_7PjNe5qSIJ(a,b)+op_count_2Wsdkap16l(op_UpkSd4zESC(b,a),op_7PjNe5qSIJ(a,b))
    return count


a⇿b = { (∓((a⪖⪡b)≦↸(a⊢≏≾b))) , if (b⫏↛⩏683)<=516 ; (((b⨻⪊⨷b)∷(b⪔⊥b))⪚⨁⋖((a⋰⇉∕b)⇐≅)) , else }

def op_YBjRNIjNLy(a, b):
    if op_YC3tgrnOyr(b,683) <= 516:
        return op_OwUj7dcsQK(op_RygbFNSyEJ(op_7PjNe5qSIJ(a,b),op_qxqspddX8k(a,b)))
    else:
        return op_xSk1F0pZbF(op_D3AQDKkPcf(op_Pkwamo1tM2(b,b),op_HJ9erzHUuu(b,b)),op_wEfv7U73WA(op_sM9mzqIDB1(a,b)))

def op_count_YBjRNIjNLy(a, b):
    if op_YC3tgrnOyr(b,683) <= 516:
        count = op_count_7PjNe5qSIJ(a,b)+op_count_qxqspddX8k(a,b)+op_count_RygbFNSyEJ(op_7PjNe5qSIJ(a,b),op_qxqspddX8k(a,b))+op_count_OwUj7dcsQK(op_RygbFNSyEJ(op_7PjNe5qSIJ(a,b),op_qxqspddX8k(a,b)))+op_count_YC3tgrnOyr(b,683)
    else:
        count = op_count_Pkwamo1tM2(b,b)+op_count_HJ9erzHUuu(b,b)+op_count_D3AQDKkPcf(op_Pkwamo1tM2(b,b),op_HJ9erzHUuu(b,b))+op_count_sM9mzqIDB1(a,b)+op_count_wEfv7U73WA(op_sM9mzqIDB1(a,b))+op_count_xSk1F0pZbF(op_D3AQDKkPcf(op_Pkwamo1tM2(b,b),op_HJ9erzHUuu(b,b)),op_wEfv7U73WA(op_sM9mzqIDB1(a,b)))
    return count


a⨺⪞⪏b = { (((a⩧⪆b)∌↝(⨩∲⋌a))⪍↜⋙((a⊵a)→⨶⪴(b⊩≵⪔))) , if (b∠↢320)>896 ; (((634≶b)⩣⊵⩗(b⨰↻⪇b))⨜⨶69) , else }

def op_tNf708WLYo(a, b):
    if op_KbjG8mgYpV(b,320) > 896:
        return op_L05ObWFQCd(op_9Isq31Ruls(op_Ikt5ks8PT7(a,b),op_aSik1wnThz(a)),op_bF6eod5Gvf(op_eaFBhJ0Uku(a,a),op_aDRGw0okjd(b)))
    else:
        return op_HiPekx5b7W(op_wsXFuL0hC6(op_Q2SPaKwpPJ(634,b),op_nbuSfrB4hB(b,b)),69)

def op_count_tNf708WLYo(a, b):
    if op_KbjG8mgYpV(b,320) > 896:
        count = op_count_Ikt5ks8PT7(a,b)+op_count_aSik1wnThz(a)+op_count_9Isq31Ruls(op_Ikt5ks8PT7(a,b),op_aSik1wnThz(a))+op_count_eaFBhJ0Uku(a,a)+op_count_aDRGw0okjd(b)+op_count_bF6eod5Gvf(op_eaFBhJ0Uku(a,a),op_aDRGw0okjd(b))+op_count_L05ObWFQCd(op_9Isq31Ruls(op_Ikt5ks8PT7(a,b),op_aSik1wnThz(a)),op_bF6eod5Gvf(op_eaFBhJ0Uku(a,a),op_aDRGw0okjd(b)))+op_count_KbjG8mgYpV(b,320)
    else:
        count = op_count_Q2SPaKwpPJ(634,b)+op_count_nbuSfrB4hB(b,b)+op_count_wsXFuL0hC6(op_Q2SPaKwpPJ(634,b),op_nbuSfrB4hB(b,b))+op_count_HiPekx5b7W(op_wsXFuL0hC6(op_Q2SPaKwpPJ(634,b),op_nbuSfrB4hB(b,b)),69)
    return count


def op_2DhqeOovny(a, b):
    return op_jBC4ymW3D7(op_YbVcJGFEVW(a,b),op_2Wsdkap16l(b,a))

def op_count_2DhqeOovny(a, b):
    count = op_count_YbVcJGFEVW(a,b)+op_count_2Wsdkap16l(b,a)+op_count_jBC4ymW3D7(op_YbVcJGFEVW(a,b),op_2Wsdkap16l(b,a))
    return count


a⇞⊞⩶ = { ((⫌⊑↬(≤/a))↪∷((a∿⫑≎a)⋘(42⊔%a))) }

def op_Ng8DvMldyy(a):
    return op_Api82iH42a(op_h57jOAbG9W(op_eLAdDNolq6(a)),op_2M7SKlOzyM(op_ar1w6gUwHX(a,a),op_uysxUYN2L2(42,a)))

def op_count_Ng8DvMldyy(a):
    count = op_count_eLAdDNolq6(a)+op_count_h57jOAbG9W(op_eLAdDNolq6(a))+op_count_ar1w6gUwHX(a,a)+op_count_uysxUYN2L2(42,a)+op_count_2M7SKlOzyM(op_ar1w6gUwHX(a,a),op_uysxUYN2L2(42,a))+op_count_Api82iH42a(op_h57jOAbG9W(op_eLAdDNolq6(a)),op_2M7SKlOzyM(op_ar1w6gUwHX(a,a),op_uysxUYN2L2(42,a)))
    return count


def op_7gUe4DcURM(a):
    return op_MKzNxCV7Yo(op_cTDWOvIxvz(a,a))

def op_count_7gUe4DcURM(a):
    count = op_count_cTDWOvIxvz(a,a)+op_count_MKzNxCV7Yo(op_cTDWOvIxvz(a,a))
    return count


def op_SNWesf9iCk(a):
    return op_xoJmIySC7h(op_o575Zjdmzy(a),op_RPa3726CSl(a))

def op_count_SNWesf9iCk(a):
    count = op_count_o575Zjdmzy(a)+op_count_RPa3726CSl(a)+op_count_xoJmIySC7h(op_o575Zjdmzy(a),op_RPa3726CSl(a))
    return count


def op_8p2uRDTgwB(a):
    return op_d8xe6WWVfM(op_7j4O788W3g(op_e1ybzncUwg(248),op_UpkSd4zESC(a,a)),op_S5ZFQS4GK3(op_13TjBizFrQ(a),op_ocnLzx9CaJ(410,a)))

def op_count_8p2uRDTgwB(a):
    count = op_count_e1ybzncUwg(248)+op_count_UpkSd4zESC(a,a)+op_count_7j4O788W3g(op_e1ybzncUwg(248),op_UpkSd4zESC(a,a))+op_count_13TjBizFrQ(a)+op_count_ocnLzx9CaJ(410,a)+op_count_S5ZFQS4GK3(op_13TjBizFrQ(a),op_ocnLzx9CaJ(410,a))+op_count_d8xe6WWVfM(op_7j4O788W3g(op_e1ybzncUwg(248),op_UpkSd4zESC(a,a)),op_S5ZFQS4GK3(op_13TjBizFrQ(a),op_ocnLzx9CaJ(410,a)))
    return count


a↞⇏↡ = { ((⩆⇋(29⋢a))⇿⊰((⇝⋾⇵a)≶(75⊭a))) , if a>=241 ; (((a⪨≂a)⨲⇖⇮)≐→⇾) , else }

def op_3jaEye8kCv(a):
    if a >= 241:
        return op_ap3xiM279w(op_IjUb3wyICU(op_NdELin8EPX(29,a)),op_Q2SPaKwpPJ(op_6l7ULzJsnZ(a),op_4JGOJzXMq1(75,a)))
    else:
        return op_zV3pqYiQ5E(op_oj4YnGA3cE(op_sdazOOVcIp(a,a)))

def op_count_3jaEye8kCv(a):
    if a >= 241:
        count = op_count_NdELin8EPX(29,a)+op_count_IjUb3wyICU(op_NdELin8EPX(29,a))+op_count_6l7ULzJsnZ(a)+op_count_4JGOJzXMq1(75,a)+op_count_Q2SPaKwpPJ(op_6l7ULzJsnZ(a),op_4JGOJzXMq1(75,a))+op_count_ap3xiM279w(op_IjUb3wyICU(op_NdELin8EPX(29,a)),op_Q2SPaKwpPJ(op_6l7ULzJsnZ(a),op_4JGOJzXMq1(75,a)))
    else:
        count = op_count_sdazOOVcIp(a,a)+op_count_oj4YnGA3cE(op_sdazOOVcIp(a,a))+op_count_zV3pqYiQ5E(op_oj4YnGA3cE(op_sdazOOVcIp(a,a)))
    return count


def op_XjS7Uyx2OE(a, b):
    return op_kz228nwi0J(op_UpkSd4zESC(op_GMyVS5K48T(a,a),op_UMMmb9LONo(b)))

def op_count_XjS7Uyx2OE(a, b):
    count = op_count_GMyVS5K48T(a,a)+op_count_UMMmb9LONo(b)+op_count_UpkSd4zESC(op_GMyVS5K48T(a,a),op_UMMmb9LONo(b))+op_count_kz228nwi0J(op_UpkSd4zESC(op_GMyVS5K48T(a,a),op_UMMmb9LONo(b)))
    return count


def op_BcRheXvnvx(a):
    return op_qy3n0tapmE(a,a)

def op_count_BcRheXvnvx(a):
    count = op_count_qy3n0tapmE(a,a)
    return count


def op_H40QhctQVb(a):
    return op_1aApVXNlOP(op_jfYOP67v6Y(a),op_d8xe6WWVfM(a,a))

def op_count_H40QhctQVb(a):
    count = op_count_jfYOP67v6Y(a)+op_count_d8xe6WWVfM(a,a)+op_count_1aApVXNlOP(op_jfYOP67v6Y(a),op_d8xe6WWVfM(a,a))
    return count


a⪄⨗⋂b = { ((b↢a)≬⋮(a⪁⨴⋨a)) , if (a⫁⪎949)!=310 ; ((b⋎b)↨⪍≴(224⨰↻⪇b)) , else }

def op_BA5ptRLOMP(a, b):
    if op_xRrnTEsQ6j(a,949) != 310:
        return op_kbkesczE7y(op_WR6HLWljOP(b,a),op_y2kQTS4a70(a,a))
    else:
        return op_DX7B1fY6P6(op_qy3n0tapmE(b,b),op_nbuSfrB4hB(224,b))

def op_count_BA5ptRLOMP(a, b):
    if op_xRrnTEsQ6j(a,949) != 310:
        count = op_count_WR6HLWljOP(b,a)+op_count_y2kQTS4a70(a,a)+op_count_kbkesczE7y(op_WR6HLWljOP(b,a),op_y2kQTS4a70(a,a))+op_count_xRrnTEsQ6j(a,949)
    else:
        count = op_count_qy3n0tapmE(b,b)+op_count_nbuSfrB4hB(224,b)+op_count_DX7B1fY6P6(op_qy3n0tapmE(b,b),op_nbuSfrB4hB(224,b))
    return count


a∱⇮ = { ((a⇴(⫎≠⋺a))⫟≀⫫) , if ((a⨶)<322 or (a⨱∎)<291) ; (((a↨⪍≴a)⩌⋺(14⩌⋺a))⇛((a⋅⇍a)⪨(a⪍↜⋙a))) , else }

def op_Z5bnGBXlvk(a):
    if (op_rFxw8gIMmB(a) < 322 or op_MmTdOpaElr(a) < 291):
        return op_KfMCrRzQhT(op_4JB6nKBMSY(a,op_LYeZOJ0nQG(a)))
    else:
        return op_S3tN1ZzpSt(op_g7Hmc5v1ko(op_DX7B1fY6P6(a,a),op_g7Hmc5v1ko(14,a)),op_2z8nE7LpCu(op_AdZkA7nFnk(a,a),op_L05ObWFQCd(a,a)))

def op_count_Z5bnGBXlvk(a):
    if (op_rFxw8gIMmB(a) < 322 or op_MmTdOpaElr(a) < 291):
        count = op_count_LYeZOJ0nQG(a)+op_count_4JB6nKBMSY(a,op_LYeZOJ0nQG(a))+op_count_KfMCrRzQhT(op_4JB6nKBMSY(a,op_LYeZOJ0nQG(a)))+op_count_rFxw8gIMmB(a)+op_count_MmTdOpaElr(a)
    else:
        count = op_count_DX7B1fY6P6(a,a)+op_count_g7Hmc5v1ko(14,a)+op_count_g7Hmc5v1ko(op_DX7B1fY6P6(a,a),op_g7Hmc5v1ko(14,a))+op_count_AdZkA7nFnk(a,a)+op_count_L05ObWFQCd(a,a)+op_count_2z8nE7LpCu(op_AdZkA7nFnk(a,a),op_L05ObWFQCd(a,a))+op_count_S3tN1ZzpSt(op_g7Hmc5v1ko(op_DX7B1fY6P6(a,a),op_g7Hmc5v1ko(14,a)),op_2z8nE7LpCu(op_AdZkA7nFnk(a,a),op_L05ObWFQCd(a,a)))
    return count


⨓⫚a = { (((a⪱⇝a)∫⋜⩖(a⪎↠a))⊍) , if (a⪑⩈)>11 ; ((⨡↴(102⨓↿∉649))⩌⋺((⇝⋾⇵a)∌↝(a⩣⫁∢88))) , else }

def op_EuzVB58bWJ(a):
    if op_C6VvDP6HwP(a) > 11:
        return op_3nqY3DE9mg(op_JgXZM7XvWE(op_OTRTVPweYV(a,a),op_3tVxb0NHM4(a,a)))
    else:
        return op_g7Hmc5v1ko(op_liw5iZPkLH(op_OWnFPqjWlR(102,649)),op_9Isq31Ruls(op_6l7ULzJsnZ(a),op_JDUIKTTSIa(a,88)))

def op_count_EuzVB58bWJ(a):
    if op_C6VvDP6HwP(a) > 11:
        count = op_count_OTRTVPweYV(a,a)+op_count_3tVxb0NHM4(a,a)+op_count_JgXZM7XvWE(op_OTRTVPweYV(a,a),op_3tVxb0NHM4(a,a))+op_count_3nqY3DE9mg(op_JgXZM7XvWE(op_OTRTVPweYV(a,a),op_3tVxb0NHM4(a,a)))+op_count_C6VvDP6HwP(a)
    else:
        count = op_count_OWnFPqjWlR(102,649)+op_count_liw5iZPkLH(op_OWnFPqjWlR(102,649))+op_count_6l7ULzJsnZ(a)+op_count_JDUIKTTSIa(a,88)+op_count_9Isq31Ruls(op_6l7ULzJsnZ(a),op_JDUIKTTSIa(a,88))+op_count_g7Hmc5v1ko(op_liw5iZPkLH(op_OWnFPqjWlR(102,649)),op_9Isq31Ruls(op_6l7ULzJsnZ(a),op_JDUIKTTSIa(a,88)))
    return count


⋽∽⇘a = { ((a∽a)⩦(a≽⪈↿a)) , if (⩪⩔a)<=180 ; ((a⨑a)⩹(⫌⊑↬a)) , else }

def op_JSwnIppu1U(a):
    if op_Siyfjn51pv(a) <= 180:
        return op_0kmYd0q39Y(op_y4ImoPnbV5(a,a),op_inCIaGQf8u(a,a))
    else:
        return op_2Wsdkap16l(op_IxJHfR5psi(a,a),op_h57jOAbG9W(a))

def op_count_JSwnIppu1U(a):
    if op_Siyfjn51pv(a) <= 180:
        count = op_count_y4ImoPnbV5(a,a)+op_count_inCIaGQf8u(a,a)+op_count_0kmYd0q39Y(op_y4ImoPnbV5(a,a),op_inCIaGQf8u(a,a))+op_count_Siyfjn51pv(a)
    else:
        count = op_count_IxJHfR5psi(a,a)+op_count_h57jOAbG9W(a)+op_count_2Wsdkap16l(op_IxJHfR5psi(a,a),op_h57jOAbG9W(a))
    return count


def op_pjx72LgDRm(a):
    return op_6iafYuwGo8(a,64)

def op_count_pjx72LgDRm(a):
    count = op_count_6iafYuwGo8(a,64)
    return count


a≸⨵⇺ = { (157⩵∡a) , if a<=161 ; (a≠≀a) , else }

def op_IPADYpoU7r(a):
    if a <= 161:
        return op_Y7wcNGrDQJ(157,a)
    else:
        return op_IwW236VD4Y(a,a)

def op_count_IPADYpoU7r(a):
    if a <= 161:
        count = op_count_Y7wcNGrDQJ(157,a)
    else:
        count = op_count_IwW236VD4Y(a,a)
    return count


def op_ZHnP56U4wI(a):
    return op_xRrnTEsQ6j(op_xUOZtlo3hN(212),op_JLbD19bQDL(a))

def op_count_ZHnP56U4wI(a):
    count = op_count_xUOZtlo3hN(212)+op_count_JLbD19bQDL(a)+op_count_xRrnTEsQ6j(op_xUOZtlo3hN(212),op_JLbD19bQDL(a))
    return count


a⪤⋵⇕b = { b , if (a⇪⋱)<249 ; (∦(a⋝⋈⪟b)) , else }

def op_XSHbJDpXHf(a, b):
    if op_MKzNxCV7Yo(a) < 249:
        return b
    else:
        return op_ew17WAA8t6(op_2DDjHMKMc0(a,b))

def op_count_XSHbJDpXHf(a, b):
    if op_MKzNxCV7Yo(a) < 249:
        count = 1
    else:
        count = op_count_2DDjHMKMc0(a,b)+op_count_ew17WAA8t6(op_2DDjHMKMc0(a,b))
    return count


a⋹⩢≗ = { (((a≟⫹78)⫰⋱(528⋳/a))≚⊃≕((⋼∭⪍a)≝⊿(a↼⊘⨖a))) }

def op_TVJtHEi4fI(a):
    return op_Bmrmz2XGnR(op_6o9Blt3TJ6(op_z2JHNkvbdm(a,78),op_m612RDITqL(528,a)),op_OKKcZfAt5B(op_DbCuESL50I(a),op_bPywburJMS(a,a)))

def op_count_TVJtHEi4fI(a):
    count = op_count_z2JHNkvbdm(a,78)+op_count_m612RDITqL(528,a)+op_count_6o9Blt3TJ6(op_z2JHNkvbdm(a,78),op_m612RDITqL(528,a))+op_count_DbCuESL50I(a)+op_count_bPywburJMS(a,a)+op_count_OKKcZfAt5B(op_DbCuESL50I(a),op_bPywburJMS(a,a))+op_count_Bmrmz2XGnR(op_6o9Blt3TJ6(op_z2JHNkvbdm(a,78),op_m612RDITqL(528,a)),op_OKKcZfAt5B(op_DbCuESL50I(a),op_bPywburJMS(a,a)))
    return count


a⫣⪰b = { (∓((a⊉↱≁a)⩾(b⩍⋽⫝̸b))) , if (b↬⩅∪)==71 ; b , else }

def op_K1I1yfA9nN(a, b):
    if op_VJ330n2nnx(b) == 71:
        return op_OwUj7dcsQK(op_UggxBX659n(op_w2P8NbNXyL(a,a),op_BiWNJpBvwn(b,b)))
    else:
        return b

def op_count_K1I1yfA9nN(a, b):
    if op_VJ330n2nnx(b) == 71:
        count = op_count_w2P8NbNXyL(a,a)+op_count_BiWNJpBvwn(b,b)+op_count_UggxBX659n(op_w2P8NbNXyL(a,a),op_BiWNJpBvwn(b,b))+op_count_OwUj7dcsQK(op_UggxBX659n(op_w2P8NbNXyL(a,a),op_BiWNJpBvwn(b,b)))+op_count_VJ330n2nnx(b)
    else:
        count = 1
    return count


def op_RB4xwD08Yy(a):
    return op_cTDWOvIxvz(op_fLfyAuxYJD(op_2fAMLLeFHb(a)),op_6l7ULzJsnZ(op_0JWJYFSzIQ(94,a)))

def op_count_RB4xwD08Yy(a):
    count = op_count_2fAMLLeFHb(a)+op_count_fLfyAuxYJD(op_2fAMLLeFHb(a))+op_count_0JWJYFSzIQ(94,a)+op_count_6l7ULzJsnZ(op_0JWJYFSzIQ(94,a))+op_count_cTDWOvIxvz(op_fLfyAuxYJD(op_2fAMLLeFHb(a)),op_6l7ULzJsnZ(op_0JWJYFSzIQ(94,a)))
    return count


def op_5HlTPbzGAk(a):
    return op_cFVlceoRkX(op_DbCuESL50I(op_W2rMsuCzF8(a)),op_2O29ZX4yK6(op_keWfFq85dY(a)))

def op_count_5HlTPbzGAk(a):
    count = op_count_W2rMsuCzF8(a)+op_count_DbCuESL50I(op_W2rMsuCzF8(a))+op_count_keWfFq85dY(a)+op_count_2O29ZX4yK6(op_keWfFq85dY(a))+op_count_cFVlceoRkX(op_DbCuESL50I(op_W2rMsuCzF8(a)),op_2O29ZX4yK6(op_keWfFq85dY(a)))
    return count


def op_E4WEglQwU2(a):
    return op_XbEAUggs3J(op_2DRhT6gtPg(a))

def op_count_E4WEglQwU2(a):
    count = op_count_2DRhT6gtPg(a)+op_count_XbEAUggs3J(op_2DRhT6gtPg(a))
    return count


def op_ksH6MiusHz(a):
    return op_YSKBFp38Pu(op_fG6uBQFnGz(a),op_nlCqmYiOvY(a))

def op_count_ksH6MiusHz(a):
    count = op_count_fG6uBQFnGz(a)+op_count_nlCqmYiOvY(a)+op_count_YSKBFp38Pu(op_fG6uBQFnGz(a),op_nlCqmYiOvY(a))
    return count


a≔⇮≳b = { ((⇺⪔⩬b)⩾(a⪚⨁⋖33)) , if a>=3 ; (⪚⨷(⨢⋑⪾68)) , else }

def op_iJDhyCwqus(a, b):
    if a >= 3:
        return op_UggxBX659n(op_lAOUD4ZMWV(b),op_xSk1F0pZbF(a,33))
    else:
        return op_6LuFrogppQ(op_tmjFFOTKyA(68))

def op_count_iJDhyCwqus(a, b):
    if a >= 3:
        count = op_count_lAOUD4ZMWV(b)+op_count_xSk1F0pZbF(a,33)+op_count_UggxBX659n(op_lAOUD4ZMWV(b),op_xSk1F0pZbF(a,33))
    else:
        count = op_count_tmjFFOTKyA(68)+op_count_6LuFrogppQ(op_tmjFFOTKyA(68))
    return count


∺↽⇴a = { (((↸⊣a)⨣∐↬(a⪿⇪⊩a))⊲⩕⊾((a⨜⇔a)⋂⩴(120≏⨯⊱a))) }

def op_1HPYMg3hin(a):
    return op_DmTXOeWf9t(op_UpkSd4zESC(op_wztAlM01eG(a),op_OGWBzMv138(a,a)),op_hmlrMsD2PO(op_Sq3AGanRSD(a,a),op_UqUOXUQnbU(120,a)))

def op_count_1HPYMg3hin(a):
    count = op_count_wztAlM01eG(a)+op_count_OGWBzMv138(a,a)+op_count_UpkSd4zESC(op_wztAlM01eG(a),op_OGWBzMv138(a,a))+op_count_Sq3AGanRSD(a,a)+op_count_UqUOXUQnbU(120,a)+op_count_hmlrMsD2PO(op_Sq3AGanRSD(a,a),op_UqUOXUQnbU(120,a))+op_count_DmTXOeWf9t(op_UpkSd4zESC(op_wztAlM01eG(a),op_OGWBzMv138(a,a)),op_hmlrMsD2PO(op_Sq3AGanRSD(a,a),op_UqUOXUQnbU(120,a)))
    return count


a⋘⋱b = { ((b⊀⪪⫸)⪈⋁⩁(a∇⊂⋱a)) , if b<=375 ; ((a⫊⇚⊺573)≻⇥≳(391⇥↓)) , else }

def op_70gRa6EccN(a, b):
    if b <= 375:
        return op_GMyVS5K48T(op_UIU2Eox550(b),op_nhYeJWJD5X(a,a))
    else:
        return op_aiqF8n6J9c(op_Y5cEcQhyKu(a,573),op_KvubFp3XhO(391))

def op_count_70gRa6EccN(a, b):
    if b <= 375:
        count = op_count_UIU2Eox550(b)+op_count_nhYeJWJD5X(a,a)+op_count_GMyVS5K48T(op_UIU2Eox550(b),op_nhYeJWJD5X(a,a))
    else:
        count = op_count_Y5cEcQhyKu(a,573)+op_count_KvubFp3XhO(391)+op_count_aiqF8n6J9c(op_Y5cEcQhyKu(a,573),op_KvubFp3XhO(391))
    return count


def op_IxS8G0WRLh(a, b):
    return op_JoLB3LXqXx(op_PxiHyQbrIp(op_sdazOOVcIp(a,b)),op_BAIXFdYaz3(op_t0cKpDWDXO(a),op_5twsqlHp2o(b,a)))

def op_count_IxS8G0WRLh(a, b):
    count = op_count_sdazOOVcIp(a,b)+op_count_PxiHyQbrIp(op_sdazOOVcIp(a,b))+op_count_t0cKpDWDXO(a)+op_count_5twsqlHp2o(b,a)+op_count_BAIXFdYaz3(op_t0cKpDWDXO(a),op_5twsqlHp2o(b,a))+op_count_JoLB3LXqXx(op_PxiHyQbrIp(op_sdazOOVcIp(a,b)),op_BAIXFdYaz3(op_t0cKpDWDXO(a),op_5twsqlHp2o(b,a)))
    return count


def op_7KGj3ybMWB(a, b):
    return op_0JWJYFSzIQ(op_JDUIKTTSIa(b,a),op_ZcwmYACASQ(869))

def op_count_7KGj3ybMWB(a, b):
    count = op_count_JDUIKTTSIa(b,a)+op_count_ZcwmYACASQ(869)+op_count_0JWJYFSzIQ(op_JDUIKTTSIa(b,a),op_ZcwmYACASQ(869))
    return count


a∄⩵b = { (((b⨩≤⫤b)∠⫱(b⫏↛⩏a))∄((a≘⨶)⊒(a⫯⪬∳a))) }

def op_AsCFVB39Ml(a, b):
    return op_tnyRA5sazQ(op_QvoQhV0rrE(op_neKQRQQIil(b,b),op_YC3tgrnOyr(b,a)),op_rPNtK4BLRO(op_aOI3TlLUAE(a),op_d7ASUq0ydm(a,a)))

def op_count_AsCFVB39Ml(a, b):
    count = op_count_neKQRQQIil(b,b)+op_count_YC3tgrnOyr(b,a)+op_count_QvoQhV0rrE(op_neKQRQQIil(b,b),op_YC3tgrnOyr(b,a))+op_count_aOI3TlLUAE(a)+op_count_d7ASUq0ydm(a,a)+op_count_rPNtK4BLRO(op_aOI3TlLUAE(a),op_d7ASUq0ydm(a,a))+op_count_tnyRA5sazQ(op_QvoQhV0rrE(op_neKQRQQIil(b,b),op_YC3tgrnOyr(b,a)),op_rPNtK4BLRO(op_aOI3TlLUAE(a),op_d7ASUq0ydm(a,a)))
    return count


a⊽⫨⪬ = { (a∴a) , if a>295 ; (a⪍) , else }

def op_5C4rGEtfh1(a):
    if a > 295:
        return op_hrf7POJlIJ(a,a)
    else:
        return op_SHWCOp9I4E(a)

def op_count_5C4rGEtfh1(a):
    if a > 295:
        count = op_count_hrf7POJlIJ(a,a)
    else:
        count = op_count_SHWCOp9I4E(a)
    return count


def op_EVzXcFzw94(a):
    return op_kuIXHzHcAH(op_HrjLwUk87U(a,67),op_ct1hK6qyRt(a))

def op_count_EVzXcFzw94(a):
    count = op_count_HrjLwUk87U(a,67)+op_count_ct1hK6qyRt(a)+op_count_kuIXHzHcAH(op_HrjLwUk87U(a,67),op_ct1hK6qyRt(a))
    return count


a∨≍⨱b = { ((b↪∷a)⊕⨔) , if (a≗⫍)<159 ; ((b⇩)⨴(a↪∷b)) , else }

def op_MBVn70KtPJ(a, b):
    if op_7Nd029Vx1U(a) < 159:
        return op_ut0Nd8ObBp(op_Api82iH42a(b,a))
    else:
        return op_jBC4ymW3D7(op_vRio1gEz1j(b),op_Api82iH42a(a,b))

def op_count_MBVn70KtPJ(a, b):
    if op_7Nd029Vx1U(a) < 159:
        count = op_count_Api82iH42a(b,a)+op_count_ut0Nd8ObBp(op_Api82iH42a(b,a))+op_count_7Nd029Vx1U(a)
    else:
        count = op_count_vRio1gEz1j(b)+op_count_Api82iH42a(a,b)+op_count_jBC4ymW3D7(op_vRio1gEz1j(b),op_Api82iH42a(a,b))
    return count


def op_yUc8DJLAu4(a, b):
    return op_2O29ZX4yK6(op_BAIXFdYaz3(b,a))

def op_count_yUc8DJLAu4(a, b):
    count = op_count_BAIXFdYaz3(b,a)+op_count_2O29ZX4yK6(op_BAIXFdYaz3(b,a))
    return count


a⩡⪥b = { (((a⫀)⪖⪡(b⪚b))∲⫑(≀↧⇸(366⇪⋱))) }

def op_95Rhpy1KTU(a, b):
    return op_NrdPCfJQiM(op_7PjNe5qSIJ(op_hFnZRMLNSM(a),op_HrjLwUk87U(b,b)),op_ljTHtUsqzn(op_MKzNxCV7Yo(366)))

def op_count_95Rhpy1KTU(a, b):
    count = op_count_hFnZRMLNSM(a)+op_count_HrjLwUk87U(b,b)+op_count_7PjNe5qSIJ(op_hFnZRMLNSM(a),op_HrjLwUk87U(b,b))+op_count_MKzNxCV7Yo(366)+op_count_ljTHtUsqzn(op_MKzNxCV7Yo(366))+op_count_NrdPCfJQiM(op_7PjNe5qSIJ(op_hFnZRMLNSM(a),op_HrjLwUk87U(b,b)),op_ljTHtUsqzn(op_MKzNxCV7Yo(366)))
    return count


def op_cIUOTWAjcn(a):
    return op_nhYeJWJD5X(487,a)

def op_count_cIUOTWAjcn(a):
    count = op_count_nhYeJWJD5X(487,a)
    return count


def op_p5sVf13ywX(a, b):
    return op_rFxw8gIMmB(op_Ikt5ks8PT7(a,b))

def op_count_p5sVf13ywX(a, b):
    count = op_count_Ikt5ks8PT7(a,b)+op_count_rFxw8gIMmB(op_Ikt5ks8PT7(a,b))
    return count


a⨎⇈b = { ((≋b)↜⊷(⫇⨷b)) , if a==388 ; ((a≚⊃≕a)∏⇴(⇠12)) , else }

def op_gs499gGE3q(a, b):
    if a == 388:
        return op_irKjLsMeKy(op_61wBmkZwlr(b),op_ct1hK6qyRt(b))
    else:
        return op_Rw46J52cBJ(op_Bmrmz2XGnR(a,a),op_18saOjeKKm(12))

def op_count_gs499gGE3q(a, b):
    if a == 388:
        count = op_count_61wBmkZwlr(b)+op_count_ct1hK6qyRt(b)+op_count_irKjLsMeKy(op_61wBmkZwlr(b),op_ct1hK6qyRt(b))
    else:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_18saOjeKKm(12)+op_count_Rw46J52cBJ(op_Bmrmz2XGnR(a,a),op_18saOjeKKm(12))
    return count


def op_dGRJHjnrv2(a):
    if op_DX7B1fY6P6(a,579) == 792:
        return op_RygbFNSyEJ(op_oRDoc9rAEX(a,a),op_qU6oQAhJaQ(a))
    else:
        return op_d8xe6WWVfM(op_3EYGwJThht(a,a),op_rysDP5nf3Z(7,a))

def op_count_dGRJHjnrv2(a):
    if op_DX7B1fY6P6(a,579) == 792:
        count = op_count_oRDoc9rAEX(a,a)+op_count_qU6oQAhJaQ(a)+op_count_RygbFNSyEJ(op_oRDoc9rAEX(a,a),op_qU6oQAhJaQ(a))+op_count_DX7B1fY6P6(a,579)
    else:
        count = op_count_3EYGwJThht(a,a)+op_count_rysDP5nf3Z(7,a)+op_count_d8xe6WWVfM(op_3EYGwJThht(a,a),op_rysDP5nf3Z(7,a))
    return count


def op_qVLDExghth(a):
    return op_KYL1uVeVpb(op_2DQ55sFlQl(a,a),op_CuHhPb8RwQ(a))

def op_count_qVLDExghth(a):
    count = op_count_2DQ55sFlQl(a,a)+op_count_CuHhPb8RwQ(a)+op_count_KYL1uVeVpb(op_2DQ55sFlQl(a,a),op_CuHhPb8RwQ(a))
    return count


def op_20hv3wdH5D(a):
    return op_inCIaGQf8u(op_cFVlceoRkX(588,a),op_KWeyIRWUIQ(a))

def op_count_20hv3wdH5D(a):
    count = op_count_cFVlceoRkX(588,a)+op_count_KWeyIRWUIQ(a)+op_count_inCIaGQf8u(op_cFVlceoRkX(588,a),op_KWeyIRWUIQ(a))
    return count


def op_wvOhsjS2Oe(a, b):
    return op_V4yb4KDoeF(op_SgAxmdLNEA(75),op_JoLB3LXqXx(a,b))

def op_count_wvOhsjS2Oe(a, b):
    count = op_count_SgAxmdLNEA(75)+op_count_JoLB3LXqXx(a,b)+op_count_V4yb4KDoeF(op_SgAxmdLNEA(75),op_JoLB3LXqXx(a,b))
    return count


def op_kmKscYjcaU(a):
    return op_NTOWxs364D(op_3A1e9zoj8h(a),op_u6S6b8DprG(a))

def op_count_kmKscYjcaU(a):
    count = op_count_3A1e9zoj8h(a)+op_count_u6S6b8DprG(a)+op_count_NTOWxs364D(op_3A1e9zoj8h(a),op_u6S6b8DprG(a))
    return count


def op_XSN9XwCaDd(a, b):
    if op_ObEyaaML9x(a,590) != 178:
        return op_aHKFHkCgn9(a)
    else:
        return b

def op_count_XSN9XwCaDd(a, b):
    if op_ObEyaaML9x(a,590) != 178:
        count = op_count_aHKFHkCgn9(a)+op_count_ObEyaaML9x(a,590)
    else:
        count = 1
    return count


def op_FI2v4sSa6R(a):
    if a <= 219 and a == 5:
        return op_NdELin8EPX(a,a)
    else:
        return op_40aOVDgCDB(46)

def op_count_FI2v4sSa6R(a):
    if a <= 219 and a == 5:
        count = op_count_NdELin8EPX(a,a)
    else:
        count = op_count_40aOVDgCDB(46)
    return count


a↟⪦b = { (b⇐≅) , if a>59 ; (a≝⊿538) , else }

def op_m3Wy7lzjrX(a, b):
    if a > 59:
        return op_wEfv7U73WA(b)
    else:
        return op_OKKcZfAt5B(a,538)

def op_count_m3Wy7lzjrX(a, b):
    if a > 59:
        count = op_count_wEfv7U73WA(b)
    else:
        count = op_count_OKKcZfAt5B(a,538)
    return count


a⨆⫳⊗b = { ((b⋞b)⊋≦⊧(b⨜⨶a)) , if a>=723 ; ((⊫∐⫩a)-b) , else }

def op_lKgWx0LCvK(a, b):
    if a >= 723:
        return op_oRDoc9rAEX(op_V4yb4KDoeF(b,b),op_HiPekx5b7W(b,a))
    else:
        return op_rysDP5nf3Z(op_gSr4c7pPrV(a),b)

def op_count_lKgWx0LCvK(a, b):
    if a >= 723:
        count = op_count_V4yb4KDoeF(b,b)+op_count_HiPekx5b7W(b,a)+op_count_oRDoc9rAEX(op_V4yb4KDoeF(b,b),op_HiPekx5b7W(b,a))
    else:
        count = op_count_gSr4c7pPrV(a)+op_count_rysDP5nf3Z(op_gSr4c7pPrV(a),b)
    return count


def op_D8FqJNSzfY(a):
    return op_eRqsBgTDFp(a,a)

def op_count_D8FqJNSzfY(a):
    count = op_count_eRqsBgTDFp(a,a)
    return count


def op_Mi4OxI48yw(a):
    return op_2DQ55sFlQl(op_OWnFPqjWlR(a,a),op_Y9dhGmbGii(a))

def op_count_Mi4OxI48yw(a):
    count = op_count_OWnFPqjWlR(a,a)+op_count_Y9dhGmbGii(a)+op_count_2DQ55sFlQl(op_OWnFPqjWlR(a,a),op_Y9dhGmbGii(a))
    return count


⊛⩪∵a = { (⋗⩬⋾a) , if (∓⪦a)<564 ; (a⪉⨛a) , else }

def op_13xSrD6nRj(a):
    if op_D309nIvmXG(a) < 564:
        return op_DpFCA1CohY(a)
    else:
        return op_EWw2JM7wp4(a,a)

def op_count_13xSrD6nRj(a):
    if op_D309nIvmXG(a) < 564:
        count = op_count_DpFCA1CohY(a)+op_count_D309nIvmXG(a)
    else:
        count = op_count_EWw2JM7wp4(a,a)
    return count


def op_IhmFHZKYD8(a, b):
    if (op_Q9TX5pQS3Y(b) != 267 or op_COABgblf1C(a,724) > 247):
        return op_V4yb4KDoeF(a,b)
    else:
        return b

def op_count_IhmFHZKYD8(a, b):
    if (op_Q9TX5pQS3Y(b) != 267 or op_COABgblf1C(a,724) > 247):
        count = op_count_V4yb4KDoeF(a,b)+op_count_Q9TX5pQS3Y(b)+op_count_COABgblf1C(a,724)
    else:
        count = 1
    return count


def op_Q1bdVDI735(a):
    return op_JFrVJKYFMX(op_61wBmkZwlr(a),op_9FxExcQeMw(a,a))

def op_count_Q1bdVDI735(a):
    count = op_count_61wBmkZwlr(a)+op_count_9FxExcQeMw(a,a)+op_count_JFrVJKYFMX(op_61wBmkZwlr(a),op_9FxExcQeMw(a,a))
    return count


def op_S5cEPmjQ5R(a, b):
    return op_HiPekx5b7W(op_sdazOOVcIp(op_Q2SPaKwpPJ(a,b),op_B3sABdIn96(a)),op_6MpZysEj17(op_uBihLCJcMX(a)))

def op_count_S5cEPmjQ5R(a, b):
    count = op_count_Q2SPaKwpPJ(a,b)+op_count_B3sABdIn96(a)+op_count_sdazOOVcIp(op_Q2SPaKwpPJ(a,b),op_B3sABdIn96(a))+op_count_uBihLCJcMX(a)+op_count_6MpZysEj17(op_uBihLCJcMX(a))+op_count_HiPekx5b7W(op_sdazOOVcIp(op_Q2SPaKwpPJ(a,b),op_B3sABdIn96(a)),op_6MpZysEj17(op_uBihLCJcMX(a)))
    return count


def op_CjIShBDbjh(a):
    return op_3YWlZA9bsa(op_1aApVXNlOP(a,a),op_oH594TLvBK(a))

def op_count_CjIShBDbjh(a):
    count = op_count_1aApVXNlOP(a,a)+op_count_oH594TLvBK(a)+op_count_3YWlZA9bsa(op_1aApVXNlOP(a,a),op_oH594TLvBK(a))
    return count


a⋆≎≼ = { (a∷a) , if (a≬⋮594)>704 and (≅≯⇸a)!=82 ; ((27⩧⪆a)⪐-(a⫗⊒⇾a)) , else }

def op_qtCLXwJ9kz(a):
    if op_kbkesczE7y(a,594) > 704 and op_apS25hmuAe(a) != 82:
        return op_D3AQDKkPcf(a,a)
    else:
        return op_d8xe6WWVfM(op_Ikt5ks8PT7(27,a),op_hiBDRd40bf(a,a))

def op_count_qtCLXwJ9kz(a):
    if op_kbkesczE7y(a,594) > 704 and op_apS25hmuAe(a) != 82:
        count = op_count_D3AQDKkPcf(a,a)+op_count_kbkesczE7y(a,594)+op_count_apS25hmuAe(a)
    else:
        count = op_count_Ikt5ks8PT7(27,a)+op_count_hiBDRd40bf(a,a)+op_count_d8xe6WWVfM(op_Ikt5ks8PT7(27,a),op_hiBDRd40bf(a,a))
    return count


a≂∢b = { (((⊀a)≋⊢≽)⩣⫁∢b) , if (a⊛⫍⩜)>171 or (b∄183)==455 ; ((⇖(⩕↛a))∣((b⩤∜↚a)⨻⪊⨷(∓⪦a))) , else }

def op_0UZhvIxcOb(a, b):
    if op_KaSTSbOewx(a) > 171 or op_tnyRA5sazQ(b,183) == 455:
        return op_JDUIKTTSIa(op_Lhk0YGb717(op_oPMjh9089D(a)),b)
    else:
        return op_PPChnnnBFF(op_tfWHHpNKUN(op_3EhVUz7Ug9(a)),op_Pkwamo1tM2(op_KROiRRz3d6(b,a),op_D309nIvmXG(a)))

def op_count_0UZhvIxcOb(a, b):
    if op_KaSTSbOewx(a) > 171 or op_tnyRA5sazQ(b,183) == 455:
        count = op_count_oPMjh9089D(a)+op_count_Lhk0YGb717(op_oPMjh9089D(a))+op_count_JDUIKTTSIa(op_Lhk0YGb717(op_oPMjh9089D(a)),b)+op_count_KaSTSbOewx(a)+op_count_tnyRA5sazQ(b,183)
    else:
        count = op_count_3EhVUz7Ug9(a)+op_count_tfWHHpNKUN(op_3EhVUz7Ug9(a))+op_count_KROiRRz3d6(b,a)+op_count_D309nIvmXG(a)+op_count_Pkwamo1tM2(op_KROiRRz3d6(b,a),op_D309nIvmXG(a))+op_count_PPChnnnBFF(op_tfWHHpNKUN(op_3EhVUz7Ug9(a)),op_Pkwamo1tM2(op_KROiRRz3d6(b,a),op_D309nIvmXG(a)))
    return count


def op_5UdJKhy29U(a, b):
    if a == 370:
        return op_H0pizIJMoW(b)
    else:
        return op_UoVew8f2p2(a,831)

def op_count_5UdJKhy29U(a, b):
    if a == 370:
        count = op_count_H0pizIJMoW(b)
    else:
        count = op_count_UoVew8f2p2(a,831)
    return count


def op_qQVdHIwY0K(a, b):
    if a < 113:
        return op_4JGOJzXMq1(op_ocnLzx9CaJ(857,a),op_zFNL8mZEFB(b,28))
    else:
        return op_pRsWfj4Fpp(b)

def op_count_qQVdHIwY0K(a, b):
    if a < 113:
        count = op_count_ocnLzx9CaJ(857,a)+op_count_zFNL8mZEFB(b,28)+op_count_4JGOJzXMq1(op_ocnLzx9CaJ(857,a),op_zFNL8mZEFB(b,28))
    else:
        count = op_count_pRsWfj4Fpp(b)
    return count


a⇡⋮⋛b = { (((a⨐b)∏⇴(a⫃⨇16))∙∹∝((a⋟⫀⨗a)⩤)) , if (a>546 or (⪁≄b)<0) ; (62⪎⩰) , else }

def op_rVgKhBrRNF(a, b):
    if (a > 546 or op_2O29ZX4yK6(b) < 0):
        return op_HmxsFra2vL(op_Rw46J52cBJ(op_Noe24qw2ks(a,b),op_09Ly4LVMIf(a,16)),op_Z2TMIBDE3Q(op_dAAkup5nzi(a,a)))
    else:
        return op_2ufhKmSs5H(62)

def op_count_rVgKhBrRNF(a, b):
    if (a > 546 or op_2O29ZX4yK6(b) < 0):
        count = op_count_Noe24qw2ks(a,b)+op_count_09Ly4LVMIf(a,16)+op_count_Rw46J52cBJ(op_Noe24qw2ks(a,b),op_09Ly4LVMIf(a,16))+op_count_dAAkup5nzi(a,a)+op_count_Z2TMIBDE3Q(op_dAAkup5nzi(a,a))+op_count_HmxsFra2vL(op_Rw46J52cBJ(op_Noe24qw2ks(a,b),op_09Ly4LVMIf(a,16)),op_Z2TMIBDE3Q(op_dAAkup5nzi(a,a)))+op_count_2O29ZX4yK6(b)
    else:
        count = op_count_2ufhKmSs5H(62)
    return count


↵⨻a = { (a⫸a) , if a==24 ; (⪁⫅≨a) , else }

def op_Olv81LO2u6(a):
    if a == 24:
        return op_Qaz2MhZaG5(a,a)
    else:
        return op_YApyZlDuBr(a)

def op_count_Olv81LO2u6(a):
    if a == 24:
        count = op_count_Qaz2MhZaG5(a,a)
    else:
        count = op_count_YApyZlDuBr(a)
    return count


def op_wfMG52dXrO(a, b):
    return op_nCS4ZIUYfx(op_HrjLwUk87U(465,a),op_eaFBhJ0Uku(54,b))

def op_count_wfMG52dXrO(a, b):
    count = op_count_HrjLwUk87U(465,a)+op_count_eaFBhJ0Uku(54,b)+op_count_nCS4ZIUYfx(op_HrjLwUk87U(465,a),op_eaFBhJ0Uku(54,b))
    return count


def op_z8mgmfzCy0(a):
    return op_qxqspddX8k(op_DE7zCoGJt9(a),op_giaUb8UVhq(a,a))

def op_count_z8mgmfzCy0(a):
    count = op_count_DE7zCoGJt9(a)+op_count_giaUb8UVhq(a,a)+op_count_qxqspddX8k(op_DE7zCoGJt9(a),op_giaUb8UVhq(a,a))
    return count


a⫦⨡⊒ = { (↖∇⇑(a⫠↝⫳)) }

def op_Bni1dEoJ43(a):
    return op_th50nGnoUm(op_8n5YIzOsVS(a))

def op_count_Bni1dEoJ43(a):
    count = op_count_8n5YIzOsVS(a)+op_count_th50nGnoUm(op_8n5YIzOsVS(a))
    return count


def op_8c1Tek6auc(a):
    return op_KYL1uVeVpb(op_neKQRQQIil(a,a),op_Y7wcNGrDQJ(a,a))

def op_count_8c1Tek6auc(a):
    count = op_count_neKQRQQIil(a,a)+op_count_Y7wcNGrDQJ(a,a)+op_count_KYL1uVeVpb(op_neKQRQQIil(a,a),op_Y7wcNGrDQJ(a,a))
    return count


def op_lqwz5VSO0B(a):
    return op_hmlrMsD2PO(a,op_BUOGQAYlQx(a))

def op_count_lqwz5VSO0B(a):
    count = op_count_BUOGQAYlQx(a)+op_count_hmlrMsD2PO(a,op_BUOGQAYlQx(a))
    return count


def op_wP9237tOiB(a):
    return op_tDVI6bDdAd(op_UoVew8f2p2(op_DX7B1fY6P6(a,a),op_COABgblf1C(a,a)))

def op_count_wP9237tOiB(a):
    count = op_count_DX7B1fY6P6(a,a)+op_count_COABgblf1C(a,a)+op_count_UoVew8f2p2(op_DX7B1fY6P6(a,a),op_COABgblf1C(a,a))+op_count_tDVI6bDdAd(op_UoVew8f2p2(op_DX7B1fY6P6(a,a),op_COABgblf1C(a,a)))
    return count


a↲√b = { (b∄b) , if b!=9 ; (a≘⨶) , else }

def op_g2BVzdiSOk(a, b):
    if b != 9:
        return op_tnyRA5sazQ(b,b)
    else:
        return op_aOI3TlLUAE(a)

def op_count_g2BVzdiSOk(a, b):
    if b != 9:
        count = op_count_tnyRA5sazQ(b,b)
    else:
        count = op_count_aOI3TlLUAE(a)
    return count


⨊⫩a = { (((a↪∷a)⊉↱≁(27⨊⨠))⊝⪿⪼(⊲⪭(a⪿⇪⊩a))) , if a>57 ; a , else }

def op_2zQcvMfPO1(a):
    if a > 57:
        return op_3Oe9XWJUTD(op_w2P8NbNXyL(op_Api82iH42a(a,a),op_qU6oQAhJaQ(27)),op_k7HXdKtiEU(op_OGWBzMv138(a,a)))
    else:
        return a

def op_count_2zQcvMfPO1(a):
    if a > 57:
        count = op_count_Api82iH42a(a,a)+op_count_qU6oQAhJaQ(27)+op_count_w2P8NbNXyL(op_Api82iH42a(a,a),op_qU6oQAhJaQ(27))+op_count_OGWBzMv138(a,a)+op_count_k7HXdKtiEU(op_OGWBzMv138(a,a))+op_count_3Oe9XWJUTD(op_w2P8NbNXyL(op_Api82iH42a(a,a),op_qU6oQAhJaQ(27)),op_k7HXdKtiEU(op_OGWBzMv138(a,a)))
    else:
        count = 1
    return count


def op_LMwfKDqNJy(a):
    return op_Rw46J52cBJ(a,op_XnXgA4xnOs(252,a))

def op_count_LMwfKDqNJy(a):
    count = op_count_XnXgA4xnOs(252,a)+op_count_Rw46J52cBJ(a,op_XnXgA4xnOs(252,a))
    return count


def op_wPaLWLSZ6I(a, b):
    return op_Z5m6OM72h2(op_HiPekx5b7W(210,b),op_ZcwmYACASQ(a))

def op_count_wPaLWLSZ6I(a, b):
    count = op_count_HiPekx5b7W(210,b)+op_count_ZcwmYACASQ(a)+op_count_Z5m6OM72h2(op_HiPekx5b7W(210,b),op_ZcwmYACASQ(a))
    return count


def op_4fDPylY7hB(a, b):
    if (b < 53 or op_rv8OxMkTSD(a) < 25):
        return op_nCS4ZIUYfx(79,697)
    else:
        return op_2DRhT6gtPg(104)

def op_count_4fDPylY7hB(a, b):
    if (b < 53 or op_rv8OxMkTSD(a) < 25):
        count = op_count_nCS4ZIUYfx(79,697)+op_count_rv8OxMkTSD(a)
    else:
        count = op_count_2DRhT6gtPg(104)
    return count


def op_0nSA6BHp4Q(a):
    return op_3Oe9XWJUTD(op_BiWNJpBvwn(a,a),op_d8xe6WWVfM(a,a))

def op_count_0nSA6BHp4Q(a):
    count = op_count_BiWNJpBvwn(a,a)+op_count_d8xe6WWVfM(a,a)+op_count_3Oe9XWJUTD(op_BiWNJpBvwn(a,a),op_d8xe6WWVfM(a,a))
    return count


def op_VCoQhphGv5(a, b):
    return op_L05ObWFQCd(135,op_i8ToyICDmI(op_JclMnS0uGI(a,b),op_h57jOAbG9W(b)))

def op_count_VCoQhphGv5(a, b):
    count = op_count_JclMnS0uGI(a,b)+op_count_h57jOAbG9W(b)+op_count_i8ToyICDmI(op_JclMnS0uGI(a,b),op_h57jOAbG9W(b))+op_count_L05ObWFQCd(135,op_i8ToyICDmI(op_JclMnS0uGI(a,b),op_h57jOAbG9W(b)))
    return count


def op_lgzN2IkfN5(a):
    return op_rPNtK4BLRO(op_S3tN1ZzpSt(a,83),op_Q9TX5pQS3Y(a))

def op_count_lgzN2IkfN5(a):
    count = op_count_S3tN1ZzpSt(a,83)+op_count_Q9TX5pQS3Y(a)+op_count_rPNtK4BLRO(op_S3tN1ZzpSt(a,83),op_Q9TX5pQS3Y(a))
    return count


a⇫⨙b = { ((b≧⊼a)⩱) , if (b⫗⊒⇾382)>=167 ; ((a⇤a)∺≝⩲(b⪈⋁⩁a)) , else }

def op_5hfPSBHW5r(a, b):
    if op_hiBDRd40bf(b,382) >= 167:
        return op_uyq1hVkAcj(op_JoLB3LXqXx(b,a))
    else:
        return op_KPf6cnQVty(op_YSKBFp38Pu(a,a),op_GMyVS5K48T(b,a))

def op_count_5hfPSBHW5r(a, b):
    if op_hiBDRd40bf(b,382) >= 167:
        count = op_count_JoLB3LXqXx(b,a)+op_count_uyq1hVkAcj(op_JoLB3LXqXx(b,a))+op_count_hiBDRd40bf(b,382)
    else:
        count = op_count_YSKBFp38Pu(a,a)+op_count_GMyVS5K48T(b,a)+op_count_KPf6cnQVty(op_YSKBFp38Pu(a,a),op_GMyVS5K48T(b,a))
    return count


def op_VJI6KTsk5r(a):
    if (a <= 285 or a < 719):
        return op_IqGBaFP0uj(a)
    else:
        return op_k7HXdKtiEU(a)

def op_count_VJI6KTsk5r(a):
    if (a <= 285 or a < 719):
        count = op_count_IqGBaFP0uj(a)
    else:
        count = op_count_k7HXdKtiEU(a)
    return count


def op_SXdD3Sv4Bj(a):
    return op_JoLB3LXqXx(op_giaUb8UVhq(a,a),op_cwbF3JtlMN(a,a))

def op_count_SXdD3Sv4Bj(a):
    count = op_count_giaUb8UVhq(a,a)+op_count_cwbF3JtlMN(a,a)+op_count_JoLB3LXqXx(op_giaUb8UVhq(a,a),op_cwbF3JtlMN(a,a))
    return count


a⪚∎≔ = { (⨂⪏⇭a) , if (a⊛⫍⩜)<488 ; (a≐→⇾) , else }

def op_UD7vGSrsMV(a):
    if op_KaSTSbOewx(a) < 488:
        return op_AYdpE9sXAk(a)
    else:
        return op_zV3pqYiQ5E(a)

def op_count_UD7vGSrsMV(a):
    if op_KaSTSbOewx(a) < 488:
        count = op_count_AYdpE9sXAk(a)+op_count_KaSTSbOewx(a)
    else:
        count = op_count_zV3pqYiQ5E(a)
    return count


⪣⩷⫸a = { (⇾⩊⇾(a⊵a)) , if (⊢≑≆a)>7 ; ((⩪∧⨌a)⪉⨛(a⨚195)) , else }

def op_R4fgF8cgiH(a):
    if op_27wFxooxGf(a) > 7:
        return op_bx9Z9DAK5y(op_eaFBhJ0Uku(a,a))
    else:
        return op_EWw2JM7wp4(op_6iOiAJX1F8(a),op_nREPSIbpBE(a,195))

def op_count_R4fgF8cgiH(a):
    if op_27wFxooxGf(a) > 7:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_bx9Z9DAK5y(op_eaFBhJ0Uku(a,a))+op_count_27wFxooxGf(a)
    else:
        count = op_count_6iOiAJX1F8(a)+op_count_nREPSIbpBE(a,195)+op_count_EWw2JM7wp4(op_6iOiAJX1F8(a),op_nREPSIbpBE(a,195))
    return count


⊝⨱a = { (a≧⊼a) , if a!=174 ; (⨂⪏⇭a) , else }

def op_Iel5ZjMdzh(a):
    if a != 174:
        return op_JoLB3LXqXx(a,a)
    else:
        return op_AYdpE9sXAk(a)

def op_count_Iel5ZjMdzh(a):
    if a != 174:
        count = op_count_JoLB3LXqXx(a,a)
    else:
        count = op_count_AYdpE9sXAk(a)
    return count


⇲⫃≥a = { ((∋∴(77⩒⫫a))⨐(⊙⨙⩍(a⋛∩⫮))) , if a==16 ; a , else }

def op_GHfes0uiuE(a):
    if a == 16:
        return op_Noe24qw2ks(op_nouZ5SZjt1(op_KFSx94NKJn(77,a)),op_ocpzidtxKt(op_QDWDTvZtyM(a)))
    else:
        return a

def op_count_GHfes0uiuE(a):
    if a == 16:
        count = op_count_KFSx94NKJn(77,a)+op_count_nouZ5SZjt1(op_KFSx94NKJn(77,a))+op_count_QDWDTvZtyM(a)+op_count_ocpzidtxKt(op_QDWDTvZtyM(a))+op_count_Noe24qw2ks(op_nouZ5SZjt1(op_KFSx94NKJn(77,a)),op_ocpzidtxKt(op_QDWDTvZtyM(a)))
    else:
        count = 1
    return count


⋸≒≝a = { (⩪∧⨌a) , if (a⩜⩌)>498 ; (a⊉≛↸a) , else }

def op_UK3qwGUwjs(a):
    if op_2DRhT6gtPg(a) > 498:
        return op_6iOiAJX1F8(a)
    else:
        return op_DZ8iAZOCBD(a,a)

def op_count_UK3qwGUwjs(a):
    if op_2DRhT6gtPg(a) > 498:
        count = op_count_6iOiAJX1F8(a)+op_count_2DRhT6gtPg(a)
    else:
        count = op_count_DZ8iAZOCBD(a,a)
    return count


def op_0irJa7VCSI(a):
    if (a <= 15 and op_w2P8NbNXyL(a,589) != 248):
        return op_JFrVJKYFMX(op_4JGOJzXMq1(op_rPNtK4BLRO(a,a),op_COABgblf1C(a,14)),op_nREPSIbpBE(op_dfKe02y8D2(a,a),op_uyq1hVkAcj(a)))
    else:
        return op_MXaNJeIAZ3(a)

def op_count_0irJa7VCSI(a):
    if (a <= 15 and op_w2P8NbNXyL(a,589) != 248):
        count = op_count_rPNtK4BLRO(a,a)+op_count_COABgblf1C(a,14)+op_count_4JGOJzXMq1(op_rPNtK4BLRO(a,a),op_COABgblf1C(a,14))+op_count_dfKe02y8D2(a,a)+op_count_uyq1hVkAcj(a)+op_count_nREPSIbpBE(op_dfKe02y8D2(a,a),op_uyq1hVkAcj(a))+op_count_JFrVJKYFMX(op_4JGOJzXMq1(op_rPNtK4BLRO(a,a),op_COABgblf1C(a,14)),op_nREPSIbpBE(op_dfKe02y8D2(a,a),op_uyq1hVkAcj(a)))+op_count_w2P8NbNXyL(a,589)
    else:
        count = op_count_MXaNJeIAZ3(a)
    return count


def op_VHoGSsPwkz(a):
    return op_z2JHNkvbdm(op_dAAkup5nzi(a,a),op_2DQ55sFlQl(a,a))

def op_count_VHoGSsPwkz(a):
    count = op_count_dAAkup5nzi(a,a)+op_count_2DQ55sFlQl(a,a)+op_count_z2JHNkvbdm(op_dAAkup5nzi(a,a),op_2DQ55sFlQl(a,a))
    return count


⩙∪⨐a = { (a⋛∩⫮) , if a==276 ; (a⨑a) , else }

def op_9KnANRFJl3(a):
    if a == 276:
        return op_QDWDTvZtyM(a)
    else:
        return op_IxJHfR5psi(a,a)

def op_count_9KnANRFJl3(a):
    if a == 276:
        count = op_count_QDWDTvZtyM(a)
    else:
        count = op_count_IxJHfR5psi(a,a)
    return count


def op_93Sw4uGJOO(a):
    if a != 384:
        return op_irKjLsMeKy(375,a)
    else:
        return op_nbuSfrB4hB(229,574)

def op_count_93Sw4uGJOO(a):
    if a != 384:
        count = op_count_irKjLsMeKy(375,a)
    else:
        count = op_count_nbuSfrB4hB(229,574)
    return count


def op_aULemKRNJ1(a, b):
    return op_OKKcZfAt5B(op_j4geBLYVFK(a),op_pB6Fcnrjim(op_pRsWfj4Fpp(b)))

def op_count_aULemKRNJ1(a, b):
    count = op_count_j4geBLYVFK(a)+op_count_pRsWfj4Fpp(b)+op_count_pB6Fcnrjim(op_pRsWfj4Fpp(b))+op_count_OKKcZfAt5B(op_j4geBLYVFK(a),op_pB6Fcnrjim(op_pRsWfj4Fpp(b)))
    return count


a⪭⊓ = { ((⪁⫅≨(154⪨⊡a))⪚⨁⋖((a↨⪍≴a)∄(a⋅⇍a))) }

def op_dqLymamn1g(a):
    return op_xSk1F0pZbF(op_YApyZlDuBr(op_kuIXHzHcAH(154,a)),op_tnyRA5sazQ(op_DX7B1fY6P6(a,a),op_AdZkA7nFnk(a,a)))

def op_count_dqLymamn1g(a):
    count = op_count_kuIXHzHcAH(154,a)+op_count_YApyZlDuBr(op_kuIXHzHcAH(154,a))+op_count_DX7B1fY6P6(a,a)+op_count_AdZkA7nFnk(a,a)+op_count_tnyRA5sazQ(op_DX7B1fY6P6(a,a),op_AdZkA7nFnk(a,a))+op_count_xSk1F0pZbF(op_YApyZlDuBr(op_kuIXHzHcAH(154,a)),op_tnyRA5sazQ(op_DX7B1fY6P6(a,a),op_AdZkA7nFnk(a,a)))
    return count


def op_OKEw5qQgvj(a):
    return op_VCG3UHNzLR(op_VCG3UHNzLR(a,166),op_bF6eod5Gvf(368,a))

def op_count_OKEw5qQgvj(a):
    count = op_count_VCG3UHNzLR(a,166)+op_count_bF6eod5Gvf(368,a)+op_count_VCG3UHNzLR(op_VCG3UHNzLR(a,166),op_bF6eod5Gvf(368,a))
    return count


def op_LjXrZQPlnO(a):
    return op_NrdPCfJQiM(op_KED7KUUlGq(a),op_uTBsSls0VN(a,a))

def op_count_LjXrZQPlnO(a):
    count = op_count_KED7KUUlGq(a)+op_count_uTBsSls0VN(a,a)+op_count_NrdPCfJQiM(op_KED7KUUlGq(a),op_uTBsSls0VN(a,a))
    return count


def op_sHMtVDD4nv(a, b):
    return op_giaUb8UVhq(op_UqUOXUQnbU(454,a),op_64EQ39e0fC(a,b))

def op_count_sHMtVDD4nv(a, b):
    count = op_count_UqUOXUQnbU(454,a)+op_count_64EQ39e0fC(a,b)+op_count_giaUb8UVhq(op_UqUOXUQnbU(454,a),op_64EQ39e0fC(a,b))
    return count


def op_UHiZrz1lbQ(a):
    return op_YbVcJGFEVW(a,a)

def op_count_UHiZrz1lbQ(a):
    count = op_count_YbVcJGFEVW(a,a)
    return count


def op_4mzu1DjKu8(a):
    return op_hiBDRd40bf(a,op_WR6HLWljOP(179,405))

def op_count_4mzu1DjKu8(a):
    count = op_count_WR6HLWljOP(179,405)+op_count_hiBDRd40bf(a,op_WR6HLWljOP(179,405))
    return count


∈⨮⨵a = { (⩷(a⨜⇔a)) , if a<=64 ; (a∁) , else }

def op_oX4FgFxhw3(a):
    if a <= 64:
        return op_1h0rLqGiFr(op_Sq3AGanRSD(a,a))
    else:
        return op_jdwGQqwJi5(a)

def op_count_oX4FgFxhw3(a):
    if a <= 64:
        count = op_count_Sq3AGanRSD(a,a)+op_count_1h0rLqGiFr(op_Sq3AGanRSD(a,a))
    else:
        count = op_count_jdwGQqwJi5(a)
    return count


def op_g5sNifpURL(a):
    return op_2M7SKlOzyM(op_bPywburJMS(a,309),op_pRsWfj4Fpp(563))

def op_count_g5sNifpURL(a):
    count = op_count_bPywburJMS(a,309)+op_count_pRsWfj4Fpp(563)+op_count_2M7SKlOzyM(op_bPywburJMS(a,309),op_pRsWfj4Fpp(563))
    return count


def op_xIsqXE4qqD(a):
    return op_kuIXHzHcAH(op_S5ZFQS4GK3(a,op_g7Hmc5v1ko(a,a)),a)

def op_count_xIsqXE4qqD(a):
    count = op_count_g7Hmc5v1ko(a,a)+op_count_S5ZFQS4GK3(a,op_g7Hmc5v1ko(a,a))+op_count_kuIXHzHcAH(op_S5ZFQS4GK3(a,op_g7Hmc5v1ko(a,a)),a)
    return count


def op_FCT48PRh6k(a):
    if op_Eev2Q7dYIw(a) > 111:
        return op_d8xe6WWVfM(op_PPChnnnBFF(68,a),op_JDUIKTTSIa(a,326))
    else:
        return op_59igzFyhWz(op_AYdpE9sXAk(315))

def op_count_FCT48PRh6k(a):
    if op_Eev2Q7dYIw(a) > 111:
        count = op_count_PPChnnnBFF(68,a)+op_count_JDUIKTTSIa(a,326)+op_count_d8xe6WWVfM(op_PPChnnnBFF(68,a),op_JDUIKTTSIa(a,326))+op_count_Eev2Q7dYIw(a)
    else:
        count = op_count_AYdpE9sXAk(315)+op_count_59igzFyhWz(op_AYdpE9sXAk(315))
    return count


a⊁≴ = { ((⋃(a⇼⇔∾a))⊉≛↸((a⫗⊒⇾a)⪈⋁⩁(a∷a))) }

def op_R9jNnghR3f(a):
    return op_DZ8iAZOCBD(op_3mBM5G4a3l(op_tifHPKVTfV(a,a)),op_GMyVS5K48T(op_hiBDRd40bf(a,a),op_D3AQDKkPcf(a,a)))

def op_count_R9jNnghR3f(a):
    count = op_count_tifHPKVTfV(a,a)+op_count_3mBM5G4a3l(op_tifHPKVTfV(a,a))+op_count_hiBDRd40bf(a,a)+op_count_D3AQDKkPcf(a,a)+op_count_GMyVS5K48T(op_hiBDRd40bf(a,a),op_D3AQDKkPcf(a,a))+op_count_DZ8iAZOCBD(op_3mBM5G4a3l(op_tifHPKVTfV(a,a)),op_GMyVS5K48T(op_hiBDRd40bf(a,a),op_D3AQDKkPcf(a,a)))
    return count


a≝∰⇵b = { (↞≼((a∼⇢563)⪨b)) , if b<=260 ; (((a∀⩎⋷1)∲⫑(b⫰⋱b))∫⋜⩖((321⨳⩥⨓a)⩅⩡)) , else }

def op_CdHlyAwjkr(a, b):
    if b <= 260:
        return op_DE7zCoGJt9(op_2z8nE7LpCu(op_Cr5xnr8B4B(a,563),b))
    else:
        return op_JgXZM7XvWE(op_NrdPCfJQiM(op_FPxP5Y1j0W(a,1),op_6o9Blt3TJ6(b,b)),op_0MNWfHKp6a(op_nCS4ZIUYfx(321,a)))

def op_count_CdHlyAwjkr(a, b):
    if b <= 260:
        count = op_count_Cr5xnr8B4B(a,563)+op_count_2z8nE7LpCu(op_Cr5xnr8B4B(a,563),b)+op_count_DE7zCoGJt9(op_2z8nE7LpCu(op_Cr5xnr8B4B(a,563),b))
    else:
        count = op_count_FPxP5Y1j0W(a,1)+op_count_6o9Blt3TJ6(b,b)+op_count_NrdPCfJQiM(op_FPxP5Y1j0W(a,1),op_6o9Blt3TJ6(b,b))+op_count_nCS4ZIUYfx(321,a)+op_count_0MNWfHKp6a(op_nCS4ZIUYfx(321,a))+op_count_JgXZM7XvWE(op_NrdPCfJQiM(op_FPxP5Y1j0W(a,1),op_6o9Blt3TJ6(b,b)),op_0MNWfHKp6a(op_nCS4ZIUYfx(321,a)))
    return count


def op_gUNJiNsEkK(a):
    return op_BjRHVeLaeN(op_KFSx94NKJn(op_840vADziXz(44),op_3FtlcrQcJU(a)))

def op_count_gUNJiNsEkK(a):
    count = op_count_840vADziXz(44)+op_count_3FtlcrQcJU(a)+op_count_KFSx94NKJn(op_840vADziXz(44),op_3FtlcrQcJU(a))+op_count_BjRHVeLaeN(op_KFSx94NKJn(op_840vADziXz(44),op_3FtlcrQcJU(a)))
    return count


a⇚≂b = { ((⋑a)∫⋜⩖(a⫗⊒⇾b)) , if b>83 ; ((a≜)∼⇢(⩆⇋b)) , else }

def op_otIR7kHRl1(a, b):
    if b > 83:
        return op_JgXZM7XvWE(op_iz8sE888QL(a),op_hiBDRd40bf(a,b))
    else:
        return op_Cr5xnr8B4B(op_jvbZP6NeOL(a),op_IjUb3wyICU(b))

def op_count_otIR7kHRl1(a, b):
    if b > 83:
        count = op_count_iz8sE888QL(a)+op_count_hiBDRd40bf(a,b)+op_count_JgXZM7XvWE(op_iz8sE888QL(a),op_hiBDRd40bf(a,b))
    else:
        count = op_count_jvbZP6NeOL(a)+op_count_IjUb3wyICU(b)+op_count_Cr5xnr8B4B(op_jvbZP6NeOL(a),op_IjUb3wyICU(b))
    return count


def op_eiq4tXUHbj(a):
    if op_LmY23Q1aIi(a) < 135:
        return op_qy3n0tapmE(op_8w2t5hMYqp(op_o575Zjdmzy(209)),a)
    else:
        return op_VCG3UHNzLR(op_tnyRA5sazQ(op_ebeGRCukrZ(a),op_kuIXHzHcAH(a,a)),497)

def op_count_eiq4tXUHbj(a):
    if op_LmY23Q1aIi(a) < 135:
        count = op_count_o575Zjdmzy(209)+op_count_8w2t5hMYqp(op_o575Zjdmzy(209))+op_count_qy3n0tapmE(op_8w2t5hMYqp(op_o575Zjdmzy(209)),a)+op_count_LmY23Q1aIi(a)
    else:
        count = op_count_ebeGRCukrZ(a)+op_count_kuIXHzHcAH(a,a)+op_count_tnyRA5sazQ(op_ebeGRCukrZ(a),op_kuIXHzHcAH(a,a))+op_count_VCG3UHNzLR(op_tnyRA5sazQ(op_ebeGRCukrZ(a),op_kuIXHzHcAH(a,a)),497)
    return count


a⫃≸ = { a , if (a⊱⇼⊻648)>198 ; ((a↼⊘⨖a)⫚⫇) , else }

def op_iria2qRldt(a):
    if op_FyVja0WsTP(a,648) > 198:
        return a
    else:
        return op_SdCjLnB6rR(op_bPywburJMS(a,a))

def op_count_iria2qRldt(a):
    if op_FyVja0WsTP(a,648) > 198:
        count = 1
    else:
        count = op_count_bPywburJMS(a,a)+op_count_SdCjLnB6rR(op_bPywburJMS(a,a))
    return count


def op_oS3yjF67M5(a, b):
    if b <= 433 or op_WkeUrDK8WX(a) != 610:
        return op_3FtlcrQcJU(a)
    else:
        return op_t8gj7n24qd(a)

def op_count_oS3yjF67M5(a, b):
    if b <= 433 or op_WkeUrDK8WX(a) != 610:
        count = op_count_3FtlcrQcJU(a)+op_count_WkeUrDK8WX(a)
    else:
        count = op_count_t8gj7n24qd(a)
    return count


def op_ZA7FCwLRLB(a):
    return op_HmxsFra2vL(op_z2JHNkvbdm(op_vRio1gEz1j(66),op_m612RDITqL(52,a)),op_oDvtRyfmAM(a))

def op_count_ZA7FCwLRLB(a):
    count = op_count_vRio1gEz1j(66)+op_count_m612RDITqL(52,a)+op_count_z2JHNkvbdm(op_vRio1gEz1j(66),op_m612RDITqL(52,a))+op_count_oDvtRyfmAM(a)+op_count_HmxsFra2vL(op_z2JHNkvbdm(op_vRio1gEz1j(66),op_m612RDITqL(52,a)),op_oDvtRyfmAM(a))
    return count


def op_c9fcJv25ES(a):
    return op_apS25hmuAe(op_8n5YIzOsVS(op_QKXs96F9fN(a)))

def op_count_c9fcJv25ES(a):
    count = op_count_QKXs96F9fN(a)+op_count_8n5YIzOsVS(op_QKXs96F9fN(a))+op_count_apS25hmuAe(op_8n5YIzOsVS(op_QKXs96F9fN(a)))
    return count


a⫔≶b = { (((↽≂109)⫚↹⊑(b⊔a))≽⪈↿((a∿⫑≎b)⊭(⫳⪺∰a))) , if (a⩉⊫⨁)>30 ; (((a⩧⪆65)⪁⨴⋨(a⪐-a))≧⊼((107⋘434)⫯⪬∳(b⫀))) , else }

def op_jJIxwIz27I(a, b):
    if op_7qqUquhhSb(a) > 30:
        return op_inCIaGQf8u(op_dfKe02y8D2(op_u6S6b8DprG(109),op_E4l6HwMY31(b,a)),op_4JGOJzXMq1(op_ar1w6gUwHX(a,b),op_eftAHwPbeA(a)))
    else:
        return op_JoLB3LXqXx(op_y2kQTS4a70(op_Ikt5ks8PT7(a,65),op_d8xe6WWVfM(a,a)),op_d7ASUq0ydm(op_2M7SKlOzyM(107,434),op_hFnZRMLNSM(b)))

def op_count_jJIxwIz27I(a, b):
    if op_7qqUquhhSb(a) > 30:
        count = op_count_u6S6b8DprG(109)+op_count_E4l6HwMY31(b,a)+op_count_dfKe02y8D2(op_u6S6b8DprG(109),op_E4l6HwMY31(b,a))+op_count_ar1w6gUwHX(a,b)+op_count_eftAHwPbeA(a)+op_count_4JGOJzXMq1(op_ar1w6gUwHX(a,b),op_eftAHwPbeA(a))+op_count_inCIaGQf8u(op_dfKe02y8D2(op_u6S6b8DprG(109),op_E4l6HwMY31(b,a)),op_4JGOJzXMq1(op_ar1w6gUwHX(a,b),op_eftAHwPbeA(a)))+op_count_7qqUquhhSb(a)
    else:
        count = op_count_Ikt5ks8PT7(a,65)+op_count_d8xe6WWVfM(a,a)+op_count_y2kQTS4a70(op_Ikt5ks8PT7(a,65),op_d8xe6WWVfM(a,a))+op_count_2M7SKlOzyM(107,434)+op_count_hFnZRMLNSM(b)+op_count_d7ASUq0ydm(op_2M7SKlOzyM(107,434),op_hFnZRMLNSM(b))+op_count_JoLB3LXqXx(op_y2kQTS4a70(op_Ikt5ks8PT7(a,65),op_d8xe6WWVfM(a,a)),op_d7ASUq0ydm(op_2M7SKlOzyM(107,434),op_hFnZRMLNSM(b)))
    return count


≋⊿≄a = { (⫳⪺∰44) , if (⋾a)==6 ; ((a≽⪈↿a)⇩) , else }

def op_mSR6zonr31(a):
    if op_8TQKPGA8Ba(a) == 6:
        return op_eftAHwPbeA(44)
    else:
        return op_vRio1gEz1j(op_inCIaGQf8u(a,a))

def op_count_mSR6zonr31(a):
    if op_8TQKPGA8Ba(a) == 6:
        count = op_count_eftAHwPbeA(44)+op_count_8TQKPGA8Ba(a)
    else:
        count = op_count_inCIaGQf8u(a,a)+op_count_vRio1gEz1j(op_inCIaGQf8u(a,a))
    return count


⊡⫣∦a = { (a⨧↗⨷a) , if (a⊠≄⫣)!=70 ; (⪸a) , else }

def op_ohIwRG4GTH(a):
    if op_DIvbN7qnHd(a) != 70:
        return op_WSbXXWOizJ(a,a)
    else:
        return op_86A5ENbKR9(a)

def op_count_ohIwRG4GTH(a):
    if op_DIvbN7qnHd(a) != 70:
        count = op_count_WSbXXWOizJ(a,a)+op_count_DIvbN7qnHd(a)
    else:
        count = op_count_86A5ENbKR9(a)
    return count


def op_sYkX6kT28T(a, b):
    return op_Y7wcNGrDQJ(op_Eev2Q7dYIw(a),op_WSbXXWOizJ(37,b))

def op_count_sYkX6kT28T(a, b):
    count = op_count_Eev2Q7dYIw(a)+op_count_WSbXXWOizJ(37,b)+op_count_Y7wcNGrDQJ(op_Eev2Q7dYIw(a),op_WSbXXWOizJ(37,b))
    return count


def op_14kb9hdwTg(a):
    if (op_YSKBFp38Pu(a,546) > 205 and op_TytFGXR7Zf(a) <= 77 and op_7Nd029Vx1U(a) >= 714):
        return op_RygbFNSyEJ(op_PPChnnnBFF(op_tHMVLcQ9bH(a),op_PPChnnnBFF(a,a)),a)
    else:
        return op_Qaz2MhZaG5(op_7j4O788W3g(op_BX1lVwlMe0(a),op_m612RDITqL(a,a)),op_oRDoc9rAEX(op_xoJmIySC7h(a,389),op_OGWBzMv138(228,a)))

def op_count_14kb9hdwTg(a):
    if (op_YSKBFp38Pu(a,546) > 205 and op_TytFGXR7Zf(a) <= 77 and op_7Nd029Vx1U(a) >= 714):
        count = op_count_tHMVLcQ9bH(a)+op_count_PPChnnnBFF(a,a)+op_count_PPChnnnBFF(op_tHMVLcQ9bH(a),op_PPChnnnBFF(a,a))+op_count_RygbFNSyEJ(op_PPChnnnBFF(op_tHMVLcQ9bH(a),op_PPChnnnBFF(a,a)),a)+op_count_YSKBFp38Pu(a,546)+op_count_TytFGXR7Zf(a)+op_count_7Nd029Vx1U(a)
    else:
        count = op_count_BX1lVwlMe0(a)+op_count_m612RDITqL(a,a)+op_count_7j4O788W3g(op_BX1lVwlMe0(a),op_m612RDITqL(a,a))+op_count_xoJmIySC7h(a,389)+op_count_OGWBzMv138(228,a)+op_count_oRDoc9rAEX(op_xoJmIySC7h(a,389),op_OGWBzMv138(228,a))+op_count_Qaz2MhZaG5(op_7j4O788W3g(op_BX1lVwlMe0(a),op_m612RDITqL(a,a)),op_oRDoc9rAEX(op_xoJmIySC7h(a,389),op_OGWBzMv138(228,a)))
    return count


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

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


def op_f8SZfwPBRv(a):
    if op_KvubFp3XhO(a) < 97:
        return op_YSKBFp38Pu(a,34)
    else:
        return op_JFrVJKYFMX(310,a)

def op_count_f8SZfwPBRv(a):
    if op_KvubFp3XhO(a) < 97:
        count = op_count_YSKBFp38Pu(a,34)+op_count_KvubFp3XhO(a)
    else:
        count = op_count_JFrVJKYFMX(310,a)
    return count


def op_OgWP1Bm3Tu(a):
    return op_BjRHVeLaeN(op_SPuZE40Ntn(a,a))

def op_count_OgWP1Bm3Tu(a):
    count = op_count_SPuZE40Ntn(a,a)+op_count_BjRHVeLaeN(op_SPuZE40Ntn(a,a))
    return count


a≻⩩⇺b = { (⩻⪛b) , if a<=931 ; (a⨵⪆b) , else }

def op_3FsoGOMzDA(a, b):
    if a <= 931:
        return op_5RY6W0glyJ(b)
    else:
        return op_2DQ55sFlQl(a,b)

def op_count_3FsoGOMzDA(a, b):
    if a <= 931:
        count = op_count_5RY6W0glyJ(b)
    else:
        count = op_count_2DQ55sFlQl(a,b)
    return count


⨱≌a = { ((a∇⊂⋱a)⊭(a⇑∁⪛)) , if a<=181 ; ((147⋟⫀⨗a)⪭(521⨩≤⫤a)) , else }

def op_gbXxdt0g7K(a):
    if a <= 181:
        return op_4JGOJzXMq1(op_nhYeJWJD5X(a,a),op_P75hhshrwX(a))
    else:
        return op_j9kHMeSvPp(op_dAAkup5nzi(147,a),op_neKQRQQIil(521,a))

def op_count_gbXxdt0g7K(a):
    if a <= 181:
        count = op_count_nhYeJWJD5X(a,a)+op_count_P75hhshrwX(a)+op_count_4JGOJzXMq1(op_nhYeJWJD5X(a,a),op_P75hhshrwX(a))
    else:
        count = op_count_dAAkup5nzi(147,a)+op_count_neKQRQQIil(521,a)+op_count_j9kHMeSvPp(op_dAAkup5nzi(147,a),op_neKQRQQIil(521,a))
    return count


def op_jdrn0ppNe9(a, b):
    return op_k7HXdKtiEU(op_OTRTVPweYV(op_YSKBFp38Pu(b,a),op_AFVx7xoS7T(a,a)))

def op_count_jdrn0ppNe9(a, b):
    count = op_count_YSKBFp38Pu(b,a)+op_count_AFVx7xoS7T(a,a)+op_count_OTRTVPweYV(op_YSKBFp38Pu(b,a),op_AFVx7xoS7T(a,a))+op_count_k7HXdKtiEU(op_OTRTVPweYV(op_YSKBFp38Pu(b,a),op_AFVx7xoS7T(a,a)))
    return count


def op_5i6pUMSeh2(a):
    return op_vg4gO5BX6G(op_zFNL8mZEFB(op_KbjG8mgYpV(781,a),op_g7Hmc5v1ko(a,a)),op_nhYeJWJD5X(op_7PjNe5qSIJ(a,204),op_3FtlcrQcJU(127)))

def op_count_5i6pUMSeh2(a):
    count = op_count_KbjG8mgYpV(781,a)+op_count_g7Hmc5v1ko(a,a)+op_count_zFNL8mZEFB(op_KbjG8mgYpV(781,a),op_g7Hmc5v1ko(a,a))+op_count_7PjNe5qSIJ(a,204)+op_count_3FtlcrQcJU(127)+op_count_nhYeJWJD5X(op_7PjNe5qSIJ(a,204),op_3FtlcrQcJU(127))+op_count_vg4gO5BX6G(op_zFNL8mZEFB(op_KbjG8mgYpV(781,a),op_g7Hmc5v1ko(a,a)),op_nhYeJWJD5X(op_7PjNe5qSIJ(a,204),op_3FtlcrQcJU(127)))
    return count


a↕⊃↝ = { (((a⊓≱a)⩚⊴⇥(a⨽⪊≇))⋞((⨝⨆a)+⪬∐(a∫≲⋬))) , if (a⋙)>494 ; (⋼∭⪍(9⨸⪁411)) , else }

def op_Sdk5QcUYJw(a):
    if op_XZxEnkN3N0(a) > 494:
        return op_V4yb4KDoeF(op_NTOWxs364D(op_VCG3UHNzLR(a,a),op_nlCqmYiOvY(a)),op_2GS7woTJqF(op_bQ67fsrMVf(a),op_DNmMwa48aR(a)))
    else:
        return op_DbCuESL50I(op_g55IO6H4Gj(9,411))

def op_count_Sdk5QcUYJw(a):
    if op_XZxEnkN3N0(a) > 494:
        count = op_count_VCG3UHNzLR(a,a)+op_count_nlCqmYiOvY(a)+op_count_NTOWxs364D(op_VCG3UHNzLR(a,a),op_nlCqmYiOvY(a))+op_count_bQ67fsrMVf(a)+op_count_DNmMwa48aR(a)+op_count_2GS7woTJqF(op_bQ67fsrMVf(a),op_DNmMwa48aR(a))+op_count_V4yb4KDoeF(op_NTOWxs364D(op_VCG3UHNzLR(a,a),op_nlCqmYiOvY(a)),op_2GS7woTJqF(op_bQ67fsrMVf(a),op_DNmMwa48aR(a)))+op_count_XZxEnkN3N0(a)
    else:
        count = op_count_g55IO6H4Gj(9,411)+op_count_DbCuESL50I(op_g55IO6H4Gj(9,411))
    return count


a∸⇼b = { (b∑a) , if (b⋅⇍105)<158 ; (a≾⋳) , else }

def op_MsxN17mfUC(a, b):
    if op_AdZkA7nFnk(b,105) < 158:
        return op_JFrVJKYFMX(b,a)
    else:
        return op_1tCtMSPkGf(a)

def op_count_MsxN17mfUC(a, b):
    if op_AdZkA7nFnk(b,105) < 158:
        count = op_count_JFrVJKYFMX(b,a)+op_count_AdZkA7nFnk(b,105)
    else:
        count = op_count_1tCtMSPkGf(a)
    return count


⋟⇐a = { (((a⇋∊)∿⫑≎(a∫⋜⩖a))⋂⩴((a⨌↪)∽(268⇛a))) }

def op_RHudOG0WXe(a):
    return op_hmlrMsD2PO(op_ar1w6gUwHX(op_3FtlcrQcJU(a),op_JgXZM7XvWE(a,a)),op_y4ImoPnbV5(op_cWQsF5MvuD(a),op_S3tN1ZzpSt(268,a)))

def op_count_RHudOG0WXe(a):
    count = op_count_3FtlcrQcJU(a)+op_count_JgXZM7XvWE(a,a)+op_count_ar1w6gUwHX(op_3FtlcrQcJU(a),op_JgXZM7XvWE(a,a))+op_count_cWQsF5MvuD(a)+op_count_S3tN1ZzpSt(268,a)+op_count_y4ImoPnbV5(op_cWQsF5MvuD(a),op_S3tN1ZzpSt(268,a))+op_count_hmlrMsD2PO(op_ar1w6gUwHX(op_3FtlcrQcJU(a),op_JgXZM7XvWE(a,a)),op_y4ImoPnbV5(op_cWQsF5MvuD(a),op_S3tN1ZzpSt(268,a)))
    return count


a⪧⨹ = { (∨(a⋞518)) , if a>224 ; ((a≭⫡a)⨰↻⪇(⋼∭⪍a)) , else }

def op_62W5FwqBqz(a):
    if a > 224:
        return op_rIsGeVJWJF(op_V4yb4KDoeF(a,518))
    else:
        return op_nbuSfrB4hB(op_b1mGkbI4Oy(a,a),op_DbCuESL50I(a))

def op_count_62W5FwqBqz(a):
    if a > 224:
        count = op_count_V4yb4KDoeF(a,518)+op_count_rIsGeVJWJF(op_V4yb4KDoeF(a,518))
    else:
        count = op_count_b1mGkbI4Oy(a,a)+op_count_DbCuESL50I(a)+op_count_nbuSfrB4hB(op_b1mGkbI4Oy(a,a),op_DbCuESL50I(a))
    return count


def op_gB9eB2F3A3(a):
    return op_eewbuw0ToL(op_fLGIAiPz9h(a),op_JclMnS0uGI(a,229))

def op_count_gB9eB2F3A3(a):
    count = op_count_fLGIAiPz9h(a)+op_count_JclMnS0uGI(a,229)+op_count_eewbuw0ToL(op_fLGIAiPz9h(a),op_JclMnS0uGI(a,229))
    return count


def op_8vl1kniaDp(a, b):
    return op_KYL1uVeVpb(op_8cLx32lpNA(a,b),op_eftAHwPbeA(22))

def op_count_8vl1kniaDp(a, b):
    count = op_count_8cLx32lpNA(a,b)+op_count_eftAHwPbeA(22)+op_count_KYL1uVeVpb(op_8cLx32lpNA(a,b),op_eftAHwPbeA(22))
    return count


def op_9KSCB8sGCw(a):
    return op_umQnsF7QlU(op_sdazOOVcIp(a,a),op_IpgdDpBHsO(a))

def op_count_9KSCB8sGCw(a):
    count = op_count_sdazOOVcIp(a,a)+op_count_IpgdDpBHsO(a)+op_count_umQnsF7QlU(op_sdazOOVcIp(a,a),op_IpgdDpBHsO(a))
    return count


def op_3TJII8pRfQ(a, b):
    return op_bl5wxAcryP(op_j9kHMeSvPp(a,b))

def op_count_3TJII8pRfQ(a, b):
    count = op_count_j9kHMeSvPp(a,b)+op_count_bl5wxAcryP(op_j9kHMeSvPp(a,b))
    return count


a⫃⩕∴ = { ((a⩣⊵⩗a)∀⩎⋷(505⋰⇉∕a)) , if (a⫚⫇)<=418 ; ((a≠≀a)∄(a⩵∡242)) , else }

def op_DhcJq39HPU(a):
    if op_SdCjLnB6rR(a) <= 418:
        return op_FPxP5Y1j0W(op_wsXFuL0hC6(a,a),op_sM9mzqIDB1(505,a))
    else:
        return op_tnyRA5sazQ(op_IwW236VD4Y(a,a),op_Y7wcNGrDQJ(a,242))

def op_count_DhcJq39HPU(a):
    if op_SdCjLnB6rR(a) <= 418:
        count = op_count_wsXFuL0hC6(a,a)+op_count_sM9mzqIDB1(505,a)+op_count_FPxP5Y1j0W(op_wsXFuL0hC6(a,a),op_sM9mzqIDB1(505,a))+op_count_SdCjLnB6rR(a)
    else:
        count = op_count_IwW236VD4Y(a,a)+op_count_Y7wcNGrDQJ(a,242)+op_count_tnyRA5sazQ(op_IwW236VD4Y(a,a),op_Y7wcNGrDQJ(a,242))
    return count


a⫈⪮b = { (((a∼⇢509)∀⩎⋷(⊀⇵b))⩣⫁∢((b∣b)↙↠)) }

def op_5n5YhvIuaO(a, b):
    return op_JDUIKTTSIa(op_FPxP5Y1j0W(op_Cr5xnr8B4B(a,509),op_B3tNObfNaL(b)),op_texHS70gxN(op_PPChnnnBFF(b,b)))

def op_count_5n5YhvIuaO(a, b):
    count = op_count_Cr5xnr8B4B(a,509)+op_count_B3tNObfNaL(b)+op_count_FPxP5Y1j0W(op_Cr5xnr8B4B(a,509),op_B3tNObfNaL(b))+op_count_PPChnnnBFF(b,b)+op_count_texHS70gxN(op_PPChnnnBFF(b,b))+op_count_JDUIKTTSIa(op_FPxP5Y1j0W(op_Cr5xnr8B4B(a,509),op_B3tNObfNaL(b)),op_texHS70gxN(op_PPChnnnBFF(b,b)))
    return count


def op_KRirUCLfIK(a, b):
    if op_nCS4ZIUYfx(a,430) > 14:
        return op_7CBskBkoKY(op_bx9Z9DAK5y(op_XPYlsWDdGa(b)))
    else:
        return op_Siyfjn51pv(op_9bazX3JMtO(op_hrf7POJlIJ(b,46),op_irKjLsMeKy(b,319)))

def op_count_KRirUCLfIK(a, b):
    if op_nCS4ZIUYfx(a,430) > 14:
        count = op_count_XPYlsWDdGa(b)+op_count_bx9Z9DAK5y(op_XPYlsWDdGa(b))+op_count_7CBskBkoKY(op_bx9Z9DAK5y(op_XPYlsWDdGa(b)))+op_count_nCS4ZIUYfx(a,430)
    else:
        count = op_count_hrf7POJlIJ(b,46)+op_count_irKjLsMeKy(b,319)+op_count_9bazX3JMtO(op_hrf7POJlIJ(b,46),op_irKjLsMeKy(b,319))+op_count_Siyfjn51pv(op_9bazX3JMtO(op_hrf7POJlIJ(b,46),op_irKjLsMeKy(b,319)))
    return count


a⩕⋦b = { (((a⩷∴169)⩤∜↚(b⊢b))⪲⨢((⊄a)⋰⇉∕(a∊⊞≈b))) , if b<=564 ; ((⩒∊(b⫏↛⩏b))∺≝⩲((a⫏↛⩏a)⨸⪁(b∴a))) , else }

def op_RrCWIpBJZe(a, b):
    if b <= 564:
        return op_6iafYuwGo8(op_KROiRRz3d6(op_9FxExcQeMw(a,169),op_5twsqlHp2o(b,b)),op_sM9mzqIDB1(op_AnPstFaJd9(a),op_keuJNkrrbj(a,b)))
    else:
        return op_KPf6cnQVty(op_qazvmhNBbN(op_YC3tgrnOyr(b,b)),op_g55IO6H4Gj(op_YC3tgrnOyr(a,a),op_hrf7POJlIJ(b,a)))

def op_count_RrCWIpBJZe(a, b):
    if b <= 564:
        count = op_count_9FxExcQeMw(a,169)+op_count_5twsqlHp2o(b,b)+op_count_KROiRRz3d6(op_9FxExcQeMw(a,169),op_5twsqlHp2o(b,b))+op_count_AnPstFaJd9(a)+op_count_keuJNkrrbj(a,b)+op_count_sM9mzqIDB1(op_AnPstFaJd9(a),op_keuJNkrrbj(a,b))+op_count_6iafYuwGo8(op_KROiRRz3d6(op_9FxExcQeMw(a,169),op_5twsqlHp2o(b,b)),op_sM9mzqIDB1(op_AnPstFaJd9(a),op_keuJNkrrbj(a,b)))
    else:
        count = op_count_YC3tgrnOyr(b,b)+op_count_qazvmhNBbN(op_YC3tgrnOyr(b,b))+op_count_YC3tgrnOyr(a,a)+op_count_hrf7POJlIJ(b,a)+op_count_g55IO6H4Gj(op_YC3tgrnOyr(a,a),op_hrf7POJlIJ(b,a))+op_count_KPf6cnQVty(op_qazvmhNBbN(op_YC3tgrnOyr(b,b)),op_g55IO6H4Gj(op_YC3tgrnOyr(a,a),op_hrf7POJlIJ(b,a)))
    return count


def op_UZb5oF9J8A(a, b):
    if op_SgAxmdLNEA(a) >= 26:
        return op_13TjBizFrQ(op_Ikt5ks8PT7(op_EZ6cjipfBz(b),op_rPNtK4BLRO(b,b)))
    else:
        return op_cWQsF5MvuD(op_2z8nE7LpCu(785,op_oRDoc9rAEX(114,23)))

def op_count_UZb5oF9J8A(a, b):
    if op_SgAxmdLNEA(a) >= 26:
        count = op_count_EZ6cjipfBz(b)+op_count_rPNtK4BLRO(b,b)+op_count_Ikt5ks8PT7(op_EZ6cjipfBz(b),op_rPNtK4BLRO(b,b))+op_count_13TjBizFrQ(op_Ikt5ks8PT7(op_EZ6cjipfBz(b),op_rPNtK4BLRO(b,b)))+op_count_SgAxmdLNEA(a)
    else:
        count = op_count_oRDoc9rAEX(114,23)+op_count_2z8nE7LpCu(785,op_oRDoc9rAEX(114,23))+op_count_cWQsF5MvuD(op_2z8nE7LpCu(785,op_oRDoc9rAEX(114,23)))
    return count


def op_0Cy0AfulTk(a):
    return op_3sJ7IOPOlU(op_KfMCrRzQhT(a),op_Y7wcNGrDQJ(0,a))

def op_count_0Cy0AfulTk(a):
    count = op_count_KfMCrRzQhT(a)+op_count_Y7wcNGrDQJ(0,a)+op_count_3sJ7IOPOlU(op_KfMCrRzQhT(a),op_Y7wcNGrDQJ(0,a))
    return count


a⨅ = { (((⨡↴a)⫼⨠(a∊⊞≈a))⩾((a⪔⊥54)∄(a⋞a))) }

def op_7QEXmkAHEQ(a):
    return op_UggxBX659n(op_KYL1uVeVpb(op_liw5iZPkLH(a),op_keuJNkrrbj(a,a)),op_tnyRA5sazQ(op_HJ9erzHUuu(a,54),op_V4yb4KDoeF(a,a)))

def op_count_7QEXmkAHEQ(a):
    count = op_count_liw5iZPkLH(a)+op_count_keuJNkrrbj(a,a)+op_count_KYL1uVeVpb(op_liw5iZPkLH(a),op_keuJNkrrbj(a,a))+op_count_HJ9erzHUuu(a,54)+op_count_V4yb4KDoeF(a,a)+op_count_tnyRA5sazQ(op_HJ9erzHUuu(a,54),op_V4yb4KDoeF(a,a))+op_count_UggxBX659n(op_KYL1uVeVpb(op_liw5iZPkLH(a),op_keuJNkrrbj(a,a)),op_tnyRA5sazQ(op_HJ9erzHUuu(a,54),op_V4yb4KDoeF(a,a)))
    return count


def op_g1LgX1JFXs(a):
    return op_EWw2JM7wp4(op_PrwIXj9ZQe(a),op_fLGIAiPz9h(a))

def op_count_g1LgX1JFXs(a):
    count = op_count_PrwIXj9ZQe(a)+op_count_fLGIAiPz9h(a)+op_count_EWw2JM7wp4(op_PrwIXj9ZQe(a),op_fLGIAiPz9h(a))
    return count


⊚⊡a = { (((⫄⋦≢413)⋂⩴(a⨚a))⩣⊵⩗((⫊≏⨉127)⩷∴(a⪶≀⋏a))) }

def op_hHJq9mB9RY(a):
    return op_wsXFuL0hC6(op_hmlrMsD2PO(op_4kvgVkQeiQ(413),op_nREPSIbpBE(a,a)),op_9FxExcQeMw(op_KED7KUUlGq(127),op_zR4jO40bMj(a,a)))

def op_count_hHJq9mB9RY(a):
    count = op_count_4kvgVkQeiQ(413)+op_count_nREPSIbpBE(a,a)+op_count_hmlrMsD2PO(op_4kvgVkQeiQ(413),op_nREPSIbpBE(a,a))+op_count_KED7KUUlGq(127)+op_count_zR4jO40bMj(a,a)+op_count_9FxExcQeMw(op_KED7KUUlGq(127),op_zR4jO40bMj(a,a))+op_count_wsXFuL0hC6(op_hmlrMsD2PO(op_4kvgVkQeiQ(413),op_nREPSIbpBE(a,a)),op_9FxExcQeMw(op_KED7KUUlGq(127),op_zR4jO40bMj(a,a)))
    return count


def op_KJXVwbnpr8(a):
    return op_Eev2Q7dYIw(op_dfKe02y8D2(a,a))

def op_count_KJXVwbnpr8(a):
    count = op_count_dfKe02y8D2(a,a)+op_count_Eev2Q7dYIw(op_dfKe02y8D2(a,a))
    return count


def op_JISqFzpevj(a):
    return op_3Oe9XWJUTD(op_XbEAUggs3J(a),op_y4ImoPnbV5(a,a))

def op_count_JISqFzpevj(a):
    count = op_count_XbEAUggs3J(a)+op_count_y4ImoPnbV5(a,a)+op_count_3Oe9XWJUTD(op_XbEAUggs3J(a),op_y4ImoPnbV5(a,a))
    return count


def op_hKrHXgDiso(a):
    return op_JFrVJKYFMX(op_C6VvDP6HwP(a),op_3EYGwJThht(a,a))

def op_count_hKrHXgDiso(a):
    count = op_count_C6VvDP6HwP(a)+op_count_3EYGwJThht(a,a)+op_count_JFrVJKYFMX(op_C6VvDP6HwP(a),op_3EYGwJThht(a,a))
    return count


∢⩌a = { (((a⪊≅)⪯⫾⋍(74⇼⇔∾a))⩼⇪↪((a⨑⋨a)⇪⋱)) }

def op_T73WYNiiSX(a):
    return op_ocnLzx9CaJ(op_S5ZFQS4GK3(op_bjFbhXSADs(a),op_tifHPKVTfV(74,a)),op_MKzNxCV7Yo(op_tIhPxZTbsh(a,a)))

def op_count_T73WYNiiSX(a):
    count = op_count_bjFbhXSADs(a)+op_count_tifHPKVTfV(74,a)+op_count_S5ZFQS4GK3(op_bjFbhXSADs(a),op_tifHPKVTfV(74,a))+op_count_tIhPxZTbsh(a,a)+op_count_MKzNxCV7Yo(op_tIhPxZTbsh(a,a))+op_count_ocnLzx9CaJ(op_S5ZFQS4GK3(op_bjFbhXSADs(a),op_tifHPKVTfV(74,a)),op_MKzNxCV7Yo(op_tIhPxZTbsh(a,a)))
    return count


def op_Elx7NcX46f(a, b):
    return op_Zubgv0tBda(op_cwbF3JtlMN(op_nREPSIbpBE(a,a),op_HmxsFra2vL(b,a)))

def op_count_Elx7NcX46f(a, b):
    count = op_count_nREPSIbpBE(a,a)+op_count_HmxsFra2vL(b,a)+op_count_cwbF3JtlMN(op_nREPSIbpBE(a,a),op_HmxsFra2vL(b,a))+op_count_Zubgv0tBda(op_cwbF3JtlMN(op_nREPSIbpBE(a,a),op_HmxsFra2vL(b,a)))
    return count


a⋱⊊b = { (b⇅) , if (⋽⪳⨃a)<=488 ; (⪲⇎b) , else }

def op_XIK4G3vWTl(a, b):
    if op_qAljGMXEZr(a) <= 488:
        return op_oH594TLvBK(b)
    else:
        return op_XPYlsWDdGa(b)

def op_count_XIK4G3vWTl(a, b):
    if op_qAljGMXEZr(a) <= 488:
        count = op_count_oH594TLvBK(b)+op_count_qAljGMXEZr(a)
    else:
        count = op_count_XPYlsWDdGa(b)
    return count


a∠↓⩳ = { (a⫁⪎a) , if (⩆⇋a)<=354 and a!=106 ; (a⫟≀⫫) , else }

def op_UP83abds7r(a):
    if op_IjUb3wyICU(a) <= 354 and a != 106:
        return op_xRrnTEsQ6j(a,a)
    else:
        return op_KfMCrRzQhT(a)

def op_count_UP83abds7r(a):
    if op_IjUb3wyICU(a) <= 354 and a != 106:
        count = op_count_xRrnTEsQ6j(a,a)+op_count_IjUb3wyICU(a)
    else:
        count = op_count_KfMCrRzQhT(a)
    return count


a↝⋟⪌b = { (b⨧b) , if (a⊜)<=46 ; (b⇤b) , else }

def op_F85fdRvr8l(a, b):
    if op_Eev2Q7dYIw(a) <= 46:
        return op_3YWlZA9bsa(b,b)
    else:
        return op_YSKBFp38Pu(b,b)

def op_count_F85fdRvr8l(a, b):
    if op_Eev2Q7dYIw(a) <= 46:
        count = op_count_3YWlZA9bsa(b,b)+op_count_Eev2Q7dYIw(a)
    else:
        count = op_count_YSKBFp38Pu(b,b)
    return count


def op_8SnKnorVr9(a):
    return op_ljTHtUsqzn(op_cFVlceoRkX(a,a))

def op_count_8SnKnorVr9(a):
    count = op_count_cFVlceoRkX(a,a)+op_count_ljTHtUsqzn(op_cFVlceoRkX(a,a))
    return count


a⋟⨸⨢b = { ((a⇼⇔∾72)∑(68≶b)) , if (b⨜⨶37)!=352 ; ((b⨑b)⨔⊶↷(a⋟⫀⨗a)) , else }

def op_fhjnU2VWuG(a, b):
    if op_HiPekx5b7W(b,37) != 352:
        return op_JFrVJKYFMX(op_tifHPKVTfV(a,72),op_Q2SPaKwpPJ(68,b))
    else:
        return op_WObL9SsYVE(op_IxJHfR5psi(b,b),op_dAAkup5nzi(a,a))

def op_count_fhjnU2VWuG(a, b):
    if op_HiPekx5b7W(b,37) != 352:
        count = op_count_tifHPKVTfV(a,72)+op_count_Q2SPaKwpPJ(68,b)+op_count_JFrVJKYFMX(op_tifHPKVTfV(a,72),op_Q2SPaKwpPJ(68,b))+op_count_HiPekx5b7W(b,37)
    else:
        count = op_count_IxJHfR5psi(b,b)+op_count_dAAkup5nzi(a,a)+op_count_WObL9SsYVE(op_IxJHfR5psi(b,b),op_dAAkup5nzi(a,a))
    return count