def op_JGseLYCYWD(a):
    if op_Qu4uWmhj3N(a,43) != 768:
        return op_FlXk3pOYe8(op_yyGr8FKHqM(op_ZNVVrZ94lY(a),106))
    else:
        return op_V35NDd4Suc(op_l6yaTd3a70(op_O6oPZIQyvW(a,19)))

def op_count_JGseLYCYWD(a):
    if op_Qu4uWmhj3N(a,43) != 768:
        count = op_count_ZNVVrZ94lY(a)+op_count_yyGr8FKHqM(op_ZNVVrZ94lY(a),106)+op_count_FlXk3pOYe8(op_yyGr8FKHqM(op_ZNVVrZ94lY(a),106))+op_count_Qu4uWmhj3N(a,43)
    else:
        count = op_count_O6oPZIQyvW(a,19)+op_count_l6yaTd3a70(op_O6oPZIQyvW(a,19))+op_count_V35NDd4Suc(op_l6yaTd3a70(op_O6oPZIQyvW(a,19)))
    return count


def op_z6EySSQeql(a, b):
    if (op_wff9HZunSZ(b) > 560 and op_FAU4UUhKNM(b) == 533):
        return op_vrPnkOnn0X(op_UkFG6YBLyt(op_TcUor9fpwD(b),op_ztbpxZ3MBw(133)),op_rxhJEvh336(op_tN0ubDjZ4j(a)))
    else:
        return b

def op_count_z6EySSQeql(a, b):
    if (op_wff9HZunSZ(b) > 560 and op_FAU4UUhKNM(b) == 533):
        count = op_count_TcUor9fpwD(b)+op_count_ztbpxZ3MBw(133)+op_count_UkFG6YBLyt(op_TcUor9fpwD(b),op_ztbpxZ3MBw(133))+op_count_tN0ubDjZ4j(a)+op_count_rxhJEvh336(op_tN0ubDjZ4j(a))+op_count_vrPnkOnn0X(op_UkFG6YBLyt(op_TcUor9fpwD(b),op_ztbpxZ3MBw(133)),op_rxhJEvh336(op_tN0ubDjZ4j(a)))+op_count_wff9HZunSZ(b)+op_count_FAU4UUhKNM(b)
    else:
        count = 1
    return count


def op_KdUgOy5FMX(a):
    if op_5hNsobdibZ(a,534) != 369:
        return op_vjoXiXDdkX(a)
    else:
        return op_Fe3OlIgKHc(a)

def op_count_KdUgOy5FMX(a):
    if op_5hNsobdibZ(a,534) != 369:
        count = op_count_vjoXiXDdkX(a)+op_count_5hNsobdibZ(a,534)
    else:
        count = op_count_Fe3OlIgKHc(a)
    return count


⊽↛≼a = { ((a⊻15)↖≺⇫(a∖⇀⩒a)) , if (⨖⊭a)>=182 ; ((a≈⪟∅)⩖⊿(⪰⇛⪭a)) , else }

def op_4uoEfebbIt(a):
    if op_rGQt3VChjE(a) >= 182:
        return op_rh14SKPVeV(op_exzyYvvvzF(a,15),op_o5ySIend9F(a,a))
    else:
        return op_RZ5CV9rWsJ(op_MljilmBCxr(a),op_FAU4UUhKNM(a))

def op_count_4uoEfebbIt(a):
    if op_rGQt3VChjE(a) >= 182:
        count = op_count_exzyYvvvzF(a,15)+op_count_o5ySIend9F(a,a)+op_count_rh14SKPVeV(op_exzyYvvvzF(a,15),op_o5ySIend9F(a,a))+op_count_rGQt3VChjE(a)
    else:
        count = op_count_MljilmBCxr(a)+op_count_FAU4UUhKNM(a)+op_count_RZ5CV9rWsJ(op_MljilmBCxr(a),op_FAU4UUhKNM(a))
    return count


def op_dXD8RLl6x7(a):
    return op_6GzKXIXcaD(op_QlDtpsi6BD(op_D3AQDKkPcf(a,a),op_AH8QAgoliW(6)),op_Z5CJsN7DuW(op_0VqPffoxSr(a)))

def op_count_dXD8RLl6x7(a):
    count = op_count_D3AQDKkPcf(a,a)+op_count_AH8QAgoliW(6)+op_count_QlDtpsi6BD(op_D3AQDKkPcf(a,a),op_AH8QAgoliW(6))+op_count_0VqPffoxSr(a)+op_count_Z5CJsN7DuW(op_0VqPffoxSr(a))+op_count_6GzKXIXcaD(op_QlDtpsi6BD(op_D3AQDKkPcf(a,a),op_AH8QAgoliW(6)),op_Z5CJsN7DuW(op_0VqPffoxSr(a)))
    return count


def op_NGwZOE19PH(a, b):
    return op_fvY4jMd0AS(op_p1y54au9R0(b),op_e9vVQXp6da(442,a))

def op_count_NGwZOE19PH(a, b):
    count = op_count_p1y54au9R0(b)+op_count_e9vVQXp6da(442,a)+op_count_fvY4jMd0AS(op_p1y54au9R0(b),op_e9vVQXp6da(442,a))
    return count


def op_9Cz3xJHsVT(a):
    return op_kNtlGfu7Pf(op_yXekIHxTD4(a,a))

def op_count_9Cz3xJHsVT(a):
    count = op_count_yXekIHxTD4(a,a)+op_count_kNtlGfu7Pf(op_yXekIHxTD4(a,a))
    return count


a≉⨀b = { (((a⋗a)↸(343∟))⋙≃≡((a/≡⊾a)≬⇼↘(↸⊣b))) }

def op_XLQU2G8LCx(a, b):
    return op_JkIVKoZPN2(op_1eCjFl0mb9(op_hy5IL4GG6G(a,a),op_hTbEZDJLEm(343)),op_b71WJCI7uC(op_cuBJ82CzGp(a,a),op_wztAlM01eG(b)))

def op_count_XLQU2G8LCx(a, b):
    count = op_count_hy5IL4GG6G(a,a)+op_count_hTbEZDJLEm(343)+op_count_1eCjFl0mb9(op_hy5IL4GG6G(a,a),op_hTbEZDJLEm(343))+op_count_cuBJ82CzGp(a,a)+op_count_wztAlM01eG(b)+op_count_b71WJCI7uC(op_cuBJ82CzGp(a,a),op_wztAlM01eG(b))+op_count_JkIVKoZPN2(op_1eCjFl0mb9(op_hy5IL4GG6G(a,a),op_hTbEZDJLEm(343)),op_b71WJCI7uC(op_cuBJ82CzGp(a,a),op_wztAlM01eG(b)))
    return count


a⩭∐b = { (((b⋡≤⩀2)⋱⇵(166⊟⇱))∗⫦⨲(b⊲⪜⫿(b⩻⇘⩦a))) }

def op_84MCv7ly20(a, b):
    return op_4zhs1Pu9yK(op_5ESOiVPbEV(op_Mth4PhTnAe(b,2),op_03sUfWo75k(166)),op_WscUkPRWwf(b,op_BrdKLlllJJ(b,a)))

def op_count_84MCv7ly20(a, b):
    count = op_count_Mth4PhTnAe(b,2)+op_count_03sUfWo75k(166)+op_count_5ESOiVPbEV(op_Mth4PhTnAe(b,2),op_03sUfWo75k(166))+op_count_BrdKLlllJJ(b,a)+op_count_WscUkPRWwf(b,op_BrdKLlllJJ(b,a))+op_count_4zhs1Pu9yK(op_5ESOiVPbEV(op_Mth4PhTnAe(b,2),op_03sUfWo75k(166)),op_WscUkPRWwf(b,op_BrdKLlllJJ(b,a)))
    return count


def op_kRQTG4ISQm(a):
    return op_cYEGcM02R4(op_EBhcHTkKd8(op_DfPpNyVquf(a,767)),126)

def op_count_kRQTG4ISQm(a):
    count = op_count_DfPpNyVquf(a,767)+op_count_EBhcHTkKd8(op_DfPpNyVquf(a,767))+op_count_cYEGcM02R4(op_EBhcHTkKd8(op_DfPpNyVquf(a,767)),126)
    return count


a⪂⋰b = { (a⇆a) , if (≶⇲⩜b)<17 ; (⊐↗∝a) , else }

def op_n8orHNdrpw(a, b):
    if op_z7gOP67ziU(b) < 17:
        return op_S5nS5IR4MP(a,a)
    else:
        return op_inYIwJ0bD8(a)

def op_count_n8orHNdrpw(a, b):
    if op_z7gOP67ziU(b) < 17:
        count = op_count_S5nS5IR4MP(a,a)+op_count_z7gOP67ziU(b)
    else:
        count = op_count_inYIwJ0bD8(a)
    return count


a∷∠⋱ = { ((⫽↸a)⩘) , if a<=64 ; (((23⇱∅⫼a)⨑⇌⫪(a⩿a))→⩸↪((a⪶a)⋰(a⊠⪡⨶a))) , else }

def op_R4f6djjN4a(a):
    if a <= 64:
        return op_wvHyciQT5X(op_OuTNrnoNOz(a))
    else:
        return op_UUAh1Hdfpu(op_OMlED4Os5J(op_jmRbPV3Y6D(23,a),op_Lf60rts8ne(a,a)),op_lDgtejlvTV(op_NvEvKO2R8S(a,a),op_ntT9PAI6rF(a,a)))

def op_count_R4f6djjN4a(a):
    if a <= 64:
        count = op_count_OuTNrnoNOz(a)+op_count_wvHyciQT5X(op_OuTNrnoNOz(a))
    else:
        count = op_count_jmRbPV3Y6D(23,a)+op_count_Lf60rts8ne(a,a)+op_count_OMlED4Os5J(op_jmRbPV3Y6D(23,a),op_Lf60rts8ne(a,a))+op_count_NvEvKO2R8S(a,a)+op_count_ntT9PAI6rF(a,a)+op_count_lDgtejlvTV(op_NvEvKO2R8S(a,a),op_ntT9PAI6rF(a,a))+op_count_UUAh1Hdfpu(op_OMlED4Os5J(op_jmRbPV3Y6D(23,a),op_Lf60rts8ne(a,a)),op_lDgtejlvTV(op_NvEvKO2R8S(a,a),op_ntT9PAI6rF(a,a)))
    return count


def op_4IWn3lr39R(a):
    if op_NkmDxhANyO(a,818) < 116:
        return op_TlDLxRNSIU(op_Am2kwplcWj(a,a),op_Ikt5ks8PT7(a,540))
    else:
        return op_NPE338n0HM(a,op_LdNpr8hQHL(52))

def op_count_4IWn3lr39R(a):
    if op_NkmDxhANyO(a,818) < 116:
        count = op_count_Am2kwplcWj(a,a)+op_count_Ikt5ks8PT7(a,540)+op_count_TlDLxRNSIU(op_Am2kwplcWj(a,a),op_Ikt5ks8PT7(a,540))+op_count_NkmDxhANyO(a,818)
    else:
        count = op_count_LdNpr8hQHL(52)+op_count_NPE338n0HM(a,op_LdNpr8hQHL(52))
    return count


def op_6w2kgY5mIT(a):
    return op_LJjZ19xYgc(op_5UdJKhy29U(op_vjAZhCvnmo(a,a),op_ReAzrgtvfu(a,119)))

def op_count_6w2kgY5mIT(a):
    count = op_count_vjAZhCvnmo(a,a)+op_count_ReAzrgtvfu(a,119)+op_count_5UdJKhy29U(op_vjAZhCvnmo(a,a),op_ReAzrgtvfu(a,119))+op_count_LJjZ19xYgc(op_5UdJKhy29U(op_vjAZhCvnmo(a,a),op_ReAzrgtvfu(a,119)))
    return count


⩴⫒a = { (((a⨔≚≋a)↙⨬⋜(⪲⇎a))⨑≵⋬((a≯≲⫧a)∭)) }

def op_ukYxLqEuH6(a):
    return op_XnXgA4xnOs(op_UlBlWmOBXm(op_Z57zeUYC9z(a,a),op_XPYlsWDdGa(a)),op_qLBMy5fcJr(op_qhwfmwp1fI(a,a)))

def op_count_ukYxLqEuH6(a):
    count = op_count_Z57zeUYC9z(a,a)+op_count_XPYlsWDdGa(a)+op_count_UlBlWmOBXm(op_Z57zeUYC9z(a,a),op_XPYlsWDdGa(a))+op_count_qhwfmwp1fI(a,a)+op_count_qLBMy5fcJr(op_qhwfmwp1fI(a,a))+op_count_XnXgA4xnOs(op_UlBlWmOBXm(op_Z57zeUYC9z(a,a),op_XPYlsWDdGa(a)),op_qLBMy5fcJr(op_qhwfmwp1fI(a,a)))
    return count


def op_F6tGhZBYIt(a, b):
    return op_D69ahk0G0B(op_jyxETRFrfc(op_x5p3WF8YzS(a,b),op_6YFxES5t3G(a,b)),op_0cGMrPTqT1(a))

def op_count_F6tGhZBYIt(a, b):
    count = op_count_x5p3WF8YzS(a,b)+op_count_6YFxES5t3G(a,b)+op_count_jyxETRFrfc(op_x5p3WF8YzS(a,b),op_6YFxES5t3G(a,b))+op_count_0cGMrPTqT1(a)+op_count_D69ahk0G0B(op_jyxETRFrfc(op_x5p3WF8YzS(a,b),op_6YFxES5t3G(a,b)),op_0cGMrPTqT1(a))
    return count


a⫤∥≻ = { (((⋇↝a)≫(a⫑⨱a))⇠⩎) , if a<141 ; (((a⇣⩺⋵a)⪡⨥(93↳⨴⫋2))⪞⊗⋒) , else }

def op_RjPd3M0YS6(a):
    if a < 141:
        return op_6fHIvV6xl0(op_fjIpuvyOFL(op_QIRSbgWmJm(a),op_ckHj138N5r(a,a)))
    else:
        return op_pV5x9IfYtD(op_rN9dtwqe3n(op_F4yD0voBRQ(a,a),op_bars6Y1s1I(93,2)))

def op_count_RjPd3M0YS6(a):
    if a < 141:
        count = op_count_QIRSbgWmJm(a)+op_count_ckHj138N5r(a,a)+op_count_fjIpuvyOFL(op_QIRSbgWmJm(a),op_ckHj138N5r(a,a))+op_count_6fHIvV6xl0(op_fjIpuvyOFL(op_QIRSbgWmJm(a),op_ckHj138N5r(a,a)))
    else:
        count = op_count_F4yD0voBRQ(a,a)+op_count_bars6Y1s1I(93,2)+op_count_rN9dtwqe3n(op_F4yD0voBRQ(a,a),op_bars6Y1s1I(93,2))+op_count_pV5x9IfYtD(op_rN9dtwqe3n(op_F4yD0voBRQ(a,a),op_bars6Y1s1I(93,2)))
    return count


a⇒↼ = { ((22⪧⩚↞)↮⋯(a⨻⩈⩔a)) , if a<105 ; ((a∢⨡≗a)∋⫛∑) , else }

def op_7FtOJYpAaP(a):
    if a < 105:
        return op_KPNWZM5Xul(op_iCFmNpcOux(22),op_nEsXyWgiOK(a,a))
    else:
        return op_seUDdcl26G(op_j0FS1QXHo5(a,a))

def op_count_7FtOJYpAaP(a):
    if a < 105:
        count = op_count_iCFmNpcOux(22)+op_count_nEsXyWgiOK(a,a)+op_count_KPNWZM5Xul(op_iCFmNpcOux(22),op_nEsXyWgiOK(a,a))
    else:
        count = op_count_j0FS1QXHo5(a,a)+op_count_seUDdcl26G(op_j0FS1QXHo5(a,a))
    return count


a↴⫣ = { (a⫫⋫a) , if (a⪾↷)>19 ; (⋒⊄↙a) , else }

def op_l0SGBmr0A1(a):
    if op_BBvI4SRxrt(a) > 19:
        return op_xtCeza3rDf(a,a)
    else:
        return op_WQ4V1AEB0R(a)

def op_count_l0SGBmr0A1(a):
    if op_BBvI4SRxrt(a) > 19:
        count = op_count_xtCeza3rDf(a,a)+op_count_BBvI4SRxrt(a)
    else:
        count = op_count_WQ4V1AEB0R(a)
    return count


∋∤a = { a , if ((a⊎⩰∤)==19 and (a∠⨼≺788)==342 and (⨶⫂⊶a)<=281) ; (((⩮⨌⪯a)⊿⇌(a⨚⪝a))≤⨝) , else }

def op_iKfoCJ30Dn(a):
    if (op_SGnE0BhdKZ(a) == 19 and op_zF2h9d8EEQ(a,788) == 342 and op_jXDDweKMrz(a) <= 281):
        return a
    else:
        return op_itkOnPxCeF(op_bzTfts3R6K(op_Gg3xwKfWpq(a),op_X2bul7T2BP(a,a)))

def op_count_iKfoCJ30Dn(a):
    if (op_SGnE0BhdKZ(a) == 19 and op_zF2h9d8EEQ(a,788) == 342 and op_jXDDweKMrz(a) <= 281):
        count = 1
    else:
        count = op_count_Gg3xwKfWpq(a)+op_count_X2bul7T2BP(a,a)+op_count_bzTfts3R6K(op_Gg3xwKfWpq(a),op_X2bul7T2BP(a,a))+op_count_itkOnPxCeF(op_bzTfts3R6K(op_Gg3xwKfWpq(a),op_X2bul7T2BP(a,a)))
    return count


a↟⇋ = { (((a⋇⋤⩬a)⋙⫃)≤⪽((⊲⊴a)∽≸(∁↜⩹a))) }

def op_esvrzGn9P5(a):
    return op_rIhv4QYABv(op_17vTJqz9Ht(op_XRKDgMSJta(a,a)),op_Jf2MRgTP95(op_MbELAX2vGJ(a),op_ffr2ZXDv3X(a)))

def op_count_esvrzGn9P5(a):
    count = op_count_XRKDgMSJta(a,a)+op_count_17vTJqz9Ht(op_XRKDgMSJta(a,a))+op_count_MbELAX2vGJ(a)+op_count_ffr2ZXDv3X(a)+op_count_Jf2MRgTP95(op_MbELAX2vGJ(a),op_ffr2ZXDv3X(a))+op_count_rIhv4QYABv(op_17vTJqz9Ht(op_XRKDgMSJta(a,a)),op_Jf2MRgTP95(op_MbELAX2vGJ(a),op_ffr2ZXDv3X(a)))
    return count


a⊅∄ = { ((147⩹≮a)⊂≢↧(a⨌↿a)) , if (a∤≷⨡)>=46 or (⫙a)>720 or (a≑⋀2)<516 ; ((382⊝⪿⪼a)⪋≥⨲(a⩍∍⪤a)) , else }

def op_SJDrnd6Syd(a):
    if op_PIKqUwW8wB(a) >= 46 or op_X8DMfAISiV(a) > 720 or op_Y4lAmUR5B7(a,2) < 516:
        return op_1NCu7utSrV(op_xeKVJklxVA(147,a),op_mOUIj6rraD(a,a))
    else:
        return op_EZf0a6At7B(op_3Oe9XWJUTD(382,a),op_pevpteaPmM(a,a))

def op_count_SJDrnd6Syd(a):
    if op_PIKqUwW8wB(a) >= 46 or op_X8DMfAISiV(a) > 720 or op_Y4lAmUR5B7(a,2) < 516:
        count = op_count_xeKVJklxVA(147,a)+op_count_mOUIj6rraD(a,a)+op_count_1NCu7utSrV(op_xeKVJklxVA(147,a),op_mOUIj6rraD(a,a))+op_count_PIKqUwW8wB(a)+op_count_X8DMfAISiV(a)+op_count_Y4lAmUR5B7(a,2)
    else:
        count = op_count_3Oe9XWJUTD(382,a)+op_count_pevpteaPmM(a,a)+op_count_EZf0a6At7B(op_3Oe9XWJUTD(382,a),op_pevpteaPmM(a,a))
    return count


a⫶⨡⨒b = { (((b∃220)≆⪃(b↾∥⪚b))⪭⋶⫝̸((b≕∾b)⪮%⊝(⊶a))) }

def op_cYefTWUxOW(a, b):
    return op_poiSo6Xg3g(op_EjjZdWuWOr(op_3H5Xx7QWkg(b,220),op_QyT1usQeR4(b,b)),op_IWmyXbctLI(op_F9pSHpyQ3k(b,b),op_iLDmr1kYEU(a)))

def op_count_cYefTWUxOW(a, b):
    count = op_count_3H5Xx7QWkg(b,220)+op_count_QyT1usQeR4(b,b)+op_count_EjjZdWuWOr(op_3H5Xx7QWkg(b,220),op_QyT1usQeR4(b,b))+op_count_F9pSHpyQ3k(b,b)+op_count_iLDmr1kYEU(a)+op_count_IWmyXbctLI(op_F9pSHpyQ3k(b,b),op_iLDmr1kYEU(a))+op_count_poiSo6Xg3g(op_EjjZdWuWOr(op_3H5Xx7QWkg(b,220),op_QyT1usQeR4(b,b)),op_IWmyXbctLI(op_F9pSHpyQ3k(b,b),op_iLDmr1kYEU(a)))
    return count


def op_W4d5dJqKFt(a, b):
    if (op_qsAu3zulMu(b,509) < 53 or op_ap3xiM279w(b,801) >= 273 or op_LJUzuYQJSf(b,582) <= 42):
        return op_5Dh7ct4pMe(op_2pBQXqWGeP(op_8xj5BWNEvp(b),op_22UCrTUJEh(b,a)))
    else:
        return op_l24lSdNBeQ(op_u7GmA9CWxF(op_r8SlbsZKtG(b,b)),op_YnqEOO27KC(b,op_ck8rYhF2fr(b)))

