⨴⋒a = { ((a⩃⫏a)⋸≝⫓(a⪹⫧⇽)) , if a>=130 ; ((a≋∎⨥)⪌⨞(a≧↧↪a)) , else }

def op_5K0FZ0cijL(a):
    if a >= 130:
        return op_QY0RZ2ConY(op_96sgIAAApN(a,a),op_RUvFhAOGfE(a))
    else:
        return op_pdOSkNoazV(op_XMZvmSbbb8(a),op_bnaEnLVdkS(a,a))

def op_count_5K0FZ0cijL(a):
    if a >= 130:
        count = op_count_96sgIAAApN(a,a)+op_count_RUvFhAOGfE(a)+op_count_QY0RZ2ConY(op_96sgIAAApN(a,a),op_RUvFhAOGfE(a))
    else:
        count = op_count_XMZvmSbbb8(a)+op_count_bnaEnLVdkS(a,a)+op_count_pdOSkNoazV(op_XMZvmSbbb8(a),op_bnaEnLVdkS(a,a))
    return count


def op_PKO3wrzJ5l(a, b):
    if op_HY4jiOqclA(a,139) > 477:
        return op_8aV2jGlZem(b,op_WrOUkiTiko(op_JyLijAdH7y(200,b),op_kYEX8TTQiv(a,b)))
    else:
        return op_2muwgCqbmH(op_2r0jC1lZao(op_HWPVJOF0FO(a,b),op_rfhpjrEH1F(a,a)),op_iA2gmKZ3Wj(op_ReAzrgtvfu(503,12)))

def op_count_PKO3wrzJ5l(a, b):
    if op_HY4jiOqclA(a,139) > 477:
        count = op_count_JyLijAdH7y(200,b)+op_count_kYEX8TTQiv(a,b)+op_count_WrOUkiTiko(op_JyLijAdH7y(200,b),op_kYEX8TTQiv(a,b))+op_count_8aV2jGlZem(b,op_WrOUkiTiko(op_JyLijAdH7y(200,b),op_kYEX8TTQiv(a,b)))+op_count_HY4jiOqclA(a,139)
    else:
        count = op_count_HWPVJOF0FO(a,b)+op_count_rfhpjrEH1F(a,a)+op_count_2r0jC1lZao(op_HWPVJOF0FO(a,b),op_rfhpjrEH1F(a,a))+op_count_ReAzrgtvfu(503,12)+op_count_iA2gmKZ3Wj(op_ReAzrgtvfu(503,12))+op_count_2muwgCqbmH(op_2r0jC1lZao(op_HWPVJOF0FO(a,b),op_rfhpjrEH1F(a,a)),op_iA2gmKZ3Wj(op_ReAzrgtvfu(503,12)))
    return count


def op_Wg8Td3V4Jl(a, b):
    return op_U4ylXWHChL(op_fjtdNEKGtt(b,a))

def op_count_Wg8Td3V4Jl(a, b):
    count = op_count_fjtdNEKGtt(b,a)+op_count_U4ylXWHChL(op_fjtdNEKGtt(b,a))
    return count


def op_w6GhqmB5yQ(a, b):
    if op_JeqbPMBChU(b,631) == 461:
        return op_LCIWZYeeIg(b,op_0uv4xNrpnl(op_NkElgCjZ6e(b),op_odJCG207LD(a,16)))
    else:
        return op_QBXDJ7vvjN(op_5SK3UOPDfl(op_NCK8ztm4vY(235,b),op_AWSeafXRiV(a)),op_0wt1I76pQR(op_nFAOW8KTqp(a),op_FJ3oXK3UQ0(a,a)))

def op_count_w6GhqmB5yQ(a, b):
    if op_JeqbPMBChU(b,631) == 461:
        count = op_count_NkElgCjZ6e(b)+op_count_odJCG207LD(a,16)+op_count_0uv4xNrpnl(op_NkElgCjZ6e(b),op_odJCG207LD(a,16))+op_count_LCIWZYeeIg(b,op_0uv4xNrpnl(op_NkElgCjZ6e(b),op_odJCG207LD(a,16)))+op_count_JeqbPMBChU(b,631)
    else:
        count = op_count_NCK8ztm4vY(235,b)+op_count_AWSeafXRiV(a)+op_count_5SK3UOPDfl(op_NCK8ztm4vY(235,b),op_AWSeafXRiV(a))+op_count_nFAOW8KTqp(a)+op_count_FJ3oXK3UQ0(a,a)+op_count_0wt1I76pQR(op_nFAOW8KTqp(a),op_FJ3oXK3UQ0(a,a))+op_count_QBXDJ7vvjN(op_5SK3UOPDfl(op_NCK8ztm4vY(235,b),op_AWSeafXRiV(a)),op_0wt1I76pQR(op_nFAOW8KTqp(a),op_FJ3oXK3UQ0(a,a)))
    return count


a≺⊁⋃b = { (((a∢a)⫨↝(a⪁⇊⋡465))⨤(a∲⫓(b↝⩡b))) , if (b⋻689)<272 ; (((b⩏)≘⨍⩢154)⨌(b⋃∰(b⩵⩤⋘))) , else }

def op_oxHsYMqCma(a, b):
    if op_Z6qvuIbiDz(b,689) < 272:
        return op_6Dk38mmJ69(op_LvaFuPukL6(op_FSasnAb2iR(a,a),op_v7DKjtCdMf(a,465)),op_i8ToyICDmI(a,op_JjBRwFuOb8(b,b)))
    else:
        return op_YdvuPOw6Zp(op_y1Bs0Kwqk0(op_iA2gmKZ3Wj(b),154),op_yqthOfQm3e(b,op_bGH9BQXhMM(b)))

def op_count_oxHsYMqCma(a, b):
    if op_Z6qvuIbiDz(b,689) < 272:
        count = op_count_FSasnAb2iR(a,a)+op_count_v7DKjtCdMf(a,465)+op_count_LvaFuPukL6(op_FSasnAb2iR(a,a),op_v7DKjtCdMf(a,465))+op_count_JjBRwFuOb8(b,b)+op_count_i8ToyICDmI(a,op_JjBRwFuOb8(b,b))+op_count_6Dk38mmJ69(op_LvaFuPukL6(op_FSasnAb2iR(a,a),op_v7DKjtCdMf(a,465)),op_i8ToyICDmI(a,op_JjBRwFuOb8(b,b)))+op_count_Z6qvuIbiDz(b,689)
    else:
        count = op_count_iA2gmKZ3Wj(b)+op_count_y1Bs0Kwqk0(op_iA2gmKZ3Wj(b),154)+op_count_bGH9BQXhMM(b)+op_count_yqthOfQm3e(b,op_bGH9BQXhMM(b))+op_count_YdvuPOw6Zp(op_y1Bs0Kwqk0(op_iA2gmKZ3Wj(b),154),op_yqthOfQm3e(b,op_bGH9BQXhMM(b)))
    return count


∘⪤⨱a = { (((a⊾⪯⋞a)↫∤(a⪌⊯⪟a))⊺⪚↾((⩴231)≆⇐(52⋇⋤⩬a))) , if (a∛−⋨)==43 ; (⪛⨧((32⨕⊄⇛a)⩑≃≶(a⨘))) , else }

def op_2qErdGqAEf(a):
    if op_XpS6QLdTG8(a) == 43:
        return op_wFGzIcZ3iX(op_jZZVGDEJeM(op_HK0tfVPux8(a,a),op_ME4t0VB7iZ(a,a)),op_UZb5oF9J8A(op_4YvEnb44Dc(231),op_XRKDgMSJta(52,a)))
    else:
        return op_6NJAcO2OWT(op_4JQ65aDwPJ(op_Sk2xeHjcVZ(32,a),op_ljcfZBUpm8(a)))

def op_count_2qErdGqAEf(a):
    if op_XpS6QLdTG8(a) == 43:
        count = op_count_HK0tfVPux8(a,a)+op_count_ME4t0VB7iZ(a,a)+op_count_jZZVGDEJeM(op_HK0tfVPux8(a,a),op_ME4t0VB7iZ(a,a))+op_count_4YvEnb44Dc(231)+op_count_XRKDgMSJta(52,a)+op_count_UZb5oF9J8A(op_4YvEnb44Dc(231),op_XRKDgMSJta(52,a))+op_count_wFGzIcZ3iX(op_jZZVGDEJeM(op_HK0tfVPux8(a,a),op_ME4t0VB7iZ(a,a)),op_UZb5oF9J8A(op_4YvEnb44Dc(231),op_XRKDgMSJta(52,a)))+op_count_XpS6QLdTG8(a)
    else:
        count = op_count_Sk2xeHjcVZ(32,a)+op_count_ljcfZBUpm8(a)+op_count_4JQ65aDwPJ(op_Sk2xeHjcVZ(32,a),op_ljcfZBUpm8(a))+op_count_6NJAcO2OWT(op_4JQ65aDwPJ(op_Sk2xeHjcVZ(32,a),op_ljcfZBUpm8(a)))
    return count


def op_brNcoZndvY(a, b):
    return op_X6BafHHPZ5(op_3tj9sqzovi(op_KiBGhu83fR(a,b)))

def op_count_brNcoZndvY(a, b):
    count = op_count_KiBGhu83fR(a,b)+op_count_3tj9sqzovi(op_KiBGhu83fR(a,b))+op_count_X6BafHHPZ5(op_3tj9sqzovi(op_KiBGhu83fR(a,b)))
    return count


def op_J0VseUydwZ(a):
    return op_8TJv5LDobx(op_dcShxvzhyw(a),op_QmNHwIPJpO(a,a))

def op_count_J0VseUydwZ(a):
    count = op_count_dcShxvzhyw(a)+op_count_QmNHwIPJpO(a,a)+op_count_8TJv5LDobx(op_dcShxvzhyw(a),op_QmNHwIPJpO(a,a))
    return count


def op_xwio6vWodV(a, b):
    return op_7sDzKfGRLI(op_BLLGLRFJVt(a),op_t9XVKdP1fe(b,72))

def op_count_xwio6vWodV(a, b):
    count = op_count_BLLGLRFJVt(a)+op_count_t9XVKdP1fe(b,72)+op_count_7sDzKfGRLI(op_BLLGLRFJVt(a),op_t9XVKdP1fe(b,72))
    return count


⩴⪋a = { (∡⪼⋰((a⇸∖⋇)⊩⋖(a⋆⫊561))) , if (a⩫⋌⩴)<=26 ; (⩦∰⩭((a⋚↵⨭a)∰(a∳⫺a))) , else }

def op_SJTFuMczy5(a):
    if op_ZEiArkg7ih(a) <= 26:
        return op_EcwCPJrLUB(op_foUTwTo3sQ(op_3HGl1MDrAU(a),op_yR0nB6c4Cl(a,561)))
    else:
        return op_mKn7Wvar9h(op_PmR7WuS4AT(op_EhNdXCgA70(a,a),op_AzXXKTstlj(a,a)))

def op_count_SJTFuMczy5(a):
    if op_ZEiArkg7ih(a) <= 26:
        count = op_count_3HGl1MDrAU(a)+op_count_yR0nB6c4Cl(a,561)+op_count_foUTwTo3sQ(op_3HGl1MDrAU(a),op_yR0nB6c4Cl(a,561))+op_count_EcwCPJrLUB(op_foUTwTo3sQ(op_3HGl1MDrAU(a),op_yR0nB6c4Cl(a,561)))+op_count_ZEiArkg7ih(a)
    else:
        count = op_count_EhNdXCgA70(a,a)+op_count_AzXXKTstlj(a,a)+op_count_PmR7WuS4AT(op_EhNdXCgA70(a,a),op_AzXXKTstlj(a,a))+op_count_mKn7Wvar9h(op_PmR7WuS4AT(op_EhNdXCgA70(a,a),op_AzXXKTstlj(a,a)))
    return count


a⫷∉ = { (a⊴⇁⪶) , if (a⩎⫍⋯)!=93 and (a⫡⩫⨩)<2 and (a⨬⊟759)<339 ; (a⪿a) , else }

def op_zJtCJ19A2J(a):
    if op_Uvzk2f6EIK(a) != 93 and op_VxsFyqworP(a) < 2 and op_hv7txCVeHj(a,759) < 339:
        return op_oo9mF6JIpo(a)
    else:
        return op_lLg6KFppdz(a,a)

def op_count_zJtCJ19A2J(a):
    if op_Uvzk2f6EIK(a) != 93 and op_VxsFyqworP(a) < 2 and op_hv7txCVeHj(a,759) < 339:
        count = op_count_oo9mF6JIpo(a)+op_count_Uvzk2f6EIK(a)+op_count_VxsFyqworP(a)+op_count_hv7txCVeHj(a,759)
    else:
        count = op_count_lLg6KFppdz(a,a)
    return count


def op_4YeRG329uO(a):
    if op_Jd6bdEZZlR(a) > 355:
        return op_afEXiduIZz(153)
    else:
        return op_VX9aY244yz(a,a)

def op_count_4YeRG329uO(a):
    if op_Jd6bdEZZlR(a) > 355:
        count = op_count_afEXiduIZz(153)+op_count_Jd6bdEZZlR(a)
    else:
        count = op_count_VX9aY244yz(a,a)
    return count


⋋∢a = { (⋦↙⩸a) , if (a⪈⇉842)!=447 ; (a⫺⊿↻a) , else }

def op_le0KKWfATr(a):
    if op_YjTveF0rk5(a,842) != 447:
        return op_P78JJ8jX64(a)
    else:
        return op_02xnuIEL7W(a,a)

def op_count_le0KKWfATr(a):
    if op_YjTveF0rk5(a,842) != 447:
        count = op_count_P78JJ8jX64(a)+op_count_YjTveF0rk5(a,842)
    else:
        count = op_count_02xnuIEL7W(a,a)
    return count


def op_NBzRrbIImn(a, b):
    return op_I8Ve4empKG(op_W48l78wIbG(b,a),op_Bdqd193sIk(a))

def op_count_NBzRrbIImn(a, b):
    count = op_count_W48l78wIbG(b,a)+op_count_Bdqd193sIk(a)+op_count_I8Ve4empKG(op_W48l78wIbG(b,a),op_Bdqd193sIk(a))
    return count


a⫴⨚⊃ = { (a↦⩻⊓a) , if ((a≗⪓∷)<1 or (a⩕⪍⨤705)<=11) ; a , else }

def op_rWAqxA87VT(a):
    if (op_xWKacU4PIG(a) < 1 or op_kravj9xg3G(a,705) <= 11):
        return op_kf2MGdd7i0(a,a)
    else:
        return a

def op_count_rWAqxA87VT(a):
    if (op_xWKacU4PIG(a) < 1 or op_kravj9xg3G(a,705) <= 11):
        count = op_count_kf2MGdd7i0(a,a)+op_count_xWKacU4PIG(a)+op_count_kravj9xg3G(a,705)
    else:
        count = 1
    return count


a↞⊟ = { (⪨⨬a) , if (⫠⨰∍a)==405 ; (a≮⇫⇸) , else }

def op_61UTsKRfaP(a):
    if op_ByDzcDDRKQ(a) == 405:
        return op_5obUd6DV38(a)
    else:
        return op_a8UndMcqKF(a)

def op_count_61UTsKRfaP(a):
    if op_ByDzcDDRKQ(a) == 405:
        count = op_count_5obUd6DV38(a)+op_count_ByDzcDDRKQ(a)
    else:
        count = op_count_a8UndMcqKF(a)
    return count


def op_JuxRK6KqNU(a, b):
    return op_DtsKfwZYmX(op_GMN7JP6WpN(574,a),op_3DVzLFNsE9(b))

def op_count_JuxRK6KqNU(a, b):
    count = op_count_GMN7JP6WpN(574,a)+op_count_3DVzLFNsE9(b)+op_count_DtsKfwZYmX(op_GMN7JP6WpN(574,a),op_3DVzLFNsE9(b))
    return count


⨅⊄a = { (((a⊋⋊)⋆⪎⪨(32⋳⩇⊫))≅⩀(a∀↭⫰(a⇭⩛a))) , if (a⊻⨼)>534 or (√⩈a)>=939 ; (((437⨠↴a)↶↽(190↜⇎⇭a))⇁((a⇑⩢a)⫍∟(a⇓⋧⋔303))) , else }

def op_FQNFV2fYXC(a):
    if op_Ni6W0cq8eC(a) > 534 or op_7PYQjb7XP7(a) >= 939:
        return op_STXubeXA6y(op_kLz9fXvToG(op_5FjIgZbP1r(a),op_6O8ohGGmyb(32)),op_2muwgCqbmH(a,op_i7brRvs2Zr(a,a)))
    else:
        return op_z4ujcxYYss(op_8damnDlvQO(op_zStf3jvmdU(437,a),op_HZSpWngSsm(190,a)),op_ScueqDwPO5(op_gqZfcu8Q4L(a,a),op_ONJRQY6OPs(a,303)))

def op_count_FQNFV2fYXC(a):
    if op_Ni6W0cq8eC(a) > 534 or op_7PYQjb7XP7(a) >= 939:
        count = op_count_5FjIgZbP1r(a)+op_count_6O8ohGGmyb(32)+op_count_kLz9fXvToG(op_5FjIgZbP1r(a),op_6O8ohGGmyb(32))+op_count_i7brRvs2Zr(a,a)+op_count_2muwgCqbmH(a,op_i7brRvs2Zr(a,a))+op_count_STXubeXA6y(op_kLz9fXvToG(op_5FjIgZbP1r(a),op_6O8ohGGmyb(32)),op_2muwgCqbmH(a,op_i7brRvs2Zr(a,a)))+op_count_Ni6W0cq8eC(a)+op_count_7PYQjb7XP7(a)
    else:
        count = op_count_zStf3jvmdU(437,a)+op_count_HZSpWngSsm(190,a)+op_count_8damnDlvQO(op_zStf3jvmdU(437,a),op_HZSpWngSsm(190,a))+op_count_gqZfcu8Q4L(a,a)+op_count_ONJRQY6OPs(a,303)+op_count_ScueqDwPO5(op_gqZfcu8Q4L(a,a),op_ONJRQY6OPs(a,303))+op_count_z4ujcxYYss(op_8damnDlvQO(op_zStf3jvmdU(437,a),op_HZSpWngSsm(190,a)),op_ScueqDwPO5(op_gqZfcu8Q4L(a,a),op_ONJRQY6OPs(a,303)))
    return count


a⇇⩤b = { (≭⫘(a↽∞a)) , if (b⇨⪃⋨839)==238 ; ((⋠∠⇱b)⫴⫞(∟⋨b)) , else }

def op_hiYB4nZ97A(a, b):
    if op_7JOOl3WMOF(b,839) == 238:
        return op_jEAzKzhh6P(op_eUizPD1kq5(a,a))
    else:
        return op_schmcmpRvD(op_BEKom63EOt(b),op_ctOc4cKSDt(b))

def op_count_hiYB4nZ97A(a, b):
    if op_7JOOl3WMOF(b,839) == 238:
        count = op_count_eUizPD1kq5(a,a)+op_count_jEAzKzhh6P(op_eUizPD1kq5(a,a))+op_count_7JOOl3WMOF(b,839)
    else:
        count = op_count_BEKom63EOt(b)+op_count_ctOc4cKSDt(b)+op_count_schmcmpRvD(op_BEKom63EOt(b),op_ctOc4cKSDt(b))
    return count


def op_ZHbGYeIEOk(a):
    if (a >= 68 or op_Jpd0OHcjin(a) != 71):
        return op_OV481x3Hpp(op_NP9YRXuJAy(op_5evuKV93zN(234,a),op_QrPBJNmqe2(a)),op_VSUCzqIkt4(a,op_8i5ue7LxuV(a)))
    else:
        return op_TrDKUjqfgw(a,op_SR5kFfdi6N(op_uEiDLHpX5n(a,0),op_1NCu7utSrV(a,145)))

def op_count_ZHbGYeIEOk(a):
    if (a >= 68 or op_Jpd0OHcjin(a) != 71):
        count = op_count_5evuKV93zN(234,a)+op_count_QrPBJNmqe2(a)+op_count_NP9YRXuJAy(op_5evuKV93zN(234,a),op_QrPBJNmqe2(a))+op_count_8i5ue7LxuV(a)+op_count_VSUCzqIkt4(a,op_8i5ue7LxuV(a))+op_count_OV481x3Hpp(op_NP9YRXuJAy(op_5evuKV93zN(234,a),op_QrPBJNmqe2(a)),op_VSUCzqIkt4(a,op_8i5ue7LxuV(a)))+op_count_Jpd0OHcjin(a)
    else:
        count = op_count_uEiDLHpX5n(a,0)+op_count_1NCu7utSrV(a,145)+op_count_SR5kFfdi6N(op_uEiDLHpX5n(a,0),op_1NCu7utSrV(a,145))+op_count_TrDKUjqfgw(a,op_SR5kFfdi6N(op_uEiDLHpX5n(a,0),op_1NCu7utSrV(a,145)))
    return count


def op_Lzeq4vgtW6(a, b):
    return op_MGbPxTAMI3(op_5HFUViGXfi(155,op_JL8yIekQnl(a)),b)

def op_count_Lzeq4vgtW6(a, b):
    count = op_count_JL8yIekQnl(a)+op_count_5HFUViGXfi(155,op_JL8yIekQnl(a))+op_count_MGbPxTAMI3(op_5HFUViGXfi(155,op_JL8yIekQnl(a)),b)
    return count


def op_tAxhCxt9dF(a):
    return op_jPYZHDFkUI(op_z9ffQ9n5Zr(a,a),op_1Ozlt4kVTJ(a,a))

def op_count_tAxhCxt9dF(a):
    count = op_count_z9ffQ9n5Zr(a,a)+op_count_1Ozlt4kVTJ(a,a)+op_count_jPYZHDFkUI(op_z9ffQ9n5Zr(a,a),op_1Ozlt4kVTJ(a,a))
    return count


