a⊔⇁↦b = { (((a⇘⋴b)∷⫾(285⊧⫬∧b))⊐⫶((b⨌⪒154)⋟⫀⨗(41⇪⩦))) , if (⋹≫∇b)!=527 ; (((a⪈⊆a)⨁(a⊩≵⪔))⇄⨕⨍(≺(686∾∦⨹b))) , else }

def op_tVmrkNvQHy(a, b):
    if op_jNGbezj4b9(b) != 527:
        return op_ejsynaZir6(op_6FkTzFgkJV(op_jGfH5UPFW6(a,b),op_J0w9Gs8s4Y(285,b)),op_dAAkup5nzi(op_IhSYcQUtqA(b,154),op_Ci59WLJJ94(41)))
    else:
        return op_S3ygqCMwex(op_l455cbmnc3(op_9cXuuulTvS(a,a),op_aDRGw0okjd(a)),op_096fXiO8sA(op_lRou3FLhkg(686,b)))

def op_count_tVmrkNvQHy(a, b):
    if op_jNGbezj4b9(b) != 527:
        count = op_count_jGfH5UPFW6(a,b)+op_count_J0w9Gs8s4Y(285,b)+op_count_6FkTzFgkJV(op_jGfH5UPFW6(a,b),op_J0w9Gs8s4Y(285,b))+op_count_IhSYcQUtqA(b,154)+op_count_Ci59WLJJ94(41)+op_count_dAAkup5nzi(op_IhSYcQUtqA(b,154),op_Ci59WLJJ94(41))+op_count_ejsynaZir6(op_6FkTzFgkJV(op_jGfH5UPFW6(a,b),op_J0w9Gs8s4Y(285,b)),op_dAAkup5nzi(op_IhSYcQUtqA(b,154),op_Ci59WLJJ94(41)))+op_count_jNGbezj4b9(b)
    else:
        count = op_count_9cXuuulTvS(a,a)+op_count_aDRGw0okjd(a)+op_count_l455cbmnc3(op_9cXuuulTvS(a,a),op_aDRGw0okjd(a))+op_count_lRou3FLhkg(686,b)+op_count_096fXiO8sA(op_lRou3FLhkg(686,b))+op_count_S3ygqCMwex(op_l455cbmnc3(op_9cXuuulTvS(a,a),op_aDRGw0okjd(a)),op_096fXiO8sA(op_lRou3FLhkg(686,b)))
    return count


def op_fcbMX6Iur2(a, b):
    return op_aCwnCp9fG4(op_iA2gmKZ3Wj(b),op_XHowTFVwyi(b,a))

def op_count_fcbMX6Iur2(a, b):
    count = op_count_iA2gmKZ3Wj(b)+op_count_XHowTFVwyi(b,a)+op_count_aCwnCp9fG4(op_iA2gmKZ3Wj(b),op_XHowTFVwyi(b,a))
    return count


def op_R3ciTsHRPk(a, b):
    return op_yHt80FcK1y(op_pq3pqYEpp4(op_Ft2biiUhlV(b,a),op_JuuLT1NoCs(a)),119)

def op_count_R3ciTsHRPk(a, b):
    count = op_count_Ft2biiUhlV(b,a)+op_count_JuuLT1NoCs(a)+op_count_pq3pqYEpp4(op_Ft2biiUhlV(b,a),op_JuuLT1NoCs(a))+op_count_yHt80FcK1y(op_pq3pqYEpp4(op_Ft2biiUhlV(b,a),op_JuuLT1NoCs(a)),119)
    return count


⫰↻a = { ((a⪑⩱(a⩊a))≔⪾(⫾⩿(a⩰⫂a))) , if (a∑⊿≛392)<=406 ; (⨇⪄⫏((⫿⫊⊕a)∠↢(a∝∎a))) , else }

def op_WSQ1NS25CB(a):
    if op_HBr05eZif0(a,392) <= 406:
        return op_aN41RXSydB(op_9y2gCtWatQ(a,op_kUYI0el8wS(a,a)),op_kYoPWhNMed(op_1rGgR8aUQx(a,a)))
    else:
        return op_B4c4JXCTtZ(op_KbjG8mgYpV(op_SLtCypM0tD(a),op_qLiEs2rVxT(a,a)))

def op_count_WSQ1NS25CB(a):
    if op_HBr05eZif0(a,392) <= 406:
        count = op_count_kUYI0el8wS(a,a)+op_count_9y2gCtWatQ(a,op_kUYI0el8wS(a,a))+op_count_1rGgR8aUQx(a,a)+op_count_kYoPWhNMed(op_1rGgR8aUQx(a,a))+op_count_aN41RXSydB(op_9y2gCtWatQ(a,op_kUYI0el8wS(a,a)),op_kYoPWhNMed(op_1rGgR8aUQx(a,a)))+op_count_HBr05eZif0(a,392)
    else:
        count = op_count_SLtCypM0tD(a)+op_count_qLiEs2rVxT(a,a)+op_count_KbjG8mgYpV(op_SLtCypM0tD(a),op_qLiEs2rVxT(a,a))+op_count_B4c4JXCTtZ(op_KbjG8mgYpV(op_SLtCypM0tD(a),op_qLiEs2rVxT(a,a)))
    return count


def op_0PAIW17lTb(a):
    return op_xFsO8pdFKG(op_3DVzLFNsE9(op_n6GLAgQ1iw(291)),op_OH3l0Vrv7d(op_vHez4XO4XZ(a,87),op_oXiaJt2W9u(a,a)))

def op_count_0PAIW17lTb(a):
    count = op_count_n6GLAgQ1iw(291)+op_count_3DVzLFNsE9(op_n6GLAgQ1iw(291))+op_count_vHez4XO4XZ(a,87)+op_count_oXiaJt2W9u(a,a)+op_count_OH3l0Vrv7d(op_vHez4XO4XZ(a,87),op_oXiaJt2W9u(a,a))+op_count_xFsO8pdFKG(op_3DVzLFNsE9(op_n6GLAgQ1iw(291)),op_OH3l0Vrv7d(op_vHez4XO4XZ(a,87),op_oXiaJt2W9u(a,a)))
    return count


a⋈⇁ = { (((a↟a)⪦⫠)⊴((a∷a)↦⩻⊓(a⩍∍⪤a))) , if (a≥≧↭748)>297 ; (((a⪞∓a)⫔⇒(a⫴a))⪤⇈((76⫡a)⪔(⇉-⫰56))) , else }

def op_d8yUgFhuHF(a):
    if op_9uqIsVI5ug(a,748) > 297:
        return op_Nsiff2A1zJ(op_wg4zrVrVSc(op_PwiXWqpBTd(a,a)),op_kf2MGdd7i0(op_D3AQDKkPcf(a,a),op_pevpteaPmM(a,a)))
    else:
        return op_lWNx0gx4UD(op_xolZLAALD1(op_f0EEqlM9KS(a,a),op_0N1BchnEuL(a,a)),op_GjBEYRfMaF(op_r42jg1nETI(76,a),op_IGFM8TAlm9(56)))

def op_count_d8yUgFhuHF(a):
    if op_9uqIsVI5ug(a,748) > 297:
        count = op_count_PwiXWqpBTd(a,a)+op_count_wg4zrVrVSc(op_PwiXWqpBTd(a,a))+op_count_D3AQDKkPcf(a,a)+op_count_pevpteaPmM(a,a)+op_count_kf2MGdd7i0(op_D3AQDKkPcf(a,a),op_pevpteaPmM(a,a))+op_count_Nsiff2A1zJ(op_wg4zrVrVSc(op_PwiXWqpBTd(a,a)),op_kf2MGdd7i0(op_D3AQDKkPcf(a,a),op_pevpteaPmM(a,a)))+op_count_9uqIsVI5ug(a,748)
    else:
        count = op_count_f0EEqlM9KS(a,a)+op_count_0N1BchnEuL(a,a)+op_count_xolZLAALD1(op_f0EEqlM9KS(a,a),op_0N1BchnEuL(a,a))+op_count_r42jg1nETI(76,a)+op_count_IGFM8TAlm9(56)+op_count_GjBEYRfMaF(op_r42jg1nETI(76,a),op_IGFM8TAlm9(56))+op_count_lWNx0gx4UD(op_xolZLAALD1(op_f0EEqlM9KS(a,a),op_0N1BchnEuL(a,a)),op_GjBEYRfMaF(op_r42jg1nETI(76,a),op_IGFM8TAlm9(56)))
    return count


a≭≝⊥ = { (a≣⋋) , if (a⫶⩦⫌209)==291 ; a , else }

def op_5FJwumvoXq(a):
    if op_JhaTKDJgG8(a,209) == 291:
        return op_Tcnh7f0tEr(a)
    else:
        return a

def op_count_5FJwumvoXq(a):
    if op_JhaTKDJgG8(a,209) == 291:
        count = op_count_Tcnh7f0tEr(a)+op_count_JhaTKDJgG8(a,209)
    else:
        count = 1
    return count


⊞⨓⨦a = { (((a⫁∆⨗162)⋛⇤(a⋡≤⩀a))∗⫦⨲a) , if a!=227 or (a⇇⊟∂)==30 ; ((⊑⊆⨨(⊙↵-a))≻⇢(≸≮(a⫗↹))) , else }

def op_iJg4BE1iTz(a):
    if a != 227 or op_cMU0zZ4sy1(a) == 30:
        return op_4zhs1Pu9yK(op_rG3WRp3Ucw(op_JAobebJkKA(a,162),op_Mth4PhTnAe(a,a)),a)
    else:
        return op_n5wvQJ84nZ(op_edUqJ6W6b3(op_oWn0xqSxBt(a)),op_AljMvE3RRm(op_03qrXkZ0z6(a)))

def op_count_iJg4BE1iTz(a):
    if a != 227 or op_cMU0zZ4sy1(a) == 30:
        count = op_count_JAobebJkKA(a,162)+op_count_Mth4PhTnAe(a,a)+op_count_rG3WRp3Ucw(op_JAobebJkKA(a,162),op_Mth4PhTnAe(a,a))+op_count_4zhs1Pu9yK(op_rG3WRp3Ucw(op_JAobebJkKA(a,162),op_Mth4PhTnAe(a,a)),a)+op_count_cMU0zZ4sy1(a)
    else:
        count = op_count_oWn0xqSxBt(a)+op_count_edUqJ6W6b3(op_oWn0xqSxBt(a))+op_count_03qrXkZ0z6(a)+op_count_AljMvE3RRm(op_03qrXkZ0z6(a))+op_count_n5wvQJ84nZ(op_edUqJ6W6b3(op_oWn0xqSxBt(a)),op_AljMvE3RRm(op_03qrXkZ0z6(a)))
    return count


a⫙∈b = { ((≸≮b)⇐⩗⋙(315⫏⪈⪰b)) , if ((⇶⩱↠b)>=675 and a>271) ; (36⩞⨑(⩪∧⨌b)) , else }

def op_X7Nk9lXC9E(a, b):
    if (op_0nQBUOI8xy(b) >= 675 and a > 271):
        return op_kfSGLR5n54(op_AljMvE3RRm(b),op_O2e688qAWz(315,b))
    else:
        return op_gWibIJBsW2(36,op_6iOiAJX1F8(b))

def op_count_X7Nk9lXC9E(a, b):
    if (op_0nQBUOI8xy(b) >= 675 and a > 271):
        count = op_count_AljMvE3RRm(b)+op_count_O2e688qAWz(315,b)+op_count_kfSGLR5n54(op_AljMvE3RRm(b),op_O2e688qAWz(315,b))+op_count_0nQBUOI8xy(b)
    else:
        count = op_count_6iOiAJX1F8(b)+op_count_gWibIJBsW2(36,op_6iOiAJX1F8(b))
    return count


a↙⫞ = { (((a⇇⨋⩦a)⫽(a⩾⨝30))∏⇴(a⇻≛(385≿↹a))) }

def op_urfDVJSnOR(a):
    return op_Rw46J52cBJ(op_uU3XJfDBdq(op_7LDZuUjSGl(a,a),op_o0ENHGX9XF(a,30)),op_qpRO7jokVD(a,op_VionArRWsA(385,a)))

def op_count_urfDVJSnOR(a):
    count = op_count_7LDZuUjSGl(a,a)+op_count_o0ENHGX9XF(a,30)+op_count_uU3XJfDBdq(op_7LDZuUjSGl(a,a),op_o0ENHGX9XF(a,30))+op_count_VionArRWsA(385,a)+op_count_qpRO7jokVD(a,op_VionArRWsA(385,a))+op_count_Rw46J52cBJ(op_uU3XJfDBdq(op_7LDZuUjSGl(a,a),op_o0ENHGX9XF(a,30)),op_qpRO7jokVD(a,op_VionArRWsA(385,a)))
    return count


a∨⩕⨂ = { ((⨒⋎⋃(⫽⪃∩a))⫗⊍(a∜(⋔⊽⋑a))) , if (a≎944)<239 ; (⩒∿∠(↭⪆(a≮⨜⪮a))) , else }

def op_s80pUbVq3Y(a):
    if op_kvyeM8WEH2(a,944) < 239:
        return op_9848CK854r(op_bwYBi1zm8f(op_zsfYGRPJw1(a)),op_VX9aY244yz(a,op_89BvdqUkvM(a)))
    else:
        return op_rhd368kmur(op_SXU37uY0z3(op_iERJjuKeUH(a,a)))

def op_count_s80pUbVq3Y(a):
    if op_kvyeM8WEH2(a,944) < 239:
        count = op_count_zsfYGRPJw1(a)+op_count_bwYBi1zm8f(op_zsfYGRPJw1(a))+op_count_89BvdqUkvM(a)+op_count_VX9aY244yz(a,op_89BvdqUkvM(a))+op_count_9848CK854r(op_bwYBi1zm8f(op_zsfYGRPJw1(a)),op_VX9aY244yz(a,op_89BvdqUkvM(a)))+op_count_kvyeM8WEH2(a,944)
    else:
        count = op_count_iERJjuKeUH(a,a)+op_count_SXU37uY0z3(op_iERJjuKeUH(a,a))+op_count_rhd368kmur(op_SXU37uY0z3(op_iERJjuKeUH(a,a)))
    return count


a⇒⪞ = { (a≝∰⇵a) , if a!=641 ; (⇃a) , else }

def op_fVTrKcHcBx(a):
    if a != 641:
        return op_CdHlyAwjkr(a,a)
    else:
        return op_i4Pfiorep6(a)

def op_count_fVTrKcHcBx(a):
    if a != 641:
        count = op_count_CdHlyAwjkr(a,a)
    else:
        count = op_count_i4Pfiorep6(a)
    return count


def op_i3ul2XJdZx(a, b):
    return op_6tQRFKEWKL(op_6aG7x05OhS(a),op_YTfFA0Nyat(a,b))

def op_count_i3ul2XJdZx(a, b):
    count = op_count_6aG7x05OhS(a)+op_count_YTfFA0Nyat(a,b)+op_count_6tQRFKEWKL(op_6aG7x05OhS(a),op_YTfFA0Nyat(a,b))
    return count


⪯⩾∬a = { ((a⩱⇜⪦a)⋏⪄⋛(a⫩)) , if a>641 ; ((⫟⨏a)⨒⇂⨽(a⋱≯a)) , else }

def op_qc1S3dC2cV(a):
    if a > 641:
        return op_VCoQhphGv5(op_TPY4Vhd24N(a,a),op_6aG7x05OhS(a))
    else:
        return op_Q8Thw7a1vL(op_mQ08XF8cJl(a),op_dbdAhqSh71(a,a))

def op_count_qc1S3dC2cV(a):
    if a > 641:
        count = op_count_TPY4Vhd24N(a,a)+op_count_6aG7x05OhS(a)+op_count_VCoQhphGv5(op_TPY4Vhd24N(a,a),op_6aG7x05OhS(a))
    else:
        count = op_count_mQ08XF8cJl(a)+op_count_dbdAhqSh71(a,a)+op_count_Q8Thw7a1vL(op_mQ08XF8cJl(a),op_dbdAhqSh71(a,a))
    return count


def op_kxuhrQG1Qa(a):
    if op_8VBTcuE82Z(a) > 676 and op_ilw4q3lFWn(a) != 199:
        return op_w5FWba1tyO(162)
    else:
        return op_9Trn0TUFRY(31,a)

def op_count_kxuhrQG1Qa(a):
    if op_8VBTcuE82Z(a) > 676 and op_ilw4q3lFWn(a) != 199:
        count = op_count_w5FWba1tyO(162)+op_count_8VBTcuE82Z(a)+op_count_ilw4q3lFWn(a)
    else:
        count = op_count_9Trn0TUFRY(31,a)
    return count


def op_gts6y0tmGH(a, b):
    return op_ZMlAXoltN4(op_KYL1uVeVpb(op_yqthOfQm3e(b,b),op_7fI9Cgzuff(a)))

def op_count_gts6y0tmGH(a, b):
    count = op_count_yqthOfQm3e(b,b)+op_count_7fI9Cgzuff(a)+op_count_KYL1uVeVpb(op_yqthOfQm3e(b,b),op_7fI9Cgzuff(a))+op_count_ZMlAXoltN4(op_KYL1uVeVpb(op_yqthOfQm3e(b,b),op_7fI9Cgzuff(a)))
    return count


def op_Q9ypIJTrk8(a, b):
    return op_tQq6REDPEr(op_oa1nrqFkD0(op_k5AdHc7A76(b,b),a))

def op_count_Q9ypIJTrk8(a, b):
    count = op_count_k5AdHc7A76(b,b)+op_count_oa1nrqFkD0(op_k5AdHc7A76(b,b),a)+op_count_tQq6REDPEr(op_oa1nrqFkD0(op_k5AdHc7A76(b,b),a))
    return count


def op_DRIDsgTGz3(a, b):
    if b <= 27 or op_Ih3UVhBbvd(a,713) < 341:
        return op_bT2YGab5tl(op_PJGQTStt8b(op_RXUpafmlG7(212,b)),b)
    else:
        return op_4kjqOuz2u2(op_kr7qJdbOdS(op_hPFeJH6INu(694),op_Qctrpi3WzA(19)))

def op_count_DRIDsgTGz3(a, b):
    if b <= 27 or op_Ih3UVhBbvd(a,713) < 341:
        count = op_count_RXUpafmlG7(212,b)+op_count_PJGQTStt8b(op_RXUpafmlG7(212,b))+op_count_bT2YGab5tl(op_PJGQTStt8b(op_RXUpafmlG7(212,b)),b)+op_count_Ih3UVhBbvd(a,713)
    else:
        count = op_count_hPFeJH6INu(694)+op_count_Qctrpi3WzA(19)+op_count_kr7qJdbOdS(op_hPFeJH6INu(694),op_Qctrpi3WzA(19))+op_count_4kjqOuz2u2(op_kr7qJdbOdS(op_hPFeJH6INu(694),op_Qctrpi3WzA(19)))
    return count


def op_HeMnLyugZY(a):
    if op_uIQPaHHdVQ(a,589) < 133:
        return op_aMUSaJuDRU(op_2Yy7IiVHWW(a,a))
    else:
        return op_igGQ9BmGhw(op_bwYBi1zm8f(403))

def op_count_HeMnLyugZY(a):
    if op_uIQPaHHdVQ(a,589) < 133:
        count = op_count_2Yy7IiVHWW(a,a)+op_count_aMUSaJuDRU(op_2Yy7IiVHWW(a,a))+op_count_uIQPaHHdVQ(a,589)
    else:
        count = op_count_bwYBi1zm8f(403)+op_count_igGQ9BmGhw(op_bwYBi1zm8f(403))
    return count


def op_9Xid4KwaQf(a, b):
    if (op_ZDUbDbWw3f(a) > 142 or op_QyJFccSbaX(a,14) > 719 or op_iKsoMkOqp0(a) < 170):
        return op_xTDqZxPsQw(op_nDybdB13Ph(b,op_o9aZmLR5oB(b,106)),op_TiGufyBplZ(op_NkHGXixdNJ(a,12),op_B7h40RZuRL(417,b)))
    else:
        return op_5KTvxBwnZo(op_Ih3UVhBbvd(op_JAsMQSYFYM(b),op_pvbE2flhr7(140,a)),op_cu7YvshKwT(op_CrdmZwrWDO(40,a),op_z9ffQ9n5Zr(b,b)))

def op_count_9Xid4KwaQf(a, b):
    if (op_ZDUbDbWw3f(a) > 142 or op_QyJFccSbaX(a,14) > 719 or op_iKsoMkOqp0(a) < 170):
        count = op_count_o9aZmLR5oB(b,106)+op_count_nDybdB13Ph(b,op_o9aZmLR5oB(b,106))+op_count_NkHGXixdNJ(a,12)+op_count_B7h40RZuRL(417,b)+op_count_TiGufyBplZ(op_NkHGXixdNJ(a,12),op_B7h40RZuRL(417,b))+op_count_xTDqZxPsQw(op_nDybdB13Ph(b,op_o9aZmLR5oB(b,106)),op_TiGufyBplZ(op_NkHGXixdNJ(a,12),op_B7h40RZuRL(417,b)))+op_count_ZDUbDbWw3f(a)+op_count_QyJFccSbaX(a,14)+op_count_iKsoMkOqp0(a)
    else:
        count = op_count_JAsMQSYFYM(b)+op_count_pvbE2flhr7(140,a)+op_count_Ih3UVhBbvd(op_JAsMQSYFYM(b),op_pvbE2flhr7(140,a))+op_count_CrdmZwrWDO(40,a)+op_count_z9ffQ9n5Zr(b,b)+op_count_cu7YvshKwT(op_CrdmZwrWDO(40,a),op_z9ffQ9n5Zr(b,b))+op_count_5KTvxBwnZo(op_Ih3UVhBbvd(op_JAsMQSYFYM(b),op_pvbE2flhr7(140,a)),op_cu7YvshKwT(op_CrdmZwrWDO(40,a),op_z9ffQ9n5Zr(b,b)))
    return count


