a⩶⨵b = { (((⪑⋘a)≧⫂∧(96⊵⩛∤a))⪚(⪡⪅∗(⨐⋃⊡b))) , if b!=177 ; (((b⋍b)∝≗(a⊾⇫a))⫹⪎≄(⨷(⫷⩒a))) , else }

def op_VxEd4nGCaq(a, b):
    if b != 177:
        return op_HrjLwUk87U(op_Ph9nP6C5qx(op_MXfLdPX77h(a),op_36V2MidH9c(96,a)),op_mVMnQ3ZUz6(op_lBZCiJp9SE(b)))
    else:
        return op_K576RbR1w3(op_bQy7iKdSPD(op_gXjZ5wXXzC(b,b),op_EaccxuysW0(a,a)),op_0De0cgdyF4(op_bPRg614uub(a)))

def op_count_VxEd4nGCaq(a, b):
    if b != 177:
        count = op_count_MXfLdPX77h(a)+op_count_36V2MidH9c(96,a)+op_count_Ph9nP6C5qx(op_MXfLdPX77h(a),op_36V2MidH9c(96,a))+op_count_lBZCiJp9SE(b)+op_count_mVMnQ3ZUz6(op_lBZCiJp9SE(b))+op_count_HrjLwUk87U(op_Ph9nP6C5qx(op_MXfLdPX77h(a),op_36V2MidH9c(96,a)),op_mVMnQ3ZUz6(op_lBZCiJp9SE(b)))
    else:
        count = op_count_gXjZ5wXXzC(b,b)+op_count_EaccxuysW0(a,a)+op_count_bQy7iKdSPD(op_gXjZ5wXXzC(b,b),op_EaccxuysW0(a,a))+op_count_bPRg614uub(a)+op_count_0De0cgdyF4(op_bPRg614uub(a))+op_count_K576RbR1w3(op_bQy7iKdSPD(op_gXjZ5wXXzC(b,b),op_EaccxuysW0(a,a)),op_0De0cgdyF4(op_bPRg614uub(a)))
    return count


def op_BeKUusqXDm(a, b):
    return op_snJ4WsMDae(op_mg7BfXbOdF(63),op_rJVOvQCfKK(b,a))

def op_count_BeKUusqXDm(a, b):
    count = op_count_mg7BfXbOdF(63)+op_count_rJVOvQCfKK(b,a)+op_count_snJ4WsMDae(op_mg7BfXbOdF(63),op_rJVOvQCfKK(b,a))
    return count


def op_qlCXe2rwih(a):
    if op_Ph9nP6C5qx(a,69) >= 171:
        return op_z4ujcxYYss(a,173)
    else:
        return op_dOyh8NTXcy(a)

def op_count_qlCXe2rwih(a):
    if op_Ph9nP6C5qx(a,69) >= 171:
        count = op_count_z4ujcxYYss(a,173)+op_count_Ph9nP6C5qx(a,69)
    else:
        count = op_count_dOyh8NTXcy(a)
    return count


def op_4N1ubxJJFf(a):
    if op_oJeI64L7yZ(a,588) <= 24 and a < 905:
        return op_oraRL2iQuh(a,a)
    else:
        return op_L05ObWFQCd(a,6)

def op_count_4N1ubxJJFf(a):
    if op_oJeI64L7yZ(a,588) <= 24 and a < 905:
        count = op_count_oraRL2iQuh(a,a)+op_count_oJeI64L7yZ(a,588)
    else:
        count = op_count_L05ObWFQCd(a,6)
    return count


≻⊦∘a = { ((a⩥)⪙⇔((130⋤a)⫳⫚⇈(64∴⪏a))) , if (a⇫⫇)!=44 ; (((a⫾a)⇻⋧≁(a⇻↜⇹a))⊴⪶⨢(←≛∠(a⋺a))) , else }

def op_FVLAreEShE(a):
    if op_DN39D8SUEw(a) != 44:
        return op_HtfiQVUMWI(op_jS8qnsL3aY(a),op_InHNDff3xD(op_3FfuuMEB8X(130,a),op_4XKlyKzzXk(64,a)))
    else:
        return op_ijrBZcTHEz(op_jCPkEVoL5K(op_7JbuLsbBtx(a,a),op_N6aCA1AhH1(a,a)),op_H9pyI74bwb(op_NkHGXixdNJ(a,a)))

def op_count_FVLAreEShE(a):
    if op_DN39D8SUEw(a) != 44:
        count = op_count_jS8qnsL3aY(a)+op_count_3FfuuMEB8X(130,a)+op_count_4XKlyKzzXk(64,a)+op_count_InHNDff3xD(op_3FfuuMEB8X(130,a),op_4XKlyKzzXk(64,a))+op_count_HtfiQVUMWI(op_jS8qnsL3aY(a),op_InHNDff3xD(op_3FfuuMEB8X(130,a),op_4XKlyKzzXk(64,a)))+op_count_DN39D8SUEw(a)
    else:
        count = op_count_7JbuLsbBtx(a,a)+op_count_N6aCA1AhH1(a,a)+op_count_jCPkEVoL5K(op_7JbuLsbBtx(a,a),op_N6aCA1AhH1(a,a))+op_count_NkHGXixdNJ(a,a)+op_count_H9pyI74bwb(op_NkHGXixdNJ(a,a))+op_count_ijrBZcTHEz(op_jCPkEVoL5K(op_7JbuLsbBtx(a,a),op_N6aCA1AhH1(a,a)),op_H9pyI74bwb(op_NkHGXixdNJ(a,a)))
    return count


def op_5xsUlCL7f5(a, b):
    return op_AJW4C0rBPs(op_uysxUYN2L2(op_BsQQe46RQf(a,b),op_VetzYauijD(b,a)),op_Loh9y4A90B(op_BEh4QBmAc4(a,b)))

def op_count_5xsUlCL7f5(a, b):
    count = op_count_BsQQe46RQf(a,b)+op_count_VetzYauijD(b,a)+op_count_uysxUYN2L2(op_BsQQe46RQf(a,b),op_VetzYauijD(b,a))+op_count_BEh4QBmAc4(a,b)+op_count_Loh9y4A90B(op_BEh4QBmAc4(a,b))+op_count_AJW4C0rBPs(op_uysxUYN2L2(op_BsQQe46RQf(a,b),op_VetzYauijD(b,a)),op_Loh9y4A90B(op_BEh4QBmAc4(a,b)))
    return count


a⫋⇞⊘ = { (((641⋰⇉∕a)⇕)⪁⇊⋡((a⩇⫾⪤a)⨝√(a⋔∶a))) }

def op_WDgZKDIXIR(a):
    return op_v7DKjtCdMf(op_vaH8QgiDVg(op_sM9mzqIDB1(641,a)),op_9m2uP4QEko(op_FNeuu2F1id(a,a),op_e1tqKxnyD8(a,a)))

def op_count_WDgZKDIXIR(a):
    count = op_count_sM9mzqIDB1(641,a)+op_count_vaH8QgiDVg(op_sM9mzqIDB1(641,a))+op_count_FNeuu2F1id(a,a)+op_count_e1tqKxnyD8(a,a)+op_count_9m2uP4QEko(op_FNeuu2F1id(a,a),op_e1tqKxnyD8(a,a))+op_count_v7DKjtCdMf(op_vaH8QgiDVg(op_sM9mzqIDB1(641,a)),op_9m2uP4QEko(op_FNeuu2F1id(a,a),op_e1tqKxnyD8(a,a)))
    return count


a↻⨒⩎ = { ((⇰a)⋛(a⩢⇢a)) , if (a↪785)>=187 ; ((a⫙⨛∌a)⩷∴(a↔≼∕a)) , else }

def op_tGYEXLXJG7(a):
    if op_EiZwwOZ4nb(a,785) >= 187:
        return op_YbUVn0Rbpy(op_zc1INhisa1(a),op_C4PqR2W9Pw(a,a))
    else:
        return op_9FxExcQeMw(op_try26Xv2zA(a,a),op_hL8JPCYIkc(a,a))

def op_count_tGYEXLXJG7(a):
    if op_EiZwwOZ4nb(a,785) >= 187:
        count = op_count_zc1INhisa1(a)+op_count_C4PqR2W9Pw(a,a)+op_count_YbUVn0Rbpy(op_zc1INhisa1(a),op_C4PqR2W9Pw(a,a))+op_count_EiZwwOZ4nb(a,785)
    else:
        count = op_count_try26Xv2zA(a,a)+op_count_hL8JPCYIkc(a,a)+op_count_9FxExcQeMw(op_try26Xv2zA(a,a),op_hL8JPCYIkc(a,a))
    return count


a∣⇻⨋ = { (⇏⫅(⫔⇃⋓a)) , if (⫔≈a)>13 ; ((⨇398)⇍⇀∫(a⨬⊟a)) , else }

def op_Sp3VKZyLoc(a):
    if op_eclEAv0D6v(a) > 13:
        return op_p1y54au9R0(op_cHPIEQy0Cf(a))
    else:
        return op_KJGMR4YWSg(op_Oop2uYv01n(398),op_hv7txCVeHj(a,a))

def op_count_Sp3VKZyLoc(a):
    if op_eclEAv0D6v(a) > 13:
        count = op_count_cHPIEQy0Cf(a)+op_count_p1y54au9R0(op_cHPIEQy0Cf(a))+op_count_eclEAv0D6v(a)
    else:
        count = op_count_Oop2uYv01n(398)+op_count_hv7txCVeHj(a,a)+op_count_KJGMR4YWSg(op_Oop2uYv01n(398),op_hv7txCVeHj(a,a))
    return count


def op_wcdrXsDMxZ(a, b):
    return op_1v5pUZ2RLP(op_7vLe0YQdZ4(b),op_BJDLbvb5Z5(a,a))

def op_count_wcdrXsDMxZ(a, b):
    count = op_count_7vLe0YQdZ4(b)+op_count_BJDLbvb5Z5(a,a)+op_count_1v5pUZ2RLP(op_7vLe0YQdZ4(b),op_BJDLbvb5Z5(a,a))
    return count


def op_F1vicInhg4(a, b):
    if op_6Bcfo3j9gb(a,680) == 173:
        return op_TcUor9fpwD(700)
    else:
        return op_n7NTx37v7F(b,107)

def op_count_F1vicInhg4(a, b):
    if op_6Bcfo3j9gb(a,680) == 173:
        count = op_count_TcUor9fpwD(700)+op_count_6Bcfo3j9gb(a,680)
    else:
        count = op_count_n7NTx37v7F(b,107)
    return count


def op_h0daCWQC5O(a):
    if op_r8WhR566a7(a) <= 626:
        return op_ajXNDuf2dy(op_B0ezUFU1kP(a))
    else:
        return op_qeG8mGoQOE(op_fIxhDubex3(a),op_Lnros4fou8(a,626))

def op_count_h0daCWQC5O(a):
    if op_r8WhR566a7(a) <= 626:
        count = op_count_B0ezUFU1kP(a)+op_count_ajXNDuf2dy(op_B0ezUFU1kP(a))+op_count_r8WhR566a7(a)
    else:
        count = op_count_fIxhDubex3(a)+op_count_Lnros4fou8(a,626)+op_count_qeG8mGoQOE(op_fIxhDubex3(a),op_Lnros4fou8(a,626))
    return count


def op_al7aJ7Utp8(a, b):
    if op_j8NUO8wOlx(b) != 99:
        return op_eZ4iHVWETC(op_3ayH0UyYyX(225,a),op_DmTXOeWf9t(b,476))
    else:
        return op_3iurnvestf(op_FSasnAb2iR(b,a),op_KKYcEEj1Nw(181,491))

def op_count_al7aJ7Utp8(a, b):
    if op_j8NUO8wOlx(b) != 99:
        count = op_count_3ayH0UyYyX(225,a)+op_count_DmTXOeWf9t(b,476)+op_count_eZ4iHVWETC(op_3ayH0UyYyX(225,a),op_DmTXOeWf9t(b,476))+op_count_j8NUO8wOlx(b)
    else:
        count = op_count_FSasnAb2iR(b,a)+op_count_KKYcEEj1Nw(181,491)+op_count_3iurnvestf(op_FSasnAb2iR(b,a),op_KKYcEEj1Nw(181,491))
    return count


⨷⪠a = { (a⩌≪⫐80) , if (a⪣≬⊯)<359 ; (∐⩳⋚a) , else }

def op_y68ZqWkvUf(a):
    if op_rNLcfgtDaN(a) < 359:
        return op_B7h40RZuRL(a,80)
    else:
        return op_SL6IHkK8vl(a)

def op_count_y68ZqWkvUf(a):
    if op_rNLcfgtDaN(a) < 359:
        count = op_count_B7h40RZuRL(a,80)+op_count_rNLcfgtDaN(a)
    else:
        count = op_count_SL6IHkK8vl(a)
    return count


def op_TPfGUzWzHB(a):
    return op_ezv41XLVK4(op_d7ASUq0ydm(a,op_kT4MlvM4La(a,a)),op_RhiyfpczSx(op_NZ4M85zvpZ(78,a)))

def op_count_TPfGUzWzHB(a):
    count = op_count_kT4MlvM4La(a,a)+op_count_d7ASUq0ydm(a,op_kT4MlvM4La(a,a))+op_count_NZ4M85zvpZ(78,a)+op_count_RhiyfpczSx(op_NZ4M85zvpZ(78,a))+op_count_ezv41XLVK4(op_d7ASUq0ydm(a,op_kT4MlvM4La(a,a)),op_RhiyfpczSx(op_NZ4M85zvpZ(78,a)))
    return count


a⨥⇒ = { (⊄⩳↩((⇝↙≔a)⊸(6≜∖⩎a))) , if (a⋌851)<=177 ; (((↥a)≜⊇(⊖⩬a))∓⊪≰) , else }

def op_lXhXxtlXSQ(a):
    if op_MlMyrKhIQ5(a,851) <= 177:
        return op_8w2t5hMYqp(op_vtudXryacx(op_LznzX3UncI(a),op_NHqdvowzfS(6,a)))
    else:
        return op_Weet5uwNop(op_oa1nrqFkD0(op_A8NUZmVepG(a),op_l5sQfSgPL9(a)))

def op_count_lXhXxtlXSQ(a):
    if op_MlMyrKhIQ5(a,851) <= 177:
        count = op_count_LznzX3UncI(a)+op_count_NHqdvowzfS(6,a)+op_count_vtudXryacx(op_LznzX3UncI(a),op_NHqdvowzfS(6,a))+op_count_8w2t5hMYqp(op_vtudXryacx(op_LznzX3UncI(a),op_NHqdvowzfS(6,a)))+op_count_MlMyrKhIQ5(a,851)
    else:
        count = op_count_A8NUZmVepG(a)+op_count_l5sQfSgPL9(a)+op_count_oa1nrqFkD0(op_A8NUZmVepG(a),op_l5sQfSgPL9(a))+op_count_Weet5uwNop(op_oa1nrqFkD0(op_A8NUZmVepG(a),op_l5sQfSgPL9(a)))
    return count


a⇡⫝ = { a , if a<=630 ; (((a⇸⊌∿a)⋒⋧∊(a⨍⪺a))≬⇓((⊕a)⊥⇄(⩪⫡⊌167))) , else }

def op_lNjWqXbZ95(a):
    if a <= 630:
        return a
    else:
        return op_jWTQ2TZYIH(op_Toewqs8END(op_5hNsobdibZ(a,a),op_IEH3kw0xIp(a,a)),op_gDxaUCbvBQ(op_C2eOkFrmjf(a),op_Tgte3JtaA5(167)))

def op_count_lNjWqXbZ95(a):
    if a <= 630:
        count = 1
    else:
        count = op_count_5hNsobdibZ(a,a)+op_count_IEH3kw0xIp(a,a)+op_count_Toewqs8END(op_5hNsobdibZ(a,a),op_IEH3kw0xIp(a,a))+op_count_C2eOkFrmjf(a)+op_count_Tgte3JtaA5(167)+op_count_gDxaUCbvBQ(op_C2eOkFrmjf(a),op_Tgte3JtaA5(167))+op_count_jWTQ2TZYIH(op_Toewqs8END(op_5hNsobdibZ(a,a),op_IEH3kw0xIp(a,a)),op_gDxaUCbvBQ(op_C2eOkFrmjf(a),op_Tgte3JtaA5(167)))
    return count


a≙∌ = { (((21⪦⪊a)⋩⪊⫪(a∓⊪≰))⊳⫫((⫎a)≧↧↪(144≭∊a))) }

def op_XSaewJ7xd0(a):
    return op_siyWwrmZkB(op_jgzsi2wuu5(op_DykcjiQqpf(21,a),op_Weet5uwNop(a)),op_bnaEnLVdkS(op_j27Jgf5Byt(a),op_NvvUe35Zgj(144,a)))

def op_count_XSaewJ7xd0(a):
    count = op_count_DykcjiQqpf(21,a)+op_count_Weet5uwNop(a)+op_count_jgzsi2wuu5(op_DykcjiQqpf(21,a),op_Weet5uwNop(a))+op_count_j27Jgf5Byt(a)+op_count_NvvUe35Zgj(144,a)+op_count_bnaEnLVdkS(op_j27Jgf5Byt(a),op_NvvUe35Zgj(144,a))+op_count_siyWwrmZkB(op_jgzsi2wuu5(op_DykcjiQqpf(21,a),op_Weet5uwNop(a)),op_bnaEnLVdkS(op_j27Jgf5Byt(a),op_NvvUe35Zgj(144,a)))
    return count


≣⪥a = { ((a⊞⫤a)⨋) , if (a⪻)>=248 ; ((a∪⫐a)⋱(a⊖⊬∳a)) , else }

def op_GYdfsuwOJy(a):
    if op_KYIJhKMuxi(a) >= 248:
        return op_gBMo9waWS2(op_ty3zjDioQl(a,a))
    else:
        return op_rK7H9hZmfU(op_7YooWSwCyH(a,a),op_xonniTcBY0(a,a))

def op_count_GYdfsuwOJy(a):
    if op_KYIJhKMuxi(a) >= 248:
        count = op_count_ty3zjDioQl(a,a)+op_count_gBMo9waWS2(op_ty3zjDioQl(a,a))+op_count_KYIJhKMuxi(a)
    else:
        count = op_count_7YooWSwCyH(a,a)+op_count_xonniTcBY0(a,a)+op_count_rK7H9hZmfU(op_7YooWSwCyH(a,a),op_xonniTcBY0(a,a))
    return count


a⇿∔⋗ = { (((a⪾⊳a)⊯(49⪒⫴≏157))⇓∧≤(∧⊯⊑(a∊∟⩊a))) }

def op_cEfAMXyiOm(a):
    return op_CPJod9CRaD(op_QLJ9aFu80N(op_8n6F7jskv3(a,a),op_wZ022U9HON(49,157)),op_p3tkozcGQn(op_ddLRYrp01A(a,a)))

def op_count_cEfAMXyiOm(a):
    count = op_count_8n6F7jskv3(a,a)+op_count_wZ022U9HON(49,157)+op_count_QLJ9aFu80N(op_8n6F7jskv3(a,a),op_wZ022U9HON(49,157))+op_count_ddLRYrp01A(a,a)+op_count_p3tkozcGQn(op_ddLRYrp01A(a,a))+op_count_CPJod9CRaD(op_QLJ9aFu80N(op_8n6F7jskv3(a,a),op_wZ022U9HON(49,157)),op_p3tkozcGQn(op_ddLRYrp01A(a,a)))
    return count


def op_2zAMpI9q0q(a, b):
    if op_cGHQRUc1Fx(b) != 294:
        return a
    else:
        return op_qlIXcggVCe(op_zs0bbCWKdf(op_R5aXW34M0v(b),op_q7JRbKRkcT(214)),op_WhqkvtTD3t(op_muoSboCI92(173,a),op_dYBoAWDpSk(a,284)))

def op_count_2zAMpI9q0q(a, b):
    if op_cGHQRUc1Fx(b) != 294:
        count = 1
    else:
        count = op_count_R5aXW34M0v(b)+op_count_q7JRbKRkcT(214)+op_count_zs0bbCWKdf(op_R5aXW34M0v(b),op_q7JRbKRkcT(214))+op_count_muoSboCI92(173,a)+op_count_dYBoAWDpSk(a,284)+op_count_WhqkvtTD3t(op_muoSboCI92(173,a),op_dYBoAWDpSk(a,284))+op_count_qlIXcggVCe(op_zs0bbCWKdf(op_R5aXW34M0v(b),op_q7JRbKRkcT(214)),op_WhqkvtTD3t(op_muoSboCI92(173,a),op_dYBoAWDpSk(a,284)))
    return count


def op_jxGJixDqZp(a, b):
    return op_iuUhER8Vt9(op_XjS7Uyx2OE(op_zBeky0p6hI(b),op_dVH6fed4yM(a,794)))

def op_count_jxGJixDqZp(a, b):
    count = op_count_zBeky0p6hI(b)+op_count_dVH6fed4yM(a,794)+op_count_XjS7Uyx2OE(op_zBeky0p6hI(b),op_dVH6fed4yM(a,794))+op_count_iuUhER8Vt9(op_XjS7Uyx2OE(op_zBeky0p6hI(b),op_dVH6fed4yM(a,794)))
    return count


a⩂⨒⩪b = { (((b⨑⇌⫪a)≖⪱(90⋾∩a))↟⇝(⇜⊴(b∀⩎⋷b))) , if (a≶≛)!=38 ; b , else }

def op_yN4OfublB3(a, b):
    if op_sI0su5b2po(a) != 38:
        return op_YdxZk85PfS(op_WwRa9GTyuv(op_OMlED4Os5J(b,a),op_2KNBRhPqiH(90,a)),op_XwDhCwWbUn(op_FPxP5Y1j0W(b,b)))
    else:
        return b

