def op_yuvXk3Mco8(a):
    return op_QMFrweE19q(op_ocnLzx9CaJ(op_umQnsF7QlU(a,a),op_zR4jO40bMj(a,87)),a)

def op_count_yuvXk3Mco8(a):
    count = op_count_umQnsF7QlU(a,a)+op_count_zR4jO40bMj(a,87)+op_count_ocnLzx9CaJ(op_umQnsF7QlU(a,a),op_zR4jO40bMj(a,87))+op_count_QMFrweE19q(op_ocnLzx9CaJ(op_umQnsF7QlU(a,a),op_zR4jO40bMj(a,87)),a)
    return count


def op_kweVJGAjhl(a):
    return op_9bazX3JMtO(a,a)

def op_count_kweVJGAjhl(a):
    count = op_count_9bazX3JMtO(a,a)
    return count


a⪚⨁⋖b = { (↽≂((81⩵∡b)⨳⩥⨓(a∝b))) , if (a⫍⨯↯)==435 ; (⊲⪭(⊢≑≆a)) , else }

def op_xSk1F0pZbF(a, b):
    if op_ZcwmYACASQ(a) == 435:
        return op_u6S6b8DprG(op_nCS4ZIUYfx(op_Y7wcNGrDQJ(81,b),op_cTDWOvIxvz(a,b)))
    else:
        return op_k7HXdKtiEU(op_27wFxooxGf(a))

def op_count_xSk1F0pZbF(a, b):
    if op_ZcwmYACASQ(a) == 435:
        count = op_count_Y7wcNGrDQJ(81,b)+op_count_cTDWOvIxvz(a,b)+op_count_nCS4ZIUYfx(op_Y7wcNGrDQJ(81,b),op_cTDWOvIxvz(a,b))+op_count_u6S6b8DprG(op_nCS4ZIUYfx(op_Y7wcNGrDQJ(81,b),op_cTDWOvIxvz(a,b)))+op_count_ZcwmYACASQ(a)
    else:
        count = op_count_27wFxooxGf(a)+op_count_k7HXdKtiEU(op_27wFxooxGf(a))
    return count


a≎⋽⪿ = { (98↼⊘⨖a) , if (a∀⋜↑)>=97 ; (⨡↴a) , else }

def op_Mp74FtG4yY(a):
    if op_KipPnG1M2J(a) >= 97:
        return op_bPywburJMS(98,a)
    else:
        return op_liw5iZPkLH(a)

def op_count_Mp74FtG4yY(a):
    if op_KipPnG1M2J(a) >= 97:
        count = op_count_bPywburJMS(98,a)+op_count_KipPnG1M2J(a)
    else:
        count = op_count_liw5iZPkLH(a)
    return count


def op_ObEyaaML9x(a, b):
    return op_4JB6nKBMSY(178,op_YSKBFp38Pu(op_k7HXdKtiEU(464),op_OKKcZfAt5B(b,a)))

def op_count_ObEyaaML9x(a, b):
    count = op_count_k7HXdKtiEU(464)+op_count_OKKcZfAt5B(b,a)+op_count_YSKBFp38Pu(op_k7HXdKtiEU(464),op_OKKcZfAt5B(b,a))+op_count_4JB6nKBMSY(178,op_YSKBFp38Pu(op_k7HXdKtiEU(464),op_OKKcZfAt5B(b,a)))
    return count


def op_MKpoIoBJCf(a):
    return op_SpZWOsLKZJ(op_HiPekx5b7W(a,op_8n5YIzOsVS(a)))

def op_count_MKpoIoBJCf(a):
    count = op_count_8n5YIzOsVS(a)+op_count_HiPekx5b7W(a,op_8n5YIzOsVS(a))+op_count_SpZWOsLKZJ(op_HiPekx5b7W(a,op_8n5YIzOsVS(a)))
    return count


⇍a = { ((a∺≝⩲a)⨚(a⫁⪎168)) , if a<2 ; ((a↼⊘⨖a)⨁⊸⫻) , else }

def op_H9jWZL1q0V(a):
    if a < 2:
        return op_nREPSIbpBE(op_KPf6cnQVty(a,a),op_xRrnTEsQ6j(a,168))
    else:
        return op_glklzrTFfD(op_bPywburJMS(a,a))

def op_count_H9jWZL1q0V(a):
    if a < 2:
        count = op_count_KPf6cnQVty(a,a)+op_count_xRrnTEsQ6j(a,168)+op_count_nREPSIbpBE(op_KPf6cnQVty(a,a),op_xRrnTEsQ6j(a,168))
    else:
        count = op_count_bPywburJMS(a,a)+op_count_glklzrTFfD(op_bPywburJMS(a,a))
    return count


a⫟≀⫫ = { ((397-(105⪶≀⋏a))⊋≦⊧((a⩧⪆a)⨸⪁(↽≂a))) , if (a⩦973)>=165 ; (((a⇌⫙⪟a)⪉⨛(a↹⊜a))≧⫂∧(a⩼⇪↪(a⊢a))) , else }

def op_KfMCrRzQhT(a):
    if op_0kmYd0q39Y(a,973) >= 165:
        return op_oRDoc9rAEX(op_rysDP5nf3Z(397,op_zR4jO40bMj(105,a)),op_g55IO6H4Gj(op_Ikt5ks8PT7(a,a),op_u6S6b8DprG(a)))
    else:
        return op_Ph9nP6C5qx(op_EWw2JM7wp4(op_AFVx7xoS7T(a,a),op_9bazX3JMtO(a,a)),op_ocnLzx9CaJ(a,op_5twsqlHp2o(a,a)))

def op_count_KfMCrRzQhT(a):
    if op_0kmYd0q39Y(a,973) >= 165:
        count = op_count_zR4jO40bMj(105,a)+op_count_rysDP5nf3Z(397,op_zR4jO40bMj(105,a))+op_count_Ikt5ks8PT7(a,a)+op_count_u6S6b8DprG(a)+op_count_g55IO6H4Gj(op_Ikt5ks8PT7(a,a),op_u6S6b8DprG(a))+op_count_oRDoc9rAEX(op_rysDP5nf3Z(397,op_zR4jO40bMj(105,a)),op_g55IO6H4Gj(op_Ikt5ks8PT7(a,a),op_u6S6b8DprG(a)))+op_count_0kmYd0q39Y(a,973)
    else:
        count = op_count_AFVx7xoS7T(a,a)+op_count_9bazX3JMtO(a,a)+op_count_EWw2JM7wp4(op_AFVx7xoS7T(a,a),op_9bazX3JMtO(a,a))+op_count_5twsqlHp2o(a,a)+op_count_ocnLzx9CaJ(a,op_5twsqlHp2o(a,a))+op_count_Ph9nP6C5qx(op_EWw2JM7wp4(op_AFVx7xoS7T(a,a),op_9bazX3JMtO(a,a)),op_ocnLzx9CaJ(a,op_5twsqlHp2o(a,a)))
    return count


a⋢b = { (((a↼⊘⨖a)⨵⪆(b⩉⊫⨁))↹⊜((b⨸⪁b)⋝⋈⪟(a⊵↤))) }

def op_NdELin8EPX(a, b):
    return op_9bazX3JMtO(op_2DQ55sFlQl(op_bPywburJMS(a,a),op_7qqUquhhSb(b)),op_2DDjHMKMc0(op_g55IO6H4Gj(b,b),op_7IPrd9c3lf(a)))

def op_count_NdELin8EPX(a, b):
    count = op_count_bPywburJMS(a,a)+op_count_7qqUquhhSb(b)+op_count_2DQ55sFlQl(op_bPywburJMS(a,a),op_7qqUquhhSb(b))+op_count_g55IO6H4Gj(b,b)+op_count_7IPrd9c3lf(a)+op_count_2DDjHMKMc0(op_g55IO6H4Gj(b,b),op_7IPrd9c3lf(a))+op_count_9bazX3JMtO(op_2DQ55sFlQl(op_bPywburJMS(a,a),op_7qqUquhhSb(b)),op_2DDjHMKMc0(op_g55IO6H4Gj(b,b),op_7IPrd9c3lf(a)))
    return count


a⫊⇚⊺b = { ((a⪶≀⋏a)≬⋮(a⫲)) , if (⇾⩊⇾b)<295 ; ((b⩍⋽⫝̸b)↼⊘⨖(⩦⩻⨪47)) , else }

def op_Y5cEcQhyKu(a, b):
    if op_bx9Z9DAK5y(b) < 295:
        return op_kbkesczE7y(op_zR4jO40bMj(a,a),op_9xnGDUPbC6(a))
    else:
        return op_bPywburJMS(op_BiWNJpBvwn(b,b),op_2td37pGCOC(47))

def op_count_Y5cEcQhyKu(a, b):
    if op_bx9Z9DAK5y(b) < 295:
        count = op_count_zR4jO40bMj(a,a)+op_count_9xnGDUPbC6(a)+op_count_kbkesczE7y(op_zR4jO40bMj(a,a),op_9xnGDUPbC6(a))+op_count_bx9Z9DAK5y(b)
    else:
        count = op_count_BiWNJpBvwn(b,b)+op_count_2td37pGCOC(47)+op_count_bPywburJMS(op_BiWNJpBvwn(b,b),op_2td37pGCOC(47))
    return count


a↾⩰ = { (((a∷a)⇴(a⩒⫫a))≬⋮(∷≠(a⪎↠a))) , if a>=103 ; ((⇾⩊⇾(↽≂a))⊲⩕⊾((⇖a)⪶≀⋏a)) , else }

def op_GNmBfxrna9(a):
    if a >= 103:
        return op_kbkesczE7y(op_4JB6nKBMSY(op_D3AQDKkPcf(a,a),op_KFSx94NKJn(a,a)),op_QiR2Oyf5Xj(op_3tVxb0NHM4(a,a)))
    else:
        return op_DmTXOeWf9t(op_bx9Z9DAK5y(op_u6S6b8DprG(a)),op_zR4jO40bMj(op_tfWHHpNKUN(a),a))

def op_count_GNmBfxrna9(a):
    if a >= 103:
        count = op_count_D3AQDKkPcf(a,a)+op_count_KFSx94NKJn(a,a)+op_count_4JB6nKBMSY(op_D3AQDKkPcf(a,a),op_KFSx94NKJn(a,a))+op_count_3tVxb0NHM4(a,a)+op_count_QiR2Oyf5Xj(op_3tVxb0NHM4(a,a))+op_count_kbkesczE7y(op_4JB6nKBMSY(op_D3AQDKkPcf(a,a),op_KFSx94NKJn(a,a)),op_QiR2Oyf5Xj(op_3tVxb0NHM4(a,a)))
    else:
        count = op_count_u6S6b8DprG(a)+op_count_bx9Z9DAK5y(op_u6S6b8DprG(a))+op_count_tfWHHpNKUN(a)+op_count_zR4jO40bMj(op_tfWHHpNKUN(a),a)+op_count_DmTXOeWf9t(op_bx9Z9DAK5y(op_u6S6b8DprG(a)),op_zR4jO40bMj(op_tfWHHpNKUN(a),a))
    return count


def op_Api82iH42a(a, b):
    if op_9xnGDUPbC6(a) > 518:
        return op_i8ToyICDmI(op_E4l6HwMY31(b,b),op_Z5m6OM72h2(475,a))
    else:
        return b

def op_count_Api82iH42a(a, b):
    if op_9xnGDUPbC6(a) > 518:
        count = op_count_E4l6HwMY31(b,b)+op_count_Z5m6OM72h2(475,a)+op_count_i8ToyICDmI(op_E4l6HwMY31(b,b),op_Z5m6OM72h2(475,a))+op_count_9xnGDUPbC6(a)
    else:
        count = 1
    return count


def op_wisItNeSwq(a):
    if op_nREPSIbpBE(a,796) >= 21:
        return op_ztP7wcbY7m(op_Ph9nP6C5qx(a,a))
    else:
        return op_2Wsdkap16l(op_BiWNJpBvwn(a,a),op_0kmYd0q39Y(192,a))

def op_count_wisItNeSwq(a):
    if op_nREPSIbpBE(a,796) >= 21:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_ztP7wcbY7m(op_Ph9nP6C5qx(a,a))+op_count_nREPSIbpBE(a,796)
    else:
        count = op_count_BiWNJpBvwn(a,a)+op_count_0kmYd0q39Y(192,a)+op_count_2Wsdkap16l(op_BiWNJpBvwn(a,a),op_0kmYd0q39Y(192,a))
    return count


⪁≄a = { ((a⩹0)⪭(a⪨≂a)) , if (a⨳⩥⨓122)!=433 ; ((a∌a)⋝⋈⪟(a∣a)) , else }

def op_2O29ZX4yK6(a):
    if op_nCS4ZIUYfx(a,122) != 433:
        return op_j9kHMeSvPp(op_2Wsdkap16l(a,0),op_sdazOOVcIp(a,a))
    else:
        return op_2DDjHMKMc0(op_8cLx32lpNA(a,a),op_PPChnnnBFF(a,a))

def op_count_2O29ZX4yK6(a):
    if op_nCS4ZIUYfx(a,122) != 433:
        count = op_count_2Wsdkap16l(a,0)+op_count_sdazOOVcIp(a,a)+op_count_j9kHMeSvPp(op_2Wsdkap16l(a,0),op_sdazOOVcIp(a,a))+op_count_nCS4ZIUYfx(a,122)
    else:
        count = op_count_8cLx32lpNA(a,a)+op_count_PPChnnnBFF(a,a)+op_count_2DDjHMKMc0(op_8cLx32lpNA(a,a),op_PPChnnnBFF(a,a))
    return count


⋸⪍a = { a , if a<501 ; (a⫡⨏((237⨸⪁a)⫻⋑⊟)) , else }

def op_PrwIXj9ZQe(a):
    if a < 501:
        return a
    else:
        return op_QMFrweE19q(a,op_o575Zjdmzy(op_g55IO6H4Gj(237,a)))

def op_count_PrwIXj9ZQe(a):
    if a < 501:
        count = 1
    else:
        count = op_count_g55IO6H4Gj(237,a)+op_count_o575Zjdmzy(op_g55IO6H4Gj(237,a))+op_count_QMFrweE19q(a,op_o575Zjdmzy(op_g55IO6H4Gj(237,a)))
    return count


def op_S3tN1ZzpSt(a, b):
    return op_liw5iZPkLH(op_d7ASUq0ydm(a,b))

def op_count_S3tN1ZzpSt(a, b):
    count = op_count_d7ASUq0ydm(a,b)+op_count_liw5iZPkLH(op_d7ASUq0ydm(a,b))
    return count


a⊛⫍⩜ = { (a⋘⨑⨽) , if (a⊠≄⫣)<22 and a!=43 ; (962⋥≓≎a) , else }

def op_KaSTSbOewx(a):
    if op_DIvbN7qnHd(a) < 22 and a != 43:
        return op_WmT3o8z6ya(a)
    else:
        return op_Qy55tPpLXF(962,a)

def op_count_KaSTSbOewx(a):
    if op_DIvbN7qnHd(a) < 22 and a != 43:
        count = op_count_WmT3o8z6ya(a)+op_count_DIvbN7qnHd(a)
    else:
        count = op_count_Qy55tPpLXF(962,a)
    return count


def op_fjqJgF5yyp(a):
    return op_eRqsBgTDFp(a,op_l1M9WJ3V7u(19))

def op_count_fjqJgF5yyp(a):
    count = op_count_l1M9WJ3V7u(19)+op_count_eRqsBgTDFp(a,op_l1M9WJ3V7u(19))
    return count


def op_Cr5xnr8B4B(a, b):
    return op_g7Hmc5v1ko(op_HJ9erzHUuu(a,b),op_IGFM8TAlm9(b))

def op_count_Cr5xnr8B4B(a, b):
    count = op_count_HJ9erzHUuu(a,b)+op_count_IGFM8TAlm9(b)+op_count_g7Hmc5v1ko(op_HJ9erzHUuu(a,b),op_IGFM8TAlm9(b))
    return count


a⋐≟⩺b = { (((244∌↝a)⋝⋈⪟(a⇄b))⇴(⩪∧⨌(b⪣⫩))) }

def op_PjbVkMzmXE(a, b):
    return op_4JB6nKBMSY(op_2DDjHMKMc0(op_9Isq31Ruls(244,a),op_3EYGwJThht(a,b)),op_6iOiAJX1F8(op_iuk5sVOGFA(b)))

def op_count_PjbVkMzmXE(a, b):
    count = op_count_9Isq31Ruls(244,a)+op_count_3EYGwJThht(a,b)+op_count_2DDjHMKMc0(op_9Isq31Ruls(244,a),op_3EYGwJThht(a,b))+op_count_iuk5sVOGFA(b)+op_count_6iOiAJX1F8(op_iuk5sVOGFA(b))+op_count_4JB6nKBMSY(op_2DDjHMKMc0(op_9Isq31Ruls(244,a),op_3EYGwJThht(a,b)),op_6iOiAJX1F8(op_iuk5sVOGFA(b)))
    return count


def op_jfYOP67v6Y(a):
    return op_QvoQhV0rrE(op_hrf7POJlIJ(op_cTDWOvIxvz(a,160),op_PxiHyQbrIp(a)),op_4CyGpkTkEk(a))

def op_count_jfYOP67v6Y(a):
    count = op_count_cTDWOvIxvz(a,160)+op_count_PxiHyQbrIp(a)+op_count_hrf7POJlIJ(op_cTDWOvIxvz(a,160),op_PxiHyQbrIp(a))+op_count_4CyGpkTkEk(a)+op_count_QvoQhV0rrE(op_hrf7POJlIJ(op_cTDWOvIxvz(a,160),op_PxiHyQbrIp(a)),op_4CyGpkTkEk(a))
    return count


def op_uTBsSls0VN(a, b):
    return op_NTOWxs364D(op_59igzFyhWz(b),op_ljTHtUsqzn(a))

def op_count_uTBsSls0VN(a, b):
    count = op_count_59igzFyhWz(b)+op_count_ljTHtUsqzn(a)+op_count_NTOWxs364D(op_59igzFyhWz(b),op_ljTHtUsqzn(a))
    return count


def op_3EhVUz7Ug9(a):
    return op_cTDWOvIxvz(op_e1ybzncUwg(a),58)

def op_count_3EhVUz7Ug9(a):
    count = op_count_e1ybzncUwg(a)+op_count_cTDWOvIxvz(op_e1ybzncUwg(a),58)
    return count


a⨻⪊⨷b = { ((↽≂(a⨔⇊b))⨸⪁((b⪨≂a)⨵⪆(b→⨶⪴158))) , if (⫇a)>=23 ; (((a⊬⨰a)↼⊘⨖(a⩦b))⫚↹⊑((a∌b)∌(a⩌⋺a))) , else }

def op_Pkwamo1tM2(a, b):
    if op_YjI8oCXuph(a) >= 23:
        return op_g55IO6H4Gj(op_u6S6b8DprG(op_JclMnS0uGI(a,b)),op_2DQ55sFlQl(op_sdazOOVcIp(b,a),op_bF6eod5Gvf(b,158)))
    else:
        return op_dfKe02y8D2(op_bPywburJMS(op_s3Fd5m9Dh2(a,a),op_0kmYd0q39Y(a,b)),op_8cLx32lpNA(op_8cLx32lpNA(a,b),op_g7Hmc5v1ko(a,a)))

def op_count_Pkwamo1tM2(a, b):
    if op_YjI8oCXuph(a) >= 23:
        count = op_count_JclMnS0uGI(a,b)+op_count_u6S6b8DprG(op_JclMnS0uGI(a,b))+op_count_sdazOOVcIp(b,a)+op_count_bF6eod5Gvf(b,158)+op_count_2DQ55sFlQl(op_sdazOOVcIp(b,a),op_bF6eod5Gvf(b,158))+op_count_g55IO6H4Gj(op_u6S6b8DprG(op_JclMnS0uGI(a,b)),op_2DQ55sFlQl(op_sdazOOVcIp(b,a),op_bF6eod5Gvf(b,158)))+op_count_YjI8oCXuph(a)
    else:
        count = op_count_s3Fd5m9Dh2(a,a)+op_count_0kmYd0q39Y(a,b)+op_count_bPywburJMS(op_s3Fd5m9Dh2(a,a),op_0kmYd0q39Y(a,b))+op_count_8cLx32lpNA(a,b)+op_count_g7Hmc5v1ko(a,a)+op_count_8cLx32lpNA(op_8cLx32lpNA(a,b),op_g7Hmc5v1ko(a,a))+op_count_dfKe02y8D2(op_bPywburJMS(op_s3Fd5m9Dh2(a,a),op_0kmYd0q39Y(a,b)),op_8cLx32lpNA(op_8cLx32lpNA(a,b),op_g7Hmc5v1ko(a,a)))
    return count


a⊌b = { (((a∙∹∝320)⋷(a⋳⪒319))⊝⪿⪼(b∇⊂⋱(b⪭b))) , if b>383 ; (((a⨐b)⇯⋐)⪐) , else }

def op_lgixpG8NPR(a, b):
    if b > 383:
        return op_3Oe9XWJUTD(op_23Mk6UjR3U(op_HmxsFra2vL(a,320),op_12rbrZMWeM(a,319)),op_nhYeJWJD5X(b,op_j9kHMeSvPp(b,b)))
    else:
        return op_eH2TOUuTDT(op_LkLIoiE525(op_Noe24qw2ks(a,b)))

def op_count_lgixpG8NPR(a, b):
    if b > 383:
        count = op_count_HmxsFra2vL(a,320)+op_count_12rbrZMWeM(a,319)+op_count_23Mk6UjR3U(op_HmxsFra2vL(a,320),op_12rbrZMWeM(a,319))+op_count_j9kHMeSvPp(b,b)+op_count_nhYeJWJD5X(b,op_j9kHMeSvPp(b,b))+op_count_3Oe9XWJUTD(op_23Mk6UjR3U(op_HmxsFra2vL(a,320),op_12rbrZMWeM(a,319)),op_nhYeJWJD5X(b,op_j9kHMeSvPp(b,b)))
    else:
        count = op_count_Noe24qw2ks(a,b)+op_count_LkLIoiE525(op_Noe24qw2ks(a,b))+op_count_eH2TOUuTDT(op_LkLIoiE525(op_Noe24qw2ks(a,b)))
    return count