def op_2R4X7OjCiB(a):
    if a != 126:
        return op_096fXiO8sA(a)
    else:
        return op_AU7eUHalbZ(a,398)

def op_count_2R4X7OjCiB(a):
    if a != 126:
        count = op_count_096fXiO8sA(a)
    else:
        count = op_count_AU7eUHalbZ(a,398)
    return count


a⪃⩨⪌b = { (b∝∎a) , if (⇋↷a)>=655 ; (106⊇⨟∦) , else }

def op_I9T9sjUhpJ(a, b):
    if op_SWo3A1KBJH(a) >= 655:
        return op_qLiEs2rVxT(b,a)
    else:
        return op_4wdLeFtEcX(106)

def op_count_I9T9sjUhpJ(a, b):
    if op_SWo3A1KBJH(a) >= 655:
        count = op_count_qLiEs2rVxT(b,a)+op_count_SWo3A1KBJH(a)
    else:
        count = op_count_4wdLeFtEcX(106)
    return count


def op_Eu0kHIc6Nx(a):
    return op_blCx0AD3sY(op_QbnwKVWMIQ(106,a),op_InRsNkjnGi(a,97))

def op_count_Eu0kHIc6Nx(a):
    count = op_count_QbnwKVWMIQ(106,a)+op_count_InRsNkjnGi(a,97)+op_count_blCx0AD3sY(op_QbnwKVWMIQ(106,a),op_InRsNkjnGi(a,97))
    return count


a∏≾⪝b = { ((⇋⊎⋝b)⩑∪*a) , if (a⨘≝)!=507 ; ((b⊳⫥a)⩅(a⇎)) , else }

def op_afN6VTYaCB(a, b):
    if op_SmMLjHq2eu(a) != 507:
        return op_PmZQOlcY5C(op_CzM2PEoXns(b),a)
    else:
        return op_WHvsDZpt7Z(op_43rC1QlCBa(b,a),op_F3U2LKoYzR(a))

def op_count_afN6VTYaCB(a, b):
    if op_SmMLjHq2eu(a) != 507:
        count = op_count_CzM2PEoXns(b)+op_count_PmZQOlcY5C(op_CzM2PEoXns(b),a)+op_count_SmMLjHq2eu(a)
    else:
        count = op_count_43rC1QlCBa(b,a)+op_count_F3U2LKoYzR(a)+op_count_WHvsDZpt7Z(op_43rC1QlCBa(b,a),op_F3U2LKoYzR(a))
    return count


def op_DW3EG0qbrJ(a):
    return op_xrB6SlzufE(op_xWKacU4PIG(a),op_S2ubVDYUV4(a,a))

def op_count_DW3EG0qbrJ(a):
    count = op_count_xWKacU4PIG(a)+op_count_S2ubVDYUV4(a,a)+op_count_xrB6SlzufE(op_xWKacU4PIG(a),op_S2ubVDYUV4(a,a))
    return count


a↢⇡⪬b = { (⇰b) , if (↽⫑⋬a)>=437 ; (((364↬⊬⨎)⋒⫆⊙(41↕∇⋍439))≁↽≥((b⊛⋬⋔b)⫆)) , else }

def op_x8gJv5z0tQ(a, b):
    if op_alUqptSmQ5(a) >= 437:
        return op_zc1INhisa1(b)
    else:
        return op_ncHt1X6cMc(op_i6kyr1sQ78(op_w2GmOHlCFs(364),op_XRjwFXip4B(41,439)),op_cGHQRUc1Fx(op_WvLrLe1sfH(b,b)))

def op_count_x8gJv5z0tQ(a, b):
    if op_alUqptSmQ5(a) >= 437:
        count = op_count_zc1INhisa1(b)+op_count_alUqptSmQ5(a)
    else:
        count = op_count_w2GmOHlCFs(364)+op_count_XRjwFXip4B(41,439)+op_count_i6kyr1sQ78(op_w2GmOHlCFs(364),op_XRjwFXip4B(41,439))+op_count_WvLrLe1sfH(b,b)+op_count_cGHQRUc1Fx(op_WvLrLe1sfH(b,b))+op_count_ncHt1X6cMc(op_i6kyr1sQ78(op_w2GmOHlCFs(364),op_XRjwFXip4B(41,439)),op_cGHQRUc1Fx(op_WvLrLe1sfH(b,b)))
    return count


def op_gkW62pasg3(a):
    if op_aqU8F3SgaS(a,499) <= 528:
        return op_LDYsZkKpXC(op_e1wGt9VEHG(op_RtdllnjmMA(a),op_T7VIbm5pD2(a)),op_0KMCeP1Jsh(op_96sgIAAApN(a,a),op_4q4Wt1yQrE(a)))
    else:
        return op_hx5c7FTGAw(op_NjTKcMbAv0(op_XARkhMSjgT(613,a),op_lP51NIPzK8(a)),op_3gQ6yMJtm3(op_XIabStNQrY(a)))

def op_count_gkW62pasg3(a):
    if op_aqU8F3SgaS(a,499) <= 528:
        count = op_count_RtdllnjmMA(a)+op_count_T7VIbm5pD2(a)+op_count_e1wGt9VEHG(op_RtdllnjmMA(a),op_T7VIbm5pD2(a))+op_count_96sgIAAApN(a,a)+op_count_4q4Wt1yQrE(a)+op_count_0KMCeP1Jsh(op_96sgIAAApN(a,a),op_4q4Wt1yQrE(a))+op_count_LDYsZkKpXC(op_e1wGt9VEHG(op_RtdllnjmMA(a),op_T7VIbm5pD2(a)),op_0KMCeP1Jsh(op_96sgIAAApN(a,a),op_4q4Wt1yQrE(a)))+op_count_aqU8F3SgaS(a,499)
    else:
        count = op_count_XARkhMSjgT(613,a)+op_count_lP51NIPzK8(a)+op_count_NjTKcMbAv0(op_XARkhMSjgT(613,a),op_lP51NIPzK8(a))+op_count_XIabStNQrY(a)+op_count_3gQ6yMJtm3(op_XIabStNQrY(a))+op_count_hx5c7FTGAw(op_NjTKcMbAv0(op_XARkhMSjgT(613,a),op_lP51NIPzK8(a)),op_3gQ6yMJtm3(op_XIabStNQrY(a)))
    return count


a⫙⪢b = { ((b≅⩀b)⫊⪾⫇(b⫩)) , if (⩮⪙b)>37 ; ((∗⊁∖411)≋⊴⋅(a⫲⇓a)) , else }

def op_4WiZHdYfGJ(a, b):
    if op_1twl7c1emG(b) > 37:
        return op_svYG05ELwl(op_STXubeXA6y(b,b),op_6aG7x05OhS(b))
    else:
        return op_TWCuuHjbTv(op_tFor2jiNUU(411),op_i5hWbqkGkb(a,a))

def op_count_4WiZHdYfGJ(a, b):
    if op_1twl7c1emG(b) > 37:
        count = op_count_STXubeXA6y(b,b)+op_count_6aG7x05OhS(b)+op_count_svYG05ELwl(op_STXubeXA6y(b,b),op_6aG7x05OhS(b))+op_count_1twl7c1emG(b)
    else:
        count = op_count_tFor2jiNUU(411)+op_count_i5hWbqkGkb(a,a)+op_count_TWCuuHjbTv(op_tFor2jiNUU(411),op_i5hWbqkGkb(a,a))
    return count


def op_FEZDWGORxE(a):
    return op_gfvVrh7EOO(op_AzXXKTstlj(a,a))

def op_count_FEZDWGORxE(a):
    count = op_count_AzXXKTstlj(a,a)+op_count_gfvVrh7EOO(op_AzXXKTstlj(a,a))
    return count


def op_aUEgCsZcqv(a):
    return op_c2r3abcdex(op_FivK695Inb(a,a))

def op_count_aUEgCsZcqv(a):
    count = op_count_FivK695Inb(a,a)+op_count_c2r3abcdex(op_FivK695Inb(a,a))
    return count


⊖⊵↳a = { ((a⪜a)↩∔⇶(222↔≼∕a)) , if (a⋆⨑)==337 ; a , else }

def op_G7lIUhhxBf(a):
    if op_2NslUQYkCX(a) == 337:
        return op_ZM199RjHSm(op_EMR9JvRK8T(a,a),op_hL8JPCYIkc(222,a))
    else:
        return a

def op_count_G7lIUhhxBf(a):
    if op_2NslUQYkCX(a) == 337:
        count = op_count_EMR9JvRK8T(a,a)+op_count_hL8JPCYIkc(222,a)+op_count_ZM199RjHSm(op_EMR9JvRK8T(a,a),op_hL8JPCYIkc(222,a))+op_count_2NslUQYkCX(a)
    else:
        count = 1
    return count


def op_cfzbWQPbWn(a, b):
    if (op_dcpgubgqzi(b) == 637 and op_ov2Ek6r32i(b,319) == 356 and op_z17wd8OCOv(b) == 128):
        return op_Af076pWI7l(op_BuILyVhHs9(a),op_WIqUFij8FB(589))
    else:
        return op_K22rD7vRpP(op_BRZabeeXbq(b,a),op_5e3ejKfaG8(a,95))

def op_count_cfzbWQPbWn(a, b):
    if (op_dcpgubgqzi(b) == 637 and op_ov2Ek6r32i(b,319) == 356 and op_z17wd8OCOv(b) == 128):
        count = op_count_BuILyVhHs9(a)+op_count_WIqUFij8FB(589)+op_count_Af076pWI7l(op_BuILyVhHs9(a),op_WIqUFij8FB(589))+op_count_dcpgubgqzi(b)+op_count_ov2Ek6r32i(b,319)+op_count_z17wd8OCOv(b)
    else:
        count = op_count_BRZabeeXbq(b,a)+op_count_5e3ejKfaG8(a,95)+op_count_K22rD7vRpP(op_BRZabeeXbq(b,a),op_5e3ejKfaG8(a,95))
    return count


↵∃⋥a = { ((a⪁⨴⋨a)⫚⋫⊨(67≦⋶∫238)) , if a>=21 ; ((a≋⫝a)⫸⇍(⪚≷⊹a)) , else }

def op_CP0pdCDSZQ(a):
    if a >= 21:
        return op_6gQ0EqwXZr(op_y2kQTS4a70(a,a),op_UCZYOMlgcp(67,238))
    else:
        return op_RTaRm1inG1(op_HUtdSlaloT(a,a),op_D23Xndwgiw(a))

def op_count_CP0pdCDSZQ(a):
    if a >= 21:
        count = op_count_y2kQTS4a70(a,a)+op_count_UCZYOMlgcp(67,238)+op_count_6gQ0EqwXZr(op_y2kQTS4a70(a,a),op_UCZYOMlgcp(67,238))
    else:
        count = op_count_HUtdSlaloT(a,a)+op_count_D23Xndwgiw(a)+op_count_RTaRm1inG1(op_HUtdSlaloT(a,a),op_D23Xndwgiw(a))
    return count


a≯⨰⩬b = { (((a↡-a)⋛∕(a⨾≾≱b))⇌∀((b⇂≭a)⪔(b⇋∁↲a))) }

def op_TQ2Yr9YRxG(a, b):
    return op_XONPy1BCje(op_zCpJCfCzjV(op_O26jwKggyC(a,a),op_k328y6oGkW(a,b)),op_GjBEYRfMaF(op_ZilkyjA8lc(b,a),op_WWvgEODVog(b,a)))

def op_count_TQ2Yr9YRxG(a, b):
    count = op_count_O26jwKggyC(a,a)+op_count_k328y6oGkW(a,b)+op_count_zCpJCfCzjV(op_O26jwKggyC(a,a),op_k328y6oGkW(a,b))+op_count_ZilkyjA8lc(b,a)+op_count_WWvgEODVog(b,a)+op_count_GjBEYRfMaF(op_ZilkyjA8lc(b,a),op_WWvgEODVog(b,a))+op_count_XONPy1BCje(op_zCpJCfCzjV(op_O26jwKggyC(a,a),op_k328y6oGkW(a,b)),op_GjBEYRfMaF(op_ZilkyjA8lc(b,a),op_WWvgEODVog(b,a)))
    return count


⩦∫a = { ((0⪶⪛(a≤⪽a))⫌⨢≮(↑⩌≥(8⫠))) , if ((⊲⪿a)>=116 and (⇳⪻⋅a)>20 and (a⩹⩿)!=207) ; (((a∷⫾a)⫰⨅(a⨳a))⇘⋃⇠((a⩾⨝a)∶∼⩅(715⨠⨓))) , else }

def op_IqJOVNewhJ(a):
    if (op_plnrPrQ6BG(a) >= 116 and op_KjrLlKX7GV(a) > 20 and op_a8OUX58ZYt(a) != 207):
        return op_KIaJ2lWcks(op_FANGsEJwOi(0,op_rIhv4QYABv(a,a)),op_vtuEveK19u(op_6SnOT2rOjz(8)))
    else:
        return op_HCRZUvWJyW(op_tawivNIhYz(op_6FkTzFgkJV(a,a),op_YaB1w09lmH(a,a)),op_0m7WmqJHie(op_o0ENHGX9XF(a,a),op_SJDOyeoSQD(715)))

def op_count_IqJOVNewhJ(a):
    if (op_plnrPrQ6BG(a) >= 116 and op_KjrLlKX7GV(a) > 20 and op_a8OUX58ZYt(a) != 207):
        count = op_count_rIhv4QYABv(a,a)+op_count_FANGsEJwOi(0,op_rIhv4QYABv(a,a))+op_count_6SnOT2rOjz(8)+op_count_vtuEveK19u(op_6SnOT2rOjz(8))+op_count_KIaJ2lWcks(op_FANGsEJwOi(0,op_rIhv4QYABv(a,a)),op_vtuEveK19u(op_6SnOT2rOjz(8)))+op_count_plnrPrQ6BG(a)+op_count_KjrLlKX7GV(a)+op_count_a8OUX58ZYt(a)
    else:
        count = op_count_6FkTzFgkJV(a,a)+op_count_YaB1w09lmH(a,a)+op_count_tawivNIhYz(op_6FkTzFgkJV(a,a),op_YaB1w09lmH(a,a))+op_count_o0ENHGX9XF(a,a)+op_count_SJDOyeoSQD(715)+op_count_0m7WmqJHie(op_o0ENHGX9XF(a,a),op_SJDOyeoSQD(715))+op_count_HCRZUvWJyW(op_tawivNIhYz(op_6FkTzFgkJV(a,a),op_YaB1w09lmH(a,a)),op_0m7WmqJHie(op_o0ENHGX9XF(a,a),op_SJDOyeoSQD(715)))
    return count


def op_s1Tz6BTtfn(a):
    return op_WObL9SsYVE(op_gYvnWNXnJJ(op_Ez1Nq5fNfI(a,a)),op_opc8BSlPgk(op_NTOWxs364D(a,70),op_22Ei3FpL2i(80,372)))

def op_count_s1Tz6BTtfn(a):
    count = op_count_Ez1Nq5fNfI(a,a)+op_count_gYvnWNXnJJ(op_Ez1Nq5fNfI(a,a))+op_count_NTOWxs364D(a,70)+op_count_22Ei3FpL2i(80,372)+op_count_opc8BSlPgk(op_NTOWxs364D(a,70),op_22Ei3FpL2i(80,372))+op_count_WObL9SsYVE(op_gYvnWNXnJJ(op_Ez1Nq5fNfI(a,a)),op_opc8BSlPgk(op_NTOWxs364D(a,70),op_22Ei3FpL2i(80,372)))
    return count


def op_0ITT5qNjeF(a, b):
    if (op_cKMGO6HN71(b) != 296 or b != 449 or b != 452):
        return op_4Zbi407kdO(770)
    else:
        return op_z6LnFrNh4i(op_XO3djLyJMK(op_5tUnBSHxYC(b,b),op_ancsfN6GXi(16)),a)

def op_count_0ITT5qNjeF(a, b):
    if (op_cKMGO6HN71(b) != 296 or b != 449 or b != 452):
        count = op_count_4Zbi407kdO(770)+op_count_cKMGO6HN71(b)
    else:
        count = op_count_5tUnBSHxYC(b,b)+op_count_ancsfN6GXi(16)+op_count_XO3djLyJMK(op_5tUnBSHxYC(b,b),op_ancsfN6GXi(16))+op_count_z6LnFrNh4i(op_XO3djLyJMK(op_5tUnBSHxYC(b,b),op_ancsfN6GXi(16)),a)
    return count


def op_CmVL2L40O1(a):
    return op_XmtODG4Sr9(a,a)

def op_count_CmVL2L40O1(a):
    count = op_count_XmtODG4Sr9(a,a)
    return count


a%⋤ = { (a≩⪙a) , if (a⪴⊃⨩)!=217 ; (a⋛⩥) , else }

def op_U2SWEjfTBi(a):
    if op_Bj2VpOWG8x(a) != 217:
        return op_InRsNkjnGi(a,a)
    else:
        return op_lz4dBNPYLn(a)

def op_count_U2SWEjfTBi(a):
    if op_Bj2VpOWG8x(a) != 217:
        count = op_count_InRsNkjnGi(a,a)+op_count_Bj2VpOWG8x(a)
    else:
        count = op_count_lz4dBNPYLn(a)
    return count


def op_0XqrjeTRRo(a):
    return op_LRNGc0VcxI(63,op_t8gj7n24qd(a))

def op_count_0XqrjeTRRo(a):
    count = op_count_t8gj7n24qd(a)+op_count_LRNGc0VcxI(63,op_t8gj7n24qd(a))
    return count


a⊜↩⪆b = { (⇃(a⩰↠b)) , if b>=246 ; ((a⩚⩷⇎a)≂⫬(84⩻⫧↛16)) , else }

def op_FcuCst4tGM(a, b):
    if b >= 246:
        return op_i4Pfiorep6(op_s9l7B39Gy2(a,b))
    else:
        return op_TMkpIaZGd6(op_NYIHRc2x51(a,a),op_jFFapEqhGL(84,16))

def op_count_FcuCst4tGM(a, b):
    if b >= 246:
        count = op_count_s9l7B39Gy2(a,b)+op_count_i4Pfiorep6(op_s9l7B39Gy2(a,b))
    else:
        count = op_count_NYIHRc2x51(a,a)+op_count_jFFapEqhGL(84,16)+op_count_TMkpIaZGd6(op_NYIHRc2x51(a,a),op_jFFapEqhGL(84,16))
    return count


def op_cxlEkDdjyr(a):
    return op_yyfyN0ffXY(a,a)

def op_count_cxlEkDdjyr(a):
    count = op_count_yyfyN0ffXY(a,a)
    return count


def op_gX2EdgNtjd(a):
    if op_IDDgyz04Ei(a) <= 278:
        return op_1zuzTT1ORb(op_lz4dBNPYLn(535))
    else:
        return op_saLtbStKV3(op_CqXKPLVYql(a),op_N6aCA1AhH1(a,14))

def op_count_gX2EdgNtjd(a):
    if op_IDDgyz04Ei(a) <= 278:
        count = op_count_lz4dBNPYLn(535)+op_count_1zuzTT1ORb(op_lz4dBNPYLn(535))+op_count_IDDgyz04Ei(a)
    else:
        count = op_count_CqXKPLVYql(a)+op_count_N6aCA1AhH1(a,14)+op_count_saLtbStKV3(op_CqXKPLVYql(a),op_N6aCA1AhH1(a,14))
    return count


⪃∉a = { (a⋄⊲⪹(a⫢⇘∝(a≲⋳))) , if ((⪚⨷a)<=98 and (a⨴⇡≱892)!=176) ; (≏⪳((a⋗⇌)⨇∑⇷(a⇫a))) , else }

def op_ljFmKPBYlm(a):
    if (op_6LuFrogppQ(a) <= 98 and op_hOoiUWkgqb(a,892) != 176):
        return op_hqmS1nAjdO(a,op_4TVzEgIAOW(a,op_JAsMQSYFYM(a)))
    else:
        return op_SYOdA8ocB9(op_LCjPM0UdxD(op_14VFCNLema(a),op_MKCxaPE9tg(a,a)))

def op_count_ljFmKPBYlm(a):
    if (op_6LuFrogppQ(a) <= 98 and op_hOoiUWkgqb(a,892) != 176):
        count = op_count_JAsMQSYFYM(a)+op_count_4TVzEgIAOW(a,op_JAsMQSYFYM(a))+op_count_hqmS1nAjdO(a,op_4TVzEgIAOW(a,op_JAsMQSYFYM(a)))+op_count_6LuFrogppQ(a)+op_count_hOoiUWkgqb(a,892)
    else:
        count = op_count_14VFCNLema(a)+op_count_MKCxaPE9tg(a,a)+op_count_LCjPM0UdxD(op_14VFCNLema(a),op_MKCxaPE9tg(a,a))+op_count_SYOdA8ocB9(op_LCjPM0UdxD(op_14VFCNLema(a),op_MKCxaPE9tg(a,a)))
    return count


def op_OXr7lfFFHj(a, b):
    return op_ncHt1X6cMc(op_6o9Blt3TJ6(204,b),op_DEAy1fljX8(11,a))

def op_count_OXr7lfFFHj(a, b):
    count = op_count_6o9Blt3TJ6(204,b)+op_count_DEAy1fljX8(11,a)+op_count_ncHt1X6cMc(op_6o9Blt3TJ6(204,b),op_DEAy1fljX8(11,a))
    return count


a↪⪼ = { (→⩰a) , if (⩫⩨a)<=415 ; (a⫁∆⨗a) , else }

def op_fCAWMAbRMe(a):
    if op_A4UbYHBgWq(a) <= 415:
        return op_o8Pngz0Tml(a)
    else:
        return op_JAobebJkKA(a,a)

def op_count_fCAWMAbRMe(a):
    if op_A4UbYHBgWq(a) <= 415:
        count = op_count_o8Pngz0Tml(a)+op_count_A4UbYHBgWq(a)
    else:
        count = op_count_JAobebJkKA(a,a)
    return count