def op_hyRA8FkJr7(a):
    return op_mp7IySMOzn(op_MjmTaW8g1G(a,a),op_JvSxMoGXql(a))

def op_count_hyRA8FkJr7(a):
    count = op_count_MjmTaW8g1G(a,a)+op_count_JvSxMoGXql(a)+op_count_mp7IySMOzn(op_MjmTaW8g1G(a,a),op_JvSxMoGXql(a))
    return count


def op_PyrpHRmPRv(a):
    return op_xAslvJsXQM(op_xgB3tWPdtm(op_Cw4SuJJGHO(a,a),op_bvbbpKhc8C(a,a)))

def op_count_PyrpHRmPRv(a):
    count = op_count_Cw4SuJJGHO(a,a)+op_count_bvbbpKhc8C(a,a)+op_count_xgB3tWPdtm(op_Cw4SuJJGHO(a,a),op_bvbbpKhc8C(a,a))+op_count_xAslvJsXQM(op_xgB3tWPdtm(op_Cw4SuJJGHO(a,a),op_bvbbpKhc8C(a,a)))
    return count


def op_mjcGG1YeM8(a):
    return op_U6pG0PXrV3(op_ejsynaZir6(op_jdrn0ppNe9(a,a),op_F9pSHpyQ3k(17,a)))

def op_count_mjcGG1YeM8(a):
    count = op_count_jdrn0ppNe9(a,a)+op_count_F9pSHpyQ3k(17,a)+op_count_ejsynaZir6(op_jdrn0ppNe9(a,a),op_F9pSHpyQ3k(17,a))+op_count_U6pG0PXrV3(op_ejsynaZir6(op_jdrn0ppNe9(a,a),op_F9pSHpyQ3k(17,a)))
    return count


⪴a = { (((⇣⋞⊓a)≗⩒⨛(a⇓∧≤a))↽⩔((a⪄⨗⋂a)⇋⋞)) }

def op_XNBEcnMtVn(a):
    return op_pC37afr74b(op_Ih3UVhBbvd(op_ehkay1nXe1(a),op_CPJod9CRaD(a,a)),op_x4nckvPyZv(op_BA5ptRLOMP(a,a)))

def op_count_XNBEcnMtVn(a):
    count = op_count_ehkay1nXe1(a)+op_count_CPJod9CRaD(a,a)+op_count_Ih3UVhBbvd(op_ehkay1nXe1(a),op_CPJod9CRaD(a,a))+op_count_BA5ptRLOMP(a,a)+op_count_x4nckvPyZv(op_BA5ptRLOMP(a,a))+op_count_pC37afr74b(op_Ih3UVhBbvd(op_ehkay1nXe1(a),op_CPJod9CRaD(a,a)),op_x4nckvPyZv(op_BA5ptRLOMP(a,a)))
    return count


a⪙⊇⫢b = { (b∝∎a) , if (a⋟⨈269)>=33 ; (a≽↤) , else }

def op_qlddejDz5r(a, b):
    if op_KagmZ2dQBE(a,269) >= 33:
        return op_qLiEs2rVxT(b,a)
    else:
        return op_a1g1nEwBDm(a)

def op_count_qlddejDz5r(a, b):
    if op_KagmZ2dQBE(a,269) >= 33:
        count = op_count_qLiEs2rVxT(b,a)+op_count_KagmZ2dQBE(a,269)
    else:
        count = op_count_a1g1nEwBDm(a)
    return count


def op_wiScifCJSk(a):
    return op_InRsNkjnGi(op_aMUSaJuDRU(a),op_hWheh3WaNG(286,585))

def op_count_wiScifCJSk(a):
    count = op_count_aMUSaJuDRU(a)+op_count_hWheh3WaNG(286,585)+op_count_InRsNkjnGi(op_aMUSaJuDRU(a),op_hWheh3WaNG(286,585))
    return count


def op_ba8wj4184U(a):
    return op_oW1cUEY5Sq(op_54rvuKiOgH(a,a),op_UBVjgJrFBH(250))

def op_count_ba8wj4184U(a):
    count = op_count_54rvuKiOgH(a,a)+op_count_UBVjgJrFBH(250)+op_count_oW1cUEY5Sq(op_54rvuKiOgH(a,a),op_UBVjgJrFBH(250))
    return count


a≡⫯⪠b = { (a⇒⫙⩪64) , if (b⋋↢⊃)<=91 ; (a⪬a) , else }

def op_sXtXS1L2Bt(a, b):
    if op_PxFlO9LMOG(b) <= 91:
        return op_GlSFjmIWmY(a,64)
    else:
        return op_Ez1Nq5fNfI(a,a)

def op_count_sXtXS1L2Bt(a, b):
    if op_PxFlO9LMOG(b) <= 91:
        count = op_count_GlSFjmIWmY(a,64)+op_count_PxFlO9LMOG(b)
    else:
        count = op_count_Ez1Nq5fNfI(a,a)
    return count


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

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


def op_kcsCg0oEIp(a, b):
    return op_0YTUWrQViJ(op_0uv4xNrpnl(op_Xbtyq2jN9O(b,a),op_o0ENHGX9XF(b,a)))

def op_count_kcsCg0oEIp(a, b):
    count = op_count_Xbtyq2jN9O(b,a)+op_count_o0ENHGX9XF(b,a)+op_count_0uv4xNrpnl(op_Xbtyq2jN9O(b,a),op_o0ENHGX9XF(b,a))+op_count_0YTUWrQViJ(op_0uv4xNrpnl(op_Xbtyq2jN9O(b,a),op_o0ENHGX9XF(b,a)))
    return count


a⇴⋯⨚b = { ((b⫂↤⪪)⊝⨂(a⋰⇉∕b)) , if (a⊹⪋⨙658)!=631 and (⨚≀a)>104 ; ((b⫝)⇙⊞(317⪔∲)) , else }

def op_R2KrFb2lGC(a, b):
    if op_m2YiPKXZqU(a,658) != 631 and op_nshroTv9ag(a) > 104:
        return op_qlXHEwqT5e(op_VMPTHtahnB(b),op_sM9mzqIDB1(a,b))
    else:
        return op_zPaW4OAyCC(op_QRiKE94HQh(b),op_9Mv3TGYLiV(317))

def op_count_R2KrFb2lGC(a, b):
    if op_m2YiPKXZqU(a,658) != 631 and op_nshroTv9ag(a) > 104:
        count = op_count_VMPTHtahnB(b)+op_count_sM9mzqIDB1(a,b)+op_count_qlXHEwqT5e(op_VMPTHtahnB(b),op_sM9mzqIDB1(a,b))+op_count_m2YiPKXZqU(a,658)+op_count_nshroTv9ag(a)
    else:
        count = op_count_QRiKE94HQh(b)+op_count_9Mv3TGYLiV(317)+op_count_zPaW4OAyCC(op_QRiKE94HQh(b),op_9Mv3TGYLiV(317))
    return count


a⋫↢b = { ((⇄⨳∯a)⫽⪃(b⪏a)) , if (b⩕⫏)<289 ; ((a∽⨚⊏66)∺⋿(a⫊b)) , else }

def op_SFAASr8twV(a, b):
    if op_UXDb5u0AqE(b) < 289:
        return op_FJ3oXK3UQ0(op_WTcYRUW1vb(a),op_ReAzrgtvfu(b,a))
    else:
        return op_Ft2biiUhlV(op_OuNwQ8h2ZL(a,66),op_uPjn7n5pli(a,b))

def op_count_SFAASr8twV(a, b):
    if op_UXDb5u0AqE(b) < 289:
        count = op_count_WTcYRUW1vb(a)+op_count_ReAzrgtvfu(b,a)+op_count_FJ3oXK3UQ0(op_WTcYRUW1vb(a),op_ReAzrgtvfu(b,a))+op_count_UXDb5u0AqE(b)
    else:
        count = op_count_OuNwQ8h2ZL(a,66)+op_count_uPjn7n5pli(a,b)+op_count_Ft2biiUhlV(op_OuNwQ8h2ZL(a,66),op_uPjn7n5pli(a,b))
    return count


def op_Dk14meENWG(a):
    return op_N4MNDM3lcs(op_tHss8q0tGc(747),op_K5rbr6oWuE(a,a))

def op_count_Dk14meENWG(a):
    count = op_count_tHss8q0tGc(747)+op_count_K5rbr6oWuE(a,a)+op_count_N4MNDM3lcs(op_tHss8q0tGc(747),op_K5rbr6oWuE(a,a))
    return count


a⩈∇≭b = { (b≶⩢↻((b⋏⨬⋖a)⇹⋂⨚(37↧⋪⩹a))) , if b>=200 ; (b⊸⫹((⨺⫸≝b)≼⩯≗(⇋↷526))) , else }

def op_Q0v73S6v0w(a, b):
    if b >= 200:
        return op_FivK695Inb(b,op_wGJ01FE41T(op_bDMTzmQgzE(b,a),op_aFgCSysgue(37,a)))
    else:
        return op_xTDqZxPsQw(b,op_vs93s42C9I(op_NnTbxo2Idi(b),op_SWo3A1KBJH(526)))

def op_count_Q0v73S6v0w(a, b):
    if b >= 200:
        count = op_count_bDMTzmQgzE(b,a)+op_count_aFgCSysgue(37,a)+op_count_wGJ01FE41T(op_bDMTzmQgzE(b,a),op_aFgCSysgue(37,a))+op_count_FivK695Inb(b,op_wGJ01FE41T(op_bDMTzmQgzE(b,a),op_aFgCSysgue(37,a)))
    else:
        count = op_count_NnTbxo2Idi(b)+op_count_SWo3A1KBJH(526)+op_count_vs93s42C9I(op_NnTbxo2Idi(b),op_SWo3A1KBJH(526))+op_count_xTDqZxPsQw(b,op_vs93s42C9I(op_NnTbxo2Idi(b),op_SWo3A1KBJH(526)))
    return count


a≒⩱b = { b , if a!=644 ; (a≕⫨(⪨⨬b)) , else }

def op_BXBuq9lyFC(a, b):
    if a != 644:
        return b
    else:
        return op_WSRWkT62m6(a,op_5obUd6DV38(b))

def op_count_BXBuq9lyFC(a, b):
    if a != 644:
        count = 1
    else:
        count = op_count_5obUd6DV38(b)+op_count_WSRWkT62m6(a,op_5obUd6DV38(b))
    return count


def op_6D3mdwkYL6(a):
    return op_33Ug0vB88I(op_FivK695Inb(op_ancsfN6GXi(857),367),op_szI9a73H0x(op_KPNWZM5Xul(a,943),op_glYmogwHQI(a)))

def op_count_6D3mdwkYL6(a):
    count = op_count_ancsfN6GXi(857)+op_count_FivK695Inb(op_ancsfN6GXi(857),367)+op_count_KPNWZM5Xul(a,943)+op_count_glYmogwHQI(a)+op_count_szI9a73H0x(op_KPNWZM5Xul(a,943),op_glYmogwHQI(a))+op_count_33Ug0vB88I(op_FivK695Inb(op_ancsfN6GXi(857),367),op_szI9a73H0x(op_KPNWZM5Xul(a,943),op_glYmogwHQI(a)))
    return count


a⨕⪛b = { (⋭≈b) , if b>79 ; (b⫻⫣a) , else }

def op_tXrZvwVvz6(a, b):
    if b > 79:
        return op_3UBWuKoTzU(b)
    else:
        return op_Mqg6Kpcx5i(b,a)

def op_count_tXrZvwVvz6(a, b):
    if b > 79:
        count = op_count_3UBWuKoTzU(b)
    else:
        count = op_count_Mqg6Kpcx5i(b,a)
    return count


def op_V1eLVrGy7I(a):
    return op_xEv6TaguRW(op_BJ9QgBCFyo(op_JAobebJkKA(a,a)))

def op_count_V1eLVrGy7I(a):
    count = op_count_JAobebJkKA(a,a)+op_count_BJ9QgBCFyo(op_JAobebJkKA(a,a))+op_count_xEv6TaguRW(op_BJ9QgBCFyo(op_JAobebJkKA(a,a)))
    return count


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

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


def op_3HIAIY3DGn(a):
    return op_sylijClI4e(op_fLJG5zVr1z(op_8h2Ofp3S4L(a,a),op_SpY9BOyHMp(a)))

def op_count_3HIAIY3DGn(a):
    count = op_count_8h2Ofp3S4L(a,a)+op_count_SpY9BOyHMp(a)+op_count_fLJG5zVr1z(op_8h2Ofp3S4L(a,a),op_SpY9BOyHMp(a))+op_count_sylijClI4e(op_fLJG5zVr1z(op_8h2Ofp3S4L(a,a),op_SpY9BOyHMp(a)))
    return count


def op_1EuqwKZ5og(a):
    return op_RO5dAyufID(op_JL8yIekQnl(a),op_vjO1tVBgS7(a,a))

def op_count_1EuqwKZ5og(a):
    count = op_count_JL8yIekQnl(a)+op_count_vjO1tVBgS7(a,a)+op_count_RO5dAyufID(op_JL8yIekQnl(a),op_vjO1tVBgS7(a,a))
    return count


def op_LmCQxFGvwr(a, b):
    return op_LEAxZ6hxWI(op_dWAJyo7jo9(b,217),op_leNEk7drxJ(a))

def op_count_LmCQxFGvwr(a, b):
    count = op_count_dWAJyo7jo9(b,217)+op_count_leNEk7drxJ(a)+op_count_LEAxZ6hxWI(op_dWAJyo7jo9(b,217),op_leNEk7drxJ(a))
    return count


↓↨a = { ((a⩊≴⋘a)⫏(a⊞≃⪲a)) , if (a⫥⪪∙410)>4 ; (⩤⊕∪(a⪈a)) , else }

def op_wnUSJLInEC(a):
    if op_siSprMom9h(a,410) > 4:
        return op_uQ5MaQD2YO(op_SCITVCa1lL(a,a),op_jKh9xaBIQ5(a,a))
    else:
        return op_gfvVrh7EOO(op_y16C4hJIbn(a,a))

def op_count_wnUSJLInEC(a):
    if op_siSprMom9h(a,410) > 4:
        count = op_count_SCITVCa1lL(a,a)+op_count_jKh9xaBIQ5(a,a)+op_count_uQ5MaQD2YO(op_SCITVCa1lL(a,a),op_jKh9xaBIQ5(a,a))+op_count_siSprMom9h(a,410)
    else:
        count = op_count_y16C4hJIbn(a,a)+op_count_gfvVrh7EOO(op_y16C4hJIbn(a,a))
    return count


a≑⇧ = { ((276⪺⨮⩭a)⋫) , if a!=556 ; ((a↪⩍⫅a)⪶⨾(a≣⪪⪧a)) , else }

def op_ZcOxjI8ouU(a):
    if a != 556:
        return op_JL8yIekQnl(op_xnTr9QP4Ls(276,a))
    else:
        return op_3FoScNMFmy(op_MuzqVKJccx(a,a),op_7Qh4uK5oHN(a,a))

def op_count_ZcOxjI8ouU(a):
    if a != 556:
        count = op_count_xnTr9QP4Ls(276,a)+op_count_JL8yIekQnl(op_xnTr9QP4Ls(276,a))
    else:
        count = op_count_MuzqVKJccx(a,a)+op_count_7Qh4uK5oHN(a,a)+op_count_3FoScNMFmy(op_MuzqVKJccx(a,a),op_7Qh4uK5oHN(a,a))
    return count


a⨬⨂b = { (((106⨆⋰⊆b)⋥⇧(b⊬⩼⊳b))∂⊂((b⩩⋢↠b)⋚⫹)) , if (⋦↙⩸a)>56 ; ((⫧⩠(b⨪↰⇹a))≻⫁⇭) , else }

def op_KavkuCulQy(a, b):
    if op_P78JJ8jX64(a) > 56:
        return op_lBo1w7jVIg(op_UAZAhLH3kE(op_B7fx9NtlGq(106,b),op_4F7LFkBAZC(b,b)),op_42BppLRjHS(op_J9p31WXma4(b,b)))
    else:
        return op_gwsgbCbNkP(op_ZvYR0qQ7YW(op_tmPS8pqC7x(b,a)))

def op_count_KavkuCulQy(a, b):
    if op_P78JJ8jX64(a) > 56:
        count = op_count_B7fx9NtlGq(106,b)+op_count_4F7LFkBAZC(b,b)+op_count_UAZAhLH3kE(op_B7fx9NtlGq(106,b),op_4F7LFkBAZC(b,b))+op_count_J9p31WXma4(b,b)+op_count_42BppLRjHS(op_J9p31WXma4(b,b))+op_count_lBo1w7jVIg(op_UAZAhLH3kE(op_B7fx9NtlGq(106,b),op_4F7LFkBAZC(b,b)),op_42BppLRjHS(op_J9p31WXma4(b,b)))+op_count_P78JJ8jX64(a)
    else:
        count = op_count_tmPS8pqC7x(b,a)+op_count_ZvYR0qQ7YW(op_tmPS8pqC7x(b,a))+op_count_gwsgbCbNkP(op_ZvYR0qQ7YW(op_tmPS8pqC7x(b,a)))
    return count


def op_76xYw89TvP(a):
    return op_9cloC0Ngie(op_yHZBwDW2Tk(op_tfWHHpNKUN(a),op_F3ZYW0Xs6y(a,a)),op_AF7qkfDlqP(op_C6qVvj5REB(a,a)))

def op_count_76xYw89TvP(a):
    count = op_count_tfWHHpNKUN(a)+op_count_F3ZYW0Xs6y(a,a)+op_count_yHZBwDW2Tk(op_tfWHHpNKUN(a),op_F3ZYW0Xs6y(a,a))+op_count_C6qVvj5REB(a,a)+op_count_AF7qkfDlqP(op_C6qVvj5REB(a,a))+op_count_9cloC0Ngie(op_yHZBwDW2Tk(op_tfWHHpNKUN(a),op_F3ZYW0Xs6y(a,a)),op_AF7qkfDlqP(op_C6qVvj5REB(a,a)))
    return count


⊋⪀⋰a = { (a⨠⨥⋊519) , if a!=83 ; (a⇲a) , else }

def op_Hl6PnxXC2J(a):
    if a != 83:
        return op_xaRIqAkB3v(a,519)
    else:
        return op_24nwyATvD7(a,a)

def op_count_Hl6PnxXC2J(a):
    if a != 83:
        count = op_count_xaRIqAkB3v(a,519)
    else:
        count = op_count_24nwyATvD7(a,a)
    return count


def op_Ew2FYhL1ax(a, b):
    if a <= 154 and b == 407:
        return op_pCNCNETmIQ(op_gl20KYyMkJ(66,410),op_Gl4WN4Uwdx(b,824))
    else:
        return op_1nNvNtr5EF(op_6LuFrogppQ(a),op_S2ubVDYUV4(a,b))

def op_count_Ew2FYhL1ax(a, b):
    if a <= 154 and b == 407:
        count = op_count_gl20KYyMkJ(66,410)+op_count_Gl4WN4Uwdx(b,824)+op_count_pCNCNETmIQ(op_gl20KYyMkJ(66,410),op_Gl4WN4Uwdx(b,824))
    else:
        count = op_count_6LuFrogppQ(a)+op_count_S2ubVDYUV4(a,b)+op_count_1nNvNtr5EF(op_6LuFrogppQ(a),op_S2ubVDYUV4(a,b))
    return count


a⨆⩊ = { (((a↵a)↲≘(a⫥a))⊞⩴≀((142⪬∳)⇒⫙⩪(a⋦≾a))) }

def op_9gVZFPdax9(a):
    return op_7uTwdFgI0Q(op_De5KeVc9mK(op_8cNrNy0nrI(a,a),op_hF9cg5J1Xb(a,a)),op_GlSFjmIWmY(op_O9U3z1385E(142),op_sGKMNvIg50(a,a)))

def op_count_9gVZFPdax9(a):
    count = op_count_8cNrNy0nrI(a,a)+op_count_hF9cg5J1Xb(a,a)+op_count_De5KeVc9mK(op_8cNrNy0nrI(a,a),op_hF9cg5J1Xb(a,a))+op_count_O9U3z1385E(142)+op_count_sGKMNvIg50(a,a)+op_count_GlSFjmIWmY(op_O9U3z1385E(142),op_sGKMNvIg50(a,a))+op_count_7uTwdFgI0Q(op_De5KeVc9mK(op_8cNrNy0nrI(a,a),op_hF9cg5J1Xb(a,a)),op_GlSFjmIWmY(op_O9U3z1385E(142),op_sGKMNvIg50(a,a)))
    return count


def op_jUZKZ8hvq9(a):
    if op_wDQhVHeL0p(a,168) <= 5 or op_rpm0c6hkjF(a) >= 1:
        return a
    else:
        return op_rlgYWsFeVn(op_SIQ4SDIJVm(a,109))

def op_count_jUZKZ8hvq9(a):
    if op_wDQhVHeL0p(a,168) <= 5 or op_rpm0c6hkjF(a) >= 1:
        count = 1
    else:
        count = op_count_SIQ4SDIJVm(a,109)+op_count_rlgYWsFeVn(op_SIQ4SDIJVm(a,109))
    return count


a⨝⪜⊎b = { ((⋦⇉142)⩿-∸((b⨗⩉a)⩉≙⋏(≑⋹b))) }

def op_WAegT8i1n4(a, b):
    return op_bvbbpKhc8C(op_eoYqM80cVs(142),op_K6E8QFs5tY(op_yPuSsD7hfv(b,a),op_6B9nyZLogK(b)))

