a⪺⇶⨈ = { (a⪖⪡((a⊵↤)⪦⩸(↞54))) , if a>487 ; (((a⨔⊶↷a)⊋≦⊧(a⊬⫿⊭))→⨶⪴((627∄a)⊜)) , else }

def op_iKuQ22IjhO(a):
    if a > 487:
        return op_7PjNe5qSIJ(a,op_0JWJYFSzIQ(op_7IPrd9c3lf(a),op_QKXs96F9fN(54)))
    else:
        return op_bF6eod5Gvf(op_oRDoc9rAEX(op_WObL9SsYVE(a,a),op_v0DYgG9ikt(a)),op_Eev2Q7dYIw(op_tnyRA5sazQ(627,a)))

def op_count_iKuQ22IjhO(a):
    if a > 487:
        count = op_count_7IPrd9c3lf(a)+op_count_QKXs96F9fN(54)+op_count_0JWJYFSzIQ(op_7IPrd9c3lf(a),op_QKXs96F9fN(54))+op_count_7PjNe5qSIJ(a,op_0JWJYFSzIQ(op_7IPrd9c3lf(a),op_QKXs96F9fN(54)))
    else:
        count = op_count_WObL9SsYVE(a,a)+op_count_v0DYgG9ikt(a)+op_count_oRDoc9rAEX(op_WObL9SsYVE(a,a),op_v0DYgG9ikt(a))+op_count_tnyRA5sazQ(627,a)+op_count_Eev2Q7dYIw(op_tnyRA5sazQ(627,a))+op_count_bF6eod5Gvf(op_oRDoc9rAEX(op_WObL9SsYVE(a,a),op_v0DYgG9ikt(a)),op_Eev2Q7dYIw(op_tnyRA5sazQ(627,a)))
    return count


def op_bZEx4MGJjc(a, b):
    if op_wmlQD0656L(b) != 461:
        return op_s0IfDFCCuZ(op_AFVx7xoS7T(op_DpFCA1CohY(b),op_7j4O788W3g(a,b)),op_8cLx32lpNA(a,op_KFSx94NKJn(a,816)))
    else:
        return op_RPa3726CSl(op_AFVx7xoS7T(172,op_Cr5xnr8B4B(380,b)))

def op_count_bZEx4MGJjc(a, b):
    if op_wmlQD0656L(b) != 461:
        count = op_count_DpFCA1CohY(b)+op_count_7j4O788W3g(a,b)+op_count_AFVx7xoS7T(op_DpFCA1CohY(b),op_7j4O788W3g(a,b))+op_count_KFSx94NKJn(a,816)+op_count_8cLx32lpNA(a,op_KFSx94NKJn(a,816))+op_count_s0IfDFCCuZ(op_AFVx7xoS7T(op_DpFCA1CohY(b),op_7j4O788W3g(a,b)),op_8cLx32lpNA(a,op_KFSx94NKJn(a,816)))+op_count_wmlQD0656L(b)
    else:
        count = op_count_Cr5xnr8B4B(380,b)+op_count_AFVx7xoS7T(172,op_Cr5xnr8B4B(380,b))+op_count_RPa3726CSl(op_AFVx7xoS7T(172,op_Cr5xnr8B4B(380,b)))
    return count


def op_6Bcfo3j9gb(a, b):
    return op_12rbrZMWeM(op_iz8sE888QL(op_Ikt5ks8PT7(a,a)),op_H0pizIJMoW(op_0JWJYFSzIQ(b,b)))

def op_count_6Bcfo3j9gb(a, b):
    count = op_count_Ikt5ks8PT7(a,a)+op_count_iz8sE888QL(op_Ikt5ks8PT7(a,a))+op_count_0JWJYFSzIQ(b,b)+op_count_H0pizIJMoW(op_0JWJYFSzIQ(b,b))+op_count_12rbrZMWeM(op_iz8sE888QL(op_Ikt5ks8PT7(a,a)),op_H0pizIJMoW(op_0JWJYFSzIQ(b,b)))
    return count


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

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


a≿b = { ((a⊓≱a)≽⊫) , if (⩗⪄a)<=9 ; (⫂(b⩌a)) , else }

def op_OeanynyRyO(a, b):
    if op_Y9dhGmbGii(a) <= 9:
        return op_H0pizIJMoW(op_VCG3UHNzLR(a,a))
    else:
        return op_U9HvHqtOoq(op_UoVew8f2p2(b,a))

def op_count_OeanynyRyO(a, b):
    if op_Y9dhGmbGii(a) <= 9:
        count = op_count_VCG3UHNzLR(a,a)+op_count_H0pizIJMoW(op_VCG3UHNzLR(a,a))+op_count_Y9dhGmbGii(a)
    else:
        count = op_count_UoVew8f2p2(b,a)+op_count_U9HvHqtOoq(op_UoVew8f2p2(b,a))
    return count


def op_YzyWmBkb1h(a):
    if a != 20 or op_KROiRRz3d6(a,745) > 341:
        return op_l1M9WJ3V7u(op_oDvtRyfmAM(a))
    else:
        return op_qxp9F1VMeC(op_DmTXOeWf9t(568,a))

def op_count_YzyWmBkb1h(a):
    if a != 20 or op_KROiRRz3d6(a,745) > 341:
        count = op_count_oDvtRyfmAM(a)+op_count_l1M9WJ3V7u(op_oDvtRyfmAM(a))+op_count_KROiRRz3d6(a,745)
    else:
        count = op_count_DmTXOeWf9t(568,a)+op_count_qxp9F1VMeC(op_DmTXOeWf9t(568,a))
    return count


def op_AEbLpD1qHw(a):
    return op_cwbF3JtlMN(a,a)

def op_count_AEbLpD1qHw(a):
    count = op_count_cwbF3JtlMN(a,a)
    return count


def op_09qx5t6My5(a):
    if (op_nCS4ZIUYfx(a,180) > 8 and op_qy3n0tapmE(a,672) == 378):
        return op_cWQsF5MvuD(a)
    else:
        return op_2ufhKmSs5H(a)

def op_count_09qx5t6My5(a):
    if (op_nCS4ZIUYfx(a,180) > 8 and op_qy3n0tapmE(a,672) == 378):
        count = op_count_cWQsF5MvuD(a)+op_count_nCS4ZIUYfx(a,180)+op_count_qy3n0tapmE(a,672)
    else:
        count = op_count_2ufhKmSs5H(a)
    return count


def op_THQMdUzaDA(a, b):
    return op_WR6HLWljOP(op_Noe24qw2ks(b,a),op_sdazOOVcIp(a,a))

def op_count_THQMdUzaDA(a, b):
    count = op_count_Noe24qw2ks(b,a)+op_count_sdazOOVcIp(a,a)+op_count_WR6HLWljOP(op_Noe24qw2ks(b,a),op_sdazOOVcIp(a,a))
    return count


def op_fSUgO6gmlu(a):
    if a != 128:
        return op_e1ybzncUwg(406)
    else:
        return op_uBihLCJcMX(a)

def op_count_fSUgO6gmlu(a):
    if a != 128:
        count = op_count_e1ybzncUwg(406)
    else:
        count = op_count_uBihLCJcMX(a)
    return count


⨩⩅a = { (a⇇) , if (a↱⊪⇍)<533 ; (a⫭) , else }

def op_wbLIz4LP79(a):
    if op_Zubgv0tBda(a) < 533:
        return op_ieTw63T1Vx(a)
    else:
        return op_t4WUHVGj7f(a)

def op_count_wbLIz4LP79(a):
    if op_Zubgv0tBda(a) < 533:
        count = op_count_ieTw63T1Vx(a)+op_count_Zubgv0tBda(a)
    else:
        count = op_count_t4WUHVGj7f(a)
    return count


def op_L0XVkq44a1(a, b):
    return op_3YWlZA9bsa(op_S3tN1ZzpSt(a,a),op_qxp9F1VMeC(b))

def op_count_L0XVkq44a1(a, b):
    count = op_count_S3tN1ZzpSt(a,a)+op_count_qxp9F1VMeC(b)+op_count_3YWlZA9bsa(op_S3tN1ZzpSt(a,a),op_qxp9F1VMeC(b))
    return count


def op_YO5J0Wdcck(a):
    return op_YSKBFp38Pu(op_fOIeswaMU4(a),op_6iOiAJX1F8(a))

def op_count_YO5J0Wdcck(a):
    count = op_count_fOIeswaMU4(a)+op_count_6iOiAJX1F8(a)+op_count_YSKBFp38Pu(op_fOIeswaMU4(a),op_6iOiAJX1F8(a))
    return count


def op_9Cmw5XchmQ(a):
    return op_sM9mzqIDB1(259,a)

def op_count_9Cmw5XchmQ(a):
    count = op_count_sM9mzqIDB1(259,a)
    return count


def op_uH7zUBpMm0(a):
    return op_uBihLCJcMX(op_tHMVLcQ9bH(op_ObEyaaML9x(88,a)))

def op_count_uH7zUBpMm0(a):
    count = op_count_ObEyaaML9x(88,a)+op_count_tHMVLcQ9bH(op_ObEyaaML9x(88,a))+op_count_uBihLCJcMX(op_tHMVLcQ9bH(op_ObEyaaML9x(88,a)))
    return count


def op_Lf60rts8ne(a, b):
    return op_9bazX3JMtO(op_fLGIAiPz9h(b),op_U9HvHqtOoq(a))

def op_count_Lf60rts8ne(a, b):
    count = op_count_fLGIAiPz9h(b)+op_count_U9HvHqtOoq(a)+op_count_9bazX3JMtO(op_fLGIAiPz9h(b),op_U9HvHqtOoq(a))
    return count


⇀⇞a = { ((a⊝⪿⪼a)∼⇢(a⋆⊨a)) , if (a⊢≏≾234)>0 ; ((⪀≱a)⪨⊡(a∴a)) , else }

def op_vjoXiXDdkX(a):
    if op_qxqspddX8k(a,234) > 0:
        return op_Cr5xnr8B4B(op_3Oe9XWJUTD(a,a),op_uTBsSls0VN(a,a))
    else:
        return op_kuIXHzHcAH(op_tDVI6bDdAd(a),op_hrf7POJlIJ(a,a))

def op_count_vjoXiXDdkX(a):
    if op_qxqspddX8k(a,234) > 0:
        count = op_count_3Oe9XWJUTD(a,a)+op_count_uTBsSls0VN(a,a)+op_count_Cr5xnr8B4B(op_3Oe9XWJUTD(a,a),op_uTBsSls0VN(a,a))+op_count_qxqspddX8k(a,234)
    else:
        count = op_count_tDVI6bDdAd(a)+op_count_hrf7POJlIJ(a,a)+op_count_kuIXHzHcAH(op_tDVI6bDdAd(a),op_hrf7POJlIJ(a,a))
    return count


def op_F2taXPkQ1B(a, b):
    return op_9FxExcQeMw(op_OWnFPqjWlR(b,b),op_qxqspddX8k(a,b))

def op_count_F2taXPkQ1B(a, b):
    count = op_count_OWnFPqjWlR(b,b)+op_count_qxqspddX8k(a,b)+op_count_9FxExcQeMw(op_OWnFPqjWlR(b,b),op_qxqspddX8k(a,b))
    return count


def op_hPqFu8RMdw(a):
    return op_hiBDRd40bf(op_s3Fd5m9Dh2(op_MKpoIoBJCf(a),op_ocnLzx9CaJ(a,a)),op_3mBM5G4a3l(a))

def op_count_hPqFu8RMdw(a):
    count = op_count_MKpoIoBJCf(a)+op_count_ocnLzx9CaJ(a,a)+op_count_s3Fd5m9Dh2(op_MKpoIoBJCf(a),op_ocnLzx9CaJ(a,a))+op_count_3mBM5G4a3l(a)+op_count_hiBDRd40bf(op_s3Fd5m9Dh2(op_MKpoIoBJCf(a),op_ocnLzx9CaJ(a,a)),op_3mBM5G4a3l(a))
    return count


def op_hh4S7I0a8e(a, b):
    if op_AYdpE9sXAk(a) >= 236 or op_9FxExcQeMw(b,280) != 340:
        return b
    else:
        return op_5JYyxRJd4f(a)

def op_count_hh4S7I0a8e(a, b):
    if op_AYdpE9sXAk(a) >= 236 or op_9FxExcQeMw(b,280) != 340:
        count = 1
    else:
        count = op_count_5JYyxRJd4f(a)
    return count


def op_4ZyE98Jico(a, b):
    return op_COABgblf1C(op_D3AQDKkPcf(a,612),op_nhYeJWJD5X(b,b))

def op_count_4ZyE98Jico(a, b):
    count = op_count_D3AQDKkPcf(a,612)+op_count_nhYeJWJD5X(b,b)+op_count_COABgblf1C(op_D3AQDKkPcf(a,612),op_nhYeJWJD5X(b,b))
    return count


def op_vlEuakAFQx(a, b):
    return op_Cr5xnr8B4B(op_AFVx7xoS7T(b,231),op_YC3tgrnOyr(65,a))

def op_count_vlEuakAFQx(a, b):
    count = op_count_AFVx7xoS7T(b,231)+op_count_YC3tgrnOyr(65,a)+op_count_Cr5xnr8B4B(op_AFVx7xoS7T(b,231),op_YC3tgrnOyr(65,a))
    return count


def op_yO0Pz5QMfn(a, b):
    return op_D309nIvmXG(op_UpkSd4zESC(op_5twsqlHp2o(55,821),op_HrjLwUk87U(b,a)))

def op_count_yO0Pz5QMfn(a, b):
    count = op_count_5twsqlHp2o(55,821)+op_count_HrjLwUk87U(b,a)+op_count_UpkSd4zESC(op_5twsqlHp2o(55,821),op_HrjLwUk87U(b,a))+op_count_D309nIvmXG(op_UpkSd4zESC(op_5twsqlHp2o(55,821),op_HrjLwUk87U(b,a)))
    return count


def op_lUdY0lkf9D(a):
    return op_UoVew8f2p2(op_AFVx7xoS7T(op_j9kHMeSvPp(329,a),op_2GS7woTJqF(a,a)),op_3EhVUz7Ug9(op_eLAdDNolq6(209)))

def op_count_lUdY0lkf9D(a):
    count = op_count_j9kHMeSvPp(329,a)+op_count_2GS7woTJqF(a,a)+op_count_AFVx7xoS7T(op_j9kHMeSvPp(329,a),op_2GS7woTJqF(a,a))+op_count_eLAdDNolq6(209)+op_count_3EhVUz7Ug9(op_eLAdDNolq6(209))+op_count_UoVew8f2p2(op_AFVx7xoS7T(op_j9kHMeSvPp(329,a),op_2GS7woTJqF(a,a)),op_3EhVUz7Ug9(op_eLAdDNolq6(209)))
    return count


def op_LUdrfeGgJL(a):
    if op_zFNL8mZEFB(a,305) > 173:
        return op_IxJHfR5psi(op_3A1e9zoj8h(a),op_D3AQDKkPcf(a,631))
    else:
        return op_0JWJYFSzIQ(a,op_eVHdItn4YL(a))

def op_count_LUdrfeGgJL(a):
    if op_zFNL8mZEFB(a,305) > 173:
        count = op_count_3A1e9zoj8h(a)+op_count_D3AQDKkPcf(a,631)+op_count_IxJHfR5psi(op_3A1e9zoj8h(a),op_D3AQDKkPcf(a,631))+op_count_zFNL8mZEFB(a,305)
    else:
        count = op_count_eVHdItn4YL(a)+op_count_0JWJYFSzIQ(a,op_eVHdItn4YL(a))
    return count


def op_0OEqO3vH9u(a):
    return op_9bazX3JMtO(op_inCIaGQf8u(a,a),op_IxJHfR5psi(a,a))

def op_count_0OEqO3vH9u(a):
    count = op_count_inCIaGQf8u(a,a)+op_count_IxJHfR5psi(a,a)+op_count_9bazX3JMtO(op_inCIaGQf8u(a,a),op_IxJHfR5psi(a,a))
    return count


def op_5ujlfRu9Nu(a, b):
    return op_Rw46J52cBJ(op_2DQ55sFlQl(op_nREPSIbpBE(34,299),op_4CyGpkTkEk(b)),op_s0IfDFCCuZ(op_Sq3AGanRSD(b,b),op_wztAlM01eG(a)))

def op_count_5ujlfRu9Nu(a, b):
    count = op_count_nREPSIbpBE(34,299)+op_count_4CyGpkTkEk(b)+op_count_2DQ55sFlQl(op_nREPSIbpBE(34,299),op_4CyGpkTkEk(b))+op_count_Sq3AGanRSD(b,b)+op_count_wztAlM01eG(a)+op_count_s0IfDFCCuZ(op_Sq3AGanRSD(b,b),op_wztAlM01eG(a))+op_count_Rw46J52cBJ(op_2DQ55sFlQl(op_nREPSIbpBE(34,299),op_4CyGpkTkEk(b)),op_s0IfDFCCuZ(op_Sq3AGanRSD(b,b),op_wztAlM01eG(a)))
    return count


a↷≇b = { (((a⫍⨯↯)⪶≀⋏(⩻⪛38))⩤∜↚((b⨬⫳)≧⊼(b⫊⇚⊺b))) }

def op_KoHHRSveB1(a, b):
    return op_KROiRRz3d6(op_zR4jO40bMj(op_ZcwmYACASQ(a),op_5RY6W0glyJ(38)),op_JoLB3LXqXx(op_kc7iqVBlRY(b),op_Y5cEcQhyKu(b,b)))

def op_count_KoHHRSveB1(a, b):
    count = op_count_ZcwmYACASQ(a)+op_count_5RY6W0glyJ(38)+op_count_zR4jO40bMj(op_ZcwmYACASQ(a),op_5RY6W0glyJ(38))+op_count_kc7iqVBlRY(b)+op_count_Y5cEcQhyKu(b,b)+op_count_JoLB3LXqXx(op_kc7iqVBlRY(b),op_Y5cEcQhyKu(b,b))+op_count_KROiRRz3d6(op_zR4jO40bMj(op_ZcwmYACASQ(a),op_5RY6W0glyJ(38)),op_JoLB3LXqXx(op_kc7iqVBlRY(b),op_Y5cEcQhyKu(b,b)))
    return count


def op_Mb1WsTvFll(a, b):
    return op_rPNtK4BLRO(op_d8xe6WWVfM(op_u7fv1HBiaC(b),op_NrdPCfJQiM(a,a)),op_4JB6nKBMSY(op_B3tNObfNaL(130),op_jfYOP67v6Y(b)))

def op_count_Mb1WsTvFll(a, b):
    count = op_count_u7fv1HBiaC(b)+op_count_NrdPCfJQiM(a,a)+op_count_d8xe6WWVfM(op_u7fv1HBiaC(b),op_NrdPCfJQiM(a,a))+op_count_B3tNObfNaL(130)+op_count_jfYOP67v6Y(b)+op_count_4JB6nKBMSY(op_B3tNObfNaL(130),op_jfYOP67v6Y(b))+op_count_rPNtK4BLRO(op_d8xe6WWVfM(op_u7fv1HBiaC(b),op_NrdPCfJQiM(a,a)),op_4JB6nKBMSY(op_B3tNObfNaL(130),op_jfYOP67v6Y(b)))
    return count


def op_6aFb4nYwnr(a, b):
    return op_0MNWfHKp6a(op_AdZkA7nFnk(b,a))

def op_count_6aFb4nYwnr(a, b):
    count = op_count_AdZkA7nFnk(b,a)+op_count_0MNWfHKp6a(op_AdZkA7nFnk(b,a))
    return count


a−⩎√b = { ((a⩟)⋛∩⫮) , if b<=15 ; ((b⇛a)⩘⋿(a∼⇢b)) , else }

def op_tW6TlDUxtJ(a, b):
    if b <= 15:
        return op_QDWDTvZtyM(op_fOIeswaMU4(a))
    else:
        return op_64EQ39e0fC(op_S3tN1ZzpSt(b,a),op_Cr5xnr8B4B(a,b))

def op_count_tW6TlDUxtJ(a, b):
    if b <= 15:
        count = op_count_fOIeswaMU4(a)+op_count_QDWDTvZtyM(op_fOIeswaMU4(a))
    else:
        count = op_count_S3tN1ZzpSt(b,a)+op_count_Cr5xnr8B4B(a,b)+op_count_64EQ39e0fC(op_S3tN1ZzpSt(b,a),op_Cr5xnr8B4B(a,b))
    return count


⫪⩩a = { (a≽⇕) , if (∂⩏⊆a)!=526 ; (⪆a) , else }

def op_26t0tba44r(a):
    if op_8WDwsbhb0R(a) != 526:
        return op_SgAxmdLNEA(a)
    else:
        return op_KWeyIRWUIQ(a)

def op_count_26t0tba44r(a):
    if op_8WDwsbhb0R(a) != 526:
        count = op_count_SgAxmdLNEA(a)+op_count_8WDwsbhb0R(a)
    else:
        count = op_count_KWeyIRWUIQ(a)
    return count


def op_TlYxY93Pfd(a, b):
    return op_DpFCA1CohY(op_9FxExcQeMw(op_Siyfjn51pv(b),op_hrf7POJlIJ(a,a)))

def op_count_TlYxY93Pfd(a, b):
    count = op_count_Siyfjn51pv(b)+op_count_hrf7POJlIJ(a,a)+op_count_9FxExcQeMw(op_Siyfjn51pv(b),op_hrf7POJlIJ(a,a))+op_count_DpFCA1CohY(op_9FxExcQeMw(op_Siyfjn51pv(b),op_hrf7POJlIJ(a,a)))
    return count


def op_Tcl1okrsLo(a, b):
    return op_zFNL8mZEFB(op_S5ZFQS4GK3(a,a),op_3YWlZA9bsa(b,b))

