⇀⨚a = { (((a≎⊠⪸a)⇮(a⋏⩄⨂a))≏⨯⊱(440∠⨼≺(a∐⋓∯a))) , if (a⋈173)>=82 ; (⫯⪅(⇘(≻⫄⨎a))) , else }

def op_9jENx7YAV9(a):
    if op_nDybdB13Ph(a,173) >= 82:
        return op_UqUOXUQnbU(op_oqoWAMqwIq(op_bJkvcejdHO(a,a),op_D69ahk0G0B(a,a)),op_zF2h9d8EEQ(440,op_ur59r4nmwX(a,a)))
    else:
        return op_CLDTXkWWkP(op_MGuIdZPyUC(op_dOIe7CYppI(a)))

def op_count_9jENx7YAV9(a):
    if op_nDybdB13Ph(a,173) >= 82:
        count = op_count_bJkvcejdHO(a,a)+op_count_D69ahk0G0B(a,a)+op_count_oqoWAMqwIq(op_bJkvcejdHO(a,a),op_D69ahk0G0B(a,a))+op_count_ur59r4nmwX(a,a)+op_count_zF2h9d8EEQ(440,op_ur59r4nmwX(a,a))+op_count_UqUOXUQnbU(op_oqoWAMqwIq(op_bJkvcejdHO(a,a),op_D69ahk0G0B(a,a)),op_zF2h9d8EEQ(440,op_ur59r4nmwX(a,a)))+op_count_nDybdB13Ph(a,173)
    else:
        count = op_count_dOIe7CYppI(a)+op_count_MGuIdZPyUC(op_dOIe7CYppI(a))+op_count_CLDTXkWWkP(op_MGuIdZPyUC(op_dOIe7CYppI(a)))
    return count


def op_xHqzMvGLaM(a):
    return op_L0XVkq44a1(op_0wziYLqNx9(a,46),op_mMNOlYfzJE(a))

def op_count_xHqzMvGLaM(a):
    count = op_count_0wziYLqNx9(a,46)+op_count_mMNOlYfzJE(a)+op_count_L0XVkq44a1(op_0wziYLqNx9(a,46),op_mMNOlYfzJE(a))
    return count


def op_p48QDZTAL3(a, b):
    return op_YaB1w09lmH(op_k8jYdgA6NY(68,633),op_9Q5hJbNi17(b,a))

def op_count_p48QDZTAL3(a, b):
    count = op_count_k8jYdgA6NY(68,633)+op_count_9Q5hJbNi17(b,a)+op_count_YaB1w09lmH(op_k8jYdgA6NY(68,633),op_9Q5hJbNi17(b,a))
    return count


def op_gJBouwWqtm(a):
    return op_36V2MidH9c(32,a)

def op_count_gJBouwWqtm(a):
    count = op_count_36V2MidH9c(32,a)
    return count


def op_2quXGqlWmw(a):
    return op_xb2YpVd57y(op_cx1JSpNNHo(a,a),op_RXUpafmlG7(a,a))

def op_count_2quXGqlWmw(a):
    count = op_count_cx1JSpNNHo(a,a)+op_count_RXUpafmlG7(a,a)+op_count_xb2YpVd57y(op_cx1JSpNNHo(a,a),op_RXUpafmlG7(a,a))
    return count


def op_RkBZ0uEANM(a):
    if op_TPY4Vhd24N(a,670) > 30:
        return op_H6S8IR817C(op_H6BK1Evt7c(a),op_SJue8jHfl2(365))
    else:
        return op_w4eTsxfO5i(op_15v7IodGk2(a,a),op_jIjE9uTss5(a,a))

def op_count_RkBZ0uEANM(a):
    if op_TPY4Vhd24N(a,670) > 30:
        count = op_count_H6BK1Evt7c(a)+op_count_SJue8jHfl2(365)+op_count_H6S8IR817C(op_H6BK1Evt7c(a),op_SJue8jHfl2(365))+op_count_TPY4Vhd24N(a,670)
    else:
        count = op_count_15v7IodGk2(a,a)+op_count_jIjE9uTss5(a,a)+op_count_w4eTsxfO5i(op_15v7IodGk2(a,a),op_jIjE9uTss5(a,a))
    return count


def op_N8J5x4WOD7(a):
    return op_vFgX83MrL4(op_3Nwa8gVjpX(a,a))

def op_count_N8J5x4WOD7(a):
    count = op_count_3Nwa8gVjpX(a,a)+op_count_vFgX83MrL4(op_3Nwa8gVjpX(a,a))
    return count


⩈⪿≖a = { (((a↮a)⩜⩆(204⪩≅122))⊎⇁⫏(⫶⊄≣(a⇪↧a))) }

def op_wUA6jgyQIV(a):
    return op_oj0wKxwag9(op_gBZ5YI4mOE(op_ugTrrffvJh(a,a),op_TFdbvXreUq(204,122)),op_wxb3vTeyAj(op_yRqWCfy5LI(a,a)))

def op_count_wUA6jgyQIV(a):
    count = op_count_ugTrrffvJh(a,a)+op_count_TFdbvXreUq(204,122)+op_count_gBZ5YI4mOE(op_ugTrrffvJh(a,a),op_TFdbvXreUq(204,122))+op_count_yRqWCfy5LI(a,a)+op_count_wxb3vTeyAj(op_yRqWCfy5LI(a,a))+op_count_oj0wKxwag9(op_gBZ5YI4mOE(op_ugTrrffvJh(a,a),op_TFdbvXreUq(204,122)),op_wxb3vTeyAj(op_yRqWCfy5LI(a,a)))
    return count


def op_g79TAGw6Ip(a):
    if op_T9SPe3fQV2(a,322) >= 90:
        return op_212REbPD9h(a,122)
    else:
        return a

def op_count_g79TAGw6Ip(a):
    if op_T9SPe3fQV2(a,322) >= 90:
        count = op_count_212REbPD9h(a,122)+op_count_T9SPe3fQV2(a,322)
    else:
        count = 1
    return count


a⇝⇔b = { (b≀⇓∃110) , if a>=218 ; (⨵≀≌a) , else }

def op_CRedoB3qwL(a, b):
    if a >= 218:
        return op_kXpzAH9jno(b,110)
    else:
        return op_srAu1WTS94(a)

def op_count_CRedoB3qwL(a, b):
    if a >= 218:
        count = op_count_kXpzAH9jno(b,110)
    else:
        count = op_count_srAu1WTS94(a)
    return count


a∻⊟ = { (a⇡) , if a<295 ; (a⨮⪎⇱40) , else }

def op_kARpMGKQIr(a):
    if a < 295:
        return op_UqFzSgLMvQ(a)
    else:
        return op_QyJFccSbaX(a,40)

def op_count_kARpMGKQIr(a):
    if a < 295:
        count = op_count_UqFzSgLMvQ(a)
    else:
        count = op_count_QyJFccSbaX(a,40)
    return count


def op_jjWaUAHHEA(a, b):
    return op_H6BK1Evt7c(op_dbaoL9ubd4(op_bMfZrpXtSe(a,b),op_3IOjIrkHfL(a,b)))

def op_count_jjWaUAHHEA(a, b):
    count = op_count_bMfZrpXtSe(a,b)+op_count_3IOjIrkHfL(a,b)+op_count_dbaoL9ubd4(op_bMfZrpXtSe(a,b),op_3IOjIrkHfL(a,b))+op_count_H6BK1Evt7c(op_dbaoL9ubd4(op_bMfZrpXtSe(a,b),op_3IOjIrkHfL(a,b)))
    return count


a⇚⪁b = { ((a≃⨎a)⇩) , if (⨚⪲≒b)<671 ; ((a⋞⫮b)⩘(220⨒a)) , else }

def op_iblNMd5S3q(a, b):
    if op_x442d74neU(b) < 671:
        return op_vRio1gEz1j(op_lQ3fYqgTA2(a,a))
    else:
        return op_cHh1gJQ2o6(op_2am7j97jvV(a,b),op_y75s1iXyHd(220,a))

def op_count_iblNMd5S3q(a, b):
    if op_x442d74neU(b) < 671:
        count = op_count_lQ3fYqgTA2(a,a)+op_count_vRio1gEz1j(op_lQ3fYqgTA2(a,a))+op_count_x442d74neU(b)
    else:
        count = op_count_2am7j97jvV(a,b)+op_count_y75s1iXyHd(220,a)+op_count_cHh1gJQ2o6(op_2am7j97jvV(a,b),op_y75s1iXyHd(220,a))
    return count


a↘⋏ = { (((a⪭↷⊩)≙⪾(a⊈⨦a))⨦⨚∂((2∉a)↝⋟⪌(⫫≗162))) }

def op_cB80CVIL8n(a):
    return op_RpQvJizf4x(op_OhqpJ7Tl0K(op_Oe8teynzfS(a),op_NCK8ztm4vY(a,a)),op_F85fdRvr8l(op_ZpNKXFjcIY(2,a),op_zPaCbzxRhG(162)))

def op_count_cB80CVIL8n(a):
    count = op_count_Oe8teynzfS(a)+op_count_NCK8ztm4vY(a,a)+op_count_OhqpJ7Tl0K(op_Oe8teynzfS(a),op_NCK8ztm4vY(a,a))+op_count_ZpNKXFjcIY(2,a)+op_count_zPaCbzxRhG(162)+op_count_F85fdRvr8l(op_ZpNKXFjcIY(2,a),op_zPaCbzxRhG(162))+op_count_RpQvJizf4x(op_OhqpJ7Tl0K(op_Oe8teynzfS(a),op_NCK8ztm4vY(a,a)),op_F85fdRvr8l(op_ZpNKXFjcIY(2,a),op_zPaCbzxRhG(162)))
    return count


def op_kravj9xg3G(a, b):
    return op_6CTfL9kIPY(op_srAu1WTS94(106),op_dbaoL9ubd4(a,b))

def op_count_kravj9xg3G(a, b):
    count = op_count_srAu1WTS94(106)+op_count_dbaoL9ubd4(a,b)+op_count_6CTfL9kIPY(op_srAu1WTS94(106),op_dbaoL9ubd4(a,b))
    return count


⨜⋫⇤a = { (((15⇊⇳)⩹∮(a⋲a))↾∥⪚(≆∏⊝(a⋻⊵6))) }

def op_aWu836MSkd(a):
    return op_QyT1usQeR4(op_HZGlijH19F(op_aaQ3WJhk6P(15),op_zoVUxTIMAa(a,a)),op_Bv9scDTvcV(op_Gul2kBmyZM(a,6)))

def op_count_aWu836MSkd(a):
    count = op_count_aaQ3WJhk6P(15)+op_count_zoVUxTIMAa(a,a)+op_count_HZGlijH19F(op_aaQ3WJhk6P(15),op_zoVUxTIMAa(a,a))+op_count_Gul2kBmyZM(a,6)+op_count_Bv9scDTvcV(op_Gul2kBmyZM(a,6))+op_count_QyT1usQeR4(op_HZGlijH19F(op_aaQ3WJhk6P(15),op_zoVUxTIMAa(a,a)),op_Bv9scDTvcV(op_Gul2kBmyZM(a,6)))
    return count


def op_Rq3VGp5pbm(a):
    if op_qR0a6FVQRO(a) != 350:
        return op_IjGhTk7PpW(a,226)
    else:
        return op_NAuE9E6FzB(a)

def op_count_Rq3VGp5pbm(a):
    if op_qR0a6FVQRO(a) != 350:
        count = op_count_IjGhTk7PpW(a,226)+op_count_qR0a6FVQRO(a)
    else:
        count = op_count_NAuE9E6FzB(a)
    return count


def op_mKn7Wvar9h(a):
    return op_NQx0zRYggH(op_YFgJcOFAB6(op_yXekIHxTD4(a,a)),op_ffr2ZXDv3X(op_NTLdrygXQH(20)))

def op_count_mKn7Wvar9h(a):
    count = op_count_yXekIHxTD4(a,a)+op_count_YFgJcOFAB6(op_yXekIHxTD4(a,a))+op_count_NTLdrygXQH(20)+op_count_ffr2ZXDv3X(op_NTLdrygXQH(20))+op_count_NQx0zRYggH(op_YFgJcOFAB6(op_yXekIHxTD4(a,a)),op_ffr2ZXDv3X(op_NTLdrygXQH(20)))
    return count


a≄↔ = { ((a⫶⩦⫌a)∗⩻) , if (a∝≗833)<=553 ; a , else }

def op_2DQEVT1zuE(a):
    if op_bQy7iKdSPD(a,833) <= 553:
        return op_ccHmK6PBIn(op_JhaTKDJgG8(a,a))
    else:
        return a

def op_count_2DQEVT1zuE(a):
    if op_bQy7iKdSPD(a,833) <= 553:
        count = op_count_JhaTKDJgG8(a,a)+op_count_ccHmK6PBIn(op_JhaTKDJgG8(a,a))+op_count_bQy7iKdSPD(a,833)
    else:
        count = 1
    return count


def op_QZ1Dv19kB2(a):
    return op_5LE63mxGOF(op_mOUIj6rraD(34,a),op_wxb3vTeyAj(a))

def op_count_QZ1Dv19kB2(a):
    count = op_count_mOUIj6rraD(34,a)+op_count_wxb3vTeyAj(a)+op_count_5LE63mxGOF(op_mOUIj6rraD(34,a),op_wxb3vTeyAj(a))
    return count


def op_sVy2mYxvnI(a):
    if a == 17:
        return op_8kC3VQV3Yq(op_CZOjTOoLse(op_ZuWTEsGw6f(a,a)),op_UZb5oF9J8A(op_e2I50Kkg91(306),op_Z7B3c4tHRK(a,610)))
    else:
        return op_10Y1YzcX1i(op_BTJnxt4pK9(op_RXUpafmlG7(a,a),op_joCbSVezTg(a,188)),op_M0eZcchmsa(op_S5nS5IR4MP(8,a),op_3jaEye8kCv(a)))

def op_count_sVy2mYxvnI(a):
    if a == 17:
        count = op_count_ZuWTEsGw6f(a,a)+op_count_CZOjTOoLse(op_ZuWTEsGw6f(a,a))+op_count_e2I50Kkg91(306)+op_count_Z7B3c4tHRK(a,610)+op_count_UZb5oF9J8A(op_e2I50Kkg91(306),op_Z7B3c4tHRK(a,610))+op_count_8kC3VQV3Yq(op_CZOjTOoLse(op_ZuWTEsGw6f(a,a)),op_UZb5oF9J8A(op_e2I50Kkg91(306),op_Z7B3c4tHRK(a,610)))
    else:
        count = op_count_RXUpafmlG7(a,a)+op_count_joCbSVezTg(a,188)+op_count_BTJnxt4pK9(op_RXUpafmlG7(a,a),op_joCbSVezTg(a,188))+op_count_S5nS5IR4MP(8,a)+op_count_3jaEye8kCv(a)+op_count_M0eZcchmsa(op_S5nS5IR4MP(8,a),op_3jaEye8kCv(a))+op_count_10Y1YzcX1i(op_BTJnxt4pK9(op_RXUpafmlG7(a,a),op_joCbSVezTg(a,188)),op_M0eZcchmsa(op_S5nS5IR4MP(8,a),op_3jaEye8kCv(a)))
    return count


def op_3vxRbetL78(a):
    return op_FYxAUuNJ3U(op_zVYPLywUTj(a),a)

def op_count_3vxRbetL78(a):
    count = op_count_zVYPLywUTj(a)+op_count_FYxAUuNJ3U(op_zVYPLywUTj(a),a)
    return count


def op_mMFf7LlMzv(a, b):
    return op_pCchOQ3ajF(op_lDgtejlvTV(op_bR7FmX73P0(12,b),op_sI3WE0f3wC(b,a)))

def op_count_mMFf7LlMzv(a, b):
    count = op_count_bR7FmX73P0(12,b)+op_count_sI3WE0f3wC(b,a)+op_count_lDgtejlvTV(op_bR7FmX73P0(12,b),op_sI3WE0f3wC(b,a))+op_count_pCchOQ3ajF(op_lDgtejlvTV(op_bR7FmX73P0(12,b),op_sI3WE0f3wC(b,a)))
    return count


def op_RwAn0XwkmE(a):
    return op_hFvFHqVvZy(op_Em9NHB5wTK(a,a))

def op_count_RwAn0XwkmE(a):
    count = op_count_Em9NHB5wTK(a,a)+op_count_hFvFHqVvZy(op_Em9NHB5wTK(a,a))
    return count


def op_AOY1O378J6(a, b):
    return op_yO0Pz5QMfn(op_F9Zfm1dsok(b,a),op_6Zjw4YHEYi(a))

def op_count_AOY1O378J6(a, b):
    count = op_count_F9Zfm1dsok(b,a)+op_count_6Zjw4YHEYi(a)+op_count_yO0Pz5QMfn(op_F9Zfm1dsok(b,a),op_6Zjw4YHEYi(a))
    return count


a/⊯⨻ = { (a⫕⨽⨩) , if a==166 ; (a⊢⫝̸⪉a) , else }

def op_G046GaHObK(a):
    if a == 166:
        return op_sX7icBeOwx(a)
    else:
        return op_ZCundfY3Ma(a,a)

def op_count_G046GaHObK(a):
    if a == 166:
        count = op_count_sX7icBeOwx(a)
    else:
        count = op_count_ZCundfY3Ma(a,a)
    return count


def op_BHv7N17Mp9(a):
    return op_8lBC7wqBde(a,op_pCNCNETmIQ(op_KyVz9wbwCq(a),op_poiSo6Xg3g(a,a)))

def op_count_BHv7N17Mp9(a):
    count = op_count_KyVz9wbwCq(a)+op_count_poiSo6Xg3g(a,a)+op_count_pCNCNETmIQ(op_KyVz9wbwCq(a),op_poiSo6Xg3g(a,a))+op_count_8lBC7wqBde(a,op_pCNCNETmIQ(op_KyVz9wbwCq(a),op_poiSo6Xg3g(a,a)))
    return count


def op_U5eBAoMr2S(a):
    if a != 6:
        return op_iLDmr1kYEU(op_exzyYvvvzF(a,361))
    else:
        return op_H6BK1Evt7c(op_Z7B3c4tHRK(a,a))

def op_count_U5eBAoMr2S(a):
    if a != 6:
        count = op_count_exzyYvvvzF(a,361)+op_count_iLDmr1kYEU(op_exzyYvvvzF(a,361))
    else:
        count = op_count_Z7B3c4tHRK(a,a)+op_count_H6BK1Evt7c(op_Z7B3c4tHRK(a,a))
    return count


a⩒⩋b = { (⋝⇱⇓(⪶⨩b)) , if b<108 ; ((a⋥≓≎a)↝(b⪶517)) , else }

def op_v3p230vbm5(a, b):
    if b < 108:
        return op_TLv57rOmDJ(op_ixc2Esl5RP(b))
    else:
        return op_Xl9shMzOPN(op_Qy55tPpLXF(a,a),op_NvEvKO2R8S(b,517))

def op_count_v3p230vbm5(a, b):
    if b < 108:
        count = op_count_ixc2Esl5RP(b)+op_count_TLv57rOmDJ(op_ixc2Esl5RP(b))
    else:
        count = op_count_Qy55tPpLXF(a,a)+op_count_NvEvKO2R8S(b,517)+op_count_Xl9shMzOPN(op_Qy55tPpLXF(a,a),op_NvEvKO2R8S(b,517))
    return count


def op_DwP0GRE7En(a, b):
    return op_GaQLcZwlqT(op_ruOEQAzv1W(op_ydJmeWyvU7(a,b)))

def op_count_DwP0GRE7En(a, b):
    count = op_count_ydJmeWyvU7(a,b)+op_count_ruOEQAzv1W(op_ydJmeWyvU7(a,b))+op_count_GaQLcZwlqT(op_ruOEQAzv1W(op_ydJmeWyvU7(a,b)))
    return count


def op_QC8t9mvc7L(a):
    return op_VTWL3whYCc(op_bR7FmX73P0(a,a),op_r6dTyk8NtM(a))

def op_count_QC8t9mvc7L(a):
    count = op_count_bR7FmX73P0(a,a)+op_count_r6dTyk8NtM(a)+op_count_VTWL3whYCc(op_bR7FmX73P0(a,a),op_r6dTyk8NtM(a))
    return count


def op_dNdhYrR8QU(a, b):
    if (op_f8TJb0vaMc(a,868) <= 592 or op_kXdIxiHQg4(a) < 18):
        return op_NsGlVlbNoR(op_izD018cS1t(b),op_y16C4hJIbn(a,b))
    else:
        return op_rIhv4QYABv(op_xrB6SlzufE(105,a),op_grHKJW0KEs(44))

def op_count_dNdhYrR8QU(a, b):
    if (op_f8TJb0vaMc(a,868) <= 592 or op_kXdIxiHQg4(a) < 18):
        count = op_count_izD018cS1t(b)+op_count_y16C4hJIbn(a,b)+op_count_NsGlVlbNoR(op_izD018cS1t(b),op_y16C4hJIbn(a,b))+op_count_f8TJb0vaMc(a,868)+op_count_kXdIxiHQg4(a)
    else:
        count = op_count_xrB6SlzufE(105,a)+op_count_grHKJW0KEs(44)+op_count_rIhv4QYABv(op_xrB6SlzufE(105,a),op_grHKJW0KEs(44))
    return count


a∜⊣⊖b = { a , if (a⫏⨳)>434 ; (b/b) , else }

def op_fYXCKsQvnT(a, b):
    if op_uYFMMs11JB(a) > 434:
        return a
    else:
        return op_XhwjNDsVaA(b,b)

def op_count_fYXCKsQvnT(a, b):
    if op_uYFMMs11JB(a) > 434:
        count = 1
    else:
        count = op_count_XhwjNDsVaA(b,b)
    return count


def op_P1KpuPFj95(a):
    if op_8p2uRDTgwB(a) < 74:
        return op_NnryeZgiwo(60,a)
    else:
        return op_BThhyOhh10(103)

