def op_BpMHJNSmWr(a, b):
    return op_wLFAaebWLN(op_GVKbpSTzYu(334),op_jBncVCNhdl(a,b))

def op_count_BpMHJNSmWr(a, b):
    count = op_count_GVKbpSTzYu(334)+op_count_jBncVCNhdl(a,b)+op_count_wLFAaebWLN(op_GVKbpSTzYu(334),op_jBncVCNhdl(a,b))
    return count


def op_rTLvlHl7eZ(a):
    return op_Dk6V8i6EvU(op_J65EmZhDzK(a,a),op_crtJ4cV1Co(a,a))

def op_count_rTLvlHl7eZ(a):
    count = op_count_J65EmZhDzK(a,a)+op_count_crtJ4cV1Co(a,a)+op_count_Dk6V8i6EvU(op_J65EmZhDzK(a,a),op_crtJ4cV1Co(a,a))
    return count


a⫸⫄b = { ((a⪂⪕≍a)≻⇥≳(⇫⪺⊃a)) , if b>699 ; ((a↹⋇8)⨓⨕≠(a⇉⇱⇎)) , else }

def op_MrfYqVckR8(a, b):
    if b > 699:
        return op_aiqF8n6J9c(op_WHRxrbF8gO(a,a),op_MQjlK6MLzv(a))
    else:
        return op_wwMOHVJtzA(op_W23Bqxq5lg(a,8),op_MRPaB8lBjK(a))

def op_count_MrfYqVckR8(a, b):
    if b > 699:
        count = op_count_WHRxrbF8gO(a,a)+op_count_MQjlK6MLzv(a)+op_count_aiqF8n6J9c(op_WHRxrbF8gO(a,a),op_MQjlK6MLzv(a))
    else:
        count = op_count_W23Bqxq5lg(a,8)+op_count_MRPaB8lBjK(a)+op_count_wwMOHVJtzA(op_W23Bqxq5lg(a,8),op_MRPaB8lBjK(a))
    return count


def op_3FoScNMFmy(a, b):
    if (op_e1wGt9VEHG(a,574) <= 16 or b != 43):
        return op_nVqYpETDvr(op_dR2gYrpTIj(a,1))
    else:
        return op_RZHIcB1ksw(op_rVbGrKipL7(a))

def op_count_3FoScNMFmy(a, b):
    if (op_e1wGt9VEHG(a,574) <= 16 or b != 43):
        count = op_count_dR2gYrpTIj(a,1)+op_count_nVqYpETDvr(op_dR2gYrpTIj(a,1))+op_count_e1wGt9VEHG(a,574)
    else:
        count = op_count_rVbGrKipL7(a)+op_count_RZHIcB1ksw(op_rVbGrKipL7(a))
    return count


a⨁⇐b = { (b⨌b) , if (⊲⪭a)!=84 or (⇼⨺b)<171 ; (⊵≊⪸a) , else }

def op_aMe6cZlg17(a, b):
    if op_k7HXdKtiEU(a) != 84 or op_uD5Hz2BlZx(b) < 171:
        return op_YdvuPOw6Zp(b,b)
    else:
        return op_mMNOlYfzJE(a)

def op_count_aMe6cZlg17(a, b):
    if op_k7HXdKtiEU(a) != 84 or op_uD5Hz2BlZx(b) < 171:
        count = op_count_YdvuPOw6Zp(b,b)+op_count_k7HXdKtiEU(a)+op_count_uD5Hz2BlZx(b)
    else:
        count = op_count_mMNOlYfzJE(a)
    return count


def op_ij2hUU0FnX(a):
    return op_C7DFujtSMd(op_m612RDITqL(a,a),op_vaH8QgiDVg(a))

def op_count_ij2hUU0FnX(a):
    count = op_count_m612RDITqL(a,a)+op_count_vaH8QgiDVg(a)+op_count_C7DFujtSMd(op_m612RDITqL(a,a),op_vaH8QgiDVg(a))
    return count


def op_jNGbezj4b9(a):
    if (op_4gmLNk370v(a) == 235 or op_BTJnxt4pK9(a,830) > 363):
        return op_aF6wdyjNOF(op_yMixD7ucMB(a,100),op_Q1zyOcezdx(a,a))
    else:
        return op_sYcpBQ0cFf(a)

def op_count_jNGbezj4b9(a):
    if (op_4gmLNk370v(a) == 235 or op_BTJnxt4pK9(a,830) > 363):
        count = op_count_yMixD7ucMB(a,100)+op_count_Q1zyOcezdx(a,a)+op_count_aF6wdyjNOF(op_yMixD7ucMB(a,100),op_Q1zyOcezdx(a,a))+op_count_4gmLNk370v(a)+op_count_BTJnxt4pK9(a,830)
    else:
        count = op_count_sYcpBQ0cFf(a)
    return count


def op_qcD85OyBjC(a):
    return op_pdYExVicxf(op_HiPekx5b7W(op_eRqsBgTDFp(145,a),op_aBQ6xLxuTc(a,a)),op_7TGVge7HG5(369,op_P4ywzuOpaq(a,a)))

def op_count_qcD85OyBjC(a):
    count = op_count_eRqsBgTDFp(145,a)+op_count_aBQ6xLxuTc(a,a)+op_count_HiPekx5b7W(op_eRqsBgTDFp(145,a),op_aBQ6xLxuTc(a,a))+op_count_P4ywzuOpaq(a,a)+op_count_7TGVge7HG5(369,op_P4ywzuOpaq(a,a))+op_count_pdYExVicxf(op_HiPekx5b7W(op_eRqsBgTDFp(145,a),op_aBQ6xLxuTc(a,a)),op_7TGVge7HG5(369,op_P4ywzuOpaq(a,a)))
    return count


def op_84BIegk66X(a, b):
    return op_sQFXMycfVt(op_n9EnWVX4dz(b,a),op_Z5CJsN7DuW(b))

def op_count_84BIegk66X(a, b):
    count = op_count_n9EnWVX4dz(b,a)+op_count_Z5CJsN7DuW(b)+op_count_sQFXMycfVt(op_n9EnWVX4dz(b,a),op_Z5CJsN7DuW(b))
    return count


def op_0MyB4WGeSt(a):
    return op_Esodbl1gVe(op_VHKwoedolt(a,op_pGtFQtYsOB(a)),op_FG45JEQvIn(op_bJkvcejdHO(a,a),a))

def op_count_0MyB4WGeSt(a):
    count = op_count_pGtFQtYsOB(a)+op_count_VHKwoedolt(a,op_pGtFQtYsOB(a))+op_count_bJkvcejdHO(a,a)+op_count_FG45JEQvIn(op_bJkvcejdHO(a,a),a)+op_count_Esodbl1gVe(op_VHKwoedolt(a,op_pGtFQtYsOB(a)),op_FG45JEQvIn(op_bJkvcejdHO(a,a),a))
    return count


a⋔⊒⊬ = { (((a⇡⨸a)≼(a∯⪋⊬226))⊥⋀((⩠↾⋷a)⨖⇷a)) }

def op_9zta1bcw85(a):
    return op_2HYkBhA3K5(op_SPuZE40Ntn(op_zqsMTVBX2o(a,a),op_g3XCkDyza1(a,226)),op_JoVwyMeNnt(op_ukSLkBfL7r(a),a))

def op_count_9zta1bcw85(a):
    count = op_count_zqsMTVBX2o(a,a)+op_count_g3XCkDyza1(a,226)+op_count_SPuZE40Ntn(op_zqsMTVBX2o(a,a),op_g3XCkDyza1(a,226))+op_count_ukSLkBfL7r(a)+op_count_JoVwyMeNnt(op_ukSLkBfL7r(a),a)+op_count_2HYkBhA3K5(op_SPuZE40Ntn(op_zqsMTVBX2o(a,a),op_g3XCkDyza1(a,226)),op_JoVwyMeNnt(op_ukSLkBfL7r(a),a))
    return count


def op_YTfFA0Nyat(a, b):
    return op_h92wMvzauj(op_rWc7knECwY(a),op_50uIHTrNdO(b,a))

def op_count_YTfFA0Nyat(a, b):
    count = op_count_rWc7knECwY(a)+op_count_50uIHTrNdO(b,a)+op_count_h92wMvzauj(op_rWc7knECwY(a),op_50uIHTrNdO(b,a))
    return count


a⊺⪹b = { (((a⨀⨰⊫a)⋚∑⪥(307⋟⫀⨗b))↝⊨((a≵⩾⇗867)⫚↹⊑(a↙⋥176))) }

def op_qkFtMc4JWq(a, b):
    return op_BTJnxt4pK9(op_BnmjcH64ep(op_Gl4WN4Uwdx(a,a),op_dAAkup5nzi(307,b)),op_dfKe02y8D2(op_GyJNigkHRe(a,867),op_k5AdHc7A76(a,176)))

def op_count_qkFtMc4JWq(a, b):
    count = op_count_Gl4WN4Uwdx(a,a)+op_count_dAAkup5nzi(307,b)+op_count_BnmjcH64ep(op_Gl4WN4Uwdx(a,a),op_dAAkup5nzi(307,b))+op_count_GyJNigkHRe(a,867)+op_count_k5AdHc7A76(a,176)+op_count_dfKe02y8D2(op_GyJNigkHRe(a,867),op_k5AdHc7A76(a,176))+op_count_BTJnxt4pK9(op_BnmjcH64ep(op_Gl4WN4Uwdx(a,a),op_dAAkup5nzi(307,b)),op_dfKe02y8D2(op_GyJNigkHRe(a,867),op_k5AdHc7A76(a,176)))
    return count


a⪌∱b = { (a⊒⊉⇡b) , if (⋖a)>199 ; (a⋛≐a) , else }

def op_DpPZRr4xWX(a, b):
    if op_dYTqEtTc30(a) > 199:
        return op_cu7YvshKwT(a,b)
    else:
        return op_B7jD7820sf(a,a)

def op_count_DpPZRr4xWX(a, b):
    if op_dYTqEtTc30(a) > 199:
        count = op_count_cu7YvshKwT(a,b)+op_count_dYTqEtTc30(a)
    else:
        count = op_count_B7jD7820sf(a,a)
    return count


a∰⫀⋄b = { (((↥a)⋄⩥∩(b⊃⋢%a))⫉⊍≷((a⇆⪛≍a)↴⨎⊥(a⊔∂⇅a))) }

def op_Cwt3GTOVka(a, b):
    return op_KCQC7vSPgj(op_bq0uxnJnnH(op_A8NUZmVepG(a),op_MGbPxTAMI3(b,a)),op_50uIHTrNdO(op_15fnz2YIbx(a,a),op_LsSU5mH3bX(a,a)))

def op_count_Cwt3GTOVka(a, b):
    count = op_count_A8NUZmVepG(a)+op_count_MGbPxTAMI3(b,a)+op_count_bq0uxnJnnH(op_A8NUZmVepG(a),op_MGbPxTAMI3(b,a))+op_count_15fnz2YIbx(a,a)+op_count_LsSU5mH3bX(a,a)+op_count_50uIHTrNdO(op_15fnz2YIbx(a,a),op_LsSU5mH3bX(a,a))+op_count_KCQC7vSPgj(op_bq0uxnJnnH(op_A8NUZmVepG(a),op_MGbPxTAMI3(b,a)),op_50uIHTrNdO(op_15fnz2YIbx(a,a),op_LsSU5mH3bX(a,a)))
    return count


def op_hUGWutwbTt(a, b):
    return op_jQIFa7kB8p(op_ECCUxibOga(op_jBncVCNhdl(a,b)),op_LlXaajdvBB(op_Tmr9JGNMVH(736)))

def op_count_hUGWutwbTt(a, b):
    count = op_count_jBncVCNhdl(a,b)+op_count_ECCUxibOga(op_jBncVCNhdl(a,b))+op_count_Tmr9JGNMVH(736)+op_count_LlXaajdvBB(op_Tmr9JGNMVH(736))+op_count_jQIFa7kB8p(op_ECCUxibOga(op_jBncVCNhdl(a,b)),op_LlXaajdvBB(op_Tmr9JGNMVH(736)))
    return count


def op_mfGmyP772u(a):
    return op_2Yy7IiVHWW(op_d7ASUq0ydm(73,a),op_GfE2GQMWLl(a))

def op_count_mfGmyP772u(a):
    count = op_count_d7ASUq0ydm(73,a)+op_count_GfE2GQMWLl(a)+op_count_2Yy7IiVHWW(op_d7ASUq0ydm(73,a),op_GfE2GQMWLl(a))
    return count


def op_7UJktksAgI(a, b):
    return op_tlyMzCI9Xq(op_3ayH0UyYyX(op_wKVdG4GJt7(a),b))

def op_count_7UJktksAgI(a, b):
    count = op_count_wKVdG4GJt7(a)+op_count_3ayH0UyYyX(op_wKVdG4GJt7(a),b)+op_count_tlyMzCI9Xq(op_3ayH0UyYyX(op_wKVdG4GJt7(a),b))
    return count


def op_pnGoN4HH9c(a, b):
    if b >= 343 or op_hHJq9mB9RY(a) != 187:
        return op_CfxG4j8dfZ(op_Rw46J52cBJ(b,a),op_y75s1iXyHd(b,387))
    else:
        return op_4wZW19qsbv(op_GbDo2oKiUE(a),op_PEDxqk51Tr(b,613))

def op_count_pnGoN4HH9c(a, b):
    if b >= 343 or op_hHJq9mB9RY(a) != 187:
        count = op_count_Rw46J52cBJ(b,a)+op_count_y75s1iXyHd(b,387)+op_count_CfxG4j8dfZ(op_Rw46J52cBJ(b,a),op_y75s1iXyHd(b,387))+op_count_hHJq9mB9RY(a)
    else:
        count = op_count_GbDo2oKiUE(a)+op_count_PEDxqk51Tr(b,613)+op_count_4wZW19qsbv(op_GbDo2oKiUE(a),op_PEDxqk51Tr(b,613))
    return count


def op_0YTUWrQViJ(a):
    return op_1NCu7utSrV(a,a)

def op_count_0YTUWrQViJ(a):
    count = op_count_1NCu7utSrV(a,a)
    return count


a⪛∂⪞ = { ((a⫞⫛⩱a)⫭⊯⇵(a⊂≢↧a)) , if (a⊺)<=4 ; ((a⇸⊌∿a)∖⊫(↜⊙a)) , else }

def op_6baaelh0c5(a):
    if op_wff9HZunSZ(a) <= 4:
        return op_b1N51d35SA(op_zq8axvgV1G(a,a),op_1NCu7utSrV(a,a))
    else:
        return op_xNgZz6XNYQ(op_5hNsobdibZ(a,a),op_0TdPSO9GwD(a))

def op_count_6baaelh0c5(a):
    if op_wff9HZunSZ(a) <= 4:
        count = op_count_zq8axvgV1G(a,a)+op_count_1NCu7utSrV(a,a)+op_count_b1N51d35SA(op_zq8axvgV1G(a,a),op_1NCu7utSrV(a,a))+op_count_wff9HZunSZ(a)
    else:
        count = op_count_5hNsobdibZ(a,a)+op_count_0TdPSO9GwD(a)+op_count_xNgZz6XNYQ(op_5hNsobdibZ(a,a),op_0TdPSO9GwD(a))
    return count


a⫐⋜⫤ = { (((a≋⊢≽)⊋≦⊧(a⩌a))⋛≐((a⨮a)⫉⨲⊜a)) , if (≡⋡a)!=438 and (a≊)>197 ; (((⪌a)↧⇸(⪕∮a))⨏((a⫿⨖⫓a)⨯≫⊾(⨺⋰a))) , else }

def op_huF8yWn0JD(a):
    if op_jLVBUR7r3z(a) != 438 and op_nTnZaKopOY(a) > 197:
        return op_B7jD7820sf(op_oRDoc9rAEX(op_Lhk0YGb717(a),op_UoVew8f2p2(a,a)),op_WhqkvtTD3t(op_edpkH0X5wK(a,a),a))
    else:
        return op_AJW4C0rBPs(op_ttmdOT7RaK(op_zhcyjIpuZs(a),op_3i9jIp2RQP(a)),op_3Nwa8gVjpX(op_pwrY02nFTx(a,a),op_3LnG6JgegN(a)))

def op_count_huF8yWn0JD(a):
    if op_jLVBUR7r3z(a) != 438 and op_nTnZaKopOY(a) > 197:
        count = op_count_Lhk0YGb717(a)+op_count_UoVew8f2p2(a,a)+op_count_oRDoc9rAEX(op_Lhk0YGb717(a),op_UoVew8f2p2(a,a))+op_count_edpkH0X5wK(a,a)+op_count_WhqkvtTD3t(op_edpkH0X5wK(a,a),a)+op_count_B7jD7820sf(op_oRDoc9rAEX(op_Lhk0YGb717(a),op_UoVew8f2p2(a,a)),op_WhqkvtTD3t(op_edpkH0X5wK(a,a),a))+op_count_jLVBUR7r3z(a)+op_count_nTnZaKopOY(a)
    else:
        count = op_count_zhcyjIpuZs(a)+op_count_3i9jIp2RQP(a)+op_count_ttmdOT7RaK(op_zhcyjIpuZs(a),op_3i9jIp2RQP(a))+op_count_pwrY02nFTx(a,a)+op_count_3LnG6JgegN(a)+op_count_3Nwa8gVjpX(op_pwrY02nFTx(a,a),op_3LnG6JgegN(a))+op_count_AJW4C0rBPs(op_ttmdOT7RaK(op_zhcyjIpuZs(a),op_3i9jIp2RQP(a)),op_3Nwa8gVjpX(op_pwrY02nFTx(a,a),op_3LnG6JgegN(a)))
    return count


a⇿↡ = { ((⩝74)≨⪨(a⩱⇜⪦a)) , if a!=88 ; ((a↳⨴⫋a)⫨⋵∵(↙∧a)) , else }

def op_UfExUP4t10(a):
    if a != 88:
        return op_46b43un9S1(op_AqJQW3khbP(74),op_TPY4Vhd24N(a,a))
    else:
        return op_MfPSOyZItI(op_bars6Y1s1I(a,a),op_9Y9dmhHwkI(a))

def op_count_UfExUP4t10(a):
    if a != 88:
        count = op_count_AqJQW3khbP(74)+op_count_TPY4Vhd24N(a,a)+op_count_46b43un9S1(op_AqJQW3khbP(74),op_TPY4Vhd24N(a,a))
    else:
        count = op_count_bars6Y1s1I(a,a)+op_count_9Y9dmhHwkI(a)+op_count_MfPSOyZItI(op_bars6Y1s1I(a,a),op_9Y9dmhHwkI(a))
    return count


def op_dS7emaQrdo(a, b):
    return op_iKuQ22IjhO(op_A0R0hrgyGo(op_bIDw1T0Uny(34,b),op_jWTQ2TZYIH(a,b)))

def op_count_dS7emaQrdo(a, b):
    count = op_count_bIDw1T0Uny(34,b)+op_count_jWTQ2TZYIH(a,b)+op_count_A0R0hrgyGo(op_bIDw1T0Uny(34,b),op_jWTQ2TZYIH(a,b))+op_count_iKuQ22IjhO(op_A0R0hrgyGo(op_bIDw1T0Uny(34,b),op_jWTQ2TZYIH(a,b)))
    return count


∢⋗a = { (a↵⨥a) , if ((⨦⩛a)>=22 or (⋄⫺a)>411) ; (a∴⫴) , else }

def op_pCrAblrVOW(a):
    if (op_am5vEDSDTs(a) >= 22 or op_gUNJiNsEkK(a) > 411):
        return op_6kFJ6zSZFv(a,a)
    else:
        return op_Fe3OlIgKHc(a)

def op_count_pCrAblrVOW(a):
    if (op_am5vEDSDTs(a) >= 22 or op_gUNJiNsEkK(a) > 411):
        count = op_count_6kFJ6zSZFv(a,a)+op_count_am5vEDSDTs(a)+op_count_gUNJiNsEkK(a)
    else:
        count = op_count_Fe3OlIgKHc(a)
    return count


def op_4sUNNrBZBC(a, b):
    return op_VYuSRsvjYE(op_4mnGiJ3ceb(op_kvIXUmKfYG(b),op_JgXZM7XvWE(a,a)))

def op_count_4sUNNrBZBC(a, b):
    count = op_count_kvIXUmKfYG(b)+op_count_JgXZM7XvWE(a,a)+op_count_4mnGiJ3ceb(op_kvIXUmKfYG(b),op_JgXZM7XvWE(a,a))+op_count_VYuSRsvjYE(op_4mnGiJ3ceb(op_kvIXUmKfYG(b),op_JgXZM7XvWE(a,a)))
    return count


a⊐↸b = { ((∮a)∵⩆⫂((a⋏⨬⋖a)⫞⩸⩒(b⫊b))) , if (b⩝⪋≩)==521 ; (273⨉⩜⊁((b⫅⩹a)≛⪭(a⩳a))) , else }

def op_naou1u4XCM(a, b):
    if op_Qmvpor93tS(b) == 521:
        return op_n178FrgV5J(op_CqXKPLVYql(a),op_XGcMNugi78(op_bDMTzmQgzE(a,a),op_uPjn7n5pli(b,b)))
    else:
        return op_F5AHWXXekn(273,op_6DIkXxLLjT(op_CdWimuzQB6(b,a),op_yC1eAvCdMl(a,a)))

def op_count_naou1u4XCM(a, b):
    if op_Qmvpor93tS(b) == 521:
        count = op_count_CqXKPLVYql(a)+op_count_bDMTzmQgzE(a,a)+op_count_uPjn7n5pli(b,b)+op_count_XGcMNugi78(op_bDMTzmQgzE(a,a),op_uPjn7n5pli(b,b))+op_count_n178FrgV5J(op_CqXKPLVYql(a),op_XGcMNugi78(op_bDMTzmQgzE(a,a),op_uPjn7n5pli(b,b)))+op_count_Qmvpor93tS(b)
    else:
        count = op_count_CdWimuzQB6(b,a)+op_count_yC1eAvCdMl(a,a)+op_count_6DIkXxLLjT(op_CdWimuzQB6(b,a),op_yC1eAvCdMl(a,a))+op_count_F5AHWXXekn(273,op_6DIkXxLLjT(op_CdWimuzQB6(b,a),op_yC1eAvCdMl(a,a)))
    return count


