⩓≩⫉a = { (((a⩼⇪↪a)⪒⊣⊆(a⊙))⨐((↰⫏a)⪔⊥(a⊉↱≁195))) , if a<710 ; (∥⊫a) , else }

def op_BfLBOJrMaJ(a):
    if a < 710:
        return op_Noe24qw2ks(op_eRqsBgTDFp(op_ocnLzx9CaJ(a,a),op_pjdzZ5rP1Y(a)),op_HJ9erzHUuu(op_UeUK5QjOtW(a),op_w2P8NbNXyL(a,195)))
    else:
        return op_P8v4zCKN1o(a)

def op_count_BfLBOJrMaJ(a):
    if a < 710:
        count = op_count_ocnLzx9CaJ(a,a)+op_count_pjdzZ5rP1Y(a)+op_count_eRqsBgTDFp(op_ocnLzx9CaJ(a,a),op_pjdzZ5rP1Y(a))+op_count_UeUK5QjOtW(a)+op_count_w2P8NbNXyL(a,195)+op_count_HJ9erzHUuu(op_UeUK5QjOtW(a),op_w2P8NbNXyL(a,195))+op_count_Noe24qw2ks(op_eRqsBgTDFp(op_ocnLzx9CaJ(a,a),op_pjdzZ5rP1Y(a)),op_HJ9erzHUuu(op_UeUK5QjOtW(a),op_w2P8NbNXyL(a,195)))
    else:
        count = op_count_P8v4zCKN1o(a)
    return count


def op_xOiC0cHLh6(a):
    return op_u6S6b8DprG(op_vg4gO5BX6G(op_t0cKpDWDXO(672),op_hiBDRd40bf(a,a)))

def op_count_xOiC0cHLh6(a):
    count = op_count_t0cKpDWDXO(672)+op_count_hiBDRd40bf(a,a)+op_count_vg4gO5BX6G(op_t0cKpDWDXO(672),op_hiBDRd40bf(a,a))+op_count_u6S6b8DprG(op_vg4gO5BX6G(op_t0cKpDWDXO(672),op_hiBDRd40bf(a,a)))
    return count


a⩟⩡ = { (((a∫⋜⩖a)⩘⋿(⊀⇵a))⇤((⇉-⫰a)⩤∜↚(⩗⪄a))) }

def op_oKSGqQbncl(a):
    return op_YSKBFp38Pu(op_64EQ39e0fC(op_JgXZM7XvWE(a,a),op_B3tNObfNaL(a)),op_KROiRRz3d6(op_IGFM8TAlm9(a),op_Y9dhGmbGii(a)))

def op_count_oKSGqQbncl(a):
    count = op_count_JgXZM7XvWE(a,a)+op_count_B3tNObfNaL(a)+op_count_64EQ39e0fC(op_JgXZM7XvWE(a,a),op_B3tNObfNaL(a))+op_count_IGFM8TAlm9(a)+op_count_Y9dhGmbGii(a)+op_count_KROiRRz3d6(op_IGFM8TAlm9(a),op_Y9dhGmbGii(a))+op_count_YSKBFp38Pu(op_64EQ39e0fC(op_JgXZM7XvWE(a,a),op_B3tNObfNaL(a)),op_KROiRRz3d6(op_IGFM8TAlm9(a),op_Y9dhGmbGii(a)))
    return count


def op_qVQ2UlSx0b(a, b):
    return op_eVHdItn4YL(op_2DQ55sFlQl(op_qy3n0tapmE(b,a),op_Api82iH42a(a,a)))

def op_count_qVQ2UlSx0b(a, b):
    count = op_count_qy3n0tapmE(b,a)+op_count_Api82iH42a(a,a)+op_count_2DQ55sFlQl(op_qy3n0tapmE(b,a),op_Api82iH42a(a,a))+op_count_eVHdItn4YL(op_2DQ55sFlQl(op_qy3n0tapmE(b,a),op_Api82iH42a(a,a)))
    return count


def op_9ZM5VOQw7n(a):
    return op_HjMFvreeUu(op_tIhPxZTbsh(81,op_keuJNkrrbj(a,532)))

def op_count_9ZM5VOQw7n(a):
    count = op_count_keuJNkrrbj(a,532)+op_count_tIhPxZTbsh(81,op_keuJNkrrbj(a,532))+op_count_HjMFvreeUu(op_tIhPxZTbsh(81,op_keuJNkrrbj(a,532)))
    return count


def op_bRnnbjT7Lp(a):
    if op_2DRhT6gtPg(a) <= 600:
        return op_jBC4ymW3D7(383,a)
    else:
        return op_27wFxooxGf(a)

def op_count_bRnnbjT7Lp(a):
    if op_2DRhT6gtPg(a) <= 600:
        count = op_count_jBC4ymW3D7(383,a)+op_count_2DRhT6gtPg(a)
    else:
        count = op_count_27wFxooxGf(a)
    return count


a∢⨡≗b = { (⩣⪁((b⋷a)∁)) , if b>26 ; (((b↼⊘⨖108)⊉≛↸a)∙∹∝((b⋳/b)∀⩎⋷(a⊩≵⪔))) , else }

def op_j0FS1QXHo5(a, b):
    if b > 26:
        return op_W2rMsuCzF8(op_jdwGQqwJi5(op_23Mk6UjR3U(b,a)))
    else:
        return op_HmxsFra2vL(op_DZ8iAZOCBD(op_bPywburJMS(b,108),a),op_FPxP5Y1j0W(op_m612RDITqL(b,b),op_aDRGw0okjd(a)))

def op_count_j0FS1QXHo5(a, b):
    if b > 26:
        count = op_count_23Mk6UjR3U(b,a)+op_count_jdwGQqwJi5(op_23Mk6UjR3U(b,a))+op_count_W2rMsuCzF8(op_jdwGQqwJi5(op_23Mk6UjR3U(b,a)))
    else:
        count = op_count_bPywburJMS(b,108)+op_count_DZ8iAZOCBD(op_bPywburJMS(b,108),a)+op_count_m612RDITqL(b,b)+op_count_aDRGw0okjd(a)+op_count_FPxP5Y1j0W(op_m612RDITqL(b,b),op_aDRGw0okjd(a))+op_count_HmxsFra2vL(op_DZ8iAZOCBD(op_bPywburJMS(b,108),a),op_FPxP5Y1j0W(op_m612RDITqL(b,b),op_aDRGw0okjd(a)))
    return count


def op_Cip0snuw7U(a, b):
    if op_aiqF8n6J9c(a,298) == 61:
        return op_3tVxb0NHM4(op_ar1w6gUwHX(29,b),op_uysxUYN2L2(a,b))
    else:
        return op_wisItNeSwq(op_Cr5xnr8B4B(239,a))

def op_count_Cip0snuw7U(a, b):
    if op_aiqF8n6J9c(a,298) == 61:
        count = op_count_ar1w6gUwHX(29,b)+op_count_uysxUYN2L2(a,b)+op_count_3tVxb0NHM4(op_ar1w6gUwHX(29,b),op_uysxUYN2L2(a,b))+op_count_aiqF8n6J9c(a,298)
    else:
        count = op_count_Cr5xnr8B4B(239,a)+op_count_wisItNeSwq(op_Cr5xnr8B4B(239,a))
    return count


def op_U5ZKo8DQUb(a, b):
    return op_C6VvDP6HwP(op_AFVx7xoS7T(op_dfKe02y8D2(336,b),op_ObEyaaML9x(a,a)))

def op_count_U5ZKo8DQUb(a, b):
    count = op_count_dfKe02y8D2(336,b)+op_count_ObEyaaML9x(a,a)+op_count_AFVx7xoS7T(op_dfKe02y8D2(336,b),op_ObEyaaML9x(a,a))+op_count_C6VvDP6HwP(op_AFVx7xoS7T(op_dfKe02y8D2(336,b),op_ObEyaaML9x(a,a)))
    return count


def op_zitDEEUIOR(a):
    return op_P8v4zCKN1o(op_kuIXHzHcAH(op_YbVcJGFEVW(585,a),op_s0IfDFCCuZ(106,a)))

def op_count_zitDEEUIOR(a):
    count = op_count_YbVcJGFEVW(585,a)+op_count_s0IfDFCCuZ(106,a)+op_count_kuIXHzHcAH(op_YbVcJGFEVW(585,a),op_s0IfDFCCuZ(106,a))+op_count_P8v4zCKN1o(op_kuIXHzHcAH(op_YbVcJGFEVW(585,a),op_s0IfDFCCuZ(106,a)))
    return count


def op_reVGrTqfuh(a, b):
    return op_PrwIXj9ZQe(op_aiqF8n6J9c(a,b))

def op_count_reVGrTqfuh(a, b):
    count = op_count_aiqF8n6J9c(a,b)+op_count_PrwIXj9ZQe(op_aiqF8n6J9c(a,b))
    return count


def op_5brc6wQHzR(a):
    return op_59igzFyhWz(op_Cr5xnr8B4B(a,a))

def op_count_5brc6wQHzR(a):
    count = op_count_Cr5xnr8B4B(a,a)+op_count_59igzFyhWz(op_Cr5xnr8B4B(a,a))
    return count


a⊛⋬⋔b = { (a≟⫹a) , if (b⊛⫍⩜)<=32 ; b , else }

def op_WvLrLe1sfH(a, b):
    if op_KaSTSbOewx(b) <= 32:
        return op_z2JHNkvbdm(a,a)
    else:
        return b

def op_count_WvLrLe1sfH(a, b):
    if op_KaSTSbOewx(b) <= 32:
        count = op_count_z2JHNkvbdm(a,a)+op_count_KaSTSbOewx(b)
    else:
        count = 1
    return count


def op_rcPEhkfKrA(a):
    if a == 245:
        return op_2PILXiQIjy(a)
    else:
        return op_E4l6HwMY31(a,218)

def op_count_rcPEhkfKrA(a):
    if a == 245:
        count = op_count_2PILXiQIjy(a)
    else:
        count = op_count_E4l6HwMY31(a,218)
    return count


def op_WVYjq70o3q(a):
    return op_OKKcZfAt5B(op_Tmr9JGNMVH(a),op_hmlrMsD2PO(a,a))

def op_count_WVYjq70o3q(a):
    count = op_count_Tmr9JGNMVH(a)+op_count_hmlrMsD2PO(a,a)+op_count_OKKcZfAt5B(op_Tmr9JGNMVH(a),op_hmlrMsD2PO(a,a))
    return count


def op_LsZlLlgs1U(a):
    if a != 77 and op_d8xe6WWVfM(a,696) <= 288:
        return op_gSr4c7pPrV(op_rv8OxMkTSD(a))
    else:
        return op_rv8OxMkTSD(op_XbEAUggs3J(a))

def op_count_LsZlLlgs1U(a):
    if a != 77 and op_d8xe6WWVfM(a,696) <= 288:
        count = op_count_rv8OxMkTSD(a)+op_count_gSr4c7pPrV(op_rv8OxMkTSD(a))+op_count_d8xe6WWVfM(a,696)
    else:
        count = op_count_XbEAUggs3J(a)+op_count_rv8OxMkTSD(op_XbEAUggs3J(a))
    return count


def op_obeET8rFtc(a, b):
    if op_d8xe6WWVfM(a,590) >= 106:
        return op_2jG7DiviLq(a)
    else:
        return op_rysDP5nf3Z(a,b)

def op_count_obeET8rFtc(a, b):
    if op_d8xe6WWVfM(a,590) >= 106:
        count = op_count_2jG7DiviLq(a)+op_count_d8xe6WWVfM(a,590)
    else:
        count = op_count_rysDP5nf3Z(a,b)
    return count


a∲⫈⊪b = { (((b↰)∘(b≶a))↪∷((b⊝⪿⪼51)≼(b∀⩎⋷b))) }

def op_XMp7OlDfur(a, b):
    return op_Api82iH42a(op_Z5m6OM72h2(op_bl5wxAcryP(b),op_Q2SPaKwpPJ(b,a)),op_SPuZE40Ntn(op_3Oe9XWJUTD(b,51),op_FPxP5Y1j0W(b,b)))

def op_count_XMp7OlDfur(a, b):
    count = op_count_bl5wxAcryP(b)+op_count_Q2SPaKwpPJ(b,a)+op_count_Z5m6OM72h2(op_bl5wxAcryP(b),op_Q2SPaKwpPJ(b,a))+op_count_3Oe9XWJUTD(b,51)+op_count_FPxP5Y1j0W(b,b)+op_count_SPuZE40Ntn(op_3Oe9XWJUTD(b,51),op_FPxP5Y1j0W(b,b))+op_count_Api82iH42a(op_Z5m6OM72h2(op_bl5wxAcryP(b),op_Q2SPaKwpPJ(b,a)),op_SPuZE40Ntn(op_3Oe9XWJUTD(b,51),op_FPxP5Y1j0W(b,b)))
    return count


def op_3l0286Hu2p(a):
    return op_rXAclfmB4M(op_COABgblf1C(a,op_AnPstFaJd9(a)))

def op_count_3l0286Hu2p(a):
    count = op_count_AnPstFaJd9(a)+op_count_COABgblf1C(a,op_AnPstFaJd9(a))+op_count_rXAclfmB4M(op_COABgblf1C(a,op_AnPstFaJd9(a)))
    return count


def op_JvRhpr1fD5(a):
    return op_GMN7JP6WpN(op_40aOVDgCDB(a),op_neKQRQQIil(a,a))

def op_count_JvRhpr1fD5(a):
    count = op_count_40aOVDgCDB(a)+op_count_neKQRQQIil(a,a)+op_count_GMN7JP6WpN(op_40aOVDgCDB(a),op_neKQRQQIil(a,a))
    return count


def op_iMsmH2WNgD(a):
    return op_5twsqlHp2o(a,a)

def op_count_iMsmH2WNgD(a):
    count = op_count_5twsqlHp2o(a,a)
    return count


⫷⩒a = { (a⪭a) , if a>=418 ; (↞≼a) , else }

def op_bPRg614uub(a):
    if a >= 418:
        return op_j9kHMeSvPp(a,a)
    else:
        return op_DE7zCoGJt9(a)

def op_count_bPRg614uub(a):
    if a >= 418:
        count = op_count_j9kHMeSvPp(a,a)
    else:
        count = op_count_DE7zCoGJt9(a)
    return count


a⪗≔⫊ = { (((a⋅∹⩇)≦↸(⩪⩔a))∠↢((a∺≝⩲a)⊉≛↸(232⋂⩴a))) }

def op_rXIkazgc8y(a):
    return op_KbjG8mgYpV(op_RygbFNSyEJ(op_Tmr9JGNMVH(a),op_Siyfjn51pv(a)),op_DZ8iAZOCBD(op_KPf6cnQVty(a,a),op_hmlrMsD2PO(232,a)))

def op_count_rXIkazgc8y(a):
    count = op_count_Tmr9JGNMVH(a)+op_count_Siyfjn51pv(a)+op_count_RygbFNSyEJ(op_Tmr9JGNMVH(a),op_Siyfjn51pv(a))+op_count_KPf6cnQVty(a,a)+op_count_hmlrMsD2PO(232,a)+op_count_DZ8iAZOCBD(op_KPf6cnQVty(a,a),op_hmlrMsD2PO(232,a))+op_count_KbjG8mgYpV(op_RygbFNSyEJ(op_Tmr9JGNMVH(a),op_Siyfjn51pv(a)),op_DZ8iAZOCBD(op_KPf6cnQVty(a,a),op_hmlrMsD2PO(232,a)))
    return count


≟⨙⨚a = { (((a⪨⊡121)⊵↤)∠⫱((≅≯⇸a)↼⊘⨖(⇠10))) , if a<=20 ; (⨞⊢(⩪⩔(a⪚⨁⋖a))) , else }

def op_EAnnDYaExr(a):
    if a <= 20:
        return op_QvoQhV0rrE(op_7IPrd9c3lf(op_kuIXHzHcAH(a,121)),op_bPywburJMS(op_apS25hmuAe(a),op_18saOjeKKm(10)))
    else:
        return op_xUOZtlo3hN(op_Siyfjn51pv(op_xSk1F0pZbF(a,a)))

def op_count_EAnnDYaExr(a):
    if a <= 20:
        count = op_count_kuIXHzHcAH(a,121)+op_count_7IPrd9c3lf(op_kuIXHzHcAH(a,121))+op_count_apS25hmuAe(a)+op_count_18saOjeKKm(10)+op_count_bPywburJMS(op_apS25hmuAe(a),op_18saOjeKKm(10))+op_count_QvoQhV0rrE(op_7IPrd9c3lf(op_kuIXHzHcAH(a,121)),op_bPywburJMS(op_apS25hmuAe(a),op_18saOjeKKm(10)))
    else:
        count = op_count_xSk1F0pZbF(a,a)+op_count_Siyfjn51pv(op_xSk1F0pZbF(a,a))+op_count_xUOZtlo3hN(op_Siyfjn51pv(op_xSk1F0pZbF(a,a)))
    return count


def op_IHiuu7CTbC(a):
    return op_d7ASUq0ydm(op_DO4fhlbJSI(a),op_7IPrd9c3lf(a))

def op_count_IHiuu7CTbC(a):
    count = op_count_DO4fhlbJSI(a)+op_count_7IPrd9c3lf(a)+op_count_d7ASUq0ydm(op_DO4fhlbJSI(a),op_7IPrd9c3lf(a))
    return count


def op_5O3RcmakRU(a):
    return op_WSbXXWOizJ(op_Y5cEcQhyKu(380,98),op_IwW236VD4Y(op_SpZWOsLKZJ(a),a))

def op_count_5O3RcmakRU(a):
    count = op_count_Y5cEcQhyKu(380,98)+op_count_SpZWOsLKZJ(a)+op_count_IwW236VD4Y(op_SpZWOsLKZJ(a),a)+op_count_WSbXXWOizJ(op_Y5cEcQhyKu(380,98),op_IwW236VD4Y(op_SpZWOsLKZJ(a),a))
    return count


a⋹⋛≠b = { (⇻⫵((b⪦⩸b)≭⫡(184⨑≵⋬a))) , if (a↯⫤)==174 ; (b⫁⪎((a∠↢a)⩷∴(304⪒⊣⊆a))) , else }

def op_r52rsuXYVw(a, b):
    if op_VwlE7vj6HS(a) == 174:
        return op_Wm7LHi3c8p(op_b1mGkbI4Oy(op_0JWJYFSzIQ(b,b),op_XnXgA4xnOs(184,a)))
    else:
        return op_xRrnTEsQ6j(b,op_9FxExcQeMw(op_KbjG8mgYpV(a,a),op_eRqsBgTDFp(304,a)))

def op_count_r52rsuXYVw(a, b):
    if op_VwlE7vj6HS(a) == 174:
        count = op_count_0JWJYFSzIQ(b,b)+op_count_XnXgA4xnOs(184,a)+op_count_b1mGkbI4Oy(op_0JWJYFSzIQ(b,b),op_XnXgA4xnOs(184,a))+op_count_Wm7LHi3c8p(op_b1mGkbI4Oy(op_0JWJYFSzIQ(b,b),op_XnXgA4xnOs(184,a)))+op_count_VwlE7vj6HS(a)
    else:
        count = op_count_KbjG8mgYpV(a,a)+op_count_eRqsBgTDFp(304,a)+op_count_9FxExcQeMw(op_KbjG8mgYpV(a,a),op_eRqsBgTDFp(304,a))+op_count_xRrnTEsQ6j(b,op_9FxExcQeMw(op_KbjG8mgYpV(a,a),op_eRqsBgTDFp(304,a)))
    return count


def op_AzY7Vl1fKV(a):
    return op_rPNtK4BLRO(op_BUOGQAYlQx(op_9bazX3JMtO(a,a)),op_PxpmPgHHJV(op_eewbuw0ToL(a,a)))

def op_count_AzY7Vl1fKV(a):
    count = op_count_9bazX3JMtO(a,a)+op_count_BUOGQAYlQx(op_9bazX3JMtO(a,a))+op_count_eewbuw0ToL(a,a)+op_count_PxpmPgHHJV(op_eewbuw0ToL(a,a))+op_count_rPNtK4BLRO(op_BUOGQAYlQx(op_9bazX3JMtO(a,a)),op_PxpmPgHHJV(op_eewbuw0ToL(a,a)))
    return count


def op_Dwi3vkQv6Q(a, b):
    if op_nFAOW8KTqp(b) <= 602:
        return op_TytFGXR7Zf(op_JDUIKTTSIa(op_RygbFNSyEJ(156,443),op_E4l6HwMY31(b,a)))
    else:
        return b

def op_count_Dwi3vkQv6Q(a, b):
    if op_nFAOW8KTqp(b) <= 602:
        count = op_count_RygbFNSyEJ(156,443)+op_count_E4l6HwMY31(b,a)+op_count_JDUIKTTSIa(op_RygbFNSyEJ(156,443),op_E4l6HwMY31(b,a))+op_count_TytFGXR7Zf(op_JDUIKTTSIa(op_RygbFNSyEJ(156,443),op_E4l6HwMY31(b,a)))+op_count_nFAOW8KTqp(b)
    else:
        count = 1
    return count


def op_7JOOl3WMOF(a, b):
    return op_RygbFNSyEJ(op_S7Dkc5Re0B(op_U6pG0PXrV3(a)),op_g55IO6H4Gj(op_f6k1SAg4EE(b,b),op_Mp74FtG4yY(b)))

def op_count_7JOOl3WMOF(a, b):
    count = op_count_U6pG0PXrV3(a)+op_count_S7Dkc5Re0B(op_U6pG0PXrV3(a))+op_count_f6k1SAg4EE(b,b)+op_count_Mp74FtG4yY(b)+op_count_g55IO6H4Gj(op_f6k1SAg4EE(b,b),op_Mp74FtG4yY(b))+op_count_RygbFNSyEJ(op_S7Dkc5Re0B(op_U6pG0PXrV3(a)),op_g55IO6H4Gj(op_f6k1SAg4EE(b,b),op_Mp74FtG4yY(b)))
    return count