def op_count_P1KpuPFj95(a):
    if op_8p2uRDTgwB(a) < 74:
        count = op_count_NnryeZgiwo(60,a)+op_count_8p2uRDTgwB(a)
    else:
        count = op_count_BThhyOhh10(103)
    return count


def op_nKRP7T4sDA(a):
    return op_SlXQBQlOF8(op_B7jD7820sf(a,a),op_KYIJhKMuxi(851))

def op_count_nKRP7T4sDA(a):
    count = op_count_B7jD7820sf(a,a)+op_count_KYIJhKMuxi(851)+op_count_SlXQBQlOF8(op_B7jD7820sf(a,a),op_KYIJhKMuxi(851))
    return count


⋞≒a = { (a⊱⫣a) , if (a↤)<=29 ; (⋙⨈a) , else }

def op_yoQGOmd14C(a):
    if op_e8vy2cuFa5(a) <= 29:
        return op_lYYgj615o2(a,a)
    else:
        return op_s0xSQ81QCO(a)

def op_count_yoQGOmd14C(a):
    if op_e8vy2cuFa5(a) <= 29:
        count = op_count_lYYgj615o2(a,a)+op_count_e8vy2cuFa5(a)
    else:
        count = op_count_s0xSQ81QCO(a)
    return count


a⇙≖b = { (b⫬↰a) , if (⋃⫷⫵b)>41 ; (a⨡⇟⫳a) , else }

def op_UcOohO8Yx2(a, b):
    if op_EccndXHfjJ(b) > 41:
        return op_f8TJb0vaMc(b,a)
    else:
        return op_LlA1dz4vja(a,a)

def op_count_UcOohO8Yx2(a, b):
    if op_EccndXHfjJ(b) > 41:
        count = op_count_f8TJb0vaMc(b,a)+op_count_EccndXHfjJ(b)
    else:
        count = op_count_LlA1dz4vja(a,a)
    return count


a≍⊷⪱b = { (((b⪉⨛b)⫄(b∙↹⋪b))∇((a⪗⪦⨯a)≚⊃≕(31⪇⋗))) , if (b≅⨐)==134 and (a⨇↪∱)==183 ; (((b↴)⫊(a⪤⇈b))⋩⇎) , else }

def op_MxGp09baVO(a, b):
    if op_mxuDegDVqC(b) == 134 and op_i1ENulFIPA(a) == 183:
        return op_fICjaz8Yf3(op_hb2mTwldPZ(op_EWw2JM7wp4(b,b),op_DkVDVv6gLT(b,b)),op_Bmrmz2XGnR(op_C6huvSECWb(a,a),op_7jqYwnJmZf(31)))
    else:
        return op_84TDxkSNK1(op_uPjn7n5pli(op_R0IH6tFGJf(b),op_lWNx0gx4UD(a,b)))

def op_count_MxGp09baVO(a, b):
    if op_mxuDegDVqC(b) == 134 and op_i1ENulFIPA(a) == 183:
        count = op_count_EWw2JM7wp4(b,b)+op_count_DkVDVv6gLT(b,b)+op_count_hb2mTwldPZ(op_EWw2JM7wp4(b,b),op_DkVDVv6gLT(b,b))+op_count_C6huvSECWb(a,a)+op_count_7jqYwnJmZf(31)+op_count_Bmrmz2XGnR(op_C6huvSECWb(a,a),op_7jqYwnJmZf(31))+op_count_fICjaz8Yf3(op_hb2mTwldPZ(op_EWw2JM7wp4(b,b),op_DkVDVv6gLT(b,b)),op_Bmrmz2XGnR(op_C6huvSECWb(a,a),op_7jqYwnJmZf(31)))+op_count_mxuDegDVqC(b)+op_count_i1ENulFIPA(a)
    else:
        count = op_count_R0IH6tFGJf(b)+op_count_lWNx0gx4UD(a,b)+op_count_uPjn7n5pli(op_R0IH6tFGJf(b),op_lWNx0gx4UD(a,b))+op_count_84TDxkSNK1(op_uPjn7n5pli(op_R0IH6tFGJf(b),op_lWNx0gx4UD(a,b)))
    return count


def op_ZmZzbvfWE2(a, b):
    return op_vkpjKywKVM(a,op_ZG1KnpkPxw(op_xRrnTEsQ6j(a,b),op_dBWtppcwHd(a,a)))

def op_count_ZmZzbvfWE2(a, b):
    count = op_count_xRrnTEsQ6j(a,b)+op_count_dBWtppcwHd(a,a)+op_count_ZG1KnpkPxw(op_xRrnTEsQ6j(a,b),op_dBWtppcwHd(a,a))+op_count_vkpjKywKVM(a,op_ZG1KnpkPxw(op_xRrnTEsQ6j(a,b),op_dBWtppcwHd(a,a)))
    return count


a⩰↠b = { (a≫b) , if (⋽⋏∜b)==26 ; (⇜⊴25) , else }

def op_s9l7B39Gy2(a, b):
    if op_dUVc8B1hJO(b) == 26:
        return op_fjIpuvyOFL(a,b)
    else:
        return op_XwDhCwWbUn(25)

def op_count_s9l7B39Gy2(a, b):
    if op_dUVc8B1hJO(b) == 26:
        count = op_count_fjIpuvyOFL(a,b)+op_count_dUVc8B1hJO(b)
    else:
        count = op_count_XwDhCwWbUn(25)
    return count


def op_ENCncEn1bW(a):
    return op_RabNbG55vr(op_yd3ne7Hlcq(0,a),op_MmTdOpaElr(a))

def op_count_ENCncEn1bW(a):
    count = op_count_yd3ne7Hlcq(0,a)+op_count_MmTdOpaElr(a)+op_count_RabNbG55vr(op_yd3ne7Hlcq(0,a),op_MmTdOpaElr(a))
    return count


def op_9HTx33x6CA(a):
    return op_poiSo6Xg3g(op_S56z7WVPBn(op_NVeYvCUZ8p(a)),op_zBtHAxlVCP(op_tJtBLRaXS9(a,a)))

def op_count_9HTx33x6CA(a):
    count = op_count_NVeYvCUZ8p(a)+op_count_S56z7WVPBn(op_NVeYvCUZ8p(a))+op_count_tJtBLRaXS9(a,a)+op_count_zBtHAxlVCP(op_tJtBLRaXS9(a,a))+op_count_poiSo6Xg3g(op_S56z7WVPBn(op_NVeYvCUZ8p(a)),op_zBtHAxlVCP(op_tJtBLRaXS9(a,a)))
    return count


def op_q9XL0dzTix(a, b):
    return op_R3R4sbjZye(op_21ob1huWpa(a,772),op_AvED76WdY7(b))

def op_count_q9XL0dzTix(a, b):
    count = op_count_21ob1huWpa(a,772)+op_count_AvED76WdY7(b)+op_count_R3R4sbjZye(op_21ob1huWpa(a,772),op_AvED76WdY7(b))
    return count


a∰⩈b = { ((b∴b)≼⫒↬(⪛⨧b)) , if b<99 ; ((a⋖⫂78)⊃⋓(b⇶⫷b)) , else }

def op_vjO1tVBgS7(a, b):
    if b < 99:
        return op_qufViy4tU0(op_hrf7POJlIJ(b,b),op_6NJAcO2OWT(b))
    else:
        return op_UdJFuQTeHN(op_7gUth6Rgvl(a,78),op_rWHQfPzizK(b,b))

def op_count_vjO1tVBgS7(a, b):
    if b < 99:
        count = op_count_hrf7POJlIJ(b,b)+op_count_6NJAcO2OWT(b)+op_count_qufViy4tU0(op_hrf7POJlIJ(b,b),op_6NJAcO2OWT(b))
    else:
        count = op_count_7gUth6Rgvl(a,78)+op_count_rWHQfPzizK(b,b)+op_count_UdJFuQTeHN(op_7gUth6Rgvl(a,78),op_rWHQfPzizK(b,b))
    return count


≚⩌⨽a = { (↺⪉⨢(a⨃⇵⋔a)) , if (a⋧∎⨊127)!=17 ; a , else }

def op_Z3sQ9jTwIj(a):
    if op_jvKnzH5Wrf(a,127) != 17:
        return op_zFY2A2ppo2(op_Bdiofinswe(a,a))
    else:
        return a

def op_count_Z3sQ9jTwIj(a):
    if op_jvKnzH5Wrf(a,127) != 17:
        count = op_count_Bdiofinswe(a,a)+op_count_zFY2A2ppo2(op_Bdiofinswe(a,a))+op_count_jvKnzH5Wrf(a,127)
    else:
        count = 1
    return count


a≾⩤ = { (a≻√⪧) , if ((⫾⨄a)!=39 or a>=43) ; (a⩁⩘a) , else }

def op_vkg7Wpt1In(a):
    if (op_7fI9Cgzuff(a) != 39 or a >= 43):
        return op_iJhMwlfzpc(a)
    else:
        return op_gub5Cegaqo(a,a)

def op_count_vkg7Wpt1In(a):
    if (op_7fI9Cgzuff(a) != 39 or a >= 43):
        count = op_count_iJhMwlfzpc(a)+op_count_7fI9Cgzuff(a)
    else:
        count = op_count_gub5Cegaqo(a,a)
    return count


def op_ascLZ9HdLA(a, b):
    if (op_bT2YGab5tl(b,847) < 8 and op_iI58LvO9D4(b) >= 568):
        return op_ydyDtesUNX(a)
    else:
        return op_3ayH0UyYyX(b,225)

def op_count_ascLZ9HdLA(a, b):
    if (op_bT2YGab5tl(b,847) < 8 and op_iI58LvO9D4(b) >= 568):
        count = op_count_ydyDtesUNX(a)+op_count_bT2YGab5tl(b,847)+op_count_iI58LvO9D4(b)
    else:
        count = op_count_3ayH0UyYyX(b,225)
    return count


⇂↕⪝a = { ((⪨↰(a⫲⇓a))↨⪍≴(⋞∞(a⫙⨠∵a))) , if ((⩆≗a)>=4 or a>=264) ; (a∫⋜⩖((a⨦a)⪀∬↷)) , else }

def op_Ns6MaEZbMP(a):
    if (op_SMyk87KdZU(a) >= 4 or a >= 264):
        return op_DX7B1fY6P6(op_blQ9vzDKd0(op_i5hWbqkGkb(a,a)),op_ouMpCUGN3j(op_VIMCZ0TE5t(a,a)))
    else:
        return op_JgXZM7XvWE(a,op_bR4XZN044m(op_z4gvzBU7aQ(a,a)))

def op_count_Ns6MaEZbMP(a):
    if (op_SMyk87KdZU(a) >= 4 or a >= 264):
        count = op_count_i5hWbqkGkb(a,a)+op_count_blQ9vzDKd0(op_i5hWbqkGkb(a,a))+op_count_VIMCZ0TE5t(a,a)+op_count_ouMpCUGN3j(op_VIMCZ0TE5t(a,a))+op_count_DX7B1fY6P6(op_blQ9vzDKd0(op_i5hWbqkGkb(a,a)),op_ouMpCUGN3j(op_VIMCZ0TE5t(a,a)))+op_count_SMyk87KdZU(a)
    else:
        count = op_count_z4gvzBU7aQ(a,a)+op_count_bR4XZN044m(op_z4gvzBU7aQ(a,a))+op_count_JgXZM7XvWE(a,op_bR4XZN044m(op_z4gvzBU7aQ(a,a)))
    return count


⪯↼a = { ((a⪏⇁⨻a)⪨⨌⩅) , if a<143 ; ((a↧⇸a)⩾(a⫊⊙⇠a)) , else }

def op_OOWgT8j5Dv(a):
    if a < 143:
        return op_eupb9vlVPb(op_Bw1fwYnFxE(a,a))
    else:
        return op_UggxBX659n(op_ttmdOT7RaK(a,a),op_QwEjHC7A8R(a,a))

def op_count_OOWgT8j5Dv(a):
    if a < 143:
        count = op_count_Bw1fwYnFxE(a,a)+op_count_eupb9vlVPb(op_Bw1fwYnFxE(a,a))
    else:
        count = op_count_ttmdOT7RaK(a,a)+op_count_QwEjHC7A8R(a,a)+op_count_UggxBX659n(op_ttmdOT7RaK(a,a),op_QwEjHC7A8R(a,a))
    return count


a↾⋫ = { (≃⋐⪬(a⩁⩘a)) , if ((⫝̸∅a)<255 and (a⇗≫396)>663) ; ((a⫝⩷⋻a)∇∹(a⫞⩸⩒a)) , else }

def op_SI11VcxkTx(a):
    if (op_O9zW7v9TAZ(a) < 255 and op_S4LUIutb1e(a,396) > 663):
        return op_gae4JlXwSi(op_gub5Cegaqo(a,a))
    else:
        return op_NQx0zRYggH(op_owWyC9x9Uq(a,a),op_XGcMNugi78(a,a))

def op_count_SI11VcxkTx(a):
    if (op_O9zW7v9TAZ(a) < 255 and op_S4LUIutb1e(a,396) > 663):
        count = op_count_gub5Cegaqo(a,a)+op_count_gae4JlXwSi(op_gub5Cegaqo(a,a))+op_count_O9zW7v9TAZ(a)+op_count_S4LUIutb1e(a,396)
    else:
        count = op_count_owWyC9x9Uq(a,a)+op_count_XGcMNugi78(a,a)+op_count_NQx0zRYggH(op_owWyC9x9Uq(a,a),op_XGcMNugi78(a,a))
    return count


def op_yfNrFhSzv5(a):
    return op_cx1JSpNNHo(op_BThhyOhh10(op_jIjE9uTss5(a,166)),op_qWUSsah53b(op_Un5MXTlDFV(a)))

def op_count_yfNrFhSzv5(a):
    count = op_count_jIjE9uTss5(a,166)+op_count_BThhyOhh10(op_jIjE9uTss5(a,166))+op_count_Un5MXTlDFV(a)+op_count_qWUSsah53b(op_Un5MXTlDFV(a))+op_count_cx1JSpNNHo(op_BThhyOhh10(op_jIjE9uTss5(a,166)),op_qWUSsah53b(op_Un5MXTlDFV(a)))
    return count


def op_jYs446kLYw(a):
    return op_yHt80FcK1y(op_dOyh8NTXcy(a),op_EZf0a6At7B(a,a))

def op_count_jYs446kLYw(a):
    count = op_count_dOyh8NTXcy(a)+op_count_EZf0a6At7B(a,a)+op_count_yHt80FcK1y(op_dOyh8NTXcy(a),op_EZf0a6At7B(a,a))
    return count


def op_y7KeNMshhR(a, b):
    return op_Itv93Yo1MF(op_3ayH0UyYyX(a,b))

def op_count_y7KeNMshhR(a, b):
    count = op_count_3ayH0UyYyX(a,b)+op_count_Itv93Yo1MF(op_3ayH0UyYyX(a,b))
    return count


a⋷∪↥b = { b , if (a↠⩺)<=11 ; (a⊋a) , else }

def op_6aVlks4Vpw(a, b):
    if op_3jcGZHSLmS(a) <= 11:
        return b
    else:
        return op_W4tP9CfskL(a,a)

def op_count_6aVlks4Vpw(a, b):
    if op_3jcGZHSLmS(a) <= 11:
        count = 1
    else:
        count = op_count_W4tP9CfskL(a,a)
    return count


def op_SW5TzG0jHL(a):
    return op_iria2qRldt(op_EME5WDdOsX(op_R6sRhpmvlr(a)))

def op_count_SW5TzG0jHL(a):
    count = op_count_R6sRhpmvlr(a)+op_count_EME5WDdOsX(op_R6sRhpmvlr(a))+op_count_iria2qRldt(op_EME5WDdOsX(op_R6sRhpmvlr(a)))
    return count


a⨌⇍b = { b , if b<682 ; ((a⊂≢↧(a∝≶b))≂⊟⊞((a∰⋕47)⫈⩚(46⋏⨬⋖b))) , else }

def op_wo1YdtTCdY(a, b):
    if b < 682:
        return b
    else:
        return op_0KgWqnVqNo(op_1NCu7utSrV(a,op_e0UC6DYTvX(a,b)),op_s4gCNs8pnH(op_BJDLbvb5Z5(a,47),op_bDMTzmQgzE(46,b)))

def op_count_wo1YdtTCdY(a, b):
    if b < 682:
        count = 1
    else:
        count = op_count_e0UC6DYTvX(a,b)+op_count_1NCu7utSrV(a,op_e0UC6DYTvX(a,b))+op_count_BJDLbvb5Z5(a,47)+op_count_bDMTzmQgzE(46,b)+op_count_s4gCNs8pnH(op_BJDLbvb5Z5(a,47),op_bDMTzmQgzE(46,b))+op_count_0KgWqnVqNo(op_1NCu7utSrV(a,op_e0UC6DYTvX(a,b)),op_s4gCNs8pnH(op_BJDLbvb5Z5(a,47),op_bDMTzmQgzE(46,b)))
    return count


a⊶↟ = { (((a⇘⋃⇠167)∫(a⨔≚≋a))≟⪯(a⊴⩆⊰(∧⊯⊑a))) }

def op_CGWOa287S7(a):
    return op_Z0MOmZBEvh(op_bX58bBWVyZ(op_HCRZUvWJyW(a,167),op_Z57zeUYC9z(a,a)),op_hkd0AjIQJB(a,op_p3tkozcGQn(a)))

def op_count_CGWOa287S7(a):
    count = op_count_HCRZUvWJyW(a,167)+op_count_Z57zeUYC9z(a,a)+op_count_bX58bBWVyZ(op_HCRZUvWJyW(a,167),op_Z57zeUYC9z(a,a))+op_count_p3tkozcGQn(a)+op_count_hkd0AjIQJB(a,op_p3tkozcGQn(a))+op_count_Z0MOmZBEvh(op_bX58bBWVyZ(op_HCRZUvWJyW(a,167),op_Z57zeUYC9z(a,a)),op_hkd0AjIQJB(a,op_p3tkozcGQn(a)))
    return count


def op_POxaEwwkES(a, b):
    return op_LlA1dz4vja(op_t3zCv2dJ9y(op_avxXIHzjv1(257,a),op_4ZyE98Jico(b,12)),op_6Ac6Foig3G(op_4j7MdOEvYM(272,b)))

def op_count_POxaEwwkES(a, b):
    count = op_count_avxXIHzjv1(257,a)+op_count_4ZyE98Jico(b,12)+op_count_t3zCv2dJ9y(op_avxXIHzjv1(257,a),op_4ZyE98Jico(b,12))+op_count_4j7MdOEvYM(272,b)+op_count_6Ac6Foig3G(op_4j7MdOEvYM(272,b))+op_count_LlA1dz4vja(op_t3zCv2dJ9y(op_avxXIHzjv1(257,a),op_4ZyE98Jico(b,12)),op_6Ac6Foig3G(op_4j7MdOEvYM(272,b)))
    return count


def op_WFj3r6iSal(a):
    return op_vb6BVWtSHd(op_pq3pqYEpp4(a,a),op_dR2gYrpTIj(209,a))

def op_count_WFj3r6iSal(a):
    count = op_count_pq3pqYEpp4(a,a)+op_count_dR2gYrpTIj(209,a)+op_count_vb6BVWtSHd(op_pq3pqYEpp4(a,a),op_dR2gYrpTIj(209,a))
    return count


a⊠⫼√b = { (((b⫼⨐⪵a)⩰⩴(334⩃295))∲⇳⪦) , if (b⫪⩤)!=22 ; ((b≤⋿(⪵∐⩓a))≼≰⪤((b≴↼⪶a)⨎(a⊤≄a))) , else }

def op_aN2tVfqOLg(a, b):
    if op_AeqtO6eaHQ(b) != 22:
        return op_CXVugmvpsF(op_DaGtvK0FhA(op_NtExgOpNfN(b,a),op_7IRjtmSsUO(334,295)))
    else:
        return op_OEnvRqCCi3(op_GWoGfTTeeI(b,op_O7TnP5W6K9(a)),op_rJVOvQCfKK(op_yUc8DJLAu4(b,a),op_El3zeUDNld(a,a)))

def op_count_aN2tVfqOLg(a, b):
    if op_AeqtO6eaHQ(b) != 22:
        count = op_count_NtExgOpNfN(b,a)+op_count_7IRjtmSsUO(334,295)+op_count_DaGtvK0FhA(op_NtExgOpNfN(b,a),op_7IRjtmSsUO(334,295))+op_count_CXVugmvpsF(op_DaGtvK0FhA(op_NtExgOpNfN(b,a),op_7IRjtmSsUO(334,295)))+op_count_AeqtO6eaHQ(b)
    else:
        count = op_count_O7TnP5W6K9(a)+op_count_GWoGfTTeeI(b,op_O7TnP5W6K9(a))+op_count_yUc8DJLAu4(b,a)+op_count_El3zeUDNld(a,a)+op_count_rJVOvQCfKK(op_yUc8DJLAu4(b,a),op_El3zeUDNld(a,a))+op_count_OEnvRqCCi3(op_GWoGfTTeeI(b,op_O7TnP5W6K9(a)),op_rJVOvQCfKK(op_yUc8DJLAu4(b,a),op_El3zeUDNld(a,a)))
    return count


def op_VIybuTSL33(a, b):
    if op_lLg6KFppdz(b,215) <= 204:
        return op_VHKwoedolt(op_sYkX6kT28T(op_4q4Wt1yQrE(283),op_Gl4WN4Uwdx(b,b)),op_BsQQe46RQf(op_ZXpgOvMj6j(a,21),op_UvedHhwKRj(180,b)))
    else:
        return op_YYmmGX8gEu(op_b6ngcG4bdA(op_Cr5xnr8B4B(a,205)),op_kvIXUmKfYG(op_3Oe9XWJUTD(103,a)))