def op_count_WAegT8i1n4(a, b):
    count = op_count_eoYqM80cVs(142)+op_count_yPuSsD7hfv(b,a)+op_count_6B9nyZLogK(b)+op_count_K6E8QFs5tY(op_yPuSsD7hfv(b,a),op_6B9nyZLogK(b))+op_count_bvbbpKhc8C(op_eoYqM80cVs(142),op_K6E8QFs5tY(op_yPuSsD7hfv(b,a),op_6B9nyZLogK(b)))
    return count


def op_OeRj2yzzrV(a):
    return op_qm6KZr6wM2(op_fHEWrCoiIm(op_M2B6wyGvxF(a),op_rBWSZ6pYZD(a,a)))

def op_count_OeRj2yzzrV(a):
    count = op_count_M2B6wyGvxF(a)+op_count_rBWSZ6pYZD(a,a)+op_count_fHEWrCoiIm(op_M2B6wyGvxF(a),op_rBWSZ6pYZD(a,a))+op_count_qm6KZr6wM2(op_fHEWrCoiIm(op_M2B6wyGvxF(a),op_rBWSZ6pYZD(a,a)))
    return count


a⋤↽b = { ((a⨚⇆(a⩂↠⊈))↧⩳⩭((⨗∰39)⇯⇋(⊾⫛a))) , if ((a⪜⊁)<471 and b==218) ; (((b⇙⊞649)⨥⫆(a∗a))⫋⊊((a⪵↱⫥b)⨃⇵⋔a)) , else }

def op_dVxwydbEoi(a, b):
    if (op_b7SseGJRgG(a) < 471 and b == 218):
        return op_KfoJTsIyUZ(op_lwHaAYXP2r(a,op_amUYklY4X0(a)),op_VwBdEydXvH(op_CJ87Qfugo0(39),op_E6kf18OqlZ(a)))
    else:
        return op_kMX5G63lLu(op_yXekIHxTD4(op_zPaW4OAyCC(b,649),op_9aXLFNf8dt(a,a)),op_Bdiofinswe(op_kYTzVM0dNf(a,b),a))

def op_count_dVxwydbEoi(a, b):
    if (op_b7SseGJRgG(a) < 471 and b == 218):
        count = op_count_amUYklY4X0(a)+op_count_lwHaAYXP2r(a,op_amUYklY4X0(a))+op_count_CJ87Qfugo0(39)+op_count_E6kf18OqlZ(a)+op_count_VwBdEydXvH(op_CJ87Qfugo0(39),op_E6kf18OqlZ(a))+op_count_KfoJTsIyUZ(op_lwHaAYXP2r(a,op_amUYklY4X0(a)),op_VwBdEydXvH(op_CJ87Qfugo0(39),op_E6kf18OqlZ(a)))+op_count_b7SseGJRgG(a)
    else:
        count = op_count_zPaW4OAyCC(b,649)+op_count_9aXLFNf8dt(a,a)+op_count_yXekIHxTD4(op_zPaW4OAyCC(b,649),op_9aXLFNf8dt(a,a))+op_count_kYTzVM0dNf(a,b)+op_count_Bdiofinswe(op_kYTzVM0dNf(a,b),a)+op_count_kMX5G63lLu(op_yXekIHxTD4(op_zPaW4OAyCC(b,649),op_9aXLFNf8dt(a,a)),op_Bdiofinswe(op_kYTzVM0dNf(a,b),a))
    return count


def op_2p06iDrFIJ(a):
    return op_qLiEs2rVxT(a,224)

def op_count_2p06iDrFIJ(a):
    count = op_count_qLiEs2rVxT(a,224)
    return count


def op_Wi2L83eyOa(a, b):
    if op_mMfZsoEC0P(a) >= 289:
        return op_f09raCEPXX(a,op_86EHC0btia(19,a))
    else:
        return op_o20kRiQErp(op_SR5kFfdi6N(43,b))

def op_count_Wi2L83eyOa(a, b):
    if op_mMfZsoEC0P(a) >= 289:
        count = op_count_86EHC0btia(19,a)+op_count_f09raCEPXX(a,op_86EHC0btia(19,a))+op_count_mMfZsoEC0P(a)
    else:
        count = op_count_SR5kFfdi6N(43,b)+op_count_o20kRiQErp(op_SR5kFfdi6N(43,b))
    return count


def op_7HJbglDeCt(a):
    return op_I7sXao9hZE(a,a)

def op_count_7HJbglDeCt(a):
    count = op_count_I7sXao9hZE(a,a)
    return count


def op_p8ATxzkIZV(a, b):
    return op_Cw4SuJJGHO(op_znIeHMBhkf(op_KROiRRz3d6(b,a)),op_mFCgDW3omv(op_uRdpOuG0pt(b,a)))

def op_count_p8ATxzkIZV(a, b):
    count = op_count_KROiRRz3d6(b,a)+op_count_znIeHMBhkf(op_KROiRRz3d6(b,a))+op_count_uRdpOuG0pt(b,a)+op_count_mFCgDW3omv(op_uRdpOuG0pt(b,a))+op_count_Cw4SuJJGHO(op_znIeHMBhkf(op_KROiRRz3d6(b,a)),op_mFCgDW3omv(op_uRdpOuG0pt(b,a)))
    return count


def op_8G32lwwPXi(a):
    return op_JjJGrowCxS(a,op_PjIHNKxrlt(op_WHRxrbF8gO(a,a),op_yS9ePUuUdn(a)))

def op_count_8G32lwwPXi(a):
    count = op_count_WHRxrbF8gO(a,a)+op_count_yS9ePUuUdn(a)+op_count_PjIHNKxrlt(op_WHRxrbF8gO(a,a),op_yS9ePUuUdn(a))+op_count_JjJGrowCxS(a,op_PjIHNKxrlt(op_WHRxrbF8gO(a,a),op_yS9ePUuUdn(a)))
    return count


def op_vBNZjstWJ5(a):
    return op_S2ubVDYUV4(op_Es8UyEPW03(a,a),op_KmoU8R5UQR(53,a))

def op_count_vBNZjstWJ5(a):
    count = op_count_Es8UyEPW03(a,a)+op_count_KmoU8R5UQR(53,a)+op_count_S2ubVDYUV4(op_Es8UyEPW03(a,a),op_KmoU8R5UQR(53,a))
    return count


def op_xuCG1msaqB(a):
    if op_zukycwwyTc(a) < 473 or op_fctvr1MjnF(a) <= 62 or op_XsP9zM2YWI(a) != 20:
        return op_SIgE0bArFf(op_VIybuTSL33(599,15))
    else:
        return op_TrDKUjqfgw(op_ZWmKTO1x1a(3,a),op_XhwjNDsVaA(a,a))

def op_count_xuCG1msaqB(a):
    if op_zukycwwyTc(a) < 473 or op_fctvr1MjnF(a) <= 62 or op_XsP9zM2YWI(a) != 20:
        count = op_count_VIybuTSL33(599,15)+op_count_SIgE0bArFf(op_VIybuTSL33(599,15))+op_count_zukycwwyTc(a)+op_count_fctvr1MjnF(a)+op_count_XsP9zM2YWI(a)
    else:
        count = op_count_ZWmKTO1x1a(3,a)+op_count_XhwjNDsVaA(a,a)+op_count_TrDKUjqfgw(op_ZWmKTO1x1a(3,a),op_XhwjNDsVaA(a,a))
    return count


a⊐⩭b = { (((⨎≾⊒b)⫣↠⇨(a⨾⪹⩗a))⫳((2∕⩚a)≨≷↮(a⫳⫚⇈b))) }

def op_J1orKSkgli(a, b):
    return op_PVw4wBg8va(op_AmVValKoYk(op_OHutFJdwU6(b),op_EnxiqAYg5D(a,a)),op_HcR3lMcVMO(op_z9ffQ9n5Zr(2,a),op_InHNDff3xD(a,b)))

def op_count_J1orKSkgli(a, b):
    count = op_count_OHutFJdwU6(b)+op_count_EnxiqAYg5D(a,a)+op_count_AmVValKoYk(op_OHutFJdwU6(b),op_EnxiqAYg5D(a,a))+op_count_z9ffQ9n5Zr(2,a)+op_count_InHNDff3xD(a,b)+op_count_HcR3lMcVMO(op_z9ffQ9n5Zr(2,a),op_InHNDff3xD(a,b))+op_count_PVw4wBg8va(op_AmVValKoYk(op_OHutFJdwU6(b),op_EnxiqAYg5D(a,a)),op_HcR3lMcVMO(op_z9ffQ9n5Zr(2,a),op_InHNDff3xD(a,b)))
    return count


def op_00uRtEC5jC(a):
    return op_SMFAWc6Akq(op_ozBFlv7jAp(a),op_BEh4QBmAc4(a,op_WhLZVKcfVG(a)))

def op_count_00uRtEC5jC(a):
    count = op_count_ozBFlv7jAp(a)+op_count_WhLZVKcfVG(a)+op_count_BEh4QBmAc4(a,op_WhLZVKcfVG(a))+op_count_SMFAWc6Akq(op_ozBFlv7jAp(a),op_BEh4QBmAc4(a,op_WhLZVKcfVG(a)))
    return count


a⇕⫴⪏b = { a , if (⩀⪏a)>=347 ; (((b⩥↟a)⋚↵⨭(⋉∇b))⨇⨈(170⪘⊱⫆(a≱⋽∶b))) , else }

def op_GJHlsoPRLa(a, b):
    if op_hdxRyJ0QXN(a) >= 347:
        return a
    else:
        return op_mMFf7LlMzv(op_EhNdXCgA70(op_1iwIZY9iMy(b,a),op_AVIuaxj4s4(b)),op_YjcqlNuJ4W(170,op_YIh2b6ipJn(a,b)))

def op_count_GJHlsoPRLa(a, b):
    if op_hdxRyJ0QXN(a) >= 347:
        count = 1
    else:
        count = op_count_1iwIZY9iMy(b,a)+op_count_AVIuaxj4s4(b)+op_count_EhNdXCgA70(op_1iwIZY9iMy(b,a),op_AVIuaxj4s4(b))+op_count_YIh2b6ipJn(a,b)+op_count_YjcqlNuJ4W(170,op_YIh2b6ipJn(a,b))+op_count_mMFf7LlMzv(op_EhNdXCgA70(op_1iwIZY9iMy(b,a),op_AVIuaxj4s4(b)),op_YjcqlNuJ4W(170,op_YIh2b6ipJn(a,b)))
    return count


a⨺⪘b = { ((a↾⋢⨛b)≙≀≩(a⪔≩⫊a)) , if (b↳8)==526 ; (⇀(a≁↽≥b)) , else }

def op_cXCH4RrCH6(a, b):
    if op_K1uHWJv1IW(b,8) == 526:
        return op_2dZEkcUgpG(op_wrRbCGIh8z(a,b),op_KG0EK6K0uq(a,a))
    else:
        return op_r6dTyk8NtM(op_ncHt1X6cMc(a,b))

def op_count_cXCH4RrCH6(a, b):
    if op_K1uHWJv1IW(b,8) == 526:
        count = op_count_wrRbCGIh8z(a,b)+op_count_KG0EK6K0uq(a,a)+op_count_2dZEkcUgpG(op_wrRbCGIh8z(a,b),op_KG0EK6K0uq(a,a))+op_count_K1uHWJv1IW(b,8)
    else:
        count = op_count_ncHt1X6cMc(a,b)+op_count_r6dTyk8NtM(op_ncHt1X6cMc(a,b))
    return count


def op_KtENgiZcTf(a):
    return op_LcLDYWYtOH(op_ZIgapHiLMw(op_UZb5oF9J8A(a,a),op_cGHQRUc1Fx(a)))

def op_count_KtENgiZcTf(a):
    count = op_count_UZb5oF9J8A(a,a)+op_count_cGHQRUc1Fx(a)+op_count_ZIgapHiLMw(op_UZb5oF9J8A(a,a),op_cGHQRUc1Fx(a))+op_count_LcLDYWYtOH(op_ZIgapHiLMw(op_UZb5oF9J8A(a,a),op_cGHQRUc1Fx(a)))
    return count


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

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


a%⨻≹ = { (/⩁⫠(a⇼−⩝a)) , if (⊱∞a)<=80 ; ((a≶a)⨾∻a) , else }

def op_YApQ4ePQEr(a):
    if op_4r9bMLtmr2(a) <= 80:
        return op_rlgYWsFeVn(op_EB85YeEtfS(a,a))
    else:
        return op_uUzwcyyGYg(op_Q2SPaKwpPJ(a,a),a)

def op_count_YApQ4ePQEr(a):
    if op_4r9bMLtmr2(a) <= 80:
        count = op_count_EB85YeEtfS(a,a)+op_count_rlgYWsFeVn(op_EB85YeEtfS(a,a))+op_count_4r9bMLtmr2(a)
    else:
        count = op_count_Q2SPaKwpPJ(a,a)+op_count_uUzwcyyGYg(op_Q2SPaKwpPJ(a,a),a)
    return count


def op_TRR1a7iiuh(a):
    if (op_AZPIx1Ag6c(a) == 852 or op_1M6MJr8P6q(a) >= 29 or op_orYc0BY6Nt(a) >= 235):
        return op_GN3qbhwjUb(277,op_31TeE2u3aJ(a,88))
    else:
        return op_8n6F7jskv3(op_aCwnCp9fG4(a,a),op_4fBBH5YYk9(a,123))

def op_count_TRR1a7iiuh(a):
    if (op_AZPIx1Ag6c(a) == 852 or op_1M6MJr8P6q(a) >= 29 or op_orYc0BY6Nt(a) >= 235):
        count = op_count_31TeE2u3aJ(a,88)+op_count_GN3qbhwjUb(277,op_31TeE2u3aJ(a,88))+op_count_AZPIx1Ag6c(a)+op_count_1M6MJr8P6q(a)+op_count_orYc0BY6Nt(a)
    else:
        count = op_count_aCwnCp9fG4(a,a)+op_count_4fBBH5YYk9(a,123)+op_count_8n6F7jskv3(op_aCwnCp9fG4(a,a),op_4fBBH5YYk9(a,123))
    return count


def op_WQPu7vVszx(a):
    return op_YFgJcOFAB6(op_oo9mF6JIpo(a))

def op_count_WQPu7vVszx(a):
    count = op_count_oo9mF6JIpo(a)+op_count_YFgJcOFAB6(op_oo9mF6JIpo(a))
    return count


a≯⇓b = { (a≒∊b) , if (⫟⇪⇾a)==76 ; (2≞⫳) , else }

def op_zlRBn4MdrZ(a, b):
    if op_WnEoYGZB9p(a) == 76:
        return op_5KTvxBwnZo(a,b)
    else:
        return op_S8dYzQwuEr(2)

def op_count_zlRBn4MdrZ(a, b):
    if op_WnEoYGZB9p(a) == 76:
        count = op_count_5KTvxBwnZo(a,b)+op_count_WnEoYGZB9p(a)
    else:
        count = op_count_S8dYzQwuEr(2)
    return count


a∿⩫⫏b = { (111≈⪼a) , if (∂⩏⊆b)<70 ; (b∛≔) , else }

def op_whU4MbSDDh(a, b):
    if op_8WDwsbhb0R(b) < 70:
        return op_hKL1RT5YAV(111,a)
    else:
        return op_mGnSCrte3L(b)

def op_count_whU4MbSDDh(a, b):
    if op_8WDwsbhb0R(b) < 70:
        count = op_count_hKL1RT5YAV(111,a)+op_count_8WDwsbhb0R(b)
    else:
        count = op_count_mGnSCrte3L(b)
    return count


≻≏↙a = { (a≔⇨↨a) , if (a!=0 and (a⪼%⪐53)>=70 and (a⋓⫬≮)>=22) ; (a≚⋢) , else }

def op_JaOptaXQSg(a):
    if (a != 0 and op_TbUuY2B3fX(a,53) >= 70 and op_EcsX2XvOJs(a) >= 22):
        return op_R2I9eEDuDb(a,a)
    else:
        return op_MahUMFw56D(a)

def op_count_JaOptaXQSg(a):
    if (a != 0 and op_TbUuY2B3fX(a,53) >= 70 and op_EcsX2XvOJs(a) >= 22):
        count = op_count_R2I9eEDuDb(a,a)+op_count_TbUuY2B3fX(a,53)+op_count_EcsX2XvOJs(a)
    else:
        count = op_count_MahUMFw56D(a)
    return count


def op_QZCur3rrYn(a):
    return op_3ngf5It8Ig(op_wleh0mrux3(a,a),op_Tcnh7f0tEr(a))

def op_count_QZCur3rrYn(a):
    count = op_count_wleh0mrux3(a,a)+op_count_Tcnh7f0tEr(a)+op_count_3ngf5It8Ig(op_wleh0mrux3(a,a),op_Tcnh7f0tEr(a))
    return count


a⇻⫾⫈b = { ((a⇟⋮⇰)∏) , if (b!=8 or (b≲≓⪌)>62) ; ((286⨇∑⇷a)⊆(a⫁∆⨗a)) , else }

def op_p4CNbMj2Cz(a, b):
    if (b != 8 or op_dcX9veljT5(b) > 62):
        return op_UO1RhPgbnL(op_BinZfi5Vql(a))
    else:
        return op_vMVtL6bY9U(op_LCjPM0UdxD(286,a),op_JAobebJkKA(a,a))

def op_count_p4CNbMj2Cz(a, b):
    if (b != 8 or op_dcX9veljT5(b) > 62):
        count = op_count_BinZfi5Vql(a)+op_count_UO1RhPgbnL(op_BinZfi5Vql(a))+op_count_dcX9veljT5(b)
    else:
        count = op_count_LCjPM0UdxD(286,a)+op_count_JAobebJkKA(a,a)+op_count_vMVtL6bY9U(op_LCjPM0UdxD(286,a),op_JAobebJkKA(a,a))
    return count


def op_2FSIlumXX8(a, b):
    return op_duO1ngoDTu(op_3ViojmjbAp(b,a),op_rPxV9L2jhK(a,b))

def op_count_2FSIlumXX8(a, b):
    count = op_count_3ViojmjbAp(b,a)+op_count_rPxV9L2jhK(a,b)+op_count_duO1ngoDTu(op_3ViojmjbAp(b,a),op_rPxV9L2jhK(a,b))
    return count


def op_aQMAt6GGKI(a):
    return op_TSjMxbSiHV(op_89BvdqUkvM(op_H0fWaTn7v4(a,a)),op_jRpQuODQ3E(op_alPC0q6Ec0(a)))

def op_count_aQMAt6GGKI(a):
    count = op_count_H0fWaTn7v4(a,a)+op_count_89BvdqUkvM(op_H0fWaTn7v4(a,a))+op_count_alPC0q6Ec0(a)+op_count_jRpQuODQ3E(op_alPC0q6Ec0(a))+op_count_TSjMxbSiHV(op_89BvdqUkvM(op_H0fWaTn7v4(a,a)),op_jRpQuODQ3E(op_alPC0q6Ec0(a)))
    return count


a≫⩳b = { b , if (a⫉⪀)<260 ; ((a⫣b)⇲(b↮↗73)) , else }

def op_XH94E1aXt9(a, b):
    if op_5bSRvJAzwm(a) < 260:
        return b
    else:
        return op_24nwyATvD7(op_LJUzuYQJSf(a,b),op_JI6Y01kM0I(b,73))

def op_count_XH94E1aXt9(a, b):
    if op_5bSRvJAzwm(a) < 260:
        count = 1
    else:
        count = op_count_LJUzuYQJSf(a,b)+op_count_JI6Y01kM0I(b,73)+op_count_24nwyATvD7(op_LJUzuYQJSf(a,b),op_JI6Y01kM0I(b,73))
    return count


def op_8t8OjnWCS4(a):
    if op_PHNdOSUEPW(a,206) > 941:
        return op_LHjswSuruo(op_BUZMbiqx9t(51,a),op_zPaW4OAyCC(a,a))
    else:
        return op_mpIc2IH24C(op_jPzvRlArHT(a))

def op_count_8t8OjnWCS4(a):
    if op_PHNdOSUEPW(a,206) > 941:
        count = op_count_BUZMbiqx9t(51,a)+op_count_zPaW4OAyCC(a,a)+op_count_LHjswSuruo(op_BUZMbiqx9t(51,a),op_zPaW4OAyCC(a,a))+op_count_PHNdOSUEPW(a,206)
    else:
        count = op_count_jPzvRlArHT(a)+op_count_mpIc2IH24C(op_jPzvRlArHT(a))
    return count


def op_9zar5RWMQx(a):
    return op_Z57zeUYC9z(op_AVIuaxj4s4(a),op_NzNtVczcLC(a,a))

def op_count_9zar5RWMQx(a):
    count = op_count_AVIuaxj4s4(a)+op_count_NzNtVczcLC(a,a)+op_count_Z57zeUYC9z(op_AVIuaxj4s4(a),op_NzNtVczcLC(a,a))
    return count


def op_NNB5ObNxcr(a):
    return op_A1Uma3KAhE(op_mqXw5SEYmG(op_aMUSaJuDRU(a),op_9uqIsVI5ug(a,a)))

def op_count_NNB5ObNxcr(a):
    count = op_count_aMUSaJuDRU(a)+op_count_9uqIsVI5ug(a,a)+op_count_mqXw5SEYmG(op_aMUSaJuDRU(a),op_9uqIsVI5ug(a,a))+op_count_A1Uma3KAhE(op_mqXw5SEYmG(op_aMUSaJuDRU(a),op_9uqIsVI5ug(a,a)))
    return count


def op_P1luAuIuJu(a):
    return op_w2537kitQq(op_rTUPPhO5VL(a,a),op_YxhMJt5neZ(a))

def op_count_P1luAuIuJu(a):
    count = op_count_rTUPPhO5VL(a,a)+op_count_YxhMJt5neZ(a)+op_count_w2537kitQq(op_rTUPPhO5VL(a,a),op_YxhMJt5neZ(a))
    return count


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

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


