a↷≴⇸b = { ((7⊔%42)≶(b≧⫂∧b)) , if (⇝⋾⇵a)<281 ; ((a⩚⊴⇥a)≚⊃≕(⨡↴a)) , else }

def op_XqmdbkTMqA(a, b):
    if op_6l7ULzJsnZ(a) < 281:
        return op_Q2SPaKwpPJ(op_uysxUYN2L2(7,42),op_Ph9nP6C5qx(b,b))
    else:
        return op_Bmrmz2XGnR(op_NTOWxs364D(a,a),op_liw5iZPkLH(a))

def op_count_XqmdbkTMqA(a, b):
    if op_6l7ULzJsnZ(a) < 281:
        count = op_count_uysxUYN2L2(7,42)+op_count_Ph9nP6C5qx(b,b)+op_count_Q2SPaKwpPJ(op_uysxUYN2L2(7,42),op_Ph9nP6C5qx(b,b))+op_count_6l7ULzJsnZ(a)
    else:
        count = op_count_NTOWxs364D(a,a)+op_count_liw5iZPkLH(a)+op_count_Bmrmz2XGnR(op_NTOWxs364D(a,a),op_liw5iZPkLH(a))
    return count


def op_Q2SbzXtpD3(a):
    if op_qU6oQAhJaQ(a) <= 333:
        return op_s3Fd5m9Dh2(op_4JGOJzXMq1(275,a),op_eaFBhJ0Uku(0,a))
    else:
        return op_b1mGkbI4Oy(op_86A5ENbKR9(a),op_eewbuw0ToL(a,a))

def op_count_Q2SbzXtpD3(a):
    if op_qU6oQAhJaQ(a) <= 333:
        count = op_count_4JGOJzXMq1(275,a)+op_count_eaFBhJ0Uku(0,a)+op_count_s3Fd5m9Dh2(op_4JGOJzXMq1(275,a),op_eaFBhJ0Uku(0,a))+op_count_qU6oQAhJaQ(a)
    else:
        count = op_count_86A5ENbKR9(a)+op_count_eewbuw0ToL(a,a)+op_count_b1mGkbI4Oy(op_86A5ENbKR9(a),op_eewbuw0ToL(a,a))
    return count


def op_y16C4hJIbn(a, b):
    return op_nlCqmYiOvY(op_8cLx32lpNA(b,a))

def op_count_y16C4hJIbn(a, b):
    count = op_count_8cLx32lpNA(b,a)+op_count_nlCqmYiOvY(op_8cLx32lpNA(b,a))
    return count


a⇫∛⊐b = { (((a⩼⇪↪a)⫦∱⫙)≽⪈↿((a∷)≼(b⫰⋱b))) }

def op_fbEriRfOkh(a, b):
    return op_inCIaGQf8u(op_tHMVLcQ9bH(op_ocnLzx9CaJ(a,a)),op_SPuZE40Ntn(op_nFAOW8KTqp(a),op_6o9Blt3TJ6(b,b)))

def op_count_fbEriRfOkh(a, b):
    count = op_count_ocnLzx9CaJ(a,a)+op_count_tHMVLcQ9bH(op_ocnLzx9CaJ(a,a))+op_count_nFAOW8KTqp(a)+op_count_6o9Blt3TJ6(b,b)+op_count_SPuZE40Ntn(op_nFAOW8KTqp(a),op_6o9Blt3TJ6(b,b))+op_count_inCIaGQf8u(op_tHMVLcQ9bH(op_ocnLzx9CaJ(a,a)),op_SPuZE40Ntn(op_nFAOW8KTqp(a),op_6o9Blt3TJ6(b,b)))
    return count


def op_YbZxT5zkAA(a):
    return op_BX1lVwlMe0(op_eewbuw0ToL(op_3EYGwJThht(a,310),op_uysxUYN2L2(a,a)))

def op_count_YbZxT5zkAA(a):
    count = op_count_3EYGwJThht(a,310)+op_count_uysxUYN2L2(a,a)+op_count_eewbuw0ToL(op_3EYGwJThht(a,310),op_uysxUYN2L2(a,a))+op_count_BX1lVwlMe0(op_eewbuw0ToL(op_3EYGwJThht(a,310),op_uysxUYN2L2(a,a)))
    return count


def op_CVVYKrfexc(a):
    return op_umQnsF7QlU(op_dwb5p0fa6d(a),op_kbkesczE7y(a,a))

def op_count_CVVYKrfexc(a):
    count = op_count_dwb5p0fa6d(a)+op_count_kbkesczE7y(a,a)+op_count_umQnsF7QlU(op_dwb5p0fa6d(a),op_kbkesczE7y(a,a))
    return count


def op_EccndXHfjJ(a):
    return op_DZ8iAZOCBD(a,a)

def op_count_EccndXHfjJ(a):
    count = op_count_DZ8iAZOCBD(a,a)
    return count


a∇∹b = { (((b⪕367)⨚(a∄a))≭⫡(⋽⪳⨃(b⋰⇉∕b))) }

def op_NQx0zRYggH(a, b):
    return op_b1mGkbI4Oy(op_nREPSIbpBE(op_umQnsF7QlU(b,367),op_tnyRA5sazQ(a,a)),op_qAljGMXEZr(op_sM9mzqIDB1(b,b)))

def op_count_NQx0zRYggH(a, b):
    count = op_count_umQnsF7QlU(b,367)+op_count_tnyRA5sazQ(a,a)+op_count_nREPSIbpBE(op_umQnsF7QlU(b,367),op_tnyRA5sazQ(a,a))+op_count_sM9mzqIDB1(b,b)+op_count_qAljGMXEZr(op_sM9mzqIDB1(b,b))+op_count_b1mGkbI4Oy(op_nREPSIbpBE(op_umQnsF7QlU(b,367),op_tnyRA5sazQ(a,a)),op_qAljGMXEZr(op_sM9mzqIDB1(b,b)))
    return count


→⊛a = { (((a≻⇥≳a)∙∹∝(70↰))⫯⪬∳((a⋥≓≎a)⪇≇⋚(a∴a))) }

def op_OG4QiCaPPM(a):
    return op_d7ASUq0ydm(op_HmxsFra2vL(op_aiqF8n6J9c(a,a),op_bl5wxAcryP(70)),op_3sJ7IOPOlU(op_Qy55tPpLXF(a,a),op_hrf7POJlIJ(a,a)))

def op_count_OG4QiCaPPM(a):
    count = op_count_aiqF8n6J9c(a,a)+op_count_bl5wxAcryP(70)+op_count_HmxsFra2vL(op_aiqF8n6J9c(a,a),op_bl5wxAcryP(70))+op_count_Qy55tPpLXF(a,a)+op_count_hrf7POJlIJ(a,a)+op_count_3sJ7IOPOlU(op_Qy55tPpLXF(a,a),op_hrf7POJlIJ(a,a))+op_count_d7ASUq0ydm(op_HmxsFra2vL(op_aiqF8n6J9c(a,a),op_bl5wxAcryP(70)),op_3sJ7IOPOlU(op_Qy55tPpLXF(a,a),op_hrf7POJlIJ(a,a)))
    return count


def op_PujSanDGK5(a, b):
    return op_DE7zCoGJt9(op_2DDjHMKMc0(a,b))

def op_count_PujSanDGK5(a, b):
    count = op_count_2DDjHMKMc0(a,b)+op_count_DE7zCoGJt9(op_2DDjHMKMc0(a,b))
    return count


def op_WhLZVKcfVG(a):
    return op_S56z7WVPBn(op_vg4gO5BX6G(op_zFNL8mZEFB(441,a),op_DmTXOeWf9t(a,a)))

def op_count_WhLZVKcfVG(a):
    count = op_count_zFNL8mZEFB(441,a)+op_count_DmTXOeWf9t(a,a)+op_count_vg4gO5BX6G(op_zFNL8mZEFB(441,a),op_DmTXOeWf9t(a,a))+op_count_S56z7WVPBn(op_vg4gO5BX6G(op_zFNL8mZEFB(441,a),op_DmTXOeWf9t(a,a)))
    return count


⋨⫢a = { (((184∇⊂⋱a)⨜⨶(a⪠⩆⊳))⩹((a⫡⨏a)≧⊼(≿⇫a))) }

def op_rZXkIvFNZ8(a):
    return op_2Wsdkap16l(op_HiPekx5b7W(op_nhYeJWJD5X(184,a),op_JLbD19bQDL(a)),op_JoLB3LXqXx(op_QMFrweE19q(a,a),op_3A1e9zoj8h(a)))

def op_count_rZXkIvFNZ8(a):
    count = op_count_nhYeJWJD5X(184,a)+op_count_JLbD19bQDL(a)+op_count_HiPekx5b7W(op_nhYeJWJD5X(184,a),op_JLbD19bQDL(a))+op_count_QMFrweE19q(a,a)+op_count_3A1e9zoj8h(a)+op_count_JoLB3LXqXx(op_QMFrweE19q(a,a),op_3A1e9zoj8h(a))+op_count_2Wsdkap16l(op_HiPekx5b7W(op_nhYeJWJD5X(184,a),op_JLbD19bQDL(a)),op_JoLB3LXqXx(op_QMFrweE19q(a,a),op_3A1e9zoj8h(a)))
    return count


def op_LBL36x6Kn9(a):
    return op_neKQRQQIil(op_eVHdItn4YL(a),op_qy3n0tapmE(a,43))

def op_count_LBL36x6Kn9(a):
    count = op_count_eVHdItn4YL(a)+op_count_qy3n0tapmE(a,43)+op_count_neKQRQQIil(op_eVHdItn4YL(a),op_qy3n0tapmE(a,43))
    return count


a⫛≵→b = { ((a⨳⩥⨓(a⩵∡a))≣((⪁⇼b)⊋≦⊧(318⊒a))) }

def op_bvqU1ecX5M(a, b):
    return op_ObEyaaML9x(op_nCS4ZIUYfx(a,op_Y7wcNGrDQJ(a,a)),op_oRDoc9rAEX(op_ZNVVrZ94lY(b),op_rPNtK4BLRO(318,a)))

def op_count_bvqU1ecX5M(a, b):
    count = op_count_Y7wcNGrDQJ(a,a)+op_count_nCS4ZIUYfx(a,op_Y7wcNGrDQJ(a,a))+op_count_ZNVVrZ94lY(b)+op_count_rPNtK4BLRO(318,a)+op_count_oRDoc9rAEX(op_ZNVVrZ94lY(b),op_rPNtK4BLRO(318,a))+op_count_ObEyaaML9x(op_nCS4ZIUYfx(a,op_Y7wcNGrDQJ(a,a)),op_oRDoc9rAEX(op_ZNVVrZ94lY(b),op_rPNtK4BLRO(318,a)))
    return count


def op_IdpAe6zfUM(a, b):
    return op_y4ImoPnbV5(b,op_nCS4ZIUYfx(op_inCIaGQf8u(a,b),op_PxiHyQbrIp(b)))

def op_count_IdpAe6zfUM(a, b):
    count = op_count_inCIaGQf8u(a,b)+op_count_PxiHyQbrIp(b)+op_count_nCS4ZIUYfx(op_inCIaGQf8u(a,b),op_PxiHyQbrIp(b))+op_count_y4ImoPnbV5(b,op_nCS4ZIUYfx(op_inCIaGQf8u(a,b),op_PxiHyQbrIp(b)))
    return count


def op_BM16iZzMx8(a, b):
    return op_vRio1gEz1j(op_IwW236VD4Y(op_w2P8NbNXyL(a,a),op_neKQRQQIil(b,b)))

def op_count_BM16iZzMx8(a, b):
    count = op_count_w2P8NbNXyL(a,a)+op_count_neKQRQQIil(b,b)+op_count_IwW236VD4Y(op_w2P8NbNXyL(a,a),op_neKQRQQIil(b,b))+op_count_vRio1gEz1j(op_IwW236VD4Y(op_w2P8NbNXyL(a,a),op_neKQRQQIil(b,b)))
    return count


def op_18CcQZfkTA(a, b):
    return op_t8gj7n24qd(op_qxqspddX8k(op_DE7zCoGJt9(467),op_D3AQDKkPcf(a,b)))

def op_count_18CcQZfkTA(a, b):
    count = op_count_DE7zCoGJt9(467)+op_count_D3AQDKkPcf(a,b)+op_count_qxqspddX8k(op_DE7zCoGJt9(467),op_D3AQDKkPcf(a,b))+op_count_t8gj7n24qd(op_qxqspddX8k(op_DE7zCoGJt9(467),op_D3AQDKkPcf(a,b)))
    return count


def op_ymOBY7rw1m(a, b):
    return op_18saOjeKKm(op_kbkesczE7y(b,a))

def op_count_ymOBY7rw1m(a, b):
    count = op_count_kbkesczE7y(b,a)+op_count_18saOjeKKm(op_kbkesczE7y(b,a))
    return count


a⇒⪻ = { (((a≏⨯⊱a)⊢≏≾(a≦↸a))⪒⊣⊆((a→⨶⪴a)↱⊪⇍)) , if (∨⫘⊿a)<53 ; (((a⫦∱⫙)∮⨁)≽↲≰((a∌↝74)↭↢≔)) , else }

def op_B3q7qrNGz8(a):
    if op_qxp9F1VMeC(a) < 53:
        return op_eRqsBgTDFp(op_qxqspddX8k(op_UqUOXUQnbU(a,a),op_RygbFNSyEJ(a,a)),op_Zubgv0tBda(op_bF6eod5Gvf(a,a)))
    else:
        return op_cFVlceoRkX(op_TytFGXR7Zf(op_tHMVLcQ9bH(a)),op_Q6LsZf8ZYd(op_9Isq31Ruls(a,74)))

def op_count_B3q7qrNGz8(a):
    if op_qxp9F1VMeC(a) < 53:
        count = op_count_UqUOXUQnbU(a,a)+op_count_RygbFNSyEJ(a,a)+op_count_qxqspddX8k(op_UqUOXUQnbU(a,a),op_RygbFNSyEJ(a,a))+op_count_bF6eod5Gvf(a,a)+op_count_Zubgv0tBda(op_bF6eod5Gvf(a,a))+op_count_eRqsBgTDFp(op_qxqspddX8k(op_UqUOXUQnbU(a,a),op_RygbFNSyEJ(a,a)),op_Zubgv0tBda(op_bF6eod5Gvf(a,a)))+op_count_qxp9F1VMeC(a)
    else:
        count = op_count_tHMVLcQ9bH(a)+op_count_TytFGXR7Zf(op_tHMVLcQ9bH(a))+op_count_9Isq31Ruls(a,74)+op_count_Q6LsZf8ZYd(op_9Isq31Ruls(a,74))+op_count_cFVlceoRkX(op_TytFGXR7Zf(op_tHMVLcQ9bH(a)),op_Q6LsZf8ZYd(op_9Isq31Ruls(a,74)))
    return count


a⊃⋓b = { ((∦b)⪭(b∇⊂⋱a)) , if a>=13 and a<=687 ; ((a⫏↛⩏280)≭⫡(a⩘⋿b)) , else }

def op_UdJFuQTeHN(a, b):
    if a >= 13 and a <= 687:
        return op_j9kHMeSvPp(op_ew17WAA8t6(b),op_nhYeJWJD5X(b,a))
    else:
        return op_b1mGkbI4Oy(op_YC3tgrnOyr(a,280),op_64EQ39e0fC(a,b))

def op_count_UdJFuQTeHN(a, b):
    if a >= 13 and a <= 687:
        count = op_count_ew17WAA8t6(b)+op_count_nhYeJWJD5X(b,a)+op_count_j9kHMeSvPp(op_ew17WAA8t6(b),op_nhYeJWJD5X(b,a))
    else:
        count = op_count_YC3tgrnOyr(a,280)+op_count_64EQ39e0fC(a,b)+op_count_b1mGkbI4Oy(op_YC3tgrnOyr(a,280),op_64EQ39e0fC(a,b))
    return count


def op_znPQRmAWMo(a):
    return op_6o9Blt3TJ6(op_FB83X2dByY(47),op_HjMFvreeUu(a))

def op_count_znPQRmAWMo(a):
    count = op_count_FB83X2dByY(47)+op_count_HjMFvreeUu(a)+op_count_6o9Blt3TJ6(op_FB83X2dByY(47),op_HjMFvreeUu(a))
    return count


def op_TbUuY2B3fX(a, b):
    if (b > 92 or a < 611):
        return op_tnyRA5sazQ(op_7j4O788W3g(b,15),op_eftAHwPbeA(b))
    else:
        return op_4JB6nKBMSY(op_d8xe6WWVfM(0,a),op_o575Zjdmzy(a))

def op_count_TbUuY2B3fX(a, b):
    if (b > 92 or a < 611):
        count = op_count_7j4O788W3g(b,15)+op_count_eftAHwPbeA(b)+op_count_tnyRA5sazQ(op_7j4O788W3g(b,15),op_eftAHwPbeA(b))
    else:
        count = op_count_d8xe6WWVfM(0,a)+op_count_o575Zjdmzy(a)+op_count_4JB6nKBMSY(op_d8xe6WWVfM(0,a),op_o575Zjdmzy(a))
    return count


def op_T1BnIDZEwD(a):
    return op_dAAkup5nzi(op_gx7XJ7hdpj(a,a),op_Qaz2MhZaG5(44,a))

def op_count_T1BnIDZEwD(a):
    count = op_count_gx7XJ7hdpj(a,a)+op_count_Qaz2MhZaG5(44,a)+op_count_dAAkup5nzi(op_gx7XJ7hdpj(a,a),op_Qaz2MhZaG5(44,a))
    return count


a⋯⋴≚ = { ((a⊲⩕⊾a)⫰⋱a) , if a<279 ; ((a⩶)⋘7) , else }

def op_wfE0wtnF43(a):
    if a < 279:
        return op_6o9Blt3TJ6(op_DmTXOeWf9t(a,a),a)
    else:
        return op_2M7SKlOzyM(op_yuvXk3Mco8(a),7)

def op_count_wfE0wtnF43(a):
    if a < 279:
        count = op_count_DmTXOeWf9t(a,a)+op_count_6o9Blt3TJ6(op_DmTXOeWf9t(a,a),a)
    else:
        count = op_count_yuvXk3Mco8(a)+op_count_2M7SKlOzyM(op_yuvXk3Mco8(a),7)
    return count


def op_gNXQhL1a2M(a):
    return op_NdELin8EPX(op_2z8nE7LpCu(op_rPNtK4BLRO(a,a),op_eRqsBgTDFp(0,213)),op_tIhPxZTbsh(op_LkLIoiE525(256),op_QvoQhV0rrE(441,a)))

def op_count_gNXQhL1a2M(a):
    count = op_count_rPNtK4BLRO(a,a)+op_count_eRqsBgTDFp(0,213)+op_count_2z8nE7LpCu(op_rPNtK4BLRO(a,a),op_eRqsBgTDFp(0,213))+op_count_LkLIoiE525(256)+op_count_QvoQhV0rrE(441,a)+op_count_tIhPxZTbsh(op_LkLIoiE525(256),op_QvoQhV0rrE(441,a))+op_count_NdELin8EPX(op_2z8nE7LpCu(op_rPNtK4BLRO(a,a),op_eRqsBgTDFp(0,213)),op_tIhPxZTbsh(op_LkLIoiE525(256),op_QvoQhV0rrE(441,a)))
    return count


def op_vqGKxYkFQP(a):
    return op_j9kHMeSvPp(op_wEfv7U73WA(op_OWnFPqjWlR(a,a)),op_3FtlcrQcJU(op_f6k1SAg4EE(a,a)))

def op_count_vqGKxYkFQP(a):
    count = op_count_OWnFPqjWlR(a,a)+op_count_wEfv7U73WA(op_OWnFPqjWlR(a,a))+op_count_f6k1SAg4EE(a,a)+op_count_3FtlcrQcJU(op_f6k1SAg4EE(a,a))+op_count_j9kHMeSvPp(op_wEfv7U73WA(op_OWnFPqjWlR(a,a)),op_3FtlcrQcJU(op_f6k1SAg4EE(a,a)))
    return count


def op_GpaMVvzqzR(a):
    return op_8n5YIzOsVS(op_keuJNkrrbj(37,a))

def op_count_GpaMVvzqzR(a):
    count = op_count_keuJNkrrbj(37,a)+op_count_8n5YIzOsVS(op_keuJNkrrbj(37,a))
    return count


a↢⩴⊓ = { (((⇝⋾⇵a)⪉⨛(a⇄a))∘(29⪁⨴⋨(a⪦⩸a))) }

def op_p5EKSREWb9(a):
    return op_Z5m6OM72h2(op_EWw2JM7wp4(op_6l7ULzJsnZ(a),op_3EYGwJThht(a,a)),op_y2kQTS4a70(29,op_0JWJYFSzIQ(a,a)))

def op_count_p5EKSREWb9(a):
    count = op_count_6l7ULzJsnZ(a)+op_count_3EYGwJThht(a,a)+op_count_EWw2JM7wp4(op_6l7ULzJsnZ(a),op_3EYGwJThht(a,a))+op_count_0JWJYFSzIQ(a,a)+op_count_y2kQTS4a70(29,op_0JWJYFSzIQ(a,a))+op_count_Z5m6OM72h2(op_EWw2JM7wp4(op_6l7ULzJsnZ(a),op_3EYGwJThht(a,a)),op_y2kQTS4a70(29,op_0JWJYFSzIQ(a,a)))
    return count


def op_PJGQTStt8b(a):
    return op_Sq3AGanRSD(op_g7Hmc5v1ko(a,a),op_Q9TX5pQS3Y(a))

def op_count_PJGQTStt8b(a):
    count = op_count_g7Hmc5v1ko(a,a)+op_count_Q9TX5pQS3Y(a)+op_count_Sq3AGanRSD(op_g7Hmc5v1ko(a,a),op_Q9TX5pQS3Y(a))
    return count