def op_count_yN4OfublB3(a, b):
    if op_sI0su5b2po(a) != 38:
        count = op_count_OMlED4Os5J(b,a)+op_count_2KNBRhPqiH(90,a)+op_count_WwRa9GTyuv(op_OMlED4Os5J(b,a),op_2KNBRhPqiH(90,a))+op_count_FPxP5Y1j0W(b,b)+op_count_XwDhCwWbUn(op_FPxP5Y1j0W(b,b))+op_count_YdxZk85PfS(op_WwRa9GTyuv(op_OMlED4Os5J(b,a),op_2KNBRhPqiH(90,a)),op_XwDhCwWbUn(op_FPxP5Y1j0W(b,b)))+op_count_sI0su5b2po(a)
    else:
        count = 1
    return count


def op_vtwaKXoaUm(a):
    return op_RhiyfpczSx(op_Acnz1HI8Ry(op_F85fdRvr8l(a,a),op_EAoIFGtZkS(45)))

def op_count_vtwaKXoaUm(a):
    count = op_count_F85fdRvr8l(a,a)+op_count_EAoIFGtZkS(45)+op_count_Acnz1HI8Ry(op_F85fdRvr8l(a,a),op_EAoIFGtZkS(45))+op_count_RhiyfpczSx(op_Acnz1HI8Ry(op_F85fdRvr8l(a,a),op_EAoIFGtZkS(45)))
    return count


def op_kILGUCmkJ2(a):
    return op_3FsoGOMzDA(op_XIK4G3vWTl(a,a),op_H7f1qksvrC(a))

def op_count_kILGUCmkJ2(a):
    count = op_count_XIK4G3vWTl(a,a)+op_count_H7f1qksvrC(a)+op_count_3FsoGOMzDA(op_XIK4G3vWTl(a,a),op_H7f1qksvrC(a))
    return count


def op_3tbQZWYi8S(a):
    if op_HNxyAwp1jS(a) > 322:
        return op_Ob6c77wMhA(701,a)
    else:
        return op_LdNpr8hQHL(117)

def op_count_3tbQZWYi8S(a):
    if op_HNxyAwp1jS(a) > 322:
        count = op_count_Ob6c77wMhA(701,a)+op_count_HNxyAwp1jS(a)
    else:
        count = op_count_LdNpr8hQHL(117)
    return count


def op_KVFPoZ14HF(a):
    return op_22UCrTUJEh(a,a)

def op_count_KVFPoZ14HF(a):
    count = op_count_22UCrTUJEh(a,a)
    return count


⪠∙a = { ((a⊻(a⪋⫼⪧a))≌⊪⫪((a⪄a)⊉(a⊟⊧a))) , if (⫟⇪⇾a)>168 ; (((a⩃∿a)≨≷↮a)≹≨⨇a) , else }

def op_hvBWUBN4QG(a):
    if op_WnEoYGZB9p(a) > 168:
        return op_htsSHb9NOj(op_exzyYvvvzF(a,op_KLMV3Z6VVJ(a,a)),op_DB9nkKv9Ue(op_SUmda5xLS4(a,a),op_GN3qbhwjUb(a,a)))
    else:
        return op_aGhYYhn7J7(op_HcR3lMcVMO(op_pq3pqYEpp4(a,a),a),a)

def op_count_hvBWUBN4QG(a):
    if op_WnEoYGZB9p(a) > 168:
        count = op_count_KLMV3Z6VVJ(a,a)+op_count_exzyYvvvzF(a,op_KLMV3Z6VVJ(a,a))+op_count_SUmda5xLS4(a,a)+op_count_GN3qbhwjUb(a,a)+op_count_DB9nkKv9Ue(op_SUmda5xLS4(a,a),op_GN3qbhwjUb(a,a))+op_count_htsSHb9NOj(op_exzyYvvvzF(a,op_KLMV3Z6VVJ(a,a)),op_DB9nkKv9Ue(op_SUmda5xLS4(a,a),op_GN3qbhwjUb(a,a)))+op_count_WnEoYGZB9p(a)
    else:
        count = op_count_pq3pqYEpp4(a,a)+op_count_HcR3lMcVMO(op_pq3pqYEpp4(a,a),a)+op_count_aGhYYhn7J7(op_HcR3lMcVMO(op_pq3pqYEpp4(a,a),a),a)
    return count


def op_1MVQ5pXljg(a, b):
    if op_jrW1E7Ncie(a) == 75:
        return 183
    else:
        return op_cFVlceoRkX(op_HsTbSIxlT7(op_k8X3umw52W(a,b)),op_xQeZU3TIrN(op_ua2fiIHkOT(318),b))

def op_count_1MVQ5pXljg(a, b):
    if op_jrW1E7Ncie(a) == 75:
        count = op_count_jrW1E7Ncie(a)
    else:
        count = op_count_k8X3umw52W(a,b)+op_count_HsTbSIxlT7(op_k8X3umw52W(a,b))+op_count_ua2fiIHkOT(318)+op_count_xQeZU3TIrN(op_ua2fiIHkOT(318),b)+op_count_cFVlceoRkX(op_HsTbSIxlT7(op_k8X3umw52W(a,b)),op_xQeZU3TIrN(op_ua2fiIHkOT(318),b))
    return count


⊬⇘⊥a = { (a⪷⫽) , if (a⪶284)!=52 ; (a⋾⨃∁a) , else }

def op_imiD5ZE1Ks(a):
    if op_NvEvKO2R8S(a,284) != 52:
        return op_t3nvZrvJJj(a)
    else:
        return op_212REbPD9h(a,a)

def op_count_imiD5ZE1Ks(a):
    if op_NvEvKO2R8S(a,284) != 52:
        count = op_count_t3nvZrvJJj(a)+op_count_NvEvKO2R8S(a,284)
    else:
        count = op_count_212REbPD9h(a,a)
    return count


def op_LTZrEKeXam(a):
    return op_WtSaZj39hj(op_WgpVqVdAuJ(450),op_TcUor9fpwD(a))

def op_count_LTZrEKeXam(a):
    count = op_count_WgpVqVdAuJ(450)+op_count_TcUor9fpwD(a)+op_count_WtSaZj39hj(op_WgpVqVdAuJ(450),op_TcUor9fpwD(a))
    return count


def op_mghibfs8jB(a, b):
    if op_kpf4jZBDQQ(b,216) > 152:
        return op_agzRJtrQZ2(343,a)
    else:
        return op_Bi9z9uYZqW(a)

def op_count_mghibfs8jB(a, b):
    if op_kpf4jZBDQQ(b,216) > 152:
        count = op_count_agzRJtrQZ2(343,a)+op_count_kpf4jZBDQQ(b,216)
    else:
        count = op_count_Bi9z9uYZqW(a)
    return count


def op_oavCpV4SmN(a, b):
    return op_J6P3rkRUj0(op_tJkeIIum6v(b,a),op_3UMq87Qwqg(b))

def op_count_oavCpV4SmN(a, b):
    count = op_count_tJkeIIum6v(b,a)+op_count_3UMq87Qwqg(b)+op_count_J6P3rkRUj0(op_tJkeIIum6v(b,a),op_3UMq87Qwqg(b))
    return count


def op_scnBMGRR3o(a):
    return op_lEJwZ8Bbna(op_dwb5p0fa6d(op_SUmda5xLS4(a,111)))

def op_count_scnBMGRR3o(a):
    count = op_count_SUmda5xLS4(a,111)+op_count_dwb5p0fa6d(op_SUmda5xLS4(a,111))+op_count_lEJwZ8Bbna(op_dwb5p0fa6d(op_SUmda5xLS4(a,111)))
    return count


∽⋌a = { (a∏⇴a) , if ((a⫞)<714 and (a⨌↪)>=583) ; (a⨑⩅≇a) , else }

def op_tTSpULx7oY(a):
    if (op_mk4FjxrA5V(a) < 714 and op_cWQsF5MvuD(a) >= 583):
        return op_Rw46J52cBJ(a,a)
    else:
        return op_h92wMvzauj(a,a)

def op_count_tTSpULx7oY(a):
    if (op_mk4FjxrA5V(a) < 714 and op_cWQsF5MvuD(a) >= 583):
        count = op_count_Rw46J52cBJ(a,a)+op_count_mk4FjxrA5V(a)+op_count_cWQsF5MvuD(a)
    else:
        count = op_count_h92wMvzauj(a,a)
    return count


a⫤⇆⋞ = { (a⩷⩫⋙a) , if (a⇌⋨≨)<7 ; (12⋝) , else }

def op_BMGZzhc1vn(a):
    if op_bgrn5wBzt5(a) < 7:
        return op_Ob6c77wMhA(a,a)
    else:
        return op_1wGGHZzAai(12)

def op_count_BMGZzhc1vn(a):
    if op_bgrn5wBzt5(a) < 7:
        count = op_count_Ob6c77wMhA(a,a)+op_count_bgrn5wBzt5(a)
    else:
        count = op_count_1wGGHZzAai(12)
    return count


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

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


a⇩⪥ = { ((∶∢∐(a⫳≱↱a))≬⇓(↓⊻⪕(a⊶⇠⋮))) , if (a→⊣⋬668)>31 ; (≪⩌((a⩲a)⋯⨮⊁(a⪯⩡↑))) , else }

def op_9mnkvHMLPD(a):
    if op_51hOuhRTcR(a,668) > 31:
        return op_jWTQ2TZYIH(op_owrP24woSl(op_ZvLB05nZmT(a,a)),op_OOXovtW7XD(op_EHTPhddjmx(a)))
    else:
        return op_h1GNKBeiQI(op_1vIQx1Qjvl(op_UvedHhwKRj(a,a),op_6pLZ6DX5cL(a)))

def op_count_9mnkvHMLPD(a):
    if op_51hOuhRTcR(a,668) > 31:
        count = op_count_ZvLB05nZmT(a,a)+op_count_owrP24woSl(op_ZvLB05nZmT(a,a))+op_count_EHTPhddjmx(a)+op_count_OOXovtW7XD(op_EHTPhddjmx(a))+op_count_jWTQ2TZYIH(op_owrP24woSl(op_ZvLB05nZmT(a,a)),op_OOXovtW7XD(op_EHTPhddjmx(a)))+op_count_51hOuhRTcR(a,668)
    else:
        count = op_count_UvedHhwKRj(a,a)+op_count_6pLZ6DX5cL(a)+op_count_1vIQx1Qjvl(op_UvedHhwKRj(a,a),op_6pLZ6DX5cL(a))+op_count_h1GNKBeiQI(op_1vIQx1Qjvl(op_UvedHhwKRj(a,a),op_6pLZ6DX5cL(a)))
    return count


def op_cn4QIenjMV(a):
    return op_JgXZM7XvWE(op_k4iM1060OG(a),op_0nVhjSiHEu(a,a))

def op_count_cn4QIenjMV(a):
    count = op_count_k4iM1060OG(a)+op_count_0nVhjSiHEu(a,a)+op_count_JgXZM7XvWE(op_k4iM1060OG(a),op_0nVhjSiHEu(a,a))
    return count


⊙+a = { ((⨉⋛⩼a)≎) , if (a⊓⋫)==8 ; a , else }

def op_dUlVF5g9xE(a):
    if op_IqGBaFP0uj(a) == 8:
        return op_ziBb4sC0ZT(op_dSkh3V1OUw(a))
    else:
        return a

def op_count_dUlVF5g9xE(a):
    if op_IqGBaFP0uj(a) == 8:
        count = op_count_dSkh3V1OUw(a)+op_count_ziBb4sC0ZT(op_dSkh3V1OUw(a))+op_count_IqGBaFP0uj(a)
    else:
        count = 1
    return count


def op_YsdJDCpWnV(a):
    return op_keMeIxFVQ3(op_lYYgj615o2(437,a),a)

def op_count_YsdJDCpWnV(a):
    count = op_count_lYYgj615o2(437,a)+op_count_keMeIxFVQ3(op_lYYgj615o2(437,a),a)
    return count


def op_h4Kq12klWJ(a):
    if a < 91:
        return op_Cr5xnr8B4B(a,30)
    else:
        return op_CgIo77xlM2(a)

def op_count_h4Kq12klWJ(a):
    if a < 91:
        count = op_count_Cr5xnr8B4B(a,30)
    else:
        count = op_count_CgIo77xlM2(a)
    return count


a⊝⨂b = { (((b≎)⫮⋒(↬⨕a))≫≃⩳(⨱+(a⊠⋬↑a))) }

def op_qlXHEwqT5e(a, b):
    return op_HJDcuLMPgt(op_PblpGk9Zbg(op_ziBb4sC0ZT(b),op_pMXht5UQ7i(a)),op_R73I1om3fK(op_W7L2oCKInH(a,a)))

def op_count_qlXHEwqT5e(a, b):
    count = op_count_ziBb4sC0ZT(b)+op_count_pMXht5UQ7i(a)+op_count_PblpGk9Zbg(op_ziBb4sC0ZT(b),op_pMXht5UQ7i(a))+op_count_W7L2oCKInH(a,a)+op_count_R73I1om3fK(op_W7L2oCKInH(a,a))+op_count_HJDcuLMPgt(op_PblpGk9Zbg(op_ziBb4sC0ZT(b),op_pMXht5UQ7i(a)),op_R73I1om3fK(op_W7L2oCKInH(a,a)))
    return count


↮⇈⊏a = { (a≅⋲a) , if (a∫⩜⪳218)>=438 ; (a↸a) , else }

def op_FmSshXXRlL(a):
    if op_HYQYetZkj2(a,218) >= 438:
        return op_A0R0hrgyGo(a,a)
    else:
        return op_1eCjFl0mb9(a,a)

def op_count_FmSshXXRlL(a):
    if op_HYQYetZkj2(a,218) >= 438:
        count = op_count_A0R0hrgyGo(a,a)+op_count_HYQYetZkj2(a,218)
    else:
        count = op_count_1eCjFl0mb9(a,a)
    return count


def op_QDIjiCACCA(a):
    return op_maNSbC2RxN(op_Qtd6bqUJcN(a),op_xwVg91SYUp(a))

def op_count_QDIjiCACCA(a):
    count = op_count_Qtd6bqUJcN(a)+op_count_xwVg91SYUp(a)+op_count_maNSbC2RxN(op_Qtd6bqUJcN(a),op_xwVg91SYUp(a))
    return count


a∷↨⪰b = { (((a⇛⋲282)⫍(a≦↬b))↺((a⪦)⇵(b⪡a))) , if (∕b)>=6 or a!=674 ; (((a⫥⩇⪟b)⪠⫢⪧(↥⫇a))↗((b⋗⩹⩓b)⊎⩰∤)) , else }

def op_I1sHTgYUb4(a, b):
    if op_A1Uma3KAhE(b) >= 6 or a != 674:
        return op_7j4O788W3g(op_T6hFkIRCss(op_bT2YGab5tl(a,282),op_z4Ajd36hBy(a,b)),op_kVSeQakJeK(op_RlYC4PyG6d(a),op_oraRL2iQuh(b,a)))
    else:
        return op_ODFdAPCKMa(op_fC5nSkFZ11(op_l1hjfgHDwy(a,b),op_9DifTUFlNJ(a)),op_SGnE0BhdKZ(op_EKLw81v4Z3(b,b)))

def op_count_I1sHTgYUb4(a, b):
    if op_A1Uma3KAhE(b) >= 6 or a != 674:
        count = op_count_bT2YGab5tl(a,282)+op_count_z4Ajd36hBy(a,b)+op_count_T6hFkIRCss(op_bT2YGab5tl(a,282),op_z4Ajd36hBy(a,b))+op_count_RlYC4PyG6d(a)+op_count_oraRL2iQuh(b,a)+op_count_kVSeQakJeK(op_RlYC4PyG6d(a),op_oraRL2iQuh(b,a))+op_count_7j4O788W3g(op_T6hFkIRCss(op_bT2YGab5tl(a,282),op_z4Ajd36hBy(a,b)),op_kVSeQakJeK(op_RlYC4PyG6d(a),op_oraRL2iQuh(b,a)))+op_count_A1Uma3KAhE(b)
    else:
        count = op_count_l1hjfgHDwy(a,b)+op_count_9DifTUFlNJ(a)+op_count_fC5nSkFZ11(op_l1hjfgHDwy(a,b),op_9DifTUFlNJ(a))+op_count_EKLw81v4Z3(b,b)+op_count_SGnE0BhdKZ(op_EKLw81v4Z3(b,b))+op_count_ODFdAPCKMa(op_fC5nSkFZ11(op_l1hjfgHDwy(a,b),op_9DifTUFlNJ(a)),op_SGnE0BhdKZ(op_EKLw81v4Z3(b,b)))
    return count


def op_SdgzMuZTgA(a):
    return op_rJlMWXggw2(op_8HCJqvcFkE(a),a)

def op_count_SdgzMuZTgA(a):
    count = op_count_8HCJqvcFkE(a)+op_count_rJlMWXggw2(op_8HCJqvcFkE(a),a)
    return count


def op_PJ4VlVZbgQ(a):
    return op_QDVgd2eftb(a,a)

def op_count_PJ4VlVZbgQ(a):
    count = op_count_QDVgd2eftb(a,a)
    return count


def op_GLi9SQ33IP(a):
    return op_B1w2DhXrIu(op_6fyZXHyWv3(op_ukq6epAj5P(486,a)))

def op_count_GLi9SQ33IP(a):
    count = op_count_ukq6epAj5P(486,a)+op_count_6fyZXHyWv3(op_ukq6epAj5P(486,a))+op_count_B1w2DhXrIu(op_6fyZXHyWv3(op_ukq6epAj5P(486,a)))
    return count


a∿⩬⪊ = { (⋳∜a) , if a>=181 ; (a≴⪞⇿a) , else }

def op_F0zDrwlH6J(a):
    if a >= 181:
        return op_p2sJqMVm2t(a)
    else:
        return op_lvlrscuwVU(a,a)

def op_count_F0zDrwlH6J(a):
    if a >= 181:
        count = op_count_p2sJqMVm2t(a)
    else:
        count = op_count_lvlrscuwVU(a,a)
    return count


def op_lJj5H11e1C(a):
    if (op_aN9a90urxU(a) <= 151 or op_zTd4o4K50M(a) < 198):
        return a
    else:
        return op_7t3wd0Fuz7(a,op_q5yaU63SKE(a))

def op_count_lJj5H11e1C(a):
    if (op_aN9a90urxU(a) <= 151 or op_zTd4o4K50M(a) < 198):
        count = 1
    else:
        count = op_count_q5yaU63SKE(a)+op_count_7t3wd0Fuz7(a,op_q5yaU63SKE(a))
    return count


a∭⩝⪢b = { b , if (b==914 and (a⊍∤⊀)<=268) ; ((≒(⫓⋮≁a))⪛(a∃⊄(a⫢⨏≡a))) , else }

def op_NNyAkiUQem(a, b):
    if (b == 914 and op_0EAum7Jupo(a) <= 268):
        return b
    else:
        return op_uFcxV4UQCh(op_8i5ue7LxuV(op_9QNY6wq3gX(a)),op_p5sVf13ywX(a,op_ln8odt1XeD(a,a)))

def op_count_NNyAkiUQem(a, b):
    if (b == 914 and op_0EAum7Jupo(a) <= 268):
        count = 1
    else:
        count = op_count_9QNY6wq3gX(a)+op_count_8i5ue7LxuV(op_9QNY6wq3gX(a))+op_count_ln8odt1XeD(a,a)+op_count_p5sVf13ywX(a,op_ln8odt1XeD(a,a))+op_count_uFcxV4UQCh(op_8i5ue7LxuV(op_9QNY6wq3gX(a)),op_p5sVf13ywX(a,op_ln8odt1XeD(a,a)))
    return count


def op_OHutFJdwU6(a):
    if op_4bQfsS4Ggx(a,623) != 286 and op_Z3BTqAxb9Q(a) >= 614 and op_tZb0v6mkOr(a) >= 225:
        return op_uEzDtkuuWN(op_y75s1iXyHd(231,212))
    else:
        return a

def op_count_OHutFJdwU6(a):
    if op_4bQfsS4Ggx(a,623) != 286 and op_Z3BTqAxb9Q(a) >= 614 and op_tZb0v6mkOr(a) >= 225:
        count = op_count_y75s1iXyHd(231,212)+op_count_uEzDtkuuWN(op_y75s1iXyHd(231,212))+op_count_4bQfsS4Ggx(a,623)+op_count_Z3BTqAxb9Q(a)+op_count_tZb0v6mkOr(a)
    else:
        count = 1
    return count


⩳≝a = { (((≈⩪a)⫬↰(2⫇⋯a))⊂⫮((157→⇚a)↓∂⫆(≋⪤a))) }

def op_k9i0W9X1Bg(a):
    return op_xOvNxfD5CB(op_f8TJb0vaMc(op_STs8eSTo28(a),op_xoJmIySC7h(2,a)),op_UO7sojQx20(op_POp3h4pmYF(157,a),op_cm2wdgkaZt(a)))

def op_count_k9i0W9X1Bg(a):
    count = op_count_STs8eSTo28(a)+op_count_xoJmIySC7h(2,a)+op_count_f8TJb0vaMc(op_STs8eSTo28(a),op_xoJmIySC7h(2,a))+op_count_POp3h4pmYF(157,a)+op_count_cm2wdgkaZt(a)+op_count_UO7sojQx20(op_POp3h4pmYF(157,a),op_cm2wdgkaZt(a))+op_count_xOvNxfD5CB(op_f8TJb0vaMc(op_STs8eSTo28(a),op_xoJmIySC7h(2,a)),op_UO7sojQx20(op_POp3h4pmYF(157,a),op_cm2wdgkaZt(a)))
    return count


a⪼⪨b = { ((∁⪩↝(⇑⫎b))⊏≷≳) , if (a⪠⫢⪧461)<=4 and (⫝⫷b)==122 and a==291 ; (≦∁(b⇏(⊦a))) , else }

def op_hx5c7FTGAw(a, b):
    if op_fC5nSkFZ11(a,461) <= 4 and op_ZVl794d7gZ(b) == 122 and a == 291:
        return op_IyXueN9Vxj(op_H9pKK0i7DW(op_DlKt5E9iEj(b)))
    else:
        return op_9ICcGScMcE(op_PgomNjGXmI(b,op_XLFSxamNWY(a)))

