def op_P3bIQ7qQtE(a):
    if op_E4l6HwMY31(a,307) < 142:
        return op_jLgFTUHLKL(a)
    else:
        return op_WRl4KaSwns(a,804)

def op_count_P3bIQ7qQtE(a):
    if op_E4l6HwMY31(a,307) < 142:
        count = op_count_jLgFTUHLKL(a)+op_count_E4l6HwMY31(a,307)
    else:
        count = op_count_WRl4KaSwns(a,804)
    return count


a↑⇼b = { (((a⨀⨒)⫛≵→(a⇐≅))⪨⊡((a⪱b)⩘(a⨨⪘⨔a))) }

def op_pRu0bSfsv3(a, b):
    return op_kuIXHzHcAH(op_bvqU1ecX5M(op_j6NVkjMzuk(a),op_wEfv7U73WA(a)),op_cHh1gJQ2o6(op_Fw9FUhpJpC(a,b),op_MZbvLECGjt(a,a)))

def op_count_pRu0bSfsv3(a, b):
    count = op_count_j6NVkjMzuk(a)+op_count_wEfv7U73WA(a)+op_count_bvqU1ecX5M(op_j6NVkjMzuk(a),op_wEfv7U73WA(a))+op_count_Fw9FUhpJpC(a,b)+op_count_MZbvLECGjt(a,a)+op_count_cHh1gJQ2o6(op_Fw9FUhpJpC(a,b),op_MZbvLECGjt(a,a))+op_count_kuIXHzHcAH(op_bvqU1ecX5M(op_j6NVkjMzuk(a),op_wEfv7U73WA(a)),op_cHh1gJQ2o6(op_Fw9FUhpJpC(a,b),op_MZbvLECGjt(a,a)))
    return count


⊧⪌a = { ((a⫈∭⊸(a∨∎⇬))⫣⨩(⨞(a⩨⇫a))) , if a!=479 ; a , else }

def op_2Ut47WbR7R(a):
    if a != 479:
        return op_4ZyE98Jico(op_21ob1huWpa(a,op_RxP5IMfl1x(a)),op_grHKJW0KEs(op_DcJ7QUUf6x(a,a)))
    else:
        return a

def op_count_2Ut47WbR7R(a):
    if a != 479:
        count = op_count_RxP5IMfl1x(a)+op_count_21ob1huWpa(a,op_RxP5IMfl1x(a))+op_count_DcJ7QUUf6x(a,a)+op_count_grHKJW0KEs(op_DcJ7QUUf6x(a,a))+op_count_4ZyE98Jico(op_21ob1huWpa(a,op_RxP5IMfl1x(a)),op_grHKJW0KEs(op_DcJ7QUUf6x(a,a)))
    else:
        count = 1
    return count


a⪽⊸b = { ((a⊪⫢⨬a)∏) , if b<=161 and (⋒⪏⋋b)>550 and a!=75 ; ((a⫾b)⋙⪠(37⊁)) , else }

def op_Ag0vDIXuSH(a, b):
    if b <= 161 and op_DfCADQreyR(b) > 550 and a != 75:
        return op_UO1RhPgbnL(op_Es8UyEPW03(a,a))
    else:
        return op_vPmKJA6wUP(op_7JbuLsbBtx(a,b),op_IU5bnLfiEv(37))

def op_count_Ag0vDIXuSH(a, b):
    if b <= 161 and op_DfCADQreyR(b) > 550 and a != 75:
        count = op_count_Es8UyEPW03(a,a)+op_count_UO1RhPgbnL(op_Es8UyEPW03(a,a))+op_count_DfCADQreyR(b)
    else:
        count = op_count_7JbuLsbBtx(a,b)+op_count_IU5bnLfiEv(37)+op_count_vPmKJA6wUP(op_7JbuLsbBtx(a,b),op_IU5bnLfiEv(37))
    return count


def op_Mg8dStfdcH(a, b):
    if op_Mx9bI9akoD(b,299) == 21:
        return op_AiZuih6wUj(op_2Bhe5MV7ya(a,171),op_hiLoF09tr3(a))
    else:
        return op_TbULwM3gdg(op_tAdjUBznzo(a,b),op_gub5Cegaqo(a,127))

def op_count_Mg8dStfdcH(a, b):
    if op_Mx9bI9akoD(b,299) == 21:
        count = op_count_2Bhe5MV7ya(a,171)+op_count_hiLoF09tr3(a)+op_count_AiZuih6wUj(op_2Bhe5MV7ya(a,171),op_hiLoF09tr3(a))+op_count_Mx9bI9akoD(b,299)
    else:
        count = op_count_tAdjUBznzo(a,b)+op_count_gub5Cegaqo(a,127)+op_count_TbULwM3gdg(op_tAdjUBznzo(a,b),op_gub5Cegaqo(a,127))
    return count


a⨕⇹b = { (√(↵⇑b)) , if (←≛∠b)!=508 ; (⇜≂≑(212⩤≠≯a)) , else }

def op_PaWjBlmoRZ(a, b):
    if op_H9pyI74bwb(b) != 508:
        return op_9Nj8JWw93Z(op_EEycz8o2AV(b))
    else:
        return op_RFg3ArkQ7E(op_htFxK0qXae(212,a))

def op_count_PaWjBlmoRZ(a, b):
    if op_H9pyI74bwb(b) != 508:
        count = op_count_EEycz8o2AV(b)+op_count_9Nj8JWw93Z(op_EEycz8o2AV(b))+op_count_H9pyI74bwb(b)
    else:
        count = op_count_htFxK0qXae(212,a)+op_count_RFg3ArkQ7E(op_htFxK0qXae(212,a))
    return count


def op_dtjoqgJSx8(a, b):
    if op_C2eOkFrmjf(b) <= 184:
        return op_exzyYvvvzF(op_RLgQDWzcJN(op_u3XxlibK4s(a),op_qu6tLqWajp(229,a)),a)
    else:
        return op_8ZeUWtbGhp(op_4oiuhcUfb7(op_cnI436iWbz(158,505)),op_svRCeDQHR0(op_GH46DaXZxO(a,a),606))

def op_count_dtjoqgJSx8(a, b):
    if op_C2eOkFrmjf(b) <= 184:
        count = op_count_u3XxlibK4s(a)+op_count_qu6tLqWajp(229,a)+op_count_RLgQDWzcJN(op_u3XxlibK4s(a),op_qu6tLqWajp(229,a))+op_count_exzyYvvvzF(op_RLgQDWzcJN(op_u3XxlibK4s(a),op_qu6tLqWajp(229,a)),a)+op_count_C2eOkFrmjf(b)
    else:
        count = op_count_cnI436iWbz(158,505)+op_count_4oiuhcUfb7(op_cnI436iWbz(158,505))+op_count_GH46DaXZxO(a,a)+op_count_svRCeDQHR0(op_GH46DaXZxO(a,a),606)+op_count_8ZeUWtbGhp(op_4oiuhcUfb7(op_cnI436iWbz(158,505)),op_svRCeDQHR0(op_GH46DaXZxO(a,a),606))
    return count


def op_1O0FHXADw1(a):
    if (a <= 562 or op_XyyS8huJrr(a) > 540):
        return op_IOQom0VbAc(a,89)
    else:
        return op_nmZMaaE0Q9(a)

def op_count_1O0FHXADw1(a):
    if (a <= 562 or op_XyyS8huJrr(a) > 540):
        count = op_count_IOQom0VbAc(a,89)+op_count_XyyS8huJrr(a)
    else:
        count = op_count_nmZMaaE0Q9(a)
    return count


def op_Y5LAo4Hrlc(a):
    return op_T9SPe3fQV2(op_xrB6SlzufE(a,a),op_1wGGHZzAai(a))

def op_count_Y5LAo4Hrlc(a):
    count = op_count_xrB6SlzufE(a,a)+op_count_1wGGHZzAai(a)+op_count_T9SPe3fQV2(op_xrB6SlzufE(a,a),op_1wGGHZzAai(a))
    return count


a⫪⫟⩌ = { (((a⩙)⫨⨌∐(a⨽a))↴⪮(⇡⫫(a⩙∖⇲a))) }

def op_QuJxsACa0y(a):
    return op_3ayH0UyYyX(op_Ln1IrprsTU(op_JgJtpi6aUr(a),op_8HhzD0ZcuI(a,a)),op_xkySVgzY16(op_Dr4yJ0dQtH(a,a)))

def op_count_QuJxsACa0y(a):
    count = op_count_JgJtpi6aUr(a)+op_count_8HhzD0ZcuI(a,a)+op_count_Ln1IrprsTU(op_JgJtpi6aUr(a),op_8HhzD0ZcuI(a,a))+op_count_Dr4yJ0dQtH(a,a)+op_count_xkySVgzY16(op_Dr4yJ0dQtH(a,a))+op_count_3ayH0UyYyX(op_Ln1IrprsTU(op_JgJtpi6aUr(a),op_8HhzD0ZcuI(a,a)),op_xkySVgzY16(op_Dr4yJ0dQtH(a,a)))
    return count


a⋛∼⫝̸ = { a , if (a≪⨫664)>90 and (a⪸⨽)==389 ; (a⪝a) , else }

def op_y8WkMkRpra(a):
    if op_w30Z8TZG8s(a,664) > 90 and op_lwhX1Zn2tb(a) == 389:
        return a
    else:
        return op_wicAB68Tmb(a,a)

def op_count_y8WkMkRpra(a):
    if op_w30Z8TZG8s(a,664) > 90 and op_lwhX1Zn2tb(a) == 389:
        count = 1
    else:
        count = op_count_wicAB68Tmb(a,a)
    return count


a∐⩾b = { (b⇡⨸((b≮⫰536)⋔∾(a≛⪭a))) , if ((≁≀⩟a)>76 and (b∽⨚⊏239)<32) ; (((a⊐a)⋱⇵(a⫱⨶b))⇿⊰((⪨↰b)⩁⋵(b⋗⩹⩓256))) , else }

def op_g4xdPasWpP(a, b):
    if (op_h7E1ODFfHI(a) > 76 and op_OuNwQ8h2ZL(b,239) < 32):
        return op_zqsMTVBX2o(b,op_5bjJf2Re4f(op_RXTe6wbwcz(b,536),op_6DIkXxLLjT(a,a)))
    else:
        return op_ap3xiM279w(op_5ESOiVPbEV(op_kE9YHawE8s(a,a),op_XrsBijI8L6(a,b)),op_Dwi3vkQv6Q(op_blQ9vzDKd0(b),op_EKLw81v4Z3(b,256)))

def op_count_g4xdPasWpP(a, b):
    if (op_h7E1ODFfHI(a) > 76 and op_OuNwQ8h2ZL(b,239) < 32):
        count = op_count_RXTe6wbwcz(b,536)+op_count_6DIkXxLLjT(a,a)+op_count_5bjJf2Re4f(op_RXTe6wbwcz(b,536),op_6DIkXxLLjT(a,a))+op_count_zqsMTVBX2o(b,op_5bjJf2Re4f(op_RXTe6wbwcz(b,536),op_6DIkXxLLjT(a,a)))+op_count_h7E1ODFfHI(a)+op_count_OuNwQ8h2ZL(b,239)
    else:
        count = op_count_kE9YHawE8s(a,a)+op_count_XrsBijI8L6(a,b)+op_count_5ESOiVPbEV(op_kE9YHawE8s(a,a),op_XrsBijI8L6(a,b))+op_count_blQ9vzDKd0(b)+op_count_EKLw81v4Z3(b,256)+op_count_Dwi3vkQv6Q(op_blQ9vzDKd0(b),op_EKLw81v4Z3(b,256))+op_count_ap3xiM279w(op_5ESOiVPbEV(op_kE9YHawE8s(a,a),op_XrsBijI8L6(a,b)),op_Dwi3vkQv6Q(op_blQ9vzDKd0(b),op_EKLw81v4Z3(b,256)))
    return count


⨠⊄⩡a = { (((20⊌∢)⨳(a⊇⫘⪍a))⪖⪯⋚) , if a==235 ; (((a≣↻114)⊤⋩)−↩((a⫶a)⇫≋(a⋈a))) , else }

def op_XUNI3At14j(a):
    if a == 235:
        return op_D8FqJNSzfY(op_YaB1w09lmH(op_RisKg0Fd7C(20),op_dUpriDnGP5(a,a)))
    else:
        return op_R5BlhskJds(op_YO5J0Wdcck(op_KDDfsCJhw5(a,114)),op_7mDgzgOxkj(op_BAIXFdYaz3(a,a),op_nDybdB13Ph(a,a)))

def op_count_XUNI3At14j(a):
    if a == 235:
        count = op_count_RisKg0Fd7C(20)+op_count_dUpriDnGP5(a,a)+op_count_YaB1w09lmH(op_RisKg0Fd7C(20),op_dUpriDnGP5(a,a))+op_count_D8FqJNSzfY(op_YaB1w09lmH(op_RisKg0Fd7C(20),op_dUpriDnGP5(a,a)))
    else:
        count = op_count_KDDfsCJhw5(a,114)+op_count_YO5J0Wdcck(op_KDDfsCJhw5(a,114))+op_count_BAIXFdYaz3(a,a)+op_count_nDybdB13Ph(a,a)+op_count_7mDgzgOxkj(op_BAIXFdYaz3(a,a),op_nDybdB13Ph(a,a))+op_count_R5BlhskJds(op_YO5J0Wdcck(op_KDDfsCJhw5(a,114)),op_7mDgzgOxkj(op_BAIXFdYaz3(a,a),op_nDybdB13Ph(a,a)))
    return count


≸↞⋩a = { (((∾∥a)∛⇘(⩹∙208))⪤⋵⇕((a⊵⩛∤a)⇮⊵(a⪼⩢⋲a))) }

def op_tVs89wIT8I(a):
    return op_XSHbJDpXHf(op_m5a1S9LJYP(op_bT4aPWTCol(a),op_P4YTKtsoS6(208)),op_mQAUEyL64v(op_36V2MidH9c(a,a),op_4VgzueLoPD(a,a)))

def op_count_tVs89wIT8I(a):
    count = op_count_bT4aPWTCol(a)+op_count_P4YTKtsoS6(208)+op_count_m5a1S9LJYP(op_bT4aPWTCol(a),op_P4YTKtsoS6(208))+op_count_36V2MidH9c(a,a)+op_count_4VgzueLoPD(a,a)+op_count_mQAUEyL64v(op_36V2MidH9c(a,a),op_4VgzueLoPD(a,a))+op_count_XSHbJDpXHf(op_m5a1S9LJYP(op_bT4aPWTCol(a),op_P4YTKtsoS6(208)),op_mQAUEyL64v(op_36V2MidH9c(a,a),op_4VgzueLoPD(a,a)))
    return count


def op_KIx7mdv3RX(a):
    if op_3TQ6NmgUL8(a,129) == 289:
        return op_8CI59HBmeC(op_vhtqQa4va1(op_LkLIoiE525(118),op_h5KbohBAOz(a,643)),a)
    else:
        return a

def op_count_KIx7mdv3RX(a):
    if op_3TQ6NmgUL8(a,129) == 289:
        count = op_count_LkLIoiE525(118)+op_count_h5KbohBAOz(a,643)+op_count_vhtqQa4va1(op_LkLIoiE525(118),op_h5KbohBAOz(a,643))+op_count_8CI59HBmeC(op_vhtqQa4va1(op_LkLIoiE525(118),op_h5KbohBAOz(a,643)),a)+op_count_3TQ6NmgUL8(a,129)
    else:
        count = 1
    return count


a⫫⨡⋹b = { ((a⋽⋛)∶) , if (a<=582 or a!=872) ; ((≔b)⨱↷⋐(b⊁⊹⇚a)) , else }

def op_BG8KoTApTr(a, b):
    if (a <= 582 or a != 872):
        return op_7FnCP1ejHT(op_Nmlly2IRyU(a))
    else:
        return op_N4xFjQxcx5(op_8FLs4eVsLt(b),op_dfh7ENhFrR(b,a))

def op_count_BG8KoTApTr(a, b):
    if (a <= 582 or a != 872):
        count = op_count_Nmlly2IRyU(a)+op_count_7FnCP1ejHT(op_Nmlly2IRyU(a))
    else:
        count = op_count_8FLs4eVsLt(b)+op_count_dfh7ENhFrR(b,a)+op_count_N4xFjQxcx5(op_8FLs4eVsLt(b),op_dfh7ENhFrR(b,a))
    return count


a⋈⩲b = { a , if (a>26 and (a√⇁)==363) ; (∱≗(⇐(a⩫b))) , else }

def op_CrdmZwrWDO(a, b):
    if (a > 26 and op_erUMkNxUTh(a) == 363):
        return a
    else:
        return op_TLSiz8NPqi(op_nmZMaaE0Q9(op_8zNRrli7uG(a,b)))

def op_count_CrdmZwrWDO(a, b):
    if (a > 26 and op_erUMkNxUTh(a) == 363):
        count = 1
    else:
        count = op_count_8zNRrli7uG(a,b)+op_count_nmZMaaE0Q9(op_8zNRrli7uG(a,b))+op_count_TLSiz8NPqi(op_nmZMaaE0Q9(op_8zNRrli7uG(a,b)))
    return count


def op_WXcmPTwyo2(a):
    if op_KF104xOwWn(a) >= 55 or op_rIhv4QYABv(a,507) < 39:
        return op_jS8qnsL3aY(op_IMmH2efQS3(op_UbRQl8i18B(a),op_2DlMacCsIx(85,a)))
    else:
        return a

def op_count_WXcmPTwyo2(a):
    if op_KF104xOwWn(a) >= 55 or op_rIhv4QYABv(a,507) < 39:
        count = op_count_UbRQl8i18B(a)+op_count_2DlMacCsIx(85,a)+op_count_IMmH2efQS3(op_UbRQl8i18B(a),op_2DlMacCsIx(85,a))+op_count_jS8qnsL3aY(op_IMmH2efQS3(op_UbRQl8i18B(a),op_2DlMacCsIx(85,a)))+op_count_KF104xOwWn(a)+op_count_rIhv4QYABv(a,507)
    else:
        count = 1
    return count


a≷⩼⩕ = { (↡(a∸≸↻)) , if (a⇳⋪)==301 ; (a⇂≾⫗(a⊀⨇⨴a)) , else }

def op_8xxngWiYAf(a):
    if op_vNWpG5Bnwq(a) == 301:
        return op_MXaNJeIAZ3(op_BBiaZi4lXp(a))
    else:
        return op_aBQ6xLxuTc(a,op_XfMOxBn7HF(a,a))

def op_count_8xxngWiYAf(a):
    if op_vNWpG5Bnwq(a) == 301:
        count = op_count_BBiaZi4lXp(a)+op_count_MXaNJeIAZ3(op_BBiaZi4lXp(a))+op_count_vNWpG5Bnwq(a)
    else:
        count = op_count_XfMOxBn7HF(a,a)+op_count_aBQ6xLxuTc(a,op_XfMOxBn7HF(a,a))
    return count


↷⇺↵a = { (((⨁a)∛∙(a⊟⇱))⪰) , if (a⩸⨹⇝)==6 ; (((≪a)⇰(↭⪆207))⋗⋌((a⊁⪁∏a)⪔∲)) , else }

def op_BOd5HHRnpm(a):
    if op_Tx2vH9Gc0M(a) == 6:
        return op_TqTf0WBeGT(op_kpf4jZBDQQ(op_gImejOImwh(a),op_03sUfWo75k(a)))
    else:
        return op_9BUDYzLkPF(op_sQnEGnxm5s(op_Qtd6bqUJcN(a),op_SXU37uY0z3(207)),op_9Mv3TGYLiV(op_NRyasOrsb7(a,a)))

def op_count_BOd5HHRnpm(a):
    if op_Tx2vH9Gc0M(a) == 6:
        count = op_count_gImejOImwh(a)+op_count_03sUfWo75k(a)+op_count_kpf4jZBDQQ(op_gImejOImwh(a),op_03sUfWo75k(a))+op_count_TqTf0WBeGT(op_kpf4jZBDQQ(op_gImejOImwh(a),op_03sUfWo75k(a)))+op_count_Tx2vH9Gc0M(a)
    else:
        count = op_count_Qtd6bqUJcN(a)+op_count_SXU37uY0z3(207)+op_count_sQnEGnxm5s(op_Qtd6bqUJcN(a),op_SXU37uY0z3(207))+op_count_NRyasOrsb7(a,a)+op_count_9Mv3TGYLiV(op_NRyasOrsb7(a,a))+op_count_9BUDYzLkPF(op_sQnEGnxm5s(op_Qtd6bqUJcN(a),op_SXU37uY0z3(207)),op_9Mv3TGYLiV(op_NRyasOrsb7(a,a)))
    return count


a⫂∏b = { (((⪡⇡≛b)⫡⨏(b⨭⩞a))⊳⪫⪖((a⋋∟⊰b)⨃⇵⋔(∌⇗b))) , if (a⫼⨱⇬)<=332 ; (⋋⊲(⊀⪏(244⋮≀a))) , else }

def op_01leFtwrgg(a, b):
    if op_t8oZggvleL(a) <= 332:
        return op_bqn6BngAyz(op_QMFrweE19q(op_qL4PrbW1Dq(b),op_wLFAaebWLN(b,a)),op_Bdiofinswe(op_mrNpOysvNy(a,b),op_jOLWJh9ixj(b)))
    else:
        return op_RpARD7IbKd(op_p86lzYUsDd(op_VTngge07Jm(244,a)))

