⊃↲⊜a = { (≭⫘a) , if (≞⇷↞a)>6 and (a⇚⫬738)>3 and (a⪤24)<=724 ; ((≻⋜12)∦⩤≿(a⋣√∲a)) , else }

def op_rRluhj1zQQ(a):
    if op_K6FahzXawg(a) > 6 and op_hobi2Kiz2H(a,738) > 3 and op_JKhKCqropJ(a,24) <= 724:
        return op_jEAzKzhh6P(a)
    else:
        return op_zhTrIMte4B(op_3tj9sqzovi(12),op_1hm1oEpfJf(a,a))

def op_count_rRluhj1zQQ(a):
    if op_K6FahzXawg(a) > 6 and op_hobi2Kiz2H(a,738) > 3 and op_JKhKCqropJ(a,24) <= 724:
        count = op_count_jEAzKzhh6P(a)+op_count_K6FahzXawg(a)+op_count_hobi2Kiz2H(a,738)+op_count_JKhKCqropJ(a,24)
    else:
        count = op_count_3tj9sqzovi(12)+op_count_1hm1oEpfJf(a,a)+op_count_zhTrIMte4B(op_3tj9sqzovi(12),op_1hm1oEpfJf(a,a))
    return count


def op_riYhAJTAzK(a):
    if op_TjiRhGzIti(a) <= 116:
        return op_8EAfVIn5ao(178,a)
    else:
        return op_akoXB3dKtI(8)

def op_count_riYhAJTAzK(a):
    if op_TjiRhGzIti(a) <= 116:
        count = op_count_8EAfVIn5ao(178,a)+op_count_TjiRhGzIti(a)
    else:
        count = op_count_akoXB3dKtI(8)
    return count


⫵⇞⨹a = { (((⪘⋹⊆a)≼⇖(a⪤⇈a))∻⪺((a≉↲371)⩍⋽⫝̸(a⨑≵⋬a))) , if (a∐⋓∯479)<=218 ; (⫖→((∛≨a)⩏⪇(a≿≇⋫a))) , else }

def op_YJ5URB4ZkF(a):
    if op_ur59r4nmwX(a,479) <= 218:
        return op_vg7yw4NKn8(op_rxoAJkQuc9(op_rYuH8NSTjl(a),op_lWNx0gx4UD(a,a)),op_BiWNJpBvwn(op_dngTJzlZ0N(a,371),op_XnXgA4xnOs(a,a)))
    else:
        return op_U4ylXWHChL(op_ThCBRY6y6l(op_Qh0O3qRqMr(a),op_IlBaPZfJxA(a,a)))

def op_count_YJ5URB4ZkF(a):
    if op_ur59r4nmwX(a,479) <= 218:
        count = op_count_rYuH8NSTjl(a)+op_count_lWNx0gx4UD(a,a)+op_count_rxoAJkQuc9(op_rYuH8NSTjl(a),op_lWNx0gx4UD(a,a))+op_count_dngTJzlZ0N(a,371)+op_count_XnXgA4xnOs(a,a)+op_count_BiWNJpBvwn(op_dngTJzlZ0N(a,371),op_XnXgA4xnOs(a,a))+op_count_vg7yw4NKn8(op_rxoAJkQuc9(op_rYuH8NSTjl(a),op_lWNx0gx4UD(a,a)),op_BiWNJpBvwn(op_dngTJzlZ0N(a,371),op_XnXgA4xnOs(a,a)))+op_count_ur59r4nmwX(a,479)
    else:
        count = op_count_Qh0O3qRqMr(a)+op_count_IlBaPZfJxA(a,a)+op_count_ThCBRY6y6l(op_Qh0O3qRqMr(a),op_IlBaPZfJxA(a,a))+op_count_U4ylXWHChL(op_ThCBRY6y6l(op_Qh0O3qRqMr(a),op_IlBaPZfJxA(a,a)))
    return count


a⇉⊄ = { ((a≫a)⨟∧⇿(88⨅⪔a)) , if (a⋔)>=318 ; ((536⨌⫂a)⩮⊘↞(↔⊐⋟a)) , else }

def op_SzhDQGSkpQ(a):
    if op_Abe2YLZvdJ(a) >= 318:
        return op_SvBhWvR7tw(op_fjIpuvyOFL(a,a),op_zs0bbCWKdf(88,a))
    else:
        return op_Qqyumcscty(op_WvhSX4Tttm(536,a),op_nuZMgjAhXC(a))

def op_count_SzhDQGSkpQ(a):
    if op_Abe2YLZvdJ(a) >= 318:
        count = op_count_fjIpuvyOFL(a,a)+op_count_zs0bbCWKdf(88,a)+op_count_SvBhWvR7tw(op_fjIpuvyOFL(a,a),op_zs0bbCWKdf(88,a))+op_count_Abe2YLZvdJ(a)
    else:
        count = op_count_WvhSX4Tttm(536,a)+op_count_nuZMgjAhXC(a)+op_count_Qqyumcscty(op_WvhSX4Tttm(536,a),op_nuZMgjAhXC(a))
    return count


a⋿≌b = { (((246⇩⇣a)⇦⇕(⫿⇖⋊a))∃(∶⩡(a⪨≂b))) , if a>=164 ; (((a⩐44)⫊(a∙⊟a))≥≧↭((a⫘b)∌⇯⇷(⊄⫀⨏a))) , else }

def op_OmMtHYPvwT(a, b):
    if a >= 164:
        return op_3H5Xx7QWkg(op_MiD56F0FLc(op_UscWZcTkUL(246,a),op_lIlUPQxqM5(a)),op_gAFkdPcyl3(op_sdazOOVcIp(a,b)))
    else:
        return op_9uqIsVI5ug(op_uPjn7n5pli(op_bMfZrpXtSe(a,44),op_SxTAKzQCrw(a,a)),op_moP16zZBUU(op_48vC8HMD2b(a,b),op_uhF6YzFI4G(a)))

def op_count_OmMtHYPvwT(a, b):
    if a >= 164:
        count = op_count_UscWZcTkUL(246,a)+op_count_lIlUPQxqM5(a)+op_count_MiD56F0FLc(op_UscWZcTkUL(246,a),op_lIlUPQxqM5(a))+op_count_sdazOOVcIp(a,b)+op_count_gAFkdPcyl3(op_sdazOOVcIp(a,b))+op_count_3H5Xx7QWkg(op_MiD56F0FLc(op_UscWZcTkUL(246,a),op_lIlUPQxqM5(a)),op_gAFkdPcyl3(op_sdazOOVcIp(a,b)))
    else:
        count = op_count_bMfZrpXtSe(a,44)+op_count_SxTAKzQCrw(a,a)+op_count_uPjn7n5pli(op_bMfZrpXtSe(a,44),op_SxTAKzQCrw(a,a))+op_count_48vC8HMD2b(a,b)+op_count_uhF6YzFI4G(a)+op_count_moP16zZBUU(op_48vC8HMD2b(a,b),op_uhF6YzFI4G(a))+op_count_9uqIsVI5ug(op_uPjn7n5pli(op_bMfZrpXtSe(a,44),op_SxTAKzQCrw(a,a)),op_moP16zZBUU(op_48vC8HMD2b(a,b),op_uhF6YzFI4G(a)))
    return count


a↷⇨b = { (26≥⨤⩑a) , if (b⩻⇘⩦537)<=5 ; (↕⨹↣b) , else }

def op_TfDg97AJZq(a, b):
    if op_BrdKLlllJJ(b,537) <= 5:
        return op_gJLn6v0xnP(26,a)
    else:
        return op_krTmBp4034(b)

def op_count_TfDg97AJZq(a, b):
    if op_BrdKLlllJJ(b,537) <= 5:
        count = op_count_gJLn6v0xnP(26,a)+op_count_BrdKLlllJJ(b,537)
    else:
        count = op_count_krTmBp4034(b)
    return count


def op_T5evXJ2uog(a):
    if (op_4vOKojZu5Q(a,664) != 518 and op_hUGWutwbTt(a,692) <= 537 and op_BOd5HHRnpm(a) > 65):
        return 638
    else:
        return op_w2537kitQq(op_IZ4n4pDw05(a,544),op_m5lJmxjxvL(a))

def op_count_T5evXJ2uog(a):
    if (op_4vOKojZu5Q(a,664) != 518 and op_hUGWutwbTt(a,692) <= 537 and op_BOd5HHRnpm(a) > 65):
        count = op_count_4vOKojZu5Q(a,664)+op_count_hUGWutwbTt(a,692)+op_count_BOd5HHRnpm(a)
    else:
        count = op_count_IZ4n4pDw05(a,544)+op_count_m5lJmxjxvL(a)+op_count_w2537kitQq(op_IZ4n4pDw05(a,544),op_m5lJmxjxvL(a))
    return count


def op_NY3uR3zG9o(a):
    if op_MDeofPkNUB(a,307) < 158:
        return 37
    else:
        return op_FivK695Inb(30,a)

def op_count_NY3uR3zG9o(a):
    if op_MDeofPkNUB(a,307) < 158:
        count = op_count_MDeofPkNUB(a,307)
    else:
        count = op_count_FivK695Inb(30,a)
    return count


a⇀⋿b = { (b≁↽≥718) , if a>=106 ; (b⊮⩪a) , else }

def op_j4sByiyhaq(a, b):
    if a >= 106:
        return op_ncHt1X6cMc(b,718)
    else:
        return op_xAOA4rDxDB(b,a)

def op_count_j4sByiyhaq(a, b):
    if a >= 106:
        count = op_count_ncHt1X6cMc(b,718)
    else:
        count = op_count_xAOA4rDxDB(b,a)
    return count


a⋋≨⨖b = { ((a∌39)⩎⪣⊞) , if (b⫶⨡⨒368)>11 and (b⪤⩸798)==560 and a!=203 ; ((a⩚⊴⇥a)∺(b≻⩩⇺b)) , else }

def op_WstRHGihNc(a, b):
    if op_cYefTWUxOW(b,368) > 11 and op_fSc9RXyFW7(b,798) == 560 and a != 203:
        return op_waWucp1uQ4(op_8cLx32lpNA(a,39))
    else:
        return op_3lnCICep6t(op_NTOWxs364D(a,a),op_3FsoGOMzDA(b,b))

def op_count_WstRHGihNc(a, b):
    if op_cYefTWUxOW(b,368) > 11 and op_fSc9RXyFW7(b,798) == 560 and a != 203:
        count = op_count_8cLx32lpNA(a,39)+op_count_waWucp1uQ4(op_8cLx32lpNA(a,39))+op_count_cYefTWUxOW(b,368)+op_count_fSc9RXyFW7(b,798)
    else:
        count = op_count_NTOWxs364D(a,a)+op_count_3FsoGOMzDA(b,b)+op_count_3lnCICep6t(op_NTOWxs364D(a,a),op_3FsoGOMzDA(b,b))
    return count


def op_Sq2yP8LXEy(a):
    if op_KUgh4aG1vf(a) == 201:
        return op_ARPqjJ5jgq(op_RTaRm1inG1(a,478))
    else:
        return op_Dk6V8i6EvU(op_2MzE1hQ0cz(a),op_B8FmB0RXNF(580,a))

def op_count_Sq2yP8LXEy(a):
    if op_KUgh4aG1vf(a) == 201:
        count = op_count_RTaRm1inG1(a,478)+op_count_ARPqjJ5jgq(op_RTaRm1inG1(a,478))+op_count_KUgh4aG1vf(a)
    else:
        count = op_count_2MzE1hQ0cz(a)+op_count_B8FmB0RXNF(580,a)+op_count_Dk6V8i6EvU(op_2MzE1hQ0cz(a),op_B8FmB0RXNF(580,a))
    return count


⇫⊗a = { (((61⇚⪁a)≨(a⪲⪛⊘a))⫿⊱(a⋑⩐⪄(a⪁⇊⋡a))) , if a>70 ; ((⪴⨍a)∥a) , else }

def op_H6YPSuUPVM(a):
    if a > 70:
        return op_vEqyA2MNuf(op_0KMCeP1Jsh(op_iblNMd5S3q(61,a),op_2igqgnYHzU(a,a)),op_mCA1Lu4fO6(a,op_v7DKjtCdMf(a,a)))
    else:
        return op_al7aJ7Utp8(op_agxF4Cl01F(a),a)

def op_count_H6YPSuUPVM(a):
    if a > 70:
        count = op_count_iblNMd5S3q(61,a)+op_count_2igqgnYHzU(a,a)+op_count_0KMCeP1Jsh(op_iblNMd5S3q(61,a),op_2igqgnYHzU(a,a))+op_count_v7DKjtCdMf(a,a)+op_count_mCA1Lu4fO6(a,op_v7DKjtCdMf(a,a))+op_count_vEqyA2MNuf(op_0KMCeP1Jsh(op_iblNMd5S3q(61,a),op_2igqgnYHzU(a,a)),op_mCA1Lu4fO6(a,op_v7DKjtCdMf(a,a)))
    else:
        count = op_count_agxF4Cl01F(a)+op_count_al7aJ7Utp8(op_agxF4Cl01F(a),a)
    return count


⇈⊜⫚a = { (⪫⨮⊛a) , if (⊞⪻a)>=119 ; (a↯↼≑17) , else }

def op_2zVBXYhYzv(a):
    if op_RdkBwzoIxl(a) >= 119:
        return op_w5FWba1tyO(a)
    else:
        return op_VMFyCNSIHR(a,17)

def op_count_2zVBXYhYzv(a):
    if op_RdkBwzoIxl(a) >= 119:
        count = op_count_w5FWba1tyO(a)+op_count_RdkBwzoIxl(a)
    else:
        count = op_count_VMFyCNSIHR(a,17)
    return count


⇃⊶a = { (((a⫳∂a)⇕∤(a⨇∍a))∖⊫((a∰⫀⋄a)*a)) , if (a⩩⨧⊺)>=643 or (a⪣≬⊯)<=672 ; (((⋉∇a)⇃⪼(a⊹⨛a))⪎⨈(a⨢↰(a⇒⊶a))) , else }

def op_pjUV93VzRs(a):
    if op_MUxJ3El0z1(a) >= 643 or op_rNLcfgtDaN(a) <= 672:
        return op_xNgZz6XNYQ(op_vv8LpWl80y(op_jJYLip4aMc(a,a),op_MLcC8hLVgw(a,a)),op_9HNa5Wba9A(op_Cwt3GTOVka(a,a),a))
    else:
        return op_PTuWOAQI59(op_KfHK9LWpY5(op_AVIuaxj4s4(a),op_9Skavuvm7c(a,a)),op_xTB5j2aZzK(a,op_J4RdkEvY2C(a,a)))

def op_count_pjUV93VzRs(a):
    if op_MUxJ3El0z1(a) >= 643 or op_rNLcfgtDaN(a) <= 672:
        count = op_count_jJYLip4aMc(a,a)+op_count_MLcC8hLVgw(a,a)+op_count_vv8LpWl80y(op_jJYLip4aMc(a,a),op_MLcC8hLVgw(a,a))+op_count_Cwt3GTOVka(a,a)+op_count_9HNa5Wba9A(op_Cwt3GTOVka(a,a),a)+op_count_xNgZz6XNYQ(op_vv8LpWl80y(op_jJYLip4aMc(a,a),op_MLcC8hLVgw(a,a)),op_9HNa5Wba9A(op_Cwt3GTOVka(a,a),a))+op_count_MUxJ3El0z1(a)+op_count_rNLcfgtDaN(a)
    else:
        count = op_count_AVIuaxj4s4(a)+op_count_9Skavuvm7c(a,a)+op_count_KfHK9LWpY5(op_AVIuaxj4s4(a),op_9Skavuvm7c(a,a))+op_count_J4RdkEvY2C(a,a)+op_count_xTB5j2aZzK(a,op_J4RdkEvY2C(a,a))+op_count_PTuWOAQI59(op_KfHK9LWpY5(op_AVIuaxj4s4(a),op_9Skavuvm7c(a,a)),op_xTB5j2aZzK(a,op_J4RdkEvY2C(a,a)))
    return count


def op_651iCFa4Ru(a):
    return op_zPwbmAUgue(op_ESGVt5Nk82(op_XRKDgMSJta(281,a)))

def op_count_651iCFa4Ru(a):
    count = op_count_XRKDgMSJta(281,a)+op_count_ESGVt5Nk82(op_XRKDgMSJta(281,a))+op_count_zPwbmAUgue(op_ESGVt5Nk82(op_XRKDgMSJta(281,a)))
    return count


a∑⊋b = { (a⫽⪃b) , if a<136 ; (⇼≸↤a) , else }

def op_UTc5aj7RkL(a, b):
    if a < 136:
        return op_FJ3oXK3UQ0(a,b)
    else:
        return op_8rV5Za9tV4(a)

def op_count_UTc5aj7RkL(a, b):
    if a < 136:
        count = op_count_FJ3oXK3UQ0(a,b)
    else:
        count = op_count_8rV5Za9tV4(a)
    return count


def op_LUSzMrV1r1(a):
    if op_zWEPWlwaj2(a,709) > 165:
        return op_EMR9JvRK8T(op_VjnqvBkomr(a),op_Tw270M8GLb(a))
    else:
        return op_RlOoWQmxHa(op_xTDqZxPsQw(a,380),op_YjWMGCMWCv(142))

def op_count_LUSzMrV1r1(a):
    if op_zWEPWlwaj2(a,709) > 165:
        count = op_count_VjnqvBkomr(a)+op_count_Tw270M8GLb(a)+op_count_EMR9JvRK8T(op_VjnqvBkomr(a),op_Tw270M8GLb(a))+op_count_zWEPWlwaj2(a,709)
    else:
        count = op_count_xTDqZxPsQw(a,380)+op_count_YjWMGCMWCv(142)+op_count_RlOoWQmxHa(op_xTDqZxPsQw(a,380),op_YjWMGCMWCv(142))
    return count


def op_MRkaznYsG3(a, b):
    return op_NQSZfDPzMJ(op_czcXd0geAe(op_NvEvKO2R8S(b,b),op_z9ffQ9n5Zr(b,a)))

def op_count_MRkaznYsG3(a, b):
    count = op_count_NvEvKO2R8S(b,b)+op_count_z9ffQ9n5Zr(b,a)+op_count_czcXd0geAe(op_NvEvKO2R8S(b,b),op_z9ffQ9n5Zr(b,a))+op_count_NQSZfDPzMJ(op_czcXd0geAe(op_NvEvKO2R8S(b,b),op_z9ffQ9n5Zr(b,a)))
    return count


a≒↓⩯b = { (⫼a) , if a>=15 ; (⋄≵b) , else }

def op_jT9LkLVM86(a, b):
    if a >= 15:
        return op_ozBFlv7jAp(a)
    else:
        return op_0s4lksQsMd(b)

def op_count_jT9LkLVM86(a, b):
    if a >= 15:
        count = op_count_ozBFlv7jAp(a)
    else:
        count = op_count_0s4lksQsMd(b)
    return count


a⨍↷⊼ = { (((a⇦⇕a)∵⊛≕(a⋑⩐⪄a))⊵((a⫝⪙a)→⨓⊽a)) , if a==410 or (a∩⫨⩀)<=35 ; (((⪻⇥a)⪛⫼(a⋓304))⫖⊲((a⫲≸⪮a)⩤⫨↦(a⫺∳a))) , else }

def op_9cStKeCW7E(a):
    if a == 410 or op_GUL9HGtdXd(a) <= 35:
        return op_eaFBhJ0Uku(op_421RnaStf2(op_MiD56F0FLc(a,a),op_mCA1Lu4fO6(a,a)),op_hd8EJBCbQT(op_y1eBRRC36c(a,a),a))
    else:
        return op_CUcQ7hI1X5(op_hyuBjUqXlG(op_kaeRoPDD5o(a),op_T2fj7uvVaJ(a,304)),op_iukWuQulzt(op_P3lXMJvFrc(a,a),op_JyLijAdH7y(a,a)))

def op_count_9cStKeCW7E(a):
    if a == 410 or op_GUL9HGtdXd(a) <= 35:
        count = op_count_MiD56F0FLc(a,a)+op_count_mCA1Lu4fO6(a,a)+op_count_421RnaStf2(op_MiD56F0FLc(a,a),op_mCA1Lu4fO6(a,a))+op_count_y1eBRRC36c(a,a)+op_count_hd8EJBCbQT(op_y1eBRRC36c(a,a),a)+op_count_eaFBhJ0Uku(op_421RnaStf2(op_MiD56F0FLc(a,a),op_mCA1Lu4fO6(a,a)),op_hd8EJBCbQT(op_y1eBRRC36c(a,a),a))+op_count_GUL9HGtdXd(a)
    else:
        count = op_count_kaeRoPDD5o(a)+op_count_T2fj7uvVaJ(a,304)+op_count_hyuBjUqXlG(op_kaeRoPDD5o(a),op_T2fj7uvVaJ(a,304))+op_count_P3lXMJvFrc(a,a)+op_count_JyLijAdH7y(a,a)+op_count_iukWuQulzt(op_P3lXMJvFrc(a,a),op_JyLijAdH7y(a,a))+op_count_CUcQ7hI1X5(op_hyuBjUqXlG(op_kaeRoPDD5o(a),op_T2fj7uvVaJ(a,304)),op_iukWuQulzt(op_P3lXMJvFrc(a,a),op_JyLijAdH7y(a,a)))
    return count


def op_gMKeppjpvn(a, b):
    if (a <= 440 or op_CdHlyAwjkr(a,99) != 137 or op_v9KVZbcFsa(a,929) != 3):
        return op_rsaZ3WVEY2(op_olRPQDKeNJ(b,206))
    else:
        return op_FnKkWBwf5d(op_YTfFA0Nyat(b,259))

def op_count_gMKeppjpvn(a, b):
    if (a <= 440 or op_CdHlyAwjkr(a,99) != 137 or op_v9KVZbcFsa(a,929) != 3):
        count = op_count_olRPQDKeNJ(b,206)+op_count_rsaZ3WVEY2(op_olRPQDKeNJ(b,206))+op_count_CdHlyAwjkr(a,99)+op_count_v9KVZbcFsa(a,929)
    else:
        count = op_count_YTfFA0Nyat(b,259)+op_count_FnKkWBwf5d(op_YTfFA0Nyat(b,259))
    return count