def op_count_VIybuTSL33(a, b):
    if op_lLg6KFppdz(b,215) <= 204:
        count = op_count_4q4Wt1yQrE(283)+op_count_Gl4WN4Uwdx(b,b)+op_count_sYkX6kT28T(op_4q4Wt1yQrE(283),op_Gl4WN4Uwdx(b,b))+op_count_ZXpgOvMj6j(a,21)+op_count_UvedHhwKRj(180,b)+op_count_BsQQe46RQf(op_ZXpgOvMj6j(a,21),op_UvedHhwKRj(180,b))+op_count_VHKwoedolt(op_sYkX6kT28T(op_4q4Wt1yQrE(283),op_Gl4WN4Uwdx(b,b)),op_BsQQe46RQf(op_ZXpgOvMj6j(a,21),op_UvedHhwKRj(180,b)))+op_count_lLg6KFppdz(b,215)
    else:
        count = op_count_Cr5xnr8B4B(a,205)+op_count_b6ngcG4bdA(op_Cr5xnr8B4B(a,205))+op_count_3Oe9XWJUTD(103,a)+op_count_kvIXUmKfYG(op_3Oe9XWJUTD(103,a))+op_count_YYmmGX8gEu(op_b6ngcG4bdA(op_Cr5xnr8B4B(a,205)),op_kvIXUmKfYG(op_3Oe9XWJUTD(103,a)))
    return count


def op_H7IE5R9nU5(a, b):
    return op_tKiiq4oRTN(op_DykcjiQqpf(op_6oBLqlZVSO(a,b),op_1B4ngayaHK(a,a)))

def op_count_H7IE5R9nU5(a, b):
    count = op_count_6oBLqlZVSO(a,b)+op_count_1B4ngayaHK(a,a)+op_count_DykcjiQqpf(op_6oBLqlZVSO(a,b),op_1B4ngayaHK(a,a))+op_count_tKiiq4oRTN(op_DykcjiQqpf(op_6oBLqlZVSO(a,b),op_1B4ngayaHK(a,a)))
    return count


↘⊾⫔a = { ((361⫢(a≵a))∛⇘(⇱⨱(a⩂67))) , if (a↸≻)==329 ; (((a⋼)⊌∢)↑⊤↶((a⫱⩰≇a)⊵⩛∤a)) , else }

def op_UmwfOCm9Vq(a):
    if op_MajuE94pkX(a) == 329:
        return op_m5a1S9LJYP(op_Rc7o8AHK9u(361,op_nV04iLk7Bg(a,a)),op_8AKr1ZaVfa(op_CfxG4j8dfZ(a,67)))
    else:
        return op_Gbv0iUO2Lv(op_RisKg0Fd7C(op_bBWLhCymi1(a)),op_36V2MidH9c(op_PujSanDGK5(a,a),a))

def op_count_UmwfOCm9Vq(a):
    if op_MajuE94pkX(a) == 329:
        count = op_count_nV04iLk7Bg(a,a)+op_count_Rc7o8AHK9u(361,op_nV04iLk7Bg(a,a))+op_count_CfxG4j8dfZ(a,67)+op_count_8AKr1ZaVfa(op_CfxG4j8dfZ(a,67))+op_count_m5a1S9LJYP(op_Rc7o8AHK9u(361,op_nV04iLk7Bg(a,a)),op_8AKr1ZaVfa(op_CfxG4j8dfZ(a,67)))+op_count_MajuE94pkX(a)
    else:
        count = op_count_bBWLhCymi1(a)+op_count_RisKg0Fd7C(op_bBWLhCymi1(a))+op_count_PujSanDGK5(a,a)+op_count_36V2MidH9c(op_PujSanDGK5(a,a),a)+op_count_Gbv0iUO2Lv(op_RisKg0Fd7C(op_bBWLhCymi1(a)),op_36V2MidH9c(op_PujSanDGK5(a,a),a))
    return count


a⪑⩱b = { ((⨰⇙⇱(a∏⊵⇆b))⫧⋃≅((b⪜41)⨋⪉)) , if (a==87 and b>189 and (a⫊97)>375) ; (((a∉⊞⊌b)⩜⊴(382⋺⫬b))∍⫁⪅((a⇉)≡(b⩈a))) , else }

def op_9y2gCtWatQ(a, b):
    if (a == 87 and b > 189 and op_uPjn7n5pli(a,97) > 375):
        return op_rJlMWXggw2(op_tVQUhy5e1X(op_ANJ5yRPvn6(a,b)),op_TKwpwGcWmn(op_EMR9JvRK8T(b,41)))
    else:
        return op_glenQ1xDvR(op_anGRxg7xQn(op_22UCrTUJEh(a,b),op_N2CwLZHY2H(382,b)),op_oW1cUEY5Sq(op_7XyOaozCdT(a),op_XHowTFVwyi(b,a)))

def op_count_9y2gCtWatQ(a, b):
    if (a == 87 and b > 189 and op_uPjn7n5pli(a,97) > 375):
        count = op_count_ANJ5yRPvn6(a,b)+op_count_tVQUhy5e1X(op_ANJ5yRPvn6(a,b))+op_count_EMR9JvRK8T(b,41)+op_count_TKwpwGcWmn(op_EMR9JvRK8T(b,41))+op_count_rJlMWXggw2(op_tVQUhy5e1X(op_ANJ5yRPvn6(a,b)),op_TKwpwGcWmn(op_EMR9JvRK8T(b,41)))+op_count_uPjn7n5pli(a,97)
    else:
        count = op_count_22UCrTUJEh(a,b)+op_count_N2CwLZHY2H(382,b)+op_count_anGRxg7xQn(op_22UCrTUJEh(a,b),op_N2CwLZHY2H(382,b))+op_count_7XyOaozCdT(a)+op_count_XHowTFVwyi(b,a)+op_count_oW1cUEY5Sq(op_7XyOaozCdT(a),op_XHowTFVwyi(b,a))+op_count_glenQ1xDvR(op_anGRxg7xQn(op_22UCrTUJEh(a,b),op_N2CwLZHY2H(382,b)),op_oW1cUEY5Sq(op_7XyOaozCdT(a),op_XHowTFVwyi(b,a)))
    return count


def op_UOjlNIQEDw(a):
    return op_PoHhknlbAi(a,a)

def op_count_UOjlNIQEDw(a):
    count = op_count_PoHhknlbAi(a,a)
    return count


a⇦↓b = { (((a⋥⇧b)⊋(a⊂⊿≋a))√((b⩁↓)⩜⫱(⨩⪖251))) }

def op_GUNDlfLmMO(a, b):
    return op_HX99UMoF54(op_W4tP9CfskL(op_UAZAhLH3kE(a,b),op_4BgDUfrXIE(a,a)),op_6lEGX12sqf(op_kmKscYjcaU(b),op_pjx72LgDRm(251)))

def op_count_GUNDlfLmMO(a, b):
    count = op_count_UAZAhLH3kE(a,b)+op_count_4BgDUfrXIE(a,a)+op_count_W4tP9CfskL(op_UAZAhLH3kE(a,b),op_4BgDUfrXIE(a,a))+op_count_kmKscYjcaU(b)+op_count_pjx72LgDRm(251)+op_count_6lEGX12sqf(op_kmKscYjcaU(b),op_pjx72LgDRm(251))+op_count_HX99UMoF54(op_W4tP9CfskL(op_UAZAhLH3kE(a,b),op_4BgDUfrXIE(a,a)),op_6lEGX12sqf(op_kmKscYjcaU(b),op_pjx72LgDRm(251)))
    return count


def op_3Uy0wZ4oDs(a):
    return op_aBQ6xLxuTc(a,141)

def op_count_3Uy0wZ4oDs(a):
    count = op_count_aBQ6xLxuTc(a,141)
    return count


def op_kx417KCkir(a, b):
    return op_ukq6epAj5P(op_V35NDd4Suc(b),op_14qkJME0vr(a))

def op_count_kx417KCkir(a, b):
    count = op_count_V35NDd4Suc(b)+op_count_14qkJME0vr(a)+op_count_ukq6epAj5P(op_V35NDd4Suc(b),op_14qkJME0vr(a))
    return count


a⩴∈b = { (((a⨕⪎∫b)∰⋭(a⋔+⨓a))⊭((b⊧↖)⪶↣(b≂⨫a))) }

def op_QTz8BWsUwX(a, b):
    return op_4JGOJzXMq1(op_qeG8mGoQOE(op_6RfnUF5SwA(a,b),op_AU7eUHalbZ(a,a)),op_QstX2XvNns(op_EKiFHuOFxO(b),op_A7k8RvvYBg(b,a)))

def op_count_QTz8BWsUwX(a, b):
    count = op_count_6RfnUF5SwA(a,b)+op_count_AU7eUHalbZ(a,a)+op_count_qeG8mGoQOE(op_6RfnUF5SwA(a,b),op_AU7eUHalbZ(a,a))+op_count_EKiFHuOFxO(b)+op_count_A7k8RvvYBg(b,a)+op_count_QstX2XvNns(op_EKiFHuOFxO(b),op_A7k8RvvYBg(b,a))+op_count_4JGOJzXMq1(op_qeG8mGoQOE(op_6RfnUF5SwA(a,b),op_AU7eUHalbZ(a,a)),op_QstX2XvNns(op_EKiFHuOFxO(b),op_A7k8RvvYBg(b,a)))
    return count


def op_GXrIlk0Lt2(a):
    return op_mCA1Lu4fO6(a,a)

def op_count_GXrIlk0Lt2(a):
    count = op_count_mCA1Lu4fO6(a,a)
    return count


def op_jIlvZZ4qlV(a):
    return op_s0xSQ81QCO(op_RZ5CV9rWsJ(a,314))

def op_count_jIlvZZ4qlV(a):
    count = op_count_RZ5CV9rWsJ(a,314)+op_count_s0xSQ81QCO(op_RZ5CV9rWsJ(a,314))
    return count


def op_cd7KaQa0mv(a):
    return op_nEsXyWgiOK(op_VITHB2EcLN(op_RXTe6wbwcz(a,305),a),op_mVMnQ3ZUz6(535))

def op_count_cd7KaQa0mv(a):
    count = op_count_RXTe6wbwcz(a,305)+op_count_VITHB2EcLN(op_RXTe6wbwcz(a,305),a)+op_count_mVMnQ3ZUz6(535)+op_count_nEsXyWgiOK(op_VITHB2EcLN(op_RXTe6wbwcz(a,305),a),op_mVMnQ3ZUz6(535))
    return count


a⇀⊊⪁b = { (⋻⨟⇮(91⋛a)) , if (⨇⋊⊆a)<=186 ; (↓⊻⪕(b⇳⫟)) , else }

def op_HoyVlyKURl(a, b):
    if op_eX0elmHHZW(a) <= 186:
        return op_X37qppV6M2(op_YbUVn0Rbpy(91,a))
    else:
        return op_OOXovtW7XD(op_NvVuMKZTfI(b))

def op_count_HoyVlyKURl(a, b):
    if op_eX0elmHHZW(a) <= 186:
        count = op_count_YbUVn0Rbpy(91,a)+op_count_X37qppV6M2(op_YbUVn0Rbpy(91,a))+op_count_eX0elmHHZW(a)
    else:
        count = op_count_NvVuMKZTfI(b)+op_count_OOXovtW7XD(op_NvVuMKZTfI(b))
    return count


≄⨇⋼a = { (((⨃a)⊫⫯(a*⨺⊵a))⩈((a∫↝⇷)⩆(295≂∢a))) }

def op_piOHHbwPSa(a):
    return op_XHowTFVwyi(op_uEiDLHpX5n(op_HmfEavv2wQ(a),op_NnryeZgiwo(a,a)),op_QmMs3tyaZP(op_dOyh8NTXcy(a),op_0UZhvIxcOb(295,a)))

def op_count_piOHHbwPSa(a):
    count = op_count_HmfEavv2wQ(a)+op_count_NnryeZgiwo(a,a)+op_count_uEiDLHpX5n(op_HmfEavv2wQ(a),op_NnryeZgiwo(a,a))+op_count_dOyh8NTXcy(a)+op_count_0UZhvIxcOb(295,a)+op_count_QmMs3tyaZP(op_dOyh8NTXcy(a),op_0UZhvIxcOb(295,a))+op_count_XHowTFVwyi(op_uEiDLHpX5n(op_HmfEavv2wQ(a),op_NnryeZgiwo(a,a)),op_QmMs3tyaZP(op_dOyh8NTXcy(a),op_0UZhvIxcOb(295,a)))
    return count


def op_v4BQkv4qJ3(a, b):
    return op_KXDdaHDbNw(op_EFcLgMHpPM(op_aFodGWjv1K(b,a)),op_Bi9z9uYZqW(op_vEwpjWHKgf(57)))

def op_count_v4BQkv4qJ3(a, b):
    count = op_count_aFodGWjv1K(b,a)+op_count_EFcLgMHpPM(op_aFodGWjv1K(b,a))+op_count_vEwpjWHKgf(57)+op_count_Bi9z9uYZqW(op_vEwpjWHKgf(57))+op_count_KXDdaHDbNw(op_EFcLgMHpPM(op_aFodGWjv1K(b,a)),op_Bi9z9uYZqW(op_vEwpjWHKgf(57)))
    return count


def op_zvDfsYxbno(a, b):
    return op_q2tj3gAE7H(op_srhPeXBSZS(a,op_5ESOiVPbEV(544,b)),op_A8NUZmVepG(op_HPslF4Wa5g(b)))

def op_count_zvDfsYxbno(a, b):
    count = op_count_5ESOiVPbEV(544,b)+op_count_srhPeXBSZS(a,op_5ESOiVPbEV(544,b))+op_count_HPslF4Wa5g(b)+op_count_A8NUZmVepG(op_HPslF4Wa5g(b))+op_count_q2tj3gAE7H(op_srhPeXBSZS(a,op_5ESOiVPbEV(544,b)),op_A8NUZmVepG(op_HPslF4Wa5g(b)))
    return count


def op_1PheGNYUdI(a):
    if (op_tJtBLRaXS9(a,561) >= 73 or op_itLUMRE952(a) >= 271):
        return op_zQWRhDnn8F(op_ouMpCUGN3j(a))
    else:
        return op_7YiCYgpUY4(op_0N1BchnEuL(a,a),op_W48l78wIbG(153,a))

def op_count_1PheGNYUdI(a):
    if (op_tJtBLRaXS9(a,561) >= 73 or op_itLUMRE952(a) >= 271):
        count = op_count_ouMpCUGN3j(a)+op_count_zQWRhDnn8F(op_ouMpCUGN3j(a))+op_count_tJtBLRaXS9(a,561)+op_count_itLUMRE952(a)
    else:
        count = op_count_0N1BchnEuL(a,a)+op_count_W48l78wIbG(153,a)+op_count_7YiCYgpUY4(op_0N1BchnEuL(a,a),op_W48l78wIbG(153,a))
    return count


def op_ZlSH4tNl52(a):
    return op_uWAJUKEvyW(a,a)

def op_count_ZlSH4tNl52(a):
    count = op_count_uWAJUKEvyW(a,a)
    return count


∪∀a = { (a⪥⋳a) , if (a↫⇬825)!=79 ; (⩎⋉a) , else }

def op_n00mqsXndn(a):
    if op_PHNdOSUEPW(a,825) != 79:
        return op_lrx2PmmfOO(a,a)
    else:
        return op_FlXk3pOYe8(a)

def op_count_n00mqsXndn(a):
    if op_PHNdOSUEPW(a,825) != 79:
        count = op_count_lrx2PmmfOO(a,a)+op_count_PHNdOSUEPW(a,825)
    else:
        count = op_count_FlXk3pOYe8(a)
    return count


def op_QcvAhwhHZ8(a):
    return op_hTbEZDJLEm(op_ln8odt1XeD(666,a))

def op_count_QcvAhwhHZ8(a):
    count = op_count_ln8odt1XeD(666,a)+op_count_hTbEZDJLEm(op_ln8odt1XeD(666,a))
    return count


def op_BSsRs6rs1c(a):
    return op_zQWRhDnn8F(op_l24lSdNBeQ(a,op_Hn4VRZUxzV(a,400)))

def op_count_BSsRs6rs1c(a):
    count = op_count_Hn4VRZUxzV(a,400)+op_count_l24lSdNBeQ(a,op_Hn4VRZUxzV(a,400))+op_count_zQWRhDnn8F(op_l24lSdNBeQ(a,op_Hn4VRZUxzV(a,400)))
    return count


def op_MHhX754Fnl(a):
    return op_mp94q5OcYM(op_hI7k9NMHqW(a,a))

def op_count_MHhX754Fnl(a):
    count = op_count_hI7k9NMHqW(a,a)+op_count_mp94q5OcYM(op_hI7k9NMHqW(a,a))
    return count


def op_amriepWcxZ(a, b):
    return op_kmEBKJDBFW(op_x5p3WF8YzS(op_0pE9j4xUU7(a,a),op_zPWNPtZ3KV(b,b)))

def op_count_amriepWcxZ(a, b):
    count = op_count_0pE9j4xUU7(a,a)+op_count_zPWNPtZ3KV(b,b)+op_count_x5p3WF8YzS(op_0pE9j4xUU7(a,a),op_zPWNPtZ3KV(b,b))+op_count_kmEBKJDBFW(op_x5p3WF8YzS(op_0pE9j4xUU7(a,a),op_zPWNPtZ3KV(b,b)))
    return count


a⫻⇑b = { (⊧⪂⊅(≦∁(a⇚≂342))) , if (↦⩋⨥b)!=5 ; (((⫳⪺∰b)↪∷(a⊉≛↸a))⋽≿⩈a) , else }

def op_81T1MV3A3t(a, b):
    if op_PrqwulTU5K(b) != 5:
        return op_U08m58jomp(op_9ICcGScMcE(op_otIR7kHRl1(a,342)))
    else:
        return op_A1lUXjvBPn(op_Api82iH42a(op_eftAHwPbeA(b),op_DZ8iAZOCBD(a,a)),a)

def op_count_81T1MV3A3t(a, b):
    if op_PrqwulTU5K(b) != 5:
        count = op_count_otIR7kHRl1(a,342)+op_count_9ICcGScMcE(op_otIR7kHRl1(a,342))+op_count_U08m58jomp(op_9ICcGScMcE(op_otIR7kHRl1(a,342)))+op_count_PrqwulTU5K(b)
    else:
        count = op_count_eftAHwPbeA(b)+op_count_DZ8iAZOCBD(a,a)+op_count_Api82iH42a(op_eftAHwPbeA(b),op_DZ8iAZOCBD(a,a))+op_count_A1lUXjvBPn(op_Api82iH42a(op_eftAHwPbeA(b),op_DZ8iAZOCBD(a,a)),a)
    return count


def op_qcEcSoa3Nn(a):
    return op_UHiZrz1lbQ(op_6Dk38mmJ69(op_owrP24woSl(a),op_hyuBjUqXlG(a,a)))

def op_count_qcEcSoa3Nn(a):
    count = op_count_owrP24woSl(a)+op_count_hyuBjUqXlG(a,a)+op_count_6Dk38mmJ69(op_owrP24woSl(a),op_hyuBjUqXlG(a,a))+op_count_UHiZrz1lbQ(op_6Dk38mmJ69(op_owrP24woSl(a),op_hyuBjUqXlG(a,a)))
    return count


def op_G3BP7BIMKk(a, b):
    return op_jCPkEVoL5K(op_DcHS2hUxRU(op_4YvEnb44Dc(a)),b)

def op_count_G3BP7BIMKk(a, b):
    count = op_count_4YvEnb44Dc(a)+op_count_DcHS2hUxRU(op_4YvEnb44Dc(a))+op_count_jCPkEVoL5K(op_DcHS2hUxRU(op_4YvEnb44Dc(a)),b)
    return count


def op_WpdmCSkZo1(a):
    return op_NNaDxxp6OQ(op_j7kFUh2iBI(op_MKCxaPE9tg(a,a),op_lKgWx0LCvK(a,a)))

def op_count_WpdmCSkZo1(a):
    count = op_count_MKCxaPE9tg(a,a)+op_count_lKgWx0LCvK(a,a)+op_count_j7kFUh2iBI(op_MKCxaPE9tg(a,a),op_lKgWx0LCvK(a,a))+op_count_NNaDxxp6OQ(op_j7kFUh2iBI(op_MKCxaPE9tg(a,a),op_lKgWx0LCvK(a,a)))
    return count


a≅⩀b = { (a⇢b) , if (b⫊)==0 ; (a⊝∲⩰b) , else }

def op_STXubeXA6y(a, b):
    if op_f9yoPMFGE3(b) == 0:
        return op_GMN7JP6WpN(a,b)
    else:
        return op_UkFG6YBLyt(a,b)

def op_count_STXubeXA6y(a, b):
    if op_f9yoPMFGE3(b) == 0:
        count = op_count_GMN7JP6WpN(a,b)+op_count_f9yoPMFGE3(b)
    else:
        count = op_count_UkFG6YBLyt(a,b)
    return count


a⫮⨰b = { (⪔≽2) , if (b⫵⋭)>205 ; (a⫄⋒↱b) , else }

def op_DHBAteFHNm(a, b):
    if op_sJl07De2kP(b) > 205:
        return op_7xY59dLUJT(2)
    else:
        return op_crtJ4cV1Co(a,b)

def op_count_DHBAteFHNm(a, b):
    if op_sJl07De2kP(b) > 205:
        count = op_count_7xY59dLUJT(2)+op_count_sJl07De2kP(b)
    else:
        count = op_count_crtJ4cV1Co(a,b)
    return count


a⋟⋐ = { (a⊾⪯⋞a) , if (⊍⪩a)!=78 ; (a⩌⨭≭a) , else }

def op_dIaMqzF2tZ(a):
    if op_sQPZTAY2pc(a) != 78:
        return op_HK0tfVPux8(a,a)
    else:
        return op_4KnvnEaVgu(a,a)

def op_count_dIaMqzF2tZ(a):
    if op_sQPZTAY2pc(a) != 78:
        count = op_count_HK0tfVPux8(a,a)+op_count_sQPZTAY2pc(a)
    else:
        count = op_count_4KnvnEaVgu(a,a)
    return count


