a∈≈≭b = { (⩆⇋(a⊉↱≁19)) , if (↞≼a)>574 ; (⊈(b⊕⨔)) , else }

def op_cx1JSpNNHo(a, b):
    if op_DE7zCoGJt9(a) > 574:
        return op_IjUb3wyICU(op_w2P8NbNXyL(a,19))
    else:
        return op_RHru8klgy8(op_ut0Nd8ObBp(b))

def op_count_cx1JSpNNHo(a, b):
    if op_DE7zCoGJt9(a) > 574:
        count = op_count_w2P8NbNXyL(a,19)+op_count_IjUb3wyICU(op_w2P8NbNXyL(a,19))+op_count_DE7zCoGJt9(a)
    else:
        count = op_count_ut0Nd8ObBp(b)+op_count_RHru8klgy8(op_ut0Nd8ObBp(b))
    return count


def op_fKosg8QZQa(a):
    if (op_ebeGRCukrZ(a) == 41 or a <= 225):
        return op_kbkesczE7y(op_eewbuw0ToL(a,a),op_3nqY3DE9mg(a))
    else:
        return op_inCIaGQf8u(op_N41Kp7NANJ(a),op_Z5m6OM72h2(a,49))

def op_count_fKosg8QZQa(a):
    if (op_ebeGRCukrZ(a) == 41 or a <= 225):
        count = op_count_eewbuw0ToL(a,a)+op_count_3nqY3DE9mg(a)+op_count_kbkesczE7y(op_eewbuw0ToL(a,a),op_3nqY3DE9mg(a))+op_count_ebeGRCukrZ(a)
    else:
        count = op_count_N41Kp7NANJ(a)+op_count_Z5m6OM72h2(a,49)+op_count_inCIaGQf8u(op_N41Kp7NANJ(a),op_Z5m6OM72h2(a,49))
    return count


a↸⋽⊴b = { (a⊝⪿⪼b) , if b>=12 ; (⫟b) , else }

def op_9zMjbAiDwo(a, b):
    if b >= 12:
        return op_3Oe9XWJUTD(a,b)
    else:
        return op_z4E1FaHLuy(b)

def op_count_9zMjbAiDwo(a, b):
    if b >= 12:
        count = op_count_3Oe9XWJUTD(a,b)
    else:
        count = op_count_z4E1FaHLuy(b)
    return count


a≝b = { (a≧⊼b) , if (a∊⊞≈99)<=311 ; (⇍b) , else }

def op_9ceAZlIJYr(a, b):
    if op_keuJNkrrbj(a,99) <= 311:
        return op_JoLB3LXqXx(a,b)
    else:
        return op_H9jWZL1q0V(b)

def op_count_9ceAZlIJYr(a, b):
    if op_keuJNkrrbj(a,99) <= 311:
        count = op_count_JoLB3LXqXx(a,b)+op_count_keuJNkrrbj(a,99)
    else:
        count = op_count_H9jWZL1q0V(b)
    return count


def op_TQtCT2lTQ7(a, b):
    return op_3EYGwJThht(b,op_HjMFvreeUu(a))

def op_count_TQtCT2lTQ7(a, b):
    count = op_count_HjMFvreeUu(a)+op_count_3EYGwJThht(b,op_HjMFvreeUu(a))
    return count


a⫼⇷b = { ((b⫗⊒⇾b)∽(208⪢⨴)) , if (b⩰⨪↦)<=303 ; (⊡⇒⪪(⋼∭⪍a)) , else }

def op_W5FaPSP1ue(a, b):
    if op_fLfyAuxYJD(b) <= 303:
        return op_y4ImoPnbV5(op_hiBDRd40bf(b,b),op_UMMmb9LONo(208))
    else:
        return op_wisItNeSwq(op_DbCuESL50I(a))

def op_count_W5FaPSP1ue(a, b):
    if op_fLfyAuxYJD(b) <= 303:
        count = op_count_hiBDRd40bf(b,b)+op_count_UMMmb9LONo(208)+op_count_y4ImoPnbV5(op_hiBDRd40bf(b,b),op_UMMmb9LONo(208))+op_count_fLfyAuxYJD(b)
    else:
        count = op_count_DbCuESL50I(a)+op_count_wisItNeSwq(op_DbCuESL50I(a))
    return count


def op_TBQGLA1zJl(a, b):
    return op_FPxP5Y1j0W(op_z4E1FaHLuy(b),op_OKKcZfAt5B(a,a))

def op_count_TBQGLA1zJl(a, b):
    count = op_count_z4E1FaHLuy(b)+op_count_OKKcZfAt5B(a,a)+op_count_FPxP5Y1j0W(op_z4E1FaHLuy(b),op_OKKcZfAt5B(a,a))
    return count


def op_pNiqsYmQ4e(a):
    if op_EZ6cjipfBz(a) > 421:
        return op_nhYeJWJD5X(op_rysDP5nf3Z(a,116),op_ljTHtUsqzn(a))
    else:
        return op_w2P8NbNXyL(op_ObEyaaML9x(a,a),op_QMFrweE19q(320,a))

def op_count_pNiqsYmQ4e(a):
    if op_EZ6cjipfBz(a) > 421:
        count = op_count_rysDP5nf3Z(a,116)+op_count_ljTHtUsqzn(a)+op_count_nhYeJWJD5X(op_rysDP5nf3Z(a,116),op_ljTHtUsqzn(a))+op_count_EZ6cjipfBz(a)
    else:
        count = op_count_ObEyaaML9x(a,a)+op_count_QMFrweE19q(320,a)+op_count_w2P8NbNXyL(op_ObEyaaML9x(a,a),op_QMFrweE19q(320,a))
    return count


def op_WOPYPopvhG(a):
    return op_U6pG0PXrV3(op_g7Hmc5v1ko(a,a))

def op_count_WOPYPopvhG(a):
    count = op_count_g7Hmc5v1ko(a,a)+op_count_U6pG0PXrV3(op_g7Hmc5v1ko(a,a))
    return count


def op_iZltrOz6dS(a):
    if op_tnyRA5sazQ(a,412) < 16:
        return op_U9HvHqtOoq(a)
    else:
        return op_mhIhit33mg(a)

def op_count_iZltrOz6dS(a):
    if op_tnyRA5sazQ(a,412) < 16:
        count = op_count_U9HvHqtOoq(a)+op_count_tnyRA5sazQ(a,412)
    else:
        count = op_count_mhIhit33mg(a)
    return count


def op_ieEneBRTef(a, b):
    return op_QvoQhV0rrE(op_m612RDITqL(op_EZ6cjipfBz(b),b),op_vRio1gEz1j(op_nbuSfrB4hB(2,a)))

def op_count_ieEneBRTef(a, b):
    count = op_count_EZ6cjipfBz(b)+op_count_m612RDITqL(op_EZ6cjipfBz(b),b)+op_count_nbuSfrB4hB(2,a)+op_count_vRio1gEz1j(op_nbuSfrB4hB(2,a))+op_count_QvoQhV0rrE(op_m612RDITqL(op_EZ6cjipfBz(b),b),op_vRio1gEz1j(op_nbuSfrB4hB(2,a)))
    return count


a∈⩝b = { (((a⫰⋱a)⪦⩸(2⋐≟⩺b))⪐-((a⊓≱b)⩒⫫(a⇤b))) }

def op_2DFoI2gtkq(a, b):
    return op_d8xe6WWVfM(op_0JWJYFSzIQ(op_6o9Blt3TJ6(a,a),op_PjbVkMzmXE(2,b)),op_KFSx94NKJn(op_VCG3UHNzLR(a,b),op_YSKBFp38Pu(a,b)))

def op_count_2DFoI2gtkq(a, b):
    count = op_count_6o9Blt3TJ6(a,a)+op_count_PjbVkMzmXE(2,b)+op_count_0JWJYFSzIQ(op_6o9Blt3TJ6(a,a),op_PjbVkMzmXE(2,b))+op_count_VCG3UHNzLR(a,b)+op_count_YSKBFp38Pu(a,b)+op_count_KFSx94NKJn(op_VCG3UHNzLR(a,b),op_YSKBFp38Pu(a,b))+op_count_d8xe6WWVfM(op_0JWJYFSzIQ(op_6o9Blt3TJ6(a,a),op_PjbVkMzmXE(2,b)),op_KFSx94NKJn(op_VCG3UHNzLR(a,b),op_YSKBFp38Pu(a,b)))
    return count


a⇓⋧⋔b = { ((b⪨⊡a)⋛∩⫮) , if b>=1 ; (⫂(300⋆⊨b)) , else }

def op_ONJRQY6OPs(a, b):
    if b >= 1:
        return op_QDWDTvZtyM(op_kuIXHzHcAH(b,a))
    else:
        return op_U9HvHqtOoq(op_uTBsSls0VN(300,b))

def op_count_ONJRQY6OPs(a, b):
    if b >= 1:
        count = op_count_kuIXHzHcAH(b,a)+op_count_QDWDTvZtyM(op_kuIXHzHcAH(b,a))
    else:
        count = op_count_uTBsSls0VN(300,b)+op_count_U9HvHqtOoq(op_uTBsSls0VN(300,b))
    return count


def op_WxCQVOxfvH(a):
    if op_Ph9nP6C5qx(a,32) <= 520:
        return op_W7eaUhjymW(a)
    else:
        return op_JclMnS0uGI(a,a)

def op_count_WxCQVOxfvH(a):
    if op_Ph9nP6C5qx(a,32) <= 520:
        count = op_count_W7eaUhjymW(a)+op_count_Ph9nP6C5qx(a,32)
    else:
        count = op_count_JclMnS0uGI(a,a)
    return count


⊓−a = { (((a∺≝⩲a)⩌⋺(a⫯⪬∳a))⫶((⋃a)⪨⊡(a⇌⫙⪟a))) , if (a⨑978)<=226 ; (⪆(⊤⊝(a⨚a))) , else }

def op_wV0kDBQWsc(a):
    if op_IxJHfR5psi(a,978) <= 226:
        return op_BAIXFdYaz3(op_g7Hmc5v1ko(op_KPf6cnQVty(a,a),op_d7ASUq0ydm(a,a)),op_kuIXHzHcAH(op_3mBM5G4a3l(a),op_AFVx7xoS7T(a,a)))
    else:
        return op_KWeyIRWUIQ(op_rXAclfmB4M(op_nREPSIbpBE(a,a)))

def op_count_wV0kDBQWsc(a):
    if op_IxJHfR5psi(a,978) <= 226:
        count = op_count_KPf6cnQVty(a,a)+op_count_d7ASUq0ydm(a,a)+op_count_g7Hmc5v1ko(op_KPf6cnQVty(a,a),op_d7ASUq0ydm(a,a))+op_count_3mBM5G4a3l(a)+op_count_AFVx7xoS7T(a,a)+op_count_kuIXHzHcAH(op_3mBM5G4a3l(a),op_AFVx7xoS7T(a,a))+op_count_BAIXFdYaz3(op_g7Hmc5v1ko(op_KPf6cnQVty(a,a),op_d7ASUq0ydm(a,a)),op_kuIXHzHcAH(op_3mBM5G4a3l(a),op_AFVx7xoS7T(a,a)))+op_count_IxJHfR5psi(a,978)
    else:
        count = op_count_nREPSIbpBE(a,a)+op_count_rXAclfmB4M(op_nREPSIbpBE(a,a))+op_count_KWeyIRWUIQ(op_rXAclfmB4M(op_nREPSIbpBE(a,a)))
    return count


def op_ondNsIJVtl(a):
    return op_4JGOJzXMq1(op_s0kPeV9Vm2(a),op_64EQ39e0fC(a,1))

def op_count_ondNsIJVtl(a):
    count = op_count_s0kPeV9Vm2(a)+op_count_64EQ39e0fC(a,1)+op_count_4JGOJzXMq1(op_s0kPeV9Vm2(a),op_64EQ39e0fC(a,1))
    return count


def op_PveJMblpdR(a):
    return op_cwbF3JtlMN(op_Oe8teynzfS(a),op_zFNL8mZEFB(a,284))

def op_count_PveJMblpdR(a):
    count = op_count_Oe8teynzfS(a)+op_count_zFNL8mZEFB(a,284)+op_count_cwbF3JtlMN(op_Oe8teynzfS(a),op_zFNL8mZEFB(a,284))
    return count


a∍⫁⪅b = { (((b∷b)⪯⫾⋍(⫊≏⨉b))⫻⋑⊟) , if (b⩌732)<=567 ; ((b⪇≇⋚(a⨳⩥⨓60))∠↢43) , else }

def op_glenQ1xDvR(a, b):
    if op_UoVew8f2p2(b,732) <= 567:
        return op_o575Zjdmzy(op_S5ZFQS4GK3(op_D3AQDKkPcf(b,b),op_KED7KUUlGq(b)))
    else:
        return op_KbjG8mgYpV(op_3sJ7IOPOlU(b,op_nCS4ZIUYfx(a,60)),43)

def op_count_glenQ1xDvR(a, b):
    if op_UoVew8f2p2(b,732) <= 567:
        count = op_count_D3AQDKkPcf(b,b)+op_count_KED7KUUlGq(b)+op_count_S5ZFQS4GK3(op_D3AQDKkPcf(b,b),op_KED7KUUlGq(b))+op_count_o575Zjdmzy(op_S5ZFQS4GK3(op_D3AQDKkPcf(b,b),op_KED7KUUlGq(b)))+op_count_UoVew8f2p2(b,732)
    else:
        count = op_count_nCS4ZIUYfx(a,60)+op_count_3sJ7IOPOlU(b,op_nCS4ZIUYfx(a,60))+op_count_KbjG8mgYpV(op_3sJ7IOPOlU(b,op_nCS4ZIUYfx(a,60)),43)
    return count


def op_m7gMNVoRFK(a):
    if a == 502:
        return op_KaSTSbOewx(op_B3sABdIn96(op_l1M9WJ3V7u(217)))
    else:
        return op_j9kHMeSvPp(op_OGWBzMv138(op_6iOiAJX1F8(187),op_QKXs96F9fN(154)),a)

def op_count_m7gMNVoRFK(a):
    if a == 502:
        count = op_count_l1M9WJ3V7u(217)+op_count_B3sABdIn96(op_l1M9WJ3V7u(217))+op_count_KaSTSbOewx(op_B3sABdIn96(op_l1M9WJ3V7u(217)))
    else:
        count = op_count_6iOiAJX1F8(187)+op_count_QKXs96F9fN(154)+op_count_OGWBzMv138(op_6iOiAJX1F8(187),op_QKXs96F9fN(154))+op_count_j9kHMeSvPp(op_OGWBzMv138(op_6iOiAJX1F8(187),op_QKXs96F9fN(154)),a)
    return count


⨴⫂∐a = { ((∨⫘⊿(a∑62))⊋≦⊧((293⋳/a)⇖↽(a⋷a))) , if a!=57 ; (((a↰)⪱⇝(a∘a))∇⊂⋱((a⪯⫾⋍a)⋰⇉∕403)) , else }

def op_HLz8DJSMYc(a):
    if a != 57:
        return op_oRDoc9rAEX(op_qxp9F1VMeC(op_JFrVJKYFMX(a,62)),op_cwbF3JtlMN(op_m612RDITqL(293,a),op_23Mk6UjR3U(a,a)))
    else:
        return op_nhYeJWJD5X(op_OTRTVPweYV(op_bl5wxAcryP(a),op_Z5m6OM72h2(a,a)),op_sM9mzqIDB1(op_S5ZFQS4GK3(a,a),403))

def op_count_HLz8DJSMYc(a):
    if a != 57:
        count = op_count_JFrVJKYFMX(a,62)+op_count_qxp9F1VMeC(op_JFrVJKYFMX(a,62))+op_count_m612RDITqL(293,a)+op_count_23Mk6UjR3U(a,a)+op_count_cwbF3JtlMN(op_m612RDITqL(293,a),op_23Mk6UjR3U(a,a))+op_count_oRDoc9rAEX(op_qxp9F1VMeC(op_JFrVJKYFMX(a,62)),op_cwbF3JtlMN(op_m612RDITqL(293,a),op_23Mk6UjR3U(a,a)))
    else:
        count = op_count_bl5wxAcryP(a)+op_count_Z5m6OM72h2(a,a)+op_count_OTRTVPweYV(op_bl5wxAcryP(a),op_Z5m6OM72h2(a,a))+op_count_S5ZFQS4GK3(a,a)+op_count_sM9mzqIDB1(op_S5ZFQS4GK3(a,a),403)+op_count_nhYeJWJD5X(op_OTRTVPweYV(op_bl5wxAcryP(a),op_Z5m6OM72h2(a,a)),op_sM9mzqIDB1(op_S5ZFQS4GK3(a,a),403))
    return count


def op_EYU6BsVPjN(a, b):
    if (op_KYL1uVeVpb(b,142) <= 204 and op_vRio1gEz1j(b) == 45 and op_XPYlsWDdGa(b) <= 85):
        return op_hiBDRd40bf(op_DX7B1fY6P6(op_0JWJYFSzIQ(229,b),op_inCIaGQf8u(b,b)),op_40aOVDgCDB(op_PPChnnnBFF(b,a)))
    else:
        return op_tnyRA5sazQ(b,b)

def op_count_EYU6BsVPjN(a, b):
    if (op_KYL1uVeVpb(b,142) <= 204 and op_vRio1gEz1j(b) == 45 and op_XPYlsWDdGa(b) <= 85):
        count = op_count_0JWJYFSzIQ(229,b)+op_count_inCIaGQf8u(b,b)+op_count_DX7B1fY6P6(op_0JWJYFSzIQ(229,b),op_inCIaGQf8u(b,b))+op_count_PPChnnnBFF(b,a)+op_count_40aOVDgCDB(op_PPChnnnBFF(b,a))+op_count_hiBDRd40bf(op_DX7B1fY6P6(op_0JWJYFSzIQ(229,b),op_inCIaGQf8u(b,b)),op_40aOVDgCDB(op_PPChnnnBFF(b,a)))+op_count_KYL1uVeVpb(b,142)+op_count_vRio1gEz1j(b)+op_count_XPYlsWDdGa(b)
    else:
        count = op_count_tnyRA5sazQ(b,b)
    return count


def op_v1bnuMu9of(a):
    return op_HJ9erzHUuu(op_3Oe9XWJUTD(a,op_jBC4ymW3D7(a,a)),op_sdazOOVcIp(op_4JGOJzXMq1(220,715),op_fOIeswaMU4(a)))

def op_count_v1bnuMu9of(a):
    count = op_count_jBC4ymW3D7(a,a)+op_count_3Oe9XWJUTD(a,op_jBC4ymW3D7(a,a))+op_count_4JGOJzXMq1(220,715)+op_count_fOIeswaMU4(a)+op_count_sdazOOVcIp(op_4JGOJzXMq1(220,715),op_fOIeswaMU4(a))+op_count_HJ9erzHUuu(op_3Oe9XWJUTD(a,op_jBC4ymW3D7(a,a)),op_sdazOOVcIp(op_4JGOJzXMq1(220,715),op_fOIeswaMU4(a)))
    return count


⨃⫴a = { (⊁⨺(a⫶a)) , if (a≾⋳)>369 ; ((a≠≀a)⪈⋁⩁(a⊹≧⊝)) , else }

def op_XeoxXfbtOj(a):
    if op_1tCtMSPkGf(a) > 369:
        return op_PxiHyQbrIp(op_BAIXFdYaz3(a,a))
    else:
        return op_GMyVS5K48T(op_IwW236VD4Y(a,a),op_LxFB4K6j0n(a))

def op_count_XeoxXfbtOj(a):
    if op_1tCtMSPkGf(a) > 369:
        count = op_count_BAIXFdYaz3(a,a)+op_count_PxiHyQbrIp(op_BAIXFdYaz3(a,a))+op_count_1tCtMSPkGf(a)
    else:
        count = op_count_IwW236VD4Y(a,a)+op_count_LxFB4K6j0n(a)+op_count_GMyVS5K48T(op_IwW236VD4Y(a,a),op_LxFB4K6j0n(a))
    return count


def op_dbaoL9ubd4(a, b):
    if (a >= 260 and b >= 317):
        return op_oRDoc9rAEX(b,804)
    else:
        return op_gSr4c7pPrV(b)

def op_count_dbaoL9ubd4(a, b):
    if (a >= 260 and b >= 317):
        count = op_count_oRDoc9rAEX(b,804)
    else:
        count = op_count_gSr4c7pPrV(b)
    return count


def op_0uv4xNrpnl(a, b):
    if op_5twsqlHp2o(b,268) >= 133:
        return op_3EYGwJThht(op_OWnFPqjWlR(a,482),op_u6S6b8DprG(b))
    else:
        return op_4JB6nKBMSY(op_W4YGzv6Whe(b,a),op_DX7B1fY6P6(213,352))

def op_count_0uv4xNrpnl(a, b):
    if op_5twsqlHp2o(b,268) >= 133:
        count = op_count_OWnFPqjWlR(a,482)+op_count_u6S6b8DprG(b)+op_count_3EYGwJThht(op_OWnFPqjWlR(a,482),op_u6S6b8DprG(b))+op_count_5twsqlHp2o(b,268)
    else:
        count = op_count_W4YGzv6Whe(b,a)+op_count_DX7B1fY6P6(213,352)+op_count_4JB6nKBMSY(op_W4YGzv6Whe(b,a),op_DX7B1fY6P6(213,352))
    return count


def op_UtOFw9C4Rn(a):
    if op_SdCjLnB6rR(a) > 121:
        return op_AdZkA7nFnk(op_09Ly4LVMIf(op_AdZkA7nFnk(887,28),287),op_1aApVXNlOP(op_WR6HLWljOP(a,a),a))
    else:
        return op_3FtlcrQcJU(op_S56z7WVPBn(op_NrdPCfJQiM(a,a)))