def op_count_W4d5dJqKFt(a, b):
    if (op_qsAu3zulMu(b,509) < 53 or op_ap3xiM279w(b,801) >= 273 or op_LJUzuYQJSf(b,582) <= 42):
        count = op_count_8xj5BWNEvp(b)+op_count_22UCrTUJEh(b,a)+op_count_2pBQXqWGeP(op_8xj5BWNEvp(b),op_22UCrTUJEh(b,a))+op_count_5Dh7ct4pMe(op_2pBQXqWGeP(op_8xj5BWNEvp(b),op_22UCrTUJEh(b,a)))+op_count_qsAu3zulMu(b,509)+op_count_ap3xiM279w(b,801)+op_count_LJUzuYQJSf(b,582)
    else:
        count = op_count_r8SlbsZKtG(b,b)+op_count_u7GmA9CWxF(op_r8SlbsZKtG(b,b))+op_count_ck8rYhF2fr(b)+op_count_YnqEOO27KC(b,op_ck8rYhF2fr(b))+op_count_l24lSdNBeQ(op_u7GmA9CWxF(op_r8SlbsZKtG(b,b)),op_YnqEOO27KC(b,op_ck8rYhF2fr(b)))
    return count


a⪄∻⪅ = { (((a⨍⪺a)↡≴⩿(a⫩⨼a))⪟⇇((a⨣∐↬a)⪿a)) , if ((⇹⊳a)<=658 and (a⋑↺⫍145)<153) ; (((a⫚⇃⪓a)∗⩻)≅⨐⋅a) , else }

def op_HlwC52oPqH(a):
    if (op_GHO1g8I7PH(a) <= 658 and op_bgTCUQNVoy(a,145) < 153):
        return op_n4a7NEQ25Y(op_FG45JEQvIn(op_IEH3kw0xIp(a,a),op_WxjQizov8v(a,a)),op_lLg6KFppdz(op_UpkSd4zESC(a,a),a))
    else:
        return op_lv7AZugVYQ(op_ccHmK6PBIn(op_8ZWiXT2Wxh(a,a)),a)

def op_count_HlwC52oPqH(a):
    if (op_GHO1g8I7PH(a) <= 658 and op_bgTCUQNVoy(a,145) < 153):
        count = op_count_IEH3kw0xIp(a,a)+op_count_WxjQizov8v(a,a)+op_count_FG45JEQvIn(op_IEH3kw0xIp(a,a),op_WxjQizov8v(a,a))+op_count_UpkSd4zESC(a,a)+op_count_lLg6KFppdz(op_UpkSd4zESC(a,a),a)+op_count_n4a7NEQ25Y(op_FG45JEQvIn(op_IEH3kw0xIp(a,a),op_WxjQizov8v(a,a)),op_lLg6KFppdz(op_UpkSd4zESC(a,a),a))+op_count_GHO1g8I7PH(a)+op_count_bgTCUQNVoy(a,145)
    else:
        count = op_count_8ZWiXT2Wxh(a,a)+op_count_ccHmK6PBIn(op_8ZWiXT2Wxh(a,a))+op_count_lv7AZugVYQ(op_ccHmK6PBIn(op_8ZWiXT2Wxh(a,a)),a)
    return count


a∛−⋨ = { (⩼↹((163∨⋤⇐a)⩤≠≯(a⫕⨽⨩))) , if (⩮⨌⪯a)==297 ; (((a⋭⨀/a)⩙⪻(⫨⇲⇞a))↸≻) , else }

def op_XpS6QLdTG8(a):
    if op_Gg3xwKfWpq(a) == 297:
        return op_D12pVJZ2CB(op_htFxK0qXae(op_XAozx2NkZN(163,a),op_sX7icBeOwx(a)))
    else:
        return op_MajuE94pkX(op_Y0zpOQG4YL(op_6Chw2r1Icb(a,a),op_7PBHsqWqsw(a)))

def op_count_XpS6QLdTG8(a):
    if op_Gg3xwKfWpq(a) == 297:
        count = op_count_XAozx2NkZN(163,a)+op_count_sX7icBeOwx(a)+op_count_htFxK0qXae(op_XAozx2NkZN(163,a),op_sX7icBeOwx(a))+op_count_D12pVJZ2CB(op_htFxK0qXae(op_XAozx2NkZN(163,a),op_sX7icBeOwx(a)))+op_count_Gg3xwKfWpq(a)
    else:
        count = op_count_6Chw2r1Icb(a,a)+op_count_7PBHsqWqsw(a)+op_count_Y0zpOQG4YL(op_6Chw2r1Icb(a,a),op_7PBHsqWqsw(a))+op_count_MajuE94pkX(op_Y0zpOQG4YL(op_6Chw2r1Icb(a,a),op_7PBHsqWqsw(a)))
    return count


def op_uA3r3M5hqH(a, b):
    return op_yXb8vAEUka(op_i43TpB2HrT(a,b))

def op_count_uA3r3M5hqH(a, b):
    count = op_count_i43TpB2HrT(a,b)+op_count_yXb8vAEUka(op_i43TpB2HrT(a,b))
    return count


def op_BmjYjxkcrF(a):
    return op_devHHn6C3c(op_xaRIqAkB3v(op_iXQfhhNwXF(a),op_0wt1I76pQR(a,910)))

def op_count_BmjYjxkcrF(a):
    count = op_count_iXQfhhNwXF(a)+op_count_0wt1I76pQR(a,910)+op_count_xaRIqAkB3v(op_iXQfhhNwXF(a),op_0wt1I76pQR(a,910))+op_count_devHHn6C3c(op_xaRIqAkB3v(op_iXQfhhNwXF(a),op_0wt1I76pQR(a,910)))
    return count


a∜↬b = { (a∏) , if (b↙⋶)>67 ; (a⇀⪽a) , else }

def op_Gvs3vXn1Ui(a, b):
    if op_T80hGywmoI(b) > 67:
        return op_UO1RhPgbnL(a)
    else:
        return op_2u38eHdNB5(a,a)

def op_count_Gvs3vXn1Ui(a, b):
    if op_T80hGywmoI(b) > 67:
        count = op_count_UO1RhPgbnL(a)+op_count_T80hGywmoI(b)
    else:
        count = op_count_2u38eHdNB5(a,a)
    return count


a≴⩹⪲ = { (((a∳⩯a)⇇⨋⩦(a⇈⨇⊙a))⩨⇖(⨮↦↱(a≭∊a))) }

def op_Y87ZvShJsG(a):
    return op_AU0rGnNQho(op_7LDZuUjSGl(op_9HGD9fv1Jr(a,a),op_S5cEPmjQ5R(a,a)),op_sYcpBQ0cFf(op_NvvUe35Zgj(a,a)))

def op_count_Y87ZvShJsG(a):
    count = op_count_9HGD9fv1Jr(a,a)+op_count_S5cEPmjQ5R(a,a)+op_count_7LDZuUjSGl(op_9HGD9fv1Jr(a,a),op_S5cEPmjQ5R(a,a))+op_count_NvvUe35Zgj(a,a)+op_count_sYcpBQ0cFf(op_NvvUe35Zgj(a,a))+op_count_AU0rGnNQho(op_7LDZuUjSGl(op_9HGD9fv1Jr(a,a),op_S5cEPmjQ5R(a,a)),op_sYcpBQ0cFf(op_NvvUe35Zgj(a,a)))
    return count


⪯↱⋻a = { (⊟↸*(⫣↼a)) , if (a↞∕)>=66 or (a⩂⫼)!=20 ; ((⫝⫷a)∪⫐(⇓↿a)) , else }

def op_xrPaovwfcW(a):
    if op_VzqicqNqgJ(a) >= 66 or op_cTD4NrwkZ5(a) != 20:
        return op_vpQFaicGMM(op_tSW8rgFwH6(a))
    else:
        return op_7YooWSwCyH(op_ZVl794d7gZ(a),op_GDEgHlA5Kw(a))

def op_count_xrPaovwfcW(a):
    if op_VzqicqNqgJ(a) >= 66 or op_cTD4NrwkZ5(a) != 20:
        count = op_count_tSW8rgFwH6(a)+op_count_vpQFaicGMM(op_tSW8rgFwH6(a))+op_count_VzqicqNqgJ(a)+op_count_cTD4NrwkZ5(a)
    else:
        count = op_count_ZVl794d7gZ(a)+op_count_GDEgHlA5Kw(a)+op_count_7YooWSwCyH(op_ZVl794d7gZ(a),op_GDEgHlA5Kw(a))
    return count


a↦⩰⋄b = { ((b∥⋽a)⩚⫳(⫶⊄≣b)) , if a<=347 ; ((b∠⫱a)⪊⫐(b∕b)) , else }

def op_LDvJLkMovV(a, b):
    if a <= 347:
        return op_meOipXXSDp(op_bHT9wUTdfV(b,a),op_wxb3vTeyAj(b))
    else:
        return op_KKYcEEj1Nw(op_QvoQhV0rrE(b,a),op_QeR9EosLiZ(b,b))

def op_count_LDvJLkMovV(a, b):
    if a <= 347:
        count = op_count_bHT9wUTdfV(b,a)+op_count_wxb3vTeyAj(b)+op_count_meOipXXSDp(op_bHT9wUTdfV(b,a),op_wxb3vTeyAj(b))
    else:
        count = op_count_QvoQhV0rrE(b,a)+op_count_QeR9EosLiZ(b,b)+op_count_KKYcEEj1Nw(op_QvoQhV0rrE(b,a),op_QeR9EosLiZ(b,b))
    return count


a⨀⋝⩂b = { (∖⨏((⋖b)⫿⇓(a∌↸↾b))) , if (a≶⇧⫄794)!=447 ; (((a⊻a)∍b)⫦⪉((a⩅a)⪤(⇍−a))) , else }

def op_gNhqVVHJgV(a, b):
    if op_r8SlbsZKtG(a,794) != 447:
        return op_aFcW0vbqtX(op_EYU6BsVPjN(op_dYTqEtTc30(b),op_q2tj3gAE7H(a,b)))
    else:
        return op_wscyQdcy20(op_9rNHCbYvka(op_exzyYvvvzF(a,a),b),op_JKhKCqropJ(op_WHvsDZpt7Z(a,a),op_ussIOAkYLj(a)))

def op_count_gNhqVVHJgV(a, b):
    if op_r8SlbsZKtG(a,794) != 447:
        count = op_count_dYTqEtTc30(b)+op_count_q2tj3gAE7H(a,b)+op_count_EYU6BsVPjN(op_dYTqEtTc30(b),op_q2tj3gAE7H(a,b))+op_count_aFcW0vbqtX(op_EYU6BsVPjN(op_dYTqEtTc30(b),op_q2tj3gAE7H(a,b)))+op_count_r8SlbsZKtG(a,794)
    else:
        count = op_count_exzyYvvvzF(a,a)+op_count_9rNHCbYvka(op_exzyYvvvzF(a,a),b)+op_count_WHvsDZpt7Z(a,a)+op_count_ussIOAkYLj(a)+op_count_JKhKCqropJ(op_WHvsDZpt7Z(a,a),op_ussIOAkYLj(a))+op_count_wscyQdcy20(op_9rNHCbYvka(op_exzyYvvvzF(a,a),b),op_JKhKCqropJ(op_WHvsDZpt7Z(a,a),op_ussIOAkYLj(a)))
    return count


a≑∓b = { (((b⫶⪨⪐)⪦⪊(b⪩))≄⋉783) , if b==672 ; ((⨵(a⊔%a))∽⫫⊬((⪱⊞b)⫆(⨠↠≐a))) , else }

def op_SYQDw94fy9(a, b):
    if b == 672:
        return op_lmJLg3MMpL(op_DykcjiQqpf(op_uMTzgDCyJv(b),op_u7GmA9CWxF(b)),783)
    else:
        return op_NPE338n0HM(op_Tl3Y52tvF8(op_uysxUYN2L2(a,a)),op_Y6MI8lE4nL(op_DolxePZw3A(b),op_aBc3pQJR8T(a)))

def op_count_SYQDw94fy9(a, b):
    if b == 672:
        count = op_count_uMTzgDCyJv(b)+op_count_u7GmA9CWxF(b)+op_count_DykcjiQqpf(op_uMTzgDCyJv(b),op_u7GmA9CWxF(b))+op_count_lmJLg3MMpL(op_DykcjiQqpf(op_uMTzgDCyJv(b),op_u7GmA9CWxF(b)),783)
    else:
        count = op_count_uysxUYN2L2(a,a)+op_count_Tl3Y52tvF8(op_uysxUYN2L2(a,a))+op_count_DolxePZw3A(b)+op_count_aBc3pQJR8T(a)+op_count_Y6MI8lE4nL(op_DolxePZw3A(b),op_aBc3pQJR8T(a))+op_count_NPE338n0HM(op_Tl3Y52tvF8(op_uysxUYN2L2(a,a)),op_Y6MI8lE4nL(op_DolxePZw3A(b),op_aBc3pQJR8T(a)))
    return count


def op_XiWMKjQOaU(a):
    return op_3DZMoQKiUl(op_UUAh1Hdfpu(op_GHfes0uiuE(a),op_BThhyOhh10(a)))

def op_count_XiWMKjQOaU(a):
    count = op_count_GHfes0uiuE(a)+op_count_BThhyOhh10(a)+op_count_UUAh1Hdfpu(op_GHfes0uiuE(a),op_BThhyOhh10(a))+op_count_3DZMoQKiUl(op_UUAh1Hdfpu(op_GHfes0uiuE(a),op_BThhyOhh10(a)))
    return count


def op_D6olWVQYaq(a, b):
    return op_fGTNyEZ31R(op_KsnKn8I4DZ(b,a),op_Acnz1HI8Ry(b,b))

def op_count_D6olWVQYaq(a, b):
    count = op_count_KsnKn8I4DZ(b,a)+op_count_Acnz1HI8Ry(b,b)+op_count_fGTNyEZ31R(op_KsnKn8I4DZ(b,a),op_Acnz1HI8Ry(b,b))
    return count


a≸≟b = { (b⩞⋂a) , if (⪮↲b)>42 ; (⩷⨜⫀a) , else }

def op_lFOJH7vxrC(a, b):
    if op_o87fefzB9U(b) > 42:
        return op_TQtCT2lTQ7(b,a)
    else:
        return op_CDi0ktkjQ4(a)

def op_count_lFOJH7vxrC(a, b):
    if op_o87fefzB9U(b) > 42:
        count = op_count_TQtCT2lTQ7(b,a)+op_count_o87fefzB9U(b)
    else:
        count = op_count_CDi0ktkjQ4(a)
    return count


a⫎⊬⇪b = { ((91∴⫴)⩽⩡(a⊂⫮a)) , if b>101 ; ((95⊆b)⩟⩫⪙) , else }

def op_l0bZvDjuWY(a, b):
    if b > 101:
        return op_zFNL8mZEFB(op_Fe3OlIgKHc(91),op_xOvNxfD5CB(a,a))
    else:
        return op_FerHFHCs6u(op_vMVtL6bY9U(95,b))

def op_count_l0bZvDjuWY(a, b):
    if b > 101:
        count = op_count_Fe3OlIgKHc(91)+op_count_xOvNxfD5CB(a,a)+op_count_zFNL8mZEFB(op_Fe3OlIgKHc(91),op_xOvNxfD5CB(a,a))
    else:
        count = op_count_vMVtL6bY9U(95,b)+op_count_FerHFHCs6u(op_vMVtL6bY9U(95,b))
    return count


a⨾⊞b = { (b⪵⩧⪨b) , if (↪a)==611 ; (b⩿⩜b) , else }

def op_Fue4ErCFXP(a, b):
    if op_KFvx0uYMJh(a) == 611:
        return op_0QEWQRhRpH(b,b)
    else:
        return op_jeyBgv6tGe(b,b)

def op_count_Fue4ErCFXP(a, b):
    if op_KFvx0uYMJh(a) == 611:
        count = op_count_0QEWQRhRpH(b,b)+op_count_KFvx0uYMJh(a)
    else:
        count = op_count_jeyBgv6tGe(b,b)
    return count


a⋧⩛ = { (a⇘⋴a) , if (a⪎⊱∷)!=329 ; (↩a) , else }

def op_SLQEh9v0Oz(a):
    if op_l5Wb0Px5L2(a) != 329:
        return op_jGfH5UPFW6(a,a)
    else:
        return op_jLgFTUHLKL(a)

def op_count_SLQEh9v0Oz(a):
    if op_l5Wb0Px5L2(a) != 329:
        count = op_count_jGfH5UPFW6(a,a)+op_count_l5Wb0Px5L2(a)
    else:
        count = op_count_jLgFTUHLKL(a)
    return count


def op_hhiNOYKIK7(a):
    return op_0pE9j4xUU7(op_2am7j97jvV(233,a),op_en8SqOBqg4(237,a))

def op_count_hhiNOYKIK7(a):
    count = op_count_2am7j97jvV(233,a)+op_count_en8SqOBqg4(237,a)+op_count_0pE9j4xUU7(op_2am7j97jvV(233,a),op_en8SqOBqg4(237,a))
    return count


a≴√⇹b = { (b∕⪘≈a) , if (a⫊306)>=2 and b<=214 ; (a⫨b) , else }

def op_nAvFnAjdcU(a, b):
    if op_uPjn7n5pli(a,306) >= 2 and b <= 214:
        return op_9gOQWDhglh(b,a)
    else:
        return op_RJKDfKcFKp(a,b)

def op_count_nAvFnAjdcU(a, b):
    if op_uPjn7n5pli(a,306) >= 2 and b <= 214:
        count = op_count_9gOQWDhglh(b,a)+op_count_uPjn7n5pli(a,306)
    else:
        count = op_count_RJKDfKcFKp(a,b)
    return count


def op_sEZinQEkP6(a):
    if op_r4dXdAhveb(a) <= 11:
        return op_17vTJqz9Ht(107)
    else:
        return op_qeG8mGoQOE(a,491)

def op_count_sEZinQEkP6(a):
    if op_r4dXdAhveb(a) <= 11:
        count = op_count_17vTJqz9Ht(107)+op_count_r4dXdAhveb(a)
    else:
        count = op_count_qeG8mGoQOE(a,491)
    return count


def op_GT5aUJrC8p(a):
    return op_bJkvcejdHO(a,a)

def op_count_GT5aUJrC8p(a):
    count = op_count_bJkvcejdHO(a,a)
    return count


a⨉⪘⪊b = { (((b⋅⇍a)∍⫁⪅(⋏a))⩇∃⫛((b≵a)⪡(480≫⩋⊩))) }

def op_wxno1H4PnZ(a, b):
    return op_1aApVXNlOP(op_glenQ1xDvR(op_AdZkA7nFnk(b,a),op_AWSeafXRiV(a)),op_oraRL2iQuh(op_nV04iLk7Bg(b,a),op_RUiJZCGom6(480)))

def op_count_wxno1H4PnZ(a, b):
    count = op_count_AdZkA7nFnk(b,a)+op_count_AWSeafXRiV(a)+op_count_glenQ1xDvR(op_AdZkA7nFnk(b,a),op_AWSeafXRiV(a))+op_count_nV04iLk7Bg(b,a)+op_count_RUiJZCGom6(480)+op_count_oraRL2iQuh(op_nV04iLk7Bg(b,a),op_RUiJZCGom6(480))+op_count_1aApVXNlOP(op_glenQ1xDvR(op_AdZkA7nFnk(b,a),op_AWSeafXRiV(a)),op_oraRL2iQuh(op_nV04iLk7Bg(b,a),op_RUiJZCGom6(480)))
    return count


def op_wVoAg9FBhy(a):
    return op_B1w2DhXrIu(op_3On8Mq6EYF(op_L05ObWFQCd(a,a),op_R5aXW34M0v(a)))

def op_count_wVoAg9FBhy(a):
    count = op_count_L05ObWFQCd(a,a)+op_count_R5aXW34M0v(a)+op_count_3On8Mq6EYF(op_L05ObWFQCd(a,a),op_R5aXW34M0v(a))+op_count_B1w2DhXrIu(op_3On8Mq6EYF(op_L05ObWFQCd(a,a),op_R5aXW34M0v(a)))
    return count


def op_7rBzEzYasJ(a, b):
    return op_5ClX4R8SjJ(op_xdPrHzyJaz(a),op_GyZKrXyLmB(op_Z7B3c4tHRK(b,b)))

def op_count_7rBzEzYasJ(a, b):
    count = op_count_xdPrHzyJaz(a)+op_count_Z7B3c4tHRK(b,b)+op_count_GyZKrXyLmB(op_Z7B3c4tHRK(b,b))+op_count_5ClX4R8SjJ(op_xdPrHzyJaz(a),op_GyZKrXyLmB(op_Z7B3c4tHRK(b,b)))
    return count


a⩅⋛ = { ((a⊓a)∪⊒(↾⫈a)) , if (a⫫∾639)>110 ; (⇤←(a⋩⪊⫪a)) , else }

def op_zDl2U8vKta(a):
    if op_b3qeQyvZfP(a,639) > 110:
        return op_wd3DeAcC9f(op_ExT1EayJM6(a,a),op_7uNwVuK1U2(a))
    else:
        return op_jfAgQ2OQeM(op_jgzsi2wuu5(a,a))

def op_count_zDl2U8vKta(a):
    if op_b3qeQyvZfP(a,639) > 110:
        count = op_count_ExT1EayJM6(a,a)+op_count_7uNwVuK1U2(a)+op_count_wd3DeAcC9f(op_ExT1EayJM6(a,a),op_7uNwVuK1U2(a))+op_count_b3qeQyvZfP(a,639)
    else:
        count = op_count_jgzsi2wuu5(a,a)+op_count_jfAgQ2OQeM(op_jgzsi2wuu5(a,a))
    return count


def op_vIzb6bBXk3(a):
    if a >= 88:
        return op_d5CHQX7ZoG(a,389)
    else:
        return op_c3nqrh4v2z(482)

def op_count_vIzb6bBXk3(a):
    if a >= 88:
        count = op_count_d5CHQX7ZoG(a,389)
    else:
        count = op_count_c3nqrh4v2z(482)
    return count


def op_criJvB1u41(a):
    return op_iXQfhhNwXF(op_sQFXMycfVt(a,a))

def op_count_criJvB1u41(a):
    count = op_count_sQFXMycfVt(a,a)+op_count_iXQfhhNwXF(op_sQFXMycfVt(a,a))
    return count


def op_2SCBV9jcvd(a):
    return op_DN0PLaXpeG(op_YJnbaRgmQd(319,a),op_wxb3vTeyAj(a))

