a⪴⫼b = { (((b⊱⇼⊻b)-∠(49⪇≇⋚321))⨓↿∉(⪀≱(a↨⪍≴b))) , if b>=500 ; (((∑⇻≧a)≽↲≰(b∑a))⪎↠(⫌⊑↬(a⩦a))) , else }

def op_1ceZExPqB0(a, b):
    if b >= 500:
        return op_OWnFPqjWlR(op_s0IfDFCCuZ(op_FyVja0WsTP(b,b),op_3sJ7IOPOlU(49,321)),op_tDVI6bDdAd(op_DX7B1fY6P6(a,b)))
    else:
        return op_3tVxb0NHM4(op_cFVlceoRkX(op_l1M9WJ3V7u(a),op_JFrVJKYFMX(b,a)),op_h57jOAbG9W(op_0kmYd0q39Y(a,a)))

def op_count_1ceZExPqB0(a, b):
    if b >= 500:
        count = op_count_FyVja0WsTP(b,b)+op_count_3sJ7IOPOlU(49,321)+op_count_s0IfDFCCuZ(op_FyVja0WsTP(b,b),op_3sJ7IOPOlU(49,321))+op_count_DX7B1fY6P6(a,b)+op_count_tDVI6bDdAd(op_DX7B1fY6P6(a,b))+op_count_OWnFPqjWlR(op_s0IfDFCCuZ(op_FyVja0WsTP(b,b),op_3sJ7IOPOlU(49,321)),op_tDVI6bDdAd(op_DX7B1fY6P6(a,b)))
    else:
        count = op_count_l1M9WJ3V7u(a)+op_count_JFrVJKYFMX(b,a)+op_count_cFVlceoRkX(op_l1M9WJ3V7u(a),op_JFrVJKYFMX(b,a))+op_count_0kmYd0q39Y(a,a)+op_count_h57jOAbG9W(op_0kmYd0q39Y(a,a))+op_count_3tVxb0NHM4(op_cFVlceoRkX(op_l1M9WJ3V7u(a),op_JFrVJKYFMX(b,a)),op_h57jOAbG9W(op_0kmYd0q39Y(a,a)))
    return count


def op_E331xP7I43(a, b):
    return op_YjI8oCXuph(op_eRqsBgTDFp(op_S5ZFQS4GK3(a,b),op_7PjNe5qSIJ(a,a)))

def op_count_E331xP7I43(a, b):
    count = op_count_S5ZFQS4GK3(a,b)+op_count_7PjNe5qSIJ(a,a)+op_count_eRqsBgTDFp(op_S5ZFQS4GK3(a,b),op_7PjNe5qSIJ(a,a))+op_count_YjI8oCXuph(op_eRqsBgTDFp(op_S5ZFQS4GK3(a,b),op_7PjNe5qSIJ(a,a)))
    return count


def op_G1Qmf3Dwhp(a):
    return op_fOIeswaMU4(op_IwW236VD4Y(op_oDvtRyfmAM(a),op_PPChnnnBFF(a,214)))

def op_count_G1Qmf3Dwhp(a):
    count = op_count_oDvtRyfmAM(a)+op_count_PPChnnnBFF(a,214)+op_count_IwW236VD4Y(op_oDvtRyfmAM(a),op_PPChnnnBFF(a,214))+op_count_fOIeswaMU4(op_IwW236VD4Y(op_oDvtRyfmAM(a),op_PPChnnnBFF(a,214)))
    return count


a∳⩒⨭ = { (a⩉⊫⨁) , if (a≎⋽⪿)!=296 ; (a↜⊷a) , else }

def op_AnY7RRqJK6(a):
    if op_Mp74FtG4yY(a) != 296:
        return op_7qqUquhhSb(a)
    else:
        return op_irKjLsMeKy(a,a)

def op_count_AnY7RRqJK6(a):
    if op_Mp74FtG4yY(a) != 296:
        count = op_count_7qqUquhhSb(a)+op_count_Mp74FtG4yY(a)
    else:
        count = op_count_irKjLsMeKy(a,a)
    return count


def op_BAcS0MM3M2(a):
    return op_OKKcZfAt5B(123,a)

def op_count_BAcS0MM3M2(a):
    count = op_count_OKKcZfAt5B(123,a)
    return count


a≀⋧b = { ((a⪱⇝b)⩰⨪↦) , if a>=202 ; ((b⇄b)≚⊃≕(⫭≬a)) , else }

def op_RLgQDWzcJN(a, b):
    if a >= 202:
        return op_fLfyAuxYJD(op_OTRTVPweYV(a,b))
    else:
        return op_Bmrmz2XGnR(op_3EYGwJThht(b,b),op_S7Dkc5Re0B(a))

def op_count_RLgQDWzcJN(a, b):
    if a >= 202:
        count = op_count_OTRTVPweYV(a,b)+op_count_fLfyAuxYJD(op_OTRTVPweYV(a,b))
    else:
        count = op_count_3EYGwJThht(b,b)+op_count_S7Dkc5Re0B(a)+op_count_Bmrmz2XGnR(op_3EYGwJThht(b,b),op_S7Dkc5Re0B(a))
    return count


def op_AWU58WIKBx(a):
    return op_k7HXdKtiEU(op_glklzrTFfD(op_wEfv7U73WA(a)))

def op_count_AWU58WIKBx(a):
    count = op_count_wEfv7U73WA(a)+op_count_glklzrTFfD(op_wEfv7U73WA(a))+op_count_k7HXdKtiEU(op_glklzrTFfD(op_wEfv7U73WA(a)))
    return count


def op_fBv0GnY1At(a, b):
    return op_rIsGeVJWJF(op_t8gj7n24qd(op_L05ObWFQCd(b,a)))

def op_count_fBv0GnY1At(a, b):
    count = op_count_L05ObWFQCd(b,a)+op_count_t8gj7n24qd(op_L05ObWFQCd(b,a))+op_count_rIsGeVJWJF(op_t8gj7n24qd(op_L05ObWFQCd(b,a)))
    return count


def op_Lcu9TIsOQz(a):
    return op_GMyVS5K48T(a,a)

def op_count_Lcu9TIsOQz(a):
    count = op_count_GMyVS5K48T(a,a)
    return count


a⪸⫢⋭ = { (((a⊒a)∠⫱(a⨓↿∉a))∀⩎⋷((a⫇⋯a)⨐(a⨜⨶a))) , if (a⊨235)==246 and a<198 and (a≬⋮550)==336 ; (≿⇫((411⪚⨁⋖a)⪲⨢(a⊋≦⊧a))) , else }

def op_fTN8FyfkXr(a):
    if op_vg4gO5BX6G(a,235) == 246 and a < 198 and op_kbkesczE7y(a,550) == 336:
        return op_FPxP5Y1j0W(op_QvoQhV0rrE(op_rPNtK4BLRO(a,a),op_OWnFPqjWlR(a,a)),op_Noe24qw2ks(op_xoJmIySC7h(a,a),op_HiPekx5b7W(a,a)))
    else:
        return op_3A1e9zoj8h(op_6iafYuwGo8(op_xSk1F0pZbF(411,a),op_oRDoc9rAEX(a,a)))

def op_count_fTN8FyfkXr(a):
    if op_vg4gO5BX6G(a,235) == 246 and a < 198 and op_kbkesczE7y(a,550) == 336:
        count = op_count_rPNtK4BLRO(a,a)+op_count_OWnFPqjWlR(a,a)+op_count_QvoQhV0rrE(op_rPNtK4BLRO(a,a),op_OWnFPqjWlR(a,a))+op_count_xoJmIySC7h(a,a)+op_count_HiPekx5b7W(a,a)+op_count_Noe24qw2ks(op_xoJmIySC7h(a,a),op_HiPekx5b7W(a,a))+op_count_FPxP5Y1j0W(op_QvoQhV0rrE(op_rPNtK4BLRO(a,a),op_OWnFPqjWlR(a,a)),op_Noe24qw2ks(op_xoJmIySC7h(a,a),op_HiPekx5b7W(a,a)))+op_count_vg4gO5BX6G(a,235)+op_count_kbkesczE7y(a,550)
    else:
        count = op_count_xSk1F0pZbF(411,a)+op_count_oRDoc9rAEX(a,a)+op_count_6iafYuwGo8(op_xSk1F0pZbF(411,a),op_oRDoc9rAEX(a,a))+op_count_3A1e9zoj8h(op_6iafYuwGo8(op_xSk1F0pZbF(411,a),op_oRDoc9rAEX(a,a)))
    return count


def op_06kynYd13h(a):
    return op_FPxP5Y1j0W(a,a)

def op_count_06kynYd13h(a):
    count = op_count_FPxP5Y1j0W(a,a)
    return count


def op_PMp644FDJe(a):
    return op_s0IfDFCCuZ(a,a)

def op_count_PMp644FDJe(a):
    count = op_count_s0IfDFCCuZ(a,a)
    return count


a⩸ = { (a→⨶⪴((a⫁⪎a)⨻⪊⨷(a⪐-a))) , if ((a⊔485)<=6 and a==297) ; (((a⩽⩡a)⇼⇔∾a)⊹≧⊝) , else }

def op_bfl9GMyEz9(a):
    if (op_E4l6HwMY31(a,485) <= 6 and a == 297):
        return op_bF6eod5Gvf(a,op_Pkwamo1tM2(op_xRrnTEsQ6j(a,a),op_d8xe6WWVfM(a,a)))
    else:
        return op_LxFB4K6j0n(op_tifHPKVTfV(op_zFNL8mZEFB(a,a),a))

def op_count_bfl9GMyEz9(a):
    if (op_E4l6HwMY31(a,485) <= 6 and a == 297):
        count = op_count_xRrnTEsQ6j(a,a)+op_count_d8xe6WWVfM(a,a)+op_count_Pkwamo1tM2(op_xRrnTEsQ6j(a,a),op_d8xe6WWVfM(a,a))+op_count_bF6eod5Gvf(a,op_Pkwamo1tM2(op_xRrnTEsQ6j(a,a),op_d8xe6WWVfM(a,a)))+op_count_E4l6HwMY31(a,485)
    else:
        count = op_count_zFNL8mZEFB(a,a)+op_count_tifHPKVTfV(op_zFNL8mZEFB(a,a),a)+op_count_LxFB4K6j0n(op_tifHPKVTfV(op_zFNL8mZEFB(a,a),a))
    return count


def op_z4idyk376g(a):
    if op_C6VvDP6HwP(a) != 255:
        return op_hrf7POJlIJ(a,287)
    else:
        return op_qAljGMXEZr(359)

def op_count_z4idyk376g(a):
    if op_C6VvDP6HwP(a) != 255:
        count = op_count_hrf7POJlIJ(a,287)+op_count_C6VvDP6HwP(a)
    else:
        count = op_count_qAljGMXEZr(359)
    return count


a⇹⋂⨚b = { (((a∙∹∝b)⩣⫁∢(a≭⫡a))⩌((⩻⪛b)⨬⫳)) }

def op_wGJ01FE41T(a, b):
    return op_UoVew8f2p2(op_JDUIKTTSIa(op_HmxsFra2vL(a,b),op_b1mGkbI4Oy(a,a)),op_kc7iqVBlRY(op_5RY6W0glyJ(b)))

def op_count_wGJ01FE41T(a, b):
    count = op_count_HmxsFra2vL(a,b)+op_count_b1mGkbI4Oy(a,a)+op_count_JDUIKTTSIa(op_HmxsFra2vL(a,b),op_b1mGkbI4Oy(a,a))+op_count_5RY6W0glyJ(b)+op_count_kc7iqVBlRY(op_5RY6W0glyJ(b))+op_count_UoVew8f2p2(op_JDUIKTTSIa(op_HmxsFra2vL(a,b),op_b1mGkbI4Oy(a,a)),op_kc7iqVBlRY(op_5RY6W0glyJ(b)))
    return count


a⪎⊱∷ = { ((↩⪖(a⩰⨪↦))↭↢≔) , if a>48 ; ((a⇴(a≝⊿a))⪨⊡((⊁⨺a)⫃⨇(a⇛a))) , else }

def op_l5Wb0Px5L2(a):
    if a > 48:
        return op_Q6LsZf8ZYd(op_fG6uBQFnGz(op_fLfyAuxYJD(a)))
    else:
        return op_kuIXHzHcAH(op_4JB6nKBMSY(a,op_OKKcZfAt5B(a,a)),op_09Ly4LVMIf(op_PxiHyQbrIp(a),op_S3tN1ZzpSt(a,a)))

def op_count_l5Wb0Px5L2(a):
    if a > 48:
        count = op_count_fLfyAuxYJD(a)+op_count_fG6uBQFnGz(op_fLfyAuxYJD(a))+op_count_Q6LsZf8ZYd(op_fG6uBQFnGz(op_fLfyAuxYJD(a)))
    else:
        count = op_count_OKKcZfAt5B(a,a)+op_count_4JB6nKBMSY(a,op_OKKcZfAt5B(a,a))+op_count_PxiHyQbrIp(a)+op_count_S3tN1ZzpSt(a,a)+op_count_09Ly4LVMIf(op_PxiHyQbrIp(a),op_S3tN1ZzpSt(a,a))+op_count_kuIXHzHcAH(op_4JB6nKBMSY(a,op_OKKcZfAt5B(a,a)),op_09Ly4LVMIf(op_PxiHyQbrIp(a),op_S3tN1ZzpSt(a,a)))
    return count


def op_WLkJ5f8gy9(a):
    if (op_uyq1hVkAcj(a) == 457 and op_Y5cEcQhyKu(a,421) == 81):
        return op_nREPSIbpBE(op_BAIXFdYaz3(op_HmxsFra2vL(a,a),op_YbVcJGFEVW(a,a)),op_23Mk6UjR3U(op_nFAOW8KTqp(a),op_09Ly4LVMIf(a,a)))
    else:
        return op_23Mk6UjR3U(op_rIsGeVJWJF(op_bF6eod5Gvf(a,a)),op_m612RDITqL(op_tnyRA5sazQ(a,a),op_EO7Xdgo9So(a)))

def op_count_WLkJ5f8gy9(a):
    if (op_uyq1hVkAcj(a) == 457 and op_Y5cEcQhyKu(a,421) == 81):
        count = op_count_HmxsFra2vL(a,a)+op_count_YbVcJGFEVW(a,a)+op_count_BAIXFdYaz3(op_HmxsFra2vL(a,a),op_YbVcJGFEVW(a,a))+op_count_nFAOW8KTqp(a)+op_count_09Ly4LVMIf(a,a)+op_count_23Mk6UjR3U(op_nFAOW8KTqp(a),op_09Ly4LVMIf(a,a))+op_count_nREPSIbpBE(op_BAIXFdYaz3(op_HmxsFra2vL(a,a),op_YbVcJGFEVW(a,a)),op_23Mk6UjR3U(op_nFAOW8KTqp(a),op_09Ly4LVMIf(a,a)))+op_count_uyq1hVkAcj(a)+op_count_Y5cEcQhyKu(a,421)
    else:
        count = op_count_bF6eod5Gvf(a,a)+op_count_rIsGeVJWJF(op_bF6eod5Gvf(a,a))+op_count_tnyRA5sazQ(a,a)+op_count_EO7Xdgo9So(a)+op_count_m612RDITqL(op_tnyRA5sazQ(a,a),op_EO7Xdgo9So(a))+op_count_23Mk6UjR3U(op_rIsGeVJWJF(op_bF6eod5Gvf(a,a)),op_m612RDITqL(op_tnyRA5sazQ(a,a),op_EO7Xdgo9So(a)))
    return count


⪗⪙a = { (a≣((⫭≬a)⊔%(a⊢≏≾a))) , if a>=517 ; a , else }

def op_WbQIOebi5m(a):
    if a >= 517:
        return op_ObEyaaML9x(a,op_uysxUYN2L2(op_S7Dkc5Re0B(a),op_qxqspddX8k(a,a)))
    else:
        return a

def op_count_WbQIOebi5m(a):
    if a >= 517:
        count = op_count_S7Dkc5Re0B(a)+op_count_qxqspddX8k(a,a)+op_count_uysxUYN2L2(op_S7Dkc5Re0B(a),op_qxqspddX8k(a,a))+op_count_ObEyaaML9x(a,op_uysxUYN2L2(op_S7Dkc5Re0B(a),op_qxqspddX8k(a,a)))
    else:
        count = 1
    return count


def op_XMCkeYNRmt(a):
    return op_BUOGQAYlQx(op_qazvmhNBbN(op_OKKcZfAt5B(a,a)))

def op_count_XMCkeYNRmt(a):
    count = op_count_OKKcZfAt5B(a,a)+op_count_qazvmhNBbN(op_OKKcZfAt5B(a,a))+op_count_BUOGQAYlQx(op_qazvmhNBbN(op_OKKcZfAt5B(a,a)))
    return count


def op_Pe28BJIJW3(a):
    return op_neKQRQQIil(op_d7ASUq0ydm(135,a),op_PjbVkMzmXE(a,a))

def op_count_Pe28BJIJW3(a):
    count = op_count_d7ASUq0ydm(135,a)+op_count_PjbVkMzmXE(a,a)+op_count_neKQRQQIil(op_d7ASUq0ydm(135,a),op_PjbVkMzmXE(a,a))
    return count


def op_EopCNPJDb6(a, b):
    if a >= 7:
        return op_bx9Z9DAK5y(op_0JWJYFSzIQ(op_69GgKhV9QQ(246),op_m612RDITqL(b,b)))
    else:
        return op_y4ImoPnbV5(op_MXaNJeIAZ3(op_2PILXiQIjy(b)),op_Ikt5ks8PT7(op_R3vAdrE3IH(438),op_JclMnS0uGI(a,a)))

def op_count_EopCNPJDb6(a, b):
    if a >= 7:
        count = op_count_69GgKhV9QQ(246)+op_count_m612RDITqL(b,b)+op_count_0JWJYFSzIQ(op_69GgKhV9QQ(246),op_m612RDITqL(b,b))+op_count_bx9Z9DAK5y(op_0JWJYFSzIQ(op_69GgKhV9QQ(246),op_m612RDITqL(b,b)))
    else:
        count = op_count_2PILXiQIjy(b)+op_count_MXaNJeIAZ3(op_2PILXiQIjy(b))+op_count_R3vAdrE3IH(438)+op_count_JclMnS0uGI(a,a)+op_count_Ikt5ks8PT7(op_R3vAdrE3IH(438),op_JclMnS0uGI(a,a))+op_count_y4ImoPnbV5(op_MXaNJeIAZ3(op_2PILXiQIjy(b)),op_Ikt5ks8PT7(op_R3vAdrE3IH(438),op_JclMnS0uGI(a,a)))
    return count


def op_4r9bMLtmr2(a):
    return op_ObEyaaML9x(op_COABgblf1C(11,28),op_MKpoIoBJCf(a))

def op_count_4r9bMLtmr2(a):
    count = op_count_COABgblf1C(11,28)+op_count_MKpoIoBJCf(a)+op_count_ObEyaaML9x(op_COABgblf1C(11,28),op_MKpoIoBJCf(a))
    return count


def op_YjYHulmQ3W(a):
    if op_B3sABdIn96(a) > 324:
        return op_PjbVkMzmXE(op_HiPekx5b7W(79,725),op_W2rMsuCzF8(a))
    else:
        return op_j9kHMeSvPp(op_09Ly4LVMIf(286,a),op_VCG3UHNzLR(61,a))

def op_count_YjYHulmQ3W(a):
    if op_B3sABdIn96(a) > 324:
        count = op_count_HiPekx5b7W(79,725)+op_count_W2rMsuCzF8(a)+op_count_PjbVkMzmXE(op_HiPekx5b7W(79,725),op_W2rMsuCzF8(a))+op_count_B3sABdIn96(a)
    else:
        count = op_count_09Ly4LVMIf(286,a)+op_count_VCG3UHNzLR(61,a)+op_count_j9kHMeSvPp(op_09Ly4LVMIf(286,a),op_VCG3UHNzLR(61,a))
    return count


def op_ODihFFDUGL(a, b):
    if a <= 163:
        return op_HQuZ2f4It9(op_qxqspddX8k(op_GMN7JP6WpN(459,a),op_4JB6nKBMSY(b,b)))
    else:
        return op_Y5cEcQhyKu(op_xoJmIySC7h(op_VCG3UHNzLR(b,499),op_86A5ENbKR9(a)),op_nCS4ZIUYfx(b,op_W4YGzv6Whe(7,a)))

def op_count_ODihFFDUGL(a, b):
    if a <= 163:
        count = op_count_GMN7JP6WpN(459,a)+op_count_4JB6nKBMSY(b,b)+op_count_qxqspddX8k(op_GMN7JP6WpN(459,a),op_4JB6nKBMSY(b,b))+op_count_HQuZ2f4It9(op_qxqspddX8k(op_GMN7JP6WpN(459,a),op_4JB6nKBMSY(b,b)))
    else:
        count = op_count_VCG3UHNzLR(b,499)+op_count_86A5ENbKR9(a)+op_count_xoJmIySC7h(op_VCG3UHNzLR(b,499),op_86A5ENbKR9(a))+op_count_W4YGzv6Whe(7,a)+op_count_nCS4ZIUYfx(b,op_W4YGzv6Whe(7,a))+op_count_Y5cEcQhyKu(op_xoJmIySC7h(op_VCG3UHNzLR(b,499),op_86A5ENbKR9(a)),op_nCS4ZIUYfx(b,op_W4YGzv6Whe(7,a)))
    return count


a⪊⇅b = { (⨞⫢(⋽⪳⨃(a∄a))) , if a>75 ; (((b∠⫱b)⩘⋿(517⋟⫀⨗a))⪖⪡((⫎≠⋺a)⨩≤⫤b)) , else }