def op_7qsl7NbTyq(a):
    return op_6jnLtSreEI(op_KXDdaHDbNw(108,a))

def op_count_7qsl7NbTyq(a):
    count = op_count_KXDdaHDbNw(108,a)+op_count_6jnLtSreEI(op_KXDdaHDbNw(108,a))
    return count


a↰⊳ = { (42⫷⇣a) , if (⊆⨾≳a)==17 ; (a⪬a) , else }

def op_u8yTy0jUQM(a):
    if op_VxTo73hUdI(a) == 17:
        return op_yyGr8FKHqM(42,a)
    else:
        return op_Ez1Nq5fNfI(a,a)

def op_count_u8yTy0jUQM(a):
    if op_VxTo73hUdI(a) == 17:
        count = op_count_yyGr8FKHqM(42,a)+op_count_VxTo73hUdI(a)
    else:
        count = op_count_Ez1Nq5fNfI(a,a)
    return count


def op_Q2lxY1eete(a):
    return op_yyfyN0ffXY(480,a)

def op_count_Q2lxY1eete(a):
    count = op_count_yyfyN0ffXY(480,a)
    return count


a⨽⪁b = { ((b↓≀b)↹(b⋘⪾b)) , if (b⫱∓248)!=250 ; ((b⪿⫂⇿a)⨣(b↛⩡⫤)) , else }

def op_pyPUrtY9wn(a, b):
    if op_i4KxFVfYQG(b,248) != 250:
        return op_Cu8F6Sd0bU(op_Izi1QHXWZJ(b,b),op_QzuynGCx6W(b,b))
    else:
        return op_5ClX4R8SjJ(op_bZEx4MGJjc(b,a),op_FU0Cs4j7VP(b))

def op_count_pyPUrtY9wn(a, b):
    if op_i4KxFVfYQG(b,248) != 250:
        count = op_count_Izi1QHXWZJ(b,b)+op_count_QzuynGCx6W(b,b)+op_count_Cu8F6Sd0bU(op_Izi1QHXWZJ(b,b),op_QzuynGCx6W(b,b))+op_count_i4KxFVfYQG(b,248)
    else:
        count = op_count_bZEx4MGJjc(b,a)+op_count_FU0Cs4j7VP(b)+op_count_5ClX4R8SjJ(op_bZEx4MGJjc(b,a),op_FU0Cs4j7VP(b))
    return count


def op_AkSqgaZO9l(a, b):
    return op_yUc8DJLAu4(op_AVIuaxj4s4(b),op_0pE9j4xUU7(b,a))

def op_count_AkSqgaZO9l(a, b):
    count = op_count_AVIuaxj4s4(b)+op_count_0pE9j4xUU7(b,a)+op_count_yUc8DJLAu4(op_AVIuaxj4s4(b),op_0pE9j4xUU7(b,a))
    return count


def op_bSFsjWNCVa(a, b):
    return op_ktfEB5Ypfm(op_NkmDxhANyO(b,a),op_UnCoSGIALn(b))

def op_count_bSFsjWNCVa(a, b):
    count = op_count_NkmDxhANyO(b,a)+op_count_UnCoSGIALn(b)+op_count_ktfEB5Ypfm(op_NkmDxhANyO(b,a),op_UnCoSGIALn(b))
    return count


a⪓⩫b = { (((a⊻∕⩌a)⪱↫b)⇐≸≯((b↙↷b)⩴(b⪬∳))) }

def op_lfXPsEszk0(a, b):
    return op_VCbe00QjLe(op_ZIsvYUQ4QW(op_Ex6nAywNVB(a,a),b),op_8YdTO89gQD(op_j8STMlMTgO(b,b),op_O9U3z1385E(b)))

def op_count_lfXPsEszk0(a, b):
    count = op_count_Ex6nAywNVB(a,a)+op_count_ZIsvYUQ4QW(op_Ex6nAywNVB(a,a),b)+op_count_j8STMlMTgO(b,b)+op_count_O9U3z1385E(b)+op_count_8YdTO89gQD(op_j8STMlMTgO(b,b),op_O9U3z1385E(b))+op_count_VCbe00QjLe(op_ZIsvYUQ4QW(op_Ex6nAywNVB(a,a),b),op_8YdTO89gQD(op_j8STMlMTgO(b,b),op_O9U3z1385E(b)))
    return count


a↲≗↜b = { (b⪔b) , if (b⋐⇩⊬)>307 or (b⇮356)>289 ; (a⨝⋈) , else }

def op_TR3g8rK8WX(a, b):
    if op_JuuLT1NoCs(b) > 307 or op_oqoWAMqwIq(b,356) > 289:
        return op_GjBEYRfMaF(b,b)
    else:
        return op_KGvK55y89q(a)

def op_count_TR3g8rK8WX(a, b):
    if op_JuuLT1NoCs(b) > 307 or op_oqoWAMqwIq(b,356) > 289:
        count = op_count_GjBEYRfMaF(b,b)+op_count_JuuLT1NoCs(b)+op_count_oqoWAMqwIq(b,356)
    else:
        count = op_count_KGvK55y89q(a)
    return count


def op_Q88Zjy1WlB(a):
    return op_Ob6c77wMhA(op_ilw4q3lFWn(33),op_fLJG5zVr1z(a,228))

def op_count_Q88Zjy1WlB(a):
    count = op_count_ilw4q3lFWn(33)+op_count_fLJG5zVr1z(a,228)+op_count_Ob6c77wMhA(op_ilw4q3lFWn(33),op_fLJG5zVr1z(a,228))
    return count


def op_ZJYqJlJGqs(a, b):
    return op_bR7FmX73P0(op_nOKPl9n5zu(a),op_kV9H2P1eKQ(b))

def op_count_ZJYqJlJGqs(a, b):
    count = op_count_nOKPl9n5zu(a)+op_count_kV9H2P1eKQ(b)+op_count_bR7FmX73P0(op_nOKPl9n5zu(a),op_kV9H2P1eKQ(b))
    return count


def op_VzYq48bTCO(a):
    if op_xdPrHzyJaz(a) >= 48:
        return op_pEteEgJd75(a)
    else:
        return op_oo9mF6JIpo(403)

def op_count_VzYq48bTCO(a):
    if op_xdPrHzyJaz(a) >= 48:
        count = op_count_pEteEgJd75(a)+op_count_xdPrHzyJaz(a)
    else:
        count = op_count_oo9mF6JIpo(403)
    return count


a∷+⇇b = { (a⪂⇙≶a) , if (⪇⪬b)==49 ; (238≁↽≥a) , else }

def op_aGb1zlhAKd(a, b):
    if op_xBbleKmA1B(b) == 49:
        return op_cA8pkMYiOz(a,a)
    else:
        return op_ncHt1X6cMc(238,a)

def op_count_aGb1zlhAKd(a, b):
    if op_xBbleKmA1B(b) == 49:
        count = op_count_cA8pkMYiOz(a,a)+op_count_xBbleKmA1B(b)
    else:
        count = op_count_ncHt1X6cMc(238,a)
    return count


a∤≓b = { (((280⨓⋛b)⫹≱(587⩂a))⪠⋋((a⊳⊾⊬b)⋐⇩⊬)) }

def op_6QbZ9miwIc(a, b):
    return op_vpnlV8YnDh(op_syzFGkhusE(op_RdfFZieUng(280,b),op_CfxG4j8dfZ(587,a)),op_JuuLT1NoCs(op_UNJVspG3Sj(a,b)))

def op_count_6QbZ9miwIc(a, b):
    count = op_count_RdfFZieUng(280,b)+op_count_CfxG4j8dfZ(587,a)+op_count_syzFGkhusE(op_RdfFZieUng(280,b),op_CfxG4j8dfZ(587,a))+op_count_UNJVspG3Sj(a,b)+op_count_JuuLT1NoCs(op_UNJVspG3Sj(a,b))+op_count_vpnlV8YnDh(op_syzFGkhusE(op_RdfFZieUng(280,b),op_CfxG4j8dfZ(587,a)),op_JuuLT1NoCs(op_UNJVspG3Sj(a,b)))
    return count


def op_atutLCrBFm(a, b):
    if op_Nz2E2qpr8g(a) <= 181:
        return op_fLJG5zVr1z(b,164)
    else:
        return op_yS1ZSNIEll(b,17)

def op_count_atutLCrBFm(a, b):
    if op_Nz2E2qpr8g(a) <= 181:
        count = op_count_fLJG5zVr1z(b,164)+op_count_Nz2E2qpr8g(a)
    else:
        count = op_count_yS1ZSNIEll(b,17)
    return count


def op_SGsY8FJHOs(a):
    return op_lNZWPMt3he(op_Tcnh7f0tEr(op_GpLCU43mni(445,92)),op_8mtiSnzBRA(op_CRedoB3qwL(a,409),op_x80b6tayha(a,a)))

def op_count_SGsY8FJHOs(a):
    count = op_count_GpLCU43mni(445,92)+op_count_Tcnh7f0tEr(op_GpLCU43mni(445,92))+op_count_CRedoB3qwL(a,409)+op_count_x80b6tayha(a,a)+op_count_8mtiSnzBRA(op_CRedoB3qwL(a,409),op_x80b6tayha(a,a))+op_count_lNZWPMt3he(op_Tcnh7f0tEr(op_GpLCU43mni(445,92)),op_8mtiSnzBRA(op_CRedoB3qwL(a,409),op_x80b6tayha(a,a)))
    return count


↛⨮⋕a = { (((a∘≹⊼a)↯⪋≎(a⇷⋗a))↦⩻⊓(∔⇛⇴(a⊷⫩⩔a))) }

def op_s2ZnbZMk1e(a):
    return op_kf2MGdd7i0(op_Y827t4Oxkq(op_TSjMxbSiHV(a,a),op_MFRHkRtSmA(a,a)),op_jIlvZZ4qlV(op_ralaNa988P(a,a)))

def op_count_s2ZnbZMk1e(a):
    count = op_count_TSjMxbSiHV(a,a)+op_count_MFRHkRtSmA(a,a)+op_count_Y827t4Oxkq(op_TSjMxbSiHV(a,a),op_MFRHkRtSmA(a,a))+op_count_ralaNa988P(a,a)+op_count_jIlvZZ4qlV(op_ralaNa988P(a,a))+op_count_kf2MGdd7i0(op_Y827t4Oxkq(op_TSjMxbSiHV(a,a),op_MFRHkRtSmA(a,a)),op_jIlvZZ4qlV(op_ralaNa988P(a,a)))
    return count


def op_JUHsk2aNYO(a):
    return op_NiUpd8fmgo(op_ZAXeO6SPf6(a,a))

def op_count_JUHsk2aNYO(a):
    count = op_count_ZAXeO6SPf6(a,a)+op_count_NiUpd8fmgo(op_ZAXeO6SPf6(a,a))
    return count


⋑/⊬a = { (↔⊐⋟a) , if a!=172 ; a , else }

def op_Mhm3241bUh(a):
    if a != 172:
        return op_nuZMgjAhXC(a)
    else:
        return a

def op_count_Mhm3241bUh(a):
    if a != 172:
        count = op_count_nuZMgjAhXC(a)
    else:
        count = 1
    return count


def op_O2dvc4p6Kl(a, b):
    if (op_38uX3UqIft(b,787) == 22 and op_0MyB4WGeSt(b) < 316):
        return op_wxno1H4PnZ(op_97rocKiZDM(a,415),op_XCNViHof92(a))
    else:
        return op_6aG7x05OhS(op_kE9YHawE8s(a,13))

def op_count_O2dvc4p6Kl(a, b):
    if (op_38uX3UqIft(b,787) == 22 and op_0MyB4WGeSt(b) < 316):
        count = op_count_97rocKiZDM(a,415)+op_count_XCNViHof92(a)+op_count_wxno1H4PnZ(op_97rocKiZDM(a,415),op_XCNViHof92(a))+op_count_38uX3UqIft(b,787)+op_count_0MyB4WGeSt(b)
    else:
        count = op_count_kE9YHawE8s(a,13)+op_count_6aG7x05OhS(op_kE9YHawE8s(a,13))
    return count


def op_pnBIoLvPwZ(a):
    return op_qLiEs2rVxT(op_tBGIMk9cIe(399),op_RCaVxOOjgb(a))

def op_count_pnBIoLvPwZ(a):
    count = op_count_tBGIMk9cIe(399)+op_count_RCaVxOOjgb(a)+op_count_qLiEs2rVxT(op_tBGIMk9cIe(399),op_RCaVxOOjgb(a))
    return count


def op_uO4ZOdvu6b(a):
    return op_aHlGvsvWuT(op_Z3sQ9jTwIj(op_oW1cUEY5Sq(a,a)),op_HOs11gFUaq(op_RpQvJizf4x(a,a),op_MahUMFw56D(53)))

def op_count_uO4ZOdvu6b(a):
    count = op_count_oW1cUEY5Sq(a,a)+op_count_Z3sQ9jTwIj(op_oW1cUEY5Sq(a,a))+op_count_RpQvJizf4x(a,a)+op_count_MahUMFw56D(53)+op_count_HOs11gFUaq(op_RpQvJizf4x(a,a),op_MahUMFw56D(53))+op_count_aHlGvsvWuT(op_Z3sQ9jTwIj(op_oW1cUEY5Sq(a,a)),op_HOs11gFUaq(op_RpQvJizf4x(a,a),op_MahUMFw56D(53)))
    return count


def op_Yrnr7LDUUy(a):
    return op_HBr05eZif0(op_ziBb4sC0ZT(a),op_YFQVrlY9jA(a,a))

def op_count_Yrnr7LDUUy(a):
    count = op_count_ziBb4sC0ZT(a)+op_count_YFQVrlY9jA(a,a)+op_count_HBr05eZif0(op_ziBb4sC0ZT(a),op_YFQVrlY9jA(a,a))
    return count


def op_qrkhgCXcSQ(a):
    return op_3ViojmjbAp(a,a)

def op_count_qrkhgCXcSQ(a):
    count = op_count_3ViojmjbAp(a,a)
    return count


a⇾⩧ = { (a∛≔) , if (a⊶⊞99)!=239 ; (a⋢⫂a) , else }

def op_g8L98nSlyu(a):
    if op_vqL3z2Fhus(a,99) != 239:
        return op_mGnSCrte3L(a)
    else:
        return op_MapNMPHSAz(a,a)

def op_count_g8L98nSlyu(a):
    if op_vqL3z2Fhus(a,99) != 239:
        count = op_count_mGnSCrte3L(a)+op_count_vqL3z2Fhus(a,99)
    else:
        count = op_count_MapNMPHSAz(a,a)
    return count


def op_hjiMN6AJwb(a):
    return op_AzXXKTstlj(a,a)

def op_count_hjiMN6AJwb(a):
    count = op_count_AzXXKTstlj(a,a)
    return count


def op_8oUIdhBP3a(a, b):
    if op_BAYcl7KEcJ(a,723) > 612:
        return op_I7sXao9hZE(338,a)
    else:
        return op_438NZEZFZN(b)

def op_count_8oUIdhBP3a(a, b):
    if op_BAYcl7KEcJ(a,723) > 612:
        count = op_count_I7sXao9hZE(338,a)+op_count_BAYcl7KEcJ(a,723)
    else:
        count = op_count_438NZEZFZN(b)
    return count


def op_VzlfKl8IS2(a):
    if (op_aqU8F3SgaS(a,49) > 258 or a >= 101 or op_CfshEWpL66(a,603) > 118):
        return op_7L96h23J1a(op_lwHaAYXP2r(61,a),op_DkIP5kYgcc(a))
    else:
        return op_A8NUZmVepG(op_bQy7iKdSPD(a,500))

def op_count_VzlfKl8IS2(a):
    if (op_aqU8F3SgaS(a,49) > 258 or a >= 101 or op_CfshEWpL66(a,603) > 118):
        count = op_count_lwHaAYXP2r(61,a)+op_count_DkIP5kYgcc(a)+op_count_7L96h23J1a(op_lwHaAYXP2r(61,a),op_DkIP5kYgcc(a))+op_count_aqU8F3SgaS(a,49)+op_count_CfshEWpL66(a,603)
    else:
        count = op_count_bQy7iKdSPD(a,500)+op_count_A8NUZmVepG(op_bQy7iKdSPD(a,500))
    return count


a⨺≊⩗b = { (((385⨭⫎a)⇀(86≱∛b))⋄⩥∩((a⊂⇚⋠b)⋌(⫟⊘≑a))) , if (⪂↾⇗a)!=338 ; (((232⨓↶b)↯⊜(≨∯81))⫢⨏≡(⪎⊐⪿(b≄⩻a))) , else }

def op_HIQX0yGik5(a, b):
    if op_5TMUGFeU0s(a) != 338:
        return op_bq0uxnJnnH(op_4mnGiJ3ceb(op_OVAuBYEMFc(385,a),op_qFXstJKlZD(86,b)),op_MlMyrKhIQ5(op_aYHIbi88av(a,b),op_HRCQ8rqs77(a)))
    else:
        return op_ln8odt1XeD(op_54UxIFHdAV(op_h0RDTF413h(232,b),op_ilw4q3lFWn(81)),op_rTLvlHl7eZ(op_GRrQNMyeGD(b,a)))

def op_count_HIQX0yGik5(a, b):
    if op_5TMUGFeU0s(a) != 338:
        count = op_count_OVAuBYEMFc(385,a)+op_count_qFXstJKlZD(86,b)+op_count_4mnGiJ3ceb(op_OVAuBYEMFc(385,a),op_qFXstJKlZD(86,b))+op_count_aYHIbi88av(a,b)+op_count_HRCQ8rqs77(a)+op_count_MlMyrKhIQ5(op_aYHIbi88av(a,b),op_HRCQ8rqs77(a))+op_count_bq0uxnJnnH(op_4mnGiJ3ceb(op_OVAuBYEMFc(385,a),op_qFXstJKlZD(86,b)),op_MlMyrKhIQ5(op_aYHIbi88av(a,b),op_HRCQ8rqs77(a)))+op_count_5TMUGFeU0s(a)
    else:
        count = op_count_h0RDTF413h(232,b)+op_count_ilw4q3lFWn(81)+op_count_54UxIFHdAV(op_h0RDTF413h(232,b),op_ilw4q3lFWn(81))+op_count_GRrQNMyeGD(b,a)+op_count_rTLvlHl7eZ(op_GRrQNMyeGD(b,a))+op_count_ln8odt1XeD(op_54UxIFHdAV(op_h0RDTF413h(232,b),op_ilw4q3lFWn(81)),op_rTLvlHl7eZ(op_GRrQNMyeGD(b,a)))
    return count


∘⇃a = { ((a∷↨⪰(a⋡a))⩅(⋀⩖⩭(a≡a))) , if (⫟⨍a)>=237 ; (((a⨵⪥⨑a)⪁(a⪥⋳a))⊸∇((⫼a)∫⋜⩖(331⪌⊌⪟a))) , else }

def op_XGn1afrCIn(a):
    if op_eBxW6LweQX(a) >= 237:
        return op_WHvsDZpt7Z(op_I1sHTgYUb4(a,op_aZYNwA0vxh(a,a)),op_YA9ZD7yxyr(op_oW1cUEY5Sq(a,a)))
    else:
        return op_wpd8nos5YA(op_I7sXao9hZE(op_Kep1ax30Fl(a,a),op_lrx2PmmfOO(a,a)),op_JgXZM7XvWE(op_ozBFlv7jAp(a),op_lr4bYNdzaZ(331,a)))

def op_count_XGn1afrCIn(a):
    if op_eBxW6LweQX(a) >= 237:
        count = op_count_aZYNwA0vxh(a,a)+op_count_I1sHTgYUb4(a,op_aZYNwA0vxh(a,a))+op_count_oW1cUEY5Sq(a,a)+op_count_YA9ZD7yxyr(op_oW1cUEY5Sq(a,a))+op_count_WHvsDZpt7Z(op_I1sHTgYUb4(a,op_aZYNwA0vxh(a,a)),op_YA9ZD7yxyr(op_oW1cUEY5Sq(a,a)))+op_count_eBxW6LweQX(a)
    else:
        count = op_count_Kep1ax30Fl(a,a)+op_count_lrx2PmmfOO(a,a)+op_count_I7sXao9hZE(op_Kep1ax30Fl(a,a),op_lrx2PmmfOO(a,a))+op_count_ozBFlv7jAp(a)+op_count_lr4bYNdzaZ(331,a)+op_count_JgXZM7XvWE(op_ozBFlv7jAp(a),op_lr4bYNdzaZ(331,a))+op_count_wpd8nos5YA(op_I7sXao9hZE(op_Kep1ax30Fl(a,a),op_lrx2PmmfOO(a,a)),op_JgXZM7XvWE(op_ozBFlv7jAp(a),op_lr4bYNdzaZ(331,a)))
    return count


def op_Mb1BUMy4on(a):
    return op_oo9mF6JIpo(op_0YlV2lZqOw(op_6o9Blt3TJ6(a,a),a))

def op_count_Mb1BUMy4on(a):
    count = op_count_6o9Blt3TJ6(a,a)+op_count_0YlV2lZqOw(op_6o9Blt3TJ6(a,a),a)+op_count_oo9mF6JIpo(op_0YlV2lZqOw(op_6o9Blt3TJ6(a,a),a))
    return count


def op_fv96gLqN8H(a, b):
    return op_V2wPz6I6tV(b,op_DEAy1fljX8(op_y4ImoPnbV5(a,a),op_2S2w38ZqYE(b)))

def op_count_fv96gLqN8H(a, b):
    count = op_count_y4ImoPnbV5(a,a)+op_count_2S2w38ZqYE(b)+op_count_DEAy1fljX8(op_y4ImoPnbV5(a,a),op_2S2w38ZqYE(b))+op_count_V2wPz6I6tV(b,op_DEAy1fljX8(op_y4ImoPnbV5(a,a),op_2S2w38ZqYE(b)))
    return count