def op_count_2SCBV9jcvd(a):
    count = op_count_YJnbaRgmQd(319,a)+op_count_wxb3vTeyAj(a)+op_count_DN0PLaXpeG(op_YJnbaRgmQd(319,a),op_wxb3vTeyAj(a))
    return count


def op_QQRAEa3hAB(a, b):
    return op_S2EdmdiVZh(b,op_GySAKFjObq(op_GMrB5OisJT(a)))

def op_count_QQRAEa3hAB(a, b):
    count = op_count_GMrB5OisJT(a)+op_count_GySAKFjObq(op_GMrB5OisJT(a))+op_count_S2EdmdiVZh(b,op_GySAKFjObq(op_GMrB5OisJT(a)))
    return count


def op_KUgh4aG1vf(a):
    if a < 167 or op_7nDYFTqyZr(a) <= 111:
        return op_1eCjFl0mb9(180,a)
    else:
        return op_GihdubVxvG(a)

def op_count_KUgh4aG1vf(a):
    if a < 167 or op_7nDYFTqyZr(a) <= 111:
        count = op_count_1eCjFl0mb9(180,a)+op_count_7nDYFTqyZr(a)
    else:
        count = op_count_GihdubVxvG(a)
    return count


def op_7LzBcPAy6h(a):
    return op_bJkvcejdHO(34,a)

def op_count_7LzBcPAy6h(a):
    count = op_count_bJkvcejdHO(34,a)
    return count


a≮⋹⨆b = { (((479⪈⇉b)∰(73⋩≍≻))⫢⨏≡((b⪋⫼⪧a)⋕⨻⇥(a⪘*⋴b))) , if (b<17 or (a↪⪝)<=210) ; a , else }

def op_2l1b9il9K5(a, b):
    if (b < 17 or op_l07mrZUIn9(a) <= 210):
        return op_ln8odt1XeD(op_PmR7WuS4AT(op_YjTveF0rk5(479,b),op_WYd1w68Nbz(73)),op_3ngf5It8Ig(op_KLMV3Z6VVJ(b,a),op_WA4yiEtoyW(a,b)))
    else:
        return a

def op_count_2l1b9il9K5(a, b):
    if (b < 17 or op_l07mrZUIn9(a) <= 210):
        count = op_count_YjTveF0rk5(479,b)+op_count_WYd1w68Nbz(73)+op_count_PmR7WuS4AT(op_YjTveF0rk5(479,b),op_WYd1w68Nbz(73))+op_count_KLMV3Z6VVJ(b,a)+op_count_WA4yiEtoyW(a,b)+op_count_3ngf5It8Ig(op_KLMV3Z6VVJ(b,a),op_WA4yiEtoyW(a,b))+op_count_ln8odt1XeD(op_PmR7WuS4AT(op_YjTveF0rk5(479,b),op_WYd1w68Nbz(73)),op_3ngf5It8Ig(op_KLMV3Z6VVJ(b,a),op_WA4yiEtoyW(a,b)))+op_count_l07mrZUIn9(a)
    else:
        count = 1
    return count


⪄⊏a = { (((a⩛a)⪵(a⩰⩴a))⩗∓⫀((a⩄⫧∩446)≔⇮≳a)) , if (a⫋)<=473 ; (((a⋔∶a)↖⪸⫱(⪝⪂⫅a))⊂⫮a) , else }

def op_i5NNtHWeao(a):
    if op_mhIhit33mg(a) <= 473:
        return op_F2taXPkQ1B(op_zWEPWlwaj2(op_1Ozlt4kVTJ(a,a),op_DaGtvK0FhA(a,a)),op_iJDhyCwqus(op_x91QhENKPJ(a,446),a))
    else:
        return op_xOvNxfD5CB(op_KCGfcBnbwZ(op_e1tqKxnyD8(a,a),op_XTarYq4gQB(a)),a)

def op_count_i5NNtHWeao(a):
    if op_mhIhit33mg(a) <= 473:
        count = op_count_1Ozlt4kVTJ(a,a)+op_count_DaGtvK0FhA(a,a)+op_count_zWEPWlwaj2(op_1Ozlt4kVTJ(a,a),op_DaGtvK0FhA(a,a))+op_count_x91QhENKPJ(a,446)+op_count_iJDhyCwqus(op_x91QhENKPJ(a,446),a)+op_count_F2taXPkQ1B(op_zWEPWlwaj2(op_1Ozlt4kVTJ(a,a),op_DaGtvK0FhA(a,a)),op_iJDhyCwqus(op_x91QhENKPJ(a,446),a))+op_count_mhIhit33mg(a)
    else:
        count = op_count_e1tqKxnyD8(a,a)+op_count_XTarYq4gQB(a)+op_count_KCGfcBnbwZ(op_e1tqKxnyD8(a,a),op_XTarYq4gQB(a))+op_count_xOvNxfD5CB(op_KCGfcBnbwZ(op_e1tqKxnyD8(a,a),op_XTarYq4gQB(a)),a)
    return count


a⨭⫡⋝ = { ((⨮↦↱(a≇⨤⊇a))∾−((a⫉⋑⫄a)⇋∁↲(a⨳))) }

def op_Ge61LBmWpH(a):
    return op_V0u2OkZBsS(op_sYcpBQ0cFf(op_nLhlVZSGl1(a,a)),op_WWvgEODVog(op_Ar9Pym55NP(a,a),op_0eccDpRXfQ(a)))

def op_count_Ge61LBmWpH(a):
    count = op_count_nLhlVZSGl1(a,a)+op_count_sYcpBQ0cFf(op_nLhlVZSGl1(a,a))+op_count_Ar9Pym55NP(a,a)+op_count_0eccDpRXfQ(a)+op_count_WWvgEODVog(op_Ar9Pym55NP(a,a),op_0eccDpRXfQ(a))+op_count_V0u2OkZBsS(op_sYcpBQ0cFf(op_nLhlVZSGl1(a,a)),op_WWvgEODVog(op_Ar9Pym55NP(a,a),op_0eccDpRXfQ(a)))
    return count


a⪮⇣⨺b = { (⩣⨎⋒(⊵⊁b)) , if (a⊗≭)==438 and (⫫⫆a)==5 ; ((a⋱⇵a)⪄(b⊑⨮b)) , else }

def op_2JBQaWfEMN(a, b):
    if op_LEwYTyxvmM(a) == 438 and op_PFGBjZbDyF(a) == 5:
        return op_PMp644FDJe(op_AvED76WdY7(b))
    else:
        return op_SUmda5xLS4(op_5ESOiVPbEV(a,a),op_xRCgHJduM4(b,b))

def op_count_2JBQaWfEMN(a, b):
    if op_LEwYTyxvmM(a) == 438 and op_PFGBjZbDyF(a) == 5:
        count = op_count_AvED76WdY7(b)+op_count_PMp644FDJe(op_AvED76WdY7(b))+op_count_LEwYTyxvmM(a)+op_count_PFGBjZbDyF(a)
    else:
        count = op_count_5ESOiVPbEV(a,a)+op_count_xRCgHJduM4(b,b)+op_count_SUmda5xLS4(op_5ESOiVPbEV(a,a),op_xRCgHJduM4(b,b))
    return count


a⨯⪷⊾b = { (b⋳/a) , if (⇌b)<126 ; (≪b) , else }

def op_4pxXWnDKiI(a, b):
    if op_AZPIx1Ag6c(b) < 126:
        return op_m612RDITqL(b,a)
    else:
        return op_Qtd6bqUJcN(b)

def op_count_4pxXWnDKiI(a, b):
    if op_AZPIx1Ag6c(b) < 126:
        count = op_count_m612RDITqL(b,a)+op_count_AZPIx1Ag6c(b)
    else:
        count = op_count_Qtd6bqUJcN(b)
    return count


a⫺⋢ = { (((⪘⋹⊆a)↭⪗(a⊗⇩⩘a))⫝⪙((a⫸⊐741)⇽↿⪿(a⪺≿a))) , if (a⩃523)==147 ; a , else }

def op_UklnSfcsr4(a):
    if op_7IRjtmSsUO(a,523) == 147:
        return op_y1eBRRC36c(op_aLNRF0Pt4F(op_rYuH8NSTjl(a),op_TLcR4sSQDd(a,a)),op_9Q5hJbNi17(op_mqXw5SEYmG(a,741),op_dj54johvPQ(a,a)))
    else:
        return a

def op_count_UklnSfcsr4(a):
    if op_7IRjtmSsUO(a,523) == 147:
        count = op_count_rYuH8NSTjl(a)+op_count_TLcR4sSQDd(a,a)+op_count_aLNRF0Pt4F(op_rYuH8NSTjl(a),op_TLcR4sSQDd(a,a))+op_count_mqXw5SEYmG(a,741)+op_count_dj54johvPQ(a,a)+op_count_9Q5hJbNi17(op_mqXw5SEYmG(a,741),op_dj54johvPQ(a,a))+op_count_y1eBRRC36c(op_aLNRF0Pt4F(op_rYuH8NSTjl(a),op_TLcR4sSQDd(a,a)),op_9Q5hJbNi17(op_mqXw5SEYmG(a,741),op_dj54johvPQ(a,a)))+op_count_7IRjtmSsUO(a,523)
    else:
        count = 1
    return count


def op_QsXIYgs18t(a, b):
    if op_Rbawt6nfR7(a,669) != 23:
        return op_JFrVJKYFMX(op_78QBpbqeKK(b,b),op_TbUuY2B3fX(b,b))
    else:
        return op_ixc2Esl5RP(50)

def op_count_QsXIYgs18t(a, b):
    if op_Rbawt6nfR7(a,669) != 23:
        count = op_count_78QBpbqeKK(b,b)+op_count_TbUuY2B3fX(b,b)+op_count_JFrVJKYFMX(op_78QBpbqeKK(b,b),op_TbUuY2B3fX(b,b))+op_count_Rbawt6nfR7(a,669)
    else:
        count = op_count_ixc2Esl5RP(50)
    return count


def op_sDckQzKUSc(a, b):
    return op_Fic7usBSnH(op_reVGrTqfuh(op_yXekIHxTD4(a,b),op_LlXaajdvBB(a)))

def op_count_sDckQzKUSc(a, b):
    count = op_count_yXekIHxTD4(a,b)+op_count_LlXaajdvBB(a)+op_count_reVGrTqfuh(op_yXekIHxTD4(a,b),op_LlXaajdvBB(a))+op_count_Fic7usBSnH(op_reVGrTqfuh(op_yXekIHxTD4(a,b),op_LlXaajdvBB(a)))
    return count


a⫅⋇+ = { (((↑⨏a)⩞⋂(a⇯⇋a))⩝⪟⋿((a⫲⇓a)⩹≮(270⪄a))) }

def op_bmZ5FfxiJo(a):
    return op_3Cfxs2sGIE(op_TQtCT2lTQ7(op_fnDOYsdde8(a),op_VwBdEydXvH(a,a)),op_xeKVJklxVA(op_i5hWbqkGkb(a,a),op_SUmda5xLS4(270,a)))

def op_count_bmZ5FfxiJo(a):
    count = op_count_fnDOYsdde8(a)+op_count_VwBdEydXvH(a,a)+op_count_TQtCT2lTQ7(op_fnDOYsdde8(a),op_VwBdEydXvH(a,a))+op_count_i5hWbqkGkb(a,a)+op_count_SUmda5xLS4(270,a)+op_count_xeKVJklxVA(op_i5hWbqkGkb(a,a),op_SUmda5xLS4(270,a))+op_count_3Cfxs2sGIE(op_TQtCT2lTQ7(op_fnDOYsdde8(a),op_VwBdEydXvH(a,a)),op_xeKVJklxVA(op_i5hWbqkGkb(a,a),op_SUmda5xLS4(270,a)))
    return count


a∀⋋b = { (∤≺(⇗(a⨥⫆b))) , if (a⫟⪀347)>93 ; (((a⫅)⫧⋃≅(⫊≏⨉b))∣((a⨐⪤b)⪔⇥⋛)) , else }

def op_9VXXH1wwUn(a, b):
    if op_ZG1KnpkPxw(a,347) > 93:
        return op_gHuQvkee3b(op_mFCgDW3omv(op_yXekIHxTD4(a,b)))
    else:
        return op_PPChnnnBFF(op_rJlMWXggw2(op_iI58LvO9D4(a),op_KED7KUUlGq(b)),op_0gYq9vLqtm(op_4yVIdyRSpi(a,b)))

def op_count_9VXXH1wwUn(a, b):
    if op_ZG1KnpkPxw(a,347) > 93:
        count = op_count_yXekIHxTD4(a,b)+op_count_mFCgDW3omv(op_yXekIHxTD4(a,b))+op_count_gHuQvkee3b(op_mFCgDW3omv(op_yXekIHxTD4(a,b)))+op_count_ZG1KnpkPxw(a,347)
    else:
        count = op_count_iI58LvO9D4(a)+op_count_KED7KUUlGq(b)+op_count_rJlMWXggw2(op_iI58LvO9D4(a),op_KED7KUUlGq(b))+op_count_4yVIdyRSpi(a,b)+op_count_0gYq9vLqtm(op_4yVIdyRSpi(a,b))+op_count_PPChnnnBFF(op_rJlMWXggw2(op_iI58LvO9D4(a),op_KED7KUUlGq(b)),op_0gYq9vLqtm(op_4yVIdyRSpi(a,b)))
    return count


def op_6MR30v0nNt(a):
    return op_fICjaz8Yf3(a,a)

def op_count_6MR30v0nNt(a):
    count = op_count_fICjaz8Yf3(a,a)
    return count


def op_Icw3vUuJka(a):
    if op_HNxyAwp1jS(a) >= 506:
        return op_IWmyXbctLI(a,185)
    else:
        return op_eWRXig0gvP(a)

def op_count_Icw3vUuJka(a):
    if op_HNxyAwp1jS(a) >= 506:
        count = op_count_IWmyXbctLI(a,185)+op_count_HNxyAwp1jS(a)
    else:
        count = op_count_eWRXig0gvP(a)
    return count


a⫟∩b = { (⊤⊝(b⊫↳⇦31)) , if ((a⊇≀≁)>=244 or (↸⪅⇔b)>378 or (⋽≉≛b)==103) ; ((a⋙⪠a)∴⫴) , else }

def op_n7wOqbEDlF(a, b):
    if (op_AfoL3wC8aT(a) >= 244 or op_i8VfeBP6dW(b) > 378 or op_EPOgAxRnf9(b) == 103):
        return op_rXAclfmB4M(op_0pE9j4xUU7(b,31))
    else:
        return op_Fe3OlIgKHc(op_vPmKJA6wUP(a,a))

def op_count_n7wOqbEDlF(a, b):
    if (op_AfoL3wC8aT(a) >= 244 or op_i8VfeBP6dW(b) > 378 or op_EPOgAxRnf9(b) == 103):
        count = op_count_0pE9j4xUU7(b,31)+op_count_rXAclfmB4M(op_0pE9j4xUU7(b,31))+op_count_AfoL3wC8aT(a)+op_count_i8VfeBP6dW(b)+op_count_EPOgAxRnf9(b)
    else:
        count = op_count_vPmKJA6wUP(a,a)+op_count_Fe3OlIgKHc(op_vPmKJA6wUP(a,a))
    return count


a⪈⊯⪛ = { (a⩐⩶a) , if a>275 ; (a⪃) , else }

def op_3GxPZHEQrk(a):
    if a > 275:
        return op_5OTQqWnzXQ(a,a)
    else:
        return op_YocpLSRo8j(a)

def op_count_3GxPZHEQrk(a):
    if a > 275:
        count = op_count_5OTQqWnzXQ(a,a)
    else:
        count = op_count_YocpLSRo8j(a)
    return count


def op_ovZ991LhRn(a, b):
    return op_y75s1iXyHd(op_1eCjFl0mb9(b,786),op_zWEPWlwaj2(a,a))

def op_count_ovZ991LhRn(a, b):
    count = op_count_1eCjFl0mb9(b,786)+op_count_zWEPWlwaj2(a,a)+op_count_y75s1iXyHd(op_1eCjFl0mb9(b,786),op_zWEPWlwaj2(a,a))
    return count


def op_dN8578Iovx(a, b):
    if op_kbaSw8JX5v(a) >= 426:
        return op_yyGr8FKHqM(21,op_aA7tF3KVD3(a))
    else:
        return op_yo23qO3U4o(op_ZudQkqJPAX(145,98),op_b71WJCI7uC(227,b))

def op_count_dN8578Iovx(a, b):
    if op_kbaSw8JX5v(a) >= 426:
        count = op_count_aA7tF3KVD3(a)+op_count_yyGr8FKHqM(21,op_aA7tF3KVD3(a))+op_count_kbaSw8JX5v(a)
    else:
        count = op_count_ZudQkqJPAX(145,98)+op_count_b71WJCI7uC(227,b)+op_count_yo23qO3U4o(op_ZudQkqJPAX(145,98),op_b71WJCI7uC(227,b))
    return count


a⫖⊲b = { ((b∙∹∝a)⩟≠⊑(a∈⨪⇽a)) , if (b⊅∈∁375)<103 ; ((⩷⨜⫀b)-⨯(57⪎⨄⋝)) , else }

def op_CUcQ7hI1X5(a, b):
    if op_1Btw2138KI(b,375) < 103:
        return op_1wjmvXM3JT(op_HmxsFra2vL(b,a),op_OkeBNI2wuD(a,a))
    else:
        return op_2lEcbzNZ3I(op_CDi0ktkjQ4(b),op_kweVJGAjhl(57))

def op_count_CUcQ7hI1X5(a, b):
    if op_1Btw2138KI(b,375) < 103:
        count = op_count_HmxsFra2vL(b,a)+op_count_OkeBNI2wuD(a,a)+op_count_1wjmvXM3JT(op_HmxsFra2vL(b,a),op_OkeBNI2wuD(a,a))+op_count_1Btw2138KI(b,375)
    else:
        count = op_count_CDi0ktkjQ4(b)+op_count_kweVJGAjhl(57)+op_count_2lEcbzNZ3I(op_CDi0ktkjQ4(b),op_kweVJGAjhl(57))
    return count


def op_WOtdRCRERM(a, b):
    return op_gub5Cegaqo(op_pDi3HXNjDB(b,a),op_tUf8PANZgi(b,b))

def op_count_WOtdRCRERM(a, b):
    count = op_count_pDi3HXNjDB(b,a)+op_count_tUf8PANZgi(b,b)+op_count_gub5Cegaqo(op_pDi3HXNjDB(b,a),op_tUf8PANZgi(b,b))
    return count


a⋒⩸↨b = { b , if (b↪∷767)<390 ; ((a↴)∤≷⨡) , else }

def op_pWgqwKmGtT(a, b):
    if op_Api82iH42a(b,767) < 390:
        return b
    else:
        return op_PIKqUwW8wB(op_R0IH6tFGJf(a))

def op_count_pWgqwKmGtT(a, b):
    if op_Api82iH42a(b,767) < 390:
        count = 1
    else:
        count = op_count_R0IH6tFGJf(a)+op_count_PIKqUwW8wB(op_R0IH6tFGJf(a))
    return count


def op_9evlFqtL7b(a, b):
    return op_Z57zeUYC9z(op_pm9cx6Eqcm(225,a),b)

def op_count_9evlFqtL7b(a, b):
    count = op_count_pm9cx6Eqcm(225,a)+op_count_Z57zeUYC9z(op_pm9cx6Eqcm(225,a),b)
    return count


a⨸⫱b = { (((b⩨≂a)⨌⫂(b⇋↽⋤a))⊙≭((⫸⊾a)⊁≴)) , if (a⪰)<=66 ; ((⇾⇔⋮(b≀⋧a))⊵(≧↼(≺⊱↬a))) , else }

def op_JpNCwVdTNT(a, b):
    if op_TqTf0WBeGT(a) <= 66:
        return op_sVMiUtOpJT(op_WvhSX4Tttm(op_lhONkfYInr(b,a),op_3K1YInASmv(b,a)),op_R9jNnghR3f(op_mg7BfXbOdF(a)))
    else:
        return op_eaFBhJ0Uku(op_TJRgAX2Xy2(op_RLgQDWzcJN(b,a)),op_z5O9aNKFo7(op_adaJuuz4pl(a)))

def op_count_JpNCwVdTNT(a, b):
    if op_TqTf0WBeGT(a) <= 66:
        count = op_count_lhONkfYInr(b,a)+op_count_3K1YInASmv(b,a)+op_count_WvhSX4Tttm(op_lhONkfYInr(b,a),op_3K1YInASmv(b,a))+op_count_mg7BfXbOdF(a)+op_count_R9jNnghR3f(op_mg7BfXbOdF(a))+op_count_sVMiUtOpJT(op_WvhSX4Tttm(op_lhONkfYInr(b,a),op_3K1YInASmv(b,a)),op_R9jNnghR3f(op_mg7BfXbOdF(a)))+op_count_TqTf0WBeGT(a)
    else:
        count = op_count_RLgQDWzcJN(b,a)+op_count_TJRgAX2Xy2(op_RLgQDWzcJN(b,a))+op_count_adaJuuz4pl(a)+op_count_z5O9aNKFo7(op_adaJuuz4pl(a))+op_count_eaFBhJ0Uku(op_TJRgAX2Xy2(op_RLgQDWzcJN(b,a)),op_z5O9aNKFo7(op_adaJuuz4pl(a)))
    return count


a⫿↠b = { (((435⨻)⇘≿(b⊢⫝̸⪉b))⪦((⊗a)⨳(a↟⇝a))) }

def op_x5WFA6yUf3(a, b):
    return op_S2EdmdiVZh(op_8EAfVIn5ao(op_MDyZu6bdtR(435),op_ZCundfY3Ma(b,b)),op_YaB1w09lmH(op_RhiyfpczSx(a),op_YdxZk85PfS(a,a)))