a↽⩔b = { ((a≦↸b)⨳(b⋋)) , if ((⩮⨌⪯b)<55 or (b∩⊐≤)<6) ; ((b⇄6)↸(b⇋⇻b)) , else }

def op_pC37afr74b(a, b):
    if (op_Gg3xwKfWpq(b) < 55 or op_N9FDu1g6sS(b) < 6):
        return op_YaB1w09lmH(op_RygbFNSyEJ(a,b),op_I0baQEctSg(b))
    else:
        return op_1eCjFl0mb9(op_3EYGwJThht(b,6),op_lIWCnfEXsl(b,b))

def op_count_pC37afr74b(a, b):
    if (op_Gg3xwKfWpq(b) < 55 or op_N9FDu1g6sS(b) < 6):
        count = op_count_RygbFNSyEJ(a,b)+op_count_I0baQEctSg(b)+op_count_YaB1w09lmH(op_RygbFNSyEJ(a,b),op_I0baQEctSg(b))+op_count_Gg3xwKfWpq(b)+op_count_N9FDu1g6sS(b)
    else:
        count = op_count_3EYGwJThht(b,6)+op_count_lIWCnfEXsl(b,b)+op_count_1eCjFl0mb9(op_3EYGwJThht(b,6),op_lIWCnfEXsl(b,b))
    return count


a⋋⇋⩔ = { (((a∺↝↿66)⇚a)∌⫆(∱≗(a∼≠≟137))) }

def op_MJjqfUh4S3(a):
    return op_jdrn0ppNe9(op_xIN6P3ZM4f(op_nz5y26sRSo(a,66),a),op_TLSiz8NPqi(op_sW5uJ3Qy8r(a,137)))

def op_count_MJjqfUh4S3(a):
    count = op_count_nz5y26sRSo(a,66)+op_count_xIN6P3ZM4f(op_nz5y26sRSo(a,66),a)+op_count_sW5uJ3Qy8r(a,137)+op_count_TLSiz8NPqi(op_sW5uJ3Qy8r(a,137))+op_count_jdrn0ppNe9(op_xIN6P3ZM4f(op_nz5y26sRSo(a,66),a),op_TLSiz8NPqi(op_sW5uJ3Qy8r(a,137)))
    return count


def op_0s4lksQsMd(a):
    if a >= 738:
        return op_LJjZ19xYgc(op_nHeERPBDuK(a))
    else:
        return op_W7L2oCKInH(op_gClX4CNEER(a,693),op_3TQ6NmgUL8(a,a))

def op_count_0s4lksQsMd(a):
    if a >= 738:
        count = op_count_nHeERPBDuK(a)+op_count_LJjZ19xYgc(op_nHeERPBDuK(a))
    else:
        count = op_count_gClX4CNEER(a,693)+op_count_3TQ6NmgUL8(a,a)+op_count_W7L2oCKInH(op_gClX4CNEER(a,693),op_3TQ6NmgUL8(a,a))
    return count


def op_80sRvZwr0R(a):
    return op_F4yD0voBRQ(a,a)

def op_count_80sRvZwr0R(a):
    count = op_count_F4yD0voBRQ(a,a)
    return count


def op_DonbzSbJYq(a, b):
    return op_HrjLwUk87U(op_9yWvQzZuYL(op_VLryhnOmfw(a)),op_rPNtK4BLRO(op_EV9swbq3TP(a,a),op_hTbEZDJLEm(b)))

def op_count_DonbzSbJYq(a, b):
    count = op_count_VLryhnOmfw(a)+op_count_9yWvQzZuYL(op_VLryhnOmfw(a))+op_count_EV9swbq3TP(a,a)+op_count_hTbEZDJLEm(b)+op_count_rPNtK4BLRO(op_EV9swbq3TP(a,a),op_hTbEZDJLEm(b))+op_count_HrjLwUk87U(op_9yWvQzZuYL(op_VLryhnOmfw(a)),op_rPNtK4BLRO(op_EV9swbq3TP(a,a),op_hTbEZDJLEm(b)))
    return count


def op_xx3dgqOXHl(a, b):
    if op_13TjBizFrQ(a) >= 17 or op_5hXH7YEb70(a) >= 142 or op_7Xkn05QJzG(b) <= 32:
        return op_aRDoG3ghaN(a)
    else:
        return op_OfugFTrv6S(a)

def op_count_xx3dgqOXHl(a, b):
    if op_13TjBizFrQ(a) >= 17 or op_5hXH7YEb70(a) >= 142 or op_7Xkn05QJzG(b) <= 32:
        count = op_count_aRDoG3ghaN(a)+op_count_13TjBizFrQ(a)+op_count_5hXH7YEb70(a)+op_count_7Xkn05QJzG(b)
    else:
        count = op_count_OfugFTrv6S(a)
    return count


def op_YOshZIEzP7(a):
    if a != 244:
        return op_qL4PrbW1Dq(a)
    else:
        return a

def op_count_YOshZIEzP7(a):
    if a != 244:
        count = op_count_qL4PrbW1Dq(a)
    else:
        count = 1
    return count


∿⇉a = { (a⋝) , if ((⇎≄⫦a)!=77 and a==9) ; (a∏) , else }

def op_C2FC5GId3o(a):
    if (op_LXmfvPwYVb(a) != 77 and a == 9):
        return op_1wGGHZzAai(a)
    else:
        return op_UO1RhPgbnL(a)

def op_count_C2FC5GId3o(a):
    if (op_LXmfvPwYVb(a) != 77 and a == 9):
        count = op_count_1wGGHZzAai(a)+op_count_LXmfvPwYVb(a)
    else:
        count = op_count_UO1RhPgbnL(a)
    return count


def op_I3sBQMZDxg(a):
    return op_J8XgpbiY9M(op_L4guvKKy2T(a),op_f8TJb0vaMc(a,a))

def op_count_I3sBQMZDxg(a):
    count = op_count_L4guvKKy2T(a)+op_count_f8TJb0vaMc(a,a)+op_count_J8XgpbiY9M(op_L4guvKKy2T(a),op_f8TJb0vaMc(a,a))
    return count


def op_pSJVYgjxpR(a, b):
    return op_yPRFSXaFQ1(op_MGbPxTAMI3(a,b),op_inYIwJ0bD8(a))

def op_count_pSJVYgjxpR(a, b):
    count = op_count_MGbPxTAMI3(a,b)+op_count_inYIwJ0bD8(a)+op_count_yPRFSXaFQ1(op_MGbPxTAMI3(a,b),op_inYIwJ0bD8(a))
    return count


def op_RO5dAyufID(a, b):
    return op_t0HF9KJGmM(op_YJnbaRgmQd(op_RLgQDWzcJN(a,154),op_EBhcHTkKd8(b)))

def op_count_RO5dAyufID(a, b):
    count = op_count_RLgQDWzcJN(a,154)+op_count_EBhcHTkKd8(b)+op_count_YJnbaRgmQd(op_RLgQDWzcJN(a,154),op_EBhcHTkKd8(b))+op_count_t0HF9KJGmM(op_YJnbaRgmQd(op_RLgQDWzcJN(a,154),op_EBhcHTkKd8(b)))
    return count


a⫓⨰⫙ = { (a⩚⊥⨞) , if a<=0 ; (a∴⫅⫄) , else }

def op_tRWoyBFVCT(a):
    if a <= 0:
        return op_4zmgO5IZPg(a)
    else:
        return op_Gbxqws6XSS(a)

def op_count_tRWoyBFVCT(a):
    if a <= 0:
        count = op_count_4zmgO5IZPg(a)
    else:
        count = op_count_Gbxqws6XSS(a)
    return count


def op_tLbWsX1p1l(a, b):
    return op_1v5pUZ2RLP(op_dUtXqx2Zuq(op_FaF1PUcip1(b,b),op_2nBggavRMf(427)),op_z4ujcxYYss(op_R73I1om3fK(b),op_SPuZE40Ntn(b,a)))

def op_count_tLbWsX1p1l(a, b):
    count = op_count_FaF1PUcip1(b,b)+op_count_2nBggavRMf(427)+op_count_dUtXqx2Zuq(op_FaF1PUcip1(b,b),op_2nBggavRMf(427))+op_count_R73I1om3fK(b)+op_count_SPuZE40Ntn(b,a)+op_count_z4ujcxYYss(op_R73I1om3fK(b),op_SPuZE40Ntn(b,a))+op_count_1v5pUZ2RLP(op_dUtXqx2Zuq(op_FaF1PUcip1(b,b),op_2nBggavRMf(427)),op_z4ujcxYYss(op_R73I1om3fK(b),op_SPuZE40Ntn(b,a)))
    return count


a⪯⋊b = { (((a↴⨎⊥a)≡)⋴⋼(a∋⪕⋐(a⫊⇚⊺b))) , if ((⫕⨿b)<=244 and (⇾⩊⇾b)<66 and (b⨄⊾⩮)>103) ; (((b⪛b)⊪⫢⨬(a⨜433))∲⫑(⨠↠≐(⋺⩭b))) , else }

def op_lNZWPMt3he(a, b):
    if (op_TugJ99jqtG(b) <= 244 and op_bx9Z9DAK5y(b) < 66 and op_GfE2GQMWLl(b) > 103):
        return op_Ub5LgP3zz0(op_LlXaajdvBB(op_50uIHTrNdO(a,a)),op_qCin6ZH1or(a,op_Y5cEcQhyKu(a,b)))
    else:
        return op_NrdPCfJQiM(op_Es8UyEPW03(op_uFcxV4UQCh(b,b),op_D6AM124FhJ(a,433)),op_aBc3pQJR8T(op_9eAzrXm5nW(b)))

def op_count_lNZWPMt3he(a, b):
    if (op_TugJ99jqtG(b) <= 244 and op_bx9Z9DAK5y(b) < 66 and op_GfE2GQMWLl(b) > 103):
        count = op_count_50uIHTrNdO(a,a)+op_count_LlXaajdvBB(op_50uIHTrNdO(a,a))+op_count_Y5cEcQhyKu(a,b)+op_count_qCin6ZH1or(a,op_Y5cEcQhyKu(a,b))+op_count_Ub5LgP3zz0(op_LlXaajdvBB(op_50uIHTrNdO(a,a)),op_qCin6ZH1or(a,op_Y5cEcQhyKu(a,b)))+op_count_TugJ99jqtG(b)+op_count_bx9Z9DAK5y(b)+op_count_GfE2GQMWLl(b)
    else:
        count = op_count_uFcxV4UQCh(b,b)+op_count_D6AM124FhJ(a,433)+op_count_Es8UyEPW03(op_uFcxV4UQCh(b,b),op_D6AM124FhJ(a,433))+op_count_9eAzrXm5nW(b)+op_count_aBc3pQJR8T(op_9eAzrXm5nW(b))+op_count_NrdPCfJQiM(op_Es8UyEPW03(op_uFcxV4UQCh(b,b),op_D6AM124FhJ(a,433)),op_aBc3pQJR8T(op_9eAzrXm5nW(b)))
    return count


def op_vcxtb3AGcD(a, b):
    if op_EjjZdWuWOr(b,355) == 233:
        return op_zoVPnxeHJ3(a)
    else:
        return op_2DlMacCsIx(b,a)

def op_count_vcxtb3AGcD(a, b):
    if op_EjjZdWuWOr(b,355) == 233:
        count = op_count_zoVPnxeHJ3(a)+op_count_EjjZdWuWOr(b,355)
    else:
        count = op_count_2DlMacCsIx(b,a)
    return count


def op_43rC1QlCBa(a, b):
    if op_l6yaTd3a70(b) == 28 or op_jBC4ymW3D7(b,339) <= 406:
        return op_9samAPKr6k(op_BM5aFeEVeK(a,b),op_QAd1nPzBGT(b,a))
    else:
        return op_RZ5CV9rWsJ(op_WHvsDZpt7Z(b,5),op_qsAu3zulMu(a,131))

def op_count_43rC1QlCBa(a, b):
    if op_l6yaTd3a70(b) == 28 or op_jBC4ymW3D7(b,339) <= 406:
        count = op_count_BM5aFeEVeK(a,b)+op_count_QAd1nPzBGT(b,a)+op_count_9samAPKr6k(op_BM5aFeEVeK(a,b),op_QAd1nPzBGT(b,a))+op_count_l6yaTd3a70(b)+op_count_jBC4ymW3D7(b,339)
    else:
        count = op_count_WHvsDZpt7Z(b,5)+op_count_qsAu3zulMu(a,131)+op_count_RZ5CV9rWsJ(op_WHvsDZpt7Z(b,5),op_qsAu3zulMu(a,131))
    return count


def op_Mrsm6NSQwI(a):
    return op_vQUWrCPLqI(op_9tKT6PmtkH(op_nEsXyWgiOK(a,a)),op_aK1dng0i0Q(op_qFQkR9UZt5(346,a)))

def op_count_Mrsm6NSQwI(a):
    count = op_count_nEsXyWgiOK(a,a)+op_count_9tKT6PmtkH(op_nEsXyWgiOK(a,a))+op_count_qFQkR9UZt5(346,a)+op_count_aK1dng0i0Q(op_qFQkR9UZt5(346,a))+op_count_vQUWrCPLqI(op_9tKT6PmtkH(op_nEsXyWgiOK(a,a)),op_aK1dng0i0Q(op_qFQkR9UZt5(346,a)))
    return count


def op_wrkABtkkQk(a, b):
    return op_Bdiofinswe(op_nmZMaaE0Q9(op_xb2YpVd57y(a,a)),op_8Im2A1wcJk(80,op_F5wFo2T9P3(b,b)))

def op_count_wrkABtkkQk(a, b):
    count = op_count_xb2YpVd57y(a,a)+op_count_nmZMaaE0Q9(op_xb2YpVd57y(a,a))+op_count_F5wFo2T9P3(b,b)+op_count_8Im2A1wcJk(80,op_F5wFo2T9P3(b,b))+op_count_Bdiofinswe(op_nmZMaaE0Q9(op_xb2YpVd57y(a,a)),op_8Im2A1wcJk(80,op_F5wFo2T9P3(b,b)))
    return count


def op_dvIHa88I1T(a):
    if (a != 145 or op_5htHiqXdCj(a) <= 630):
        return op_3x5wtHepBr(op_5PJSEkGA6Y(op_z17wd8OCOv(a)))
    else:
        return op_C6huvSECWb(op_3QUG3jHDXB(op_sM9mzqIDB1(95,a),op_fcYd9Sln05(a)),op_LenFzV9tw1(op_8CI59HBmeC(a,a),op_R5aXW34M0v(86)))

def op_count_dvIHa88I1T(a):
    if (a != 145 or op_5htHiqXdCj(a) <= 630):
        count = op_count_z17wd8OCOv(a)+op_count_5PJSEkGA6Y(op_z17wd8OCOv(a))+op_count_3x5wtHepBr(op_5PJSEkGA6Y(op_z17wd8OCOv(a)))+op_count_5htHiqXdCj(a)
    else:
        count = op_count_sM9mzqIDB1(95,a)+op_count_fcYd9Sln05(a)+op_count_3QUG3jHDXB(op_sM9mzqIDB1(95,a),op_fcYd9Sln05(a))+op_count_8CI59HBmeC(a,a)+op_count_R5aXW34M0v(86)+op_count_LenFzV9tw1(op_8CI59HBmeC(a,a),op_R5aXW34M0v(86))+op_count_C6huvSECWb(op_3QUG3jHDXB(op_sM9mzqIDB1(95,a),op_fcYd9Sln05(a)),op_LenFzV9tw1(op_8CI59HBmeC(a,a),op_R5aXW34M0v(86)))
    return count


a⨶⋡b = { ((a⨍⪺b)⩍⋽⫝̸(a⊾⪯⋞a)) , if (b⫠⨡⊣775)>=189 ; (⇆∐⩂(232∅⩃⩶)) , else }

def op_5UB82qwFL7(a, b):
    if op_ezv41XLVK4(b,775) >= 189:
        return op_BiWNJpBvwn(op_IEH3kw0xIp(a,b),op_HK0tfVPux8(a,a))
    else:
        return op_yD5rMtMDT4(op_yQMj2Vxp9y(232))

def op_count_5UB82qwFL7(a, b):
    if op_ezv41XLVK4(b,775) >= 189:
        count = op_count_IEH3kw0xIp(a,b)+op_count_HK0tfVPux8(a,a)+op_count_BiWNJpBvwn(op_IEH3kw0xIp(a,b),op_HK0tfVPux8(a,a))+op_count_ezv41XLVK4(b,775)
    else:
        count = op_count_yQMj2Vxp9y(232)+op_count_yD5rMtMDT4(op_yQMj2Vxp9y(232))
    return count


a↘⊶b = { ((b−⩎√b)⋺(∐⩳⋚b)) , if (a⪜)==76 ; ((⪳b)⪵⩧⪨(b⪁⇊⋡b)) , else }

def op_x1J4WEBOl4(a, b):
    if op_MzzvRbhZVg(a) == 76:
        return op_NkHGXixdNJ(op_tW6TlDUxtJ(b,b),op_SL6IHkK8vl(b))
    else:
        return op_0QEWQRhRpH(op_mnCm9oVcGF(b),op_v7DKjtCdMf(b,b))

def op_count_x1J4WEBOl4(a, b):
    if op_MzzvRbhZVg(a) == 76:
        count = op_count_tW6TlDUxtJ(b,b)+op_count_SL6IHkK8vl(b)+op_count_NkHGXixdNJ(op_tW6TlDUxtJ(b,b),op_SL6IHkK8vl(b))+op_count_MzzvRbhZVg(a)
    else:
        count = op_count_mnCm9oVcGF(b)+op_count_v7DKjtCdMf(b,b)+op_count_0QEWQRhRpH(op_mnCm9oVcGF(b),op_v7DKjtCdMf(b,b))
    return count


def op_1zyu241SA6(a):
    if op_qFQkR9UZt5(a,555) < 792:
        return op_S1sVmUtiU0(op_C4PqR2W9Pw(a,421))
    else:
        return op_ukGrET2Cg0(op_KCGfcBnbwZ(a,235))

def op_count_1zyu241SA6(a):
    if op_qFQkR9UZt5(a,555) < 792:
        count = op_count_C4PqR2W9Pw(a,421)+op_count_S1sVmUtiU0(op_C4PqR2W9Pw(a,421))+op_count_qFQkR9UZt5(a,555)
    else:
        count = op_count_KCGfcBnbwZ(a,235)+op_count_ukGrET2Cg0(op_KCGfcBnbwZ(a,235))
    return count


a⇝↵b = { (⨎⪎((b⨎⋸⪻)↮⋯(⊬⇐b))) , if (a⫡689)==67 ; ((⫦(⪡⪅∗a))⨢≆((a⪨⨌⩅)⫷(a⩢⇢b))) , else }

def op_S02ZffNhFe(a, b):
    if op_r42jg1nETI(a,689) == 67:
        return op_1M6MJr8P6q(op_KPNWZM5Xul(op_Dk5vyLCiGd(b),op_aRomWCf35x(b)))
    else:
        return op_qQVdHIwY0K(op_bLzMhy7Rh9(op_mVMnQ3ZUz6(a)),op_DD02tHBmow(op_eupb9vlVPb(a),op_C4PqR2W9Pw(a,b)))

def op_count_S02ZffNhFe(a, b):
    if op_r42jg1nETI(a,689) == 67:
        count = op_count_Dk5vyLCiGd(b)+op_count_aRomWCf35x(b)+op_count_KPNWZM5Xul(op_Dk5vyLCiGd(b),op_aRomWCf35x(b))+op_count_1M6MJr8P6q(op_KPNWZM5Xul(op_Dk5vyLCiGd(b),op_aRomWCf35x(b)))+op_count_r42jg1nETI(a,689)
    else:
        count = op_count_mVMnQ3ZUz6(a)+op_count_bLzMhy7Rh9(op_mVMnQ3ZUz6(a))+op_count_eupb9vlVPb(a)+op_count_C4PqR2W9Pw(a,b)+op_count_DD02tHBmow(op_eupb9vlVPb(a),op_C4PqR2W9Pw(a,b))+op_count_qQVdHIwY0K(op_bLzMhy7Rh9(op_mVMnQ3ZUz6(a)),op_DD02tHBmow(op_eupb9vlVPb(a),op_C4PqR2W9Pw(a,b)))
    return count


def op_1K2DY2BYHn(a):
    if (op_F9pSHpyQ3k(a,5) >= 23 or op_Oda0vSKASk(a) <= 260 or op_EccndXHfjJ(a) <= 359):
        return op_EGhGGaRcC7(op_n178FrgV5J(op_yC1eAvCdMl(327,a),op_uz3GelrGYC(a,a)),op_xonniTcBY0(op_5EPoWE8Hz6(a,a),op_VcI7WilXed(a,a)))
    else:
        return op_TbULwM3gdg(op_Uj3jQahk2D(op_JoVwyMeNnt(48,a),op_VTngge07Jm(a,97)),op_I3ZanAtbUM(op_CgIo77xlM2(a),op_fvY4jMd0AS(a,a)))

def op_count_1K2DY2BYHn(a):
    if (op_F9pSHpyQ3k(a,5) >= 23 or op_Oda0vSKASk(a) <= 260 or op_EccndXHfjJ(a) <= 359):
        count = op_count_yC1eAvCdMl(327,a)+op_count_uz3GelrGYC(a,a)+op_count_n178FrgV5J(op_yC1eAvCdMl(327,a),op_uz3GelrGYC(a,a))+op_count_5EPoWE8Hz6(a,a)+op_count_VcI7WilXed(a,a)+op_count_xonniTcBY0(op_5EPoWE8Hz6(a,a),op_VcI7WilXed(a,a))+op_count_EGhGGaRcC7(op_n178FrgV5J(op_yC1eAvCdMl(327,a),op_uz3GelrGYC(a,a)),op_xonniTcBY0(op_5EPoWE8Hz6(a,a),op_VcI7WilXed(a,a)))+op_count_F9pSHpyQ3k(a,5)+op_count_Oda0vSKASk(a)+op_count_EccndXHfjJ(a)
    else:
        count = op_count_JoVwyMeNnt(48,a)+op_count_VTngge07Jm(a,97)+op_count_Uj3jQahk2D(op_JoVwyMeNnt(48,a),op_VTngge07Jm(a,97))+op_count_CgIo77xlM2(a)+op_count_fvY4jMd0AS(a,a)+op_count_I3ZanAtbUM(op_CgIo77xlM2(a),op_fvY4jMd0AS(a,a))+op_count_TbULwM3gdg(op_Uj3jQahk2D(op_JoVwyMeNnt(48,a),op_VTngge07Jm(a,97)),op_I3ZanAtbUM(op_CgIo77xlM2(a),op_fvY4jMd0AS(a,a)))
    return count