def op_VUevmm8Vgz(a):
    return op_jrW1E7Ncie(op_6CTfL9kIPY(op_gXjZ5wXXzC(a,a),op_jdrn0ppNe9(a,a)))

def op_count_VUevmm8Vgz(a):
    count = op_count_gXjZ5wXXzC(a,a)+op_count_jdrn0ppNe9(a,a)+op_count_6CTfL9kIPY(op_gXjZ5wXXzC(a,a),op_jdrn0ppNe9(a,a))+op_count_jrW1E7Ncie(op_6CTfL9kIPY(op_gXjZ5wXXzC(a,a),op_jdrn0ppNe9(a,a)))
    return count


a⋚⪻∡b = { ((a⋭≵188)⨔⊶↷(a⇌≄↤a)) , if (⨸∍⪢b)==778 ; ((a≮≗⫂a)∃⊻) , else }

def op_aRc3ADMqhx(a, b):
    if op_sJEWiGNnod(b) == 778:
        return op_WObL9SsYVE(op_jBncVCNhdl(a,188),op_67pLdqUuiR(a,a))
    else:
        return op_PKbxZ4NZyu(op_P5jP6ymN6L(a,a))

def op_count_aRc3ADMqhx(a, b):
    if op_sJEWiGNnod(b) == 778:
        count = op_count_jBncVCNhdl(a,188)+op_count_67pLdqUuiR(a,a)+op_count_WObL9SsYVE(op_jBncVCNhdl(a,188),op_67pLdqUuiR(a,a))+op_count_sJEWiGNnod(b)
    else:
        count = op_count_P5jP6ymN6L(a,a)+op_count_PKbxZ4NZyu(op_P5jP6ymN6L(a,a))
    return count


def op_n4QHv9njPx(a):
    return op_jCPkEVoL5K(a,365)

def op_count_n4QHv9njPx(a):
    count = op_count_jCPkEVoL5K(a,365)
    return count


def op_Fu0Gkb26pJ(a):
    if op_bZEx4MGJjc(a,265) >= 76 or op_erUMkNxUTh(a) != 336 or op_DG2cS3PCn6(a) == 8:
        return op_UvedHhwKRj(a,a)
    else:
        return op_6ayBXmFTY1(94,a)

def op_count_Fu0Gkb26pJ(a):
    if op_bZEx4MGJjc(a,265) >= 76 or op_erUMkNxUTh(a) != 336 or op_DG2cS3PCn6(a) == 8:
        count = op_count_UvedHhwKRj(a,a)+op_count_bZEx4MGJjc(a,265)+op_count_erUMkNxUTh(a)+op_count_DG2cS3PCn6(a)
    else:
        count = op_count_6ayBXmFTY1(94,a)
    return count


def op_JcLt9ddjSX(a):
    return op_ukq6epAj5P(305,a)

def op_count_JcLt9ddjSX(a):
    count = op_count_ukq6epAj5P(305,a)
    return count


⋮⨏a = { ((a⩅)⨕⪎∫(a⋊≁a)) , if (a⩅⩡)>=815 ; ((a⊙≭a)⫗⊐(⪨⇶⩻132)) , else }

def op_wAXzoFdqnU(a):
    if op_0MNWfHKp6a(a) >= 815:
        return op_6RfnUF5SwA(op_fiy6xQ4H5B(a),op_rQTtyvEHdZ(a,a))
    else:
        return op_ziaaVG88k7(op_sVMiUtOpJT(a,a),op_RfmSMOQ2FJ(132))

def op_count_wAXzoFdqnU(a):
    if op_0MNWfHKp6a(a) >= 815:
        count = op_count_fiy6xQ4H5B(a)+op_count_rQTtyvEHdZ(a,a)+op_count_6RfnUF5SwA(op_fiy6xQ4H5B(a),op_rQTtyvEHdZ(a,a))+op_count_0MNWfHKp6a(a)
    else:
        count = op_count_sVMiUtOpJT(a,a)+op_count_RfmSMOQ2FJ(132)+op_count_ziaaVG88k7(op_sVMiUtOpJT(a,a),op_RfmSMOQ2FJ(132))
    return count


def op_SLlVjUjSRP(a):
    if (op_mFCgDW3omv(a) < 80 or op_vpQFaicGMM(a) != 101):
        return op_ccHmK6PBIn(op_ur59r4nmwX(a,260))
    else:
        return op_VzPwlY6vDh(op_QLCso5hF94(a),op_Gdaqu1gMph(a,71))

def op_count_SLlVjUjSRP(a):
    if (op_mFCgDW3omv(a) < 80 or op_vpQFaicGMM(a) != 101):
        count = op_count_ur59r4nmwX(a,260)+op_count_ccHmK6PBIn(op_ur59r4nmwX(a,260))+op_count_mFCgDW3omv(a)+op_count_vpQFaicGMM(a)
    else:
        count = op_count_QLCso5hF94(a)+op_count_Gdaqu1gMph(a,71)+op_count_VzPwlY6vDh(op_QLCso5hF94(a),op_Gdaqu1gMph(a,71))
    return count


a∫⇦ = { (((a⨳a)⩹≮(a∢≼a))⊴⩳(⫹⪴⊙(a⪦a))) , if (≹↦⩒a)<41 ; (((a⪶⫣⇢a)⇝⋩⪿(a≧⫂∧a))⊲⩕⊾((a⋺⫬a)⇭)) , else }

def op_o6W9Kxz77X(a):
    if op_nCSYG0sci4(a) < 41:
        return op_vvoDRbMjB2(op_xeKVJklxVA(op_YaB1w09lmH(a,a),op_MDeofPkNUB(a,a)),op_2enQSJPbnT(op_S2EdmdiVZh(a,a)))
    else:
        return op_DmTXOeWf9t(op_5tUnBSHxYC(op_OTnzgDXvIu(a,a),op_Ph9nP6C5qx(a,a)),op_ZNJwppvr1J(op_N2CwLZHY2H(a,a)))

def op_count_o6W9Kxz77X(a):
    if op_nCSYG0sci4(a) < 41:
        count = op_count_YaB1w09lmH(a,a)+op_count_MDeofPkNUB(a,a)+op_count_xeKVJklxVA(op_YaB1w09lmH(a,a),op_MDeofPkNUB(a,a))+op_count_S2EdmdiVZh(a,a)+op_count_2enQSJPbnT(op_S2EdmdiVZh(a,a))+op_count_vvoDRbMjB2(op_xeKVJklxVA(op_YaB1w09lmH(a,a),op_MDeofPkNUB(a,a)),op_2enQSJPbnT(op_S2EdmdiVZh(a,a)))+op_count_nCSYG0sci4(a)
    else:
        count = op_count_OTnzgDXvIu(a,a)+op_count_Ph9nP6C5qx(a,a)+op_count_5tUnBSHxYC(op_OTnzgDXvIu(a,a),op_Ph9nP6C5qx(a,a))+op_count_N2CwLZHY2H(a,a)+op_count_ZNJwppvr1J(op_N2CwLZHY2H(a,a))+op_count_DmTXOeWf9t(op_5tUnBSHxYC(op_OTnzgDXvIu(a,a),op_Ph9nP6C5qx(a,a)),op_ZNJwppvr1J(op_N2CwLZHY2H(a,a)))
    return count


a↵⋃⫤b = { ((b⊹∫⫚b)⪈⇉(a∫↝⇷)) , if (≅≯⇸b)>202 ; b , else }

def op_550BOtPxFu(a, b):
    if op_apS25hmuAe(b) > 202:
        return op_YjTveF0rk5(op_uWAJUKEvyW(b,b),op_dOyh8NTXcy(a))
    else:
        return b

def op_count_550BOtPxFu(a, b):
    if op_apS25hmuAe(b) > 202:
        count = op_count_uWAJUKEvyW(b,b)+op_count_dOyh8NTXcy(a)+op_count_YjTveF0rk5(op_uWAJUKEvyW(b,b),op_dOyh8NTXcy(a))+op_count_apS25hmuAe(b)
    else:
        count = 1
    return count


def op_lbcw7xjCof(a, b):
    return op_xf6eqZIrT0(op_ZvLB05nZmT(b,a),op_k4iM1060OG(8))

def op_count_lbcw7xjCof(a, b):
    count = op_count_ZvLB05nZmT(b,a)+op_count_k4iM1060OG(8)+op_count_xf6eqZIrT0(op_ZvLB05nZmT(b,a),op_k4iM1060OG(8))
    return count


def op_IoUjnv0djG(a):
    return op_nz5y26sRSo(op_jOwHciYXdT(op_eupb9vlVPb(a),109),416)

def op_count_IoUjnv0djG(a):
    count = op_count_eupb9vlVPb(a)+op_count_jOwHciYXdT(op_eupb9vlVPb(a),109)+op_count_nz5y26sRSo(op_jOwHciYXdT(op_eupb9vlVPb(a),109),416)
    return count


a←⫚ = { (⊳%⊅((a⊅⪬a)≜∖⩎(a⋆⋬a))) , if (⪶⨩a)>295 ; (((a⪍)⇯⇋(a⇎⇧a))⋪) , else }

def op_f7xndtGk7k(a):
    if op_ixc2Esl5RP(a) > 295:
        return op_BOS6zkJn83(op_NHqdvowzfS(op_TlDLxRNSIU(a,a),op_7YiCYgpUY4(a,a)))
    else:
        return op_ua2fiIHkOT(op_VwBdEydXvH(op_SHWCOp9I4E(a),op_cnI436iWbz(a,a)))

def op_count_f7xndtGk7k(a):
    if op_ixc2Esl5RP(a) > 295:
        count = op_count_TlDLxRNSIU(a,a)+op_count_7YiCYgpUY4(a,a)+op_count_NHqdvowzfS(op_TlDLxRNSIU(a,a),op_7YiCYgpUY4(a,a))+op_count_BOS6zkJn83(op_NHqdvowzfS(op_TlDLxRNSIU(a,a),op_7YiCYgpUY4(a,a)))+op_count_ixc2Esl5RP(a)
    else:
        count = op_count_SHWCOp9I4E(a)+op_count_cnI436iWbz(a,a)+op_count_VwBdEydXvH(op_SHWCOp9I4E(a),op_cnI436iWbz(a,a))+op_count_ua2fiIHkOT(op_VwBdEydXvH(op_SHWCOp9I4E(a),op_cnI436iWbz(a,a)))
    return count


a↖⇗⫴b = { (((179≇⨤⊇58)⊶⊞(431⊝∲⩰a))∌⋯((b⨜⇔a)⊾(a⇂⩶⫼a))) }

def op_xtavlIjsHf(a, b):
    return op_8lBC7wqBde(op_vqL3z2Fhus(op_nLhlVZSGl1(179,58),op_UkFG6YBLyt(431,a)),op_pCNCNETmIQ(op_Sq3AGanRSD(b,a),op_57o73BEFtH(a,a)))

def op_count_xtavlIjsHf(a, b):
    count = op_count_nLhlVZSGl1(179,58)+op_count_UkFG6YBLyt(431,a)+op_count_vqL3z2Fhus(op_nLhlVZSGl1(179,58),op_UkFG6YBLyt(431,a))+op_count_Sq3AGanRSD(b,a)+op_count_57o73BEFtH(a,a)+op_count_pCNCNETmIQ(op_Sq3AGanRSD(b,a),op_57o73BEFtH(a,a))+op_count_8lBC7wqBde(op_vqL3z2Fhus(op_nLhlVZSGl1(179,58),op_UkFG6YBLyt(431,a)),op_pCNCNETmIQ(op_Sq3AGanRSD(b,a),op_57o73BEFtH(a,a)))
    return count


a∥⋿⫎ = { (⨍(a≅⪺↕a)) , if (a⋹⋛≠67)>5 and a!=198 and a>=376 ; ((a≴⪞⇿a)⩅(⫻∻⫝a)) , else }

def op_LZtLg3AMbN(a):
    if op_r52rsuXYVw(a,67) > 5 and a != 198 and a >= 376:
        return op_pf0uqpgSkL(op_dBWtppcwHd(a,a))
    else:
        return op_WHvsDZpt7Z(op_lvlrscuwVU(a,a),op_UHiZrz1lbQ(a))

def op_count_LZtLg3AMbN(a):
    if op_r52rsuXYVw(a,67) > 5 and a != 198 and a >= 376:
        count = op_count_dBWtppcwHd(a,a)+op_count_pf0uqpgSkL(op_dBWtppcwHd(a,a))+op_count_r52rsuXYVw(a,67)
    else:
        count = op_count_lvlrscuwVU(a,a)+op_count_UHiZrz1lbQ(a)+op_count_WHvsDZpt7Z(op_lvlrscuwVU(a,a),op_UHiZrz1lbQ(a))
    return count


a⪴⪂b = { a , if (⨰⇙⇱b)>=364 ; ((⨔a)⊏≷≳) , else }

def op_vqI1m89mpI(a, b):
    if op_tVQUhy5e1X(b) >= 364:
        return a
    else:
        return op_IyXueN9Vxj(op_Q3vj8AHqQl(a))

def op_count_vqI1m89mpI(a, b):
    if op_tVQUhy5e1X(b) >= 364:
        count = 1
    else:
        count = op_count_Q3vj8AHqQl(a)+op_count_IyXueN9Vxj(op_Q3vj8AHqQl(a))
    return count


def op_qNt0u4STgz(a):
    return op_9samAPKr6k(a,a)

def op_count_qNt0u4STgz(a):
    count = op_count_9samAPKr6k(a,a)
    return count


def op_SIsGfmEsr6(a):
    return op_b3qeQyvZfP(a,a)

def op_count_SIsGfmEsr6(a):
    count = op_count_b3qeQyvZfP(a,a)
    return count


⋏⇎⇿a = { (↠⨻⇳(a⨖⊱⊲a)) , if (a⇣⩺⋵466)>779 ; (⊵≊⪸(65⫬a)) , else }

def op_VzMMDBhDws(a):
    if op_F4yD0voBRQ(a,466) > 779:
        return op_x6DEqRu9vc(op_MR0dur9Axd(a,a))
    else:
        return op_mMNOlYfzJE(op_bR7FmX73P0(65,a))

def op_count_VzMMDBhDws(a):
    if op_F4yD0voBRQ(a,466) > 779:
        count = op_count_MR0dur9Axd(a,a)+op_count_x6DEqRu9vc(op_MR0dur9Axd(a,a))+op_count_F4yD0voBRQ(a,466)
    else:
        count = op_count_bR7FmX73P0(65,a)+op_count_mMNOlYfzJE(op_bR7FmX73P0(65,a))
    return count


def op_fnOoXbwtGE(a):
    return op_i43TpB2HrT(op_ZDtbJ0pWwg(a),op_5Dh7ct4pMe(262))

def op_count_fnOoXbwtGE(a):
    count = op_count_ZDtbJ0pWwg(a)+op_count_5Dh7ct4pMe(262)+op_count_i43TpB2HrT(op_ZDtbJ0pWwg(a),op_5Dh7ct4pMe(262))
    return count


def op_8kNFaiJNnI(a):
    return op_R5aXW34M0v(op_OuNwQ8h2ZL(op_q6iAK3IPqK(a,a),a))

def op_count_8kNFaiJNnI(a):
    count = op_count_q6iAK3IPqK(a,a)+op_count_OuNwQ8h2ZL(op_q6iAK3IPqK(a,a),a)+op_count_R5aXW34M0v(op_OuNwQ8h2ZL(op_q6iAK3IPqK(a,a),a))
    return count


a⨗⩉b = { (((b∫732)⨞≺(b⩧⨕a))⩿((656⇿⋘⫿15)⇉⩢⩯)) , if b<=2 ; (b≖⪱((a⨯≫⊾a)↼⇙⨌(b⩻↮≝a))) , else }

def op_yPuSsD7hfv(a, b):
    if b <= 2:
        return op_Lf60rts8ne(op_8uAz8JJKQ9(op_bX58bBWVyZ(b,732),op_Ytqyqjc8hL(b,a)),op_ukGrET2Cg0(op_3pxRWyOFEM(656,15)))
    else:
        return op_WwRa9GTyuv(b,op_rMifWJgd3t(op_3Nwa8gVjpX(a,a),op_IHpSDSxKMI(b,a)))

def op_count_yPuSsD7hfv(a, b):
    if b <= 2:
        count = op_count_bX58bBWVyZ(b,732)+op_count_Ytqyqjc8hL(b,a)+op_count_8uAz8JJKQ9(op_bX58bBWVyZ(b,732),op_Ytqyqjc8hL(b,a))+op_count_3pxRWyOFEM(656,15)+op_count_ukGrET2Cg0(op_3pxRWyOFEM(656,15))+op_count_Lf60rts8ne(op_8uAz8JJKQ9(op_bX58bBWVyZ(b,732),op_Ytqyqjc8hL(b,a)),op_ukGrET2Cg0(op_3pxRWyOFEM(656,15)))
    else:
        count = op_count_3Nwa8gVjpX(a,a)+op_count_IHpSDSxKMI(b,a)+op_count_rMifWJgd3t(op_3Nwa8gVjpX(a,a),op_IHpSDSxKMI(b,a))+op_count_WwRa9GTyuv(b,op_rMifWJgd3t(op_3Nwa8gVjpX(a,a),op_IHpSDSxKMI(b,a)))
    return count


def op_q1sc1H7in7(a, b):
    if b >= 478:
        return op_lknk80lCW5(a)
    else:
        return op_WhqkvtTD3t(397,b)

def op_count_q1sc1H7in7(a, b):
    if b >= 478:
        count = op_count_lknk80lCW5(a)
    else:
        count = op_count_WhqkvtTD3t(397,b)
    return count


a⊌⋏⋟ = { (593⨧⫦∟a) , if (⋳⨊⪊a)<346 ; (a⨭⪣a) , else }

def op_RjJAeib9Ij(a):
    if op_JIizHpWMWm(a) < 346:
        return op_jZLVGoLxNh(593,a)
    else:
        return op_kn8WO9XteQ(a,a)

def op_count_RjJAeib9Ij(a):
    if op_JIizHpWMWm(a) < 346:
        count = op_count_jZLVGoLxNh(593,a)+op_count_JIizHpWMWm(a)
    else:
        count = op_count_kn8WO9XteQ(a,a)
    return count


a⩡⊌⩧b = { ((⋵⩲⊾(b⇆⫤a))∲⫑((54⨲⩺b)⫙⨠∵(a⨥⨝))) , if b<94 ; ((⇛⇍↶(b⨓⫹b))⫕(b⨥b)) , else }

def op_Oxwmg0B0DM(a, b):
    if b < 94:
        return op_NrdPCfJQiM(op_wfLX6JC9Km(op_mgxBsyfu3j(b,a)),op_VIMCZ0TE5t(op_0jym0dg8K8(54,b),op_kspwAgjjs7(a)))
    else:
        return op_6CTfL9kIPY(op_kZsPjwrGla(op_YYmmGX8gEu(b,b)),op_GXZxp3Erot(b,b))

def op_count_Oxwmg0B0DM(a, b):
    if b < 94:
        count = op_count_mgxBsyfu3j(b,a)+op_count_wfLX6JC9Km(op_mgxBsyfu3j(b,a))+op_count_0jym0dg8K8(54,b)+op_count_kspwAgjjs7(a)+op_count_VIMCZ0TE5t(op_0jym0dg8K8(54,b),op_kspwAgjjs7(a))+op_count_NrdPCfJQiM(op_wfLX6JC9Km(op_mgxBsyfu3j(b,a)),op_VIMCZ0TE5t(op_0jym0dg8K8(54,b),op_kspwAgjjs7(a)))
    else:
        count = op_count_YYmmGX8gEu(b,b)+op_count_kZsPjwrGla(op_YYmmGX8gEu(b,b))+op_count_GXZxp3Erot(b,b)+op_count_6CTfL9kIPY(op_kZsPjwrGla(op_YYmmGX8gEu(b,b)),op_GXZxp3Erot(b,b))
    return count


→⋘⩫a = { (a⫄⋒↱16) , if (a↣⩥≷)>=255 ; (a⊊⪟⫯) , else }

def op_tGjQsZb5a4(a):
    if op_7E34dqMgFI(a) >= 255:
        return op_crtJ4cV1Co(a,16)
    else:
        return op_8bWyVNEEvk(a)

def op_count_tGjQsZb5a4(a):
    if op_7E34dqMgFI(a) >= 255:
        count = op_count_crtJ4cV1Co(a,16)+op_count_7E34dqMgFI(a)
    else:
        count = op_count_8bWyVNEEvk(a)
    return count


a⋑⪪⫆b = { (((a∕⪘≈b)-⊅≓(b⪴⫼b))⊲≆((b⊩∰⋧b)⨡↠)) }

def op_i3XWtCKrxO(a, b):
    return op_L0XVkq44a1(op_rs7mXfeuA0(op_9gOQWDhglh(a,b),op_1ceZExPqB0(b,b)),op_TcUor9fpwD(op_icxKCO3nOu(b,b)))

def op_count_i3XWtCKrxO(a, b):
    count = op_count_9gOQWDhglh(a,b)+op_count_1ceZExPqB0(b,b)+op_count_rs7mXfeuA0(op_9gOQWDhglh(a,b),op_1ceZExPqB0(b,b))+op_count_icxKCO3nOu(b,b)+op_count_TcUor9fpwD(op_icxKCO3nOu(b,b))+op_count_L0XVkq44a1(op_rs7mXfeuA0(op_9gOQWDhglh(a,b),op_1ceZExPqB0(b,b)),op_TcUor9fpwD(op_icxKCO3nOu(b,b)))
    return count


def op_IpKhurJ6uL(a):
    return op_3ayH0UyYyX(246,a)

def op_count_IpKhurJ6uL(a):
    count = op_count_3ayH0UyYyX(246,a)
    return count


def op_OtLNCfLC21(a):
    if op_2SUl30BnjX(a,411) > 9:
        return op_b3qeQyvZfP(576,a)
    else:
        return op_Z5CJsN7DuW(a)