⇐↦⋚a = { ((a⨁843)⫫≠≯(a⨺⊨a)) , if a<=498 or (a≴∏⪏809)!=317 or (⊮−a)==592 ; ((↴⪽⋼a)≘⫸⩣(a⩴⇩⩭a)) , else }

def op_VtqEYElmKV(a):
    if a <= 498 or op_HSrfgE6sGr(a,809) != 317 or op_BX5yTvkFHV(a) == 592:
        return op_QIASkFMxnv(op_l455cbmnc3(a,843),op_VXHFBbhtXV(a,a))
    else:
        return op_Vzd1Za95Jr(op_5TUYCnJO6w(a),op_ZlduNN376N(a,a))

def op_count_VtqEYElmKV(a):
    if a <= 498 or op_HSrfgE6sGr(a,809) != 317 or op_BX5yTvkFHV(a) == 592:
        count = op_count_l455cbmnc3(a,843)+op_count_VXHFBbhtXV(a,a)+op_count_QIASkFMxnv(op_l455cbmnc3(a,843),op_VXHFBbhtXV(a,a))+op_count_HSrfgE6sGr(a,809)+op_count_BX5yTvkFHV(a)
    else:
        count = op_count_5TUYCnJO6w(a)+op_count_ZlduNN376N(a,a)+op_count_Vzd1Za95Jr(op_5TUYCnJO6w(a),op_ZlduNN376N(a,a))
    return count


def op_2numsfLJ92(a):
    return op_fLJG5zVr1z(op_dOQKZuJSrO(455),a)

def op_count_2numsfLJ92(a):
    count = op_count_dOQKZuJSrO(455)+op_count_fLJG5zVr1z(op_dOQKZuJSrO(455),a)
    return count


def op_HE4cl7szIj(a):
    return op_GSwCgIDeiS(op_lwHaAYXP2r(a,a))

def op_count_HE4cl7szIj(a):
    count = op_count_lwHaAYXP2r(a,a)+op_count_GSwCgIDeiS(op_lwHaAYXP2r(a,a))
    return count


a⊌∘⩲b = { (b⪷) , if (b⩍∍⪤808)<95 ; (b⪍↜⋙a) , else }

def op_c8Fsqxg8nU(a, b):
    if op_pevpteaPmM(b,808) < 95:
        return op_Qctrpi3WzA(b)
    else:
        return op_L05ObWFQCd(b,a)

def op_count_c8Fsqxg8nU(a, b):
    if op_pevpteaPmM(b,808) < 95:
        count = op_count_Qctrpi3WzA(b)+op_count_pevpteaPmM(b,808)
    else:
        count = op_count_L05ObWFQCd(b,a)
    return count


a⩉≮⩦b = { (⨺⫸≝(a⪱↫a)) , if b>12 ; ((⩞⊦314)⨯⫩∳) , else }

def op_w3FFX7NOSK(a, b):
    if b > 12:
        return op_NnTbxo2Idi(op_ZIsvYUQ4QW(a,a))
    else:
        return op_UHlgM6WGLb(op_mIp9d1kogY(314))

def op_count_w3FFX7NOSK(a, b):
    if b > 12:
        count = op_count_ZIsvYUQ4QW(a,a)+op_count_NnTbxo2Idi(op_ZIsvYUQ4QW(a,a))
    else:
        count = op_count_mIp9d1kogY(314)+op_count_UHlgM6WGLb(op_mIp9d1kogY(314))
    return count


def op_RARnWTZcz4(a):
    return op_CY7sw4XNp1(op_cnKzxr1wWw(a,a),op_AljMvE3RRm(a))

def op_count_RARnWTZcz4(a):
    count = op_count_cnKzxr1wWw(a,a)+op_count_AljMvE3RRm(a)+op_count_CY7sw4XNp1(op_cnKzxr1wWw(a,a),op_AljMvE3RRm(a))
    return count


a⇸∍b = { ((b⋐≟⩺422)⫂⋷a) , if (⩂⩧≞a)>207 ; ((a≮⫀↢b)≯⩮⩓(a↠)) , else }

def op_MCGaq0s4v9(a, b):
    if op_BPaCcFBkCD(a) > 207:
        return op_cqe5JS8r4F(op_PjbVkMzmXE(b,422),a)
    else:
        return op_wcUnr516Gq(op_seBVGjDgw8(a,b),op_LBdsKIvxzf(a))

def op_count_MCGaq0s4v9(a, b):
    if op_BPaCcFBkCD(a) > 207:
        count = op_count_PjbVkMzmXE(b,422)+op_count_cqe5JS8r4F(op_PjbVkMzmXE(b,422),a)+op_count_BPaCcFBkCD(a)
    else:
        count = op_count_seBVGjDgw8(a,b)+op_count_LBdsKIvxzf(a)+op_count_wcUnr516Gq(op_seBVGjDgw8(a,b),op_LBdsKIvxzf(a))
    return count


∇⩉a = { ((a⪏⇁⨻74)↽⩔(a⋂⇧⇘31)) , if a>560 ; ((a⨲∙)⊱⋝(a⩜⫱a)) , else }

def op_hqXHKXjXvg(a):
    if a > 560:
        return op_pC37afr74b(op_Bw1fwYnFxE(a,74),op_YjSJMwvp8X(a,31))
    else:
        return op_EJvLRUhMvt(op_cRahaglYVE(a),op_6lEGX12sqf(a,a))

def op_count_hqXHKXjXvg(a):
    if a > 560:
        count = op_count_Bw1fwYnFxE(a,74)+op_count_YjSJMwvp8X(a,31)+op_count_pC37afr74b(op_Bw1fwYnFxE(a,74),op_YjSJMwvp8X(a,31))
    else:
        count = op_count_cRahaglYVE(a)+op_count_6lEGX12sqf(a,a)+op_count_EJvLRUhMvt(op_cRahaglYVE(a),op_6lEGX12sqf(a,a))
    return count


def op_1E3ewFh0Cg(a):
    return op_hmRjlYdCYn(op_ut0Nd8ObBp(op_cuBJ82CzGp(462,a)),op_0wRoqxy0RT(op_0De0cgdyF4(a),op_AiZuih6wUj(a,a)))

def op_count_1E3ewFh0Cg(a):
    count = op_count_cuBJ82CzGp(462,a)+op_count_ut0Nd8ObBp(op_cuBJ82CzGp(462,a))+op_count_0De0cgdyF4(a)+op_count_AiZuih6wUj(a,a)+op_count_0wRoqxy0RT(op_0De0cgdyF4(a),op_AiZuih6wUj(a,a))+op_count_hmRjlYdCYn(op_ut0Nd8ObBp(op_cuBJ82CzGp(462,a)),op_0wRoqxy0RT(op_0De0cgdyF4(a),op_AiZuih6wUj(a,a)))
    return count


def op_v2tTHrGLVB(a):
    return op_BLLGLRFJVt(op_hMGfXo4m8J(a,a))

def op_count_v2tTHrGLVB(a):
    count = op_count_hMGfXo4m8J(a,a)+op_count_BLLGLRFJVt(op_hMGfXo4m8J(a,a))
    return count


def op_GGjhROnT7v(a):
    return op_RTaRm1inG1(op_ShBvFzxPDQ(op_B4c4JXCTtZ(a)),op_cUXFxtvyhI(op_qYpz2WEVq4(99,a),a))

def op_count_GGjhROnT7v(a):
    count = op_count_B4c4JXCTtZ(a)+op_count_ShBvFzxPDQ(op_B4c4JXCTtZ(a))+op_count_qYpz2WEVq4(99,a)+op_count_cUXFxtvyhI(op_qYpz2WEVq4(99,a),a)+op_count_RTaRm1inG1(op_ShBvFzxPDQ(op_B4c4JXCTtZ(a)),op_cUXFxtvyhI(op_qYpz2WEVq4(99,a),a))
    return count


⋳⪸⫐a = { ((51⊴⩆⊰524)∑⊿≛(a⫅)) , if a>493 ; ((a⪹⫧⇽)⨜⨶(⫪a)) , else }

def op_JopPwlIpwK(a):
    if a > 493:
        return op_HBr05eZif0(op_hkd0AjIQJB(51,524),op_iI58LvO9D4(a))
    else:
        return op_HiPekx5b7W(op_RUvFhAOGfE(a),op_sn1NV54cqk(a))

def op_count_JopPwlIpwK(a):
    if a > 493:
        count = op_count_hkd0AjIQJB(51,524)+op_count_iI58LvO9D4(a)+op_count_HBr05eZif0(op_hkd0AjIQJB(51,524),op_iI58LvO9D4(a))
    else:
        count = op_count_RUvFhAOGfE(a)+op_count_sn1NV54cqk(a)+op_count_HiPekx5b7W(op_RUvFhAOGfE(a),op_sn1NV54cqk(a))
    return count


a∶↧↴b = { ((⋑∠(a⋕⫓⨞2))⨘↽((⫴⫣a)⩢(b⨯∁⨏251))) , if b>=719 ; (((↳⪥200)⊫⊯(a⪺≿b))∳⫺((b⇹⊁)∃⫝̸)) , else }

def op_FMFOEVJ6On(a, b):
    if b >= 719:
        return op_DHxEmMn2cg(op_kUU6uY7bNG(op_HTQeboLAuK(a,2)),op_xCh8PLxVLz(op_4ViIqD7dWl(a),op_0wRoqxy0RT(b,251)))
    else:
        return op_AzXXKTstlj(op_OlS1syIyuj(op_cn4QIenjMV(200),op_dj54johvPQ(a,b)),op_DWEcSmf8PJ(op_zIH5p6XAlz(b)))

def op_count_FMFOEVJ6On(a, b):
    if b >= 719:
        count = op_count_HTQeboLAuK(a,2)+op_count_kUU6uY7bNG(op_HTQeboLAuK(a,2))+op_count_4ViIqD7dWl(a)+op_count_0wRoqxy0RT(b,251)+op_count_xCh8PLxVLz(op_4ViIqD7dWl(a),op_0wRoqxy0RT(b,251))+op_count_DHxEmMn2cg(op_kUU6uY7bNG(op_HTQeboLAuK(a,2)),op_xCh8PLxVLz(op_4ViIqD7dWl(a),op_0wRoqxy0RT(b,251)))
    else:
        count = op_count_cn4QIenjMV(200)+op_count_dj54johvPQ(a,b)+op_count_OlS1syIyuj(op_cn4QIenjMV(200),op_dj54johvPQ(a,b))+op_count_zIH5p6XAlz(b)+op_count_DWEcSmf8PJ(op_zIH5p6XAlz(b))+op_count_AzXXKTstlj(op_OlS1syIyuj(op_cn4QIenjMV(200),op_dj54johvPQ(a,b)),op_DWEcSmf8PJ(op_zIH5p6XAlz(b)))
    return count


def op_rr1I3iGrvr(a):
    return op_Qglmzouulk(op_yWyjdngDvQ(op_PmR7WuS4AT(a,a),op_RdfFZieUng(a,a)),a)

def op_count_rr1I3iGrvr(a):
    count = op_count_PmR7WuS4AT(a,a)+op_count_RdfFZieUng(a,a)+op_count_yWyjdngDvQ(op_PmR7WuS4AT(a,a),op_RdfFZieUng(a,a))+op_count_Qglmzouulk(op_yWyjdngDvQ(op_PmR7WuS4AT(a,a),op_RdfFZieUng(a,a)),a)
    return count

PmR7WuS4AT Qglmzouulk RdfFZieUng yWyjdngDvQ


def op_LfIsSpmOd6(a):
    return op_uvdQJvN4PV(op_Ysezvhzhur(a,a),op_xrB6SlzufE(542,a))

def op_count_LfIsSpmOd6(a):
    count = op_count_Ysezvhzhur(a,a)+op_count_xrB6SlzufE(542,a)+op_count_uvdQJvN4PV(op_Ysezvhzhur(a,a),op_xrB6SlzufE(542,a))
    return count


a⪸↘⩇ = { (((a⊕∕443)⪠⊗(⪸∊534))↯⩨(⩏⩺⪨(a⇲a))) , if (⫭≬a)>2 ; (((a⫻⨧a)⊻(a∫⩸a))⋀⪁((a≣⋋)⊚⫌(a⋍⨍a))) , else }

def op_lNEVCi3l3o(a):
    if op_S7Dkc5Re0B(a) > 2:
        return op_tAdjUBznzo(op_HhERX61e69(op_9cloC0Ngie(a,443),op_L46geuqLrK(534)),op_CKhxHrN1Ki(op_24nwyATvD7(a,a)))
    else:
        return op_csP1NBikjX(op_exzyYvvvzF(op_h5YN6hAmmS(a,a),op_OpIL6DGFIM(a,a)),op_gSB9CMo1tN(op_Tcnh7f0tEr(a),op_NjmQ0Rwe72(a,a)))

def op_count_lNEVCi3l3o(a):
    if op_S7Dkc5Re0B(a) > 2:
        count = op_count_9cloC0Ngie(a,443)+op_count_L46geuqLrK(534)+op_count_HhERX61e69(op_9cloC0Ngie(a,443),op_L46geuqLrK(534))+op_count_24nwyATvD7(a,a)+op_count_CKhxHrN1Ki(op_24nwyATvD7(a,a))+op_count_tAdjUBznzo(op_HhERX61e69(op_9cloC0Ngie(a,443),op_L46geuqLrK(534)),op_CKhxHrN1Ki(op_24nwyATvD7(a,a)))+op_count_S7Dkc5Re0B(a)
    else:
        count = op_count_h5YN6hAmmS(a,a)+op_count_OpIL6DGFIM(a,a)+op_count_exzyYvvvzF(op_h5YN6hAmmS(a,a),op_OpIL6DGFIM(a,a))+op_count_Tcnh7f0tEr(a)+op_count_NjmQ0Rwe72(a,a)+op_count_gSB9CMo1tN(op_Tcnh7f0tEr(a),op_NjmQ0Rwe72(a,a))+op_count_csP1NBikjX(op_exzyYvvvzF(op_h5YN6hAmmS(a,a),op_OpIL6DGFIM(a,a)),op_gSB9CMo1tN(op_Tcnh7f0tEr(a),op_NjmQ0Rwe72(a,a)))
    return count


a∹∻⇽ = { ((a⫢⩮↷)⇊⋎⊡(a⇧⫩55)) , if (⪁⫅≨a)==211 and (a⫆⊵⊬)!=110 and a>20 ; ((a⇃⩛⇬504)≘⨍⩢(a⊥⋀a)) , else }

def op_ltMW3l6iBZ(a):
    if op_YApyZlDuBr(a) == 211 and op_NRjb64JMe1(a) != 110 and a > 20:
        return op_svRCeDQHR0(op_BLLGLRFJVt(a),op_IEFjhcG7wC(a,55))
    else:
        return op_y1Bs0Kwqk0(op_ZyEASfasF5(a,504),op_2HYkBhA3K5(a,a))

def op_count_ltMW3l6iBZ(a):
    if op_YApyZlDuBr(a) == 211 and op_NRjb64JMe1(a) != 110 and a > 20:
        count = op_count_BLLGLRFJVt(a)+op_count_IEFjhcG7wC(a,55)+op_count_svRCeDQHR0(op_BLLGLRFJVt(a),op_IEFjhcG7wC(a,55))+op_count_YApyZlDuBr(a)+op_count_NRjb64JMe1(a)
    else:
        count = op_count_ZyEASfasF5(a,504)+op_count_2HYkBhA3K5(a,a)+op_count_y1Bs0Kwqk0(op_ZyEASfasF5(a,504),op_2HYkBhA3K5(a,a))
    return count


def op_pHhtprUskU(a):
    return op_Cwt3GTOVka(a,op_I7sXao9hZE(a,a))

def op_count_pHhtprUskU(a):
    count = op_count_I7sXao9hZE(a,a)+op_count_Cwt3GTOVka(a,op_I7sXao9hZE(a,a))
    return count


⪏↑⊶a = { ((⪕↣⫥(a≣⋋))⪾↻((a≋≥a)⊮⩠(10≝))) }

def op_yrpA4BsJve(a):
    return op_2YN3RQf1Sk(op_wTbdp8pxvm(op_Tcnh7f0tEr(a)),op_VIybuTSL33(op_p8rocv1ccI(a,a),op_qediHccxJ2(10)))

def op_count_yrpA4BsJve(a):
    count = op_count_Tcnh7f0tEr(a)+op_count_wTbdp8pxvm(op_Tcnh7f0tEr(a))+op_count_p8rocv1ccI(a,a)+op_count_qediHccxJ2(10)+op_count_VIybuTSL33(op_p8rocv1ccI(a,a),op_qediHccxJ2(10))+op_count_2YN3RQf1Sk(op_wTbdp8pxvm(op_Tcnh7f0tEr(a)),op_VIybuTSL33(op_p8rocv1ccI(a,a),op_qediHccxJ2(10)))
    return count


def op_YmnTD7NdNh(a):
    return op_leeyKC4ZFN(op_QTzpnREx4U(a,a),op_7uNwVuK1U2(314))

def op_count_YmnTD7NdNh(a):
    count = op_count_QTzpnREx4U(a,a)+op_count_7uNwVuK1U2(314)+op_count_leeyKC4ZFN(op_QTzpnREx4U(a,a),op_7uNwVuK1U2(314))
    return count


def op_xcNeQXzqmV(a, b):
    return op_0KMCeP1Jsh(op_aOI3TlLUAE(a),op_4OmwL35pJX(b,a))

def op_count_xcNeQXzqmV(a, b):
    count = op_count_aOI3TlLUAE(a)+op_count_4OmwL35pJX(b,a)+op_count_0KMCeP1Jsh(op_aOI3TlLUAE(a),op_4OmwL35pJX(b,a))
    return count


a⨓≏↨b = { (b⇆⪛≍a) , if (a⨊⊣)>=198 ; (⊉↲b) , else }

def op_FFb7DDTmUH(a, b):
    if op_zE39I6mTOd(a) >= 198:
        return op_15fnz2YIbx(b,a)
    else:
        return op_fkZUW4eOKP(b)

def op_count_FFb7DDTmUH(a, b):
    if op_zE39I6mTOd(a) >= 198:
        count = op_count_15fnz2YIbx(b,a)+op_count_zE39I6mTOd(a)
    else:
        count = op_count_fkZUW4eOKP(b)
    return count


a⨜⇛b = { (0∝∎a) , if (a⨠∀⫧852)<415 ; (b⫂↦⪌b) , else }

def op_JV9o9Fo6VE(a, b):
    if op_griT9ijWOv(a,852) < 415:
        return op_qLiEs2rVxT(0,a)
    else:
        return op_uBbSXYMpE2(b,b)

def op_count_JV9o9Fo6VE(a, b):
    if op_griT9ijWOv(a,852) < 415:
        count = op_count_qLiEs2rVxT(0,a)+op_count_griT9ijWOv(a,852)
    else:
        count = op_count_uBbSXYMpE2(b,b)
    return count


def op_tJ3alQfbpD(a, b):
    return op_Qglmzouulk(b,op_Iel5ZjMdzh(a))

def op_count_tJ3alQfbpD(a, b):
    count = op_count_Iel5ZjMdzh(a)+op_count_Qglmzouulk(b,op_Iel5ZjMdzh(a))
    return count


def op_5EuqP1ofBQ(a, b):
    return op_OKGz76xQTU(op_oZj3VtZNQx(a,a),op_lIlUPQxqM5(b))

def op_count_5EuqP1ofBQ(a, b):
    count = op_count_oZj3VtZNQx(a,a)+op_count_lIlUPQxqM5(b)+op_count_OKGz76xQTU(op_oZj3VtZNQx(a,a),op_lIlUPQxqM5(b))
    return count


a∎∲b = { (71↾a) , if a<421 ; (b∔⊅b) , else }

def op_vXGN5xuWnR(a, b):
    if a < 421:
        return op_XmtODG4Sr9(71,a)
    else:
        return op_20at030mKx(b,b)

def op_count_vXGN5xuWnR(a, b):
    if a < 421:
        count = op_count_XmtODG4Sr9(71,a)
    else:
        count = op_count_20at030mKx(b,b)
    return count


≗⇅⪃a = { ((a⨺⪴a)⊟↞⨋) , if (↫⩷≞a)>9 ; ((a⩜⩆57)⫇⊯(⪅⇄a)) , else }

def op_vO4w1kPpBp(a):
    if op_9h3kpCOncX(a) > 9:
        return op_akoXB3dKtI(op_v9KVZbcFsa(a,a))
    else:
        return op_pxtEXgrBIH(op_gBZ5YI4mOE(a,57),op_xMR2S8fb9y(a))

def op_count_vO4w1kPpBp(a):
    if op_9h3kpCOncX(a) > 9:
        count = op_count_v9KVZbcFsa(a,a)+op_count_akoXB3dKtI(op_v9KVZbcFsa(a,a))+op_count_9h3kpCOncX(a)
    else:
        count = op_count_gBZ5YI4mOE(a,57)+op_count_xMR2S8fb9y(a)+op_count_pxtEXgrBIH(op_gBZ5YI4mOE(a,57),op_xMR2S8fb9y(a))
    return count


a⪲⊚b = { ((⇄≱↜(a⨓↶a))⫑⋡((b⪾↻b)∗(b⫒⪤a))) , if (⪪⩖∯b)<173 ; ((⪭⩑⪱(⫰⫭54))↻(⇽⫴(a⩳∖))) , else }

def op_HliYdHbTqc(a, b):
    if op_MzISTVg6W9(b) < 173:
        return op_fBv0GnY1At(op_Vx83N9Bscg(op_h0RDTF413h(a,a)),op_9aXLFNf8dt(op_2YN3RQf1Sk(b,b),op_EiH4xaClOJ(b,a)))
    else:
        return op_XFunts32PM(op_SIgE0bArFf(op_dTupBmadvU(54)),op_u3AByXkUAq(op_VRmlYNqEUC(a)))