def op_count_UtOFw9C4Rn(a):
    if op_SdCjLnB6rR(a) > 121:
        count = op_count_AdZkA7nFnk(887,28)+op_count_09Ly4LVMIf(op_AdZkA7nFnk(887,28),287)+op_count_WR6HLWljOP(a,a)+op_count_1aApVXNlOP(op_WR6HLWljOP(a,a),a)+op_count_AdZkA7nFnk(op_09Ly4LVMIf(op_AdZkA7nFnk(887,28),287),op_1aApVXNlOP(op_WR6HLWljOP(a,a),a))+op_count_SdCjLnB6rR(a)
    else:
        count = op_count_NrdPCfJQiM(a,a)+op_count_S56z7WVPBn(op_NrdPCfJQiM(a,a))+op_count_3FtlcrQcJU(op_S56z7WVPBn(op_NrdPCfJQiM(a,a)))
    return count


⨑⨙a = { (⫳⪺∰(a↺a)) , if a>=140 ; ((a↹⊜a)∌↝(a∽a)) , else }

def op_5hXH7YEb70(a):
    if a >= 140:
        return op_eftAHwPbeA(op_7j4O788W3g(a,a))
    else:
        return op_9Isq31Ruls(op_9bazX3JMtO(a,a),op_y4ImoPnbV5(a,a))

def op_count_5hXH7YEb70(a):
    if a >= 140:
        count = op_count_7j4O788W3g(a,a)+op_count_eftAHwPbeA(op_7j4O788W3g(a,a))
    else:
        count = op_count_9bazX3JMtO(a,a)+op_count_y4ImoPnbV5(a,a)+op_count_9Isq31Ruls(op_9bazX3JMtO(a,a),op_y4ImoPnbV5(a,a))
    return count


def op_JhYyHjCUKx(a, b):
    if op_PZaICrJanm(b) < 48:
        return op_2fAMLLeFHb(46)
    else:
        return op_rysDP5nf3Z(a,256)

def op_count_JhYyHjCUKx(a, b):
    if op_PZaICrJanm(b) < 48:
        count = op_count_2fAMLLeFHb(46)+op_count_PZaICrJanm(b)
    else:
        count = op_count_rysDP5nf3Z(a,256)
    return count


def op_icxKCO3nOu(a, b):
    if (op_tfWHHpNKUN(b) >= 228 or a == 466):
        return op_Bmrmz2XGnR(276,b)
    else:
        return op_hiBDRd40bf(b,a)

def op_count_icxKCO3nOu(a, b):
    if (op_tfWHHpNKUN(b) >= 228 or a == 466):
        count = op_count_Bmrmz2XGnR(276,b)+op_count_tfWHHpNKUN(b)
    else:
        count = op_count_hiBDRd40bf(b,a)
    return count


a⇱⩀⪆b = { (a⩹(b⨔⇊b)) , if ((b⨊⨠)>320 or (a≠≀798)<=55) ; ((≈a)⨓↿∉(b∇⊂⋱b)) , else }

def op_Z1zd0Moi1F(a, b):
    if (op_qU6oQAhJaQ(b) > 320 or op_IwW236VD4Y(a,798) <= 55):
        return op_2Wsdkap16l(a,op_JclMnS0uGI(b,b))
    else:
        return op_OWnFPqjWlR(op_EO7Xdgo9So(a),op_nhYeJWJD5X(b,b))

def op_count_Z1zd0Moi1F(a, b):
    if (op_qU6oQAhJaQ(b) > 320 or op_IwW236VD4Y(a,798) <= 55):
        count = op_count_JclMnS0uGI(b,b)+op_count_2Wsdkap16l(a,op_JclMnS0uGI(b,b))+op_count_qU6oQAhJaQ(b)+op_count_IwW236VD4Y(a,798)
    else:
        count = op_count_EO7Xdgo9So(a)+op_count_nhYeJWJD5X(b,b)+op_count_OWnFPqjWlR(op_EO7Xdgo9So(a),op_nhYeJWJD5X(b,b))
    return count


def op_W9BcR1zwUp(a, b):
    return op_QDWDTvZtyM(op_g55IO6H4Gj(op_eRqsBgTDFp(b,171),op_tnyRA5sazQ(b,a)))

def op_count_W9BcR1zwUp(a, b):
    count = op_count_eRqsBgTDFp(b,171)+op_count_tnyRA5sazQ(b,a)+op_count_g55IO6H4Gj(op_eRqsBgTDFp(b,171),op_tnyRA5sazQ(b,a))+op_count_QDWDTvZtyM(op_g55IO6H4Gj(op_eRqsBgTDFp(b,171),op_tnyRA5sazQ(b,a)))
    return count


⊸⫭⋦a = { (((a≬⋮a)∠⫱(a⪇≇⋚35))⇿⊰((a⫗⊒⇾a)⩰⨪↦)) }

def op_qddvovaRuv(a):
    return op_ap3xiM279w(op_QvoQhV0rrE(op_kbkesczE7y(a,a),op_3sJ7IOPOlU(a,35)),op_fLfyAuxYJD(op_hiBDRd40bf(a,a)))

def op_count_qddvovaRuv(a):
    count = op_count_kbkesczE7y(a,a)+op_count_3sJ7IOPOlU(a,35)+op_count_QvoQhV0rrE(op_kbkesczE7y(a,a),op_3sJ7IOPOlU(a,35))+op_count_hiBDRd40bf(a,a)+op_count_fLfyAuxYJD(op_hiBDRd40bf(a,a))+op_count_ap3xiM279w(op_QvoQhV0rrE(op_kbkesczE7y(a,a),op_3sJ7IOPOlU(a,35)),op_fLfyAuxYJD(op_hiBDRd40bf(a,a)))
    return count


↤a = { ((∨⫘⊿a)⪯⫾⋍(90⩒⫫a)) , if ((⩦⊞a)<=85 and a<=641) ; ((a⫯⪬∳a)⋥≓≎(a⫚↹⊑a)) , else }

def op_gKxwfH1PN5(a):
    if (op_u7fv1HBiaC(a) <= 85 and a <= 641):
        return op_S5ZFQS4GK3(op_qxp9F1VMeC(a),op_KFSx94NKJn(90,a))
    else:
        return op_Qy55tPpLXF(op_d7ASUq0ydm(a,a),op_dfKe02y8D2(a,a))

def op_count_gKxwfH1PN5(a):
    if (op_u7fv1HBiaC(a) <= 85 and a <= 641):
        count = op_count_qxp9F1VMeC(a)+op_count_KFSx94NKJn(90,a)+op_count_S5ZFQS4GK3(op_qxp9F1VMeC(a),op_KFSx94NKJn(90,a))+op_count_u7fv1HBiaC(a)
    else:
        count = op_count_d7ASUq0ydm(a,a)+op_count_dfKe02y8D2(a,a)+op_count_Qy55tPpLXF(op_d7ASUq0ydm(a,a),op_dfKe02y8D2(a,a))
    return count


def op_QXkr67oqFK(a):
    return op_8WDwsbhb0R(op_xoJmIySC7h(a,a))

def op_count_QXkr67oqFK(a):
    count = op_count_xoJmIySC7h(a,a)+op_count_8WDwsbhb0R(op_xoJmIySC7h(a,a))
    return count


a⇊⋑b = { (a⨰↻⪇a) , if (a⨻⪊⨷297)>=372 ; (b⪎⩰) , else }

def op_FLbQ0iM2XP(a, b):
    if op_Pkwamo1tM2(a,297) >= 372:
        return op_nbuSfrB4hB(a,a)
    else:
        return op_2ufhKmSs5H(b)

def op_count_FLbQ0iM2XP(a, b):
    if op_Pkwamo1tM2(a,297) >= 372:
        count = op_count_nbuSfrB4hB(a,a)+op_count_Pkwamo1tM2(a,297)
    else:
        count = op_count_2ufhKmSs5H(b)
    return count


a⪭≽⪚b = { (((18≼a)∝(b↨⪍≴b))∽((≇⪴a)⇼⇔∾(184⨩≤⫤b))) , if (a⪹)>=37 ; b , else }

def op_eY5BGNLxQI(a, b):
    if op_B3sABdIn96(a) >= 37:
        return op_y4ImoPnbV5(op_cTDWOvIxvz(op_SPuZE40Ntn(18,a),op_DX7B1fY6P6(b,b)),op_tifHPKVTfV(op_zoVPnxeHJ3(a),op_neKQRQQIil(184,b)))
    else:
        return b

def op_count_eY5BGNLxQI(a, b):
    if op_B3sABdIn96(a) >= 37:
        count = op_count_SPuZE40Ntn(18,a)+op_count_DX7B1fY6P6(b,b)+op_count_cTDWOvIxvz(op_SPuZE40Ntn(18,a),op_DX7B1fY6P6(b,b))+op_count_zoVPnxeHJ3(a)+op_count_neKQRQQIil(184,b)+op_count_tifHPKVTfV(op_zoVPnxeHJ3(a),op_neKQRQQIil(184,b))+op_count_y4ImoPnbV5(op_cTDWOvIxvz(op_SPuZE40Ntn(18,a),op_DX7B1fY6P6(b,b)),op_tifHPKVTfV(op_zoVPnxeHJ3(a),op_neKQRQQIil(184,b)))+op_count_B3sABdIn96(a)
    else:
        count = 1
    return count


a⇑⫑ = { (a⨰↻⪇(a⨓↿∉a)) , if (∋∴a)<=29 ; ((⊀206)⪚(a↢a)) , else }

def op_c6lc3cRmwV(a):
    if op_nouZ5SZjt1(a) <= 29:
        return op_nbuSfrB4hB(a,op_OWnFPqjWlR(a,a))
    else:
        return op_HrjLwUk87U(op_oPMjh9089D(206),op_WR6HLWljOP(a,a))

def op_count_c6lc3cRmwV(a):
    if op_nouZ5SZjt1(a) <= 29:
        count = op_count_OWnFPqjWlR(a,a)+op_count_nbuSfrB4hB(a,op_OWnFPqjWlR(a,a))+op_count_nouZ5SZjt1(a)
    else:
        count = op_count_oPMjh9089D(206)+op_count_WR6HLWljOP(a,a)+op_count_HrjLwUk87U(op_oPMjh9089D(206),op_WR6HLWljOP(a,a))
    return count


a⩩⊮⨡ = { (a⫁⪎a) , if a>421 ; (64⊭a) , else }

def op_bSGFHVpcm8(a):
    if a > 421:
        return op_xRrnTEsQ6j(a,a)
    else:
        return op_4JGOJzXMq1(64,a)

def op_count_bSGFHVpcm8(a):
    if a > 421:
        count = op_count_xRrnTEsQ6j(a,a)
    else:
        count = op_count_4JGOJzXMq1(64,a)
    return count


def op_HY4jiOqclA(a, b):
    return op_OWnFPqjWlR(op_umQnsF7QlU(a,b),op_i8ToyICDmI(a,247))

def op_count_HY4jiOqclA(a, b):
    count = op_count_umQnsF7QlU(a,b)+op_count_i8ToyICDmI(a,247)+op_count_OWnFPqjWlR(op_umQnsF7QlU(a,b),op_i8ToyICDmI(a,247))
    return count


def op_lnIJ46lT9N(a):
    return op_KPf6cnQVty(op_DNmMwa48aR(op_ocnLzx9CaJ(60,a)),op_3YWlZA9bsa(a,op_LmY23Q1aIi(a)))

def op_count_lnIJ46lT9N(a):
    count = op_count_ocnLzx9CaJ(60,a)+op_count_DNmMwa48aR(op_ocnLzx9CaJ(60,a))+op_count_LmY23Q1aIi(a)+op_count_3YWlZA9bsa(a,op_LmY23Q1aIi(a))+op_count_KPf6cnQVty(op_DNmMwa48aR(op_ocnLzx9CaJ(60,a)),op_3YWlZA9bsa(a,op_LmY23Q1aIi(a)))
    return count


def op_lmJLg3MMpL(a, b):
    return op_Wm7LHi3c8p(op_2GS7woTJqF(b,op_VwlE7vj6HS(a)))

def op_count_lmJLg3MMpL(a, b):
    count = op_count_VwlE7vj6HS(a)+op_count_2GS7woTJqF(b,op_VwlE7vj6HS(a))+op_count_Wm7LHi3c8p(op_2GS7woTJqF(b,op_VwlE7vj6HS(a)))
    return count


def op_EOlTwnPOYS(a):
    return op_jBC4ymW3D7(op_u6S6b8DprG(op_Pkwamo1tM2(a,a)),op_AFVx7xoS7T(op_YjI8oCXuph(7),a))

def op_count_EOlTwnPOYS(a):
    count = op_count_Pkwamo1tM2(a,a)+op_count_u6S6b8DprG(op_Pkwamo1tM2(a,a))+op_count_YjI8oCXuph(7)+op_count_AFVx7xoS7T(op_YjI8oCXuph(7),a)+op_count_jBC4ymW3D7(op_u6S6b8DprG(op_Pkwamo1tM2(a,a)),op_AFVx7xoS7T(op_YjI8oCXuph(7),a))
    return count


def op_7OL7g5oVtb(a, b):
    if op_2PILXiQIjy(a) != 856:
        return op_cTDWOvIxvz(op_uysxUYN2L2(716,op_neKQRQQIil(a,411)),op_L05ObWFQCd(op_oPMjh9089D(a),op_WR6HLWljOP(b,b)))
    else:
        return op_D3AQDKkPcf(op_tIhPxZTbsh(op_wmlQD0656L(b),op_KPf6cnQVty(a,296)),op_uTBsSls0VN(op_Bmrmz2XGnR(a,a),op_QvoQhV0rrE(12,b)))

def op_count_7OL7g5oVtb(a, b):
    if op_2PILXiQIjy(a) != 856:
        count = op_count_neKQRQQIil(a,411)+op_count_uysxUYN2L2(716,op_neKQRQQIil(a,411))+op_count_oPMjh9089D(a)+op_count_WR6HLWljOP(b,b)+op_count_L05ObWFQCd(op_oPMjh9089D(a),op_WR6HLWljOP(b,b))+op_count_cTDWOvIxvz(op_uysxUYN2L2(716,op_neKQRQQIil(a,411)),op_L05ObWFQCd(op_oPMjh9089D(a),op_WR6HLWljOP(b,b)))+op_count_2PILXiQIjy(a)
    else:
        count = op_count_wmlQD0656L(b)+op_count_KPf6cnQVty(a,296)+op_count_tIhPxZTbsh(op_wmlQD0656L(b),op_KPf6cnQVty(a,296))+op_count_Bmrmz2XGnR(a,a)+op_count_QvoQhV0rrE(12,b)+op_count_uTBsSls0VN(op_Bmrmz2XGnR(a,a),op_QvoQhV0rrE(12,b))+op_count_D3AQDKkPcf(op_tIhPxZTbsh(op_wmlQD0656L(b),op_KPf6cnQVty(a,296)),op_uTBsSls0VN(op_Bmrmz2XGnR(a,a),op_QvoQhV0rrE(12,b)))
    return count


def op_hedAZG2wqk(a):
    return op_5RY6W0glyJ(op_KbjG8mgYpV(a,op_Rw46J52cBJ(a,a)))

def op_count_hedAZG2wqk(a):
    count = op_count_Rw46J52cBJ(a,a)+op_count_KbjG8mgYpV(a,op_Rw46J52cBJ(a,a))+op_count_5RY6W0glyJ(op_KbjG8mgYpV(a,op_Rw46J52cBJ(a,a)))
    return count


def op_rRepzXvtpj(a):
    return op_RygbFNSyEJ(op_VCG3UHNzLR(a,a),op_BUOGQAYlQx(147))

def op_count_rRepzXvtpj(a):
    count = op_count_VCG3UHNzLR(a,a)+op_count_BUOGQAYlQx(147)+op_count_RygbFNSyEJ(op_VCG3UHNzLR(a,a),op_BUOGQAYlQx(147))
    return count


def op_IBFb0eQO1Y(a, b):
    return op_JFrVJKYFMX(op_jBC4ymW3D7(b,a),op_6LuFrogppQ(b))

def op_count_IBFb0eQO1Y(a, b):
    count = op_count_jBC4ymW3D7(b,a)+op_count_6LuFrogppQ(b)+op_count_JFrVJKYFMX(op_jBC4ymW3D7(b,a),op_6LuFrogppQ(b))
    return count


def op_htFxK0qXae(a, b):
    return op_2ufhKmSs5H(op_FyVja0WsTP(a,b))

def op_count_htFxK0qXae(a, b):
    count = op_count_FyVja0WsTP(a,b)+op_count_2ufhKmSs5H(op_FyVja0WsTP(a,b))
    return count


a←⩶b = { (((b≦↸a)⪇≇⋚(a⨐a))⊇≀≁) , if (b⪁⨴⋨315)!=40 ; (((a∀⩎⋷274)∝a)⋆⊨(a⋎(b⨽⪊≇))) , else }

def op_qsAu3zulMu(a, b):
    if op_y2kQTS4a70(b,315) != 40:
        return op_AfoL3wC8aT(op_3sJ7IOPOlU(op_RygbFNSyEJ(b,a),op_Noe24qw2ks(a,a)))
    else:
        return op_uTBsSls0VN(op_cTDWOvIxvz(op_FPxP5Y1j0W(a,274),a),op_qy3n0tapmE(a,op_nlCqmYiOvY(b)))

def op_count_qsAu3zulMu(a, b):
    if op_y2kQTS4a70(b,315) != 40:
        count = op_count_RygbFNSyEJ(b,a)+op_count_Noe24qw2ks(a,a)+op_count_3sJ7IOPOlU(op_RygbFNSyEJ(b,a),op_Noe24qw2ks(a,a))+op_count_AfoL3wC8aT(op_3sJ7IOPOlU(op_RygbFNSyEJ(b,a),op_Noe24qw2ks(a,a)))+op_count_y2kQTS4a70(b,315)
    else:
        count = op_count_FPxP5Y1j0W(a,274)+op_count_cTDWOvIxvz(op_FPxP5Y1j0W(a,274),a)+op_count_nlCqmYiOvY(b)+op_count_qy3n0tapmE(a,op_nlCqmYiOvY(b))+op_count_uTBsSls0VN(op_cTDWOvIxvz(op_FPxP5Y1j0W(a,274),a),op_qy3n0tapmE(a,op_nlCqmYiOvY(b)))
    return count


def op_2rKnP1Q4SV(a):
    return op_9Isq31Ruls(856,op_tifHPKVTfV(a,a))

def op_count_2rKnP1Q4SV(a):
    count = op_count_tifHPKVTfV(a,a)+op_count_9Isq31Ruls(856,op_tifHPKVTfV(a,a))
    return count


a≃⨎b = { (a≠≀a) , if b>350 ; (↩⪖b) , else }

def op_lQ3fYqgTA2(a, b):
    if b > 350:
        return op_IwW236VD4Y(a,a)
    else:
        return op_fG6uBQFnGz(b)

def op_count_lQ3fYqgTA2(a, b):
    if b > 350:
        count = op_count_IwW236VD4Y(a,a)
    else:
        count = op_count_fG6uBQFnGz(b)
    return count


def op_hr2kbNuzeZ(a):
    return op_JoLB3LXqXx(a,a)

def op_count_hr2kbNuzeZ(a):
    count = op_count_JoLB3LXqXx(a,a)
    return count


def op_sMyAjHvMXx(a):
    return op_kweVJGAjhl(op_tnyRA5sazQ(op_GMyVS5K48T(197,a),op_d7ASUq0ydm(a,a)))

def op_count_sMyAjHvMXx(a):
    count = op_count_GMyVS5K48T(197,a)+op_count_d7ASUq0ydm(a,a)+op_count_tnyRA5sazQ(op_GMyVS5K48T(197,a),op_d7ASUq0ydm(a,a))+op_count_kweVJGAjhl(op_tnyRA5sazQ(op_GMyVS5K48T(197,a),op_d7ASUq0ydm(a,a)))
    return count


def op_2RrC8bMJqa(a):
    return op_12rbrZMWeM(op_8TQKPGA8Ba(op_KFSx94NKJn(a,a)),op_tnyRA5sazQ(op_Pkwamo1tM2(a,360),a))

def op_count_2RrC8bMJqa(a):
    count = op_count_KFSx94NKJn(a,a)+op_count_8TQKPGA8Ba(op_KFSx94NKJn(a,a))+op_count_Pkwamo1tM2(a,360)+op_count_tnyRA5sazQ(op_Pkwamo1tM2(a,360),a)+op_count_12rbrZMWeM(op_8TQKPGA8Ba(op_KFSx94NKJn(a,a)),op_tnyRA5sazQ(op_Pkwamo1tM2(a,360),a))
    return count


a≅⨐ = { a , if a>151 ; (((96⪲⨢a)⫃⨇(a↼⊘⨖a))≽⊫) , else }

def op_mxuDegDVqC(a):
    if a > 151:
        return a
    else:
        return op_H0pizIJMoW(op_09Ly4LVMIf(op_6iafYuwGo8(96,a),op_bPywburJMS(a,a)))

def op_count_mxuDegDVqC(a):
    if a > 151:
        count = 1
    else:
        count = op_count_6iafYuwGo8(96,a)+op_count_bPywburJMS(a,a)+op_count_09Ly4LVMIf(op_6iafYuwGo8(96,a),op_bPywburJMS(a,a))+op_count_H0pizIJMoW(op_09Ly4LVMIf(op_6iafYuwGo8(96,a),op_bPywburJMS(a,a)))
    return count