a⨑⩝b = { (((a≧⫂∧a)⫰⋱(⨾∊⩁b))⋳⪒((a⋰⇉∕b)∙∹∝(b≶a))) , if (⊫∐⫩a)>=184 ; (((⪷∈↠b)-∠(7∿⫑≎a))↪∷(⫇(b∏⇴b))) , else }

def op_XKadCV7SnD(a, b):
    if op_gSr4c7pPrV(a) >= 184:
        return op_12rbrZMWeM(op_6o9Blt3TJ6(op_Ph9nP6C5qx(a,a),op_QErWpSDGk0(b)),op_HmxsFra2vL(op_sM9mzqIDB1(a,b),op_Q2SPaKwpPJ(b,a)))
    else:
        return op_Api82iH42a(op_s0IfDFCCuZ(op_Kn0TacbtGK(b),op_ar1w6gUwHX(7,a)),op_YjI8oCXuph(op_Rw46J52cBJ(b,b)))

def op_count_XKadCV7SnD(a, b):
    if op_gSr4c7pPrV(a) >= 184:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_QErWpSDGk0(b)+op_count_6o9Blt3TJ6(op_Ph9nP6C5qx(a,a),op_QErWpSDGk0(b))+op_count_sM9mzqIDB1(a,b)+op_count_Q2SPaKwpPJ(b,a)+op_count_HmxsFra2vL(op_sM9mzqIDB1(a,b),op_Q2SPaKwpPJ(b,a))+op_count_12rbrZMWeM(op_6o9Blt3TJ6(op_Ph9nP6C5qx(a,a),op_QErWpSDGk0(b)),op_HmxsFra2vL(op_sM9mzqIDB1(a,b),op_Q2SPaKwpPJ(b,a)))+op_count_gSr4c7pPrV(a)
    else:
        count = op_count_Kn0TacbtGK(b)+op_count_ar1w6gUwHX(7,a)+op_count_s0IfDFCCuZ(op_Kn0TacbtGK(b),op_ar1w6gUwHX(7,a))+op_count_Rw46J52cBJ(b,b)+op_count_YjI8oCXuph(op_Rw46J52cBJ(b,b))+op_count_Api82iH42a(op_s0IfDFCCuZ(op_Kn0TacbtGK(b),op_ar1w6gUwHX(7,a)),op_YjI8oCXuph(op_Rw46J52cBJ(b,b)))
    return count


def op_LEwYTyxvmM(a):
    return op_NrdPCfJQiM(a,a)

def op_count_LEwYTyxvmM(a):
    count = op_count_NrdPCfJQiM(a,a)
    return count


a↪⩍⫅b = { (⪷∈↠a) , if (a⪚⊾⩭)<144 or b!=671 ; (a⪎⩰) , else }

def op_MuzqVKJccx(a, b):
    if op_ebeGRCukrZ(a) < 144 or b != 671:
        return op_Kn0TacbtGK(a)
    else:
        return op_2ufhKmSs5H(a)

def op_count_MuzqVKJccx(a, b):
    if op_ebeGRCukrZ(a) < 144 or b != 671:
        count = op_count_Kn0TacbtGK(a)+op_count_ebeGRCukrZ(a)
    else:
        count = op_count_2ufhKmSs5H(a)
    return count


def op_jBB9GIfJL4(a):
    if a != 378:
        return op_6LuFrogppQ(225)
    else:
        return op_i3MWstRFMQ(a)

def op_count_jBB9GIfJL4(a):
    if a != 378:
        count = op_count_6LuFrogppQ(225)
    else:
        count = op_count_i3MWstRFMQ(a)
    return count


a⋇↵⋅b = { ((b≧⫂∧52)⪍↜⋙a) , if (⫇b)==214 ; (⫄⋦≢(a⩍⋽⫝̸b)) , else }

def op_aEZ9JgCP8a(a, b):
    if op_YjI8oCXuph(b) == 214:
        return op_L05ObWFQCd(op_Ph9nP6C5qx(b,52),a)
    else:
        return op_4kvgVkQeiQ(op_BiWNJpBvwn(a,b))

def op_count_aEZ9JgCP8a(a, b):
    if op_YjI8oCXuph(b) == 214:
        count = op_count_Ph9nP6C5qx(b,52)+op_count_L05ObWFQCd(op_Ph9nP6C5qx(b,52),a)+op_count_YjI8oCXuph(b)
    else:
        count = op_count_BiWNJpBvwn(a,b)+op_count_4kvgVkQeiQ(op_BiWNJpBvwn(a,b))
    return count


a⨟⫄⪺ = { (319⪚⨁⋖(a⪍↜⋙781)) , if (a⊦⊿)<=111 ; ((a∄a)≧⊼(a⫇⋯a)) , else }

def op_T0j3iwIboo(a):
    if op_14qkJME0vr(a) <= 111:
        return op_xSk1F0pZbF(319,op_L05ObWFQCd(a,781))
    else:
        return op_JoLB3LXqXx(op_tnyRA5sazQ(a,a),op_xoJmIySC7h(a,a))

def op_count_T0j3iwIboo(a):
    if op_14qkJME0vr(a) <= 111:
        count = op_count_L05ObWFQCd(a,781)+op_count_xSk1F0pZbF(319,op_L05ObWFQCd(a,781))+op_count_14qkJME0vr(a)
    else:
        count = op_count_tnyRA5sazQ(a,a)+op_count_xoJmIySC7h(a,a)+op_count_JoLB3LXqXx(op_tnyRA5sazQ(a,a),op_xoJmIySC7h(a,a))
    return count


a⫐⇖↩b = { (b∲⫓a) , if (⩗⪄b)>=1 ; (a⋟⫀⨗a) , else }

def op_vdlbNtj5a4(a, b):
    if op_Y9dhGmbGii(b) >= 1:
        return op_i8ToyICDmI(b,a)
    else:
        return op_dAAkup5nzi(a,a)

def op_count_vdlbNtj5a4(a, b):
    if op_Y9dhGmbGii(b) >= 1:
        count = op_count_i8ToyICDmI(b,a)+op_count_Y9dhGmbGii(b)
    else:
        count = op_count_dAAkup5nzi(a,a)
    return count


def op_rfnScEFXvR(a):
    return op_keuJNkrrbj(a,a)

def op_count_rfnScEFXvR(a):
    count = op_count_keuJNkrrbj(a,a)
    return count


def op_t9XVKdP1fe(a, b):
    if op_nREPSIbpBE(b,612) <= 367:
        return op_6iafYuwGo8(op_HiPekx5b7W(384,576),op_Sq3AGanRSD(b,a))
    else:
        return op_EWw2JM7wp4(op_BX1lVwlMe0(b),op_apS25hmuAe(a))

def op_count_t9XVKdP1fe(a, b):
    if op_nREPSIbpBE(b,612) <= 367:
        count = op_count_HiPekx5b7W(384,576)+op_count_Sq3AGanRSD(b,a)+op_count_6iafYuwGo8(op_HiPekx5b7W(384,576),op_Sq3AGanRSD(b,a))+op_count_nREPSIbpBE(b,612)
    else:
        count = op_count_BX1lVwlMe0(b)+op_count_apS25hmuAe(a)+op_count_EWw2JM7wp4(op_BX1lVwlMe0(b),op_apS25hmuAe(a))
    return count


⨓⨍a = { a , if (≦a)>102 ; (((a≧⫂∧a)≏⨯⊱(a⨧↗⨷a))⪉⨛((⫦≽⪐a)∅(⫇⪃↚a))) , else }

def op_JGUZimA2Hi(a):
    if op_RPa3726CSl(a) > 102:
        return a
    else:
        return op_EWw2JM7wp4(op_UqUOXUQnbU(op_Ph9nP6C5qx(a,a),op_WSbXXWOizJ(a,a)),op_giaUb8UVhq(op_fjqJgF5yyp(a),op_Q9TX5pQS3Y(a)))

def op_count_JGUZimA2Hi(a):
    if op_RPa3726CSl(a) > 102:
        count = 1
    else:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_WSbXXWOizJ(a,a)+op_count_UqUOXUQnbU(op_Ph9nP6C5qx(a,a),op_WSbXXWOizJ(a,a))+op_count_fjqJgF5yyp(a)+op_count_Q9TX5pQS3Y(a)+op_count_giaUb8UVhq(op_fjqJgF5yyp(a),op_Q9TX5pQS3Y(a))+op_count_EWw2JM7wp4(op_UqUOXUQnbU(op_Ph9nP6C5qx(a,a),op_WSbXXWOizJ(a,a)),op_giaUb8UVhq(op_fjqJgF5yyp(a),op_Q9TX5pQS3Y(a)))
    return count


def op_9gb37ZWNW1(a):
    return op_k7HXdKtiEU(op_DIvbN7qnHd(a))

def op_count_9gb37ZWNW1(a):
    count = op_count_DIvbN7qnHd(a)+op_count_k7HXdKtiEU(op_DIvbN7qnHd(a))
    return count


def op_VV8U6VuDyB(a):
    if a > 633:
        return op_UqUOXUQnbU(op_BiWNJpBvwn(op_y4ImoPnbV5(402,a),op_PPChnnnBFF(a,a)),op_HJ9erzHUuu(op_Q2SPaKwpPJ(10,a),62))
    else:
        return op_3EhVUz7Ug9(op_COABgblf1C(op_2td37pGCOC(a),op_2DDjHMKMc0(87,a)))

def op_count_VV8U6VuDyB(a):
    if a > 633:
        count = op_count_y4ImoPnbV5(402,a)+op_count_PPChnnnBFF(a,a)+op_count_BiWNJpBvwn(op_y4ImoPnbV5(402,a),op_PPChnnnBFF(a,a))+op_count_Q2SPaKwpPJ(10,a)+op_count_HJ9erzHUuu(op_Q2SPaKwpPJ(10,a),62)+op_count_UqUOXUQnbU(op_BiWNJpBvwn(op_y4ImoPnbV5(402,a),op_PPChnnnBFF(a,a)),op_HJ9erzHUuu(op_Q2SPaKwpPJ(10,a),62))
    else:
        count = op_count_2td37pGCOC(a)+op_count_2DDjHMKMc0(87,a)+op_count_COABgblf1C(op_2td37pGCOC(a),op_2DDjHMKMc0(87,a))+op_count_3EhVUz7Ug9(op_COABgblf1C(op_2td37pGCOC(a),op_2DDjHMKMc0(87,a)))
    return count


≖⋂a = { (((a⩒⫫a)∷(a⪦⩸a))⊨((a⊉↱≁841)⊱⇼⊻a)) }

def op_YxgxvjpN4O(a):
    return op_vg4gO5BX6G(op_D3AQDKkPcf(op_KFSx94NKJn(a,a),op_0JWJYFSzIQ(a,a)),op_FyVja0WsTP(op_w2P8NbNXyL(a,841),a))

def op_count_YxgxvjpN4O(a):
    count = op_count_KFSx94NKJn(a,a)+op_count_0JWJYFSzIQ(a,a)+op_count_D3AQDKkPcf(op_KFSx94NKJn(a,a),op_0JWJYFSzIQ(a,a))+op_count_w2P8NbNXyL(a,841)+op_count_FyVja0WsTP(op_w2P8NbNXyL(a,841),a)+op_count_vg4gO5BX6G(op_D3AQDKkPcf(op_KFSx94NKJn(a,a),op_0JWJYFSzIQ(a,a)),op_FyVja0WsTP(op_w2P8NbNXyL(a,841),a))
    return count


def op_wxnXcgpbVF(a):
    return op_IGFM8TAlm9(op_3sJ7IOPOlU(a,327))

def op_count_wxnXcgpbVF(a):
    count = op_count_3sJ7IOPOlU(a,327)+op_count_IGFM8TAlm9(op_3sJ7IOPOlU(a,327))
    return count


def op_dBWtppcwHd(a, b):
    return op_FyVja0WsTP(op_SPuZE40Ntn(a,a),op_VCG3UHNzLR(b,a))

def op_count_dBWtppcwHd(a, b):
    count = op_count_SPuZE40Ntn(a,a)+op_count_VCG3UHNzLR(b,a)+op_count_FyVja0WsTP(op_SPuZE40Ntn(a,a),op_VCG3UHNzLR(b,a))
    return count


def op_ZVuupJtoea(a, b):
    if op_QMFrweE19q(a,169) <= 42:
        return op_giaUb8UVhq(b,53)
    else:
        return op_xRrnTEsQ6j(a,a)

def op_count_ZVuupJtoea(a, b):
    if op_QMFrweE19q(a,169) <= 42:
        count = op_count_giaUb8UVhq(b,53)+op_count_QMFrweE19q(a,169)
    else:
        count = op_count_xRrnTEsQ6j(a,a)
    return count


def op_tgPF6n0bOJ(a):
    if op_EZ6cjipfBz(a) >= 14:
        return op_vg4gO5BX6G(a,a)
    else:
        return op_g55IO6H4Gj(417,a)

def op_count_tgPF6n0bOJ(a):
    if op_EZ6cjipfBz(a) >= 14:
        count = op_count_vg4gO5BX6G(a,a)+op_count_EZ6cjipfBz(a)
    else:
        count = op_count_g55IO6H4Gj(417,a)
    return count


⩑⋳a = { ((a⊉↱≁a)⨴(a⨽⪊≇)) , if (⩗⪄a)<42 ; ((a∙∹∝a)≽↲≰(a≽⇕)) , else }

def op_rJxzQv3Kn1(a):
    if op_Y9dhGmbGii(a) < 42:
        return op_jBC4ymW3D7(op_w2P8NbNXyL(a,a),op_nlCqmYiOvY(a))
    else:
        return op_cFVlceoRkX(op_HmxsFra2vL(a,a),op_SgAxmdLNEA(a))

def op_count_rJxzQv3Kn1(a):
    if op_Y9dhGmbGii(a) < 42:
        count = op_count_w2P8NbNXyL(a,a)+op_count_nlCqmYiOvY(a)+op_count_jBC4ymW3D7(op_w2P8NbNXyL(a,a),op_nlCqmYiOvY(a))+op_count_Y9dhGmbGii(a)
    else:
        count = op_count_HmxsFra2vL(a,a)+op_count_SgAxmdLNEA(a)+op_count_cFVlceoRkX(op_HmxsFra2vL(a,a),op_SgAxmdLNEA(a))
    return count


def op_HmnkF1LO3g(a):
    if a != 261:
        return op_k7HXdKtiEU(a)
    else:
        return a

def op_count_HmnkF1LO3g(a):
    if a != 261:
        count = op_count_k7HXdKtiEU(a)
    else:
        count = 1
    return count


def op_8ZWiXT2Wxh(a, b):
    return op_GMN7JP6WpN(op_jBC4ymW3D7(b,op_2MzE1hQ0cz(a)),op_EWw2JM7wp4(op_WSbXXWOizJ(b,a),op_B3sABdIn96(b)))

def op_count_8ZWiXT2Wxh(a, b):
    count = op_count_2MzE1hQ0cz(a)+op_count_jBC4ymW3D7(b,op_2MzE1hQ0cz(a))+op_count_WSbXXWOizJ(b,a)+op_count_B3sABdIn96(b)+op_count_EWw2JM7wp4(op_WSbXXWOizJ(b,a),op_B3sABdIn96(b))+op_count_GMN7JP6WpN(op_jBC4ymW3D7(b,op_2MzE1hQ0cz(a)),op_EWw2JM7wp4(op_WSbXXWOizJ(b,a),op_B3sABdIn96(b)))
    return count


def op_K6f8yO6VP2(a):
    return op_AFVx7xoS7T(op_3sJ7IOPOlU(a,366),op_6l7ULzJsnZ(a))

def op_count_K6f8yO6VP2(a):
    count = op_count_3sJ7IOPOlU(a,366)+op_count_6l7ULzJsnZ(a)+op_count_AFVx7xoS7T(op_3sJ7IOPOlU(a,366),op_6l7ULzJsnZ(a))
    return count


a⊬⋠≠ = { (a⨸⪁a) , if (⩕↛a)>80 and (a⇛55)!=25 ; (a⨑a) , else }

def op_juijT1621o(a):
    if op_3EhVUz7Ug9(a) > 80 and op_S3tN1ZzpSt(a,55) != 25:
        return op_g55IO6H4Gj(a,a)
    else:
        return op_IxJHfR5psi(a,a)

def op_count_juijT1621o(a):
    if op_3EhVUz7Ug9(a) > 80 and op_S3tN1ZzpSt(a,55) != 25:
        count = op_count_g55IO6H4Gj(a,a)+op_count_3EhVUz7Ug9(a)+op_count_S3tN1ZzpSt(a,55)
    else:
        count = op_count_IxJHfR5psi(a,a)
    return count


a↧b = { (a⊬⨰(a≠≀b)) , if (a⩍⋽⫝̸485)<55 ; ((b≟⫹a)⪨(b⨴146)) , else }

def op_5LE63mxGOF(a, b):
    if op_BiWNJpBvwn(a,485) < 55:
        return op_s3Fd5m9Dh2(a,op_IwW236VD4Y(a,b))
    else:
        return op_2z8nE7LpCu(op_z2JHNkvbdm(b,a),op_jBC4ymW3D7(b,146))

def op_count_5LE63mxGOF(a, b):
    if op_BiWNJpBvwn(a,485) < 55:
        count = op_count_IwW236VD4Y(a,b)+op_count_s3Fd5m9Dh2(a,op_IwW236VD4Y(a,b))+op_count_BiWNJpBvwn(a,485)
    else:
        count = op_count_z2JHNkvbdm(b,a)+op_count_jBC4ymW3D7(b,146)+op_count_2z8nE7LpCu(op_z2JHNkvbdm(b,a),op_jBC4ymW3D7(b,146))
    return count


def op_tVQUhy5e1X(a):
    return op_j9kHMeSvPp(a,op_MKpoIoBJCf(a))

def op_count_tVQUhy5e1X(a):
    count = op_count_MKpoIoBJCf(a)+op_count_j9kHMeSvPp(a,op_MKpoIoBJCf(a))
    return count


a⨆⩉b = { (⫟a) , if (b∀⩎⋷898)<=35 ; b , else }

def op_PtITbjBpBq(a, b):
    if op_FPxP5Y1j0W(b,898) <= 35:
        return op_z4E1FaHLuy(a)
    else:
        return b

def op_count_PtITbjBpBq(a, b):
    if op_FPxP5Y1j0W(b,898) <= 35:
        count = op_count_z4E1FaHLuy(a)+op_count_FPxP5Y1j0W(b,898)
    else:
        count = 1
    return count


a⩟⩫⪙ = { (((a∄a)⨮⨆)∊⊞≈((a∴a)≭⫡a)) , if (a≗⫍)>=4 ; (((a⊉↱≁a)⊔(a≶a))→⨶⪴((892⊱⇼⊻a)⪱⇝(399⫃⨇a))) , else }

def op_FerHFHCs6u(a):
    if op_7Nd029Vx1U(a) >= 4:
        return op_keuJNkrrbj(op_s0kPeV9Vm2(op_tnyRA5sazQ(a,a)),op_b1mGkbI4Oy(op_hrf7POJlIJ(a,a),a))
    else:
        return op_bF6eod5Gvf(op_E4l6HwMY31(op_w2P8NbNXyL(a,a),op_Q2SPaKwpPJ(a,a)),op_OTRTVPweYV(op_FyVja0WsTP(892,a),op_09Ly4LVMIf(399,a)))

def op_count_FerHFHCs6u(a):
    if op_7Nd029Vx1U(a) >= 4:
        count = op_count_tnyRA5sazQ(a,a)+op_count_s0kPeV9Vm2(op_tnyRA5sazQ(a,a))+op_count_hrf7POJlIJ(a,a)+op_count_b1mGkbI4Oy(op_hrf7POJlIJ(a,a),a)+op_count_keuJNkrrbj(op_s0kPeV9Vm2(op_tnyRA5sazQ(a,a)),op_b1mGkbI4Oy(op_hrf7POJlIJ(a,a),a))+op_count_7Nd029Vx1U(a)
    else:
        count = op_count_w2P8NbNXyL(a,a)+op_count_Q2SPaKwpPJ(a,a)+op_count_E4l6HwMY31(op_w2P8NbNXyL(a,a),op_Q2SPaKwpPJ(a,a))+op_count_FyVja0WsTP(892,a)+op_count_09Ly4LVMIf(399,a)+op_count_OTRTVPweYV(op_FyVja0WsTP(892,a),op_09Ly4LVMIf(399,a))+op_count_bF6eod5Gvf(op_E4l6HwMY31(op_w2P8NbNXyL(a,a),op_Q2SPaKwpPJ(a,a)),op_OTRTVPweYV(op_FyVja0WsTP(892,a),op_09Ly4LVMIf(399,a)))
    return count


def op_xphRAOCHRw(a):
    return op_Qaz2MhZaG5(op_9Isq31Ruls(58,op_RPa3726CSl(a)),op_RygbFNSyEJ(op_40aOVDgCDB(135),op_xSk1F0pZbF(9,68)))

def op_count_xphRAOCHRw(a):
    count = op_count_RPa3726CSl(a)+op_count_9Isq31Ruls(58,op_RPa3726CSl(a))+op_count_40aOVDgCDB(135)+op_count_xSk1F0pZbF(9,68)+op_count_RygbFNSyEJ(op_40aOVDgCDB(135),op_xSk1F0pZbF(9,68))+op_count_Qaz2MhZaG5(op_9Isq31Ruls(58,op_RPa3726CSl(a)),op_RygbFNSyEJ(op_40aOVDgCDB(135),op_xSk1F0pZbF(9,68)))
    return count


def op_aXwoIQj555(a, b):
    if op_WR6HLWljOP(a,554) < 178 or op_irKjLsMeKy(a,608) < 14:
        return op_PPChnnnBFF(b,a)
    else:
        return op_KbjG8mgYpV(b,10)