def op_count_HliYdHbTqc(a, b):
    if op_MzISTVg6W9(b) < 173:
        count = op_count_h0RDTF413h(a,a)+op_count_Vx83N9Bscg(op_h0RDTF413h(a,a))+op_count_2YN3RQf1Sk(b,b)+op_count_EiH4xaClOJ(b,a)+op_count_9aXLFNf8dt(op_2YN3RQf1Sk(b,b),op_EiH4xaClOJ(b,a))+op_count_fBv0GnY1At(op_Vx83N9Bscg(op_h0RDTF413h(a,a)),op_9aXLFNf8dt(op_2YN3RQf1Sk(b,b),op_EiH4xaClOJ(b,a)))+op_count_MzISTVg6W9(b)
    else:
        count = op_count_dTupBmadvU(54)+op_count_SIgE0bArFf(op_dTupBmadvU(54))+op_count_VRmlYNqEUC(a)+op_count_u3AByXkUAq(op_VRmlYNqEUC(a))+op_count_XFunts32PM(op_SIgE0bArFf(op_dTupBmadvU(54)),op_u3AByXkUAq(op_VRmlYNqEUC(a)))
    return count


def op_R2HynRqwTS(a, b):
    return op_y16C4hJIbn(op_Q7Tf3RkJUn(op_ljcfZBUpm8(a)),op_85RiJAE5nc(op_ntT9PAI6rF(a,b)))

def op_count_R2HynRqwTS(a, b):
    count = op_count_ljcfZBUpm8(a)+op_count_Q7Tf3RkJUn(op_ljcfZBUpm8(a))+op_count_ntT9PAI6rF(a,b)+op_count_85RiJAE5nc(op_ntT9PAI6rF(a,b))+op_count_y16C4hJIbn(op_Q7Tf3RkJUn(op_ljcfZBUpm8(a)),op_85RiJAE5nc(op_ntT9PAI6rF(a,b)))
    return count


def op_Xt9FLAqpNL(a):
    return op_HJDcuLMPgt(op_RTaRm1inG1(op_6BFomJzHVX(416,a),180),op_w4eTsxfO5i(51,a))

def op_count_Xt9FLAqpNL(a):
    count = op_count_6BFomJzHVX(416,a)+op_count_RTaRm1inG1(op_6BFomJzHVX(416,a),180)+op_count_w4eTsxfO5i(51,a)+op_count_HJDcuLMPgt(op_RTaRm1inG1(op_6BFomJzHVX(416,a),180),op_w4eTsxfO5i(51,a))
    return count


a∲↬b = { a , if (a⇲541)!=116 ; (≷∋(b↯⪋≎b)) , else }

def op_hQONRmdWAv(a, b):
    if op_24nwyATvD7(a,541) != 116:
        return a
    else:
        return op_kbaSw8JX5v(op_Y827t4Oxkq(b,b))

def op_count_hQONRmdWAv(a, b):
    if op_24nwyATvD7(a,541) != 116:
        count = 1
    else:
        count = op_count_Y827t4Oxkq(b,b)+op_count_kbaSw8JX5v(op_Y827t4Oxkq(b,b))
    return count


⋅⇆≍a = { ((a⨖⇷a)⪘⫢(a⋅⇾⫱a)) , if (a⫽⋔)>89 or (⋞⊪∩a)>429 ; ((a⨨⪘⨔a)⇑⇊⩴(∟⋨152)) , else }

def op_uqVgAcEZfA(a):
    if op_bJjEIIhyQG(a) > 89 or op_FQxrAp7wUb(a) > 429:
        return op_oacrs7FA3X(op_JoVwyMeNnt(a,a),op_oxSU0Fg4Pf(a,a))
    else:
        return op_qUzyPcz3G4(op_MZbvLECGjt(a,a),op_ctOc4cKSDt(152))

def op_count_uqVgAcEZfA(a):
    if op_bJjEIIhyQG(a) > 89 or op_FQxrAp7wUb(a) > 429:
        count = op_count_JoVwyMeNnt(a,a)+op_count_oxSU0Fg4Pf(a,a)+op_count_oacrs7FA3X(op_JoVwyMeNnt(a,a),op_oxSU0Fg4Pf(a,a))+op_count_bJjEIIhyQG(a)+op_count_FQxrAp7wUb(a)
    else:
        count = op_count_MZbvLECGjt(a,a)+op_count_ctOc4cKSDt(152)+op_count_qUzyPcz3G4(op_MZbvLECGjt(a,a),op_ctOc4cKSDt(152))
    return count


def op_bgQisIqc4T(a):
    if a != 64 and op_XnXgA4xnOs(a,541) > 84:
        return op_0hEPAaAg8C(427,op_kzp3oYQzRT(op_JzgZF0Pirc(a),op_2D0NL1cXyo(a)))
    else:
        return op_xeKVJklxVA(op_lzETxEuxZT(op_dMSKA4bw4h(a,377),op_2MgFsFVNLE(137)),op_kYEX8TTQiv(op_tnyRA5sazQ(a,a),a))

def op_count_bgQisIqc4T(a):
    if a != 64 and op_XnXgA4xnOs(a,541) > 84:
        count = op_count_JzgZF0Pirc(a)+op_count_2D0NL1cXyo(a)+op_count_kzp3oYQzRT(op_JzgZF0Pirc(a),op_2D0NL1cXyo(a))+op_count_0hEPAaAg8C(427,op_kzp3oYQzRT(op_JzgZF0Pirc(a),op_2D0NL1cXyo(a)))+op_count_XnXgA4xnOs(a,541)
    else:
        count = op_count_dMSKA4bw4h(a,377)+op_count_2MgFsFVNLE(137)+op_count_lzETxEuxZT(op_dMSKA4bw4h(a,377),op_2MgFsFVNLE(137))+op_count_tnyRA5sazQ(a,a)+op_count_kYEX8TTQiv(op_tnyRA5sazQ(a,a),a)+op_count_xeKVJklxVA(op_lzETxEuxZT(op_dMSKA4bw4h(a,377),op_2MgFsFVNLE(137)),op_kYEX8TTQiv(op_tnyRA5sazQ(a,a),a))
    return count


a↼⨼≖b = { (((b⪶a)⇪⊔(a≣⋋))⨋⩬(b⨖⨖)) , if b<150 ; a , else }

def op_a5o92vvqms(a, b):
    if b < 150:
        return op_78bqUfsprq(op_RQrPGIk0z5(op_NvEvKO2R8S(b,a),op_Tcnh7f0tEr(a)),op_3BAGOm9Pcn(b))
    else:
        return a

def op_count_a5o92vvqms(a, b):
    if b < 150:
        count = op_count_NvEvKO2R8S(b,a)+op_count_Tcnh7f0tEr(a)+op_count_RQrPGIk0z5(op_NvEvKO2R8S(b,a),op_Tcnh7f0tEr(a))+op_count_3BAGOm9Pcn(b)+op_count_78bqUfsprq(op_RQrPGIk0z5(op_NvEvKO2R8S(b,a),op_Tcnh7f0tEr(a)),op_3BAGOm9Pcn(b))
    else:
        count = 1
    return count


∶⩞⋌a = { (((⨗∰a)∶∥⊗a)⨋∔⪎((⨅⇩a)⫽⪃(⫳⇭a))) }

def op_rKGcFFxFTS(a):
    return op_2eU2VkipYL(op_JpB1LdahAH(op_CJ87Qfugo0(a),a),op_FJ3oXK3UQ0(op_lbwCMbH8Kj(a),op_ntZ9O5VkpC(a)))

def op_count_rKGcFFxFTS(a):
    count = op_count_CJ87Qfugo0(a)+op_count_JpB1LdahAH(op_CJ87Qfugo0(a),a)+op_count_lbwCMbH8Kj(a)+op_count_ntZ9O5VkpC(a)+op_count_FJ3oXK3UQ0(op_lbwCMbH8Kj(a),op_ntZ9O5VkpC(a))+op_count_2eU2VkipYL(op_JpB1LdahAH(op_CJ87Qfugo0(a),a),op_FJ3oXK3UQ0(op_lbwCMbH8Kj(a),op_ntZ9O5VkpC(a)))
    return count


a⩓⇶⩹b = { (b≄a) , if b>=35 and a<=291 ; (∟⨄a) , else }

def op_uPssntxAAm(a, b):
    if b >= 35 and a <= 291:
        return op_fLJG5zVr1z(b,a)
    else:
        return op_Bdqd193sIk(a)

def op_count_uPssntxAAm(a, b):
    if b >= 35 and a <= 291:
        count = op_count_fLJG5zVr1z(b,a)
    else:
        count = op_count_Bdqd193sIk(a)
    return count


def op_f4e4hHdzZd(a):
    return op_bR7FmX73P0(op_Af076pWI7l(op_QILz4EHje6(a),op_uuALuEY20A(a)),a)

def op_count_f4e4hHdzZd(a):
    count = op_count_QILz4EHje6(a)+op_count_uuALuEY20A(a)+op_count_Af076pWI7l(op_QILz4EHje6(a),op_uuALuEY20A(a))+op_count_bR7FmX73P0(op_Af076pWI7l(op_QILz4EHje6(a),op_uuALuEY20A(a)),a)
    return count


def op_aKnxI7lfwN(a):
    return op_GRrQNMyeGD(a,114)

def op_count_aKnxI7lfwN(a):
    count = op_count_GRrQNMyeGD(a,114)
    return count


a%≮b = { (⇸⨐⪙a) , if (⫵⇟⊿b)<254 ; b , else }

def op_yjfBxyS6o0(a, b):
    if op_fyKlSCRHtl(b) < 254:
        return op_UhM7GxoAxS(a)
    else:
        return b

def op_count_yjfBxyS6o0(a, b):
    if op_fyKlSCRHtl(b) < 254:
        count = op_count_UhM7GxoAxS(a)+op_count_fyKlSCRHtl(b)
    else:
        count = 1
    return count


a∴⪣⋮b = { (b≻⇥≳a) , if (⩝↠a)<=465 ; (⪺a) , else }

def op_eYS7XQEuXU(a, b):
    if op_6fyZXHyWv3(a) <= 465:
        return op_aiqF8n6J9c(b,a)
    else:
        return op_HWsfkPJiI1(a)

def op_count_eYS7XQEuXU(a, b):
    if op_6fyZXHyWv3(a) <= 465:
        count = op_count_aiqF8n6J9c(b,a)+op_count_6fyZXHyWv3(a)
    else:
        count = op_count_HWsfkPJiI1(a)
    return count


a⊣⫭↾ = { (a⇑a) , if (⋠∠⇱a)<924 and (a≲⪆⩈158)==556 ; (a⪻⪾) , else }

def op_QKXIRweD9b(a):
    if op_BEKom63EOt(a) < 924 and op_BM16iZzMx8(a,158) == 556:
        return op_vBWREp8Jik(a,a)
    else:
        return op_tNJmPebg1k(a)

def op_count_QKXIRweD9b(a):
    if op_BEKom63EOt(a) < 924 and op_BM16iZzMx8(a,158) == 556:
        count = op_count_vBWREp8Jik(a,a)+op_count_BEKom63EOt(a)+op_count_BM16iZzMx8(a,158)
    else:
        count = op_count_tNJmPebg1k(a)
    return count


def op_Uvz1jkbtxv(a):
    if a <= 727 and op_lFdsUIK82P(a) == 199 and op_7fI9Cgzuff(a) == 58:
        return op_jkca4M7ITL(a,op_pCrAblrVOW(80))
    else:
        return op_1ji5VzsPO5(op_KmoU8R5UQR(a,a))

def op_count_Uvz1jkbtxv(a):
    if a <= 727 and op_lFdsUIK82P(a) == 199 and op_7fI9Cgzuff(a) == 58:
        count = op_count_pCrAblrVOW(80)+op_count_jkca4M7ITL(a,op_pCrAblrVOW(80))+op_count_lFdsUIK82P(a)+op_count_7fI9Cgzuff(a)
    else:
        count = op_count_KmoU8R5UQR(a,a)+op_count_1ji5VzsPO5(op_KmoU8R5UQR(a,a))
    return count


def op_8TxtlIfyZU(a):
    return op_4K99692Zgi(op_zPaW4OAyCC(op_6oBLqlZVSO(a,a),op_Vr0m5K9Tvy(a,530)))

def op_count_8TxtlIfyZU(a):
    count = op_count_6oBLqlZVSO(a,a)+op_count_Vr0m5K9Tvy(a,530)+op_count_zPaW4OAyCC(op_6oBLqlZVSO(a,a),op_Vr0m5K9Tvy(a,530))+op_count_4K99692Zgi(op_zPaW4OAyCC(op_6oBLqlZVSO(a,a),op_Vr0m5K9Tvy(a,530)))
    return count


≴⩝∌a = { (a∜a) , if (a⪝∫)<405 and a<341 ; a , else }

def op_vO4GrUuLqF(a):
    if op_BHIexZqHmj(a) < 405 and a < 341:
        return op_VX9aY244yz(a,a)
    else:
        return a

def op_count_vO4GrUuLqF(a):
    if op_BHIexZqHmj(a) < 405 and a < 341:
        count = op_count_VX9aY244yz(a,a)+op_count_BHIexZqHmj(a)
    else:
        count = 1
    return count


a⫤⨢ = { ((⋡⨘≙(a∢⨡≗a))⊹∫⫚((29⨦⋜↻455)≑∓(a⨥⩼⪨a))) }

def op_YvuNyUc2eg(a):
    return op_uWAJUKEvyW(op_tHss8q0tGc(op_j0FS1QXHo5(a,a)),op_SYQDw94fy9(op_yzfsDkmV9Q(29,455),op_rXSb8jWWu5(a,a)))

def op_count_YvuNyUc2eg(a):
    count = op_count_j0FS1QXHo5(a,a)+op_count_tHss8q0tGc(op_j0FS1QXHo5(a,a))+op_count_yzfsDkmV9Q(29,455)+op_count_rXSb8jWWu5(a,a)+op_count_SYQDw94fy9(op_yzfsDkmV9Q(29,455),op_rXSb8jWWu5(a,a))+op_count_uWAJUKEvyW(op_tHss8q0tGc(op_j0FS1QXHo5(a,a)),op_SYQDw94fy9(op_yzfsDkmV9Q(29,455),op_rXSb8jWWu5(a,a)))
    return count


a↺≁⫟ = { ((↔⊐⋟(⩲⨚a))≂∢((a⊜⨊a)⨍↙⩡(a≵⩾⇗a))) }

def op_WYPfKwOzSj(a):
    return op_0UZhvIxcOb(op_nuZMgjAhXC(op_ByhTHGuwmm(a)),op_BAYcl7KEcJ(op_HjyhWlPDg7(a,a),op_GyJNigkHRe(a,a)))

def op_count_WYPfKwOzSj(a):
    count = op_count_ByhTHGuwmm(a)+op_count_nuZMgjAhXC(op_ByhTHGuwmm(a))+op_count_HjyhWlPDg7(a,a)+op_count_GyJNigkHRe(a,a)+op_count_BAYcl7KEcJ(op_HjyhWlPDg7(a,a),op_GyJNigkHRe(a,a))+op_count_0UZhvIxcOb(op_nuZMgjAhXC(op_ByhTHGuwmm(a)),op_BAYcl7KEcJ(op_HjyhWlPDg7(a,a),op_GyJNigkHRe(a,a)))
    return count


a⋰≻b = { (((b⪬⪬⋰a)⊝∲⩰(a≇⨤⊇a))⋃∰((559≨⋝a)⫌⇛(b⨺⨖))) }

def op_d5gtUuFZTS(a, b):
    return op_yqthOfQm3e(op_UkFG6YBLyt(op_dKnrfkTA9N(b,a),op_nLhlVZSGl1(a,a)),op_i8i4Li6g16(op_aUmFd7VRsS(559,a),op_U5V2FkWGQv(b)))

def op_count_d5gtUuFZTS(a, b):
    count = op_count_dKnrfkTA9N(b,a)+op_count_nLhlVZSGl1(a,a)+op_count_UkFG6YBLyt(op_dKnrfkTA9N(b,a),op_nLhlVZSGl1(a,a))+op_count_aUmFd7VRsS(559,a)+op_count_U5V2FkWGQv(b)+op_count_i8i4Li6g16(op_aUmFd7VRsS(559,a),op_U5V2FkWGQv(b))+op_count_yqthOfQm3e(op_UkFG6YBLyt(op_dKnrfkTA9N(b,a),op_nLhlVZSGl1(a,a)),op_i8i4Li6g16(op_aUmFd7VRsS(559,a),op_U5V2FkWGQv(b)))
    return count


def op_7BoRlCPLKD(a, b):
    return op_64EQ39e0fC(op_iA2gmKZ3Wj(b),op_46b43un9S1(op_hsPnYhM47l(a),op_7TGVge7HG5(a,b)))

def op_count_7BoRlCPLKD(a, b):
    count = op_count_iA2gmKZ3Wj(b)+op_count_hsPnYhM47l(a)+op_count_7TGVge7HG5(a,b)+op_count_46b43un9S1(op_hsPnYhM47l(a),op_7TGVge7HG5(a,b))+op_count_64EQ39e0fC(op_iA2gmKZ3Wj(b),op_46b43un9S1(op_hsPnYhM47l(a),op_7TGVge7HG5(a,b)))
    return count


a⫶⫲b = { (((a≎a)⪑(a⇡≹b))⫏⊷) , if (a⨙⫵⋕)>=360 ; ((b⩞∭↩(b⋃⪓⇝b))⨀⊒((⇤←b)⨤⫳≈b)) , else }

def op_qG7zLWbgUK(a, b):
    if op_YlMk1RTeAK(a) >= 360:
        return op_dcShxvzhyw(op_8CI59HBmeC(op_kvyeM8WEH2(a,a),op_cnKzxr1wWw(a,b)))
    else:
        return op_5O2hjjEpjY(op_dGh8tZTXpZ(b,op_yefXRXvgTN(b,b)),op_qIDt5vVHD5(op_jfAgQ2OQeM(b),b))

def op_count_qG7zLWbgUK(a, b):
    if op_YlMk1RTeAK(a) >= 360:
        count = op_count_kvyeM8WEH2(a,a)+op_count_cnKzxr1wWw(a,b)+op_count_8CI59HBmeC(op_kvyeM8WEH2(a,a),op_cnKzxr1wWw(a,b))+op_count_dcShxvzhyw(op_8CI59HBmeC(op_kvyeM8WEH2(a,a),op_cnKzxr1wWw(a,b)))+op_count_YlMk1RTeAK(a)
    else:
        count = op_count_yefXRXvgTN(b,b)+op_count_dGh8tZTXpZ(b,op_yefXRXvgTN(b,b))+op_count_jfAgQ2OQeM(b)+op_count_qIDt5vVHD5(op_jfAgQ2OQeM(b),b)+op_count_5O2hjjEpjY(op_dGh8tZTXpZ(b,op_yefXRXvgTN(b,b)),op_qIDt5vVHD5(op_jfAgQ2OQeM(b),b))
    return count


def op_5GuWx11z9i(a):
    return op_xD69zh8xqp(op_Vc5rgziU3z(a,a),op_HsiG3TmlRU(a))

def op_count_5GuWx11z9i(a):
    count = op_count_Vc5rgziU3z(a,a)+op_count_HsiG3TmlRU(a)+op_count_xD69zh8xqp(op_Vc5rgziU3z(a,a),op_HsiG3TmlRU(a))
    return count


def op_UDcMIFMAzx(a):
    return op_2KNBRhPqiH(op_BTJnxt4pK9(a,a),op_JAsMQSYFYM(219))

def op_count_UDcMIFMAzx(a):
    count = op_count_BTJnxt4pK9(a,a)+op_count_JAsMQSYFYM(219)+op_count_2KNBRhPqiH(op_BTJnxt4pK9(a,a),op_JAsMQSYFYM(219))
    return count


⫇∢⩩a = { (((a⪴⪗∳a)⨗≲⊗(a⊩∰⋧281))⇊⋎⊡(a⊴⇁⪶)) }

def op_MeqaiHmz06(a):
    return op_svRCeDQHR0(op_yd3ne7Hlcq(op_YUijxPlj15(a,a),op_icxKCO3nOu(a,281)),op_oo9mF6JIpo(a))

def op_count_MeqaiHmz06(a):
    count = op_count_YUijxPlj15(a,a)+op_count_icxKCO3nOu(a,281)+op_count_yd3ne7Hlcq(op_YUijxPlj15(a,a),op_icxKCO3nOu(a,281))+op_count_oo9mF6JIpo(a)+op_count_svRCeDQHR0(op_yd3ne7Hlcq(op_YUijxPlj15(a,a),op_icxKCO3nOu(a,281)),op_oo9mF6JIpo(a))
    return count


def op_SVauQGM06A(a, b):
    if op_EUSk7IrTeN(b) == 161:
        return 122
    else:
        return op_VCtxkLNOzz(151,a)

def op_count_SVauQGM06A(a, b):
    if op_EUSk7IrTeN(b) == 161:
        count = op_count_EUSk7IrTeN(b)
    else:
        count = op_count_VCtxkLNOzz(151,a)
    return count


def op_SVRA5VtDII(a, b):
    if op_muoSboCI92(b,31) > 371 or op_S2EdmdiVZh(b,598) == 785:
        return op_212REbPD9h(b,op_2h70HhlMnL(b))
    else:
        return op_Nsiff2A1zJ(op_QnvrtN8efL(a,b),op_1P5EUR2X7u(80))

def op_count_SVRA5VtDII(a, b):
    if op_muoSboCI92(b,31) > 371 or op_S2EdmdiVZh(b,598) == 785:
        count = op_count_2h70HhlMnL(b)+op_count_212REbPD9h(b,op_2h70HhlMnL(b))+op_count_muoSboCI92(b,31)+op_count_S2EdmdiVZh(b,598)
    else:
        count = op_count_QnvrtN8efL(a,b)+op_count_1P5EUR2X7u(80)+op_count_Nsiff2A1zJ(op_QnvrtN8efL(a,b),op_1P5EUR2X7u(80))
    return count