def op_count_01leFtwrgg(a, b):
    if op_t8oZggvleL(a) <= 332:
        count = op_count_qL4PrbW1Dq(b)+op_count_wLFAaebWLN(b,a)+op_count_QMFrweE19q(op_qL4PrbW1Dq(b),op_wLFAaebWLN(b,a))+op_count_mrNpOysvNy(a,b)+op_count_jOLWJh9ixj(b)+op_count_Bdiofinswe(op_mrNpOysvNy(a,b),op_jOLWJh9ixj(b))+op_count_bqn6BngAyz(op_QMFrweE19q(op_qL4PrbW1Dq(b),op_wLFAaebWLN(b,a)),op_Bdiofinswe(op_mrNpOysvNy(a,b),op_jOLWJh9ixj(b)))+op_count_t8oZggvleL(a)
    else:
        count = op_count_VTngge07Jm(244,a)+op_count_p86lzYUsDd(op_VTngge07Jm(244,a))+op_count_RpARD7IbKd(op_p86lzYUsDd(op_VTngge07Jm(244,a)))
    return count


a⫒⋂ = { (a⪚a) , if (⪐⊮⇂a)>=182 ; (∮a) , else }

def op_FWqtsPQLqi(a):
    if op_gyx1WIpxU2(a) >= 182:
        return op_HrjLwUk87U(a,a)
    else:
        return op_CqXKPLVYql(a)

def op_count_FWqtsPQLqi(a):
    if op_gyx1WIpxU2(a) >= 182:
        count = op_count_HrjLwUk87U(a,a)+op_count_gyx1WIpxU2(a)
    else:
        count = op_count_CqXKPLVYql(a)
    return count


↬⫢⫿a = { (((a↙⨫⫶a)⇢(a⪭≽⪚a))*⇘(⋦⩻(a↠⩺))) , if (a↹⨦83)<353 ; ((⇯⇯⇖(a⫉⋃98))∽⪡) , else }

def op_qxhhQdc9YY(a):
    if op_CE93BnRTrY(a,83) < 353:
        return op_5JlONKxcBp(op_GMN7JP6WpN(op_LwmwRo8pon(a,a),op_eY5BGNLxQI(a,a)),op_rpUyz6EwhL(op_3jcGZHSLmS(a)))
    else:
        return op_GyZKrXyLmB(op_CahPrUk5Au(op_YEzomLoFTT(a,98)))

def op_count_qxhhQdc9YY(a):
    if op_CE93BnRTrY(a,83) < 353:
        count = op_count_LwmwRo8pon(a,a)+op_count_eY5BGNLxQI(a,a)+op_count_GMN7JP6WpN(op_LwmwRo8pon(a,a),op_eY5BGNLxQI(a,a))+op_count_3jcGZHSLmS(a)+op_count_rpUyz6EwhL(op_3jcGZHSLmS(a))+op_count_5JlONKxcBp(op_GMN7JP6WpN(op_LwmwRo8pon(a,a),op_eY5BGNLxQI(a,a)),op_rpUyz6EwhL(op_3jcGZHSLmS(a)))+op_count_CE93BnRTrY(a,83)
    else:
        count = op_count_YEzomLoFTT(a,98)+op_count_CahPrUk5Au(op_YEzomLoFTT(a,98))+op_count_GyZKrXyLmB(op_CahPrUk5Au(op_YEzomLoFTT(a,98)))
    return count


a⇒⫙⩪b = { (b⩔⇧⪏b) , if (a⨈⋀)<=5 ; (a⊾⪯⋞a) , else }

def op_GlSFjmIWmY(a, b):
    if op_wzBiNQHWU1(a) <= 5:
        return op_uTXOZ2BrWI(b,b)
    else:
        return op_HK0tfVPux8(a,a)

def op_count_GlSFjmIWmY(a, b):
    if op_wzBiNQHWU1(a) <= 5:
        count = op_count_uTXOZ2BrWI(b,b)+op_count_wzBiNQHWU1(a)
    else:
        count = op_count_HK0tfVPux8(a,a)
    return count


def op_kDQ0oYbj3W(a, b):
    if op_chJOjhVmaW(a,610) > 225:
        return op_lnBQX9AhHE(b)
    else:
        return op_PoHhknlbAi(b,607)

def op_count_kDQ0oYbj3W(a, b):
    if op_chJOjhVmaW(a,610) > 225:
        count = op_count_lnBQX9AhHE(b)+op_count_chJOjhVmaW(a,610)
    else:
        count = op_count_PoHhknlbAi(b,607)
    return count


a⊡≗b = { (b↤(a⇇≺⩫b)) , if (⇎≄⫦a)>=8 ; ((⪮↲b)⩉*(b⊪)) , else }

def op_8fYlehcX6L(a, b):
    if op_LXmfvPwYVb(a) >= 8:
        return op_jtBAKJz2S7(b,op_XVG3v5SdcH(a,b))
    else:
        return op_e9vVQXp6da(op_o87fefzB9U(b),op_zVYPLywUTj(b))

def op_count_8fYlehcX6L(a, b):
    if op_LXmfvPwYVb(a) >= 8:
        count = op_count_XVG3v5SdcH(a,b)+op_count_jtBAKJz2S7(b,op_XVG3v5SdcH(a,b))+op_count_LXmfvPwYVb(a)
    else:
        count = op_count_o87fefzB9U(b)+op_count_zVYPLywUTj(b)+op_count_e9vVQXp6da(op_o87fefzB9U(b),op_zVYPLywUTj(b))
    return count


a⊒∩⊛ = { (⊗182) , if (⪯⋭a)>32 ; (a↖⪸⫱(a⊵a)) , else }

def op_3gwfBfXvve(a):
    if op_l034Y9yrOR(a) > 32:
        return op_RhiyfpczSx(182)
    else:
        return op_KCGfcBnbwZ(a,op_eaFBhJ0Uku(a,a))

def op_count_3gwfBfXvve(a):
    if op_l034Y9yrOR(a) > 32:
        count = op_count_RhiyfpczSx(182)+op_count_l034Y9yrOR(a)
    else:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_KCGfcBnbwZ(a,op_eaFBhJ0Uku(a,a))
    return count


def op_nw4hQNbooP(a):
    if op_aFodGWjv1K(a,335) <= 743:
        return op_XGcMNugi78(a,a)
    else:
        return a

def op_count_nw4hQNbooP(a):
    if op_aFodGWjv1K(a,335) <= 743:
        count = op_count_XGcMNugi78(a,a)+op_count_aFodGWjv1K(a,335)
    else:
        count = 1
    return count


⨡↺≷a = { (((a⪔⊥a)≇⨤⊇(54⪞a))⩤≠≯(⫰↦↲(≔a))) , if (⨰∸⨫a)>=26 ; (((a∌⇯⇷a)⫦⇥(177⩘76))⊟⫌%((a↓⨁⩅)⪡⨥(a⨓⋃))) , else }

def op_rmSF2w553R(a):
    if op_QLCso5hF94(a) >= 26:
        return op_htFxK0qXae(op_nLhlVZSGl1(op_HJ9erzHUuu(a,a),op_gs832QT2eo(54,a)),op_3x5wtHepBr(op_8FLs4eVsLt(a)))
    else:
        return op_K5p65un2ft(op_2pBQXqWGeP(op_moP16zZBUU(a,a),op_cHh1gJQ2o6(177,76)),op_rN9dtwqe3n(op_tdrqWckC28(a),op_3gs6BXcuMR(a)))

def op_count_rmSF2w553R(a):
    if op_QLCso5hF94(a) >= 26:
        count = op_count_HJ9erzHUuu(a,a)+op_count_gs832QT2eo(54,a)+op_count_nLhlVZSGl1(op_HJ9erzHUuu(a,a),op_gs832QT2eo(54,a))+op_count_8FLs4eVsLt(a)+op_count_3x5wtHepBr(op_8FLs4eVsLt(a))+op_count_htFxK0qXae(op_nLhlVZSGl1(op_HJ9erzHUuu(a,a),op_gs832QT2eo(54,a)),op_3x5wtHepBr(op_8FLs4eVsLt(a)))+op_count_QLCso5hF94(a)
    else:
        count = op_count_moP16zZBUU(a,a)+op_count_cHh1gJQ2o6(177,76)+op_count_2pBQXqWGeP(op_moP16zZBUU(a,a),op_cHh1gJQ2o6(177,76))+op_count_tdrqWckC28(a)+op_count_3gs6BXcuMR(a)+op_count_rN9dtwqe3n(op_tdrqWckC28(a),op_3gs6BXcuMR(a))+op_count_K5p65un2ft(op_2pBQXqWGeP(op_moP16zZBUU(a,a),op_cHh1gJQ2o6(177,76)),op_rN9dtwqe3n(op_tdrqWckC28(a),op_3gs6BXcuMR(a)))
    return count


def op_rThQLB3xr0(a, b):
    if op_lSgQqoZ1E5(a) > 288:
        return op_AYjbRmBFQ3(op_UlPEfdckiB(a,b),op_rfCxBsGcPd(a,834))
    else:
        return op_B0ezUFU1kP(op_tcrxUegxCv(b,530))

def op_count_rThQLB3xr0(a, b):
    if op_lSgQqoZ1E5(a) > 288:
        count = op_count_UlPEfdckiB(a,b)+op_count_rfCxBsGcPd(a,834)+op_count_AYjbRmBFQ3(op_UlPEfdckiB(a,b),op_rfCxBsGcPd(a,834))+op_count_lSgQqoZ1E5(a)
    else:
        count = op_count_tcrxUegxCv(b,530)+op_count_B0ezUFU1kP(op_tcrxUegxCv(b,530))
    return count


a⫖⪽b = { (((a↭⋂a)∺⇼⇿(b⇚↩⩸a))⊩∰⋧((↕↖⇍0)⨢⫣↬(a⩤⪞a))) , if (b⨁∀⇛)!=256 ; (((a∮↭1)↕170)≶((a↟⪦b)⇪∗⨴(a⪼b))) , else }

def op_UlIHxGcaIG(a, b):
    if op_efdU1tSChD(b) != 256:
        return op_icxKCO3nOu(op_THQMdUzaDA(op_Acnz1HI8Ry(a,a),op_FiUSHIPi3B(b,a)),op_C7DFujtSMd(op_qpOCIbTlAF(0),op_dVH6fed4yM(a,a)))
    else:
        return op_Q2SPaKwpPJ(op_LenFzV9tw1(op_uE2ouRUgIU(a,1),170),op_xb2YpVd57y(op_m3Wy7lzjrX(a,b),op_enyv3EGcQ1(a,b)))

def op_count_UlIHxGcaIG(a, b):
    if op_efdU1tSChD(b) != 256:
        count = op_count_Acnz1HI8Ry(a,a)+op_count_FiUSHIPi3B(b,a)+op_count_THQMdUzaDA(op_Acnz1HI8Ry(a,a),op_FiUSHIPi3B(b,a))+op_count_qpOCIbTlAF(0)+op_count_dVH6fed4yM(a,a)+op_count_C7DFujtSMd(op_qpOCIbTlAF(0),op_dVH6fed4yM(a,a))+op_count_icxKCO3nOu(op_THQMdUzaDA(op_Acnz1HI8Ry(a,a),op_FiUSHIPi3B(b,a)),op_C7DFujtSMd(op_qpOCIbTlAF(0),op_dVH6fed4yM(a,a)))+op_count_efdU1tSChD(b)
    else:
        count = op_count_uE2ouRUgIU(a,1)+op_count_LenFzV9tw1(op_uE2ouRUgIU(a,1),170)+op_count_m3Wy7lzjrX(a,b)+op_count_enyv3EGcQ1(a,b)+op_count_xb2YpVd57y(op_m3Wy7lzjrX(a,b),op_enyv3EGcQ1(a,b))+op_count_Q2SPaKwpPJ(op_LenFzV9tw1(op_uE2ouRUgIU(a,1),170),op_xb2YpVd57y(op_m3Wy7lzjrX(a,b),op_enyv3EGcQ1(a,b)))
    return count


⪌⇥a = { (a⪝∡) , if (a↟⇝437)>=569 ; (a⋶⨘⇁a) , else }

def op_GEFGOXcbpG(a):
    if op_YdxZk85PfS(a,437) >= 569:
        return op_3mEz3wejNI(a)
    else:
        return op_JuV1nLCdrT(a,a)

def op_count_GEFGOXcbpG(a):
    if op_YdxZk85PfS(a,437) >= 569:
        count = op_count_3mEz3wejNI(a)+op_count_YdxZk85PfS(a,437)
    else:
        count = op_count_JuV1nLCdrT(a,a)
    return count


a→⫱←b = { ((b≅a)∓⋝(b⪠⩆⊳)) , if a>=173 ; ((b⇉)⪶(b⫹≱240)) , else }

def op_fMIIRpKZCA(a, b):
    if a >= 173:
        return op_PoHhknlbAi(op_aFodGWjv1K(b,a),op_JLbD19bQDL(b))
    else:
        return op_NvEvKO2R8S(op_7XyOaozCdT(b),op_syzFGkhusE(b,240))

def op_count_fMIIRpKZCA(a, b):
    if a >= 173:
        count = op_count_aFodGWjv1K(b,a)+op_count_JLbD19bQDL(b)+op_count_PoHhknlbAi(op_aFodGWjv1K(b,a),op_JLbD19bQDL(b))
    else:
        count = op_count_7XyOaozCdT(b)+op_count_syzFGkhusE(b,240)+op_count_NvEvKO2R8S(op_7XyOaozCdT(b),op_syzFGkhusE(b,240))
    return count


⋼⊨a = { (↵⋑(a⪛⫼a)) , if (⩸a)<=96 ; ((a∓⋝a)⇀⪽(a↳⋕⋟a)) , else }

def op_wObHbfC1Ju(a):
    if op_ImZOYqi0FL(a) <= 96:
        return op_ygcs8hyBwA(op_hyuBjUqXlG(a,a))
    else:
        return op_2u38eHdNB5(op_PoHhknlbAi(a,a),op_WYdstNaOZK(a,a))

def op_count_wObHbfC1Ju(a):
    if op_ImZOYqi0FL(a) <= 96:
        count = op_count_hyuBjUqXlG(a,a)+op_count_ygcs8hyBwA(op_hyuBjUqXlG(a,a))+op_count_ImZOYqi0FL(a)
    else:
        count = op_count_PoHhknlbAi(a,a)+op_count_WYdstNaOZK(a,a)+op_count_2u38eHdNB5(op_PoHhknlbAi(a,a),op_WYdstNaOZK(a,a))
    return count


a⩽≈⇶ = { (((a⋕⪉⪜a)⩠↼⫋(a%a))⪶((a∤⪤∞a)⪸⨟)) , if (a⩉≙⋏613)>0 ; (((a⨍∆a)⫡(⪷⋘426))⨏⨮((a∠⊍⋙a)⫑⋡(a⋗⨓a))) , else }

def op_vgWpVTGHok(a):
    if op_K6E8QFs5tY(a,613) > 0:
        return op_NvEvKO2R8S(op_8m1wXWE6kN(op_z6LnFrNh4i(a,a),op_k8jYdgA6NY(a,a)),op_JwkaomVlID(op_uoTFhueqY9(a,a)))
    else:
        return op_kPwFPZlApY(op_r42jg1nETI(op_qlIXcggVCe(a,a),op_GIBeQO4UOL(426)),op_fBv0GnY1At(op_lAUTOmyRBs(a,a),op_imqY0THBaP(a,a)))

def op_count_vgWpVTGHok(a):
    if op_K6E8QFs5tY(a,613) > 0:
        count = op_count_z6LnFrNh4i(a,a)+op_count_k8jYdgA6NY(a,a)+op_count_8m1wXWE6kN(op_z6LnFrNh4i(a,a),op_k8jYdgA6NY(a,a))+op_count_uoTFhueqY9(a,a)+op_count_JwkaomVlID(op_uoTFhueqY9(a,a))+op_count_NvEvKO2R8S(op_8m1wXWE6kN(op_z6LnFrNh4i(a,a),op_k8jYdgA6NY(a,a)),op_JwkaomVlID(op_uoTFhueqY9(a,a)))+op_count_K6E8QFs5tY(a,613)
    else:
        count = op_count_qlIXcggVCe(a,a)+op_count_GIBeQO4UOL(426)+op_count_r42jg1nETI(op_qlIXcggVCe(a,a),op_GIBeQO4UOL(426))+op_count_lAUTOmyRBs(a,a)+op_count_imqY0THBaP(a,a)+op_count_fBv0GnY1At(op_lAUTOmyRBs(a,a),op_imqY0THBaP(a,a))+op_count_kPwFPZlApY(op_r42jg1nETI(op_qlIXcggVCe(a,a),op_GIBeQO4UOL(426)),op_fBv0GnY1At(op_lAUTOmyRBs(a,a),op_imqY0THBaP(a,a)))
    return count


a⨅⇊ = { (⇻↴≱((a⇉a)≂⨫(a-⫺a))) , if (a≅)>=52 ; ((⪝⪂⫅(a⨈a))⇃⩛⇬((a⊏↗436)⫈(a↬⨮⇲a))) , else }

def op_lciAuf2a4s(a):
    if op_tgPF6n0bOJ(a) >= 52:
        return op_KlZ9JYY8wh(op_A7k8RvvYBg(op_lJ0NnniDH7(a,a),op_nBHZox12dy(a,a)))
    else:
        return op_ZyEASfasF5(op_XTarYq4gQB(op_A4Cuy9E95d(a,a)),op_e1wGt9VEHG(op_DfPpNyVquf(a,436),op_8TJv5LDobx(a,a)))

def op_count_lciAuf2a4s(a):
    if op_tgPF6n0bOJ(a) >= 52:
        count = op_count_lJ0NnniDH7(a,a)+op_count_nBHZox12dy(a,a)+op_count_A7k8RvvYBg(op_lJ0NnniDH7(a,a),op_nBHZox12dy(a,a))+op_count_KlZ9JYY8wh(op_A7k8RvvYBg(op_lJ0NnniDH7(a,a),op_nBHZox12dy(a,a)))+op_count_tgPF6n0bOJ(a)
    else:
        count = op_count_A4Cuy9E95d(a,a)+op_count_XTarYq4gQB(op_A4Cuy9E95d(a,a))+op_count_DfPpNyVquf(a,436)+op_count_8TJv5LDobx(a,a)+op_count_e1wGt9VEHG(op_DfPpNyVquf(a,436),op_8TJv5LDobx(a,a))+op_count_ZyEASfasF5(op_XTarYq4gQB(op_A4Cuy9E95d(a,a)),op_e1wGt9VEHG(op_DfPpNyVquf(a,436),op_8TJv5LDobx(a,a)))
    return count


def op_Fx2Lo4InUD(a):
    if op_HyMMGPmzsk(a,291) < 81:
        return op_CgIo77xlM2(60)
    else:
        return a

def op_count_Fx2Lo4InUD(a):
    if op_HyMMGPmzsk(a,291) < 81:
        count = op_count_CgIo77xlM2(60)+op_count_HyMMGPmzsk(a,291)
    else:
        count = 1
    return count


a⪌⨞b = { (⩠↾⋷((a⊻⨌⫵29)↱⪃↡(↙∧a))) , if b<18 ; ((b⋡≾(a⩇⫾⪤a))⊌⋑((a≿a)↤(b⩻b))) , else }

def op_pdOSkNoazV(a, b):
    if b < 18:
        return op_ukSLkBfL7r(op_0MhWYBQRkt(op_NOyIGfOOXL(a,29),op_9Y9dmhHwkI(a)))
    else:
        return op_SVgvZsl5LA(op_maNSbC2RxN(b,op_FNeuu2F1id(a,a)),op_jtBAKJz2S7(op_OeanynyRyO(a,a),op_dMSKA4bw4h(b,b)))

def op_count_pdOSkNoazV(a, b):
    if b < 18:
        count = op_count_NOyIGfOOXL(a,29)+op_count_9Y9dmhHwkI(a)+op_count_0MhWYBQRkt(op_NOyIGfOOXL(a,29),op_9Y9dmhHwkI(a))+op_count_ukSLkBfL7r(op_0MhWYBQRkt(op_NOyIGfOOXL(a,29),op_9Y9dmhHwkI(a)))
    else:
        count = op_count_FNeuu2F1id(a,a)+op_count_maNSbC2RxN(b,op_FNeuu2F1id(a,a))+op_count_OeanynyRyO(a,a)+op_count_dMSKA4bw4h(b,b)+op_count_jtBAKJz2S7(op_OeanynyRyO(a,a),op_dMSKA4bw4h(b,b))+op_count_SVgvZsl5LA(op_maNSbC2RxN(b,op_FNeuu2F1id(a,a)),op_jtBAKJz2S7(op_OeanynyRyO(a,a),op_dMSKA4bw4h(b,b)))
    return count


a⊇↦≰b = { (658⇒⫠) , if (a≽⇕)>49 or (≏↼a)==602 ; (b⊙≭a) , else }

def op_w4QFAe3OeV(a, b):
    if op_SgAxmdLNEA(a) > 49 or op_u76zy1DpyB(a) == 602:
        return op_HbkKo2jppZ(658)
    else:
        return op_sVMiUtOpJT(b,a)

def op_count_w4QFAe3OeV(a, b):
    if op_SgAxmdLNEA(a) > 49 or op_u76zy1DpyB(a) == 602:
        count = op_count_HbkKo2jppZ(658)+op_count_SgAxmdLNEA(a)+op_count_u76zy1DpyB(a)
    else:
        count = op_count_sVMiUtOpJT(b,a)
    return count