a∿∦ = { (a∄a) , if (⇾⩊⇾a)>=40 ; (a⫋) , else }

def op_VDGmRyWY74(a):
    if op_bx9Z9DAK5y(a) >= 40:
        return op_tnyRA5sazQ(a,a)
    else:
        return op_mhIhit33mg(a)

def op_count_VDGmRyWY74(a):
    if op_bx9Z9DAK5y(a) >= 40:
        count = op_count_tnyRA5sazQ(a,a)+op_count_bx9Z9DAK5y(a)
    else:
        count = op_count_mhIhit33mg(a)
    return count


a⋖⫮⨶b = { (((224⪈⋁⩁b)⇴b)⊓≱(⊁⨺(b⨰↻⪇a))) , if (⇙⪊b)!=595 ; (a→⨶⪴(⇺⪔⩬(b⨜⨶a))) , else }

def op_XyZAxhsQYV(a, b):
    if op_pB6Fcnrjim(b) != 595:
        return op_VCG3UHNzLR(op_4JB6nKBMSY(op_GMyVS5K48T(224,b),b),op_PxiHyQbrIp(op_nbuSfrB4hB(b,a)))
    else:
        return op_bF6eod5Gvf(a,op_lAOUD4ZMWV(op_HiPekx5b7W(b,a)))

def op_count_XyZAxhsQYV(a, b):
    if op_pB6Fcnrjim(b) != 595:
        count = op_count_GMyVS5K48T(224,b)+op_count_4JB6nKBMSY(op_GMyVS5K48T(224,b),b)+op_count_nbuSfrB4hB(b,a)+op_count_PxiHyQbrIp(op_nbuSfrB4hB(b,a))+op_count_VCG3UHNzLR(op_4JB6nKBMSY(op_GMyVS5K48T(224,b),b),op_PxiHyQbrIp(op_nbuSfrB4hB(b,a)))+op_count_pB6Fcnrjim(b)
    else:
        count = op_count_HiPekx5b7W(b,a)+op_count_lAOUD4ZMWV(op_HiPekx5b7W(b,a))+op_count_bF6eod5Gvf(a,op_lAOUD4ZMWV(op_HiPekx5b7W(b,a)))
    return count


def op_7hyb9xRI7V(a):
    return op_umQnsF7QlU(a,a)

def op_count_7hyb9xRI7V(a):
    count = op_count_umQnsF7QlU(a,a)
    return count


def op_nWHsyAHoNI(a):
    return op_keuJNkrrbj(a,385)

def op_count_nWHsyAHoNI(a):
    count = op_count_keuJNkrrbj(a,385)
    return count


def op_qXixNyknYw(a):
    return op_Q2SPaKwpPJ(op_UoVew8f2p2(op_2M7SKlOzyM(a,a),op_Y9dhGmbGii(a)),op_09Ly4LVMIf(op_QMFrweE19q(a,a),op_IwW236VD4Y(a,347)))

def op_count_qXixNyknYw(a):
    count = op_count_2M7SKlOzyM(a,a)+op_count_Y9dhGmbGii(a)+op_count_UoVew8f2p2(op_2M7SKlOzyM(a,a),op_Y9dhGmbGii(a))+op_count_QMFrweE19q(a,a)+op_count_IwW236VD4Y(a,347)+op_count_09Ly4LVMIf(op_QMFrweE19q(a,a),op_IwW236VD4Y(a,347))+op_count_Q2SPaKwpPJ(op_UoVew8f2p2(op_2M7SKlOzyM(a,a),op_Y9dhGmbGii(a)),op_09Ly4LVMIf(op_QMFrweE19q(a,a),op_IwW236VD4Y(a,347)))
    return count


a⋽≿⩈b = { (((b↹⊜209)≜)⪈⋁⩁((a⩍⋽⫝̸b)⪶≀⋏a)) }

def op_A1lUXjvBPn(a, b):
    return op_GMyVS5K48T(op_jvbZP6NeOL(op_9bazX3JMtO(b,209)),op_zR4jO40bMj(op_BiWNJpBvwn(a,b),a))

def op_count_A1lUXjvBPn(a, b):
    count = op_count_9bazX3JMtO(b,209)+op_count_jvbZP6NeOL(op_9bazX3JMtO(b,209))+op_count_BiWNJpBvwn(a,b)+op_count_zR4jO40bMj(op_BiWNJpBvwn(a,b),a)+op_count_GMyVS5K48T(op_jvbZP6NeOL(op_9bazX3JMtO(b,209)),op_zR4jO40bMj(op_BiWNJpBvwn(a,b),a))
    return count


def op_PEDxqk51Tr(a, b):
    if a <= 526 and op_YjI8oCXuph(a) >= 217 and op_Rw46J52cBJ(a,487) < 357:
        return op_12rbrZMWeM(b,b)
    else:
        return op_Y5cEcQhyKu(317,b)

def op_count_PEDxqk51Tr(a, b):
    if a <= 526 and op_YjI8oCXuph(a) >= 217 and op_Rw46J52cBJ(a,487) < 357:
        count = op_count_12rbrZMWeM(b,b)+op_count_YjI8oCXuph(a)+op_count_Rw46J52cBJ(a,487)
    else:
        count = op_count_Y5cEcQhyKu(317,b)
    return count


⪴⋶a = { (((a⪢⋭)+⪬∐(509⪦⩸a))⩼⇪↪(⪆(⪞⋲≾a))) }

def op_3EzLc2iFEa(a):
    return op_ocnLzx9CaJ(op_2GS7woTJqF(op_csT5a4elgc(a),op_0JWJYFSzIQ(509,a)),op_KWeyIRWUIQ(op_kz228nwi0J(a)))

def op_count_3EzLc2iFEa(a):
    count = op_count_csT5a4elgc(a)+op_count_0JWJYFSzIQ(509,a)+op_count_2GS7woTJqF(op_csT5a4elgc(a),op_0JWJYFSzIQ(509,a))+op_count_kz228nwi0J(a)+op_count_KWeyIRWUIQ(op_kz228nwi0J(a))+op_count_ocnLzx9CaJ(op_2GS7woTJqF(op_csT5a4elgc(a),op_0JWJYFSzIQ(509,a)),op_KWeyIRWUIQ(op_kz228nwi0J(a)))
    return count


a⫨⫝b = { (b⋢a) , if (⇒⊙∲b)>=194 ; (≦a) , else }

def op_oZOveWwr9y(a, b):
    if op_8HCJqvcFkE(b) >= 194:
        return op_NdELin8EPX(b,a)
    else:
        return op_RPa3726CSl(a)

def op_count_oZOveWwr9y(a, b):
    if op_8HCJqvcFkE(b) >= 194:
        count = op_count_NdELin8EPX(b,a)+op_count_8HCJqvcFkE(b)
    else:
        count = op_count_RPa3726CSl(a)
    return count


a⩈⩕⇁b = { (⪲⇎b) , if (⪆a)>575 ; (b⪿⇪⊩a) , else }

def op_kUwfQWDciI(a, b):
    if op_KWeyIRWUIQ(a) > 575:
        return op_XPYlsWDdGa(b)
    else:
        return op_OGWBzMv138(b,a)

def op_count_kUwfQWDciI(a, b):
    if op_KWeyIRWUIQ(a) > 575:
        count = op_count_XPYlsWDdGa(b)+op_count_KWeyIRWUIQ(a)
    else:
        count = op_count_OGWBzMv138(b,a)
    return count


a⊎⊞⋸b = { (b≝⊿b) , if (⪲⇎a)!=43 and (b⨽⪊≇)<=26 and (b⪎⨄⋝)<482 ; (⫦≽⪐b) , else }

def op_kfH5aw1xxj(a, b):
    if op_XPYlsWDdGa(a) != 43 and op_nlCqmYiOvY(b) <= 26 and op_kweVJGAjhl(b) < 482:
        return op_OKKcZfAt5B(b,b)
    else:
        return op_fjqJgF5yyp(b)

def op_count_kfH5aw1xxj(a, b):
    if op_XPYlsWDdGa(a) != 43 and op_nlCqmYiOvY(b) <= 26 and op_kweVJGAjhl(b) < 482:
        count = op_count_OKKcZfAt5B(b,b)+op_count_XPYlsWDdGa(a)+op_count_nlCqmYiOvY(b)+op_count_kweVJGAjhl(b)
    else:
        count = op_count_fjqJgF5yyp(b)
    return count


def op_etBYAzj5y8(a):
    if op_2td37pGCOC(a) == 689:
        return op_SPuZE40Ntn(op_Noe24qw2ks(204,a),op_UoVew8f2p2(a,a))
    else:
        return op_ObEyaaML9x(op_NrdPCfJQiM(a,630),op_EO7Xdgo9So(a))

def op_count_etBYAzj5y8(a):
    if op_2td37pGCOC(a) == 689:
        count = op_count_Noe24qw2ks(204,a)+op_count_UoVew8f2p2(a,a)+op_count_SPuZE40Ntn(op_Noe24qw2ks(204,a),op_UoVew8f2p2(a,a))+op_count_2td37pGCOC(a)
    else:
        count = op_count_NrdPCfJQiM(a,630)+op_count_EO7Xdgo9So(a)+op_count_ObEyaaML9x(op_NrdPCfJQiM(a,630),op_EO7Xdgo9So(a))
    return count


def op_2PJX5vddhf(a):
    return op_umQnsF7QlU(34,a)

def op_count_2PJX5vddhf(a):
    count = op_count_umQnsF7QlU(34,a)
    return count


def op_K8E7dmtXFw(a):
    return op_WmT3o8z6ya(op_Ikt5ks8PT7(a,a))

def op_count_K8E7dmtXFw(a):
    count = op_count_Ikt5ks8PT7(a,a)+op_count_WmT3o8z6ya(op_Ikt5ks8PT7(a,a))
    return count


def op_uYFMMs11JB(a):
    return op_KROiRRz3d6(a,a)

def op_count_uYFMMs11JB(a):
    count = op_count_KROiRRz3d6(a,a)
    return count


def op_S1sVmUtiU0(a):
    return op_nhYeJWJD5X(op_bx9Z9DAK5y(a),op_2z8nE7LpCu(a,a))

def op_count_S1sVmUtiU0(a):
    count = op_count_bx9Z9DAK5y(a)+op_count_2z8nE7LpCu(a,a)+op_count_nhYeJWJD5X(op_bx9Z9DAK5y(a),op_2z8nE7LpCu(a,a))
    return count


a⇆⇯b = { ((∂⩏⊆a)⋆⊨(347∌b)) , if (≀↧⇸a)>97 ; ((b∙∹∝266)⩷∴(b⨐a)) , else }

def op_BvUOHliOJ6(a, b):
    if op_ljTHtUsqzn(a) > 97:
        return op_uTBsSls0VN(op_8WDwsbhb0R(a),op_8cLx32lpNA(347,b))
    else:
        return op_9FxExcQeMw(op_HmxsFra2vL(b,266),op_Noe24qw2ks(b,a))

def op_count_BvUOHliOJ6(a, b):
    if op_ljTHtUsqzn(a) > 97:
        count = op_count_8WDwsbhb0R(a)+op_count_8cLx32lpNA(347,b)+op_count_uTBsSls0VN(op_8WDwsbhb0R(a),op_8cLx32lpNA(347,b))+op_count_ljTHtUsqzn(a)
    else:
        count = op_count_HmxsFra2vL(b,266)+op_count_Noe24qw2ks(b,a)+op_count_9FxExcQeMw(op_HmxsFra2vL(b,266),op_Noe24qw2ks(b,a))
    return count


a⊟⋔↩b = { (((≯b)⨓↿∉(a↢90))⩽⩡((b∇⊂⋱1)⫁⪎(a∺≝⩲b))) }

def op_1B4ngayaHK(a, b):
    return op_zFNL8mZEFB(op_OWnFPqjWlR(op_keWfFq85dY(b),op_WR6HLWljOP(a,90)),op_xRrnTEsQ6j(op_nhYeJWJD5X(b,1),op_KPf6cnQVty(a,b)))

def op_count_1B4ngayaHK(a, b):
    count = op_count_keWfFq85dY(b)+op_count_WR6HLWljOP(a,90)+op_count_OWnFPqjWlR(op_keWfFq85dY(b),op_WR6HLWljOP(a,90))+op_count_nhYeJWJD5X(b,1)+op_count_KPf6cnQVty(a,b)+op_count_xRrnTEsQ6j(op_nhYeJWJD5X(b,1),op_KPf6cnQVty(a,b))+op_count_zFNL8mZEFB(op_OWnFPqjWlR(op_keWfFq85dY(b),op_WR6HLWljOP(a,90)),op_xRrnTEsQ6j(op_nhYeJWJD5X(b,1),op_KPf6cnQVty(a,b)))
    return count


⩹∕⇵a = { (((a⊙)⪁⨴⋨(a⋐≟⩺a))⪭((a⫗⊒⇾a)⨑≵⋬(280⨑≵⋬a))) }

def op_95E3ucwUJw(a):
    return op_j9kHMeSvPp(op_y2kQTS4a70(op_pjdzZ5rP1Y(a),op_PjbVkMzmXE(a,a)),op_XnXgA4xnOs(op_hiBDRd40bf(a,a),op_XnXgA4xnOs(280,a)))

def op_count_95E3ucwUJw(a):
    count = op_count_pjdzZ5rP1Y(a)+op_count_PjbVkMzmXE(a,a)+op_count_y2kQTS4a70(op_pjdzZ5rP1Y(a),op_PjbVkMzmXE(a,a))+op_count_hiBDRd40bf(a,a)+op_count_XnXgA4xnOs(280,a)+op_count_XnXgA4xnOs(op_hiBDRd40bf(a,a),op_XnXgA4xnOs(280,a))+op_count_j9kHMeSvPp(op_y2kQTS4a70(op_pjdzZ5rP1Y(a),op_PjbVkMzmXE(a,a)),op_XnXgA4xnOs(op_hiBDRd40bf(a,a),op_XnXgA4xnOs(280,a)))
    return count


⩆≗a = { (((a↫)⋅⇍(a≚⊃≕a))∫⋜⩖((a⩾a)⨔⊶↷(a⊒a))) }

def op_SMyk87KdZU(a):
    return op_JgXZM7XvWE(op_AdZkA7nFnk(op_uPb5QRN0te(a),op_Bmrmz2XGnR(a,a)),op_WObL9SsYVE(op_UggxBX659n(a,a),op_rPNtK4BLRO(a,a)))

def op_count_SMyk87KdZU(a):
    count = op_count_uPb5QRN0te(a)+op_count_Bmrmz2XGnR(a,a)+op_count_AdZkA7nFnk(op_uPb5QRN0te(a),op_Bmrmz2XGnR(a,a))+op_count_UggxBX659n(a,a)+op_count_rPNtK4BLRO(a,a)+op_count_WObL9SsYVE(op_UggxBX659n(a,a),op_rPNtK4BLRO(a,a))+op_count_JgXZM7XvWE(op_AdZkA7nFnk(op_uPb5QRN0te(a),op_Bmrmz2XGnR(a,a)),op_WObL9SsYVE(op_UggxBX659n(a,a),op_rPNtK4BLRO(a,a)))
    return count


def op_F8zoB5wnOL(a):
    return op_irKjLsMeKy(607,op_UqUOXUQnbU(op_EWw2JM7wp4(a,a),op_ocnLzx9CaJ(a,a)))

def op_count_F8zoB5wnOL(a):
    count = op_count_EWw2JM7wp4(a,a)+op_count_ocnLzx9CaJ(a,a)+op_count_UqUOXUQnbU(op_EWw2JM7wp4(a,a),op_ocnLzx9CaJ(a,a))+op_count_irKjLsMeKy(607,op_UqUOXUQnbU(op_EWw2JM7wp4(a,a),op_ocnLzx9CaJ(a,a)))
    return count


def op_yWiyidGdsr(a):
    return op_620seOwKww(op_E4l6HwMY31(op_kuIXHzHcAH(a,a),op_KFSx94NKJn(a,a)))

def op_count_yWiyidGdsr(a):
    count = op_count_kuIXHzHcAH(a,a)+op_count_KFSx94NKJn(a,a)+op_count_E4l6HwMY31(op_kuIXHzHcAH(a,a),op_KFSx94NKJn(a,a))+op_count_620seOwKww(op_E4l6HwMY31(op_kuIXHzHcAH(a,a),op_KFSx94NKJn(a,a)))
    return count


a⩄⊊b = { (a⩧⪆b) , if b<10 ; (⊿b) , else }

def op_ckxBfo3j3z(a, b):
    if b < 10:
        return op_Ikt5ks8PT7(a,b)
    else:
        return op_DO4fhlbJSI(b)

def op_count_ckxBfo3j3z(a, b):
    if b < 10:
        count = op_count_Ikt5ks8PT7(a,b)
    else:
        count = op_count_DO4fhlbJSI(b)
    return count


a↬↖ = { (a∀⋜↑) , if (a⊛⫍⩜)>=7 ; a , else }

def op_wbY1r0BVf0(a):
    if op_KaSTSbOewx(a) >= 7:
        return op_KipPnG1M2J(a)
    else:
        return a

def op_count_wbY1r0BVf0(a):
    if op_KaSTSbOewx(a) >= 7:
        count = op_count_KipPnG1M2J(a)+op_count_KaSTSbOewx(a)
    else:
        count = 1
    return count


a⪰⋼⨗b = { ((b↾⩰)⩤∜↚(a⨻⪊⨷a)) , if b==470 ; a , else }

def op_JjGBB9f9Hu(a, b):
    if b == 470:
        return op_KROiRRz3d6(op_GNmBfxrna9(b),op_Pkwamo1tM2(a,a))
    else:
        return a

def op_count_JjGBB9f9Hu(a, b):
    if b == 470:
        count = op_count_GNmBfxrna9(b)+op_count_Pkwamo1tM2(a,a)+op_count_KROiRRz3d6(op_GNmBfxrna9(b),op_Pkwamo1tM2(a,a))
    else:
        count = 1
    return count


def op_upVF8OY9YN(a):
    return op_5twsqlHp2o(op_AdZkA7nFnk(a,a),op_40aOVDgCDB(50))

def op_count_upVF8OY9YN(a):
    count = op_count_AdZkA7nFnk(a,a)+op_count_40aOVDgCDB(50)+op_count_5twsqlHp2o(op_AdZkA7nFnk(a,a),op_40aOVDgCDB(50))
    return count


a≑⋀b = { (b⊬⨰a) , if (⋑b)!=479 ; (344⊉↱≁a) , else }

def op_Y4lAmUR5B7(a, b):
    if op_iz8sE888QL(b) != 479:
        return op_s3Fd5m9Dh2(b,a)
    else:
        return op_w2P8NbNXyL(344,a)

def op_count_Y4lAmUR5B7(a, b):
    if op_iz8sE888QL(b) != 479:
        count = op_count_s3Fd5m9Dh2(b,a)+op_count_iz8sE888QL(b)
    else:
        count = op_count_w2P8NbNXyL(344,a)
    return count


a⋙⪠b = { ((114⫏↛⩏b)⫁⪎(466⫠↝⫳)) , if (a∴≳≥)<=7 ; ((b∈)⪨≂(b⪇≇⋚a)) , else }

def op_vPmKJA6wUP(a, b):
    if op_a3N2hFLK0J(a) <= 7:
        return op_xRrnTEsQ6j(op_YC3tgrnOyr(114,b),op_8n5YIzOsVS(466))
    else:
        return op_sdazOOVcIp(op_ztP7wcbY7m(b),op_3sJ7IOPOlU(b,a))

def op_count_vPmKJA6wUP(a, b):
    if op_a3N2hFLK0J(a) <= 7:
        count = op_count_YC3tgrnOyr(114,b)+op_count_8n5YIzOsVS(466)+op_count_xRrnTEsQ6j(op_YC3tgrnOyr(114,b),op_8n5YIzOsVS(466))+op_count_a3N2hFLK0J(a)
    else:
        count = op_count_ztP7wcbY7m(b)+op_count_3sJ7IOPOlU(b,a)+op_count_sdazOOVcIp(op_ztP7wcbY7m(b),op_3sJ7IOPOlU(b,a))
    return count


⋩⪦a = { (((744-a)∌(a⪒⊣⊆a))⋳⪒((a⋝⋈⪟a)⨵⪆(⩦⩻⨪a))) , if a==294 and (↩⪖a)>439 ; (((a↺a)⋎(a⪯⫾⋍a))⩹((a⇄a)⊢≏≾(a⪈⋁⩁a))) , else }

def op_PsjbkhCish(a):
    if a == 294 and op_fG6uBQFnGz(a) > 439:
        return op_12rbrZMWeM(op_8cLx32lpNA(op_rysDP5nf3Z(744,a),op_eRqsBgTDFp(a,a)),op_2DQ55sFlQl(op_2DDjHMKMc0(a,a),op_2td37pGCOC(a)))
    else:
        return op_2Wsdkap16l(op_qy3n0tapmE(op_7j4O788W3g(a,a),op_S5ZFQS4GK3(a,a)),op_qxqspddX8k(op_3EYGwJThht(a,a),op_GMyVS5K48T(a,a)))