def op_s1Yd2re1c4(a, b):
    if (op_VEQNXA0ZBg(b) > 129 and op_cWQsF5MvuD(b) > 367):
        return op_frKJlQghcg(op_s1XTVnmDOJ(op_zCpJCfCzjV(140,a),op_jYgKUhfDbv(b,b)),op_kUYI0el8wS(op_8npM8OufGg(b,a),b))
    else:
        return op_dm7TFAx3aQ(op_6jnLtSreEI(op_ojLG4DMMOC(b)),op_ZBnQveJz4n(op_rThQLB3xr0(b,633),121))

def op_count_s1Yd2re1c4(a, b):
    if (op_VEQNXA0ZBg(b) > 129 and op_cWQsF5MvuD(b) > 367):
        count = op_count_zCpJCfCzjV(140,a)+op_count_jYgKUhfDbv(b,b)+op_count_s1XTVnmDOJ(op_zCpJCfCzjV(140,a),op_jYgKUhfDbv(b,b))+op_count_8npM8OufGg(b,a)+op_count_kUYI0el8wS(op_8npM8OufGg(b,a),b)+op_count_frKJlQghcg(op_s1XTVnmDOJ(op_zCpJCfCzjV(140,a),op_jYgKUhfDbv(b,b)),op_kUYI0el8wS(op_8npM8OufGg(b,a),b))+op_count_VEQNXA0ZBg(b)+op_count_cWQsF5MvuD(b)
    else:
        count = op_count_ojLG4DMMOC(b)+op_count_6jnLtSreEI(op_ojLG4DMMOC(b))+op_count_rThQLB3xr0(b,633)+op_count_ZBnQveJz4n(op_rThQLB3xr0(b,633),121)+op_count_dm7TFAx3aQ(op_6jnLtSreEI(op_ojLG4DMMOC(b)),op_ZBnQveJz4n(op_rThQLB3xr0(b,633),121))
    return count


a⪮⪍b = { (∤↝((a⨳a)∟≧(b⨘))) , if b>609 ; (((b∍⫁⪅a)⪤≌)≽⪆((↤⪎441)⊣⨺(a≭⩙∲b))) , else }

def op_WwieoIwdPD(a, b):
    if b > 609:
        return op_3UMq87Qwqg(op_YANvL1cq0Q(op_YaB1w09lmH(a,a),op_ljcfZBUpm8(b)))
    else:
        return op_0YS1lrvTlG(op_atKpLLnrfM(op_glenQ1xDvR(b,a)),op_8yGz9s51pC(op_PJn8kYvayX(441),op_uc7hNODfk0(a,b)))

def op_count_WwieoIwdPD(a, b):
    if b > 609:
        count = op_count_YaB1w09lmH(a,a)+op_count_ljcfZBUpm8(b)+op_count_YANvL1cq0Q(op_YaB1w09lmH(a,a),op_ljcfZBUpm8(b))+op_count_3UMq87Qwqg(op_YANvL1cq0Q(op_YaB1w09lmH(a,a),op_ljcfZBUpm8(b)))
    else:
        count = op_count_glenQ1xDvR(b,a)+op_count_atKpLLnrfM(op_glenQ1xDvR(b,a))+op_count_PJn8kYvayX(441)+op_count_uc7hNODfk0(a,b)+op_count_8yGz9s51pC(op_PJn8kYvayX(441),op_uc7hNODfk0(a,b))+op_count_0YS1lrvTlG(op_atKpLLnrfM(op_glenQ1xDvR(b,a)),op_8yGz9s51pC(op_PJn8kYvayX(441),op_uc7hNODfk0(a,b)))
    return count


a⩍⪍b = { (((a↬⫚↮)⫐⫝̸(b≗))⊍⊘⫙((a⨍∆b)⊴(a⫳∂b))) }

def op_e2FY0kGFxN(a, b):
    return op_CWxo83c3q6(op_pw9FOgV8Xd(op_vZKBjji7IT(a),op_LhKFc5N9Ux(b)),op_Nsiff2A1zJ(op_qlIXcggVCe(a,b),op_jJYLip4aMc(a,b)))

def op_count_e2FY0kGFxN(a, b):
    count = op_count_vZKBjji7IT(a)+op_count_LhKFc5N9Ux(b)+op_count_pw9FOgV8Xd(op_vZKBjji7IT(a),op_LhKFc5N9Ux(b))+op_count_qlIXcggVCe(a,b)+op_count_jJYLip4aMc(a,b)+op_count_Nsiff2A1zJ(op_qlIXcggVCe(a,b),op_jJYLip4aMc(a,b))+op_count_CWxo83c3q6(op_pw9FOgV8Xd(op_vZKBjji7IT(a),op_LhKFc5N9Ux(b)),op_Nsiff2A1zJ(op_qlIXcggVCe(a,b),op_jJYLip4aMc(a,b)))
    return count


a⇖⩐⪷ = { (⪓⩚198) , if (⊀⋆a)>145 ; (a↾∥⪚a) , else }

def op_b6z9MoXxf4(a):
    if op_ZLUFTvfu0f(a) > 145:
        return op_u0R0Locfp2(198)
    else:
        return op_QyT1usQeR4(a,a)

def op_count_b6z9MoXxf4(a):
    if op_ZLUFTvfu0f(a) > 145:
        count = op_count_u0R0Locfp2(198)+op_count_ZLUFTvfu0f(a)
    else:
        count = op_count_QyT1usQeR4(a,a)
    return count


def op_CRVxDhRATw(a, b):
    return op_12NXCxMFkf(op_ozBFlv7jAp(op_3UDSo7rmDN(b)),op_3x4KQ8f6lD(op_dWAJyo7jo9(a,a),op_9eDjlWS7DX(87)))

def op_count_CRVxDhRATw(a, b):
    count = op_count_3UDSo7rmDN(b)+op_count_ozBFlv7jAp(op_3UDSo7rmDN(b))+op_count_dWAJyo7jo9(a,a)+op_count_9eDjlWS7DX(87)+op_count_3x4KQ8f6lD(op_dWAJyo7jo9(a,a),op_9eDjlWS7DX(87))+op_count_12NXCxMFkf(op_ozBFlv7jAp(op_3UDSo7rmDN(b)),op_3x4KQ8f6lD(op_dWAJyo7jo9(a,a),op_9eDjlWS7DX(87)))
    return count


a⫉⋂⪋b = { (⇞⋤≿b) , if (b⨒⪭∢)==635 and (b≛⪭263)!=773 ; ((b⪢a)⪜⫑⩈(a⋭≵b)) , else }

def op_XgQyT9TGvu(a, b):
    if op_V6co1CCXMx(b) == 635 and op_6DIkXxLLjT(b,263) != 773:
        return op_j3nQN5fFUl(b)
    else:
        return op_EI4SdbRorI(op_dWAJyo7jo9(b,a),op_jBncVCNhdl(a,b))

def op_count_XgQyT9TGvu(a, b):
    if op_V6co1CCXMx(b) == 635 and op_6DIkXxLLjT(b,263) != 773:
        count = op_count_j3nQN5fFUl(b)+op_count_V6co1CCXMx(b)+op_count_6DIkXxLLjT(b,263)
    else:
        count = op_count_dWAJyo7jo9(b,a)+op_count_jBncVCNhdl(a,b)+op_count_EI4SdbRorI(op_dWAJyo7jo9(b,a),op_jBncVCNhdl(a,b))
    return count


a∖⩣ = { ((a≐⇃⇈a)⋳/(⨙⪌a)) , if (a⫱)>68 ; (≣⪥(a⪚a)) , else }

def op_NjUPRiLI8I(a):
    if op_L0SZRSQANf(a) > 68:
        return op_m612RDITqL(op_TBD2yOIirL(a,a),op_vEGLkm4Z2k(a))
    else:
        return op_GYdfsuwOJy(op_HrjLwUk87U(a,a))

def op_count_NjUPRiLI8I(a):
    if op_L0SZRSQANf(a) > 68:
        count = op_count_TBD2yOIirL(a,a)+op_count_vEGLkm4Z2k(a)+op_count_m612RDITqL(op_TBD2yOIirL(a,a),op_vEGLkm4Z2k(a))+op_count_L0SZRSQANf(a)
    else:
        count = op_count_HrjLwUk87U(a,a)+op_count_GYdfsuwOJy(op_HrjLwUk87U(a,a))
    return count


def op_9zrREnvZmK(a, b):
    return op_WHvsDZpt7Z(op_pNsYZ4ACSL(b,a),op_VEQNXA0ZBg(b))

def op_count_9zrREnvZmK(a, b):
    count = op_count_pNsYZ4ACSL(b,a)+op_count_VEQNXA0ZBg(b)+op_count_WHvsDZpt7Z(op_pNsYZ4ACSL(b,a),op_VEQNXA0ZBg(b))
    return count


↜⫐⪦a = { (⪎a) , if (⪺⊴⫡a)>416 ; (((a⪩⋛a)⨻⩈⩔(a⩋⨙a))⨻⪊⨷((a⫴≡a)⨣∛(a↟a))) , else }

def op_y3VePj6QEb(a):
    if op_UBVjgJrFBH(a) > 416:
        return op_4q4Wt1yQrE(a)
    else:
        return op_Pkwamo1tM2(op_nEsXyWgiOK(op_nyIe7nPnk9(a,a),op_UFzLZpQu9F(a,a)),op_J8XgpbiY9M(op_Q6Sj1WS8if(a,a),op_PwiXWqpBTd(a,a)))

def op_count_y3VePj6QEb(a):
    if op_UBVjgJrFBH(a) > 416:
        count = op_count_4q4Wt1yQrE(a)+op_count_UBVjgJrFBH(a)
    else:
        count = op_count_nyIe7nPnk9(a,a)+op_count_UFzLZpQu9F(a,a)+op_count_nEsXyWgiOK(op_nyIe7nPnk9(a,a),op_UFzLZpQu9F(a,a))+op_count_Q6Sj1WS8if(a,a)+op_count_PwiXWqpBTd(a,a)+op_count_J8XgpbiY9M(op_Q6Sj1WS8if(a,a),op_PwiXWqpBTd(a,a))+op_count_Pkwamo1tM2(op_nEsXyWgiOK(op_nyIe7nPnk9(a,a),op_UFzLZpQu9F(a,a)),op_J8XgpbiY9M(op_Q6Sj1WS8if(a,a),op_PwiXWqpBTd(a,a)))
    return count


⋫⇳a = { ((↑⪩⪝(a⫆⋶228))⫀≣↤((a⪈⋁⩁a)⪇⇪⫳(≺a))) , if (a∏∽5)<=536 ; (((a⫪⨳a)≸≶⪕(17⇨⊤a))⊮⩪((⨘∔⩗a)⪬⪬⋰(682⨑⩝a))) , else }

def op_imQJVdWFtl(a):
    if op_6tQRFKEWKL(a,5) <= 536:
        return op_HF6nQZD8gr(op_N7lmHkEKsR(op_PogVMsAOp4(a,228)),op_zLfG7Ay1vB(op_GMyVS5K48T(a,a),op_096fXiO8sA(a)))
    else:
        return op_xAOA4rDxDB(op_jFan81Y8q9(op_0QFdjTDhaB(a,a),op_zqsNBkd1kC(17,a)),op_dKnrfkTA9N(op_e3JyuAUsAU(a),op_XKadCV7SnD(682,a)))

def op_count_imQJVdWFtl(a):
    if op_6tQRFKEWKL(a,5) <= 536:
        count = op_count_PogVMsAOp4(a,228)+op_count_N7lmHkEKsR(op_PogVMsAOp4(a,228))+op_count_GMyVS5K48T(a,a)+op_count_096fXiO8sA(a)+op_count_zLfG7Ay1vB(op_GMyVS5K48T(a,a),op_096fXiO8sA(a))+op_count_HF6nQZD8gr(op_N7lmHkEKsR(op_PogVMsAOp4(a,228)),op_zLfG7Ay1vB(op_GMyVS5K48T(a,a),op_096fXiO8sA(a)))+op_count_6tQRFKEWKL(a,5)
    else:
        count = op_count_0QFdjTDhaB(a,a)+op_count_zqsNBkd1kC(17,a)+op_count_jFan81Y8q9(op_0QFdjTDhaB(a,a),op_zqsNBkd1kC(17,a))+op_count_e3JyuAUsAU(a)+op_count_XKadCV7SnD(682,a)+op_count_dKnrfkTA9N(op_e3JyuAUsAU(a),op_XKadCV7SnD(682,a))+op_count_xAOA4rDxDB(op_jFan81Y8q9(op_0QFdjTDhaB(a,a),op_zqsNBkd1kC(17,a)),op_dKnrfkTA9N(op_e3JyuAUsAU(a),op_XKadCV7SnD(682,a)))
    return count


def op_HXskc7lbNg(a, b):
    return op_Y827t4Oxkq(op_WfvMQLQgAr(a,a),op_7PjNe5qSIJ(68,b))

def op_count_HXskc7lbNg(a, b):
    count = op_count_WfvMQLQgAr(a,a)+op_count_7PjNe5qSIJ(68,b)+op_count_Y827t4Oxkq(op_WfvMQLQgAr(a,a),op_7PjNe5qSIJ(68,b))
    return count


⩙≸a = { (⊐↗∝((a⪚⨁⋖466)⋆⪎⪨(⊛⨰⋷a))) , if a==78 ; (350⇪⩦) , else }

def op_lY5u09dTZp(a):
    if a == 78:
        return op_inYIwJ0bD8(op_kLz9fXvToG(op_xSk1F0pZbF(a,466),op_KlNKuDZ4P4(a)))
    else:
        return op_Ci59WLJJ94(350)

def op_count_lY5u09dTZp(a):
    if a == 78:
        count = op_count_xSk1F0pZbF(a,466)+op_count_KlNKuDZ4P4(a)+op_count_kLz9fXvToG(op_xSk1F0pZbF(a,466),op_KlNKuDZ4P4(a))+op_count_inYIwJ0bD8(op_kLz9fXvToG(op_xSk1F0pZbF(a,466),op_KlNKuDZ4P4(a)))
    else:
        count = op_count_Ci59WLJJ94(350)
    return count


⫳∗a = { (a⫏⊷) , if (a∗)==362 ; (a≅a) , else }

def op_QJcynLHPqw(a):
    if op_hXLke0AbfW(a) == 362:
        return op_dcShxvzhyw(a)
    else:
        return op_aFodGWjv1K(a,a)

def op_count_QJcynLHPqw(a):
    if op_hXLke0AbfW(a) == 362:
        count = op_count_dcShxvzhyw(a)+op_count_hXLke0AbfW(a)
    else:
        count = op_count_aFodGWjv1K(a,a)
    return count


∄⨳⊧a = { (((a⨑⩅≇124)⊌⋏⋟)⪠∳((⊔⫛≘a)⇡⇨↞(a⨸184))) }

def op_CkhGoX8Fiu(a):
    return op_Bg4ILJ8bWx(op_RjJAeib9Ij(op_h92wMvzauj(a,124)),op_34zfPTZm07(op_SLhMx8tn5D(a),op_KmoU8R5UQR(a,184)))

def op_count_CkhGoX8Fiu(a):
    count = op_count_h92wMvzauj(a,124)+op_count_RjJAeib9Ij(op_h92wMvzauj(a,124))+op_count_SLhMx8tn5D(a)+op_count_KmoU8R5UQR(a,184)+op_count_34zfPTZm07(op_SLhMx8tn5D(a),op_KmoU8R5UQR(a,184))+op_count_Bg4ILJ8bWx(op_RjJAeib9Ij(op_h92wMvzauj(a,124)),op_34zfPTZm07(op_SLhMx8tn5D(a),op_KmoU8R5UQR(a,184)))
    return count


def op_xLaAF9S2uD(a, b):
    return op_jPYZHDFkUI(op_H0hvRnhmX4(b,a),op_M2B6wyGvxF(14))

def op_count_xLaAF9S2uD(a, b):
    count = op_count_H0hvRnhmX4(b,a)+op_count_M2B6wyGvxF(14)+op_count_jPYZHDFkUI(op_H0hvRnhmX4(b,a),op_M2B6wyGvxF(14))
    return count


def op_ltnqZvy4u5(a, b):
    if (op_UO1RhPgbnL(b) <= 435 and b < 10):
        return op_opc8BSlPgk(op_GnJtpMXYEn(op_UhM7GxoAxS(9),op_ieqGirTMxl(a,93)),op_ln8odt1XeD(op_ImZOYqi0FL(b),254))
    else:
        return op_wUMGGCA6kW(op_g55IO6H4Gj(op_h6W8D785mx(b),op_1NEUe3Qa2W(b,b)),op_0ftGoQG529(326,op_XFw8Sin97h(296,b)))

def op_count_ltnqZvy4u5(a, b):
    if (op_UO1RhPgbnL(b) <= 435 and b < 10):
        count = op_count_UhM7GxoAxS(9)+op_count_ieqGirTMxl(a,93)+op_count_GnJtpMXYEn(op_UhM7GxoAxS(9),op_ieqGirTMxl(a,93))+op_count_ImZOYqi0FL(b)+op_count_ln8odt1XeD(op_ImZOYqi0FL(b),254)+op_count_opc8BSlPgk(op_GnJtpMXYEn(op_UhM7GxoAxS(9),op_ieqGirTMxl(a,93)),op_ln8odt1XeD(op_ImZOYqi0FL(b),254))+op_count_UO1RhPgbnL(b)
    else:
        count = op_count_h6W8D785mx(b)+op_count_1NEUe3Qa2W(b,b)+op_count_g55IO6H4Gj(op_h6W8D785mx(b),op_1NEUe3Qa2W(b,b))+op_count_XFw8Sin97h(296,b)+op_count_0ftGoQG529(326,op_XFw8Sin97h(296,b))+op_count_wUMGGCA6kW(op_g55IO6H4Gj(op_h6W8D785mx(b),op_1NEUe3Qa2W(b,b)),op_0ftGoQG529(326,op_XFw8Sin97h(296,b)))
    return count


def op_bxubYYkvCu(a, b):
    return op_kfSGLR5n54(op_xNgZz6XNYQ(b,b),op_P3lXMJvFrc(a,846))

def op_count_bxubYYkvCu(a, b):
    count = op_count_xNgZz6XNYQ(b,b)+op_count_P3lXMJvFrc(a,846)+op_count_kfSGLR5n54(op_xNgZz6XNYQ(b,b),op_P3lXMJvFrc(a,846))
    return count


a≌↢b = { ((b≿b)⫦⫋(b⇲a)) , if a>103 ; (b⪿(b⫃⪎)) , else }

def op_pOgAOnktfS(a, b):
    if a > 103:
        return op_2SUl30BnjX(op_OeanynyRyO(b,b),op_24nwyATvD7(b,a))
    else:
        return op_lLg6KFppdz(b,op_IC7K075aVB(b))

def op_count_pOgAOnktfS(a, b):
    if a > 103:
        count = op_count_OeanynyRyO(b,b)+op_count_24nwyATvD7(b,a)+op_count_2SUl30BnjX(op_OeanynyRyO(b,b),op_24nwyATvD7(b,a))
    else:
        count = op_count_IC7K075aVB(b)+op_count_lLg6KFppdz(b,op_IC7K075aVB(b))
    return count


def op_7AZTnYXWcl(a):
    return op_GWoGfTTeeI(op_o20kRiQErp(a),a)

def op_count_7AZTnYXWcl(a):
    count = op_count_o20kRiQErp(a)+op_count_GWoGfTTeeI(op_o20kRiQErp(a),a)
    return count


a≞⩶⨁b = { ((a⫗⊒⇾241)↠) , if (⫈⪅↦b)<57 ; ((b⫝√97)⩕⋦(b∆⩎a)) , else }

def op_M5PcsFUMKN(a, b):
    if op_566Ks3yvH1(b) < 57:
        return op_LBdsKIvxzf(op_hiBDRd40bf(a,241))
    else:
        return op_RrCWIpBJZe(op_h9SYvkAopU(b,97),op_zPWNPtZ3KV(b,a))

def op_count_M5PcsFUMKN(a, b):
    if op_566Ks3yvH1(b) < 57:
        count = op_count_hiBDRd40bf(a,241)+op_count_LBdsKIvxzf(op_hiBDRd40bf(a,241))+op_count_566Ks3yvH1(b)
    else:
        count = op_count_h9SYvkAopU(b,97)+op_count_zPWNPtZ3KV(b,a)+op_count_RrCWIpBJZe(op_h9SYvkAopU(b,97),op_zPWNPtZ3KV(b,a))
    return count


def op_qlV96dKO86(a, b):
    return op_exzyYvvvzF(op_7OL7g5oVtb(b,a),op_UBVjgJrFBH(a))

def op_count_qlV96dKO86(a, b):
    count = op_count_7OL7g5oVtb(b,a)+op_count_UBVjgJrFBH(a)+op_count_exzyYvvvzF(op_7OL7g5oVtb(b,a),op_UBVjgJrFBH(a))
    return count


∝≘a = { (((⨥⇳50)⇦(a⊥≍⋁a))⩌⨭≭(⋅⇯(a⇡≹a))) }

def op_HeXzePQK7O(a):
    return op_4KnvnEaVgu(op_DtsKfwZYmX(op_9ntSni7vAj(50),op_UuQ5TkIIzY(a,a)),op_QZ1Dv19kB2(op_cnKzxr1wWw(a,a)))

def op_count_HeXzePQK7O(a):
    count = op_count_9ntSni7vAj(50)+op_count_UuQ5TkIIzY(a,a)+op_count_DtsKfwZYmX(op_9ntSni7vAj(50),op_UuQ5TkIIzY(a,a))+op_count_cnKzxr1wWw(a,a)+op_count_QZ1Dv19kB2(op_cnKzxr1wWw(a,a))+op_count_4KnvnEaVgu(op_DtsKfwZYmX(op_9ntSni7vAj(50),op_UuQ5TkIIzY(a,a)),op_QZ1Dv19kB2(op_cnKzxr1wWw(a,a)))
    return count