a⩗⪽⫲ = { ((a⨳(a⪆⪤⊀a))↜↔⇀(a⊰∟⫒a)) , if (↕a)<44 ; (((a↫⇙↺a)⊩≵⪔)⫙⨛∌((⫓⪴a)⊴⩳(a⇆⇯a))) , else }

def op_8L3oOCP6TI(a):
    if op_EfmNmIJYrc(a) < 44:
        return op_RXUpafmlG7(op_YaB1w09lmH(a,op_fv7bIrfzMN(a,a)),op_AEiy6t5Ykg(a,a))
    else:
        return op_try26Xv2zA(op_aDRGw0okjd(op_xRBuNLHaeO(a,a)),op_vvoDRbMjB2(op_eLxqMNBOBk(a),op_BvUOHliOJ6(a,a)))

def op_count_8L3oOCP6TI(a):
    if op_EfmNmIJYrc(a) < 44:
        count = op_count_fv7bIrfzMN(a,a)+op_count_YaB1w09lmH(a,op_fv7bIrfzMN(a,a))+op_count_AEiy6t5Ykg(a,a)+op_count_RXUpafmlG7(op_YaB1w09lmH(a,op_fv7bIrfzMN(a,a)),op_AEiy6t5Ykg(a,a))+op_count_EfmNmIJYrc(a)
    else:
        count = op_count_xRBuNLHaeO(a,a)+op_count_aDRGw0okjd(op_xRBuNLHaeO(a,a))+op_count_eLxqMNBOBk(a)+op_count_BvUOHliOJ6(a,a)+op_count_vvoDRbMjB2(op_eLxqMNBOBk(a),op_BvUOHliOJ6(a,a))+op_count_try26Xv2zA(op_aDRGw0okjd(op_xRBuNLHaeO(a,a)),op_vvoDRbMjB2(op_eLxqMNBOBk(a),op_BvUOHliOJ6(a,a)))
    return count


def op_D9OBCQOJvC(a):
    return op_6CTfL9kIPY(a,a)

def op_count_D9OBCQOJvC(a):
    count = op_count_6CTfL9kIPY(a,a)
    return count


def op_fEFexwlJgE(a, b):
    return op_mXREAjXmot(op_kZ7xiQQXYt(op_vhtqQa4va1(a,b)))

def op_count_fEFexwlJgE(a, b):
    count = op_count_vhtqQa4va1(a,b)+op_count_kZ7xiQQXYt(op_vhtqQa4va1(a,b))+op_count_mXREAjXmot(op_kZ7xiQQXYt(op_vhtqQa4va1(a,b)))
    return count


↯⩬⋍a = { (⩽←⊝(⨺⊔⫅a)) , if ((a∮⫯⩲)==186 and (⋿⊆⪇a)>=276) ; ((a⪑a)≬⇓(a⩓⨨⪉)) , else }

def op_kryvVsIc0P(a):
    if (op_BwE1KQbirR(a) == 186 and op_Tkp64Nxkog(a) >= 276):
        return op_Q1bdVDI735(op_cNUxxKNcaG(a))
    else:
        return op_jWTQ2TZYIH(op_8CI59HBmeC(a,a),op_cZdSZBARbE(a))

def op_count_kryvVsIc0P(a):
    if (op_BwE1KQbirR(a) == 186 and op_Tkp64Nxkog(a) >= 276):
        count = op_count_cNUxxKNcaG(a)+op_count_Q1bdVDI735(op_cNUxxKNcaG(a))+op_count_BwE1KQbirR(a)+op_count_Tkp64Nxkog(a)
    else:
        count = op_count_8CI59HBmeC(a,a)+op_count_cZdSZBARbE(a)+op_count_jWTQ2TZYIH(op_8CI59HBmeC(a,a),op_cZdSZBARbE(a))
    return count


def op_X8eGGM7jtr(a):
    if op_3YWlZA9bsa(a,83) != 207:
        return op_hFvFHqVvZy(op_DK0EyP8F00(op_kXpzAH9jno(a,a)))
    else:
        return op_VIrrXtd8hW(op_NsGlVlbNoR(op_ReAzrgtvfu(a,11),op_2c2Kvs5UmY(a,a)))

def op_count_X8eGGM7jtr(a):
    if op_3YWlZA9bsa(a,83) != 207:
        count = op_count_kXpzAH9jno(a,a)+op_count_DK0EyP8F00(op_kXpzAH9jno(a,a))+op_count_hFvFHqVvZy(op_DK0EyP8F00(op_kXpzAH9jno(a,a)))+op_count_3YWlZA9bsa(a,83)
    else:
        count = op_count_ReAzrgtvfu(a,11)+op_count_2c2Kvs5UmY(a,a)+op_count_NsGlVlbNoR(op_ReAzrgtvfu(a,11),op_2c2Kvs5UmY(a,a))+op_count_VIrrXtd8hW(op_NsGlVlbNoR(op_ReAzrgtvfu(a,11),op_2c2Kvs5UmY(a,a)))
    return count


a∝≭↫b = { ((a⋁)⪚⩣⇆(≧334)) , if (⋚⪦⪽b)>=305 ; ((b⊵⇹⇚b)↹⫥(b∮↭a)) , else }

def op_teiz4iIfsp(a, b):
    if op_VjnqvBkomr(b) >= 305:
        return op_hfHSvYrndO(op_R6sRhpmvlr(a),op_438NZEZFZN(334))
    else:
        return op_OSE2w6XS66(op_FG4jWDXkwW(b,b),op_uE2ouRUgIU(b,a))

def op_count_teiz4iIfsp(a, b):
    if op_VjnqvBkomr(b) >= 305:
        count = op_count_R6sRhpmvlr(a)+op_count_438NZEZFZN(334)+op_count_hfHSvYrndO(op_R6sRhpmvlr(a),op_438NZEZFZN(334))+op_count_VjnqvBkomr(b)
    else:
        count = op_count_FG4jWDXkwW(b,b)+op_count_uE2ouRUgIU(b,a)+op_count_OSE2w6XS66(op_FG4jWDXkwW(b,b),op_uE2ouRUgIU(b,a))
    return count


def op_e3JyuAUsAU(a):
    return op_9samAPKr6k(a,123)

def op_count_e3JyuAUsAU(a):
    count = op_count_9samAPKr6k(a,123)
    return count


a⋬≫b = { (((241⇎⋱a)⪦⪊(b≮≗⫂b))⋛((⫬⪯⊰b)⇢↻⪦)) }

def op_XVpBsECZVK(a, b):
    return op_YbUVn0Rbpy(op_DykcjiQqpf(op_bIDw1T0Uny(241,a),op_P5jP6ymN6L(b,b)),op_bkvWZQZAQa(op_zxvitxjGGl(b)))

def op_count_XVpBsECZVK(a, b):
    count = op_count_bIDw1T0Uny(241,a)+op_count_P5jP6ymN6L(b,b)+op_count_DykcjiQqpf(op_bIDw1T0Uny(241,a),op_P5jP6ymN6L(b,b))+op_count_zxvitxjGGl(b)+op_count_bkvWZQZAQa(op_zxvitxjGGl(b))+op_count_YbUVn0Rbpy(op_DykcjiQqpf(op_bIDw1T0Uny(241,a),op_P5jP6ymN6L(b,b)),op_bkvWZQZAQa(op_zxvitxjGGl(b)))
    return count


def op_BN95awToQz(a):
    return op_srMk4GyP9y(op_YbVcJGFEVW(op_ER3VUc6CxE(a,138),op_RhiyfpczSx(a)))

def op_count_BN95awToQz(a):
    count = op_count_ER3VUc6CxE(a,138)+op_count_RhiyfpczSx(a)+op_count_YbVcJGFEVW(op_ER3VUc6CxE(a,138),op_RhiyfpczSx(a))+op_count_srMk4GyP9y(op_YbVcJGFEVW(op_ER3VUc6CxE(a,138),op_RhiyfpczSx(a)))
    return count


⨎⇜⨧a = { ((a⫕⨽⨩)⩇∃⫛(a↮a)) , if (a⊔∂⇅255)<=85 ; a , else }

def op_kPYGJtKGvU(a):
    if op_LsSU5mH3bX(a,255) <= 85:
        return op_1aApVXNlOP(op_sX7icBeOwx(a),op_ugTrrffvJh(a,a))
    else:
        return a

def op_count_kPYGJtKGvU(a):
    if op_LsSU5mH3bX(a,255) <= 85:
        count = op_count_sX7icBeOwx(a)+op_count_ugTrrffvJh(a,a)+op_count_1aApVXNlOP(op_sX7icBeOwx(a),op_ugTrrffvJh(a,a))+op_count_LsSU5mH3bX(a,255)
    else:
        count = 1
    return count


def op_aKrygNiu38(a, b):
    if a <= 188 and op_9gOQWDhglh(a,152) <= 12 and op_lhrve3vigU(b) == 15:
        return op_mMNOlYfzJE(966)
    else:
        return op_x56Q1NfF72(340,b)

def op_count_aKrygNiu38(a, b):
    if a <= 188 and op_9gOQWDhglh(a,152) <= 12 and op_lhrve3vigU(b) == 15:
        count = op_count_mMNOlYfzJE(966)+op_count_9gOQWDhglh(a,152)+op_count_lhrve3vigU(b)
    else:
        count = op_count_x56Q1NfF72(340,b)
    return count


a⪺⨮⩭b = { (⫓⪴(a⨲≯a)) , if (b∕⪝)<=47 ; (⫌⊑↬38) , else }

def op_xnTr9QP4Ls(a, b):
    if op_EEXzluxnhc(b) <= 47:
        return op_eLxqMNBOBk(op_rRzE4LHIBf(a,a))
    else:
        return op_h57jOAbG9W(38)

def op_count_xnTr9QP4Ls(a, b):
    if op_EEXzluxnhc(b) <= 47:
        count = op_count_rRzE4LHIBf(a,a)+op_count_eLxqMNBOBk(op_rRzE4LHIBf(a,a))+op_count_EEXzluxnhc(b)
    else:
        count = op_count_h57jOAbG9W(38)
    return count


a⋍⨍b = { (⨵≀≌a) , if (⋫≀⫽a)>=434 ; (b⩢726) , else }

def op_NjmQ0Rwe72(a, b):
    if op_V0aaSnRubj(a) >= 434:
        return op_srAu1WTS94(a)
    else:
        return op_xCh8PLxVLz(b,726)

def op_count_NjmQ0Rwe72(a, b):
    if op_V0aaSnRubj(a) >= 434:
        count = op_count_srAu1WTS94(a)+op_count_V0aaSnRubj(a)
    else:
        count = op_count_xCh8PLxVLz(b,726)
    return count


a≂⪹b = { (((⊱⋫288)⊅⪬(b⇄b))⫃((a⩃⫫⩌b)⋘⇝⩳(a∗⩻))) }

def op_oXQ8EQIAzy(a, b):
    return op_jkca4M7ITL(op_TlDLxRNSIU(op_JNAMZpJNVJ(288),op_3EYGwJThht(b,b)),op_E1o5MFdtNP(op_ac6OB0jBIj(a,b),op_ccHmK6PBIn(a)))

def op_count_oXQ8EQIAzy(a, b):
    count = op_count_JNAMZpJNVJ(288)+op_count_3EYGwJThht(b,b)+op_count_TlDLxRNSIU(op_JNAMZpJNVJ(288),op_3EYGwJThht(b,b))+op_count_ac6OB0jBIj(a,b)+op_count_ccHmK6PBIn(a)+op_count_E1o5MFdtNP(op_ac6OB0jBIj(a,b),op_ccHmK6PBIn(a))+op_count_jkca4M7ITL(op_TlDLxRNSIU(op_JNAMZpJNVJ(288),op_3EYGwJThht(b,b)),op_E1o5MFdtNP(op_ac6OB0jBIj(a,b),op_ccHmK6PBIn(a)))
    return count


a↙≀b = { (⇜≂≑(a⨩≤⫤b)) , if (⊵≊⪸a)>136 ; ((a⋖⇈b)⨢≆(a⇢∌b)) , else }

def op_zvysF4QnDM(a, b):
    if op_mMNOlYfzJE(a) > 136:
        return op_RFg3ArkQ7E(op_neKQRQQIil(a,b))
    else:
        return op_qQVdHIwY0K(op_0nVhjSiHEu(a,b),op_10Y1YzcX1i(a,b))

def op_count_zvysF4QnDM(a, b):
    if op_mMNOlYfzJE(a) > 136:
        count = op_count_neKQRQQIil(a,b)+op_count_RFg3ArkQ7E(op_neKQRQQIil(a,b))+op_count_mMNOlYfzJE(a)
    else:
        count = op_count_0nVhjSiHEu(a,b)+op_count_10Y1YzcX1i(a,b)+op_count_qQVdHIwY0K(op_0nVhjSiHEu(a,b),op_10Y1YzcX1i(a,b))
    return count


a∄∑⫋b = { ((b↜⩯⩶a)⫽⇹≛) , if (b⩘/⪵)>14 ; ((b⋔∶47)⨏(a∌⇯⇷a)) , else }

def op_0Pabu4m7xG(a, b):
    if op_DEx41W0Tf0(b) > 14:
        return op_NNaDxxp6OQ(op_BUZMbiqx9t(b,a))
    else:
        return op_AJW4C0rBPs(op_e1tqKxnyD8(b,47),op_moP16zZBUU(a,a))

def op_count_0Pabu4m7xG(a, b):
    if op_DEx41W0Tf0(b) > 14:
        count = op_count_BUZMbiqx9t(b,a)+op_count_NNaDxxp6OQ(op_BUZMbiqx9t(b,a))+op_count_DEx41W0Tf0(b)
    else:
        count = op_count_e1tqKxnyD8(b,47)+op_count_moP16zZBUU(a,a)+op_count_AJW4C0rBPs(op_e1tqKxnyD8(b,47),op_moP16zZBUU(a,a))
    return count


def op_3cXjX5EWFr(a):
    return op_yiOwzGmnRd(op_aBQ6xLxuTc(a,a))

def op_count_3cXjX5EWFr(a):
    count = op_count_aBQ6xLxuTc(a,a)+op_count_yiOwzGmnRd(op_aBQ6xLxuTc(a,a))
    return count


def op_R2bUY8UskB(a):
    return op_f8TJb0vaMc(a,241)

def op_count_R2bUY8UskB(a):
    count = op_count_f8TJb0vaMc(a,241)
    return count


a⫘↗⩿ = { 195 , if (a⩞⩢)==93 ; (⪨↰(a∲⪻a)) , else }

def op_kKDhhDQgIB(a):
    if op_EvTGYzlQPx(a) == 93:
        return 195
    else:
        return op_blQ9vzDKd0(op_oS3yjF67M5(a,a))

def op_count_kKDhhDQgIB(a):
    if op_EvTGYzlQPx(a) == 93:
        count = op_count_EvTGYzlQPx(a)
    else:
        count = op_count_oS3yjF67M5(a,a)+op_count_blQ9vzDKd0(op_oS3yjF67M5(a,a))
    return count


⩅⊁⇔a = { (((a⫭⨏a)⩗a)∗⩱) , if (a≡)<106 ; ((a⊴⪶⨢(⪕≙a))∫⩸((a⋢a)∸⇺⨩(a⪞⇨a))) , else }

def op_oZlpEDCYC2(a):
    if op_LlXaajdvBB(a) < 106:
        return op_aAVNawJ2Pg(op_TrDKUjqfgw(op_4j7MdOEvYM(a,a),a))
    else:
        return op_OpIL6DGFIM(op_ijrBZcTHEz(a,op_eWHr1gHY9C(a)),op_BM5aFeEVeK(op_NdELin8EPX(a,a),op_dbaoL9ubd4(a,a)))

def op_count_oZlpEDCYC2(a):
    if op_LlXaajdvBB(a) < 106:
        count = op_count_4j7MdOEvYM(a,a)+op_count_TrDKUjqfgw(op_4j7MdOEvYM(a,a),a)+op_count_aAVNawJ2Pg(op_TrDKUjqfgw(op_4j7MdOEvYM(a,a),a))+op_count_LlXaajdvBB(a)
    else:
        count = op_count_eWHr1gHY9C(a)+op_count_ijrBZcTHEz(a,op_eWHr1gHY9C(a))+op_count_NdELin8EPX(a,a)+op_count_dbaoL9ubd4(a,a)+op_count_BM5aFeEVeK(op_NdELin8EPX(a,a),op_dbaoL9ubd4(a,a))+op_count_OpIL6DGFIM(op_ijrBZcTHEz(a,op_eWHr1gHY9C(a)),op_BM5aFeEVeK(op_NdELin8EPX(a,a),op_dbaoL9ubd4(a,a)))
    return count


⨵≰a = { (a⇦⋔⨵) , if (a⩡⩩)>5 ; (a∌↸↾137) , else }

def op_V1TdeceljC(a):
    if op_ShBvFzxPDQ(a) > 5:
        return op_u3XxlibK4s(a)
    else:
        return op_q2tj3gAE7H(a,137)

def op_count_V1TdeceljC(a):
    if op_ShBvFzxPDQ(a) > 5:
        count = op_count_u3XxlibK4s(a)+op_count_ShBvFzxPDQ(a)
    else:
        count = op_count_q2tj3gAE7H(a,137)
    return count


def op_S9rlE8s4gL(a):
    if (a <= 287 or a >= 83 or op_uEzDtkuuWN(a) <= 375):
        return op_UvedHhwKRj(a,a)
    else:
        return op_Lhk0YGb717(a)

def op_count_S9rlE8s4gL(a):
    if (a <= 287 or a >= 83 or op_uEzDtkuuWN(a) <= 375):
        count = op_count_UvedHhwKRj(a,a)+op_count_uEzDtkuuWN(a)
    else:
        count = op_count_Lhk0YGb717(a)
    return count


def op_QJXapBO2hu(a):
    if (a >= 264 or op_ZLl4PfgIji(a) == 248):
        return op_2vc6jfJkHe(45)
    else:
        return op_rJlMWXggw2(a,a)

def op_count_QJXapBO2hu(a):
    if (a >= 264 or op_ZLl4PfgIji(a) == 248):
        count = op_count_2vc6jfJkHe(45)+op_count_ZLl4PfgIji(a)
    else:
        count = op_count_rJlMWXggw2(a,a)
    return count


def op_TvmTEwfNwN(a):
    return op_F4yD0voBRQ(177,a)

def op_count_TvmTEwfNwN(a):
    count = op_count_F4yD0voBRQ(177,a)
    return count


def op_vhomQbQnbp(a, b):
    return op_ZvLB05nZmT(op_0vlfU79Xq7(op_AoPU032JrE(b),op_aNWsvqozUr(b,a)),op_uRbtvZtfgl(b))

def op_count_vhomQbQnbp(a, b):
    count = op_count_AoPU032JrE(b)+op_count_aNWsvqozUr(b,a)+op_count_0vlfU79Xq7(op_AoPU032JrE(b),op_aNWsvqozUr(b,a))+op_count_uRbtvZtfgl(b)+op_count_ZvLB05nZmT(op_0vlfU79Xq7(op_AoPU032JrE(b),op_aNWsvqozUr(b,a)),op_uRbtvZtfgl(b))
    return count


def op_6ztHLG61eS(a):
    return op_oAMbWzt9Wf(op_IU5bnLfiEv(52),a)

def op_count_6ztHLG61eS(a):
    count = op_count_IU5bnLfiEv(52)+op_count_oAMbWzt9Wf(op_IU5bnLfiEv(52),a)
    return count


a⇨↬ = { (a∣a) , if a<994 ; (a⫿) , else }

def op_7teUpkHlKA(a):
    if a < 994:
        return op_PPChnnnBFF(a,a)
    else:
        return op_9tKT6PmtkH(a)

def op_count_7teUpkHlKA(a):
    if a < 994:
        count = op_count_PPChnnnBFF(a,a)
    else:
        count = op_count_9tKT6PmtkH(a)
    return count


a⫒⪤b = { (≖⋂b) , if (a≆⪨⩷322)>=63 ; ((⊈↤155)⩫≗⊖(a⪌⊌⪟a)) , else }

def op_EiH4xaClOJ(a, b):
    if op_0e2ucfioNt(a,322) >= 63:
        return op_YxgxvjpN4O(b)
    else:
        return op_6GzKXIXcaD(op_hFvFHqVvZy(155),op_lr4bYNdzaZ(a,a))

def op_count_EiH4xaClOJ(a, b):
    if op_0e2ucfioNt(a,322) >= 63:
        count = op_count_YxgxvjpN4O(b)+op_count_0e2ucfioNt(a,322)
    else:
        count = op_count_hFvFHqVvZy(155)+op_count_lr4bYNdzaZ(a,a)+op_count_6GzKXIXcaD(op_hFvFHqVvZy(155),op_lr4bYNdzaZ(a,a))
    return count


a⫨≐b = { (b⫦⪉a) , if b<=277 ; (⪹≗a) , else }

def op_erJ3pvLwDa(a, b):
    if b <= 277:
        return op_wscyQdcy20(b,a)
    else:
        return op_orYc0BY6Nt(a)

def op_count_erJ3pvLwDa(a, b):
    if b <= 277:
        count = op_count_wscyQdcy20(b,a)
    else:
        count = op_count_orYc0BY6Nt(a)
    return count


a⩰∈ = { (↿⩠⋻(a≾a)) , if (↪↝a)<=44 ; ((⊮−a)⫷) , else }