def op_nAU3vNjHgU(a, b):
    return op_6P75XYiP07(op_HjyhWlPDg7(b,a),op_NYIHRc2x51(b,b))

def op_count_nAU3vNjHgU(a, b):
    count = op_count_HjyhWlPDg7(b,a)+op_count_NYIHRc2x51(b,b)+op_count_6P75XYiP07(op_HjyhWlPDg7(b,a),op_NYIHRc2x51(b,b))
    return count


def op_aK7wy0L7OR(a):
    return op_FAhOgU50NN(op_DEAy1fljX8(a,op_WHvsDZpt7Z(a,a)))

def op_count_aK7wy0L7OR(a):
    count = op_count_WHvsDZpt7Z(a,a)+op_count_DEAy1fljX8(a,op_WHvsDZpt7Z(a,a))+op_count_FAhOgU50NN(op_DEAy1fljX8(a,op_WHvsDZpt7Z(a,a)))
    return count


def op_mNfrhZ1D1E(a):
    if op_WSbXXWOizJ(a,929) > 269:
        return op_Qglmzouulk(0,a)
    else:
        return op_liw5iZPkLH(804)

def op_count_mNfrhZ1D1E(a):
    if op_WSbXXWOizJ(a,929) > 269:
        count = op_count_Qglmzouulk(0,a)+op_count_WSbXXWOizJ(a,929)
    else:
        count = op_count_liw5iZPkLH(804)
    return count


a⋐⪋b = { ((⪕↣⫥(667⩃⫫⩌a))⨣∛((⊢+⋕b)↯⪋≎(⨖⋏⩰a))) , if ((a⊲≆731)!=152 and (a⊝⇑≪)!=30) ; a , else }

def op_lDk9nVpGHI(a, b):
    if (op_L0XVkq44a1(a,731) != 152 and op_yZQ9bFX2OK(a) != 30):
        return op_J8XgpbiY9M(op_wTbdp8pxvm(op_ac6OB0jBIj(667,a)),op_Y827t4Oxkq(op_CG9pxRMcZU(b),op_zzjJUkkopk(a)))
    else:
        return a

def op_count_lDk9nVpGHI(a, b):
    if (op_L0XVkq44a1(a,731) != 152 and op_yZQ9bFX2OK(a) != 30):
        count = op_count_ac6OB0jBIj(667,a)+op_count_wTbdp8pxvm(op_ac6OB0jBIj(667,a))+op_count_CG9pxRMcZU(b)+op_count_zzjJUkkopk(a)+op_count_Y827t4Oxkq(op_CG9pxRMcZU(b),op_zzjJUkkopk(a))+op_count_J8XgpbiY9M(op_wTbdp8pxvm(op_ac6OB0jBIj(667,a)),op_Y827t4Oxkq(op_CG9pxRMcZU(b),op_zzjJUkkopk(a)))+op_count_L0XVkq44a1(a,731)+op_count_yZQ9bFX2OK(a)
    else:
        count = 1
    return count


a⫾⩮⪒b = { (b⇗≫b) , if (a⪏⇁⨻88)<=81 ; (a⫸⇍a) , else }

def op_FsOkgZJFKv(a, b):
    if op_Bw1fwYnFxE(a,88) <= 81:
        return op_S4LUIutb1e(b,b)
    else:
        return op_RTaRm1inG1(a,a)

def op_count_FsOkgZJFKv(a, b):
    if op_Bw1fwYnFxE(a,88) <= 81:
        count = op_count_S4LUIutb1e(b,b)+op_count_Bw1fwYnFxE(a,88)
    else:
        count = op_count_RTaRm1inG1(a,a)
    return count


↤∈≎a = { (a∜312) , if (a⊥⊂)==9 ; (⇟⋻a) , else }

def op_W45kItDdE7(a):
    if op_B1iudNz5rI(a) == 9:
        return op_VX9aY244yz(a,312)
    else:
        return op_2IFpBACqy9(a)

def op_count_W45kItDdE7(a):
    if op_B1iudNz5rI(a) == 9:
        count = op_count_VX9aY244yz(a,312)+op_count_B1iudNz5rI(a)
    else:
        count = op_count_2IFpBACqy9(a)
    return count


def op_zY2U9upU6u(a):
    if op_lAUTOmyRBs(a,16) == 120 or a != 207 or op_mb1liLwOKQ(a,351) >= 17:
        return op_K1uHWJv1IW(op_5TUYCnJO6w(90),op_EwuI1FZGOD(743,a))
    else:
        return op_5nPQLPO2y6(op_l6yaTd3a70(a))

def op_count_zY2U9upU6u(a):
    if op_lAUTOmyRBs(a,16) == 120 or a != 207 or op_mb1liLwOKQ(a,351) >= 17:
        count = op_count_5TUYCnJO6w(90)+op_count_EwuI1FZGOD(743,a)+op_count_K1uHWJv1IW(op_5TUYCnJO6w(90),op_EwuI1FZGOD(743,a))+op_count_lAUTOmyRBs(a,16)+op_count_mb1liLwOKQ(a,351)
    else:
        count = op_count_l6yaTd3a70(a)+op_count_5nPQLPO2y6(op_l6yaTd3a70(a))
    return count


def op_OfmdZYmI75(a):
    return op_wObHbfC1Ju(op_lwHaAYXP2r(a,a))

def op_count_OfmdZYmI75(a):
    count = op_count_lwHaAYXP2r(a,a)+op_count_wObHbfC1Ju(op_lwHaAYXP2r(a,a))
    return count


def op_pKrZnT3Ud0(a, b):
    return op_3dhzKXxroQ(op_nREPSIbpBE(21,b),op_kf2MGdd7i0(a,a))

def op_count_pKrZnT3Ud0(a, b):
    count = op_count_nREPSIbpBE(21,b)+op_count_kf2MGdd7i0(a,a)+op_count_3dhzKXxroQ(op_nREPSIbpBE(21,b),op_kf2MGdd7i0(a,a))
    return count


⊁⫙↠a = { (((a⋗a)%⋁⇘(a⩺⪪a))⊐⫶((⩆↑⇝a)⪭⊓)) }

def op_KcZhLNx6yj(a):
    return op_ejsynaZir6(op_AOY1O378J6(op_hy5IL4GG6G(a,a),op_uvdQJvN4PV(a,a)),op_dqLymamn1g(op_FAUHmXADzM(a)))

def op_count_KcZhLNx6yj(a):
    count = op_count_hy5IL4GG6G(a,a)+op_count_uvdQJvN4PV(a,a)+op_count_AOY1O378J6(op_hy5IL4GG6G(a,a),op_uvdQJvN4PV(a,a))+op_count_FAUHmXADzM(a)+op_count_dqLymamn1g(op_FAUHmXADzM(a))+op_count_ejsynaZir6(op_AOY1O378J6(op_hy5IL4GG6G(a,a),op_uvdQJvN4PV(a,a)),op_dqLymamn1g(op_FAUHmXADzM(a)))
    return count


a⩧⫵⨨b = { (((b≬⋮a)⇐≸≯(⫎a))⨓a) , if b!=5 ; ((∟⋤(55⩉→⋫b))⪜(⩕⩹(79↙⪈))) , else }

def op_ELQPI6QWZ8(a, b):
    if b != 5:
        return op_3ViojmjbAp(op_VCbe00QjLe(op_kbkesczE7y(b,a),op_j27Jgf5Byt(a)),a)
    else:
        return op_EMR9JvRK8T(op_e2I50Kkg91(op_OHdKWLbo3y(55,b)),op_h6W8D785mx(op_ftHijYs5gh(79)))

def op_count_ELQPI6QWZ8(a, b):
    if b != 5:
        count = op_count_kbkesczE7y(b,a)+op_count_j27Jgf5Byt(a)+op_count_VCbe00QjLe(op_kbkesczE7y(b,a),op_j27Jgf5Byt(a))+op_count_3ViojmjbAp(op_VCbe00QjLe(op_kbkesczE7y(b,a),op_j27Jgf5Byt(a)),a)
    else:
        count = op_count_OHdKWLbo3y(55,b)+op_count_e2I50Kkg91(op_OHdKWLbo3y(55,b))+op_count_ftHijYs5gh(79)+op_count_h6W8D785mx(op_ftHijYs5gh(79))+op_count_EMR9JvRK8T(op_e2I50Kkg91(op_OHdKWLbo3y(55,b)),op_h6W8D785mx(op_ftHijYs5gh(79)))
    return count


def op_2VUwkSEfsx(a):
    return op_ovZcSHEfmM(op_AzXXKTstlj(a,1),op_OMlED4Os5J(a,a))

def op_count_2VUwkSEfsx(a):
    count = op_count_AzXXKTstlj(a,1)+op_count_OMlED4Os5J(a,a)+op_count_ovZcSHEfmM(op_AzXXKTstlj(a,1),op_OMlED4Os5J(a,a))
    return count


def op_9vOtoqJqyB(a, b):
    return op_FreGwbQ5tl(op_oo9mF6JIpo(a),op_5wMGBMjzkl(a,b))

def op_count_9vOtoqJqyB(a, b):
    count = op_count_oo9mF6JIpo(a)+op_count_5wMGBMjzkl(a,b)+op_count_FreGwbQ5tl(op_oo9mF6JIpo(a),op_5wMGBMjzkl(a,b))
    return count


def op_eg9tqZPXwy(a):
    return op_uewDYDcSPn(op_H0fWaTn7v4(690,a))

def op_count_eg9tqZPXwy(a):
    count = op_count_H0fWaTn7v4(690,a)+op_count_uewDYDcSPn(op_H0fWaTn7v4(690,a))
    return count


def op_KE6Uc1yoaK(a):
    return op_SQxhFGQGJk(op_5HFUViGXfi(op_BvEEMilsQy(a),op_tHss8q0tGc(a)))

def op_count_KE6Uc1yoaK(a):
    count = op_count_BvEEMilsQy(a)+op_count_tHss8q0tGc(a)+op_count_5HFUViGXfi(op_BvEEMilsQy(a),op_tHss8q0tGc(a))+op_count_SQxhFGQGJk(op_5HFUViGXfi(op_BvEEMilsQy(a),op_tHss8q0tGc(a)))
    return count


a⪂⋪⇄ = { (((⪼∅⊑a)↝⩙(a⪾⨍⩥a))⋺⫬((⩯⩽a)∻⫏(∛≨a))) , if (a⇶⇳)>=88 ; (((a−⩎√a)⪕(a≄a))∹≔((⩆∭⫘a)⫦⫋(179⋻⩜⩜a))) , else }

def op_Fm4oiKTFMb(a):
    if op_cC2vwN27BI(a) >= 88:
        return op_N2CwLZHY2H(op_e3mPa9iSev(op_qhB8w1fwWp(a),op_cqZq8M6Jmk(a,a)),op_5rvhbTr1DR(op_EFztOthsbg(a),op_Qh0O3qRqMr(a)))
    else:
        return op_mA6yuBE6QF(op_umQnsF7QlU(op_tW6TlDUxtJ(a,a),op_fLJG5zVr1z(a,a)),op_2SUl30BnjX(op_lKIdTCn6US(a),op_oDCm7WA9JY(179,a)))

def op_count_Fm4oiKTFMb(a):
    if op_cC2vwN27BI(a) >= 88:
        count = op_count_qhB8w1fwWp(a)+op_count_cqZq8M6Jmk(a,a)+op_count_e3mPa9iSev(op_qhB8w1fwWp(a),op_cqZq8M6Jmk(a,a))+op_count_EFztOthsbg(a)+op_count_Qh0O3qRqMr(a)+op_count_5rvhbTr1DR(op_EFztOthsbg(a),op_Qh0O3qRqMr(a))+op_count_N2CwLZHY2H(op_e3mPa9iSev(op_qhB8w1fwWp(a),op_cqZq8M6Jmk(a,a)),op_5rvhbTr1DR(op_EFztOthsbg(a),op_Qh0O3qRqMr(a)))+op_count_cC2vwN27BI(a)
    else:
        count = op_count_tW6TlDUxtJ(a,a)+op_count_fLJG5zVr1z(a,a)+op_count_umQnsF7QlU(op_tW6TlDUxtJ(a,a),op_fLJG5zVr1z(a,a))+op_count_lKIdTCn6US(a)+op_count_oDCm7WA9JY(179,a)+op_count_2SUl30BnjX(op_lKIdTCn6US(a),op_oDCm7WA9JY(179,a))+op_count_mA6yuBE6QF(op_umQnsF7QlU(op_tW6TlDUxtJ(a,a),op_fLJG5zVr1z(a,a)),op_2SUl30BnjX(op_lKIdTCn6US(a),op_oDCm7WA9JY(179,a)))
    return count


a⩡⫉b = { (((b⪯a)⫚⨜⫂(b⫚⪑b))⨪↰⇹((↞≼b)∎∾⫀(266≨⩚⋠0))) }

def op_G0PQh5MwPO(a, b):
    return op_tmPS8pqC7x(op_fSM0JS9f3g(op_I3ZanAtbUM(b,a),op_JlkbvlDEhB(b,b)),op_5BPGwbLSwr(op_DE7zCoGJt9(b),op_nVrtwXAeRc(266,0)))

def op_count_G0PQh5MwPO(a, b):
    count = op_count_I3ZanAtbUM(b,a)+op_count_JlkbvlDEhB(b,b)+op_count_fSM0JS9f3g(op_I3ZanAtbUM(b,a),op_JlkbvlDEhB(b,b))+op_count_DE7zCoGJt9(b)+op_count_nVrtwXAeRc(266,0)+op_count_5BPGwbLSwr(op_DE7zCoGJt9(b),op_nVrtwXAeRc(266,0))+op_count_tmPS8pqC7x(op_fSM0JS9f3g(op_I3ZanAtbUM(b,a),op_JlkbvlDEhB(b,b)),op_5BPGwbLSwr(op_DE7zCoGJt9(b),op_nVrtwXAeRc(266,0)))
    return count


def op_SmkgnA968v(a, b):
    return op_cTbZ3MnyPQ(op_Y827t4Oxkq(op_TMIS6r1MbZ(a),op_hUGWutwbTt(a,b)))

def op_count_SmkgnA968v(a, b):
    count = op_count_TMIS6r1MbZ(a)+op_count_hUGWutwbTt(a,b)+op_count_Y827t4Oxkq(op_TMIS6r1MbZ(a),op_hUGWutwbTt(a,b))+op_count_cTbZ3MnyPQ(op_Y827t4Oxkq(op_TMIS6r1MbZ(a),op_hUGWutwbTt(a,b)))
    return count


↪↿⇺a = { (a⫡a) , if (a⋷⫙∸872)<57 ; (a∳⫺a) , else }

def op_FIrfzHNbUm(a):
    if op_8oxTided8f(a,872) < 57:
        return op_r42jg1nETI(a,a)
    else:
        return op_AzXXKTstlj(a,a)

def op_count_FIrfzHNbUm(a):
    if op_8oxTided8f(a,872) < 57:
        count = op_count_r42jg1nETI(a,a)+op_count_8oxTided8f(a,872)
    else:
        count = op_count_AzXXKTstlj(a,a)
    return count


def op_ONiQJrfMcB(a):
    return op_QZ9P4kLCOX(op_R853JquVHs(a,508),op_otIR7kHRl1(a,a))

def op_count_ONiQJrfMcB(a):
    count = op_count_R853JquVHs(a,508)+op_count_otIR7kHRl1(a,a)+op_count_QZ9P4kLCOX(op_R853JquVHs(a,508),op_otIR7kHRl1(a,a))
    return count


a⨦⨅⫱ = { (((a⋋∟⊰a)⇭⩛(a←⩟a))⊛∫((146⩤⪞a)⪬∳)) }

def op_3VCmebEnkL(a):
    return op_VITHB2EcLN(op_i7brRvs2Zr(op_mrNpOysvNy(a,a),op_Tcl1okrsLo(a,a)),op_O9U3z1385E(op_dVH6fed4yM(146,a)))

def op_count_3VCmebEnkL(a):
    count = op_count_mrNpOysvNy(a,a)+op_count_Tcl1okrsLo(a,a)+op_count_i7brRvs2Zr(op_mrNpOysvNy(a,a),op_Tcl1okrsLo(a,a))+op_count_dVH6fed4yM(146,a)+op_count_O9U3z1385E(op_dVH6fed4yM(146,a))+op_count_VITHB2EcLN(op_i7brRvs2Zr(op_mrNpOysvNy(a,a),op_Tcl1okrsLo(a,a)),op_O9U3z1385E(op_dVH6fed4yM(146,a)))
    return count


def op_bwmYDuVZUh(a, b):
    return op_mmv5UHiqV1(op_pC37afr74b(op_Mqg6Kpcx5i(a,a),b))

def op_count_bwmYDuVZUh(a, b):
    count = op_count_Mqg6Kpcx5i(a,a)+op_count_pC37afr74b(op_Mqg6Kpcx5i(a,a),b)+op_count_mmv5UHiqV1(op_pC37afr74b(op_Mqg6Kpcx5i(a,a),b))
    return count


def op_zrtTgzMHZU(a):
    return op_P3lXMJvFrc(401,a)

def op_count_zrtTgzMHZU(a):
    count = op_count_P3lXMJvFrc(401,a)
    return count


def op_yyAgkU6uLp(a, b):
    if op_6BFomJzHVX(b,534) != 182:
        return op_HhERX61e69(op_4wdLeFtEcX(op_19xM9lTKYo(b,b)),op_kSF6tTRmc5(op_UnCoSGIALn(b),op_Vo2B4cwqRB(b,a)))
    else:
        return op_m612RDITqL(op_PKukPltB9T(op_SEAGOOoQ7b(424,b),op_k8jYdgA6NY(30,b)),op_CCAkqlVbr4(op_zPaCbzxRhG(a)))

def op_count_yyAgkU6uLp(a, b):
    if op_6BFomJzHVX(b,534) != 182:
        count = op_count_19xM9lTKYo(b,b)+op_count_4wdLeFtEcX(op_19xM9lTKYo(b,b))+op_count_UnCoSGIALn(b)+op_count_Vo2B4cwqRB(b,a)+op_count_kSF6tTRmc5(op_UnCoSGIALn(b),op_Vo2B4cwqRB(b,a))+op_count_HhERX61e69(op_4wdLeFtEcX(op_19xM9lTKYo(b,b)),op_kSF6tTRmc5(op_UnCoSGIALn(b),op_Vo2B4cwqRB(b,a)))+op_count_6BFomJzHVX(b,534)
    else:
        count = op_count_SEAGOOoQ7b(424,b)+op_count_k8jYdgA6NY(30,b)+op_count_PKukPltB9T(op_SEAGOOoQ7b(424,b),op_k8jYdgA6NY(30,b))+op_count_zPaCbzxRhG(a)+op_count_CCAkqlVbr4(op_zPaCbzxRhG(a))+op_count_m612RDITqL(op_PKukPltB9T(op_SEAGOOoQ7b(424,b),op_k8jYdgA6NY(30,b)),op_CCAkqlVbr4(op_zPaCbzxRhG(a)))
    return count


def op_HELPBHtBLO(a):
    return op_iKh8wCAbb7(op_0KMCeP1Jsh(a,a))

def op_count_HELPBHtBLO(a):
    count = op_count_0KMCeP1Jsh(a,a)+op_count_iKh8wCAbb7(op_0KMCeP1Jsh(a,a))
    return count


⫦⩈≗a = { (≑⋘a) , if (≣⊋∠a)>378 ; (a⨩⊗a) , else }

def op_W5L46Wd8a2(a):
    if op_yBIyVna2gu(a) > 378:
        return op_ancsfN6GXi(a)
    else:
        return op_Bw0fzZ75Yl(a,a)

def op_count_W5L46Wd8a2(a):
    if op_yBIyVna2gu(a) > 378:
        count = op_count_ancsfN6GXi(a)+op_count_yBIyVna2gu(a)
    else:
        count = op_count_Bw0fzZ75Yl(a,a)
    return count


def op_bhub7uR4Wy(a):
    return op_VX9aY244yz(a,733)

def op_count_bhub7uR4Wy(a):
    count = op_count_VX9aY244yz(a,733)
    return count


def op_KGpiLyxIW6(a, b):
    return op_xtBOMFLMmK(op_F4hYhBNyxh(b,a),op_48vC8HMD2b(b,112))

def op_count_KGpiLyxIW6(a, b):
    count = op_count_F4hYhBNyxh(b,a)+op_count_48vC8HMD2b(b,112)+op_count_xtBOMFLMmK(op_F4hYhBNyxh(b,a),op_48vC8HMD2b(b,112))
    return count


def op_BbBqXtSWZG(a):
    return op_3ViojmjbAp(op_GPz4iu2eFk(a,a),op_NjWr5y99d1(144,a))

def op_count_BbBqXtSWZG(a):
    count = op_count_GPz4iu2eFk(a,a)+op_count_NjWr5y99d1(144,a)+op_count_3ViojmjbAp(op_GPz4iu2eFk(a,a),op_NjWr5y99d1(144,a))
    return count


↚⫨∋a = { (((a⊬⩼⊳a)⨇⩔(a⊵55))⊲⊺(⪨⨬(41⫊⪾⫇a))) }

def op_KutHbir15P(a):
    return op_XFw8Sin97h(op_q1sc1H7in7(op_4F7LFkBAZC(a,a),op_eaFBhJ0Uku(a,55)),op_5obUd6DV38(op_svYG05ELwl(41,a)))

def op_count_KutHbir15P(a):
    count = op_count_4F7LFkBAZC(a,a)+op_count_eaFBhJ0Uku(a,55)+op_count_q1sc1H7in7(op_4F7LFkBAZC(a,a),op_eaFBhJ0Uku(a,55))+op_count_svYG05ELwl(41,a)+op_count_5obUd6DV38(op_svYG05ELwl(41,a))+op_count_XFw8Sin97h(op_q1sc1H7in7(op_4F7LFkBAZC(a,a),op_eaFBhJ0Uku(a,55)),op_5obUd6DV38(op_svYG05ELwl(41,a)))
    return count