def op_count_x5WFA6yUf3(a, b):
    count = op_count_MDyZu6bdtR(435)+op_count_ZCundfY3Ma(b,b)+op_count_8EAfVIn5ao(op_MDyZu6bdtR(435),op_ZCundfY3Ma(b,b))+op_count_RhiyfpczSx(a)+op_count_YdxZk85PfS(a,a)+op_count_YaB1w09lmH(op_RhiyfpczSx(a),op_YdxZk85PfS(a,a))+op_count_S2EdmdiVZh(op_8EAfVIn5ao(op_MDyZu6bdtR(435),op_ZCundfY3Ma(b,b)),op_YaB1w09lmH(op_RhiyfpczSx(a),op_YdxZk85PfS(a,a)))
    return count


a⨵⇚⪞ = { (a⨽∌a) , if (a!=36 or (⇾⇔⋮a)<=174 or (a⨽⪊≇)>=310) ; (a∽⪡) , else }

def op_qsxZ7LE8tF(a):
    if (a != 36 or op_TJRgAX2Xy2(a) <= 174 or op_nlCqmYiOvY(a) >= 310):
        return op_9samAPKr6k(a,a)
    else:
        return op_GyZKrXyLmB(a)

def op_count_qsxZ7LE8tF(a):
    if (a != 36 or op_TJRgAX2Xy2(a) <= 174 or op_nlCqmYiOvY(a) >= 310):
        count = op_count_9samAPKr6k(a,a)+op_count_TJRgAX2Xy2(a)+op_count_nlCqmYiOvY(a)
    else:
        count = op_count_GyZKrXyLmB(a)
    return count


a⩜⫼ = { (a∝≗a) , if a<=462 ; (a⇉⇉) , else }

def op_Hl2SQqhphC(a):
    if a <= 462:
        return op_bQy7iKdSPD(a,a)
    else:
        return op_diKm42VcIt(a)

def op_count_Hl2SQqhphC(a):
    if a <= 462:
        count = op_count_bQy7iKdSPD(a,a)
    else:
        count = op_count_diKm42VcIt(a)
    return count


def op_sCOsY8Na4j(a, b):
    return op_hyuBjUqXlG(op_sDUFqk2NSv(a,a),op_Fw9FUhpJpC(73,b))

def op_count_sCOsY8Na4j(a, b):
    count = op_count_sDUFqk2NSv(a,a)+op_count_Fw9FUhpJpC(73,b)+op_count_hyuBjUqXlG(op_sDUFqk2NSv(a,a),op_Fw9FUhpJpC(73,b))
    return count


def op_qxidEUMknB(a):
    return op_yXekIHxTD4(op_eOf03JbCpp(227),a)

def op_count_qxidEUMknB(a):
    count = op_count_eOf03JbCpp(227)+op_count_yXekIHxTD4(op_eOf03JbCpp(227),a)
    return count


def op_RkWxjp6pVG(a):
    return op_IjGhTk7PpW(a,138)

def op_count_RkWxjp6pVG(a):
    count = op_count_IjGhTk7PpW(a,138)
    return count


a↜↸⩯b = { ((⊖∈a)⫣≬(a⨺→b)) , if (b⊗⇩⩘306)>=132 and a>289 ; ((⩆↑⇝a)↬≳⋣(⨬a)) , else }

def op_Kf1zqKnZRg(a, b):
    if op_TLcR4sSQDd(b,306) >= 132 and a > 289:
        return op_NrWB21ZewL(op_YFxL8Sc2Zy(a),op_Io6RfLUAY0(a,b))
    else:
        return op_5HFUViGXfi(op_FAUHmXADzM(a),op_IVVGj2B19U(a))

def op_count_Kf1zqKnZRg(a, b):
    if op_TLcR4sSQDd(b,306) >= 132 and a > 289:
        count = op_count_YFxL8Sc2Zy(a)+op_count_Io6RfLUAY0(a,b)+op_count_NrWB21ZewL(op_YFxL8Sc2Zy(a),op_Io6RfLUAY0(a,b))+op_count_TLcR4sSQDd(b,306)
    else:
        count = op_count_FAUHmXADzM(a)+op_count_IVVGj2B19U(a)+op_count_5HFUViGXfi(op_FAUHmXADzM(a),op_IVVGj2B19U(a))
    return count


def op_HcpSfZGHXr(a):
    return op_DZ8iAZOCBD(op_vHxjA6kYGK(a,565),op_grXIztHqDa(95))

def op_count_HcpSfZGHXr(a):
    count = op_count_vHxjA6kYGK(a,565)+op_count_grXIztHqDa(95)+op_count_DZ8iAZOCBD(op_vHxjA6kYGK(a,565),op_grXIztHqDa(95))
    return count


def op_E5361TCKDi(a):
    return op_d5CHQX7ZoG(a,37)

def op_count_E5361TCKDi(a):
    count = op_count_d5CHQX7ZoG(a,37)
    return count


a⇁⪭+ = { (((a⩁⩘a)⊠≚)⇚∛⩤((a⇘⋴a)⫟↡(a←⩟a))) , if a==257 ; (((a≉⇐≣a)⇞∉(⪨↰541))⇻⊹82) , else }

def op_Nb6mHGtcrZ(a):
    if a == 257:
        return op_AhDKBC5IVD(op_qjgYn8mE1J(op_gub5Cegaqo(a,a)),op_Vb2KBMmg4y(op_jGfH5UPFW6(a,a),op_Tcl1okrsLo(a,a)))
    else:
        return op_gQpPSlYAud(op_QbcaP1vvRM(op_DdGfRTBqou(a,a),op_blQ9vzDKd0(541)),82)

def op_count_Nb6mHGtcrZ(a):
    if a == 257:
        count = op_count_gub5Cegaqo(a,a)+op_count_qjgYn8mE1J(op_gub5Cegaqo(a,a))+op_count_jGfH5UPFW6(a,a)+op_count_Tcl1okrsLo(a,a)+op_count_Vb2KBMmg4y(op_jGfH5UPFW6(a,a),op_Tcl1okrsLo(a,a))+op_count_AhDKBC5IVD(op_qjgYn8mE1J(op_gub5Cegaqo(a,a)),op_Vb2KBMmg4y(op_jGfH5UPFW6(a,a),op_Tcl1okrsLo(a,a)))
    else:
        count = op_count_DdGfRTBqou(a,a)+op_count_blQ9vzDKd0(541)+op_count_QbcaP1vvRM(op_DdGfRTBqou(a,a),op_blQ9vzDKd0(541))+op_count_gQpPSlYAud(op_QbcaP1vvRM(op_DdGfRTBqou(a,a),op_blQ9vzDKd0(541)),82)
    return count


def op_7Pxyvg894d(a, b):
    return op_Qqyumcscty(op_vb6BVWtSHd(b,a),op_FAUHmXADzM(b))

def op_count_7Pxyvg894d(a, b):
    count = op_count_vb6BVWtSHd(b,a)+op_count_FAUHmXADzM(b)+op_count_Qqyumcscty(op_vb6BVWtSHd(b,a),op_FAUHmXADzM(b))
    return count


def op_J4nWiLY50V(a):
    if op_P4ywzuOpaq(a,230) != 391:
        return op_GZNMAtHQ0A(op_xf6eqZIrT0(a,a),op_d8xe6WWVfM(a,85))
    else:
        return op_oraRL2iQuh(op_tqmm8txHHJ(a,a),448)

def op_count_J4nWiLY50V(a):
    if op_P4ywzuOpaq(a,230) != 391:
        count = op_count_xf6eqZIrT0(a,a)+op_count_d8xe6WWVfM(a,85)+op_count_GZNMAtHQ0A(op_xf6eqZIrT0(a,a),op_d8xe6WWVfM(a,85))+op_count_P4ywzuOpaq(a,230)
    else:
        count = op_count_tqmm8txHHJ(a,a)+op_count_oraRL2iQuh(op_tqmm8txHHJ(a,a),448)
    return count


a∹≒⇪ = { (((≉⊈⨃a)⪄⊣(a⫹≱a))⫧⋃≅((a⊈⨦a)≜⩢⊷(↕a))) , if ((a⩑≃≶444)>309 or (a⊝⪿⪼314)<51) ; ((↩(a⋄⩥∩a))⩞⨑(⩽↽⇦(a∪⫐220))) , else }

def op_SqdwRzdZcl(a):
    if (op_4JQ65aDwPJ(a,444) > 309 or op_3Oe9XWJUTD(a,314) < 51):
        return op_rJlMWXggw2(op_9G2jV8oAtO(op_kNtlGfu7Pf(a),op_syzFGkhusE(a,a)),op_k9T6mMvXeX(op_NCK8ztm4vY(a,a),op_EfmNmIJYrc(a)))
    else:
        return op_gWibIJBsW2(op_jLgFTUHLKL(op_bq0uxnJnnH(a,a)),op_yqSj5wcZ64(op_7YooWSwCyH(a,220)))

def op_count_SqdwRzdZcl(a):
    if (op_4JQ65aDwPJ(a,444) > 309 or op_3Oe9XWJUTD(a,314) < 51):
        count = op_count_kNtlGfu7Pf(a)+op_count_syzFGkhusE(a,a)+op_count_9G2jV8oAtO(op_kNtlGfu7Pf(a),op_syzFGkhusE(a,a))+op_count_NCK8ztm4vY(a,a)+op_count_EfmNmIJYrc(a)+op_count_k9T6mMvXeX(op_NCK8ztm4vY(a,a),op_EfmNmIJYrc(a))+op_count_rJlMWXggw2(op_9G2jV8oAtO(op_kNtlGfu7Pf(a),op_syzFGkhusE(a,a)),op_k9T6mMvXeX(op_NCK8ztm4vY(a,a),op_EfmNmIJYrc(a)))+op_count_4JQ65aDwPJ(a,444)+op_count_3Oe9XWJUTD(a,314)
    else:
        count = op_count_bq0uxnJnnH(a,a)+op_count_jLgFTUHLKL(op_bq0uxnJnnH(a,a))+op_count_7YooWSwCyH(a,220)+op_count_yqSj5wcZ64(op_7YooWSwCyH(a,220))+op_count_gWibIJBsW2(op_jLgFTUHLKL(op_bq0uxnJnnH(a,a)),op_yqSj5wcZ64(op_7YooWSwCyH(a,220)))
    return count


def op_k1GXYZqJ0v(a, b):
    return op_Acnz1HI8Ry(op_iKh8wCAbb7(op_Esodbl1gVe(216,b)),op_UADKszfWxA(op_hv7txCVeHj(a,57)))

def op_count_k1GXYZqJ0v(a, b):
    count = op_count_Esodbl1gVe(216,b)+op_count_iKh8wCAbb7(op_Esodbl1gVe(216,b))+op_count_hv7txCVeHj(a,57)+op_count_UADKszfWxA(op_hv7txCVeHj(a,57))+op_count_Acnz1HI8Ry(op_iKh8wCAbb7(op_Esodbl1gVe(216,b)),op_UADKszfWxA(op_hv7txCVeHj(a,57)))
    return count


def op_iB82WfOahU(a):
    return op_WhqkvtTD3t(op_qDGJMdN0kq(6),a)

def op_count_iB82WfOahU(a):
    count = op_count_qDGJMdN0kq(6)+op_count_WhqkvtTD3t(op_qDGJMdN0kq(6),a)
    return count


⨡≟a = { (((⩬⊰⋒a)⇏⩵⨆(a⫉⋃a))⩕) , if a>=109 ; a , else }

def op_BJ9QgBCFyo(a):
    if a >= 109:
        return op_ztbpxZ3MBw(op_GH46DaXZxO(op_CcwCj3AAlH(a),op_YEzomLoFTT(a,a)))
    else:
        return a

def op_count_BJ9QgBCFyo(a):
    if a >= 109:
        count = op_count_CcwCj3AAlH(a)+op_count_YEzomLoFTT(a,a)+op_count_GH46DaXZxO(op_CcwCj3AAlH(a),op_YEzomLoFTT(a,a))+op_count_ztbpxZ3MBw(op_GH46DaXZxO(op_CcwCj3AAlH(a),op_YEzomLoFTT(a,a)))
    else:
        count = 1
    return count


def op_qpI5PJArq9(a, b):
    return op_XhwjNDsVaA(op_dnsoz1tpAU(op_FaF1PUcip1(b,506),op_QMFrweE19q(a,a)),b)

def op_count_qpI5PJArq9(a, b):
    count = op_count_FaF1PUcip1(b,506)+op_count_QMFrweE19q(a,a)+op_count_dnsoz1tpAU(op_FaF1PUcip1(b,506),op_QMFrweE19q(a,a))+op_count_XhwjNDsVaA(op_dnsoz1tpAU(op_FaF1PUcip1(b,506),op_QMFrweE19q(a,a)),b)
    return count


a⨃⪡⫖b = { (((b≅)⫲≮(a⊫⊐⋞b))⊉(⫓⋮≁(a⪿⇪⊩b))) }

def op_Ow7SWM2pqT(a, b):
    return op_DB9nkKv9Ue(op_3FKzo546dw(op_tgPF6n0bOJ(b),op_IYFFTOGOwC(a,b)),op_9QNY6wq3gX(op_OGWBzMv138(a,b)))

def op_count_Ow7SWM2pqT(a, b):
    count = op_count_tgPF6n0bOJ(b)+op_count_IYFFTOGOwC(a,b)+op_count_3FKzo546dw(op_tgPF6n0bOJ(b),op_IYFFTOGOwC(a,b))+op_count_OGWBzMv138(a,b)+op_count_9QNY6wq3gX(op_OGWBzMv138(a,b))+op_count_DB9nkKv9Ue(op_3FKzo546dw(op_tgPF6n0bOJ(b),op_IYFFTOGOwC(a,b)),op_9QNY6wq3gX(op_OGWBzMv138(a,b)))
    return count


def op_jeYH4Q5Sae(a):
    return op_QmNHwIPJpO(op_TdUTTVKLPU(op_eaFBhJ0Uku(a,a)),op_wV0kDBQWsc(op_sVMiUtOpJT(a,a)))

def op_count_jeYH4Q5Sae(a):
    count = op_count_eaFBhJ0Uku(a,a)+op_count_TdUTTVKLPU(op_eaFBhJ0Uku(a,a))+op_count_sVMiUtOpJT(a,a)+op_count_wV0kDBQWsc(op_sVMiUtOpJT(a,a))+op_count_QmNHwIPJpO(op_TdUTTVKLPU(op_eaFBhJ0Uku(a,a)),op_wV0kDBQWsc(op_sVMiUtOpJT(a,a)))
    return count


def op_zNUNQNp9BF(a, b):
    return op_5ESOiVPbEV(op_YApyZlDuBr(op_HY4jiOqclA(a,b)),op_dma8RTlAAq(op_RafIHr9T3g(a)))

def op_count_zNUNQNp9BF(a, b):
    count = op_count_HY4jiOqclA(a,b)+op_count_YApyZlDuBr(op_HY4jiOqclA(a,b))+op_count_RafIHr9T3g(a)+op_count_dma8RTlAAq(op_RafIHr9T3g(a))+op_count_5ESOiVPbEV(op_YApyZlDuBr(op_HY4jiOqclA(a,b)),op_dma8RTlAAq(op_RafIHr9T3g(a)))
    return count


a⨎⫖b = { (((b⨻28)≣⪪⪧(a⨮⊪⩳a))⫟⫧⇿((b↪⩍⫅a)⇏(b⩵b))) , if (b⇆⩒428)>=80 ; (((⩱⇧≜a)−⩎√(496∬⊓775))⇉((∙↓b)⪚⩣⇆(∮a))) , else }

def op_DnaO8zatMH(a, b):
    if op_jQIFa7kB8p(b,428) >= 80:
        return op_szI9a73H0x(op_7Qh4uK5oHN(op_joCbSVezTg(b,28),op_xgYOZyJC4Q(a,a)),op_PgomNjGXmI(op_MuzqVKJccx(b,a),op_AiZuih6wUj(b,b)))
    else:
        return op_lJ0NnniDH7(op_tW6TlDUxtJ(op_EzIxTvi3nW(a),op_y0qJaDkwff(496,775)),op_hfHSvYrndO(op_9BIxZYmKZo(b),op_CqXKPLVYql(a)))

def op_count_DnaO8zatMH(a, b):
    if op_jQIFa7kB8p(b,428) >= 80:
        count = op_count_joCbSVezTg(b,28)+op_count_xgYOZyJC4Q(a,a)+op_count_7Qh4uK5oHN(op_joCbSVezTg(b,28),op_xgYOZyJC4Q(a,a))+op_count_MuzqVKJccx(b,a)+op_count_AiZuih6wUj(b,b)+op_count_PgomNjGXmI(op_MuzqVKJccx(b,a),op_AiZuih6wUj(b,b))+op_count_szI9a73H0x(op_7Qh4uK5oHN(op_joCbSVezTg(b,28),op_xgYOZyJC4Q(a,a)),op_PgomNjGXmI(op_MuzqVKJccx(b,a),op_AiZuih6wUj(b,b)))+op_count_jQIFa7kB8p(b,428)
    else:
        count = op_count_EzIxTvi3nW(a)+op_count_y0qJaDkwff(496,775)+op_count_tW6TlDUxtJ(op_EzIxTvi3nW(a),op_y0qJaDkwff(496,775))+op_count_9BIxZYmKZo(b)+op_count_CqXKPLVYql(a)+op_count_hfHSvYrndO(op_9BIxZYmKZo(b),op_CqXKPLVYql(a))+op_count_lJ0NnniDH7(op_tW6TlDUxtJ(op_EzIxTvi3nW(a),op_y0qJaDkwff(496,775)),op_hfHSvYrndO(op_9BIxZYmKZo(b),op_CqXKPLVYql(a)))
    return count


def op_JJtIcLWklg(a):
    return op_TPY4Vhd24N(a,a)

def op_count_JJtIcLWklg(a):
    count = op_count_TPY4Vhd24N(a,a)
    return count


def op_mSU5qPexig(a):
    return op_0QEWQRhRpH(a,562)

def op_count_mSU5qPexig(a):
    count = op_count_0QEWQRhRpH(a,562)
    return count


a⇖⊣⪮ = { (32⋂⇧⇘((a⨽⫍a)⩀⫑(a⪷⇙))) , if (a⨋)==424 ; (((a⇭)⫯⩟(∱≗a))⪄((a≕≪∎97)∌↸↾(155⪓↹⇾a))) , else }

def op_0RvmdXweZj(a):
    if op_gBMo9waWS2(a) == 424:
        return op_YjSJMwvp8X(32,op_n9EnWVX4dz(op_ZMV0W12WVe(a,a),op_3UDSo7rmDN(a)))
    else:
        return op_SUmda5xLS4(op_BEh4QBmAc4(op_ZNJwppvr1J(a),op_TLSiz8NPqi(a)),op_q2tj3gAE7H(op_cO8NHD8auo(a,97),op_vs8iUQwOA7(155,a)))

def op_count_0RvmdXweZj(a):
    if op_gBMo9waWS2(a) == 424:
        count = op_count_ZMV0W12WVe(a,a)+op_count_3UDSo7rmDN(a)+op_count_n9EnWVX4dz(op_ZMV0W12WVe(a,a),op_3UDSo7rmDN(a))+op_count_YjSJMwvp8X(32,op_n9EnWVX4dz(op_ZMV0W12WVe(a,a),op_3UDSo7rmDN(a)))+op_count_gBMo9waWS2(a)
    else:
        count = op_count_ZNJwppvr1J(a)+op_count_TLSiz8NPqi(a)+op_count_BEh4QBmAc4(op_ZNJwppvr1J(a),op_TLSiz8NPqi(a))+op_count_cO8NHD8auo(a,97)+op_count_vs8iUQwOA7(155,a)+op_count_q2tj3gAE7H(op_cO8NHD8auo(a,97),op_vs8iUQwOA7(155,a))+op_count_SUmda5xLS4(op_BEh4QBmAc4(op_ZNJwppvr1J(a),op_TLSiz8NPqi(a)),op_q2tj3gAE7H(op_cO8NHD8auo(a,97),op_vs8iUQwOA7(155,a)))
    return count


def op_XcoZvXFTaY(a):
    if a < 174 or op_ftvcUWxNvV(a,957) < 24 or op_EAnnDYaExr(a) < 233:
        return op_nYDe5xJhnr(op_AYjbRmBFQ3(op_oraRL2iQuh(197,a),op_UU3qbpZxb0(a)))
    else:
        return a

def op_count_XcoZvXFTaY(a):
    if a < 174 or op_ftvcUWxNvV(a,957) < 24 or op_EAnnDYaExr(a) < 233:
        count = op_count_oraRL2iQuh(197,a)+op_count_UU3qbpZxb0(a)+op_count_AYjbRmBFQ3(op_oraRL2iQuh(197,a),op_UU3qbpZxb0(a))+op_count_nYDe5xJhnr(op_AYjbRmBFQ3(op_oraRL2iQuh(197,a),op_UU3qbpZxb0(a)))+op_count_ftvcUWxNvV(a,957)+op_count_EAnnDYaExr(a)
    else:
        count = 1
    return count


def op_nuoWhTW6CA(a, b):
    if (b <= 121 and op_meOipXXSDp(b,65) == 114 and op_JuQNioWekr(a,845) > 164):
        return op_12rbrZMWeM(op_KRecZEGPb8(op_GQS1ilwEGl(96,128),op_MKCxaPE9tg(a,b)),op_KFvx0uYMJh(op_nWAGIhSidN(b)))
    else:
        return op_lrx2PmmfOO(op_MRPaB8lBjK(op_SpY9BOyHMp(b)),op_VUHsuanwoc(b))

def op_count_nuoWhTW6CA(a, b):
    if (b <= 121 and op_meOipXXSDp(b,65) == 114 and op_JuQNioWekr(a,845) > 164):
        count = op_count_GQS1ilwEGl(96,128)+op_count_MKCxaPE9tg(a,b)+op_count_KRecZEGPb8(op_GQS1ilwEGl(96,128),op_MKCxaPE9tg(a,b))+op_count_nWAGIhSidN(b)+op_count_KFvx0uYMJh(op_nWAGIhSidN(b))+op_count_12rbrZMWeM(op_KRecZEGPb8(op_GQS1ilwEGl(96,128),op_MKCxaPE9tg(a,b)),op_KFvx0uYMJh(op_nWAGIhSidN(b)))+op_count_meOipXXSDp(b,65)+op_count_JuQNioWekr(a,845)
    else:
        count = op_count_SpY9BOyHMp(b)+op_count_MRPaB8lBjK(op_SpY9BOyHMp(b))+op_count_VUHsuanwoc(b)+op_count_lrx2PmmfOO(op_MRPaB8lBjK(op_SpY9BOyHMp(b)),op_VUHsuanwoc(b))
    return count