def op_JYUOYHgDsn(a):
    if op_fapF41XmAQ(a) <= 44:
        return op_HHzAglSfHQ(op_d5CHQX7ZoG(a,a))
    else:
        return op_usgnsOtpbm(op_BX5yTvkFHV(a))

def op_count_JYUOYHgDsn(a):
    if op_fapF41XmAQ(a) <= 44:
        count = op_count_d5CHQX7ZoG(a,a)+op_count_HHzAglSfHQ(op_d5CHQX7ZoG(a,a))+op_count_fapF41XmAQ(a)
    else:
        count = op_count_BX5yTvkFHV(a)+op_count_usgnsOtpbm(op_BX5yTvkFHV(a))
    return count


def op_gKlcUr9zCg(a, b):
    if (b >= 26 or op_I2IqpfOY7h(b) != 17):
        return op_3ayH0UyYyX(a,119)
    else:
        return op_5ClX4R8SjJ(b,a)

def op_count_gKlcUr9zCg(a, b):
    if (b >= 26 or op_I2IqpfOY7h(b) != 17):
        count = op_count_3ayH0UyYyX(a,119)+op_count_I2IqpfOY7h(b)
    else:
        count = op_count_5ClX4R8SjJ(b,a)
    return count


def op_5VcLSDSepo(a, b):
    return op_bJkvcejdHO(op_NkfVXkFf4E(b),op_66lcxNmSNf(a,a))

def op_count_5VcLSDSepo(a, b):
    count = op_count_NkfVXkFf4E(b)+op_count_66lcxNmSNf(a,a)+op_count_bJkvcejdHO(op_NkfVXkFf4E(b),op_66lcxNmSNf(a,a))
    return count


def op_PkCSip3cll(a):
    return op_4KnvnEaVgu(op_8CI59HBmeC(op_nEsXyWgiOK(a,a),op_yXekIHxTD4(a,a)),a)

def op_count_PkCSip3cll(a):
    count = op_count_nEsXyWgiOK(a,a)+op_count_yXekIHxTD4(a,a)+op_count_8CI59HBmeC(op_nEsXyWgiOK(a,a),op_yXekIHxTD4(a,a))+op_count_4KnvnEaVgu(op_8CI59HBmeC(op_nEsXyWgiOK(a,a),op_yXekIHxTD4(a,a)),a)
    return count


def op_Gx1PViaBL8(a):
    return op_7p6YLioM7f(op_hTbEZDJLEm(a))

def op_count_Gx1PViaBL8(a):
    count = op_count_hTbEZDJLEm(a)+op_count_7p6YLioM7f(op_hTbEZDJLEm(a))
    return count


a≂←⋕ = { (((a⋯⨮⊁a)*⫵⪉)≃⫏⫷(a⇨⇁(11⊈⨦a))) }

def op_zCFTiag01t(a):
    return op_CRQ1bbymjI(op_6Zjw4YHEYi(op_1vIQx1Qjvl(a,a)),op_0JEjmizNXg(a,op_NCK8ztm4vY(11,a)))

def op_count_zCFTiag01t(a):
    count = op_count_1vIQx1Qjvl(a,a)+op_count_6Zjw4YHEYi(op_1vIQx1Qjvl(a,a))+op_count_NCK8ztm4vY(11,a)+op_count_0JEjmizNXg(a,op_NCK8ztm4vY(11,a))+op_count_CRQ1bbymjI(op_6Zjw4YHEYi(op_1vIQx1Qjvl(a,a)),op_0JEjmizNXg(a,op_NCK8ztm4vY(11,a)))
    return count


def op_tlYc1JfIjr(a, b):
    return op_6UwzacJ3Gx(op_iXQfhhNwXF(a),op_xc52gjKyDD(b,a))

def op_count_tlYc1JfIjr(a, b):
    count = op_count_iXQfhhNwXF(a)+op_count_xc52gjKyDD(b,a)+op_count_6UwzacJ3Gx(op_iXQfhhNwXF(a),op_xc52gjKyDD(b,a))
    return count


a⩨⫌b = { a , if b<536 ; (((a≎⩅a)⪌≋(154⇉⩢⩯))⪭⋶⫝̸(a∈⫷⨾(a⪑b))) , else }

def op_6JXTNfwqzR(a, b):
    if b < 536:
        return a
    else:
        return op_poiSo6Xg3g(op_V2wPz6I6tV(op_ieqGirTMxl(a,a),op_ukGrET2Cg0(154)),op_97rocKiZDM(a,op_8CI59HBmeC(a,b)))

def op_count_6JXTNfwqzR(a, b):
    if b < 536:
        count = 1
    else:
        count = op_count_ieqGirTMxl(a,a)+op_count_ukGrET2Cg0(154)+op_count_V2wPz6I6tV(op_ieqGirTMxl(a,a),op_ukGrET2Cg0(154))+op_count_8CI59HBmeC(a,b)+op_count_97rocKiZDM(a,op_8CI59HBmeC(a,b))+op_count_poiSo6Xg3g(op_V2wPz6I6tV(op_ieqGirTMxl(a,a),op_ukGrET2Cg0(154)),op_97rocKiZDM(a,op_8CI59HBmeC(a,b)))
    return count


a∄⫦⊛b = { (((299↠⫝̸⫩a)⋠∦⩽)⊾⪯⋞((192⨾)⨱∎)) , if (a⇭)>=127 and (⊌a)>=116 ; (((b⨰⋧∫b)∽⫄(⊈⋂⪔b))⫞⩸⩒((b⇻a)↪⫸≞)) , else }

def op_NsFxRf80t5(a, b):
    if op_ZNJwppvr1J(a) >= 127 and op_Up1cwh7yZZ(a) >= 116:
        return op_HK0tfVPux8(op_XGAeROdoYZ(op_E331xP7I43(299,a)),op_MmTdOpaElr(op_sbYsij7Tm7(192)))
    else:
        return op_XGcMNugi78(op_RBKPHo7Qd9(op_GZNMAtHQ0A(b,b),op_tlyMzCI9Xq(b)),op_PC1SQNpQaf(op_vLzRcUDluw(b,a)))

def op_count_NsFxRf80t5(a, b):
    if op_ZNJwppvr1J(a) >= 127 and op_Up1cwh7yZZ(a) >= 116:
        count = op_count_E331xP7I43(299,a)+op_count_XGAeROdoYZ(op_E331xP7I43(299,a))+op_count_sbYsij7Tm7(192)+op_count_MmTdOpaElr(op_sbYsij7Tm7(192))+op_count_HK0tfVPux8(op_XGAeROdoYZ(op_E331xP7I43(299,a)),op_MmTdOpaElr(op_sbYsij7Tm7(192)))+op_count_ZNJwppvr1J(a)+op_count_Up1cwh7yZZ(a)
    else:
        count = op_count_GZNMAtHQ0A(b,b)+op_count_tlyMzCI9Xq(b)+op_count_RBKPHo7Qd9(op_GZNMAtHQ0A(b,b),op_tlyMzCI9Xq(b))+op_count_vLzRcUDluw(b,a)+op_count_PC1SQNpQaf(op_vLzRcUDluw(b,a))+op_count_XGcMNugi78(op_RBKPHo7Qd9(op_GZNMAtHQ0A(b,b),op_tlyMzCI9Xq(b)),op_PC1SQNpQaf(op_vLzRcUDluw(b,a)))
    return count


def op_fSM0JS9f3g(a, b):
    if (op_4yVIdyRSpi(a,243) == 356 and op_Gl4WN4Uwdx(b,773) <= 1 and op_bsbByZDrTG(a,878) != 70):
        return op_bJkvcejdHO(a,29)
    else:
        return op_UO7sojQx20(441,a)

def op_count_fSM0JS9f3g(a, b):
    if (op_4yVIdyRSpi(a,243) == 356 and op_Gl4WN4Uwdx(b,773) <= 1 and op_bsbByZDrTG(a,878) != 70):
        count = op_count_bJkvcejdHO(a,29)+op_count_4yVIdyRSpi(a,243)+op_count_Gl4WN4Uwdx(b,773)+op_count_bsbByZDrTG(a,878)
    else:
        count = op_count_UO7sojQx20(441,a)
    return count


a∘⩀ = { (⋎∷((a⪛a)⩉*(a⫑))) , if (a⨜⨣⫩)>28 ; (((315⫏∊∨a)≎)≩⫆((246⋾∩a)⩩∧⨆(∫⋧⋉a))) , else }

def op_hoQMa9qgsI(a):
    if op_lA8wl84gsz(a) > 28:
        return op_L5r9akbnFw(op_e9vVQXp6da(op_uFcxV4UQCh(a,a),op_CgIo77xlM2(a)))
    else:
        return op_8Im2A1wcJk(op_ziBb4sC0ZT(op_xgB3tWPdtm(315,a)),op_tzokWjBnUu(op_2KNBRhPqiH(246,a),op_QTTXQbcWNU(a)))

def op_count_hoQMa9qgsI(a):
    if op_lA8wl84gsz(a) > 28:
        count = op_count_uFcxV4UQCh(a,a)+op_count_CgIo77xlM2(a)+op_count_e9vVQXp6da(op_uFcxV4UQCh(a,a),op_CgIo77xlM2(a))+op_count_L5r9akbnFw(op_e9vVQXp6da(op_uFcxV4UQCh(a,a),op_CgIo77xlM2(a)))+op_count_lA8wl84gsz(a)
    else:
        count = op_count_xgB3tWPdtm(315,a)+op_count_ziBb4sC0ZT(op_xgB3tWPdtm(315,a))+op_count_2KNBRhPqiH(246,a)+op_count_QTTXQbcWNU(a)+op_count_tzokWjBnUu(op_2KNBRhPqiH(246,a),op_QTTXQbcWNU(a))+op_count_8Im2A1wcJk(op_ziBb4sC0ZT(op_xgB3tWPdtm(315,a)),op_tzokWjBnUu(op_2KNBRhPqiH(246,a),op_QTTXQbcWNU(a)))
    return count


a∧⊅b = { (((a⨤⫳≈a)⪋⪉(6⩆a))∣∻⫱(↓⪌⩇(b⩁))) , if (b↖⇒310)==276 and (a⪧⊞↡800)<176 and (b⪂⩍↥236)!=7 ; ((⪰⇛⪭(⋙⨈a))⩑((b⩱⪭⇶)⊗⊌(⊶b))) , else }

def op_UCvcCjwfVd(a, b):
    if op_2Yy7IiVHWW(b,310) == 276 and op_ZBnQveJz4n(a,800) < 176 and op_S3pNg7gwuQ(b,236) != 7:
        return op_7ZiIqrHWXK(op_SWbPh9106B(op_qIDt5vVHD5(a,a),op_QmMs3tyaZP(6,a)),op_4h8vc4SGqo(op_5GqDbVmqXU(b)))
    else:
        return op_jbrVa8FwMb(op_FAU4UUhKNM(op_s0xSQ81QCO(a)),op_aF6wdyjNOF(op_4PRWQFqlah(b),op_iLDmr1kYEU(b)))

def op_count_UCvcCjwfVd(a, b):
    if op_2Yy7IiVHWW(b,310) == 276 and op_ZBnQveJz4n(a,800) < 176 and op_S3pNg7gwuQ(b,236) != 7:
        count = op_count_qIDt5vVHD5(a,a)+op_count_QmMs3tyaZP(6,a)+op_count_SWbPh9106B(op_qIDt5vVHD5(a,a),op_QmMs3tyaZP(6,a))+op_count_5GqDbVmqXU(b)+op_count_4h8vc4SGqo(op_5GqDbVmqXU(b))+op_count_7ZiIqrHWXK(op_SWbPh9106B(op_qIDt5vVHD5(a,a),op_QmMs3tyaZP(6,a)),op_4h8vc4SGqo(op_5GqDbVmqXU(b)))+op_count_2Yy7IiVHWW(b,310)+op_count_ZBnQveJz4n(a,800)+op_count_S3pNg7gwuQ(b,236)
    else:
        count = op_count_s0xSQ81QCO(a)+op_count_FAU4UUhKNM(op_s0xSQ81QCO(a))+op_count_4PRWQFqlah(b)+op_count_iLDmr1kYEU(b)+op_count_aF6wdyjNOF(op_4PRWQFqlah(b),op_iLDmr1kYEU(b))+op_count_jbrVa8FwMb(op_FAU4UUhKNM(op_s0xSQ81QCO(a)),op_aF6wdyjNOF(op_4PRWQFqlah(b),op_iLDmr1kYEU(b)))
    return count


a≼⩯≗b = { (((192⊝⪶a)≦↸(a⩕))↭⋂(a∆⨵⋿)) , if (⪘⋹⊆b)<19 ; (((a≢⨮⊬b)↳(a⇽⨅a))∗⫦⨲(↳≽(b⩙∯⨿a))) , else }

def op_vs93s42C9I(a, b):
    if op_rYuH8NSTjl(b) < 19:
        return op_Acnz1HI8Ry(op_RygbFNSyEJ(op_Xbtyq2jN9O(192,a),op_ztbpxZ3MBw(a)),op_7CBskBkoKY(a))
    else:
        return op_4zhs1Pu9yK(op_K1uHWJv1IW(op_bZVfxpBV3i(a,b),op_PyySExtkRS(a,a)),op_2RiCcpYWz7(op_lPY5QE4vSP(b,a)))

def op_count_vs93s42C9I(a, b):
    if op_rYuH8NSTjl(b) < 19:
        count = op_count_Xbtyq2jN9O(192,a)+op_count_ztbpxZ3MBw(a)+op_count_RygbFNSyEJ(op_Xbtyq2jN9O(192,a),op_ztbpxZ3MBw(a))+op_count_7CBskBkoKY(a)+op_count_Acnz1HI8Ry(op_RygbFNSyEJ(op_Xbtyq2jN9O(192,a),op_ztbpxZ3MBw(a)),op_7CBskBkoKY(a))+op_count_rYuH8NSTjl(b)
    else:
        count = op_count_bZVfxpBV3i(a,b)+op_count_PyySExtkRS(a,a)+op_count_K1uHWJv1IW(op_bZVfxpBV3i(a,b),op_PyySExtkRS(a,a))+op_count_lPY5QE4vSP(b,a)+op_count_2RiCcpYWz7(op_lPY5QE4vSP(b,a))+op_count_4zhs1Pu9yK(op_K1uHWJv1IW(op_bZVfxpBV3i(a,b),op_PyySExtkRS(a,a)),op_2RiCcpYWz7(op_lPY5QE4vSP(b,a)))
    return count


a⩍≏b = { (a⫣⪄⊒309) , if (b⨈⋀)<=41 ; (a∕b) , else }

def op_JabAtFSQmd(a, b):
    if op_wzBiNQHWU1(b) <= 41:
        return op_RabNbG55vr(a,309)
    else:
        return op_QeR9EosLiZ(a,b)

def op_count_JabAtFSQmd(a, b):
    if op_wzBiNQHWU1(b) <= 41:
        count = op_count_RabNbG55vr(a,309)+op_count_wzBiNQHWU1(b)
    else:
        count = op_count_QeR9EosLiZ(a,b)
    return count


a∳⋮∼ = { (((a⫲⨊)⨳(a⨔⫢⋨28))⫶⪥↳(∂⇢(⩴a))) }

def op_MrEPCwYihE(a):
    return op_ymOBY7rw1m(op_YaB1w09lmH(op_CArV6hThFE(a),op_KgrVg2WY9S(a,28)),op_xmM771S5Pe(op_4YvEnb44Dc(a)))

def op_count_MrEPCwYihE(a):
    count = op_count_CArV6hThFE(a)+op_count_KgrVg2WY9S(a,28)+op_count_YaB1w09lmH(op_CArV6hThFE(a),op_KgrVg2WY9S(a,28))+op_count_4YvEnb44Dc(a)+op_count_xmM771S5Pe(op_4YvEnb44Dc(a))+op_count_ymOBY7rw1m(op_YaB1w09lmH(op_CArV6hThFE(a),op_KgrVg2WY9S(a,28)),op_xmM771S5Pe(op_4YvEnb44Dc(a)))
    return count


def op_CCipZfT0qU(a):
    return op_FJ3oXK3UQ0(a,a)

def op_count_CCipZfT0qU(a):
    count = op_count_FJ3oXK3UQ0(a,a)
    return count


def op_5D5dy9txYm(a):
    return op_JL8yIekQnl(op_mRABlwQNwR(68,a))

def op_count_5D5dy9txYm(a):
    count = op_count_mRABlwQNwR(68,a)+op_count_JL8yIekQnl(op_mRABlwQNwR(68,a))
    return count


def op_1t04p5JAHS(a):
    return op_H0fWaTn7v4(op_cu7YvshKwT(a,a),op_87d232jbQB(a))

def op_count_1t04p5JAHS(a):
    count = op_count_cu7YvshKwT(a,a)+op_count_87d232jbQB(a)+op_count_H0fWaTn7v4(op_cu7YvshKwT(a,a),op_87d232jbQB(a))
    return count


def op_uqXAVwhw3J(a, b):
    return op_keuJNkrrbj(op_DpPZRr4xWX(op_YdvuPOw6Zp(b,a),a),op_NnTbxo2Idi(op_qLNS38JfQg(a,a)))

def op_count_uqXAVwhw3J(a, b):
    count = op_count_YdvuPOw6Zp(b,a)+op_count_DpPZRr4xWX(op_YdvuPOw6Zp(b,a),a)+op_count_qLNS38JfQg(a,a)+op_count_NnTbxo2Idi(op_qLNS38JfQg(a,a))+op_count_keuJNkrrbj(op_DpPZRr4xWX(op_YdvuPOw6Zp(b,a),a),op_NnTbxo2Idi(op_qLNS38JfQg(a,a)))
    return count


def op_8y8rJWs608(a):
    return op_dyzj7yJeTe(op_JJqjdL2EOb(op_LcLDYWYtOH(752),op_iPL6cQVrhP(a,30)))

def op_count_8y8rJWs608(a):
    count = op_count_LcLDYWYtOH(752)+op_count_iPL6cQVrhP(a,30)+op_count_JJqjdL2EOb(op_LcLDYWYtOH(752),op_iPL6cQVrhP(a,30))+op_count_dyzj7yJeTe(op_JJqjdL2EOb(op_LcLDYWYtOH(752),op_iPL6cQVrhP(a,30)))
    return count


a∮∓∵b = { (((b∌a)⪲⪛⊘b)⩠↼⫋(↴⪽⋼(b≍⇠∡b))) }

def op_esdkHLTfky(a, b):
    return op_8m1wXWE6kN(op_2igqgnYHzU(op_8cLx32lpNA(b,a),b),op_5TUYCnJO6w(op_4XUogC2HX8(b,b)))

def op_count_esdkHLTfky(a, b):
    count = op_count_8cLx32lpNA(b,a)+op_count_2igqgnYHzU(op_8cLx32lpNA(b,a),b)+op_count_4XUogC2HX8(b,b)+op_count_5TUYCnJO6w(op_4XUogC2HX8(b,b))+op_count_8m1wXWE6kN(op_2igqgnYHzU(op_8cLx32lpNA(b,a),b),op_5TUYCnJO6w(op_4XUogC2HX8(b,b)))
    return count


def op_cZUrwWksx5(a):
    return op_MtrOKNcKln(op_gAFkdPcyl3(a),op_hmRjlYdCYn(op_rfCxBsGcPd(a,a),op_i8VfeBP6dW(175)))

def op_count_cZUrwWksx5(a):
    count = op_count_gAFkdPcyl3(a)+op_count_rfCxBsGcPd(a,a)+op_count_i8VfeBP6dW(175)+op_count_hmRjlYdCYn(op_rfCxBsGcPd(a,a),op_i8VfeBP6dW(175))+op_count_MtrOKNcKln(op_gAFkdPcyl3(a),op_hmRjlYdCYn(op_rfCxBsGcPd(a,a),op_i8VfeBP6dW(175)))
    return count


a⪎⊑b = { (((a⫽⫾⨙a)∫⨥⋊(⫵↿b))⨑⋨(a⨃⪡⫖(b≽↲≰a))) }

def op_DNprlI7j0r(a, b):
    return op_tIhPxZTbsh(op_3iurnvestf(op_V721JHuZWD(a,a),op_ivGwdmUAux(b)),op_Ow7SWM2pqT(a,op_cFVlceoRkX(b,a)))

def op_count_DNprlI7j0r(a, b):
    count = op_count_V721JHuZWD(a,a)+op_count_ivGwdmUAux(b)+op_count_3iurnvestf(op_V721JHuZWD(a,a),op_ivGwdmUAux(b))+op_count_cFVlceoRkX(b,a)+op_count_Ow7SWM2pqT(a,op_cFVlceoRkX(b,a))+op_count_tIhPxZTbsh(op_3iurnvestf(op_V721JHuZWD(a,a),op_ivGwdmUAux(b)),op_Ow7SWM2pqT(a,op_cFVlceoRkX(b,a)))
    return count


↘⊺a = { (((600∫⇦)⫱≫⪥(a∺↝↿a))∅⨓⊺(a⫵⪣(56≒∊a))) }

def op_2jLCd0MID3(a):
    return op_Y6eJsjawIR(op_J65EmZhDzK(op_o6W9Kxz77X(600),op_nz5y26sRSo(a,a)),op_I6rCAT91Kg(a,op_5KTvxBwnZo(56,a)))

def op_count_2jLCd0MID3(a):
    count = op_count_o6W9Kxz77X(600)+op_count_nz5y26sRSo(a,a)+op_count_J65EmZhDzK(op_o6W9Kxz77X(600),op_nz5y26sRSo(a,a))+op_count_5KTvxBwnZo(56,a)+op_count_I6rCAT91Kg(a,op_5KTvxBwnZo(56,a))+op_count_Y6eJsjawIR(op_J65EmZhDzK(op_o6W9Kxz77X(600),op_nz5y26sRSo(a,a)),op_I6rCAT91Kg(a,op_5KTvxBwnZo(56,a)))
    return count


def op_li6r5MptpW(a):
    return op_KFvx0uYMJh(op_JhaTKDJgG8(op_R853JquVHs(a,197),op_cWQsF5MvuD(111)))