def op_count_OtLNCfLC21(a):
    if op_2SUl30BnjX(a,411) > 9:
        count = op_count_b3qeQyvZfP(576,a)+op_count_2SUl30BnjX(a,411)
    else:
        count = op_count_Z5CJsN7DuW(a)
    return count


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

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


⪵⨝a = { (((a∴a)∝⋌⇬(a⫬↰22))⩟≠⊑((a⩻↮≝a)⋆⋬(628⫲⨊))) }

def op_0liJMyVvlz(a):
    return op_1wjmvXM3JT(op_25jDJzUX4z(op_hrf7POJlIJ(a,a),op_f8TJb0vaMc(a,22)),op_7YiCYgpUY4(op_IHpSDSxKMI(a,a),op_CArV6hThFE(628)))

def op_count_0liJMyVvlz(a):
    count = op_count_hrf7POJlIJ(a,a)+op_count_f8TJb0vaMc(a,22)+op_count_25jDJzUX4z(op_hrf7POJlIJ(a,a),op_f8TJb0vaMc(a,22))+op_count_IHpSDSxKMI(a,a)+op_count_CArV6hThFE(628)+op_count_7YiCYgpUY4(op_IHpSDSxKMI(a,a),op_CArV6hThFE(628))+op_count_1wjmvXM3JT(op_25jDJzUX4z(op_hrf7POJlIJ(a,a),op_f8TJb0vaMc(a,22)),op_7YiCYgpUY4(op_IHpSDSxKMI(a,a),op_CArV6hThFE(628)))
    return count


def op_RLh2CaJNDO(a):
    return op_Is2W053hpV(op_JjBRwFuOb8(op_iVzLhW7Qip(350,a),op_BS1zk2O8ip(29,39)),op_jBncVCNhdl(op_HYQYetZkj2(a,a),op_EjjZdWuWOr(801,a)))

def op_count_RLh2CaJNDO(a):
    count = op_count_iVzLhW7Qip(350,a)+op_count_BS1zk2O8ip(29,39)+op_count_JjBRwFuOb8(op_iVzLhW7Qip(350,a),op_BS1zk2O8ip(29,39))+op_count_HYQYetZkj2(a,a)+op_count_EjjZdWuWOr(801,a)+op_count_jBncVCNhdl(op_HYQYetZkj2(a,a),op_EjjZdWuWOr(801,a))+op_count_Is2W053hpV(op_JjBRwFuOb8(op_iVzLhW7Qip(350,a),op_BS1zk2O8ip(29,39)),op_jBncVCNhdl(op_HYQYetZkj2(a,a),op_EjjZdWuWOr(801,a)))
    return count


a≪∭b = { (⋇↪≃((b⪑559)⊉≛↸(a∏⊵⇆a))) , if ((b↸⋽⊴371)!=223 or (⩍b)!=342) ; (∱⨢⫞((b⋕⩇⊠a)↸(b⊖⩤a))) , else }

def op_wDQhVHeL0p(a, b):
    if (op_9zMjbAiDwo(b,371) != 223 or op_0SB1kdz72a(b) != 342):
        return op_qUHmkclnth(op_DZ8iAZOCBD(op_8CI59HBmeC(b,559),op_ANJ5yRPvn6(a,a)))
    else:
        return op_mQekotfATW(op_1eCjFl0mb9(op_zcfNHCZcQb(b,a),op_muoSboCI92(b,a)))

def op_count_wDQhVHeL0p(a, b):
    if (op_9zMjbAiDwo(b,371) != 223 or op_0SB1kdz72a(b) != 342):
        count = op_count_8CI59HBmeC(b,559)+op_count_ANJ5yRPvn6(a,a)+op_count_DZ8iAZOCBD(op_8CI59HBmeC(b,559),op_ANJ5yRPvn6(a,a))+op_count_qUHmkclnth(op_DZ8iAZOCBD(op_8CI59HBmeC(b,559),op_ANJ5yRPvn6(a,a)))+op_count_9zMjbAiDwo(b,371)+op_count_0SB1kdz72a(b)
    else:
        count = op_count_zcfNHCZcQb(b,a)+op_count_muoSboCI92(b,a)+op_count_1eCjFl0mb9(op_zcfNHCZcQb(b,a),op_muoSboCI92(b,a))+op_count_mQekotfATW(op_1eCjFl0mb9(op_zcfNHCZcQb(b,a),op_muoSboCI92(b,a)))
    return count


def op_FEewDH7aVn(a):
    return op_xQ7F9HlfPt(op_crtJ4cV1Co(a,a),op_KG0EK6K0uq(a,59))

def op_count_FEewDH7aVn(a):
    count = op_count_crtJ4cV1Co(a,a)+op_count_KG0EK6K0uq(a,59)+op_count_xQ7F9HlfPt(op_crtJ4cV1Co(a,a),op_KG0EK6K0uq(a,59))
    return count


def op_pta8grGOXY(a):
    return op_zFY2A2ppo2(op_9BUDYzLkPF(op_G1IgnKcz2d(a,a),op_upewVN6Fvf(a,a)))

def op_count_pta8grGOXY(a):
    count = op_count_G1IgnKcz2d(a,a)+op_count_upewVN6Fvf(a,a)+op_count_9BUDYzLkPF(op_G1IgnKcz2d(a,a),op_upewVN6Fvf(a,a))+op_count_zFY2A2ppo2(op_9BUDYzLkPF(op_G1IgnKcz2d(a,a),op_upewVN6Fvf(a,a)))
    return count


def op_W1nakwp8MF(a):
    return op_7p6YLioM7f(op_v6n82cqzWM(op_5eM6Qp6mRY(a,129)))

def op_count_W1nakwp8MF(a):
    count = op_count_5eM6Qp6mRY(a,129)+op_count_v6n82cqzWM(op_5eM6Qp6mRY(a,129))+op_count_7p6YLioM7f(op_v6n82cqzWM(op_5eM6Qp6mRY(a,129)))
    return count


a⪵⊿b = { ((⫔⩠⩅b)⋈(b⊁⪁∏a)) , if (⩸⨸b)<91 ; ((a⇉a)⫔(a⩱⇜⪦a)) , else }

def op_w0DNondLnN(a, b):
    if op_VIrrXtd8hW(b) < 91:
        return op_nDybdB13Ph(op_Yrb6ZMzTIl(b),op_NRyasOrsb7(b,a))
    else:
        return op_Qsw9fW7fQc(op_lJ0NnniDH7(a,a),op_TPY4Vhd24N(a,a))

def op_count_w0DNondLnN(a, b):
    if op_VIrrXtd8hW(b) < 91:
        count = op_count_Yrb6ZMzTIl(b)+op_count_NRyasOrsb7(b,a)+op_count_nDybdB13Ph(op_Yrb6ZMzTIl(b),op_NRyasOrsb7(b,a))+op_count_VIrrXtd8hW(b)
    else:
        count = op_count_lJ0NnniDH7(a,a)+op_count_TPY4Vhd24N(a,a)+op_count_Qsw9fW7fQc(op_lJ0NnniDH7(a,a),op_TPY4Vhd24N(a,a))
    return count


a∑⫎↩b = { (↯⪼a) , if (a⪺≿727)>88 ; (a⇻⋧≁b) , else }

def op_HdNzD5PjZY(a, b):
    if op_dj54johvPQ(a,727) > 88:
        return op_8jW3W4yZS5(a)
    else:
        return op_jCPkEVoL5K(a,b)

def op_count_HdNzD5PjZY(a, b):
    if op_dj54johvPQ(a,727) > 88:
        count = op_count_8jW3W4yZS5(a)+op_count_dj54johvPQ(a,727)
    else:
        count = op_count_jCPkEVoL5K(a,b)
    return count


def op_ZMlAXoltN4(a):
    return op_PyySExtkRS(op_OGWBzMv138(a,a),op_8jW3W4yZS5(a))

def op_count_ZMlAXoltN4(a):
    count = op_count_OGWBzMv138(a,a)+op_count_8jW3W4yZS5(a)+op_count_PyySExtkRS(op_OGWBzMv138(a,a),op_8jW3W4yZS5(a))
    return count


def op_9HBWIydjSK(a):
    if (op_itkOnPxCeF(a) < 497 and op_AWSeafXRiV(a) != 39 and op_lOouret8Km(a) >= 229):
        return op_iO9AwRVKvo(op_SVbYQ5zZTr(60,a),op_q6iAK3IPqK(a,a))
    else:
        return op_lYYgj615o2(op_3l0286Hu2p(a),op_ObEyaaML9x(a,76))

def op_count_9HBWIydjSK(a):
    if (op_itkOnPxCeF(a) < 497 and op_AWSeafXRiV(a) != 39 and op_lOouret8Km(a) >= 229):
        count = op_count_SVbYQ5zZTr(60,a)+op_count_q6iAK3IPqK(a,a)+op_count_iO9AwRVKvo(op_SVbYQ5zZTr(60,a),op_q6iAK3IPqK(a,a))+op_count_itkOnPxCeF(a)+op_count_AWSeafXRiV(a)+op_count_lOouret8Km(a)
    else:
        count = op_count_3l0286Hu2p(a)+op_count_ObEyaaML9x(a,76)+op_count_lYYgj615o2(op_3l0286Hu2p(a),op_ObEyaaML9x(a,76))
    return count


def op_izanNald0Y(a):
    return op_Up1cwh7yZZ(op_212REbPD9h(a,a))

def op_count_izanNald0Y(a):
    count = op_count_212REbPD9h(a,a)+op_count_Up1cwh7yZZ(op_212REbPD9h(a,a))
    return count


a⩗⇭b = { (((b⨻⩈⩔7)⋥⇧(a⊦⊆b))⫦⪝(≷⫦(4⨺⊨a))) , if (⩲⨚a)>218 ; (((⩿⨑b)⨺⩶(b→))⩥⋻((b⨦⨚∂b)∪⫐(b⋆⫊a))) , else }

def op_Vr0m5K9Tvy(a, b):
    if op_ByhTHGuwmm(a) > 218:
        return op_m4ELZxczPY(op_UAZAhLH3kE(op_nEsXyWgiOK(b,7),op_ziENa4oeDe(a,b)),op_K7MnsOaMRl(op_VXHFBbhtXV(4,a)))
    else:
        return op_XXqG8ZAZxI(op_qCCe0Qx1RA(op_6p8uLNHqK6(b),op_zVbKEeMoGt(b)),op_7YooWSwCyH(op_RpQvJizf4x(b,b),op_yR0nB6c4Cl(b,a)))

def op_count_Vr0m5K9Tvy(a, b):
    if op_ByhTHGuwmm(a) > 218:
        count = op_count_nEsXyWgiOK(b,7)+op_count_ziENa4oeDe(a,b)+op_count_UAZAhLH3kE(op_nEsXyWgiOK(b,7),op_ziENa4oeDe(a,b))+op_count_VXHFBbhtXV(4,a)+op_count_K7MnsOaMRl(op_VXHFBbhtXV(4,a))+op_count_m4ELZxczPY(op_UAZAhLH3kE(op_nEsXyWgiOK(b,7),op_ziENa4oeDe(a,b)),op_K7MnsOaMRl(op_VXHFBbhtXV(4,a)))+op_count_ByhTHGuwmm(a)
    else:
        count = op_count_6p8uLNHqK6(b)+op_count_zVbKEeMoGt(b)+op_count_qCCe0Qx1RA(op_6p8uLNHqK6(b),op_zVbKEeMoGt(b))+op_count_RpQvJizf4x(b,b)+op_count_yR0nB6c4Cl(b,a)+op_count_7YooWSwCyH(op_RpQvJizf4x(b,b),op_yR0nB6c4Cl(b,a))+op_count_XXqG8ZAZxI(op_qCCe0Qx1RA(op_6p8uLNHqK6(b),op_zVbKEeMoGt(b)),op_7YooWSwCyH(op_RpQvJizf4x(b,b),op_yR0nB6c4Cl(b,a)))
    return count


def op_gSB9CMo1tN(a, b):
    return op_rJlMWXggw2(b,op_zDWB6XqCFD(b,a))

def op_count_gSB9CMo1tN(a, b):
    count = op_count_zDWB6XqCFD(b,a)+op_count_rJlMWXggw2(b,op_zDWB6XqCFD(b,a))
    return count


a∑⊹ = { ((⨤≛⊯(a⫭⋕a))⇽↿⪿((⨻⊚a)⊌⨑(a⩙⪻370))) , if (≙≿⇔a)==348 ; (((a⇫≋a)⊵⇹⇚(a∃a))⇑⇊⩴(a⩵(a⇽⪾⨎a))) , else }

def op_SwViBcBhMq(a):
    if op_61C3GuCVLx(a) == 348:
        return op_9Q5hJbNi17(op_3YRBMmnbKr(op_d23X9ho1m8(a,a)),op_rfCxBsGcPd(op_vhdvHNYmJ0(a),op_Y0zpOQG4YL(a,370)))
    else:
        return op_qUzyPcz3G4(op_FG4jWDXkwW(op_7mDgzgOxkj(a,a),op_3H5Xx7QWkg(a,a)),op_AiZuih6wUj(a,op_lzCx6JGp55(a,a)))

def op_count_SwViBcBhMq(a):
    if op_61C3GuCVLx(a) == 348:
        count = op_count_d23X9ho1m8(a,a)+op_count_3YRBMmnbKr(op_d23X9ho1m8(a,a))+op_count_vhdvHNYmJ0(a)+op_count_Y0zpOQG4YL(a,370)+op_count_rfCxBsGcPd(op_vhdvHNYmJ0(a),op_Y0zpOQG4YL(a,370))+op_count_9Q5hJbNi17(op_3YRBMmnbKr(op_d23X9ho1m8(a,a)),op_rfCxBsGcPd(op_vhdvHNYmJ0(a),op_Y0zpOQG4YL(a,370)))+op_count_61C3GuCVLx(a)
    else:
        count = op_count_7mDgzgOxkj(a,a)+op_count_3H5Xx7QWkg(a,a)+op_count_FG4jWDXkwW(op_7mDgzgOxkj(a,a),op_3H5Xx7QWkg(a,a))+op_count_lzCx6JGp55(a,a)+op_count_AiZuih6wUj(a,op_lzCx6JGp55(a,a))+op_count_qUzyPcz3G4(op_FG4jWDXkwW(op_7mDgzgOxkj(a,a),op_3H5Xx7QWkg(a,a)),op_AiZuih6wUj(a,op_lzCx6JGp55(a,a)))
    return count


a≙⇈⋰ = { ((a⋒⋧∊a)/(a⇁a)) , if a<=124 ; ((a+⪌9)∁⋇(a≽a)) , else }

def op_oiwYFT9z5B(a):
    if a <= 124:
        return op_XhwjNDsVaA(op_Toewqs8END(a,a),op_z4ujcxYYss(a,a))
    else:
        return op_ET0KLvfdmE(op_ehqVwXWd4k(a,9),op_bs7D9C0JKx(a,a))

def op_count_oiwYFT9z5B(a):
    if a <= 124:
        count = op_count_Toewqs8END(a,a)+op_count_z4ujcxYYss(a,a)+op_count_XhwjNDsVaA(op_Toewqs8END(a,a),op_z4ujcxYYss(a,a))
    else:
        count = op_count_ehqVwXWd4k(a,9)+op_count_bs7D9C0JKx(a,a)+op_count_ET0KLvfdmE(op_ehqVwXWd4k(a,9),op_bs7D9C0JKx(a,a))
    return count


def op_bI8wFiTsE3(a, b):
    return op_t7Ywswk0oK(op_ekA2oeJZMY(a,b),op_hTbEZDJLEm(a))

def op_count_bI8wFiTsE3(a, b):
    count = op_count_ekA2oeJZMY(a,b)+op_count_hTbEZDJLEm(a)+op_count_t7Ywswk0oK(op_ekA2oeJZMY(a,b),op_hTbEZDJLEm(a))
    return count


def op_GxcHTTfvay(a):
    if a <= 69:
        return op_0jCm5pNiJO(op_15v7IodGk2(op_ZvB8Fo8LGH(a,a),op_W7wPE4xLSW(a)),op_wGJ01FE41T(op_ieEneBRTef(a,1),a))
    else:
        return op_tqmm8txHHJ(op_4VgzueLoPD(op_EWw2JM7wp4(262,708),op_YFxL8Sc2Zy(a)),op_Y51oDxb2WH(op_ddLRYrp01A(662,554),op_N6aCA1AhH1(603,a)))

def op_count_GxcHTTfvay(a):
    if a <= 69:
        count = op_count_ZvB8Fo8LGH(a,a)+op_count_W7wPE4xLSW(a)+op_count_15v7IodGk2(op_ZvB8Fo8LGH(a,a),op_W7wPE4xLSW(a))+op_count_ieEneBRTef(a,1)+op_count_wGJ01FE41T(op_ieEneBRTef(a,1),a)+op_count_0jCm5pNiJO(op_15v7IodGk2(op_ZvB8Fo8LGH(a,a),op_W7wPE4xLSW(a)),op_wGJ01FE41T(op_ieEneBRTef(a,1),a))
    else:
        count = op_count_EWw2JM7wp4(262,708)+op_count_YFxL8Sc2Zy(a)+op_count_4VgzueLoPD(op_EWw2JM7wp4(262,708),op_YFxL8Sc2Zy(a))+op_count_ddLRYrp01A(662,554)+op_count_N6aCA1AhH1(603,a)+op_count_Y51oDxb2WH(op_ddLRYrp01A(662,554),op_N6aCA1AhH1(603,a))+op_count_tqmm8txHHJ(op_4VgzueLoPD(op_EWw2JM7wp4(262,708),op_YFxL8Sc2Zy(a)),op_Y51oDxb2WH(op_ddLRYrp01A(662,554),op_N6aCA1AhH1(603,a)))
    return count


def op_QxRo9710Id(a):
    return op_1nNvNtr5EF(a,a)

def op_count_QxRo9710Id(a):
    count = op_count_1nNvNtr5EF(a,a)
    return count


a⨇⋺ = { (((⪱⊞a)⨺⩢⇃)⩔⇧⪏((a⨖⇷a)⨑⋨(a⫳≱↱a))) , if (a⩉*347)<558 ; (((⇚a)⨒↵(54⋪⊪↳a))≅≙⩢) , else }

def op_7DSO6pGs4b(a):
    if op_e9vVQXp6da(a,347) < 558:
        return op_uTXOZ2BrWI(op_xEnngt7HOZ(op_DolxePZw3A(a)),op_tIhPxZTbsh(op_JoVwyMeNnt(a,a),op_ZvLB05nZmT(a,a)))
    else:
        return op_9P8cn3rNAU(op_4F2d8NdGA5(op_AoPU032JrE(a),op_FQQxe7X1ro(54,a)))

def op_count_7DSO6pGs4b(a):
    if op_e9vVQXp6da(a,347) < 558:
        count = op_count_DolxePZw3A(a)+op_count_xEnngt7HOZ(op_DolxePZw3A(a))+op_count_JoVwyMeNnt(a,a)+op_count_ZvLB05nZmT(a,a)+op_count_tIhPxZTbsh(op_JoVwyMeNnt(a,a),op_ZvLB05nZmT(a,a))+op_count_uTXOZ2BrWI(op_xEnngt7HOZ(op_DolxePZw3A(a)),op_tIhPxZTbsh(op_JoVwyMeNnt(a,a),op_ZvLB05nZmT(a,a)))+op_count_e9vVQXp6da(a,347)
    else:
        count = op_count_AoPU032JrE(a)+op_count_FQQxe7X1ro(54,a)+op_count_4F2d8NdGA5(op_AoPU032JrE(a),op_FQQxe7X1ro(54,a))+op_count_9P8cn3rNAU(op_4F2d8NdGA5(op_AoPU032JrE(a),op_FQQxe7X1ro(54,a)))
    return count


def op_Q4INPxF9gO(a, b):
    return op_N4i4E2JzEW(op_KJGMR4YWSg(b,b),op_ddLRYrp01A(a,382))

def op_count_Q4INPxF9gO(a, b):
    count = op_count_KJGMR4YWSg(b,b)+op_count_ddLRYrp01A(a,382)+op_count_N4i4E2JzEW(op_KJGMR4YWSg(b,b),op_ddLRYrp01A(a,382))
    return count


def op_QZ9P4kLCOX(a, b):
    return op_ofsUmZRSmp(op_InYySgip2F(a,b),op_zQWRhDnn8F(a))

def op_count_QZ9P4kLCOX(a, b):
    count = op_count_InYySgip2F(a,b)+op_count_zQWRhDnn8F(a)+op_count_ofsUmZRSmp(op_InYySgip2F(a,b),op_zQWRhDnn8F(a))
    return count


a⊾⊎⋉b = { (⇃⇫⇜(⊶(a⇚∛⩤a))) , if (b↪⫸≞)>=43 ; ((≫⋾(a≾a))⩕≗b) , else }

def op_D1QweU7yn7(a, b):
    if op_PC1SQNpQaf(b) >= 43:
        return op_7RpQvro3M9(op_iLDmr1kYEU(op_AhDKBC5IVD(a,a)))
    else:
        return op_PULhhNGBKj(op_cCidRm28DL(op_d5CHQX7ZoG(a,a)),b)

def op_count_D1QweU7yn7(a, b):
    if op_PC1SQNpQaf(b) >= 43:
        count = op_count_AhDKBC5IVD(a,a)+op_count_iLDmr1kYEU(op_AhDKBC5IVD(a,a))+op_count_7RpQvro3M9(op_iLDmr1kYEU(op_AhDKBC5IVD(a,a)))+op_count_PC1SQNpQaf(b)
    else:
        count = op_count_d5CHQX7ZoG(a,a)+op_count_cCidRm28DL(op_d5CHQX7ZoG(a,a))+op_count_PULhhNGBKj(op_cCidRm28DL(op_d5CHQX7ZoG(a,a)),b)
    return count