a≴∏⪏b = { (a⩢((a⪺⋮b)≫(⫶⊄≣b))) , if (a∢∯)>101 ; (((b⨄∪b)∨≍⨱b)≿((a⇀⪽b)↜⩯⩶(a⫫≠≯a))) , else }

def op_HSrfgE6sGr(a, b):
    if op_00rZeUMtnD(a) > 101:
        return op_xCh8PLxVLz(a,op_fjIpuvyOFL(op_3s7bcXIOLx(a,b),op_wxb3vTeyAj(b)))
    else:
        return op_OeanynyRyO(op_MBVn70KtPJ(op_uz3GelrGYC(b,b),b),op_BUZMbiqx9t(op_2u38eHdNB5(a,b),op_QIASkFMxnv(a,a)))

def op_count_HSrfgE6sGr(a, b):
    if op_00rZeUMtnD(a) > 101:
        count = op_count_3s7bcXIOLx(a,b)+op_count_wxb3vTeyAj(b)+op_count_fjIpuvyOFL(op_3s7bcXIOLx(a,b),op_wxb3vTeyAj(b))+op_count_xCh8PLxVLz(a,op_fjIpuvyOFL(op_3s7bcXIOLx(a,b),op_wxb3vTeyAj(b)))+op_count_00rZeUMtnD(a)
    else:
        count = op_count_uz3GelrGYC(b,b)+op_count_MBVn70KtPJ(op_uz3GelrGYC(b,b),b)+op_count_2u38eHdNB5(a,b)+op_count_QIASkFMxnv(a,a)+op_count_BUZMbiqx9t(op_2u38eHdNB5(a,b),op_QIASkFMxnv(a,a))+op_count_OeanynyRyO(op_MBVn70KtPJ(op_uz3GelrGYC(b,b),b),op_BUZMbiqx9t(op_2u38eHdNB5(a,b),op_QIASkFMxnv(a,a)))
    return count


⨃∩⇫a = { (((⇮∭a)⊰(a⩹∮a))⋾⨅⫦((a⋡∥741)⨯⫼(⊵⊁a))) }

def op_ySZRlUEdJc(a):
    return op_66lcxNmSNf(op_S6anzDtGf9(op_d2ZuDAaqmA(a),op_HZGlijH19F(a,a)),op_FTL9XYvdA1(op_zNFFvkV5QZ(a,741),op_AvED76WdY7(a)))

def op_count_ySZRlUEdJc(a):
    count = op_count_d2ZuDAaqmA(a)+op_count_HZGlijH19F(a,a)+op_count_S6anzDtGf9(op_d2ZuDAaqmA(a),op_HZGlijH19F(a,a))+op_count_zNFFvkV5QZ(a,741)+op_count_AvED76WdY7(a)+op_count_FTL9XYvdA1(op_zNFFvkV5QZ(a,741),op_AvED76WdY7(a))+op_count_66lcxNmSNf(op_S6anzDtGf9(op_d2ZuDAaqmA(a),op_HZGlijH19F(a,a)),op_FTL9XYvdA1(op_zNFFvkV5QZ(a,741),op_AvED76WdY7(a)))
    return count


def op_2ur5dGeeuW(a):
    return op_kvyeM8WEH2(a,196)

def op_count_2ur5dGeeuW(a):
    count = op_count_kvyeM8WEH2(a,196)
    return count


def op_NjcIe6Zi5h(a):
    return op_2TfmgxUuUr(op_J6uwgn6DsM(op_SUmda5xLS4(a,a),op_E7xopLvnHe(a,a)))

def op_count_NjcIe6Zi5h(a):
    count = op_count_SUmda5xLS4(a,a)+op_count_E7xopLvnHe(a,a)+op_count_J6uwgn6DsM(op_SUmda5xLS4(a,a),op_E7xopLvnHe(a,a))+op_count_2TfmgxUuUr(op_J6uwgn6DsM(op_SUmda5xLS4(a,a),op_E7xopLvnHe(a,a)))
    return count


def op_52Rg9MctWk(a):
    return op_hyuBjUqXlG(a,a)

def op_count_52Rg9MctWk(a):
    count = op_count_hyuBjUqXlG(a,a)
    return count


a⫲⩦≂b = { (((b⪬≉b)⫳⫚⇈(228⊸∇b))≶⩊⋊((b⪼⩢⋲177)⩘)) , if (⊆⋠a)>137 ; (((b∻⇻⩪46)≿(a⨠∀⫧a))⋔⪦≖) , else }

def op_La0rJYYuXL(a, b):
    if op_EBhcHTkKd8(a) > 137:
        return op_sFi0oIX7gK(op_InHNDff3xD(op_403lqio1gV(b,b),op_wpd8nos5YA(228,b)),op_wvHyciQT5X(op_4VgzueLoPD(b,177)))
    else:
        return op_qqCp8wnvK0(op_OeanynyRyO(op_VzPwlY6vDh(b,46),op_griT9ijWOv(a,a)))

def op_count_La0rJYYuXL(a, b):
    if op_EBhcHTkKd8(a) > 137:
        count = op_count_403lqio1gV(b,b)+op_count_wpd8nos5YA(228,b)+op_count_InHNDff3xD(op_403lqio1gV(b,b),op_wpd8nos5YA(228,b))+op_count_4VgzueLoPD(b,177)+op_count_wvHyciQT5X(op_4VgzueLoPD(b,177))+op_count_sFi0oIX7gK(op_InHNDff3xD(op_403lqio1gV(b,b),op_wpd8nos5YA(228,b)),op_wvHyciQT5X(op_4VgzueLoPD(b,177)))+op_count_EBhcHTkKd8(a)
    else:
        count = op_count_VzPwlY6vDh(b,46)+op_count_griT9ijWOv(a,a)+op_count_OeanynyRyO(op_VzPwlY6vDh(b,46),op_griT9ijWOv(a,a))+op_count_qqCp8wnvK0(op_OeanynyRyO(op_VzPwlY6vDh(b,46),op_griT9ijWOv(a,a)))
    return count


def op_W9FTkIePxi(a):
    return op_GODebY97qR(op_zFY2A2ppo2(67),op_mCA1Lu4fO6(a,a))

def op_count_W9FTkIePxi(a):
    count = op_count_zFY2A2ppo2(67)+op_count_mCA1Lu4fO6(a,a)+op_count_GODebY97qR(op_zFY2A2ppo2(67),op_mCA1Lu4fO6(a,a))
    return count


def op_uCTTkMSDGi(a):
    if op_4wdLeFtEcX(a) <= 52:
        return op_17vTJqz9Ht(op_EnxiqAYg5D(op_h80m7rOHTQ(567),op_2Yy7IiVHWW(133,a)))
    else:
        return a

def op_count_uCTTkMSDGi(a):
    if op_4wdLeFtEcX(a) <= 52:
        count = op_count_h80m7rOHTQ(567)+op_count_2Yy7IiVHWW(133,a)+op_count_EnxiqAYg5D(op_h80m7rOHTQ(567),op_2Yy7IiVHWW(133,a))+op_count_17vTJqz9Ht(op_EnxiqAYg5D(op_h80m7rOHTQ(567),op_2Yy7IiVHWW(133,a)))+op_count_4wdLeFtEcX(a)
    else:
        count = 1
    return count


↰⊢⪜a = { (⩔⇠∑(⋣a)) , if (⫕⨿a)>15 ; ((a⪎↠a)⫳≱↱(a⊝∲⩰a)) , else }

def op_qm6tduIrUg(a):
    if op_TugJ99jqtG(a) > 15:
        return op_xsU24Rf5qB(op_zQWRhDnn8F(a))
    else:
        return op_ZvLB05nZmT(op_3tVxb0NHM4(a,a),op_UkFG6YBLyt(a,a))

def op_count_qm6tduIrUg(a):
    if op_TugJ99jqtG(a) > 15:
        count = op_count_zQWRhDnn8F(a)+op_count_xsU24Rf5qB(op_zQWRhDnn8F(a))+op_count_TugJ99jqtG(a)
    else:
        count = op_count_3tVxb0NHM4(a,a)+op_count_UkFG6YBLyt(a,a)+op_count_ZvLB05nZmT(op_3tVxb0NHM4(a,a),op_UkFG6YBLyt(a,a))
    return count


def op_kGXD7kUhWz(a):
    return op_STs8eSTo28(op_vwdxqpDU32(a,a))

def op_count_kGXD7kUhWz(a):
    count = op_count_vwdxqpDU32(a,a)+op_count_STs8eSTo28(op_vwdxqpDU32(a,a))
    return count


def op_5FkWpvT4nG(a):
    return op_ZAxGPUPiFl(op_GyZKrXyLmB(a))

def op_count_5FkWpvT4nG(a):
    count = op_count_GyZKrXyLmB(a)+op_count_ZAxGPUPiFl(op_GyZKrXyLmB(a))
    return count


a⩟⇡∉ = { (((a⇛⪮a)⪙⪡)≎⊠⪸a) , if ((a⫉⊍≷344)<31 and (⪴⇀a)<13) ; (((a∄a)⫑⋡(a⨥⨝))⋈((≠a)⩌⨨⨫(a⇫⨙669))) , else }

def op_WNaY3fvy77(a):
    if (op_KCQC7vSPgj(a,344) < 31 and op_2TGWtfCSF0(a) < 13):
        return op_bJkvcejdHO(op_UXm6u3EINg(op_iRVJYj8mGz(a,a)),a)
    else:
        return op_nDybdB13Ph(op_fBv0GnY1At(op_tnyRA5sazQ(a,a),op_kspwAgjjs7(a)),op_3QUG3jHDXB(op_hKrHXgDiso(a),op_5hfPSBHW5r(a,669)))

def op_count_WNaY3fvy77(a):
    if (op_KCQC7vSPgj(a,344) < 31 and op_2TGWtfCSF0(a) < 13):
        count = op_count_iRVJYj8mGz(a,a)+op_count_UXm6u3EINg(op_iRVJYj8mGz(a,a))+op_count_bJkvcejdHO(op_UXm6u3EINg(op_iRVJYj8mGz(a,a)),a)+op_count_KCQC7vSPgj(a,344)+op_count_2TGWtfCSF0(a)
    else:
        count = op_count_tnyRA5sazQ(a,a)+op_count_kspwAgjjs7(a)+op_count_fBv0GnY1At(op_tnyRA5sazQ(a,a),op_kspwAgjjs7(a))+op_count_hKrHXgDiso(a)+op_count_5hfPSBHW5r(a,669)+op_count_3QUG3jHDXB(op_hKrHXgDiso(a),op_5hfPSBHW5r(a,669))+op_count_nDybdB13Ph(op_fBv0GnY1At(op_tnyRA5sazQ(a,a),op_kspwAgjjs7(a)),op_3QUG3jHDXB(op_hKrHXgDiso(a),op_5hfPSBHW5r(a,669)))
    return count


def op_LDd7ey0C1m(a, b):
    return op_PHNdOSUEPW(op_0jCm5pNiJO(a,b),op_PIKqUwW8wB(520))

def op_count_LDd7ey0C1m(a, b):
    count = op_count_0jCm5pNiJO(a,b)+op_count_PIKqUwW8wB(520)+op_count_PHNdOSUEPW(op_0jCm5pNiJO(a,b),op_PIKqUwW8wB(520))
    return count


def op_AImFQV74U5(a):
    return op_k2B77S3vSv(op_PoHhknlbAi(op_pB6Fcnrjim(a),op_l034Y9yrOR(a)))

def op_count_AImFQV74U5(a):
    count = op_count_pB6Fcnrjim(a)+op_count_l034Y9yrOR(a)+op_count_PoHhknlbAi(op_pB6Fcnrjim(a),op_l034Y9yrOR(a))+op_count_k2B77S3vSv(op_PoHhknlbAi(op_pB6Fcnrjim(a),op_l034Y9yrOR(a)))
    return count


⪕⋂a = { (((a⩻⇘⩦a)⪿⪠≾a)⨫⇇↔(⋛⋶a)) , if (a∎⋻⨟653)>=430 ; (((a⫋⊊a)⇵(a⨬a))⊣⊑a) , else }

def op_sIUoP3NSHz(a):
    if op_6VowpqB2XT(a,653) >= 430:
        return op_LXhwmt4mBO(op_SGDLQMSxql(op_BrdKLlllJJ(a,a),a),op_8ZudynJV7e(a))
    else:
        return op_bsbByZDrTG(op_kVSeQakJeK(op_kMX5G63lLu(a,a),op_NsGlVlbNoR(a,a)),a)

def op_count_sIUoP3NSHz(a):
    if op_6VowpqB2XT(a,653) >= 430:
        count = op_count_BrdKLlllJJ(a,a)+op_count_SGDLQMSxql(op_BrdKLlllJJ(a,a),a)+op_count_8ZudynJV7e(a)+op_count_LXhwmt4mBO(op_SGDLQMSxql(op_BrdKLlllJJ(a,a),a),op_8ZudynJV7e(a))+op_count_6VowpqB2XT(a,653)
    else:
        count = op_count_kMX5G63lLu(a,a)+op_count_NsGlVlbNoR(a,a)+op_count_kVSeQakJeK(op_kMX5G63lLu(a,a),op_NsGlVlbNoR(a,a))+op_count_bsbByZDrTG(op_kVSeQakJeK(op_kMX5G63lLu(a,a),op_NsGlVlbNoR(a,a)),a)
    return count


def op_IDkxGAumfq(a):
    return op_QLJ9aFu80N(a,a)

def op_count_IDkxGAumfq(a):
    count = op_count_QLJ9aFu80N(a,a)
    return count


a↡∖b = { (((⪰⇛⪭376)⨑⩅≇(b⪄⨗⋂b))↤(a∖⊫(b⫿⊉))) , if ((a⪜⊁)>11 and (b↧↺⊃)!=252) ; (∂⩏⊆((⋑∠b)⇫≋(b≭∩b))) , else }

def op_uUutRT2kfE(a, b):
    if (op_b7SseGJRgG(a) > 11 and op_WigUGApcQ3(b) != 252):
        return op_jtBAKJz2S7(op_h92wMvzauj(op_FAU4UUhKNM(376),op_BA5ptRLOMP(b,b)),op_xNgZz6XNYQ(a,op_Xz3f2isirc(b)))
    else:
        return op_8WDwsbhb0R(op_7mDgzgOxkj(op_kUU6uY7bNG(b),op_q1J6mXxel7(b,b)))

def op_count_uUutRT2kfE(a, b):
    if (op_b7SseGJRgG(a) > 11 and op_WigUGApcQ3(b) != 252):
        count = op_count_FAU4UUhKNM(376)+op_count_BA5ptRLOMP(b,b)+op_count_h92wMvzauj(op_FAU4UUhKNM(376),op_BA5ptRLOMP(b,b))+op_count_Xz3f2isirc(b)+op_count_xNgZz6XNYQ(a,op_Xz3f2isirc(b))+op_count_jtBAKJz2S7(op_h92wMvzauj(op_FAU4UUhKNM(376),op_BA5ptRLOMP(b,b)),op_xNgZz6XNYQ(a,op_Xz3f2isirc(b)))+op_count_b7SseGJRgG(a)+op_count_WigUGApcQ3(b)
    else:
        count = op_count_kUU6uY7bNG(b)+op_count_q1J6mXxel7(b,b)+op_count_7mDgzgOxkj(op_kUU6uY7bNG(b),op_q1J6mXxel7(b,b))+op_count_8WDwsbhb0R(op_7mDgzgOxkj(op_kUU6uY7bNG(b),op_q1J6mXxel7(b,b)))
    return count


def op_erzJ4MqtTS(a, b):
    return op_CdHlyAwjkr(op_Mu2j9cYKsd(op_sdazOOVcIp(a,b)),op_zcaA4Z4NaO(op_8AQFS2Ajjd(708),op_1iZxVsDXN9(39,362)))

def op_count_erzJ4MqtTS(a, b):
    count = op_count_sdazOOVcIp(a,b)+op_count_Mu2j9cYKsd(op_sdazOOVcIp(a,b))+op_count_8AQFS2Ajjd(708)+op_count_1iZxVsDXN9(39,362)+op_count_zcaA4Z4NaO(op_8AQFS2Ajjd(708),op_1iZxVsDXN9(39,362))+op_count_CdHlyAwjkr(op_Mu2j9cYKsd(op_sdazOOVcIp(a,b)),op_zcaA4Z4NaO(op_8AQFS2Ajjd(708),op_1iZxVsDXN9(39,362)))
    return count


def op_pFnWkjv0aJ(a):
    return op_EstvqV7IEV(op_X99M06cbEe(a))

def op_count_pFnWkjv0aJ(a):
    count = op_count_X99M06cbEe(a)+op_count_EstvqV7IEV(op_X99M06cbEe(a))
    return count


def op_LTDaFcT2HA(a):
    if op_XJI43DGxFi(a) >= 179:
        return op_qL4PrbW1Dq(a)
    else:
        return op_kE9YHawE8s(a,264)

def op_count_LTDaFcT2HA(a):
    if op_XJI43DGxFi(a) >= 179:
        count = op_count_qL4PrbW1Dq(a)+op_count_XJI43DGxFi(a)
    else:
        count = op_count_kE9YHawE8s(a,264)
    return count


def op_wp7aVJRZEA(a):
    return op_rJVOvQCfKK(a,a)

def op_count_wp7aVJRZEA(a):
    count = op_count_rJVOvQCfKK(a,a)
    return count


def op_wF3KebSMNJ(a):
    return op_Bi9z9uYZqW(op_V3Robn58tk(a,a))

def op_count_wF3KebSMNJ(a):
    count = op_count_V3Robn58tk(a,a)+op_count_Bi9z9uYZqW(op_V3Robn58tk(a,a))
    return count


a⇌∀b = { b , if a==38 ; (((b⪙⊵⇷64)⩮⊘↞(a⨫⇇↔b))⋧∎⨊((b⫖⩥b)↜⇎⇭(b⨣∐↬b))) , else }

def op_XONPy1BCje(a, b):
    if a == 38:
        return b
    else:
        return op_jvKnzH5Wrf(op_Qqyumcscty(op_cZPC5xccNd(b,64),op_LXhwmt4mBO(a,b)),op_HZSpWngSsm(op_ftvcUWxNvV(b,b),op_UpkSd4zESC(b,b)))

def op_count_XONPy1BCje(a, b):
    if a == 38:
        count = 1
    else:
        count = op_count_cZPC5xccNd(b,64)+op_count_LXhwmt4mBO(a,b)+op_count_Qqyumcscty(op_cZPC5xccNd(b,64),op_LXhwmt4mBO(a,b))+op_count_ftvcUWxNvV(b,b)+op_count_UpkSd4zESC(b,b)+op_count_HZSpWngSsm(op_ftvcUWxNvV(b,b),op_UpkSd4zESC(b,b))+op_count_jvKnzH5Wrf(op_Qqyumcscty(op_cZPC5xccNd(b,64),op_LXhwmt4mBO(a,b)),op_HZSpWngSsm(op_ftvcUWxNvV(b,b),op_UpkSd4zESC(b,b)))
    return count


def op_8T0b78JSGG(a):
    return op_ZuWTEsGw6f(op_j6xpuCeBbW(a),op_UgJUmNBkC4(a))

def op_count_8T0b78JSGG(a):
    count = op_count_j6xpuCeBbW(a)+op_count_UgJUmNBkC4(a)+op_count_ZuWTEsGw6f(op_j6xpuCeBbW(a),op_UgJUmNBkC4(a))
    return count


def op_Wgo2X3D0xx(a, b):
    return op_lDgtejlvTV(op_C8AGOwLzL7(a),op_YaB1w09lmH(b,589))

def op_count_Wgo2X3D0xx(a, b):
    count = op_count_C8AGOwLzL7(a)+op_count_YaB1w09lmH(b,589)+op_count_lDgtejlvTV(op_C8AGOwLzL7(a),op_YaB1w09lmH(b,589))
    return count


a∧⪖ = { ((121⪋⫼⪧(⋯↷a))⨑⩅≇((a⩂a)∔∭⪄(↙⩵⋊a))) }

def op_xblkPW0C63(a):
    return op_h92wMvzauj(op_KLMV3Z6VVJ(121,op_lyvGaJdF94(a)),op_FYxAUuNJ3U(op_CfxG4j8dfZ(a,a),op_tx9xvuZCgf(a)))

def op_count_xblkPW0C63(a):
    count = op_count_lyvGaJdF94(a)+op_count_KLMV3Z6VVJ(121,op_lyvGaJdF94(a))+op_count_CfxG4j8dfZ(a,a)+op_count_tx9xvuZCgf(a)+op_count_FYxAUuNJ3U(op_CfxG4j8dfZ(a,a),op_tx9xvuZCgf(a))+op_count_h92wMvzauj(op_KLMV3Z6VVJ(121,op_lyvGaJdF94(a)),op_FYxAUuNJ3U(op_CfxG4j8dfZ(a,a),op_tx9xvuZCgf(a)))
    return count


a↤⊨≺b = { a , if a!=64 ; (↠⨻⇳(↖∇⇑b)) , else }

def op_YKEMnvSqgs(a, b):
    if a != 64:
        return a
    else:
        return op_x6DEqRu9vc(op_th50nGnoUm(b))

def op_count_YKEMnvSqgs(a, b):
    if a != 64:
        count = 1
    else:
        count = op_count_th50nGnoUm(b)+op_count_x6DEqRu9vc(op_th50nGnoUm(b))
    return count


def op_Q5bgdBQkOv(a):
    return op_IOQom0VbAc(op_dUpriDnGP5(136,a),op_xgB3tWPdtm(a,a))

def op_count_Q5bgdBQkOv(a):
    count = op_count_dUpriDnGP5(136,a)+op_count_xgB3tWPdtm(a,a)+op_count_IOQom0VbAc(op_dUpriDnGP5(136,a),op_xgB3tWPdtm(a,a))
    return count