def op_count_PsjbkhCish(a):
    if a == 294 and op_fG6uBQFnGz(a) > 439:
        count = op_count_rysDP5nf3Z(744,a)+op_count_eRqsBgTDFp(a,a)+op_count_8cLx32lpNA(op_rysDP5nf3Z(744,a),op_eRqsBgTDFp(a,a))+op_count_2DDjHMKMc0(a,a)+op_count_2td37pGCOC(a)+op_count_2DQ55sFlQl(op_2DDjHMKMc0(a,a),op_2td37pGCOC(a))+op_count_12rbrZMWeM(op_8cLx32lpNA(op_rysDP5nf3Z(744,a),op_eRqsBgTDFp(a,a)),op_2DQ55sFlQl(op_2DDjHMKMc0(a,a),op_2td37pGCOC(a)))+op_count_fG6uBQFnGz(a)
    else:
        count = op_count_7j4O788W3g(a,a)+op_count_S5ZFQS4GK3(a,a)+op_count_qy3n0tapmE(op_7j4O788W3g(a,a),op_S5ZFQS4GK3(a,a))+op_count_3EYGwJThht(a,a)+op_count_GMyVS5K48T(a,a)+op_count_qxqspddX8k(op_3EYGwJThht(a,a),op_GMyVS5K48T(a,a))+op_count_2Wsdkap16l(op_qy3n0tapmE(op_7j4O788W3g(a,a),op_S5ZFQS4GK3(a,a)),op_qxqspddX8k(op_3EYGwJThht(a,a),op_GMyVS5K48T(a,a)))
    return count


a≥≧↭b = { ((10⪎⨄⋝)⩷∴(b⪨≂a)) , if a<294 ; ((a∊⊞≈b)+⪬∐(a≝⊿a)) , else }

def op_9uqIsVI5ug(a, b):
    if a < 294:
        return op_9FxExcQeMw(op_kweVJGAjhl(10),op_sdazOOVcIp(b,a))
    else:
        return op_2GS7woTJqF(op_keuJNkrrbj(a,b),op_OKKcZfAt5B(a,a))

def op_count_9uqIsVI5ug(a, b):
    if a < 294:
        count = op_count_kweVJGAjhl(10)+op_count_sdazOOVcIp(b,a)+op_count_9FxExcQeMw(op_kweVJGAjhl(10),op_sdazOOVcIp(b,a))
    else:
        count = op_count_keuJNkrrbj(a,b)+op_count_OKKcZfAt5B(a,a)+op_count_2GS7woTJqF(op_keuJNkrrbj(a,b),op_OKKcZfAt5B(a,a))
    return count


def op_dj54johvPQ(a, b):
    if b > 140 or op_wEfv7U73WA(a) != 281:
        return op_vRio1gEz1j(73)
    else:
        return op_EBcxylXtPf(a)

def op_count_dj54johvPQ(a, b):
    if b > 140 or op_wEfv7U73WA(a) != 281:
        count = op_count_vRio1gEz1j(73)+op_count_wEfv7U73WA(a)
    else:
        count = op_count_EBcxylXtPf(a)
    return count


def op_6QRKQHB5i1(a):
    return op_j9kHMeSvPp(a,a)

def op_count_6QRKQHB5i1(a):
    count = op_count_j9kHMeSvPp(a,a)
    return count


⇒∈a = { (((a∠↢a)⪇≇⋚(a+a))⨐((a⩤∜↚a)∄(∦61))) }

def op_CCAkqlVbr4(a):
    return op_Noe24qw2ks(op_3sJ7IOPOlU(op_KbjG8mgYpV(a,a),op_W4YGzv6Whe(a,a)),op_tnyRA5sazQ(op_KROiRRz3d6(a,a),op_ew17WAA8t6(61)))

def op_count_CCAkqlVbr4(a):
    count = op_count_KbjG8mgYpV(a,a)+op_count_W4YGzv6Whe(a,a)+op_count_3sJ7IOPOlU(op_KbjG8mgYpV(a,a),op_W4YGzv6Whe(a,a))+op_count_KROiRRz3d6(a,a)+op_count_ew17WAA8t6(61)+op_count_tnyRA5sazQ(op_KROiRRz3d6(a,a),op_ew17WAA8t6(61))+op_count_Noe24qw2ks(op_3sJ7IOPOlU(op_KbjG8mgYpV(a,a),op_W4YGzv6Whe(a,a)),op_tnyRA5sazQ(op_KROiRRz3d6(a,a),op_ew17WAA8t6(61)))
    return count


def op_4OtQz9P6fE(a, b):
    return op_ObEyaaML9x(op_COABgblf1C(b,b),op_oH594TLvBK(a))

def op_count_4OtQz9P6fE(a, b):
    count = op_count_COABgblf1C(b,b)+op_count_oH594TLvBK(a)+op_count_ObEyaaML9x(op_COABgblf1C(b,b),op_oH594TLvBK(a))
    return count


a→⇚b = { (⨇⪄⫏a) , if b>=344 ; (b∅a) , else }

def op_POp3h4pmYF(a, b):
    if b >= 344:
        return op_B4c4JXCTtZ(a)
    else:
        return op_giaUb8UVhq(b,a)

def op_count_POp3h4pmYF(a, b):
    if b >= 344:
        count = op_count_B4c4JXCTtZ(a)
    else:
        count = op_count_giaUb8UVhq(b,a)
    return count


def op_kV9H2P1eKQ(a):
    return op_tIhPxZTbsh(op_xoJmIySC7h(op_Sq3AGanRSD(a,a),op_qy3n0tapmE(a,189)),op_csT5a4elgc(op_DpFCA1CohY(48)))

def op_count_kV9H2P1eKQ(a):
    count = op_count_Sq3AGanRSD(a,a)+op_count_qy3n0tapmE(a,189)+op_count_xoJmIySC7h(op_Sq3AGanRSD(a,a),op_qy3n0tapmE(a,189))+op_count_DpFCA1CohY(48)+op_count_csT5a4elgc(op_DpFCA1CohY(48))+op_count_tIhPxZTbsh(op_xoJmIySC7h(op_Sq3AGanRSD(a,a),op_qy3n0tapmE(a,189)),op_csT5a4elgc(op_DpFCA1CohY(48)))
    return count


def op_9eAzrXm5nW(a):
    return op_rPNtK4BLRO(op_bl5wxAcryP(a),op_ar1w6gUwHX(a,a))

def op_count_9eAzrXm5nW(a):
    count = op_count_bl5wxAcryP(a)+op_count_ar1w6gUwHX(a,a)+op_count_rPNtK4BLRO(op_bl5wxAcryP(a),op_ar1w6gUwHX(a,a))
    return count


⋗⋴⫝̸a = { ((a≽⪈↿a)⪶≀⋏(a⪖⪡364)) , if a>=756 ; ((a⨊⨠)⋆⊨(a⊉↱≁a)) , else }

def op_3DWXHa4XRG(a):
    if a >= 756:
        return op_zR4jO40bMj(op_inCIaGQf8u(a,a),op_7PjNe5qSIJ(a,364))
    else:
        return op_uTBsSls0VN(op_qU6oQAhJaQ(a),op_w2P8NbNXyL(a,a))

def op_count_3DWXHa4XRG(a):
    if a >= 756:
        count = op_count_inCIaGQf8u(a,a)+op_count_7PjNe5qSIJ(a,364)+op_count_zR4jO40bMj(op_inCIaGQf8u(a,a),op_7PjNe5qSIJ(a,364))
    else:
        count = op_count_qU6oQAhJaQ(a)+op_count_w2P8NbNXyL(a,a)+op_count_uTBsSls0VN(op_qU6oQAhJaQ(a),op_w2P8NbNXyL(a,a))
    return count


a≟⪯b = { (b↨⪍≴a) , if (b⩂⊭⨚)!=151 ; (b⩂⊭⨚) , else }

def op_Z0MOmZBEvh(a, b):
    if op_PaBHOjxk8c(b) != 151:
        return op_DX7B1fY6P6(b,a)
    else:
        return op_PaBHOjxk8c(b)

def op_count_Z0MOmZBEvh(a, b):
    if op_PaBHOjxk8c(b) != 151:
        count = op_count_DX7B1fY6P6(b,a)+op_count_PaBHOjxk8c(b)
    else:
        count = op_count_PaBHOjxk8c(b)
    return count


def op_JWTF0mKips(a, b):
    return op_uBihLCJcMX(op_s3Fd5m9Dh2(op_EWw2JM7wp4(a,a),op_eewbuw0ToL(a,b)))

def op_count_JWTF0mKips(a, b):
    count = op_count_EWw2JM7wp4(a,a)+op_count_eewbuw0ToL(a,b)+op_count_s3Fd5m9Dh2(op_EWw2JM7wp4(a,a),op_eewbuw0ToL(a,b))+op_count_uBihLCJcMX(op_s3Fd5m9Dh2(op_EWw2JM7wp4(a,a),op_eewbuw0ToL(a,b)))
    return count


a⩨⩁b = { (((737⇛a)⫍⨯↯)⪒((b⨩≤⫤a)↺(b⪨≂b))) }

def op_mRABlwQNwR(a, b):
    return op_f6k1SAg4EE(op_ZcwmYACASQ(op_S3tN1ZzpSt(737,a)),op_7j4O788W3g(op_neKQRQQIil(b,a),op_sdazOOVcIp(b,b)))

def op_count_mRABlwQNwR(a, b):
    count = op_count_S3tN1ZzpSt(737,a)+op_count_ZcwmYACASQ(op_S3tN1ZzpSt(737,a))+op_count_neKQRQQIil(b,a)+op_count_sdazOOVcIp(b,b)+op_count_7j4O788W3g(op_neKQRQQIil(b,a),op_sdazOOVcIp(b,b))+op_count_f6k1SAg4EE(op_ZcwmYACASQ(op_S3tN1ZzpSt(737,a)),op_7j4O788W3g(op_neKQRQQIil(b,a),op_sdazOOVcIp(b,b)))
    return count


def op_BUZMbiqx9t(a, b):
    if b >= 211:
        return op_NTOWxs364D(op_irKjLsMeKy(75,a),op_kbkesczE7y(49,184))
    else:
        return op_4JGOJzXMq1(op_Y5cEcQhyKu(a,a),b)

def op_count_BUZMbiqx9t(a, b):
    if b >= 211:
        count = op_count_irKjLsMeKy(75,a)+op_count_kbkesczE7y(49,184)+op_count_NTOWxs364D(op_irKjLsMeKy(75,a),op_kbkesczE7y(49,184))
    else:
        count = op_count_Y5cEcQhyKu(a,a)+op_count_4JGOJzXMq1(op_Y5cEcQhyKu(a,a),b)
    return count


a⪘≯ = { (((a∊⊞≈a)≬⋮(a⪚⊾⩭))-∠((a≠≀a)⫶a)) }

def op_kFgpzzHB9G(a):
    return op_s0IfDFCCuZ(op_kbkesczE7y(op_keuJNkrrbj(a,a),op_ebeGRCukrZ(a)),op_BAIXFdYaz3(op_IwW236VD4Y(a,a),a))

def op_count_kFgpzzHB9G(a):
    count = op_count_keuJNkrrbj(a,a)+op_count_ebeGRCukrZ(a)+op_count_kbkesczE7y(op_keuJNkrrbj(a,a),op_ebeGRCukrZ(a))+op_count_IwW236VD4Y(a,a)+op_count_BAIXFdYaz3(op_IwW236VD4Y(a,a),a)+op_count_s0IfDFCCuZ(op_kbkesczE7y(op_keuJNkrrbj(a,a),op_ebeGRCukrZ(a)),op_BAIXFdYaz3(op_IwW236VD4Y(a,a),a))
    return count


a↙⨬⋜b = { ((b⨚a)⨸⪁(≇⪴b)) , if b==93 ; ((⩦⊞a)⩤) , else }

def op_UlBlWmOBXm(a, b):
    if b == 93:
        return op_g55IO6H4Gj(op_nREPSIbpBE(b,a),op_zoVPnxeHJ3(b))
    else:
        return op_Z2TMIBDE3Q(op_u7fv1HBiaC(a))

def op_count_UlBlWmOBXm(a, b):
    if b == 93:
        count = op_count_nREPSIbpBE(b,a)+op_count_zoVPnxeHJ3(b)+op_count_g55IO6H4Gj(op_nREPSIbpBE(b,a),op_zoVPnxeHJ3(b))
    else:
        count = op_count_u7fv1HBiaC(a)+op_count_Z2TMIBDE3Q(op_u7fv1HBiaC(a))
    return count


a⪄⪸ = { ((a⊔%a)⋳⪒(a⨜⇔251)) , if (↽≂a)>676 ; ((a≏⨯⊱a)⫌⩹⨱) , else }

def op_brBEseg5BL(a):
    if op_u6S6b8DprG(a) > 676:
        return op_12rbrZMWeM(op_uysxUYN2L2(a,a),op_Sq3AGanRSD(a,251))
    else:
        return op_EBcxylXtPf(op_UqUOXUQnbU(a,a))

def op_count_brBEseg5BL(a):
    if op_u6S6b8DprG(a) > 676:
        count = op_count_uysxUYN2L2(a,a)+op_count_Sq3AGanRSD(a,251)+op_count_12rbrZMWeM(op_uysxUYN2L2(a,a),op_Sq3AGanRSD(a,251))+op_count_u6S6b8DprG(a)
    else:
        count = op_count_UqUOXUQnbU(a,a)+op_count_EBcxylXtPf(op_UqUOXUQnbU(a,a))
    return count


∇∱a = { ((a⪐-a)≠≀(⇺⪔⩬a)) , if ((a⨙)==86 and a<340 and (≅≯⇸a)==240) ; ((↞≼a)+(a⊱⇼⊻a)) , else }

def op_1uXJEiKrFq(a):
    if (op_rlpcYeipVY(a) == 86 and a < 340 and op_apS25hmuAe(a) == 240):
        return op_IwW236VD4Y(op_d8xe6WWVfM(a,a),op_lAOUD4ZMWV(a))
    else:
        return op_W4YGzv6Whe(op_DE7zCoGJt9(a),op_FyVja0WsTP(a,a))

def op_count_1uXJEiKrFq(a):
    if (op_rlpcYeipVY(a) == 86 and a < 340 and op_apS25hmuAe(a) == 240):
        count = op_count_d8xe6WWVfM(a,a)+op_count_lAOUD4ZMWV(a)+op_count_IwW236VD4Y(op_d8xe6WWVfM(a,a),op_lAOUD4ZMWV(a))+op_count_rlpcYeipVY(a)+op_count_apS25hmuAe(a)
    else:
        count = op_count_DE7zCoGJt9(a)+op_count_FyVja0WsTP(a,a)+op_count_W4YGzv6Whe(op_DE7zCoGJt9(a),op_FyVja0WsTP(a,a))
    return count


def op_myvUJCpSMz(a, b):
    if op_DZ8iAZOCBD(b,464) > 55:
        return op_OGWBzMv138(a,op_d7ASUq0ydm(op_s0IfDFCCuZ(b,255),op_61wBmkZwlr(b)))
    else:
        return op_YSKBFp38Pu(155,op_d8xe6WWVfM(op_KFSx94NKJn(b,a),op_z4E1FaHLuy(a)))

def op_count_myvUJCpSMz(a, b):
    if op_DZ8iAZOCBD(b,464) > 55:
        count = op_count_s0IfDFCCuZ(b,255)+op_count_61wBmkZwlr(b)+op_count_d7ASUq0ydm(op_s0IfDFCCuZ(b,255),op_61wBmkZwlr(b))+op_count_OGWBzMv138(a,op_d7ASUq0ydm(op_s0IfDFCCuZ(b,255),op_61wBmkZwlr(b)))+op_count_DZ8iAZOCBD(b,464)
    else:
        count = op_count_KFSx94NKJn(b,a)+op_count_z4E1FaHLuy(a)+op_count_d8xe6WWVfM(op_KFSx94NKJn(b,a),op_z4E1FaHLuy(a))+op_count_YSKBFp38Pu(155,op_d8xe6WWVfM(op_KFSx94NKJn(b,a),op_z4E1FaHLuy(a)))
    return count


a⨫∈⪧ = { (((⫇⪃↚a)⋘(⇒⊙∲a))⫸⇳(⋾(a⊱⇼⊻0))) , if a==111 ; ((⪆(a⇢a))⩤∜↚((82⊙)↱⊪⇍)) , else }

def op_C9TwZbx6fx(a):
    if a == 111:
        return op_gx7XJ7hdpj(op_2M7SKlOzyM(op_Q9TX5pQS3Y(a),op_8HCJqvcFkE(a)),op_8TQKPGA8Ba(op_FyVja0WsTP(a,0)))
    else:
        return op_KROiRRz3d6(op_KWeyIRWUIQ(op_GMN7JP6WpN(a,a)),op_Zubgv0tBda(op_pjdzZ5rP1Y(82)))

def op_count_C9TwZbx6fx(a):
    if a == 111:
        count = op_count_Q9TX5pQS3Y(a)+op_count_8HCJqvcFkE(a)+op_count_2M7SKlOzyM(op_Q9TX5pQS3Y(a),op_8HCJqvcFkE(a))+op_count_FyVja0WsTP(a,0)+op_count_8TQKPGA8Ba(op_FyVja0WsTP(a,0))+op_count_gx7XJ7hdpj(op_2M7SKlOzyM(op_Q9TX5pQS3Y(a),op_8HCJqvcFkE(a)),op_8TQKPGA8Ba(op_FyVja0WsTP(a,0)))
    else:
        count = op_count_GMN7JP6WpN(a,a)+op_count_KWeyIRWUIQ(op_GMN7JP6WpN(a,a))+op_count_pjdzZ5rP1Y(82)+op_count_Zubgv0tBda(op_pjdzZ5rP1Y(82))+op_count_KROiRRz3d6(op_KWeyIRWUIQ(op_GMN7JP6WpN(a,a)),op_Zubgv0tBda(op_pjdzZ5rP1Y(82)))
    return count


a↽⊪b = { ((⫦≽⪐(b⫗⊒⇾a))⪦⩸((b∠↢a)⇩)) , if (b>47 or (∛⊵a)<569) ; (∨⫘⊿(⨾∊⩁(b≽↲≰a))) , else }

def op_tYr37UhHCW(a, b):
    if (b > 47 or op_jfYOP67v6Y(a) < 569):
        return op_0JWJYFSzIQ(op_fjqJgF5yyp(op_hiBDRd40bf(b,a)),op_vRio1gEz1j(op_KbjG8mgYpV(b,a)))
    else:
        return op_qxp9F1VMeC(op_QErWpSDGk0(op_cFVlceoRkX(b,a)))

def op_count_tYr37UhHCW(a, b):
    if (b > 47 or op_jfYOP67v6Y(a) < 569):
        count = op_count_hiBDRd40bf(b,a)+op_count_fjqJgF5yyp(op_hiBDRd40bf(b,a))+op_count_KbjG8mgYpV(b,a)+op_count_vRio1gEz1j(op_KbjG8mgYpV(b,a))+op_count_0JWJYFSzIQ(op_fjqJgF5yyp(op_hiBDRd40bf(b,a)),op_vRio1gEz1j(op_KbjG8mgYpV(b,a)))+op_count_jfYOP67v6Y(a)
    else:
        count = op_count_cFVlceoRkX(b,a)+op_count_QErWpSDGk0(op_cFVlceoRkX(b,a))+op_count_qxp9F1VMeC(op_QErWpSDGk0(op_cFVlceoRkX(b,a)))
    return count


a⨠⪩b = { (a⊇≀≁) , if (b!=285 or (a⩂⊭⨚)<=296 or (b⋘⨑⨽)>=542) ; (b⨣∐↬a) , else }

def op_cvbR8CW1XR(a, b):
    if (b != 285 or op_PaBHOjxk8c(a) <= 296 or op_WmT3o8z6ya(b) >= 542):
        return op_AfoL3wC8aT(a)
    else:
        return op_UpkSd4zESC(b,a)

def op_count_cvbR8CW1XR(a, b):
    if (b != 285 or op_PaBHOjxk8c(a) <= 296 or op_WmT3o8z6ya(b) >= 542):
        count = op_count_AfoL3wC8aT(a)+op_count_PaBHOjxk8c(a)+op_count_WmT3o8z6ya(b)
    else:
        count = op_count_UpkSd4zESC(b,a)
    return count


a⨺b = { (((b⨮⨆)⨐(⋄257))≝⊿((a⪯⫾⋍a)≣(a⨧↗⨷a))) }

def op_78QBpbqeKK(a, b):
    return op_OKKcZfAt5B(op_Noe24qw2ks(op_s0kPeV9Vm2(b),op_k2B77S3vSv(257)),op_ObEyaaML9x(op_S5ZFQS4GK3(a,a),op_WSbXXWOizJ(a,a)))

def op_count_78QBpbqeKK(a, b):
    count = op_count_s0kPeV9Vm2(b)+op_count_k2B77S3vSv(257)+op_count_Noe24qw2ks(op_s0kPeV9Vm2(b),op_k2B77S3vSv(257))+op_count_S5ZFQS4GK3(a,a)+op_count_WSbXXWOizJ(a,a)+op_count_ObEyaaML9x(op_S5ZFQS4GK3(a,a),op_WSbXXWOizJ(a,a))+op_count_OKKcZfAt5B(op_Noe24qw2ks(op_s0kPeV9Vm2(b),op_k2B77S3vSv(257)),op_ObEyaaML9x(op_S5ZFQS4GK3(a,a),op_WSbXXWOizJ(a,a)))
    return count


def op_i4zm61wVPx(a):
    return op_ap3xiM279w(op_d7ASUq0ydm(a,a),op_XnXgA4xnOs(a,a))

def op_count_i4zm61wVPx(a):
    count = op_count_d7ASUq0ydm(a,a)+op_count_XnXgA4xnOs(a,a)+op_count_ap3xiM279w(op_d7ASUq0ydm(a,a),op_XnXgA4xnOs(a,a))
    return count


def op_OkeBNI2wuD(a, b):
    return op_IxJHfR5psi(op_oPMjh9089D(b),op_eaFBhJ0Uku(a,a))

