a≶⨾⩓b = { (((a⪵⋛b)↳≱(a⊍⋬b))⪋↯((↨14)∤⪤∞(17⊭↱a))) }

def op_iQ6fXuihlR(a, b):
    return op_zDWB6XqCFD(op_JwTKLfZU96(op_wUMGGCA6kW(a,b),op_uC1OCuP0T4(a,b)),op_uoTFhueqY9(op_jiX4gk2v2Q(14),op_COABgblf1C(17,a)))

def op_count_iQ6fXuihlR(a, b):
    count = op_count_wUMGGCA6kW(a,b)+op_count_uC1OCuP0T4(a,b)+op_count_JwTKLfZU96(op_wUMGGCA6kW(a,b),op_uC1OCuP0T4(a,b))+op_count_jiX4gk2v2Q(14)+op_count_COABgblf1C(17,a)+op_count_uoTFhueqY9(op_jiX4gk2v2Q(14),op_COABgblf1C(17,a))+op_count_zDWB6XqCFD(op_JwTKLfZU96(op_wUMGGCA6kW(a,b),op_uC1OCuP0T4(a,b)),op_uoTFhueqY9(op_jiX4gk2v2Q(14),op_COABgblf1C(17,a)))
    return count


def op_hnlsR4aHVZ(a):
    return op_F5wFo2T9P3(op_hzNl2ELaCM(a),op_T4Ba2tOC6b(op_OfPioMvVOm(a,341)))

def op_count_hnlsR4aHVZ(a):
    count = op_count_hzNl2ELaCM(a)+op_count_OfPioMvVOm(a,341)+op_count_T4Ba2tOC6b(op_OfPioMvVOm(a,341))+op_count_F5wFo2T9P3(op_hzNl2ELaCM(a),op_T4Ba2tOC6b(op_OfPioMvVOm(a,341)))
    return count


def op_JCebKLQyxG(a):
    if op_yDrALfoX9E(a,970) <= 882:
        return op_oW1cUEY5Sq(op_1j1KpI9WdF(a,652),a)
    else:
        return a

def op_count_JCebKLQyxG(a):
    if op_yDrALfoX9E(a,970) <= 882:
        count = op_count_1j1KpI9WdF(a,652)+op_count_oW1cUEY5Sq(op_1j1KpI9WdF(a,652),a)+op_count_yDrALfoX9E(a,970)
    else:
        count = 1
    return count


a↜↶b = { ((a⊌⨑499)≳⇉(⇺⋃b)) , if (a⩨⋩⪿)>135 ; ((a⨣≵b)⋥⋵⩄(667≫⋭*a)) , else }

def op_l2cpGsAPrZ(a, b):
    if op_2AK6mDqOEe(a) > 135:
        return op_V0kx6qeWkN(op_rfCxBsGcPd(a,499),op_E5v5B3UAjG(b))
    else:
        return op_7t3wd0Fuz7(op_EDNtw33LkC(a,b),op_dYBoAWDpSk(667,a))

def op_count_l2cpGsAPrZ(a, b):
    if op_2AK6mDqOEe(a) > 135:
        count = op_count_rfCxBsGcPd(a,499)+op_count_E5v5B3UAjG(b)+op_count_V0kx6qeWkN(op_rfCxBsGcPd(a,499),op_E5v5B3UAjG(b))+op_count_2AK6mDqOEe(a)
    else:
        count = op_count_EDNtw33LkC(a,b)+op_count_dYBoAWDpSk(667,a)+op_count_7t3wd0Fuz7(op_EDNtw33LkC(a,b),op_dYBoAWDpSk(667,a))
    return count


def op_kYn7oTuhzg(a):
    return op_rtRUSnrYdo(318,a)

def op_count_kYn7oTuhzg(a):
    count = op_count_rtRUSnrYdo(318,a)
    return count


a⇳↙≢b = { (⩧⫈b) , if (a>136 and a<160) ; a , else }

def op_iHGqphdURt(a, b):
    if (a > 136 and a < 160):
        return op_HTmwGS9Ecj(b)
    else:
        return a

def op_count_iHGqphdURt(a, b):
    if (a > 136 and a < 160):
        count = op_count_HTmwGS9Ecj(b)
    else:
        count = 1
    return count


a∔⫌b = { (⩞↓a) , if ((∉⫁⪘b)==5 and (b⫿⩙⫶)<=109) ; (b⪫≈≓b) , else }

def op_7YmQzHa6Po(a, b):
    if (op_eDOVKHKPQq(b) == 5 and op_HghB9Wb87q(b) <= 109):
        return op_esrG2CHZvS(a)
    else:
        return op_XFzi6qi8zt(b,b)

def op_count_7YmQzHa6Po(a, b):
    if (op_eDOVKHKPQq(b) == 5 and op_HghB9Wb87q(b) <= 109):
        count = op_count_esrG2CHZvS(a)+op_count_eDOVKHKPQq(b)+op_count_HghB9Wb87q(b)
    else:
        count = op_count_XFzi6qi8zt(b,b)
    return count


def op_eA2Rn72fZY(a, b):
    return op_UHmRx3INFg(op_Gdaqu1gMph(op_Vr0m5K9Tvy(a,b),op_6VMWzqt8x7(b,a)))

def op_count_eA2Rn72fZY(a, b):
    count = op_count_Vr0m5K9Tvy(a,b)+op_count_6VMWzqt8x7(b,a)+op_count_Gdaqu1gMph(op_Vr0m5K9Tvy(a,b),op_6VMWzqt8x7(b,a))+op_count_UHmRx3INFg(op_Gdaqu1gMph(op_Vr0m5K9Tvy(a,b),op_6VMWzqt8x7(b,a)))
    return count


a⊜⩣ = { (a⩷⪭⫁) , if (a∰⊍⪣)!=137 or a==9 ; (a⨘⋦⪅39) , else }

def op_mA9l3y0rh9(a):
    if op_SW5TzG0jHL(a) != 137 or a == 9:
        return op_2pVi7WdxN8(a)
    else:
        return op_jJY68xoYNq(a,39)

def op_count_mA9l3y0rh9(a):
    if op_SW5TzG0jHL(a) != 137 or a == 9:
        count = op_count_2pVi7WdxN8(a)+op_count_SW5TzG0jHL(a)
    else:
        count = op_count_jJY68xoYNq(a,39)
    return count


a⨭⋉b = { ((b⊂⇲b)∳⪵⩞(b⨌↿a)) , if a>327 ; ((b⊜⋂127)≑⊦(⩞↓b)) , else }

def op_oUjunzriDa(a, b):
    if a > 327:
        return op_jN33Ps9R0w(op_QBXDJ7vvjN(b,b),op_mOUIj6rraD(b,a))
    else:
        return op_eaT0FLINi9(op_sbVr4eN2cT(b,127),op_esrG2CHZvS(b))

def op_count_oUjunzriDa(a, b):
    if a > 327:
        count = op_count_QBXDJ7vvjN(b,b)+op_count_mOUIj6rraD(b,a)+op_count_jN33Ps9R0w(op_QBXDJ7vvjN(b,b),op_mOUIj6rraD(b,a))
    else:
        count = op_count_sbVr4eN2cT(b,127)+op_count_esrG2CHZvS(b)+op_count_eaT0FLINi9(op_sbVr4eN2cT(b,127),op_esrG2CHZvS(b))
    return count


def op_70GhcLsRSW(a, b):
    if op_O6EZ0fifGK(b) <= 299:
        return a
    else:
        return op_2lEcbzNZ3I(op_lFBm8KRb8F(b),op_CfxG4j8dfZ(a,a))

def op_count_70GhcLsRSW(a, b):
    if op_O6EZ0fifGK(b) <= 299:
        count = 1
    else:
        count = op_count_lFBm8KRb8F(b)+op_count_CfxG4j8dfZ(a,a)+op_count_2lEcbzNZ3I(op_lFBm8KRb8F(b),op_CfxG4j8dfZ(a,a))
    return count


def op_On9tc3zBfH(a):
    if a != 162:
        return op_FSasnAb2iR(a,317)
    else:
        return op_PDrNSJDGFK(a)

def op_count_On9tc3zBfH(a):
    if a != 162:
        count = op_count_FSasnAb2iR(a,317)
    else:
        count = op_count_PDrNSJDGFK(a)
    return count


a⪷⫐∫ = { ((a⇷(413⨸⨾⇕a))⇓⋧⋔((a⨼⊯⨸a)⫊⩸⋊(a⊫⫯a))) , if a<=113 or (⨥↵⫫a)>=756 ; (((⪲⊾a)⪙⪋≵(a⊂⇚⋠a))≏⨯⊱(a⊟⩓⊧(∀⊫a))) , else }

def op_cpAWDTjwbo(a):
    if a <= 113 or op_GXTzmLCEuJ(a) >= 756:
        return op_ONJRQY6OPs(op_mp7IySMOzn(a,op_cJjtybAweL(413,a)),op_1iU1QMvKk5(op_PQWaCfYBWv(a,a),op_uEiDLHpX5n(a,a)))
    else:
        return op_UqUOXUQnbU(op_Y4P2H7a92Q(op_L07OSbUHmY(a),op_aYHIbi88av(a,a)),op_ZWmKTO1x1a(a,op_gZaJvPXt7R(a)))

def op_count_cpAWDTjwbo(a):
    if a <= 113 or op_GXTzmLCEuJ(a) >= 756:
        count = op_count_cJjtybAweL(413,a)+op_count_mp7IySMOzn(a,op_cJjtybAweL(413,a))+op_count_PQWaCfYBWv(a,a)+op_count_uEiDLHpX5n(a,a)+op_count_1iU1QMvKk5(op_PQWaCfYBWv(a,a),op_uEiDLHpX5n(a,a))+op_count_ONJRQY6OPs(op_mp7IySMOzn(a,op_cJjtybAweL(413,a)),op_1iU1QMvKk5(op_PQWaCfYBWv(a,a),op_uEiDLHpX5n(a,a)))+op_count_GXTzmLCEuJ(a)
    else:
        count = op_count_L07OSbUHmY(a)+op_count_aYHIbi88av(a,a)+op_count_Y4P2H7a92Q(op_L07OSbUHmY(a),op_aYHIbi88av(a,a))+op_count_gZaJvPXt7R(a)+op_count_ZWmKTO1x1a(a,op_gZaJvPXt7R(a))+op_count_UqUOXUQnbU(op_Y4P2H7a92Q(op_L07OSbUHmY(a),op_aYHIbi88av(a,a)),op_ZWmKTO1x1a(a,op_gZaJvPXt7R(a)))
    return count


a⋻⊷b = { (((∔⫍b)≮≗⫂(b≱104))⪯⩡↑) , if (↳⋇⋈a)==245 ; (((a⊣∡a)⪶(≘⫒⪙a))⩌⋺((a∑⇟⊟b)⨍⩬⨌(a⩞⇢a))) , else }

def op_oqAxLywCTT(a, b):
    if op_NT4oKKFh9T(a) == 245:
        return op_6pLZ6DX5cL(op_P5jP6ymN6L(op_K0MBgY5f4d(b),op_VetzYauijD(b,104)))
    else:
        return op_g7Hmc5v1ko(op_NvEvKO2R8S(op_e3TqvkjN32(a,a),op_fOntq46xV5(a)),op_5EuqP1ofBQ(op_U7g4x0WXJJ(a,b),op_tAx3JLWuqz(a,a)))

def op_count_oqAxLywCTT(a, b):
    if op_NT4oKKFh9T(a) == 245:
        count = op_count_K0MBgY5f4d(b)+op_count_VetzYauijD(b,104)+op_count_P5jP6ymN6L(op_K0MBgY5f4d(b),op_VetzYauijD(b,104))+op_count_6pLZ6DX5cL(op_P5jP6ymN6L(op_K0MBgY5f4d(b),op_VetzYauijD(b,104)))+op_count_NT4oKKFh9T(a)
    else:
        count = op_count_e3TqvkjN32(a,a)+op_count_fOntq46xV5(a)+op_count_NvEvKO2R8S(op_e3TqvkjN32(a,a),op_fOntq46xV5(a))+op_count_U7g4x0WXJJ(a,b)+op_count_tAx3JLWuqz(a,a)+op_count_5EuqP1ofBQ(op_U7g4x0WXJJ(a,b),op_tAx3JLWuqz(a,a))+op_count_g7Hmc5v1ko(op_NvEvKO2R8S(op_e3TqvkjN32(a,a),op_fOntq46xV5(a)),op_5EuqP1ofBQ(op_U7g4x0WXJJ(a,b),op_tAx3JLWuqz(a,a)))
    return count


a⨄⇨⊇b = { (((⋅⇆≍a)∑⊏(a⨇∑⇷a))⋹⨛⇥((46⨶∙a)⊞(⇺⋃b))) }

def op_FhCEAc77G4(a, b):
    return op_EV9swbq3TP(op_6dpzsyEjuz(op_uqVgAcEZfA(a),op_LCjPM0UdxD(a,a)),op_15v7IodGk2(op_B4yDMOFpHS(46,a),op_E5v5B3UAjG(b)))

def op_count_FhCEAc77G4(a, b):
    count = op_count_uqVgAcEZfA(a)+op_count_LCjPM0UdxD(a,a)+op_count_6dpzsyEjuz(op_uqVgAcEZfA(a),op_LCjPM0UdxD(a,a))+op_count_B4yDMOFpHS(46,a)+op_count_E5v5B3UAjG(b)+op_count_15v7IodGk2(op_B4yDMOFpHS(46,a),op_E5v5B3UAjG(b))+op_count_EV9swbq3TP(op_6dpzsyEjuz(op_uqVgAcEZfA(a),op_LCjPM0UdxD(a,a)),op_15v7IodGk2(op_B4yDMOFpHS(46,a),op_E5v5B3UAjG(b)))
    return count


⨶∴a = { (((≜⪍a)⫶⫾⊪(a⩌614))⇜≹↹((a⋦⊭a)∥⊢⊲(a↕≰a))) }

def op_GNOeyzJIkp(a):
    return op_2ADibD3TaO(op_h5KbohBAOz(op_3yxomnqmFK(a),op_UoVew8f2p2(a,614)),op_v1UQAVDJRr(op_hGWjAarRlq(a,a),op_VwNPpZ8BQw(a,a)))

def op_count_GNOeyzJIkp(a):
    count = op_count_3yxomnqmFK(a)+op_count_UoVew8f2p2(a,614)+op_count_h5KbohBAOz(op_3yxomnqmFK(a),op_UoVew8f2p2(a,614))+op_count_hGWjAarRlq(a,a)+op_count_VwNPpZ8BQw(a,a)+op_count_v1UQAVDJRr(op_hGWjAarRlq(a,a),op_VwNPpZ8BQw(a,a))+op_count_2ADibD3TaO(op_h5KbohBAOz(op_3yxomnqmFK(a),op_UoVew8f2p2(a,614)),op_v1UQAVDJRr(op_hGWjAarRlq(a,a),op_VwNPpZ8BQw(a,a)))
    return count


a⨇↳⊣b = { (((b⋆⫊a)↕↑*(a⩱⇋⊁a))⪑⫞↭((b⇪⋞b)↾⇦)) , if a==3 ; (((a⪟a)⨞≤(⨁⫧∥b))⋴∑a) , else }

def op_ZJYiLdgVnw(a, b):
    if a == 3:
        return op_VsxaxIN4o0(op_yDwWaPWTxC(op_yR0nB6c4Cl(b,a),op_ovIDOSqP2K(a,a)),op_H9RETCE9fR(op_XFtV96IEKB(b,b)))
    else:
        return op_T7fl5gIC18(op_KKbLlDMr5j(op_tqmm8txHHJ(a,a),op_tBYU6worvm(b)),a)

def op_count_ZJYiLdgVnw(a, b):
    if a == 3:
        count = op_count_yR0nB6c4Cl(b,a)+op_count_ovIDOSqP2K(a,a)+op_count_yDwWaPWTxC(op_yR0nB6c4Cl(b,a),op_ovIDOSqP2K(a,a))+op_count_XFtV96IEKB(b,b)+op_count_H9RETCE9fR(op_XFtV96IEKB(b,b))+op_count_VsxaxIN4o0(op_yDwWaPWTxC(op_yR0nB6c4Cl(b,a),op_ovIDOSqP2K(a,a)),op_H9RETCE9fR(op_XFtV96IEKB(b,b)))
    else:
        count = op_count_tqmm8txHHJ(a,a)+op_count_tBYU6worvm(b)+op_count_KKbLlDMr5j(op_tqmm8txHHJ(a,a),op_tBYU6worvm(b))+op_count_T7fl5gIC18(op_KKbLlDMr5j(op_tqmm8txHHJ(a,a),op_tBYU6worvm(b)),a)
    return count


def op_ij1X96wXnH(a):
    if (a > 62 or op_W48l78wIbG(a,326) < 213 or op_NkElgCjZ6e(a) != 135):
        return op_4d8tbwVAPf(op_NrrDGmnwKr(op_kfDndAEh36(4),op_PjX0nsy6Is(123,a)))
    else:
        return op_JjGBB9f9Hu(op_G8ZGq3ATv0(op_6Ko8hGgeMq(287,381)),op_PSIoKPypbr(op_D4AlmasLin(59,a)))

def op_count_ij1X96wXnH(a):
    if (a > 62 or op_W48l78wIbG(a,326) < 213 or op_NkElgCjZ6e(a) != 135):
        count = op_count_kfDndAEh36(4)+op_count_PjX0nsy6Is(123,a)+op_count_NrrDGmnwKr(op_kfDndAEh36(4),op_PjX0nsy6Is(123,a))+op_count_4d8tbwVAPf(op_NrrDGmnwKr(op_kfDndAEh36(4),op_PjX0nsy6Is(123,a)))+op_count_W48l78wIbG(a,326)+op_count_NkElgCjZ6e(a)
    else:
        count = op_count_6Ko8hGgeMq(287,381)+op_count_G8ZGq3ATv0(op_6Ko8hGgeMq(287,381))+op_count_D4AlmasLin(59,a)+op_count_PSIoKPypbr(op_D4AlmasLin(59,a))+op_count_JjGBB9f9Hu(op_G8ZGq3ATv0(op_6Ko8hGgeMq(287,381)),op_PSIoKPypbr(op_D4AlmasLin(59,a)))
    return count


⨞⇯a = { ((⩪⪕↫(a⫙⩮⩾a))⊣⫼((a⩋⩃-a)⫾(a⋍))) , if (⩬∟a)<=612 or (a≚↯)!=872 ; (((115+⪬∐a)≞⩶⨁(a⋍⋺a))⋖⇈((a↝a)⇹⊯(a⪿↰⪖a))) , else }

def op_32gLpjV8NZ(a):
    if op_9gIUxgMMd4(a) <= 612 or op_kGXD7kUhWz(a) != 872:
        return op_glk0xsqa6N(op_haB7CxuiID(op_ekiV5KEQgK(a,a)),op_7JbuLsbBtx(op_PQ5jInepzR(a,a),op_dREnsuNWoJ(a)))
    else:
        return op_0nVhjSiHEu(op_M5PcsFUMKN(op_2GS7woTJqF(115,a),op_rW0uBYiax0(a,a)),op_7LD8LOvptt(op_Xl9shMzOPN(a,a),op_kMgNLpsPAE(a,a)))

def op_count_32gLpjV8NZ(a):
    if op_9gIUxgMMd4(a) <= 612 or op_kGXD7kUhWz(a) != 872:
        count = op_count_ekiV5KEQgK(a,a)+op_count_haB7CxuiID(op_ekiV5KEQgK(a,a))+op_count_PQ5jInepzR(a,a)+op_count_dREnsuNWoJ(a)+op_count_7JbuLsbBtx(op_PQ5jInepzR(a,a),op_dREnsuNWoJ(a))+op_count_glk0xsqa6N(op_haB7CxuiID(op_ekiV5KEQgK(a,a)),op_7JbuLsbBtx(op_PQ5jInepzR(a,a),op_dREnsuNWoJ(a)))+op_count_9gIUxgMMd4(a)+op_count_kGXD7kUhWz(a)
    else:
        count = op_count_2GS7woTJqF(115,a)+op_count_rW0uBYiax0(a,a)+op_count_M5PcsFUMKN(op_2GS7woTJqF(115,a),op_rW0uBYiax0(a,a))+op_count_Xl9shMzOPN(a,a)+op_count_kMgNLpsPAE(a,a)+op_count_7LD8LOvptt(op_Xl9shMzOPN(a,a),op_kMgNLpsPAE(a,a))+op_count_0nVhjSiHEu(op_M5PcsFUMKN(op_2GS7woTJqF(115,a),op_rW0uBYiax0(a,a)),op_7LD8LOvptt(op_Xl9shMzOPN(a,a),op_kMgNLpsPAE(a,a)))
    return count


a⇼⫵b = { a , if (b⊏≷≳)<=44 ; (((⩴⫒b)⇨⊤(b⇦↡⇅b))⫥∨⫟((193⨫⨦a)∜⋡⨒(∪↾⨜b))) , else }

def op_qAEoXsbmOC(a, b):
    if op_IyXueN9Vxj(b) <= 44:
        return a
    else:
        return op_KYD54nUTWz(op_zqsNBkd1kC(op_ukYxLqEuH6(b),op_Metdo7PNA5(b,b)),op_D0Y0t4GGs7(op_E7w2cPZO8a(193,a),op_Aldd1zCI1E(b)))

def op_count_qAEoXsbmOC(a, b):
    if op_IyXueN9Vxj(b) <= 44:
        count = 1
    else:
        count = op_count_ukYxLqEuH6(b)+op_count_Metdo7PNA5(b,b)+op_count_zqsNBkd1kC(op_ukYxLqEuH6(b),op_Metdo7PNA5(b,b))+op_count_E7w2cPZO8a(193,a)+op_count_Aldd1zCI1E(b)+op_count_D0Y0t4GGs7(op_E7w2cPZO8a(193,a),op_Aldd1zCI1E(b))+op_count_KYD54nUTWz(op_zqsNBkd1kC(op_ukYxLqEuH6(b),op_Metdo7PNA5(b,b)),op_D0Y0t4GGs7(op_E7w2cPZO8a(193,a),op_Aldd1zCI1E(b)))
    return count