def op_count_Tcl1okrsLo(a, b):
    count = op_count_S5ZFQS4GK3(a,a)+op_count_3YWlZA9bsa(b,b)+op_count_zFNL8mZEFB(op_S5ZFQS4GK3(a,a),op_3YWlZA9bsa(b,b))
    return count


⨷⪦a = { (((a⩚⊴⇥a)⫚↹⊑(a⩇∃⫛710))⩤∜↚(a⫩⊇)) }

def op_B9ROEQQS1A(a):
    return op_KROiRRz3d6(op_dfKe02y8D2(op_NTOWxs364D(a,a),op_1aApVXNlOP(a,710)),op_BjRHVeLaeN(a))

def op_count_B9ROEQQS1A(a):
    count = op_count_NTOWxs364D(a,a)+op_count_1aApVXNlOP(a,710)+op_count_dfKe02y8D2(op_NTOWxs364D(a,a),op_1aApVXNlOP(a,710))+op_count_BjRHVeLaeN(a)+op_count_KROiRRz3d6(op_dfKe02y8D2(op_NTOWxs364D(a,a),op_1aApVXNlOP(a,710)),op_BjRHVeLaeN(a))
    return count


def op_g53WJjBFAG(a):
    return op_xSk1F0pZbF(op_aSik1wnThz(op_y2kQTS4a70(a,363)),op_qWUSsah53b(op_W4YGzv6Whe(a,36)))

def op_count_g53WJjBFAG(a):
    count = op_count_y2kQTS4a70(a,363)+op_count_aSik1wnThz(op_y2kQTS4a70(a,363))+op_count_W4YGzv6Whe(a,36)+op_count_qWUSsah53b(op_W4YGzv6Whe(a,36))+op_count_xSk1F0pZbF(op_aSik1wnThz(op_y2kQTS4a70(a,363)),op_qWUSsah53b(op_W4YGzv6Whe(a,36)))
    return count


def op_siSprMom9h(a, b):
    return op_EBcxylXtPf(op_S3tN1ZzpSt(a,b))

def op_count_siSprMom9h(a, b):
    count = op_count_S3tN1ZzpSt(a,b)+op_count_EBcxylXtPf(op_S3tN1ZzpSt(a,b))
    return count


a⇽⩳⩁ = { (a⊲⩕⊾a) , if (a<=305 and a<=582) ; (a∐⫣) , else }

def op_DMHVvzn7ee(a):
    if (a <= 305 and a <= 582):
        return op_DmTXOeWf9t(a,a)
    else:
        return op_4CyGpkTkEk(a)

def op_count_DMHVvzn7ee(a):
    if (a <= 305 and a <= 582):
        count = op_count_DmTXOeWf9t(a,a)
    else:
        count = op_count_4CyGpkTkEk(a)
    return count


def op_nDybdB13Ph(a, b):
    if (op_CuHhPb8RwQ(a) <= 118 or op_5RY6W0glyJ(a) < 795):
        return op_keuJNkrrbj(op_liw5iZPkLH(op_rysDP5nf3Z(b,b)),a)
    else:
        return op_3EYGwJThht(op_umQnsF7QlU(op_7j4O788W3g(a,210),op_C6VvDP6HwP(b)),op_gx7XJ7hdpj(op_d8xe6WWVfM(b,b),op_DIvbN7qnHd(b)))

def op_count_nDybdB13Ph(a, b):
    if (op_CuHhPb8RwQ(a) <= 118 or op_5RY6W0glyJ(a) < 795):
        count = op_count_rysDP5nf3Z(b,b)+op_count_liw5iZPkLH(op_rysDP5nf3Z(b,b))+op_count_keuJNkrrbj(op_liw5iZPkLH(op_rysDP5nf3Z(b,b)),a)+op_count_CuHhPb8RwQ(a)+op_count_5RY6W0glyJ(a)
    else:
        count = op_count_7j4O788W3g(a,210)+op_count_C6VvDP6HwP(b)+op_count_umQnsF7QlU(op_7j4O788W3g(a,210),op_C6VvDP6HwP(b))+op_count_d8xe6WWVfM(b,b)+op_count_DIvbN7qnHd(b)+op_count_gx7XJ7hdpj(op_d8xe6WWVfM(b,b),op_DIvbN7qnHd(b))+op_count_3EYGwJThht(op_umQnsF7QlU(op_7j4O788W3g(a,210),op_C6VvDP6HwP(b)),op_gx7XJ7hdpj(op_d8xe6WWVfM(b,b),op_DIvbN7qnHd(b)))
    return count


def op_P1t9JI7VYh(a):
    return op_liw5iZPkLH(op_QDWDTvZtyM(op_KROiRRz3d6(a,a)))

def op_count_P1t9JI7VYh(a):
    count = op_count_KROiRRz3d6(a,a)+op_count_QDWDTvZtyM(op_KROiRRz3d6(a,a))+op_count_liw5iZPkLH(op_QDWDTvZtyM(op_KROiRRz3d6(a,a)))
    return count


a≘≾-b = { (a∠↢((b∇⊂⋱b)⩌(b→⨶⪴b))) , if a!=370 ; (((⨩∲⋌b)⨔⇊(b⫏↛⩏a))⫚↹⊑((b⩽⩡a)⪚(399⨧↗⨷a))) , else }

def op_opc8BSlPgk(a, b):
    if a != 370:
        return op_KbjG8mgYpV(a,op_UoVew8f2p2(op_nhYeJWJD5X(b,b),op_bF6eod5Gvf(b,b)))
    else:
        return op_dfKe02y8D2(op_JclMnS0uGI(op_aSik1wnThz(b),op_YC3tgrnOyr(b,a)),op_HrjLwUk87U(op_zFNL8mZEFB(b,a),op_WSbXXWOizJ(399,a)))

def op_count_opc8BSlPgk(a, b):
    if a != 370:
        count = op_count_nhYeJWJD5X(b,b)+op_count_bF6eod5Gvf(b,b)+op_count_UoVew8f2p2(op_nhYeJWJD5X(b,b),op_bF6eod5Gvf(b,b))+op_count_KbjG8mgYpV(a,op_UoVew8f2p2(op_nhYeJWJD5X(b,b),op_bF6eod5Gvf(b,b)))
    else:
        count = op_count_aSik1wnThz(b)+op_count_YC3tgrnOyr(b,a)+op_count_JclMnS0uGI(op_aSik1wnThz(b),op_YC3tgrnOyr(b,a))+op_count_zFNL8mZEFB(b,a)+op_count_WSbXXWOizJ(399,a)+op_count_HrjLwUk87U(op_zFNL8mZEFB(b,a),op_WSbXXWOizJ(399,a))+op_count_dfKe02y8D2(op_JclMnS0uGI(op_aSik1wnThz(b),op_YC3tgrnOyr(b,a)),op_HrjLwUk87U(op_zFNL8mZEFB(b,a),op_WSbXXWOizJ(399,a)))
    return count


def op_CahPrUk5Au(a):
    return op_YC3tgrnOyr(op_hmlrMsD2PO(273,221),op_sdazOOVcIp(311,a))

def op_count_CahPrUk5Au(a):
    count = op_count_hmlrMsD2PO(273,221)+op_count_sdazOOVcIp(311,a)+op_count_YC3tgrnOyr(op_hmlrMsD2PO(273,221),op_sdazOOVcIp(311,a))
    return count


a≯⨴⫤b = { ((⊲⪭27)⨐(≋b)) , if (b⨊⨠)!=5 ; ((a≎⋽⪿)∑(b⪇≇⋚b)) , else }

def op_OEiktesKRI(a, b):
    if op_qU6oQAhJaQ(b) != 5:
        return op_Noe24qw2ks(op_k7HXdKtiEU(27),op_61wBmkZwlr(b))
    else:
        return op_JFrVJKYFMX(op_Mp74FtG4yY(a),op_3sJ7IOPOlU(b,b))

def op_count_OEiktesKRI(a, b):
    if op_qU6oQAhJaQ(b) != 5:
        count = op_count_k7HXdKtiEU(27)+op_count_61wBmkZwlr(b)+op_count_Noe24qw2ks(op_k7HXdKtiEU(27),op_61wBmkZwlr(b))+op_count_qU6oQAhJaQ(b)
    else:
        count = op_count_Mp74FtG4yY(a)+op_count_3sJ7IOPOlU(b,b)+op_count_JFrVJKYFMX(op_Mp74FtG4yY(a),op_3sJ7IOPOlU(b,b))
    return count


a⩖∀b = { (((a⇿⊰a)⋂⩴(b⇴a))⪲⨢(∦(b∫⋜⩖206))) }

def op_vb6BVWtSHd(a, b):
    return op_6iafYuwGo8(op_hmlrMsD2PO(op_ap3xiM279w(a,a),op_4JB6nKBMSY(b,a)),op_ew17WAA8t6(op_JgXZM7XvWE(b,206)))

def op_count_vb6BVWtSHd(a, b):
    count = op_count_ap3xiM279w(a,a)+op_count_4JB6nKBMSY(b,a)+op_count_hmlrMsD2PO(op_ap3xiM279w(a,a),op_4JB6nKBMSY(b,a))+op_count_JgXZM7XvWE(b,206)+op_count_ew17WAA8t6(op_JgXZM7XvWE(b,206))+op_count_6iafYuwGo8(op_hmlrMsD2PO(op_ap3xiM279w(a,a),op_4JB6nKBMSY(b,a)),op_ew17WAA8t6(op_JgXZM7XvWE(b,206)))
    return count


⫿⊾⨈a = { (((⊙⨙⩍a)⨴(a⨰a))⩰⨪↦) , if (a∷)<400 ; (((a⋛∩⫮)⊇≀≁)⩹((⩰a)⪒⊣⊆(a⪨a))) , else }

def op_YzLjQAvfBQ(a):
    if op_nFAOW8KTqp(a) < 400:
        return op_fLfyAuxYJD(op_jBC4ymW3D7(op_ocpzidtxKt(a),op_eewbuw0ToL(a,a)))
    else:
        return op_2Wsdkap16l(op_AfoL3wC8aT(op_QDWDTvZtyM(a)),op_eRqsBgTDFp(op_WkeUrDK8WX(a),op_2z8nE7LpCu(a,a)))

def op_count_YzLjQAvfBQ(a):
    if op_nFAOW8KTqp(a) < 400:
        count = op_count_ocpzidtxKt(a)+op_count_eewbuw0ToL(a,a)+op_count_jBC4ymW3D7(op_ocpzidtxKt(a),op_eewbuw0ToL(a,a))+op_count_fLfyAuxYJD(op_jBC4ymW3D7(op_ocpzidtxKt(a),op_eewbuw0ToL(a,a)))+op_count_nFAOW8KTqp(a)
    else:
        count = op_count_QDWDTvZtyM(a)+op_count_AfoL3wC8aT(op_QDWDTvZtyM(a))+op_count_WkeUrDK8WX(a)+op_count_2z8nE7LpCu(a,a)+op_count_eRqsBgTDFp(op_WkeUrDK8WX(a),op_2z8nE7LpCu(a,a))+op_count_2Wsdkap16l(op_AfoL3wC8aT(op_QDWDTvZtyM(a)),op_eRqsBgTDFp(op_WkeUrDK8WX(a),op_2z8nE7LpCu(a,a)))
    return count


def op_omagaNwqKv(a):
    return op_qy3n0tapmE(op_u6S6b8DprG(op_9FxExcQeMw(a,361)),op_8TQKPGA8Ba(op_64EQ39e0fC(a,a)))

def op_count_omagaNwqKv(a):
    count = op_count_9FxExcQeMw(a,361)+op_count_u6S6b8DprG(op_9FxExcQeMw(a,361))+op_count_64EQ39e0fC(a,a)+op_count_8TQKPGA8Ba(op_64EQ39e0fC(a,a))+op_count_qy3n0tapmE(op_u6S6b8DprG(op_9FxExcQeMw(a,361)),op_8TQKPGA8Ba(op_64EQ39e0fC(a,a)))
    return count


def op_H0hvRnhmX4(a, b):
    return op_xoJmIySC7h(op_cTDWOvIxvz(b,a),op_COABgblf1C(a,a))

def op_count_H0hvRnhmX4(a, b):
    count = op_count_cTDWOvIxvz(b,a)+op_count_COABgblf1C(a,a)+op_count_xoJmIySC7h(op_cTDWOvIxvz(b,a),op_COABgblf1C(a,a))
    return count


def op_rWc7knECwY(a):
    return op_t8gj7n24qd(op_PPChnnnBFF(op_NdELin8EPX(59,a),op_eIba4BG3xN(a)))

def op_count_rWc7knECwY(a):
    count = op_count_NdELin8EPX(59,a)+op_count_eIba4BG3xN(a)+op_count_PPChnnnBFF(op_NdELin8EPX(59,a),op_eIba4BG3xN(a))+op_count_t8gj7n24qd(op_PPChnnnBFF(op_NdELin8EPX(59,a),op_eIba4BG3xN(a)))
    return count


def op_N9FDu1g6sS(a):
    return op_giaUb8UVhq(a,a)

def op_count_N9FDu1g6sS(a):
    count = op_count_giaUb8UVhq(a,a)
    return count


def op_mVMnQ3ZUz6(a):
    return op_KipPnG1M2J(op_XPYlsWDdGa(a))

def op_count_mVMnQ3ZUz6(a):
    count = op_count_XPYlsWDdGa(a)+op_count_KipPnG1M2J(op_XPYlsWDdGa(a))
    return count


def op_JKhKCqropJ(a, b):
    return op_3Oe9XWJUTD(op_rysDP5nf3Z(b,b),a)

def op_count_JKhKCqropJ(a, b):
    count = op_count_rysDP5nf3Z(b,b)+op_count_3Oe9XWJUTD(op_rysDP5nf3Z(b,b),a)
    return count


def op_zU6YYVWnAv(a):
    return op_OGWBzMv138(op_JFrVJKYFMX(a,a),op_jBC4ymW3D7(159,378))

def op_count_zU6YYVWnAv(a):
    count = op_count_JFrVJKYFMX(a,a)+op_count_jBC4ymW3D7(159,378)+op_count_OGWBzMv138(op_JFrVJKYFMX(a,a),op_jBC4ymW3D7(159,378))
    return count


def op_P8h4Y6OdFr(a):
    if a == 44:
        return op_3YWlZA9bsa(op_GMN7JP6WpN(op_WObL9SsYVE(105,a),op_D3AQDKkPcf(18,a)),a)
    else:
        return op_4JGOJzXMq1(op_XZxEnkN3N0(op_eRqsBgTDFp(a,a)),op_s3Fd5m9Dh2(op_nouZ5SZjt1(a),a))

def op_count_P8h4Y6OdFr(a):
    if a == 44:
        count = op_count_WObL9SsYVE(105,a)+op_count_D3AQDKkPcf(18,a)+op_count_GMN7JP6WpN(op_WObL9SsYVE(105,a),op_D3AQDKkPcf(18,a))+op_count_3YWlZA9bsa(op_GMN7JP6WpN(op_WObL9SsYVE(105,a),op_D3AQDKkPcf(18,a)),a)
    else:
        count = op_count_eRqsBgTDFp(a,a)+op_count_XZxEnkN3N0(op_eRqsBgTDFp(a,a))+op_count_nouZ5SZjt1(a)+op_count_s3Fd5m9Dh2(op_nouZ5SZjt1(a),a)+op_count_4JGOJzXMq1(op_XZxEnkN3N0(op_eRqsBgTDFp(a,a)),op_s3Fd5m9Dh2(op_nouZ5SZjt1(a),a))
    return count


def op_sZS62iV0d2(a):
    if a < 837:
        return op_f6k1SAg4EE(a,a)
    else:
        return op_t8gj7n24qd(a)

def op_count_sZS62iV0d2(a):
    if a < 837:
        count = op_count_f6k1SAg4EE(a,a)
    else:
        count = op_count_t8gj7n24qd(a)
    return count


≃⋐⪬a = { (↞≼(a⪶≀⋏a)) , if (a⨽⪊≇)<=90 ; ((a∅a)⩣⊵⩗(a⊎←↗)) , else }

def op_gae4JlXwSi(a):
    if op_nlCqmYiOvY(a) <= 90:
        return op_DE7zCoGJt9(op_zR4jO40bMj(a,a))
    else:
        return op_wsXFuL0hC6(op_giaUb8UVhq(a,a),op_dwb5p0fa6d(a))

def op_count_gae4JlXwSi(a):
    if op_nlCqmYiOvY(a) <= 90:
        count = op_count_zR4jO40bMj(a,a)+op_count_DE7zCoGJt9(op_zR4jO40bMj(a,a))+op_count_nlCqmYiOvY(a)
    else:
        count = op_count_giaUb8UVhq(a,a)+op_count_dwb5p0fa6d(a)+op_count_wsXFuL0hC6(op_giaUb8UVhq(a,a),op_dwb5p0fa6d(a))
    return count


def op_NQTbndOZCW(a, b):
    if (b <= 115 and op_OTRTVPweYV(a,197) <= 274):
        return op_xRrnTEsQ6j(op_xoJmIySC7h(op_kuIXHzHcAH(442,a),op_KYL1uVeVpb(a,a)),op_YjI8oCXuph(op_KPf6cnQVty(b,b)))
    else:
        return a

def op_count_NQTbndOZCW(a, b):
    if (b <= 115 and op_OTRTVPweYV(a,197) <= 274):
        count = op_count_kuIXHzHcAH(442,a)+op_count_KYL1uVeVpb(a,a)+op_count_xoJmIySC7h(op_kuIXHzHcAH(442,a),op_KYL1uVeVpb(a,a))+op_count_KPf6cnQVty(b,b)+op_count_YjI8oCXuph(op_KPf6cnQVty(b,b))+op_count_xRrnTEsQ6j(op_xoJmIySC7h(op_kuIXHzHcAH(442,a),op_KYL1uVeVpb(a,a)),op_YjI8oCXuph(op_KPf6cnQVty(b,b)))+op_count_OTRTVPweYV(a,197)
    else:
        count = 1
    return count


def op_lJE48Dy8Mf(a):
    if op_JFrVJKYFMX(a,953) > 89:
        return op_dfKe02y8D2(op_rlpcYeipVY(op_5JYyxRJd4f(139)),op_ct1hK6qyRt(op_840vADziXz(a)))
    else:
        return op_j9kHMeSvPp(op_keuJNkrrbj(op_hiBDRd40bf(0,298),op_ZcwmYACASQ(a)),op_9xnGDUPbC6(op_cwbF3JtlMN(a,a)))

def op_count_lJE48Dy8Mf(a):
    if op_JFrVJKYFMX(a,953) > 89:
        count = op_count_5JYyxRJd4f(139)+op_count_rlpcYeipVY(op_5JYyxRJd4f(139))+op_count_840vADziXz(a)+op_count_ct1hK6qyRt(op_840vADziXz(a))+op_count_dfKe02y8D2(op_rlpcYeipVY(op_5JYyxRJd4f(139)),op_ct1hK6qyRt(op_840vADziXz(a)))+op_count_JFrVJKYFMX(a,953)
    else:
        count = op_count_hiBDRd40bf(0,298)+op_count_ZcwmYACASQ(a)+op_count_keuJNkrrbj(op_hiBDRd40bf(0,298),op_ZcwmYACASQ(a))+op_count_cwbF3JtlMN(a,a)+op_count_9xnGDUPbC6(op_cwbF3JtlMN(a,a))+op_count_j9kHMeSvPp(op_keuJNkrrbj(op_hiBDRd40bf(0,298),op_ZcwmYACASQ(a)),op_9xnGDUPbC6(op_cwbF3JtlMN(a,a)))
    return count


def op_ZpIR4ggbm0(a):
    return op_KbjG8mgYpV(op_Q2SPaKwpPJ(a,a),op_iuk5sVOGFA(a))

def op_count_ZpIR4ggbm0(a):
    count = op_count_Q2SPaKwpPJ(a,a)+op_count_iuk5sVOGFA(a)+op_count_KbjG8mgYpV(op_Q2SPaKwpPJ(a,a),op_iuk5sVOGFA(a))
    return count


def op_YIh2b6ipJn(a, b):
    return op_8n5YIzOsVS(op_irKjLsMeKy(a,b))

def op_count_YIh2b6ipJn(a, b):
    count = op_count_irKjLsMeKy(a,b)+op_count_8n5YIzOsVS(op_irKjLsMeKy(a,b))
    return count


a≙↙ = { (((a⋴⋺)∀⩎⋷(a⊭201))⨜⨶((a⊒a)⪒(a⪿⇪⊩a))) }

def op_9aKFcxtEVq(a):
    return op_HiPekx5b7W(op_FPxP5Y1j0W(op_0bdkhPtsnY(a),op_4JGOJzXMq1(a,201)),op_f6k1SAg4EE(op_rPNtK4BLRO(a,a),op_OGWBzMv138(a,a)))

def op_count_9aKFcxtEVq(a):
    count = op_count_0bdkhPtsnY(a)+op_count_4JGOJzXMq1(a,201)+op_count_FPxP5Y1j0W(op_0bdkhPtsnY(a),op_4JGOJzXMq1(a,201))+op_count_rPNtK4BLRO(a,a)+op_count_OGWBzMv138(a,a)+op_count_f6k1SAg4EE(op_rPNtK4BLRO(a,a),op_OGWBzMv138(a,a))+op_count_HiPekx5b7W(op_FPxP5Y1j0W(op_0bdkhPtsnY(a),op_4JGOJzXMq1(a,201)),op_f6k1SAg4EE(op_rPNtK4BLRO(a,a),op_OGWBzMv138(a,a)))
    return count


a≶⇧⫄b = { (((a⫸b)⋘(b⊢a))⫏↛⩏((b⪚⨁⋖b)∇⊂⋱(47∠⫱b))) }