def op_zO06vmwOEI(a, b):
    return op_neKQRQQIil(op_3YWlZA9bsa(op_Bmrmz2XGnR(a,b),op_nCS4ZIUYfx(409,a)),op_IxJHfR5psi(op_Y5cEcQhyKu(a,699),op_4JGOJzXMq1(a,449)))

def op_count_zO06vmwOEI(a, b):
    count = op_count_Bmrmz2XGnR(a,b)+op_count_nCS4ZIUYfx(409,a)+op_count_3YWlZA9bsa(op_Bmrmz2XGnR(a,b),op_nCS4ZIUYfx(409,a))+op_count_Y5cEcQhyKu(a,699)+op_count_4JGOJzXMq1(a,449)+op_count_IxJHfR5psi(op_Y5cEcQhyKu(a,699),op_4JGOJzXMq1(a,449))+op_count_neKQRQQIil(op_3YWlZA9bsa(op_Bmrmz2XGnR(a,b),op_nCS4ZIUYfx(409,a)),op_IxJHfR5psi(op_Y5cEcQhyKu(a,699),op_4JGOJzXMq1(a,449)))
    return count


def op_14VFCNLema(a):
    return op_QvoQhV0rrE(op_HJ9erzHUuu(op_PxpmPgHHJV(a),op_xRrnTEsQ6j(160,a)),18)

def op_count_14VFCNLema(a):
    count = op_count_PxpmPgHHJV(a)+op_count_xRrnTEsQ6j(160,a)+op_count_HJ9erzHUuu(op_PxpmPgHHJV(a),op_xRrnTEsQ6j(160,a))+op_count_QvoQhV0rrE(op_HJ9erzHUuu(op_PxpmPgHHJV(a),op_xRrnTEsQ6j(160,a)),18)
    return count


a∈⊗⋈ = { (a⊇≀≁) , if (a⩉⊫⨁)>151 ; (161⨧↗⨷a) , else }

def op_XhLlYBPNVm(a):
    if op_7qqUquhhSb(a) > 151:
        return op_AfoL3wC8aT(a)
    else:
        return op_WSbXXWOizJ(161,a)

def op_count_XhLlYBPNVm(a):
    if op_7qqUquhhSb(a) > 151:
        count = op_count_AfoL3wC8aT(a)+op_count_7qqUquhhSb(a)
    else:
        count = op_count_WSbXXWOizJ(161,a)
    return count


⨰⪧⋫a = { a , if a>171 ; ((⩣⪁(a≚⊃≕a))⫇⋯((180⩍⋽⫝̸a)⨓↿∉(≦a))) , else }

def op_4O6J1gTF1j(a):
    if a > 171:
        return a
    else:
        return op_xoJmIySC7h(op_W2rMsuCzF8(op_Bmrmz2XGnR(a,a)),op_OWnFPqjWlR(op_BiWNJpBvwn(180,a),op_RPa3726CSl(a)))

def op_count_4O6J1gTF1j(a):
    if a > 171:
        count = 1
    else:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_W2rMsuCzF8(op_Bmrmz2XGnR(a,a))+op_count_BiWNJpBvwn(180,a)+op_count_RPa3726CSl(a)+op_count_OWnFPqjWlR(op_BiWNJpBvwn(180,a),op_RPa3726CSl(a))+op_count_xoJmIySC7h(op_W2rMsuCzF8(op_Bmrmz2XGnR(a,a)),op_OWnFPqjWlR(op_BiWNJpBvwn(180,a),op_RPa3726CSl(a)))
    return count


def op_4j7MdOEvYM(a, b):
    if (op_Pkwamo1tM2(a,522) <= 983 or op_UeUK5QjOtW(b) != 170 or op_2Wsdkap16l(b,702) > 0):
        return op_1h0rLqGiFr(op_0JWJYFSzIQ(b,b))
    else:
        return op_Sq3AGanRSD(op_0kmYd0q39Y(b,a),op_VCG3UHNzLR(a,a))

def op_count_4j7MdOEvYM(a, b):
    if (op_Pkwamo1tM2(a,522) <= 983 or op_UeUK5QjOtW(b) != 170 or op_2Wsdkap16l(b,702) > 0):
        count = op_count_0JWJYFSzIQ(b,b)+op_count_1h0rLqGiFr(op_0JWJYFSzIQ(b,b))+op_count_Pkwamo1tM2(a,522)+op_count_UeUK5QjOtW(b)+op_count_2Wsdkap16l(b,702)
    else:
        count = op_count_0kmYd0q39Y(b,a)+op_count_VCG3UHNzLR(a,a)+op_count_Sq3AGanRSD(op_0kmYd0q39Y(b,a),op_VCG3UHNzLR(a,a))
    return count


def op_htsSHb9NOj(a, b):
    return op_59igzFyhWz(op_3EYGwJThht(op_Noe24qw2ks(a,b),223))

def op_count_htsSHb9NOj(a, b):
    count = op_count_Noe24qw2ks(a,b)+op_count_3EYGwJThht(op_Noe24qw2ks(a,b),223)+op_count_59igzFyhWz(op_3EYGwJThht(op_Noe24qw2ks(a,b),223))
    return count


⪙→a = { ((a⊔%a)⊉≛↸(a⋛∩⫮)) , if (↪⨀a)!=403 ; ((a⩹a)↫) , else }

def op_d4WUS4uD2S(a):
    if op_t0cKpDWDXO(a) != 403:
        return op_DZ8iAZOCBD(op_uysxUYN2L2(a,a),op_QDWDTvZtyM(a))
    else:
        return op_uPb5QRN0te(op_2Wsdkap16l(a,a))

def op_count_d4WUS4uD2S(a):
    if op_t0cKpDWDXO(a) != 403:
        count = op_count_uysxUYN2L2(a,a)+op_count_QDWDTvZtyM(a)+op_count_DZ8iAZOCBD(op_uysxUYN2L2(a,a),op_QDWDTvZtyM(a))+op_count_t0cKpDWDXO(a)
    else:
        count = op_count_2Wsdkap16l(a,a)+op_count_uPb5QRN0te(op_2Wsdkap16l(a,a))
    return count


≐⨻a = { ((a⫇⋯a)⊲⩕⊾(⩷a)) , if a<160 ; ((a⊲⩕⊾7)⫗⊒⇾(a⫗⊒⇾a)) , else }

def op_hjy4huFOSK(a):
    if a < 160:
        return op_DmTXOeWf9t(op_xoJmIySC7h(a,a),op_1h0rLqGiFr(a))
    else:
        return op_hiBDRd40bf(op_DmTXOeWf9t(a,7),op_hiBDRd40bf(a,a))

def op_count_hjy4huFOSK(a):
    if a < 160:
        count = op_count_xoJmIySC7h(a,a)+op_count_1h0rLqGiFr(a)+op_count_DmTXOeWf9t(op_xoJmIySC7h(a,a),op_1h0rLqGiFr(a))
    else:
        count = op_count_DmTXOeWf9t(a,7)+op_count_hiBDRd40bf(a,a)+op_count_hiBDRd40bf(op_DmTXOeWf9t(a,7),op_hiBDRd40bf(a,a))
    return count


a⊒⊉⇡b = { (b∇⊂⋱a) , if (⊤⊝b)<8 ; (318⫡⨏113) , else }

def op_cu7YvshKwT(a, b):
    if op_rXAclfmB4M(b) < 8:
        return op_nhYeJWJD5X(b,a)
    else:
        return op_QMFrweE19q(318,113)

def op_count_cu7YvshKwT(a, b):
    if op_rXAclfmB4M(b) < 8:
        count = op_count_nhYeJWJD5X(b,a)+op_count_rXAclfmB4M(b)
    else:
        count = op_count_QMFrweE19q(318,113)
    return count


a≵≖⊪ = { ((↪⨀(a⊔%a))⩼⇪↪a) , if (a⋷293)<=1 ; (a⨜⨶((a∌↝32)⫇⋯(a⊇≀≁))) , else }

def op_wdE3qrtzME(a):
    if op_23Mk6UjR3U(a,293) <= 1:
        return op_ocnLzx9CaJ(op_t0cKpDWDXO(op_uysxUYN2L2(a,a)),a)
    else:
        return op_HiPekx5b7W(a,op_xoJmIySC7h(op_9Isq31Ruls(a,32),op_AfoL3wC8aT(a)))

def op_count_wdE3qrtzME(a):
    if op_23Mk6UjR3U(a,293) <= 1:
        count = op_count_uysxUYN2L2(a,a)+op_count_t0cKpDWDXO(op_uysxUYN2L2(a,a))+op_count_ocnLzx9CaJ(op_t0cKpDWDXO(op_uysxUYN2L2(a,a)),a)+op_count_23Mk6UjR3U(a,293)
    else:
        count = op_count_9Isq31Ruls(a,32)+op_count_AfoL3wC8aT(a)+op_count_xoJmIySC7h(op_9Isq31Ruls(a,32),op_AfoL3wC8aT(a))+op_count_HiPekx5b7W(a,op_xoJmIySC7h(op_9Isq31Ruls(a,32),op_AfoL3wC8aT(a)))
    return count


⩖⇴a = { ((a⨻⪊⨷a)⋅∹⩇) , if (a∲⫑107)<31 ; ((≦a)⨧↗⨷a) , else }

def op_Iv2k68PMY7(a):
    if op_NrdPCfJQiM(a,107) < 31:
        return op_Tmr9JGNMVH(op_Pkwamo1tM2(a,a))
    else:
        return op_WSbXXWOizJ(op_RPa3726CSl(a),a)

def op_count_Iv2k68PMY7(a):
    if op_NrdPCfJQiM(a,107) < 31:
        count = op_count_Pkwamo1tM2(a,a)+op_count_Tmr9JGNMVH(op_Pkwamo1tM2(a,a))+op_count_NrdPCfJQiM(a,107)
    else:
        count = op_count_RPa3726CSl(a)+op_count_WSbXXWOizJ(op_RPa3726CSl(a),a)
    return count


def op_Q5Mm7iZRb7(a):
    return op_WObL9SsYVE(op_kbkesczE7y(op_UoVew8f2p2(a,a),op_Bmrmz2XGnR(215,a)),op_OwUj7dcsQK(op_MKzNxCV7Yo(473)))

def op_count_Q5Mm7iZRb7(a):
    count = op_count_UoVew8f2p2(a,a)+op_count_Bmrmz2XGnR(215,a)+op_count_kbkesczE7y(op_UoVew8f2p2(a,a),op_Bmrmz2XGnR(215,a))+op_count_MKzNxCV7Yo(473)+op_count_OwUj7dcsQK(op_MKzNxCV7Yo(473))+op_count_WObL9SsYVE(op_kbkesczE7y(op_UoVew8f2p2(a,a),op_Bmrmz2XGnR(215,a)),op_OwUj7dcsQK(op_MKzNxCV7Yo(473)))
    return count


def op_kIWj6knPC7(a, b):
    return op_AfoL3wC8aT(op_ocnLzx9CaJ(op_WObL9SsYVE(b,134),op_0JWJYFSzIQ(b,a)))

def op_count_kIWj6knPC7(a, b):
    count = op_count_WObL9SsYVE(b,134)+op_count_0JWJYFSzIQ(b,a)+op_count_ocnLzx9CaJ(op_WObL9SsYVE(b,134),op_0JWJYFSzIQ(b,a))+op_count_AfoL3wC8aT(op_ocnLzx9CaJ(op_WObL9SsYVE(b,134),op_0JWJYFSzIQ(b,a)))
    return count


a⪒⩉b = { ((⫭≬(↓⇌b))∷(⊲⪭(b⋐≟⩺a))) , if (a⨲⇖⇮)<901 ; (((522≜)⊲⩕⊾(b⫀))⪒a) , else }

def op_JZ6LT1lUci(a, b):
    if op_oj4YnGA3cE(a) < 901:
        return op_D3AQDKkPcf(op_S7Dkc5Re0B(op_PxpmPgHHJV(b)),op_k7HXdKtiEU(op_PjbVkMzmXE(b,a)))
    else:
        return op_f6k1SAg4EE(op_DmTXOeWf9t(op_jvbZP6NeOL(522),op_hFnZRMLNSM(b)),a)

def op_count_JZ6LT1lUci(a, b):
    if op_oj4YnGA3cE(a) < 901:
        count = op_count_PxpmPgHHJV(b)+op_count_S7Dkc5Re0B(op_PxpmPgHHJV(b))+op_count_PjbVkMzmXE(b,a)+op_count_k7HXdKtiEU(op_PjbVkMzmXE(b,a))+op_count_D3AQDKkPcf(op_S7Dkc5Re0B(op_PxpmPgHHJV(b)),op_k7HXdKtiEU(op_PjbVkMzmXE(b,a)))+op_count_oj4YnGA3cE(a)
    else:
        count = op_count_jvbZP6NeOL(522)+op_count_hFnZRMLNSM(b)+op_count_DmTXOeWf9t(op_jvbZP6NeOL(522),op_hFnZRMLNSM(b))+op_count_f6k1SAg4EE(op_DmTXOeWf9t(op_jvbZP6NeOL(522),op_hFnZRMLNSM(b)),a)
    return count


∐⩘⇑a = { ((a↢a)⫋) , if (a⪣⫩)>=942 ; ((a⊢a)⨻⪊⨷(a⪿⇪⊩a)) , else }

def op_BC9hLh6unS(a):
    if op_iuk5sVOGFA(a) >= 942:
        return op_mhIhit33mg(op_WR6HLWljOP(a,a))
    else:
        return op_Pkwamo1tM2(op_5twsqlHp2o(a,a),op_OGWBzMv138(a,a))

def op_count_BC9hLh6unS(a):
    if op_iuk5sVOGFA(a) >= 942:
        count = op_count_WR6HLWljOP(a,a)+op_count_mhIhit33mg(op_WR6HLWljOP(a,a))+op_count_iuk5sVOGFA(a)
    else:
        count = op_count_5twsqlHp2o(a,a)+op_count_OGWBzMv138(a,a)+op_count_Pkwamo1tM2(op_5twsqlHp2o(a,a),op_OGWBzMv138(a,a))
    return count


def op_lBJ7sFuA67(a, b):
    return op_k2B77S3vSv(op_3Oe9XWJUTD(op_3sJ7IOPOlU(a,231),op_DmTXOeWf9t(a,b)))

def op_count_lBJ7sFuA67(a, b):
    count = op_count_3sJ7IOPOlU(a,231)+op_count_DmTXOeWf9t(a,b)+op_count_3Oe9XWJUTD(op_3sJ7IOPOlU(a,231),op_DmTXOeWf9t(a,b))+op_count_k2B77S3vSv(op_3Oe9XWJUTD(op_3sJ7IOPOlU(a,231),op_DmTXOeWf9t(a,b)))
    return count


≯⪣≣a = { (((106≽↲≰187)≧⊼(a⩢≭))⫊⇚⊺((a⩼⇪↪a)⪢⋭)) , if a>383 ; (((a⩷∴a)-(∥⊫a))⫸⇳((a⫚↹⊑a)⨻⪊⨷(a≝⊿a))) , else }

def op_T8Wv9537Am(a):
    if a > 383:
        return op_Y5cEcQhyKu(op_JoLB3LXqXx(op_cFVlceoRkX(106,187),op_rv8OxMkTSD(a)),op_csT5a4elgc(op_ocnLzx9CaJ(a,a)))
    else:
        return op_gx7XJ7hdpj(op_rysDP5nf3Z(op_9FxExcQeMw(a,a),op_P8v4zCKN1o(a)),op_Pkwamo1tM2(op_dfKe02y8D2(a,a),op_OKKcZfAt5B(a,a)))

def op_count_T8Wv9537Am(a):
    if a > 383:
        count = op_count_cFVlceoRkX(106,187)+op_count_rv8OxMkTSD(a)+op_count_JoLB3LXqXx(op_cFVlceoRkX(106,187),op_rv8OxMkTSD(a))+op_count_ocnLzx9CaJ(a,a)+op_count_csT5a4elgc(op_ocnLzx9CaJ(a,a))+op_count_Y5cEcQhyKu(op_JoLB3LXqXx(op_cFVlceoRkX(106,187),op_rv8OxMkTSD(a)),op_csT5a4elgc(op_ocnLzx9CaJ(a,a)))
    else:
        count = op_count_9FxExcQeMw(a,a)+op_count_P8v4zCKN1o(a)+op_count_rysDP5nf3Z(op_9FxExcQeMw(a,a),op_P8v4zCKN1o(a))+op_count_dfKe02y8D2(a,a)+op_count_OKKcZfAt5B(a,a)+op_count_Pkwamo1tM2(op_dfKe02y8D2(a,a),op_OKKcZfAt5B(a,a))+op_count_gx7XJ7hdpj(op_rysDP5nf3Z(op_9FxExcQeMw(a,a),op_P8v4zCKN1o(a)),op_Pkwamo1tM2(op_dfKe02y8D2(a,a),op_OKKcZfAt5B(a,a)))
    return count


def op_NkfVXkFf4E(a):
    return op_dwb5p0fa6d(op_G8pG1QxO6Y(a))

def op_count_NkfVXkFf4E(a):
    count = op_count_G8pG1QxO6Y(a)+op_count_dwb5p0fa6d(op_G8pG1QxO6Y(a))
    return count


def op_pavvSNatVt(a):
    return op_UggxBX659n(op_Y9dhGmbGii(op_eewbuw0ToL(a,506)),a)

def op_count_pavvSNatVt(a):
    count = op_count_eewbuw0ToL(a,506)+op_count_Y9dhGmbGii(op_eewbuw0ToL(a,506))+op_count_UggxBX659n(op_Y9dhGmbGii(op_eewbuw0ToL(a,506)),a)
    return count


def op_0L4PkeN6iY(a):
    return op_9FxExcQeMw(a,op_Ikt5ks8PT7(150,a))

def op_count_0L4PkeN6iY(a):
    count = op_count_Ikt5ks8PT7(150,a)+op_count_9FxExcQeMw(a,op_Ikt5ks8PT7(150,a))
    return count


def op_fnDOYsdde8(a):
    if a > 322:
        return op_2ufhKmSs5H(a)
    else:
        return op_2GS7woTJqF(84,a)

def op_count_fnDOYsdde8(a):
    if a > 322:
        count = op_count_2ufhKmSs5H(a)
    else:
        count = op_count_2GS7woTJqF(84,a)
    return count


⇔≌a = { (⫊≏⨉a) , if (⫭≬a)>=270 ; ((a∀⩎⋷a)⩾(a≽⪈↿a)) , else }

def op_mODGq9L4gu(a):
    if op_S7Dkc5Re0B(a) >= 270:
        return op_KED7KUUlGq(a)
    else:
        return op_UggxBX659n(op_FPxP5Y1j0W(a,a),op_inCIaGQf8u(a,a))

def op_count_mODGq9L4gu(a):
    if op_S7Dkc5Re0B(a) >= 270:
        count = op_count_KED7KUUlGq(a)+op_count_S7Dkc5Re0B(a)
    else:
        count = op_count_FPxP5Y1j0W(a,a)+op_count_inCIaGQf8u(a,a)+op_count_UggxBX659n(op_FPxP5Y1j0W(a,a),op_inCIaGQf8u(a,a))
    return count


a⊷⩑∠b = { (⨇⪄⫏(a⨝⩣∺)) , if (b∁)<=185 ; ((b⨵⪆a)⨔⇊(⩗⪄b)) , else }

def op_N59et42cbj(a, b):
    if op_jdwGQqwJi5(b) <= 185:
        return op_B4c4JXCTtZ(op_ancx8kZcWl(a))
    else:
        return op_JclMnS0uGI(op_2DQ55sFlQl(b,a),op_Y9dhGmbGii(b))

def op_count_N59et42cbj(a, b):
    if op_jdwGQqwJi5(b) <= 185:
        count = op_count_ancx8kZcWl(a)+op_count_B4c4JXCTtZ(op_ancx8kZcWl(a))+op_count_jdwGQqwJi5(b)
    else:
        count = op_count_2DQ55sFlQl(b,a)+op_count_Y9dhGmbGii(b)+op_count_JclMnS0uGI(op_2DQ55sFlQl(b,a),op_Y9dhGmbGii(b))
    return count


a⇨⇺∂ = { ((a≼a)⊬⫿⊭) , if a<=300 ; a , else }

def op_tnOISPig27(a):
    if a <= 300:
        return op_v0DYgG9ikt(op_SPuZE40Ntn(a,a))
    else:
        return a

def op_count_tnOISPig27(a):
    if a <= 300:
        count = op_count_SPuZE40Ntn(a,a)+op_count_v0DYgG9ikt(op_SPuZE40Ntn(a,a))
    else:
        count = 1
    return count


a⨔ = { ((a⇼⇔∾314)⇩) , if a>=330 ; ((a⇛a)⋂⩴(a⋟⫀⨗a)) , else }

def op_t05CuqIFKZ(a):
    if a >= 330:
        return op_vRio1gEz1j(op_tifHPKVTfV(a,314))
    else:
        return op_hmlrMsD2PO(op_S3tN1ZzpSt(a,a),op_dAAkup5nzi(a,a))

def op_count_t05CuqIFKZ(a):
    if a >= 330:
        count = op_count_tifHPKVTfV(a,314)+op_count_vRio1gEz1j(op_tifHPKVTfV(a,314))
    else:
        count = op_count_S3tN1ZzpSt(a,a)+op_count_dAAkup5nzi(a,a)+op_count_hmlrMsD2PO(op_S3tN1ZzpSt(a,a),op_dAAkup5nzi(a,a))
    return count


a⪸⨽ = { (((⨂⪏⇭a)⊢)≽↲≰((a+⪬∐a)∆⨵⋿)) , if a>6 ; ((⫂(a⋐≟⩺a))↢a) , else }