a⇖⇪⩋b = { (((14⨶⋡b)⫞⫗≖(7⊀⩕))⩤⩮(⇇∑⩻(a↧⩳⩭449))) , if a>82 ; (((a∲⫓a)⇕⇮)⨨((103⩳↗b)⩎∞(b⫚⇰b))) , else }

def op_drGApofLVL(a, b):
    if a > 82:
        return op_hxAvLvgoB8(op_OV481x3Hpp(op_5UB82qwFL7(14,b),op_r0FS3hW4cC(7)),op_w51yDgGhW9(op_KfoJTsIyUZ(a,449)))
    else:
        return op_vhtqQa4va1(op_9arBjGBxSA(op_i8ToyICDmI(a,a)),op_Gh2MLvlQyY(op_crEXoaJzxs(103,b),op_XOlRTh06dm(b,b)))

def op_count_drGApofLVL(a, b):
    if a > 82:
        count = op_count_5UB82qwFL7(14,b)+op_count_r0FS3hW4cC(7)+op_count_OV481x3Hpp(op_5UB82qwFL7(14,b),op_r0FS3hW4cC(7))+op_count_KfoJTsIyUZ(a,449)+op_count_w51yDgGhW9(op_KfoJTsIyUZ(a,449))+op_count_hxAvLvgoB8(op_OV481x3Hpp(op_5UB82qwFL7(14,b),op_r0FS3hW4cC(7)),op_w51yDgGhW9(op_KfoJTsIyUZ(a,449)))
    else:
        count = op_count_i8ToyICDmI(a,a)+op_count_9arBjGBxSA(op_i8ToyICDmI(a,a))+op_count_crEXoaJzxs(103,b)+op_count_XOlRTh06dm(b,b)+op_count_Gh2MLvlQyY(op_crEXoaJzxs(103,b),op_XOlRTh06dm(b,b))+op_count_vhtqQa4va1(op_9arBjGBxSA(op_i8ToyICDmI(a,a)),op_Gh2MLvlQyY(op_crEXoaJzxs(103,b),op_XOlRTh06dm(b,b)))
    return count


def op_RyT86rw1zm(a):
    if op_JgJtpi6aUr(a) <= 151:
        return op_LcYGXG2KuG(op_lN3c4ByBHx(op_K1uHWJv1IW(a,a),a),op_jBncVCNhdl(op_QbcaP1vvRM(a,a),op_OWHeHFhv6l(61)))
    else:
        return op_UHmRx3INFg(op_qufViy4tU0(op_z4Ajd36hBy(a,376),op_PKukPltB9T(152,a)))

def op_count_RyT86rw1zm(a):
    if op_JgJtpi6aUr(a) <= 151:
        count = op_count_K1uHWJv1IW(a,a)+op_count_lN3c4ByBHx(op_K1uHWJv1IW(a,a),a)+op_count_QbcaP1vvRM(a,a)+op_count_OWHeHFhv6l(61)+op_count_jBncVCNhdl(op_QbcaP1vvRM(a,a),op_OWHeHFhv6l(61))+op_count_LcYGXG2KuG(op_lN3c4ByBHx(op_K1uHWJv1IW(a,a),a),op_jBncVCNhdl(op_QbcaP1vvRM(a,a),op_OWHeHFhv6l(61)))+op_count_JgJtpi6aUr(a)
    else:
        count = op_count_z4Ajd36hBy(a,376)+op_count_PKukPltB9T(152,a)+op_count_qufViy4tU0(op_z4Ajd36hBy(a,376),op_PKukPltB9T(152,a))+op_count_UHmRx3INFg(op_qufViy4tU0(op_z4Ajd36hBy(a,376),op_PKukPltB9T(152,a)))
    return count


⩯⊳a = { (((a⊫⊎)⊫⫯(a⨊a))≳⨗∰(⇠⊞⩕(a←⪈a))) }

def op_ogaU6W9mYk(a):
    return op_CVvrhyTOBt(op_uEiDLHpX5n(op_hzNl2ELaCM(a),op_lGaBDnHbCC(a,a)),op_NMif27OxkP(op_BRZabeeXbq(a,a)))

def op_count_ogaU6W9mYk(a):
    count = op_count_hzNl2ELaCM(a)+op_count_lGaBDnHbCC(a,a)+op_count_uEiDLHpX5n(op_hzNl2ELaCM(a),op_lGaBDnHbCC(a,a))+op_count_BRZabeeXbq(a,a)+op_count_NMif27OxkP(op_BRZabeeXbq(a,a))+op_count_CVvrhyTOBt(op_uEiDLHpX5n(op_hzNl2ELaCM(a),op_lGaBDnHbCC(a,a)),op_NMif27OxkP(op_BRZabeeXbq(a,a)))
    return count


⊦⪹a = { (a⇑≢⇛((a≤⪽a)−⩎√(a⨺⪴a))) , if a<=48 ; ((⫗⋀(893↣⫆))↼⫛⋺((253≱≡)⋬≹(⋤⫶⇃62))) , else }

def op_ZJKwFwCxwm(a):
    if a <= 48:
        return op_X7KZn19ZSq(a,op_tW6TlDUxtJ(op_rIhv4QYABv(a,a),op_v9KVZbcFsa(a,a)))
    else:
        return op_UjEWUlwvxt(op_Qu6ioGSXEi(op_ngj5U6CiL8(893)),op_XhYZ2gVPdD(op_gkW62pasg3(253),op_7lWACXvToW(62)))

def op_count_ZJKwFwCxwm(a):
    if a <= 48:
        count = op_count_rIhv4QYABv(a,a)+op_count_v9KVZbcFsa(a,a)+op_count_tW6TlDUxtJ(op_rIhv4QYABv(a,a),op_v9KVZbcFsa(a,a))+op_count_X7KZn19ZSq(a,op_tW6TlDUxtJ(op_rIhv4QYABv(a,a),op_v9KVZbcFsa(a,a)))
    else:
        count = op_count_ngj5U6CiL8(893)+op_count_Qu6ioGSXEi(op_ngj5U6CiL8(893))+op_count_gkW62pasg3(253)+op_count_7lWACXvToW(62)+op_count_XhYZ2gVPdD(op_gkW62pasg3(253),op_7lWACXvToW(62))+op_count_UjEWUlwvxt(op_Qu6ioGSXEi(op_ngj5U6CiL8(893)),op_XhYZ2gVPdD(op_gkW62pasg3(253),op_7lWACXvToW(62)))
    return count


a⊱←b = { (⨭⩧⫛((b⇟∰)−∲⇰(a⫦⇥187))) , if b<=665 ; (((a⇉⫅⇙a)↕⋲(b⋷⪧672))≈↶≭((a⊾⫆∬a)⇨⫛(b⊿⇿⫋b))) , else }

def op_XqoI3XAs6w(a, b):
    if b <= 665:
        return op_g21JL6JxX7(op_qZ1TsbAQfR(op_2OiarLUAKI(b),op_2pBQXqWGeP(a,187)))
    else:
        return op_F6tGhZBYIt(op_4fBBH5YYk9(op_SGfBAFE26B(a,a),op_JoFAzT2BO8(b,672)),op_1ksQIy6L3G(op_0FYYz8fFRr(a,a),op_2IIP3LKPc2(b,b)))

def op_count_XqoI3XAs6w(a, b):
    if b <= 665:
        count = op_count_2OiarLUAKI(b)+op_count_2pBQXqWGeP(a,187)+op_count_qZ1TsbAQfR(op_2OiarLUAKI(b),op_2pBQXqWGeP(a,187))+op_count_g21JL6JxX7(op_qZ1TsbAQfR(op_2OiarLUAKI(b),op_2pBQXqWGeP(a,187)))
    else:
        count = op_count_SGfBAFE26B(a,a)+op_count_JoFAzT2BO8(b,672)+op_count_4fBBH5YYk9(op_SGfBAFE26B(a,a),op_JoFAzT2BO8(b,672))+op_count_0FYYz8fFRr(a,a)+op_count_2IIP3LKPc2(b,b)+op_count_1ksQIy6L3G(op_0FYYz8fFRr(a,a),op_2IIP3LKPc2(b,b))+op_count_F6tGhZBYIt(op_4fBBH5YYk9(op_SGfBAFE26B(a,a),op_JoFAzT2BO8(b,672)),op_1ksQIy6L3G(op_0FYYz8fFRr(a,a),op_2IIP3LKPc2(b,b)))
    return count


def op_LMZeTB3ZMw(a):
    return op_HnzytWxmAO(a,a)

def op_count_LMZeTB3ZMw(a):
    count = op_count_HnzytWxmAO(a,a)
    return count


a⊭⇴ = { (133⨘⋦⪅a) , if (⊺⇒a)>1 ; (⊛⩪∵a) , else }

def op_w7itcCfN6G(a):
    if op_2MgFsFVNLE(a) > 1:
        return op_jJY68xoYNq(133,a)
    else:
        return op_13xSrD6nRj(a)

def op_count_w7itcCfN6G(a):
    if op_2MgFsFVNLE(a) > 1:
        count = op_count_jJY68xoYNq(133,a)+op_count_2MgFsFVNLE(a)
    else:
        count = op_count_13xSrD6nRj(a)
    return count


a⪺⫲b = { ((⫛⊤b)⨂≜((b⩛⩧a)⨒↵(⇵⪽188))) , if (⊳↧a)>6 ; (((97⊈⩂a)⨸≔(b⇷≓⊞a))⩍≏((85⪖⪡a)⨖≹a)) , else }

def op_vzy2bVdxBM(a, b):
    if op_pXCSiSNzSl(a) > 6:
        return op_k1SHOSEABc(op_IWo0LBntRE(b),op_4F2d8NdGA5(op_fcbMX6Iur2(b,a),op_ZGCBLdVRRX(188)))
    else:
        return op_JabAtFSQmd(op_a5m4w6at4G(op_ftShcB620t(97,a),op_JsyojuCCcz(b,a)),op_x56Q1NfF72(op_7PjNe5qSIJ(85,a),a))

def op_count_vzy2bVdxBM(a, b):
    if op_pXCSiSNzSl(a) > 6:
        count = op_count_IWo0LBntRE(b)+op_count_fcbMX6Iur2(b,a)+op_count_ZGCBLdVRRX(188)+op_count_4F2d8NdGA5(op_fcbMX6Iur2(b,a),op_ZGCBLdVRRX(188))+op_count_k1SHOSEABc(op_IWo0LBntRE(b),op_4F2d8NdGA5(op_fcbMX6Iur2(b,a),op_ZGCBLdVRRX(188)))+op_count_pXCSiSNzSl(a)
    else:
        count = op_count_ftShcB620t(97,a)+op_count_JsyojuCCcz(b,a)+op_count_a5m4w6at4G(op_ftShcB620t(97,a),op_JsyojuCCcz(b,a))+op_count_7PjNe5qSIJ(85,a)+op_count_x56Q1NfF72(op_7PjNe5qSIJ(85,a),a)+op_count_JabAtFSQmd(op_a5m4w6at4G(op_ftShcB620t(97,a),op_JsyojuCCcz(b,a)),op_x56Q1NfF72(op_7PjNe5qSIJ(85,a),a))
    return count


a⪍⇠⫝̸b = { ((⊎≹(57↚≽⪤a))≩(⩆≗(⪎41))) , if (a⇸⊡⊌)<=252 ; (((b⇄⪻b)⪟⇇(b⊘⋢b))⇿∔⋗) , else }

def op_nMuxe7tt8I(a, b):
    if op_i2qnWr4Tz9(a) <= 252:
        return op_8vl1kniaDp(op_7J74UIkAqv(op_UyATZg4EzG(57,a)),op_SMyk87KdZU(op_4q4Wt1yQrE(41)))
    else:
        return op_cEfAMXyiOm(op_n4a7NEQ25Y(op_EqdHc83poM(b,b),op_czcXd0geAe(b,b)))

def op_count_nMuxe7tt8I(a, b):
    if op_i2qnWr4Tz9(a) <= 252:
        count = op_count_UyATZg4EzG(57,a)+op_count_7J74UIkAqv(op_UyATZg4EzG(57,a))+op_count_4q4Wt1yQrE(41)+op_count_SMyk87KdZU(op_4q4Wt1yQrE(41))+op_count_8vl1kniaDp(op_7J74UIkAqv(op_UyATZg4EzG(57,a)),op_SMyk87KdZU(op_4q4Wt1yQrE(41)))+op_count_i2qnWr4Tz9(a)
    else:
        count = op_count_EqdHc83poM(b,b)+op_count_czcXd0geAe(b,b)+op_count_n4a7NEQ25Y(op_EqdHc83poM(b,b),op_czcXd0geAe(b,b))+op_count_cEfAMXyiOm(op_n4a7NEQ25Y(op_EqdHc83poM(b,b),op_czcXd0geAe(b,b)))
    return count


⇘⫙⨃a = { ((⩼⊽(a≰⇯⫕23))⊺↚⊤((a⫂⋷a)≝↽⨕)) , if (⩌⨖⇺a)<84 ; (((a⊥⫄)⪙⨣⫆(a⨐⩸⫘147))⨯((213≪⨫a)⊯⫶(308⫫⋕⫠42))) , else }

def op_weJPModhpy(a):
    if op_dvIHa88I1T(a) < 84:
        return op_ONgMwLM7Hk(op_yTxSUUZ7D5(op_JuQNioWekr(a,23)),op_EOlTwnPOYS(op_cqe5JS8r4F(a,a)))
    else:
        return op_qYpz2WEVq4(op_wEBUqoxgu1(op_8oCiXlPk2I(a),op_fu6greOZ01(a,147)),op_8Iqshm4ZEt(op_w30Z8TZG8s(213,a),op_MjmTaW8g1G(308,42)))

def op_count_weJPModhpy(a):
    if op_dvIHa88I1T(a) < 84:
        count = op_count_JuQNioWekr(a,23)+op_count_yTxSUUZ7D5(op_JuQNioWekr(a,23))+op_count_cqe5JS8r4F(a,a)+op_count_EOlTwnPOYS(op_cqe5JS8r4F(a,a))+op_count_ONgMwLM7Hk(op_yTxSUUZ7D5(op_JuQNioWekr(a,23)),op_EOlTwnPOYS(op_cqe5JS8r4F(a,a)))+op_count_dvIHa88I1T(a)
    else:
        count = op_count_8oCiXlPk2I(a)+op_count_fu6greOZ01(a,147)+op_count_wEBUqoxgu1(op_8oCiXlPk2I(a),op_fu6greOZ01(a,147))+op_count_w30Z8TZG8s(213,a)+op_count_MjmTaW8g1G(308,42)+op_count_8Iqshm4ZEt(op_w30Z8TZG8s(213,a),op_MjmTaW8g1G(308,42))+op_count_qYpz2WEVq4(op_wEBUqoxgu1(op_8oCiXlPk2I(a),op_fu6greOZ01(a,147)),op_8Iqshm4ZEt(op_w30Z8TZG8s(213,a),op_MjmTaW8g1G(308,42)))
    return count


a⋿∧ = { ((a⊕(a↚))⊾⪍⇠((24⪧⩚↞)⊉≛↸(a⫙∈a))) , if (a∷)>=117 ; (((a⪴⋴↼a)⫵⨐⫴(⩥∈a))⊳⋘⋒((a⊖⇈⇯a)⪏⊆⨩(a⊿⩯≜a))) , else }

def op_5rBqHuvfzy(a):
    if op_nFAOW8KTqp(a) >= 117:
        return op_ZRQRDfrpkZ(op_jln2xDVLTl(a,op_FpZEcu9gEh(a)),op_DZ8iAZOCBD(op_iCFmNpcOux(24),op_X7Nk9lXC9E(a,a)))
    else:
        return op_8Dc31Y5xrO(op_DwP0GRE7En(op_3MGUzg19yl(a,a),op_dXD8RLl6x7(a)),op_c60jrNgcxX(op_CHMrxS47yJ(a,a),op_eSKbQgeMY7(a,a)))

def op_count_5rBqHuvfzy(a):
    if op_nFAOW8KTqp(a) >= 117:
        count = op_count_FpZEcu9gEh(a)+op_count_jln2xDVLTl(a,op_FpZEcu9gEh(a))+op_count_iCFmNpcOux(24)+op_count_X7Nk9lXC9E(a,a)+op_count_DZ8iAZOCBD(op_iCFmNpcOux(24),op_X7Nk9lXC9E(a,a))+op_count_ZRQRDfrpkZ(op_jln2xDVLTl(a,op_FpZEcu9gEh(a)),op_DZ8iAZOCBD(op_iCFmNpcOux(24),op_X7Nk9lXC9E(a,a)))+op_count_nFAOW8KTqp(a)
    else:
        count = op_count_3MGUzg19yl(a,a)+op_count_dXD8RLl6x7(a)+op_count_DwP0GRE7En(op_3MGUzg19yl(a,a),op_dXD8RLl6x7(a))+op_count_CHMrxS47yJ(a,a)+op_count_eSKbQgeMY7(a,a)+op_count_c60jrNgcxX(op_CHMrxS47yJ(a,a),op_eSKbQgeMY7(a,a))+op_count_8Dc31Y5xrO(op_DwP0GRE7En(op_3MGUzg19yl(a,a),op_dXD8RLl6x7(a)),op_c60jrNgcxX(op_CHMrxS47yJ(a,a),op_eSKbQgeMY7(a,a)))
    return count


a⫼⨅ = { (a⪫a) , if a==40 ; (↽∬a) , else }

def op_Oy7EcjjLqN(a):
    if a == 40:
        return op_EcikR1MxSZ(a,a)
    else:
        return op_ZbtZ49kJld(a)

def op_count_Oy7EcjjLqN(a):
    if a == 40:
        count = op_count_EcikR1MxSZ(a,a)
    else:
        count = op_count_ZbtZ49kJld(a)
    return count


a≎⊢⩠b = { ((a⫲≐a)⇁(177⨴∎)) , if (b⊒⊀⩅41)>16 ; ((b⋣√∲b)∳⩯(b⨝≋⫻39)) , else }

def op_xqjYqib2Xz(a, b):
    if op_Qof2EeolbN(b,41) > 16:
        return op_z4ujcxYYss(op_sDUFqk2NSv(a,a),op_CpSg5vQTgA(177))
    else:
        return op_9HGD9fv1Jr(op_1hm1oEpfJf(b,b),op_laSRlfPI3y(b,39))

def op_count_xqjYqib2Xz(a, b):
    if op_Qof2EeolbN(b,41) > 16:
        count = op_count_sDUFqk2NSv(a,a)+op_count_CpSg5vQTgA(177)+op_count_z4ujcxYYss(op_sDUFqk2NSv(a,a),op_CpSg5vQTgA(177))+op_count_Qof2EeolbN(b,41)
    else:
        count = op_count_1hm1oEpfJf(b,b)+op_count_laSRlfPI3y(b,39)+op_count_9HGD9fv1Jr(op_1hm1oEpfJf(b,b),op_laSRlfPI3y(b,39))
    return count


a⋵⨺⇶ = { (a∴⋮↜a) , if (a*⊌↸)<45 ; (⇖⫷⫕72) , else }

def op_PLrxCgWGPG(a):
    if op_yQ0cYmQ85n(a) < 45:
        return op_LFP2zRhVLi(a,a)
    else:
        return op_UHmRx3INFg(72)

def op_count_PLrxCgWGPG(a):
    if op_yQ0cYmQ85n(a) < 45:
        count = op_count_LFP2zRhVLi(a,a)+op_count_yQ0cYmQ85n(a)
    else:
        count = op_count_UHmRx3INFg(72)
    return count


a⫱⨗b = { ((a≼≰⪤b)⪜⊀⨌) , if ((⊰⫉b)>=526 and (b↮∁⩟416)!=132) ; ((a⨴∎)⨔⊥⊮(a≴∏⪏a)) , else }

def op_ojcltenu0e(a, b):
    if (op_sPiGf7YRX8(b) >= 526 and op_B9Gkqmw0g5(b,416) != 132):
        return op_hXOBMgjpDE(op_OEnvRqCCi3(a,b))
    else:
        return op_UKXeKwF0uS(op_CpSg5vQTgA(a),op_HSrfgE6sGr(a,a))

def op_count_ojcltenu0e(a, b):
    if (op_sPiGf7YRX8(b) >= 526 and op_B9Gkqmw0g5(b,416) != 132):
        count = op_count_OEnvRqCCi3(a,b)+op_count_hXOBMgjpDE(op_OEnvRqCCi3(a,b))+op_count_sPiGf7YRX8(b)+op_count_B9Gkqmw0g5(b,416)
    else:
        count = op_count_CpSg5vQTgA(a)+op_count_HSrfgE6sGr(a,a)+op_count_UKXeKwF0uS(op_CpSg5vQTgA(a),op_HSrfgE6sGr(a,a))
    return count


a⪉⩂b = { (a⋹⋡⊁a) , if (∾⩮b)==45 ; (415⇑∁⪛) , else }

def op_R035hG5bVd(a, b):
    if op_7JV9z8bnvD(b) == 45:
        return op_As8RqfVLgs(a,a)
    else:
        return op_P75hhshrwX(415)

def op_count_R035hG5bVd(a, b):
    if op_7JV9z8bnvD(b) == 45:
        count = op_count_As8RqfVLgs(a,a)+op_count_7JV9z8bnvD(b)
    else:
        count = op_count_P75hhshrwX(415)
    return count


a⋄⫌≙b = { (((b⩏⇖b)⩂⇪⋣(a≐⨋⩷b))↾⇦) , if (↰⊢⪜a)==518 ; (⫟⊘≑((7⊖⋐⪲a)⫾(a⨠b))) , else }

def op_MUqkgcWPyT(a, b):
    if op_qm6tduIrUg(a) == 518:
        return op_H9RETCE9fR(op_05BAUYx2wZ(op_WzExxB0XCT(b,b),op_AS4GjyVyJT(a,b)))
    else:
        return op_HRCQ8rqs77(op_7JbuLsbBtx(op_H39jahAos3(7,a),op_R3R4sbjZye(a,b)))