def op_2mrbh5CYts(a, b):
    return op_XGcMNugi78(op_G9tJMlZ94a(b),op_wZ022U9HON(519,a))

def op_count_2mrbh5CYts(a, b):
    count = op_count_G9tJMlZ94a(b)+op_count_wZ022U9HON(519,a)+op_count_XGcMNugi78(op_G9tJMlZ94a(b),op_wZ022U9HON(519,a))
    return count


a⊿⇪↰ = { (⩷⨜⫀(a⫶⩦⫌a)) , if (a∩⋅)<=464 ; a , else }

def op_KydNfnjeRI(a):
    if op_2MzE1hQ0cz(a) <= 464:
        return op_CDi0ktkjQ4(op_JhaTKDJgG8(a,a))
    else:
        return a

def op_count_KydNfnjeRI(a):
    if op_2MzE1hQ0cz(a) <= 464:
        count = op_count_JhaTKDJgG8(a,a)+op_count_CDi0ktkjQ4(op_JhaTKDJgG8(a,a))+op_count_2MzE1hQ0cz(a)
    else:
        count = 1
    return count


a⋃⪓⇝b = { (≛⇖⪸(⩆↑⇝b)) , if (⩿⨑b)<37 ; ((10⪑⋱⊙a)⫨⋵∵(≱⨚b)) , else }

def op_yefXRXvgTN(a, b):
    if op_6p8uLNHqK6(b) < 37:
        return op_J3paS0Hf4p(op_FAUHmXADzM(b))
    else:
        return op_MfPSOyZItI(op_KfUWWnJWrf(10,a),op_GaQLcZwlqT(b))

def op_count_yefXRXvgTN(a, b):
    if op_6p8uLNHqK6(b) < 37:
        count = op_count_FAUHmXADzM(b)+op_count_J3paS0Hf4p(op_FAUHmXADzM(b))+op_count_6p8uLNHqK6(b)
    else:
        count = op_count_KfUWWnJWrf(10,a)+op_count_GaQLcZwlqT(b)+op_count_MfPSOyZItI(op_KfUWWnJWrf(10,a),op_GaQLcZwlqT(b))
    return count

MfPSOyZItI KfUWWnJWrf FAUHmXADzM J3paS0Hf4p 6p8uLNHqK6 GaQLcZwlqT


def op_bvEbpGYZ1Q(a, b):
    return op_w67tFxpMRK(op_jBncVCNhdl(op_2KNBRhPqiH(480,a),op_UJ6vhVwsxM(b)))

def op_count_bvEbpGYZ1Q(a, b):
    count = op_count_2KNBRhPqiH(480,a)+op_count_UJ6vhVwsxM(b)+op_count_jBncVCNhdl(op_2KNBRhPqiH(480,a),op_UJ6vhVwsxM(b))+op_count_w67tFxpMRK(op_jBncVCNhdl(op_2KNBRhPqiH(480,a),op_UJ6vhVwsxM(b)))
    return count


⫔⊀⊉a = { (((a⨥⩑⨢478)≭∊(a⩰⩴a))∊((a⪶a)⫟⪀(13⋕⩇⊠a))) }

def op_WaxZjr2aDl(a):
    return op_3dhzKXxroQ(op_NvvUe35Zgj(op_FSSPwwucrF(a,478),op_DaGtvK0FhA(a,a)),op_ZG1KnpkPxw(op_NvEvKO2R8S(a,a),op_zcfNHCZcQb(13,a)))

def op_count_WaxZjr2aDl(a):
    count = op_count_FSSPwwucrF(a,478)+op_count_DaGtvK0FhA(a,a)+op_count_NvvUe35Zgj(op_FSSPwwucrF(a,478),op_DaGtvK0FhA(a,a))+op_count_NvEvKO2R8S(a,a)+op_count_zcfNHCZcQb(13,a)+op_count_ZG1KnpkPxw(op_NvEvKO2R8S(a,a),op_zcfNHCZcQb(13,a))+op_count_3dhzKXxroQ(op_NvvUe35Zgj(op_FSSPwwucrF(a,478),op_DaGtvK0FhA(a,a)),op_ZG1KnpkPxw(op_NvEvKO2R8S(a,a),op_zcfNHCZcQb(13,a)))
    return count


⋩⪰a = { (a∔((⋧⫪≄a)⇎⋱(a↫⩜∺))) , if a>456 ; (((a∓⋝421)⇃⪼(a↸⋽⊴a))∫∘⫔((a⇯⋡397)⊬⨰(a⋰337))) , else }

def op_hJmLugFKQo(a):
    if a > 456:
        return op_7vzQ3v2UG6(a,op_bIDw1T0Uny(op_aQOF7STvow(a),op_0lzmP687b2(a)))
    else:
        return op_3TJII8pRfQ(op_KfHK9LWpY5(op_PoHhknlbAi(a,421),op_9zMjbAiDwo(a,a)),op_s3Fd5m9Dh2(op_iQT509CoFi(a,397),op_lDgtejlvTV(a,337)))

def op_count_hJmLugFKQo(a):
    if a > 456:
        count = op_count_aQOF7STvow(a)+op_count_0lzmP687b2(a)+op_count_bIDw1T0Uny(op_aQOF7STvow(a),op_0lzmP687b2(a))+op_count_7vzQ3v2UG6(a,op_bIDw1T0Uny(op_aQOF7STvow(a),op_0lzmP687b2(a)))
    else:
        count = op_count_PoHhknlbAi(a,421)+op_count_9zMjbAiDwo(a,a)+op_count_KfHK9LWpY5(op_PoHhknlbAi(a,421),op_9zMjbAiDwo(a,a))+op_count_iQT509CoFi(a,397)+op_count_lDgtejlvTV(a,337)+op_count_s3Fd5m9Dh2(op_iQT509CoFi(a,397),op_lDgtejlvTV(a,337))+op_count_3TJII8pRfQ(op_KfHK9LWpY5(op_PoHhknlbAi(a,421),op_9zMjbAiDwo(a,a)),op_s3Fd5m9Dh2(op_iQT509CoFi(a,397),op_lDgtejlvTV(a,337)))
    return count


a⊠⨐⨙b = { (((430⪊≅)⩗⩻(a≖∳))⊟⩓⊧((⋣45)⩉≙⋏(b⊄⇮))) }

def op_CeS4mkIOg2(a, b):
    return op_ZWmKTO1x1a(op_4OtQz9P6fE(op_bjFbhXSADs(430),op_zWchu8lsBN(a)),op_K6E8QFs5tY(op_zQWRhDnn8F(45),op_9dNSVF2AR3(b)))

def op_count_CeS4mkIOg2(a, b):
    count = op_count_bjFbhXSADs(430)+op_count_zWchu8lsBN(a)+op_count_4OtQz9P6fE(op_bjFbhXSADs(430),op_zWchu8lsBN(a))+op_count_zQWRhDnn8F(45)+op_count_9dNSVF2AR3(b)+op_count_K6E8QFs5tY(op_zQWRhDnn8F(45),op_9dNSVF2AR3(b))+op_count_ZWmKTO1x1a(op_4OtQz9P6fE(op_bjFbhXSADs(430),op_zWchu8lsBN(a)),op_K6E8QFs5tY(op_zQWRhDnn8F(45),op_9dNSVF2AR3(b)))
    return count


≊⪊a = { ((∲(a∢∝a))⪦(⫦(⪪⩖∯a))) , if (a⪺⇶⨈)>=35 and (≏≚a)>=54 and (a⨠⊨)!=78 ; (((a⋥⋵⩄a)⫵⊚)⨏⋷⊗a) , else }

def op_LEP1dkkg7l(a):
    if op_iKuQ22IjhO(a) >= 35 and op_zNymfbJ47P(a) >= 54 and op_rmBUALaj1e(a) != 78:
        return op_S2EdmdiVZh(op_XCNViHof92(op_Rbawt6nfR7(a,a)),op_bLzMhy7Rh9(op_MzISTVg6W9(a)))
    else:
        return op_qFQkR9UZt5(op_HtJmKDF7Sw(op_7t3wd0Fuz7(a,a)),a)

def op_count_LEP1dkkg7l(a):
    if op_iKuQ22IjhO(a) >= 35 and op_zNymfbJ47P(a) >= 54 and op_rmBUALaj1e(a) != 78:
        count = op_count_Rbawt6nfR7(a,a)+op_count_XCNViHof92(op_Rbawt6nfR7(a,a))+op_count_MzISTVg6W9(a)+op_count_bLzMhy7Rh9(op_MzISTVg6W9(a))+op_count_S2EdmdiVZh(op_XCNViHof92(op_Rbawt6nfR7(a,a)),op_bLzMhy7Rh9(op_MzISTVg6W9(a)))+op_count_iKuQ22IjhO(a)+op_count_zNymfbJ47P(a)+op_count_rmBUALaj1e(a)
    else:
        count = op_count_7t3wd0Fuz7(a,a)+op_count_HtJmKDF7Sw(op_7t3wd0Fuz7(a,a))+op_count_qFQkR9UZt5(op_HtJmKDF7Sw(op_7t3wd0Fuz7(a,a)),a)
    return count


a⩭⊞≿b = { (⇏⫅b) , if (a≶≛)>437 ; (b⪟⊙⪓) , else }

def op_RuDLcD2ZjY(a, b):
    if op_sI0su5b2po(a) > 437:
        return op_p1y54au9R0(b)
    else:
        return op_UAPdV6bvc3(b)

def op_count_RuDLcD2ZjY(a, b):
    if op_sI0su5b2po(a) > 437:
        count = op_count_p1y54au9R0(b)+op_count_sI0su5b2po(a)
    else:
        count = op_count_UAPdV6bvc3(b)
    return count


a⋵⊳⊩b = { (((a≬⇺)√(a⩬⫑⪙))∍↴((b∖⪙a)∁⋇232)) }

def op_NrrDGmnwKr(a, b):
    return op_Esodbl1gVe(op_HX99UMoF54(op_OdOWVsbFc9(a),op_ngz0Dpm65C(a)),op_ET0KLvfdmE(op_wcnuipe1kD(b,a),232))

def op_count_NrrDGmnwKr(a, b):
    count = op_count_OdOWVsbFc9(a)+op_count_ngz0Dpm65C(a)+op_count_HX99UMoF54(op_OdOWVsbFc9(a),op_ngz0Dpm65C(a))+op_count_wcnuipe1kD(b,a)+op_count_ET0KLvfdmE(op_wcnuipe1kD(b,a),232)+op_count_Esodbl1gVe(op_HX99UMoF54(op_OdOWVsbFc9(a),op_ngz0Dpm65C(a)),op_ET0KLvfdmE(op_wcnuipe1kD(b,a),232))
    return count


a≟∷b = { ((b⇮⋭b)∝⇝) , if (a∫∘⫔565)>24 ; ((b⪦⪊1)∢≙a) , else }

def op_W0tbZCD3my(a, b):
    if op_3TJII8pRfQ(a,565) > 24:
        return op_yp9CRaSDpl(op_vkpjKywKVM(b,b))
    else:
        return op_BXZdiG1zfY(op_DykcjiQqpf(b,1),a)

def op_count_W0tbZCD3my(a, b):
    if op_3TJII8pRfQ(a,565) > 24:
        count = op_count_vkpjKywKVM(b,b)+op_count_yp9CRaSDpl(op_vkpjKywKVM(b,b))+op_count_3TJII8pRfQ(a,565)
    else:
        count = op_count_DykcjiQqpf(b,1)+op_count_BXZdiG1zfY(op_DykcjiQqpf(b,1),a)
    return count


⩣≐⇬a = { (((a∓⋝a)⨄∪(a⇎⇧a))≴⪞⇿((a⪣⊴59)∩⋅)) }

def op_Zs2Fr3PX4F(a):
    return op_lvlrscuwVU(op_uz3GelrGYC(op_PoHhknlbAi(a,a),op_cnI436iWbz(a,a)),op_2MzE1hQ0cz(op_miu0bRYLYP(a,59)))

def op_count_Zs2Fr3PX4F(a):
    count = op_count_PoHhknlbAi(a,a)+op_count_cnI436iWbz(a,a)+op_count_uz3GelrGYC(op_PoHhknlbAi(a,a),op_cnI436iWbz(a,a))+op_count_miu0bRYLYP(a,59)+op_count_2MzE1hQ0cz(op_miu0bRYLYP(a,59))+op_count_lvlrscuwVU(op_uz3GelrGYC(op_PoHhknlbAi(a,a),op_cnI436iWbz(a,a)),op_2MzE1hQ0cz(op_miu0bRYLYP(a,59)))
    return count


def op_tLTU0hrBh2(a, b):
    return op_N4xFjQxcx5(op_US97TQlt8r(a,op_inYIwJ0bD8(b)),op_zc1INhisa1(op_DG2cS3PCn6(b)))

def op_count_tLTU0hrBh2(a, b):
    count = op_count_inYIwJ0bD8(b)+op_count_US97TQlt8r(a,op_inYIwJ0bD8(b))+op_count_DG2cS3PCn6(b)+op_count_zc1INhisa1(op_DG2cS3PCn6(b))+op_count_N4xFjQxcx5(op_US97TQlt8r(a,op_inYIwJ0bD8(b)),op_zc1INhisa1(op_DG2cS3PCn6(b)))
    return count


def op_OTf3cZQMiP(a):
    return op_Es8UyEPW03(op_uWAJUKEvyW(a,a),op_6iOiAJX1F8(a))

def op_count_OTf3cZQMiP(a):
    count = op_count_uWAJUKEvyW(a,a)+op_count_6iOiAJX1F8(a)+op_count_Es8UyEPW03(op_uWAJUKEvyW(a,a),op_6iOiAJX1F8(a))
    return count


def op_VGccWtNwnK(a):
    return op_RFg3ArkQ7E(op_iRVJYj8mGz(4,a))

def op_count_VGccWtNwnK(a):
    count = op_count_iRVJYj8mGz(4,a)+op_count_RFg3ArkQ7E(op_iRVJYj8mGz(4,a))
    return count


a⋀⪒⨥b = { ((493⨀⨰⊫b)⊻↞≧(a≶⇧⫄a)) , if (↿⩠⋻b)>580 ; ((b⇥)↜⩯⩶(⋸⋊a)) , else }

def op_uxpXySbnZx(a, b):
    if op_HHzAglSfHQ(b) > 580:
        return op_NZ4M85zvpZ(op_Gl4WN4Uwdx(493,b),op_r8SlbsZKtG(a,a))
    else:
        return op_BUZMbiqx9t(op_dcbMkX5nB5(b),op_SXdD3Sv4Bj(a))

def op_count_uxpXySbnZx(a, b):
    if op_HHzAglSfHQ(b) > 580:
        count = op_count_Gl4WN4Uwdx(493,b)+op_count_r8SlbsZKtG(a,a)+op_count_NZ4M85zvpZ(op_Gl4WN4Uwdx(493,b),op_r8SlbsZKtG(a,a))+op_count_HHzAglSfHQ(b)
    else:
        count = op_count_dcbMkX5nB5(b)+op_count_SXdD3Sv4Bj(a)+op_count_BUZMbiqx9t(op_dcbMkX5nB5(b),op_SXdD3Sv4Bj(a))
    return count


def op_XhXQqXj9xO(a, b):
    if op_AZPIx1Ag6c(a) == 374:
        return op_wLFAaebWLN(b,53)
    else:
        return op_nmZMaaE0Q9(a)

def op_count_XhXQqXj9xO(a, b):
    if op_AZPIx1Ag6c(a) == 374:
        count = op_count_wLFAaebWLN(b,53)+op_count_AZPIx1Ag6c(a)
    else:
        count = op_count_nmZMaaE0Q9(a)
    return count


def op_mirFtP5bTm(a, b):
    if op_wTbdp8pxvm(b) >= 865 or op_hb2mTwldPZ(a,207) > 156:
        return op_ukSLkBfL7r(op_dj54johvPQ(27,op_3On8Mq6EYF(308,93)))
    else:
        return op_rTUPPhO5VL(op_hmlrMsD2PO(op_6Bcfo3j9gb(a,a),op_edpkH0X5wK(b,a)),op_v9KVZbcFsa(op_hfpBUD6oBE(a,a),op_rIhv4QYABv(b,a)))

def op_count_mirFtP5bTm(a, b):
    if op_wTbdp8pxvm(b) >= 865 or op_hb2mTwldPZ(a,207) > 156:
        count = op_count_3On8Mq6EYF(308,93)+op_count_dj54johvPQ(27,op_3On8Mq6EYF(308,93))+op_count_ukSLkBfL7r(op_dj54johvPQ(27,op_3On8Mq6EYF(308,93)))+op_count_wTbdp8pxvm(b)+op_count_hb2mTwldPZ(a,207)
    else:
        count = op_count_6Bcfo3j9gb(a,a)+op_count_edpkH0X5wK(b,a)+op_count_hmlrMsD2PO(op_6Bcfo3j9gb(a,a),op_edpkH0X5wK(b,a))+op_count_hfpBUD6oBE(a,a)+op_count_rIhv4QYABv(b,a)+op_count_v9KVZbcFsa(op_hfpBUD6oBE(a,a),op_rIhv4QYABv(b,a))+op_count_rTUPPhO5VL(op_hmlrMsD2PO(op_6Bcfo3j9gb(a,a),op_edpkH0X5wK(b,a)),op_v9KVZbcFsa(op_hfpBUD6oBE(a,a),op_rIhv4QYABv(b,a)))
    return count


a⪹⪥b = { b , if (a⩦⪦)<11 ; (b⩰⪎b) , else }

def op_USUCvpgHEa(a, b):
    if op_fFHhq5AAin(a) < 11:
        return b
    else:
        return op_keMeIxFVQ3(b,b)

def op_count_USUCvpgHEa(a, b):
    if op_fFHhq5AAin(a) < 11:
        count = 1
    else:
        count = op_count_keMeIxFVQ3(b,b)
    return count


def op_8at3kJaBBN(a):
    if op_pevpteaPmM(a,385) > 13:
        return op_e9vVQXp6da(a,a)
    else:
        return op_zcaA4Z4NaO(10,a)

def op_count_8at3kJaBBN(a):
    if op_pevpteaPmM(a,385) > 13:
        count = op_count_e9vVQXp6da(a,a)+op_count_pevpteaPmM(a,385)
    else:
        count = op_count_zcaA4Z4NaO(10,a)
    return count


def op_rfHPFfr6cI(a):
    return op_jEAzKzhh6P(op_bR7FmX73P0(a,a))

def op_count_rfHPFfr6cI(a):
    count = op_count_bR7FmX73P0(a,a)+op_count_jEAzKzhh6P(op_bR7FmX73P0(a,a))
    return count


a⇳⋁b = { (((b⩺386)⪛⫼(⋅⩆↔a))⪫↪(⋯⫦(a⊙≭a))) , if b>27 ; ((⨙⫴⫎(b⪤b))⋷⪧((a⩜⫱b)⋡∥(74⩀↣a))) , else }

def op_F4P0y6XAQk(a, b):
    if b > 27:
        return op_SR7DhePr6g(op_hyuBjUqXlG(op_8rgMBn28gJ(b,386),op_20hv3wdH5D(a)),op_Oz60OTg7Kb(op_sVMiUtOpJT(a,a)))
    else:
        return op_JoFAzT2BO8(op_KRkRyTki02(op_JKhKCqropJ(b,b)),op_zNFFvkV5QZ(op_6lEGX12sqf(a,b),op_OstGYNawjH(74,a)))

def op_count_F4P0y6XAQk(a, b):
    if b > 27:
        count = op_count_8rgMBn28gJ(b,386)+op_count_20hv3wdH5D(a)+op_count_hyuBjUqXlG(op_8rgMBn28gJ(b,386),op_20hv3wdH5D(a))+op_count_sVMiUtOpJT(a,a)+op_count_Oz60OTg7Kb(op_sVMiUtOpJT(a,a))+op_count_SR7DhePr6g(op_hyuBjUqXlG(op_8rgMBn28gJ(b,386),op_20hv3wdH5D(a)),op_Oz60OTg7Kb(op_sVMiUtOpJT(a,a)))
    else:
        count = op_count_JKhKCqropJ(b,b)+op_count_KRkRyTki02(op_JKhKCqropJ(b,b))+op_count_6lEGX12sqf(a,b)+op_count_OstGYNawjH(74,a)+op_count_zNFFvkV5QZ(op_6lEGX12sqf(a,b),op_OstGYNawjH(74,a))+op_count_JoFAzT2BO8(op_KRkRyTki02(op_JKhKCqropJ(b,b)),op_zNFFvkV5QZ(op_6lEGX12sqf(a,b),op_OstGYNawjH(74,a)))
    return count


a⪃⪇ = { ((⨮↦↱a)-∠(a≯⊼a)) , if a!=413 ; ((a↮↗a)⫨↝a) , else }

def op_GD1cfcgDxv(a):
    if a != 413:
        return op_s0IfDFCCuZ(op_sYcpBQ0cFf(a),op_6LEqcG83L6(a,a))
    else:
        return op_LvaFuPukL6(op_JI6Y01kM0I(a,a),a)

def op_count_GD1cfcgDxv(a):
    if a != 413:
        count = op_count_sYcpBQ0cFf(a)+op_count_6LEqcG83L6(a,a)+op_count_s0IfDFCCuZ(op_sYcpBQ0cFf(a),op_6LEqcG83L6(a,a))
    else:
        count = op_count_JI6Y01kM0I(a,a)+op_count_LvaFuPukL6(op_JI6Y01kM0I(a,a),a)
    return count


def op_9ombZPhn77(a):
    return op_N2CwLZHY2H(34,a)

def op_count_9ombZPhn77(a):
    count = op_count_N2CwLZHY2H(34,a)
    return count


a⋤≔⊹b = { (((340⇞⊉↿10)⋢(a⋟⨸⨢b))∺⊴⊌((a⨥⩒)⇵(a∇a))) }