def op_lwhX1Zn2tb(a):
    if a > 6:
        return op_cFVlceoRkX(op_40aOVDgCDB(op_AYdpE9sXAk(a)),op_7CBskBkoKY(op_2GS7woTJqF(a,a)))
    else:
        return op_WR6HLWljOP(op_U9HvHqtOoq(op_PjbVkMzmXE(a,a)),a)

def op_count_lwhX1Zn2tb(a):
    if a > 6:
        count = op_count_AYdpE9sXAk(a)+op_count_40aOVDgCDB(op_AYdpE9sXAk(a))+op_count_2GS7woTJqF(a,a)+op_count_7CBskBkoKY(op_2GS7woTJqF(a,a))+op_count_cFVlceoRkX(op_40aOVDgCDB(op_AYdpE9sXAk(a)),op_7CBskBkoKY(op_2GS7woTJqF(a,a)))
    else:
        count = op_count_PjbVkMzmXE(a,a)+op_count_U9HvHqtOoq(op_PjbVkMzmXE(a,a))+op_count_WR6HLWljOP(op_U9HvHqtOoq(op_PjbVkMzmXE(a,a)),a)
    return count


a⨒⪀b = { (⊀⇵(≯a)) , if a==442 ; ((⊿a)→⨶⪴(a⊒b)) , else }

def op_6UwzacJ3Gx(a, b):
    if a == 442:
        return op_B3tNObfNaL(op_keWfFq85dY(a))
    else:
        return op_bF6eod5Gvf(op_DO4fhlbJSI(a),op_rPNtK4BLRO(a,b))

def op_count_6UwzacJ3Gx(a, b):
    if a == 442:
        count = op_count_keWfFq85dY(a)+op_count_B3tNObfNaL(op_keWfFq85dY(a))
    else:
        count = op_count_DO4fhlbJSI(a)+op_count_rPNtK4BLRO(a,b)+op_count_bF6eod5Gvf(op_DO4fhlbJSI(a),op_rPNtK4BLRO(a,b))
    return count


def op_lyNoyZbgQh(a, b):
    return op_E4l6HwMY31(op_BX1lVwlMe0(a),op_4kvgVkQeiQ(b))

def op_count_lyNoyZbgQh(a, b):
    count = op_count_BX1lVwlMe0(a)+op_count_4kvgVkQeiQ(b)+op_count_E4l6HwMY31(op_BX1lVwlMe0(a),op_4kvgVkQeiQ(b))
    return count


a⫥↲ = { (a⇊⊒⫧) , if a>=78 ; (340∊⊞≈a) , else }

def op_lAQX055Tbp(a):
    if a >= 78:
        return op_eIba4BG3xN(a)
    else:
        return op_keuJNkrrbj(340,a)

def op_count_lAQX055Tbp(a):
    if a >= 78:
        count = op_count_eIba4BG3xN(a)
    else:
        count = op_count_keuJNkrrbj(340,a)
    return count


def op_rs7mXfeuA0(a, b):
    if (op_v0DYgG9ikt(a) >= 295 and b > 801):
        return op_SPuZE40Ntn(b,b)
    else:
        return op_Sq3AGanRSD(147,133)

def op_count_rs7mXfeuA0(a, b):
    if (op_v0DYgG9ikt(a) >= 295 and b > 801):
        count = op_count_SPuZE40Ntn(b,b)+op_count_v0DYgG9ikt(a)
    else:
        count = op_count_Sq3AGanRSD(147,133)
    return count


def op_vjAZhCvnmo(a, b):
    return op_nCS4ZIUYfx(op_nCS4ZIUYfx(b,b),op_y2kQTS4a70(a,a))

def op_count_vjAZhCvnmo(a, b):
    count = op_count_nCS4ZIUYfx(b,b)+op_count_y2kQTS4a70(a,a)+op_count_nCS4ZIUYfx(op_nCS4ZIUYfx(b,b),op_y2kQTS4a70(a,a))
    return count


def op_b7O20anorb(a):
    return op_cFVlceoRkX(op_hmlrMsD2PO(a,a),op_iz8sE888QL(a))

def op_count_b7O20anorb(a):
    count = op_count_hmlrMsD2PO(a,a)+op_count_iz8sE888QL(a)+op_count_cFVlceoRkX(op_hmlrMsD2PO(a,a),op_iz8sE888QL(a))
    return count


def op_IHpSDSxKMI(a, b):
    return op_1aApVXNlOP(a,op_WSbXXWOizJ(op_DZ8iAZOCBD(b,a),op_UqUOXUQnbU(b,b)))

def op_count_IHpSDSxKMI(a, b):
    count = op_count_DZ8iAZOCBD(b,a)+op_count_UqUOXUQnbU(b,b)+op_count_WSbXXWOizJ(op_DZ8iAZOCBD(b,a),op_UqUOXUQnbU(b,b))+op_count_1aApVXNlOP(a,op_WSbXXWOizJ(op_DZ8iAZOCBD(b,a),op_UqUOXUQnbU(b,b)))
    return count


def op_EKdGsJ8kQP(a):
    return op_eRqsBgTDFp(op_TytFGXR7Zf(op_tnyRA5sazQ(a,a)),op_PxpmPgHHJV(a))

def op_count_EKdGsJ8kQP(a):
    count = op_count_tnyRA5sazQ(a,a)+op_count_TytFGXR7Zf(op_tnyRA5sazQ(a,a))+op_count_PxpmPgHHJV(a)+op_count_eRqsBgTDFp(op_TytFGXR7Zf(op_tnyRA5sazQ(a,a)),op_PxpmPgHHJV(a))
    return count


def op_4URiF6VPJ5(a):
    return op_S3tN1ZzpSt(a,a)

def op_count_4URiF6VPJ5(a):
    count = op_count_S3tN1ZzpSt(a,a)
    return count


def op_VOZztCDuXB(a):
    return op_jfYOP67v6Y(op_zFNL8mZEFB(op_9bazX3JMtO(a,a),op_y2kQTS4a70(a,a)))

def op_count_VOZztCDuXB(a):
    count = op_count_9bazX3JMtO(a,a)+op_count_y2kQTS4a70(a,a)+op_count_zFNL8mZEFB(op_9bazX3JMtO(a,a),op_y2kQTS4a70(a,a))+op_count_jfYOP67v6Y(op_zFNL8mZEFB(op_9bazX3JMtO(a,a),op_y2kQTS4a70(a,a)))
    return count


def op_6dy8BCxVp7(a, b):
    return op_4JGOJzXMq1(op_QMFrweE19q(a,b),op_Qaz2MhZaG5(6,83))

def op_count_6dy8BCxVp7(a, b):
    count = op_count_QMFrweE19q(a,b)+op_count_Qaz2MhZaG5(6,83)+op_count_4JGOJzXMq1(op_QMFrweE19q(a,b),op_Qaz2MhZaG5(6,83))
    return count


a⨉⩜⊁b = { ((b⪯⫾⋍b)⇑∁⪛) , if a==99 ; ((a⪱⇝a)∲⫑(a∼⇢181)) , else }

def op_F5AHWXXekn(a, b):
    if a == 99:
        return op_P75hhshrwX(op_S5ZFQS4GK3(b,b))
    else:
        return op_NrdPCfJQiM(op_OTRTVPweYV(a,a),op_Cr5xnr8B4B(a,181))

def op_count_F5AHWXXekn(a, b):
    if a == 99:
        count = op_count_S5ZFQS4GK3(b,b)+op_count_P75hhshrwX(op_S5ZFQS4GK3(b,b))
    else:
        count = op_count_OTRTVPweYV(a,a)+op_count_Cr5xnr8B4B(a,181)+op_count_NrdPCfJQiM(op_OTRTVPweYV(a,a),op_Cr5xnr8B4B(a,181))
    return count


a⇞⇙≦b = { ((⫟a)⨑(a⨜⨶1)) , if a<=118 ; ((a⊚⫡⫭)⫃⨇(b∝49)) , else }

def op_jnRoE1qoPO(a, b):
    if a <= 118:
        return op_IxJHfR5psi(op_z4E1FaHLuy(a),op_HiPekx5b7W(a,1))
    else:
        return op_09Ly4LVMIf(op_SpZWOsLKZJ(a),op_cTDWOvIxvz(b,49))

def op_count_jnRoE1qoPO(a, b):
    if a <= 118:
        count = op_count_z4E1FaHLuy(a)+op_count_HiPekx5b7W(a,1)+op_count_IxJHfR5psi(op_z4E1FaHLuy(a),op_HiPekx5b7W(a,1))
    else:
        count = op_count_SpZWOsLKZJ(a)+op_count_cTDWOvIxvz(b,49)+op_count_09Ly4LVMIf(op_SpZWOsLKZJ(a),op_cTDWOvIxvz(b,49))
    return count


a↢⋥⊛b = { (((a⇢b)↪∷(a⇤b))⨻⪊⨷((b⇄a)⫊⇚⊺(a⪐-b))) , if b!=67 ; (⇖(130⨻⪊⨷(a⪍))) , else }

def op_6pONsy2XwS(a, b):
    if b != 67:
        return op_Pkwamo1tM2(op_Api82iH42a(op_GMN7JP6WpN(a,b),op_YSKBFp38Pu(a,b)),op_Y5cEcQhyKu(op_3EYGwJThht(b,a),op_d8xe6WWVfM(a,b)))
    else:
        return op_tfWHHpNKUN(op_Pkwamo1tM2(130,op_SHWCOp9I4E(a)))

def op_count_6pONsy2XwS(a, b):
    if b != 67:
        count = op_count_GMN7JP6WpN(a,b)+op_count_YSKBFp38Pu(a,b)+op_count_Api82iH42a(op_GMN7JP6WpN(a,b),op_YSKBFp38Pu(a,b))+op_count_3EYGwJThht(b,a)+op_count_d8xe6WWVfM(a,b)+op_count_Y5cEcQhyKu(op_3EYGwJThht(b,a),op_d8xe6WWVfM(a,b))+op_count_Pkwamo1tM2(op_Api82iH42a(op_GMN7JP6WpN(a,b),op_YSKBFp38Pu(a,b)),op_Y5cEcQhyKu(op_3EYGwJThht(b,a),op_d8xe6WWVfM(a,b)))
    else:
        count = op_count_SHWCOp9I4E(a)+op_count_Pkwamo1tM2(130,op_SHWCOp9I4E(a))+op_count_tfWHHpNKUN(op_Pkwamo1tM2(130,op_SHWCOp9I4E(a)))
    return count


a⊹⪋⨙b = { ((a≐→⇾)⩘⋿(↞a)) , if b<228 ; (⪚⨷(b∩⋅)) , else }

def op_m2YiPKXZqU(a, b):
    if b < 228:
        return op_64EQ39e0fC(op_zV3pqYiQ5E(a),op_QKXs96F9fN(a))
    else:
        return op_6LuFrogppQ(op_2MzE1hQ0cz(b))

def op_count_m2YiPKXZqU(a, b):
    if b < 228:
        count = op_count_zV3pqYiQ5E(a)+op_count_QKXs96F9fN(a)+op_count_64EQ39e0fC(op_zV3pqYiQ5E(a),op_QKXs96F9fN(a))
    else:
        count = op_count_2MzE1hQ0cz(b)+op_count_6LuFrogppQ(op_2MzE1hQ0cz(b))
    return count


def op_SfuFsy6r8G(a):
    return op_S3tN1ZzpSt(156,a)

def op_count_SfuFsy6r8G(a):
    count = op_count_S3tN1ZzpSt(156,a)
    return count


def op_sLhbn9hqDI(a):
    return op_DpFCA1CohY(op_S3tN1ZzpSt(a,a))

def op_count_sLhbn9hqDI(a):
    count = op_count_S3tN1ZzpSt(a,a)+op_count_DpFCA1CohY(op_S3tN1ZzpSt(a,a))
    return count


a⪙⨣⫆b = { ((⫌⊑↬b)↨⪍≴(a⊢)) , if b<=387 ; ((b⋎53)≦≮≮) , else }

def op_wEBUqoxgu1(a, b):
    if b <= 387:
        return op_DX7B1fY6P6(op_h57jOAbG9W(b),op_40aOVDgCDB(a))
    else:
        return op_D4vGDi5EA2(op_qy3n0tapmE(b,53))

def op_count_wEBUqoxgu1(a, b):
    if b <= 387:
        count = op_count_h57jOAbG9W(b)+op_count_40aOVDgCDB(a)+op_count_DX7B1fY6P6(op_h57jOAbG9W(b),op_40aOVDgCDB(a))
    else:
        count = op_count_qy3n0tapmE(b,53)+op_count_D4vGDi5EA2(op_qy3n0tapmE(b,53))
    return count


a⋮≀b = { ((a⨓↿∉407)∁) , if b<361 ; (a⩣⊵⩗((⋾b)⩽⩡(7⇯⋐))) , else }

def op_VTngge07Jm(a, b):
    if b < 361:
        return op_jdwGQqwJi5(op_OWnFPqjWlR(a,407))
    else:
        return op_wsXFuL0hC6(a,op_zFNL8mZEFB(op_8TQKPGA8Ba(b),op_LkLIoiE525(7)))

def op_count_VTngge07Jm(a, b):
    if b < 361:
        count = op_count_OWnFPqjWlR(a,407)+op_count_jdwGQqwJi5(op_OWnFPqjWlR(a,407))
    else:
        count = op_count_8TQKPGA8Ba(b)+op_count_LkLIoiE525(7)+op_count_zFNL8mZEFB(op_8TQKPGA8Ba(b),op_LkLIoiE525(7))+op_count_wsXFuL0hC6(a,op_zFNL8mZEFB(op_8TQKPGA8Ba(b),op_LkLIoiE525(7)))
    return count


def op_i4zw98wL2m(a):
    return op_KYL1uVeVpb(op_U9HvHqtOoq(a),op_hrf7POJlIJ(a,a))

def op_count_i4zw98wL2m(a):
    count = op_count_U9HvHqtOoq(a)+op_count_hrf7POJlIJ(a,a)+op_count_KYL1uVeVpb(op_U9HvHqtOoq(a),op_hrf7POJlIJ(a,a))
    return count


def op_ovZcSHEfmM(a, b):
    return op_dfKe02y8D2(op_5RY6W0glyJ(b),op_2ufhKmSs5H(a))

def op_count_ovZcSHEfmM(a, b):
    count = op_count_5RY6W0glyJ(b)+op_count_2ufhKmSs5H(a)+op_count_dfKe02y8D2(op_5RY6W0glyJ(b),op_2ufhKmSs5H(a))
    return count


def op_Nmlly2IRyU(a):
    return op_COABgblf1C(op_Bmrmz2XGnR(a,a),op_PjbVkMzmXE(a,a))

def op_count_Nmlly2IRyU(a):
    count = op_count_Bmrmz2XGnR(a,a)+op_count_PjbVkMzmXE(a,a)+op_count_COABgblf1C(op_Bmrmz2XGnR(a,a),op_PjbVkMzmXE(a,a))
    return count


def op_Yf3elhOqYq(a):
    return op_oRDoc9rAEX(op_f6k1SAg4EE(a,a),op_W2rMsuCzF8(a))

def op_count_Yf3elhOqYq(a):
    count = op_count_f6k1SAg4EE(a,a)+op_count_W2rMsuCzF8(a)+op_count_oRDoc9rAEX(op_f6k1SAg4EE(a,a),op_W2rMsuCzF8(a))
    return count


a⊊⪟⫯ = { (⫳⪺∰a) , if a<679 ; (a↨⪍≴a) , else }

def op_8bWyVNEEvk(a):
    if a < 679:
        return op_eftAHwPbeA(a)
    else:
        return op_DX7B1fY6P6(a,a)

def op_count_8bWyVNEEvk(a):
    if a < 679:
        count = op_count_eftAHwPbeA(a)
    else:
        count = op_count_DX7B1fY6P6(a,a)
    return count


def op_JwF0D0CCIg(a):
    return op_S7Dkc5Re0B(op_d8xe6WWVfM(op_U9HvHqtOoq(a),op_PjbVkMzmXE(a,a)))

def op_count_JwF0D0CCIg(a):
    count = op_count_U9HvHqtOoq(a)+op_count_PjbVkMzmXE(a,a)+op_count_d8xe6WWVfM(op_U9HvHqtOoq(a),op_PjbVkMzmXE(a,a))+op_count_S7Dkc5Re0B(op_d8xe6WWVfM(op_U9HvHqtOoq(a),op_PjbVkMzmXE(a,a)))
    return count


a∿⫘∨b = { (((⨞⊢168)⋞(b⪁⨴⋨a))∼⇢((a≼b)⩆≶⊌)) , if (⪚⨷b)>=548 ; (((64⇪⋱)↺(b⪭↷⊩))⩧⪆b) , else }

def op_7ngZhTlZXV(a, b):
    if op_6LuFrogppQ(b) >= 548:
        return op_Cr5xnr8B4B(op_V4yb4KDoeF(op_xUOZtlo3hN(168),op_y2kQTS4a70(b,a)),op_PZaICrJanm(op_SPuZE40Ntn(a,b)))
    else:
        return op_Ikt5ks8PT7(op_7j4O788W3g(op_MKzNxCV7Yo(64),op_Oe8teynzfS(b)),b)

def op_count_7ngZhTlZXV(a, b):
    if op_6LuFrogppQ(b) >= 548:
        count = op_count_xUOZtlo3hN(168)+op_count_y2kQTS4a70(b,a)+op_count_V4yb4KDoeF(op_xUOZtlo3hN(168),op_y2kQTS4a70(b,a))+op_count_SPuZE40Ntn(a,b)+op_count_PZaICrJanm(op_SPuZE40Ntn(a,b))+op_count_Cr5xnr8B4B(op_V4yb4KDoeF(op_xUOZtlo3hN(168),op_y2kQTS4a70(b,a)),op_PZaICrJanm(op_SPuZE40Ntn(a,b)))+op_count_6LuFrogppQ(b)
    else:
        count = op_count_MKzNxCV7Yo(64)+op_count_Oe8teynzfS(b)+op_count_7j4O788W3g(op_MKzNxCV7Yo(64),op_Oe8teynzfS(b))+op_count_Ikt5ks8PT7(op_7j4O788W3g(op_MKzNxCV7Yo(64),op_Oe8teynzfS(b)),b)
    return count


def op_PfBB7jGsSd(a, b):
    return op_OWnFPqjWlR(a,op_keuJNkrrbj(op_nbuSfrB4hB(a,a),op_8n5YIzOsVS(b)))

def op_count_PfBB7jGsSd(a, b):
    count = op_count_nbuSfrB4hB(a,a)+op_count_8n5YIzOsVS(b)+op_count_keuJNkrrbj(op_nbuSfrB4hB(a,a),op_8n5YIzOsVS(b))+op_count_OWnFPqjWlR(a,op_keuJNkrrbj(op_nbuSfrB4hB(a,a),op_8n5YIzOsVS(b)))
    return count


def op_p5Sevsj9Rd(a):
    if op_3mBM5G4a3l(a) == 252 and op_g7Hmc5v1ko(a,687) < 49:
        return op_KROiRRz3d6(op_3mBM5G4a3l(a),op_neKQRQQIil(503,a))
    else:
        return a

def op_count_p5Sevsj9Rd(a):
    if op_3mBM5G4a3l(a) == 252 and op_g7Hmc5v1ko(a,687) < 49:
        count = op_count_3mBM5G4a3l(a)+op_count_neKQRQQIil(503,a)+op_count_KROiRRz3d6(op_3mBM5G4a3l(a),op_neKQRQQIil(503,a))+op_count_3mBM5G4a3l(a)+op_count_g7Hmc5v1ko(a,687)
    else:
        count = 1
    return count


⩙⨯a = { ((a∮⨁)∺≝⩲(⨂⪏⇭461)) , if (a↫)>=370 ; ((a⇼⇔∾a)⨜⨶(a⋰⇉∕a)) , else }

def op_bhuQAnppq0(a):
    if op_uPb5QRN0te(a) >= 370:
        return op_KPf6cnQVty(op_TytFGXR7Zf(a),op_AYdpE9sXAk(461))
    else:
        return op_HiPekx5b7W(op_tifHPKVTfV(a,a),op_sM9mzqIDB1(a,a))

def op_count_bhuQAnppq0(a):
    if op_uPb5QRN0te(a) >= 370:
        count = op_count_TytFGXR7Zf(a)+op_count_AYdpE9sXAk(461)+op_count_KPf6cnQVty(op_TytFGXR7Zf(a),op_AYdpE9sXAk(461))+op_count_uPb5QRN0te(a)
    else:
        count = op_count_tifHPKVTfV(a,a)+op_count_sM9mzqIDB1(a,a)+op_count_HiPekx5b7W(op_tifHPKVTfV(a,a),op_sM9mzqIDB1(a,a))
    return count


a↶⋐ = { (((a≽↲≰a)⊉↱≁(a↹⊜a))∇⊂⋱(⨞⊢(a⩤∜↚a))) }

def op_8gunywYc09(a):
    return op_nhYeJWJD5X(op_w2P8NbNXyL(op_cFVlceoRkX(a,a),op_9bazX3JMtO(a,a)),op_xUOZtlo3hN(op_KROiRRz3d6(a,a)))

def op_count_8gunywYc09(a):
    count = op_count_cFVlceoRkX(a,a)+op_count_9bazX3JMtO(a,a)+op_count_w2P8NbNXyL(op_cFVlceoRkX(a,a),op_9bazX3JMtO(a,a))+op_count_KROiRRz3d6(a,a)+op_count_xUOZtlo3hN(op_KROiRRz3d6(a,a))+op_count_nhYeJWJD5X(op_w2P8NbNXyL(op_cFVlceoRkX(a,a),op_9bazX3JMtO(a,a)),op_xUOZtlo3hN(op_KROiRRz3d6(a,a)))
    return count