def op_count_MUqkgcWPyT(a, b):
    if op_qm6tduIrUg(a) == 518:
        count = op_count_WzExxB0XCT(b,b)+op_count_AS4GjyVyJT(a,b)+op_count_05BAUYx2wZ(op_WzExxB0XCT(b,b),op_AS4GjyVyJT(a,b))+op_count_H9RETCE9fR(op_05BAUYx2wZ(op_WzExxB0XCT(b,b),op_AS4GjyVyJT(a,b)))+op_count_qm6tduIrUg(a)
    else:
        count = op_count_H39jahAos3(7,a)+op_count_R3R4sbjZye(a,b)+op_count_7JbuLsbBtx(op_H39jahAos3(7,a),op_R3R4sbjZye(a,b))+op_count_HRCQ8rqs77(op_7JbuLsbBtx(op_H39jahAos3(7,a),op_R3R4sbjZye(a,b)))
    return count


a⨮⩭⋑b = { (((b∷⫾b)⊭∔a)↚≽⪤((a⫉⫷18)∰↵↽(a⇊⋎⊡15))) , if b<146 ; ((⪮⇧(b≵⇄⪳a))∋≞((b∺b)∿⨢≣(⪁⪔a))) , else }

def op_P3PGUVtBiP(a, b):
    if b < 146:
        return op_UyATZg4EzG(op_7QJ18pq9jF(op_6FkTzFgkJV(b,b),a),op_nTGF2k4Vol(op_0m85q53N9z(a,18),op_svRCeDQHR0(a,15)))
    else:
        return op_F3ZYW0Xs6y(op_CYFEoEAeW2(op_tlYc1JfIjr(b,a)),op_hZqwc3tfoN(op_3lnCICep6t(b,b),op_6BfsaRR7pl(a)))

def op_count_P3PGUVtBiP(a, b):
    if b < 146:
        count = op_count_6FkTzFgkJV(b,b)+op_count_7QJ18pq9jF(op_6FkTzFgkJV(b,b),a)+op_count_0m85q53N9z(a,18)+op_count_svRCeDQHR0(a,15)+op_count_nTGF2k4Vol(op_0m85q53N9z(a,18),op_svRCeDQHR0(a,15))+op_count_UyATZg4EzG(op_7QJ18pq9jF(op_6FkTzFgkJV(b,b),a),op_nTGF2k4Vol(op_0m85q53N9z(a,18),op_svRCeDQHR0(a,15)))
    else:
        count = op_count_tlYc1JfIjr(b,a)+op_count_CYFEoEAeW2(op_tlYc1JfIjr(b,a))+op_count_3lnCICep6t(b,b)+op_count_6BfsaRR7pl(a)+op_count_hZqwc3tfoN(op_3lnCICep6t(b,b),op_6BfsaRR7pl(a))+op_count_F3ZYW0Xs6y(op_CYFEoEAeW2(op_tlYc1JfIjr(b,a)),op_hZqwc3tfoN(op_3lnCICep6t(b,b),op_6BfsaRR7pl(a)))
    return count


a≱⩒b = { (((a⫴⋨)⨧(a⪳↔⩚b))⪿∾⫩((↰→244)∰⫸⩌(b%↟a))) , if (a⩌757)<59 or (b⊁⪁∏834)>270 or (⇜b)==598 ; (((a⋉⇑≦a)⇽⨅(a⊫∞))⋹⋡⊁((a⫺↓⫶16)≞⊜⊃b)) , else }

def op_vx7zkKuhGE(a, b):
    if op_UoVew8f2p2(a,757) < 59 or op_NRyasOrsb7(b,834) > 270 or op_lFBm8KRb8F(b) == 598:
        return op_6Pie0zKRyb(op_3YWlZA9bsa(op_CmdEnb6c1H(a),op_y7KeNMshhR(a,b)),op_iQhOHdKFce(op_0hkx13eqQk(244),op_IBFb0eQO1Y(b,a)))
    else:
        return op_As8RqfVLgs(op_PyySExtkRS(op_D6fLssyg6C(a,a),op_pABnYW3G3E(a)),op_0rRutzN8mZ(op_IP5SWKBbFb(a,16),b))

def op_count_vx7zkKuhGE(a, b):
    if op_UoVew8f2p2(a,757) < 59 or op_NRyasOrsb7(b,834) > 270 or op_lFBm8KRb8F(b) == 598:
        count = op_count_CmdEnb6c1H(a)+op_count_y7KeNMshhR(a,b)+op_count_3YWlZA9bsa(op_CmdEnb6c1H(a),op_y7KeNMshhR(a,b))+op_count_0hkx13eqQk(244)+op_count_IBFb0eQO1Y(b,a)+op_count_iQhOHdKFce(op_0hkx13eqQk(244),op_IBFb0eQO1Y(b,a))+op_count_6Pie0zKRyb(op_3YWlZA9bsa(op_CmdEnb6c1H(a),op_y7KeNMshhR(a,b)),op_iQhOHdKFce(op_0hkx13eqQk(244),op_IBFb0eQO1Y(b,a)))+op_count_UoVew8f2p2(a,757)+op_count_NRyasOrsb7(b,834)+op_count_lFBm8KRb8F(b)
    else:
        count = op_count_D6fLssyg6C(a,a)+op_count_pABnYW3G3E(a)+op_count_PyySExtkRS(op_D6fLssyg6C(a,a),op_pABnYW3G3E(a))+op_count_IP5SWKBbFb(a,16)+op_count_0rRutzN8mZ(op_IP5SWKBbFb(a,16),b)+op_count_As8RqfVLgs(op_PyySExtkRS(op_D6fLssyg6C(a,a),op_pABnYW3G3E(a)),op_0rRutzN8mZ(op_IP5SWKBbFb(a,16),b))
    return count


def op_YRkEHto1c7(a, b):
    return op_sDckQzKUSc(op_JGUZimA2Hi(op_L07OSbUHmY(849)),op_YBMuzGt8zL(op_XAY3Gwlcor(a,b),op_Q8Thw7a1vL(207,b)))

def op_count_YRkEHto1c7(a, b):
    count = op_count_L07OSbUHmY(849)+op_count_JGUZimA2Hi(op_L07OSbUHmY(849))+op_count_XAY3Gwlcor(a,b)+op_count_Q8Thw7a1vL(207,b)+op_count_YBMuzGt8zL(op_XAY3Gwlcor(a,b),op_Q8Thw7a1vL(207,b))+op_count_sDckQzKUSc(op_JGUZimA2Hi(op_L07OSbUHmY(849)),op_YBMuzGt8zL(op_XAY3Gwlcor(a,b),op_Q8Thw7a1vL(207,b)))
    return count


⩔⩃a = { (70⩐⊽a) , if a==42 ; (a⪃⊛⇣a) , else }

def op_irIXf3Vm1F(a):
    if a == 42:
        return op_6JB1RBngZg(70,a)
    else:
        return op_rrgAzCduG9(a,a)

def op_count_irIXf3Vm1F(a):
    if a == 42:
        count = op_count_6JB1RBngZg(70,a)
    else:
        count = op_count_rrgAzCduG9(a,a)
    return count


a⫗⨮ = { ((⊬⨌(a≅⊛a))⫶⩦⫌((600⋐≟⩺a)⩿∸(a⪦⫫⫄a))) }

def op_p8fm81BEEb(a):
    return op_JhaTKDJgG8(op_q5ANYLE8fX(op_3On8Mq6EYF(a,a)),op_DkYVfzz2Wc(op_PjbVkMzmXE(600,a),op_khc5YFX7Jp(a,a)))

def op_count_p8fm81BEEb(a):
    count = op_count_3On8Mq6EYF(a,a)+op_count_q5ANYLE8fX(op_3On8Mq6EYF(a,a))+op_count_PjbVkMzmXE(600,a)+op_count_khc5YFX7Jp(a,a)+op_count_DkYVfzz2Wc(op_PjbVkMzmXE(600,a),op_khc5YFX7Jp(a,a))+op_count_JhaTKDJgG8(op_q5ANYLE8fX(op_3On8Mq6EYF(a,a)),op_DkYVfzz2Wc(op_PjbVkMzmXE(600,a),op_khc5YFX7Jp(a,a)))
    return count


def op_BYPvOTGoon(a):
    return op_X7KZn19ZSq(a,a)

def op_count_BYPvOTGoon(a):
    count = op_count_X7KZn19ZSq(a,a)
    return count


def op_joc9s84s29(a):
    return op_W9R8I5fN5A(op_2enQSJPbnT(op_NvEvKO2R8S(a,a)))

def op_count_joc9s84s29(a):
    count = op_count_NvEvKO2R8S(a,a)+op_count_2enQSJPbnT(op_NvEvKO2R8S(a,a))+op_count_W9R8I5fN5A(op_2enQSJPbnT(op_NvEvKO2R8S(a,a)))
    return count


def op_VEVDCoUSUK(a, b):
    return op_IhmFHZKYD8(op_XVKwrhznBb(a),op_FZMmiP4vxN(b,b))

def op_count_VEVDCoUSUK(a, b):
    count = op_count_XVKwrhznBb(a)+op_count_FZMmiP4vxN(b,b)+op_count_IhmFHZKYD8(op_XVKwrhznBb(a),op_FZMmiP4vxN(b,b))
    return count


def op_pZT4WnG1DQ(a):
    return op_rxpJgHHUmx(155,a)

def op_count_pZT4WnG1DQ(a):
    count = op_count_rxpJgHHUmx(155,a)
    return count


def op_rfhrWOSsEl(a):
    return op_RqrPlJkxDo(op_4d8tbwVAPf(a),a)

def op_count_rfhrWOSsEl(a):
    count = op_count_4d8tbwVAPf(a)+op_count_RqrPlJkxDo(op_4d8tbwVAPf(a),a)
    return count


def op_tXQxljjzut(a):
    return op_T2fj7uvVaJ(op_bVRrhJZyGv(72),op_MscnI5MLJ2(a,a))

def op_count_tXQxljjzut(a):
    count = op_count_bVRrhJZyGv(72)+op_count_MscnI5MLJ2(a,a)+op_count_T2fj7uvVaJ(op_bVRrhJZyGv(72),op_MscnI5MLJ2(a,a))
    return count


def op_52IILVWfQt(a, b):
    return op_bVRrhJZyGv(op_H6BK1Evt7c(op_MKCxaPE9tg(b,a)))

def op_count_52IILVWfQt(a, b):
    count = op_count_MKCxaPE9tg(b,a)+op_count_H6BK1Evt7c(op_MKCxaPE9tg(b,a))+op_count_bVRrhJZyGv(op_H6BK1Evt7c(op_MKCxaPE9tg(b,a)))
    return count


def op_YGgl4zeI69(a):
    return op_XVKwrhznBb(op_Hf8iuKeICW(a,a))

def op_count_YGgl4zeI69(a):
    count = op_count_Hf8iuKeICW(a,a)+op_count_XVKwrhznBb(op_Hf8iuKeICW(a,a))
    return count


def op_xySZ9oHVP2(a):
    return op_ZsTN7hvPwQ(op_glk0xsqa6N(110,a))

def op_count_xySZ9oHVP2(a):
    count = op_count_glk0xsqa6N(110,a)+op_count_ZsTN7hvPwQ(op_glk0xsqa6N(110,a))
    return count


def op_9KPvDjhLwY(a):
    return op_4n53wtyJvv(op_XHowTFVwyi(a,op_MtQfxjaHiP(a,a)))

def op_count_9KPvDjhLwY(a):
    count = op_count_MtQfxjaHiP(a,a)+op_count_XHowTFVwyi(a,op_MtQfxjaHiP(a,a))+op_count_4n53wtyJvv(op_XHowTFVwyi(a,op_MtQfxjaHiP(a,a)))
    return count


def op_eMBK1JfxZt(a):
    return op_KvvgdUaMHJ(op_lBo1w7jVIg(op_LWrjkhwLhY(626),op_S4cBJ5Nnzu(a,a)))

def op_count_eMBK1JfxZt(a):
    count = op_count_LWrjkhwLhY(626)+op_count_S4cBJ5Nnzu(a,a)+op_count_lBo1w7jVIg(op_LWrjkhwLhY(626),op_S4cBJ5Nnzu(a,a))+op_count_KvvgdUaMHJ(op_lBo1w7jVIg(op_LWrjkhwLhY(626),op_S4cBJ5Nnzu(a,a)))
    return count


def op_Fi9i5WTtqY(a):
    return op_OXDGMFPWZM(261,a)

def op_count_Fi9i5WTtqY(a):
    count = op_count_OXDGMFPWZM(261,a)
    return count


def op_yz9sVgXfUB(a, b):
    return op_Kf1zqKnZRg(op_inkyxCbjAn(b),op_schmcmpRvD(b,a))

def op_count_yz9sVgXfUB(a, b):
    count = op_count_inkyxCbjAn(b)+op_count_schmcmpRvD(b,a)+op_count_Kf1zqKnZRg(op_inkyxCbjAn(b),op_schmcmpRvD(b,a))
    return count


def op_pRVsQLfeCJ(a):
    return op_wvOhsjS2Oe(op_Ci59WLJJ94(459),op_TpPTUOHfaN(a,a))

def op_count_pRVsQLfeCJ(a):
    count = op_count_Ci59WLJJ94(459)+op_count_TpPTUOHfaN(a,a)+op_count_wvOhsjS2Oe(op_Ci59WLJJ94(459),op_TpPTUOHfaN(a,a))
    return count


def op_PWMMFJOiXT(a, b):
    return op_RGTKTgjLlv(op_jYgKUhfDbv(358,b),op_cXLsWb8329(a))

def op_count_PWMMFJOiXT(a, b):
    count = op_count_jYgKUhfDbv(358,b)+op_count_cXLsWb8329(a)+op_count_RGTKTgjLlv(op_jYgKUhfDbv(358,b),op_cXLsWb8329(a))
    return count


def op_LFtuqTEXYf(a):
    return op_PY5Vuape4U(op_cXLsWb8329(a),op_r42jg1nETI(a,a))

def op_count_LFtuqTEXYf(a):
    count = op_count_cXLsWb8329(a)+op_count_r42jg1nETI(a,a)+op_count_PY5Vuape4U(op_cXLsWb8329(a),op_r42jg1nETI(a,a))
    return count


a⩍∃⩚ = { ((⩸⨸(a⩗⫗a))⨧↗⨷((⇑∀a)⇋↽⋤(a≑∩⫼a))) }

def op_QWnWjVn9BT(a):
    return op_WSbXXWOizJ(op_VIrrXtd8hW(op_Xw48T5MRcn(a,a)),op_3K1YInASmv(op_zuhQZe7XPN(a),op_99YtDRanc6(a,a)))

def op_count_QWnWjVn9BT(a):
    count = op_count_Xw48T5MRcn(a,a)+op_count_VIrrXtd8hW(op_Xw48T5MRcn(a,a))+op_count_zuhQZe7XPN(a)+op_count_99YtDRanc6(a,a)+op_count_3K1YInASmv(op_zuhQZe7XPN(a),op_99YtDRanc6(a,a))+op_count_WSbXXWOizJ(op_VIrrXtd8hW(op_Xw48T5MRcn(a,a)),op_3K1YInASmv(op_zuhQZe7XPN(a),op_99YtDRanc6(a,a)))
    return count


def op_WFAN8YYSuv(a):
    return op_4X9JU4Jbn6(op_BA5ptRLOMP(a,a))

def op_count_WFAN8YYSuv(a):
    count = op_count_BA5ptRLOMP(a,a)+op_count_4X9JU4Jbn6(op_BA5ptRLOMP(a,a))
    return count


def op_NF1B92uumC(a):
    return op_yqthOfQm3e(op_ZsTN7hvPwQ(op_gqU5rgWWey(a)),op_D3vt6oaqeg(op_Oxwmg0B0DM(a,a),a))

def op_count_NF1B92uumC(a):
    count = op_count_gqU5rgWWey(a)+op_count_ZsTN7hvPwQ(op_gqU5rgWWey(a))+op_count_Oxwmg0B0DM(a,a)+op_count_D3vt6oaqeg(op_Oxwmg0B0DM(a,a),a)+op_count_yqthOfQm3e(op_ZsTN7hvPwQ(op_gqU5rgWWey(a)),op_D3vt6oaqeg(op_Oxwmg0B0DM(a,a),a))
    return count


a⪦⇋∎b = { ((⨈⫕(233∜↬a))⊞≃⪲((a⩻↮≝b)≹(223⫶⨡⨒a))) }

def op_Uc1vLWZcmX(a, b):
    return op_jKh9xaBIQ5(op_megm06wKyl(op_Gvs3vXn1Ui(233,a)),op_r2SrZsyW6O(op_IHpSDSxKMI(a,b),op_cYefTWUxOW(223,a)))

def op_count_Uc1vLWZcmX(a, b):
    count = op_count_Gvs3vXn1Ui(233,a)+op_count_megm06wKyl(op_Gvs3vXn1Ui(233,a))+op_count_IHpSDSxKMI(a,b)+op_count_cYefTWUxOW(223,a)+op_count_r2SrZsyW6O(op_IHpSDSxKMI(a,b),op_cYefTWUxOW(223,a))+op_count_jKh9xaBIQ5(op_megm06wKyl(op_Gvs3vXn1Ui(233,a)),op_r2SrZsyW6O(op_IHpSDSxKMI(a,b),op_cYefTWUxOW(223,a)))
    return count


def op_yA2hG9ufiL(a, b):
    return op_mDkOnwatbM(op_8uAz8JJKQ9(op_7iT9y97eD8(a),op_B5M0gjZbta(b,b)))

def op_count_yA2hG9ufiL(a, b):
    count = op_count_7iT9y97eD8(a)+op_count_B5M0gjZbta(b,b)+op_count_8uAz8JJKQ9(op_7iT9y97eD8(a),op_B5M0gjZbta(b,b))+op_count_mDkOnwatbM(op_8uAz8JJKQ9(op_7iT9y97eD8(a),op_B5M0gjZbta(b,b)))
    return count


def op_bdbODBV0eN(a):
    return op_oZj3VtZNQx(a,op_vqMs4v2zd9(a,a))

def op_count_bdbODBV0eN(a):
    count = op_count_vqMs4v2zd9(a,a)+op_count_oZj3VtZNQx(a,op_vqMs4v2zd9(a,a))
    return count


def op_ONy7Hs4EKY(a, b):
    return op_GGuaFouzBB(op_LdNpr8hQHL(b),op_oP7ayciNnu(a))

def op_count_ONy7Hs4EKY(a, b):
    count = op_count_LdNpr8hQHL(b)+op_count_oP7ayciNnu(a)+op_count_GGuaFouzBB(op_LdNpr8hQHL(b),op_oP7ayciNnu(a))
    return count


def op_cwpaZKqNQL(a):
    return op_LTFpk6MNXo(op_QxG7OkqoLX(op_XIIwhv8d0m(a,a)))

def op_count_cwpaZKqNQL(a):
    count = op_count_XIIwhv8d0m(a,a)+op_count_QxG7OkqoLX(op_XIIwhv8d0m(a,a))+op_count_LTFpk6MNXo(op_QxG7OkqoLX(op_XIIwhv8d0m(a,a)))
    return count


a⋞⩋ = { (((a⋸≝⫓a)⩘⨹⊿(a⫭⋕a))⩫⨔((⪗⇀a)⫶⨥∧(a⊡⇸⨱a))) }

def op_b5rQmwghru(a):
    return op_2uO7qEltAa(op_3ldUWfsXlD(op_QY0RZ2ConY(a,a),op_d23X9ho1m8(a,a)),op_RSrFWgTMUf(op_705C7djen7(a),op_aXrETpFXun(a,a)))

def op_count_b5rQmwghru(a):
    count = op_count_QY0RZ2ConY(a,a)+op_count_d23X9ho1m8(a,a)+op_count_3ldUWfsXlD(op_QY0RZ2ConY(a,a),op_d23X9ho1m8(a,a))+op_count_705C7djen7(a)+op_count_aXrETpFXun(a,a)+op_count_RSrFWgTMUf(op_705C7djen7(a),op_aXrETpFXun(a,a))+op_count_2uO7qEltAa(op_3ldUWfsXlD(op_QY0RZ2ConY(a,a),op_d23X9ho1m8(a,a)),op_RSrFWgTMUf(op_705C7djen7(a),op_aXrETpFXun(a,a)))
    return count


def op_9zR20WlKw4(a):
    return op_kMhfGuqI2H(op_aUmFd7VRsS(op_dWAJyo7jo9(a,a),op_pUl58FdsSl(319,a)))

def op_count_9zR20WlKw4(a):
    count = op_count_dWAJyo7jo9(a,a)+op_count_pUl58FdsSl(319,a)+op_count_aUmFd7VRsS(op_dWAJyo7jo9(a,a),op_pUl58FdsSl(319,a))+op_count_kMhfGuqI2H(op_aUmFd7VRsS(op_dWAJyo7jo9(a,a),op_pUl58FdsSl(319,a)))
    return count


def op_voxtxMVRjY(a):
    return op_oxHsYMqCma(op_B5M0gjZbta(a,106),op_oCumtb3mAM(a,a))

def op_count_voxtxMVRjY(a):
    count = op_count_B5M0gjZbta(a,106)+op_count_oCumtb3mAM(a,a)+op_count_oxHsYMqCma(op_B5M0gjZbta(a,106),op_oCumtb3mAM(a,a))
    return count


def op_1WIH7Ng9TW(a, b):
    return op_AOY1O378J6(op_XvIobvOzEP(op_gaaDP0UKzK(309,a)),op_DD02tHBmow(op_2BQfft9YfO(b,b),b))

def op_count_1WIH7Ng9TW(a, b):
    count = op_count_gaaDP0UKzK(309,a)+op_count_XvIobvOzEP(op_gaaDP0UKzK(309,a))+op_count_2BQfft9YfO(b,b)+op_count_DD02tHBmow(op_2BQfft9YfO(b,b),b)+op_count_AOY1O378J6(op_XvIobvOzEP(op_gaaDP0UKzK(309,a)),op_DD02tHBmow(op_2BQfft9YfO(b,b),b))
    return count


def op_pvXoX830Cz(a):
    return op_ubid7NfitL(op_XvIobvOzEP(op_Qglmzouulk(a,a)))

def op_count_pvXoX830Cz(a):
    count = op_count_Qglmzouulk(a,a)+op_count_XvIobvOzEP(op_Qglmzouulk(a,a))+op_count_ubid7NfitL(op_XvIobvOzEP(op_Qglmzouulk(a,a)))
    return count


def op_KM1nDfjEeq(a):
    return op_RqrPlJkxDo(a,a)

def op_count_KM1nDfjEeq(a):
    count = op_count_RqrPlJkxDo(a,a)
    return count


