a↞⫝̸ = { ((⇜≂≑a)⩤⪞(a⊬⇕⩯a)) , if a<=66 ; ((a∺⋿a)⇱∅⫼a) , else }

def op_Qs1p40ypin(a):
    if a <= 66:
        return op_dVH6fed4yM(op_RFg3ArkQ7E(a),op_QmNHwIPJpO(a,a))
    else:
        return op_jmRbPV3Y6D(op_Ft2biiUhlV(a,a),a)

def op_count_Qs1p40ypin(a):
    if a <= 66:
        count = op_count_RFg3ArkQ7E(a)+op_count_QmNHwIPJpO(a,a)+op_count_dVH6fed4yM(op_RFg3ArkQ7E(a),op_QmNHwIPJpO(a,a))
    else:
        count = op_count_Ft2biiUhlV(a,a)+op_count_jmRbPV3Y6D(op_Ft2biiUhlV(a,a),a)
    return count


a⩭⊋b = { ((a≻⇥≳a)⇏⫏) , if ((⩴b)==10 and a!=350) ; (∋⫫≉(b⋺⫬a)) , else }

def op_c721urvlIy(a, b):
    if (op_4YvEnb44Dc(b) == 10 and a != 350):
        return op_9ipU8dM2qQ(op_aiqF8n6J9c(a,a))
    else:
        return op_Tixtbf0zgv(op_N2CwLZHY2H(b,a))

def op_count_c721urvlIy(a, b):
    if (op_4YvEnb44Dc(b) == 10 and a != 350):
        count = op_count_aiqF8n6J9c(a,a)+op_count_9ipU8dM2qQ(op_aiqF8n6J9c(a,a))+op_count_4YvEnb44Dc(b)
    else:
        count = op_count_N2CwLZHY2H(b,a)+op_count_Tixtbf0zgv(op_N2CwLZHY2H(b,a))
    return count


a⫴⩥b = { (((b⨻⩈⩔a)⨱⩕(⪘⋹⊆338))↢≸(⊃(b⋚∑⪥20))) }

def op_gilLJ3AUiP(a, b):
    return op_sMWVT9hqlZ(op_2c2Kvs5UmY(op_nEsXyWgiOK(b,a),op_rYuH8NSTjl(338)),op_fcYd9Sln05(op_BnmjcH64ep(b,20)))

def op_count_gilLJ3AUiP(a, b):
    count = op_count_nEsXyWgiOK(b,a)+op_count_rYuH8NSTjl(338)+op_count_2c2Kvs5UmY(op_nEsXyWgiOK(b,a),op_rYuH8NSTjl(338))+op_count_BnmjcH64ep(b,20)+op_count_fcYd9Sln05(op_BnmjcH64ep(b,20))+op_count_sMWVT9hqlZ(op_2c2Kvs5UmY(op_nEsXyWgiOK(b,a),op_rYuH8NSTjl(338)),op_fcYd9Sln05(op_BnmjcH64ep(b,20)))
    return count


def op_bYxnSJzj6V(a):
    return op_kOoQ1erSk8(op_xapeEN5k6N(a,403),op_ukSLkBfL7r(a))

def op_count_bYxnSJzj6V(a):
    count = op_count_xapeEN5k6N(a,403)+op_count_ukSLkBfL7r(a)+op_count_kOoQ1erSk8(op_xapeEN5k6N(a,403),op_ukSLkBfL7r(a))
    return count


def op_DDnYDa6DZ9(a):
    if (op_aPSeRcDmK1(a) > 519 and op_grXIztHqDa(a) == 262):
        return op_jS8qnsL3aY(a)
    else:
        return op_QLJ9aFu80N(a,a)

def op_count_DDnYDa6DZ9(a):
    if (op_aPSeRcDmK1(a) > 519 and op_grXIztHqDa(a) == 262):
        count = op_count_jS8qnsL3aY(a)+op_count_aPSeRcDmK1(a)+op_count_grXIztHqDa(a)
    else:
        count = op_count_QLJ9aFu80N(a,a)
    return count


def op_Ki65uArhug(a):
    if op_EcikR1MxSZ(a,473) != 244:
        return op_k4iM1060OG(a)
    else:
        return op_5ClX4R8SjJ(a,a)

def op_count_Ki65uArhug(a):
    if op_EcikR1MxSZ(a,473) != 244:
        count = op_count_k4iM1060OG(a)+op_count_EcikR1MxSZ(a,473)
    else:
        count = op_count_5ClX4R8SjJ(a,a)
    return count


def op_8OCNWhCYlW(a):
    return op_tmjFFOTKyA(op_BS1zk2O8ip(op_rh14SKPVeV(a,a),op_Fe3OlIgKHc(29)))

def op_count_8OCNWhCYlW(a):
    count = op_count_rh14SKPVeV(a,a)+op_count_Fe3OlIgKHc(29)+op_count_BS1zk2O8ip(op_rh14SKPVeV(a,a),op_Fe3OlIgKHc(29))+op_count_tmjFFOTKyA(op_BS1zk2O8ip(op_rh14SKPVeV(a,a),op_Fe3OlIgKHc(29)))
    return count


def op_g3rbULXGjt(a):
    if op_MbELAX2vGJ(a) == 28:
        return op_CgIo77xlM2(a)
    else:
        return op_pq3pqYEpp4(231,382)

def op_count_g3rbULXGjt(a):
    if op_MbELAX2vGJ(a) == 28:
        count = op_count_CgIo77xlM2(a)+op_count_MbELAX2vGJ(a)
    else:
        count = op_count_pq3pqYEpp4(231,382)
    return count


def op_RN6w9XgKVm(a, b):
    if op_wd3DeAcC9f(b,74) <= 102:
        return op_iukWuQulzt(op_aBQ6xLxuTc(op_x56Q1NfF72(b,b),op_uU3XJfDBdq(308,251)),op_b3qeQyvZfP(op_cGVIc6Ian5(44),op_XIK4G3vWTl(b,b)))
    else:
        return op_JsPn0nWP7D(op_aSdQdaBIZD(op_NPUvTuGeXI(a)))

def op_count_RN6w9XgKVm(a, b):
    if op_wd3DeAcC9f(b,74) <= 102:
        count = op_count_x56Q1NfF72(b,b)+op_count_uU3XJfDBdq(308,251)+op_count_aBQ6xLxuTc(op_x56Q1NfF72(b,b),op_uU3XJfDBdq(308,251))+op_count_cGVIc6Ian5(44)+op_count_XIK4G3vWTl(b,b)+op_count_b3qeQyvZfP(op_cGVIc6Ian5(44),op_XIK4G3vWTl(b,b))+op_count_iukWuQulzt(op_aBQ6xLxuTc(op_x56Q1NfF72(b,b),op_uU3XJfDBdq(308,251)),op_b3qeQyvZfP(op_cGVIc6Ian5(44),op_XIK4G3vWTl(b,b)))+op_count_wd3DeAcC9f(b,74)
    else:
        count = op_count_NPUvTuGeXI(a)+op_count_aSdQdaBIZD(op_NPUvTuGeXI(a))+op_count_JsPn0nWP7D(op_aSdQdaBIZD(op_NPUvTuGeXI(a)))
    return count


a⨷∌⇱b = { (((a⫖⩥135)⨭⪣(b∤⪤∞a))⪯((a∟≧b)⩠)) }

def op_4JknimHijl(a, b):
    return op_I3ZanAtbUM(op_kn8WO9XteQ(op_ftvcUWxNvV(a,135),op_uoTFhueqY9(b,a)),op_sJAwomhLZr(op_YANvL1cq0Q(a,b)))

def op_count_4JknimHijl(a, b):
    count = op_count_ftvcUWxNvV(a,135)+op_count_uoTFhueqY9(b,a)+op_count_kn8WO9XteQ(op_ftvcUWxNvV(a,135),op_uoTFhueqY9(b,a))+op_count_YANvL1cq0Q(a,b)+op_count_sJAwomhLZr(op_YANvL1cq0Q(a,b))+op_count_I3ZanAtbUM(op_kn8WO9XteQ(op_ftvcUWxNvV(a,135),op_uoTFhueqY9(b,a)),op_sJAwomhLZr(op_YANvL1cq0Q(a,b)))
    return count


a⊐⪜⩐b = { (a⊘⫨⊘b) , if (a⩗⇿397)<45 ; (⩷⨜⫀190) , else }

def op_x6SPyeFq6Y(a, b):
    if op_tKtycZyL6s(a,397) < 45:
        return op_YMV0rvXXSg(a,b)
    else:
        return op_CDi0ktkjQ4(190)

def op_count_x6SPyeFq6Y(a, b):
    if op_tKtycZyL6s(a,397) < 45:
        count = op_count_YMV0rvXXSg(a,b)+op_count_tKtycZyL6s(a,397)
    else:
        count = op_count_CDi0ktkjQ4(190)
    return count


def op_9m16WUFJ5C(a, b):
    return op_F3ZYW0Xs6y(op_gs832QT2eo(op_5GqDbVmqXU(b),op_ONJRQY6OPs(69,340)),op_YF5BSoti8F(op_9FxExcQeMw(b,a)))

def op_count_9m16WUFJ5C(a, b):
    count = op_count_5GqDbVmqXU(b)+op_count_ONJRQY6OPs(69,340)+op_count_gs832QT2eo(op_5GqDbVmqXU(b),op_ONJRQY6OPs(69,340))+op_count_9FxExcQeMw(b,a)+op_count_YF5BSoti8F(op_9FxExcQeMw(b,a))+op_count_F3ZYW0Xs6y(op_gs832QT2eo(op_5GqDbVmqXU(b),op_ONJRQY6OPs(69,340)),op_YF5BSoti8F(op_9FxExcQeMw(b,a)))
    return count


a⫺⇀⫂b = { (446↴⪮b) , if (a∏⊱⨮)<=134 ; (a⪙⪡) , else }

def op_TSnReAWEO2(a, b):
    if op_Yf3elhOqYq(a) <= 134:
        return op_3ayH0UyYyX(446,b)
    else:
        return op_UXm6u3EINg(a)

def op_count_TSnReAWEO2(a, b):
    if op_Yf3elhOqYq(a) <= 134:
        count = op_count_3ayH0UyYyX(446,b)+op_count_Yf3elhOqYq(a)
    else:
        count = op_count_UXm6u3EINg(a)
    return count


def op_KLJQaR7Q7g(a):
    if (a > 459 and op_kspwAgjjs7(a) <= 73):
        return op_15fnz2YIbx(op_x6DEqRu9vc(a),op_EAoIFGtZkS(805))
    else:
        return op_rfCxBsGcPd(op_YFgJcOFAB6(a),op_HghB9Wb87q(a))

def op_count_KLJQaR7Q7g(a):
    if (a > 459 and op_kspwAgjjs7(a) <= 73):
        count = op_count_x6DEqRu9vc(a)+op_count_EAoIFGtZkS(805)+op_count_15fnz2YIbx(op_x6DEqRu9vc(a),op_EAoIFGtZkS(805))+op_count_kspwAgjjs7(a)
    else:
        count = op_count_YFgJcOFAB6(a)+op_count_HghB9Wb87q(a)+op_count_rfCxBsGcPd(op_YFgJcOFAB6(a),op_HghB9Wb87q(a))
    return count


a≣⫗ = { ((a⫾⊽a)⨩⊗(a↰⋉≍a)) , if a<49 and (⨋∎a)<=858 ; ((a↢≸a)⊣(a⨎⋸⪻)) , else }

def op_ce5WdMhPI0(a):
    if a < 49 and op_lakmd5EFxs(a) <= 858:
        return op_Bw0fzZ75Yl(op_QunAGeO7fw(a,a),op_4fDPylY7hB(a,a))
    else:
        return op_odJCG207LD(op_sMWVT9hqlZ(a,a),op_Dk5vyLCiGd(a))

def op_count_ce5WdMhPI0(a):
    if a < 49 and op_lakmd5EFxs(a) <= 858:
        count = op_count_QunAGeO7fw(a,a)+op_count_4fDPylY7hB(a,a)+op_count_Bw0fzZ75Yl(op_QunAGeO7fw(a,a),op_4fDPylY7hB(a,a))+op_count_lakmd5EFxs(a)
    else:
        count = op_count_sMWVT9hqlZ(a,a)+op_count_Dk5vyLCiGd(a)+op_count_odJCG207LD(op_sMWVT9hqlZ(a,a),op_Dk5vyLCiGd(a))
    return count


def op_S8dYzQwuEr(a):
    return op_MdtlklhKSi(op_BpbpqQnb2W(op_vhtqQa4va1(a,a),a),op_A70lgPgx8E(op_cHh1gJQ2o6(a,a)))

def op_count_S8dYzQwuEr(a):
    count = op_count_vhtqQa4va1(a,a)+op_count_BpbpqQnb2W(op_vhtqQa4va1(a,a),a)+op_count_cHh1gJQ2o6(a,a)+op_count_A70lgPgx8E(op_cHh1gJQ2o6(a,a))+op_count_MdtlklhKSi(op_BpbpqQnb2W(op_vhtqQa4va1(a,a),a),op_A70lgPgx8E(op_cHh1gJQ2o6(a,a)))
    return count


def op_15x3VrOvJJ(a, b):
    return op_AZPIx1Ag6c(op_8uAz8JJKQ9(op_aBQ6xLxuTc(a,a),op_UqUOXUQnbU(b,a)))

def op_count_15x3VrOvJJ(a, b):
    count = op_count_aBQ6xLxuTc(a,a)+op_count_UqUOXUQnbU(b,a)+op_count_8uAz8JJKQ9(op_aBQ6xLxuTc(a,a),op_UqUOXUQnbU(b,a))+op_count_AZPIx1Ag6c(op_8uAz8JJKQ9(op_aBQ6xLxuTc(a,a),op_UqUOXUQnbU(b,a)))
    return count


def op_q3YDrHdaH0(a, b):
    if op_AzY7Vl1fKV(a) != 305:
        return op_eupb9vlVPb(op_f2PyOz23Sc(op_k8jYdgA6NY(654,91)))
    else:
        return op_hfHSvYrndO(op_ToXGGHTZgx(op_B7jD7820sf(a,b),op_artUkYu5yl(a)),op_0N1BchnEuL(op_y75s1iXyHd(b,b),op_BUZMbiqx9t(69,a)))

def op_count_q3YDrHdaH0(a, b):
    if op_AzY7Vl1fKV(a) != 305:
        count = op_count_k8jYdgA6NY(654,91)+op_count_f2PyOz23Sc(op_k8jYdgA6NY(654,91))+op_count_eupb9vlVPb(op_f2PyOz23Sc(op_k8jYdgA6NY(654,91)))+op_count_AzY7Vl1fKV(a)
    else:
        count = op_count_B7jD7820sf(a,b)+op_count_artUkYu5yl(a)+op_count_ToXGGHTZgx(op_B7jD7820sf(a,b),op_artUkYu5yl(a))+op_count_y75s1iXyHd(b,b)+op_count_BUZMbiqx9t(69,a)+op_count_0N1BchnEuL(op_y75s1iXyHd(b,b),op_BUZMbiqx9t(69,a))+op_count_hfHSvYrndO(op_ToXGGHTZgx(op_B7jD7820sf(a,b),op_artUkYu5yl(a)),op_0N1BchnEuL(op_y75s1iXyHd(b,b),op_BUZMbiqx9t(69,a)))
    return count


def op_STUM5BdLGn(a):
    return op_rQTtyvEHdZ(op_uBihLCJcMX(op_e2DRTp73Vx(a)),op_rW0uBYiax0(op_s4gCNs8pnH(a,197),op_H7f1qksvrC(292)))

def op_count_STUM5BdLGn(a):
    count = op_count_e2DRTp73Vx(a)+op_count_uBihLCJcMX(op_e2DRTp73Vx(a))+op_count_s4gCNs8pnH(a,197)+op_count_H7f1qksvrC(292)+op_count_rW0uBYiax0(op_s4gCNs8pnH(a,197),op_H7f1qksvrC(292))+op_count_rQTtyvEHdZ(op_uBihLCJcMX(op_e2DRTp73Vx(a)),op_rW0uBYiax0(op_s4gCNs8pnH(a,197),op_H7f1qksvrC(292)))
    return count


⋧⋲a = { (⪮↳⩣(⫝̸∊(a⊐⪢≴a))) , if (⫃≈a)<544 ; (((a⇓⋧⋔a)⇨⪃⋨(a⪌≋a))↭⪗((a⋡≤⩀a)⊠⋬↑a)) , else }

def op_qdSfUNqdED(a):
    if op_fGDu59EtI5(a) < 544:
        return op_AzDRt8aN5T(op_wyXrRtLM2R(op_aXwoIQj555(a,a)))
    else:
        return op_aLNRF0Pt4F(op_7JOOl3WMOF(op_ONJRQY6OPs(a,a),op_V2wPz6I6tV(a,a)),op_W7L2oCKInH(op_Mth4PhTnAe(a,a),a))

def op_count_qdSfUNqdED(a):
    if op_fGDu59EtI5(a) < 544:
        count = op_count_aXwoIQj555(a,a)+op_count_wyXrRtLM2R(op_aXwoIQj555(a,a))+op_count_AzDRt8aN5T(op_wyXrRtLM2R(op_aXwoIQj555(a,a)))+op_count_fGDu59EtI5(a)
    else:
        count = op_count_ONJRQY6OPs(a,a)+op_count_V2wPz6I6tV(a,a)+op_count_7JOOl3WMOF(op_ONJRQY6OPs(a,a),op_V2wPz6I6tV(a,a))+op_count_Mth4PhTnAe(a,a)+op_count_W7L2oCKInH(op_Mth4PhTnAe(a,a),a)+op_count_aLNRF0Pt4F(op_7JOOl3WMOF(op_ONJRQY6OPs(a,a),op_V2wPz6I6tV(a,a)),op_W7L2oCKInH(op_Mth4PhTnAe(a,a),a))
    return count


def op_umcb8ZB9wY(a, b):
    if op_ijrBZcTHEz(b,319) >= 286 and op_QbnwKVWMIQ(a,254) == 4 and op_o75NORkZ6O(a) != 785:
        return op_lzCx6JGp55(op_LlA1dz4vja(op_ydJmeWyvU7(16,378),b),op_mcQVDGUp7Y(op_YHNvv2eCGw(502)))
    else:
        return op_9kyI0w1glK(a,a)

def op_count_umcb8ZB9wY(a, b):
    if op_ijrBZcTHEz(b,319) >= 286 and op_QbnwKVWMIQ(a,254) == 4 and op_o75NORkZ6O(a) != 785:
        count = op_count_ydJmeWyvU7(16,378)+op_count_LlA1dz4vja(op_ydJmeWyvU7(16,378),b)+op_count_YHNvv2eCGw(502)+op_count_mcQVDGUp7Y(op_YHNvv2eCGw(502))+op_count_lzCx6JGp55(op_LlA1dz4vja(op_ydJmeWyvU7(16,378),b),op_mcQVDGUp7Y(op_YHNvv2eCGw(502)))+op_count_ijrBZcTHEz(b,319)+op_count_QbnwKVWMIQ(a,254)+op_count_o75NORkZ6O(a)
    else:
        count = op_count_9kyI0w1glK(a,a)
    return count


a∕∲⪰ = { (a⊳⊾⊬52) , if (a⪮⫗)<15 ; (a⊅) , else }

def op_hlCG6zhzu3(a):
    if op_2v2enMDULb(a) < 15:
        return op_UNJVspG3Sj(a,52)
    else:
        return op_7p6YLioM7f(a)

def op_count_hlCG6zhzu3(a):
    if op_2v2enMDULb(a) < 15:
        count = op_count_UNJVspG3Sj(a,52)+op_count_2v2enMDULb(a)
    else:
        count = op_count_7p6YLioM7f(a)
    return count


⨶⫧⊯a = { (((a≓≂a)⨫(a⫴⫞a))⨤((82⫣a)⇣⩺⋵(a≿↹a))) }

def op_VrorGuhMMG(a):
    return op_6Dk38mmJ69(op_MEqPUhr43n(op_9VoQ6iZjwX(a,a),op_schmcmpRvD(a,a)),op_F4yD0voBRQ(op_LJUzuYQJSf(82,a),op_VionArRWsA(a,a)))

def op_count_VrorGuhMMG(a):
    count = op_count_9VoQ6iZjwX(a,a)+op_count_schmcmpRvD(a,a)+op_count_MEqPUhr43n(op_9VoQ6iZjwX(a,a),op_schmcmpRvD(a,a))+op_count_LJUzuYQJSf(82,a)+op_count_VionArRWsA(a,a)+op_count_F4yD0voBRQ(op_LJUzuYQJSf(82,a),op_VionArRWsA(a,a))+op_count_6Dk38mmJ69(op_MEqPUhr43n(op_9VoQ6iZjwX(a,a),op_schmcmpRvD(a,a)),op_F4yD0voBRQ(op_LJUzuYQJSf(82,a),op_VionArRWsA(a,a)))
    return count


def op_rwRyCV9eVz(a):
    return op_kvyeM8WEH2(op_pCchOQ3ajF(a),op_9hl1k8hbNX(a))

def op_count_rwRyCV9eVz(a):
    count = op_count_pCchOQ3ajF(a)+op_count_9hl1k8hbNX(a)+op_count_kvyeM8WEH2(op_pCchOQ3ajF(a),op_9hl1k8hbNX(a))
    return count


def op_ajjFYbqVNX(a):
    return op_OSE2w6XS66(op_Qtd6bqUJcN(313),op_R3R4sbjZye(a,a))

def op_count_ajjFYbqVNX(a):
    count = op_count_Qtd6bqUJcN(313)+op_count_R3R4sbjZye(a,a)+op_count_OSE2w6XS66(op_Qtd6bqUJcN(313),op_R3R4sbjZye(a,a))
    return count