def op_SgAxmdLNEA(a):
    if op_eH2TOUuTDT(a) >= 678:
        return op_zoVPnxeHJ3(op_2DDjHMKMc0(764,a))
    else:
        return op_cWQsF5MvuD(op_KbjG8mgYpV(a,a))

def op_count_SgAxmdLNEA(a):
    if op_eH2TOUuTDT(a) >= 678:
        count = op_count_2DDjHMKMc0(764,a)+op_count_zoVPnxeHJ3(op_2DDjHMKMc0(764,a))+op_count_eH2TOUuTDT(a)
    else:
        count = op_count_KbjG8mgYpV(a,a)+op_count_cWQsF5MvuD(op_KbjG8mgYpV(a,a))
    return count


⇝⋾⇵a = { (((a⫃⨇a)⇼⇔∾(≅≯⇸24))⇄((a≧⫂∧a)⋅⇍(a⩦a))) , if a>61 ; ((⨞⊢(40-a))-((a≦↸a)⪹)) , else }

def op_6l7ULzJsnZ(a):
    if a > 61:
        return op_3EYGwJThht(op_tifHPKVTfV(op_09Ly4LVMIf(a,a),op_apS25hmuAe(24)),op_AdZkA7nFnk(op_Ph9nP6C5qx(a,a),op_0kmYd0q39Y(a,a)))
    else:
        return op_rysDP5nf3Z(op_xUOZtlo3hN(op_rysDP5nf3Z(40,a)),op_B3sABdIn96(op_RygbFNSyEJ(a,a)))

def op_count_6l7ULzJsnZ(a):
    if a > 61:
        count = op_count_09Ly4LVMIf(a,a)+op_count_apS25hmuAe(24)+op_count_tifHPKVTfV(op_09Ly4LVMIf(a,a),op_apS25hmuAe(24))+op_count_Ph9nP6C5qx(a,a)+op_count_0kmYd0q39Y(a,a)+op_count_AdZkA7nFnk(op_Ph9nP6C5qx(a,a),op_0kmYd0q39Y(a,a))+op_count_3EYGwJThht(op_tifHPKVTfV(op_09Ly4LVMIf(a,a),op_apS25hmuAe(24)),op_AdZkA7nFnk(op_Ph9nP6C5qx(a,a),op_0kmYd0q39Y(a,a)))
    else:
        count = op_count_rysDP5nf3Z(40,a)+op_count_xUOZtlo3hN(op_rysDP5nf3Z(40,a))+op_count_RygbFNSyEJ(a,a)+op_count_B3sABdIn96(op_RygbFNSyEJ(a,a))+op_count_rysDP5nf3Z(op_xUOZtlo3hN(op_rysDP5nf3Z(40,a)),op_B3sABdIn96(op_RygbFNSyEJ(a,a)))
    return count


a⋅∹⩇ = { (⋃(a⇌⫙⪟a)) , if a<354 or (a⪨≂185)<234 ; ((a⇋≉)⨸⪁a) , else }

def op_Tmr9JGNMVH(a):
    if a < 354 or op_sdazOOVcIp(a,185) < 234:
        return op_3mBM5G4a3l(op_AFVx7xoS7T(a,a))
    else:
        return op_g55IO6H4Gj(op_XIabStNQrY(a),a)

def op_count_Tmr9JGNMVH(a):
    if a < 354 or op_sdazOOVcIp(a,185) < 234:
        count = op_count_AFVx7xoS7T(a,a)+op_count_3mBM5G4a3l(op_AFVx7xoS7T(a,a))+op_count_sdazOOVcIp(a,185)
    else:
        count = op_count_XIabStNQrY(a)+op_count_g55IO6H4Gj(op_XIabStNQrY(a),a)
    return count


def op_CuHhPb8RwQ(a):
    return op_zR4jO40bMj(op_aSik1wnThz(a),op_P8v4zCKN1o(a))

def op_count_CuHhPb8RwQ(a):
    count = op_count_aSik1wnThz(a)+op_count_P8v4zCKN1o(a)+op_count_zR4jO40bMj(op_aSik1wnThz(a),op_P8v4zCKN1o(a))
    return count


a≖−≲ = { (a⪉⨛a) , if (a≦↸751)>89 ; (⨞⊢a) , else }

def op_IpgdDpBHsO(a):
    if op_RygbFNSyEJ(a,751) > 89:
        return op_EWw2JM7wp4(a,a)
    else:
        return op_xUOZtlo3hN(a)

def op_count_IpgdDpBHsO(a):
    if op_RygbFNSyEJ(a,751) > 89:
        count = op_count_EWw2JM7wp4(a,a)+op_count_RygbFNSyEJ(a,751)
    else:
        count = op_count_xUOZtlo3hN(a)
    return count


def op_eVHdItn4YL(a):
    return op_0kmYd0q39Y(op_Noe24qw2ks(a,a),op_2MzE1hQ0cz(a))

def op_count_eVHdItn4YL(a):
    count = op_count_Noe24qw2ks(a,a)+op_count_2MzE1hQ0cz(a)+op_count_0kmYd0q39Y(op_Noe24qw2ks(a,a),op_2MzE1hQ0cz(a))
    return count


def op_KWeyIRWUIQ(a):
    return op_W4YGzv6Whe(op_k7HXdKtiEU(op_w2P8NbNXyL(321,a)),a)

def op_count_KWeyIRWUIQ(a):
    count = op_count_w2P8NbNXyL(321,a)+op_count_k7HXdKtiEU(op_w2P8NbNXyL(321,a))+op_count_W4YGzv6Whe(op_k7HXdKtiEU(op_w2P8NbNXyL(321,a)),a)
    return count


a⋂⩴b = { (b⇯⋐) , if (a⊉↱≁119)>=197 ; (a∌↝b) , else }

def op_hmlrMsD2PO(a, b):
    if op_w2P8NbNXyL(a,119) >= 197:
        return op_LkLIoiE525(b)
    else:
        return op_9Isq31Ruls(a,b)

def op_count_hmlrMsD2PO(a, b):
    if op_w2P8NbNXyL(a,119) >= 197:
        count = op_count_LkLIoiE525(b)+op_count_w2P8NbNXyL(a,119)
    else:
        count = op_count_9Isq31Ruls(a,b)
    return count


↰⫏a = { ((⨡↴(169⋳⪒a))⊉↱≁((6⩍⋽⫝̸a)+⪬∐(⩦⩻⨪a))) }

def op_UeUK5QjOtW(a):
    return op_w2P8NbNXyL(op_liw5iZPkLH(op_12rbrZMWeM(169,a)),op_2GS7woTJqF(op_BiWNJpBvwn(6,a),op_2td37pGCOC(a)))

def op_count_UeUK5QjOtW(a):
    count = op_count_12rbrZMWeM(169,a)+op_count_liw5iZPkLH(op_12rbrZMWeM(169,a))+op_count_BiWNJpBvwn(6,a)+op_count_2td37pGCOC(a)+op_count_2GS7woTJqF(op_BiWNJpBvwn(6,a),op_2td37pGCOC(a))+op_count_w2P8NbNXyL(op_liw5iZPkLH(op_12rbrZMWeM(169,a)),op_2GS7woTJqF(op_BiWNJpBvwn(6,a),op_2td37pGCOC(a)))
    return count


def op_uysxUYN2L2(a, b):
    return op_JclMnS0uGI(op_xUOZtlo3hN(b),a)

def op_count_uysxUYN2L2(a, b):
    count = op_count_xUOZtlo3hN(b)+op_count_JclMnS0uGI(op_xUOZtlo3hN(b),a)
    return count


a∊⊞≈b = { ((⇾⩊⇾(b⊭↱b))⫸⇳((a↰)⇴(a⩍⋽⫝̸167))) }

def op_keuJNkrrbj(a, b):
    return op_gx7XJ7hdpj(op_bx9Z9DAK5y(op_COABgblf1C(b,b)),op_4JB6nKBMSY(op_bl5wxAcryP(a),op_BiWNJpBvwn(a,167)))

def op_count_keuJNkrrbj(a, b):
    count = op_count_COABgblf1C(b,b)+op_count_bx9Z9DAK5y(op_COABgblf1C(b,b))+op_count_bl5wxAcryP(a)+op_count_BiWNJpBvwn(a,167)+op_count_4JB6nKBMSY(op_bl5wxAcryP(a),op_BiWNJpBvwn(a,167))+op_count_gx7XJ7hdpj(op_bx9Z9DAK5y(op_COABgblf1C(b,b)),op_4JB6nKBMSY(op_bl5wxAcryP(a),op_BiWNJpBvwn(a,167)))
    return count


def op_gSr4c7pPrV(a):
    return op_0kmYd0q39Y(op_D3AQDKkPcf(a,op_YSKBFp38Pu(a,a)),op_DbCuESL50I(op_cTDWOvIxvz(a,a)))

def op_count_gSr4c7pPrV(a):
    count = op_count_YSKBFp38Pu(a,a)+op_count_D3AQDKkPcf(a,op_YSKBFp38Pu(a,a))+op_count_cTDWOvIxvz(a,a)+op_count_DbCuESL50I(op_cTDWOvIxvz(a,a))+op_count_0kmYd0q39Y(op_D3AQDKkPcf(a,op_YSKBFp38Pu(a,a)),op_DbCuESL50I(op_cTDWOvIxvz(a,a)))
    return count


⊠a = { (((a⪒⊣⊆a)⨜⨶(a↼⊘⨖a))⩚⊴⇥(⇉-⫰(a+a))) }

def op_R3vAdrE3IH(a):
    return op_NTOWxs364D(op_HiPekx5b7W(op_eRqsBgTDFp(a,a),op_bPywburJMS(a,a)),op_IGFM8TAlm9(op_W4YGzv6Whe(a,a)))

def op_count_R3vAdrE3IH(a):
    count = op_count_eRqsBgTDFp(a,a)+op_count_bPywburJMS(a,a)+op_count_HiPekx5b7W(op_eRqsBgTDFp(a,a),op_bPywburJMS(a,a))+op_count_W4YGzv6Whe(a,a)+op_count_IGFM8TAlm9(op_W4YGzv6Whe(a,a))+op_count_NTOWxs364D(op_HiPekx5b7W(op_eRqsBgTDFp(a,a),op_bPywburJMS(a,a)),op_IGFM8TAlm9(op_W4YGzv6Whe(a,a)))
    return count


a↱⊪⇍ = { (((a⩇∃⫛a)⫸⇳(168∙∹∝a))⋳⪒((a≋⫹)⇤a)) }

def op_Zubgv0tBda(a):
    return op_12rbrZMWeM(op_gx7XJ7hdpj(op_1aApVXNlOP(a,a),op_HmxsFra2vL(168,a)),op_YSKBFp38Pu(op_N41Kp7NANJ(a),a))

def op_count_Zubgv0tBda(a):
    count = op_count_1aApVXNlOP(a,a)+op_count_HmxsFra2vL(168,a)+op_count_gx7XJ7hdpj(op_1aApVXNlOP(a,a),op_HmxsFra2vL(168,a))+op_count_N41Kp7NANJ(a)+op_count_YSKBFp38Pu(op_N41Kp7NANJ(a),a)+op_count_12rbrZMWeM(op_gx7XJ7hdpj(op_1aApVXNlOP(a,a),op_HmxsFra2vL(168,a)),op_YSKBFp38Pu(op_N41Kp7NANJ(a),a))
    return count


def op_giaUb8UVhq(a, b):
    return op_g55IO6H4Gj(op_tifHPKVTfV(a,a),op_14qkJME0vr(b))

def op_count_giaUb8UVhq(a, b):
    count = op_count_tifHPKVTfV(a,a)+op_count_14qkJME0vr(b)+op_count_g55IO6H4Gj(op_tifHPKVTfV(a,a),op_14qkJME0vr(b))
    return count


def op_Siyfjn51pv(a):
    return op_eewbuw0ToL(op_D3AQDKkPcf(op_eewbuw0ToL(438,45),op_2DDjHMKMc0(3,523)),op_FyVja0WsTP(op_DZ8iAZOCBD(a,90),op_VJ330n2nnx(a)))

def op_count_Siyfjn51pv(a):
    count = op_count_eewbuw0ToL(438,45)+op_count_2DDjHMKMc0(3,523)+op_count_D3AQDKkPcf(op_eewbuw0ToL(438,45),op_2DDjHMKMc0(3,523))+op_count_DZ8iAZOCBD(a,90)+op_count_VJ330n2nnx(a)+op_count_FyVja0WsTP(op_DZ8iAZOCBD(a,90),op_VJ330n2nnx(a))+op_count_eewbuw0ToL(op_D3AQDKkPcf(op_eewbuw0ToL(438,45),op_2DDjHMKMc0(3,523)),op_FyVja0WsTP(op_DZ8iAZOCBD(a,90),op_VJ330n2nnx(a)))
    return count


def op_ap3xiM279w(a, b):
    if op_Noe24qw2ks(a,479) != 700:
        return op_cTDWOvIxvz(op_COABgblf1C(op_1aApVXNlOP(b,b),op_D4vGDi5EA2(a)),op_nREPSIbpBE(op_HrjLwUk87U(b,b),op_Y7wcNGrDQJ(355,b)))
    else:
        return op_Noe24qw2ks(op_W7eaUhjymW(op_dfKe02y8D2(b,a)),op_AdZkA7nFnk(op_5JYyxRJd4f(a),op_s3Fd5m9Dh2(b,163)))

def op_count_ap3xiM279w(a, b):
    if op_Noe24qw2ks(a,479) != 700:
        count = op_count_1aApVXNlOP(b,b)+op_count_D4vGDi5EA2(a)+op_count_COABgblf1C(op_1aApVXNlOP(b,b),op_D4vGDi5EA2(a))+op_count_HrjLwUk87U(b,b)+op_count_Y7wcNGrDQJ(355,b)+op_count_nREPSIbpBE(op_HrjLwUk87U(b,b),op_Y7wcNGrDQJ(355,b))+op_count_cTDWOvIxvz(op_COABgblf1C(op_1aApVXNlOP(b,b),op_D4vGDi5EA2(a)),op_nREPSIbpBE(op_HrjLwUk87U(b,b),op_Y7wcNGrDQJ(355,b)))+op_count_Noe24qw2ks(a,479)
    else:
        count = op_count_dfKe02y8D2(b,a)+op_count_W7eaUhjymW(op_dfKe02y8D2(b,a))+op_count_5JYyxRJd4f(a)+op_count_s3Fd5m9Dh2(b,163)+op_count_AdZkA7nFnk(op_5JYyxRJd4f(a),op_s3Fd5m9Dh2(b,163))+op_count_Noe24qw2ks(op_W7eaUhjymW(op_dfKe02y8D2(b,a)),op_AdZkA7nFnk(op_5JYyxRJd4f(a),op_s3Fd5m9Dh2(b,163)))
    return count


def op_m612RDITqL(a, b):
    if op_tifHPKVTfV(b,40) > 154:
        return op_KPf6cnQVty(185,a)
    else:
        return op_wEfv7U73WA(b)

def op_count_m612RDITqL(a, b):
    if op_tifHPKVTfV(b,40) > 154:
        count = op_count_KPf6cnQVty(185,a)+op_count_tifHPKVTfV(b,40)
    else:
        count = op_count_wEfv7U73WA(b)
    return count


a⇌↸ = { (a⪍↜⋙(⋃a)) , if (⫎≠⋺a)!=1 ; ((a∺≝⩲a)⪔⊥(∷≠a)) , else }

def op_2PILXiQIjy(a):
    if op_LYeZOJ0nQG(a) != 1:
        return op_L05ObWFQCd(a,op_3mBM5G4a3l(a))
    else:
        return op_HJ9erzHUuu(op_KPf6cnQVty(a,a),op_QiR2Oyf5Xj(a))

def op_count_2PILXiQIjy(a):
    if op_LYeZOJ0nQG(a) != 1:
        count = op_count_3mBM5G4a3l(a)+op_count_L05ObWFQCd(a,op_3mBM5G4a3l(a))+op_count_LYeZOJ0nQG(a)
    else:
        count = op_count_KPf6cnQVty(a,a)+op_count_QiR2Oyf5Xj(a)+op_count_HJ9erzHUuu(op_KPf6cnQVty(a,a),op_QiR2Oyf5Xj(a))
    return count


def op_KED7KUUlGq(a):
    return op_LxFB4K6j0n(op_iuk5sVOGFA(a))

def op_count_KED7KUUlGq(a):
    count = op_count_iuk5sVOGFA(a)+op_count_LxFB4K6j0n(op_iuk5sVOGFA(a))
    return count


def op_ct1hK6qyRt(a):
    if (op_DmTXOeWf9t(a,494) == 101 and op_C6VvDP6HwP(a) >= 616):
        return op_AYdpE9sXAk(op_j9kHMeSvPp(a,a))
    else:
        return op_D3AQDKkPcf(op_bF6eod5Gvf(a,26),op_7j4O788W3g(a,a))

def op_count_ct1hK6qyRt(a):
    if (op_DmTXOeWf9t(a,494) == 101 and op_C6VvDP6HwP(a) >= 616):
        count = op_count_j9kHMeSvPp(a,a)+op_count_AYdpE9sXAk(op_j9kHMeSvPp(a,a))+op_count_DmTXOeWf9t(a,494)+op_count_C6VvDP6HwP(a)
    else:
        count = op_count_bF6eod5Gvf(a,26)+op_count_7j4O788W3g(a,a)+op_count_D3AQDKkPcf(op_bF6eod5Gvf(a,26),op_7j4O788W3g(a,a))
    return count


def op_t0cKpDWDXO(a):
    return op_t8gj7n24qd(op_23Mk6UjR3U(op_zR4jO40bMj(a,a),op_U6pG0PXrV3(a)))

def op_count_t0cKpDWDXO(a):
    count = op_count_zR4jO40bMj(a,a)+op_count_U6pG0PXrV3(a)+op_count_23Mk6UjR3U(op_zR4jO40bMj(a,a),op_U6pG0PXrV3(a))+op_count_t8gj7n24qd(op_23Mk6UjR3U(op_zR4jO40bMj(a,a),op_U6pG0PXrV3(a)))
    return count


a⨧b = { (⨡↴295) , if (a⊎←↗)<=30 ; (a⩧⪆b) , else }

def op_3YWlZA9bsa(a, b):
    if op_dwb5p0fa6d(a) <= 30:
        return op_liw5iZPkLH(295)
    else:
        return op_Ikt5ks8PT7(a,b)

def op_count_3YWlZA9bsa(a, b):
    if op_dwb5p0fa6d(a) <= 30:
        count = op_count_liw5iZPkLH(295)+op_count_dwb5p0fa6d(a)
    else:
        count = op_count_Ikt5ks8PT7(a,b)
    return count


a⫦∱⫙ = { (((305⨚a)⇌⫙⪟(≛508))⋆⋳) , if (a⪣⫩)>174 ; (((a⪇≇⋚a)∽(a↺a))⇼⇔∾((a∠⫱a)⩧⪆(a∩⋅))) , else }

def op_tHMVLcQ9bH(a):
    if op_iuk5sVOGFA(a) > 174:
        return op_6MpZysEj17(op_AFVx7xoS7T(op_nREPSIbpBE(305,a),op_W7eaUhjymW(508)))
    else:
        return op_tifHPKVTfV(op_y4ImoPnbV5(op_3sJ7IOPOlU(a,a),op_7j4O788W3g(a,a)),op_Ikt5ks8PT7(op_QvoQhV0rrE(a,a),op_2MzE1hQ0cz(a)))

def op_count_tHMVLcQ9bH(a):
    if op_iuk5sVOGFA(a) > 174:
        count = op_count_nREPSIbpBE(305,a)+op_count_W7eaUhjymW(508)+op_count_AFVx7xoS7T(op_nREPSIbpBE(305,a),op_W7eaUhjymW(508))+op_count_6MpZysEj17(op_AFVx7xoS7T(op_nREPSIbpBE(305,a),op_W7eaUhjymW(508)))+op_count_iuk5sVOGFA(a)
    else:
        count = op_count_3sJ7IOPOlU(a,a)+op_count_7j4O788W3g(a,a)+op_count_y4ImoPnbV5(op_3sJ7IOPOlU(a,a),op_7j4O788W3g(a,a))+op_count_QvoQhV0rrE(a,a)+op_count_2MzE1hQ0cz(a)+op_count_Ikt5ks8PT7(op_QvoQhV0rrE(a,a),op_2MzE1hQ0cz(a))+op_count_tifHPKVTfV(op_y4ImoPnbV5(op_3sJ7IOPOlU(a,a),op_7j4O788W3g(a,a)),op_Ikt5ks8PT7(op_QvoQhV0rrE(a,a),op_2MzE1hQ0cz(a)))
    return count


a⪯⫾⋍b = { (((699⪶≀⋏b)⪶≀⋏(b⨰b))∲⫓((b⪎↠a)⩌⋺(b∙∹∝462))) }

def op_S5ZFQS4GK3(a, b):
    return op_i8ToyICDmI(op_zR4jO40bMj(op_zR4jO40bMj(699,b),op_eewbuw0ToL(b,b)),op_g7Hmc5v1ko(op_3tVxb0NHM4(b,a),op_HmxsFra2vL(b,462)))

def op_count_S5ZFQS4GK3(a, b):
    count = op_count_zR4jO40bMj(699,b)+op_count_eewbuw0ToL(b,b)+op_count_zR4jO40bMj(op_zR4jO40bMj(699,b),op_eewbuw0ToL(b,b))+op_count_3tVxb0NHM4(b,a)+op_count_HmxsFra2vL(b,462)+op_count_g7Hmc5v1ko(op_3tVxb0NHM4(b,a),op_HmxsFra2vL(b,462))+op_count_i8ToyICDmI(op_zR4jO40bMj(op_zR4jO40bMj(699,b),op_eewbuw0ToL(b,b)),op_g7Hmc5v1ko(op_3tVxb0NHM4(b,a),op_HmxsFra2vL(b,462)))
    return count