a⨢⫆↮b = { ((⨰⫟⨤(175⨌↿a))⫡⫢((79⫂∏a)⇔⩴≼(a⨧↗⨷b))) }

def op_f3sHO3maxt(a, b):
    return op_rDggvnkF54(op_Tw270M8GLb(op_mOUIj6rraD(175,a)),op_Ss7kna3OSG(op_01leFtwrgg(79,a),op_WSbXXWOizJ(a,b)))

def op_count_f3sHO3maxt(a, b):
    count = op_count_mOUIj6rraD(175,a)+op_count_Tw270M8GLb(op_mOUIj6rraD(175,a))+op_count_01leFtwrgg(79,a)+op_count_WSbXXWOizJ(a,b)+op_count_Ss7kna3OSG(op_01leFtwrgg(79,a),op_WSbXXWOizJ(a,b))+op_count_rDggvnkF54(op_Tw270M8GLb(op_mOUIj6rraD(175,a)),op_Ss7kna3OSG(op_01leFtwrgg(79,a),op_WSbXXWOizJ(a,b)))
    return count


a⨸≨ = { ((a⩎⪣⊞)⋐⫨(23⨟⋡⇮a)) , if (a≤⪽827)<=228 ; (a∥⋈(a⋗⇕a)) , else }

def op_f26Zsfl9R9(a):
    if op_rIhv4QYABv(a,827) <= 228:
        return op_tegVxjLGUd(op_waWucp1uQ4(a),op_vdIy956WRd(23,a))
    else:
        return op_j7kFUh2iBI(a,op_2DhqeOovny(a,a))

def op_count_f26Zsfl9R9(a):
    if op_rIhv4QYABv(a,827) <= 228:
        count = op_count_waWucp1uQ4(a)+op_count_vdIy956WRd(23,a)+op_count_tegVxjLGUd(op_waWucp1uQ4(a),op_vdIy956WRd(23,a))+op_count_rIhv4QYABv(a,827)
    else:
        count = op_count_2DhqeOovny(a,a)+op_count_j7kFUh2iBI(a,op_2DhqeOovny(a,a))
    return count


def op_6sjkl0TBQG(a):
    return op_wPaLWLSZ6I(op_lz4dBNPYLn(a),op_C1PIbbV0Fo(a,a))

def op_count_6sjkl0TBQG(a):
    count = op_count_lz4dBNPYLn(a)+op_count_C1PIbbV0Fo(a,a)+op_count_wPaLWLSZ6I(op_lz4dBNPYLn(a),op_C1PIbbV0Fo(a,a))
    return count


a⨝≼⊅b = { (((∽≹b)⨽⇀(a↳≱b))⊻((a∎)↵(a∙b))) }

def op_LeaixnEh0y(a, b):
    return op_exzyYvvvzF(op_h1U3ZT2Qlc(op_t1gIPYuk3R(b),op_JwTKLfZU96(a,b)),op_8cNrNy0nrI(op_OVg4Y5bM5J(a),op_12NXCxMFkf(a,b)))

def op_count_LeaixnEh0y(a, b):
    count = op_count_t1gIPYuk3R(b)+op_count_JwTKLfZU96(a,b)+op_count_h1U3ZT2Qlc(op_t1gIPYuk3R(b),op_JwTKLfZU96(a,b))+op_count_OVg4Y5bM5J(a)+op_count_12NXCxMFkf(a,b)+op_count_8cNrNy0nrI(op_OVg4Y5bM5J(a),op_12NXCxMFkf(a,b))+op_count_exzyYvvvzF(op_h1U3ZT2Qlc(op_t1gIPYuk3R(b),op_JwTKLfZU96(a,b)),op_8cNrNy0nrI(op_OVg4Y5bM5J(a),op_12NXCxMFkf(a,b)))
    return count


def op_dhesF7FQ5g(a):
    if op_OZ4izqyzVL(a) >= 243:
        return op_jjWaUAHHEA(op_MSsKXfycuQ(141,a),op_aMUSaJuDRU(98))
    else:
        return op_meOipXXSDp(op_81Z41jhurJ(a,a),op_xtavlIjsHf(a,a))

def op_count_dhesF7FQ5g(a):
    if op_OZ4izqyzVL(a) >= 243:
        count = op_count_MSsKXfycuQ(141,a)+op_count_aMUSaJuDRU(98)+op_count_jjWaUAHHEA(op_MSsKXfycuQ(141,a),op_aMUSaJuDRU(98))+op_count_OZ4izqyzVL(a)
    else:
        count = op_count_81Z41jhurJ(a,a)+op_count_xtavlIjsHf(a,a)+op_count_meOipXXSDp(op_81Z41jhurJ(a,a),op_xtavlIjsHf(a,a))
    return count

meOipXXSDp aMUSaJuDRU 81Z41jhurJ xtavlIjsHf jjWaUAHHEA MSsKXfycuQ OZ4izqyzVL


def op_zlgD9ELQrK(a):
    return op_ZVuupJtoea(op_HWsfkPJiI1(a),op_SxTAKzQCrw(232,a))

def op_count_zlgD9ELQrK(a):
    count = op_count_HWsfkPJiI1(a)+op_count_SxTAKzQCrw(232,a)+op_count_ZVuupJtoea(op_HWsfkPJiI1(a),op_SxTAKzQCrw(232,a))
    return count


a∎≩⇇b = { ((b⫁⪎a)∊⊞≈(a≗⪓∷)) , if ((a⩜97)==77 and (b↷≌915)>=740 and a>397) ; ((b∭≱⪢b)∅(b⩚)) , else }

def op_Xq0lTT7sOi(a, b):
    if (op_eWtgzN4EAB(a,97) == 77 and op_6dy8BCxVp7(b,915) >= 740 and a > 397):
        return op_keuJNkrrbj(op_xRrnTEsQ6j(b,a),op_xWKacU4PIG(a))
    else:
        return op_giaUb8UVhq(op_PEDxqk51Tr(b,b),op_i3MWstRFMQ(b))

def op_count_Xq0lTT7sOi(a, b):
    if (op_eWtgzN4EAB(a,97) == 77 and op_6dy8BCxVp7(b,915) >= 740 and a > 397):
        count = op_count_xRrnTEsQ6j(b,a)+op_count_xWKacU4PIG(a)+op_count_keuJNkrrbj(op_xRrnTEsQ6j(b,a),op_xWKacU4PIG(a))+op_count_eWtgzN4EAB(a,97)+op_count_6dy8BCxVp7(b,915)
    else:
        count = op_count_PEDxqk51Tr(b,b)+op_count_i3MWstRFMQ(b)+op_count_giaUb8UVhq(op_PEDxqk51Tr(b,b),op_i3MWstRFMQ(b))
    return count


def op_PHrT5hJgAn(a):
    return op_3ViojmjbAp(a,op_oRPPGhDbyZ(a))

def op_count_PHrT5hJgAn(a):
    count = op_count_oRPPGhDbyZ(a)+op_count_3ViojmjbAp(a,op_oRPPGhDbyZ(a))
    return count


def op_j0ZoQ5bCgX(a):
    return op_3A1e9zoj8h(op_S2ubVDYUV4(137,a))

def op_count_j0ZoQ5bCgX(a):
    count = op_count_S2ubVDYUV4(137,a)+op_count_3A1e9zoj8h(op_S2ubVDYUV4(137,a))
    return count


def op_ywkRdlpIOA(a):
    return op_6MREPLFO5z(op_7UJktksAgI(a,a),op_SR5kFfdi6N(a,a))

def op_count_ywkRdlpIOA(a):
    count = op_count_7UJktksAgI(a,a)+op_count_SR5kFfdi6N(a,a)+op_count_6MREPLFO5z(op_7UJktksAgI(a,a),op_SR5kFfdi6N(a,a))
    return count


def op_CYFEoEAeW2(a):
    return op_kLz9fXvToG(a,a)

def op_count_CYFEoEAeW2(a):
    count = op_count_kLz9fXvToG(a,a)
    return count


def op_tKyhlgYT8A(a):
    return op_xOvNxfD5CB(op_Af076pWI7l(a,a),op_F0zDrwlH6J(a))

def op_count_tKyhlgYT8A(a):
    count = op_count_Af076pWI7l(a,a)+op_count_F0zDrwlH6J(a)+op_count_xOvNxfD5CB(op_Af076pWI7l(a,a),op_F0zDrwlH6J(a))
    return count


a↾⪷⋓ = { (((a≮⨜⪮a)⇵⊁⩕)⪩∱((⫍⩛a)⊻⫕⩗(a⊉↧≠))) , if (a⨡362)<=255 ; ((⇣⇬⋏(a⨸⨾⇕a))∁⋳⪺((a∏⇴a)⨃⇵⋔(⇤∦⫞a))) , else }

def op_1vc8ABl8A5(a):
    if op_tJtBLRaXS9(a,362) <= 255:
        return op_MLuVrXzyTy(op_ms6ehJAQNZ(op_iERJjuKeUH(a,a)),op_f09raCEPXX(op_zERmOPCQyP(a),op_KZfZsL7Zgd(a)))
    else:
        return op_g7zzq0G4Xr(op_wlr7PVHTyN(op_cJjtybAweL(a,a)),op_Bdiofinswe(op_Rw46J52cBJ(a,a),op_IoUjnv0djG(a)))

def op_count_1vc8ABl8A5(a):
    if op_tJtBLRaXS9(a,362) <= 255:
        count = op_count_iERJjuKeUH(a,a)+op_count_ms6ehJAQNZ(op_iERJjuKeUH(a,a))+op_count_zERmOPCQyP(a)+op_count_KZfZsL7Zgd(a)+op_count_f09raCEPXX(op_zERmOPCQyP(a),op_KZfZsL7Zgd(a))+op_count_MLuVrXzyTy(op_ms6ehJAQNZ(op_iERJjuKeUH(a,a)),op_f09raCEPXX(op_zERmOPCQyP(a),op_KZfZsL7Zgd(a)))+op_count_tJtBLRaXS9(a,362)
    else:
        count = op_count_cJjtybAweL(a,a)+op_count_wlr7PVHTyN(op_cJjtybAweL(a,a))+op_count_Rw46J52cBJ(a,a)+op_count_IoUjnv0djG(a)+op_count_Bdiofinswe(op_Rw46J52cBJ(a,a),op_IoUjnv0djG(a))+op_count_g7zzq0G4Xr(op_wlr7PVHTyN(op_cJjtybAweL(a,a)),op_Bdiofinswe(op_Rw46J52cBJ(a,a),op_IoUjnv0djG(a)))
    return count


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

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


def op_hE5hXYH5Oh(a, b):
    return op_ncHt1X6cMc(op_XqY0JVqrjQ(op_H86EN3O05e(a,1),op_bhfZsaAByr(b)),29)

def op_count_hE5hXYH5Oh(a, b):
    count = op_count_H86EN3O05e(a,1)+op_count_bhfZsaAByr(b)+op_count_XqY0JVqrjQ(op_H86EN3O05e(a,1),op_bhfZsaAByr(b))+op_count_ncHt1X6cMc(op_XqY0JVqrjQ(op_H86EN3O05e(a,1),op_bhfZsaAByr(b)),29)
    return count


def op_Oowe2FJHs2(a, b):
    return op_FivK695Inb(op_jd8TUTUKQ4(a),op_AOY1O378J6(b,26))

def op_count_Oowe2FJHs2(a, b):
    count = op_count_jd8TUTUKQ4(a)+op_count_AOY1O378J6(b,26)+op_count_FivK695Inb(op_jd8TUTUKQ4(a),op_AOY1O378J6(b,26))
    return count


def op_3l1C696bdM(a):
    return op_LXmfvPwYVb(op_u0R0Locfp2(a))

def op_count_3l1C696bdM(a):
    count = op_count_u0R0Locfp2(a)+op_count_LXmfvPwYVb(op_u0R0Locfp2(a))
    return count


def op_AhnjkTRNhD(a, b):
    return op_8ZeUWtbGhp(a,op_Qctrpi3WzA(b))

def op_count_AhnjkTRNhD(a, b):
    count = op_count_Qctrpi3WzA(b)+op_count_8ZeUWtbGhp(a,op_Qctrpi3WzA(b))
    return count


def op_Xnbhm1660t(a, b):
    return op_odJCG207LD(op_kUwfQWDciI(op_H7IE5R9nU5(b,b),op_w5FWba1tyO(11)),op_NOHxjtdlri(op_HyyJt9QWn3(343,89),op_PgomNjGXmI(475,a)))

def op_count_Xnbhm1660t(a, b):
    count = op_count_H7IE5R9nU5(b,b)+op_count_w5FWba1tyO(11)+op_count_kUwfQWDciI(op_H7IE5R9nU5(b,b),op_w5FWba1tyO(11))+op_count_HyyJt9QWn3(343,89)+op_count_PgomNjGXmI(475,a)+op_count_NOHxjtdlri(op_HyyJt9QWn3(343,89),op_PgomNjGXmI(475,a))+op_count_odJCG207LD(op_kUwfQWDciI(op_H7IE5R9nU5(b,b),op_w5FWba1tyO(11)),op_NOHxjtdlri(op_HyyJt9QWn3(343,89),op_PgomNjGXmI(475,a)))
    return count


def op_SlI4cQWdG9(a, b):
    return op_0KMCeP1Jsh(op_pWXflaUkg0(b,b),op_fGTNyEZ31R(a,b))

def op_count_SlI4cQWdG9(a, b):
    count = op_count_pWXflaUkg0(b,b)+op_count_fGTNyEZ31R(a,b)+op_count_0KMCeP1Jsh(op_pWXflaUkg0(b,b),op_fGTNyEZ31R(a,b))
    return count


a↢⪥ = { (((a⨰⋧∫a)⊗∃⇥(a≣↻a))⋗⨓((a⩉a)⇨⇁(∫⋌a))) }

def op_KyS3vxjOOA(a):
    return op_imqY0THBaP(op_ZAXeO6SPf6(op_GZNMAtHQ0A(a,a),op_KDDfsCJhw5(a,a)),op_0JEjmizNXg(op_OH3l0Vrv7d(a,a),op_9onfuQE7Rk(a)))

def op_count_KyS3vxjOOA(a):
    count = op_count_GZNMAtHQ0A(a,a)+op_count_KDDfsCJhw5(a,a)+op_count_ZAXeO6SPf6(op_GZNMAtHQ0A(a,a),op_KDDfsCJhw5(a,a))+op_count_OH3l0Vrv7d(a,a)+op_count_9onfuQE7Rk(a)+op_count_0JEjmizNXg(op_OH3l0Vrv7d(a,a),op_9onfuQE7Rk(a))+op_count_imqY0THBaP(op_ZAXeO6SPf6(op_GZNMAtHQ0A(a,a),op_KDDfsCJhw5(a,a)),op_0JEjmizNXg(op_OH3l0Vrv7d(a,a),op_9onfuQE7Rk(a)))
    return count


a⇗∗⪒b = { (((a⪲⨢b)≀⋧(b⪘⋉⇭a))≌∔((a⩢≌)⪿∾⫩(b∥⇨))) , if (b∿⨓)>=354 ; (((113⫾a)⩴⇩⩭(b⫻b))⩦((b⩚⊴⇥b)⨬↞(a⊱↕⊥a))) , else }

def op_fqW5jcBpAr(a, b):
    if op_8SnKnorVr9(b) >= 354:
        return op_rS9owOYsXI(op_RLgQDWzcJN(op_6iafYuwGo8(a,b),op_2TXroppNd4(b,a)),op_6Pie0zKRyb(op_D617RFjZIq(a),op_B1w2DhXrIu(b)))
    else:
        return op_0kmYd0q39Y(op_ZlduNN376N(op_7JbuLsbBtx(113,a),op_6R1J4BifJJ(b,b)),op_Gdaqu1gMph(op_NTOWxs364D(b,b),op_cqlfqPYv00(a,a)))

def op_count_fqW5jcBpAr(a, b):
    if op_8SnKnorVr9(b) >= 354:
        count = op_count_6iafYuwGo8(a,b)+op_count_2TXroppNd4(b,a)+op_count_RLgQDWzcJN(op_6iafYuwGo8(a,b),op_2TXroppNd4(b,a))+op_count_D617RFjZIq(a)+op_count_B1w2DhXrIu(b)+op_count_6Pie0zKRyb(op_D617RFjZIq(a),op_B1w2DhXrIu(b))+op_count_rS9owOYsXI(op_RLgQDWzcJN(op_6iafYuwGo8(a,b),op_2TXroppNd4(b,a)),op_6Pie0zKRyb(op_D617RFjZIq(a),op_B1w2DhXrIu(b)))+op_count_8SnKnorVr9(b)
    else:
        count = op_count_7JbuLsbBtx(113,a)+op_count_6R1J4BifJJ(b,b)+op_count_ZlduNN376N(op_7JbuLsbBtx(113,a),op_6R1J4BifJJ(b,b))+op_count_NTOWxs364D(b,b)+op_count_cqlfqPYv00(a,a)+op_count_Gdaqu1gMph(op_NTOWxs364D(b,b),op_cqlfqPYv00(a,a))+op_count_0kmYd0q39Y(op_ZlduNN376N(op_7JbuLsbBtx(113,a),op_6R1J4BifJJ(b,b)),op_Gdaqu1gMph(op_NTOWxs364D(b,b),op_cqlfqPYv00(a,a)))
    return count


a⇴↲b = { ((531⇋⊴⊜(b⊗∃⇥b))⪌≁⫾((b⨸⫱a)⩐(⪩⪦a))) }

def op_W6A60LL7oX(a, b):
    return op_BpbpqQnb2W(op_1NEUe3Qa2W(531,op_ZAXeO6SPf6(b,b)),op_bMfZrpXtSe(op_JpNCwVdTNT(b,a),op_cKNaSs24F6(a)))

def op_count_W6A60LL7oX(a, b):
    count = op_count_ZAXeO6SPf6(b,b)+op_count_1NEUe3Qa2W(531,op_ZAXeO6SPf6(b,b))+op_count_JpNCwVdTNT(b,a)+op_count_cKNaSs24F6(a)+op_count_bMfZrpXtSe(op_JpNCwVdTNT(b,a),op_cKNaSs24F6(a))+op_count_BpbpqQnb2W(op_1NEUe3Qa2W(531,op_ZAXeO6SPf6(b,b)),op_bMfZrpXtSe(op_JpNCwVdTNT(b,a),op_cKNaSs24F6(a)))
    return count


def op_zH3mEP4fZ2(a, b):
    return op_dcf6jBEETk(op_P3lXMJvFrc(708,a),op_XARkhMSjgT(b,a))

def op_count_zH3mEP4fZ2(a, b):
    count = op_count_P3lXMJvFrc(708,a)+op_count_XARkhMSjgT(b,a)+op_count_dcf6jBEETk(op_P3lXMJvFrc(708,a),op_XARkhMSjgT(b,a))
    return count


a⪤⨮⪗ = { ((a⋟⪡)⊴(a↰⇌a)) , if a!=139 ; ((a⫡70)↡∖(a≼⫒↬56)) , else }

def op_TMaOJh9gV4(a):
    if a != 139:
        return op_Nsiff2A1zJ(op_548jBt5mY5(a),op_CJQMSuANdj(a,a))
    else:
        return op_uUutRT2kfE(op_r42jg1nETI(a,70),op_qufViy4tU0(a,56))

def op_count_TMaOJh9gV4(a):
    if a != 139:
        count = op_count_548jBt5mY5(a)+op_count_CJQMSuANdj(a,a)+op_count_Nsiff2A1zJ(op_548jBt5mY5(a),op_CJQMSuANdj(a,a))
    else:
        count = op_count_r42jg1nETI(a,70)+op_count_qufViy4tU0(a,56)+op_count_uUutRT2kfE(op_r42jg1nETI(a,70),op_qufViy4tU0(a,56))
    return count


def op_u7uDtaeMbs(a, b):
    return op_3DVzLFNsE9(op_3tVxb0NHM4(op_rHWsv9TdNf(a,588),op_j6VZKFTxta(a,b)))

def op_count_u7uDtaeMbs(a, b):
    count = op_count_rHWsv9TdNf(a,588)+op_count_j6VZKFTxta(a,b)+op_count_3tVxb0NHM4(op_rHWsv9TdNf(a,588),op_j6VZKFTxta(a,b))+op_count_3DVzLFNsE9(op_3tVxb0NHM4(op_rHWsv9TdNf(a,588),op_j6VZKFTxta(a,b)))
    return count


def op_Gkv4NbJTxW(a):
    if op_jeYH4Q5Sae(a) > 81:
        return op_J6uwgn6DsM(op_zsIZezdOUu(127,a),op_CUcQ7hI1X5(a,373))
    else:
        return op_oa1nrqFkD0(op_4XUogC2HX8(59,a),op_6aG7x05OhS(225))

def op_count_Gkv4NbJTxW(a):
    if op_jeYH4Q5Sae(a) > 81:
        count = op_count_zsIZezdOUu(127,a)+op_count_CUcQ7hI1X5(a,373)+op_count_J6uwgn6DsM(op_zsIZezdOUu(127,a),op_CUcQ7hI1X5(a,373))+op_count_jeYH4Q5Sae(a)
    else:
        count = op_count_4XUogC2HX8(59,a)+op_count_6aG7x05OhS(225)+op_count_oa1nrqFkD0(op_4XUogC2HX8(59,a),op_6aG7x05OhS(225))
    return count


≄⫧a = { (((a−⩙43)⪵⋛(a⨭⊾⩃))⩉∽⪣((a⨸⊾418)⩇⫾⪤(⇃a))) }