def op_MMFGm8B4MT(a):
    return op_6y5rNZ8Vuy(op_aXwoIQj555(op_TLSiz8NPqi(a),a),op_K7MnsOaMRl(op_syzFGkhusE(a,a)))

def op_count_MMFGm8B4MT(a):
    count = op_count_TLSiz8NPqi(a)+op_count_aXwoIQj555(op_TLSiz8NPqi(a),a)+op_count_syzFGkhusE(a,a)+op_count_K7MnsOaMRl(op_syzFGkhusE(a,a))+op_count_6y5rNZ8Vuy(op_aXwoIQj555(op_TLSiz8NPqi(a),a),op_K7MnsOaMRl(op_syzFGkhusE(a,a)))
    return count


def op_9LJ0UGGx0U(a):
    return op_RJKDfKcFKp(a,261)

def op_count_9LJ0UGGx0U(a):
    count = op_count_RJKDfKcFKp(a,261)
    return count


def op_wD9ZKAewOQ(a):
    return op_NOyIGfOOXL(a,a)

def op_count_wD9ZKAewOQ(a):
    count = op_count_NOyIGfOOXL(a,a)
    return count


def op_H7yssDIsK9(a):
    if (op_nWHsyAHoNI(a) <= 754 and op_6UwzacJ3Gx(a,940) != 683):
        return op_zVYPLywUTj(op_ruocl2TjRv(229,a))
    else:
        return op_S4LUIutb1e(op_JjBRwFuOb8(a,27),op_BEKom63EOt(a))

def op_count_H7yssDIsK9(a):
    if (op_nWHsyAHoNI(a) <= 754 and op_6UwzacJ3Gx(a,940) != 683):
        count = op_count_ruocl2TjRv(229,a)+op_count_zVYPLywUTj(op_ruocl2TjRv(229,a))+op_count_nWHsyAHoNI(a)+op_count_6UwzacJ3Gx(a,940)
    else:
        count = op_count_JjBRwFuOb8(a,27)+op_count_BEKom63EOt(a)+op_count_S4LUIutb1e(op_JjBRwFuOb8(a,27),op_BEKom63EOt(a))
    return count


a↧⋪⩹b = { (((275⨻⩈⩔a)⫬↰a)⇆↬) , if (a⫋)<807 ; (((a≉↲b)⪐≯↠)⨺⩶20) , else }

def op_aFgCSysgue(a, b):
    if op_mhIhit33mg(a) < 807:
        return op_8tlPackhUh(op_f8TJb0vaMc(op_nEsXyWgiOK(275,a),a))
    else:
        return op_qCCe0Qx1RA(op_vjMnig3QBF(op_dngTJzlZ0N(a,b)),20)

def op_count_aFgCSysgue(a, b):
    if op_mhIhit33mg(a) < 807:
        count = op_count_nEsXyWgiOK(275,a)+op_count_f8TJb0vaMc(op_nEsXyWgiOK(275,a),a)+op_count_8tlPackhUh(op_f8TJb0vaMc(op_nEsXyWgiOK(275,a),a))+op_count_mhIhit33mg(a)
    else:
        count = op_count_dngTJzlZ0N(a,b)+op_count_vjMnig3QBF(op_dngTJzlZ0N(a,b))+op_count_qCCe0Qx1RA(op_vjMnig3QBF(op_dngTJzlZ0N(a,b)),20)
    return count


⋩⇼a = { ((a↴)≬⇓(a⨇≷∥a)) , if ((a⩱⇜⪦898)<=856 or (a⋞⪆⩬)<600 or (a⪯⩡↑)<=160) ; ((a⇰⋂↨a)⪡a) , else }

def op_rBEEKC6a67(a):
    if (op_TPY4Vhd24N(a,898) <= 856 or op_bfmSvDrgUq(a) < 600 or op_6pLZ6DX5cL(a) <= 160):
        return op_jWTQ2TZYIH(op_R0IH6tFGJf(a),op_ER3VUc6CxE(a,a))
    else:
        return op_oraRL2iQuh(op_8eNi29xLc8(a,a),a)

def op_count_rBEEKC6a67(a):
    if (op_TPY4Vhd24N(a,898) <= 856 or op_bfmSvDrgUq(a) < 600 or op_6pLZ6DX5cL(a) <= 160):
        count = op_count_R0IH6tFGJf(a)+op_count_ER3VUc6CxE(a,a)+op_count_jWTQ2TZYIH(op_R0IH6tFGJf(a),op_ER3VUc6CxE(a,a))+op_count_TPY4Vhd24N(a,898)+op_count_bfmSvDrgUq(a)+op_count_6pLZ6DX5cL(a)
    else:
        count = op_count_8eNi29xLc8(a,a)+op_count_oraRL2iQuh(op_8eNi29xLc8(a,a),a)
    return count


a∃↡b = { ((a⊰a)⪮(a⊭a)) , if a==213 ; (⫯(a≜⩼b)) , else }

def op_JbWwmbzaq5(a, b):
    if a == 213:
        return op_J8mwGSlA9d(op_S6anzDtGf9(a,a),op_4JGOJzXMq1(a,a))
    else:
        return op_H6BK1Evt7c(op_44bIv9JyVY(a,b))

def op_count_JbWwmbzaq5(a, b):
    if a == 213:
        count = op_count_S6anzDtGf9(a,a)+op_count_4JGOJzXMq1(a,a)+op_count_J8mwGSlA9d(op_S6anzDtGf9(a,a),op_4JGOJzXMq1(a,a))
    else:
        count = op_count_44bIv9JyVY(a,b)+op_count_H6BK1Evt7c(op_44bIv9JyVY(a,b))
    return count


def op_bFMCj3X5uq(a):
    return op_zVYPLywUTj(op_MBVn70KtPJ(op_GZNMAtHQ0A(a,32),op_PgomNjGXmI(a,a)))

def op_count_bFMCj3X5uq(a):
    count = op_count_GZNMAtHQ0A(a,32)+op_count_PgomNjGXmI(a,a)+op_count_MBVn70KtPJ(op_GZNMAtHQ0A(a,32),op_PgomNjGXmI(a,a))+op_count_zVYPLywUTj(op_MBVn70KtPJ(op_GZNMAtHQ0A(a,32),op_PgomNjGXmI(a,a)))
    return count


a⪳⨴⊣b = { (((a≕≪∎a)⫯⩟(b⨌↿b))⇒⪫((b⪣⊴a)⋾⨅⫦(b↠⨗b))) , if ((⋯↷b)<67 and (a≯⨴⫤172)>59 and (∐∜≨b)>=233) ; (((a⇼)⫶⪨⪐)⊪⨰⋆((⩆↑⇝b)⨠∀⫧(a⫥⪪∙a))) , else }

def op_vJ8u5f67e5(a, b):
    if (op_lyvGaJdF94(b) < 67 and op_OEiktesKRI(a,172) > 59 and op_6fNbo214qG(b) >= 233):
        return op_1nNvNtr5EF(op_BEh4QBmAc4(op_cO8NHD8auo(a,a),op_mOUIj6rraD(b,b)),op_66lcxNmSNf(op_miu0bRYLYP(b,a),op_B2MxbzqPiH(b,b)))
    else:
        return op_gVe57Wp8lf(op_uMTzgDCyJv(op_zDnGpti63o(a)),op_griT9ijWOv(op_FAUHmXADzM(b),op_siSprMom9h(a,a)))

def op_count_vJ8u5f67e5(a, b):
    if (op_lyvGaJdF94(b) < 67 and op_OEiktesKRI(a,172) > 59 and op_6fNbo214qG(b) >= 233):
        count = op_count_cO8NHD8auo(a,a)+op_count_mOUIj6rraD(b,b)+op_count_BEh4QBmAc4(op_cO8NHD8auo(a,a),op_mOUIj6rraD(b,b))+op_count_miu0bRYLYP(b,a)+op_count_B2MxbzqPiH(b,b)+op_count_66lcxNmSNf(op_miu0bRYLYP(b,a),op_B2MxbzqPiH(b,b))+op_count_1nNvNtr5EF(op_BEh4QBmAc4(op_cO8NHD8auo(a,a),op_mOUIj6rraD(b,b)),op_66lcxNmSNf(op_miu0bRYLYP(b,a),op_B2MxbzqPiH(b,b)))+op_count_lyvGaJdF94(b)+op_count_OEiktesKRI(a,172)+op_count_6fNbo214qG(b)
    else:
        count = op_count_zDnGpti63o(a)+op_count_uMTzgDCyJv(op_zDnGpti63o(a))+op_count_FAUHmXADzM(b)+op_count_siSprMom9h(a,a)+op_count_griT9ijWOv(op_FAUHmXADzM(b),op_siSprMom9h(a,a))+op_count_gVe57Wp8lf(op_uMTzgDCyJv(op_zDnGpti63o(a)),op_griT9ijWOv(op_FAUHmXADzM(b),op_siSprMom9h(a,a)))
    return count


def op_SMZbLX0TuQ(a):
    return op_PtITbjBpBq(op_Q6CfCNJhPO(op_A41kwsHSEW(a),op_srhPeXBSZS(a,a)),op_nmZMaaE0Q9(op_GHTZleiggj(a,a)))

def op_count_SMZbLX0TuQ(a):
    count = op_count_A41kwsHSEW(a)+op_count_srhPeXBSZS(a,a)+op_count_Q6CfCNJhPO(op_A41kwsHSEW(a),op_srhPeXBSZS(a,a))+op_count_GHTZleiggj(a,a)+op_count_nmZMaaE0Q9(op_GHTZleiggj(a,a))+op_count_PtITbjBpBq(op_Q6CfCNJhPO(op_A41kwsHSEW(a),op_srhPeXBSZS(a,a)),op_nmZMaaE0Q9(op_GHTZleiggj(a,a)))
    return count


a↤⋝⩱ = { (((a⇕⇮)⪤(a⋩⪊⫪a))≼((a∊∟⩊7)⫑⋡(442⫳⊕≗a))) }

def op_7dilKmGYx8(a):
    return op_SPuZE40Ntn(op_JKhKCqropJ(op_9arBjGBxSA(a),op_jgzsi2wuu5(a,a)),op_fBv0GnY1At(op_ddLRYrp01A(a,7),op_dfTirE4uw8(442,a)))

def op_count_7dilKmGYx8(a):
    count = op_count_9arBjGBxSA(a)+op_count_jgzsi2wuu5(a,a)+op_count_JKhKCqropJ(op_9arBjGBxSA(a),op_jgzsi2wuu5(a,a))+op_count_ddLRYrp01A(a,7)+op_count_dfTirE4uw8(442,a)+op_count_fBv0GnY1At(op_ddLRYrp01A(a,7),op_dfTirE4uw8(442,a))+op_count_SPuZE40Ntn(op_JKhKCqropJ(op_9arBjGBxSA(a),op_jgzsi2wuu5(a,a)),op_fBv0GnY1At(op_ddLRYrp01A(a,7),op_dfTirE4uw8(442,a)))
    return count


a≱⫹b = { (((⊗b)∳(b⫕a))⨌(244⩌⨭≭(b⫗⊍a))) }

def op_PTPHRuaTPC(a, b):
    return op_YdvuPOw6Zp(op_XCY0eMNfgm(op_RhiyfpczSx(b),op_6CTfL9kIPY(b,a)),op_4KnvnEaVgu(244,op_9848CK854r(b,a)))

def op_count_PTPHRuaTPC(a, b):
    count = op_count_RhiyfpczSx(b)+op_count_6CTfL9kIPY(b,a)+op_count_XCY0eMNfgm(op_RhiyfpczSx(b),op_6CTfL9kIPY(b,a))+op_count_9848CK854r(b,a)+op_count_4KnvnEaVgu(244,op_9848CK854r(b,a))+op_count_YdvuPOw6Zp(op_XCY0eMNfgm(op_RhiyfpczSx(b),op_6CTfL9kIPY(b,a)),op_4KnvnEaVgu(244,op_9848CK854r(b,a)))
    return count


def op_XhzmwxGp8o(a):
    if op_07rLKvPpUj(a) != 57:
        return op_Qtd6bqUJcN(83)
    else:
        return op_zDWB6XqCFD(a,21)

def op_count_XhzmwxGp8o(a):
    if op_07rLKvPpUj(a) != 57:
        count = op_count_Qtd6bqUJcN(83)+op_count_07rLKvPpUj(a)
    else:
        count = op_count_zDWB6XqCFD(a,21)
    return count


a⇣⊱b = { (a≓∲(b⩦⨙b)) , if (a⇝⪥⊌920)<=653 ; ((⩔⇠∑a)⇁≍↕(a⫦⇥b)) , else }

def op_nhiPEUZSI1(a, b):
    if op_8IBHxuH8oO(a,920) <= 653:
        return op_s1XTVnmDOJ(a,op_tUf8PANZgi(b,b))
    else:
        return op_qmQdYVJtpo(op_xsU24Rf5qB(a),op_2pBQXqWGeP(a,b))

def op_count_nhiPEUZSI1(a, b):
    if op_8IBHxuH8oO(a,920) <= 653:
        count = op_count_tUf8PANZgi(b,b)+op_count_s1XTVnmDOJ(a,op_tUf8PANZgi(b,b))+op_count_8IBHxuH8oO(a,920)
    else:
        count = op_count_xsU24Rf5qB(a)+op_count_2pBQXqWGeP(a,b)+op_count_qmQdYVJtpo(op_xsU24Rf5qB(a),op_2pBQXqWGeP(a,b))
    return count


def op_YozqkoP55F(a):
    return op_7YooWSwCyH(a,a)

def op_count_YozqkoP55F(a):
    count = op_count_7YooWSwCyH(a,a)
    return count


def op_lRou3FLhkg(a, b):
    return op_1j9NUrSBwK(op_ZJpFhNJr3x(op_kBclOZdV5K(b,a)),221)

def op_count_lRou3FLhkg(a, b):
    count = op_count_kBclOZdV5K(b,a)+op_count_ZJpFhNJr3x(op_kBclOZdV5K(b,a))+op_count_1j9NUrSBwK(op_ZJpFhNJr3x(op_kBclOZdV5K(b,a)),221)
    return count


def op_sL65T3Der9(a):
    return op_ZudQkqJPAX(op_1v5pUZ2RLP(463,a),op_UgJUmNBkC4(a))

def op_count_sL65T3Der9(a):
    count = op_count_1v5pUZ2RLP(463,a)+op_count_UgJUmNBkC4(a)+op_count_ZudQkqJPAX(op_1v5pUZ2RLP(463,a),op_UgJUmNBkC4(a))
    return count


def op_iOBaTi2eXu(a, b):
    return op_m8h42HkABM(op_KPf6cnQVty(op_ceRqZ68cFu(a,b),op_BThhyOhh10(b)))

def op_count_iOBaTi2eXu(a, b):
    count = op_count_ceRqZ68cFu(a,b)+op_count_BThhyOhh10(b)+op_count_KPf6cnQVty(op_ceRqZ68cFu(a,b),op_BThhyOhh10(b))+op_count_m8h42HkABM(op_KPf6cnQVty(op_ceRqZ68cFu(a,b),op_BThhyOhh10(b)))
    return count


def op_GUAyslFuBw(a):
    return op_LJjZ19xYgc(op_ezv41XLVK4(op_5HFUViGXfi(a,a),op_z8Vpgc5KJS(a,a)))

def op_count_GUAyslFuBw(a):
    count = op_count_5HFUViGXfi(a,a)+op_count_z8Vpgc5KJS(a,a)+op_count_ezv41XLVK4(op_5HFUViGXfi(a,a),op_z8Vpgc5KJS(a,a))+op_count_LJjZ19xYgc(op_ezv41XLVK4(op_5HFUViGXfi(a,a),op_z8Vpgc5KJS(a,a)))
    return count


def op_o73zOhVnhL(a):
    return op_3H5Xx7QWkg(op_UFzLZpQu9F(a,107),op_UvedHhwKRj(a,323))

def op_count_o73zOhVnhL(a):
    count = op_count_UFzLZpQu9F(a,107)+op_count_UvedHhwKRj(a,323)+op_count_3H5Xx7QWkg(op_UFzLZpQu9F(a,107),op_UvedHhwKRj(a,323))
    return count


a⊲⋔b = { (((a⋏⩄⨂b)⇣⫑(≂b))⊸⨥≭(≎⊗(a⪱⇝b))) }

def op_ePf4TJv8UX(a, b):
    return op_Y51oDxb2WH(op_srhPeXBSZS(op_D69ahk0G0B(a,b),op_dCycFYvitt(b)),op_F5el3aEdEY(op_OTRTVPweYV(a,b)))

def op_count_ePf4TJv8UX(a, b):
    count = op_count_D69ahk0G0B(a,b)+op_count_dCycFYvitt(b)+op_count_srhPeXBSZS(op_D69ahk0G0B(a,b),op_dCycFYvitt(b))+op_count_OTRTVPweYV(a,b)+op_count_F5el3aEdEY(op_OTRTVPweYV(a,b))+op_count_Y51oDxb2WH(op_srhPeXBSZS(op_D69ahk0G0B(a,b),op_dCycFYvitt(b)),op_F5el3aEdEY(op_OTRTVPweYV(a,b)))
    return count


a⪠∯⊓b = { (((↨⩢⫨b)⪡(a⨤462))⇿⋅⫅((b≞⇯b)⨍∆(b↛))) }

def op_WKAw6dTuqG(a, b):
    return op_tfk3gx8Z61(op_oraRL2iQuh(op_Z5CJsN7DuW(b),op_6Dk38mmJ69(a,462)),op_qlIXcggVCe(op_8kC3VQV3Yq(b,b),op_HZwfF5iRlC(b)))

def op_count_WKAw6dTuqG(a, b):
    count = op_count_Z5CJsN7DuW(b)+op_count_6Dk38mmJ69(a,462)+op_count_oraRL2iQuh(op_Z5CJsN7DuW(b),op_6Dk38mmJ69(a,462))+op_count_8kC3VQV3Yq(b,b)+op_count_HZwfF5iRlC(b)+op_count_qlIXcggVCe(op_8kC3VQV3Yq(b,b),op_HZwfF5iRlC(b))+op_count_tfk3gx8Z61(op_oraRL2iQuh(op_Z5CJsN7DuW(b),op_6Dk38mmJ69(a,462)),op_qlIXcggVCe(op_8kC3VQV3Yq(b,b),op_HZwfF5iRlC(b)))
    return count


a≳⪪∨b = { (↽≂(b⊗⩛b)) , if (⇲⫃≥b)<54 and a==117 and (a⇽⪾⨎813)==519 ; ((382⇞⊉↿a)∟) , else }

def op_SBjcRTyrIt(a, b):
    if op_GHfes0uiuE(b) < 54 and a == 117 and op_lzCx6JGp55(a,813) == 519:
        return op_u6S6b8DprG(op_ZuEtOFAVcg(b,b))
    else:
        return op_hTbEZDJLEm(op_bG3SoPrX0m(382,a))

def op_count_SBjcRTyrIt(a, b):
    if op_GHfes0uiuE(b) < 54 and a == 117 and op_lzCx6JGp55(a,813) == 519:
        count = op_count_ZuEtOFAVcg(b,b)+op_count_u6S6b8DprG(op_ZuEtOFAVcg(b,b))+op_count_GHfes0uiuE(b)+op_count_lzCx6JGp55(a,813)
    else:
        count = op_count_bG3SoPrX0m(382,a)+op_count_hTbEZDJLEm(op_bG3SoPrX0m(382,a))
    return count


def op_u3AByXkUAq(a):
    return op_W7L2oCKInH(op_xapeEN5k6N(119,a),op_vFgX83MrL4(183))

def op_count_u3AByXkUAq(a):
    count = op_count_xapeEN5k6N(119,a)+op_count_vFgX83MrL4(183)+op_count_W7L2oCKInH(op_xapeEN5k6N(119,a),op_vFgX83MrL4(183))
    return count


a←⪓⪉b = { b , if (a⫶⋕⊂)>=21 ; (((b⩴⫒⪍)⫩⨼(≪789))⨫((⩲⨚b)⩪⊄(830⊊⊦a))) , else }

def op_DaYs1xmi21(a, b):
    if op_b5lLA4rNPo(a) >= 21:
        return b
    else:
        return op_MEqPUhr43n(op_WxjQizov8v(op_9S2ZsDhJ9F(b),op_Qtd6bqUJcN(789)),op_bO0Zp5FHr0(op_ByhTHGuwmm(b),op_e3R0INlQmt(830,a)))

def op_count_DaYs1xmi21(a, b):
    if op_b5lLA4rNPo(a) >= 21:
        count = 1
    else:
        count = op_count_9S2ZsDhJ9F(b)+op_count_Qtd6bqUJcN(789)+op_count_WxjQizov8v(op_9S2ZsDhJ9F(b),op_Qtd6bqUJcN(789))+op_count_ByhTHGuwmm(b)+op_count_e3R0INlQmt(830,a)+op_count_bO0Zp5FHr0(op_ByhTHGuwmm(b),op_e3R0INlQmt(830,a))+op_count_MEqPUhr43n(op_WxjQizov8v(op_9S2ZsDhJ9F(b),op_Qtd6bqUJcN(789)),op_bO0Zp5FHr0(op_ByhTHGuwmm(b),op_e3R0INlQmt(830,a)))
    return count


⨚⇘a = { ((a⫴a)≱⋽∶(40≫⪝⋲a)) , if (a⇴222)>56 ; ((a⩺a)⩂(a⨔≚≋a)) , else }

def op_LJAecKVTu0(a):
    if op_4JB6nKBMSY(a,222) > 56:
        return op_YIh2b6ipJn(op_0N1BchnEuL(a,a),op_C58ewRfeGC(40,a))
    else:
        return op_CfxG4j8dfZ(op_8rgMBn28gJ(a,a),op_Z57zeUYC9z(a,a))