a⩅⩡ = { (a≚⊃≕a) , if (a↫)>3 ; (99⫲) , else }

def op_0MNWfHKp6a(a):
    if op_uPb5QRN0te(a) > 3:
        return op_Bmrmz2XGnR(a,a)
    else:
        return op_9xnGDUPbC6(99)

def op_count_0MNWfHKp6a(a):
    if op_uPb5QRN0te(a) > 3:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_uPb5QRN0te(a)
    else:
        count = op_count_9xnGDUPbC6(99)
    return count


def op_620seOwKww(a):
    return op_09Ly4LVMIf(op_9bazX3JMtO(62,op_a3N2hFLK0J(a)),op_YbVcJGFEVW(op_HiPekx5b7W(a,566),op_4JB6nKBMSY(a,a)))

def op_count_620seOwKww(a):
    count = op_count_a3N2hFLK0J(a)+op_count_9bazX3JMtO(62,op_a3N2hFLK0J(a))+op_count_HiPekx5b7W(a,566)+op_count_4JB6nKBMSY(a,a)+op_count_YbVcJGFEVW(op_HiPekx5b7W(a,566),op_4JB6nKBMSY(a,a))+op_count_09Ly4LVMIf(op_9bazX3JMtO(62,op_a3N2hFLK0J(a)),op_YbVcJGFEVW(op_HiPekx5b7W(a,566),op_4JB6nKBMSY(a,a)))
    return count


a⨊⨠ = { (((377⩹a)⪨⊡(a↹⊜a))∽(a⩍⋽⫝̸(a⊋≦⊧a))) }

def op_qU6oQAhJaQ(a):
    return op_y4ImoPnbV5(op_kuIXHzHcAH(op_2Wsdkap16l(377,a),op_9bazX3JMtO(a,a)),op_BiWNJpBvwn(a,op_oRDoc9rAEX(a,a)))

def op_count_qU6oQAhJaQ(a):
    count = op_count_2Wsdkap16l(377,a)+op_count_9bazX3JMtO(a,a)+op_count_kuIXHzHcAH(op_2Wsdkap16l(377,a),op_9bazX3JMtO(a,a))+op_count_oRDoc9rAEX(a,a)+op_count_BiWNJpBvwn(a,op_oRDoc9rAEX(a,a))+op_count_y4ImoPnbV5(op_kuIXHzHcAH(op_2Wsdkap16l(377,a),op_9bazX3JMtO(a,a)),op_BiWNJpBvwn(a,op_oRDoc9rAEX(a,a)))
    return count


def op_dAAkup5nzi(a, b):
    return op_QMFrweE19q(b,op_U6pG0PXrV3(op_xUOZtlo3hN(a)))

def op_count_dAAkup5nzi(a, b):
    count = op_count_xUOZtlo3hN(a)+op_count_U6pG0PXrV3(op_xUOZtlo3hN(a))+op_count_QMFrweE19q(b,op_U6pG0PXrV3(op_xUOZtlo3hN(a)))
    return count


a⇢b = { (≋b) , if a>38 ; (a∠↢b) , else }

def op_GMN7JP6WpN(a, b):
    if a > 38:
        return op_61wBmkZwlr(b)
    else:
        return op_KbjG8mgYpV(a,b)

def op_count_GMN7JP6WpN(a, b):
    if a > 38:
        count = op_count_61wBmkZwlr(b)
    else:
        count = op_count_KbjG8mgYpV(a,b)
    return count


⫂a = { (≯((a⩵∡a)∽(a⫚⫇))) , if (∓⪦a)>=4 ; ((a≬⋮(405⫡⨏a))+⪬∐((a≋⫹)⋆⋳)) , else }

def op_U9HvHqtOoq(a):
    if op_D309nIvmXG(a) >= 4:
        return op_keWfFq85dY(op_y4ImoPnbV5(op_Y7wcNGrDQJ(a,a),op_SdCjLnB6rR(a)))
    else:
        return op_2GS7woTJqF(op_kbkesczE7y(a,op_QMFrweE19q(405,a)),op_6MpZysEj17(op_N41Kp7NANJ(a)))

def op_count_U9HvHqtOoq(a):
    if op_D309nIvmXG(a) >= 4:
        count = op_count_Y7wcNGrDQJ(a,a)+op_count_SdCjLnB6rR(a)+op_count_y4ImoPnbV5(op_Y7wcNGrDQJ(a,a),op_SdCjLnB6rR(a))+op_count_keWfFq85dY(op_y4ImoPnbV5(op_Y7wcNGrDQJ(a,a),op_SdCjLnB6rR(a)))+op_count_D309nIvmXG(a)
    else:
        count = op_count_QMFrweE19q(405,a)+op_count_kbkesczE7y(a,op_QMFrweE19q(405,a))+op_count_N41Kp7NANJ(a)+op_count_6MpZysEj17(op_N41Kp7NANJ(a))+op_count_2GS7woTJqF(op_kbkesczE7y(a,op_QMFrweE19q(405,a)),op_6MpZysEj17(op_N41Kp7NANJ(a)))
    return count


def op_kc7iqVBlRY(a):
    return op_Qy55tPpLXF(op_D4vGDi5EA2(a),op_2Wsdkap16l(a,a))

def op_count_kc7iqVBlRY(a):
    count = op_count_D4vGDi5EA2(a)+op_count_2Wsdkap16l(a,a)+op_count_Qy55tPpLXF(op_D4vGDi5EA2(a),op_2Wsdkap16l(a,a))
    return count


def op_AnPstFaJd9(a):
    return op_ancx8kZcWl(op_xUOZtlo3hN(a))

def op_count_AnPstFaJd9(a):
    count = op_count_xUOZtlo3hN(a)+op_count_ancx8kZcWl(op_xUOZtlo3hN(a))
    return count


def op_IjUb3wyICU(a):
    if op_ljTHtUsqzn(a) == 354:
        return op_E4l6HwMY31(a,a)
    else:
        return op_bPywburJMS(144,107)

def op_count_IjUb3wyICU(a):
    if op_ljTHtUsqzn(a) == 354:
        count = op_count_E4l6HwMY31(a,a)+op_count_ljTHtUsqzn(a)
    else:
        count = op_count_bPywburJMS(144,107)
    return count


def op_JgXZM7XvWE(a, b):
    if (a == 183 and op_d7ASUq0ydm(a,437) <= 285):
        return op_Z5m6OM72h2(op_ljTHtUsqzn(op_LYeZOJ0nQG(a)),op_fG6uBQFnGz(op_rysDP5nf3Z(475,a)))
    else:
        return op_tifHPKVTfV(op_kuIXHzHcAH(op_i8ToyICDmI(754,186),op_2DDjHMKMc0(b,a)),op_w2P8NbNXyL(op_cTDWOvIxvz(b,b),op_OKKcZfAt5B(399,51)))

def op_count_JgXZM7XvWE(a, b):
    if (a == 183 and op_d7ASUq0ydm(a,437) <= 285):
        count = op_count_LYeZOJ0nQG(a)+op_count_ljTHtUsqzn(op_LYeZOJ0nQG(a))+op_count_rysDP5nf3Z(475,a)+op_count_fG6uBQFnGz(op_rysDP5nf3Z(475,a))+op_count_Z5m6OM72h2(op_ljTHtUsqzn(op_LYeZOJ0nQG(a)),op_fG6uBQFnGz(op_rysDP5nf3Z(475,a)))+op_count_d7ASUq0ydm(a,437)
    else:
        count = op_count_i8ToyICDmI(754,186)+op_count_2DDjHMKMc0(b,a)+op_count_kuIXHzHcAH(op_i8ToyICDmI(754,186),op_2DDjHMKMc0(b,a))+op_count_cTDWOvIxvz(b,b)+op_count_OKKcZfAt5B(399,51)+op_count_w2P8NbNXyL(op_cTDWOvIxvz(b,b),op_OKKcZfAt5B(399,51))+op_count_tifHPKVTfV(op_kuIXHzHcAH(op_i8ToyICDmI(754,186),op_2DDjHMKMc0(b,a)),op_w2P8NbNXyL(op_cTDWOvIxvz(b,b),op_OKKcZfAt5B(399,51)))
    return count


def op_FB83X2dByY(a):
    return op_9FxExcQeMw(a,op_sdazOOVcIp(op_k2HlF1dBQh(a),op_KFSx94NKJn(269,484)))

def op_count_FB83X2dByY(a):
    count = op_count_k2HlF1dBQh(a)+op_count_KFSx94NKJn(269,484)+op_count_sdazOOVcIp(op_k2HlF1dBQh(a),op_KFSx94NKJn(269,484))+op_count_9FxExcQeMw(a,op_sdazOOVcIp(op_k2HlF1dBQh(a),op_KFSx94NKJn(269,484)))
    return count


def op_qLBMy5fcJr(a):
    return op_Y7wcNGrDQJ(op_rXAclfmB4M(op_WR6HLWljOP(a,a)),op_kbkesczE7y(op_uBihLCJcMX(a),op_nhYeJWJD5X(a,a)))

def op_count_qLBMy5fcJr(a):
    count = op_count_WR6HLWljOP(a,a)+op_count_rXAclfmB4M(op_WR6HLWljOP(a,a))+op_count_uBihLCJcMX(a)+op_count_nhYeJWJD5X(a,a)+op_count_kbkesczE7y(op_uBihLCJcMX(a),op_nhYeJWJD5X(a,a))+op_count_Y7wcNGrDQJ(op_rXAclfmB4M(op_WR6HLWljOP(a,a)),op_kbkesczE7y(op_uBihLCJcMX(a),op_nhYeJWJD5X(a,a)))
    return count


def op_XZxEnkN3N0(a):
    return op_Noe24qw2ks(op_W4YGzv6Whe(op_PxiHyQbrIp(a),op_KbjG8mgYpV(a,a)),op_1aApVXNlOP(op_4JB6nKBMSY(a,80),op_2td37pGCOC(a)))

def op_count_XZxEnkN3N0(a):
    count = op_count_PxiHyQbrIp(a)+op_count_KbjG8mgYpV(a,a)+op_count_W4YGzv6Whe(op_PxiHyQbrIp(a),op_KbjG8mgYpV(a,a))+op_count_4JB6nKBMSY(a,80)+op_count_2td37pGCOC(a)+op_count_1aApVXNlOP(op_4JB6nKBMSY(a,80),op_2td37pGCOC(a))+op_count_Noe24qw2ks(op_W4YGzv6Whe(op_PxiHyQbrIp(a),op_KbjG8mgYpV(a,a)),op_1aApVXNlOP(op_4JB6nKBMSY(a,80),op_2td37pGCOC(a)))
    return count


a⫋ = { (((⨩∲⋌a)≚⊃≕(a⋳⪒a))⨳⩥⨓((a≃a)⊝⪿⪼(373∠⫱a))) , if ((a↺11)<8 or (a∈)==22) ; (((⇾⩊⇾a)⪨⊡(a⪨⊡a))⪎⩰) , else }

def op_mhIhit33mg(a):
    if (op_7j4O788W3g(a,11) < 8 or op_ztP7wcbY7m(a) == 22):
        return op_nCS4ZIUYfx(op_Bmrmz2XGnR(op_aSik1wnThz(a),op_12rbrZMWeM(a,a)),op_3Oe9XWJUTD(op_YbVcJGFEVW(a,a),op_QvoQhV0rrE(373,a)))
    else:
        return op_2ufhKmSs5H(op_kuIXHzHcAH(op_bx9Z9DAK5y(a),op_kuIXHzHcAH(a,a)))

def op_count_mhIhit33mg(a):
    if (op_7j4O788W3g(a,11) < 8 or op_ztP7wcbY7m(a) == 22):
        count = op_count_aSik1wnThz(a)+op_count_12rbrZMWeM(a,a)+op_count_Bmrmz2XGnR(op_aSik1wnThz(a),op_12rbrZMWeM(a,a))+op_count_YbVcJGFEVW(a,a)+op_count_QvoQhV0rrE(373,a)+op_count_3Oe9XWJUTD(op_YbVcJGFEVW(a,a),op_QvoQhV0rrE(373,a))+op_count_nCS4ZIUYfx(op_Bmrmz2XGnR(op_aSik1wnThz(a),op_12rbrZMWeM(a,a)),op_3Oe9XWJUTD(op_YbVcJGFEVW(a,a),op_QvoQhV0rrE(373,a)))+op_count_7j4O788W3g(a,11)+op_count_ztP7wcbY7m(a)
    else:
        count = op_count_bx9Z9DAK5y(a)+op_count_kuIXHzHcAH(a,a)+op_count_kuIXHzHcAH(op_bx9Z9DAK5y(a),op_kuIXHzHcAH(a,a))+op_count_2ufhKmSs5H(op_kuIXHzHcAH(op_bx9Z9DAK5y(a),op_kuIXHzHcAH(a,a)))
    return count


def op_Y9dhGmbGii(a):
    return op_HrjLwUk87U(op_uOZ1tnYMDE(a),op_OwUj7dcsQK(a))

def op_count_Y9dhGmbGii(a):
    count = op_count_uOZ1tnYMDE(a)+op_count_OwUj7dcsQK(a)+op_count_HrjLwUk87U(op_uOZ1tnYMDE(a),op_OwUj7dcsQK(a))
    return count


a⫇⋯b = { ((-b)⪶≀⋏(20⩇∃⫛a)) , if b<=395 ; (⊢≑≆(b⇄a)) , else }

def op_xoJmIySC7h(a, b):
    if b <= 395:
        return op_zR4jO40bMj(op_t8gj7n24qd(b),op_1aApVXNlOP(20,a))
    else:
        return op_27wFxooxGf(op_3EYGwJThht(b,a))

def op_count_xoJmIySC7h(a, b):
    if b <= 395:
        count = op_count_t8gj7n24qd(b)+op_count_1aApVXNlOP(20,a)+op_count_zR4jO40bMj(op_t8gj7n24qd(b),op_1aApVXNlOP(20,a))
    else:
        count = op_count_3EYGwJThht(b,a)+op_count_27wFxooxGf(op_3EYGwJThht(b,a))
    return count


a⋴⋺ = { a , if a==333 ; (((a⪶≀⋏a)⨚(a⪍↜⋙149))⫁⪎((a⫃⨇a)⨐(a⋘⨑⨽))) , else }

def op_0bdkhPtsnY(a):
    if a == 333:
        return a
    else:
        return op_xRrnTEsQ6j(op_nREPSIbpBE(op_zR4jO40bMj(a,a),op_L05ObWFQCd(a,149)),op_Noe24qw2ks(op_09Ly4LVMIf(a,a),op_WmT3o8z6ya(a)))

def op_count_0bdkhPtsnY(a):
    if a == 333:
        count = 1
    else:
        count = op_count_zR4jO40bMj(a,a)+op_count_L05ObWFQCd(a,149)+op_count_nREPSIbpBE(op_zR4jO40bMj(a,a),op_L05ObWFQCd(a,149))+op_count_09Ly4LVMIf(a,a)+op_count_WmT3o8z6ya(a)+op_count_Noe24qw2ks(op_09Ly4LVMIf(a,a),op_WmT3o8z6ya(a))+op_count_xRrnTEsQ6j(op_nREPSIbpBE(op_zR4jO40bMj(a,a),op_L05ObWFQCd(a,149)),op_Noe24qw2ks(op_09Ly4LVMIf(a,a),op_WmT3o8z6ya(a)))
    return count


a∑b = { (((b⩧⪆a)⪒⊣⊆(a⊬⨰b))⪑⩈) , if (⊿a)<40 ; (((b↺458)∌(a⩣⫁∢b))⨚(≋a)) , else }

def op_JFrVJKYFMX(a, b):
    if op_DO4fhlbJSI(a) < 40:
        return op_C6VvDP6HwP(op_eRqsBgTDFp(op_Ikt5ks8PT7(b,a),op_s3Fd5m9Dh2(a,b)))
    else:
        return op_nREPSIbpBE(op_8cLx32lpNA(op_7j4O788W3g(b,458),op_JDUIKTTSIa(a,b)),op_61wBmkZwlr(a))

def op_count_JFrVJKYFMX(a, b):
    if op_DO4fhlbJSI(a) < 40:
        count = op_count_Ikt5ks8PT7(b,a)+op_count_s3Fd5m9Dh2(a,b)+op_count_eRqsBgTDFp(op_Ikt5ks8PT7(b,a),op_s3Fd5m9Dh2(a,b))+op_count_C6VvDP6HwP(op_eRqsBgTDFp(op_Ikt5ks8PT7(b,a),op_s3Fd5m9Dh2(a,b)))+op_count_DO4fhlbJSI(a)
    else:
        count = op_count_7j4O788W3g(b,458)+op_count_JDUIKTTSIa(a,b)+op_count_8cLx32lpNA(op_7j4O788W3g(b,458),op_JDUIKTTSIa(a,b))+op_count_61wBmkZwlr(a)+op_count_nREPSIbpBE(op_8cLx32lpNA(op_7j4O788W3g(b,458),op_JDUIKTTSIa(a,b)),op_61wBmkZwlr(a))
    return count


def op_ieTw63T1Vx(a):
    return op_w2P8NbNXyL(op_t4WUHVGj7f(op_PxiHyQbrIp(219)),op_3Oe9XWJUTD(op_k2HlF1dBQh(a),a))

def op_count_ieTw63T1Vx(a):
    count = op_count_PxiHyQbrIp(219)+op_count_t4WUHVGj7f(op_PxiHyQbrIp(219))+op_count_k2HlF1dBQh(a)+op_count_3Oe9XWJUTD(op_k2HlF1dBQh(a),a)+op_count_w2P8NbNXyL(op_t4WUHVGj7f(op_PxiHyQbrIp(219)),op_3Oe9XWJUTD(op_k2HlF1dBQh(a),a))
    return count


a⪭↷⊩ = { (((a⇋≉)⫁⪎(⋼∭⪍a))⩹((a⩍⋽⫝̸a)⨜⨶a)) }

def op_Oe8teynzfS(a):
    return op_2Wsdkap16l(op_xRrnTEsQ6j(op_XIabStNQrY(a),op_DbCuESL50I(a)),op_HiPekx5b7W(op_BiWNJpBvwn(a,a),a))

def op_count_Oe8teynzfS(a):
    count = op_count_XIabStNQrY(a)+op_count_DbCuESL50I(a)+op_count_xRrnTEsQ6j(op_XIabStNQrY(a),op_DbCuESL50I(a))+op_count_BiWNJpBvwn(a,a)+op_count_HiPekx5b7W(op_BiWNJpBvwn(a,a),a)+op_count_2Wsdkap16l(op_xRrnTEsQ6j(op_XIabStNQrY(a),op_DbCuESL50I(a)),op_HiPekx5b7W(op_BiWNJpBvwn(a,a),a))
    return count


def op_7PjNe5qSIJ(a, b):
    if op_3nqY3DE9mg(b) <= 41 and op_kbkesczE7y(b,531) > 144:
        return op_ZNVVrZ94lY(b)
    else:
        return op_IGFM8TAlm9(op_YbVcJGFEVW(a,9))

def op_count_7PjNe5qSIJ(a, b):
    if op_3nqY3DE9mg(b) <= 41 and op_kbkesczE7y(b,531) > 144:
        count = op_count_ZNVVrZ94lY(b)+op_count_3nqY3DE9mg(b)+op_count_kbkesczE7y(b,531)
    else:
        count = op_count_YbVcJGFEVW(a,9)+op_count_IGFM8TAlm9(op_YbVcJGFEVW(a,9))
    return count


a≋⊢≽ = { ((⊀(a⇄751))⩍⋽⫝̸((a⊢a)⪇≇⋚(⪁⇼a))) }

def op_Lhk0YGb717(a):
    return op_BiWNJpBvwn(op_oPMjh9089D(op_3EYGwJThht(a,751)),op_3sJ7IOPOlU(op_5twsqlHp2o(a,a),op_ZNVVrZ94lY(a)))

def op_count_Lhk0YGb717(a):
    count = op_count_3EYGwJThht(a,751)+op_count_oPMjh9089D(op_3EYGwJThht(a,751))+op_count_5twsqlHp2o(a,a)+op_count_ZNVVrZ94lY(a)+op_count_3sJ7IOPOlU(op_5twsqlHp2o(a,a),op_ZNVVrZ94lY(a))+op_count_BiWNJpBvwn(op_oPMjh9089D(op_3EYGwJThht(a,751)),op_3sJ7IOPOlU(op_5twsqlHp2o(a,a),op_ZNVVrZ94lY(a)))
    return count


def op_UIU2Eox550(a):
    return op_JDUIKTTSIa(op_g55IO6H4Gj(a,a),op_9Isq31Ruls(a,a))

def op_count_UIU2Eox550(a):
    count = op_count_g55IO6H4Gj(a,a)+op_count_9Isq31Ruls(a,a)+op_count_JDUIKTTSIa(op_g55IO6H4Gj(a,a),op_9Isq31Ruls(a,a))
    return count


def op_LmY23Q1aIi(a):
    if a < 308:
        return op_4CyGpkTkEk(125)
    else:
        return op_g7Hmc5v1ko(70,a)

def op_count_LmY23Q1aIi(a):
    if a < 308:
        count = op_count_4CyGpkTkEk(125)
    else:
        count = op_count_g7Hmc5v1ko(70,a)
    return count


def op_nouZ5SZjt1(a):
    if (op_s3Fd5m9Dh2(a,690) < 43 and a == 279):
        return op_2DDjHMKMc0(op_IGFM8TAlm9(a),a)
    else:
        return op_cTDWOvIxvz(op_BiWNJpBvwn(a,303),op_NTOWxs364D(120,a))