def op_count_aXwoIQj555(a, b):
    if op_WR6HLWljOP(a,554) < 178 or op_irKjLsMeKy(a,608) < 14:
        count = op_count_PPChnnnBFF(b,a)+op_count_WR6HLWljOP(a,554)+op_count_irKjLsMeKy(a,608)
    else:
        count = op_count_KbjG8mgYpV(b,10)
    return count


def op_eWtgzN4EAB(a, b):
    return op_8cLx32lpNA(op_7j4O788W3g(op_KPf6cnQVty(a,a),op_MKzNxCV7Yo(b)),op_t0cKpDWDXO(op_fG6uBQFnGz(a)))

def op_count_eWtgzN4EAB(a, b):
    count = op_count_KPf6cnQVty(a,a)+op_count_MKzNxCV7Yo(b)+op_count_7j4O788W3g(op_KPf6cnQVty(a,a),op_MKzNxCV7Yo(b))+op_count_fG6uBQFnGz(a)+op_count_t0cKpDWDXO(op_fG6uBQFnGz(a))+op_count_8cLx32lpNA(op_7j4O788W3g(op_KPf6cnQVty(a,a),op_MKzNxCV7Yo(b)),op_t0cKpDWDXO(op_fG6uBQFnGz(a)))
    return count


def op_jtBAKJz2S7(a, b):
    return op_0JWJYFSzIQ(op_KipPnG1M2J(op_59igzFyhWz(b)),a)

def op_count_jtBAKJz2S7(a, b):
    count = op_count_59igzFyhWz(b)+op_count_KipPnG1M2J(op_59igzFyhWz(b))+op_count_0JWJYFSzIQ(op_KipPnG1M2J(op_59igzFyhWz(b)),a)
    return count


⩜⪮a = { (⩯≢≕((⋼∭⪍a)⨜⇔(a⪒a))) , if (a>88 or (⪆a)<=155) ; (((a≏⨯⊱a)⨑(16≏⨯⊱262))⫁⪎((a⪖⪡a)≽↲≰(65⇿⊰a))) , else }

def op_Fy0YbK4kxW(a):
    if (a > 88 or op_KWeyIRWUIQ(a) <= 155):
        return op_840vADziXz(op_Sq3AGanRSD(op_DbCuESL50I(a),op_f6k1SAg4EE(a,a)))
    else:
        return op_xRrnTEsQ6j(op_IxJHfR5psi(op_UqUOXUQnbU(a,a),op_UqUOXUQnbU(16,262)),op_cFVlceoRkX(op_7PjNe5qSIJ(a,a),op_ap3xiM279w(65,a)))

def op_count_Fy0YbK4kxW(a):
    if (a > 88 or op_KWeyIRWUIQ(a) <= 155):
        count = op_count_DbCuESL50I(a)+op_count_f6k1SAg4EE(a,a)+op_count_Sq3AGanRSD(op_DbCuESL50I(a),op_f6k1SAg4EE(a,a))+op_count_840vADziXz(op_Sq3AGanRSD(op_DbCuESL50I(a),op_f6k1SAg4EE(a,a)))+op_count_KWeyIRWUIQ(a)
    else:
        count = op_count_UqUOXUQnbU(a,a)+op_count_UqUOXUQnbU(16,262)+op_count_IxJHfR5psi(op_UqUOXUQnbU(a,a),op_UqUOXUQnbU(16,262))+op_count_7PjNe5qSIJ(a,a)+op_count_ap3xiM279w(65,a)+op_count_cFVlceoRkX(op_7PjNe5qSIJ(a,a),op_ap3xiM279w(65,a))+op_count_xRrnTEsQ6j(op_IxJHfR5psi(op_UqUOXUQnbU(a,a),op_UqUOXUQnbU(16,262)),op_cFVlceoRkX(op_7PjNe5qSIJ(a,a),op_ap3xiM279w(65,a)))
    return count


def op_fH9r9EEtKB(a):
    return op_6iOiAJX1F8(op_NrdPCfJQiM(op_giaUb8UVhq(a,a),op_DZ8iAZOCBD(a,a)))

def op_count_fH9r9EEtKB(a):
    count = op_count_giaUb8UVhq(a,a)+op_count_DZ8iAZOCBD(a,a)+op_count_NrdPCfJQiM(op_giaUb8UVhq(a,a),op_DZ8iAZOCBD(a,a))+op_count_6iOiAJX1F8(op_NrdPCfJQiM(op_giaUb8UVhq(a,a),op_DZ8iAZOCBD(a,a)))
    return count


def op_k7lm2Ur0iI(a):
    return op_RygbFNSyEJ(a,a)

def op_count_k7lm2Ur0iI(a):
    count = op_count_RygbFNSyEJ(a,a)
    return count


def op_jOwHciYXdT(a, b):
    return op_IwW236VD4Y(op_QvoQhV0rrE(op_d8xe6WWVfM(b,b),op_FyVja0WsTP(b,a)),op_JgXZM7XvWE(523,698))

def op_count_jOwHciYXdT(a, b):
    count = op_count_d8xe6WWVfM(b,b)+op_count_FyVja0WsTP(b,a)+op_count_QvoQhV0rrE(op_d8xe6WWVfM(b,b),op_FyVja0WsTP(b,a))+op_count_JgXZM7XvWE(523,698)+op_count_IwW236VD4Y(op_QvoQhV0rrE(op_d8xe6WWVfM(b,b),op_FyVja0WsTP(b,a)),op_JgXZM7XvWE(523,698))
    return count


⇒a = { (⫄⋦≢a) , if a>79 ; (a⪎⩰) , else }

def op_4QiqoZyZaN(a):
    if a > 79:
        return op_4kvgVkQeiQ(a)
    else:
        return op_2ufhKmSs5H(a)

def op_count_4QiqoZyZaN(a):
    if a > 79:
        count = op_count_4kvgVkQeiQ(a)
    else:
        count = op_count_2ufhKmSs5H(a)
    return count


a⫀∴← = { (((a⫚↹⊑a)⩤∜↚(786∽a))⪒(⊢≑≆(a≏⨯⊱a))) }

def op_Fsv8kpjENC(a):
    return op_f6k1SAg4EE(op_KROiRRz3d6(op_dfKe02y8D2(a,a),op_y4ImoPnbV5(786,a)),op_27wFxooxGf(op_UqUOXUQnbU(a,a)))

def op_count_Fsv8kpjENC(a):
    count = op_count_dfKe02y8D2(a,a)+op_count_y4ImoPnbV5(786,a)+op_count_KROiRRz3d6(op_dfKe02y8D2(a,a),op_y4ImoPnbV5(786,a))+op_count_UqUOXUQnbU(a,a)+op_count_27wFxooxGf(op_UqUOXUQnbU(a,a))+op_count_f6k1SAg4EE(op_KROiRRz3d6(op_dfKe02y8D2(a,a),op_y4ImoPnbV5(786,a)),op_27wFxooxGf(op_UqUOXUQnbU(a,a)))
    return count


a⋖b = { (b≘⨶) , if (a⫍⨯↯)>=318 ; (b∠⫱a) , else }

def op_pdYExVicxf(a, b):
    if op_ZcwmYACASQ(a) >= 318:
        return op_aOI3TlLUAE(b)
    else:
        return op_QvoQhV0rrE(b,a)

def op_count_pdYExVicxf(a, b):
    if op_ZcwmYACASQ(a) >= 318:
        count = op_count_aOI3TlLUAE(b)+op_count_ZcwmYACASQ(a)
    else:
        count = op_count_QvoQhV0rrE(b,a)
    return count


a⊆⇧⪚b = { (((≤/b)↨⪍≴(b≧⫂∧a))⪐-((b⊭↱b)⩍⋽⫝̸(453⋷b))) }

def op_zma7vR3L5W(a, b):
    return op_d8xe6WWVfM(op_DX7B1fY6P6(op_eLAdDNolq6(b),op_Ph9nP6C5qx(b,a)),op_BiWNJpBvwn(op_COABgblf1C(b,b),op_23Mk6UjR3U(453,b)))

def op_count_zma7vR3L5W(a, b):
    count = op_count_eLAdDNolq6(b)+op_count_Ph9nP6C5qx(b,a)+op_count_DX7B1fY6P6(op_eLAdDNolq6(b),op_Ph9nP6C5qx(b,a))+op_count_COABgblf1C(b,b)+op_count_23Mk6UjR3U(453,b)+op_count_BiWNJpBvwn(op_COABgblf1C(b,b),op_23Mk6UjR3U(453,b))+op_count_d8xe6WWVfM(op_DX7B1fY6P6(op_eLAdDNolq6(b),op_Ph9nP6C5qx(b,a)),op_BiWNJpBvwn(op_COABgblf1C(b,b),op_23Mk6UjR3U(453,b)))
    return count


def op_K5p65un2ft(a, b):
    return op_KvubFp3XhO(op_b1mGkbI4Oy(op_CuHhPb8RwQ(44),op_S5ZFQS4GK3(a,b)))

def op_count_K5p65un2ft(a, b):
    count = op_count_CuHhPb8RwQ(44)+op_count_S5ZFQS4GK3(a,b)+op_count_b1mGkbI4Oy(op_CuHhPb8RwQ(44),op_S5ZFQS4GK3(a,b))+op_count_KvubFp3XhO(op_b1mGkbI4Oy(op_CuHhPb8RwQ(44),op_S5ZFQS4GK3(a,b)))
    return count


def op_ZqmoXt0PtR(a):
    return op_DmTXOeWf9t(a,op_f6k1SAg4EE(op_2z8nE7LpCu(a,a),op_WSbXXWOizJ(a,a)))

def op_count_ZqmoXt0PtR(a):
    count = op_count_2z8nE7LpCu(a,a)+op_count_WSbXXWOizJ(a,a)+op_count_f6k1SAg4EE(op_2z8nE7LpCu(a,a),op_WSbXXWOizJ(a,a))+op_count_DmTXOeWf9t(a,op_f6k1SAg4EE(op_2z8nE7LpCu(a,a),op_WSbXXWOizJ(a,a)))
    return count


a⩇⇾⋰b = { (((b∺≝⩲143)⩧⪆(b⨚a))⩾((∨⫘⊿288)⪕(⩪∧⨌a))) }

def op_ZvB8Fo8LGH(a, b):
    return op_UggxBX659n(op_Ikt5ks8PT7(op_KPf6cnQVty(b,143),op_nREPSIbpBE(b,a)),op_umQnsF7QlU(op_qxp9F1VMeC(288),op_6iOiAJX1F8(a)))

def op_count_ZvB8Fo8LGH(a, b):
    count = op_count_KPf6cnQVty(b,143)+op_count_nREPSIbpBE(b,a)+op_count_Ikt5ks8PT7(op_KPf6cnQVty(b,143),op_nREPSIbpBE(b,a))+op_count_qxp9F1VMeC(288)+op_count_6iOiAJX1F8(a)+op_count_umQnsF7QlU(op_qxp9F1VMeC(288),op_6iOiAJX1F8(a))+op_count_UggxBX659n(op_Ikt5ks8PT7(op_KPf6cnQVty(b,143),op_nREPSIbpBE(b,a)),op_umQnsF7QlU(op_qxp9F1VMeC(288),op_6iOiAJX1F8(a)))
    return count


def op_GhVDqR41nK(a, b):
    if b > 143:
        return op_2M7SKlOzyM(op_SPuZE40Ntn(129,207),op_NdELin8EPX(a,a))
    else:
        return op_j9kHMeSvPp(op_nhYeJWJD5X(b,479),op_uysxUYN2L2(a,b))

def op_count_GhVDqR41nK(a, b):
    if b > 143:
        count = op_count_SPuZE40Ntn(129,207)+op_count_NdELin8EPX(a,a)+op_count_2M7SKlOzyM(op_SPuZE40Ntn(129,207),op_NdELin8EPX(a,a))
    else:
        count = op_count_nhYeJWJD5X(b,479)+op_count_uysxUYN2L2(a,b)+op_count_j9kHMeSvPp(op_nhYeJWJD5X(b,479),op_uysxUYN2L2(a,b))
    return count


def op_BndgJzPlHc(a):
    return op_bQ67fsrMVf(op_Noe24qw2ks(op_PjbVkMzmXE(a,a),op_9FxExcQeMw(a,a)))

def op_count_BndgJzPlHc(a):
    count = op_count_PjbVkMzmXE(a,a)+op_count_9FxExcQeMw(a,a)+op_count_Noe24qw2ks(op_PjbVkMzmXE(a,a),op_9FxExcQeMw(a,a))+op_count_bQ67fsrMVf(op_Noe24qw2ks(op_PjbVkMzmXE(a,a),op_9FxExcQeMw(a,a)))
    return count


def op_GkvCUnJJBn(a, b):
    return op_XnXgA4xnOs(op_VwlE7vj6HS(a),b)

def op_count_GkvCUnJJBn(a, b):
    count = op_count_VwlE7vj6HS(a)+op_count_XnXgA4xnOs(op_VwlE7vj6HS(a),b)
    return count


a⋍↽⇨ = { (((a≠≀a)⊨(a⊔a))⋢((a⊉≛↸a)⇤(a⨝⩣∺))) }

def op_E2xTplnD0N(a):
    return op_NdELin8EPX(op_vg4gO5BX6G(op_IwW236VD4Y(a,a),op_E4l6HwMY31(a,a)),op_YSKBFp38Pu(op_DZ8iAZOCBD(a,a),op_ancx8kZcWl(a)))

def op_count_E2xTplnD0N(a):
    count = op_count_IwW236VD4Y(a,a)+op_count_E4l6HwMY31(a,a)+op_count_vg4gO5BX6G(op_IwW236VD4Y(a,a),op_E4l6HwMY31(a,a))+op_count_DZ8iAZOCBD(a,a)+op_count_ancx8kZcWl(a)+op_count_YSKBFp38Pu(op_DZ8iAZOCBD(a,a),op_ancx8kZcWl(a))+op_count_NdELin8EPX(op_vg4gO5BX6G(op_IwW236VD4Y(a,a),op_E4l6HwMY31(a,a)),op_YSKBFp38Pu(op_DZ8iAZOCBD(a,a),op_ancx8kZcWl(a)))
    return count


def op_dqXKirNDVF(a, b):
    return op_nbuSfrB4hB(op_1aApVXNlOP(op_JclMnS0uGI(a,b),op_bQ67fsrMVf(b)),b)

def op_count_dqXKirNDVF(a, b):
    count = op_count_JclMnS0uGI(a,b)+op_count_bQ67fsrMVf(b)+op_count_1aApVXNlOP(op_JclMnS0uGI(a,b),op_bQ67fsrMVf(b))+op_count_nbuSfrB4hB(op_1aApVXNlOP(op_JclMnS0uGI(a,b),op_bQ67fsrMVf(b)),b)
    return count


def op_pmwKEv0pzA(a):
    return op_E4l6HwMY31(a,a)

def op_count_pmwKEv0pzA(a):
    count = op_count_E4l6HwMY31(a,a)
    return count


a⪶⋼⋛b = { (b⪈⋁⩁b) , if b>=113 ; (a⩘⋿a) , else }

def op_6ayBXmFTY1(a, b):
    if b >= 113:
        return op_GMyVS5K48T(b,b)
    else:
        return op_64EQ39e0fC(a,a)

def op_count_6ayBXmFTY1(a, b):
    if b >= 113:
        count = op_count_GMyVS5K48T(b,b)
    else:
        count = op_count_64EQ39e0fC(a,a)
    return count


a⫝̸⪒∮ = { (205⨳⩥⨓a) , if (⫭≬a)<137 ; (a⋝⋈⪟a) , else }

def op_3k0ZDrhDBi(a):
    if op_S7Dkc5Re0B(a) < 137:
        return op_nCS4ZIUYfx(205,a)
    else:
        return op_2DDjHMKMc0(a,a)

def op_count_3k0ZDrhDBi(a):
    if op_S7Dkc5Re0B(a) < 137:
        count = op_count_nCS4ZIUYfx(205,a)+op_count_S7Dkc5Re0B(a)
    else:
        count = op_count_2DDjHMKMc0(a,a)
    return count


def op_ZLl4PfgIji(a):
    return op_KFSx94NKJn(op_Tmr9JGNMVH(a),op_Q2SPaKwpPJ(a,a))

def op_count_ZLl4PfgIji(a):
    count = op_count_Tmr9JGNMVH(a)+op_count_Q2SPaKwpPJ(a,a)+op_count_KFSx94NKJn(op_Tmr9JGNMVH(a),op_Q2SPaKwpPJ(a,a))
    return count


↞⊂a = { ((a⇿⊰a)⪚⨁⋖(a↜⊷a)) , if (a⫇⋯554)>=24 ; ((⊈a)⇼⇔∾(463≾⋳)) , else }

def op_817iMO8Vp3(a):
    if op_xoJmIySC7h(a,554) >= 24:
        return op_xSk1F0pZbF(op_ap3xiM279w(a,a),op_irKjLsMeKy(a,a))
    else:
        return op_tifHPKVTfV(op_RHru8klgy8(a),op_1tCtMSPkGf(463))

def op_count_817iMO8Vp3(a):
    if op_xoJmIySC7h(a,554) >= 24:
        count = op_count_ap3xiM279w(a,a)+op_count_irKjLsMeKy(a,a)+op_count_xSk1F0pZbF(op_ap3xiM279w(a,a),op_irKjLsMeKy(a,a))+op_count_xoJmIySC7h(a,554)
    else:
        count = op_count_RHru8klgy8(a)+op_count_1tCtMSPkGf(463)+op_count_tifHPKVTfV(op_RHru8klgy8(a),op_1tCtMSPkGf(463))
    return count


∎↦⊮a = { (a⋝⋈⪟((a⫡⨏a)⪎↠(a⫯⪬∳a))) , if (⩣⪁a)==56 ; (⊀⇵((a⊹≧⊝)⊓⋫)) , else }

def op_Nm20plZPYv(a):
    if op_W2rMsuCzF8(a) == 56:
        return op_2DDjHMKMc0(a,op_3tVxb0NHM4(op_QMFrweE19q(a,a),op_d7ASUq0ydm(a,a)))
    else:
        return op_B3tNObfNaL(op_IqGBaFP0uj(op_LxFB4K6j0n(a)))

def op_count_Nm20plZPYv(a):
    if op_W2rMsuCzF8(a) == 56:
        count = op_count_QMFrweE19q(a,a)+op_count_d7ASUq0ydm(a,a)+op_count_3tVxb0NHM4(op_QMFrweE19q(a,a),op_d7ASUq0ydm(a,a))+op_count_2DDjHMKMc0(a,op_3tVxb0NHM4(op_QMFrweE19q(a,a),op_d7ASUq0ydm(a,a)))+op_count_W2rMsuCzF8(a)
    else:
        count = op_count_LxFB4K6j0n(a)+op_count_IqGBaFP0uj(op_LxFB4K6j0n(a))+op_count_B3tNObfNaL(op_IqGBaFP0uj(op_LxFB4K6j0n(a)))
    return count


def op_MR0dur9Axd(a, b):
    return op_W2rMsuCzF8(op_eRqsBgTDFp(a,b))

def op_count_MR0dur9Axd(a, b):
    count = op_count_eRqsBgTDFp(a,b)+op_count_W2rMsuCzF8(op_eRqsBgTDFp(a,b))
    return count


def op_8xj5BWNEvp(a):
    return op_2DQ55sFlQl(op_4CyGpkTkEk(op_3Oe9XWJUTD(a,a)),op_3Oe9XWJUTD(op_qLBMy5fcJr(a),op_DE7zCoGJt9(a)))

def op_count_8xj5BWNEvp(a):
    count = op_count_3Oe9XWJUTD(a,a)+op_count_4CyGpkTkEk(op_3Oe9XWJUTD(a,a))+op_count_qLBMy5fcJr(a)+op_count_DE7zCoGJt9(a)+op_count_3Oe9XWJUTD(op_qLBMy5fcJr(a),op_DE7zCoGJt9(a))+op_count_2DQ55sFlQl(op_4CyGpkTkEk(op_3Oe9XWJUTD(a,a)),op_3Oe9XWJUTD(op_qLBMy5fcJr(a),op_DE7zCoGJt9(a)))
    return count


a↧⇸b = { (↽≂((431↪∷a)⪯⫾⋍(⨑⩽⪐a))) , if (a⪒⊣⊆287)<=327 ; (∓⪦((b≧⊼b)→⨶⪴(a∴a))) , else }

def op_ttmdOT7RaK(a, b):
    if op_eRqsBgTDFp(a,287) <= 327:
        return op_u6S6b8DprG(op_S5ZFQS4GK3(op_Api82iH42a(431,a),op_AF7qkfDlqP(a)))
    else:
        return op_D309nIvmXG(op_bF6eod5Gvf(op_JoLB3LXqXx(b,b),op_hrf7POJlIJ(a,a)))

def op_count_ttmdOT7RaK(a, b):
    if op_eRqsBgTDFp(a,287) <= 327:
        count = op_count_Api82iH42a(431,a)+op_count_AF7qkfDlqP(a)+op_count_S5ZFQS4GK3(op_Api82iH42a(431,a),op_AF7qkfDlqP(a))+op_count_u6S6b8DprG(op_S5ZFQS4GK3(op_Api82iH42a(431,a),op_AF7qkfDlqP(a)))+op_count_eRqsBgTDFp(a,287)
    else:
        count = op_count_JoLB3LXqXx(b,b)+op_count_hrf7POJlIJ(a,a)+op_count_bF6eod5Gvf(op_JoLB3LXqXx(b,b),op_hrf7POJlIJ(a,a))+op_count_D309nIvmXG(op_bF6eod5Gvf(op_JoLB3LXqXx(b,b),op_hrf7POJlIJ(a,a)))
    return count


def op_7uXtx8XWax(a):
    return op_Pkwamo1tM2(op_HQuZ2f4It9(a),op_y4ImoPnbV5(op_14qkJME0vr(a),op_3EYGwJThht(a,a)))