def op_count_LJAecKVTu0(a):
    if op_4JB6nKBMSY(a,222) > 56:
        count = op_count_0N1BchnEuL(a,a)+op_count_C58ewRfeGC(40,a)+op_count_YIh2b6ipJn(op_0N1BchnEuL(a,a),op_C58ewRfeGC(40,a))+op_count_4JB6nKBMSY(a,222)
    else:
        count = op_count_8rgMBn28gJ(a,a)+op_count_Z57zeUYC9z(a,a)+op_count_CfxG4j8dfZ(op_8rgMBn28gJ(a,a),op_Z57zeUYC9z(a,a))
    return count


⇪⊇⩓a = { (((a∙↹⋪a)⇗≫(a⇒⪫a))⪂⩍↥((a↷⩛⫁)≾⋳)) , if (a≾⫖⫗)!=869 ; a , else }

def op_1n1JIAIs94(a):
    if op_op6w1lxe4Q(a) != 869:
        return op_S3pNg7gwuQ(op_S4LUIutb1e(op_DkVDVv6gLT(a,a),op_1nNvNtr5EF(a,a)),op_1tCtMSPkGf(op_BD43NodvV7(a)))
    else:
        return a

def op_count_1n1JIAIs94(a):
    if op_op6w1lxe4Q(a) != 869:
        count = op_count_DkVDVv6gLT(a,a)+op_count_1nNvNtr5EF(a,a)+op_count_S4LUIutb1e(op_DkVDVv6gLT(a,a),op_1nNvNtr5EF(a,a))+op_count_BD43NodvV7(a)+op_count_1tCtMSPkGf(op_BD43NodvV7(a))+op_count_S3pNg7gwuQ(op_S4LUIutb1e(op_DkVDVv6gLT(a,a),op_1nNvNtr5EF(a,a)),op_1tCtMSPkGf(op_BD43NodvV7(a)))+op_count_op6w1lxe4Q(a)
    else:
        count = 1
    return count


⨟⊑∤a = { ((a←∉⩵a)↖⪢⋶) , if (a⋠∦⩽)<=115 ; ((⪎a)⇸⨏(≱⇩⩕a)) , else }

def op_taRPyKnct3(a):
    if op_XGAeROdoYZ(a) <= 115:
        return op_PFXS2rZOZy(op_NOHxjtdlri(a,a))
    else:
        return op_oUXishvm7t(op_4q4Wt1yQrE(a),op_3DZMoQKiUl(a))

def op_count_taRPyKnct3(a):
    if op_XGAeROdoYZ(a) <= 115:
        count = op_count_NOHxjtdlri(a,a)+op_count_PFXS2rZOZy(op_NOHxjtdlri(a,a))+op_count_XGAeROdoYZ(a)
    else:
        count = op_count_4q4Wt1yQrE(a)+op_count_3DZMoQKiUl(a)+op_count_oUXishvm7t(op_4q4Wt1yQrE(a),op_3DZMoQKiUl(a))
    return count


def op_DkIP5kYgcc(a):
    return op_wicAB68Tmb(a,op_aNWsvqozUr(op_lOouret8Km(508),op_n4a7NEQ25Y(a,109)))

def op_count_DkIP5kYgcc(a):
    count = op_count_lOouret8Km(508)+op_count_n4a7NEQ25Y(a,109)+op_count_aNWsvqozUr(op_lOouret8Km(508),op_n4a7NEQ25Y(a,109))+op_count_wicAB68Tmb(a,op_aNWsvqozUr(op_lOouret8Km(508),op_n4a7NEQ25Y(a,109)))
    return count


def op_csP1NBikjX(a, b):
    return op_h92wMvzauj(op_jfAgQ2OQeM(a),op_8oxTided8f(a,b))

def op_count_csP1NBikjX(a, b):
    count = op_count_jfAgQ2OQeM(a)+op_count_8oxTided8f(a,b)+op_count_h92wMvzauj(op_jfAgQ2OQeM(a),op_8oxTided8f(a,b))
    return count


a⫪⨳b = { (⇡⫫a) , if (a⪶186)<=290 ; (b⊫↳⇦b) , else }

def op_0QFdjTDhaB(a, b):
    if op_NvEvKO2R8S(a,186) <= 290:
        return op_xkySVgzY16(a)
    else:
        return op_0pE9j4xUU7(b,b)

def op_count_0QFdjTDhaB(a, b):
    if op_NvEvKO2R8S(a,186) <= 290:
        count = op_count_xkySVgzY16(a)+op_count_NvEvKO2R8S(a,186)
    else:
        count = op_count_0pE9j4xUU7(b,b)
    return count


≥⇺a = { ((a⊚⫒191)∇a) , if a!=372 ; ((a⨢↟a)⋗⋌(a⋳⪒a)) , else }

def op_zoMfecqQp8(a):
    if a != 372:
        return op_fICjaz8Yf3(op_a2IQm5WUqZ(a,191),a)
    else:
        return op_9BUDYzLkPF(op_Z7B3c4tHRK(a,a),op_12rbrZMWeM(a,a))

def op_count_zoMfecqQp8(a):
    if a != 372:
        count = op_count_a2IQm5WUqZ(a,191)+op_count_fICjaz8Yf3(op_a2IQm5WUqZ(a,191),a)
    else:
        count = op_count_Z7B3c4tHRK(a,a)+op_count_12rbrZMWeM(a,a)+op_count_9BUDYzLkPF(op_Z7B3c4tHRK(a,a),op_12rbrZMWeM(a,a))
    return count


∶⊃⪌a = { a , if (⪗⋳a)>=483 ; ((a⨄)⋘↷↾(a∟≧a)) , else }

def op_uYjuO7ZED2(a):
    if op_iz4beUB4Dk(a) >= 483:
        return a
    else:
        return op_1Scw8a5e7g(op_H7f1qksvrC(a),op_YANvL1cq0Q(a,a))

def op_count_uYjuO7ZED2(a):
    if op_iz4beUB4Dk(a) >= 483:
        count = 1
    else:
        count = op_count_H7f1qksvrC(a)+op_count_YANvL1cq0Q(a,a)+op_count_1Scw8a5e7g(op_H7f1qksvrC(a),op_YANvL1cq0Q(a,a))
    return count


⪄⨜∕a = { (((a⩃a)⊘⫨⊘a)↪⪝) , if (a⪭↷⊩)<748 ; ((a⩃⫏(a⊵↦a))⪤((a⋖⇕⪰298)⨦⨚∂(574⇧∕⇚a))) , else }

def op_APMWb6drkw(a):
    if op_Oe8teynzfS(a) < 748:
        return op_l07mrZUIn9(op_YMV0rvXXSg(op_7IRjtmSsUO(a,a),a))
    else:
        return op_JKhKCqropJ(op_96sgIAAApN(a,op_wleh0mrux3(a,a)),op_RpQvJizf4x(op_zGZqYOUxsC(a,298),op_ZVuupJtoea(574,a)))

def op_count_APMWb6drkw(a):
    if op_Oe8teynzfS(a) < 748:
        count = op_count_7IRjtmSsUO(a,a)+op_count_YMV0rvXXSg(op_7IRjtmSsUO(a,a),a)+op_count_l07mrZUIn9(op_YMV0rvXXSg(op_7IRjtmSsUO(a,a),a))+op_count_Oe8teynzfS(a)
    else:
        count = op_count_wleh0mrux3(a,a)+op_count_96sgIAAApN(a,op_wleh0mrux3(a,a))+op_count_zGZqYOUxsC(a,298)+op_count_ZVuupJtoea(574,a)+op_count_RpQvJizf4x(op_zGZqYOUxsC(a,298),op_ZVuupJtoea(574,a))+op_count_JKhKCqropJ(op_96sgIAAApN(a,op_wleh0mrux3(a,a)),op_RpQvJizf4x(op_zGZqYOUxsC(a,298),op_ZVuupJtoea(574,a)))
    return count


∦⋶a = { (a⇌a) , if (⨞⫢a)>143 ; (a⨎⋸⪻) , else }

def op_98iXZzr4v9(a):
    if op_HQuZ2f4It9(a) > 143:
        return op_ifvJ10rhcp(a,a)
    else:
        return op_Dk5vyLCiGd(a)

def op_count_98iXZzr4v9(a):
    if op_HQuZ2f4It9(a) > 143:
        count = op_count_ifvJ10rhcp(a,a)+op_count_HQuZ2f4It9(a)
    else:
        count = op_count_Dk5vyLCiGd(a)
    return count


∱⇉⩥a = { ((a≱⋽∶a)⫩⨼(a∮−a)) , if a!=6 ; ((430∘≹⊼a)⨡↠) , else }

def op_QONoKQfH5J(a):
    if a != 6:
        return op_WxjQizov8v(op_YIh2b6ipJn(a,a),op_YBMuzGt8zL(a,a))
    else:
        return op_TcUor9fpwD(op_TSjMxbSiHV(430,a))

def op_count_QONoKQfH5J(a):
    if a != 6:
        count = op_count_YIh2b6ipJn(a,a)+op_count_YBMuzGt8zL(a,a)+op_count_WxjQizov8v(op_YIh2b6ipJn(a,a),op_YBMuzGt8zL(a,a))
    else:
        count = op_count_TSjMxbSiHV(430,a)+op_count_TcUor9fpwD(op_TSjMxbSiHV(430,a))
    return count


def op_XeL4zoTXHN(a, b):
    if op_tIVorTW24W(b,928) > 19:
        return op_i3MWstRFMQ(op_diu054m9en(op_XVG3v5SdcH(a,311),op_cnI436iWbz(267,a)))
    else:
        return op_Ng8DvMldyy(op_vRio1gEz1j(op_jfAgQ2OQeM(b)))

def op_count_XeL4zoTXHN(a, b):
    if op_tIVorTW24W(b,928) > 19:
        count = op_count_XVG3v5SdcH(a,311)+op_count_cnI436iWbz(267,a)+op_count_diu054m9en(op_XVG3v5SdcH(a,311),op_cnI436iWbz(267,a))+op_count_i3MWstRFMQ(op_diu054m9en(op_XVG3v5SdcH(a,311),op_cnI436iWbz(267,a)))+op_count_tIVorTW24W(b,928)
    else:
        count = op_count_jfAgQ2OQeM(b)+op_count_vRio1gEz1j(op_jfAgQ2OQeM(b))+op_count_Ng8DvMldyy(op_vRio1gEz1j(op_jfAgQ2OQeM(b)))
    return count


a⇩≳b = { (a⫲⨊) , if (a↸⋲∣)<260 ; (b≮⫰b) , else }

def op_31U0BVBhtT(a, b):
    if op_pavvSNatVt(a) < 260:
        return op_CArV6hThFE(a)
    else:
        return op_RXTe6wbwcz(b,b)

def op_count_31U0BVBhtT(a, b):
    if op_pavvSNatVt(a) < 260:
        count = op_count_CArV6hThFE(a)+op_count_pavvSNatVt(a)
    else:
        count = op_count_RXTe6wbwcz(b,b)
    return count


a⨶⫍⩣b = { (a⩢⫫⪦) , if b>=364 ; (b⨻⩈⩔b) , else }

def op_qx0uycIDzO(a, b):
    if b >= 364:
        return op_eg06pZzFKE(a)
    else:
        return op_nEsXyWgiOK(b,b)

def op_count_qx0uycIDzO(a, b):
    if b >= 364:
        count = op_count_eg06pZzFKE(a)
    else:
        count = op_count_nEsXyWgiOK(b,b)
    return count


def op_NMif27OxkP(a):
    if a <= 226:
        return op_2DlMacCsIx(op_Cr5xnr8B4B(374,a),op_qFQkR9UZt5(256,a))
    else:
        return op_k8jYdgA6NY(a,op_2cbslIIPJD(a,a))

def op_count_NMif27OxkP(a):
    if a <= 226:
        count = op_count_Cr5xnr8B4B(374,a)+op_count_qFQkR9UZt5(256,a)+op_count_2DlMacCsIx(op_Cr5xnr8B4B(374,a),op_qFQkR9UZt5(256,a))
    else:
        count = op_count_2cbslIIPJD(a,a)+op_count_k8jYdgA6NY(a,op_2cbslIIPJD(a,a))
    return count


⋪⋢a = { (((⇤←a)⪖⩯(a⋑⩐⪄a))⪷↴((394⫡a)↗∻)) , if (⨘⨑a)<804 ; (((142⊳⇆a)⇧⊇⋩(a↽⋘⇦289))∥⋈≜((a⩾↬a)≕⫨(8⊬⩼⊳a))) , else }

def op_9yXIZOBfSp(a):
    if op_nn12MmQnlr(a) < 804:
        return op_Yslh20Vpco(op_ruocl2TjRv(op_jfAgQ2OQeM(a),op_mCA1Lu4fO6(a,a)),op_a1lA6srqjw(op_r42jg1nETI(394,a)))
    else:
        return op_QAd1nPzBGT(op_1TuAU3ehYs(op_Lsyp3t0mLH(142,a),op_SEtte5H3sk(a,289)),op_WSRWkT62m6(op_Mok0FjNIvH(a,a),op_4F7LFkBAZC(8,a)))

def op_count_9yXIZOBfSp(a):
    if op_nn12MmQnlr(a) < 804:
        count = op_count_jfAgQ2OQeM(a)+op_count_mCA1Lu4fO6(a,a)+op_count_ruocl2TjRv(op_jfAgQ2OQeM(a),op_mCA1Lu4fO6(a,a))+op_count_r42jg1nETI(394,a)+op_count_a1lA6srqjw(op_r42jg1nETI(394,a))+op_count_Yslh20Vpco(op_ruocl2TjRv(op_jfAgQ2OQeM(a),op_mCA1Lu4fO6(a,a)),op_a1lA6srqjw(op_r42jg1nETI(394,a)))+op_count_nn12MmQnlr(a)
    else:
        count = op_count_Lsyp3t0mLH(142,a)+op_count_SEtte5H3sk(a,289)+op_count_1TuAU3ehYs(op_Lsyp3t0mLH(142,a),op_SEtte5H3sk(a,289))+op_count_Mok0FjNIvH(a,a)+op_count_4F7LFkBAZC(8,a)+op_count_WSRWkT62m6(op_Mok0FjNIvH(a,a),op_4F7LFkBAZC(8,a))+op_count_QAd1nPzBGT(op_1TuAU3ehYs(op_Lsyp3t0mLH(142,a),op_SEtte5H3sk(a,289)),op_WSRWkT62m6(op_Mok0FjNIvH(a,a),op_4F7LFkBAZC(8,a)))
    return count


def op_mqSVK8zgMc(a):
    if a == 58:
        return op_1br6wbZ6yJ(op_cO8NHD8auo(a,a),318)
    else:
        return op_dSjykO3Vy1(op_UqFzSgLMvQ(124))

def op_count_mqSVK8zgMc(a):
    if a == 58:
        count = op_count_cO8NHD8auo(a,a)+op_count_1br6wbZ6yJ(op_cO8NHD8auo(a,a),318)
    else:
        count = op_count_UqFzSgLMvQ(124)+op_count_dSjykO3Vy1(op_UqFzSgLMvQ(124))
    return count


a⋢≻⪫ = { (a⨃⇵⋔a) , if (∕a)>5 ; (14⪩⊫) , else }

def op_3L9TutPFnE(a):
    if op_A1Uma3KAhE(a) > 5:
        return op_Bdiofinswe(a,a)
    else:
        return op_0cGMrPTqT1(14)

def op_count_3L9TutPFnE(a):
    if op_A1Uma3KAhE(a) > 5:
        count = op_count_Bdiofinswe(a,a)+op_count_A1Uma3KAhE(a)
    else:
        count = op_count_0cGMrPTqT1(14)
    return count


def op_CmQe8vlJtP(a):
    return op_s1XTVnmDOJ(op_gaaDP0UKzK(a,a),op_YbUVn0Rbpy(a,50))

def op_count_CmQe8vlJtP(a):
    count = op_count_gaaDP0UKzK(a,a)+op_count_YbUVn0Rbpy(a,50)+op_count_s1XTVnmDOJ(op_gaaDP0UKzK(a,a),op_YbUVn0Rbpy(a,50))
    return count


def op_j2bA1Ttqb3(a):
    return op_vHaazYf2iE(op_3DZMoQKiUl(a))

def op_count_j2bA1Ttqb3(a):
    count = op_count_3DZMoQKiUl(a)+op_count_vHaazYf2iE(op_3DZMoQKiUl(a))
    return count


a≦⋶∫b = { ((a⪋⫼⪧a)⫡⨏(↩b)) , if b>4 ; ((b⊾⇫169)⊃⋢%(a*⇘61)) , else }

def op_UCZYOMlgcp(a, b):
    if b > 4:
        return op_QMFrweE19q(op_KLMV3Z6VVJ(a,a),op_jLgFTUHLKL(b))
    else:
        return op_MGbPxTAMI3(op_EaccxuysW0(b,169),op_5JlONKxcBp(a,61))

def op_count_UCZYOMlgcp(a, b):
    if b > 4:
        count = op_count_KLMV3Z6VVJ(a,a)+op_count_jLgFTUHLKL(b)+op_count_QMFrweE19q(op_KLMV3Z6VVJ(a,a),op_jLgFTUHLKL(b))
    else:
        count = op_count_EaccxuysW0(b,169)+op_count_5JlONKxcBp(a,61)+op_count_MGbPxTAMI3(op_EaccxuysW0(b,169),op_5JlONKxcBp(a,61))
    return count


a∕↟⨟b = { ((a⇁b)⩾⊒(⇐a)) , if a!=360 ; ((⨇73)⪨⪽(a↹⨦b)) , else }

def op_6tyZHyy2Dj(a, b):
    if a != 360:
        return op_2rNkuxh6vz(op_z4ujcxYYss(a,b),op_nmZMaaE0Q9(a))
    else:
        return op_XjS7Uyx2OE(op_Oop2uYv01n(73),op_CE93BnRTrY(a,b))

def op_count_6tyZHyy2Dj(a, b):
    if a != 360:
        count = op_count_z4ujcxYYss(a,b)+op_count_nmZMaaE0Q9(a)+op_count_2rNkuxh6vz(op_z4ujcxYYss(a,b),op_nmZMaaE0Q9(a))
    else:
        count = op_count_Oop2uYv01n(73)+op_count_CE93BnRTrY(a,b)+op_count_XjS7Uyx2OE(op_Oop2uYv01n(73),op_CE93BnRTrY(a,b))
    return count


a⪅↷⩼ = { (a⩯↚a) , if (a⊚⨬)==72 ; (161∫↝⇷) , else }

def op_ppcwRjyfou(a):
    if op_FKhs930IBc(a) == 72:
        return op_EwuI1FZGOD(a,a)
    else:
        return op_dOyh8NTXcy(161)

def op_count_ppcwRjyfou(a):
    if op_FKhs930IBc(a) == 72:
        count = op_count_EwuI1FZGOD(a,a)+op_count_FKhs930IBc(a)
    else:
        count = op_count_dOyh8NTXcy(161)
    return count


a⇐≸≯b = { (a⨀⨰⊫b) , if a>211 ; (b⫸⩸a) , else }

def op_VCbe00QjLe(a, b):
    if a > 211:
        return op_Gl4WN4Uwdx(a,b)
    else:
        return op_SfUa7LlWFO(b,a)

def op_count_VCbe00QjLe(a, b):
    if a > 211:
        count = op_count_Gl4WN4Uwdx(a,b)
    else:
        count = op_count_SfUa7LlWFO(b,a)
    return count


a⨞⫌b = { ((b*⨺⊵b)⨒(b⋮⩂a)) , if (a⫐)>16 ; ((a≎↩∿101)≀⩗∶(a∌⋯b)) , else }

def op_RvfBnuwK4t(a, b):
    if op_8UWfUf6RpI(a) > 16:
        return op_y75s1iXyHd(op_NnryeZgiwo(b,b),op_5mOiYMN9gN(b,a))
    else:
        return op_8INZBEW696(op_DowK1ZCM6i(a,101),op_8lBC7wqBde(a,b))

def op_count_RvfBnuwK4t(a, b):
    if op_8UWfUf6RpI(a) > 16:
        count = op_count_NnryeZgiwo(b,b)+op_count_5mOiYMN9gN(b,a)+op_count_y75s1iXyHd(op_NnryeZgiwo(b,b),op_5mOiYMN9gN(b,a))+op_count_8UWfUf6RpI(a)
    else:
        count = op_count_DowK1ZCM6i(a,101)+op_count_8lBC7wqBde(a,b)+op_count_8INZBEW696(op_DowK1ZCM6i(a,101),op_8lBC7wqBde(a,b))
    return count


↺⫕a = { ((a⇫a)≙⪾(≘≶≐a)) , if a<247 ; ((6≎⩅a)⋢⨶⪆) , else }

def op_iqq15fan1Y(a):
    if a < 247:
        return op_OhqpJ7Tl0K(op_MKCxaPE9tg(a,a),op_r45GFIZ6yb(a))
    else:
        return op_OX2d0XMqqw(op_ieqGirTMxl(6,a))

def op_count_iqq15fan1Y(a):
    if a < 247:
        count = op_count_MKCxaPE9tg(a,a)+op_count_r45GFIZ6yb(a)+op_count_OhqpJ7Tl0K(op_MKCxaPE9tg(a,a),op_r45GFIZ6yb(a))
    else:
        count = op_count_ieqGirTMxl(6,a)+op_count_OX2d0XMqqw(op_ieqGirTMxl(6,a))
    return count


def op_CFYtLYPBqA(a, b):
    if (op_Lif1LrMNxJ(b,213) != 894 and op_q6iAK3IPqK(a,789) <= 260):
        return op_ddLRYrp01A(b,op_gImejOImwh(op_bBWLhCymi1(b)))
    else:
        return op_Qqyumcscty(op_PplyNE1LRy(op_vhtqQa4va1(a,b)),op_YIh2b6ipJn(op_21ob1huWpa(560,b),op_LXmfvPwYVb(a)))