def op_count_nouZ5SZjt1(a):
    if (op_s3Fd5m9Dh2(a,690) < 43 and a == 279):
        count = op_count_IGFM8TAlm9(a)+op_count_2DDjHMKMc0(op_IGFM8TAlm9(a),a)+op_count_s3Fd5m9Dh2(a,690)
    else:
        count = op_count_BiWNJpBvwn(a,303)+op_count_NTOWxs364D(120,a)+op_count_cTDWOvIxvz(op_BiWNJpBvwn(a,303),op_NTOWxs364D(120,a))
    return count


def op_kz228nwi0J(a):
    if op_27wFxooxGf(a) <= 46:
        return op_W4YGzv6Whe(op_keWfFq85dY(166),op_Qy55tPpLXF(a,a))
    else:
        return op_tfWHHpNKUN(op_g55IO6H4Gj(a,a))

def op_count_kz228nwi0J(a):
    if op_27wFxooxGf(a) <= 46:
        count = op_count_keWfFq85dY(166)+op_count_Qy55tPpLXF(a,a)+op_count_W4YGzv6Whe(op_keWfFq85dY(166),op_Qy55tPpLXF(a,a))+op_count_27wFxooxGf(a)
    else:
        count = op_count_g55IO6H4Gj(a,a)+op_count_tfWHHpNKUN(op_g55IO6H4Gj(a,a))
    return count


a≽↲≰b = { (((a↺b)⋝⋈⪟(a⩒⫫a))⫃⨇(⩪∧⨌(b⊬⫿⊭))) , if (b⪶≀⋏272)>587 ; (((b⩌⋺102)⇤(a∣a))⫭) , else }

def op_cFVlceoRkX(a, b):
    if op_zR4jO40bMj(b,272) > 587:
        return op_09Ly4LVMIf(op_2DDjHMKMc0(op_7j4O788W3g(a,b),op_KFSx94NKJn(a,a)),op_6iOiAJX1F8(op_v0DYgG9ikt(b)))
    else:
        return op_t4WUHVGj7f(op_YSKBFp38Pu(op_g7Hmc5v1ko(b,102),op_PPChnnnBFF(a,a)))

def op_count_cFVlceoRkX(a, b):
    if op_zR4jO40bMj(b,272) > 587:
        count = op_count_7j4O788W3g(a,b)+op_count_KFSx94NKJn(a,a)+op_count_2DDjHMKMc0(op_7j4O788W3g(a,b),op_KFSx94NKJn(a,a))+op_count_v0DYgG9ikt(b)+op_count_6iOiAJX1F8(op_v0DYgG9ikt(b))+op_count_09Ly4LVMIf(op_2DDjHMKMc0(op_7j4O788W3g(a,b),op_KFSx94NKJn(a,a)),op_6iOiAJX1F8(op_v0DYgG9ikt(b)))+op_count_zR4jO40bMj(b,272)
    else:
        count = op_count_g7Hmc5v1ko(b,102)+op_count_PPChnnnBFF(a,a)+op_count_YSKBFp38Pu(op_g7Hmc5v1ko(b,102),op_PPChnnnBFF(a,a))+op_count_t4WUHVGj7f(op_YSKBFp38Pu(op_g7Hmc5v1ko(b,102),op_PPChnnnBFF(a,a)))
    return count


def op_WSbXXWOizJ(a, b):
    return op_g55IO6H4Gj(op_7j4O788W3g(a,a),op_NTOWxs364D(b,198))

def op_count_WSbXXWOizJ(a, b):
    count = op_count_7j4O788W3g(a,a)+op_count_NTOWxs364D(b,198)+op_count_g55IO6H4Gj(op_7j4O788W3g(a,a),op_NTOWxs364D(b,198))
    return count


a⋘b = { (a∐⫣) , if a!=72 and a!=391 ; (a⊲⩕⊾b) , else }

def op_2M7SKlOzyM(a, b):
    if a != 72 and a != 391:
        return op_4CyGpkTkEk(a)
    else:
        return op_DmTXOeWf9t(a,b)

def op_count_2M7SKlOzyM(a, b):
    if a != 72 and a != 391:
        count = op_count_4CyGpkTkEk(a)
    else:
        count = op_count_DmTXOeWf9t(a,b)
    return count


def op_p1y54au9R0(a):
    return op_ddLRYrp01A(op_Siyfjn51pv(a),a)

def op_count_p1y54au9R0(a):
    count = op_count_Siyfjn51pv(a)+op_count_ddLRYrp01A(op_Siyfjn51pv(a),a)
    return count


def op_hJ1EP0XKuB(a):
    return op_Tl3Y52tvF8(op_SWo3A1KBJH(op_i8ToyICDmI(a,a)))

def op_count_hJ1EP0XKuB(a):
    count = op_count_i8ToyICDmI(a,a)+op_count_SWo3A1KBJH(op_i8ToyICDmI(a,a))+op_count_Tl3Y52tvF8(op_SWo3A1KBJH(op_i8ToyICDmI(a,a)))
    return count


def op_RFg3ArkQ7E(a):
    return op_tGSeddj7UK(op_y4ImoPnbV5(op_3tVxb0NHM4(a,a),a))

def op_count_RFg3ArkQ7E(a):
    count = op_count_3tVxb0NHM4(a,a)+op_count_y4ImoPnbV5(op_3tVxb0NHM4(a,a),a)+op_count_tGSeddj7UK(op_y4ImoPnbV5(op_3tVxb0NHM4(a,a),a))
    return count


def op_iXQfhhNwXF(a):
    return op_uysxUYN2L2(op_jLgFTUHLKL(a),op_23Mk6UjR3U(17,a))

def op_count_iXQfhhNwXF(a):
    count = op_count_jLgFTUHLKL(a)+op_count_23Mk6UjR3U(17,a)+op_count_uysxUYN2L2(op_jLgFTUHLKL(a),op_23Mk6UjR3U(17,a))
    return count


def op_bR7FmX73P0(a, b):
    return op_YFxL8Sc2Zy(op_Z57zeUYC9z(a,op_6o9Blt3TJ6(a,b)))

def op_count_bR7FmX73P0(a, b):
    count = op_count_6o9Blt3TJ6(a,b)+op_count_Z57zeUYC9z(a,op_6o9Blt3TJ6(a,b))+op_count_YFxL8Sc2Zy(op_Z57zeUYC9z(a,op_6o9Blt3TJ6(a,b)))
    return count


def op_eWHr1gHY9C(a):
    return op_ZvLB05nZmT(op_keuJNkrrbj(op_Pkwamo1tM2(290,a),op_Z57zeUYC9z(a,241)),op_5twsqlHp2o(op_WmT3o8z6ya(a),op_U6pG0PXrV3(181)))

def op_count_eWHr1gHY9C(a):
    count = op_count_Pkwamo1tM2(290,a)+op_count_Z57zeUYC9z(a,241)+op_count_keuJNkrrbj(op_Pkwamo1tM2(290,a),op_Z57zeUYC9z(a,241))+op_count_WmT3o8z6ya(a)+op_count_U6pG0PXrV3(181)+op_count_5twsqlHp2o(op_WmT3o8z6ya(a),op_U6pG0PXrV3(181))+op_count_ZvLB05nZmT(op_keuJNkrrbj(op_Pkwamo1tM2(290,a),op_Z57zeUYC9z(a,241)),op_5twsqlHp2o(op_WmT3o8z6ya(a),op_U6pG0PXrV3(181)))
    return count


def op_1v5pUZ2RLP(a, b):
    return op_9FxExcQeMw(op_CArV6hThFE(a),op_XGcMNugi78(a,b))

def op_count_1v5pUZ2RLP(a, b):
    count = op_count_CArV6hThFE(a)+op_count_XGcMNugi78(a,b)+op_count_9FxExcQeMw(op_CArV6hThFE(a),op_XGcMNugi78(a,b))
    return count


def op_u3XxlibK4s(a):
    return op_cFVlceoRkX(op_2z8nE7LpCu(op_pRsWfj4Fpp(29),op_9samAPKr6k(a,a)),op_Qtd6bqUJcN(op_xRrnTEsQ6j(a,a)))

def op_count_u3XxlibK4s(a):
    count = op_count_pRsWfj4Fpp(29)+op_count_9samAPKr6k(a,a)+op_count_2z8nE7LpCu(op_pRsWfj4Fpp(29),op_9samAPKr6k(a,a))+op_count_xRrnTEsQ6j(a,a)+op_count_Qtd6bqUJcN(op_xRrnTEsQ6j(a,a))+op_count_cFVlceoRkX(op_2z8nE7LpCu(op_pRsWfj4Fpp(29),op_9samAPKr6k(a,a)),op_Qtd6bqUJcN(op_xRrnTEsQ6j(a,a)))
    return count


def op_3mEz3wejNI(a):
    return op_XTarYq4gQB(op_uysxUYN2L2(a,a))

def op_count_3mEz3wejNI(a):
    count = op_count_uysxUYN2L2(a,a)+op_count_XTarYq4gQB(op_uysxUYN2L2(a,a))
    return count


def op_C8AGOwLzL7(a):
    return op_rJVOvQCfKK(20,a)

def op_count_C8AGOwLzL7(a):
    count = op_count_rJVOvQCfKK(20,a)
    return count


def op_cnI436iWbz(a, b):
    return op_z6LnFrNh4i(op_aBQ6xLxuTc(482,a),op_Cr5xnr8B4B(a,b))

def op_count_cnI436iWbz(a, b):
    count = op_count_aBQ6xLxuTc(482,a)+op_count_Cr5xnr8B4B(a,b)+op_count_z6LnFrNh4i(op_aBQ6xLxuTc(482,a),op_Cr5xnr8B4B(a,b))
    return count


def op_ukGrET2Cg0(a):
    return op_lvlrscuwVU(a,a)

def op_count_ukGrET2Cg0(a):
    count = op_count_lvlrscuwVU(a,a)
    return count


a↼⇙⨌b = { (((b⨸⪁a)↪∷a)⪍↜⋙((b⪮%⊝b)≴⪞⇿a)) }

def op_rMifWJgd3t(a, b):
    return op_L05ObWFQCd(op_Api82iH42a(op_g55IO6H4Gj(b,a),a),op_lvlrscuwVU(op_IWmyXbctLI(b,b),a))

def op_count_rMifWJgd3t(a, b):
    count = op_count_g55IO6H4Gj(b,a)+op_count_Api82iH42a(op_g55IO6H4Gj(b,a),a)+op_count_IWmyXbctLI(b,b)+op_count_lvlrscuwVU(op_IWmyXbctLI(b,b),a)+op_count_L05ObWFQCd(op_Api82iH42a(op_g55IO6H4Gj(b,a),a),op_lvlrscuwVU(op_IWmyXbctLI(b,b),a))
    return count


def op_R6sRhpmvlr(a):
    return op_i8ToyICDmI(op_oH594TLvBK(op_z2JHNkvbdm(a,267)),op_wicAB68Tmb(op_tIhPxZTbsh(343,a),op_neKQRQQIil(a,a)))

def op_count_R6sRhpmvlr(a):
    count = op_count_z2JHNkvbdm(a,267)+op_count_oH594TLvBK(op_z2JHNkvbdm(a,267))+op_count_tIhPxZTbsh(343,a)+op_count_neKQRQQIil(a,a)+op_count_wicAB68Tmb(op_tIhPxZTbsh(343,a),op_neKQRQQIil(a,a))+op_count_i8ToyICDmI(op_oH594TLvBK(op_z2JHNkvbdm(a,267)),op_wicAB68Tmb(op_tIhPxZTbsh(343,a),op_neKQRQQIil(a,a)))
    return count


def op_GfE2GQMWLl(a):
    return op_aA7tF3KVD3(op_4JB6nKBMSY(op_OWnFPqjWlR(a,a),op_i8ToyICDmI(a,a)))

def op_count_GfE2GQMWLl(a):
    count = op_count_OWnFPqjWlR(a,a)+op_count_i8ToyICDmI(a,a)+op_count_4JB6nKBMSY(op_OWnFPqjWlR(a,a),op_i8ToyICDmI(a,a))+op_count_aA7tF3KVD3(op_4JB6nKBMSY(op_OWnFPqjWlR(a,a),op_i8ToyICDmI(a,a)))
    return count


a⇫≋b = { (((a⨜⨶b)≫≃)⇻⋧≁((b∌195)⪚(b⇣⩺⋵b))) }

def op_7mDgzgOxkj(a, b):
    return op_jCPkEVoL5K(op_X99M06cbEe(op_HiPekx5b7W(a,b)),op_HrjLwUk87U(op_8cLx32lpNA(b,195),op_F4yD0voBRQ(b,b)))

def op_count_7mDgzgOxkj(a, b):
    count = op_count_HiPekx5b7W(a,b)+op_count_X99M06cbEe(op_HiPekx5b7W(a,b))+op_count_8cLx32lpNA(b,195)+op_count_F4yD0voBRQ(b,b)+op_count_HrjLwUk87U(op_8cLx32lpNA(b,195),op_F4yD0voBRQ(b,b))+op_count_jCPkEVoL5K(op_X99M06cbEe(op_HiPekx5b7W(a,b)),op_HrjLwUk87U(op_8cLx32lpNA(b,195),op_F4yD0voBRQ(b,b)))
    return count


def op_N2CwLZHY2H(a, b):
    return op_XhwjNDsVaA(op_cHh1gJQ2o6(122,b),op_QKXs96F9fN(a))

def op_count_N2CwLZHY2H(a, b):
    count = op_count_cHh1gJQ2o6(122,b)+op_count_QKXs96F9fN(a)+op_count_XhwjNDsVaA(op_cHh1gJQ2o6(122,b),op_QKXs96F9fN(a))
    return count


def op_1wGGHZzAai(a):
    return op_RZ5CV9rWsJ(a,a)

def op_count_1wGGHZzAai(a):
    count = op_count_RZ5CV9rWsJ(a,a)
    return count


def op_x6DEqRu9vc(a):
    return op_f6k1SAg4EE(op_mp94q5OcYM(a),437)

def op_count_x6DEqRu9vc(a):
    count = op_count_mp94q5OcYM(a)+op_count_f6k1SAg4EE(op_mp94q5OcYM(a),437)
    return count


def op_UvedHhwKRj(a, b):
    return op_d8xe6WWVfM(op_uBihLCJcMX(b),op_RabNbG55vr(66,a))

def op_count_UvedHhwKRj(a, b):
    count = op_count_uBihLCJcMX(b)+op_count_RabNbG55vr(66,a)+op_count_d8xe6WWVfM(op_uBihLCJcMX(b),op_RabNbG55vr(66,a))
    return count


a→ = { (((⊤a)⨩≤⫤(7∙∹∝a))⨻⩈⩔((a⩁⩘a)⫽⇹≛)) }

def op_zVbKEeMoGt(a):
    return op_nEsXyWgiOK(op_neKQRQQIil(op_oDvtRyfmAM(a),op_HmxsFra2vL(7,a)),op_NNaDxxp6OQ(op_gub5Cegaqo(a,a)))

def op_count_zVbKEeMoGt(a):
    count = op_count_oDvtRyfmAM(a)+op_count_HmxsFra2vL(7,a)+op_count_neKQRQQIil(op_oDvtRyfmAM(a),op_HmxsFra2vL(7,a))+op_count_gub5Cegaqo(a,a)+op_count_NNaDxxp6OQ(op_gub5Cegaqo(a,a))+op_count_nEsXyWgiOK(op_neKQRQQIil(op_oDvtRyfmAM(a),op_HmxsFra2vL(7,a)),op_NNaDxxp6OQ(op_gub5Cegaqo(a,a)))
    return count


def op_vaH8QgiDVg(a):
    return op_BThhyOhh10(op_g7Hmc5v1ko(a,a))

def op_count_vaH8QgiDVg(a):
    count = op_count_g7Hmc5v1ko(a,a)+op_count_BThhyOhh10(op_g7Hmc5v1ko(a,a))
    return count


def op_jrW1E7Ncie(a):
    return op_bJkvcejdHO(op_03sUfWo75k(op_Bi9z9uYZqW(a)),op_i8ToyICDmI(a,op_Y5cEcQhyKu(47,a)))

def op_count_jrW1E7Ncie(a):
    count = op_count_Bi9z9uYZqW(a)+op_count_03sUfWo75k(op_Bi9z9uYZqW(a))+op_count_Y5cEcQhyKu(47,a)+op_count_i8ToyICDmI(a,op_Y5cEcQhyKu(47,a))+op_count_bJkvcejdHO(op_03sUfWo75k(op_Bi9z9uYZqW(a)),op_i8ToyICDmI(a,op_Y5cEcQhyKu(47,a)))
    return count


def op_6Ac6Foig3G(a):
    return op_wscyQdcy20(a,a)

def op_count_6Ac6Foig3G(a):
    count = op_count_wscyQdcy20(a,a)
    return count


a⋙⫃ = { (((a⨵⪆a)⋂⩴(a→⨶⪴a))⩌⋺((⫓⪴a)⋞(109⨽a))) }

def op_17vTJqz9Ht(a):
    return op_g7Hmc5v1ko(op_hmlrMsD2PO(op_2DQ55sFlQl(a,a),op_bF6eod5Gvf(a,a)),op_V4yb4KDoeF(op_eLxqMNBOBk(a),op_8HhzD0ZcuI(109,a)))

def op_count_17vTJqz9Ht(a):
    count = op_count_2DQ55sFlQl(a,a)+op_count_bF6eod5Gvf(a,a)+op_count_hmlrMsD2PO(op_2DQ55sFlQl(a,a),op_bF6eod5Gvf(a,a))+op_count_eLxqMNBOBk(a)+op_count_8HhzD0ZcuI(109,a)+op_count_V4yb4KDoeF(op_eLxqMNBOBk(a),op_8HhzD0ZcuI(109,a))+op_count_g7Hmc5v1ko(op_hmlrMsD2PO(op_2DQ55sFlQl(a,a),op_bF6eod5Gvf(a,a)),op_V4yb4KDoeF(op_eLxqMNBOBk(a),op_8HhzD0ZcuI(109,a)))
    return count


a⫧⋃≅b = { (b⇴b) , if (a⩉⊫⨁)!=142 ; (a⪟⇏a) , else }

def op_rJlMWXggw2(a, b):
    if op_7qqUquhhSb(a) != 142:
        return op_4JB6nKBMSY(b,b)
    else:
        return op_GODebY97qR(a,a)

def op_count_rJlMWXggw2(a, b):
    if op_7qqUquhhSb(a) != 142:
        count = op_count_4JB6nKBMSY(b,b)+op_count_7qqUquhhSb(a)
    else:
        count = op_count_GODebY97qR(a,a)
    return count


def op_S0xevmWjPz(a):
    if a != 77:
        return op_P8v4zCKN1o(op_gSr4c7pPrV(a))
    else:
        return op_XhwjNDsVaA(op_PoHhknlbAi(a,526),op_v0DYgG9ikt(345))

def op_count_S0xevmWjPz(a):
    if a != 77:
        count = op_count_gSr4c7pPrV(a)+op_count_P8v4zCKN1o(op_gSr4c7pPrV(a))
    else:
        count = op_count_PoHhknlbAi(a,526)+op_count_v0DYgG9ikt(345)+op_count_XhwjNDsVaA(op_PoHhknlbAi(a,526),op_v0DYgG9ikt(345))
    return count


⫓⋮≁a = { ((a⩌⋺a)⇂≾⫗(179⪘⫢a)) , if (⩪⩔a)<147 ; ((⫶⊄≣a)⊦⊿) , else }

def op_9QNY6wq3gX(a):
    if op_Siyfjn51pv(a) < 147:
        return op_aBQ6xLxuTc(op_g7Hmc5v1ko(a,a),op_oacrs7FA3X(179,a))
    else:
        return op_14qkJME0vr(op_wxb3vTeyAj(a))

def op_count_9QNY6wq3gX(a):
    if op_Siyfjn51pv(a) < 147:
        count = op_count_g7Hmc5v1ko(a,a)+op_count_oacrs7FA3X(179,a)+op_count_aBQ6xLxuTc(op_g7Hmc5v1ko(a,a),op_oacrs7FA3X(179,a))+op_count_Siyfjn51pv(a)
    else:
        count = op_count_wxb3vTeyAj(a)+op_count_14qkJME0vr(op_wxb3vTeyAj(a))
    return count


a⫬↰b = { (⪡⇡≛a) , if (a⩚)>245 ; (b⨽⪊≇) , else }

def op_f8TJb0vaMc(a, b):
    if op_i3MWstRFMQ(a) > 245:
        return op_qL4PrbW1Dq(a)
    else:
        return op_nlCqmYiOvY(b)

def op_count_f8TJb0vaMc(a, b):
    if op_i3MWstRFMQ(a) > 245:
        count = op_count_qL4PrbW1Dq(a)+op_count_i3MWstRFMQ(a)
    else:
        count = op_count_nlCqmYiOvY(b)
    return count


a≎ = { (a⊮⊟↴a) , if a>275 ; (a⪃↞⩐) , else }

def op_ziBb4sC0ZT(a):
    if a > 275:
        return op_QDVgd2eftb(a,a)
    else:
        return op_grXIztHqDa(a)

def op_count_ziBb4sC0ZT(a):
    if a > 275:
        count = op_count_QDVgd2eftb(a,a)
    else:
        count = op_count_grXIztHqDa(a)
    return count


def op_B0ezUFU1kP(a):
    if op_y75s1iXyHd(a,704) == 428:
        return op_k8jYdgA6NY(op_8INZBEW696(a,a),op_XGcMNugi78(301,174))
    else:
        return op_ZvLB05nZmT(op_wscyQdcy20(a,12),op_liw5iZPkLH(198))