def op_count_hx5c7FTGAw(a, b):
    if op_fC5nSkFZ11(a,461) <= 4 and op_ZVl794d7gZ(b) == 122 and a == 291:
        count = op_count_DlKt5E9iEj(b)+op_count_H9pKK0i7DW(op_DlKt5E9iEj(b))+op_count_IyXueN9Vxj(op_H9pKK0i7DW(op_DlKt5E9iEj(b)))+op_count_fC5nSkFZ11(a,461)+op_count_ZVl794d7gZ(b)
    else:
        count = op_count_XLFSxamNWY(a)+op_count_PgomNjGXmI(b,op_XLFSxamNWY(a))+op_count_9ICcGScMcE(op_PgomNjGXmI(b,op_XLFSxamNWY(a)))
    return count


def op_0ooljq7FAV(a, b):
    if (op_hKcBw1Lue0(a,146) >= 157 or op_zN4KueseHa(b) == 39):
        return op_i43TpB2HrT(342,b)
    else:
        return op_2TGWtfCSF0(b)

def op_count_0ooljq7FAV(a, b):
    if (op_hKcBw1Lue0(a,146) >= 157 or op_zN4KueseHa(b) == 39):
        count = op_count_i43TpB2HrT(342,b)+op_count_hKcBw1Lue0(a,146)+op_count_zN4KueseHa(b)
    else:
        count = op_count_2TGWtfCSF0(b)
    return count


⊊≎a = { ((a⊤≄a)⇕⫍(≃↬1)) , if (a⇁⨫⊲357)==179 ; (↱⇻↑(a⫢⨠a)) , else }

def op_5rlzCezVtB(a):
    if op_UNcwWhIvyc(a,357) == 179:
        return op_SVbYQ5zZTr(op_El3zeUDNld(a,a),op_0hRg1XLrQC(1))
    else:
        return op_2FialGP0jN(op_xlXykHWxX1(a,a))

def op_count_5rlzCezVtB(a):
    if op_UNcwWhIvyc(a,357) == 179:
        count = op_count_El3zeUDNld(a,a)+op_count_0hRg1XLrQC(1)+op_count_SVbYQ5zZTr(op_El3zeUDNld(a,a),op_0hRg1XLrQC(1))+op_count_UNcwWhIvyc(a,357)
    else:
        count = op_count_xlXykHWxX1(a,a)+op_count_2FialGP0jN(op_xlXykHWxX1(a,a))
    return count


def op_ZpFtoSEd3j(a):
    if op_nz26hwsvpd(a) == 23:
        return op_xCh8PLxVLz(op_f8TJb0vaMc(op_QaS5iYTZMC(3),op_P3e4aKGkjw(a)),op_JKhKCqropJ(op_XIK4G3vWTl(261,a),op_3TAF4R0zOB(48)))
    else:
        return op_5FZKbkky4F(op_u533dnqgjT(op_JpB1LdahAH(a,a)))

def op_count_ZpFtoSEd3j(a):
    if op_nz26hwsvpd(a) == 23:
        count = op_count_QaS5iYTZMC(3)+op_count_P3e4aKGkjw(a)+op_count_f8TJb0vaMc(op_QaS5iYTZMC(3),op_P3e4aKGkjw(a))+op_count_XIK4G3vWTl(261,a)+op_count_3TAF4R0zOB(48)+op_count_JKhKCqropJ(op_XIK4G3vWTl(261,a),op_3TAF4R0zOB(48))+op_count_xCh8PLxVLz(op_f8TJb0vaMc(op_QaS5iYTZMC(3),op_P3e4aKGkjw(a)),op_JKhKCqropJ(op_XIK4G3vWTl(261,a),op_3TAF4R0zOB(48)))+op_count_nz26hwsvpd(a)
    else:
        count = op_count_JpB1LdahAH(a,a)+op_count_u533dnqgjT(op_JpB1LdahAH(a,a))+op_count_5FZKbkky4F(op_u533dnqgjT(op_JpB1LdahAH(a,a)))
    return count


a⪺⩒∧b = { ((b∀⩎⋷(a⊲608))⇻⋧≁((a⫲≐a)∮↭(∲∋↜32))) }

def op_6octCBlY1U(a, b):
    return op_jCPkEVoL5K(op_FPxP5Y1j0W(b,op_yMixD7ucMB(a,608)),op_uE2ouRUgIU(op_sDUFqk2NSv(a,a),op_in7QvNEnpg(32)))

def op_count_6octCBlY1U(a, b):
    count = op_count_yMixD7ucMB(a,608)+op_count_FPxP5Y1j0W(b,op_yMixD7ucMB(a,608))+op_count_sDUFqk2NSv(a,a)+op_count_in7QvNEnpg(32)+op_count_uE2ouRUgIU(op_sDUFqk2NSv(a,a),op_in7QvNEnpg(32))+op_count_jCPkEVoL5K(op_FPxP5Y1j0W(b,op_yMixD7ucMB(a,608)),op_uE2ouRUgIU(op_sDUFqk2NSv(a,a),op_in7QvNEnpg(32)))
    return count


def op_N6t0eMWZ73(a):
    return op_bR7FmX73P0(a,a)

def op_count_N6t0eMWZ73(a):
    count = op_count_bR7FmX73P0(a,a)
    return count


def op_OyMmzkefeY(a):
    return op_KYIJhKMuxi(op_6Dk38mmJ69(op_BAYcl7KEcJ(a,a),op_6NJAcO2OWT(a)))

def op_count_OyMmzkefeY(a):
    count = op_count_BAYcl7KEcJ(a,a)+op_count_6NJAcO2OWT(a)+op_count_6Dk38mmJ69(op_BAYcl7KEcJ(a,a),op_6NJAcO2OWT(a))+op_count_KYIJhKMuxi(op_6Dk38mmJ69(op_BAYcl7KEcJ(a,a),op_6NJAcO2OWT(a)))
    return count


def op_zqXLmTvkkA(a):
    return op_qsAu3zulMu(op_iCFmNpcOux(op_YjTveF0rk5(a,96)),op_Dk6V8i6EvU(op_LlXaajdvBB(a),op_sI3WE0f3wC(a,883)))

def op_count_zqXLmTvkkA(a):
    count = op_count_YjTveF0rk5(a,96)+op_count_iCFmNpcOux(op_YjTveF0rk5(a,96))+op_count_LlXaajdvBB(a)+op_count_sI3WE0f3wC(a,883)+op_count_Dk6V8i6EvU(op_LlXaajdvBB(a),op_sI3WE0f3wC(a,883))+op_count_qsAu3zulMu(op_iCFmNpcOux(op_YjTveF0rk5(a,96)),op_Dk6V8i6EvU(op_LlXaajdvBB(a),op_sI3WE0f3wC(a,883)))
    return count


a≥⨯b = { (b⊨(⪨↰a)) , if (≤⫮⪸a)>=312 ; ((4⊦⊆b)⩙∖⇲(∨⩣⩃a)) , else }

def op_2GKZYdYZjS(a, b):
    if op_SuX9iVx3F2(a) >= 312:
        return op_vg4gO5BX6G(b,op_blQ9vzDKd0(a))
    else:
        return op_Dr4yJ0dQtH(op_ziENa4oeDe(4,b),op_UqQFc3aWL8(a))

def op_count_2GKZYdYZjS(a, b):
    if op_SuX9iVx3F2(a) >= 312:
        count = op_count_blQ9vzDKd0(a)+op_count_vg4gO5BX6G(b,op_blQ9vzDKd0(a))+op_count_SuX9iVx3F2(a)
    else:
        count = op_count_ziENa4oeDe(4,b)+op_count_UqQFc3aWL8(a)+op_count_Dr4yJ0dQtH(op_ziENa4oeDe(4,b),op_UqQFc3aWL8(a))
    return count


def op_Rco790wzow(a):
    if op_LCrUByRFnp(a) >= 17 and a <= 158:
        return op_omagaNwqKv(op_MR0dur9Axd(a,334))
    else:
        return op_GODebY97qR(op_9yWvQzZuYL(a),op_265LmWy1dS(294,a))

def op_count_Rco790wzow(a):
    if op_LCrUByRFnp(a) >= 17 and a <= 158:
        count = op_count_MR0dur9Axd(a,334)+op_count_omagaNwqKv(op_MR0dur9Axd(a,334))+op_count_LCrUByRFnp(a)
    else:
        count = op_count_9yWvQzZuYL(a)+op_count_265LmWy1dS(294,a)+op_count_GODebY97qR(op_9yWvQzZuYL(a),op_265LmWy1dS(294,a))
    return count


def op_cSYuHxjEyJ(a):
    return op_QErWpSDGk0(op_mk4FjxrA5V(op_d2ZuDAaqmA(a)))

def op_count_cSYuHxjEyJ(a):
    count = op_count_d2ZuDAaqmA(a)+op_count_mk4FjxrA5V(op_d2ZuDAaqmA(a))+op_count_QErWpSDGk0(op_mk4FjxrA5V(op_d2ZuDAaqmA(a)))
    return count


a∹⊝⇨ = { ((⨢⇳(a∽⫹a))⋦∲⋬((a∼⇢a)⊜⫔⨅(a⫃⨇220))) , if (∺⊁⊺a)!=71 or (⋐a)>=109 ; (((⫥⫬⇟a)⨆⫳⊗(a⋗−≠))⊥⇄((a⩈)⫗⊍(221⪃↞⩐))) , else }

def op_qwiUS18h6o(a):
    if op_j6xpuCeBbW(a) != 71 or op_kJbZGpdPi7(a) >= 109:
        return op_cUXFxtvyhI(op_d3r8Dqe6Dv(op_VTWL3whYCc(a,a)),op_2Bhe5MV7ya(op_Cr5xnr8B4B(a,a),op_09Ly4LVMIf(a,220)))
    else:
        return op_gDxaUCbvBQ(op_lKgWx0LCvK(op_casPA5FTUX(a),op_B4x5F9vu42(a)),op_9848CK854r(op_zTd4o4K50M(a),op_grXIztHqDa(221)))

def op_count_qwiUS18h6o(a):
    if op_j6xpuCeBbW(a) != 71 or op_kJbZGpdPi7(a) >= 109:
        count = op_count_VTWL3whYCc(a,a)+op_count_d3r8Dqe6Dv(op_VTWL3whYCc(a,a))+op_count_Cr5xnr8B4B(a,a)+op_count_09Ly4LVMIf(a,220)+op_count_2Bhe5MV7ya(op_Cr5xnr8B4B(a,a),op_09Ly4LVMIf(a,220))+op_count_cUXFxtvyhI(op_d3r8Dqe6Dv(op_VTWL3whYCc(a,a)),op_2Bhe5MV7ya(op_Cr5xnr8B4B(a,a),op_09Ly4LVMIf(a,220)))+op_count_j6xpuCeBbW(a)+op_count_kJbZGpdPi7(a)
    else:
        count = op_count_casPA5FTUX(a)+op_count_B4x5F9vu42(a)+op_count_lKgWx0LCvK(op_casPA5FTUX(a),op_B4x5F9vu42(a))+op_count_zTd4o4K50M(a)+op_count_grXIztHqDa(221)+op_count_9848CK854r(op_zTd4o4K50M(a),op_grXIztHqDa(221))+op_count_gDxaUCbvBQ(op_lKgWx0LCvK(op_casPA5FTUX(a),op_B4x5F9vu42(a)),op_9848CK854r(op_zTd4o4K50M(a),op_grXIztHqDa(221)))
    return count


a⫨⩂b = { (((13⫶⪥↳a)⪮%⊝(b⫢⨠b))⊫⫯((a⩡⫇17)⩂(b→⩸↪a))) }

def op_fXLvaTYCEu(a, b):
    return op_uEiDLHpX5n(op_IWmyXbctLI(op_ymOBY7rw1m(13,a),op_xlXykHWxX1(b,b)),op_CfxG4j8dfZ(op_OkftowgG4v(a,17),op_UUAh1Hdfpu(b,a)))

def op_count_fXLvaTYCEu(a, b):
    count = op_count_ymOBY7rw1m(13,a)+op_count_xlXykHWxX1(b,b)+op_count_IWmyXbctLI(op_ymOBY7rw1m(13,a),op_xlXykHWxX1(b,b))+op_count_OkftowgG4v(a,17)+op_count_UUAh1Hdfpu(b,a)+op_count_CfxG4j8dfZ(op_OkftowgG4v(a,17),op_UUAh1Hdfpu(b,a))+op_count_uEiDLHpX5n(op_IWmyXbctLI(op_ymOBY7rw1m(13,a),op_xlXykHWxX1(b,b)),op_CfxG4j8dfZ(op_OkftowgG4v(a,17),op_UUAh1Hdfpu(b,a)))
    return count


def op_bGH9BQXhMM(a):
    if (op_A1OgdcMHe9(a,19) == 167 or op_SfUa7LlWFO(a,212) > 169):
        return op_uWAJUKEvyW(a,a)
    else:
        return op_HWPVJOF0FO(a,a)

def op_count_bGH9BQXhMM(a):
    if (op_A1OgdcMHe9(a,19) == 167 or op_SfUa7LlWFO(a,212) > 169):
        count = op_count_uWAJUKEvyW(a,a)+op_count_A1OgdcMHe9(a,19)+op_count_SfUa7LlWFO(a,212)
    else:
        count = op_count_HWPVJOF0FO(a,a)
    return count


def op_LEAxZ6hxWI(a, b):
    if (b < 423 and op_c9fcJv25ES(a) != 521):
        return b
    else:
        return op_zR4jO40bMj(op_jkca4M7ITL(op_z6LnFrNh4i(b,645),op_LewKz9oNef(318)),op_7BdAnqVCpm(b))

def op_count_LEAxZ6hxWI(a, b):
    if (b < 423 and op_c9fcJv25ES(a) != 521):
        count = 1
    else:
        count = op_count_z6LnFrNh4i(b,645)+op_count_LewKz9oNef(318)+op_count_jkca4M7ITL(op_z6LnFrNh4i(b,645),op_LewKz9oNef(318))+op_count_7BdAnqVCpm(b)+op_count_zR4jO40bMj(op_jkca4M7ITL(op_z6LnFrNh4i(b,645),op_LewKz9oNef(318)),op_7BdAnqVCpm(b))
    return count


def op_mp9kxyru61(a):
    return op_UgjAoJHWT6(op_cHh1gJQ2o6(op_PgomNjGXmI(a,a),op_AxBbORVHmI(0,a)),op_GpLCU43mni(op_IXjsxcpyRE(a),op_r8SlbsZKtG(95,31)))

def op_count_mp9kxyru61(a):
    count = op_count_PgomNjGXmI(a,a)+op_count_AxBbORVHmI(0,a)+op_count_cHh1gJQ2o6(op_PgomNjGXmI(a,a),op_AxBbORVHmI(0,a))+op_count_IXjsxcpyRE(a)+op_count_r8SlbsZKtG(95,31)+op_count_GpLCU43mni(op_IXjsxcpyRE(a),op_r8SlbsZKtG(95,31))+op_count_UgjAoJHWT6(op_cHh1gJQ2o6(op_PgomNjGXmI(a,a),op_AxBbORVHmI(0,a)),op_GpLCU43mni(op_IXjsxcpyRE(a),op_r8SlbsZKtG(95,31)))
    return count


def op_1rGgR8aUQx(a, b):
    return op_TPY4Vhd24N(op_en8SqOBqg4(a,b),op_oBqjyQFq4M(b))

def op_count_1rGgR8aUQx(a, b):
    count = op_count_en8SqOBqg4(a,b)+op_count_oBqjyQFq4M(b)+op_count_TPY4Vhd24N(op_en8SqOBqg4(a,b),op_oBqjyQFq4M(b))
    return count


⋊⪔a = { (((214⩘)⫻⫴⨁(a⊬⩚⩷a))⪄⪘⪾((a⋩⪂)⊙≭(897⫃a))) , if a<=115 ; (≌⋒((a∳⩯a)⩡(a⪶⋼⋛a))) , else }

def op_G3bbgDJC6W(a):
    if a <= 115:
        return op_zO06vmwOEI(op_4KgMg3eWY3(op_wvHyciQT5X(214),op_MF36iSLlG6(a,a)),op_sVMiUtOpJT(op_TcqBw3IAzW(a),op_jkca4M7ITL(897,a)))
    else:
        return op_xAslvJsXQM(op_G4EbQfwSm2(op_9HGD9fv1Jr(a,a),op_6ayBXmFTY1(a,a)))

def op_count_G3bbgDJC6W(a):
    if a <= 115:
        count = op_count_wvHyciQT5X(214)+op_count_MF36iSLlG6(a,a)+op_count_4KgMg3eWY3(op_wvHyciQT5X(214),op_MF36iSLlG6(a,a))+op_count_TcqBw3IAzW(a)+op_count_jkca4M7ITL(897,a)+op_count_sVMiUtOpJT(op_TcqBw3IAzW(a),op_jkca4M7ITL(897,a))+op_count_zO06vmwOEI(op_4KgMg3eWY3(op_wvHyciQT5X(214),op_MF36iSLlG6(a,a)),op_sVMiUtOpJT(op_TcqBw3IAzW(a),op_jkca4M7ITL(897,a)))
    else:
        count = op_count_9HGD9fv1Jr(a,a)+op_count_6ayBXmFTY1(a,a)+op_count_G4EbQfwSm2(op_9HGD9fv1Jr(a,a),op_6ayBXmFTY1(a,a))+op_count_xAslvJsXQM(op_G4EbQfwSm2(op_9HGD9fv1Jr(a,a),op_6ayBXmFTY1(a,a)))
    return count


a⊞⪨b = { (a⨻) , if b>697 ; (⩷⨜⫀b) , else }

def op_KIhHBHJSp1(a, b):
    if b > 697:
        return op_MDyZu6bdtR(a)
    else:
        return op_CDi0ktkjQ4(b)

def op_count_KIhHBHJSp1(a, b):
    if b > 697:
        count = op_count_MDyZu6bdtR(a)
    else:
        count = op_count_CDi0ktkjQ4(b)
    return count


def op_QZ0DWncqlE(a, b):
    return op_9m2uP4QEko(op_7YooWSwCyH(a,b),op_e3R0INlQmt(a,155))

def op_count_QZ0DWncqlE(a, b):
    count = op_count_7YooWSwCyH(a,b)+op_count_e3R0INlQmt(a,155)+op_count_9m2uP4QEko(op_7YooWSwCyH(a,b),op_e3R0INlQmt(a,155))
    return count


def op_knuYb4zZaj(a, b):
    return op_OkftowgG4v(op_3ayH0UyYyX(op_otBzi3yDII(b),op_OpIL6DGFIM(b,a)),a)

def op_count_knuYb4zZaj(a, b):
    count = op_count_otBzi3yDII(b)+op_count_OpIL6DGFIM(b,a)+op_count_3ayH0UyYyX(op_otBzi3yDII(b),op_OpIL6DGFIM(b,a))+op_count_OkftowgG4v(op_3ayH0UyYyX(op_otBzi3yDII(b),op_OpIL6DGFIM(b,a)),a)
    return count


a⇪⊦⫿b = { (122⫫∾a) , if a>32 ; (b↹) , else }

def op_86EHC0btia(a, b):
    if a > 32:
        return op_b3qeQyvZfP(122,a)
    else:
        return op_czsasVwKyq(b)

def op_count_86EHC0btia(a, b):
    if a > 32:
        count = op_count_b3qeQyvZfP(122,a)
    else:
        count = op_count_czsasVwKyq(b)
    return count


⪳≗a = { a , if (a⨓⫹)<722 ; (a≑≱⪘) , else }

def op_OJCkioFW2J(a):
    if op_EfenYpFauP(a) < 722:
        return a
    else:
        return op_tGSeddj7UK(a)

def op_count_OJCkioFW2J(a):
    if op_EfenYpFauP(a) < 722:
        count = 1
    else:
        count = op_count_tGSeddj7UK(a)
    return count


∧⊲⊐a = { (⪾⪫a) , if (a∆⋉311)>479 ; (a⇦⋔⨵) , else }

def op_MA5AhxUWDD(a):
    if op_sBVsl3mEd7(a,311) > 479:
        return op_vFgX83MrL4(a)
    else:
        return op_u3XxlibK4s(a)

def op_count_MA5AhxUWDD(a):
    if op_sBVsl3mEd7(a,311) > 479:
        count = op_count_vFgX83MrL4(a)+op_count_sBVsl3mEd7(a,311)
    else:
        count = op_count_u3XxlibK4s(a)
    return count


def op_LikfbluYa9(a, b):
    return op_KRkRyTki02(op_otmuWEGPTu(op_sgAhpeloD6(b),op_s1XTVnmDOJ(b,a)))

def op_count_LikfbluYa9(a, b):
    count = op_count_sgAhpeloD6(b)+op_count_s1XTVnmDOJ(b,a)+op_count_otmuWEGPTu(op_sgAhpeloD6(b),op_s1XTVnmDOJ(b,a))+op_count_KRkRyTki02(op_otmuWEGPTu(op_sgAhpeloD6(b),op_s1XTVnmDOJ(b,a)))
    return count


def op_YFQVrlY9jA(a, b):
    return op_AFaATjIauL(op_Dwi3vkQv6Q(op_SUmda5xLS4(a,b),op_QT3sqWOBfx(a,a)))

def op_count_YFQVrlY9jA(a, b):
    count = op_count_SUmda5xLS4(a,b)+op_count_QT3sqWOBfx(a,a)+op_count_Dwi3vkQv6Q(op_SUmda5xLS4(a,b),op_QT3sqWOBfx(a,a))+op_count_AFaATjIauL(op_Dwi3vkQv6Q(op_SUmda5xLS4(a,b),op_QT3sqWOBfx(a,a)))
    return count


a⩊≴⋘b = { (((a≅⋲b)⋦∲⋬b)⇫≋((41⫭⨏a)⇞∉(b⋖∅⋲))) }

def op_SCITVCa1lL(a, b):
    return op_7mDgzgOxkj(op_cUXFxtvyhI(op_A0R0hrgyGo(a,b),b),op_QbcaP1vvRM(op_4j7MdOEvYM(41,a),op_L95AwlJzhO(b)))