def op_count_CFYtLYPBqA(a, b):
    if (op_Lif1LrMNxJ(b,213) != 894 and op_q6iAK3IPqK(a,789) <= 260):
        count = op_count_bBWLhCymi1(b)+op_count_gImejOImwh(op_bBWLhCymi1(b))+op_count_ddLRYrp01A(b,op_gImejOImwh(op_bBWLhCymi1(b)))+op_count_Lif1LrMNxJ(b,213)+op_count_q6iAK3IPqK(a,789)
    else:
        count = op_count_vhtqQa4va1(a,b)+op_count_PplyNE1LRy(op_vhtqQa4va1(a,b))+op_count_21ob1huWpa(560,b)+op_count_LXmfvPwYVb(a)+op_count_YIh2b6ipJn(op_21ob1huWpa(560,b),op_LXmfvPwYVb(a))+op_count_Qqyumcscty(op_PplyNE1LRy(op_vhtqQa4va1(a,b)),op_YIh2b6ipJn(op_21ob1huWpa(560,b),op_LXmfvPwYVb(a)))
    return count


def op_qjOlvzq7E3(a):
    return op_Z57zeUYC9z(op_Lif1LrMNxJ(102,24),a)

def op_count_qjOlvzq7E3(a):
    count = op_count_Lif1LrMNxJ(102,24)+op_count_Z57zeUYC9z(op_Lif1LrMNxJ(102,24),a)
    return count


⋴⩆a = { (a⋝≺⋾) , if (a⪘⇩⊈)<560 ; (⋃⫷⫵a) , else }

def op_d16nJfGc4a(a):
    if op_RORK8BE6m0(a) < 560:
        return op_mcQVDGUp7Y(a)
    else:
        return op_EccndXHfjJ(a)

def op_count_d16nJfGc4a(a):
    if op_RORK8BE6m0(a) < 560:
        count = op_count_mcQVDGUp7Y(a)+op_count_RORK8BE6m0(a)
    else:
        count = op_count_EccndXHfjJ(a)
    return count


def op_k328y6oGkW(a, b):
    if (op_gUNJiNsEkK(a) != 145 and op_hXLke0AbfW(a) != 203 and op_sX7icBeOwx(a) == 255):
        return op_8AQFS2Ajjd(op_H6BK1Evt7c(b))
    else:
        return op_ugTrrffvJh(op_7IRjtmSsUO(a,b),op_TrDKUjqfgw(371,a))

def op_count_k328y6oGkW(a, b):
    if (op_gUNJiNsEkK(a) != 145 and op_hXLke0AbfW(a) != 203 and op_sX7icBeOwx(a) == 255):
        count = op_count_H6BK1Evt7c(b)+op_count_8AQFS2Ajjd(op_H6BK1Evt7c(b))+op_count_gUNJiNsEkK(a)+op_count_hXLke0AbfW(a)+op_count_sX7icBeOwx(a)
    else:
        count = op_count_7IRjtmSsUO(a,b)+op_count_TrDKUjqfgw(371,a)+op_count_ugTrrffvJh(op_7IRjtmSsUO(a,b),op_TrDKUjqfgw(371,a))
    return count


def op_jyyZM2Dsjt(a):
    if op_Bw1fwYnFxE(a,711) != 323:
        return op_kHoXpA7yos(178)
    else:
        return op_3AHgZhA1m2(a,a)

def op_count_jyyZM2Dsjt(a):
    if op_Bw1fwYnFxE(a,711) != 323:
        count = op_count_kHoXpA7yos(178)+op_count_Bw1fwYnFxE(a,711)
    else:
        count = op_count_3AHgZhA1m2(a,a)
    return count


def op_GY3Xx7HWXl(a):
    return op_VxkNjAGpeT(op_lP51NIPzK8(op_B7FQcQLYg3(a,320)),op_nVH8oQGqd6(436))

def op_count_GY3Xx7HWXl(a):
    count = op_count_B7FQcQLYg3(a,320)+op_count_lP51NIPzK8(op_B7FQcQLYg3(a,320))+op_count_nVH8oQGqd6(436)+op_count_VxkNjAGpeT(op_lP51NIPzK8(op_B7FQcQLYg3(a,320)),op_nVH8oQGqd6(436))
    return count


a⇡⇥↴b = { (((⪕≙a)⪗⪦⨯(a⊁⪁∏b))+((⪔≽a)⪓(⪾⪫b))) }

def op_oMp4GvGM9e(a, b):
    return op_W4YGzv6Whe(op_C6huvSECWb(op_eWHr1gHY9C(a),op_NRyasOrsb7(a,b)),op_1v5pUZ2RLP(op_7xY59dLUJT(a),op_vFgX83MrL4(b)))

def op_count_oMp4GvGM9e(a, b):
    count = op_count_eWHr1gHY9C(a)+op_count_NRyasOrsb7(a,b)+op_count_C6huvSECWb(op_eWHr1gHY9C(a),op_NRyasOrsb7(a,b))+op_count_7xY59dLUJT(a)+op_count_vFgX83MrL4(b)+op_count_1v5pUZ2RLP(op_7xY59dLUJT(a),op_vFgX83MrL4(b))+op_count_W4YGzv6Whe(op_C6huvSECWb(op_eWHr1gHY9C(a),op_NRyasOrsb7(a,b)),op_1v5pUZ2RLP(op_7xY59dLUJT(a),op_vFgX83MrL4(b)))
    return count


a⊱⇥⪳b = { (b⇣⩺⋵a) , if (a⋊⪄⋢552)==534 ; (206≏⩑a) , else }

def op_RuUGYucGKF(a, b):
    if op_87HMmqlxet(a,552) == 534:
        return op_F4yD0voBRQ(b,a)
    else:
        return op_LMA9dqLka3(206,a)

def op_count_RuUGYucGKF(a, b):
    if op_87HMmqlxet(a,552) == 534:
        count = op_count_F4yD0voBRQ(b,a)+op_count_87HMmqlxet(a,552)
    else:
        count = op_count_LMA9dqLka3(206,a)
    return count


def op_ZEiArkg7ih(a):
    if a == 336:
        return op_qL4PrbW1Dq(op_5ClX4R8SjJ(312,a))
    else:
        return op_AndBsovwpD(op_3EYGwJThht(199,a))

def op_count_ZEiArkg7ih(a):
    if a == 336:
        count = op_count_5ClX4R8SjJ(312,a)+op_count_qL4PrbW1Dq(op_5ClX4R8SjJ(312,a))
    else:
        count = op_count_3EYGwJThht(199,a)+op_count_AndBsovwpD(op_3EYGwJThht(199,a))
    return count


def op_2dB4HgSySc(a):
    return op_x5p3WF8YzS(a,op_L95AwlJzhO(a))

def op_count_2dB4HgSySc(a):
    count = op_count_L95AwlJzhO(a)+op_count_x5p3WF8YzS(a,op_L95AwlJzhO(a))
    return count


⇺∳⩨a = { ((a⨎⋸⪻)⊫⫤) , if (⫫↸a)>=2 or (⇑⫎a)!=893 or (⨚⪲≒a)<=151 ; (∖⇽≓(a⪏⊆⨩572)) , else }

def op_3ikvPVzn0e(a):
    if op_BZ7YUn5i1B(a) >= 2 or op_DlKt5E9iEj(a) != 893 or op_x442d74neU(a) <= 151:
        return op_haMO48sRbC(op_Dk5vyLCiGd(a))
    else:
        return op_UcNtpYHH3F(op_c60jrNgcxX(a,572))

def op_count_3ikvPVzn0e(a):
    if op_BZ7YUn5i1B(a) >= 2 or op_DlKt5E9iEj(a) != 893 or op_x442d74neU(a) <= 151:
        count = op_count_Dk5vyLCiGd(a)+op_count_haMO48sRbC(op_Dk5vyLCiGd(a))+op_count_BZ7YUn5i1B(a)+op_count_DlKt5E9iEj(a)+op_count_x442d74neU(a)
    else:
        count = op_count_c60jrNgcxX(a,572)+op_count_UcNtpYHH3F(op_c60jrNgcxX(a,572))
    return count


⊳↧a = { (((a⩙⪻741)↿⊢(a≕≪∎a))⇒⇑∠((a∙⨵a)∆⋉(a↴⪮a))) , if a>=146 ; (((a⋦≾751)⪡(a∪⋗467))⨆⩉((a↼⊘⨖a)⇊⇳)) , else }

def op_pXCSiSNzSl(a):
    if a >= 146:
        return op_V3Robn58tk(op_TRBbsPMh7I(op_Y0zpOQG4YL(a,741),op_cO8NHD8auo(a,a)),op_sBVsl3mEd7(op_reVGrTqfuh(a,a),op_3ayH0UyYyX(a,a)))
    else:
        return op_PtITbjBpBq(op_oraRL2iQuh(op_sGKMNvIg50(a,751),op_qPbESVb90t(a,467)),op_aaQ3WJhk6P(op_bPywburJMS(a,a)))

def op_count_pXCSiSNzSl(a):
    if a >= 146:
        count = op_count_Y0zpOQG4YL(a,741)+op_count_cO8NHD8auo(a,a)+op_count_TRBbsPMh7I(op_Y0zpOQG4YL(a,741),op_cO8NHD8auo(a,a))+op_count_reVGrTqfuh(a,a)+op_count_3ayH0UyYyX(a,a)+op_count_sBVsl3mEd7(op_reVGrTqfuh(a,a),op_3ayH0UyYyX(a,a))+op_count_V3Robn58tk(op_TRBbsPMh7I(op_Y0zpOQG4YL(a,741),op_cO8NHD8auo(a,a)),op_sBVsl3mEd7(op_reVGrTqfuh(a,a),op_3ayH0UyYyX(a,a)))
    else:
        count = op_count_sGKMNvIg50(a,751)+op_count_qPbESVb90t(a,467)+op_count_oraRL2iQuh(op_sGKMNvIg50(a,751),op_qPbESVb90t(a,467))+op_count_bPywburJMS(a,a)+op_count_aaQ3WJhk6P(op_bPywburJMS(a,a))+op_count_PtITbjBpBq(op_oraRL2iQuh(op_sGKMNvIg50(a,751),op_qPbESVb90t(a,467)),op_aaQ3WJhk6P(op_bPywburJMS(a,a)))
    return count


def op_0xcFJGVSG8(a, b):
    return op_Q1bdVDI735(op_wEBUqoxgu1(op_YBjRNIjNLy(179,a),op_oacrs7FA3X(86,b)))

def op_count_0xcFJGVSG8(a, b):
    count = op_count_YBjRNIjNLy(179,a)+op_count_oacrs7FA3X(86,b)+op_count_wEBUqoxgu1(op_YBjRNIjNLy(179,a),op_oacrs7FA3X(86,b))+op_count_Q1bdVDI735(op_wEBUqoxgu1(op_YBjRNIjNLy(179,a),op_oacrs7FA3X(86,b)))
    return count


def op_bxKdL4V8k9(a):
    if op_izrQJRSfVS(a,890) >= 15:
        return op_8ZWiXT2Wxh(op_WHvsDZpt7Z(228,a),op_laDV8SAqpw(a,a))
    else:
        return op_1eCjFl0mb9(op_lLg6KFppdz(a,a),a)

def op_count_bxKdL4V8k9(a):
    if op_izrQJRSfVS(a,890) >= 15:
        count = op_count_WHvsDZpt7Z(228,a)+op_count_laDV8SAqpw(a,a)+op_count_8ZWiXT2Wxh(op_WHvsDZpt7Z(228,a),op_laDV8SAqpw(a,a))+op_count_izrQJRSfVS(a,890)
    else:
        count = op_count_lLg6KFppdz(a,a)+op_count_1eCjFl0mb9(op_lLg6KFppdz(a,a),a)
    return count


def op_BwsDR6Hawb(a, b):
    if op_etBYAzj5y8(b) == 422 or op_Mgrz23wGJT(b) < 6:
        return 632
    else:
        return op_mB7zfwCp1n(op_Bi9z9uYZqW(op_J9p31WXma4(2,194)),op_78QBpbqeKK(op_HmxsFra2vL(b,a),b))

def op_count_BwsDR6Hawb(a, b):
    if op_etBYAzj5y8(b) == 422 or op_Mgrz23wGJT(b) < 6:
        count = op_count_etBYAzj5y8(b)+op_count_Mgrz23wGJT(b)
    else:
        count = op_count_J9p31WXma4(2,194)+op_count_Bi9z9uYZqW(op_J9p31WXma4(2,194))+op_count_HmxsFra2vL(b,a)+op_count_78QBpbqeKK(op_HmxsFra2vL(b,a),b)+op_count_mB7zfwCp1n(op_Bi9z9uYZqW(op_J9p31WXma4(2,194)),op_78QBpbqeKK(op_HmxsFra2vL(b,a),b))
    return count


def op_VEcxqPnwbF(a, b):
    return op_3ZAiUOk8Uv(op_tBYU6worvm(op_1v5pUZ2RLP(b,b)),a)

def op_count_VEcxqPnwbF(a, b):
    count = op_count_1v5pUZ2RLP(b,b)+op_count_tBYU6worvm(op_1v5pUZ2RLP(b,b))+op_count_3ZAiUOk8Uv(op_tBYU6worvm(op_1v5pUZ2RLP(b,b)),a)
    return count


def op_wTiz35xKoq(a, b):
    return op_FiUSHIPi3B(op_Yslh20Vpco(op_IwW236VD4Y(247,388),op_UdJFuQTeHN(a,472)),op_IU5bnLfiEv(op_d23X9ho1m8(a,b)))

def op_count_wTiz35xKoq(a, b):
    count = op_count_IwW236VD4Y(247,388)+op_count_UdJFuQTeHN(a,472)+op_count_Yslh20Vpco(op_IwW236VD4Y(247,388),op_UdJFuQTeHN(a,472))+op_count_d23X9ho1m8(a,b)+op_count_IU5bnLfiEv(op_d23X9ho1m8(a,b))+op_count_FiUSHIPi3B(op_Yslh20Vpco(op_IwW236VD4Y(247,388),op_UdJFuQTeHN(a,472)),op_IU5bnLfiEv(op_d23X9ho1m8(a,b)))
    return count


def op_QTpwzC7kMJ(a):
    return op_IjUb3wyICU(op_DykcjiQqpf(op_9hl1k8hbNX(a),op_hOjh2aJdmN(311)))

def op_count_QTpwzC7kMJ(a):
    count = op_count_9hl1k8hbNX(a)+op_count_hOjh2aJdmN(311)+op_count_DykcjiQqpf(op_9hl1k8hbNX(a),op_hOjh2aJdmN(311))+op_count_IjUb3wyICU(op_DykcjiQqpf(op_9hl1k8hbNX(a),op_hOjh2aJdmN(311)))
    return count


a⪐⊔b = { ((b⊶⫨a)∸⇺⨩(b≼⫒↬b)) , if (b≜⩼755)>4 and (a≽)<=15 ; ((a⊟⊧b)⇕) , else }

def op_LgkrMb0d79(a, b):
    if op_44bIv9JyVY(b,755) > 4 and op_j98Uxmdk7c(a) <= 15:
        return op_BM5aFeEVeK(op_3AHgZhA1m2(b,a),op_qufViy4tU0(b,b))
    else:
        return op_vaH8QgiDVg(op_GN3qbhwjUb(a,b))

def op_count_LgkrMb0d79(a, b):
    if op_44bIv9JyVY(b,755) > 4 and op_j98Uxmdk7c(a) <= 15:
        count = op_count_3AHgZhA1m2(b,a)+op_count_qufViy4tU0(b,b)+op_count_BM5aFeEVeK(op_3AHgZhA1m2(b,a),op_qufViy4tU0(b,b))+op_count_44bIv9JyVY(b,755)+op_count_j98Uxmdk7c(a)
    else:
        count = op_count_GN3qbhwjUb(a,b)+op_count_vaH8QgiDVg(op_GN3qbhwjUb(a,b))
    return count


def op_HHyZ9Jp3JQ(a, b):
    if (op_NtNF0fXNRD(b,391) > 275 or op_Qkdmijf3a6(b,281) == 4 or op_IOQom0VbAc(a,976) != 233):
        return a
    else:
        return op_UkFG6YBLyt(b,165)

def op_count_HHyZ9Jp3JQ(a, b):
    if (op_NtNF0fXNRD(b,391) > 275 or op_Qkdmijf3a6(b,281) == 4 or op_IOQom0VbAc(a,976) != 233):
        count = 1
    else:
        count = op_count_UkFG6YBLyt(b,165)
    return count


a⊬⩒⨮b = { (((a+b)⪋⪉(b⨱b))⩮((382⨇≷∥a)∴⫴)) }

def op_XXPFRlyT8X(a, b):
    return op_265LmWy1dS(op_SWbPh9106B(op_W4YGzv6Whe(a,b),op_KRirUCLfIK(b,b)),op_Fe3OlIgKHc(op_ER3VUc6CxE(382,a)))

def op_count_XXPFRlyT8X(a, b):
    count = op_count_W4YGzv6Whe(a,b)+op_count_KRirUCLfIK(b,b)+op_count_SWbPh9106B(op_W4YGzv6Whe(a,b),op_KRirUCLfIK(b,b))+op_count_ER3VUc6CxE(382,a)+op_count_Fe3OlIgKHc(op_ER3VUc6CxE(382,a))+op_count_265LmWy1dS(op_SWbPh9106B(op_W4YGzv6Whe(a,b),op_KRirUCLfIK(b,b)),op_Fe3OlIgKHc(op_ER3VUc6CxE(382,a)))
    return count


def op_3AMynuqbBS(a):
    return op_7GgezYTPa9(op_bJkvcejdHO(op_i5RbA8eqaO(a,176),op_yHt80FcK1y(a,a)),op_D3AQDKkPcf(op_C2eOkFrmjf(a),op_iSxGtpjIlD(49)))

def op_count_3AMynuqbBS(a):
    count = op_count_i5RbA8eqaO(a,176)+op_count_yHt80FcK1y(a,a)+op_count_bJkvcejdHO(op_i5RbA8eqaO(a,176),op_yHt80FcK1y(a,a))+op_count_C2eOkFrmjf(a)+op_count_iSxGtpjIlD(49)+op_count_D3AQDKkPcf(op_C2eOkFrmjf(a),op_iSxGtpjIlD(49))+op_count_7GgezYTPa9(op_bJkvcejdHO(op_i5RbA8eqaO(a,176),op_yHt80FcK1y(a,a)),op_D3AQDKkPcf(op_C2eOkFrmjf(a),op_iSxGtpjIlD(49)))
    return count


a∅⋟⋈b = { (∽≹a) , if (a⋎⇋)<104 and (a∖⇀⩒812)<5 and (b∿⨓)>=557 ; (a∟) , else }

def op_tGNgmywV9u(a, b):
    if op_i9SI52B0oy(a) < 104 and op_o5ySIend9F(a,812) < 5 and op_8SnKnorVr9(b) >= 557:
        return op_t1gIPYuk3R(a)
    else:
        return op_hTbEZDJLEm(a)

def op_count_tGNgmywV9u(a, b):
    if op_i9SI52B0oy(a) < 104 and op_o5ySIend9F(a,812) < 5 and op_8SnKnorVr9(b) >= 557:
        count = op_count_t1gIPYuk3R(a)+op_count_i9SI52B0oy(a)+op_count_o5ySIend9F(a,812)+op_count_8SnKnorVr9(b)
    else:
        count = op_count_hTbEZDJLEm(a)
    return count


def op_qtqaAqrmD3(a):
    return op_kIWj6knPC7(a,op_jCPkEVoL5K(a,a))

def op_count_qtqaAqrmD3(a):
    count = op_count_jCPkEVoL5K(a,a)+op_count_kIWj6knPC7(a,op_jCPkEVoL5K(a,a))
    return count


def op_eUizPD1kq5(a, b):
    return op_ANJ5yRPvn6(op_XAozx2NkZN(op_R6sRhpmvlr(517),a),b)

def op_count_eUizPD1kq5(a, b):
    count = op_count_R6sRhpmvlr(517)+op_count_XAozx2NkZN(op_R6sRhpmvlr(517),a)+op_count_ANJ5yRPvn6(op_XAozx2NkZN(op_R6sRhpmvlr(517),a),b)
    return count


⫅⪑a = { ((⇣(a≔⇮≳a))≕∾((a⪩⋘⨾a)⩍⋽⫝̸(a≤⋿a))) }

def op_WAv3ekBhw3(a):
    return op_F9pSHpyQ3k(op_jrW1E7Ncie(op_iJDhyCwqus(a,a)),op_BiWNJpBvwn(op_cSKtckx9Wl(a,a),op_GWoGfTTeeI(a,a)))

def op_count_WAv3ekBhw3(a):
    count = op_count_iJDhyCwqus(a,a)+op_count_jrW1E7Ncie(op_iJDhyCwqus(a,a))+op_count_cSKtckx9Wl(a,a)+op_count_GWoGfTTeeI(a,a)+op_count_BiWNJpBvwn(op_cSKtckx9Wl(a,a),op_GWoGfTTeeI(a,a))+op_count_F9pSHpyQ3k(op_jrW1E7Ncie(op_iJDhyCwqus(a,a)),op_BiWNJpBvwn(op_cSKtckx9Wl(a,a),op_GWoGfTTeeI(a,a)))
    return count


def op_KDdEYqPZwe(a):
    if op_OD5lQAL0u2(a) != 350 and op_1twl7c1emG(a) <= 57 and op_LhKFc5N9Ux(a) != 451:
        return op_fo48eGTxLC(op_mFCgDW3omv(183),op_l455cbmnc3(a,a))
    else:
        return op_CElUNYQIpN(op_3Cfxs2sGIE(a,a),op_vaH8QgiDVg(a))