def op_count_OkeBNI2wuD(a, b):
    count = op_count_oPMjh9089D(b)+op_count_eaFBhJ0Uku(a,a)+op_count_IxJHfR5psi(op_oPMjh9089D(b),op_eaFBhJ0Uku(a,a))
    return count


⪮↲a = { (201⊲⩕⊾a) , if (∡a)<43 ; (a≦↸a) , else }

def op_o87fefzB9U(a):
    if op_pRsWfj4Fpp(a) < 43:
        return op_DmTXOeWf9t(201,a)
    else:
        return op_RygbFNSyEJ(a,a)

def op_count_o87fefzB9U(a):
    if op_pRsWfj4Fpp(a) < 43:
        count = op_count_DmTXOeWf9t(201,a)+op_count_pRsWfj4Fpp(a)
    else:
        count = op_count_RygbFNSyEJ(a,a)
    return count


a⋒∍b = { (a⇩↽) , if (b⫭)>7 and b<701 ; (⊲⪭a) , else }

def op_GNFNgBtEot(a, b):
    if op_t4WUHVGj7f(b) > 7 and b < 701:
        return op_HjMFvreeUu(a)
    else:
        return op_k7HXdKtiEU(a)

def op_count_GNFNgBtEot(a, b):
    if op_t4WUHVGj7f(b) > 7 and b < 701:
        count = op_count_HjMFvreeUu(a)+op_count_t4WUHVGj7f(b)
    else:
        count = op_count_k7HXdKtiEU(a)
    return count


def op_zxbqsjVkt1(a):
    if a <= 289:
        return op_XPYlsWDdGa(a)
    else:
        return op_QMFrweE19q(207,a)

def op_count_zxbqsjVkt1(a):
    if a <= 289:
        count = op_count_XPYlsWDdGa(a)
    else:
        count = op_count_QMFrweE19q(207,a)
    return count


def op_Mh5gAoPJZ1(a):
    if op_PrwIXj9ZQe(a) == 919:
        return op_inCIaGQf8u(a,a)
    else:
        return op_RPa3726CSl(339)

def op_count_Mh5gAoPJZ1(a):
    if op_PrwIXj9ZQe(a) == 919:
        count = op_count_inCIaGQf8u(a,a)+op_count_PrwIXj9ZQe(a)
    else:
        count = op_count_RPa3726CSl(339)
    return count


def op_RyrdAX1Ftm(a):
    if op_aHKFHkCgn9(a) < 689:
        return op_XbEAUggs3J(op_ar1w6gUwHX(op_2z8nE7LpCu(a,a),op_2Wsdkap16l(a,395)))
    else:
        return op_GMyVS5K48T(op_d8xe6WWVfM(op_VCG3UHNzLR(162,a),op_hrf7POJlIJ(a,a)),op_zoVPnxeHJ3(a))

def op_count_RyrdAX1Ftm(a):
    if op_aHKFHkCgn9(a) < 689:
        count = op_count_2z8nE7LpCu(a,a)+op_count_2Wsdkap16l(a,395)+op_count_ar1w6gUwHX(op_2z8nE7LpCu(a,a),op_2Wsdkap16l(a,395))+op_count_XbEAUggs3J(op_ar1w6gUwHX(op_2z8nE7LpCu(a,a),op_2Wsdkap16l(a,395)))+op_count_aHKFHkCgn9(a)
    else:
        count = op_count_VCG3UHNzLR(162,a)+op_count_hrf7POJlIJ(a,a)+op_count_d8xe6WWVfM(op_VCG3UHNzLR(162,a),op_hrf7POJlIJ(a,a))+op_count_zoVPnxeHJ3(a)+op_count_GMyVS5K48T(op_d8xe6WWVfM(op_VCG3UHNzLR(162,a),op_hrf7POJlIJ(a,a)),op_zoVPnxeHJ3(a))
    return count


def op_vu59hxsJ1z(a, b):
    return op_TytFGXR7Zf(op_EO7Xdgo9So(op_23Mk6UjR3U(a,b)))

def op_count_vu59hxsJ1z(a, b):
    count = op_count_23Mk6UjR3U(a,b)+op_count_EO7Xdgo9So(op_23Mk6UjR3U(a,b))+op_count_TytFGXR7Zf(op_EO7Xdgo9So(op_23Mk6UjR3U(a,b)))
    return count


def op_Sz2rUO9lfJ(a, b):
    return op_HiPekx5b7W(op_UoVew8f2p2(b,b),op_XbEAUggs3J(a))

def op_count_Sz2rUO9lfJ(a, b):
    count = op_count_UoVew8f2p2(b,b)+op_count_XbEAUggs3J(a)+op_count_HiPekx5b7W(op_UoVew8f2p2(b,b),op_XbEAUggs3J(a))
    return count


a⋅⇾⫱b = { (((b⪒⊣⊆b)≏⨯⊱a)≦↸(218∲⫑(⊠a))) , if a<20 ; ((≎↾(b↫))⨩≤⫤((a∇⊂⋱230)⪭(b⨰b))) , else }

def op_oxSU0Fg4Pf(a, b):
    if a < 20:
        return op_RygbFNSyEJ(op_UqUOXUQnbU(op_eRqsBgTDFp(b,b),a),op_NrdPCfJQiM(218,op_R3vAdrE3IH(a)))
    else:
        return op_neKQRQQIil(op_S56z7WVPBn(op_uPb5QRN0te(b)),op_j9kHMeSvPp(op_nhYeJWJD5X(a,230),op_eewbuw0ToL(b,b)))

def op_count_oxSU0Fg4Pf(a, b):
    if a < 20:
        count = op_count_eRqsBgTDFp(b,b)+op_count_UqUOXUQnbU(op_eRqsBgTDFp(b,b),a)+op_count_R3vAdrE3IH(a)+op_count_NrdPCfJQiM(218,op_R3vAdrE3IH(a))+op_count_RygbFNSyEJ(op_UqUOXUQnbU(op_eRqsBgTDFp(b,b),a),op_NrdPCfJQiM(218,op_R3vAdrE3IH(a)))
    else:
        count = op_count_uPb5QRN0te(b)+op_count_S56z7WVPBn(op_uPb5QRN0te(b))+op_count_nhYeJWJD5X(a,230)+op_count_eewbuw0ToL(b,b)+op_count_j9kHMeSvPp(op_nhYeJWJD5X(a,230),op_eewbuw0ToL(b,b))+op_count_neKQRQQIil(op_S56z7WVPBn(op_uPb5QRN0te(b)),op_j9kHMeSvPp(op_nhYeJWJD5X(a,230),op_eewbuw0ToL(b,b)))
    return count


def op_NEss8XKjAy(a):
    if a == 240 or op_bjFbhXSADs(a) >= 293:
        return op_HQuZ2f4It9(op_zoVPnxeHJ3(op_09Ly4LVMIf(0,a)))
    else:
        return op_09Ly4LVMIf(op_kz228nwi0J(op_8n5YIzOsVS(a)),op_Kn0TacbtGK(op_uysxUYN2L2(409,a)))

def op_count_NEss8XKjAy(a):
    if a == 240 or op_bjFbhXSADs(a) >= 293:
        count = op_count_09Ly4LVMIf(0,a)+op_count_zoVPnxeHJ3(op_09Ly4LVMIf(0,a))+op_count_HQuZ2f4It9(op_zoVPnxeHJ3(op_09Ly4LVMIf(0,a)))+op_count_bjFbhXSADs(a)
    else:
        count = op_count_8n5YIzOsVS(a)+op_count_kz228nwi0J(op_8n5YIzOsVS(a))+op_count_uysxUYN2L2(409,a)+op_count_Kn0TacbtGK(op_uysxUYN2L2(409,a))+op_count_09Ly4LVMIf(op_kz228nwi0J(op_8n5YIzOsVS(a)),op_Kn0TacbtGK(op_uysxUYN2L2(409,a)))
    return count


a⨎≋ = { ((a⋆⊨(a⨝⩣∺))≠≀((a≦↸a)≧⊼(a⪕a))) }

def op_esCg5yM8Za(a):
    return op_IwW236VD4Y(op_uTBsSls0VN(a,op_ancx8kZcWl(a)),op_JoLB3LXqXx(op_RygbFNSyEJ(a,a),op_umQnsF7QlU(a,a)))

def op_count_esCg5yM8Za(a):
    count = op_count_ancx8kZcWl(a)+op_count_uTBsSls0VN(a,op_ancx8kZcWl(a))+op_count_RygbFNSyEJ(a,a)+op_count_umQnsF7QlU(a,a)+op_count_JoLB3LXqXx(op_RygbFNSyEJ(a,a),op_umQnsF7QlU(a,a))+op_count_IwW236VD4Y(op_uTBsSls0VN(a,op_ancx8kZcWl(a)),op_JoLB3LXqXx(op_RygbFNSyEJ(a,a),op_umQnsF7QlU(a,a)))
    return count


def op_IgJGjqfDMb(a):
    if op_aHKFHkCgn9(a) != 337:
        return op_JDUIKTTSIa(160,a)
    else:
        return op_iz8sE888QL(a)

def op_count_IgJGjqfDMb(a):
    if op_aHKFHkCgn9(a) != 337:
        count = op_count_JDUIKTTSIa(160,a)+op_count_aHKFHkCgn9(a)
    else:
        count = op_count_iz8sE888QL(a)
    return count


def op_CirPpQMJg3(a):
    return op_GMN7JP6WpN(op_YSKBFp38Pu(a,a),op_MKpoIoBJCf(a))

def op_count_CirPpQMJg3(a):
    count = op_count_YSKBFp38Pu(a,a)+op_count_MKpoIoBJCf(a)+op_count_GMN7JP6WpN(op_YSKBFp38Pu(a,a),op_MKpoIoBJCf(a))
    return count


def op_fHEWrCoiIm(a, b):
    return op_VCG3UHNzLR(op_6l7ULzJsnZ(a),op_qxqspddX8k(b,b))

def op_count_fHEWrCoiIm(a, b):
    count = op_count_6l7ULzJsnZ(a)+op_count_qxqspddX8k(b,b)+op_count_VCG3UHNzLR(op_6l7ULzJsnZ(a),op_qxqspddX8k(b,b))
    return count


a⋉⪍ = { a , if (a⪑⩈)==102 ; (↩⪖(a⨧a)) , else }

def op_fP1Mkoq5j5(a):
    if op_C6VvDP6HwP(a) == 102:
        return a
    else:
        return op_fG6uBQFnGz(op_3YWlZA9bsa(a,a))

def op_count_fP1Mkoq5j5(a):
    if op_C6VvDP6HwP(a) == 102:
        count = 1
    else:
        count = op_count_3YWlZA9bsa(a,a)+op_count_fG6uBQFnGz(op_3YWlZA9bsa(a,a))
    return count


a∥⋈b = { (a⊇≀≁) , if (a⇇)<=60 ; (b⪯⫾⋍b) , else }

def op_j7kFUh2iBI(a, b):
    if op_ieTw63T1Vx(a) <= 60:
        return op_AfoL3wC8aT(a)
    else:
        return op_S5ZFQS4GK3(b,b)

def op_count_j7kFUh2iBI(a, b):
    if op_ieTw63T1Vx(a) <= 60:
        count = op_count_AfoL3wC8aT(a)+op_count_ieTw63T1Vx(a)
    else:
        count = op_count_S5ZFQS4GK3(b,b)
    return count


a⩠∄ = { (((a⋆⊨a)⩾(a⊭↱a))⊋≦⊧((⩷a)⩤∜↚(a↨⪍≴134))) }

def op_5n4SbZXPXD(a):
    return op_oRDoc9rAEX(op_UggxBX659n(op_uTBsSls0VN(a,a),op_COABgblf1C(a,a)),op_KROiRRz3d6(op_1h0rLqGiFr(a),op_DX7B1fY6P6(a,134)))

def op_count_5n4SbZXPXD(a):
    count = op_count_uTBsSls0VN(a,a)+op_count_COABgblf1C(a,a)+op_count_UggxBX659n(op_uTBsSls0VN(a,a),op_COABgblf1C(a,a))+op_count_1h0rLqGiFr(a)+op_count_DX7B1fY6P6(a,134)+op_count_KROiRRz3d6(op_1h0rLqGiFr(a),op_DX7B1fY6P6(a,134))+op_count_oRDoc9rAEX(op_UggxBX659n(op_uTBsSls0VN(a,a),op_COABgblf1C(a,a)),op_KROiRRz3d6(op_1h0rLqGiFr(a),op_DX7B1fY6P6(a,134)))
    return count


def op_43YlJdLKGs(a):
    return op_tnyRA5sazQ(a,op_sM9mzqIDB1(a,a))

def op_count_43YlJdLKGs(a):
    count = op_count_sM9mzqIDB1(a,a)+op_count_tnyRA5sazQ(a,op_sM9mzqIDB1(a,a))
    return count


a≎⩅b = { (((a⪒b)⋅⇍(b⨳⩥⨓449))⨣∐↬((b⩌⋺a)⪍↜⋙(b⩆≶⊌))) }

def op_ieqGirTMxl(a, b):
    return op_UpkSd4zESC(op_AdZkA7nFnk(op_f6k1SAg4EE(a,b),op_nCS4ZIUYfx(b,449)),op_L05ObWFQCd(op_g7Hmc5v1ko(b,a),op_PZaICrJanm(b)))

def op_count_ieqGirTMxl(a, b):
    count = op_count_f6k1SAg4EE(a,b)+op_count_nCS4ZIUYfx(b,449)+op_count_AdZkA7nFnk(op_f6k1SAg4EE(a,b),op_nCS4ZIUYfx(b,449))+op_count_g7Hmc5v1ko(b,a)+op_count_PZaICrJanm(b)+op_count_L05ObWFQCd(op_g7Hmc5v1ko(b,a),op_PZaICrJanm(b))+op_count_UpkSd4zESC(op_AdZkA7nFnk(op_f6k1SAg4EE(a,b),op_nCS4ZIUYfx(b,449)),op_L05ObWFQCd(op_g7Hmc5v1ko(b,a),op_PZaICrJanm(b)))
    return count


def op_uMqz7j7WQB(a):
    if op_xoJmIySC7h(a,975) != 222:
        return op_hiBDRd40bf(op_0JWJYFSzIQ(op_SgAxmdLNEA(a),op_tIhPxZTbsh(27,a)),op_KPf6cnQVty(op_VCG3UHNzLR(a,a),op_Ph9nP6C5qx(a,a)))
    else:
        return op_KYL1uVeVpb(op_OKKcZfAt5B(op_qy3n0tapmE(a,528),op_aOI3TlLUAE(a)),op_eRqsBgTDFp(op_6MpZysEj17(85),op_OTRTVPweYV(77,a)))

def op_count_uMqz7j7WQB(a):
    if op_xoJmIySC7h(a,975) != 222:
        count = op_count_SgAxmdLNEA(a)+op_count_tIhPxZTbsh(27,a)+op_count_0JWJYFSzIQ(op_SgAxmdLNEA(a),op_tIhPxZTbsh(27,a))+op_count_VCG3UHNzLR(a,a)+op_count_Ph9nP6C5qx(a,a)+op_count_KPf6cnQVty(op_VCG3UHNzLR(a,a),op_Ph9nP6C5qx(a,a))+op_count_hiBDRd40bf(op_0JWJYFSzIQ(op_SgAxmdLNEA(a),op_tIhPxZTbsh(27,a)),op_KPf6cnQVty(op_VCG3UHNzLR(a,a),op_Ph9nP6C5qx(a,a)))+op_count_xoJmIySC7h(a,975)
    else:
        count = op_count_qy3n0tapmE(a,528)+op_count_aOI3TlLUAE(a)+op_count_OKKcZfAt5B(op_qy3n0tapmE(a,528),op_aOI3TlLUAE(a))+op_count_6MpZysEj17(85)+op_count_OTRTVPweYV(77,a)+op_count_eRqsBgTDFp(op_6MpZysEj17(85),op_OTRTVPweYV(77,a))+op_count_KYL1uVeVpb(op_OKKcZfAt5B(op_qy3n0tapmE(a,528),op_aOI3TlLUAE(a)),op_eRqsBgTDFp(op_6MpZysEj17(85),op_OTRTVPweYV(77,a)))
    return count


def op_cHPIEQy0Cf(a):
    return op_kc7iqVBlRY(op_tnyRA5sazQ(0,a))

def op_count_cHPIEQy0Cf(a):
    count = op_count_tnyRA5sazQ(0,a)+op_count_kc7iqVBlRY(op_tnyRA5sazQ(0,a))
    return count


a≞→b = { ((⋷⊟(⫇⨷b))↪∷((a⊉≛↸27)⩌⋺(∦b))) }

def op_F5sOeBPF7d(a, b):
    return op_Api82iH42a(op_2fAMLLeFHb(op_ct1hK6qyRt(b)),op_g7Hmc5v1ko(op_DZ8iAZOCBD(a,27),op_ew17WAA8t6(b)))

def op_count_F5sOeBPF7d(a, b):
    count = op_count_ct1hK6qyRt(b)+op_count_2fAMLLeFHb(op_ct1hK6qyRt(b))+op_count_DZ8iAZOCBD(a,27)+op_count_ew17WAA8t6(b)+op_count_g7Hmc5v1ko(op_DZ8iAZOCBD(a,27),op_ew17WAA8t6(b))+op_count_Api82iH42a(op_2fAMLLeFHb(op_ct1hK6qyRt(b)),op_g7Hmc5v1ko(op_DZ8iAZOCBD(a,27),op_ew17WAA8t6(b)))
    return count


def op_zqsMTVBX2o(a, b):
    return op_4JGOJzXMq1(op_ocnLzx9CaJ(b,b),op_fOIeswaMU4(a))

def op_count_zqsMTVBX2o(a, b):
    count = op_count_ocnLzx9CaJ(b,b)+op_count_fOIeswaMU4(a)+op_count_4JGOJzXMq1(op_ocnLzx9CaJ(b,b),op_fOIeswaMU4(a))
    return count


def op_zHlZKsoSa2(a):
    return op_giaUb8UVhq(op_HmxsFra2vL(op_nbuSfrB4hB(a,a),op_SpZWOsLKZJ(a)),op_B3sABdIn96(op_uOZ1tnYMDE(a)))

def op_count_zHlZKsoSa2(a):
    count = op_count_nbuSfrB4hB(a,a)+op_count_SpZWOsLKZJ(a)+op_count_HmxsFra2vL(op_nbuSfrB4hB(a,a),op_SpZWOsLKZJ(a))+op_count_uOZ1tnYMDE(a)+op_count_B3sABdIn96(op_uOZ1tnYMDE(a))+op_count_giaUb8UVhq(op_HmxsFra2vL(op_nbuSfrB4hB(a,a),op_SpZWOsLKZJ(a)),op_B3sABdIn96(op_uOZ1tnYMDE(a)))
    return count


def op_pm9cx6Eqcm(a, b):
    return op_aiqF8n6J9c(op_z2JHNkvbdm(b,a),op_3Oe9XWJUTD(84,301))

def op_count_pm9cx6Eqcm(a, b):
    count = op_count_z2JHNkvbdm(b,a)+op_count_3Oe9XWJUTD(84,301)+op_count_aiqF8n6J9c(op_z2JHNkvbdm(b,a),op_3Oe9XWJUTD(84,301))
    return count


a≅⋲b = { ((395⪨≂a)⋎(≿⇫a)) , if (a⪎⩰)>343 ; ((b⫚↹⊑a)⫰⋱(b⫊⇚⊺a)) , else }

def op_A0R0hrgyGo(a, b):
    if op_2ufhKmSs5H(a) > 343:
        return op_qy3n0tapmE(op_sdazOOVcIp(395,a),op_3A1e9zoj8h(a))
    else:
        return op_6o9Blt3TJ6(op_dfKe02y8D2(b,a),op_Y5cEcQhyKu(b,a))

def op_count_A0R0hrgyGo(a, b):
    if op_2ufhKmSs5H(a) > 343:
        count = op_count_sdazOOVcIp(395,a)+op_count_3A1e9zoj8h(a)+op_count_qy3n0tapmE(op_sdazOOVcIp(395,a),op_3A1e9zoj8h(a))+op_count_2ufhKmSs5H(a)
    else:
        count = op_count_dfKe02y8D2(b,a)+op_count_Y5cEcQhyKu(b,a)+op_count_6o9Blt3TJ6(op_dfKe02y8D2(b,a),op_Y5cEcQhyKu(b,a))
    return count


def op_WrOUkiTiko(a, b):
    return op_hYjFJ8q04Z(op_UqUOXUQnbU(op_nREPSIbpBE(b,a),op_GMyVS5K48T(b,a)))

def op_count_WrOUkiTiko(a, b):
    count = op_count_nREPSIbpBE(b,a)+op_count_GMyVS5K48T(b,a)+op_count_UqUOXUQnbU(op_nREPSIbpBE(b,a),op_GMyVS5K48T(b,a))+op_count_hYjFJ8q04Z(op_UqUOXUQnbU(op_nREPSIbpBE(b,a),op_GMyVS5K48T(b,a)))
    return count


def op_NxuR86eEEP(a):
    if op_7j4O788W3g(a,581) == 85:
        return op_3sJ7IOPOlU(a,278)
    else:
        return a

def op_count_NxuR86eEEP(a):
    if op_7j4O788W3g(a,581) == 85:
        count = op_count_3sJ7IOPOlU(a,278)+op_count_7j4O788W3g(a,581)
    else:
        count = 1
    return count


⋩⇎a = { (a↼⊘⨖a) , if (a⊙)>9 ; (a⩌a) , else }

def op_K3JPd1IOTr(a):
    if op_pjdzZ5rP1Y(a) > 9:
        return op_bPywburJMS(a,a)
    else:
        return op_UoVew8f2p2(a,a)