def op_count_7uXtx8XWax(a):
    count = op_count_HQuZ2f4It9(a)+op_count_14qkJME0vr(a)+op_count_3EYGwJThht(a,a)+op_count_y4ImoPnbV5(op_14qkJME0vr(a),op_3EYGwJThht(a,a))+op_count_Pkwamo1tM2(op_HQuZ2f4It9(a),op_y4ImoPnbV5(op_14qkJME0vr(a),op_3EYGwJThht(a,a)))
    return count


def op_CcwCj3AAlH(a):
    return op_kuIXHzHcAH(a,a)

def op_count_CcwCj3AAlH(a):
    count = op_count_kuIXHzHcAH(a,a)
    return count


a⩘⊚⇖b = { (⇾⩊⇾((a⨔⊶↷b)∲⫓(b⋐≟⩺214))) , if a<581 ; (((≀↧⇸a)⋥≓≎(a⩒⫫b))∷) , else }

def op_SBmM8e1lwk(a, b):
    if a < 581:
        return op_bx9Z9DAK5y(op_i8ToyICDmI(op_WObL9SsYVE(a,b),op_PjbVkMzmXE(b,214)))
    else:
        return op_nFAOW8KTqp(op_Qy55tPpLXF(op_ljTHtUsqzn(a),op_KFSx94NKJn(a,b)))

def op_count_SBmM8e1lwk(a, b):
    if a < 581:
        count = op_count_WObL9SsYVE(a,b)+op_count_PjbVkMzmXE(b,214)+op_count_i8ToyICDmI(op_WObL9SsYVE(a,b),op_PjbVkMzmXE(b,214))+op_count_bx9Z9DAK5y(op_i8ToyICDmI(op_WObL9SsYVE(a,b),op_PjbVkMzmXE(b,214)))
    else:
        count = op_count_ljTHtUsqzn(a)+op_count_KFSx94NKJn(a,b)+op_count_Qy55tPpLXF(op_ljTHtUsqzn(a),op_KFSx94NKJn(a,b))+op_count_nFAOW8KTqp(op_Qy55tPpLXF(op_ljTHtUsqzn(a),op_KFSx94NKJn(a,b)))
    return count


a⇈⩻b = { (⩪⩔(b⋘a)) , if b==59 ; ((b⇩)⊇≀≁) , else }

def op_If09U4imfG(a, b):
    if b == 59:
        return op_Siyfjn51pv(op_2M7SKlOzyM(b,a))
    else:
        return op_AfoL3wC8aT(op_vRio1gEz1j(b))

def op_count_If09U4imfG(a, b):
    if b == 59:
        count = op_count_2M7SKlOzyM(b,a)+op_count_Siyfjn51pv(op_2M7SKlOzyM(b,a))
    else:
        count = op_count_vRio1gEz1j(b)+op_count_AfoL3wC8aT(op_vRio1gEz1j(b))
    return count


a−⩙b = { ((⪁⇼a)⪭↷⊩) , if a<=305 ; (⊿(b⨐b)) , else }

def op_LCIWZYeeIg(a, b):
    if a <= 305:
        return op_Oe8teynzfS(op_ZNVVrZ94lY(a))
    else:
        return op_DO4fhlbJSI(op_Noe24qw2ks(b,b))

def op_count_LCIWZYeeIg(a, b):
    if a <= 305:
        count = op_count_ZNVVrZ94lY(a)+op_count_Oe8teynzfS(op_ZNVVrZ94lY(a))
    else:
        count = op_count_Noe24qw2ks(b,b)+op_count_DO4fhlbJSI(op_Noe24qw2ks(b,b))
    return count


a⫞⫛⩱b = { (⪞⋲≾(↖∇⇑(7⩌b))) , if b!=543 ; (((a≗⫍)⪠⩆⊳)⩒⫫((202⨧↗⨷a)⨴(a⪁⨴⋨a))) , else }

def op_zq8axvgV1G(a, b):
    if b != 543:
        return op_kz228nwi0J(op_th50nGnoUm(op_UoVew8f2p2(7,b)))
    else:
        return op_KFSx94NKJn(op_JLbD19bQDL(op_7Nd029Vx1U(a)),op_jBC4ymW3D7(op_WSbXXWOizJ(202,a),op_y2kQTS4a70(a,a)))

def op_count_zq8axvgV1G(a, b):
    if b != 543:
        count = op_count_UoVew8f2p2(7,b)+op_count_th50nGnoUm(op_UoVew8f2p2(7,b))+op_count_kz228nwi0J(op_th50nGnoUm(op_UoVew8f2p2(7,b)))
    else:
        count = op_count_7Nd029Vx1U(a)+op_count_JLbD19bQDL(op_7Nd029Vx1U(a))+op_count_WSbXXWOizJ(202,a)+op_count_y2kQTS4a70(a,a)+op_count_jBC4ymW3D7(op_WSbXXWOizJ(202,a),op_y2kQTS4a70(a,a))+op_count_KFSx94NKJn(op_JLbD19bQDL(op_7Nd029Vx1U(a)),op_jBC4ymW3D7(op_WSbXXWOizJ(202,a),op_y2kQTS4a70(a,a)))
    return count


def op_Ytqyqjc8hL(a, b):
    return op_rPNtK4BLRO(op_Pkwamo1tM2(op_B3sABdIn96(b),op_2DQ55sFlQl(b,a)),op_SgAxmdLNEA(op_vg4gO5BX6G(b,b)))

def op_count_Ytqyqjc8hL(a, b):
    count = op_count_B3sABdIn96(b)+op_count_2DQ55sFlQl(b,a)+op_count_Pkwamo1tM2(op_B3sABdIn96(b),op_2DQ55sFlQl(b,a))+op_count_vg4gO5BX6G(b,b)+op_count_SgAxmdLNEA(op_vg4gO5BX6G(b,b))+op_count_rPNtK4BLRO(op_Pkwamo1tM2(op_B3sABdIn96(b),op_2DQ55sFlQl(b,a)),op_SgAxmdLNEA(op_vg4gO5BX6G(b,b)))
    return count


def op_yTxSUUZ7D5(a):
    return op_XnXgA4xnOs(256,a)

def op_count_yTxSUUZ7D5(a):
    count = op_count_XnXgA4xnOs(256,a)
    return count


a∖⊞b = { (((668⫏↛⩏b)⊉≛↸(a⨧↗⨷a))↢((⋽⪳⨃b)⊭↱(⇾⩊⇾a))) , if a!=245 ; (((b∴b)⊨(b⩌⋺b))≧⫂∧((b⩵∡a)↺(↪⨀b))) , else }

def op_oyoxwDY5OK(a, b):
    if a != 245:
        return op_WR6HLWljOP(op_DZ8iAZOCBD(op_YC3tgrnOyr(668,b),op_WSbXXWOizJ(a,a)),op_COABgblf1C(op_qAljGMXEZr(b),op_bx9Z9DAK5y(a)))
    else:
        return op_Ph9nP6C5qx(op_vg4gO5BX6G(op_hrf7POJlIJ(b,b),op_g7Hmc5v1ko(b,b)),op_7j4O788W3g(op_Y7wcNGrDQJ(b,a),op_t0cKpDWDXO(b)))

def op_count_oyoxwDY5OK(a, b):
    if a != 245:
        count = op_count_YC3tgrnOyr(668,b)+op_count_WSbXXWOizJ(a,a)+op_count_DZ8iAZOCBD(op_YC3tgrnOyr(668,b),op_WSbXXWOizJ(a,a))+op_count_qAljGMXEZr(b)+op_count_bx9Z9DAK5y(a)+op_count_COABgblf1C(op_qAljGMXEZr(b),op_bx9Z9DAK5y(a))+op_count_WR6HLWljOP(op_DZ8iAZOCBD(op_YC3tgrnOyr(668,b),op_WSbXXWOizJ(a,a)),op_COABgblf1C(op_qAljGMXEZr(b),op_bx9Z9DAK5y(a)))
    else:
        count = op_count_hrf7POJlIJ(b,b)+op_count_g7Hmc5v1ko(b,b)+op_count_vg4gO5BX6G(op_hrf7POJlIJ(b,b),op_g7Hmc5v1ko(b,b))+op_count_Y7wcNGrDQJ(b,a)+op_count_t0cKpDWDXO(b)+op_count_7j4O788W3g(op_Y7wcNGrDQJ(b,a),op_t0cKpDWDXO(b))+op_count_Ph9nP6C5qx(op_vg4gO5BX6G(op_hrf7POJlIJ(b,b),op_g7Hmc5v1ko(b,b)),op_7j4O788W3g(op_Y7wcNGrDQJ(b,a),op_t0cKpDWDXO(b)))
    return count


⇆∐⩂a = { (((↞578)⪱⇝(⊤a))⇩) , if a>27 ; ((⊄⩳↩(a⨻⪊⨷a))⨣∐↬((a⊬⨰a)≶a)) , else }

def op_yD5rMtMDT4(a):
    if a > 27:
        return op_vRio1gEz1j(op_OTRTVPweYV(op_QKXs96F9fN(578),op_oDvtRyfmAM(a)))
    else:
        return op_UpkSd4zESC(op_8w2t5hMYqp(op_Pkwamo1tM2(a,a)),op_Q2SPaKwpPJ(op_s3Fd5m9Dh2(a,a),a))

def op_count_yD5rMtMDT4(a):
    if a > 27:
        count = op_count_QKXs96F9fN(578)+op_count_oDvtRyfmAM(a)+op_count_OTRTVPweYV(op_QKXs96F9fN(578),op_oDvtRyfmAM(a))+op_count_vRio1gEz1j(op_OTRTVPweYV(op_QKXs96F9fN(578),op_oDvtRyfmAM(a)))
    else:
        count = op_count_Pkwamo1tM2(a,a)+op_count_8w2t5hMYqp(op_Pkwamo1tM2(a,a))+op_count_s3Fd5m9Dh2(a,a)+op_count_Q2SPaKwpPJ(op_s3Fd5m9Dh2(a,a),a)+op_count_UpkSd4zESC(op_8w2t5hMYqp(op_Pkwamo1tM2(a,a)),op_Q2SPaKwpPJ(op_s3Fd5m9Dh2(a,a),a))
    return count


def op_6ttpNeQUxE(a):
    return op_AYdpE9sXAk(op_umQnsF7QlU(a,a))

def op_count_6ttpNeQUxE(a):
    count = op_count_umQnsF7QlU(a,a)+op_count_AYdpE9sXAk(op_umQnsF7QlU(a,a))
    return count


def op_8pEb091Skj(a):
    return op_rFxw8gIMmB(op_2DDjHMKMc0(op_KYL1uVeVpb(67,a),op_HiPekx5b7W(a,a)))

def op_count_8pEb091Skj(a):
    count = op_count_KYL1uVeVpb(67,a)+op_count_HiPekx5b7W(a,a)+op_count_2DDjHMKMc0(op_KYL1uVeVpb(67,a),op_HiPekx5b7W(a,a))+op_count_rFxw8gIMmB(op_2DDjHMKMc0(op_KYL1uVeVpb(67,a),op_HiPekx5b7W(a,a)))
    return count


⫝≑a = { (((a⊭⇢↿)⊬⨰(a⋆⊨a))∌((a≏⨯⊱a)⊓≱(189⋢a))) }

def op_t8L2dp1cPE(a):
    return op_8cLx32lpNA(op_s3Fd5m9Dh2(op_G8pG1QxO6Y(a),op_uTBsSls0VN(a,a)),op_VCG3UHNzLR(op_UqUOXUQnbU(a,a),op_NdELin8EPX(189,a)))

def op_count_t8L2dp1cPE(a):
    count = op_count_G8pG1QxO6Y(a)+op_count_uTBsSls0VN(a,a)+op_count_s3Fd5m9Dh2(op_G8pG1QxO6Y(a),op_uTBsSls0VN(a,a))+op_count_UqUOXUQnbU(a,a)+op_count_NdELin8EPX(189,a)+op_count_VCG3UHNzLR(op_UqUOXUQnbU(a,a),op_NdELin8EPX(189,a))+op_count_8cLx32lpNA(op_s3Fd5m9Dh2(op_G8pG1QxO6Y(a),op_uTBsSls0VN(a,a)),op_VCG3UHNzLR(op_UqUOXUQnbU(a,a),op_NdELin8EPX(189,a)))
    return count


def op_vHxjA6kYGK(a, b):
    return op_Qaz2MhZaG5(op_4JGOJzXMq1(op_xoJmIySC7h(a,b),op_GMN7JP6WpN(b,b)),op_KWeyIRWUIQ(op_eH2TOUuTDT(a)))

def op_count_vHxjA6kYGK(a, b):
    count = op_count_xoJmIySC7h(a,b)+op_count_GMN7JP6WpN(b,b)+op_count_4JGOJzXMq1(op_xoJmIySC7h(a,b),op_GMN7JP6WpN(b,b))+op_count_eH2TOUuTDT(a)+op_count_KWeyIRWUIQ(op_eH2TOUuTDT(a))+op_count_Qaz2MhZaG5(op_4JGOJzXMq1(op_xoJmIySC7h(a,b),op_GMN7JP6WpN(b,b)),op_KWeyIRWUIQ(op_eH2TOUuTDT(a)))
    return count


⇸⨏a = { (⊁⨺(116⩤∜↚a)) , if a==274 ; (a≠≀(a∑a)) , else }

def op_Mz74PzEBhh(a):
    if a == 274:
        return op_PxiHyQbrIp(op_KROiRRz3d6(116,a))
    else:
        return op_IwW236VD4Y(a,op_JFrVJKYFMX(a,a))

def op_count_Mz74PzEBhh(a):
    if a == 274:
        count = op_count_KROiRRz3d6(116,a)+op_count_PxiHyQbrIp(op_KROiRRz3d6(116,a))
    else:
        count = op_count_JFrVJKYFMX(a,a)+op_count_IwW236VD4Y(a,op_JFrVJKYFMX(a,a))
    return count


a⋲∐ = { (a⋆⊨a) , if a>92 ; (a⫰⋱658) , else }

def op_qpohaFRo4v(a):
    if a > 92:
        return op_uTBsSls0VN(a,a)
    else:
        return op_6o9Blt3TJ6(a,658)

def op_count_qpohaFRo4v(a):
    if a > 92:
        count = op_count_uTBsSls0VN(a,a)
    else:
        count = op_count_6o9Blt3TJ6(a,658)
    return count


def op_WQ4V1AEB0R(a):
    if op_JoLB3LXqXx(a,539) < 113:
        return op_j4geBLYVFK(op_YC3tgrnOyr(op_23Mk6UjR3U(a,a),op_Z5m6OM72h2(a,a)))
    else:
        return op_23Mk6UjR3U(op_ar1w6gUwHX(op_86A5ENbKR9(a),op_Rw46J52cBJ(a,16)),op_4JB6nKBMSY(op_13TjBizFrQ(a),op_nbuSfrB4hB(a,270)))

def op_count_WQ4V1AEB0R(a):
    if op_JoLB3LXqXx(a,539) < 113:
        count = op_count_23Mk6UjR3U(a,a)+op_count_Z5m6OM72h2(a,a)+op_count_YC3tgrnOyr(op_23Mk6UjR3U(a,a),op_Z5m6OM72h2(a,a))+op_count_j4geBLYVFK(op_YC3tgrnOyr(op_23Mk6UjR3U(a,a),op_Z5m6OM72h2(a,a)))+op_count_JoLB3LXqXx(a,539)
    else:
        count = op_count_86A5ENbKR9(a)+op_count_Rw46J52cBJ(a,16)+op_count_ar1w6gUwHX(op_86A5ENbKR9(a),op_Rw46J52cBJ(a,16))+op_count_13TjBizFrQ(a)+op_count_nbuSfrB4hB(a,270)+op_count_4JB6nKBMSY(op_13TjBizFrQ(a),op_nbuSfrB4hB(a,270))+op_count_23Mk6UjR3U(op_ar1w6gUwHX(op_86A5ENbKR9(a),op_Rw46J52cBJ(a,16)),op_4JB6nKBMSY(op_13TjBizFrQ(a),op_nbuSfrB4hB(a,270)))
    return count


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

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


⊛⇂⪨a = { (((a⇔⨋)⊱⇼⊻(44⨔⇊a))∣((⩪⩔a)⊱⇼⊻(a⋐≟⩺a))) , if a<514 ; (((a↪∷a)⇖↽(a⫶a))⊵259) , else }

def op_3J4g3cQCoj(a):
    if a < 514:
        return op_PPChnnnBFF(op_FyVja0WsTP(op_uBihLCJcMX(a),op_JclMnS0uGI(44,a)),op_FyVja0WsTP(op_Siyfjn51pv(a),op_PjbVkMzmXE(a,a)))
    else:
        return op_eaFBhJ0Uku(op_cwbF3JtlMN(op_Api82iH42a(a,a),op_BAIXFdYaz3(a,a)),259)

def op_count_3J4g3cQCoj(a):
    if a < 514:
        count = op_count_uBihLCJcMX(a)+op_count_JclMnS0uGI(44,a)+op_count_FyVja0WsTP(op_uBihLCJcMX(a),op_JclMnS0uGI(44,a))+op_count_Siyfjn51pv(a)+op_count_PjbVkMzmXE(a,a)+op_count_FyVja0WsTP(op_Siyfjn51pv(a),op_PjbVkMzmXE(a,a))+op_count_PPChnnnBFF(op_FyVja0WsTP(op_uBihLCJcMX(a),op_JclMnS0uGI(44,a)),op_FyVja0WsTP(op_Siyfjn51pv(a),op_PjbVkMzmXE(a,a)))
    else:
        count = op_count_Api82iH42a(a,a)+op_count_BAIXFdYaz3(a,a)+op_count_cwbF3JtlMN(op_Api82iH42a(a,a),op_BAIXFdYaz3(a,a))+op_count_eaFBhJ0Uku(op_cwbF3JtlMN(op_Api82iH42a(a,a),op_BAIXFdYaz3(a,a)),259)
    return count


def op_bWL4mnk6wT(a):
    return op_2O29ZX4yK6(op_09Ly4LVMIf(621,a))

def op_count_bWL4mnk6wT(a):
    count = op_count_09Ly4LVMIf(621,a)+op_count_2O29ZX4yK6(op_09Ly4LVMIf(621,a))
    return count


def op_tdrqWckC28(a):
    return op_ZNVVrZ94lY(op_MXaNJeIAZ3(a))

def op_count_tdrqWckC28(a):
    count = op_count_MXaNJeIAZ3(a)+op_count_ZNVVrZ94lY(op_MXaNJeIAZ3(a))
    return count


a⩳b = { (((b⫸b)∠↢(b⨑≵⋬a))⪇≇⋚((b⫏↛⩏b)⪖⪡(b⨧↗⨷b))) , if (a∣929)==127 ; ((b⪇≇⋚(⫊≏⨉b))↪∷(⩪∧⨌(a⩜⩌))) , else }

def op_yC1eAvCdMl(a, b):
    if op_PPChnnnBFF(a,929) == 127:
        return op_3sJ7IOPOlU(op_KbjG8mgYpV(op_Qaz2MhZaG5(b,b),op_XnXgA4xnOs(b,a)),op_7PjNe5qSIJ(op_YC3tgrnOyr(b,b),op_WSbXXWOizJ(b,b)))
    else:
        return op_Api82iH42a(op_3sJ7IOPOlU(b,op_KED7KUUlGq(b)),op_6iOiAJX1F8(op_2DRhT6gtPg(a)))

def op_count_yC1eAvCdMl(a, b):
    if op_PPChnnnBFF(a,929) == 127:
        count = op_count_Qaz2MhZaG5(b,b)+op_count_XnXgA4xnOs(b,a)+op_count_KbjG8mgYpV(op_Qaz2MhZaG5(b,b),op_XnXgA4xnOs(b,a))+op_count_YC3tgrnOyr(b,b)+op_count_WSbXXWOizJ(b,b)+op_count_7PjNe5qSIJ(op_YC3tgrnOyr(b,b),op_WSbXXWOizJ(b,b))+op_count_3sJ7IOPOlU(op_KbjG8mgYpV(op_Qaz2MhZaG5(b,b),op_XnXgA4xnOs(b,a)),op_7PjNe5qSIJ(op_YC3tgrnOyr(b,b),op_WSbXXWOizJ(b,b)))+op_count_PPChnnnBFF(a,929)
    else:
        count = op_count_KED7KUUlGq(b)+op_count_3sJ7IOPOlU(b,op_KED7KUUlGq(b))+op_count_2DRhT6gtPg(a)+op_count_6iOiAJX1F8(op_2DRhT6gtPg(a))+op_count_Api82iH42a(op_3sJ7IOPOlU(b,op_KED7KUUlGq(b)),op_6iOiAJX1F8(op_2DRhT6gtPg(a)))
    return count


def op_4BgDUfrXIE(a, b):
    return op_VCG3UHNzLR(op_HiPekx5b7W(a,629),op_2DDjHMKMc0(b,b))

def op_count_4BgDUfrXIE(a, b):
    count = op_count_HiPekx5b7W(a,629)+op_count_2DDjHMKMc0(b,b)+op_count_VCG3UHNzLR(op_HiPekx5b7W(a,629),op_2DDjHMKMc0(b,b))
    return count


def op_e2I50Kkg91(a):
    return op_tIhPxZTbsh(op_3Oe9XWJUTD(29,a),op_XPYlsWDdGa(a))

def op_count_e2I50Kkg91(a):
    count = op_count_3Oe9XWJUTD(29,a)+op_count_XPYlsWDdGa(a)+op_count_tIhPxZTbsh(op_3Oe9XWJUTD(29,a),op_XPYlsWDdGa(a))
    return count


a⫯⨴b = { ((a⪔⊥(a⩧⪆b))⨰↻⪇((a-∠a)∌(⨍⩸↶328))) , if a!=44 and b<492 and b==606 ; a , else }