def op_count_SCITVCa1lL(a, b):
    count = op_count_A0R0hrgyGo(a,b)+op_count_cUXFxtvyhI(op_A0R0hrgyGo(a,b),b)+op_count_4j7MdOEvYM(41,a)+op_count_L95AwlJzhO(b)+op_count_QbcaP1vvRM(op_4j7MdOEvYM(41,a),op_L95AwlJzhO(b))+op_count_7mDgzgOxkj(op_cUXFxtvyhI(op_A0R0hrgyGo(a,b),b),op_QbcaP1vvRM(op_4j7MdOEvYM(41,a),op_L95AwlJzhO(b)))
    return count


a⋉⇑≦b = { ((⩽←⊝(⫫≗297))⋚) , if (b⩞)>58 ; (((a⫸⇳34)↵⨥(a⊝⩱a))⫸((b⪓↹⇾133)⫫∾(b⊶⊞a))) , else }

def op_D6fLssyg6C(a, b):
    if op_aVPNa2d9sY(b) > 58:
        return op_hJGmHHLvkm(op_Q1bdVDI735(op_zPaCbzxRhG(297)))
    else:
        return op_Qaz2MhZaG5(op_6kFJ6zSZFv(op_gx7XJ7hdpj(a,34),op_0jCm5pNiJO(a,a)),op_b3qeQyvZfP(op_vs8iUQwOA7(b,133),op_vqL3z2Fhus(b,a)))

def op_count_D6fLssyg6C(a, b):
    if op_aVPNa2d9sY(b) > 58:
        count = op_count_zPaCbzxRhG(297)+op_count_Q1bdVDI735(op_zPaCbzxRhG(297))+op_count_hJGmHHLvkm(op_Q1bdVDI735(op_zPaCbzxRhG(297)))+op_count_aVPNa2d9sY(b)
    else:
        count = op_count_gx7XJ7hdpj(a,34)+op_count_0jCm5pNiJO(a,a)+op_count_6kFJ6zSZFv(op_gx7XJ7hdpj(a,34),op_0jCm5pNiJO(a,a))+op_count_vs8iUQwOA7(b,133)+op_count_vqL3z2Fhus(b,a)+op_count_b3qeQyvZfP(op_vs8iUQwOA7(b,133),op_vqL3z2Fhus(b,a))+op_count_Qaz2MhZaG5(op_6kFJ6zSZFv(op_gx7XJ7hdpj(a,34),op_0jCm5pNiJO(a,a)),op_b3qeQyvZfP(op_vs8iUQwOA7(b,133),op_vqL3z2Fhus(b,a)))
    return count


≭≾≫a = { (a∓⋝((8⩾a)⋷⨍(a⩋≜))) , if (a⪞⇨79)>912 ; (((⋶⩦⇊a)⨦(a≭⫡380))↔⫤⩊(⋀⩖⩭(a%↟a))) , else }

def op_mpIc2IH24C(a):
    if op_dbaoL9ubd4(a,79) > 912:
        return op_PoHhknlbAi(a,op_43pnEt37KX(op_UggxBX659n(8,a),op_dWKOYqD1ba(a)))
    else:
        return op_bBEzQ2IhFN(op_z4gvzBU7aQ(op_OF9A0jlboB(a),op_b1mGkbI4Oy(a,380)),op_YA9ZD7yxyr(op_IBFb0eQO1Y(a,a)))

def op_count_mpIc2IH24C(a):
    if op_dbaoL9ubd4(a,79) > 912:
        count = op_count_UggxBX659n(8,a)+op_count_dWKOYqD1ba(a)+op_count_43pnEt37KX(op_UggxBX659n(8,a),op_dWKOYqD1ba(a))+op_count_PoHhknlbAi(a,op_43pnEt37KX(op_UggxBX659n(8,a),op_dWKOYqD1ba(a)))+op_count_dbaoL9ubd4(a,79)
    else:
        count = op_count_OF9A0jlboB(a)+op_count_b1mGkbI4Oy(a,380)+op_count_z4gvzBU7aQ(op_OF9A0jlboB(a),op_b1mGkbI4Oy(a,380))+op_count_IBFb0eQO1Y(a,a)+op_count_YA9ZD7yxyr(op_IBFb0eQO1Y(a,a))+op_count_bBEzQ2IhFN(op_z4gvzBU7aQ(op_OF9A0jlboB(a),op_b1mGkbI4Oy(a,380)),op_YA9ZD7yxyr(op_IBFb0eQO1Y(a,a)))
    return count


def op_vBv2qTS5cu(a):
    return op_j98Uxmdk7c(op_s1XTVnmDOJ(a,a))

def op_count_vBv2qTS5cu(a):
    count = op_count_s1XTVnmDOJ(a,a)+op_count_j98Uxmdk7c(op_s1XTVnmDOJ(a,a))
    return count


def op_28JkKlylDG(a):
    return op_hfpBUD6oBE(op_LdNpr8hQHL(a),op_HX99UMoF54(a,271))

def op_count_28JkKlylDG(a):
    count = op_count_LdNpr8hQHL(a)+op_count_HX99UMoF54(a,271)+op_count_hfpBUD6oBE(op_LdNpr8hQHL(a),op_HX99UMoF54(a,271))
    return count


↖⋶a = { (((168↨⩘)⫁≮∙(a⩑a))⊠⋹((a⪤a)⇵(a⨑⩝a))) }

def op_6CYg3kX03U(a):
    return op_UgjAoJHWT6(op_hKcBw1Lue0(op_1pJ76SN1ns(168),op_jbrVa8FwMb(a,a)),op_kVSeQakJeK(op_JKhKCqropJ(a,a),op_XKadCV7SnD(a,a)))

def op_count_6CYg3kX03U(a):
    count = op_count_1pJ76SN1ns(168)+op_count_jbrVa8FwMb(a,a)+op_count_hKcBw1Lue0(op_1pJ76SN1ns(168),op_jbrVa8FwMb(a,a))+op_count_JKhKCqropJ(a,a)+op_count_XKadCV7SnD(a,a)+op_count_kVSeQakJeK(op_JKhKCqropJ(a,a),op_XKadCV7SnD(a,a))+op_count_UgjAoJHWT6(op_hKcBw1Lue0(op_1pJ76SN1ns(168),op_jbrVa8FwMb(a,a)),op_kVSeQakJeK(op_JKhKCqropJ(a,a),op_XKadCV7SnD(a,a)))
    return count


def op_U6FdYdKaSc(a, b):
    return op_i43TpB2HrT(op_laDV8SAqpw(op_jS8qnsL3aY(b),op_MGuIdZPyUC(b)),op_bLzMhy7Rh9(op_zcaA4Z4NaO(a,b)))

def op_count_U6FdYdKaSc(a, b):
    count = op_count_jS8qnsL3aY(b)+op_count_MGuIdZPyUC(b)+op_count_laDV8SAqpw(op_jS8qnsL3aY(b),op_MGuIdZPyUC(b))+op_count_zcaA4Z4NaO(a,b)+op_count_bLzMhy7Rh9(op_zcaA4Z4NaO(a,b))+op_count_i43TpB2HrT(op_laDV8SAqpw(op_jS8qnsL3aY(b),op_MGuIdZPyUC(b)),op_bLzMhy7Rh9(op_zcaA4Z4NaO(a,b)))
    return count


def op_R0S15rJART(a):
    return op_hOjh2aJdmN(op_X7Ai75l9Fg(op_2u38eHdNB5(a,a)))

def op_count_R0S15rJART(a):
    count = op_count_2u38eHdNB5(a,a)+op_count_X7Ai75l9Fg(op_2u38eHdNB5(a,a))+op_count_hOjh2aJdmN(op_X7Ai75l9Fg(op_2u38eHdNB5(a,a)))
    return count


def op_xEv6TaguRW(a):
    if op_zPaCbzxRhG(a) != 113:
        return op_e3mPa9iSev(op_wzBiNQHWU1(op_QIRSbgWmJm(a)),op_XHowTFVwyi(op_zXQIJkDMTk(187,a),op_Ye9Neqwqbv(120)))
    else:
        return op_glenQ1xDvR(228,op_SL6IHkK8vl(op_MlMyrKhIQ5(788,a)))

def op_count_xEv6TaguRW(a):
    if op_zPaCbzxRhG(a) != 113:
        count = op_count_QIRSbgWmJm(a)+op_count_wzBiNQHWU1(op_QIRSbgWmJm(a))+op_count_zXQIJkDMTk(187,a)+op_count_Ye9Neqwqbv(120)+op_count_XHowTFVwyi(op_zXQIJkDMTk(187,a),op_Ye9Neqwqbv(120))+op_count_e3mPa9iSev(op_wzBiNQHWU1(op_QIRSbgWmJm(a)),op_XHowTFVwyi(op_zXQIJkDMTk(187,a),op_Ye9Neqwqbv(120)))+op_count_zPaCbzxRhG(a)
    else:
        count = op_count_MlMyrKhIQ5(788,a)+op_count_SL6IHkK8vl(op_MlMyrKhIQ5(788,a))+op_count_glenQ1xDvR(228,op_SL6IHkK8vl(op_MlMyrKhIQ5(788,a)))
    return count


def op_mcemG08I7S(a):
    return op_GWLlYEOmyj(op_9samAPKr6k(op_GihdubVxvG(a),a))

def op_count_mcemG08I7S(a):
    count = op_count_GihdubVxvG(a)+op_count_9samAPKr6k(op_GihdubVxvG(a),a)+op_count_GWLlYEOmyj(op_9samAPKr6k(op_GihdubVxvG(a),a))
    return count


def op_D53DUCbGSg(a):
    if op_18saOjeKKm(a) <= 77:
        return 58
    else:
        return op_ns9WHXQr9V(op_xtCeza3rDf(a,457))

def op_count_D53DUCbGSg(a):
    if op_18saOjeKKm(a) <= 77:
        count = op_count_18saOjeKKm(a)
    else:
        count = op_count_xtCeza3rDf(a,457)+op_count_ns9WHXQr9V(op_xtCeza3rDf(a,457))
    return count


def op_g7zzq0G4Xr(a, b):
    if op_uWAJUKEvyW(b,973) != 192:
        return op_fGTNyEZ31R(op_BvUOHliOJ6(85,294),op_AUSKDtpBIy(b))
    else:
        return op_ZyEASfasF5(op_vaH8QgiDVg(b),op_JJul4MxJIR(a,41))

def op_count_g7zzq0G4Xr(a, b):
    if op_uWAJUKEvyW(b,973) != 192:
        count = op_count_BvUOHliOJ6(85,294)+op_count_AUSKDtpBIy(b)+op_count_fGTNyEZ31R(op_BvUOHliOJ6(85,294),op_AUSKDtpBIy(b))+op_count_uWAJUKEvyW(b,973)
    else:
        count = op_count_vaH8QgiDVg(b)+op_count_JJul4MxJIR(a,41)+op_count_ZyEASfasF5(op_vaH8QgiDVg(b),op_JJul4MxJIR(a,41))
    return count


def op_n6cfY1BuOC(a):
    if op_MXaNJeIAZ3(a) > 448:
        return op_YbUVn0Rbpy(a,495)
    else:
        return op_gHuQvkee3b(205)

def op_count_n6cfY1BuOC(a):
    if op_MXaNJeIAZ3(a) > 448:
        count = op_count_YbUVn0Rbpy(a,495)+op_count_MXaNJeIAZ3(a)
    else:
        count = op_count_gHuQvkee3b(205)
    return count


a⪩≭b = { (((691⊟⋔↩a)⫗⊐(⊖∈b))⇯⋻((b⫡a)≖−≲)) }

def op_6nz9ZYviv4(a, b):
    return op_ktfEB5Ypfm(op_ziaaVG88k7(op_1B4ngayaHK(691,a),op_YFxL8Sc2Zy(b)),op_IpgdDpBHsO(op_r42jg1nETI(b,a)))

def op_count_6nz9ZYviv4(a, b):
    count = op_count_1B4ngayaHK(691,a)+op_count_YFxL8Sc2Zy(b)+op_count_ziaaVG88k7(op_1B4ngayaHK(691,a),op_YFxL8Sc2Zy(b))+op_count_r42jg1nETI(b,a)+op_count_IpgdDpBHsO(op_r42jg1nETI(b,a))+op_count_ktfEB5Ypfm(op_ziaaVG88k7(op_1B4ngayaHK(691,a),op_YFxL8Sc2Zy(b)),op_IpgdDpBHsO(op_r42jg1nETI(b,a)))
    return count


def op_Qh0O3qRqMr(a):
    return op_RBKPHo7Qd9(op_O6oPZIQyvW(53,a),op_F5el3aEdEY(a))

def op_count_Qh0O3qRqMr(a):
    count = op_count_O6oPZIQyvW(53,a)+op_count_F5el3aEdEY(a)+op_count_RBKPHo7Qd9(op_O6oPZIQyvW(53,a),op_F5el3aEdEY(a))
    return count


a≍⇚b = { (b∴⫴) , if (⨂⫷b)<=460 ; (b⫁≮∙a) , else }

def op_22Ei3FpL2i(a, b):
    if op_xtPphx4CWz(b) <= 460:
        return op_Fe3OlIgKHc(b)
    else:
        return op_hKcBw1Lue0(b,a)

def op_count_22Ei3FpL2i(a, b):
    if op_xtPphx4CWz(b) <= 460:
        count = op_count_Fe3OlIgKHc(b)+op_count_xtPphx4CWz(b)
    else:
        count = op_count_hKcBw1Lue0(b,a)
    return count


def op_AzBzuuT2xo(a):
    if op_XFw8Sin97h(a,302) <= 20 and op_I3ZanAtbUM(a,659) != 3:
        return op_OkftowgG4v(a,a)
    else:
        return op_k8jYdgA6NY(a,334)

def op_count_AzBzuuT2xo(a):
    if op_XFw8Sin97h(a,302) <= 20 and op_I3ZanAtbUM(a,659) != 3:
        count = op_count_OkftowgG4v(a,a)+op_count_XFw8Sin97h(a,302)+op_count_I3ZanAtbUM(a,659)
    else:
        count = op_count_k8jYdgA6NY(a,334)
    return count


def op_2jVzthkav4(a):
    return op_fctvr1MjnF(op_1wGGHZzAai(op_XGcMNugi78(a,a)))

def op_count_2jVzthkav4(a):
    count = op_count_XGcMNugi78(a,a)+op_count_1wGGHZzAai(op_XGcMNugi78(a,a))+op_count_fctvr1MjnF(op_1wGGHZzAai(op_XGcMNugi78(a,a)))
    return count


a↖∇ = { (≃⋐⪬(a⩲a)) , if ((a⇢⨀197)<41 and (≣⫔⩐a)<=710) ; ((a⪜↾a)⩾⊒(a⊲a)) , else }

def op_3UfQAHtCgT(a):
    if (op_fjtdNEKGtt(a,197) < 41 and op_b5NAO7yNHC(a) <= 710):
        return op_gae4JlXwSi(op_UvedHhwKRj(a,a))
    else:
        return op_2rNkuxh6vz(op_j0T3bE6LZn(a,a),op_yMixD7ucMB(a,a))

def op_count_3UfQAHtCgT(a):
    if (op_fjtdNEKGtt(a,197) < 41 and op_b5NAO7yNHC(a) <= 710):
        count = op_count_UvedHhwKRj(a,a)+op_count_gae4JlXwSi(op_UvedHhwKRj(a,a))+op_count_fjtdNEKGtt(a,197)+op_count_b5NAO7yNHC(a)
    else:
        count = op_count_j0T3bE6LZn(a,a)+op_count_yMixD7ucMB(a,a)+op_count_2rNkuxh6vz(op_j0T3bE6LZn(a,a),op_yMixD7ucMB(a,a))
    return count


a⫁⫪⫼ = { (((a⩞⋂a)∿⩊)←∉⩵((a⨍∆a)⪛⫼(a⨥⫆a))) }

def op_kjuSSDDM7r(a):
    return op_NOHxjtdlri(op_PSIoKPypbr(op_TQtCT2lTQ7(a,a)),op_hyuBjUqXlG(op_qlIXcggVCe(a,a),op_yXekIHxTD4(a,a)))

def op_count_kjuSSDDM7r(a):
    count = op_count_TQtCT2lTQ7(a,a)+op_count_PSIoKPypbr(op_TQtCT2lTQ7(a,a))+op_count_qlIXcggVCe(a,a)+op_count_yXekIHxTD4(a,a)+op_count_hyuBjUqXlG(op_qlIXcggVCe(a,a),op_yXekIHxTD4(a,a))+op_count_NOHxjtdlri(op_PSIoKPypbr(op_TQtCT2lTQ7(a,a)),op_hyuBjUqXlG(op_qlIXcggVCe(a,a),op_yXekIHxTD4(a,a)))
    return count

yXekIHxTD4 hyuBjUqXlG PSIoKPypbr qlIXcggVCe TQtCT2lTQ7 NOHxjtdlri


def op_gwN95fAitj(a):
    return op_MKCxaPE9tg(op_JoFAzT2BO8(op_eRqsBgTDFp(a,a),op_WR6HLWljOP(30,278)),op_lYYgj615o2(op_c4Jgcjuupe(a,a),op_eaFBhJ0Uku(16,a)))

def op_count_gwN95fAitj(a):
    count = op_count_eRqsBgTDFp(a,a)+op_count_WR6HLWljOP(30,278)+op_count_JoFAzT2BO8(op_eRqsBgTDFp(a,a),op_WR6HLWljOP(30,278))+op_count_c4Jgcjuupe(a,a)+op_count_eaFBhJ0Uku(16,a)+op_count_lYYgj615o2(op_c4Jgcjuupe(a,a),op_eaFBhJ0Uku(16,a))+op_count_MKCxaPE9tg(op_JoFAzT2BO8(op_eRqsBgTDFp(a,a),op_WR6HLWljOP(30,278)),op_lYYgj615o2(op_c4Jgcjuupe(a,a),op_eaFBhJ0Uku(16,a)))
    return count


a⪞⩻⫦b = { ((⨵b)⪘) , if a<153 ; ((a⋑⩐⪄a)⫯⪬∳(⇂572)) , else }

def op_dShKswRZS2(a, b):
    if a < 153:
        return op_otBzi3yDII(op_Tl3Y52tvF8(b))
    else:
        return op_d7ASUq0ydm(op_mCA1Lu4fO6(a,a),op_0VM5IIwWHX(572))

def op_count_dShKswRZS2(a, b):
    if a < 153:
        count = op_count_Tl3Y52tvF8(b)+op_count_otBzi3yDII(op_Tl3Y52tvF8(b))
    else:
        count = op_count_mCA1Lu4fO6(a,a)+op_count_0VM5IIwWHX(572)+op_count_d7ASUq0ydm(op_mCA1Lu4fO6(a,a),op_0VM5IIwWHX(572))
    return count


a⋴⨈b = { ((⋠∠⇱a)⊉↱≁b) , if (b≻√⪧)>=576 ; ((b∺↝↿a)⨡↠) , else }

def op_KHSlwHPMIL(a, b):
    if op_iJhMwlfzpc(b) >= 576:
        return op_w2P8NbNXyL(op_BEKom63EOt(a),b)
    else:
        return op_TcUor9fpwD(op_nz5y26sRSo(b,a))

def op_count_KHSlwHPMIL(a, b):
    if op_iJhMwlfzpc(b) >= 576:
        count = op_count_BEKom63EOt(a)+op_count_w2P8NbNXyL(op_BEKom63EOt(a),b)+op_count_iJhMwlfzpc(b)
    else:
        count = op_count_nz5y26sRSo(b,a)+op_count_TcUor9fpwD(op_nz5y26sRSo(b,a))
    return count


def op_pP7lLi2J0E(a):
    return op_3ayH0UyYyX(op_rJlMWXggw2(a,a),op_casPA5FTUX(a))

def op_count_pP7lLi2J0E(a):
    count = op_count_rJlMWXggw2(a,a)+op_count_casPA5FTUX(a)+op_count_3ayH0UyYyX(op_rJlMWXggw2(a,a),op_casPA5FTUX(a))
    return count


⇶⩱↠a = { (((a⨱a)⨯(⩝a))⫂↦⪌(⋸⋊(664⊋a))) , if a>=168 and (a∫↝⇷)==826 ; (((a⨮⪎⇱100)⪶⋼⋛(a⩯↚a))∄((a⪄⊣81)⪺⋮(a⩉∽⪣a))) , else }

def op_0nQBUOI8xy(a):
    if a >= 168 and op_dOyh8NTXcy(a) == 826:
        return op_uBbSXYMpE2(op_qYpz2WEVq4(op_KRirUCLfIK(a,a),op_AqJQW3khbP(a)),op_SXdD3Sv4Bj(op_W4tP9CfskL(664,a)))
    else:
        return op_tnyRA5sazQ(op_6ayBXmFTY1(op_QyJFccSbaX(a,100),op_EwuI1FZGOD(a,a)),op_3s7bcXIOLx(op_9G2jV8oAtO(a,81),op_3U6LfyZyIC(a,a)))

def op_count_0nQBUOI8xy(a):
    if a >= 168 and op_dOyh8NTXcy(a) == 826:
        count = op_count_KRirUCLfIK(a,a)+op_count_AqJQW3khbP(a)+op_count_qYpz2WEVq4(op_KRirUCLfIK(a,a),op_AqJQW3khbP(a))+op_count_W4tP9CfskL(664,a)+op_count_SXdD3Sv4Bj(op_W4tP9CfskL(664,a))+op_count_uBbSXYMpE2(op_qYpz2WEVq4(op_KRirUCLfIK(a,a),op_AqJQW3khbP(a)),op_SXdD3Sv4Bj(op_W4tP9CfskL(664,a)))+op_count_dOyh8NTXcy(a)
    else:
        count = op_count_QyJFccSbaX(a,100)+op_count_EwuI1FZGOD(a,a)+op_count_6ayBXmFTY1(op_QyJFccSbaX(a,100),op_EwuI1FZGOD(a,a))+op_count_9G2jV8oAtO(a,81)+op_count_3U6LfyZyIC(a,a)+op_count_3s7bcXIOLx(op_9G2jV8oAtO(a,81),op_3U6LfyZyIC(a,a))+op_count_tnyRA5sazQ(op_6ayBXmFTY1(op_QyJFccSbaX(a,100),op_EwuI1FZGOD(a,a)),op_3s7bcXIOLx(op_9G2jV8oAtO(a,81),op_3U6LfyZyIC(a,a)))
    return count