def op_EiaY72rnSY(a, b):
    return op_XvIobvOzEP(op_8rgMBn28gJ(a,b))

def op_count_EiaY72rnSY(a, b):
    count = op_count_8rgMBn28gJ(a,b)+op_count_XvIobvOzEP(op_8rgMBn28gJ(a,b))
    return count


def op_GNMnTu41QR(a):
    return op_B5M0gjZbta(op_Vi115CZOaf(op_9ombZPhn77(15)),op_UYEGcvXLMF(op_H3tyUZ4Sxf(a),op_hn0CQGOdYJ(211)))

def op_count_GNMnTu41QR(a):
    count = op_count_9ombZPhn77(15)+op_count_Vi115CZOaf(op_9ombZPhn77(15))+op_count_H3tyUZ4Sxf(a)+op_count_hn0CQGOdYJ(211)+op_count_UYEGcvXLMF(op_H3tyUZ4Sxf(a),op_hn0CQGOdYJ(211))+op_count_B5M0gjZbta(op_Vi115CZOaf(op_9ombZPhn77(15)),op_UYEGcvXLMF(op_H3tyUZ4Sxf(a),op_hn0CQGOdYJ(211)))
    return count


a≅⋻ = { (((a⇁≍↕a)⋧⫖∥)∽⫄((a⋘≐⇭a)↝⩡(737⪚≡a))) }

def op_UaKSNPacrg(a):
    return op_RBKPHo7Qd9(op_GMFhbk3k8M(op_qmQdYVJtpo(a,a)),op_JjBRwFuOb8(op_Am2kwplcWj(a,a),op_6zZYUn3aWT(737,a)))

def op_count_UaKSNPacrg(a):
    count = op_count_qmQdYVJtpo(a,a)+op_count_GMFhbk3k8M(op_qmQdYVJtpo(a,a))+op_count_Am2kwplcWj(a,a)+op_count_6zZYUn3aWT(737,a)+op_count_JjBRwFuOb8(op_Am2kwplcWj(a,a),op_6zZYUn3aWT(737,a))+op_count_RBKPHo7Qd9(op_GMFhbk3k8M(op_qmQdYVJtpo(a,a)),op_JjBRwFuOb8(op_Am2kwplcWj(a,a),op_6zZYUn3aWT(737,a)))
    return count


def op_tXgyIPiTiF(a):
    return op_QxG7OkqoLX(op_u3oAJHhj7U(a,a))

def op_count_tXgyIPiTiF(a):
    count = op_count_u3oAJHhj7U(a,a)+op_count_QxG7OkqoLX(op_u3oAJHhj7U(a,a))
    return count


def op_s8QelVTKOj(a):
    return op_PgomNjGXmI(op_fFznvYxMfW(a),op_q1sc1H7in7(a,a))

def op_count_s8QelVTKOj(a):
    count = op_count_fFznvYxMfW(a)+op_count_q1sc1H7in7(a,a)+op_count_PgomNjGXmI(op_fFznvYxMfW(a),op_q1sc1H7in7(a,a))
    return count


a⨬≨ = { (((a⫑⩧a)↳⋿(a∌↝27))⨬⨂((a⇃≚a)⊝⩱(a⇗⋫))) }

def op_Y4Ns5O4HUI(a):
    return op_KavkuCulQy(op_p48QDZTAL3(op_tdtqYdqRBy(a,a),op_9Isq31Ruls(a,27)),op_0jCm5pNiJO(op_mErJyYWwFl(a,a),op_hpqmaQFPrd(a)))

def op_count_Y4Ns5O4HUI(a):
    count = op_count_tdtqYdqRBy(a,a)+op_count_9Isq31Ruls(a,27)+op_count_p48QDZTAL3(op_tdtqYdqRBy(a,a),op_9Isq31Ruls(a,27))+op_count_mErJyYWwFl(a,a)+op_count_hpqmaQFPrd(a)+op_count_0jCm5pNiJO(op_mErJyYWwFl(a,a),op_hpqmaQFPrd(a))+op_count_KavkuCulQy(op_p48QDZTAL3(op_tdtqYdqRBy(a,a),op_9Isq31Ruls(a,27)),op_0jCm5pNiJO(op_mErJyYWwFl(a,a),op_hpqmaQFPrd(a)))
    return count


def op_lrMZEyg93Y(a, b):
    return op_sg2Ti6lDhT(op_gJLn6v0xnP(op_KfUWWnJWrf(a,a),op_3H1LgMeZyw(b,b)),b)

def op_count_lrMZEyg93Y(a, b):
    count = op_count_KfUWWnJWrf(a,a)+op_count_3H1LgMeZyw(b,b)+op_count_gJLn6v0xnP(op_KfUWWnJWrf(a,a),op_3H1LgMeZyw(b,b))+op_count_sg2Ti6lDhT(op_gJLn6v0xnP(op_KfUWWnJWrf(a,a),op_3H1LgMeZyw(b,b)),b)
    return count


def op_7r9lWtumNn(a, b):
    return op_5uvYHDjeKN(op_mHbOv7fYp3(op_kDQ0oYbj3W(b,a),a),24)

def op_count_7r9lWtumNn(a, b):
    count = op_count_kDQ0oYbj3W(b,a)+op_count_mHbOv7fYp3(op_kDQ0oYbj3W(b,a),a)+op_count_5uvYHDjeKN(op_mHbOv7fYp3(op_kDQ0oYbj3W(b,a),a),24)
    return count


a∍∳ = { (((a⫂∏a)⊓≸(a⩞⋂a))≏⪷⨊(≅⋟⩖(a↬7))) }

def op_cO28hKbTNJ(a):
    return op_aP2QVQG16R(op_W9l7OelwO5(op_01leFtwrgg(a,a),op_TQtCT2lTQ7(a,a)),op_h1TzpREX0q(op_B5M0gjZbta(a,7)))

def op_count_cO28hKbTNJ(a):
    count = op_count_01leFtwrgg(a,a)+op_count_TQtCT2lTQ7(a,a)+op_count_W9l7OelwO5(op_01leFtwrgg(a,a),op_TQtCT2lTQ7(a,a))+op_count_B5M0gjZbta(a,7)+op_count_h1TzpREX0q(op_B5M0gjZbta(a,7))+op_count_aP2QVQG16R(op_W9l7OelwO5(op_01leFtwrgg(a,a),op_TQtCT2lTQ7(a,a)),op_h1TzpREX0q(op_B5M0gjZbta(a,7)))
    return count


def op_jTUQWPWlRo(a):
    return op_RqrPlJkxDo(op_VdfggxAD5a(a),op_NFZUlXRknZ(a))

def op_count_jTUQWPWlRo(a):
    count = op_count_VdfggxAD5a(a)+op_count_NFZUlXRknZ(a)+op_count_RqrPlJkxDo(op_VdfggxAD5a(a),op_NFZUlXRknZ(a))
    return count


a⨲⫊⨸ = { (((a⇫a)∓⨐↟(⪠⫆⪹130))⇖⇪⩋((a⫃⨇a)⊎≻(a⪥⨬⪅))) }

def op_Lr93u69eyX(a):
    return op_drGApofLVL(op_pICi4oG5sS(op_MKCxaPE9tg(a,a),op_SggTXhFfzB(130)),op_794JarEjDv(op_09Ly4LVMIf(a,a),op_zNRQejTB5A(a)))

def op_count_Lr93u69eyX(a):
    count = op_count_MKCxaPE9tg(a,a)+op_count_SggTXhFfzB(130)+op_count_pICi4oG5sS(op_MKCxaPE9tg(a,a),op_SggTXhFfzB(130))+op_count_09Ly4LVMIf(a,a)+op_count_zNRQejTB5A(a)+op_count_794JarEjDv(op_09Ly4LVMIf(a,a),op_zNRQejTB5A(a))+op_count_drGApofLVL(op_pICi4oG5sS(op_MKCxaPE9tg(a,a),op_SggTXhFfzB(130)),op_794JarEjDv(op_09Ly4LVMIf(a,a),op_zNRQejTB5A(a)))
    return count


def op_X4OJVKLclP(a):
    return op_fp9lZ9ehPv(a,a)

def op_count_X4OJVKLclP(a):
    count = op_count_fp9lZ9ehPv(a,a)
    return count


∷⇞⨂a = { (((a⇗⋫)⪵⩧⪨(a≪⫇a))⩀⊡⫎(a⊸⇪⫘59)) }

def op_lk5KUF3LT6(a):
    return op_AqOJp2vyCx(op_0QEWQRhRpH(op_hpqmaQFPrd(a),op_HJmRI3zxge(a,a)),op_55mBqzxS3b(a,59))

def op_count_lk5KUF3LT6(a):
    count = op_count_hpqmaQFPrd(a)+op_count_HJmRI3zxge(a,a)+op_count_0QEWQRhRpH(op_hpqmaQFPrd(a),op_HJmRI3zxge(a,a))+op_count_55mBqzxS3b(a,59)+op_count_AqOJp2vyCx(op_0QEWQRhRpH(op_hpqmaQFPrd(a),op_HJmRI3zxge(a,a)),op_55mBqzxS3b(a,59))
    return count


def op_bNB1eSpQzQ(a):
    return op_8POb3bc2fl(op_lyWz822IDG(166,a))

def op_count_bNB1eSpQzQ(a):
    count = op_count_lyWz822IDG(166,a)+op_count_8POb3bc2fl(op_lyWz822IDG(166,a))
    return count


a≞⊜⇢ = { (((≮378)⊛∫a)⊃⋓((≡⊻a)⫣≾⊺(a⩙∯⨿a))) }

def op_wsp1905Uhj(a):
    return op_UdJFuQTeHN(op_VITHB2EcLN(op_bVRrhJZyGv(378),a),op_LXAvwK8YDe(op_15J2qxtmnt(a),op_lPY5QE4vSP(a,a)))

def op_count_wsp1905Uhj(a):
    count = op_count_bVRrhJZyGv(378)+op_count_VITHB2EcLN(op_bVRrhJZyGv(378),a)+op_count_15J2qxtmnt(a)+op_count_lPY5QE4vSP(a,a)+op_count_LXAvwK8YDe(op_15J2qxtmnt(a),op_lPY5QE4vSP(a,a))+op_count_UdJFuQTeHN(op_VITHB2EcLN(op_bVRrhJZyGv(378),a),op_LXAvwK8YDe(op_15J2qxtmnt(a),op_lPY5QE4vSP(a,a)))
    return count


def op_GT9N1GhbMu(a):
    return op_3H1LgMeZyw(op_YJnbaRgmQd(a,a),op_76omu7AsKt(a,a))

def op_count_GT9N1GhbMu(a):
    count = op_count_YJnbaRgmQd(a,a)+op_count_76omu7AsKt(a,a)+op_count_3H1LgMeZyw(op_YJnbaRgmQd(a,a),op_76omu7AsKt(a,a))
    return count


def op_DZZ4X6ZUZ8(a, b):
    return op_ljTHtUsqzn(op_XIIwhv8d0m(b,a))

def op_count_DZZ4X6ZUZ8(a, b):
    count = op_count_XIIwhv8d0m(b,a)+op_count_ljTHtUsqzn(op_XIIwhv8d0m(b,a))
    return count


def op_IWtRCxqZVe(a, b):
    return op_LXhwmt4mBO(op_vomVLQX1UC(472,a),op_1Hm2IkY58k(b,a))

def op_count_IWtRCxqZVe(a, b):
    count = op_count_vomVLQX1UC(472,a)+op_count_1Hm2IkY58k(b,a)+op_count_LXhwmt4mBO(op_vomVLQX1UC(472,a),op_1Hm2IkY58k(b,a))
    return count


def op_KbrwcEfpto(a):
    return op_8lBC7wqBde(op_bVRrhJZyGv(op_kSF6tTRmc5(a,a)),op_F2taXPkQ1B(op_2fAMLLeFHb(a),op_ojE0ZAmiGE(a,a)))

def op_count_KbrwcEfpto(a):
    count = op_count_kSF6tTRmc5(a,a)+op_count_bVRrhJZyGv(op_kSF6tTRmc5(a,a))+op_count_2fAMLLeFHb(a)+op_count_ojE0ZAmiGE(a,a)+op_count_F2taXPkQ1B(op_2fAMLLeFHb(a),op_ojE0ZAmiGE(a,a))+op_count_8lBC7wqBde(op_bVRrhJZyGv(op_kSF6tTRmc5(a,a)),op_F2taXPkQ1B(op_2fAMLLeFHb(a),op_ojE0ZAmiGE(a,a)))
    return count


def op_R5sYxilMXY(a):
    return op_Z8Yg6dlDSp(op_VetzYauijD(a,157))

def op_count_R5sYxilMXY(a):
    count = op_count_VetzYauijD(a,157)+op_count_Z8Yg6dlDSp(op_VetzYauijD(a,157))
    return count


def op_JaVJli3Agd(a, b):
    return op_inkyxCbjAn(op_vhtqQa4va1(b,a))

def op_count_JaVJli3Agd(a, b):
    count = op_count_vhtqQa4va1(b,a)+op_count_inkyxCbjAn(op_vhtqQa4va1(b,a))
    return count


def op_mQ4d46yodV(a):
    return op_Bi2MWj41Oq(op_inkyxCbjAn(a),op_7IRjtmSsUO(113,a))

def op_count_mQ4d46yodV(a):
    count = op_count_inkyxCbjAn(a)+op_count_7IRjtmSsUO(113,a)+op_count_Bi2MWj41Oq(op_inkyxCbjAn(a),op_7IRjtmSsUO(113,a))
    return count


a↡≸b = { (((a⫰⊡⋐189)⩍⋽⫝̸(b⪌⪨≬522))⊓≸((b⪂∄a)⫰⨅(b⩘⨬⇊))) }

def op_gZQI4HtX5E(a, b):
    return op_W9l7OelwO5(op_BiWNJpBvwn(op_2GQrsJBuJP(a,189),op_bSPgBAnEaR(b,522)),op_tawivNIhYz(op_LruclEJH8T(b,a),op_XXmTpEpWTW(b)))

def op_count_gZQI4HtX5E(a, b):
    count = op_count_2GQrsJBuJP(a,189)+op_count_bSPgBAnEaR(b,522)+op_count_BiWNJpBvwn(op_2GQrsJBuJP(a,189),op_bSPgBAnEaR(b,522))+op_count_LruclEJH8T(b,a)+op_count_XXmTpEpWTW(b)+op_count_tawivNIhYz(op_LruclEJH8T(b,a),op_XXmTpEpWTW(b))+op_count_W9l7OelwO5(op_BiWNJpBvwn(op_2GQrsJBuJP(a,189),op_bSPgBAnEaR(b,522)),op_tawivNIhYz(op_LruclEJH8T(b,a),op_XXmTpEpWTW(b)))
    return count


def op_kmSMNtBcZN(a, b):
    return op_QvoQhV0rrE(op_DcJ7QUUf6x(a,b),op_Xw48T5MRcn(a,b))

def op_count_kmSMNtBcZN(a, b):
    count = op_count_DcJ7QUUf6x(a,b)+op_count_Xw48T5MRcn(a,b)+op_count_QvoQhV0rrE(op_DcJ7QUUf6x(a,b),op_Xw48T5MRcn(a,b))
    return count


⋃⪝a = { ((a⫠⇫(a⇓⊀⋳a))≆⪨⩷((⋇⊏↤a)⋔∾(≊↨⫅730))) }

def op_pf2gA5GdH4(a):
    return op_0e2ucfioNt(op_vcxtb3AGcD(a,op_V9cNOZsTu7(a,a)),op_5bjJf2Re4f(op_v6sZgv7VMj(a),op_Ztq9i7DO88(730)))

def op_count_pf2gA5GdH4(a):
    count = op_count_V9cNOZsTu7(a,a)+op_count_vcxtb3AGcD(a,op_V9cNOZsTu7(a,a))+op_count_v6sZgv7VMj(a)+op_count_Ztq9i7DO88(730)+op_count_5bjJf2Re4f(op_v6sZgv7VMj(a),op_Ztq9i7DO88(730))+op_count_0e2ucfioNt(op_vcxtb3AGcD(a,op_V9cNOZsTu7(a,a)),op_5bjJf2Re4f(op_v6sZgv7VMj(a),op_Ztq9i7DO88(730)))
    return count


def op_OIABFuQgp2(a):
    return op_zLfG7Ay1vB(op_yPRFSXaFQ1(op_AhDKBC5IVD(a,a),op_vqMs4v2zd9(a,a)),a)

def op_count_OIABFuQgp2(a):
    count = op_count_AhDKBC5IVD(a,a)+op_count_vqMs4v2zd9(a,a)+op_count_yPRFSXaFQ1(op_AhDKBC5IVD(a,a),op_vqMs4v2zd9(a,a))+op_count_zLfG7Ay1vB(op_yPRFSXaFQ1(op_AhDKBC5IVD(a,a),op_vqMs4v2zd9(a,a)),a)
    return count


def op_bSrlwGa7tz(a):
    return op_Z8kU1u1TkF(op_fiyr0jWrCc(op_vomVLQX1UC(286,a)),op_pCrAblrVOW(op_oXQ8EQIAzy(a,a)))

def op_count_bSrlwGa7tz(a):
    count = op_count_vomVLQX1UC(286,a)+op_count_fiyr0jWrCc(op_vomVLQX1UC(286,a))+op_count_oXQ8EQIAzy(a,a)+op_count_pCrAblrVOW(op_oXQ8EQIAzy(a,a))+op_count_Z8kU1u1TkF(op_fiyr0jWrCc(op_vomVLQX1UC(286,a)),op_pCrAblrVOW(op_oXQ8EQIAzy(a,a)))
    return count


def op_KomTcHYoPg(a, b):
    return op_jOWLc0xSqG(op_oqoWAMqwIq(a,b),op_zgUsEIwSkM(b))

def op_count_KomTcHYoPg(a, b):
    count = op_count_oqoWAMqwIq(a,b)+op_count_zgUsEIwSkM(b)+op_count_jOWLc0xSqG(op_oqoWAMqwIq(a,b),op_zgUsEIwSkM(b))
    return count


def op_5rrBl5Dqfn(a, b):
    return op_MscnI5MLJ2(op_B5M0gjZbta(b,a),op_sEZinQEkP6(b))

def op_count_5rrBl5Dqfn(a, b):
    count = op_count_B5M0gjZbta(b,a)+op_count_sEZinQEkP6(b)+op_count_MscnI5MLJ2(op_B5M0gjZbta(b,a),op_sEZinQEkP6(b))
    return count


def op_Ds16AGIGxj(a):
    return op_NvvUe35Zgj(op_QxG7OkqoLX(a),op_OhqpJ7Tl0K(a,a))

def op_count_Ds16AGIGxj(a):
    count = op_count_QxG7OkqoLX(a)+op_count_OhqpJ7Tl0K(a,a)+op_count_NvvUe35Zgj(op_QxG7OkqoLX(a),op_OhqpJ7Tl0K(a,a))
    return count


⊪⪽⪱a = { (((⫉a)⫘⊊∳)⇳((⊶↦⫞a)⇃⋏(291⋱a))) }

def op_g894Gvoc5N(a):
    return op_ekA2oeJZMY(op_xbEYQ3tv66(op_NajNryHj1W(a)),op_sVBMypNds7(op_K1RGqz2nJX(a),op_rK7H9hZmfU(291,a)))

def op_count_g894Gvoc5N(a):
    count = op_count_NajNryHj1W(a)+op_count_xbEYQ3tv66(op_NajNryHj1W(a))+op_count_K1RGqz2nJX(a)+op_count_rK7H9hZmfU(291,a)+op_count_sVBMypNds7(op_K1RGqz2nJX(a),op_rK7H9hZmfU(291,a))+op_count_ekA2oeJZMY(op_xbEYQ3tv66(op_NajNryHj1W(a)),op_sVBMypNds7(op_K1RGqz2nJX(a),op_rK7H9hZmfU(291,a)))
    return count


a⩓⋕b = { (((b⊀⋬↔a)⨴⇡≱(↻b))⊋∃⫍(⪱≕⊎(a≜⋭a))) }

def op_vSL5fd0THQ(a, b):
    return op_YWzE9lFDSS(op_hOoiUWkgqb(op_MduqJzDb6X(b,a),op_F9h1TXRPf3(b)),op_zgUsEIwSkM(op_XzRlZGVJ3s(a,a)))

def op_count_vSL5fd0THQ(a, b):
    count = op_count_MduqJzDb6X(b,a)+op_count_F9h1TXRPf3(b)+op_count_hOoiUWkgqb(op_MduqJzDb6X(b,a),op_F9h1TXRPf3(b))+op_count_XzRlZGVJ3s(a,a)+op_count_zgUsEIwSkM(op_XzRlZGVJ3s(a,a))+op_count_YWzE9lFDSS(op_hOoiUWkgqb(op_MduqJzDb6X(b,a),op_F9h1TXRPf3(b)),op_zgUsEIwSkM(op_XzRlZGVJ3s(a,a)))
    return count


def op_R0q8q5WLad(a):
    return op_fp9lZ9ehPv(a,a)

def op_count_R0q8q5WLad(a):
    count = op_count_fp9lZ9ehPv(a,a)
    return count


def op_McVQ0k9Xcy(a):
    return op_OXDGMFPWZM(5,a)

def op_count_McVQ0k9Xcy(a):
    count = op_count_OXDGMFPWZM(5,a)
    return count


def op_l6AczFiwgH(a, b):
    return op_pqh8fhqG2f(op_LEAxZ6hxWI(op_4VWYPRYUty(a,b),op_sMyAjHvMXx(a)))

def op_count_l6AczFiwgH(a, b):
    count = op_count_4VWYPRYUty(a,b)+op_count_sMyAjHvMXx(a)+op_count_LEAxZ6hxWI(op_4VWYPRYUty(a,b),op_sMyAjHvMXx(a))+op_count_pqh8fhqG2f(op_LEAxZ6hxWI(op_4VWYPRYUty(a,b),op_sMyAjHvMXx(a)))
    return count


def op_sac1lRjzhP(a):
    return op_VP5j3Cbanc(507,a)

def op_count_sac1lRjzhP(a):
    count = op_count_VP5j3Cbanc(507,a)
    return count


def op_vLnLuvDDZF(a, b):
    return op_hpqmaQFPrd(op_2rNkuxh6vz(op_POp3h4pmYF(b,a),op_mLFH2NRKNI(b)))