def op_wwXkqyu98f(a, b):
    if a > 75:
        return op_HQuZ2f4It9(op_qAljGMXEZr(op_tnyRA5sazQ(a,a)))
    else:
        return op_7PjNe5qSIJ(op_64EQ39e0fC(op_QvoQhV0rrE(b,b),op_dAAkup5nzi(517,a)),op_neKQRQQIil(op_LYeZOJ0nQG(a),b))

def op_count_wwXkqyu98f(a, b):
    if a > 75:
        count = op_count_tnyRA5sazQ(a,a)+op_count_qAljGMXEZr(op_tnyRA5sazQ(a,a))+op_count_HQuZ2f4It9(op_qAljGMXEZr(op_tnyRA5sazQ(a,a)))
    else:
        count = op_count_QvoQhV0rrE(b,b)+op_count_dAAkup5nzi(517,a)+op_count_64EQ39e0fC(op_QvoQhV0rrE(b,b),op_dAAkup5nzi(517,a))+op_count_LYeZOJ0nQG(a)+op_count_neKQRQQIil(op_LYeZOJ0nQG(a),b)+op_count_7PjNe5qSIJ(op_64EQ39e0fC(op_QvoQhV0rrE(b,b),op_dAAkup5nzi(517,a)),op_neKQRQQIil(op_LYeZOJ0nQG(a),b))
    return count


⪗⋳a = { ((a⇤21)∅(a⊭a)) , if (a⊇≀≁)<32 ; ((a∀⩎⋷a)⩰⨪↦) , else }

def op_iz4beUB4Dk(a):
    if op_AfoL3wC8aT(a) < 32:
        return op_giaUb8UVhq(op_YSKBFp38Pu(a,21),op_4JGOJzXMq1(a,a))
    else:
        return op_fLfyAuxYJD(op_FPxP5Y1j0W(a,a))

def op_count_iz4beUB4Dk(a):
    if op_AfoL3wC8aT(a) < 32:
        count = op_count_YSKBFp38Pu(a,21)+op_count_4JGOJzXMq1(a,a)+op_count_giaUb8UVhq(op_YSKBFp38Pu(a,21),op_4JGOJzXMq1(a,a))+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_FPxP5Y1j0W(a,a)+op_count_fLfyAuxYJD(op_FPxP5Y1j0W(a,a))
    return count


def op_OKGz76xQTU(a, b):
    if (op_LmY23Q1aIi(a) >= 153 and op_j9kHMeSvPp(b,594) < 1 and b != 92):
        return op_LxFB4K6j0n(b)
    else:
        return op_JoLB3LXqXx(b,552)

def op_count_OKGz76xQTU(a, b):
    if (op_LmY23Q1aIi(a) >= 153 and op_j9kHMeSvPp(b,594) < 1 and b != 92):
        count = op_count_LxFB4K6j0n(b)+op_count_LmY23Q1aIi(a)+op_count_j9kHMeSvPp(b,594)
    else:
        count = op_count_JoLB3LXqXx(b,552)
    return count


def op_1qeADrfMNe(a):
    return op_3YWlZA9bsa(op_dAAkup5nzi(a,a),op_UggxBX659n(a,a))

def op_count_1qeADrfMNe(a):
    count = op_count_dAAkup5nzi(a,a)+op_count_UggxBX659n(a,a)+op_count_3YWlZA9bsa(op_dAAkup5nzi(a,a),op_UggxBX659n(a,a))
    return count


a≵⫬⋌b = { (↥≼⋛b) , if a>126 ; (b⋷b) , else }

def op_L00odF0NXC(a, b):
    if a > 126:
        return op_x5lMkHmzsq(b)
    else:
        return op_23Mk6UjR3U(b,b)

def op_count_L00odF0NXC(a, b):
    if a > 126:
        count = op_count_x5lMkHmzsq(b)
    else:
        count = op_count_23Mk6UjR3U(b,b)
    return count


def op_WBz61sV7d5(a, b):
    return op_2MzE1hQ0cz(op_y4ImoPnbV5(a,b))

def op_count_WBz61sV7d5(a, b):
    count = op_count_y4ImoPnbV5(a,b)+op_count_2MzE1hQ0cz(op_y4ImoPnbV5(a,b))
    return count


def op_WXdbpCQ0q7(a):
    return op_nhYeJWJD5X(op_zFNL8mZEFB(op_BAIXFdYaz3(a,a),op_OGWBzMv138(a,a)),a)

def op_count_WXdbpCQ0q7(a):
    count = op_count_BAIXFdYaz3(a,a)+op_count_OGWBzMv138(a,a)+op_count_zFNL8mZEFB(op_BAIXFdYaz3(a,a),op_OGWBzMv138(a,a))+op_count_nhYeJWJD5X(op_zFNL8mZEFB(op_BAIXFdYaz3(a,a),op_OGWBzMv138(a,a)),a)
    return count


a⨖⇷b = { (((b↪∷a)∷(141≦≮≮))∊⊞≈((a⪣⫩)⋢(a∠⫱b))) }

def op_JoVwyMeNnt(a, b):
    return op_keuJNkrrbj(op_D3AQDKkPcf(op_Api82iH42a(b,a),op_D4vGDi5EA2(141)),op_NdELin8EPX(op_iuk5sVOGFA(a),op_QvoQhV0rrE(a,b)))

def op_count_JoVwyMeNnt(a, b):
    count = op_count_Api82iH42a(b,a)+op_count_D4vGDi5EA2(141)+op_count_D3AQDKkPcf(op_Api82iH42a(b,a),op_D4vGDi5EA2(141))+op_count_iuk5sVOGFA(a)+op_count_QvoQhV0rrE(a,b)+op_count_NdELin8EPX(op_iuk5sVOGFA(a),op_QvoQhV0rrE(a,b))+op_count_keuJNkrrbj(op_D3AQDKkPcf(op_Api82iH42a(b,a),op_D4vGDi5EA2(141)),op_NdELin8EPX(op_iuk5sVOGFA(a),op_QvoQhV0rrE(a,b)))
    return count


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

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


def op_V1brnGXOUL(a, b):
    return op_o575Zjdmzy(op_KFSx94NKJn(b,a))

def op_count_V1brnGXOUL(a, b):
    count = op_count_KFSx94NKJn(b,a)+op_count_o575Zjdmzy(op_KFSx94NKJn(b,a))
    return count


a≨⋝b = { (((45∲⫑353)⫗⊒⇾(a∝b))⪉⨛((b∲⫑b)⩣⊵⩗(b⩤∜↚43))) , if a==773 ; (((a⨁⊸⫻)⫃⨇(26⫡⨏a))⊩≵⪔) , else }

def op_aUmFd7VRsS(a, b):
    if a == 773:
        return op_EWw2JM7wp4(op_hiBDRd40bf(op_NrdPCfJQiM(45,353),op_cTDWOvIxvz(a,b)),op_wsXFuL0hC6(op_NrdPCfJQiM(b,b),op_KROiRRz3d6(b,43)))
    else:
        return op_aDRGw0okjd(op_09Ly4LVMIf(op_glklzrTFfD(a),op_QMFrweE19q(26,a)))

def op_count_aUmFd7VRsS(a, b):
    if a == 773:
        count = op_count_NrdPCfJQiM(45,353)+op_count_cTDWOvIxvz(a,b)+op_count_hiBDRd40bf(op_NrdPCfJQiM(45,353),op_cTDWOvIxvz(a,b))+op_count_NrdPCfJQiM(b,b)+op_count_KROiRRz3d6(b,43)+op_count_wsXFuL0hC6(op_NrdPCfJQiM(b,b),op_KROiRRz3d6(b,43))+op_count_EWw2JM7wp4(op_hiBDRd40bf(op_NrdPCfJQiM(45,353),op_cTDWOvIxvz(a,b)),op_wsXFuL0hC6(op_NrdPCfJQiM(b,b),op_KROiRRz3d6(b,43)))
    else:
        count = op_count_glklzrTFfD(a)+op_count_QMFrweE19q(26,a)+op_count_09Ly4LVMIf(op_glklzrTFfD(a),op_QMFrweE19q(26,a))+op_count_aDRGw0okjd(op_09Ly4LVMIf(op_glklzrTFfD(a),op_QMFrweE19q(26,a)))
    return count


def op_2KqyM6DcPT(a):
    return op_Q2SPaKwpPJ(op_09Ly4LVMIf(a,a),op_YC3tgrnOyr(a,a))

def op_count_2KqyM6DcPT(a):
    count = op_count_09Ly4LVMIf(a,a)+op_count_YC3tgrnOyr(a,a)+op_count_Q2SPaKwpPJ(op_09Ly4LVMIf(a,a),op_YC3tgrnOyr(a,a))
    return count


def op_5BPGwbLSwr(a, b):
    return op_hmlrMsD2PO(op_Y9dhGmbGii(op_aiqF8n6J9c(b,a)),op_3mBM5G4a3l(a))

def op_count_5BPGwbLSwr(a, b):
    count = op_count_aiqF8n6J9c(b,a)+op_count_Y9dhGmbGii(op_aiqF8n6J9c(b,a))+op_count_3mBM5G4a3l(a)+op_count_hmlrMsD2PO(op_Y9dhGmbGii(op_aiqF8n6J9c(b,a)),op_3mBM5G4a3l(a))
    return count


def op_ZHQ74z60Dc(a):
    return op_PPChnnnBFF(a,op_hiBDRd40bf(a,a))

def op_count_ZHQ74z60Dc(a):
    count = op_count_hiBDRd40bf(a,a)+op_count_PPChnnnBFF(a,op_hiBDRd40bf(a,a))
    return count


def op_WCUQA2F43R(a):
    return op_bF6eod5Gvf(a,a)

def op_count_WCUQA2F43R(a):
    count = op_count_bF6eod5Gvf(a,a)
    return count


a⇯⇋b = { (a∠↢b) , if (b≠≀923)<649 and (a⪚⊾⩭)>=145 ; (⊀b) , else }

def op_VwBdEydXvH(a, b):
    if op_IwW236VD4Y(b,923) < 649 and op_ebeGRCukrZ(a) >= 145:
        return op_KbjG8mgYpV(a,b)
    else:
        return op_oPMjh9089D(b)

def op_count_VwBdEydXvH(a, b):
    if op_IwW236VD4Y(b,923) < 649 and op_ebeGRCukrZ(a) >= 145:
        count = op_count_KbjG8mgYpV(a,b)+op_count_IwW236VD4Y(b,923)+op_count_ebeGRCukrZ(a)
    else:
        count = op_count_oPMjh9089D(b)
    return count


def op_XyyS8huJrr(a):
    return op_k2B77S3vSv(op_0kmYd0q39Y(op_nhYeJWJD5X(165,a),op_wEfv7U73WA(a)))

def op_count_XyyS8huJrr(a):
    count = op_count_nhYeJWJD5X(165,a)+op_count_wEfv7U73WA(a)+op_count_0kmYd0q39Y(op_nhYeJWJD5X(165,a),op_wEfv7U73WA(a))+op_count_k2B77S3vSv(op_0kmYd0q39Y(op_nhYeJWJD5X(165,a),op_wEfv7U73WA(a)))
    return count


a≈⪼b = { (b⪒((b∷b)⨑≵⋬(b⨑b))) , if ((≯a)!=545 and (⨝⨆a)<8) ; (((⩻⪛a)⪭(b⨵⪆202))⪖⪡((a∑a)⋞(⋼∭⪍b))) , else }

def op_hKL1RT5YAV(a, b):
    if (op_keWfFq85dY(a) != 545 and op_bQ67fsrMVf(a) < 8):
        return op_f6k1SAg4EE(b,op_XnXgA4xnOs(op_D3AQDKkPcf(b,b),op_IxJHfR5psi(b,b)))
    else:
        return op_7PjNe5qSIJ(op_j9kHMeSvPp(op_5RY6W0glyJ(a),op_2DQ55sFlQl(b,202)),op_V4yb4KDoeF(op_JFrVJKYFMX(a,a),op_DbCuESL50I(b)))

def op_count_hKL1RT5YAV(a, b):
    if (op_keWfFq85dY(a) != 545 and op_bQ67fsrMVf(a) < 8):
        count = op_count_D3AQDKkPcf(b,b)+op_count_IxJHfR5psi(b,b)+op_count_XnXgA4xnOs(op_D3AQDKkPcf(b,b),op_IxJHfR5psi(b,b))+op_count_f6k1SAg4EE(b,op_XnXgA4xnOs(op_D3AQDKkPcf(b,b),op_IxJHfR5psi(b,b)))+op_count_keWfFq85dY(a)+op_count_bQ67fsrMVf(a)
    else:
        count = op_count_5RY6W0glyJ(a)+op_count_2DQ55sFlQl(b,202)+op_count_j9kHMeSvPp(op_5RY6W0glyJ(a),op_2DQ55sFlQl(b,202))+op_count_JFrVJKYFMX(a,a)+op_count_DbCuESL50I(b)+op_count_V4yb4KDoeF(op_JFrVJKYFMX(a,a),op_DbCuESL50I(b))+op_count_7PjNe5qSIJ(op_j9kHMeSvPp(op_5RY6W0glyJ(a),op_2DQ55sFlQl(b,202)),op_V4yb4KDoeF(op_JFrVJKYFMX(a,a),op_DbCuESL50I(b)))
    return count


def op_xbhjYmr6L1(a):
    return op_rlpcYeipVY(op_oRDoc9rAEX(op_eVHdItn4YL(a),op_Z5m6OM72h2(a,a)))

def op_count_xbhjYmr6L1(a):
    count = op_count_eVHdItn4YL(a)+op_count_Z5m6OM72h2(a,a)+op_count_oRDoc9rAEX(op_eVHdItn4YL(a),op_Z5m6OM72h2(a,a))+op_count_rlpcYeipVY(op_oRDoc9rAEX(op_eVHdItn4YL(a),op_Z5m6OM72h2(a,a)))
    return count


a∋⪕⋐b = { ((a⫃⨇b)⪑⩈) , if a<475 ; (a⪦⩸(b∲⫑145)) , else }

def op_qCin6ZH1or(a, b):
    if a < 475:
        return op_C6VvDP6HwP(op_09Ly4LVMIf(a,b))
    else:
        return op_0JWJYFSzIQ(a,op_NrdPCfJQiM(b,145))

def op_count_qCin6ZH1or(a, b):
    if a < 475:
        count = op_count_09Ly4LVMIf(a,b)+op_count_C6VvDP6HwP(op_09Ly4LVMIf(a,b))
    else:
        count = op_count_NrdPCfJQiM(b,145)+op_count_0JWJYFSzIQ(a,op_NrdPCfJQiM(b,145))
    return count


def op_XRGwQDRWw3(a):
    return op_d7ASUq0ydm(op_2jG7DiviLq(278),op_Bmrmz2XGnR(a,59))

def op_count_XRGwQDRWw3(a):
    count = op_count_2jG7DiviLq(278)+op_count_Bmrmz2XGnR(a,59)+op_count_d7ASUq0ydm(op_2jG7DiviLq(278),op_Bmrmz2XGnR(a,59))
    return count


def op_5PJSEkGA6Y(a):
    return op_kweVJGAjhl(op_u6S6b8DprG(op_BiWNJpBvwn(a,a)))

def op_count_5PJSEkGA6Y(a):
    count = op_count_BiWNJpBvwn(a,a)+op_count_u6S6b8DprG(op_BiWNJpBvwn(a,a))+op_count_kweVJGAjhl(op_u6S6b8DprG(op_BiWNJpBvwn(a,a)))
    return count


def op_mlzqNBtYd8(a):
    if op_2DQ55sFlQl(a,825) > 566:
        return op_uTBsSls0VN(op_H0pizIJMoW(a),op_sM9mzqIDB1(690,a))
    else:
        return op_zR4jO40bMj(op_1h0rLqGiFr(245),op_bF6eod5Gvf(a,a))

def op_count_mlzqNBtYd8(a):
    if op_2DQ55sFlQl(a,825) > 566:
        count = op_count_H0pizIJMoW(a)+op_count_sM9mzqIDB1(690,a)+op_count_uTBsSls0VN(op_H0pizIJMoW(a),op_sM9mzqIDB1(690,a))+op_count_2DQ55sFlQl(a,825)
    else:
        count = op_count_1h0rLqGiFr(245)+op_count_bF6eod5Gvf(a,a)+op_count_zR4jO40bMj(op_1h0rLqGiFr(245),op_bF6eod5Gvf(a,a))
    return count


def op_NvVuMKZTfI(a):
    return op_KipPnG1M2J(op_W4YGzv6Whe(a,a))