def op_count_K3JPd1IOTr(a):
    if op_pjdzZ5rP1Y(a) > 9:
        count = op_count_bPywburJMS(a,a)+op_count_pjdzZ5rP1Y(a)
    else:
        count = op_count_UoVew8f2p2(a,a)
    return count


⪼⊮⪮a = { ((a⪨≂(422⩍⋽⫝̸35))⫏↛⩏((a⫸⇳a)⊭(⨩∲⋌a))) }

def op_FnKkWBwf5d(a):
    return op_YC3tgrnOyr(op_sdazOOVcIp(a,op_BiWNJpBvwn(422,35)),op_4JGOJzXMq1(op_gx7XJ7hdpj(a,a),op_aSik1wnThz(a)))

def op_count_FnKkWBwf5d(a):
    count = op_count_BiWNJpBvwn(422,35)+op_count_sdazOOVcIp(a,op_BiWNJpBvwn(422,35))+op_count_gx7XJ7hdpj(a,a)+op_count_aSik1wnThz(a)+op_count_4JGOJzXMq1(op_gx7XJ7hdpj(a,a),op_aSik1wnThz(a))+op_count_YC3tgrnOyr(op_sdazOOVcIp(a,op_BiWNJpBvwn(422,35)),op_4JGOJzXMq1(op_gx7XJ7hdpj(a,a),op_aSik1wnThz(a)))
    return count


⩿⨑a = { a , if (⊙⨙⩍a)!=452 ; ((↰⫏(a⨑⋨a))∮⨁) , else }

def op_6p8uLNHqK6(a):
    if op_ocpzidtxKt(a) != 452:
        return a
    else:
        return op_TytFGXR7Zf(op_UeUK5QjOtW(op_tIhPxZTbsh(a,a)))

def op_count_6p8uLNHqK6(a):
    if op_ocpzidtxKt(a) != 452:
        count = 1
    else:
        count = op_count_tIhPxZTbsh(a,a)+op_count_UeUK5QjOtW(op_tIhPxZTbsh(a,a))+op_count_TytFGXR7Zf(op_UeUK5QjOtW(op_tIhPxZTbsh(a,a)))
    return count


def op_RR9T5AuQ1T(a, b):
    return op_23Mk6UjR3U(op_j4geBLYVFK(b),op_S3tN1ZzpSt(a,720))

def op_count_RR9T5AuQ1T(a, b):
    count = op_count_j4geBLYVFK(b)+op_count_S3tN1ZzpSt(a,720)+op_count_23Mk6UjR3U(op_j4geBLYVFK(b),op_S3tN1ZzpSt(a,720))
    return count


def op_QnvrtN8efL(a, b):
    if a <= 512:
        return op_PPChnnnBFF(op_g55IO6H4Gj(op_COABgblf1C(14,b),381),op_kuIXHzHcAH(op_pRsWfj4Fpp(b),op_DZ8iAZOCBD(b,b)))
    else:
        return b

def op_count_QnvrtN8efL(a, b):
    if a <= 512:
        count = op_count_COABgblf1C(14,b)+op_count_g55IO6H4Gj(op_COABgblf1C(14,b),381)+op_count_pRsWfj4Fpp(b)+op_count_DZ8iAZOCBD(b,b)+op_count_kuIXHzHcAH(op_pRsWfj4Fpp(b),op_DZ8iAZOCBD(b,b))+op_count_PPChnnnBFF(op_g55IO6H4Gj(op_COABgblf1C(14,b),381),op_kuIXHzHcAH(op_pRsWfj4Fpp(b),op_DZ8iAZOCBD(b,b)))
    else:
        count = 1
    return count


def op_Lsyp3t0mLH(a, b):
    return op_S3tN1ZzpSt(op_dfKe02y8D2(b,a),op_5JYyxRJd4f(b))

def op_count_Lsyp3t0mLH(a, b):
    count = op_count_dfKe02y8D2(b,a)+op_count_5JYyxRJd4f(b)+op_count_S3tN1ZzpSt(op_dfKe02y8D2(b,a),op_5JYyxRJd4f(b))
    return count


a⪢⋌ = { (((a≚⊃≕a)≜)≼((a⋂⩴a)⫡⨏(a∀⩎⋷a))) }

def op_VXHTr3Zwal(a):
    return op_SPuZE40Ntn(op_jvbZP6NeOL(op_Bmrmz2XGnR(a,a)),op_QMFrweE19q(op_hmlrMsD2PO(a,a),op_FPxP5Y1j0W(a,a)))

def op_count_VXHTr3Zwal(a):
    count = op_count_Bmrmz2XGnR(a,a)+op_count_jvbZP6NeOL(op_Bmrmz2XGnR(a,a))+op_count_hmlrMsD2PO(a,a)+op_count_FPxP5Y1j0W(a,a)+op_count_QMFrweE19q(op_hmlrMsD2PO(a,a),op_FPxP5Y1j0W(a,a))+op_count_SPuZE40Ntn(op_jvbZP6NeOL(op_Bmrmz2XGnR(a,a)),op_QMFrweE19q(op_hmlrMsD2PO(a,a),op_FPxP5Y1j0W(a,a)))
    return count


def op_O9zW7v9TAZ(a):
    return op_eLAdDNolq6(op_Rw46J52cBJ(a,a))

def op_count_O9zW7v9TAZ(a):
    count = op_count_Rw46J52cBJ(a,a)+op_count_eLAdDNolq6(op_Rw46J52cBJ(a,a))
    return count


def op_d0BPTzii7q(a):
    return op_eaFBhJ0Uku(op_UqUOXUQnbU(a,op_JFrVJKYFMX(a,a)),op_nhYeJWJD5X(op_j4geBLYVFK(347),a))

def op_count_d0BPTzii7q(a):
    count = op_count_JFrVJKYFMX(a,a)+op_count_UqUOXUQnbU(a,op_JFrVJKYFMX(a,a))+op_count_j4geBLYVFK(347)+op_count_nhYeJWJD5X(op_j4geBLYVFK(347),a)+op_count_eaFBhJ0Uku(op_UqUOXUQnbU(a,op_JFrVJKYFMX(a,a)),op_nhYeJWJD5X(op_j4geBLYVFK(347),a))
    return count


≂⨭a = { (((↸⊣a)↹⊜(a⩧⪆a))⪅) , if (≎↾a)<=123 ; (((a≦↸a)⊠≄⫣)∌((a↹⊜a)+⪬∐(⋷⊟a))) , else }

def op_y6kfwHd1dQ(a):
    if op_S56z7WVPBn(a) <= 123:
        return op_FB83X2dByY(op_9bazX3JMtO(op_wztAlM01eG(a),op_Ikt5ks8PT7(a,a)))
    else:
        return op_8cLx32lpNA(op_DIvbN7qnHd(op_RygbFNSyEJ(a,a)),op_2GS7woTJqF(op_9bazX3JMtO(a,a),op_2fAMLLeFHb(a)))

def op_count_y6kfwHd1dQ(a):
    if op_S56z7WVPBn(a) <= 123:
        count = op_count_wztAlM01eG(a)+op_count_Ikt5ks8PT7(a,a)+op_count_9bazX3JMtO(op_wztAlM01eG(a),op_Ikt5ks8PT7(a,a))+op_count_FB83X2dByY(op_9bazX3JMtO(op_wztAlM01eG(a),op_Ikt5ks8PT7(a,a)))+op_count_S56z7WVPBn(a)
    else:
        count = op_count_RygbFNSyEJ(a,a)+op_count_DIvbN7qnHd(op_RygbFNSyEJ(a,a))+op_count_9bazX3JMtO(a,a)+op_count_2fAMLLeFHb(a)+op_count_2GS7woTJqF(op_9bazX3JMtO(a,a),op_2fAMLLeFHb(a))+op_count_8cLx32lpNA(op_DIvbN7qnHd(op_RygbFNSyEJ(a,a)),op_2GS7woTJqF(op_9bazX3JMtO(a,a),op_2fAMLLeFHb(a)))
    return count


def op_khWs9AK9qD(a):
    return op_rysDP5nf3Z(op_NrdPCfJQiM(a,a),op_bPywburJMS(a,a))

def op_count_khWs9AK9qD(a):
    count = op_count_NrdPCfJQiM(a,a)+op_count_bPywburJMS(a,a)+op_count_rysDP5nf3Z(op_NrdPCfJQiM(a,a),op_bPywburJMS(a,a))
    return count


a↡≴⩿b = { (a⨐393) , if b>297 ; (a⨽⪊≇) , else }

def op_FG45JEQvIn(a, b):
    if b > 297:
        return op_Noe24qw2ks(a,393)
    else:
        return op_nlCqmYiOvY(a)

def op_count_FG45JEQvIn(a, b):
    if b > 297:
        count = op_count_Noe24qw2ks(a,393)
    else:
        count = op_count_nlCqmYiOvY(a)
    return count


def op_SLtCypM0tD(a):
    if op_PxiHyQbrIp(a) < 183:
        return op_hiBDRd40bf(142,35)
    else:
        return op_wEfv7U73WA(a)

def op_count_SLtCypM0tD(a):
    if op_PxiHyQbrIp(a) < 183:
        count = op_count_hiBDRd40bf(142,35)+op_count_PxiHyQbrIp(a)
    else:
        count = op_count_wEfv7U73WA(a)
    return count


⪟a = { (a⪨≂181) , if (a⇽⩪)<468 ; (a⪿⇪⊩a) , else }

def op_IXjsxcpyRE(a):
    if op_FonBHBYJbU(a) < 468:
        return op_sdazOOVcIp(a,181)
    else:
        return op_OGWBzMv138(a,a)

def op_count_IXjsxcpyRE(a):
    if op_FonBHBYJbU(a) < 468:
        count = op_count_sdazOOVcIp(a,181)+op_count_FonBHBYJbU(a)
    else:
        count = op_count_OGWBzMv138(a,a)
    return count


def op_3gwhJpgULg(a):
    if op_BjRHVeLaeN(a) == 305:
        return op_Ph9nP6C5qx(op_2ufhKmSs5H(a),op_W4YGzv6Whe(a,63))
    else:
        return op_JgXZM7XvWE(0,op_WkeUrDK8WX(a))

def op_count_3gwhJpgULg(a):
    if op_BjRHVeLaeN(a) == 305:
        count = op_count_2ufhKmSs5H(a)+op_count_W4YGzv6Whe(a,63)+op_count_Ph9nP6C5qx(op_2ufhKmSs5H(a),op_W4YGzv6Whe(a,63))+op_count_BjRHVeLaeN(a)
    else:
        count = op_count_WkeUrDK8WX(a)+op_count_JgXZM7XvWE(0,op_WkeUrDK8WX(a))
    return count


def op_xBbleKmA1B(a):
    return op_KPf6cnQVty(op_IpgdDpBHsO(a),op_12rbrZMWeM(175,a))

def op_count_xBbleKmA1B(a):
    count = op_count_IpgdDpBHsO(a)+op_count_12rbrZMWeM(175,a)+op_count_KPf6cnQVty(op_IpgdDpBHsO(a),op_12rbrZMWeM(175,a))
    return count


def op_kltGiwuiXL(a, b):
    if op_MKpoIoBJCf(b) <= 64:
        return op_COABgblf1C(op_tnyRA5sazQ(218,a),op_UpkSd4zESC(a,804))
    else:
        return op_DX7B1fY6P6(op_fG6uBQFnGz(a),op_cwbF3JtlMN(b,124))

def op_count_kltGiwuiXL(a, b):
    if op_MKpoIoBJCf(b) <= 64:
        count = op_count_tnyRA5sazQ(218,a)+op_count_UpkSd4zESC(a,804)+op_count_COABgblf1C(op_tnyRA5sazQ(218,a),op_UpkSd4zESC(a,804))+op_count_MKpoIoBJCf(b)
    else:
        count = op_count_fG6uBQFnGz(a)+op_count_cwbF3JtlMN(b,124)+op_count_DX7B1fY6P6(op_fG6uBQFnGz(a),op_cwbF3JtlMN(b,124))
    return count


def op_JwkaomVlID(a):
    return op_UoVew8f2p2(op_QMFrweE19q(a,321),op_DZ8iAZOCBD(a,a))

def op_count_JwkaomVlID(a):
    count = op_count_QMFrweE19q(a,321)+op_count_DZ8iAZOCBD(a,a)+op_count_UoVew8f2p2(op_QMFrweE19q(a,321),op_DZ8iAZOCBD(a,a))
    return count


def op_8tlPackhUh(a):
    if (op_HjMFvreeUu(a) > 265 or a <= 44):
        return op_B3sABdIn96(op_cTDWOvIxvz(a,a))
    else:
        return op_E4l6HwMY31(op_EWw2JM7wp4(a,261),op_HiPekx5b7W(a,50))

def op_count_8tlPackhUh(a):
    if (op_HjMFvreeUu(a) > 265 or a <= 44):
        count = op_count_cTDWOvIxvz(a,a)+op_count_B3sABdIn96(op_cTDWOvIxvz(a,a))+op_count_HjMFvreeUu(a)
    else:
        count = op_count_EWw2JM7wp4(a,261)+op_count_HiPekx5b7W(a,50)+op_count_E4l6HwMY31(op_EWw2JM7wp4(a,261),op_HiPekx5b7W(a,50))
    return count


def op_6hz2NCYjHL(a):
    return op_dAAkup5nzi(op_Rw46J52cBJ(op_QMFrweE19q(a,35),op_sM9mzqIDB1(a,a)),a)

def op_count_6hz2NCYjHL(a):
    count = op_count_QMFrweE19q(a,35)+op_count_sM9mzqIDB1(a,a)+op_count_Rw46J52cBJ(op_QMFrweE19q(a,35),op_sM9mzqIDB1(a,a))+op_count_dAAkup5nzi(op_Rw46J52cBJ(op_QMFrweE19q(a,35),op_sM9mzqIDB1(a,a)),a)
    return count


def op_VYuSRsvjYE(a):
    return op_VJ330n2nnx(op_tnyRA5sazQ(op_OwUj7dcsQK(a),op_AfoL3wC8aT(a)))

def op_count_VYuSRsvjYE(a):
    count = op_count_OwUj7dcsQK(a)+op_count_AfoL3wC8aT(a)+op_count_tnyRA5sazQ(op_OwUj7dcsQK(a),op_AfoL3wC8aT(a))+op_count_VJ330n2nnx(op_tnyRA5sazQ(op_OwUj7dcsQK(a),op_AfoL3wC8aT(a)))
    return count


a≻√⪧ = { (a⩵∡a) , if a>514 ; ((80⨚a)⨶) , else }

def op_iJhMwlfzpc(a):
    if a > 514:
        return op_Y7wcNGrDQJ(a,a)
    else:
        return op_rFxw8gIMmB(op_nREPSIbpBE(80,a))

def op_count_iJhMwlfzpc(a):
    if a > 514:
        count = op_count_Y7wcNGrDQJ(a,a)
    else:
        count = op_count_nREPSIbpBE(80,a)+op_count_rFxw8gIMmB(op_nREPSIbpBE(80,a))
    return count


def op_rGQt3VChjE(a):
    if a < 305:
        return op_BiWNJpBvwn(op_7j4O788W3g(a,op_HrjLwUk87U(a,56)),op_8TQKPGA8Ba(op_UoVew8f2p2(a,105)))
    else:
        return op_wEfv7U73WA(op_ObEyaaML9x(op_i8ToyICDmI(386,a),op_eewbuw0ToL(a,a)))

def op_count_rGQt3VChjE(a):
    if a < 305:
        count = op_count_HrjLwUk87U(a,56)+op_count_7j4O788W3g(a,op_HrjLwUk87U(a,56))+op_count_UoVew8f2p2(a,105)+op_count_8TQKPGA8Ba(op_UoVew8f2p2(a,105))+op_count_BiWNJpBvwn(op_7j4O788W3g(a,op_HrjLwUk87U(a,56)),op_8TQKPGA8Ba(op_UoVew8f2p2(a,105)))
    else:
        count = op_count_i8ToyICDmI(386,a)+op_count_eewbuw0ToL(a,a)+op_count_ObEyaaML9x(op_i8ToyICDmI(386,a),op_eewbuw0ToL(a,a))+op_count_wEfv7U73WA(op_ObEyaaML9x(op_i8ToyICDmI(386,a),op_eewbuw0ToL(a,a)))
    return count


def op_Ft2biiUhlV(a, b):
    return op_2GS7woTJqF(op_y4ImoPnbV5(b,a),op_3tVxb0NHM4(a,510))

def op_count_Ft2biiUhlV(a, b):
    count = op_count_y4ImoPnbV5(b,a)+op_count_3tVxb0NHM4(a,510)+op_count_2GS7woTJqF(op_y4ImoPnbV5(b,a),op_3tVxb0NHM4(a,510))
    return count


def op_lPY5QE4vSP(a, b):
    return op_HrjLwUk87U(op_8cLx32lpNA(op_3tVxb0NHM4(624,558),op_OwUj7dcsQK(b)),op_7CBskBkoKY(a))

def op_count_lPY5QE4vSP(a, b):
    count = op_count_3tVxb0NHM4(624,558)+op_count_OwUj7dcsQK(b)+op_count_8cLx32lpNA(op_3tVxb0NHM4(624,558),op_OwUj7dcsQK(b))+op_count_7CBskBkoKY(a)+op_count_HrjLwUk87U(op_8cLx32lpNA(op_3tVxb0NHM4(624,558),op_OwUj7dcsQK(b)),op_7CBskBkoKY(a))
    return count


↱⊵a = { ((a∇⊂⋱a)∙∹∝(a⋂⩴268)) , if (⫇⪃↚a)<=75 ; ((⫦≽⪐a)⋘(1⊬⫿⊭)) , else }

def op_ySQaxTQMd8(a):
    if op_Q9TX5pQS3Y(a) <= 75:
        return op_HmxsFra2vL(op_nhYeJWJD5X(a,a),op_hmlrMsD2PO(a,268))
    else:
        return op_2M7SKlOzyM(op_fjqJgF5yyp(a),op_v0DYgG9ikt(1))

def op_count_ySQaxTQMd8(a):
    if op_Q9TX5pQS3Y(a) <= 75:
        count = op_count_nhYeJWJD5X(a,a)+op_count_hmlrMsD2PO(a,268)+op_count_HmxsFra2vL(op_nhYeJWJD5X(a,a),op_hmlrMsD2PO(a,268))+op_count_Q9TX5pQS3Y(a)
    else:
        count = op_count_fjqJgF5yyp(a)+op_count_v0DYgG9ikt(1)+op_count_2M7SKlOzyM(op_fjqJgF5yyp(a),op_v0DYgG9ikt(1))
    return count


def op_ZuEtOFAVcg(a, b):
    if (op_hrf7POJlIJ(a,18) < 1 or b <= 245):
        return op_tnyRA5sazQ(446,434)
    else:
        return op_KvubFp3XhO(a)

def op_count_ZuEtOFAVcg(a, b):
    if (op_hrf7POJlIJ(a,18) < 1 or b <= 245):
        count = op_count_tnyRA5sazQ(446,434)+op_count_hrf7POJlIJ(a,18)
    else:
        count = op_count_KvubFp3XhO(a)
    return count


def op_YjcqlNuJ4W(a, b):
    return op_a3N2hFLK0J(op_d7ASUq0ydm(b,a))

def op_count_YjcqlNuJ4W(a, b):
    count = op_count_d7ASUq0ydm(b,a)+op_count_a3N2hFLK0J(op_d7ASUq0ydm(b,a))
    return count


def op_0vvTtnGEAI(a):
    if op_2M7SKlOzyM(a,244) <= 289:
        return op_86A5ENbKR9(op_OGWBzMv138(420,a))
    else:
        return op_LxFB4K6j0n(op_Qy55tPpLXF(a,a))

def op_count_0vvTtnGEAI(a):
    if op_2M7SKlOzyM(a,244) <= 289:
        count = op_count_OGWBzMv138(420,a)+op_count_86A5ENbKR9(op_OGWBzMv138(420,a))+op_count_2M7SKlOzyM(a,244)
    else:
        count = op_count_Qy55tPpLXF(a,a)+op_count_LxFB4K6j0n(op_Qy55tPpLXF(a,a))
    return count


a⊼⩙≵ = { (a↜⊷a) , if (a<172 or a<=297) ; (a⊓⋫) , else }

def op_qpxJquq7V4(a):
    if (a < 172 or a <= 297):
        return op_irKjLsMeKy(a,a)
    else:
        return op_IqGBaFP0uj(a)

def op_count_qpxJquq7V4(a):
    if (a < 172 or a <= 297):
        count = op_count_irKjLsMeKy(a,a)
    else:
        count = op_count_IqGBaFP0uj(a)
    return count


a↴⋟b = { (b⫯⪬∳((a⩼⇪↪a)⨔⇊(119⨑a))) , if (b⇴270)<511 and b<=137 ; (((⩆⇋b)⪲⨢(a∶))⋅⇍((b⪶≀⋏b)↺(b≝⊿b))) , else }

def op_yo23qO3U4o(a, b):
    if op_4JB6nKBMSY(b,270) < 511 and b <= 137:
        return op_d7ASUq0ydm(b,op_JclMnS0uGI(op_ocnLzx9CaJ(a,a),op_IxJHfR5psi(119,a)))
    else:
        return op_AdZkA7nFnk(op_6iafYuwGo8(op_IjUb3wyICU(b),op_7FnCP1ejHT(a)),op_7j4O788W3g(op_zR4jO40bMj(b,b),op_OKKcZfAt5B(b,b)))