def op_count_li6r5MptpW(a):
    count = op_count_R853JquVHs(a,197)+op_count_cWQsF5MvuD(111)+op_count_JhaTKDJgG8(op_R853JquVHs(a,197),op_cWQsF5MvuD(111))+op_count_KFvx0uYMJh(op_JhaTKDJgG8(op_R853JquVHs(a,197),op_cWQsF5MvuD(111)))
    return count


↢≋↵a = { (((25≃⋄)⨨⪣⩋(a⨶∙a))≴⪞⇿((182⩊⨖)⫦⪉(a↙a))) }

def op_FQm9LssSr7(a):
    return op_lvlrscuwVU(op_tmNq1QR2aX(op_aN9a90urxU(25),op_B4yDMOFpHS(a,a)),op_wscyQdcy20(op_VNFuwohCu5(182),op_yyfyN0ffXY(a,a)))

def op_count_FQm9LssSr7(a):
    count = op_count_aN9a90urxU(25)+op_count_B4yDMOFpHS(a,a)+op_count_tmNq1QR2aX(op_aN9a90urxU(25),op_B4yDMOFpHS(a,a))+op_count_VNFuwohCu5(182)+op_count_yyfyN0ffXY(a,a)+op_count_wscyQdcy20(op_VNFuwohCu5(182),op_yyfyN0ffXY(a,a))+op_count_lvlrscuwVU(op_tmNq1QR2aX(op_aN9a90urxU(25),op_B4yDMOFpHS(a,a)),op_wscyQdcy20(op_VNFuwohCu5(182),op_yyfyN0ffXY(a,a)))
    return count


a⇞⋌b = { ((⨒≙(b↩∔⇶a))∱⨖((257⪠⇑≑a)⋟⫀⨗(a⨘⇗⫦))) }

def op_7ocSnRyrRL(a, b):
    return op_owCSkFYFye(op_pP7lLi2J0E(op_ZM199RjHSm(b,a)),op_dAAkup5nzi(op_9WIAdFgsXU(257,a),op_wJXJNSoS23(a)))

def op_count_7ocSnRyrRL(a, b):
    count = op_count_ZM199RjHSm(b,a)+op_count_pP7lLi2J0E(op_ZM199RjHSm(b,a))+op_count_9WIAdFgsXU(257,a)+op_count_wJXJNSoS23(a)+op_count_dAAkup5nzi(op_9WIAdFgsXU(257,a),op_wJXJNSoS23(a))+op_count_owCSkFYFye(op_pP7lLi2J0E(op_ZM199RjHSm(b,a)),op_dAAkup5nzi(op_9WIAdFgsXU(257,a),op_wJXJNSoS23(a)))
    return count


a⨘⨲ = { ((⇧∀(a⪟⇇a))↦⩻⊓((≓⩔a)⨓↚(154↟⋡⊃a))) }

def op_yA5FHYI7SS(a):
    return op_kf2MGdd7i0(op_eEHzvCyXuO(op_n4a7NEQ25Y(a,a)),op_YLJhMbTGGW(op_qNiKvbJcWr(a),op_hWheh3WaNG(154,a)))

def op_count_yA5FHYI7SS(a):
    count = op_count_n4a7NEQ25Y(a,a)+op_count_eEHzvCyXuO(op_n4a7NEQ25Y(a,a))+op_count_qNiKvbJcWr(a)+op_count_hWheh3WaNG(154,a)+op_count_YLJhMbTGGW(op_qNiKvbJcWr(a),op_hWheh3WaNG(154,a))+op_count_kf2MGdd7i0(op_eEHzvCyXuO(op_n4a7NEQ25Y(a,a)),op_YLJhMbTGGW(op_qNiKvbJcWr(a),op_hWheh3WaNG(154,a)))
    return count


a⇜≻⪝ = { (((a⨆a)⋪⪈(a⋋⫠⫥))⊳⊾⊬((⊰a)↦⩻⊓(a⨟⋡⇮a))) }

def op_rjX0OQUqfL(a):
    return op_UNJVspG3Sj(op_VIItbDWeFv(op_v5jqR0uimB(a,a),op_NTLdrygXQH(a)),op_kf2MGdd7i0(op_1xITj0Yuqn(a),op_vdIy956WRd(a,a)))

def op_count_rjX0OQUqfL(a):
    count = op_count_v5jqR0uimB(a,a)+op_count_NTLdrygXQH(a)+op_count_VIItbDWeFv(op_v5jqR0uimB(a,a),op_NTLdrygXQH(a))+op_count_1xITj0Yuqn(a)+op_count_vdIy956WRd(a,a)+op_count_kf2MGdd7i0(op_1xITj0Yuqn(a),op_vdIy956WRd(a,a))+op_count_UNJVspG3Sj(op_VIItbDWeFv(op_v5jqR0uimB(a,a),op_NTLdrygXQH(a)),op_kf2MGdd7i0(op_1xITj0Yuqn(a),op_vdIy956WRd(a,a)))
    return count


def op_3P2DnCoKgv(a):
    return op_VxEd4nGCaq(op_OG4QiCaPPM(a),op_BLLGLRFJVt(a))

def op_count_3P2DnCoKgv(a):
    count = op_count_OG4QiCaPPM(a)+op_count_BLLGLRFJVt(a)+op_count_VxEd4nGCaq(op_OG4QiCaPPM(a),op_BLLGLRFJVt(a))
    return count


def op_m4Z7KKSLAa(a, b):
    return op_YdxZk85PfS(op_oDCm7WA9JY(638,a),op_9Z0HYftGYc(b,a))

def op_count_m4Z7KKSLAa(a, b):
    count = op_count_oDCm7WA9JY(638,a)+op_count_9Z0HYftGYc(b,a)+op_count_YdxZk85PfS(op_oDCm7WA9JY(638,a),op_9Z0HYftGYc(b,a))
    return count


def op_ESxtuJwB1M(a):
    return op_Qglmzouulk(op_R853JquVHs(a,a),a)

def op_count_ESxtuJwB1M(a):
    count = op_count_R853JquVHs(a,a)+op_count_Qglmzouulk(op_R853JquVHs(a,a),a)
    return count


def op_MPxAnflKEh(a):
    return op_Nsiff2A1zJ(op_I7EtXjyZpr(a),op_4XKlyKzzXk(436,643))

def op_count_MPxAnflKEh(a):
    count = op_count_I7EtXjyZpr(a)+op_count_4XKlyKzzXk(436,643)+op_count_Nsiff2A1zJ(op_I7EtXjyZpr(a),op_4XKlyKzzXk(436,643))
    return count


a∤⫛b = { (((a⫩)⪌≁⫾(↩⪖b))⨬↞((≅⋟⩖172)≏⩑(a⫯⊮⩀))) }

def op_H9ZsXXSqEp(a, b):
    return op_Gdaqu1gMph(op_BpbpqQnb2W(op_6aG7x05OhS(a),op_fG6uBQFnGz(b)),op_LMA9dqLka3(op_h1TzpREX0q(172),op_kn2iEQ6jaA(a)))

def op_count_H9ZsXXSqEp(a, b):
    count = op_count_6aG7x05OhS(a)+op_count_fG6uBQFnGz(b)+op_count_BpbpqQnb2W(op_6aG7x05OhS(a),op_fG6uBQFnGz(b))+op_count_h1TzpREX0q(172)+op_count_kn2iEQ6jaA(a)+op_count_LMA9dqLka3(op_h1TzpREX0q(172),op_kn2iEQ6jaA(a))+op_count_Gdaqu1gMph(op_BpbpqQnb2W(op_6aG7x05OhS(a),op_fG6uBQFnGz(b)),op_LMA9dqLka3(op_h1TzpREX0q(172),op_kn2iEQ6jaA(a)))
    return count


def op_51i4sNrUmI(a):
    return op_w6PsAE54Jo(op_7JbuLsbBtx(op_iQT509CoFi(a,a),op_3tB9xiuknT(a,420)),op_LcLDYWYtOH(op_s1XTVnmDOJ(a,431)))

def op_count_51i4sNrUmI(a):
    count = op_count_iQT509CoFi(a,a)+op_count_3tB9xiuknT(a,420)+op_count_7JbuLsbBtx(op_iQT509CoFi(a,a),op_3tB9xiuknT(a,420))+op_count_s1XTVnmDOJ(a,431)+op_count_LcLDYWYtOH(op_s1XTVnmDOJ(a,431))+op_count_w6PsAE54Jo(op_7JbuLsbBtx(op_iQT509CoFi(a,a),op_3tB9xiuknT(a,420)),op_LcLDYWYtOH(op_s1XTVnmDOJ(a,431)))
    return count


a⇰∅⪸b = { (((50⇪a)≂⋸(b⇋⊴⊜a))↳∿⪆((169∇⪺⋎b)⫱∓(a⪇⇪⫳a))) }

def op_CHJiRuIoqb(a, b):
    return op_Cw4SuJJGHO(op_S4cBJ5Nnzu(op_hfpBUD6oBE(50,a),op_1NEUe3Qa2W(b,a)),op_i4KxFVfYQG(op_9evlFqtL7b(169,b),op_zLfG7Ay1vB(a,a)))

def op_count_CHJiRuIoqb(a, b):
    count = op_count_hfpBUD6oBE(50,a)+op_count_1NEUe3Qa2W(b,a)+op_count_S4cBJ5Nnzu(op_hfpBUD6oBE(50,a),op_1NEUe3Qa2W(b,a))+op_count_9evlFqtL7b(169,b)+op_count_zLfG7Ay1vB(a,a)+op_count_i4KxFVfYQG(op_9evlFqtL7b(169,b),op_zLfG7Ay1vB(a,a))+op_count_Cw4SuJJGHO(op_S4cBJ5Nnzu(op_hfpBUD6oBE(50,a),op_1NEUe3Qa2W(b,a)),op_i4KxFVfYQG(op_9evlFqtL7b(169,b),op_zLfG7Ay1vB(a,a)))
    return count


def op_dTqUgDPeVJ(a):
    return op_JAobebJkKA(a,op_Y6eJsjawIR(7,a))

def op_count_dTqUgDPeVJ(a):
    count = op_count_Y6eJsjawIR(7,a)+op_count_JAobebJkKA(a,op_Y6eJsjawIR(7,a))
    return count


def op_AqOJp2vyCx(a, b):
    return op_InRsNkjnGi(op_wHIWe8QR1k(b,b),op_xrPaovwfcW(a))

def op_count_AqOJp2vyCx(a, b):
    count = op_count_wHIWe8QR1k(b,b)+op_count_xrPaovwfcW(a)+op_count_InRsNkjnGi(op_wHIWe8QR1k(b,b),op_xrPaovwfcW(a))
    return count


a⋴∌ = { (((⋦↙⩸a)⫾(a⇡⨐⪆12))⩏≛↟((475∇a)⫭⊯⇵a)) }

def op_q1bIMyFS0C(a):
    return op_Tk0QX8wo8A(op_7JbuLsbBtx(op_P78JJ8jX64(a),op_snJ4WsMDae(a,12)),op_b1N51d35SA(op_fICjaz8Yf3(475,a),a))

def op_count_q1bIMyFS0C(a):
    count = op_count_P78JJ8jX64(a)+op_count_snJ4WsMDae(a,12)+op_count_7JbuLsbBtx(op_P78JJ8jX64(a),op_snJ4WsMDae(a,12))+op_count_fICjaz8Yf3(475,a)+op_count_b1N51d35SA(op_fICjaz8Yf3(475,a),a)+op_count_Tk0QX8wo8A(op_7JbuLsbBtx(op_P78JJ8jX64(a),op_snJ4WsMDae(a,12)),op_b1N51d35SA(op_fICjaz8Yf3(475,a),a))
    return count


def op_Xa6P1v5FC3(a):
    return op_fLJG5zVr1z(op_84MCv7ly20(a,a),a)

def op_count_Xa6P1v5FC3(a):
    count = op_count_84MCv7ly20(a,a)+op_count_fLJG5zVr1z(op_84MCv7ly20(a,a),a)
    return count


a⨘⩜⇪ = { (((⇸⨐⪙a)⩈⪻(a⫉⊍≷227))⩁≑⩠((a⨾)%↟(a⫲⇺a))) }

def op_w1y23zWct6(a):
    return op_J6uwgn6DsM(op_Yan4YobxxY(op_UhM7GxoAxS(a),op_KCQC7vSPgj(a,227)),op_IBFb0eQO1Y(op_sbYsij7Tm7(a),op_BbBz0MWWQr(a,a)))

def op_count_w1y23zWct6(a):
    count = op_count_UhM7GxoAxS(a)+op_count_KCQC7vSPgj(a,227)+op_count_Yan4YobxxY(op_UhM7GxoAxS(a),op_KCQC7vSPgj(a,227))+op_count_sbYsij7Tm7(a)+op_count_BbBz0MWWQr(a,a)+op_count_IBFb0eQO1Y(op_sbYsij7Tm7(a),op_BbBz0MWWQr(a,a))+op_count_J6uwgn6DsM(op_Yan4YobxxY(op_UhM7GxoAxS(a),op_KCQC7vSPgj(a,227)),op_IBFb0eQO1Y(op_sbYsij7Tm7(a),op_BbBz0MWWQr(a,a)))
    return count


def op_zUna0NTtM8(a):
    return op_LBdsKIvxzf(op_F01RQqOmfO(a,175))

def op_count_zUna0NTtM8(a):
    count = op_count_F01RQqOmfO(a,175)+op_count_LBdsKIvxzf(op_F01RQqOmfO(a,175))
    return count


def op_r8274jWA1n(a, b):
    return op_TlYxY93Pfd(b,op_dWAJyo7jo9(a,b))

def op_count_r8274jWA1n(a, b):
    count = op_count_dWAJyo7jo9(a,b)+op_count_TlYxY93Pfd(b,op_dWAJyo7jo9(a,b))
    return count


a≈⫽ = { ((⨣⨃⇪(274⫙⪯a))≛⨶⨗((a⫣↠⇨a)⪴⩪(a⋆⋬a))) }

def op_3Ex3P2hGFc(a):
    return op_wWzzlX9aK4(op_AcOhelriW5(op_RlyZ5BtrCK(274,a)),op_w01WD5VhBf(op_AmVValKoYk(a,a),op_7YiCYgpUY4(a,a)))

def op_count_3Ex3P2hGFc(a):
    count = op_count_RlyZ5BtrCK(274,a)+op_count_AcOhelriW5(op_RlyZ5BtrCK(274,a))+op_count_AmVValKoYk(a,a)+op_count_7YiCYgpUY4(a,a)+op_count_w01WD5VhBf(op_AmVValKoYk(a,a),op_7YiCYgpUY4(a,a))+op_count_wWzzlX9aK4(op_AcOhelriW5(op_RlyZ5BtrCK(274,a)),op_w01WD5VhBf(op_AmVValKoYk(a,a),op_7YiCYgpUY4(a,a)))
    return count


def op_tBQvJLGbXQ(a):
    return op_FU0Cs4j7VP(op_z1V7RAAwQB(a,29))

def op_count_tBQvJLGbXQ(a):
    count = op_count_z1V7RAAwQB(a,29)+op_count_FU0Cs4j7VP(op_z1V7RAAwQB(a,29))
    return count


def op_E447e7RjYZ(a):
    return op_4fBBH5YYk9(a,a)

def op_count_E447e7RjYZ(a):
    count = op_count_4fBBH5YYk9(a,a)
    return count


def op_BGQg7FeBpM(a, b):
    return op_D617RFjZIq(op_15v7IodGk2(a,b))

def op_count_BGQg7FeBpM(a, b):
    count = op_count_15v7IodGk2(a,b)+op_count_D617RFjZIq(op_15v7IodGk2(a,b))
    return count


def op_6RfwPzxzfk(a):
    return op_u0R0Locfp2(op_LDYsZkKpXC(a,op_p97BeOkDlu(a,a)))

def op_count_6RfwPzxzfk(a):
    count = op_count_p97BeOkDlu(a,a)+op_count_LDYsZkKpXC(a,op_p97BeOkDlu(a,a))+op_count_u0R0Locfp2(op_LDYsZkKpXC(a,op_p97BeOkDlu(a,a)))
    return count


def op_H39jahAos3(a, b):
    return op_KKYcEEj1Nw(op_FSSPwwucrF(a,b),op_Bdqd193sIk(a))

def op_count_H39jahAos3(a, b):
    count = op_count_FSSPwwucrF(a,b)+op_count_Bdqd193sIk(a)+op_count_KKYcEEj1Nw(op_FSSPwwucrF(a,b),op_Bdqd193sIk(a))
    return count


def op_xknSNUqjSS(a):
    return op_tIVorTW24W(op_3RepPf7rcT(a,a),op_aibkDESqBN(a))

def op_count_xknSNUqjSS(a):
    count = op_count_3RepPf7rcT(a,a)+op_count_aibkDESqBN(a)+op_count_tIVorTW24W(op_3RepPf7rcT(a,a),op_aibkDESqBN(a))
    return count


⪞⊪⊹a = { ((⊒↧⫰(158≂∢a))⇏⊫∳((a⫁∆⨗a)∗(a∹≮∧))) }

def op_pHu44lZ3Lf(a):
    return op_1TeaI018f5(op_matowZxHVj(op_0UZhvIxcOb(158,a)),op_9aXLFNf8dt(op_JAobebJkKA(a,a),op_G9cdshBe1e(a)))

def op_count_pHu44lZ3Lf(a):
    count = op_count_0UZhvIxcOb(158,a)+op_count_matowZxHVj(op_0UZhvIxcOb(158,a))+op_count_JAobebJkKA(a,a)+op_count_G9cdshBe1e(a)+op_count_9aXLFNf8dt(op_JAobebJkKA(a,a),op_G9cdshBe1e(a))+op_count_1TeaI018f5(op_matowZxHVj(op_0UZhvIxcOb(158,a)),op_9aXLFNf8dt(op_JAobebJkKA(a,a),op_G9cdshBe1e(a)))
    return count


def op_JhjFNQHZN6(a):
    return op_XmtODG4Sr9(a,a)

def op_count_JhjFNQHZN6(a):
    count = op_count_XmtODG4Sr9(a,a)
    return count


def op_OBprRxo8oX(a, b):
    return op_AXnUrY2GHj(op_GjBEYRfMaF(b,a))

def op_count_OBprRxo8oX(a, b):
    count = op_count_GjBEYRfMaF(b,a)+op_count_AXnUrY2GHj(op_GjBEYRfMaF(b,a))
    return count


def op_XHiEIDRUBl(a, b):
    return op_3njL6DR0ZL(op_P3lXMJvFrc(a,b))

def op_count_XHiEIDRUBl(a, b):
    count = op_count_P3lXMJvFrc(a,b)+op_count_3njL6DR0ZL(op_P3lXMJvFrc(a,b))
    return count


def op_DgLOgNp8MN(a):
    return op_Mqg6Kpcx5i(a,a)

def op_count_DgLOgNp8MN(a):
    count = op_count_Mqg6Kpcx5i(a,a)
    return count


a∋⇵b = { ((⪺⊴⫡(a⪧⨲b))⋦↿⇨((≃≿⩷a)≆∬←(b⨤b))) }

def op_BDB2DfzOhS(a, b):
    return op_WrOUkiTiko(op_UBVjgJrFBH(op_ViqgXgeRy8(a,b)),op_D9t95ZU4xk(op_dq7nuksIu3(a),op_6Dk38mmJ69(b,b)))

def op_count_BDB2DfzOhS(a, b):
    count = op_count_ViqgXgeRy8(a,b)+op_count_UBVjgJrFBH(op_ViqgXgeRy8(a,b))+op_count_dq7nuksIu3(a)+op_count_6Dk38mmJ69(b,b)+op_count_D9t95ZU4xk(op_dq7nuksIu3(a),op_6Dk38mmJ69(b,b))+op_count_WrOUkiTiko(op_UBVjgJrFBH(op_ViqgXgeRy8(a,b)),op_D9t95ZU4xk(op_dq7nuksIu3(a),op_6Dk38mmJ69(b,b)))
    return count


def op_MCrFb6r1k8(a):
    return op_OHdKWLbo3y(op_meIKchaImn(a,a),op_SLLxy00UIr(a))

def op_count_MCrFb6r1k8(a):
    count = op_count_meIKchaImn(a,a)+op_count_SLLxy00UIr(a)+op_count_OHdKWLbo3y(op_meIKchaImn(a,a),op_SLLxy00UIr(a))
    return count


def op_nYS8mdG5wq(a):
    return op_LXu4eIoRGd(286,a)

def op_count_nYS8mdG5wq(a):
    count = op_count_LXu4eIoRGd(286,a)
    return count


def op_Bi2MWj41Oq(a, b):
    return op_DhbWaqg5eL(op_2hIaDBSv9V(b,a))

def op_count_Bi2MWj41Oq(a, b):
    count = op_count_2hIaDBSv9V(b,a)+op_count_DhbWaqg5eL(op_2hIaDBSv9V(b,a))
    return count


def op_HEx3YJxP2E(a):
    return op_qYpz2WEVq4(op_UhM7GxoAxS(a),op_TbULwM3gdg(4,102))

def op_count_HEx3YJxP2E(a):
    count = op_count_UhM7GxoAxS(a)+op_count_TbULwM3gdg(4,102)+op_count_qYpz2WEVq4(op_UhM7GxoAxS(a),op_TbULwM3gdg(4,102))
    return count


def op_TyJ0ll0qnE(a):
    return op_zPaW4OAyCC(op_1ceZExPqB0(a,a),a)

def op_count_TyJ0ll0qnE(a):
    count = op_count_1ceZExPqB0(a,a)+op_count_zPaW4OAyCC(op_1ceZExPqB0(a,a),a)
    return count


def op_XujGD8fCPI(a):
    return op_wObHbfC1Ju(op_LBdsKIvxzf(op_jvKnzH5Wrf(a,a)))

def op_count_XujGD8fCPI(a):
    count = op_count_jvKnzH5Wrf(a,a)+op_count_LBdsKIvxzf(op_jvKnzH5Wrf(a,a))+op_count_wObHbfC1Ju(op_LBdsKIvxzf(op_jvKnzH5Wrf(a,a)))
    return count


↻⩈∈a = { ((a∝∎(a⋾⩩))⫔⇒((a⨋≰a)⪮⪭(39∿∖a))) }