def op_count_KDdEYqPZwe(a):
    if op_OD5lQAL0u2(a) != 350 and op_1twl7c1emG(a) <= 57 and op_LhKFc5N9Ux(a) != 451:
        count = op_count_mFCgDW3omv(183)+op_count_l455cbmnc3(a,a)+op_count_fo48eGTxLC(op_mFCgDW3omv(183),op_l455cbmnc3(a,a))+op_count_OD5lQAL0u2(a)+op_count_1twl7c1emG(a)+op_count_LhKFc5N9Ux(a)
    else:
        count = op_count_3Cfxs2sGIE(a,a)+op_count_vaH8QgiDVg(a)+op_count_CElUNYQIpN(op_3Cfxs2sGIE(a,a),op_vaH8QgiDVg(a))
    return count


↕⨹↣a = { (∐⩳⋚a) , if a>192 ; (229⫝⩷⋻a) , else }

def op_krTmBp4034(a):
    if a > 192:
        return op_SL6IHkK8vl(a)
    else:
        return op_owWyC9x9Uq(229,a)

def op_count_krTmBp4034(a):
    if a > 192:
        count = op_count_SL6IHkK8vl(a)
    else:
        count = op_count_owWyC9x9Uq(229,a)
    return count


def op_DnjuNtPDFA(a):
    if a >= 9:
        return op_WYd1w68Nbz(a)
    else:
        return op_7YooWSwCyH(360,312)

def op_count_DnjuNtPDFA(a):
    if a >= 9:
        count = op_count_WYd1w68Nbz(a)
    else:
        count = op_count_7YooWSwCyH(360,312)
    return count


a⫲⇺b = { (a∤≷⨡) , if (⩐b)!=3 ; (b⫷⇣b) , else }

def op_BbBz0MWWQr(a, b):
    if op_zukycwwyTc(b) != 3:
        return op_PIKqUwW8wB(a)
    else:
        return op_yyGr8FKHqM(b,b)

def op_count_BbBz0MWWQr(a, b):
    if op_zukycwwyTc(b) != 3:
        count = op_count_PIKqUwW8wB(a)+op_count_zukycwwyTc(b)
    else:
        count = op_count_yyGr8FKHqM(b,b)
    return count


a≊↪⨄b = { (((a∿⊵⋹a)⩅⪻⪻)⇪∗⨴((b≀⇓∃515)⫣⪭)) }

def op_1aV2GNwNkT(a, b):
    return op_xb2YpVd57y(op_kHoXpA7yos(op_k8X3umw52W(a,a)),op_GpxN1sq6sw(op_kXpzAH9jno(b,515)))

def op_count_1aV2GNwNkT(a, b):
    count = op_count_k8X3umw52W(a,a)+op_count_kHoXpA7yos(op_k8X3umw52W(a,a))+op_count_kXpzAH9jno(b,515)+op_count_GpxN1sq6sw(op_kXpzAH9jno(b,515))+op_count_xb2YpVd57y(op_kHoXpA7yos(op_k8X3umw52W(a,a)),op_GpxN1sq6sw(op_kXpzAH9jno(b,515)))
    return count


def op_DsyPkj0vuS(a, b):
    return op_sVMiUtOpJT(a,op_FaF1PUcip1(op_Lif1LrMNxJ(a,a),op_LvaFuPukL6(b,b)))

def op_count_DsyPkj0vuS(a, b):
    count = op_count_Lif1LrMNxJ(a,a)+op_count_LvaFuPukL6(b,b)+op_count_FaF1PUcip1(op_Lif1LrMNxJ(a,a),op_LvaFuPukL6(b,b))+op_count_sVMiUtOpJT(a,op_FaF1PUcip1(op_Lif1LrMNxJ(a,a),op_LvaFuPukL6(b,b)))
    return count


def op_UBhbcJbIbv(a):
    return op_s1XTVnmDOJ(op_dngTJzlZ0N(a,a),op_q5yaU63SKE(a))

def op_count_UBhbcJbIbv(a):
    count = op_count_dngTJzlZ0N(a,a)+op_count_q5yaU63SKE(a)+op_count_s1XTVnmDOJ(op_dngTJzlZ0N(a,a),op_q5yaU63SKE(a))
    return count


a≌∨b = { ((b⊠⪡⨶b)⊫212) , if (⊴⇷b)<=8 and (b≍⫬⫸)==31 ; (⇜⊴(50⇞⊉↿a)) , else }

def op_BRzjzC6jtL(a, b):
    if op_dQYby3Z2bC(b) <= 8 and op_iSOvhdRDqJ(b) == 31:
        return op_kOoQ1erSk8(op_ntT9PAI6rF(b,b),212)
    else:
        return op_XwDhCwWbUn(op_bG3SoPrX0m(50,a))

def op_count_BRzjzC6jtL(a, b):
    if op_dQYby3Z2bC(b) <= 8 and op_iSOvhdRDqJ(b) == 31:
        count = op_count_ntT9PAI6rF(b,b)+op_count_kOoQ1erSk8(op_ntT9PAI6rF(b,b),212)+op_count_dQYby3Z2bC(b)+op_count_iSOvhdRDqJ(b)
    else:
        count = op_count_bG3SoPrX0m(50,a)+op_count_XwDhCwWbUn(op_bG3SoPrX0m(50,a))
    return count


a⇶⋙b = { ((a⪕b)⫗⋱⩱(b↔≼∕b)) , if b==227 or (a≗⊅)<=36 ; ((b⩢⇢588)⩞⋂(b⪆⪤⊀a)) , else }

def op_Cv0yX14uu6(a, b):
    if b == 227 or op_8ue8uZX9oj(a) <= 36:
        return op_i43TpB2HrT(op_umQnsF7QlU(a,b),op_hL8JPCYIkc(b,b))
    else:
        return op_TQtCT2lTQ7(op_C4PqR2W9Pw(b,588),op_fv7bIrfzMN(b,a))

def op_count_Cv0yX14uu6(a, b):
    if b == 227 or op_8ue8uZX9oj(a) <= 36:
        count = op_count_umQnsF7QlU(a,b)+op_count_hL8JPCYIkc(b,b)+op_count_i43TpB2HrT(op_umQnsF7QlU(a,b),op_hL8JPCYIkc(b,b))+op_count_8ue8uZX9oj(a)
    else:
        count = op_count_C4PqR2W9Pw(b,588)+op_count_fv7bIrfzMN(b,a)+op_count_TQtCT2lTQ7(op_C4PqR2W9Pw(b,588),op_fv7bIrfzMN(b,a))
    return count


def op_m1G8yfFYkK(a, b):
    return op_tcrxUegxCv(op_LhKFc5N9Ux(op_uFcxV4UQCh(b,489)),op_MKCxaPE9tg(op_5bjJf2Re4f(b,a),a))

def op_count_m1G8yfFYkK(a, b):
    count = op_count_uFcxV4UQCh(b,489)+op_count_LhKFc5N9Ux(op_uFcxV4UQCh(b,489))+op_count_5bjJf2Re4f(b,a)+op_count_MKCxaPE9tg(op_5bjJf2Re4f(b,a),a)+op_count_tcrxUegxCv(op_LhKFc5N9Ux(op_uFcxV4UQCh(b,489)),op_MKCxaPE9tg(op_5bjJf2Re4f(b,a),a))
    return count


a⇯⪐ = { (a⪃⩐⨑a) , if a==54 ; (⇙a) , else }

def op_LnjDZ16MLF(a):
    if a == 54:
        return op_7OL7g5oVtb(a,a)
    else:
        return op_hJ1EP0XKuB(a)

def op_count_LnjDZ16MLF(a):
    if a == 54:
        count = op_count_7OL7g5oVtb(a,a)
    else:
        count = op_count_hJ1EP0XKuB(a)
    return count


def op_38uX3UqIft(a, b):
    return op_ukSLkBfL7r(op_tIhPxZTbsh(op_6ayBXmFTY1(b,a),b))

def op_count_38uX3UqIft(a, b):
    count = op_count_6ayBXmFTY1(b,a)+op_count_tIhPxZTbsh(op_6ayBXmFTY1(b,a),b)+op_count_ukSLkBfL7r(op_tIhPxZTbsh(op_6ayBXmFTY1(b,a),b))
    return count


⇣⩕a = { a , if (a>146 and a>852) ; (((∨∊⋏a)⫕∜(a∀⩎⋷345))⊮⊟↴((a≫⪝⋲a)⪏(a⪣⋝⋒73))) , else }

def op_pcyFlLJYXy(a):
    if (a > 146 and a > 852):
        return a
    else:
        return op_QDVgd2eftb(op_LFtbApO071(op_R5aXW34M0v(a),op_FPxP5Y1j0W(a,345)),op_ReAzrgtvfu(op_C58ewRfeGC(a,a),op_TbULwM3gdg(a,73)))

def op_count_pcyFlLJYXy(a):
    if (a > 146 and a > 852):
        count = 1
    else:
        count = op_count_R5aXW34M0v(a)+op_count_FPxP5Y1j0W(a,345)+op_count_LFtbApO071(op_R5aXW34M0v(a),op_FPxP5Y1j0W(a,345))+op_count_C58ewRfeGC(a,a)+op_count_TbULwM3gdg(a,73)+op_count_ReAzrgtvfu(op_C58ewRfeGC(a,a),op_TbULwM3gdg(a,73))+op_count_QDVgd2eftb(op_LFtbApO071(op_R5aXW34M0v(a),op_FPxP5Y1j0W(a,345)),op_ReAzrgtvfu(op_C58ewRfeGC(a,a),op_TbULwM3gdg(a,73)))
    return count


a≷⪄ = { (a⨂⪮↪) , if (⨬∾⫟a)<389 ; (a⫉⨲⊜a) , else }

def op_Zz7PIHcPdM(a):
    if op_rVJiY5S2vr(a) < 389:
        return op_BYlXFd1hNb(a)
    else:
        return op_WhqkvtTD3t(a,a)

def op_count_Zz7PIHcPdM(a):
    if op_rVJiY5S2vr(a) < 389:
        count = op_count_BYlXFd1hNb(a)+op_count_rVJiY5S2vr(a)
    else:
        count = op_count_WhqkvtTD3t(a,a)
    return count


def op_S7HAksyGYW(a, b):
    return op_mqXw5SEYmG(op_xSk1F0pZbF(b,8),op_FAUHmXADzM(a))

def op_count_S7HAksyGYW(a, b):
    count = op_count_xSk1F0pZbF(b,8)+op_count_FAUHmXADzM(a)+op_count_mqXw5SEYmG(op_xSk1F0pZbF(b,8),op_FAUHmXADzM(a))
    return count


a⇂⇶b = { (((a≄⋉a)⫏∊∨(b≆b))≭⫡(⪶⨩(a⇋⇻236))) }

def op_JfzpTFL5J5(a, b):
    return op_b1mGkbI4Oy(op_xgB3tWPdtm(op_lmJLg3MMpL(a,a),op_vfo9xvTTbt(b,b)),op_ixc2Esl5RP(op_lIWCnfEXsl(a,236)))

def op_count_JfzpTFL5J5(a, b):
    count = op_count_lmJLg3MMpL(a,a)+op_count_vfo9xvTTbt(b,b)+op_count_xgB3tWPdtm(op_lmJLg3MMpL(a,a),op_vfo9xvTTbt(b,b))+op_count_lIWCnfEXsl(a,236)+op_count_ixc2Esl5RP(op_lIWCnfEXsl(a,236))+op_count_b1mGkbI4Oy(op_xgB3tWPdtm(op_lmJLg3MMpL(a,a),op_vfo9xvTTbt(b,b)),op_ixc2Esl5RP(op_lIWCnfEXsl(a,236)))
    return count


≉⩂⇺a = { (⫤⨶⩥(a∨⨤∫a)) , if (a⋛≐631)>9 ; ((⇬⊨⫣a)⊇⫘⪍(390⨔⫢⋨a)) , else }

def op_Ky07d51fS4(a):
    if op_B7jD7820sf(a,631) > 9:
        return op_hPqQhEYUtD(op_Q6CfCNJhPO(a,a))
    else:
        return op_dUpriDnGP5(op_AndBsovwpD(a),op_KgrVg2WY9S(390,a))

def op_count_Ky07d51fS4(a):
    if op_B7jD7820sf(a,631) > 9:
        count = op_count_Q6CfCNJhPO(a,a)+op_count_hPqQhEYUtD(op_Q6CfCNJhPO(a,a))+op_count_B7jD7820sf(a,631)
    else:
        count = op_count_AndBsovwpD(a)+op_count_KgrVg2WY9S(390,a)+op_count_dUpriDnGP5(op_AndBsovwpD(a),op_KgrVg2WY9S(390,a))
    return count


def op_mKMzfesuKF(a):
    return op_o5ySIend9F(op_N5Sc0Qlu6E(a),op_iXQfhhNwXF(a))

def op_count_mKMzfesuKF(a):
    count = op_count_N5Sc0Qlu6E(a)+op_count_iXQfhhNwXF(a)+op_count_o5ySIend9F(op_N5Sc0Qlu6E(a),op_iXQfhhNwXF(a))
    return count


a∢⨵⨏b = { (↕b) , if (b⋇⋹⫘)>44 ; ((a⇯⇋b)⨡(≘b)) , else }

def op_FZ3HAPnHuF(a, b):
    if op_vvkWjlpPOH(b) > 44:
        return op_EfmNmIJYrc(b)
    else:
        return op_tJtBLRaXS9(op_VwBdEydXvH(a,b),op_tcjXMdvYtA(b))

def op_count_FZ3HAPnHuF(a, b):
    if op_vvkWjlpPOH(b) > 44:
        count = op_count_EfmNmIJYrc(b)+op_count_vvkWjlpPOH(b)
    else:
        count = op_count_VwBdEydXvH(a,b)+op_count_tcjXMdvYtA(b)+op_count_tJtBLRaXS9(op_VwBdEydXvH(a,b),op_tcjXMdvYtA(b))
    return count

vvkWjlpPOH tJtBLRaXS9 VwBdEydXvH EfmNmIJYrc tcjXMdvYtA


def op_ZM0i4Nc6IM(a):
    return op_Z57zeUYC9z(290,op_UqFzSgLMvQ(a))

def op_count_ZM0i4Nc6IM(a):
    count = op_count_UqFzSgLMvQ(a)+op_count_Z57zeUYC9z(290,op_UqFzSgLMvQ(a))
    return count


def op_TcEiwuCUEB(a):
    return op_9tKT6PmtkH(op_1aApVXNlOP(a,293))

def op_count_TcEiwuCUEB(a):
    count = op_count_1aApVXNlOP(a,293)+op_count_9tKT6PmtkH(op_1aApVXNlOP(a,293))
    return count


a⪴⨽b = { a , if b!=25 ; (((b⇩⇣b)⋄⩥∩(b⫟⪀b))∎⊌((b↙⇰b)⊯(↓⇌253))) , else }

def op_WOQIWRggyx(a, b):
    if b != 25:
        return a
    else:
        return op_QlDtpsi6BD(op_bq0uxnJnnH(op_UscWZcTkUL(b,b),op_ZG1KnpkPxw(b,b)),op_QLJ9aFu80N(op_14HHJbxGxH(b,b),op_PxpmPgHHJV(253)))

def op_count_WOQIWRggyx(a, b):
    if b != 25:
        count = 1
    else:
        count = op_count_UscWZcTkUL(b,b)+op_count_ZG1KnpkPxw(b,b)+op_count_bq0uxnJnnH(op_UscWZcTkUL(b,b),op_ZG1KnpkPxw(b,b))+op_count_14HHJbxGxH(b,b)+op_count_PxpmPgHHJV(253)+op_count_QLJ9aFu80N(op_14HHJbxGxH(b,b),op_PxpmPgHHJV(253))+op_count_QlDtpsi6BD(op_bq0uxnJnnH(op_UscWZcTkUL(b,b),op_ZG1KnpkPxw(b,b)),op_QLJ9aFu80N(op_14HHJbxGxH(b,b),op_PxpmPgHHJV(253)))
    return count


a⪖⇲⪣ = { (((a⊍≐)⇆⩒(⊆a))⩟⇛⊂((a⩥)⨦(a⋎⊡0))) }

def op_zOrdhqsGhh(a):
    return op_QT3sqWOBfx(op_jQIFa7kB8p(op_qh8pEW3YeR(a),op_5O3RcmakRU(a)),op_z4gvzBU7aQ(op_jS8qnsL3aY(a),op_jneptBQ8aA(a,0)))

def op_count_zOrdhqsGhh(a):
    count = op_count_qh8pEW3YeR(a)+op_count_5O3RcmakRU(a)+op_count_jQIFa7kB8p(op_qh8pEW3YeR(a),op_5O3RcmakRU(a))+op_count_jS8qnsL3aY(a)+op_count_jneptBQ8aA(a,0)+op_count_z4gvzBU7aQ(op_jS8qnsL3aY(a),op_jneptBQ8aA(a,0))+op_count_QT3sqWOBfx(op_jQIFa7kB8p(op_qh8pEW3YeR(a),op_5O3RcmakRU(a)),op_z4gvzBU7aQ(op_jS8qnsL3aY(a),op_jneptBQ8aA(a,0)))
    return count


≬↮⨛a = { (a⇪⋞(a⩛⫝(⇤∩a))) , if ((a⋝)!=472 and (a⊬⫿⊭)>=153) ; (((16≾a)≎⊠⪸(⩎∎⩢7))⇛≢∆((↥a)∝⫕∽(a⨾⪹⩗a))) , else }

def op_UbXdGohinL(a):
    if (op_1wGGHZzAai(a) != 472 and op_v0DYgG9ikt(a) >= 153):
        return op_XFtV96IEKB(a,op_otmuWEGPTu(a,op_BxNL6VpnAK(a)))
    else:
        return op_BRZFass3Bp(op_bJkvcejdHO(op_d5CHQX7ZoG(16,a),op_qAij2BThqh(7)),op_O6oPZIQyvW(op_A8NUZmVepG(a),op_EnxiqAYg5D(a,a)))

def op_count_UbXdGohinL(a):
    if (op_1wGGHZzAai(a) != 472 and op_v0DYgG9ikt(a) >= 153):
        count = op_count_BxNL6VpnAK(a)+op_count_otmuWEGPTu(a,op_BxNL6VpnAK(a))+op_count_XFtV96IEKB(a,op_otmuWEGPTu(a,op_BxNL6VpnAK(a)))+op_count_1wGGHZzAai(a)+op_count_v0DYgG9ikt(a)
    else:
        count = op_count_d5CHQX7ZoG(16,a)+op_count_qAij2BThqh(7)+op_count_bJkvcejdHO(op_d5CHQX7ZoG(16,a),op_qAij2BThqh(7))+op_count_A8NUZmVepG(a)+op_count_EnxiqAYg5D(a,a)+op_count_O6oPZIQyvW(op_A8NUZmVepG(a),op_EnxiqAYg5D(a,a))+op_count_BRZFass3Bp(op_bJkvcejdHO(op_d5CHQX7ZoG(16,a),op_qAij2BThqh(7)),op_O6oPZIQyvW(op_A8NUZmVepG(a),op_EnxiqAYg5D(a,a)))
    return count


def op_4rivTelrvC(a):
    if (op_LDnGwIg2on(a) == 380 or op_ryce98zMeW(a) < 111):
        return op_LBL36x6Kn9(a)
    else:
        return op_Dk5vyLCiGd(a)

def op_count_4rivTelrvC(a):
    if (op_LDnGwIg2on(a) == 380 or op_ryce98zMeW(a) < 111):
        count = op_count_LBL36x6Kn9(a)+op_count_LDnGwIg2on(a)+op_count_ryce98zMeW(a)
    else:
        count = op_count_Dk5vyLCiGd(a)
    return count


def op_xhdooDG6Rx(a, b):
    return op_lDgtejlvTV(op_SVbYQ5zZTr(op_zFNL8mZEFB(a,b),op_jLgFTUHLKL(a)),op_tJkeIIum6v(op_wV0kDBQWsc(b),b))

def op_count_xhdooDG6Rx(a, b):
    count = op_count_zFNL8mZEFB(a,b)+op_count_jLgFTUHLKL(a)+op_count_SVbYQ5zZTr(op_zFNL8mZEFB(a,b),op_jLgFTUHLKL(a))+op_count_wV0kDBQWsc(b)+op_count_tJkeIIum6v(op_wV0kDBQWsc(b),b)+op_count_lDgtejlvTV(op_SVbYQ5zZTr(op_zFNL8mZEFB(a,b),op_jLgFTUHLKL(a)),op_tJkeIIum6v(op_wV0kDBQWsc(b),b))
    return count


a⋡≃b = { ((⋓/⊺b)⨐⪤(a⨧⫦∟a)) , if (a⊰961)!=41 ; ((44⊠⋬↑b)⋾∩(a∿⊑≬a)) , else }

def op_NzNtVczcLC(a, b):
    if op_S6anzDtGf9(a,961) != 41:
        return op_4yVIdyRSpi(op_oTRQUtkgEY(b),op_jZLVGoLxNh(a,a))
    else:
        return op_2KNBRhPqiH(op_W7L2oCKInH(44,b),op_1j9NUrSBwK(a,a))

def op_count_NzNtVczcLC(a, b):
    if op_S6anzDtGf9(a,961) != 41:
        count = op_count_oTRQUtkgEY(b)+op_count_jZLVGoLxNh(a,a)+op_count_4yVIdyRSpi(op_oTRQUtkgEY(b),op_jZLVGoLxNh(a,a))+op_count_S6anzDtGf9(a,961)
    else:
        count = op_count_W7L2oCKInH(44,b)+op_count_1j9NUrSBwK(a,a)+op_count_2KNBRhPqiH(op_W7L2oCKInH(44,b),op_1j9NUrSBwK(a,a))
    return count


a∐⫇b = { ((≌⨡(b⫣⪰a))⇵((b→)↲⇞(a⨤⫳≈a))) , if b==663 ; (((∩⇸⇀b)↫⪋(b⩍⋽⫝̸a))%((b≣⪪⪧a)∿⊵⋹(b∪≡b))) , else }