⨜⪪⨡a = { ((a⪐-a)⪕(a∘a)) , if (a⨴143)>324 ; (a⨧↗⨷(a⋝⋈⪟a)) , else }

def op_1P5EUR2X7u(a):
    if op_jBC4ymW3D7(a,143) > 324:
        return op_umQnsF7QlU(op_d8xe6WWVfM(a,a),op_Z5m6OM72h2(a,a))
    else:
        return op_WSbXXWOizJ(a,op_2DDjHMKMc0(a,a))

def op_count_1P5EUR2X7u(a):
    if op_jBC4ymW3D7(a,143) > 324:
        count = op_count_d8xe6WWVfM(a,a)+op_count_Z5m6OM72h2(a,a)+op_count_umQnsF7QlU(op_d8xe6WWVfM(a,a),op_Z5m6OM72h2(a,a))+op_count_jBC4ymW3D7(a,143)
    else:
        count = op_count_2DDjHMKMc0(a,a)+op_count_WSbXXWOizJ(a,op_2DDjHMKMc0(a,a))
    return count


def op_j3nQN5fFUl(a):
    return op_y4ImoPnbV5(a,a)

def op_count_j3nQN5fFUl(a):
    count = op_count_y4ImoPnbV5(a,a)
    return count


a⊓b = { ((⪭≋⋼a)⩼⇪↪(⊙⨙⩍b)) , if (∷≠a)<118 ; ((650≣15)⋳⪒(b+⪬∐a)) , else }

def op_ExT1EayJM6(a, b):
    if op_QiR2Oyf5Xj(a) < 118:
        return op_ocnLzx9CaJ(op_EZ6cjipfBz(a),op_ocpzidtxKt(b))
    else:
        return op_12rbrZMWeM(op_ObEyaaML9x(650,15),op_2GS7woTJqF(b,a))

def op_count_ExT1EayJM6(a, b):
    if op_QiR2Oyf5Xj(a) < 118:
        count = op_count_EZ6cjipfBz(a)+op_count_ocpzidtxKt(b)+op_count_ocnLzx9CaJ(op_EZ6cjipfBz(a),op_ocpzidtxKt(b))+op_count_QiR2Oyf5Xj(a)
    else:
        count = op_count_ObEyaaML9x(650,15)+op_count_2GS7woTJqF(b,a)+op_count_12rbrZMWeM(op_ObEyaaML9x(650,15),op_2GS7woTJqF(b,a))
    return count


def op_wTbdp8pxvm(a):
    return op_u7fv1HBiaC(op_d7ASUq0ydm(op_kuIXHzHcAH(a,a),op_H9jWZL1q0V(848)))

def op_count_wTbdp8pxvm(a):
    count = op_count_kuIXHzHcAH(a,a)+op_count_H9jWZL1q0V(848)+op_count_d7ASUq0ydm(op_kuIXHzHcAH(a,a),op_H9jWZL1q0V(848))+op_count_u7fv1HBiaC(op_d7ASUq0ydm(op_kuIXHzHcAH(a,a),op_H9jWZL1q0V(848)))
    return count


def op_R4D35fCfI0(a):
    if op_3sJ7IOPOlU(a,759) < 342:
        return a
    else:
        return op_W4YGzv6Whe(op_18saOjeKKm(op_qWUSsah53b(a)),op_JgXZM7XvWE(op_g55IO6H4Gj(a,a),op_fG6uBQFnGz(43)))

def op_count_R4D35fCfI0(a):
    if op_3sJ7IOPOlU(a,759) < 342:
        count = 1
    else:
        count = op_count_qWUSsah53b(a)+op_count_18saOjeKKm(op_qWUSsah53b(a))+op_count_g55IO6H4Gj(a,a)+op_count_fG6uBQFnGz(43)+op_count_JgXZM7XvWE(op_g55IO6H4Gj(a,a),op_fG6uBQFnGz(43))+op_count_W4YGzv6Whe(op_18saOjeKKm(op_qWUSsah53b(a)),op_JgXZM7XvWE(op_g55IO6H4Gj(a,a),op_fG6uBQFnGz(43)))
    return count


a∾−b = { (⊠(a⪚⨁⋖169)) , if (⩯≢≕b)<=58 and (⫡⇟⇯a)==77 ; ((a⨁⊸⫻)↼⊘⨖a) , else }

def op_V0u2OkZBsS(a, b):
    if op_840vADziXz(b) <= 58 and op_qWUSsah53b(a) == 77:
        return op_R3vAdrE3IH(op_xSk1F0pZbF(a,169))
    else:
        return op_bPywburJMS(op_glklzrTFfD(a),a)

def op_count_V0u2OkZBsS(a, b):
    if op_840vADziXz(b) <= 58 and op_qWUSsah53b(a) == 77:
        count = op_count_xSk1F0pZbF(a,169)+op_count_R3vAdrE3IH(op_xSk1F0pZbF(a,169))+op_count_840vADziXz(b)+op_count_qWUSsah53b(a)
    else:
        count = op_count_glklzrTFfD(a)+op_count_bPywburJMS(op_glklzrTFfD(a),a)
    return count


def op_cqlfqPYv00(a, b):
    if op_Y5cEcQhyKu(a,755) != 7:
        return op_xSk1F0pZbF(op_23Mk6UjR3U(b,129),op_2td37pGCOC(a))
    else:
        return op_z4E1FaHLuy(op_tnyRA5sazQ(287,b))

def op_count_cqlfqPYv00(a, b):
    if op_Y5cEcQhyKu(a,755) != 7:
        count = op_count_23Mk6UjR3U(b,129)+op_count_2td37pGCOC(a)+op_count_xSk1F0pZbF(op_23Mk6UjR3U(b,129),op_2td37pGCOC(a))+op_count_Y5cEcQhyKu(a,755)
    else:
        count = op_count_tnyRA5sazQ(287,b)+op_count_z4E1FaHLuy(op_tnyRA5sazQ(287,b))
    return count


def op_xdPrHzyJaz(a):
    return op_BAIXFdYaz3(op_OKKcZfAt5B(op_Kn0TacbtGK(a),op_Wm7LHi3c8p(a)),op_tHMVLcQ9bH(op_OGWBzMv138(a,a)))

def op_count_xdPrHzyJaz(a):
    count = op_count_Kn0TacbtGK(a)+op_count_Wm7LHi3c8p(a)+op_count_OKKcZfAt5B(op_Kn0TacbtGK(a),op_Wm7LHi3c8p(a))+op_count_OGWBzMv138(a,a)+op_count_tHMVLcQ9bH(op_OGWBzMv138(a,a))+op_count_BAIXFdYaz3(op_OKKcZfAt5B(op_Kn0TacbtGK(a),op_Wm7LHi3c8p(a)),op_tHMVLcQ9bH(op_OGWBzMv138(a,a)))
    return count


def op_iSxGtpjIlD(a):
    return op_eewbuw0ToL(a,op_qxqspddX8k(317,a))

def op_count_iSxGtpjIlD(a):
    count = op_count_qxqspddX8k(317,a)+op_count_eewbuw0ToL(a,op_qxqspddX8k(317,a))
    return count


def op_ELhSUwggrT(a):
    return op_8w2t5hMYqp(op_bQ67fsrMVf(a))

def op_count_ELhSUwggrT(a):
    count = op_count_bQ67fsrMVf(a)+op_count_8w2t5hMYqp(op_bQ67fsrMVf(a))
    return count


⇣⇬⋏a = { ((a⪇≇⋚55)⊭(⋄a)) , if a==149 ; a , else }

def op_wlr7PVHTyN(a):
    if a == 149:
        return op_4JGOJzXMq1(op_3sJ7IOPOlU(a,55),op_k2B77S3vSv(a))
    else:
        return a

def op_count_wlr7PVHTyN(a):
    if a == 149:
        count = op_count_3sJ7IOPOlU(a,55)+op_count_k2B77S3vSv(a)+op_count_4JGOJzXMq1(op_3sJ7IOPOlU(a,55),op_k2B77S3vSv(a))
    else:
        count = 1
    return count


def op_orYc0BY6Nt(a):
    if a < 48:
        return op_3Oe9XWJUTD(op_oRDoc9rAEX(op_7j4O788W3g(a,a),op_mhIhit33mg(a)),op_D3AQDKkPcf(op_hrf7POJlIJ(a,a),op_ew17WAA8t6(a)))
    else:
        return op_JoLB3LXqXx(op_5twsqlHp2o(op_AFVx7xoS7T(a,749),op_EBcxylXtPf(a)),op_YC3tgrnOyr(op_NrdPCfJQiM(859,a),op_rysDP5nf3Z(80,44)))

def op_count_orYc0BY6Nt(a):
    if a < 48:
        count = op_count_7j4O788W3g(a,a)+op_count_mhIhit33mg(a)+op_count_oRDoc9rAEX(op_7j4O788W3g(a,a),op_mhIhit33mg(a))+op_count_hrf7POJlIJ(a,a)+op_count_ew17WAA8t6(a)+op_count_D3AQDKkPcf(op_hrf7POJlIJ(a,a),op_ew17WAA8t6(a))+op_count_3Oe9XWJUTD(op_oRDoc9rAEX(op_7j4O788W3g(a,a),op_mhIhit33mg(a)),op_D3AQDKkPcf(op_hrf7POJlIJ(a,a),op_ew17WAA8t6(a)))
    else:
        count = op_count_AFVx7xoS7T(a,749)+op_count_EBcxylXtPf(a)+op_count_5twsqlHp2o(op_AFVx7xoS7T(a,749),op_EBcxylXtPf(a))+op_count_NrdPCfJQiM(859,a)+op_count_rysDP5nf3Z(80,44)+op_count_YC3tgrnOyr(op_NrdPCfJQiM(859,a),op_rysDP5nf3Z(80,44))+op_count_JoLB3LXqXx(op_5twsqlHp2o(op_AFVx7xoS7T(a,749),op_EBcxylXtPf(a)),op_YC3tgrnOyr(op_NrdPCfJQiM(859,a),op_rysDP5nf3Z(80,44)))
    return count


a≰⨦⩤b = { ((⇗⪘∲(a⪠⩆⊳))∑b) , if b>=16 ; (⊖((b⊉↱≁a)⩉⊫⨁)) , else }

def op_uM9y8FJ4Pt(a, b):
    if b >= 16:
        return op_JFrVJKYFMX(op_j4geBLYVFK(op_JLbD19bQDL(a)),b)
    else:
        return op_U6pG0PXrV3(op_7qqUquhhSb(op_w2P8NbNXyL(b,a)))

def op_count_uM9y8FJ4Pt(a, b):
    if b >= 16:
        count = op_count_JLbD19bQDL(a)+op_count_j4geBLYVFK(op_JLbD19bQDL(a))+op_count_JFrVJKYFMX(op_j4geBLYVFK(op_JLbD19bQDL(a)),b)
    else:
        count = op_count_w2P8NbNXyL(b,a)+op_count_7qqUquhhSb(op_w2P8NbNXyL(b,a))+op_count_U6pG0PXrV3(op_7qqUquhhSb(op_w2P8NbNXyL(b,a)))
    return count


def op_0SB1kdz72a(a):
    return op_fOIeswaMU4(op_cwbF3JtlMN(op_L05ObWFQCd(a,a),a))

def op_count_0SB1kdz72a(a):
    count = op_count_L05ObWFQCd(a,a)+op_count_cwbF3JtlMN(op_L05ObWFQCd(a,a),a)+op_count_fOIeswaMU4(op_cwbF3JtlMN(op_L05ObWFQCd(a,a),a))
    return count


a≅⪍∭b = { (((b⊭↱b)⇌⫙⪟(167⨩≤⫤b))∣((a⇖↽b)∫⋜⩖(b⊭a))) }

def op_Qu4uWmhj3N(a, b):
    return op_PPChnnnBFF(op_AFVx7xoS7T(op_COABgblf1C(b,b),op_neKQRQQIil(167,b)),op_JgXZM7XvWE(op_cwbF3JtlMN(a,b),op_4JGOJzXMq1(b,a)))

def op_count_Qu4uWmhj3N(a, b):
    count = op_count_COABgblf1C(b,b)+op_count_neKQRQQIil(167,b)+op_count_AFVx7xoS7T(op_COABgblf1C(b,b),op_neKQRQQIil(167,b))+op_count_cwbF3JtlMN(a,b)+op_count_4JGOJzXMq1(b,a)+op_count_JgXZM7XvWE(op_cwbF3JtlMN(a,b),op_4JGOJzXMq1(b,a))+op_count_PPChnnnBFF(op_AFVx7xoS7T(op_COABgblf1C(b,b),op_neKQRQQIil(167,b)),op_JgXZM7XvWE(op_cwbF3JtlMN(a,b),op_4JGOJzXMq1(b,a)))
    return count


def op_H86EN3O05e(a, b):
    if b != 212:
        return op_Ikt5ks8PT7(op_zFNL8mZEFB(88,676),op_PPChnnnBFF(a,b))
    else:
        return op_t0cKpDWDXO(141)

def op_count_H86EN3O05e(a, b):
    if b != 212:
        count = op_count_zFNL8mZEFB(88,676)+op_count_PPChnnnBFF(a,b)+op_count_Ikt5ks8PT7(op_zFNL8mZEFB(88,676),op_PPChnnnBFF(a,b))
    else:
        count = op_count_t0cKpDWDXO(141)
    return count


def op_AJW4C0rBPs(a, b):
    if op_3nqY3DE9mg(a) == 327:
        return op_HQuZ2f4It9(op_DX7B1fY6P6(57,88))
    else:
        return op_0JWJYFSzIQ(op_Siyfjn51pv(78),op_LxFB4K6j0n(b))

def op_count_AJW4C0rBPs(a, b):
    if op_3nqY3DE9mg(a) == 327:
        count = op_count_DX7B1fY6P6(57,88)+op_count_HQuZ2f4It9(op_DX7B1fY6P6(57,88))+op_count_3nqY3DE9mg(a)
    else:
        count = op_count_Siyfjn51pv(78)+op_count_LxFB4K6j0n(b)+op_count_0JWJYFSzIQ(op_Siyfjn51pv(78),op_LxFB4K6j0n(b))
    return count


def op_CPJod9CRaD(a, b):
    return op_v0DYgG9ikt(op_wsXFuL0hC6(op_IpgdDpBHsO(b),op_JFrVJKYFMX(a,a)))

def op_count_CPJod9CRaD(a, b):
    count = op_count_IpgdDpBHsO(b)+op_count_JFrVJKYFMX(a,a)+op_count_wsXFuL0hC6(op_IpgdDpBHsO(b),op_JFrVJKYFMX(a,a))+op_count_v0DYgG9ikt(op_wsXFuL0hC6(op_IpgdDpBHsO(b),op_JFrVJKYFMX(a,a)))
    return count


⇄≱↜a = { ((a↹⊜283)⋥≓≎(a≽⪈↿a)) , if (a⫌⩹⨱)>=790 ; (⊿(⩦⊞a)) , else }

def op_Vx83N9Bscg(a):
    if op_EBcxylXtPf(a) >= 790:
        return op_Qy55tPpLXF(op_9bazX3JMtO(a,283),op_inCIaGQf8u(a,a))
    else:
        return op_DO4fhlbJSI(op_u7fv1HBiaC(a))

def op_count_Vx83N9Bscg(a):
    if op_EBcxylXtPf(a) >= 790:
        count = op_count_9bazX3JMtO(a,283)+op_count_inCIaGQf8u(a,a)+op_count_Qy55tPpLXF(op_9bazX3JMtO(a,283),op_inCIaGQf8u(a,a))+op_count_EBcxylXtPf(a)
    else:
        count = op_count_u7fv1HBiaC(a)+op_count_DO4fhlbJSI(op_u7fv1HBiaC(a))
    return count


a⪼⩰⪳ = { (((a⫗⊒⇾a)⩷∴(⫌⊑↬a))⩼⇪↪((a⨣∐↬a)⨐a)) , if (∑⇻≧a)<130 ; (≯((a⨵⪆a)⪒(a-∠a))) , else }

def op_IEmZsJIFSp(a):
    if op_l1M9WJ3V7u(a) < 130:
        return op_ocnLzx9CaJ(op_9FxExcQeMw(op_hiBDRd40bf(a,a),op_h57jOAbG9W(a)),op_Noe24qw2ks(op_UpkSd4zESC(a,a),a))
    else:
        return op_keWfFq85dY(op_f6k1SAg4EE(op_2DQ55sFlQl(a,a),op_s0IfDFCCuZ(a,a)))

def op_count_IEmZsJIFSp(a):
    if op_l1M9WJ3V7u(a) < 130:
        count = op_count_hiBDRd40bf(a,a)+op_count_h57jOAbG9W(a)+op_count_9FxExcQeMw(op_hiBDRd40bf(a,a),op_h57jOAbG9W(a))+op_count_UpkSd4zESC(a,a)+op_count_Noe24qw2ks(op_UpkSd4zESC(a,a),a)+op_count_ocnLzx9CaJ(op_9FxExcQeMw(op_hiBDRd40bf(a,a),op_h57jOAbG9W(a)),op_Noe24qw2ks(op_UpkSd4zESC(a,a),a))+op_count_l1M9WJ3V7u(a)
    else:
        count = op_count_2DQ55sFlQl(a,a)+op_count_s0IfDFCCuZ(a,a)+op_count_f6k1SAg4EE(op_2DQ55sFlQl(a,a),op_s0IfDFCCuZ(a,a))+op_count_keWfFq85dY(op_f6k1SAg4EE(op_2DQ55sFlQl(a,a),op_s0IfDFCCuZ(a,a)))
    return count


def op_kBclOZdV5K(a, b):
    if op_OTRTVPweYV(a,128) >= 40:
        return op_bPywburJMS(op_SPuZE40Ntn(op_eaFBhJ0Uku(a,b),op_BjRHVeLaeN(0)),op_d7ASUq0ydm(op_W4YGzv6Whe(294,b),op_AdZkA7nFnk(a,b)))
    else:
        return op_XnXgA4xnOs(op_S56z7WVPBn(a),op_SPuZE40Ntn(op_eewbuw0ToL(b,b),op_Tmr9JGNMVH(543)))

def op_count_kBclOZdV5K(a, b):
    if op_OTRTVPweYV(a,128) >= 40:
        count = op_count_eaFBhJ0Uku(a,b)+op_count_BjRHVeLaeN(0)+op_count_SPuZE40Ntn(op_eaFBhJ0Uku(a,b),op_BjRHVeLaeN(0))+op_count_W4YGzv6Whe(294,b)+op_count_AdZkA7nFnk(a,b)+op_count_d7ASUq0ydm(op_W4YGzv6Whe(294,b),op_AdZkA7nFnk(a,b))+op_count_bPywburJMS(op_SPuZE40Ntn(op_eaFBhJ0Uku(a,b),op_BjRHVeLaeN(0)),op_d7ASUq0ydm(op_W4YGzv6Whe(294,b),op_AdZkA7nFnk(a,b)))+op_count_OTRTVPweYV(a,128)
    else:
        count = op_count_S56z7WVPBn(a)+op_count_eewbuw0ToL(b,b)+op_count_Tmr9JGNMVH(543)+op_count_SPuZE40Ntn(op_eewbuw0ToL(b,b),op_Tmr9JGNMVH(543))+op_count_XnXgA4xnOs(op_S56z7WVPBn(a),op_SPuZE40Ntn(op_eewbuw0ToL(b,b),op_Tmr9JGNMVH(543)))
    return count


def op_iyICUqZ3Zj(a):
    return op_HiPekx5b7W(a,9)

def op_count_iyICUqZ3Zj(a):
    count = op_count_HiPekx5b7W(a,9)
    return count


⇜⊥⊿a = { (⩆⇋(a⇽⩪)) , if (↪⨀a)>=42 ; (⨑⩽⪐(a⋢a)) , else }

def op_9AmiP8lhm4(a):
    if op_t0cKpDWDXO(a) >= 42:
        return op_IjUb3wyICU(op_FonBHBYJbU(a))
    else:
        return op_AF7qkfDlqP(op_NdELin8EPX(a,a))

def op_count_9AmiP8lhm4(a):
    if op_t0cKpDWDXO(a) >= 42:
        count = op_count_FonBHBYJbU(a)+op_count_IjUb3wyICU(op_FonBHBYJbU(a))+op_count_t0cKpDWDXO(a)
    else:
        count = op_count_NdELin8EPX(a,a)+op_count_AF7qkfDlqP(op_NdELin8EPX(a,a))
    return count


a⨖⊟↼ = { (⊖a) , if (⊙⨙⩍a)==39 ; (a↢a) , else }

def op_mcRzvJ6mSO(a):
    if op_ocpzidtxKt(a) == 39:
        return op_U6pG0PXrV3(a)
    else:
        return op_WR6HLWljOP(a,a)

def op_count_mcRzvJ6mSO(a):
    if op_ocpzidtxKt(a) == 39:
        count = op_count_U6pG0PXrV3(a)+op_count_ocpzidtxKt(a)
    else:
        count = op_count_WR6HLWljOP(a,a)
    return count


def op_yKPrwivliH(a):
    return op_IGFM8TAlm9(op_9bazX3JMtO(a,12))

def op_count_yKPrwivliH(a):
    count = op_count_9bazX3JMtO(a,12)+op_count_IGFM8TAlm9(op_9bazX3JMtO(a,12))
    return count