def op_r8SlbsZKtG(a, b):
    return op_YC3tgrnOyr(op_2M7SKlOzyM(op_Qaz2MhZaG5(a,b),op_5twsqlHp2o(b,a)),op_nhYeJWJD5X(op_xSk1F0pZbF(b,b),op_QvoQhV0rrE(47,b)))

def op_count_r8SlbsZKtG(a, b):
    count = op_count_Qaz2MhZaG5(a,b)+op_count_5twsqlHp2o(b,a)+op_count_2M7SKlOzyM(op_Qaz2MhZaG5(a,b),op_5twsqlHp2o(b,a))+op_count_xSk1F0pZbF(b,b)+op_count_QvoQhV0rrE(47,b)+op_count_nhYeJWJD5X(op_xSk1F0pZbF(b,b),op_QvoQhV0rrE(47,b))+op_count_YC3tgrnOyr(op_2M7SKlOzyM(op_Qaz2MhZaG5(a,b),op_5twsqlHp2o(b,a)),op_nhYeJWJD5X(op_xSk1F0pZbF(b,b),op_QvoQhV0rrE(47,b)))
    return count


a≜⨂b = { ((a⫚⫇)⫡⨏(466⪚⨁⋖b)) , if b==24 ; ((144⩵∡b)↜⊷(b∅a)) , else }

def op_NfsvRvyw5s(a, b):
    if b == 24:
        return op_QMFrweE19q(op_SdCjLnB6rR(a),op_xSk1F0pZbF(466,b))
    else:
        return op_irKjLsMeKy(op_Y7wcNGrDQJ(144,b),op_giaUb8UVhq(b,a))

def op_count_NfsvRvyw5s(a, b):
    if b == 24:
        count = op_count_SdCjLnB6rR(a)+op_count_xSk1F0pZbF(466,b)+op_count_QMFrweE19q(op_SdCjLnB6rR(a),op_xSk1F0pZbF(466,b))
    else:
        count = op_count_Y7wcNGrDQJ(144,b)+op_count_giaUb8UVhq(b,a)+op_count_irKjLsMeKy(op_Y7wcNGrDQJ(144,b),op_giaUb8UVhq(b,a))
    return count


⨦⩛a = { (((a⫶a)⋥≓≎(⪷∈↠a))⨔⇊((⇠a)↼⊘⨖(a∊⊞≈a))) }

def op_am5vEDSDTs(a):
    return op_JclMnS0uGI(op_Qy55tPpLXF(op_BAIXFdYaz3(a,a),op_Kn0TacbtGK(a)),op_bPywburJMS(op_18saOjeKKm(a),op_keuJNkrrbj(a,a)))

def op_count_am5vEDSDTs(a):
    count = op_count_BAIXFdYaz3(a,a)+op_count_Kn0TacbtGK(a)+op_count_Qy55tPpLXF(op_BAIXFdYaz3(a,a),op_Kn0TacbtGK(a))+op_count_18saOjeKKm(a)+op_count_keuJNkrrbj(a,a)+op_count_bPywburJMS(op_18saOjeKKm(a),op_keuJNkrrbj(a,a))+op_count_JclMnS0uGI(op_Qy55tPpLXF(op_BAIXFdYaz3(a,a),op_Kn0TacbtGK(a)),op_bPywburJMS(op_18saOjeKKm(a),op_keuJNkrrbj(a,a)))
    return count


def op_ceOeGEIk9V(a):
    return op_HiPekx5b7W(a,a)

def op_count_ceOeGEIk9V(a):
    count = op_count_HiPekx5b7W(a,a)
    return count


⋵⩲⊾a = { (↸⊣(a⋎a)) , if a<51 ; a , else }

def op_wfLX6JC9Km(a):
    if a < 51:
        return op_wztAlM01eG(op_qy3n0tapmE(a,a))
    else:
        return a

def op_count_wfLX6JC9Km(a):
    if a < 51:
        count = op_count_qy3n0tapmE(a,a)+op_count_wztAlM01eG(op_qy3n0tapmE(a,a))
    else:
        count = 1
    return count


def op_wI2AJjpGii(a):
    return op_z2JHNkvbdm(op_z4E1FaHLuy(op_0JWJYFSzIQ(318,a)),op_HJ9erzHUuu(op_H0pizIJMoW(29),op_HJ9erzHUuu(a,a)))

def op_count_wI2AJjpGii(a):
    count = op_count_0JWJYFSzIQ(318,a)+op_count_z4E1FaHLuy(op_0JWJYFSzIQ(318,a))+op_count_H0pizIJMoW(29)+op_count_HJ9erzHUuu(a,a)+op_count_HJ9erzHUuu(op_H0pizIJMoW(29),op_HJ9erzHUuu(a,a))+op_count_z2JHNkvbdm(op_z4E1FaHLuy(op_0JWJYFSzIQ(318,a)),op_HJ9erzHUuu(op_H0pizIJMoW(29),op_HJ9erzHUuu(a,a)))
    return count


a⪎⪖b = { (((b⨔⊶↷a)⋰⇉∕(a⩧⪆a))↨⪍≴((a⪲⨢a)≃(⨝⨆b))) , if b>=181 ; (((⫡⇟⇯a)⪅)⩚⊴⇥(97⨔⇊(b∇⊂⋱a))) , else }

def op_CLzOjURgVu(a, b):
    if b >= 181:
        return op_DX7B1fY6P6(op_sM9mzqIDB1(op_WObL9SsYVE(b,a),op_Ikt5ks8PT7(a,a)),op_YbVcJGFEVW(op_6iafYuwGo8(a,a),op_bQ67fsrMVf(b)))
    else:
        return op_NTOWxs364D(op_FB83X2dByY(op_qWUSsah53b(a)),op_JclMnS0uGI(97,op_nhYeJWJD5X(b,a)))

def op_count_CLzOjURgVu(a, b):
    if b >= 181:
        count = op_count_WObL9SsYVE(b,a)+op_count_Ikt5ks8PT7(a,a)+op_count_sM9mzqIDB1(op_WObL9SsYVE(b,a),op_Ikt5ks8PT7(a,a))+op_count_6iafYuwGo8(a,a)+op_count_bQ67fsrMVf(b)+op_count_YbVcJGFEVW(op_6iafYuwGo8(a,a),op_bQ67fsrMVf(b))+op_count_DX7B1fY6P6(op_sM9mzqIDB1(op_WObL9SsYVE(b,a),op_Ikt5ks8PT7(a,a)),op_YbVcJGFEVW(op_6iafYuwGo8(a,a),op_bQ67fsrMVf(b)))
    else:
        count = op_count_qWUSsah53b(a)+op_count_FB83X2dByY(op_qWUSsah53b(a))+op_count_nhYeJWJD5X(b,a)+op_count_JclMnS0uGI(97,op_nhYeJWJD5X(b,a))+op_count_NTOWxs364D(op_FB83X2dByY(op_qWUSsah53b(a)),op_JclMnS0uGI(97,op_nhYeJWJD5X(b,a)))
    return count


a⪻⫆⨅ = { (((a≃a)⋐≟⩺(599⪿⇪⊩a))↢((a⨜⇔a)⫡⨏(a⪐-a))) , if (a⨸⪁343)<=202 ; (((505⨶)⇛(a∑a))⨣∐↬((a⨊⨠)⊢≏≾(a⊬⨰a))) , else }

def op_gLvFK8qJGt(a):
    if op_g55IO6H4Gj(a,343) <= 202:
        return op_WR6HLWljOP(op_PjbVkMzmXE(op_YbVcJGFEVW(a,a),op_OGWBzMv138(599,a)),op_QMFrweE19q(op_Sq3AGanRSD(a,a),op_d8xe6WWVfM(a,a)))
    else:
        return op_UpkSd4zESC(op_S3tN1ZzpSt(op_rFxw8gIMmB(505),op_JFrVJKYFMX(a,a)),op_qxqspddX8k(op_qU6oQAhJaQ(a),op_s3Fd5m9Dh2(a,a)))

def op_count_gLvFK8qJGt(a):
    if op_g55IO6H4Gj(a,343) <= 202:
        count = op_count_YbVcJGFEVW(a,a)+op_count_OGWBzMv138(599,a)+op_count_PjbVkMzmXE(op_YbVcJGFEVW(a,a),op_OGWBzMv138(599,a))+op_count_Sq3AGanRSD(a,a)+op_count_d8xe6WWVfM(a,a)+op_count_QMFrweE19q(op_Sq3AGanRSD(a,a),op_d8xe6WWVfM(a,a))+op_count_WR6HLWljOP(op_PjbVkMzmXE(op_YbVcJGFEVW(a,a),op_OGWBzMv138(599,a)),op_QMFrweE19q(op_Sq3AGanRSD(a,a),op_d8xe6WWVfM(a,a)))+op_count_g55IO6H4Gj(a,343)
    else:
        count = op_count_rFxw8gIMmB(505)+op_count_JFrVJKYFMX(a,a)+op_count_S3tN1ZzpSt(op_rFxw8gIMmB(505),op_JFrVJKYFMX(a,a))+op_count_qU6oQAhJaQ(a)+op_count_s3Fd5m9Dh2(a,a)+op_count_qxqspddX8k(op_qU6oQAhJaQ(a),op_s3Fd5m9Dh2(a,a))+op_count_UpkSd4zESC(op_S3tN1ZzpSt(op_rFxw8gIMmB(505),op_JFrVJKYFMX(a,a)),op_qxqspddX8k(op_qU6oQAhJaQ(a),op_s3Fd5m9Dh2(a,a)))
    return count


def op_4cCDO9aBwJ(a):
    return op_WObL9SsYVE(a,a)

def op_count_4cCDO9aBwJ(a):
    count = op_count_WObL9SsYVE(a,a)
    return count


def op_gClX4CNEER(a, b):
    if a <= 392 or op_k2B77S3vSv(a) == 692:
        return op_uTBsSls0VN(a,a)
    else:
        return op_Y9dhGmbGii(b)

def op_count_gClX4CNEER(a, b):
    if a <= 392 or op_k2B77S3vSv(a) == 692:
        count = op_count_uTBsSls0VN(a,a)+op_count_k2B77S3vSv(a)
    else:
        count = op_count_Y9dhGmbGii(b)
    return count


def op_TwHE9cUr4h(a):
    return op_Noe24qw2ks(op_Noe24qw2ks(a,a),op_W4YGzv6Whe(a,a))

def op_count_TwHE9cUr4h(a):
    count = op_count_Noe24qw2ks(a,a)+op_count_W4YGzv6Whe(a,a)+op_count_Noe24qw2ks(op_Noe24qw2ks(a,a),op_W4YGzv6Whe(a,a))
    return count


a∖⨕ = { (((a⇿⊰105)⩣⫁∢(a⊢a))≼((⇗⪘∲a)⊍)) }

def op_w6vKuAWEt9(a):
    return op_SPuZE40Ntn(op_JDUIKTTSIa(op_ap3xiM279w(a,105),op_5twsqlHp2o(a,a)),op_3nqY3DE9mg(op_j4geBLYVFK(a)))

def op_count_w6vKuAWEt9(a):
    count = op_count_ap3xiM279w(a,105)+op_count_5twsqlHp2o(a,a)+op_count_JDUIKTTSIa(op_ap3xiM279w(a,105),op_5twsqlHp2o(a,a))+op_count_j4geBLYVFK(a)+op_count_3nqY3DE9mg(op_j4geBLYVFK(a))+op_count_SPuZE40Ntn(op_JDUIKTTSIa(op_ap3xiM279w(a,105),op_5twsqlHp2o(a,a)),op_3nqY3DE9mg(op_j4geBLYVFK(a)))
    return count


def op_kL5XFQTA7G(a):
    return op_f6k1SAg4EE(op_neKQRQQIil(72,a),op_2PILXiQIjy(a))

def op_count_kL5XFQTA7G(a):
    count = op_count_neKQRQQIil(72,a)+op_count_2PILXiQIjy(a)+op_count_f6k1SAg4EE(op_neKQRQQIil(72,a),op_2PILXiQIjy(a))
    return count


def op_gCnWojhG97(a):
    return op_wztAlM01eG(op_Sq3AGanRSD(132,a))

def op_count_gCnWojhG97(a):
    count = op_count_Sq3AGanRSD(132,a)+op_count_wztAlM01eG(op_Sq3AGanRSD(132,a))
    return count


a⫣↠⇨b = { ((b⊲⩕⊾b)⪱⇝(517⪁⨴⋨a)) , if (b!=281 or b==32) ; (⩒∊(a⫊⇚⊺a)) , else }

def op_AmVValKoYk(a, b):
    if (b != 281 or b == 32):
        return op_OTRTVPweYV(op_DmTXOeWf9t(b,b),op_y2kQTS4a70(517,a))
    else:
        return op_qazvmhNBbN(op_Y5cEcQhyKu(a,a))

def op_count_AmVValKoYk(a, b):
    if (b != 281 or b == 32):
        count = op_count_DmTXOeWf9t(b,b)+op_count_y2kQTS4a70(517,a)+op_count_OTRTVPweYV(op_DmTXOeWf9t(b,b),op_y2kQTS4a70(517,a))
    else:
        count = op_count_Y5cEcQhyKu(a,a)+op_count_qazvmhNBbN(op_Y5cEcQhyKu(a,a))
    return count


def op_JFuJqCunNX(a):
    return op_tnyRA5sazQ(a,a)

def op_count_JFuJqCunNX(a):
    count = op_count_tnyRA5sazQ(a,a)
    return count


≀a = { (a≏⨯⊱a) , if a==185 ; (⨞⊢a) , else }

def op_6drNxD3LI2(a):
    if a == 185:
        return op_UqUOXUQnbU(a,a)
    else:
        return op_xUOZtlo3hN(a)

def op_count_6drNxD3LI2(a):
    if a == 185:
        count = op_count_UqUOXUQnbU(a,a)
    else:
        count = op_count_xUOZtlo3hN(a)
    return count


def op_DMQv6Lzoze(a):
    return op_j4geBLYVFK(op_kbkesczE7y(a,a))

def op_count_DMQv6Lzoze(a):
    count = op_count_kbkesczE7y(a,a)+op_count_j4geBLYVFK(op_kbkesczE7y(a,a))
    return count


a⋪⪸b = { (⩷(⫇⪃↚(⨞⫢59))) , if (≿⇫b)<356 ; (((112⪱⇝a)⊬⨰(b⩇∃⫛a))⫚↹⊑((b≧⊼b)⫚↹⊑555)) , else }

def op_7DoUD1Rkxi(a, b):
    if op_3A1e9zoj8h(b) < 356:
        return op_1h0rLqGiFr(op_Q9TX5pQS3Y(op_HQuZ2f4It9(59)))
    else:
        return op_dfKe02y8D2(op_s3Fd5m9Dh2(op_OTRTVPweYV(112,a),op_1aApVXNlOP(b,a)),op_dfKe02y8D2(op_JoLB3LXqXx(b,b),555))

def op_count_7DoUD1Rkxi(a, b):
    if op_3A1e9zoj8h(b) < 356:
        count = op_count_HQuZ2f4It9(59)+op_count_Q9TX5pQS3Y(op_HQuZ2f4It9(59))+op_count_1h0rLqGiFr(op_Q9TX5pQS3Y(op_HQuZ2f4It9(59)))+op_count_3A1e9zoj8h(b)
    else:
        count = op_count_OTRTVPweYV(112,a)+op_count_1aApVXNlOP(b,a)+op_count_s3Fd5m9Dh2(op_OTRTVPweYV(112,a),op_1aApVXNlOP(b,a))+op_count_JoLB3LXqXx(b,b)+op_count_dfKe02y8D2(op_JoLB3LXqXx(b,b),555)+op_count_dfKe02y8D2(op_s3Fd5m9Dh2(op_OTRTVPweYV(112,a),op_1aApVXNlOP(b,a)),op_dfKe02y8D2(op_JoLB3LXqXx(b,b),555))
    return count


⇭a = { (a⩇∃⫛a) , if (⊀⇵a)>=193 ; (a↼⊘⨖a) , else }

def op_xhswbPOq0z(a):
    if op_B3tNObfNaL(a) >= 193:
        return op_1aApVXNlOP(a,a)
    else:
        return op_bPywburJMS(a,a)

def op_count_xhswbPOq0z(a):
    if op_B3tNObfNaL(a) >= 193:
        count = op_count_1aApVXNlOP(a,a)+op_count_B3tNObfNaL(a)
    else:
        count = op_count_bPywburJMS(a,a)
    return count


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

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


def op_M8z55lnF0U(a):
    return op_wisItNeSwq(op_GMN7JP6WpN(op_xSk1F0pZbF(0,a),op_8cLx32lpNA(60,a)))

def op_count_M8z55lnF0U(a):
    count = op_count_xSk1F0pZbF(0,a)+op_count_8cLx32lpNA(60,a)+op_count_GMN7JP6WpN(op_xSk1F0pZbF(0,a),op_8cLx32lpNA(60,a))+op_count_wisItNeSwq(op_GMN7JP6WpN(op_xSk1F0pZbF(0,a),op_8cLx32lpNA(60,a)))
    return count


a⊺⇆b = { (((a⩦b)⫶(b∽b))⋝⋈⪟((⊙⨙⩍a)≏⨯⊱(⊙⨙⩍394))) }

def op_NbEzn8HcDr(a, b):
    return op_2DDjHMKMc0(op_BAIXFdYaz3(op_0kmYd0q39Y(a,b),op_y4ImoPnbV5(b,b)),op_UqUOXUQnbU(op_ocpzidtxKt(a),op_ocpzidtxKt(394)))

def op_count_NbEzn8HcDr(a, b):
    count = op_count_0kmYd0q39Y(a,b)+op_count_y4ImoPnbV5(b,b)+op_count_BAIXFdYaz3(op_0kmYd0q39Y(a,b),op_y4ImoPnbV5(b,b))+op_count_ocpzidtxKt(a)+op_count_ocpzidtxKt(394)+op_count_UqUOXUQnbU(op_ocpzidtxKt(a),op_ocpzidtxKt(394))+op_count_2DDjHMKMc0(op_BAIXFdYaz3(op_0kmYd0q39Y(a,b),op_y4ImoPnbV5(b,b)),op_UqUOXUQnbU(op_ocpzidtxKt(a),op_ocpzidtxKt(394)))
    return count


def op_KVe5lQHqeP(a):
    if a != 208:
        return op_4JGOJzXMq1(op_zoVPnxeHJ3(a),op_BAIXFdYaz3(a,a))
    else:
        return op_OKKcZfAt5B(op_vg4gO5BX6G(a,a),op_keWfFq85dY(a))

def op_count_KVe5lQHqeP(a):
    if a != 208:
        count = op_count_zoVPnxeHJ3(a)+op_count_BAIXFdYaz3(a,a)+op_count_4JGOJzXMq1(op_zoVPnxeHJ3(a),op_BAIXFdYaz3(a,a))
    else:
        count = op_count_vg4gO5BX6G(a,a)+op_count_keWfFq85dY(a)+op_count_OKKcZfAt5B(op_vg4gO5BX6G(a,a),op_keWfFq85dY(a))
    return count


def op_TugJ99jqtG(a):
    return op_PPChnnnBFF(a,a)

def op_count_TugJ99jqtG(a):
    count = op_count_PPChnnnBFF(a,a)
    return count


def op_qpOCIbTlAF(a):
    return op_eRqsBgTDFp(op_XnXgA4xnOs(a,a),op_GNmBfxrna9(a))

def op_count_qpOCIbTlAF(a):
    count = op_count_XnXgA4xnOs(a,a)+op_count_GNmBfxrna9(a)+op_count_eRqsBgTDFp(op_XnXgA4xnOs(a,a),op_GNmBfxrna9(a))
    return count


a↴b = { (b⪈⋁⩁39) , if b<3 ; (a⊇≀≁) , else }

def op_ZACOWTJZO4(a, b):
    if b < 3:
        return op_GMyVS5K48T(b,39)
    else:
        return op_AfoL3wC8aT(a)

def op_count_ZACOWTJZO4(a, b):
    if b < 3:
        count = op_count_GMyVS5K48T(b,39)
    else:
        count = op_count_AfoL3wC8aT(a)
    return count


def op_Rc7o8AHK9u(a, b):
    return op_SWo3A1KBJH(op_jBC4ymW3D7(b,a))

def op_count_Rc7o8AHK9u(a, b):
    count = op_count_jBC4ymW3D7(b,a)+op_count_SWo3A1KBJH(op_jBC4ymW3D7(b,a))
    return count


def op_KFvx0uYMJh(a):
    return op_ObEyaaML9x(a,op_YbVcJGFEVW(a,op_PPChnnnBFF(a,336)))

def op_count_KFvx0uYMJh(a):
    count = op_count_PPChnnnBFF(a,336)+op_count_YbVcJGFEVW(a,op_PPChnnnBFF(a,336))+op_count_ObEyaaML9x(a,op_YbVcJGFEVW(a,op_PPChnnnBFF(a,336)))
    return count


a⋴⇒⩪b = { (((b∭)⊓≱(b∌b))⪒⊣⊆((a⊓≱b)≬⋮(42↼⊘⨖b))) }

def op_ydJmeWyvU7(a, b):
    return op_eRqsBgTDFp(op_VCG3UHNzLR(op_qLBMy5fcJr(b),op_8cLx32lpNA(b,b)),op_kbkesczE7y(op_VCG3UHNzLR(a,b),op_bPywburJMS(42,b)))

def op_count_ydJmeWyvU7(a, b):
    count = op_count_qLBMy5fcJr(b)+op_count_8cLx32lpNA(b,b)+op_count_VCG3UHNzLR(op_qLBMy5fcJr(b),op_8cLx32lpNA(b,b))+op_count_VCG3UHNzLR(a,b)+op_count_bPywburJMS(42,b)+op_count_kbkesczE7y(op_VCG3UHNzLR(a,b),op_bPywburJMS(42,b))+op_count_eRqsBgTDFp(op_VCG3UHNzLR(op_qLBMy5fcJr(b),op_8cLx32lpNA(b,b)),op_kbkesczE7y(op_VCG3UHNzLR(a,b),op_bPywburJMS(42,b)))
    return count