a-⩻⫨b = { (b⊭∹↮) , if (b⇓347)!=22 and (b⫒↥⩼)<=159 and (b⋧∎⨊376)<41 ; (a↫⇙↺a) , else }

def op_PJy3UKdmZA(a, b):
    if op_TyhCdZMmeC(b,347) != 22 and op_jmnE7SUc7n(b) <= 159 and op_jvKnzH5Wrf(b,376) < 41:
        return op_xNBdhnnwKq(b)
    else:
        return op_xRBuNLHaeO(a,a)

def op_count_PJy3UKdmZA(a, b):
    if op_TyhCdZMmeC(b,347) != 22 and op_jmnE7SUc7n(b) <= 159 and op_jvKnzH5Wrf(b,376) < 41:
        count = op_count_xNBdhnnwKq(b)+op_count_TyhCdZMmeC(b,347)+op_count_jmnE7SUc7n(b)+op_count_jvKnzH5Wrf(b,376)
    else:
        count = op_count_xRBuNLHaeO(a,a)
    return count


a∪⇉b = { ((b∇⫙a)⋻⊵(b⩛⫝a)) , if (b∑⊏868)<117 and (a⪻)>71 ; ((126⋦↿⇨b)⇉⇱⇎) , else }

def op_GhV2CxyjiW(a, b):
    if op_6dpzsyEjuz(b,868) < 117 and op_KYIJhKMuxi(a) > 71:
        return op_Gul2kBmyZM(op_L1HhCB6FLx(b,a),op_otmuWEGPTu(b,a))
    else:
        return op_MRPaB8lBjK(op_WrOUkiTiko(126,b))

def op_count_GhV2CxyjiW(a, b):
    if op_6dpzsyEjuz(b,868) < 117 and op_KYIJhKMuxi(a) > 71:
        count = op_count_L1HhCB6FLx(b,a)+op_count_otmuWEGPTu(b,a)+op_count_Gul2kBmyZM(op_L1HhCB6FLx(b,a),op_otmuWEGPTu(b,a))+op_count_6dpzsyEjuz(b,868)+op_count_KYIJhKMuxi(a)
    else:
        count = op_count_WrOUkiTiko(126,b)+op_count_MRPaB8lBjK(op_WrOUkiTiko(126,b))
    return count


def op_iPzKFVPbR0(a, b):
    if op_u7GmA9CWxF(a) < 286 or op_lLg6KFppdz(b,526) > 223 or op_bkrCwORtsm(b) <= 14:
        return op_BKLvChGpzJ(op_R5BlhskJds(op_HmxsFra2vL(281,b),op_WR6HLWljOP(a,a)))
    else:
        return op_zNymfbJ47P(op_dtPJiPwKOd(op_f8TJb0vaMc(b,b)))

def op_count_iPzKFVPbR0(a, b):
    if op_u7GmA9CWxF(a) < 286 or op_lLg6KFppdz(b,526) > 223 or op_bkrCwORtsm(b) <= 14:
        count = op_count_HmxsFra2vL(281,b)+op_count_WR6HLWljOP(a,a)+op_count_R5BlhskJds(op_HmxsFra2vL(281,b),op_WR6HLWljOP(a,a))+op_count_BKLvChGpzJ(op_R5BlhskJds(op_HmxsFra2vL(281,b),op_WR6HLWljOP(a,a)))+op_count_u7GmA9CWxF(a)+op_count_lLg6KFppdz(b,526)+op_count_bkrCwORtsm(b)
    else:
        count = op_count_f8TJb0vaMc(b,b)+op_count_dtPJiPwKOd(op_f8TJb0vaMc(b,b))+op_count_zNymfbJ47P(op_dtPJiPwKOd(op_f8TJb0vaMc(b,b)))
    return count


def op_M0spx1iEew(a):
    return op_oW1cUEY5Sq(op_QIRSbgWmJm(op_L05ObWFQCd(1,a)),op_JRqKiIdTS7(op_TFdbvXreUq(258,a)))

def op_count_M0spx1iEew(a):
    count = op_count_L05ObWFQCd(1,a)+op_count_QIRSbgWmJm(op_L05ObWFQCd(1,a))+op_count_TFdbvXreUq(258,a)+op_count_JRqKiIdTS7(op_TFdbvXreUq(258,a))+op_count_oW1cUEY5Sq(op_QIRSbgWmJm(op_L05ObWFQCd(1,a)),op_JRqKiIdTS7(op_TFdbvXreUq(258,a)))
    return count


a∢⫮≞b = { (35⋛≐a) , if (⫿⨺a)>=35 ; (⫎b) , else }

def op_NV1XkC78JZ(a, b):
    if op_mmv5UHiqV1(a) >= 35:
        return op_B7jD7820sf(35,a)
    else:
        return op_j27Jgf5Byt(b)

def op_count_NV1XkC78JZ(a, b):
    if op_mmv5UHiqV1(a) >= 35:
        count = op_count_B7jD7820sf(35,a)+op_count_mmv5UHiqV1(a)
    else:
        count = op_count_j27Jgf5Byt(b)
    return count


def op_B81rkFNEQl(a):
    if (op_lin3q9QJS5(a) == 231 and op_5c10mcanly(a) > 159):
        return op_0MmFDdeb7B(op_Tgte3JtaA5(a),op_rW0uBYiax0(a,a))
    else:
        return op_UqFzSgLMvQ(op_3lnCICep6t(189,a))

def op_count_B81rkFNEQl(a):
    if (op_lin3q9QJS5(a) == 231 and op_5c10mcanly(a) > 159):
        count = op_count_Tgte3JtaA5(a)+op_count_rW0uBYiax0(a,a)+op_count_0MmFDdeb7B(op_Tgte3JtaA5(a),op_rW0uBYiax0(a,a))+op_count_lin3q9QJS5(a)+op_count_5c10mcanly(a)
    else:
        count = op_count_3lnCICep6t(189,a)+op_count_UqFzSgLMvQ(op_3lnCICep6t(189,a))
    return count


def op_ZIn1xnwsz5(a):
    return op_0FYYz8fFRr(op_S3pNg7gwuQ(op_HrjLwUk87U(476,379),op_9kyI0w1glK(a,a)),op_miu0bRYLYP(op_lin3q9QJS5(a),op_Tl3Y52tvF8(a)))

def op_count_ZIn1xnwsz5(a):
    count = op_count_HrjLwUk87U(476,379)+op_count_9kyI0w1glK(a,a)+op_count_S3pNg7gwuQ(op_HrjLwUk87U(476,379),op_9kyI0w1glK(a,a))+op_count_lin3q9QJS5(a)+op_count_Tl3Y52tvF8(a)+op_count_miu0bRYLYP(op_lin3q9QJS5(a),op_Tl3Y52tvF8(a))+op_count_0FYYz8fFRr(op_S3pNg7gwuQ(op_HrjLwUk87U(476,379),op_9kyI0w1glK(a,a)),op_miu0bRYLYP(op_lin3q9QJS5(a),op_Tl3Y52tvF8(a)))
    return count


def op_HWmiEjppfN(a):
    return op_l07mrZUIn9(op_bqn6BngAyz(op_VetzYauijD(a,175),op_XbS5ZYc6Zn(a)))

def op_count_HWmiEjppfN(a):
    count = op_count_VetzYauijD(a,175)+op_count_XbS5ZYc6Zn(a)+op_count_bqn6BngAyz(op_VetzYauijD(a,175),op_XbS5ZYc6Zn(a))+op_count_l07mrZUIn9(op_bqn6BngAyz(op_VetzYauijD(a,175),op_XbS5ZYc6Zn(a)))
    return count


def op_BPaCcFBkCD(a):
    return op_6o9Blt3TJ6(op_JI6Y01kM0I(a,a),op_grHKJW0KEs(a))

def op_count_BPaCcFBkCD(a):
    count = op_count_JI6Y01kM0I(a,a)+op_count_grHKJW0KEs(a)+op_count_6o9Blt3TJ6(op_JI6Y01kM0I(a,a),op_grHKJW0KEs(a))
    return count


a⨍⩫b = { (b⊩∰⋧493) , if (↓⪌⩇a)!=303 ; (≈⩪b) , else }

def op_8aV2jGlZem(a, b):
    if op_4h8vc4SGqo(a) != 303:
        return op_icxKCO3nOu(b,493)
    else:
        return op_STs8eSTo28(b)

def op_count_8aV2jGlZem(a, b):
    if op_4h8vc4SGqo(a) != 303:
        count = op_count_icxKCO3nOu(b,493)+op_count_4h8vc4SGqo(a)
    else:
        count = op_count_STs8eSTo28(b)
    return count


def op_fMZ7mhYB2n(a):
    return op_MiD56F0FLc(op_tYr37UhHCW(a,a),op_9ICcGScMcE(a))

def op_count_fMZ7mhYB2n(a):
    count = op_count_tYr37UhHCW(a,a)+op_count_9ICcGScMcE(a)+op_count_MiD56F0FLc(op_tYr37UhHCW(a,a),op_9ICcGScMcE(a))
    return count


def op_Ew9mx34HQE(a):
    if op_7XyOaozCdT(a) < 123:
        return op_G9tJMlZ94a(378)
    else:
        return a

def op_count_Ew9mx34HQE(a):
    if op_7XyOaozCdT(a) < 123:
        count = op_count_G9tJMlZ94a(378)+op_count_7XyOaozCdT(a)
    else:
        count = 1
    return count


def op_PKukPltB9T(a, b):
    return op_HKBRh2t2ub(op_Dxm0Pjg1g3(op_hyuBjUqXlG(a,b)))

def op_count_PKukPltB9T(a, b):
    count = op_count_hyuBjUqXlG(a,b)+op_count_Dxm0Pjg1g3(op_hyuBjUqXlG(a,b))+op_count_HKBRh2t2ub(op_Dxm0Pjg1g3(op_hyuBjUqXlG(a,b)))
    return count


def op_TydZa59FXw(a):
    if op_iZahWpvE1f(a) < 374 or op_gBAN53NepD(a) < 392 or a < 333:
        return 55
    else:
        return op_OfugFTrv6S(op_gCnWojhG97(14))

def op_count_TydZa59FXw(a):
    if op_iZahWpvE1f(a) < 374 or op_gBAN53NepD(a) < 392 or a < 333:
        count = op_count_iZahWpvE1f(a)+op_count_gBAN53NepD(a)
    else:
        count = op_count_gCnWojhG97(14)+op_count_OfugFTrv6S(op_gCnWojhG97(14))
    return count


def op_u3IRIVQQRg(a):
    return op_3ZAiUOk8Uv(op_1iZxVsDXN9(op_9G2jV8oAtO(a,a),op_1pJ76SN1ns(a)),a)

def op_count_u3IRIVQQRg(a):
    count = op_count_9G2jV8oAtO(a,a)+op_count_1pJ76SN1ns(a)+op_count_1iZxVsDXN9(op_9G2jV8oAtO(a,a),op_1pJ76SN1ns(a))+op_count_3ZAiUOk8Uv(op_1iZxVsDXN9(op_9G2jV8oAtO(a,a),op_1pJ76SN1ns(a)),a)
    return count


a⪥≪⇒b = { (((b≮≗⫂a)⪋⪉(b↱⪃↡a))⨇⇪(≱⇩⩕(945⨀⨰⊫b))) , if (a⩂⋒)>274 ; (((b⇰⪁b)⫟↡(a⨺⪴a))≧⫂∧(∔(a⇫∛⊐a))) , else }

def op_mLaDX6ri0K(a, b):
    if op_41vn2ZCtkK(a) > 274:
        return op_6YFxES5t3G(op_SWbPh9106B(op_P5jP6ymN6L(b,a),op_0MhWYBQRkt(b,a)),op_3DZMoQKiUl(op_Gl4WN4Uwdx(945,b)))
    else:
        return op_Ph9nP6C5qx(op_Vb2KBMmg4y(op_IiHovbkX1w(b,b),op_v9KVZbcFsa(a,a)),op_mM1ZLUZGNx(op_fbEriRfOkh(a,a)))

def op_count_mLaDX6ri0K(a, b):
    if op_41vn2ZCtkK(a) > 274:
        count = op_count_P5jP6ymN6L(b,a)+op_count_0MhWYBQRkt(b,a)+op_count_SWbPh9106B(op_P5jP6ymN6L(b,a),op_0MhWYBQRkt(b,a))+op_count_Gl4WN4Uwdx(945,b)+op_count_3DZMoQKiUl(op_Gl4WN4Uwdx(945,b))+op_count_6YFxES5t3G(op_SWbPh9106B(op_P5jP6ymN6L(b,a),op_0MhWYBQRkt(b,a)),op_3DZMoQKiUl(op_Gl4WN4Uwdx(945,b)))+op_count_41vn2ZCtkK(a)
    else:
        count = op_count_IiHovbkX1w(b,b)+op_count_v9KVZbcFsa(a,a)+op_count_Vb2KBMmg4y(op_IiHovbkX1w(b,b),op_v9KVZbcFsa(a,a))+op_count_fbEriRfOkh(a,a)+op_count_mM1ZLUZGNx(op_fbEriRfOkh(a,a))+op_count_Ph9nP6C5qx(op_Vb2KBMmg4y(op_IiHovbkX1w(b,b),op_v9KVZbcFsa(a,a)),op_mM1ZLUZGNx(op_fbEriRfOkh(a,a)))
    return count


def op_IGRFT9uscS(a):
    return op_hkd0AjIQJB(op_R75JuolGUV(a,a),op_8HhzD0ZcuI(a,74))

def op_count_IGRFT9uscS(a):
    count = op_count_R75JuolGUV(a,a)+op_count_8HhzD0ZcuI(a,74)+op_count_hkd0AjIQJB(op_R75JuolGUV(a,a),op_8HhzD0ZcuI(a,74))
    return count


a⫚↽⫃b = { ((a≃⋄)⩚⊥⨞) , if (∌⇗b)<=196 ; ((⇋↷b)⨦⨚∂(b⨖b)) , else }

def op_C1PIbbV0Fo(a, b):
    if op_jOLWJh9ixj(b) <= 196:
        return op_4zmgO5IZPg(op_aN9a90urxU(a))
    else:
        return op_RpQvJizf4x(op_SWo3A1KBJH(b),op_73CxnrUli8(b,b))

def op_count_C1PIbbV0Fo(a, b):
    if op_jOLWJh9ixj(b) <= 196:
        count = op_count_aN9a90urxU(a)+op_count_4zmgO5IZPg(op_aN9a90urxU(a))+op_count_jOLWJh9ixj(b)
    else:
        count = op_count_SWo3A1KBJH(b)+op_count_73CxnrUli8(b,b)+op_count_RpQvJizf4x(op_SWo3A1KBJH(b),op_73CxnrUli8(b,b))
    return count


def op_V3O3Ciy4uO(a):
    return op_QLJ9aFu80N(op_eIba4BG3xN(a),op_Lctt7tVaRL(503,a))

def op_count_V3O3Ciy4uO(a):
    count = op_count_eIba4BG3xN(a)+op_count_Lctt7tVaRL(503,a)+op_count_QLJ9aFu80N(op_eIba4BG3xN(a),op_Lctt7tVaRL(503,a))
    return count


a≨⩚⋠b = { (≺⨵((a≱∛b)⨣(a⊤∬a))) , if (a⋛≏⋸)!=34 ; (((608−⩠⩊a)⊨⫯↵(≦a))⪩≅((b⨲⩺a)≢⨮⊬(47↙↷a))) , else }

def op_nVrtwXAeRc(a, b):
    if op_Y3qrs0M54z(a) != 34:
        return op_OfugFTrv6S(op_5ClX4R8SjJ(op_qFXstJKlZD(a,b),op_5WBlwMsBj2(a,a)))
    else:
        return op_TFdbvXreUq(op_5UdJKhy29U(op_xAdqek1hDd(608,a),op_RPa3726CSl(a)),op_bZVfxpBV3i(op_0jym0dg8K8(b,a),op_j8STMlMTgO(47,a)))

def op_count_nVrtwXAeRc(a, b):
    if op_Y3qrs0M54z(a) != 34:
        count = op_count_qFXstJKlZD(a,b)+op_count_5WBlwMsBj2(a,a)+op_count_5ClX4R8SjJ(op_qFXstJKlZD(a,b),op_5WBlwMsBj2(a,a))+op_count_OfugFTrv6S(op_5ClX4R8SjJ(op_qFXstJKlZD(a,b),op_5WBlwMsBj2(a,a)))+op_count_Y3qrs0M54z(a)
    else:
        count = op_count_xAdqek1hDd(608,a)+op_count_RPa3726CSl(a)+op_count_5UdJKhy29U(op_xAdqek1hDd(608,a),op_RPa3726CSl(a))+op_count_0jym0dg8K8(b,a)+op_count_j8STMlMTgO(47,a)+op_count_bZVfxpBV3i(op_0jym0dg8K8(b,a),op_j8STMlMTgO(47,a))+op_count_TFdbvXreUq(op_5UdJKhy29U(op_xAdqek1hDd(608,a),op_RPa3726CSl(a)),op_bZVfxpBV3i(op_0jym0dg8K8(b,a),op_j8STMlMTgO(47,a)))
    return count


a⩷⊢b = { (((31⨮⊪⩳77)⪗⪦⨯(a⨍∆a))∫⩸((a⪆⪤⊀505)⇄⪻(a⫘⨞))) , if ((≅↽∆b)>220 or (⇾⇔⋮a)<283) ; (((a⇃⪼a)⪯⋧↷(a⫛≵→b))∛⇕((⇲⪙⋟a)⊀⋬↔(432⩁))) , else }

def op_CNVW3SqGit(a, b):
    if (op_I0zrp2dgMk(b) > 220 or op_TJRgAX2Xy2(a) < 283):
        return op_OpIL6DGFIM(op_C6huvSECWb(op_xgYOZyJC4Q(31,77),op_qlIXcggVCe(a,a)),op_EqdHc83poM(op_fv7bIrfzMN(a,505),op_7h947DXYV5(a)))
    else:
        return op_Gf27X6JpjG(op_CY7sw4XNp1(op_KfHK9LWpY5(a,a),op_bvqU1ecX5M(a,b)),op_MduqJzDb6X(op_4OifspQZBV(a),op_5GqDbVmqXU(432)))

def op_count_CNVW3SqGit(a, b):
    if (op_I0zrp2dgMk(b) > 220 or op_TJRgAX2Xy2(a) < 283):
        count = op_count_xgYOZyJC4Q(31,77)+op_count_qlIXcggVCe(a,a)+op_count_C6huvSECWb(op_xgYOZyJC4Q(31,77),op_qlIXcggVCe(a,a))+op_count_fv7bIrfzMN(a,505)+op_count_7h947DXYV5(a)+op_count_EqdHc83poM(op_fv7bIrfzMN(a,505),op_7h947DXYV5(a))+op_count_OpIL6DGFIM(op_C6huvSECWb(op_xgYOZyJC4Q(31,77),op_qlIXcggVCe(a,a)),op_EqdHc83poM(op_fv7bIrfzMN(a,505),op_7h947DXYV5(a)))+op_count_I0zrp2dgMk(b)+op_count_TJRgAX2Xy2(a)
    else:
        count = op_count_KfHK9LWpY5(a,a)+op_count_bvqU1ecX5M(a,b)+op_count_CY7sw4XNp1(op_KfHK9LWpY5(a,a),op_bvqU1ecX5M(a,b))+op_count_4OifspQZBV(a)+op_count_5GqDbVmqXU(432)+op_count_MduqJzDb6X(op_4OifspQZBV(a),op_5GqDbVmqXU(432))+op_count_Gf27X6JpjG(op_CY7sw4XNp1(op_KfHK9LWpY5(a,a),op_bvqU1ecX5M(a,b)),op_MduqJzDb6X(op_4OifspQZBV(a),op_5GqDbVmqXU(432)))
    return count


def op_1kEBgkiUNU(a):
    return op_j9kHMeSvPp(op_ZkTErvSsVl(a,a),op_ixc2Esl5RP(a))

def op_count_1kEBgkiUNU(a):
    count = op_count_ZkTErvSsVl(a,a)+op_count_ixc2Esl5RP(a)+op_count_j9kHMeSvPp(op_ZkTErvSsVl(a,a),op_ixc2Esl5RP(a))
    return count


a↲⋇⇰ = { ((0⋗↱a)↪⪝) , if a>=98 ; (⩆⇋(≄⫴a)) , else }

def op_BuILyVhHs9(a):
    if a >= 98:
        return op_l07mrZUIn9(op_ks8apemKCz(0,a))
    else:
        return op_IjUb3wyICU(op_AWqR6RccGN(a))

def op_count_BuILyVhHs9(a):
    if a >= 98:
        count = op_count_ks8apemKCz(0,a)+op_count_l07mrZUIn9(op_ks8apemKCz(0,a))
    else:
        count = op_count_AWqR6RccGN(a)+op_count_IjUb3wyICU(op_AWqR6RccGN(a))
    return count


def op_KXleXAADf4(a):
    return op_sJAwomhLZr(op_KtiOaQIiP4(a))

def op_count_KXleXAADf4(a):
    count = op_count_KtiOaQIiP4(a)+op_count_sJAwomhLZr(op_KtiOaQIiP4(a))
    return count


a⋁⫌b = { (⫤(b↖⪢⋶)) , if (a∀⊥⇻)<=42 ; ((b⋘⋱651)⊇⫘⪍a) , else }

def op_uIQPaHHdVQ(a, b):
    if op_k4iM1060OG(a) <= 42:
        return op_ii6Blt532R(op_PFXS2rZOZy(b))
    else:
        return op_dUpriDnGP5(op_70gRa6EccN(b,651),a)

def op_count_uIQPaHHdVQ(a, b):
    if op_k4iM1060OG(a) <= 42:
        count = op_count_PFXS2rZOZy(b)+op_count_ii6Blt532R(op_PFXS2rZOZy(b))+op_count_k4iM1060OG(a)
    else:
        count = op_count_70gRa6EccN(b,651)+op_count_dUpriDnGP5(op_70gRa6EccN(b,651),a)
    return count


a↺∓≲ = { ((⋅⩆↔a)∲↓≵) }

def op_fq7H3HeIEr(a):
    return op_M2pIAIy88N(op_20hv3wdH5D(a))