←≖a = { ((⊵⊁(a⨢↟a))⇁⊓(74⋄⩥∩(a⩅a))) , if (⋅↟∎a)>21 or (a⊀⨢676)!=2 or a>=713 ; (⨒∸⪗((a⪿⇪⊩a)↝≞≭(a⩞245))) , else }

def op_mEp39yip5l(a):
    if op_69AmfhvhRu(a) > 21 or op_qabBOWcXus(a,676) != 2 or a >= 713:
        return op_tYn1ngw0gr(op_AvED76WdY7(op_Z7B3c4tHRK(a,a)),op_bq0uxnJnnH(74,op_WHvsDZpt7Z(a,a)))
    else:
        return op_MbQEnx6naJ(op_qmoX8GR648(op_OGWBzMv138(a,a),op_JO14dcB34N(a,245)))

def op_count_mEp39yip5l(a):
    if op_69AmfhvhRu(a) > 21 or op_qabBOWcXus(a,676) != 2 or a >= 713:
        count = op_count_Z7B3c4tHRK(a,a)+op_count_AvED76WdY7(op_Z7B3c4tHRK(a,a))+op_count_WHvsDZpt7Z(a,a)+op_count_bq0uxnJnnH(74,op_WHvsDZpt7Z(a,a))+op_count_tYn1ngw0gr(op_AvED76WdY7(op_Z7B3c4tHRK(a,a)),op_bq0uxnJnnH(74,op_WHvsDZpt7Z(a,a)))+op_count_69AmfhvhRu(a)+op_count_qabBOWcXus(a,676)
    else:
        count = op_count_OGWBzMv138(a,a)+op_count_JO14dcB34N(a,245)+op_count_qmoX8GR648(op_OGWBzMv138(a,a),op_JO14dcB34N(a,245))+op_count_MbQEnx6naJ(op_qmoX8GR648(op_OGWBzMv138(a,a),op_JO14dcB34N(a,245)))
    return count


a⨎⋅b = { (⫤⨶⩥(⨖⋏⩰(b⇹⋂⨚a))) , if (a⫝)>=171 ; (((136←⨾⪫b)⇝⪥⊌(b⩐203))⩛((b⊟⇱)↰⋉≍(a⊣⊑b))) , else }

def op_hMGfXo4m8J(a, b):
    if op_QRiKE94HQh(a) >= 171:
        return op_hPqQhEYUtD(op_zzjJUkkopk(op_wGJ01FE41T(b,a)))
    else:
        return op_1Ozlt4kVTJ(op_8IBHxuH8oO(op_0NqWd9MObm(136,b),op_bMfZrpXtSe(b,203)),op_4fDPylY7hB(op_03sUfWo75k(b),op_bsbByZDrTG(a,b)))

def op_count_hMGfXo4m8J(a, b):
    if op_QRiKE94HQh(a) >= 171:
        count = op_count_wGJ01FE41T(b,a)+op_count_zzjJUkkopk(op_wGJ01FE41T(b,a))+op_count_hPqQhEYUtD(op_zzjJUkkopk(op_wGJ01FE41T(b,a)))+op_count_QRiKE94HQh(a)
    else:
        count = op_count_0NqWd9MObm(136,b)+op_count_bMfZrpXtSe(b,203)+op_count_8IBHxuH8oO(op_0NqWd9MObm(136,b),op_bMfZrpXtSe(b,203))+op_count_03sUfWo75k(b)+op_count_bsbByZDrTG(a,b)+op_count_4fDPylY7hB(op_03sUfWo75k(b),op_bsbByZDrTG(a,b))+op_count_1Ozlt4kVTJ(op_8IBHxuH8oO(op_0NqWd9MObm(136,b),op_bMfZrpXtSe(b,203)),op_4fDPylY7hB(op_03sUfWo75k(b),op_bsbByZDrTG(a,b)))
    return count


a↔⩊↦b = { (((b↪⪝)←⩟(a⪾⊳a))⋤≤(⪈⊉≙(a∭≱⪢b))) , if (⨇b)<162 ; ((⩽⊹(↑⫠⊽b))+⪬∐(≹↦⩒(b⫮))) , else }

def op_M2TiddxMZg(a, b):
    if op_Oop2uYv01n(b) < 162:
        return op_rwMffNUYCm(op_Tcl1okrsLo(op_l07mrZUIn9(b),op_8n6F7jskv3(a,a)),op_slbBSpilWt(op_PEDxqk51Tr(a,b)))
    else:
        return op_2GS7woTJqF(op_mTfXJjhLvf(op_1hNHq6to5k(b)),op_nCSYG0sci4(op_f2PyOz23Sc(b)))

def op_count_M2TiddxMZg(a, b):
    if op_Oop2uYv01n(b) < 162:
        count = op_count_l07mrZUIn9(b)+op_count_8n6F7jskv3(a,a)+op_count_Tcl1okrsLo(op_l07mrZUIn9(b),op_8n6F7jskv3(a,a))+op_count_PEDxqk51Tr(a,b)+op_count_slbBSpilWt(op_PEDxqk51Tr(a,b))+op_count_rwMffNUYCm(op_Tcl1okrsLo(op_l07mrZUIn9(b),op_8n6F7jskv3(a,a)),op_slbBSpilWt(op_PEDxqk51Tr(a,b)))+op_count_Oop2uYv01n(b)
    else:
        count = op_count_1hNHq6to5k(b)+op_count_mTfXJjhLvf(op_1hNHq6to5k(b))+op_count_f2PyOz23Sc(b)+op_count_nCSYG0sci4(op_f2PyOz23Sc(b))+op_count_2GS7woTJqF(op_mTfXJjhLvf(op_1hNHq6to5k(b)),op_nCSYG0sci4(op_f2PyOz23Sc(b)))
    return count


a⋛∕b = { (3⊾⪯⋞b) , if a==799 ; (⇂a) , else }

def op_zCpJCfCzjV(a, b):
    if a == 799:
        return op_HK0tfVPux8(3,b)
    else:
        return op_0VM5IIwWHX(a)

def op_count_zCpJCfCzjV(a, b):
    if a == 799:
        count = op_count_HK0tfVPux8(3,b)
    else:
        count = op_count_0VM5IIwWHX(a)
    return count


a⩩⨧⊺ = { (⫭⨁⪭a) , if (a⋦⪚)<17 ; (a⇀⪽a) , else }

def op_MUxJ3El0z1(a):
    if op_aPSeRcDmK1(a) < 17:
        return op_TjiRhGzIti(a)
    else:
        return op_2u38eHdNB5(a,a)

def op_count_MUxJ3El0z1(a):
    if op_aPSeRcDmK1(a) < 17:
        count = op_count_TjiRhGzIti(a)+op_count_aPSeRcDmK1(a)
    else:
        count = op_count_2u38eHdNB5(a,a)
    return count


a⫥≴ = { ((382⋂⩴a)⊳⫫(⊵⊁a)) , if (a≅)>226 ; ((a∫⨥⋊a)⪙⊵⇷(a⋧a)) , else }

def op_JdPE7RfYiZ(a):
    if op_tgPF6n0bOJ(a) > 226:
        return op_siyWwrmZkB(op_hmlrMsD2PO(382,a),op_AvED76WdY7(a))
    else:
        return op_cZPC5xccNd(op_3iurnvestf(a,a),op_FaF1PUcip1(a,a))

def op_count_JdPE7RfYiZ(a):
    if op_tgPF6n0bOJ(a) > 226:
        count = op_count_hmlrMsD2PO(382,a)+op_count_AvED76WdY7(a)+op_count_siyWwrmZkB(op_hmlrMsD2PO(382,a),op_AvED76WdY7(a))+op_count_tgPF6n0bOJ(a)
    else:
        count = op_count_3iurnvestf(a,a)+op_count_FaF1PUcip1(a,a)+op_count_cZPC5xccNd(op_3iurnvestf(a,a),op_FaF1PUcip1(a,a))
    return count


a⨴⇡≱b = { (⇺⪔⩬((b⩘)≏↺(a⩀a))) , if ((⊚⊡b)<26 and (a∶⫥)==209) ; (((b⋂⩴b)⫢⨏≡(b⋴b))⪕⋍((526⫉⋑⫄78)⋧⋛↙a)) , else }

def op_hOoiUWkgqb(a, b):
    if (op_hHJq9mB9RY(b) < 26 and op_gjxVurfuqZ(a) == 209):
        return op_lAOUD4ZMWV(op_Mx9bI9akoD(op_wvHyciQT5X(b),op_M1AAiXtbt9(a,a)))
    else:
        return op_NLWUahlHYy(op_ln8odt1XeD(op_hmlrMsD2PO(b,b),op_zqpnzlcbs4(b,b)),op_IMmH2efQS3(op_Ar9Pym55NP(526,78),a))

def op_count_hOoiUWkgqb(a, b):
    if (op_hHJq9mB9RY(b) < 26 and op_gjxVurfuqZ(a) == 209):
        count = op_count_wvHyciQT5X(b)+op_count_M1AAiXtbt9(a,a)+op_count_Mx9bI9akoD(op_wvHyciQT5X(b),op_M1AAiXtbt9(a,a))+op_count_lAOUD4ZMWV(op_Mx9bI9akoD(op_wvHyciQT5X(b),op_M1AAiXtbt9(a,a)))+op_count_hHJq9mB9RY(b)+op_count_gjxVurfuqZ(a)
    else:
        count = op_count_hmlrMsD2PO(b,b)+op_count_zqpnzlcbs4(b,b)+op_count_ln8odt1XeD(op_hmlrMsD2PO(b,b),op_zqpnzlcbs4(b,b))+op_count_Ar9Pym55NP(526,78)+op_count_IMmH2efQS3(op_Ar9Pym55NP(526,78),a)+op_count_NLWUahlHYy(op_ln8odt1XeD(op_hmlrMsD2PO(b,b),op_zqpnzlcbs4(b,b)),op_IMmH2efQS3(op_Ar9Pym55NP(526,78),a))
    return count


def op_15J2qxtmnt(a):
    if a == 155:
        return op_KCGfcBnbwZ(543,a)
    else:
        return op_FlXk3pOYe8(a)

def op_count_15J2qxtmnt(a):
    if a == 155:
        count = op_count_KCGfcBnbwZ(543,a)
    else:
        count = op_count_FlXk3pOYe8(a)
    return count


∈⫥a = { ((↥⫇(a⩽⊓))⊋≦⊧((169∡≴⫵a)⫏⋑(⪯a))) , if (⩆≗a)>235 ; (⨦↡⨓(a⨮)) , else }

def op_f5E5s2pelo(a):
    if op_SMyk87KdZU(a) > 235:
        return op_oRDoc9rAEX(op_9DifTUFlNJ(op_iXQfhhNwXF(a)),op_YJnbaRgmQd(op_tJkeIIum6v(169,a),op_U18dxhAIQK(a)))
    else:
        return op_rGX0140XfS(op_jPzvRlArHT(a))

def op_count_f5E5s2pelo(a):
    if op_SMyk87KdZU(a) > 235:
        count = op_count_iXQfhhNwXF(a)+op_count_9DifTUFlNJ(op_iXQfhhNwXF(a))+op_count_tJkeIIum6v(169,a)+op_count_U18dxhAIQK(a)+op_count_YJnbaRgmQd(op_tJkeIIum6v(169,a),op_U18dxhAIQK(a))+op_count_oRDoc9rAEX(op_9DifTUFlNJ(op_iXQfhhNwXF(a)),op_YJnbaRgmQd(op_tJkeIIum6v(169,a),op_U18dxhAIQK(a)))+op_count_SMyk87KdZU(a)
    else:
        count = op_count_jPzvRlArHT(a)+op_count_rGX0140XfS(op_jPzvRlArHT(a))
    return count


def op_i4KxFVfYQG(a, b):
    if op_s1XTVnmDOJ(a,526) > 450:
        return op_e9vVQXp6da(op_exzyYvvvzF(195,305),op_i5RbA8eqaO(a,b))
    else:
        return op_XZQF252bpX(op_GODebY97qR(a,a),op_LdNpr8hQHL(b))

def op_count_i4KxFVfYQG(a, b):
    if op_s1XTVnmDOJ(a,526) > 450:
        count = op_count_exzyYvvvzF(195,305)+op_count_i5RbA8eqaO(a,b)+op_count_e9vVQXp6da(op_exzyYvvvzF(195,305),op_i5RbA8eqaO(a,b))+op_count_s1XTVnmDOJ(a,526)
    else:
        count = op_count_GODebY97qR(a,a)+op_count_LdNpr8hQHL(b)+op_count_XZQF252bpX(op_GODebY97qR(a,a),op_LdNpr8hQHL(b))
    return count


a⊍/b = { (((385⫲≐b)∈⨪⇽(b⇃⪼b))⋩≍≻) , if (b⨤↠⊭)>=25 ; (((b⪇⇪⫳b)⩻⇘⩦b)⪉((a⋌a)∺⋿(⪂∦134))) , else }

def op_BwsCm04ChT(a, b):
    if op_Xp5ON8hGWA(b) >= 25:
        return op_WYd1w68Nbz(op_OkeBNI2wuD(op_sDUFqk2NSv(385,b),op_KfHK9LWpY5(b,b)))
    else:
        return op_P4ywzuOpaq(op_BrdKLlllJJ(op_zLfG7Ay1vB(b,b),b),op_Ft2biiUhlV(op_MlMyrKhIQ5(a,a),op_d5EHc49d3N(134)))

def op_count_BwsCm04ChT(a, b):
    if op_Xp5ON8hGWA(b) >= 25:
        count = op_count_sDUFqk2NSv(385,b)+op_count_KfHK9LWpY5(b,b)+op_count_OkeBNI2wuD(op_sDUFqk2NSv(385,b),op_KfHK9LWpY5(b,b))+op_count_WYd1w68Nbz(op_OkeBNI2wuD(op_sDUFqk2NSv(385,b),op_KfHK9LWpY5(b,b)))+op_count_Xp5ON8hGWA(b)
    else:
        count = op_count_zLfG7Ay1vB(b,b)+op_count_BrdKLlllJJ(op_zLfG7Ay1vB(b,b),b)+op_count_MlMyrKhIQ5(a,a)+op_count_d5EHc49d3N(134)+op_count_Ft2biiUhlV(op_MlMyrKhIQ5(a,a),op_d5EHc49d3N(134))+op_count_P4ywzuOpaq(op_BrdKLlllJJ(op_zLfG7Ay1vB(b,b),b),op_Ft2biiUhlV(op_MlMyrKhIQ5(a,a),op_d5EHc49d3N(134)))
    return count


a⋤⊅⫼ = { ((16⪐≢↶a)∁⊟(⨵≀≌a)) , if (a⪡⇊⇼769)<473 ; ((a⇏a)⊫∤(103⫣⪄⊒a)) , else }

def op_GZH4Ov4CId(a):
    if op_h9LDQjFYy5(a,769) < 473:
        return op_HqcLaSpb3E(op_GaQb60eDBT(16,a),op_srAu1WTS94(a))
    else:
        return op_PAFjRznPDq(op_PgomNjGXmI(a,a),op_RabNbG55vr(103,a))

def op_count_GZH4Ov4CId(a):
    if op_h9LDQjFYy5(a,769) < 473:
        count = op_count_GaQb60eDBT(16,a)+op_count_srAu1WTS94(a)+op_count_HqcLaSpb3E(op_GaQb60eDBT(16,a),op_srAu1WTS94(a))+op_count_h9LDQjFYy5(a,769)
    else:
        count = op_count_PgomNjGXmI(a,a)+op_count_RabNbG55vr(103,a)+op_count_PAFjRznPDq(op_PgomNjGXmI(a,a),op_RabNbG55vr(103,a))
    return count


def op_VyHRjkPew0(a):
    if (op_eZ4iHVWETC(a,872) < 680 and op_Lcu9TIsOQz(a) <= 718):
        return op_wCMamEyb9i(a,a)
    else:
        return op_jBncVCNhdl(a,412)

def op_count_VyHRjkPew0(a):
    if (op_eZ4iHVWETC(a,872) < 680 and op_Lcu9TIsOQz(a) <= 718):
        count = op_count_wCMamEyb9i(a,a)+op_count_eZ4iHVWETC(a,872)+op_count_Lcu9TIsOQz(a)
    else:
        count = op_count_jBncVCNhdl(a,412)
    return count


a⨺⊔ = { ((a⫽a)⨄⊾⩮) , if (⨗a)<=235 ; ((a⇯⇋a)⊆(a⇼⇔∾a)) , else }

def op_ruEykwmqhR(a):
    if op_OzkgYwrgK1(a) <= 235:
        return op_GfE2GQMWLl(op_uU3XJfDBdq(a,a))
    else:
        return op_vMVtL6bY9U(op_VwBdEydXvH(a,a),op_tifHPKVTfV(a,a))

def op_count_ruEykwmqhR(a):
    if op_OzkgYwrgK1(a) <= 235:
        count = op_count_uU3XJfDBdq(a,a)+op_count_GfE2GQMWLl(op_uU3XJfDBdq(a,a))+op_count_OzkgYwrgK1(a)
    else:
        count = op_count_VwBdEydXvH(a,a)+op_count_tifHPKVTfV(a,a)+op_count_vMVtL6bY9U(op_VwBdEydXvH(a,a),op_tifHPKVTfV(a,a))
    return count


∿⪫a = { ((⇳(a⊆⇧⪚a))⊁) , if (a≌⊪⫪763)>44 ; a , else }

def op_MZpuNorHss(a):
    if op_htsSHb9NOj(a,763) > 44:
        return op_IU5bnLfiEv(op_QaS5iYTZMC(op_zma7vR3L5W(a,a)))
    else:
        return a

def op_count_MZpuNorHss(a):
    if op_htsSHb9NOj(a,763) > 44:
        count = op_count_zma7vR3L5W(a,a)+op_count_QaS5iYTZMC(op_zma7vR3L5W(a,a))+op_count_IU5bnLfiEv(op_QaS5iYTZMC(op_zma7vR3L5W(a,a)))+op_count_htsSHb9NOj(a,763)
    else:
        count = 1
    return count


def op_7AjaldEyf6(a, b):
    if b == 42:
        return op_z4ujcxYYss(op_irKjLsMeKy(a,a),op_17vTJqz9Ht(286))
    else:
        return op_LFtbApO071(op_B48fwm0ULD(a),op_zDWB6XqCFD(a,663))

def op_count_7AjaldEyf6(a, b):
    if b == 42:
        count = op_count_irKjLsMeKy(a,a)+op_count_17vTJqz9Ht(286)+op_count_z4ujcxYYss(op_irKjLsMeKy(a,a),op_17vTJqz9Ht(286))
    else:
        count = op_count_B48fwm0ULD(a)+op_count_zDWB6XqCFD(a,663)+op_count_LFtbApO071(op_B48fwm0ULD(a),op_zDWB6XqCFD(a,663))
    return count


a⋜≶⨆ = { (a⪿a) , if (⇰⨵a)!=376 ; (a*a) , else }

def op_yvsShYQv2p(a):
    if op_E4WEglQwU2(a) != 376:
        return op_lLg6KFppdz(a,a)
    else:
        return op_9HNa5Wba9A(a,a)

def op_count_yvsShYQv2p(a):
    if op_E4WEglQwU2(a) != 376:
        count = op_count_lLg6KFppdz(a,a)+op_count_E4WEglQwU2(a)
    else:
        count = op_count_9HNa5Wba9A(a,a)
    return count


a∲⇆ = { ((a⫨⩸⩜a)⫣⪄⊒(a∊⊞≈a)) , if a<=1 or (a⩫848)<=162 ; ((a⋆a)≨⪨(a⩻⨮⋝a)) , else }

def op_917IECjXsT(a):
    if a <= 1 or op_8zNRrli7uG(a,848) <= 162:
        return op_RabNbG55vr(op_IjGhTk7PpW(a,a),op_keuJNkrrbj(a,a))
    else:
        return op_46b43un9S1(op_FreGwbQ5tl(a,a),op_tTEXlJ6Kwl(a,a))

def op_count_917IECjXsT(a):
    if a <= 1 or op_8zNRrli7uG(a,848) <= 162:
        count = op_count_IjGhTk7PpW(a,a)+op_count_keuJNkrrbj(a,a)+op_count_RabNbG55vr(op_IjGhTk7PpW(a,a),op_keuJNkrrbj(a,a))+op_count_8zNRrli7uG(a,848)
    else:
        count = op_count_FreGwbQ5tl(a,a)+op_count_tTEXlJ6Kwl(a,a)+op_count_46b43un9S1(op_FreGwbQ5tl(a,a),op_tTEXlJ6Kwl(a,a))
    return count


def op_UroES8LAb1(a, b):
    if op_lnBQX9AhHE(a) == 648:
        return op_5mOiYMN9gN(a,99)
    else:
        return op_kn8WO9XteQ(op_z2z0nki1m2(314,a),op_1Btw2138KI(b,102))

def op_count_UroES8LAb1(a, b):
    if op_lnBQX9AhHE(a) == 648:
        count = op_count_5mOiYMN9gN(a,99)+op_count_lnBQX9AhHE(a)
    else:
        count = op_count_z2z0nki1m2(314,a)+op_count_1Btw2138KI(b,102)+op_count_kn8WO9XteQ(op_z2z0nki1m2(314,a),op_1Btw2138KI(b,102))
    return count


a↿⩋b = { (⋏((a⨑⩅≇b)≜⩢⊷(≦∁b))) , if (b⇫635)==161 ; ((b⫻(a⪄⪘⪾a))⊇⫘⪍((a∿⨭⨸a)⊀⪵⫍)) , else }