a≸∽ = { (((a⇙≖a)⨏⋷⊗(a⇌⫇⫉a))⪹⫧⇽) , if (≪a)<372 ; (((176⨯a)⩝∍∂(a≀⇼⋷a))⊗⇩⩘((a∲⫓507)⫟↡(a⫁∆⨗75))) , else }

def op_6lmx481tna(a):
    if op_Qtd6bqUJcN(a) < 372:
        return op_RUvFhAOGfE(op_qFQkR9UZt5(op_UcOohO8Yx2(a,a),op_UlQ84THUy4(a,a)))
    else:
        return op_TLcR4sSQDd(op_6wBhCzx1ue(op_qYpz2WEVq4(176,a),op_WN7bYeQ5jG(a,a)),op_Vb2KBMmg4y(op_i8ToyICDmI(a,507),op_JAobebJkKA(a,75)))

def op_count_6lmx481tna(a):
    if op_Qtd6bqUJcN(a) < 372:
        count = op_count_UcOohO8Yx2(a,a)+op_count_UlQ84THUy4(a,a)+op_count_qFQkR9UZt5(op_UcOohO8Yx2(a,a),op_UlQ84THUy4(a,a))+op_count_RUvFhAOGfE(op_qFQkR9UZt5(op_UcOohO8Yx2(a,a),op_UlQ84THUy4(a,a)))+op_count_Qtd6bqUJcN(a)
    else:
        count = op_count_qYpz2WEVq4(176,a)+op_count_WN7bYeQ5jG(a,a)+op_count_6wBhCzx1ue(op_qYpz2WEVq4(176,a),op_WN7bYeQ5jG(a,a))+op_count_i8ToyICDmI(a,507)+op_count_JAobebJkKA(a,75)+op_count_Vb2KBMmg4y(op_i8ToyICDmI(a,507),op_JAobebJkKA(a,75))+op_count_TLcR4sSQDd(op_6wBhCzx1ue(op_qYpz2WEVq4(176,a),op_WN7bYeQ5jG(a,a)),op_Vb2KBMmg4y(op_i8ToyICDmI(a,507),op_JAobebJkKA(a,75)))
    return count


a⪉⪡≖ = { (((118⊈⩂a)≬⇓(a⫳∂a))↼/((358⩁∪a)⊝⪴↚(388⊴a))) , if a<=423 ; (((a↜⩮⋌a)⋬≹(a⩱⇜⪦a))⊸⨥≭(≦∁(a⋴⇒⩪a))) , else }

def op_r1XFtTl31B(a):
    if a <= 423:
        return op_0l75R42zb7(op_jWTQ2TZYIH(op_ftShcB620t(118,a),op_jJYLip4aMc(a,a)),op_ZcEZS9J7rM(op_dvgeamS7g2(358,a),op_Nsiff2A1zJ(388,a)))
    else:
        return op_Y51oDxb2WH(op_XhYZ2gVPdD(op_PqI0yuGIzd(a,a),op_TPY4Vhd24N(a,a)),op_9ICcGScMcE(op_ydJmeWyvU7(a,a)))

def op_count_r1XFtTl31B(a):
    if a <= 423:
        count = op_count_ftShcB620t(118,a)+op_count_jJYLip4aMc(a,a)+op_count_jWTQ2TZYIH(op_ftShcB620t(118,a),op_jJYLip4aMc(a,a))+op_count_dvgeamS7g2(358,a)+op_count_Nsiff2A1zJ(388,a)+op_count_ZcEZS9J7rM(op_dvgeamS7g2(358,a),op_Nsiff2A1zJ(388,a))+op_count_0l75R42zb7(op_jWTQ2TZYIH(op_ftShcB620t(118,a),op_jJYLip4aMc(a,a)),op_ZcEZS9J7rM(op_dvgeamS7g2(358,a),op_Nsiff2A1zJ(388,a)))
    else:
        count = op_count_PqI0yuGIzd(a,a)+op_count_TPY4Vhd24N(a,a)+op_count_XhYZ2gVPdD(op_PqI0yuGIzd(a,a),op_TPY4Vhd24N(a,a))+op_count_ydJmeWyvU7(a,a)+op_count_9ICcGScMcE(op_ydJmeWyvU7(a,a))+op_count_Y51oDxb2WH(op_XhYZ2gVPdD(op_PqI0yuGIzd(a,a),op_TPY4Vhd24N(a,a)),op_9ICcGScMcE(op_ydJmeWyvU7(a,a)))
    return count


a∰⩻⊭ = { ((⫈⨼∮a)*⇘(a≙≀≩a)) , if ((↜⊙a)==51 or (⫨≂⫩a)<466) ; ((162⨚⇆a)⋟⨸⨢(a∽≸a)) , else }

def op_eLfSHi7B7f(a):
    if (op_0TdPSO9GwD(a) == 51 or op_MhFal2wsdN(a) < 466):
        return op_5JlONKxcBp(op_oSa3xyU28z(a),op_2dZEkcUgpG(a,a))
    else:
        return op_fhjnU2VWuG(op_lwHaAYXP2r(162,a),op_Jf2MRgTP95(a,a))

def op_count_eLfSHi7B7f(a):
    if (op_0TdPSO9GwD(a) == 51 or op_MhFal2wsdN(a) < 466):
        count = op_count_oSa3xyU28z(a)+op_count_2dZEkcUgpG(a,a)+op_count_5JlONKxcBp(op_oSa3xyU28z(a),op_2dZEkcUgpG(a,a))+op_count_0TdPSO9GwD(a)+op_count_MhFal2wsdN(a)
    else:
        count = op_count_lwHaAYXP2r(162,a)+op_count_Jf2MRgTP95(a,a)+op_count_fhjnU2VWuG(op_lwHaAYXP2r(162,a),op_Jf2MRgTP95(a,a))
    return count


def op_VHmkT3fEdw(a):
    return op_Nsiff2A1zJ(op_i8VfeBP6dW(a),op_NcOiAVe3U1(a))

def op_count_VHmkT3fEdw(a):
    count = op_count_i8VfeBP6dW(a)+op_count_NcOiAVe3U1(a)+op_count_Nsiff2A1zJ(op_i8VfeBP6dW(a),op_NcOiAVe3U1(a))
    return count


def op_0fZI8lsscr(a, b):
    return op_3DVzLFNsE9(op_q0nYMvVa58(b,a))

def op_count_0fZI8lsscr(a, b):
    count = op_count_q0nYMvVa58(b,a)+op_count_3DVzLFNsE9(op_q0nYMvVa58(b,a))
    return count


⇘⫇⇣a = { (1↙⨫⫶812) , if a<=32 ; (a↓⨍⋜) , else }

def op_23xwPsBFjE(a):
    if a <= 32:
        return op_LwmwRo8pon(1,812)
    else:
        return op_3DVzLFNsE9(a)

def op_count_23xwPsBFjE(a):
    if a <= 32:
        count = op_count_LwmwRo8pon(1,812)
    else:
        count = op_count_3DVzLFNsE9(a)
    return count


a⩿⪉b = { (a⨨⪘⨔b) , if ((b⫞⋣∟)>125 or (≹⪠a)==174 or (a⋤⫻⊍)!=294) ; (b⨹) , else }

def op_swlCOMtQUm(a, b):
    if (op_zxz32dLxDF(b) > 125 or op_m1jdlUv8hK(a) == 174 or op_vqGKxYkFQP(a) != 294):
        return op_MZbvLECGjt(a,b)
    else:
        return op_UnCoSGIALn(b)

def op_count_swlCOMtQUm(a, b):
    if (op_zxz32dLxDF(b) > 125 or op_m1jdlUv8hK(a) == 174 or op_vqGKxYkFQP(a) != 294):
        count = op_count_MZbvLECGjt(a,b)+op_count_zxz32dLxDF(b)+op_count_m1jdlUv8hK(a)+op_count_vqGKxYkFQP(a)
    else:
        count = op_count_UnCoSGIALn(b)
    return count


⋴⇏a = { (((⨊∅164)⪏⇁⨻(a⪰))⩻⋾((⪺⊴⫡a)⫒⇰(a↭∷⨦a))) }

def op_OWHeHFhv6l(a):
    return op_E5Kao3Mgj0(op_Bw1fwYnFxE(op_54NKJjbPgT(164),op_TqTf0WBeGT(a)),op_Z8kU1u1TkF(op_UBVjgJrFBH(a),op_CCYvMPNbl0(a,a)))

def op_count_OWHeHFhv6l(a):
    count = op_count_54NKJjbPgT(164)+op_count_TqTf0WBeGT(a)+op_count_Bw1fwYnFxE(op_54NKJjbPgT(164),op_TqTf0WBeGT(a))+op_count_UBVjgJrFBH(a)+op_count_CCYvMPNbl0(a,a)+op_count_Z8kU1u1TkF(op_UBVjgJrFBH(a),op_CCYvMPNbl0(a,a))+op_count_E5Kao3Mgj0(op_Bw1fwYnFxE(op_54NKJjbPgT(164),op_TqTf0WBeGT(a)),op_Z8kU1u1TkF(op_UBVjgJrFBH(a),op_CCYvMPNbl0(a,a)))
    return count


a≑⊦b = { (≖⋂a) , if (↘⊾⫔b)<477 and (⨒⋎⋃a)==222 ; (b↳∿⪆b) , else }

def op_eaT0FLINi9(a, b):
    if op_UmwfOCm9Vq(b) < 477 and op_bwYBi1zm8f(a) == 222:
        return op_YxgxvjpN4O(a)
    else:
        return op_Cw4SuJJGHO(b,b)

def op_count_eaT0FLINi9(a, b):
    if op_UmwfOCm9Vq(b) < 477 and op_bwYBi1zm8f(a) == 222:
        count = op_count_YxgxvjpN4O(a)+op_count_UmwfOCm9Vq(b)+op_count_bwYBi1zm8f(a)
    else:
        count = op_count_Cw4SuJJGHO(b,b)
    return count


def op_HdmDAEeAtH(a):
    return op_aUmFd7VRsS(op_qBiGvaKbIj(a,a),op_LRNGc0VcxI(a,a))

def op_count_HdmDAEeAtH(a):
    count = op_count_qBiGvaKbIj(a,a)+op_count_LRNGc0VcxI(a,a)+op_count_aUmFd7VRsS(op_qBiGvaKbIj(a,a),op_LRNGc0VcxI(a,a))
    return count


def op_gR7mZCetwO(a):
    return op_oDCm7WA9JY(534,a)

def op_count_gR7mZCetwO(a):
    count = op_count_oDCm7WA9JY(534,a)
    return count


def op_XHIJsb88Vv(a):
    return op_jwjjhQ9jPo(op_DEAy1fljX8(a,op_pP7lLi2J0E(a)))

def op_count_XHIJsb88Vv(a):
    count = op_count_pP7lLi2J0E(a)+op_count_DEAy1fljX8(a,op_pP7lLi2J0E(a))+op_count_jwjjhQ9jPo(op_DEAy1fljX8(a,op_pP7lLi2J0E(a)))
    return count


def op_XfSr15QnIY(a, b):
    if (b != 70 and op_WHqiHNQx1A(a) != 37 and a >= 56):
        return 92
    else:
        return op_KmoU8R5UQR(a,289)

def op_count_XfSr15QnIY(a, b):
    if (b != 70 and op_WHqiHNQx1A(a) != 37 and a >= 56):
        count = op_count_WHqiHNQx1A(a)
    else:
        count = op_count_KmoU8R5UQR(a,289)
    return count


a⊚⋽b = { (a↠≿⨡a) , if b==32 ; (b⩎⪣⊞) , else }

def op_wI3BPr9Z1z(a, b):
    if b == 32:
        return op_N4i4E2JzEW(a,a)
    else:
        return op_waWucp1uQ4(b)

def op_count_wI3BPr9Z1z(a, b):
    if b == 32:
        count = op_count_N4i4E2JzEW(a,a)
    else:
        count = op_count_waWucp1uQ4(b)
    return count


def op_gIEBy3Ykr1(a, b):
    return op_Y827t4Oxkq(op_JNCR0seNDw(a,b),op_dG9Dh9Z1Rx(a))

def op_count_gIEBy3Ykr1(a, b):
    count = op_count_JNCR0seNDw(a,b)+op_count_dG9Dh9Z1Rx(a)+op_count_Y827t4Oxkq(op_JNCR0seNDw(a,b),op_dG9Dh9Z1Rx(a))
    return count


a∖⩇b = { (b⨚⪝a) , if (b∱)>714 ; (a⩺⋐⫨) , else }

def op_yJ61eemodi(a, b):
    if op_cqNFWGnuZT(b) > 714:
        return op_X2bul7T2BP(b,a)
    else:
        return op_yS9ePUuUdn(a)

def op_count_yJ61eemodi(a, b):
    if op_cqNFWGnuZT(b) > 714:
        count = op_count_X2bul7T2BP(b,a)+op_count_cqNFWGnuZT(b)
    else:
        count = op_count_yS9ePUuUdn(a)
    return count


⩬⨀⪸a = { ((a←⩶75)∊⊳∝(a∩a)) , if (a⇭⩛377)<67 and (⇅⫹a)<=650 ; ((a⨎↬)⊶⫨(⊙↵-a)) , else }

def op_px4lOhQsnE(a):
    if op_i7brRvs2Zr(a,377) < 67 and op_JtoaZ7Wsrk(a) <= 650:
        return op_6h8r4YZk7l(op_qsAu3zulMu(a,75),op_F9Zfm1dsok(a,a))
    else:
        return op_3AHgZhA1m2(op_06kynYd13h(a),op_oWn0xqSxBt(a))

def op_count_px4lOhQsnE(a):
    if op_i7brRvs2Zr(a,377) < 67 and op_JtoaZ7Wsrk(a) <= 650:
        count = op_count_qsAu3zulMu(a,75)+op_count_F9Zfm1dsok(a,a)+op_count_6h8r4YZk7l(op_qsAu3zulMu(a,75),op_F9Zfm1dsok(a,a))+op_count_i7brRvs2Zr(a,377)+op_count_JtoaZ7Wsrk(a)
    else:
        count = op_count_06kynYd13h(a)+op_count_oWn0xqSxBt(a)+op_count_3AHgZhA1m2(op_06kynYd13h(a),op_oWn0xqSxBt(a))
    return count


def op_G6PMjLEpiM(a, b):
    if (op_JyLijAdH7y(a,250) <= 449 or op_ukGrET2Cg0(a) <= 118 or op_0Si2hqrjlk(b,398) < 172):
        return op_S2EdmdiVZh(op_eEL69zFnLs(a,a),op_Lctt7tVaRL(a,a))
    else:
        return op_lr4bYNdzaZ(op_w5FWba1tyO(b),op_El3zeUDNld(a,b))

def op_count_G6PMjLEpiM(a, b):
    if (op_JyLijAdH7y(a,250) <= 449 or op_ukGrET2Cg0(a) <= 118 or op_0Si2hqrjlk(b,398) < 172):
        count = op_count_eEL69zFnLs(a,a)+op_count_Lctt7tVaRL(a,a)+op_count_S2EdmdiVZh(op_eEL69zFnLs(a,a),op_Lctt7tVaRL(a,a))+op_count_JyLijAdH7y(a,250)+op_count_ukGrET2Cg0(a)+op_count_0Si2hqrjlk(b,398)
    else:
        count = op_count_w5FWba1tyO(b)+op_count_El3zeUDNld(a,b)+op_count_lr4bYNdzaZ(op_w5FWba1tyO(b),op_El3zeUDNld(a,b))
    return count


≣⫄a = { ((⨂⫷(a+⪌a))⇒⫙⩪((a∄⩵a)⋆⪎⪨(a≧⫂∧a))) }

def op_60iVLwwWq4(a):
    return op_GlSFjmIWmY(op_xtPphx4CWz(op_ehqVwXWd4k(a,a)),op_kLz9fXvToG(op_AsCFVB39Ml(a,a),op_Ph9nP6C5qx(a,a)))

def op_count_60iVLwwWq4(a):
    count = op_count_ehqVwXWd4k(a,a)+op_count_xtPphx4CWz(op_ehqVwXWd4k(a,a))+op_count_AsCFVB39Ml(a,a)+op_count_Ph9nP6C5qx(a,a)+op_count_kLz9fXvToG(op_AsCFVB39Ml(a,a),op_Ph9nP6C5qx(a,a))+op_count_GlSFjmIWmY(op_xtPphx4CWz(op_ehqVwXWd4k(a,a)),op_kLz9fXvToG(op_AsCFVB39Ml(a,a),op_Ph9nP6C5qx(a,a)))
    return count


def op_Ou3rxsDsgJ(a, b):
    return op_fkZUW4eOKP(op_rRzE4LHIBf(op_8h2Ofp3S4L(b,a),27))

def op_count_Ou3rxsDsgJ(a, b):
    count = op_count_8h2Ofp3S4L(b,a)+op_count_rRzE4LHIBf(op_8h2Ofp3S4L(b,a),27)+op_count_fkZUW4eOKP(op_rRzE4LHIBf(op_8h2Ofp3S4L(b,a),27))
    return count


a⨯⩬b = { (b∙⊟a) , if (b∸⋒)<=115 ; b , else }

def op_6OYwSIrMzf(a, b):
    if op_ZGkF32Duyr(b) <= 115:
        return op_SxTAKzQCrw(b,a)
    else:
        return b

def op_count_6OYwSIrMzf(a, b):
    if op_ZGkF32Duyr(b) <= 115:
        count = op_count_SxTAKzQCrw(b,a)+op_count_ZGkF32Duyr(b)
    else:
        count = 1
    return count


⋗⇾⨧a = { (a≁↽≥a) , if a<=70 and (a⇛∐⨃)!=44 ; (a∎⊌3) , else }

def op_Mr0boxVnVf(a):
    if a <= 70 and op_Efya3fWOHL(a) != 44:
        return op_ncHt1X6cMc(a,a)
    else:
        return op_QlDtpsi6BD(a,3)

def op_count_Mr0boxVnVf(a):
    if a <= 70 and op_Efya3fWOHL(a) != 44:
        count = op_count_ncHt1X6cMc(a,a)+op_count_Efya3fWOHL(a)
    else:
        count = op_count_QlDtpsi6BD(a,3)
    return count


a⪌⫴ = { ((a⨅⪔a)≆(a⪢a)) , if (a≍⪾⨄161)==272 ; ((a⋆⋬a)⫝) , else }

def op_Jng0DG42yD(a):
    if op_O4ICsYZwU0(a,161) == 272:
        return op_vfo9xvTTbt(op_zs0bbCWKdf(a,a),op_dWAJyo7jo9(a,a))
    else:
        return op_QRiKE94HQh(op_7YiCYgpUY4(a,a))

def op_count_Jng0DG42yD(a):
    if op_O4ICsYZwU0(a,161) == 272:
        count = op_count_zs0bbCWKdf(a,a)+op_count_dWAJyo7jo9(a,a)+op_count_vfo9xvTTbt(op_zs0bbCWKdf(a,a),op_dWAJyo7jo9(a,a))+op_count_O4ICsYZwU0(a,161)
    else:
        count = op_count_7YiCYgpUY4(a,a)+op_count_QRiKE94HQh(op_7YiCYgpUY4(a,a))
    return count


⋘⇈⊒a = { (a⫒⇰a) , if (a⨾)>248 ; (a⪷) , else }

def op_GcMbCaBGfs(a):
    if op_sbYsij7Tm7(a) > 248:
        return op_Z8kU1u1TkF(a,a)
    else:
        return op_Qctrpi3WzA(a)

def op_count_GcMbCaBGfs(a):
    if op_sbYsij7Tm7(a) > 248:
        count = op_count_Z8kU1u1TkF(a,a)+op_count_sbYsij7Tm7(a)
    else:
        count = op_count_Qctrpi3WzA(a)
    return count


a⩖⇢⊻b = { (b∎⋻⨟a) , if (a⊚⫡⫭)>168 ; (⪽↫a) , else }

def op_mI6bTf2RKS(a, b):
    if op_SpZWOsLKZJ(a) > 168:
        return op_6VowpqB2XT(b,a)
    else:
        return op_e6fjkqlCWa(a)

def op_count_mI6bTf2RKS(a, b):
    if op_SpZWOsLKZJ(a) > 168:
        count = op_count_6VowpqB2XT(b,a)+op_count_SpZWOsLKZJ(a)
    else:
        count = op_count_e6fjkqlCWa(a)
    return count


a≇∂ = { (a↦⩻⊓a) , if (⫈↾⇕a)>=222 ; (⪓⩚a) , else }

def op_HChtWISJd1(a):
    if op_7112RHhyte(a) >= 222:
        return op_kf2MGdd7i0(a,a)
    else:
        return op_u0R0Locfp2(a)

def op_count_HChtWISJd1(a):
    if op_7112RHhyte(a) >= 222:
        count = op_count_kf2MGdd7i0(a,a)+op_count_7112RHhyte(a)
    else:
        count = op_count_u0R0Locfp2(a)
    return count


a⇑⋫ = { ((a⇱⨹⊀a)⪰⋼⨗a) , if ((↿a)<=28 and (⋕a)!=92) ; ((∕⋢∷a)⋪⪈(a∄∑⫋a)) , else }

def op_wUiJ9RI1nE(a):
    if (op_DDyFJYJzaO(a) <= 28 and op_mnxeNVfHTl(a) != 92):
        return op_JjGBB9f9Hu(op_DEAy1fljX8(a,a),a)
    else:
        return op_VIItbDWeFv(op_YVWMPToV05(a),op_0Pabu4m7xG(a,a))