def op_0eBHWO6fhx(a, b):
    return op_5VcLSDSepo(op_yyfyN0ffXY(a,688),op_UggxBX659n(b,a))

def op_count_0eBHWO6fhx(a, b):
    count = op_count_yyfyN0ffXY(a,688)+op_count_UggxBX659n(b,a)+op_count_5VcLSDSepo(op_yyfyN0ffXY(a,688),op_UggxBX659n(b,a))
    return count


a≋⫈b = { (((a⨝↳a)⋗(b⩞⋂b))⋨((b≄⨃≹b)≷⩯⇞)) , if a>=51 ; (((a⋙≃≡b)⨓(b≮⫀↢b))≖) , else }

def op_B7RGQD6vCL(a, b):
    if a >= 51:
        return op_SfEYNmpFSu(op_hy5IL4GG6G(op_tqZXx6qj06(a,a),op_TQtCT2lTQ7(b,b)),op_UTTIjGMhIB(op_Bh0c9BvTwN(b,b)))
    else:
        return op_dAvLJZHBt7(op_3ViojmjbAp(op_JkIVKoZPN2(a,b),op_seBVGjDgw8(b,b)))

def op_count_B7RGQD6vCL(a, b):
    if a >= 51:
        count = op_count_tqZXx6qj06(a,a)+op_count_TQtCT2lTQ7(b,b)+op_count_hy5IL4GG6G(op_tqZXx6qj06(a,a),op_TQtCT2lTQ7(b,b))+op_count_Bh0c9BvTwN(b,b)+op_count_UTTIjGMhIB(op_Bh0c9BvTwN(b,b))+op_count_SfEYNmpFSu(op_hy5IL4GG6G(op_tqZXx6qj06(a,a),op_TQtCT2lTQ7(b,b)),op_UTTIjGMhIB(op_Bh0c9BvTwN(b,b)))
    else:
        count = op_count_JkIVKoZPN2(a,b)+op_count_seBVGjDgw8(b,b)+op_count_3ViojmjbAp(op_JkIVKoZPN2(a,b),op_seBVGjDgw8(b,b))+op_count_dAvLJZHBt7(op_3ViojmjbAp(op_JkIVKoZPN2(a,b),op_seBVGjDgw8(b,b)))
    return count


def op_ahsRjM9Vk2(a, b):
    if op_CqXKPLVYql(a) >= 126 and op_zukycwwyTc(a) <= 366:
        return op_AcOhelriW5(op_NHqdvowzfS(b,457))
    else:
        return op_CfxG4j8dfZ(op_Bg4ILJ8bWx(163,a),op_vvWkAKV61U(134,a))

def op_count_ahsRjM9Vk2(a, b):
    if op_CqXKPLVYql(a) >= 126 and op_zukycwwyTc(a) <= 366:
        count = op_count_NHqdvowzfS(b,457)+op_count_AcOhelriW5(op_NHqdvowzfS(b,457))+op_count_CqXKPLVYql(a)+op_count_zukycwwyTc(a)
    else:
        count = op_count_Bg4ILJ8bWx(163,a)+op_count_vvWkAKV61U(134,a)+op_count_CfxG4j8dfZ(op_Bg4ILJ8bWx(163,a),op_vvWkAKV61U(134,a))
    return count


def op_zi3bF0tCqX(a, b):
    return op_A6jTRgEchk(op_4JB6nKBMSY(op_JyLijAdH7y(b,b),op_LBdsKIvxzf(a)),56)

def op_count_zi3bF0tCqX(a, b):
    count = op_count_JyLijAdH7y(b,b)+op_count_LBdsKIvxzf(a)+op_count_4JB6nKBMSY(op_JyLijAdH7y(b,b),op_LBdsKIvxzf(a))+op_count_A6jTRgEchk(op_4JB6nKBMSY(op_JyLijAdH7y(b,b),op_LBdsKIvxzf(a)),56)
    return count


a⩽⩓b = { ((∇∱b)⩞((b↤)∇∹(b⫟∩a))) , if (b⨟⋡⇮786)<=208 and a>=34 ; (⫨⇲⇞((⪺⊴⫡a)≬⇺)) , else }

def op_pdGYp7HkH3(a, b):
    if op_vdIy956WRd(b,786) <= 208 and a >= 34:
        return op_JO14dcB34N(op_1uXJEiKrFq(b),op_NQx0zRYggH(op_e8vy2cuFa5(b),op_n7wOqbEDlF(b,a)))
    else:
        return op_7PBHsqWqsw(op_OdOWVsbFc9(op_UBVjgJrFBH(a)))

def op_count_pdGYp7HkH3(a, b):
    if op_vdIy956WRd(b,786) <= 208 and a >= 34:
        count = op_count_1uXJEiKrFq(b)+op_count_e8vy2cuFa5(b)+op_count_n7wOqbEDlF(b,a)+op_count_NQx0zRYggH(op_e8vy2cuFa5(b),op_n7wOqbEDlF(b,a))+op_count_JO14dcB34N(op_1uXJEiKrFq(b),op_NQx0zRYggH(op_e8vy2cuFa5(b),op_n7wOqbEDlF(b,a)))+op_count_vdIy956WRd(b,786)
    else:
        count = op_count_UBVjgJrFBH(a)+op_count_OdOWVsbFc9(op_UBVjgJrFBH(a))+op_count_7PBHsqWqsw(op_OdOWVsbFc9(op_UBVjgJrFBH(a)))
    return count


def op_fiyr0jWrCc(a):
    if op_0Vcvu1QG1k(a,12) > 18:
        return op_RUvFhAOGfE(136)
    else:
        return op_MsxN17mfUC(228,a)

def op_count_fiyr0jWrCc(a):
    if op_0Vcvu1QG1k(a,12) > 18:
        count = op_count_RUvFhAOGfE(136)+op_count_0Vcvu1QG1k(a,12)
    else:
        count = op_count_MsxN17mfUC(228,a)
    return count


def op_XPJaGdalpQ(a, b):
    if op_2HYkBhA3K5(b,505) >= 904:
        return op_P0o8L8MpVP(op_syzFGkhusE(217,b),op_q89cdGefnU(232))
    else:
        return op_7JOOl3WMOF(op_ctOc4cKSDt(a),op_mKMzfesuKF(b))

def op_count_XPJaGdalpQ(a, b):
    if op_2HYkBhA3K5(b,505) >= 904:
        count = op_count_syzFGkhusE(217,b)+op_count_q89cdGefnU(232)+op_count_P0o8L8MpVP(op_syzFGkhusE(217,b),op_q89cdGefnU(232))+op_count_2HYkBhA3K5(b,505)
    else:
        count = op_count_ctOc4cKSDt(a)+op_count_mKMzfesuKF(b)+op_count_7JOOl3WMOF(op_ctOc4cKSDt(a),op_mKMzfesuKF(b))
    return count


def op_MlzllmEF63(a):
    return op_A0R0hrgyGo(op_InRsNkjnGi(op_tGjQsZb5a4(64),op_weFp838rcz(a)),a)

def op_count_MlzllmEF63(a):
    count = op_count_tGjQsZb5a4(64)+op_count_weFp838rcz(a)+op_count_InRsNkjnGi(op_tGjQsZb5a4(64),op_weFp838rcz(a))+op_count_A0R0hrgyGo(op_InRsNkjnGi(op_tGjQsZb5a4(64),op_weFp838rcz(a)),a)
    return count


def op_22D9SwvIE0(a, b):
    return op_MDeofPkNUB(op_OLuofHlRCj(a),op_jiwY1kzaLi(b,a))

def op_count_22D9SwvIE0(a, b):
    count = op_count_OLuofHlRCj(a)+op_count_jiwY1kzaLi(b,a)+op_count_MDeofPkNUB(op_OLuofHlRCj(a),op_jiwY1kzaLi(b,a))
    return count


def op_de9AnKDlC2(a):
    return op_dcf6jBEETk(op_I7EtXjyZpr(op_hd8EJBCbQT(a,a)),a)

def op_count_de9AnKDlC2(a):
    count = op_count_hd8EJBCbQT(a,a)+op_count_I7EtXjyZpr(op_hd8EJBCbQT(a,a))+op_count_dcf6jBEETk(op_I7EtXjyZpr(op_hd8EJBCbQT(a,a)),a)
    return count


def op_OeDDgAmX5a(a):
    return op_mFxXOjnZkL(op_FjmygMY46A(op_ZAXeO6SPf6(a,307),a),op_DD02tHBmow(op_F5mtphABo5(a),op_Lsyp3t0mLH(73,703)))

def op_count_OeDDgAmX5a(a):
    count = op_count_ZAXeO6SPf6(a,307)+op_count_FjmygMY46A(op_ZAXeO6SPf6(a,307),a)+op_count_F5mtphABo5(a)+op_count_Lsyp3t0mLH(73,703)+op_count_DD02tHBmow(op_F5mtphABo5(a),op_Lsyp3t0mLH(73,703))+op_count_mFxXOjnZkL(op_FjmygMY46A(op_ZAXeO6SPf6(a,307),a),op_DD02tHBmow(op_F5mtphABo5(a),op_Lsyp3t0mLH(73,703)))
    return count


def op_MpcNqJdYoE(a):
    return op_lzCx6JGp55(op_19xM9lTKYo(op_LTZrEKeXam(a),18),op_jJYLip4aMc(op_3tj9sqzovi(a),a))

def op_count_MpcNqJdYoE(a):
    count = op_count_LTZrEKeXam(a)+op_count_19xM9lTKYo(op_LTZrEKeXam(a),18)+op_count_3tj9sqzovi(a)+op_count_jJYLip4aMc(op_3tj9sqzovi(a),a)+op_count_lzCx6JGp55(op_19xM9lTKYo(op_LTZrEKeXam(a),18),op_jJYLip4aMc(op_3tj9sqzovi(a),a))
    return count


⩅⊑←a = { (⊾⫛((⫴⫣a)⨎⫖(a≿⋩⊚a))) , if (a∊∟⩊86)!=48 ; (a⩓((a⪏∋a)↗a)) , else }

def op_4zEoz1hlbb(a):
    if op_ddLRYrp01A(a,86) != 48:
        return op_E6kf18OqlZ(op_DnaO8zatMH(op_4ViIqD7dWl(a),op_WQ21BOxugs(a,a)))
    else:
        return op_ZkTErvSsVl(a,op_ODFdAPCKMa(op_yD4OLUtLkA(a,a),a))

def op_count_4zEoz1hlbb(a):
    if op_ddLRYrp01A(a,86) != 48:
        count = op_count_4ViIqD7dWl(a)+op_count_WQ21BOxugs(a,a)+op_count_DnaO8zatMH(op_4ViIqD7dWl(a),op_WQ21BOxugs(a,a))+op_count_E6kf18OqlZ(op_DnaO8zatMH(op_4ViIqD7dWl(a),op_WQ21BOxugs(a,a)))+op_count_ddLRYrp01A(a,86)
    else:
        count = op_count_yD4OLUtLkA(a,a)+op_count_ODFdAPCKMa(op_yD4OLUtLkA(a,a),a)+op_count_ZkTErvSsVl(a,op_ODFdAPCKMa(op_yD4OLUtLkA(a,a),a))
    return count


⨺⇲⫽a = { ((⫬⪯⊰(a⊟∯⇥))⫑⨱((↰⪺⩇a)∝∎(a⋇↵⋅a))) }

def op_JhDhe8QWcj(a):
    return op_ckHj138N5r(op_zxvitxjGGl(op_sEZinQEkP6(a)),op_qLiEs2rVxT(op_nCsRMdoB9F(a),op_aEZ9JgCP8a(a,a)))

def op_count_JhDhe8QWcj(a):
    count = op_count_sEZinQEkP6(a)+op_count_zxvitxjGGl(op_sEZinQEkP6(a))+op_count_nCsRMdoB9F(a)+op_count_aEZ9JgCP8a(a,a)+op_count_qLiEs2rVxT(op_nCsRMdoB9F(a),op_aEZ9JgCP8a(a,a))+op_count_ckHj138N5r(op_zxvitxjGGl(op_sEZinQEkP6(a)),op_qLiEs2rVxT(op_nCsRMdoB9F(a),op_aEZ9JgCP8a(a,a)))
    return count


a⪳⫞⪞ = { (a⩢≌) , if (∭⫴a)>180 ; (a⊾≜⊽a) , else }

def op_H6GyEF1BK1(a):
    if op_elKcZ5Ap0C(a) > 180:
        return op_D617RFjZIq(a)
    else:
        return op_A6jTRgEchk(a,a)

def op_count_H6GyEF1BK1(a):
    if op_elKcZ5Ap0C(a) > 180:
        count = op_count_D617RFjZIq(a)+op_count_elKcZ5Ap0C(a)
    else:
        count = op_count_A6jTRgEchk(a,a)
    return count


def op_vhK6Jq5pWY(a, b):
    if a != 243:
        return op_Q6Sj1WS8if(437,op_bGH9BQXhMM(a))
    else:
        return op_N6t0eMWZ73(op_e3mPa9iSev(b,a))

def op_count_vhK6Jq5pWY(a, b):
    if a != 243:
        count = op_count_bGH9BQXhMM(a)+op_count_Q6Sj1WS8if(437,op_bGH9BQXhMM(a))
    else:
        count = op_count_e3mPa9iSev(b,a)+op_count_N6t0eMWZ73(op_e3mPa9iSev(b,a))
    return count


def op_yZfFjkmS11(a, b):
    return op_w2537kitQq(op_Mu2j9cYKsd(a),op_LFP2zRhVLi(b,b))

def op_count_yZfFjkmS11(a, b):
    count = op_count_Mu2j9cYKsd(a)+op_count_LFP2zRhVLi(b,b)+op_count_w2537kitQq(op_Mu2j9cYKsd(a),op_LFP2zRhVLi(b,b))
    return count


a⊿⊱⫗b = { (⊺⇒b) , if b==221 ; (a⨠∀⫧209) , else }

def op_KlMIg7E3WY(a, b):
    if b == 221:
        return op_2MgFsFVNLE(b)
    else:
        return op_griT9ijWOv(a,209)

def op_count_KlMIg7E3WY(a, b):
    if b == 221:
        count = op_count_2MgFsFVNLE(b)
    else:
        count = op_count_griT9ijWOv(a,209)
    return count


def op_n03n7aMV2f(a, b):
    return op_6Dk38mmJ69(op_bJjEIIhyQG(a),op_qtqaAqrmD3(b))

def op_count_n03n7aMV2f(a, b):
    count = op_count_bJjEIIhyQG(a)+op_count_qtqaAqrmD3(b)+op_count_6Dk38mmJ69(op_bJjEIIhyQG(a),op_qtqaAqrmD3(b))
    return count


a⨋⇦ = { (↰⊢⪜(a⫽⪃a)) , if (⨗a)<=42 ; ((a≗⊅)⊗≭) , else }

def op_7SGFRuBGUp(a):
    if op_OzkgYwrgK1(a) <= 42:
        return op_qm6tduIrUg(op_FJ3oXK3UQ0(a,a))
    else:
        return op_LEwYTyxvmM(op_8ue8uZX9oj(a))

def op_count_7SGFRuBGUp(a):
    if op_OzkgYwrgK1(a) <= 42:
        count = op_count_FJ3oXK3UQ0(a,a)+op_count_qm6tduIrUg(op_FJ3oXK3UQ0(a,a))+op_count_OzkgYwrgK1(a)
    else:
        count = op_count_8ue8uZX9oj(a)+op_count_LEwYTyxvmM(op_8ue8uZX9oj(a))
    return count


a⨸⋻b = { ((⨺⫸≝a)⩆(a↫∤a)) , if a<245 ; ((350∭≱⪢555)⨳⩥⨓(b→⇚a)) , else }

def op_YeRkr3lXyK(a, b):
    if a < 245:
        return op_QmMs3tyaZP(op_NnTbxo2Idi(a),op_jZZVGDEJeM(a,a))
    else:
        return op_nCS4ZIUYfx(op_PEDxqk51Tr(350,555),op_POp3h4pmYF(b,a))

def op_count_YeRkr3lXyK(a, b):
    if a < 245:
        count = op_count_NnTbxo2Idi(a)+op_count_jZZVGDEJeM(a,a)+op_count_QmMs3tyaZP(op_NnTbxo2Idi(a),op_jZZVGDEJeM(a,a))
    else:
        count = op_count_PEDxqk51Tr(350,555)+op_count_POp3h4pmYF(b,a)+op_count_nCS4ZIUYfx(op_PEDxqk51Tr(350,555),op_POp3h4pmYF(b,a))
    return count


a⨀⋃↹ = { (∟⋨(a⨱∭⋿a)) , if (∉a)>32 and (a↯⊐220)!=706 ; ((a≗⩒⨛a)⨱∭⋿(a⪌⨺↜a)) , else }

def op_H8W9xbRe2j(a):
    if op_dma8RTlAAq(a) > 32 and op_AHC0DUa4yD(a,220) != 706:
        return op_ctOc4cKSDt(op_5evuKV93zN(a,a))
    else:
        return op_5evuKV93zN(op_Ih3UVhBbvd(a,a),op_YZ4iizfuOA(a,a))

def op_count_H8W9xbRe2j(a):
    if op_dma8RTlAAq(a) > 32 and op_AHC0DUa4yD(a,220) != 706:
        count = op_count_5evuKV93zN(a,a)+op_count_ctOc4cKSDt(op_5evuKV93zN(a,a))+op_count_dma8RTlAAq(a)+op_count_AHC0DUa4yD(a,220)
    else:
        count = op_count_Ih3UVhBbvd(a,a)+op_count_YZ4iizfuOA(a,a)+op_count_5evuKV93zN(op_Ih3UVhBbvd(a,a),op_YZ4iizfuOA(a,a))
    return count


def op_da92aK7kLM(a):
    if (op_OKbrAQToy4(a) < 375 or op_fkZUW4eOKP(a) == 359 or op_pw9FOgV8Xd(a,77) < 5):
        return op_NYIHRc2x51(12,50)
    else:
        return op_12NXCxMFkf(a,a)

def op_count_da92aK7kLM(a):
    if (op_OKbrAQToy4(a) < 375 or op_fkZUW4eOKP(a) == 359 or op_pw9FOgV8Xd(a,77) < 5):
        count = op_count_NYIHRc2x51(12,50)+op_count_OKbrAQToy4(a)+op_count_fkZUW4eOKP(a)+op_count_pw9FOgV8Xd(a,77)
    else:
        count = op_count_12NXCxMFkf(a,a)
    return count


⋨⊮a = { ((a⩇⇾⋰a)⋵⊳⊩(a⪿a)) , if (∱⇉⩥a)<521 ; ((↔⊐⋟a)⫖(a⋖⇈a)) , else }

def op_dSuXsY1OrI(a):
    if op_QONoKQfH5J(a) < 521:
        return op_NrrDGmnwKr(op_ZvB8Fo8LGH(a,a),op_lLg6KFppdz(a,a))
    else:
        return op_aEfDsFgi2n(op_nuZMgjAhXC(a),op_0nVhjSiHEu(a,a))

def op_count_dSuXsY1OrI(a):
    if op_QONoKQfH5J(a) < 521:
        count = op_count_ZvB8Fo8LGH(a,a)+op_count_lLg6KFppdz(a,a)+op_count_NrrDGmnwKr(op_ZvB8Fo8LGH(a,a),op_lLg6KFppdz(a,a))+op_count_QONoKQfH5J(a)
    else:
        count = op_count_nuZMgjAhXC(a)+op_count_0nVhjSiHEu(a,a)+op_count_aEfDsFgi2n(op_nuZMgjAhXC(a),op_0nVhjSiHEu(a,a))
    return count


def op_T65QBLJGIg(a):
    return op_Oa5J2a4EfC(op_LLuSLi97EM(a),op_HWsfkPJiI1(op_Yx2SW1no1q(a)))

def op_count_T65QBLJGIg(a):
    count = op_count_LLuSLi97EM(a)+op_count_Yx2SW1no1q(a)+op_count_HWsfkPJiI1(op_Yx2SW1no1q(a))+op_count_Oa5J2a4EfC(op_LLuSLi97EM(a),op_HWsfkPJiI1(op_Yx2SW1no1q(a)))
    return count


def op_VX8FV0cFSG(a):
    return op_ckHj138N5r(op_73CxnrUli8(a,a),op_AljMvE3RRm(356))

def op_count_VX8FV0cFSG(a):
    count = op_count_73CxnrUli8(a,a)+op_count_AljMvE3RRm(356)+op_count_ckHj138N5r(op_73CxnrUli8(a,a),op_AljMvE3RRm(356))
    return count


def op_Hqnv6e6lDS(a, b):
    return op_mFCgDW3omv(op_qx0uycIDzO(op_FJ3oXK3UQ0(a,b),op_8Im2A1wcJk(b,b)))

def op_count_Hqnv6e6lDS(a, b):
    count = op_count_FJ3oXK3UQ0(a,b)+op_count_8Im2A1wcJk(b,b)+op_count_qx0uycIDzO(op_FJ3oXK3UQ0(a,b),op_8Im2A1wcJk(b,b))+op_count_mFCgDW3omv(op_qx0uycIDzO(op_FJ3oXK3UQ0(a,b),op_8Im2A1wcJk(b,b)))
    return count


def op_qc7LxGkpZI(a):
    if op_y8WkMkRpra(a) > 374:
        return op_1uctxu2Xjm(380,a)
    else:
        return op_SLLxy00UIr(453)

def op_count_qc7LxGkpZI(a):
    if op_y8WkMkRpra(a) > 374:
        count = op_count_1uctxu2Xjm(380,a)+op_count_y8WkMkRpra(a)
    else:
        count = op_count_SLLxy00UIr(453)
    return count