a⫵⋃⋊ = { ((a⇔⨋)⊔(a⨧a)) , if (⫭≬a)==62 ; ((a⇌⫙⪟a)⪲⨢(373⪨≂a)) , else }

def op_YCf9KckAer(a):
    if op_S7Dkc5Re0B(a) == 62:
        return op_E4l6HwMY31(op_uBihLCJcMX(a),op_3YWlZA9bsa(a,a))
    else:
        return op_6iafYuwGo8(op_AFVx7xoS7T(a,a),op_sdazOOVcIp(373,a))

def op_count_YCf9KckAer(a):
    if op_S7Dkc5Re0B(a) == 62:
        count = op_count_uBihLCJcMX(a)+op_count_3YWlZA9bsa(a,a)+op_count_E4l6HwMY31(op_uBihLCJcMX(a),op_3YWlZA9bsa(a,a))+op_count_S7Dkc5Re0B(a)
    else:
        count = op_count_AFVx7xoS7T(a,a)+op_count_sdazOOVcIp(373,a)+op_count_6iafYuwGo8(op_AFVx7xoS7T(a,a),op_sdazOOVcIp(373,a))
    return count


↳≁a = { (((549⪲⨢a)≏⨯⊱(a⊉≛↸a))∌↝((302≐→⇾)⨌↪)) , if a!=486 or (⇍a)!=42 or a<505 ; (a⪔⊥((a⫗⊒⇾a)⪲⨢(a⊝⪿⪼a))) , else }

def op_8GzpSpzqMl(a):
    if a != 486 or op_H9jWZL1q0V(a) != 42 or a < 505:
        return op_9Isq31Ruls(op_UqUOXUQnbU(op_6iafYuwGo8(549,a),op_DZ8iAZOCBD(a,a)),op_cWQsF5MvuD(op_zV3pqYiQ5E(302)))
    else:
        return op_HJ9erzHUuu(a,op_6iafYuwGo8(op_hiBDRd40bf(a,a),op_3Oe9XWJUTD(a,a)))

def op_count_8GzpSpzqMl(a):
    if a != 486 or op_H9jWZL1q0V(a) != 42 or a < 505:
        count = op_count_6iafYuwGo8(549,a)+op_count_DZ8iAZOCBD(a,a)+op_count_UqUOXUQnbU(op_6iafYuwGo8(549,a),op_DZ8iAZOCBD(a,a))+op_count_zV3pqYiQ5E(302)+op_count_cWQsF5MvuD(op_zV3pqYiQ5E(302))+op_count_9Isq31Ruls(op_UqUOXUQnbU(op_6iafYuwGo8(549,a),op_DZ8iAZOCBD(a,a)),op_cWQsF5MvuD(op_zV3pqYiQ5E(302)))+op_count_H9jWZL1q0V(a)
    else:
        count = op_count_hiBDRd40bf(a,a)+op_count_3Oe9XWJUTD(a,a)+op_count_6iafYuwGo8(op_hiBDRd40bf(a,a),op_3Oe9XWJUTD(a,a))+op_count_HJ9erzHUuu(a,op_6iafYuwGo8(op_hiBDRd40bf(a,a),op_3Oe9XWJUTD(a,a)))
    return count


a∌⇯⇷b = { (a⫶b) , if a<=438 ; (a⊝⪿⪼a) , else }

def op_moP16zZBUU(a, b):
    if a <= 438:
        return op_BAIXFdYaz3(a,b)
    else:
        return op_3Oe9XWJUTD(a,a)

def op_count_moP16zZBUU(a, b):
    if a <= 438:
        count = op_count_BAIXFdYaz3(a,b)
    else:
        count = op_count_3Oe9XWJUTD(a,a)
    return count


⫸∞⪮a = { ((a∝a)≠≀a) , if a<=92 ; ((a⫼⨠a)⋳⪒(a⪊≅)) , else }

def op_lh14icfd7w(a):
    if a <= 92:
        return op_IwW236VD4Y(op_cTDWOvIxvz(a,a),a)
    else:
        return op_12rbrZMWeM(op_KYL1uVeVpb(a,a),op_bjFbhXSADs(a))

def op_count_lh14icfd7w(a):
    if a <= 92:
        count = op_count_cTDWOvIxvz(a,a)+op_count_IwW236VD4Y(op_cTDWOvIxvz(a,a),a)
    else:
        count = op_count_KYL1uVeVpb(a,a)+op_count_bjFbhXSADs(a)+op_count_12rbrZMWeM(op_KYL1uVeVpb(a,a),op_bjFbhXSADs(a))
    return count


def op_6VowpqB2XT(a, b):
    if op_XbEAUggs3J(a) >= 163 or a < 371:
        return op_xSk1F0pZbF(200,b)
    else:
        return op_PaBHOjxk8c(721)

def op_count_6VowpqB2XT(a, b):
    if op_XbEAUggs3J(a) >= 163 or a < 371:
        count = op_count_xSk1F0pZbF(200,b)+op_count_XbEAUggs3J(a)
    else:
        count = op_count_PaBHOjxk8c(721)
    return count


⫋⊨a = { (((⩕↛a)⩾(a⩚⊴⇥a))⊜) , if (a⩾863)!=32 ; (∤((a⋆⊨a)⪨⊡(a⨳⩥⨓a))) , else }

def op_NtnRscsGPV(a):
    if op_UggxBX659n(a,863) != 32:
        return op_Eev2Q7dYIw(op_UggxBX659n(op_3EhVUz7Ug9(a),op_NTOWxs364D(a,a)))
    else:
        return op_k2HlF1dBQh(op_kuIXHzHcAH(op_uTBsSls0VN(a,a),op_nCS4ZIUYfx(a,a)))

def op_count_NtnRscsGPV(a):
    if op_UggxBX659n(a,863) != 32:
        count = op_count_3EhVUz7Ug9(a)+op_count_NTOWxs364D(a,a)+op_count_UggxBX659n(op_3EhVUz7Ug9(a),op_NTOWxs364D(a,a))+op_count_Eev2Q7dYIw(op_UggxBX659n(op_3EhVUz7Ug9(a),op_NTOWxs364D(a,a)))+op_count_UggxBX659n(a,863)
    else:
        count = op_count_uTBsSls0VN(a,a)+op_count_nCS4ZIUYfx(a,a)+op_count_kuIXHzHcAH(op_uTBsSls0VN(a,a),op_nCS4ZIUYfx(a,a))+op_count_k2HlF1dBQh(op_kuIXHzHcAH(op_uTBsSls0VN(a,a),op_nCS4ZIUYfx(a,a)))
    return count


def op_Kgf5n7vQLW(a, b):
    if op_9FxExcQeMw(b,398) < 74:
        return op_7j4O788W3g(a,b)
    else:
        return op_QvoQhV0rrE(a,132)

def op_count_Kgf5n7vQLW(a, b):
    if op_9FxExcQeMw(b,398) < 74:
        count = op_count_7j4O788W3g(a,b)+op_count_9FxExcQeMw(b,398)
    else:
        count = op_count_QvoQhV0rrE(a,132)
    return count


def op_ZhlsJiXY6w(a):
    return op_eewbuw0ToL(355,op_tnyRA5sazQ(op_kbkesczE7y(a,a),op_OGWBzMv138(a,a)))

def op_count_ZhlsJiXY6w(a):
    count = op_count_kbkesczE7y(a,a)+op_count_OGWBzMv138(a,a)+op_count_tnyRA5sazQ(op_kbkesczE7y(a,a),op_OGWBzMv138(a,a))+op_count_eewbuw0ToL(355,op_tnyRA5sazQ(op_kbkesczE7y(a,a),op_OGWBzMv138(a,a)))
    return count


def op_DkVDVv6gLT(a, b):
    return op_23Mk6UjR3U(b,op_qWUSsah53b(op_DE7zCoGJt9(a)))

def op_count_DkVDVv6gLT(a, b):
    count = op_count_DE7zCoGJt9(a)+op_count_qWUSsah53b(op_DE7zCoGJt9(a))+op_count_23Mk6UjR3U(b,op_qWUSsah53b(op_DE7zCoGJt9(a)))
    return count


a⫗⊍b = { ((∨⫘⊿(b⩦b))⋘((a⨑≵⋬a)⨣∐↬(a↬⩅∪))) , if b==139 ; (((a⪦⩸a)⊋≦⊧(129⪔⊥a))≠≀((b⫏↛⩏a)⪨(a⋟⫀⨗a))) , else }

def op_9848CK854r(a, b):
    if b == 139:
        return op_2M7SKlOzyM(op_qxp9F1VMeC(op_0kmYd0q39Y(b,b)),op_UpkSd4zESC(op_XnXgA4xnOs(a,a),op_VJ330n2nnx(a)))
    else:
        return op_IwW236VD4Y(op_oRDoc9rAEX(op_0JWJYFSzIQ(a,a),op_HJ9erzHUuu(129,a)),op_2z8nE7LpCu(op_YC3tgrnOyr(b,a),op_dAAkup5nzi(a,a)))

def op_count_9848CK854r(a, b):
    if b == 139:
        count = op_count_0kmYd0q39Y(b,b)+op_count_qxp9F1VMeC(op_0kmYd0q39Y(b,b))+op_count_XnXgA4xnOs(a,a)+op_count_VJ330n2nnx(a)+op_count_UpkSd4zESC(op_XnXgA4xnOs(a,a),op_VJ330n2nnx(a))+op_count_2M7SKlOzyM(op_qxp9F1VMeC(op_0kmYd0q39Y(b,b)),op_UpkSd4zESC(op_XnXgA4xnOs(a,a),op_VJ330n2nnx(a)))
    else:
        count = op_count_0JWJYFSzIQ(a,a)+op_count_HJ9erzHUuu(129,a)+op_count_oRDoc9rAEX(op_0JWJYFSzIQ(a,a),op_HJ9erzHUuu(129,a))+op_count_YC3tgrnOyr(b,a)+op_count_dAAkup5nzi(a,a)+op_count_2z8nE7LpCu(op_YC3tgrnOyr(b,a),op_dAAkup5nzi(a,a))+op_count_IwW236VD4Y(op_oRDoc9rAEX(op_0JWJYFSzIQ(a,a),op_HJ9erzHUuu(129,a)),op_2z8nE7LpCu(op_YC3tgrnOyr(b,a),op_dAAkup5nzi(a,a)))
    return count


⪧↲⋤a = { ((a⫇⋯a)↾⩰) , if (⩦⊞a)>=705 ; (∋∴(a⇴a)) , else }

def op_bwsAacVXlT(a):
    if op_u7fv1HBiaC(a) >= 705:
        return op_GNmBfxrna9(op_xoJmIySC7h(a,a))
    else:
        return op_nouZ5SZjt1(op_4JB6nKBMSY(a,a))

def op_count_bwsAacVXlT(a):
    if op_u7fv1HBiaC(a) >= 705:
        count = op_count_xoJmIySC7h(a,a)+op_count_GNmBfxrna9(op_xoJmIySC7h(a,a))+op_count_u7fv1HBiaC(a)
    else:
        count = op_count_4JB6nKBMSY(a,a)+op_count_nouZ5SZjt1(op_4JB6nKBMSY(a,a))
    return count


a−⩫⨜b = { 807 , if (b⋴⋺)<=14 ; ((a⊍)⫼⨠(b≠≀a)) , else }

def op_ULuo49FML3(a, b):
    if op_0bdkhPtsnY(b) <= 14:
        return 807
    else:
        return op_KYL1uVeVpb(op_3nqY3DE9mg(a),op_IwW236VD4Y(b,a))

def op_count_ULuo49FML3(a, b):
    if op_0bdkhPtsnY(b) <= 14:
        count = op_count_0bdkhPtsnY(b)
    else:
        count = op_count_3nqY3DE9mg(a)+op_count_IwW236VD4Y(b,a)+op_count_KYL1uVeVpb(op_3nqY3DE9mg(a),op_IwW236VD4Y(b,a))
    return count


def op_71daS7H1AB(a):
    if op_XIabStNQrY(a) >= 507:
        return op_j9kHMeSvPp(op_UoVew8f2p2(a,259),a)
    else:
        return a

def op_count_71daS7H1AB(a):
    if op_XIabStNQrY(a) >= 507:
        count = op_count_UoVew8f2p2(a,259)+op_count_j9kHMeSvPp(op_UoVew8f2p2(a,259),a)+op_count_XIabStNQrY(a)
    else:
        count = 1
    return count


def op_acVl7VRmiK(a):
    return op_bF6eod5Gvf(op_cFVlceoRkX(a,398),op_Y9dhGmbGii(512))

def op_count_acVl7VRmiK(a):
    count = op_count_cFVlceoRkX(a,398)+op_count_Y9dhGmbGii(512)+op_count_bF6eod5Gvf(op_cFVlceoRkX(a,398),op_Y9dhGmbGii(512))
    return count


def op_F62Q6iWENC(a):
    return op_Cr5xnr8B4B(op_7j4O788W3g(a,a),op_KED7KUUlGq(a))

def op_count_F62Q6iWENC(a):
    count = op_count_7j4O788W3g(a,a)+op_count_KED7KUUlGq(a)+op_count_Cr5xnr8B4B(op_7j4O788W3g(a,a),op_KED7KUUlGq(a))
    return count


def op_hPqQhEYUtD(a):
    return op_uysxUYN2L2(op_rXAclfmB4M(op_LkLIoiE525(a)),op_t4WUHVGj7f(op_vg4gO5BX6G(a,a)))

def op_count_hPqQhEYUtD(a):
    count = op_count_LkLIoiE525(a)+op_count_rXAclfmB4M(op_LkLIoiE525(a))+op_count_vg4gO5BX6G(a,a)+op_count_t4WUHVGj7f(op_vg4gO5BX6G(a,a))+op_count_uysxUYN2L2(op_rXAclfmB4M(op_LkLIoiE525(a)),op_t4WUHVGj7f(op_vg4gO5BX6G(a,a)))
    return count


def op_fDddd6OLrU(a):
    return op_h57jOAbG9W(op_RygbFNSyEJ(a,a))

def op_count_fDddd6OLrU(a):
    count = op_count_RygbFNSyEJ(a,a)+op_count_h57jOAbG9W(op_RygbFNSyEJ(a,a))
    return count


def op_fj06ns36qH(a, b):
    return op_neKQRQQIil(op_MXaNJeIAZ3(a),op_qy3n0tapmE(a,b))

def op_count_fj06ns36qH(a, b):
    count = op_count_MXaNJeIAZ3(a)+op_count_qy3n0tapmE(a,b)+op_count_neKQRQQIil(op_MXaNJeIAZ3(a),op_qy3n0tapmE(a,b))
    return count


a⋱√⋜b = { ((⋗⩬⋾(≦524))↢((b⪭a)⪎↠(a⨰a))) }

def op_trAzs8tmNv(a, b):
    return op_WR6HLWljOP(op_DpFCA1CohY(op_RPa3726CSl(524)),op_3tVxb0NHM4(op_j9kHMeSvPp(b,a),op_eewbuw0ToL(a,a)))

def op_count_trAzs8tmNv(a, b):
    count = op_count_RPa3726CSl(524)+op_count_DpFCA1CohY(op_RPa3726CSl(524))+op_count_j9kHMeSvPp(b,a)+op_count_eewbuw0ToL(a,a)+op_count_3tVxb0NHM4(op_j9kHMeSvPp(b,a),op_eewbuw0ToL(a,a))+op_count_WR6HLWljOP(op_DpFCA1CohY(op_RPa3726CSl(524)),op_3tVxb0NHM4(op_j9kHMeSvPp(b,a),op_eewbuw0ToL(a,a)))
    return count


def op_3GVkPlklwd(a):
    return op_hrf7POJlIJ(a,a)

def op_count_3GVkPlklwd(a):
    count = op_count_hrf7POJlIJ(a,a)
    return count


a⫪⇈∦b = { (((∥⊫0)≬⋮(a↹⊜b))⋝⋈⪟((a↯⫤)≝⊿(≈b))) }

def op_UEbrpzSmVb(a, b):
    return op_2DDjHMKMc0(op_kbkesczE7y(op_P8v4zCKN1o(0),op_9bazX3JMtO(a,b)),op_OKKcZfAt5B(op_VwlE7vj6HS(a),op_EO7Xdgo9So(b)))

def op_count_UEbrpzSmVb(a, b):
    count = op_count_P8v4zCKN1o(0)+op_count_9bazX3JMtO(a,b)+op_count_kbkesczE7y(op_P8v4zCKN1o(0),op_9bazX3JMtO(a,b))+op_count_VwlE7vj6HS(a)+op_count_EO7Xdgo9So(b)+op_count_OKKcZfAt5B(op_VwlE7vj6HS(a),op_EO7Xdgo9So(b))+op_count_2DDjHMKMc0(op_kbkesczE7y(op_P8v4zCKN1o(0),op_9bazX3JMtO(a,b)),op_OKKcZfAt5B(op_VwlE7vj6HS(a),op_EO7Xdgo9So(b)))
    return count


a←⨾⪫b = { (⫊≏⨉187) , if b<=594 ; (b⋝⋈⪟a) , else }

def op_0NqWd9MObm(a, b):
    if b <= 594:
        return op_KED7KUUlGq(187)
    else:
        return op_2DDjHMKMc0(b,a)

def op_count_0NqWd9MObm(a, b):
    if b <= 594:
        count = op_count_KED7KUUlGq(187)
    else:
        count = op_count_2DDjHMKMc0(b,a)
    return count


a⫨⨌∐b = { ((a⋎b)≟⫹(≉b)) , if b<=409 ; ((∡a)-(a∙∹∝b)) , else }

def op_Ln1IrprsTU(a, b):
    if b <= 409:
        return op_z2JHNkvbdm(op_qy3n0tapmE(a,b),op_e1ybzncUwg(b))
    else:
        return op_rysDP5nf3Z(op_pRsWfj4Fpp(a),op_HmxsFra2vL(a,b))

def op_count_Ln1IrprsTU(a, b):
    if b <= 409:
        count = op_count_qy3n0tapmE(a,b)+op_count_e1ybzncUwg(b)+op_count_z2JHNkvbdm(op_qy3n0tapmE(a,b),op_e1ybzncUwg(b))
    else:
        count = op_count_pRsWfj4Fpp(a)+op_count_HmxsFra2vL(a,b)+op_count_rysDP5nf3Z(op_pRsWfj4Fpp(a),op_HmxsFra2vL(a,b))
    return count


a⩨⨅b = { ((⫇⨷a)⫚⫇) , if (⨇⪄⫏b)<=474 ; (b⨰↻⪇(b⊓≱a)) , else }

def op_3NSk6NH2au(a, b):
    if op_B4c4JXCTtZ(b) <= 474:
        return op_SdCjLnB6rR(op_ct1hK6qyRt(a))
    else:
        return op_nbuSfrB4hB(b,op_VCG3UHNzLR(b,a))

def op_count_3NSk6NH2au(a, b):
    if op_B4c4JXCTtZ(b) <= 474:
        count = op_count_ct1hK6qyRt(a)+op_count_SdCjLnB6rR(op_ct1hK6qyRt(a))+op_count_B4c4JXCTtZ(b)
    else:
        count = op_count_VCG3UHNzLR(b,a)+op_count_nbuSfrB4hB(b,op_VCG3UHNzLR(b,a))
    return count


def op_Qmvpor93tS(a):
    return op_3A1e9zoj8h(op_qy3n0tapmE(op_JgXZM7XvWE(325,a),op_S7Dkc5Re0B(a)))

def op_count_Qmvpor93tS(a):
    count = op_count_JgXZM7XvWE(325,a)+op_count_S7Dkc5Re0B(a)+op_count_qy3n0tapmE(op_JgXZM7XvWE(325,a),op_S7Dkc5Re0B(a))+op_count_3A1e9zoj8h(op_qy3n0tapmE(op_JgXZM7XvWE(325,a),op_S7Dkc5Re0B(a)))
    return count


a⩧⊭⋽ = { (a⪕a) , if (a⫍⨯↯)<35 ; (⫦≽⪐a) , else }

def op_O79S74KhN8(a):
    if op_ZcwmYACASQ(a) < 35:
        return op_umQnsF7QlU(a,a)
    else:
        return op_fjqJgF5yyp(a)

def op_count_O79S74KhN8(a):
    if op_ZcwmYACASQ(a) < 35:
        count = op_count_umQnsF7QlU(a,a)+op_count_ZcwmYACASQ(a)
    else:
        count = op_count_fjqJgF5yyp(a)
    return count


a∄⪞b = { ((a⩇∃⫛a)⨴(b⩤∜↚b)) , if (a⨙)>159 ; ((a≖−≲)⋐≟⩺(b≠≀b)) , else }

def op_gBVRdjwhPO(a, b):
    if op_rlpcYeipVY(a) > 159:
        return op_jBC4ymW3D7(op_1aApVXNlOP(a,a),op_KROiRRz3d6(b,b))
    else:
        return op_PjbVkMzmXE(op_IpgdDpBHsO(a),op_IwW236VD4Y(b,b))

def op_count_gBVRdjwhPO(a, b):
    if op_rlpcYeipVY(a) > 159:
        count = op_count_1aApVXNlOP(a,a)+op_count_KROiRRz3d6(b,b)+op_count_jBC4ymW3D7(op_1aApVXNlOP(a,a),op_KROiRRz3d6(b,b))+op_count_rlpcYeipVY(a)
    else:
        count = op_count_IpgdDpBHsO(a)+op_count_IwW236VD4Y(b,b)+op_count_PjbVkMzmXE(op_IpgdDpBHsO(a),op_IwW236VD4Y(b,b))
    return count