def op_count_wUiJ9RI1nE(a):
    if (op_DDyFJYJzaO(a) <= 28 and op_mnxeNVfHTl(a) != 92):
        count = op_count_DEAy1fljX8(a,a)+op_count_JjGBB9f9Hu(op_DEAy1fljX8(a,a),a)+op_count_DDyFJYJzaO(a)+op_count_mnxeNVfHTl(a)
    else:
        count = op_count_YVWMPToV05(a)+op_count_0Pabu4m7xG(a,a)+op_count_VIItbDWeFv(op_YVWMPToV05(a),op_0Pabu4m7xG(a,a))
    return count


a↼⪠b = { ((b⨯⊀⊾b)⊋⪬(194⪓b)) , if (a⊇⫘⪍558)<=445 ; ((a⋆⪎⪨a)∽⨚⊏(b≼⇆b)) , else }

def op_CtUGErLVGo(a, b):
    if op_dUpriDnGP5(a,558) <= 445:
        return op_w82NxwMPxl(op_WBwPOP8NKF(b,b),op_1v5pUZ2RLP(194,b))
    else:
        return op_OuNwQ8h2ZL(op_kLz9fXvToG(a,a),op_D4AlmasLin(b,b))

def op_count_CtUGErLVGo(a, b):
    if op_dUpriDnGP5(a,558) <= 445:
        count = op_count_WBwPOP8NKF(b,b)+op_count_1v5pUZ2RLP(194,b)+op_count_w82NxwMPxl(op_WBwPOP8NKF(b,b),op_1v5pUZ2RLP(194,b))+op_count_dUpriDnGP5(a,558)
    else:
        count = op_count_kLz9fXvToG(a,a)+op_count_D4AlmasLin(b,b)+op_count_OuNwQ8h2ZL(op_kLz9fXvToG(a,a),op_D4AlmasLin(b,b))
    return count


def op_W9rbdPruax(a, b):
    if a > 417:
        return op_OV481x3Hpp(op_GzNIxZMYg4(a),165)
    else:
        return op_0NqWd9MObm(op_KmoU8R5UQR(24,b),op_B4yDMOFpHS(254,a))

def op_count_W9rbdPruax(a, b):
    if a > 417:
        count = op_count_GzNIxZMYg4(a)+op_count_OV481x3Hpp(op_GzNIxZMYg4(a),165)
    else:
        count = op_count_KmoU8R5UQR(24,b)+op_count_B4yDMOFpHS(254,a)+op_count_0NqWd9MObm(op_KmoU8R5UQR(24,b),op_B4yDMOFpHS(254,a))
    return count


def op_tIt408eYgo(a):
    if op_6LEqcG83L6(a,89) > 19 and op_UvGf2i8V7N(a) <= 353 and op_KZfZsL7Zgd(a) != 16:
        return op_tmPS8pqC7x(189,a)
    else:
        return op_Lctt7tVaRL(a,a)

def op_count_tIt408eYgo(a):
    if op_6LEqcG83L6(a,89) > 19 and op_UvGf2i8V7N(a) <= 353 and op_KZfZsL7Zgd(a) != 16:
        count = op_count_tmPS8pqC7x(189,a)+op_count_6LEqcG83L6(a,89)+op_count_UvGf2i8V7N(a)+op_count_KZfZsL7Zgd(a)
    else:
        count = op_count_Lctt7tVaRL(a,a)
    return count


def op_DCal7ip9MB(a, b):
    if op_XCNViHof92(b) <= 706:
        return op_xiKbUzfUz0(12)
    else:
        return op_e1wGt9VEHG(a,a)

def op_count_DCal7ip9MB(a, b):
    if op_XCNViHof92(b) <= 706:
        count = op_count_xiKbUzfUz0(12)+op_count_XCNViHof92(b)
    else:
        count = op_count_e1wGt9VEHG(a,a)
    return count


a≆⩎-b = { (((a⪪⊛a)⨞⫌(b⫓⨶a))⇵⋒≫((⨩⫔⫶b)⩹⨧≼(a∍↴a))) }

def op_c4LGkIkziT(a, b):
    return op_pf58PynOjz(op_RvfBnuwK4t(op_zwyeAPEIkd(a,a),op_XARkhMSjgT(b,a)),op_8GoaSTesSg(op_6jnLtSreEI(b),op_Esodbl1gVe(a,a)))

def op_count_c4LGkIkziT(a, b):
    count = op_count_zwyeAPEIkd(a,a)+op_count_XARkhMSjgT(b,a)+op_count_RvfBnuwK4t(op_zwyeAPEIkd(a,a),op_XARkhMSjgT(b,a))+op_count_6jnLtSreEI(b)+op_count_Esodbl1gVe(a,a)+op_count_8GoaSTesSg(op_6jnLtSreEI(b),op_Esodbl1gVe(a,a))+op_count_pf58PynOjz(op_RvfBnuwK4t(op_zwyeAPEIkd(a,a),op_XARkhMSjgT(b,a)),op_8GoaSTesSg(op_6jnLtSreEI(b),op_Esodbl1gVe(a,a)))
    return count


a⇐⩭⊩b = { (((≳⪯⩏a)⇺⫉⋠(b∛≔))⋟⨈((a⨕⋦⇍b)⨛∌⨑(a⊲⊺a))) , if ((b⩸∪⋾)<=92 or b<=1 or (b⊍⋬947)>423) ; (((⩰b)↡⊰⫅(483⪑b))⊝⩱a) , else }

def op_FSUiBBDfS2(a, b):
    if (op_YfD4cHFEui(b) <= 92 or b <= 1 or op_uC1OCuP0T4(b,947) > 423):
        return op_KagmZ2dQBE(op_WZX1KRTFlP(op_Wtjyfs55pf(a),op_mGnSCrte3L(b)),op_ToXGGHTZgx(op_AfP0hfvy3k(a,b),op_XFw8Sin97h(a,a)))
    else:
        return op_0jCm5pNiJO(op_VCtxkLNOzz(op_WkeUrDK8WX(b),op_8CI59HBmeC(483,b)),a)

def op_count_FSUiBBDfS2(a, b):
    if (op_YfD4cHFEui(b) <= 92 or b <= 1 or op_uC1OCuP0T4(b,947) > 423):
        count = op_count_Wtjyfs55pf(a)+op_count_mGnSCrte3L(b)+op_count_WZX1KRTFlP(op_Wtjyfs55pf(a),op_mGnSCrte3L(b))+op_count_AfP0hfvy3k(a,b)+op_count_XFw8Sin97h(a,a)+op_count_ToXGGHTZgx(op_AfP0hfvy3k(a,b),op_XFw8Sin97h(a,a))+op_count_KagmZ2dQBE(op_WZX1KRTFlP(op_Wtjyfs55pf(a),op_mGnSCrte3L(b)),op_ToXGGHTZgx(op_AfP0hfvy3k(a,b),op_XFw8Sin97h(a,a)))+op_count_YfD4cHFEui(b)+op_count_uC1OCuP0T4(b,947)
    else:
        count = op_count_WkeUrDK8WX(b)+op_count_8CI59HBmeC(483,b)+op_count_VCtxkLNOzz(op_WkeUrDK8WX(b),op_8CI59HBmeC(483,b))+op_count_0jCm5pNiJO(op_VCtxkLNOzz(op_WkeUrDK8WX(b),op_8CI59HBmeC(483,b)),a)
    return count


def op_Y7aoTuS9Ys(a):
    return op_DykcjiQqpf(op_3ViojmjbAp(op_mKn7Wvar9h(126),op_09Ly4LVMIf(156,a)),op_43qyRbuflC(op_ybwXbqd0P4(572)))

def op_count_Y7aoTuS9Ys(a):
    count = op_count_mKn7Wvar9h(126)+op_count_09Ly4LVMIf(156,a)+op_count_3ViojmjbAp(op_mKn7Wvar9h(126),op_09Ly4LVMIf(156,a))+op_count_ybwXbqd0P4(572)+op_count_43qyRbuflC(op_ybwXbqd0P4(572))+op_count_DykcjiQqpf(op_3ViojmjbAp(op_mKn7Wvar9h(126),op_09Ly4LVMIf(156,a)),op_43qyRbuflC(op_ybwXbqd0P4(572)))
    return count


def op_SIW6J0XhfM(a):
    return op_leeyKC4ZFN(a,a)

def op_count_SIW6J0XhfM(a):
    count = op_count_leeyKC4ZFN(a,a)
    return count


a⨓⫙⩬b = { ((⇋⊎⋝(472≕∼b))≑∓((a↦⋨332)⇡↟≸(b⨾⊄⪓519))) , if (b>=170 and a==76) ; ((b⩶⊱(a⋅∕⪽153))⪄⨗⋂((a⩄⫧∩b)⨉⨢⇞(b⪺⩒∧b))) , else }

def op_fEBtCrdb6d(a, b):
    if (b >= 170 and a == 76):
        return op_SYQDw94fy9(op_CzM2PEoXns(op_A6I87Ow00X(472,b)),op_4J8E7DyAzc(op_HWPVJOF0FO(a,332),op_BeKUusqXDm(b,519)))
    else:
        return op_BA5ptRLOMP(op_blCx0AD3sY(b,op_xapeEN5k6N(a,153)),op_GpLCU43mni(op_x91QhENKPJ(a,b),op_6octCBlY1U(b,b)))

def op_count_fEBtCrdb6d(a, b):
    if (b >= 170 and a == 76):
        count = op_count_A6I87Ow00X(472,b)+op_count_CzM2PEoXns(op_A6I87Ow00X(472,b))+op_count_HWPVJOF0FO(a,332)+op_count_BeKUusqXDm(b,519)+op_count_4J8E7DyAzc(op_HWPVJOF0FO(a,332),op_BeKUusqXDm(b,519))+op_count_SYQDw94fy9(op_CzM2PEoXns(op_A6I87Ow00X(472,b)),op_4J8E7DyAzc(op_HWPVJOF0FO(a,332),op_BeKUusqXDm(b,519)))
    else:
        count = op_count_xapeEN5k6N(a,153)+op_count_blCx0AD3sY(b,op_xapeEN5k6N(a,153))+op_count_x91QhENKPJ(a,b)+op_count_6octCBlY1U(b,b)+op_count_GpLCU43mni(op_x91QhENKPJ(a,b),op_6octCBlY1U(b,b))+op_count_BA5ptRLOMP(op_blCx0AD3sY(b,op_xapeEN5k6N(a,153)),op_GpLCU43mni(op_x91QhENKPJ(a,b),op_6octCBlY1U(b,b)))
    return count


def op_DeKQYa6YIj(a):
    return op_D617RFjZIq(op_QaS5iYTZMC(a))

def op_count_DeKQYa6YIj(a):
    count = op_count_QaS5iYTZMC(a)+op_count_D617RFjZIq(op_QaS5iYTZMC(a))
    return count


a⫰⇉b = { (((⇻⊦a)-∠(a⇳↘⇃a))⪁((a⇳↘⇃b)≇)) }

def op_b4Kp1KA8FP(a, b):
    return op_I7sXao9hZE(op_s0IfDFCCuZ(op_lUdY0lkf9D(a),op_uG1NkbAHL9(a,a)),op_eWRXig0gvP(op_uG1NkbAHL9(a,b)))

def op_count_b4Kp1KA8FP(a, b):
    count = op_count_lUdY0lkf9D(a)+op_count_uG1NkbAHL9(a,a)+op_count_s0IfDFCCuZ(op_lUdY0lkf9D(a),op_uG1NkbAHL9(a,a))+op_count_uG1NkbAHL9(a,b)+op_count_eWRXig0gvP(op_uG1NkbAHL9(a,b))+op_count_I7sXao9hZE(op_s0IfDFCCuZ(op_lUdY0lkf9D(a),op_uG1NkbAHL9(a,a)),op_eWRXig0gvP(op_uG1NkbAHL9(a,b)))
    return count


a↕↑*b = { (((∦⋶b)⋃∰(a≄⨃≹696))⇦⇕((⨟⫽⩍b)⪣(≸≮620))) , if (b→⇯⩔)>=158 ; (((b⩕⩚⪺a)⊆⨟(a⪈⫮b))⊡≗((b⪠⨇a)⩋(b⩬a))) , else }

def op_yDwWaPWTxC(a, b):
    if op_qy9nPqyo0E(b) >= 158:
        return op_MiD56F0FLc(op_yqthOfQm3e(op_98iXZzr4v9(b),op_Bh0c9BvTwN(a,696)),op_VWdWub1Bzg(op_GDq8SIrlUA(b),op_AljMvE3RRm(620)))
    else:
        return op_8fYlehcX6L(op_oXiaJt2W9u(op_6P75XYiP07(b,a),op_g150Kczgu5(a,b)),op_S2ubVDYUV4(op_EzFlXpFlmz(b,a),op_nuoWhTW6CA(b,a)))

def op_count_yDwWaPWTxC(a, b):
    if op_qy9nPqyo0E(b) >= 158:
        count = op_count_98iXZzr4v9(b)+op_count_Bh0c9BvTwN(a,696)+op_count_yqthOfQm3e(op_98iXZzr4v9(b),op_Bh0c9BvTwN(a,696))+op_count_GDq8SIrlUA(b)+op_count_AljMvE3RRm(620)+op_count_VWdWub1Bzg(op_GDq8SIrlUA(b),op_AljMvE3RRm(620))+op_count_MiD56F0FLc(op_yqthOfQm3e(op_98iXZzr4v9(b),op_Bh0c9BvTwN(a,696)),op_VWdWub1Bzg(op_GDq8SIrlUA(b),op_AljMvE3RRm(620)))+op_count_qy9nPqyo0E(b)
    else:
        count = op_count_6P75XYiP07(b,a)+op_count_g150Kczgu5(a,b)+op_count_oXiaJt2W9u(op_6P75XYiP07(b,a),op_g150Kczgu5(a,b))+op_count_EzFlXpFlmz(b,a)+op_count_nuoWhTW6CA(b,a)+op_count_S2ubVDYUV4(op_EzFlXpFlmz(b,a),op_nuoWhTW6CA(b,a))+op_count_8fYlehcX6L(op_oXiaJt2W9u(op_6P75XYiP07(b,a),op_g150Kczgu5(a,b)),op_S2ubVDYUV4(op_EzFlXpFlmz(b,a),op_nuoWhTW6CA(b,a)))
    return count


⋸⇬a = { (⨅⇩(a⨮⊪⩳16)) , if (a≲⨯⨴)>=574 ; (a⩒≳(a↙a)) , else }

def op_VgJ96ANTxH(a):
    if op_ibzreiWn1D(a) >= 574:
        return op_lbwCMbH8Kj(op_xgYOZyJC4Q(a,16))
    else:
        return op_B8FmB0RXNF(a,op_yyfyN0ffXY(a,a))

def op_count_VgJ96ANTxH(a):
    if op_ibzreiWn1D(a) >= 574:
        count = op_count_xgYOZyJC4Q(a,16)+op_count_lbwCMbH8Kj(op_xgYOZyJC4Q(a,16))+op_count_ibzreiWn1D(a)
    else:
        count = op_count_yyfyN0ffXY(a,a)+op_count_B8FmB0RXNF(a,op_yyfyN0ffXY(a,a))
    return count


a⊷∄∢ = { (⩲⨓⪠(a⪔a)) , if ((⨡≟a)!=872 and a<54) ; ((∛≨a)≩⫓(459∌⋔a)) , else }

def op_ItukRTmCMw(a):
    if (op_BJ9QgBCFyo(a) != 872 and a < 54):
        return op_etBYAzj5y8(op_GjBEYRfMaF(a,a))
    else:
        return op_dS3vmXYzMr(op_Qh0O3qRqMr(a),op_7TGVge7HG5(459,a))

def op_count_ItukRTmCMw(a):
    if (op_BJ9QgBCFyo(a) != 872 and a < 54):
        count = op_count_GjBEYRfMaF(a,a)+op_count_etBYAzj5y8(op_GjBEYRfMaF(a,a))+op_count_BJ9QgBCFyo(a)
    else:
        count = op_count_Qh0O3qRqMr(a)+op_count_7TGVge7HG5(459,a)+op_count_dS3vmXYzMr(op_Qh0O3qRqMr(a),op_7TGVge7HG5(459,a))
    return count


def op_qHoCLNdY4a(a):
    if op_umQnsF7QlU(a,397) != 311 and op_dXiJTwqsTq(a) < 9 and op_XMp7OlDfur(a,430) >= 610:
        return op_oraRL2iQuh(a,a)
    else:
        return op_oo9mF6JIpo(a)

def op_count_qHoCLNdY4a(a):
    if op_umQnsF7QlU(a,397) != 311 and op_dXiJTwqsTq(a) < 9 and op_XMp7OlDfur(a,430) >= 610:
        count = op_count_oraRL2iQuh(a,a)+op_count_umQnsF7QlU(a,397)+op_count_dXiJTwqsTq(a)+op_count_XMp7OlDfur(a,430)
    else:
        count = op_count_oo9mF6JIpo(a)
    return count


⊁⩈a = { ((↬⫢⫿(739⪥⋳a))⫁≗(⨺⫸≝(a↘⋏))) , if (a⪣⋠107)>0 ; a , else }

def op_5jhwSOmLk5(a):
    if op_KyalHU9kRw(a,107) > 0:
        return op_htakMgk7TD(op_qxhhQdc9YY(op_lrx2PmmfOO(739,a)),op_NnTbxo2Idi(op_cB80CVIL8n(a)))
    else:
        return a

def op_count_5jhwSOmLk5(a):
    if op_KyalHU9kRw(a,107) > 0:
        count = op_count_lrx2PmmfOO(739,a)+op_count_qxhhQdc9YY(op_lrx2PmmfOO(739,a))+op_count_cB80CVIL8n(a)+op_count_NnTbxo2Idi(op_cB80CVIL8n(a))+op_count_htakMgk7TD(op_qxhhQdc9YY(op_lrx2PmmfOO(739,a)),op_NnTbxo2Idi(op_cB80CVIL8n(a)))+op_count_KyalHU9kRw(a,107)
    else:
        count = 1
    return count


def op_UOaUNhpuyT(a):
    return op_Y827t4Oxkq(a,a)

def op_count_UOaUNhpuyT(a):
    count = op_count_Y827t4Oxkq(a,a)
    return count


a⩧⋾b = { (≑((689⊡⨸⨢b)⪎⨈(a⇚⪁b))) , if (∿⇉a)==53 and (b∏)>75 ; (((556⋪⪸a)⨫⪾(b⩳a))⨲↲b) , else }

def op_vzHyO9jPRC(a, b):
    if op_C2FC5GId3o(a) == 53 and op_UO1RhPgbnL(b) > 75:
        return op_OLuofHlRCj(op_PTuWOAQI59(op_Em9NHB5wTK(689,b),op_iblNMd5S3q(a,b)))
    else:
        return op_rThQLB3xr0(op_wPLLFAbfZL(op_7DoUD1Rkxi(556,a),op_yC1eAvCdMl(b,a)),b)

def op_count_vzHyO9jPRC(a, b):
    if op_C2FC5GId3o(a) == 53 and op_UO1RhPgbnL(b) > 75:
        count = op_count_Em9NHB5wTK(689,b)+op_count_iblNMd5S3q(a,b)+op_count_PTuWOAQI59(op_Em9NHB5wTK(689,b),op_iblNMd5S3q(a,b))+op_count_OLuofHlRCj(op_PTuWOAQI59(op_Em9NHB5wTK(689,b),op_iblNMd5S3q(a,b)))+op_count_C2FC5GId3o(a)+op_count_UO1RhPgbnL(b)
    else:
        count = op_count_7DoUD1Rkxi(556,a)+op_count_yC1eAvCdMl(b,a)+op_count_wPLLFAbfZL(op_7DoUD1Rkxi(556,a),op_yC1eAvCdMl(b,a))+op_count_rThQLB3xr0(op_wPLLFAbfZL(op_7DoUD1Rkxi(556,a),op_yC1eAvCdMl(b,a)),b)
    return count


def op_Vp0bX23ZB3(a):
    if (op_xRCgHJduM4(a,573) != 222 or op_gu96TGCTMs(a) < 18):
        return op_NnTbxo2Idi(op_WHt3Xt46DB(a,a))
    else:
        return op_kl8g1HIl1s(op_LgkrMb0d79(a,259),80)

def op_count_Vp0bX23ZB3(a):
    if (op_xRCgHJduM4(a,573) != 222 or op_gu96TGCTMs(a) < 18):
        count = op_count_WHt3Xt46DB(a,a)+op_count_NnTbxo2Idi(op_WHt3Xt46DB(a,a))+op_count_xRCgHJduM4(a,573)+op_count_gu96TGCTMs(a)
    else:
        count = op_count_LgkrMb0d79(a,259)+op_count_kl8g1HIl1s(op_LgkrMb0d79(a,259),80)
    return count


a⨣≵b = { (⫸∱⫌((⨙⪌384)⩅(14⪉⋜⨢0))) , if (b≂⪹816)!=193 ; (((b≯≲⫧b)≈⊐∫(a⊊⊦a))↩≙∟b) , else }

def op_EDNtw33LkC(a, b):
    if op_oXQ8EQIAzy(b,816) != 193:
        return op_o4zejGpx3v(op_WHvsDZpt7Z(op_vEGLkm4Z2k(384),op_0YlV2lZqOw(14,0)))
    else:
        return op_R8Ex4iThqb(op_7rBzEzYasJ(op_qhwfmwp1fI(b,b),op_e3R0INlQmt(a,a)),b)

def op_count_EDNtw33LkC(a, b):
    if op_oXQ8EQIAzy(b,816) != 193:
        count = op_count_vEGLkm4Z2k(384)+op_count_0YlV2lZqOw(14,0)+op_count_WHvsDZpt7Z(op_vEGLkm4Z2k(384),op_0YlV2lZqOw(14,0))+op_count_o4zejGpx3v(op_WHvsDZpt7Z(op_vEGLkm4Z2k(384),op_0YlV2lZqOw(14,0)))+op_count_oXQ8EQIAzy(b,816)
    else:
        count = op_count_qhwfmwp1fI(b,b)+op_count_e3R0INlQmt(a,a)+op_count_7rBzEzYasJ(op_qhwfmwp1fI(b,b),op_e3R0INlQmt(a,a))+op_count_R8Ex4iThqb(op_7rBzEzYasJ(op_qhwfmwp1fI(b,b),op_e3R0INlQmt(a,a)),b)
    return count