def op_count_vLnLuvDDZF(a, b):
    count = op_count_POp3h4pmYF(b,a)+op_count_mLFH2NRKNI(b)+op_count_2rNkuxh6vz(op_POp3h4pmYF(b,a),op_mLFH2NRKNI(b))+op_count_hpqmaQFPrd(op_2rNkuxh6vz(op_POp3h4pmYF(b,a),op_mLFH2NRKNI(b)))
    return count


a≎⇹⊧ = { (((a⊶≥←a)⪴⪗∳(a⨒⪀1))⇂≇⇔((⨦⪝a)⩯⪭-(15⋩a))) }

def op_0WdsTw3HZN(a):
    return op_KPAwcjRsPd(op_YUijxPlj15(op_dJJu7uapqE(a,a),op_6UwzacJ3Gx(a,1)),op_fI2wvvCsHG(op_SUjycxNXIR(a),op_NjWr5y99d1(15,a)))

def op_count_0WdsTw3HZN(a):
    count = op_count_dJJu7uapqE(a,a)+op_count_6UwzacJ3Gx(a,1)+op_count_YUijxPlj15(op_dJJu7uapqE(a,a),op_6UwzacJ3Gx(a,1))+op_count_SUjycxNXIR(a)+op_count_NjWr5y99d1(15,a)+op_count_fI2wvvCsHG(op_SUjycxNXIR(a),op_NjWr5y99d1(15,a))+op_count_KPAwcjRsPd(op_YUijxPlj15(op_dJJu7uapqE(a,a),op_6UwzacJ3Gx(a,1)),op_fI2wvvCsHG(op_SUjycxNXIR(a),op_NjWr5y99d1(15,a)))
    return count


def op_k99ZrMI2gR(a):
    return op_6gQ0EqwXZr(op_XgQyT9TGvu(a,a),op_SUjycxNXIR(a))

def op_count_k99ZrMI2gR(a):
    count = op_count_XgQyT9TGvu(a,a)+op_count_SUjycxNXIR(a)+op_count_6gQ0EqwXZr(op_XgQyT9TGvu(a,a),op_SUjycxNXIR(a))
    return count


def op_gntz0UsZi2(a):
    return op_M79hUXQlnf(a,487)

def op_count_gntz0UsZi2(a):
    count = op_count_M79hUXQlnf(a,487)
    return count


def op_9GjiAsM3Sr(a):
    return op_HRk3UwFOL9(op_CE7Hs0LNkj(a,a))

def op_count_9GjiAsM3Sr(a):
    count = op_count_CE7Hs0LNkj(a,a)+op_count_HRk3UwFOL9(op_CE7Hs0LNkj(a,a))
    return count


def op_huykgTGHko(a):
    return op_G0R6HKjiJP(op_O7qnFq89DT(a),op_aBQ6xLxuTc(a,a))

def op_count_huykgTGHko(a):
    count = op_count_O7qnFq89DT(a)+op_count_aBQ6xLxuTc(a,a)+op_count_G0R6HKjiJP(op_O7qnFq89DT(a),op_aBQ6xLxuTc(a,a))
    return count


def op_hS7w2lpJhP(a, b):
    return op_6edfhCO2EE(op_Xi4clIOpIx(op_2uO7qEltAa(b,a)))

def op_count_hS7w2lpJhP(a, b):
    count = op_count_2uO7qEltAa(b,a)+op_count_Xi4clIOpIx(op_2uO7qEltAa(b,a))+op_count_6edfhCO2EE(op_Xi4clIOpIx(op_2uO7qEltAa(b,a)))
    return count


def op_5An7zcqXbR(a, b):
    return op_ExT1EayJM6(op_yxiS2IFDsO(op_VWdWub1Bzg(b,b)),op_6RH3pnjgqk(op_VA1QDPD51e(4),op_43qyRbuflC(a)))

def op_count_5An7zcqXbR(a, b):
    count = op_count_VWdWub1Bzg(b,b)+op_count_yxiS2IFDsO(op_VWdWub1Bzg(b,b))+op_count_VA1QDPD51e(4)+op_count_43qyRbuflC(a)+op_count_6RH3pnjgqk(op_VA1QDPD51e(4),op_43qyRbuflC(a))+op_count_ExT1EayJM6(op_yxiS2IFDsO(op_VWdWub1Bzg(b,b)),op_6RH3pnjgqk(op_VA1QDPD51e(4),op_43qyRbuflC(a)))
    return count


def op_pJJqhdpLbQ(a):
    return op_A1OgdcMHe9(op_8rgMBn28gJ(op_pdGYp7HkH3(185,259),op_SUjycxNXIR(a)),a)

def op_count_pJJqhdpLbQ(a):
    count = op_count_pdGYp7HkH3(185,259)+op_count_SUjycxNXIR(a)+op_count_8rgMBn28gJ(op_pdGYp7HkH3(185,259),op_SUjycxNXIR(a))+op_count_A1OgdcMHe9(op_8rgMBn28gJ(op_pdGYp7HkH3(185,259),op_SUjycxNXIR(a)),a)
    return count


def op_vvtY5yu77W(a):
    return op_2uO7qEltAa(a,a)

def op_count_vvtY5yu77W(a):
    count = op_count_2uO7qEltAa(a,a)
    return count


↭⨕⩉a = { (((⪸↖⩋a)⩗⩤(a⇳≅))≩⨳((a⨮⊪⩳a)⩉⊡⋼(⨝⨆a))) }

def op_4OccL6OZ3b(a):
    return op_zH3mEP4fZ2(op_iQVWWJ5UFC(op_MjAvgD1kgE(a),op_GAUYhZJcYo(a)),op_5EKtqEE5Ob(op_xgYOZyJC4Q(a,a),op_bQ67fsrMVf(a)))

def op_count_4OccL6OZ3b(a):
    count = op_count_MjAvgD1kgE(a)+op_count_GAUYhZJcYo(a)+op_count_iQVWWJ5UFC(op_MjAvgD1kgE(a),op_GAUYhZJcYo(a))+op_count_xgYOZyJC4Q(a,a)+op_count_bQ67fsrMVf(a)+op_count_5EKtqEE5Ob(op_xgYOZyJC4Q(a,a),op_bQ67fsrMVf(a))+op_count_zH3mEP4fZ2(op_iQVWWJ5UFC(op_MjAvgD1kgE(a),op_GAUYhZJcYo(a)),op_5EKtqEE5Ob(op_xgYOZyJC4Q(a,a),op_bQ67fsrMVf(a)))
    return count


a↔∻↧b = { (((b⊀⨢b)⇡⨐⪆(a⫞⩸⩒b))∣∻⫱(⊽(b⊟⇵⫊b))) }

def op_pu5lWBPaE0(a, b):
    return op_7ZiIqrHWXK(op_snJ4WsMDae(op_qabBOWcXus(b,b),op_XGcMNugi78(a,b)),op_QxG7OkqoLX(op_ov2Ek6r32i(b,b)))

def op_count_pu5lWBPaE0(a, b):
    count = op_count_qabBOWcXus(b,b)+op_count_XGcMNugi78(a,b)+op_count_snJ4WsMDae(op_qabBOWcXus(b,b),op_XGcMNugi78(a,b))+op_count_ov2Ek6r32i(b,b)+op_count_QxG7OkqoLX(op_ov2Ek6r32i(b,b))+op_count_7ZiIqrHWXK(op_snJ4WsMDae(op_qabBOWcXus(b,b),op_XGcMNugi78(a,b)),op_QxG7OkqoLX(op_ov2Ek6r32i(b,b)))
    return count


def op_EAysOok3PQ(a):
    return op_XvIobvOzEP(op_tIhPxZTbsh(a,op_TggRJD4cLo(a,a)))

def op_count_EAysOok3PQ(a):
    count = op_count_TggRJD4cLo(a,a)+op_count_tIhPxZTbsh(a,op_TggRJD4cLo(a,a))+op_count_XvIobvOzEP(op_tIhPxZTbsh(a,op_TggRJD4cLo(a,a)))
    return count


a⇢⇕∜ = { ((∴∂∝(≮a))⨬⫝̸⋏((a≹⪫⩨305)≹≨⨇(a⪌⨝∇17))) }

def op_yzHfwkUxtU(a):
    return op_BXhbPCvB7N(op_EKO8KMgjXs(op_bVRrhJZyGv(a)),op_aGhYYhn7J7(op_FfDWFnkQRw(a,305),op_J3kS3MdmEX(a,17)))

def op_count_yzHfwkUxtU(a):
    count = op_count_bVRrhJZyGv(a)+op_count_EKO8KMgjXs(op_bVRrhJZyGv(a))+op_count_FfDWFnkQRw(a,305)+op_count_J3kS3MdmEX(a,17)+op_count_aGhYYhn7J7(op_FfDWFnkQRw(a,305),op_J3kS3MdmEX(a,17))+op_count_BXhbPCvB7N(op_EKO8KMgjXs(op_bVRrhJZyGv(a)),op_aGhYYhn7J7(op_FfDWFnkQRw(a,305),op_J3kS3MdmEX(a,17)))
    return count


def op_MYNPQM0aGy(a):
    return op_fp9lZ9ehPv(a,a)

def op_count_MYNPQM0aGy(a):
    count = op_count_fp9lZ9ehPv(a,a)
    return count


def op_09CjGr1ZIw(a, b):
    return op_bVRrhJZyGv(op_vs8iUQwOA7(a,b))

def op_count_09CjGr1ZIw(a, b):
    count = op_count_vs8iUQwOA7(a,b)+op_count_bVRrhJZyGv(op_vs8iUQwOA7(a,b))
    return count


def op_X2cZYcYiXy(a):
    return op_GAUYhZJcYo(op_qmIDKKAtKh(a,41))

def op_count_X2cZYcYiXy(a):
    count = op_count_qmIDKKAtKh(a,41)+op_count_GAUYhZJcYo(op_qmIDKKAtKh(a,41))
    return count


def op_xw0pI7wePe(a):
    return op_sFi0oIX7gK(op_5uvYHDjeKN(6,a),op_GcMbCaBGfs(a))

def op_count_xw0pI7wePe(a):
    count = op_count_5uvYHDjeKN(6,a)+op_count_GcMbCaBGfs(a)+op_count_sFi0oIX7gK(op_5uvYHDjeKN(6,a),op_GcMbCaBGfs(a))
    return count


def op_bSfzQYCIRf(a):
    return op_4VWYPRYUty(a,a)

def op_count_bSfzQYCIRf(a):
    count = op_count_4VWYPRYUty(a,a)
    return count


def op_VnPZggtk2s(a):
    return op_vqMs4v2zd9(op_I1sHTgYUb4(a,a),op_BM5aFeEVeK(a,a))

def op_count_VnPZggtk2s(a):
    count = op_count_I1sHTgYUb4(a,a)+op_count_BM5aFeEVeK(a,a)+op_count_vqMs4v2zd9(op_I1sHTgYUb4(a,a),op_BM5aFeEVeK(a,a))
    return count


def op_gHuyvWy3qR(a):
    return op_kYn7oTuhzg(op_M3eNBtCyWN(op_SUjycxNXIR(a)))

def op_count_gHuyvWy3qR(a):
    count = op_count_SUjycxNXIR(a)+op_count_M3eNBtCyWN(op_SUjycxNXIR(a))+op_count_kYn7oTuhzg(op_M3eNBtCyWN(op_SUjycxNXIR(a)))
    return count


def op_EpMgWtKFRt(a):
    return op_Sjuc9qqcuM(op_8oUIdhBP3a(a,a),op_z63VuFQld9(a))

def op_count_EpMgWtKFRt(a):
    count = op_count_8oUIdhBP3a(a,a)+op_count_z63VuFQld9(a)+op_count_Sjuc9qqcuM(op_8oUIdhBP3a(a,a),op_z63VuFQld9(a))
    return count


def op_UCoF4dpoUX(a, b):
    return op_PEDxqk51Tr(op_5zd35EN7X2(a),op_hpqmaQFPrd(b))

def op_count_UCoF4dpoUX(a, b):
    count = op_count_5zd35EN7X2(a)+op_count_hpqmaQFPrd(b)+op_count_PEDxqk51Tr(op_5zd35EN7X2(a),op_hpqmaQFPrd(b))
    return count


def op_Aob7rYUiaV(a):
    return op_z63VuFQld9(op_dtjoqgJSx8(op_msRZmk5CCg(a,2),op_wWIXvozSzm(a)))

def op_count_Aob7rYUiaV(a):
    count = op_count_msRZmk5CCg(a,2)+op_count_wWIXvozSzm(a)+op_count_dtjoqgJSx8(op_msRZmk5CCg(a,2),op_wWIXvozSzm(a))+op_count_z63VuFQld9(op_dtjoqgJSx8(op_msRZmk5CCg(a,2),op_wWIXvozSzm(a)))
    return count


def op_FCXs00POMe(a):
    return op_zTd4o4K50M(op_jFan81Y8q9(op_2duuZjdUdY(a),op_EIdmTB6ive(273,a)))

def op_count_FCXs00POMe(a):
    count = op_count_2duuZjdUdY(a)+op_count_EIdmTB6ive(273,a)+op_count_jFan81Y8q9(op_2duuZjdUdY(a),op_EIdmTB6ive(273,a))+op_count_zTd4o4K50M(op_jFan81Y8q9(op_2duuZjdUdY(a),op_EIdmTB6ive(273,a)))
    return count


a⋔⇄⇉ = { (((a∔⋺≯a)⩚→∷)≮⩿((a⪔≤a)⫂⋇⩚(370⩄∠⩟))) }

def op_itZLZNS84C(a):
    return op_UlPEfdckiB(op_EME5WDdOsX(op_J7W6jckXgl(a,a)),op_jqQE7070fF(op_dnsoz1tpAU(a,a),op_ZsTN7hvPwQ(370)))

def op_count_itZLZNS84C(a):
    count = op_count_J7W6jckXgl(a,a)+op_count_EME5WDdOsX(op_J7W6jckXgl(a,a))+op_count_dnsoz1tpAU(a,a)+op_count_ZsTN7hvPwQ(370)+op_count_jqQE7070fF(op_dnsoz1tpAU(a,a),op_ZsTN7hvPwQ(370))+op_count_UlPEfdckiB(op_EME5WDdOsX(op_J7W6jckXgl(a,a)),op_jqQE7070fF(op_dnsoz1tpAU(a,a),op_ZsTN7hvPwQ(370)))
    return count


a∼∎ = { (((a∏≾⪝a)≽⊄(⩽⊟a))⪭≯((a↾⋫)⩹(a⊺⇆a))) }

def op_ct4vFlrI9p(a):
    return op_XAx5wpdLa6(op_3TrUmeR8ze(op_afN6VTYaCB(a,a),op_PjZhtZiQyW(a)),op_2Wsdkap16l(op_SI11VcxkTx(a),op_NbEzn8HcDr(a,a)))

def op_count_ct4vFlrI9p(a):
    count = op_count_afN6VTYaCB(a,a)+op_count_PjZhtZiQyW(a)+op_count_3TrUmeR8ze(op_afN6VTYaCB(a,a),op_PjZhtZiQyW(a))+op_count_SI11VcxkTx(a)+op_count_NbEzn8HcDr(a,a)+op_count_2Wsdkap16l(op_SI11VcxkTx(a),op_NbEzn8HcDr(a,a))+op_count_XAx5wpdLa6(op_3TrUmeR8ze(op_afN6VTYaCB(a,a),op_PjZhtZiQyW(a)),op_2Wsdkap16l(op_SI11VcxkTx(a),op_NbEzn8HcDr(a,a)))
    return count


def op_45oAOww3zV(a, b):
    return op_Xw48T5MRcn(op_KjrLlKX7GV(231),op_PQWaCfYBWv(b,a))

def op_count_45oAOww3zV(a, b):
    count = op_count_KjrLlKX7GV(231)+op_count_PQWaCfYBWv(b,a)+op_count_Xw48T5MRcn(op_KjrLlKX7GV(231),op_PQWaCfYBWv(b,a))
    return count


def op_z3faxSGi1d(a):
    return op_GDq8SIrlUA(op_rxpJgHHUmx(a,a))

def op_count_z3faxSGi1d(a):
    count = op_count_rxpJgHHUmx(a,a)+op_count_GDq8SIrlUA(op_rxpJgHHUmx(a,a))
    return count


def op_k4j1UM6AFL(a):
    if a > 43:
        return op_kILGUCmkJ2(449)
    else:
        return op_VP5j3Cbanc(150,a)

def op_count_k4j1UM6AFL(a):
    if a > 43:
        count = op_count_kILGUCmkJ2(449)
    else:
        count = op_count_VP5j3Cbanc(150,a)
    return count


⨒⨦⩗a = { ((1∠⊨≪a)⨢(387∕⪘≈a)) , if (a→⇚967)>532 ; ((a⩗⇿a)⊿⇿⫋(a≌a)) , else }

def op_OMagR2MmwA(a):
    if op_POp3h4pmYF(a,967) > 532:
        return op_wvOhsjS2Oe(op_Y6u3OyaTgl(1,a),op_9gOQWDhglh(387,a))
    else:
        return op_2IIP3LKPc2(op_tKtycZyL6s(a,a),op_lyWz822IDG(a,a))

def op_count_OMagR2MmwA(a):
    if op_POp3h4pmYF(a,967) > 532:
        count = op_count_Y6u3OyaTgl(1,a)+op_count_9gOQWDhglh(387,a)+op_count_wvOhsjS2Oe(op_Y6u3OyaTgl(1,a),op_9gOQWDhglh(387,a))+op_count_POp3h4pmYF(a,967)
    else:
        count = op_count_tKtycZyL6s(a,a)+op_count_lyWz822IDG(a,a)+op_count_2IIP3LKPc2(op_tKtycZyL6s(a,a),op_lyWz822IDG(a,a))
    return count


a⩄⊬↽ = { (a⪷↴324) , if (a⊿⩛≯)<=311 ; (⨁⨴a) , else }

def op_Ac186Ei7dS(a):
    if op_AzBzuuT2xo(a) <= 311:
        return op_Yslh20Vpco(a,324)
    else:
        return op_VWDfLP0KP3(a)

def op_count_Ac186Ei7dS(a):
    if op_AzBzuuT2xo(a) <= 311:
        count = op_count_Yslh20Vpco(a,324)+op_count_AzBzuuT2xo(a)
    else:
        count = op_count_VWDfLP0KP3(a)
    return count


∟∘⩘a = { (≨⇖(a⊍⩺⋍a)) , if (a↷⫍)<=735 ; ((⪣⩷≥a)⪷↴a) , else }

def op_xW88QDB5IU(a):
    if op_6MR30v0nNt(a) <= 735:
        return op_RDhvo9XtvN(op_OXDGMFPWZM(a,a))
    else:
        return op_Yslh20Vpco(op_q5hmDaWdah(a),a)

def op_count_xW88QDB5IU(a):
    if op_6MR30v0nNt(a) <= 735:
        count = op_count_OXDGMFPWZM(a,a)+op_count_RDhvo9XtvN(op_OXDGMFPWZM(a,a))+op_count_6MR30v0nNt(a)
    else:
        count = op_count_q5hmDaWdah(a)+op_count_Yslh20Vpco(op_q5hmDaWdah(a),a)
    return count


def op_vHKHbGv3gL(a, b):
    return op_RsIz0jMEOs(op_HRk3UwFOL9(b),op_ruSIQfV8F1(a))

def op_count_vHKHbGv3gL(a, b):
    count = op_count_HRk3UwFOL9(b)+op_count_ruSIQfV8F1(a)+op_count_RsIz0jMEOs(op_HRk3UwFOL9(b),op_ruSIQfV8F1(a))
    return count


def op_HToZR0AWSS(a, b):
    return op_Kep1ax30Fl(b,op_3H1LgMeZyw(op_AJW4C0rBPs(b,a),op_3HGl1MDrAU(144)))

def op_count_HToZR0AWSS(a, b):
    count = op_count_AJW4C0rBPs(b,a)+op_count_3HGl1MDrAU(144)+op_count_3H1LgMeZyw(op_AJW4C0rBPs(b,a),op_3HGl1MDrAU(144))+op_count_Kep1ax30Fl(b,op_3H1LgMeZyw(op_AJW4C0rBPs(b,a),op_3HGl1MDrAU(144)))
    return count


def op_Ny9FebcSVC(a, b):
    return op_a2IQm5WUqZ(op_XAx5wpdLa6(op_oOKF4w5nuq(a),op_J0w9Gs8s4Y(100,b)),op_kE9YHawE8s(op_tLTU0hrBh2(804,30),b))

def op_count_Ny9FebcSVC(a, b):
    count = op_count_oOKF4w5nuq(a)+op_count_J0w9Gs8s4Y(100,b)+op_count_XAx5wpdLa6(op_oOKF4w5nuq(a),op_J0w9Gs8s4Y(100,b))+op_count_tLTU0hrBh2(804,30)+op_count_kE9YHawE8s(op_tLTU0hrBh2(804,30),b)+op_count_a2IQm5WUqZ(op_XAx5wpdLa6(op_oOKF4w5nuq(a),op_J0w9Gs8s4Y(100,b)),op_kE9YHawE8s(op_tLTU0hrBh2(804,30),b))
    return count


def op_g029upu11U(a):
    return op_s9l7B39Gy2(op_8N2wDY1A35(a,a),op_NvEvKO2R8S(a,a))

def op_count_g029upu11U(a):
    count = op_count_8N2wDY1A35(a,a)+op_count_NvEvKO2R8S(a,a)+op_count_s9l7B39Gy2(op_8N2wDY1A35(a,a),op_NvEvKO2R8S(a,a))
    return count


⇺⪰a = { (⫬↸a) , if a<=61 ; (∁↜⩹(a⋧⫖∥)) , else }

def op_UhgGHYnd4v(a):
    if a <= 61:
        return op_yk722ryPPO(a)
    else:
        return op_ffr2ZXDv3X(op_GMFhbk3k8M(a))

def op_count_UhgGHYnd4v(a):
    if a <= 61:
        count = op_count_yk722ryPPO(a)
    else:
        count = op_count_GMFhbk3k8M(a)+op_count_ffr2ZXDv3X(op_GMFhbk3k8M(a))
    return count