def op_PwydOn4AwQ(a, b):
    if b == 663:
        return op_kVSeQakJeK(op_t8v8wpZpfx(op_K1I1yfA9nN(b,a)),op_en8SqOBqg4(op_zVbKEeMoGt(b),op_qIDt5vVHD5(a,a)))
    else:
        return op_k8jYdgA6NY(op_9Z0HYftGYc(op_2S2w38ZqYE(b),op_BiWNJpBvwn(b,a)),op_k8X3umw52W(op_7Qh4uK5oHN(b,a),op_IdpAe6zfUM(b,b)))

def op_count_PwydOn4AwQ(a, b):
    if b == 663:
        count = op_count_K1I1yfA9nN(b,a)+op_count_t8v8wpZpfx(op_K1I1yfA9nN(b,a))+op_count_zVbKEeMoGt(b)+op_count_qIDt5vVHD5(a,a)+op_count_en8SqOBqg4(op_zVbKEeMoGt(b),op_qIDt5vVHD5(a,a))+op_count_kVSeQakJeK(op_t8v8wpZpfx(op_K1I1yfA9nN(b,a)),op_en8SqOBqg4(op_zVbKEeMoGt(b),op_qIDt5vVHD5(a,a)))
    else:
        count = op_count_2S2w38ZqYE(b)+op_count_BiWNJpBvwn(b,a)+op_count_9Z0HYftGYc(op_2S2w38ZqYE(b),op_BiWNJpBvwn(b,a))+op_count_7Qh4uK5oHN(b,a)+op_count_IdpAe6zfUM(b,b)+op_count_k8X3umw52W(op_7Qh4uK5oHN(b,a),op_IdpAe6zfUM(b,b))+op_count_k8jYdgA6NY(op_9Z0HYftGYc(op_2S2w38ZqYE(b),op_BiWNJpBvwn(b,a)),op_k8X3umw52W(op_7Qh4uK5oHN(b,a),op_IdpAe6zfUM(b,b)))
    return count


def op_H38O1heHB8(a):
    if op_jiNQK0AA7m(a) <= 120:
        return op_22UCrTUJEh(op_ANJ5yRPvn6(245,a),op_XeoxXfbtOj(a))
    else:
        return op_YbUVn0Rbpy(op_jgzsi2wuu5(285,a),op_6iOiAJX1F8(a))

def op_count_H38O1heHB8(a):
    if op_jiNQK0AA7m(a) <= 120:
        count = op_count_ANJ5yRPvn6(245,a)+op_count_XeoxXfbtOj(a)+op_count_22UCrTUJEh(op_ANJ5yRPvn6(245,a),op_XeoxXfbtOj(a))+op_count_jiNQK0AA7m(a)
    else:
        count = op_count_jgzsi2wuu5(285,a)+op_count_6iOiAJX1F8(a)+op_count_YbUVn0Rbpy(op_jgzsi2wuu5(285,a),op_6iOiAJX1F8(a))
    return count


a↘⫼b = { (((b⫊b)⩻⇘⩦(b⪘⨀))⊤∬((a∀↭⫰b)⋐≟⩺(a⨰a))) }

def op_Vj82UMHPMx(a, b):
    return op_5WBlwMsBj2(op_BrdKLlllJJ(op_uPjn7n5pli(b,b),op_aA7tF3KVD3(b)),op_PjbVkMzmXE(op_2muwgCqbmH(a,b),op_eewbuw0ToL(a,a)))

def op_count_Vj82UMHPMx(a, b):
    count = op_count_uPjn7n5pli(b,b)+op_count_aA7tF3KVD3(b)+op_count_BrdKLlllJJ(op_uPjn7n5pli(b,b),op_aA7tF3KVD3(b))+op_count_2muwgCqbmH(a,b)+op_count_eewbuw0ToL(a,a)+op_count_PjbVkMzmXE(op_2muwgCqbmH(a,b),op_eewbuw0ToL(a,a))+op_count_5WBlwMsBj2(op_BrdKLlllJJ(op_uPjn7n5pli(b,b),op_aA7tF3KVD3(b)),op_PjbVkMzmXE(op_2muwgCqbmH(a,b),op_eewbuw0ToL(a,a)))
    return count


a≺⪤b = { (((a⋪⪸b)⋡⊕(b⫟⪀b))∥⋈≜((⇜⊥⊿b)⩌⫰⩃(b⩆b))) }

def op_Sr8YNAyyBy(a, b):
    return op_QAd1nPzBGT(op_Q1zyOcezdx(op_7DoUD1Rkxi(a,b),op_ZG1KnpkPxw(b,b)),op_Qkdmijf3a6(op_9AmiP8lhm4(b),op_QmMs3tyaZP(b,b)))

def op_count_Sr8YNAyyBy(a, b):
    count = op_count_7DoUD1Rkxi(a,b)+op_count_ZG1KnpkPxw(b,b)+op_count_Q1zyOcezdx(op_7DoUD1Rkxi(a,b),op_ZG1KnpkPxw(b,b))+op_count_9AmiP8lhm4(b)+op_count_QmMs3tyaZP(b,b)+op_count_Qkdmijf3a6(op_9AmiP8lhm4(b),op_QmMs3tyaZP(b,b))+op_count_QAd1nPzBGT(op_Q1zyOcezdx(op_7DoUD1Rkxi(a,b),op_ZG1KnpkPxw(b,b)),op_Qkdmijf3a6(op_9AmiP8lhm4(b),op_QmMs3tyaZP(b,b)))
    return count


∡⪼⋰a = { (((a⫃⨇a)⋨≳⪨)∀⩎⋷((a∎⫲⩖a)⊝⪿⪼(a*a))) }

def op_EcwCPJrLUB(a):
    return op_FPxP5Y1j0W(op_5XZti1rSw1(op_09Ly4LVMIf(a,a)),op_3Oe9XWJUTD(op_D4e1cgsuJu(a,a),op_9HNa5Wba9A(a,a)))

def op_count_EcwCPJrLUB(a):
    count = op_count_09Ly4LVMIf(a,a)+op_count_5XZti1rSw1(op_09Ly4LVMIf(a,a))+op_count_D4e1cgsuJu(a,a)+op_count_9HNa5Wba9A(a,a)+op_count_3Oe9XWJUTD(op_D4e1cgsuJu(a,a),op_9HNa5Wba9A(a,a))+op_count_FPxP5Y1j0W(op_5XZti1rSw1(op_09Ly4LVMIf(a,a)),op_3Oe9XWJUTD(op_D4e1cgsuJu(a,a),op_9HNa5Wba9A(a,a)))
    return count


def op_oUHy30loUW(a):
    return op_cnI436iWbz(a,a)

def op_count_oUHy30loUW(a):
    count = op_count_cnI436iWbz(a,a)
    return count


def op_oigdvY1BuH(a, b):
    if (op_jln2xDVLTl(a,446) > 240 or a == 90):
        return op_Z5CJsN7DuW(b)
    else:
        return op_SEtte5H3sk(a,107)

def op_count_oigdvY1BuH(a, b):
    if (op_jln2xDVLTl(a,446) > 240 or a == 90):
        count = op_count_Z5CJsN7DuW(b)+op_count_jln2xDVLTl(a,446)
    else:
        count = op_count_SEtte5H3sk(a,107)
    return count


a⊩⪙b = { (((a⫹⩪82)⋰(a⩡a))⩵((b⪩)∁⊟(b⪛a))) }

def op_gAeze2hhjy(a, b):
    return op_AiZuih6wUj(op_lDgtejlvTV(op_yWyjdngDvQ(a,82),op_G4EbQfwSm2(a,a)),op_HqcLaSpb3E(op_u7GmA9CWxF(b),op_uFcxV4UQCh(b,a)))

def op_count_gAeze2hhjy(a, b):
    count = op_count_yWyjdngDvQ(a,82)+op_count_G4EbQfwSm2(a,a)+op_count_lDgtejlvTV(op_yWyjdngDvQ(a,82),op_G4EbQfwSm2(a,a))+op_count_u7GmA9CWxF(b)+op_count_uFcxV4UQCh(b,a)+op_count_HqcLaSpb3E(op_u7GmA9CWxF(b),op_uFcxV4UQCh(b,a))+op_count_AiZuih6wUj(op_lDgtejlvTV(op_yWyjdngDvQ(a,82),op_G4EbQfwSm2(a,a)),op_HqcLaSpb3E(op_u7GmA9CWxF(b),op_uFcxV4UQCh(b,a)))
    return count


a↲ = { ((a↑⩧⩹a)⪃↞⩐) , if (a∛∙763)<=118 ; a , else }

def op_hfQ6xxn5As(a):
    if op_kpf4jZBDQQ(a,763) <= 118:
        return op_grXIztHqDa(op_EgBFiUa2UM(a,a))
    else:
        return a

def op_count_hfQ6xxn5As(a):
    if op_kpf4jZBDQQ(a,763) <= 118:
        count = op_count_EgBFiUa2UM(a,a)+op_count_grXIztHqDa(op_EgBFiUa2UM(a,a))+op_count_kpf4jZBDQQ(a,763)
    else:
        count = 1
    return count


def op_2T1OjuHgmb(a):
    return op_7GgezYTPa9(op_YFxL8Sc2Zy(a),op_eLxqMNBOBk(118))

def op_count_2T1OjuHgmb(a):
    count = op_count_YFxL8Sc2Zy(a)+op_count_eLxqMNBOBk(118)+op_count_7GgezYTPa9(op_YFxL8Sc2Zy(a),op_eLxqMNBOBk(118))
    return count


def op_G1NSauL6xc(a):
    return op_wHIWe8QR1k(op_wcUnr516Gq(op_ekA2oeJZMY(a,a),op_9HNa5Wba9A(a,a)),op_RafIHr9T3g(op_wff9HZunSZ(249)))

def op_count_G1NSauL6xc(a):
    count = op_count_ekA2oeJZMY(a,a)+op_count_9HNa5Wba9A(a,a)+op_count_wcUnr516Gq(op_ekA2oeJZMY(a,a),op_9HNa5Wba9A(a,a))+op_count_wff9HZunSZ(249)+op_count_RafIHr9T3g(op_wff9HZunSZ(249))+op_count_wHIWe8QR1k(op_wcUnr516Gq(op_ekA2oeJZMY(a,a),op_9HNa5Wba9A(a,a)),op_RafIHr9T3g(op_wff9HZunSZ(249)))
    return count


a⨔⊥⊮b = { (⇜⊴((178≞∰⩧a)⇉b)) , if (b⨝↳878)<326 ; (((⩝a)⨦(b⇧∕⇚b))⫋⊊((b⇚↩⩸a)⪌≁⫾(a⊖≡a))) , else }

def op_UKXeKwF0uS(a, b):
    if op_tqZXx6qj06(b,878) < 326:
        return op_XwDhCwWbUn(op_lJ0NnniDH7(op_j7UVJQGE8k(178,a),b))
    else:
        return op_kMX5G63lLu(op_z4gvzBU7aQ(op_AqJQW3khbP(a),op_ZVuupJtoea(b,b)),op_BpbpqQnb2W(op_FiUSHIPi3B(b,a),op_Qhrmy2cZ4F(a,a)))

def op_count_UKXeKwF0uS(a, b):
    if op_tqZXx6qj06(b,878) < 326:
        count = op_count_j7UVJQGE8k(178,a)+op_count_lJ0NnniDH7(op_j7UVJQGE8k(178,a),b)+op_count_XwDhCwWbUn(op_lJ0NnniDH7(op_j7UVJQGE8k(178,a),b))+op_count_tqZXx6qj06(b,878)
    else:
        count = op_count_AqJQW3khbP(a)+op_count_ZVuupJtoea(b,b)+op_count_z4gvzBU7aQ(op_AqJQW3khbP(a),op_ZVuupJtoea(b,b))+op_count_FiUSHIPi3B(b,a)+op_count_Qhrmy2cZ4F(a,a)+op_count_BpbpqQnb2W(op_FiUSHIPi3B(b,a),op_Qhrmy2cZ4F(a,a))+op_count_kMX5G63lLu(op_z4gvzBU7aQ(op_AqJQW3khbP(a),op_ZVuupJtoea(b,b)),op_BpbpqQnb2W(op_FiUSHIPi3B(b,a),op_Qhrmy2cZ4F(a,a)))
    return count


def op_A6I87Ow00X(a, b):
    if op_2DlMacCsIx(a,559) < 19:
        return op_fHEWrCoiIm(op_SUmda5xLS4(b,a),op_j6xpuCeBbW(a))
    else:
        return op_uU3XJfDBdq(op_VionArRWsA(a,690),op_oxSU0Fg4Pf(138,a))

def op_count_A6I87Ow00X(a, b):
    if op_2DlMacCsIx(a,559) < 19:
        count = op_count_SUmda5xLS4(b,a)+op_count_j6xpuCeBbW(a)+op_count_fHEWrCoiIm(op_SUmda5xLS4(b,a),op_j6xpuCeBbW(a))+op_count_2DlMacCsIx(a,559)
    else:
        count = op_count_VionArRWsA(a,690)+op_count_oxSU0Fg4Pf(138,a)+op_count_uU3XJfDBdq(op_VionArRWsA(a,690),op_oxSU0Fg4Pf(138,a))
    return count


def op_wxeaSVuD12(a):
    return op_BThhyOhh10(op_bR7FmX73P0(a,288))

def op_count_wxeaSVuD12(a):
    count = op_count_bR7FmX73P0(a,288)+op_count_BThhyOhh10(op_bR7FmX73P0(a,288))
    return count


def op_JOesmJVzrd(a, b):
    return op_Utzb0HjIke(op_bR7FmX73P0(a,b))

def op_count_JOesmJVzrd(a, b):
    count = op_count_bR7FmX73P0(a,b)+op_count_Utzb0HjIke(op_bR7FmX73P0(a,b))
    return count


a⊟⩒b = { (a⨽∌(a⊬⇕⩯a)) , if (b⊻↮∮310)==136 ; (∱≗(∋⩁b)) , else }

def op_9jGFtftlop(a, b):
    if op_myvUJCpSMz(b,310) == 136:
        return op_9samAPKr6k(a,op_QmNHwIPJpO(a,a))
    else:
        return op_TLSiz8NPqi(op_Vi115CZOaf(b))

def op_count_9jGFtftlop(a, b):
    if op_myvUJCpSMz(b,310) == 136:
        count = op_count_QmNHwIPJpO(a,a)+op_count_9samAPKr6k(a,op_QmNHwIPJpO(a,a))+op_count_myvUJCpSMz(b,310)
    else:
        count = op_count_Vi115CZOaf(b)+op_count_TLSiz8NPqi(op_Vi115CZOaf(b))
    return count


def op_wOkvhh7ogV(a):
    return op_EBhcHTkKd8(op_WxMdBijbcV(op_hfpBUD6oBE(a,a),op_K6AsHvFZGJ(a,a)))

def op_count_wOkvhh7ogV(a):
    count = op_count_hfpBUD6oBE(a,a)+op_count_K6AsHvFZGJ(a,a)+op_count_WxMdBijbcV(op_hfpBUD6oBE(a,a),op_K6AsHvFZGJ(a,a))+op_count_EBhcHTkKd8(op_WxMdBijbcV(op_hfpBUD6oBE(a,a),op_K6AsHvFZGJ(a,a)))
    return count


def op_SK7tYYU6xb(a, b):
    return op_3A4HHuzcAZ(op_eevbwfw6pN(op_1eCjFl0mb9(b,a)))

def op_count_SK7tYYU6xb(a, b):
    count = op_count_1eCjFl0mb9(b,a)+op_count_eevbwfw6pN(op_1eCjFl0mb9(b,a))+op_count_3A4HHuzcAZ(op_eevbwfw6pN(op_1eCjFl0mb9(b,a)))
    return count


def op_IxmNKyYnDL(a):
    if (op_NZxXvgSuBG(a) == 823 or a <= 163):
        return op_oTRQUtkgEY(op_QbnwKVWMIQ(op_YdxZk85PfS(556,a),op_d5CHQX7ZoG(268,a)))
    else:
        return op_P5jP6ymN6L(op_0VM5IIwWHX(op_e2I50Kkg91(a)),op_AmQ3iGDvqx(op_diFBhjFx7A(a,a),op_B1Lk3S4aEx(295)))

def op_count_IxmNKyYnDL(a):
    if (op_NZxXvgSuBG(a) == 823 or a <= 163):
        count = op_count_YdxZk85PfS(556,a)+op_count_d5CHQX7ZoG(268,a)+op_count_QbnwKVWMIQ(op_YdxZk85PfS(556,a),op_d5CHQX7ZoG(268,a))+op_count_oTRQUtkgEY(op_QbnwKVWMIQ(op_YdxZk85PfS(556,a),op_d5CHQX7ZoG(268,a)))+op_count_NZxXvgSuBG(a)
    else:
        count = op_count_e2I50Kkg91(a)+op_count_0VM5IIwWHX(op_e2I50Kkg91(a))+op_count_diFBhjFx7A(a,a)+op_count_B1Lk3S4aEx(295)+op_count_AmQ3iGDvqx(op_diFBhjFx7A(a,a),op_B1Lk3S4aEx(295))+op_count_P5jP6ymN6L(op_0VM5IIwWHX(op_e2I50Kkg91(a)),op_AmQ3iGDvqx(op_diFBhjFx7A(a,a),op_B1Lk3S4aEx(295)))
    return count


a⪏⨔⇙b = { ((⇻⨃⇄(⪨↰a))↧((a⇎⋱a)∠⊨≪(b⋮≀b))) }

def op_Dye1y9yfmu(a, b):
    return op_5LE63mxGOF(op_fLGIAiPz9h(op_blQ9vzDKd0(a)),op_Y6u3OyaTgl(op_bIDw1T0Uny(a,a),op_VTngge07Jm(b,b)))

def op_count_Dye1y9yfmu(a, b):
    count = op_count_blQ9vzDKd0(a)+op_count_fLGIAiPz9h(op_blQ9vzDKd0(a))+op_count_bIDw1T0Uny(a,a)+op_count_VTngge07Jm(b,b)+op_count_Y6u3OyaTgl(op_bIDw1T0Uny(a,a),op_VTngge07Jm(b,b))+op_count_5LE63mxGOF(op_fLGIAiPz9h(op_blQ9vzDKd0(a)),op_Y6u3OyaTgl(op_bIDw1T0Uny(a,a),op_VTngge07Jm(b,b)))
    return count


def op_XmGbNvpYjI(a):
    if (op_tvgk37t61b(a) > 406 or a != 624 or op_a3IilZSQIP(a) != 634):
        return op_x6jq9dVbvD(op_6iafYuwGo8(21,a),op_FiUSHIPi3B(a,a))
    else:
        return op_cHPIEQy0Cf(op_DykcjiQqpf(a,224))

def op_count_XmGbNvpYjI(a):
    if (op_tvgk37t61b(a) > 406 or a != 624 or op_a3IilZSQIP(a) != 634):
        count = op_count_6iafYuwGo8(21,a)+op_count_FiUSHIPi3B(a,a)+op_count_x6jq9dVbvD(op_6iafYuwGo8(21,a),op_FiUSHIPi3B(a,a))+op_count_tvgk37t61b(a)+op_count_a3IilZSQIP(a)
    else:
        count = op_count_DykcjiQqpf(a,224)+op_count_cHPIEQy0Cf(op_DykcjiQqpf(a,224))
    return count


def op_UTQvfVN19Q(a):
    if (op_exzyYvvvzF(a,342) != 51 or op_CId4SrfWPi(a) != 70 or op_bC7qXxvICT(a) >= 397):
        return op_2DDjHMKMc0(op_9yWvQzZuYL(a),op_7PjNe5qSIJ(op_OuNwQ8h2ZL(a,771),op_4yVIdyRSpi(a,165)))
    else:
        return op_fGTNyEZ31R(op_lN5Hu1ptA5(op_YBjRNIjNLy(a,304),a),op_1wjmvXM3JT(op_Dk5vyLCiGd(a),op_cFVlceoRkX(a,a)))

def op_count_UTQvfVN19Q(a):
    if (op_exzyYvvvzF(a,342) != 51 or op_CId4SrfWPi(a) != 70 or op_bC7qXxvICT(a) >= 397):
        count = op_count_9yWvQzZuYL(a)+op_count_OuNwQ8h2ZL(a,771)+op_count_4yVIdyRSpi(a,165)+op_count_7PjNe5qSIJ(op_OuNwQ8h2ZL(a,771),op_4yVIdyRSpi(a,165))+op_count_2DDjHMKMc0(op_9yWvQzZuYL(a),op_7PjNe5qSIJ(op_OuNwQ8h2ZL(a,771),op_4yVIdyRSpi(a,165)))+op_count_exzyYvvvzF(a,342)+op_count_CId4SrfWPi(a)+op_count_bC7qXxvICT(a)
    else:
        count = op_count_YBjRNIjNLy(a,304)+op_count_lN5Hu1ptA5(op_YBjRNIjNLy(a,304),a)+op_count_Dk5vyLCiGd(a)+op_count_cFVlceoRkX(a,a)+op_count_1wjmvXM3JT(op_Dk5vyLCiGd(a),op_cFVlceoRkX(a,a))+op_count_fGTNyEZ31R(op_lN5Hu1ptA5(op_YBjRNIjNLy(a,304),a),op_1wjmvXM3JT(op_Dk5vyLCiGd(a),op_cFVlceoRkX(a,a)))
    return count


a⊝−⊄ = { (((a⊇⫘⪍a)∋∓⫟113)≆⪨⩷((112⨆⫳⊗a)⪂⪕≍(a⋺⫬a))) , if (⩬⊰⋒a)>65 ; ((⫊≒≼(a↷⊢))∣((a⨅a)⨬(a⇪↠⋁a))) , else }