def op_Rs7tkwGXpi(a):
    return op_xolZLAALD1(op_qLiEs2rVxT(a,op_B78gU6xB9K(a)),op_umcb8ZB9wY(op_uw1KoZSwz0(a,a),op_j9qIIAB78T(39,a)))

def op_count_Rs7tkwGXpi(a):
    count = op_count_B78gU6xB9K(a)+op_count_qLiEs2rVxT(a,op_B78gU6xB9K(a))+op_count_uw1KoZSwz0(a,a)+op_count_j9qIIAB78T(39,a)+op_count_umcb8ZB9wY(op_uw1KoZSwz0(a,a),op_j9qIIAB78T(39,a))+op_count_xolZLAALD1(op_qLiEs2rVxT(a,op_B78gU6xB9K(a)),op_umcb8ZB9wY(op_uw1KoZSwz0(a,a),op_j9qIIAB78T(39,a)))
    return count


def op_8XkzSOMcld(a):
    return op_aibkDESqBN(op_iGBilXZWAT(a))

def op_count_8XkzSOMcld(a):
    count = op_count_iGBilXZWAT(a)+op_count_aibkDESqBN(op_iGBilXZWAT(a))
    return count


def op_yq1ejzOzcL(a, b):
    return op_ncHt1X6cMc(op_xOvNxfD5CB(b,a),op_9Q5hJbNi17(386,b))

def op_count_yq1ejzOzcL(a, b):
    count = op_count_xOvNxfD5CB(b,a)+op_count_9Q5hJbNi17(386,b)+op_count_ncHt1X6cMc(op_xOvNxfD5CB(b,a),op_9Q5hJbNi17(386,b))
    return count


def op_Dqjgu3tjia(a, b):
    return op_uPjn7n5pli(op_vqGKxYkFQP(op_YdvuPOw6Zp(a,a)),op_Nsiff2A1zJ(op_xc52gjKyDD(15,b),op_vg4gO5BX6G(b,294)))

def op_count_Dqjgu3tjia(a, b):
    count = op_count_YdvuPOw6Zp(a,a)+op_count_vqGKxYkFQP(op_YdvuPOw6Zp(a,a))+op_count_xc52gjKyDD(15,b)+op_count_vg4gO5BX6G(b,294)+op_count_Nsiff2A1zJ(op_xc52gjKyDD(15,b),op_vg4gO5BX6G(b,294))+op_count_uPjn7n5pli(op_vqGKxYkFQP(op_YdvuPOw6Zp(a,a)),op_Nsiff2A1zJ(op_xc52gjKyDD(15,b),op_vg4gO5BX6G(b,294)))
    return count


a⫈⋙b = { (((b⇚↩⩸a)∳⪵⩞(b∅⋟⋈a))≝((b≏↺146)⇋⋞)) }

def op_PbEthDQl9p(a, b):
    return op_9ceAZlIJYr(op_jN33Ps9R0w(op_FiUSHIPi3B(b,a),op_tGNgmywV9u(b,a)),op_x4nckvPyZv(op_Mx9bI9akoD(b,146)))

def op_count_PbEthDQl9p(a, b):
    count = op_count_FiUSHIPi3B(b,a)+op_count_tGNgmywV9u(b,a)+op_count_jN33Ps9R0w(op_FiUSHIPi3B(b,a),op_tGNgmywV9u(b,a))+op_count_Mx9bI9akoD(b,146)+op_count_x4nckvPyZv(op_Mx9bI9akoD(b,146))+op_count_9ceAZlIJYr(op_jN33Ps9R0w(op_FiUSHIPi3B(b,a),op_tGNgmywV9u(b,a)),op_x4nckvPyZv(op_Mx9bI9akoD(b,146)))
    return count


def op_mZg3X04OIL(a):
    return op_SR5kFfdi6N(147,a)

def op_count_mZg3X04OIL(a):
    count = op_count_SR5kFfdi6N(147,a)
    return count


a⋀∔⨖b = { (((b⫯⋞b)≺⪫)⋮⫆((a⨉)⫿⨖⫓(77⫖⊲b))) }

def op_A1Qy3JNBX5(a, b):
    return op_H0fWaTn7v4(op_ZUTmHRfELg(op_Wgo2X3D0xx(b,b)),op_pwrY02nFTx(op_aMUSaJuDRU(a),op_CUcQ7hI1X5(77,b)))

def op_count_A1Qy3JNBX5(a, b):
    count = op_count_Wgo2X3D0xx(b,b)+op_count_ZUTmHRfELg(op_Wgo2X3D0xx(b,b))+op_count_aMUSaJuDRU(a)+op_count_CUcQ7hI1X5(77,b)+op_count_pwrY02nFTx(op_aMUSaJuDRU(a),op_CUcQ7hI1X5(77,b))+op_count_H0fWaTn7v4(op_ZUTmHRfELg(op_Wgo2X3D0xx(b,b)),op_pwrY02nFTx(op_aMUSaJuDRU(a),op_CUcQ7hI1X5(77,b)))
    return count


def op_ZjIGILgOf5(a):
    return op_tmPS8pqC7x(op_ZDtbJ0pWwg(a),op_sPiGf7YRX8(786))

def op_count_ZjIGILgOf5(a):
    count = op_count_ZDtbJ0pWwg(a)+op_count_sPiGf7YRX8(786)+op_count_tmPS8pqC7x(op_ZDtbJ0pWwg(a),op_sPiGf7YRX8(786))
    return count


def op_NDYVdqs9s9(a, b):
    return op_cL3AwAelTI(op_fkKnxDq6es(a),op_oo9mF6JIpo(b))

def op_count_NDYVdqs9s9(a, b):
    count = op_count_fkKnxDq6es(a)+op_count_oo9mF6JIpo(b)+op_count_cL3AwAelTI(op_fkKnxDq6es(a),op_oo9mF6JIpo(b))
    return count


def op_wzzmPFVTIW(a):
    return op_2OiarLUAKI(op_S02ZffNhFe(op_fkZUW4eOKP(a),op_ejsynaZir6(a,a)))

def op_count_wzzmPFVTIW(a):
    count = op_count_fkZUW4eOKP(a)+op_count_ejsynaZir6(a,a)+op_count_S02ZffNhFe(op_fkZUW4eOKP(a),op_ejsynaZir6(a,a))+op_count_2OiarLUAKI(op_S02ZffNhFe(op_fkZUW4eOKP(a),op_ejsynaZir6(a,a)))
    return count


def op_0Ja9GTjgpI(a):
    return op_BEh4QBmAc4(op_54UxIFHdAV(a,255),op_lECMGPioUL(a))

def op_count_0Ja9GTjgpI(a):
    count = op_count_54UxIFHdAV(a,255)+op_count_lECMGPioUL(a)+op_count_BEh4QBmAc4(op_54UxIFHdAV(a,255),op_lECMGPioUL(a))
    return count


def op_GzAXebfcbx(a, b):
    return op_JbWwmbzaq5(op_3VKKtQjORe(b,b),op_JuuLT1NoCs(a))

def op_count_GzAXebfcbx(a, b):
    count = op_count_3VKKtQjORe(b,b)+op_count_JuuLT1NoCs(a)+op_count_JbWwmbzaq5(op_3VKKtQjORe(b,b),op_JuuLT1NoCs(a))
    return count


def op_wulq6Do8nd(a):
    return op_G3BP7BIMKk(op_3uu3byueWr(op_jLgFTUHLKL(763)),op_mp7IySMOzn(op_KLJQaR7Q7g(594),op_K1uHWJv1IW(a,a)))

def op_count_wulq6Do8nd(a):
    count = op_count_jLgFTUHLKL(763)+op_count_3uu3byueWr(op_jLgFTUHLKL(763))+op_count_KLJQaR7Q7g(594)+op_count_K1uHWJv1IW(a,a)+op_count_mp7IySMOzn(op_KLJQaR7Q7g(594),op_K1uHWJv1IW(a,a))+op_count_G3BP7BIMKk(op_3uu3byueWr(op_jLgFTUHLKL(763)),op_mp7IySMOzn(op_KLJQaR7Q7g(594),op_K1uHWJv1IW(a,a)))
    return count


def op_Ztq9i7DO88(a):
    return op_iLDmr1kYEU(op_UkFG6YBLyt(op_u7GmA9CWxF(a),op_iA2gmKZ3Wj(a)))

def op_count_Ztq9i7DO88(a):
    count = op_count_u7GmA9CWxF(a)+op_count_iA2gmKZ3Wj(a)+op_count_UkFG6YBLyt(op_u7GmA9CWxF(a),op_iA2gmKZ3Wj(a))+op_count_iLDmr1kYEU(op_UkFG6YBLyt(op_u7GmA9CWxF(a),op_iA2gmKZ3Wj(a)))
    return count


def op_xdnqJ8RYLM(a):
    return op_OLuofHlRCj(op_INF310Qlrg(op_p3t60N3cEu(a,18)))

def op_count_xdnqJ8RYLM(a):
    count = op_count_p3t60N3cEu(a,18)+op_count_INF310Qlrg(op_p3t60N3cEu(a,18))+op_count_OLuofHlRCj(op_INF310Qlrg(op_p3t60N3cEu(a,18)))
    return count


def op_YEwMS5zZry(a):
    return op_JL8yIekQnl(op_sQFXMycfVt(op_CNVW3SqGit(a,a),op_ExT1EayJM6(222,a)))

def op_count_YEwMS5zZry(a):
    count = op_count_CNVW3SqGit(a,a)+op_count_ExT1EayJM6(222,a)+op_count_sQFXMycfVt(op_CNVW3SqGit(a,a),op_ExT1EayJM6(222,a))+op_count_JL8yIekQnl(op_sQFXMycfVt(op_CNVW3SqGit(a,a),op_ExT1EayJM6(222,a)))
    return count


def op_AXLz05l2wC(a):
    return op_q0nYMvVa58(op_PKukPltB9T(a,a),op_XmtODG4Sr9(15,a))

def op_count_AXLz05l2wC(a):
    count = op_count_PKukPltB9T(a,a)+op_count_XmtODG4Sr9(15,a)+op_count_q0nYMvVa58(op_PKukPltB9T(a,a),op_XmtODG4Sr9(15,a))
    return count


def op_XMZMMtYJwx(a):
    return op_ncHt1X6cMc(op_Metdo7PNA5(a,op_FnKkWBwf5d(a)),op_h1pqhWq6T8(op_rXSb8jWWu5(a,a)))

def op_count_XMZMMtYJwx(a):
    count = op_count_FnKkWBwf5d(a)+op_count_Metdo7PNA5(a,op_FnKkWBwf5d(a))+op_count_rXSb8jWWu5(a,a)+op_count_h1pqhWq6T8(op_rXSb8jWWu5(a,a))+op_count_ncHt1X6cMc(op_Metdo7PNA5(a,op_FnKkWBwf5d(a)),op_h1pqhWq6T8(op_rXSb8jWWu5(a,a)))
    return count


def op_1ufne5if96(a):
    return op_cRahaglYVE(op_JfoC2uBG3V(op_JGseLYCYWD(a)))

def op_count_1ufne5if96(a):
    count = op_count_JGseLYCYWD(a)+op_count_JfoC2uBG3V(op_JGseLYCYWD(a))+op_count_cRahaglYVE(op_JfoC2uBG3V(op_JGseLYCYWD(a)))
    return count


a∞⨰⨿b = { (((a↝b)≅⪺↕(a≅⩀b))⇖⪆((a⨺≟b)⋔+⨓(125≗⪓∷))) }

def op_RBzmFngr7A(a, b):
    return op_pPTxWWVODo(op_dBWtppcwHd(op_Xl9shMzOPN(a,b),op_STXubeXA6y(a,b)),op_AU7eUHalbZ(op_DNlaGpKGJL(a,b),op_xWKacU4PIG(125)))

def op_count_RBzmFngr7A(a, b):
    count = op_count_Xl9shMzOPN(a,b)+op_count_STXubeXA6y(a,b)+op_count_dBWtppcwHd(op_Xl9shMzOPN(a,b),op_STXubeXA6y(a,b))+op_count_DNlaGpKGJL(a,b)+op_count_xWKacU4PIG(125)+op_count_AU7eUHalbZ(op_DNlaGpKGJL(a,b),op_xWKacU4PIG(125))+op_count_pPTxWWVODo(op_dBWtppcwHd(op_Xl9shMzOPN(a,b),op_STXubeXA6y(a,b)),op_AU7eUHalbZ(op_DNlaGpKGJL(a,b),op_xWKacU4PIG(125)))
    return count


def op_bblOljJXjP(a):
    return op_tDKkEnCLLR(op_5LE63mxGOF(a,792),op_leeyKC4ZFN(a,a))

def op_count_bblOljJXjP(a):
    count = op_count_5LE63mxGOF(a,792)+op_count_leeyKC4ZFN(a,a)+op_count_tDKkEnCLLR(op_5LE63mxGOF(a,792),op_leeyKC4ZFN(a,a))
    return count


def op_Y2qupyWGpr(a):
    return op_sCPPNA3LWS(op_2MgFsFVNLE(a),op_gBVRdjwhPO(op_op6w1lxe4Q(98),a))

def op_count_Y2qupyWGpr(a):
    count = op_count_2MgFsFVNLE(a)+op_count_op6w1lxe4Q(98)+op_count_gBVRdjwhPO(op_op6w1lxe4Q(98),a)+op_count_sCPPNA3LWS(op_2MgFsFVNLE(a),op_gBVRdjwhPO(op_op6w1lxe4Q(98),a))
    return count


def op_QbPAkexLdU(a, b):
    return op_CLzOjURgVu(op_dfh7ENhFrR(op_S2ubVDYUV4(306,b),op_l455cbmnc3(a,b)),a)

def op_count_QbPAkexLdU(a, b):
    count = op_count_S2ubVDYUV4(306,b)+op_count_l455cbmnc3(a,b)+op_count_dfh7ENhFrR(op_S2ubVDYUV4(306,b),op_l455cbmnc3(a,b))+op_count_CLzOjURgVu(op_dfh7ENhFrR(op_S2ubVDYUV4(306,b),op_l455cbmnc3(a,b)),a)
    return count


a⪌⪨≬b = { ((⊻⇿⋺(a⫚↽⫃a))⪘⇬∩((b⊗⊈a)≮⨜⪮(⩬⊰⋒b))) }

def op_bSPgBAnEaR(a, b):
    return op_Bg9zIMXgOw(op_3ETyc1YnpT(op_C1PIbbV0Fo(a,a)),op_iERJjuKeUH(op_yS1ZSNIEll(b,a),op_CcwCj3AAlH(b)))

def op_count_bSPgBAnEaR(a, b):
    count = op_count_C1PIbbV0Fo(a,a)+op_count_3ETyc1YnpT(op_C1PIbbV0Fo(a,a))+op_count_yS1ZSNIEll(b,a)+op_count_CcwCj3AAlH(b)+op_count_iERJjuKeUH(op_yS1ZSNIEll(b,a),op_CcwCj3AAlH(b))+op_count_Bg9zIMXgOw(op_3ETyc1YnpT(op_C1PIbbV0Fo(a,a)),op_iERJjuKeUH(op_yS1ZSNIEll(b,a),op_CcwCj3AAlH(b)))
    return count


a⫲⩐⋫ = { (((a⪗)↫⪋(a⫟⪀307))⇷≓⊞((a⩥↟a)⇪⊴↶(134∑⫎↩a))) }

def op_RVqsSH6CPv(a):
    return op_JsyojuCCcz(op_9Z0HYftGYc(op_VEQNXA0ZBg(a),op_ZG1KnpkPxw(a,307)),op_DO06dXi7jz(op_1iwIZY9iMy(a,a),op_HdNzD5PjZY(134,a)))

def op_count_RVqsSH6CPv(a):
    count = op_count_VEQNXA0ZBg(a)+op_count_ZG1KnpkPxw(a,307)+op_count_9Z0HYftGYc(op_VEQNXA0ZBg(a),op_ZG1KnpkPxw(a,307))+op_count_1iwIZY9iMy(a,a)+op_count_HdNzD5PjZY(134,a)+op_count_DO06dXi7jz(op_1iwIZY9iMy(a,a),op_HdNzD5PjZY(134,a))+op_count_JsyojuCCcz(op_9Z0HYftGYc(op_VEQNXA0ZBg(a),op_ZG1KnpkPxw(a,307)),op_DO06dXi7jz(op_1iwIZY9iMy(a,a),op_HdNzD5PjZY(134,a)))
    return count


⩁⨊≲a = { (((a≥⨤⩑a)⊥≍⋁(715⨤a))⫈((318⪆⪤⊀a)⊀⨇⨴(⋍↚⩘a))) }

def op_Jif4cYZz14(a):
    return op_e1wGt9VEHG(op_UuQ5TkIIzY(op_gJLn6v0xnP(a,a),op_6Dk38mmJ69(715,a)),op_XfMOxBn7HF(op_fv7bIrfzMN(318,a),op_BN1JO0BeqZ(a)))

def op_count_Jif4cYZz14(a):
    count = op_count_gJLn6v0xnP(a,a)+op_count_6Dk38mmJ69(715,a)+op_count_UuQ5TkIIzY(op_gJLn6v0xnP(a,a),op_6Dk38mmJ69(715,a))+op_count_fv7bIrfzMN(318,a)+op_count_BN1JO0BeqZ(a)+op_count_XfMOxBn7HF(op_fv7bIrfzMN(318,a),op_BN1JO0BeqZ(a))+op_count_e1wGt9VEHG(op_UuQ5TkIIzY(op_gJLn6v0xnP(a,a),op_6Dk38mmJ69(715,a)),op_XfMOxBn7HF(op_fv7bIrfzMN(318,a),op_BN1JO0BeqZ(a)))
    return count


def op_xrNAcijR8N(a):
    return op_o8Pngz0Tml(op_QILz4EHje6(op_S5cEPmjQ5R(a,a)))

def op_count_xrNAcijR8N(a):
    count = op_count_S5cEPmjQ5R(a,a)+op_count_QILz4EHje6(op_S5cEPmjQ5R(a,a))+op_count_o8Pngz0Tml(op_QILz4EHje6(op_S5cEPmjQ5R(a,a)))
    return count


def op_PDAljujQpe(a):
    return op_Bdqd193sIk(op_sZS62iV0d2(a))

def op_count_PDAljujQpe(a):
    count = op_count_sZS62iV0d2(a)+op_count_Bdqd193sIk(op_sZS62iV0d2(a))
    return count


def op_xnIuLf0MHy(a, b):
    return op_RpQvJizf4x(op_24nwyATvD7(op_FreGwbQ5tl(b,a),op_5gklcqtSna(b)),398)

def op_count_xnIuLf0MHy(a, b):
    count = op_count_FreGwbQ5tl(b,a)+op_count_5gklcqtSna(b)+op_count_24nwyATvD7(op_FreGwbQ5tl(b,a),op_5gklcqtSna(b))+op_count_RpQvJizf4x(op_24nwyATvD7(op_FreGwbQ5tl(b,a),op_5gklcqtSna(b)),398)
    return count


def op_4E2LAAuro0(a):
    return op_Api82iH42a(op_O9U3z1385E(72),op_MduqJzDb6X(a,a))

def op_count_4E2LAAuro0(a):
    count = op_count_O9U3z1385E(72)+op_count_MduqJzDb6X(a,a)+op_count_Api82iH42a(op_O9U3z1385E(72),op_MduqJzDb6X(a,a))
    return count


def op_JKgjm8vE7t(a):
    return op_yyfyN0ffXY(op_5f2EBvyfTH(a),op_amriepWcxZ(154,191))

def op_count_JKgjm8vE7t(a):
    count = op_count_5f2EBvyfTH(a)+op_count_amriepWcxZ(154,191)+op_count_yyfyN0ffXY(op_5f2EBvyfTH(a),op_amriepWcxZ(154,191))
    return count


def op_FpLlY3FNXf(a):
    return op_fnDOYsdde8(op_ofsUmZRSmp(op_OkftowgG4v(a,a),op_HWsfkPJiI1(a)))

def op_count_FpLlY3FNXf(a):
    count = op_count_OkftowgG4v(a,a)+op_count_HWsfkPJiI1(a)+op_count_ofsUmZRSmp(op_OkftowgG4v(a,a),op_HWsfkPJiI1(a))+op_count_fnDOYsdde8(op_ofsUmZRSmp(op_OkftowgG4v(a,a),op_HWsfkPJiI1(a)))
    return count


def op_Fab3wAOxMd(a, b):
    return op_dcShxvzhyw(op_GMKXAVE8R1(b,a))

def op_count_Fab3wAOxMd(a, b):
    count = op_count_GMKXAVE8R1(b,a)+op_count_dcShxvzhyw(op_GMKXAVE8R1(b,a))
    return count


def op_arYXyW8w3w(a):
    return op_VX9aY244yz(196,a)

def op_count_arYXyW8w3w(a):
    count = op_count_VX9aY244yz(196,a)
    return count


def op_cGo3xnfAnI(a, b):
    return op_Ldwfc8y82N(op_wfLX6JC9Km(a),op_leeyKC4ZFN(b,349))

def op_count_cGo3xnfAnI(a, b):
    count = op_count_wfLX6JC9Km(a)+op_count_leeyKC4ZFN(b,349)+op_count_Ldwfc8y82N(op_wfLX6JC9Km(a),op_leeyKC4ZFN(b,349))
    return count


def op_iJUaW3TlWh(a):
    return op_g7Hmc5v1ko(op_9XgyO8cQe5(op_Qctrpi3WzA(a),op_lAUTOmyRBs(a,a)),a)

def op_count_iJUaW3TlWh(a):
    count = op_count_Qctrpi3WzA(a)+op_count_lAUTOmyRBs(a,a)+op_count_9XgyO8cQe5(op_Qctrpi3WzA(a),op_lAUTOmyRBs(a,a))+op_count_g7Hmc5v1ko(op_9XgyO8cQe5(op_Qctrpi3WzA(a),op_lAUTOmyRBs(a,a)),a)
    return count


def op_SBKIYoKExA(a):
    return op_xIN6P3ZM4f(op_LRNGc0VcxI(a,a),op_J0w9Gs8s4Y(a,a))