a⊲∴∠b = { (((a⋔+⨓115)↷⊢)⋚↵⨭a) , if b>237 ; (((b⪃⫳⩢)≌(a⋝≺⋾))⫲≸⪮(b⋳⪒(311⫙⩮⩾b))) , else }

def op_WXJQHCgfTs(a, b):
    if b > 237:
        return op_EhNdXCgA70(op_mox3eEFvMs(op_AU7eUHalbZ(a,115)),a)
    else:
        return op_P3lXMJvFrc(op_lyWz822IDG(op_9QkLXJ8ctG(b),op_mcQVDGUp7Y(a)),op_12rbrZMWeM(b,op_ekiV5KEQgK(311,b)))

def op_count_WXJQHCgfTs(a, b):
    if b > 237:
        count = op_count_AU7eUHalbZ(a,115)+op_count_mox3eEFvMs(op_AU7eUHalbZ(a,115))+op_count_EhNdXCgA70(op_mox3eEFvMs(op_AU7eUHalbZ(a,115)),a)
    else:
        count = op_count_9QkLXJ8ctG(b)+op_count_mcQVDGUp7Y(a)+op_count_lyWz822IDG(op_9QkLXJ8ctG(b),op_mcQVDGUp7Y(a))+op_count_ekiV5KEQgK(311,b)+op_count_12rbrZMWeM(b,op_ekiV5KEQgK(311,b))+op_count_P3lXMJvFrc(op_lyWz822IDG(op_9QkLXJ8ctG(b),op_mcQVDGUp7Y(a)),op_12rbrZMWeM(b,op_ekiV5KEQgK(311,b)))
    return count


a↻∎⊐ = { (((a⊏)⇗⋫)⪟≞⫚a) , if a<187 ; a , else }

def op_d4IEetqS2p(a):
    if a < 187:
        return op_ZSUUsgWsFn(op_hpqmaQFPrd(op_87d232jbQB(a)),a)
    else:
        return a

def op_count_d4IEetqS2p(a):
    if a < 187:
        count = op_count_87d232jbQB(a)+op_count_hpqmaQFPrd(op_87d232jbQB(a))+op_count_ZSUUsgWsFn(op_hpqmaQFPrd(op_87d232jbQB(a)),a)
    else:
        count = 1
    return count


a⪴⊽ = { (((a⫝⪙108)⪥⨬⪅)⋶⩵((a⇯⋓⨐a)⩑⋀(a≼⇆a))) }

def op_sW0EnPy0jc(a):
    return op_SXEJBH0vQB(op_zNRQejTB5A(op_y1eBRRC36c(a,108)),op_pae2FoY6yk(op_MPJelLyf9X(a,a),op_D4AlmasLin(a,a)))

def op_count_sW0EnPy0jc(a):
    count = op_count_y1eBRRC36c(a,108)+op_count_zNRQejTB5A(op_y1eBRRC36c(a,108))+op_count_MPJelLyf9X(a,a)+op_count_D4AlmasLin(a,a)+op_count_pae2FoY6yk(op_MPJelLyf9X(a,a),op_D4AlmasLin(a,a))+op_count_SXEJBH0vQB(op_zNRQejTB5A(op_y1eBRRC36c(a,108)),op_pae2FoY6yk(op_MPJelLyf9X(a,a),op_D4AlmasLin(a,a)))
    return count


def op_Tq2B5o9BUa(a, b):
    if op_FSgM43rAbT(a) <= 72:
        return op_IkUmn0D7oy(148)
    else:
        return op_PwiXWqpBTd(a,b)

def op_count_Tq2B5o9BUa(a, b):
    if op_FSgM43rAbT(a) <= 72:
        count = op_count_IkUmn0D7oy(148)+op_count_FSgM43rAbT(a)
    else:
        count = op_count_PwiXWqpBTd(a,b)
    return count


a⊝⫊≹ = { (a⋀⊅⨬a) , if (a⪥⫞442)==44 ; (a⫾a) , else }

def op_MRW7v05QRw(a):
    if op_3oK3CGrHP7(a,442) == 44:
        return op_4VWYPRYUty(a,a)
    else:
        return op_7JbuLsbBtx(a,a)

def op_count_MRW7v05QRw(a):
    if op_3oK3CGrHP7(a,442) == 44:
        count = op_count_4VWYPRYUty(a,a)+op_count_3oK3CGrHP7(a,442)
    else:
        count = op_count_7JbuLsbBtx(a,a)
    return count


⊰⊬√a = { (((a↵a)≄⨍≧(a∘⋙a))⋗⨓(⪇(a∾−a))) }

def op_R9ikm5qW0p(a):
    return op_imqY0THBaP(op_FCmZrLQ9ou(op_8cNrNy0nrI(a,a),op_tLbWsX1p1l(a,a)),op_yxiS2IFDsO(op_V0u2OkZBsS(a,a)))

def op_count_R9ikm5qW0p(a):
    count = op_count_8cNrNy0nrI(a,a)+op_count_tLbWsX1p1l(a,a)+op_count_FCmZrLQ9ou(op_8cNrNy0nrI(a,a),op_tLbWsX1p1l(a,a))+op_count_V0u2OkZBsS(a,a)+op_count_yxiS2IFDsO(op_V0u2OkZBsS(a,a))+op_count_imqY0THBaP(op_FCmZrLQ9ou(op_8cNrNy0nrI(a,a),op_tLbWsX1p1l(a,a)),op_yxiS2IFDsO(op_V0u2OkZBsS(a,a)))
    return count


a⇯⊶⫓ = { (⪴⨍((⪎⫘⋣a)⪐≢↶(∥⋽⩢a))) , if a>359 ; ((∿⇉(a↬a))≻⊔⪋((a↳a)⩃⪐)) , else }

def op_YMk0yBwFBH(a):
    if a > 359:
        return op_agxF4Cl01F(op_GaQb60eDBT(op_E3Ox6p8mIt(a),op_BbhZtCIkEc(a)))
    else:
        return op_kwAJkQ91rG(op_C2FC5GId3o(op_B5M0gjZbta(a,a)),op_teoqfJgsD3(op_K1uHWJv1IW(a,a)))

def op_count_YMk0yBwFBH(a):
    if a > 359:
        count = op_count_E3Ox6p8mIt(a)+op_count_BbhZtCIkEc(a)+op_count_GaQb60eDBT(op_E3Ox6p8mIt(a),op_BbhZtCIkEc(a))+op_count_agxF4Cl01F(op_GaQb60eDBT(op_E3Ox6p8mIt(a),op_BbhZtCIkEc(a)))
    else:
        count = op_count_B5M0gjZbta(a,a)+op_count_C2FC5GId3o(op_B5M0gjZbta(a,a))+op_count_K1uHWJv1IW(a,a)+op_count_teoqfJgsD3(op_K1uHWJv1IW(a,a))+op_count_kwAJkQ91rG(op_C2FC5GId3o(op_B5M0gjZbta(a,a)),op_teoqfJgsD3(op_K1uHWJv1IW(a,a)))
    return count


a⋂↓b = { (((b⩙∖⇲b)⫠⨐⊺(b⇪⋭))⊤⨋≘(a⪸⪲⊧(162≆⪢⪷a))) , if (b≾⊄773)<=40 and (b⪩⨙231)!=41 ; ((⪊⫲(a∢b))≷∧(⨠⨉⨛(a≣≺a))) , else }

def op_B2sgx3FdIq(a, b):
    if op_YM3hcBAtRe(b,773) <= 40 and op_xx3dgqOXHl(b,231) != 41:
        return op_KiBGhu83fR(op_nAU3vNjHgU(op_Dr4yJ0dQtH(b,b),op_Z8Yg6dlDSp(b)),op_zUUN1G0anQ(a,op_2m2C7kd6U1(162,a)))
    else:
        return op_BsKymRuLqz(op_HsTbSIxlT7(op_FSasnAb2iR(a,b)),op_tCGJ1wQqBz(op_izrQJRSfVS(a,a)))

def op_count_B2sgx3FdIq(a, b):
    if op_YM3hcBAtRe(b,773) <= 40 and op_xx3dgqOXHl(b,231) != 41:
        count = op_count_Dr4yJ0dQtH(b,b)+op_count_Z8Yg6dlDSp(b)+op_count_nAU3vNjHgU(op_Dr4yJ0dQtH(b,b),op_Z8Yg6dlDSp(b))+op_count_2m2C7kd6U1(162,a)+op_count_zUUN1G0anQ(a,op_2m2C7kd6U1(162,a))+op_count_KiBGhu83fR(op_nAU3vNjHgU(op_Dr4yJ0dQtH(b,b),op_Z8Yg6dlDSp(b)),op_zUUN1G0anQ(a,op_2m2C7kd6U1(162,a)))+op_count_YM3hcBAtRe(b,773)+op_count_xx3dgqOXHl(b,231)
    else:
        count = op_count_FSasnAb2iR(a,b)+op_count_HsTbSIxlT7(op_FSasnAb2iR(a,b))+op_count_izrQJRSfVS(a,a)+op_count_tCGJ1wQqBz(op_izrQJRSfVS(a,a))+op_count_BsKymRuLqz(op_HsTbSIxlT7(op_FSasnAb2iR(a,b)),op_tCGJ1wQqBz(op_izrQJRSfVS(a,a)))
    return count


⪈⋑∢a = { ((a∑(a⫅))⋐⋩⩪((a⪟⊪a)⪆∧⋬(a⊔∸a))) , if a>=334 and (⇽⪆a)>=100 ; (⇂⪳⨗((a⇳≅)≮⇀⊡a)) , else }

def op_auoINp16JW(a):
    if a >= 334 and op_wutRFhsGG8(a) >= 100:
        return op_lLROTRQbWZ(op_JFrVJKYFMX(a,op_iI58LvO9D4(a)),op_F01RQqOmfO(op_iVzLhW7Qip(a,a),op_6kUgJp8G8x(a,a)))
    else:
        return op_gYvnWNXnJJ(op_OXr7lfFFHj(op_GAUYhZJcYo(a),a))

def op_count_auoINp16JW(a):
    if a >= 334 and op_wutRFhsGG8(a) >= 100:
        count = op_count_iI58LvO9D4(a)+op_count_JFrVJKYFMX(a,op_iI58LvO9D4(a))+op_count_iVzLhW7Qip(a,a)+op_count_6kUgJp8G8x(a,a)+op_count_F01RQqOmfO(op_iVzLhW7Qip(a,a),op_6kUgJp8G8x(a,a))+op_count_lLROTRQbWZ(op_JFrVJKYFMX(a,op_iI58LvO9D4(a)),op_F01RQqOmfO(op_iVzLhW7Qip(a,a),op_6kUgJp8G8x(a,a)))+op_count_wutRFhsGG8(a)
    else:
        count = op_count_GAUYhZJcYo(a)+op_count_OXr7lfFFHj(op_GAUYhZJcYo(a),a)+op_count_gYvnWNXnJJ(op_OXr7lfFFHj(op_GAUYhZJcYo(a),a))
    return count


def op_1Fekj2oUmH(a, b):
    if op_60FhV4dE5s(a,873) != 142 or op_iQT509CoFi(b,169) > 21:
        return op_zh6xVsAc2d(op_5p4EhrTxB1(op_koW2ZZv8cS(b,0)),op_pqRk2BRzIy(op_qR6wjdDWpt(b)))
    else:
        return op_PY5Vuape4U(op_Vrrz5W3ctx(op_Sx991o1SMv(a,399)),op_XIIwhv8d0m(op_oSa3xyU28z(598),op_uz3GelrGYC(a,269)))

def op_count_1Fekj2oUmH(a, b):
    if op_60FhV4dE5s(a,873) != 142 or op_iQT509CoFi(b,169) > 21:
        count = op_count_koW2ZZv8cS(b,0)+op_count_5p4EhrTxB1(op_koW2ZZv8cS(b,0))+op_count_qR6wjdDWpt(b)+op_count_pqRk2BRzIy(op_qR6wjdDWpt(b))+op_count_zh6xVsAc2d(op_5p4EhrTxB1(op_koW2ZZv8cS(b,0)),op_pqRk2BRzIy(op_qR6wjdDWpt(b)))+op_count_60FhV4dE5s(a,873)+op_count_iQT509CoFi(b,169)
    else:
        count = op_count_Sx991o1SMv(a,399)+op_count_Vrrz5W3ctx(op_Sx991o1SMv(a,399))+op_count_oSa3xyU28z(598)+op_count_uz3GelrGYC(a,269)+op_count_XIIwhv8d0m(op_oSa3xyU28z(598),op_uz3GelrGYC(a,269))+op_count_PY5Vuape4U(op_Vrrz5W3ctx(op_Sx991o1SMv(a,399)),op_XIIwhv8d0m(op_oSa3xyU28z(598),op_uz3GelrGYC(a,269)))
    return count


def op_L1tIhR0jgS(a, b):
    if (op_gUzxrvt71p(a) >= 392 and op_eewbuw0ToL(b,423) != 212):
        return op_4r9bMLtmr2(op_z63VuFQld9(op_aHlGvsvWuT(a,252)))
    else:
        return op_15fnz2YIbx(b,op_qLNS38JfQg(op_JxVXO72MGb(a),op_Bmrmz2XGnR(b,a)))

def op_count_L1tIhR0jgS(a, b):
    if (op_gUzxrvt71p(a) >= 392 and op_eewbuw0ToL(b,423) != 212):
        count = op_count_aHlGvsvWuT(a,252)+op_count_z63VuFQld9(op_aHlGvsvWuT(a,252))+op_count_4r9bMLtmr2(op_z63VuFQld9(op_aHlGvsvWuT(a,252)))+op_count_gUzxrvt71p(a)+op_count_eewbuw0ToL(b,423)
    else:
        count = op_count_JxVXO72MGb(a)+op_count_Bmrmz2XGnR(b,a)+op_count_qLNS38JfQg(op_JxVXO72MGb(a),op_Bmrmz2XGnR(b,a))+op_count_15fnz2YIbx(b,op_qLNS38JfQg(op_JxVXO72MGb(a),op_Bmrmz2XGnR(b,a)))
    return count


a⩎↵ = { ((a⊌⊟)≺⋏(a∑⇟⊟a)) , if a<129 ; ((a⋔⪦≖)⋹) , else }

def op_evLZV61SoN(a):
    if a < 129:
        return op_exBNT1EbB9(op_MD3e9dKaU1(a),op_U7g4x0WXJJ(a,a))
    else:
        return op_opAxDRczMr(op_qqCp8wnvK0(a))

def op_count_evLZV61SoN(a):
    if a < 129:
        count = op_count_MD3e9dKaU1(a)+op_count_U7g4x0WXJJ(a,a)+op_count_exBNT1EbB9(op_MD3e9dKaU1(a),op_U7g4x0WXJJ(a,a))
    else:
        count = op_count_qqCp8wnvK0(a)+op_count_opAxDRczMr(op_qqCp8wnvK0(a))
    return count


a⇆⪜b = { ((a⋹)∩⋅) , if ((b⇒⫠)>29 and (⊏⪃∮a)==248) ; a , else }

def op_QmqWIY6WnZ(a, b):
    if (op_HbkKo2jppZ(b) > 29 and op_3l1C696bdM(a) == 248):
        return op_2MzE1hQ0cz(op_opAxDRczMr(a))
    else:
        return a

def op_count_QmqWIY6WnZ(a, b):
    if (op_HbkKo2jppZ(b) > 29 and op_3l1C696bdM(a) == 248):
        count = op_count_opAxDRczMr(a)+op_count_2MzE1hQ0cz(op_opAxDRczMr(a))+op_count_HbkKo2jppZ(b)+op_count_3l1C696bdM(a)
    else:
        count = 1
    return count


a≑⪍⪀b = { ((⋮⪨b)⋌b) , if (b⩆≶⊌)==512 ; ((⨁⨴245)⨗⊀≚(a≯⩨⨎175)) , else }

def op_PnSzUeMJ4C(a, b):
    if op_PZaICrJanm(b) == 512:
        return op_MlMyrKhIQ5(op_Q4ioLBsx6T(b),b)
    else:
        return op_mvNXXmRTq7(op_VWDfLP0KP3(245),op_xVqBDbDSwv(a,175))

def op_count_PnSzUeMJ4C(a, b):
    if op_PZaICrJanm(b) == 512:
        count = op_count_Q4ioLBsx6T(b)+op_count_MlMyrKhIQ5(op_Q4ioLBsx6T(b),b)+op_count_PZaICrJanm(b)
    else:
        count = op_count_VWDfLP0KP3(245)+op_count_xVqBDbDSwv(a,175)+op_count_mvNXXmRTq7(op_VWDfLP0KP3(245),op_xVqBDbDSwv(a,175))
    return count


def op_LC0vOjJlcw(a):
    if op_zOrdhqsGhh(a) != 133:
        return op_iLDmr1kYEU(145)
    else:
        return op_B5M0gjZbta(a,a)

def op_count_LC0vOjJlcw(a):
    if op_zOrdhqsGhh(a) != 133:
        count = op_count_iLDmr1kYEU(145)+op_count_zOrdhqsGhh(a)
    else:
        count = op_count_B5M0gjZbta(a,a)
    return count


∋⪰⋏a = { ((a⨑⇘⪧(a∟⪁⇹))⫗⊷⫓((a∜⊣⊖152)∵↵)) }

def op_aAQRDYz3vF(a):
    return op_zashukvMKz(op_Oowe2FJHs2(a,op_Eshg0vLipp(a)),op_mdsGOQ2UPd(op_fYXCKsQvnT(a,152)))

def op_count_aAQRDYz3vF(a):
    count = op_count_Eshg0vLipp(a)+op_count_Oowe2FJHs2(a,op_Eshg0vLipp(a))+op_count_fYXCKsQvnT(a,152)+op_count_mdsGOQ2UPd(op_fYXCKsQvnT(a,152))+op_count_zashukvMKz(op_Oowe2FJHs2(a,op_Eshg0vLipp(a)),op_mdsGOQ2UPd(op_fYXCKsQvnT(a,152)))
    return count


a⊱⋽⋕b = { (a∢a) , if b<=167 ; (⪱≕⊎a) , else }

def op_8rMU2WQqRK(a, b):
    if b <= 167:
        return op_FSasnAb2iR(a,a)
    else:
        return op_zgUsEIwSkM(a)

def op_count_8rMU2WQqRK(a, b):
    if b <= 167:
        count = op_count_FSasnAb2iR(a,a)
    else:
        count = op_count_zgUsEIwSkM(a)
    return count


a⪳⊝ = { ((a≫⪝⋲a)⪸⊜⨷(16⩆⋬↵a)) , if (↳↟a)<=123 ; ((a∏≾⪝a)↚≽⪤(a⩬a)) , else }

def op_IrRLnhARDx(a):
    if op_DMQv6Lzoze(a) <= 123:
        return op_6BFomJzHVX(op_C58ewRfeGC(a,a),op_GGuaFouzBB(16,a))
    else:
        return op_UyATZg4EzG(op_afN6VTYaCB(a,a),op_nuoWhTW6CA(a,a))

def op_count_IrRLnhARDx(a):
    if op_DMQv6Lzoze(a) <= 123:
        count = op_count_C58ewRfeGC(a,a)+op_count_GGuaFouzBB(16,a)+op_count_6BFomJzHVX(op_C58ewRfeGC(a,a),op_GGuaFouzBB(16,a))+op_count_DMQv6Lzoze(a)
    else:
        count = op_count_afN6VTYaCB(a,a)+op_count_nuoWhTW6CA(a,a)+op_count_UyATZg4EzG(op_afN6VTYaCB(a,a),op_nuoWhTW6CA(a,a))
    return count


def op_zMS4EsJNOY(a, b):
    if op_2OiarLUAKI(a) < 158:
        return op_il4vvrGStZ(b,b)
    else:
        return op_XizqdzG9LG(498)

def op_count_zMS4EsJNOY(a, b):
    if op_2OiarLUAKI(a) < 158:
        count = op_count_il4vvrGStZ(b,b)+op_count_2OiarLUAKI(a)
    else:
        count = op_count_XizqdzG9LG(498)
    return count


def op_pVKKpiQaYZ(a):
    if a <= 88:
        return op_OXDGMFPWZM(25,a)
    else:
        return op_Tx2vH9Gc0M(65)

def op_count_pVKKpiQaYZ(a):
    if a <= 88:
        count = op_count_OXDGMFPWZM(25,a)
    else:
        count = op_count_Tx2vH9Gc0M(65)
    return count


+≴a = { (189↻⩚⨟a) , if (⊀⪏a)>241 ; (a⩍↜⊄a) , else }

def op_JULmUHz1jO(a):
    if op_p86lzYUsDd(a) > 241:
        return op_KRe2A74MY3(189,a)
    else:
        return op_vqMs4v2zd9(a,a)

def op_count_JULmUHz1jO(a):
    if op_p86lzYUsDd(a) > 241:
        count = op_count_KRe2A74MY3(189,a)+op_count_p86lzYUsDd(a)
    else:
        count = op_count_vqMs4v2zd9(a,a)
    return count


def op_1EnKRXjYcc(a, b):
    if op_GY79QbXAEf(b) >= 148:
        return op_8yyM0tXOmz(op_P1luAuIuJu(a),op_XAx5wpdLa6(376,a))
    else:
        return op_0yp81yx1Kd(op_438NZEZFZN(468))

def op_count_1EnKRXjYcc(a, b):
    if op_GY79QbXAEf(b) >= 148:
        count = op_count_P1luAuIuJu(a)+op_count_XAx5wpdLa6(376,a)+op_count_8yyM0tXOmz(op_P1luAuIuJu(a),op_XAx5wpdLa6(376,a))+op_count_GY79QbXAEf(b)
    else:
        count = op_count_438NZEZFZN(468)+op_count_0yp81yx1Kd(op_438NZEZFZN(468))
    return count


a⨦↡⇙b = { ((⋖⫽a)⊩(⨁⨴b)) , if (⊁⩭b)<=513 ; ((a⨟⋡⇮b)⊲⊺(a⩃⫏299)) , else }

def op_UiCOVb97zN(a, b):
    if op_ZjE56Tjd5j(b) <= 513:
        return op_aCwnCp9fG4(op_NLf0IKjRo1(a),op_VWDfLP0KP3(b))
    else:
        return op_XFw8Sin97h(op_vdIy956WRd(a,b),op_96sgIAAApN(a,299))