def op_a8qup2lXrT(a, b):
    if op_MKCxaPE9tg(b,635) == 161:
        return op_AWSeafXRiV(op_k9T6mMvXeX(op_h92wMvzauj(a,b),op_9ICcGScMcE(b)))
    else:
        return op_dUpriDnGP5(op_6R1J4BifJJ(b,op_zO06vmwOEI(a,a)),op_itLUMRE952(op_n7NTx37v7F(a,a)))

def op_count_a8qup2lXrT(a, b):
    if op_MKCxaPE9tg(b,635) == 161:
        count = op_count_h92wMvzauj(a,b)+op_count_9ICcGScMcE(b)+op_count_k9T6mMvXeX(op_h92wMvzauj(a,b),op_9ICcGScMcE(b))+op_count_AWSeafXRiV(op_k9T6mMvXeX(op_h92wMvzauj(a,b),op_9ICcGScMcE(b)))+op_count_MKCxaPE9tg(b,635)
    else:
        count = op_count_zO06vmwOEI(a,a)+op_count_6R1J4BifJJ(b,op_zO06vmwOEI(a,a))+op_count_n7NTx37v7F(a,a)+op_count_itLUMRE952(op_n7NTx37v7F(a,a))+op_count_dUpriDnGP5(op_6R1J4BifJJ(b,op_zO06vmwOEI(a,a)),op_itLUMRE952(op_n7NTx37v7F(a,a)))
    return count


a⩪⩥⨗b = { ((⨹⋜⨗b)∴⋮↜(b⋏⩄⨂b)) , if (⇮∭a)<=3 and (⫡⪳⋧a)!=369 ; (⇣(723⨦∄⇯a)) , else }

def op_fvEtbjeQjb(a, b):
    if op_d2ZuDAaqmA(a) <= 3 and op_wxnXcgpbVF(a) != 369:
        return op_LFP2zRhVLi(op_xIsqXE4qqD(b),op_D69ahk0G0B(b,b))
    else:
        return op_jrW1E7Ncie(op_aULemKRNJ1(723,a))

def op_count_fvEtbjeQjb(a, b):
    if op_d2ZuDAaqmA(a) <= 3 and op_wxnXcgpbVF(a) != 369:
        count = op_count_xIsqXE4qqD(b)+op_count_D69ahk0G0B(b,b)+op_count_LFP2zRhVLi(op_xIsqXE4qqD(b),op_D69ahk0G0B(b,b))+op_count_d2ZuDAaqmA(a)+op_count_wxnXcgpbVF(a)
    else:
        count = op_count_aULemKRNJ1(723,a)+op_count_jrW1E7Ncie(op_aULemKRNJ1(723,a))
    return count


def op_J5tuvuDami(a):
    if op_3l0286Hu2p(a) != 430:
        return op_HY4jiOqclA(op_nLhlVZSGl1(op_WHRxrbF8gO(a,a),op_21ob1huWpa(43,312)),op_fvY4jMd0AS(op_tN0ubDjZ4j(169),op_GyZKrXyLmB(a)))
    else:
        return op_0D7yuLhasi(op_7vLe0YQdZ4(op_Y4lAmUR5B7(a,a)))

def op_count_J5tuvuDami(a):
    if op_3l0286Hu2p(a) != 430:
        count = op_count_WHRxrbF8gO(a,a)+op_count_21ob1huWpa(43,312)+op_count_nLhlVZSGl1(op_WHRxrbF8gO(a,a),op_21ob1huWpa(43,312))+op_count_tN0ubDjZ4j(169)+op_count_GyZKrXyLmB(a)+op_count_fvY4jMd0AS(op_tN0ubDjZ4j(169),op_GyZKrXyLmB(a))+op_count_HY4jiOqclA(op_nLhlVZSGl1(op_WHRxrbF8gO(a,a),op_21ob1huWpa(43,312)),op_fvY4jMd0AS(op_tN0ubDjZ4j(169),op_GyZKrXyLmB(a)))+op_count_3l0286Hu2p(a)
    else:
        count = op_count_Y4lAmUR5B7(a,a)+op_count_7vLe0YQdZ4(op_Y4lAmUR5B7(a,a))+op_count_0D7yuLhasi(op_7vLe0YQdZ4(op_Y4lAmUR5B7(a,a)))
    return count


def op_WBwPOP8NKF(a, b):
    if b < 201:
        return op_GN3qbhwjUb(op_S6anzDtGf9(op_nmZMaaE0Q9(147),op_hI7k9NMHqW(b,a)),op_4KgMg3eWY3(op_VDo68Vv9Oy(a),op_mIp9d1kogY(138)))
    else:
        return op_EJGWfkvLOs(op_OKKcZfAt5B(op_Oz9I6mbsCN(a),op_Fw9FUhpJpC(512,b)),op_jkca4M7ITL(op_8cNrNy0nrI(614,b),b))

def op_count_WBwPOP8NKF(a, b):
    if b < 201:
        count = op_count_nmZMaaE0Q9(147)+op_count_hI7k9NMHqW(b,a)+op_count_S6anzDtGf9(op_nmZMaaE0Q9(147),op_hI7k9NMHqW(b,a))+op_count_VDo68Vv9Oy(a)+op_count_mIp9d1kogY(138)+op_count_4KgMg3eWY3(op_VDo68Vv9Oy(a),op_mIp9d1kogY(138))+op_count_GN3qbhwjUb(op_S6anzDtGf9(op_nmZMaaE0Q9(147),op_hI7k9NMHqW(b,a)),op_4KgMg3eWY3(op_VDo68Vv9Oy(a),op_mIp9d1kogY(138)))
    else:
        count = op_count_Oz9I6mbsCN(a)+op_count_Fw9FUhpJpC(512,b)+op_count_OKKcZfAt5B(op_Oz9I6mbsCN(a),op_Fw9FUhpJpC(512,b))+op_count_8cNrNy0nrI(614,b)+op_count_jkca4M7ITL(op_8cNrNy0nrI(614,b),b)+op_count_EJGWfkvLOs(op_OKKcZfAt5B(op_Oz9I6mbsCN(a),op_Fw9FUhpJpC(512,b)),op_jkca4M7ITL(op_8cNrNy0nrI(614,b),b))
    return count


def op_NQSZfDPzMJ(a):
    if a >= 387:
        return op_xb2YpVd57y(op_Y7wcNGrDQJ(367,a),op_xAdqek1hDd(a,329))
    else:
        return op_ojE0ZAmiGE(op_W4tP9CfskL(a,a),op_UqFzSgLMvQ(a))

def op_count_NQSZfDPzMJ(a):
    if a >= 387:
        count = op_count_Y7wcNGrDQJ(367,a)+op_count_xAdqek1hDd(a,329)+op_count_xb2YpVd57y(op_Y7wcNGrDQJ(367,a),op_xAdqek1hDd(a,329))
    else:
        count = op_count_W4tP9CfskL(a,a)+op_count_UqFzSgLMvQ(a)+op_count_ojE0ZAmiGE(op_W4tP9CfskL(a,a),op_UqFzSgLMvQ(a))
    return count


a≖⨚/b = { (a⇂≾⫗a) , if (a↧⫃937)>10 ; (b↹⫥a) , else }

def op_0ftGoQG529(a, b):
    if op_K6AsHvFZGJ(a,937) > 10:
        return op_aBQ6xLxuTc(a,a)
    else:
        return op_OSE2w6XS66(b,a)

def op_count_0ftGoQG529(a, b):
    if op_K6AsHvFZGJ(a,937) > 10:
        count = op_count_aBQ6xLxuTc(a,a)+op_count_K6AsHvFZGJ(a,937)
    else:
        count = op_count_OSE2w6XS66(b,a)
    return count


⊆⨾≳a = { (a⇰⪁a) , if (⇀⇞a)!=27 and (⩱⇧≜a)>448 ; (a⫕⨽⨩) , else }

def op_VxTo73hUdI(a):
    if op_vjoXiXDdkX(a) != 27 and op_EzIxTvi3nW(a) > 448:
        return op_IiHovbkX1w(a,a)
    else:
        return op_sX7icBeOwx(a)

def op_count_VxTo73hUdI(a):
    if op_vjoXiXDdkX(a) != 27 and op_EzIxTvi3nW(a) > 448:
        count = op_count_IiHovbkX1w(a,a)+op_count_vjoXiXDdkX(a)+op_count_EzIxTvi3nW(a)
    else:
        count = op_count_sX7icBeOwx(a)
    return count


def op_gqU5rgWWey(a):
    if op_ZwyS8wrxVQ(a,25) <= 525:
        return op_iI58LvO9D4(op_UscWZcTkUL(op_8YdTO89gQD(169,a),op_ugTrrffvJh(a,a)))
    else:
        return op_dOyh8NTXcy(a)

def op_count_gqU5rgWWey(a):
    if op_ZwyS8wrxVQ(a,25) <= 525:
        count = op_count_8YdTO89gQD(169,a)+op_count_ugTrrffvJh(a,a)+op_count_UscWZcTkUL(op_8YdTO89gQD(169,a),op_ugTrrffvJh(a,a))+op_count_iI58LvO9D4(op_UscWZcTkUL(op_8YdTO89gQD(169,a),op_ugTrrffvJh(a,a)))+op_count_ZwyS8wrxVQ(a,25)
    else:
        count = op_count_dOyh8NTXcy(a)
    return count


a⨮⨘⫏ = { (⪔⋞⇁(a⩎⨬a)) , if (⊝≂⪇a)<859 ; (109⪯(a≬⇓a)) , else }

def op_l4MEMPCERt(a):
    if op_jhcXDNFX4l(a) < 859:
        return op_ogjC2vakcx(op_dR2gYrpTIj(a,a))
    else:
        return op_I3ZanAtbUM(109,op_jWTQ2TZYIH(a,a))

def op_count_l4MEMPCERt(a):
    if op_jhcXDNFX4l(a) < 859:
        count = op_count_dR2gYrpTIj(a,a)+op_count_ogjC2vakcx(op_dR2gYrpTIj(a,a))+op_count_jhcXDNFX4l(a)
    else:
        count = op_count_jWTQ2TZYIH(a,a)+op_count_I3ZanAtbUM(109,op_jWTQ2TZYIH(a,a))
    return count


a⪲⪛⊘b = { (⨖⋝⩣((b≖⋷⨓33)⊉↱≁(a⩄⊊b))) , if a<=758 ; ((⨴⇴⨔(b⩃b))↺⋘a) , else }

def op_2igqgnYHzU(a, b):
    if a <= 758:
        return op_JRqKiIdTS7(op_w2P8NbNXyL(op_3ZAiUOk8Uv(b,33),op_ckxBfo3j3z(a,b)))
    else:
        return op_jIjE9uTss5(op_ubAxYR8Owx(op_7IRjtmSsUO(b,b)),a)

def op_count_2igqgnYHzU(a, b):
    if a <= 758:
        count = op_count_3ZAiUOk8Uv(b,33)+op_count_ckxBfo3j3z(a,b)+op_count_w2P8NbNXyL(op_3ZAiUOk8Uv(b,33),op_ckxBfo3j3z(a,b))+op_count_JRqKiIdTS7(op_w2P8NbNXyL(op_3ZAiUOk8Uv(b,33),op_ckxBfo3j3z(a,b)))
    else:
        count = op_count_7IRjtmSsUO(b,b)+op_count_ubAxYR8Owx(op_7IRjtmSsUO(b,b))+op_count_jIjE9uTss5(op_ubAxYR8Owx(op_7IRjtmSsUO(b,b)),a)
    return count


∳⋋a = { (a⪁⨴⋨a) , if (⨢⇳a)>=152 ; (a∓⋝350) , else }

def op_fRPMX8br7n(a):
    if op_d3r8Dqe6Dv(a) >= 152:
        return op_y2kQTS4a70(a,a)
    else:
        return op_PoHhknlbAi(a,350)

def op_count_fRPMX8br7n(a):
    if op_d3r8Dqe6Dv(a) >= 152:
        count = op_count_y2kQTS4a70(a,a)+op_count_d3r8Dqe6Dv(a)
    else:
        count = op_count_PoHhknlbAi(a,350)
    return count


a⨩⨠∢b = { (b⇧a) , if (⪳a)>=305 ; (⩎⋉b) , else }

def op_rX7dfyzfdl(a, b):
    if op_mnCm9oVcGF(a) >= 305:
        return op_DkI5niHnM6(b,a)
    else:
        return op_FlXk3pOYe8(b)

def op_count_rX7dfyzfdl(a, b):
    if op_mnCm9oVcGF(a) >= 305:
        count = op_count_DkI5niHnM6(b,a)+op_count_mnCm9oVcGF(a)
    else:
        count = op_count_FlXk3pOYe8(b)
    return count


def op_wPzKt0XnZx(a):
    if op_3gwhJpgULg(a) == 391 and op_8TJv5LDobx(a,937) >= 273:
        return op_gu96TGCTMs(a)
    else:
        return op_xtCeza3rDf(a,a)

def op_count_wPzKt0XnZx(a):
    if op_3gwhJpgULg(a) == 391 and op_8TJv5LDobx(a,937) >= 273:
        count = op_count_gu96TGCTMs(a)+op_count_3gwhJpgULg(a)+op_count_8TJv5LDobx(a,937)
    else:
        count = op_count_xtCeza3rDf(a,a)
    return count


def op_d0Zre4SrXV(a):
    if op_4ymqnhyEjQ(a) < 243 or op_RXTe6wbwcz(a,552) < 343 or op_0TdPSO9GwD(a) != 59:
        return op_srAu1WTS94(a)
    else:
        return op_6drNxD3LI2(a)

def op_count_d0Zre4SrXV(a):
    if op_4ymqnhyEjQ(a) < 243 or op_RXTe6wbwcz(a,552) < 343 or op_0TdPSO9GwD(a) != 59:
        count = op_count_srAu1WTS94(a)+op_count_4ymqnhyEjQ(a)+op_count_RXTe6wbwcz(a,552)+op_count_0TdPSO9GwD(a)
    else:
        count = op_count_6drNxD3LI2(a)
    return count


def op_pNsYZ4ACSL(a, b):
    if op_rW0uBYiax0(a,208) <= 24 and a >= 326 and a < 517:
        return op_WHvsDZpt7Z(b,op_TyhCdZMmeC(op_meOipXXSDp(348,a),op_MscnI5MLJ2(323,b)))
    else:
        return op_6o9Blt3TJ6(op_Dcl7zTRuRg(op_4zmgO5IZPg(a)),op_msRZmk5CCg(op_EZf0a6At7B(b,a),op_7mDgzgOxkj(581,b)))

def op_count_pNsYZ4ACSL(a, b):
    if op_rW0uBYiax0(a,208) <= 24 and a >= 326 and a < 517:
        count = op_count_meOipXXSDp(348,a)+op_count_MscnI5MLJ2(323,b)+op_count_TyhCdZMmeC(op_meOipXXSDp(348,a),op_MscnI5MLJ2(323,b))+op_count_WHvsDZpt7Z(b,op_TyhCdZMmeC(op_meOipXXSDp(348,a),op_MscnI5MLJ2(323,b)))+op_count_rW0uBYiax0(a,208)
    else:
        count = op_count_4zmgO5IZPg(a)+op_count_Dcl7zTRuRg(op_4zmgO5IZPg(a))+op_count_EZf0a6At7B(b,a)+op_count_7mDgzgOxkj(581,b)+op_count_msRZmk5CCg(op_EZf0a6At7B(b,a),op_7mDgzgOxkj(581,b))+op_count_6o9Blt3TJ6(op_Dcl7zTRuRg(op_4zmgO5IZPg(a)),op_msRZmk5CCg(op_EZf0a6At7B(b,a),op_7mDgzgOxkj(581,b)))
    return count


⨗∰a = { ((≛⫬∙(15∁⩀⇵a))≝⪅((a⇡)⊭(a∕⪘≈a))) , if (a⨑924)<36 ; ((⫙(a≝∰⇵1))←⩟(⇎≄⫦(332⋥⋵⩄a))) , else }

def op_CJ87Qfugo0(a):
    if op_IxJHfR5psi(a,924) < 36:
        return op_xcM15npT0G(op_Ux7iK00Jvb(op_IT3TbjFqSq(15,a)),op_4JGOJzXMq1(op_UqFzSgLMvQ(a),op_9gOQWDhglh(a,a)))
    else:
        return op_Tcl1okrsLo(op_X8DMfAISiV(op_CdHlyAwjkr(a,1)),op_LXmfvPwYVb(op_7t3wd0Fuz7(332,a)))

def op_count_CJ87Qfugo0(a):
    if op_IxJHfR5psi(a,924) < 36:
        count = op_count_IT3TbjFqSq(15,a)+op_count_Ux7iK00Jvb(op_IT3TbjFqSq(15,a))+op_count_UqFzSgLMvQ(a)+op_count_9gOQWDhglh(a,a)+op_count_4JGOJzXMq1(op_UqFzSgLMvQ(a),op_9gOQWDhglh(a,a))+op_count_xcM15npT0G(op_Ux7iK00Jvb(op_IT3TbjFqSq(15,a)),op_4JGOJzXMq1(op_UqFzSgLMvQ(a),op_9gOQWDhglh(a,a)))+op_count_IxJHfR5psi(a,924)
    else:
        count = op_count_CdHlyAwjkr(a,1)+op_count_X8DMfAISiV(op_CdHlyAwjkr(a,1))+op_count_7t3wd0Fuz7(332,a)+op_count_LXmfvPwYVb(op_7t3wd0Fuz7(332,a))+op_count_Tcl1okrsLo(op_X8DMfAISiV(op_CdHlyAwjkr(a,1)),op_LXmfvPwYVb(op_7t3wd0Fuz7(332,a)))
    return count


a⊜⋂b = { ((141∱)⨺⇙(⫵⪾⩭b)) , if a>=33 ; (a⊮∢≜) , else }

def op_sbVr4eN2cT(a, b):
    if a >= 33:
        return op_cYEGcM02R4(op_cqNFWGnuZT(141),op_9NrKhToWQz(b))
    else:
        return op_ydyDtesUNX(a)

def op_count_sbVr4eN2cT(a, b):
    if a >= 33:
        count = op_count_cqNFWGnuZT(141)+op_count_9NrKhToWQz(b)+op_count_cYEGcM02R4(op_cqNFWGnuZT(141),op_9NrKhToWQz(b))
    else:
        count = op_count_ydyDtesUNX(a)
    return count


def op_crEXoaJzxs(a, b):
    if op_Kqt6I3psp8(a) > 51:
        return op_AWSeafXRiV(op_HX99UMoF54(op_BsQQe46RQf(a,511),op_xgB3tWPdtm(a,73)))
    else:
        return op_iCFmNpcOux(op_poiSo6Xg3g(op_bzTfts3R6K(139,b),op_rPNtK4BLRO(a,b)))

def op_count_crEXoaJzxs(a, b):
    if op_Kqt6I3psp8(a) > 51:
        count = op_count_BsQQe46RQf(a,511)+op_count_xgB3tWPdtm(a,73)+op_count_HX99UMoF54(op_BsQQe46RQf(a,511),op_xgB3tWPdtm(a,73))+op_count_AWSeafXRiV(op_HX99UMoF54(op_BsQQe46RQf(a,511),op_xgB3tWPdtm(a,73)))+op_count_Kqt6I3psp8(a)
    else:
        count = op_count_bzTfts3R6K(139,b)+op_count_rPNtK4BLRO(a,b)+op_count_poiSo6Xg3g(op_bzTfts3R6K(139,b),op_rPNtK4BLRO(a,b))+op_count_iCFmNpcOux(op_poiSo6Xg3g(op_bzTfts3R6K(139,b),op_rPNtK4BLRO(a,b)))
    return count


def op_ybzGjeuHHu(a, b):
    if op_Z0MOmZBEvh(a,360) > 168 or op_dYTqEtTc30(b) >= 378:
        return op_RsIz0jMEOs(op_y16C4hJIbn(op_cu7YvshKwT(a,116),op_r42jg1nETI(b,212)),op_zs0bbCWKdf(op_S0xevmWjPz(a),b))
    else:
        return op_lLg6KFppdz(op_ddLRYrp01A(op_gaaDP0UKzK(a,21),op_apS25hmuAe(a)),op_b3QkRJRxib(b,b))

def op_count_ybzGjeuHHu(a, b):
    if op_Z0MOmZBEvh(a,360) > 168 or op_dYTqEtTc30(b) >= 378:
        count = op_count_cu7YvshKwT(a,116)+op_count_r42jg1nETI(b,212)+op_count_y16C4hJIbn(op_cu7YvshKwT(a,116),op_r42jg1nETI(b,212))+op_count_S0xevmWjPz(a)+op_count_zs0bbCWKdf(op_S0xevmWjPz(a),b)+op_count_RsIz0jMEOs(op_y16C4hJIbn(op_cu7YvshKwT(a,116),op_r42jg1nETI(b,212)),op_zs0bbCWKdf(op_S0xevmWjPz(a),b))+op_count_Z0MOmZBEvh(a,360)+op_count_dYTqEtTc30(b)
    else:
        count = op_count_gaaDP0UKzK(a,21)+op_count_apS25hmuAe(a)+op_count_ddLRYrp01A(op_gaaDP0UKzK(a,21),op_apS25hmuAe(a))+op_count_b3QkRJRxib(b,b)+op_count_lLg6KFppdz(op_ddLRYrp01A(op_gaaDP0UKzK(a,21),op_apS25hmuAe(a)),op_b3QkRJRxib(b,b))
    return count