def op_xLdhTMZuGi(a):
    if op_Xo6lwn2Ybu(a) != 206:
        return op_uQ5MaQD2YO(a,368)
    else:
        return op_LBL36x6Kn9(a)

def op_count_xLdhTMZuGi(a):
    if op_Xo6lwn2Ybu(a) != 206:
        count = op_count_uQ5MaQD2YO(a,368)+op_count_Xo6lwn2Ybu(a)
    else:
        count = op_count_LBL36x6Kn9(a)
    return count


def op_V721JHuZWD(a, b):
    return op_tAdjUBznzo(op_1NCu7utSrV(a,b),op_LxFB4K6j0n(219))

def op_count_V721JHuZWD(a, b):
    count = op_count_1NCu7utSrV(a,b)+op_count_LxFB4K6j0n(219)+op_count_tAdjUBznzo(op_1NCu7utSrV(a,b),op_LxFB4K6j0n(219))
    return count


a≳⨗∰b = { a , if b==10 ; (80∲↓≵) , else }

def op_CVvrhyTOBt(a, b):
    if b == 10:
        return a
    else:
        return op_M2pIAIy88N(80)

def op_count_CVvrhyTOBt(a, b):
    if b == 10:
        count = 1
    else:
        count = op_count_M2pIAIy88N(80)
    return count


∀↡a = { (∤↝a) , if a>=113 ; (a⩚∋a) , else }

def op_i381LDgqdp(a):
    if a >= 113:
        return op_3UMq87Qwqg(a)
    else:
        return op_b5mRhv1JNt(a,a)

def op_count_i381LDgqdp(a):
    if a >= 113:
        count = op_count_3UMq87Qwqg(a)
    else:
        count = op_count_b5mRhv1JNt(a,a)
    return count


a≞⩺b = { (((a≯⊼a)∸⇺⨩(b∵⊛≕a))⋕⨻⇥(↩(b∰⊸⨳b))) }

def op_DrJzCU6Bmr(a, b):
    return op_3ngf5It8Ig(op_BM5aFeEVeK(op_6LEqcG83L6(a,a),op_421RnaStf2(b,a)),op_jLgFTUHLKL(op_jyxETRFrfc(b,b)))

def op_count_DrJzCU6Bmr(a, b):
    count = op_count_6LEqcG83L6(a,a)+op_count_421RnaStf2(b,a)+op_count_BM5aFeEVeK(op_6LEqcG83L6(a,a),op_421RnaStf2(b,a))+op_count_jyxETRFrfc(b,b)+op_count_jLgFTUHLKL(op_jyxETRFrfc(b,b))+op_count_3ngf5It8Ig(op_BM5aFeEVeK(op_6LEqcG83L6(a,a),op_421RnaStf2(b,a)),op_jLgFTUHLKL(op_jyxETRFrfc(b,b)))
    return count


def op_qhB8w1fwWp(a):
    return op_MRPaB8lBjK(op_vs8iUQwOA7(op_Y6MI8lE4nL(a,a),op_uM9y8FJ4Pt(a,a)))

def op_count_qhB8w1fwWp(a):
    count = op_count_Y6MI8lE4nL(a,a)+op_count_uM9y8FJ4Pt(a,a)+op_count_vs8iUQwOA7(op_Y6MI8lE4nL(a,a),op_uM9y8FJ4Pt(a,a))+op_count_MRPaB8lBjK(op_vs8iUQwOA7(op_Y6MI8lE4nL(a,a),op_uM9y8FJ4Pt(a,a)))
    return count


def op_4QRdTs5xvA(a):
    return op_I77jZxbMqF(op_HK0tfVPux8(a,a),a)

def op_count_4QRdTs5xvA(a):
    count = op_count_HK0tfVPux8(a,a)+op_count_I77jZxbMqF(op_HK0tfVPux8(a,a),a)
    return count


def op_Vv2WSWroHI(a):
    return op_otBzi3yDII(op_wd3DeAcC9f(a,a))

def op_count_Vv2WSWroHI(a):
    count = op_count_wd3DeAcC9f(a,a)+op_count_otBzi3yDII(op_wd3DeAcC9f(a,a))
    return count


def op_vgbR074ZVD(a):
    return op_vFgX83MrL4(op_oW1cUEY5Sq(op_am5vEDSDTs(a),op_7YooWSwCyH(585,a)))

def op_count_vgbR074ZVD(a):
    count = op_count_am5vEDSDTs(a)+op_count_7YooWSwCyH(585,a)+op_count_oW1cUEY5Sq(op_am5vEDSDTs(a),op_7YooWSwCyH(585,a))+op_count_vFgX83MrL4(op_oW1cUEY5Sq(op_am5vEDSDTs(a),op_7YooWSwCyH(585,a)))
    return count


a≦⇟⩠b = { (⩎⋉((⋑⊤a)≡(a≕⫨a))) , if (a⩚⊥⨞)==962 and (a⊫↳⇦629)==102 ; (((12∖⊫b)∃⊄(b⇄⪻b))≫≃⩳(b⩔⇧⪏(a⪠∳3))) , else }

def op_kWb6VvCuY5(a, b):
    if op_4zmgO5IZPg(a) == 962 and op_0pE9j4xUU7(a,629) == 102:
        return op_FlXk3pOYe8(op_oW1cUEY5Sq(op_WgpVqVdAuJ(a),op_WSRWkT62m6(a,a)))
    else:
        return op_HJDcuLMPgt(op_p5sVf13ywX(op_xNgZz6XNYQ(12,b),op_EqdHc83poM(b,b)),op_uTXOZ2BrWI(b,op_Bg4ILJ8bWx(a,3)))

def op_count_kWb6VvCuY5(a, b):
    if op_4zmgO5IZPg(a) == 962 and op_0pE9j4xUU7(a,629) == 102:
        count = op_count_WgpVqVdAuJ(a)+op_count_WSRWkT62m6(a,a)+op_count_oW1cUEY5Sq(op_WgpVqVdAuJ(a),op_WSRWkT62m6(a,a))+op_count_FlXk3pOYe8(op_oW1cUEY5Sq(op_WgpVqVdAuJ(a),op_WSRWkT62m6(a,a)))+op_count_4zmgO5IZPg(a)+op_count_0pE9j4xUU7(a,629)
    else:
        count = op_count_xNgZz6XNYQ(12,b)+op_count_EqdHc83poM(b,b)+op_count_p5sVf13ywX(op_xNgZz6XNYQ(12,b),op_EqdHc83poM(b,b))+op_count_Bg4ILJ8bWx(a,3)+op_count_uTXOZ2BrWI(b,op_Bg4ILJ8bWx(a,3))+op_count_HJDcuLMPgt(op_p5sVf13ywX(op_xNgZz6XNYQ(12,b),op_EqdHc83poM(b,b)),op_uTXOZ2BrWI(b,op_Bg4ILJ8bWx(a,3)))
    return count


∭⫴a = { (((a⩴⇩⩭a)⩌⨭≭(a⊎⇁⫏a))⋲((a≤⪽a)⫟⪀(a≻31))) }

def op_elKcZ5Ap0C(a):
    return op_zoVUxTIMAa(op_4KnvnEaVgu(op_ZlduNN376N(a,a),op_oj0wKxwag9(a,a)),op_ZG1KnpkPxw(op_rIhv4QYABv(a,a),op_5hXIoSHgw9(a,31)))

def op_count_elKcZ5Ap0C(a):
    count = op_count_ZlduNN376N(a,a)+op_count_oj0wKxwag9(a,a)+op_count_4KnvnEaVgu(op_ZlduNN376N(a,a),op_oj0wKxwag9(a,a))+op_count_rIhv4QYABv(a,a)+op_count_5hXIoSHgw9(a,31)+op_count_ZG1KnpkPxw(op_rIhv4QYABv(a,a),op_5hXIoSHgw9(a,31))+op_count_zoVUxTIMAa(op_4KnvnEaVgu(op_ZlduNN376N(a,a),op_oj0wKxwag9(a,a)),op_ZG1KnpkPxw(op_rIhv4QYABv(a,a),op_5hXIoSHgw9(a,31)))
    return count


def op_PqI0yuGIzd(a, b):
    return op_iz4beUB4Dk(op_vkpjKywKVM(op_VwBdEydXvH(b,b),op_x91QhENKPJ(a,a)))

def op_count_PqI0yuGIzd(a, b):
    count = op_count_VwBdEydXvH(b,b)+op_count_x91QhENKPJ(a,a)+op_count_vkpjKywKVM(op_VwBdEydXvH(b,b),op_x91QhENKPJ(a,a))+op_count_iz4beUB4Dk(op_vkpjKywKVM(op_VwBdEydXvH(b,b),op_x91QhENKPJ(a,a)))
    return count


def op_HhERX61e69(a, b):
    return op_xeKVJklxVA(op_LcBySUccw5(op_9KnANRFJl3(b)),op_212REbPD9h(op_NvXf9kO3wV(a,a),a))

def op_count_HhERX61e69(a, b):
    count = op_count_9KnANRFJl3(b)+op_count_LcBySUccw5(op_9KnANRFJl3(b))+op_count_NvXf9kO3wV(a,a)+op_count_212REbPD9h(op_NvXf9kO3wV(a,a),a)+op_count_xeKVJklxVA(op_LcBySUccw5(op_9KnANRFJl3(b)),op_212REbPD9h(op_NvXf9kO3wV(a,a),a))
    return count


a⇪⊴↶b = { a , if (b⨟⫄⪺)>=209 ; (b⫲⨊) , else }

def op_DO06dXi7jz(a, b):
    if op_T0j3iwIboo(b) >= 209:
        return a
    else:
        return op_CArV6hThFE(b)

def op_count_DO06dXi7jz(a, b):
    if op_T0j3iwIboo(b) >= 209:
        count = 1
    else:
        count = op_count_CArV6hThFE(b)
    return count


a⊒≛b = { ((310⨸⨾⇕(⫫⫆b))⋢⋴((b∤⪤∞a)⨫⇇↔(a⋳/a))) }

def op_MQjB2XFIYX(a, b):
    return op_FjmygMY46A(op_cJjtybAweL(310,op_PFGBjZbDyF(b)),op_LXhwmt4mBO(op_uoTFhueqY9(b,a),op_m612RDITqL(a,a)))

def op_count_MQjB2XFIYX(a, b):
    count = op_count_PFGBjZbDyF(b)+op_count_cJjtybAweL(310,op_PFGBjZbDyF(b))+op_count_uoTFhueqY9(b,a)+op_count_m612RDITqL(a,a)+op_count_LXhwmt4mBO(op_uoTFhueqY9(b,a),op_m612RDITqL(a,a))+op_count_FjmygMY46A(op_cJjtybAweL(310,op_PFGBjZbDyF(b)),op_LXhwmt4mBO(op_uoTFhueqY9(b,a),op_m612RDITqL(a,a)))
    return count


a⪣⋠b = { ((b⨣∛a)⫞) , if b<16 ; ((b≏⨐)⩒≳(b⩉∨a)) , else }

def op_KyalHU9kRw(a, b):
    if b < 16:
        return op_mk4FjxrA5V(op_J8XgpbiY9M(b,a))
    else:
        return op_B8FmB0RXNF(op_lP51NIPzK8(b),op_m1wQXNbXkg(b,a))

def op_count_KyalHU9kRw(a, b):
    if b < 16:
        count = op_count_J8XgpbiY9M(b,a)+op_count_mk4FjxrA5V(op_J8XgpbiY9M(b,a))
    else:
        count = op_count_lP51NIPzK8(b)+op_count_m1wQXNbXkg(b,a)+op_count_B8FmB0RXNF(op_lP51NIPzK8(b),op_m1wQXNbXkg(b,a))
    return count


def op_ABKaguQCVm(a):
    return op_K7MnsOaMRl(op_N2CwLZHY2H(a,a))

def op_count_ABKaguQCVm(a):
    count = op_count_N2CwLZHY2H(a,a)+op_count_K7MnsOaMRl(op_N2CwLZHY2H(a,a))
    return count


def op_w82NxwMPxl(a, b):
    return op_Qkdmijf3a6(op_vs8iUQwOA7(a,b),op_8FLs4eVsLt(a))

def op_count_w82NxwMPxl(a, b):
    count = op_count_vs8iUQwOA7(a,b)+op_count_8FLs4eVsLt(a)+op_count_Qkdmijf3a6(op_vs8iUQwOA7(a,b),op_8FLs4eVsLt(a))
    return count


def op_t4xzLJP094(a):
    return op_LsSU5mH3bX(op_EjjZdWuWOr(276,a),op_Qtd6bqUJcN(26))

def op_count_t4xzLJP094(a):
    count = op_count_EjjZdWuWOr(276,a)+op_count_Qtd6bqUJcN(26)+op_count_LsSU5mH3bX(op_EjjZdWuWOr(276,a),op_Qtd6bqUJcN(26))
    return count


a⊒⪪⋔b = { (((7⩖⊿a)⋈a)⇳((⨦⫢⩇a)⨣⋨(b⪚⨁⋖a))) }

def op_wNvkPc5Jc9(a, b):
    return op_ekA2oeJZMY(op_nDybdB13Ph(op_RZ5CV9rWsJ(7,a),a),op_BsQQe46RQf(op_2PWIQslbBr(a),op_xSk1F0pZbF(b,a)))

def op_count_wNvkPc5Jc9(a, b):
    count = op_count_RZ5CV9rWsJ(7,a)+op_count_nDybdB13Ph(op_RZ5CV9rWsJ(7,a),a)+op_count_2PWIQslbBr(a)+op_count_xSk1F0pZbF(b,a)+op_count_BsQQe46RQf(op_2PWIQslbBr(a),op_xSk1F0pZbF(b,a))+op_count_ekA2oeJZMY(op_nDybdB13Ph(op_RZ5CV9rWsJ(7,a),a),op_BsQQe46RQf(op_2PWIQslbBr(a),op_xSk1F0pZbF(b,a)))
    return count


def op_ODF1zeLAOR(a):
    if op_ReAzrgtvfu(a,772) > 120:
        return op_D3f8g0qpyM(218)
    else:
        return op_UvedHhwKRj(a,618)

def op_count_ODF1zeLAOR(a):
    if op_ReAzrgtvfu(a,772) > 120:
        count = op_count_D3f8g0qpyM(218)+op_count_ReAzrgtvfu(a,772)
    else:
        count = op_count_UvedHhwKRj(a,618)
    return count


a⋓⇿⪦b = { (a⫺((a⊭⇾a)⩻⇘⩦(a⫲))) , if (a!=514 or b<540) ; ((⫸∞⪮(⇩⫒b))⋑⩐⪄((a∗a)⨔⊶↷(a⫞⩸⩒a))) , else }

def op_fOqZxGbLQX(a, b):
    if (a != 514 or b < 540):
        return op_P0o8L8MpVP(a,op_BrdKLlllJJ(op_5ujlfRu9Nu(a,a),op_9xnGDUPbC6(a)))
    else:
        return op_mCA1Lu4fO6(op_lh14icfd7w(op_nz26hwsvpd(b)),op_WObL9SsYVE(op_9aXLFNf8dt(a,a),op_XGcMNugi78(a,a)))

def op_count_fOqZxGbLQX(a, b):
    if (a != 514 or b < 540):
        count = op_count_5ujlfRu9Nu(a,a)+op_count_9xnGDUPbC6(a)+op_count_BrdKLlllJJ(op_5ujlfRu9Nu(a,a),op_9xnGDUPbC6(a))+op_count_P0o8L8MpVP(a,op_BrdKLlllJJ(op_5ujlfRu9Nu(a,a),op_9xnGDUPbC6(a)))
    else:
        count = op_count_nz26hwsvpd(b)+op_count_lh14icfd7w(op_nz26hwsvpd(b))+op_count_9aXLFNf8dt(a,a)+op_count_XGcMNugi78(a,a)+op_count_WObL9SsYVE(op_9aXLFNf8dt(a,a),op_XGcMNugi78(a,a))+op_count_mCA1Lu4fO6(op_lh14icfd7w(op_nz26hwsvpd(b)),op_WObL9SsYVE(op_9aXLFNf8dt(a,a),op_XGcMNugi78(a,a)))
    return count


def op_qXTIGBu4xQ(a):
    return op_odjyBYi3Hg(op_BXZdiG1zfY(op_0e2ucfioNt(a,a),op_eupb9vlVPb(a)),a)

def op_count_qXTIGBu4xQ(a):
    count = op_count_0e2ucfioNt(a,a)+op_count_eupb9vlVPb(a)+op_count_BXZdiG1zfY(op_0e2ucfioNt(a,a),op_eupb9vlVPb(a))+op_count_odjyBYi3Hg(op_BXZdiG1zfY(op_0e2ucfioNt(a,a),op_eupb9vlVPb(a)),a)
    return count


def op_EPpVF6AnNM(a):
    return op_Oda0vSKASk(op_F4yD0voBRQ(op_GaQLcZwlqT(a),op_PVbKqJ6OmJ(a)))

def op_count_EPpVF6AnNM(a):
    count = op_count_GaQLcZwlqT(a)+op_count_PVbKqJ6OmJ(a)+op_count_F4yD0voBRQ(op_GaQLcZwlqT(a),op_PVbKqJ6OmJ(a))+op_count_Oda0vSKASk(op_F4yD0voBRQ(op_GaQLcZwlqT(a),op_PVbKqJ6OmJ(a)))
    return count


a⨘⩄⊆ = { (a⇸⊌∿a) , if a<=34 ; (a≓∲a) , else }

def op_HSSrwB1YVk(a):
    if a <= 34:
        return op_5hNsobdibZ(a,a)
    else:
        return op_s1XTVnmDOJ(a,a)

def op_count_HSSrwB1YVk(a):
    if a <= 34:
        count = op_count_5hNsobdibZ(a,a)
    else:
        count = op_count_s1XTVnmDOJ(a,a)
    return count


⇯⊘a = { ((a⋇⋤⩬a)⇛≢∆((⊵≊⪸a)∽⫄(155⩕⩚⪺a))) }

def op_4IsXanmfaW(a):
    return op_BRZFass3Bp(op_XRKDgMSJta(a,a),op_RBKPHo7Qd9(op_mMNOlYfzJE(a),op_6P75XYiP07(155,a)))

def op_count_4IsXanmfaW(a):
    count = op_count_XRKDgMSJta(a,a)+op_count_mMNOlYfzJE(a)+op_count_6P75XYiP07(155,a)+op_count_RBKPHo7Qd9(op_mMNOlYfzJE(a),op_6P75XYiP07(155,a))+op_count_BRZFass3Bp(op_XRKDgMSJta(a,a),op_RBKPHo7Qd9(op_mMNOlYfzJE(a),op_6P75XYiP07(155,a)))
    return count


a⫩⇠b = { (((15⨂171)∎⋻⨟(a⇧∕⇚b))⫸((b⊪)↬≳⋣(b∴⪏b))) }

def op_WebgaPI6Gt(a, b):
    return op_Qaz2MhZaG5(op_6VowpqB2XT(op_fvY4jMd0AS(15,171),op_ZVuupJtoea(a,b)),op_5HFUViGXfi(op_zVYPLywUTj(b),op_4XKlyKzzXk(b,b)))

def op_count_WebgaPI6Gt(a, b):
    count = op_count_fvY4jMd0AS(15,171)+op_count_ZVuupJtoea(a,b)+op_count_6VowpqB2XT(op_fvY4jMd0AS(15,171),op_ZVuupJtoea(a,b))+op_count_zVYPLywUTj(b)+op_count_4XKlyKzzXk(b,b)+op_count_5HFUViGXfi(op_zVYPLywUTj(b),op_4XKlyKzzXk(b,b))+op_count_Qaz2MhZaG5(op_6VowpqB2XT(op_fvY4jMd0AS(15,171),op_ZVuupJtoea(a,b)),op_5HFUViGXfi(op_zVYPLywUTj(b),op_4XKlyKzzXk(b,b)))
    return count


⫇⊳a = { (((a⪪⪋)⩇↘(∤a))⫡((a↜↔⇀a)∓⇿⇟(a⇉a))) , if (a∴659)<=444 ; (((a⪊⇅a)⋘↷↾(a⩌⨨⨫a))⫣((⫓⋮≁a)⊤≳(⫔⫾a))) , else }

def op_BYHxTLhPlL(a):
    if op_hrf7POJlIJ(a,659) <= 444:
        return op_r42jg1nETI(op_xc52gjKyDD(op_3m1Q9am5nA(a),op_k2HlF1dBQh(a)),op_gXIGmlOAB4(op_RXUpafmlG7(a,a),op_lJ0NnniDH7(a,a)))
    else:
        return op_LJUzuYQJSf(op_1Scw8a5e7g(op_wwXkqyu98f(a,a),op_3QUG3jHDXB(a,a)),op_hh4S7I0a8e(op_9QNY6wq3gX(a),op_zM038sETkn(a)))

def op_count_BYHxTLhPlL(a):
    if op_hrf7POJlIJ(a,659) <= 444:
        count = op_count_3m1Q9am5nA(a)+op_count_k2HlF1dBQh(a)+op_count_xc52gjKyDD(op_3m1Q9am5nA(a),op_k2HlF1dBQh(a))+op_count_RXUpafmlG7(a,a)+op_count_lJ0NnniDH7(a,a)+op_count_gXIGmlOAB4(op_RXUpafmlG7(a,a),op_lJ0NnniDH7(a,a))+op_count_r42jg1nETI(op_xc52gjKyDD(op_3m1Q9am5nA(a),op_k2HlF1dBQh(a)),op_gXIGmlOAB4(op_RXUpafmlG7(a,a),op_lJ0NnniDH7(a,a)))+op_count_hrf7POJlIJ(a,659)
    else:
        count = op_count_wwXkqyu98f(a,a)+op_count_3QUG3jHDXB(a,a)+op_count_1Scw8a5e7g(op_wwXkqyu98f(a,a),op_3QUG3jHDXB(a,a))+op_count_9QNY6wq3gX(a)+op_count_zM038sETkn(a)+op_count_hh4S7I0a8e(op_9QNY6wq3gX(a),op_zM038sETkn(a))+op_count_LJUzuYQJSf(op_1Scw8a5e7g(op_wwXkqyu98f(a,a),op_3QUG3jHDXB(a,a)),op_hh4S7I0a8e(op_9QNY6wq3gX(a),op_zM038sETkn(a)))
    return count