a⩊⪙⪑ = { ((a⫠⨡⊣121)⫈(a⊁⫘⫛)) , if a<=418 ; ((a⫓⋼a)⩢≌) , else }

def op_XUOIi9aitb(a):
    if a <= 418:
        return op_e1wGt9VEHG(op_ezv41XLVK4(a,121),op_hPqFu8RMdw(a))
    else:
        return op_D617RFjZIq(op_FI4i5otY41(a,a))

def op_count_XUOIi9aitb(a):
    if a <= 418:
        count = op_count_ezv41XLVK4(a,121)+op_count_hPqFu8RMdw(a)+op_count_e1wGt9VEHG(op_ezv41XLVK4(a,121),op_hPqFu8RMdw(a))
    else:
        count = op_count_FI4i5otY41(a,a)+op_count_D617RFjZIq(op_FI4i5otY41(a,a))
    return count


def op_FpXBAWFyzc(a):
    return op_57o73BEFtH(op_KagmZ2dQBE(a,a),op_Ez1Nq5fNfI(89,a))

def op_count_FpXBAWFyzc(a):
    count = op_count_KagmZ2dQBE(a,a)+op_count_Ez1Nq5fNfI(89,a)+op_count_57o73BEFtH(op_KagmZ2dQBE(a,a),op_Ez1Nq5fNfI(89,a))
    return count


def op_nnGqU0lB6x(a):
    if op_OzrWeOxQoy(a) <= 513 or op_4T7Oipxkl1(a) >= 435:
        return op_aibkDESqBN(a)
    else:
        return a

def op_count_nnGqU0lB6x(a):
    if op_OzrWeOxQoy(a) <= 513 or op_4T7Oipxkl1(a) >= 435:
        count = op_count_aibkDESqBN(a)+op_count_OzrWeOxQoy(a)+op_count_4T7Oipxkl1(a)
    else:
        count = 1
    return count


a≢⇇⩎b = { ((a⫧⇁a)∑⊏(a⨫⇇↔a)) , if a<=753 ; ((b∛b)⊫⩢(b≕492)) , else }

def op_podwzYvz0X(a, b):
    if a <= 753:
        return op_6dpzsyEjuz(op_uCHXiyXghx(a,a),op_LXhwmt4mBO(a,a))
    else:
        return op_KcPBP832pE(op_w2537kitQq(b,b),op_D6olWVQYaq(b,492))

def op_count_podwzYvz0X(a, b):
    if a <= 753:
        count = op_count_uCHXiyXghx(a,a)+op_count_LXhwmt4mBO(a,a)+op_count_6dpzsyEjuz(op_uCHXiyXghx(a,a),op_LXhwmt4mBO(a,a))
    else:
        count = op_count_w2537kitQq(b,b)+op_count_D6olWVQYaq(b,492)+op_count_KcPBP832pE(op_w2537kitQq(b,b),op_D6olWVQYaq(b,492))
    return count


def op_POA5SSvyWI(a):
    if a != 490:
        return op_ET0KLvfdmE(op_OVg4Y5bM5J(op_7j4O788W3g(a,a)),a)
    else:
        return op_7L96h23J1a(op_Vj82UMHPMx(op_sbYsij7Tm7(252),op_XHowTFVwyi(a,328)),op_d7bqhxVNrw(op_BRZabeeXbq(a,0)))

def op_count_POA5SSvyWI(a):
    if a != 490:
        count = op_count_7j4O788W3g(a,a)+op_count_OVg4Y5bM5J(op_7j4O788W3g(a,a))+op_count_ET0KLvfdmE(op_OVg4Y5bM5J(op_7j4O788W3g(a,a)),a)
    else:
        count = op_count_sbYsij7Tm7(252)+op_count_XHowTFVwyi(a,328)+op_count_Vj82UMHPMx(op_sbYsij7Tm7(252),op_XHowTFVwyi(a,328))+op_count_BRZabeeXbq(a,0)+op_count_d7bqhxVNrw(op_BRZabeeXbq(a,0))+op_count_7L96h23J1a(op_Vj82UMHPMx(op_sbYsij7Tm7(252),op_XHowTFVwyi(a,328)),op_d7bqhxVNrw(op_BRZabeeXbq(a,0)))
    return count


def op_7qMWo6qLyS(a):
    return op_Q6Sj1WS8if(a,a)

def op_count_7qMWo6qLyS(a):
    count = op_count_Q6Sj1WS8if(a,a)
    return count


a⪄⩡ = { (((⨟⊃⊱a)⇙⫲(a⊗∃⇥4))↱⪃↡((a⨋≰a)⋊a)) }

def op_PZeRIOVNXY(a):
    return op_0MhWYBQRkt(op_gTCkXbls8X(op_UiMSn6PRcz(a),op_ZAXeO6SPf6(a,4)),op_Dk6V8i6EvU(op_uw1KoZSwz0(a,a),a))

def op_count_PZeRIOVNXY(a):
    count = op_count_UiMSn6PRcz(a)+op_count_ZAXeO6SPf6(a,4)+op_count_gTCkXbls8X(op_UiMSn6PRcz(a),op_ZAXeO6SPf6(a,4))+op_count_uw1KoZSwz0(a,a)+op_count_Dk6V8i6EvU(op_uw1KoZSwz0(a,a),a)+op_count_0MhWYBQRkt(op_gTCkXbls8X(op_UiMSn6PRcz(a),op_ZAXeO6SPf6(a,4)),op_Dk6V8i6EvU(op_uw1KoZSwz0(a,a),a))
    return count


a⊗≩∵b = { (((↾⫈b)⇕⫍(24⇿a))≮⋹⨆((≑⋹b)⩌(∋∤b))) }

def op_and34yUspC(a, b):
    return op_2l1b9il9K5(op_SVbYQ5zZTr(op_7uNwVuK1U2(b),op_YBjRNIjNLy(24,a)),op_UoVew8f2p2(op_6B9nyZLogK(b),op_iKfoCJ30Dn(b)))

def op_count_and34yUspC(a, b):
    count = op_count_7uNwVuK1U2(b)+op_count_YBjRNIjNLy(24,a)+op_count_SVbYQ5zZTr(op_7uNwVuK1U2(b),op_YBjRNIjNLy(24,a))+op_count_6B9nyZLogK(b)+op_count_iKfoCJ30Dn(b)+op_count_UoVew8f2p2(op_6B9nyZLogK(b),op_iKfoCJ30Dn(b))+op_count_2l1b9il9K5(op_SVbYQ5zZTr(op_7uNwVuK1U2(b),op_YBjRNIjNLy(24,a)),op_UoVew8f2p2(op_6B9nyZLogK(b),op_iKfoCJ30Dn(b)))
    return count


⪡⊎a = { ((a⫸⇍a)⩨∴⨤) , if a<=598 and (↢⨟a)==40 ; (↑∪⪶(⇙a)) , else }

def op_CtwNLWFr0w(a):
    if a <= 598 and op_iSxGtpjIlD(a) == 40:
        return op_qjmPyXYQ7j(op_RTaRm1inG1(a,a))
    else:
        return op_SpJsxfHw9E(op_hJ1EP0XKuB(a))

def op_count_CtwNLWFr0w(a):
    if a <= 598 and op_iSxGtpjIlD(a) == 40:
        count = op_count_RTaRm1inG1(a,a)+op_count_qjmPyXYQ7j(op_RTaRm1inG1(a,a))+op_count_iSxGtpjIlD(a)
    else:
        count = op_count_hJ1EP0XKuB(a)+op_count_SpJsxfHw9E(op_hJ1EP0XKuB(a))
    return count


def op_N0OOnPqZzX(a, b):
    if (op_iblNMd5S3q(a,700) < 73 and op_npvO5i13Qd(a) != 100 and op_uPjn7n5pli(b,909) != 146):
        return op_NeKDeD15BZ(op_3Mo73BEME2(342),op_FAU4UUhKNM(a))
    else:
        return op_dUpriDnGP5(op_TWCuuHjbTv(op_Qglmzouulk(b,b),op_9evS8kkgkP(a)),b)

def op_count_N0OOnPqZzX(a, b):
    if (op_iblNMd5S3q(a,700) < 73 and op_npvO5i13Qd(a) != 100 and op_uPjn7n5pli(b,909) != 146):
        count = op_count_3Mo73BEME2(342)+op_count_FAU4UUhKNM(a)+op_count_NeKDeD15BZ(op_3Mo73BEME2(342),op_FAU4UUhKNM(a))+op_count_iblNMd5S3q(a,700)+op_count_npvO5i13Qd(a)+op_count_uPjn7n5pli(b,909)
    else:
        count = op_count_Qglmzouulk(b,b)+op_count_9evS8kkgkP(a)+op_count_TWCuuHjbTv(op_Qglmzouulk(b,b),op_9evS8kkgkP(a))+op_count_dUpriDnGP5(op_TWCuuHjbTv(op_Qglmzouulk(b,b),op_9evS8kkgkP(a)),b)
    return count


def op_wysPNr33tz(a):
    return op_jQIFa7kB8p(op_SLLxy00UIr(op_hUGWutwbTt(a,a)),op_0XOKELrVaD(op_0N1BchnEuL(a,a)))

def op_count_wysPNr33tz(a):
    count = op_count_hUGWutwbTt(a,a)+op_count_SLLxy00UIr(op_hUGWutwbTt(a,a))+op_count_0N1BchnEuL(a,a)+op_count_0XOKELrVaD(op_0N1BchnEuL(a,a))+op_count_jQIFa7kB8p(op_SLLxy00UIr(op_hUGWutwbTt(a,a)),op_0XOKELrVaD(op_0N1BchnEuL(a,a)))
    return count


∖∟⩫a = { (((≆a)⫶(a⇤↠⊀a))⇪↧((+⊝⨔a)⩀⫑(∈⫥a))) }

def op_zhLf1Mkbvd(a):
    return op_yRqWCfy5LI(op_BAIXFdYaz3(op_7iT9y97eD8(a),op_z6EySSQeql(a,a)),op_n9EnWVX4dz(op_DhbWaqg5eL(a),op_f5E5s2pelo(a)))

def op_count_zhLf1Mkbvd(a):
    count = op_count_7iT9y97eD8(a)+op_count_z6EySSQeql(a,a)+op_count_BAIXFdYaz3(op_7iT9y97eD8(a),op_z6EySSQeql(a,a))+op_count_DhbWaqg5eL(a)+op_count_f5E5s2pelo(a)+op_count_n9EnWVX4dz(op_DhbWaqg5eL(a),op_f5E5s2pelo(a))+op_count_yRqWCfy5LI(op_BAIXFdYaz3(op_7iT9y97eD8(a),op_z6EySSQeql(a,a)),op_n9EnWVX4dz(op_DhbWaqg5eL(a),op_f5E5s2pelo(a)))
    return count


a∂⩒∧ = { ((a⫽⪃a)⨙⩌⊫) , if a<661 ; ((a⫫⋫a)∅↽⪑(a≊⊬17)) , else }

def op_pdLiefeKM1(a):
    if a < 661:
        return op_JvXlSfnreT(op_FJ3oXK3UQ0(a,a))
    else:
        return op_M0aAS45rfR(op_xtCeza3rDf(a,a),op_ZqWZ7aSIYL(a,17))

def op_count_pdLiefeKM1(a):
    if a < 661:
        count = op_count_FJ3oXK3UQ0(a,a)+op_count_JvXlSfnreT(op_FJ3oXK3UQ0(a,a))
    else:
        count = op_count_xtCeza3rDf(a,a)+op_count_ZqWZ7aSIYL(a,17)+op_count_M0aAS45rfR(op_xtCeza3rDf(a,a),op_ZqWZ7aSIYL(a,17))
    return count


def op_cgq14raMRi(a):
    return op_n4DPn5x9ZW(op_2KNBRhPqiH(a,a),op_NnTbxo2Idi(a))

def op_count_cgq14raMRi(a):
    count = op_count_2KNBRhPqiH(a,a)+op_count_NnTbxo2Idi(a)+op_count_n4DPn5x9ZW(op_2KNBRhPqiH(a,a),op_NnTbxo2Idi(a))
    return count


a⨰≰b = { ((↴⪽⋼b)⩰⪷(b∏⫣⩆b)) , if b>=325 ; (a↖(b⋭a)) , else }

def op_H7ACzx2Kvt(a, b):
    if b >= 325:
        return op_GByQ9jZhTB(op_5TUYCnJO6w(b),op_UuoVKWBu8y(b,b))
    else:
        return op_ojE0ZAmiGE(a,op_WRl4KaSwns(b,a))

def op_count_H7ACzx2Kvt(a, b):
    if b >= 325:
        count = op_count_5TUYCnJO6w(b)+op_count_UuoVKWBu8y(b,b)+op_count_GByQ9jZhTB(op_5TUYCnJO6w(b),op_UuoVKWBu8y(b,b))
    else:
        count = op_count_WRl4KaSwns(b,a)+op_count_ojE0ZAmiGE(a,op_WRl4KaSwns(b,a))
    return count


def op_Yjy5r1D95p(a):
    return op_vgQrgVQVNk(op_sIyajdlsvz(a,a),op_o20kRiQErp(a))

def op_count_Yjy5r1D95p(a):
    count = op_count_sIyajdlsvz(a,a)+op_count_o20kRiQErp(a)+op_count_vgQrgVQVNk(op_sIyajdlsvz(a,a),op_o20kRiQErp(a))
    return count


def op_5WVe5l1U9D(a):
    return op_x4nckvPyZv(op_Bmrmz2XGnR(op_VIybuTSL33(a,a),op_pZPdeA5MNz(a,a)))

def op_count_5WVe5l1U9D(a):
    count = op_count_VIybuTSL33(a,a)+op_count_pZPdeA5MNz(a,a)+op_count_Bmrmz2XGnR(op_VIybuTSL33(a,a),op_pZPdeA5MNz(a,a))+op_count_x4nckvPyZv(op_Bmrmz2XGnR(op_VIybuTSL33(a,a),op_pZPdeA5MNz(a,a)))
    return count


a∩⋣⫬b = { (b⨖⇷292) , if (a⪉⋜⨢603)>78 ; (⪽↫a) , else }

def op_9sOOhDhjfO(a, b):
    if op_0YlV2lZqOw(a,603) > 78:
        return op_JoVwyMeNnt(b,292)
    else:
        return op_e6fjkqlCWa(a)

def op_count_9sOOhDhjfO(a, b):
    if op_0YlV2lZqOw(a,603) > 78:
        count = op_count_JoVwyMeNnt(b,292)+op_count_0YlV2lZqOw(a,603)
    else:
        count = op_count_e6fjkqlCWa(a)
    return count


a⊜⪧b = { (((b⋙≃≡b)⪨∜(b∁⋞b))↴(∀⩰(a↑⩧⩹a))) , if (b≞⋼⊑)<492 ; (((a⊡441)⋳⪒(⇳⪻⋅b))⊗∃⇥((a⫥⪪∙3)⩡⇣⪫(≧a))) , else }

def op_zxYHQgBFH5(a, b):
    if op_VHoGSsPwkz(b) < 492:
        return op_ZACOWTJZO4(op_TE9MRjNUgG(op_JkIVKoZPN2(b,b),op_SRbuzIgMWI(b,b)),op_h37vUuUG8p(op_EgBFiUa2UM(a,a)))
    else:
        return op_ZAXeO6SPf6(op_12rbrZMWeM(op_ts8K6hLPsW(a,441),op_KjrLlKX7GV(b)),op_F4hYhBNyxh(op_siSprMom9h(a,3),op_438NZEZFZN(a)))

def op_count_zxYHQgBFH5(a, b):
    if op_VHoGSsPwkz(b) < 492:
        count = op_count_JkIVKoZPN2(b,b)+op_count_SRbuzIgMWI(b,b)+op_count_TE9MRjNUgG(op_JkIVKoZPN2(b,b),op_SRbuzIgMWI(b,b))+op_count_EgBFiUa2UM(a,a)+op_count_h37vUuUG8p(op_EgBFiUa2UM(a,a))+op_count_ZACOWTJZO4(op_TE9MRjNUgG(op_JkIVKoZPN2(b,b),op_SRbuzIgMWI(b,b)),op_h37vUuUG8p(op_EgBFiUa2UM(a,a)))+op_count_VHoGSsPwkz(b)
    else:
        count = op_count_ts8K6hLPsW(a,441)+op_count_KjrLlKX7GV(b)+op_count_12rbrZMWeM(op_ts8K6hLPsW(a,441),op_KjrLlKX7GV(b))+op_count_siSprMom9h(a,3)+op_count_438NZEZFZN(a)+op_count_F4hYhBNyxh(op_siSprMom9h(a,3),op_438NZEZFZN(a))+op_count_ZAXeO6SPf6(op_12rbrZMWeM(op_ts8K6hLPsW(a,441),op_KjrLlKX7GV(b)),op_F4hYhBNyxh(op_siSprMom9h(a,3),op_438NZEZFZN(a)))
    return count


a≱↰∻ = { (⇀⇞a) , if (⊶a)==119 and a<54 ; (a↡⊰⫅638) , else }

def op_ur8SYGUlsu(a):
    if op_iLDmr1kYEU(a) == 119 and a < 54:
        return op_vjoXiXDdkX(a)
    else:
        return op_VCtxkLNOzz(a,638)

def op_count_ur8SYGUlsu(a):
    if op_iLDmr1kYEU(a) == 119 and a < 54:
        count = op_count_vjoXiXDdkX(a)+op_count_iLDmr1kYEU(a)
    else:
        count = op_count_VCtxkLNOzz(a,638)
    return count


def op_1EpcIKeMEe(a):
    return op_mQekotfATW(op_HBYkj1MDxA(op_hmRjlYdCYn(20,a)))

def op_count_1EpcIKeMEe(a):
    count = op_count_hmRjlYdCYn(20,a)+op_count_HBYkj1MDxA(op_hmRjlYdCYn(20,a))+op_count_mQekotfATW(op_HBYkj1MDxA(op_hmRjlYdCYn(20,a)))
    return count


def op_D5ZpDxUeng(a):
    return op_jneptBQ8aA(op_a1g1nEwBDm(a),op_H0fWaTn7v4(a,a))

def op_count_D5ZpDxUeng(a):
    count = op_count_a1g1nEwBDm(a)+op_count_H0fWaTn7v4(a,a)+op_count_jneptBQ8aA(op_a1g1nEwBDm(a),op_H0fWaTn7v4(a,a))
    return count


def op_ROVlpfRyNv(a, b):
    return op_w5FWba1tyO(op_GjBEYRfMaF(b,a))

def op_count_ROVlpfRyNv(a, b):
    count = op_count_GjBEYRfMaF(b,a)+op_count_w5FWba1tyO(op_GjBEYRfMaF(b,a))
    return count


def op_ja8oIrGfIm(a):
    return op_AljMvE3RRm(op_T7fl5gIC18(a,100))

def op_count_ja8oIrGfIm(a):
    count = op_count_T7fl5gIC18(a,100)+op_count_AljMvE3RRm(op_T7fl5gIC18(a,100))
    return count


def op_QyGfFAeqAF(a):
    return op_LBdsKIvxzf(op_SBjcRTyrIt(38,a))

def op_count_QyGfFAeqAF(a):
    count = op_count_SBjcRTyrIt(38,a)+op_count_LBdsKIvxzf(op_SBjcRTyrIt(38,a))
    return count


def op_qotMjEMVAd(a, b):
    return op_QTz8BWsUwX(op_6aG7x05OhS(op_QXkr67oqFK(b)),op_OyMmzkefeY(op_MDeofPkNUB(a,a)))

def op_count_qotMjEMVAd(a, b):
    count = op_count_QXkr67oqFK(b)+op_count_6aG7x05OhS(op_QXkr67oqFK(b))+op_count_MDeofPkNUB(a,a)+op_count_OyMmzkefeY(op_MDeofPkNUB(a,a))+op_count_QTz8BWsUwX(op_6aG7x05OhS(op_QXkr67oqFK(b)),op_OyMmzkefeY(op_MDeofPkNUB(a,a)))
    return count


def op_8VonCXu5gH(a):
    return op_3iurnvestf(op_byXSajxYUW(a),op_ZAXeO6SPf6(284,a))

def op_count_8VonCXu5gH(a):
    count = op_count_byXSajxYUW(a)+op_count_ZAXeO6SPf6(284,a)+op_count_3iurnvestf(op_byXSajxYUW(a),op_ZAXeO6SPf6(284,a))
    return count


a≇⇺⫰b = { (((a∠⊍⋙a)⊸⇪⫘(a∲⫓b))↟⪦((b∸)⇭⩛(25⩚⩷⇎641))) }

def op_o910uiVYjO(a, b):
    return op_m3Wy7lzjrX(op_55mBqzxS3b(op_lAUTOmyRBs(a,a),op_i8ToyICDmI(a,b)),op_i7brRvs2Zr(op_o20kRiQErp(b),op_NYIHRc2x51(25,641)))

def op_count_o910uiVYjO(a, b):
    count = op_count_lAUTOmyRBs(a,a)+op_count_i8ToyICDmI(a,b)+op_count_55mBqzxS3b(op_lAUTOmyRBs(a,a),op_i8ToyICDmI(a,b))+op_count_o20kRiQErp(b)+op_count_NYIHRc2x51(25,641)+op_count_i7brRvs2Zr(op_o20kRiQErp(b),op_NYIHRc2x51(25,641))+op_count_m3Wy7lzjrX(op_55mBqzxS3b(op_lAUTOmyRBs(a,a),op_i8ToyICDmI(a,b)),op_i7brRvs2Zr(op_o20kRiQErp(b),op_NYIHRc2x51(25,641)))
    return count


a⇘↿⋃b = { (⫼b) , if (⨓∘a)==25 ; (b⪑+⫤a) , else }

def op_Yk8OFmkJks(a, b):
    if op_veMsVB6gsU(a) == 25:
        return op_ozBFlv7jAp(b)
    else:
        return op_LikfbluYa9(b,a)