def op_Vc5rgziU3z(a, b):
    return op_AxBbORVHmI(op_NdELin8EPX(op_bG3SoPrX0m(340,10),op_fhjnU2VWuG(a,b)),op_kVSeQakJeK(op_FCT48PRh6k(a),op_fICjaz8Yf3(a,a)))

def op_count_Vc5rgziU3z(a, b):
    count = op_count_bG3SoPrX0m(340,10)+op_count_fhjnU2VWuG(a,b)+op_count_NdELin8EPX(op_bG3SoPrX0m(340,10),op_fhjnU2VWuG(a,b))+op_count_FCT48PRh6k(a)+op_count_fICjaz8Yf3(a,a)+op_count_kVSeQakJeK(op_FCT48PRh6k(a),op_fICjaz8Yf3(a,a))+op_count_AxBbORVHmI(op_NdELin8EPX(op_bG3SoPrX0m(340,10),op_fhjnU2VWuG(a,b)),op_kVSeQakJeK(op_FCT48PRh6k(a),op_fICjaz8Yf3(a,a)))
    return count


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

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


⋉↘a = { (a↑) , if (∲a)<206 ; (a⊸a) , else }

def op_mcYICU4xx1(a):
    if op_XCNViHof92(a) < 206:
        return op_BThhyOhh10(a)
    else:
        return op_vtudXryacx(a,a)

def op_count_mcYICU4xx1(a):
    if op_XCNViHof92(a) < 206:
        count = op_count_BThhyOhh10(a)+op_count_XCNViHof92(a)
    else:
        count = op_count_vtudXryacx(a,a)
    return count


def op_zkvecRvIGE(a):
    if a > 302:
        return op_jLgFTUHLKL(a)
    else:
        return a

def op_count_zkvecRvIGE(a):
    if a > 302:
        count = op_count_jLgFTUHLKL(a)
    else:
        count = 1
    return count


a⨑⊃⫛b = { ((b↰⇜⩿)⪘⇬∩a) , if (b⇽⨅213)==35 ; ((⨵b)⫾⊽(a⋁⩜)) , else }

def op_QJfD8BdLrJ(a, b):
    if op_PyySExtkRS(b,213) == 35:
        return op_Bg9zIMXgOw(op_D3f8g0qpyM(b),a)
    else:
        return op_QunAGeO7fw(op_Tl3Y52tvF8(b),op_5wgIzpHald(a))

def op_count_QJfD8BdLrJ(a, b):
    if op_PyySExtkRS(b,213) == 35:
        count = op_count_D3f8g0qpyM(b)+op_count_Bg9zIMXgOw(op_D3f8g0qpyM(b),a)+op_count_PyySExtkRS(b,213)
    else:
        count = op_count_Tl3Y52tvF8(b)+op_count_5wgIzpHald(a)+op_count_QunAGeO7fw(op_Tl3Y52tvF8(b),op_5wgIzpHald(a))
    return count


⇡∮a = { ((⪝⪂⫅(a∣∻⫱a))≩⫛↦) , if (a⊲646)!=635 ; (((↢⨟a)≹≨⨇(a⊤∬a))⩓((262⫰⇤)∿⊵⋹(a⊡⫩a))) , else }

def op_SpFBj8ERfg(a):
    if op_yMixD7ucMB(a,646) != 635:
        return op_JzgZF0Pirc(op_XTarYq4gQB(op_7ZiIqrHWXK(a,a)))
    else:
        return op_ZkTErvSsVl(op_aGhYYhn7J7(op_iSxGtpjIlD(a),op_5WBlwMsBj2(a,a)),op_k8X3umw52W(op_HKBRh2t2ub(262),op_GkvCUnJJBn(a,a)))

def op_count_SpFBj8ERfg(a):
    if op_yMixD7ucMB(a,646) != 635:
        count = op_count_7ZiIqrHWXK(a,a)+op_count_XTarYq4gQB(op_7ZiIqrHWXK(a,a))+op_count_JzgZF0Pirc(op_XTarYq4gQB(op_7ZiIqrHWXK(a,a)))+op_count_yMixD7ucMB(a,646)
    else:
        count = op_count_iSxGtpjIlD(a)+op_count_5WBlwMsBj2(a,a)+op_count_aGhYYhn7J7(op_iSxGtpjIlD(a),op_5WBlwMsBj2(a,a))+op_count_HKBRh2t2ub(262)+op_count_GkvCUnJJBn(a,a)+op_count_k8X3umw52W(op_HKBRh2t2ub(262),op_GkvCUnJJBn(a,a))+op_count_ZkTErvSsVl(op_aGhYYhn7J7(op_iSxGtpjIlD(a),op_5WBlwMsBj2(a,a)),op_k8X3umw52W(op_HKBRh2t2ub(262),op_GkvCUnJJBn(a,a)))
    return count


a⩂↩ = { ((a⊵⇹⇚a)⨺⩶(3⋭⫎⪟)) , if (a⇅⇟⨿)>155 and a!=102 and (a⫈)!=59 ; ((a⫉⋃a)↖≺⇫(a∫↝⇷)) , else }

def op_5gi5pS4dWj(a):
    if op_F5mtphABo5(a) > 155 and a != 102 and op_IDDgyz04Ei(a) != 59:
        return op_qCCe0Qx1RA(op_FG4jWDXkwW(a,a),op_nw0VKSfdAL(3))
    else:
        return op_rh14SKPVeV(op_YEzomLoFTT(a,a),op_dOyh8NTXcy(a))

def op_count_5gi5pS4dWj(a):
    if op_F5mtphABo5(a) > 155 and a != 102 and op_IDDgyz04Ei(a) != 59:
        count = op_count_FG4jWDXkwW(a,a)+op_count_nw0VKSfdAL(3)+op_count_qCCe0Qx1RA(op_FG4jWDXkwW(a,a),op_nw0VKSfdAL(3))+op_count_F5mtphABo5(a)+op_count_IDDgyz04Ei(a)
    else:
        count = op_count_YEzomLoFTT(a,a)+op_count_dOyh8NTXcy(a)+op_count_rh14SKPVeV(op_YEzomLoFTT(a,a),op_dOyh8NTXcy(a))
    return count


def op_SLnbwYKU1k(a):
    return op_ZG1KnpkPxw(op_uE2ouRUgIU(a,a),op_QyJFccSbaX(a,81))

def op_count_SLnbwYKU1k(a):
    count = op_count_uE2ouRUgIU(a,a)+op_count_QyJFccSbaX(a,81)+op_count_ZG1KnpkPxw(op_uE2ouRUgIU(a,a),op_QyJFccSbaX(a,81))
    return count


a≥⨖≵b = { (a⊇⫘⪍b) , if (b⨦⨉)<=77 ; (a⊅↽⋺) , else }

def op_kkyNOwKHaJ(a, b):
    if op_sZS62iV0d2(b) <= 77:
        return op_dUpriDnGP5(a,b)
    else:
        return op_b4UHMzNVzm(a)

def op_count_kkyNOwKHaJ(a, b):
    if op_sZS62iV0d2(b) <= 77:
        count = op_count_dUpriDnGP5(a,b)+op_count_sZS62iV0d2(b)
    else:
        count = op_count_b4UHMzNVzm(a)
    return count


def op_5rvhbTr1DR(a, b):
    return op_dma8RTlAAq(op_try26Xv2zA(op_Ytqyqjc8hL(a,b),op_1nNvNtr5EF(a,a)))

def op_count_5rvhbTr1DR(a, b):
    count = op_count_Ytqyqjc8hL(a,b)+op_count_1nNvNtr5EF(a,a)+op_count_try26Xv2zA(op_Ytqyqjc8hL(a,b),op_1nNvNtr5EF(a,a))+op_count_dma8RTlAAq(op_try26Xv2zA(op_Ytqyqjc8hL(a,b),op_1nNvNtr5EF(a,a)))
    return count


def op_En8JuKpsKN(a):
    if op_p3tkozcGQn(a) <= 105:
        return op_15fnz2YIbx(543,546)
    else:
        return op_iXQfhhNwXF(a)

def op_count_En8JuKpsKN(a):
    if op_p3tkozcGQn(a) <= 105:
        count = op_count_15fnz2YIbx(543,546)+op_count_p3tkozcGQn(a)
    else:
        count = op_count_iXQfhhNwXF(a)
    return count


a⫕⊻ = { (((⪰⇛⪭a)⨓↚(a≤⋿a))⋥∋((a≾a)⪋⫾⨕)) }

def op_6LSXOSgsc3(a):
    return op_0dkrCdGzGT(op_YLJhMbTGGW(op_FAU4UUhKNM(a),op_GWoGfTTeeI(a,a)),op_tAFJbl8FKS(op_d5CHQX7ZoG(a,a)))

def op_count_6LSXOSgsc3(a):
    count = op_count_FAU4UUhKNM(a)+op_count_GWoGfTTeeI(a,a)+op_count_YLJhMbTGGW(op_FAU4UUhKNM(a),op_GWoGfTTeeI(a,a))+op_count_d5CHQX7ZoG(a,a)+op_count_tAFJbl8FKS(op_d5CHQX7ZoG(a,a))+op_count_0dkrCdGzGT(op_YLJhMbTGGW(op_FAU4UUhKNM(a),op_GWoGfTTeeI(a,a)),op_tAFJbl8FKS(op_d5CHQX7ZoG(a,a)))
    return count


def op_dHUa1v39hJ(a):
    return op_ezv41XLVK4(op_grHKJW0KEs(a),a)

def op_count_dHUa1v39hJ(a):
    count = op_count_grHKJW0KEs(a)+op_count_ezv41XLVK4(op_grHKJW0KEs(a),a)
    return count


a⩞⊺↘b = { ((b↬≳⋣a)⋭(276⋄⩥∩b)) , if (a⨲⇖⇮)>105 ; ((153⋁)⇁≍↕(a←⩟a)) , else }

def op_VgEnHjmnKG(a, b):
    if op_oj4YnGA3cE(a) > 105:
        return op_WRl4KaSwns(op_5HFUViGXfi(b,a),op_bq0uxnJnnH(276,b))
    else:
        return op_qmQdYVJtpo(op_R6sRhpmvlr(153),op_Tcl1okrsLo(a,a))

def op_count_VgEnHjmnKG(a, b):
    if op_oj4YnGA3cE(a) > 105:
        count = op_count_5HFUViGXfi(b,a)+op_count_bq0uxnJnnH(276,b)+op_count_WRl4KaSwns(op_5HFUViGXfi(b,a),op_bq0uxnJnnH(276,b))+op_count_oj4YnGA3cE(a)
    else:
        count = op_count_R6sRhpmvlr(153)+op_count_Tcl1okrsLo(a,a)+op_count_qmQdYVJtpo(op_R6sRhpmvlr(153),op_Tcl1okrsLo(a,a))
    return count


def op_63dRGD47kE(a):
    return op_xkySVgzY16(op_ZcEZS9J7rM(op_sVMiUtOpJT(a,a),op_OeHW3Asv3N(a)))

def op_count_63dRGD47kE(a):
    count = op_count_sVMiUtOpJT(a,a)+op_count_OeHW3Asv3N(a)+op_count_ZcEZS9J7rM(op_sVMiUtOpJT(a,a),op_OeHW3Asv3N(a))+op_count_xkySVgzY16(op_ZcEZS9J7rM(op_sVMiUtOpJT(a,a),op_OeHW3Asv3N(a)))
    return count


a⊈⩂b = { (((10√⇁)⪟⇏(a∄b))⪙⇔((b⇂≾⫗2)≧(⨵≀≌a))) , if (⋶⇓⊆a)>11 ; (⩸⨸((⪽⪧⇞b)⇱∅⫼(a⋕⩇⊠a))) , else }

def op_ftShcB620t(a, b):
    if op_qjjQIhOD5T(a) > 11:
        return op_HtfiQVUMWI(op_GODebY97qR(op_erUMkNxUTh(10),op_tnyRA5sazQ(a,b)),op_MSsKXfycuQ(op_aBQ6xLxuTc(b,2),op_srAu1WTS94(a)))
    else:
        return op_VIrrXtd8hW(op_jmRbPV3Y6D(op_7KrIVfnUen(b),op_zcfNHCZcQb(a,a)))

def op_count_ftShcB620t(a, b):
    if op_qjjQIhOD5T(a) > 11:
        count = op_count_erUMkNxUTh(10)+op_count_tnyRA5sazQ(a,b)+op_count_GODebY97qR(op_erUMkNxUTh(10),op_tnyRA5sazQ(a,b))+op_count_aBQ6xLxuTc(b,2)+op_count_srAu1WTS94(a)+op_count_MSsKXfycuQ(op_aBQ6xLxuTc(b,2),op_srAu1WTS94(a))+op_count_HtfiQVUMWI(op_GODebY97qR(op_erUMkNxUTh(10),op_tnyRA5sazQ(a,b)),op_MSsKXfycuQ(op_aBQ6xLxuTc(b,2),op_srAu1WTS94(a)))+op_count_qjjQIhOD5T(a)
    else:
        count = op_count_7KrIVfnUen(b)+op_count_zcfNHCZcQb(a,a)+op_count_jmRbPV3Y6D(op_7KrIVfnUen(b),op_zcfNHCZcQb(a,a))+op_count_VIrrXtd8hW(op_jmRbPV3Y6D(op_7KrIVfnUen(b),op_zcfNHCZcQb(a,a)))
    return count


a⨼⩴⩂ = { ((48↮a)⊻⨌⫵(a⇃⪼a)) , if (a⫌⋠⫢480)==229 and (a⪼⊁⫔)<629 ; ((a⩴⇩⩭a)⋕(568⩽⩡a)) , else }

def op_Pz3RIy3GCp(a):
    if op_mf9eRyN6Nh(a,480) == 229 and op_Kv8svu7dSe(a) < 629:
        return op_NOyIGfOOXL(op_ugTrrffvJh(48,a),op_KfHK9LWpY5(a,a))
    else:
        return op_ODihFFDUGL(op_ZlduNN376N(a,a),op_zFNL8mZEFB(568,a))

def op_count_Pz3RIy3GCp(a):
    if op_mf9eRyN6Nh(a,480) == 229 and op_Kv8svu7dSe(a) < 629:
        count = op_count_ugTrrffvJh(48,a)+op_count_KfHK9LWpY5(a,a)+op_count_NOyIGfOOXL(op_ugTrrffvJh(48,a),op_KfHK9LWpY5(a,a))+op_count_mf9eRyN6Nh(a,480)+op_count_Kv8svu7dSe(a)
    else:
        count = op_count_ZlduNN376N(a,a)+op_count_zFNL8mZEFB(568,a)+op_count_ODihFFDUGL(op_ZlduNN376N(a,a),op_zFNL8mZEFB(568,a))
    return count


a⩔↨≨ = { (a⫫∾a) , if (a∳)!=152 or (a∥⫅)>=23 ; (a≽↲≰a) , else }

def op_2WBYDl2qbe(a):
    if op_fGKC3BaeBC(a) != 152 or op_AvmDa90cdR(a) >= 23:
        return op_b3qeQyvZfP(a,a)
    else:
        return op_cFVlceoRkX(a,a)

def op_count_2WBYDl2qbe(a):
    if op_fGKC3BaeBC(a) != 152 or op_AvmDa90cdR(a) >= 23:
        count = op_count_b3qeQyvZfP(a,a)+op_count_fGKC3BaeBC(a)+op_count_AvmDa90cdR(a)
    else:
        count = op_count_cFVlceoRkX(a,a)
    return count


⫎⩄a = { (≀a) , if a<245 ; (a⫄⋒↱a) , else }

def op_GTucArsYU7(a):
    if a < 245:
        return op_6drNxD3LI2(a)
    else:
        return op_crtJ4cV1Co(a,a)

def op_count_GTucArsYU7(a):
    if a < 245:
        count = op_count_6drNxD3LI2(a)
    else:
        count = op_count_crtJ4cV1Co(a,a)
    return count


def op_yM1DlX2Cij(a):
    return op_STs8eSTo28(op_hkd0AjIQJB(a,767))

def op_count_yM1DlX2Cij(a):
    count = op_count_hkd0AjIQJB(a,767)+op_count_STs8eSTo28(op_hkd0AjIQJB(a,767))
    return count


def op_cnKzxr1wWw(a, b):
    return op_rHWsv9TdNf(op_9tKT6PmtkH(a),op_fisgo7y6Pu(b,b))

def op_count_cnKzxr1wWw(a, b):
    count = op_count_9tKT6PmtkH(a)+op_count_fisgo7y6Pu(b,b)+op_count_rHWsv9TdNf(op_9tKT6PmtkH(a),op_fisgo7y6Pu(b,b))
    return count


def op_OTZXfsN24E(a):
    return op_CgIo77xlM2(op_Fe3OlIgKHc(op_wleh0mrux3(a,822)))

def op_count_OTZXfsN24E(a):
    count = op_count_wleh0mrux3(a,822)+op_count_Fe3OlIgKHc(op_wleh0mrux3(a,822))+op_count_CgIo77xlM2(op_Fe3OlIgKHc(op_wleh0mrux3(a,822)))
    return count


def op_zE39I6mTOd(a):
    return op_7gUth6Rgvl(op_ANJ5yRPvn6(0,a),op_cHh1gJQ2o6(247,a))

def op_count_zE39I6mTOd(a):
    count = op_count_ANJ5yRPvn6(0,a)+op_count_cHh1gJQ2o6(247,a)+op_count_7gUth6Rgvl(op_ANJ5yRPvn6(0,a),op_cHh1gJQ2o6(247,a))
    return count


def op_O26jwKggyC(a, b):
    return op_1Btw2138KI(op_S4LUIutb1e(op_ftvcUWxNvV(a,b),54),op_ixc2Esl5RP(op_eclEAv0D6v(a)))

def op_count_O26jwKggyC(a, b):
    count = op_count_ftvcUWxNvV(a,b)+op_count_S4LUIutb1e(op_ftvcUWxNvV(a,b),54)+op_count_eclEAv0D6v(a)+op_count_ixc2Esl5RP(op_eclEAv0D6v(a))+op_count_1Btw2138KI(op_S4LUIutb1e(op_ftvcUWxNvV(a,b),54),op_ixc2Esl5RP(op_eclEAv0D6v(a)))
    return count


a⇩⇈⩍b = { (b≂⋴a) , if (b⪎⋯≎158)>83 ; (∨∊⋏a) , else }

def op_oIwnecHcIl(a, b):
    if op_InYySgip2F(b,158) > 83:
        return op_mb1liLwOKQ(b,a)
    else:
        return op_R5aXW34M0v(a)

def op_count_oIwnecHcIl(a, b):
    if op_InYySgip2F(b,158) > 83:
        count = op_count_mb1liLwOKQ(b,a)+op_count_InYySgip2F(b,158)
    else:
        count = op_count_R5aXW34M0v(a)
    return count


def op_mlE1hzIsqB(a):
    return op_pDi3HXNjDB(op_TXMyTytpMx(op_XhwjNDsVaA(a,a)),op_Qtd6bqUJcN(op_2u38eHdNB5(a,a)))

def op_count_mlE1hzIsqB(a):
    count = op_count_XhwjNDsVaA(a,a)+op_count_TXMyTytpMx(op_XhwjNDsVaA(a,a))+op_count_2u38eHdNB5(a,a)+op_count_Qtd6bqUJcN(op_2u38eHdNB5(a,a))+op_count_pDi3HXNjDB(op_TXMyTytpMx(op_XhwjNDsVaA(a,a)),op_Qtd6bqUJcN(op_2u38eHdNB5(a,a)))
    return count


def op_zw8pvIViHv(a):
    return op_eLxqMNBOBk(op_PHNdOSUEPW(a,a))

def op_count_zw8pvIViHv(a):
    count = op_count_PHNdOSUEPW(a,a)+op_count_eLxqMNBOBk(op_PHNdOSUEPW(a,a))
    return count


a⋤∤⪿ = { ((a⋡≤⩀a)⪧⩚↞) , if (a∙⨵937)==2 ; a , else }

def op_ScADa78W9l(a):
    if op_reVGrTqfuh(a,937) == 2:
        return op_iCFmNpcOux(op_Mth4PhTnAe(a,a))
    else:
        return a

def op_count_ScADa78W9l(a):
    if op_reVGrTqfuh(a,937) == 2:
        count = op_count_Mth4PhTnAe(a,a)+op_count_iCFmNpcOux(op_Mth4PhTnAe(a,a))+op_count_reVGrTqfuh(a,937)
    else:
        count = 1
    return count


⊢⋚a = { (a⫢⨠a) , if (a⇬⩪)>=167 ; (a⇻⫪⇃a) , else }

def op_mImJIA1bCd(a):
    if op_TwHE9cUr4h(a) >= 167:
        return op_xlXykHWxX1(a,a)
    else:
        return op_NvXf9kO3wV(a,a)

def op_count_mImJIA1bCd(a):
    if op_TwHE9cUr4h(a) >= 167:
        count = op_count_xlXykHWxX1(a,a)+op_count_TwHE9cUr4h(a)
    else:
        count = op_count_NvXf9kO3wV(a,a)
    return count


def op_Kztwr9tJkF(a):
    return op_ZlduNN376N(a,op_xf6eqZIrT0(op_CY7sw4XNp1(a,a),op_8HhzD0ZcuI(a,a)))

def op_count_Kztwr9tJkF(a):
    count = op_count_CY7sw4XNp1(a,a)+op_count_8HhzD0ZcuI(a,a)+op_count_xf6eqZIrT0(op_CY7sw4XNp1(a,a),op_8HhzD0ZcuI(a,a))+op_count_ZlduNN376N(a,op_xf6eqZIrT0(op_CY7sw4XNp1(a,a),op_8HhzD0ZcuI(a,a)))
    return count


a⇉⪌⊶b = { ((627⪔≩⫊a)⋲∁(a⊊⊦a)) , if (b⩧⊭⋽)>12 ; ((⨖⋝⩣b)⨇⩊↔(⇏⫅719)) , else }