def op_count_yo23qO3U4o(a, b):
    if op_4JB6nKBMSY(b,270) < 511 and b <= 137:
        count = op_count_ocnLzx9CaJ(a,a)+op_count_IxJHfR5psi(119,a)+op_count_JclMnS0uGI(op_ocnLzx9CaJ(a,a),op_IxJHfR5psi(119,a))+op_count_d7ASUq0ydm(b,op_JclMnS0uGI(op_ocnLzx9CaJ(a,a),op_IxJHfR5psi(119,a)))+op_count_4JB6nKBMSY(b,270)
    else:
        count = op_count_IjUb3wyICU(b)+op_count_7FnCP1ejHT(a)+op_count_6iafYuwGo8(op_IjUb3wyICU(b),op_7FnCP1ejHT(a))+op_count_zR4jO40bMj(b,b)+op_count_OKKcZfAt5B(b,b)+op_count_7j4O788W3g(op_zR4jO40bMj(b,b),op_OKKcZfAt5B(b,b))+op_count_AdZkA7nFnk(op_6iafYuwGo8(op_IjUb3wyICU(b),op_7FnCP1ejHT(a)),op_7j4O788W3g(op_zR4jO40bMj(b,b),op_OKKcZfAt5B(b,b)))
    return count


def op_aN41RXSydB(a, b):
    if (b >= 62 or op_4JB6nKBMSY(a,781) <= 73):
        return op_m612RDITqL(op_DmTXOeWf9t(a,b),op_2td37pGCOC(b))
    else:
        return op_3sJ7IOPOlU(op_oDvtRyfmAM(b),op_JDUIKTTSIa(343,b))

def op_count_aN41RXSydB(a, b):
    if (b >= 62 or op_4JB6nKBMSY(a,781) <= 73):
        count = op_count_DmTXOeWf9t(a,b)+op_count_2td37pGCOC(b)+op_count_m612RDITqL(op_DmTXOeWf9t(a,b),op_2td37pGCOC(b))+op_count_4JB6nKBMSY(a,781)
    else:
        count = op_count_oDvtRyfmAM(b)+op_count_JDUIKTTSIa(343,b)+op_count_3sJ7IOPOlU(op_oDvtRyfmAM(b),op_JDUIKTTSIa(343,b))
    return count


a∱≰⋽b = { (((a⪁⨴⋨b)≣(a∺≝⩲24))∆⨵⋿) , if (b⨑166)<171 ; a , else }

def op_e2nXfTFvZP(a, b):
    if op_IxJHfR5psi(b,166) < 171:
        return op_7CBskBkoKY(op_ObEyaaML9x(op_y2kQTS4a70(a,b),op_KPf6cnQVty(a,24)))
    else:
        return a

def op_count_e2nXfTFvZP(a, b):
    if op_IxJHfR5psi(b,166) < 171:
        count = op_count_y2kQTS4a70(a,b)+op_count_KPf6cnQVty(a,24)+op_count_ObEyaaML9x(op_y2kQTS4a70(a,b),op_KPf6cnQVty(a,24))+op_count_7CBskBkoKY(op_ObEyaaML9x(op_y2kQTS4a70(a,b),op_KPf6cnQVty(a,24)))+op_count_IxJHfR5psi(b,166)
    else:
        count = 1
    return count


def op_2c2Kvs5UmY(a, b):
    return op_wmlQD0656L(op_Qaz2MhZaG5(b,a))

def op_count_2c2Kvs5UmY(a, b):
    count = op_count_Qaz2MhZaG5(b,a)+op_count_wmlQD0656L(op_Qaz2MhZaG5(b,a))
    return count


def op_pzB9uj1TLE(a):
    return op_KbjG8mgYpV(op_zoVPnxeHJ3(a),op_eaFBhJ0Uku(a,a))

def op_count_pzB9uj1TLE(a):
    count = op_count_zoVPnxeHJ3(a)+op_count_eaFBhJ0Uku(a,a)+op_count_KbjG8mgYpV(op_zoVPnxeHJ3(a),op_eaFBhJ0Uku(a,a))
    return count


def op_QyJFccSbaX(a, b):
    return op_WR6HLWljOP(op_bx9Z9DAK5y(b),op_86A5ENbKR9(a))

def op_count_QyJFccSbaX(a, b):
    count = op_count_bx9Z9DAK5y(b)+op_count_86A5ENbKR9(a)+op_count_WR6HLWljOP(op_bx9Z9DAK5y(b),op_86A5ENbKR9(a))
    return count


def op_Ty2Xr1YUwT(a):
    if op_gSr4c7pPrV(a) <= 171:
        return op_wmlQD0656L(op_GMN7JP6WpN(op_cTDWOvIxvz(92,a),op_HJ9erzHUuu(a,a)))
    else:
        return op_Eev2Q7dYIw(op_COABgblf1C(op_dfKe02y8D2(26,a),op_DmTXOeWf9t(238,a)))

def op_count_Ty2Xr1YUwT(a):
    if op_gSr4c7pPrV(a) <= 171:
        count = op_count_cTDWOvIxvz(92,a)+op_count_HJ9erzHUuu(a,a)+op_count_GMN7JP6WpN(op_cTDWOvIxvz(92,a),op_HJ9erzHUuu(a,a))+op_count_wmlQD0656L(op_GMN7JP6WpN(op_cTDWOvIxvz(92,a),op_HJ9erzHUuu(a,a)))+op_count_gSr4c7pPrV(a)
    else:
        count = op_count_dfKe02y8D2(26,a)+op_count_DmTXOeWf9t(238,a)+op_count_COABgblf1C(op_dfKe02y8D2(26,a),op_DmTXOeWf9t(238,a))+op_count_Eev2Q7dYIw(op_COABgblf1C(op_dfKe02y8D2(26,a),op_DmTXOeWf9t(238,a)))
    return count


def op_vpIHGqpmN7(a):
    return op_COABgblf1C(op_Siyfjn51pv(op_w2P8NbNXyL(359,a)),op_zV3pqYiQ5E(op_L05ObWFQCd(a,959)))

def op_count_vpIHGqpmN7(a):
    count = op_count_w2P8NbNXyL(359,a)+op_count_Siyfjn51pv(op_w2P8NbNXyL(359,a))+op_count_L05ObWFQCd(a,959)+op_count_zV3pqYiQ5E(op_L05ObWFQCd(a,959))+op_count_COABgblf1C(op_Siyfjn51pv(op_w2P8NbNXyL(359,a)),op_zV3pqYiQ5E(op_L05ObWFQCd(a,959)))
    return count


a⇏⩵⨆b = { (((⫂b)⊩≵⪔)≽⪈↿((a⊬⨰b)⊬⨰(a≠≀a))) }

def op_GH46DaXZxO(a, b):
    return op_inCIaGQf8u(op_aDRGw0okjd(op_U9HvHqtOoq(b)),op_s3Fd5m9Dh2(op_s3Fd5m9Dh2(a,b),op_IwW236VD4Y(a,a)))

def op_count_GH46DaXZxO(a, b):
    count = op_count_U9HvHqtOoq(b)+op_count_aDRGw0okjd(op_U9HvHqtOoq(b))+op_count_s3Fd5m9Dh2(a,b)+op_count_IwW236VD4Y(a,a)+op_count_s3Fd5m9Dh2(op_s3Fd5m9Dh2(a,b),op_IwW236VD4Y(a,a))+op_count_inCIaGQf8u(op_aDRGw0okjd(op_U9HvHqtOoq(b)),op_s3Fd5m9Dh2(op_s3Fd5m9Dh2(a,b),op_IwW236VD4Y(a,a)))
    return count


a⊸b = { (a∘b) , if (a∀⋜↑)==454 ; (a⊛⫍⩜) , else }

def op_vtudXryacx(a, b):
    if op_KipPnG1M2J(a) == 454:
        return op_Z5m6OM72h2(a,b)
    else:
        return op_KaSTSbOewx(a)

def op_count_vtudXryacx(a, b):
    if op_KipPnG1M2J(a) == 454:
        count = op_count_Z5m6OM72h2(a,b)+op_count_KipPnG1M2J(a)
    else:
        count = op_count_KaSTSbOewx(a)
    return count


a≂≩⫷b = { (⫊≏⨉(⇋↷(b⩹a))) , if (a⊩≵⪔)==97 ; ((∯(⫎≠⋺b))∇⊂⋱((532⩼⇪↪a)⩍⋽⫝̸(b⋝⋈⪟b))) , else }

def op_5FqvtSekTO(a, b):
    if op_aDRGw0okjd(a) == 97:
        return op_KED7KUUlGq(op_SWo3A1KBJH(op_2Wsdkap16l(b,a)))
    else:
        return op_nhYeJWJD5X(op_13TjBizFrQ(op_LYeZOJ0nQG(b)),op_BiWNJpBvwn(op_ocnLzx9CaJ(532,a),op_2DDjHMKMc0(b,b)))

def op_count_5FqvtSekTO(a, b):
    if op_aDRGw0okjd(a) == 97:
        count = op_count_2Wsdkap16l(b,a)+op_count_SWo3A1KBJH(op_2Wsdkap16l(b,a))+op_count_KED7KUUlGq(op_SWo3A1KBJH(op_2Wsdkap16l(b,a)))+op_count_aDRGw0okjd(a)
    else:
        count = op_count_LYeZOJ0nQG(b)+op_count_13TjBizFrQ(op_LYeZOJ0nQG(b))+op_count_ocnLzx9CaJ(532,a)+op_count_2DDjHMKMc0(b,b)+op_count_BiWNJpBvwn(op_ocnLzx9CaJ(532,a),op_2DDjHMKMc0(b,b))+op_count_nhYeJWJD5X(op_13TjBizFrQ(op_LYeZOJ0nQG(b)),op_BiWNJpBvwn(op_ocnLzx9CaJ(532,a),op_2DDjHMKMc0(b,b)))
    return count


def op_8uAz8JJKQ9(a, b):
    if b < 250:
        return op_yuvXk3Mco8(a)
    else:
        return op_RPa3726CSl(236)

def op_count_8uAz8JJKQ9(a, b):
    if b < 250:
        count = op_count_yuvXk3Mco8(a)
    else:
        count = op_count_RPa3726CSl(236)
    return count


def op_5TsgGLtEZO(a):
    return op_m612RDITqL(op_w2P8NbNXyL(a,a),op_EWw2JM7wp4(a,782))

def op_count_5TsgGLtEZO(a):
    count = op_count_w2P8NbNXyL(a,a)+op_count_EWw2JM7wp4(a,782)+op_count_m612RDITqL(op_w2P8NbNXyL(a,a),op_EWw2JM7wp4(a,782))
    return count


def op_fkKnxDq6es(a):
    return op_UggxBX659n(op_GNmBfxrna9(a),op_qy3n0tapmE(a,a))

def op_count_fkKnxDq6es(a):
    count = op_count_GNmBfxrna9(a)+op_count_qy3n0tapmE(a,a)+op_count_UggxBX659n(op_GNmBfxrna9(a),op_qy3n0tapmE(a,a))
    return count


def op_VjnqvBkomr(a):
    return op_UpkSd4zESC(op_tHMVLcQ9bH(a),op_nCS4ZIUYfx(a,a))

def op_count_VjnqvBkomr(a):
    count = op_count_tHMVLcQ9bH(a)+op_count_nCS4ZIUYfx(a,a)+op_count_UpkSd4zESC(op_tHMVLcQ9bH(a),op_nCS4ZIUYfx(a,a))
    return count


↑⫠⊽a = { ((a⋅⇍(↡a))⪒⊣⊆((a∽a)⫊⇚⊺(a∲⫑438))) , if a==389 ; (((7⊦⊿)≟⫹(381≼a))⋝⋈⪟((⫇⨷a)+⪬∐(a∽a))) , else }

def op_1hNHq6to5k(a):
    if a == 389:
        return op_eRqsBgTDFp(op_AdZkA7nFnk(a,op_MXaNJeIAZ3(a)),op_Y5cEcQhyKu(op_y4ImoPnbV5(a,a),op_NrdPCfJQiM(a,438)))
    else:
        return op_2DDjHMKMc0(op_z2JHNkvbdm(op_14qkJME0vr(7),op_SPuZE40Ntn(381,a)),op_2GS7woTJqF(op_ct1hK6qyRt(a),op_y4ImoPnbV5(a,a)))

def op_count_1hNHq6to5k(a):
    if a == 389:
        count = op_count_MXaNJeIAZ3(a)+op_count_AdZkA7nFnk(a,op_MXaNJeIAZ3(a))+op_count_y4ImoPnbV5(a,a)+op_count_NrdPCfJQiM(a,438)+op_count_Y5cEcQhyKu(op_y4ImoPnbV5(a,a),op_NrdPCfJQiM(a,438))+op_count_eRqsBgTDFp(op_AdZkA7nFnk(a,op_MXaNJeIAZ3(a)),op_Y5cEcQhyKu(op_y4ImoPnbV5(a,a),op_NrdPCfJQiM(a,438)))
    else:
        count = op_count_14qkJME0vr(7)+op_count_SPuZE40Ntn(381,a)+op_count_z2JHNkvbdm(op_14qkJME0vr(7),op_SPuZE40Ntn(381,a))+op_count_ct1hK6qyRt(a)+op_count_y4ImoPnbV5(a,a)+op_count_2GS7woTJqF(op_ct1hK6qyRt(a),op_y4ImoPnbV5(a,a))+op_count_2DDjHMKMc0(op_z2JHNkvbdm(op_14qkJME0vr(7),op_SPuZE40Ntn(381,a)),op_2GS7woTJqF(op_ct1hK6qyRt(a),op_y4ImoPnbV5(a,a)))
    return count


def op_p5gorzHkgR(a):
    if op_d7ASUq0ydm(a,9) < 109:
        return op_3A1e9zoj8h(op_f6k1SAg4EE(op_2GS7woTJqF(a,a),op_WObL9SsYVE(357,158)))
    else:
        return op_b1mGkbI4Oy(op_8TQKPGA8Ba(op_qy3n0tapmE(a,a)),op_Api82iH42a(op_V4yb4KDoeF(a,a),op_Y7wcNGrDQJ(a,406)))

def op_count_p5gorzHkgR(a):
    if op_d7ASUq0ydm(a,9) < 109:
        count = op_count_2GS7woTJqF(a,a)+op_count_WObL9SsYVE(357,158)+op_count_f6k1SAg4EE(op_2GS7woTJqF(a,a),op_WObL9SsYVE(357,158))+op_count_3A1e9zoj8h(op_f6k1SAg4EE(op_2GS7woTJqF(a,a),op_WObL9SsYVE(357,158)))+op_count_d7ASUq0ydm(a,9)
    else:
        count = op_count_qy3n0tapmE(a,a)+op_count_8TQKPGA8Ba(op_qy3n0tapmE(a,a))+op_count_V4yb4KDoeF(a,a)+op_count_Y7wcNGrDQJ(a,406)+op_count_Api82iH42a(op_V4yb4KDoeF(a,a),op_Y7wcNGrDQJ(a,406))+op_count_b1mGkbI4Oy(op_8TQKPGA8Ba(op_qy3n0tapmE(a,a)),op_Api82iH42a(op_V4yb4KDoeF(a,a),op_Y7wcNGrDQJ(a,406)))
    return count


def op_83u546Y1Vz(a):
    return op_3A1e9zoj8h(op_QvoQhV0rrE(op_9FxExcQeMw(a,a),op_bPywburJMS(3,a)))

def op_count_83u546Y1Vz(a):
    count = op_count_9FxExcQeMw(a,a)+op_count_bPywburJMS(3,a)+op_count_QvoQhV0rrE(op_9FxExcQeMw(a,a),op_bPywburJMS(3,a))+op_count_3A1e9zoj8h(op_QvoQhV0rrE(op_9FxExcQeMw(a,a),op_bPywburJMS(3,a)))
    return count


def op_jTHXtDcTJg(a):
    return op_Rw46J52cBJ(a,a)

def op_count_jTHXtDcTJg(a):
    count = op_count_Rw46J52cBJ(a,a)
    return count


∴≂⋕a = { (⊤⊝a) , if a==84 ; ((a⪔⊥a)⩾(a⊔%a)) , else }

def op_osk2rLiRrX(a):
    if a == 84:
        return op_rXAclfmB4M(a)
    else:
        return op_UggxBX659n(op_HJ9erzHUuu(a,a),op_uysxUYN2L2(a,a))

def op_count_osk2rLiRrX(a):
    if a == 84:
        count = op_count_rXAclfmB4M(a)
    else:
        count = op_count_HJ9erzHUuu(a,a)+op_count_uysxUYN2L2(a,a)+op_count_UggxBX659n(op_HJ9erzHUuu(a,a),op_uysxUYN2L2(a,a))
    return count


def op_64iDxRhgYJ(a, b):
    return op_Y7wcNGrDQJ(op_UMMmb9LONo(b),op_xoJmIySC7h(a,b))

def op_count_64iDxRhgYJ(a, b):
    count = op_count_UMMmb9LONo(b)+op_count_xoJmIySC7h(a,b)+op_count_Y7wcNGrDQJ(op_UMMmb9LONo(b),op_xoJmIySC7h(a,b))
    return count


def op_46b43un9S1(a, b):
    return op_WR6HLWljOP(op_JDUIKTTSIa(b,a),op_2jG7DiviLq(b))

def op_count_46b43un9S1(a, b):
    count = op_count_JDUIKTTSIa(b,a)+op_count_2jG7DiviLq(b)+op_count_WR6HLWljOP(op_JDUIKTTSIa(b,a),op_2jG7DiviLq(b))
    return count


⊙≻a = { ((⇉-⫰(⫌⊑↬a))⪨⊡((a↼⊘⨖52)⊬⨰(⫳⪺∰a))) }

def op_kXdIxiHQg4(a):
    return op_kuIXHzHcAH(op_IGFM8TAlm9(op_h57jOAbG9W(a)),op_s3Fd5m9Dh2(op_bPywburJMS(a,52),op_eftAHwPbeA(a)))

def op_count_kXdIxiHQg4(a):
    count = op_count_h57jOAbG9W(a)+op_count_IGFM8TAlm9(op_h57jOAbG9W(a))+op_count_bPywburJMS(a,52)+op_count_eftAHwPbeA(a)+op_count_s3Fd5m9Dh2(op_bPywburJMS(a,52),op_eftAHwPbeA(a))+op_count_kuIXHzHcAH(op_IGFM8TAlm9(op_h57jOAbG9W(a)),op_s3Fd5m9Dh2(op_bPywburJMS(a,52),op_eftAHwPbeA(a)))
    return count


a⨓↻ = { (((a∀⩎⋷a)⋞(a⊇≀≁))∝((a⇴a)∀⩎⋷(558⋳⪒a))) , if a>=140 ; (↡((a⋐≟⩺a)⨔⇊a)) , else }

def op_iz28qlgVvs(a):
    if a >= 140:
        return op_cTDWOvIxvz(op_V4yb4KDoeF(op_FPxP5Y1j0W(a,a),op_AfoL3wC8aT(a)),op_FPxP5Y1j0W(op_4JB6nKBMSY(a,a),op_12rbrZMWeM(558,a)))
    else:
        return op_MXaNJeIAZ3(op_JclMnS0uGI(op_PjbVkMzmXE(a,a),a))

def op_count_iz28qlgVvs(a):
    if a >= 140:
        count = op_count_FPxP5Y1j0W(a,a)+op_count_AfoL3wC8aT(a)+op_count_V4yb4KDoeF(op_FPxP5Y1j0W(a,a),op_AfoL3wC8aT(a))+op_count_4JB6nKBMSY(a,a)+op_count_12rbrZMWeM(558,a)+op_count_FPxP5Y1j0W(op_4JB6nKBMSY(a,a),op_12rbrZMWeM(558,a))+op_count_cTDWOvIxvz(op_V4yb4KDoeF(op_FPxP5Y1j0W(a,a),op_AfoL3wC8aT(a)),op_FPxP5Y1j0W(op_4JB6nKBMSY(a,a),op_12rbrZMWeM(558,a)))
    else:
        count = op_count_PjbVkMzmXE(a,a)+op_count_JclMnS0uGI(op_PjbVkMzmXE(a,a),a)+op_count_MXaNJeIAZ3(op_JclMnS0uGI(op_PjbVkMzmXE(a,a),a))
    return count


a⊥≍⋁b = { (a⋳/a) , if b<920 ; (a↪∷b) , else }

def op_UuQ5TkIIzY(a, b):
    if b < 920:
        return op_m612RDITqL(a,a)
    else:
        return op_Api82iH42a(a,b)

def op_count_UuQ5TkIIzY(a, b):
    if b < 920:
        count = op_count_m612RDITqL(a,a)
    else:
        count = op_count_Api82iH42a(a,b)
    return count


a⊻⫙ = { ((a⨐a)⪒⊣⊆(↥≼⋛a)) , if (a⨑≵⋬492)>326 ; ((a⊍)∶) , else }

def op_kMLSMn3cVC(a):
    if op_XnXgA4xnOs(a,492) > 326:
        return op_eRqsBgTDFp(op_Noe24qw2ks(a,a),op_x5lMkHmzsq(a))
    else:
        return op_7FnCP1ejHT(op_3nqY3DE9mg(a))

def op_count_kMLSMn3cVC(a):
    if op_XnXgA4xnOs(a,492) > 326:
        count = op_count_Noe24qw2ks(a,a)+op_count_x5lMkHmzsq(a)+op_count_eRqsBgTDFp(op_Noe24qw2ks(a,a),op_x5lMkHmzsq(a))+op_count_XnXgA4xnOs(a,492)
    else:
        count = op_count_3nqY3DE9mg(a)+op_count_7FnCP1ejHT(op_3nqY3DE9mg(a))
    return count


a≭⨳⨜b = { (b∲⫑b) , if b<103 or (≤/a)>=26 ; (b⨸⪁a) , else }

def op_SAcgntrOl7(a, b):
    if b < 103 or op_eLAdDNolq6(a) >= 26:
        return op_NrdPCfJQiM(b,b)
    else:
        return op_g55IO6H4Gj(b,a)