def op_count_Yk8OFmkJks(a, b):
    if op_veMsVB6gsU(a) == 25:
        count = op_count_ozBFlv7jAp(b)+op_count_veMsVB6gsU(a)
    else:
        count = op_count_LikfbluYa9(b,a)
    return count


a⋜⊦b = { a , if (⊁⨺b)>429 or (⪽⪧⇞b)==442 or b<54 ; (a⫢⩮↷) , else }

def op_Clkk675x6l(a, b):
    if op_PxiHyQbrIp(b) > 429 or op_7KrIVfnUen(b) == 442 or b < 54:
        return a
    else:
        return op_BLLGLRFJVt(a)

def op_count_Clkk675x6l(a, b):
    if op_PxiHyQbrIp(b) > 429 or op_7KrIVfnUen(b) == 442 or b < 54:
        count = 1
    else:
        count = op_count_BLLGLRFJVt(a)
    return count


def op_hxAvLvgoB8(a, b):
    return op_aF6wdyjNOF(b,op_lwHaAYXP2r(a,a))

def op_count_hxAvLvgoB8(a, b):
    count = op_count_lwHaAYXP2r(a,a)+op_count_aF6wdyjNOF(b,op_lwHaAYXP2r(a,a))
    return count


a⊥⊔⊃ = { (a⩗a) , if (a≣≺631)>33 ; (a↳∿⪆a) , else }

def op_RapcjUbs3q(a):
    if op_izrQJRSfVS(a,631) > 33:
        return op_TrDKUjqfgw(a,a)
    else:
        return op_Cw4SuJJGHO(a,a)

def op_count_RapcjUbs3q(a):
    if op_izrQJRSfVS(a,631) > 33:
        count = op_count_TrDKUjqfgw(a,a)+op_count_izrQJRSfVS(a,631)
    else:
        count = op_count_Cw4SuJJGHO(a,a)
    return count


def op_5RUBFCLEuU(a):
    return op_mp7IySMOzn(op_nz26hwsvpd(a),op_hMGfXo4m8J(a,a))

def op_count_5RUBFCLEuU(a):
    count = op_count_nz26hwsvpd(a)+op_count_hMGfXo4m8J(a,a)+op_count_mp7IySMOzn(op_nz26hwsvpd(a),op_hMGfXo4m8J(a,a))
    return count


a∐⩣∹ = { (((a⇏⊫∳a)⫊(a⋿⫂⩢a))↓∂⫆((a⩾⨝a)⊋↛(a↡-a))) }

def op_6lPaIoeALZ(a):
    return op_UO7sojQx20(op_uPjn7n5pli(op_1TeaI018f5(a,a),op_Myl0MYZ3R6(a,a)),op_fOUzq6FFBl(op_o0ENHGX9XF(a,a),op_O26jwKggyC(a,a)))

def op_count_6lPaIoeALZ(a):
    count = op_count_1TeaI018f5(a,a)+op_count_Myl0MYZ3R6(a,a)+op_count_uPjn7n5pli(op_1TeaI018f5(a,a),op_Myl0MYZ3R6(a,a))+op_count_o0ENHGX9XF(a,a)+op_count_O26jwKggyC(a,a)+op_count_fOUzq6FFBl(op_o0ENHGX9XF(a,a),op_O26jwKggyC(a,a))+op_count_UO7sojQx20(op_uPjn7n5pli(op_1TeaI018f5(a,a),op_Myl0MYZ3R6(a,a)),op_fOUzq6FFBl(op_o0ENHGX9XF(a,a),op_O26jwKggyC(a,a)))
    return count


def op_BL0Zy5sOTh(a):
    return op_5KTvxBwnZo(a,a)

def op_count_BL0Zy5sOTh(a):
    count = op_count_5KTvxBwnZo(a,a)
    return count


def op_kH0YZL853h(a, b):
    return op_DhbWaqg5eL(op_Y8C8ozzXLe(a,b))

def op_count_kH0YZL853h(a, b):
    count = op_count_Y8C8ozzXLe(a,b)+op_count_DhbWaqg5eL(op_Y8C8ozzXLe(a,b))
    return count


⨪⊽⪫a = { ((a⇆⊲⇢a)⋔+⨓(a∻⫏a)) , if ((a⋩⪂)==517 or (a⨕⇹283)<347) ; (↬↨(a⫵⨐⫴a)) , else }

def op_JNQLOch8VR(a):
    if (op_TcqBw3IAzW(a) == 517 or op_PaWjBlmoRZ(a,283) < 347):
        return op_AU7eUHalbZ(op_eit6DlVSbc(a,a),op_5rvhbTr1DR(a,a))
    else:
        return op_zPwbmAUgue(op_DwP0GRE7En(a,a))

def op_count_JNQLOch8VR(a):
    if (op_TcqBw3IAzW(a) == 517 or op_PaWjBlmoRZ(a,283) < 347):
        count = op_count_eit6DlVSbc(a,a)+op_count_5rvhbTr1DR(a,a)+op_count_AU7eUHalbZ(op_eit6DlVSbc(a,a),op_5rvhbTr1DR(a,a))+op_count_TcqBw3IAzW(a)+op_count_PaWjBlmoRZ(a,283)
    else:
        count = op_count_DwP0GRE7En(a,a)+op_count_zPwbmAUgue(op_DwP0GRE7En(a,a))
    return count


a⩐⇎⋉b = { ((320⇱⨹⊀a)⪌⨺↜(b⫙⩮⩾a)) , if b>73 ; ((a⩻⇘⩦a)⨅⊉⫩(a⊤⪙⪛b)) , else }

def op_eMh4dbs4bt(a, b):
    if b > 73:
        return op_YZ4iizfuOA(op_DEAy1fljX8(320,a),op_ekiV5KEQgK(b,a))
    else:
        return op_oavCpV4SmN(op_BrdKLlllJJ(a,a),op_A28Sj7Ib8S(a,b))

def op_count_eMh4dbs4bt(a, b):
    if b > 73:
        count = op_count_DEAy1fljX8(320,a)+op_count_ekiV5KEQgK(b,a)+op_count_YZ4iizfuOA(op_DEAy1fljX8(320,a),op_ekiV5KEQgK(b,a))
    else:
        count = op_count_BrdKLlllJJ(a,a)+op_count_A28Sj7Ib8S(a,b)+op_count_oavCpV4SmN(op_BrdKLlllJJ(a,a),op_A28Sj7Ib8S(a,b))
    return count


⩬∟a = { ((a⊝⪶(a⇙⊞34))⨳((78∎⫲⩖a)⩉≙⋏(⇆a))) }

def op_9gIUxgMMd4(a):
    return op_YaB1w09lmH(op_Xbtyq2jN9O(a,op_zPaW4OAyCC(a,34)),op_K6E8QFs5tY(op_D4e1cgsuJu(78,a),op_O46HUMlYez(a)))

def op_count_9gIUxgMMd4(a):
    count = op_count_zPaW4OAyCC(a,34)+op_count_Xbtyq2jN9O(a,op_zPaW4OAyCC(a,34))+op_count_D4e1cgsuJu(78,a)+op_count_O46HUMlYez(a)+op_count_K6E8QFs5tY(op_D4e1cgsuJu(78,a),op_O46HUMlYez(a))+op_count_YaB1w09lmH(op_Xbtyq2jN9O(a,op_zPaW4OAyCC(a,34)),op_K6E8QFs5tY(op_D4e1cgsuJu(78,a),op_O46HUMlYez(a)))
    return count


def op_Urbwzi25SQ(a):
    return op_yMixD7ucMB(op_lr4bYNdzaZ(a,a),op_SLLxy00UIr(a))

def op_count_Urbwzi25SQ(a):
    count = op_count_lr4bYNdzaZ(a,a)+op_count_SLLxy00UIr(a)+op_count_yMixD7ucMB(op_lr4bYNdzaZ(a,a),op_SLLxy00UIr(a))
    return count


def op_XFzeehIEO3(a):
    return op_5TUYCnJO6w(op_UUAh1Hdfpu(a,op_HJDcuLMPgt(a,a)))

def op_count_XFzeehIEO3(a):
    count = op_count_HJDcuLMPgt(a,a)+op_count_UUAh1Hdfpu(a,op_HJDcuLMPgt(a,a))+op_count_5TUYCnJO6w(op_UUAh1Hdfpu(a,op_HJDcuLMPgt(a,a)))
    return count


def op_KZrH2HYpph(a):
    if (op_wwXkqyu98f(a,720) >= 36 or a > 242):
        return op_gJLn6v0xnP(70,op_PmZQOlcY5C(a,a))
    else:
        return op_SNWesf9iCk(op_iO9AwRVKvo(a,a))

def op_count_KZrH2HYpph(a):
    if (op_wwXkqyu98f(a,720) >= 36 or a > 242):
        count = op_count_PmZQOlcY5C(a,a)+op_count_gJLn6v0xnP(70,op_PmZQOlcY5C(a,a))+op_count_wwXkqyu98f(a,720)
    else:
        count = op_count_iO9AwRVKvo(a,a)+op_count_SNWesf9iCk(op_iO9AwRVKvo(a,a))
    return count


a↪↼b = { (⪻⇥76) , if b>=84 and a<63 ; (b⊳b) , else }

def op_fBnYZceood(a, b):
    if b >= 84 and a < 63:
        return op_kaeRoPDD5o(76)
    else:
        return op_hmRjlYdCYn(b,b)

def op_count_fBnYZceood(a, b):
    if b >= 84 and a < 63:
        count = op_count_kaeRoPDD5o(76)
    else:
        count = op_count_hmRjlYdCYn(b,b)
    return count


≱≂↑a = { (((a≃⇜↓287)⨥∖(a∛≔))⫎⇑↛((a⩄⋧⋃48)⪂⋰(a↘⫼a))) }

def op_7YaSMJrxvM(a):
    return op_yJC0uiLgXl(op_VcI7WilXed(op_zjpztV9BY4(a,287),op_mGnSCrte3L(a)),op_n8orHNdrpw(op_aZuMSAMASb(a,48),op_Vj82UMHPMx(a,a)))

def op_count_7YaSMJrxvM(a):
    count = op_count_zjpztV9BY4(a,287)+op_count_mGnSCrte3L(a)+op_count_VcI7WilXed(op_zjpztV9BY4(a,287),op_mGnSCrte3L(a))+op_count_aZuMSAMASb(a,48)+op_count_Vj82UMHPMx(a,a)+op_count_n8orHNdrpw(op_aZuMSAMASb(a,48),op_Vj82UMHPMx(a,a))+op_count_yJC0uiLgXl(op_VcI7WilXed(op_zjpztV9BY4(a,287),op_mGnSCrte3L(a)),op_n8orHNdrpw(op_aZuMSAMASb(a,48),op_Vj82UMHPMx(a,a)))
    return count


def op_kJJflTBdEb(a, b):
    if a <= 62 or op_2xNUJOTV1W(b) >= 48:
        return op_z7gOP67ziU(141)
    else:
        return op_dcShxvzhyw(b)

def op_count_kJJflTBdEb(a, b):
    if a <= 62 or op_2xNUJOTV1W(b) >= 48:
        count = op_count_z7gOP67ziU(141)+op_count_2xNUJOTV1W(b)
    else:
        count = op_count_dcShxvzhyw(b)
    return count


def op_M7zwneKWPL(a):
    return op_RTaRm1inG1(op_JZTizTyk8U(op_hvBWUBN4QG(a)),a)

def op_count_M7zwneKWPL(a):
    count = op_count_hvBWUBN4QG(a)+op_count_JZTizTyk8U(op_hvBWUBN4QG(a))+op_count_RTaRm1inG1(op_JZTizTyk8U(op_hvBWUBN4QG(a)),a)
    return count


def op_lugC9wZrGD(a):
    if op_kDQ0oYbj3W(a,792) != 229:
        return op_DEAy1fljX8(a,a)
    else:
        return op_S5nS5IR4MP(608,176)

def op_count_lugC9wZrGD(a):
    if op_kDQ0oYbj3W(a,792) != 229:
        count = op_count_DEAy1fljX8(a,a)+op_count_kDQ0oYbj3W(a,792)
    else:
        count = op_count_S5nS5IR4MP(608,176)
    return count


a⨧⨞b = { (((a∃⫆⨉a)⊝⪿⪼(b≵⫁⨩b))⩌≪⫐((⋗⩴⪓b)←∉⩵(a∸⊾))) , if (a⫌⋠⫢287)!=81 ; (((b⇎⋱b)⇹⊁)⨚⇆((b⩪b)∛⋻↤(a⊾≜⊽730))) , else }

def op_FhO8PvMI2N(a, b):
    if op_mf9eRyN6Nh(a,287) != 81:
        return op_B7h40RZuRL(op_3Oe9XWJUTD(op_N2dd4xFYSL(a,a),op_ygCb31sq1A(b,b)),op_NOHxjtdlri(op_nOKPl9n5zu(b),op_07nN3LaE4t(a)))
    else:
        return op_lwHaAYXP2r(op_zIH5p6XAlz(op_bIDw1T0Uny(b,b)),op_k3GVCLYZsC(op_7GgezYTPa9(b,b),op_A6jTRgEchk(a,730)))

def op_count_FhO8PvMI2N(a, b):
    if op_mf9eRyN6Nh(a,287) != 81:
        count = op_count_N2dd4xFYSL(a,a)+op_count_ygCb31sq1A(b,b)+op_count_3Oe9XWJUTD(op_N2dd4xFYSL(a,a),op_ygCb31sq1A(b,b))+op_count_nOKPl9n5zu(b)+op_count_07nN3LaE4t(a)+op_count_NOHxjtdlri(op_nOKPl9n5zu(b),op_07nN3LaE4t(a))+op_count_B7h40RZuRL(op_3Oe9XWJUTD(op_N2dd4xFYSL(a,a),op_ygCb31sq1A(b,b)),op_NOHxjtdlri(op_nOKPl9n5zu(b),op_07nN3LaE4t(a)))+op_count_mf9eRyN6Nh(a,287)
    else:
        count = op_count_bIDw1T0Uny(b,b)+op_count_zIH5p6XAlz(op_bIDw1T0Uny(b,b))+op_count_7GgezYTPa9(b,b)+op_count_A6jTRgEchk(a,730)+op_count_k3GVCLYZsC(op_7GgezYTPa9(b,b),op_A6jTRgEchk(a,730))+op_count_lwHaAYXP2r(op_zIH5p6XAlz(op_bIDw1T0Uny(b,b)),op_k3GVCLYZsC(op_7GgezYTPa9(b,b),op_A6jTRgEchk(a,730)))
    return count


def op_OBQYIGmrOF(a):
    return op_oDCm7WA9JY(a,559)

def op_count_OBQYIGmrOF(a):
    count = op_count_oDCm7WA9JY(a,559)
    return count


a⋸⨴≀b = { (495⊥⨳a) , if (b⇠⩎)<478 or (⨜⪪⨡a)<140 or (↵⇑b)<593 ; a , else }

def op_nCcCUYjEFk(a, b):
    if op_6fHIvV6xl0(b) < 478 or op_1P5EUR2X7u(a) < 140 or op_EEycz8o2AV(b) < 593:
        return op_R853JquVHs(495,a)
    else:
        return a

def op_count_nCcCUYjEFk(a, b):
    if op_6fHIvV6xl0(b) < 478 or op_1P5EUR2X7u(a) < 140 or op_EEycz8o2AV(b) < 593:
        count = op_count_R853JquVHs(495,a)+op_count_6fHIvV6xl0(b)+op_count_1P5EUR2X7u(a)+op_count_EEycz8o2AV(b)
    else:
        count = 1
    return count


def op_Rs9R1JD193(a):
    return op_HBr05eZif0(a,op_zU6YYVWnAv(a))

def op_count_Rs9R1JD193(a):
    count = op_count_zU6YYVWnAv(a)+op_count_HBr05eZif0(a,op_zU6YYVWnAv(a))
    return count


↔≴a = { (((a⪹⫧⇽)≋≥(a⪸⊜⨷a))⋵(233⊬⊩∢(⊦⪽a))) }

def op_qic24TMK0N(a):
    return op_oAMbWzt9Wf(op_p8rocv1ccI(op_RUvFhAOGfE(a),op_6BFomJzHVX(a,a)),op_0hEPAaAg8C(233,op_80sRvZwr0R(a)))

def op_count_qic24TMK0N(a):
    count = op_count_RUvFhAOGfE(a)+op_count_6BFomJzHVX(a,a)+op_count_p8rocv1ccI(op_RUvFhAOGfE(a),op_6BFomJzHVX(a,a))+op_count_80sRvZwr0R(a)+op_count_0hEPAaAg8C(233,op_80sRvZwr0R(a))+op_count_oAMbWzt9Wf(op_p8rocv1ccI(op_RUvFhAOGfE(a),op_6BFomJzHVX(a,a)),op_0hEPAaAg8C(233,op_80sRvZwr0R(a)))
    return count


def op_ts8DGGvHm3(a):
    if op_ed2YgVf9Wu(a) <= 415 or a > 171:
        return op_TggRJD4cLo(op_mA6yuBE6QF(op_sgAhpeloD6(a),op_HWsfkPJiI1(5)),op_lgf6B8eM2m(a,op_xCh8PLxVLz(a,492)))
    else:
        return op_MFRHkRtSmA(op_Z6qvuIbiDz(op_YtFLMpyAae(a,a),op_XFtV96IEKB(a,50)),op_vEqyA2MNuf(op_xAdqek1hDd(a,a),407))

def op_count_ts8DGGvHm3(a):
    if op_ed2YgVf9Wu(a) <= 415 or a > 171:
        count = op_count_sgAhpeloD6(a)+op_count_HWsfkPJiI1(5)+op_count_mA6yuBE6QF(op_sgAhpeloD6(a),op_HWsfkPJiI1(5))+op_count_xCh8PLxVLz(a,492)+op_count_lgf6B8eM2m(a,op_xCh8PLxVLz(a,492))+op_count_TggRJD4cLo(op_mA6yuBE6QF(op_sgAhpeloD6(a),op_HWsfkPJiI1(5)),op_lgf6B8eM2m(a,op_xCh8PLxVLz(a,492)))+op_count_ed2YgVf9Wu(a)
    else:
        count = op_count_YtFLMpyAae(a,a)+op_count_XFtV96IEKB(a,50)+op_count_Z6qvuIbiDz(op_YtFLMpyAae(a,a),op_XFtV96IEKB(a,50))+op_count_xAdqek1hDd(a,a)+op_count_vEqyA2MNuf(op_xAdqek1hDd(a,a),407)+op_count_MFRHkRtSmA(op_Z6qvuIbiDz(op_YtFLMpyAae(a,a),op_XFtV96IEKB(a,50)),op_vEqyA2MNuf(op_xAdqek1hDd(a,a),407))
    return count


def op_E8CrZS0krV(a):
    return op_leeyKC4ZFN(op_du21YARcKU(a,a),op_22UCrTUJEh(a,a))

def op_count_E8CrZS0krV(a):
    count = op_count_du21YARcKU(a,a)+op_count_22UCrTUJEh(a,a)+op_count_leeyKC4ZFN(op_du21YARcKU(a,a),op_22UCrTUJEh(a,a))
    return count


def op_fbcvdbyKp2(a, b):
    return op_F1vicInhg4(b,op_mMFf7LlMzv(a,op_VEQNXA0ZBg(341)))

def op_count_fbcvdbyKp2(a, b):
    count = op_count_VEQNXA0ZBg(341)+op_count_mMFf7LlMzv(a,op_VEQNXA0ZBg(341))+op_count_F1vicInhg4(b,op_mMFf7LlMzv(a,op_VEQNXA0ZBg(341)))
    return count


a⩙↛ = { ((≸≮(a⨢⫣↬a))⨵⨺⨔) , if (a⊾⪍⇠710)<16 ; (((a⊰⋡a)⪋)⨾⊄⪓((a→⫱←a)⫄(a⊞⊼a))) , else }

def op_EaFi7fNKTn(a):
    if op_ZRQRDfrpkZ(a,710) < 16:
        return op_hASfSPd5iB(op_AljMvE3RRm(op_C7DFujtSMd(a,a)))
    else:
        return op_BeKUusqXDm(op_F0bFH7iBkH(op_vjFqOupvX0(a,a)),op_hb2mTwldPZ(op_fMIIRpKZCA(a,a),op_zVc77mVpRV(a,a)))

def op_count_EaFi7fNKTn(a):
    if op_ZRQRDfrpkZ(a,710) < 16:
        count = op_count_C7DFujtSMd(a,a)+op_count_AljMvE3RRm(op_C7DFujtSMd(a,a))+op_count_hASfSPd5iB(op_AljMvE3RRm(op_C7DFujtSMd(a,a)))+op_count_ZRQRDfrpkZ(a,710)
    else:
        count = op_count_vjFqOupvX0(a,a)+op_count_F0bFH7iBkH(op_vjFqOupvX0(a,a))+op_count_fMIIRpKZCA(a,a)+op_count_zVc77mVpRV(a,a)+op_count_hb2mTwldPZ(op_fMIIRpKZCA(a,a),op_zVc77mVpRV(a,a))+op_count_BeKUusqXDm(op_F0bFH7iBkH(op_vjFqOupvX0(a,a)),op_hb2mTwldPZ(op_fMIIRpKZCA(a,a),op_zVc77mVpRV(a,a)))
    return count


a⫼⇚⩷ = { (⩣((a⇁⪕)⨪↰⇹(⊎a))) , if (a⊁)<323 and (⪭≋⋼a)<75 ; a , else }

def op_fTtQDb4GbO(a):
    if op_IU5bnLfiEv(a) < 323 and op_EZ6cjipfBz(a) < 75:
        return op_xwVg91SYUp(op_tmPS8pqC7x(op_9gb37ZWNW1(a),op_FwXU2ccSS8(a)))
    else:
        return a