⫧⩠a = { (a≣((a⫠↝⫳)⪿⇪⊩(a⫻⋑⊟))) , if (a⊕⨔)!=602 ; (((24⪔⊥a)⊢(a⪇≇⋚a))∿⫑≎((a⨰271)⫸⇳(a≾⋳))) , else }

def op_ZvYR0qQ7YW(a):
    if op_ut0Nd8ObBp(a) != 602:
        return op_ObEyaaML9x(a,op_OGWBzMv138(op_8n5YIzOsVS(a),op_o575Zjdmzy(a)))
    else:
        return op_ar1w6gUwHX(op_5twsqlHp2o(op_HJ9erzHUuu(24,a),op_3sJ7IOPOlU(a,a)),op_gx7XJ7hdpj(op_eewbuw0ToL(a,271),op_1tCtMSPkGf(a)))

def op_count_ZvYR0qQ7YW(a):
    if op_ut0Nd8ObBp(a) != 602:
        count = op_count_8n5YIzOsVS(a)+op_count_o575Zjdmzy(a)+op_count_OGWBzMv138(op_8n5YIzOsVS(a),op_o575Zjdmzy(a))+op_count_ObEyaaML9x(a,op_OGWBzMv138(op_8n5YIzOsVS(a),op_o575Zjdmzy(a)))+op_count_ut0Nd8ObBp(a)
    else:
        count = op_count_HJ9erzHUuu(24,a)+op_count_3sJ7IOPOlU(a,a)+op_count_5twsqlHp2o(op_HJ9erzHUuu(24,a),op_3sJ7IOPOlU(a,a))+op_count_eewbuw0ToL(a,271)+op_count_1tCtMSPkGf(a)+op_count_gx7XJ7hdpj(op_eewbuw0ToL(a,271),op_1tCtMSPkGf(a))+op_count_ar1w6gUwHX(op_5twsqlHp2o(op_HJ9erzHUuu(24,a),op_3sJ7IOPOlU(a,a)),op_gx7XJ7hdpj(op_eewbuw0ToL(a,271),op_1tCtMSPkGf(a)))
    return count


def op_8Q5H4kz5Ft(a):
    if a != 12:
        return op_gx7XJ7hdpj(a,a)
    else:
        return op_z4E1FaHLuy(74)

def op_count_8Q5H4kz5Ft(a):
    if a != 12:
        count = op_count_gx7XJ7hdpj(a,a)
    else:
        count = op_count_z4E1FaHLuy(74)
    return count


a⋖⇈b = { (((⩻⪛b)≽⇕)∽((a⊭↱a)≧⊼(b≧⫂∧a))) }

def op_0nVhjSiHEu(a, b):
    return op_y4ImoPnbV5(op_SgAxmdLNEA(op_5RY6W0glyJ(b)),op_JoLB3LXqXx(op_COABgblf1C(a,a),op_Ph9nP6C5qx(b,a)))

def op_count_0nVhjSiHEu(a, b):
    count = op_count_5RY6W0glyJ(b)+op_count_SgAxmdLNEA(op_5RY6W0glyJ(b))+op_count_COABgblf1C(a,a)+op_count_Ph9nP6C5qx(b,a)+op_count_JoLB3LXqXx(op_COABgblf1C(a,a),op_Ph9nP6C5qx(b,a))+op_count_y4ImoPnbV5(op_SgAxmdLNEA(op_5RY6W0glyJ(b)),op_JoLB3LXqXx(op_COABgblf1C(a,a),op_Ph9nP6C5qx(b,a)))
    return count


a⇪b = { ((a⇤a)⪠⩆⊳) , if (b⊕⨔)==89 ; b , else }

def op_hfpBUD6oBE(a, b):
    if op_ut0Nd8ObBp(b) == 89:
        return op_JLbD19bQDL(op_YSKBFp38Pu(a,a))
    else:
        return b

def op_count_hfpBUD6oBE(a, b):
    if op_ut0Nd8ObBp(b) == 89:
        count = op_count_YSKBFp38Pu(a,a)+op_count_JLbD19bQDL(op_YSKBFp38Pu(a,a))+op_count_ut0Nd8ObBp(b)
    else:
        count = 1
    return count


a⪫↾⩎ = { (a⪔⊥a) , if (a⇿⊰278)<177 ; (a⪚⊾⩭) , else }

def op_JgGMJxb6KO(a):
    if op_ap3xiM279w(a,278) < 177:
        return op_HJ9erzHUuu(a,a)
    else:
        return op_ebeGRCukrZ(a)

def op_count_JgGMJxb6KO(a):
    if op_ap3xiM279w(a,278) < 177:
        count = op_count_HJ9erzHUuu(a,a)+op_count_ap3xiM279w(a,278)
    else:
        count = op_count_ebeGRCukrZ(a)
    return count


⋾⨄⪲a = { (a∠⫱a) , if a<=333 ; (a⩾a) , else }

def op_ueiV7DCiJU(a):
    if a <= 333:
        return op_QvoQhV0rrE(a,a)
    else:
        return op_UggxBX659n(a,a)

def op_count_ueiV7DCiJU(a):
    if a <= 333:
        count = op_count_QvoQhV0rrE(a,a)
    else:
        count = op_count_UggxBX659n(a,a)
    return count


def op_ufqzRtOMm4(a):
    return op_FyVja0WsTP(op_2M7SKlOzyM(a,23),op_86A5ENbKR9(131))

def op_count_ufqzRtOMm4(a):
    count = op_count_2M7SKlOzyM(a,23)+op_count_86A5ENbKR9(131)+op_count_FyVja0WsTP(op_2M7SKlOzyM(a,23),op_86A5ENbKR9(131))
    return count


def op_0dkrCdGzGT(a, b):
    return op_zR4jO40bMj(op_7PjNe5qSIJ(285,a),op_tfWHHpNKUN(b))

def op_count_0dkrCdGzGT(a, b):
    count = op_count_7PjNe5qSIJ(285,a)+op_count_tfWHHpNKUN(b)+op_count_zR4jO40bMj(op_7PjNe5qSIJ(285,a),op_tfWHHpNKUN(b))
    return count


def op_NCK8ztm4vY(a, b):
    if op_E4l6HwMY31(b,324) < 43 or op_fLfyAuxYJD(a) <= 362:
        return op_59igzFyhWz(op_P8v4zCKN1o(b))
    else:
        return op_2M7SKlOzyM(op_j4geBLYVFK(b),op_b1mGkbI4Oy(a,29))

def op_count_NCK8ztm4vY(a, b):
    if op_E4l6HwMY31(b,324) < 43 or op_fLfyAuxYJD(a) <= 362:
        count = op_count_P8v4zCKN1o(b)+op_count_59igzFyhWz(op_P8v4zCKN1o(b))+op_count_E4l6HwMY31(b,324)+op_count_fLfyAuxYJD(a)
    else:
        count = op_count_j4geBLYVFK(b)+op_count_b1mGkbI4Oy(a,29)+op_count_2M7SKlOzyM(op_j4geBLYVFK(b),op_b1mGkbI4Oy(a,29))
    return count


def op_ceao54Vsbj(a):
    return op_7PjNe5qSIJ(op_JDUIKTTSIa(a,a),op_ocpzidtxKt(a))

def op_count_ceao54Vsbj(a):
    count = op_count_JDUIKTTSIa(a,a)+op_count_ocpzidtxKt(a)+op_count_7PjNe5qSIJ(op_JDUIKTTSIa(a,a),op_ocpzidtxKt(a))
    return count


a⨤⫳≈b = { (((b≚⊃≕a)-(a⊚⨔))⨔⊶↷((a⇯⋐)⪇≇⋚(⩷b))) }

def op_qIDt5vVHD5(a, b):
    return op_WObL9SsYVE(op_rysDP5nf3Z(op_Bmrmz2XGnR(b,a),op_XbEAUggs3J(a)),op_3sJ7IOPOlU(op_LkLIoiE525(a),op_1h0rLqGiFr(b)))

def op_count_qIDt5vVHD5(a, b):
    count = op_count_Bmrmz2XGnR(b,a)+op_count_XbEAUggs3J(a)+op_count_rysDP5nf3Z(op_Bmrmz2XGnR(b,a),op_XbEAUggs3J(a))+op_count_LkLIoiE525(a)+op_count_1h0rLqGiFr(b)+op_count_3sJ7IOPOlU(op_LkLIoiE525(a),op_1h0rLqGiFr(b))+op_count_WObL9SsYVE(op_rysDP5nf3Z(op_Bmrmz2XGnR(b,a),op_XbEAUggs3J(a)),op_3sJ7IOPOlU(op_LkLIoiE525(a),op_1h0rLqGiFr(b)))
    return count


def op_tN0ubDjZ4j(a):
    return op_VCG3UHNzLR(a,a)

def op_count_tN0ubDjZ4j(a):
    count = op_count_VCG3UHNzLR(a,a)
    return count


a⇝↺ = { (((↸⊣a)⩼⇪↪(a⪨≂a))⨜⇔((a⋂⩴a)⩷∴(⊤⊝a))) }

def op_6akOkSiUhM(a):
    return op_Sq3AGanRSD(op_ocnLzx9CaJ(op_wztAlM01eG(a),op_sdazOOVcIp(a,a)),op_9FxExcQeMw(op_hmlrMsD2PO(a,a),op_rXAclfmB4M(a)))

def op_count_6akOkSiUhM(a):
    count = op_count_wztAlM01eG(a)+op_count_sdazOOVcIp(a,a)+op_count_ocnLzx9CaJ(op_wztAlM01eG(a),op_sdazOOVcIp(a,a))+op_count_hmlrMsD2PO(a,a)+op_count_rXAclfmB4M(a)+op_count_9FxExcQeMw(op_hmlrMsD2PO(a,a),op_rXAclfmB4M(a))+op_count_Sq3AGanRSD(op_ocnLzx9CaJ(op_wztAlM01eG(a),op_sdazOOVcIp(a,a)),op_9FxExcQeMw(op_hmlrMsD2PO(a,a),op_rXAclfmB4M(a)))
    return count


a⩍⪮⩄ = { (a⇑∁⪛) , if (a≬⋮943)>51 ; a , else }

def op_58oXLXXGsH(a):
    if op_kbkesczE7y(a,943) > 51:
        return op_P75hhshrwX(a)
    else:
        return a

def op_count_58oXLXXGsH(a):
    if op_kbkesczE7y(a,943) > 51:
        count = op_count_P75hhshrwX(a)+op_count_kbkesczE7y(a,943)
    else:
        count = 1
    return count


a⪪⪋ = { (((a⨩≤⫤a)⊝⪿⪼(a⨜⨶157))∌((∂⩏⊆a)↼⊘⨖(a⊱⇼⊻a))) }

def op_3m1Q9am5nA(a):
    return op_8cLx32lpNA(op_3Oe9XWJUTD(op_neKQRQQIil(a,a),op_HiPekx5b7W(a,157)),op_bPywburJMS(op_8WDwsbhb0R(a),op_FyVja0WsTP(a,a)))

def op_count_3m1Q9am5nA(a):
    count = op_count_neKQRQQIil(a,a)+op_count_HiPekx5b7W(a,157)+op_count_3Oe9XWJUTD(op_neKQRQQIil(a,a),op_HiPekx5b7W(a,157))+op_count_8WDwsbhb0R(a)+op_count_FyVja0WsTP(a,a)+op_count_bPywburJMS(op_8WDwsbhb0R(a),op_FyVja0WsTP(a,a))+op_count_8cLx32lpNA(op_3Oe9XWJUTD(op_neKQRQQIil(a,a),op_HiPekx5b7W(a,157)),op_bPywburJMS(op_8WDwsbhb0R(a),op_FyVja0WsTP(a,a)))
    return count


a↓⋻ = { (a↪∷a) , if (a∮⨁)<487 ; (a⫚↹⊑a) , else }

def op_Dl2oGiO0ez(a):
    if op_TytFGXR7Zf(a) < 487:
        return op_Api82iH42a(a,a)
    else:
        return op_dfKe02y8D2(a,a)

def op_count_Dl2oGiO0ez(a):
    if op_TytFGXR7Zf(a) < 487:
        count = op_count_Api82iH42a(a,a)+op_count_TytFGXR7Zf(a)
    else:
        count = op_count_dfKe02y8D2(a,a)
    return count


def op_RxT7DRsJUJ(a):
    return op_t4WUHVGj7f(op_hiBDRd40bf(op_keWfFq85dY(50),op_9Isq31Ruls(a,639)))

def op_count_RxT7DRsJUJ(a):
    count = op_count_keWfFq85dY(50)+op_count_9Isq31Ruls(a,639)+op_count_hiBDRd40bf(op_keWfFq85dY(50),op_9Isq31Ruls(a,639))+op_count_t4WUHVGj7f(op_hiBDRd40bf(op_keWfFq85dY(50),op_9Isq31Ruls(a,639)))
    return count


def op_uRdpOuG0pt(a, b):
    return op_2GS7woTJqF(op_LmY23Q1aIi(b),op_7j4O788W3g(b,a))

def op_count_uRdpOuG0pt(a, b):
    count = op_count_LmY23Q1aIi(b)+op_count_7j4O788W3g(b,a)+op_count_2GS7woTJqF(op_LmY23Q1aIi(b),op_7j4O788W3g(b,a))
    return count


a⩍↲b = { (((a⇖↽b)⩘⋿(↡b))∷((a≣a)⇛(↖∇⇑a))) }

def op_kzp3oYQzRT(a, b):
    return op_D3AQDKkPcf(op_64EQ39e0fC(op_cwbF3JtlMN(a,b),op_MXaNJeIAZ3(b)),op_S3tN1ZzpSt(op_ObEyaaML9x(a,a),op_th50nGnoUm(a)))

def op_count_kzp3oYQzRT(a, b):
    count = op_count_cwbF3JtlMN(a,b)+op_count_MXaNJeIAZ3(b)+op_count_64EQ39e0fC(op_cwbF3JtlMN(a,b),op_MXaNJeIAZ3(b))+op_count_ObEyaaML9x(a,a)+op_count_th50nGnoUm(a)+op_count_S3tN1ZzpSt(op_ObEyaaML9x(a,a),op_th50nGnoUm(a))+op_count_D3AQDKkPcf(op_64EQ39e0fC(op_cwbF3JtlMN(a,b),op_MXaNJeIAZ3(b)),op_S3tN1ZzpSt(op_ObEyaaML9x(a,a),op_th50nGnoUm(a)))
    return count


def op_ur59r4nmwX(a, b):
    return op_3tVxb0NHM4(op_pjdzZ5rP1Y(a),op_NTOWxs364D(100,b))

def op_count_ur59r4nmwX(a, b):
    count = op_count_pjdzZ5rP1Y(a)+op_count_NTOWxs364D(100,b)+op_count_3tVxb0NHM4(op_pjdzZ5rP1Y(a),op_NTOWxs364D(100,b))
    return count


a⪷⇙ = { (((a⊠≄⫣)⇌↸)⪒(a⊋≦⊧(a⫯⪬∳a))) , if (a⊩≵⪔)>=434 ; (a↪∷(⫎≠⋺(259⊉↱≁206))) , else }

def op_3UDSo7rmDN(a):
    if op_aDRGw0okjd(a) >= 434:
        return op_f6k1SAg4EE(op_2PILXiQIjy(op_DIvbN7qnHd(a)),op_oRDoc9rAEX(a,op_d7ASUq0ydm(a,a)))
    else:
        return op_Api82iH42a(a,op_LYeZOJ0nQG(op_w2P8NbNXyL(259,206)))

def op_count_3UDSo7rmDN(a):
    if op_aDRGw0okjd(a) >= 434:
        count = op_count_DIvbN7qnHd(a)+op_count_2PILXiQIjy(op_DIvbN7qnHd(a))+op_count_d7ASUq0ydm(a,a)+op_count_oRDoc9rAEX(a,op_d7ASUq0ydm(a,a))+op_count_f6k1SAg4EE(op_2PILXiQIjy(op_DIvbN7qnHd(a)),op_oRDoc9rAEX(a,op_d7ASUq0ydm(a,a)))+op_count_aDRGw0okjd(a)
    else:
        count = op_count_w2P8NbNXyL(259,206)+op_count_LYeZOJ0nQG(op_w2P8NbNXyL(259,206))+op_count_Api82iH42a(a,op_LYeZOJ0nQG(op_w2P8NbNXyL(259,206)))
    return count


a∢≼b = { (a⊔b) , if (b⋳⪒565)<432 ; (b⪎⨄⋝) , else }

def op_MDeofPkNUB(a, b):
    if op_12rbrZMWeM(b,565) < 432:
        return op_E4l6HwMY31(a,b)
    else:
        return op_kweVJGAjhl(b)

def op_count_MDeofPkNUB(a, b):
    if op_12rbrZMWeM(b,565) < 432:
        count = op_count_E4l6HwMY31(a,b)+op_count_12rbrZMWeM(b,565)
    else:
        count = op_count_kweVJGAjhl(b)
    return count


def op_GUL9HGtdXd(a):
    if op_7j4O788W3g(a,918) >= 25:
        return op_kuIXHzHcAH(op_VwlE7vj6HS(a),op_yuvXk3Mco8(a))
    else:
        return op_V4yb4KDoeF(op_FyVja0WsTP(a,a),op_EWw2JM7wp4(404,a))

def op_count_GUL9HGtdXd(a):
    if op_7j4O788W3g(a,918) >= 25:
        count = op_count_VwlE7vj6HS(a)+op_count_yuvXk3Mco8(a)+op_count_kuIXHzHcAH(op_VwlE7vj6HS(a),op_yuvXk3Mco8(a))+op_count_7j4O788W3g(a,918)
    else:
        count = op_count_FyVja0WsTP(a,a)+op_count_EWw2JM7wp4(404,a)+op_count_V4yb4KDoeF(op_FyVja0WsTP(a,a),op_EWw2JM7wp4(404,a))
    return count


def op_4r35sk4ca5(a, b):
    return op_JDUIKTTSIa(op_hrf7POJlIJ(a,b),op_9xnGDUPbC6(a))

def op_count_4r35sk4ca5(a, b):
    count = op_count_hrf7POJlIJ(a,b)+op_count_9xnGDUPbC6(a)+op_count_JDUIKTTSIa(op_hrf7POJlIJ(a,b),op_9xnGDUPbC6(a))
    return count


def op_YNLX1V1NcH(a):
    if a < 29:
        return op_nREPSIbpBE(a,a)
    else:
        return op_qU6oQAhJaQ(161)

def op_count_YNLX1V1NcH(a):
    if a < 29:
        count = op_count_nREPSIbpBE(a,a)
    else:
        count = op_count_qU6oQAhJaQ(161)
    return count


a≇⊭↭b = { ((b⋛∩⫮)∐⫣) , if (⪁⇼b)==892 and b<=671 ; ((b⩵∡(a⩘⋿a))⫗⊒⇾((b⋘⨑⨽)↹⊜b)) , else }

def op_aNWsvqozUr(a, b):
    if op_ZNVVrZ94lY(b) == 892 and b <= 671:
        return op_4CyGpkTkEk(op_QDWDTvZtyM(b))
    else:
        return op_hiBDRd40bf(op_Y7wcNGrDQJ(b,op_64EQ39e0fC(a,a)),op_9bazX3JMtO(op_WmT3o8z6ya(b),b))

def op_count_aNWsvqozUr(a, b):
    if op_ZNVVrZ94lY(b) == 892 and b <= 671:
        count = op_count_QDWDTvZtyM(b)+op_count_4CyGpkTkEk(op_QDWDTvZtyM(b))+op_count_ZNVVrZ94lY(b)
    else:
        count = op_count_64EQ39e0fC(a,a)+op_count_Y7wcNGrDQJ(b,op_64EQ39e0fC(a,a))+op_count_WmT3o8z6ya(b)+op_count_9bazX3JMtO(op_WmT3o8z6ya(b),b)+op_count_hiBDRd40bf(op_Y7wcNGrDQJ(b,op_64EQ39e0fC(a,a)),op_9bazX3JMtO(op_WmT3o8z6ya(b),b))
    return count


↑⩌≥a = { (a⪍↜⋙(⊁⨺332)) , if a<=416 ; (≋(⫳⪺∰a)) , else }

def op_vtuEveK19u(a):
    if a <= 416:
        return op_L05ObWFQCd(a,op_PxiHyQbrIp(332))
    else:
        return op_61wBmkZwlr(op_eftAHwPbeA(a))

def op_count_vtuEveK19u(a):
    if a <= 416:
        count = op_count_PxiHyQbrIp(332)+op_count_L05ObWFQCd(a,op_PxiHyQbrIp(332))
    else:
        count = op_count_eftAHwPbeA(a)+op_count_61wBmkZwlr(op_eftAHwPbeA(a))
    return count


def op_GcjyrecdET(a):
    return op_yuvXk3Mco8(op_xRrnTEsQ6j(op_bF6eod5Gvf(a,a),op_Noe24qw2ks(a,433)))

def op_count_GcjyrecdET(a):
    count = op_count_bF6eod5Gvf(a,a)+op_count_Noe24qw2ks(a,433)+op_count_xRrnTEsQ6j(op_bF6eod5Gvf(a,a),op_Noe24qw2ks(a,433))+op_count_yuvXk3Mco8(op_xRrnTEsQ6j(op_bF6eod5Gvf(a,a),op_Noe24qw2ks(a,433)))
    return count


def op_sJEWiGNnod(a):
    return op_neKQRQQIil(op_wisItNeSwq(a),op_TytFGXR7Zf(a))

def op_count_sJEWiGNnod(a):
    count = op_count_wisItNeSwq(a)+op_count_TytFGXR7Zf(a)+op_count_neKQRQQIil(op_wisItNeSwq(a),op_TytFGXR7Zf(a))
    return count