def op_AmQ3iGDvqx(a, b):
    if a != 44 and b < 492 and b == 606:
        return op_nbuSfrB4hB(op_HJ9erzHUuu(a,op_Ikt5ks8PT7(a,b)),op_8cLx32lpNA(op_s0IfDFCCuZ(a,a),op_2jG7DiviLq(328)))
    else:
        return a

def op_count_AmQ3iGDvqx(a, b):
    if a != 44 and b < 492 and b == 606:
        count = op_count_Ikt5ks8PT7(a,b)+op_count_HJ9erzHUuu(a,op_Ikt5ks8PT7(a,b))+op_count_s0IfDFCCuZ(a,a)+op_count_2jG7DiviLq(328)+op_count_8cLx32lpNA(op_s0IfDFCCuZ(a,a),op_2jG7DiviLq(328))+op_count_nbuSfrB4hB(op_HJ9erzHUuu(a,op_Ikt5ks8PT7(a,b)),op_8cLx32lpNA(op_s0IfDFCCuZ(a,a),op_2jG7DiviLq(328)))
    else:
        count = 1
    return count


def op_YUaZ0ptK8E(a):
    if op_IqGBaFP0uj(a) <= 266 or a != 722:
        return op_UMMmb9LONo(a)
    else:
        return op_QiR2Oyf5Xj(a)

def op_count_YUaZ0ptK8E(a):
    if op_IqGBaFP0uj(a) <= 266 or a != 722:
        count = op_count_UMMmb9LONo(a)+op_count_IqGBaFP0uj(a)
    else:
        count = op_count_QiR2Oyf5Xj(a)
    return count


⨇⋊⊆a = { (((a-∠a)∀⩎⋷(a↢a))≟⫹(⊿(680⪠⩆⊳))) }

def op_eX0elmHHZW(a):
    return op_z2JHNkvbdm(op_FPxP5Y1j0W(op_s0IfDFCCuZ(a,a),op_WR6HLWljOP(a,a)),op_DO4fhlbJSI(op_JLbD19bQDL(680)))

def op_count_eX0elmHHZW(a):
    count = op_count_s0IfDFCCuZ(a,a)+op_count_WR6HLWljOP(a,a)+op_count_FPxP5Y1j0W(op_s0IfDFCCuZ(a,a),op_WR6HLWljOP(a,a))+op_count_JLbD19bQDL(680)+op_count_DO4fhlbJSI(op_JLbD19bQDL(680))+op_count_z2JHNkvbdm(op_FPxP5Y1j0W(op_s0IfDFCCuZ(a,a),op_WR6HLWljOP(a,a)),op_DO4fhlbJSI(op_JLbD19bQDL(680)))
    return count


a⪷↴b = { (((⫇⨷b)∣(a⫊⇚⊺a))∏⇴(∋∴(a⨸⪁b))) }

def op_Yslh20Vpco(a, b):
    return op_Rw46J52cBJ(op_PPChnnnBFF(op_ct1hK6qyRt(b),op_Y5cEcQhyKu(a,a)),op_nouZ5SZjt1(op_g55IO6H4Gj(a,b)))

def op_count_Yslh20Vpco(a, b):
    count = op_count_ct1hK6qyRt(b)+op_count_Y5cEcQhyKu(a,a)+op_count_PPChnnnBFF(op_ct1hK6qyRt(b),op_Y5cEcQhyKu(a,a))+op_count_g55IO6H4Gj(a,b)+op_count_nouZ5SZjt1(op_g55IO6H4Gj(a,b))+op_count_Rw46J52cBJ(op_PPChnnnBFF(op_ct1hK6qyRt(b),op_Y5cEcQhyKu(a,a)),op_nouZ5SZjt1(op_g55IO6H4Gj(a,b)))
    return count


def op_VwYTWe2QPM(a):
    if (a != 399 and op_wztAlM01eG(a) <= 295):
        return op_j9kHMeSvPp(a,a)
    else:
        return op_PaBHOjxk8c(a)

def op_count_VwYTWe2QPM(a):
    if (a != 399 and op_wztAlM01eG(a) <= 295):
        count = op_count_j9kHMeSvPp(a,a)+op_count_wztAlM01eG(a)
    else:
        count = op_count_PaBHOjxk8c(a)
    return count


a⨈⫡≨ = { (⫦≽⪐(a⨑⋨a)) , if a>=174 ; ((a∼⇢a)⫟≀⫫) , else }

def op_ZV0kPoKDhQ(a):
    if a >= 174:
        return op_fjqJgF5yyp(op_tIhPxZTbsh(a,a))
    else:
        return op_KfMCrRzQhT(op_Cr5xnr8B4B(a,a))

def op_count_ZV0kPoKDhQ(a):
    if a >= 174:
        count = op_count_tIhPxZTbsh(a,a)+op_count_fjqJgF5yyp(op_tIhPxZTbsh(a,a))
    else:
        count = op_count_Cr5xnr8B4B(a,a)+op_count_KfMCrRzQhT(op_Cr5xnr8B4B(a,a))
    return count


⪑⋘a = { (((a⨧157)⊚⫡⫭)≏⨯⊱((a⫩⊇)∠⫱(a⪱⇝a))) }

def op_MXfLdPX77h(a):
    return op_UqUOXUQnbU(op_SpZWOsLKZJ(op_3YWlZA9bsa(a,157)),op_QvoQhV0rrE(op_BjRHVeLaeN(a),op_OTRTVPweYV(a,a)))

def op_count_MXfLdPX77h(a):
    count = op_count_3YWlZA9bsa(a,157)+op_count_SpZWOsLKZJ(op_3YWlZA9bsa(a,157))+op_count_BjRHVeLaeN(a)+op_count_OTRTVPweYV(a,a)+op_count_QvoQhV0rrE(op_BjRHVeLaeN(a),op_OTRTVPweYV(a,a))+op_count_UqUOXUQnbU(op_SpZWOsLKZJ(op_3YWlZA9bsa(a,157)),op_QvoQhV0rrE(op_BjRHVeLaeN(a),op_OTRTVPweYV(a,a)))
    return count

UqUOXUQnbU BjRHVeLaeN OTRTVPweYV SpZWOsLKZJ QvoQhV0rrE 3YWlZA9bsa


a⋺⨳ = { (((a⨧493)≦≮≮)⇢((a↱⊪⇍)⪨⊡(a↼⊘⨖a))) , if a<85 ; (∥⊫((⫂a)⪹)) , else }

def op_zLvf3ynfJD(a):
    if a < 85:
        return op_GMN7JP6WpN(op_D4vGDi5EA2(op_3YWlZA9bsa(a,493)),op_kuIXHzHcAH(op_Zubgv0tBda(a),op_bPywburJMS(a,a)))
    else:
        return op_P8v4zCKN1o(op_B3sABdIn96(op_U9HvHqtOoq(a)))

def op_count_zLvf3ynfJD(a):
    if a < 85:
        count = op_count_3YWlZA9bsa(a,493)+op_count_D4vGDi5EA2(op_3YWlZA9bsa(a,493))+op_count_Zubgv0tBda(a)+op_count_bPywburJMS(a,a)+op_count_kuIXHzHcAH(op_Zubgv0tBda(a),op_bPywburJMS(a,a))+op_count_GMN7JP6WpN(op_D4vGDi5EA2(op_3YWlZA9bsa(a,493)),op_kuIXHzHcAH(op_Zubgv0tBda(a),op_bPywburJMS(a,a)))
    else:
        count = op_count_U9HvHqtOoq(a)+op_count_B3sABdIn96(op_U9HvHqtOoq(a))+op_count_P8v4zCKN1o(op_B3sABdIn96(op_U9HvHqtOoq(a)))
    return count


a⇤⩏ = { ((234⩷∴a)∙∹∝(a⫊⇚⊺a)) , if a>209 ; ((a⊭a)⩤) , else }

def op_alvoT0JXVB(a):
    if a > 209:
        return op_HmxsFra2vL(op_9FxExcQeMw(234,a),op_Y5cEcQhyKu(a,a))
    else:
        return op_Z2TMIBDE3Q(op_4JGOJzXMq1(a,a))

def op_count_alvoT0JXVB(a):
    if a > 209:
        count = op_count_9FxExcQeMw(234,a)+op_count_Y5cEcQhyKu(a,a)+op_count_HmxsFra2vL(op_9FxExcQeMw(234,a),op_Y5cEcQhyKu(a,a))
    else:
        count = op_count_4JGOJzXMq1(a,a)+op_count_Z2TMIBDE3Q(op_4JGOJzXMq1(a,a))
    return count


⋑⊤a = { (⇠(a⪚a)) , if (⇉-⫰a)>386 ; (⪞⋲≾(a⩧⪆a)) , else }

def op_WgpVqVdAuJ(a):
    if op_IGFM8TAlm9(a) > 386:
        return op_18saOjeKKm(op_HrjLwUk87U(a,a))
    else:
        return op_kz228nwi0J(op_Ikt5ks8PT7(a,a))

def op_count_WgpVqVdAuJ(a):
    if op_IGFM8TAlm9(a) > 386:
        count = op_count_HrjLwUk87U(a,a)+op_count_18saOjeKKm(op_HrjLwUk87U(a,a))+op_count_IGFM8TAlm9(a)
    else:
        count = op_count_Ikt5ks8PT7(a,a)+op_count_kz228nwi0J(op_Ikt5ks8PT7(a,a))
    return count


def op_OstGYNawjH(a, b):
    if op_JFrVJKYFMX(a,692) <= 97:
        return op_s0IfDFCCuZ(op_JclMnS0uGI(op_y2kQTS4a70(a,a),a),op_jBC4ymW3D7(op_WObL9SsYVE(353,a),op_EO7Xdgo9So(b)))
    else:
        return op_BiWNJpBvwn(op_nREPSIbpBE(op_cFVlceoRkX(a,173),b),op_W7eaUhjymW(op_BiWNJpBvwn(a,b)))

def op_count_OstGYNawjH(a, b):
    if op_JFrVJKYFMX(a,692) <= 97:
        count = op_count_y2kQTS4a70(a,a)+op_count_JclMnS0uGI(op_y2kQTS4a70(a,a),a)+op_count_WObL9SsYVE(353,a)+op_count_EO7Xdgo9So(b)+op_count_jBC4ymW3D7(op_WObL9SsYVE(353,a),op_EO7Xdgo9So(b))+op_count_s0IfDFCCuZ(op_JclMnS0uGI(op_y2kQTS4a70(a,a),a),op_jBC4ymW3D7(op_WObL9SsYVE(353,a),op_EO7Xdgo9So(b)))+op_count_JFrVJKYFMX(a,692)
    else:
        count = op_count_cFVlceoRkX(a,173)+op_count_nREPSIbpBE(op_cFVlceoRkX(a,173),b)+op_count_BiWNJpBvwn(a,b)+op_count_W7eaUhjymW(op_BiWNJpBvwn(a,b))+op_count_BiWNJpBvwn(op_nREPSIbpBE(op_cFVlceoRkX(a,173),b),op_W7eaUhjymW(op_BiWNJpBvwn(a,b)))
    return count


def op_bZb93P8weS(a):
    return op_7PjNe5qSIJ(op_GNmBfxrna9(op_PPChnnnBFF(a,a)),op_o575Zjdmzy(op_AnPstFaJd9(a)))

def op_count_bZb93P8weS(a):
    count = op_count_PPChnnnBFF(a,a)+op_count_GNmBfxrna9(op_PPChnnnBFF(a,a))+op_count_AnPstFaJd9(a)+op_count_o575Zjdmzy(op_AnPstFaJd9(a))+op_count_7PjNe5qSIJ(op_GNmBfxrna9(op_PPChnnnBFF(a,a)),op_o575Zjdmzy(op_AnPstFaJd9(a)))
    return count


∐∜≨a = { (⪚⨷a) , if a>49 ; (((a⊠≄⫣)⩧⪆(a∠↢19))⪇≇⋚((a⪲⨢a)≦↸a)) , else }

def op_6fNbo214qG(a):
    if a > 49:
        return op_6LuFrogppQ(a)
    else:
        return op_3sJ7IOPOlU(op_Ikt5ks8PT7(op_DIvbN7qnHd(a),op_KbjG8mgYpV(a,19)),op_RygbFNSyEJ(op_6iafYuwGo8(a,a),a))

def op_count_6fNbo214qG(a):
    if a > 49:
        count = op_count_6LuFrogppQ(a)
    else:
        count = op_count_DIvbN7qnHd(a)+op_count_KbjG8mgYpV(a,19)+op_count_Ikt5ks8PT7(op_DIvbN7qnHd(a),op_KbjG8mgYpV(a,19))+op_count_6iafYuwGo8(a,a)+op_count_RygbFNSyEJ(op_6iafYuwGo8(a,a),a)+op_count_3sJ7IOPOlU(op_Ikt5ks8PT7(op_DIvbN7qnHd(a),op_KbjG8mgYpV(a,19)),op_RygbFNSyEJ(op_6iafYuwGo8(a,a),a))
    return count


def op_PVs2szVvOd(a):
    return op_oPMjh9089D(op_0kmYd0q39Y(a,222))

def op_count_PVs2szVvOd(a):
    count = op_count_0kmYd0q39Y(a,222)+op_count_oPMjh9089D(op_0kmYd0q39Y(a,222))
    return count


def op_XJI43DGxFi(a):
    if op_EO7Xdgo9So(a) <= 85:
        return op_KbjG8mgYpV(a,246)
    else:
        return op_2fAMLLeFHb(a)

def op_count_XJI43DGxFi(a):
    if op_EO7Xdgo9So(a) <= 85:
        count = op_count_KbjG8mgYpV(a,246)+op_count_EO7Xdgo9So(a)
    else:
        count = op_count_2fAMLLeFHb(a)
    return count


def op_owrP24woSl(a):
    return op_oPMjh9089D(op_Rw46J52cBJ(a,a))

def op_count_owrP24woSl(a):
    count = op_count_Rw46J52cBJ(a,a)+op_count_oPMjh9089D(op_Rw46J52cBJ(a,a))
    return count


a⩍∍⪤b = { (⩪∧⨌a) , if (b⊢≏≾163)!=196 ; (b⪦⩸b) , else }

def op_pevpteaPmM(a, b):
    if op_qxqspddX8k(b,163) != 196:
        return op_6iOiAJX1F8(a)
    else:
        return op_0JWJYFSzIQ(b,b)

def op_count_pevpteaPmM(a, b):
    if op_qxqspddX8k(b,163) != 196:
        count = op_count_6iOiAJX1F8(a)+op_count_qxqspddX8k(b,163)
    else:
        count = op_count_0JWJYFSzIQ(b,b)
    return count


def op_I8Ve4empKG(a, b):
    return op_uysxUYN2L2(op_dAAkup5nzi(op_kweVJGAjhl(b),op_3Oe9XWJUTD(a,a)),b)

def op_count_I8Ve4empKG(a, b):
    count = op_count_kweVJGAjhl(b)+op_count_3Oe9XWJUTD(a,a)+op_count_dAAkup5nzi(op_kweVJGAjhl(b),op_3Oe9XWJUTD(a,a))+op_count_uysxUYN2L2(op_dAAkup5nzi(op_kweVJGAjhl(b),op_3Oe9XWJUTD(a,a)),b)
    return count


def op_uMTzgDCyJv(a):
    return op_Bmrmz2XGnR(a,op_B3sABdIn96(op_64EQ39e0fC(a,a)))

def op_count_uMTzgDCyJv(a):
    count = op_count_64EQ39e0fC(a,a)+op_count_B3sABdIn96(op_64EQ39e0fC(a,a))+op_count_Bmrmz2XGnR(a,op_B3sABdIn96(op_64EQ39e0fC(a,a)))
    return count


a⩨⇫b = { (⫇b) , if (a⋅∹⩇)<438 ; (a∊⊞≈311) , else }

def op_DcJ7QUUf6x(a, b):
    if op_Tmr9JGNMVH(a) < 438:
        return op_YjI8oCXuph(b)
    else:
        return op_keuJNkrrbj(a,311)

def op_count_DcJ7QUUf6x(a, b):
    if op_Tmr9JGNMVH(a) < 438:
        count = op_count_YjI8oCXuph(b)+op_count_Tmr9JGNMVH(a)
    else:
        count = op_count_keuJNkrrbj(a,311)
    return count


a⨇≷∥b = { ((76⩟)∫⋜⩖(b⪍↜⋙a)) , if ((⊄⩳↩b)<=534 and (b⋅∹⩇)==54) ; ((a⪉⨛b)⊵↤) , else }

def op_ER3VUc6CxE(a, b):
    if (op_8w2t5hMYqp(b) <= 534 and op_Tmr9JGNMVH(b) == 54):
        return op_JgXZM7XvWE(op_fOIeswaMU4(76),op_L05ObWFQCd(b,a))
    else:
        return op_7IPrd9c3lf(op_EWw2JM7wp4(a,b))

def op_count_ER3VUc6CxE(a, b):
    if (op_8w2t5hMYqp(b) <= 534 and op_Tmr9JGNMVH(b) == 54):
        count = op_count_fOIeswaMU4(76)+op_count_L05ObWFQCd(b,a)+op_count_JgXZM7XvWE(op_fOIeswaMU4(76),op_L05ObWFQCd(b,a))+op_count_8w2t5hMYqp(b)+op_count_Tmr9JGNMVH(b)
    else:
        count = op_count_EWw2JM7wp4(a,b)+op_count_7IPrd9c3lf(op_EWw2JM7wp4(a,b))
    return count


a∺⩠≗ = { ((⊄(⊁⨺a))≭⫡((a⪚⨁⋖a)⨔⇊(a⫃⨇a))) }

def op_K3nzzBTmUJ(a):
    return op_b1mGkbI4Oy(op_AnPstFaJd9(op_PxiHyQbrIp(a)),op_JclMnS0uGI(op_xSk1F0pZbF(a,a),op_09Ly4LVMIf(a,a)))

def op_count_K3nzzBTmUJ(a):
    count = op_count_PxiHyQbrIp(a)+op_count_AnPstFaJd9(op_PxiHyQbrIp(a))+op_count_xSk1F0pZbF(a,a)+op_count_09Ly4LVMIf(a,a)+op_count_JclMnS0uGI(op_xSk1F0pZbF(a,a),op_09Ly4LVMIf(a,a))+op_count_b1mGkbI4Oy(op_AnPstFaJd9(op_PxiHyQbrIp(a)),op_JclMnS0uGI(op_xSk1F0pZbF(a,a),op_09Ly4LVMIf(a,a)))
    return count


def op_Q3WJmdKLAz(a):
    if a == 189:
        return op_XnXgA4xnOs(op_BAIXFdYaz3(15,a),op_tifHPKVTfV(a,a))
    else:
        return op_rPNtK4BLRO(19,op_z4E1FaHLuy(a))

def op_count_Q3WJmdKLAz(a):
    if a == 189:
        count = op_count_BAIXFdYaz3(15,a)+op_count_tifHPKVTfV(a,a)+op_count_XnXgA4xnOs(op_BAIXFdYaz3(15,a),op_tifHPKVTfV(a,a))
    else:
        count = op_count_z4E1FaHLuy(a)+op_count_rPNtK4BLRO(19,op_z4E1FaHLuy(a))
    return count


⇝↙≔a = { (((104∁)⊭(⇻⨃⇄a))⪒⊣⊆(⇾⩊⇾(a≦↸a))) }

def op_LznzX3UncI(a):
    return op_eRqsBgTDFp(op_4JGOJzXMq1(op_jdwGQqwJi5(104),op_fLGIAiPz9h(a)),op_bx9Z9DAK5y(op_RygbFNSyEJ(a,a)))

def op_count_LznzX3UncI(a):
    count = op_count_jdwGQqwJi5(104)+op_count_fLGIAiPz9h(a)+op_count_4JGOJzXMq1(op_jdwGQqwJi5(104),op_fLGIAiPz9h(a))+op_count_RygbFNSyEJ(a,a)+op_count_bx9Z9DAK5y(op_RygbFNSyEJ(a,a))+op_count_eRqsBgTDFp(op_4JGOJzXMq1(op_jdwGQqwJi5(104),op_fLGIAiPz9h(a)),op_bx9Z9DAK5y(op_RygbFNSyEJ(a,a)))
    return count


def op_YdvuPOw6Zp(a, b):
    if b >= 34:
        return op_2GS7woTJqF(143,b)
    else:
        return a

def op_count_YdvuPOw6Zp(a, b):
    if b >= 34:
        count = op_count_2GS7woTJqF(143,b)
    else:
        count = 1
    return count


def op_cUpKZOVm0l(a):
    return op_KipPnG1M2J(op_9bazX3JMtO(op_uBihLCJcMX(a),op_3EYGwJThht(a,a)))

def op_count_cUpKZOVm0l(a):
    count = op_count_uBihLCJcMX(a)+op_count_3EYGwJThht(a,a)+op_count_9bazX3JMtO(op_uBihLCJcMX(a),op_3EYGwJThht(a,a))+op_count_KipPnG1M2J(op_9bazX3JMtO(op_uBihLCJcMX(a),op_3EYGwJThht(a,a)))
    return count


⩊⨳a = { (a↭↢≔) , if (a⋴⋺)<=38 ; (a≖−≲) , else }

def op_rrwC2wGnut(a):
    if op_0bdkhPtsnY(a) <= 38:
        return op_Q6LsZf8ZYd(a)
    else:
        return op_IpgdDpBHsO(a)

def op_count_rrwC2wGnut(a):
    if op_0bdkhPtsnY(a) <= 38:
        count = op_count_Q6LsZf8ZYd(a)+op_count_0bdkhPtsnY(a)
    else:
        count = op_count_IpgdDpBHsO(a)
    return count


a≅⨐⋅b = { ((b⩱)∌(↖∇⇑a)) , if (a⪠⩆⊳)<=14 ; (⇙⪊(106⫸b)) , else }