def op_count_SAcgntrOl7(a, b):
    if b < 103 or op_eLAdDNolq6(a) >= 26:
        count = op_count_NrdPCfJQiM(b,b)+op_count_eLAdDNolq6(a)
    else:
        count = op_count_g55IO6H4Gj(b,a)
    return count


def op_cSKtckx9Wl(a, b):
    return op_7FnCP1ejHT(op_1aApVXNlOP(op_g7Hmc5v1ko(b,b),op_jBC4ymW3D7(a,b)))

def op_count_cSKtckx9Wl(a, b):
    count = op_count_g7Hmc5v1ko(b,b)+op_count_jBC4ymW3D7(a,b)+op_count_1aApVXNlOP(op_g7Hmc5v1ko(b,b),op_jBC4ymW3D7(a,b))+op_count_7FnCP1ejHT(op_1aApVXNlOP(op_g7Hmc5v1ko(b,b),op_jBC4ymW3D7(a,b)))
    return count


def op_anXoXtNaKI(a):
    return op_zR4jO40bMj(a,a)

def op_count_anXoXtNaKI(a):
    count = op_count_zR4jO40bMj(a,a)
    return count


def op_rVJiY5S2vr(a):
    return op_OGWBzMv138(op_j9kHMeSvPp(363,697),op_cFVlceoRkX(a,a))

def op_count_rVJiY5S2vr(a):
    count = op_count_j9kHMeSvPp(363,697)+op_count_cFVlceoRkX(a,a)+op_count_OGWBzMv138(op_j9kHMeSvPp(363,697),op_cFVlceoRkX(a,a))
    return count


a⨘⇗⫦ = { ((a⩹a)∲⫓(a⪍↜⋙a)) , if (a⋅∹⩇)>2 ; ((a⪣⫩)⨚(a⊠≄⫣)) , else }

def op_wJXJNSoS23(a):
    if op_Tmr9JGNMVH(a) > 2:
        return op_i8ToyICDmI(op_2Wsdkap16l(a,a),op_L05ObWFQCd(a,a))
    else:
        return op_nREPSIbpBE(op_iuk5sVOGFA(a),op_DIvbN7qnHd(a))

def op_count_wJXJNSoS23(a):
    if op_Tmr9JGNMVH(a) > 2:
        count = op_count_2Wsdkap16l(a,a)+op_count_L05ObWFQCd(a,a)+op_count_i8ToyICDmI(op_2Wsdkap16l(a,a),op_L05ObWFQCd(a,a))+op_count_Tmr9JGNMVH(a)
    else:
        count = op_count_iuk5sVOGFA(a)+op_count_DIvbN7qnHd(a)+op_count_nREPSIbpBE(op_iuk5sVOGFA(a),op_DIvbN7qnHd(a))
    return count


def op_1mYf9wL9to(a):
    return op_wsXFuL0hC6(a,a)

def op_count_1mYf9wL9to(a):
    count = op_count_wsXFuL0hC6(a,a)
    return count


def op_Ar9Pym55NP(a, b):
    return op_m612RDITqL(op_5RY6W0glyJ(a),op_eH2TOUuTDT(b))

def op_count_Ar9Pym55NP(a, b):
    count = op_count_5RY6W0glyJ(a)+op_count_eH2TOUuTDT(b)+op_count_m612RDITqL(op_5RY6W0glyJ(a),op_eH2TOUuTDT(b))
    return count


def op_4swc94EgIw(a):
    if a > 303:
        return op_12rbrZMWeM(op_UqUOXUQnbU(op_IwW236VD4Y(380,a),op_9Isq31Ruls(a,684)),op_lAOUD4ZMWV(op_9Isq31Ruls(a,122)))
    else:
        return a

def op_count_4swc94EgIw(a):
    if a > 303:
        count = op_count_IwW236VD4Y(380,a)+op_count_9Isq31Ruls(a,684)+op_count_UqUOXUQnbU(op_IwW236VD4Y(380,a),op_9Isq31Ruls(a,684))+op_count_9Isq31Ruls(a,122)+op_count_lAOUD4ZMWV(op_9Isq31Ruls(a,122))+op_count_12rbrZMWeM(op_UqUOXUQnbU(op_IwW236VD4Y(380,a),op_9Isq31Ruls(a,684)),op_lAOUD4ZMWV(op_9Isq31Ruls(a,122)))
    else:
        count = 1
    return count


def op_uoTFhueqY9(a, b):
    if a <= 2:
        return op_0JWJYFSzIQ(op_t8gj7n24qd(a),op_OTRTVPweYV(b,a))
    else:
        return op_nbuSfrB4hB(op_VCG3UHNzLR(523,186),op_L05ObWFQCd(488,b))

def op_count_uoTFhueqY9(a, b):
    if a <= 2:
        count = op_count_t8gj7n24qd(a)+op_count_OTRTVPweYV(b,a)+op_count_0JWJYFSzIQ(op_t8gj7n24qd(a),op_OTRTVPweYV(b,a))
    else:
        count = op_count_VCG3UHNzLR(523,186)+op_count_L05ObWFQCd(488,b)+op_count_nbuSfrB4hB(op_VCG3UHNzLR(523,186),op_L05ObWFQCd(488,b))
    return count


def op_ncHwPWmt3u(a):
    return op_UggxBX659n(op_xoJmIySC7h(op_YC3tgrnOyr(2,a),op_7PjNe5qSIJ(a,154)),op_z4E1FaHLuy(op_liw5iZPkLH(a)))

def op_count_ncHwPWmt3u(a):
    count = op_count_YC3tgrnOyr(2,a)+op_count_7PjNe5qSIJ(a,154)+op_count_xoJmIySC7h(op_YC3tgrnOyr(2,a),op_7PjNe5qSIJ(a,154))+op_count_liw5iZPkLH(a)+op_count_z4E1FaHLuy(op_liw5iZPkLH(a))+op_count_UggxBX659n(op_xoJmIySC7h(op_YC3tgrnOyr(2,a),op_7PjNe5qSIJ(a,154)),op_z4E1FaHLuy(op_liw5iZPkLH(a)))
    return count


def op_iukWuQulzt(a, b):
    return op_aiqF8n6J9c(a,op_vRio1gEz1j(op_Ph9nP6C5qx(b,a)))

def op_count_iukWuQulzt(a, b):
    count = op_count_Ph9nP6C5qx(b,a)+op_count_vRio1gEz1j(op_Ph9nP6C5qx(b,a))+op_count_aiqF8n6J9c(a,op_vRio1gEz1j(op_Ph9nP6C5qx(b,a)))
    return count


⇿≰⇰a = { ((a⇩)⪶≀⋏(⩦⩻⨪a)) , if a!=30 ; (↪⨀(a⫯⪬∳a)) , else }

def op_5aXgYLuQWF(a):
    if a != 30:
        return op_zR4jO40bMj(op_vRio1gEz1j(a),op_2td37pGCOC(a))
    else:
        return op_t0cKpDWDXO(op_d7ASUq0ydm(a,a))

def op_count_5aXgYLuQWF(a):
    if a != 30:
        count = op_count_vRio1gEz1j(a)+op_count_2td37pGCOC(a)+op_count_zR4jO40bMj(op_vRio1gEz1j(a),op_2td37pGCOC(a))
    else:
        count = op_count_d7ASUq0ydm(a,a)+op_count_t0cKpDWDXO(op_d7ASUq0ydm(a,a))
    return count


a⫉⊍≷b = { (a⨑≵⋬146) , if (a⊦⊿)<358 ; (b∠↢a) , else }

def op_KCQC7vSPgj(a, b):
    if op_14qkJME0vr(a) < 358:
        return op_XnXgA4xnOs(a,146)
    else:
        return op_KbjG8mgYpV(b,a)

def op_count_KCQC7vSPgj(a, b):
    if op_14qkJME0vr(a) < 358:
        count = op_count_XnXgA4xnOs(a,146)+op_count_14qkJME0vr(a)
    else:
        count = op_count_KbjG8mgYpV(b,a)
    return count


a⫎⨶⇬b = { ((229→⨶⪴b)↰) , if (b⋅)>144 ; a , else }

def op_5wMGBMjzkl(a, b):
    if op_620seOwKww(b) > 144:
        return op_bl5wxAcryP(op_bF6eod5Gvf(229,b))
    else:
        return a

def op_count_5wMGBMjzkl(a, b):
    if op_620seOwKww(b) > 144:
        count = op_count_bF6eod5Gvf(229,b)+op_count_bl5wxAcryP(op_bF6eod5Gvf(229,b))+op_count_620seOwKww(b)
    else:
        count = 1
    return count


a⪙⊵⇷b = { (181⩂⊭⨚) , if (b⨲⇖⇮)>197 and (a↰)==21 ; ((b⇩)⊩≵⪔) , else }

def op_cZPC5xccNd(a, b):
    if op_oj4YnGA3cE(b) > 197 and op_bl5wxAcryP(a) == 21:
        return op_PaBHOjxk8c(181)
    else:
        return op_aDRGw0okjd(op_vRio1gEz1j(b))

def op_count_cZPC5xccNd(a, b):
    if op_oj4YnGA3cE(b) > 197 and op_bl5wxAcryP(a) == 21:
        count = op_count_PaBHOjxk8c(181)+op_count_oj4YnGA3cE(b)+op_count_bl5wxAcryP(a)
    else:
        count = op_count_vRio1gEz1j(b)+op_count_aDRGw0okjd(op_vRio1gEz1j(b))
    return count


def op_QLCso5hF94(a):
    return op_wisItNeSwq(op_IwW236VD4Y(op_EO7Xdgo9So(a),op_JgXZM7XvWE(a,a)))

def op_count_QLCso5hF94(a):
    count = op_count_EO7Xdgo9So(a)+op_count_JgXZM7XvWE(a,a)+op_count_IwW236VD4Y(op_EO7Xdgo9So(a),op_JgXZM7XvWE(a,a))+op_count_wisItNeSwq(op_IwW236VD4Y(op_EO7Xdgo9So(a),op_JgXZM7XvWE(a,a)))
    return count


def op_YUijxPlj15(a, b):
    return op_nouZ5SZjt1(op_tifHPKVTfV(op_Pkwamo1tM2(a,b),op_QiR2Oyf5Xj(b)))

def op_count_YUijxPlj15(a, b):
    count = op_count_Pkwamo1tM2(a,b)+op_count_QiR2Oyf5Xj(b)+op_count_tifHPKVTfV(op_Pkwamo1tM2(a,b),op_QiR2Oyf5Xj(b))+op_count_nouZ5SZjt1(op_tifHPKVTfV(op_Pkwamo1tM2(a,b),op_QiR2Oyf5Xj(b)))
    return count


def op_KWONaI82OJ(a):
    return op_nhYeJWJD5X(op_U9HvHqtOoq(op_rXAclfmB4M(a)),op_bQ67fsrMVf(op_DpFCA1CohY(a)))

def op_count_KWONaI82OJ(a):
    count = op_count_rXAclfmB4M(a)+op_count_U9HvHqtOoq(op_rXAclfmB4M(a))+op_count_DpFCA1CohY(a)+op_count_bQ67fsrMVf(op_DpFCA1CohY(a))+op_count_nhYeJWJD5X(op_U9HvHqtOoq(op_rXAclfmB4M(a)),op_bQ67fsrMVf(op_DpFCA1CohY(a)))
    return count


a⇮⨌⨎b = { (⨞⊢(≀↧⇸b)) , if (b⊱⇼⊻189)<330 ; a , else }

def op_sI3WE0f3wC(a, b):
    if op_FyVja0WsTP(b,189) < 330:
        return op_xUOZtlo3hN(op_ljTHtUsqzn(b))
    else:
        return a

def op_count_sI3WE0f3wC(a, b):
    if op_FyVja0WsTP(b,189) < 330:
        count = op_count_ljTHtUsqzn(b)+op_count_xUOZtlo3hN(op_ljTHtUsqzn(b))+op_count_FyVja0WsTP(b,189)
    else:
        count = 1
    return count


def op_C7qyhtCTXC(a):
    return op_i8ToyICDmI(op_kz228nwi0J(a),op_f6k1SAg4EE(98,234))

def op_count_C7qyhtCTXC(a):
    count = op_count_kz228nwi0J(a)+op_count_f6k1SAg4EE(98,234)+op_count_i8ToyICDmI(op_kz228nwi0J(a),op_f6k1SAg4EE(98,234))
    return count


a⇺⩨⨚b = { (≀↧⇸b) , if a<184 ; (⨡↴b) , else }

def op_fRgCzqsvkF(a, b):
    if a < 184:
        return op_ljTHtUsqzn(b)
    else:
        return op_liw5iZPkLH(b)

def op_count_fRgCzqsvkF(a, b):
    if a < 184:
        count = op_count_ljTHtUsqzn(b)
    else:
        count = op_count_liw5iZPkLH(b)
    return count


def op_WDL3VZifvS(a):
    return op_7j4O788W3g(op_B3tNObfNaL(a),op_64EQ39e0fC(a,a))

def op_count_WDL3VZifvS(a):
    count = op_count_B3tNObfNaL(a)+op_count_64EQ39e0fC(a,a)+op_count_7j4O788W3g(op_B3tNObfNaL(a),op_64EQ39e0fC(a,a))
    return count


def op_lhONkfYInr(a, b):
    return op_rXAclfmB4M(op_RygbFNSyEJ(op_8n5YIzOsVS(b),op_2O29ZX4yK6(a)))

def op_count_lhONkfYInr(a, b):
    count = op_count_8n5YIzOsVS(b)+op_count_2O29ZX4yK6(a)+op_count_RygbFNSyEJ(op_8n5YIzOsVS(b),op_2O29ZX4yK6(a))+op_count_rXAclfmB4M(op_RygbFNSyEJ(op_8n5YIzOsVS(b),op_2O29ZX4yK6(a)))
    return count


a⫶⫾⊪b = { (⪭≋⋼(⫇(⫟b))) , if (b⩚⊴⇥468)<=140 ; (((∑⇻≧157)⩦(a⩒⫫b))∌↝((b⊔a)⩧⪆(a⪚⨁⋖b))) , else }

def op_h5KbohBAOz(a, b):
    if op_NTOWxs364D(b,468) <= 140:
        return op_EZ6cjipfBz(op_YjI8oCXuph(op_z4E1FaHLuy(b)))
    else:
        return op_9Isq31Ruls(op_0kmYd0q39Y(op_l1M9WJ3V7u(157),op_KFSx94NKJn(a,b)),op_Ikt5ks8PT7(op_E4l6HwMY31(b,a),op_xSk1F0pZbF(a,b)))

def op_count_h5KbohBAOz(a, b):
    if op_NTOWxs364D(b,468) <= 140:
        count = op_count_z4E1FaHLuy(b)+op_count_YjI8oCXuph(op_z4E1FaHLuy(b))+op_count_EZ6cjipfBz(op_YjI8oCXuph(op_z4E1FaHLuy(b)))+op_count_NTOWxs364D(b,468)
    else:
        count = op_count_l1M9WJ3V7u(157)+op_count_KFSx94NKJn(a,b)+op_count_0kmYd0q39Y(op_l1M9WJ3V7u(157),op_KFSx94NKJn(a,b))+op_count_E4l6HwMY31(b,a)+op_count_xSk1F0pZbF(a,b)+op_count_Ikt5ks8PT7(op_E4l6HwMY31(b,a),op_xSk1F0pZbF(a,b))+op_count_9Isq31Ruls(op_0kmYd0q39Y(op_l1M9WJ3V7u(157),op_KFSx94NKJn(a,b)),op_Ikt5ks8PT7(op_E4l6HwMY31(b,a),op_xSk1F0pZbF(a,b)))
    return count


def op_QeR9EosLiZ(a, b):
    if op_3FtlcrQcJU(a) < 470:
        return op_4JGOJzXMq1(b,a)
    else:
        return op_Y7wcNGrDQJ(194,b)

def op_count_QeR9EosLiZ(a, b):
    if op_3FtlcrQcJU(a) < 470:
        count = op_count_4JGOJzXMq1(b,a)+op_count_3FtlcrQcJU(a)
    else:
        count = op_count_Y7wcNGrDQJ(194,b)
    return count


def op_D23Xndwgiw(a):
    return op_oRDoc9rAEX(a,a)

def op_count_D23Xndwgiw(a):
    count = op_count_oRDoc9rAEX(a,a)
    return count


def op_OUcz6IEVY4(a):
    return op_840vADziXz(op_HrjLwUk87U(665,a))

def op_count_OUcz6IEVY4(a):
    count = op_count_HrjLwUk87U(665,a)+op_count_840vADziXz(op_HrjLwUk87U(665,a))
    return count


a⫘⫒b = { ((b∌↝b)⨙) , if b>=232 ; ((19≐→⇾)⨧(a∴b)) , else }

def op_ijHtaXYzCq(a, b):
    if b >= 232:
        return op_rlpcYeipVY(op_9Isq31Ruls(b,b))
    else:
        return op_3YWlZA9bsa(op_zV3pqYiQ5E(19),op_hrf7POJlIJ(a,b))

def op_count_ijHtaXYzCq(a, b):
    if b >= 232:
        count = op_count_9Isq31Ruls(b,b)+op_count_rlpcYeipVY(op_9Isq31Ruls(b,b))
    else:
        count = op_count_zV3pqYiQ5E(19)+op_count_hrf7POJlIJ(a,b)+op_count_3YWlZA9bsa(op_zV3pqYiQ5E(19),op_hrf7POJlIJ(a,b))
    return count


a≫b = { (⨾∊⩁a) , if b<734 ; ((⋂(a⪖⪡b))↼⊘⨖(b⋞(⫇⪃↚a))) , else }

def op_fjIpuvyOFL(a, b):
    if b < 734:
        return op_QErWpSDGk0(a)
    else:
        return op_bPywburJMS(op_BUOGQAYlQx(op_7PjNe5qSIJ(a,b)),op_V4yb4KDoeF(b,op_Q9TX5pQS3Y(a)))

def op_count_fjIpuvyOFL(a, b):
    if b < 734:
        count = op_count_QErWpSDGk0(a)
    else:
        count = op_count_7PjNe5qSIJ(a,b)+op_count_BUOGQAYlQx(op_7PjNe5qSIJ(a,b))+op_count_Q9TX5pQS3Y(a)+op_count_V4yb4KDoeF(b,op_Q9TX5pQS3Y(a))+op_count_bPywburJMS(op_BUOGQAYlQx(op_7PjNe5qSIJ(a,b)),op_V4yb4KDoeF(b,op_Q9TX5pQS3Y(a)))
    return count


a⋥⫝̸ = { (((81⫟≀⫫)⪨≂(a⋳⪒a))⩽⩡(⩏⊷≩(a⇑∁⪛))) }

def op_cxoMexzMxd(a):
    return op_zFNL8mZEFB(op_sdazOOVcIp(op_KfMCrRzQhT(81),op_12rbrZMWeM(a,a)),op_uOZ1tnYMDE(op_P75hhshrwX(a)))

def op_count_cxoMexzMxd(a):
    count = op_count_KfMCrRzQhT(81)+op_count_12rbrZMWeM(a,a)+op_count_sdazOOVcIp(op_KfMCrRzQhT(81),op_12rbrZMWeM(a,a))+op_count_P75hhshrwX(a)+op_count_uOZ1tnYMDE(op_P75hhshrwX(a))+op_count_zFNL8mZEFB(op_sdazOOVcIp(op_KfMCrRzQhT(81),op_12rbrZMWeM(a,a)),op_uOZ1tnYMDE(op_P75hhshrwX(a)))
    return count


def op_2c5GHSTW0i(a):
    return op_csT5a4elgc(op_g7Hmc5v1ko(a,a))

def op_count_2c5GHSTW0i(a):
    count = op_count_g7Hmc5v1ko(a,a)+op_count_csT5a4elgc(op_g7Hmc5v1ko(a,a))
    return count


def op_rVbGrKipL7(a):
    return op_k2HlF1dBQh(op_liw5iZPkLH(a))

def op_count_rVbGrKipL7(a):
    count = op_count_liw5iZPkLH(a)+op_count_k2HlF1dBQh(op_liw5iZPkLH(a))
    return count


def op_5kQQIu9js5(a):
    if op_w2P8NbNXyL(a,290) > 132:
        return op_6MpZysEj17(a)
    else:
        return op_s0IfDFCCuZ(op_W4YGzv6Whe(a,125),op_w2P8NbNXyL(a,a))

def op_count_5kQQIu9js5(a):
    if op_w2P8NbNXyL(a,290) > 132:
        count = op_count_6MpZysEj17(a)+op_count_w2P8NbNXyL(a,290)
    else:
        count = op_count_W4YGzv6Whe(a,125)+op_count_w2P8NbNXyL(a,a)+op_count_s0IfDFCCuZ(op_W4YGzv6Whe(a,125),op_w2P8NbNXyL(a,a))
    return count


def op_ofsUmZRSmp(a, b):
    return op_3YWlZA9bsa(op_hFnZRMLNSM(b),op_D3AQDKkPcf(a,b))

def op_count_ofsUmZRSmp(a, b):
    count = op_count_hFnZRMLNSM(b)+op_count_D3AQDKkPcf(a,b)+op_count_3YWlZA9bsa(op_hFnZRMLNSM(b),op_D3AQDKkPcf(a,b))
    return count


def op_WzUFEcWj69(a):
    return op_VwlE7vj6HS(op_27wFxooxGf(a))

def op_count_WzUFEcWj69(a):
    count = op_count_27wFxooxGf(a)+op_count_VwlE7vj6HS(op_27wFxooxGf(a))
    return count


⪛∆a = { (((a⊱⇼⊻a)∫⋜⩖(a⨮⨆))⪯⫾⋍(⪀≱(a⨵⪆a))) }