def op_7sDzKfGRLI(a, b):
    if op_O79S74KhN8(b) > 12:
        return op_64iDxRhgYJ(op_KG0EK6K0uq(627,a),op_e3R0INlQmt(a,a))
    else:
        return op_RR9T5AuQ1T(op_JRqKiIdTS7(b),op_p1y54au9R0(719))

def op_count_7sDzKfGRLI(a, b):
    if op_O79S74KhN8(b) > 12:
        count = op_count_KG0EK6K0uq(627,a)+op_count_e3R0INlQmt(a,a)+op_count_64iDxRhgYJ(op_KG0EK6K0uq(627,a),op_e3R0INlQmt(a,a))+op_count_O79S74KhN8(b)
    else:
        count = op_count_JRqKiIdTS7(b)+op_count_p1y54au9R0(719)+op_count_RR9T5AuQ1T(op_JRqKiIdTS7(b),op_p1y54au9R0(719))
    return count


def op_wTpLLema1J(a, b):
    return op_OimsOu7twr(op_oacrs7FA3X(op_Qqj2GTyBuk(a,a),op_AUjZzCncoP(b,a)))

def op_count_wTpLLema1J(a, b):
    count = op_count_Qqj2GTyBuk(a,a)+op_count_AUjZzCncoP(b,a)+op_count_oacrs7FA3X(op_Qqj2GTyBuk(a,a),op_AUjZzCncoP(b,a))+op_count_OimsOu7twr(op_oacrs7FA3X(op_Qqj2GTyBuk(a,a),op_AUjZzCncoP(b,a)))
    return count


a⊠≟⪪b = { ((⨁(b⪣⊴a))⨖((↪a)⫳≱↱(b⨨⪣⩋b))) }

def op_q4LVXwwkPb(a, b):
    return op_73CxnrUli8(op_gImejOImwh(op_miu0bRYLYP(b,a)),op_ZvLB05nZmT(op_KFvx0uYMJh(a),op_tmNq1QR2aX(b,b)))

def op_count_q4LVXwwkPb(a, b):
    count = op_count_miu0bRYLYP(b,a)+op_count_gImejOImwh(op_miu0bRYLYP(b,a))+op_count_KFvx0uYMJh(a)+op_count_tmNq1QR2aX(b,b)+op_count_ZvLB05nZmT(op_KFvx0uYMJh(a),op_tmNq1QR2aX(b,b))+op_count_73CxnrUli8(op_gImejOImwh(op_miu0bRYLYP(b,a)),op_ZvLB05nZmT(op_KFvx0uYMJh(a),op_tmNq1QR2aX(b,b)))
    return count


a⨩↫⊅b = { (⩷⨜⫀b) , if (⩸a)!=134 ; (525⪖⩯a) , else }

def op_GDcUPEC1pm(a, b):
    if op_ImZOYqi0FL(a) != 134:
        return op_CDi0ktkjQ4(b)
    else:
        return op_ruocl2TjRv(525,a)

def op_count_GDcUPEC1pm(a, b):
    if op_ImZOYqi0FL(a) != 134:
        count = op_count_CDi0ktkjQ4(b)+op_count_ImZOYqi0FL(a)
    else:
        count = op_count_ruocl2TjRv(525,a)
    return count


def op_xiv5thGhFm(a):
    return op_iXQfhhNwXF(op_U5ZKo8DQUb(a,op_YBjRNIjNLy(a,a)))

def op_count_xiv5thGhFm(a):
    count = op_count_YBjRNIjNLy(a,a)+op_count_U5ZKo8DQUb(a,op_YBjRNIjNLy(a,a))+op_count_iXQfhhNwXF(op_U5ZKo8DQUb(a,op_YBjRNIjNLy(a,a)))
    return count


a⨑⊗⫰ = { ((a⊠⋬↑a)⋊⪄⋢(a⨾⪹⩗26)) , if (⊕a)>=127 ; a , else }

def op_qDDYdmwXik(a):
    if op_C2eOkFrmjf(a) >= 127:
        return op_87HMmqlxet(op_W7L2oCKInH(a,a),op_EnxiqAYg5D(a,26))
    else:
        return a

def op_count_qDDYdmwXik(a):
    if op_C2eOkFrmjf(a) >= 127:
        count = op_count_W7L2oCKInH(a,a)+op_count_EnxiqAYg5D(a,26)+op_count_87HMmqlxet(op_W7L2oCKInH(a,a),op_EnxiqAYg5D(a,26))+op_count_C2eOkFrmjf(a)
    else:
        count = 1
    return count


a⩍⋔∮b = { ((a⨬⊟60)⫮a) , if (⩑⋳b)<=238 ; ((↖∇⇑b)⋴≽⪿(↘a)) , else }

def op_sm9LEE0iOp(a, b):
    if op_rJxzQv3Kn1(b) <= 238:
        return op_vwdxqpDU32(op_hv7txCVeHj(a,60),a)
    else:
        return op_vpjiMvlQnK(op_th50nGnoUm(b),op_LdNpr8hQHL(a))

def op_count_sm9LEE0iOp(a, b):
    if op_rJxzQv3Kn1(b) <= 238:
        count = op_count_hv7txCVeHj(a,60)+op_count_vwdxqpDU32(op_hv7txCVeHj(a,60),a)+op_count_rJxzQv3Kn1(b)
    else:
        count = op_count_th50nGnoUm(b)+op_count_LdNpr8hQHL(a)+op_count_vpjiMvlQnK(op_th50nGnoUm(b),op_LdNpr8hQHL(a))
    return count


def op_yNfqZS1mXN(a):
    return op_otmuWEGPTu(op_qL4PrbW1Dq(179),op_BEh4QBmAc4(a,op_sM9mzqIDB1(a,a)))

def op_count_yNfqZS1mXN(a):
    count = op_count_qL4PrbW1Dq(179)+op_count_sM9mzqIDB1(a,a)+op_count_BEh4QBmAc4(a,op_sM9mzqIDB1(a,a))+op_count_otmuWEGPTu(op_qL4PrbW1Dq(179),op_BEh4QBmAc4(a,op_sM9mzqIDB1(a,a)))
    return count


a∅⨓⊺b = { (((b≵⩾⇗a)⪝⨱⫷)⪟((a⨭⪣b)⪵→(↢≼a))) }

def op_Y6eJsjawIR(a, b):
    return op_tqmm8txHHJ(op_UgJUmNBkC4(op_GyJNigkHRe(b,a)),op_7KGj3ybMWB(op_kn8WO9XteQ(a,b),op_kZ7xiQQXYt(a)))

def op_count_Y6eJsjawIR(a, b):
    count = op_count_GyJNigkHRe(b,a)+op_count_UgJUmNBkC4(op_GyJNigkHRe(b,a))+op_count_kn8WO9XteQ(a,b)+op_count_kZ7xiQQXYt(a)+op_count_7KGj3ybMWB(op_kn8WO9XteQ(a,b),op_kZ7xiQQXYt(a))+op_count_tqmm8txHHJ(op_UgJUmNBkC4(op_GyJNigkHRe(b,a)),op_7KGj3ybMWB(op_kn8WO9XteQ(a,b),op_kZ7xiQQXYt(a)))
    return count


def op_Buiy6kS2F7(a):
    return op_AiZuih6wUj(op_TrDKUjqfgw(op_m1wQXNbXkg(a,a),op_vrPnkOnn0X(a,572)),op_sGKMNvIg50(op_46b43un9S1(257,66),op_hTbEZDJLEm(a)))

def op_count_Buiy6kS2F7(a):
    count = op_count_m1wQXNbXkg(a,a)+op_count_vrPnkOnn0X(a,572)+op_count_TrDKUjqfgw(op_m1wQXNbXkg(a,a),op_vrPnkOnn0X(a,572))+op_count_46b43un9S1(257,66)+op_count_hTbEZDJLEm(a)+op_count_sGKMNvIg50(op_46b43un9S1(257,66),op_hTbEZDJLEm(a))+op_count_AiZuih6wUj(op_TrDKUjqfgw(op_m1wQXNbXkg(a,a),op_vrPnkOnn0X(a,572)),op_sGKMNvIg50(op_46b43un9S1(257,66),op_hTbEZDJLEm(a)))
    return count


a⋛⇤b = { (a⪘⨀) , if (b⪺≿195)>35 ; (b⨜⨶b) , else }

def op_rG3WRp3Ucw(a, b):
    if op_dj54johvPQ(b,195) > 35:
        return op_aA7tF3KVD3(a)
    else:
        return op_HiPekx5b7W(b,b)

def op_count_rG3WRp3Ucw(a, b):
    if op_dj54johvPQ(b,195) > 35:
        count = op_count_aA7tF3KVD3(a)+op_count_dj54johvPQ(b,195)
    else:
        count = op_count_HiPekx5b7W(b,b)
    return count


def op_mSGDPLRF1c(a):
    return op_sQFXMycfVt(op_yD5rMtMDT4(op_9rNHCbYvka(a,a)),op_7p6YLioM7f(221))

def op_count_mSGDPLRF1c(a):
    count = op_count_9rNHCbYvka(a,a)+op_count_yD5rMtMDT4(op_9rNHCbYvka(a,a))+op_count_7p6YLioM7f(221)+op_count_sQFXMycfVt(op_yD5rMtMDT4(op_9rNHCbYvka(a,a)),op_7p6YLioM7f(221))
    return count


def op_tEbtdWJvXQ(a):
    return op_GkvCUnJJBn(op_FTL9XYvdA1(op_lP51NIPzK8(a),a),op_ktfEB5Ypfm(op_M1AAiXtbt9(a,a),op_xRBuNLHaeO(152,894)))

def op_count_tEbtdWJvXQ(a):
    count = op_count_lP51NIPzK8(a)+op_count_FTL9XYvdA1(op_lP51NIPzK8(a),a)+op_count_M1AAiXtbt9(a,a)+op_count_xRBuNLHaeO(152,894)+op_count_ktfEB5Ypfm(op_M1AAiXtbt9(a,a),op_xRBuNLHaeO(152,894))+op_count_GkvCUnJJBn(op_FTL9XYvdA1(op_lP51NIPzK8(a),a),op_ktfEB5Ypfm(op_M1AAiXtbt9(a,a),op_xRBuNLHaeO(152,894)))
    return count


↑⪩⪝a = { (⇨((a⋣∝)∁⩀⇵(a⫣≾⊺213))) , if (a⫦≼⩴)>=56 ; a , else }

def op_N7lmHkEKsR(a):
    if op_sgEubufFhX(a) >= 56:
        return op_G9tJMlZ94a(op_IT3TbjFqSq(op_KJXVwbnpr8(a),op_LXAvwK8YDe(a,213)))
    else:
        return a

def op_count_N7lmHkEKsR(a):
    if op_sgEubufFhX(a) >= 56:
        count = op_count_KJXVwbnpr8(a)+op_count_LXAvwK8YDe(a,213)+op_count_IT3TbjFqSq(op_KJXVwbnpr8(a),op_LXAvwK8YDe(a,213))+op_count_G9tJMlZ94a(op_IT3TbjFqSq(op_KJXVwbnpr8(a),op_LXAvwK8YDe(a,213)))+op_count_sgEubufFhX(a)
    else:
        count = 1
    return count


def op_DIFeRzIvat(a):
    return op_k8jYdgA6NY(4,a)

def op_count_DIFeRzIvat(a):
    count = op_count_k8jYdgA6NY(4,a)
    return count


a⫘↶⇸ = { (((a⨳a)⫑)⪎⪖((a∪⊒a)⫕∜(402⪼a))) }

def op_3WwpmfDYGc(a):
    return op_CLzOjURgVu(op_CgIo77xlM2(op_YaB1w09lmH(a,a)),op_LFtbApO071(op_wd3DeAcC9f(a,a),op_enyv3EGcQ1(402,a)))

def op_count_3WwpmfDYGc(a):
    count = op_count_YaB1w09lmH(a,a)+op_count_CgIo77xlM2(op_YaB1w09lmH(a,a))+op_count_wd3DeAcC9f(a,a)+op_count_enyv3EGcQ1(402,a)+op_count_LFtbApO071(op_wd3DeAcC9f(a,a),op_enyv3EGcQ1(402,a))+op_count_CLzOjURgVu(op_CgIo77xlM2(op_YaB1w09lmH(a,a)),op_LFtbApO071(op_wd3DeAcC9f(a,a),op_enyv3EGcQ1(402,a)))
    return count


a⫽⨪⋛b = { (a⊵⩛∤b) , if (a≣⩏)<=18 ; (b⋦≾b) , else }

def op_dzSbfUHVt4(a, b):
    if op_M8z55lnF0U(a) <= 18:
        return op_36V2MidH9c(a,b)
    else:
        return op_sGKMNvIg50(b,b)

def op_count_dzSbfUHVt4(a, b):
    if op_M8z55lnF0U(a) <= 18:
        count = op_count_36V2MidH9c(a,b)+op_count_M8z55lnF0U(a)
    else:
        count = op_count_sGKMNvIg50(b,b)
    return count


def op_Zhf3NR5AEe(a):
    return op_IcvWD20DOo(op_Dk5vyLCiGd(a))

def op_count_Zhf3NR5AEe(a):
    count = op_count_Dk5vyLCiGd(a)+op_count_IcvWD20DOo(op_Dk5vyLCiGd(a))
    return count


a−⫷ = { ((a⋷⨍a)⊕⫺(⨆≐≲a)) , if (a⪁⇡⨫)>224 ; ((a⫾a)⊘) , else }

def op_LbHO6W34Qe(a):
    if op_5brc6wQHzR(a) > 224:
        return op_H6S8IR817C(op_43pnEt37KX(a,a),op_Bi9z9uYZqW(a))
    else:
        return op_gu96TGCTMs(op_7JbuLsbBtx(a,a))

def op_count_LbHO6W34Qe(a):
    if op_5brc6wQHzR(a) > 224:
        count = op_count_43pnEt37KX(a,a)+op_count_Bi9z9uYZqW(a)+op_count_H6S8IR817C(op_43pnEt37KX(a,a),op_Bi9z9uYZqW(a))+op_count_5brc6wQHzR(a)
    else:
        count = op_count_7JbuLsbBtx(a,a)+op_count_gu96TGCTMs(op_7JbuLsbBtx(a,a))
    return count


def op_P2d8BJNsvr(a):
    return op_0VM5IIwWHX(op_VionArRWsA(op_kHoXpA7yos(a),op_IkBJshDHtt(a)))

def op_count_P2d8BJNsvr(a):
    count = op_count_kHoXpA7yos(a)+op_count_IkBJshDHtt(a)+op_count_VionArRWsA(op_kHoXpA7yos(a),op_IkBJshDHtt(a))+op_count_0VM5IIwWHX(op_VionArRWsA(op_kHoXpA7yos(a),op_IkBJshDHtt(a)))
    return count


def op_60FhV4dE5s(a, b):
    return op_1Scw8a5e7g(op_y1eBRRC36c(op_KJGMR4YWSg(17,b),471),op_F4yD0voBRQ(op_mg7BfXbOdF(379),op_ripkVfTXh6(a)))

def op_count_60FhV4dE5s(a, b):
    count = op_count_KJGMR4YWSg(17,b)+op_count_y1eBRRC36c(op_KJGMR4YWSg(17,b),471)+op_count_mg7BfXbOdF(379)+op_count_ripkVfTXh6(a)+op_count_F4yD0voBRQ(op_mg7BfXbOdF(379),op_ripkVfTXh6(a))+op_count_1Scw8a5e7g(op_y1eBRRC36c(op_KJGMR4YWSg(17,b),471),op_F4yD0voBRQ(op_mg7BfXbOdF(379),op_ripkVfTXh6(a)))
    return count


a≶⋎b = { (((⇙a)⨒↵(385⇯⋡a))⪄⪘⪾((265⩮≏⫤a)⇦↡⇅(b⫰⋱b))) }

def op_KKQjbbJ9ie(a, b):
    return op_zO06vmwOEI(op_4F2d8NdGA5(op_hJ1EP0XKuB(a),op_iQT509CoFi(385,a)),op_Metdo7PNA5(op_fRd8cuFkMc(265,a),op_6o9Blt3TJ6(b,b)))

def op_count_KKQjbbJ9ie(a, b):
    count = op_count_hJ1EP0XKuB(a)+op_count_iQT509CoFi(385,a)+op_count_4F2d8NdGA5(op_hJ1EP0XKuB(a),op_iQT509CoFi(385,a))+op_count_fRd8cuFkMc(265,a)+op_count_6o9Blt3TJ6(b,b)+op_count_Metdo7PNA5(op_fRd8cuFkMc(265,a),op_6o9Blt3TJ6(b,b))+op_count_zO06vmwOEI(op_4F2d8NdGA5(op_hJ1EP0XKuB(a),op_iQT509CoFi(385,a)),op_Metdo7PNA5(op_fRd8cuFkMc(265,a),op_6o9Blt3TJ6(b,b)))
    return count


def op_K22rD7vRpP(a, b):
    if op_TQtCT2lTQ7(b,527) != 167:
        return op_bTLp93UMFE(op_gBVRdjwhPO(op_TyK7VG2XGl(b),op_P0o8L8MpVP(b,b)))
    else:
        return op_4ZyE98Jico(op_Qsw9fW7fQc(op_JKhKCqropJ(a,a),op_ccHmK6PBIn(32)),op_3ItdBm7YsJ(op_2Bhe5MV7ya(b,51)))

def op_count_K22rD7vRpP(a, b):
    if op_TQtCT2lTQ7(b,527) != 167:
        count = op_count_TyK7VG2XGl(b)+op_count_P0o8L8MpVP(b,b)+op_count_gBVRdjwhPO(op_TyK7VG2XGl(b),op_P0o8L8MpVP(b,b))+op_count_bTLp93UMFE(op_gBVRdjwhPO(op_TyK7VG2XGl(b),op_P0o8L8MpVP(b,b)))+op_count_TQtCT2lTQ7(b,527)
    else:
        count = op_count_JKhKCqropJ(a,a)+op_count_ccHmK6PBIn(32)+op_count_Qsw9fW7fQc(op_JKhKCqropJ(a,a),op_ccHmK6PBIn(32))+op_count_2Bhe5MV7ya(b,51)+op_count_3ItdBm7YsJ(op_2Bhe5MV7ya(b,51))+op_count_4ZyE98Jico(op_Qsw9fW7fQc(op_JKhKCqropJ(a,a),op_ccHmK6PBIn(32)),op_3ItdBm7YsJ(op_2Bhe5MV7ya(b,51)))
    return count


def op_dbdAhqSh71(a, b):
    return op_vg4gO5BX6G(op_FI4i5otY41(op_X99M06cbEe(302),op_Gf27X6JpjG(a,b)),op_LXAvwK8YDe(op_rrtb4JrnCR(b),op_MscnI5MLJ2(143,b)))

def op_count_dbdAhqSh71(a, b):
    count = op_count_X99M06cbEe(302)+op_count_Gf27X6JpjG(a,b)+op_count_FI4i5otY41(op_X99M06cbEe(302),op_Gf27X6JpjG(a,b))+op_count_rrtb4JrnCR(b)+op_count_MscnI5MLJ2(143,b)+op_count_LXAvwK8YDe(op_rrtb4JrnCR(b),op_MscnI5MLJ2(143,b))+op_count_vg4gO5BX6G(op_FI4i5otY41(op_X99M06cbEe(302),op_Gf27X6JpjG(a,b)),op_LXAvwK8YDe(op_rrtb4JrnCR(b),op_MscnI5MLJ2(143,b)))
    return count


def op_INF310Qlrg(a):
    return op_0QEWQRhRpH(120,a)

def op_count_INF310Qlrg(a):
    count = op_count_0QEWQRhRpH(120,a)
    return count


a≿⋟b = { ((a⫽⇹≛)⇓∧≤(↵⨻b)) , if (b>=98 and (⨗b)==93 and (⊶b)<=78) ; ((552≅a)↝≞≭(a⪁⇊⋡b)) , else }

def op_m3dsOCKiQC(a, b):
    if (b >= 98 and op_OzkgYwrgK1(b) == 93 and op_iLDmr1kYEU(b) <= 78):
        return op_CPJod9CRaD(op_NNaDxxp6OQ(a),op_Olv81LO2u6(b))
    else:
        return op_qmoX8GR648(op_aFodGWjv1K(552,a),op_v7DKjtCdMf(a,b))

def op_count_m3dsOCKiQC(a, b):
    if (b >= 98 and op_OzkgYwrgK1(b) == 93 and op_iLDmr1kYEU(b) <= 78):
        count = op_count_NNaDxxp6OQ(a)+op_count_Olv81LO2u6(b)+op_count_CPJod9CRaD(op_NNaDxxp6OQ(a),op_Olv81LO2u6(b))+op_count_OzkgYwrgK1(b)+op_count_iLDmr1kYEU(b)
    else:
        count = op_count_aFodGWjv1K(552,a)+op_count_v7DKjtCdMf(a,b)+op_count_qmoX8GR648(op_aFodGWjv1K(552,a),op_v7DKjtCdMf(a,b))
    return count


a∌⇬⊃b = { 669 , if (⇜≂≑a)>6 ; ((a≏⩑a)↑⊤↶(b⇂≾⫗b)) , else }

def op_dzg9arMPh9(a, b):
    if op_RFg3ArkQ7E(a) > 6:
        return 669
    else:
        return op_Gbv0iUO2Lv(op_LMA9dqLka3(a,a),op_aBQ6xLxuTc(b,b))

def op_count_dzg9arMPh9(a, b):
    if op_RFg3ArkQ7E(a) > 6:
        count = op_count_RFg3ArkQ7E(a)
    else:
        count = op_count_LMA9dqLka3(a,a)+op_count_aBQ6xLxuTc(b,b)+op_count_Gbv0iUO2Lv(op_LMA9dqLka3(a,a),op_aBQ6xLxuTc(b,b))
    return count


def op_2VYn6VoOcH(a):
    return op_cHh1gJQ2o6(a,a)

def op_count_2VYn6VoOcH(a):
    count = op_count_cHh1gJQ2o6(a,a)
    return count