a⇛⋲b = { ((b⫁⪎b)∊⊞≈(a∁)) , if (b∘521)>331 ; ((b⋴⋺)⊬⫿⊭) , else }

def op_bT2YGab5tl(a, b):
    if op_Z5m6OM72h2(b,521) > 331:
        return op_keuJNkrrbj(op_xRrnTEsQ6j(b,b),op_jdwGQqwJi5(a))
    else:
        return op_v0DYgG9ikt(op_0bdkhPtsnY(b))

def op_count_bT2YGab5tl(a, b):
    if op_Z5m6OM72h2(b,521) > 331:
        count = op_count_xRrnTEsQ6j(b,b)+op_count_jdwGQqwJi5(a)+op_count_keuJNkrrbj(op_xRrnTEsQ6j(b,b),op_jdwGQqwJi5(a))+op_count_Z5m6OM72h2(b,521)
    else:
        count = op_count_0bdkhPtsnY(b)+op_count_v0DYgG9ikt(op_0bdkhPtsnY(b))
    return count


≭⫘a = { ((a⋅⇍a)⋢(a⪭a)) , if a<36 ; ((a⩽⩡a)⪐-(⇝⋾⇵a)) , else }

def op_jEAzKzhh6P(a):
    if a < 36:
        return op_NdELin8EPX(op_AdZkA7nFnk(a,a),op_j9kHMeSvPp(a,a))
    else:
        return op_d8xe6WWVfM(op_zFNL8mZEFB(a,a),op_6l7ULzJsnZ(a))

def op_count_jEAzKzhh6P(a):
    if a < 36:
        count = op_count_AdZkA7nFnk(a,a)+op_count_j9kHMeSvPp(a,a)+op_count_NdELin8EPX(op_AdZkA7nFnk(a,a),op_j9kHMeSvPp(a,a))
    else:
        count = op_count_zFNL8mZEFB(a,a)+op_count_6l7ULzJsnZ(a)+op_count_d8xe6WWVfM(op_zFNL8mZEFB(a,a),op_6l7ULzJsnZ(a))
    return count


a≀⇓∃b = { (((26⫸a)⊜)⩾((a⪈⋁⩁a)∏⇴(b∏⇴a))) }

def op_kXpzAH9jno(a, b):
    return op_UggxBX659n(op_Eev2Q7dYIw(op_Qaz2MhZaG5(26,a)),op_Rw46J52cBJ(op_GMyVS5K48T(a,a),op_Rw46J52cBJ(b,a)))

def op_count_kXpzAH9jno(a, b):
    count = op_count_Qaz2MhZaG5(26,a)+op_count_Eev2Q7dYIw(op_Qaz2MhZaG5(26,a))+op_count_GMyVS5K48T(a,a)+op_count_Rw46J52cBJ(b,a)+op_count_Rw46J52cBJ(op_GMyVS5K48T(a,a),op_Rw46J52cBJ(b,a))+op_count_UggxBX659n(op_Eev2Q7dYIw(op_Qaz2MhZaG5(26,a)),op_Rw46J52cBJ(op_GMyVS5K48T(a,a),op_Rw46J52cBJ(b,a)))
    return count


def op_pGtFQtYsOB(a):
    return op_cTDWOvIxvz(a,95)

def op_count_pGtFQtYsOB(a):
    count = op_count_cTDWOvIxvz(a,95)
    return count


def op_PTLmVBoW1R(a):
    return op_09Ly4LVMIf(op_LkLIoiE525(a),op_UqUOXUQnbU(a,a))

def op_count_PTLmVBoW1R(a):
    count = op_count_LkLIoiE525(a)+op_count_UqUOXUQnbU(a,a)+op_count_09Ly4LVMIf(op_LkLIoiE525(a),op_UqUOXUQnbU(a,a))
    return count


a⨥b = { ((552≧⊼a)∄(b⩣⊵⩗b)) , if (a⋛∩⫮)<106 ; ((⋾a)⇤(a⪭b)) , else }

def op_GXZxp3Erot(a, b):
    if op_QDWDTvZtyM(a) < 106:
        return op_tnyRA5sazQ(op_JoLB3LXqXx(552,a),op_wsXFuL0hC6(b,b))
    else:
        return op_YSKBFp38Pu(op_8TQKPGA8Ba(a),op_j9kHMeSvPp(a,b))

def op_count_GXZxp3Erot(a, b):
    if op_QDWDTvZtyM(a) < 106:
        count = op_count_JoLB3LXqXx(552,a)+op_count_wsXFuL0hC6(b,b)+op_count_tnyRA5sazQ(op_JoLB3LXqXx(552,a),op_wsXFuL0hC6(b,b))+op_count_QDWDTvZtyM(a)
    else:
        count = op_count_8TQKPGA8Ba(a)+op_count_j9kHMeSvPp(a,b)+op_count_YSKBFp38Pu(op_8TQKPGA8Ba(a),op_j9kHMeSvPp(a,b))
    return count


def op_WtQwze2S1y(a, b):
    return op_j9kHMeSvPp(op_pRsWfj4Fpp(op_QMFrweE19q(a,a)),op_JgXZM7XvWE(op_61wBmkZwlr(a),op_UggxBX659n(a,b)))

def op_count_WtQwze2S1y(a, b):
    count = op_count_QMFrweE19q(a,a)+op_count_pRsWfj4Fpp(op_QMFrweE19q(a,a))+op_count_61wBmkZwlr(a)+op_count_UggxBX659n(a,b)+op_count_JgXZM7XvWE(op_61wBmkZwlr(a),op_UggxBX659n(a,b))+op_count_j9kHMeSvPp(op_pRsWfj4Fpp(op_QMFrweE19q(a,a)),op_JgXZM7XvWE(op_61wBmkZwlr(a),op_UggxBX659n(a,b)))
    return count


a⫒⩐⫨b = { ((⫳⪺∰b)⨙) , if (⨞⊢a)>=636 ; (a∣b) , else }

def op_xf6eqZIrT0(a, b):
    if op_xUOZtlo3hN(a) >= 636:
        return op_rlpcYeipVY(op_eftAHwPbeA(b))
    else:
        return op_PPChnnnBFF(a,b)

def op_count_xf6eqZIrT0(a, b):
    if op_xUOZtlo3hN(a) >= 636:
        count = op_count_eftAHwPbeA(b)+op_count_rlpcYeipVY(op_eftAHwPbeA(b))+op_count_xUOZtlo3hN(a)
    else:
        count = op_count_PPChnnnBFF(a,b)
    return count

rlpcYeipVY eftAHwPbeA xUOZtlo3hN PPChnnnBFF


def op_g8wdwh8Qhe(a):
    return op_ocpzidtxKt(op_NdELin8EPX(op_VwlE7vj6HS(131),op_h57jOAbG9W(a)))

def op_count_g8wdwh8Qhe(a):
    count = op_count_VwlE7vj6HS(131)+op_count_h57jOAbG9W(a)+op_count_NdELin8EPX(op_VwlE7vj6HS(131),op_h57jOAbG9W(a))+op_count_ocpzidtxKt(op_NdELin8EPX(op_VwlE7vj6HS(131),op_h57jOAbG9W(a)))
    return count


def op_AqWwJ29PGN(a, b):
    return op_texHS70gxN(op_g55IO6H4Gj(op_tHMVLcQ9bH(a),op_AdZkA7nFnk(b,b)))

def op_count_AqWwJ29PGN(a, b):
    count = op_count_tHMVLcQ9bH(a)+op_count_AdZkA7nFnk(b,b)+op_count_g55IO6H4Gj(op_tHMVLcQ9bH(a),op_AdZkA7nFnk(b,b))+op_count_texHS70gxN(op_g55IO6H4Gj(op_tHMVLcQ9bH(a),op_AdZkA7nFnk(b,b)))
    return count


def op_aRomWCf35x(a):
    return op_JclMnS0uGI(a,a)

def op_count_aRomWCf35x(a):
    count = op_count_JclMnS0uGI(a,a)
    return count


def op_n8xJIkrOXu(a):
    if op_FPxP5Y1j0W(a,883) <= 130 and op_0MNWfHKp6a(a) >= 294:
        return op_Ph9nP6C5qx(a,105)
    else:
        return op_d8xe6WWVfM(a,a)

def op_count_n8xJIkrOXu(a):
    if op_FPxP5Y1j0W(a,883) <= 130 and op_0MNWfHKp6a(a) >= 294:
        count = op_count_Ph9nP6C5qx(a,105)+op_count_FPxP5Y1j0W(a,883)+op_count_0MNWfHKp6a(a)
    else:
        count = op_count_d8xe6WWVfM(a,a)
    return count


a⋡≾b = { ((↡(a⫃⨇b))⫁⪎((b⪒⊣⊆95)≽⪈↿(⇋↷b))) , if (b⊕⨔)<615 ; (((↡a)∫⋜⩖(b⪒b))≣((⩯≢≕b)⫼⨠(b⩢≭))) , else }

def op_maNSbC2RxN(a, b):
    if op_ut0Nd8ObBp(b) < 615:
        return op_xRrnTEsQ6j(op_MXaNJeIAZ3(op_09Ly4LVMIf(a,b)),op_inCIaGQf8u(op_eRqsBgTDFp(b,95),op_SWo3A1KBJH(b)))
    else:
        return op_ObEyaaML9x(op_JgXZM7XvWE(op_MXaNJeIAZ3(a),op_f6k1SAg4EE(b,b)),op_KYL1uVeVpb(op_840vADziXz(b),op_rv8OxMkTSD(b)))

def op_count_maNSbC2RxN(a, b):
    if op_ut0Nd8ObBp(b) < 615:
        count = op_count_09Ly4LVMIf(a,b)+op_count_MXaNJeIAZ3(op_09Ly4LVMIf(a,b))+op_count_eRqsBgTDFp(b,95)+op_count_SWo3A1KBJH(b)+op_count_inCIaGQf8u(op_eRqsBgTDFp(b,95),op_SWo3A1KBJH(b))+op_count_xRrnTEsQ6j(op_MXaNJeIAZ3(op_09Ly4LVMIf(a,b)),op_inCIaGQf8u(op_eRqsBgTDFp(b,95),op_SWo3A1KBJH(b)))+op_count_ut0Nd8ObBp(b)
    else:
        count = op_count_MXaNJeIAZ3(a)+op_count_f6k1SAg4EE(b,b)+op_count_JgXZM7XvWE(op_MXaNJeIAZ3(a),op_f6k1SAg4EE(b,b))+op_count_840vADziXz(b)+op_count_rv8OxMkTSD(b)+op_count_KYL1uVeVpb(op_840vADziXz(b),op_rv8OxMkTSD(b))+op_count_ObEyaaML9x(op_JgXZM7XvWE(op_MXaNJeIAZ3(a),op_f6k1SAg4EE(b,b)),op_KYL1uVeVpb(op_840vADziXz(b),op_rv8OxMkTSD(b)))
    return count


a⪚⊄ = { ((a⨣∐↬515)⪨⊡(a⨔⊶↷a)) , if (⪁⫅≨a)>32 ; (⇋↷(a⩦a)) , else }

def op_NfC9eRMqyZ(a):
    if op_YApyZlDuBr(a) > 32:
        return op_kuIXHzHcAH(op_UpkSd4zESC(a,515),op_WObL9SsYVE(a,a))
    else:
        return op_SWo3A1KBJH(op_0kmYd0q39Y(a,a))

def op_count_NfC9eRMqyZ(a):
    if op_YApyZlDuBr(a) > 32:
        count = op_count_UpkSd4zESC(a,515)+op_count_WObL9SsYVE(a,a)+op_count_kuIXHzHcAH(op_UpkSd4zESC(a,515),op_WObL9SsYVE(a,a))+op_count_YApyZlDuBr(a)
    else:
        count = op_count_0kmYd0q39Y(a,a)+op_count_SWo3A1KBJH(op_0kmYd0q39Y(a,a))
    return count


def op_F3U2LKoYzR(a):
    return op_bl5wxAcryP(op_UIU2Eox550(a))

def op_count_F3U2LKoYzR(a):
    count = op_count_UIU2Eox550(a)+op_count_bl5wxAcryP(op_UIU2Eox550(a))
    return count


def op_lOouret8Km(a):
    return op_Qaz2MhZaG5(op_9xnGDUPbC6(a),op_tnyRA5sazQ(a,a))

def op_count_lOouret8Km(a):
    count = op_count_9xnGDUPbC6(a)+op_count_tnyRA5sazQ(a,a)+op_count_Qaz2MhZaG5(op_9xnGDUPbC6(a),op_tnyRA5sazQ(a,a))
    return count


⇡⪝⩈a = { (((359⇛a)⨔⊶↷(24∠⫱a))⨑≵⋬((a⇯⋐)≧⫂∧(a⩍⋽⫝̸a))) }

def op_HViTySjkD0(a):
    return op_XnXgA4xnOs(op_WObL9SsYVE(op_S3tN1ZzpSt(359,a),op_QvoQhV0rrE(24,a)),op_Ph9nP6C5qx(op_LkLIoiE525(a),op_BiWNJpBvwn(a,a)))

def op_count_HViTySjkD0(a):
    count = op_count_S3tN1ZzpSt(359,a)+op_count_QvoQhV0rrE(24,a)+op_count_WObL9SsYVE(op_S3tN1ZzpSt(359,a),op_QvoQhV0rrE(24,a))+op_count_LkLIoiE525(a)+op_count_BiWNJpBvwn(a,a)+op_count_Ph9nP6C5qx(op_LkLIoiE525(a),op_BiWNJpBvwn(a,a))+op_count_XnXgA4xnOs(op_WObL9SsYVE(op_S3tN1ZzpSt(359,a),op_QvoQhV0rrE(24,a)),op_Ph9nP6C5qx(op_LkLIoiE525(a),op_BiWNJpBvwn(a,a)))
    return count


a⩼⫦⨐b = { (b⪐-a) , if b<=443 ; (b≝⊿b) , else }

def op_i5RbA8eqaO(a, b):
    if b <= 443:
        return op_d8xe6WWVfM(b,a)
    else:
        return op_OKKcZfAt5B(b,b)

def op_count_i5RbA8eqaO(a, b):
    if b <= 443:
        count = op_count_d8xe6WWVfM(b,a)
    else:
        count = op_count_OKKcZfAt5B(b,b)
    return count


def op_a1lA6srqjw(a):
    return op_PPChnnnBFF(a,a)

def op_count_a1lA6srqjw(a):
    count = op_count_PPChnnnBFF(a,a)
    return count


def op_yPRFSXaFQ1(a, b):
    if b > 15:
        return op_KFSx94NKJn(op_EBcxylXtPf(b),op_yuvXk3Mco8(153))
    else:
        return op_4JB6nKBMSY(op_2M7SKlOzyM(b,109),op_rysDP5nf3Z(a,a))

def op_count_yPRFSXaFQ1(a, b):
    if b > 15:
        count = op_count_EBcxylXtPf(b)+op_count_yuvXk3Mco8(153)+op_count_KFSx94NKJn(op_EBcxylXtPf(b),op_yuvXk3Mco8(153))
    else:
        count = op_count_2M7SKlOzyM(b,109)+op_count_rysDP5nf3Z(a,a)+op_count_4JB6nKBMSY(op_2M7SKlOzyM(b,109),op_rysDP5nf3Z(a,a))
    return count


def op_7nmw0kbar0(a):
    return op_PPChnnnBFF(op_uysxUYN2L2(a,a),op_pRsWfj4Fpp(a))

def op_count_7nmw0kbar0(a):
    count = op_count_uysxUYN2L2(a,a)+op_count_pRsWfj4Fpp(a)+op_count_PPChnnnBFF(op_uysxUYN2L2(a,a),op_pRsWfj4Fpp(a))
    return count


⨕⪸a = { (a⩽⩡a) , if (a⊔172)<11 ; a , else }

def op_hhh3JSL7zb(a):
    if op_E4l6HwMY31(a,172) < 11:
        return op_zFNL8mZEFB(a,a)
    else:
        return a

def op_count_hhh3JSL7zb(a):
    if op_E4l6HwMY31(a,172) < 11:
        count = op_count_zFNL8mZEFB(a,a)+op_count_E4l6HwMY31(a,172)
    else:
        count = 1
    return count


def op_yJskDFA6qA(a):
    return op_3sJ7IOPOlU(747,a)

def op_count_yJskDFA6qA(a):
    count = op_count_3sJ7IOPOlU(747,a)
    return count


def op_xsU24Rf5qB(a):
    return op_UoVew8f2p2(28,a)

def op_count_xsU24Rf5qB(a):
    count = op_count_UoVew8f2p2(28,a)
    return count


def op_eFayCcs7rJ(a, b):
    return op_tnyRA5sazQ(op_zFNL8mZEFB(op_pjdzZ5rP1Y(b),op_g7Hmc5v1ko(b,a)),a)

def op_count_eFayCcs7rJ(a, b):
    count = op_count_pjdzZ5rP1Y(b)+op_count_g7Hmc5v1ko(b,a)+op_count_zFNL8mZEFB(op_pjdzZ5rP1Y(b),op_g7Hmc5v1ko(b,a))+op_count_tnyRA5sazQ(op_zFNL8mZEFB(op_pjdzZ5rP1Y(b),op_g7Hmc5v1ko(b,a)),a)
    return count


def op_wpd8nos5YA(a, b):
    return op_keWfFq85dY(op_nREPSIbpBE(op_KROiRRz3d6(a,119),op_hmlrMsD2PO(a,b)))

def op_count_wpd8nos5YA(a, b):
    count = op_count_KROiRRz3d6(a,119)+op_count_hmlrMsD2PO(a,b)+op_count_nREPSIbpBE(op_KROiRRz3d6(a,119),op_hmlrMsD2PO(a,b))+op_count_keWfFq85dY(op_nREPSIbpBE(op_KROiRRz3d6(a,119),op_hmlrMsD2PO(a,b)))
    return count


def op_MhAMJehesJ(a):
    if op_OwUj7dcsQK(a) >= 872:
        return op_cWQsF5MvuD(op_umQnsF7QlU(op_MmTdOpaElr(584),a))
    else:
        return op_aDRGw0okjd(op_L05ObWFQCd(op_9bazX3JMtO(a,a),op_Cr5xnr8B4B(a,599)))

def op_count_MhAMJehesJ(a):
    if op_OwUj7dcsQK(a) >= 872:
        count = op_count_MmTdOpaElr(584)+op_count_umQnsF7QlU(op_MmTdOpaElr(584),a)+op_count_cWQsF5MvuD(op_umQnsF7QlU(op_MmTdOpaElr(584),a))+op_count_OwUj7dcsQK(a)
    else:
        count = op_count_9bazX3JMtO(a,a)+op_count_Cr5xnr8B4B(a,599)+op_count_L05ObWFQCd(op_9bazX3JMtO(a,a),op_Cr5xnr8B4B(a,599))+op_count_aDRGw0okjd(op_L05ObWFQCd(op_9bazX3JMtO(a,a),op_Cr5xnr8B4B(a,599)))
    return count


a⋆⫊b = { ((⫎≠⋺a)⊓≱(⪁⫅≨b)) , if (b∲⫓410)<=34 ; ((a≟⫹b)⇼⇔∾(78⩌⋺403)) , else }

def op_yR0nB6c4Cl(a, b):
    if op_i8ToyICDmI(b,410) <= 34:
        return op_VCG3UHNzLR(op_LYeZOJ0nQG(a),op_YApyZlDuBr(b))
    else:
        return op_tifHPKVTfV(op_z2JHNkvbdm(a,b),op_g7Hmc5v1ko(78,403))

def op_count_yR0nB6c4Cl(a, b):
    if op_i8ToyICDmI(b,410) <= 34:
        count = op_count_LYeZOJ0nQG(a)+op_count_YApyZlDuBr(b)+op_count_VCG3UHNzLR(op_LYeZOJ0nQG(a),op_YApyZlDuBr(b))+op_count_i8ToyICDmI(b,410)
    else:
        count = op_count_z2JHNkvbdm(a,b)+op_count_g7Hmc5v1ko(78,403)+op_count_tifHPKVTfV(op_z2JHNkvbdm(a,b),op_g7Hmc5v1ko(78,403))
    return count


def op_hKcBw1Lue0(a, b):
    return op_y4ImoPnbV5(op_oH594TLvBK(op_FPxP5Y1j0W(b,61)),op_09Ly4LVMIf(op_dwb5p0fa6d(612),op_LkLIoiE525(a)))

def op_count_hKcBw1Lue0(a, b):
    count = op_count_FPxP5Y1j0W(b,61)+op_count_oH594TLvBK(op_FPxP5Y1j0W(b,61))+op_count_dwb5p0fa6d(612)+op_count_LkLIoiE525(a)+op_count_09Ly4LVMIf(op_dwb5p0fa6d(612),op_LkLIoiE525(a))+op_count_y4ImoPnbV5(op_oH594TLvBK(op_FPxP5Y1j0W(b,61)),op_09Ly4LVMIf(op_dwb5p0fa6d(612),op_LkLIoiE525(a)))
    return count


def op_KfoJTsIyUZ(a, b):
    if op_LxFB4K6j0n(b) < 60:
        return op_1tCtMSPkGf(op_5JYyxRJd4f(op_IwW236VD4Y(168,274)))
    else:
        return op_XnXgA4xnOs(op_SPuZE40Ntn(op_ap3xiM279w(a,b),55),op_mhIhit33mg(op_SHWCOp9I4E(a)))