def op_DOVsEzu8Oi(a):
    return op_S5ZFQS4GK3(op_JgXZM7XvWE(op_FyVja0WsTP(a,a),op_s0kPeV9Vm2(a)),op_tDVI6bDdAd(op_2DQ55sFlQl(a,a)))

def op_count_DOVsEzu8Oi(a):
    count = op_count_FyVja0WsTP(a,a)+op_count_s0kPeV9Vm2(a)+op_count_JgXZM7XvWE(op_FyVja0WsTP(a,a),op_s0kPeV9Vm2(a))+op_count_2DQ55sFlQl(a,a)+op_count_tDVI6bDdAd(op_2DQ55sFlQl(a,a))+op_count_S5ZFQS4GK3(op_JgXZM7XvWE(op_FyVja0WsTP(a,a),op_s0kPeV9Vm2(a)),op_tDVI6bDdAd(op_2DQ55sFlQl(a,a)))
    return count


a⫠⋒⊓b = { (((b⋆⊨b)⩼⇪↪(b⊢≏≾a))⫼⨠((⋾b)⨚(a⪱⇝b))) }

def op_upewVN6Fvf(a, b):
    return op_KYL1uVeVpb(op_ocnLzx9CaJ(op_uTBsSls0VN(b,b),op_qxqspddX8k(b,a)),op_nREPSIbpBE(op_8TQKPGA8Ba(b),op_OTRTVPweYV(a,b)))

def op_count_upewVN6Fvf(a, b):
    count = op_count_uTBsSls0VN(b,b)+op_count_qxqspddX8k(b,a)+op_count_ocnLzx9CaJ(op_uTBsSls0VN(b,b),op_qxqspddX8k(b,a))+op_count_8TQKPGA8Ba(b)+op_count_OTRTVPweYV(a,b)+op_count_nREPSIbpBE(op_8TQKPGA8Ba(b),op_OTRTVPweYV(a,b))+op_count_KYL1uVeVpb(op_ocnLzx9CaJ(op_uTBsSls0VN(b,b),op_qxqspddX8k(b,a)),op_nREPSIbpBE(op_8TQKPGA8Ba(b),op_OTRTVPweYV(a,b)))
    return count


a⪂⩍↥b = { (701≐→⇾) , if (a⇥↓)!=16 ; (↖∇⇑b) , else }

def op_S3pNg7gwuQ(a, b):
    if op_KvubFp3XhO(a) != 16:
        return op_zV3pqYiQ5E(701)
    else:
        return op_th50nGnoUm(b)

def op_count_S3pNg7gwuQ(a, b):
    if op_KvubFp3XhO(a) != 16:
        count = op_count_zV3pqYiQ5E(701)+op_count_KvubFp3XhO(a)
    else:
        count = op_count_th50nGnoUm(b)
    return count


def op_d22kyeH9Kb(a):
    return op_LxFB4K6j0n(op_kuIXHzHcAH(a,a))

def op_count_d22kyeH9Kb(a):
    count = op_count_kuIXHzHcAH(a,a)+op_count_LxFB4K6j0n(op_kuIXHzHcAH(a,a))
    return count


def op_Y51oDxb2WH(a, b):
    return op_LkLIoiE525(op_WObL9SsYVE(b,a))

def op_count_Y51oDxb2WH(a, b):
    count = op_count_WObL9SsYVE(b,a)+op_count_LkLIoiE525(op_WObL9SsYVE(b,a))
    return count


a⫦⫋b = { (((b⩤)≧⫂∧(36⫏↛⩏75))⫸⇳(⇗⪘∲(b⪍↜⋙a))) }

def op_2SUl30BnjX(a, b):
    return op_gx7XJ7hdpj(op_Ph9nP6C5qx(op_Z2TMIBDE3Q(b),op_YC3tgrnOyr(36,75)),op_j4geBLYVFK(op_L05ObWFQCd(b,a)))

def op_count_2SUl30BnjX(a, b):
    count = op_count_Z2TMIBDE3Q(b)+op_count_YC3tgrnOyr(36,75)+op_count_Ph9nP6C5qx(op_Z2TMIBDE3Q(b),op_YC3tgrnOyr(36,75))+op_count_L05ObWFQCd(b,a)+op_count_j4geBLYVFK(op_L05ObWFQCd(b,a))+op_count_gx7XJ7hdpj(op_Ph9nP6C5qx(op_Z2TMIBDE3Q(b),op_YC3tgrnOyr(36,75)),op_j4geBLYVFK(op_L05ObWFQCd(b,a)))
    return count


def op_4iDYZZwzIC(a):
    return op_YSKBFp38Pu(op_JgXZM7XvWE(893,a),a)

def op_count_4iDYZZwzIC(a):
    count = op_count_JgXZM7XvWE(893,a)+op_count_YSKBFp38Pu(op_JgXZM7XvWE(893,a),a)
    return count


a↭ = { (((a⊀⪪⫸)⊢≏≾(a⫼⨠a))≦↸(↖∇⇑(65⨓↿∉a))) }

def op_2nBggavRMf(a):
    return op_RygbFNSyEJ(op_qxqspddX8k(op_UIU2Eox550(a),op_KYL1uVeVpb(a,a)),op_th50nGnoUm(op_OWnFPqjWlR(65,a)))

def op_count_2nBggavRMf(a):
    count = op_count_UIU2Eox550(a)+op_count_KYL1uVeVpb(a,a)+op_count_qxqspddX8k(op_UIU2Eox550(a),op_KYL1uVeVpb(a,a))+op_count_OWnFPqjWlR(65,a)+op_count_th50nGnoUm(op_OWnFPqjWlR(65,a))+op_count_RygbFNSyEJ(op_qxqspddX8k(op_UIU2Eox550(a),op_KYL1uVeVpb(a,a)),op_th50nGnoUm(op_OWnFPqjWlR(65,a)))
    return count


a⊍⨀b = { (≯b) , if a==2 ; (a⨔⊶↷a) , else }

def op_W48l78wIbG(a, b):
    if a == 2:
        return op_keWfFq85dY(b)
    else:
        return op_WObL9SsYVE(a,a)

def op_count_W48l78wIbG(a, b):
    if a == 2:
        count = op_count_keWfFq85dY(b)
    else:
        count = op_count_WObL9SsYVE(a,a)
    return count


a≮≗⫂b = { ((a⩘⋿b)⇼⇔∾b) , if (⇉-⫰b)>263 ; ((b⊙)⨑⋨(a⨑a)) , else }

def op_P5jP6ymN6L(a, b):
    if op_IGFM8TAlm9(b) > 263:
        return op_tifHPKVTfV(op_64EQ39e0fC(a,b),b)
    else:
        return op_tIhPxZTbsh(op_pjdzZ5rP1Y(b),op_IxJHfR5psi(a,a))

def op_count_P5jP6ymN6L(a, b):
    if op_IGFM8TAlm9(b) > 263:
        count = op_count_64EQ39e0fC(a,b)+op_count_tifHPKVTfV(op_64EQ39e0fC(a,b),b)+op_count_IGFM8TAlm9(b)
    else:
        count = op_count_pjdzZ5rP1Y(b)+op_count_IxJHfR5psi(a,a)+op_count_tIhPxZTbsh(op_pjdzZ5rP1Y(b),op_IxJHfR5psi(a,a))
    return count


a↑∊∴b = { (a↮⪈⫰) , if b<=416 ; (b-b) , else }

def op_pWXflaUkg0(a, b):
    if b <= 416:
        return op_MKpoIoBJCf(a)
    else:
        return op_rysDP5nf3Z(b,b)

def op_count_pWXflaUkg0(a, b):
    if b <= 416:
        count = op_count_MKpoIoBJCf(a)
    else:
        count = op_count_rysDP5nf3Z(b,b)
    return count


a≽⋴≂ = { (((a↨⪍≴a)⫟≀⫫)⊉≛↸((a⋰⇉∕a)⪖⪡(a∄a))) , if (a⨩≤⫤754)<=105 ; (⊢≑≆((a∙∹∝a)⊝⪿⪼(259⫊⇚⊺a))) , else }

def op_tu1KPXez7K(a):
    if op_neKQRQQIil(a,754) <= 105:
        return op_DZ8iAZOCBD(op_KfMCrRzQhT(op_DX7B1fY6P6(a,a)),op_7PjNe5qSIJ(op_sM9mzqIDB1(a,a),op_tnyRA5sazQ(a,a)))
    else:
        return op_27wFxooxGf(op_3Oe9XWJUTD(op_HmxsFra2vL(a,a),op_Y5cEcQhyKu(259,a)))

def op_count_tu1KPXez7K(a):
    if op_neKQRQQIil(a,754) <= 105:
        count = op_count_DX7B1fY6P6(a,a)+op_count_KfMCrRzQhT(op_DX7B1fY6P6(a,a))+op_count_sM9mzqIDB1(a,a)+op_count_tnyRA5sazQ(a,a)+op_count_7PjNe5qSIJ(op_sM9mzqIDB1(a,a),op_tnyRA5sazQ(a,a))+op_count_DZ8iAZOCBD(op_KfMCrRzQhT(op_DX7B1fY6P6(a,a)),op_7PjNe5qSIJ(op_sM9mzqIDB1(a,a),op_tnyRA5sazQ(a,a)))+op_count_neKQRQQIil(a,754)
    else:
        count = op_count_HmxsFra2vL(a,a)+op_count_Y5cEcQhyKu(259,a)+op_count_3Oe9XWJUTD(op_HmxsFra2vL(a,a),op_Y5cEcQhyKu(259,a))+op_count_27wFxooxGf(op_3Oe9XWJUTD(op_HmxsFra2vL(a,a),op_Y5cEcQhyKu(259,a)))
    return count


def op_Z5KWArjC8F(a):
    return op_7PjNe5qSIJ(op_7j4O788W3g(9,a),op_qWUSsah53b(a))

def op_count_Z5KWArjC8F(a):
    count = op_count_7j4O788W3g(9,a)+op_count_qWUSsah53b(a)+op_count_7PjNe5qSIJ(op_7j4O788W3g(9,a),op_qWUSsah53b(a))
    return count


a⋪⊪↳b = { ((↓⇌b)⊹≧⊝) , if (a<=574 or a!=34 or (∤a)>=716) ; ((a≦↸a)⊓≱(b≶b)) , else }

def op_FQQxe7X1ro(a, b):
    if (a <= 574 or a != 34 or op_k2HlF1dBQh(a) >= 716):
        return op_LxFB4K6j0n(op_PxpmPgHHJV(b))
    else:
        return op_VCG3UHNzLR(op_RygbFNSyEJ(a,a),op_Q2SPaKwpPJ(b,b))

def op_count_FQQxe7X1ro(a, b):
    if (a <= 574 or a != 34 or op_k2HlF1dBQh(a) >= 716):
        count = op_count_PxpmPgHHJV(b)+op_count_LxFB4K6j0n(op_PxpmPgHHJV(b))+op_count_k2HlF1dBQh(a)
    else:
        count = op_count_RygbFNSyEJ(a,a)+op_count_Q2SPaKwpPJ(b,b)+op_count_VCG3UHNzLR(op_RygbFNSyEJ(a,a),op_Q2SPaKwpPJ(b,b))
    return count


a∄⨬ = { (⊡⇒⪪a) , if (≎↾a)<=171 ; (a⪕a) , else }

def op_riWVmlCsxw(a):
    if op_S56z7WVPBn(a) <= 171:
        return op_wisItNeSwq(a)
    else:
        return op_umQnsF7QlU(a,a)

def op_count_riWVmlCsxw(a):
    if op_S56z7WVPBn(a) <= 171:
        count = op_count_wisItNeSwq(a)+op_count_S56z7WVPBn(a)
    else:
        count = op_count_umQnsF7QlU(a,a)
    return count


def op_2vc6jfJkHe(a):
    if op_R3vAdrE3IH(a) != 479:
        return op_t4WUHVGj7f(op_8cLx32lpNA(117,a))
    else:
        return op_Bmrmz2XGnR(op_UoVew8f2p2(a,963),op_WSbXXWOizJ(a,33))

def op_count_2vc6jfJkHe(a):
    if op_R3vAdrE3IH(a) != 479:
        count = op_count_8cLx32lpNA(117,a)+op_count_t4WUHVGj7f(op_8cLx32lpNA(117,a))+op_count_R3vAdrE3IH(a)
    else:
        count = op_count_UoVew8f2p2(a,963)+op_count_WSbXXWOizJ(a,33)+op_count_Bmrmz2XGnR(op_UoVew8f2p2(a,963),op_WSbXXWOizJ(a,33))
    return count


⊒⫑⊡a = { (((a↯⫤)⊬⨰(a⨰211))⊉≛↸((a⫋)∺≝⩲(a≧⊼a))) }

def op_NVeYvCUZ8p(a):
    return op_DZ8iAZOCBD(op_s3Fd5m9Dh2(op_VwlE7vj6HS(a),op_eewbuw0ToL(a,211)),op_KPf6cnQVty(op_mhIhit33mg(a),op_JoLB3LXqXx(a,a)))

def op_count_NVeYvCUZ8p(a):
    count = op_count_VwlE7vj6HS(a)+op_count_eewbuw0ToL(a,211)+op_count_s3Fd5m9Dh2(op_VwlE7vj6HS(a),op_eewbuw0ToL(a,211))+op_count_mhIhit33mg(a)+op_count_JoLB3LXqXx(a,a)+op_count_KPf6cnQVty(op_mhIhit33mg(a),op_JoLB3LXqXx(a,a))+op_count_DZ8iAZOCBD(op_s3Fd5m9Dh2(op_VwlE7vj6HS(a),op_eewbuw0ToL(a,211)),op_KPf6cnQVty(op_mhIhit33mg(a),op_JoLB3LXqXx(a,a)))
    return count


def op_AabjzCHElt(a, b):
    if (op_9bazX3JMtO(b,920) > 124 and op_DX7B1fY6P6(a,216) > 3):
        return op_UqUOXUQnbU(a,191)
    else:
        return op_Y7wcNGrDQJ(b,b)

def op_count_AabjzCHElt(a, b):
    if (op_9bazX3JMtO(b,920) > 124 and op_DX7B1fY6P6(a,216) > 3):
        count = op_count_UqUOXUQnbU(a,191)+op_count_9bazX3JMtO(b,920)+op_count_DX7B1fY6P6(a,216)
    else:
        count = op_count_Y7wcNGrDQJ(b,b)
    return count


def op_yHZBwDW2Tk(a, b):
    return op_2M7SKlOzyM(op_9xnGDUPbC6(op_FyVja0WsTP(a,423)),op_y2kQTS4a70(op_t8gj7n24qd(b),op_2fAMLLeFHb(63)))

def op_count_yHZBwDW2Tk(a, b):
    count = op_count_FyVja0WsTP(a,423)+op_count_9xnGDUPbC6(op_FyVja0WsTP(a,423))+op_count_t8gj7n24qd(b)+op_count_2fAMLLeFHb(63)+op_count_y2kQTS4a70(op_t8gj7n24qd(b),op_2fAMLLeFHb(63))+op_count_2M7SKlOzyM(op_9xnGDUPbC6(op_FyVja0WsTP(a,423)),op_y2kQTS4a70(op_t8gj7n24qd(b),op_2fAMLLeFHb(63)))
    return count


a⨺≴ = { a , if (a⨬⫳)==97 ; (a⨜⨶a) , else }

def op_OD5lQAL0u2(a):
    if op_kc7iqVBlRY(a) == 97:
        return a
    else:
        return op_HiPekx5b7W(a,a)

def op_count_OD5lQAL0u2(a):
    if op_kc7iqVBlRY(a) == 97:
        count = 1
    else:
        count = op_count_HiPekx5b7W(a,a)
    return count


a≃⫏⫷b = { (((a≣b)∼⇢(b∿⫑≎a))⫻⋑⊟) , if (a⇥↓)>591 ; b , else }

def op_CRQ1bbymjI(a, b):
    if op_KvubFp3XhO(a) > 591:
        return op_o575Zjdmzy(op_Cr5xnr8B4B(op_ObEyaaML9x(a,b),op_ar1w6gUwHX(b,a)))
    else:
        return b

def op_count_CRQ1bbymjI(a, b):
    if op_KvubFp3XhO(a) > 591:
        count = op_count_ObEyaaML9x(a,b)+op_count_ar1w6gUwHX(b,a)+op_count_Cr5xnr8B4B(op_ObEyaaML9x(a,b),op_ar1w6gUwHX(b,a))+op_count_o575Zjdmzy(op_Cr5xnr8B4B(op_ObEyaaML9x(a,b),op_ar1w6gUwHX(b,a)))+op_count_KvubFp3XhO(a)
    else:
        count = 1
    return count


a⩁∪b = { ((b≦↸(a⪕b))⨜⨶((b≭⫡33)⩵∡(∓⪦9))) }

def op_dvgeamS7g2(a, b):
    return op_HiPekx5b7W(op_RygbFNSyEJ(b,op_umQnsF7QlU(a,b)),op_Y7wcNGrDQJ(op_b1mGkbI4Oy(b,33),op_D309nIvmXG(9)))

def op_count_dvgeamS7g2(a, b):
    count = op_count_umQnsF7QlU(a,b)+op_count_RygbFNSyEJ(b,op_umQnsF7QlU(a,b))+op_count_b1mGkbI4Oy(b,33)+op_count_D309nIvmXG(9)+op_count_Y7wcNGrDQJ(op_b1mGkbI4Oy(b,33),op_D309nIvmXG(9))+op_count_HiPekx5b7W(op_RygbFNSyEJ(b,op_umQnsF7QlU(a,b)),op_Y7wcNGrDQJ(op_b1mGkbI4Oy(b,33),op_D309nIvmXG(9)))
    return count


def op_OuNwQ8h2ZL(a, b):
    return op_EWw2JM7wp4(op_NTOWxs364D(op_5twsqlHp2o(a,b),b),op_iuk5sVOGFA(op_C6VvDP6HwP(a)))

def op_count_OuNwQ8h2ZL(a, b):
    count = op_count_5twsqlHp2o(a,b)+op_count_NTOWxs364D(op_5twsqlHp2o(a,b),b)+op_count_C6VvDP6HwP(a)+op_count_iuk5sVOGFA(op_C6VvDP6HwP(a))+op_count_EWw2JM7wp4(op_NTOWxs364D(op_5twsqlHp2o(a,b),b),op_iuk5sVOGFA(op_C6VvDP6HwP(a)))
    return count


def op_NjWr5y99d1(a, b):
    return op_JFrVJKYFMX(op_qxp9F1VMeC(op_cTDWOvIxvz(b,b)),op_g7Hmc5v1ko(op_d8xe6WWVfM(b,a),op_B4c4JXCTtZ(203)))

def op_count_NjWr5y99d1(a, b):
    count = op_count_cTDWOvIxvz(b,b)+op_count_qxp9F1VMeC(op_cTDWOvIxvz(b,b))+op_count_d8xe6WWVfM(b,a)+op_count_B4c4JXCTtZ(203)+op_count_g7Hmc5v1ko(op_d8xe6WWVfM(b,a),op_B4c4JXCTtZ(203))+op_count_JFrVJKYFMX(op_qxp9F1VMeC(op_cTDWOvIxvz(b,b)),op_g7Hmc5v1ko(op_d8xe6WWVfM(b,a),op_B4c4JXCTtZ(203)))
    return count


def op_pdnvgaFT42(a):
    return op_6o9Blt3TJ6(a,a)

def op_count_pdnvgaFT42(a):
    count = op_count_6o9Blt3TJ6(a,a)
    return count


def op_6fyZXHyWv3(a):
    if a == 128:
        return op_tifHPKVTfV(22,794)
    else:
        return a

def op_count_6fyZXHyWv3(a):
    if a == 128:
        count = op_count_tifHPKVTfV(22,794)
    else:
        count = 1
    return count


def op_iSPYpyCUiq(a):
    return op_wsXFuL0hC6(op_BUOGQAYlQx(a),op_z2JHNkvbdm(a,a))

def op_count_iSPYpyCUiq(a):
    count = op_count_BUOGQAYlQx(a)+op_count_z2JHNkvbdm(a,a)+op_count_wsXFuL0hC6(op_BUOGQAYlQx(a),op_z2JHNkvbdm(a,a))
    return count


a⋧ = { (((a⪇≇⋚213)∿⫑≎(3⨧a))⇌⫙⪟a) , if a<=365 ; (((a⪍↜⋙a)⋅⇍(a⨑207))⨲⇖⇮) , else }

def op_KpxIcJOXgU(a):
    if a <= 365:
        return op_AFVx7xoS7T(op_ar1w6gUwHX(op_3sJ7IOPOlU(a,213),op_3YWlZA9bsa(3,a)),a)
    else:
        return op_oj4YnGA3cE(op_AdZkA7nFnk(op_L05ObWFQCd(a,a),op_IxJHfR5psi(a,207)))

def op_count_KpxIcJOXgU(a):
    if a <= 365:
        count = op_count_3sJ7IOPOlU(a,213)+op_count_3YWlZA9bsa(3,a)+op_count_ar1w6gUwHX(op_3sJ7IOPOlU(a,213),op_3YWlZA9bsa(3,a))+op_count_AFVx7xoS7T(op_ar1w6gUwHX(op_3sJ7IOPOlU(a,213),op_3YWlZA9bsa(3,a)),a)
    else:
        count = op_count_L05ObWFQCd(a,a)+op_count_IxJHfR5psi(a,207)+op_count_AdZkA7nFnk(op_L05ObWFQCd(a,a),op_IxJHfR5psi(a,207))+op_count_oj4YnGA3cE(op_AdZkA7nFnk(op_L05ObWFQCd(a,a),op_IxJHfR5psi(a,207)))
    return count