def op_NkM05i2SSK(a):
    if op_6m6eYvIglw(a) == 67:
        return op_1pJ76SN1ns(op_E331xP7I43(643,196))
    else:
        return op_WObL9SsYVE(a,a)

def op_count_NkM05i2SSK(a):
    if op_6m6eYvIglw(a) == 67:
        count = op_count_E331xP7I43(643,196)+op_count_1pJ76SN1ns(op_E331xP7I43(643,196))+op_count_6m6eYvIglw(a)
    else:
        count = op_count_WObL9SsYVE(a,a)
    return count


a⊋⨤ = { (a⋔+⨓a) , if (a∠⫱576)!=6 ; (((197⫃a)⊭⇾(a⇉⩢⩯))⊸∇((a⋕⪉⪜a)∧≾⩾(a⫡⨏a))) , else }

def op_SxwRoErWe9(a):
    if op_QvoQhV0rrE(a,576) != 6:
        return op_AU7eUHalbZ(a,a)
    else:
        return op_wpd8nos5YA(op_5ujlfRu9Nu(op_jkca4M7ITL(197,a),op_ukGrET2Cg0(a)),op_rBWSZ6pYZD(op_z6LnFrNh4i(a,a),op_QMFrweE19q(a,a)))

def op_count_SxwRoErWe9(a):
    if op_QvoQhV0rrE(a,576) != 6:
        count = op_count_AU7eUHalbZ(a,a)+op_count_QvoQhV0rrE(a,576)
    else:
        count = op_count_jkca4M7ITL(197,a)+op_count_ukGrET2Cg0(a)+op_count_5ujlfRu9Nu(op_jkca4M7ITL(197,a),op_ukGrET2Cg0(a))+op_count_z6LnFrNh4i(a,a)+op_count_QMFrweE19q(a,a)+op_count_rBWSZ6pYZD(op_z6LnFrNh4i(a,a),op_QMFrweE19q(a,a))+op_count_wpd8nos5YA(op_5ujlfRu9Nu(op_jkca4M7ITL(197,a),op_ukGrET2Cg0(a)),op_rBWSZ6pYZD(op_z6LnFrNh4i(a,a),op_QMFrweE19q(a,a)))
    return count


def op_DsBWV7CwDk(a):
    return op_QlDtpsi6BD(op_F5el3aEdEY(a),op_LenFzV9tw1(a,a))

def op_count_DsBWV7CwDk(a):
    count = op_count_F5el3aEdEY(a)+op_count_LenFzV9tw1(a,a)+op_count_QlDtpsi6BD(op_F5el3aEdEY(a),op_LenFzV9tw1(a,a))
    return count


a⋗∛b = { (a∁⩀⇵(b⊞≃⪲a)) , if ((a⊎←↗)!=110 or (⫶⇶a)>=126) ; (a↖(b⫉⋃61)) , else }

def op_jrjRpWUE4r(a, b):
    if (op_dwb5p0fa6d(a) != 110 or op_BCDLqfIOje(a) >= 126):
        return op_IT3TbjFqSq(a,op_jKh9xaBIQ5(b,a))
    else:
        return op_ojE0ZAmiGE(a,op_YEzomLoFTT(b,61))

def op_count_jrjRpWUE4r(a, b):
    if (op_dwb5p0fa6d(a) != 110 or op_BCDLqfIOje(a) >= 126):
        count = op_count_jKh9xaBIQ5(b,a)+op_count_IT3TbjFqSq(a,op_jKh9xaBIQ5(b,a))+op_count_dwb5p0fa6d(a)+op_count_BCDLqfIOje(a)
    else:
        count = op_count_YEzomLoFTT(b,61)+op_count_ojE0ZAmiGE(a,op_YEzomLoFTT(b,61))
    return count


a⋶⋆⪶ = { (((181≅⨐)⨒⪭⩋)⋧((a≯⊼a)⩗(a⫕⨽⨩))) }

def op_bG3yHnOCKe(a):
    return op_FaF1PUcip1(op_Oa3MEmA8k4(op_mxuDegDVqC(181)),op_TrDKUjqfgw(op_6LEqcG83L6(a,a),op_sX7icBeOwx(a)))

def op_count_bG3yHnOCKe(a):
    count = op_count_mxuDegDVqC(181)+op_count_Oa3MEmA8k4(op_mxuDegDVqC(181))+op_count_6LEqcG83L6(a,a)+op_count_sX7icBeOwx(a)+op_count_TrDKUjqfgw(op_6LEqcG83L6(a,a),op_sX7icBeOwx(a))+op_count_FaF1PUcip1(op_Oa3MEmA8k4(op_mxuDegDVqC(181)),op_TrDKUjqfgw(op_6LEqcG83L6(a,a),op_sX7icBeOwx(a)))
    return count


a⨓⊫ = { ((a⩁⩘104)≂⨫(a⋍⇥⫞a)) , if a<=66 ; ((a∴⪏a)⩗(a≝∰⇵a)) , else }

def op_mBd9rm8NRO(a):
    if a <= 66:
        return op_A7k8RvvYBg(op_gub5Cegaqo(a,104),op_x6jq9dVbvD(a,a))
    else:
        return op_TrDKUjqfgw(op_4XKlyKzzXk(a,a),op_CdHlyAwjkr(a,a))

def op_count_mBd9rm8NRO(a):
    if a <= 66:
        count = op_count_gub5Cegaqo(a,104)+op_count_x6jq9dVbvD(a,a)+op_count_A7k8RvvYBg(op_gub5Cegaqo(a,104),op_x6jq9dVbvD(a,a))
    else:
        count = op_count_4XKlyKzzXk(a,a)+op_count_CdHlyAwjkr(a,a)+op_count_TrDKUjqfgw(op_4XKlyKzzXk(a,a),op_CdHlyAwjkr(a,a))
    return count


↷⨋⨝a = { (((a⋆⨑)⇇≺⩫(492⊸⋪≐a))⋖((≧⊳a)∘⇁(a∢⨡≗a))) , if (a⇁⪕)!=116 ; (((a⫓)⊠⪡⨶(702⩰⪎a))⊩(195⫭⊯⇵(a⊻↮∮a))) , else }

def op_qDu5eIyqZX(a):
    if op_9gb37ZWNW1(a) != 116:
        return op_pdYExVicxf(op_XVG3v5SdcH(op_2NslUQYkCX(a),op_9TWTp1rdMN(492,a)),op_kIWj6knPC7(op_GMrB5OisJT(a),op_j0FS1QXHo5(a,a)))
    else:
        return op_aCwnCp9fG4(op_ntT9PAI6rF(op_mLFH2NRKNI(a),op_keMeIxFVQ3(702,a)),op_b1N51d35SA(195,op_myvUJCpSMz(a,a)))

def op_count_qDu5eIyqZX(a):
    if op_9gb37ZWNW1(a) != 116:
        count = op_count_2NslUQYkCX(a)+op_count_9TWTp1rdMN(492,a)+op_count_XVG3v5SdcH(op_2NslUQYkCX(a),op_9TWTp1rdMN(492,a))+op_count_GMrB5OisJT(a)+op_count_j0FS1QXHo5(a,a)+op_count_kIWj6knPC7(op_GMrB5OisJT(a),op_j0FS1QXHo5(a,a))+op_count_pdYExVicxf(op_XVG3v5SdcH(op_2NslUQYkCX(a),op_9TWTp1rdMN(492,a)),op_kIWj6knPC7(op_GMrB5OisJT(a),op_j0FS1QXHo5(a,a)))+op_count_9gb37ZWNW1(a)
    else:
        count = op_count_mLFH2NRKNI(a)+op_count_keMeIxFVQ3(702,a)+op_count_ntT9PAI6rF(op_mLFH2NRKNI(a),op_keMeIxFVQ3(702,a))+op_count_myvUJCpSMz(a,a)+op_count_b1N51d35SA(195,op_myvUJCpSMz(a,a))+op_count_aCwnCp9fG4(op_ntT9PAI6rF(op_mLFH2NRKNI(a),op_keMeIxFVQ3(702,a)),op_b1N51d35SA(195,op_myvUJCpSMz(a,a)))
    return count


def op_n7xO3XHPOA(a):
    return op_MCGqqsDoDu(op_xtCeza3rDf(a,75))

def op_count_n7xO3XHPOA(a):
    count = op_count_xtCeza3rDf(a,75)+op_count_MCGqqsDoDu(op_xtCeza3rDf(a,75))
    return count


def op_djODW6KcNw(a, b):
    return op_C58ewRfeGC(op_tcjXMdvYtA(b),a)

def op_count_djODW6KcNw(a, b):
    count = op_count_tcjXMdvYtA(b)+op_count_C58ewRfeGC(op_tcjXMdvYtA(b),a)
    return count


def op_TWtAD7Vnyk(a):
    return op_crtJ4cV1Co(op_pCNCNETmIQ(a,a),op_9aXLFNf8dt(a,224))

def op_count_TWtAD7Vnyk(a):
    count = op_count_pCNCNETmIQ(a,a)+op_count_9aXLFNf8dt(a,224)+op_count_crtJ4cV1Co(op_pCNCNETmIQ(a,a),op_9aXLFNf8dt(a,224))
    return count


def op_mZx5RNCLlo(a):
    return op_bR7FmX73P0(27,a)

def op_count_mZx5RNCLlo(a):
    count = op_count_bR7FmX73P0(27,a)
    return count


def op_xJUNeK9eSy(a, b):
    if (op_YOY0pNRgya(b) <= 35 or op_Fsv8kpjENC(a) >= 128):
        return op_64EQ39e0fC(b,208)
    else:
        return op_OhqpJ7Tl0K(363,b)

def op_count_xJUNeK9eSy(a, b):
    if (op_YOY0pNRgya(b) <= 35 or op_Fsv8kpjENC(a) >= 128):
        count = op_count_64EQ39e0fC(b,208)+op_count_YOY0pNRgya(b)+op_count_Fsv8kpjENC(a)
    else:
        count = op_count_OhqpJ7Tl0K(363,b)
    return count


a⋟b = { ((⊗(a∋a))⇚≂a) , if b<=785 ; a , else }

def op_IB5k3v5kru(a, b):
    if b <= 785:
        return op_otIR7kHRl1(op_RhiyfpczSx(op_ukq6epAj5P(a,a)),a)
    else:
        return a

def op_count_IB5k3v5kru(a, b):
    if b <= 785:
        count = op_count_ukq6epAj5P(a,a)+op_count_RhiyfpczSx(op_ukq6epAj5P(a,a))+op_count_otIR7kHRl1(op_RhiyfpczSx(op_ukq6epAj5P(a,a)),a)
    else:
        count = 1
    return count


a↟b = { (((242∄a)⩼⇪↪(⫹⊼⫑a))⇏) , if ((≃⋐⪬b)<=567 and (∞a)!=133) ; (((⪭↪↭b)⩲(⇛⇍↶a))⋇↵⋅((238⩻⨮⋝b)⩫∠(⪡⇡≛b))) , else }

def op_PwiXWqpBTd(a, b):
    if (op_gae4JlXwSi(b) <= 567 and op_Fic7usBSnH(a) != 133):
        return op_L7PEQm7qWG(op_ocnLzx9CaJ(op_tnyRA5sazQ(242,a),op_CjIShBDbjh(a)))
    else:
        return op_aEZ9JgCP8a(op_UvedHhwKRj(op_QEn8q3amHe(b),op_kZsPjwrGla(a)),op_61SMRth1bf(op_tTEXlJ6Kwl(238,b),op_qL4PrbW1Dq(b)))

def op_count_PwiXWqpBTd(a, b):
    if (op_gae4JlXwSi(b) <= 567 and op_Fic7usBSnH(a) != 133):
        count = op_count_tnyRA5sazQ(242,a)+op_count_CjIShBDbjh(a)+op_count_ocnLzx9CaJ(op_tnyRA5sazQ(242,a),op_CjIShBDbjh(a))+op_count_L7PEQm7qWG(op_ocnLzx9CaJ(op_tnyRA5sazQ(242,a),op_CjIShBDbjh(a)))+op_count_gae4JlXwSi(b)+op_count_Fic7usBSnH(a)
    else:
        count = op_count_QEn8q3amHe(b)+op_count_kZsPjwrGla(a)+op_count_UvedHhwKRj(op_QEn8q3amHe(b),op_kZsPjwrGla(a))+op_count_tTEXlJ6Kwl(238,b)+op_count_qL4PrbW1Dq(b)+op_count_61SMRth1bf(op_tTEXlJ6Kwl(238,b),op_qL4PrbW1Dq(b))+op_count_aEZ9JgCP8a(op_UvedHhwKRj(op_QEn8q3amHe(b),op_kZsPjwrGla(a)),op_61SMRth1bf(op_tTEXlJ6Kwl(238,b),op_qL4PrbW1Dq(b)))
    return count


a⊾⫳b = { (a≫≃) , if a>171 ; (19⨔b) , else }

def op_1uctxu2Xjm(a, b):
    if a > 171:
        return op_X99M06cbEe(a)
    else:
        return op_TlYxY93Pfd(19,b)

def op_count_1uctxu2Xjm(a, b):
    if a > 171:
        count = op_count_X99M06cbEe(a)
    else:
        count = op_count_TlYxY93Pfd(19,b)
    return count


def op_QhWxDjfUm3(a):
    return op_CBVyztIHgB(op_RhiyfpczSx(op_dMSKA4bw4h(a,a)))

def op_count_QhWxDjfUm3(a):
    count = op_count_dMSKA4bw4h(a,a)+op_count_RhiyfpczSx(op_dMSKA4bw4h(a,a))+op_count_CBVyztIHgB(op_RhiyfpczSx(op_dMSKA4bw4h(a,a)))
    return count


def op_JjJGrowCxS(a, b):
    return op_S0xevmWjPz(op_KROiRRz3d6(op_87HMmqlxet(b,212),op_HY4jiOqclA(a,b)))

def op_count_JjJGrowCxS(a, b):
    count = op_count_87HMmqlxet(b,212)+op_count_HY4jiOqclA(a,b)+op_count_KROiRRz3d6(op_87HMmqlxet(b,212),op_HY4jiOqclA(a,b))+op_count_S0xevmWjPz(op_KROiRRz3d6(op_87HMmqlxet(b,212),op_HY4jiOqclA(a,b)))
    return count


def op_ZGkF32Duyr(a):
    return op_212REbPD9h(a,a)

def op_count_ZGkF32Duyr(a):
    count = op_count_212REbPD9h(a,a)
    return count


def op_AA4upKd8ki(a):
    if (op_SfUa7LlWFO(a,475) < 329 and op_VwYTWe2QPM(a) < 291):
        return op_dtPJiPwKOd(op_0N1BchnEuL(op_2S2w38ZqYE(86),op_4Ue6uVqe4h(a)))
    else:
        return op_g55IO6H4Gj(op_WYd1w68Nbz(op_JclMnS0uGI(48,152)),op_5RY6W0glyJ(op_xOvNxfD5CB(a,a)))

def op_count_AA4upKd8ki(a):
    if (op_SfUa7LlWFO(a,475) < 329 and op_VwYTWe2QPM(a) < 291):
        count = op_count_2S2w38ZqYE(86)+op_count_4Ue6uVqe4h(a)+op_count_0N1BchnEuL(op_2S2w38ZqYE(86),op_4Ue6uVqe4h(a))+op_count_dtPJiPwKOd(op_0N1BchnEuL(op_2S2w38ZqYE(86),op_4Ue6uVqe4h(a)))+op_count_SfUa7LlWFO(a,475)+op_count_VwYTWe2QPM(a)
    else:
        count = op_count_JclMnS0uGI(48,152)+op_count_WYd1w68Nbz(op_JclMnS0uGI(48,152))+op_count_xOvNxfD5CB(a,a)+op_count_5RY6W0glyJ(op_xOvNxfD5CB(a,a))+op_count_g55IO6H4Gj(op_WYd1w68Nbz(op_JclMnS0uGI(48,152)),op_5RY6W0glyJ(op_xOvNxfD5CB(a,a)))
    return count


⊅⊤a = { (↦⋭((a∠⫱a)⫎⨶⇬(∊≟⋛a))) , if ((a↖)!=205 or (a⨟⫄⪺)!=29 or (a⨾)>114) ; (((⪡⪅∗a)⊿⩯≜(a⋵378))⪨⊡((a⊞≃⪲446)⪶⫣⇢(a⇚⪠))) , else }

def op_MDoJIjw2D3(a):
    if (op_E9STjFE31x(a) != 205 or op_T0j3iwIboo(a) != 29 or op_sbYsij7Tm7(a) > 114):
        return op_Mk4ylCeGwW(op_5wMGBMjzkl(op_QvoQhV0rrE(a,a),op_kmEBKJDBFW(a)))
    else:
        return op_kuIXHzHcAH(op_eSKbQgeMY7(op_mVMnQ3ZUz6(a),op_oAMbWzt9Wf(a,378)),op_OTnzgDXvIu(op_jKh9xaBIQ5(a,446),op_Loh9y4A90B(a)))

def op_count_MDoJIjw2D3(a):
    if (op_E9STjFE31x(a) != 205 or op_T0j3iwIboo(a) != 29 or op_sbYsij7Tm7(a) > 114):
        count = op_count_QvoQhV0rrE(a,a)+op_count_kmEBKJDBFW(a)+op_count_5wMGBMjzkl(op_QvoQhV0rrE(a,a),op_kmEBKJDBFW(a))+op_count_Mk4ylCeGwW(op_5wMGBMjzkl(op_QvoQhV0rrE(a,a),op_kmEBKJDBFW(a)))+op_count_E9STjFE31x(a)+op_count_T0j3iwIboo(a)+op_count_sbYsij7Tm7(a)
    else:
        count = op_count_mVMnQ3ZUz6(a)+op_count_oAMbWzt9Wf(a,378)+op_count_eSKbQgeMY7(op_mVMnQ3ZUz6(a),op_oAMbWzt9Wf(a,378))+op_count_jKh9xaBIQ5(a,446)+op_count_Loh9y4A90B(a)+op_count_OTnzgDXvIu(op_jKh9xaBIQ5(a,446),op_Loh9y4A90B(a))+op_count_kuIXHzHcAH(op_eSKbQgeMY7(op_mVMnQ3ZUz6(a),op_oAMbWzt9Wf(a,378)),op_OTnzgDXvIu(op_jKh9xaBIQ5(a,446),op_Loh9y4A90B(a)))
    return count


def op_JZTizTyk8U(a):
    if a < 156:
        return op_wZ022U9HON(op_BS1zk2O8ip(op_0vvTtnGEAI(a),op_HCRZUvWJyW(97,55)),op_YBjRNIjNLy(op_tT8hlKktnq(296),op_yW1pgUlhyC(24)))
    else:
        return op_6RHhwxMoH8(op_73CxnrUli8(op_hhh3JSL7zb(a),op_rJlMWXggw2(a,a)))

def op_count_JZTizTyk8U(a):
    if a < 156:
        count = op_count_0vvTtnGEAI(a)+op_count_HCRZUvWJyW(97,55)+op_count_BS1zk2O8ip(op_0vvTtnGEAI(a),op_HCRZUvWJyW(97,55))+op_count_tT8hlKktnq(296)+op_count_yW1pgUlhyC(24)+op_count_YBjRNIjNLy(op_tT8hlKktnq(296),op_yW1pgUlhyC(24))+op_count_wZ022U9HON(op_BS1zk2O8ip(op_0vvTtnGEAI(a),op_HCRZUvWJyW(97,55)),op_YBjRNIjNLy(op_tT8hlKktnq(296),op_yW1pgUlhyC(24)))
    else:
        count = op_count_hhh3JSL7zb(a)+op_count_rJlMWXggw2(a,a)+op_count_73CxnrUli8(op_hhh3JSL7zb(a),op_rJlMWXggw2(a,a))+op_count_6RHhwxMoH8(op_73CxnrUli8(op_hhh3JSL7zb(a),op_rJlMWXggw2(a,a)))
    return count


def op_TLVNXzrcCu(a):
    if op_E331xP7I43(a,722) < 31:
        return op_DolxePZw3A(op_eLxqMNBOBk(a))
    else:
        return op_iLDmr1kYEU(34)

def op_count_TLVNXzrcCu(a):
    if op_E331xP7I43(a,722) < 31:
        count = op_count_eLxqMNBOBk(a)+op_count_DolxePZw3A(op_eLxqMNBOBk(a))+op_count_E331xP7I43(a,722)
    else:
        count = op_count_iLDmr1kYEU(34)
    return count


a⇲⩅ = { (((a⋔⫻a)⪬≉(a⇽⨅a))⇣⩺⋵((≖⋂a)⋱√⋜(↘643))) , if (a∺⊴⊌979)<=439 ; a , else }

def op_gj9QuscczC(a):
    if op_AxBbORVHmI(a,979) <= 439:
        return op_F4yD0voBRQ(op_403lqio1gV(op_tcrxUegxCv(a,a),op_PyySExtkRS(a,a)),op_trAzs8tmNv(op_YxgxvjpN4O(a),op_LdNpr8hQHL(643)))
    else:
        return a

def op_count_gj9QuscczC(a):
    if op_AxBbORVHmI(a,979) <= 439:
        count = op_count_tcrxUegxCv(a,a)+op_count_PyySExtkRS(a,a)+op_count_403lqio1gV(op_tcrxUegxCv(a,a),op_PyySExtkRS(a,a))+op_count_YxgxvjpN4O(a)+op_count_LdNpr8hQHL(643)+op_count_trAzs8tmNv(op_YxgxvjpN4O(a),op_LdNpr8hQHL(643))+op_count_F4yD0voBRQ(op_403lqio1gV(op_tcrxUegxCv(a,a),op_PyySExtkRS(a,a)),op_trAzs8tmNv(op_YxgxvjpN4O(a),op_LdNpr8hQHL(643)))+op_count_AxBbORVHmI(a,979)
    else:
        count = 1
    return count