def op_count_KfoJTsIyUZ(a, b):
    if op_LxFB4K6j0n(b) < 60:
        count = op_count_IwW236VD4Y(168,274)+op_count_5JYyxRJd4f(op_IwW236VD4Y(168,274))+op_count_1tCtMSPkGf(op_5JYyxRJd4f(op_IwW236VD4Y(168,274)))+op_count_LxFB4K6j0n(b)
    else:
        count = op_count_ap3xiM279w(a,b)+op_count_SPuZE40Ntn(op_ap3xiM279w(a,b),55)+op_count_SHWCOp9I4E(a)+op_count_mhIhit33mg(op_SHWCOp9I4E(a))+op_count_XnXgA4xnOs(op_SPuZE40Ntn(op_ap3xiM279w(a,b),55),op_mhIhit33mg(op_SHWCOp9I4E(a)))
    return count


def op_ByDzcDDRKQ(a):
    if op_sdazOOVcIp(a,410) > 56:
        return op_COABgblf1C(op_9FxExcQeMw(op_DpFCA1CohY(101),a),op_61wBmkZwlr(op_OKKcZfAt5B(a,316)))
    else:
        return op_KYL1uVeVpb(op_09Ly4LVMIf(op_PPChnnnBFF(a,a),op_m612RDITqL(a,a)),272)

def op_count_ByDzcDDRKQ(a):
    if op_sdazOOVcIp(a,410) > 56:
        count = op_count_DpFCA1CohY(101)+op_count_9FxExcQeMw(op_DpFCA1CohY(101),a)+op_count_OKKcZfAt5B(a,316)+op_count_61wBmkZwlr(op_OKKcZfAt5B(a,316))+op_count_COABgblf1C(op_9FxExcQeMw(op_DpFCA1CohY(101),a),op_61wBmkZwlr(op_OKKcZfAt5B(a,316)))+op_count_sdazOOVcIp(a,410)
    else:
        count = op_count_PPChnnnBFF(a,a)+op_count_m612RDITqL(a,a)+op_count_09Ly4LVMIf(op_PPChnnnBFF(a,a),op_m612RDITqL(a,a))+op_count_KYL1uVeVpb(op_09Ly4LVMIf(op_PPChnnnBFF(a,a),op_m612RDITqL(a,a)),272)
    return count


a⫸⇈b = { (a≣b) , if (a⇩)>=62 ; b , else }

def op_bEPZFWGxOB(a, b):
    if op_vRio1gEz1j(a) >= 62:
        return op_ObEyaaML9x(a,b)
    else:
        return b

def op_count_bEPZFWGxOB(a, b):
    if op_vRio1gEz1j(a) >= 62:
        count = op_count_ObEyaaML9x(a,b)+op_count_vRio1gEz1j(a)
    else:
        count = 1
    return count


def op_n7YBkKBAVq(a):
    return op_inCIaGQf8u(a,a)

def op_count_n7YBkKBAVq(a):
    count = op_count_inCIaGQf8u(a,a)
    return count


def op_SGfBAFE26B(a, b):
    return op_4JGOJzXMq1(op_HmxsFra2vL(op_FonBHBYJbU(b),op_qAljGMXEZr(a)),op_texHS70gxN(b))

def op_count_SGfBAFE26B(a, b):
    count = op_count_FonBHBYJbU(b)+op_count_qAljGMXEZr(a)+op_count_HmxsFra2vL(op_FonBHBYJbU(b),op_qAljGMXEZr(a))+op_count_texHS70gxN(b)+op_count_4JGOJzXMq1(op_HmxsFra2vL(op_FonBHBYJbU(b),op_qAljGMXEZr(a)),op_texHS70gxN(b))
    return count


def op_hXLke0AbfW(a):
    return op_1aApVXNlOP(23,op_D309nIvmXG(a))

def op_count_hXLke0AbfW(a):
    count = op_count_D309nIvmXG(a)+op_count_1aApVXNlOP(23,op_D309nIvmXG(a))
    return count


def op_2lEcbzNZ3I(a, b):
    return op_5twsqlHp2o(op_OTRTVPweYV(a,b),op_UIU2Eox550(b))

def op_count_2lEcbzNZ3I(a, b):
    count = op_count_OTRTVPweYV(a,b)+op_count_UIU2Eox550(b)+op_count_5twsqlHp2o(op_OTRTVPweYV(a,b),op_UIU2Eox550(b))
    return count


def op_2S2w38ZqYE(a):
    return op_wsXFuL0hC6(op_k2HlF1dBQh(a),op_Y5cEcQhyKu(308,a))

def op_count_2S2w38ZqYE(a):
    count = op_count_k2HlF1dBQh(a)+op_count_Y5cEcQhyKu(308,a)+op_count_wsXFuL0hC6(op_k2HlF1dBQh(a),op_Y5cEcQhyKu(308,a))
    return count


⊚∪a = { (((a⨚a)≝⊿(a≬⋮a))⫸((a≐→⇾)⩧⪆(a⫏↛⩏163))) }

def op_C9JLDdP35W(a):
    return op_Qaz2MhZaG5(op_OKKcZfAt5B(op_nREPSIbpBE(a,a),op_kbkesczE7y(a,a)),op_Ikt5ks8PT7(op_zV3pqYiQ5E(a),op_YC3tgrnOyr(a,163)))

def op_count_C9JLDdP35W(a):
    count = op_count_nREPSIbpBE(a,a)+op_count_kbkesczE7y(a,a)+op_count_OKKcZfAt5B(op_nREPSIbpBE(a,a),op_kbkesczE7y(a,a))+op_count_zV3pqYiQ5E(a)+op_count_YC3tgrnOyr(a,163)+op_count_Ikt5ks8PT7(op_zV3pqYiQ5E(a),op_YC3tgrnOyr(a,163))+op_count_Qaz2MhZaG5(op_OKKcZfAt5B(op_nREPSIbpBE(a,a),op_kbkesczE7y(a,a)),op_Ikt5ks8PT7(op_zV3pqYiQ5E(a),op_YC3tgrnOyr(a,163)))
    return count


def op_Mwk2HGB11S(a):
    return op_8w2t5hMYqp(op_m612RDITqL(a,a))

def op_count_Mwk2HGB11S(a):
    count = op_count_m612RDITqL(a,a)+op_count_8w2t5hMYqp(op_m612RDITqL(a,a))
    return count


def op_hWheh3WaNG(a, b):
    return op_NdELin8EPX(op_qazvmhNBbN(op_jBC4ymW3D7(a,49)),op_s0IfDFCCuZ(op_4JB6nKBMSY(231,a),op_AdZkA7nFnk(278,b)))

def op_count_hWheh3WaNG(a, b):
    count = op_count_jBC4ymW3D7(a,49)+op_count_qazvmhNBbN(op_jBC4ymW3D7(a,49))+op_count_4JB6nKBMSY(231,a)+op_count_AdZkA7nFnk(278,b)+op_count_s0IfDFCCuZ(op_4JB6nKBMSY(231,a),op_AdZkA7nFnk(278,b))+op_count_NdELin8EPX(op_qazvmhNBbN(op_jBC4ymW3D7(a,49)),op_s0IfDFCCuZ(op_4JB6nKBMSY(231,a),op_AdZkA7nFnk(278,b)))
    return count


def op_qFQkR9UZt5(a, b):
    return op_eaFBhJ0Uku(op_8cLx32lpNA(b,a),op_L05ObWFQCd(b,b))

def op_count_qFQkR9UZt5(a, b):
    count = op_count_8cLx32lpNA(b,a)+op_count_L05ObWFQCd(b,b)+op_count_eaFBhJ0Uku(op_8cLx32lpNA(b,a),op_L05ObWFQCd(b,b))
    return count


a∄⇄⇫ = { (321⊇≀≁) , if (a≖−≲)!=591 ; (a⫸⇳a) , else }

def op_0hkreZnOFt(a):
    if op_IpgdDpBHsO(a) != 591:
        return op_AfoL3wC8aT(321)
    else:
        return op_gx7XJ7hdpj(a,a)

def op_count_0hkreZnOFt(a):
    if op_IpgdDpBHsO(a) != 591:
        count = op_count_AfoL3wC8aT(321)+op_count_IpgdDpBHsO(a)
    else:
        count = op_count_gx7XJ7hdpj(a,a)
    return count


a⋝⪜⩥b = { 330 , if (⊁⨺b)>532 ; (((b↱⊪⇍)⫏↛⩏a)≼((b⩚⊴⇥a)⇑∁⪛)) , else }

def op_5e3ejKfaG8(a, b):
    if op_PxiHyQbrIp(b) > 532:
        return 330
    else:
        return op_SPuZE40Ntn(op_YC3tgrnOyr(op_Zubgv0tBda(b),a),op_P75hhshrwX(op_NTOWxs364D(b,a)))

def op_count_5e3ejKfaG8(a, b):
    if op_PxiHyQbrIp(b) > 532:
        count = op_count_PxiHyQbrIp(b)
    else:
        count = op_count_Zubgv0tBda(b)+op_count_YC3tgrnOyr(op_Zubgv0tBda(b),a)+op_count_NTOWxs364D(b,a)+op_count_P75hhshrwX(op_NTOWxs364D(b,a))+op_count_SPuZE40Ntn(op_YC3tgrnOyr(op_Zubgv0tBda(b),a),op_P75hhshrwX(op_NTOWxs364D(b,a)))
    return count


a∍ = { (((a⨓↿∉a)⪍↜⋙(a≃43))⨑⋨((314∽a)↢(a⩇∃⫛a))) }

def op_n7wzm5Y2lV(a):
    return op_tIhPxZTbsh(op_L05ObWFQCd(op_OWnFPqjWlR(a,a),op_YbVcJGFEVW(a,43)),op_WR6HLWljOP(op_y4ImoPnbV5(314,a),op_1aApVXNlOP(a,a)))

def op_count_n7wzm5Y2lV(a):
    count = op_count_OWnFPqjWlR(a,a)+op_count_YbVcJGFEVW(a,43)+op_count_L05ObWFQCd(op_OWnFPqjWlR(a,a),op_YbVcJGFEVW(a,43))+op_count_y4ImoPnbV5(314,a)+op_count_1aApVXNlOP(a,a)+op_count_WR6HLWljOP(op_y4ImoPnbV5(314,a),op_1aApVXNlOP(a,a))+op_count_tIhPxZTbsh(op_L05ObWFQCd(op_OWnFPqjWlR(a,a),op_YbVcJGFEVW(a,43)),op_WR6HLWljOP(op_y4ImoPnbV5(314,a),op_1aApVXNlOP(a,a)))
    return count


def op_aBc3pQJR8T(a):
    return op_64EQ39e0fC(a,a)

def op_count_aBc3pQJR8T(a):
    count = op_count_64EQ39e0fC(a,a)
    return count


def op_UNcwWhIvyc(a, b):
    return op_ObEyaaML9x(op_z2JHNkvbdm(op_ancx8kZcWl(a),op_w2P8NbNXyL(409,b)),b)

def op_count_UNcwWhIvyc(a, b):
    count = op_count_ancx8kZcWl(a)+op_count_w2P8NbNXyL(409,b)+op_count_z2JHNkvbdm(op_ancx8kZcWl(a),op_w2P8NbNXyL(409,b))+op_count_ObEyaaML9x(op_z2JHNkvbdm(op_ancx8kZcWl(a),op_w2P8NbNXyL(409,b)),b)
    return count


def op_mOUIj6rraD(a, b):
    return op_qxqspddX8k(op_d7ASUq0ydm(b,a),op_LkLIoiE525(b))

def op_count_mOUIj6rraD(a, b):
    count = op_count_d7ASUq0ydm(b,a)+op_count_LkLIoiE525(b)+op_count_qxqspddX8k(op_d7ASUq0ydm(b,a),op_LkLIoiE525(b))
    return count


def op_9arBjGBxSA(a):
    if op_kz228nwi0J(a) == 373:
        return op_2z8nE7LpCu(a,op_W2rMsuCzF8(17))
    else:
        return op_S56z7WVPBn(a)

def op_count_9arBjGBxSA(a):
    if op_kz228nwi0J(a) == 373:
        count = op_count_W2rMsuCzF8(17)+op_count_2z8nE7LpCu(a,op_W2rMsuCzF8(17))+op_count_kz228nwi0J(a)
    else:
        count = op_count_S56z7WVPBn(a)
    return count


a∬b = { (((a⊝⪿⪼a)⋅⇍(⊤⊝b))↨⪍≴((a⨻⪊⨷b)⫍⨯↯)) }

def op_R75JuolGUV(a, b):
    return op_DX7B1fY6P6(op_AdZkA7nFnk(op_3Oe9XWJUTD(a,a),op_rXAclfmB4M(b)),op_ZcwmYACASQ(op_Pkwamo1tM2(a,b)))

def op_count_R75JuolGUV(a, b):
    count = op_count_3Oe9XWJUTD(a,a)+op_count_rXAclfmB4M(b)+op_count_AdZkA7nFnk(op_3Oe9XWJUTD(a,a),op_rXAclfmB4M(b))+op_count_Pkwamo1tM2(a,b)+op_count_ZcwmYACASQ(op_Pkwamo1tM2(a,b))+op_count_DX7B1fY6P6(op_AdZkA7nFnk(op_3Oe9XWJUTD(a,a),op_rXAclfmB4M(b)),op_ZcwmYACASQ(op_Pkwamo1tM2(a,b)))
    return count


def op_xapQr7rWwN(a):
    return op_oDvtRyfmAM(op_tnyRA5sazQ(a,a))

def op_count_xapQr7rWwN(a):
    count = op_count_tnyRA5sazQ(a,a)+op_count_oDvtRyfmAM(op_tnyRA5sazQ(a,a))
    return count


a⊖⩤b = { (((b⨳⩥⨓a)⇛(b↭↢≔))↨⪍≴((a≦↸a)↪∷(a⋐≟⩺a))) }

def op_muoSboCI92(a, b):
    return op_DX7B1fY6P6(op_S3tN1ZzpSt(op_nCS4ZIUYfx(b,a),op_Q6LsZf8ZYd(b)),op_Api82iH42a(op_RygbFNSyEJ(a,a),op_PjbVkMzmXE(a,a)))

def op_count_muoSboCI92(a, b):
    count = op_count_nCS4ZIUYfx(b,a)+op_count_Q6LsZf8ZYd(b)+op_count_S3tN1ZzpSt(op_nCS4ZIUYfx(b,a),op_Q6LsZf8ZYd(b))+op_count_RygbFNSyEJ(a,a)+op_count_PjbVkMzmXE(a,a)+op_count_Api82iH42a(op_RygbFNSyEJ(a,a),op_PjbVkMzmXE(a,a))+op_count_DX7B1fY6P6(op_S3tN1ZzpSt(op_nCS4ZIUYfx(b,a),op_Q6LsZf8ZYd(b)),op_Api82iH42a(op_RygbFNSyEJ(a,a),op_PjbVkMzmXE(a,a)))
    return count


def op_Z7B3c4tHRK(a, b):
    return op_Q9TX5pQS3Y(op_eRqsBgTDFp(a,b))

def op_count_Z7B3c4tHRK(a, b):
    count = op_count_eRqsBgTDFp(a,b)+op_count_Q9TX5pQS3Y(op_eRqsBgTDFp(a,b))
    return count


def op_421RnaStf2(a, b):
    return op_ztP7wcbY7m(op_DX7B1fY6P6(op_JgXZM7XvWE(b,a),op_aHKFHkCgn9(b)))

def op_count_421RnaStf2(a, b):
    count = op_count_JgXZM7XvWE(b,a)+op_count_aHKFHkCgn9(b)+op_count_DX7B1fY6P6(op_JgXZM7XvWE(b,a),op_aHKFHkCgn9(b))+op_count_ztP7wcbY7m(op_DX7B1fY6P6(op_JgXZM7XvWE(b,a),op_aHKFHkCgn9(b)))
    return count


a⫌⋶ = { (((a⪨a)∺≝⩲(a⇤a))↪∷((a⋳⪒153)⫡⨏(a⇢a))) }

def op_dLRinWoT03(a):
    return op_Api82iH42a(op_KPf6cnQVty(op_2z8nE7LpCu(a,a),op_YSKBFp38Pu(a,a)),op_QMFrweE19q(op_12rbrZMWeM(a,153),op_GMN7JP6WpN(a,a)))

def op_count_dLRinWoT03(a):
    count = op_count_2z8nE7LpCu(a,a)+op_count_YSKBFp38Pu(a,a)+op_count_KPf6cnQVty(op_2z8nE7LpCu(a,a),op_YSKBFp38Pu(a,a))+op_count_12rbrZMWeM(a,153)+op_count_GMN7JP6WpN(a,a)+op_count_QMFrweE19q(op_12rbrZMWeM(a,153),op_GMN7JP6WpN(a,a))+op_count_Api82iH42a(op_KPf6cnQVty(op_2z8nE7LpCu(a,a),op_YSKBFp38Pu(a,a)),op_QMFrweE19q(op_12rbrZMWeM(a,153),op_GMN7JP6WpN(a,a)))
    return count


a⫦⇥b = { (⩣⪁(b⨧↗⨷b)) , if ((b↙↠)>381 or (∡a)>131) ; (⇠(b⨱∎)) , else }

def op_2pBQXqWGeP(a, b):
    if (op_texHS70gxN(b) > 381 or op_pRsWfj4Fpp(a) > 131):
        return op_W2rMsuCzF8(op_WSbXXWOizJ(b,b))
    else:
        return op_18saOjeKKm(op_MmTdOpaElr(b))

def op_count_2pBQXqWGeP(a, b):
    if (op_texHS70gxN(b) > 381 or op_pRsWfj4Fpp(a) > 131):
        count = op_count_WSbXXWOizJ(b,b)+op_count_W2rMsuCzF8(op_WSbXXWOizJ(b,b))+op_count_texHS70gxN(b)+op_count_pRsWfj4Fpp(a)
    else:
        count = op_count_MmTdOpaElr(b)+op_count_18saOjeKKm(op_MmTdOpaElr(b))
    return count


def op_P4YTKtsoS6(a):
    if op_fLfyAuxYJD(a) != 52:
        return op_Qy55tPpLXF(op_rPNtK4BLRO(op_s3Fd5m9Dh2(a,195),op_dfKe02y8D2(a,a)),op_D3AQDKkPcf(op_2M7SKlOzyM(a,250),op_S5ZFQS4GK3(a,243)))
    else:
        return op_RPa3726CSl(op_3Oe9XWJUTD(op_Z5m6OM72h2(a,a),op_IxJHfR5psi(a,62)))

def op_count_P4YTKtsoS6(a):
    if op_fLfyAuxYJD(a) != 52:
        count = op_count_s3Fd5m9Dh2(a,195)+op_count_dfKe02y8D2(a,a)+op_count_rPNtK4BLRO(op_s3Fd5m9Dh2(a,195),op_dfKe02y8D2(a,a))+op_count_2M7SKlOzyM(a,250)+op_count_S5ZFQS4GK3(a,243)+op_count_D3AQDKkPcf(op_2M7SKlOzyM(a,250),op_S5ZFQS4GK3(a,243))+op_count_Qy55tPpLXF(op_rPNtK4BLRO(op_s3Fd5m9Dh2(a,195),op_dfKe02y8D2(a,a)),op_D3AQDKkPcf(op_2M7SKlOzyM(a,250),op_S5ZFQS4GK3(a,243)))+op_count_fLfyAuxYJD(a)
    else:
        count = op_count_Z5m6OM72h2(a,a)+op_count_IxJHfR5psi(a,62)+op_count_3Oe9XWJUTD(op_Z5m6OM72h2(a,a),op_IxJHfR5psi(a,62))+op_count_RPa3726CSl(op_3Oe9XWJUTD(op_Z5m6OM72h2(a,a),op_IxJHfR5psi(a,62)))
    return count


def op_LDnGwIg2on(a):
    if op_3Oe9XWJUTD(a,544) > 335:
        return op_OTRTVPweYV(op_uTBsSls0VN(op_2DQ55sFlQl(652,210),op_zR4jO40bMj(42,a)),292)
    else:
        return op_glklzrTFfD(op_UggxBX659n(op_nCS4ZIUYfx(a,a),op_EWw2JM7wp4(a,a)))

def op_count_LDnGwIg2on(a):
    if op_3Oe9XWJUTD(a,544) > 335:
        count = op_count_2DQ55sFlQl(652,210)+op_count_zR4jO40bMj(42,a)+op_count_uTBsSls0VN(op_2DQ55sFlQl(652,210),op_zR4jO40bMj(42,a))+op_count_OTRTVPweYV(op_uTBsSls0VN(op_2DQ55sFlQl(652,210),op_zR4jO40bMj(42,a)),292)+op_count_3Oe9XWJUTD(a,544)
    else:
        count = op_count_nCS4ZIUYfx(a,a)+op_count_EWw2JM7wp4(a,a)+op_count_UggxBX659n(op_nCS4ZIUYfx(a,a),op_EWw2JM7wp4(a,a))+op_count_glklzrTFfD(op_UggxBX659n(op_nCS4ZIUYfx(a,a),op_EWw2JM7wp4(a,a)))
    return count


def op_6XS5R8JCT1(a):
    return op_AFVx7xoS7T(a,488)

def op_count_6XS5R8JCT1(a):
    count = op_count_AFVx7xoS7T(a,488)
    return count


def op_KlNKuDZ4P4(a):
    return op_HrjLwUk87U(a,a)

def op_count_KlNKuDZ4P4(a):
    count = op_count_HrjLwUk87U(a,a)
    return count


a⫥⩇⪟b = { (((a⇌⫙⪟a)≽↲≰(b⨚b))⇼⇔∾((⩦⊞b)⪭(36≽↲≰a))) }

def op_l1hjfgHDwy(a, b):
    return op_tifHPKVTfV(op_cFVlceoRkX(op_AFVx7xoS7T(a,a),op_nREPSIbpBE(b,b)),op_j9kHMeSvPp(op_u7fv1HBiaC(b),op_cFVlceoRkX(36,a)))