def op_RibSMrjiW3(a):
    if op_Y5cEcQhyKu(a,804) != 609:
        return op_BAIXFdYaz3(a,op_KKYcEEj1Nw(a,415))
    else:
        return op_jyxETRFrfc(op_C8AGOwLzL7(a),op_7t3wd0Fuz7(296,302))

def op_count_RibSMrjiW3(a):
    if op_Y5cEcQhyKu(a,804) != 609:
        count = op_count_KKYcEEj1Nw(a,415)+op_count_BAIXFdYaz3(a,op_KKYcEEj1Nw(a,415))+op_count_Y5cEcQhyKu(a,804)
    else:
        count = op_count_C8AGOwLzL7(a)+op_count_7t3wd0Fuz7(296,302)+op_count_jyxETRFrfc(op_C8AGOwLzL7(a),op_7t3wd0Fuz7(296,302))
    return count


def op_2OiarLUAKI(a):
    if a <= 277:
        return op_pm9cx6Eqcm(op_kE9YHawE8s(a,731),op_jgiYmmuMZp(a))
    else:
        return op_A70lgPgx8E(op_3FfuuMEB8X(a,a))

def op_count_2OiarLUAKI(a):
    if a <= 277:
        count = op_count_kE9YHawE8s(a,731)+op_count_jgiYmmuMZp(a)+op_count_pm9cx6Eqcm(op_kE9YHawE8s(a,731),op_jgiYmmuMZp(a))
    else:
        count = op_count_3FfuuMEB8X(a,a)+op_count_A70lgPgx8E(op_3FfuuMEB8X(a,a))
    return count


↫⩷≞a = { ((a⊅)⋭(a⫶⪨⪐)) , if (a⋳⪒237)<437 ; (48∸⋅(a⋴⇒⩪a)) , else }

def op_9h3kpCOncX(a):
    if op_12rbrZMWeM(a,237) < 437:
        return op_WRl4KaSwns(op_7p6YLioM7f(a),op_uMTzgDCyJv(a))
    else:
        return op_dqXKirNDVF(48,op_ydJmeWyvU7(a,a))

def op_count_9h3kpCOncX(a):
    if op_12rbrZMWeM(a,237) < 437:
        count = op_count_7p6YLioM7f(a)+op_count_uMTzgDCyJv(a)+op_count_WRl4KaSwns(op_7p6YLioM7f(a),op_uMTzgDCyJv(a))+op_count_12rbrZMWeM(a,237)
    else:
        count = op_count_ydJmeWyvU7(a,a)+op_count_dqXKirNDVF(48,op_ydJmeWyvU7(a,a))
    return count


def op_NRjb64JMe1(a):
    if op_GJLngeV5jM(a,215) == 705:
        return op_WYd1w68Nbz(a)
    else:
        return op_pPTxWWVODo(a,239)

def op_count_NRjb64JMe1(a):
    if op_GJLngeV5jM(a,215) == 705:
        count = op_count_WYd1w68Nbz(a)+op_count_GJLngeV5jM(a,215)
    else:
        count = op_count_pPTxWWVODo(a,239)
    return count


def op_yThMLMXdXQ(a):
    if (op_dREnsuNWoJ(a) != 419 and a < 870):
        return op_KsnKn8I4DZ(a,a)
    else:
        return op_kvyeM8WEH2(27,a)

def op_count_yThMLMXdXQ(a):
    if (op_dREnsuNWoJ(a) != 419 and a < 870):
        count = op_count_KsnKn8I4DZ(a,a)+op_count_dREnsuNWoJ(a)
    else:
        count = op_count_kvyeM8WEH2(27,a)
    return count


a⪖⋈⪰ = { ((∘⪲a)∾⇧(a⋧∎⨊142)) , if a>=194 and (a∱⫫⫌)<=27 ; (⩠↾⋷(a⋅⇾⫱a)) , else }

def op_RbLVBqOkfa(a):
    if a >= 194 and op_W8pWfGHFCd(a) <= 27:
        return op_vHez4XO4XZ(op_acVl7VRmiK(a),op_jvKnzH5Wrf(a,142))
    else:
        return op_ukSLkBfL7r(op_oxSU0Fg4Pf(a,a))

def op_count_RbLVBqOkfa(a):
    if a >= 194 and op_W8pWfGHFCd(a) <= 27:
        count = op_count_acVl7VRmiK(a)+op_count_jvKnzH5Wrf(a,142)+op_count_vHez4XO4XZ(op_acVl7VRmiK(a),op_jvKnzH5Wrf(a,142))+op_count_W8pWfGHFCd(a)
    else:
        count = op_count_oxSU0Fg4Pf(a,a)+op_count_ukSLkBfL7r(op_oxSU0Fg4Pf(a,a))
    return count


a⇊⨀∑ = { ((a⨖⊱⊲a)∉⊞⊌(a⇖∑a)) , if (↠⨻⇳a)<274 ; a , else }

def op_PjCCnEzvaC(a):
    if op_x6DEqRu9vc(a) < 274:
        return op_22UCrTUJEh(op_MR0dur9Axd(a,a),op_pZPdeA5MNz(a,a))
    else:
        return a

def op_count_PjCCnEzvaC(a):
    if op_x6DEqRu9vc(a) < 274:
        count = op_count_MR0dur9Axd(a,a)+op_count_pZPdeA5MNz(a,a)+op_count_22UCrTUJEh(op_MR0dur9Axd(a,a),op_pZPdeA5MNz(a,a))+op_count_x6DEqRu9vc(a)
    else:
        count = 1
    return count


def op_TiGufyBplZ(a, b):
    if op_MiD56F0FLc(b,402) < 267:
        return op_lnBQX9AhHE(119)
    else:
        return op_17vTJqz9Ht(a)

def op_count_TiGufyBplZ(a, b):
    if op_MiD56F0FLc(b,402) < 267:
        count = op_count_lnBQX9AhHE(119)+op_count_MiD56F0FLc(b,402)
    else:
        count = op_count_17vTJqz9Ht(a)
    return count


a⊍≹⨜ = { ((a∌⋔a)⊙≭(a⩫∠a)) , if (a⨺⩢⇃)==170 ; (↞(a⪖⩦)) , else }

def op_WaR5cBaTPP(a):
    if op_xEnngt7HOZ(a) == 170:
        return op_sVMiUtOpJT(op_7TGVge7HG5(a,a),op_61SMRth1bf(a,a))
    else:
        return op_QKXs96F9fN(op_Me1eJNWXbi(a))

def op_count_WaR5cBaTPP(a):
    if op_xEnngt7HOZ(a) == 170:
        count = op_count_7TGVge7HG5(a,a)+op_count_61SMRth1bf(a,a)+op_count_sVMiUtOpJT(op_7TGVge7HG5(a,a),op_61SMRth1bf(a,a))+op_count_xEnngt7HOZ(a)
    else:
        count = op_count_Me1eJNWXbi(a)+op_count_QKXs96F9fN(op_Me1eJNWXbi(a))
    return count


a→⨓⊽b = { ((a⫹⋆(122⇻⋧≁b))⨂) , if (b⊇≀≁)>=110 ; (((a⋒a)⫃⨻⩹a)⫸⇳((99⫝⩷⋻b)⩅(334∊⊞≈a))) , else }

def op_hd8EJBCbQT(a, b):
    if op_AfoL3wC8aT(b) >= 110:
        return op_1cb0F6wNcf(op_mvkfbmF2ZK(a,op_jCPkEVoL5K(122,b)))
    else:
        return op_gx7XJ7hdpj(op_vlEuakAFQx(op_6oBLqlZVSO(a,a),a),op_WHvsDZpt7Z(op_owWyC9x9Uq(99,b),op_keuJNkrrbj(334,a)))

def op_count_hd8EJBCbQT(a, b):
    if op_AfoL3wC8aT(b) >= 110:
        count = op_count_jCPkEVoL5K(122,b)+op_count_mvkfbmF2ZK(a,op_jCPkEVoL5K(122,b))+op_count_1cb0F6wNcf(op_mvkfbmF2ZK(a,op_jCPkEVoL5K(122,b)))+op_count_AfoL3wC8aT(b)
    else:
        count = op_count_6oBLqlZVSO(a,a)+op_count_vlEuakAFQx(op_6oBLqlZVSO(a,a),a)+op_count_owWyC9x9Uq(99,b)+op_count_keuJNkrrbj(334,a)+op_count_WHvsDZpt7Z(op_owWyC9x9Uq(99,b),op_keuJNkrrbj(334,a))+op_count_gx7XJ7hdpj(op_vlEuakAFQx(op_6oBLqlZVSO(a,a),a),op_WHvsDZpt7Z(op_owWyC9x9Uq(99,b),op_keuJNkrrbj(334,a)))
    return count


a⋞∩ = { (((a⪹)⇕⇮)⫆⋶((a⩗∓⫀a)⋢⋴(a↟⪦a))) , if a==531 and (a⋁)==22 ; (((a∛⪗≅)⨽⫍(a≲⪆⩈205))⩈((a⫨⩸⩜320)⫓)) , else }

def op_UfseSmOKGd(a):
    if a == 531 and op_R6sRhpmvlr(a) == 22:
        return op_PogVMsAOp4(op_9arBjGBxSA(op_B3sABdIn96(a)),op_FjmygMY46A(op_F2taXPkQ1B(a,a),op_m3Wy7lzjrX(a,a)))
    else:
        return op_XHowTFVwyi(op_ZMV0W12WVe(op_o00tbgMsv2(a),op_BM16iZzMx8(a,205)),op_mLFH2NRKNI(op_IjGhTk7PpW(a,320)))

def op_count_UfseSmOKGd(a):
    if a == 531 and op_R6sRhpmvlr(a) == 22:
        count = op_count_B3sABdIn96(a)+op_count_9arBjGBxSA(op_B3sABdIn96(a))+op_count_F2taXPkQ1B(a,a)+op_count_m3Wy7lzjrX(a,a)+op_count_FjmygMY46A(op_F2taXPkQ1B(a,a),op_m3Wy7lzjrX(a,a))+op_count_PogVMsAOp4(op_9arBjGBxSA(op_B3sABdIn96(a)),op_FjmygMY46A(op_F2taXPkQ1B(a,a),op_m3Wy7lzjrX(a,a)))+op_count_R6sRhpmvlr(a)
    else:
        count = op_count_o00tbgMsv2(a)+op_count_BM16iZzMx8(a,205)+op_count_ZMV0W12WVe(op_o00tbgMsv2(a),op_BM16iZzMx8(a,205))+op_count_IjGhTk7PpW(a,320)+op_count_mLFH2NRKNI(op_IjGhTk7PpW(a,320))+op_count_XHowTFVwyi(op_ZMV0W12WVe(op_o00tbgMsv2(a),op_BM16iZzMx8(a,205)),op_mLFH2NRKNI(op_IjGhTk7PpW(a,320)))
    return count


⇽⪆a = { (((a∱⨑a)≆(a⪤⋵⇕95))⋁) , if a<=43 ; (((42⫨⨌∐a)⇆⇯(a⨦∄⇯236))↪∷((⪕↣⫥a)∲⪻(a↖⇒a))) , else }

def op_wutRFhsGG8(a):
    if a <= 43:
        return op_R6sRhpmvlr(op_vfo9xvTTbt(op_GHTZleiggj(a,a),op_XSHbJDpXHf(a,95)))
    else:
        return op_Api82iH42a(op_BvUOHliOJ6(op_Ln1IrprsTU(42,a),op_aULemKRNJ1(a,236)),op_oS3yjF67M5(op_wTbdp8pxvm(a),op_2Yy7IiVHWW(a,a)))

def op_count_wutRFhsGG8(a):
    if a <= 43:
        count = op_count_GHTZleiggj(a,a)+op_count_XSHbJDpXHf(a,95)+op_count_vfo9xvTTbt(op_GHTZleiggj(a,a),op_XSHbJDpXHf(a,95))+op_count_R6sRhpmvlr(op_vfo9xvTTbt(op_GHTZleiggj(a,a),op_XSHbJDpXHf(a,95)))
    else:
        count = op_count_Ln1IrprsTU(42,a)+op_count_aULemKRNJ1(a,236)+op_count_BvUOHliOJ6(op_Ln1IrprsTU(42,a),op_aULemKRNJ1(a,236))+op_count_wTbdp8pxvm(a)+op_count_2Yy7IiVHWW(a,a)+op_count_oS3yjF67M5(op_wTbdp8pxvm(a),op_2Yy7IiVHWW(a,a))+op_count_Api82iH42a(op_BvUOHliOJ6(op_Ln1IrprsTU(42,a),op_aULemKRNJ1(a,236)),op_oS3yjF67M5(op_wTbdp8pxvm(a),op_2Yy7IiVHWW(a,a)))
    return count


def op_HfWhV9qlFd(a):
    if op_EAoIFGtZkS(a) > 619:
        return op_hFnZRMLNSM(op_OhqpJ7Tl0K(303,a))
    else:
        return op_gu96TGCTMs(op_QwEjHC7A8R(a,a))

def op_count_HfWhV9qlFd(a):
    if op_EAoIFGtZkS(a) > 619:
        count = op_count_OhqpJ7Tl0K(303,a)+op_count_hFnZRMLNSM(op_OhqpJ7Tl0K(303,a))+op_count_EAoIFGtZkS(a)
    else:
        count = op_count_QwEjHC7A8R(a,a)+op_count_gu96TGCTMs(op_QwEjHC7A8R(a,a))
    return count


a⫁⫓⨱ = { ((a⫽⇹≛)⩁⋵(a≦↸729)) , if a<=692 or (a⋆⋳)>=29 ; ((⪃⇦a)⩺(a∟⋩≫a)) , else }

def op_PuuCLXFy7p(a):
    if a <= 692 or op_6MpZysEj17(a) >= 29:
        return op_Dwi3vkQv6Q(op_NNaDxxp6OQ(a),op_RygbFNSyEJ(a,729))
    else:
        return op_8rgMBn28gJ(op_RxT7DRsJUJ(a),op_BCU6VgEl6D(a,a))

def op_count_PuuCLXFy7p(a):
    if a <= 692 or op_6MpZysEj17(a) >= 29:
        count = op_count_NNaDxxp6OQ(a)+op_count_RygbFNSyEJ(a,729)+op_count_Dwi3vkQv6Q(op_NNaDxxp6OQ(a),op_RygbFNSyEJ(a,729))+op_count_6MpZysEj17(a)
    else:
        count = op_count_RxT7DRsJUJ(a)+op_count_BCU6VgEl6D(a,a)+op_count_8rgMBn28gJ(op_RxT7DRsJUJ(a),op_BCU6VgEl6D(a,a))
    return count


a⇤⫸b = { (a%⫢∉30) , if (a⋁)!=446 ; ((↓⇌(a⪤⩸b))≃(≧⊳(a≓∲b))) , else }

def op_XBHSxs2y4g(a, b):
    if op_R6sRhpmvlr(a) != 446:
        return op_Xn8gXqwJxF(a,30)
    else:
        return op_YbVcJGFEVW(op_PxpmPgHHJV(op_fSc9RXyFW7(a,b)),op_GMrB5OisJT(op_s1XTVnmDOJ(a,b)))

def op_count_XBHSxs2y4g(a, b):
    if op_R6sRhpmvlr(a) != 446:
        count = op_count_Xn8gXqwJxF(a,30)+op_count_R6sRhpmvlr(a)
    else:
        count = op_count_fSc9RXyFW7(a,b)+op_count_PxpmPgHHJV(op_fSc9RXyFW7(a,b))+op_count_s1XTVnmDOJ(a,b)+op_count_GMrB5OisJT(op_s1XTVnmDOJ(a,b))+op_count_YbVcJGFEVW(op_PxpmPgHHJV(op_fSc9RXyFW7(a,b)),op_GMrB5OisJT(op_s1XTVnmDOJ(a,b)))
    return count


def op_zQEQxI12is(a):
    if op_5ESOiVPbEV(a,965) != 71:
        return 152
    else:
        return op_mCA1Lu4fO6(a,a)

def op_count_zQEQxI12is(a):
    if op_5ESOiVPbEV(a,965) != 71:
        count = op_count_5ESOiVPbEV(a,965)
    else:
        count = op_count_mCA1Lu4fO6(a,a)
    return count


≩⫔⨷a = { (≤⫮⪸a) , if a<302 ; (a⨻⩈⩔a) , else }

def op_LVTXjn9PlI(a):
    if a < 302:
        return op_SuX9iVx3F2(a)
    else:
        return op_nEsXyWgiOK(a,a)

def op_count_LVTXjn9PlI(a):
    if a < 302:
        count = op_count_SuX9iVx3F2(a)
    else:
        count = op_count_nEsXyWgiOK(a,a)
    return count


def op_y0uMrIc0tV(a):
    if op_jgiYmmuMZp(a) != 320:
        return op_otBzi3yDII(489)
    else:
        return op_xRBuNLHaeO(a,a)

def op_count_y0uMrIc0tV(a):
    if op_jgiYmmuMZp(a) != 320:
        count = op_count_otBzi3yDII(489)+op_count_jgiYmmuMZp(a)
    else:
        count = op_count_xRBuNLHaeO(a,a)
    return count


∣⩂a = { (a⊣⨲(⩠↾⋷a)) , if a<81 ; ((a⪬≉a)⩒⩯≚a) , else }

def op_78WfLKnqd1(a):
    if a < 81:
        return op_PjIHNKxrlt(a,op_ukSLkBfL7r(a))
    else:
        return op_V1brnGXOUL(op_403lqio1gV(a,a),a)

def op_count_78WfLKnqd1(a):
    if a < 81:
        count = op_count_ukSLkBfL7r(a)+op_count_PjIHNKxrlt(a,op_ukSLkBfL7r(a))
    else:
        count = op_count_403lqio1gV(a,a)+op_count_V1brnGXOUL(op_403lqio1gV(a,a),a)
    return count


a⊩∮⨊ = { (a⇮⋭a) , if a!=191 ; (a⋈a) , else }

def op_58dnxQFQ7p(a):
    if a != 191:
        return op_vkpjKywKVM(a,a)
    else:
        return op_nDybdB13Ph(a,a)

def op_count_58dnxQFQ7p(a):
    if a != 191:
        count = op_count_vkpjKywKVM(a,a)
    else:
        count = op_count_nDybdB13Ph(a,a)
    return count


a⋟⨈b = { (((a∤≷⨡)⨻(b∥⋈a))≏⨯⊱((∝⩩⩂a)⩐(⩕↛a))) , if (a⊺⪚↾370)<=199 ; ((∕(a⪦⪊64))∿∖((a⇎⇧a)⨱⩕(b⪐≢↶a))) , else }

def op_KagmZ2dQBE(a, b):
    if op_wFGzIcZ3iX(a,370) <= 199:
        return op_UqUOXUQnbU(op_joCbSVezTg(op_PIKqUwW8wB(a),op_j7kFUh2iBI(b,a)),op_bMfZrpXtSe(op_kV9H2P1eKQ(a),op_3EhVUz7Ug9(a)))
    else:
        return op_j9qIIAB78T(op_A1Uma3KAhE(op_DykcjiQqpf(a,64)),op_2c2Kvs5UmY(op_cnI436iWbz(a,a),op_GaQb60eDBT(b,a)))

def op_count_KagmZ2dQBE(a, b):
    if op_wFGzIcZ3iX(a,370) <= 199:
        count = op_count_PIKqUwW8wB(a)+op_count_j7kFUh2iBI(b,a)+op_count_joCbSVezTg(op_PIKqUwW8wB(a),op_j7kFUh2iBI(b,a))+op_count_kV9H2P1eKQ(a)+op_count_3EhVUz7Ug9(a)+op_count_bMfZrpXtSe(op_kV9H2P1eKQ(a),op_3EhVUz7Ug9(a))+op_count_UqUOXUQnbU(op_joCbSVezTg(op_PIKqUwW8wB(a),op_j7kFUh2iBI(b,a)),op_bMfZrpXtSe(op_kV9H2P1eKQ(a),op_3EhVUz7Ug9(a)))+op_count_wFGzIcZ3iX(a,370)
    else:
        count = op_count_DykcjiQqpf(a,64)+op_count_A1Uma3KAhE(op_DykcjiQqpf(a,64))+op_count_cnI436iWbz(a,a)+op_count_GaQb60eDBT(b,a)+op_count_2c2Kvs5UmY(op_cnI436iWbz(a,a),op_GaQb60eDBT(b,a))+op_count_j9qIIAB78T(op_A1Uma3KAhE(op_DykcjiQqpf(a,64)),op_2c2Kvs5UmY(op_cnI436iWbz(a,a),op_GaQb60eDBT(b,a)))
    return count


⨠⊋∠a = { ((a⋉(a⫑⨱a))⫗⋱⩱((a∳a)⫘⋞(183→⨶⪴a))) , if (≱a)<=77 ; (⨴⇴⨔((⊃a)⋔+⨓(⪵⩥∼64))) , else }

def op_f1kxOtGsFl(a):
    if op_Z6xt9iJndF(a) <= 77:
        return op_i43TpB2HrT(op_Lctt7tVaRL(a,op_ckHj138N5r(a,a)),op_JuYqkVW9UL(op_XCY0eMNfgm(a,a),op_bF6eod5Gvf(183,a)))
    else:
        return op_ubAxYR8Owx(op_AU7eUHalbZ(op_fcYd9Sln05(a),op_C8AGOwLzL7(64)))