def op_QICC81vIsr(a):
    return op_3U6LfyZyIC(op_wUMGGCA6kW(op_LCIWZYeeIg(a,43),op_NzQnHhd7nu(a)),op_FNeuu2F1id(op_84BIegk66X(a,418),op_i4Pfiorep6(a)))

def op_count_QICC81vIsr(a):
    count = op_count_LCIWZYeeIg(a,43)+op_count_NzQnHhd7nu(a)+op_count_wUMGGCA6kW(op_LCIWZYeeIg(a,43),op_NzQnHhd7nu(a))+op_count_84BIegk66X(a,418)+op_count_i4Pfiorep6(a)+op_count_FNeuu2F1id(op_84BIegk66X(a,418),op_i4Pfiorep6(a))+op_count_3U6LfyZyIC(op_wUMGGCA6kW(op_LCIWZYeeIg(a,43),op_NzQnHhd7nu(a)),op_FNeuu2F1id(op_84BIegk66X(a,418),op_i4Pfiorep6(a)))
    return count


a≋≹∵b = { ((b≐⇃⇈a)⪢(b⨰a)) , if ((a⊥⊂)<=151 and b<338 and b>=378) ; ((a⪂↸a)⇣⫑(a≖⋷⨓a)) , else }

def op_WwIdDB26U7(a, b):
    if (op_B1iudNz5rI(a) <= 151 and b < 338 and b >= 378):
        return op_dWAJyo7jo9(op_TBD2yOIirL(b,a),op_eewbuw0ToL(b,a))
    else:
        return op_srhPeXBSZS(op_ZIgapHiLMw(a,a),op_3ZAiUOk8Uv(a,a))

def op_count_WwIdDB26U7(a, b):
    if (op_B1iudNz5rI(a) <= 151 and b < 338 and b >= 378):
        count = op_count_TBD2yOIirL(b,a)+op_count_eewbuw0ToL(b,a)+op_count_dWAJyo7jo9(op_TBD2yOIirL(b,a),op_eewbuw0ToL(b,a))+op_count_B1iudNz5rI(a)
    else:
        count = op_count_ZIgapHiLMw(a,a)+op_count_3ZAiUOk8Uv(a,a)+op_count_srhPeXBSZS(op_ZIgapHiLMw(a,a),op_3ZAiUOk8Uv(a,a))
    return count


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

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


def op_BvmJQJtI83(a):
    return op_vEGLkm4Z2k(op_iQVWWJ5UFC(a,146))

def op_count_BvmJQJtI83(a):
    count = op_count_iQVWWJ5UFC(a,146)+op_count_vEGLkm4Z2k(op_iQVWWJ5UFC(a,146))
    return count


def op_6kdXvP9FUt(a):
    return op_4fBBH5YYk9(op_avxXIHzjv1(145,a),op_Px089qlpp0(a,68))

def op_count_6kdXvP9FUt(a):
    count = op_count_avxXIHzjv1(145,a)+op_count_Px089qlpp0(a,68)+op_count_4fBBH5YYk9(op_avxXIHzjv1(145,a),op_Px089qlpp0(a,68))
    return count


def op_Aie6NG49KM(a):
    return op_kIemMrN4GV(op_xWKacU4PIG(a),op_SluXztOHTZ(397,a))

def op_count_Aie6NG49KM(a):
    count = op_count_xWKacU4PIG(a)+op_count_SluXztOHTZ(397,a)+op_count_kIemMrN4GV(op_xWKacU4PIG(a),op_SluXztOHTZ(397,a))
    return count


def op_KqbUo6ISj2(a, b):
    if (b < 36 and b <= 48):
        return op_hI7k9NMHqW(op_265LmWy1dS(b,a),op_7UJktksAgI(241,180))
    else:
        return op_SR5kFfdi6N(op_IjpNKm0C6p(147,b),op_6CTfL9kIPY(b,b))

def op_count_KqbUo6ISj2(a, b):
    if (b < 36 and b <= 48):
        count = op_count_265LmWy1dS(b,a)+op_count_7UJktksAgI(241,180)+op_count_hI7k9NMHqW(op_265LmWy1dS(b,a),op_7UJktksAgI(241,180))
    else:
        count = op_count_IjpNKm0C6p(147,b)+op_count_6CTfL9kIPY(b,b)+op_count_SR5kFfdi6N(op_IjpNKm0C6p(147,b),op_6CTfL9kIPY(b,b))
    return count


a↛⋛⪬b = { (((⇃a)∲(≫⪳b))⋱((a⩴⫳b)⪷⋄(a∕⩚a))) }

def op_vClBxk37di(a, b):
    return op_rK7H9hZmfU(op_K8Gs4pJAFP(op_i4Pfiorep6(a),op_zOb9yPhI8S(b)),op_HPE80N5E2e(op_rn31iNPEz6(a,b),op_z9ffQ9n5Zr(a,a)))

def op_count_vClBxk37di(a, b):
    count = op_count_i4Pfiorep6(a)+op_count_zOb9yPhI8S(b)+op_count_K8Gs4pJAFP(op_i4Pfiorep6(a),op_zOb9yPhI8S(b))+op_count_rn31iNPEz6(a,b)+op_count_z9ffQ9n5Zr(a,a)+op_count_HPE80N5E2e(op_rn31iNPEz6(a,b),op_z9ffQ9n5Zr(a,a))+op_count_rK7H9hZmfU(op_K8Gs4pJAFP(op_i4Pfiorep6(a),op_zOb9yPhI8S(b)),op_HPE80N5E2e(op_rn31iNPEz6(a,b),op_z9ffQ9n5Zr(a,a)))
    return count


def op_zuhQZe7XPN(a):
    return op_H0fWaTn7v4(356,a)

def op_count_zuhQZe7XPN(a):
    count = op_count_H0fWaTn7v4(356,a)
    return count


⇚⇭⇦a = { (((⨩⫔⫶a)∭≱⪢(a∢⫮≞a))⩄⊊(⪭⩮⊭a)) , if a<=361 ; ((⪮↳⩣(613∺⊴⊌116))⫹⋆192) , else }

def op_5hQPKF7p14(a):
    if a <= 361:
        return op_ckxBfo3j3z(op_PEDxqk51Tr(op_6jnLtSreEI(a),op_NV1XkC78JZ(a,a)),op_C7qQ2FzY6w(a))
    else:
        return op_mvkfbmF2ZK(op_AzDRt8aN5T(op_AxBbORVHmI(613,116)),192)

def op_count_5hQPKF7p14(a):
    if a <= 361:
        count = op_count_6jnLtSreEI(a)+op_count_NV1XkC78JZ(a,a)+op_count_PEDxqk51Tr(op_6jnLtSreEI(a),op_NV1XkC78JZ(a,a))+op_count_C7qQ2FzY6w(a)+op_count_ckxBfo3j3z(op_PEDxqk51Tr(op_6jnLtSreEI(a),op_NV1XkC78JZ(a,a)),op_C7qQ2FzY6w(a))
    else:
        count = op_count_AxBbORVHmI(613,116)+op_count_AzDRt8aN5T(op_AxBbORVHmI(613,116))+op_count_mvkfbmF2ZK(op_AzDRt8aN5T(op_AxBbORVHmI(613,116)),192)
    return count


def op_PaUxu3VAD0(a):
    if op_afEXiduIZz(a) < 83 or op_VXHFBbhtXV(a,495) != 305:
        return op_AqWwJ29PGN(op_SRbuzIgMWI(a,105),a)
    else:
        return op_ODFdAPCKMa(op_GMyVS5K48T(a,a),op_Qctrpi3WzA(a))

def op_count_PaUxu3VAD0(a):
    if op_afEXiduIZz(a) < 83 or op_VXHFBbhtXV(a,495) != 305:
        count = op_count_SRbuzIgMWI(a,105)+op_count_AqWwJ29PGN(op_SRbuzIgMWI(a,105),a)+op_count_afEXiduIZz(a)+op_count_VXHFBbhtXV(a,495)
    else:
        count = op_count_GMyVS5K48T(a,a)+op_count_Qctrpi3WzA(a)+op_count_ODFdAPCKMa(op_GMyVS5K48T(a,a),op_Qctrpi3WzA(a))
    return count


def op_lyFH5idjNF(a, b):
    return op_K1uHWJv1IW(op_VEQNXA0ZBg(op_lrx2PmmfOO(b,b)),op_wxno1H4PnZ(b,op_O6oPZIQyvW(a,425)))

def op_count_lyFH5idjNF(a, b):
    count = op_count_lrx2PmmfOO(b,b)+op_count_VEQNXA0ZBg(op_lrx2PmmfOO(b,b))+op_count_O6oPZIQyvW(a,425)+op_count_wxno1H4PnZ(b,op_O6oPZIQyvW(a,425))+op_count_K1uHWJv1IW(op_VEQNXA0ZBg(op_lrx2PmmfOO(b,b)),op_wxno1H4PnZ(b,op_O6oPZIQyvW(a,425)))
    return count


a⋋≺⨥b = { (≑⋹a) , if (b⩇∆)<17 ; (a⨖b) , else }

def op_roCjotLmxt(a, b):
    if op_gc29PMqN0x(b) < 17:
        return op_6B9nyZLogK(a)
    else:
        return op_73CxnrUli8(a,b)

def op_count_roCjotLmxt(a, b):
    if op_gc29PMqN0x(b) < 17:
        count = op_count_6B9nyZLogK(a)+op_count_gc29PMqN0x(b)
    else:
        count = op_count_73CxnrUli8(a,b)
    return count


a⪔∣⇹ = { (((a≩⫆a)⊳⫕≐(11↓⨍⋜))⨯≫⊾((116⨬↞a)⩯⇪(a∎⋻⨟a))) }

def op_DZc5371lng(a):
    return op_3Nwa8gVjpX(op_c0xLRV89Nr(op_8Im2A1wcJk(a,a),op_3DVzLFNsE9(11)),op_OrCGT1jGGR(op_Gdaqu1gMph(116,a),op_6VowpqB2XT(a,a)))

def op_count_DZc5371lng(a):
    count = op_count_8Im2A1wcJk(a,a)+op_count_3DVzLFNsE9(11)+op_count_c0xLRV89Nr(op_8Im2A1wcJk(a,a),op_3DVzLFNsE9(11))+op_count_Gdaqu1gMph(116,a)+op_count_6VowpqB2XT(a,a)+op_count_OrCGT1jGGR(op_Gdaqu1gMph(116,a),op_6VowpqB2XT(a,a))+op_count_3Nwa8gVjpX(op_c0xLRV89Nr(op_8Im2A1wcJk(a,a),op_3DVzLFNsE9(11)),op_OrCGT1jGGR(op_Gdaqu1gMph(116,a),op_6VowpqB2XT(a,a)))
    return count


def op_4GKYUC9qTa(a):
    return op_qYpz2WEVq4(op_zPaW4OAyCC(op_kFrcMyQrlQ(a),op_bT4aPWTCol(262)),op_RhL9C1fmD6(op_mbtFEgZLk9(a)))

def op_count_4GKYUC9qTa(a):
    count = op_count_kFrcMyQrlQ(a)+op_count_bT4aPWTCol(262)+op_count_zPaW4OAyCC(op_kFrcMyQrlQ(a),op_bT4aPWTCol(262))+op_count_mbtFEgZLk9(a)+op_count_RhL9C1fmD6(op_mbtFEgZLk9(a))+op_count_qYpz2WEVq4(op_zPaW4OAyCC(op_kFrcMyQrlQ(a),op_bT4aPWTCol(262)),op_RhL9C1fmD6(op_mbtFEgZLk9(a)))
    return count


def op_qZ1TsbAQfR(a, b):
    return op_oo9mF6JIpo(op_XCY0eMNfgm(op_e3R0INlQmt(b,b),a))

def op_count_qZ1TsbAQfR(a, b):
    count = op_count_e3R0INlQmt(b,b)+op_count_XCY0eMNfgm(op_e3R0INlQmt(b,b),a)+op_count_oo9mF6JIpo(op_XCY0eMNfgm(op_e3R0INlQmt(b,b),a))
    return count


a⊞⊺⋓b = { ((a⪿⫂⇿a)∝(b⇋⋞)) , if (b⫉⪀)>14 ; (⩗⨘(43∀≈b)) , else }

def op_meJysGTcxJ(a, b):
    if op_5bSRvJAzwm(b) > 14:
        return op_cTDWOvIxvz(op_bZEx4MGJjc(a,a),op_x4nckvPyZv(b))
    else:
        return op_RxlSm6Ygzh(op_zUHZYjJ2nJ(43,b))

def op_count_meJysGTcxJ(a, b):
    if op_5bSRvJAzwm(b) > 14:
        count = op_count_bZEx4MGJjc(a,a)+op_count_x4nckvPyZv(b)+op_count_cTDWOvIxvz(op_bZEx4MGJjc(a,a),op_x4nckvPyZv(b))+op_count_5bSRvJAzwm(b)
    else:
        count = op_count_zUHZYjJ2nJ(43,b)+op_count_RxlSm6Ygzh(op_zUHZYjJ2nJ(43,b))
    return count


⇧⫒a = { (a⊗∃⇥a) , if (a⇋∊)>162 ; (⫖a) , else }

def op_zQ494HwmCt(a):
    if op_3FtlcrQcJU(a) > 162:
        return op_ZAXeO6SPf6(a,a)
    else:
        return op_9hl1k8hbNX(a)

def op_count_zQ494HwmCt(a):
    if op_3FtlcrQcJU(a) > 162:
        count = op_count_ZAXeO6SPf6(a,a)+op_count_3FtlcrQcJU(a)
    else:
        count = op_count_9hl1k8hbNX(a)
    return count


a⋙⇧ = { (109⇛∻⋳a) , if (≟⩪a)>362 ; (⪽↫a) , else }

def op_7b89iCwgGx(a):
    if op_jwjjhQ9jPo(a) > 362:
        return op_2zAMpI9q0q(109,a)
    else:
        return op_e6fjkqlCWa(a)

def op_count_7b89iCwgGx(a):
    if op_jwjjhQ9jPo(a) > 362:
        count = op_count_2zAMpI9q0q(109,a)+op_count_jwjjhQ9jPo(a)
    else:
        count = op_count_e6fjkqlCWa(a)
    return count


a↽⊷⩽ = { (a⨥⇒) , if (→⩰a)==183 ; (a↱a) , else }

def op_ib7zY5ZCmQ(a):
    if op_o8Pngz0Tml(a) == 183:
        return op_lXhXxtlXSQ(a)
    else:
        return op_SR5kFfdi6N(a,a)

def op_count_ib7zY5ZCmQ(a):
    if op_o8Pngz0Tml(a) == 183:
        count = op_count_lXhXxtlXSQ(a)+op_count_o8Pngz0Tml(a)
    else:
        count = op_count_SR5kFfdi6N(a,a)
    return count


def op_xZDBoW8r0g(a):
    return op_g4xdPasWpP(op_Tcnh7f0tEr(a),op_wwXkqyu98f(386,a))

def op_count_xZDBoW8r0g(a):
    count = op_count_Tcnh7f0tEr(a)+op_count_wwXkqyu98f(386,a)+op_count_g4xdPasWpP(op_Tcnh7f0tEr(a),op_wwXkqyu98f(386,a))
    return count


def op_EkoPfCBOH0(a):
    if (op_hU9ozigHGX(a) != 156 or op_aCwnCp9fG4(a,924) >= 404):
        return op_CODSA30q8k(op_8IBHxuH8oO(op_nLhlVZSGl1(1,a),op_2muwgCqbmH(a,a)),op_fICjaz8Yf3(op_V1brnGXOUL(a,52),op_jBncVCNhdl(192,a)))
    else:
        return op_VIItbDWeFv(a,op_SR5kFfdi6N(op_Ysezvhzhur(a,a),a))

def op_count_EkoPfCBOH0(a):
    if (op_hU9ozigHGX(a) != 156 or op_aCwnCp9fG4(a,924) >= 404):
        count = op_count_nLhlVZSGl1(1,a)+op_count_2muwgCqbmH(a,a)+op_count_8IBHxuH8oO(op_nLhlVZSGl1(1,a),op_2muwgCqbmH(a,a))+op_count_V1brnGXOUL(a,52)+op_count_jBncVCNhdl(192,a)+op_count_fICjaz8Yf3(op_V1brnGXOUL(a,52),op_jBncVCNhdl(192,a))+op_count_CODSA30q8k(op_8IBHxuH8oO(op_nLhlVZSGl1(1,a),op_2muwgCqbmH(a,a)),op_fICjaz8Yf3(op_V1brnGXOUL(a,52),op_jBncVCNhdl(192,a)))+op_count_hU9ozigHGX(a)+op_count_aCwnCp9fG4(a,924)
    else:
        count = op_count_Ysezvhzhur(a,a)+op_count_SR5kFfdi6N(op_Ysezvhzhur(a,a),a)+op_count_VIItbDWeFv(a,op_SR5kFfdi6N(op_Ysezvhzhur(a,a),a))
    return count


def op_MSnOt0bYEp(a):
    return op_Qctrpi3WzA(op_Fw9FUhpJpC(a,155))

def op_count_MSnOt0bYEp(a):
    count = op_count_Fw9FUhpJpC(a,155)+op_count_Qctrpi3WzA(op_Fw9FUhpJpC(a,155))
    return count


def op_CTG5Aoznya(a):
    if op_q9XL0dzTix(a,100) >= 175:
        return op_tJtBLRaXS9(op_o8Pngz0Tml(a),op_OKKcZfAt5B(a,a))
    else:
        return op_neKQRQQIil(op_ks8apemKCz(383,a),op_Cr5xnr8B4B(a,252))

def op_count_CTG5Aoznya(a):
    if op_q9XL0dzTix(a,100) >= 175:
        count = op_count_o8Pngz0Tml(a)+op_count_OKKcZfAt5B(a,a)+op_count_tJtBLRaXS9(op_o8Pngz0Tml(a),op_OKKcZfAt5B(a,a))+op_count_q9XL0dzTix(a,100)
    else:
        count = op_count_ks8apemKCz(383,a)+op_count_Cr5xnr8B4B(a,252)+op_count_neKQRQQIil(op_ks8apemKCz(383,a),op_Cr5xnr8B4B(a,252))
    return count


def op_KCNx3llt8B(a):
    return op_Fw9FUhpJpC(op_eaFBhJ0Uku(op_q1J6mXxel7(a,a),op_3tj9sqzovi(410)),op_NkM05i2SSK(op_aibkDESqBN(a)))

def op_count_KCNx3llt8B(a):
    count = op_count_q1J6mXxel7(a,a)+op_count_3tj9sqzovi(410)+op_count_eaFBhJ0Uku(op_q1J6mXxel7(a,a),op_3tj9sqzovi(410))+op_count_aibkDESqBN(a)+op_count_NkM05i2SSK(op_aibkDESqBN(a))+op_count_Fw9FUhpJpC(op_eaFBhJ0Uku(op_q1J6mXxel7(a,a),op_3tj9sqzovi(410)),op_NkM05i2SSK(op_aibkDESqBN(a)))
    return count


def op_kSD0v3Jzov(a, b):
    return op_D4AlmasLin(op_uEzDtkuuWN(b),op_AljMvE3RRm(a))

def op_count_kSD0v3Jzov(a, b):
    count = op_count_uEzDtkuuWN(b)+op_count_AljMvE3RRm(a)+op_count_D4AlmasLin(op_uEzDtkuuWN(b),op_AljMvE3RRm(a))
    return count


a⇌⊰≲ = { (((a⋮≀277)≥⨤⩑(↘≔a))⪪((a∏⊱⨮)⋈⩀∌)) }

def op_ZxylLnx5mK(a):
    return op_xD69zh8xqp(op_gJLn6v0xnP(op_VTngge07Jm(a,277),op_Rojcw4AIka(a)),op_zCxnRxPC5M(op_Yf3elhOqYq(a)))

def op_count_ZxylLnx5mK(a):
    count = op_count_VTngge07Jm(a,277)+op_count_Rojcw4AIka(a)+op_count_gJLn6v0xnP(op_VTngge07Jm(a,277),op_Rojcw4AIka(a))+op_count_Yf3elhOqYq(a)+op_count_zCxnRxPC5M(op_Yf3elhOqYq(a))+op_count_xD69zh8xqp(op_gJLn6v0xnP(op_VTngge07Jm(a,277),op_Rojcw4AIka(a)),op_zCxnRxPC5M(op_Yf3elhOqYq(a)))
    return count


def op_KEzzpQacku(a):
    return op_Qglmzouulk(a,a)

def op_count_KEzzpQacku(a):
    count = op_count_Qglmzouulk(a,a)
    return count


a⊃⊩⨼b = { (⊙↵-((∿⫾↯a)⇫(b≵⫁⨩a))) , if (⫻↓⨡b)>=150 ; (((b∏)≀⩗∶(⇎≄⫦a))⋳⪒a) , else }

def op_zh6xVsAc2d(a, b):
    if op_PTrw6d9BX0(b) >= 150:
        return op_oWn0xqSxBt(op_MKCxaPE9tg(op_a3IilZSQIP(a),op_ygCb31sq1A(b,a)))
    else:
        return op_12rbrZMWeM(op_8INZBEW696(op_UO1RhPgbnL(b),op_LXmfvPwYVb(a)),a)

def op_count_zh6xVsAc2d(a, b):
    if op_PTrw6d9BX0(b) >= 150:
        count = op_count_a3IilZSQIP(a)+op_count_ygCb31sq1A(b,a)+op_count_MKCxaPE9tg(op_a3IilZSQIP(a),op_ygCb31sq1A(b,a))+op_count_oWn0xqSxBt(op_MKCxaPE9tg(op_a3IilZSQIP(a),op_ygCb31sq1A(b,a)))+op_count_PTrw6d9BX0(b)
    else:
        count = op_count_UO1RhPgbnL(b)+op_count_LXmfvPwYVb(a)+op_count_8INZBEW696(op_UO1RhPgbnL(b),op_LXmfvPwYVb(a))+op_count_12rbrZMWeM(op_8INZBEW696(op_UO1RhPgbnL(b),op_LXmfvPwYVb(a)),a)
    return count