def op_Via3GxPtYu(a, b):
    return op_NlrO9HiUSC(op_6B9nyZLogK(op_0JWJYFSzIQ(b,a)))

def op_count_Via3GxPtYu(a, b):
    count = op_count_0JWJYFSzIQ(b,a)+op_count_6B9nyZLogK(op_0JWJYFSzIQ(b,a))+op_count_NlrO9HiUSC(op_6B9nyZLogK(op_0JWJYFSzIQ(b,a)))
    return count


def op_Ojn3henNK2(a, b):
    return op_lLg6KFppdz(op_RdfFZieUng(op_ESGVt5Nk82(b),316),op_kmUSY1RLnD(op_yyfyN0ffXY(b,a)))

def op_count_Ojn3henNK2(a, b):
    count = op_count_ESGVt5Nk82(b)+op_count_RdfFZieUng(op_ESGVt5Nk82(b),316)+op_count_yyfyN0ffXY(b,a)+op_count_kmUSY1RLnD(op_yyfyN0ffXY(b,a))+op_count_lLg6KFppdz(op_RdfFZieUng(op_ESGVt5Nk82(b),316),op_kmUSY1RLnD(op_yyfyN0ffXY(b,a)))
    return count


a⊪∉b = { (((a⋗∛b)≯≲⫧(a⊦∘a))⪒⊣⊆65) , if (b<=10 and (a⋛214)<44) ; (((a↝b)≓∲(819⫢⩮↷))⇞⊋∢((b∛⊫⩝a)≯⨴⫤(a⇀⪽a))) , else }

def op_1Hm2IkY58k(a, b):
    if (b <= 10 and op_YbUVn0Rbpy(a,214) < 44):
        return op_eRqsBgTDFp(op_qhwfmwp1fI(op_jrjRpWUE4r(a,b),op_OdoR6iWuHS(a,a)),65)
    else:
        return op_iOBaTi2eXu(op_s1XTVnmDOJ(op_Xl9shMzOPN(a,b),op_BLLGLRFJVt(819)),op_OEiktesKRI(op_rSsFt6Z740(b,a),op_2u38eHdNB5(a,a)))

def op_count_1Hm2IkY58k(a, b):
    if (b <= 10 and op_YbUVn0Rbpy(a,214) < 44):
        count = op_count_jrjRpWUE4r(a,b)+op_count_OdoR6iWuHS(a,a)+op_count_qhwfmwp1fI(op_jrjRpWUE4r(a,b),op_OdoR6iWuHS(a,a))+op_count_eRqsBgTDFp(op_qhwfmwp1fI(op_jrjRpWUE4r(a,b),op_OdoR6iWuHS(a,a)),65)+op_count_YbUVn0Rbpy(a,214)
    else:
        count = op_count_Xl9shMzOPN(a,b)+op_count_BLLGLRFJVt(819)+op_count_s1XTVnmDOJ(op_Xl9shMzOPN(a,b),op_BLLGLRFJVt(819))+op_count_rSsFt6Z740(b,a)+op_count_2u38eHdNB5(a,a)+op_count_OEiktesKRI(op_rSsFt6Z740(b,a),op_2u38eHdNB5(a,a))+op_count_iOBaTi2eXu(op_s1XTVnmDOJ(op_Xl9shMzOPN(a,b),op_BLLGLRFJVt(819)),op_OEiktesKRI(op_rSsFt6Z740(b,a),op_2u38eHdNB5(a,a)))
    return count


a⊣⩝⊷b = { (((a⊔%482)⊲⩕⊾(a⋩b))⊡⊼b) , if (b⩙↭)>=22 ; (((b⩵a)⋛⩥)⫋) , else }

def op_hsF507LC4V(a, b):
    if op_6w2kgY5mIT(b) >= 22:
        return op_0Si2hqrjlk(op_DmTXOeWf9t(op_uysxUYN2L2(a,482),op_NjWr5y99d1(a,b)),b)
    else:
        return op_mhIhit33mg(op_lz4dBNPYLn(op_AiZuih6wUj(b,a)))

def op_count_hsF507LC4V(a, b):
    if op_6w2kgY5mIT(b) >= 22:
        count = op_count_uysxUYN2L2(a,482)+op_count_NjWr5y99d1(a,b)+op_count_DmTXOeWf9t(op_uysxUYN2L2(a,482),op_NjWr5y99d1(a,b))+op_count_0Si2hqrjlk(op_DmTXOeWf9t(op_uysxUYN2L2(a,482),op_NjWr5y99d1(a,b)),b)+op_count_6w2kgY5mIT(b)
    else:
        count = op_count_AiZuih6wUj(b,a)+op_count_lz4dBNPYLn(op_AiZuih6wUj(b,a))+op_count_mhIhit33mg(op_lz4dBNPYLn(op_AiZuih6wUj(b,a)))
    return count


a⇆⪘b = { (↔⊐⋟a) , if (⊴⇷b)>=63 ; (⋧⋲a) , else }

def op_ODJ7084JyV(a, b):
    if op_dQYby3Z2bC(b) >= 63:
        return op_nuZMgjAhXC(a)
    else:
        return op_qdSfUNqdED(a)

def op_count_ODJ7084JyV(a, b):
    if op_dQYby3Z2bC(b) >= 63:
        count = op_count_nuZMgjAhXC(a)+op_count_dQYby3Z2bC(b)
    else:
        count = op_count_qdSfUNqdED(a)
    return count


def op_WdiZOOHT20(a):
    return op_Bdqd193sIk(op_sn1NV54cqk(a))

def op_count_WdiZOOHT20(a):
    count = op_count_sn1NV54cqk(a)+op_count_Bdqd193sIk(op_sn1NV54cqk(a))
    return count


a⪒⇬⋟ = { (((a∊⊞≈a)∸)⫭⊯⇵((a⪏⨔⇙a)⇡⨸(a⨣⩄⋪444))) }

def op_2IJoNFIitb(a):
    return op_b1N51d35SA(op_o20kRiQErp(op_keuJNkrrbj(a,a)),op_zqsMTVBX2o(op_Dye1y9yfmu(a,a),op_P61xNvXJCL(a,444)))

def op_count_2IJoNFIitb(a):
    count = op_count_keuJNkrrbj(a,a)+op_count_o20kRiQErp(op_keuJNkrrbj(a,a))+op_count_Dye1y9yfmu(a,a)+op_count_P61xNvXJCL(a,444)+op_count_zqsMTVBX2o(op_Dye1y9yfmu(a,a),op_P61xNvXJCL(a,444))+op_count_b1N51d35SA(op_o20kRiQErp(op_keuJNkrrbj(a,a)),op_zqsMTVBX2o(op_Dye1y9yfmu(a,a),op_P61xNvXJCL(a,444)))
    return count


a⫯∌⊮b = { ((b↳∿⪆a)⋷∪⊙(b⪌≋b)) , if (b↼⋎)!=116 ; (b⇺⫉⋠(a⇷⩰⫑b)) , else }

def op_l3UfSkHKmp(a, b):
    if op_sEh42lEs34(b) != 116:
        return op_CzReKdJ050(op_Cw4SuJJGHO(b,a),op_V2wPz6I6tV(b,b))
    else:
        return op_WZX1KRTFlP(b,op_w1MtynkZx4(a,b))

def op_count_l3UfSkHKmp(a, b):
    if op_sEh42lEs34(b) != 116:
        count = op_count_Cw4SuJJGHO(b,a)+op_count_V2wPz6I6tV(b,b)+op_count_CzReKdJ050(op_Cw4SuJJGHO(b,a),op_V2wPz6I6tV(b,b))+op_count_sEh42lEs34(b)
    else:
        count = op_count_w1MtynkZx4(a,b)+op_count_WZX1KRTFlP(b,op_w1MtynkZx4(a,b))
    return count


def op_9xT77pUQLW(a):
    return op_5TUYCnJO6w(op_b71WJCI7uC(a,a))

def op_count_9xT77pUQLW(a):
    count = op_count_b71WJCI7uC(a,a)+op_count_5TUYCnJO6w(op_b71WJCI7uC(a,a))
    return count


a⋘↘ = { (((161⫥⨀148)⊡⋶(a⇫⩞a))⩻⇘⩦(a⩢(60⩢≌))) , if (a⋚⪢)<=6 ; (⨌⋗⫇(⪷⨧∗(a⋪⪸a))) , else }

def op_8ALlvzDM0g(a):
    if op_nIYkNgNdHw(a) <= 6:
        return op_BrdKLlllJJ(op_zXQIJkDMTk(op_5P7CA6B56K(161,148),op_iPL6cQVrhP(a,a)),op_xCh8PLxVLz(a,op_D617RFjZIq(60)))
    else:
        return op_1zJnz8G5mp(op_1ppdvXw4NF(op_7DoUD1Rkxi(a,a)))

def op_count_8ALlvzDM0g(a):
    if op_nIYkNgNdHw(a) <= 6:
        count = op_count_5P7CA6B56K(161,148)+op_count_iPL6cQVrhP(a,a)+op_count_zXQIJkDMTk(op_5P7CA6B56K(161,148),op_iPL6cQVrhP(a,a))+op_count_D617RFjZIq(60)+op_count_xCh8PLxVLz(a,op_D617RFjZIq(60))+op_count_BrdKLlllJJ(op_zXQIJkDMTk(op_5P7CA6B56K(161,148),op_iPL6cQVrhP(a,a)),op_xCh8PLxVLz(a,op_D617RFjZIq(60)))+op_count_nIYkNgNdHw(a)
    else:
        count = op_count_7DoUD1Rkxi(a,a)+op_count_1ppdvXw4NF(op_7DoUD1Rkxi(a,a))+op_count_1zJnz8G5mp(op_1ppdvXw4NF(op_7DoUD1Rkxi(a,a)))
    return count


def op_8BE7p7kUzO(a):
    return op_HBr05eZif0(a,a)

def op_count_8BE7p7kUzO(a):
    count = op_count_HBr05eZif0(a,a)
    return count


def op_tYgBMy40jR(a, b):
    return op_wL68723Mti(op_z9ffQ9n5Zr(a,46),op_MlMyrKhIQ5(b,a))

def op_count_tYgBMy40jR(a, b):
    count = op_count_z9ffQ9n5Zr(a,46)+op_count_MlMyrKhIQ5(b,a)+op_count_wL68723Mti(op_z9ffQ9n5Zr(a,46),op_MlMyrKhIQ5(b,a))
    return count


a∛⋝⇈b = { (((b⇺⩨⨚a)≈⊐∫(⋉∇a))⋲→((a⫺↓⫶34)⊭⪸(↮b))) , if (a⩉)==25 ; (((a∰⊸⨳b)↑⪫≶(b⪟⫙a))⨋∔⪎((a≳⪪∨b)⨜⨶(114⨚⪝b))) , else }

def op_xYQH85bpue(a, b):
    if op_jDTlsx2lFv(a) == 25:
        return op_nBgmWpGUqG(op_7rBzEzYasJ(op_fRgCzqsvkF(b,a),op_AVIuaxj4s4(a)),op_du21YARcKU(op_IP5SWKBbFb(a,34),op_ASIue62dCT(b)))
    else:
        return op_2eU2VkipYL(op_yHqH2lrrnJ(op_jyxETRFrfc(a,b),op_KsnKn8I4DZ(b,a)),op_HiPekx5b7W(op_SBjcRTyrIt(a,b),op_X2bul7T2BP(114,b)))

def op_count_xYQH85bpue(a, b):
    if op_jDTlsx2lFv(a) == 25:
        count = op_count_fRgCzqsvkF(b,a)+op_count_AVIuaxj4s4(a)+op_count_7rBzEzYasJ(op_fRgCzqsvkF(b,a),op_AVIuaxj4s4(a))+op_count_IP5SWKBbFb(a,34)+op_count_ASIue62dCT(b)+op_count_du21YARcKU(op_IP5SWKBbFb(a,34),op_ASIue62dCT(b))+op_count_nBgmWpGUqG(op_7rBzEzYasJ(op_fRgCzqsvkF(b,a),op_AVIuaxj4s4(a)),op_du21YARcKU(op_IP5SWKBbFb(a,34),op_ASIue62dCT(b)))+op_count_jDTlsx2lFv(a)
    else:
        count = op_count_jyxETRFrfc(a,b)+op_count_KsnKn8I4DZ(b,a)+op_count_yHqH2lrrnJ(op_jyxETRFrfc(a,b),op_KsnKn8I4DZ(b,a))+op_count_SBjcRTyrIt(a,b)+op_count_X2bul7T2BP(114,b)+op_count_HiPekx5b7W(op_SBjcRTyrIt(a,b),op_X2bul7T2BP(114,b))+op_count_2eU2VkipYL(op_yHqH2lrrnJ(op_jyxETRFrfc(a,b),op_KsnKn8I4DZ(b,a)),op_HiPekx5b7W(op_SBjcRTyrIt(a,b),op_X2bul7T2BP(114,b)))
    return count


a⋫⪶⨋ = { (((∖⇽≓a)⩞⇢a)↯⪋≎((a⨫⇇↔a)≏⨯⊱(⊛⪶a))) }

def op_Pq8ByzEFQ1(a):
    return op_Y827t4Oxkq(op_tAx3JLWuqz(op_UcNtpYHH3F(a),a),op_UqUOXUQnbU(op_LXhwmt4mBO(a,a),op_WuDju6Xg1a(a)))

def op_count_Pq8ByzEFQ1(a):
    count = op_count_UcNtpYHH3F(a)+op_count_tAx3JLWuqz(op_UcNtpYHH3F(a),a)+op_count_LXhwmt4mBO(a,a)+op_count_WuDju6Xg1a(a)+op_count_UqUOXUQnbU(op_LXhwmt4mBO(a,a),op_WuDju6Xg1a(a))+op_count_Y827t4Oxkq(op_tAx3JLWuqz(op_UcNtpYHH3F(a),a),op_UqUOXUQnbU(op_LXhwmt4mBO(a,a),op_WuDju6Xg1a(a)))
    return count


a→⩾⨳b = { (((b≺⪩*)⊫⊐⋞(⇃b))⇆⊧(⋽∽⇘(b↽∞b))) , if (a⫟⩮)>145 ; (((⇡∮a)⊹(b⨐⪤b))⊡((∠⨬a)↽↬(⫠⨰∍b))) , else }

def op_L0RDdgp79x(a, b):
    if op_z8CdqFHfs2(a) > 145:
        return op_Cip0snuw7U(op_IYFFTOGOwC(op_EdFULhntj6(b),op_i4Pfiorep6(b)),op_JSwnIppu1U(op_eUizPD1kq5(b,b)))
    else:
        return op_ts8K6hLPsW(op_9kyI0w1glK(op_SpFBj8ERfg(a),op_4yVIdyRSpi(b,b)),op_7QYZIzcNPK(op_Mu2j9cYKsd(a),op_ByDzcDDRKQ(b)))

def op_count_L0RDdgp79x(a, b):
    if op_z8CdqFHfs2(a) > 145:
        count = op_count_EdFULhntj6(b)+op_count_i4Pfiorep6(b)+op_count_IYFFTOGOwC(op_EdFULhntj6(b),op_i4Pfiorep6(b))+op_count_eUizPD1kq5(b,b)+op_count_JSwnIppu1U(op_eUizPD1kq5(b,b))+op_count_Cip0snuw7U(op_IYFFTOGOwC(op_EdFULhntj6(b),op_i4Pfiorep6(b)),op_JSwnIppu1U(op_eUizPD1kq5(b,b)))+op_count_z8CdqFHfs2(a)
    else:
        count = op_count_SpFBj8ERfg(a)+op_count_4yVIdyRSpi(b,b)+op_count_9kyI0w1glK(op_SpFBj8ERfg(a),op_4yVIdyRSpi(b,b))+op_count_Mu2j9cYKsd(a)+op_count_ByDzcDDRKQ(b)+op_count_7QYZIzcNPK(op_Mu2j9cYKsd(a),op_ByDzcDDRKQ(b))+op_count_ts8K6hLPsW(op_9kyI0w1glK(op_SpFBj8ERfg(a),op_4yVIdyRSpi(b,b)),op_7QYZIzcNPK(op_Mu2j9cYKsd(a),op_ByDzcDDRKQ(b)))
    return count


⋈⇙≶a = { (⨓⫚(⇕⩴a)) , if (⋩⪰a)<=3 ; (⪚≷⊹(a≣⋋)) , else }

def op_4ya9FjLDHF(a):
    if op_hJmLugFKQo(a) <= 3:
        return op_EuzVB58bWJ(op_DfQeRGhLyD(a))
    else:
        return op_D23Xndwgiw(op_Tcnh7f0tEr(a))

def op_count_4ya9FjLDHF(a):
    if op_hJmLugFKQo(a) <= 3:
        count = op_count_DfQeRGhLyD(a)+op_count_EuzVB58bWJ(op_DfQeRGhLyD(a))+op_count_hJmLugFKQo(a)
    else:
        count = op_count_Tcnh7f0tEr(a)+op_count_D23Xndwgiw(op_Tcnh7f0tEr(a))
    return count


∞⩚≚a = { (((⨍↵a)↟⇝(↰⊜186))⊝⪶(a⋀⪒⨥(⫴⫣a))) }

def op_2RxF6Swgag(a):
    return op_Xbtyq2jN9O(op_YdxZk85PfS(op_gNtKED3RKN(a),op_Aujgi7e9sH(186)),op_uxpXySbnZx(a,op_4ViIqD7dWl(a)))

def op_count_2RxF6Swgag(a):
    count = op_count_gNtKED3RKN(a)+op_count_Aujgi7e9sH(186)+op_count_YdxZk85PfS(op_gNtKED3RKN(a),op_Aujgi7e9sH(186))+op_count_4ViIqD7dWl(a)+op_count_uxpXySbnZx(a,op_4ViIqD7dWl(a))+op_count_Xbtyq2jN9O(op_YdxZk85PfS(op_gNtKED3RKN(a),op_Aujgi7e9sH(186)),op_uxpXySbnZx(a,op_4ViIqD7dWl(a)))
    return count


def op_xqIhqQHMbH(a):
    return op_I2IqpfOY7h(op_w2537kitQq(a,op_il4vvrGStZ(a,a)))

def op_count_xqIhqQHMbH(a):
    count = op_count_il4vvrGStZ(a,a)+op_count_w2537kitQq(a,op_il4vvrGStZ(a,a))+op_count_I2IqpfOY7h(op_w2537kitQq(a,op_il4vvrGStZ(a,a)))
    return count


a⋊⪅b = { (⨩⩅((a⫯⋞b)∳⫺(b∪⊒b))) , if a>263 ; (((∆b)⋍⨍(b⨸⪁b))⫃⨄↛((b⨉⩜⊁b)↴⪮a)) , else }

def op_yH8AgI9qjb(a, b):
    if a > 263:
        return op_wbLIz4LP79(op_AzXXKTstlj(op_Wgo2X3D0xx(a,b),op_wd3DeAcC9f(b,b)))
    else:
        return op_9m16WUFJ5C(op_NjmQ0Rwe72(op_WxCQVOxfvH(b),op_g55IO6H4Gj(b,b)),op_3ayH0UyYyX(op_F5AHWXXekn(b,b),a))

def op_count_yH8AgI9qjb(a, b):
    if a > 263:
        count = op_count_Wgo2X3D0xx(a,b)+op_count_wd3DeAcC9f(b,b)+op_count_AzXXKTstlj(op_Wgo2X3D0xx(a,b),op_wd3DeAcC9f(b,b))+op_count_wbLIz4LP79(op_AzXXKTstlj(op_Wgo2X3D0xx(a,b),op_wd3DeAcC9f(b,b)))
    else:
        count = op_count_WxCQVOxfvH(b)+op_count_g55IO6H4Gj(b,b)+op_count_NjmQ0Rwe72(op_WxCQVOxfvH(b),op_g55IO6H4Gj(b,b))+op_count_F5AHWXXekn(b,b)+op_count_3ayH0UyYyX(op_F5AHWXXekn(b,b),a)+op_count_9m16WUFJ5C(op_NjmQ0Rwe72(op_WxCQVOxfvH(b),op_g55IO6H4Gj(b,b)),op_3ayH0UyYyX(op_F5AHWXXekn(b,b),a))
    return count


def op_j7RMjKbHgu(a):
    if a == 151:
        return op_OMlED4Os5J(op_rTlkf7a45x(a),op_ZMV0W12WVe(30,a))
    else:
        return op_JIizHpWMWm(op_KmoU8R5UQR(a,57))

def op_count_j7RMjKbHgu(a):
    if a == 151:
        count = op_count_rTlkf7a45x(a)+op_count_ZMV0W12WVe(30,a)+op_count_OMlED4Os5J(op_rTlkf7a45x(a),op_ZMV0W12WVe(30,a))
    else:
        count = op_count_KmoU8R5UQR(a,57)+op_count_JIizHpWMWm(op_KmoU8R5UQR(a,57))
    return count


def op_xSPMbnIED0(a):
    if op_Q6Sj1WS8if(a,957) <= 229:
        return op_P3lXMJvFrc(op_Esodbl1gVe(a,a),op_NQTbndOZCW(15,a))
    else:
        return op_WPoGxAaPR1(op_gyx1WIpxU2(563))

def op_count_xSPMbnIED0(a):
    if op_Q6Sj1WS8if(a,957) <= 229:
        count = op_count_Esodbl1gVe(a,a)+op_count_NQTbndOZCW(15,a)+op_count_P3lXMJvFrc(op_Esodbl1gVe(a,a),op_NQTbndOZCW(15,a))+op_count_Q6Sj1WS8if(a,957)
    else:
        count = op_count_gyx1WIpxU2(563)+op_count_WPoGxAaPR1(op_gyx1WIpxU2(563))
    return count


a≟⊠∊b = { b , if ((b⫻-⫄932)==3 or (a⫞⋣∟)<=396) ; ((⪭≐⨜a)≍⇠∡(≑b)) , else }