def op_lv7AZugVYQ(a, b):
    if op_JLbD19bQDL(a) <= 14:
        return op_8cLx32lpNA(op_uyq1hVkAcj(b),op_th50nGnoUm(a))
    else:
        return op_pB6Fcnrjim(op_Qaz2MhZaG5(106,b))

def op_count_lv7AZugVYQ(a, b):
    if op_JLbD19bQDL(a) <= 14:
        count = op_count_uyq1hVkAcj(b)+op_count_th50nGnoUm(a)+op_count_8cLx32lpNA(op_uyq1hVkAcj(b),op_th50nGnoUm(a))+op_count_JLbD19bQDL(a)
    else:
        count = op_count_Qaz2MhZaG5(106,b)+op_count_pB6Fcnrjim(op_Qaz2MhZaG5(106,b))
    return count


a⫒↣⫴b = { a , if (a⊬⨰88)<=160 ; (((⪸a)⩹(b⫌⩹⨱))∌↝((b⇛b)⋐≟⩺a)) , else }

def op_QNXKgMrj0w(a, b):
    if op_s3Fd5m9Dh2(a,88) <= 160:
        return a
    else:
        return op_9Isq31Ruls(op_2Wsdkap16l(op_86A5ENbKR9(a),op_EBcxylXtPf(b)),op_PjbVkMzmXE(op_S3tN1ZzpSt(b,b),a))

def op_count_QNXKgMrj0w(a, b):
    if op_s3Fd5m9Dh2(a,88) <= 160:
        count = 1
    else:
        count = op_count_86A5ENbKR9(a)+op_count_EBcxylXtPf(b)+op_count_2Wsdkap16l(op_86A5ENbKR9(a),op_EBcxylXtPf(b))+op_count_S3tN1ZzpSt(b,b)+op_count_PjbVkMzmXE(op_S3tN1ZzpSt(b,b),a)+op_count_9Isq31Ruls(op_2Wsdkap16l(op_86A5ENbKR9(a),op_EBcxylXtPf(b)),op_PjbVkMzmXE(op_S3tN1ZzpSt(b,b),a))
    return count


def op_ulzHWiwsgc(a):
    return op_B3tNObfNaL(op_ocnLzx9CaJ(op_WObL9SsYVE(a,541),op_H9jWZL1q0V(a)))

def op_count_ulzHWiwsgc(a):
    count = op_count_WObL9SsYVE(a,541)+op_count_H9jWZL1q0V(a)+op_count_ocnLzx9CaJ(op_WObL9SsYVE(a,541),op_H9jWZL1q0V(a))+op_count_B3tNObfNaL(op_ocnLzx9CaJ(op_WObL9SsYVE(a,541),op_H9jWZL1q0V(a)))
    return count


a⫌⋶⪩ = { (⩯≢≕a) , if (a⋅∹⩇)<105 ; (a⫍⨯↯) , else }

def op_iUr3zBwW6M(a):
    if op_Tmr9JGNMVH(a) < 105:
        return op_840vADziXz(a)
    else:
        return op_ZcwmYACASQ(a)

def op_count_iUr3zBwW6M(a):
    if op_Tmr9JGNMVH(a) < 105:
        count = op_count_840vADziXz(a)+op_count_Tmr9JGNMVH(a)
    else:
        count = op_count_ZcwmYACASQ(a)
    return count


⇫⪺⊃a = { (((48∊⊞≈a)⪎↠(≦a))⨩≤⫤(≉(229∠⫱a))) , if (⨂⪏⇭a)>=159 ; ((∨⫘⊿(⫊≏⨉a))∶) , else }

def op_MQjlK6MLzv(a):
    if op_AYdpE9sXAk(a) >= 159:
        return op_neKQRQQIil(op_3tVxb0NHM4(op_keuJNkrrbj(48,a),op_RPa3726CSl(a)),op_e1ybzncUwg(op_QvoQhV0rrE(229,a)))
    else:
        return op_7FnCP1ejHT(op_qxp9F1VMeC(op_KED7KUUlGq(a)))

def op_count_MQjlK6MLzv(a):
    if op_AYdpE9sXAk(a) >= 159:
        count = op_count_keuJNkrrbj(48,a)+op_count_RPa3726CSl(a)+op_count_3tVxb0NHM4(op_keuJNkrrbj(48,a),op_RPa3726CSl(a))+op_count_QvoQhV0rrE(229,a)+op_count_e1ybzncUwg(op_QvoQhV0rrE(229,a))+op_count_neKQRQQIil(op_3tVxb0NHM4(op_keuJNkrrbj(48,a),op_RPa3726CSl(a)),op_e1ybzncUwg(op_QvoQhV0rrE(229,a)))+op_count_AYdpE9sXAk(a)
    else:
        count = op_count_KED7KUUlGq(a)+op_count_qxp9F1VMeC(op_KED7KUUlGq(a))+op_count_7FnCP1ejHT(op_qxp9F1VMeC(op_KED7KUUlGq(a)))
    return count


a↑⩧⩹b = { (((a⇌⫙⪟b)⇤(b∫⋜⩖b))⪚⨁⋖((⋷⊟b)⊱⇼⊻(b⋞a))) , if (⋂b)>=544 ; (((∷≠a)⊓≱(a↜⊷b))⩒⫫(⫌⊑↬(a⨩≤⫤918))) , else }

def op_EgBFiUa2UM(a, b):
    if op_BUOGQAYlQx(b) >= 544:
        return op_xSk1F0pZbF(op_YSKBFp38Pu(op_AFVx7xoS7T(a,b),op_JgXZM7XvWE(b,b)),op_FyVja0WsTP(op_2fAMLLeFHb(b),op_V4yb4KDoeF(b,a)))
    else:
        return op_KFSx94NKJn(op_VCG3UHNzLR(op_QiR2Oyf5Xj(a),op_irKjLsMeKy(a,b)),op_h57jOAbG9W(op_neKQRQQIil(a,918)))

def op_count_EgBFiUa2UM(a, b):
    if op_BUOGQAYlQx(b) >= 544:
        count = op_count_AFVx7xoS7T(a,b)+op_count_JgXZM7XvWE(b,b)+op_count_YSKBFp38Pu(op_AFVx7xoS7T(a,b),op_JgXZM7XvWE(b,b))+op_count_2fAMLLeFHb(b)+op_count_V4yb4KDoeF(b,a)+op_count_FyVja0WsTP(op_2fAMLLeFHb(b),op_V4yb4KDoeF(b,a))+op_count_xSk1F0pZbF(op_YSKBFp38Pu(op_AFVx7xoS7T(a,b),op_JgXZM7XvWE(b,b)),op_FyVja0WsTP(op_2fAMLLeFHb(b),op_V4yb4KDoeF(b,a)))+op_count_BUOGQAYlQx(b)
    else:
        count = op_count_QiR2Oyf5Xj(a)+op_count_irKjLsMeKy(a,b)+op_count_VCG3UHNzLR(op_QiR2Oyf5Xj(a),op_irKjLsMeKy(a,b))+op_count_neKQRQQIil(a,918)+op_count_h57jOAbG9W(op_neKQRQQIil(a,918))+op_count_KFSx94NKJn(op_VCG3UHNzLR(op_QiR2Oyf5Xj(a),op_irKjLsMeKy(a,b)),op_h57jOAbG9W(op_neKQRQQIil(a,918)))
    return count


def op_oH5O3kPPRX(a, b):
    return op_YSKBFp38Pu(op_IxJHfR5psi(op_2DQ55sFlQl(b,b),op_d7ASUq0ydm(421,a)),op_FB83X2dByY(op_nCS4ZIUYfx(a,607)))

def op_count_oH5O3kPPRX(a, b):
    count = op_count_2DQ55sFlQl(b,b)+op_count_d7ASUq0ydm(421,a)+op_count_IxJHfR5psi(op_2DQ55sFlQl(b,b),op_d7ASUq0ydm(421,a))+op_count_nCS4ZIUYfx(a,607)+op_count_FB83X2dByY(op_nCS4ZIUYfx(a,607))+op_count_YSKBFp38Pu(op_IxJHfR5psi(op_2DQ55sFlQl(b,b),op_d7ASUq0ydm(421,a)),op_FB83X2dByY(op_nCS4ZIUYfx(a,607)))
    return count


def op_7fI9Cgzuff(a):
    return op_nouZ5SZjt1(op_fOIeswaMU4(op_oRDoc9rAEX(a,a)))

def op_count_7fI9Cgzuff(a):
    count = op_count_oRDoc9rAEX(a,a)+op_count_fOIeswaMU4(op_oRDoc9rAEX(a,a))+op_count_nouZ5SZjt1(op_fOIeswaMU4(op_oRDoc9rAEX(a,a)))
    return count


a≜⇝b = { (b⋥≓≎b) , if a!=117 ; (∋∴a) , else }

def op_ZXpgOvMj6j(a, b):
    if a != 117:
        return op_Qy55tPpLXF(b,b)
    else:
        return op_nouZ5SZjt1(a)

def op_count_ZXpgOvMj6j(a, b):
    if a != 117:
        count = op_count_Qy55tPpLXF(b,b)
    else:
        count = op_count_nouZ5SZjt1(a)
    return count


def op_B4x5F9vu42(a):
    return op_D309nIvmXG(op_bF6eod5Gvf(op_jBC4ymW3D7(a,a),op_KYL1uVeVpb(a,a)))

def op_count_B4x5F9vu42(a):
    count = op_count_jBC4ymW3D7(a,a)+op_count_KYL1uVeVpb(a,a)+op_count_bF6eod5Gvf(op_jBC4ymW3D7(a,a),op_KYL1uVeVpb(a,a))+op_count_D309nIvmXG(op_bF6eod5Gvf(op_jBC4ymW3D7(a,a),op_KYL1uVeVpb(a,a)))
    return count


def op_IdGCdXTLRX(a, b):
    if op_OGWBzMv138(b,920) != 457:
        return op_Noe24qw2ks(op_DpFCA1CohY(op_x5lMkHmzsq(a)),op_WkeUrDK8WX(op_13TjBizFrQ(a)))
    else:
        return b

def op_count_IdGCdXTLRX(a, b):
    if op_OGWBzMv138(b,920) != 457:
        count = op_count_x5lMkHmzsq(a)+op_count_DpFCA1CohY(op_x5lMkHmzsq(a))+op_count_13TjBizFrQ(a)+op_count_WkeUrDK8WX(op_13TjBizFrQ(a))+op_count_Noe24qw2ks(op_DpFCA1CohY(op_x5lMkHmzsq(a)),op_WkeUrDK8WX(op_13TjBizFrQ(a)))+op_count_OGWBzMv138(b,920)
    else:
        count = 1
    return count


⨭⊴∕a = { (≎↾((a⋳/a)⫃⨇(9⋳/a))) , if a!=16 ; ((∨⫘⊿(⨑⩽⪐a))⫯⪬∳((a⇋≉)⋳/a)) , else }

def op_ft1Ti0WzrU(a):
    if a != 16:
        return op_S56z7WVPBn(op_09Ly4LVMIf(op_m612RDITqL(a,a),op_m612RDITqL(9,a)))
    else:
        return op_d7ASUq0ydm(op_qxp9F1VMeC(op_AF7qkfDlqP(a)),op_m612RDITqL(op_XIabStNQrY(a),a))

def op_count_ft1Ti0WzrU(a):
    if a != 16:
        count = op_count_m612RDITqL(a,a)+op_count_m612RDITqL(9,a)+op_count_09Ly4LVMIf(op_m612RDITqL(a,a),op_m612RDITqL(9,a))+op_count_S56z7WVPBn(op_09Ly4LVMIf(op_m612RDITqL(a,a),op_m612RDITqL(9,a)))
    else:
        count = op_count_AF7qkfDlqP(a)+op_count_qxp9F1VMeC(op_AF7qkfDlqP(a))+op_count_XIabStNQrY(a)+op_count_m612RDITqL(op_XIabStNQrY(a),a)+op_count_d7ASUq0ydm(op_qxp9F1VMeC(op_AF7qkfDlqP(a)),op_m612RDITqL(op_XIabStNQrY(a),a))
    return count


a≂⨫b = { (b↙↠) , if a<18 ; ((b⨓↿∉b)⩍⋽⫝̸(b⫠↝⫳)) , else }

def op_A7k8RvvYBg(a, b):
    if a < 18:
        return op_texHS70gxN(b)
    else:
        return op_BiWNJpBvwn(op_OWnFPqjWlR(b,b),op_8n5YIzOsVS(b))

def op_count_A7k8RvvYBg(a, b):
    if a < 18:
        count = op_count_texHS70gxN(b)
    else:
        count = op_count_OWnFPqjWlR(b,b)+op_count_8n5YIzOsVS(b)+op_count_BiWNJpBvwn(op_OWnFPqjWlR(b,b),op_8n5YIzOsVS(b))
    return count


def op_F0LLUkuhAe(a):
    return op_jfYOP67v6Y(op_rysDP5nf3Z(a,a))

def op_count_F0LLUkuhAe(a):
    count = op_count_rysDP5nf3Z(a,a)+op_count_jfYOP67v6Y(op_rysDP5nf3Z(a,a))
    return count


⊃↗a = { ((168↱⊪⇍)⊝⪿⪼(64⫃⨇a)) , if (a⊬⫿⊭)>=608 ; ((⩏⊷≩a)⋷(a⨳⩥⨓a)) , else }

def op_DghZEWf6g8(a):
    if op_v0DYgG9ikt(a) >= 608:
        return op_3Oe9XWJUTD(op_Zubgv0tBda(168),op_09Ly4LVMIf(64,a))
    else:
        return op_23Mk6UjR3U(op_uOZ1tnYMDE(a),op_nCS4ZIUYfx(a,a))

def op_count_DghZEWf6g8(a):
    if op_v0DYgG9ikt(a) >= 608:
        count = op_count_Zubgv0tBda(168)+op_count_09Ly4LVMIf(64,a)+op_count_3Oe9XWJUTD(op_Zubgv0tBda(168),op_09Ly4LVMIf(64,a))+op_count_v0DYgG9ikt(a)
    else:
        count = op_count_uOZ1tnYMDE(a)+op_count_nCS4ZIUYfx(a,a)+op_count_23Mk6UjR3U(op_uOZ1tnYMDE(a),op_nCS4ZIUYfx(a,a))
    return count


def op_CY7sw4XNp1(a, b):
    return op_Noe24qw2ks(op_irKjLsMeKy(op_Pkwamo1tM2(272,295),op_UqUOXUQnbU(b,a)),op_wztAlM01eG(op_XPYlsWDdGa(204)))

def op_count_CY7sw4XNp1(a, b):
    count = op_count_Pkwamo1tM2(272,295)+op_count_UqUOXUQnbU(b,a)+op_count_irKjLsMeKy(op_Pkwamo1tM2(272,295),op_UqUOXUQnbU(b,a))+op_count_XPYlsWDdGa(204)+op_count_wztAlM01eG(op_XPYlsWDdGa(204))+op_count_Noe24qw2ks(op_irKjLsMeKy(op_Pkwamo1tM2(272,295),op_UqUOXUQnbU(b,a)),op_wztAlM01eG(op_XPYlsWDdGa(204)))
    return count


def op_GihdubVxvG(a):
    return op_bF6eod5Gvf(op_H0pizIJMoW(a),op_d7ASUq0ydm(op_YbVcJGFEVW(a,438),op_cTDWOvIxvz(a,317)))

def op_count_GihdubVxvG(a):
    count = op_count_H0pizIJMoW(a)+op_count_YbVcJGFEVW(a,438)+op_count_cTDWOvIxvz(a,317)+op_count_d7ASUq0ydm(op_YbVcJGFEVW(a,438),op_cTDWOvIxvz(a,317))+op_count_bF6eod5Gvf(op_H0pizIJMoW(a),op_d7ASUq0ydm(op_YbVcJGFEVW(a,438),op_cTDWOvIxvz(a,317)))
    return count


def op_SIS0A23AUq(a):
    if a > 632:
        return op_7j4O788W3g(a,371)
    else:
        return op_LkLIoiE525(5)

def op_count_SIS0A23AUq(a):
    if a > 632:
        count = op_count_7j4O788W3g(a,371)
    else:
        count = op_count_LkLIoiE525(5)
    return count


a∱⫫⫌ = { ((a⇩↽)⩜⩌) , if (a+⪬∐721)<=791 ; ((a⪯⫾⋍a)⪭(a⪔⊥a)) , else }

def op_W8pWfGHFCd(a):
    if op_2GS7woTJqF(a,721) <= 791:
        return op_2DRhT6gtPg(op_HjMFvreeUu(a))
    else:
        return op_j9kHMeSvPp(op_S5ZFQS4GK3(a,a),op_HJ9erzHUuu(a,a))

def op_count_W8pWfGHFCd(a):
    if op_2GS7woTJqF(a,721) <= 791:
        count = op_count_HjMFvreeUu(a)+op_count_2DRhT6gtPg(op_HjMFvreeUu(a))+op_count_2GS7woTJqF(a,721)
    else:
        count = op_count_S5ZFQS4GK3(a,a)+op_count_HJ9erzHUuu(a,a)+op_count_j9kHMeSvPp(op_S5ZFQS4GK3(a,a),op_HJ9erzHUuu(a,a))
    return count


def op_fdP8zj56kM(a):
    return op_NTOWxs364D(a,op_2td37pGCOC(318))

def op_count_fdP8zj56kM(a):
    count = op_count_2td37pGCOC(318)+op_count_NTOWxs364D(a,op_2td37pGCOC(318))
    return count


∂⇢a = { (a⩤∜↚305) , if (⫳⪺∰a)>29 ; (a⩅⩡) , else }

def op_xmM771S5Pe(a):
    if op_eftAHwPbeA(a) > 29:
        return op_KROiRRz3d6(a,305)
    else:
        return op_0MNWfHKp6a(a)

def op_count_xmM771S5Pe(a):
    if op_eftAHwPbeA(a) > 29:
        count = op_count_KROiRRz3d6(a,305)+op_count_eftAHwPbeA(a)
    else:
        count = op_count_0MNWfHKp6a(a)
    return count


a⊄≅⪊b = { (∦(a⊲⩕⊾328)) , if (a⩤)==681 ; (⩯≢≕(↰⫏b)) , else }

def op_odjyBYi3Hg(a, b):
    if op_Z2TMIBDE3Q(a) == 681:
        return op_ew17WAA8t6(op_DmTXOeWf9t(a,328))
    else:
        return op_840vADziXz(op_UeUK5QjOtW(b))

def op_count_odjyBYi3Hg(a, b):
    if op_Z2TMIBDE3Q(a) == 681:
        count = op_count_DmTXOeWf9t(a,328)+op_count_ew17WAA8t6(op_DmTXOeWf9t(a,328))+op_count_Z2TMIBDE3Q(a)
    else:
        count = op_count_UeUK5QjOtW(b)+op_count_840vADziXz(op_UeUK5QjOtW(b))
    return count


def op_Rbawt6nfR7(a, b):
    if op_KYL1uVeVpb(a,816) < 12:
        return op_JDUIKTTSIa(op_P8v4zCKN1o(b),op_s0IfDFCCuZ(b,113))
    else:
        return op_KfMCrRzQhT(op_SPuZE40Ntn(b,a))

def op_count_Rbawt6nfR7(a, b):
    if op_KYL1uVeVpb(a,816) < 12:
        count = op_count_P8v4zCKN1o(b)+op_count_s0IfDFCCuZ(b,113)+op_count_JDUIKTTSIa(op_P8v4zCKN1o(b),op_s0IfDFCCuZ(b,113))+op_count_KYL1uVeVpb(a,816)
    else:
        count = op_count_SPuZE40Ntn(b,a)+op_count_KfMCrRzQhT(op_SPuZE40Ntn(b,a))
    return count


a↜⫅⨷ = { ((⫊≏⨉(a⨰↻⪇105))⨣∐↬((70≭⫡a)⇩)) }

def op_jRpQuODQ3E(a):
    return op_UpkSd4zESC(op_KED7KUUlGq(op_nbuSfrB4hB(a,105)),op_vRio1gEz1j(op_b1mGkbI4Oy(70,a)))

def op_count_jRpQuODQ3E(a):
    count = op_count_nbuSfrB4hB(a,105)+op_count_KED7KUUlGq(op_nbuSfrB4hB(a,105))+op_count_b1mGkbI4Oy(70,a)+op_count_vRio1gEz1j(op_b1mGkbI4Oy(70,a))+op_count_UpkSd4zESC(op_KED7KUUlGq(op_nbuSfrB4hB(a,105)),op_vRio1gEz1j(op_b1mGkbI4Oy(70,a)))
    return count


def op_xkySVgzY16(a):
    return op_3EYGwJThht(op_2z8nE7LpCu(op_h57jOAbG9W(a),op_W4YGzv6Whe(a,226)),op_EBcxylXtPf(op_TytFGXR7Zf(a)))

def op_count_xkySVgzY16(a):
    count = op_count_h57jOAbG9W(a)+op_count_W4YGzv6Whe(a,226)+op_count_2z8nE7LpCu(op_h57jOAbG9W(a),op_W4YGzv6Whe(a,226))+op_count_TytFGXR7Zf(a)+op_count_EBcxylXtPf(op_TytFGXR7Zf(a))+op_count_3EYGwJThht(op_2z8nE7LpCu(op_h57jOAbG9W(a),op_W4YGzv6Whe(a,226)),op_EBcxylXtPf(op_TytFGXR7Zf(a)))
    return count


a↣⫣⇭ = { (a⨴a) , if (a⫻⋑⊟)>=302 ; (⨑⩽⪐a) , else }

def op_hVc01Dtea3(a):
    if op_o575Zjdmzy(a) >= 302:
        return op_jBC4ymW3D7(a,a)
    else:
        return op_AF7qkfDlqP(a)

def op_count_hVc01Dtea3(a):
    if op_o575Zjdmzy(a) >= 302:
        count = op_count_jBC4ymW3D7(a,a)+op_count_o575Zjdmzy(a)
    else:
        count = op_count_AF7qkfDlqP(a)
    return count