def op_count_B0ezUFU1kP(a):
    if op_y75s1iXyHd(a,704) == 428:
        count = op_count_8INZBEW696(a,a)+op_count_XGcMNugi78(301,174)+op_count_k8jYdgA6NY(op_8INZBEW696(a,a),op_XGcMNugi78(301,174))+op_count_y75s1iXyHd(a,704)
    else:
        count = op_count_wscyQdcy20(a,12)+op_count_liw5iZPkLH(198)+op_count_ZvLB05nZmT(op_wscyQdcy20(a,12),op_liw5iZPkLH(198))
    return count


def op_otBzi3yDII(a):
    if op_ocpzidtxKt(a) == 220 or op_B3sABdIn96(a) > 162:
        return op_9samAPKr6k(op_nREPSIbpBE(a,a),op_aBQ6xLxuTc(a,a))
    else:
        return op_GMN7JP6WpN(op_uFcxV4UQCh(107,164),op_5RY6W0glyJ(a))

def op_count_otBzi3yDII(a):
    if op_ocpzidtxKt(a) == 220 or op_B3sABdIn96(a) > 162:
        count = op_count_nREPSIbpBE(a,a)+op_count_aBQ6xLxuTc(a,a)+op_count_9samAPKr6k(op_nREPSIbpBE(a,a),op_aBQ6xLxuTc(a,a))+op_count_ocpzidtxKt(a)+op_count_B3sABdIn96(a)
    else:
        count = op_count_uFcxV4UQCh(107,164)+op_count_5RY6W0glyJ(a)+op_count_GMN7JP6WpN(op_uFcxV4UQCh(107,164),op_5RY6W0glyJ(a))
    return count


def op_z4gvzBU7aQ(a, b):
    if op_nEsXyWgiOK(b,340) == 159:
        return op_eH2TOUuTDT(op_diKm42VcIt(op_kbkesczE7y(b,a)))
    else:
        return b

def op_count_z4gvzBU7aQ(a, b):
    if op_nEsXyWgiOK(b,340) == 159:
        count = op_count_kbkesczE7y(b,a)+op_count_diKm42VcIt(op_kbkesczE7y(b,a))+op_count_eH2TOUuTDT(op_diKm42VcIt(op_kbkesczE7y(b,a)))+op_count_nEsXyWgiOK(b,340)
    else:
        count = 1
    return count


def op_i43TpB2HrT(a, b):
    if (op_t4WUHVGj7f(a) <= 184 or op_ZvLB05nZmT(a,411) > 414):
        return op_WR6HLWljOP(op_XwDhCwWbUn(b),op_rysDP5nf3Z(b,a))
    else:
        return op_rPNtK4BLRO(op_ObEyaaML9x(497,b),op_kn8WO9XteQ(a,a))

def op_count_i43TpB2HrT(a, b):
    if (op_t4WUHVGj7f(a) <= 184 or op_ZvLB05nZmT(a,411) > 414):
        count = op_count_XwDhCwWbUn(b)+op_count_rysDP5nf3Z(b,a)+op_count_WR6HLWljOP(op_XwDhCwWbUn(b),op_rysDP5nf3Z(b,a))+op_count_t4WUHVGj7f(a)+op_count_ZvLB05nZmT(a,411)
    else:
        count = op_count_ObEyaaML9x(497,b)+op_count_kn8WO9XteQ(a,a)+op_count_rPNtK4BLRO(op_ObEyaaML9x(497,b),op_kn8WO9XteQ(a,a))
    return count


def op_ixc2Esl5RP(a):
    return op_6iafYuwGo8(op_Sq3AGanRSD(a,a),op_srAu1WTS94(a))

def op_count_ixc2Esl5RP(a):
    count = op_count_Sq3AGanRSD(a,a)+op_count_srAu1WTS94(a)+op_count_6iafYuwGo8(op_Sq3AGanRSD(a,a),op_srAu1WTS94(a))
    return count


def op_lP51NIPzK8(a):
    if op_WObL9SsYVE(a,751) > 186:
        return op_k8jYdgA6NY(op_6l7ULzJsnZ(a),op_sYcpBQ0cFf(228))
    else:
        return op_Bmrmz2XGnR(op_WkeUrDK8WX(a),op_tnyRA5sazQ(a,a))

def op_count_lP51NIPzK8(a):
    if op_WObL9SsYVE(a,751) > 186:
        count = op_count_6l7ULzJsnZ(a)+op_count_sYcpBQ0cFf(228)+op_count_k8jYdgA6NY(op_6l7ULzJsnZ(a),op_sYcpBQ0cFf(228))+op_count_WObL9SsYVE(a,751)
    else:
        count = op_count_WkeUrDK8WX(a)+op_count_tnyRA5sazQ(a,a)+op_count_Bmrmz2XGnR(op_WkeUrDK8WX(a),op_tnyRA5sazQ(a,a))
    return count


def op_dR2gYrpTIj(a, b):
    if (op_kHoXpA7yos(a) != 440 or op_2PILXiQIjy(b) <= 726):
        return op_H9jWZL1q0V(b)
    else:
        return op_yXekIHxTD4(b,a)

def op_count_dR2gYrpTIj(a, b):
    if (op_kHoXpA7yos(a) != 440 or op_2PILXiQIjy(b) <= 726):
        count = op_count_H9jWZL1q0V(b)+op_count_kHoXpA7yos(a)+op_count_2PILXiQIjy(b)
    else:
        count = op_count_yXekIHxTD4(b,a)
    return count


a⪃ = { ((a⩣⫁∢(a⫢⨠71))≑≱⪘) , if ((⨆≐≲a)>177 or (⋽⪳⨃a)!=73) ; (((a⪉⨛a)∝(a≠≀a))⋛∩⫮) , else }

def op_YocpLSRo8j(a):
    if (op_Bi9z9uYZqW(a) > 177 or op_qAljGMXEZr(a) != 73):
        return op_tGSeddj7UK(op_JDUIKTTSIa(a,op_xlXykHWxX1(a,71)))
    else:
        return op_QDWDTvZtyM(op_cTDWOvIxvz(op_EWw2JM7wp4(a,a),op_IwW236VD4Y(a,a)))

def op_count_YocpLSRo8j(a):
    if (op_Bi9z9uYZqW(a) > 177 or op_qAljGMXEZr(a) != 73):
        count = op_count_xlXykHWxX1(a,71)+op_count_JDUIKTTSIa(a,op_xlXykHWxX1(a,71))+op_count_tGSeddj7UK(op_JDUIKTTSIa(a,op_xlXykHWxX1(a,71)))+op_count_Bi9z9uYZqW(a)+op_count_qAljGMXEZr(a)
    else:
        count = op_count_EWw2JM7wp4(a,a)+op_count_IwW236VD4Y(a,a)+op_count_cTDWOvIxvz(op_EWw2JM7wp4(a,a),op_IwW236VD4Y(a,a))+op_count_QDWDTvZtyM(op_cTDWOvIxvz(op_EWw2JM7wp4(a,a),op_IwW236VD4Y(a,a)))
    return count


def op_2u38eHdNB5(a, b):
    if op_gub5Cegaqo(a,78) >= 213:
        return op_YbVcJGFEVW(op_vkpjKywKVM(op_kuIXHzHcAH(51,b),op_2ufhKmSs5H(262)),op_9tKT6PmtkH(op_irKjLsMeKy(a,b)))
    else:
        return op_OTRTVPweYV(op_DO4fhlbJSI(op_2DQ55sFlQl(a,b)),op_Kn0TacbtGK(a))

def op_count_2u38eHdNB5(a, b):
    if op_gub5Cegaqo(a,78) >= 213:
        count = op_count_kuIXHzHcAH(51,b)+op_count_2ufhKmSs5H(262)+op_count_vkpjKywKVM(op_kuIXHzHcAH(51,b),op_2ufhKmSs5H(262))+op_count_irKjLsMeKy(a,b)+op_count_9tKT6PmtkH(op_irKjLsMeKy(a,b))+op_count_YbVcJGFEVW(op_vkpjKywKVM(op_kuIXHzHcAH(51,b),op_2ufhKmSs5H(262)),op_9tKT6PmtkH(op_irKjLsMeKy(a,b)))+op_count_gub5Cegaqo(a,78)
    else:
        count = op_count_2DQ55sFlQl(a,b)+op_count_DO4fhlbJSI(op_2DQ55sFlQl(a,b))+op_count_Kn0TacbtGK(a)+op_count_OTRTVPweYV(op_DO4fhlbJSI(op_2DQ55sFlQl(a,b)),op_Kn0TacbtGK(a))
    return count


def op_d5CHQX7ZoG(a, b):
    if op_G9tJMlZ94a(b) > 661 and op_lAOUD4ZMWV(b) < 177:
        return op_vkpjKywKVM(op_j9kHMeSvPp(op_bJkvcejdHO(a,838),op_H6BK1Evt7c(139)),op_4JB6nKBMSY(op_sM9mzqIDB1(a,28),op_g7Hmc5v1ko(6,b)))
    else:
        return op_JoLB3LXqXx(op_jWTQ2TZYIH(op_th50nGnoUm(a),op_tGSeddj7UK(b)),op_6o9Blt3TJ6(op_UoVew8f2p2(a,79),45))

def op_count_d5CHQX7ZoG(a, b):
    if op_G9tJMlZ94a(b) > 661 and op_lAOUD4ZMWV(b) < 177:
        count = op_count_bJkvcejdHO(a,838)+op_count_H6BK1Evt7c(139)+op_count_j9kHMeSvPp(op_bJkvcejdHO(a,838),op_H6BK1Evt7c(139))+op_count_sM9mzqIDB1(a,28)+op_count_g7Hmc5v1ko(6,b)+op_count_4JB6nKBMSY(op_sM9mzqIDB1(a,28),op_g7Hmc5v1ko(6,b))+op_count_vkpjKywKVM(op_j9kHMeSvPp(op_bJkvcejdHO(a,838),op_H6BK1Evt7c(139)),op_4JB6nKBMSY(op_sM9mzqIDB1(a,28),op_g7Hmc5v1ko(6,b)))+op_count_G9tJMlZ94a(b)+op_count_lAOUD4ZMWV(b)
    else:
        count = op_count_th50nGnoUm(a)+op_count_tGSeddj7UK(b)+op_count_jWTQ2TZYIH(op_th50nGnoUm(a),op_tGSeddj7UK(b))+op_count_UoVew8f2p2(a,79)+op_count_6o9Blt3TJ6(op_UoVew8f2p2(a,79),45)+op_count_JoLB3LXqXx(op_jWTQ2TZYIH(op_th50nGnoUm(a),op_tGSeddj7UK(b)),op_6o9Blt3TJ6(op_UoVew8f2p2(a,79),45))
    return count


a↭⋂b = { (a⨚a) , if b==345 ; (a⫿) , else }

def op_Acnz1HI8Ry(a, b):
    if b == 345:
        return op_nREPSIbpBE(a,a)
    else:
        return op_9tKT6PmtkH(a)

def op_count_Acnz1HI8Ry(a, b):
    if b == 345:
        count = op_count_nREPSIbpBE(a,a)
    else:
        count = op_count_9tKT6PmtkH(a)
    return count


def op_ua2fiIHkOT(a):
    if op_2DDjHMKMc0(a,977) == 76:
        return op_OWnFPqjWlR(op_SUmda5xLS4(a,a),op_MGuIdZPyUC(a))
    else:
        return op_PZaICrJanm(op_RygbFNSyEJ(287,a))

def op_count_ua2fiIHkOT(a):
    if op_2DDjHMKMc0(a,977) == 76:
        count = op_count_SUmda5xLS4(a,a)+op_count_MGuIdZPyUC(a)+op_count_OWnFPqjWlR(op_SUmda5xLS4(a,a),op_MGuIdZPyUC(a))+op_count_2DDjHMKMc0(a,977)
    else:
        count = op_count_RygbFNSyEJ(287,a)+op_count_PZaICrJanm(op_RygbFNSyEJ(287,a))
    return count

MGuIdZPyUC SUmda5xLS4 OWnFPqjWlR RygbFNSyEJ 2DDjHMKMc0 PZaICrJanm


def op_QLJ9aFu80N(a, b):
    if op_F4yD0voBRQ(b,787) != 394:
        return op_PjbVkMzmXE(op_3sJ7IOPOlU(205,b),op_oPMjh9089D(a))
    else:
        return op_Loh9y4A90B(op_2jG7DiviLq(b))

def op_count_QLJ9aFu80N(a, b):
    if op_F4yD0voBRQ(b,787) != 394:
        count = op_count_3sJ7IOPOlU(205,b)+op_count_oPMjh9089D(a)+op_count_PjbVkMzmXE(op_3sJ7IOPOlU(205,b),op_oPMjh9089D(a))+op_count_F4yD0voBRQ(b,787)
    else:
        count = op_count_2jG7DiviLq(b)+op_count_Loh9y4A90B(op_2jG7DiviLq(b))
    return count


def op_hFvFHqVvZy(a):
    if op_i8ToyICDmI(a,822) < 472:
        return op_8HhzD0ZcuI(626,a)
    else:
        return op_ap3xiM279w(a,a)

def op_count_hFvFHqVvZy(a):
    if op_i8ToyICDmI(a,822) < 472:
        count = op_count_8HhzD0ZcuI(626,a)+op_count_i8ToyICDmI(a,822)
    else:
        count = op_count_ap3xiM279w(a,a)
    return count


def op_uQ5MaQD2YO(a, b):
    if (b > 120 or op_DmTXOeWf9t(b,713) > 216):
        return op_7YooWSwCyH(op_HiPekx5b7W(b,47),op_Tl3Y52tvF8(a))
    else:
        return op_nbuSfrB4hB(op_2jG7DiviLq(a),op_SPuZE40Ntn(b,256))

def op_count_uQ5MaQD2YO(a, b):
    if (b > 120 or op_DmTXOeWf9t(b,713) > 216):
        count = op_count_HiPekx5b7W(b,47)+op_count_Tl3Y52tvF8(a)+op_count_7YooWSwCyH(op_HiPekx5b7W(b,47),op_Tl3Y52tvF8(a))+op_count_DmTXOeWf9t(b,713)
    else:
        count = op_count_2jG7DiviLq(a)+op_count_SPuZE40Ntn(b,256)+op_count_nbuSfrB4hB(op_2jG7DiviLq(a),op_SPuZE40Ntn(b,256))
    return count


def op_zFY2A2ppo2(a):
    if (op_nCS4ZIUYfx(a,582) < 48 or op_ar1w6gUwHX(a,49) <= 271):
        return op_JLbD19bQDL(op_hyuBjUqXlG(a,a))
    else:
        return op_6iafYuwGo8(op_W4tP9CfskL(132,a),op_8INZBEW696(a,a))

def op_count_zFY2A2ppo2(a):
    if (op_nCS4ZIUYfx(a,582) < 48 or op_ar1w6gUwHX(a,49) <= 271):
        count = op_count_hyuBjUqXlG(a,a)+op_count_JLbD19bQDL(op_hyuBjUqXlG(a,a))+op_count_nCS4ZIUYfx(a,582)+op_count_ar1w6gUwHX(a,49)
    else:
        count = op_count_W4tP9CfskL(132,a)+op_count_8INZBEW696(a,a)+op_count_6iafYuwGo8(op_W4tP9CfskL(132,a),op_8INZBEW696(a,a))
    return count


a↴⪮b = { (((a⋞b)⇤(b⪔⊥b))⫞⩸⩒a) , if (a⪑⩈)>790 ; b , else }

def op_3ayH0UyYyX(a, b):
    if op_C6VvDP6HwP(a) > 790:
        return op_XGcMNugi78(op_YSKBFp38Pu(op_V4yb4KDoeF(a,b),op_HJ9erzHUuu(b,b)),a)
    else:
        return b

def op_count_3ayH0UyYyX(a, b):
    if op_C6VvDP6HwP(a) > 790:
        count = op_count_V4yb4KDoeF(a,b)+op_count_HJ9erzHUuu(b,b)+op_count_YSKBFp38Pu(op_V4yb4KDoeF(a,b),op_HJ9erzHUuu(b,b))+op_count_XGcMNugi78(op_YSKBFp38Pu(op_V4yb4KDoeF(a,b),op_HJ9erzHUuu(b,b)),a)+op_count_C6VvDP6HwP(a)
    else:
        count = 1
    return count


def op_vFgX83MrL4(a):
    if a >= 233:
        return op_umQnsF7QlU(a,op_k2B77S3vSv(op_RygbFNSyEJ(a,163)))
    else:
        return op_KFSx94NKJn(op_Qy55tPpLXF(op_giaUb8UVhq(45,a),a),op_ar1w6gUwHX(op_z6LnFrNh4i(a,115),op_hyuBjUqXlG(a,a)))

def op_count_vFgX83MrL4(a):
    if a >= 233:
        count = op_count_RygbFNSyEJ(a,163)+op_count_k2B77S3vSv(op_RygbFNSyEJ(a,163))+op_count_umQnsF7QlU(a,op_k2B77S3vSv(op_RygbFNSyEJ(a,163)))
    else:
        count = op_count_giaUb8UVhq(45,a)+op_count_Qy55tPpLXF(op_giaUb8UVhq(45,a),a)+op_count_z6LnFrNh4i(a,115)+op_count_hyuBjUqXlG(a,a)+op_count_ar1w6gUwHX(op_z6LnFrNh4i(a,115),op_hyuBjUqXlG(a,a))+op_count_KFSx94NKJn(op_Qy55tPpLXF(op_giaUb8UVhq(45,a),a),op_ar1w6gUwHX(op_z6LnFrNh4i(a,115),op_hyuBjUqXlG(a,a)))
    return count


def op_fICjaz8Yf3(a, b):
    if op_ap3xiM279w(b,837) != 250 or op_Qaz2MhZaG5(a,423) == 2:
        return op_QbnwKVWMIQ(a,b)
    else:
        return op_RabNbG55vr(a,81)

def op_count_fICjaz8Yf3(a, b):
    if op_ap3xiM279w(b,837) != 250 or op_Qaz2MhZaG5(a,423) == 2:
        count = op_count_QbnwKVWMIQ(a,b)+op_count_ap3xiM279w(b,837)+op_count_Qaz2MhZaG5(a,423)
    else:
        count = op_count_RabNbG55vr(a,81)
    return count


a⪵⩧⪨b = { 244 , if (a⋾⨟)<79 ; ((∮(⨞⊢b))≽↲≰((b↢a)⨐(a⋰⇉∕b))) , else }

def op_0QEWQRhRpH(a, b):
    if op_hYjFJ8q04Z(a) < 79:
        return 244
    else:
        return op_cFVlceoRkX(op_CqXKPLVYql(op_xUOZtlo3hN(b)),op_Noe24qw2ks(op_WR6HLWljOP(b,a),op_sM9mzqIDB1(a,b)))

def op_count_0QEWQRhRpH(a, b):
    if op_hYjFJ8q04Z(a) < 79:
        count = op_count_hYjFJ8q04Z(a)
    else:
        count = op_count_xUOZtlo3hN(b)+op_count_CqXKPLVYql(op_xUOZtlo3hN(b))+op_count_WR6HLWljOP(b,a)+op_count_sM9mzqIDB1(a,b)+op_count_Noe24qw2ks(op_WR6HLWljOP(b,a),op_sM9mzqIDB1(a,b))+op_count_cFVlceoRkX(op_CqXKPLVYql(op_xUOZtlo3hN(b)),op_Noe24qw2ks(op_WR6HLWljOP(b,a),op_sM9mzqIDB1(a,b)))
    return count


a⫟⪀b = { (((a↢b)⩷∴(b≓∲b))⪨≂((503⊢a)⨜⇔a)) , if a!=344 ; a , else }

def op_ZG1KnpkPxw(a, b):
    if a != 344:
        return op_sdazOOVcIp(op_9FxExcQeMw(op_WR6HLWljOP(a,b),op_s1XTVnmDOJ(b,b)),op_Sq3AGanRSD(op_5twsqlHp2o(503,a),a))
    else:
        return a

def op_count_ZG1KnpkPxw(a, b):
    if a != 344:
        count = op_count_WR6HLWljOP(a,b)+op_count_s1XTVnmDOJ(b,b)+op_count_9FxExcQeMw(op_WR6HLWljOP(a,b),op_s1XTVnmDOJ(b,b))+op_count_5twsqlHp2o(503,a)+op_count_Sq3AGanRSD(op_5twsqlHp2o(503,a),a)+op_count_sdazOOVcIp(op_9FxExcQeMw(op_WR6HLWljOP(a,b),op_s1XTVnmDOJ(b,b)),op_Sq3AGanRSD(op_5twsqlHp2o(503,a),a))
    else:
        count = 1
    return count


def op_RXUpafmlG7(a, b):
    if op_tnyRA5sazQ(a,776) <= 57:
        return op_eaFBhJ0Uku(op_rPNtK4BLRO(op_HmxsFra2vL(159,a),op_8INZBEW696(b,b)),op_xNBdhnnwKq(op_Q2SPaKwpPJ(208,a)))
    else:
        return op_VCG3UHNzLR(op_zR4jO40bMj(op_ddLRYrp01A(780,a),op_QKXs96F9fN(b)),a)

def op_count_RXUpafmlG7(a, b):
    if op_tnyRA5sazQ(a,776) <= 57:
        count = op_count_HmxsFra2vL(159,a)+op_count_8INZBEW696(b,b)+op_count_rPNtK4BLRO(op_HmxsFra2vL(159,a),op_8INZBEW696(b,b))+op_count_Q2SPaKwpPJ(208,a)+op_count_xNBdhnnwKq(op_Q2SPaKwpPJ(208,a))+op_count_eaFBhJ0Uku(op_rPNtK4BLRO(op_HmxsFra2vL(159,a),op_8INZBEW696(b,b)),op_xNBdhnnwKq(op_Q2SPaKwpPJ(208,a)))+op_count_tnyRA5sazQ(a,776)
    else:
        count = op_count_ddLRYrp01A(780,a)+op_count_QKXs96F9fN(b)+op_count_zR4jO40bMj(op_ddLRYrp01A(780,a),op_QKXs96F9fN(b))+op_count_VCG3UHNzLR(op_zR4jO40bMj(op_ddLRYrp01A(780,a),op_QKXs96F9fN(b)),a)
    return count