def op_uCHXiyXghx(a, b):
    return op_vEtY77xraV(op_fH9r9EEtKB(b),op_0QEWQRhRpH(a,b))

def op_count_uCHXiyXghx(a, b):
    count = op_count_fH9r9EEtKB(b)+op_count_0QEWQRhRpH(a,b)+op_count_vEtY77xraV(op_fH9r9EEtKB(b),op_0QEWQRhRpH(a,b))
    return count


def op_7uTwdFgI0Q(a, b):
    return op_EgBFiUa2UM(op_kFrcMyQrlQ(op_UvedHhwKRj(b,b)),op_tqmm8txHHJ(op_7iT9y97eD8(a),op_Jd6bdEZZlR(a)))

def op_count_7uTwdFgI0Q(a, b):
    count = op_count_UvedHhwKRj(b,b)+op_count_kFrcMyQrlQ(op_UvedHhwKRj(b,b))+op_count_7iT9y97eD8(a)+op_count_Jd6bdEZZlR(a)+op_count_tqmm8txHHJ(op_7iT9y97eD8(a),op_Jd6bdEZZlR(a))+op_count_EgBFiUa2UM(op_kFrcMyQrlQ(op_UvedHhwKRj(b,b)),op_tqmm8txHHJ(op_7iT9y97eD8(a),op_Jd6bdEZZlR(a)))
    return count


a⨂⋽⊪ = { (((a≻√⪧)−⩙(a⩨⩁a))⩠) , if (a∎⋞59)>42 ; (((a⪵a)⨩⊗(a⫰⨅85))⩚≌⩃) , else }

def op_8Pov6ZsYEF(a):
    if op_pUl58FdsSl(a,59) > 42:
        return op_sJAwomhLZr(op_LCIWZYeeIg(op_iJhMwlfzpc(a),op_mRABlwQNwR(a,a)))
    else:
        return op_RZHIcB1ksw(op_Bw0fzZ75Yl(op_zWEPWlwaj2(a,a),op_tawivNIhYz(a,85)))

def op_count_8Pov6ZsYEF(a):
    if op_pUl58FdsSl(a,59) > 42:
        count = op_count_iJhMwlfzpc(a)+op_count_mRABlwQNwR(a,a)+op_count_LCIWZYeeIg(op_iJhMwlfzpc(a),op_mRABlwQNwR(a,a))+op_count_sJAwomhLZr(op_LCIWZYeeIg(op_iJhMwlfzpc(a),op_mRABlwQNwR(a,a)))+op_count_pUl58FdsSl(a,59)
    else:
        count = op_count_zWEPWlwaj2(a,a)+op_count_tawivNIhYz(a,85)+op_count_Bw0fzZ75Yl(op_zWEPWlwaj2(a,a),op_tawivNIhYz(a,85))+op_count_RZHIcB1ksw(op_Bw0fzZ75Yl(op_zWEPWlwaj2(a,a),op_tawivNIhYz(a,85)))
    return count


def op_RGTKTgjLlv(a, b):
    return op_MtU63d9ZNI(op_Dr4yJ0dQtH(op_P0o8L8MpVP(542,b),op_K6E8QFs5tY(b,a)))

def op_count_RGTKTgjLlv(a, b):
    count = op_count_P0o8L8MpVP(542,b)+op_count_K6E8QFs5tY(b,a)+op_count_Dr4yJ0dQtH(op_P0o8L8MpVP(542,b),op_K6E8QFs5tY(b,a))+op_count_MtU63d9ZNI(op_Dr4yJ0dQtH(op_P0o8L8MpVP(542,b),op_K6E8QFs5tY(b,a)))
    return count


def op_RX5zLEmt4k(a, b):
    return op_vlEuakAFQx(op_HmxsFra2vL(op_EKiFHuOFxO(375),op_imqY0THBaP(b,a)),b)

def op_count_RX5zLEmt4k(a, b):
    count = op_count_EKiFHuOFxO(375)+op_count_imqY0THBaP(b,a)+op_count_HmxsFra2vL(op_EKiFHuOFxO(375),op_imqY0THBaP(b,a))+op_count_vlEuakAFQx(op_HmxsFra2vL(op_EKiFHuOFxO(375),op_imqY0THBaP(b,a)),b)
    return count


def op_vtevFjVkzF(a):
    return op_NOyIGfOOXL(op_d3r8Dqe6Dv(a),a)

def op_count_vtevFjVkzF(a):
    count = op_count_d3r8Dqe6Dv(a)+op_count_NOyIGfOOXL(op_d3r8Dqe6Dv(a),a)
    return count


def op_rXMCQmDSkJ(a):
    return op_zcaA4Z4NaO(a,op_ERCh0iueHk(a,a))

def op_count_rXMCQmDSkJ(a):
    count = op_count_ERCh0iueHk(a,a)+op_count_zcaA4Z4NaO(a,op_ERCh0iueHk(a,a))
    return count


⊪⇵a = { a , if a>=207 ; ((⇣a)⩡(a≅a)) , else }

def op_DVbVHMvpgH(a):
    if a >= 207:
        return a
    else:
        return op_G4EbQfwSm2(op_jrW1E7Ncie(a),op_aFodGWjv1K(a,a))

def op_count_DVbVHMvpgH(a):
    if a >= 207:
        count = 1
    else:
        count = op_count_jrW1E7Ncie(a)+op_count_aFodGWjv1K(a,a)+op_count_G4EbQfwSm2(op_jrW1E7Ncie(a),op_aFodGWjv1K(a,a))
    return count


a⩔⋺∉b = { (((≱⇩⩕105)⊀⨇⨴95)⫍⇺((a⫍⇺b)⇒⇑∠(b⪈a))) }

def op_fH6KmAs7VO(a, b):
    return op_ITUoubXGQQ(op_XfMOxBn7HF(op_3DZMoQKiUl(105),95),op_V3Robn58tk(op_ITUoubXGQQ(a,b),op_y16C4hJIbn(b,a)))

def op_count_fH6KmAs7VO(a, b):
    count = op_count_3DZMoQKiUl(105)+op_count_XfMOxBn7HF(op_3DZMoQKiUl(105),95)+op_count_ITUoubXGQQ(a,b)+op_count_y16C4hJIbn(b,a)+op_count_V3Robn58tk(op_ITUoubXGQQ(a,b),op_y16C4hJIbn(b,a))+op_count_ITUoubXGQQ(op_XfMOxBn7HF(op_3DZMoQKiUl(105),95),op_V3Robn58tk(op_ITUoubXGQQ(a,b),op_y16C4hJIbn(b,a)))
    return count


a⨴∤⨲ = { ((⨞⫢(a∩79))∘((a⋇↵⋅a)⨔≚≋(a⊟⋔↩a))) }

def op_WWs1XFHyGK(a):
    return op_Z5m6OM72h2(op_HQuZ2f4It9(op_F9Zfm1dsok(a,79)),op_Z57zeUYC9z(op_aEZ9JgCP8a(a,a),op_1B4ngayaHK(a,a)))

def op_count_WWs1XFHyGK(a):
    count = op_count_F9Zfm1dsok(a,79)+op_count_HQuZ2f4It9(op_F9Zfm1dsok(a,79))+op_count_aEZ9JgCP8a(a,a)+op_count_1B4ngayaHK(a,a)+op_count_Z57zeUYC9z(op_aEZ9JgCP8a(a,a),op_1B4ngayaHK(a,a))+op_count_Z5m6OM72h2(op_HQuZ2f4It9(op_F9Zfm1dsok(a,79)),op_Z57zeUYC9z(op_aEZ9JgCP8a(a,a),op_1B4ngayaHK(a,a)))
    return count


def op_hLH7ZTttf5(a):
    return op_aP2QVQG16R(op_q6iAK3IPqK(a,a),op_F5el3aEdEY(a))

def op_count_hLH7ZTttf5(a):
    count = op_count_q6iAK3IPqK(a,a)+op_count_F5el3aEdEY(a)+op_count_aP2QVQG16R(op_q6iAK3IPqK(a,a),op_F5el3aEdEY(a))
    return count


def op_yzfsDkmV9Q(a, b):
    return op_TSUy8hrQkO(a,op_XSHbJDpXHf(op_sJAwomhLZr(b),op_RDbMZWh2v2(a,a)))

def op_count_yzfsDkmV9Q(a, b):
    count = op_count_sJAwomhLZr(b)+op_count_RDbMZWh2v2(a,a)+op_count_XSHbJDpXHf(op_sJAwomhLZr(b),op_RDbMZWh2v2(a,a))+op_count_TSUy8hrQkO(a,op_XSHbJDpXHf(op_sJAwomhLZr(b),op_RDbMZWh2v2(a,a)))
    return count


a⪑⋇b = { (((b⨒⪀a)⊫⩢(28⊑⨮a))⇒⪫(⨍(a⇯∥⫨))) , if (a∄520)!=204 ; (((b⊻⫕⩗a)⋲∁(b⋝≺⋾))⩒⩻((b⋆⊨b)⪶↣(b⊖≡b))) , else }

def op_8yyM0tXOmz(a, b):
    if op_tnyRA5sazQ(a,520) != 204:
        return op_1nNvNtr5EF(op_KcPBP832pE(op_6UwzacJ3Gx(b,a),op_xRCgHJduM4(28,a)),op_pf0uqpgSkL(op_9mgsQxGIRr(a)))
    else:
        return op_3x4KQ8f6lD(op_64iDxRhgYJ(op_f09raCEPXX(b,a),op_mcQVDGUp7Y(b)),op_QstX2XvNns(op_uTBsSls0VN(b,b),op_Qhrmy2cZ4F(b,b)))

def op_count_8yyM0tXOmz(a, b):
    if op_tnyRA5sazQ(a,520) != 204:
        count = op_count_6UwzacJ3Gx(b,a)+op_count_xRCgHJduM4(28,a)+op_count_KcPBP832pE(op_6UwzacJ3Gx(b,a),op_xRCgHJduM4(28,a))+op_count_9mgsQxGIRr(a)+op_count_pf0uqpgSkL(op_9mgsQxGIRr(a))+op_count_1nNvNtr5EF(op_KcPBP832pE(op_6UwzacJ3Gx(b,a),op_xRCgHJduM4(28,a)),op_pf0uqpgSkL(op_9mgsQxGIRr(a)))+op_count_tnyRA5sazQ(a,520)
    else:
        count = op_count_f09raCEPXX(b,a)+op_count_mcQVDGUp7Y(b)+op_count_64iDxRhgYJ(op_f09raCEPXX(b,a),op_mcQVDGUp7Y(b))+op_count_uTBsSls0VN(b,b)+op_count_Qhrmy2cZ4F(b,b)+op_count_QstX2XvNns(op_uTBsSls0VN(b,b),op_Qhrmy2cZ4F(b,b))+op_count_3x4KQ8f6lD(op_64iDxRhgYJ(op_f09raCEPXX(b,a),op_mcQVDGUp7Y(b)),op_QstX2XvNns(op_uTBsSls0VN(b,b),op_Qhrmy2cZ4F(b,b)))
    return count


def op_AfP0hfvy3k(a, b):
    return op_SGfBAFE26B(op_L95AwlJzhO(a),op_UFzLZpQu9F(a,b))

def op_count_AfP0hfvy3k(a, b):
    count = op_count_L95AwlJzhO(a)+op_count_UFzLZpQu9F(a,b)+op_count_SGfBAFE26B(op_L95AwlJzhO(a),op_UFzLZpQu9F(a,b))
    return count


def op_Us7FFA2FoI(a):
    return op_ViqgXgeRy8(op_grXIztHqDa(274),op_NjWr5y99d1(a,a))

def op_count_Us7FFA2FoI(a):
    count = op_count_grXIztHqDa(274)+op_count_NjWr5y99d1(a,a)+op_count_ViqgXgeRy8(op_grXIztHqDa(274),op_NjWr5y99d1(a,a))
    return count


def op_1XrbPFAoMU(a):
    return op_N2CwLZHY2H(a,a)

def op_count_1XrbPFAoMU(a):
    count = op_count_N2CwLZHY2H(a,a)
    return count


def op_2GW9fHvLVb(a):
    return op_crtJ4cV1Co(a,a)

def op_count_2GW9fHvLVb(a):
    count = op_count_crtJ4cV1Co(a,a)
    return count


def op_76WXwsRhu1(a):
    if (op_bwsAacVXlT(a) > 255 and a >= 105 and a != 262):
        return op_jBncVCNhdl(a,a)
    else:
        return op_X99M06cbEe(105)

def op_count_76WXwsRhu1(a):
    if (op_bwsAacVXlT(a) > 255 and a >= 105 and a != 262):
        count = op_count_jBncVCNhdl(a,a)+op_count_bwsAacVXlT(a)
    else:
        count = op_count_X99M06cbEe(105)
    return count


a↥⩋⫫b = { (a⨭⪣a) , if (b⋔⋓)>49 ; (b⪰⋎⋣b) , else }

def op_xFsO8pdFKG(a, b):
    if op_AH8QAgoliW(b) > 49:
        return op_kn8WO9XteQ(a,a)
    else:
        return op_v7AuZyLTHx(b,b)

def op_count_xFsO8pdFKG(a, b):
    if op_AH8QAgoliW(b) > 49:
        count = op_count_kn8WO9XteQ(a,a)+op_count_AH8QAgoliW(b)
    else:
        count = op_count_v7AuZyLTHx(b,b)
    return count


def op_Rpf5pjIpzP(a):
    return op_9ICcGScMcE(op_ocnLzx9CaJ(op_kvyeM8WEH2(a,a),op_WA4yiEtoyW(282,a)))

def op_count_Rpf5pjIpzP(a):
    count = op_count_kvyeM8WEH2(a,a)+op_count_WA4yiEtoyW(282,a)+op_count_ocnLzx9CaJ(op_kvyeM8WEH2(a,a),op_WA4yiEtoyW(282,a))+op_count_9ICcGScMcE(op_ocnLzx9CaJ(op_kvyeM8WEH2(a,a),op_WA4yiEtoyW(282,a)))
    return count


a⨚⋡b = { (((a∵⩆⫂a)⩕⩚⪺(19⊝⨜≵))⨔(⇤←(b⊥⇄a))) }

def op_AvLGIu8Roi(a, b):
    return op_TlYxY93Pfd(op_6P75XYiP07(op_n178FrgV5J(a,a),op_CuHhPb8RwQ(19)),op_jfAgQ2OQeM(op_gDxaUCbvBQ(b,a)))

def op_count_AvLGIu8Roi(a, b):
    count = op_count_n178FrgV5J(a,a)+op_count_CuHhPb8RwQ(19)+op_count_6P75XYiP07(op_n178FrgV5J(a,a),op_CuHhPb8RwQ(19))+op_count_gDxaUCbvBQ(b,a)+op_count_jfAgQ2OQeM(op_gDxaUCbvBQ(b,a))+op_count_TlYxY93Pfd(op_6P75XYiP07(op_n178FrgV5J(a,a),op_CuHhPb8RwQ(19)),op_jfAgQ2OQeM(op_gDxaUCbvBQ(b,a)))
    return count


def op_hkZLIxtdB4(a):
    if op_AEiy6t5Ykg(a,852) < 562:
        return op_0nVhjSiHEu(a,op_cwbF3JtlMN(a,96))
    else:
        return op_X99M06cbEe(op_US97TQlt8r(a,167))

def op_count_hkZLIxtdB4(a):
    if op_AEiy6t5Ykg(a,852) < 562:
        count = op_count_cwbF3JtlMN(a,96)+op_count_0nVhjSiHEu(a,op_cwbF3JtlMN(a,96))+op_count_AEiy6t5Ykg(a,852)
    else:
        count = op_count_US97TQlt8r(a,167)+op_count_X99M06cbEe(op_US97TQlt8r(a,167))
    return count


a⊓≸b = { a , if (b⫘⨞)<621 ; (((a⊈⨦a)⩷∝⩞(⨴⇴⨔357))⋪) , else }

def op_W9l7OelwO5(a, b):
    if op_7h947DXYV5(b) < 621:
        return a
    else:
        return op_ua2fiIHkOT(op_5SK3UOPDfl(op_NCK8ztm4vY(a,a),op_ubAxYR8Owx(357)))

def op_count_W9l7OelwO5(a, b):
    if op_7h947DXYV5(b) < 621:
        count = 1
    else:
        count = op_count_NCK8ztm4vY(a,a)+op_count_ubAxYR8Owx(357)+op_count_5SK3UOPDfl(op_NCK8ztm4vY(a,a),op_ubAxYR8Owx(357))+op_count_ua2fiIHkOT(op_5SK3UOPDfl(op_NCK8ztm4vY(a,a),op_ubAxYR8Owx(357)))
    return count


a⪝⇬b = { (a⫳≱↱b) , if (b⩼⨳⊤)>=451 ; (415⨡a) , else }

def op_gd1IBU5Lw6(a, b):
    if op_pVGAg23Ig9(b) >= 451:
        return op_ZvLB05nZmT(a,b)
    else:
        return op_tJtBLRaXS9(415,a)

def op_count_gd1IBU5Lw6(a, b):
    if op_pVGAg23Ig9(b) >= 451:
        count = op_count_ZvLB05nZmT(a,b)+op_count_pVGAg23Ig9(b)
    else:
        count = op_count_tJtBLRaXS9(415,a)
    return count


a⇦b = { ((a⋧⋛↙b)⨄⩾↼(b↑)) , if (a⇁↻271)==466 ; ((b≣↻b)⫯⪬∳(a⊟⇵⫊a)) , else }

def op_DtsKfwZYmX(a, b):
    if op_axqnU7qwpD(a,271) == 466:
        return op_6Bcfo3j9gb(op_IMmH2efQS3(a,b),op_BThhyOhh10(b))
    else:
        return op_d7ASUq0ydm(op_KDDfsCJhw5(b,b),op_ov2Ek6r32i(a,a))

def op_count_DtsKfwZYmX(a, b):
    if op_axqnU7qwpD(a,271) == 466:
        count = op_count_IMmH2efQS3(a,b)+op_count_BThhyOhh10(b)+op_count_6Bcfo3j9gb(op_IMmH2efQS3(a,b),op_BThhyOhh10(b))+op_count_axqnU7qwpD(a,271)
    else:
        count = op_count_KDDfsCJhw5(b,b)+op_count_ov2Ek6r32i(a,a)+op_count_d7ASUq0ydm(op_KDDfsCJhw5(b,b),op_ov2Ek6r32i(a,a))
    return count


def op_eEYTvGKSWy(a):
    return op_hy5IL4GG6G(op_izrQJRSfVS(368,op_BJDLbvb5Z5(a,a)),op_BM16iZzMx8(op_LFtbApO071(a,a),op_mk4FjxrA5V(50)))

def op_count_eEYTvGKSWy(a):
    count = op_count_BJDLbvb5Z5(a,a)+op_count_izrQJRSfVS(368,op_BJDLbvb5Z5(a,a))+op_count_LFtbApO071(a,a)+op_count_mk4FjxrA5V(50)+op_count_BM16iZzMx8(op_LFtbApO071(a,a),op_mk4FjxrA5V(50))+op_count_hy5IL4GG6G(op_izrQJRSfVS(368,op_BJDLbvb5Z5(a,a)),op_BM16iZzMx8(op_LFtbApO071(a,a),op_mk4FjxrA5V(50)))
    return count


def op_Qof2EeolbN(a, b):
    if (op_H40QhctQVb(a) == 314 and op_FqT00WZBiN(b) > 208 and op_RBKPHo7Qd9(a,426) < 18):
        return op_MUihtlkRf5(op_JtoaZ7Wsrk(333))
    else:
        return op_1eCjFl0mb9(op_TRBbsPMh7I(19,284),op_S2EdmdiVZh(a,b))

def op_count_Qof2EeolbN(a, b):
    if (op_H40QhctQVb(a) == 314 and op_FqT00WZBiN(b) > 208 and op_RBKPHo7Qd9(a,426) < 18):
        count = op_count_JtoaZ7Wsrk(333)+op_count_MUihtlkRf5(op_JtoaZ7Wsrk(333))+op_count_H40QhctQVb(a)+op_count_FqT00WZBiN(b)+op_count_RBKPHo7Qd9(a,426)
    else:
        count = op_count_TRBbsPMh7I(19,284)+op_count_S2EdmdiVZh(a,b)+op_count_1eCjFl0mb9(op_TRBbsPMh7I(19,284),op_S2EdmdiVZh(a,b))
    return count


a⪻≊⩆b = { (((a≻b)⪺⋮(b≎⋽⪿))⋛((72⩌⨭≭b)⪘⋉⇭(372⪦⫫⫄a))) , if (a⪪⋌797)<=550 ; (⫔⫾b) , else }

def op_B8HwxeNgyJ(a, b):
    if op_6y5rNZ8Vuy(a,797) <= 550:
        return op_YbUVn0Rbpy(op_3s7bcXIOLx(op_5hXIoSHgw9(a,b),op_Mp74FtG4yY(b)),op_2TXroppNd4(op_4KnvnEaVgu(72,b),op_khc5YFX7Jp(372,a)))
    else:
        return op_zM038sETkn(b)

def op_count_B8HwxeNgyJ(a, b):
    if op_6y5rNZ8Vuy(a,797) <= 550:
        count = op_count_5hXIoSHgw9(a,b)+op_count_Mp74FtG4yY(b)+op_count_3s7bcXIOLx(op_5hXIoSHgw9(a,b),op_Mp74FtG4yY(b))+op_count_4KnvnEaVgu(72,b)+op_count_khc5YFX7Jp(372,a)+op_count_2TXroppNd4(op_4KnvnEaVgu(72,b),op_khc5YFX7Jp(372,a))+op_count_YbUVn0Rbpy(op_3s7bcXIOLx(op_5hXIoSHgw9(a,b),op_Mp74FtG4yY(b)),op_2TXroppNd4(op_4KnvnEaVgu(72,b),op_khc5YFX7Jp(372,a)))+op_count_6y5rNZ8Vuy(a,797)
    else:
        count = op_count_zM038sETkn(b)
    return count