def op_XIFOzKCdcS(a, b):
    if (op_qO3m3EJotg(b,932) == 3 or op_zxz32dLxDF(a) <= 396):
        return b
    else:
        return op_4XUogC2HX8(op_RyrdAX1Ftm(a),op_OLuofHlRCj(b))

def op_count_XIFOzKCdcS(a, b):
    if (op_qO3m3EJotg(b,932) == 3 or op_zxz32dLxDF(a) <= 396):
        count = 1
    else:
        count = op_count_RyrdAX1Ftm(a)+op_count_OLuofHlRCj(b)+op_count_4XUogC2HX8(op_RyrdAX1Ftm(a),op_OLuofHlRCj(b))
    return count


def op_uC0QELUAMp(a, b):
    if (op_hJmLugFKQo(b) > 511 or op_Lcu9TIsOQz(a) >= 211 or op_Qhrmy2cZ4F(a,43) == 50):
        return op_DEAy1fljX8(op_89BvdqUkvM(b),op_AqJQW3khbP(b))
    else:
        return op_KFvx0uYMJh(op_lP51NIPzK8(227))

def op_count_uC0QELUAMp(a, b):
    if (op_hJmLugFKQo(b) > 511 or op_Lcu9TIsOQz(a) >= 211 or op_Qhrmy2cZ4F(a,43) == 50):
        count = op_count_89BvdqUkvM(b)+op_count_AqJQW3khbP(b)+op_count_DEAy1fljX8(op_89BvdqUkvM(b),op_AqJQW3khbP(b))+op_count_hJmLugFKQo(b)+op_count_Lcu9TIsOQz(a)+op_count_Qhrmy2cZ4F(a,43)
    else:
        count = op_count_lP51NIPzK8(227)+op_count_KFvx0uYMJh(op_lP51NIPzK8(227))
    return count


def op_JXNsC7FERy(a):
    if (a > 797 or op_h9SYvkAopU(a,768) == 11):
        return op_5bjJf2Re4f(op_TE9MRjNUgG(a,0),op_6B9nyZLogK(a))
    else:
        return op_VbgE6nPTyN(op_nFAOW8KTqp(a))

def op_count_JXNsC7FERy(a):
    if (a > 797 or op_h9SYvkAopU(a,768) == 11):
        count = op_count_TE9MRjNUgG(a,0)+op_count_6B9nyZLogK(a)+op_count_5bjJf2Re4f(op_TE9MRjNUgG(a,0),op_6B9nyZLogK(a))+op_count_h9SYvkAopU(a,768)
    else:
        count = op_count_nFAOW8KTqp(a)+op_count_VbgE6nPTyN(op_nFAOW8KTqp(a))
    return count


⪲⊒⇣a = { (⩽(a⊴a)) , if a<245 ; (⪗⪙(a∍a)) , else }

def op_rYtFH0JGBA(a):
    if a < 245:
        return op_tZb0v6mkOr(op_Nsiff2A1zJ(a,a))
    else:
        return op_WbQIOebi5m(op_9rNHCbYvka(a,a))

def op_count_rYtFH0JGBA(a):
    if a < 245:
        count = op_count_Nsiff2A1zJ(a,a)+op_count_tZb0v6mkOr(op_Nsiff2A1zJ(a,a))
    else:
        count = op_count_9rNHCbYvka(a,a)+op_count_WbQIOebi5m(op_9rNHCbYvka(a,a))
    return count


def op_KLPmJgsltE(a):
    return op_HBr05eZif0(op_FZ3HAPnHuF(a,a),op_JeqbPMBChU(a,a))

def op_count_KLPmJgsltE(a):
    count = op_count_FZ3HAPnHuF(a,a)+op_count_JeqbPMBChU(a,a)+op_count_HBr05eZif0(op_FZ3HAPnHuF(a,a),op_JeqbPMBChU(a,a))
    return count


def op_6WFUAG7TdB(a):
    return op_UhM7GxoAxS(op_w82NxwMPxl(a,a))

def op_count_6WFUAG7TdB(a):
    count = op_count_w82NxwMPxl(a,a)+op_count_UhM7GxoAxS(op_w82NxwMPxl(a,a))
    return count


def op_gDiZ5yZybD(a, b):
    return op_MRPaB8lBjK(op_LRNGc0VcxI(a,b))

def op_count_gDiZ5yZybD(a, b):
    count = op_count_LRNGc0VcxI(a,b)+op_count_MRPaB8lBjK(op_LRNGc0VcxI(a,b))
    return count


def op_WPsg1JEH3M(a):
    if op_DpPZRr4xWX(a,25) < 400 and op_3U6LfyZyIC(a,775) != 469 and op_p9GyHdWAHh(a) != 35:
        return op_q9XL0dzTix(op_iEYVdzZsUa(166,a),op_Jd6bdEZZlR(a))
    else:
        return op_YLJhMbTGGW(op_mM1ZLUZGNx(a),op_InRsNkjnGi(a,a))

def op_count_WPsg1JEH3M(a):
    if op_DpPZRr4xWX(a,25) < 400 and op_3U6LfyZyIC(a,775) != 469 and op_p9GyHdWAHh(a) != 35:
        count = op_count_iEYVdzZsUa(166,a)+op_count_Jd6bdEZZlR(a)+op_count_q9XL0dzTix(op_iEYVdzZsUa(166,a),op_Jd6bdEZZlR(a))+op_count_DpPZRr4xWX(a,25)+op_count_3U6LfyZyIC(a,775)+op_count_p9GyHdWAHh(a)
    else:
        count = op_count_mM1ZLUZGNx(a)+op_count_InRsNkjnGi(a,a)+op_count_YLJhMbTGGW(op_mM1ZLUZGNx(a),op_InRsNkjnGi(a,a))
    return count


a⨠≍↲b = { (((a⊢∞a)⫣↠⇨(↘⊾⫔a))⋿⩮(⨶⩒a)) , if (b⋢⨶⪆)>=13 ; (((a⩓⋯⨒b)∅⨓⊺(b−⩎√a))⇪((a⨒⪀327)⋞(⇸⨐⪙42))) , else }

def op_FHpZPdYeqX(a, b):
    if op_OX2d0XMqqw(b) >= 13:
        return op_fisgo7y6Pu(op_AmVValKoYk(op_duO1ngoDTu(a,a),op_UmwfOCm9Vq(a)),op_iKsoMkOqp0(a))
    else:
        return op_hfpBUD6oBE(op_Y6eJsjawIR(op_vJA4po4RDE(a,b),op_tW6TlDUxtJ(b,a)),op_V4yb4KDoeF(op_6UwzacJ3Gx(a,327),op_UhM7GxoAxS(42)))

def op_count_FHpZPdYeqX(a, b):
    if op_OX2d0XMqqw(b) >= 13:
        count = op_count_duO1ngoDTu(a,a)+op_count_UmwfOCm9Vq(a)+op_count_AmVValKoYk(op_duO1ngoDTu(a,a),op_UmwfOCm9Vq(a))+op_count_iKsoMkOqp0(a)+op_count_fisgo7y6Pu(op_AmVValKoYk(op_duO1ngoDTu(a,a),op_UmwfOCm9Vq(a)),op_iKsoMkOqp0(a))+op_count_OX2d0XMqqw(b)
    else:
        count = op_count_vJA4po4RDE(a,b)+op_count_tW6TlDUxtJ(b,a)+op_count_Y6eJsjawIR(op_vJA4po4RDE(a,b),op_tW6TlDUxtJ(b,a))+op_count_6UwzacJ3Gx(a,327)+op_count_UhM7GxoAxS(42)+op_count_V4yb4KDoeF(op_6UwzacJ3Gx(a,327),op_UhM7GxoAxS(42))+op_count_hfpBUD6oBE(op_Y6eJsjawIR(op_vJA4po4RDE(a,b),op_tW6TlDUxtJ(b,a)),op_V4yb4KDoeF(op_6UwzacJ3Gx(a,327),op_UhM7GxoAxS(42)))
    return count


⋿⩼a = { (⋡⨘≙a) , if (-⋅a)>=1 ; (137⪑⫞↭a) , else }

def op_xstYv8reHl(a):
    if op_KVe5lQHqeP(a) >= 1:
        return op_tHss8q0tGc(a)
    else:
        return op_VsxaxIN4o0(137,a)

def op_count_xstYv8reHl(a):
    if op_KVe5lQHqeP(a) >= 1:
        count = op_count_tHss8q0tGc(a)+op_count_KVe5lQHqeP(a)
    else:
        count = op_count_VsxaxIN4o0(137,a)
    return count


a↴⩝⋎b = { b , if (⇿≗⇩b)==357 ; ((a⋮⩂92)⇲(⪣⩱⊶b)) , else }

def op_KEJMtErjzX(a, b):
    if op_FdnA9mdgAX(b) == 357:
        return b
    else:
        return op_24nwyATvD7(op_5mOiYMN9gN(a,92),op_6CFj31KG7v(b))

def op_count_KEJMtErjzX(a, b):
    if op_FdnA9mdgAX(b) == 357:
        count = 1
    else:
        count = op_count_5mOiYMN9gN(a,92)+op_count_6CFj31KG7v(b)+op_count_24nwyATvD7(op_5mOiYMN9gN(a,92),op_6CFj31KG7v(b))
    return count


a≄⪙⪤b = { (a⊂⇲a) , if (b≬)>=171 ; (a⋐⇩⊬) , else }

def op_P82NUzkMfI(a, b):
    if op_MYJn2Et8J9(b) >= 171:
        return op_QBXDJ7vvjN(a,a)
    else:
        return op_JuuLT1NoCs(a)

def op_count_P82NUzkMfI(a, b):
    if op_MYJn2Et8J9(b) >= 171:
        count = op_count_QBXDJ7vvjN(a,a)+op_count_MYJn2Et8J9(b)
    else:
        count = op_count_JuuLT1NoCs(a)
    return count


def op_ymSh1NLfN3(a, b):
    return op_LRNGc0VcxI(op_HISHiMqIg5(a),op_kDQ0oYbj3W(b,b))

def op_count_ymSh1NLfN3(a, b):
    count = op_count_HISHiMqIg5(a)+op_count_kDQ0oYbj3W(b,b)+op_count_LRNGc0VcxI(op_HISHiMqIg5(a),op_kDQ0oYbj3W(b,b))
    return count


def op_RfCYPj9yww(a):
    return op_kf2MGdd7i0(op_6z2K0DnYQv(a),op_YEzomLoFTT(352,a))

def op_count_RfCYPj9yww(a):
    count = op_count_6z2K0DnYQv(a)+op_count_YEzomLoFTT(352,a)+op_count_kf2MGdd7i0(op_6z2K0DnYQv(a),op_YEzomLoFTT(352,a))
    return count


def op_2Rxg1OxJ5K(a):
    return op_JuuLT1NoCs(op_SI1PWFcObS(a,a))

def op_count_2Rxg1OxJ5K(a):
    count = op_count_SI1PWFcObS(a,a)+op_count_JuuLT1NoCs(op_SI1PWFcObS(a,a))
    return count


def op_epaaWAgZjp(a):
    if op_apS25hmuAe(a) < 140:
        return op_u0dhG1s4E2(760,a)
    else:
        return op_096fXiO8sA(303)

def op_count_epaaWAgZjp(a):
    if op_apS25hmuAe(a) < 140:
        count = op_count_u0dhG1s4E2(760,a)+op_count_apS25hmuAe(a)
    else:
        count = op_count_096fXiO8sA(303)
    return count


def op_QGPUvAHwG1(a, b):
    return op_yMixD7ucMB(b,op_QY0RZ2ConY(op_4ViIqD7dWl(a),op_0wt1I76pQR(232,a)))

def op_count_QGPUvAHwG1(a, b):
    count = op_count_4ViIqD7dWl(a)+op_count_0wt1I76pQR(232,a)+op_count_QY0RZ2ConY(op_4ViIqD7dWl(a),op_0wt1I76pQR(232,a))+op_count_yMixD7ucMB(b,op_QY0RZ2ConY(op_4ViIqD7dWl(a),op_0wt1I76pQR(232,a)))
    return count


def op_VwNPpZ8BQw(a, b):
    if op_4O6J1gTF1j(b) != 113 or op_hfQ6xxn5As(a) <= 71:
        return op_iA2gmKZ3Wj(62)
    else:
        return a

def op_count_VwNPpZ8BQw(a, b):
    if op_4O6J1gTF1j(b) != 113 or op_hfQ6xxn5As(a) <= 71:
        count = op_count_iA2gmKZ3Wj(62)+op_count_4O6J1gTF1j(b)+op_count_hfQ6xxn5As(a)
    else:
        count = 1
    return count


⨭⊵⊅a = { (⩳⪓⋆(a∸)) , if (a!=160 or (⊩⩯⊸a)<=94) ; ((⋫⊶(a⫧⇁a))∋⪕⋐(a⩀↣(a⊥⋀a))) , else }

def op_QtcuAnPJop(a):
    if (a != 160 or op_ylL9BKhKk8(a) <= 94):
        return op_hPFeJH6INu(op_o20kRiQErp(a))
    else:
        return op_qCin6ZH1or(op_HmnkF1LO3g(op_uCHXiyXghx(a,a)),op_OstGYNawjH(a,op_2HYkBhA3K5(a,a)))

def op_count_QtcuAnPJop(a):
    if (a != 160 or op_ylL9BKhKk8(a) <= 94):
        count = op_count_o20kRiQErp(a)+op_count_hPFeJH6INu(op_o20kRiQErp(a))+op_count_ylL9BKhKk8(a)
    else:
        count = op_count_uCHXiyXghx(a,a)+op_count_HmnkF1LO3g(op_uCHXiyXghx(a,a))+op_count_2HYkBhA3K5(a,a)+op_count_OstGYNawjH(a,op_2HYkBhA3K5(a,a))+op_count_qCin6ZH1or(op_HmnkF1LO3g(op_uCHXiyXghx(a,a)),op_OstGYNawjH(a,op_2HYkBhA3K5(a,a)))
    return count


def op_I88VQCJaR2(a, b):
    return op_Mqg6Kpcx5i(op_vg4gO5BX6G(b,a),op_Hn4VRZUxzV(b,b))

def op_count_I88VQCJaR2(a, b):
    count = op_count_vg4gO5BX6G(b,a)+op_count_Hn4VRZUxzV(b,b)+op_count_Mqg6Kpcx5i(op_vg4gO5BX6G(b,a),op_Hn4VRZUxzV(b,b))
    return count


⊖⩡⨜a = { (⇃a) , if (≹↦⩒a)>=617 ; (⪋⩟⪍a) , else }

def op_4uTvpvxRfk(a):
    if op_nCSYG0sci4(a) >= 617:
        return op_i4Pfiorep6(a)
    else:
        return op_qUo4zOcGDe(a)

def op_count_4uTvpvxRfk(a):
    if op_nCSYG0sci4(a) >= 617:
        count = op_count_i4Pfiorep6(a)+op_count_nCSYG0sci4(a)
    else:
        count = op_count_qUo4zOcGDe(a)
    return count


⨨⪨a = { (⊼⨱a) , if (⋾⨢a)>624 ; (a⨓a) , else }

def op_e7RTHtDrAR(a):
    if op_XdNqyszOnH(a) > 624:
        return op_tKiiq4oRTN(a)
    else:
        return op_3ViojmjbAp(a,a)

def op_count_e7RTHtDrAR(a):
    if op_XdNqyszOnH(a) > 624:
        count = op_count_tKiiq4oRTN(a)+op_count_XdNqyszOnH(a)
    else:
        count = op_count_3ViojmjbAp(a,a)
    return count


⨘⊌a = { (((a⫨⋵∵a)≣⋋)∦⨀(≏≯(a⩚⋩91))) , if a>104 ; (((a⨾)⇵(a⪸⊜⨷a))⩌⊩) , else }

def op_ckvGJonzgW(a):
    if a > 104:
        return op_59i70fHhft(op_Tcnh7f0tEr(op_MfPSOyZItI(a,a)),op_6W74g7QTY6(op_VGTZPjlT06(a,91)))
    else:
        return op_nKRP7T4sDA(op_kVSeQakJeK(op_sbYsij7Tm7(a),op_6BFomJzHVX(a,a)))

def op_count_ckvGJonzgW(a):
    if a > 104:
        count = op_count_MfPSOyZItI(a,a)+op_count_Tcnh7f0tEr(op_MfPSOyZItI(a,a))+op_count_VGTZPjlT06(a,91)+op_count_6W74g7QTY6(op_VGTZPjlT06(a,91))+op_count_59i70fHhft(op_Tcnh7f0tEr(op_MfPSOyZItI(a,a)),op_6W74g7QTY6(op_VGTZPjlT06(a,91)))
    else:
        count = op_count_sbYsij7Tm7(a)+op_count_6BFomJzHVX(a,a)+op_count_kVSeQakJeK(op_sbYsij7Tm7(a),op_6BFomJzHVX(a,a))+op_count_nKRP7T4sDA(op_kVSeQakJeK(op_sbYsij7Tm7(a),op_6BFomJzHVX(a,a)))
    return count


def op_knLcQdFABS(a, b):
    if op_6wBhCzx1ue(b,69) == 6:
        return op_iERJjuKeUH(b,804)
    else:
        return op_e1tqKxnyD8(301,a)

def op_count_knLcQdFABS(a, b):
    if op_6wBhCzx1ue(b,69) == 6:
        count = op_count_iERJjuKeUH(b,804)+op_count_6wBhCzx1ue(b,69)
    else:
        count = op_count_e1tqKxnyD8(301,a)
    return count


def op_nTTA9rUcPW(a):
    return op_5UdJKhy29U(op_HKBRh2t2ub(a),op_UhM7GxoAxS(a))

def op_count_nTTA9rUcPW(a):
    count = op_count_HKBRh2t2ub(a)+op_count_UhM7GxoAxS(a)+op_count_5UdJKhy29U(op_HKBRh2t2ub(a),op_UhM7GxoAxS(a))
    return count


⫞⪹⩄a = { ((a⫌⩢↗a)⨩≤⫤(a⊩a)) , if (a==477 or (a⨐∔⪙849)>6) ; (⩤⊕∪(312⨉⪘⪊a)) , else }

def op_hdbUzVO3gi(a):
    if (a == 477 or op_YFQVrlY9jA(a,849) > 6):
        return op_neKQRQQIil(op_zXFJn6gPTe(a,a),op_aCwnCp9fG4(a,a))
    else:
        return op_gfvVrh7EOO(op_wxno1H4PnZ(312,a))

def op_count_hdbUzVO3gi(a):
    if (a == 477 or op_YFQVrlY9jA(a,849) > 6):
        count = op_count_zXFJn6gPTe(a,a)+op_count_aCwnCp9fG4(a,a)+op_count_neKQRQQIil(op_zXFJn6gPTe(a,a),op_aCwnCp9fG4(a,a))+op_count_YFQVrlY9jA(a,849)
    else:
        count = op_count_wxno1H4PnZ(312,a)+op_count_gfvVrh7EOO(op_wxno1H4PnZ(312,a))
    return count


def op_K00OLkiOkF(a, b):
    return op_KmoU8R5UQR(op_L0XVkq44a1(a,a),op_xQeZU3TIrN(a,b))

def op_count_K00OLkiOkF(a, b):
    count = op_count_L0XVkq44a1(a,a)+op_count_xQeZU3TIrN(a,b)+op_count_KmoU8R5UQR(op_L0XVkq44a1(a,a),op_xQeZU3TIrN(a,b))
    return count


def op_dNJ0VLDcvh(a):
    if op_XLFSxamNWY(a) != 397:
        return 2
    else:
        return op_0DhpTGsvK0(op_sQ9a9XOMpm(op_ScueqDwPO5(a,508),op_dcShxvzhyw(151)),op_3aDEFeODLe(op_JhaTKDJgG8(a,288)))

def op_count_dNJ0VLDcvh(a):
    if op_XLFSxamNWY(a) != 397:
        count = op_count_XLFSxamNWY(a)
    else:
        count = op_count_ScueqDwPO5(a,508)+op_count_dcShxvzhyw(151)+op_count_sQ9a9XOMpm(op_ScueqDwPO5(a,508),op_dcShxvzhyw(151))+op_count_JhaTKDJgG8(a,288)+op_count_3aDEFeODLe(op_JhaTKDJgG8(a,288))+op_count_0DhpTGsvK0(op_sQ9a9XOMpm(op_ScueqDwPO5(a,508),op_dcShxvzhyw(151)),op_3aDEFeODLe(op_JhaTKDJgG8(a,288)))
    return count


def op_Q7t1aWOjeJ(a, b):
    return op_UnCoSGIALn(op_062Vd6lJgw(op_djODW6KcNw(b,a)))

def op_count_Q7t1aWOjeJ(a, b):
    count = op_count_djODW6KcNw(b,a)+op_count_062Vd6lJgw(op_djODW6KcNw(b,a))+op_count_UnCoSGIALn(op_062Vd6lJgw(op_djODW6KcNw(b,a)))
    return count


def op_67TofhdRJm(a):
    return op_enyv3EGcQ1(op_Gdaqu1gMph(a,a),op_AcOhelriW5(236))

def op_count_67TofhdRJm(a):
    count = op_count_Gdaqu1gMph(a,a)+op_count_AcOhelriW5(236)+op_count_enyv3EGcQ1(op_Gdaqu1gMph(a,a),op_AcOhelriW5(236))
    return count


a⇻↝⨫b = { (b⋆⪎⪨b) , if (⊺⇒b)>216 ; (a⫍⇺b) , else }

def op_KKpDBDP0a1(a, b):
    if op_2MgFsFVNLE(b) > 216:
        return op_kLz9fXvToG(b,b)
    else:
        return op_ITUoubXGQQ(a,b)

def op_count_KKpDBDP0a1(a, b):
    if op_2MgFsFVNLE(b) > 216:
        count = op_count_kLz9fXvToG(b,b)+op_count_2MgFsFVNLE(b)
    else:
        count = op_count_ITUoubXGQQ(a,b)
    return count