def op_count_fTtQDb4GbO(a):
    if op_IU5bnLfiEv(a) < 323 and op_EZ6cjipfBz(a) < 75:
        count = op_count_9gb37ZWNW1(a)+op_count_FwXU2ccSS8(a)+op_count_tmPS8pqC7x(op_9gb37ZWNW1(a),op_FwXU2ccSS8(a))+op_count_xwVg91SYUp(op_tmPS8pqC7x(op_9gb37ZWNW1(a),op_FwXU2ccSS8(a)))+op_count_IU5bnLfiEv(a)+op_count_EZ6cjipfBz(a)
    else:
        count = 1
    return count


a⫻∮ = { (((a∀)⫕⇤⪲(a⩨⇖a))⨭⫎((∟⨄a)⪛⫼(668∪⫲≙a))) }

def op_c6IZHs8yUf(a):
    return op_OVAuBYEMFc(op_NP9YRXuJAy(op_LCrUByRFnp(a),op_AU0rGnNQho(a,a)),op_hyuBjUqXlG(op_Bdqd193sIk(a),op_TWtPLDAloG(668,a)))

def op_count_c6IZHs8yUf(a):
    count = op_count_LCrUByRFnp(a)+op_count_AU0rGnNQho(a,a)+op_count_NP9YRXuJAy(op_LCrUByRFnp(a),op_AU0rGnNQho(a,a))+op_count_Bdqd193sIk(a)+op_count_TWtPLDAloG(668,a)+op_count_hyuBjUqXlG(op_Bdqd193sIk(a),op_TWtPLDAloG(668,a))+op_count_OVAuBYEMFc(op_NP9YRXuJAy(op_LCrUByRFnp(a),op_AU0rGnNQho(a,a)),op_hyuBjUqXlG(op_Bdqd193sIk(a),op_TWtPLDAloG(668,a)))
    return count


a*⩇b = { (((↟⨅a)⪼≍(a⨘↽b))+⪬∐((a∑⊆)≗⪓∷)) }

def op_GSQfXVEZlR(a, b):
    return op_2GS7woTJqF(op_ILZIEOL6W5(op_ZFy2rhIysb(a),op_DHxEmMn2cg(a,b)),op_xWKacU4PIG(op_tDasX7t0Bh(a)))

def op_count_GSQfXVEZlR(a, b):
    count = op_count_ZFy2rhIysb(a)+op_count_DHxEmMn2cg(a,b)+op_count_ILZIEOL6W5(op_ZFy2rhIysb(a),op_DHxEmMn2cg(a,b))+op_count_tDasX7t0Bh(a)+op_count_xWKacU4PIG(op_tDasX7t0Bh(a))+op_count_2GS7woTJqF(op_ILZIEOL6W5(op_ZFy2rhIysb(a),op_DHxEmMn2cg(a,b)),op_xWKacU4PIG(op_tDasX7t0Bh(a)))
    return count


a⊨⫲b = { (((37⋐⇩⊬)⋘⪾(b≅⊛233))⊲((b⋿⩮a)↕∇⋍(⋏↟⪜b))) }

def op_sg2Ti6lDhT(a, b):
    return op_yMixD7ucMB(op_QzuynGCx6W(op_JuuLT1NoCs(37),op_3On8Mq6EYF(b,233)),op_XRjwFXip4B(op_fisgo7y6Pu(b,a),op_BkAOP1FcFr(b)))

def op_count_sg2Ti6lDhT(a, b):
    count = op_count_JuuLT1NoCs(37)+op_count_3On8Mq6EYF(b,233)+op_count_QzuynGCx6W(op_JuuLT1NoCs(37),op_3On8Mq6EYF(b,233))+op_count_fisgo7y6Pu(b,a)+op_count_BkAOP1FcFr(b)+op_count_XRjwFXip4B(op_fisgo7y6Pu(b,a),op_BkAOP1FcFr(b))+op_count_yMixD7ucMB(op_QzuynGCx6W(op_JuuLT1NoCs(37),op_3On8Mq6EYF(b,233)),op_XRjwFXip4B(op_fisgo7y6Pu(b,a),op_BkAOP1FcFr(b)))
    return count


def op_6tS8seAUU5(a, b):
    return op_HLtJe7OQfK(op_kLz9fXvToG(b,op_tUOKwCw09Q(525,a)))

def op_count_6tS8seAUU5(a, b):
    count = op_count_tUOKwCw09Q(525,a)+op_count_kLz9fXvToG(b,op_tUOKwCw09Q(525,a))+op_count_HLtJe7OQfK(op_kLz9fXvToG(b,op_tUOKwCw09Q(525,a)))
    return count


a⨈⊝⫍b = { (((b⫮a)⪤(⪹≗a))⇺⫉⋠((b⨍↙⩡a)∑⊿≛(b⊽⊴a))) }

def op_CR96Emc5ZT(a, b):
    return op_WZX1KRTFlP(op_JKhKCqropJ(op_vwdxqpDU32(b,a),op_orYc0BY6Nt(a)),op_HBr05eZif0(op_BAYcl7KEcJ(b,a),op_qvKIMln9sx(b,a)))

def op_count_CR96Emc5ZT(a, b):
    count = op_count_vwdxqpDU32(b,a)+op_count_orYc0BY6Nt(a)+op_count_JKhKCqropJ(op_vwdxqpDU32(b,a),op_orYc0BY6Nt(a))+op_count_BAYcl7KEcJ(b,a)+op_count_qvKIMln9sx(b,a)+op_count_HBr05eZif0(op_BAYcl7KEcJ(b,a),op_qvKIMln9sx(b,a))+op_count_WZX1KRTFlP(op_JKhKCqropJ(op_vwdxqpDU32(b,a),op_orYc0BY6Nt(a)),op_HBr05eZif0(op_BAYcl7KEcJ(b,a),op_qvKIMln9sx(b,a)))
    return count


a≪⊺⋟b = { b , if (⇔↙⇢a)>=163 ; (⩥⩪(⪺⊴⫡a)) , else }

def op_6XI03Y2wNz(a, b):
    if op_43Q9kPNg6V(a) >= 163:
        return b
    else:
        return op_oZVPzpKEfk(op_UBVjgJrFBH(a))

def op_count_6XI03Y2wNz(a, b):
    if op_43Q9kPNg6V(a) >= 163:
        count = 1
    else:
        count = op_count_UBVjgJrFBH(a)+op_count_oZVPzpKEfk(op_UBVjgJrFBH(a))
    return count


≴a = { (((461⋕⫓⨞a)⩕⪍⨤(a⇎⇧a))⊶↷↻((a⋆⪎⪨356)≷∧(a⨋⪉))) }

def op_fZVHgJ1J9c(a):
    return op_VSUCzqIkt4(op_kravj9xg3G(op_HTQeboLAuK(461,a),op_cnI436iWbz(a,a)),op_BsKymRuLqz(op_kLz9fXvToG(a,356),op_TKwpwGcWmn(a)))

def op_count_fZVHgJ1J9c(a):
    count = op_count_HTQeboLAuK(461,a)+op_count_cnI436iWbz(a,a)+op_count_kravj9xg3G(op_HTQeboLAuK(461,a),op_cnI436iWbz(a,a))+op_count_kLz9fXvToG(a,356)+op_count_TKwpwGcWmn(a)+op_count_BsKymRuLqz(op_kLz9fXvToG(a,356),op_TKwpwGcWmn(a))+op_count_VSUCzqIkt4(op_kravj9xg3G(op_HTQeboLAuK(461,a),op_cnI436iWbz(a,a)),op_BsKymRuLqz(op_kLz9fXvToG(a,356),op_TKwpwGcWmn(a)))
    return count


def op_8zaAVCxu8i(a, b):
    if op_9gOQWDhglh(b,68) != 422:
        return op_zPwbmAUgue(op_4JknimHijl(a,b))
    else:
        return op_Z5m6OM72h2(op_P4ywzuOpaq(402,386),op_15fnz2YIbx(a,156))

def op_count_8zaAVCxu8i(a, b):
    if op_9gOQWDhglh(b,68) != 422:
        count = op_count_4JknimHijl(a,b)+op_count_zPwbmAUgue(op_4JknimHijl(a,b))+op_count_9gOQWDhglh(b,68)
    else:
        count = op_count_P4ywzuOpaq(402,386)+op_count_15fnz2YIbx(a,156)+op_count_Z5m6OM72h2(op_P4ywzuOpaq(402,386),op_15fnz2YIbx(a,156))
    return count


def op_Xi4clIOpIx(a):
    return op_H0fWaTn7v4(a,a)

def op_count_Xi4clIOpIx(a):
    count = op_count_H0fWaTn7v4(a,a)
    return count


def op_Mncg6Y5z3p(a):
    return op_Ez1Nq5fNfI(a,a)

def op_count_Mncg6Y5z3p(a):
    count = op_count_Ez1Nq5fNfI(a,a)
    return count


def op_6kE0mCb82W(a):
    return op_LYeZOJ0nQG(op_3ViojmjbAp(a,a))

def op_count_6kE0mCb82W(a):
    count = op_count_3ViojmjbAp(a,a)+op_count_LYeZOJ0nQG(op_3ViojmjbAp(a,a))
    return count


def op_DpZlhBPv39(a):
    return op_CzM2PEoXns(op_NOHxjtdlri(a,a))

def op_count_DpZlhBPv39(a):
    count = op_count_NOHxjtdlri(a,a)+op_count_CzM2PEoXns(op_NOHxjtdlri(a,a))
    return count


def op_XFtHdBzu6C(a, b):
    return op_ft1Ti0WzrU(op_VCtxkLNOzz(a,b))

def op_count_XFtHdBzu6C(a, b):
    count = op_count_VCtxkLNOzz(a,b)+op_count_ft1Ti0WzrU(op_VCtxkLNOzz(a,b))
    return count


a↶⊆⩋b = { ((≑⋹b)≅⋲(a⫼⇷b)) , if (b⇜≔⇃60)==384 ; (≣∔(a≴√⇹a)) , else }

def op_chVjXdrG4d(a, b):
    if op_RlOoWQmxHa(b,60) == 384:
        return op_A0R0hrgyGo(op_6B9nyZLogK(b),op_W5FaPSP1ue(a,b))
    else:
        return op_5nPQLPO2y6(op_nAvFnAjdcU(a,a))

def op_count_chVjXdrG4d(a, b):
    if op_RlOoWQmxHa(b,60) == 384:
        count = op_count_6B9nyZLogK(b)+op_count_W5FaPSP1ue(a,b)+op_count_A0R0hrgyGo(op_6B9nyZLogK(b),op_W5FaPSP1ue(a,b))+op_count_RlOoWQmxHa(b,60)
    else:
        count = op_count_nAvFnAjdcU(a,a)+op_count_5nPQLPO2y6(op_nAvFnAjdcU(a,a))
    return count


a⪣↶⨷ = { (((a⨯58)∶∼⩅(a∏∽a))⩻⨮⋝((⊈⇘a)∰⇦⋇)) , if (a⪃≄)==190 ; ((a∿⇈(20⩀a))⫽⋔) , else }

def op_6rhcS65T5y(a):
    if op_9DVcvBHIeV(a) == 190:
        return op_tTEXlJ6Kwl(op_0m7WmqJHie(op_qYpz2WEVq4(a,58),op_6tQRFKEWKL(a,a)),op_Gh96TW4s3j(op_MBUl8l35ec(a)))
    else:
        return op_bJjEIIhyQG(op_frKJlQghcg(a,op_M1AAiXtbt9(20,a)))

def op_count_6rhcS65T5y(a):
    if op_9DVcvBHIeV(a) == 190:
        count = op_count_qYpz2WEVq4(a,58)+op_count_6tQRFKEWKL(a,a)+op_count_0m7WmqJHie(op_qYpz2WEVq4(a,58),op_6tQRFKEWKL(a,a))+op_count_MBUl8l35ec(a)+op_count_Gh96TW4s3j(op_MBUl8l35ec(a))+op_count_tTEXlJ6Kwl(op_0m7WmqJHie(op_qYpz2WEVq4(a,58),op_6tQRFKEWKL(a,a)),op_Gh96TW4s3j(op_MBUl8l35ec(a)))+op_count_9DVcvBHIeV(a)
    else:
        count = op_count_M1AAiXtbt9(20,a)+op_count_frKJlQghcg(a,op_M1AAiXtbt9(20,a))+op_count_bJjEIIhyQG(op_frKJlQghcg(a,op_M1AAiXtbt9(20,a)))
    return count


a⨖⊈b = { (((b≝⊘253)⫮(a≐↽b))⊐((a⩘b)⋅⇾⫱(b⋗⨓b))) }

def op_nQeiMw3aKm(a, b):
    return op_kE9YHawE8s(op_vwdxqpDU32(op_3KAnUrVtkf(b,253),op_leeyKC4ZFN(a,b)),op_oxSU0Fg4Pf(op_cHh1gJQ2o6(a,b),op_imqY0THBaP(b,b)))

def op_count_nQeiMw3aKm(a, b):
    count = op_count_3KAnUrVtkf(b,253)+op_count_leeyKC4ZFN(a,b)+op_count_vwdxqpDU32(op_3KAnUrVtkf(b,253),op_leeyKC4ZFN(a,b))+op_count_cHh1gJQ2o6(a,b)+op_count_imqY0THBaP(b,b)+op_count_oxSU0Fg4Pf(op_cHh1gJQ2o6(a,b),op_imqY0THBaP(b,b))+op_count_kE9YHawE8s(op_vwdxqpDU32(op_3KAnUrVtkf(b,253),op_leeyKC4ZFN(a,b)),op_oxSU0Fg4Pf(op_cHh1gJQ2o6(a,b),op_imqY0THBaP(b,b)))
    return count


a⪫≈≓b = { (((a⨩⊗178)⪋↯(b⪨≂a))⩍↢((b⨸⨅b)↱b)) }

def op_XFzi6qi8zt(a, b):
    return op_aqU8F3SgaS(op_zDWB6XqCFD(op_Bw0fzZ75Yl(a,178),op_sdazOOVcIp(b,a)),op_SR5kFfdi6N(op_H0z4LH9MP9(b,b),b))

def op_count_XFzi6qi8zt(a, b):
    count = op_count_Bw0fzZ75Yl(a,178)+op_count_sdazOOVcIp(b,a)+op_count_zDWB6XqCFD(op_Bw0fzZ75Yl(a,178),op_sdazOOVcIp(b,a))+op_count_H0z4LH9MP9(b,b)+op_count_SR5kFfdi6N(op_H0z4LH9MP9(b,b),b)+op_count_aqU8F3SgaS(op_zDWB6XqCFD(op_Bw0fzZ75Yl(a,178),op_sdazOOVcIp(b,a)),op_SR5kFfdi6N(op_H0z4LH9MP9(b,b),b))
    return count


a⊒⪙⋠b = { ((↱⇻↑a)⨱∭⋿(a⇱⨹⊀225)) , if (b∳⩯509)<=47 ; ((⊰⫽b)≵⫁⨩(⋏b)) , else }

def op_sSN6hMPJni(a, b):
    if op_9HGD9fv1Jr(b,509) <= 47:
        return op_5evuKV93zN(op_2FialGP0jN(a),op_DEAy1fljX8(a,225))
    else:
        return op_ygCb31sq1A(op_SvQeu911jP(b),op_AWSeafXRiV(b))

def op_count_sSN6hMPJni(a, b):
    if op_9HGD9fv1Jr(b,509) <= 47:
        count = op_count_2FialGP0jN(a)+op_count_DEAy1fljX8(a,225)+op_count_5evuKV93zN(op_2FialGP0jN(a),op_DEAy1fljX8(a,225))+op_count_9HGD9fv1Jr(b,509)
    else:
        count = op_count_SvQeu911jP(b)+op_count_AWSeafXRiV(b)+op_count_ygCb31sq1A(op_SvQeu911jP(b),op_AWSeafXRiV(b))
    return count


def op_ZSUUsgWsFn(a, b):
    if op_NS9BolIB1B(b) == 840:
        return op_GihdubVxvG(543)
    else:
        return op_AVIuaxj4s4(a)

def op_count_ZSUUsgWsFn(a, b):
    if op_NS9BolIB1B(b) == 840:
        count = op_count_GihdubVxvG(543)+op_count_NS9BolIB1B(b)
    else:
        count = op_count_AVIuaxj4s4(a)
    return count


a⋐⩡∂b = { (≑⋘a) , if (b⩴∈552)<=176 ; (a≅⋲a) , else }

def op_1Pm2PC0Op1(a, b):
    if op_QTz8BWsUwX(b,552) <= 176:
        return op_ancsfN6GXi(a)
    else:
        return op_A0R0hrgyGo(a,a)

def op_count_1Pm2PC0Op1(a, b):
    if op_QTz8BWsUwX(b,552) <= 176:
        count = op_count_ancsfN6GXi(a)+op_count_QTz8BWsUwX(b,552)
    else:
        count = op_count_A0R0hrgyGo(a,a)
    return count


a⋟⫉ = { (((a⩜↹⪂170)⪶⊲⪺a)↴⨎⊥(⨺⫸≝(a⋼a))) }

def op_9EArjulrZE(a):
    return op_50uIHTrNdO(op_RCyfEiCqYx(op_7Ck9TqTIl2(a,170),a),op_NnTbxo2Idi(op_pvbE2flhr7(a,a)))

def op_count_9EArjulrZE(a):
    count = op_count_7Ck9TqTIl2(a,170)+op_count_RCyfEiCqYx(op_7Ck9TqTIl2(a,170),a)+op_count_pvbE2flhr7(a,a)+op_count_NnTbxo2Idi(op_pvbE2flhr7(a,a))+op_count_50uIHTrNdO(op_RCyfEiCqYx(op_7Ck9TqTIl2(a,170),a),op_NnTbxo2Idi(op_pvbE2flhr7(a,a)))
    return count


↞⋪a = { ((⇮∭a)⇝⋩⪿(⫝⫍⪕a)) , if (a↙820)==5 ; ((⨂⫷a)↾a) , else }

def op_6uWwpD6wOQ(a):
    if op_yyfyN0ffXY(a,820) == 5:
        return op_5tUnBSHxYC(op_d2ZuDAaqmA(a),op_zyyyEbyS6z(a))
    else:
        return op_XmtODG4Sr9(op_xtPphx4CWz(a),a)

def op_count_6uWwpD6wOQ(a):
    if op_yyfyN0ffXY(a,820) == 5:
        count = op_count_d2ZuDAaqmA(a)+op_count_zyyyEbyS6z(a)+op_count_5tUnBSHxYC(op_d2ZuDAaqmA(a),op_zyyyEbyS6z(a))+op_count_yyfyN0ffXY(a,820)
    else:
        count = op_count_xtPphx4CWz(a)+op_count_XmtODG4Sr9(op_xtPphx4CWz(a),a)
    return count


a⫢⨧⊵ = { (a⇁((a⇆⩒a)≦⇟⩠(a↨⪍≴a))) , if (a⫉⪀)<=143 ; ((∑⋑⇺(⋦↙⩸a))⫎⊉⩷(∊≸∗a)) , else }

def op_DXxqry60sV(a):
    if op_5bSRvJAzwm(a) <= 143:
        return op_z4ujcxYYss(a,op_kWb6VvCuY5(op_jQIFa7kB8p(a,a),op_DX7B1fY6P6(a,a)))
    else:
        return op_BpMHJNSmWr(op_zDKppa3sDZ(op_P78JJ8jX64(a)),op_HxDSz5st7J(a))

def op_count_DXxqry60sV(a):
    if op_5bSRvJAzwm(a) <= 143:
        count = op_count_jQIFa7kB8p(a,a)+op_count_DX7B1fY6P6(a,a)+op_count_kWb6VvCuY5(op_jQIFa7kB8p(a,a),op_DX7B1fY6P6(a,a))+op_count_z4ujcxYYss(a,op_kWb6VvCuY5(op_jQIFa7kB8p(a,a),op_DX7B1fY6P6(a,a)))+op_count_5bSRvJAzwm(a)
    else:
        count = op_count_P78JJ8jX64(a)+op_count_zDKppa3sDZ(op_P78JJ8jX64(a))+op_count_HxDSz5st7J(a)+op_count_BpMHJNSmWr(op_zDKppa3sDZ(op_P78JJ8jX64(a)),op_HxDSz5st7J(a))
    return count


a⫠⪚b = { (((b%⫢∉a)∥⋽a)⪼⩢⋲((≨≸⪃a)⪹↠(≑⋘585))) , if (a⇤⫸815)<=35 ; (((b⨌⪒b)⇹⋂⨚(b⊛⨛↦b))∛⊫⩝((438↳∿⪆b)≻⊔⪋(b⋑⫡≨a))) , else }

def op_B58SoABzns(a, b):
    if op_XBHSxs2y4g(a,815) <= 35:
        return op_4VgzueLoPD(op_bHT9wUTdfV(op_Xn8gXqwJxF(b,a),a),op_Ts0S8GkAKQ(op_cTbZ3MnyPQ(a),op_ancsfN6GXi(585)))
    else:
        return op_rSsFt6Z740(op_wGJ01FE41T(op_IhSYcQUtqA(b,b),op_6RHt3CCRg6(b,b)),op_kwAJkQ91rG(op_Cw4SuJJGHO(438,b),op_B6NOxX3vVD(b,a)))

def op_count_B58SoABzns(a, b):
    if op_XBHSxs2y4g(a,815) <= 35:
        count = op_count_Xn8gXqwJxF(b,a)+op_count_bHT9wUTdfV(op_Xn8gXqwJxF(b,a),a)+op_count_cTbZ3MnyPQ(a)+op_count_ancsfN6GXi(585)+op_count_Ts0S8GkAKQ(op_cTbZ3MnyPQ(a),op_ancsfN6GXi(585))+op_count_4VgzueLoPD(op_bHT9wUTdfV(op_Xn8gXqwJxF(b,a),a),op_Ts0S8GkAKQ(op_cTbZ3MnyPQ(a),op_ancsfN6GXi(585)))+op_count_XBHSxs2y4g(a,815)
    else:
        count = op_count_IhSYcQUtqA(b,b)+op_count_6RHt3CCRg6(b,b)+op_count_wGJ01FE41T(op_IhSYcQUtqA(b,b),op_6RHt3CCRg6(b,b))+op_count_Cw4SuJJGHO(438,b)+op_count_B6NOxX3vVD(b,a)+op_count_kwAJkQ91rG(op_Cw4SuJJGHO(438,b),op_B6NOxX3vVD(b,a))+op_count_rSsFt6Z740(op_wGJ01FE41T(op_IhSYcQUtqA(b,b),op_6RHt3CCRg6(b,b)),op_kwAJkQ91rG(op_Cw4SuJJGHO(438,b),op_B6NOxX3vVD(b,a)))
    return count