⋛⋶a = { (((a⨻⩈⩔378)∄(a⨴112))≬⇓((a≀⩗∶a)⋘(a⩼⇪↪a))) }

def op_8ZudynJV7e(a):
    return op_jWTQ2TZYIH(op_tnyRA5sazQ(op_nEsXyWgiOK(a,378),op_jBC4ymW3D7(a,112)),op_2M7SKlOzyM(op_8INZBEW696(a,a),op_ocnLzx9CaJ(a,a)))

def op_count_8ZudynJV7e(a):
    count = op_count_nEsXyWgiOK(a,378)+op_count_jBC4ymW3D7(a,112)+op_count_tnyRA5sazQ(op_nEsXyWgiOK(a,378),op_jBC4ymW3D7(a,112))+op_count_8INZBEW696(a,a)+op_count_ocnLzx9CaJ(a,a)+op_count_2M7SKlOzyM(op_8INZBEW696(a,a),op_ocnLzx9CaJ(a,a))+op_count_jWTQ2TZYIH(op_tnyRA5sazQ(op_nEsXyWgiOK(a,378),op_jBC4ymW3D7(a,112)),op_2M7SKlOzyM(op_8INZBEW696(a,a),op_ocnLzx9CaJ(a,a)))
    return count


def op_PIKqUwW8wB(a):
    return op_jCPkEVoL5K(op_61wBmkZwlr(a),op_9tKT6PmtkH(a))

def op_count_PIKqUwW8wB(a):
    count = op_count_61wBmkZwlr(a)+op_count_9tKT6PmtkH(a)+op_count_jCPkEVoL5K(op_61wBmkZwlr(a),op_9tKT6PmtkH(a))
    return count


def op_zcaA4Z4NaO(a, b):
    return op_R5aXW34M0v(op_jWTQ2TZYIH(op_F4yD0voBRQ(a,b),op_rysDP5nf3Z(51,3)))

def op_count_zcaA4Z4NaO(a, b):
    count = op_count_F4yD0voBRQ(a,b)+op_count_rysDP5nf3Z(51,3)+op_count_jWTQ2TZYIH(op_F4yD0voBRQ(a,b),op_rysDP5nf3Z(51,3))+op_count_R5aXW34M0v(op_jWTQ2TZYIH(op_F4yD0voBRQ(a,b),op_rysDP5nf3Z(51,3)))
    return count


def op_1NCu7utSrV(a, b):
    return op_Dk5vyLCiGd(op_Qy55tPpLXF(a,b))

def op_count_1NCu7utSrV(a, b):
    count = op_count_Qy55tPpLXF(a,b)+op_count_Dk5vyLCiGd(op_Qy55tPpLXF(a,b))
    return count


def op_IyXueN9Vxj(a):
    if op_gSr4c7pPrV(a) == 254 or op_eH2TOUuTDT(a) > 126 or op_UggxBX659n(a,738) >= 35:
        return op_XIabStNQrY(op_Api82iH42a(a,a))
    else:
        return op_BiWNJpBvwn(op_eaFBhJ0Uku(a,a),op_vkpjKywKVM(a,24))

def op_count_IyXueN9Vxj(a):
    if op_gSr4c7pPrV(a) == 254 or op_eH2TOUuTDT(a) > 126 or op_UggxBX659n(a,738) >= 35:
        count = op_count_Api82iH42a(a,a)+op_count_XIabStNQrY(op_Api82iH42a(a,a))+op_count_gSr4c7pPrV(a)+op_count_eH2TOUuTDT(a)+op_count_UggxBX659n(a,738)
    else:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_vkpjKywKVM(a,24)+op_count_BiWNJpBvwn(op_eaFBhJ0Uku(a,a),op_vkpjKywKVM(a,24))
    return count


def op_iCFmNpcOux(a):
    return op_8HhzD0ZcuI(a,a)

def op_count_iCFmNpcOux(a):
    count = op_count_8HhzD0ZcuI(a,a)
    return count


def op_UgJUmNBkC4(a):
    if op_liw5iZPkLH(a) > 352:
        return a
    else:
        return op_YbUVn0Rbpy(op_P8v4zCKN1o(op_k8jYdgA6NY(633,a)),op_Dk5vyLCiGd(a))

def op_count_UgJUmNBkC4(a):
    if op_liw5iZPkLH(a) > 352:
        count = 1
    else:
        count = op_count_k8jYdgA6NY(633,a)+op_count_P8v4zCKN1o(op_k8jYdgA6NY(633,a))+op_count_Dk5vyLCiGd(a)+op_count_YbUVn0Rbpy(op_P8v4zCKN1o(op_k8jYdgA6NY(633,a)),op_Dk5vyLCiGd(a))
    return count


def op_OfugFTrv6S(a):
    if a <= 342:
        return op_KROiRRz3d6(op_SPuZE40Ntn(op_XhwjNDsVaA(a,a),op_3A1e9zoj8h(a)),op_XGcMNugi78(op_IWmyXbctLI(470,236),op_F4yD0voBRQ(a,a)))
    else:
        return op_Eev2Q7dYIw(op_fjqJgF5yyp(op_uysxUYN2L2(a,a)))

def op_count_OfugFTrv6S(a):
    if a <= 342:
        count = op_count_XhwjNDsVaA(a,a)+op_count_3A1e9zoj8h(a)+op_count_SPuZE40Ntn(op_XhwjNDsVaA(a,a),op_3A1e9zoj8h(a))+op_count_IWmyXbctLI(470,236)+op_count_F4yD0voBRQ(a,a)+op_count_XGcMNugi78(op_IWmyXbctLI(470,236),op_F4yD0voBRQ(a,a))+op_count_KROiRRz3d6(op_SPuZE40Ntn(op_XhwjNDsVaA(a,a),op_3A1e9zoj8h(a)),op_XGcMNugi78(op_IWmyXbctLI(470,236),op_F4yD0voBRQ(a,a)))
    else:
        count = op_count_uysxUYN2L2(a,a)+op_count_fjqJgF5yyp(op_uysxUYN2L2(a,a))+op_count_Eev2Q7dYIw(op_fjqJgF5yyp(op_uysxUYN2L2(a,a)))
    return count


def op_kvIXUmKfYG(a):
    return op_mp94q5OcYM(op_WObL9SsYVE(87,a))

def op_count_kvIXUmKfYG(a):
    count = op_count_WObL9SsYVE(87,a)+op_count_mp94q5OcYM(op_WObL9SsYVE(87,a))
    return count


a⨨b = { ((b≚⊃≕a)⨫⇇↔(a≠≀a)) , if (a⪿⇪⊩867)>230 ; ((a⊔%b)⪘⫢(20⋖∅⋲)) , else }

def op_vhtqQa4va1(a, b):
    if op_OGWBzMv138(a,867) > 230:
        return op_LXhwmt4mBO(op_Bmrmz2XGnR(b,a),op_IwW236VD4Y(a,a))
    else:
        return op_oacrs7FA3X(op_uysxUYN2L2(a,b),op_L95AwlJzhO(20))

def op_count_vhtqQa4va1(a, b):
    if op_OGWBzMv138(a,867) > 230:
        count = op_count_Bmrmz2XGnR(b,a)+op_count_IwW236VD4Y(a,a)+op_count_LXhwmt4mBO(op_Bmrmz2XGnR(b,a),op_IwW236VD4Y(a,a))+op_count_OGWBzMv138(a,867)
    else:
        count = op_count_uysxUYN2L2(a,b)+op_count_L95AwlJzhO(20)+op_count_oacrs7FA3X(op_uysxUYN2L2(a,b),op_L95AwlJzhO(20))
    return count


def op_FAUHmXADzM(a):
    if op_zV3pqYiQ5E(a) >= 532:
        return a
    else:
        return op_09Ly4LVMIf(op_inCIaGQf8u(451,104),op_k4iM1060OG(a))

def op_count_FAUHmXADzM(a):
    if op_zV3pqYiQ5E(a) >= 532:
        count = 1
    else:
        count = op_count_inCIaGQf8u(451,104)+op_count_k4iM1060OG(a)+op_count_09Ly4LVMIf(op_inCIaGQf8u(451,104),op_k4iM1060OG(a))
    return count


a↨⩘ = { ((⊖∈(a⫚↹⊑a))⩦((a⪮%⊝a)⨔≚≋(a⨻⩈⩔169))) }

def op_1pJ76SN1ns(a):
    return op_0kmYd0q39Y(op_YFxL8Sc2Zy(op_dfKe02y8D2(a,a)),op_Z57zeUYC9z(op_IWmyXbctLI(a,a),op_nEsXyWgiOK(a,169)))

def op_count_1pJ76SN1ns(a):
    count = op_count_dfKe02y8D2(a,a)+op_count_YFxL8Sc2Zy(op_dfKe02y8D2(a,a))+op_count_IWmyXbctLI(a,a)+op_count_nEsXyWgiOK(a,169)+op_count_Z57zeUYC9z(op_IWmyXbctLI(a,a),op_nEsXyWgiOK(a,169))+op_count_0kmYd0q39Y(op_YFxL8Sc2Zy(op_dfKe02y8D2(a,a)),op_Z57zeUYC9z(op_IWmyXbctLI(a,a),op_nEsXyWgiOK(a,169)))
    return count


a⫇⩸⨢b = { ((⫓⪴(a∠↢a))∅((b≦↸a)⋎(b⫢⨠b))) }

def op_diu054m9en(a, b):
    return op_giaUb8UVhq(op_eLxqMNBOBk(op_KbjG8mgYpV(a,a)),op_qy3n0tapmE(op_RygbFNSyEJ(b,a),op_xlXykHWxX1(b,b)))

def op_count_diu054m9en(a, b):
    count = op_count_KbjG8mgYpV(a,a)+op_count_eLxqMNBOBk(op_KbjG8mgYpV(a,a))+op_count_RygbFNSyEJ(b,a)+op_count_xlXykHWxX1(b,b)+op_count_qy3n0tapmE(op_RygbFNSyEJ(b,a),op_xlXykHWxX1(b,b))+op_count_giaUb8UVhq(op_eLxqMNBOBk(op_KbjG8mgYpV(a,a)),op_qy3n0tapmE(op_RygbFNSyEJ(b,a),op_xlXykHWxX1(b,b)))
    return count


a≙⪾b = { (⇋↷(b⊋≦⊧b)) , if (≱⇩⩕b)==45 ; ((a⊢≏≾b)⩾(b⇂≾⫗b)) , else }

def op_OhqpJ7Tl0K(a, b):
    if op_3DZMoQKiUl(b) == 45:
        return op_SWo3A1KBJH(op_oRDoc9rAEX(b,b))
    else:
        return op_UggxBX659n(op_qxqspddX8k(a,b),op_aBQ6xLxuTc(b,b))

def op_count_OhqpJ7Tl0K(a, b):
    if op_3DZMoQKiUl(b) == 45:
        count = op_count_oRDoc9rAEX(b,b)+op_count_SWo3A1KBJH(op_oRDoc9rAEX(b,b))+op_count_3DZMoQKiUl(b)
    else:
        count = op_count_qxqspddX8k(a,b)+op_count_aBQ6xLxuTc(b,b)+op_count_UggxBX659n(op_qxqspddX8k(a,b),op_aBQ6xLxuTc(b,b))
    return count


≈⩪a = { ((150⩼⇪↪a)⩵∡(a⨔≚≋a)) , if (a⨊⨠)!=6 ; ((a⪛a)∽(338⩣⫁∢a)) , else }

def op_STs8eSTo28(a):
    if op_qU6oQAhJaQ(a) != 6:
        return op_Y7wcNGrDQJ(op_ocnLzx9CaJ(150,a),op_Z57zeUYC9z(a,a))
    else:
        return op_y4ImoPnbV5(op_uFcxV4UQCh(a,a),op_JDUIKTTSIa(338,a))

def op_count_STs8eSTo28(a):
    if op_qU6oQAhJaQ(a) != 6:
        count = op_count_ocnLzx9CaJ(150,a)+op_count_Z57zeUYC9z(a,a)+op_count_Y7wcNGrDQJ(op_ocnLzx9CaJ(150,a),op_Z57zeUYC9z(a,a))+op_count_qU6oQAhJaQ(a)
    else:
        count = op_count_uFcxV4UQCh(a,a)+op_count_JDUIKTTSIa(338,a)+op_count_y4ImoPnbV5(op_uFcxV4UQCh(a,a),op_JDUIKTTSIa(338,a))
    return count


def op_IU5bnLfiEv(a):
    if op_ocnLzx9CaJ(a,776) <= 247:
        return op_xoJmIySC7h(a,a)
    else:
        return op_7p6YLioM7f(a)

def op_count_IU5bnLfiEv(a):
    if op_ocnLzx9CaJ(a,776) <= 247:
        count = op_count_xoJmIySC7h(a,a)+op_count_ocnLzx9CaJ(a,776)
    else:
        count = op_count_7p6YLioM7f(a)
    return count


a≎b = { (((b⋥≓≎b)⊭∹↮)⪕((b⪦⩸a)⇌⫙⪟(a≬⋮b))) , if (b⊹∫⫚329)==201 ; (((a⊉↱≁b)⨚(b⪟⇏a))⨰↻⪇(⊵⊁(b⪇≇⋚b))) , else }

def op_kvyeM8WEH2(a, b):
    if op_uWAJUKEvyW(b,329) == 201:
        return op_umQnsF7QlU(op_xNBdhnnwKq(op_Qy55tPpLXF(b,b)),op_AFVx7xoS7T(op_0JWJYFSzIQ(b,a),op_kbkesczE7y(a,b)))
    else:
        return op_nbuSfrB4hB(op_nREPSIbpBE(op_w2P8NbNXyL(a,b),op_GODebY97qR(b,a)),op_AvED76WdY7(op_3sJ7IOPOlU(b,b)))

def op_count_kvyeM8WEH2(a, b):
    if op_uWAJUKEvyW(b,329) == 201:
        count = op_count_Qy55tPpLXF(b,b)+op_count_xNBdhnnwKq(op_Qy55tPpLXF(b,b))+op_count_0JWJYFSzIQ(b,a)+op_count_kbkesczE7y(a,b)+op_count_AFVx7xoS7T(op_0JWJYFSzIQ(b,a),op_kbkesczE7y(a,b))+op_count_umQnsF7QlU(op_xNBdhnnwKq(op_Qy55tPpLXF(b,b)),op_AFVx7xoS7T(op_0JWJYFSzIQ(b,a),op_kbkesczE7y(a,b)))+op_count_uWAJUKEvyW(b,329)
    else:
        count = op_count_w2P8NbNXyL(a,b)+op_count_GODebY97qR(b,a)+op_count_nREPSIbpBE(op_w2P8NbNXyL(a,b),op_GODebY97qR(b,a))+op_count_3sJ7IOPOlU(b,b)+op_count_AvED76WdY7(op_3sJ7IOPOlU(b,b))+op_count_nbuSfrB4hB(op_nREPSIbpBE(op_w2P8NbNXyL(a,b),op_GODebY97qR(b,a)),op_AvED76WdY7(op_3sJ7IOPOlU(b,b)))
    return count


def op_GyZKrXyLmB(a):
    if op_ZNVVrZ94lY(a) != 160:
        return op_3sJ7IOPOlU(op_jBncVCNhdl(a,a),op_0kmYd0q39Y(a,149))
    else:
        return op_2DlMacCsIx(op_eOf03JbCpp(a),op_BThhyOhh10(a))

def op_count_GyZKrXyLmB(a):
    if op_ZNVVrZ94lY(a) != 160:
        count = op_count_jBncVCNhdl(a,a)+op_count_0kmYd0q39Y(a,149)+op_count_3sJ7IOPOlU(op_jBncVCNhdl(a,a),op_0kmYd0q39Y(a,149))+op_count_ZNVVrZ94lY(a)
    else:
        count = op_count_eOf03JbCpp(a)+op_count_BThhyOhh10(a)+op_count_2DlMacCsIx(op_eOf03JbCpp(a),op_BThhyOhh10(a))
    return count


def op_6Zjw4YHEYi(a):
    return op_z4E1FaHLuy(op_SUmda5xLS4(a,a))

def op_count_6Zjw4YHEYi(a):
    count = op_count_SUmda5xLS4(a,a)+op_count_z4E1FaHLuy(op_SUmda5xLS4(a,a))
    return count


a∉⊞⊌b = { ((a⪯⫾⋍b)⩖⊿(a↪⪝)) , if (b∆⨵⋿)>=0 ; (⊄(↞≼46)) , else }

def op_22UCrTUJEh(a, b):
    if op_7CBskBkoKY(b) >= 0:
        return op_RZ5CV9rWsJ(op_S5ZFQS4GK3(a,b),op_l07mrZUIn9(a))
    else:
        return op_AnPstFaJd9(op_DE7zCoGJt9(46))

def op_count_22UCrTUJEh(a, b):
    if op_7CBskBkoKY(b) >= 0:
        count = op_count_S5ZFQS4GK3(a,b)+op_count_l07mrZUIn9(a)+op_count_RZ5CV9rWsJ(op_S5ZFQS4GK3(a,b),op_l07mrZUIn9(a))+op_count_7CBskBkoKY(b)
    else:
        count = op_count_DE7zCoGJt9(46)+op_count_AnPstFaJd9(op_DE7zCoGJt9(46))
    return count


def op_mMNOlYfzJE(a):
    return op_XGcMNugi78(a,a)

def op_count_mMNOlYfzJE(a):
    count = op_count_XGcMNugi78(a,a)
    return count


def op_eupb9vlVPb(a):
    if op_ObEyaaML9x(a,139) >= 10:
        return op_3Oe9XWJUTD(op_840vADziXz(op_aBQ6xLxuTc(457,a)),op_jWTQ2TZYIH(op_2M7SKlOzyM(64,a),op_xoJmIySC7h(a,116)))
    else:
        return op_wxb3vTeyAj(op_8FLs4eVsLt(op_ZNVVrZ94lY(a)))

def op_count_eupb9vlVPb(a):
    if op_ObEyaaML9x(a,139) >= 10:
        count = op_count_aBQ6xLxuTc(457,a)+op_count_840vADziXz(op_aBQ6xLxuTc(457,a))+op_count_2M7SKlOzyM(64,a)+op_count_xoJmIySC7h(a,116)+op_count_jWTQ2TZYIH(op_2M7SKlOzyM(64,a),op_xoJmIySC7h(a,116))+op_count_3Oe9XWJUTD(op_840vADziXz(op_aBQ6xLxuTc(457,a)),op_jWTQ2TZYIH(op_2M7SKlOzyM(64,a),op_xoJmIySC7h(a,116)))+op_count_ObEyaaML9x(a,139)
    else:
        count = op_count_ZNVVrZ94lY(a)+op_count_8FLs4eVsLt(op_ZNVVrZ94lY(a))+op_count_wxb3vTeyAj(op_8FLs4eVsLt(op_ZNVVrZ94lY(a)))
    return count


∱≗a = { (⨝⨆(a⪟⇏35)) , if (a↯⫤)>337 ; ((a⩵∡a)⨒(⨈⪑a)) , else }

def op_TLSiz8NPqi(a):
    if op_VwlE7vj6HS(a) > 337:
        return op_bQ67fsrMVf(op_GODebY97qR(a,35))
    else:
        return op_y75s1iXyHd(op_Y7wcNGrDQJ(a,a),op_mp94q5OcYM(a))

def op_count_TLSiz8NPqi(a):
    if op_VwlE7vj6HS(a) > 337:
        count = op_count_GODebY97qR(a,35)+op_count_bQ67fsrMVf(op_GODebY97qR(a,35))+op_count_VwlE7vj6HS(a)
    else:
        count = op_count_Y7wcNGrDQJ(a,a)+op_count_mp94q5OcYM(a)+op_count_y75s1iXyHd(op_Y7wcNGrDQJ(a,a),op_mp94q5OcYM(a))
    return count


⪨↰a = { ((a⊭∹↮)⨚(a⪟⇏a)) , if (a∠⫱35)>90 ; (↞(110⇼⇔∾a)) , else }

def op_blQ9vzDKd0(a):
    if op_QvoQhV0rrE(a,35) > 90:
        return op_nREPSIbpBE(op_xNBdhnnwKq(a),op_GODebY97qR(a,a))
    else:
        return op_QKXs96F9fN(op_tifHPKVTfV(110,a))

def op_count_blQ9vzDKd0(a):
    if op_QvoQhV0rrE(a,35) > 90:
        count = op_count_xNBdhnnwKq(a)+op_count_GODebY97qR(a,a)+op_count_nREPSIbpBE(op_xNBdhnnwKq(a),op_GODebY97qR(a,a))+op_count_QvoQhV0rrE(a,35)
    else:
        count = op_count_tifHPKVTfV(110,a)+op_count_QKXs96F9fN(op_tifHPKVTfV(110,a))
    return count


def op_5ESOiVPbEV(a, b):
    return op_oacrs7FA3X(op_oacrs7FA3X(266,b),op_d8xe6WWVfM(a,278))

def op_count_5ESOiVPbEV(a, b):
    count = op_count_oacrs7FA3X(266,b)+op_count_d8xe6WWVfM(a,278)+op_count_oacrs7FA3X(op_oacrs7FA3X(266,b),op_d8xe6WWVfM(a,278))
    return count


def op_M2pIAIy88N(a):
    return op_jBncVCNhdl(a,op_XhwjNDsVaA(a,263))

def op_count_M2pIAIy88N(a):
    count = op_count_XhwjNDsVaA(a,263)+op_count_jBncVCNhdl(a,op_XhwjNDsVaA(a,263))
    return count


def op_sX7icBeOwx(a):
    return op_o575Zjdmzy(op_9Isq31Ruls(op_GODebY97qR(a,a),op_xoJmIySC7h(a,a)))