def op_count_fq7H3HeIEr(a):
    count = op_count_20hv3wdH5D(a)+op_count_M2pIAIy88N(op_20hv3wdH5D(a))
    return count


a⨷∲b = { (580⫟⫧⇿b) , if (a⨴≄⊁)>18 ; (a↭⋂b) , else }

def op_y1XfmXroNr(a, b):
    if op_3A4HHuzcAZ(a) > 18:
        return op_szI9a73H0x(580,b)
    else:
        return op_Acnz1HI8Ry(a,b)

def op_count_y1XfmXroNr(a, b):
    if op_3A4HHuzcAZ(a) > 18:
        count = op_count_szI9a73H0x(580,b)+op_count_3A4HHuzcAZ(a)
    else:
        count = op_count_Acnz1HI8Ry(a,b)
    return count


def op_itbFJNngdV(a, b):
    return op_eevbwfw6pN(op_D4e1cgsuJu(op_W7L2oCKInH(b,59),op_FnVB2mpEQa(a)))

def op_count_itbFJNngdV(a, b):
    count = op_count_W7L2oCKInH(b,59)+op_count_FnVB2mpEQa(a)+op_count_D4e1cgsuJu(op_W7L2oCKInH(b,59),op_FnVB2mpEQa(a))+op_count_eevbwfw6pN(op_D4e1cgsuJu(op_W7L2oCKInH(b,59),op_FnVB2mpEQa(a)))
    return count


a⪠⋋b = { (((239∾−59)⪈(b∽a))⋘⋱((a⫃56)⩡(b⊃⋓b))) , if a>104 ; ((b⩄⫧∩(b⇏b))≩⫓((b⪭≽⪚b)∢(a⨄))) , else }

def op_vpnlV8YnDh(a, b):
    if a > 104:
        return op_70gRa6EccN(op_y16C4hJIbn(op_V0u2OkZBsS(239,59),op_y4ImoPnbV5(b,a)),op_G4EbQfwSm2(op_jkca4M7ITL(a,56),op_UdJFuQTeHN(b,b)))
    else:
        return op_dS3vmXYzMr(op_x91QhENKPJ(b,op_PgomNjGXmI(b,b)),op_FSasnAb2iR(op_eY5BGNLxQI(b,b),op_H7f1qksvrC(a)))

def op_count_vpnlV8YnDh(a, b):
    if a > 104:
        count = op_count_V0u2OkZBsS(239,59)+op_count_y4ImoPnbV5(b,a)+op_count_y16C4hJIbn(op_V0u2OkZBsS(239,59),op_y4ImoPnbV5(b,a))+op_count_jkca4M7ITL(a,56)+op_count_UdJFuQTeHN(b,b)+op_count_G4EbQfwSm2(op_jkca4M7ITL(a,56),op_UdJFuQTeHN(b,b))+op_count_70gRa6EccN(op_y16C4hJIbn(op_V0u2OkZBsS(239,59),op_y4ImoPnbV5(b,a)),op_G4EbQfwSm2(op_jkca4M7ITL(a,56),op_UdJFuQTeHN(b,b)))
    else:
        count = op_count_PgomNjGXmI(b,b)+op_count_x91QhENKPJ(b,op_PgomNjGXmI(b,b))+op_count_eY5BGNLxQI(b,b)+op_count_H7f1qksvrC(a)+op_count_FSasnAb2iR(op_eY5BGNLxQI(b,b),op_H7f1qksvrC(a))+op_count_dS3vmXYzMr(op_x91QhENKPJ(b,op_PgomNjGXmI(b,b)),op_FSasnAb2iR(op_eY5BGNLxQI(b,b),op_H7f1qksvrC(a)))
    return count


def op_hdtahISkNu(a):
    return op_JKhKCqropJ(op_WYd1w68Nbz(op_PQ5jInepzR(a,a)),op_Utw2DgmeAM(a))

def op_count_hdtahISkNu(a):
    count = op_count_PQ5jInepzR(a,a)+op_count_WYd1w68Nbz(op_PQ5jInepzR(a,a))+op_count_Utw2DgmeAM(a)+op_count_JKhKCqropJ(op_WYd1w68Nbz(op_PQ5jInepzR(a,a)),op_Utw2DgmeAM(a))
    return count


def op_TRbsNyEsEI(a):
    return op_kSF6tTRmc5(244,op_Es8UyEPW03(op_LhKFc5N9Ux(a),op_Gl4WN4Uwdx(391,a)))

def op_count_TRbsNyEsEI(a):
    count = op_count_LhKFc5N9Ux(a)+op_count_Gl4WN4Uwdx(391,a)+op_count_Es8UyEPW03(op_LhKFc5N9Ux(a),op_Gl4WN4Uwdx(391,a))+op_count_kSF6tTRmc5(244,op_Es8UyEPW03(op_LhKFc5N9Ux(a),op_Gl4WN4Uwdx(391,a)))
    return count


def op_2dZEkcUgpG(a, b):
    return op_L1HhCB6FLx(op_1NCu7utSrV(op_qlIXcggVCe(220,a),op_qmQdYVJtpo(a,700)),b)

def op_count_2dZEkcUgpG(a, b):
    count = op_count_qlIXcggVCe(220,a)+op_count_qmQdYVJtpo(a,700)+op_count_1NCu7utSrV(op_qlIXcggVCe(220,a),op_qmQdYVJtpo(a,700))+op_count_L1HhCB6FLx(op_1NCu7utSrV(op_qlIXcggVCe(220,a),op_qmQdYVJtpo(a,700)),b)
    return count


def op_ni4ObMNphn(a):
    return op_PoHhknlbAi(op_CY7sw4XNp1(op_vaH8QgiDVg(19),op_uFcxV4UQCh(a,a)),a)

def op_count_ni4ObMNphn(a):
    count = op_count_vaH8QgiDVg(19)+op_count_uFcxV4UQCh(a,a)+op_count_CY7sw4XNp1(op_vaH8QgiDVg(19),op_uFcxV4UQCh(a,a))+op_count_PoHhknlbAi(op_CY7sw4XNp1(op_vaH8QgiDVg(19),op_uFcxV4UQCh(a,a)),a)
    return count


def op_3P7KFjeFX8(a):
    return op_vvkWjlpPOH(op_Loh9y4A90B(op_y2kQTS4a70(a,a)))

def op_count_3P7KFjeFX8(a):
    count = op_count_y2kQTS4a70(a,a)+op_count_Loh9y4A90B(op_y2kQTS4a70(a,a))+op_count_vvkWjlpPOH(op_Loh9y4A90B(op_y2kQTS4a70(a,a)))
    return count


def op_T4Ba2tOC6b(a):
    return op_R75JuolGUV(op_NdELin8EPX(op_UoVew8f2p2(a,a),op_Wm7LHi3c8p(a)),op_eupb9vlVPb(op_QnvrtN8efL(a,a)))

def op_count_T4Ba2tOC6b(a):
    count = op_count_UoVew8f2p2(a,a)+op_count_Wm7LHi3c8p(a)+op_count_NdELin8EPX(op_UoVew8f2p2(a,a),op_Wm7LHi3c8p(a))+op_count_QnvrtN8efL(a,a)+op_count_eupb9vlVPb(op_QnvrtN8efL(a,a))+op_count_R75JuolGUV(op_NdELin8EPX(op_UoVew8f2p2(a,a),op_Wm7LHi3c8p(a)),op_eupb9vlVPb(op_QnvrtN8efL(a,a)))
    return count


def op_cKNaSs24F6(a):
    return op_H7f1qksvrC(op_sI3WE0f3wC(272,a))

def op_count_cKNaSs24F6(a):
    count = op_count_sI3WE0f3wC(272,a)+op_count_H7f1qksvrC(op_sI3WE0f3wC(272,a))
    return count


def op_8damnDlvQO(a, b):
    return op_ET0KLvfdmE(op_3TAF4R0zOB(a),op_Uvzk2f6EIK(b))

def op_count_8damnDlvQO(a, b):
    count = op_count_3TAF4R0zOB(a)+op_count_Uvzk2f6EIK(b)+op_count_ET0KLvfdmE(op_3TAF4R0zOB(a),op_Uvzk2f6EIK(b))
    return count


a⊜⨊b = { (a⪝⨱⫷) , if (⊇b)==24 ; (a∙⨵b) , else }

def op_HjyhWlPDg7(a, b):
    if op_ZwRkqZpBJ5(b) == 24:
        return op_UgJUmNBkC4(a)
    else:
        return op_reVGrTqfuh(a,b)

def op_count_HjyhWlPDg7(a, b):
    if op_ZwRkqZpBJ5(b) == 24:
        count = op_count_UgJUmNBkC4(a)+op_count_ZwRkqZpBJ5(b)
    else:
        count = op_count_reVGrTqfuh(a,b)
    return count


a⪦↽↔ = { ((186⫫⋫a)⇖↽(a⇣⩺⋵a)) , if a>111 or (a⇏⩵⨆541)!=42 ; ((⇆a)↹≜∞(a⪛⫼a)) , else }

def op_yU3Q8Aqlmo(a):
    if a > 111 or op_GH46DaXZxO(a,541) != 42:
        return op_cwbF3JtlMN(op_xtCeza3rDf(186,a),op_F4yD0voBRQ(a,a))
    else:
        return op_bAt5z2ML1n(op_O46HUMlYez(a),op_hyuBjUqXlG(a,a))

def op_count_yU3Q8Aqlmo(a):
    if a > 111 or op_GH46DaXZxO(a,541) != 42:
        count = op_count_xtCeza3rDf(186,a)+op_count_F4yD0voBRQ(a,a)+op_count_cwbF3JtlMN(op_xtCeza3rDf(186,a),op_F4yD0voBRQ(a,a))+op_count_GH46DaXZxO(a,541)
    else:
        count = op_count_O46HUMlYez(a)+op_count_hyuBjUqXlG(a,a)+op_count_bAt5z2ML1n(op_O46HUMlYez(a),op_hyuBjUqXlG(a,a))
    return count


def op_7xG4wp9Z0m(a):
    if (op_g1t39T4CNw(a) <= 154 and op_438NZEZFZN(a) == 112):
        return op_yMixD7ucMB(op_4j7MdOEvYM(a,a),a)
    else:
        return op_7PjNe5qSIJ(op_uPjn7n5pli(a,a),op_f8TJb0vaMc(a,a))

def op_count_7xG4wp9Z0m(a):
    if (op_g1t39T4CNw(a) <= 154 and op_438NZEZFZN(a) == 112):
        count = op_count_4j7MdOEvYM(a,a)+op_count_yMixD7ucMB(op_4j7MdOEvYM(a,a),a)+op_count_g1t39T4CNw(a)+op_count_438NZEZFZN(a)
    else:
        count = op_count_uPjn7n5pli(a,a)+op_count_f8TJb0vaMc(a,a)+op_count_7PjNe5qSIJ(op_uPjn7n5pli(a,a),op_f8TJb0vaMc(a,a))
    return count


def op_egl2U34JLY(a):
    return op_crtJ4cV1Co(a,304)

def op_count_egl2U34JLY(a):
    count = op_count_crtJ4cV1Co(a,304)
    return count


def op_4ErD3hF1Z5(a):
    return op_AdZkA7nFnk(op_lvlrscuwVU(a,a),op_NvEvKO2R8S(a,a))

def op_count_4ErD3hF1Z5(a):
    count = op_count_lvlrscuwVU(a,a)+op_count_NvEvKO2R8S(a,a)+op_count_AdZkA7nFnk(op_lvlrscuwVU(a,a),op_NvEvKO2R8S(a,a))
    return count


def op_e0b9g6N8pb(a):
    return op_sVMiUtOpJT(a,a)

def op_count_e0b9g6N8pb(a):
    count = op_count_sVMiUtOpJT(a,a)
    return count


def op_9yUW3mbWRE(a):
    return op_qediHccxJ2(op_Z57zeUYC9z(a,603))

def op_count_9yUW3mbWRE(a):
    count = op_count_Z57zeUYC9z(a,603)+op_count_qediHccxJ2(op_Z57zeUYC9z(a,603))
    return count


⫗⇐a = { (⋛⋶a) , if (a⩇∃⫛309)>120 ; (a⩝≶a) , else }

def op_cfwXpge22Q(a):
    if op_1aApVXNlOP(a,309) > 120:
        return op_8ZudynJV7e(a)
    else:
        return op_q6iAK3IPqK(a,a)

def op_count_cfwXpge22Q(a):
    if op_1aApVXNlOP(a,309) > 120:
        count = op_count_8ZudynJV7e(a)+op_count_1aApVXNlOP(a,309)
    else:
        count = op_count_q6iAK3IPqK(a,a)
    return count


a⊽⩷⩌b = { ((⋎⨆(a⫦⫋b))⊣⊑((b-⊅≓a)⇩↽)) , if (⪧↲⋤b)<713 ; (⩿⨑((a≅⋲b)⫳⊕≗(b⫆a))) , else }

def op_qJz32A0TQE(a, b):
    if op_bwsAacVXlT(b) < 713:
        return op_bsbByZDrTG(op_E64sFOc4tB(op_2SUl30BnjX(a,b)),op_HjMFvreeUu(op_rs7mXfeuA0(b,a)))
    else:
        return op_6p8uLNHqK6(op_dfTirE4uw8(op_A0R0hrgyGo(a,b),op_Y6MI8lE4nL(b,a)))

def op_count_qJz32A0TQE(a, b):
    if op_bwsAacVXlT(b) < 713:
        count = op_count_2SUl30BnjX(a,b)+op_count_E64sFOc4tB(op_2SUl30BnjX(a,b))+op_count_rs7mXfeuA0(b,a)+op_count_HjMFvreeUu(op_rs7mXfeuA0(b,a))+op_count_bsbByZDrTG(op_E64sFOc4tB(op_2SUl30BnjX(a,b)),op_HjMFvreeUu(op_rs7mXfeuA0(b,a)))+op_count_bwsAacVXlT(b)
    else:
        count = op_count_A0R0hrgyGo(a,b)+op_count_Y6MI8lE4nL(b,a)+op_count_dfTirE4uw8(op_A0R0hrgyGo(a,b),op_Y6MI8lE4nL(b,a))+op_count_6p8uLNHqK6(op_dfTirE4uw8(op_A0R0hrgyGo(a,b),op_Y6MI8lE4nL(b,a)))
    return count


def op_VMFyCNSIHR(a, b):
    if op_5htHiqXdCj(b) != 260 or b == 208:
        return op_66lcxNmSNf(op_xtCeza3rDf(op_P5jP6ymN6L(218,567),76),op_jGfH5UPFW6(op_t0HF9KJGmM(a),509))
    else:
        return op_CRQ1bbymjI(op_M0eZcchmsa(op_UeUK5QjOtW(b),op_QyZZQSRW2G(a)),op_Bi9z9uYZqW(op_ZvB8Fo8LGH(a,b)))

def op_count_VMFyCNSIHR(a, b):
    if op_5htHiqXdCj(b) != 260 or b == 208:
        count = op_count_P5jP6ymN6L(218,567)+op_count_xtCeza3rDf(op_P5jP6ymN6L(218,567),76)+op_count_t0HF9KJGmM(a)+op_count_jGfH5UPFW6(op_t0HF9KJGmM(a),509)+op_count_66lcxNmSNf(op_xtCeza3rDf(op_P5jP6ymN6L(218,567),76),op_jGfH5UPFW6(op_t0HF9KJGmM(a),509))+op_count_5htHiqXdCj(b)
    else:
        count = op_count_UeUK5QjOtW(b)+op_count_QyZZQSRW2G(a)+op_count_M0eZcchmsa(op_UeUK5QjOtW(b),op_QyZZQSRW2G(a))+op_count_ZvB8Fo8LGH(a,b)+op_count_Bi9z9uYZqW(op_ZvB8Fo8LGH(a,b))+op_count_CRQ1bbymjI(op_M0eZcchmsa(op_UeUK5QjOtW(b),op_QyZZQSRW2G(a)),op_Bi9z9uYZqW(op_ZvB8Fo8LGH(a,b)))
    return count


⨯∜a = { 436 , if (a⩱⪭⇶)>675 ; ((a⊻⨌⫵a)⇽⩥≐) , else }

def op_f53L9NtwXg(a):
    if op_4PRWQFqlah(a) > 675:
        return 436
    else:
        return op_j9MLdTHyci(op_NOyIGfOOXL(a,a))

def op_count_f53L9NtwXg(a):
    if op_4PRWQFqlah(a) > 675:
        count = op_count_4PRWQFqlah(a)
    else:
        count = op_count_NOyIGfOOXL(a,a)+op_count_j9MLdTHyci(op_NOyIGfOOXL(a,a))
    return count


def op_pDsxZAaXPf(a):
    return op_CHq61KbF2o(op_ukSLkBfL7r(op_vQUWrCPLqI(a,312)))

def op_count_pDsxZAaXPf(a):
    count = op_count_vQUWrCPLqI(a,312)+op_count_ukSLkBfL7r(op_vQUWrCPLqI(a,312))+op_count_CHq61KbF2o(op_ukSLkBfL7r(op_vQUWrCPLqI(a,312)))
    return count


a≼⇖b = { (((⩠↾⋷a)⇶⪪↳(b⫴≣⪃))≯⩮⩓((b⊬⩎a)⊖⊬∳(a⇔⩡))) }

def op_rxoAJkQuc9(a, b):
    return op_wcUnr516Gq(op_yO0Pz5QMfn(op_ukSLkBfL7r(a),op_GFoQfhDY1T(b)),op_xonniTcBY0(op_UgHg3ocI1C(b,a),op_BcLuo0RKdZ(a)))

def op_count_rxoAJkQuc9(a, b):
    count = op_count_ukSLkBfL7r(a)+op_count_GFoQfhDY1T(b)+op_count_yO0Pz5QMfn(op_ukSLkBfL7r(a),op_GFoQfhDY1T(b))+op_count_UgHg3ocI1C(b,a)+op_count_BcLuo0RKdZ(a)+op_count_xonniTcBY0(op_UgHg3ocI1C(b,a),op_BcLuo0RKdZ(a))+op_count_wcUnr516Gq(op_yO0Pz5QMfn(op_ukSLkBfL7r(a),op_GFoQfhDY1T(b)),op_xonniTcBY0(op_UgHg3ocI1C(b,a),op_BcLuo0RKdZ(a)))
    return count


def op_lIlUPQxqM5(a):
    return op_n7NTx37v7F(op_umQnsF7QlU(a,a),op_sYcpBQ0cFf(a))

def op_count_lIlUPQxqM5(a):
    count = op_count_umQnsF7QlU(a,a)+op_count_sYcpBQ0cFf(a)+op_count_n7NTx37v7F(op_umQnsF7QlU(a,a),op_sYcpBQ0cFf(a))
    return count


def op_wPLLFAbfZL(a, b):
    return op_h92wMvzauj(op_YkXXfHVFPI(584),op_7YooWSwCyH(a,b))

def op_count_wPLLFAbfZL(a, b):
    count = op_count_YkXXfHVFPI(584)+op_count_7YooWSwCyH(a,b)+op_count_h92wMvzauj(op_YkXXfHVFPI(584),op_7YooWSwCyH(a,b))
    return count


def op_vrtL6VfB4X(a):
    return op_Ty2Xr1YUwT(op_TPY4Vhd24N(238,a))

def op_count_vrtL6VfB4X(a):
    count = op_count_TPY4Vhd24N(238,a)+op_count_Ty2Xr1YUwT(op_TPY4Vhd24N(238,a))
    return count


def op_GzNIxZMYg4(a):
    return op_kUU6uY7bNG(op_YBjRNIjNLy(op_keMeIxFVQ3(a,a),op_i43TpB2HrT(a,20)))

def op_count_GzNIxZMYg4(a):
    count = op_count_keMeIxFVQ3(a,a)+op_count_i43TpB2HrT(a,20)+op_count_YBjRNIjNLy(op_keMeIxFVQ3(a,a),op_i43TpB2HrT(a,20))+op_count_kUU6uY7bNG(op_YBjRNIjNLy(op_keMeIxFVQ3(a,a),op_i43TpB2HrT(a,20)))
    return count


def op_yBMovaC60o(a):
    return op_6Dk38mmJ69(op_CElUNYQIpN(a,a),op_7p6YLioM7f(a))

def op_count_yBMovaC60o(a):
    count = op_count_CElUNYQIpN(a,a)+op_count_7p6YLioM7f(a)+op_count_6Dk38mmJ69(op_CElUNYQIpN(a,a),op_7p6YLioM7f(a))
    return count


def op_L3FqkToioF(a):
    return op_aBQ6xLxuTc(a,a)

def op_count_L3FqkToioF(a):
    count = op_count_aBQ6xLxuTc(a,a)
    return count


a⫭⨰ = { (((a↝⋫a)⊭(a⪩))⨠⨥⋊((a⩫⨅)⫇⩸⨢(≧a))) }

def op_MKKqPSfQPd(a):
    return op_xaRIqAkB3v(op_4JGOJzXMq1(op_EGhGGaRcC7(a,a),op_u7GmA9CWxF(a)),op_diu054m9en(op_OvpvhtAkoY(a),op_438NZEZFZN(a)))

def op_count_MKKqPSfQPd(a):
    count = op_count_EGhGGaRcC7(a,a)+op_count_u7GmA9CWxF(a)+op_count_4JGOJzXMq1(op_EGhGGaRcC7(a,a),op_u7GmA9CWxF(a))+op_count_OvpvhtAkoY(a)+op_count_438NZEZFZN(a)+op_count_diu054m9en(op_OvpvhtAkoY(a),op_438NZEZFZN(a))+op_count_xaRIqAkB3v(op_4JGOJzXMq1(op_EGhGGaRcC7(a,a),op_u7GmA9CWxF(a)),op_diu054m9en(op_OvpvhtAkoY(a),op_438NZEZFZN(a)))
    return count


a⩟⫛b = { (((565⊝⩱a)⨧(b⨩⪜))⫦⪉((b⩫∠273)⋚↵⨭(b⪧⊞↡a))) , if (⋞∞a)!=589 ; (((a⇽↿⪿b)⫶⫾⊪(299⩫∠a))⇩⩌a) , else }