def op_count_l1hjfgHDwy(a, b):
    count = op_count_AFVx7xoS7T(a,a)+op_count_nREPSIbpBE(b,b)+op_count_cFVlceoRkX(op_AFVx7xoS7T(a,a),op_nREPSIbpBE(b,b))+op_count_u7fv1HBiaC(b)+op_count_cFVlceoRkX(36,a)+op_count_j9kHMeSvPp(op_u7fv1HBiaC(b),op_cFVlceoRkX(36,a))+op_count_tifHPKVTfV(op_cFVlceoRkX(op_AFVx7xoS7T(a,a),op_nREPSIbpBE(b,b)),op_j9kHMeSvPp(op_u7fv1HBiaC(b),op_cFVlceoRkX(36,a)))
    return count


def op_BsQQe46RQf(a, b):
    return op_JgXZM7XvWE(op_2fAMLLeFHb(736),op_Pkwamo1tM2(a,b))

def op_count_BsQQe46RQf(a, b):
    count = op_count_2fAMLLeFHb(736)+op_count_Pkwamo1tM2(a,b)+op_count_JgXZM7XvWE(op_2fAMLLeFHb(736),op_Pkwamo1tM2(a,b))
    return count


def op_8ODPDE8kA8(a):
    return op_8cLx32lpNA(op_hFnZRMLNSM(124),op_Rw46J52cBJ(a,a))

def op_count_8ODPDE8kA8(a):
    count = op_count_hFnZRMLNSM(124)+op_count_Rw46J52cBJ(a,a)+op_count_8cLx32lpNA(op_hFnZRMLNSM(124),op_Rw46J52cBJ(a,a))
    return count


def op_lAUTOmyRBs(a, b):
    return op_giaUb8UVhq(op_HiPekx5b7W(a,op_EWw2JM7wp4(a,b)),op_2td37pGCOC(op_BAIXFdYaz3(56,a)))

def op_count_lAUTOmyRBs(a, b):
    count = op_count_EWw2JM7wp4(a,b)+op_count_HiPekx5b7W(a,op_EWw2JM7wp4(a,b))+op_count_BAIXFdYaz3(56,a)+op_count_2td37pGCOC(op_BAIXFdYaz3(56,a))+op_count_giaUb8UVhq(op_HiPekx5b7W(a,op_EWw2JM7wp4(a,b)),op_2td37pGCOC(op_BAIXFdYaz3(56,a)))
    return count


def op_2sqRH14HT1(a):
    return op_UoVew8f2p2(op_m612RDITqL(op_KWeyIRWUIQ(43),op_Bmrmz2XGnR(a,a)),op_FyVja0WsTP(op_nCS4ZIUYfx(81,a),a))

def op_count_2sqRH14HT1(a):
    count = op_count_KWeyIRWUIQ(43)+op_count_Bmrmz2XGnR(a,a)+op_count_m612RDITqL(op_KWeyIRWUIQ(43),op_Bmrmz2XGnR(a,a))+op_count_nCS4ZIUYfx(81,a)+op_count_FyVja0WsTP(op_nCS4ZIUYfx(81,a),a)+op_count_UoVew8f2p2(op_m612RDITqL(op_KWeyIRWUIQ(43),op_Bmrmz2XGnR(a,a)),op_FyVja0WsTP(op_nCS4ZIUYfx(81,a),a))
    return count


def op_6Dk38mmJ69(a, b):
    return op_nCS4ZIUYfx(op_59igzFyhWz(622),op_uTBsSls0VN(b,a))

def op_count_6Dk38mmJ69(a, b):
    count = op_count_59igzFyhWz(622)+op_count_uTBsSls0VN(b,a)+op_count_nCS4ZIUYfx(op_59igzFyhWz(622),op_uTBsSls0VN(b,a))
    return count


def op_rhd368kmur(a):
    return op_Ikt5ks8PT7(op_6iafYuwGo8(op_H0pizIJMoW(a),a),a)

def op_count_rhd368kmur(a):
    count = op_count_H0pizIJMoW(a)+op_count_6iafYuwGo8(op_H0pizIJMoW(a),a)+op_count_Ikt5ks8PT7(op_6iafYuwGo8(op_H0pizIJMoW(a),a),a)
    return count


def op_SNrsbP6JVM(a):
    return op_KPf6cnQVty(a,op_7IPrd9c3lf(a))

def op_count_SNrsbP6JVM(a):
    count = op_count_7IPrd9c3lf(a)+op_count_KPf6cnQVty(a,op_7IPrd9c3lf(a))
    return count


def op_nz26hwsvpd(a):
    return op_JLbD19bQDL(op_rysDP5nf3Z(a,a))

def op_count_nz26hwsvpd(a):
    count = op_count_rysDP5nf3Z(a,a)+op_count_JLbD19bQDL(op_rysDP5nf3Z(a,a))
    return count


a⋿b = { (≿⇫(b↨⪍≴b)) , if b>40 and a<159 ; ((b⊚⨔)⩵∡(283≠≀b)) , else }

def op_ILALDsCERa(a, b):
    if b > 40 and a < 159:
        return op_3A1e9zoj8h(op_DX7B1fY6P6(b,b))
    else:
        return op_Y7wcNGrDQJ(op_XbEAUggs3J(b),op_IwW236VD4Y(283,b))

def op_count_ILALDsCERa(a, b):
    if b > 40 and a < 159:
        count = op_count_DX7B1fY6P6(b,b)+op_count_3A1e9zoj8h(op_DX7B1fY6P6(b,b))
    else:
        count = op_count_XbEAUggs3J(b)+op_count_IwW236VD4Y(283,b)+op_count_Y7wcNGrDQJ(op_XbEAUggs3J(b),op_IwW236VD4Y(283,b))
    return count


def op_spPj9r5GFV(a):
    if a <= 442:
        return op_P75hhshrwX(a)
    else:
        return op_DNmMwa48aR(op_aOI3TlLUAE(386))

def op_count_spPj9r5GFV(a):
    if a <= 442:
        count = op_count_P75hhshrwX(a)
    else:
        count = op_count_aOI3TlLUAE(386)+op_count_DNmMwa48aR(op_aOI3TlLUAE(386))
    return count


def op_bkrCwORtsm(a):
    return op_PPChnnnBFF(342,a)

def op_count_bkrCwORtsm(a):
    count = op_count_PPChnnnBFF(342,a)
    return count


def op_BEKom63EOt(a):
    return op_VCG3UHNzLR(a,op_OTRTVPweYV(a,a))

def op_count_BEKom63EOt(a):
    count = op_count_OTRTVPweYV(a,a)+op_count_VCG3UHNzLR(a,op_OTRTVPweYV(a,a))
    return count


def op_srMk4GyP9y(a):
    return op_kuIXHzHcAH(op_nCS4ZIUYfx(op_Ikt5ks8PT7(a,137),op_s0IfDFCCuZ(a,a)),op_SPuZE40Ntn(op_NdELin8EPX(a,121),op_KPf6cnQVty(a,a)))

def op_count_srMk4GyP9y(a):
    count = op_count_Ikt5ks8PT7(a,137)+op_count_s0IfDFCCuZ(a,a)+op_count_nCS4ZIUYfx(op_Ikt5ks8PT7(a,137),op_s0IfDFCCuZ(a,a))+op_count_NdELin8EPX(a,121)+op_count_KPf6cnQVty(a,a)+op_count_SPuZE40Ntn(op_NdELin8EPX(a,121),op_KPf6cnQVty(a,a))+op_count_kuIXHzHcAH(op_nCS4ZIUYfx(op_Ikt5ks8PT7(a,137),op_s0IfDFCCuZ(a,a)),op_SPuZE40Ntn(op_NdELin8EPX(a,121),op_KPf6cnQVty(a,a)))
    return count


def op_CmdEnb6c1H(a):
    return op_tnyRA5sazQ(a,a)

def op_count_CmdEnb6c1H(a):
    count = op_count_tnyRA5sazQ(a,a)
    return count


def op_3pxRWyOFEM(a, b):
    return op_Y9dhGmbGii(op_Z5m6OM72h2(op_d8xe6WWVfM(a,b),op_BUOGQAYlQx(a)))

def op_count_3pxRWyOFEM(a, b):
    count = op_count_d8xe6WWVfM(a,b)+op_count_BUOGQAYlQx(a)+op_count_Z5m6OM72h2(op_d8xe6WWVfM(a,b),op_BUOGQAYlQx(a))+op_count_Y9dhGmbGii(op_Z5m6OM72h2(op_d8xe6WWVfM(a,b),op_BUOGQAYlQx(a)))
    return count


a⩓⨨⪉ = { (⊀⇵(⊄⩳↩(a⨑⋨247))) , if (⪆a)>379 ; (⪷∈↠((71⋐≟⩺a)⊋≦⊧a)) , else }

def op_cZdSZBARbE(a):
    if op_KWeyIRWUIQ(a) > 379:
        return op_B3tNObfNaL(op_8w2t5hMYqp(op_tIhPxZTbsh(a,247)))
    else:
        return op_Kn0TacbtGK(op_oRDoc9rAEX(op_PjbVkMzmXE(71,a),a))

def op_count_cZdSZBARbE(a):
    if op_KWeyIRWUIQ(a) > 379:
        count = op_count_tIhPxZTbsh(a,247)+op_count_8w2t5hMYqp(op_tIhPxZTbsh(a,247))+op_count_B3tNObfNaL(op_8w2t5hMYqp(op_tIhPxZTbsh(a,247)))+op_count_KWeyIRWUIQ(a)
    else:
        count = op_count_PjbVkMzmXE(71,a)+op_count_oRDoc9rAEX(op_PjbVkMzmXE(71,a),a)+op_count_Kn0TacbtGK(op_oRDoc9rAEX(op_PjbVkMzmXE(71,a),a))
    return count


def op_QUPGxB8iS7(a):
    if op_bPywburJMS(a,980) <= 39:
        return op_YApyZlDuBr(op_S3tN1ZzpSt(118,a))
    else:
        return op_umQnsF7QlU(op_JFrVJKYFMX(a,a),op_7PjNe5qSIJ(a,a))

def op_count_QUPGxB8iS7(a):
    if op_bPywburJMS(a,980) <= 39:
        count = op_count_S3tN1ZzpSt(118,a)+op_count_YApyZlDuBr(op_S3tN1ZzpSt(118,a))+op_count_bPywburJMS(a,980)
    else:
        count = op_count_JFrVJKYFMX(a,a)+op_count_7PjNe5qSIJ(a,a)+op_count_umQnsF7QlU(op_JFrVJKYFMX(a,a),op_7PjNe5qSIJ(a,a))
    return count


a⨭⊾⩃ = { (⫎≠⋺(a⩟)) , if (a⩟)!=812 ; ((a⪇≇⋚a)⪨≂(a⊉≛↸a)) , else }

def op_NzQnHhd7nu(a):
    if op_fOIeswaMU4(a) != 812:
        return op_LYeZOJ0nQG(op_fOIeswaMU4(a))
    else:
        return op_sdazOOVcIp(op_3sJ7IOPOlU(a,a),op_DZ8iAZOCBD(a,a))

def op_count_NzQnHhd7nu(a):
    if op_fOIeswaMU4(a) != 812:
        count = op_count_fOIeswaMU4(a)+op_count_LYeZOJ0nQG(op_fOIeswaMU4(a))+op_count_fOIeswaMU4(a)
    else:
        count = op_count_3sJ7IOPOlU(a,a)+op_count_DZ8iAZOCBD(a,a)+op_count_sdazOOVcIp(op_3sJ7IOPOlU(a,a),op_DZ8iAZOCBD(a,a))
    return count


a⋓≽b = { (((130⪨b)⊱⇼⊻(⫟a))⪊≅) , if (b⨲⇖⇮)==483 ; (((a∑a)⊝⪿⪼(29⊦⊿))≽⪈↿(≎↾(↸⊣b))) , else }

def op_2G5ULruuxI(a, b):
    if op_oj4YnGA3cE(b) == 483:
        return op_bjFbhXSADs(op_FyVja0WsTP(op_2z8nE7LpCu(130,b),op_z4E1FaHLuy(a)))
    else:
        return op_inCIaGQf8u(op_3Oe9XWJUTD(op_JFrVJKYFMX(a,a),op_14qkJME0vr(29)),op_S56z7WVPBn(op_wztAlM01eG(b)))

def op_count_2G5ULruuxI(a, b):
    if op_oj4YnGA3cE(b) == 483:
        count = op_count_2z8nE7LpCu(130,b)+op_count_z4E1FaHLuy(a)+op_count_FyVja0WsTP(op_2z8nE7LpCu(130,b),op_z4E1FaHLuy(a))+op_count_bjFbhXSADs(op_FyVja0WsTP(op_2z8nE7LpCu(130,b),op_z4E1FaHLuy(a)))+op_count_oj4YnGA3cE(b)
    else:
        count = op_count_JFrVJKYFMX(a,a)+op_count_14qkJME0vr(29)+op_count_3Oe9XWJUTD(op_JFrVJKYFMX(a,a),op_14qkJME0vr(29))+op_count_wztAlM01eG(b)+op_count_S56z7WVPBn(op_wztAlM01eG(b))+op_count_inCIaGQf8u(op_3Oe9XWJUTD(op_JFrVJKYFMX(a,a),op_14qkJME0vr(29)),op_S56z7WVPBn(op_wztAlM01eG(b)))
    return count


def op_adaJuuz4pl(a):
    return op_aDRGw0okjd(op_UpkSd4zESC(op_XnXgA4xnOs(a,182),op_DIvbN7qnHd(284)))

def op_count_adaJuuz4pl(a):
    count = op_count_XnXgA4xnOs(a,182)+op_count_DIvbN7qnHd(284)+op_count_UpkSd4zESC(op_XnXgA4xnOs(a,182),op_DIvbN7qnHd(284))+op_count_aDRGw0okjd(op_UpkSd4zESC(op_XnXgA4xnOs(a,182),op_DIvbN7qnHd(284)))
    return count


⇏⇓a = { (a⪎↠a) , if a>=32 ; (a∭) , else }

def op_6Y8uju4AIA(a):
    if a >= 32:
        return op_3tVxb0NHM4(a,a)
    else:
        return op_qLBMy5fcJr(a)

def op_count_6Y8uju4AIA(a):
    if a >= 32:
        count = op_count_3tVxb0NHM4(a,a)
    else:
        count = op_count_qLBMy5fcJr(a)
    return count


a⋊b = { (b⋅∹⩇) , if a!=572 ; (b⋟⫀⨗a) , else }

def op_Dk6V8i6EvU(a, b):
    if a != 572:
        return op_Tmr9JGNMVH(b)
    else:
        return op_dAAkup5nzi(b,a)

def op_count_Dk6V8i6EvU(a, b):
    if a != 572:
        count = op_count_Tmr9JGNMVH(b)
    else:
        count = op_count_dAAkup5nzi(b,a)
    return count


a∙⨋⩎ = { (a⇇) , if a<505 ; (a∊⊞≈a) , else }

def op_8Sx1PdsQkw(a):
    if a < 505:
        return op_ieTw63T1Vx(a)
    else:
        return op_keuJNkrrbj(a,a)

def op_count_8Sx1PdsQkw(a):
    if a < 505:
        count = op_count_ieTw63T1Vx(a)
    else:
        count = op_count_keuJNkrrbj(a,a)
    return count


a⊇⫍⪏b = { (∋∴a) , if (↥≼⋛b)<743 ; (b⨧↗⨷b) , else }

def op_WyeQdY98By(a, b):
    if op_x5lMkHmzsq(b) < 743:
        return op_nouZ5SZjt1(a)
    else:
        return op_WSbXXWOizJ(b,b)

def op_count_WyeQdY98By(a, b):
    if op_x5lMkHmzsq(b) < 743:
        count = op_count_nouZ5SZjt1(a)+op_count_x5lMkHmzsq(b)
    else:
        count = op_count_WSbXXWOizJ(b,b)
    return count


def op_YKXtVccgU0(a):
    if (a <= 38 and op_KbjG8mgYpV(a,817) >= 26):
        return op_bPywburJMS(a,a)
    else:
        return op_Qy55tPpLXF(417,a)

def op_count_YKXtVccgU0(a):
    if (a <= 38 and op_KbjG8mgYpV(a,817) >= 26):
        count = op_count_bPywburJMS(a,a)+op_count_KbjG8mgYpV(a,817)
    else:
        count = op_count_Qy55tPpLXF(417,a)
    return count


a⋳⊳⋻b = { ((a⊢≏≾8)⨰↻⪇(⪀≱a)) , if (b⋳⪒41)<140 ; ((b⋾⨟)⩍⋽⫝̸(60⊬⫿⊭)) , else }

def op_AUjZzCncoP(a, b):
    if op_12rbrZMWeM(b,41) < 140:
        return op_nbuSfrB4hB(op_qxqspddX8k(a,8),op_tDVI6bDdAd(a))
    else:
        return op_BiWNJpBvwn(op_hYjFJ8q04Z(b),op_v0DYgG9ikt(60))

def op_count_AUjZzCncoP(a, b):
    if op_12rbrZMWeM(b,41) < 140:
        count = op_count_qxqspddX8k(a,8)+op_count_tDVI6bDdAd(a)+op_count_nbuSfrB4hB(op_qxqspddX8k(a,8),op_tDVI6bDdAd(a))+op_count_12rbrZMWeM(b,41)
    else:
        count = op_count_hYjFJ8q04Z(b)+op_count_v0DYgG9ikt(60)+op_count_BiWNJpBvwn(op_hYjFJ8q04Z(b),op_v0DYgG9ikt(60))
    return count


a⋪⨐⊍ = { ((≎↾a)⪠⩆⊳) , if (⇝⋾⇵a)<=490 ; ((a⊔a)⊉↱≁(a⋝⋈⪟a)) , else }

def op_B5APOzViFn(a):
    if op_6l7ULzJsnZ(a) <= 490:
        return op_JLbD19bQDL(op_S56z7WVPBn(a))
    else:
        return op_w2P8NbNXyL(op_E4l6HwMY31(a,a),op_2DDjHMKMc0(a,a))

def op_count_B5APOzViFn(a):
    if op_6l7ULzJsnZ(a) <= 490:
        count = op_count_S56z7WVPBn(a)+op_count_JLbD19bQDL(op_S56z7WVPBn(a))+op_count_6l7ULzJsnZ(a)
    else:
        count = op_count_E4l6HwMY31(a,a)+op_count_2DDjHMKMc0(a,a)+op_count_w2P8NbNXyL(op_E4l6HwMY31(a,a),op_2DDjHMKMc0(a,a))
    return count


def op_oY1sC6pMpa(a):
    return op_HiPekx5b7W(a,a)

def op_count_oY1sC6pMpa(a):
    count = op_count_HiPekx5b7W(a,a)
    return count


def op_Lif1LrMNxJ(a, b):
    return op_nbuSfrB4hB(op_AnPstFaJd9(b),op_4JGOJzXMq1(a,b))

def op_count_Lif1LrMNxJ(a, b):
    count = op_count_AnPstFaJd9(b)+op_count_4JGOJzXMq1(a,b)+op_count_nbuSfrB4hB(op_AnPstFaJd9(b),op_4JGOJzXMq1(a,b))
    return count


def op_4T7Oipxkl1(a):
    return op_w2P8NbNXyL(op_z4E1FaHLuy(op_WkeUrDK8WX(a)),op_liw5iZPkLH(op_jBC4ymW3D7(a,a)))

def op_count_4T7Oipxkl1(a):
    count = op_count_WkeUrDK8WX(a)+op_count_z4E1FaHLuy(op_WkeUrDK8WX(a))+op_count_jBC4ymW3D7(a,a)+op_count_liw5iZPkLH(op_jBC4ymW3D7(a,a))+op_count_w2P8NbNXyL(op_z4E1FaHLuy(op_WkeUrDK8WX(a)),op_liw5iZPkLH(op_jBC4ymW3D7(a,a)))
    return count


def op_3MN2UJMywv(a):
    if a == 674:
        return op_jdwGQqwJi5(a)
    else:
        return op_RygbFNSyEJ(a,25)

def op_count_3MN2UJMywv(a):
    if a == 674:
        count = op_count_jdwGQqwJi5(a)
    else:
        count = op_count_RygbFNSyEJ(a,25)
    return count


a⋳≴ = { (((a⨣∐↬a)⨧↗⨷(34⨲⇖⇮))∠⫱((a∐⫣)⊔(311⊕⨔))) }

def op_bNrfDKSpoP(a):
    return op_QvoQhV0rrE(op_WSbXXWOizJ(op_UpkSd4zESC(a,a),op_oj4YnGA3cE(34)),op_E4l6HwMY31(op_4CyGpkTkEk(a),op_ut0Nd8ObBp(311)))

def op_count_bNrfDKSpoP(a):
    count = op_count_UpkSd4zESC(a,a)+op_count_oj4YnGA3cE(34)+op_count_WSbXXWOizJ(op_UpkSd4zESC(a,a),op_oj4YnGA3cE(34))+op_count_4CyGpkTkEk(a)+op_count_ut0Nd8ObBp(311)+op_count_E4l6HwMY31(op_4CyGpkTkEk(a),op_ut0Nd8ObBp(311))+op_count_QvoQhV0rrE(op_WSbXXWOizJ(op_UpkSd4zESC(a,a),op_oj4YnGA3cE(34)),op_E4l6HwMY31(op_4CyGpkTkEk(a),op_ut0Nd8ObBp(311)))
    return count


def op_IVYZfpfDBw(a):
    return op_w2P8NbNXyL(op_rPNtK4BLRO(op_cTDWOvIxvz(a,a),op_B4c4JXCTtZ(89)),op_KWeyIRWUIQ(op_hYjFJ8q04Z(a)))