def op_count_UiCOVb97zN(a, b):
    if op_ZjE56Tjd5j(b) <= 513:
        count = op_count_NLf0IKjRo1(a)+op_count_VWDfLP0KP3(b)+op_count_aCwnCp9fG4(op_NLf0IKjRo1(a),op_VWDfLP0KP3(b))+op_count_ZjE56Tjd5j(b)
    else:
        count = op_count_vdIy956WRd(a,b)+op_count_96sgIAAApN(a,299)+op_count_XFw8Sin97h(op_vdIy956WRd(a,b),op_96sgIAAApN(a,299))
    return count


⊋⇙a = { (((≮a)≃⇜↓(a⪦a))⪣⇕⊊(208⇰⊅(≯⩄⪞118))) , if a<42 and (a∛⋻↤698)<530 and (⪕⋂a)>533 ; (((a∿⋇a)⨥(a⨢a))⋔⊒⊬) , else }

def op_rLOxuPi4wJ(a):
    if a < 42 and op_k3GVCLYZsC(a,698) < 530 and op_sIUoP3NSHz(a) > 533:
        return op_JuKpg8yQLl(op_zjpztV9BY4(op_bVRrhJZyGv(a),op_S2EdmdiVZh(a,a)),op_GzX49CdkxV(208,op_n0un4DgNJJ(118)))
    else:
        return op_9zta1bcw85(op_GXZxp3Erot(op_KKKQDg6gKh(a,a),op_wvOhsjS2Oe(a,a)))

def op_count_rLOxuPi4wJ(a):
    if a < 42 and op_k3GVCLYZsC(a,698) < 530 and op_sIUoP3NSHz(a) > 533:
        count = op_count_bVRrhJZyGv(a)+op_count_S2EdmdiVZh(a,a)+op_count_zjpztV9BY4(op_bVRrhJZyGv(a),op_S2EdmdiVZh(a,a))+op_count_n0un4DgNJJ(118)+op_count_GzX49CdkxV(208,op_n0un4DgNJJ(118))+op_count_JuKpg8yQLl(op_zjpztV9BY4(op_bVRrhJZyGv(a),op_S2EdmdiVZh(a,a)),op_GzX49CdkxV(208,op_n0un4DgNJJ(118)))+op_count_k3GVCLYZsC(a,698)+op_count_sIUoP3NSHz(a)
    else:
        count = op_count_KKKQDg6gKh(a,a)+op_count_wvOhsjS2Oe(a,a)+op_count_GXZxp3Erot(op_KKKQDg6gKh(a,a),op_wvOhsjS2Oe(a,a))+op_count_9zta1bcw85(op_GXZxp3Erot(op_KKKQDg6gKh(a,a),op_wvOhsjS2Oe(a,a)))
    return count


a⪦∅⇐ = { ((⊚∣⇦a)⋂⩱(↮⇋a)) , if a>=93 ; ((19⫿⩜a)↞⋁a) , else }

def op_QTl2RpwE5s(a):
    if a >= 93:
        return op_LeWslFvZWG(op_wI0arWASZq(a),op_LINbGLUOtg(a))
    else:
        return op_RqrPlJkxDo(op_W9BcR1zwUp(19,a),a)

def op_count_QTl2RpwE5s(a):
    if a >= 93:
        count = op_count_wI0arWASZq(a)+op_count_LINbGLUOtg(a)+op_count_LeWslFvZWG(op_wI0arWASZq(a),op_LINbGLUOtg(a))
    else:
        count = op_count_W9BcR1zwUp(19,a)+op_count_RqrPlJkxDo(op_W9BcR1zwUp(19,a),a)
    return count


a⪝⫵b = { (((a≉∤a)⪗⪦⨯(a⫸⋀⪒b))⩬) , if (b⋣⫂⩓)<=580 and (b⊞⊼158)==114 ; b , else }

def op_S8VG1RtROc(a, b):
    if op_riYhAJTAzK(b) <= 580 and op_zVc77mVpRV(b,158) == 114:
        return op_q4LUFz6CpC(op_C6huvSECWb(op_O5ZupU8PtU(a,a),op_fp9lZ9ehPv(a,b)))
    else:
        return b

def op_count_S8VG1RtROc(a, b):
    if op_riYhAJTAzK(b) <= 580 and op_zVc77mVpRV(b,158) == 114:
        count = op_count_O5ZupU8PtU(a,a)+op_count_fp9lZ9ehPv(a,b)+op_count_C6huvSECWb(op_O5ZupU8PtU(a,a),op_fp9lZ9ehPv(a,b))+op_count_q4LUFz6CpC(op_C6huvSECWb(op_O5ZupU8PtU(a,a),op_fp9lZ9ehPv(a,b)))+op_count_riYhAJTAzK(b)+op_count_zVc77mVpRV(b,158)
    else:
        count = 1
    return count


a≉⇲b = { ((⨈⫕(a⇍↤b))⩈⪻(a≏⨯⊱(a⨱⊌))) , if a>51 ; (((⊎↘≙a)⨼⩣(179⊞⩴≀a))⩱⇋⊁((b⫖⋠⊅343)⊡≗(a⊐))) , else }

def op_SRDf9Id1pT(a, b):
    if a > 51:
        return op_Yan4YobxxY(op_megm06wKyl(op_KO5PmQhKSV(a,b)),op_UqUOXUQnbU(a,op_NS9BolIB1B(a)))
    else:
        return op_ovIDOSqP2K(op_JxwMv5le6e(op_XsOIMlu4sf(a),op_7uTwdFgI0Q(179,a)),op_8fYlehcX6L(op_tTVmucEQhY(b,343),op_pNiqsYmQ4e(a)))

def op_count_SRDf9Id1pT(a, b):
    if a > 51:
        count = op_count_KO5PmQhKSV(a,b)+op_count_megm06wKyl(op_KO5PmQhKSV(a,b))+op_count_NS9BolIB1B(a)+op_count_UqUOXUQnbU(a,op_NS9BolIB1B(a))+op_count_Yan4YobxxY(op_megm06wKyl(op_KO5PmQhKSV(a,b)),op_UqUOXUQnbU(a,op_NS9BolIB1B(a)))
    else:
        count = op_count_XsOIMlu4sf(a)+op_count_7uTwdFgI0Q(179,a)+op_count_JxwMv5le6e(op_XsOIMlu4sf(a),op_7uTwdFgI0Q(179,a))+op_count_tTVmucEQhY(b,343)+op_count_pNiqsYmQ4e(a)+op_count_8fYlehcX6L(op_tTVmucEQhY(b,343),op_pNiqsYmQ4e(a))+op_count_ovIDOSqP2K(op_JxwMv5le6e(op_XsOIMlu4sf(a),op_7uTwdFgI0Q(179,a)),op_8fYlehcX6L(op_tTVmucEQhY(b,343),op_pNiqsYmQ4e(a)))
    return count


def op_EGLX3G94wG(a):
    if op_UFw0YZ7pIz(a) >= 833:
        return op_dsYFgWXyte(op_hpqmaQFPrd(op_PyySExtkRS(a,a)),op_nyjUIJb8jt(op_tzokWjBnUu(18,306),op_gIEBy3Ykr1(a,0)))
    else:
        return op_AqJQW3khbP(op_pICi4oG5sS(a,op_a8qup2lXrT(a,12)))

def op_count_EGLX3G94wG(a):
    if op_UFw0YZ7pIz(a) >= 833:
        count = op_count_PyySExtkRS(a,a)+op_count_hpqmaQFPrd(op_PyySExtkRS(a,a))+op_count_tzokWjBnUu(18,306)+op_count_gIEBy3Ykr1(a,0)+op_count_nyjUIJb8jt(op_tzokWjBnUu(18,306),op_gIEBy3Ykr1(a,0))+op_count_dsYFgWXyte(op_hpqmaQFPrd(op_PyySExtkRS(a,a)),op_nyjUIJb8jt(op_tzokWjBnUu(18,306),op_gIEBy3Ykr1(a,0)))+op_count_UFw0YZ7pIz(a)
    else:
        count = op_count_a8qup2lXrT(a,12)+op_count_pICi4oG5sS(a,op_a8qup2lXrT(a,12))+op_count_AqJQW3khbP(op_pICi4oG5sS(a,op_a8qup2lXrT(a,12)))
    return count


a⊃⊚⨰b = { (⩙∪⨐(a⫕⊻)) , if (b⇳⪌⋔)<=517 ; ((b≭b)⇤⫸(b∝⊵680)) , else }

def op_EB4adBJL60(a, b):
    if op_vmRWfRk8Qn(b) <= 517:
        return op_9KnANRFJl3(op_6LSXOSgsc3(a))
    else:
        return op_XBHSxs2y4g(op_rxpJgHHUmx(b,b),op_GnsM4LGUJk(b,680))

def op_count_EB4adBJL60(a, b):
    if op_vmRWfRk8Qn(b) <= 517:
        count = op_count_6LSXOSgsc3(a)+op_count_9KnANRFJl3(op_6LSXOSgsc3(a))+op_count_vmRWfRk8Qn(b)
    else:
        count = op_count_rxpJgHHUmx(b,b)+op_count_GnsM4LGUJk(b,680)+op_count_XBHSxs2y4g(op_rxpJgHHUmx(b,b),op_GnsM4LGUJk(b,680))
    return count


a⇁⪂b = { (⨕⨟⊟(∾⫎(82⇪⋭))) , if (≑⋹b)<262 ; (⨤↚((a⊵⩱a)⋛⩥)) , else }

def op_U1IPdQMyXk(a, b):
    if op_6B9nyZLogK(b) < 262:
        return op_85n7MgzmWW(op_LCemN4bnwC(op_Z8Yg6dlDSp(82)))
    else:
        return op_LUN6AP1lnU(op_lz4dBNPYLn(op_JKUDcJ19AH(a,a)))

def op_count_U1IPdQMyXk(a, b):
    if op_6B9nyZLogK(b) < 262:
        count = op_count_Z8Yg6dlDSp(82)+op_count_LCemN4bnwC(op_Z8Yg6dlDSp(82))+op_count_85n7MgzmWW(op_LCemN4bnwC(op_Z8Yg6dlDSp(82)))+op_count_6B9nyZLogK(b)
    else:
        count = op_count_JKUDcJ19AH(a,a)+op_count_lz4dBNPYLn(op_JKUDcJ19AH(a,a))+op_count_LUN6AP1lnU(op_lz4dBNPYLn(op_JKUDcJ19AH(a,a)))
    return count


a⇦⪉ = { ((⊎≹a)⇨↬) , if (⪻⩿→a)==220 ; (((27%≮a)⪄⪛(⨈⫕a))⇤≯((a∄⨬)⊍⩺⋍a)) , else }

def op_679KbhAVE0(a):
    if op_uMjCgiXncn(a) == 220:
        return op_7teUpkHlKA(op_7J74UIkAqv(a))
    else:
        return op_54rvuKiOgH(op_LJtAiRCxnQ(op_yjfBxyS6o0(27,a),op_megm06wKyl(a)),op_OXDGMFPWZM(op_riWVmlCsxw(a),a))

def op_count_679KbhAVE0(a):
    if op_uMjCgiXncn(a) == 220:
        count = op_count_7J74UIkAqv(a)+op_count_7teUpkHlKA(op_7J74UIkAqv(a))+op_count_uMjCgiXncn(a)
    else:
        count = op_count_yjfBxyS6o0(27,a)+op_count_megm06wKyl(a)+op_count_LJtAiRCxnQ(op_yjfBxyS6o0(27,a),op_megm06wKyl(a))+op_count_riWVmlCsxw(a)+op_count_OXDGMFPWZM(op_riWVmlCsxw(a),a)+op_count_54rvuKiOgH(op_LJtAiRCxnQ(op_yjfBxyS6o0(27,a),op_megm06wKyl(a)),op_OXDGMFPWZM(op_riWVmlCsxw(a),a))
    return count


a⇡⫃b = { (⩿⪔⋿(⇤∩b)) , if (b⇳⫟)>63 ; ((a⫗⊷⫓b)∰(24∪⋗4)) , else }

def op_XnZylnXXXx(a, b):
    if op_NvVuMKZTfI(b) > 63:
        return op_vgHTHDePSW(op_BxNL6VpnAK(b))
    else:
        return op_PmR7WuS4AT(op_zashukvMKz(a,b),op_qPbESVb90t(24,4))

def op_count_XnZylnXXXx(a, b):
    if op_NvVuMKZTfI(b) > 63:
        count = op_count_BxNL6VpnAK(b)+op_count_vgHTHDePSW(op_BxNL6VpnAK(b))+op_count_NvVuMKZTfI(b)
    else:
        count = op_count_zashukvMKz(a,b)+op_count_qPbESVb90t(24,4)+op_count_PmR7WuS4AT(op_zashukvMKz(a,b),op_qPbESVb90t(24,4))
    return count


def op_dCD4m4Zd0k(a):
    if op_KLMV3Z6VVJ(a,499) < 73:
        return op_GGuaFouzBB(op_gVe57Wp8lf(a,119),825)
    else:
        return op_0ixZa2Eeme(op_uPwavjg6Fh(a),a)

def op_count_dCD4m4Zd0k(a):
    if op_KLMV3Z6VVJ(a,499) < 73:
        count = op_count_gVe57Wp8lf(a,119)+op_count_GGuaFouzBB(op_gVe57Wp8lf(a,119),825)+op_count_KLMV3Z6VVJ(a,499)
    else:
        count = op_count_uPwavjg6Fh(a)+op_count_0ixZa2Eeme(op_uPwavjg6Fh(a),a)
    return count


⋂⇍a = { a , if (a⩴⇩⩭673)>67 ; (⨀(a≯⇓a)) , else }

def op_0CP1iwirbd(a):
    if op_ZlduNN376N(a,673) > 67:
        return a
    else:
        return op_XizqdzG9LG(op_zlRBn4MdrZ(a,a))

def op_count_0CP1iwirbd(a):
    if op_ZlduNN376N(a,673) > 67:
        count = 1
    else:
        count = op_count_zlRBn4MdrZ(a,a)+op_count_XizqdzG9LG(op_zlRBn4MdrZ(a,a))
    return count


a⋥⋴b = { ((b↞⇏↡)⫊(a⩆⋬↵59)) , if (a⪉⊮)<=80 ; (⫴↥⨛(a∌↝b)) , else }

def op_FZodWHqS7e(a, b):
    if op_7uXtx8XWax(a) <= 80:
        return op_uPjn7n5pli(op_3jaEye8kCv(b),op_GGuaFouzBB(a,59))
    else:
        return op_vHuTXzteFg(op_9Isq31Ruls(a,b))

def op_count_FZodWHqS7e(a, b):
    if op_7uXtx8XWax(a) <= 80:
        count = op_count_3jaEye8kCv(b)+op_count_GGuaFouzBB(a,59)+op_count_uPjn7n5pli(op_3jaEye8kCv(b),op_GGuaFouzBB(a,59))+op_count_7uXtx8XWax(a)
    else:
        count = op_count_9Isq31Ruls(a,b)+op_count_vHuTXzteFg(op_9Isq31Ruls(a,b))
    return count


def op_Dq8Xud2jNt(a):
    if op_8mtiSnzBRA(a,912) >= 859:
        return op_2u38eHdNB5(a,a)
    else:
        return op_XvIobvOzEP(a)

def op_count_Dq8Xud2jNt(a):
    if op_8mtiSnzBRA(a,912) >= 859:
        count = op_count_2u38eHdNB5(a,a)+op_count_8mtiSnzBRA(a,912)
    else:
        count = op_count_XvIobvOzEP(a)
    return count


a⫺⫇∁ = { (a↞⋁a) , if ((⫾⊖a)>=47 or (a⪾⩬)!=99 or (a⨥⇒)==24) ; (a⨰a) , else }

def op_FeFjaflL62(a):
    if (op_uISTwMNpcE(a) >= 47 or op_9xgsSlZQwG(a) != 99 or op_lXhXxtlXSQ(a) == 24):
        return op_RqrPlJkxDo(a,a)
    else:
        return op_eewbuw0ToL(a,a)

def op_count_FeFjaflL62(a):
    if (op_uISTwMNpcE(a) >= 47 or op_9xgsSlZQwG(a) != 99 or op_lXhXxtlXSQ(a) == 24):
        count = op_count_RqrPlJkxDo(a,a)+op_count_uISTwMNpcE(a)+op_count_9xgsSlZQwG(a)+op_count_lXhXxtlXSQ(a)
    else:
        count = op_count_eewbuw0ToL(a,a)
    return count


⋊⪆a = { (a⩘⨬⇊) , if (⪇⪬a)>=477 ; ((39⫶⨡⨒a)⊨(a⪺⨮⩭a)) , else }

def op_eBmTGV0CNk(a):
    if op_xBbleKmA1B(a) >= 477:
        return op_XXmTpEpWTW(a)
    else:
        return op_vg4gO5BX6G(op_cYefTWUxOW(39,a),op_xnTr9QP4Ls(a,a))

def op_count_eBmTGV0CNk(a):
    if op_xBbleKmA1B(a) >= 477:
        count = op_count_XXmTpEpWTW(a)+op_count_xBbleKmA1B(a)
    else:
        count = op_count_cYefTWUxOW(39,a)+op_count_xnTr9QP4Ls(a,a)+op_count_vg4gO5BX6G(op_cYefTWUxOW(39,a),op_xnTr9QP4Ls(a,a))
    return count


a↤↔∗b = { (b⇪⋭) , if (↱⊵b)!=441 ; (a⩋⩃-a) , else }

def op_DesMLuQ074(a, b):
    if op_ySQaxTQMd8(b) != 441:
        return op_Z8Yg6dlDSp(b)
    else:
        return op_PQ5jInepzR(a,a)

def op_count_DesMLuQ074(a, b):
    if op_ySQaxTQMd8(b) != 441:
        count = op_count_Z8Yg6dlDSp(b)+op_count_ySQaxTQMd8(b)
    else:
        count = op_count_PQ5jInepzR(a,a)
    return count


def op_7KnB8sQ9kU(a):
    if op_2TfmgxUuUr(a) != 193:
        return op_bVRrhJZyGv(362)
    else:
        return op_4JQ65aDwPJ(a,a)

def op_count_7KnB8sQ9kU(a):
    if op_2TfmgxUuUr(a) != 193:
        count = op_count_bVRrhJZyGv(362)+op_count_2TfmgxUuUr(a)
    else:
        count = op_count_4JQ65aDwPJ(a,a)
    return count


def op_RJ6DYIdzVW(a, b):
    if op_0UZhvIxcOb(b,941) >= 104:
        return op_X2bul7T2BP(b,a)
    else:
        return op_hpqmaQFPrd(216)

def op_count_RJ6DYIdzVW(a, b):
    if op_0UZhvIxcOb(b,941) >= 104:
        count = op_count_X2bul7T2BP(b,a)+op_count_0UZhvIxcOb(b,941)
    else:
        count = op_count_hpqmaQFPrd(216)
    return count


⋍⫲⩉a = { (a↫∤(a∧)) , if (⇍⇓⫰a)<=353 ; (≹≽(a≚⊃≕a)) , else }

def op_1ruZM2kJzD(a):
    if op_FtfyBzfNWx(a) <= 353:
        return op_jZZVGDEJeM(a,op_z63VuFQld9(a))
    else:
        return op_NkM05i2SSK(op_Bmrmz2XGnR(a,a))

def op_count_1ruZM2kJzD(a):
    if op_FtfyBzfNWx(a) <= 353:
        count = op_count_z63VuFQld9(a)+op_count_jZZVGDEJeM(a,op_z63VuFQld9(a))+op_count_FtfyBzfNWx(a)
    else:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_NkM05i2SSK(op_Bmrmz2XGnR(a,a))
    return count


a∛⨮⇵b = { (653⋂⩴(a↞⋁b)) , if b>127 or (a⊜∥∭827)>54 or b==61 ; ((a⩒⩯≚a)⊺∟) , else }

def op_cdWA8TEZEA(a, b):
    if b > 127 or op_nISchaphgK(a,827) > 54 or b == 61:
        return op_hmlrMsD2PO(653,op_RqrPlJkxDo(a,b))
    else:
        return op_ZMAn7luuSb(op_V1brnGXOUL(a,a))

def op_count_cdWA8TEZEA(a, b):
    if b > 127 or op_nISchaphgK(a,827) > 54 or b == 61:
        count = op_count_RqrPlJkxDo(a,b)+op_count_hmlrMsD2PO(653,op_RqrPlJkxDo(a,b))+op_count_nISchaphgK(a,827)
    else:
        count = op_count_V1brnGXOUL(a,a)+op_count_ZMAn7luuSb(op_V1brnGXOUL(a,a))
    return count


a⇽⇝b = { b , if (a≎⫟∴)!=1 or (a⋅∕⪽941)>503 or a>=422 ; (((a⊠≌b)⩸⋪(a⪟a))⨇⊗(⫵(b∠⫱b))) , else }

def op_xxzs65nVKI(a, b):
    if op_xKojsOwT2Q(a) != 1 or op_xapeEN5k6N(a,941) > 503 or a >= 422:
        return b
    else:
        return op_MWoH0YoNSF(op_avxXIHzjv1(op_CMed2nD9yG(a,b),op_tqmm8txHHJ(a,a)),op_9oRFW4UxXC(op_QvoQhV0rrE(b,b)))

def op_count_xxzs65nVKI(a, b):
    if op_xKojsOwT2Q(a) != 1 or op_xapeEN5k6N(a,941) > 503 or a >= 422:
        count = 1
    else:
        count = op_count_CMed2nD9yG(a,b)+op_count_tqmm8txHHJ(a,a)+op_count_avxXIHzjv1(op_CMed2nD9yG(a,b),op_tqmm8txHHJ(a,a))+op_count_QvoQhV0rrE(b,b)+op_count_9oRFW4UxXC(op_QvoQhV0rrE(b,b))+op_count_MWoH0YoNSF(op_avxXIHzjv1(op_CMed2nD9yG(a,b),op_tqmm8txHHJ(a,a)),op_9oRFW4UxXC(op_QvoQhV0rrE(b,b)))
    return count


⨗≇⨋a = { (a⫈((a⨿a)∼(a⇛⇞a))) , if (↯⪼a)!=360 ; ((⊄⨡⋾(⊰a))⋓⋃((⇚≵a)⇓⊀⋳(a⨥∖56))) , else }