def op_bIzXLQEM7r(a):
    return op_IGFM8TAlm9(op_eVHdItn4YL(a))

def op_count_bIzXLQEM7r(a):
    count = op_count_eVHdItn4YL(a)+op_count_IGFM8TAlm9(op_eVHdItn4YL(a))
    return count


def op_lJQWCVzX43(a):
    return op_vRio1gEz1j(op_WObL9SsYVE(a,2))

def op_count_lJQWCVzX43(a):
    count = op_count_WObL9SsYVE(a,2)+op_count_vRio1gEz1j(op_WObL9SsYVE(a,2))
    return count


⋇↪≃a = { (a⊬⫿⊭) , if (⋃a)<51 ; a , else }

def op_qUHmkclnth(a):
    if op_3mBM5G4a3l(a) < 51:
        return op_v0DYgG9ikt(a)
    else:
        return a

def op_count_qUHmkclnth(a):
    if op_3mBM5G4a3l(a) < 51:
        count = op_count_v0DYgG9ikt(a)+op_count_3mBM5G4a3l(a)
    else:
        count = 1
    return count


def op_KqKv4PoU5n(a):
    return op_aHKFHkCgn9(op_nbuSfrB4hB(op_nbuSfrB4hB(71,a),op_2fAMLLeFHb(478)))

def op_count_KqKv4PoU5n(a):
    count = op_count_nbuSfrB4hB(71,a)+op_count_2fAMLLeFHb(478)+op_count_nbuSfrB4hB(op_nbuSfrB4hB(71,a),op_2fAMLLeFHb(478))+op_count_aHKFHkCgn9(op_nbuSfrB4hB(op_nbuSfrB4hB(71,a),op_2fAMLLeFHb(478)))
    return count


def op_Wtjyfs55pf(a):
    if op_jBC4ymW3D7(a,449) != 282 and a == 111 and a <= 28:
        return op_4kvgVkQeiQ(a)
    else:
        return op_7j4O788W3g(a,a)

def op_count_Wtjyfs55pf(a):
    if op_jBC4ymW3D7(a,449) != 282 and a == 111 and a <= 28:
        count = op_count_4kvgVkQeiQ(a)+op_count_jBC4ymW3D7(a,449)
    else:
        count = op_count_7j4O788W3g(a,a)
    return count


def op_fo48eGTxLC(a, b):
    if a >= 456:
        return b
    else:
        return op_C6VvDP6HwP(b)

def op_count_fo48eGTxLC(a, b):
    if a >= 456:
        count = 1
    else:
        count = op_count_C6VvDP6HwP(b)
    return count


def op_egjpgybkc0(a):
    return op_y4ImoPnbV5(op_oDvtRyfmAM(a),op_B3tNObfNaL(a))

def op_count_egjpgybkc0(a):
    count = op_count_oDvtRyfmAM(a)+op_count_B3tNObfNaL(a)+op_count_y4ImoPnbV5(op_oDvtRyfmAM(a),op_B3tNObfNaL(a))
    return count


a⊜⩙⪕ = { (↰⫏((a⨑≵⋬a)⊨(a⇄a))) , if a<12 ; (((a↪∷232)⊇≀≁)⇩↽) , else }

def op_t54qWMNiz9(a):
    if a < 12:
        return op_UeUK5QjOtW(op_vg4gO5BX6G(op_XnXgA4xnOs(a,a),op_3EYGwJThht(a,a)))
    else:
        return op_HjMFvreeUu(op_AfoL3wC8aT(op_Api82iH42a(a,232)))

def op_count_t54qWMNiz9(a):
    if a < 12:
        count = op_count_XnXgA4xnOs(a,a)+op_count_3EYGwJThht(a,a)+op_count_vg4gO5BX6G(op_XnXgA4xnOs(a,a),op_3EYGwJThht(a,a))+op_count_UeUK5QjOtW(op_vg4gO5BX6G(op_XnXgA4xnOs(a,a),op_3EYGwJThht(a,a)))
    else:
        count = op_count_Api82iH42a(a,232)+op_count_AfoL3wC8aT(op_Api82iH42a(a,232))+op_count_HjMFvreeUu(op_AfoL3wC8aT(op_Api82iH42a(a,232)))
    return count


def op_6z2K0DnYQv(a):
    return op_Noe24qw2ks(op_NdELin8EPX(a,op_KFSx94NKJn(a,a)),op_DpFCA1CohY(a))

def op_count_6z2K0DnYQv(a):
    count = op_count_KFSx94NKJn(a,a)+op_count_NdELin8EPX(a,op_KFSx94NKJn(a,a))+op_count_DpFCA1CohY(a)+op_count_Noe24qw2ks(op_NdELin8EPX(a,op_KFSx94NKJn(a,a)),op_DpFCA1CohY(a))
    return count


def op_5SK3UOPDfl(a, b):
    return op_3sJ7IOPOlU(op_wsXFuL0hC6(op_hmlrMsD2PO(a,a),op_bPywburJMS(b,b)),a)

def op_count_5SK3UOPDfl(a, b):
    count = op_count_hmlrMsD2PO(a,a)+op_count_bPywburJMS(b,b)+op_count_wsXFuL0hC6(op_hmlrMsD2PO(a,a),op_bPywburJMS(b,b))+op_count_3sJ7IOPOlU(op_wsXFuL0hC6(op_hmlrMsD2PO(a,a),op_bPywburJMS(b,b)),a)
    return count


def op_sW5uJ3Qy8r(a, b):
    if (a != 384 and op_DmTXOeWf9t(a,254) == 192):
        return op_aHKFHkCgn9(b)
    else:
        return op_k2HlF1dBQh(b)

def op_count_sW5uJ3Qy8r(a, b):
    if (a != 384 and op_DmTXOeWf9t(a,254) == 192):
        count = op_count_aHKFHkCgn9(b)+op_count_DmTXOeWf9t(a,254)
    else:
        count = op_count_k2HlF1dBQh(b)
    return count


def op_fh9nGe8eeS(a):
    return op_kbkesczE7y(a,a)

def op_count_fh9nGe8eeS(a):
    count = op_count_kbkesczE7y(a,a)
    return count


a⊜⋎⨰ = { ((a⪚134)⨵⪆(a⇥↓)) , if (∨a)==181 ; ((a⪿⇪⊩a)⫡⨏(a⫊⇚⊺a)) , else }

def op_f41ZsjPMQ7(a):
    if op_rIsGeVJWJF(a) == 181:
        return op_2DQ55sFlQl(op_HrjLwUk87U(a,134),op_KvubFp3XhO(a))
    else:
        return op_QMFrweE19q(op_OGWBzMv138(a,a),op_Y5cEcQhyKu(a,a))

def op_count_f41ZsjPMQ7(a):
    if op_rIsGeVJWJF(a) == 181:
        count = op_count_HrjLwUk87U(a,134)+op_count_KvubFp3XhO(a)+op_count_2DQ55sFlQl(op_HrjLwUk87U(a,134),op_KvubFp3XhO(a))+op_count_rIsGeVJWJF(a)
    else:
        count = op_count_OGWBzMv138(a,a)+op_count_Y5cEcQhyKu(a,a)+op_count_QMFrweE19q(op_OGWBzMv138(a,a),op_Y5cEcQhyKu(a,a))
    return count


a⨠⨓ = { ((a⫃⨇a)⪿⇪⊩(a⪶≀⋏a)) , if (⇾⩊⇾a)<=249 ; ((a⇤a)⩦(↞7)) , else }

def op_SJDOyeoSQD(a):
    if op_bx9Z9DAK5y(a) <= 249:
        return op_OGWBzMv138(op_09Ly4LVMIf(a,a),op_zR4jO40bMj(a,a))
    else:
        return op_0kmYd0q39Y(op_YSKBFp38Pu(a,a),op_QKXs96F9fN(7))

def op_count_SJDOyeoSQD(a):
    if op_bx9Z9DAK5y(a) <= 249:
        count = op_count_09Ly4LVMIf(a,a)+op_count_zR4jO40bMj(a,a)+op_count_OGWBzMv138(op_09Ly4LVMIf(a,a),op_zR4jO40bMj(a,a))+op_count_bx9Z9DAK5y(a)
    else:
        count = op_count_YSKBFp38Pu(a,a)+op_count_QKXs96F9fN(7)+op_count_0kmYd0q39Y(op_YSKBFp38Pu(a,a),op_QKXs96F9fN(7))
    return count


def op_eEHzvCyXuO(a):
    return op_KROiRRz3d6(op_MXaNJeIAZ3(op_oRDoc9rAEX(3,a)),a)

def op_count_eEHzvCyXuO(a):
    count = op_count_oRDoc9rAEX(3,a)+op_count_MXaNJeIAZ3(op_oRDoc9rAEX(3,a))+op_count_KROiRRz3d6(op_MXaNJeIAZ3(op_oRDoc9rAEX(3,a)),a)
    return count


def op_7Qh4uK5oHN(a, b):
    return op_EWw2JM7wp4(op_D3AQDKkPcf(a,b),op_oPMjh9089D(a))

def op_count_7Qh4uK5oHN(a, b):
    count = op_count_D3AQDKkPcf(a,b)+op_count_oPMjh9089D(a)+op_count_EWw2JM7wp4(op_D3AQDKkPcf(a,b),op_oPMjh9089D(a))
    return count


⫽⪃∩a = { ((a≽⪈↿a)⪎↠(a∶)) , if (a⋛∩⫮)!=141 ; (⫇⨷(14≽↲≰a)) , else }

def op_zsfYGRPJw1(a):
    if op_QDWDTvZtyM(a) != 141:
        return op_3tVxb0NHM4(op_inCIaGQf8u(a,a),op_7FnCP1ejHT(a))
    else:
        return op_ct1hK6qyRt(op_cFVlceoRkX(14,a))

def op_count_zsfYGRPJw1(a):
    if op_QDWDTvZtyM(a) != 141:
        count = op_count_inCIaGQf8u(a,a)+op_count_7FnCP1ejHT(a)+op_count_3tVxb0NHM4(op_inCIaGQf8u(a,a),op_7FnCP1ejHT(a))+op_count_QDWDTvZtyM(a)
    else:
        count = op_count_cFVlceoRkX(14,a)+op_count_ct1hK6qyRt(op_cFVlceoRkX(14,a))
    return count


def op_tBYU6worvm(a):
    if op_WObL9SsYVE(a,668) > 52:
        return op_WObL9SsYVE(op_UggxBX659n(op_09Ly4LVMIf(a,a),op_UggxBX659n(a,a)),op_8HCJqvcFkE(op_JgXZM7XvWE(654,a)))
    else:
        return op_nhYeJWJD5X(op_UqUOXUQnbU(op_2z8nE7LpCu(a,a),op_aiqF8n6J9c(81,736)),op_RHru8klgy8(op_12rbrZMWeM(a,278)))

def op_count_tBYU6worvm(a):
    if op_WObL9SsYVE(a,668) > 52:
        count = op_count_09Ly4LVMIf(a,a)+op_count_UggxBX659n(a,a)+op_count_UggxBX659n(op_09Ly4LVMIf(a,a),op_UggxBX659n(a,a))+op_count_JgXZM7XvWE(654,a)+op_count_8HCJqvcFkE(op_JgXZM7XvWE(654,a))+op_count_WObL9SsYVE(op_UggxBX659n(op_09Ly4LVMIf(a,a),op_UggxBX659n(a,a)),op_8HCJqvcFkE(op_JgXZM7XvWE(654,a)))+op_count_WObL9SsYVE(a,668)
    else:
        count = op_count_2z8nE7LpCu(a,a)+op_count_aiqF8n6J9c(81,736)+op_count_UqUOXUQnbU(op_2z8nE7LpCu(a,a),op_aiqF8n6J9c(81,736))+op_count_12rbrZMWeM(a,278)+op_count_RHru8klgy8(op_12rbrZMWeM(a,278))+op_count_nhYeJWJD5X(op_UqUOXUQnbU(op_2z8nE7LpCu(a,a),op_aiqF8n6J9c(81,736)),op_RHru8klgy8(op_12rbrZMWeM(a,278)))
    return count


def op_rmBUALaj1e(a):
    return op_vRio1gEz1j(op_KbjG8mgYpV(a,627))

def op_count_rmBUALaj1e(a):
    count = op_count_KbjG8mgYpV(a,627)+op_count_vRio1gEz1j(op_KbjG8mgYpV(a,627))
    return count


def op_gNtKED3RKN(a):
    return op_KbjG8mgYpV(op_PaBHOjxk8c(a),op_JoLB3LXqXx(a,57))

def op_count_gNtKED3RKN(a):
    count = op_count_PaBHOjxk8c(a)+op_count_JoLB3LXqXx(a,57)+op_count_KbjG8mgYpV(op_PaBHOjxk8c(a),op_JoLB3LXqXx(a,57))
    return count


def op_d7bqhxVNrw(a):
    return op_xRrnTEsQ6j(a,483)

def op_count_d7bqhxVNrw(a):
    count = op_count_xRrnTEsQ6j(a,483)
    return count


a⋔↾b = { b , if (b↜⊷525)>=230 ; (⨝⨆(b≠≀a)) , else }

def op_4kOif5u7B1(a, b):
    if op_irKjLsMeKy(b,525) >= 230:
        return b
    else:
        return op_bQ67fsrMVf(op_IwW236VD4Y(b,a))

def op_count_4kOif5u7B1(a, b):
    if op_irKjLsMeKy(b,525) >= 230:
        count = 1
    else:
        count = op_count_IwW236VD4Y(b,a)+op_count_bQ67fsrMVf(op_IwW236VD4Y(b,a))
    return count


a⩤⪞b = { ((296⪖⪡b)⨔⇊(⩆⇋b)) , if (b∵≐)>292 ; a , else }

def op_dVH6fed4yM(a, b):
    if op_59igzFyhWz(b) > 292:
        return op_JclMnS0uGI(op_7PjNe5qSIJ(296,b),op_IjUb3wyICU(b))
    else:
        return a

def op_count_dVH6fed4yM(a, b):
    if op_59igzFyhWz(b) > 292:
        count = op_count_7PjNe5qSIJ(296,b)+op_count_IjUb3wyICU(b)+op_count_JclMnS0uGI(op_7PjNe5qSIJ(296,b),op_IjUb3wyICU(b))+op_count_59igzFyhWz(b)
    else:
        count = 1
    return count


def op_3IOjIrkHfL(a, b):
    return op_UqUOXUQnbU(op_texHS70gxN(op_xRrnTEsQ6j(a,b)),op_s0IfDFCCuZ(a,op_KROiRRz3d6(a,59)))

def op_count_3IOjIrkHfL(a, b):
    count = op_count_xRrnTEsQ6j(a,b)+op_count_texHS70gxN(op_xRrnTEsQ6j(a,b))+op_count_KROiRRz3d6(a,59)+op_count_s0IfDFCCuZ(a,op_KROiRRz3d6(a,59))+op_count_UqUOXUQnbU(op_texHS70gxN(op_xRrnTEsQ6j(a,b)),op_s0IfDFCCuZ(a,op_KROiRRz3d6(a,59)))
    return count


def op_EfenYpFauP(a):
    if op_XPYlsWDdGa(a) <= 185:
        return op_AFVx7xoS7T(a,637)
    else:
        return op_u7fv1HBiaC(a)

def op_count_EfenYpFauP(a):
    if op_XPYlsWDdGa(a) <= 185:
        count = op_count_AFVx7xoS7T(a,637)+op_count_XPYlsWDdGa(a)
    else:
        count = op_count_u7fv1HBiaC(a)
    return count


def op_odAlpbaTfn(a):
    return op_g55IO6H4Gj(a,op_LYeZOJ0nQG(a))

def op_count_odAlpbaTfn(a):
    count = op_count_LYeZOJ0nQG(a)+op_count_g55IO6H4Gj(a,op_LYeZOJ0nQG(a))
    return count


a⋁⪕b = { (b⪖⪡a) , if (⩪∧⨌b)>86 ; (⩦⩻⨪a) , else }

def op_2cbslIIPJD(a, b):
    if op_6iOiAJX1F8(b) > 86:
        return op_7PjNe5qSIJ(b,a)
    else:
        return op_2td37pGCOC(a)

def op_count_2cbslIIPJD(a, b):
    if op_6iOiAJX1F8(b) > 86:
        count = op_count_7PjNe5qSIJ(b,a)+op_count_6iOiAJX1F8(b)
    else:
        count = op_count_2td37pGCOC(a)
    return count


a≴b = { (((a⪔⊥a)⇖↽(786≃b))⫇⋯(↸⊣(a⋰⇉∕a))) }

def op_Vi6WqFWRmt(a, b):
    return op_xoJmIySC7h(op_cwbF3JtlMN(op_HJ9erzHUuu(a,a),op_YbVcJGFEVW(786,b)),op_wztAlM01eG(op_sM9mzqIDB1(a,a)))

def op_count_Vi6WqFWRmt(a, b):
    count = op_count_HJ9erzHUuu(a,a)+op_count_YbVcJGFEVW(786,b)+op_count_cwbF3JtlMN(op_HJ9erzHUuu(a,a),op_YbVcJGFEVW(786,b))+op_count_sM9mzqIDB1(a,a)+op_count_wztAlM01eG(op_sM9mzqIDB1(a,a))+op_count_xoJmIySC7h(op_cwbF3JtlMN(op_HJ9erzHUuu(a,a),op_YbVcJGFEVW(786,b)),op_wztAlM01eG(op_sM9mzqIDB1(a,a)))
    return count


a⩝∍∂b = { (((b⊬⨰b)⊬⨰(a⨔⊶↷a))⫚↹⊑((⇙⪊b)⨵⪆(⨂⪏⇭a))) }

def op_6wBhCzx1ue(a, b):
    return op_dfKe02y8D2(op_s3Fd5m9Dh2(op_s3Fd5m9Dh2(b,b),op_WObL9SsYVE(a,a)),op_2DQ55sFlQl(op_pB6Fcnrjim(b),op_AYdpE9sXAk(a)))

def op_count_6wBhCzx1ue(a, b):
    count = op_count_s3Fd5m9Dh2(b,b)+op_count_WObL9SsYVE(a,a)+op_count_s3Fd5m9Dh2(op_s3Fd5m9Dh2(b,b),op_WObL9SsYVE(a,a))+op_count_pB6Fcnrjim(b)+op_count_AYdpE9sXAk(a)+op_count_2DQ55sFlQl(op_pB6Fcnrjim(b),op_AYdpE9sXAk(a))+op_count_dfKe02y8D2(op_s3Fd5m9Dh2(op_s3Fd5m9Dh2(b,b),op_WObL9SsYVE(a,a)),op_2DQ55sFlQl(op_pB6Fcnrjim(b),op_AYdpE9sXAk(a)))
    return count


a⪔⇥⋛ = { (((a⇊⊒⫧)⊢≏≾(a⩶))⪿⇪⊩(⨾∊⩁(395≧⫂∧a))) }

def op_0gYq9vLqtm(a):
    return op_OGWBzMv138(op_qxqspddX8k(op_eIba4BG3xN(a),op_yuvXk3Mco8(a)),op_QErWpSDGk0(op_Ph9nP6C5qx(395,a)))

def op_count_0gYq9vLqtm(a):
    count = op_count_eIba4BG3xN(a)+op_count_yuvXk3Mco8(a)+op_count_qxqspddX8k(op_eIba4BG3xN(a),op_yuvXk3Mco8(a))+op_count_Ph9nP6C5qx(395,a)+op_count_QErWpSDGk0(op_Ph9nP6C5qx(395,a))+op_count_OGWBzMv138(op_qxqspddX8k(op_eIba4BG3xN(a),op_yuvXk3Mco8(a)),op_QErWpSDGk0(op_Ph9nP6C5qx(395,a)))
    return count


a⩙⪻b = { (((a⋅∹⩇)⋆⋳)⨣∐↬((a⫚↹⊑55)∷(b⩘⋿a))) }

def op_Y0zpOQG4YL(a, b):
    return op_UpkSd4zESC(op_6MpZysEj17(op_Tmr9JGNMVH(a)),op_D3AQDKkPcf(op_dfKe02y8D2(a,55),op_64EQ39e0fC(b,a)))

def op_count_Y0zpOQG4YL(a, b):
    count = op_count_Tmr9JGNMVH(a)+op_count_6MpZysEj17(op_Tmr9JGNMVH(a))+op_count_dfKe02y8D2(a,55)+op_count_64EQ39e0fC(b,a)+op_count_D3AQDKkPcf(op_dfKe02y8D2(a,55),op_64EQ39e0fC(b,a))+op_count_UpkSd4zESC(op_6MpZysEj17(op_Tmr9JGNMVH(a)),op_D3AQDKkPcf(op_dfKe02y8D2(a,55),op_64EQ39e0fC(b,a)))
    return count


def op_schmcmpRvD(a, b):
    return op_Wm7LHi3c8p(op_OGWBzMv138(b,a))

def op_count_schmcmpRvD(a, b):
    count = op_count_OGWBzMv138(b,a)+op_count_Wm7LHi3c8p(op_OGWBzMv138(b,a))
    return count


def op_GdxEb1fKkV(a):
    return op_OKKcZfAt5B(op_w2P8NbNXyL(op_P8v4zCKN1o(a),op_LkLIoiE525(a)),a)

def op_count_GdxEb1fKkV(a):
    count = op_count_P8v4zCKN1o(a)+op_count_LkLIoiE525(a)+op_count_w2P8NbNXyL(op_P8v4zCKN1o(a),op_LkLIoiE525(a))+op_count_OKKcZfAt5B(op_w2P8NbNXyL(op_P8v4zCKN1o(a),op_LkLIoiE525(a)),a)
    return count