def op_count_IVYZfpfDBw(a):
    count = op_count_cTDWOvIxvz(a,a)+op_count_B4c4JXCTtZ(89)+op_count_rPNtK4BLRO(op_cTDWOvIxvz(a,a),op_B4c4JXCTtZ(89))+op_count_hYjFJ8q04Z(a)+op_count_KWeyIRWUIQ(op_hYjFJ8q04Z(a))+op_count_w2P8NbNXyL(op_rPNtK4BLRO(op_cTDWOvIxvz(a,a),op_B4c4JXCTtZ(89)),op_KWeyIRWUIQ(op_hYjFJ8q04Z(a)))
    return count


⪯⋭a = { (((a⪍)⩍⋽⫝̸(a⩼⇪↪a))∣((7⫸85)⨜⇔(a⫁⪎a))) }

def op_l034Y9yrOR(a):
    return op_PPChnnnBFF(op_BiWNJpBvwn(op_SHWCOp9I4E(a),op_ocnLzx9CaJ(a,a)),op_Sq3AGanRSD(op_Qaz2MhZaG5(7,85),op_xRrnTEsQ6j(a,a)))

def op_count_l034Y9yrOR(a):
    count = op_count_SHWCOp9I4E(a)+op_count_ocnLzx9CaJ(a,a)+op_count_BiWNJpBvwn(op_SHWCOp9I4E(a),op_ocnLzx9CaJ(a,a))+op_count_Qaz2MhZaG5(7,85)+op_count_xRrnTEsQ6j(a,a)+op_count_Sq3AGanRSD(op_Qaz2MhZaG5(7,85),op_xRrnTEsQ6j(a,a))+op_count_PPChnnnBFF(op_BiWNJpBvwn(op_SHWCOp9I4E(a),op_ocnLzx9CaJ(a,a)),op_Sq3AGanRSD(op_Qaz2MhZaG5(7,85),op_xRrnTEsQ6j(a,a)))
    return count


a⇞∉b = { ((∓⪦(b⪇≇⋚a))⩹((a⨸⪁183)⪨(∓⪦b))) }

def op_QbcaP1vvRM(a, b):
    return op_2Wsdkap16l(op_D309nIvmXG(op_3sJ7IOPOlU(b,a)),op_2z8nE7LpCu(op_g55IO6H4Gj(a,183),op_D309nIvmXG(b)))

def op_count_QbcaP1vvRM(a, b):
    count = op_count_3sJ7IOPOlU(b,a)+op_count_D309nIvmXG(op_3sJ7IOPOlU(b,a))+op_count_g55IO6H4Gj(a,183)+op_count_D309nIvmXG(b)+op_count_2z8nE7LpCu(op_g55IO6H4Gj(a,183),op_D309nIvmXG(b))+op_count_2Wsdkap16l(op_D309nIvmXG(op_3sJ7IOPOlU(b,a)),op_2z8nE7LpCu(op_g55IO6H4Gj(a,183),op_D309nIvmXG(b)))
    return count


def op_Kv8svu7dSe(a):
    return op_MKzNxCV7Yo(op_Ph9nP6C5qx(a,a))

def op_count_Kv8svu7dSe(a):
    count = op_count_Ph9nP6C5qx(a,a)+op_count_MKzNxCV7Yo(op_Ph9nP6C5qx(a,a))
    return count


a≝⊘b = { (∓⪦b) , if b>360 ; (a∿⫑≎571) , else }

def op_3KAnUrVtkf(a, b):
    if b > 360:
        return op_D309nIvmXG(b)
    else:
        return op_ar1w6gUwHX(a,571)

def op_count_3KAnUrVtkf(a, b):
    if b > 360:
        count = op_count_D309nIvmXG(b)
    else:
        count = op_count_ar1w6gUwHX(a,571)
    return count


a⇕⫈⩾b = { ((b⇄a)⊀⪪⫸) , if b!=519 ; ((b∇⊂⋱a)⇴(b⪔⊥a)) , else }

def op_UXF39qU1P3(a, b):
    if b != 519:
        return op_UIU2Eox550(op_3EYGwJThht(b,a))
    else:
        return op_4JB6nKBMSY(op_nhYeJWJD5X(b,a),op_HJ9erzHUuu(b,a))

def op_count_UXF39qU1P3(a, b):
    if b != 519:
        count = op_count_3EYGwJThht(b,a)+op_count_UIU2Eox550(op_3EYGwJThht(b,a))
    else:
        count = op_count_nhYeJWJD5X(b,a)+op_count_HJ9erzHUuu(b,a)+op_count_4JB6nKBMSY(op_nhYeJWJD5X(b,a),op_HJ9erzHUuu(b,a))
    return count


a⨥∕⋊ = { ((a⩅⩡)⋳/(⋽⪳⨃a)) , if (a>45 and (↓⇌a)!=990) ; ((a⊦⊿)≚⊃≕(a⩌a)) , else }

def op_oGcWmnzv9W(a):
    if (a > 45 and op_PxpmPgHHJV(a) != 990):
        return op_m612RDITqL(op_0MNWfHKp6a(a),op_qAljGMXEZr(a))
    else:
        return op_Bmrmz2XGnR(op_14qkJME0vr(a),op_UoVew8f2p2(a,a))

def op_count_oGcWmnzv9W(a):
    if (a > 45 and op_PxpmPgHHJV(a) != 990):
        count = op_count_0MNWfHKp6a(a)+op_count_qAljGMXEZr(a)+op_count_m612RDITqL(op_0MNWfHKp6a(a),op_qAljGMXEZr(a))+op_count_PxpmPgHHJV(a)
    else:
        count = op_count_14qkJME0vr(a)+op_count_UoVew8f2p2(a,a)+op_count_Bmrmz2XGnR(op_14qkJME0vr(a),op_UoVew8f2p2(a,a))
    return count


a⩥⋻b = { (((a⋐≟⩺30)⩼⇪↪(a⨐a))↪∷((55⇢b)⊱⇼⊻(a∝748))) , if (a≃722)<=102 ; (((b⇛a)≽↲≰(a∼⇢b))≽↲≰((a⊬⨰a)⊋≦⊧(a↺a))) , else }

def op_XXqG8ZAZxI(a, b):
    if op_YbVcJGFEVW(a,722) <= 102:
        return op_Api82iH42a(op_ocnLzx9CaJ(op_PjbVkMzmXE(a,30),op_Noe24qw2ks(a,a)),op_FyVja0WsTP(op_GMN7JP6WpN(55,b),op_cTDWOvIxvz(a,748)))
    else:
        return op_cFVlceoRkX(op_cFVlceoRkX(op_S3tN1ZzpSt(b,a),op_Cr5xnr8B4B(a,b)),op_oRDoc9rAEX(op_s3Fd5m9Dh2(a,a),op_7j4O788W3g(a,a)))

def op_count_XXqG8ZAZxI(a, b):
    if op_YbVcJGFEVW(a,722) <= 102:
        count = op_count_PjbVkMzmXE(a,30)+op_count_Noe24qw2ks(a,a)+op_count_ocnLzx9CaJ(op_PjbVkMzmXE(a,30),op_Noe24qw2ks(a,a))+op_count_GMN7JP6WpN(55,b)+op_count_cTDWOvIxvz(a,748)+op_count_FyVja0WsTP(op_GMN7JP6WpN(55,b),op_cTDWOvIxvz(a,748))+op_count_Api82iH42a(op_ocnLzx9CaJ(op_PjbVkMzmXE(a,30),op_Noe24qw2ks(a,a)),op_FyVja0WsTP(op_GMN7JP6WpN(55,b),op_cTDWOvIxvz(a,748)))+op_count_YbVcJGFEVW(a,722)
    else:
        count = op_count_S3tN1ZzpSt(b,a)+op_count_Cr5xnr8B4B(a,b)+op_count_cFVlceoRkX(op_S3tN1ZzpSt(b,a),op_Cr5xnr8B4B(a,b))+op_count_s3Fd5m9Dh2(a,a)+op_count_7j4O788W3g(a,a)+op_count_oRDoc9rAEX(op_s3Fd5m9Dh2(a,a),op_7j4O788W3g(a,a))+op_count_cFVlceoRkX(op_cFVlceoRkX(op_S3tN1ZzpSt(b,a),op_Cr5xnr8B4B(a,b)),op_oRDoc9rAEX(op_s3Fd5m9Dh2(a,a),op_7j4O788W3g(a,a)))
    return count


def op_iI58LvO9D4(a):
    return op_YSKBFp38Pu(op_NdELin8EPX(a,a),op_4JGOJzXMq1(a,3))

def op_count_iI58LvO9D4(a):
    count = op_count_NdELin8EPX(a,a)+op_count_4JGOJzXMq1(a,3)+op_count_YSKBFp38Pu(op_NdELin8EPX(a,a),op_4JGOJzXMq1(a,3))
    return count


def op_RyELuKeO6y(a):
    return op_09Ly4LVMIf(op_xoJmIySC7h(a,a),op_PxpmPgHHJV(a))

def op_count_RyELuKeO6y(a):
    count = op_count_xoJmIySC7h(a,a)+op_count_PxpmPgHHJV(a)+op_count_09Ly4LVMIf(op_xoJmIySC7h(a,a),op_PxpmPgHHJV(a))
    return count


a≏↺b = { (a⇩↽) , if b<=172 and (b⋥≓≎361)>=193 ; (∛⊵(≎↾(b⊓≱b))) , else }

def op_Mx9bI9akoD(a, b):
    if b <= 172 and op_Qy55tPpLXF(b,361) >= 193:
        return op_HjMFvreeUu(a)
    else:
        return op_jfYOP67v6Y(op_S56z7WVPBn(op_VCG3UHNzLR(b,b)))

def op_count_Mx9bI9akoD(a, b):
    if b <= 172 and op_Qy55tPpLXF(b,361) >= 193:
        count = op_count_HjMFvreeUu(a)+op_count_Qy55tPpLXF(b,361)
    else:
        count = op_count_VCG3UHNzLR(b,b)+op_count_S56z7WVPBn(op_VCG3UHNzLR(b,b))+op_count_jfYOP67v6Y(op_S56z7WVPBn(op_VCG3UHNzLR(b,b)))
    return count


def op_NP9YRXuJAy(a, b):
    return op_18saOjeKKm(op_kc7iqVBlRY(op_23Mk6UjR3U(b,a)))

def op_count_NP9YRXuJAy(a, b):
    count = op_count_23Mk6UjR3U(b,a)+op_count_kc7iqVBlRY(op_23Mk6UjR3U(b,a))+op_count_18saOjeKKm(op_kc7iqVBlRY(op_23Mk6UjR3U(b,a)))
    return count


def op_GOBFNFxorc(a):
    return op_PjbVkMzmXE(a,a)

def op_count_GOBFNFxorc(a):
    count = op_count_PjbVkMzmXE(a,a)
    return count


def op_2TfmgxUuUr(a):
    return op_Noe24qw2ks(a,40)

def op_count_2TfmgxUuUr(a):
    count = op_count_Noe24qw2ks(a,40)
    return count


def op_PJn8kYvayX(a):
    if (a < 18 and op_bF6eod5Gvf(a,935) <= 76):
        return op_ew17WAA8t6(105)
    else:
        return op_Ikt5ks8PT7(a,a)

def op_count_PJn8kYvayX(a):
    if (a < 18 and op_bF6eod5Gvf(a,935) <= 76):
        count = op_count_ew17WAA8t6(105)+op_count_bF6eod5Gvf(a,935)
    else:
        count = op_count_Ikt5ks8PT7(a,a)
    return count


def op_tvgk37t61b(a):
    return op_s0IfDFCCuZ(op_keuJNkrrbj(a,546),op_ocnLzx9CaJ(a,378))

def op_count_tvgk37t61b(a):
    count = op_count_keuJNkrrbj(a,546)+op_count_ocnLzx9CaJ(a,378)+op_count_s0IfDFCCuZ(op_keuJNkrrbj(a,546),op_ocnLzx9CaJ(a,378))
    return count


a⊫∤b = { (((b→⨶⪴b)↜⊷(a⪉⨛a))≠≀(⋄(⋼∭⪍b))) }

def op_PAFjRznPDq(a, b):
    return op_IwW236VD4Y(op_irKjLsMeKy(op_bF6eod5Gvf(b,b),op_EWw2JM7wp4(a,a)),op_k2B77S3vSv(op_DbCuESL50I(b)))

def op_count_PAFjRznPDq(a, b):
    count = op_count_bF6eod5Gvf(b,b)+op_count_EWw2JM7wp4(a,a)+op_count_irKjLsMeKy(op_bF6eod5Gvf(b,b),op_EWw2JM7wp4(a,a))+op_count_DbCuESL50I(b)+op_count_k2B77S3vSv(op_DbCuESL50I(b))+op_count_IwW236VD4Y(op_irKjLsMeKy(op_bF6eod5Gvf(b,b),op_EWw2JM7wp4(a,a)),op_k2B77S3vSv(op_DbCuESL50I(b)))
    return count


a⋌b = { (((41⇢b)⪢⨴)∌↝((b↨⪍≴a)⊝⪿⪼(b⫯⪬∳b))) , if (b>=101 and (b∲⫑250)>=47) ; (((b∿⫑≎a)⨻⪊⨷(b⋳/b))⪿⇪⊩(b⊦⊿)) , else }

def op_MlMyrKhIQ5(a, b):
    if (b >= 101 and op_NrdPCfJQiM(b,250) >= 47):
        return op_9Isq31Ruls(op_UMMmb9LONo(op_GMN7JP6WpN(41,b)),op_3Oe9XWJUTD(op_DX7B1fY6P6(b,a),op_d7ASUq0ydm(b,b)))
    else:
        return op_OGWBzMv138(op_Pkwamo1tM2(op_ar1w6gUwHX(b,a),op_m612RDITqL(b,b)),op_14qkJME0vr(b))

def op_count_MlMyrKhIQ5(a, b):
    if (b >= 101 and op_NrdPCfJQiM(b,250) >= 47):
        count = op_count_GMN7JP6WpN(41,b)+op_count_UMMmb9LONo(op_GMN7JP6WpN(41,b))+op_count_DX7B1fY6P6(b,a)+op_count_d7ASUq0ydm(b,b)+op_count_3Oe9XWJUTD(op_DX7B1fY6P6(b,a),op_d7ASUq0ydm(b,b))+op_count_9Isq31Ruls(op_UMMmb9LONo(op_GMN7JP6WpN(41,b)),op_3Oe9XWJUTD(op_DX7B1fY6P6(b,a),op_d7ASUq0ydm(b,b)))+op_count_NrdPCfJQiM(b,250)
    else:
        count = op_count_ar1w6gUwHX(b,a)+op_count_m612RDITqL(b,b)+op_count_Pkwamo1tM2(op_ar1w6gUwHX(b,a),op_m612RDITqL(b,b))+op_count_14qkJME0vr(b)+op_count_OGWBzMv138(op_Pkwamo1tM2(op_ar1w6gUwHX(b,a),op_m612RDITqL(b,b)),op_14qkJME0vr(b))
    return count


↬⨕a = { (((a⨜⨶a)≖−≲)≧⫂∧((a∇⊂⋱a)≽↲≰(a↪∷a))) }

def op_pMXht5UQ7i(a):
    return op_Ph9nP6C5qx(op_IpgdDpBHsO(op_HiPekx5b7W(a,a)),op_cFVlceoRkX(op_nhYeJWJD5X(a,a),op_Api82iH42a(a,a)))

def op_count_pMXht5UQ7i(a):
    count = op_count_HiPekx5b7W(a,a)+op_count_IpgdDpBHsO(op_HiPekx5b7W(a,a))+op_count_nhYeJWJD5X(a,a)+op_count_Api82iH42a(a,a)+op_count_cFVlceoRkX(op_nhYeJWJD5X(a,a),op_Api82iH42a(a,a))+op_count_Ph9nP6C5qx(op_IpgdDpBHsO(op_HiPekx5b7W(a,a)),op_cFVlceoRkX(op_nhYeJWJD5X(a,a),op_Api82iH42a(a,a)))
    return count


a⫫≠≯b = { (((↪⨀b)⩂⊭⨚)≃((b⨓↿∉a)⩣⫁∢(b⨩≤⫤a))) }

def op_QIASkFMxnv(a, b):
    return op_YbVcJGFEVW(op_PaBHOjxk8c(op_t0cKpDWDXO(b)),op_JDUIKTTSIa(op_OWnFPqjWlR(b,a),op_neKQRQQIil(b,a)))

def op_count_QIASkFMxnv(a, b):
    count = op_count_t0cKpDWDXO(b)+op_count_PaBHOjxk8c(op_t0cKpDWDXO(b))+op_count_OWnFPqjWlR(b,a)+op_count_neKQRQQIil(b,a)+op_count_JDUIKTTSIa(op_OWnFPqjWlR(b,a),op_neKQRQQIil(b,a))+op_count_YbVcJGFEVW(op_PaBHOjxk8c(op_t0cKpDWDXO(b)),op_JDUIKTTSIa(op_OWnFPqjWlR(b,a),op_neKQRQQIil(b,a)))
    return count

JDUIKTTSIa neKQRQQIil YbVcJGFEVW t0cKpDWDXO OWnFPqjWlR PaBHOjxk8c


a⫩≂b = { (⇍(a⫯⪬∳b)) , if a<662 ; ((62⫭)≽⇕) , else }

def op_jEurynZy6l(a, b):
    if a < 662:
        return op_H9jWZL1q0V(op_d7ASUq0ydm(a,b))
    else:
        return op_SgAxmdLNEA(op_t4WUHVGj7f(62))

def op_count_jEurynZy6l(a, b):
    if a < 662:
        count = op_count_d7ASUq0ydm(a,b)+op_count_H9jWZL1q0V(op_d7ASUq0ydm(a,b))
    else:
        count = op_count_t4WUHVGj7f(62)+op_count_SgAxmdLNEA(op_t4WUHVGj7f(62))
    return count


def op_lgf6B8eM2m(a, b):
    return op_tnyRA5sazQ(op_GMN7JP6WpN(op_wisItNeSwq(a),op_KbjG8mgYpV(b,b)),b)

def op_count_lgf6B8eM2m(a, b):
    count = op_count_wisItNeSwq(a)+op_count_KbjG8mgYpV(b,b)+op_count_GMN7JP6WpN(op_wisItNeSwq(a),op_KbjG8mgYpV(b,b))+op_count_tnyRA5sazQ(op_GMN7JP6WpN(op_wisItNeSwq(a),op_KbjG8mgYpV(b,b)),b)
    return count


def op_Qqyumcscty(a, b):
    return op_nCS4ZIUYfx(op_umQnsF7QlU(b,b),op_cwbF3JtlMN(b,a))

def op_count_Qqyumcscty(a, b):
    count = op_count_umQnsF7QlU(b,b)+op_count_cwbF3JtlMN(b,a)+op_count_nCS4ZIUYfx(op_umQnsF7QlU(b,b),op_cwbF3JtlMN(b,a))
    return count


a⊞b = { ((⪁⇼a)⪖⪡(b⪨b)) , if b<=171 ; ((b↜⊷79)⨰↻⪇b) , else }

def op_15v7IodGk2(a, b):
    if b <= 171:
        return op_7PjNe5qSIJ(op_ZNVVrZ94lY(a),op_2z8nE7LpCu(b,b))
    else:
        return op_nbuSfrB4hB(op_irKjLsMeKy(b,79),b)

def op_count_15v7IodGk2(a, b):
    if b <= 171:
        count = op_count_ZNVVrZ94lY(a)+op_count_2z8nE7LpCu(b,b)+op_count_7PjNe5qSIJ(op_ZNVVrZ94lY(a),op_2z8nE7LpCu(b,b))
    else:
        count = op_count_irKjLsMeKy(b,79)+op_count_nbuSfrB4hB(op_irKjLsMeKy(b,79),b)
    return count


⩸⩅a = { ((a⫁⪎a)⊭↱(a∙∹∝a)) , if a>357 ; ((a⨬⫳)∄a) , else }

def op_TyK7VG2XGl(a):
    if a > 357:
        return op_COABgblf1C(op_xRrnTEsQ6j(a,a),op_HmxsFra2vL(a,a))
    else:
        return op_tnyRA5sazQ(op_kc7iqVBlRY(a),a)

def op_count_TyK7VG2XGl(a):
    if a > 357:
        count = op_count_xRrnTEsQ6j(a,a)+op_count_HmxsFra2vL(a,a)+op_count_COABgblf1C(op_xRrnTEsQ6j(a,a),op_HmxsFra2vL(a,a))
    else:
        count = op_count_kc7iqVBlRY(a)+op_count_tnyRA5sazQ(op_kc7iqVBlRY(a),a)
    return count


def op_lwcqQKGyO3(a):
    return op_C6VvDP6HwP(op_L05ObWFQCd(op_KPf6cnQVty(876,a),op_KfMCrRzQhT(a)))

def op_count_lwcqQKGyO3(a):
    count = op_count_KPf6cnQVty(876,a)+op_count_KfMCrRzQhT(a)+op_count_L05ObWFQCd(op_KPf6cnQVty(876,a),op_KfMCrRzQhT(a))+op_count_C6VvDP6HwP(op_L05ObWFQCd(op_KPf6cnQVty(876,a),op_KfMCrRzQhT(a)))
    return count


def op_axc1V5vpv7(a):
    return op_nbuSfrB4hB(op_SgAxmdLNEA(109),op_uOZ1tnYMDE(a))

def op_count_axc1V5vpv7(a):
    count = op_count_SgAxmdLNEA(109)+op_count_uOZ1tnYMDE(a)+op_count_nbuSfrB4hB(op_SgAxmdLNEA(109),op_uOZ1tnYMDE(a))
    return count


def op_sfbOBpSN9p(a, b):
    return op_KFSx94NKJn(op_WR6HLWljOP(op_xRrnTEsQ6j(b,b),op_mhIhit33mg(411)),op_W4YGzv6Whe(260,op_wsXFuL0hC6(55,a)))