a⪥⋳b = { ((⨾∊⩁(b⫸a))⊲⩕⊾((a⪁⨴⋨b)⨐(b⩇∃⫛a))) }

def op_lrx2PmmfOO(a, b):
    return op_DmTXOeWf9t(op_QErWpSDGk0(op_Qaz2MhZaG5(b,a)),op_Noe24qw2ks(op_y2kQTS4a70(a,b),op_1aApVXNlOP(b,a)))

def op_count_lrx2PmmfOO(a, b):
    count = op_count_Qaz2MhZaG5(b,a)+op_count_QErWpSDGk0(op_Qaz2MhZaG5(b,a))+op_count_y2kQTS4a70(a,b)+op_count_1aApVXNlOP(b,a)+op_count_Noe24qw2ks(op_y2kQTS4a70(a,b),op_1aApVXNlOP(b,a))+op_count_DmTXOeWf9t(op_QErWpSDGk0(op_Qaz2MhZaG5(b,a)),op_Noe24qw2ks(op_y2kQTS4a70(a,b),op_1aApVXNlOP(b,a)))
    return count


def op_p9GyHdWAHh(a):
    if (op_Y7wcNGrDQJ(a,274) == 47 and op_3EhVUz7Ug9(a) <= 435 and op_qLBMy5fcJr(a) < 34):
        return op_rysDP5nf3Z(op_ap3xiM279w(op_ar1w6gUwHX(296,a),op_fOIeswaMU4(a)),690)
    else:
        return op_QKXs96F9fN(op_inCIaGQf8u(op_qazvmhNBbN(a),op_6iafYuwGo8(a,165)))

def op_count_p9GyHdWAHh(a):
    if (op_Y7wcNGrDQJ(a,274) == 47 and op_3EhVUz7Ug9(a) <= 435 and op_qLBMy5fcJr(a) < 34):
        count = op_count_ar1w6gUwHX(296,a)+op_count_fOIeswaMU4(a)+op_count_ap3xiM279w(op_ar1w6gUwHX(296,a),op_fOIeswaMU4(a))+op_count_rysDP5nf3Z(op_ap3xiM279w(op_ar1w6gUwHX(296,a),op_fOIeswaMU4(a)),690)+op_count_Y7wcNGrDQJ(a,274)+op_count_3EhVUz7Ug9(a)+op_count_qLBMy5fcJr(a)
    else:
        count = op_count_qazvmhNBbN(a)+op_count_6iafYuwGo8(a,165)+op_count_inCIaGQf8u(op_qazvmhNBbN(a),op_6iafYuwGo8(a,165))+op_count_QKXs96F9fN(op_inCIaGQf8u(op_qazvmhNBbN(a),op_6iafYuwGo8(a,165)))
    return count


a≝⪅b = { (((a+⪬∐a)⋘⨑⨽)≽↲≰((a⩍⋽⫝̸a)∝(a⋳⪒435))) , if b==17 ; (((b∣27)⪒(a⨧3))⫊⇚⊺(b⋅⇍(b⫶a))) , else }

def op_xcM15npT0G(a, b):
    if b == 17:
        return op_cFVlceoRkX(op_WmT3o8z6ya(op_2GS7woTJqF(a,a)),op_cTDWOvIxvz(op_BiWNJpBvwn(a,a),op_12rbrZMWeM(a,435)))
    else:
        return op_Y5cEcQhyKu(op_f6k1SAg4EE(op_PPChnnnBFF(b,27),op_3YWlZA9bsa(a,3)),op_AdZkA7nFnk(b,op_BAIXFdYaz3(b,a)))

def op_count_xcM15npT0G(a, b):
    if b == 17:
        count = op_count_2GS7woTJqF(a,a)+op_count_WmT3o8z6ya(op_2GS7woTJqF(a,a))+op_count_BiWNJpBvwn(a,a)+op_count_12rbrZMWeM(a,435)+op_count_cTDWOvIxvz(op_BiWNJpBvwn(a,a),op_12rbrZMWeM(a,435))+op_count_cFVlceoRkX(op_WmT3o8z6ya(op_2GS7woTJqF(a,a)),op_cTDWOvIxvz(op_BiWNJpBvwn(a,a),op_12rbrZMWeM(a,435)))
    else:
        count = op_count_PPChnnnBFF(b,27)+op_count_3YWlZA9bsa(a,3)+op_count_f6k1SAg4EE(op_PPChnnnBFF(b,27),op_3YWlZA9bsa(a,3))+op_count_BAIXFdYaz3(b,a)+op_count_AdZkA7nFnk(b,op_BAIXFdYaz3(b,a))+op_count_Y5cEcQhyKu(op_f6k1SAg4EE(op_PPChnnnBFF(b,27),op_3YWlZA9bsa(a,3)),op_AdZkA7nFnk(b,op_BAIXFdYaz3(b,a)))
    return count


a≵b = { ((≋(373→⨶⪴b))⪚((⇺⪔⩬a)⨔⇊(⫄⋦≢a))) }

def op_nV04iLk7Bg(a, b):
    return op_HrjLwUk87U(op_61wBmkZwlr(op_bF6eod5Gvf(373,b)),op_JclMnS0uGI(op_lAOUD4ZMWV(a),op_4kvgVkQeiQ(a)))

def op_count_nV04iLk7Bg(a, b):
    count = op_count_bF6eod5Gvf(373,b)+op_count_61wBmkZwlr(op_bF6eod5Gvf(373,b))+op_count_lAOUD4ZMWV(a)+op_count_4kvgVkQeiQ(a)+op_count_JclMnS0uGI(op_lAOUD4ZMWV(a),op_4kvgVkQeiQ(a))+op_count_HrjLwUk87U(op_61wBmkZwlr(op_bF6eod5Gvf(373,b)),op_JclMnS0uGI(op_lAOUD4ZMWV(a),op_4kvgVkQeiQ(a)))
    return count


a⫐⩏∜b = { (((55⩣⊵⩗b)⋅⇍(↓⇌b))⫼⨠((⫳⪺∰a)⫗⊒⇾(a⪚a))) }

def op_0wt1I76pQR(a, b):
    return op_KYL1uVeVpb(op_AdZkA7nFnk(op_wsXFuL0hC6(55,b),op_PxpmPgHHJV(b)),op_hiBDRd40bf(op_eftAHwPbeA(a),op_HrjLwUk87U(a,a)))

def op_count_0wt1I76pQR(a, b):
    count = op_count_wsXFuL0hC6(55,b)+op_count_PxpmPgHHJV(b)+op_count_AdZkA7nFnk(op_wsXFuL0hC6(55,b),op_PxpmPgHHJV(b))+op_count_eftAHwPbeA(a)+op_count_HrjLwUk87U(a,a)+op_count_hiBDRd40bf(op_eftAHwPbeA(a),op_HrjLwUk87U(a,a))+op_count_KYL1uVeVpb(op_AdZkA7nFnk(op_wsXFuL0hC6(55,b),op_PxpmPgHHJV(b)),op_hiBDRd40bf(op_eftAHwPbeA(a),op_HrjLwUk87U(a,a)))
    return count


def op_TQFzRlfVW8(a):
    return op_L05ObWFQCd(op_UeUK5QjOtW(a),op_DE7zCoGJt9(op_GNmBfxrna9(a)))

def op_count_TQFzRlfVW8(a):
    count = op_count_UeUK5QjOtW(a)+op_count_GNmBfxrna9(a)+op_count_DE7zCoGJt9(op_GNmBfxrna9(a))+op_count_L05ObWFQCd(op_UeUK5QjOtW(a),op_DE7zCoGJt9(op_GNmBfxrna9(a)))
    return count


def op_99NnmD7XqA(a):
    return op_Q2SPaKwpPJ(a,a)

def op_count_99NnmD7XqA(a):
    count = op_count_Q2SPaKwpPJ(a,a)
    return count


def op_9v3qVhK1SY(a):
    return op_qxqspddX8k(op_23Mk6UjR3U(618,a),op_E4l6HwMY31(46,a))

def op_count_9v3qVhK1SY(a):
    count = op_count_23Mk6UjR3U(618,a)+op_count_E4l6HwMY31(46,a)+op_count_qxqspddX8k(op_23Mk6UjR3U(618,a),op_E4l6HwMY31(46,a))
    return count


a⊗⋊⇗b = { b , if b<=56 ; ((b⩣⊵⩗a)≏⨯⊱(110⋳/a)) , else }

def op_j6VZKFTxta(a, b):
    if b <= 56:
        return b
    else:
        return op_UqUOXUQnbU(op_wsXFuL0hC6(b,a),op_m612RDITqL(110,a))

def op_count_j6VZKFTxta(a, b):
    if b <= 56:
        count = 1
    else:
        count = op_count_wsXFuL0hC6(b,a)+op_count_m612RDITqL(110,a)+op_count_UqUOXUQnbU(op_wsXFuL0hC6(b,a),op_m612RDITqL(110,a))
    return count


a≿⋩⊚b = { (b⊋≦⊧((149∘a)⪚(b≏⨯⊱349))) , if (b⊚⨔)!=110 ; (((b⨻⪊⨷a)⊓≱(⫎≠⋺b))⊚⫡⫭) , else }

def op_WQ21BOxugs(a, b):
    if op_XbEAUggs3J(b) != 110:
        return op_oRDoc9rAEX(b,op_HrjLwUk87U(op_Z5m6OM72h2(149,a),op_UqUOXUQnbU(b,349)))
    else:
        return op_SpZWOsLKZJ(op_VCG3UHNzLR(op_Pkwamo1tM2(b,a),op_LYeZOJ0nQG(b)))

def op_count_WQ21BOxugs(a, b):
    if op_XbEAUggs3J(b) != 110:
        count = op_count_Z5m6OM72h2(149,a)+op_count_UqUOXUQnbU(b,349)+op_count_HrjLwUk87U(op_Z5m6OM72h2(149,a),op_UqUOXUQnbU(b,349))+op_count_oRDoc9rAEX(b,op_HrjLwUk87U(op_Z5m6OM72h2(149,a),op_UqUOXUQnbU(b,349)))+op_count_XbEAUggs3J(b)
    else:
        count = op_count_Pkwamo1tM2(b,a)+op_count_LYeZOJ0nQG(b)+op_count_VCG3UHNzLR(op_Pkwamo1tM2(b,a),op_LYeZOJ0nQG(b))+op_count_SpZWOsLKZJ(op_VCG3UHNzLR(op_Pkwamo1tM2(b,a),op_LYeZOJ0nQG(b)))
    return count


def op_VHKwoedolt(a, b):
    if a == 325:
        return op_S5ZFQS4GK3(op_2O29ZX4yK6(op_Qaz2MhZaG5(b,b)),op_AFVx7xoS7T(op_8cLx32lpNA(a,49),op_XnXgA4xnOs(109,b)))
    else:
        return op_bPywburJMS(op_eewbuw0ToL(op_PPChnnnBFF(b,a),op_j9kHMeSvPp(b,b)),op_d8xe6WWVfM(op_1h0rLqGiFr(a),op_g7Hmc5v1ko(a,124)))

def op_count_VHKwoedolt(a, b):
    if a == 325:
        count = op_count_Qaz2MhZaG5(b,b)+op_count_2O29ZX4yK6(op_Qaz2MhZaG5(b,b))+op_count_8cLx32lpNA(a,49)+op_count_XnXgA4xnOs(109,b)+op_count_AFVx7xoS7T(op_8cLx32lpNA(a,49),op_XnXgA4xnOs(109,b))+op_count_S5ZFQS4GK3(op_2O29ZX4yK6(op_Qaz2MhZaG5(b,b)),op_AFVx7xoS7T(op_8cLx32lpNA(a,49),op_XnXgA4xnOs(109,b)))
    else:
        count = op_count_PPChnnnBFF(b,a)+op_count_j9kHMeSvPp(b,b)+op_count_eewbuw0ToL(op_PPChnnnBFF(b,a),op_j9kHMeSvPp(b,b))+op_count_1h0rLqGiFr(a)+op_count_g7Hmc5v1ko(a,124)+op_count_d8xe6WWVfM(op_1h0rLqGiFr(a),op_g7Hmc5v1ko(a,124))+op_count_bPywburJMS(op_eewbuw0ToL(op_PPChnnnBFF(b,a),op_j9kHMeSvPp(b,b)),op_d8xe6WWVfM(op_1h0rLqGiFr(a),op_g7Hmc5v1ko(a,124)))
    return count


⫿⨯a = { (a⋝⋈⪟a) , if a<=79 ; (142∘⨩) , else }

def op_FNfUIKSbyQ(a):
    if a <= 79:
        return op_2DDjHMKMc0(a,a)
    else:
        return op_aHKFHkCgn9(142)

def op_count_FNfUIKSbyQ(a):
    if a <= 79:
        count = op_count_2DDjHMKMc0(a,a)
    else:
        count = op_count_aHKFHkCgn9(142)
    return count


a∅⩃⩶ = { (((a↭↢≔)⪒(37⪱⇝a))⊭((a⪁⨴⋨a)⊒(a⨜⇔a))) , if (⩪∧⨌a)<206 ; (((a⪈⋁⩁a)⨰↻⪇a)∷) , else }

def op_yQMj2Vxp9y(a):
    if op_6iOiAJX1F8(a) < 206:
        return op_4JGOJzXMq1(op_f6k1SAg4EE(op_Q6LsZf8ZYd(a),op_OTRTVPweYV(37,a)),op_rPNtK4BLRO(op_y2kQTS4a70(a,a),op_Sq3AGanRSD(a,a)))
    else:
        return op_nFAOW8KTqp(op_nbuSfrB4hB(op_GMyVS5K48T(a,a),a))

def op_count_yQMj2Vxp9y(a):
    if op_6iOiAJX1F8(a) < 206:
        count = op_count_Q6LsZf8ZYd(a)+op_count_OTRTVPweYV(37,a)+op_count_f6k1SAg4EE(op_Q6LsZf8ZYd(a),op_OTRTVPweYV(37,a))+op_count_y2kQTS4a70(a,a)+op_count_Sq3AGanRSD(a,a)+op_count_rPNtK4BLRO(op_y2kQTS4a70(a,a),op_Sq3AGanRSD(a,a))+op_count_4JGOJzXMq1(op_f6k1SAg4EE(op_Q6LsZf8ZYd(a),op_OTRTVPweYV(37,a)),op_rPNtK4BLRO(op_y2kQTS4a70(a,a),op_Sq3AGanRSD(a,a)))+op_count_6iOiAJX1F8(a)
    else:
        count = op_count_GMyVS5K48T(a,a)+op_count_nbuSfrB4hB(op_GMyVS5K48T(a,a),a)+op_count_nFAOW8KTqp(op_nbuSfrB4hB(op_GMyVS5K48T(a,a),a))
    return count


def op_DxG9ct6Ne4(a):
    return op_Y5cEcQhyKu(op_irKjLsMeKy(op_f6k1SAg4EE(a,a),op_KFSx94NKJn(590,350)),op_Y5cEcQhyKu(op_tIhPxZTbsh(a,17),op_EWw2JM7wp4(a,262)))

def op_count_DxG9ct6Ne4(a):
    count = op_count_f6k1SAg4EE(a,a)+op_count_KFSx94NKJn(590,350)+op_count_irKjLsMeKy(op_f6k1SAg4EE(a,a),op_KFSx94NKJn(590,350))+op_count_tIhPxZTbsh(a,17)+op_count_EWw2JM7wp4(a,262)+op_count_Y5cEcQhyKu(op_tIhPxZTbsh(a,17),op_EWw2JM7wp4(a,262))+op_count_Y5cEcQhyKu(op_irKjLsMeKy(op_f6k1SAg4EE(a,a),op_KFSx94NKJn(590,350)),op_Y5cEcQhyKu(op_tIhPxZTbsh(a,17),op_EWw2JM7wp4(a,262)))
    return count


a⩩⋢↠b = { (((∋∴b)∘(a⨓↿∉a))⨑≵⋬((a⨰↻⪇a)⫀)) }

def op_J9p31WXma4(a, b):
    return op_XnXgA4xnOs(op_Z5m6OM72h2(op_nouZ5SZjt1(b),op_OWnFPqjWlR(a,a)),op_hFnZRMLNSM(op_nbuSfrB4hB(a,a)))

def op_count_J9p31WXma4(a, b):
    count = op_count_nouZ5SZjt1(b)+op_count_OWnFPqjWlR(a,a)+op_count_Z5m6OM72h2(op_nouZ5SZjt1(b),op_OWnFPqjWlR(a,a))+op_count_nbuSfrB4hB(a,a)+op_count_hFnZRMLNSM(op_nbuSfrB4hB(a,a))+op_count_XnXgA4xnOs(op_Z5m6OM72h2(op_nouZ5SZjt1(b),op_OWnFPqjWlR(a,a)),op_hFnZRMLNSM(op_nbuSfrB4hB(a,a)))
    return count


def op_q7JRbKRkcT(a):
    return op_hiBDRd40bf(op_b1mGkbI4Oy(a,a),op_eVHdItn4YL(a))

def op_count_q7JRbKRkcT(a):
    count = op_count_b1mGkbI4Oy(a,a)+op_count_eVHdItn4YL(a)+op_count_hiBDRd40bf(op_b1mGkbI4Oy(a,a),op_eVHdItn4YL(a))
    return count


a≗⩒⨛b = { (b⇴a) , if (a⊙)!=133 ; (a⋛∩⫮) , else }

def op_Ih3UVhBbvd(a, b):
    if op_pjdzZ5rP1Y(a) != 133:
        return op_4JB6nKBMSY(b,a)
    else:
        return op_QDWDTvZtyM(a)

def op_count_Ih3UVhBbvd(a, b):
    if op_pjdzZ5rP1Y(a) != 133:
        count = op_count_4JB6nKBMSY(b,a)+op_count_pjdzZ5rP1Y(a)
    else:
        count = op_count_QDWDTvZtyM(a)
    return count


def op_Fxjg8Jon6o(a):
    return op_u6S6b8DprG(op_SPuZE40Ntn(a,a))

def op_count_Fxjg8Jon6o(a):
    count = op_count_SPuZE40Ntn(a,a)+op_count_u6S6b8DprG(op_SPuZE40Ntn(a,a))
    return count


def op_hRAQ9xsozt(a):
    if op_bl5wxAcryP(a) == 124:
        return op_UeUK5QjOtW(op_RPa3726CSl(op_B3sABdIn96(a)))
    else:
        return op_QDWDTvZtyM(op_tnyRA5sazQ(op_Y9dhGmbGii(14),op_nREPSIbpBE(a,409)))

def op_count_hRAQ9xsozt(a):
    if op_bl5wxAcryP(a) == 124:
        count = op_count_B3sABdIn96(a)+op_count_RPa3726CSl(op_B3sABdIn96(a))+op_count_UeUK5QjOtW(op_RPa3726CSl(op_B3sABdIn96(a)))+op_count_bl5wxAcryP(a)
    else:
        count = op_count_Y9dhGmbGii(14)+op_count_nREPSIbpBE(a,409)+op_count_tnyRA5sazQ(op_Y9dhGmbGii(14),op_nREPSIbpBE(a,409))+op_count_QDWDTvZtyM(op_tnyRA5sazQ(op_Y9dhGmbGii(14),op_nREPSIbpBE(a,409)))
    return count


a∷↰≆b = { b , if (a≻⇥≳927)!=847 ; ((37⫏↛⩏a)⋝⋈⪟(a↰)) , else }

def op_eFpA6433h8(a, b):
    if op_aiqF8n6J9c(a,927) != 847:
        return b
    else:
        return op_2DDjHMKMc0(op_YC3tgrnOyr(37,a),op_bl5wxAcryP(a))

def op_count_eFpA6433h8(a, b):
    if op_aiqF8n6J9c(a,927) != 847:
        count = 1
    else:
        count = op_count_YC3tgrnOyr(37,a)+op_count_bl5wxAcryP(a)+op_count_2DDjHMKMc0(op_YC3tgrnOyr(37,a),op_bl5wxAcryP(a))
    return count


def op_QkqNWOThlJ(a):
    return op_L05ObWFQCd(op_S3tN1ZzpSt(204,673),op_S56z7WVPBn(a))

def op_count_QkqNWOThlJ(a):
    count = op_count_S3tN1ZzpSt(204,673)+op_count_S56z7WVPBn(a)+op_count_L05ObWFQCd(op_S3tN1ZzpSt(204,673),op_S56z7WVPBn(a))
    return count


def op_qpd0AC6jbn(a, b):
    return op_tDVI6bDdAd(op_GMyVS5K48T(op_WkeUrDK8WX(b),op_rysDP5nf3Z(a,855)))

def op_count_qpd0AC6jbn(a, b):
    count = op_count_WkeUrDK8WX(b)+op_count_rysDP5nf3Z(a,855)+op_count_GMyVS5K48T(op_WkeUrDK8WX(b),op_rysDP5nf3Z(a,855))+op_count_tDVI6bDdAd(op_GMyVS5K48T(op_WkeUrDK8WX(b),op_rysDP5nf3Z(a,855)))
    return count


def op_gHuQvkee3b(a):
    return op_JDUIKTTSIa(28,a)

def op_count_gHuQvkee3b(a):
    count = op_count_JDUIKTTSIa(28,a)
    return count


def op_lakmd5EFxs(a):
    return op_AdZkA7nFnk(op_Y9dhGmbGii(a),op_5twsqlHp2o(a,a))

def op_count_lakmd5EFxs(a):
    count = op_count_Y9dhGmbGii(a)+op_count_5twsqlHp2o(a,a)+op_count_AdZkA7nFnk(op_Y9dhGmbGii(a),op_5twsqlHp2o(a,a))
    return count


def op_31j6n2JIyq(a):
    return op_nCS4ZIUYfx(op_AYdpE9sXAk(op_IxJHfR5psi(10,a)),op_kuIXHzHcAH(op_hFnZRMLNSM(a),op_nbuSfrB4hB(305,a)))