def op_MpjjZVFtE7(a):
    if op_8jW3W4yZS5(a) != 360:
        return op_e1wGt9VEHG(a,op_DyGG3AbaNP(op_abYXlopdE0(a,a),op_njRaTUvNRG(a,a)))
    else:
        return op_vQUWrCPLqI(op_ZMmbXOLbMt(op_1xITj0Yuqn(a)),op_V9cNOZsTu7(op_Fwl24cKk9t(a),op_VcI7WilXed(a,56)))

def op_count_MpjjZVFtE7(a):
    if op_8jW3W4yZS5(a) != 360:
        count = op_count_abYXlopdE0(a,a)+op_count_njRaTUvNRG(a,a)+op_count_DyGG3AbaNP(op_abYXlopdE0(a,a),op_njRaTUvNRG(a,a))+op_count_e1wGt9VEHG(a,op_DyGG3AbaNP(op_abYXlopdE0(a,a),op_njRaTUvNRG(a,a)))+op_count_8jW3W4yZS5(a)
    else:
        count = op_count_1xITj0Yuqn(a)+op_count_ZMmbXOLbMt(op_1xITj0Yuqn(a))+op_count_Fwl24cKk9t(a)+op_count_VcI7WilXed(a,56)+op_count_V9cNOZsTu7(op_Fwl24cKk9t(a),op_VcI7WilXed(a,56))+op_count_vQUWrCPLqI(op_ZMmbXOLbMt(op_1xITj0Yuqn(a)),op_V9cNOZsTu7(op_Fwl24cKk9t(a),op_VcI7WilXed(a,56)))
    return count


a⫔⇴⋸b = { (≤⋧((a↵a)↵⋃⫤(a↽⋘⇦a))) , if ((b⪐-981)>575 and (∡⪼⋰a)>119) ; (((a⩧⪆b)⨌⇆⊄(a⨟⋌⩍b))⫉∜⋩) , else }

def op_NFm9JKrwrO(a, b):
    if (op_d8xe6WWVfM(b,981) > 575 and op_EcwCPJrLUB(a) > 119):
        return op_dyzj7yJeTe(op_550BOtPxFu(op_8cNrNy0nrI(a,a),op_SEtte5H3sk(a,a)))
    else:
        return op_2duuZjdUdY(op_IEaxuteP8c(op_Ikt5ks8PT7(a,b),op_rGHVDoGpnC(a,b)))

def op_count_NFm9JKrwrO(a, b):
    if (op_d8xe6WWVfM(b,981) > 575 and op_EcwCPJrLUB(a) > 119):
        count = op_count_8cNrNy0nrI(a,a)+op_count_SEtte5H3sk(a,a)+op_count_550BOtPxFu(op_8cNrNy0nrI(a,a),op_SEtte5H3sk(a,a))+op_count_dyzj7yJeTe(op_550BOtPxFu(op_8cNrNy0nrI(a,a),op_SEtte5H3sk(a,a)))+op_count_d8xe6WWVfM(b,981)+op_count_EcwCPJrLUB(a)
    else:
        count = op_count_Ikt5ks8PT7(a,b)+op_count_rGHVDoGpnC(a,b)+op_count_IEaxuteP8c(op_Ikt5ks8PT7(a,b),op_rGHVDoGpnC(a,b))+op_count_2duuZjdUdY(op_IEaxuteP8c(op_Ikt5ks8PT7(a,b),op_rGHVDoGpnC(a,b)))
    return count


a⫰⇣ = { (((a⩇⇾⋰47)⊗∃⇥(a⫌⩉⩟a))∄⩮↔) , if a<=89 ; (((a≴⫳a)↩⊃(a↴↤a))⊗∃⇥((⨷⊓⇐207)⊩∰⋧(181⫻⇑218))) , else }

def op_9Incc5MROx(a):
    if a <= 89:
        return op_4KIxHNpB5o(op_ZAXeO6SPf6(op_ZvB8Fo8LGH(a,47),op_XIIwhv8d0m(a,a)))
    else:
        return op_ZAXeO6SPf6(op_1AjReamIzS(op_JOesmJVzrd(a,a),op_HdNtoxZyhx(a,a)),op_icxKCO3nOu(op_RtH8IFrZUd(207),op_81T1MV3A3t(181,218)))

def op_count_9Incc5MROx(a):
    if a <= 89:
        count = op_count_ZvB8Fo8LGH(a,47)+op_count_XIIwhv8d0m(a,a)+op_count_ZAXeO6SPf6(op_ZvB8Fo8LGH(a,47),op_XIIwhv8d0m(a,a))+op_count_4KIxHNpB5o(op_ZAXeO6SPf6(op_ZvB8Fo8LGH(a,47),op_XIIwhv8d0m(a,a)))
    else:
        count = op_count_JOesmJVzrd(a,a)+op_count_HdNtoxZyhx(a,a)+op_count_1AjReamIzS(op_JOesmJVzrd(a,a),op_HdNtoxZyhx(a,a))+op_count_RtH8IFrZUd(207)+op_count_81T1MV3A3t(181,218)+op_count_icxKCO3nOu(op_RtH8IFrZUd(207),op_81T1MV3A3t(181,218))+op_count_ZAXeO6SPf6(op_1AjReamIzS(op_JOesmJVzrd(a,a),op_HdNtoxZyhx(a,a)),op_icxKCO3nOu(op_RtH8IFrZUd(207),op_81T1MV3A3t(181,218)))
    return count


def op_m1lMq7trc6(a):
    return op_VP5j3Cbanc(op_ZTJQ1ydIWA(a,op_hvBWUBN4QG(a)),op_R5LQDNXM5x(op_hZqwc3tfoN(a,a)))

def op_count_m1lMq7trc6(a):
    count = op_count_hvBWUBN4QG(a)+op_count_ZTJQ1ydIWA(a,op_hvBWUBN4QG(a))+op_count_hZqwc3tfoN(a,a)+op_count_R5LQDNXM5x(op_hZqwc3tfoN(a,a))+op_count_VP5j3Cbanc(op_ZTJQ1ydIWA(a,op_hvBWUBN4QG(a)),op_R5LQDNXM5x(op_hZqwc3tfoN(a,a)))
    return count


⩺⨰a = { (a⇿(⪦⩊(a⩨⋩⪿))) , if (↵⋯a)>=422 ; ((∫⋌(a∋≞a))+⇶⊼((⋑∠a)⊤⪐∵)) , else }

def op_LKZGAeFjzE(a):
    if op_HzjAeHUDMv(a) >= 422:
        return op_YBjRNIjNLy(a,op_ARPqjJ5jgq(op_2AK6mDqOEe(a)))
    else:
        return op_TpPTUOHfaN(op_9onfuQE7Rk(op_F3ZYW0Xs6y(a,a)),op_A7FiOhU1z0(op_kUU6uY7bNG(a)))

def op_count_LKZGAeFjzE(a):
    if op_HzjAeHUDMv(a) >= 422:
        count = op_count_2AK6mDqOEe(a)+op_count_ARPqjJ5jgq(op_2AK6mDqOEe(a))+op_count_YBjRNIjNLy(a,op_ARPqjJ5jgq(op_2AK6mDqOEe(a)))+op_count_HzjAeHUDMv(a)
    else:
        count = op_count_F3ZYW0Xs6y(a,a)+op_count_9onfuQE7Rk(op_F3ZYW0Xs6y(a,a))+op_count_kUU6uY7bNG(a)+op_count_A7FiOhU1z0(op_kUU6uY7bNG(a))+op_count_TpPTUOHfaN(op_9onfuQE7Rk(op_F3ZYW0Xs6y(a,a)),op_A7FiOhU1z0(op_kUU6uY7bNG(a)))
    return count


a−⩠⊋ = { a , if (a⩝⫀⊬126)!=69 ; (a⩄∠⩟) , else }

def op_2VB2at5bPV(a):
    if op_3monxvu6IK(a,126) != 69:
        return a
    else:
        return op_ZsTN7hvPwQ(a)

def op_count_2VB2at5bPV(a):
    if op_3monxvu6IK(a,126) != 69:
        count = 1
    else:
        count = op_count_ZsTN7hvPwQ(a)
    return count


a↰−b = { (a↦) , if (⨔⩪a)<=350 and a==31 ; (a⪵→b) , else }

def op_0AWWzbnYIq(a, b):
    if op_dSjykO3Vy1(a) <= 350 and a == 31:
        return op_fFznvYxMfW(a)
    else:
        return op_7KGj3ybMWB(a,b)

def op_count_0AWWzbnYIq(a, b):
    if op_dSjykO3Vy1(a) <= 350 and a == 31:
        count = op_count_fFznvYxMfW(a)+op_count_dSjykO3Vy1(a)
    else:
        count = op_count_7KGj3ybMWB(a,b)
    return count


a⨢⨫b = { (⨀b) , if ((a⫛⊦⫚507)<13 and (⊜⊜a)>=271) ; (a⫫⨡⋹a) , else }

def op_mK0xbZJf6x(a, b):
    if (op_TiGufyBplZ(a,507) < 13 and op_gA7jnhTi3D(a) >= 271):
        return op_XizqdzG9LG(b)
    else:
        return op_BG8KoTApTr(a,a)

def op_count_mK0xbZJf6x(a, b):
    if (op_TiGufyBplZ(a,507) < 13 and op_gA7jnhTi3D(a) >= 271):
        count = op_count_XizqdzG9LG(b)+op_count_TiGufyBplZ(a,507)+op_count_gA7jnhTi3D(a)
    else:
        count = op_count_BG8KoTApTr(a,a)
    return count


a∳⩒b = { ((⋭≈a)⨤⩩↣) , if (b⨢↰483)==198 and (b⊻⨘)>114 and (⊶b)<233 ; ((b↞⋁a)↩↫(a≱⪂⨡a)) , else }

def op_dPvgivFvU9(a, b):
    if op_xTB5j2aZzK(b,483) == 198 and op_1qeADrfMNe(b) > 114 and op_iLDmr1kYEU(b) < 233:
        return op_sjDgUkA1xV(op_3UBWuKoTzU(a))
    else:
        return op_JjJGrowCxS(op_RqrPlJkxDo(b,a),op_re7ZhIADeV(a,a))

def op_count_dPvgivFvU9(a, b):
    if op_xTB5j2aZzK(b,483) == 198 and op_1qeADrfMNe(b) > 114 and op_iLDmr1kYEU(b) < 233:
        count = op_count_3UBWuKoTzU(a)+op_count_sjDgUkA1xV(op_3UBWuKoTzU(a))+op_count_xTB5j2aZzK(b,483)+op_count_1qeADrfMNe(b)+op_count_iLDmr1kYEU(b)
    else:
        count = op_count_RqrPlJkxDo(b,a)+op_count_re7ZhIADeV(a,a)+op_count_JjJGrowCxS(op_RqrPlJkxDo(b,a),op_re7ZhIADeV(a,a))
    return count


a⨦≬b = { (((b↬a)⨤(a⪾⪙a))⩗⫗(⨖⊭(b⊆⇕a))) , if (⇴⪣⨖b)==22 ; (⫬↸(⇹(7⩨≸⊃92))) , else }

def op_gVWNtRU1WV(a, b):
    if op_fl1sgkYxeY(b) == 22:
        return op_Xw48T5MRcn(op_6Dk38mmJ69(op_B5M0gjZbta(b,a),op_S964yixmzy(a,a)),op_rGQt3VChjE(op_LXu4eIoRGd(b,a)))
    else:
        return op_yk722ryPPO(op_dOQKZuJSrO(op_TUqMYBSV1P(7,92)))

def op_count_gVWNtRU1WV(a, b):
    if op_fl1sgkYxeY(b) == 22:
        count = op_count_B5M0gjZbta(b,a)+op_count_S964yixmzy(a,a)+op_count_6Dk38mmJ69(op_B5M0gjZbta(b,a),op_S964yixmzy(a,a))+op_count_LXu4eIoRGd(b,a)+op_count_rGQt3VChjE(op_LXu4eIoRGd(b,a))+op_count_Xw48T5MRcn(op_6Dk38mmJ69(op_B5M0gjZbta(b,a),op_S964yixmzy(a,a)),op_rGQt3VChjE(op_LXu4eIoRGd(b,a)))+op_count_fl1sgkYxeY(b)
    else:
        count = op_count_TUqMYBSV1P(7,92)+op_count_dOQKZuJSrO(op_TUqMYBSV1P(7,92))+op_count_yk722ryPPO(op_dOQKZuJSrO(op_TUqMYBSV1P(7,92)))
    return count


def op_gSw6ZkElqF(a, b):
    if op_ibwOf8Q6hs(b) >= 300:
        return op_jJYLip4aMc(op_Z8Yg6dlDSp(op_Lsyp3t0mLH(b,b)),op_W9R8I5fN5A(op_knuYb4zZaj(b,21)))
    else:
        return op_j0FS1QXHo5(39,op_jbrVa8FwMb(op_jiwY1kzaLi(a,328),op_qD92y9n62Z(764)))

def op_count_gSw6ZkElqF(a, b):
    if op_ibwOf8Q6hs(b) >= 300:
        count = op_count_Lsyp3t0mLH(b,b)+op_count_Z8Yg6dlDSp(op_Lsyp3t0mLH(b,b))+op_count_knuYb4zZaj(b,21)+op_count_W9R8I5fN5A(op_knuYb4zZaj(b,21))+op_count_jJYLip4aMc(op_Z8Yg6dlDSp(op_Lsyp3t0mLH(b,b)),op_W9R8I5fN5A(op_knuYb4zZaj(b,21)))+op_count_ibwOf8Q6hs(b)
    else:
        count = op_count_jiwY1kzaLi(a,328)+op_count_qD92y9n62Z(764)+op_count_jbrVa8FwMb(op_jiwY1kzaLi(a,328),op_qD92y9n62Z(764))+op_count_j0FS1QXHo5(39,op_jbrVa8FwMb(op_jiwY1kzaLi(a,328),op_qD92y9n62Z(764)))
    return count


def op_4dl0LLvyN5(a, b):
    if (op_gSB9CMo1tN(a,238) == 150 or a <= 11 or op_a6IFn1UJHB(b) <= 173):
        return op_wEyHPk8nCj(op_tNf708WLYo(a,b),op_vqMs4v2zd9(b,b))
    else:
        return op_r04HMFlk8D(op_lFOJH7vxrC(2,368),op_ueiV7DCiJU(a))

def op_count_4dl0LLvyN5(a, b):
    if (op_gSB9CMo1tN(a,238) == 150 or a <= 11 or op_a6IFn1UJHB(b) <= 173):
        count = op_count_tNf708WLYo(a,b)+op_count_vqMs4v2zd9(b,b)+op_count_wEyHPk8nCj(op_tNf708WLYo(a,b),op_vqMs4v2zd9(b,b))+op_count_gSB9CMo1tN(a,238)+op_count_a6IFn1UJHB(b)
    else:
        count = op_count_lFOJH7vxrC(2,368)+op_count_ueiV7DCiJU(a)+op_count_r04HMFlk8D(op_lFOJH7vxrC(2,368),op_ueiV7DCiJU(a))
    return count


def op_sXpgWPuwLS(a):
    if op_As8RqfVLgs(a,974) != 350:
        return op_zjtvyRDnKl(a,a)
    else:
        return op_VWDfLP0KP3(347)

def op_count_sXpgWPuwLS(a):
    if op_As8RqfVLgs(a,974) != 350:
        count = op_count_zjtvyRDnKl(a,a)+op_count_As8RqfVLgs(a,974)
    else:
        count = op_count_VWDfLP0KP3(347)
    return count


a⋒⇨b = { (((⪵⊐b)⨊↕(b⨽⫍b))≞⇯((b≇⨤⊇b)⫔↣⋰(⨦⪝a))) , if (a∲⇳⪦)>=626 ; (a⊳⫥(↕↖⇍(↩⊿⨈262))) , else }

def op_ZdWJQpaH5c(a, b):
    if op_CXVugmvpsF(a) >= 626:
        return op_8kC3VQV3Yq(op_sDckQzKUSc(op_xtn48bosJ0(b),op_ZMV0W12WVe(b,b)),op_1tOBPiOaCx(op_nLhlVZSGl1(b,b),op_SUjycxNXIR(a)))
    else:
        return op_43rC1QlCBa(a,op_qpOCIbTlAF(op_UOjlNIQEDw(262)))

def op_count_ZdWJQpaH5c(a, b):
    if op_CXVugmvpsF(a) >= 626:
        count = op_count_xtn48bosJ0(b)+op_count_ZMV0W12WVe(b,b)+op_count_sDckQzKUSc(op_xtn48bosJ0(b),op_ZMV0W12WVe(b,b))+op_count_nLhlVZSGl1(b,b)+op_count_SUjycxNXIR(a)+op_count_1tOBPiOaCx(op_nLhlVZSGl1(b,b),op_SUjycxNXIR(a))+op_count_8kC3VQV3Yq(op_sDckQzKUSc(op_xtn48bosJ0(b),op_ZMV0W12WVe(b,b)),op_1tOBPiOaCx(op_nLhlVZSGl1(b,b),op_SUjycxNXIR(a)))+op_count_CXVugmvpsF(a)
    else:
        count = op_count_UOjlNIQEDw(262)+op_count_qpOCIbTlAF(op_UOjlNIQEDw(262))+op_count_43rC1QlCBa(a,op_qpOCIbTlAF(op_UOjlNIQEDw(262)))
    return count


def op_6vQ603iREM(a, b):
    if op_PbEthDQl9p(b,11) > 290 or a >= 192 or op_RUvFhAOGfE(b) > 40:
        return op_qc1S3dC2cV(op_rBix6azao7(op_xoJmIySC7h(a,135),op_uU3XJfDBdq(a,108)))
    else:
        return op_RlyZ5BtrCK(op_GyQA6DdueM(op_OWnFPqjWlR(179,b),op_yD4OLUtLkA(b,a)),op_MRkaznYsG3(op_cXLsWb8329(a),op_uqQynTWNAX(0,a)))

def op_count_6vQ603iREM(a, b):
    if op_PbEthDQl9p(b,11) > 290 or a >= 192 or op_RUvFhAOGfE(b) > 40:
        count = op_count_xoJmIySC7h(a,135)+op_count_uU3XJfDBdq(a,108)+op_count_rBix6azao7(op_xoJmIySC7h(a,135),op_uU3XJfDBdq(a,108))+op_count_qc1S3dC2cV(op_rBix6azao7(op_xoJmIySC7h(a,135),op_uU3XJfDBdq(a,108)))+op_count_PbEthDQl9p(b,11)+op_count_RUvFhAOGfE(b)
    else:
        count = op_count_OWnFPqjWlR(179,b)+op_count_yD4OLUtLkA(b,a)+op_count_GyQA6DdueM(op_OWnFPqjWlR(179,b),op_yD4OLUtLkA(b,a))+op_count_cXLsWb8329(a)+op_count_uqQynTWNAX(0,a)+op_count_MRkaznYsG3(op_cXLsWb8329(a),op_uqQynTWNAX(0,a))+op_count_RlyZ5BtrCK(op_GyQA6DdueM(op_OWnFPqjWlR(179,b),op_yD4OLUtLkA(b,a)),op_MRkaznYsG3(op_cXLsWb8329(a),op_uqQynTWNAX(0,a)))
    return count


a⊆⪣⩹b = { (((a∍↴b)∥⋈(a∌≅⫃))↡∰⨪((b↬⨮⇲b)⨊14)) , if (⩭↺a)>=239 ; (((a∺⋿38)⊷⇬(b↬b))⋷⪧(b⊀⪵⫍)) , else }

def op_OeUvFgKRi7(a, b):
    if op_KnVrkH193S(a) >= 239:
        return op_TFC8BisZgT(op_j7kFUh2iBI(op_Esodbl1gVe(a,b),op_BmjYjxkcrF(a)),op_lGaBDnHbCC(op_8TJv5LDobx(b,b),14))
    else:
        return op_JoFAzT2BO8(op_VstVOOoFda(op_Ft2biiUhlV(a,38),op_B5M0gjZbta(b,b)),op_itLUMRE952(b))

def op_count_OeUvFgKRi7(a, b):
    if op_KnVrkH193S(a) >= 239:
        count = op_count_Esodbl1gVe(a,b)+op_count_BmjYjxkcrF(a)+op_count_j7kFUh2iBI(op_Esodbl1gVe(a,b),op_BmjYjxkcrF(a))+op_count_8TJv5LDobx(b,b)+op_count_lGaBDnHbCC(op_8TJv5LDobx(b,b),14)+op_count_TFC8BisZgT(op_j7kFUh2iBI(op_Esodbl1gVe(a,b),op_BmjYjxkcrF(a)),op_lGaBDnHbCC(op_8TJv5LDobx(b,b),14))+op_count_KnVrkH193S(a)
    else:
        count = op_count_Ft2biiUhlV(a,38)+op_count_B5M0gjZbta(b,b)+op_count_VstVOOoFda(op_Ft2biiUhlV(a,38),op_B5M0gjZbta(b,b))+op_count_itLUMRE952(b)+op_count_JoFAzT2BO8(op_VstVOOoFda(op_Ft2biiUhlV(a,38),op_B5M0gjZbta(b,b)),op_itLUMRE952(b))
    return count


a↼⋢≇b = { (a≜⋭253) , if (b⫹⇡)>=326 ; (b≁b) , else }

def op_iAClRCcjyz(a, b):
    if op_h3p4FFU9wb(b) >= 326:
        return op_XzRlZGVJ3s(a,253)
    else:
        return op_8N2wDY1A35(b,b)

def op_count_iAClRCcjyz(a, b):
    if op_h3p4FFU9wb(b) >= 326:
        count = op_count_XzRlZGVJ3s(a,253)+op_count_h3p4FFU9wb(b)
    else:
        count = op_count_8N2wDY1A35(b,b)
    return count


a⪲∋ = { (a⇳⨨a) , if a<=173 ; (39⪥⨬⪅) , else }

def op_pbAKqQ22jl(a):
    if a <= 173:
        return op_TXsa2IRtjG(a,a)
    else:
        return op_zNRQejTB5A(39)

def op_count_pbAKqQ22jl(a):
    if a <= 173:
        count = op_count_TXsa2IRtjG(a,a)
    else:
        count = op_count_zNRQejTB5A(39)
    return count