def op_count_sfbOBpSN9p(a, b):
    count = op_count_xRrnTEsQ6j(b,b)+op_count_mhIhit33mg(411)+op_count_WR6HLWljOP(op_xRrnTEsQ6j(b,b),op_mhIhit33mg(411))+op_count_wsXFuL0hC6(55,a)+op_count_W4YGzv6Whe(260,op_wsXFuL0hC6(55,a))+op_count_KFSx94NKJn(op_WR6HLWljOP(op_xRrnTEsQ6j(b,b),op_mhIhit33mg(411)),op_W4YGzv6Whe(260,op_wsXFuL0hC6(55,a)))
    return count


a⋩⪊⫪b = { (a⩒⫫b) , if (a⊇≀≁)>73 ; (b⫸a) , else }

def op_jgzsi2wuu5(a, b):
    if op_AfoL3wC8aT(a) > 73:
        return op_KFSx94NKJn(a,b)
    else:
        return op_Qaz2MhZaG5(b,a)

def op_count_jgzsi2wuu5(a, b):
    if op_AfoL3wC8aT(a) > 73:
        count = op_count_KFSx94NKJn(a,b)+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_Qaz2MhZaG5(b,a)
    return count


def op_56lx0jOM0n(a):
    return op_3tVxb0NHM4(op_qy3n0tapmE(op_PPChnnnBFF(a,91),op_neKQRQQIil(a,478)),op_YSKBFp38Pu(op_nbuSfrB4hB(a,a),op_tnyRA5sazQ(a,a)))

def op_count_56lx0jOM0n(a):
    count = op_count_PPChnnnBFF(a,91)+op_count_neKQRQQIil(a,478)+op_count_qy3n0tapmE(op_PPChnnnBFF(a,91),op_neKQRQQIil(a,478))+op_count_nbuSfrB4hB(a,a)+op_count_tnyRA5sazQ(a,a)+op_count_YSKBFp38Pu(op_nbuSfrB4hB(a,a),op_tnyRA5sazQ(a,a))+op_count_3tVxb0NHM4(op_qy3n0tapmE(op_PPChnnnBFF(a,91),op_neKQRQQIil(a,478)),op_YSKBFp38Pu(op_nbuSfrB4hB(a,a),op_tnyRA5sazQ(a,a)))
    return count


def op_5c10mcanly(a):
    if a >= 98:
        return op_UggxBX659n(op_nbuSfrB4hB(13,op_840vADziXz(540)),op_6iafYuwGo8(op_FPxP5Y1j0W(53,a),op_hYjFJ8q04Z(a)))
    else:
        return op_k7HXdKtiEU(op_EWw2JM7wp4(op_2Wsdkap16l(488,61),op_AdZkA7nFnk(a,a)))

def op_count_5c10mcanly(a):
    if a >= 98:
        count = op_count_840vADziXz(540)+op_count_nbuSfrB4hB(13,op_840vADziXz(540))+op_count_FPxP5Y1j0W(53,a)+op_count_hYjFJ8q04Z(a)+op_count_6iafYuwGo8(op_FPxP5Y1j0W(53,a),op_hYjFJ8q04Z(a))+op_count_UggxBX659n(op_nbuSfrB4hB(13,op_840vADziXz(540)),op_6iafYuwGo8(op_FPxP5Y1j0W(53,a),op_hYjFJ8q04Z(a)))
    else:
        count = op_count_2Wsdkap16l(488,61)+op_count_AdZkA7nFnk(a,a)+op_count_EWw2JM7wp4(op_2Wsdkap16l(488,61),op_AdZkA7nFnk(a,a))+op_count_k7HXdKtiEU(op_EWw2JM7wp4(op_2Wsdkap16l(488,61),op_AdZkA7nFnk(a,a)))
    return count


a⊏⋾b = { (((a⊭↱b)≏⨯⊱(66∠↢a))⊋≦⊧(≛(a⫰⋱b))) }

def op_wtqezVTTBR(a, b):
    return op_oRDoc9rAEX(op_UqUOXUQnbU(op_COABgblf1C(a,b),op_KbjG8mgYpV(66,a)),op_W7eaUhjymW(op_6o9Blt3TJ6(a,b)))

def op_count_wtqezVTTBR(a, b):
    count = op_count_COABgblf1C(a,b)+op_count_KbjG8mgYpV(66,a)+op_count_UqUOXUQnbU(op_COABgblf1C(a,b),op_KbjG8mgYpV(66,a))+op_count_6o9Blt3TJ6(a,b)+op_count_W7eaUhjymW(op_6o9Blt3TJ6(a,b))+op_count_oRDoc9rAEX(op_UqUOXUQnbU(op_COABgblf1C(a,b),op_KbjG8mgYpV(66,a)),op_W7eaUhjymW(op_6o9Blt3TJ6(a,b)))
    return count


def op_wsWwCLcwiy(a):
    return op_4JGOJzXMq1(op_2DQ55sFlQl(op_6iOiAJX1F8(a),op_UoVew8f2p2(a,a)),op_LmY23Q1aIi(op_8HCJqvcFkE(a)))

def op_count_wsWwCLcwiy(a):
    count = op_count_6iOiAJX1F8(a)+op_count_UoVew8f2p2(a,a)+op_count_2DQ55sFlQl(op_6iOiAJX1F8(a),op_UoVew8f2p2(a,a))+op_count_8HCJqvcFkE(a)+op_count_LmY23Q1aIi(op_8HCJqvcFkE(a))+op_count_4JGOJzXMq1(op_2DQ55sFlQl(op_6iOiAJX1F8(a),op_UoVew8f2p2(a,a)),op_LmY23Q1aIi(op_8HCJqvcFkE(a)))
    return count


def op_K0mu7Q7qQx(a):
    return op_12rbrZMWeM(op_UoVew8f2p2(op_tnyRA5sazQ(a,a),op_irKjLsMeKy(440,618)),op_KYL1uVeVpb(a,57))

def op_count_K0mu7Q7qQx(a):
    count = op_count_tnyRA5sazQ(a,a)+op_count_irKjLsMeKy(440,618)+op_count_UoVew8f2p2(op_tnyRA5sazQ(a,a),op_irKjLsMeKy(440,618))+op_count_KYL1uVeVpb(a,57)+op_count_12rbrZMWeM(op_UoVew8f2p2(op_tnyRA5sazQ(a,a),op_irKjLsMeKy(440,618)),op_KYL1uVeVpb(a,57))
    return count


def op_GFoQfhDY1T(a):
    return op_DmTXOeWf9t(a,a)

def op_count_GFoQfhDY1T(a):
    count = op_count_DmTXOeWf9t(a,a)
    return count


def op_FDsNTCeS4T(a, b):
    if op_w2P8NbNXyL(b,396) != 8:
        return op_QvoQhV0rrE(op_eaFBhJ0Uku(op_JDUIKTTSIa(a,b),op_2M7SKlOzyM(a,374)),op_UggxBX659n(op_0kmYd0q39Y(b,457),op_S3tN1ZzpSt(b,a)))
    else:
        return op_t8gj7n24qd(op_IxJHfR5psi(op_tnyRA5sazQ(a,356),op_SPuZE40Ntn(a,a)))

def op_count_FDsNTCeS4T(a, b):
    if op_w2P8NbNXyL(b,396) != 8:
        count = op_count_JDUIKTTSIa(a,b)+op_count_2M7SKlOzyM(a,374)+op_count_eaFBhJ0Uku(op_JDUIKTTSIa(a,b),op_2M7SKlOzyM(a,374))+op_count_0kmYd0q39Y(b,457)+op_count_S3tN1ZzpSt(b,a)+op_count_UggxBX659n(op_0kmYd0q39Y(b,457),op_S3tN1ZzpSt(b,a))+op_count_QvoQhV0rrE(op_eaFBhJ0Uku(op_JDUIKTTSIa(a,b),op_2M7SKlOzyM(a,374)),op_UggxBX659n(op_0kmYd0q39Y(b,457),op_S3tN1ZzpSt(b,a)))+op_count_w2P8NbNXyL(b,396)
    else:
        count = op_count_tnyRA5sazQ(a,356)+op_count_SPuZE40Ntn(a,a)+op_count_IxJHfR5psi(op_tnyRA5sazQ(a,356),op_SPuZE40Ntn(a,a))+op_count_t8gj7n24qd(op_IxJHfR5psi(op_tnyRA5sazQ(a,356),op_SPuZE40Ntn(a,a)))
    return count


≷⇢a = { ((⫦≽⪐(a⩣⊵⩗a))⨧↗⨷((317⊭42)⫯⪬∳(a⇤a))) }

def op_lKdxb91DUa(a):
    return op_WSbXXWOizJ(op_fjqJgF5yyp(op_wsXFuL0hC6(a,a)),op_d7ASUq0ydm(op_4JGOJzXMq1(317,42),op_YSKBFp38Pu(a,a)))

def op_count_lKdxb91DUa(a):
    count = op_count_wsXFuL0hC6(a,a)+op_count_fjqJgF5yyp(op_wsXFuL0hC6(a,a))+op_count_4JGOJzXMq1(317,42)+op_count_YSKBFp38Pu(a,a)+op_count_d7ASUq0ydm(op_4JGOJzXMq1(317,42),op_YSKBFp38Pu(a,a))+op_count_WSbXXWOizJ(op_fjqJgF5yyp(op_wsXFuL0hC6(a,a)),op_d7ASUq0ydm(op_4JGOJzXMq1(317,42),op_YSKBFp38Pu(a,a)))
    return count


a⇋↽⋤b = { (b⪒(a⋐≟⩺b)) , if b>217 or b>=594 ; (⫌⊑↬(b∙∹∝b)) , else }

def op_3K1YInASmv(a, b):
    if b > 217 or b >= 594:
        return op_f6k1SAg4EE(b,op_PjbVkMzmXE(a,b))
    else:
        return op_h57jOAbG9W(op_HmxsFra2vL(b,b))

def op_count_3K1YInASmv(a, b):
    if b > 217 or b >= 594:
        count = op_count_PjbVkMzmXE(a,b)+op_count_f6k1SAg4EE(b,op_PjbVkMzmXE(a,b))
    else:
        count = op_count_HmxsFra2vL(b,b)+op_count_h57jOAbG9W(op_HmxsFra2vL(b,b))
    return count


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

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


⊔⇓⊰a = { (((a⫸a)⨩≤⫤(a⋢a))⊢≏≾((a⋆⊨a)⋎(a⪅))) }

def op_0SxihQbDK0(a):
    return op_qxqspddX8k(op_neKQRQQIil(op_Qaz2MhZaG5(a,a),op_NdELin8EPX(a,a)),op_qy3n0tapmE(op_uTBsSls0VN(a,a),op_FB83X2dByY(a)))

def op_count_0SxihQbDK0(a):
    count = op_count_Qaz2MhZaG5(a,a)+op_count_NdELin8EPX(a,a)+op_count_neKQRQQIil(op_Qaz2MhZaG5(a,a),op_NdELin8EPX(a,a))+op_count_uTBsSls0VN(a,a)+op_count_FB83X2dByY(a)+op_count_qy3n0tapmE(op_uTBsSls0VN(a,a),op_FB83X2dByY(a))+op_count_qxqspddX8k(op_neKQRQQIil(op_Qaz2MhZaG5(a,a),op_NdELin8EPX(a,a)),op_qy3n0tapmE(op_uTBsSls0VN(a,a),op_FB83X2dByY(a)))
    return count


a⊞⨨ = { (((⨑⩽⪐a)∺≝⩲(a⩚))∼⇢a) , if (a⊇≀≁)!=118 ; (⪷∈↠((34⇤a)⊨(a⪨a))) , else }

def op_YxhMJt5neZ(a):
    if op_AfoL3wC8aT(a) != 118:
        return op_Cr5xnr8B4B(op_KPf6cnQVty(op_AF7qkfDlqP(a),op_i3MWstRFMQ(a)),a)
    else:
        return op_Kn0TacbtGK(op_vg4gO5BX6G(op_YSKBFp38Pu(34,a),op_2z8nE7LpCu(a,a)))

def op_count_YxhMJt5neZ(a):
    if op_AfoL3wC8aT(a) != 118:
        count = op_count_AF7qkfDlqP(a)+op_count_i3MWstRFMQ(a)+op_count_KPf6cnQVty(op_AF7qkfDlqP(a),op_i3MWstRFMQ(a))+op_count_Cr5xnr8B4B(op_KPf6cnQVty(op_AF7qkfDlqP(a),op_i3MWstRFMQ(a)),a)+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_YSKBFp38Pu(34,a)+op_count_2z8nE7LpCu(a,a)+op_count_vg4gO5BX6G(op_YSKBFp38Pu(34,a),op_2z8nE7LpCu(a,a))+op_count_Kn0TacbtGK(op_vg4gO5BX6G(op_YSKBFp38Pu(34,a),op_2z8nE7LpCu(a,a)))
    return count


def op_RisKg0Fd7C(a):
    return op_1aApVXNlOP(a,a)

def op_count_RisKg0Fd7C(a):
    count = op_count_1aApVXNlOP(a,a)
    return count


def op_MYJn2Et8J9(a):
    return op_uysxUYN2L2(op_E4l6HwMY31(a,a),op_Bmrmz2XGnR(a,a))

def op_count_MYJn2Et8J9(a):
    count = op_count_E4l6HwMY31(a,a)+op_count_Bmrmz2XGnR(a,a)+op_count_uysxUYN2L2(op_E4l6HwMY31(a,a),op_Bmrmz2XGnR(a,a))
    return count


def op_kLY3JQ2IaI(a):
    if (a == 617 or op_86A5ENbKR9(a) <= 314):
        return op_W2rMsuCzF8(op_Z5m6OM72h2(op_HiPekx5b7W(a,a),op_ObEyaaML9x(323,a)))
    else:
        return op_PxiHyQbrIp(op_MmTdOpaElr(op_tnyRA5sazQ(a,155)))

def op_count_kLY3JQ2IaI(a):
    if (a == 617 or op_86A5ENbKR9(a) <= 314):
        count = op_count_HiPekx5b7W(a,a)+op_count_ObEyaaML9x(323,a)+op_count_Z5m6OM72h2(op_HiPekx5b7W(a,a),op_ObEyaaML9x(323,a))+op_count_W2rMsuCzF8(op_Z5m6OM72h2(op_HiPekx5b7W(a,a),op_ObEyaaML9x(323,a)))+op_count_86A5ENbKR9(a)
    else:
        count = op_count_tnyRA5sazQ(a,155)+op_count_MmTdOpaElr(op_tnyRA5sazQ(a,155))+op_count_PxiHyQbrIp(op_MmTdOpaElr(op_tnyRA5sazQ(a,155)))
    return count


a≮⩿b = { (((a↢b)⫌⩹⨱)⇢(⫎≠⋺643)) , if (a≋⊢≽)==126 or b!=21 ; (((b⫚↹⊑a)⨊⨠)↨⪍≴((b⨧↗⨷b)↫)) , else }

def op_UlPEfdckiB(a, b):
    if op_Lhk0YGb717(a) == 126 or b != 21:
        return op_GMN7JP6WpN(op_EBcxylXtPf(op_WR6HLWljOP(a,b)),op_LYeZOJ0nQG(643))
    else:
        return op_DX7B1fY6P6(op_qU6oQAhJaQ(op_dfKe02y8D2(b,a)),op_uPb5QRN0te(op_WSbXXWOizJ(b,b)))

def op_count_UlPEfdckiB(a, b):
    if op_Lhk0YGb717(a) == 126 or b != 21:
        count = op_count_WR6HLWljOP(a,b)+op_count_EBcxylXtPf(op_WR6HLWljOP(a,b))+op_count_LYeZOJ0nQG(643)+op_count_GMN7JP6WpN(op_EBcxylXtPf(op_WR6HLWljOP(a,b)),op_LYeZOJ0nQG(643))+op_count_Lhk0YGb717(a)
    else:
        count = op_count_dfKe02y8D2(b,a)+op_count_qU6oQAhJaQ(op_dfKe02y8D2(b,a))+op_count_WSbXXWOizJ(b,b)+op_count_uPb5QRN0te(op_WSbXXWOizJ(b,b))+op_count_DX7B1fY6P6(op_qU6oQAhJaQ(op_dfKe02y8D2(b,a)),op_uPb5QRN0te(op_WSbXXWOizJ(b,b)))
    return count


⊼≨a = { (⨞⊢((a⩧⪆a)⫇⋯(a⊜))) , if (a>42 and (⋸⪍a)>=36) ; (((a≏⨯⊱a)⋳⪒a)⋝⋈⪟((a⫗⊒⇾a)≬⋮(↸⊣a))) , else }

def op_SQxhFGQGJk(a):
    if (a > 42 and op_PrwIXj9ZQe(a) >= 36):
        return op_xUOZtlo3hN(op_xoJmIySC7h(op_Ikt5ks8PT7(a,a),op_Eev2Q7dYIw(a)))
    else:
        return op_2DDjHMKMc0(op_12rbrZMWeM(op_UqUOXUQnbU(a,a),a),op_kbkesczE7y(op_hiBDRd40bf(a,a),op_wztAlM01eG(a)))

def op_count_SQxhFGQGJk(a):
    if (a > 42 and op_PrwIXj9ZQe(a) >= 36):
        count = op_count_Ikt5ks8PT7(a,a)+op_count_Eev2Q7dYIw(a)+op_count_xoJmIySC7h(op_Ikt5ks8PT7(a,a),op_Eev2Q7dYIw(a))+op_count_xUOZtlo3hN(op_xoJmIySC7h(op_Ikt5ks8PT7(a,a),op_Eev2Q7dYIw(a)))+op_count_PrwIXj9ZQe(a)
    else:
        count = op_count_UqUOXUQnbU(a,a)+op_count_12rbrZMWeM(op_UqUOXUQnbU(a,a),a)+op_count_hiBDRd40bf(a,a)+op_count_wztAlM01eG(a)+op_count_kbkesczE7y(op_hiBDRd40bf(a,a),op_wztAlM01eG(a))+op_count_2DDjHMKMc0(op_12rbrZMWeM(op_UqUOXUQnbU(a,a),a),op_kbkesczE7y(op_hiBDRd40bf(a,a),op_wztAlM01eG(a)))
    return count


def op_OpJCONtg6Y(a):
    if a > 201:
        return op_irKjLsMeKy(op_b1mGkbI4Oy(op_irKjLsMeKy(a,a),op_rPNtK4BLRO(a,117)),op_8TQKPGA8Ba(op_2Wsdkap16l(a,a)))
    else:
        return op_tifHPKVTfV(op_xSk1F0pZbF(op_B3sABdIn96(11),op_Ikt5ks8PT7(a,a)),223)

def op_count_OpJCONtg6Y(a):
    if a > 201:
        count = op_count_irKjLsMeKy(a,a)+op_count_rPNtK4BLRO(a,117)+op_count_b1mGkbI4Oy(op_irKjLsMeKy(a,a),op_rPNtK4BLRO(a,117))+op_count_2Wsdkap16l(a,a)+op_count_8TQKPGA8Ba(op_2Wsdkap16l(a,a))+op_count_irKjLsMeKy(op_b1mGkbI4Oy(op_irKjLsMeKy(a,a),op_rPNtK4BLRO(a,117)),op_8TQKPGA8Ba(op_2Wsdkap16l(a,a)))
    else:
        count = op_count_B3sABdIn96(11)+op_count_Ikt5ks8PT7(a,a)+op_count_xSk1F0pZbF(op_B3sABdIn96(11),op_Ikt5ks8PT7(a,a))+op_count_tifHPKVTfV(op_xSk1F0pZbF(op_B3sABdIn96(11),op_Ikt5ks8PT7(a,a)),223)
    return count


def op_zh7cGjfbCb(a, b):
    return op_umQnsF7QlU(op_5JYyxRJd4f(a),op_YC3tgrnOyr(b,a))

def op_count_zh7cGjfbCb(a, b):
    count = op_count_5JYyxRJd4f(a)+op_count_YC3tgrnOyr(b,a)+op_count_umQnsF7QlU(op_5JYyxRJd4f(a),op_YC3tgrnOyr(b,a))
    return count


a≶⩊⋊b = { ((b≼(⊤b))⨵⪆((a⫋)⪱⇝(∦a))) , if a<=619 ; (((a⇩)⊹≧⊝)⪨≂((b≏⨯⊱b)⫍⨯↯)) , else }

def op_sFi0oIX7gK(a, b):
    if a <= 619:
        return op_2DQ55sFlQl(op_SPuZE40Ntn(b,op_oDvtRyfmAM(b)),op_OTRTVPweYV(op_mhIhit33mg(a),op_ew17WAA8t6(a)))
    else:
        return op_sdazOOVcIp(op_LxFB4K6j0n(op_vRio1gEz1j(a)),op_ZcwmYACASQ(op_UqUOXUQnbU(b,b)))

def op_count_sFi0oIX7gK(a, b):
    if a <= 619:
        count = op_count_oDvtRyfmAM(b)+op_count_SPuZE40Ntn(b,op_oDvtRyfmAM(b))+op_count_mhIhit33mg(a)+op_count_ew17WAA8t6(a)+op_count_OTRTVPweYV(op_mhIhit33mg(a),op_ew17WAA8t6(a))+op_count_2DQ55sFlQl(op_SPuZE40Ntn(b,op_oDvtRyfmAM(b)),op_OTRTVPweYV(op_mhIhit33mg(a),op_ew17WAA8t6(a)))
    else:
        count = op_count_vRio1gEz1j(a)+op_count_LxFB4K6j0n(op_vRio1gEz1j(a))+op_count_UqUOXUQnbU(b,b)+op_count_ZcwmYACASQ(op_UqUOXUQnbU(b,b))+op_count_sdazOOVcIp(op_LxFB4K6j0n(op_vRio1gEz1j(a)),op_ZcwmYACASQ(op_UqUOXUQnbU(b,b)))
    return count