def op_EIoQ7rJQFj(a):
    if op_CcwCj3AAlH(a) > 65:
        return op_0e2ucfioNt(op_xTgA75nXjt(op_dUpriDnGP5(a,a),113),op_WHRxrbF8gO(op_lKgWx0LCvK(112,a),op_N2CwLZHY2H(a,a)))
    else:
        return op_PPChnnnBFF(op_8Rbqmg3L2h(op_mox3eEFvMs(a)),op_NsGlVlbNoR(op_MscnI5MLJ2(a,a),op_Mb1WsTvFll(a,a)))

def op_count_EIoQ7rJQFj(a):
    if op_CcwCj3AAlH(a) > 65:
        count = op_count_dUpriDnGP5(a,a)+op_count_xTgA75nXjt(op_dUpriDnGP5(a,a),113)+op_count_lKgWx0LCvK(112,a)+op_count_N2CwLZHY2H(a,a)+op_count_WHRxrbF8gO(op_lKgWx0LCvK(112,a),op_N2CwLZHY2H(a,a))+op_count_0e2ucfioNt(op_xTgA75nXjt(op_dUpriDnGP5(a,a),113),op_WHRxrbF8gO(op_lKgWx0LCvK(112,a),op_N2CwLZHY2H(a,a)))+op_count_CcwCj3AAlH(a)
    else:
        count = op_count_mox3eEFvMs(a)+op_count_8Rbqmg3L2h(op_mox3eEFvMs(a))+op_count_MscnI5MLJ2(a,a)+op_count_Mb1WsTvFll(a,a)+op_count_NsGlVlbNoR(op_MscnI5MLJ2(a,a),op_Mb1WsTvFll(a,a))+op_count_PPChnnnBFF(op_8Rbqmg3L2h(op_mox3eEFvMs(a)),op_NsGlVlbNoR(op_MscnI5MLJ2(a,a),op_Mb1WsTvFll(a,a)))
    return count


def op_EvWkNk7VX0(a, b):
    return op_Jf2MRgTP95(op_ebeGRCukrZ(op_wFGzIcZ3iX(a,b)),op_ccHmK6PBIn(op_5hNsobdibZ(b,a)))

def op_count_EvWkNk7VX0(a, b):
    count = op_count_wFGzIcZ3iX(a,b)+op_count_ebeGRCukrZ(op_wFGzIcZ3iX(a,b))+op_count_5hNsobdibZ(b,a)+op_count_ccHmK6PBIn(op_5hNsobdibZ(b,a))+op_count_Jf2MRgTP95(op_ebeGRCukrZ(op_wFGzIcZ3iX(a,b)),op_ccHmK6PBIn(op_5hNsobdibZ(b,a)))
    return count


a≲⨒≛b = { (((b⇃≦/)⨑⇌⫪(≧⊳a))≡((a⩗91)↹⊜(a∺≝⩲b))) }

def op_uqQynTWNAX(a, b):
    return op_oW1cUEY5Sq(op_OMlED4Os5J(op_ubtJ3OYPeS(b),op_GMrB5OisJT(a)),op_9bazX3JMtO(op_TrDKUjqfgw(a,91),op_KPf6cnQVty(a,b)))

def op_count_uqQynTWNAX(a, b):
    count = op_count_ubtJ3OYPeS(b)+op_count_GMrB5OisJT(a)+op_count_OMlED4Os5J(op_ubtJ3OYPeS(b),op_GMrB5OisJT(a))+op_count_TrDKUjqfgw(a,91)+op_count_KPf6cnQVty(a,b)+op_count_9bazX3JMtO(op_TrDKUjqfgw(a,91),op_KPf6cnQVty(a,b))+op_count_oW1cUEY5Sq(op_OMlED4Os5J(op_ubtJ3OYPeS(b),op_GMrB5OisJT(a)),op_9bazX3JMtO(op_TrDKUjqfgw(a,91),op_KPf6cnQVty(a,b)))
    return count


def op_o4zejGpx3v(a):
    return op_tKiiq4oRTN(op_oacrs7FA3X(a,a))

def op_count_o4zejGpx3v(a):
    count = op_count_oacrs7FA3X(a,a)+op_count_tKiiq4oRTN(op_oacrs7FA3X(a,a))
    return count


def op_I6P5P7ZOUk(a):
    return op_ceRqZ68cFu(op_dvgeamS7g2(37,a),op_kvyeM8WEH2(a,a))

def op_count_I6P5P7ZOUk(a):
    count = op_count_dvgeamS7g2(37,a)+op_count_kvyeM8WEH2(a,a)+op_count_ceRqZ68cFu(op_dvgeamS7g2(37,a),op_kvyeM8WEH2(a,a))
    return count


def op_J2wtRQwxRJ(a, b):
    if (b < 216 or a >= 49 or a != 155):
        return op_Gl4WN4Uwdx(b,186)
    else:
        return op_mRABlwQNwR(b,a)

def op_count_J2wtRQwxRJ(a, b):
    if (b < 216 or a >= 49 or a != 155):
        count = op_count_Gl4WN4Uwdx(b,186)
    else:
        count = op_count_mRABlwQNwR(b,a)
    return count


def op_THyt1Znf1Q(a):
    return op_aXwoIQj555(op_xaRIqAkB3v(a,a),op_hyuBjUqXlG(a,a))

def op_count_THyt1Znf1Q(a):
    count = op_count_xaRIqAkB3v(a,a)+op_count_hyuBjUqXlG(a,a)+op_count_aXwoIQj555(op_xaRIqAkB3v(a,a),op_hyuBjUqXlG(a,a))
    return count


def op_TuVnAk00s5(a):
    return op_r42jg1nETI(op_HK0tfVPux8(a,9),op_xRBuNLHaeO(a,a))

def op_count_TuVnAk00s5(a):
    count = op_count_HK0tfVPux8(a,9)+op_count_xRBuNLHaeO(a,a)+op_count_r42jg1nETI(op_HK0tfVPux8(a,9),op_xRBuNLHaeO(a,a))
    return count


a⨄⇱⋆ = { (((a⇸⊌∿a)⫇⩸⨢(31↪⩀a))⊬⩼⊳((a⨯∮a)⩴a)) }

def op_cjqiF7riNC(a):
    return op_4F7LFkBAZC(op_diu054m9en(op_5hNsobdibZ(a,a),op_e3Vku0ulLb(31,a)),op_8YdTO89gQD(op_vvWkAKV61U(a,a),a))

def op_count_cjqiF7riNC(a):
    count = op_count_5hNsobdibZ(a,a)+op_count_e3Vku0ulLb(31,a)+op_count_diu054m9en(op_5hNsobdibZ(a,a),op_e3Vku0ulLb(31,a))+op_count_vvWkAKV61U(a,a)+op_count_8YdTO89gQD(op_vvWkAKV61U(a,a),a)+op_count_4F7LFkBAZC(op_diu054m9en(op_5hNsobdibZ(a,a),op_e3Vku0ulLb(31,a)),op_8YdTO89gQD(op_vvWkAKV61U(a,a),a))
    return count


def op_ry9Y9khYZI(a):
    return op_ET0KLvfdmE(a,op_vs8iUQwOA7(a,a))

def op_count_ry9Y9khYZI(a):
    count = op_count_vs8iUQwOA7(a,a)+op_count_ET0KLvfdmE(a,op_vs8iUQwOA7(a,a))
    return count


def op_8rV5Za9tV4(a):
    return op_CgIo77xlM2(op_vilDxIvKHQ(a))

def op_count_8rV5Za9tV4(a):
    count = op_count_vilDxIvKHQ(a)+op_count_CgIo77xlM2(op_vilDxIvKHQ(a))
    return count


a↩≙∟b = { (((a⇔⪫180)↲⇰(a⋤a))⪔≤((b≹≨⨇b)⫿∴(↺⪉⨢684))) }

def op_R8Ex4iThqb(a, b):
    return op_dnsoz1tpAU(op_PfBB7jGsSd(op_sYkX6kT28T(a,180),op_3FfuuMEB8X(a,a)),op_8ZeUWtbGhp(op_aGhYYhn7J7(b,b),op_zFY2A2ppo2(684)))

def op_count_R8Ex4iThqb(a, b):
    count = op_count_sYkX6kT28T(a,180)+op_count_3FfuuMEB8X(a,a)+op_count_PfBB7jGsSd(op_sYkX6kT28T(a,180),op_3FfuuMEB8X(a,a))+op_count_aGhYYhn7J7(b,b)+op_count_zFY2A2ppo2(684)+op_count_8ZeUWtbGhp(op_aGhYYhn7J7(b,b),op_zFY2A2ppo2(684))+op_count_dnsoz1tpAU(op_PfBB7jGsSd(op_sYkX6kT28T(a,180),op_3FfuuMEB8X(a,a)),op_8ZeUWtbGhp(op_aGhYYhn7J7(b,b),op_zFY2A2ppo2(684)))
    return count


def op_TW1xdWVL2t(a):
    return op_eLxqMNBOBk(op_E1o5MFdtNP(op_YLJhMbTGGW(a,a),op_HcR3lMcVMO(23,a)))

def op_count_TW1xdWVL2t(a):
    count = op_count_YLJhMbTGGW(a,a)+op_count_HcR3lMcVMO(23,a)+op_count_E1o5MFdtNP(op_YLJhMbTGGW(a,a),op_HcR3lMcVMO(23,a))+op_count_eLxqMNBOBk(op_E1o5MFdtNP(op_YLJhMbTGGW(a,a),op_HcR3lMcVMO(23,a)))
    return count


a↮⋫⪪b = { (b⪖⪡a) , if (b>219 or (↿a)!=13) ; (b≤⨝) , else }

def op_xSE4zQdLy1(a, b):
    if (b > 219 or op_DDyFJYJzaO(a) != 13):
        return op_7PjNe5qSIJ(b,a)
    else:
        return op_itkOnPxCeF(b)

def op_count_xSE4zQdLy1(a, b):
    if (b > 219 or op_DDyFJYJzaO(a) != 13):
        count = op_count_7PjNe5qSIJ(b,a)+op_count_DDyFJYJzaO(a)
    else:
        count = op_count_itkOnPxCeF(b)
    return count


a⊱⋝b = { ((⇣(a⪨⪽a))∡≴⫵((b⪺⋮b)⇵(406⇇≺⩫a))) }

def op_EJvLRUhMvt(a, b):
    return op_tJkeIIum6v(op_jrW1E7Ncie(op_XjS7Uyx2OE(a,a)),op_kVSeQakJeK(op_3s7bcXIOLx(b,b),op_XVG3v5SdcH(406,a)))

def op_count_EJvLRUhMvt(a, b):
    count = op_count_XjS7Uyx2OE(a,a)+op_count_jrW1E7Ncie(op_XjS7Uyx2OE(a,a))+op_count_3s7bcXIOLx(b,b)+op_count_XVG3v5SdcH(406,a)+op_count_kVSeQakJeK(op_3s7bcXIOLx(b,b),op_XVG3v5SdcH(406,a))+op_count_tJkeIIum6v(op_jrW1E7Ncie(op_XjS7Uyx2OE(a,a)),op_kVSeQakJeK(op_3s7bcXIOLx(b,b),op_XVG3v5SdcH(406,a)))
    return count


def op_C8IQglFYk9(a):
    return op_b3qeQyvZfP(op_AsCFVB39Ml(a,a),op_Kgf5n7vQLW(a,a))

def op_count_C8IQglFYk9(a):
    count = op_count_AsCFVB39Ml(a,a)+op_count_Kgf5n7vQLW(a,a)+op_count_b3qeQyvZfP(op_AsCFVB39Ml(a,a),op_Kgf5n7vQLW(a,a))
    return count


def op_n0un4DgNJJ(a):
    return op_MBVn70KtPJ(op_0pE9j4xUU7(a,260),a)

def op_count_n0un4DgNJJ(a):
    count = op_count_0pE9j4xUU7(a,260)+op_count_MBVn70KtPJ(op_0pE9j4xUU7(a,260),a)
    return count


def op_9knWTddxAL(a):
    return op_HrjLwUk87U(op_YbUVn0Rbpy(a,op_sMWVT9hqlZ(a,246)),op_rPNtK4BLRO(a,op_ToXGGHTZgx(a,a)))

def op_count_9knWTddxAL(a):
    count = op_count_sMWVT9hqlZ(a,246)+op_count_YbUVn0Rbpy(a,op_sMWVT9hqlZ(a,246))+op_count_ToXGGHTZgx(a,a)+op_count_rPNtK4BLRO(a,op_ToXGGHTZgx(a,a))+op_count_HrjLwUk87U(op_YbUVn0Rbpy(a,op_sMWVT9hqlZ(a,246)),op_rPNtK4BLRO(a,op_ToXGGHTZgx(a,a)))
    return count


def op_DDal5Tb4Wm(a):
    return op_DHxEmMn2cg(a,op_6Ac6Foig3G(a))

def op_count_DDal5Tb4Wm(a):
    count = op_count_6Ac6Foig3G(a)+op_count_DHxEmMn2cg(a,op_6Ac6Foig3G(a))
    return count


def op_QOt3funPBV(a):
    return op_s1XTVnmDOJ(op_VcI7WilXed(op_8HhzD0ZcuI(a,a),op_NkElgCjZ6e(a)),op_7l9ndgg2I8(op_myvUJCpSMz(a,a)))

def op_count_QOt3funPBV(a):
    count = op_count_8HhzD0ZcuI(a,a)+op_count_NkElgCjZ6e(a)+op_count_VcI7WilXed(op_8HhzD0ZcuI(a,a),op_NkElgCjZ6e(a))+op_count_myvUJCpSMz(a,a)+op_count_7l9ndgg2I8(op_myvUJCpSMz(a,a))+op_count_s1XTVnmDOJ(op_VcI7WilXed(op_8HhzD0ZcuI(a,a),op_NkElgCjZ6e(a)),op_7l9ndgg2I8(op_myvUJCpSMz(a,a)))
    return count


def op_6QXjsV4cel(a):
    if op_GfE2GQMWLl(a) <= 3:
        return op_qhklwjTpUT(op_kvIXUmKfYG(338),op_lJ0NnniDH7(71,a))
    else:
        return op_S2EdmdiVZh(op_fctvr1MjnF(604),op_ITUoubXGQQ(a,a))

def op_count_6QXjsV4cel(a):
    if op_GfE2GQMWLl(a) <= 3:
        count = op_count_kvIXUmKfYG(338)+op_count_lJ0NnniDH7(71,a)+op_count_qhklwjTpUT(op_kvIXUmKfYG(338),op_lJ0NnniDH7(71,a))+op_count_GfE2GQMWLl(a)
    else:
        count = op_count_fctvr1MjnF(604)+op_count_ITUoubXGQQ(a,a)+op_count_S2EdmdiVZh(op_fctvr1MjnF(604),op_ITUoubXGQQ(a,a))
    return count


a⩟⫊ = { (a⊣⨺a) , if a<=15 and (a⩌⩤⨢)<330 ; (a⋪) , else }

def op_SfaMdI55ki(a):
    if a <= 15 and op_Y6oNw2t4Hd(a) < 330:
        return op_8yGz9s51pC(a,a)
    else:
        return op_ua2fiIHkOT(a)

def op_count_SfaMdI55ki(a):
    if a <= 15 and op_Y6oNw2t4Hd(a) < 330:
        count = op_count_8yGz9s51pC(a,a)+op_count_Y6oNw2t4Hd(a)
    else:
        count = op_count_ua2fiIHkOT(a)
    return count


a↡≇b = { (⋥↴≬(b↯)) , if (⪫a)<=76 ; ((b≺⋏b)⊋(4⨬b)) , else }

def op_JNCR0seNDw(a, b):
    if op_YF5BSoti8F(a) <= 76:
        return op_gZrEJN9j6U(op_devHHn6C3c(b))
    else:
        return op_W4tP9CfskL(op_exBNT1EbB9(b,b),op_NsGlVlbNoR(4,b))

def op_count_JNCR0seNDw(a, b):
    if op_YF5BSoti8F(a) <= 76:
        count = op_count_devHHn6C3c(b)+op_count_gZrEJN9j6U(op_devHHn6C3c(b))+op_count_YF5BSoti8F(a)
    else:
        count = op_count_exBNT1EbB9(b,b)+op_count_NsGlVlbNoR(4,b)+op_count_W4tP9CfskL(op_exBNT1EbB9(b,b),op_NsGlVlbNoR(4,b))
    return count


a≊⩺b = { (b⩎⨬a) , if b==9 ; (b⊝⪿⪼a) , else }

def op_VNRPem7Emt(a, b):
    if b == 9:
        return op_dR2gYrpTIj(b,a)
    else:
        return op_3Oe9XWJUTD(b,a)

def op_count_VNRPem7Emt(a, b):
    if b == 9:
        count = op_count_dR2gYrpTIj(b,a)
    else:
        count = op_count_3Oe9XWJUTD(b,a)
    return count


a⪊⋘⫝b = { (453↻(⫃≁(a⪎⪖a))) , if (b⫛⫻)==47 ; (((b⪶⇭⨩b)⪡⨥(b∲↓≵))⩣⪛((b⇪↧a)⇃⪼(14⊨⫯↵b))) , else }

def op_SEAGOOoQ7b(a, b):
    if op_n6pADOZxVN(b) == 47:
        return op_XFunts32PM(453,op_2RrC8bMJqa(op_CLzOjURgVu(a,a)))
    else:
        return op_NINxns2OXj(op_rN9dtwqe3n(op_MDOrnnnMYl(b,b),op_M2pIAIy88N(b)),op_KfHK9LWpY5(op_yRqWCfy5LI(b,a),op_5UdJKhy29U(14,b)))

def op_count_SEAGOOoQ7b(a, b):
    if op_n6pADOZxVN(b) == 47:
        count = op_count_CLzOjURgVu(a,a)+op_count_2RrC8bMJqa(op_CLzOjURgVu(a,a))+op_count_XFunts32PM(453,op_2RrC8bMJqa(op_CLzOjURgVu(a,a)))+op_count_n6pADOZxVN(b)
    else:
        count = op_count_MDOrnnnMYl(b,b)+op_count_M2pIAIy88N(b)+op_count_rN9dtwqe3n(op_MDOrnnnMYl(b,b),op_M2pIAIy88N(b))+op_count_yRqWCfy5LI(b,a)+op_count_5UdJKhy29U(14,b)+op_count_KfHK9LWpY5(op_yRqWCfy5LI(b,a),op_5UdJKhy29U(14,b))+op_count_NINxns2OXj(op_rN9dtwqe3n(op_MDOrnnnMYl(b,b),op_M2pIAIy88N(b)),op_KfHK9LWpY5(op_yRqWCfy5LI(b,a),op_5UdJKhy29U(14,b)))
    return count


def op_DBOBVDFmn2(a):
    return op_eupb9vlVPb(op_9kyI0w1glK(a,a))

def op_count_DBOBVDFmn2(a):
    count = op_count_9kyI0w1glK(a,a)+op_count_eupb9vlVPb(op_9kyI0w1glK(a,a))
    return count


def op_u0wbo9ghq7(a):
    return op_FSasnAb2iR(op_Bi9z9uYZqW(a),a)

def op_count_u0wbo9ghq7(a):
    count = op_count_Bi9z9uYZqW(a)+op_count_FSasnAb2iR(op_Bi9z9uYZqW(a),a)
    return count


def op_YEzmam5oPs(a):
    return op_XGcMNugi78(42,a)

def op_count_YEzmam5oPs(a):
    count = op_count_XGcMNugi78(42,a)
    return count


a≏≏⫂ = { (((a⪦a)⨀⨟)⨧⫸∅((a∔∭⪄352)⋺⫬(⫛⫝a))) }

def op_DSsC0z35Q7(a):
    return op_xQ7F9HlfPt(op_M1Ax2yJ6Vm(op_S2EdmdiVZh(a,a)),op_N2CwLZHY2H(op_FYxAUuNJ3U(a,352),op_wKVdG4GJt7(a)))

def op_count_DSsC0z35Q7(a):
    count = op_count_S2EdmdiVZh(a,a)+op_count_M1Ax2yJ6Vm(op_S2EdmdiVZh(a,a))+op_count_FYxAUuNJ3U(a,352)+op_count_wKVdG4GJt7(a)+op_count_N2CwLZHY2H(op_FYxAUuNJ3U(a,352),op_wKVdG4GJt7(a))+op_count_xQ7F9HlfPt(op_M1Ax2yJ6Vm(op_S2EdmdiVZh(a,a)),op_N2CwLZHY2H(op_FYxAUuNJ3U(a,352),op_wKVdG4GJt7(a)))
    return count


def op_e68KwH04fM(a, b):
    if (op_lGaBDnHbCC(a,232) > 473 and op_lBJ7sFuA67(a,101) > 113 and op_HK0tfVPux8(b,689) == 39):
        return op_jWTQ2TZYIH(op_W2rMsuCzF8(b),op_5ujlfRu9Nu(a,a))
    else:
        return op_16INH09eNu(op_jfYOP67v6Y(a),b)

def op_count_e68KwH04fM(a, b):
    if (op_lGaBDnHbCC(a,232) > 473 and op_lBJ7sFuA67(a,101) > 113 and op_HK0tfVPux8(b,689) == 39):
        count = op_count_W2rMsuCzF8(b)+op_count_5ujlfRu9Nu(a,a)+op_count_jWTQ2TZYIH(op_W2rMsuCzF8(b),op_5ujlfRu9Nu(a,a))+op_count_lGaBDnHbCC(a,232)+op_count_lBJ7sFuA67(a,101)+op_count_HK0tfVPux8(b,689)
    else:
        count = op_count_jfYOP67v6Y(a)+op_count_16INH09eNu(op_jfYOP67v6Y(a),b)
    return count


def op_YVt7CpsNIX(a):
    return op_3rZ4WEyoU0(op_3mEz3wejNI(a))

def op_count_YVt7CpsNIX(a):
    count = op_count_3mEz3wejNI(a)+op_count_3rZ4WEyoU0(op_3mEz3wejNI(a))
    return count


⫧⨼a = { (a≿⋩⊚555) , if (a⪲)<107 ; (a⇉⩢⩯) , else }