def op_count_SBKIYoKExA(a):
    count = op_count_LRNGc0VcxI(a,a)+op_count_J0w9Gs8s4Y(a,a)+op_count_xIN6P3ZM4f(op_LRNGc0VcxI(a,a),op_J0w9Gs8s4Y(a,a))
    return count


def op_HE9Wu54DRW(a):
    return op_LBdsKIvxzf(op_Es8UyEPW03(a,a))

def op_count_HE9Wu54DRW(a):
    count = op_count_Es8UyEPW03(a,a)+op_count_LBdsKIvxzf(op_Es8UyEPW03(a,a))
    return count


def op_cdhuHqUAn3(a, b):
    return op_fEFexwlJgE(op_OLuofHlRCj(a),op_36V2MidH9c(a,b))

def op_count_cdhuHqUAn3(a, b):
    count = op_count_OLuofHlRCj(a)+op_count_36V2MidH9c(a,b)+op_count_fEFexwlJgE(op_OLuofHlRCj(a),op_36V2MidH9c(a,b))
    return count


def op_nTGF2k4Vol(a, b):
    return op_XmtODG4Sr9(op_NlZiTPE9D6(a),op_keuJNkrrbj(a,b))

def op_count_nTGF2k4Vol(a, b):
    count = op_count_NlZiTPE9D6(a)+op_count_keuJNkrrbj(a,b)+op_count_XmtODG4Sr9(op_NlZiTPE9D6(a),op_keuJNkrrbj(a,b))
    return count


a⫱≪ = { (((a⋥∋a)⋀⪁(a⪪16))∠⫱((a⪼⩢⋲a)∀⩎⋷(⩮⨌⪯a))) }

def op_pv7DPyKWZ2(a):
    return op_QvoQhV0rrE(op_csP1NBikjX(op_0dkrCdGzGT(a,a),op_xD69zh8xqp(a,16)),op_FPxP5Y1j0W(op_4VgzueLoPD(a,a),op_Gg3xwKfWpq(a)))

def op_count_pv7DPyKWZ2(a):
    count = op_count_0dkrCdGzGT(a,a)+op_count_xD69zh8xqp(a,16)+op_count_csP1NBikjX(op_0dkrCdGzGT(a,a),op_xD69zh8xqp(a,16))+op_count_4VgzueLoPD(a,a)+op_count_Gg3xwKfWpq(a)+op_count_FPxP5Y1j0W(op_4VgzueLoPD(a,a),op_Gg3xwKfWpq(a))+op_count_QvoQhV0rrE(op_csP1NBikjX(op_0dkrCdGzGT(a,a),op_xD69zh8xqp(a,16)),op_FPxP5Y1j0W(op_4VgzueLoPD(a,a),op_Gg3xwKfWpq(a)))
    return count


a∓⨐↟b = { (((b⊹⪋⨙a)⇬)↑⊤↶((a∛≔)↲∠(543⪓↹⇾b))) }

def op_pICi4oG5sS(a, b):
    return op_Gbv0iUO2Lv(op_GAVB7XhWSO(op_m2YiPKXZqU(b,a)),op_gxiHOcD4DJ(op_mGnSCrte3L(a),op_vs8iUQwOA7(543,b)))

def op_count_pICi4oG5sS(a, b):
    count = op_count_m2YiPKXZqU(b,a)+op_count_GAVB7XhWSO(op_m2YiPKXZqU(b,a))+op_count_mGnSCrte3L(a)+op_count_vs8iUQwOA7(543,b)+op_count_gxiHOcD4DJ(op_mGnSCrte3L(a),op_vs8iUQwOA7(543,b))+op_count_Gbv0iUO2Lv(op_GAVB7XhWSO(op_m2YiPKXZqU(b,a)),op_gxiHOcD4DJ(op_mGnSCrte3L(a),op_vs8iUQwOA7(543,b)))
    return count


a⇂≇⇔b = { (((b⊯⪆b)∥(a≊⊬a))/∪((298⇑⩢b)⋘⇝⩳(↴⪽⋼a))) }

def op_KPAwcjRsPd(a, b):
    return op_7tsVghrNr2(op_al7aJ7Utp8(op_8u3ZXjUZq9(b,b),op_ZqWZ7aSIYL(a,a)),op_E1o5MFdtNP(op_gqZfcu8Q4L(298,b),op_5TUYCnJO6w(a)))

def op_count_KPAwcjRsPd(a, b):
    count = op_count_8u3ZXjUZq9(b,b)+op_count_ZqWZ7aSIYL(a,a)+op_count_al7aJ7Utp8(op_8u3ZXjUZq9(b,b),op_ZqWZ7aSIYL(a,a))+op_count_gqZfcu8Q4L(298,b)+op_count_5TUYCnJO6w(a)+op_count_E1o5MFdtNP(op_gqZfcu8Q4L(298,b),op_5TUYCnJO6w(a))+op_count_7tsVghrNr2(op_al7aJ7Utp8(op_8u3ZXjUZq9(b,b),op_ZqWZ7aSIYL(a,a)),op_E1o5MFdtNP(op_gqZfcu8Q4L(298,b),op_5TUYCnJO6w(a)))
    return count


def op_hucLe0rqjQ(a):
    return op_AzXXKTstlj(op_sLhbn9hqDI(a),op_tDdVcTxk2D(a))

def op_count_hucLe0rqjQ(a):
    count = op_count_sLhbn9hqDI(a)+op_count_tDdVcTxk2D(a)+op_count_AzXXKTstlj(op_sLhbn9hqDI(a),op_tDdVcTxk2D(a))
    return count


def op_XdsqvuaXT0(a):
    return op_AWSeafXRiV(op_M2B6wyGvxF(op_gae4JlXwSi(a)))

def op_count_XdsqvuaXT0(a):
    count = op_count_gae4JlXwSi(a)+op_count_M2B6wyGvxF(op_gae4JlXwSi(a))+op_count_AWSeafXRiV(op_M2B6wyGvxF(op_gae4JlXwSi(a)))
    return count


def op_OGxj9bK615(a, b):
    return op_F6tGhZBYIt(op_Q6Sj1WS8if(a,180),op_Kep1ax30Fl(b,a))

def op_count_OGxj9bK615(a, b):
    count = op_count_Q6Sj1WS8if(a,180)+op_count_Kep1ax30Fl(b,a)+op_count_F6tGhZBYIt(op_Q6Sj1WS8if(a,180),op_Kep1ax30Fl(b,a))
    return count


def op_sa5q4XoIw9(a, b):
    return op_6ukkYxVLSh(op_cm2wdgkaZt(op_yyfyN0ffXY(a,b)))

def op_count_sa5q4XoIw9(a, b):
    count = op_count_yyfyN0ffXY(a,b)+op_count_cm2wdgkaZt(op_yyfyN0ffXY(a,b))+op_count_6ukkYxVLSh(op_cm2wdgkaZt(op_yyfyN0ffXY(a,b)))
    return count


a⩡⋆↹ = { (((a⩺⪪a)⪸⪋⩏(a∦⋟⋗))⫧⋃≅((⇶⩗⩅a)⫔(a⫬a))) }

def op_wA0cxFfcHw(a):
    return op_rJlMWXggw2(op_FTI62PzLjd(op_uvdQJvN4PV(a,a),op_j8wzaSQQPZ(a)),op_Qsw9fW7fQc(op_MVP4l6Shxk(a),op_bR7FmX73P0(a,a)))

def op_count_wA0cxFfcHw(a):
    count = op_count_uvdQJvN4PV(a,a)+op_count_j8wzaSQQPZ(a)+op_count_FTI62PzLjd(op_uvdQJvN4PV(a,a),op_j8wzaSQQPZ(a))+op_count_MVP4l6Shxk(a)+op_count_bR7FmX73P0(a,a)+op_count_Qsw9fW7fQc(op_MVP4l6Shxk(a),op_bR7FmX73P0(a,a))+op_count_rJlMWXggw2(op_FTI62PzLjd(op_uvdQJvN4PV(a,a),op_j8wzaSQQPZ(a)),op_Qsw9fW7fQc(op_MVP4l6Shxk(a),op_bR7FmX73P0(a,a)))
    return count


a↗⇀⩯b = { ((↴⪽⋼(634⫸⫄472))∛⇘((a⪞⋔a)↩↫(b≝∰⇵a))) }

def op_2IkpNCe4ga(a, b):
    return op_m5a1S9LJYP(op_5TUYCnJO6w(op_MrfYqVckR8(634,472)),op_JjJGrowCxS(op_nyjUIJb8jt(a,a),op_CdHlyAwjkr(b,a)))

def op_count_2IkpNCe4ga(a, b):
    count = op_count_MrfYqVckR8(634,472)+op_count_5TUYCnJO6w(op_MrfYqVckR8(634,472))+op_count_nyjUIJb8jt(a,a)+op_count_CdHlyAwjkr(b,a)+op_count_JjJGrowCxS(op_nyjUIJb8jt(a,a),op_CdHlyAwjkr(b,a))+op_count_m5a1S9LJYP(op_5TUYCnJO6w(op_MrfYqVckR8(634,472)),op_JjJGrowCxS(op_nyjUIJb8jt(a,a),op_CdHlyAwjkr(b,a)))
    return count


a↮≩b = { (((b⨦⇉⋆a)⊕∕(b⊸⋶b))⊷⇬((b⩓a)⊒⫄)) }

def op_iajtp5ldcM(a, b):
    return op_VstVOOoFda(op_9cloC0Ngie(op_qu6tLqWajp(b,a),op_hAnHtMy7w3(b,b)),op_nh3x8a6Puv(op_ZkTErvSsVl(b,a)))

def op_count_iajtp5ldcM(a, b):
    count = op_count_qu6tLqWajp(b,a)+op_count_hAnHtMy7w3(b,b)+op_count_9cloC0Ngie(op_qu6tLqWajp(b,a),op_hAnHtMy7w3(b,b))+op_count_ZkTErvSsVl(b,a)+op_count_nh3x8a6Puv(op_ZkTErvSsVl(b,a))+op_count_VstVOOoFda(op_9cloC0Ngie(op_qu6tLqWajp(b,a),op_hAnHtMy7w3(b,b)),op_nh3x8a6Puv(op_ZkTErvSsVl(b,a)))
    return count


a⨩↹⊶b = { (((b⫃⨄↛b)∦⩤≿(b⇊⩃⋴a))≥⨯((142⪤⇈b)⩎⪣⊞)) }

def op_jA7JayHTtc(a, b):
    return op_2GKZYdYZjS(op_zhTrIMte4B(op_9m16WUFJ5C(b,b),op_uA3r3M5hqH(b,a)),op_waWucp1uQ4(op_lWNx0gx4UD(142,b)))

def op_count_jA7JayHTtc(a, b):
    count = op_count_9m16WUFJ5C(b,b)+op_count_uA3r3M5hqH(b,a)+op_count_zhTrIMte4B(op_9m16WUFJ5C(b,b),op_uA3r3M5hqH(b,a))+op_count_lWNx0gx4UD(142,b)+op_count_waWucp1uQ4(op_lWNx0gx4UD(142,b))+op_count_2GKZYdYZjS(op_zhTrIMte4B(op_9m16WUFJ5C(b,b),op_uA3r3M5hqH(b,a)),op_waWucp1uQ4(op_lWNx0gx4UD(142,b)))
    return count


def op_ZtMh8aaghZ(a, b):
    return op_Q6Sj1WS8if(op_UNcwWhIvyc(a,b),op_xNgZz6XNYQ(b,a))

def op_count_ZtMh8aaghZ(a, b):
    count = op_count_UNcwWhIvyc(a,b)+op_count_xNgZz6XNYQ(b,a)+op_count_Q6Sj1WS8if(op_UNcwWhIvyc(a,b),op_xNgZz6XNYQ(b,a))
    return count


def op_ZPf7qc43dz(a, b):
    return op_VCoQhphGv5(op_3DVzLFNsE9(b),op_c4Jgcjuupe(a,501))

def op_count_ZPf7qc43dz(a, b):
    count = op_count_3DVzLFNsE9(b)+op_count_c4Jgcjuupe(a,501)+op_count_VCoQhphGv5(op_3DVzLFNsE9(b),op_c4Jgcjuupe(a,501))
    return count


def op_jjD0CYDioR(a):
    return op_ejsynaZir6(48,a)

def op_count_jjD0CYDioR(a):
    count = op_count_ejsynaZir6(48,a)
    return count


a⋠⩃b = { (((b⊴b)⊍⋬(b⊴⇁⪶))⨦⇉⋆((a⩯↚b)∄⪞(b⩁⋵a))) }

def op_qXEMTmCFMr(a, b):
    return op_qu6tLqWajp(op_uC1OCuP0T4(op_Nsiff2A1zJ(b,b),op_oo9mF6JIpo(b)),op_gBVRdjwhPO(op_EwuI1FZGOD(a,b),op_Dwi3vkQv6Q(b,a)))

def op_count_qXEMTmCFMr(a, b):
    count = op_count_Nsiff2A1zJ(b,b)+op_count_oo9mF6JIpo(b)+op_count_uC1OCuP0T4(op_Nsiff2A1zJ(b,b),op_oo9mF6JIpo(b))+op_count_EwuI1FZGOD(a,b)+op_count_Dwi3vkQv6Q(b,a)+op_count_gBVRdjwhPO(op_EwuI1FZGOD(a,b),op_Dwi3vkQv6Q(b,a))+op_count_qu6tLqWajp(op_uC1OCuP0T4(op_Nsiff2A1zJ(b,b),op_oo9mF6JIpo(b)),op_gBVRdjwhPO(op_EwuI1FZGOD(a,b),op_Dwi3vkQv6Q(b,a)))
    return count


def op_kX43GtnAVh(a):
    return op_ZAXeO6SPf6(a,a)

def op_count_kX43GtnAVh(a):
    count = op_count_ZAXeO6SPf6(a,a)
    return count


def op_4d38oB9bqe(a, b):
    return op_mO5CGOYEYM(op_FivK695Inb(b,a))

def op_count_4d38oB9bqe(a, b):
    count = op_count_FivK695Inb(b,a)+op_count_mO5CGOYEYM(op_FivK695Inb(b,a))
    return count


def op_pISk3OVpaq(a):
    return op_dWAJyo7jo9(op_toqWW6VavR(a),op_y7KeNMshhR(a,a))

def op_count_pISk3OVpaq(a):
    count = op_count_toqWW6VavR(a)+op_count_y7KeNMshhR(a,a)+op_count_dWAJyo7jo9(op_toqWW6VavR(a),op_y7KeNMshhR(a,a))
    return count


def op_Noy9b4xNXF(a, b):
    return op_2DQ55sFlQl(op_64EQ39e0fC(a,167),op_Tcnh7f0tEr(b))

def op_count_Noy9b4xNXF(a, b):
    count = op_count_64EQ39e0fC(a,167)+op_count_Tcnh7f0tEr(b)+op_count_2DQ55sFlQl(op_64EQ39e0fC(a,167),op_Tcnh7f0tEr(b))
    return count


def op_3QslfnIP5z(a):
    return op_oqoWAMqwIq(op_UBVjgJrFBH(a),op_ZG3wFgSLHc(a,34))

def op_count_3QslfnIP5z(a):
    count = op_count_UBVjgJrFBH(a)+op_count_ZG3wFgSLHc(a,34)+op_count_oqoWAMqwIq(op_UBVjgJrFBH(a),op_ZG3wFgSLHc(a,34))
    return count


a≼⪦⊖b = { (((a∾≱a)⋸⊶⪑(254⊭⫢))⋱((a⇃≔a)⩴⫳(a≸⊯∐b))) }

def op_vg7TviSPDE(a, b):
    return op_rK7H9hZmfU(op_vhomQbQnbp(op_RX5zLEmt4k(a,a),op_xiKbUzfUz0(254)),op_rn31iNPEz6(op_60FhV4dE5s(a,a),op_m1G8yfFYkK(a,b)))

def op_count_vg7TviSPDE(a, b):
    count = op_count_RX5zLEmt4k(a,a)+op_count_xiKbUzfUz0(254)+op_count_vhomQbQnbp(op_RX5zLEmt4k(a,a),op_xiKbUzfUz0(254))+op_count_60FhV4dE5s(a,a)+op_count_m1G8yfFYkK(a,b)+op_count_rn31iNPEz6(op_60FhV4dE5s(a,a),op_m1G8yfFYkK(a,b))+op_count_rK7H9hZmfU(op_vhomQbQnbp(op_RX5zLEmt4k(a,a),op_xiKbUzfUz0(254)),op_rn31iNPEz6(op_60FhV4dE5s(a,a),op_m1G8yfFYkK(a,b)))
    return count


def op_HYvONbgwEr(a):
    return op_u0R0Locfp2(op_VIBw2zwtKb(a,a))

def op_count_HYvONbgwEr(a):
    count = op_count_VIBw2zwtKb(a,a)+op_count_u0R0Locfp2(op_VIBw2zwtKb(a,a))
    return count


def op_fgbn1TXgbK(a):
    return op_O9U3z1385E(op_7OL7g5oVtb(a,a))

def op_count_fgbn1TXgbK(a):
    count = op_count_7OL7g5oVtb(a,a)+op_count_O9U3z1385E(op_7OL7g5oVtb(a,a))
    return count


a⫹⇡ = { (((458∨⋤⇐34)⊛)⇈⫔⫇((a⨯⊀⊾a)⩳↗(a≿↯a))) }

def op_h3p4FFU9wb(a):
    return op_wfMG52dXrO(op_7Eqj152hMc(op_XAozx2NkZN(458,34)),op_crEXoaJzxs(op_WBwPOP8NKF(a,a),op_EvWkNk7VX0(a,a)))

def op_count_h3p4FFU9wb(a):
    count = op_count_XAozx2NkZN(458,34)+op_count_7Eqj152hMc(op_XAozx2NkZN(458,34))+op_count_WBwPOP8NKF(a,a)+op_count_EvWkNk7VX0(a,a)+op_count_crEXoaJzxs(op_WBwPOP8NKF(a,a),op_EvWkNk7VX0(a,a))+op_count_wfMG52dXrO(op_7Eqj152hMc(op_XAozx2NkZN(458,34)),op_crEXoaJzxs(op_WBwPOP8NKF(a,a),op_EvWkNk7VX0(a,a)))
    return count


a≳⊿b = { ((↮(a⋷∪↥a))⊧⫬∧((a≧⨣b)⇆⪛≍(260↓⨍⋜))) }

def op_CCtO9UkCJA(a, b):
    return op_J0w9Gs8s4Y(op_ASIue62dCT(op_6aVlks4Vpw(a,a)),op_15fnz2YIbx(op_Z36JYzhjcK(a,b),op_3DVzLFNsE9(260)))

def op_count_CCtO9UkCJA(a, b):
    count = op_count_6aVlks4Vpw(a,a)+op_count_ASIue62dCT(op_6aVlks4Vpw(a,a))+op_count_Z36JYzhjcK(a,b)+op_count_3DVzLFNsE9(260)+op_count_15fnz2YIbx(op_Z36JYzhjcK(a,b),op_3DVzLFNsE9(260))+op_count_J0w9Gs8s4Y(op_ASIue62dCT(op_6aVlks4Vpw(a,a)),op_15fnz2YIbx(op_Z36JYzhjcK(a,b),op_3DVzLFNsE9(260)))
    return count


def op_wrwtkmGkix(a):
    return op_6jnLtSreEI(op_vu59hxsJ1z(a,a))

def op_count_wrwtkmGkix(a):
    count = op_count_vu59hxsJ1z(a,a)+op_count_6jnLtSreEI(op_vu59hxsJ1z(a,a))
    return count


def op_uVlUw2hfwC(a):
    return op_cdNjF6SLXv(op_iERJjuKeUH(a,a),op_apS25hmuAe(a))

def op_count_uVlUw2hfwC(a):
    count = op_count_iERJjuKeUH(a,a)+op_count_apS25hmuAe(a)+op_count_cdNjF6SLXv(op_iERJjuKeUH(a,a),op_apS25hmuAe(a))
    return count


def op_FDwp7JETPi(a, b):
    return op_LGEPit6dCp(op_RTaRm1inG1(op_EKLw81v4Z3(b,b),op_0KMCeP1Jsh(a,b)))

def op_count_FDwp7JETPi(a, b):
    count = op_count_EKLw81v4Z3(b,b)+op_count_0KMCeP1Jsh(a,b)+op_count_RTaRm1inG1(op_EKLw81v4Z3(b,b),op_0KMCeP1Jsh(a,b))+op_count_LGEPit6dCp(op_RTaRm1inG1(op_EKLw81v4Z3(b,b),op_0KMCeP1Jsh(a,b)))
    return count


def op_xqQb1WoLbV(a, b):
    return op_sYkX6kT28T(op_JdPE7RfYiZ(op_RabNbG55vr(a,a)),op_SIgE0bArFf(op_q5yaU63SKE(b)))

def op_count_xqQb1WoLbV(a, b):
    count = op_count_RabNbG55vr(a,a)+op_count_JdPE7RfYiZ(op_RabNbG55vr(a,a))+op_count_q5yaU63SKE(b)+op_count_SIgE0bArFf(op_q5yaU63SKE(b))+op_count_sYkX6kT28T(op_JdPE7RfYiZ(op_RabNbG55vr(a,a)),op_SIgE0bArFf(op_q5yaU63SKE(b)))
    return count


def op_YADmyc52nF(a):
    return op_CzM2PEoXns(op_SORa71X8Qm(op_LFtbApO071(a,a),op_sm9LEE0iOp(155,a)))

def op_count_YADmyc52nF(a):
    count = op_count_LFtbApO071(a,a)+op_count_sm9LEE0iOp(155,a)+op_count_SORa71X8Qm(op_LFtbApO071(a,a),op_sm9LEE0iOp(155,a))+op_count_CzM2PEoXns(op_SORa71X8Qm(op_LFtbApO071(a,a),op_sm9LEE0iOp(155,a)))
    return count


def op_en50GVKcqQ(a, b):
    return op_aibkDESqBN(op_WOQIWRggyx(b,a))

def op_count_en50GVKcqQ(a, b):
    count = op_count_WOQIWRggyx(b,a)+op_count_aibkDESqBN(op_WOQIWRggyx(b,a))
    return count