def op_count_31j6n2JIyq(a):
    count = op_count_IxJHfR5psi(10,a)+op_count_AYdpE9sXAk(op_IxJHfR5psi(10,a))+op_count_hFnZRMLNSM(a)+op_count_nbuSfrB4hB(305,a)+op_count_kuIXHzHcAH(op_hFnZRMLNSM(a),op_nbuSfrB4hB(305,a))+op_count_nCS4ZIUYfx(op_AYdpE9sXAk(op_IxJHfR5psi(10,a)),op_kuIXHzHcAH(op_hFnZRMLNSM(a),op_nbuSfrB4hB(305,a)))
    return count


a⋢⨶⪆ = { (((13⪿⇪⊩a)⪨⊡(a⊢a))∇⊂⋱((⇻⨃⇄439)⨧(15⨔⊶↷a))) }

def op_OX2d0XMqqw(a):
    return op_nhYeJWJD5X(op_kuIXHzHcAH(op_OGWBzMv138(13,a),op_5twsqlHp2o(a,a)),op_3YWlZA9bsa(op_fLGIAiPz9h(439),op_WObL9SsYVE(15,a)))

def op_count_OX2d0XMqqw(a):
    count = op_count_OGWBzMv138(13,a)+op_count_5twsqlHp2o(a,a)+op_count_kuIXHzHcAH(op_OGWBzMv138(13,a),op_5twsqlHp2o(a,a))+op_count_fLGIAiPz9h(439)+op_count_WObL9SsYVE(15,a)+op_count_3YWlZA9bsa(op_fLGIAiPz9h(439),op_WObL9SsYVE(15,a))+op_count_nhYeJWJD5X(op_kuIXHzHcAH(op_OGWBzMv138(13,a),op_5twsqlHp2o(a,a)),op_3YWlZA9bsa(op_fLGIAiPz9h(439),op_WObL9SsYVE(15,a)))
    return count


a⇑⇊⩴b = { ((b⇢b)∁) , if (⫟a)>=102 ; ((b⋂⩴b)⩇) , else }

def op_qUzyPcz3G4(a, b):
    if op_z4E1FaHLuy(a) >= 102:
        return op_jdwGQqwJi5(op_GMN7JP6WpN(b,b))
    else:
        return op_wmlQD0656L(op_hmlrMsD2PO(b,b))

def op_count_qUzyPcz3G4(a, b):
    if op_z4E1FaHLuy(a) >= 102:
        count = op_count_GMN7JP6WpN(b,b)+op_count_jdwGQqwJi5(op_GMN7JP6WpN(b,b))+op_count_z4E1FaHLuy(a)
    else:
        count = op_count_hmlrMsD2PO(b,b)+op_count_wmlQD0656L(op_hmlrMsD2PO(b,b))
    return count


⪸∳a = { ((a⊨a)-∠a) , if (↪⨀a)>103 ; ((a∑a)⇅) , else }

def op_OsZIbgxB26(a):
    if op_t0cKpDWDXO(a) > 103:
        return op_s0IfDFCCuZ(op_vg4gO5BX6G(a,a),a)
    else:
        return op_oH594TLvBK(op_JFrVJKYFMX(a,a))

def op_count_OsZIbgxB26(a):
    if op_t0cKpDWDXO(a) > 103:
        count = op_count_vg4gO5BX6G(a,a)+op_count_s0IfDFCCuZ(op_vg4gO5BX6G(a,a),a)+op_count_t0cKpDWDXO(a)
    else:
        count = op_count_JFrVJKYFMX(a,a)+op_count_oH594TLvBK(op_JFrVJKYFMX(a,a))
    return count


def op_xdZW8RQRJH(a):
    if (op_HjMFvreeUu(a) >= 203 or op_2M7SKlOzyM(a,966) > 155 or a != 119):
        return op_Ikt5ks8PT7(op_PxpmPgHHJV(a),op_FyVja0WsTP(a,a))
    else:
        return op_SPuZE40Ntn(a,op_8HCJqvcFkE(a))

def op_count_xdZW8RQRJH(a):
    if (op_HjMFvreeUu(a) >= 203 or op_2M7SKlOzyM(a,966) > 155 or a != 119):
        count = op_count_PxpmPgHHJV(a)+op_count_FyVja0WsTP(a,a)+op_count_Ikt5ks8PT7(op_PxpmPgHHJV(a),op_FyVja0WsTP(a,a))+op_count_HjMFvreeUu(a)+op_count_2M7SKlOzyM(a,966)
    else:
        count = op_count_8HCJqvcFkE(a)+op_count_SPuZE40Ntn(a,op_8HCJqvcFkE(a))
    return count


a∉ = { ((a⨑≵⋬13)⨁⊸⫻) , if (a⫍⨯↯)==260 ; ((a⊭a)⪭(a≦↸a)) , else }

def op_tdZBjNtUBD(a):
    if op_ZcwmYACASQ(a) == 260:
        return op_glklzrTFfD(op_XnXgA4xnOs(a,13))
    else:
        return op_j9kHMeSvPp(op_4JGOJzXMq1(a,a),op_RygbFNSyEJ(a,a))

def op_count_tdZBjNtUBD(a):
    if op_ZcwmYACASQ(a) == 260:
        count = op_count_XnXgA4xnOs(a,13)+op_count_glklzrTFfD(op_XnXgA4xnOs(a,13))+op_count_ZcwmYACASQ(a)
    else:
        count = op_count_4JGOJzXMq1(a,a)+op_count_RygbFNSyEJ(a,a)+op_count_j9kHMeSvPp(op_4JGOJzXMq1(a,a),op_RygbFNSyEJ(a,a))
    return count


a⋦∲⋬b = { ((588⨰↻⪇20)⩌⋺(23⩶)) , if (⇺⪔⩬b)>571 ; ((b⪍↜⋙a)⨜⇔(a∙∹∝b)) , else }

def op_cUXFxtvyhI(a, b):
    if op_lAOUD4ZMWV(b) > 571:
        return op_g7Hmc5v1ko(op_nbuSfrB4hB(588,20),op_yuvXk3Mco8(23))
    else:
        return op_Sq3AGanRSD(op_L05ObWFQCd(b,a),op_HmxsFra2vL(a,b))

def op_count_cUXFxtvyhI(a, b):
    if op_lAOUD4ZMWV(b) > 571:
        count = op_count_nbuSfrB4hB(588,20)+op_count_yuvXk3Mco8(23)+op_count_g7Hmc5v1ko(op_nbuSfrB4hB(588,20),op_yuvXk3Mco8(23))+op_count_lAOUD4ZMWV(b)
    else:
        count = op_count_L05ObWFQCd(b,a)+op_count_HmxsFra2vL(a,b)+op_count_Sq3AGanRSD(op_L05ObWFQCd(b,a),op_HmxsFra2vL(a,b))
    return count


def op_vNWpG5Bnwq(a):
    return op_Mp74FtG4yY(op_E4l6HwMY31(op_ap3xiM279w(112,a),op_xRrnTEsQ6j(a,a)))

def op_count_vNWpG5Bnwq(a):
    count = op_count_ap3xiM279w(112,a)+op_count_xRrnTEsQ6j(a,a)+op_count_E4l6HwMY31(op_ap3xiM279w(112,a),op_xRrnTEsQ6j(a,a))+op_count_Mp74FtG4yY(op_E4l6HwMY31(op_ap3xiM279w(112,a),op_xRrnTEsQ6j(a,a)))
    return count


def op_Lcj8otdlvG(a):
    return op_64EQ39e0fC(op_liw5iZPkLH(a),op_H9jWZL1q0V(a))

def op_count_Lcj8otdlvG(a):
    count = op_count_liw5iZPkLH(a)+op_count_H9jWZL1q0V(a)+op_count_64EQ39e0fC(op_liw5iZPkLH(a),op_H9jWZL1q0V(a))
    return count


def op_bQy7iKdSPD(a, b):
    if b < 5:
        return op_8cLx32lpNA(op_HiPekx5b7W(op_eaFBhJ0Uku(234,231),op_qy3n0tapmE(a,b)),op_DbCuESL50I(op_HJ9erzHUuu(b,209)))
    else:
        return op_OTRTVPweYV(op_OWnFPqjWlR(op_tnyRA5sazQ(768,b),op_WSbXXWOizJ(b,a)),op_PrwIXj9ZQe(op_6iafYuwGo8(735,478)))

def op_count_bQy7iKdSPD(a, b):
    if b < 5:
        count = op_count_eaFBhJ0Uku(234,231)+op_count_qy3n0tapmE(a,b)+op_count_HiPekx5b7W(op_eaFBhJ0Uku(234,231),op_qy3n0tapmE(a,b))+op_count_HJ9erzHUuu(b,209)+op_count_DbCuESL50I(op_HJ9erzHUuu(b,209))+op_count_8cLx32lpNA(op_HiPekx5b7W(op_eaFBhJ0Uku(234,231),op_qy3n0tapmE(a,b)),op_DbCuESL50I(op_HJ9erzHUuu(b,209)))
    else:
        count = op_count_tnyRA5sazQ(768,b)+op_count_WSbXXWOizJ(b,a)+op_count_OWnFPqjWlR(op_tnyRA5sazQ(768,b),op_WSbXXWOizJ(b,a))+op_count_6iafYuwGo8(735,478)+op_count_PrwIXj9ZQe(op_6iafYuwGo8(735,478))+op_count_OTRTVPweYV(op_OWnFPqjWlR(op_tnyRA5sazQ(768,b),op_WSbXXWOizJ(b,a)),op_PrwIXj9ZQe(op_6iafYuwGo8(735,478)))
    return count


def op_9EbpXprnRO(a):
    return op_64EQ39e0fC(op_KWeyIRWUIQ(op_ObEyaaML9x(a,a)),op_9FxExcQeMw(op_12rbrZMWeM(a,a),a))

def op_count_9EbpXprnRO(a):
    count = op_count_ObEyaaML9x(a,a)+op_count_KWeyIRWUIQ(op_ObEyaaML9x(a,a))+op_count_12rbrZMWeM(a,a)+op_count_9FxExcQeMw(op_12rbrZMWeM(a,a),a)+op_count_64EQ39e0fC(op_KWeyIRWUIQ(op_ObEyaaML9x(a,a)),op_9FxExcQeMw(op_12rbrZMWeM(a,a),a))
    return count


≙⫸↢a = { (↰⫏(a⩵∡a)) , if a!=39 ; ((∂⩏⊆a)⪦⩸a) , else }

def op_eZsufpQxSh(a):
    if a != 39:
        return op_UeUK5QjOtW(op_Y7wcNGrDQJ(a,a))
    else:
        return op_0JWJYFSzIQ(op_8WDwsbhb0R(a),a)

def op_count_eZsufpQxSh(a):
    if a != 39:
        count = op_count_Y7wcNGrDQJ(a,a)+op_count_UeUK5QjOtW(op_Y7wcNGrDQJ(a,a))
    else:
        count = op_count_8WDwsbhb0R(a)+op_count_0JWJYFSzIQ(op_8WDwsbhb0R(a),a)
    return count


a≤⋿b = { (((a⨜⨶a)⇴(a+⪬∐b))⇛((a∑b)⊭↱(∥⊫b))) }

def op_GWoGfTTeeI(a, b):
    return op_S3tN1ZzpSt(op_4JB6nKBMSY(op_HiPekx5b7W(a,a),op_2GS7woTJqF(a,b)),op_COABgblf1C(op_JFrVJKYFMX(a,b),op_P8v4zCKN1o(b)))

def op_count_GWoGfTTeeI(a, b):
    count = op_count_HiPekx5b7W(a,a)+op_count_2GS7woTJqF(a,b)+op_count_4JB6nKBMSY(op_HiPekx5b7W(a,a),op_2GS7woTJqF(a,b))+op_count_JFrVJKYFMX(a,b)+op_count_P8v4zCKN1o(b)+op_count_COABgblf1C(op_JFrVJKYFMX(a,b),op_P8v4zCKN1o(b))+op_count_S3tN1ZzpSt(op_4JB6nKBMSY(op_HiPekx5b7W(a,a),op_2GS7woTJqF(a,b)),op_COABgblf1C(op_JFrVJKYFMX(a,b),op_P8v4zCKN1o(b)))
    return count


def op_ZC1CbmVjOG(a):
    return op_WObL9SsYVE(op_keuJNkrrbj(a,a),op_UMMmb9LONo(a))

def op_count_ZC1CbmVjOG(a):
    count = op_count_keuJNkrrbj(a,a)+op_count_UMMmb9LONo(a)+op_count_WObL9SsYVE(op_keuJNkrrbj(a,a),op_UMMmb9LONo(a))
    return count


def op_OsERE6edzB(a):
    if op_s0IfDFCCuZ(a,51) != 275:
        return op_dfKe02y8D2(op_neKQRQQIil(a,a),op_DNmMwa48aR(113))
    else:
        return op_JclMnS0uGI(op_ar1w6gUwHX(a,a),op_620seOwKww(679))

def op_count_OsERE6edzB(a):
    if op_s0IfDFCCuZ(a,51) != 275:
        count = op_count_neKQRQQIil(a,a)+op_count_DNmMwa48aR(113)+op_count_dfKe02y8D2(op_neKQRQQIil(a,a),op_DNmMwa48aR(113))+op_count_s0IfDFCCuZ(a,51)
    else:
        count = op_count_ar1w6gUwHX(a,a)+op_count_620seOwKww(679)+op_count_JclMnS0uGI(op_ar1w6gUwHX(a,a),op_620seOwKww(679))
    return count


def op_t0HF9KJGmM(a):
    if op_i3MWstRFMQ(a) >= 384:
        return op_nouZ5SZjt1(op_eftAHwPbeA(a))
    else:
        return op_MXaNJeIAZ3(op_DmTXOeWf9t(123,a))

def op_count_t0HF9KJGmM(a):
    if op_i3MWstRFMQ(a) >= 384:
        count = op_count_eftAHwPbeA(a)+op_count_nouZ5SZjt1(op_eftAHwPbeA(a))+op_count_i3MWstRFMQ(a)
    else:
        count = op_count_DmTXOeWf9t(123,a)+op_count_MXaNJeIAZ3(op_DmTXOeWf9t(123,a))
    return count


a⇒⊞⨞b = { (((b⩦b)⩾(b∌↝b))⨜⇔((b⊭⇢↿)⪯⫾⋍(349⩷∴b))) , if (a<114 and (⊙⨙⩍a)==65) ; b , else }

def op_3TQ6NmgUL8(a, b):
    if (a < 114 and op_ocpzidtxKt(a) == 65):
        return op_Sq3AGanRSD(op_UggxBX659n(op_0kmYd0q39Y(b,b),op_9Isq31Ruls(b,b)),op_S5ZFQS4GK3(op_G8pG1QxO6Y(b),op_9FxExcQeMw(349,b)))
    else:
        return b

def op_count_3TQ6NmgUL8(a, b):
    if (a < 114 and op_ocpzidtxKt(a) == 65):
        count = op_count_0kmYd0q39Y(b,b)+op_count_9Isq31Ruls(b,b)+op_count_UggxBX659n(op_0kmYd0q39Y(b,b),op_9Isq31Ruls(b,b))+op_count_G8pG1QxO6Y(b)+op_count_9FxExcQeMw(349,b)+op_count_S5ZFQS4GK3(op_G8pG1QxO6Y(b),op_9FxExcQeMw(349,b))+op_count_Sq3AGanRSD(op_UggxBX659n(op_0kmYd0q39Y(b,b),op_9Isq31Ruls(b,b)),op_S5ZFQS4GK3(op_G8pG1QxO6Y(b),op_9FxExcQeMw(349,b)))+op_count_ocpzidtxKt(a)
    else:
        count = 1
    return count


def op_klrtGWbbHh(a):
    return op_S3tN1ZzpSt(op_KED7KUUlGq(a),op_09Ly4LVMIf(a,a))

def op_count_klrtGWbbHh(a):
    count = op_count_KED7KUUlGq(a)+op_count_09Ly4LVMIf(a,a)+op_count_S3tN1ZzpSt(op_KED7KUUlGq(a),op_09Ly4LVMIf(a,a))
    return count


def op_H2Ssz4jEjc(a, b):
    return op_keuJNkrrbj(op_ap3xiM279w(b,471),op_rPNtK4BLRO(a,b))

def op_count_H2Ssz4jEjc(a, b):
    count = op_count_ap3xiM279w(b,471)+op_count_rPNtK4BLRO(a,b)+op_count_keuJNkrrbj(op_ap3xiM279w(b,471),op_rPNtK4BLRO(a,b))
    return count


def op_aPSeRcDmK1(a):
    return op_DX7B1fY6P6(op_KYL1uVeVpb(a,a),op_LmY23Q1aIi(a))

def op_count_aPSeRcDmK1(a):
    count = op_count_KYL1uVeVpb(a,a)+op_count_LmY23Q1aIi(a)+op_count_DX7B1fY6P6(op_KYL1uVeVpb(a,a),op_LmY23Q1aIi(a))
    return count


def op_5WX9GI4WUU(a):
    return op_qxp9F1VMeC(op_ObEyaaML9x(a,a))

def op_count_5WX9GI4WUU(a):
    count = op_count_ObEyaaML9x(a,a)+op_count_qxp9F1VMeC(op_ObEyaaML9x(a,a))
    return count


def op_3YRBMmnbKr(a):
    return op_nhYeJWJD5X(op_L05ObWFQCd(a,a),op_6iOiAJX1F8(a))

def op_count_3YRBMmnbKr(a):
    count = op_count_L05ObWFQCd(a,a)+op_count_6iOiAJX1F8(a)+op_count_nhYeJWJD5X(op_L05ObWFQCd(a,a),op_6iOiAJX1F8(a))
    return count


def op_OkftowgG4v(a, b):
    if (a > 519 or a == 16 or b < 253):
        return op_P75hhshrwX(op_z4E1FaHLuy(op_BiWNJpBvwn(a,a)))
    else:
        return op_4JGOJzXMq1(op_hmlrMsD2PO(op_BUOGQAYlQx(a),op_dAAkup5nzi(a,246)),op_vg4gO5BX6G(op_YApyZlDuBr(b),op_cTDWOvIxvz(578,a)))

def op_count_OkftowgG4v(a, b):
    if (a > 519 or a == 16 or b < 253):
        count = op_count_BiWNJpBvwn(a,a)+op_count_z4E1FaHLuy(op_BiWNJpBvwn(a,a))+op_count_P75hhshrwX(op_z4E1FaHLuy(op_BiWNJpBvwn(a,a)))
    else:
        count = op_count_BUOGQAYlQx(a)+op_count_dAAkup5nzi(a,246)+op_count_hmlrMsD2PO(op_BUOGQAYlQx(a),op_dAAkup5nzi(a,246))+op_count_YApyZlDuBr(b)+op_count_cTDWOvIxvz(578,a)+op_count_vg4gO5BX6G(op_YApyZlDuBr(b),op_cTDWOvIxvz(578,a))+op_count_4JGOJzXMq1(op_hmlrMsD2PO(op_BUOGQAYlQx(a),op_dAAkup5nzi(a,246)),op_vg4gO5BX6G(op_YApyZlDuBr(b),op_cTDWOvIxvz(578,a)))
    return count


a⪢↴b = { (b⨮⨆) , if a<=109 ; (b⋘⨑⨽) , else }

def op_BUs8mdHAyi(a, b):
    if a <= 109:
        return op_s0kPeV9Vm2(b)
    else:
        return op_WmT3o8z6ya(b)

def op_count_BUs8mdHAyi(a, b):
    if a <= 109:
        count = op_count_s0kPeV9Vm2(b)
    else:
        count = op_count_WmT3o8z6ya(b)
    return count


a∊⫈b = { (a⩍⋽⫝̸a) , if (a∁)>=226 ; (↖∇⇑b) , else }

def op_u0dhG1s4E2(a, b):
    if op_jdwGQqwJi5(a) >= 226:
        return op_BiWNJpBvwn(a,a)
    else:
        return op_th50nGnoUm(b)

def op_count_u0dhG1s4E2(a, b):
    if op_jdwGQqwJi5(a) >= 226:
        count = op_count_BiWNJpBvwn(a,a)+op_count_jdwGQqwJi5(a)
    else:
        count = op_count_th50nGnoUm(b)
    return count


def op_gCWHwxS609(a):
    return op_5twsqlHp2o(a,a)

def op_count_gCWHwxS609(a):
    count = op_count_5twsqlHp2o(a,a)
    return count


def op_BEh4QBmAc4(a, b):
    return op_KROiRRz3d6(b,op_3nqY3DE9mg(a))

def op_count_BEh4QBmAc4(a, b):
    count = op_count_3nqY3DE9mg(a)+op_count_KROiRRz3d6(b,op_3nqY3DE9mg(a))
    return count


a≍⇠∡b = { (((b⩾37)↪∷(a↪∷b))⪇≇⋚((⫊≏⨉a)⪚⨁⋖(b≣a))) }

def op_4XUogC2HX8(a, b):
    return op_3sJ7IOPOlU(op_Api82iH42a(op_UggxBX659n(b,37),op_Api82iH42a(a,b)),op_xSk1F0pZbF(op_KED7KUUlGq(a),op_ObEyaaML9x(b,a)))

def op_count_4XUogC2HX8(a, b):
    count = op_count_UggxBX659n(b,37)+op_count_Api82iH42a(a,b)+op_count_Api82iH42a(op_UggxBX659n(b,37),op_Api82iH42a(a,b))+op_count_KED7KUUlGq(a)+op_count_ObEyaaML9x(b,a)+op_count_xSk1F0pZbF(op_KED7KUUlGq(a),op_ObEyaaML9x(b,a))+op_count_3sJ7IOPOlU(op_Api82iH42a(op_UggxBX659n(b,37),op_Api82iH42a(a,b)),op_xSk1F0pZbF(op_KED7KUUlGq(a),op_ObEyaaML9x(b,a)))
    return count