def op_count_f1kxOtGsFl(a):
    if op_Z6xt9iJndF(a) <= 77:
        count = op_count_ckHj138N5r(a,a)+op_count_Lctt7tVaRL(a,op_ckHj138N5r(a,a))+op_count_XCY0eMNfgm(a,a)+op_count_bF6eod5Gvf(183,a)+op_count_JuYqkVW9UL(op_XCY0eMNfgm(a,a),op_bF6eod5Gvf(183,a))+op_count_i43TpB2HrT(op_Lctt7tVaRL(a,op_ckHj138N5r(a,a)),op_JuYqkVW9UL(op_XCY0eMNfgm(a,a),op_bF6eod5Gvf(183,a)))+op_count_Z6xt9iJndF(a)
    else:
        count = op_count_fcYd9Sln05(a)+op_count_C8AGOwLzL7(64)+op_count_AU7eUHalbZ(op_fcYd9Sln05(a),op_C8AGOwLzL7(64))+op_count_ubAxYR8Owx(op_AU7eUHalbZ(op_fcYd9Sln05(a),op_C8AGOwLzL7(64)))
    return count


def op_7YGqDOpaR0(a):
    if op_rK7H9hZmfU(a,439) < 217:
        return 360
    else:
        return op_iLDmr1kYEU(op_fBv0GnY1At(op_u3XxlibK4s(42),op_dngTJzlZ0N(a,a)))

def op_count_7YGqDOpaR0(a):
    if op_rK7H9hZmfU(a,439) < 217:
        count = op_count_rK7H9hZmfU(a,439)
    else:
        count = op_count_u3XxlibK4s(42)+op_count_dngTJzlZ0N(a,a)+op_count_fBv0GnY1At(op_u3XxlibK4s(42),op_dngTJzlZ0N(a,a))+op_count_iLDmr1kYEU(op_fBv0GnY1At(op_u3XxlibK4s(42),op_dngTJzlZ0N(a,a)))
    return count


a⨆b = { (↨⩢⫨a) , if (a⩤≠≯729)<=240 ; (b≬⇼↘b) , else }

def op_v5jqR0uimB(a, b):
    if op_htFxK0qXae(a,729) <= 240:
        return op_Z5CJsN7DuW(a)
    else:
        return op_b71WJCI7uC(b,b)

def op_count_v5jqR0uimB(a, b):
    if op_htFxK0qXae(a,729) <= 240:
        count = op_count_Z5CJsN7DuW(a)+op_count_htFxK0qXae(a,729)
    else:
        count = op_count_b71WJCI7uC(b,b)
    return count


a⋗⪌ = { ((a⨥a)↴⪮(a⫭⨏a)) , if a<=49 ; (⨇(a≀⋧a)) , else }

def op_V9M4lEIVUt(a):
    if a <= 49:
        return op_3ayH0UyYyX(op_GXZxp3Erot(a,a),op_4j7MdOEvYM(a,a))
    else:
        return op_Oop2uYv01n(op_RLgQDWzcJN(a,a))

def op_count_V9M4lEIVUt(a):
    if a <= 49:
        count = op_count_GXZxp3Erot(a,a)+op_count_4j7MdOEvYM(a,a)+op_count_3ayH0UyYyX(op_GXZxp3Erot(a,a),op_4j7MdOEvYM(a,a))
    else:
        count = op_count_RLgQDWzcJN(a,a)+op_count_Oop2uYv01n(op_RLgQDWzcJN(a,a))
    return count


a⇒⊶b = { (b⩹⨧≼b) , if (a⨂)>=217 ; (a∟) , else }

def op_J4RdkEvY2C(a, b):
    if op_1cb0F6wNcf(a) >= 217:
        return op_8GoaSTesSg(b,b)
    else:
        return op_hTbEZDJLEm(a)

def op_count_J4RdkEvY2C(a, b):
    if op_1cb0F6wNcf(a) >= 217:
        count = op_count_8GoaSTesSg(b,b)+op_count_1cb0F6wNcf(a)
    else:
        count = op_count_hTbEZDJLEm(a)
    return count


def op_RdkBwzoIxl(a):
    if (op_opc8BSlPgk(a,180) != 733 or op_nHeERPBDuK(a) < 40):
        return op_Kn0TacbtGK(op_xtCeza3rDf(a,a))
    else:
        return op_5WBlwMsBj2(op_PyySExtkRS(a,a),op_F9Zfm1dsok(211,314))

def op_count_RdkBwzoIxl(a):
    if (op_opc8BSlPgk(a,180) != 733 or op_nHeERPBDuK(a) < 40):
        count = op_count_xtCeza3rDf(a,a)+op_count_Kn0TacbtGK(op_xtCeza3rDf(a,a))+op_count_opc8BSlPgk(a,180)+op_count_nHeERPBDuK(a)
    else:
        count = op_count_PyySExtkRS(a,a)+op_count_F9Zfm1dsok(211,314)+op_count_5WBlwMsBj2(op_PyySExtkRS(a,a),op_F9Zfm1dsok(211,314))
    return count


a⫉⫷b = { ((513⇱∅⫼b)∗⩻) , if (⪸⪰a)>219 ; (⇘(b⋗↱b)) , else }

def op_0m85q53N9z(a, b):
    if op_dtBtmTqwHZ(a) > 219:
        return op_ccHmK6PBIn(op_jmRbPV3Y6D(513,b))
    else:
        return op_MGuIdZPyUC(op_ks8apemKCz(b,b))

def op_count_0m85q53N9z(a, b):
    if op_dtBtmTqwHZ(a) > 219:
        count = op_count_jmRbPV3Y6D(513,b)+op_count_ccHmK6PBIn(op_jmRbPV3Y6D(513,b))+op_count_dtBtmTqwHZ(a)
    else:
        count = op_count_ks8apemKCz(b,b)+op_count_MGuIdZPyUC(op_ks8apemKCz(b,b))
    return count


def op_DyCQ9KP2MI(a):
    if op_gC4f1fifnE(a) >= 34 or op_aULemKRNJ1(a,126) == 288 or op_uPb5QRN0te(a) == 364:
        return op_9HNa5Wba9A(303,a)
    else:
        return op_sWtEKAL0PQ(469)

def op_count_DyCQ9KP2MI(a):
    if op_gC4f1fifnE(a) >= 34 or op_aULemKRNJ1(a,126) == 288 or op_uPb5QRN0te(a) == 364:
        count = op_count_9HNa5Wba9A(303,a)+op_count_gC4f1fifnE(a)+op_count_aULemKRNJ1(a,126)+op_count_uPb5QRN0te(a)
    else:
        count = op_count_sWtEKAL0PQ(469)
    return count


def op_MEoYuHs2hR(a):
    if op_xTDqZxPsQw(a,801) >= 10:
        return op_A7k8RvvYBg(a,508)
    else:
        return op_yXekIHxTD4(a,a)

def op_count_MEoYuHs2hR(a):
    if op_xTDqZxPsQw(a,801) >= 10:
        count = op_count_A7k8RvvYBg(a,508)+op_count_xTDqZxPsQw(a,801)
    else:
        count = op_count_yXekIHxTD4(a,a)
    return count


def op_wzL3p1vgtd(a):
    if op_4K99692Zgi(a) > 60:
        return op_OKGz76xQTU(op_j7UVJQGE8k(op_6Dk38mmJ69(a,155),op_rh14SKPVeV(317,a)),op_0D7yuLhasi(op_UoVew8f2p2(a,a)))
    else:
        return op_7j4O788W3g(op_qh8pEW3YeR(op_9eDjlWS7DX(463)),op_mtYELhq5uV(op_FAUHmXADzM(a)))

def op_count_wzL3p1vgtd(a):
    if op_4K99692Zgi(a) > 60:
        count = op_count_6Dk38mmJ69(a,155)+op_count_rh14SKPVeV(317,a)+op_count_j7UVJQGE8k(op_6Dk38mmJ69(a,155),op_rh14SKPVeV(317,a))+op_count_UoVew8f2p2(a,a)+op_count_0D7yuLhasi(op_UoVew8f2p2(a,a))+op_count_OKGz76xQTU(op_j7UVJQGE8k(op_6Dk38mmJ69(a,155),op_rh14SKPVeV(317,a)),op_0D7yuLhasi(op_UoVew8f2p2(a,a)))+op_count_4K99692Zgi(a)
    else:
        count = op_count_9eDjlWS7DX(463)+op_count_qh8pEW3YeR(op_9eDjlWS7DX(463))+op_count_FAUHmXADzM(a)+op_count_mtYELhq5uV(op_FAUHmXADzM(a))+op_count_7j4O788W3g(op_qh8pEW3YeR(op_9eDjlWS7DX(463)),op_mtYELhq5uV(op_FAUHmXADzM(a)))
    return count


def op_WTcYRUW1vb(a):
    if a == 329:
        return op_IjGhTk7PpW(a,68)
    else:
        return op_fhjnU2VWuG(254,a)

def op_count_WTcYRUW1vb(a):
    if a == 329:
        count = op_count_IjGhTk7PpW(a,68)
    else:
        count = op_count_fhjnU2VWuG(254,a)
    return count


a⨒⪏ = { (a⫕⇤⪲a) , if ((⨌a)>45 or (a⩖⊘⫚)>2) ; (a⇡) , else }

def op_iyPDMiS9rP(a):
    if (op_p1ibIKL8Ww(a) > 45 or op_lnIJ46lT9N(a) > 2):
        return op_NP9YRXuJAy(a,a)
    else:
        return op_UqFzSgLMvQ(a)

def op_count_iyPDMiS9rP(a):
    if (op_p1ibIKL8Ww(a) > 45 or op_lnIJ46lT9N(a) > 2):
        count = op_count_NP9YRXuJAy(a,a)+op_count_p1ibIKL8Ww(a)+op_count_lnIJ46lT9N(a)
    else:
        count = op_count_UqFzSgLMvQ(a)
    return count


⪳≼⫫a = { (⨵≀≌a) , if (⋙⫃⫩a)<=296 ; (50⊭a) , else }

def op_8Quhzln2AS(a):
    if op_23RZ8Drpas(a) <= 296:
        return op_srAu1WTS94(a)
    else:
        return op_4JGOJzXMq1(50,a)

def op_count_8Quhzln2AS(a):
    if op_23RZ8Drpas(a) <= 296:
        count = op_count_srAu1WTS94(a)+op_count_23RZ8Drpas(a)
    else:
        count = op_count_4JGOJzXMq1(50,a)
    return count


a⊦∘b = { (a⩌⨨⨫(a⫉⨲⊜b)) , if (b⋌)<32 ; ((b⫇⊯b)⇃⩛⇬(b⩉⨞)) , else }

def op_OdoR6iWuHS(a, b):
    if op_VbgE6nPTyN(b) < 32:
        return op_3QUG3jHDXB(a,op_WhqkvtTD3t(a,b))
    else:
        return op_ZyEASfasF5(op_pxtEXgrBIH(b,b),op_ZU9O8ewN1P(b))

def op_count_OdoR6iWuHS(a, b):
    if op_VbgE6nPTyN(b) < 32:
        count = op_count_WhqkvtTD3t(a,b)+op_count_3QUG3jHDXB(a,op_WhqkvtTD3t(a,b))+op_count_VbgE6nPTyN(b)
    else:
        count = op_count_pxtEXgrBIH(b,b)+op_count_ZU9O8ewN1P(b)+op_count_ZyEASfasF5(op_pxtEXgrBIH(b,b),op_ZU9O8ewN1P(b))
    return count


def op_Qroa0x9OXF(a):
    if (a > 109 or op_x6DEqRu9vc(a) < 49 or op_h92wMvzauj(a,89) <= 398):
        return op_W4YGzv6Whe(op_ttmdOT7RaK(a,a),op_jkca4M7ITL(a,55))
    else:
        return op_ccHmK6PBIn(op_w2P8NbNXyL(429,a))

def op_count_Qroa0x9OXF(a):
    if (a > 109 or op_x6DEqRu9vc(a) < 49 or op_h92wMvzauj(a,89) <= 398):
        count = op_count_ttmdOT7RaK(a,a)+op_count_jkca4M7ITL(a,55)+op_count_W4YGzv6Whe(op_ttmdOT7RaK(a,a),op_jkca4M7ITL(a,55))+op_count_x6DEqRu9vc(a)+op_count_h92wMvzauj(a,89)
    else:
        count = op_count_w2P8NbNXyL(429,a)+op_count_ccHmK6PBIn(op_w2P8NbNXyL(429,a))
    return count


def op_YtFLMpyAae(a, b):
    if op_Z0MOmZBEvh(b,743) != 83 and op_Gl4WN4Uwdx(a,410) > 67 and a == 448:
        return op_56lx0jOM0n(op_jkca4M7ITL(op_1guADMLg5x(310,b),op_YANvL1cq0Q(a,750)))
    else:
        return op_pvbE2flhr7(op_VcI7WilXed(op_BThhyOhh10(b),op_SVbYQ5zZTr(b,a)),op_gs832QT2eo(a,op_moP16zZBUU(a,a)))

def op_count_YtFLMpyAae(a, b):
    if op_Z0MOmZBEvh(b,743) != 83 and op_Gl4WN4Uwdx(a,410) > 67 and a == 448:
        count = op_count_1guADMLg5x(310,b)+op_count_YANvL1cq0Q(a,750)+op_count_jkca4M7ITL(op_1guADMLg5x(310,b),op_YANvL1cq0Q(a,750))+op_count_56lx0jOM0n(op_jkca4M7ITL(op_1guADMLg5x(310,b),op_YANvL1cq0Q(a,750)))+op_count_Z0MOmZBEvh(b,743)+op_count_Gl4WN4Uwdx(a,410)
    else:
        count = op_count_BThhyOhh10(b)+op_count_SVbYQ5zZTr(b,a)+op_count_VcI7WilXed(op_BThhyOhh10(b),op_SVbYQ5zZTr(b,a))+op_count_moP16zZBUU(a,a)+op_count_gs832QT2eo(a,op_moP16zZBUU(a,a))+op_count_pvbE2flhr7(op_VcI7WilXed(op_BThhyOhh10(b),op_SVbYQ5zZTr(b,a)),op_gs832QT2eo(a,op_moP16zZBUU(a,a)))
    return count


a≉⫪≚ = { (a⫮199) , if (a↼⨜∘)<378 ; (⊐↗∝a) , else }

def op_6i8M9uaOtO(a):
    if op_2vc6jfJkHe(a) < 378:
        return op_vwdxqpDU32(a,199)
    else:
        return op_inYIwJ0bD8(a)

def op_count_6i8M9uaOtO(a):
    if op_2vc6jfJkHe(a) < 378:
        count = op_count_vwdxqpDU32(a,199)+op_count_2vc6jfJkHe(a)
    else:
        count = op_count_inYIwJ0bD8(a)
    return count


def op_5evuKV93zN(a, b):
    if op_XHowTFVwyi(a,60) == 56:
        return op_CElUNYQIpN(op_rMifWJgd3t(a,a),op_V0u2OkZBsS(103,207))
    else:
        return op_e1wGt9VEHG(op_lEJwZ8Bbna(b),op_fkKnxDq6es(a))

def op_count_5evuKV93zN(a, b):
    if op_XHowTFVwyi(a,60) == 56:
        count = op_count_rMifWJgd3t(a,a)+op_count_V0u2OkZBsS(103,207)+op_count_CElUNYQIpN(op_rMifWJgd3t(a,a),op_V0u2OkZBsS(103,207))+op_count_XHowTFVwyi(a,60)
    else:
        count = op_count_lEJwZ8Bbna(b)+op_count_fkKnxDq6es(a)+op_count_e1wGt9VEHG(op_lEJwZ8Bbna(b),op_fkKnxDq6es(a))
    return count


def op_FPytC28B7d(a):
    if op_AZPIx1Ag6c(a) != 70:
        return op_SVbYQ5zZTr(op_DdGfRTBqou(op_9hl1k8hbNX(307),op_YaB1w09lmH(a,a)),op_vaH8QgiDVg(a))
    else:
        return op_NHqdvowzfS(op_MoI8GQPXxt(op_oW1cUEY5Sq(a,a)),op_CE93BnRTrY(op_jK7syLhY7M(210),op_y75s1iXyHd(a,1)))

def op_count_FPytC28B7d(a):
    if op_AZPIx1Ag6c(a) != 70:
        count = op_count_9hl1k8hbNX(307)+op_count_YaB1w09lmH(a,a)+op_count_DdGfRTBqou(op_9hl1k8hbNX(307),op_YaB1w09lmH(a,a))+op_count_vaH8QgiDVg(a)+op_count_SVbYQ5zZTr(op_DdGfRTBqou(op_9hl1k8hbNX(307),op_YaB1w09lmH(a,a)),op_vaH8QgiDVg(a))+op_count_AZPIx1Ag6c(a)
    else:
        count = op_count_oW1cUEY5Sq(a,a)+op_count_MoI8GQPXxt(op_oW1cUEY5Sq(a,a))+op_count_jK7syLhY7M(210)+op_count_y75s1iXyHd(a,1)+op_count_CE93BnRTrY(op_jK7syLhY7M(210),op_y75s1iXyHd(a,1))+op_count_NHqdvowzfS(op_MoI8GQPXxt(op_oW1cUEY5Sq(a,a)),op_CE93BnRTrY(op_jK7syLhY7M(210),op_y75s1iXyHd(a,1)))
    return count


⫟⨏a = { (9⇮⇃⫯a) , if a>104 ; (a⊾⪯⋞a) , else }

def op_mQ08XF8cJl(a):
    if a > 104:
        return op_vjAZhCvnmo(9,a)
    else:
        return op_HK0tfVPux8(a,a)

def op_count_mQ08XF8cJl(a):
    if a > 104:
        count = op_count_vjAZhCvnmo(9,a)
    else:
        count = op_count_HK0tfVPux8(a,a)
    return count


⇲∈∉a = { (⨚∍⪓a) , if (a⪔≤64)>507 ; (a⋤a) , else }

def op_0sUoN8jbUc(a):
    if op_dnsoz1tpAU(a,64) > 507:
        return op_A70lgPgx8E(a)
    else:
        return op_3FfuuMEB8X(a,a)

def op_count_0sUoN8jbUc(a):
    if op_dnsoz1tpAU(a,64) > 507:
        count = op_count_A70lgPgx8E(a)+op_count_dnsoz1tpAU(a,64)
    else:
        count = op_count_3FfuuMEB8X(a,a)
    return count


↤⇣⇦a = { (a⫿) , if (↫⫦a)<=821 and a>=179 ; a , else }

def op_1y4k0eNLDD(a):
    if op_FbfjV67I2U(a) <= 821 and a >= 179:
        return op_9tKT6PmtkH(a)
    else:
        return a

def op_count_1y4k0eNLDD(a):
    if op_FbfjV67I2U(a) <= 821 and a >= 179:
        count = op_count_9tKT6PmtkH(a)+op_count_FbfjV67I2U(a)
    else:
        count = 1
    return count


a⨾⩊ = { (((↥91)⫏↛⩏(⋿⊆⪇a))⊸a) , if (a⇟⨁⪰)<11 or (a⋫⇱)>=508 ; ((⇿≗⇩a)⊈⋜⋼((a⫯⪬∳a)↣⪱(a⊷⪂a))) , else }

def op_I1vHLHigu2(a):
    if op_BX1lVwlMe0(a) < 11 or op_lxmaenj6DJ(a) >= 508:
        return op_vtudXryacx(op_YC3tgrnOyr(op_A8NUZmVepG(91),op_Tkp64Nxkog(a)),a)
    else:
        return op_92pAIinIZa(op_FdnA9mdgAX(a),op_qhklwjTpUT(op_d7ASUq0ydm(a,a),op_QnvrtN8efL(a,a)))

def op_count_I1vHLHigu2(a):
    if op_BX1lVwlMe0(a) < 11 or op_lxmaenj6DJ(a) >= 508:
        count = op_count_A8NUZmVepG(91)+op_count_Tkp64Nxkog(a)+op_count_YC3tgrnOyr(op_A8NUZmVepG(91),op_Tkp64Nxkog(a))+op_count_vtudXryacx(op_YC3tgrnOyr(op_A8NUZmVepG(91),op_Tkp64Nxkog(a)),a)+op_count_BX1lVwlMe0(a)+op_count_lxmaenj6DJ(a)
    else:
        count = op_count_FdnA9mdgAX(a)+op_count_d7ASUq0ydm(a,a)+op_count_QnvrtN8efL(a,a)+op_count_qhklwjTpUT(op_d7ASUq0ydm(a,a),op_QnvrtN8efL(a,a))+op_count_92pAIinIZa(op_FdnA9mdgAX(a),op_qhklwjTpUT(op_d7ASUq0ydm(a,a),op_QnvrtN8efL(a,a)))
    return count


a⨓↶b = { a , if (⪌a)>=8 ; (a∖⊫((⇝⋾⇵a)⇁⊓(b≬⇓a))) , else }

def op_h0RDTF413h(a, b):
    if op_zhcyjIpuZs(a) >= 8:
        return a
    else:
        return op_xNgZz6XNYQ(a,op_tYn1ngw0gr(op_6l7ULzJsnZ(a),op_jWTQ2TZYIH(b,a)))

def op_count_h0RDTF413h(a, b):
    if op_zhcyjIpuZs(a) >= 8:
        count = 1
    else:
        count = op_count_6l7ULzJsnZ(a)+op_count_jWTQ2TZYIH(b,a)+op_count_tYn1ngw0gr(op_6l7ULzJsnZ(a),op_jWTQ2TZYIH(b,a))+op_count_xNgZz6XNYQ(a,op_tYn1ngw0gr(op_6l7ULzJsnZ(a),op_jWTQ2TZYIH(b,a)))
    return count


def op_ls2sEoW1gP(a, b):
    if a < 96 and op_C58ewRfeGC(b,853) >= 329 and op_oW1cUEY5Sq(b,630) != 127:
        return 187
    else:
        return op_9ICcGScMcE(op_poiSo6Xg3g(b,a))