a⫳∉⨟ = { ((602⊲a)⋛⇤(a⪺≵⫇)) , if (a∌295)>101 ; ((⨺⫸≝a)⨔⪫(⇟⊙≦a)) , else }

def op_r4CytN8OSV(a):
    if op_8cLx32lpNA(a,295) > 101:
        return op_rG3WRp3Ucw(op_yMixD7ucMB(602,a),op_2uGCWWNyrk(a))
    else:
        return op_YeqGfToepn(op_NnTbxo2Idi(a),op_kbXfJ1zvnP(a))

def op_count_r4CytN8OSV(a):
    if op_8cLx32lpNA(a,295) > 101:
        count = op_count_yMixD7ucMB(602,a)+op_count_2uGCWWNyrk(a)+op_count_rG3WRp3Ucw(op_yMixD7ucMB(602,a),op_2uGCWWNyrk(a))+op_count_8cLx32lpNA(a,295)
    else:
        count = op_count_NnTbxo2Idi(a)+op_count_kbXfJ1zvnP(a)+op_count_YeqGfToepn(op_NnTbxo2Idi(a),op_kbXfJ1zvnP(a))
    return count


def op_p4Ko5kSd0q(a):
    return op_RTaRm1inG1(op_nV0ABU7b9V(a,81),op_yQ0cYmQ85n(a))

def op_count_p4Ko5kSd0q(a):
    count = op_count_nV0ABU7b9V(a,81)+op_count_yQ0cYmQ85n(a)+op_count_RTaRm1inG1(op_nV0ABU7b9V(a,81),op_yQ0cYmQ85n(a))
    return count


a⫛↱b = { ((b⪁b)∦⋟⋗) , if ((⨙⨍↟a)!=169 and (a⊇≀≁)>=142) ; ((≨⊁⩽b)≙≱⋁(b⨤⇞⫚)) , else }

def op_mnHambyY0m(a, b):
    if (op_1IeVngORTT(a) != 169 and op_AfoL3wC8aT(a) >= 142):
        return op_j8wzaSQQPZ(op_I7sXao9hZE(b,b))
    else:
        return op_u6sos62MTc(op_kfDndAEh36(b),op_ve6wziXBj2(b))

def op_count_mnHambyY0m(a, b):
    if (op_1IeVngORTT(a) != 169 and op_AfoL3wC8aT(a) >= 142):
        count = op_count_I7sXao9hZE(b,b)+op_count_j8wzaSQQPZ(op_I7sXao9hZE(b,b))+op_count_1IeVngORTT(a)+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_kfDndAEh36(b)+op_count_ve6wziXBj2(b)+op_count_u6sos62MTc(op_kfDndAEh36(b),op_ve6wziXBj2(b))
    return count


↺⋣⇞a = { (a⫔↝) , if (a⩓639)>=604 ; (a↡⊰⫅a) , else }

def op_BiDpHvhd4U(a):
    if op_ZkTErvSsVl(a,639) >= 604:
        return op_DE3698vjwZ(a)
    else:
        return op_VCtxkLNOzz(a,a)

def op_count_BiDpHvhd4U(a):
    if op_ZkTErvSsVl(a,639) >= 604:
        count = op_count_DE3698vjwZ(a)+op_count_ZkTErvSsVl(a,639)
    else:
        count = op_count_VCtxkLNOzz(a,a)
    return count


a↭⋝⊿ = { (⪭⩑⪱a) , if (a⩙⫋)>=265 ; a , else }

def op_tA6ry15P2j(a):
    if op_JJtIcLWklg(a) >= 265:
        return op_SIgE0bArFf(a)
    else:
        return a

def op_count_tA6ry15P2j(a):
    if op_JJtIcLWklg(a) >= 265:
        count = op_count_SIgE0bArFf(a)+op_count_JJtIcLWklg(a)
    else:
        count = 1
    return count


a⪃⨋⋨b = { ((b⊷⇬168)⊩⋖(a⊭⫢)) , if (b∽⫹788)!=19 ; ((a≊↪⨄336)⋅⇾⫱(b←∉⩵a)) , else }

def op_unDjnR4RcD(a, b):
    if op_VTWL3whYCc(b,788) != 19:
        return op_foUTwTo3sQ(op_VstVOOoFda(b,168),op_xiKbUzfUz0(a))
    else:
        return op_oxSU0Fg4Pf(op_1aV2GNwNkT(a,336),op_NOHxjtdlri(b,a))

def op_count_unDjnR4RcD(a, b):
    if op_VTWL3whYCc(b,788) != 19:
        count = op_count_VstVOOoFda(b,168)+op_count_xiKbUzfUz0(a)+op_count_foUTwTo3sQ(op_VstVOOoFda(b,168),op_xiKbUzfUz0(a))+op_count_VTWL3whYCc(b,788)
    else:
        count = op_count_1aV2GNwNkT(a,336)+op_count_NOHxjtdlri(b,a)+op_count_oxSU0Fg4Pf(op_1aV2GNwNkT(a,336),op_NOHxjtdlri(b,a))
    return count


def op_vlNcOGdeMb(a):
    return op_rlgYWsFeVn(op_NTOWxs364D(a,a))

def op_count_vlNcOGdeMb(a):
    count = op_count_NTOWxs364D(a,a)+op_count_rlgYWsFeVn(op_NTOWxs364D(a,a))
    return count


def op_CbMqwDqKLa(a):
    if op_bJjEIIhyQG(a) != 206:
        return op_sQnEGnxm5s(26,870)
    else:
        return op_yqthOfQm3e(a,a)

def op_count_CbMqwDqKLa(a):
    if op_bJjEIIhyQG(a) != 206:
        count = op_count_sQnEGnxm5s(26,870)+op_count_bJjEIIhyQG(a)
    else:
        count = op_count_yqthOfQm3e(a,a)
    return count


def op_fsGJKjavyD(a, b):
    if op_J9p31WXma4(a,146) < 385:
        return op_hmRjlYdCYn(a,337)
    else:
        return op_RJKDfKcFKp(a,b)

def op_count_fsGJKjavyD(a, b):
    if op_J9p31WXma4(a,146) < 385:
        count = op_count_hmRjlYdCYn(a,337)+op_count_J9p31WXma4(a,146)
    else:
        count = op_count_RJKDfKcFKp(a,b)
    return count


def op_AfPMu6OKM6(a):
    return op_1vIQx1Qjvl(op_OLuofHlRCj(89),op_3Nwa8gVjpX(19,a))

def op_count_AfPMu6OKM6(a):
    count = op_count_OLuofHlRCj(89)+op_count_3Nwa8gVjpX(19,a)+op_count_1vIQx1Qjvl(op_OLuofHlRCj(89),op_3Nwa8gVjpX(19,a))
    return count


def op_4Km3EYYLYe(a, b):
    return op_iukWuQulzt(op_o8Pngz0Tml(op_fv7bIrfzMN(b,a)),b)

def op_count_4Km3EYYLYe(a, b):
    count = op_count_fv7bIrfzMN(b,a)+op_count_o8Pngz0Tml(op_fv7bIrfzMN(b,a))+op_count_iukWuQulzt(op_o8Pngz0Tml(op_fv7bIrfzMN(b,a)),b)
    return count


def op_m2FykEip5m(a):
    return op_Qqj2GTyBuk(op_tHss8q0tGc(a),op_x91QhENKPJ(208,a))

def op_count_m2FykEip5m(a):
    count = op_count_tHss8q0tGc(a)+op_count_x91QhENKPJ(208,a)+op_count_Qqj2GTyBuk(op_tHss8q0tGc(a),op_x91QhENKPJ(208,a))
    return count


def op_1ksQIy6L3G(a, b):
    if (a > 77 or op_ceOeGEIk9V(b) > 46 or op_esCg5yM8Za(a) > 795):
        return op_9cloC0Ngie(725,op_rPxV9L2jhK(op_hgjqnGtYxC(608),op_uPjn7n5pli(a,a)))
    else:
        return op_Yx2SW1no1q(b)

def op_count_1ksQIy6L3G(a, b):
    if (a > 77 or op_ceOeGEIk9V(b) > 46 or op_esCg5yM8Za(a) > 795):
        count = op_count_hgjqnGtYxC(608)+op_count_uPjn7n5pli(a,a)+op_count_rPxV9L2jhK(op_hgjqnGtYxC(608),op_uPjn7n5pli(a,a))+op_count_9cloC0Ngie(725,op_rPxV9L2jhK(op_hgjqnGtYxC(608),op_uPjn7n5pli(a,a)))+op_count_ceOeGEIk9V(b)+op_count_esCg5yM8Za(a)
    else:
        count = op_count_Yx2SW1no1q(b)
    return count


a≘⩚⫫b = { (b⪵→((⊰⫟⩚a)⪣⇕⊊b)) , if ((a≮⇫⇸)!=67 and (b⋗⇕353)<=1 and (a⊇⇶⫝̸632)==276) ; (≑⋹((a⇹⊯a)≘≾-(a⫍⇺a))) , else }

def op_U8k1ifWIfW(a, b):
    if (op_a8UndMcqKF(a) != 67 and op_2DhqeOovny(b,353) <= 1 and op_CTQAACDJUC(a,632) == 276):
        return op_7KGj3ybMWB(b,op_JuKpg8yQLl(op_rTDBYUiuuN(a),b))
    else:
        return op_6B9nyZLogK(op_opc8BSlPgk(op_7LD8LOvptt(a,a),op_ITUoubXGQQ(a,a)))

def op_count_U8k1ifWIfW(a, b):
    if (op_a8UndMcqKF(a) != 67 and op_2DhqeOovny(b,353) <= 1 and op_CTQAACDJUC(a,632) == 276):
        count = op_count_rTDBYUiuuN(a)+op_count_JuKpg8yQLl(op_rTDBYUiuuN(a),b)+op_count_7KGj3ybMWB(b,op_JuKpg8yQLl(op_rTDBYUiuuN(a),b))+op_count_a8UndMcqKF(a)+op_count_2DhqeOovny(b,353)+op_count_CTQAACDJUC(a,632)
    else:
        count = op_count_7LD8LOvptt(a,a)+op_count_ITUoubXGQQ(a,a)+op_count_opc8BSlPgk(op_7LD8LOvptt(a,a),op_ITUoubXGQQ(a,a))+op_count_6B9nyZLogK(op_opc8BSlPgk(op_7LD8LOvptt(a,a),op_ITUoubXGQQ(a,a)))
    return count


a⪕⫤⨡b = { ((⊋↪(a⊞⫤b))⨸⨅((a↲b)⊢⨂(380⪶⋼⋛55))) }

def op_NKl5HFIxUg(a, b):
    return op_H0z4LH9MP9(op_I7EtXjyZpr(op_ty3zjDioQl(a,b)),op_iIjyEn7CwK(op_zsIZezdOUu(a,b),op_6ayBXmFTY1(380,55)))

def op_count_NKl5HFIxUg(a, b):
    count = op_count_ty3zjDioQl(a,b)+op_count_I7EtXjyZpr(op_ty3zjDioQl(a,b))+op_count_zsIZezdOUu(a,b)+op_count_6ayBXmFTY1(380,55)+op_count_iIjyEn7CwK(op_zsIZezdOUu(a,b),op_6ayBXmFTY1(380,55))+op_count_H0z4LH9MP9(op_I7EtXjyZpr(op_ty3zjDioQl(a,b)),op_iIjyEn7CwK(op_zsIZezdOUu(a,b),op_6ayBXmFTY1(380,55)))
    return count


a≜≙∟b = { ((a⫻⇑b)⇠⇖⨝(a⩗⇿9)) , if a<=64 ; ((a⪇⇪⫳b)⋉(∟⨄b)) , else }

def op_NHmXCxURad(a, b):
    if a <= 64:
        return op_H2Ssz4jEjc(op_81T1MV3A3t(a,b),op_tKtycZyL6s(a,9))
    else:
        return op_Lctt7tVaRL(op_zLfG7Ay1vB(a,b),op_Bdqd193sIk(b))

def op_count_NHmXCxURad(a, b):
    if a <= 64:
        count = op_count_81T1MV3A3t(a,b)+op_count_tKtycZyL6s(a,9)+op_count_H2Ssz4jEjc(op_81T1MV3A3t(a,b),op_tKtycZyL6s(a,9))
    else:
        count = op_count_zLfG7Ay1vB(a,b)+op_count_Bdqd193sIk(b)+op_count_Lctt7tVaRL(op_zLfG7Ay1vB(a,b),op_Bdqd193sIk(b))
    return count


def op_J1L31KxF7v(a):
    return op_PqI0yuGIzd(op_CzM2PEoXns(162),op_2Bhe5MV7ya(a,a))

def op_count_J1L31KxF7v(a):
    count = op_count_CzM2PEoXns(162)+op_count_2Bhe5MV7ya(a,a)+op_count_PqI0yuGIzd(op_CzM2PEoXns(162),op_2Bhe5MV7ya(a,a))
    return count


-√a = { (((a≙)⩗∓⫀(a⪥⪏273))↳∿⪆((a⪩⨙a)⩣⊵⩗(a⋇↵⋅a))) }

def op_t3D3eDBhoo(a):
    return op_Cw4SuJJGHO(op_F2taXPkQ1B(op_bJBsZG1ICn(a),op_q3YDrHdaH0(a,273)),op_wsXFuL0hC6(op_xx3dgqOXHl(a,a),op_aEZ9JgCP8a(a,a)))

def op_count_t3D3eDBhoo(a):
    count = op_count_bJBsZG1ICn(a)+op_count_q3YDrHdaH0(a,273)+op_count_F2taXPkQ1B(op_bJBsZG1ICn(a),op_q3YDrHdaH0(a,273))+op_count_xx3dgqOXHl(a,a)+op_count_aEZ9JgCP8a(a,a)+op_count_wsXFuL0hC6(op_xx3dgqOXHl(a,a),op_aEZ9JgCP8a(a,a))+op_count_Cw4SuJJGHO(op_F2taXPkQ1B(op_bJBsZG1ICn(a),op_q3YDrHdaH0(a,273)),op_wsXFuL0hC6(op_xx3dgqOXHl(a,a),op_aEZ9JgCP8a(a,a)))
    return count


a⩥↥↹ = { (((a⋯⨮⊁a)⇢⩤⨤(a⨞⫉≽48))≋⊴⋅((139⪴⊃⨩)⊤∬(121≣⋋))) , if (a⋻⨃⪛)>=205 ; (∥↛((a⫫≝⪄a)⫩⇠(a⨅⊉⫩a))) , else }

def op_0KQxXrek5A(a):
    if op_qXTIGBu4xQ(a) >= 205:
        return op_TWCuuHjbTv(op_kBclOZdV5K(op_1vIQx1Qjvl(a,a),op_mNv3h3qoQh(a,48)),op_5WBlwMsBj2(op_Bj2VpOWG8x(139),op_Tcnh7f0tEr(121)))
    else:
        return op_fIxhDubex3(op_WebgaPI6Gt(op_CfshEWpL66(a,a),op_oavCpV4SmN(a,a)))

def op_count_0KQxXrek5A(a):
    if op_qXTIGBu4xQ(a) >= 205:
        count = op_count_1vIQx1Qjvl(a,a)+op_count_mNv3h3qoQh(a,48)+op_count_kBclOZdV5K(op_1vIQx1Qjvl(a,a),op_mNv3h3qoQh(a,48))+op_count_Bj2VpOWG8x(139)+op_count_Tcnh7f0tEr(121)+op_count_5WBlwMsBj2(op_Bj2VpOWG8x(139),op_Tcnh7f0tEr(121))+op_count_TWCuuHjbTv(op_kBclOZdV5K(op_1vIQx1Qjvl(a,a),op_mNv3h3qoQh(a,48)),op_5WBlwMsBj2(op_Bj2VpOWG8x(139),op_Tcnh7f0tEr(121)))+op_count_qXTIGBu4xQ(a)
    else:
        count = op_count_CfshEWpL66(a,a)+op_count_oavCpV4SmN(a,a)+op_count_WebgaPI6Gt(op_CfshEWpL66(a,a),op_oavCpV4SmN(a,a))+op_count_fIxhDubex3(op_WebgaPI6Gt(op_CfshEWpL66(a,a),op_oavCpV4SmN(a,a)))
    return count


a↸≇ = { (⨓⫚(a⨓⋃)) , if (⪃↑a)>=58 ; ((a⩏)∎⊌((⇎≄⫦a)≍⪾⨄(a∃a))) , else }

def op_ypBVD9qMGP(a):
    if op_98E60VfkJa(a) >= 58:
        return op_EuzVB58bWJ(op_3gs6BXcuMR(a))
    else:
        return op_QlDtpsi6BD(op_iA2gmKZ3Wj(a),op_O4ICsYZwU0(op_LXmfvPwYVb(a),op_3H5Xx7QWkg(a,a)))

def op_count_ypBVD9qMGP(a):
    if op_98E60VfkJa(a) >= 58:
        count = op_count_3gs6BXcuMR(a)+op_count_EuzVB58bWJ(op_3gs6BXcuMR(a))+op_count_98E60VfkJa(a)
    else:
        count = op_count_iA2gmKZ3Wj(a)+op_count_LXmfvPwYVb(a)+op_count_3H5Xx7QWkg(a,a)+op_count_O4ICsYZwU0(op_LXmfvPwYVb(a),op_3H5Xx7QWkg(a,a))+op_count_QlDtpsi6BD(op_iA2gmKZ3Wj(a),op_O4ICsYZwU0(op_LXmfvPwYVb(a),op_3H5Xx7QWkg(a,a)))
    return count


def op_MIuzeIDSp8(a):
    return op_GjBEYRfMaF(op_0N1BchnEuL(29,a),op_RbLVBqOkfa(a))

def op_count_MIuzeIDSp8(a):
    count = op_count_0N1BchnEuL(29,a)+op_count_RbLVBqOkfa(a)+op_count_GjBEYRfMaF(op_0N1BchnEuL(29,a),op_RbLVBqOkfa(a))
    return count


def op_g1d2Nc6w7M(a):
    return op_T2fj7uvVaJ(a,a)

def op_count_g1d2Nc6w7M(a):
    count = op_count_T2fj7uvVaJ(a,a)
    return count


def op_nRAO5iWRGj(a, b):
    if op_TLcR4sSQDd(b,554) >= 182:
        return op_SR5kFfdi6N(op_lLg6KFppdz(215,a),op_y2kQTS4a70(b,b))
    else:
        return b

def op_count_nRAO5iWRGj(a, b):
    if op_TLcR4sSQDd(b,554) >= 182:
        count = op_count_lLg6KFppdz(215,a)+op_count_y2kQTS4a70(b,b)+op_count_SR5kFfdi6N(op_lLg6KFppdz(215,a),op_y2kQTS4a70(b,b))+op_count_TLcR4sSQDd(b,554)
    else:
        count = 1
    return count


def op_dDta1gKWD4(a):
    return op_gIZzZX53MY(op_o8Pngz0Tml(a))

def op_count_dDta1gKWD4(a):
    count = op_count_o8Pngz0Tml(a)+op_count_gIZzZX53MY(op_o8Pngz0Tml(a))
    return count


def op_PZiKFjWKJg(a):
    return op_P78JJ8jX64(op_nEsXyWgiOK(a,a))

def op_count_PZiKFjWKJg(a):
    count = op_count_nEsXyWgiOK(a,a)+op_count_P78JJ8jX64(op_nEsXyWgiOK(a,a))
    return count


a⨂⋬ = { (((a⇃⩛⇬a)⫑⋺⨨(a⫰⨅317))←∉⩵(↙⩵⋊(a⪜⋗⇢279))) , if (↔a)>=8 ; (((122∛a)↜⩯⩶(111⪼↽a))⊻↞≧((⇥⩃a)⊩↪)) , else }

def op_bOl5BeH7aO(a):
    if op_ruOEQAzv1W(a) >= 8:
        return op_NOHxjtdlri(op_7AjaldEyf6(op_ZyEASfasF5(a,a),op_tawivNIhYz(a,317)),op_tx9xvuZCgf(op_MkFge0F0HF(a,279)))
    else:
        return op_NZ4M85zvpZ(op_BUZMbiqx9t(op_w2537kitQq(122,a),op_zcaA4Z4NaO(111,a)),op_jaeilbl5Cl(op_BN95awToQz(a)))

def op_count_bOl5BeH7aO(a):
    if op_ruOEQAzv1W(a) >= 8:
        count = op_count_ZyEASfasF5(a,a)+op_count_tawivNIhYz(a,317)+op_count_7AjaldEyf6(op_ZyEASfasF5(a,a),op_tawivNIhYz(a,317))+op_count_MkFge0F0HF(a,279)+op_count_tx9xvuZCgf(op_MkFge0F0HF(a,279))+op_count_NOHxjtdlri(op_7AjaldEyf6(op_ZyEASfasF5(a,a),op_tawivNIhYz(a,317)),op_tx9xvuZCgf(op_MkFge0F0HF(a,279)))+op_count_ruOEQAzv1W(a)
    else:
        count = op_count_w2537kitQq(122,a)+op_count_zcaA4Z4NaO(111,a)+op_count_BUZMbiqx9t(op_w2537kitQq(122,a),op_zcaA4Z4NaO(111,a))+op_count_BN95awToQz(a)+op_count_jaeilbl5Cl(op_BN95awToQz(a))+op_count_NZ4M85zvpZ(op_BUZMbiqx9t(op_w2537kitQq(122,a),op_zcaA4Z4NaO(111,a)),op_jaeilbl5Cl(op_BN95awToQz(a)))
    return count