def op_count_sX7icBeOwx(a):
    count = op_count_GODebY97qR(a,a)+op_count_xoJmIySC7h(a,a)+op_count_9Isq31Ruls(op_GODebY97qR(a,a),op_xoJmIySC7h(a,a))+op_count_o575Zjdmzy(op_9Isq31Ruls(op_GODebY97qR(a,a),op_xoJmIySC7h(a,a)))
    return count


def op_iuUhER8Vt9(a):
    return op_vkpjKywKVM(op_HjMFvreeUu(a),op_5twsqlHp2o(622,a))

def op_count_iuUhER8Vt9(a):
    count = op_count_HjMFvreeUu(a)+op_count_5twsqlHp2o(622,a)+op_count_vkpjKywKVM(op_HjMFvreeUu(a),op_5twsqlHp2o(622,a))
    return count


a⋛≐b = { (≱⇩⩕a) , if (a∵≐)!=94 ; ((b≓∲b)∇⊂⋱(a∲⫓a)) , else }

def op_B7jD7820sf(a, b):
    if op_59igzFyhWz(a) != 94:
        return op_3DZMoQKiUl(a)
    else:
        return op_nhYeJWJD5X(op_s1XTVnmDOJ(b,b),op_i8ToyICDmI(a,a))

def op_count_B7jD7820sf(a, b):
    if op_59igzFyhWz(a) != 94:
        count = op_count_3DZMoQKiUl(a)+op_count_59igzFyhWz(a)
    else:
        count = op_count_s1XTVnmDOJ(b,b)+op_count_i8ToyICDmI(a,a)+op_count_nhYeJWJD5X(op_s1XTVnmDOJ(b,b),op_i8ToyICDmI(a,a))
    return count


def op_ukSLkBfL7r(a):
    return op_eLxqMNBOBk(op_oraRL2iQuh(op_bPywburJMS(a,196),op_NTOWxs364D(299,a)))

def op_count_ukSLkBfL7r(a):
    count = op_count_bPywburJMS(a,196)+op_count_NTOWxs364D(299,a)+op_count_oraRL2iQuh(op_bPywburJMS(a,196),op_NTOWxs364D(299,a))+op_count_eLxqMNBOBk(op_oraRL2iQuh(op_bPywburJMS(a,196),op_NTOWxs364D(299,a)))
    return count


def op_grHKJW0KEs(a):
    return op_vg4gO5BX6G(op_ruOEQAzv1W(op_keuJNkrrbj(a,289)),op_ut0Nd8ObBp(op_grXIztHqDa(a)))

def op_count_grHKJW0KEs(a):
    count = op_count_keuJNkrrbj(a,289)+op_count_ruOEQAzv1W(op_keuJNkrrbj(a,289))+op_count_grXIztHqDa(a)+op_count_ut0Nd8ObBp(op_grXIztHqDa(a))+op_count_vg4gO5BX6G(op_ruOEQAzv1W(op_keuJNkrrbj(a,289)),op_ut0Nd8ObBp(op_grXIztHqDa(a)))
    return count


a⊙≭b = { (a⋩≍≻) , if b<=57 ; (a⋎a) , else }

def op_sVMiUtOpJT(a, b):
    if b <= 57:
        return op_WYd1w68Nbz(a)
    else:
        return op_qy3n0tapmE(a,a)

def op_count_sVMiUtOpJT(a, b):
    if b <= 57:
        count = op_count_WYd1w68Nbz(a)
    else:
        count = op_count_qy3n0tapmE(a,a)
    return count


def op_keMeIxFVQ3(a, b):
    return op_j6NVkjMzuk(op_hmlrMsD2PO(op_jCPkEVoL5K(a,a),b))

def op_count_keMeIxFVQ3(a, b):
    count = op_count_jCPkEVoL5K(a,a)+op_count_hmlrMsD2PO(op_jCPkEVoL5K(a,a),b)+op_count_j6NVkjMzuk(op_hmlrMsD2PO(op_jCPkEVoL5K(a,a),b))
    return count


a⫄⋒↱b = { (((⪲⇎a)⪮%⊝(a⨧↗⨷a))∺≝⩲((b⫇⋯a)⨑≵⋬(140∌↝b))) , if (a≽⪈↿33)>=104 ; (((a⨑≵⋬b)≃(≿⇫a))⇡) , else }

def op_crtJ4cV1Co(a, b):
    if op_inCIaGQf8u(a,33) >= 104:
        return op_KPf6cnQVty(op_IWmyXbctLI(op_XPYlsWDdGa(a),op_WSbXXWOizJ(a,a)),op_XnXgA4xnOs(op_xoJmIySC7h(b,a),op_9Isq31Ruls(140,b)))
    else:
        return op_UqFzSgLMvQ(op_YbVcJGFEVW(op_XnXgA4xnOs(a,b),op_3A1e9zoj8h(a)))

def op_count_crtJ4cV1Co(a, b):
    if op_inCIaGQf8u(a,33) >= 104:
        count = op_count_XPYlsWDdGa(a)+op_count_WSbXXWOizJ(a,a)+op_count_IWmyXbctLI(op_XPYlsWDdGa(a),op_WSbXXWOizJ(a,a))+op_count_xoJmIySC7h(b,a)+op_count_9Isq31Ruls(140,b)+op_count_XnXgA4xnOs(op_xoJmIySC7h(b,a),op_9Isq31Ruls(140,b))+op_count_KPf6cnQVty(op_IWmyXbctLI(op_XPYlsWDdGa(a),op_WSbXXWOizJ(a,a)),op_XnXgA4xnOs(op_xoJmIySC7h(b,a),op_9Isq31Ruls(140,b)))+op_count_inCIaGQf8u(a,33)
    else:
        count = op_count_XnXgA4xnOs(a,b)+op_count_3A1e9zoj8h(a)+op_count_YbVcJGFEVW(op_XnXgA4xnOs(a,b),op_3A1e9zoj8h(a))+op_count_UqFzSgLMvQ(op_YbVcJGFEVW(op_XnXgA4xnOs(a,b),op_3A1e9zoj8h(a)))
    return count


≧⊳a = { ((a⪟⇏a)⨣∐↬(a⪭a)) , if (a⩘)!=34 ; (⨈⪑(a⪕a)) , else }

def op_GMrB5OisJT(a):
    if op_wvHyciQT5X(a) != 34:
        return op_UpkSd4zESC(op_GODebY97qR(a,a),op_j9kHMeSvPp(a,a))
    else:
        return op_mp94q5OcYM(op_umQnsF7QlU(a,a))

def op_count_GMrB5OisJT(a):
    if op_wvHyciQT5X(a) != 34:
        count = op_count_GODebY97qR(a,a)+op_count_j9kHMeSvPp(a,a)+op_count_UpkSd4zESC(op_GODebY97qR(a,a),op_j9kHMeSvPp(a,a))+op_count_wvHyciQT5X(a)
    else:
        count = op_count_umQnsF7QlU(a,a)+op_count_mp94q5OcYM(op_umQnsF7QlU(a,a))
    return count


a≉⩅ = { (a⩷∴a) , if (a∘⨩)>365 ; (a⇡) , else }

def op_Wem2ISTAAw(a):
    if op_aHKFHkCgn9(a) > 365:
        return op_9FxExcQeMw(a,a)
    else:
        return op_UqFzSgLMvQ(a)

def op_count_Wem2ISTAAw(a):
    if op_aHKFHkCgn9(a) > 365:
        count = op_count_9FxExcQeMw(a,a)+op_count_aHKFHkCgn9(a)
    else:
        count = op_count_UqFzSgLMvQ(a)
    return count


def op_RJKDfKcFKp(a, b):
    return op_nbuSfrB4hB(op_ocnLzx9CaJ(a,b),op_WYd1w68Nbz(a))

def op_count_RJKDfKcFKp(a, b):
    count = op_count_ocnLzx9CaJ(a,b)+op_count_WYd1w68Nbz(a)+op_count_nbuSfrB4hB(op_ocnLzx9CaJ(a,b),op_WYd1w68Nbz(a))
    return count


def op_W7L2oCKInH(a, b):
    return op_RabNbG55vr(op_MRPaB8lBjK(b),op_rysDP5nf3Z(a,25))

def op_count_W7L2oCKInH(a, b):
    count = op_count_MRPaB8lBjK(b)+op_count_rysDP5nf3Z(a,25)+op_count_RabNbG55vr(op_MRPaB8lBjK(b),op_rysDP5nf3Z(a,25))
    return count


a≤⨝ = { (((a↼⊘⨖a)⩁⩘(a⪘⫢a))⫶((a⋕⪉⪜a)⇴(a⇢a))) , if (a⪮%⊝33)>=4 ; (((a⊾⪯⋞a)↑)%((a⩼⇪↪a)⨭⪣(a⪘⫢a))) , else }

def op_itkOnPxCeF(a):
    if op_IWmyXbctLI(a,33) >= 4:
        return op_BAIXFdYaz3(op_gub5Cegaqo(op_bPywburJMS(a,a),op_oacrs7FA3X(a,a)),op_4JB6nKBMSY(op_z6LnFrNh4i(a,a),op_GMN7JP6WpN(a,a)))
    else:
        return op_k8jYdgA6NY(op_BThhyOhh10(op_HK0tfVPux8(a,a)),op_kn8WO9XteQ(op_ocnLzx9CaJ(a,a),op_oacrs7FA3X(a,a)))

def op_count_itkOnPxCeF(a):
    if op_IWmyXbctLI(a,33) >= 4:
        count = op_count_bPywburJMS(a,a)+op_count_oacrs7FA3X(a,a)+op_count_gub5Cegaqo(op_bPywburJMS(a,a),op_oacrs7FA3X(a,a))+op_count_z6LnFrNh4i(a,a)+op_count_GMN7JP6WpN(a,a)+op_count_4JB6nKBMSY(op_z6LnFrNh4i(a,a),op_GMN7JP6WpN(a,a))+op_count_BAIXFdYaz3(op_gub5Cegaqo(op_bPywburJMS(a,a),op_oacrs7FA3X(a,a)),op_4JB6nKBMSY(op_z6LnFrNh4i(a,a),op_GMN7JP6WpN(a,a)))+op_count_IWmyXbctLI(a,33)
    else:
        count = op_count_HK0tfVPux8(a,a)+op_count_BThhyOhh10(op_HK0tfVPux8(a,a))+op_count_ocnLzx9CaJ(a,a)+op_count_oacrs7FA3X(a,a)+op_count_kn8WO9XteQ(op_ocnLzx9CaJ(a,a),op_oacrs7FA3X(a,a))+op_count_k8jYdgA6NY(op_BThhyOhh10(op_HK0tfVPux8(a,a)),op_kn8WO9XteQ(op_ocnLzx9CaJ(a,a),op_oacrs7FA3X(a,a)))
    return count


⨚∍⪓a = { ((⋷⊟(↨⩢⫨905))⇛(a⪘⫢a)) , if (a≃⋄)>307 ; ((↩⪖(a⩆≶⊌))⇄(⨞⊢(a⊋a))) , else }

def op_A70lgPgx8E(a):
    if op_aN9a90urxU(a) > 307:
        return op_S3tN1ZzpSt(op_2fAMLLeFHb(op_Z5CJsN7DuW(905)),op_oacrs7FA3X(a,a))
    else:
        return op_3EYGwJThht(op_fG6uBQFnGz(op_PZaICrJanm(a)),op_xUOZtlo3hN(op_W4tP9CfskL(a,a)))

def op_count_A70lgPgx8E(a):
    if op_aN9a90urxU(a) > 307:
        count = op_count_Z5CJsN7DuW(905)+op_count_2fAMLLeFHb(op_Z5CJsN7DuW(905))+op_count_oacrs7FA3X(a,a)+op_count_S3tN1ZzpSt(op_2fAMLLeFHb(op_Z5CJsN7DuW(905)),op_oacrs7FA3X(a,a))+op_count_aN9a90urxU(a)
    else:
        count = op_count_PZaICrJanm(a)+op_count_fG6uBQFnGz(op_PZaICrJanm(a))+op_count_W4tP9CfskL(a,a)+op_count_xUOZtlo3hN(op_W4tP9CfskL(a,a))+op_count_3EYGwJThht(op_fG6uBQFnGz(op_PZaICrJanm(a)),op_xUOZtlo3hN(op_W4tP9CfskL(a,a)))
    return count


a⫉⋃b = { (((a⩦a)⋾⨃∁(a∅a))⊉≛↸(b⊮⊟↴(⨆≐≲b))) }

def op_YEzomLoFTT(a, b):
    return op_DZ8iAZOCBD(op_212REbPD9h(op_0kmYd0q39Y(a,a),op_giaUb8UVhq(a,a)),op_QDVgd2eftb(b,op_Bi9z9uYZqW(b)))

def op_count_YEzomLoFTT(a, b):
    count = op_count_0kmYd0q39Y(a,a)+op_count_giaUb8UVhq(a,a)+op_count_212REbPD9h(op_0kmYd0q39Y(a,a),op_giaUb8UVhq(a,a))+op_count_Bi9z9uYZqW(b)+op_count_QDVgd2eftb(b,op_Bi9z9uYZqW(b))+op_count_DZ8iAZOCBD(op_212REbPD9h(op_0kmYd0q39Y(a,a),op_giaUb8UVhq(a,a)),op_QDVgd2eftb(b,op_Bi9z9uYZqW(b)))
    return count


a⊇⫘⪍b = { ((a⊔%a)⊨(a∴158)) , if a>107 ; ((⊆⋠b)⪎↠(b⩾a)) , else }

def op_dUpriDnGP5(a, b):
    if a > 107:
        return op_vg4gO5BX6G(op_uysxUYN2L2(a,a),op_hrf7POJlIJ(a,158))
    else:
        return op_3tVxb0NHM4(op_EBhcHTkKd8(b),op_UggxBX659n(b,a))

def op_count_dUpriDnGP5(a, b):
    if a > 107:
        count = op_count_uysxUYN2L2(a,a)+op_count_hrf7POJlIJ(a,158)+op_count_vg4gO5BX6G(op_uysxUYN2L2(a,a),op_hrf7POJlIJ(a,158))
    else:
        count = op_count_EBhcHTkKd8(b)+op_count_UggxBX659n(b,a)+op_count_3tVxb0NHM4(op_EBhcHTkKd8(b),op_UggxBX659n(b,a))
    return count


def op_poiSo6Xg3g(a, b):
    return op_YbVcJGFEVW(op_sJAwomhLZr(a),b)

def op_count_poiSo6Xg3g(a, b):
    count = op_count_sJAwomhLZr(a)+op_count_YbVcJGFEVW(op_sJAwomhLZr(a),b)
    return count


def op_36V2MidH9c(a, b):
    return op_MGuIdZPyUC(op_8INZBEW696(b,a))

def op_count_36V2MidH9c(a, b):
    count = op_count_8INZBEW696(b,a)+op_count_MGuIdZPyUC(op_8INZBEW696(b,a))
    return count


a⩱⇜⪦b = { (((⨵b)⊉↱≁b)⋾⨃∁((761⨽a)⊠≄⫣)) , if b>=26 ; (↞((a⇂≾⫗b)≻⇥≳(b⪦⩸b))) , else }

def op_TPY4Vhd24N(a, b):
    if b >= 26:
        return op_212REbPD9h(op_w2P8NbNXyL(op_Tl3Y52tvF8(b),b),op_DIvbN7qnHd(op_8HhzD0ZcuI(761,a)))
    else:
        return op_QKXs96F9fN(op_aiqF8n6J9c(op_aBQ6xLxuTc(a,b),op_0JWJYFSzIQ(b,b)))

def op_count_TPY4Vhd24N(a, b):
    if b >= 26:
        count = op_count_Tl3Y52tvF8(b)+op_count_w2P8NbNXyL(op_Tl3Y52tvF8(b),b)+op_count_8HhzD0ZcuI(761,a)+op_count_DIvbN7qnHd(op_8HhzD0ZcuI(761,a))+op_count_212REbPD9h(op_w2P8NbNXyL(op_Tl3Y52tvF8(b),b),op_DIvbN7qnHd(op_8HhzD0ZcuI(761,a)))
    else:
        count = op_count_aBQ6xLxuTc(a,b)+op_count_0JWJYFSzIQ(b,b)+op_count_aiqF8n6J9c(op_aBQ6xLxuTc(a,b),op_0JWJYFSzIQ(b,b))+op_count_QKXs96F9fN(op_aiqF8n6J9c(op_aBQ6xLxuTc(a,b),op_0JWJYFSzIQ(b,b)))
    return count


def op_F5el3aEdEY(a):
    return op_jLgFTUHLKL(op_oraRL2iQuh(a,91))

def op_count_F5el3aEdEY(a):
    count = op_count_oraRL2iQuh(a,91)+op_count_jLgFTUHLKL(op_oraRL2iQuh(a,91))
    return count


a⪂ = { (a⊹∫⫚a) , if a>=20 or (a⇩↽)==235 ; (a⋛a) , else }

def op_uqvL9iKn97(a):
    if a >= 20 or op_HjMFvreeUu(a) == 235:
        return op_uWAJUKEvyW(a,a)
    else:
        return op_YbUVn0Rbpy(a,a)

def op_count_uqvL9iKn97(a):
    if a >= 20 or op_HjMFvreeUu(a) == 235:
        count = op_count_uWAJUKEvyW(a,a)+op_count_HjMFvreeUu(a)
    else:
        count = op_count_YbUVn0Rbpy(a,a)
    return count


def op_dOyh8NTXcy(a):
    if op_7Nd029Vx1U(a) >= 108 or op_wEfv7U73WA(a) == 157 or op_apS25hmuAe(a) > 274:
        return op_UpkSd4zESC(op_ap3xiM279w(op_3Oe9XWJUTD(a,a),op_OGWBzMv138(132,a)),op_5RY6W0glyJ(op_pjdzZ5rP1Y(194)))
    else:
        return op_Q2SPaKwpPJ(op_Q2SPaKwpPJ(op_wsXFuL0hC6(a,a),op_l07mrZUIn9(a)),op_k8jYdgA6NY(a,op_OTRTVPweYV(a,a)))

def op_count_dOyh8NTXcy(a):
    if op_7Nd029Vx1U(a) >= 108 or op_wEfv7U73WA(a) == 157 or op_apS25hmuAe(a) > 274:
        count = op_count_3Oe9XWJUTD(a,a)+op_count_OGWBzMv138(132,a)+op_count_ap3xiM279w(op_3Oe9XWJUTD(a,a),op_OGWBzMv138(132,a))+op_count_pjdzZ5rP1Y(194)+op_count_5RY6W0glyJ(op_pjdzZ5rP1Y(194))+op_count_UpkSd4zESC(op_ap3xiM279w(op_3Oe9XWJUTD(a,a),op_OGWBzMv138(132,a)),op_5RY6W0glyJ(op_pjdzZ5rP1Y(194)))+op_count_7Nd029Vx1U(a)+op_count_wEfv7U73WA(a)+op_count_apS25hmuAe(a)
    else:
        count = op_count_wsXFuL0hC6(a,a)+op_count_l07mrZUIn9(a)+op_count_Q2SPaKwpPJ(op_wsXFuL0hC6(a,a),op_l07mrZUIn9(a))+op_count_OTRTVPweYV(a,a)+op_count_k8jYdgA6NY(a,op_OTRTVPweYV(a,a))+op_count_Q2SPaKwpPJ(op_Q2SPaKwpPJ(op_wsXFuL0hC6(a,a),op_l07mrZUIn9(a)),op_k8jYdgA6NY(a,op_OTRTVPweYV(a,a)))
    return count


def op_UkFG6YBLyt(a, b):
    return op_8FLs4eVsLt(op_DX7B1fY6P6(b,op_7t3wd0Fuz7(b,a)))

def op_count_UkFG6YBLyt(a, b):
    count = op_count_7t3wd0Fuz7(b,a)+op_count_DX7B1fY6P6(b,op_7t3wd0Fuz7(b,a))+op_count_8FLs4eVsLt(op_DX7B1fY6P6(b,op_7t3wd0Fuz7(b,a)))
    return count


a⫨⩸⩜b = { ((127⪱⇝b)⨰↻⪇(⊆⋠a)) , if (a⇩↽)==302 ; ((a↸a)⫗⊒⇾(148⪱⇝b)) , else }

def op_IjGhTk7PpW(a, b):
    if op_HjMFvreeUu(a) == 302:
        return op_nbuSfrB4hB(op_OTRTVPweYV(127,b),op_EBhcHTkKd8(a))
    else:
        return op_hiBDRd40bf(op_1eCjFl0mb9(a,a),op_OTRTVPweYV(148,b))

def op_count_IjGhTk7PpW(a, b):
    if op_HjMFvreeUu(a) == 302:
        count = op_count_OTRTVPweYV(127,b)+op_count_EBhcHTkKd8(a)+op_count_nbuSfrB4hB(op_OTRTVPweYV(127,b),op_EBhcHTkKd8(a))+op_count_HjMFvreeUu(a)
    else:
        count = op_count_1eCjFl0mb9(a,a)+op_count_OTRTVPweYV(148,b)+op_count_hiBDRd40bf(op_1eCjFl0mb9(a,a),op_OTRTVPweYV(148,b))
    return count


def op_ccHmK6PBIn(a):
    return op_nREPSIbpBE(op_EBhcHTkKd8(a),op_DmTXOeWf9t(591,283))

def op_count_ccHmK6PBIn(a):
    count = op_count_EBhcHTkKd8(a)+op_count_DmTXOeWf9t(591,283)+op_count_nREPSIbpBE(op_EBhcHTkKd8(a),op_DmTXOeWf9t(591,283))
    return count


def op_TcUor9fpwD(a):
    return op_kn8WO9XteQ(op_3tVxb0NHM4(194,550),a)

def op_count_TcUor9fpwD(a):
    count = op_count_3tVxb0NHM4(194,550)+op_count_kn8WO9XteQ(op_3tVxb0NHM4(194,550),a)
    return count


def op_H7f1qksvrC(a):
    return op_9samAPKr6k(op_fjqJgF5yyp(161),op_03sUfWo75k(a))