def op_PqPBtz8Fo4(a):
    if op_Jd6bdEZZlR(a) < 107:
        return op_WQ21BOxugs(a,555)
    else:
        return op_ukGrET2Cg0(a)

def op_count_PqPBtz8Fo4(a):
    if op_Jd6bdEZZlR(a) < 107:
        count = op_count_WQ21BOxugs(a,555)+op_count_Jd6bdEZZlR(a)
    else:
        count = op_count_ukGrET2Cg0(a)
    return count


def op_gaSfjIu40R(a, b):
    return op_yTHSiPy4RE(op_Gl4WN4Uwdx(b,a))

def op_count_gaSfjIu40R(a, b):
    count = op_count_Gl4WN4Uwdx(b,a)+op_count_yTHSiPy4RE(op_Gl4WN4Uwdx(b,a))
    return count


def op_XbEkhYNcJE(a, b):
    if op_I77jZxbMqF(a,899) == 24:
        return op_If09U4imfG(op_4kvgVkQeiQ(166),op_ziBb4sC0ZT(194))
    else:
        return op_IWmyXbctLI(b,op_eEHzvCyXuO(b))

def op_count_XbEkhYNcJE(a, b):
    if op_I77jZxbMqF(a,899) == 24:
        count = op_count_4kvgVkQeiQ(166)+op_count_ziBb4sC0ZT(194)+op_count_If09U4imfG(op_4kvgVkQeiQ(166),op_ziBb4sC0ZT(194))+op_count_I77jZxbMqF(a,899)
    else:
        count = op_count_eEHzvCyXuO(b)+op_count_IWmyXbctLI(b,op_eEHzvCyXuO(b))
    return count


a↡⋏b = { ((⪳⫿a)∺≝⩲b) , if (⩆≗b)<=942 ; ((b⩲a)⩮⊘↞(a∑a)) , else }

def op_81Z41jhurJ(a, b):
    if op_SMyk87KdZU(b) <= 942:
        return op_KPf6cnQVty(op_2mWyOD2ke3(a),b)
    else:
        return op_Qqyumcscty(op_UvedHhwKRj(b,a),op_JFrVJKYFMX(a,a))

def op_count_81Z41jhurJ(a, b):
    if op_SMyk87KdZU(b) <= 942:
        count = op_count_2mWyOD2ke3(a)+op_count_KPf6cnQVty(op_2mWyOD2ke3(a),b)+op_count_SMyk87KdZU(b)
    else:
        count = op_count_UvedHhwKRj(b,a)+op_count_JFrVJKYFMX(a,a)+op_count_Qqyumcscty(op_UvedHhwKRj(b,a),op_JFrVJKYFMX(a,a))
    return count


a⫻⋧ = { ((a⋘⇝⩳a)∺⇼⇿(a⇻⊹451)) , if (a⇬)<79 ; (⊗(a∦⨀a)) , else }

def op_fxJSSRFwCt(a):
    if op_GAVB7XhWSO(a) < 79:
        return op_THQMdUzaDA(op_E1o5MFdtNP(a,a),op_gQpPSlYAud(a,451))
    else:
        return op_RhiyfpczSx(op_59i70fHhft(a,a))

def op_count_fxJSSRFwCt(a):
    if op_GAVB7XhWSO(a) < 79:
        count = op_count_E1o5MFdtNP(a,a)+op_count_gQpPSlYAud(a,451)+op_count_THQMdUzaDA(op_E1o5MFdtNP(a,a),op_gQpPSlYAud(a,451))+op_count_GAVB7XhWSO(a)
    else:
        count = op_count_59i70fHhft(a,a)+op_count_RhiyfpczSx(op_59i70fHhft(a,a))
    return count


a∰⫸⩌b = { (((≉⊈⨃a)⨌(⨆≐≲a))≢⨮⊬((b↞⊦⋕b)⫭↝(⨐⋃⊡b))) }

def op_iQhOHdKFce(a, b):
    return op_bZVfxpBV3i(op_YdvuPOw6Zp(op_kNtlGfu7Pf(a),op_Bi9z9uYZqW(a)),op_n4DPn5x9ZW(op_jV8AwRZkI7(b,b),op_lBZCiJp9SE(b)))

def op_count_iQhOHdKFce(a, b):
    count = op_count_kNtlGfu7Pf(a)+op_count_Bi9z9uYZqW(a)+op_count_YdvuPOw6Zp(op_kNtlGfu7Pf(a),op_Bi9z9uYZqW(a))+op_count_jV8AwRZkI7(b,b)+op_count_lBZCiJp9SE(b)+op_count_n4DPn5x9ZW(op_jV8AwRZkI7(b,b),op_lBZCiJp9SE(b))+op_count_bZVfxpBV3i(op_YdvuPOw6Zp(op_kNtlGfu7Pf(a),op_Bi9z9uYZqW(a)),op_n4DPn5x9ZW(op_jV8AwRZkI7(b,b),op_lBZCiJp9SE(b)))
    return count


⊜⊜a = { (((a⫒⩐⫨a)⫏(a∾≭))⇌⫙⪟((a≀⇓∃a)∃⫆⨉(⋭≈a))) }

def op_gA7jnhTi3D(a):
    return op_AFVx7xoS7T(op_uQ5MaQD2YO(op_xf6eqZIrT0(a,a),op_2TfmgxUuUr(a)),op_N2dd4xFYSL(op_kXpzAH9jno(a,a),op_3UBWuKoTzU(a)))

def op_count_gA7jnhTi3D(a):
    count = op_count_xf6eqZIrT0(a,a)+op_count_2TfmgxUuUr(a)+op_count_uQ5MaQD2YO(op_xf6eqZIrT0(a,a),op_2TfmgxUuUr(a))+op_count_kXpzAH9jno(a,a)+op_count_3UBWuKoTzU(a)+op_count_N2dd4xFYSL(op_kXpzAH9jno(a,a),op_3UBWuKoTzU(a))+op_count_AFVx7xoS7T(op_uQ5MaQD2YO(op_xf6eqZIrT0(a,a),op_2TfmgxUuUr(a)),op_N2dd4xFYSL(op_kXpzAH9jno(a,a),op_3UBWuKoTzU(a)))
    return count


def op_yD4OLUtLkA(a, b):
    return op_UscWZcTkUL(op_PVw4wBg8va(b,a),op_A8NUZmVepG(295))

def op_count_yD4OLUtLkA(a, b):
    count = op_count_PVw4wBg8va(b,a)+op_count_A8NUZmVepG(295)+op_count_UscWZcTkUL(op_PVw4wBg8va(b,a),op_A8NUZmVepG(295))
    return count


def op_Ky23fDbHIN(a):
    return op_ruocl2TjRv(op_US97TQlt8r(153,a),op_FlXk3pOYe8(a))

def op_count_Ky23fDbHIN(a):
    count = op_count_US97TQlt8r(153,a)+op_count_FlXk3pOYe8(a)+op_count_ruocl2TjRv(op_US97TQlt8r(153,a),op_FlXk3pOYe8(a))
    return count


a⨘∹b = { (((266⪜a)↨⩘)⊝⪿⪼a) , if (b⋫⫫)!=52 ; (⫦≽⪐((a⩓34)⨇≷∥(a⇣⩺⋵a))) , else }

def op_dzAneifoyM(a, b):
    if op_6hz2NCYjHL(b) != 52:
        return op_3Oe9XWJUTD(op_1pJ76SN1ns(op_EMR9JvRK8T(266,a)),a)
    else:
        return op_fjqJgF5yyp(op_ER3VUc6CxE(op_ZkTErvSsVl(a,34),op_F4yD0voBRQ(a,a)))

def op_count_dzAneifoyM(a, b):
    if op_6hz2NCYjHL(b) != 52:
        count = op_count_EMR9JvRK8T(266,a)+op_count_1pJ76SN1ns(op_EMR9JvRK8T(266,a))+op_count_3Oe9XWJUTD(op_1pJ76SN1ns(op_EMR9JvRK8T(266,a)),a)+op_count_6hz2NCYjHL(b)
    else:
        count = op_count_ZkTErvSsVl(a,34)+op_count_F4yD0voBRQ(a,a)+op_count_ER3VUc6CxE(op_ZkTErvSsVl(a,34),op_F4yD0voBRQ(a,a))+op_count_fjqJgF5yyp(op_ER3VUc6CxE(op_ZkTErvSsVl(a,34),op_F4yD0voBRQ(a,a)))
    return count


a↭∷⨦b = { (⇋b) , if (a≇⇜≀)<269 ; (b∟⋩≫b) , else }

def op_CCYvMPNbl0(a, b):
    if op_aos9xEMCa3(a) < 269:
        return op_6Ac6Foig3G(b)
    else:
        return op_BCU6VgEl6D(b,b)

def op_count_CCYvMPNbl0(a, b):
    if op_aos9xEMCa3(a) < 269:
        count = op_count_6Ac6Foig3G(b)+op_count_aos9xEMCa3(a)
    else:
        count = op_count_BCU6VgEl6D(b,b)
    return count


def op_u9CaLR0vHS(a):
    if a != 107:
        return op_IjGhTk7PpW(145,a)
    else:
        return op_6MREPLFO5z(a,181)

def op_count_u9CaLR0vHS(a):
    if a != 107:
        count = op_count_IjGhTk7PpW(145,a)
    else:
        count = op_count_6MREPLFO5z(a,181)
    return count


a⨌⇆⊄b = { (((a≋≥a)⫰⋊⋯(b⫚↹⊑a))⪿⪠≾((b⫣≾⊺a)⪔≤(b⩋⇋a))) , if (≍b)==0 ; (((≉⪛b)⇳(⩎⋉b))⨏(⊈↤(⨍a))) , else }

def op_IEaxuteP8c(a, b):
    if op_qDGJMdN0kq(b) == 0:
        return op_SGDLQMSxql(op_9tbqhEjA70(op_p8rocv1ccI(a,a),op_dfKe02y8D2(b,a)),op_dnsoz1tpAU(op_LXAvwK8YDe(b,a),op_5eM6Qp6mRY(b,a)))
    else:
        return op_AJW4C0rBPs(op_ekA2oeJZMY(op_QMy7l8Gp61(b),op_FlXk3pOYe8(b)),op_hFvFHqVvZy(op_pf0uqpgSkL(a)))

def op_count_IEaxuteP8c(a, b):
    if op_qDGJMdN0kq(b) == 0:
        count = op_count_p8rocv1ccI(a,a)+op_count_dfKe02y8D2(b,a)+op_count_9tbqhEjA70(op_p8rocv1ccI(a,a),op_dfKe02y8D2(b,a))+op_count_LXAvwK8YDe(b,a)+op_count_5eM6Qp6mRY(b,a)+op_count_dnsoz1tpAU(op_LXAvwK8YDe(b,a),op_5eM6Qp6mRY(b,a))+op_count_SGDLQMSxql(op_9tbqhEjA70(op_p8rocv1ccI(a,a),op_dfKe02y8D2(b,a)),op_dnsoz1tpAU(op_LXAvwK8YDe(b,a),op_5eM6Qp6mRY(b,a)))+op_count_qDGJMdN0kq(b)
    else:
        count = op_count_QMy7l8Gp61(b)+op_count_FlXk3pOYe8(b)+op_count_ekA2oeJZMY(op_QMy7l8Gp61(b),op_FlXk3pOYe8(b))+op_count_pf0uqpgSkL(a)+op_count_hFvFHqVvZy(op_pf0uqpgSkL(a))+op_count_AJW4C0rBPs(op_ekA2oeJZMY(op_QMy7l8Gp61(b),op_FlXk3pOYe8(b)),op_hFvFHqVvZy(op_pf0uqpgSkL(a)))
    return count


def op_yUJoOxHnOD(a):
    if (a == 227 and op_bqn6BngAyz(a,355) == 79):
        return op_aBQ6xLxuTc(op_E7xopLvnHe(287,a),op_sYkX6kT28T(733,93))
    else:
        return op_iCFmNpcOux(op_7Qh4uK5oHN(a,a))

def op_count_yUJoOxHnOD(a):
    if (a == 227 and op_bqn6BngAyz(a,355) == 79):
        count = op_count_E7xopLvnHe(287,a)+op_count_sYkX6kT28T(733,93)+op_count_aBQ6xLxuTc(op_E7xopLvnHe(287,a),op_sYkX6kT28T(733,93))+op_count_bqn6BngAyz(a,355)
    else:
        count = op_count_7Qh4uK5oHN(a,a)+op_count_iCFmNpcOux(op_7Qh4uK5oHN(a,a))
    return count


def op_k2UMPqxokg(a):
    return op_grXIztHqDa(op_2TXroppNd4(a,a))

def op_count_k2UMPqxokg(a):
    count = op_count_2TXroppNd4(a,a)+op_count_grXIztHqDa(op_2TXroppNd4(a,a))
    return count


def op_1TeaI018f5(a, b):
    if op_zqg0bjjuED(a) <= 404 and b != 211 and op_Xn8VX980RZ(a) != 198:
        return op_8AKr1ZaVfa(op_9HNa5Wba9A(b,b))
    else:
        return b

def op_count_1TeaI018f5(a, b):
    if op_zqg0bjjuED(a) <= 404 and b != 211 and op_Xn8VX980RZ(a) != 198:
        count = op_count_9HNa5Wba9A(b,b)+op_count_8AKr1ZaVfa(op_9HNa5Wba9A(b,b))+op_count_zqg0bjjuED(a)+op_count_Xn8VX980RZ(a)
    else:
        count = 1
    return count


a⊾⪍⇠b = { (b≙⪾a) , if (⇻b)>=431 ; (⇶⩗⩅b) , else }

def op_ZRQRDfrpkZ(a, b):
    if op_hiLoF09tr3(b) >= 431:
        return op_OhqpJ7Tl0K(b,a)
    else:
        return op_MVP4l6Shxk(b)

def op_count_ZRQRDfrpkZ(a, b):
    if op_hiLoF09tr3(b) >= 431:
        count = op_count_OhqpJ7Tl0K(b,a)+op_count_hiLoF09tr3(b)
    else:
        count = op_count_MVP4l6Shxk(b)
    return count


def op_kzMYT8W7Zd(a, b):
    if op_jPzvRlArHT(a) >= 159:
        return 223
    else:
        return op_NkmDxhANyO(op_tcjXMdvYtA(193),op_agzRJtrQZ2(a,b))

def op_count_kzMYT8W7Zd(a, b):
    if op_jPzvRlArHT(a) >= 159:
        count = op_count_jPzvRlArHT(a)
    else:
        count = op_count_tcjXMdvYtA(193)+op_count_agzRJtrQZ2(a,b)+op_count_NkmDxhANyO(op_tcjXMdvYtA(193),op_agzRJtrQZ2(a,b))
    return count

agzRJtrQZ2 jPzvRlArHT tcjXMdvYtA NkmDxhANyO


def op_BVqyoTvjMr(a):
    return op_zVYPLywUTj(op_Xn8VX980RZ(a))

def op_count_BVqyoTvjMr(a):
    count = op_count_Xn8VX980RZ(a)+op_count_zVYPLywUTj(op_Xn8VX980RZ(a))
    return count


def op_T7fl5gIC18(a, b):
    if op_pDi3HXNjDB(b,220) < 365:
        return op_C4PqR2W9Pw(op_sVMiUtOpJT(b,a),op_xQeZU3TIrN(a,a))
    else:
        return op_Vx83N9Bscg(op_fICjaz8Yf3(386,b))

def op_count_T7fl5gIC18(a, b):
    if op_pDi3HXNjDB(b,220) < 365:
        count = op_count_sVMiUtOpJT(b,a)+op_count_xQeZU3TIrN(a,a)+op_count_C4PqR2W9Pw(op_sVMiUtOpJT(b,a),op_xQeZU3TIrN(a,a))+op_count_pDi3HXNjDB(b,220)
    else:
        count = op_count_fICjaz8Yf3(386,b)+op_count_Vx83N9Bscg(op_fICjaz8Yf3(386,b))
    return count


def op_5O2hjjEpjY(a, b):
    return op_51hOuhRTcR(op_s1XTVnmDOJ(a,b),op_mQAUEyL64v(506,b))

def op_count_5O2hjjEpjY(a, b):
    count = op_count_s1XTVnmDOJ(a,b)+op_count_mQAUEyL64v(506,b)+op_count_51hOuhRTcR(op_s1XTVnmDOJ(a,b),op_mQAUEyL64v(506,b))
    return count


def op_OJtkd7vwnz(a, b):
    if op_438NZEZFZN(a) <= 80:
        return op_Ikma4L65yo(op_fdQiiaMU1g(op_uoTFhueqY9(544,151)))
    else:
        return op_zoVUxTIMAa(op_aN9a90urxU(op_jKh9xaBIQ5(b,29)),op_CmdEnb6c1H(b))

def op_count_OJtkd7vwnz(a, b):
    if op_438NZEZFZN(a) <= 80:
        count = op_count_uoTFhueqY9(544,151)+op_count_fdQiiaMU1g(op_uoTFhueqY9(544,151))+op_count_Ikma4L65yo(op_fdQiiaMU1g(op_uoTFhueqY9(544,151)))+op_count_438NZEZFZN(a)
    else:
        count = op_count_jKh9xaBIQ5(b,29)+op_count_aN9a90urxU(op_jKh9xaBIQ5(b,29))+op_count_CmdEnb6c1H(b)+op_count_zoVUxTIMAa(op_aN9a90urxU(op_jKh9xaBIQ5(b,29)),op_CmdEnb6c1H(b))
    return count


def op_bVmu0utCo3(a):
    return op_ukq6epAj5P(op_BKLvChGpzJ(a),op_YKXtVccgU0(360))

def op_count_bVmu0utCo3(a):
    count = op_count_BKLvChGpzJ(a)+op_count_YKXtVccgU0(360)+op_count_ukq6epAj5P(op_BKLvChGpzJ(a),op_YKXtVccgU0(360))
    return count


def op_NcOiAVe3U1(a):
    return op_keMeIxFVQ3(op_G68iXt2SEN(a),op_jvbZP6NeOL(a))

def op_count_NcOiAVe3U1(a):
    count = op_count_G68iXt2SEN(a)+op_count_jvbZP6NeOL(a)+op_count_keMeIxFVQ3(op_G68iXt2SEN(a),op_jvbZP6NeOL(a))
    return count


def op_nISchaphgK(a, b):
    return op_CqXKPLVYql(op_xdPrHzyJaz(op_sQ9a9XOMpm(a,b)))

def op_count_nISchaphgK(a, b):
    count = op_count_sQ9a9XOMpm(a,b)+op_count_xdPrHzyJaz(op_sQ9a9XOMpm(a,b))+op_count_CqXKPLVYql(op_xdPrHzyJaz(op_sQ9a9XOMpm(a,b)))
    return count


def op_khTULAW01t(a):
    return op_inYIwJ0bD8(op_T9SPe3fQV2(op_yXb8vAEUka(a),a))

def op_count_khTULAW01t(a):
    count = op_count_yXb8vAEUka(a)+op_count_T9SPe3fQV2(op_yXb8vAEUka(a),a)+op_count_inYIwJ0bD8(op_T9SPe3fQV2(op_yXb8vAEUka(a),a))
    return count


def op_UGy7J2WVVH(a):
    if a > 101:
        return op_2u38eHdNB5(op_WCUQA2F43R(239),op_DaGtvK0FhA(22,a))
    else:
        return op_kltGiwuiXL(a,op_2lEcbzNZ3I(a,a))

def op_count_UGy7J2WVVH(a):
    if a > 101:
        count = op_count_WCUQA2F43R(239)+op_count_DaGtvK0FhA(22,a)+op_count_2u38eHdNB5(op_WCUQA2F43R(239),op_DaGtvK0FhA(22,a))
    else:
        count = op_count_2lEcbzNZ3I(a,a)+op_count_kltGiwuiXL(a,op_2lEcbzNZ3I(a,a))
    return count


a⇔⩴≼b = { (((b⊿⇌4)⫆)≕∾(≹↦⩒(a⩴⇩⩭a))) , if (b⇆⨝↺)<349 ; ((⫥⋿(a⪝⨱⫷))⋝⋈⪟((a∆⪖b)∄⪞(a⩉⇙a))) , else }

def op_Ss7kna3OSG(a, b):
    if op_YbZxT5zkAA(b) < 349:
        return op_F9pSHpyQ3k(op_cGHQRUc1Fx(op_bzTfts3R6K(b,4)),op_nCSYG0sci4(op_ZlduNN376N(a,a)))
    else:
        return op_2DDjHMKMc0(op_QVLtFdL5M6(op_UgJUmNBkC4(a)),op_gBVRdjwhPO(op_vHxjA6kYGK(a,b),op_Bi6gyirjvn(a,a)))

def op_count_Ss7kna3OSG(a, b):
    if op_YbZxT5zkAA(b) < 349:
        count = op_count_bzTfts3R6K(b,4)+op_count_cGHQRUc1Fx(op_bzTfts3R6K(b,4))+op_count_ZlduNN376N(a,a)+op_count_nCSYG0sci4(op_ZlduNN376N(a,a))+op_count_F9pSHpyQ3k(op_cGHQRUc1Fx(op_bzTfts3R6K(b,4)),op_nCSYG0sci4(op_ZlduNN376N(a,a)))+op_count_YbZxT5zkAA(b)
    else:
        count = op_count_UgJUmNBkC4(a)+op_count_QVLtFdL5M6(op_UgJUmNBkC4(a))+op_count_vHxjA6kYGK(a,b)+op_count_Bi6gyirjvn(a,a)+op_count_gBVRdjwhPO(op_vHxjA6kYGK(a,b),op_Bi6gyirjvn(a,a))+op_count_2DDjHMKMc0(op_QVLtFdL5M6(op_UgJUmNBkC4(a)),op_gBVRdjwhPO(op_vHxjA6kYGK(a,b),op_Bi6gyirjvn(a,a)))
    return count