a⋢⫂b = { (((↘b)≑⋀(b⋘b))⇸⊡⊌) , if (a>322 and (b⩀)>115) ; (((b⪬≉b)↰⇌(a∏⇴b))⊸⫹((b⫃396)⩔⇧⪏(a⪞⇨a))) , else }

def op_MapNMPHSAz(a, b):
    if (a > 322 and op_FnVB2mpEQa(b) > 115):
        return op_i2qnWr4Tz9(op_Y4lAmUR5B7(op_LdNpr8hQHL(b),op_2M7SKlOzyM(b,b)))
    else:
        return op_xTDqZxPsQw(op_CJQMSuANdj(op_403lqio1gV(b,b),op_Rw46J52cBJ(a,b)),op_uTXOZ2BrWI(op_jkca4M7ITL(b,396),op_dbaoL9ubd4(a,a)))

def op_count_MapNMPHSAz(a, b):
    if (a > 322 and op_FnVB2mpEQa(b) > 115):
        count = op_count_LdNpr8hQHL(b)+op_count_2M7SKlOzyM(b,b)+op_count_Y4lAmUR5B7(op_LdNpr8hQHL(b),op_2M7SKlOzyM(b,b))+op_count_i2qnWr4Tz9(op_Y4lAmUR5B7(op_LdNpr8hQHL(b),op_2M7SKlOzyM(b,b)))+op_count_FnVB2mpEQa(b)
    else:
        count = op_count_403lqio1gV(b,b)+op_count_Rw46J52cBJ(a,b)+op_count_CJQMSuANdj(op_403lqio1gV(b,b),op_Rw46J52cBJ(a,b))+op_count_jkca4M7ITL(b,396)+op_count_dbaoL9ubd4(a,a)+op_count_uTXOZ2BrWI(op_jkca4M7ITL(b,396),op_dbaoL9ubd4(a,a))+op_count_xTDqZxPsQw(op_CJQMSuANdj(op_403lqio1gV(b,b),op_Rw46J52cBJ(a,b)),op_uTXOZ2BrWI(op_jkca4M7ITL(b,396),op_dbaoL9ubd4(a,a)))
    return count


def op_VOsMRMKId5(a, b):
    return op_XSHbJDpXHf(op_tcrxUegxCv(309,b),op_9ICcGScMcE(a))

def op_count_VOsMRMKId5(a, b):
    count = op_count_tcrxUegxCv(309,b)+op_count_9ICcGScMcE(a)+op_count_XSHbJDpXHf(op_tcrxUegxCv(309,b),op_9ICcGScMcE(a))
    return count


a⊎∿b = { (((b⨯b)≞⊜⊃653)∘≹⊼((b⫼⨐⪵a)⪄(⨵≀≌b))) }

def op_Px089qlpp0(a, b):
    return op_TSjMxbSiHV(op_0rRutzN8mZ(op_qYpz2WEVq4(b,b),653),op_SUmda5xLS4(op_NtExgOpNfN(b,a),op_srAu1WTS94(b)))

def op_count_Px089qlpp0(a, b):
    count = op_count_qYpz2WEVq4(b,b)+op_count_0rRutzN8mZ(op_qYpz2WEVq4(b,b),653)+op_count_NtExgOpNfN(b,a)+op_count_srAu1WTS94(b)+op_count_SUmda5xLS4(op_NtExgOpNfN(b,a),op_srAu1WTS94(b))+op_count_TSjMxbSiHV(op_0rRutzN8mZ(op_qYpz2WEVq4(b,b),653),op_SUmda5xLS4(op_NtExgOpNfN(b,a),op_srAu1WTS94(b)))
    return count


⩪⪕↫a = { (((a≓∲a)⩱⇜⪦(442⊱⫣a))⊒⊉⇡(a⫱⨄(a⋹≫a))) }

def op_haB7CxuiID(a):
    return op_cu7YvshKwT(op_TPY4Vhd24N(op_s1XTVnmDOJ(a,a),op_lYYgj615o2(442,a)),op_FWWC6DdxcU(a,op_vrPnkOnn0X(a,a)))

def op_count_haB7CxuiID(a):
    count = op_count_s1XTVnmDOJ(a,a)+op_count_lYYgj615o2(442,a)+op_count_TPY4Vhd24N(op_s1XTVnmDOJ(a,a),op_lYYgj615o2(442,a))+op_count_vrPnkOnn0X(a,a)+op_count_FWWC6DdxcU(a,op_vrPnkOnn0X(a,a))+op_count_cu7YvshKwT(op_TPY4Vhd24N(op_s1XTVnmDOJ(a,a),op_lYYgj615o2(442,a)),op_FWWC6DdxcU(a,op_vrPnkOnn0X(a,a)))
    return count


a⨜≅ = { (((a⇯⇋a)≴⪞⇿(a≅a))⊰∟⫒(≦∁(a⇿⋅⫅a))) }

def op_JoIIQsVv4J(a):
    return op_AEiy6t5Ykg(op_lvlrscuwVU(op_VwBdEydXvH(a,a),op_aFodGWjv1K(a,a)),op_9ICcGScMcE(op_tfk3gx8Z61(a,a)))

def op_count_JoIIQsVv4J(a):
    count = op_count_VwBdEydXvH(a,a)+op_count_aFodGWjv1K(a,a)+op_count_lvlrscuwVU(op_VwBdEydXvH(a,a),op_aFodGWjv1K(a,a))+op_count_tfk3gx8Z61(a,a)+op_count_9ICcGScMcE(op_tfk3gx8Z61(a,a))+op_count_AEiy6t5Ykg(op_lvlrscuwVU(op_VwBdEydXvH(a,a),op_aFodGWjv1K(a,a)),op_9ICcGScMcE(op_tfk3gx8Z61(a,a)))
    return count


a≦⇷∬b = { a , if b>514 ; ((≃⋐⪬(a⫦⫋a))⪔≩⫊((b⫞⩸⩒a)⇎⇧(b⨺⊨450))) , else }

def op_koW2ZZv8cS(a, b):
    if b > 514:
        return a
    else:
        return op_KG0EK6K0uq(op_gae4JlXwSi(op_2SUl30BnjX(a,a)),op_cnI436iWbz(op_XGcMNugi78(b,a),op_VXHFBbhtXV(b,450)))

def op_count_koW2ZZv8cS(a, b):
    if b > 514:
        count = 1
    else:
        count = op_count_2SUl30BnjX(a,a)+op_count_gae4JlXwSi(op_2SUl30BnjX(a,a))+op_count_XGcMNugi78(b,a)+op_count_VXHFBbhtXV(b,450)+op_count_cnI436iWbz(op_XGcMNugi78(b,a),op_VXHFBbhtXV(b,450))+op_count_KG0EK6K0uq(op_gae4JlXwSi(op_2SUl30BnjX(a,a)),op_cnI436iWbz(op_XGcMNugi78(b,a),op_VXHFBbhtXV(b,450)))
    return count


⪍⊃a = { (((↛+a)⋼(a⊵↦a))⇁⨫⊲((a≙⪾a)⊻(a⫢⨠0))) }

def op_cDyd0gDQ9X(a):
    return op_UNcwWhIvyc(op_pvbE2flhr7(op_BM37NSA12W(a),op_wleh0mrux3(a,a)),op_exzyYvvvzF(op_OhqpJ7Tl0K(a,a),op_xlXykHWxX1(a,0)))

def op_count_cDyd0gDQ9X(a):
    count = op_count_BM37NSA12W(a)+op_count_wleh0mrux3(a,a)+op_count_pvbE2flhr7(op_BM37NSA12W(a),op_wleh0mrux3(a,a))+op_count_OhqpJ7Tl0K(a,a)+op_count_xlXykHWxX1(a,0)+op_count_exzyYvvvzF(op_OhqpJ7Tl0K(a,a),op_xlXykHWxX1(a,0))+op_count_UNcwWhIvyc(op_pvbE2flhr7(op_BM37NSA12W(a),op_wleh0mrux3(a,a)),op_exzyYvvvzF(op_OhqpJ7Tl0K(a,a),op_xlXykHWxX1(a,0)))
    return count


def op_DNlaGpKGJL(a, b):
    return op_DEx41W0Tf0(op_rJlMWXggw2(a,b))

def op_count_DNlaGpKGJL(a, b):
    count = op_count_rJlMWXggw2(a,b)+op_count_DEx41W0Tf0(op_rJlMWXggw2(a,b))
    return count


a⇕∤b = { ((b∎⊌603)∤≷⨡) , if (a⇣⋁⨬)!=105 ; ((a⨘↽a)≎⊠⪸(b⩇⫾⪤b)) , else }

def op_vv8LpWl80y(a, b):
    if op_VaOgXTC9yU(a) != 105:
        return op_PIKqUwW8wB(op_QlDtpsi6BD(b,603))
    else:
        return op_bJkvcejdHO(op_DHxEmMn2cg(a,a),op_FNeuu2F1id(b,b))

def op_count_vv8LpWl80y(a, b):
    if op_VaOgXTC9yU(a) != 105:
        count = op_count_QlDtpsi6BD(b,603)+op_count_PIKqUwW8wB(op_QlDtpsi6BD(b,603))+op_count_VaOgXTC9yU(a)
    else:
        count = op_count_DHxEmMn2cg(a,a)+op_count_FNeuu2F1id(b,b)+op_count_bJkvcejdHO(op_DHxEmMn2cg(a,a),op_FNeuu2F1id(b,b))
    return count


⪦⪙a = { (a⇫a) , if a==242 ; (≧⊳a) , else }

def op_UFw0YZ7pIz(a):
    if a == 242:
        return op_MKCxaPE9tg(a,a)
    else:
        return op_GMrB5OisJT(a)

def op_count_UFw0YZ7pIz(a):
    if a == 242:
        count = op_count_MKCxaPE9tg(a,a)
    else:
        count = op_count_GMrB5OisJT(a)
    return count


⩒⪒a = { (⨹⋜⨗((a⫱≫⪥a)⇢⋞(⩟⋲∼a))) , if ((⇔≌a)==785 or (⋃∊∑a)==95) ; (((⫆↝a)⫡(a⊎⇁⫏a))⨤⩳((a≈⪼a)⊁)) , else }

def op_kYFPnnp2ry(a):
    if (op_mODGq9L4gu(a) == 785 or op_ESGVt5Nk82(a) == 95):
        return op_xIsqXE4qqD(op_MzRW7k9OSH(op_J65EmZhDzK(a,a),op_FYDBne3c8m(a)))
    else:
        return op_Uj3jQahk2D(op_r42jg1nETI(op_anXoXtNaKI(a),op_oj0wKxwag9(a,a)),op_IU5bnLfiEv(op_hKL1RT5YAV(a,a)))

def op_count_kYFPnnp2ry(a):
    if (op_mODGq9L4gu(a) == 785 or op_ESGVt5Nk82(a) == 95):
        count = op_count_J65EmZhDzK(a,a)+op_count_FYDBne3c8m(a)+op_count_MzRW7k9OSH(op_J65EmZhDzK(a,a),op_FYDBne3c8m(a))+op_count_xIsqXE4qqD(op_MzRW7k9OSH(op_J65EmZhDzK(a,a),op_FYDBne3c8m(a)))+op_count_mODGq9L4gu(a)+op_count_ESGVt5Nk82(a)
    else:
        count = op_count_anXoXtNaKI(a)+op_count_oj0wKxwag9(a,a)+op_count_r42jg1nETI(op_anXoXtNaKI(a),op_oj0wKxwag9(a,a))+op_count_hKL1RT5YAV(a,a)+op_count_IU5bnLfiEv(op_hKL1RT5YAV(a,a))+op_count_Uj3jQahk2D(op_r42jg1nETI(op_anXoXtNaKI(a),op_oj0wKxwag9(a,a)),op_IU5bnLfiEv(op_hKL1RT5YAV(a,a)))
    return count


def op_tMRIvGwTtK(a):
    if op_FNfUIKSbyQ(a) <= 629:
        return op_8h2Ofp3S4L(op_u0dhG1s4E2(op_9j6tb9hFUI(131),op_1wGGHZzAai(a)),op_PQ5jInepzR(op_oxSU0Fg4Pf(a,357),op_keMeIxFVQ3(a,a)))
    else:
        return op_W7eaUhjymW(op_1pJ76SN1ns(op_SNWesf9iCk(a)))

def op_count_tMRIvGwTtK(a):
    if op_FNfUIKSbyQ(a) <= 629:
        count = op_count_9j6tb9hFUI(131)+op_count_1wGGHZzAai(a)+op_count_u0dhG1s4E2(op_9j6tb9hFUI(131),op_1wGGHZzAai(a))+op_count_oxSU0Fg4Pf(a,357)+op_count_keMeIxFVQ3(a,a)+op_count_PQ5jInepzR(op_oxSU0Fg4Pf(a,357),op_keMeIxFVQ3(a,a))+op_count_8h2Ofp3S4L(op_u0dhG1s4E2(op_9j6tb9hFUI(131),op_1wGGHZzAai(a)),op_PQ5jInepzR(op_oxSU0Fg4Pf(a,357),op_keMeIxFVQ3(a,a)))+op_count_FNfUIKSbyQ(a)
    else:
        count = op_count_SNWesf9iCk(a)+op_count_1pJ76SN1ns(op_SNWesf9iCk(a))+op_count_W7eaUhjymW(op_1pJ76SN1ns(op_SNWesf9iCk(a)))
    return count


≰⫝̸⋩a = { (((a∀)⋥≓≎(a⩡a))⫔⩔⨨((a⊢⇽a)⊿≫≷(a∕⪘≈a))) , if (a⩸⋪949)>16 ; (((↠⨻⇳a)⪾⊳(a⩃⫫⩌a))∨⨩∛((a⊡⫷⨳a)⋏⪄⋛(a⇘⋴a))) , else }

def op_rYBGuEs1v8(a):
    if op_avxXIHzjv1(a,949) > 16:
        return op_pzIYUzZX5D(op_Qy55tPpLXF(op_LCrUByRFnp(a),op_G4EbQfwSm2(a,a)),op_16INH09eNu(op_fGTNyEZ31R(a,a),op_9gOQWDhglh(a,a)))
    else:
        return op_vEtY77xraV(op_8n6F7jskv3(op_x6DEqRu9vc(a),op_ac6OB0jBIj(a,a)),op_VCoQhphGv5(op_dcf6jBEETk(a,a),op_jGfH5UPFW6(a,a)))

def op_count_rYBGuEs1v8(a):
    if op_avxXIHzjv1(a,949) > 16:
        count = op_count_LCrUByRFnp(a)+op_count_G4EbQfwSm2(a,a)+op_count_Qy55tPpLXF(op_LCrUByRFnp(a),op_G4EbQfwSm2(a,a))+op_count_fGTNyEZ31R(a,a)+op_count_9gOQWDhglh(a,a)+op_count_16INH09eNu(op_fGTNyEZ31R(a,a),op_9gOQWDhglh(a,a))+op_count_pzIYUzZX5D(op_Qy55tPpLXF(op_LCrUByRFnp(a),op_G4EbQfwSm2(a,a)),op_16INH09eNu(op_fGTNyEZ31R(a,a),op_9gOQWDhglh(a,a)))+op_count_avxXIHzjv1(a,949)
    else:
        count = op_count_x6DEqRu9vc(a)+op_count_ac6OB0jBIj(a,a)+op_count_8n6F7jskv3(op_x6DEqRu9vc(a),op_ac6OB0jBIj(a,a))+op_count_dcf6jBEETk(a,a)+op_count_jGfH5UPFW6(a,a)+op_count_VCoQhphGv5(op_dcf6jBEETk(a,a),op_jGfH5UPFW6(a,a))+op_count_vEtY77xraV(op_8n6F7jskv3(op_x6DEqRu9vc(a),op_ac6OB0jBIj(a,a)),op_VCoQhphGv5(op_dcf6jBEETk(a,a),op_jGfH5UPFW6(a,a)))
    return count


def op_zDKppa3sDZ(a):
    return op_v1bnuMu9of(op_tcjXMdvYtA(a))

def op_count_zDKppa3sDZ(a):
    count = op_count_tcjXMdvYtA(a)+op_count_v1bnuMu9of(op_tcjXMdvYtA(a))
    return count


def op_xww0Ct2W3P(a):
    if op_dSkh3V1OUw(a) == 53 or a != 533 or a > 59:
        return op_6Dk38mmJ69(243,a)
    else:
        return op_3CMemG6NAA(a)

def op_count_xww0Ct2W3P(a):
    if op_dSkh3V1OUw(a) == 53 or a != 533 or a > 59:
        count = op_count_6Dk38mmJ69(243,a)+op_count_dSkh3V1OUw(a)
    else:
        count = op_count_3CMemG6NAA(a)
    return count


a⫈⋖ = { (((a⋡≾a)⨡⇟⫳(a⊈⇓⨞a))⩍↲(⇤←(a⫸⇈a))) }

def op_EFqI7BKWzB(a):
    return op_kzp3oYQzRT(op_LlA1dz4vja(op_maNSbC2RxN(a,a),op_fj06ns36qH(a,a)),op_jfAgQ2OQeM(op_bEPZFWGxOB(a,a)))

def op_count_EFqI7BKWzB(a):
    count = op_count_maNSbC2RxN(a,a)+op_count_fj06ns36qH(a,a)+op_count_LlA1dz4vja(op_maNSbC2RxN(a,a),op_fj06ns36qH(a,a))+op_count_bEPZFWGxOB(a,a)+op_count_jfAgQ2OQeM(op_bEPZFWGxOB(a,a))+op_count_kzp3oYQzRT(op_LlA1dz4vja(op_maNSbC2RxN(a,a),op_fj06ns36qH(a,a)),op_jfAgQ2OQeM(op_bEPZFWGxOB(a,a)))
    return count


a⊎⋾∘b = { (((a⫕a)⫸⋤(a⨒⪀b))⩰⫔((44∋a)≅⋲(b⋘⋱a))) }

def op_SIQ4SDIJVm(a, b):
    return op_x5p3WF8YzS(op_Oa5J2a4EfC(op_6CTfL9kIPY(a,a),op_6UwzacJ3Gx(a,b)),op_A0R0hrgyGo(op_ukq6epAj5P(44,a),op_70gRa6EccN(b,a)))

def op_count_SIQ4SDIJVm(a, b):
    count = op_count_6CTfL9kIPY(a,a)+op_count_6UwzacJ3Gx(a,b)+op_count_Oa5J2a4EfC(op_6CTfL9kIPY(a,a),op_6UwzacJ3Gx(a,b))+op_count_ukq6epAj5P(44,a)+op_count_70gRa6EccN(b,a)+op_count_A0R0hrgyGo(op_ukq6epAj5P(44,a),op_70gRa6EccN(b,a))+op_count_x5p3WF8YzS(op_Oa5J2a4EfC(op_6CTfL9kIPY(a,a),op_6UwzacJ3Gx(a,b)),op_A0R0hrgyGo(op_ukq6epAj5P(44,a),op_70gRa6EccN(b,a)))
    return count


def op_m1jdlUv8hK(a):
    return op_FQQxe7X1ro(op_Ob6c77wMhA(31,a),op_ZJpFhNJr3x(a))

def op_count_m1jdlUv8hK(a):
    count = op_count_Ob6c77wMhA(31,a)+op_count_ZJpFhNJr3x(a)+op_count_FQQxe7X1ro(op_Ob6c77wMhA(31,a),op_ZJpFhNJr3x(a))
    return count


def op_h6W8D785mx(a):
    if (op_E9STjFE31x(a) == 19 or op_t8L2dp1cPE(a) != 189):
        return op_e3Vku0ulLb(a,op_UO7sojQx20(op_s4gCNs8pnH(a,220),op_nCS4ZIUYfx(a,128)))
    else:
        return op_jneptBQ8aA(op_Qad0JqIAjf(op_kvyeM8WEH2(a,a)),a)

def op_count_h6W8D785mx(a):
    if (op_E9STjFE31x(a) == 19 or op_t8L2dp1cPE(a) != 189):
        count = op_count_s4gCNs8pnH(a,220)+op_count_nCS4ZIUYfx(a,128)+op_count_UO7sojQx20(op_s4gCNs8pnH(a,220),op_nCS4ZIUYfx(a,128))+op_count_e3Vku0ulLb(a,op_UO7sojQx20(op_s4gCNs8pnH(a,220),op_nCS4ZIUYfx(a,128)))+op_count_E9STjFE31x(a)+op_count_t8L2dp1cPE(a)
    else:
        count = op_count_kvyeM8WEH2(a,a)+op_count_Qad0JqIAjf(op_kvyeM8WEH2(a,a))+op_count_jneptBQ8aA(op_Qad0JqIAjf(op_kvyeM8WEH2(a,a)),a)
    return count


a⨐⋑ = { a , if (≱⇩⩕a)<=76 ; (((a⪑a)≹≨⨇(a⪑⋱⊙a))⪦((596≋≥a)≕∾(a⨄⊾⩮))) , else }

def op_NlZiTPE9D6(a):
    if op_3DZMoQKiUl(a) <= 76:
        return a
    else:
        return op_S2EdmdiVZh(op_aGhYYhn7J7(op_8CI59HBmeC(a,a),op_KfUWWnJWrf(a,a)),op_F9pSHpyQ3k(op_p8rocv1ccI(596,a),op_GfE2GQMWLl(a)))

def op_count_NlZiTPE9D6(a):
    if op_3DZMoQKiUl(a) <= 76:
        count = 1
    else:
        count = op_count_8CI59HBmeC(a,a)+op_count_KfUWWnJWrf(a,a)+op_count_aGhYYhn7J7(op_8CI59HBmeC(a,a),op_KfUWWnJWrf(a,a))+op_count_p8rocv1ccI(596,a)+op_count_GfE2GQMWLl(a)+op_count_F9pSHpyQ3k(op_p8rocv1ccI(596,a),op_GfE2GQMWLl(a))+op_count_S2EdmdiVZh(op_aGhYYhn7J7(op_8CI59HBmeC(a,a),op_KfUWWnJWrf(a,a)),op_F9pSHpyQ3k(op_p8rocv1ccI(596,a),op_GfE2GQMWLl(a)))
    return count