def op_count_H7f1qksvrC(a):
    count = op_count_fjqJgF5yyp(161)+op_count_03sUfWo75k(a)+op_count_9samAPKr6k(op_fjqJgF5yyp(161),op_03sUfWo75k(a))
    return count


a⊱⫣b = { ((a⊧↖)≚⊃≕b) , if (b>=37 and (a⋆⋳)<96 and (a↰)<=320) ; (≱⇩⩕(b⩂⊭⨚)) , else }

def op_lYYgj615o2(a, b):
    if (b >= 37 and op_6MpZysEj17(a) < 96 and op_bl5wxAcryP(a) <= 320):
        return op_Bmrmz2XGnR(op_EKiFHuOFxO(a),b)
    else:
        return op_3DZMoQKiUl(op_PaBHOjxk8c(b))

def op_count_lYYgj615o2(a, b):
    if (b >= 37 and op_6MpZysEj17(a) < 96 and op_bl5wxAcryP(a) <= 320):
        count = op_count_EKiFHuOFxO(a)+op_count_Bmrmz2XGnR(op_EKiFHuOFxO(a),b)+op_count_6MpZysEj17(a)+op_count_bl5wxAcryP(a)
    else:
        count = op_count_PaBHOjxk8c(b)+op_count_3DZMoQKiUl(op_PaBHOjxk8c(b))
    return count


a⊻⨌⫵b = { (((a≽↲≰219)⪡(b⇂≾⫗a))⪥((a⫑)⨶)) }

def op_NOyIGfOOXL(a, b):
    return op_QbnwKVWMIQ(op_oraRL2iQuh(op_cFVlceoRkX(a,219),op_aBQ6xLxuTc(b,a)),op_rFxw8gIMmB(op_CgIo77xlM2(a)))

def op_count_NOyIGfOOXL(a, b):
    count = op_count_cFVlceoRkX(a,219)+op_count_aBQ6xLxuTc(b,a)+op_count_oraRL2iQuh(op_cFVlceoRkX(a,219),op_aBQ6xLxuTc(b,a))+op_count_CgIo77xlM2(a)+op_count_rFxw8gIMmB(op_CgIo77xlM2(a))+op_count_QbnwKVWMIQ(op_oraRL2iQuh(op_cFVlceoRkX(a,219),op_aBQ6xLxuTc(b,a)),op_rFxw8gIMmB(op_CgIo77xlM2(a)))
    return count


def op_mcQVDGUp7Y(a):
    return op_kn8WO9XteQ(op_GMN7JP6WpN(a,a),op_P8v4zCKN1o(a))

def op_count_mcQVDGUp7Y(a):
    count = op_count_GMN7JP6WpN(a,a)+op_count_P8v4zCKN1o(a)+op_count_kn8WO9XteQ(op_GMN7JP6WpN(a,a),op_P8v4zCKN1o(a))
    return count


def op_JRqKiIdTS7(a):
    return op_zR4jO40bMj(op_DZ8iAZOCBD(a,a),op_qL4PrbW1Dq(106))

def op_count_JRqKiIdTS7(a):
    count = op_count_DZ8iAZOCBD(a,a)+op_count_qL4PrbW1Dq(106)+op_count_zR4jO40bMj(op_DZ8iAZOCBD(a,a),op_qL4PrbW1Dq(106))
    return count


a⇒⪫b = { (a⊪) , if (a⨜⇔942)<16 ; (b⩾a) , else }

def op_1nNvNtr5EF(a, b):
    if op_Sq3AGanRSD(a,942) < 16:
        return op_zVYPLywUTj(a)
    else:
        return op_UggxBX659n(b,a)

def op_count_1nNvNtr5EF(a, b):
    if op_Sq3AGanRSD(a,942) < 16:
        count = op_count_zVYPLywUTj(a)+op_count_Sq3AGanRSD(a,942)
    else:
        count = op_count_UggxBX659n(b,a)
    return count


a⫫⋫b = { (((a↮⪈⫰)↹⊜(b⊋≦⊧194))∝((a⪛⫼a)∷)) , if (⪚⨷b)>=183 ; ((⇉-⫰(⊵⊁a))⫞⩸⩒(≦(⨞⊢a))) , else }

def op_xtCeza3rDf(a, b):
    if op_6LuFrogppQ(b) >= 183:
        return op_cTDWOvIxvz(op_9bazX3JMtO(op_MKpoIoBJCf(a),op_oRDoc9rAEX(b,194)),op_nFAOW8KTqp(op_hyuBjUqXlG(a,a)))
    else:
        return op_XGcMNugi78(op_IGFM8TAlm9(op_AvED76WdY7(a)),op_RPa3726CSl(op_xUOZtlo3hN(a)))

def op_count_xtCeza3rDf(a, b):
    if op_6LuFrogppQ(b) >= 183:
        count = op_count_MKpoIoBJCf(a)+op_count_oRDoc9rAEX(b,194)+op_count_9bazX3JMtO(op_MKpoIoBJCf(a),op_oRDoc9rAEX(b,194))+op_count_hyuBjUqXlG(a,a)+op_count_nFAOW8KTqp(op_hyuBjUqXlG(a,a))+op_count_cTDWOvIxvz(op_9bazX3JMtO(op_MKpoIoBJCf(a),op_oRDoc9rAEX(b,194)),op_nFAOW8KTqp(op_hyuBjUqXlG(a,a)))+op_count_6LuFrogppQ(b)
    else:
        count = op_count_AvED76WdY7(a)+op_count_IGFM8TAlm9(op_AvED76WdY7(a))+op_count_xUOZtlo3hN(a)+op_count_RPa3726CSl(op_xUOZtlo3hN(a))+op_count_XGcMNugi78(op_IGFM8TAlm9(op_AvED76WdY7(a)),op_RPa3726CSl(op_xUOZtlo3hN(a)))
    return count


def op_aaQ3WJhk6P(a):
    return op_gub5Cegaqo(a,a)

def op_count_aaQ3WJhk6P(a):
    count = op_count_gub5Cegaqo(a,a)
    return count


def op_inYIwJ0bD8(a):
    return op_4X4GscPmMf(op_3EYGwJThht(op_SPuZE40Ntn(a,387),op_j9kHMeSvPp(a,a)))

def op_count_inYIwJ0bD8(a):
    count = op_count_SPuZE40Ntn(a,387)+op_count_j9kHMeSvPp(a,a)+op_count_3EYGwJThht(op_SPuZE40Ntn(a,387),op_j9kHMeSvPp(a,a))+op_count_4X4GscPmMf(op_3EYGwJThht(op_SPuZE40Ntn(a,387),op_j9kHMeSvPp(a,a)))
    return count


def op_3CMemG6NAA(a):
    if op_H9jWZL1q0V(a) != 651:
        return op_bQ67fsrMVf(op_H9jWZL1q0V(op_JoLB3LXqXx(469,a)))
    else:
        return op_QDVgd2eftb(op_ZNVVrZ94lY(op_Ph9nP6C5qx(a,a)),op_wscyQdcy20(op_2td37pGCOC(a),op_QKXs96F9fN(114)))

def op_count_3CMemG6NAA(a):
    if op_H9jWZL1q0V(a) != 651:
        count = op_count_JoLB3LXqXx(469,a)+op_count_H9jWZL1q0V(op_JoLB3LXqXx(469,a))+op_count_bQ67fsrMVf(op_H9jWZL1q0V(op_JoLB3LXqXx(469,a)))+op_count_H9jWZL1q0V(a)
    else:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_ZNVVrZ94lY(op_Ph9nP6C5qx(a,a))+op_count_2td37pGCOC(a)+op_count_QKXs96F9fN(114)+op_count_wscyQdcy20(op_2td37pGCOC(a),op_QKXs96F9fN(114))+op_count_QDVgd2eftb(op_ZNVVrZ94lY(op_Ph9nP6C5qx(a,a)),op_wscyQdcy20(op_2td37pGCOC(a),op_QKXs96F9fN(114)))
    return count


def op_MtU63d9ZNI(a):
    return op_jWTQ2TZYIH(op_EKiFHuOFxO(op_IjUb3wyICU(a)),op_uFcxV4UQCh(op_h92wMvzauj(a,a),op_hTbEZDJLEm(95)))

def op_count_MtU63d9ZNI(a):
    count = op_count_IjUb3wyICU(a)+op_count_EKiFHuOFxO(op_IjUb3wyICU(a))+op_count_h92wMvzauj(a,a)+op_count_hTbEZDJLEm(95)+op_count_uFcxV4UQCh(op_h92wMvzauj(a,a),op_hTbEZDJLEm(95))+op_count_jWTQ2TZYIH(op_EKiFHuOFxO(op_IjUb3wyICU(a)),op_uFcxV4UQCh(op_h92wMvzauj(a,a),op_hTbEZDJLEm(95)))
    return count


def op_mk4FjxrA5V(a):
    return op_nEsXyWgiOK(op_jCPkEVoL5K(op_FlXk3pOYe8(a),op_Z57zeUYC9z(480,146)),op_9samAPKr6k(a,op_HiPekx5b7W(a,508)))

def op_count_mk4FjxrA5V(a):
    count = op_count_FlXk3pOYe8(a)+op_count_Z57zeUYC9z(480,146)+op_count_jCPkEVoL5K(op_FlXk3pOYe8(a),op_Z57zeUYC9z(480,146))+op_count_HiPekx5b7W(a,508)+op_count_9samAPKr6k(a,op_HiPekx5b7W(a,508))+op_count_nEsXyWgiOK(op_jCPkEVoL5K(op_FlXk3pOYe8(a),op_Z57zeUYC9z(480,146)),op_9samAPKr6k(a,op_HiPekx5b7W(a,508)))
    return count


a⫕b = { ((b⩼⇪↪(b∏⇴a))≬⇓((⊿a)⨽∌(a⋕⪉⪜b))) }

def op_6CTfL9kIPY(a, b):
    return op_jWTQ2TZYIH(op_ocnLzx9CaJ(b,op_Rw46J52cBJ(b,a)),op_9samAPKr6k(op_DO4fhlbJSI(a),op_z6LnFrNh4i(a,b)))

def op_count_6CTfL9kIPY(a, b):
    count = op_count_Rw46J52cBJ(b,a)+op_count_ocnLzx9CaJ(b,op_Rw46J52cBJ(b,a))+op_count_DO4fhlbJSI(a)+op_count_z6LnFrNh4i(a,b)+op_count_9samAPKr6k(op_DO4fhlbJSI(a),op_z6LnFrNh4i(a,b))+op_count_jWTQ2TZYIH(op_ocnLzx9CaJ(b,op_Rw46J52cBJ(b,a)),op_9samAPKr6k(op_DO4fhlbJSI(a),op_z6LnFrNh4i(a,b)))
    return count


a⨀⨰⊫b = { ((262⇼⇔∾a)⨻⪊⨷((∤↝a)⋕⪉⪜(b⪨a))) }

def op_Gl4WN4Uwdx(a, b):
    return op_Pkwamo1tM2(op_tifHPKVTfV(262,a),op_z6LnFrNh4i(op_3UMq87Qwqg(a),op_2z8nE7LpCu(b,a)))

def op_count_Gl4WN4Uwdx(a, b):
    count = op_count_tifHPKVTfV(262,a)+op_count_3UMq87Qwqg(a)+op_count_2z8nE7LpCu(b,a)+op_count_z6LnFrNh4i(op_3UMq87Qwqg(a),op_2z8nE7LpCu(b,a))+op_count_Pkwamo1tM2(op_tifHPKVTfV(262,a),op_z6LnFrNh4i(op_3UMq87Qwqg(a),op_2z8nE7LpCu(b,a)))
    return count


def op_DEqk5vDXLq(a):
    return op_kn8WO9XteQ(88,a)

def op_count_DEqk5vDXLq(a):
    count = op_count_kn8WO9XteQ(88,a)
    return count


def op_0cGMrPTqT1(a):
    return op_aBQ6xLxuTc(a,op_4JB6nKBMSY(a,a))

def op_count_0cGMrPTqT1(a):
    count = op_count_4JB6nKBMSY(a,a)+op_count_aBQ6xLxuTc(a,op_4JB6nKBMSY(a,a))
    return count


a⊫↳⇦b = { b , if a<50 ; (((a⪱⇝b)⨫⇇↔(2⩆≶⊌))⫢⨠(⨮↦↱(a↯⫤))) , else }

def op_0pE9j4xUU7(a, b):
    if a < 50:
        return b
    else:
        return op_xlXykHWxX1(op_LXhwmt4mBO(op_OTRTVPweYV(a,b),op_PZaICrJanm(2)),op_sYcpBQ0cFf(op_VwlE7vj6HS(a)))

def op_count_0pE9j4xUU7(a, b):
    if a < 50:
        count = 1
    else:
        count = op_count_OTRTVPweYV(a,b)+op_count_PZaICrJanm(2)+op_count_LXhwmt4mBO(op_OTRTVPweYV(a,b),op_PZaICrJanm(2))+op_count_VwlE7vj6HS(a)+op_count_sYcpBQ0cFf(op_VwlE7vj6HS(a))+op_count_xlXykHWxX1(op_LXhwmt4mBO(op_OTRTVPweYV(a,b),op_PZaICrJanm(2)),op_sYcpBQ0cFf(op_VwlE7vj6HS(a)))
    return count


a⫫∾b = { (⩷⨜⫀(b⩣⫁∢a)) , if (b⇥↓)<=76 and (a⩣⫁∢370)>208 and (a⪒468)>808 ; ((a⨜⨶1)⊭↱a) , else }

def op_b3qeQyvZfP(a, b):
    if op_KvubFp3XhO(b) <= 76 and op_JDUIKTTSIa(a,370) > 208 and op_f6k1SAg4EE(a,468) > 808:
        return op_CDi0ktkjQ4(op_JDUIKTTSIa(b,a))
    else:
        return op_COABgblf1C(op_HiPekx5b7W(a,1),a)

def op_count_b3qeQyvZfP(a, b):
    if op_KvubFp3XhO(b) <= 76 and op_JDUIKTTSIa(a,370) > 208 and op_f6k1SAg4EE(a,468) > 808:
        count = op_count_JDUIKTTSIa(b,a)+op_count_CDi0ktkjQ4(op_JDUIKTTSIa(b,a))+op_count_KvubFp3XhO(b)+op_count_JDUIKTTSIa(a,370)+op_count_f6k1SAg4EE(a,468)
    else:
        count = op_count_HiPekx5b7W(a,1)+op_count_COABgblf1C(op_HiPekx5b7W(a,1),a)
    return count


def op_FZXVY8MgqP(a):
    return op_3YWlZA9bsa(op_GODebY97qR(a,a),op_LdNpr8hQHL(a))

def op_count_FZXVY8MgqP(a):
    count = op_count_GODebY97qR(a,a)+op_count_LdNpr8hQHL(a)+op_count_3YWlZA9bsa(op_GODebY97qR(a,a),op_LdNpr8hQHL(a))
    return count


a⊮∢≜ = { (a↑) , if (a≫≃)>2 ; (a⪛⫼a) , else }

def op_ydyDtesUNX(a):
    if op_X99M06cbEe(a) > 2:
        return op_BThhyOhh10(a)
    else:
        return op_hyuBjUqXlG(a,a)

def op_count_ydyDtesUNX(a):
    if op_X99M06cbEe(a) > 2:
        count = op_count_BThhyOhh10(a)+op_count_X99M06cbEe(a)
    else:
        count = op_count_hyuBjUqXlG(a,a)
    return count


def op_Fe3OlIgKHc(a):
    return op_aiqF8n6J9c(op_QKXs96F9fN(op_IWmyXbctLI(a,a)),537)

def op_count_Fe3OlIgKHc(a):
    count = op_count_IWmyXbctLI(a,a)+op_count_QKXs96F9fN(op_IWmyXbctLI(a,a))+op_count_aiqF8n6J9c(op_QKXs96F9fN(op_IWmyXbctLI(a,a)),537)
    return count


def op_ET0KLvfdmE(a, b):
    return op_wicAB68Tmb(op_oj4YnGA3cE(a),op_IWmyXbctLI(b,a))

def op_count_ET0KLvfdmE(a, b):
    count = op_count_oj4YnGA3cE(a)+op_count_IWmyXbctLI(b,a)+op_count_wicAB68Tmb(op_oj4YnGA3cE(a),op_IWmyXbctLI(b,a))
    return count


a⪦⪊b = { ((⪁≄b)⋟⫀⨗(⫶⊄≣b)) , if (⫭≬a)<95 ; ((∂⩏⊆a)∄(a⫡⨏b)) , else }

def op_DykcjiQqpf(a, b):
    if op_S7Dkc5Re0B(a) < 95:
        return op_dAAkup5nzi(op_2O29ZX4yK6(b),op_wxb3vTeyAj(b))
    else:
        return op_tnyRA5sazQ(op_8WDwsbhb0R(a),op_QMFrweE19q(a,b))

def op_count_DykcjiQqpf(a, b):
    if op_S7Dkc5Re0B(a) < 95:
        count = op_count_2O29ZX4yK6(b)+op_count_wxb3vTeyAj(b)+op_count_dAAkup5nzi(op_2O29ZX4yK6(b),op_wxb3vTeyAj(b))+op_count_S7Dkc5Re0B(a)
    else:
        count = op_count_8WDwsbhb0R(a)+op_count_QMFrweE19q(a,b)+op_count_tnyRA5sazQ(op_8WDwsbhb0R(a),op_QMFrweE19q(a,b))
    return count


def op_mCA1Lu4fO6(a, b):
    return op_tIhPxZTbsh(op_8HCJqvcFkE(op_WhqkvtTD3t(b,a)),op_S7Dkc5Re0B(op_Sq3AGanRSD(a,a)))

def op_count_mCA1Lu4fO6(a, b):
    count = op_count_WhqkvtTD3t(b,a)+op_count_8HCJqvcFkE(op_WhqkvtTD3t(b,a))+op_count_Sq3AGanRSD(a,a)+op_count_S7Dkc5Re0B(op_Sq3AGanRSD(a,a))+op_count_tIhPxZTbsh(op_8HCJqvcFkE(op_WhqkvtTD3t(b,a)),op_S7Dkc5Re0B(op_Sq3AGanRSD(a,a)))
    return count


def op_LJjZ19xYgc(a):
    return op_nEsXyWgiOK(a,a)

def op_count_LJjZ19xYgc(a):
    count = op_count_nEsXyWgiOK(a,a)
    return count


def op_4zmgO5IZPg(a):
    return op_jWTQ2TZYIH(op_aiqF8n6J9c(a,a),op_CgIo77xlM2(62))

def op_count_4zmgO5IZPg(a):
    count = op_count_aiqF8n6J9c(a,a)+op_count_CgIo77xlM2(62)+op_count_jWTQ2TZYIH(op_aiqF8n6J9c(a,a),op_CgIo77xlM2(62))
    return count


def op_x4nckvPyZv(a):
    return op_tnyRA5sazQ(op_5TUYCnJO6w(a),op_HK0tfVPux8(720,a))

def op_count_x4nckvPyZv(a):
    count = op_count_5TUYCnJO6w(a)+op_count_HK0tfVPux8(720,a)+op_count_tnyRA5sazQ(op_5TUYCnJO6w(a),op_HK0tfVPux8(720,a))
    return count


def op_JAsMQSYFYM(a):
    return op_lwHaAYXP2r(a,a)

def op_count_JAsMQSYFYM(a):
    count = op_count_lwHaAYXP2r(a,a)
    return count


def op_Y827t4Oxkq(a, b):
    return op_0JWJYFSzIQ(op_tmPS8pqC7x(a,b),op_RFg3ArkQ7E(a))

def op_count_Y827t4Oxkq(a, b):
    count = op_count_tmPS8pqC7x(a,b)+op_count_RFg3ArkQ7E(a)+op_count_0JWJYFSzIQ(op_tmPS8pqC7x(a,b),op_RFg3ArkQ7E(a))
    return count


def op_hmRjlYdCYn(a, b):
    return op_w2P8NbNXyL(op_s1XTVnmDOJ(op_Qctrpi3WzA(23),op_1eCjFl0mb9(157,a)),b)

def op_count_hmRjlYdCYn(a, b):
    count = op_count_Qctrpi3WzA(23)+op_count_1eCjFl0mb9(157,a)+op_count_s1XTVnmDOJ(op_Qctrpi3WzA(23),op_1eCjFl0mb9(157,a))+op_count_w2P8NbNXyL(op_s1XTVnmDOJ(op_Qctrpi3WzA(23),op_1eCjFl0mb9(157,a)),b)
    return count


def op_NnTbxo2Idi(a):
    return op_Ez1Nq5fNfI(op_DykcjiQqpf(op_W4YGzv6Whe(139,a),op_CuHhPb8RwQ(a)),op_HiPekx5b7W(op_vg4gO5BX6G(a,a),op_tnyRA5sazQ(a,a)))

def op_count_NnTbxo2Idi(a):
    count = op_count_W4YGzv6Whe(139,a)+op_count_CuHhPb8RwQ(a)+op_count_DykcjiQqpf(op_W4YGzv6Whe(139,a),op_CuHhPb8RwQ(a))+op_count_vg4gO5BX6G(a,a)+op_count_tnyRA5sazQ(a,a)+op_count_HiPekx5b7W(op_vg4gO5BX6G(a,a),op_tnyRA5sazQ(a,a))+op_count_Ez1Nq5fNfI(op_DykcjiQqpf(op_W4YGzv6Whe(139,a),op_CuHhPb8RwQ(a)),op_HiPekx5b7W(op_vg4gO5BX6G(a,a),op_tnyRA5sazQ(a,a)))
    return count


def op_9ntSni7vAj(a):
    return op_j9kHMeSvPp(op_VEQNXA0ZBg(189),a)

def op_count_9ntSni7vAj(a):
    count = op_count_VEQNXA0ZBg(189)+op_count_j9kHMeSvPp(op_VEQNXA0ZBg(189),a)
    return count