def op_RCNgrRoQB3(a):
    return op_tHss8q0tGc(op_GIhpFIUPsE(a,a))

def op_count_RCNgrRoQB3(a):
    count = op_count_GIhpFIUPsE(a,a)+op_count_tHss8q0tGc(op_GIhpFIUPsE(a,a))
    return count


def op_7Q6HhKYOYp(a):
    return op_M9mCbAHE87(op_SR5kFfdi6N(333,a),op_FYxAUuNJ3U(a,266))

def op_count_7Q6HhKYOYp(a):
    count = op_count_SR5kFfdi6N(333,a)+op_count_FYxAUuNJ3U(a,266)+op_count_M9mCbAHE87(op_SR5kFfdi6N(333,a),op_FYxAUuNJ3U(a,266))
    return count


def op_KMLRiEuQha(a):
    return op_OuTNrnoNOz(op_KagmZ2dQBE(op_DEAy1fljX8(338,107),a))

def op_count_KMLRiEuQha(a):
    count = op_count_DEAy1fljX8(338,107)+op_count_KagmZ2dQBE(op_DEAy1fljX8(338,107),a)+op_count_OuTNrnoNOz(op_KagmZ2dQBE(op_DEAy1fljX8(338,107),a))
    return count


def op_EuXjuL2SQ0(a):
    return op_8eNi29xLc8(op_JL8yIekQnl(a),op_V721JHuZWD(a,271))

def op_count_EuXjuL2SQ0(a):
    count = op_count_JL8yIekQnl(a)+op_count_V721JHuZWD(a,271)+op_count_8eNi29xLc8(op_JL8yIekQnl(a),op_V721JHuZWD(a,271))
    return count


def op_w9hYb9O8IV(a):
    return op_xMR2S8fb9y(op_V3iCuOQqPj(op_XmtODG4Sr9(a,a)))

def op_count_w9hYb9O8IV(a):
    count = op_count_XmtODG4Sr9(a,a)+op_count_V3iCuOQqPj(op_XmtODG4Sr9(a,a))+op_count_xMR2S8fb9y(op_V3iCuOQqPj(op_XmtODG4Sr9(a,a)))
    return count


def op_RNJInnG9gY(a, b):
    return op_kPwFPZlApY(op_6ayBXmFTY1(b,b),op_bJjEIIhyQG(a))

def op_count_RNJInnG9gY(a, b):
    count = op_count_6ayBXmFTY1(b,b)+op_count_bJjEIIhyQG(a)+op_count_kPwFPZlApY(op_6ayBXmFTY1(b,b),op_bJjEIIhyQG(a))
    return count


a⨶⪽↕b = { (((b⇡≹a)⪦(138↞⇏↡))⇊⋼⫧((⇸⨐⪙b)⪑a)) }

def op_qQqBVyx3Hk(a, b):
    return op_tUOKwCw09Q(op_S2EdmdiVZh(op_cnKzxr1wWw(b,a),op_3jaEye8kCv(138)),op_8CI59HBmeC(op_UhM7GxoAxS(b),a))

def op_count_qQqBVyx3Hk(a, b):
    count = op_count_cnKzxr1wWw(b,a)+op_count_3jaEye8kCv(138)+op_count_S2EdmdiVZh(op_cnKzxr1wWw(b,a),op_3jaEye8kCv(138))+op_count_UhM7GxoAxS(b)+op_count_8CI59HBmeC(op_UhM7GxoAxS(b),a)+op_count_tUOKwCw09Q(op_S2EdmdiVZh(op_cnKzxr1wWw(b,a),op_3jaEye8kCv(138)),op_8CI59HBmeC(op_UhM7GxoAxS(b),a))
    return count


def op_GzX49CdkxV(a, b):
    return op_NzkNgIFiP9(op_l455cbmnc3(op_YbUVn0Rbpy(b,b),op_WAv3ekBhw3(41)),op_8PqENNA1S7(op_3tj9sqzovi(a)))

def op_count_GzX49CdkxV(a, b):
    count = op_count_YbUVn0Rbpy(b,b)+op_count_WAv3ekBhw3(41)+op_count_l455cbmnc3(op_YbUVn0Rbpy(b,b),op_WAv3ekBhw3(41))+op_count_3tj9sqzovi(a)+op_count_8PqENNA1S7(op_3tj9sqzovi(a))+op_count_NzkNgIFiP9(op_l455cbmnc3(op_YbUVn0Rbpy(b,b),op_WAv3ekBhw3(41)),op_8PqENNA1S7(op_3tj9sqzovi(a)))
    return count


a⇜≹↹b = { (((b≔⇮≳a)⫽⋔)⊀⨇⨴((357⪏∋a)⋦∨)) }

def op_2ADibD3TaO(a, b):
    return op_XfMOxBn7HF(op_bJjEIIhyQG(op_iJDhyCwqus(b,a)),op_ukh9136rcV(op_yD4OLUtLkA(357,a)))

def op_count_2ADibD3TaO(a, b):
    count = op_count_iJDhyCwqus(b,a)+op_count_bJjEIIhyQG(op_iJDhyCwqus(b,a))+op_count_yD4OLUtLkA(357,a)+op_count_ukh9136rcV(op_yD4OLUtLkA(357,a))+op_count_XfMOxBn7HF(op_bJjEIIhyQG(op_iJDhyCwqus(b,a)),op_ukh9136rcV(op_yD4OLUtLkA(357,a)))
    return count


def op_fRrVSjRjDS(a):
    return op_7j4O788W3g(op_Tw270M8GLb(a),op_4TVzEgIAOW(a,41))

def op_count_fRrVSjRjDS(a):
    count = op_count_Tw270M8GLb(a)+op_count_4TVzEgIAOW(a,41)+op_count_7j4O788W3g(op_Tw270M8GLb(a),op_4TVzEgIAOW(a,41))
    return count


def op_M7wbeLYPvN(a, b):
    return op_vBWREp8Jik(op_GXZxp3Erot(b,b),op_P3lXMJvFrc(a,a))

def op_count_M7wbeLYPvN(a, b):
    count = op_count_GXZxp3Erot(b,b)+op_count_P3lXMJvFrc(a,a)+op_count_vBWREp8Jik(op_GXZxp3Erot(b,b),op_P3lXMJvFrc(a,a))
    return count


def op_Gz1PLyZtdB(a):
    return op_XAozx2NkZN(op_GUNDlfLmMO(357,a),op_P3lXMJvFrc(a,186))

def op_count_Gz1PLyZtdB(a):
    count = op_count_GUNDlfLmMO(357,a)+op_count_P3lXMJvFrc(a,186)+op_count_XAozx2NkZN(op_GUNDlfLmMO(357,a),op_P3lXMJvFrc(a,186))
    return count


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

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


a⊁≅ = { (((141∽a)⫴≡(a≙⪾a))≅⋲((↮a)⊋∃⫍(a∌⇬⊃a))) }

def op_RPXMw7HDcx(a):
    return op_A0R0hrgyGo(op_Q6Sj1WS8if(op_y4ImoPnbV5(141,a),op_OhqpJ7Tl0K(a,a)),op_YWzE9lFDSS(op_ASIue62dCT(a),op_dzg9arMPh9(a,a)))

def op_count_RPXMw7HDcx(a):
    count = op_count_y4ImoPnbV5(141,a)+op_count_OhqpJ7Tl0K(a,a)+op_count_Q6Sj1WS8if(op_y4ImoPnbV5(141,a),op_OhqpJ7Tl0K(a,a))+op_count_ASIue62dCT(a)+op_count_dzg9arMPh9(a,a)+op_count_YWzE9lFDSS(op_ASIue62dCT(a),op_dzg9arMPh9(a,a))+op_count_A0R0hrgyGo(op_Q6Sj1WS8if(op_y4ImoPnbV5(141,a),op_OhqpJ7Tl0K(a,a)),op_YWzE9lFDSS(op_ASIue62dCT(a),op_dzg9arMPh9(a,a)))
    return count


def op_j27PO9uwyT(a):
    return op_q9XL0dzTix(op_VEQNXA0ZBg(a),op_c60jrNgcxX(a,252))

def op_count_j27PO9uwyT(a):
    count = op_count_VEQNXA0ZBg(a)+op_count_c60jrNgcxX(a,252)+op_count_q9XL0dzTix(op_VEQNXA0ZBg(a),op_c60jrNgcxX(a,252))
    return count


def op_TqRZuxdHYL(a):
    return op_qLNS38JfQg(op_5KTvxBwnZo(386,a),op_qAljGMXEZr(602))

def op_count_TqRZuxdHYL(a):
    count = op_count_5KTvxBwnZo(386,a)+op_count_qAljGMXEZr(602)+op_count_qLNS38JfQg(op_5KTvxBwnZo(386,a),op_qAljGMXEZr(602))
    return count


def op_jsZr1axZCU(a):
    return op_w2537kitQq(a,a)

def op_count_jsZr1axZCU(a):
    count = op_count_w2537kitQq(a,a)
    return count


def op_8jnEAsr5pL(a):
    return op_xBbleKmA1B(op_fkZUW4eOKP(a))

def op_count_8jnEAsr5pL(a):
    count = op_count_fkZUW4eOKP(a)+op_count_xBbleKmA1B(op_fkZUW4eOKP(a))
    return count


def op_6RH3pnjgqk(a, b):
    return op_waWucp1uQ4(op_3ViojmjbAp(b,a))

def op_count_6RH3pnjgqk(a, b):
    count = op_count_3ViojmjbAp(b,a)+op_count_waWucp1uQ4(op_3ViojmjbAp(b,a))
    return count


a⊖⇈⇯b = { (((⋉∇b)⨑⇌⫪(⪣⊞⨾b))↪≰((⨐⋃⊡a)⇊(⨗∰b))) }

def op_CHMrxS47yJ(a, b):
    return op_laDV8SAqpw(op_OMlED4Os5J(op_AVIuaxj4s4(b),op_NuEuZRcdmn(b)),op_8h2Ofp3S4L(op_lBZCiJp9SE(a),op_CJ87Qfugo0(b)))

def op_count_CHMrxS47yJ(a, b):
    count = op_count_AVIuaxj4s4(b)+op_count_NuEuZRcdmn(b)+op_count_OMlED4Os5J(op_AVIuaxj4s4(b),op_NuEuZRcdmn(b))+op_count_lBZCiJp9SE(a)+op_count_CJ87Qfugo0(b)+op_count_8h2Ofp3S4L(op_lBZCiJp9SE(a),op_CJ87Qfugo0(b))+op_count_laDV8SAqpw(op_OMlED4Os5J(op_AVIuaxj4s4(b),op_NuEuZRcdmn(b)),op_8h2Ofp3S4L(op_lBZCiJp9SE(a),op_CJ87Qfugo0(b)))
    return count


def op_z5otTUBVSJ(a):
    return op_0ftGoQG529(op_RO5dAyufID(op_z9ffQ9n5Zr(a,119),430),op_rysDP5nf3Z(833,op_HWsfkPJiI1(a)))

def op_count_z5otTUBVSJ(a):
    count = op_count_z9ffQ9n5Zr(a,119)+op_count_RO5dAyufID(op_z9ffQ9n5Zr(a,119),430)+op_count_HWsfkPJiI1(a)+op_count_rysDP5nf3Z(833,op_HWsfkPJiI1(a))+op_count_0ftGoQG529(op_RO5dAyufID(op_z9ffQ9n5Zr(a,119),430),op_rysDP5nf3Z(833,op_HWsfkPJiI1(a)))
    return count


def op_vOPPagU029(a):
    return op_NYIHRc2x51(op_YKXtVccgU0(op_lwHaAYXP2r(159,a)),a)

def op_count_vOPPagU029(a):
    count = op_count_lwHaAYXP2r(159,a)+op_count_YKXtVccgU0(op_lwHaAYXP2r(159,a))+op_count_NYIHRc2x51(op_YKXtVccgU0(op_lwHaAYXP2r(159,a)),a)
    return count


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

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


def op_wVM5sXXMr1(a):
    return op_VEQNXA0ZBg(op_UggxBX659n(a,a))

def op_count_wVM5sXXMr1(a):
    count = op_count_UggxBX659n(a,a)+op_count_VEQNXA0ZBg(op_UggxBX659n(a,a))
    return count


def op_xkZU1osvjD(a):
    return op_NnTbxo2Idi(op_d8xe6WWVfM(a,a))

def op_count_xkZU1osvjD(a):
    count = op_count_d8xe6WWVfM(a,a)+op_count_NnTbxo2Idi(op_d8xe6WWVfM(a,a))
    return count


def op_wI0arWASZq(a):
    return op_hI7k9NMHqW(op_EaccxuysW0(a,a),op_yS9ePUuUdn(a))

def op_count_wI0arWASZq(a):
    count = op_count_EaccxuysW0(a,a)+op_count_yS9ePUuUdn(a)+op_count_hI7k9NMHqW(op_EaccxuysW0(a,a),op_yS9ePUuUdn(a))
    return count


def op_1BKvxjqByO(a):
    return op_EnxiqAYg5D(op_fjqJgF5yyp(op_9hl1k8hbNX(a)),op_22PRtPrKbi(op_GRrQNMyeGD(a,143)))

def op_count_1BKvxjqByO(a):
    count = op_count_9hl1k8hbNX(a)+op_count_fjqJgF5yyp(op_9hl1k8hbNX(a))+op_count_GRrQNMyeGD(a,143)+op_count_22PRtPrKbi(op_GRrQNMyeGD(a,143))+op_count_EnxiqAYg5D(op_fjqJgF5yyp(op_9hl1k8hbNX(a)),op_22PRtPrKbi(op_GRrQNMyeGD(a,143)))
    return count


def op_87DgYWhfGw(a):
    return op_Qctrpi3WzA(op_XrsBijI8L6(a,a))

def op_count_87DgYWhfGw(a):
    count = op_count_XrsBijI8L6(a,a)+op_count_Qctrpi3WzA(op_XrsBijI8L6(a,a))
    return count


def op_wMhGZzmJb9(a):
    return op_A28Sj7Ib8S(a,op_nuZMgjAhXC(a))

def op_count_wMhGZzmJb9(a):
    count = op_count_nuZMgjAhXC(a)+op_count_A28Sj7Ib8S(a,op_nuZMgjAhXC(a))
    return count


def op_QzAQJESKqZ(a, b):
    return op_jneptBQ8aA(op_NOHxjtdlri(a,a),op_FJ3oXK3UQ0(a,b))

def op_count_QzAQJESKqZ(a, b):
    count = op_count_NOHxjtdlri(a,a)+op_count_FJ3oXK3UQ0(a,b)+op_count_jneptBQ8aA(op_NOHxjtdlri(a,a),op_FJ3oXK3UQ0(a,b))
    return count


def op_b9D4xlfVCW(a):
    return op_SR5kFfdi6N(op_SYQDw94fy9(a,a),op_S2EdmdiVZh(a,a))

def op_count_b9D4xlfVCW(a):
    count = op_count_SYQDw94fy9(a,a)+op_count_S2EdmdiVZh(a,a)+op_count_SR5kFfdi6N(op_SYQDw94fy9(a,a),op_S2EdmdiVZh(a,a))
    return count


def op_BoaHdfqtNe(a):
    return op_oZj3VtZNQx(a,189)

def op_count_BoaHdfqtNe(a):
    count = op_count_oZj3VtZNQx(a,189)
    return count


def op_7YGta5Vjpq(a):
    return op_8hQlX1bI6f(op_JjJGrowCxS(a,a),op_QILz4EHje6(8))

def op_count_7YGta5Vjpq(a):
    count = op_count_JjJGrowCxS(a,a)+op_count_QILz4EHje6(8)+op_count_8hQlX1bI6f(op_JjJGrowCxS(a,a),op_QILz4EHje6(8))
    return count


def op_uCSr2leBiz(a):
    return op_Gul2kBmyZM(op_gfvVrh7EOO(op_hh4S7I0a8e(157,56)),op_7QYZIzcNPK(op_pWgqwKmGtT(113,a),op_D1QweU7yn7(509,a)))

def op_count_uCSr2leBiz(a):
    count = op_count_hh4S7I0a8e(157,56)+op_count_gfvVrh7EOO(op_hh4S7I0a8e(157,56))+op_count_pWgqwKmGtT(113,a)+op_count_D1QweU7yn7(509,a)+op_count_7QYZIzcNPK(op_pWgqwKmGtT(113,a),op_D1QweU7yn7(509,a))+op_count_Gul2kBmyZM(op_gfvVrh7EOO(op_hh4S7I0a8e(157,56)),op_7QYZIzcNPK(op_pWgqwKmGtT(113,a),op_D1QweU7yn7(509,a)))
    return count


def op_SoiMcEmNvm(a):
    return op_ajjFYbqVNX(op_jOWLc0xSqG(op_pxtEXgrBIH(a,a),op_096fXiO8sA(814)))

def op_count_SoiMcEmNvm(a):
    count = op_count_pxtEXgrBIH(a,a)+op_count_096fXiO8sA(814)+op_count_jOWLc0xSqG(op_pxtEXgrBIH(a,a),op_096fXiO8sA(814))+op_count_ajjFYbqVNX(op_jOWLc0xSqG(op_pxtEXgrBIH(a,a),op_096fXiO8sA(814)))
    return count


def op_LeWslFvZWG(a, b):
    return op_ancsfN6GXi(op_bvEbpGYZ1Q(a,b))

def op_count_LeWslFvZWG(a, b):
    count = op_count_bvEbpGYZ1Q(a,b)+op_count_ancsfN6GXi(op_bvEbpGYZ1Q(a,b))
    return count


def op_hnINjZwAK9(a, b):
    return op_oZj3VtZNQx(op_owCSkFYFye(a,b),op_ms6ehJAQNZ(88))

def op_count_hnINjZwAK9(a, b):
    count = op_count_owCSkFYFye(a,b)+op_count_ms6ehJAQNZ(88)+op_count_oZj3VtZNQx(op_owCSkFYFye(a,b),op_ms6ehJAQNZ(88))
    return count


def op_KKbLlDMr5j(a, b):
    return op_zPwbmAUgue(op_y2kQTS4a70(op_r52rsuXYVw(b,493),op_8cLx32lpNA(a,b)))

def op_count_KKbLlDMr5j(a, b):
    count = op_count_r52rsuXYVw(b,493)+op_count_8cLx32lpNA(a,b)+op_count_y2kQTS4a70(op_r52rsuXYVw(b,493),op_8cLx32lpNA(a,b))+op_count_zPwbmAUgue(op_y2kQTS4a70(op_r52rsuXYVw(b,493),op_8cLx32lpNA(a,b)))
    return count


def op_piUMGqxZDw(a):
    return op_lzETxEuxZT(op_ctOc4cKSDt(184),a)

def op_count_piUMGqxZDw(a):
    count = op_count_ctOc4cKSDt(184)+op_count_lzETxEuxZT(op_ctOc4cKSDt(184),a)
    return count


def op_59WKvQiwRE(a):
    return op_BLLGLRFJVt(op_lmJLg3MMpL(a,a))

def op_count_59WKvQiwRE(a):
    count = op_count_lmJLg3MMpL(a,a)+op_count_BLLGLRFJVt(op_lmJLg3MMpL(a,a))
    return count


def op_qscHm5CKa2(a):
    return op_SR5kFfdi6N(194,a)

def op_count_qscHm5CKa2(a):
    count = op_count_SR5kFfdi6N(194,a)
    return count


def op_zlJ1SObICQ(a):
    return op_LCw8TijYQy(op_DEAy1fljX8(38,op_sHikgItnFT(a)))

def op_count_zlJ1SObICQ(a):
    count = op_count_sHikgItnFT(a)+op_count_DEAy1fljX8(38,op_sHikgItnFT(a))+op_count_LCw8TijYQy(op_DEAy1fljX8(38,op_sHikgItnFT(a)))
    return count


def op_epopwjiPTl(a):
    return op_LRNGc0VcxI(a,a)

def op_count_epopwjiPTl(a):
    count = op_count_LRNGc0VcxI(a,a)
    return count


def op_o5ZcBbFt66(a):
    return op_cRahaglYVE(op_Dr4yJ0dQtH(a,a))

def op_count_o5ZcBbFt66(a):
    count = op_count_Dr4yJ0dQtH(a,a)+op_count_cRahaglYVE(op_Dr4yJ0dQtH(a,a))
    return count


def op_CkOMZzyWNQ(a):
    return op_hKcBw1Lue0(op_LcLDYWYtOH(op_axqnU7qwpD(a,189)),op_mhiGTHl996(a))

def op_count_CkOMZzyWNQ(a):
    count = op_count_axqnU7qwpD(a,189)+op_count_LcLDYWYtOH(op_axqnU7qwpD(a,189))+op_count_mhiGTHl996(a)+op_count_hKcBw1Lue0(op_LcLDYWYtOH(op_axqnU7qwpD(a,189)),op_mhiGTHl996(a))
    return count


a⋀b = { (((↤⊃b)⪹)⩰↠((b⋡∥395)⫼⨠(a∀⇚≩a))) }

def op_Y20syRcaKk(a, b):
    return op_s9l7B39Gy2(op_B3sABdIn96(op_mYJ03cd9aS(b)),op_KYL1uVeVpb(op_zNFFvkV5QZ(b,395),op_LRNGc0VcxI(a,a)))

def op_count_Y20syRcaKk(a, b):
    count = op_count_mYJ03cd9aS(b)+op_count_B3sABdIn96(op_mYJ03cd9aS(b))+op_count_zNFFvkV5QZ(b,395)+op_count_LRNGc0VcxI(a,a)+op_count_KYL1uVeVpb(op_zNFFvkV5QZ(b,395),op_LRNGc0VcxI(a,a))+op_count_s9l7B39Gy2(op_B3sABdIn96(op_mYJ03cd9aS(b)),op_KYL1uVeVpb(op_zNFFvkV5QZ(b,395),op_LRNGc0VcxI(a,a)))
    return count


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

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


def op_nKxYFAY1hz(a):
    return op_XmtODG4Sr9(a,a)

def op_count_nKxYFAY1hz(a):
    count = op_count_XmtODG4Sr9(a,a)
    return count