def op_count_NvVuMKZTfI(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_KipPnG1M2J(op_W4YGzv6Whe(a,a))
    return count


def op_JVQ1BRQdPQ(a):
    if a == 81:
        return op_R3vAdrE3IH(op_COABgblf1C(op_t8gj7n24qd(a),op_2DQ55sFlQl(a,a)))
    else:
        return op_Ph9nP6C5qx(op_rPNtK4BLRO(op_KROiRRz3d6(a,a),op_KFSx94NKJn(176,a)),op_0bdkhPtsnY(op_BAIXFdYaz3(a,110)))

def op_count_JVQ1BRQdPQ(a):
    if a == 81:
        count = op_count_t8gj7n24qd(a)+op_count_2DQ55sFlQl(a,a)+op_count_COABgblf1C(op_t8gj7n24qd(a),op_2DQ55sFlQl(a,a))+op_count_R3vAdrE3IH(op_COABgblf1C(op_t8gj7n24qd(a),op_2DQ55sFlQl(a,a)))
    else:
        count = op_count_KROiRRz3d6(a,a)+op_count_KFSx94NKJn(176,a)+op_count_rPNtK4BLRO(op_KROiRRz3d6(a,a),op_KFSx94NKJn(176,a))+op_count_BAIXFdYaz3(a,110)+op_count_0bdkhPtsnY(op_BAIXFdYaz3(a,110))+op_count_Ph9nP6C5qx(op_rPNtK4BLRO(op_KROiRRz3d6(a,a),op_KFSx94NKJn(176,a)),op_0bdkhPtsnY(op_BAIXFdYaz3(a,110)))
    return count


⊤⪏a = { (((a∀⋜↑)∷(a⨜⇔a))⋳⪒((614⨧a)⋰⇉∕(a⫸a))) , if a<5 ; a , else }

def op_wjRRZ4dIWs(a):
    if a < 5:
        return op_12rbrZMWeM(op_D3AQDKkPcf(op_KipPnG1M2J(a),op_Sq3AGanRSD(a,a)),op_sM9mzqIDB1(op_3YWlZA9bsa(614,a),op_Qaz2MhZaG5(a,a)))
    else:
        return a

def op_count_wjRRZ4dIWs(a):
    if a < 5:
        count = op_count_KipPnG1M2J(a)+op_count_Sq3AGanRSD(a,a)+op_count_D3AQDKkPcf(op_KipPnG1M2J(a),op_Sq3AGanRSD(a,a))+op_count_3YWlZA9bsa(614,a)+op_count_Qaz2MhZaG5(a,a)+op_count_sM9mzqIDB1(op_3YWlZA9bsa(614,a),op_Qaz2MhZaG5(a,a))+op_count_12rbrZMWeM(op_D3AQDKkPcf(op_KipPnG1M2J(a),op_Sq3AGanRSD(a,a)),op_sM9mzqIDB1(op_3YWlZA9bsa(614,a),op_Qaz2MhZaG5(a,a)))
    else:
        count = 1
    return count


a⩞b = { ((b⨱∎)⨓↿∉((160∴≳≥)⩦(a∙∹∝496))) , if (≅≯⇸b)==60 ; (((114∑b)⪚⨁⋖(a+⪬∐b))∊⊞≈(b⪒⊣⊆(b⊵a))) , else }

def op_JO14dcB34N(a, b):
    if op_apS25hmuAe(b) == 60:
        return op_OWnFPqjWlR(op_MmTdOpaElr(b),op_0kmYd0q39Y(op_a3N2hFLK0J(160),op_HmxsFra2vL(a,496)))
    else:
        return op_keuJNkrrbj(op_xSk1F0pZbF(op_JFrVJKYFMX(114,b),op_2GS7woTJqF(a,b)),op_eRqsBgTDFp(b,op_eaFBhJ0Uku(b,a)))

def op_count_JO14dcB34N(a, b):
    if op_apS25hmuAe(b) == 60:
        count = op_count_MmTdOpaElr(b)+op_count_a3N2hFLK0J(160)+op_count_HmxsFra2vL(a,496)+op_count_0kmYd0q39Y(op_a3N2hFLK0J(160),op_HmxsFra2vL(a,496))+op_count_OWnFPqjWlR(op_MmTdOpaElr(b),op_0kmYd0q39Y(op_a3N2hFLK0J(160),op_HmxsFra2vL(a,496)))+op_count_apS25hmuAe(b)
    else:
        count = op_count_JFrVJKYFMX(114,b)+op_count_2GS7woTJqF(a,b)+op_count_xSk1F0pZbF(op_JFrVJKYFMX(114,b),op_2GS7woTJqF(a,b))+op_count_eaFBhJ0Uku(b,a)+op_count_eRqsBgTDFp(b,op_eaFBhJ0Uku(b,a))+op_count_keuJNkrrbj(op_xSk1F0pZbF(op_JFrVJKYFMX(114,b),op_2GS7woTJqF(a,b)),op_eRqsBgTDFp(b,op_eaFBhJ0Uku(b,a)))
    return count


def op_DXcxrPgmTJ(a):
    return op_GMyVS5K48T(op_W4YGzv6Whe(a,a),op_ar1w6gUwHX(a,87))

def op_count_DXcxrPgmTJ(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_ar1w6gUwHX(a,87)+op_count_GMyVS5K48T(op_W4YGzv6Whe(a,a),op_ar1w6gUwHX(a,87))
    return count


a⋓⋃b = { (381⊬⨰b) , if b>4 ; (a⪱⇝b) , else }

def op_vQUWrCPLqI(a, b):
    if b > 4:
        return op_s3Fd5m9Dh2(381,b)
    else:
        return op_OTRTVPweYV(a,b)

def op_count_vQUWrCPLqI(a, b):
    if b > 4:
        count = op_count_s3Fd5m9Dh2(381,b)
    else:
        count = op_count_OTRTVPweYV(a,b)
    return count


def op_qjmPyXYQ7j(a):
    return op_OKKcZfAt5B(op_z2JHNkvbdm(op_8cLx32lpNA(156,a),op_SgAxmdLNEA(a)),op_kuIXHzHcAH(a,op_Z5m6OM72h2(a,77)))

def op_count_qjmPyXYQ7j(a):
    count = op_count_8cLx32lpNA(156,a)+op_count_SgAxmdLNEA(a)+op_count_z2JHNkvbdm(op_8cLx32lpNA(156,a),op_SgAxmdLNEA(a))+op_count_Z5m6OM72h2(a,77)+op_count_kuIXHzHcAH(a,op_Z5m6OM72h2(a,77))+op_count_OKKcZfAt5B(op_z2JHNkvbdm(op_8cLx32lpNA(156,a),op_SgAxmdLNEA(a)),op_kuIXHzHcAH(a,op_Z5m6OM72h2(a,77)))
    return count


def op_ftHijYs5gh(a):
    return op_zFNL8mZEFB(a,184)

def op_count_ftHijYs5gh(a):
    count = op_count_zFNL8mZEFB(a,184)
    return count


a⪧≠⊧b = { (a⫟≀⫫) , if b>=35 ; (a⩾b) , else }

def op_8FEQrRiNx3(a, b):
    if b >= 35:
        return op_KfMCrRzQhT(a)
    else:
        return op_UggxBX659n(a,b)

def op_count_8FEQrRiNx3(a, b):
    if b >= 35:
        count = op_count_KfMCrRzQhT(a)
    else:
        count = op_count_UggxBX659n(a,b)
    return count


a⊟⇵⫊b = { ((a⫩⊇)≃(b⫃⨇b)) , if b>467 ; ((b∽a)∅(b∌↝b)) , else }

def op_ov2Ek6r32i(a, b):
    if b > 467:
        return op_YbVcJGFEVW(op_BjRHVeLaeN(a),op_09Ly4LVMIf(b,b))
    else:
        return op_giaUb8UVhq(op_y4ImoPnbV5(b,a),op_9Isq31Ruls(b,b))

def op_count_ov2Ek6r32i(a, b):
    if b > 467:
        count = op_count_BjRHVeLaeN(a)+op_count_09Ly4LVMIf(b,b)+op_count_YbVcJGFEVW(op_BjRHVeLaeN(a),op_09Ly4LVMIf(b,b))
    else:
        count = op_count_y4ImoPnbV5(b,a)+op_count_9Isq31Ruls(b,b)+op_count_giaUb8UVhq(op_y4ImoPnbV5(b,a),op_9Isq31Ruls(b,b))
    return count


def op_6GLStNhf2k(a, b):
    if op_ut0Nd8ObBp(b) < 460 or op_liw5iZPkLH(a) >= 374 or op_gSr4c7pPrV(b) == 469:
        return op_d8xe6WWVfM(op_e1ybzncUwg(a),op_6MpZysEj17(b))
    else:
        return op_UggxBX659n(op_cFVlceoRkX(554,a),op_2Wsdkap16l(299,b))

def op_count_6GLStNhf2k(a, b):
    if op_ut0Nd8ObBp(b) < 460 or op_liw5iZPkLH(a) >= 374 or op_gSr4c7pPrV(b) == 469:
        count = op_count_e1ybzncUwg(a)+op_count_6MpZysEj17(b)+op_count_d8xe6WWVfM(op_e1ybzncUwg(a),op_6MpZysEj17(b))+op_count_ut0Nd8ObBp(b)+op_count_liw5iZPkLH(a)+op_count_gSr4c7pPrV(b)
    else:
        count = op_count_cFVlceoRkX(554,a)+op_count_2Wsdkap16l(299,b)+op_count_UggxBX659n(op_cFVlceoRkX(554,a),op_2Wsdkap16l(299,b))
    return count


def op_dfvMZLPvSI(a):
    return op_inCIaGQf8u(op_ObEyaaML9x(a,a),a)

def op_count_dfvMZLPvSI(a):
    count = op_count_ObEyaaML9x(a,a)+op_count_inCIaGQf8u(op_ObEyaaML9x(a,a),a)
    return count


def op_ZyEASfasF5(a, b):
    return op_nbuSfrB4hB(op_COABgblf1C(b,a),op_DX7B1fY6P6(a,690))

def op_count_ZyEASfasF5(a, b):
    count = op_count_COABgblf1C(b,a)+op_count_DX7B1fY6P6(a,690)+op_count_nbuSfrB4hB(op_COABgblf1C(b,a),op_DX7B1fY6P6(a,690))
    return count


a⋧∎⨊b = { (((383⩘⋿a)⊀⪪⫸)⨻⪊⨷((a∊⊞≈a)⋳⪒(b⪕b))) }

def op_jvKnzH5Wrf(a, b):
    return op_Pkwamo1tM2(op_UIU2Eox550(op_64EQ39e0fC(383,a)),op_12rbrZMWeM(op_keuJNkrrbj(a,a),op_umQnsF7QlU(b,b)))

def op_count_jvKnzH5Wrf(a, b):
    count = op_count_64EQ39e0fC(383,a)+op_count_UIU2Eox550(op_64EQ39e0fC(383,a))+op_count_keuJNkrrbj(a,a)+op_count_umQnsF7QlU(b,b)+op_count_12rbrZMWeM(op_keuJNkrrbj(a,a),op_umQnsF7QlU(b,b))+op_count_Pkwamo1tM2(op_UIU2Eox550(op_64EQ39e0fC(383,a)),op_12rbrZMWeM(op_keuJNkrrbj(a,a),op_umQnsF7QlU(b,b)))
    return count


def op_Gbv0iUO2Lv(a, b):
    return op_inCIaGQf8u(op_FPxP5Y1j0W(b,34),op_QvoQhV0rrE(a,b))

def op_count_Gbv0iUO2Lv(a, b):
    count = op_count_FPxP5Y1j0W(b,34)+op_count_QvoQhV0rrE(a,b)+op_count_inCIaGQf8u(op_FPxP5Y1j0W(b,34),op_QvoQhV0rrE(a,b))
    return count


def op_wUMGGCA6kW(a, b):
    if op_E4l6HwMY31(a,407) <= 369:
        return op_LxFB4K6j0n(b)
    else:
        return op_QiR2Oyf5Xj(op_oPMjh9089D(b))

def op_count_wUMGGCA6kW(a, b):
    if op_E4l6HwMY31(a,407) <= 369:
        count = op_count_LxFB4K6j0n(b)+op_count_E4l6HwMY31(a,407)
    else:
        count = op_count_oPMjh9089D(b)+op_count_QiR2Oyf5Xj(op_oPMjh9089D(b))
    return count


⩺⪹⊐a = { (((a∀⩎⋷a)⊝⨜≵)⋳/((a⊬⨰a)≶(⫊≏⨉a))) }

def op_mZGkyI4hH7(a):
    return op_m612RDITqL(op_CuHhPb8RwQ(op_FPxP5Y1j0W(a,a)),op_Q2SPaKwpPJ(op_s3Fd5m9Dh2(a,a),op_KED7KUUlGq(a)))

def op_count_mZGkyI4hH7(a):
    count = op_count_FPxP5Y1j0W(a,a)+op_count_CuHhPb8RwQ(op_FPxP5Y1j0W(a,a))+op_count_s3Fd5m9Dh2(a,a)+op_count_KED7KUUlGq(a)+op_count_Q2SPaKwpPJ(op_s3Fd5m9Dh2(a,a),op_KED7KUUlGq(a))+op_count_m612RDITqL(op_CuHhPb8RwQ(op_FPxP5Y1j0W(a,a)),op_Q2SPaKwpPJ(op_s3Fd5m9Dh2(a,a),op_KED7KUUlGq(a)))
    return count


def op_7JBSxpbBvN(a):
    return op_GMN7JP6WpN(op_8w2t5hMYqp(a),op_B3sABdIn96(a))

def op_count_7JBSxpbBvN(a):
    count = op_count_8w2t5hMYqp(a)+op_count_B3sABdIn96(a)+op_count_GMN7JP6WpN(op_8w2t5hMYqp(a),op_B3sABdIn96(a))
    return count


a↙⇰b = { (b⫚↹⊑b) , if (b⨙)==561 ; (⋗⩬⋾a) , else }

def op_14HHJbxGxH(a, b):
    if op_rlpcYeipVY(b) == 561:
        return op_dfKe02y8D2(b,b)
    else:
        return op_DpFCA1CohY(a)

def op_count_14HHJbxGxH(a, b):
    if op_rlpcYeipVY(b) == 561:
        count = op_count_dfKe02y8D2(b,b)+op_count_rlpcYeipVY(b)
    else:
        count = op_count_DpFCA1CohY(a)
    return count


a⊄⋴⪤ = { (a⊲⩕⊾a) , if a<=42 ; (⇾⩊⇾a) , else }

def op_ghnUFoDPMc(a):
    if a <= 42:
        return op_DmTXOeWf9t(a,a)
    else:
        return op_bx9Z9DAK5y(a)

def op_count_ghnUFoDPMc(a):
    if a <= 42:
        count = op_count_DmTXOeWf9t(a,a)
    else:
        count = op_count_bx9Z9DAK5y(a)
    return count


⇹⊳a = { ((a↨⪍≴a)⪐) , if a>100 ; a , else }

def op_GHO1g8I7PH(a):
    if a > 100:
        return op_eH2TOUuTDT(op_DX7B1fY6P6(a,a))
    else:
        return a

def op_count_GHO1g8I7PH(a):
    if a > 100:
        count = op_count_DX7B1fY6P6(a,a)+op_count_eH2TOUuTDT(op_DX7B1fY6P6(a,a))
    else:
        count = 1
    return count


↴⇲⋩a = { (⨢⋑⪾((a⨻⪊⨷99)↪∷(a⊝⨜≵))) , if a==51 ; (((⊿a)⩟)⩦((a⊔%a)∠⫱(a≣a))) , else }

def op_FiPrOu92E8(a):
    if a == 51:
        return op_tmjFFOTKyA(op_Api82iH42a(op_Pkwamo1tM2(a,99),op_CuHhPb8RwQ(a)))
    else:
        return op_0kmYd0q39Y(op_fOIeswaMU4(op_DO4fhlbJSI(a)),op_QvoQhV0rrE(op_uysxUYN2L2(a,a),op_ObEyaaML9x(a,a)))

def op_count_FiPrOu92E8(a):
    if a == 51:
        count = op_count_Pkwamo1tM2(a,99)+op_count_CuHhPb8RwQ(a)+op_count_Api82iH42a(op_Pkwamo1tM2(a,99),op_CuHhPb8RwQ(a))+op_count_tmjFFOTKyA(op_Api82iH42a(op_Pkwamo1tM2(a,99),op_CuHhPb8RwQ(a)))
    else:
        count = op_count_DO4fhlbJSI(a)+op_count_fOIeswaMU4(op_DO4fhlbJSI(a))+op_count_uysxUYN2L2(a,a)+op_count_ObEyaaML9x(a,a)+op_count_QvoQhV0rrE(op_uysxUYN2L2(a,a),op_ObEyaaML9x(a,a))+op_count_0kmYd0q39Y(op_fOIeswaMU4(op_DO4fhlbJSI(a)),op_QvoQhV0rrE(op_uysxUYN2L2(a,a),op_ObEyaaML9x(a,a)))
    return count


def op_rvuQEfv3GA(a):
    return op_irKjLsMeKy(op_6iafYuwGo8(op_gx7XJ7hdpj(a,417),op_D3AQDKkPcf(a,287)),op_DZ8iAZOCBD(op_4kvgVkQeiQ(a),op_bF6eod5Gvf(405,a)))

def op_count_rvuQEfv3GA(a):
    count = op_count_gx7XJ7hdpj(a,417)+op_count_D3AQDKkPcf(a,287)+op_count_6iafYuwGo8(op_gx7XJ7hdpj(a,417),op_D3AQDKkPcf(a,287))+op_count_4kvgVkQeiQ(a)+op_count_bF6eod5Gvf(405,a)+op_count_DZ8iAZOCBD(op_4kvgVkQeiQ(a),op_bF6eod5Gvf(405,a))+op_count_irKjLsMeKy(op_6iafYuwGo8(op_gx7XJ7hdpj(a,417),op_D3AQDKkPcf(a,287)),op_DZ8iAZOCBD(op_4kvgVkQeiQ(a),op_bF6eod5Gvf(405,a)))
    return count


def op_Rojcw4AIka(a):
    return op_HJ9erzHUuu(op_13TjBizFrQ(707),op_JgXZM7XvWE(a,a))

def op_count_Rojcw4AIka(a):
    count = op_count_13TjBizFrQ(707)+op_count_JgXZM7XvWE(a,a)+op_count_HJ9erzHUuu(op_13TjBizFrQ(707),op_JgXZM7XvWE(a,a))
    return count


def op_z4ujcxYYss(a, b):
    if (op_eftAHwPbeA(a) != 540 or b == 59 or a == 145):
        return op_eH2TOUuTDT(a)
    else:
        return op_wsXFuL0hC6(b,a)

def op_count_z4ujcxYYss(a, b):
    if (op_eftAHwPbeA(a) != 540 or b == 59 or a == 145):
        count = op_count_eH2TOUuTDT(a)+op_count_eftAHwPbeA(a)
    else:
        count = op_count_wsXFuL0hC6(b,a)
    return count


def op_rG56MjzCQb(a):
    return op_HJ9erzHUuu(op_ocnLzx9CaJ(a,a),op_4JB6nKBMSY(a,a))

def op_count_rG56MjzCQb(a):
    count = op_count_ocnLzx9CaJ(a,a)+op_count_4JB6nKBMSY(a,a)+op_count_HJ9erzHUuu(op_ocnLzx9CaJ(a,a),op_4JB6nKBMSY(a,a))
    return count


def op_3rZ4WEyoU0(a):
    return op_5twsqlHp2o(op_glklzrTFfD(a),op_wsXFuL0hC6(42,a))

def op_count_3rZ4WEyoU0(a):
    count = op_count_glklzrTFfD(a)+op_count_wsXFuL0hC6(42,a)+op_count_5twsqlHp2o(op_glklzrTFfD(a),op_wsXFuL0hC6(42,a))
    return count


a⪫↪b = { (b⪭↷⊩) , if a>=538 and b==112 ; (⊿b) , else }

def op_SR7DhePr6g(a, b):
    if a >= 538 and b == 112:
        return op_Oe8teynzfS(b)
    else:
        return op_DO4fhlbJSI(b)

def op_count_SR7DhePr6g(a, b):
    if a >= 538 and b == 112:
        count = op_count_Oe8teynzfS(b)
    else:
        count = op_count_DO4fhlbJSI(b)
    return count


def op_n6pADOZxVN(a):
    return op_vRio1gEz1j(op_KYL1uVeVpb(op_23Mk6UjR3U(a,a),op_S3tN1ZzpSt(290,a)))

def op_count_n6pADOZxVN(a):
    count = op_count_23Mk6UjR3U(a,a)+op_count_S3tN1ZzpSt(290,a)+op_count_KYL1uVeVpb(op_23Mk6UjR3U(a,a),op_S3tN1ZzpSt(290,a))+op_count_vRio1gEz1j(op_KYL1uVeVpb(op_23Mk6UjR3U(a,a),op_S3tN1ZzpSt(290,a)))
    return count


def op_MF36iSLlG6(a, b):
    return op_HrjLwUk87U(op_nhYeJWJD5X(b,a),op_CuHhPb8RwQ(b))

def op_count_MF36iSLlG6(a, b):
    count = op_count_nhYeJWJD5X(b,a)+op_count_CuHhPb8RwQ(b)+op_count_HrjLwUk87U(op_nhYeJWJD5X(b,a),op_CuHhPb8RwQ(b))
    return count


def op_3lnCICep6t(a, b):
    return op_mhIhit33mg(op_3Oe9XWJUTD(a,b))

def op_count_3lnCICep6t(a, b):
    count = op_count_3Oe9XWJUTD(a,b)+op_count_mhIhit33mg(op_3Oe9XWJUTD(a,b))
    return count


def op_tTEXlJ6Kwl(a, b):
    return op_Qaz2MhZaG5(op_tfWHHpNKUN(b),a)

def op_count_tTEXlJ6Kwl(a, b):
    count = op_count_tfWHHpNKUN(b)+op_count_Qaz2MhZaG5(op_tfWHHpNKUN(b),a)
    return count


⩇≝↷a = { (((⊤a)≏⨯⊱(2⪎↠a))⋅⇍((a⇿⊰a)⩉⊫⨁)) }

def op_lYDgrU5fjD(a):
    return op_AdZkA7nFnk(op_UqUOXUQnbU(op_oDvtRyfmAM(a),op_3tVxb0NHM4(2,a)),op_7qqUquhhSb(op_ap3xiM279w(a,a)))

def op_count_lYDgrU5fjD(a):
    count = op_count_oDvtRyfmAM(a)+op_count_3tVxb0NHM4(2,a)+op_count_UqUOXUQnbU(op_oDvtRyfmAM(a),op_3tVxb0NHM4(2,a))+op_count_ap3xiM279w(a,a)+op_count_7qqUquhhSb(op_ap3xiM279w(a,a))+op_count_AdZkA7nFnk(op_UqUOXUQnbU(op_oDvtRyfmAM(a),op_3tVxb0NHM4(2,a)),op_7qqUquhhSb(op_ap3xiM279w(a,a)))
    return count


def op_Rr30WV63mp(a):
    if op_Y9dhGmbGii(a) < 86:
        return op_jBC4ymW3D7(op_jfYOP67v6Y(op_ZNVVrZ94lY(301)),op_ar1w6gUwHX(op_VCG3UHNzLR(a,a),op_HQuZ2f4It9(23)))
    else:
        return op_Ph9nP6C5qx(op_8w2t5hMYqp(op_qxqspddX8k(a,139)),op_yuvXk3Mco8(op_PPChnnnBFF(a,a)))

def op_count_Rr30WV63mp(a):
    if op_Y9dhGmbGii(a) < 86:
        count = op_count_ZNVVrZ94lY(301)+op_count_jfYOP67v6Y(op_ZNVVrZ94lY(301))+op_count_VCG3UHNzLR(a,a)+op_count_HQuZ2f4It9(23)+op_count_ar1w6gUwHX(op_VCG3UHNzLR(a,a),op_HQuZ2f4It9(23))+op_count_jBC4ymW3D7(op_jfYOP67v6Y(op_ZNVVrZ94lY(301)),op_ar1w6gUwHX(op_VCG3UHNzLR(a,a),op_HQuZ2f4It9(23)))+op_count_Y9dhGmbGii(a)
    else:
        count = op_count_qxqspddX8k(a,139)+op_count_8w2t5hMYqp(op_qxqspddX8k(a,139))+op_count_PPChnnnBFF(a,a)+op_count_yuvXk3Mco8(op_PPChnnnBFF(a,a))+op_count_Ph9nP6C5qx(op_8w2t5hMYqp(op_qxqspddX8k(a,139)),op_yuvXk3Mco8(op_PPChnnnBFF(a,a)))
    return count


a⊫⊐⋞b = { ((⨞⫢(b⩷∴a))⋎((180∆⨵⋿)⪭(b⊉≛↸a))) }

def op_IYFFTOGOwC(a, b):
    return op_qy3n0tapmE(op_HQuZ2f4It9(op_9FxExcQeMw(b,a)),op_j9kHMeSvPp(op_7CBskBkoKY(180),op_DZ8iAZOCBD(b,a)))

def op_count_IYFFTOGOwC(a, b):
    count = op_count_9FxExcQeMw(b,a)+op_count_HQuZ2f4It9(op_9FxExcQeMw(b,a))+op_count_7CBskBkoKY(180)+op_count_DZ8iAZOCBD(b,a)+op_count_j9kHMeSvPp(op_7CBskBkoKY(180),op_DZ8iAZOCBD(b,a))+op_count_qy3n0tapmE(op_HQuZ2f4It9(op_9FxExcQeMw(b,a)),op_j9kHMeSvPp(op_7CBskBkoKY(180),op_DZ8iAZOCBD(b,a)))
    return count


↥⫇a = { (⇝⋾⇵(a∌(a⫇⋯a))) , if a!=143 ; (((∷≠a)⊉≛↸(a∴a))⪨((a⋝⋈⪟a)⨧↗⨷(⇠a))) , else }

def op_9DifTUFlNJ(a):
    if a != 143:
        return op_6l7ULzJsnZ(op_8cLx32lpNA(a,op_xoJmIySC7h(a,a)))
    else:
        return op_2z8nE7LpCu(op_DZ8iAZOCBD(op_QiR2Oyf5Xj(a),op_hrf7POJlIJ(a,a)),op_WSbXXWOizJ(op_2DDjHMKMc0(a,a),op_18saOjeKKm(a)))

def op_count_9DifTUFlNJ(a):
    if a != 143:
        count = op_count_xoJmIySC7h(a,a)+op_count_8cLx32lpNA(a,op_xoJmIySC7h(a,a))+op_count_6l7ULzJsnZ(op_8cLx32lpNA(a,op_xoJmIySC7h(a,a)))
    else:
        count = op_count_QiR2Oyf5Xj(a)+op_count_hrf7POJlIJ(a,a)+op_count_DZ8iAZOCBD(op_QiR2Oyf5Xj(a),op_hrf7POJlIJ(a,a))+op_count_2DDjHMKMc0(a,a)+op_count_18saOjeKKm(a)+op_count_WSbXXWOizJ(op_2DDjHMKMc0(a,a),op_18saOjeKKm(a))+op_count_2z8nE7LpCu(op_DZ8iAZOCBD(op_QiR2Oyf5Xj(a),op_hrf7POJlIJ(a,a)),op_WSbXXWOizJ(op_2DDjHMKMc0(a,a),op_18saOjeKKm(a)))
    return count


a⪴⊹ = { (((a⊬⫿⊭)-(⇋↷a))⋟⫀⨗((a⊲⩕⊾a)⩚⊴⇥(a⨑≵⋬a))) }

def op_WjjFUEefTk(a):
    return op_dAAkup5nzi(op_rysDP5nf3Z(op_v0DYgG9ikt(a),op_SWo3A1KBJH(a)),op_NTOWxs364D(op_DmTXOeWf9t(a,a),op_XnXgA4xnOs(a,a)))

def op_count_WjjFUEefTk(a):
    count = op_count_v0DYgG9ikt(a)+op_count_SWo3A1KBJH(a)+op_count_rysDP5nf3Z(op_v0DYgG9ikt(a),op_SWo3A1KBJH(a))+op_count_DmTXOeWf9t(a,a)+op_count_XnXgA4xnOs(a,a)+op_count_NTOWxs364D(op_DmTXOeWf9t(a,a),op_XnXgA4xnOs(a,a))+op_count_dAAkup5nzi(op_rysDP5nf3Z(op_v0DYgG9ikt(a),op_SWo3A1KBJH(a)),op_NTOWxs364D(op_DmTXOeWf9t(a,a),op_XnXgA4xnOs(a,a)))
    return count


a⪵⇝∐ = { (a∠⫱a) , if (a<82 or (a⊱⇼⊻894)>48) ; (∛⊵a) , else }

def op_5kvef9he0n(a):
    if (a < 82 or op_FyVja0WsTP(a,894) > 48):
        return op_QvoQhV0rrE(a,a)
    else:
        return op_jfYOP67v6Y(a)

def op_count_5kvef9he0n(a):
    if (a < 82 or op_FyVja0WsTP(a,894) > 48):
        count = op_count_QvoQhV0rrE(a,a)+op_count_FyVja0WsTP(a,894)
    else:
        count = op_count_jfYOP67v6Y(a)
    return count


def op_WFJVtqsjOa(a, b):
    return op_KROiRRz3d6(op_W4YGzv6Whe(34,b),op_wztAlM01eG(a))

def op_count_WFJVtqsjOa(a, b):
    count = op_count_W4YGzv6Whe(34,b)+op_count_wztAlM01eG(a)+op_count_KROiRRz3d6(op_W4YGzv6Whe(34,b),op_wztAlM01eG(a))
    return count


def op_jiNQK0AA7m(a):
    return op_9bazX3JMtO(a,79)

def op_count_jiNQK0AA7m(a):
    count = op_count_9bazX3JMtO(a,79)
    return count


def op_43Q9kPNg6V(a):
    return op_d8xe6WWVfM(op_KED7KUUlGq(a),op_YSKBFp38Pu(a,17))

def op_count_43Q9kPNg6V(a):
    count = op_count_KED7KUUlGq(a)+op_count_YSKBFp38Pu(a,17)+op_count_d8xe6WWVfM(op_KED7KUUlGq(a),op_YSKBFp38Pu(a,17))
    return count


def op_oywGZ9bzxQ(a):
    return op_inCIaGQf8u(op_7j4O788W3g(a,a),op_6MpZysEj17(54))

def op_count_oywGZ9bzxQ(a):
    count = op_count_7j4O788W3g(a,a)+op_count_6MpZysEj17(54)+op_count_inCIaGQf8u(op_7j4O788W3g(a,a),op_6MpZysEj17(54))
    return count


def op_SYOdA8ocB9(a):
    if (a < 541 or a > 694 or a <= 430):
        return op_inCIaGQf8u(op_UqUOXUQnbU(op_ieTw63T1Vx(a),op_tnyRA5sazQ(a,a)),op_k2HlF1dBQh(op_S7Dkc5Re0B(252)))
    else:
        return a

def op_count_SYOdA8ocB9(a):
    if (a < 541 or a > 694 or a <= 430):
        count = op_count_ieTw63T1Vx(a)+op_count_tnyRA5sazQ(a,a)+op_count_UqUOXUQnbU(op_ieTw63T1Vx(a),op_tnyRA5sazQ(a,a))+op_count_S7Dkc5Re0B(252)+op_count_k2HlF1dBQh(op_S7Dkc5Re0B(252))+op_count_inCIaGQf8u(op_UqUOXUQnbU(op_ieTw63T1Vx(a),op_tnyRA5sazQ(a,a)),op_k2HlF1dBQh(op_S7Dkc5Re0B(252)))
    else:
        count = 1
    return count


a∧⩃ = { ((a⩤∜↚a)⨮⨆) , if a!=485 ; ((43⨐a)⪚⨁⋖a) , else }

def op_eyQcV3iRg6(a):
    if a != 485:
        return op_s0kPeV9Vm2(op_KROiRRz3d6(a,a))
    else:
        return op_xSk1F0pZbF(op_Noe24qw2ks(43,a),a)

def op_count_eyQcV3iRg6(a):
    if a != 485:
        count = op_count_KROiRRz3d6(a,a)+op_count_s0kPeV9Vm2(op_KROiRRz3d6(a,a))
    else:
        count = op_count_Noe24qw2ks(43,a)+op_count_xSk1F0pZbF(op_Noe24qw2ks(43,a),a)
    return count


def op_vvoDRbMjB2(a, b):
    if (op_IqGBaFP0uj(b) < 40 and op_IGFM8TAlm9(a) < 442 and op_t4WUHVGj7f(b) >= 128):
        return op_zV3pqYiQ5E(op_3Oe9XWJUTD(op_ew17WAA8t6(b),op_oDvtRyfmAM(a)))
    else:
        return op_WkeUrDK8WX(op_nhYeJWJD5X(op_qAljGMXEZr(b),op_g55IO6H4Gj(132,b)))

def op_count_vvoDRbMjB2(a, b):
    if (op_IqGBaFP0uj(b) < 40 and op_IGFM8TAlm9(a) < 442 and op_t4WUHVGj7f(b) >= 128):
        count = op_count_ew17WAA8t6(b)+op_count_oDvtRyfmAM(a)+op_count_3Oe9XWJUTD(op_ew17WAA8t6(b),op_oDvtRyfmAM(a))+op_count_zV3pqYiQ5E(op_3Oe9XWJUTD(op_ew17WAA8t6(b),op_oDvtRyfmAM(a)))+op_count_IqGBaFP0uj(b)+op_count_IGFM8TAlm9(a)+op_count_t4WUHVGj7f(b)
    else:
        count = op_count_qAljGMXEZr(b)+op_count_g55IO6H4Gj(132,b)+op_count_nhYeJWJD5X(op_qAljGMXEZr(b),op_g55IO6H4Gj(132,b))+op_count_WkeUrDK8WX(op_nhYeJWJD5X(op_qAljGMXEZr(b),op_g55IO6H4Gj(132,b)))
    return count


def op_nYfZpA7r8w(a):
    if a > 51:
        return op_840vADziXz(a)
    else:
        return op_VCG3UHNzLR(228,249)

def op_count_nYfZpA7r8w(a):
    if a > 51:
        count = op_count_840vADziXz(a)
    else:
        count = op_count_VCG3UHNzLR(228,249)
    return count


def op_Fic7usBSnH(a):
    return op_JoLB3LXqXx(op_6MpZysEj17(a),a)

def op_count_Fic7usBSnH(a):
    count = op_count_6MpZysEj17(a)+op_count_JoLB3LXqXx(op_6MpZysEj17(a),a)
    return count


a↬⫢⪏ = { (⩦⊞(a⇌⫙⪟287)) , if (a⩤)<231 ; ((a⩒⫫a)⋙) , else }

def op_9KZazuD8kL(a):
    if op_Z2TMIBDE3Q(a) < 231:
        return op_u7fv1HBiaC(op_AFVx7xoS7T(a,287))
    else:
        return op_XZxEnkN3N0(op_KFSx94NKJn(a,a))

def op_count_9KZazuD8kL(a):
    if op_Z2TMIBDE3Q(a) < 231:
        count = op_count_AFVx7xoS7T(a,287)+op_count_u7fv1HBiaC(op_AFVx7xoS7T(a,287))+op_count_Z2TMIBDE3Q(a)
    else:
        count = op_count_KFSx94NKJn(a,a)+op_count_XZxEnkN3N0(op_KFSx94NKJn(a,a))
    return count


a⪆∧⋬b = { ((b≭⫡(a⪕a))∘((b⪉⨛b)⪶≀⋏(a⫯⪬∳a))) , if a>=235 ; (((⇗⪘∲a)⋂⩴(b⩾b))⩒⫫((61⋂⩴233)⫼⨠(a⫁⪎315))) , else }

def op_F01RQqOmfO(a, b):
    if a >= 235:
        return op_Z5m6OM72h2(op_b1mGkbI4Oy(b,op_umQnsF7QlU(a,a)),op_zR4jO40bMj(op_EWw2JM7wp4(b,b),op_d7ASUq0ydm(a,a)))
    else:
        return op_KFSx94NKJn(op_hmlrMsD2PO(op_j4geBLYVFK(a),op_UggxBX659n(b,b)),op_KYL1uVeVpb(op_hmlrMsD2PO(61,233),op_xRrnTEsQ6j(a,315)))

def op_count_F01RQqOmfO(a, b):
    if a >= 235:
        count = op_count_umQnsF7QlU(a,a)+op_count_b1mGkbI4Oy(b,op_umQnsF7QlU(a,a))+op_count_EWw2JM7wp4(b,b)+op_count_d7ASUq0ydm(a,a)+op_count_zR4jO40bMj(op_EWw2JM7wp4(b,b),op_d7ASUq0ydm(a,a))+op_count_Z5m6OM72h2(op_b1mGkbI4Oy(b,op_umQnsF7QlU(a,a)),op_zR4jO40bMj(op_EWw2JM7wp4(b,b),op_d7ASUq0ydm(a,a)))
    else:
        count = op_count_j4geBLYVFK(a)+op_count_UggxBX659n(b,b)+op_count_hmlrMsD2PO(op_j4geBLYVFK(a),op_UggxBX659n(b,b))+op_count_hmlrMsD2PO(61,233)+op_count_xRrnTEsQ6j(a,315)+op_count_KYL1uVeVpb(op_hmlrMsD2PO(61,233),op_xRrnTEsQ6j(a,315))+op_count_KFSx94NKJn(op_hmlrMsD2PO(op_j4geBLYVFK(a),op_UggxBX659n(b,b)),op_KYL1uVeVpb(op_hmlrMsD2PO(61,233),op_xRrnTEsQ6j(a,315)))
    return count


def op_laDV8SAqpw(a, b):
    if op_40aOVDgCDB(a) >= 127:
        return op_86A5ENbKR9(op_WObL9SsYVE(op_VwlE7vj6HS(614),op_YC3tgrnOyr(b,284)))
    else:
        return op_KFSx94NKJn(a,19)

def op_count_laDV8SAqpw(a, b):
    if op_40aOVDgCDB(a) >= 127:
        count = op_count_VwlE7vj6HS(614)+op_count_YC3tgrnOyr(b,284)+op_count_WObL9SsYVE(op_VwlE7vj6HS(614),op_YC3tgrnOyr(b,284))+op_count_86A5ENbKR9(op_WObL9SsYVE(op_VwlE7vj6HS(614),op_YC3tgrnOyr(b,284)))+op_count_40aOVDgCDB(a)
    else:
        count = op_count_KFSx94NKJn(a,19)
    return count


a∴⫅⫄ = { (((194⫰⋱a)⨑≵⋬(a⪒⊣⊆a))⊱⇼⊻((a⋐≟⩺56)⨰↻⪇(a⊔a))) , if a>187 ; (((⊿a)-∠(a⊭↱a))⩂⊭⨚) , else }

def op_Gbxqws6XSS(a):
    if a > 187:
        return op_FyVja0WsTP(op_XnXgA4xnOs(op_6o9Blt3TJ6(194,a),op_eRqsBgTDFp(a,a)),op_nbuSfrB4hB(op_PjbVkMzmXE(a,56),op_E4l6HwMY31(a,a)))
    else:
        return op_PaBHOjxk8c(op_s0IfDFCCuZ(op_DO4fhlbJSI(a),op_COABgblf1C(a,a)))

def op_count_Gbxqws6XSS(a):
    if a > 187:
        count = op_count_6o9Blt3TJ6(194,a)+op_count_eRqsBgTDFp(a,a)+op_count_XnXgA4xnOs(op_6o9Blt3TJ6(194,a),op_eRqsBgTDFp(a,a))+op_count_PjbVkMzmXE(a,56)+op_count_E4l6HwMY31(a,a)+op_count_nbuSfrB4hB(op_PjbVkMzmXE(a,56),op_E4l6HwMY31(a,a))+op_count_FyVja0WsTP(op_XnXgA4xnOs(op_6o9Blt3TJ6(194,a),op_eRqsBgTDFp(a,a)),op_nbuSfrB4hB(op_PjbVkMzmXE(a,56),op_E4l6HwMY31(a,a)))
    else:
        count = op_count_DO4fhlbJSI(a)+op_count_COABgblf1C(a,a)+op_count_s0IfDFCCuZ(op_DO4fhlbJSI(a),op_COABgblf1C(a,a))+op_count_PaBHOjxk8c(op_s0IfDFCCuZ(op_DO4fhlbJSI(a),op_COABgblf1C(a,a)))
    return count


def op_RxP5IMfl1x(a):
    return op_64EQ39e0fC(op_DE7zCoGJt9(op_HmxsFra2vL(a,336)),op_umQnsF7QlU(op_2Wsdkap16l(18,a),op_vg4gO5BX6G(664,a)))

def op_count_RxP5IMfl1x(a):
    count = op_count_HmxsFra2vL(a,336)+op_count_DE7zCoGJt9(op_HmxsFra2vL(a,336))+op_count_2Wsdkap16l(18,a)+op_count_vg4gO5BX6G(664,a)+op_count_umQnsF7QlU(op_2Wsdkap16l(18,a),op_vg4gO5BX6G(664,a))+op_count_64EQ39e0fC(op_DE7zCoGJt9(op_HmxsFra2vL(a,336)),op_umQnsF7QlU(op_2Wsdkap16l(18,a),op_vg4gO5BX6G(664,a)))
    return count


def op_Tkp64Nxkog(a):
    if (a == 369 and op_Siyfjn51pv(a) >= 280):
        return op_vRio1gEz1j(a)
    else:
        return op_glklzrTFfD(a)

def op_count_Tkp64Nxkog(a):
    if (a == 369 and op_Siyfjn51pv(a) >= 280):
        count = op_count_vRio1gEz1j(a)+op_count_Siyfjn51pv(a)
    else:
        count = op_count_glklzrTFfD(a)
    return count


a⊡⨸⨢b = { b , if (a≧⊼333)!=569 or a==23 ; (⩪∧⨌b) , else }

def op_Em9NHB5wTK(a, b):
    if op_JoLB3LXqXx(a,333) != 569 or a == 23:
        return b
    else:
        return op_6iOiAJX1F8(b)

def op_count_Em9NHB5wTK(a, b):
    if op_JoLB3LXqXx(a,333) != 569 or a == 23:
        count = 1
    else:
        count = op_count_6iOiAJX1F8(b)
    return count


def op_tjIEHLTALG(a):
    return op_cFVlceoRkX(op_PrwIXj9ZQe(a),op_vRio1gEz1j(a))

def op_count_tjIEHLTALG(a):
    count = op_count_PrwIXj9ZQe(a)+op_count_vRio1gEz1j(a)+op_count_cFVlceoRkX(op_PrwIXj9ZQe(a),op_vRio1gEz1j(a))
    return count


a⪄∉⋹ = { ((⨇⪄⫏a)≚⊃≕(a≧⫂∧a)) , if a!=396 ; ((a⨩≤⫤a)⫡⨏667) , else }

def op_zXZxnruRdw(a):
    if a != 396:
        return op_Bmrmz2XGnR(op_B4c4JXCTtZ(a),op_Ph9nP6C5qx(a,a))
    else:
        return op_QMFrweE19q(op_neKQRQQIil(a,a),667)

def op_count_zXZxnruRdw(a):
    if a != 396:
        count = op_count_B4c4JXCTtZ(a)+op_count_Ph9nP6C5qx(a,a)+op_count_Bmrmz2XGnR(op_B4c4JXCTtZ(a),op_Ph9nP6C5qx(a,a))
    else:
        count = op_count_neKQRQQIil(a,a)+op_count_QMFrweE19q(op_neKQRQQIil(a,a),667)
    return count


a⇀b = { ((427⋝⋈⪟b)⊇≀≁) , if a<704 ; (⇙⪊a) , else }

def op_4mnGiJ3ceb(a, b):
    if a < 704:
        return op_AfoL3wC8aT(op_2DDjHMKMc0(427,b))
    else:
        return op_pB6Fcnrjim(a)

def op_count_4mnGiJ3ceb(a, b):
    if a < 704:
        count = op_count_2DDjHMKMc0(427,b)+op_count_AfoL3wC8aT(op_2DDjHMKMc0(427,b))
    else:
        count = op_count_pB6Fcnrjim(a)
    return count


def op_sOimqzmtZV(a):
    if op_eewbuw0ToL(a,54) > 164 or op_2O29ZX4yK6(a) >= 422:
        return op_UeUK5QjOtW(op_f6k1SAg4EE(op_PjbVkMzmXE(a,a),op_sdazOOVcIp(a,a)))
    else:
        return op_LYeZOJ0nQG(op_y2kQTS4a70(op_E4l6HwMY31(93,a),op_gx7XJ7hdpj(226,a)))

def op_count_sOimqzmtZV(a):
    if op_eewbuw0ToL(a,54) > 164 or op_2O29ZX4yK6(a) >= 422:
        count = op_count_PjbVkMzmXE(a,a)+op_count_sdazOOVcIp(a,a)+op_count_f6k1SAg4EE(op_PjbVkMzmXE(a,a),op_sdazOOVcIp(a,a))+op_count_UeUK5QjOtW(op_f6k1SAg4EE(op_PjbVkMzmXE(a,a),op_sdazOOVcIp(a,a)))+op_count_eewbuw0ToL(a,54)+op_count_2O29ZX4yK6(a)
    else:
        count = op_count_E4l6HwMY31(93,a)+op_count_gx7XJ7hdpj(226,a)+op_count_y2kQTS4a70(op_E4l6HwMY31(93,a),op_gx7XJ7hdpj(226,a))+op_count_LYeZOJ0nQG(op_y2kQTS4a70(op_E4l6HwMY31(93,a),op_gx7XJ7hdpj(226,a)))
    return count


def op_jgiYmmuMZp(a):
    return op_j9kHMeSvPp(op_ancx8kZcWl(op_zFNL8mZEFB(a,a)),op_SPuZE40Ntn(op_OWnFPqjWlR(562,a),op_eLAdDNolq6(a)))

def op_count_jgiYmmuMZp(a):
    count = op_count_zFNL8mZEFB(a,a)+op_count_ancx8kZcWl(op_zFNL8mZEFB(a,a))+op_count_OWnFPqjWlR(562,a)+op_count_eLAdDNolq6(a)+op_count_SPuZE40Ntn(op_OWnFPqjWlR(562,a),op_eLAdDNolq6(a))+op_count_j9kHMeSvPp(op_ancx8kZcWl(op_zFNL8mZEFB(a,a)),op_SPuZE40Ntn(op_OWnFPqjWlR(562,a),op_eLAdDNolq6(a)))
    return count


a⋊⪄⋢b = { ((⪁≄(a⪲⨢b))⨑((a⩹b)⊵(a≣144))) }

def op_87HMmqlxet(a, b):
    return op_IxJHfR5psi(op_2O29ZX4yK6(op_6iafYuwGo8(a,b)),op_eaFBhJ0Uku(op_2Wsdkap16l(a,b),op_ObEyaaML9x(a,144)))

def op_count_87HMmqlxet(a, b):
    count = op_count_6iafYuwGo8(a,b)+op_count_2O29ZX4yK6(op_6iafYuwGo8(a,b))+op_count_2Wsdkap16l(a,b)+op_count_ObEyaaML9x(a,144)+op_count_eaFBhJ0Uku(op_2Wsdkap16l(a,b),op_ObEyaaML9x(a,144))+op_count_IxJHfR5psi(op_2O29ZX4yK6(op_6iafYuwGo8(a,b)),op_eaFBhJ0Uku(op_2Wsdkap16l(a,b),op_ObEyaaML9x(a,144)))
    return count


def op_LfDFAzw8az(a):
    if a != 17 or a > 137 or op_D3AQDKkPcf(a,371) == 633:
        return op_2O29ZX4yK6(a)
    else:
        return op_giaUb8UVhq(a,283)

def op_count_LfDFAzw8az(a):
    if a != 17 or a > 137 or op_D3AQDKkPcf(a,371) == 633:
        count = op_count_2O29ZX4yK6(a)+op_count_D3AQDKkPcf(a,371)
    else:
        count = op_count_giaUb8UVhq(a,283)
    return count


def op_E9STjFE31x(a):
    return op_BAIXFdYaz3(op_h57jOAbG9W(246),op_vg4gO5BX6G(a,a))

def op_count_E9STjFE31x(a):
    count = op_count_h57jOAbG9W(246)+op_count_vg4gO5BX6G(a,a)+op_count_BAIXFdYaz3(op_h57jOAbG9W(246),op_vg4gO5BX6G(a,a))
    return count


a≜∖⩎b = { (((b∄454)⩦(b∙∹∝a))⪈⋁⩁((5⩣⫁∢18)⊋≦⊧(a∲⫓73))) , if b<135 ; (((b⨳⩥⨓a)⪍)≣((b⨩≤⫤b)⨊⨠)) , else }

def op_NHqdvowzfS(a, b):
    if b < 135:
        return op_GMyVS5K48T(op_0kmYd0q39Y(op_tnyRA5sazQ(b,454),op_HmxsFra2vL(b,a)),op_oRDoc9rAEX(op_JDUIKTTSIa(5,18),op_i8ToyICDmI(a,73)))
    else:
        return op_ObEyaaML9x(op_SHWCOp9I4E(op_nCS4ZIUYfx(b,a)),op_qU6oQAhJaQ(op_neKQRQQIil(b,b)))

def op_count_NHqdvowzfS(a, b):
    if b < 135:
        count = op_count_tnyRA5sazQ(b,454)+op_count_HmxsFra2vL(b,a)+op_count_0kmYd0q39Y(op_tnyRA5sazQ(b,454),op_HmxsFra2vL(b,a))+op_count_JDUIKTTSIa(5,18)+op_count_i8ToyICDmI(a,73)+op_count_oRDoc9rAEX(op_JDUIKTTSIa(5,18),op_i8ToyICDmI(a,73))+op_count_GMyVS5K48T(op_0kmYd0q39Y(op_tnyRA5sazQ(b,454),op_HmxsFra2vL(b,a)),op_oRDoc9rAEX(op_JDUIKTTSIa(5,18),op_i8ToyICDmI(a,73)))
    else:
        count = op_count_nCS4ZIUYfx(b,a)+op_count_SHWCOp9I4E(op_nCS4ZIUYfx(b,a))+op_count_neKQRQQIil(b,b)+op_count_qU6oQAhJaQ(op_neKQRQQIil(b,b))+op_count_ObEyaaML9x(op_SHWCOp9I4E(op_nCS4ZIUYfx(b,a)),op_qU6oQAhJaQ(op_neKQRQQIil(b,b)))
    return count


⨙⊒a = { (((3⋢a)⩜⩌)⊔%((a⊱⇼⊻a)≝⊿(a⩌⋺a))) }

def op_X7PnKmWg4K(a):
    return op_uysxUYN2L2(op_2DRhT6gtPg(op_NdELin8EPX(3,a)),op_OKKcZfAt5B(op_FyVja0WsTP(a,a),op_g7Hmc5v1ko(a,a)))

def op_count_X7PnKmWg4K(a):
    count = op_count_NdELin8EPX(3,a)+op_count_2DRhT6gtPg(op_NdELin8EPX(3,a))+op_count_FyVja0WsTP(a,a)+op_count_g7Hmc5v1ko(a,a)+op_count_OKKcZfAt5B(op_FyVja0WsTP(a,a),op_g7Hmc5v1ko(a,a))+op_count_uysxUYN2L2(op_2DRhT6gtPg(op_NdELin8EPX(3,a)),op_OKKcZfAt5B(op_FyVja0WsTP(a,a),op_g7Hmc5v1ko(a,a)))
    return count


⊅≊a = { (⊡⇒⪪((a⊭↱a)⊉≛↸(a⫸a))) , if (a⊠≄⫣)>22 ; (((⨞⊢a)⊵(a⋳/143))⋅⇍((a⋆⊨a)⪹)) , else }

def op_gIZzZX53MY(a):
    if op_DIvbN7qnHd(a) > 22:
        return op_wisItNeSwq(op_DZ8iAZOCBD(op_COABgblf1C(a,a),op_Qaz2MhZaG5(a,a)))
    else:
        return op_AdZkA7nFnk(op_eaFBhJ0Uku(op_xUOZtlo3hN(a),op_m612RDITqL(a,143)),op_B3sABdIn96(op_uTBsSls0VN(a,a)))

def op_count_gIZzZX53MY(a):
    if op_DIvbN7qnHd(a) > 22:
        count = op_count_COABgblf1C(a,a)+op_count_Qaz2MhZaG5(a,a)+op_count_DZ8iAZOCBD(op_COABgblf1C(a,a),op_Qaz2MhZaG5(a,a))+op_count_wisItNeSwq(op_DZ8iAZOCBD(op_COABgblf1C(a,a),op_Qaz2MhZaG5(a,a)))+op_count_DIvbN7qnHd(a)
    else:
        count = op_count_xUOZtlo3hN(a)+op_count_m612RDITqL(a,143)+op_count_eaFBhJ0Uku(op_xUOZtlo3hN(a),op_m612RDITqL(a,143))+op_count_uTBsSls0VN(a,a)+op_count_B3sABdIn96(op_uTBsSls0VN(a,a))+op_count_AdZkA7nFnk(op_eaFBhJ0Uku(op_xUOZtlo3hN(a),op_m612RDITqL(a,143)),op_B3sABdIn96(op_uTBsSls0VN(a,a)))
    return count


def op_AiZuih6wUj(a, b):
    if op_rFxw8gIMmB(b) > 313:
        return op_Tmr9JGNMVH(op_ObEyaaML9x(op_rPNtK4BLRO(262,b),a))
    else:
        return op_YSKBFp38Pu(op_GNmBfxrna9(op_LkLIoiE525(b)),op_ZNVVrZ94lY(op_840vADziXz(363)))

def op_count_AiZuih6wUj(a, b):
    if op_rFxw8gIMmB(b) > 313:
        count = op_count_rPNtK4BLRO(262,b)+op_count_ObEyaaML9x(op_rPNtK4BLRO(262,b),a)+op_count_Tmr9JGNMVH(op_ObEyaaML9x(op_rPNtK4BLRO(262,b),a))+op_count_rFxw8gIMmB(b)
    else:
        count = op_count_LkLIoiE525(b)+op_count_GNmBfxrna9(op_LkLIoiE525(b))+op_count_840vADziXz(363)+op_count_ZNVVrZ94lY(op_840vADziXz(363))+op_count_YSKBFp38Pu(op_GNmBfxrna9(op_LkLIoiE525(b)),op_ZNVVrZ94lY(op_840vADziXz(363)))
    return count


def op_7vLe0YQdZ4(a):
    return op_COABgblf1C(op_dfKe02y8D2(a,a),op_h57jOAbG9W(a))

def op_count_7vLe0YQdZ4(a):
    count = op_count_dfKe02y8D2(a,a)+op_count_h57jOAbG9W(a)+op_count_COABgblf1C(op_dfKe02y8D2(a,a),op_h57jOAbG9W(a))
    return count


def op_wBOwH2YBLT(a):
    if op_pB6Fcnrjim(a) >= 430:
        return op_GNmBfxrna9(op_d8xe6WWVfM(op_PxpmPgHHJV(a),op_b1mGkbI4Oy(49,a)))
    else:
        return op_nbuSfrB4hB(op_zFNL8mZEFB(op_rysDP5nf3Z(a,a),op_bF6eod5Gvf(230,a)),op_fLGIAiPz9h(op_E4l6HwMY31(a,105)))

def op_count_wBOwH2YBLT(a):
    if op_pB6Fcnrjim(a) >= 430:
        count = op_count_PxpmPgHHJV(a)+op_count_b1mGkbI4Oy(49,a)+op_count_d8xe6WWVfM(op_PxpmPgHHJV(a),op_b1mGkbI4Oy(49,a))+op_count_GNmBfxrna9(op_d8xe6WWVfM(op_PxpmPgHHJV(a),op_b1mGkbI4Oy(49,a)))+op_count_pB6Fcnrjim(a)
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_bF6eod5Gvf(230,a)+op_count_zFNL8mZEFB(op_rysDP5nf3Z(a,a),op_bF6eod5Gvf(230,a))+op_count_E4l6HwMY31(a,105)+op_count_fLGIAiPz9h(op_E4l6HwMY31(a,105))+op_count_nbuSfrB4hB(op_zFNL8mZEFB(op_rysDP5nf3Z(a,a),op_bF6eod5Gvf(230,a)),op_fLGIAiPz9h(op_E4l6HwMY31(a,105)))
    return count


def op_cYEGcM02R4(a, b):
    if (op_ut0Nd8ObBp(b) < 173 or op_QvoQhV0rrE(a,446) < 45):
        return op_d8xe6WWVfM(op_12rbrZMWeM(a,b),op_fLGIAiPz9h(b))
    else:
        return op_fOIeswaMU4(op_wztAlM01eG(a))

def op_count_cYEGcM02R4(a, b):
    if (op_ut0Nd8ObBp(b) < 173 or op_QvoQhV0rrE(a,446) < 45):
        count = op_count_12rbrZMWeM(a,b)+op_count_fLGIAiPz9h(b)+op_count_d8xe6WWVfM(op_12rbrZMWeM(a,b),op_fLGIAiPz9h(b))+op_count_ut0Nd8ObBp(b)+op_count_QvoQhV0rrE(a,446)
    else:
        count = op_count_wztAlM01eG(a)+op_count_fOIeswaMU4(op_wztAlM01eG(a))
    return count


def op_TRBbsPMh7I(a, b):
    return op_KbjG8mgYpV(op_b1mGkbI4Oy(op_18saOjeKKm(a),op_fLfyAuxYJD(b)),op_4JGOJzXMq1(op_64EQ39e0fC(180,a),op_YSKBFp38Pu(103,b)))

def op_count_TRBbsPMh7I(a, b):
    count = op_count_18saOjeKKm(a)+op_count_fLfyAuxYJD(b)+op_count_b1mGkbI4Oy(op_18saOjeKKm(a),op_fLfyAuxYJD(b))+op_count_64EQ39e0fC(180,a)+op_count_YSKBFp38Pu(103,b)+op_count_4JGOJzXMq1(op_64EQ39e0fC(180,a),op_YSKBFp38Pu(103,b))+op_count_KbjG8mgYpV(op_b1mGkbI4Oy(op_18saOjeKKm(a),op_fLfyAuxYJD(b)),op_4JGOJzXMq1(op_64EQ39e0fC(180,a),op_YSKBFp38Pu(103,b)))
    return count


a⇢⊔↬ = { ((a⪶≀⋏557)⊔(a↢a)) , if (a⊢≏≾157)!=536 ; ((a⨻⪊⨷a)⊝⨜≵) , else }

def op_artUkYu5yl(a):
    if op_qxqspddX8k(a,157) != 536:
        return op_E4l6HwMY31(op_zR4jO40bMj(a,557),op_WR6HLWljOP(a,a))
    else:
        return op_CuHhPb8RwQ(op_Pkwamo1tM2(a,a))

def op_count_artUkYu5yl(a):
    if op_qxqspddX8k(a,157) != 536:
        count = op_count_zR4jO40bMj(a,557)+op_count_WR6HLWljOP(a,a)+op_count_E4l6HwMY31(op_zR4jO40bMj(a,557),op_WR6HLWljOP(a,a))+op_count_qxqspddX8k(a,157)
    else:
        count = op_count_Pkwamo1tM2(a,a)+op_count_CuHhPb8RwQ(op_Pkwamo1tM2(a,a))
    return count


def op_j9MLdTHyci(a):
    if op_bPywburJMS(a,167) != 399 and a > 440:
        return op_JLbD19bQDL(a)
    else:
        return op_HmxsFra2vL(a,102)

def op_count_j9MLdTHyci(a):
    if op_bPywburJMS(a,167) != 399 and a > 440:
        count = op_count_JLbD19bQDL(a)+op_count_bPywburJMS(a,167)
    else:
        count = op_count_HmxsFra2vL(a,102)
    return count


def op_okBuQGwuHO(a):
    if op_KROiRRz3d6(a,850) == 365:
        return op_OKKcZfAt5B(op_j9kHMeSvPp(op_IwW236VD4Y(300,a),op_qU6oQAhJaQ(a)),op_nREPSIbpBE(op_z2JHNkvbdm(a,a),op_wisItNeSwq(a)))
    else:
        return op_uTBsSls0VN(op_Qaz2MhZaG5(op_RygbFNSyEJ(a,a),a),op_3YWlZA9bsa(176,op_th50nGnoUm(11)))

def op_count_okBuQGwuHO(a):
    if op_KROiRRz3d6(a,850) == 365:
        count = op_count_IwW236VD4Y(300,a)+op_count_qU6oQAhJaQ(a)+op_count_j9kHMeSvPp(op_IwW236VD4Y(300,a),op_qU6oQAhJaQ(a))+op_count_z2JHNkvbdm(a,a)+op_count_wisItNeSwq(a)+op_count_nREPSIbpBE(op_z2JHNkvbdm(a,a),op_wisItNeSwq(a))+op_count_OKKcZfAt5B(op_j9kHMeSvPp(op_IwW236VD4Y(300,a),op_qU6oQAhJaQ(a)),op_nREPSIbpBE(op_z2JHNkvbdm(a,a),op_wisItNeSwq(a)))+op_count_KROiRRz3d6(a,850)
    else:
        count = op_count_RygbFNSyEJ(a,a)+op_count_Qaz2MhZaG5(op_RygbFNSyEJ(a,a),a)+op_count_th50nGnoUm(11)+op_count_3YWlZA9bsa(176,op_th50nGnoUm(11))+op_count_uTBsSls0VN(op_Qaz2MhZaG5(op_RygbFNSyEJ(a,a),a),op_3YWlZA9bsa(176,op_th50nGnoUm(11)))
    return count


⋳⨊⪊a = { (a⪢⨴) , if (a∵≐)>433 ; (a⪖⪡a) , else }

def op_JIizHpWMWm(a):
    if op_59igzFyhWz(a) > 433:
        return op_UMMmb9LONo(a)
    else:
        return op_7PjNe5qSIJ(a,a)

def op_count_JIizHpWMWm(a):
    if op_59igzFyhWz(a) > 433:
        count = op_count_UMMmb9LONo(a)+op_count_59igzFyhWz(a)
    else:
        count = op_count_7PjNe5qSIJ(a,a)
    return count


def op_ylL9BKhKk8(a):
    return op_W4YGzv6Whe(op_w2P8NbNXyL(op_AFVx7xoS7T(a,156),op_COABgblf1C(a,34)),op_eaFBhJ0Uku(op_XnXgA4xnOs(a,a),op_Api82iH42a(15,a)))

def op_count_ylL9BKhKk8(a):
    count = op_count_AFVx7xoS7T(a,156)+op_count_COABgblf1C(a,34)+op_count_w2P8NbNXyL(op_AFVx7xoS7T(a,156),op_COABgblf1C(a,34))+op_count_XnXgA4xnOs(a,a)+op_count_Api82iH42a(15,a)+op_count_eaFBhJ0Uku(op_XnXgA4xnOs(a,a),op_Api82iH42a(15,a))+op_count_W4YGzv6Whe(op_w2P8NbNXyL(op_AFVx7xoS7T(a,156),op_COABgblf1C(a,34)),op_eaFBhJ0Uku(op_XnXgA4xnOs(a,a),op_Api82iH42a(15,a)))
    return count


def op_T7sZ0gI3hr(a):
    return op_PPChnnnBFF(op_Pkwamo1tM2(373,44),op_EZ6cjipfBz(a))

def op_count_T7sZ0gI3hr(a):
    count = op_count_Pkwamo1tM2(373,44)+op_count_EZ6cjipfBz(a)+op_count_PPChnnnBFF(op_Pkwamo1tM2(373,44),op_EZ6cjipfBz(a))
    return count


def op_Cf2mLoFUVm(a):
    return op_j9kHMeSvPp(op_UoVew8f2p2(op_BAIXFdYaz3(a,a),op_aOI3TlLUAE(a)),op_Bmrmz2XGnR(a,op_u7fv1HBiaC(a)))

def op_count_Cf2mLoFUVm(a):
    count = op_count_BAIXFdYaz3(a,a)+op_count_aOI3TlLUAE(a)+op_count_UoVew8f2p2(op_BAIXFdYaz3(a,a),op_aOI3TlLUAE(a))+op_count_u7fv1HBiaC(a)+op_count_Bmrmz2XGnR(a,op_u7fv1HBiaC(a))+op_count_j9kHMeSvPp(op_UoVew8f2p2(op_BAIXFdYaz3(a,a),op_aOI3TlLUAE(a)),op_Bmrmz2XGnR(a,op_u7fv1HBiaC(a)))
    return count


a⋡⋎b = { (((b⫸⇳a)≼(a⨲⇖⇮))⪚((a⇖↽b)∇⊂⋱(≤/b))) , if (b⊕⨔)>266 ; (((a⪎↠b)⊵(190⋝⋈⪟b))⋢((⊤⊝a)⫍⨯↯)) , else }

def op_4wZW19qsbv(a, b):
    if op_ut0Nd8ObBp(b) > 266:
        return op_HrjLwUk87U(op_SPuZE40Ntn(op_gx7XJ7hdpj(b,a),op_oj4YnGA3cE(a)),op_nhYeJWJD5X(op_cwbF3JtlMN(a,b),op_eLAdDNolq6(b)))
    else:
        return op_NdELin8EPX(op_eaFBhJ0Uku(op_3tVxb0NHM4(a,b),op_2DDjHMKMc0(190,b)),op_ZcwmYACASQ(op_rXAclfmB4M(a)))

def op_count_4wZW19qsbv(a, b):
    if op_ut0Nd8ObBp(b) > 266:
        count = op_count_gx7XJ7hdpj(b,a)+op_count_oj4YnGA3cE(a)+op_count_SPuZE40Ntn(op_gx7XJ7hdpj(b,a),op_oj4YnGA3cE(a))+op_count_cwbF3JtlMN(a,b)+op_count_eLAdDNolq6(b)+op_count_nhYeJWJD5X(op_cwbF3JtlMN(a,b),op_eLAdDNolq6(b))+op_count_HrjLwUk87U(op_SPuZE40Ntn(op_gx7XJ7hdpj(b,a),op_oj4YnGA3cE(a)),op_nhYeJWJD5X(op_cwbF3JtlMN(a,b),op_eLAdDNolq6(b)))+op_count_ut0Nd8ObBp(b)
    else:
        count = op_count_3tVxb0NHM4(a,b)+op_count_2DDjHMKMc0(190,b)+op_count_eaFBhJ0Uku(op_3tVxb0NHM4(a,b),op_2DDjHMKMc0(190,b))+op_count_rXAclfmB4M(a)+op_count_ZcwmYACASQ(op_rXAclfmB4M(a))+op_count_NdELin8EPX(op_eaFBhJ0Uku(op_3tVxb0NHM4(a,b),op_2DDjHMKMc0(190,b)),op_ZcwmYACASQ(op_rXAclfmB4M(a)))
    return count


def op_BHIexZqHmj(a):
    return op_XnXgA4xnOs(op_AFVx7xoS7T(a,a),op_U6pG0PXrV3(a))

def op_count_BHIexZqHmj(a):
    count = op_count_AFVx7xoS7T(a,a)+op_count_U6pG0PXrV3(a)+op_count_XnXgA4xnOs(op_AFVx7xoS7T(a,a),op_U6pG0PXrV3(a))
    return count


def op_gDxaUCbvBQ(a, b):
    return op_1tCtMSPkGf(op_xRrnTEsQ6j(a,op_tDVI6bDdAd(b)))

def op_count_gDxaUCbvBQ(a, b):
    count = op_count_tDVI6bDdAd(b)+op_count_xRrnTEsQ6j(a,op_tDVI6bDdAd(b))+op_count_1tCtMSPkGf(op_xRrnTEsQ6j(a,op_tDVI6bDdAd(b)))
    return count


def op_mQAUEyL64v(a, b):
    if a < 285:
        return op_d8xe6WWVfM(op_ew17WAA8t6(op_2GS7woTJqF(b,22)),op_PPChnnnBFF(op_aOI3TlLUAE(a),op_IwW236VD4Y(a,b)))
    else:
        return op_nhYeJWJD5X(op_l1M9WJ3V7u(op_pB6Fcnrjim(351)),op_12rbrZMWeM(op_b1mGkbI4Oy(432,61),op_3EYGwJThht(b,a)))

def op_count_mQAUEyL64v(a, b):
    if a < 285:
        count = op_count_2GS7woTJqF(b,22)+op_count_ew17WAA8t6(op_2GS7woTJqF(b,22))+op_count_aOI3TlLUAE(a)+op_count_IwW236VD4Y(a,b)+op_count_PPChnnnBFF(op_aOI3TlLUAE(a),op_IwW236VD4Y(a,b))+op_count_d8xe6WWVfM(op_ew17WAA8t6(op_2GS7woTJqF(b,22)),op_PPChnnnBFF(op_aOI3TlLUAE(a),op_IwW236VD4Y(a,b)))
    else:
        count = op_count_pB6Fcnrjim(351)+op_count_l1M9WJ3V7u(op_pB6Fcnrjim(351))+op_count_b1mGkbI4Oy(432,61)+op_count_3EYGwJThht(b,a)+op_count_12rbrZMWeM(op_b1mGkbI4Oy(432,61),op_3EYGwJThht(b,a))+op_count_nhYeJWJD5X(op_l1M9WJ3V7u(op_pB6Fcnrjim(351)),op_12rbrZMWeM(op_b1mGkbI4Oy(432,61),op_3EYGwJThht(b,a)))
    return count


def op_6y5rNZ8Vuy(a, b):
    if op_fOIeswaMU4(a) == 241 or op_2GS7woTJqF(a,342) > 242:
        return op_rPNtK4BLRO(op_qxqspddX8k(b,b),op_kuIXHzHcAH(a,b))
    else:
        return op_rlpcYeipVY(op_7PjNe5qSIJ(b,a))

def op_count_6y5rNZ8Vuy(a, b):
    if op_fOIeswaMU4(a) == 241 or op_2GS7woTJqF(a,342) > 242:
        count = op_count_qxqspddX8k(b,b)+op_count_kuIXHzHcAH(a,b)+op_count_rPNtK4BLRO(op_qxqspddX8k(b,b),op_kuIXHzHcAH(a,b))+op_count_fOIeswaMU4(a)+op_count_2GS7woTJqF(a,342)
    else:
        count = op_count_7PjNe5qSIJ(b,a)+op_count_rlpcYeipVY(op_7PjNe5qSIJ(b,a))
    return count


a↛ = { (a⊭a) , if (↥≼⋛a)<404 ; (((99⫸a)≻⇥≳(a≶a))⪲⨢(⫟(a≟⫹a))) , else }

def op_HZwfF5iRlC(a):
    if op_x5lMkHmzsq(a) < 404:
        return op_4JGOJzXMq1(a,a)
    else:
        return op_6iafYuwGo8(op_aiqF8n6J9c(op_Qaz2MhZaG5(99,a),op_Q2SPaKwpPJ(a,a)),op_z4E1FaHLuy(op_z2JHNkvbdm(a,a)))

def op_count_HZwfF5iRlC(a):
    if op_x5lMkHmzsq(a) < 404:
        count = op_count_4JGOJzXMq1(a,a)+op_count_x5lMkHmzsq(a)
    else:
        count = op_count_Qaz2MhZaG5(99,a)+op_count_Q2SPaKwpPJ(a,a)+op_count_aiqF8n6J9c(op_Qaz2MhZaG5(99,a),op_Q2SPaKwpPJ(a,a))+op_count_z2JHNkvbdm(a,a)+op_count_z4E1FaHLuy(op_z2JHNkvbdm(a,a))+op_count_6iafYuwGo8(op_aiqF8n6J9c(op_Qaz2MhZaG5(99,a),op_Q2SPaKwpPJ(a,a)),op_z4E1FaHLuy(op_z2JHNkvbdm(a,a)))
    return count


def op_BCDLqfIOje(a):
    return op_GMyVS5K48T(a,a)

def op_count_BCDLqfIOje(a):
    count = op_count_GMyVS5K48T(a,a)
    return count


a⋏⫽≂b = { (b⊭↱a) , if (b∇⊂⋱348)<33 ; (482⇑∁⪛) , else }

def op_9WksLPeLyt(a, b):
    if op_nhYeJWJD5X(b,348) < 33:
        return op_COABgblf1C(b,a)
    else:
        return op_P75hhshrwX(482)

def op_count_9WksLPeLyt(a, b):
    if op_nhYeJWJD5X(b,348) < 33:
        count = op_count_COABgblf1C(b,a)+op_count_nhYeJWJD5X(b,348)
    else:
        count = op_count_P75hhshrwX(482)
    return count


def op_6pLZ6DX5cL(a):
    return op_ar1w6gUwHX(25,a)

def op_count_6pLZ6DX5cL(a):
    count = op_count_ar1w6gUwHX(25,a)
    return count


a⪄⊣b = { ((a⇢b)≾⋳) , if b==381 ; a , else }

def op_9G2jV8oAtO(a, b):
    if b == 381:
        return op_1tCtMSPkGf(op_GMN7JP6WpN(a,b))
    else:
        return a

def op_count_9G2jV8oAtO(a, b):
    if b == 381:
        count = op_count_GMN7JP6WpN(a,b)+op_count_1tCtMSPkGf(op_GMN7JP6WpN(a,b))
    else:
        count = 1
    return count


def op_oUXishvm7t(a, b):
    return op_HJ9erzHUuu(op_JgXZM7XvWE(a,b),op_S56z7WVPBn(b))

def op_count_oUXishvm7t(a, b):
    count = op_count_JgXZM7XvWE(a,b)+op_count_S56z7WVPBn(b)+op_count_HJ9erzHUuu(op_JgXZM7XvWE(a,b),op_S56z7WVPBn(b))
    return count


a⫇⊯b = { (((a⪕b)⫚↹⊑(b+⪬∐b))⫍⨯↯) , if (a⊎←↗)>78 ; (((⫄⋦≢a)≦↸(b∲⫓304))≻⇥≳(a⋎b)) , else }

def op_pxtEXgrBIH(a, b):
    if op_dwb5p0fa6d(a) > 78:
        return op_ZcwmYACASQ(op_dfKe02y8D2(op_umQnsF7QlU(a,b),op_2GS7woTJqF(b,b)))
    else:
        return op_aiqF8n6J9c(op_RygbFNSyEJ(op_4kvgVkQeiQ(a),op_i8ToyICDmI(b,304)),op_qy3n0tapmE(a,b))

def op_count_pxtEXgrBIH(a, b):
    if op_dwb5p0fa6d(a) > 78:
        count = op_count_umQnsF7QlU(a,b)+op_count_2GS7woTJqF(b,b)+op_count_dfKe02y8D2(op_umQnsF7QlU(a,b),op_2GS7woTJqF(b,b))+op_count_ZcwmYACASQ(op_dfKe02y8D2(op_umQnsF7QlU(a,b),op_2GS7woTJqF(b,b)))+op_count_dwb5p0fa6d(a)
    else:
        count = op_count_4kvgVkQeiQ(a)+op_count_i8ToyICDmI(b,304)+op_count_RygbFNSyEJ(op_4kvgVkQeiQ(a),op_i8ToyICDmI(b,304))+op_count_qy3n0tapmE(a,b)+op_count_aiqF8n6J9c(op_RygbFNSyEJ(op_4kvgVkQeiQ(a),op_i8ToyICDmI(b,304)),op_qy3n0tapmE(a,b))
    return count


def op_kUU6uY7bNG(a):
    return op_cFVlceoRkX(op_Z2TMIBDE3Q(op_AdZkA7nFnk(a,a)),op_qy3n0tapmE(op_QMFrweE19q(a,a),op_fjqJgF5yyp(a)))

def op_count_kUU6uY7bNG(a):
    count = op_count_AdZkA7nFnk(a,a)+op_count_Z2TMIBDE3Q(op_AdZkA7nFnk(a,a))+op_count_QMFrweE19q(a,a)+op_count_fjqJgF5yyp(a)+op_count_qy3n0tapmE(op_QMFrweE19q(a,a),op_fjqJgF5yyp(a))+op_count_cFVlceoRkX(op_Z2TMIBDE3Q(op_AdZkA7nFnk(a,a)),op_qy3n0tapmE(op_QMFrweE19q(a,a),op_fjqJgF5yyp(a)))
    return count


def op_lzCx6JGp55(a, b):
    if b <= 550:
        return op_dAAkup5nzi(op_RygbFNSyEJ(op_12rbrZMWeM(a,a),op_xRrnTEsQ6j(277,34)),op_tIhPxZTbsh(a,op_inCIaGQf8u(4,b)))
    else:
        return op_UggxBX659n(op_C6VvDP6HwP(op_ar1w6gUwHX(558,b)),12)

def op_count_lzCx6JGp55(a, b):
    if b <= 550:
        count = op_count_12rbrZMWeM(a,a)+op_count_xRrnTEsQ6j(277,34)+op_count_RygbFNSyEJ(op_12rbrZMWeM(a,a),op_xRrnTEsQ6j(277,34))+op_count_inCIaGQf8u(4,b)+op_count_tIhPxZTbsh(a,op_inCIaGQf8u(4,b))+op_count_dAAkup5nzi(op_RygbFNSyEJ(op_12rbrZMWeM(a,a),op_xRrnTEsQ6j(277,34)),op_tIhPxZTbsh(a,op_inCIaGQf8u(4,b)))
    else:
        count = op_count_ar1w6gUwHX(558,b)+op_count_C6VvDP6HwP(op_ar1w6gUwHX(558,b))+op_count_UggxBX659n(op_C6VvDP6HwP(op_ar1w6gUwHX(558,b)),12)
    return count


def op_k3VSsLX0lY(a):
    return op_ap3xiM279w(op_cTDWOvIxvz(a,212),op_COABgblf1C(a,a))

def op_count_k3VSsLX0lY(a):
    count = op_count_cTDWOvIxvz(a,212)+op_count_COABgblf1C(a,a)+op_count_ap3xiM279w(op_cTDWOvIxvz(a,212),op_COABgblf1C(a,a))
    return count


def op_BcBLqVX0Dd(a):
    if op_Ph9nP6C5qx(a,324) != 11 or a != 444:
        return op_irKjLsMeKy(a,a)
    else:
        return op_bl5wxAcryP(7)

def op_count_BcBLqVX0Dd(a):
    if op_Ph9nP6C5qx(a,324) != 11 or a != 444:
        count = op_count_irKjLsMeKy(a,a)+op_count_Ph9nP6C5qx(a,324)
    else:
        count = op_count_bl5wxAcryP(7)
    return count


def op_yp9CRaSDpl(a):
    if (op_dAAkup5nzi(a,212) > 211 or a <= 243):
        return op_CuHhPb8RwQ(op_UqUOXUQnbU(op_QvoQhV0rrE(a,494),19))
    else:
        return op_QvoQhV0rrE(op_2GS7woTJqF(op_Rw46J52cBJ(a,a),op_9FxExcQeMw(a,a)),a)

def op_count_yp9CRaSDpl(a):
    if (op_dAAkup5nzi(a,212) > 211 or a <= 243):
        count = op_count_QvoQhV0rrE(a,494)+op_count_UqUOXUQnbU(op_QvoQhV0rrE(a,494),19)+op_count_CuHhPb8RwQ(op_UqUOXUQnbU(op_QvoQhV0rrE(a,494),19))+op_count_dAAkup5nzi(a,212)
    else:
        count = op_count_Rw46J52cBJ(a,a)+op_count_9FxExcQeMw(a,a)+op_count_2GS7woTJqF(op_Rw46J52cBJ(a,a),op_9FxExcQeMw(a,a))+op_count_QvoQhV0rrE(op_2GS7woTJqF(op_Rw46J52cBJ(a,a),op_9FxExcQeMw(a,a)),a)
    return count


def op_SpJsxfHw9E(a):
    return op_9FxExcQeMw(a,op_HrjLwUk87U(a,a))

def op_count_SpJsxfHw9E(a):
    count = op_count_HrjLwUk87U(a,a)+op_count_9FxExcQeMw(a,op_HrjLwUk87U(a,a))
    return count


def op_XCNViHof92(a):
    if op_9bazX3JMtO(a,226) == 65:
        return op_KPf6cnQVty(a,362)
    else:
        return op_tIhPxZTbsh(a,6)

def op_count_XCNViHof92(a):
    if op_9bazX3JMtO(a,226) == 65:
        count = op_count_KPf6cnQVty(a,362)+op_count_9bazX3JMtO(a,226)
    else:
        count = op_count_tIhPxZTbsh(a,6)
    return count


def op_nkmBtWIxhL(a):
    return op_eftAHwPbeA(op_2jG7DiviLq(a))

def op_count_nkmBtWIxhL(a):
    count = op_count_2jG7DiviLq(a)+op_count_eftAHwPbeA(op_2jG7DiviLq(a))
    return count


a⨙⩌⊫ = { (⩰(a⪕a)) , if (a⊉↱≁987)<17 ; ((⫇⪃↚20)∫⋜⩖(a⊲⩕⊾a)) , else }

def op_JvXlSfnreT(a):
    if op_w2P8NbNXyL(a,987) < 17:
        return op_WkeUrDK8WX(op_umQnsF7QlU(a,a))
    else:
        return op_JgXZM7XvWE(op_Q9TX5pQS3Y(20),op_DmTXOeWf9t(a,a))

def op_count_JvXlSfnreT(a):
    if op_w2P8NbNXyL(a,987) < 17:
        count = op_count_umQnsF7QlU(a,a)+op_count_WkeUrDK8WX(op_umQnsF7QlU(a,a))+op_count_w2P8NbNXyL(a,987)
    else:
        count = op_count_Q9TX5pQS3Y(20)+op_count_DmTXOeWf9t(a,a)+op_count_JgXZM7XvWE(op_Q9TX5pQS3Y(20),op_DmTXOeWf9t(a,a))
    return count


def op_TcqBw3IAzW(a):
    return op_Ikt5ks8PT7(op_P8v4zCKN1o(a),op_csT5a4elgc(a))

def op_count_TcqBw3IAzW(a):
    count = op_count_P8v4zCKN1o(a)+op_count_csT5a4elgc(a)+op_count_Ikt5ks8PT7(op_P8v4zCKN1o(a),op_csT5a4elgc(a))
    return count


a⋵≘⪟b = { ((⪷∈↠(∨⫘⊿a))⋝⋈⪟((a⨻⪊⨷b)⋆⊨(⨍⩸↶b))) , if (a⪎⩰)>397 ; (((a⨴b)⊵(⪭≋⋼a))≜) , else }

def op_w4RIuuUtAa(a, b):
    if op_2ufhKmSs5H(a) > 397:
        return op_2DDjHMKMc0(op_Kn0TacbtGK(op_qxp9F1VMeC(a)),op_uTBsSls0VN(op_Pkwamo1tM2(a,b),op_2jG7DiviLq(b)))
    else:
        return op_jvbZP6NeOL(op_eaFBhJ0Uku(op_jBC4ymW3D7(a,b),op_EZ6cjipfBz(a)))

def op_count_w4RIuuUtAa(a, b):
    if op_2ufhKmSs5H(a) > 397:
        count = op_count_qxp9F1VMeC(a)+op_count_Kn0TacbtGK(op_qxp9F1VMeC(a))+op_count_Pkwamo1tM2(a,b)+op_count_2jG7DiviLq(b)+op_count_uTBsSls0VN(op_Pkwamo1tM2(a,b),op_2jG7DiviLq(b))+op_count_2DDjHMKMc0(op_Kn0TacbtGK(op_qxp9F1VMeC(a)),op_uTBsSls0VN(op_Pkwamo1tM2(a,b),op_2jG7DiviLq(b)))+op_count_2ufhKmSs5H(a)
    else:
        count = op_count_jBC4ymW3D7(a,b)+op_count_EZ6cjipfBz(a)+op_count_eaFBhJ0Uku(op_jBC4ymW3D7(a,b),op_EZ6cjipfBz(a))+op_count_jvbZP6NeOL(op_eaFBhJ0Uku(op_jBC4ymW3D7(a,b),op_EZ6cjipfBz(a)))
    return count


def op_zWEPWlwaj2(a, b):
    if op_C6VvDP6HwP(b) == 48 and op_rIsGeVJWJF(a) == 102:
        return op_4JGOJzXMq1(op_w2P8NbNXyL(23,b),op_9Isq31Ruls(a,539))
    else:
        return op_pRsWfj4Fpp(op_qAljGMXEZr(b))

def op_count_zWEPWlwaj2(a, b):
    if op_C6VvDP6HwP(b) == 48 and op_rIsGeVJWJF(a) == 102:
        count = op_count_w2P8NbNXyL(23,b)+op_count_9Isq31Ruls(a,539)+op_count_4JGOJzXMq1(op_w2P8NbNXyL(23,b),op_9Isq31Ruls(a,539))+op_count_C6VvDP6HwP(b)+op_count_rIsGeVJWJF(a)
    else:
        count = op_count_qAljGMXEZr(b)+op_count_pRsWfj4Fpp(op_qAljGMXEZr(b))
    return count


def op_z74BK67i5D(a):
    return op_dwb5p0fa6d(op_NdELin8EPX(a,280))

def op_count_z74BK67i5D(a):
    count = op_count_NdELin8EPX(a,280)+op_count_dwb5p0fa6d(op_NdELin8EPX(a,280))
    return count


def op_cdLdONPVMp(a, b):
    return op_UggxBX659n(op_0JWJYFSzIQ(op_KROiRRz3d6(a,a),op_zR4jO40bMj(b,a)),a)

def op_count_cdLdONPVMp(a, b):
    count = op_count_KROiRRz3d6(a,a)+op_count_zR4jO40bMj(b,a)+op_count_0JWJYFSzIQ(op_KROiRRz3d6(a,a),op_zR4jO40bMj(b,a))+op_count_UggxBX659n(op_0JWJYFSzIQ(op_KROiRRz3d6(a,a),op_zR4jO40bMj(b,a)),a)
    return count


a⇋∁↲b = { (((b⋆⊨a)≻⇥≳(∓⪦a))⪲⨢(⊀(a⫊⇚⊺b))) , if (⊡⇒⪪b)!=586 and (a∠↢390)!=592 ; (((b⇥↓)∅(a⋳⪒a))⪲⨢((a⫰⋱a)↙↠)) , else }

def op_WWvgEODVog(a, b):
    if op_wisItNeSwq(b) != 586 and op_KbjG8mgYpV(a,390) != 592:
        return op_6iafYuwGo8(op_aiqF8n6J9c(op_uTBsSls0VN(b,a),op_D309nIvmXG(a)),op_oPMjh9089D(op_Y5cEcQhyKu(a,b)))
    else:
        return op_6iafYuwGo8(op_giaUb8UVhq(op_KvubFp3XhO(b),op_12rbrZMWeM(a,a)),op_texHS70gxN(op_6o9Blt3TJ6(a,a)))

def op_count_WWvgEODVog(a, b):
    if op_wisItNeSwq(b) != 586 and op_KbjG8mgYpV(a,390) != 592:
        count = op_count_uTBsSls0VN(b,a)+op_count_D309nIvmXG(a)+op_count_aiqF8n6J9c(op_uTBsSls0VN(b,a),op_D309nIvmXG(a))+op_count_Y5cEcQhyKu(a,b)+op_count_oPMjh9089D(op_Y5cEcQhyKu(a,b))+op_count_6iafYuwGo8(op_aiqF8n6J9c(op_uTBsSls0VN(b,a),op_D309nIvmXG(a)),op_oPMjh9089D(op_Y5cEcQhyKu(a,b)))+op_count_wisItNeSwq(b)+op_count_KbjG8mgYpV(a,390)
    else:
        count = op_count_KvubFp3XhO(b)+op_count_12rbrZMWeM(a,a)+op_count_giaUb8UVhq(op_KvubFp3XhO(b),op_12rbrZMWeM(a,a))+op_count_6o9Blt3TJ6(a,a)+op_count_texHS70gxN(op_6o9Blt3TJ6(a,a))+op_count_6iafYuwGo8(op_giaUb8UVhq(op_KvubFp3XhO(b),op_12rbrZMWeM(a,a)),op_texHS70gxN(op_6o9Blt3TJ6(a,a)))
    return count


def op_6StxWVwnvA(a, b):
    if op_4CyGpkTkEk(a) <= 457:
        return op_W4YGzv6Whe(a,104)
    else:
        return op_s0IfDFCCuZ(b,a)

def op_count_6StxWVwnvA(a, b):
    if op_4CyGpkTkEk(a) <= 457:
        count = op_count_W4YGzv6Whe(a,104)+op_count_4CyGpkTkEk(a)
    else:
        count = op_count_s0IfDFCCuZ(b,a)
    return count


def op_Lz1z1G3oMJ(a):
    if op_k2HlF1dBQh(a) >= 341:
        return op_Bmrmz2XGnR(op_Q2SPaKwpPJ(a,116),op_3tVxb0NHM4(a,a))
    else:
        return op_Tmr9JGNMVH(op_W4YGzv6Whe(323,a))

def op_count_Lz1z1G3oMJ(a):
    if op_k2HlF1dBQh(a) >= 341:
        count = op_count_Q2SPaKwpPJ(a,116)+op_count_3tVxb0NHM4(a,a)+op_count_Bmrmz2XGnR(op_Q2SPaKwpPJ(a,116),op_3tVxb0NHM4(a,a))+op_count_k2HlF1dBQh(a)
    else:
        count = op_count_W4YGzv6Whe(323,a)+op_count_Tmr9JGNMVH(op_W4YGzv6Whe(323,a))
    return count


↙∧a = { ((⋷⊟a)⨣∐↬(a⪇≇⋚a)) , if (⩷a)!=7 ; ((a≼a)⪨(508⩚⊴⇥a)) , else }

def op_9Y9dmhHwkI(a):
    if op_1h0rLqGiFr(a) != 7:
        return op_UpkSd4zESC(op_2fAMLLeFHb(a),op_3sJ7IOPOlU(a,a))
    else:
        return op_2z8nE7LpCu(op_SPuZE40Ntn(a,a),op_NTOWxs364D(508,a))

def op_count_9Y9dmhHwkI(a):
    if op_1h0rLqGiFr(a) != 7:
        count = op_count_2fAMLLeFHb(a)+op_count_3sJ7IOPOlU(a,a)+op_count_UpkSd4zESC(op_2fAMLLeFHb(a),op_3sJ7IOPOlU(a,a))+op_count_1h0rLqGiFr(a)
    else:
        count = op_count_SPuZE40Ntn(a,a)+op_count_NTOWxs364D(508,a)+op_count_2z8nE7LpCu(op_SPuZE40Ntn(a,a),op_NTOWxs364D(508,a))
    return count


def op_khvmGcbxAf(a):
    return op_JLbD19bQDL(op_y4ImoPnbV5(a,699))

def op_count_khvmGcbxAf(a):
    count = op_count_y4ImoPnbV5(a,699)+op_count_JLbD19bQDL(op_y4ImoPnbV5(a,699))
    return count


def op_ov6cBzH7ns(a):
    return op_2fAMLLeFHb(op_UoVew8f2p2(a,177))

def op_count_ov6cBzH7ns(a):
    count = op_count_UoVew8f2p2(a,177)+op_count_2fAMLLeFHb(op_UoVew8f2p2(a,177))
    return count


def op_pxj9Joaahf(a):
    if op_Qaz2MhZaG5(a,520) > 222:
        return op_2td37pGCOC(a)
    else:
        return op_2DQ55sFlQl(a,a)

def op_count_pxj9Joaahf(a):
    if op_Qaz2MhZaG5(a,520) > 222:
        count = op_count_2td37pGCOC(a)+op_count_Qaz2MhZaG5(a,520)
    else:
        count = op_count_2DQ55sFlQl(a,a)
    return count


def op_J65EmZhDzK(a, b):
    return op_7j4O788W3g(op_nbuSfrB4hB(op_9bazX3JMtO(b,b),op_nREPSIbpBE(113,a)),op_U6pG0PXrV3(op_IxJHfR5psi(467,a)))

def op_count_J65EmZhDzK(a, b):
    count = op_count_9bazX3JMtO(b,b)+op_count_nREPSIbpBE(113,a)+op_count_nbuSfrB4hB(op_9bazX3JMtO(b,b),op_nREPSIbpBE(113,a))+op_count_IxJHfR5psi(467,a)+op_count_U6pG0PXrV3(op_IxJHfR5psi(467,a))+op_count_7j4O788W3g(op_nbuSfrB4hB(op_9bazX3JMtO(b,b),op_nREPSIbpBE(113,a)),op_U6pG0PXrV3(op_IxJHfR5psi(467,a)))
    return count


def op_GpxN1sq6sw(a):
    return op_jBC4ymW3D7(op_nhYeJWJD5X(a,a),op_kbkesczE7y(a,a))

def op_count_GpxN1sq6sw(a):
    count = op_count_nhYeJWJD5X(a,a)+op_count_kbkesczE7y(a,a)+op_count_jBC4ymW3D7(op_nhYeJWJD5X(a,a),op_kbkesczE7y(a,a))
    return count


a⨍↙⩡b = { (((b⪎⩰)⫊⇚⊺(a⊒b))⊉↱≁((a∼⇢a)⩤∜↚(a≏⨯⊱b))) }

def op_BAYcl7KEcJ(a, b):
    return op_w2P8NbNXyL(op_Y5cEcQhyKu(op_2ufhKmSs5H(b),op_rPNtK4BLRO(a,b)),op_KROiRRz3d6(op_Cr5xnr8B4B(a,a),op_UqUOXUQnbU(a,b)))

def op_count_BAYcl7KEcJ(a, b):
    count = op_count_2ufhKmSs5H(b)+op_count_rPNtK4BLRO(a,b)+op_count_Y5cEcQhyKu(op_2ufhKmSs5H(b),op_rPNtK4BLRO(a,b))+op_count_Cr5xnr8B4B(a,a)+op_count_UqUOXUQnbU(a,b)+op_count_KROiRRz3d6(op_Cr5xnr8B4B(a,a),op_UqUOXUQnbU(a,b))+op_count_w2P8NbNXyL(op_Y5cEcQhyKu(op_2ufhKmSs5H(b),op_rPNtK4BLRO(a,b)),op_KROiRRz3d6(op_Cr5xnr8B4B(a,a),op_UqUOXUQnbU(a,b)))
    return count


⇉a = { (((a⩵∡a)≽⪈↿(⪞⋲≾a))≭⫡((a⪇≇⋚353)⩧⪆(a⩣⫁∢a))) , if (a⪐)==150 ; (((a∠⫱a)⊢(a⨵⪆a))⇌⫙⪟((a⨳⩥⨓a)⨜⇔(a≚⊃≕452))) , else }

def op_ZS03prfG9O(a):
    if op_eH2TOUuTDT(a) == 150:
        return op_b1mGkbI4Oy(op_inCIaGQf8u(op_Y7wcNGrDQJ(a,a),op_kz228nwi0J(a)),op_Ikt5ks8PT7(op_3sJ7IOPOlU(a,353),op_JDUIKTTSIa(a,a)))
    else:
        return op_AFVx7xoS7T(op_5twsqlHp2o(op_QvoQhV0rrE(a,a),op_2DQ55sFlQl(a,a)),op_Sq3AGanRSD(op_nCS4ZIUYfx(a,a),op_Bmrmz2XGnR(a,452)))

def op_count_ZS03prfG9O(a):
    if op_eH2TOUuTDT(a) == 150:
        count = op_count_Y7wcNGrDQJ(a,a)+op_count_kz228nwi0J(a)+op_count_inCIaGQf8u(op_Y7wcNGrDQJ(a,a),op_kz228nwi0J(a))+op_count_3sJ7IOPOlU(a,353)+op_count_JDUIKTTSIa(a,a)+op_count_Ikt5ks8PT7(op_3sJ7IOPOlU(a,353),op_JDUIKTTSIa(a,a))+op_count_b1mGkbI4Oy(op_inCIaGQf8u(op_Y7wcNGrDQJ(a,a),op_kz228nwi0J(a)),op_Ikt5ks8PT7(op_3sJ7IOPOlU(a,353),op_JDUIKTTSIa(a,a)))+op_count_eH2TOUuTDT(a)
    else:
        count = op_count_QvoQhV0rrE(a,a)+op_count_2DQ55sFlQl(a,a)+op_count_5twsqlHp2o(op_QvoQhV0rrE(a,a),op_2DQ55sFlQl(a,a))+op_count_nCS4ZIUYfx(a,a)+op_count_Bmrmz2XGnR(a,452)+op_count_Sq3AGanRSD(op_nCS4ZIUYfx(a,a),op_Bmrmz2XGnR(a,452))+op_count_AFVx7xoS7T(op_5twsqlHp2o(op_QvoQhV0rrE(a,a),op_2DQ55sFlQl(a,a)),op_Sq3AGanRSD(op_nCS4ZIUYfx(a,a),op_Bmrmz2XGnR(a,452)))
    return count


a↿ = { (77⊹≧⊝) , if (a↮⪈⫰)==9 ; (⫊≏⨉a) , else }

def op_UOzIpZ7cOP(a):
    if op_MKpoIoBJCf(a) == 9:
        return op_LxFB4K6j0n(77)
    else:
        return op_KED7KUUlGq(a)

def op_count_UOzIpZ7cOP(a):
    if op_MKpoIoBJCf(a) == 9:
        count = op_count_LxFB4K6j0n(77)+op_count_MKpoIoBJCf(a)
    else:
        count = op_count_KED7KUUlGq(a)
    return count


↑%a = { (a⋆⋳) , if (↰⫏a)<27 ; (a⨑a) , else }

def op_gZJ3n2KrV4(a):
    if op_UeUK5QjOtW(a) < 27:
        return op_6MpZysEj17(a)
    else:
        return op_IxJHfR5psi(a,a)

def op_count_gZJ3n2KrV4(a):
    if op_UeUK5QjOtW(a) < 27:
        count = op_count_6MpZysEj17(a)+op_count_UeUK5QjOtW(a)
    else:
        count = op_count_IxJHfR5psi(a,a)
    return count


⩜⋖⫬a = { (a⋙) , if (a∩⋅)>867 ; ((a⫰⋱a)⨚(a∣a)) , else }

def op_8KJvvzKnGn(a):
    if op_2MzE1hQ0cz(a) > 867:
        return op_XZxEnkN3N0(a)
    else:
        return op_nREPSIbpBE(op_6o9Blt3TJ6(a,a),op_PPChnnnBFF(a,a))

def op_count_8KJvvzKnGn(a):
    if op_2MzE1hQ0cz(a) > 867:
        count = op_count_XZxEnkN3N0(a)+op_count_2MzE1hQ0cz(a)
    else:
        count = op_count_6o9Blt3TJ6(a,a)+op_count_PPChnnnBFF(a,a)+op_count_nREPSIbpBE(op_6o9Blt3TJ6(a,a),op_PPChnnnBFF(a,a))
    return count


a⋂⫽⪜b = { (((b⪚⨁⋖a)⊔%b)⋥≓≎((⫂b)+⪬∐b)) , if a>301 ; (((a⫗⊒⇾a)≣(b⨽⪊≇))⪇≇⋚((315⨩≤⫤146)≃(a⋛∩⫮))) , else }

def op_BS1zk2O8ip(a, b):
    if a > 301:
        return op_Qy55tPpLXF(op_uysxUYN2L2(op_xSk1F0pZbF(b,a),b),op_2GS7woTJqF(op_U9HvHqtOoq(b),b))
    else:
        return op_3sJ7IOPOlU(op_ObEyaaML9x(op_hiBDRd40bf(a,a),op_nlCqmYiOvY(b)),op_YbVcJGFEVW(op_neKQRQQIil(315,146),op_QDWDTvZtyM(a)))

def op_count_BS1zk2O8ip(a, b):
    if a > 301:
        count = op_count_xSk1F0pZbF(b,a)+op_count_uysxUYN2L2(op_xSk1F0pZbF(b,a),b)+op_count_U9HvHqtOoq(b)+op_count_2GS7woTJqF(op_U9HvHqtOoq(b),b)+op_count_Qy55tPpLXF(op_uysxUYN2L2(op_xSk1F0pZbF(b,a),b),op_2GS7woTJqF(op_U9HvHqtOoq(b),b))
    else:
        count = op_count_hiBDRd40bf(a,a)+op_count_nlCqmYiOvY(b)+op_count_ObEyaaML9x(op_hiBDRd40bf(a,a),op_nlCqmYiOvY(b))+op_count_neKQRQQIil(315,146)+op_count_QDWDTvZtyM(a)+op_count_YbVcJGFEVW(op_neKQRQQIil(315,146),op_QDWDTvZtyM(a))+op_count_3sJ7IOPOlU(op_ObEyaaML9x(op_hiBDRd40bf(a,a),op_nlCqmYiOvY(b)),op_YbVcJGFEVW(op_neKQRQQIil(315,146),op_QDWDTvZtyM(a)))
    return count


def op_iunaX2OYic(a):
    return op_HiPekx5b7W(op_KYL1uVeVpb(op_B3sABdIn96(617),op_3Oe9XWJUTD(190,a)),a)

def op_count_iunaX2OYic(a):
    count = op_count_B3sABdIn96(617)+op_count_3Oe9XWJUTD(190,a)+op_count_KYL1uVeVpb(op_B3sABdIn96(617),op_3Oe9XWJUTD(190,a))+op_count_HiPekx5b7W(op_KYL1uVeVpb(op_B3sABdIn96(617),op_3Oe9XWJUTD(190,a)),a)
    return count


a⨺⩶b = { ((a⫗⊒⇾a)↼⊘⨖(b⨴(b⊬⨰b))) , if (a⪍↜⋙175)<=97 ; (((⨞⫢174)≬⋮(∓186))⨚((∨⫘⊿a)≏⨯⊱(b∘b))) , else }

def op_qCCe0Qx1RA(a, b):
    if op_L05ObWFQCd(a,175) <= 97:
        return op_bPywburJMS(op_hiBDRd40bf(a,a),op_jBC4ymW3D7(b,op_s3Fd5m9Dh2(b,b)))
    else:
        return op_nREPSIbpBE(op_kbkesczE7y(op_HQuZ2f4It9(174),op_OwUj7dcsQK(186)),op_UqUOXUQnbU(op_qxp9F1VMeC(a),op_Z5m6OM72h2(b,b)))

def op_count_qCCe0Qx1RA(a, b):
    if op_L05ObWFQCd(a,175) <= 97:
        count = op_count_hiBDRd40bf(a,a)+op_count_s3Fd5m9Dh2(b,b)+op_count_jBC4ymW3D7(b,op_s3Fd5m9Dh2(b,b))+op_count_bPywburJMS(op_hiBDRd40bf(a,a),op_jBC4ymW3D7(b,op_s3Fd5m9Dh2(b,b)))+op_count_L05ObWFQCd(a,175)
    else:
        count = op_count_HQuZ2f4It9(174)+op_count_OwUj7dcsQK(186)+op_count_kbkesczE7y(op_HQuZ2f4It9(174),op_OwUj7dcsQK(186))+op_count_qxp9F1VMeC(a)+op_count_Z5m6OM72h2(b,b)+op_count_UqUOXUQnbU(op_qxp9F1VMeC(a),op_Z5m6OM72h2(b,b))+op_count_nREPSIbpBE(op_kbkesczE7y(op_HQuZ2f4It9(174),op_OwUj7dcsQK(186)),op_UqUOXUQnbU(op_qxp9F1VMeC(a),op_Z5m6OM72h2(b,b)))
    return count


def op_73uHauwuWW(a, b):
    return op_DbCuESL50I(op_HmxsFra2vL(op_12rbrZMWeM(164,a),op_JFrVJKYFMX(b,a)))

def op_count_73uHauwuWW(a, b):
    count = op_count_12rbrZMWeM(164,a)+op_count_JFrVJKYFMX(b,a)+op_count_HmxsFra2vL(op_12rbrZMWeM(164,a),op_JFrVJKYFMX(b,a))+op_count_DbCuESL50I(op_HmxsFra2vL(op_12rbrZMWeM(164,a),op_JFrVJKYFMX(b,a)))
    return count


a⨁b = { ((b⫇⋯(b≦↸a))≃((a⨔⇊b)→⨶⪴(⇝⋾⇵a))) }

def op_l455cbmnc3(a, b):
    return op_YbVcJGFEVW(op_xoJmIySC7h(b,op_RygbFNSyEJ(b,a)),op_bF6eod5Gvf(op_JclMnS0uGI(a,b),op_6l7ULzJsnZ(a)))

def op_count_l455cbmnc3(a, b):
    count = op_count_RygbFNSyEJ(b,a)+op_count_xoJmIySC7h(b,op_RygbFNSyEJ(b,a))+op_count_JclMnS0uGI(a,b)+op_count_6l7ULzJsnZ(a)+op_count_bF6eod5Gvf(op_JclMnS0uGI(a,b),op_6l7ULzJsnZ(a))+op_count_YbVcJGFEVW(op_xoJmIySC7h(b,op_RygbFNSyEJ(b,a)),op_bF6eod5Gvf(op_JclMnS0uGI(a,b),op_6l7ULzJsnZ(a)))
    return count


def op_eWRXig0gvP(a):
    if op_B3sABdIn96(a) == 512:
        return op_dAAkup5nzi(op_g7Hmc5v1ko(a,23),op_kweVJGAjhl(a))
    else:
        return op_s0IfDFCCuZ(op_HQuZ2f4It9(162),op_d8xe6WWVfM(a,a))

def op_count_eWRXig0gvP(a):
    if op_B3sABdIn96(a) == 512:
        count = op_count_g7Hmc5v1ko(a,23)+op_count_kweVJGAjhl(a)+op_count_dAAkup5nzi(op_g7Hmc5v1ko(a,23),op_kweVJGAjhl(a))+op_count_B3sABdIn96(a)
    else:
        count = op_count_HQuZ2f4It9(162)+op_count_d8xe6WWVfM(a,a)+op_count_s0IfDFCCuZ(op_HQuZ2f4It9(162),op_d8xe6WWVfM(a,a))
    return count


def op_jhcXDNFX4l(a):
    return op_Api82iH42a(689,op_2jG7DiviLq(a))

def op_count_jhcXDNFX4l(a):
    count = op_count_2jG7DiviLq(a)+op_count_Api82iH42a(689,op_2jG7DiviLq(a))
    return count


def op_K5rbr6oWuE(a, b):
    return op_2MzE1hQ0cz(op_DX7B1fY6P6(a,b))

def op_count_K5rbr6oWuE(a, b):
    count = op_count_DX7B1fY6P6(a,b)+op_count_2MzE1hQ0cz(op_DX7B1fY6P6(a,b))
    return count


⩮⨌⪯a = { (a↭↢≔) , if (a⨲⇖⇮)>114 ; (a⨳⩥⨓a) , else }

def op_Gg3xwKfWpq(a):
    if op_oj4YnGA3cE(a) > 114:
        return op_Q6LsZf8ZYd(a)
    else:
        return op_nCS4ZIUYfx(a,a)

def op_count_Gg3xwKfWpq(a):
    if op_oj4YnGA3cE(a) > 114:
        count = op_count_Q6LsZf8ZYd(a)+op_count_oj4YnGA3cE(a)
    else:
        count = op_count_nCS4ZIUYfx(a,a)
    return count


def op_Xf4lwXij9y(a):
    return op_WR6HLWljOP(op_KfMCrRzQhT(op_3A1e9zoj8h(a)),op_y4ImoPnbV5(op_Cr5xnr8B4B(145,a),op_YSKBFp38Pu(a,a)))

def op_count_Xf4lwXij9y(a):
    count = op_count_3A1e9zoj8h(a)+op_count_KfMCrRzQhT(op_3A1e9zoj8h(a))+op_count_Cr5xnr8B4B(145,a)+op_count_YSKBFp38Pu(a,a)+op_count_y4ImoPnbV5(op_Cr5xnr8B4B(145,a),op_YSKBFp38Pu(a,a))+op_count_WR6HLWljOP(op_KfMCrRzQhT(op_3A1e9zoj8h(a)),op_y4ImoPnbV5(op_Cr5xnr8B4B(145,a),op_YSKBFp38Pu(a,a)))
    return count


a⫙⩚⨹b = { ((a⫏↛⩏154)→⨶⪴(a⊋≦⊧0)) , if b<537 ; ((58⩽⩡b)⋂⩴(∨a)) , else }

def op_bx3kqbgJpq(a, b):
    if b < 537:
        return op_bF6eod5Gvf(op_YC3tgrnOyr(a,154),op_oRDoc9rAEX(a,0))
    else:
        return op_hmlrMsD2PO(op_zFNL8mZEFB(58,b),op_rIsGeVJWJF(a))

def op_count_bx3kqbgJpq(a, b):
    if b < 537:
        count = op_count_YC3tgrnOyr(a,154)+op_count_oRDoc9rAEX(a,0)+op_count_bF6eod5Gvf(op_YC3tgrnOyr(a,154),op_oRDoc9rAEX(a,0))
    else:
        count = op_count_zFNL8mZEFB(58,b)+op_count_rIsGeVJWJF(a)+op_count_hmlrMsD2PO(op_zFNL8mZEFB(58,b),op_rIsGeVJWJF(a))
    return count


⪜⫊⩿a = { (((a⩚⊴⇥a)⫯⪬∳(460⋷0))⩽⩡((a∑a)⊭↱(a⊔%a))) , if (a≖−≲)<=20 ; (((359∺≝⩲a)⫸⇳(a⪨⊡a))∀⩎⋷((⨾∊⩁a)∺≝⩲(a⋟⫀⨗a))) , else }

def op_2dvK3HezHB(a):
    if op_IpgdDpBHsO(a) <= 20:
        return op_zFNL8mZEFB(op_d7ASUq0ydm(op_NTOWxs364D(a,a),op_23Mk6UjR3U(460,0)),op_COABgblf1C(op_JFrVJKYFMX(a,a),op_uysxUYN2L2(a,a)))
    else:
        return op_FPxP5Y1j0W(op_gx7XJ7hdpj(op_KPf6cnQVty(359,a),op_kuIXHzHcAH(a,a)),op_KPf6cnQVty(op_QErWpSDGk0(a),op_dAAkup5nzi(a,a)))

def op_count_2dvK3HezHB(a):
    if op_IpgdDpBHsO(a) <= 20:
        count = op_count_NTOWxs364D(a,a)+op_count_23Mk6UjR3U(460,0)+op_count_d7ASUq0ydm(op_NTOWxs364D(a,a),op_23Mk6UjR3U(460,0))+op_count_JFrVJKYFMX(a,a)+op_count_uysxUYN2L2(a,a)+op_count_COABgblf1C(op_JFrVJKYFMX(a,a),op_uysxUYN2L2(a,a))+op_count_zFNL8mZEFB(op_d7ASUq0ydm(op_NTOWxs364D(a,a),op_23Mk6UjR3U(460,0)),op_COABgblf1C(op_JFrVJKYFMX(a,a),op_uysxUYN2L2(a,a)))+op_count_IpgdDpBHsO(a)
    else:
        count = op_count_KPf6cnQVty(359,a)+op_count_kuIXHzHcAH(a,a)+op_count_gx7XJ7hdpj(op_KPf6cnQVty(359,a),op_kuIXHzHcAH(a,a))+op_count_QErWpSDGk0(a)+op_count_dAAkup5nzi(a,a)+op_count_KPf6cnQVty(op_QErWpSDGk0(a),op_dAAkup5nzi(a,a))+op_count_FPxP5Y1j0W(op_gx7XJ7hdpj(op_KPf6cnQVty(359,a),op_kuIXHzHcAH(a,a)),op_KPf6cnQVty(op_QErWpSDGk0(a),op_dAAkup5nzi(a,a)))
    return count


def op_9lcBLTcioq(a):
    return op_wsXFuL0hC6(op_Noe24qw2ks(135,486),op_t4WUHVGj7f(a))

def op_count_9lcBLTcioq(a):
    count = op_count_Noe24qw2ks(135,486)+op_count_t4WUHVGj7f(a)+op_count_wsXFuL0hC6(op_Noe24qw2ks(135,486),op_t4WUHVGj7f(a))
    return count


⪑⊊a = { (((a⫻⋑⊟)≟⫹(a∝a))≝⊿((408⫶a)⪭(a↢a))) }

def op_zN4KueseHa(a):
    return op_OKKcZfAt5B(op_z2JHNkvbdm(op_o575Zjdmzy(a),op_cTDWOvIxvz(a,a)),op_j9kHMeSvPp(op_BAIXFdYaz3(408,a),op_WR6HLWljOP(a,a)))

def op_count_zN4KueseHa(a):
    count = op_count_o575Zjdmzy(a)+op_count_cTDWOvIxvz(a,a)+op_count_z2JHNkvbdm(op_o575Zjdmzy(a),op_cTDWOvIxvz(a,a))+op_count_BAIXFdYaz3(408,a)+op_count_WR6HLWljOP(a,a)+op_count_j9kHMeSvPp(op_BAIXFdYaz3(408,a),op_WR6HLWljOP(a,a))+op_count_OKKcZfAt5B(op_z2JHNkvbdm(op_o575Zjdmzy(a),op_cTDWOvIxvz(a,a)),op_j9kHMeSvPp(op_BAIXFdYaz3(408,a),op_WR6HLWljOP(a,a)))
    return count


≨≸⪃a = { (((a⩣⫁∢a)∲⫓(⊈102))⩦((a⊒a)⫌⩹⨱)) }

def op_cTbZ3MnyPQ(a):
    return op_0kmYd0q39Y(op_i8ToyICDmI(op_JDUIKTTSIa(a,a),op_RHru8klgy8(102)),op_EBcxylXtPf(op_rPNtK4BLRO(a,a)))

def op_count_cTbZ3MnyPQ(a):
    count = op_count_JDUIKTTSIa(a,a)+op_count_RHru8klgy8(102)+op_count_i8ToyICDmI(op_JDUIKTTSIa(a,a),op_RHru8klgy8(102))+op_count_rPNtK4BLRO(a,a)+op_count_EBcxylXtPf(op_rPNtK4BLRO(a,a))+op_count_0kmYd0q39Y(op_i8ToyICDmI(op_JDUIKTTSIa(a,a),op_RHru8klgy8(102)),op_EBcxylXtPf(op_rPNtK4BLRO(a,a)))
    return count


a⨃⪧ = { (⊈(a≝⊿a)) , if (⨩∲⋌a)!=522 ; a , else }

def op_XOT9anc3Rb(a):
    if op_aSik1wnThz(a) != 522:
        return op_RHru8klgy8(op_OKKcZfAt5B(a,a))
    else:
        return a

def op_count_XOT9anc3Rb(a):
    if op_aSik1wnThz(a) != 522:
        count = op_count_OKKcZfAt5B(a,a)+op_count_RHru8klgy8(op_OKKcZfAt5B(a,a))+op_count_aSik1wnThz(a)
    else:
        count = 1
    return count


a⊟⊧b = { (⋄(∋∴(a⨣∐↬b))) , if (⪁⇼a)>=401 ; b , else }

def op_GN3qbhwjUb(a, b):
    if op_ZNVVrZ94lY(a) >= 401:
        return op_k2B77S3vSv(op_nouZ5SZjt1(op_UpkSd4zESC(a,b)))
    else:
        return b

def op_count_GN3qbhwjUb(a, b):
    if op_ZNVVrZ94lY(a) >= 401:
        count = op_count_UpkSd4zESC(a,b)+op_count_nouZ5SZjt1(op_UpkSd4zESC(a,b))+op_count_k2B77S3vSv(op_nouZ5SZjt1(op_UpkSd4zESC(a,b)))+op_count_ZNVVrZ94lY(a)
    else:
        count = 1
    return count


def op_4q4Wt1yQrE(a):
    return op_DZ8iAZOCBD(a,op_Sq3AGanRSD(a,49))

def op_count_4q4Wt1yQrE(a):
    count = op_count_Sq3AGanRSD(a,49)+op_count_DZ8iAZOCBD(a,op_Sq3AGanRSD(a,49))
    return count


a⋥⊋ = { ((a↼⊘⨖a)⇤(474∇⊂⋱a)) , if (a↹⊜849)!=22 or a!=324 ; ((↪⨀a)⪱⇝(a⪍↜⋙a)) , else }

def op_GXGFZIUk1n(a):
    if op_9bazX3JMtO(a,849) != 22 or a != 324:
        return op_YSKBFp38Pu(op_bPywburJMS(a,a),op_nhYeJWJD5X(474,a))
    else:
        return op_OTRTVPweYV(op_t0cKpDWDXO(a),op_L05ObWFQCd(a,a))

def op_count_GXGFZIUk1n(a):
    if op_9bazX3JMtO(a,849) != 22 or a != 324:
        count = op_count_bPywburJMS(a,a)+op_count_nhYeJWJD5X(474,a)+op_count_YSKBFp38Pu(op_bPywburJMS(a,a),op_nhYeJWJD5X(474,a))+op_count_9bazX3JMtO(a,849)
    else:
        count = op_count_t0cKpDWDXO(a)+op_count_L05ObWFQCd(a,a)+op_count_OTRTVPweYV(op_t0cKpDWDXO(a),op_L05ObWFQCd(a,a))
    return count


def op_NjGMwpyDaG(a):
    if op_SdCjLnB6rR(a) != 22:
        return op_cTDWOvIxvz(222,a)
    else:
        return op_i3MWstRFMQ(a)

def op_count_NjGMwpyDaG(a):
    if op_SdCjLnB6rR(a) != 22:
        count = op_count_cTDWOvIxvz(222,a)+op_count_SdCjLnB6rR(a)
    else:
        count = op_count_i3MWstRFMQ(a)
    return count


def op_5wUK3axwSB(a):
    if (op_t8gj7n24qd(a) < 642 and a < 435):
        return op_Noe24qw2ks(a,a)
    else:
        return op_OTRTVPweYV(a,a)

def op_count_5wUK3axwSB(a):
    if (op_t8gj7n24qd(a) < 642 and a < 435):
        count = op_count_Noe24qw2ks(a,a)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_OTRTVPweYV(a,a)
    return count


def op_VzqicqNqgJ(a):
    if a < 359:
        return op_YbVcJGFEVW(a,85)
    else:
        return op_wisItNeSwq(53)

def op_count_VzqicqNqgJ(a):
    if a < 359:
        count = op_count_YbVcJGFEVW(a,85)
    else:
        count = op_count_wisItNeSwq(53)
    return count


⊳%⊅a = { (((⇍a)⩘⋿(a≠≀a))⨓↿∉((a⩵∡a)∠⫱(∨⫘⊿a))) }

def op_BOS6zkJn83(a):
    return op_OWnFPqjWlR(op_64EQ39e0fC(op_H9jWZL1q0V(a),op_IwW236VD4Y(a,a)),op_QvoQhV0rrE(op_Y7wcNGrDQJ(a,a),op_qxp9F1VMeC(a)))

def op_count_BOS6zkJn83(a):
    count = op_count_H9jWZL1q0V(a)+op_count_IwW236VD4Y(a,a)+op_count_64EQ39e0fC(op_H9jWZL1q0V(a),op_IwW236VD4Y(a,a))+op_count_Y7wcNGrDQJ(a,a)+op_count_qxp9F1VMeC(a)+op_count_QvoQhV0rrE(op_Y7wcNGrDQJ(a,a),op_qxp9F1VMeC(a))+op_count_OWnFPqjWlR(op_64EQ39e0fC(op_H9jWZL1q0V(a),op_IwW236VD4Y(a,a)),op_QvoQhV0rrE(op_Y7wcNGrDQJ(a,a),op_qxp9F1VMeC(a)))
    return count


a⇿≠⩩b = { (((⇍b)⨑(a⩣⫁∢b))⇌⫙⪟((b⪦⩸b)⊋≦⊧(b⋐≟⩺b))) , if (∡b)>=436 ; a , else }

def op_HLQFVgHMLh(a, b):
    if op_pRsWfj4Fpp(b) >= 436:
        return op_AFVx7xoS7T(op_IxJHfR5psi(op_H9jWZL1q0V(b),op_JDUIKTTSIa(a,b)),op_oRDoc9rAEX(op_0JWJYFSzIQ(b,b),op_PjbVkMzmXE(b,b)))
    else:
        return a

def op_count_HLQFVgHMLh(a, b):
    if op_pRsWfj4Fpp(b) >= 436:
        count = op_count_H9jWZL1q0V(b)+op_count_JDUIKTTSIa(a,b)+op_count_IxJHfR5psi(op_H9jWZL1q0V(b),op_JDUIKTTSIa(a,b))+op_count_0JWJYFSzIQ(b,b)+op_count_PjbVkMzmXE(b,b)+op_count_oRDoc9rAEX(op_0JWJYFSzIQ(b,b),op_PjbVkMzmXE(b,b))+op_count_AFVx7xoS7T(op_IxJHfR5psi(op_H9jWZL1q0V(b),op_JDUIKTTSIa(a,b)),op_oRDoc9rAEX(op_0JWJYFSzIQ(b,b),op_PjbVkMzmXE(b,b)))+op_count_pRsWfj4Fpp(b)
    else:
        count = 1
    return count


a⨉≐b = { ((b⫏↛⩏a)⨰(b⋙)) , if b<=161 ; ((b⇅)⊬⫿⊭) , else }

def op_fmaBti8MX9(a, b):
    if b <= 161:
        return op_eewbuw0ToL(op_YC3tgrnOyr(b,a),op_XZxEnkN3N0(b))
    else:
        return op_v0DYgG9ikt(op_oH594TLvBK(b))

def op_count_fmaBti8MX9(a, b):
    if b <= 161:
        count = op_count_YC3tgrnOyr(b,a)+op_count_XZxEnkN3N0(b)+op_count_eewbuw0ToL(op_YC3tgrnOyr(b,a),op_XZxEnkN3N0(b))
    else:
        count = op_count_oH594TLvBK(b)+op_count_v0DYgG9ikt(op_oH594TLvBK(b))
    return count


def op_8Im2A1wcJk(a, b):
    if op_Cr5xnr8B4B(b,396) != 42:
        return op_PjbVkMzmXE(op_12rbrZMWeM(a,b),op_4JGOJzXMq1(117,554))
    else:
        return op_LxFB4K6j0n(op_09Ly4LVMIf(13,a))

def op_count_8Im2A1wcJk(a, b):
    if op_Cr5xnr8B4B(b,396) != 42:
        count = op_count_12rbrZMWeM(a,b)+op_count_4JGOJzXMq1(117,554)+op_count_PjbVkMzmXE(op_12rbrZMWeM(a,b),op_4JGOJzXMq1(117,554))+op_count_Cr5xnr8B4B(b,396)
    else:
        count = op_count_09Ly4LVMIf(13,a)+op_count_LxFB4K6j0n(op_09Ly4LVMIf(13,a))
    return count


def op_bHT9wUTdfV(a, b):
    if op_Noe24qw2ks(a,826) <= 285:
        return op_IxJHfR5psi(op_z4E1FaHLuy(op_S56z7WVPBn(b)),op_giaUb8UVhq(op_6iafYuwGo8(a,b),op_nhYeJWJD5X(a,b)))
    else:
        return op_NrdPCfJQiM(op_OWnFPqjWlR(op_Noe24qw2ks(136,a),op_HrjLwUk87U(128,a)),op_y4ImoPnbV5(b,op_WkeUrDK8WX(b)))

def op_count_bHT9wUTdfV(a, b):
    if op_Noe24qw2ks(a,826) <= 285:
        count = op_count_S56z7WVPBn(b)+op_count_z4E1FaHLuy(op_S56z7WVPBn(b))+op_count_6iafYuwGo8(a,b)+op_count_nhYeJWJD5X(a,b)+op_count_giaUb8UVhq(op_6iafYuwGo8(a,b),op_nhYeJWJD5X(a,b))+op_count_IxJHfR5psi(op_z4E1FaHLuy(op_S56z7WVPBn(b)),op_giaUb8UVhq(op_6iafYuwGo8(a,b),op_nhYeJWJD5X(a,b)))+op_count_Noe24qw2ks(a,826)
    else:
        count = op_count_Noe24qw2ks(136,a)+op_count_HrjLwUk87U(128,a)+op_count_OWnFPqjWlR(op_Noe24qw2ks(136,a),op_HrjLwUk87U(128,a))+op_count_WkeUrDK8WX(b)+op_count_y4ImoPnbV5(b,op_WkeUrDK8WX(b))+op_count_NrdPCfJQiM(op_OWnFPqjWlR(op_Noe24qw2ks(136,a),op_HrjLwUk87U(128,a)),op_y4ImoPnbV5(b,op_WkeUrDK8WX(b)))
    return count


a⨓↚b = { (b⊱⇼⊻143) , if a>588 ; a , else }

def op_YLJhMbTGGW(a, b):
    if a > 588:
        return op_FyVja0WsTP(b,143)
    else:
        return a

def op_count_YLJhMbTGGW(a, b):
    if a > 588:
        count = op_count_FyVja0WsTP(b,143)
    else:
        count = 1
    return count


def op_D4e1cgsuJu(a, b):
    if a >= 676:
        return op_PxpmPgHHJV(op_4JB6nKBMSY(b,a))
    else:
        return op_UqUOXUQnbU(op_rFxw8gIMmB(121),op_fOIeswaMU4(a))

def op_count_D4e1cgsuJu(a, b):
    if a >= 676:
        count = op_count_4JB6nKBMSY(b,a)+op_count_PxpmPgHHJV(op_4JB6nKBMSY(b,a))
    else:
        count = op_count_rFxw8gIMmB(121)+op_count_fOIeswaMU4(a)+op_count_UqUOXUQnbU(op_rFxw8gIMmB(121),op_fOIeswaMU4(a))
    return count


a⇘⨗b = { (b⇩) , if (b⊙)<=355 ; (a⨑⋨b) , else }

def op_w4eTsxfO5i(a, b):
    if op_pjdzZ5rP1Y(b) <= 355:
        return op_vRio1gEz1j(b)
    else:
        return op_tIhPxZTbsh(a,b)

def op_count_w4eTsxfO5i(a, b):
    if op_pjdzZ5rP1Y(b) <= 355:
        count = op_count_vRio1gEz1j(b)+op_count_pjdzZ5rP1Y(b)
    else:
        count = op_count_tIhPxZTbsh(a,b)
    return count


⊹⩦a = { ((↥≼⋛(142⊉≛↸a))⨜⨶(a⋞(a⫰⋱a))) , if a<119 ; (((a≻⇥≳696)∩⋅)⇩↽) , else }

def op_DdVCgmaQMW(a):
    if a < 119:
        return op_HiPekx5b7W(op_x5lMkHmzsq(op_DZ8iAZOCBD(142,a)),op_V4yb4KDoeF(a,op_6o9Blt3TJ6(a,a)))
    else:
        return op_HjMFvreeUu(op_2MzE1hQ0cz(op_aiqF8n6J9c(a,696)))

def op_count_DdVCgmaQMW(a):
    if a < 119:
        count = op_count_DZ8iAZOCBD(142,a)+op_count_x5lMkHmzsq(op_DZ8iAZOCBD(142,a))+op_count_6o9Blt3TJ6(a,a)+op_count_V4yb4KDoeF(a,op_6o9Blt3TJ6(a,a))+op_count_HiPekx5b7W(op_x5lMkHmzsq(op_DZ8iAZOCBD(142,a)),op_V4yb4KDoeF(a,op_6o9Blt3TJ6(a,a)))
    else:
        count = op_count_aiqF8n6J9c(a,696)+op_count_2MzE1hQ0cz(op_aiqF8n6J9c(a,696))+op_count_HjMFvreeUu(op_2MzE1hQ0cz(op_aiqF8n6J9c(a,696)))
    return count


def op_oJeI64L7yZ(a, b):
    if op_sM9mzqIDB1(a,998) >= 22:
        return op_ieTw63T1Vx(a)
    else:
        return op_jBC4ymW3D7(b,6)

def op_count_oJeI64L7yZ(a, b):
    if op_sM9mzqIDB1(a,998) >= 22:
        count = op_count_ieTw63T1Vx(a)+op_count_sM9mzqIDB1(a,998)
    else:
        count = op_count_jBC4ymW3D7(b,6)
    return count


def op_BX5yTvkFHV(a):
    return op_DX7B1fY6P6(op_kuIXHzHcAH(a,a),op_qxqspddX8k(a,a))

def op_count_BX5yTvkFHV(a):
    count = op_count_kuIXHzHcAH(a,a)+op_count_qxqspddX8k(a,a)+op_count_DX7B1fY6P6(op_kuIXHzHcAH(a,a),op_qxqspddX8k(a,a))
    return count


def op_ThCBRY6y6l(a, b):
    return op_cTDWOvIxvz(op_WObL9SsYVE(a,a),op_neKQRQQIil(b,52))

def op_count_ThCBRY6y6l(a, b):
    count = op_count_WObL9SsYVE(a,a)+op_count_neKQRQQIil(b,52)+op_count_cTDWOvIxvz(op_WObL9SsYVE(a,a),op_neKQRQQIil(b,52))
    return count


⋼a = { ((⊁⨺(a⩣⫁∢a))+⪬∐((a⪎↠a)⪎↠(a⩍⋽⫝̸a))) }

def op_DuvJ64LP7x(a):
    return op_2GS7woTJqF(op_PxiHyQbrIp(op_JDUIKTTSIa(a,a)),op_3tVxb0NHM4(op_3tVxb0NHM4(a,a),op_BiWNJpBvwn(a,a)))

def op_count_DuvJ64LP7x(a):
    count = op_count_JDUIKTTSIa(a,a)+op_count_PxiHyQbrIp(op_JDUIKTTSIa(a,a))+op_count_3tVxb0NHM4(a,a)+op_count_BiWNJpBvwn(a,a)+op_count_3tVxb0NHM4(op_3tVxb0NHM4(a,a),op_BiWNJpBvwn(a,a))+op_count_2GS7woTJqF(op_PxiHyQbrIp(op_JDUIKTTSIa(a,a)),op_3tVxb0NHM4(op_3tVxb0NHM4(a,a),op_BiWNJpBvwn(a,a)))
    return count


def op_UuoVKWBu8y(a, b):
    return op_HrjLwUk87U(op_UeUK5QjOtW(b),op_Sq3AGanRSD(a,a))

def op_count_UuoVKWBu8y(a, b):
    count = op_count_UeUK5QjOtW(b)+op_count_Sq3AGanRSD(a,a)+op_count_HrjLwUk87U(op_UeUK5QjOtW(b),op_Sq3AGanRSD(a,a))
    return count


a∲⇪ = { (((a-∠a)∠↢(a⨑⋨a))⪈⋁⩁((130↹⊜a)⋥≓≎(41⫚↹⊑a))) }

def op_Dhjb568wi2(a):
    return op_GMyVS5K48T(op_KbjG8mgYpV(op_s0IfDFCCuZ(a,a),op_tIhPxZTbsh(a,a)),op_Qy55tPpLXF(op_9bazX3JMtO(130,a),op_dfKe02y8D2(41,a)))

def op_count_Dhjb568wi2(a):
    count = op_count_s0IfDFCCuZ(a,a)+op_count_tIhPxZTbsh(a,a)+op_count_KbjG8mgYpV(op_s0IfDFCCuZ(a,a),op_tIhPxZTbsh(a,a))+op_count_9bazX3JMtO(130,a)+op_count_dfKe02y8D2(41,a)+op_count_Qy55tPpLXF(op_9bazX3JMtO(130,a),op_dfKe02y8D2(41,a))+op_count_GMyVS5K48T(op_KbjG8mgYpV(op_s0IfDFCCuZ(a,a),op_tIhPxZTbsh(a,a)),op_Qy55tPpLXF(op_9bazX3JMtO(130,a),op_dfKe02y8D2(41,a)))
    return count


a↙↷b = { (a⨳⩥⨓b) , if ((b⋰⇉∕533)!=458 or (a⇊⊒⫧)<=16) ; (a⩰⨪↦) , else }

def op_j8STMlMTgO(a, b):
    if (op_sM9mzqIDB1(b,533) != 458 or op_eIba4BG3xN(a) <= 16):
        return op_nCS4ZIUYfx(a,b)
    else:
        return op_fLfyAuxYJD(a)

def op_count_j8STMlMTgO(a, b):
    if (op_sM9mzqIDB1(b,533) != 458 or op_eIba4BG3xN(a) <= 16):
        count = op_count_nCS4ZIUYfx(a,b)+op_count_sM9mzqIDB1(b,533)+op_count_eIba4BG3xN(a)
    else:
        count = op_count_fLfyAuxYJD(a)
    return count


a⫻⊃⩎ = { (a⪈⋁⩁a) , if a==10 ; (⩒∊a) , else }

def op_Lkj2SXUJ3n(a):
    if a == 10:
        return op_GMyVS5K48T(a,a)
    else:
        return op_qazvmhNBbN(a)

def op_count_Lkj2SXUJ3n(a):
    if a == 10:
        count = op_count_GMyVS5K48T(a,a)
    else:
        count = op_count_qazvmhNBbN(a)
    return count


def op_nVH8oQGqd6(a):
    if op_j4geBLYVFK(a) == 839 or a < 171:
        return op_GMN7JP6WpN(op_oH594TLvBK(182),a)
    else:
        return op_S5ZFQS4GK3(op_YSKBFp38Pu(a,a),op_zoVPnxeHJ3(a))

def op_count_nVH8oQGqd6(a):
    if op_j4geBLYVFK(a) == 839 or a < 171:
        count = op_count_oH594TLvBK(182)+op_count_GMN7JP6WpN(op_oH594TLvBK(182),a)+op_count_j4geBLYVFK(a)
    else:
        count = op_count_YSKBFp38Pu(a,a)+op_count_zoVPnxeHJ3(a)+op_count_S5ZFQS4GK3(op_YSKBFp38Pu(a,a),op_zoVPnxeHJ3(a))
    return count


def op_stqfiwE0x5(a):
    return op_IxJHfR5psi(op_EBcxylXtPf(191),op_S5ZFQS4GK3(a,34))

def op_count_stqfiwE0x5(a):
    count = op_count_EBcxylXtPf(191)+op_count_S5ZFQS4GK3(a,34)+op_count_IxJHfR5psi(op_EBcxylXtPf(191),op_S5ZFQS4GK3(a,34))
    return count


a≞⋀⪁ = { ((a⊋≦⊧(a⋝⋈⪟122))⩼⇪↪((321⪚⨁⋖a)∊⊞≈(a⩟))) }

def op_NjO3Tj3M80(a):
    return op_ocnLzx9CaJ(op_oRDoc9rAEX(a,op_2DDjHMKMc0(a,122)),op_keuJNkrrbj(op_xSk1F0pZbF(321,a),op_fOIeswaMU4(a)))

def op_count_NjO3Tj3M80(a):
    count = op_count_2DDjHMKMc0(a,122)+op_count_oRDoc9rAEX(a,op_2DDjHMKMc0(a,122))+op_count_xSk1F0pZbF(321,a)+op_count_fOIeswaMU4(a)+op_count_keuJNkrrbj(op_xSk1F0pZbF(321,a),op_fOIeswaMU4(a))+op_count_ocnLzx9CaJ(op_oRDoc9rAEX(a,op_2DDjHMKMc0(a,122)),op_keuJNkrrbj(op_xSk1F0pZbF(321,a),op_fOIeswaMU4(a)))
    return count