def op_count_ls2sEoW1gP(a, b):
    if a < 96 and op_C58ewRfeGC(b,853) >= 329 and op_oW1cUEY5Sq(b,630) != 127:
        count = op_count_C58ewRfeGC(b,853)+op_count_oW1cUEY5Sq(b,630)
    else:
        count = op_count_poiSo6Xg3g(b,a)+op_count_9ICcGScMcE(op_poiSo6Xg3g(b,a))
    return count


def op_hRVy312e02(a, b):
    if b <= 773 and op_F3ZYW0Xs6y(a,455) == 8:
        return op_NdELin8EPX(382,b)
    else:
        return op_ua2fiIHkOT(a)

def op_count_hRVy312e02(a, b):
    if b <= 773 and op_F3ZYW0Xs6y(a,455) == 8:
        count = op_count_NdELin8EPX(382,b)+op_count_F3ZYW0Xs6y(a,455)
    else:
        count = op_count_ua2fiIHkOT(a)
    return count


def op_3MGUzg19yl(a, b):
    if op_Ikma4L65yo(a) != 637:
        return 507
    else:
        return op_W4tP9CfskL(op_ctswzS5Znb(a),op_jkca4M7ITL(b,49))

def op_count_3MGUzg19yl(a, b):
    if op_Ikma4L65yo(a) != 637:
        count = op_count_Ikma4L65yo(a)
    else:
        count = op_count_ctswzS5Znb(a)+op_count_jkca4M7ITL(b,49)+op_count_W4tP9CfskL(op_ctswzS5Znb(a),op_jkca4M7ITL(b,49))
    return count


def op_bwHU3AucoK(a, b):
    if op_M0mAKAgWvJ(b,751) >= 525 and b <= 704 and op_qR0a6FVQRO(a) < 133:
        return op_TWCuuHjbTv(b,op_exzyYvvvzF(196,b))
    else:
        return op_siyWwrmZkB(op_FAUHmXADzM(a),op_zO3jaJNyRO(391))

def op_count_bwHU3AucoK(a, b):
    if op_M0mAKAgWvJ(b,751) >= 525 and b <= 704 and op_qR0a6FVQRO(a) < 133:
        count = op_count_exzyYvvvzF(196,b)+op_count_TWCuuHjbTv(b,op_exzyYvvvzF(196,b))+op_count_M0mAKAgWvJ(b,751)+op_count_qR0a6FVQRO(a)
    else:
        count = op_count_FAUHmXADzM(a)+op_count_zO3jaJNyRO(391)+op_count_siyWwrmZkB(op_FAUHmXADzM(a),op_zO3jaJNyRO(391))
    return count


a⩐⊽b = { (⫻≤(⨞(a⫱≫⪥b))) , if (a↣)>80 ; (((b⋡≤⩀a)⇥)⋕⩇⊠((b∬⋴∣)∓⋝(a∖⇀⩒b))) , else }

def op_6JB1RBngZg(a, b):
    if op_0D7yuLhasi(a) > 80:
        return op_v7yRR9JtDU(op_grHKJW0KEs(op_J65EmZhDzK(a,b)))
    else:
        return op_zcfNHCZcQb(op_dcbMkX5nB5(op_Mth4PhTnAe(b,a)),op_PoHhknlbAi(op_5Zy4XL978q(b),op_o5ySIend9F(a,b)))

def op_count_6JB1RBngZg(a, b):
    if op_0D7yuLhasi(a) > 80:
        count = op_count_J65EmZhDzK(a,b)+op_count_grHKJW0KEs(op_J65EmZhDzK(a,b))+op_count_v7yRR9JtDU(op_grHKJW0KEs(op_J65EmZhDzK(a,b)))+op_count_0D7yuLhasi(a)
    else:
        count = op_count_Mth4PhTnAe(b,a)+op_count_dcbMkX5nB5(op_Mth4PhTnAe(b,a))+op_count_5Zy4XL978q(b)+op_count_o5ySIend9F(a,b)+op_count_PoHhknlbAi(op_5Zy4XL978q(b),op_o5ySIend9F(a,b))+op_count_zcfNHCZcQb(op_dcbMkX5nB5(op_Mth4PhTnAe(b,a)),op_PoHhknlbAi(op_5Zy4XL978q(b),op_o5ySIend9F(a,b)))
    return count


a⇠⇿⊷ = { (a∽⪡) , if (a↧⇸395)!=236 ; ((a⋖a)∴⪏(↸⪅⇔a)) , else }

def op_fKlCCBHPza(a):
    if op_ttmdOT7RaK(a,395) != 236:
        return op_GyZKrXyLmB(a)
    else:
        return op_4XKlyKzzXk(op_pdYExVicxf(a,a),op_i8VfeBP6dW(a))

def op_count_fKlCCBHPza(a):
    if op_ttmdOT7RaK(a,395) != 236:
        count = op_count_GyZKrXyLmB(a)+op_count_ttmdOT7RaK(a,395)
    else:
        count = op_count_pdYExVicxf(a,a)+op_count_i8VfeBP6dW(a)+op_count_4XKlyKzzXk(op_pdYExVicxf(a,a),op_i8VfeBP6dW(a))
    return count


def op_8SltmloNbp(a):
    if op_BEh4QBmAc4(a,575) > 289:
        return op_GihdubVxvG(op_36V2MidH9c(a,a))
    else:
        return op_W48l78wIbG(a,op_7CBskBkoKY(245))

def op_count_8SltmloNbp(a):
    if op_BEh4QBmAc4(a,575) > 289:
        count = op_count_36V2MidH9c(a,a)+op_count_GihdubVxvG(op_36V2MidH9c(a,a))+op_count_BEh4QBmAc4(a,575)
    else:
        count = op_count_7CBskBkoKY(245)+op_count_W48l78wIbG(a,op_7CBskBkoKY(245))
    return count


a∑⨉b = { (((b⇀⪽b)⫆⋶(a⩿≚221))∺⇼⇿((a≦↬b)⇄(b⫯⩟b))) , if (∙↓a)>19 ; (((⇻⫵53)⋆⋬b)⩷∴((a≝∰⇵a)≼(a⇉⇉))) , else }

def op_TbMhMv1AuS(a, b):
    if op_9BIxZYmKZo(a) > 19:
        return op_THQMdUzaDA(op_PogVMsAOp4(op_2u38eHdNB5(b,b),op_1iZxVsDXN9(a,221)),op_3EYGwJThht(op_z4Ajd36hBy(a,b),op_BEh4QBmAc4(b,b)))
    else:
        return op_9FxExcQeMw(op_7YiCYgpUY4(op_Wm7LHi3c8p(53),b),op_SPuZE40Ntn(op_CdHlyAwjkr(a,a),op_diKm42VcIt(a)))

def op_count_TbMhMv1AuS(a, b):
    if op_9BIxZYmKZo(a) > 19:
        count = op_count_2u38eHdNB5(b,b)+op_count_1iZxVsDXN9(a,221)+op_count_PogVMsAOp4(op_2u38eHdNB5(b,b),op_1iZxVsDXN9(a,221))+op_count_z4Ajd36hBy(a,b)+op_count_BEh4QBmAc4(b,b)+op_count_3EYGwJThht(op_z4Ajd36hBy(a,b),op_BEh4QBmAc4(b,b))+op_count_THQMdUzaDA(op_PogVMsAOp4(op_2u38eHdNB5(b,b),op_1iZxVsDXN9(a,221)),op_3EYGwJThht(op_z4Ajd36hBy(a,b),op_BEh4QBmAc4(b,b)))+op_count_9BIxZYmKZo(a)
    else:
        count = op_count_Wm7LHi3c8p(53)+op_count_7YiCYgpUY4(op_Wm7LHi3c8p(53),b)+op_count_CdHlyAwjkr(a,a)+op_count_diKm42VcIt(a)+op_count_SPuZE40Ntn(op_CdHlyAwjkr(a,a),op_diKm42VcIt(a))+op_count_9FxExcQeMw(op_7YiCYgpUY4(op_Wm7LHi3c8p(53),b),op_SPuZE40Ntn(op_CdHlyAwjkr(a,a),op_diKm42VcIt(a)))
    return count


def op_HxDSz5st7J(a):
    if op_KbjG8mgYpV(a,840) >= 99:
        return 470
    else:
        return op_AvED76WdY7(10)

def op_count_HxDSz5st7J(a):
    if op_KbjG8mgYpV(a,840) >= 99:
        count = op_count_KbjG8mgYpV(a,840)
    else:
        count = op_count_AvED76WdY7(10)
    return count


a⊹↼⪀b = { a , if b!=104 ; (≧⊳a) , else }

def op_161cyTtxSb(a, b):
    if b != 104:
        return a
    else:
        return op_GMrB5OisJT(a)

def op_count_161cyTtxSb(a, b):
    if b != 104:
        count = 1
    else:
        count = op_count_GMrB5OisJT(a)
    return count


a≮⫀↢b = { (((b⫂↦⪌a)∴⫅⫄)⨄) , if a>=444 ; a , else }

def op_seBVGjDgw8(a, b):
    if a >= 444:
        return op_H7f1qksvrC(op_Gbxqws6XSS(op_uBbSXYMpE2(b,a)))
    else:
        return a

def op_count_seBVGjDgw8(a, b):
    if a >= 444:
        count = op_count_uBbSXYMpE2(b,a)+op_count_Gbxqws6XSS(op_uBbSXYMpE2(b,a))+op_count_H7f1qksvrC(op_Gbxqws6XSS(op_uBbSXYMpE2(b,a)))
    else:
        count = 1
    return count


a⫨⫹⫘b = { (⪽⊔⪾(a⋪⊪↳b)) , if (b⩤⫨↦166)>196 ; ((b⇖⪆b)⇣⩺⋵(b≐≱b)) , else }

def op_GnJtpMXYEn(a, b):
    if op_iukWuQulzt(b,166) > 196:
        return op_8pEb091Skj(op_FQQxe7X1ro(a,b))
    else:
        return op_F4yD0voBRQ(op_pPTxWWVODo(b,b),op_EopCNPJDb6(b,b))

def op_count_GnJtpMXYEn(a, b):
    if op_iukWuQulzt(b,166) > 196:
        count = op_count_FQQxe7X1ro(a,b)+op_count_8pEb091Skj(op_FQQxe7X1ro(a,b))+op_count_iukWuQulzt(b,166)
    else:
        count = op_count_pPTxWWVODo(b,b)+op_count_EopCNPJDb6(b,b)+op_count_F4yD0voBRQ(op_pPTxWWVODo(b,b),op_EopCNPJDb6(b,b))
    return count


def op_BvEEMilsQy(a):
    if op_ZA7FCwLRLB(a) >= 179:
        return op_oqoWAMqwIq(op_sQFXMycfVt(op_gub5Cegaqo(a,a),op_ts8K6hLPsW(165,a)),op_lu9boT7AJx(op_15v7IodGk2(a,a)))
    else:
        return op_ToDhk4Lo3q(a)

def op_count_BvEEMilsQy(a):
    if op_ZA7FCwLRLB(a) >= 179:
        count = op_count_gub5Cegaqo(a,a)+op_count_ts8K6hLPsW(165,a)+op_count_sQFXMycfVt(op_gub5Cegaqo(a,a),op_ts8K6hLPsW(165,a))+op_count_15v7IodGk2(a,a)+op_count_lu9boT7AJx(op_15v7IodGk2(a,a))+op_count_oqoWAMqwIq(op_sQFXMycfVt(op_gub5Cegaqo(a,a),op_ts8K6hLPsW(165,a)),op_lu9boT7AJx(op_15v7IodGk2(a,a)))+op_count_ZA7FCwLRLB(a)
    else:
        count = op_count_ToDhk4Lo3q(a)
    return count


def op_WvpRrkIbtT(a, b):
    if (op_Ycm9kuyCpn(b) == 142 or op_czsasVwKyq(a) <= 121):
        return op_ziBb4sC0ZT(a)
    else:
        return op_kPwFPZlApY(b,b)

def op_count_WvpRrkIbtT(a, b):
    if (op_Ycm9kuyCpn(b) == 142 or op_czsasVwKyq(a) <= 121):
        count = op_count_ziBb4sC0ZT(a)+op_count_Ycm9kuyCpn(b)+op_count_czsasVwKyq(a)
    else:
        count = op_count_kPwFPZlApY(b,b)
    return count


a⨇∝b = { (⨆≐≲a) , if b<132 or b>567 ; (136⩑≃≶a) , else }

def op_9Trn0TUFRY(a, b):
    if b < 132 or b > 567:
        return op_Bi9z9uYZqW(a)
    else:
        return op_4JQ65aDwPJ(136,a)

def op_count_9Trn0TUFRY(a, b):
    if b < 132 or b > 567:
        count = op_count_Bi9z9uYZqW(a)
    else:
        count = op_count_4JQ65aDwPJ(136,a)
    return count


⋀⋜⨌a = { (((⊄⫀⨏a)∫⨆⊨(⫹⨞≡a))⇸≇) , if (a⋇⋤⩬228)>751 ; (a⩤⫨↦((a⫍⫂a)⋆⊨a)) , else }

def op_gaauipXVEJ(a):
    if op_XRKDgMSJta(a,228) > 751:
        return op_FZXVY8MgqP(op_IDcHNuZ7N0(op_uhF6YzFI4G(a),op_sCmkhm4nGY(a)))
    else:
        return op_iukWuQulzt(a,op_uTBsSls0VN(op_XZQF252bpX(a,a),a))

def op_count_gaauipXVEJ(a):
    if op_XRKDgMSJta(a,228) > 751:
        count = op_count_uhF6YzFI4G(a)+op_count_sCmkhm4nGY(a)+op_count_IDcHNuZ7N0(op_uhF6YzFI4G(a),op_sCmkhm4nGY(a))+op_count_FZXVY8MgqP(op_IDcHNuZ7N0(op_uhF6YzFI4G(a),op_sCmkhm4nGY(a)))+op_count_XRKDgMSJta(a,228)
    else:
        count = op_count_XZQF252bpX(a,a)+op_count_uTBsSls0VN(op_XZQF252bpX(a,a),a)+op_count_iukWuQulzt(a,op_uTBsSls0VN(op_XZQF252bpX(a,a),a))
    return count


a⊭⨢⊦ = { (((47⩘a)⇞∉(221⊹∦a))⩫∠((⪁⫳↲595)⇝⪥⊌(a⊭a))) , if (a↹≜∞183)!=120 ; (((a≻⩩⇺3)∣∻⫱(a⨓↻))≻⇥≳((a⪶↡a)⪖⪯⋚)) , else }

def op_laxTUwRrKC(a):
    if op_bAt5z2ML1n(a,183) != 120:
        return op_61SMRth1bf(op_QbcaP1vvRM(op_cHh1gJQ2o6(47,a),op_obeET8rFtc(221,a)),op_8IBHxuH8oO(op_TcWRjSoWrE(595),op_4JGOJzXMq1(a,a)))
    else:
        return op_aiqF8n6J9c(op_7ZiIqrHWXK(op_3FsoGOMzDA(a,3),op_iz28qlgVvs(a)),op_D8FqJNSzfY(op_YnqEOO27KC(a,a)))

def op_count_laxTUwRrKC(a):
    if op_bAt5z2ML1n(a,183) != 120:
        count = op_count_cHh1gJQ2o6(47,a)+op_count_obeET8rFtc(221,a)+op_count_QbcaP1vvRM(op_cHh1gJQ2o6(47,a),op_obeET8rFtc(221,a))+op_count_TcWRjSoWrE(595)+op_count_4JGOJzXMq1(a,a)+op_count_8IBHxuH8oO(op_TcWRjSoWrE(595),op_4JGOJzXMq1(a,a))+op_count_61SMRth1bf(op_QbcaP1vvRM(op_cHh1gJQ2o6(47,a),op_obeET8rFtc(221,a)),op_8IBHxuH8oO(op_TcWRjSoWrE(595),op_4JGOJzXMq1(a,a)))+op_count_bAt5z2ML1n(a,183)
    else:
        count = op_count_3FsoGOMzDA(a,3)+op_count_iz28qlgVvs(a)+op_count_7ZiIqrHWXK(op_3FsoGOMzDA(a,3),op_iz28qlgVvs(a))+op_count_YnqEOO27KC(a,a)+op_count_D8FqJNSzfY(op_YnqEOO27KC(a,a))+op_count_aiqF8n6J9c(op_7ZiIqrHWXK(op_3FsoGOMzDA(a,3),op_iz28qlgVvs(a)),op_D8FqJNSzfY(op_YnqEOO27KC(a,a)))
    return count


def op_5P7CA6B56K(a, b):
    if (op_CJQMSuANdj(b,810) > 530 or a <= 165):
        return op_OgWP1Bm3Tu(op_eLxqMNBOBk(op_Oda0vSKASk(b)))
    else:
        return op_XZQF252bpX(op_i5hWbqkGkb(op_tgPF6n0bOJ(b),op_b3QkRJRxib(112,a)),op_3tVxb0NHM4(op_NOyIGfOOXL(a,b),op_RxT7DRsJUJ(290)))

def op_count_5P7CA6B56K(a, b):
    if (op_CJQMSuANdj(b,810) > 530 or a <= 165):
        count = op_count_Oda0vSKASk(b)+op_count_eLxqMNBOBk(op_Oda0vSKASk(b))+op_count_OgWP1Bm3Tu(op_eLxqMNBOBk(op_Oda0vSKASk(b)))+op_count_CJQMSuANdj(b,810)
    else:
        count = op_count_tgPF6n0bOJ(b)+op_count_b3QkRJRxib(112,a)+op_count_i5hWbqkGkb(op_tgPF6n0bOJ(b),op_b3QkRJRxib(112,a))+op_count_NOyIGfOOXL(a,b)+op_count_RxT7DRsJUJ(290)+op_count_3tVxb0NHM4(op_NOyIGfOOXL(a,b),op_RxT7DRsJUJ(290))+op_count_XZQF252bpX(op_i5hWbqkGkb(op_tgPF6n0bOJ(b),op_b3QkRJRxib(112,a)),op_3tVxb0NHM4(op_NOyIGfOOXL(a,b),op_RxT7DRsJUJ(290)))
    return count


⇤≠a = { ((⪕≙(a⊪⨰⋆a))⩫≗⊖((a⪟⇇a)→⩸↪(a+⪬∐a))) , if (⨕a)==708 ; ((⋯⫦(a⨇540))⊳⇆((a⊞280)≃⨎(a⊒a))) , else }

def op_V3iCuOQqPj(a):
    if op_yXb8vAEUka(a) == 708:
        return op_6GzKXIXcaD(op_eWHr1gHY9C(op_gVe57Wp8lf(a,a)),op_UUAh1Hdfpu(op_n4a7NEQ25Y(a,a),op_2GS7woTJqF(a,a)))
    else:
        return op_Lsyp3t0mLH(op_Oz60OTg7Kb(op_sgd3VpchmQ(a,540)),op_lQ3fYqgTA2(op_15v7IodGk2(a,280),op_rPNtK4BLRO(a,a)))

def op_count_V3iCuOQqPj(a):
    if op_yXb8vAEUka(a) == 708:
        count = op_count_gVe57Wp8lf(a,a)+op_count_eWHr1gHY9C(op_gVe57Wp8lf(a,a))+op_count_n4a7NEQ25Y(a,a)+op_count_2GS7woTJqF(a,a)+op_count_UUAh1Hdfpu(op_n4a7NEQ25Y(a,a),op_2GS7woTJqF(a,a))+op_count_6GzKXIXcaD(op_eWHr1gHY9C(op_gVe57Wp8lf(a,a)),op_UUAh1Hdfpu(op_n4a7NEQ25Y(a,a),op_2GS7woTJqF(a,a)))+op_count_yXb8vAEUka(a)
    else:
        count = op_count_sgd3VpchmQ(a,540)+op_count_Oz60OTg7Kb(op_sgd3VpchmQ(a,540))+op_count_15v7IodGk2(a,280)+op_count_rPNtK4BLRO(a,a)+op_count_lQ3fYqgTA2(op_15v7IodGk2(a,280),op_rPNtK4BLRO(a,a))+op_count_Lsyp3t0mLH(op_Oz60OTg7Kb(op_sgd3VpchmQ(a,540)),op_lQ3fYqgTA2(op_15v7IodGk2(a,280),op_rPNtK4BLRO(a,a)))
    return count


def op_FpQM48OB1m(a):
    if (op_DowK1ZCM6i(a,697) < 131 or op_X8DMfAISiV(a) == 610):
        return op_j8NUO8wOlx(a)
    else:
        return op_Acnz1HI8Ry(a,83)

def op_count_FpQM48OB1m(a):
    if (op_DowK1ZCM6i(a,697) < 131 or op_X8DMfAISiV(a) == 610):
        count = op_count_j8NUO8wOlx(a)+op_count_DowK1ZCM6i(a,697)+op_count_X8DMfAISiV(a)
    else:
        count = op_count_Acnz1HI8Ry(a,83)
    return count


def op_68TVwzvrOR(a, b):
    if a > 268 and op_hXLke0AbfW(a) >= 60:
        return op_IU5bnLfiEv(op_fGDu59EtI5(333))
    else:
        return op_DX7B1fY6P6(op_7JbuLsbBtx(b,b),op_WxCQVOxfvH(11))