def op_t4imdJjDX1(a):
    return op_ExhMl7tL3O(op_tHss8q0tGc(a))

def op_count_t4imdJjDX1(a):
    count = op_count_tHss8q0tGc(a)+op_count_ExhMl7tL3O(op_tHss8q0tGc(a))
    return count


def op_XaKiiywGcd(a):
    return op_o0ENHGX9XF(a,a)

def op_count_XaKiiywGcd(a):
    count = op_count_o0ENHGX9XF(a,a)
    return count


def op_9qpl1oH0LZ(a):
    return op_0KMCeP1Jsh(a,339)

def op_count_9qpl1oH0LZ(a):
    count = op_count_0KMCeP1Jsh(a,339)
    return count


def op_9y5jf4ro75(a, b):
    if a > 339:
        return op_48vC8HMD2b(567,95)
    else:
        return op_4KgMg3eWY3(b,a)

def op_count_9y5jf4ro75(a, b):
    if a > 339:
        count = op_count_48vC8HMD2b(567,95)
    else:
        count = op_count_4KgMg3eWY3(b,a)
    return count


a⩰≴⇟b = { (b⨳a) , if (a⩧⪯)==115 ; (a⇲b) , else }

def op_5SwpydjcNm(a, b):
    if op_RJY7ANLMmn(a) == 115:
        return op_YaB1w09lmH(b,a)
    else:
        return op_24nwyATvD7(a,b)

def op_count_5SwpydjcNm(a, b):
    if op_RJY7ANLMmn(a) == 115:
        count = op_count_YaB1w09lmH(b,a)+op_count_RJY7ANLMmn(a)
    else:
        count = op_count_24nwyATvD7(a,b)
    return count


def op_o3JgnVYy59(a):
    return op_GjBEYRfMaF(op_miu0bRYLYP(313,a),op_vY7SLnyZNm(a))

def op_count_o3JgnVYy59(a):
    count = op_count_miu0bRYLYP(313,a)+op_count_vY7SLnyZNm(a)+op_count_GjBEYRfMaF(op_miu0bRYLYP(313,a),op_vY7SLnyZNm(a))
    return count


def op_9eJc0N5aeo(a):
    return op_Mg8dStfdcH(op_5TUYCnJO6w(a),op_pWgqwKmGtT(a,a))

def op_count_9eJc0N5aeo(a):
    count = op_count_5TUYCnJO6w(a)+op_count_pWgqwKmGtT(a,a)+op_count_Mg8dStfdcH(op_5TUYCnJO6w(a),op_pWgqwKmGtT(a,a))
    return count


a⪿↓ = { (((a⨡a)⊛≝61)⪘*⋴((a∬⊓a)⩎⪣⊞)) , if a>=40 or a>=686 or (a⨤⩩↣)<438 ; (a⊻∕⩌((a⪆∨⊹a)⨣∐↬(a⊿⇌0))) , else }

def op_AQR3Y5beSM(a):
    if a >= 40 or a >= 686 or op_sjDgUkA1xV(a) < 438:
        return op_WA4yiEtoyW(op_7Pxyvg894d(op_tJtBLRaXS9(a,a),61),op_waWucp1uQ4(op_y0qJaDkwff(a,a)))
    else:
        return op_Ex6nAywNVB(a,op_UpkSd4zESC(op_iQh8Bf344U(a,a),op_bzTfts3R6K(a,0)))

def op_count_AQR3Y5beSM(a):
    if a >= 40 or a >= 686 or op_sjDgUkA1xV(a) < 438:
        count = op_count_tJtBLRaXS9(a,a)+op_count_7Pxyvg894d(op_tJtBLRaXS9(a,a),61)+op_count_y0qJaDkwff(a,a)+op_count_waWucp1uQ4(op_y0qJaDkwff(a,a))+op_count_WA4yiEtoyW(op_7Pxyvg894d(op_tJtBLRaXS9(a,a),61),op_waWucp1uQ4(op_y0qJaDkwff(a,a)))+op_count_sjDgUkA1xV(a)
    else:
        count = op_count_iQh8Bf344U(a,a)+op_count_bzTfts3R6K(a,0)+op_count_UpkSd4zESC(op_iQh8Bf344U(a,a),op_bzTfts3R6K(a,0))+op_count_Ex6nAywNVB(a,op_UpkSd4zESC(op_iQh8Bf344U(a,a),op_bzTfts3R6K(a,0)))
    return count


⪺⫲⫖a = { (((110⩅⨗a)↝⊖⫹(⋗⩴⪓a))∿⊵⋹((a⋡∥a)⋐≟⩺(a⪏a))) }

def op_gifMuXWJIP(a):
    return op_k8X3umw52W(op_BdR7xPHmXT(op_NwTClTmkMo(110,a),op_nOKPl9n5zu(a)),op_PjbVkMzmXE(op_zNFFvkV5QZ(a,a),op_ReAzrgtvfu(a,a)))

def op_count_gifMuXWJIP(a):
    count = op_count_NwTClTmkMo(110,a)+op_count_nOKPl9n5zu(a)+op_count_BdR7xPHmXT(op_NwTClTmkMo(110,a),op_nOKPl9n5zu(a))+op_count_zNFFvkV5QZ(a,a)+op_count_ReAzrgtvfu(a,a)+op_count_PjbVkMzmXE(op_zNFFvkV5QZ(a,a),op_ReAzrgtvfu(a,a))+op_count_k8X3umw52W(op_BdR7xPHmXT(op_NwTClTmkMo(110,a),op_nOKPl9n5zu(a)),op_PjbVkMzmXE(op_zNFFvkV5QZ(a,a),op_ReAzrgtvfu(a,a)))
    return count


⋂⪍⩆a = { (⩼↹241) , if (≛⫬∙a)<=178 ; (a⩾⨝a) , else }

def op_KCcU5IC0Jf(a):
    if op_Ux7iK00Jvb(a) <= 178:
        return op_D12pVJZ2CB(241)
    else:
        return op_o0ENHGX9XF(a,a)

def op_count_KCcU5IC0Jf(a):
    if op_Ux7iK00Jvb(a) <= 178:
        count = op_count_D12pVJZ2CB(241)+op_count_Ux7iK00Jvb(a)
    else:
        count = op_count_o0ENHGX9XF(a,a)
    return count


a⨃⫕ = { ((a⫼⨠0)⋸) , if a<=338 ; ((a⋷⨍a)⨎∢↬(a⪶⊲⪺a)) , else }

def op_dOVTFQqEbe(a):
    if a <= 338:
        return op_QILz4EHje6(op_KYL1uVeVpb(a,0))
    else:
        return op_0xcFJGVSG8(op_43pnEt37KX(a,a),op_RCyfEiCqYx(a,a))

def op_count_dOVTFQqEbe(a):
    if a <= 338:
        count = op_count_KYL1uVeVpb(a,0)+op_count_QILz4EHje6(op_KYL1uVeVpb(a,0))
    else:
        count = op_count_43pnEt37KX(a,a)+op_count_RCyfEiCqYx(a,a)+op_count_0xcFJGVSG8(op_43pnEt37KX(a,a),op_RCyfEiCqYx(a,a))
    return count


def op_yLUgxHAXp2(a):
    return op_RUvFhAOGfE(op_5VcLSDSepo(op_zPWNPtZ3KV(a,a),a))

def op_count_yLUgxHAXp2(a):
    count = op_count_zPWNPtZ3KV(a,a)+op_count_5VcLSDSepo(op_zPWNPtZ3KV(a,a),a)+op_count_RUvFhAOGfE(op_5VcLSDSepo(op_zPWNPtZ3KV(a,a),a))
    return count


a⪴⇌b = { (b∀⨘) , if (b↝⩬⪆)<=44 ; (b⩚⫳((a↦⩻⊓b)⊄∠≜(b≀⋧a))) , else }

def op_KBN83Ybefc(a, b):
    if op_mQgKmFa3kQ(b) <= 44:
        return op_uqwT4DZAyA(b)
    else:
        return op_meOipXXSDp(b,op_z1V7RAAwQB(op_kf2MGdd7i0(a,b),op_RLgQDWzcJN(b,a)))

def op_count_KBN83Ybefc(a, b):
    if op_mQgKmFa3kQ(b) <= 44:
        count = op_count_uqwT4DZAyA(b)+op_count_mQgKmFa3kQ(b)
    else:
        count = op_count_kf2MGdd7i0(a,b)+op_count_RLgQDWzcJN(b,a)+op_count_z1V7RAAwQB(op_kf2MGdd7i0(a,b),op_RLgQDWzcJN(b,a))+op_count_meOipXXSDp(b,op_z1V7RAAwQB(op_kf2MGdd7i0(a,b),op_RLgQDWzcJN(b,a)))
    return count


def op_zkQy2Yb3g1(a):
    if (op_nFAOW8KTqp(a) <= 231 and op_WJfMzpVMJg(a) == 13 and op_vaPs0NDhgo(a,206) == 54):
        return op_N2dd4xFYSL(a,82)
    else:
        return op_tQq6REDPEr(a)

def op_count_zkQy2Yb3g1(a):
    if (op_nFAOW8KTqp(a) <= 231 and op_WJfMzpVMJg(a) == 13 and op_vaPs0NDhgo(a,206) == 54):
        count = op_count_N2dd4xFYSL(a,82)+op_count_nFAOW8KTqp(a)+op_count_WJfMzpVMJg(a)+op_count_vaPs0NDhgo(a,206)
    else:
        count = op_count_tQq6REDPEr(a)
    return count


a⪭≟⇬b = { (((121⫶⫾⊪b)⩁⩘(b∀⩍⫪b))⋊≶((↰⨔a)∅(a∌⋯b))) , if a<=666 and (⪅⇄b)>702 and b<=538 ; (⋵⩲⊾((⋄⫺a)≚⋢)) , else }

def op_vDmHfozufA(a, b):
    if a <= 666 and op_xMR2S8fb9y(b) > 702 and b <= 538:
        return op_9Ttzl7CrDT(op_gub5Cegaqo(op_h5KbohBAOz(121,b),op_cL3AwAelTI(b,b)),op_giaUb8UVhq(op_vrtL6VfB4X(a),op_8lBC7wqBde(a,b)))
    else:
        return op_wfLX6JC9Km(op_MahUMFw56D(op_gUNJiNsEkK(a)))

def op_count_vDmHfozufA(a, b):
    if a <= 666 and op_xMR2S8fb9y(b) > 702 and b <= 538:
        count = op_count_h5KbohBAOz(121,b)+op_count_cL3AwAelTI(b,b)+op_count_gub5Cegaqo(op_h5KbohBAOz(121,b),op_cL3AwAelTI(b,b))+op_count_vrtL6VfB4X(a)+op_count_8lBC7wqBde(a,b)+op_count_giaUb8UVhq(op_vrtL6VfB4X(a),op_8lBC7wqBde(a,b))+op_count_9Ttzl7CrDT(op_gub5Cegaqo(op_h5KbohBAOz(121,b),op_cL3AwAelTI(b,b)),op_giaUb8UVhq(op_vrtL6VfB4X(a),op_8lBC7wqBde(a,b)))+op_count_xMR2S8fb9y(b)
    else:
        count = op_count_gUNJiNsEkK(a)+op_count_MahUMFw56D(op_gUNJiNsEkK(a))+op_count_wfLX6JC9Km(op_MahUMFw56D(op_gUNJiNsEkK(a)))
    return count


def op_AatkkNwD35(a, b):
    if (op_GpLJ0gTWjy(a) < 329 or op_QrPBJNmqe2(b) != 490 or op_84TDxkSNK1(b) < 7):
        return op_2c2Kvs5UmY(op_ZudQkqJPAX(op_GjBEYRfMaF(b,159),op_kFrcMyQrlQ(a)),op_jGcHlHjguj(op_IxJHfR5psi(b,a)))
    else:
        return op_FaF1PUcip1(op_h1GNKBeiQI(op_LEAxZ6hxWI(a,b)),op_JXJd912KIl(289,op_LBdsKIvxzf(149)))

def op_count_AatkkNwD35(a, b):
    if (op_GpLJ0gTWjy(a) < 329 or op_QrPBJNmqe2(b) != 490 or op_84TDxkSNK1(b) < 7):
        count = op_count_GjBEYRfMaF(b,159)+op_count_kFrcMyQrlQ(a)+op_count_ZudQkqJPAX(op_GjBEYRfMaF(b,159),op_kFrcMyQrlQ(a))+op_count_IxJHfR5psi(b,a)+op_count_jGcHlHjguj(op_IxJHfR5psi(b,a))+op_count_2c2Kvs5UmY(op_ZudQkqJPAX(op_GjBEYRfMaF(b,159),op_kFrcMyQrlQ(a)),op_jGcHlHjguj(op_IxJHfR5psi(b,a)))+op_count_GpLJ0gTWjy(a)+op_count_QrPBJNmqe2(b)+op_count_84TDxkSNK1(b)
    else:
        count = op_count_LEAxZ6hxWI(a,b)+op_count_h1GNKBeiQI(op_LEAxZ6hxWI(a,b))+op_count_LBdsKIvxzf(149)+op_count_JXJd912KIl(289,op_LBdsKIvxzf(149))+op_count_FaF1PUcip1(op_h1GNKBeiQI(op_LEAxZ6hxWI(a,b)),op_JXJd912KIl(289,op_LBdsKIvxzf(149)))
    return count


def op_f8ycTmjU7x(a):
    if op_ar1w6gUwHX(a,420) < 199:
        return op_JFuJqCunNX(op_oZj3VtZNQx(124,744))
    else:
        return op_fOqZxGbLQX(op_gilLJ3AUiP(249,a),op_ncHwPWmt3u(10))

def op_count_f8ycTmjU7x(a):
    if op_ar1w6gUwHX(a,420) < 199:
        count = op_count_oZj3VtZNQx(124,744)+op_count_JFuJqCunNX(op_oZj3VtZNQx(124,744))+op_count_ar1w6gUwHX(a,420)
    else:
        count = op_count_gilLJ3AUiP(249,a)+op_count_ncHwPWmt3u(10)+op_count_fOqZxGbLQX(op_gilLJ3AUiP(249,a),op_ncHwPWmt3u(10))
    return count


a⇹⪴ = { ((⋗⩴⪓a)⊉⇆(65⩿⫩a)) , if (a⊀⪪⫸)>52 ; ((a⨢a)⨍⪒↱) , else }

def op_RHGiVmL4an(a):
    if op_UIU2Eox550(a) > 52:
        return op_oigdvY1BuH(op_nOKPl9n5zu(a),op_kAHiOR3JUJ(65,a))
    else:
        return op_pI9YMM1ZOi(op_wvOhsjS2Oe(a,a))

def op_count_RHGiVmL4an(a):
    if op_UIU2Eox550(a) > 52:
        count = op_count_nOKPl9n5zu(a)+op_count_kAHiOR3JUJ(65,a)+op_count_oigdvY1BuH(op_nOKPl9n5zu(a),op_kAHiOR3JUJ(65,a))+op_count_UIU2Eox550(a)
    else:
        count = op_count_wvOhsjS2Oe(a,a)+op_count_pI9YMM1ZOi(op_wvOhsjS2Oe(a,a))
    return count


def op_hdXpP9LZ0C(a, b):
    return op_1Scw8a5e7g(op_kf2MGdd7i0(a,b),op_X6BafHHPZ5(b))

def op_count_hdXpP9LZ0C(a, b):
    count = op_count_kf2MGdd7i0(a,b)+op_count_X6BafHHPZ5(b)+op_count_1Scw8a5e7g(op_kf2MGdd7i0(a,b),op_X6BafHHPZ5(b))
    return count


a⇊⫸⨵b = { a , if (⪦⪙b)>6 ; (12⊳b) , else }

def op_knpXFKLFA1(a, b):
    if op_UFw0YZ7pIz(b) > 6:
        return a
    else:
        return op_hmRjlYdCYn(12,b)

def op_count_knpXFKLFA1(a, b):
    if op_UFw0YZ7pIz(b) > 6:
        count = 1
    else:
        count = op_count_hmRjlYdCYn(12,b)
    return count


def op_vmRWfRk8Qn(a):
    return op_VCtxkLNOzz(a,a)

def op_count_vmRWfRk8Qn(a):
    count = op_count_VCtxkLNOzz(a,a)
    return count


a⋌∯⨭b = { ((⨞⨐≇50)⫸⇍(a⪑⫞↭b)) , if a!=273 ; ((b↟a)⫻⫣(b⇫⨙a)) , else }

def op_fOKpyHLGkA(a, b):
    if a != 273:
        return op_RTaRm1inG1(op_7aWw7RtOlB(50),op_VsxaxIN4o0(a,b))
    else:
        return op_Mqg6Kpcx5i(op_PwiXWqpBTd(b,a),op_5hfPSBHW5r(b,a))

def op_count_fOKpyHLGkA(a, b):
    if a != 273:
        count = op_count_7aWw7RtOlB(50)+op_count_VsxaxIN4o0(a,b)+op_count_RTaRm1inG1(op_7aWw7RtOlB(50),op_VsxaxIN4o0(a,b))
    else:
        count = op_count_PwiXWqpBTd(b,a)+op_count_5hfPSBHW5r(b,a)+op_count_Mqg6Kpcx5i(op_PwiXWqpBTd(b,a),op_5hfPSBHW5r(b,a))
    return count


def op_CXX54gcsVm(a):
    return op_2zQcvMfPO1(op_uIQPaHHdVQ(op_AljMvE3RRm(a),op_Bi6gyirjvn(a,761)))

def op_count_CXX54gcsVm(a):
    count = op_count_AljMvE3RRm(a)+op_count_Bi6gyirjvn(a,761)+op_count_uIQPaHHdVQ(op_AljMvE3RRm(a),op_Bi6gyirjvn(a,761))+op_count_2zQcvMfPO1(op_uIQPaHHdVQ(op_AljMvE3RRm(a),op_Bi6gyirjvn(a,761)))
    return count


a≺∘b = { (((373⨷∌⇱b)∦↵⊵(339⫊⪾⫇b))⫿⨖⫓((a≅⩢↷a)∊∟⩊(/⩁⫠179))) }

def op_Xa5HQBL7Gp(a, b):
    return op_pwrY02nFTx(op_JybgvyMknk(op_4JknimHijl(373,b),op_svYG05ELwl(339,b)),op_ddLRYrp01A(op_VHKwoedolt(a,a),op_rlgYWsFeVn(179)))

def op_count_Xa5HQBL7Gp(a, b):
    count = op_count_4JknimHijl(373,b)+op_count_svYG05ELwl(339,b)+op_count_JybgvyMknk(op_4JknimHijl(373,b),op_svYG05ELwl(339,b))+op_count_VHKwoedolt(a,a)+op_count_rlgYWsFeVn(179)+op_count_ddLRYrp01A(op_VHKwoedolt(a,a),op_rlgYWsFeVn(179))+op_count_pwrY02nFTx(op_JybgvyMknk(op_4JknimHijl(373,b),op_svYG05ELwl(339,b)),op_ddLRYrp01A(op_VHKwoedolt(a,a),op_rlgYWsFeVn(179)))
    return count


def op_phFTzdxDV7(a, b):
    if (op_GsN1cH954R(a) < 64 or op_yOl4Zzdu5C(a) > 788):
        return op_zWEPWlwaj2(op_tIhPxZTbsh(b,op_nREPSIbpBE(a,b)),op_lDgtejlvTV(op_iEgYlOkcUc(a,a),op_oqoWAMqwIq(49,172)))
    else:
        return op_iVzLhW7Qip(op_Sg8ZVAXums(op_akoXB3dKtI(615),op_VsxaxIN4o0(a,361)),b)

def op_count_phFTzdxDV7(a, b):
    if (op_GsN1cH954R(a) < 64 or op_yOl4Zzdu5C(a) > 788):
        count = op_count_nREPSIbpBE(a,b)+op_count_tIhPxZTbsh(b,op_nREPSIbpBE(a,b))+op_count_iEgYlOkcUc(a,a)+op_count_oqoWAMqwIq(49,172)+op_count_lDgtejlvTV(op_iEgYlOkcUc(a,a),op_oqoWAMqwIq(49,172))+op_count_zWEPWlwaj2(op_tIhPxZTbsh(b,op_nREPSIbpBE(a,b)),op_lDgtejlvTV(op_iEgYlOkcUc(a,a),op_oqoWAMqwIq(49,172)))+op_count_GsN1cH954R(a)+op_count_yOl4Zzdu5C(a)
    else:
        count = op_count_akoXB3dKtI(615)+op_count_VsxaxIN4o0(a,361)+op_count_Sg8ZVAXums(op_akoXB3dKtI(615),op_VsxaxIN4o0(a,361))+op_count_iVzLhW7Qip(op_Sg8ZVAXums(op_akoXB3dKtI(615),op_VsxaxIN4o0(a,361)),b)
    return count


def op_PxRhXGhMrj(a):
    return op_CgIo77xlM2(op_fkZUW4eOKP(a))

def op_count_PxRhXGhMrj(a):
    count = op_count_fkZUW4eOKP(a)+op_count_CgIo77xlM2(op_fkZUW4eOKP(a))
    return count


def op_LrVXFTFmrn(a, b):
    return op_bars6Y1s1I(op_AljMvE3RRm(op_uoTFhueqY9(a,b)),b)

def op_count_LrVXFTFmrn(a, b):
    count = op_count_uoTFhueqY9(a,b)+op_count_AljMvE3RRm(op_uoTFhueqY9(a,b))+op_count_bars6Y1s1I(op_AljMvE3RRm(op_uoTFhueqY9(a,b)),b)
    return count