def op_egUGErP8Ct(a, b):
    if op_ouMpCUGN3j(a) != 589:
        return op_wscyQdcy20(op_3YWlZA9bsa(op_0jCm5pNiJO(565,a),op_JFuJqCunNX(b)),op_EhNdXCgA70(op_61SMRth1bf(b,273),op_ZBnQveJz4n(b,a)))
    else:
        return op_WtSaZj39hj(op_h5KbohBAOz(op_9Q5hJbNi17(a,b),op_61SMRth1bf(299,a)),a)

def op_count_egUGErP8Ct(a, b):
    if op_ouMpCUGN3j(a) != 589:
        count = op_count_0jCm5pNiJO(565,a)+op_count_JFuJqCunNX(b)+op_count_3YWlZA9bsa(op_0jCm5pNiJO(565,a),op_JFuJqCunNX(b))+op_count_61SMRth1bf(b,273)+op_count_ZBnQveJz4n(b,a)+op_count_EhNdXCgA70(op_61SMRth1bf(b,273),op_ZBnQveJz4n(b,a))+op_count_wscyQdcy20(op_3YWlZA9bsa(op_0jCm5pNiJO(565,a),op_JFuJqCunNX(b)),op_EhNdXCgA70(op_61SMRth1bf(b,273),op_ZBnQveJz4n(b,a)))+op_count_ouMpCUGN3j(a)
    else:
        count = op_count_9Q5hJbNi17(a,b)+op_count_61SMRth1bf(299,a)+op_count_h5KbohBAOz(op_9Q5hJbNi17(a,b),op_61SMRth1bf(299,a))+op_count_WtSaZj39hj(op_h5KbohBAOz(op_9Q5hJbNi17(a,b),op_61SMRth1bf(299,a)),a)
    return count


def op_rwPTB4Yc81(a):
    return op_Z57zeUYC9z(a,a)

def op_count_rwPTB4Yc81(a):
    count = op_count_Z57zeUYC9z(a,a)
    return count


↵≷⇎a = { ((∪⊸⩁(a⋜⊄a))⇃⪼((a⨦77)⨇≷∥(a⪄a))) }

def op_Riyh7rtXnH(a):
    return op_KfHK9LWpY5(op_ZDtbJ0pWwg(op_KRecZEGPb8(a,a)),op_ER3VUc6CxE(op_z4gvzBU7aQ(a,77),op_SUmda5xLS4(a,a)))

def op_count_Riyh7rtXnH(a):
    count = op_count_KRecZEGPb8(a,a)+op_count_ZDtbJ0pWwg(op_KRecZEGPb8(a,a))+op_count_z4gvzBU7aQ(a,77)+op_count_SUmda5xLS4(a,a)+op_count_ER3VUc6CxE(op_z4gvzBU7aQ(a,77),op_SUmda5xLS4(a,a))+op_count_KfHK9LWpY5(op_ZDtbJ0pWwg(op_KRecZEGPb8(a,a)),op_ER3VUc6CxE(op_z4gvzBU7aQ(a,77),op_SUmda5xLS4(a,a)))
    return count


def op_CFs4UCiLv7(a):
    return op_QnvrtN8efL(op_UscWZcTkUL(a,a),op_RFg3ArkQ7E(a))

def op_count_CFs4UCiLv7(a):
    count = op_count_UscWZcTkUL(a,a)+op_count_RFg3ArkQ7E(a)+op_count_QnvrtN8efL(op_UscWZcTkUL(a,a),op_RFg3ArkQ7E(a))
    return count


a⊭⋊ = { ((a↱⊁⫤a)−⪑(⨚≀a)) , if ((≒⨯a)>59 and (a⫾27)>=76) ; (⫓⪴(∂⩏⊆a)) , else }

def op_JwQjowjNRb(a):
    if (op_qG9ZqFzE8s(a) > 59 and op_7JbuLsbBtx(a,27) >= 76):
        return op_NtNF0fXNRD(op_G1IgnKcz2d(a,a),op_nshroTv9ag(a))
    else:
        return op_eLxqMNBOBk(op_8WDwsbhb0R(a))

def op_count_JwQjowjNRb(a):
    if (op_qG9ZqFzE8s(a) > 59 and op_7JbuLsbBtx(a,27) >= 76):
        count = op_count_G1IgnKcz2d(a,a)+op_count_nshroTv9ag(a)+op_count_NtNF0fXNRD(op_G1IgnKcz2d(a,a),op_nshroTv9ag(a))+op_count_qG9ZqFzE8s(a)+op_count_7JbuLsbBtx(a,27)
    else:
        count = op_count_8WDwsbhb0R(a)+op_count_eLxqMNBOBk(op_8WDwsbhb0R(a))
    return count


def op_rS9owOYsXI(a, b):
    return op_3On8Mq6EYF(op_Z57zeUYC9z(b,30),a)

def op_count_rS9owOYsXI(a, b):
    count = op_count_Z57zeUYC9z(b,30)+op_count_3On8Mq6EYF(op_Z57zeUYC9z(b,30),a)
    return count


a⪺≵⫇ = { (⪳⫿(a*a)) , if (a⪎⨈854)<301 ; (≙≿⇔(⇜⊥⊿a)) , else }

def op_2uGCWWNyrk(a):
    if op_PTuWOAQI59(a,854) < 301:
        return op_2mWyOD2ke3(op_9HNa5Wba9A(a,a))
    else:
        return op_61C3GuCVLx(op_9AmiP8lhm4(a))

def op_count_2uGCWWNyrk(a):
    if op_PTuWOAQI59(a,854) < 301:
        count = op_count_9HNa5Wba9A(a,a)+op_count_2mWyOD2ke3(op_9HNa5Wba9A(a,a))+op_count_PTuWOAQI59(a,854)
    else:
        count = op_count_9AmiP8lhm4(a)+op_count_61C3GuCVLx(op_9AmiP8lhm4(a))
    return count


def op_qBiGvaKbIj(a, b):
    return op_bVHWhkdu1k(op_aCwnCp9fG4(op_n5wvQJ84nZ(558,a),op_7mDgzgOxkj(b,131)))

def op_count_qBiGvaKbIj(a, b):
    count = op_count_n5wvQJ84nZ(558,a)+op_count_7mDgzgOxkj(b,131)+op_count_aCwnCp9fG4(op_n5wvQJ84nZ(558,a),op_7mDgzgOxkj(b,131))+op_count_bVHWhkdu1k(op_aCwnCp9fG4(op_n5wvQJ84nZ(558,a),op_7mDgzgOxkj(b,131)))
    return count


def op_OddM1y1Rzr(a):
    if (a > 208 or op_cAXFRI0VtD(a) > 503 or a >= 447):
        return op_EGhGGaRcC7(op_FSasnAb2iR(a,220),op_myvUJCpSMz(a,a))
    else:
        return op_fj06ns36qH(op_1pJ76SN1ns(a),op_d8xe6WWVfM(a,a))

def op_count_OddM1y1Rzr(a):
    if (a > 208 or op_cAXFRI0VtD(a) > 503 or a >= 447):
        count = op_count_FSasnAb2iR(a,220)+op_count_myvUJCpSMz(a,a)+op_count_EGhGGaRcC7(op_FSasnAb2iR(a,220),op_myvUJCpSMz(a,a))+op_count_cAXFRI0VtD(a)
    else:
        count = op_count_1pJ76SN1ns(a)+op_count_d8xe6WWVfM(a,a)+op_count_fj06ns36qH(op_1pJ76SN1ns(a),op_d8xe6WWVfM(a,a))
    return count


⨵⇩∴a = { ((a⫈⩚(⋐a))-⊅≓(∃(⪊a))) , if (⩪⫡⊌a)>5 ; (⪁⫅≨((a⇱∅⫼a)⇿⊰(⊈↤a))) , else }

def op_ALVi9KEBVM(a):
    if op_Tgte3JtaA5(a) > 5:
        return op_rs7mXfeuA0(op_s4gCNs8pnH(a,op_kJbZGpdPi7(a)),op_LUdrfeGgJL(op_lknk80lCW5(a)))
    else:
        return op_YApyZlDuBr(op_ap3xiM279w(op_jmRbPV3Y6D(a,a),op_hFvFHqVvZy(a)))

def op_count_ALVi9KEBVM(a):
    if op_Tgte3JtaA5(a) > 5:
        count = op_count_kJbZGpdPi7(a)+op_count_s4gCNs8pnH(a,op_kJbZGpdPi7(a))+op_count_lknk80lCW5(a)+op_count_LUdrfeGgJL(op_lknk80lCW5(a))+op_count_rs7mXfeuA0(op_s4gCNs8pnH(a,op_kJbZGpdPi7(a)),op_LUdrfeGgJL(op_lknk80lCW5(a)))+op_count_Tgte3JtaA5(a)
    else:
        count = op_count_jmRbPV3Y6D(a,a)+op_count_hFvFHqVvZy(a)+op_count_ap3xiM279w(op_jmRbPV3Y6D(a,a),op_hFvFHqVvZy(a))+op_count_YApyZlDuBr(op_ap3xiM279w(op_jmRbPV3Y6D(a,a),op_hFvFHqVvZy(a)))
    return count


a⪇⪤⩦b = { (⩩⩦∼(⫭≆a)) , if (a⪏)>=148 or (a↷⋇⫼)<=373 ; (((b⫯⩟b)⊪)⪡⪫) , else }

def op_0DhpTGsvK0(a, b):
    if op_xdPrHzyJaz(a) >= 148 or op_h2AnrTQJpk(a) <= 373:
        return op_EFcLgMHpPM(op_jUSOKRaoYR(a))
    else:
        return op_O9ITgcsgp9(op_zVYPLywUTj(op_BEh4QBmAc4(b,b)))

def op_count_0DhpTGsvK0(a, b):
    if op_xdPrHzyJaz(a) >= 148 or op_h2AnrTQJpk(a) <= 373:
        count = op_count_jUSOKRaoYR(a)+op_count_EFcLgMHpPM(op_jUSOKRaoYR(a))+op_count_xdPrHzyJaz(a)+op_count_h2AnrTQJpk(a)
    else:
        count = op_count_BEh4QBmAc4(b,b)+op_count_zVYPLywUTj(op_BEh4QBmAc4(b,b))+op_count_O9ITgcsgp9(op_zVYPLywUTj(op_BEh4QBmAc4(b,b)))
    return count


a⨗⊀≚b = { (((a⨁a)⪤⋵⇕(b⪔⊥a))⫫∾((b≱b)⊋(b⋍))) }

def op_mvNXXmRTq7(a, b):
    return op_b3qeQyvZfP(op_XSHbJDpXHf(op_l455cbmnc3(a,a),op_HJ9erzHUuu(b,a)),op_W4tP9CfskL(op_VetzYauijD(b,b),op_dREnsuNWoJ(b)))

def op_count_mvNXXmRTq7(a, b):
    count = op_count_l455cbmnc3(a,a)+op_count_HJ9erzHUuu(b,a)+op_count_XSHbJDpXHf(op_l455cbmnc3(a,a),op_HJ9erzHUuu(b,a))+op_count_VetzYauijD(b,b)+op_count_dREnsuNWoJ(b)+op_count_W4tP9CfskL(op_VetzYauijD(b,b),op_dREnsuNWoJ(b))+op_count_b3qeQyvZfP(op_XSHbJDpXHf(op_l455cbmnc3(a,a),op_HJ9erzHUuu(b,a)),op_W4tP9CfskL(op_VetzYauijD(b,b),op_dREnsuNWoJ(b)))
    return count


a⫀≣↤b = { (↾⇖(b⨎237)) , if (⊕a)<=320 ; ((≃↬b)⇻⋧≁(⊔⫛≘b)) , else }

def op_HF6nQZD8gr(a, b):
    if op_C2eOkFrmjf(a) <= 320:
        return op_svMjjxhh0f(op_rJVOvQCfKK(b,237))
    else:
        return op_jCPkEVoL5K(op_0hRg1XLrQC(b),op_SLhMx8tn5D(b))

def op_count_HF6nQZD8gr(a, b):
    if op_C2eOkFrmjf(a) <= 320:
        count = op_count_rJVOvQCfKK(b,237)+op_count_svMjjxhh0f(op_rJVOvQCfKK(b,237))+op_count_C2eOkFrmjf(a)
    else:
        count = op_count_0hRg1XLrQC(b)+op_count_SLhMx8tn5D(b)+op_count_jCPkEVoL5K(op_0hRg1XLrQC(b),op_SLhMx8tn5D(b))
    return count


def op_n6GLAgQ1iw(a):
    return op_JclMnS0uGI(op_L95AwlJzhO(a),op_SPuZE40Ntn(390,a))

def op_count_n6GLAgQ1iw(a):
    count = op_count_L95AwlJzhO(a)+op_count_SPuZE40Ntn(390,a)+op_count_JclMnS0uGI(op_L95AwlJzhO(a),op_SPuZE40Ntn(390,a))
    return count


a⊯⫶b = { (((a⊸⋪≐a)⊝⩱(b≙⪾b))∍((b⩠↼⫋a)⨕⋳)) , if (a⫓⋼265)<53 ; (((∧⨇⇂a)⊁⪁∏(b↠≿⨡b))↧((b⋔∾b)⫌⋠⫢a)) , else }

def op_8Iqshm4ZEt(a, b):
    if op_FI4i5otY41(a,265) < 53:
        return op_9rNHCbYvka(op_0jCm5pNiJO(op_9TWTp1rdMN(a,a),op_OhqpJ7Tl0K(b,b)),op_4X4GscPmMf(op_8m1wXWE6kN(b,a)))
    else:
        return op_5LE63mxGOF(op_NRyasOrsb7(op_mjfNiYKyI7(a),op_N4i4E2JzEW(b,b)),op_mf9eRyN6Nh(op_5bjJf2Re4f(b,b),a))

def op_count_8Iqshm4ZEt(a, b):
    if op_FI4i5otY41(a,265) < 53:
        count = op_count_9TWTp1rdMN(a,a)+op_count_OhqpJ7Tl0K(b,b)+op_count_0jCm5pNiJO(op_9TWTp1rdMN(a,a),op_OhqpJ7Tl0K(b,b))+op_count_8m1wXWE6kN(b,a)+op_count_4X4GscPmMf(op_8m1wXWE6kN(b,a))+op_count_9rNHCbYvka(op_0jCm5pNiJO(op_9TWTp1rdMN(a,a),op_OhqpJ7Tl0K(b,b)),op_4X4GscPmMf(op_8m1wXWE6kN(b,a)))+op_count_FI4i5otY41(a,265)
    else:
        count = op_count_mjfNiYKyI7(a)+op_count_N4i4E2JzEW(b,b)+op_count_NRyasOrsb7(op_mjfNiYKyI7(a),op_N4i4E2JzEW(b,b))+op_count_5bjJf2Re4f(b,b)+op_count_mf9eRyN6Nh(op_5bjJf2Re4f(b,b),a)+op_count_5LE63mxGOF(op_NRyasOrsb7(op_mjfNiYKyI7(a),op_N4i4E2JzEW(b,b)),op_mf9eRyN6Nh(op_5bjJf2Re4f(b,b),a))
    return count


def op_hbCmkZ2HCK(a):
    return op_zM038sETkn(op_h92wMvzauj(op_dMSKA4bw4h(a,692),op_Bh0c9BvTwN(a,a)))

def op_count_hbCmkZ2HCK(a):
    count = op_count_dMSKA4bw4h(a,692)+op_count_Bh0c9BvTwN(a,a)+op_count_h92wMvzauj(op_dMSKA4bw4h(a,692),op_Bh0c9BvTwN(a,a))+op_count_zM038sETkn(op_h92wMvzauj(op_dMSKA4bw4h(a,692),op_Bh0c9BvTwN(a,a)))
    return count


a⩖⪥b = { (((56⇉b)⩨⩁(a/a))≮⫰((a∨⋤⇐b)⊆(80⇽↿⪿b))) }

def op_alVqtQAvjY(a, b):
    return op_RXTe6wbwcz(op_mRABlwQNwR(op_lJ0NnniDH7(56,b),op_XhwjNDsVaA(a,a)),op_vMVtL6bY9U(op_XAozx2NkZN(a,b),op_9Q5hJbNi17(80,b)))

def op_count_alVqtQAvjY(a, b):
    count = op_count_lJ0NnniDH7(56,b)+op_count_XhwjNDsVaA(a,a)+op_count_mRABlwQNwR(op_lJ0NnniDH7(56,b),op_XhwjNDsVaA(a,a))+op_count_XAozx2NkZN(a,b)+op_count_9Q5hJbNi17(80,b)+op_count_vMVtL6bY9U(op_XAozx2NkZN(a,b),op_9Q5hJbNi17(80,b))+op_count_RXTe6wbwcz(op_mRABlwQNwR(op_lJ0NnniDH7(56,b),op_XhwjNDsVaA(a,a)),op_vMVtL6bY9U(op_XAozx2NkZN(a,b),op_9Q5hJbNi17(80,b)))
    return count


a≷≢b = { (≘((b⫸⩸a)⋏⪄⋛(b⨢a))) , if (b≽⊫)>82 or b>218 ; (((b⪝⩫⊟b)⊬⩼⊳(⇻↴≱a))∎⋧⫰) , else }

def op_w6PsAE54Jo(a, b):
    if op_H0pizIJMoW(b) > 82 or b > 218:
        return op_tcjXMdvYtA(op_VCoQhphGv5(op_SfUa7LlWFO(b,a),op_wvOhsjS2Oe(b,a)))
    else:
        return op_q9P67AyrZV(op_4F7LFkBAZC(op_grul1N2qWA(b,b),op_KlZ9JYY8wh(a)))

def op_count_w6PsAE54Jo(a, b):
    if op_H0pizIJMoW(b) > 82 or b > 218:
        count = op_count_SfUa7LlWFO(b,a)+op_count_wvOhsjS2Oe(b,a)+op_count_VCoQhphGv5(op_SfUa7LlWFO(b,a),op_wvOhsjS2Oe(b,a))+op_count_tcjXMdvYtA(op_VCoQhphGv5(op_SfUa7LlWFO(b,a),op_wvOhsjS2Oe(b,a)))+op_count_H0pizIJMoW(b)
    else:
        count = op_count_grul1N2qWA(b,b)+op_count_KlZ9JYY8wh(a)+op_count_4F7LFkBAZC(op_grul1N2qWA(b,b),op_KlZ9JYY8wh(a))+op_count_q9P67AyrZV(op_4F7LFkBAZC(op_grul1N2qWA(b,b),op_KlZ9JYY8wh(a)))
    return count


a↹⇎⪐b = { (((526⪏⇥-a)⪵∐(b⩈⩕⇁b))⩹⨧≼(≧⊳(608∄b))) }

def op_Vo2B4cwqRB(a, b):
    return op_8GoaSTesSg(op_fHEWrCoiIm(op_frUONFVpe5(526,a),op_kUwfQWDciI(b,b)),op_GMrB5OisJT(op_tnyRA5sazQ(608,b)))

def op_count_Vo2B4cwqRB(a, b):
    count = op_count_frUONFVpe5(526,a)+op_count_kUwfQWDciI(b,b)+op_count_fHEWrCoiIm(op_frUONFVpe5(526,a),op_kUwfQWDciI(b,b))+op_count_tnyRA5sazQ(608,b)+op_count_GMrB5OisJT(op_tnyRA5sazQ(608,b))+op_count_8GoaSTesSg(op_fHEWrCoiIm(op_frUONFVpe5(526,a),op_kUwfQWDciI(b,b)),op_GMrB5OisJT(op_tnyRA5sazQ(608,b)))
    return count


def op_1dP9oEiBvS(a, b):
    return op_AnY7RRqJK6(op_W4tP9CfskL(op_GPz4iu2eFk(b,b),op_0N1BchnEuL(a,60)))

def op_count_1dP9oEiBvS(a, b):
    count = op_count_GPz4iu2eFk(b,b)+op_count_0N1BchnEuL(a,60)+op_count_W4tP9CfskL(op_GPz4iu2eFk(b,b),op_0N1BchnEuL(a,60))+op_count_AnY7RRqJK6(op_W4tP9CfskL(op_GPz4iu2eFk(b,b),op_0N1BchnEuL(a,60)))
    return count


def op_5r8bIH6hcq(a):
    return op_NvEvKO2R8S(op_MtU63d9ZNI(a),op_TLv57rOmDJ(a))

def op_count_5r8bIH6hcq(a):
    count = op_count_MtU63d9ZNI(a)+op_count_TLv57rOmDJ(a)+op_count_NvEvKO2R8S(op_MtU63d9ZNI(a),op_TLv57rOmDJ(a))
    return count


def op_4h9nHuabOq(a):
    return op_cHh1gJQ2o6(op_tJtBLRaXS9(a,a),op_X7Ai75l9Fg(a))

def op_count_4h9nHuabOq(a):
    count = op_count_tJtBLRaXS9(a,a)+op_count_X7Ai75l9Fg(a)+op_count_cHh1gJQ2o6(op_tJtBLRaXS9(a,a),op_X7Ai75l9Fg(a))
    return count


def op_2X45rB3Miu(a):
    return op_3ETyc1YnpT(op_kvIXUmKfYG(op_udE70qCqth(a)))

def op_count_2X45rB3Miu(a):
    count = op_count_udE70qCqth(a)+op_count_kvIXUmKfYG(op_udE70qCqth(a))+op_count_3ETyc1YnpT(op_kvIXUmKfYG(op_udE70qCqth(a)))
    return count


a⪦⫠ = { ((a⨠⇲)⩝⪟⋿(a∽⪡)) , if (a⫴69)<=5 ; a , else }

def op_wg4zrVrVSc(a):
    if op_0N1BchnEuL(a,69) <= 5:
        return op_3Cfxs2sGIE(op_YNLX1V1NcH(a),op_GyZKrXyLmB(a))
    else:
        return a

def op_count_wg4zrVrVSc(a):
    if op_0N1BchnEuL(a,69) <= 5:
        count = op_count_YNLX1V1NcH(a)+op_count_GyZKrXyLmB(a)+op_count_3Cfxs2sGIE(op_YNLX1V1NcH(a),op_GyZKrXyLmB(a))+op_count_0N1BchnEuL(a,69)
    else:
        count = 1
    return count