def op_count_68TVwzvrOR(a, b):
    if a > 268 and op_hXLke0AbfW(a) >= 60:
        count = op_count_fGDu59EtI5(333)+op_count_IU5bnLfiEv(op_fGDu59EtI5(333))+op_count_hXLke0AbfW(a)
    else:
        count = op_count_7JbuLsbBtx(b,b)+op_count_WxCQVOxfvH(11)+op_count_DX7B1fY6P6(op_7JbuLsbBtx(b,b),op_WxCQVOxfvH(11))
    return count


⊈⇘a = { (a⨭⪣a) , if a==39 ; (a⪋) , else }

def op_MBUl8l35ec(a):
    if a == 39:
        return op_kn8WO9XteQ(a,a)
    else:
        return op_F0bFH7iBkH(a)

def op_count_MBUl8l35ec(a):
    if a == 39:
        count = op_count_kn8WO9XteQ(a,a)
    else:
        count = op_count_F0bFH7iBkH(a)
    return count


def op_fgG4BKMGvw(a):
    if op_XHowTFVwyi(a,453) <= 211:
        return op_9TWTp1rdMN(op_3YWlZA9bsa(76,a),op_j6NVkjMzuk(916))
    else:
        return a

def op_count_fgG4BKMGvw(a):
    if op_XHowTFVwyi(a,453) <= 211:
        count = op_count_3YWlZA9bsa(76,a)+op_count_j6NVkjMzuk(916)+op_count_9TWTp1rdMN(op_3YWlZA9bsa(76,a),op_j6NVkjMzuk(916))+op_count_XHowTFVwyi(a,453)
    else:
        count = 1
    return count


a⫘⋹⇱b = { ((⊛⪶(⇌a))⩳((250⊢a)⨨⪘⨔(b⨊⋜⩦a))) , if ((⩖≀a)!=77 or (⋼⋜≘a)<420) ; (⪝⪂⫅((b⋐⩹≹24)⨍↙⩡a)) , else }

def op_Ysezvhzhur(a, b):
    if (op_IgJGjqfDMb(a) != 77 or op_NjGMwpyDaG(a) < 420):
        return op_yC1eAvCdMl(op_WuDju6Xg1a(op_AZPIx1Ag6c(a)),op_MZbvLECGjt(op_5twsqlHp2o(250,a),op_K4mq4RyTKW(b,a)))
    else:
        return op_XTarYq4gQB(op_BAYcl7KEcJ(op_ERCh0iueHk(b,24),a))

def op_count_Ysezvhzhur(a, b):
    if (op_IgJGjqfDMb(a) != 77 or op_NjGMwpyDaG(a) < 420):
        count = op_count_AZPIx1Ag6c(a)+op_count_WuDju6Xg1a(op_AZPIx1Ag6c(a))+op_count_5twsqlHp2o(250,a)+op_count_K4mq4RyTKW(b,a)+op_count_MZbvLECGjt(op_5twsqlHp2o(250,a),op_K4mq4RyTKW(b,a))+op_count_yC1eAvCdMl(op_WuDju6Xg1a(op_AZPIx1Ag6c(a)),op_MZbvLECGjt(op_5twsqlHp2o(250,a),op_K4mq4RyTKW(b,a)))+op_count_IgJGjqfDMb(a)+op_count_NjGMwpyDaG(a)
    else:
        count = op_count_ERCh0iueHk(b,24)+op_count_BAYcl7KEcJ(op_ERCh0iueHk(b,24),a)+op_count_XTarYq4gQB(op_BAYcl7KEcJ(op_ERCh0iueHk(b,24),a))
    return count


a⊵∨b = { (((184↹⊜307)⩥⇍)⫉⊍≷((∊≟⋛b)⫼⫗(⫄⇱a))) , if a<=204 ; (((a⩗b)≅(a⊾⪯⋞a))⊧) , else }

def op_31TeE2u3aJ(a, b):
    if a <= 204:
        return op_KCQC7vSPgj(op_cwtOBccfmB(op_9bazX3JMtO(184,307)),op_c4Jgcjuupe(op_kmEBKJDBFW(b),op_5zd35EN7X2(a)))
    else:
        return op_HLtJe7OQfK(op_aFodGWjv1K(op_TrDKUjqfgw(a,b),op_HK0tfVPux8(a,a)))

def op_count_31TeE2u3aJ(a, b):
    if a <= 204:
        count = op_count_9bazX3JMtO(184,307)+op_count_cwtOBccfmB(op_9bazX3JMtO(184,307))+op_count_kmEBKJDBFW(b)+op_count_5zd35EN7X2(a)+op_count_c4Jgcjuupe(op_kmEBKJDBFW(b),op_5zd35EN7X2(a))+op_count_KCQC7vSPgj(op_cwtOBccfmB(op_9bazX3JMtO(184,307)),op_c4Jgcjuupe(op_kmEBKJDBFW(b),op_5zd35EN7X2(a)))
    else:
        count = op_count_TrDKUjqfgw(a,b)+op_count_HK0tfVPux8(a,a)+op_count_aFodGWjv1K(op_TrDKUjqfgw(a,b),op_HK0tfVPux8(a,a))+op_count_HLtJe7OQfK(op_aFodGWjv1K(op_TrDKUjqfgw(a,b),op_HK0tfVPux8(a,a)))
    return count


a⩥↟b = { (a⪂) , if (b⪪⪋)==39 ; (b≮⩿a) , else }

def op_1iwIZY9iMy(a, b):
    if op_3m1Q9am5nA(b) == 39:
        return op_uqvL9iKn97(a)
    else:
        return op_UlPEfdckiB(b,a)

def op_count_1iwIZY9iMy(a, b):
    if op_3m1Q9am5nA(b) == 39:
        count = op_count_uqvL9iKn97(a)+op_count_3m1Q9am5nA(b)
    else:
        count = op_count_UlPEfdckiB(b,a)
    return count


a⊣⇗b = { ((∠(a⫖7))⪛(⫥⋿(⪒↺a))) , if (b⫰⇤)<=175 ; (((a≧∼≯)∺⊴⊌(a↳a))∋((a⩝⪟⋿14)⪤⇈(⫟⊘≑b))) , else }

def op_sLSVf26GuY(a, b):
    if op_HKBRh2t2ub(b) <= 175:
        return op_uFcxV4UQCh(op_uEzDtkuuWN(op_aEfDsFgi2n(a,7)),op_QVLtFdL5M6(op_X7Ai75l9Fg(a)))
    else:
        return op_ukq6epAj5P(op_AxBbORVHmI(op_F8zoB5wnOL(a),op_K1uHWJv1IW(a,a)),op_lWNx0gx4UD(op_3Cfxs2sGIE(a,14),op_HRCQ8rqs77(b)))

def op_count_sLSVf26GuY(a, b):
    if op_HKBRh2t2ub(b) <= 175:
        count = op_count_aEfDsFgi2n(a,7)+op_count_uEzDtkuuWN(op_aEfDsFgi2n(a,7))+op_count_X7Ai75l9Fg(a)+op_count_QVLtFdL5M6(op_X7Ai75l9Fg(a))+op_count_uFcxV4UQCh(op_uEzDtkuuWN(op_aEfDsFgi2n(a,7)),op_QVLtFdL5M6(op_X7Ai75l9Fg(a)))+op_count_HKBRh2t2ub(b)
    else:
        count = op_count_F8zoB5wnOL(a)+op_count_K1uHWJv1IW(a,a)+op_count_AxBbORVHmI(op_F8zoB5wnOL(a),op_K1uHWJv1IW(a,a))+op_count_3Cfxs2sGIE(a,14)+op_count_HRCQ8rqs77(b)+op_count_lWNx0gx4UD(op_3Cfxs2sGIE(a,14),op_HRCQ8rqs77(b))+op_count_ukq6epAj5P(op_AxBbORVHmI(op_F8zoB5wnOL(a),op_K1uHWJv1IW(a,a)),op_lWNx0gx4UD(op_3Cfxs2sGIE(a,14),op_HRCQ8rqs77(b)))
    return count


a⨅⪆⩝b = { (⇧a) , if (b⇔⩡)==33 ; (235≙⪾b) , else }

def op_9wYLNYP4HS(a, b):
    if op_BcLuo0RKdZ(b) == 33:
        return op_LDnGwIg2on(a)
    else:
        return op_OhqpJ7Tl0K(235,b)

def op_count_9wYLNYP4HS(a, b):
    if op_BcLuo0RKdZ(b) == 33:
        count = op_count_LDnGwIg2on(a)+op_count_BcLuo0RKdZ(b)
    else:
        count = op_count_OhqpJ7Tl0K(235,b)
    return count


⨈⋻a = { (a⩧⨕a) , if (a⋦⪚)<375 ; (a⋝) , else }

def op_tWfZGCpz9Y(a):
    if op_aPSeRcDmK1(a) < 375:
        return op_Ytqyqjc8hL(a,a)
    else:
        return op_1wGGHZzAai(a)

def op_count_tWfZGCpz9Y(a):
    if op_aPSeRcDmK1(a) < 375:
        count = op_count_Ytqyqjc8hL(a,a)+op_count_aPSeRcDmK1(a)
    else:
        count = op_count_1wGGHZzAai(a)
    return count


⩢⨛a = { ((⨜⋖a)⇺⩨⨚(a⊉≛↸a)) , if (a!=480 and a>=265 and (a≞⪀)==225) ; (⊬⇐(a⋖∅⋲)) , else }

def op_lQLLKWeCgT(a):
    if (a != 480 and a >= 265 and op_GoJAjt0UOl(a) == 225):
        return op_fRgCzqsvkF(op_e3uIs4Enfs(a),op_DZ8iAZOCBD(a,a))
    else:
        return op_aRomWCf35x(op_L95AwlJzhO(a))

def op_count_lQLLKWeCgT(a):
    if (a != 480 and a >= 265 and op_GoJAjt0UOl(a) == 225):
        count = op_count_e3uIs4Enfs(a)+op_count_DZ8iAZOCBD(a,a)+op_count_fRgCzqsvkF(op_e3uIs4Enfs(a),op_DZ8iAZOCBD(a,a))+op_count_GoJAjt0UOl(a)
    else:
        count = op_count_L95AwlJzhO(a)+op_count_aRomWCf35x(op_L95AwlJzhO(a))
    return count


a⨛⫬ = { (a↸a) , if a>=309 ; (a⊧↖) , else }

def op_pkGID9BuoO(a):
    if a >= 309:
        return op_1eCjFl0mb9(a,a)
    else:
        return op_EKiFHuOFxO(a)

def op_count_pkGID9BuoO(a):
    if a >= 309:
        count = op_count_1eCjFl0mb9(a,a)
    else:
        count = op_count_EKiFHuOFxO(a)
    return count


a⫟⪝b = { (⇐b) , if (a<=484 and (⪮∩⫾a)==429) ; (⋡⪙⨇b) , else }

def op_RjlROH8OP1(a, b):
    if (a <= 484 and op_ZLl4PfgIji(a) == 429):
        return op_nmZMaaE0Q9(b)
    else:
        return op_UWGAvKki9m(b)

def op_count_RjlROH8OP1(a, b):
    if (a <= 484 and op_ZLl4PfgIji(a) == 429):
        count = op_count_nmZMaaE0Q9(b)+op_count_ZLl4PfgIji(a)
    else:
        count = op_count_UWGAvKki9m(b)
    return count


a⇘≀ = { (((⪻≌⊬a)⫫≠≯(a√a))⨝√a) , if (a⪋⫼⪧354)==38 or (a≋∎⨥)==92 or (⇁a)>=2 ; ((⋅⩆↔31)⊇⫘⪍((a⩂↠⊈)≵(a≻⇥≳a))) , else }

def op_MbgMJdN6KA(a):
    if op_KLMV3Z6VVJ(a,354) == 38 or op_XMZvmSbbb8(a) == 92 or op_jBB9GIfJL4(a) >= 2:
        return op_9m2uP4QEko(op_QIASkFMxnv(op_ck8rYhF2fr(a),op_HX99UMoF54(a,a)),a)
    else:
        return op_dUpriDnGP5(op_20hv3wdH5D(31),op_nV04iLk7Bg(op_amUYklY4X0(a),op_aiqF8n6J9c(a,a)))

def op_count_MbgMJdN6KA(a):
    if op_KLMV3Z6VVJ(a,354) == 38 or op_XMZvmSbbb8(a) == 92 or op_jBB9GIfJL4(a) >= 2:
        count = op_count_ck8rYhF2fr(a)+op_count_HX99UMoF54(a,a)+op_count_QIASkFMxnv(op_ck8rYhF2fr(a),op_HX99UMoF54(a,a))+op_count_9m2uP4QEko(op_QIASkFMxnv(op_ck8rYhF2fr(a),op_HX99UMoF54(a,a)),a)+op_count_KLMV3Z6VVJ(a,354)+op_count_XMZvmSbbb8(a)+op_count_jBB9GIfJL4(a)
    else:
        count = op_count_20hv3wdH5D(31)+op_count_amUYklY4X0(a)+op_count_aiqF8n6J9c(a,a)+op_count_nV04iLk7Bg(op_amUYklY4X0(a),op_aiqF8n6J9c(a,a))+op_count_dUpriDnGP5(op_20hv3wdH5D(31),op_nV04iLk7Bg(op_amUYklY4X0(a),op_aiqF8n6J9c(a,a)))
    return count


a⋻/ = { (((a⩃∿a)⫖⩥(225⋼a))≑⋀((a⩉⪲⨦a)↴)) , if (a⨣76)==623 or (≥a)<=10 ; ((a∋(⪕≙a))⊠⋬↑((a⊙⨺⨬a)⪵(a≏⪷⨊a))) , else }

def op_T8ITr2vdCF(a):
    if op_5ClX4R8SjJ(a,76) == 623 or op_1zuzTT1ORb(a) <= 10:
        return op_Y4lAmUR5B7(op_ftvcUWxNvV(op_pq3pqYEpp4(a,a),op_pvbE2flhr7(225,a)),op_R0IH6tFGJf(op_Is2W053hpV(a,a)))
    else:
        return op_W7L2oCKInH(op_ukq6epAj5P(a,op_eWHr1gHY9C(a)),op_zWEPWlwaj2(op_xrB6SlzufE(a,a),op_aP2QVQG16R(a,a)))

def op_count_T8ITr2vdCF(a):
    if op_5ClX4R8SjJ(a,76) == 623 or op_1zuzTT1ORb(a) <= 10:
        count = op_count_pq3pqYEpp4(a,a)+op_count_pvbE2flhr7(225,a)+op_count_ftvcUWxNvV(op_pq3pqYEpp4(a,a),op_pvbE2flhr7(225,a))+op_count_Is2W053hpV(a,a)+op_count_R0IH6tFGJf(op_Is2W053hpV(a,a))+op_count_Y4lAmUR5B7(op_ftvcUWxNvV(op_pq3pqYEpp4(a,a),op_pvbE2flhr7(225,a)),op_R0IH6tFGJf(op_Is2W053hpV(a,a)))+op_count_5ClX4R8SjJ(a,76)+op_count_1zuzTT1ORb(a)
    else:
        count = op_count_eWHr1gHY9C(a)+op_count_ukq6epAj5P(a,op_eWHr1gHY9C(a))+op_count_xrB6SlzufE(a,a)+op_count_aP2QVQG16R(a,a)+op_count_zWEPWlwaj2(op_xrB6SlzufE(a,a),op_aP2QVQG16R(a,a))+op_count_W7L2oCKInH(op_ukq6epAj5P(a,op_eWHr1gHY9C(a)),op_zWEPWlwaj2(op_xrB6SlzufE(a,a),op_aP2QVQG16R(a,a)))
    return count


def op_E5Kao3Mgj0(a, b):
    if b >= 187:
        return op_qpxJquq7V4(693)
    else:
        return op_ehqVwXWd4k(op_iMsmH2WNgD(72),op_lvlrscuwVU(b,a))

def op_count_E5Kao3Mgj0(a, b):
    if b >= 187:
        count = op_count_qpxJquq7V4(693)
    else:
        count = op_count_iMsmH2WNgD(72)+op_count_lvlrscuwVU(b,a)+op_count_ehqVwXWd4k(op_iMsmH2WNgD(72),op_lvlrscuwVU(b,a))
    return count


a≸≶⪕b = { ((a⇓a)⩁) , if (b⨺⊨50)>=416 ; (∴≂⋕(a⊝⩱b)) , else }

def op_jFan81Y8q9(a, b):
    if op_VXHFBbhtXV(b,50) >= 416:
        return op_5GqDbVmqXU(op_TyhCdZMmeC(a,a))
    else:
        return op_osk2rLiRrX(op_0jCm5pNiJO(a,b))

def op_count_jFan81Y8q9(a, b):
    if op_VXHFBbhtXV(b,50) >= 416:
        count = op_count_TyhCdZMmeC(a,a)+op_count_5GqDbVmqXU(op_TyhCdZMmeC(a,a))+op_count_VXHFBbhtXV(b,50)
    else:
        count = op_count_0jCm5pNiJO(a,b)+op_count_osk2rLiRrX(op_0jCm5pNiJO(a,b))
    return count


a⪽⩖b = { (((b⊧)⊚⫒a)⋊((⋑a)⋣↚⨌(a⩎⨬a))) , if a<44 ; ((≨≸⪃(b⇀⪽b))↿⊢(⨪(⪨⇶⩻844))) , else }

def op_tI4UEUW1z2(a, b):
    if a < 44:
        return op_Dk6V8i6EvU(op_a2IQm5WUqZ(op_HLtJe7OQfK(b),a),op_iEYVdzZsUa(op_iz8sE888QL(a),op_dR2gYrpTIj(a,a)))
    else:
        return op_TRBbsPMh7I(op_cTbZ3MnyPQ(op_2u38eHdNB5(b,b)),op_AUSKDtpBIy(op_RfmSMOQ2FJ(844)))

def op_count_tI4UEUW1z2(a, b):
    if a < 44:
        count = op_count_HLtJe7OQfK(b)+op_count_a2IQm5WUqZ(op_HLtJe7OQfK(b),a)+op_count_iz8sE888QL(a)+op_count_dR2gYrpTIj(a,a)+op_count_iEYVdzZsUa(op_iz8sE888QL(a),op_dR2gYrpTIj(a,a))+op_count_Dk6V8i6EvU(op_a2IQm5WUqZ(op_HLtJe7OQfK(b),a),op_iEYVdzZsUa(op_iz8sE888QL(a),op_dR2gYrpTIj(a,a)))
    else:
        count = op_count_2u38eHdNB5(b,b)+op_count_cTbZ3MnyPQ(op_2u38eHdNB5(b,b))+op_count_RfmSMOQ2FJ(844)+op_count_AUSKDtpBIy(op_RfmSMOQ2FJ(844))+op_count_TRBbsPMh7I(op_cTbZ3MnyPQ(op_2u38eHdNB5(b,b)),op_AUSKDtpBIy(op_RfmSMOQ2FJ(844)))
    return count


⪮⋬a = { (⪾⪫a) , if (a≊)!=566 ; (a⨔≚≋a) , else }

def op_89R7QchmT8(a):
    if op_nTnZaKopOY(a) != 566:
        return op_vFgX83MrL4(a)
    else:
        return op_Z57zeUYC9z(a,a)

def op_count_89R7QchmT8(a):
    if op_nTnZaKopOY(a) != 566:
        count = op_count_vFgX83MrL4(a)+op_count_nTnZaKopOY(a)
    else:
        count = op_count_Z57zeUYC9z(a,a)
    return count


a⇻⫣⨞b = { (⊵≊⪸((a↓⫱⪮298)∞∠⊒(a⪗⪦⨯b))) , if a>=444 ; b , else }

def op_saLtbStKV3(a, b):
    if a >= 444:
        return op_mMNOlYfzJE(op_QQjdLDgHOE(op_l24lSdNBeQ(a,298),op_C6huvSECWb(a,b)))
    else:
        return b

def op_count_saLtbStKV3(a, b):
    if a >= 444:
        count = op_count_l24lSdNBeQ(a,298)+op_count_C6huvSECWb(a,b)+op_count_QQjdLDgHOE(op_l24lSdNBeQ(a,298),op_C6huvSECWb(a,b))+op_count_mMNOlYfzJE(op_QQjdLDgHOE(op_l24lSdNBeQ(a,298),op_C6huvSECWb(a,b)))
    else:
        count = 1
    return count


def op_BkAOP1FcFr(a):
    if op_yXb8vAEUka(a) == 217:
        return op_oxSU0Fg4Pf(op_wicAB68Tmb(a,a),op_BThhyOhh10(a))
    else:
        return op_zPWNPtZ3KV(op_I3ZanAtbUM(a,360),op_j0FS1QXHo5(383,378))

def op_count_BkAOP1FcFr(a):
    if op_yXb8vAEUka(a) == 217:
        count = op_count_wicAB68Tmb(a,a)+op_count_BThhyOhh10(a)+op_count_oxSU0Fg4Pf(op_wicAB68Tmb(a,a),op_BThhyOhh10(a))+op_count_yXb8vAEUka(a)
    else:
        count = op_count_I3ZanAtbUM(a,360)+op_count_j0FS1QXHo5(383,378)+op_count_zPWNPtZ3KV(op_I3ZanAtbUM(a,360),op_j0FS1QXHo5(383,378))
    return count


def op_dG9Dh9Z1Rx(a):
    if op_XAozx2NkZN(a,931) != 332:
        return op_uQ5MaQD2YO(298,a)
    else:
        return a

def op_count_dG9Dh9Z1Rx(a):
    if op_XAozx2NkZN(a,931) != 332:
        count = op_count_uQ5MaQD2YO(298,a)+op_count_XAozx2NkZN(a,931)
    else:
        count = 1
    return count