⩻↹⫚a = { (⋩⪰a) , if (a⩻⫧↛48)==703 and a<=3 ; (a⊆⇕a) , else }

def op_H3tyUZ4Sxf(a):
    if op_jFFapEqhGL(a,48) == 703 and a <= 3:
        return op_hJmLugFKQo(a)
    else:
        return op_LXu4eIoRGd(a,a)

def op_count_H3tyUZ4Sxf(a):
    if op_jFFapEqhGL(a,48) == 703 and a <= 3:
        count = op_count_hJmLugFKQo(a)+op_count_jFFapEqhGL(a,48)
    else:
        count = op_count_LXu4eIoRGd(a,a)
    return count


def op_q5hmDaWdah(a):
    return op_Oz9I6mbsCN(op_48vC8HMD2b(a,a))

def op_count_q5hmDaWdah(a):
    count = op_count_48vC8HMD2b(a,a)+op_count_Oz9I6mbsCN(op_48vC8HMD2b(a,a))
    return count


a⪶⊞b = { (610↲a) , if (b⇥↓)>147 ; (∡≣⨺b) , else }

def op_olhneCtwh3(a, b):
    if op_KvubFp3XhO(b) > 147:
        return op_zsIZezdOUu(610,a)
    else:
        return op_3Mo73BEME2(b)

def op_count_olhneCtwh3(a, b):
    if op_KvubFp3XhO(b) > 147:
        count = op_count_zsIZezdOUu(610,a)+op_count_KvubFp3XhO(b)
    else:
        count = op_count_3Mo73BEME2(b)
    return count


def op_40r7ZAeXPZ(a):
    return op_JwTKLfZU96(436,a)

def op_count_40r7ZAeXPZ(a):
    count = op_count_JwTKLfZU96(436,a)
    return count


a⋡⊩b = { (((a⫴⩥b)≅(34⩿≚a))⩡⇣⪫(/⩁⫠(b⊯↡b))) }

def op_fHC7P5UA1F(a, b):
    return op_F4hYhBNyxh(op_aFodGWjv1K(op_gilLJ3AUiP(a,b),op_1iZxVsDXN9(34,a)),op_rlgYWsFeVn(op_mghibfs8jB(b,b)))

def op_count_fHC7P5UA1F(a, b):
    count = op_count_gilLJ3AUiP(a,b)+op_count_1iZxVsDXN9(34,a)+op_count_aFodGWjv1K(op_gilLJ3AUiP(a,b),op_1iZxVsDXN9(34,a))+op_count_mghibfs8jB(b,b)+op_count_rlgYWsFeVn(op_mghibfs8jB(b,b))+op_count_F4hYhBNyxh(op_aFodGWjv1K(op_gilLJ3AUiP(a,b),op_1iZxVsDXN9(34,a)),op_rlgYWsFeVn(op_mghibfs8jB(b,b)))
    return count


a⩆⋼⫶b = { (((⩎∎⩢a)⩹≮(b⩅b))∅⨓⊺((a≥⨤⩑b)⊡⊼(283≫⩋⊩))) , if (≆⊠⇮b)>266 ; ((⋕≑(48⊭⪸a))⩨⇖((a⇑∁⪛)⪸⪲⊧(254⋨⪫⨘))) , else }

def op_3teYALjtln(a, b):
    if op_3RibMIlgaV(b) > 266:
        return op_Y6eJsjawIR(op_xeKVJklxVA(op_qAij2BThqh(a),op_WHvsDZpt7Z(b,b)),op_0Si2hqrjlk(op_gJLn6v0xnP(a,b),op_RUiJZCGom6(283)))
    else:
        return op_AU0rGnNQho(op_IzOKbZyrV5(op_du21YARcKU(48,a)),op_zUUN1G0anQ(op_P75hhshrwX(a),op_jeYH4Q5Sae(254)))

def op_count_3teYALjtln(a, b):
    if op_3RibMIlgaV(b) > 266:
        count = op_count_qAij2BThqh(a)+op_count_WHvsDZpt7Z(b,b)+op_count_xeKVJklxVA(op_qAij2BThqh(a),op_WHvsDZpt7Z(b,b))+op_count_gJLn6v0xnP(a,b)+op_count_RUiJZCGom6(283)+op_count_0Si2hqrjlk(op_gJLn6v0xnP(a,b),op_RUiJZCGom6(283))+op_count_Y6eJsjawIR(op_xeKVJklxVA(op_qAij2BThqh(a),op_WHvsDZpt7Z(b,b)),op_0Si2hqrjlk(op_gJLn6v0xnP(a,b),op_RUiJZCGom6(283)))+op_count_3RibMIlgaV(b)
    else:
        count = op_count_du21YARcKU(48,a)+op_count_IzOKbZyrV5(op_du21YARcKU(48,a))+op_count_P75hhshrwX(a)+op_count_jeYH4Q5Sae(254)+op_count_zUUN1G0anQ(op_P75hhshrwX(a),op_jeYH4Q5Sae(254))+op_count_AU0rGnNQho(op_IzOKbZyrV5(op_du21YARcKU(48,a)),op_zUUN1G0anQ(op_P75hhshrwX(a),op_jeYH4Q5Sae(254)))
    return count


a⇘⨏ = { (((a⊝⪶a)⨌⫂(∇∱a))≮⋹⨆((a∎)⊻⨌⫵(a⇿a))) }

def op_q2GkfVh6x9(a):
    return op_2l1b9il9K5(op_WvhSX4Tttm(op_Xbtyq2jN9O(a,a),op_1uXJEiKrFq(a)),op_NOyIGfOOXL(op_OVg4Y5bM5J(a),op_YBjRNIjNLy(a,a)))

def op_count_q2GkfVh6x9(a):
    count = op_count_Xbtyq2jN9O(a,a)+op_count_1uXJEiKrFq(a)+op_count_WvhSX4Tttm(op_Xbtyq2jN9O(a,a),op_1uXJEiKrFq(a))+op_count_OVg4Y5bM5J(a)+op_count_YBjRNIjNLy(a,a)+op_count_NOyIGfOOXL(op_OVg4Y5bM5J(a),op_YBjRNIjNLy(a,a))+op_count_2l1b9il9K5(op_WvhSX4Tttm(op_Xbtyq2jN9O(a,a),op_1uXJEiKrFq(a)),op_NOyIGfOOXL(op_OVg4Y5bM5J(a),op_YBjRNIjNLy(a,a)))
    return count


def op_tEbupO1VcI(a, b):
    return op_9uqIsVI5ug(op_NrrDGmnwKr(b,a),op_iA2gmKZ3Wj(a))

def op_count_tEbupO1VcI(a, b):
    count = op_count_NrrDGmnwKr(b,a)+op_count_iA2gmKZ3Wj(a)+op_count_9uqIsVI5ug(op_NrrDGmnwKr(b,a),op_iA2gmKZ3Wj(a))
    return count


def op_q6tbr0dJtr(a):
    return op_OLuofHlRCj(op_j3nQN5fFUl(a))

def op_count_q6tbr0dJtr(a):
    count = op_count_j3nQN5fFUl(a)+op_count_OLuofHlRCj(op_j3nQN5fFUl(a))
    return count


def op_3mjHI1gjXu(a):
    return op_5TG5Qc2aJX(op_9cloC0Ngie(op_eOf03JbCpp(a),a))

def op_count_3mjHI1gjXu(a):
    count = op_count_eOf03JbCpp(a)+op_count_9cloC0Ngie(op_eOf03JbCpp(a),a)+op_count_5TG5Qc2aJX(op_9cloC0Ngie(op_eOf03JbCpp(a),a))
    return count


a∃∴ = { (a⋱≯((a⪖⩯a)≄(63⊴a))) , if (a↮⋫⪪814)<168 ; (((164≟∷a)⪋)⋇⋤⩬(⩕⩸⋑(a≏⨯⊱a))) , else }

def op_ZMTOwqesnZ(a):
    if op_xSE4zQdLy1(a,814) < 168:
        return op_dbdAhqSh71(a,op_fLJG5zVr1z(op_ruocl2TjRv(a,a),op_Nsiff2A1zJ(63,a)))
    else:
        return op_XRKDgMSJta(op_F0bFH7iBkH(op_W0tbZCD3my(164,a)),op_tTOv6jcZDA(op_UqUOXUQnbU(a,a)))

def op_count_ZMTOwqesnZ(a):
    if op_xSE4zQdLy1(a,814) < 168:
        count = op_count_ruocl2TjRv(a,a)+op_count_Nsiff2A1zJ(63,a)+op_count_fLJG5zVr1z(op_ruocl2TjRv(a,a),op_Nsiff2A1zJ(63,a))+op_count_dbdAhqSh71(a,op_fLJG5zVr1z(op_ruocl2TjRv(a,a),op_Nsiff2A1zJ(63,a)))+op_count_xSE4zQdLy1(a,814)
    else:
        count = op_count_W0tbZCD3my(164,a)+op_count_F0bFH7iBkH(op_W0tbZCD3my(164,a))+op_count_UqUOXUQnbU(a,a)+op_count_tTOv6jcZDA(op_UqUOXUQnbU(a,a))+op_count_XRKDgMSJta(op_F0bFH7iBkH(op_W0tbZCD3my(164,a)),op_tTOv6jcZDA(op_UqUOXUQnbU(a,a)))
    return count


def op_117Xjgbtch(a):
    return op_TqTf0WBeGT(op_NYIHRc2x51(a,a))

def op_count_117Xjgbtch(a):
    count = op_count_NYIHRc2x51(a,a)+op_count_TqTf0WBeGT(op_NYIHRc2x51(a,a))
    return count


def op_n9JeSdl2wB(a):
    if op_z7gOP67ziU(a) > 139:
        return op_vjoXiXDdkX(op_qy3n0tapmE(op_WObL9SsYVE(369,a),op_W9l7OelwO5(a,521)))
    else:
        return op_QILz4EHje6(op_k7HXdKtiEU(11))

def op_count_n9JeSdl2wB(a):
    if op_z7gOP67ziU(a) > 139:
        count = op_count_WObL9SsYVE(369,a)+op_count_W9l7OelwO5(a,521)+op_count_qy3n0tapmE(op_WObL9SsYVE(369,a),op_W9l7OelwO5(a,521))+op_count_vjoXiXDdkX(op_qy3n0tapmE(op_WObL9SsYVE(369,a),op_W9l7OelwO5(a,521)))+op_count_z7gOP67ziU(a)
    else:
        count = op_count_k7HXdKtiEU(11)+op_count_QILz4EHje6(op_k7HXdKtiEU(11))
    return count


⪗⇀a = { (((a⩂⇪⋣505)⊽⊴(⪺⊴⫡a))⨥⩑⨢((a⩀⩸⨦)⨨(a≨⋝a))) }

def op_705C7djen7(a):
    return op_FSSPwwucrF(op_qvKIMln9sx(op_05BAUYx2wZ(a,505),op_UBVjgJrFBH(a)),op_vhtqQa4va1(op_fvqsyRpAQk(a),op_aUmFd7VRsS(a,a)))

def op_count_705C7djen7(a):
    count = op_count_05BAUYx2wZ(a,505)+op_count_UBVjgJrFBH(a)+op_count_qvKIMln9sx(op_05BAUYx2wZ(a,505),op_UBVjgJrFBH(a))+op_count_fvqsyRpAQk(a)+op_count_aUmFd7VRsS(a,a)+op_count_vhtqQa4va1(op_fvqsyRpAQk(a),op_aUmFd7VRsS(a,a))+op_count_FSSPwwucrF(op_qvKIMln9sx(op_05BAUYx2wZ(a,505),op_UBVjgJrFBH(a)),op_vhtqQa4va1(op_fvqsyRpAQk(a),op_aUmFd7VRsS(a,a)))
    return count


def op_GNrBevqJ2K(a):
    return op_zPaW4OAyCC(56,a)

def op_count_GNrBevqJ2K(a):
    count = op_count_zPaW4OAyCC(56,a)
    return count


def op_tXslIOlIqs(a):
    return op_KsnKn8I4DZ(op_ivGwdmUAux(a),op_Cip0snuw7U(a,a))

def op_count_tXslIOlIqs(a):
    count = op_count_ivGwdmUAux(a)+op_count_Cip0snuw7U(a,a)+op_count_KsnKn8I4DZ(op_ivGwdmUAux(a),op_Cip0snuw7U(a,a))
    return count


def op_u4b2dqGghu(a):
    return op_tmPS8pqC7x(142,a)

def op_count_u4b2dqGghu(a):
    count = op_count_tmPS8pqC7x(142,a)
    return count


def op_5c80zOIsL2(a, b):
    return op_G4EbQfwSm2(op_VGTZPjlT06(op_o20kRiQErp(b),b),op_ZwyS8wrxVQ(op_MKCxaPE9tg(b,a),op_csP1NBikjX(a,b)))

def op_count_5c80zOIsL2(a, b):
    count = op_count_o20kRiQErp(b)+op_count_VGTZPjlT06(op_o20kRiQErp(b),b)+op_count_MKCxaPE9tg(b,a)+op_count_csP1NBikjX(a,b)+op_count_ZwyS8wrxVQ(op_MKCxaPE9tg(b,a),op_csP1NBikjX(a,b))+op_count_G4EbQfwSm2(op_VGTZPjlT06(op_o20kRiQErp(b),b),op_ZwyS8wrxVQ(op_MKCxaPE9tg(b,a),op_csP1NBikjX(a,b)))
    return count


a⋃⇟⪝ = { (a∳⫺a) , if (a⪑937)>=639 ; (a⪔⊥a) , else }

def op_bsf8H5812c(a):
    if op_8CI59HBmeC(a,937) >= 639:
        return op_AzXXKTstlj(a,a)
    else:
        return op_HJ9erzHUuu(a,a)

def op_count_bsf8H5812c(a):
    if op_8CI59HBmeC(a,937) >= 639:
        count = op_count_AzXXKTstlj(a,a)+op_count_8CI59HBmeC(a,937)
    else:
        count = op_count_HJ9erzHUuu(a,a)
    return count


def op_tZxsbmXDgM(a, b):
    return op_4fBBH5YYk9(op_9m2uP4QEko(b,a),op_ozBFlv7jAp(a))

def op_count_tZxsbmXDgM(a, b):
    count = op_count_9m2uP4QEko(b,a)+op_count_ozBFlv7jAp(a)+op_count_4fBBH5YYk9(op_9m2uP4QEko(b,a),op_ozBFlv7jAp(a))
    return count


def op_SN2kSro682(a, b):
    return op_7cJkM7yzIb(op_Af076pWI7l(op_ehkay1nXe1(a),b))

def op_count_SN2kSro682(a, b):
    count = op_count_ehkay1nXe1(a)+op_count_Af076pWI7l(op_ehkay1nXe1(a),b)+op_count_7cJkM7yzIb(op_Af076pWI7l(op_ehkay1nXe1(a),b))
    return count


def op_lSMDpxMVNJ(a):
    if a >= 167:
        return op_MeBATnnbQW(op_yWyjdngDvQ(op_1nNvNtr5EF(a,253),op_UUeJZOHX36(a)))
    else:
        return op_Qtd6bqUJcN(op_W80nNxIfVi(op_JwTKLfZU96(181,57)))

def op_count_lSMDpxMVNJ(a):
    if a >= 167:
        count = op_count_1nNvNtr5EF(a,253)+op_count_UUeJZOHX36(a)+op_count_yWyjdngDvQ(op_1nNvNtr5EF(a,253),op_UUeJZOHX36(a))+op_count_MeBATnnbQW(op_yWyjdngDvQ(op_1nNvNtr5EF(a,253),op_UUeJZOHX36(a)))
    else:
        count = op_count_JwTKLfZU96(181,57)+op_count_W80nNxIfVi(op_JwTKLfZU96(181,57))+op_count_Qtd6bqUJcN(op_W80nNxIfVi(op_JwTKLfZU96(181,57)))
    return count


a⇱⋜⨟b = { ((≵⪚⪋b)↯⊜(↔⊐⋟a)) , if (⪻≌⊬a)<603 and a!=433 ; ((24⨉⩜⊁a)↸⋽⊴(b↭⪗b)) , else }

def op_3u0bduSKBl(a, b):
    if op_ck8rYhF2fr(a) < 603 and a != 433:
        return op_54UxIFHdAV(op_5E98EovdLU(b),op_nuZMgjAhXC(a))
    else:
        return op_9zMjbAiDwo(op_F5AHWXXekn(24,a),op_aLNRF0Pt4F(b,b))

def op_count_3u0bduSKBl(a, b):
    if op_ck8rYhF2fr(a) < 603 and a != 433:
        count = op_count_5E98EovdLU(b)+op_count_nuZMgjAhXC(a)+op_count_54UxIFHdAV(op_5E98EovdLU(b),op_nuZMgjAhXC(a))+op_count_ck8rYhF2fr(a)
    else:
        count = op_count_F5AHWXXekn(24,a)+op_count_aLNRF0Pt4F(b,b)+op_count_9zMjbAiDwo(op_F5AHWXXekn(24,a),op_aLNRF0Pt4F(b,b))
    return count


def op_fdztH7J6Dc(a):
    return op_3ViojmjbAp(87,a)

def op_count_fdztH7J6Dc(a):
    count = op_count_3ViojmjbAp(87,a)
    return count


a⊢⨆b = { (((5⋩⪊⫪b)⋀∱⪠(a≍⇚273))∛((≃⋐⪬a)⫇⊯(b⋊≁a))) }

def op_YTIjKKrru1(a, b):
    return op_w2537kitQq(op_ZpvQY3KZmN(op_jgzsi2wuu5(5,b),op_22Ei3FpL2i(a,273)),op_pxtEXgrBIH(op_gae4JlXwSi(a),op_rQTtyvEHdZ(b,a)))

def op_count_YTIjKKrru1(a, b):
    count = op_count_jgzsi2wuu5(5,b)+op_count_22Ei3FpL2i(a,273)+op_count_ZpvQY3KZmN(op_jgzsi2wuu5(5,b),op_22Ei3FpL2i(a,273))+op_count_gae4JlXwSi(a)+op_count_rQTtyvEHdZ(b,a)+op_count_pxtEXgrBIH(op_gae4JlXwSi(a),op_rQTtyvEHdZ(b,a))+op_count_w2537kitQq(op_ZpvQY3KZmN(op_jgzsi2wuu5(5,b),op_22Ei3FpL2i(a,273)),op_pxtEXgrBIH(op_gae4JlXwSi(a),op_rQTtyvEHdZ(b,a)))
    return count


def op_HXRbnDG44u(a):
    return op_Mqg6Kpcx5i(491,a)

def op_count_HXRbnDG44u(a):
    count = op_count_Mqg6Kpcx5i(491,a)
    return count


a⨸⊙≨b = { ((a⫖⩥a)⊆⇕(b⋐⇩⊬)) , if (a⫿⨖⫓110)>114 ; ((b∷↰≆96)⇊⋎⊡(a≡b)) , else }

def op_yDe9NyEtp6(a, b):
    if op_pwrY02nFTx(a,110) > 114:
        return op_LXu4eIoRGd(op_ftvcUWxNvV(a,a),op_JuuLT1NoCs(b))
    else:
        return op_svRCeDQHR0(op_eFpA6433h8(b,96),op_oW1cUEY5Sq(a,b))

def op_count_yDe9NyEtp6(a, b):
    if op_pwrY02nFTx(a,110) > 114:
        count = op_count_ftvcUWxNvV(a,a)+op_count_JuuLT1NoCs(b)+op_count_LXu4eIoRGd(op_ftvcUWxNvV(a,a),op_JuuLT1NoCs(b))+op_count_pwrY02nFTx(a,110)
    else:
        count = op_count_eFpA6433h8(b,96)+op_count_oW1cUEY5Sq(a,b)+op_count_svRCeDQHR0(op_eFpA6433h8(b,96),op_oW1cUEY5Sq(a,b))
    return count


def op_76omu7AsKt(a, b):
    return op_yyfyN0ffXY(op_zma7vR3L5W(a,b),op_kuIXHzHcAH(b,b))

def op_count_76omu7AsKt(a, b):
    count = op_count_zma7vR3L5W(a,b)+op_count_kuIXHzHcAH(b,b)+op_count_yyfyN0ffXY(op_zma7vR3L5W(a,b),op_kuIXHzHcAH(b,b))
    return count


def op_47mykO3uEX(a):
    return op_qLiEs2rVxT(a,op_Ph6Bxs9HtG(a))

def op_count_47mykO3uEX(a):
    count = op_count_Ph6Bxs9HtG(a)+op_count_qLiEs2rVxT(a,op_Ph6Bxs9HtG(a))
    return count


def op_PrwtXVT1cF(a):
    return op_LlA1dz4vja(op_Ikma4L65yo(op_3Mo73BEME2(a)),op_exBNT1EbB9(a,op_GOBFNFxorc(410)))

def op_count_PrwtXVT1cF(a):
    count = op_count_3Mo73BEME2(a)+op_count_Ikma4L65yo(op_3Mo73BEME2(a))+op_count_GOBFNFxorc(410)+op_count_exBNT1EbB9(a,op_GOBFNFxorc(410))+op_count_LlA1dz4vja(op_Ikma4L65yo(op_3Mo73BEME2(a)),op_exBNT1EbB9(a,op_GOBFNFxorc(410)))
    return count


def op_NoQppzo5s6(a):
    return op_AdBh5SqlKB(op_VWdWub1Bzg(op_Jf2MRgTP95(a,407),op_9cloC0Ngie(a,a)))

def op_count_NoQppzo5s6(a):
    count = op_count_Jf2MRgTP95(a,407)+op_count_9cloC0Ngie(a,a)+op_count_VWdWub1Bzg(op_Jf2MRgTP95(a,407),op_9cloC0Ngie(a,a))+op_count_AdBh5SqlKB(op_VWdWub1Bzg(op_Jf2MRgTP95(a,407),op_9cloC0Ngie(a,a)))
    return count