def op_xWKacU4PIG(a):
    return op_AzXXKTstlj(op_glklzrTFfD(a),op_nouZ5SZjt1(op_ap3xiM279w(a,a)))

def op_count_xWKacU4PIG(a):
    count = op_count_glklzrTFfD(a)+op_count_ap3xiM279w(a,a)+op_count_nouZ5SZjt1(op_ap3xiM279w(a,a))+op_count_AzXXKTstlj(op_glklzrTFfD(a),op_nouZ5SZjt1(op_ap3xiM279w(a,a)))
    return count


def op_leeyKC4ZFN(a, b):
    return op_9xnGDUPbC6(op_rJVOvQCfKK(op_uWAJUKEvyW(a,b),op_Cw4SuJJGHO(b,b)))

def op_count_leeyKC4ZFN(a, b):
    count = op_count_uWAJUKEvyW(a,b)+op_count_Cw4SuJJGHO(b,b)+op_count_rJVOvQCfKK(op_uWAJUKEvyW(a,b),op_Cw4SuJJGHO(b,b))+op_count_9xnGDUPbC6(op_rJVOvQCfKK(op_uWAJUKEvyW(a,b),op_Cw4SuJJGHO(b,b)))
    return count


def op_fLJG5zVr1z(a, b):
    return op_7t3wd0Fuz7(op_VEQNXA0ZBg(op_qy3n0tapmE(b,b)),op_8HhzD0ZcuI(op_j9kHMeSvPp(74,b),op_y2kQTS4a70(198,a)))

def op_count_fLJG5zVr1z(a, b):
    count = op_count_qy3n0tapmE(b,b)+op_count_VEQNXA0ZBg(op_qy3n0tapmE(b,b))+op_count_j9kHMeSvPp(74,b)+op_count_y2kQTS4a70(198,a)+op_count_8HhzD0ZcuI(op_j9kHMeSvPp(74,b),op_y2kQTS4a70(198,a))+op_count_7t3wd0Fuz7(op_VEQNXA0ZBg(op_qy3n0tapmE(b,b)),op_8HhzD0ZcuI(op_j9kHMeSvPp(74,b),op_y2kQTS4a70(198,a)))
    return count


def op_nuZMgjAhXC(a):
    return op_Siyfjn51pv(op_oDvtRyfmAM(op_xD69zh8xqp(a,a)))

def op_count_nuZMgjAhXC(a):
    count = op_count_xD69zh8xqp(a,a)+op_count_oDvtRyfmAM(op_xD69zh8xqp(a,a))+op_count_Siyfjn51pv(op_oDvtRyfmAM(op_xD69zh8xqp(a,a)))
    return count


def op_lz4dBNPYLn(a):
    return op_LBdsKIvxzf(op_oacrs7FA3X(a,a))

def op_count_lz4dBNPYLn(a):
    count = op_count_oacrs7FA3X(a,a)+op_count_LBdsKIvxzf(op_oacrs7FA3X(a,a))
    return count


def op_akoXB3dKtI(a):
    return op_tmPS8pqC7x(op_6SnOT2rOjz(a),op_Noe24qw2ks(54,518))

def op_count_akoXB3dKtI(a):
    count = op_count_6SnOT2rOjz(a)+op_count_Noe24qw2ks(54,518)+op_count_tmPS8pqC7x(op_6SnOT2rOjz(a),op_Noe24qw2ks(54,518))
    return count


def op_e6fjkqlCWa(a):
    if op_GjBEYRfMaF(a,14) != 295:
        return op_eLAdDNolq6(a)
    else:
        return op_8n5YIzOsVS(op_QvoQhV0rrE(op_Cw4SuJJGHO(181,a),op_mqXw5SEYmG(a,849)))

def op_count_e6fjkqlCWa(a):
    if op_GjBEYRfMaF(a,14) != 295:
        count = op_count_eLAdDNolq6(a)+op_count_GjBEYRfMaF(a,14)
    else:
        count = op_count_Cw4SuJJGHO(181,a)+op_count_mqXw5SEYmG(a,849)+op_count_QvoQhV0rrE(op_Cw4SuJJGHO(181,a),op_mqXw5SEYmG(a,849))+op_count_8n5YIzOsVS(op_QvoQhV0rrE(op_Cw4SuJJGHO(181,a),op_mqXw5SEYmG(a,849)))
    return count


⪺a = { (⨑⩽⪐((a⨎a)⨻⪊⨷(a⨓a))) , if (⪚⨷a)>281 or (a⫕⨽⨩)>=622 ; (((a⋳/381)⨪↰⇹(a⪝a))⪉⨛((⇒⊙∲a)↜⊷(a⋷a))) , else }

def op_HWsfkPJiI1(a):
    if op_6LuFrogppQ(a) > 281 or op_sX7icBeOwx(a) >= 622:
        return op_AF7qkfDlqP(op_Pkwamo1tM2(op_rJVOvQCfKK(a,a),op_3ViojmjbAp(a,a)))
    else:
        return op_EWw2JM7wp4(op_tmPS8pqC7x(op_m612RDITqL(a,381),op_wicAB68Tmb(a,a)),op_irKjLsMeKy(op_8HCJqvcFkE(a),op_23Mk6UjR3U(a,a)))

def op_count_HWsfkPJiI1(a):
    if op_6LuFrogppQ(a) > 281 or op_sX7icBeOwx(a) >= 622:
        count = op_count_rJVOvQCfKK(a,a)+op_count_3ViojmjbAp(a,a)+op_count_Pkwamo1tM2(op_rJVOvQCfKK(a,a),op_3ViojmjbAp(a,a))+op_count_AF7qkfDlqP(op_Pkwamo1tM2(op_rJVOvQCfKK(a,a),op_3ViojmjbAp(a,a)))+op_count_6LuFrogppQ(a)+op_count_sX7icBeOwx(a)
    else:
        count = op_count_m612RDITqL(a,381)+op_count_wicAB68Tmb(a,a)+op_count_tmPS8pqC7x(op_m612RDITqL(a,381),op_wicAB68Tmb(a,a))+op_count_8HCJqvcFkE(a)+op_count_23Mk6UjR3U(a,a)+op_count_irKjLsMeKy(op_8HCJqvcFkE(a),op_23Mk6UjR3U(a,a))+op_count_EWw2JM7wp4(op_tmPS8pqC7x(op_m612RDITqL(a,381),op_wicAB68Tmb(a,a)),op_irKjLsMeKy(op_8HCJqvcFkE(a),op_23Mk6UjR3U(a,a)))
    return count


a↾b = { (((b⫞⩸⩒189)≒∊(b⨑⩅≇b))⪔(⩏⊷≩a)) , if (a⨐879)<321 ; (((b⫞⩸⩒120)⪬(b⇄a))⋕⪉⪜((⫦≽⪐a)≣(a⨎a))) , else }

def op_XmtODG4Sr9(a, b):
    if op_Noe24qw2ks(a,879) < 321:
        return op_GjBEYRfMaF(op_5KTvxBwnZo(op_XGcMNugi78(b,189),op_h92wMvzauj(b,b)),op_uOZ1tnYMDE(a))
    else:
        return op_z6LnFrNh4i(op_Ez1Nq5fNfI(op_XGcMNugi78(b,120),op_3EYGwJThht(b,a)),op_ObEyaaML9x(op_fjqJgF5yyp(a),op_rJVOvQCfKK(a,a)))

def op_count_XmtODG4Sr9(a, b):
    if op_Noe24qw2ks(a,879) < 321:
        count = op_count_XGcMNugi78(b,189)+op_count_h92wMvzauj(b,b)+op_count_5KTvxBwnZo(op_XGcMNugi78(b,189),op_h92wMvzauj(b,b))+op_count_uOZ1tnYMDE(a)+op_count_GjBEYRfMaF(op_5KTvxBwnZo(op_XGcMNugi78(b,189),op_h92wMvzauj(b,b)),op_uOZ1tnYMDE(a))+op_count_Noe24qw2ks(a,879)
    else:
        count = op_count_XGcMNugi78(b,120)+op_count_3EYGwJThht(b,a)+op_count_Ez1Nq5fNfI(op_XGcMNugi78(b,120),op_3EYGwJThht(b,a))+op_count_fjqJgF5yyp(a)+op_count_rJVOvQCfKK(a,a)+op_count_ObEyaaML9x(op_fjqJgF5yyp(a),op_rJVOvQCfKK(a,a))+op_count_z6LnFrNh4i(op_Ez1Nq5fNfI(op_XGcMNugi78(b,120),op_3EYGwJThht(b,a)),op_ObEyaaML9x(op_fjqJgF5yyp(a),op_rJVOvQCfKK(a,a)))
    return count


def op_4ViIqD7dWl(a):
    return op_Y5cEcQhyKu(a,op_oDCm7WA9JY(op_qLBMy5fcJr(885),op_s0IfDFCCuZ(345,a)))

def op_count_4ViIqD7dWl(a):
    count = op_count_qLBMy5fcJr(885)+op_count_s0IfDFCCuZ(345,a)+op_count_oDCm7WA9JY(op_qLBMy5fcJr(885),op_s0IfDFCCuZ(345,a))+op_count_Y5cEcQhyKu(a,op_oDCm7WA9JY(op_qLBMy5fcJr(885),op_s0IfDFCCuZ(345,a)))
    return count


a⊭⫢ = { ((a⪄a)⪿⇪⊩(a⇴a)) , if (a≤⨝)>=210 ; ((→⩰a)⊅) , else }

def op_xiKbUzfUz0(a):
    if op_itkOnPxCeF(a) >= 210:
        return op_OGWBzMv138(op_SUmda5xLS4(a,a),op_4JB6nKBMSY(a,a))
    else:
        return op_7p6YLioM7f(op_o8Pngz0Tml(a))

def op_count_xiKbUzfUz0(a):
    if op_itkOnPxCeF(a) >= 210:
        count = op_count_SUmda5xLS4(a,a)+op_count_4JB6nKBMSY(a,a)+op_count_OGWBzMv138(op_SUmda5xLS4(a,a),op_4JB6nKBMSY(a,a))+op_count_itkOnPxCeF(a)
    else:
        count = op_count_o8Pngz0Tml(a)+op_count_7p6YLioM7f(op_o8Pngz0Tml(a))
    return count


def op_aibkDESqBN(a):
    if (op_3YWlZA9bsa(a,714) != 199 or op_Q6LsZf8ZYd(a) == 9):
        return op_oo9mF6JIpo(19)
    else:
        return a

def op_count_aibkDESqBN(a):
    if (op_3YWlZA9bsa(a,714) != 199 or op_Q6LsZf8ZYd(a) == 9):
        count = op_count_oo9mF6JIpo(19)+op_count_3YWlZA9bsa(a,714)+op_count_Q6LsZf8ZYd(a)
    else:
        count = 1
    return count


⇉⪥a = { (((a≽⪈↿51)⪪(⨞a))↳≱((⪝⪂⫅a)⊱⇼⊻(a⩇∃⫛a))) , if (a⪛62)==770 ; (((a⊎←↗)⊲⩕⊾(a≠≀a))↺(⇏⫅(⊤⊝714))) , else }

def op_M2B6wyGvxF(a):
    if op_uFcxV4UQCh(a,62) == 770:
        return op_JwTKLfZU96(op_xD69zh8xqp(op_inCIaGQf8u(a,51),op_grHKJW0KEs(a)),op_FyVja0WsTP(op_XTarYq4gQB(a),op_1aApVXNlOP(a,a)))
    else:
        return op_7j4O788W3g(op_DmTXOeWf9t(op_dwb5p0fa6d(a),op_IwW236VD4Y(a,a)),op_p1y54au9R0(op_rXAclfmB4M(714)))

def op_count_M2B6wyGvxF(a):
    if op_uFcxV4UQCh(a,62) == 770:
        count = op_count_inCIaGQf8u(a,51)+op_count_grHKJW0KEs(a)+op_count_xD69zh8xqp(op_inCIaGQf8u(a,51),op_grHKJW0KEs(a))+op_count_XTarYq4gQB(a)+op_count_1aApVXNlOP(a,a)+op_count_FyVja0WsTP(op_XTarYq4gQB(a),op_1aApVXNlOP(a,a))+op_count_JwTKLfZU96(op_xD69zh8xqp(op_inCIaGQf8u(a,51),op_grHKJW0KEs(a)),op_FyVja0WsTP(op_XTarYq4gQB(a),op_1aApVXNlOP(a,a)))+op_count_uFcxV4UQCh(a,62)
    else:
        count = op_count_dwb5p0fa6d(a)+op_count_IwW236VD4Y(a,a)+op_count_DmTXOeWf9t(op_dwb5p0fa6d(a),op_IwW236VD4Y(a,a))+op_count_rXAclfmB4M(714)+op_count_p1y54au9R0(op_rXAclfmB4M(714))+op_count_7j4O788W3g(op_DmTXOeWf9t(op_dwb5p0fa6d(a),op_IwW236VD4Y(a,a)),op_p1y54au9R0(op_rXAclfmB4M(714)))
    return count


def op_Bdqd193sIk(a):
    if op_CzM2PEoXns(a) >= 107:
        return op_JLbD19bQDL(op_BiWNJpBvwn(a,op_w2537kitQq(a,a)))
    else:
        return op_eH2TOUuTDT(op_SHWCOp9I4E(op_LdNpr8hQHL(188)))

def op_count_Bdqd193sIk(a):
    if op_CzM2PEoXns(a) >= 107:
        count = op_count_w2537kitQq(a,a)+op_count_BiWNJpBvwn(a,op_w2537kitQq(a,a))+op_count_JLbD19bQDL(op_BiWNJpBvwn(a,op_w2537kitQq(a,a)))+op_count_CzM2PEoXns(a)
    else:
        count = op_count_LdNpr8hQHL(188)+op_count_SHWCOp9I4E(op_LdNpr8hQHL(188))+op_count_eH2TOUuTDT(op_SHWCOp9I4E(op_LdNpr8hQHL(188)))
    return count


a⫽⋔ = { ((a≒∊a)⪉⨛(a⋭≵a)) , if a>=198 ; ((a⊙≭199)⊢(↴⪽⋼a)) , else }

def op_bJjEIIhyQG(a):
    if a >= 198:
        return op_EWw2JM7wp4(op_5KTvxBwnZo(a,a),op_jBncVCNhdl(a,a))
    else:
        return op_5twsqlHp2o(op_sVMiUtOpJT(a,199),op_5TUYCnJO6w(a))

def op_count_bJjEIIhyQG(a):
    if a >= 198:
        count = op_count_5KTvxBwnZo(a,a)+op_count_jBncVCNhdl(a,a)+op_count_EWw2JM7wp4(op_5KTvxBwnZo(a,a),op_jBncVCNhdl(a,a))
    else:
        count = op_count_sVMiUtOpJT(a,199)+op_count_5TUYCnJO6w(a)+op_count_5twsqlHp2o(op_sVMiUtOpJT(a,199),op_5TUYCnJO6w(a))
    return count


def op_P78JJ8jX64(a):
    if a < 797:
        return op_3tj9sqzovi(a)
    else:
        return a

def op_count_P78JJ8jX64(a):
    if a < 797:
        count = op_count_3tj9sqzovi(a)
    else:
        count = 1
    return count


a⫽⪃b = { (a∠⫱a) , if (⊆⋠a)>=96 or (⨡↴a)==262 ; (((b↼⊘⨖b)⇴(a⇣⩺⋵a))⩺⋐⫨) , else }

def op_FJ3oXK3UQ0(a, b):
    if op_EBhcHTkKd8(a) >= 96 or op_liw5iZPkLH(a) == 262:
        return op_QvoQhV0rrE(a,a)
    else:
        return op_yS9ePUuUdn(op_4JB6nKBMSY(op_bPywburJMS(b,b),op_F4yD0voBRQ(a,a)))

def op_count_FJ3oXK3UQ0(a, b):
    if op_EBhcHTkKd8(a) >= 96 or op_liw5iZPkLH(a) == 262:
        count = op_count_QvoQhV0rrE(a,a)+op_count_EBhcHTkKd8(a)+op_count_liw5iZPkLH(a)
    else:
        count = op_count_bPywburJMS(b,b)+op_count_F4yD0voBRQ(a,a)+op_count_4JB6nKBMSY(op_bPywburJMS(b,b),op_F4yD0voBRQ(a,a))+op_count_yS9ePUuUdn(op_4JB6nKBMSY(op_bPywburJMS(b,b),op_F4yD0voBRQ(a,a)))
    return count


def op_VX9aY244yz(a, b):
    if op_eWHr1gHY9C(a) <= 120:
        return op_GODebY97qR(op_0KMCeP1Jsh(b,a),op_R6sRhpmvlr(b))
    else:
        return op_inYIwJ0bD8(op_bl5wxAcryP(100))

def op_count_VX9aY244yz(a, b):
    if op_eWHr1gHY9C(a) <= 120:
        count = op_count_0KMCeP1Jsh(b,a)+op_count_R6sRhpmvlr(b)+op_count_GODebY97qR(op_0KMCeP1Jsh(b,a),op_R6sRhpmvlr(b))+op_count_eWHr1gHY9C(a)
    else:
        count = op_count_bl5wxAcryP(100)+op_count_inYIwJ0bD8(op_bl5wxAcryP(100))
    return count


a⫻⫣b = { (((a⪥b)⫨(a↴⪮b))%(b⨦(∯1))) , if (⊙↵-a)==448 ; ((a⩽⩡b)⪪((a⨲⇖⇮)⋥⋵⩄(⇏⫅b))) , else }

def op_Mqg6Kpcx5i(a, b):
    if op_oWn0xqSxBt(a) == 448:
        return op_k8jYdgA6NY(op_RJKDfKcFKp(op_QbnwKVWMIQ(a,b),op_3ayH0UyYyX(a,b)),op_z4gvzBU7aQ(b,op_13TjBizFrQ(1)))
    else:
        return op_xD69zh8xqp(op_zFNL8mZEFB(a,b),op_7t3wd0Fuz7(op_oj4YnGA3cE(a),op_p1y54au9R0(b)))

def op_count_Mqg6Kpcx5i(a, b):
    if op_oWn0xqSxBt(a) == 448:
        count = op_count_QbnwKVWMIQ(a,b)+op_count_3ayH0UyYyX(a,b)+op_count_RJKDfKcFKp(op_QbnwKVWMIQ(a,b),op_3ayH0UyYyX(a,b))+op_count_13TjBizFrQ(1)+op_count_z4gvzBU7aQ(b,op_13TjBizFrQ(1))+op_count_k8jYdgA6NY(op_RJKDfKcFKp(op_QbnwKVWMIQ(a,b),op_3ayH0UyYyX(a,b)),op_z4gvzBU7aQ(b,op_13TjBizFrQ(1)))+op_count_oWn0xqSxBt(a)
    else:
        count = op_count_zFNL8mZEFB(a,b)+op_count_oj4YnGA3cE(a)+op_count_p1y54au9R0(b)+op_count_7t3wd0Fuz7(op_oj4YnGA3cE(a),op_p1y54au9R0(b))+op_count_xD69zh8xqp(op_zFNL8mZEFB(a,b),op_7t3wd0Fuz7(op_oj4YnGA3cE(a),op_p1y54au9R0(b)))
    return count


a⊐⫶b = { (⊬↢(30⫘b)) , if (a≘⨶)<80 ; ((b∋71)⫁⪎(⪁⫅≨b)) , else }

def op_ejsynaZir6(a, b):
    if op_aOI3TlLUAE(a) < 80:
        return op_WPoGxAaPR1(op_48vC8HMD2b(30,b))
    else:
        return op_xRrnTEsQ6j(op_ukq6epAj5P(b,71),op_YApyZlDuBr(b))

def op_count_ejsynaZir6(a, b):
    if op_aOI3TlLUAE(a) < 80:
        count = op_count_48vC8HMD2b(30,b)+op_count_WPoGxAaPR1(op_48vC8HMD2b(30,b))+op_count_aOI3TlLUAE(a)
    else:
        count = op_count_ukq6epAj5P(b,71)+op_count_YApyZlDuBr(b)+op_count_xRrnTEsQ6j(op_ukq6epAj5P(b,71),op_YApyZlDuBr(b))
    return count


a⇱⨹⊀b = { (a∸) , if (b⊵⩛∤326)<=0 ; (a∊⊞≈b) , else }

def op_DEAy1fljX8(a, b):
    if op_36V2MidH9c(b,326) <= 0:
        return op_o20kRiQErp(a)
    else:
        return op_keuJNkrrbj(a,b)

def op_count_DEAy1fljX8(a, b):
    if op_36V2MidH9c(b,326) <= 0:
        count = op_count_o20kRiQErp(a)+op_count_36V2MidH9c(b,326)
    else:
        count = op_count_keuJNkrrbj(a,b)
    return count


def op_2MgFsFVNLE(a):
    return op_0KMCeP1Jsh(op_ObEyaaML9x(op_MahUMFw56D(a),op_xoJmIySC7h(a,a)),a)

def op_count_2MgFsFVNLE(a):
    count = op_count_MahUMFw56D(a)+op_count_xoJmIySC7h(a,a)+op_count_ObEyaaML9x(op_MahUMFw56D(a),op_xoJmIySC7h(a,a))+op_count_0KMCeP1Jsh(op_ObEyaaML9x(op_MahUMFw56D(a),op_xoJmIySC7h(a,a)),a)
    return count


def op_096fXiO8sA(a):
    if (op_iXQfhhNwXF(a) > 290 or op_YocpLSRo8j(a) != 123):
        return op_ddLRYrp01A(a,a)
    else:
        return op_aMUSaJuDRU(a)

def op_count_096fXiO8sA(a):
    if (op_iXQfhhNwXF(a) > 290 or op_YocpLSRo8j(a) != 123):
        count = op_count_ddLRYrp01A(a,a)+op_count_iXQfhhNwXF(a)+op_count_YocpLSRo8j(a)
    else:
        count = op_count_aMUSaJuDRU(a)
    return count


⇃a = { (((⨵30)⋐≟⩺(a≬⋮a))⋝⋈⪟((≇⪴a)↳≱(a⇪⋱))) , if ((a↑)<=27 or (a≤⨝)==98) ; (((a↬⩅∪)≙⪾(∟⋨a))∊∟⩊(⫡⇟⇯(⪆a))) , else }

def op_i4Pfiorep6(a):
    if (op_BThhyOhh10(a) <= 27 or op_itkOnPxCeF(a) == 98):
        return op_2DDjHMKMc0(op_PjbVkMzmXE(op_Tl3Y52tvF8(30),op_kbkesczE7y(a,a)),op_JwTKLfZU96(op_zoVPnxeHJ3(a),op_MKzNxCV7Yo(a)))
    else:
        return op_ddLRYrp01A(op_OhqpJ7Tl0K(op_VJ330n2nnx(a),op_ctOc4cKSDt(a)),op_qWUSsah53b(op_KWeyIRWUIQ(a)))

def op_count_i4Pfiorep6(a):
    if (op_BThhyOhh10(a) <= 27 or op_itkOnPxCeF(a) == 98):
        count = op_count_Tl3Y52tvF8(30)+op_count_kbkesczE7y(a,a)+op_count_PjbVkMzmXE(op_Tl3Y52tvF8(30),op_kbkesczE7y(a,a))+op_count_zoVPnxeHJ3(a)+op_count_MKzNxCV7Yo(a)+op_count_JwTKLfZU96(op_zoVPnxeHJ3(a),op_MKzNxCV7Yo(a))+op_count_2DDjHMKMc0(op_PjbVkMzmXE(op_Tl3Y52tvF8(30),op_kbkesczE7y(a,a)),op_JwTKLfZU96(op_zoVPnxeHJ3(a),op_MKzNxCV7Yo(a)))+op_count_BThhyOhh10(a)+op_count_itkOnPxCeF(a)
    else:
        count = op_count_VJ330n2nnx(a)+op_count_ctOc4cKSDt(a)+op_count_OhqpJ7Tl0K(op_VJ330n2nnx(a),op_ctOc4cKSDt(a))+op_count_KWeyIRWUIQ(a)+op_count_qWUSsah53b(op_KWeyIRWUIQ(a))+op_count_ddLRYrp01A(op_OhqpJ7Tl0K(op_VJ330n2nnx(a),op_ctOc4cKSDt(a)),op_qWUSsah53b(op_KWeyIRWUIQ(a)))
    return count


def op_fkZUW4eOKP(a):
    return op_0KMCeP1Jsh(a,a)

def op_count_fkZUW4eOKP(a):
    count = op_count_0KMCeP1Jsh(a,a)
    return count


def op_ZM199RjHSm(a, b):
    if a == 295:
        return op_SR5kFfdi6N(op_k8jYdgA6NY(op_9FxExcQeMw(b,b),op_UnCoSGIALn(b)),op_wmlQD0656L(a))
    else:
        return op_WSbXXWOizJ(op_bx9Z9DAK5y(op_YocpLSRo8j(378)),op_64EQ39e0fC(op_bx9Z9DAK5y(b),op_9HNa5Wba9A(a,57)))

def op_count_ZM199RjHSm(a, b):
    if a == 295:
        count = op_count_9FxExcQeMw(b,b)+op_count_UnCoSGIALn(b)+op_count_k8jYdgA6NY(op_9FxExcQeMw(b,b),op_UnCoSGIALn(b))+op_count_wmlQD0656L(a)+op_count_SR5kFfdi6N(op_k8jYdgA6NY(op_9FxExcQeMw(b,b),op_UnCoSGIALn(b)),op_wmlQD0656L(a))
    else:
        count = op_count_YocpLSRo8j(378)+op_count_bx9Z9DAK5y(op_YocpLSRo8j(378))+op_count_bx9Z9DAK5y(b)+op_count_9HNa5Wba9A(a,57)+op_count_64EQ39e0fC(op_bx9Z9DAK5y(b),op_9HNa5Wba9A(a,57))+op_count_WSbXXWOizJ(op_bx9Z9DAK5y(op_YocpLSRo8j(378)),op_64EQ39e0fC(op_bx9Z9DAK5y(b),op_9HNa5Wba9A(a,57)))
    return count


def op_OLuofHlRCj(a):
    return op_2td37pGCOC(op_y75s1iXyHd(op_SR5kFfdi6N(138,a),op_b1mGkbI4Oy(226,a)))

def op_count_OLuofHlRCj(a):
    count = op_count_SR5kFfdi6N(138,a)+op_count_b1mGkbI4Oy(226,a)+op_count_y75s1iXyHd(op_SR5kFfdi6N(138,a),op_b1mGkbI4Oy(226,a))+op_count_2td37pGCOC(op_y75s1iXyHd(op_SR5kFfdi6N(138,a),op_b1mGkbI4Oy(226,a)))
    return count


def op_kLz9fXvToG(a, b):
    return op_Nsiff2A1zJ(op_IwW236VD4Y(a,b),op_8HhzD0ZcuI(217,a))

def op_count_kLz9fXvToG(a, b):
    count = op_count_IwW236VD4Y(a,b)+op_count_8HhzD0ZcuI(217,a)+op_count_Nsiff2A1zJ(op_IwW236VD4Y(a,b),op_8HhzD0ZcuI(217,a))
    return count


a⫯⊺⨯ = { (a⩎⨬a) , if (a⩜⩌)>=691 ; (⋗⩴⪓a) , else }

def op_lECMGPioUL(a):
    if op_2DRhT6gtPg(a) >= 691:
        return op_dR2gYrpTIj(a,a)
    else:
        return op_nOKPl9n5zu(a)

def op_count_lECMGPioUL(a):
    if op_2DRhT6gtPg(a) >= 691:
        count = op_count_dR2gYrpTIj(a,a)+op_count_2DRhT6gtPg(a)
    else:
        count = op_count_nOKPl9n5zu(a)
    return count


def op_rlgYWsFeVn(a):
    return op_sdazOOVcIp(op_0QEWQRhRpH(op_aOI3TlLUAE(430),op_FyVja0WsTP(a,a)),op_hrf7POJlIJ(op_aMUSaJuDRU(155),op_neKQRQQIil(a,a)))

def op_count_rlgYWsFeVn(a):
    count = op_count_aOI3TlLUAE(430)+op_count_FyVja0WsTP(a,a)+op_count_0QEWQRhRpH(op_aOI3TlLUAE(430),op_FyVja0WsTP(a,a))+op_count_aMUSaJuDRU(155)+op_count_neKQRQQIil(a,a)+op_count_hrf7POJlIJ(op_aMUSaJuDRU(155),op_neKQRQQIil(a,a))+op_count_sdazOOVcIp(op_0QEWQRhRpH(op_aOI3TlLUAE(430),op_FyVja0WsTP(a,a)),op_hrf7POJlIJ(op_aMUSaJuDRU(155),op_neKQRQQIil(a,a)))
    return count


⇸⨐⪙a = { ((↴⪽⋼a)⪪(182⫼⨠a)) , if (⩠↾⋷a)>546 ; ((a⪊≅)∕⩚(a⩦a)) , else }

def op_UhM7GxoAxS(a):
    if op_ukSLkBfL7r(a) > 546:
        return op_xD69zh8xqp(op_5TUYCnJO6w(a),op_KYL1uVeVpb(182,a))
    else:
        return op_z9ffQ9n5Zr(op_bjFbhXSADs(a),op_0kmYd0q39Y(a,a))

def op_count_UhM7GxoAxS(a):
    if op_ukSLkBfL7r(a) > 546:
        count = op_count_5TUYCnJO6w(a)+op_count_KYL1uVeVpb(182,a)+op_count_xD69zh8xqp(op_5TUYCnJO6w(a),op_KYL1uVeVpb(182,a))+op_count_ukSLkBfL7r(a)
    else:
        count = op_count_bjFbhXSADs(a)+op_count_0kmYd0q39Y(a,a)+op_count_z9ffQ9n5Zr(op_bjFbhXSADs(a),op_0kmYd0q39Y(a,a))
    return count


⩤⊕∪a = { ((a⨻⩈⩔a)⫨(a≬⋮a)) , if (∛⊵a)>=455 ; ((a⇣⩺⋵a)∙∹∝(6⫠)) , else }

def op_gfvVrh7EOO(a):
    if op_jfYOP67v6Y(a) >= 455:
        return op_RJKDfKcFKp(op_nEsXyWgiOK(a,a),op_kbkesczE7y(a,a))
    else:
        return op_HmxsFra2vL(op_F4yD0voBRQ(a,a),op_6SnOT2rOjz(6))

def op_count_gfvVrh7EOO(a):
    if op_jfYOP67v6Y(a) >= 455:
        count = op_count_nEsXyWgiOK(a,a)+op_count_kbkesczE7y(a,a)+op_count_RJKDfKcFKp(op_nEsXyWgiOK(a,a),op_kbkesczE7y(a,a))+op_count_jfYOP67v6Y(a)
    else:
        count = op_count_F4yD0voBRQ(a,a)+op_count_6SnOT2rOjz(6)+op_count_HmxsFra2vL(op_F4yD0voBRQ(a,a),op_6SnOT2rOjz(6))
    return count


def op_FivK695Inb(a, b):
    if (op_KvubFp3XhO(b) >= 130 and b == 81):
        return op_Nsiff2A1zJ(b,b)
    else:
        return op_oRDoc9rAEX(a,137)

def op_count_FivK695Inb(a, b):
    if (op_KvubFp3XhO(b) >= 130 and b == 81):
        count = op_count_Nsiff2A1zJ(b,b)+op_count_KvubFp3XhO(b)
    else:
        count = op_count_oRDoc9rAEX(a,137)
    return count


def op_tHss8q0tGc(a):
    return op_oZj3VtZNQx(a,a)

def op_count_tHss8q0tGc(a):
    count = op_count_oZj3VtZNQx(a,a)
    return count


def op_InRsNkjnGi(a, b):
    return op_GjBEYRfMaF(op_8FLs4eVsLt(a),op_keMeIxFVQ3(b,b))

def op_count_InRsNkjnGi(a, b):
    count = op_count_8FLs4eVsLt(a)+op_count_keMeIxFVQ3(b,b)+op_count_GjBEYRfMaF(op_8FLs4eVsLt(a),op_keMeIxFVQ3(b,b))
    return count


def op_Q6Sj1WS8if(a, b):
    if op_ZG1KnpkPxw(a,445) == 85 and op_D309nIvmXG(b) <= 209:
        return op_NOyIGfOOXL(op_u7fv1HBiaC(op_HiPekx5b7W(b,b)),op_OGWBzMv138(op_k8jYdgA6NY(a,597),op_6SnOT2rOjz(a)))
    else:
        return op_LJjZ19xYgc(op_4JB6nKBMSY(op_wscyQdcy20(b,739),op_ivGwdmUAux(b)))

def op_count_Q6Sj1WS8if(a, b):
    if op_ZG1KnpkPxw(a,445) == 85 and op_D309nIvmXG(b) <= 209:
        count = op_count_HiPekx5b7W(b,b)+op_count_u7fv1HBiaC(op_HiPekx5b7W(b,b))+op_count_k8jYdgA6NY(a,597)+op_count_6SnOT2rOjz(a)+op_count_OGWBzMv138(op_k8jYdgA6NY(a,597),op_6SnOT2rOjz(a))+op_count_NOyIGfOOXL(op_u7fv1HBiaC(op_HiPekx5b7W(b,b)),op_OGWBzMv138(op_k8jYdgA6NY(a,597),op_6SnOT2rOjz(a)))+op_count_ZG1KnpkPxw(a,445)+op_count_D309nIvmXG(b)
    else:
        count = op_count_wscyQdcy20(b,739)+op_count_ivGwdmUAux(b)+op_count_4JB6nKBMSY(op_wscyQdcy20(b,739),op_ivGwdmUAux(b))+op_count_LJjZ19xYgc(op_4JB6nKBMSY(op_wscyQdcy20(b,739),op_ivGwdmUAux(b)))
    return count


def op_R853JquVHs(a, b):
    return op_tmPS8pqC7x(op_sVMiUtOpJT(a,b),op_3DVzLFNsE9(b))

def op_count_R853JquVHs(a, b):
    count = op_count_sVMiUtOpJT(a,b)+op_count_3DVzLFNsE9(b)+op_count_tmPS8pqC7x(op_sVMiUtOpJT(a,b),op_3DVzLFNsE9(b))
    return count


def op_24nwyATvD7(a, b):
    return op_Qctrpi3WzA(op_NrdPCfJQiM(b,a))

def op_count_24nwyATvD7(a, b):
    count = op_count_NrdPCfJQiM(b,a)+op_count_Qctrpi3WzA(op_NrdPCfJQiM(b,a))
    return count


≷a = { ((259⪭a)⨸(⊙⨙⩍a)) , if a>645 ; (⨮↦↱(a⪍↜⋙a)) , else }

def op_tQq6REDPEr(a):
    if a > 645:
        return op_KmoU8R5UQR(op_j9kHMeSvPp(259,a),op_ocpzidtxKt(a))
    else:
        return op_sYcpBQ0cFf(op_L05ObWFQCd(a,a))

def op_count_tQq6REDPEr(a):
    if a > 645:
        count = op_count_j9kHMeSvPp(259,a)+op_count_ocpzidtxKt(a)+op_count_KmoU8R5UQR(op_j9kHMeSvPp(259,a),op_ocpzidtxKt(a))
    else:
        count = op_count_L05ObWFQCd(a,a)+op_count_sYcpBQ0cFf(op_L05ObWFQCd(a,a))
    return count


def op_BLLGLRFJVt(a):
    return op_JFrVJKYFMX(op_C8AGOwLzL7(op_Ez1Nq5fNfI(a,219)),op_y4ImoPnbV5(op_AF7qkfDlqP(a),op_RHru8klgy8(a)))

def op_count_BLLGLRFJVt(a):
    count = op_count_Ez1Nq5fNfI(a,219)+op_count_C8AGOwLzL7(op_Ez1Nq5fNfI(a,219))+op_count_AF7qkfDlqP(a)+op_count_RHru8klgy8(a)+op_count_y4ImoPnbV5(op_AF7qkfDlqP(a),op_RHru8klgy8(a))+op_count_JFrVJKYFMX(op_C8AGOwLzL7(op_Ez1Nq5fNfI(a,219)),op_y4ImoPnbV5(op_AF7qkfDlqP(a),op_RHru8klgy8(a)))
    return count


def op_zPwbmAUgue(a):
    return op_CzM2PEoXns(op_cWQsF5MvuD(op_WhqkvtTD3t(a,a)))

def op_count_zPwbmAUgue(a):
    count = op_count_WhqkvtTD3t(a,a)+op_count_cWQsF5MvuD(op_WhqkvtTD3t(a,a))+op_count_CzM2PEoXns(op_cWQsF5MvuD(op_WhqkvtTD3t(a,a)))
    return count


def op_RUvFhAOGfE(a):
    return op_8INZBEW696(op_MahUMFw56D(a),op_crtJ4cV1Co(478,a))

def op_count_RUvFhAOGfE(a):
    count = op_count_MahUMFw56D(a)+op_count_crtJ4cV1Co(478,a)+op_count_8INZBEW696(op_MahUMFw56D(a),op_crtJ4cV1Co(478,a))
    return count


def op_7Eqj152hMc(a):
    return op_ocnLzx9CaJ(op_poiSo6Xg3g(a,op_9Isq31Ruls(a,a)),op_SIgE0bArFf(op_9bazX3JMtO(a,a)))

def op_count_7Eqj152hMc(a):
    count = op_count_9Isq31Ruls(a,a)+op_count_poiSo6Xg3g(a,op_9Isq31Ruls(a,a))+op_count_9bazX3JMtO(a,a)+op_count_SIgE0bArFf(op_9bazX3JMtO(a,a))+op_count_ocnLzx9CaJ(op_poiSo6Xg3g(a,op_9Isq31Ruls(a,a)),op_SIgE0bArFf(op_9bazX3JMtO(a,a)))
    return count


def op_qLiEs2rVxT(a, b):
    return op_oo9mF6JIpo(op_2GS7woTJqF(op_ddLRYrp01A(b,b),op_1eCjFl0mb9(b,a)))

def op_count_qLiEs2rVxT(a, b):
    count = op_count_ddLRYrp01A(b,b)+op_count_1eCjFl0mb9(b,a)+op_count_2GS7woTJqF(op_ddLRYrp01A(b,b),op_1eCjFl0mb9(b,a))+op_count_oo9mF6JIpo(op_2GS7woTJqF(op_ddLRYrp01A(b,b),op_1eCjFl0mb9(b,a)))
    return count


def op_QILz4EHje6(a):
    return op_AFVx7xoS7T(op_UoVew8f2p2(611,a),op_VEQNXA0ZBg(0))

def op_count_QILz4EHje6(a):
    count = op_count_UoVew8f2p2(611,a)+op_count_VEQNXA0ZBg(0)+op_count_AFVx7xoS7T(op_UoVew8f2p2(611,a),op_VEQNXA0ZBg(0))
    return count


def op_NYIHRc2x51(a, b):
    return op_xD69zh8xqp(op_3tj9sqzovi(a),op_HrjLwUk87U(173,b))

def op_count_NYIHRc2x51(a, b):
    count = op_count_3tj9sqzovi(a)+op_count_HrjLwUk87U(173,b)+op_count_xD69zh8xqp(op_3tj9sqzovi(a),op_HrjLwUk87U(173,b))
    return count


def op_Qglmzouulk(a, b):
    if op_yuvXk3Mco8(a) == 38:
        return op_ivGwdmUAux(274)
    else:
        return op_VCG3UHNzLR(b,358)

def op_count_Qglmzouulk(a, b):
    if op_yuvXk3Mco8(a) == 38:
        count = op_count_ivGwdmUAux(274)+op_count_yuvXk3Mco8(a)
    else:
        count = op_count_VCG3UHNzLR(b,358)
    return count


def op_3Mo73BEME2(a):
    if (op_D309nIvmXG(a) <= 517 and op_u3XxlibK4s(a) >= 310 and a == 11):
        return op_DhbWaqg5eL(314)
    else:
        return op_ar1w6gUwHX(11,a)

def op_count_3Mo73BEME2(a):
    if (op_D309nIvmXG(a) <= 517 and op_u3XxlibK4s(a) >= 310 and a == 11):
        count = op_count_DhbWaqg5eL(314)+op_count_D309nIvmXG(a)+op_count_u3XxlibK4s(a)
    else:
        count = op_count_ar1w6gUwHX(11,a)
    return count


a⊆⇕b = { (a⨲∙) , if b>=16 or a<=277 ; (a⫳≱↱a) , else }

def op_LXu4eIoRGd(a, b):
    if b >= 16 or a <= 277:
        return op_cRahaglYVE(a)
    else:
        return op_ZvLB05nZmT(a,a)

def op_count_LXu4eIoRGd(a, b):
    if b >= 16 or a <= 277:
        count = op_count_cRahaglYVE(a)
    else:
        count = op_count_ZvLB05nZmT(a,a)
    return count


a⋮⫆b = { ((a⋱⇵a)↴⪮(a⪍↜⋙a)) , if (⇋b)<=89 ; ((a⨨a)⨘) , else }

def op_H0fWaTn7v4(a, b):
    if op_6Ac6Foig3G(b) <= 89:
        return op_3ayH0UyYyX(op_5ESOiVPbEV(a,a),op_L05ObWFQCd(a,a))
    else:
        return op_ljcfZBUpm8(op_vhtqQa4va1(a,a))

def op_count_H0fWaTn7v4(a, b):
    if op_6Ac6Foig3G(b) <= 89:
        count = op_count_5ESOiVPbEV(a,a)+op_count_L05ObWFQCd(a,a)+op_count_3ayH0UyYyX(op_5ESOiVPbEV(a,a),op_L05ObWFQCd(a,a))+op_count_6Ac6Foig3G(b)
    else:
        count = op_count_vhtqQa4va1(a,a)+op_count_ljcfZBUpm8(op_vhtqQa4va1(a,a))
    return count


def op_I7EtXjyZpr(a):
    return op_AzXXKTstlj(a,60)

def op_count_I7EtXjyZpr(a):
    count = op_count_AzXXKTstlj(a,60)
    return count


def op_zPaW4OAyCC(a, b):
    return op_iz8sE888QL(op_0JWJYFSzIQ(op_DhbWaqg5eL(b),op_XZxEnkN3N0(a)))

def op_count_zPaW4OAyCC(a, b):
    count = op_count_DhbWaqg5eL(b)+op_count_XZxEnkN3N0(a)+op_count_0JWJYFSzIQ(op_DhbWaqg5eL(b),op_XZxEnkN3N0(a))+op_count_iz8sE888QL(op_0JWJYFSzIQ(op_DhbWaqg5eL(b),op_XZxEnkN3N0(a)))
    return count


a⫁∆⨗b = { (⊙↵-b) , if a<=56 ; (a⨓b) , else }

def op_JAobebJkKA(a, b):
    if a <= 56:
        return op_oWn0xqSxBt(b)
    else:
        return op_3ViojmjbAp(a,b)

def op_count_JAobebJkKA(a, b):
    if a <= 56:
        count = op_count_oWn0xqSxBt(b)
    else:
        count = op_count_3ViojmjbAp(a,b)
    return count


⪞⇺a = { (a⫶a) , if (a↑)<=315 ; (a⩺⋐⫨) , else }

def op_LcLDYWYtOH(a):
    if op_BThhyOhh10(a) <= 315:
        return op_BAIXFdYaz3(a,a)
    else:
        return op_yS9ePUuUdn(a)

def op_count_LcLDYWYtOH(a):
    if op_BThhyOhh10(a) <= 315:
        count = op_count_BAIXFdYaz3(a,a)+op_count_BThhyOhh10(a)
    else:
        count = op_count_yS9ePUuUdn(a)
    return count


a⫸⇍b = { (((∷≠b)≓∲(b⨜⨶a))∄((⨑⩽⪐a)⫼⨠(a≚⋢))) , if ((b⪨⨌⩅)<268 or (a⊙)!=443 or (⪁⇼a)==104) ; (((b⫯⪬∳b)⨽(b⨻⪊⨷a))⊝∲⩰a) , else }

def op_RTaRm1inG1(a, b):
    if (op_eupb9vlVPb(b) < 268 or op_pjdzZ5rP1Y(a) != 443 or op_ZNVVrZ94lY(a) == 104):
        return op_tnyRA5sazQ(op_s1XTVnmDOJ(op_QiR2Oyf5Xj(b),op_HiPekx5b7W(b,a)),op_KYL1uVeVpb(op_AF7qkfDlqP(a),op_MahUMFw56D(a)))
    else:
        return op_UkFG6YBLyt(op_8HhzD0ZcuI(op_d7ASUq0ydm(b,b),op_Pkwamo1tM2(b,a)),a)

def op_count_RTaRm1inG1(a, b):
    if (op_eupb9vlVPb(b) < 268 or op_pjdzZ5rP1Y(a) != 443 or op_ZNVVrZ94lY(a) == 104):
        count = op_count_QiR2Oyf5Xj(b)+op_count_HiPekx5b7W(b,a)+op_count_s1XTVnmDOJ(op_QiR2Oyf5Xj(b),op_HiPekx5b7W(b,a))+op_count_AF7qkfDlqP(a)+op_count_MahUMFw56D(a)+op_count_KYL1uVeVpb(op_AF7qkfDlqP(a),op_MahUMFw56D(a))+op_count_tnyRA5sazQ(op_s1XTVnmDOJ(op_QiR2Oyf5Xj(b),op_HiPekx5b7W(b,a)),op_KYL1uVeVpb(op_AF7qkfDlqP(a),op_MahUMFw56D(a)))+op_count_eupb9vlVPb(b)+op_count_pjdzZ5rP1Y(a)+op_count_ZNVVrZ94lY(a)
    else:
        count = op_count_d7ASUq0ydm(b,b)+op_count_Pkwamo1tM2(b,a)+op_count_8HhzD0ZcuI(op_d7ASUq0ydm(b,b),op_Pkwamo1tM2(b,a))+op_count_UkFG6YBLyt(op_8HhzD0ZcuI(op_d7ASUq0ydm(b,b),op_Pkwamo1tM2(b,a)),a)
    return count


a∑⊿≛b = { a , if (a==187 and (a↱⊪⇍)<275) ; (b⨓b) , else }

def op_HBr05eZif0(a, b):
    if (a == 187 and op_Zubgv0tBda(a) < 275):
        return a
    else:
        return op_3ViojmjbAp(b,b)

def op_count_HBr05eZif0(a, b):
    if (a == 187 and op_Zubgv0tBda(a) < 275):
        count = 1
    else:
        count = op_count_3ViojmjbAp(b,b)
    return count


def op_GRrQNMyeGD(a, b):
    return op_B7jD7820sf(op_nOKPl9n5zu(588),op_WSbXXWOizJ(b,a))

def op_count_GRrQNMyeGD(a, b):
    count = op_count_nOKPl9n5zu(588)+op_count_WSbXXWOizJ(b,a)+op_count_B7jD7820sf(op_nOKPl9n5zu(588),op_WSbXXWOizJ(b,a))
    return count


def op_ancsfN6GXi(a):
    return op_SxTAKzQCrw(a,a)

def op_count_ancsfN6GXi(a):
    count = op_count_SxTAKzQCrw(a,a)
    return count


def op_ZAXeO6SPf6(a, b):
    return op_JFrVJKYFMX(op_5TUYCnJO6w(89),op_QvoQhV0rrE(op_UvedHhwKRj(a,b),op_12rbrZMWeM(a,148)))

def op_count_ZAXeO6SPf6(a, b):
    count = op_count_5TUYCnJO6w(89)+op_count_UvedHhwKRj(a,b)+op_count_12rbrZMWeM(a,148)+op_count_QvoQhV0rrE(op_UvedHhwKRj(a,b),op_12rbrZMWeM(a,148))+op_count_JFrVJKYFMX(op_5TUYCnJO6w(89),op_QvoQhV0rrE(op_UvedHhwKRj(a,b),op_12rbrZMWeM(a,148)))
    return count


def op_6jnLtSreEI(a):
    return op_JDUIKTTSIa(op_MXaNJeIAZ3(op_BAIXFdYaz3(a,a)),op_ncHt1X6cMc(op_eH2TOUuTDT(a),a))

def op_count_6jnLtSreEI(a):
    count = op_count_BAIXFdYaz3(a,a)+op_count_MXaNJeIAZ3(op_BAIXFdYaz3(a,a))+op_count_eH2TOUuTDT(a)+op_count_ncHt1X6cMc(op_eH2TOUuTDT(a),a)+op_count_JDUIKTTSIa(op_MXaNJeIAZ3(op_BAIXFdYaz3(a,a)),op_ncHt1X6cMc(op_eH2TOUuTDT(a),a))
    return count


def op_rsaZ3WVEY2(a):
    return op_ncHt1X6cMc(a,a)

def op_count_rsaZ3WVEY2(a):
    count = op_count_ncHt1X6cMc(a,a)
    return count


def op_OVg4Y5bM5J(a):
    return op_cTDWOvIxvz(op_mqXw5SEYmG(a,op_z9ffQ9n5Zr(610,a)),op_Z2TMIBDE3Q(op_S7Dkc5Re0B(a)))

def op_count_OVg4Y5bM5J(a):
    count = op_count_z9ffQ9n5Zr(610,a)+op_count_mqXw5SEYmG(a,op_z9ffQ9n5Zr(610,a))+op_count_S7Dkc5Re0B(a)+op_count_Z2TMIBDE3Q(op_S7Dkc5Re0B(a))+op_count_cTDWOvIxvz(op_mqXw5SEYmG(a,op_z9ffQ9n5Zr(610,a)),op_Z2TMIBDE3Q(op_S7Dkc5Re0B(a)))
    return count


a↕⋲b = { (((a⇼⇔∾b)⫬(119≎a))⪬((416⊲⩕⊾a)≀⫉(a⋅⇍b))) }

def op_4fBBH5YYk9(a, b):
    return op_Ez1Nq5fNfI(op_bR7FmX73P0(op_tifHPKVTfV(a,b),op_kvyeM8WEH2(119,a)),op_oZj3VtZNQx(op_DmTXOeWf9t(416,a),op_AdZkA7nFnk(a,b)))

def op_count_4fBBH5YYk9(a, b):
    count = op_count_tifHPKVTfV(a,b)+op_count_kvyeM8WEH2(119,a)+op_count_bR7FmX73P0(op_tifHPKVTfV(a,b),op_kvyeM8WEH2(119,a))+op_count_DmTXOeWf9t(416,a)+op_count_AdZkA7nFnk(a,b)+op_count_oZj3VtZNQx(op_DmTXOeWf9t(416,a),op_AdZkA7nFnk(a,b))+op_count_Ez1Nq5fNfI(op_bR7FmX73P0(op_tifHPKVTfV(a,b),op_kvyeM8WEH2(119,a)),op_oZj3VtZNQx(op_DmTXOeWf9t(416,a),op_AdZkA7nFnk(a,b)))
    return count


def op_tNJmPebg1k(a):
    return op_ivGwdmUAux(op_JwTKLfZU96(a,35))

def op_count_tNJmPebg1k(a):
    count = op_count_JwTKLfZU96(a,35)+op_count_ivGwdmUAux(op_JwTKLfZU96(a,35))
    return count


⋉∇a = { (a≁↽≥a) , if (a⪦⩸621)!=337 ; a , else }

def op_AVIuaxj4s4(a):
    if op_0JWJYFSzIQ(a,621) != 337:
        return op_ncHt1X6cMc(a,a)
    else:
        return a

def op_count_AVIuaxj4s4(a):
    if op_0JWJYFSzIQ(a,621) != 337:
        count = op_count_ncHt1X6cMc(a,a)+op_count_0JWJYFSzIQ(a,621)
    else:
        count = 1
    return count


a⋃∰b = { ((b⊂≢↧272)⩁⩘(b⩌⋺a)) , if (a≘⨶)==11 ; ((b⨒b)⩰⪎(⪫⨮⊛b)) , else }

def op_yqthOfQm3e(a, b):
    if op_aOI3TlLUAE(a) == 11:
        return op_gub5Cegaqo(op_1NCu7utSrV(b,272),op_g7Hmc5v1ko(b,a))
    else:
        return op_keMeIxFVQ3(op_y75s1iXyHd(b,b),op_w5FWba1tyO(b))

def op_count_yqthOfQm3e(a, b):
    if op_aOI3TlLUAE(a) == 11:
        count = op_count_1NCu7utSrV(b,272)+op_count_g7Hmc5v1ko(b,a)+op_count_gub5Cegaqo(op_1NCu7utSrV(b,272),op_g7Hmc5v1ko(b,a))+op_count_aOI3TlLUAE(a)
    else:
        count = op_count_y75s1iXyHd(b,b)+op_count_w5FWba1tyO(b)+op_count_keMeIxFVQ3(op_y75s1iXyHd(b,b),op_w5FWba1tyO(b))
    return count


a↦⩻⊓b = { (b↼⊘⨖(380⇣⩺⋵a)) , if (⫏a)>114 ; ((a∿⫑≎b)≧⫂∧(≻⋜b)) , else }

def op_kf2MGdd7i0(a, b):
    if op_kvIXUmKfYG(a) > 114:
        return op_bPywburJMS(b,op_F4yD0voBRQ(380,a))
    else:
        return op_Ph9nP6C5qx(op_ar1w6gUwHX(a,b),op_3tj9sqzovi(b))

def op_count_kf2MGdd7i0(a, b):
    if op_kvIXUmKfYG(a) > 114:
        count = op_count_F4yD0voBRQ(380,a)+op_count_bPywburJMS(b,op_F4yD0voBRQ(380,a))+op_count_kvIXUmKfYG(a)
    else:
        count = op_count_ar1w6gUwHX(a,b)+op_count_3tj9sqzovi(b)+op_count_Ph9nP6C5qx(op_ar1w6gUwHX(a,b),op_3tj9sqzovi(b))
    return count


a⩾⨝b = { (((b⋷a)⋅⇍(b⊴⇁⪶))↸((a⨔⇊b)⨓↿∉(⫳⪺∰b))) }

def op_o0ENHGX9XF(a, b):
    return op_1eCjFl0mb9(op_AdZkA7nFnk(op_23Mk6UjR3U(b,a),op_oo9mF6JIpo(b)),op_OWnFPqjWlR(op_JclMnS0uGI(a,b),op_eftAHwPbeA(b)))

def op_count_o0ENHGX9XF(a, b):
    count = op_count_23Mk6UjR3U(b,a)+op_count_oo9mF6JIpo(b)+op_count_AdZkA7nFnk(op_23Mk6UjR3U(b,a),op_oo9mF6JIpo(b))+op_count_JclMnS0uGI(a,b)+op_count_eftAHwPbeA(b)+op_count_OWnFPqjWlR(op_JclMnS0uGI(a,b),op_eftAHwPbeA(b))+op_count_1eCjFl0mb9(op_AdZkA7nFnk(op_23Mk6UjR3U(b,a),op_oo9mF6JIpo(b)),op_OWnFPqjWlR(op_JclMnS0uGI(a,b),op_eftAHwPbeA(b)))
    return count


def op_S2ubVDYUV4(a, b):
    if (b <= 148 or a <= 164 or b <= 197):
        return op_qAljGMXEZr(b)
    else:
        return op_V4yb4KDoeF(a,op_QKXs96F9fN(op_5obUd6DV38(b)))

def op_count_S2ubVDYUV4(a, b):
    if (b <= 148 or a <= 164 or b <= 197):
        count = op_count_qAljGMXEZr(b)
    else:
        count = op_count_5obUd6DV38(b)+op_count_QKXs96F9fN(op_5obUd6DV38(b))+op_count_V4yb4KDoeF(a,op_QKXs96F9fN(op_5obUd6DV38(b)))
    return count


def op_UBVjgJrFBH(a):
    return op_0MNWfHKp6a(op_tifHPKVTfV(op_w2537kitQq(a,a),op_YFxL8Sc2Zy(a)))

def op_count_UBVjgJrFBH(a):
    count = op_count_w2537kitQq(a,a)+op_count_YFxL8Sc2Zy(a)+op_count_tifHPKVTfV(op_w2537kitQq(a,a),op_YFxL8Sc2Zy(a))+op_count_0MNWfHKp6a(op_tifHPKVTfV(op_w2537kitQq(a,a),op_YFxL8Sc2Zy(a)))
    return count


def op_ozBFlv7jAp(a):
    return op_2DQ55sFlQl(op_NdELin8EPX(a,op_FAUHmXADzM(a)),op_O9U3z1385E(op_Rw46J52cBJ(a,a)))

def op_count_ozBFlv7jAp(a):
    count = op_count_FAUHmXADzM(a)+op_count_NdELin8EPX(a,op_FAUHmXADzM(a))+op_count_Rw46J52cBJ(a,a)+op_count_O9U3z1385E(op_Rw46J52cBJ(a,a))+op_count_2DQ55sFlQl(op_NdELin8EPX(a,op_FAUHmXADzM(a)),op_O9U3z1385E(op_Rw46J52cBJ(a,a)))
    return count


a≮⨜⪮b = { ((⊖(a⩺⪪837))≶((⩪⩔a)⪖⪡(b⫲≸⪮a))) , if b<335 ; a , else }

def op_iERJjuKeUH(a, b):
    if b < 335:
        return op_Q2SPaKwpPJ(op_U6pG0PXrV3(op_uvdQJvN4PV(a,837)),op_7PjNe5qSIJ(op_Siyfjn51pv(a),op_P3lXMJvFrc(b,a)))
    else:
        return a

def op_count_iERJjuKeUH(a, b):
    if b < 335:
        count = op_count_uvdQJvN4PV(a,837)+op_count_U6pG0PXrV3(op_uvdQJvN4PV(a,837))+op_count_Siyfjn51pv(a)+op_count_P3lXMJvFrc(b,a)+op_count_7PjNe5qSIJ(op_Siyfjn51pv(a),op_P3lXMJvFrc(b,a))+op_count_Q2SPaKwpPJ(op_U6pG0PXrV3(op_uvdQJvN4PV(a,837)),op_7PjNe5qSIJ(op_Siyfjn51pv(a),op_P3lXMJvFrc(b,a)))
    else:
        count = 1
    return count


def op_irfPbDV6Fp(a, b):
    return op_NdELin8EPX(op_Asc51vEJeQ(op_QbnwKVWMIQ(b,a)),op_nbuSfrB4hB(a,op_PoHhknlbAi(b,b)))

def op_count_irfPbDV6Fp(a, b):
    count = op_count_QbnwKVWMIQ(b,a)+op_count_Asc51vEJeQ(op_QbnwKVWMIQ(b,a))+op_count_PoHhknlbAi(b,b)+op_count_nbuSfrB4hB(a,op_PoHhknlbAi(b,b))+op_count_NdELin8EPX(op_Asc51vEJeQ(op_QbnwKVWMIQ(b,a)),op_nbuSfrB4hB(a,op_PoHhknlbAi(b,b)))
    return count


def op_EIdmTB6ive(a, b):
    return op_i8ToyICDmI(op_rPNtK4BLRO(op_vkpjKywKVM(a,a),op_jBC4ymW3D7(b,b)),op_Asc51vEJeQ(op_sVMiUtOpJT(b,b)))

def op_count_EIdmTB6ive(a, b):
    count = op_count_vkpjKywKVM(a,a)+op_count_jBC4ymW3D7(b,b)+op_count_rPNtK4BLRO(op_vkpjKywKVM(a,a),op_jBC4ymW3D7(b,b))+op_count_sVMiUtOpJT(b,b)+op_count_Asc51vEJeQ(op_sVMiUtOpJT(b,b))+op_count_i8ToyICDmI(op_rPNtK4BLRO(op_vkpjKywKVM(a,a),op_jBC4ymW3D7(b,b)),op_Asc51vEJeQ(op_sVMiUtOpJT(b,b)))
    return count


def op_jJY68xoYNq(a, b):
    return op_4fBBH5YYk9(op_rGHVDoGpnC(op_AHs5Up7iyr(a,b),op_ET0KLvfdmE(b,a)),b)

def op_count_jJY68xoYNq(a, b):
    count = op_count_AHs5Up7iyr(a,b)+op_count_ET0KLvfdmE(b,a)+op_count_rGHVDoGpnC(op_AHs5Up7iyr(a,b),op_ET0KLvfdmE(b,a))+op_count_4fBBH5YYk9(op_rGHVDoGpnC(op_AHs5Up7iyr(a,b),op_ET0KLvfdmE(b,a)),b)
    return count


def op_L07OSbUHmY(a):
    return op_ZGCBLdVRRX(op_DX7B1fY6P6(a,a))

def op_count_L07OSbUHmY(a):
    count = op_count_DX7B1fY6P6(a,a)+op_count_ZGCBLdVRRX(op_DX7B1fY6P6(a,a))
    return count


def op_esrG2CHZvS(a):
    if (a == 374 or a == 803 or op_DIvbN7qnHd(a) < 312):
        return op_uFPyJr306J(38)
    else:
        return op_cnI436iWbz(op_Y7wcNGrDQJ(a,a),op_Ikt5ks8PT7(a,a))

def op_count_esrG2CHZvS(a):
    if (a == 374 or a == 803 or op_DIvbN7qnHd(a) < 312):
        count = op_count_uFPyJr306J(38)+op_count_DIvbN7qnHd(a)
    else:
        count = op_count_Y7wcNGrDQJ(a,a)+op_count_Ikt5ks8PT7(a,a)+op_count_cnI436iWbz(op_Y7wcNGrDQJ(a,a),op_Ikt5ks8PT7(a,a))
    return count


a⇑≢⇛b = { (((a∖173)⋫)∕⩚((b≝⊰⇂)⋆⋳)) , if b>=76 ; (((128↩∔⇶b)⨧↗⨷(b⨟⋌⩍676))⊂≢↧((a⩖⊿b)⫗⊒⇾17)) , else }

def op_X7KZn19ZSq(a, b):
    if b >= 76:
        return op_z9ffQ9n5Zr(op_JL8yIekQnl(op_tXD093vOjl(a,173)),op_6MpZysEj17(op_htSmYCowi5(b)))
    else:
        return op_1NCu7utSrV(op_WSbXXWOizJ(op_ZM199RjHSm(128,b),op_rGHVDoGpnC(b,676)),op_hiBDRd40bf(op_RZ5CV9rWsJ(a,b),17))

def op_count_X7KZn19ZSq(a, b):
    if b >= 76:
        count = op_count_tXD093vOjl(a,173)+op_count_JL8yIekQnl(op_tXD093vOjl(a,173))+op_count_htSmYCowi5(b)+op_count_6MpZysEj17(op_htSmYCowi5(b))+op_count_z9ffQ9n5Zr(op_JL8yIekQnl(op_tXD093vOjl(a,173)),op_6MpZysEj17(op_htSmYCowi5(b)))
    else:
        count = op_count_ZM199RjHSm(128,b)+op_count_rGHVDoGpnC(b,676)+op_count_WSbXXWOizJ(op_ZM199RjHSm(128,b),op_rGHVDoGpnC(b,676))+op_count_RZ5CV9rWsJ(a,b)+op_count_hiBDRd40bf(op_RZ5CV9rWsJ(a,b),17)+op_count_1NCu7utSrV(op_WSbXXWOizJ(op_ZM199RjHSm(128,b),op_rGHVDoGpnC(b,676)),op_hiBDRd40bf(op_RZ5CV9rWsJ(a,b),17))
    return count


def op_qtJLMuGoc3(a):
    return op_NOyIGfOOXL(op_jiX4gk2v2Q(a),a)

def op_count_qtJLMuGoc3(a):
    count = op_count_jiX4gk2v2Q(a)+op_count_NOyIGfOOXL(op_jiX4gk2v2Q(a),a)
    return count


a⪿↰⪖b = { (((b≶⩢↻a)≄⩻(b⊫∞))⇖↽((a⊂≢↧a)≄⊠(356⨚107))) }

def op_kMgNLpsPAE(a, b):
    return op_cwbF3JtlMN(op_GRrQNMyeGD(op_FivK695Inb(b,a),op_pABnYW3G3E(b)),op_vXNesLlMH1(op_1NCu7utSrV(a,a),op_nREPSIbpBE(356,107)))

def op_count_kMgNLpsPAE(a, b):
    count = op_count_FivK695Inb(b,a)+op_count_pABnYW3G3E(b)+op_count_GRrQNMyeGD(op_FivK695Inb(b,a),op_pABnYW3G3E(b))+op_count_1NCu7utSrV(a,a)+op_count_nREPSIbpBE(356,107)+op_count_vXNesLlMH1(op_1NCu7utSrV(a,a),op_nREPSIbpBE(356,107))+op_count_cwbF3JtlMN(op_GRrQNMyeGD(op_FivK695Inb(b,a),op_pABnYW3G3E(b)),op_vXNesLlMH1(op_1NCu7utSrV(a,a),op_nREPSIbpBE(356,107)))
    return count


def op_PDrNSJDGFK(a):
    if op_P78JJ8jX64(a) >= 783:
        return op_Zubgv0tBda(a)
    else:
        return op_aNhz54LH3e(263,a)

def op_count_PDrNSJDGFK(a):
    if op_P78JJ8jX64(a) >= 783:
        count = op_count_Zubgv0tBda(a)+op_count_P78JJ8jX64(a)
    else:
        count = op_count_aNhz54LH3e(263,a)
    return count


def op_FtzCMUsONU(a, b):
    if op_N2CwLZHY2H(b,972) != 463:
        return a
    else:
        return op_cFVlceoRkX(op_mp7IySMOzn(op_Q6Sj1WS8if(b,a),377),op_nLYMGWM7L8(op_GjBEYRfMaF(a,a)))

def op_count_FtzCMUsONU(a, b):
    if op_N2CwLZHY2H(b,972) != 463:
        count = 1
    else:
        count = op_count_Q6Sj1WS8if(b,a)+op_count_mp7IySMOzn(op_Q6Sj1WS8if(b,a),377)+op_count_GjBEYRfMaF(a,a)+op_count_nLYMGWM7L8(op_GjBEYRfMaF(a,a))+op_count_cFVlceoRkX(op_mp7IySMOzn(op_Q6Sj1WS8if(b,a),377),op_nLYMGWM7L8(op_GjBEYRfMaF(a,a)))
    return count


a⫐⊊b = { (a⇅) , if (a<96 and b<310) ; (b⨲) , else }

def op_ne3ymXmP8e(a, b):
    if (a < 96 and b < 310):
        return op_oH594TLvBK(a)
    else:
        return op_nLYMGWM7L8(b)

def op_count_ne3ymXmP8e(a, b):
    if (a < 96 and b < 310):
        count = op_count_oH594TLvBK(a)
    else:
        count = op_count_nLYMGWM7L8(b)
    return count


def op_vONqII4LTO(a):
    if (op_AfoL3wC8aT(a) != 201 or a > 639):
        return op_1NCu7utSrV(op_V0kx6qeWkN(op_sM9mzqIDB1(a,a),op_k1SHOSEABc(96,238)),op_7t3wd0Fuz7(op_2k53nXOpI5(49),op_hiBDRd40bf(a,406)))
    else:
        return op_g7Hmc5v1ko(op_LmY23Q1aIi(op_7YooWSwCyH(a,a)),a)

def op_count_vONqII4LTO(a):
    if (op_AfoL3wC8aT(a) != 201 or a > 639):
        count = op_count_sM9mzqIDB1(a,a)+op_count_k1SHOSEABc(96,238)+op_count_V0kx6qeWkN(op_sM9mzqIDB1(a,a),op_k1SHOSEABc(96,238))+op_count_2k53nXOpI5(49)+op_count_hiBDRd40bf(a,406)+op_count_7t3wd0Fuz7(op_2k53nXOpI5(49),op_hiBDRd40bf(a,406))+op_count_1NCu7utSrV(op_V0kx6qeWkN(op_sM9mzqIDB1(a,a),op_k1SHOSEABc(96,238)),op_7t3wd0Fuz7(op_2k53nXOpI5(49),op_hiBDRd40bf(a,406)))+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_7YooWSwCyH(a,a)+op_count_LmY23Q1aIi(op_7YooWSwCyH(a,a))+op_count_g7Hmc5v1ko(op_LmY23Q1aIi(op_7YooWSwCyH(a,a)),a)
    return count


⩧⫈a = { (↯⪼a) , if (↓⇌a)<363 ; (a≳⇉a) , else }

def op_HTmwGS9Ecj(a):
    if op_PxpmPgHHJV(a) < 363:
        return op_8jW3W4yZS5(a)
    else:
        return op_V0kx6qeWkN(a,a)

def op_count_HTmwGS9Ecj(a):
    if op_PxpmPgHHJV(a) < 363:
        count = op_count_8jW3W4yZS5(a)+op_count_PxpmPgHHJV(a)
    else:
        count = op_count_V0kx6qeWkN(a,a)
    return count


a≤b = { ((a⇢a)≮⨜⪮(a∖b)) , if (b∕⩚117)<160 ; ((a⪵⩧⪨164)↓(⇖⫷⫕a)) , else }

def op_HgknbBBPDn(a, b):
    if op_z9ffQ9n5Zr(b,117) < 160:
        return op_iERJjuKeUH(op_GMN7JP6WpN(a,a),op_tXD093vOjl(a,b))
    else:
        return op_Af076pWI7l(op_0QEWQRhRpH(a,164),op_UHmRx3INFg(a))

def op_count_HgknbBBPDn(a, b):
    if op_z9ffQ9n5Zr(b,117) < 160:
        count = op_count_GMN7JP6WpN(a,a)+op_count_tXD093vOjl(a,b)+op_count_iERJjuKeUH(op_GMN7JP6WpN(a,a),op_tXD093vOjl(a,b))+op_count_z9ffQ9n5Zr(b,117)
    else:
        count = op_count_0QEWQRhRpH(a,164)+op_count_UHmRx3INFg(a)+op_count_Af076pWI7l(op_0QEWQRhRpH(a,164),op_UHmRx3INFg(a))
    return count


def op_1RKnjyXON0(a):
    return op_DyGG3AbaNP(a,a)

def op_count_1RKnjyXON0(a):
    count = op_count_DyGG3AbaNP(a,a)
    return count


a⩔b = { (((a≨b)≄⊠(31-b))≴⪞⇿(⫦≽⪐(a⪚b))) }

def op_EOlQWVzPou(a, b):
    return op_lvlrscuwVU(op_vXNesLlMH1(op_0KMCeP1Jsh(a,b),op_rysDP5nf3Z(31,b)),op_fjqJgF5yyp(op_HrjLwUk87U(a,b)))

def op_count_EOlQWVzPou(a, b):
    count = op_count_0KMCeP1Jsh(a,b)+op_count_rysDP5nf3Z(31,b)+op_count_vXNesLlMH1(op_0KMCeP1Jsh(a,b),op_rysDP5nf3Z(31,b))+op_count_HrjLwUk87U(a,b)+op_count_fjqJgF5yyp(op_HrjLwUk87U(a,b))+op_count_lvlrscuwVU(op_vXNesLlMH1(op_0KMCeP1Jsh(a,b),op_rysDP5nf3Z(31,b)),op_fjqJgF5yyp(op_HrjLwUk87U(a,b)))
    return count


a⨭b = { ((⪷∈↠a)⨚⇆(a⨿b)) , if (a⨳⩥⨓139)<100 ; (⊲⪭(⪨⨬b)) , else }

def op_1ABctC9S11(a, b):
    if op_nCS4ZIUYfx(a,139) < 100:
        return op_lwHaAYXP2r(op_Kn0TacbtGK(a),op_abYXlopdE0(a,b))
    else:
        return op_k7HXdKtiEU(op_5obUd6DV38(b))

def op_count_1ABctC9S11(a, b):
    if op_nCS4ZIUYfx(a,139) < 100:
        count = op_count_Kn0TacbtGK(a)+op_count_abYXlopdE0(a,b)+op_count_lwHaAYXP2r(op_Kn0TacbtGK(a),op_abYXlopdE0(a,b))+op_count_nCS4ZIUYfx(a,139)
    else:
        count = op_count_5obUd6DV38(b)+op_count_k7HXdKtiEU(op_5obUd6DV38(b))
    return count


def op_otB5Ew3TfZ(a):
    if op_rFxw8gIMmB(a) <= 36:
        return op_RJKDfKcFKp(362,a)
    else:
        return op_rrgAzCduG9(a,a)

def op_count_otB5Ew3TfZ(a):
    if op_rFxw8gIMmB(a) <= 36:
        count = op_count_RJKDfKcFKp(362,a)+op_count_rFxw8gIMmB(a)
    else:
        count = op_count_rrgAzCduG9(a,a)
    return count


a⊺↚⊤b = { (↞(166⫑%∭)) , if (⋑←b)<270 ; ((a∖b)⪟⇏(b≎⋽⪿)) , else }

def op_ONgMwLM7Hk(a, b):
    if op_B0ezUFU1kP(b) < 270:
        return op_QKXs96F9fN(op_xUx7qlDO4z(166))
    else:
        return op_GODebY97qR(op_tXD093vOjl(a,b),op_Mp74FtG4yY(b))

def op_count_ONgMwLM7Hk(a, b):
    if op_B0ezUFU1kP(b) < 270:
        count = op_count_xUx7qlDO4z(166)+op_count_QKXs96F9fN(op_xUx7qlDO4z(166))+op_count_B0ezUFU1kP(b)
    else:
        count = op_count_tXD093vOjl(a,b)+op_count_Mp74FtG4yY(b)+op_count_GODebY97qR(op_tXD093vOjl(a,b),op_Mp74FtG4yY(b))
    return count


⪠a = { a , if (a⋥)>=586 ; (((⨢⋑⪾14)≴⪞⇿(⫎≠⋺a))∺≝⩲((∟⨄a)⨐⩸⫘a)) , else }

def op_RKeiQKbkFn(a):
    if op_3CMemG6NAA(a) >= 586:
        return a
    else:
        return op_KPf6cnQVty(op_lvlrscuwVU(op_tmjFFOTKyA(14),op_LYeZOJ0nQG(a)),op_fu6greOZ01(op_Bdqd193sIk(a),a))

def op_count_RKeiQKbkFn(a):
    if op_3CMemG6NAA(a) >= 586:
        count = 1
    else:
        count = op_count_tmjFFOTKyA(14)+op_count_LYeZOJ0nQG(a)+op_count_lvlrscuwVU(op_tmjFFOTKyA(14),op_LYeZOJ0nQG(a))+op_count_Bdqd193sIk(a)+op_count_fu6greOZ01(op_Bdqd193sIk(a),a)+op_count_KPf6cnQVty(op_lvlrscuwVU(op_tmjFFOTKyA(14),op_LYeZOJ0nQG(a)),op_fu6greOZ01(op_Bdqd193sIk(a),a))
    return count


a≡⋹⩃ = { (⇺⋃(a⪼↽a)) , if a<221 ; ((↨⩢⫨a)↳≱(a⪢277)) , else }

def op_gLpgCFl5iX(a):
    if a < 221:
        return op_E5v5B3UAjG(op_zcaA4Z4NaO(a,a))
    else:
        return op_JwTKLfZU96(op_Z5CJsN7DuW(a),op_dWAJyo7jo9(a,277))

def op_count_gLpgCFl5iX(a):
    if a < 221:
        count = op_count_zcaA4Z4NaO(a,a)+op_count_E5v5B3UAjG(op_zcaA4Z4NaO(a,a))
    else:
        count = op_count_Z5CJsN7DuW(a)+op_count_dWAJyo7jo9(a,277)+op_count_JwTKLfZU96(op_Z5CJsN7DuW(a),op_dWAJyo7jo9(a,277))
    return count


∎≩⨯a = { (((a⨀⨒)⊫↳⇦(a↤⩊a))⪐-(⇻⫵(a⊭63))) }

def op_l8UfvtpCFJ(a):
    return op_d8xe6WWVfM(op_0pE9j4xUU7(op_j6NVkjMzuk(a),op_13rbtpv6ld(a,a)),op_Wm7LHi3c8p(op_4JGOJzXMq1(a,63)))

def op_count_l8UfvtpCFJ(a):
    count = op_count_j6NVkjMzuk(a)+op_count_13rbtpv6ld(a,a)+op_count_0pE9j4xUU7(op_j6NVkjMzuk(a),op_13rbtpv6ld(a,a))+op_count_4JGOJzXMq1(a,63)+op_count_Wm7LHi3c8p(op_4JGOJzXMq1(a,63))+op_count_d8xe6WWVfM(op_0pE9j4xUU7(op_j6NVkjMzuk(a),op_13rbtpv6ld(a,a)),op_Wm7LHi3c8p(op_4JGOJzXMq1(a,63)))
    return count


≙↧a = { (((a≬⇓a)∖a)⩣⊵⩗((⨰⫟⨤a)⋥≓≎(≘a))) , if (a*855)==387 ; (359⪓((a⫞⩸⩒a)↸(a⩣⊵⩗a))) , else }

def op_slHE12z0pD(a):
    if op_9HNa5Wba9A(a,855) == 387:
        return op_wsXFuL0hC6(op_tXD093vOjl(op_jWTQ2TZYIH(a,a),a),op_Qy55tPpLXF(op_Tw270M8GLb(a),op_tcjXMdvYtA(a)))
    else:
        return op_1v5pUZ2RLP(359,op_1eCjFl0mb9(op_XGcMNugi78(a,a),op_wsXFuL0hC6(a,a)))

def op_count_slHE12z0pD(a):
    if op_9HNa5Wba9A(a,855) == 387:
        count = op_count_jWTQ2TZYIH(a,a)+op_count_tXD093vOjl(op_jWTQ2TZYIH(a,a),a)+op_count_Tw270M8GLb(a)+op_count_tcjXMdvYtA(a)+op_count_Qy55tPpLXF(op_Tw270M8GLb(a),op_tcjXMdvYtA(a))+op_count_wsXFuL0hC6(op_tXD093vOjl(op_jWTQ2TZYIH(a,a),a),op_Qy55tPpLXF(op_Tw270M8GLb(a),op_tcjXMdvYtA(a)))+op_count_9HNa5Wba9A(a,855)
    else:
        count = op_count_XGcMNugi78(a,a)+op_count_wsXFuL0hC6(a,a)+op_count_1eCjFl0mb9(op_XGcMNugi78(a,a),op_wsXFuL0hC6(a,a))+op_count_1v5pUZ2RLP(359,op_1eCjFl0mb9(op_XGcMNugi78(a,a),op_wsXFuL0hC6(a,a)))
    return count


def op_DSSXvJAOg7(a, b):
    return op_CpSg5vQTgA(op_0kmYd0q39Y(b,a))

def op_count_DSSXvJAOg7(a, b):
    count = op_count_0kmYd0q39Y(b,a)+op_count_CpSg5vQTgA(op_0kmYd0q39Y(b,a))
    return count


a↚≽⪤b = { (a↤⩊b) , if (⪞⇺b)!=49 ; (⨴⫝242) , else }

def op_UyATZg4EzG(a, b):
    if op_LcLDYWYtOH(b) != 49:
        return op_13rbtpv6ld(a,b)
    else:
        return op_SVb2v531z1(242)

def op_count_UyATZg4EzG(a, b):
    if op_LcLDYWYtOH(b) != 49:
        count = op_count_13rbtpv6ld(a,b)+op_count_LcLDYWYtOH(b)
    else:
        count = op_count_SVb2v531z1(242)
    return count


a≘↜b = { ((a⫞⩸⩒b)⊂≢↧b) , if (⊗b)!=46 ; ((b↮⪈⫰)⨿(⪁⫅≨a)) , else }

def op_L4QKcwJRKF(a, b):
    if op_RhiyfpczSx(b) != 46:
        return op_1NCu7utSrV(op_XGcMNugi78(a,b),b)
    else:
        return op_abYXlopdE0(op_MKpoIoBJCf(b),op_YApyZlDuBr(a))

def op_count_L4QKcwJRKF(a, b):
    if op_RhiyfpczSx(b) != 46:
        count = op_count_XGcMNugi78(a,b)+op_count_1NCu7utSrV(op_XGcMNugi78(a,b),b)+op_count_RhiyfpczSx(b)
    else:
        count = op_count_MKpoIoBJCf(b)+op_count_YApyZlDuBr(a)+op_count_abYXlopdE0(op_MKpoIoBJCf(b),op_YApyZlDuBr(a))
    return count


a⊱ = { ((↓⇌(a↦⩻⊓a))⫔⩽⩺((⫖→a)↯⪋≎(a≻⇥≳a))) }

def op_783zoCpM6g(a):
    return op_i9eR4S00cU(op_PxpmPgHHJV(op_kf2MGdd7i0(a,a)),op_Y827t4Oxkq(op_U4ylXWHChL(a),op_aiqF8n6J9c(a,a)))

def op_count_783zoCpM6g(a):
    count = op_count_kf2MGdd7i0(a,a)+op_count_PxpmPgHHJV(op_kf2MGdd7i0(a,a))+op_count_U4ylXWHChL(a)+op_count_aiqF8n6J9c(a,a)+op_count_Y827t4Oxkq(op_U4ylXWHChL(a),op_aiqF8n6J9c(a,a))+op_count_i9eR4S00cU(op_PxpmPgHHJV(op_kf2MGdd7i0(a,a)),op_Y827t4Oxkq(op_U4ylXWHChL(a),op_aiqF8n6J9c(a,a)))
    return count


a↷≪⋜b = { (((b⊟↞⨋)⩍⋽⫝̸(a⊗∃⇥a))⪛⫼((a⨴∎)↢(∱≗a))) }

def op_1j1KpI9WdF(a, b):
    return op_hyuBjUqXlG(op_BiWNJpBvwn(op_akoXB3dKtI(b),op_ZAXeO6SPf6(a,a)),op_WR6HLWljOP(op_CpSg5vQTgA(a),op_TLSiz8NPqi(a)))

def op_count_1j1KpI9WdF(a, b):
    count = op_count_akoXB3dKtI(b)+op_count_ZAXeO6SPf6(a,a)+op_count_BiWNJpBvwn(op_akoXB3dKtI(b),op_ZAXeO6SPf6(a,a))+op_count_CpSg5vQTgA(a)+op_count_TLSiz8NPqi(a)+op_count_WR6HLWljOP(op_CpSg5vQTgA(a),op_TLSiz8NPqi(a))+op_count_hyuBjUqXlG(op_BiWNJpBvwn(op_akoXB3dKtI(b),op_ZAXeO6SPf6(a,a)),op_WR6HLWljOP(op_CpSg5vQTgA(a),op_TLSiz8NPqi(a)))
    return count


∀⊫a = { (((a⨉)≓∲a)⩖⊿(⨴⫝(∨⫘⊿a))) , if ((a⫚⫇)<=22 and (a⫟≀⫫)>=237) ; (((334≁↽≥a)∀⋜↑)⪍↜⋙((⫛⫱⨽452)⫊⇚⊺(a∝a))) , else }

def op_gZaJvPXt7R(a):
    if (op_SdCjLnB6rR(a) <= 22 and op_KfMCrRzQhT(a) >= 237):
        return op_RZ5CV9rWsJ(op_s1XTVnmDOJ(op_aMUSaJuDRU(a),a),op_SVb2v531z1(op_qxp9F1VMeC(a)))
    else:
        return op_L05ObWFQCd(op_KipPnG1M2J(op_ncHt1X6cMc(334,a)),op_Y5cEcQhyKu(op_DlLNRPXxWL(452),op_cTDWOvIxvz(a,a)))

def op_count_gZaJvPXt7R(a):
    if (op_SdCjLnB6rR(a) <= 22 and op_KfMCrRzQhT(a) >= 237):
        count = op_count_aMUSaJuDRU(a)+op_count_s1XTVnmDOJ(op_aMUSaJuDRU(a),a)+op_count_qxp9F1VMeC(a)+op_count_SVb2v531z1(op_qxp9F1VMeC(a))+op_count_RZ5CV9rWsJ(op_s1XTVnmDOJ(op_aMUSaJuDRU(a),a),op_SVb2v531z1(op_qxp9F1VMeC(a)))+op_count_SdCjLnB6rR(a)+op_count_KfMCrRzQhT(a)
    else:
        count = op_count_ncHt1X6cMc(334,a)+op_count_KipPnG1M2J(op_ncHt1X6cMc(334,a))+op_count_DlLNRPXxWL(452)+op_count_cTDWOvIxvz(a,a)+op_count_Y5cEcQhyKu(op_DlLNRPXxWL(452),op_cTDWOvIxvz(a,a))+op_count_L05ObWFQCd(op_KipPnG1M2J(op_ncHt1X6cMc(334,a)),op_Y5cEcQhyKu(op_DlLNRPXxWL(452),op_cTDWOvIxvz(a,a)))
    return count


def op_hl4Calylxn(a):
    if op_JDUIKTTSIa(a,477) < 81:
        return op_gx7XJ7hdpj(a,123)
    else:
        return op_g21JL6JxX7(a)

def op_count_hl4Calylxn(a):
    if op_JDUIKTTSIa(a,477) < 81:
        count = op_count_gx7XJ7hdpj(a,123)+op_count_JDUIKTTSIa(a,477)
    else:
        count = op_count_g21JL6JxX7(a)
    return count


def op_FpZEcu9gEh(a):
    if op_ocnLzx9CaJ(a,332) < 121:
        return op_fu6greOZ01(a,169)
    else:
        return op_13TjBizFrQ(a)

def op_count_FpZEcu9gEh(a):
    if op_ocnLzx9CaJ(a,332) < 121:
        count = op_count_fu6greOZ01(a,169)+op_count_ocnLzx9CaJ(a,332)
    else:
        count = op_count_13TjBizFrQ(a)
    return count


def op_oCumtb3mAM(a, b):
    return op_qy3n0tapmE(op_1v5pUZ2RLP(a,19),op_U7g4x0WXJJ(a,b))

def op_count_oCumtb3mAM(a, b):
    count = op_count_1v5pUZ2RLP(a,19)+op_count_U7g4x0WXJJ(a,b)+op_count_qy3n0tapmE(op_1v5pUZ2RLP(a,19),op_U7g4x0WXJJ(a,b))
    return count


def op_uc8QQvMjnT(a, b):
    if op_kHoXpA7yos(b) != 109 or op_AfoL3wC8aT(a) >= 163 or op_ZAXeO6SPf6(b,226) >= 470:
        return op_DX7B1fY6P6(op_keWfFq85dY(op_zR4jO40bMj(219,b)),op_yIPP7u6H5x(op_9HNa5Wba9A(a,b)))
    else:
        return op_6iOiAJX1F8(op_ddLRYrp01A(op_0kmYd0q39Y(b,a),op_AvED76WdY7(a)))

def op_count_uc8QQvMjnT(a, b):
    if op_kHoXpA7yos(b) != 109 or op_AfoL3wC8aT(a) >= 163 or op_ZAXeO6SPf6(b,226) >= 470:
        count = op_count_zR4jO40bMj(219,b)+op_count_keWfFq85dY(op_zR4jO40bMj(219,b))+op_count_9HNa5Wba9A(a,b)+op_count_yIPP7u6H5x(op_9HNa5Wba9A(a,b))+op_count_DX7B1fY6P6(op_keWfFq85dY(op_zR4jO40bMj(219,b)),op_yIPP7u6H5x(op_9HNa5Wba9A(a,b)))+op_count_kHoXpA7yos(b)+op_count_AfoL3wC8aT(a)+op_count_ZAXeO6SPf6(b,226)
    else:
        count = op_count_0kmYd0q39Y(b,a)+op_count_AvED76WdY7(a)+op_count_ddLRYrp01A(op_0kmYd0q39Y(b,a),op_AvED76WdY7(a))+op_count_6iOiAJX1F8(op_ddLRYrp01A(op_0kmYd0q39Y(b,a),op_AvED76WdY7(a)))
    return count


⪳⫟⩤a = { ((⇖⫷⫕a)⊢≏≾(⇋⊎⋝a)) }

def op_Mwm3sDJixD(a):
    return op_qxqspddX8k(op_UHmRx3INFg(a),op_CzM2PEoXns(a))

def op_count_Mwm3sDJixD(a):
    count = op_count_UHmRx3INFg(a)+op_count_CzM2PEoXns(a)+op_count_qxqspddX8k(op_UHmRx3INFg(a),op_CzM2PEoXns(a))
    return count


def op_ZbtZ49kJld(a):
    if (op_ZG1KnpkPxw(a,646) >= 901 or op_IpgdDpBHsO(a) > 49 or op_YjI8oCXuph(a) == 331):
        return op_gfvVrh7EOO(op_Rw46J52cBJ(a,405))
    else:
        return op_9FxExcQeMw(op_6Ko8hGgeMq(a,a),a)

def op_count_ZbtZ49kJld(a):
    if (op_ZG1KnpkPxw(a,646) >= 901 or op_IpgdDpBHsO(a) > 49 or op_YjI8oCXuph(a) == 331):
        count = op_count_Rw46J52cBJ(a,405)+op_count_gfvVrh7EOO(op_Rw46J52cBJ(a,405))+op_count_ZG1KnpkPxw(a,646)+op_count_IpgdDpBHsO(a)+op_count_YjI8oCXuph(a)
    else:
        count = op_count_6Ko8hGgeMq(a,a)+op_count_9FxExcQeMw(op_6Ko8hGgeMq(a,a),a)
    return count


a∝⊥ = { ((⇵⪽(a⊹∫⫚a))⫁∆⨗((a⪮%⊝a)⫇⩸⨢(a∏⇴a))) }

def op_yS6aSylXcn(a):
    return op_JAobebJkKA(op_ZGCBLdVRRX(op_uWAJUKEvyW(a,a)),op_diu054m9en(op_IWmyXbctLI(a,a),op_Rw46J52cBJ(a,a)))

def op_count_yS6aSylXcn(a):
    count = op_count_uWAJUKEvyW(a,a)+op_count_ZGCBLdVRRX(op_uWAJUKEvyW(a,a))+op_count_IWmyXbctLI(a,a)+op_count_Rw46J52cBJ(a,a)+op_count_diu054m9en(op_IWmyXbctLI(a,a),op_Rw46J52cBJ(a,a))+op_count_JAobebJkKA(op_ZGCBLdVRRX(op_uWAJUKEvyW(a,a)),op_diu054m9en(op_IWmyXbctLI(a,a),op_Rw46J52cBJ(a,a)))
    return count

IWmyXbctLI diu054m9en Rw46J52cBJ JAobebJkKA uWAJUKEvyW ZGCBLdVRRX


def op_H9RETCE9fR(a):
    if a != 604:
        return op_nCS4ZIUYfx(op_zcaA4Z4NaO(a,a),op_V0kx6qeWkN(404,39))
    else:
        return op_Qctrpi3WzA(op_eLxqMNBOBk(a))

def op_count_H9RETCE9fR(a):
    if a != 604:
        count = op_count_zcaA4Z4NaO(a,a)+op_count_V0kx6qeWkN(404,39)+op_count_nCS4ZIUYfx(op_zcaA4Z4NaO(a,a),op_V0kx6qeWkN(404,39))
    else:
        count = op_count_eLxqMNBOBk(a)+op_count_Qctrpi3WzA(op_eLxqMNBOBk(a))
    return count


a⋷∪⋷b = { b , if (b≝⊰⇂)>=29 ; (⩰(a⨂≜74)) , else }

def op_HYT61O2rBh(a, b):
    if op_htSmYCowi5(b) >= 29:
        return b
    else:
        return op_WkeUrDK8WX(op_k1SHOSEABc(a,74))

def op_count_HYT61O2rBh(a, b):
    if op_htSmYCowi5(b) >= 29:
        count = 1
    else:
        count = op_count_k1SHOSEABc(a,74)+op_count_WkeUrDK8WX(op_k1SHOSEABc(a,74))
    return count


def op_0k3LXBuut5(a):
    return op_JxwMv5le6e(48,a)

def op_count_0k3LXBuut5(a):
    count = op_count_JxwMv5le6e(48,a)
    return count


def op_rtRUSnrYdo(a, b):
    return op_ZGCBLdVRRX(op_iERJjuKeUH(a,b))

def op_count_rtRUSnrYdo(a, b):
    count = op_count_iERJjuKeUH(a,b)+op_count_ZGCBLdVRRX(op_iERJjuKeUH(a,b))
    return count


def op_PdXgBgzzRn(a):
    if op_KPf6cnQVty(a,414) < 486:
        return op_P3lXMJvFrc(op_2GS7woTJqF(op_ET0KLvfdmE(a,a),op_z4gvzBU7aQ(48,a)),op_ljcfZBUpm8(op_kz228nwi0J(a)))
    else:
        return op_ar1w6gUwHX(op_vXNesLlMH1(op_s3Fd5m9Dh2(a,a),op_Ikt5ks8PT7(245,324)),op_vaH8QgiDVg(op_jiX4gk2v2Q(a)))

def op_count_PdXgBgzzRn(a):
    if op_KPf6cnQVty(a,414) < 486:
        count = op_count_ET0KLvfdmE(a,a)+op_count_z4gvzBU7aQ(48,a)+op_count_2GS7woTJqF(op_ET0KLvfdmE(a,a),op_z4gvzBU7aQ(48,a))+op_count_kz228nwi0J(a)+op_count_ljcfZBUpm8(op_kz228nwi0J(a))+op_count_P3lXMJvFrc(op_2GS7woTJqF(op_ET0KLvfdmE(a,a),op_z4gvzBU7aQ(48,a)),op_ljcfZBUpm8(op_kz228nwi0J(a)))+op_count_KPf6cnQVty(a,414)
    else:
        count = op_count_s3Fd5m9Dh2(a,a)+op_count_Ikt5ks8PT7(245,324)+op_count_vXNesLlMH1(op_s3Fd5m9Dh2(a,a),op_Ikt5ks8PT7(245,324))+op_count_jiX4gk2v2Q(a)+op_count_vaH8QgiDVg(op_jiX4gk2v2Q(a))+op_count_ar1w6gUwHX(op_vXNesLlMH1(op_s3Fd5m9Dh2(a,a),op_Ikt5ks8PT7(245,324)),op_vaH8QgiDVg(op_jiX4gk2v2Q(a)))
    return count


def op_hzNl2ELaCM(a):
    return op_UHmRx3INFg(op_NOyIGfOOXL(a,305))

def op_count_hzNl2ELaCM(a):
    count = op_count_NOyIGfOOXL(a,305)+op_count_UHmRx3INFg(op_NOyIGfOOXL(a,305))
    return count


def op_oNoCrsWj2C(a):
    return op_6Ko8hGgeMq(175,a)

def op_count_oNoCrsWj2C(a):
    count = op_count_6Ko8hGgeMq(175,a)
    return count


def op_uPE9uA7DVi(a):
    return op_6Ko8hGgeMq(op_g21JL6JxX7(a),op_JoLB3LXqXx(a,a))

def op_count_uPE9uA7DVi(a):
    count = op_count_g21JL6JxX7(a)+op_count_JoLB3LXqXx(a,a)+op_count_6Ko8hGgeMq(op_g21JL6JxX7(a),op_JoLB3LXqXx(a,a))
    return count


a⨙⪞b = { (⪝⪂⫅((76⇮⋭a)⇖↽b)) , if (a⩜⩌)<=59 ; (((a⨦212)⫔⩽⩺(≑a))⨼⩣((a⪥b)⊅)) , else }

def op_NIS2NZpoyR(a, b):
    if op_2DRhT6gtPg(a) <= 59:
        return op_XTarYq4gQB(op_cwbF3JtlMN(op_vkpjKywKVM(76,a),b))
    else:
        return op_JxwMv5le6e(op_i9eR4S00cU(op_z4gvzBU7aQ(a,212),op_OLuofHlRCj(a)),op_7p6YLioM7f(op_QbnwKVWMIQ(a,b)))

def op_count_NIS2NZpoyR(a, b):
    if op_2DRhT6gtPg(a) <= 59:
        count = op_count_vkpjKywKVM(76,a)+op_count_cwbF3JtlMN(op_vkpjKywKVM(76,a),b)+op_count_XTarYq4gQB(op_cwbF3JtlMN(op_vkpjKywKVM(76,a),b))+op_count_2DRhT6gtPg(a)
    else:
        count = op_count_z4gvzBU7aQ(a,212)+op_count_OLuofHlRCj(a)+op_count_i9eR4S00cU(op_z4gvzBU7aQ(a,212),op_OLuofHlRCj(a))+op_count_QbnwKVWMIQ(a,b)+op_count_7p6YLioM7f(op_QbnwKVWMIQ(a,b))+op_count_JxwMv5le6e(op_i9eR4S00cU(op_z4gvzBU7aQ(a,212),op_OLuofHlRCj(a)),op_7p6YLioM7f(op_QbnwKVWMIQ(a,b)))
    return count


def op_q5ANYLE8fX(a):
    return op_13rbtpv6ld(op_HmxsFra2vL(a,a),op_5TUYCnJO6w(a))

def op_count_q5ANYLE8fX(a):
    count = op_count_HmxsFra2vL(a,a)+op_count_5TUYCnJO6w(a)+op_count_13rbtpv6ld(op_HmxsFra2vL(a,a),op_5TUYCnJO6w(a))
    return count


def op_wkGOHkejlq(a, b):
    return op_DyGG3AbaNP(op_yIPP7u6H5x(b),op_JFrVJKYFMX(a,a))

def op_count_wkGOHkejlq(a, b):
    count = op_count_yIPP7u6H5x(b)+op_count_JFrVJKYFMX(a,a)+op_count_DyGG3AbaNP(op_yIPP7u6H5x(b),op_JFrVJKYFMX(a,a))
    return count


def op_ZsTN7hvPwQ(a):
    return op_8N2wDY1A35(a,393)

def op_count_ZsTN7hvPwQ(a):
    count = op_count_8N2wDY1A35(a,393)
    return count


def op_bVRrhJZyGv(a):
    return op_W7eaUhjymW(op_Z8Yg6dlDSp(op_Ikt5ks8PT7(a,a)))

def op_count_bVRrhJZyGv(a):
    count = op_count_Ikt5ks8PT7(a,a)+op_count_Z8Yg6dlDSp(op_Ikt5ks8PT7(a,a))+op_count_W7eaUhjymW(op_Z8Yg6dlDSp(op_Ikt5ks8PT7(a,a)))
    return count


def op_HRk3UwFOL9(a):
    return op_KROiRRz3d6(op_cHh1gJQ2o6(op_23Mk6UjR3U(a,a),49),op_z4E1FaHLuy(op_opAxDRczMr(a)))

def op_count_HRk3UwFOL9(a):
    count = op_count_23Mk6UjR3U(a,a)+op_count_cHh1gJQ2o6(op_23Mk6UjR3U(a,a),49)+op_count_opAxDRczMr(a)+op_count_z4E1FaHLuy(op_opAxDRczMr(a))+op_count_KROiRRz3d6(op_cHh1gJQ2o6(op_23Mk6UjR3U(a,a),49),op_z4E1FaHLuy(op_opAxDRczMr(a)))
    return count


∆⊬a = { (((a⇣⩺⋵a)⊹∫⫚(⨑⩽⪐a))∙∹∝((⫂a)≌(a∀⩎⋷a))) }

def op_O7qnFq89DT(a):
    return op_HmxsFra2vL(op_uWAJUKEvyW(op_F4yD0voBRQ(a,a),op_AF7qkfDlqP(a)),op_lyWz822IDG(op_U9HvHqtOoq(a),op_FPxP5Y1j0W(a,a)))

def op_count_O7qnFq89DT(a):
    count = op_count_F4yD0voBRQ(a,a)+op_count_AF7qkfDlqP(a)+op_count_uWAJUKEvyW(op_F4yD0voBRQ(a,a),op_AF7qkfDlqP(a))+op_count_U9HvHqtOoq(a)+op_count_FPxP5Y1j0W(a,a)+op_count_lyWz822IDG(op_U9HvHqtOoq(a),op_FPxP5Y1j0W(a,a))+op_count_HmxsFra2vL(op_uWAJUKEvyW(op_F4yD0voBRQ(a,a),op_AF7qkfDlqP(a)),op_lyWz822IDG(op_U9HvHqtOoq(a),op_FPxP5Y1j0W(a,a)))
    return count


def op_fp9lZ9ehPv(a, b):
    if op_slHE12z0pD(a) == 761 and op_G8pG1QxO6Y(a) == 74:
        return op_hFnZRMLNSM(op_W7L2oCKInH(b,611))
    else:
        return op_XAx5wpdLa6(op_V4yb4KDoeF(b,b),op_0k3LXBuut5(558))

def op_count_fp9lZ9ehPv(a, b):
    if op_slHE12z0pD(a) == 761 and op_G8pG1QxO6Y(a) == 74:
        count = op_count_W7L2oCKInH(b,611)+op_count_hFnZRMLNSM(op_W7L2oCKInH(b,611))+op_count_slHE12z0pD(a)+op_count_G8pG1QxO6Y(a)
    else:
        count = op_count_V4yb4KDoeF(b,b)+op_count_0k3LXBuut5(558)+op_count_XAx5wpdLa6(op_V4yb4KDoeF(b,b),op_0k3LXBuut5(558))
    return count


def op_NajNryHj1W(a):
    return op_lyWz822IDG(op_T2fj7uvVaJ(op_IjUb3wyICU(a),a),op_TPY4Vhd24N(op_SIgE0bArFf(a),op_hFvFHqVvZy(196)))

def op_count_NajNryHj1W(a):
    count = op_count_IjUb3wyICU(a)+op_count_T2fj7uvVaJ(op_IjUb3wyICU(a),a)+op_count_SIgE0bArFf(a)+op_count_hFvFHqVvZy(196)+op_count_TPY4Vhd24N(op_SIgE0bArFf(a),op_hFvFHqVvZy(196))+op_count_lyWz822IDG(op_T2fj7uvVaJ(op_IjUb3wyICU(a),a),op_TPY4Vhd24N(op_SIgE0bArFf(a),op_hFvFHqVvZy(196)))
    return count


a⊷b = { (((a≎⊠⪸a)⊱⇼⊻(a⩘a))⇤((b⫲≸⪮b)⪥⨬⪅)) , if (b∮⨁)<=630 ; (((b⪉⨛b)≭(b⪿↰⪖b))⩷∴((∎≩⨯b)∌↝(a⨸360))) , else }

def op_M79hUXQlnf(a, b):
    if op_TytFGXR7Zf(b) <= 630:
        return op_YSKBFp38Pu(op_FyVja0WsTP(op_bJkvcejdHO(a,a),op_cHh1gJQ2o6(a,a)),op_zNRQejTB5A(op_P3lXMJvFrc(b,b)))
    else:
        return op_9FxExcQeMw(op_rxpJgHHUmx(op_EWw2JM7wp4(b,b),op_kMgNLpsPAE(b,b)),op_9Isq31Ruls(op_l8UfvtpCFJ(b),op_KmoU8R5UQR(a,360)))

def op_count_M79hUXQlnf(a, b):
    if op_TytFGXR7Zf(b) <= 630:
        count = op_count_bJkvcejdHO(a,a)+op_count_cHh1gJQ2o6(a,a)+op_count_FyVja0WsTP(op_bJkvcejdHO(a,a),op_cHh1gJQ2o6(a,a))+op_count_P3lXMJvFrc(b,b)+op_count_zNRQejTB5A(op_P3lXMJvFrc(b,b))+op_count_YSKBFp38Pu(op_FyVja0WsTP(op_bJkvcejdHO(a,a),op_cHh1gJQ2o6(a,a)),op_zNRQejTB5A(op_P3lXMJvFrc(b,b)))+op_count_TytFGXR7Zf(b)
    else:
        count = op_count_EWw2JM7wp4(b,b)+op_count_kMgNLpsPAE(b,b)+op_count_rxpJgHHUmx(op_EWw2JM7wp4(b,b),op_kMgNLpsPAE(b,b))+op_count_l8UfvtpCFJ(b)+op_count_KmoU8R5UQR(a,360)+op_count_9Isq31Ruls(op_l8UfvtpCFJ(b),op_KmoU8R5UQR(a,360))+op_count_9FxExcQeMw(op_rxpJgHHUmx(op_EWw2JM7wp4(b,b),op_kMgNLpsPAE(b,b)),op_9Isq31Ruls(op_l8UfvtpCFJ(b),op_KmoU8R5UQR(a,360)))
    return count


⨁⨴a = { ((309⇪⋭)⋓(a⇻⋧≁a)) , if (a⊗∃⇥690)<=182 ; ((a≽⪈↿a)∝(a⇒⪫a)) , else }

def op_VWDfLP0KP3(a):
    if op_ZAXeO6SPf6(a,690) <= 182:
        return op_T2fj7uvVaJ(op_Z8Yg6dlDSp(309),op_jCPkEVoL5K(a,a))
    else:
        return op_cTDWOvIxvz(op_inCIaGQf8u(a,a),op_1nNvNtr5EF(a,a))

def op_count_VWDfLP0KP3(a):
    if op_ZAXeO6SPf6(a,690) <= 182:
        count = op_count_Z8Yg6dlDSp(309)+op_count_jCPkEVoL5K(a,a)+op_count_T2fj7uvVaJ(op_Z8Yg6dlDSp(309),op_jCPkEVoL5K(a,a))+op_count_ZAXeO6SPf6(a,690)
    else:
        count = op_count_inCIaGQf8u(a,a)+op_count_1nNvNtr5EF(a,a)+op_count_cTDWOvIxvz(op_inCIaGQf8u(a,a),op_1nNvNtr5EF(a,a))
    return count


a∳≍⊱ = { ((a⨽∌a)⩣⫁∢(323⨓↿∉a)) , if (a⇋≉)!=159 and a!=213 and a<=291 ; ((a⋹)≹⇙⪍a) , else }

def op_cXLsWb8329(a):
    if op_XIabStNQrY(a) != 159 and a != 213 and a <= 291:
        return op_JDUIKTTSIa(op_9samAPKr6k(a,a),op_OWnFPqjWlR(323,a))
    else:
        return op_AHs5Up7iyr(op_opAxDRczMr(a),a)

def op_count_cXLsWb8329(a):
    if op_XIabStNQrY(a) != 159 and a != 213 and a <= 291:
        count = op_count_9samAPKr6k(a,a)+op_count_OWnFPqjWlR(323,a)+op_count_JDUIKTTSIa(op_9samAPKr6k(a,a),op_OWnFPqjWlR(323,a))+op_count_XIabStNQrY(a)
    else:
        count = op_count_opAxDRczMr(a)+op_count_AHs5Up7iyr(op_opAxDRczMr(a),a)
    return count

JDUIKTTSIa AHs5Up7iyr OWnFPqjWlR XIabStNQrY 9samAPKr6k opAxDRczMr


def op_zgUsEIwSkM(a):
    return op_QxG7OkqoLX(op_0JWJYFSzIQ(op_D3AQDKkPcf(a,a),op_jJY68xoYNq(a,a)))

def op_count_zgUsEIwSkM(a):
    count = op_count_D3AQDKkPcf(a,a)+op_count_jJY68xoYNq(a,a)+op_count_0JWJYFSzIQ(op_D3AQDKkPcf(a,a),op_jJY68xoYNq(a,a))+op_count_QxG7OkqoLX(op_0JWJYFSzIQ(op_D3AQDKkPcf(a,a),op_jJY68xoYNq(a,a)))
    return count


def op_Xw48T5MRcn(a, b):
    if (op_QLJ9aFu80N(a,717) >= 39 and op_gJLn6v0xnP(b,835) >= 385):
        return op_QxG7OkqoLX(a)
    else:
        return op_Y7wcNGrDQJ(a,a)

def op_count_Xw48T5MRcn(a, b):
    if (op_QLJ9aFu80N(a,717) >= 39 and op_gJLn6v0xnP(b,835) >= 385):
        count = op_count_QxG7OkqoLX(a)+op_count_QLJ9aFu80N(a,717)+op_count_gJLn6v0xnP(b,835)
    else:
        count = op_count_Y7wcNGrDQJ(a,a)
    return count


def op_2duuZjdUdY(a):
    if op_eOf03JbCpp(a) <= 365:
        return op_64EQ39e0fC(op_inkyxCbjAn(a),op_ancsfN6GXi(431))
    else:
        return op_QLJ9aFu80N(op_COABgblf1C(a,114),op_irfPbDV6Fp(a,a))

def op_count_2duuZjdUdY(a):
    if op_eOf03JbCpp(a) <= 365:
        count = op_count_inkyxCbjAn(a)+op_count_ancsfN6GXi(431)+op_count_64EQ39e0fC(op_inkyxCbjAn(a),op_ancsfN6GXi(431))+op_count_eOf03JbCpp(a)
    else:
        count = op_count_COABgblf1C(a,114)+op_count_irfPbDV6Fp(a,a)+op_count_QLJ9aFu80N(op_COABgblf1C(a,114),op_irfPbDV6Fp(a,a))
    return count


def op_2uO7qEltAa(a, b):
    return op_Z8Yg6dlDSp(op_oacrs7FA3X(b,a))

def op_count_2uO7qEltAa(a, b):
    count = op_count_oacrs7FA3X(b,a)+op_count_Z8Yg6dlDSp(op_oacrs7FA3X(b,a))
    return count


a⋧⫖∥ = { ((⩪∧⨌(445∀⋜↑))⇮⋭((⫎≠⋺a)⋾≒(a⪚⩙≫))) }

def op_GMFhbk3k8M(a):
    return op_vkpjKywKVM(op_6iOiAJX1F8(op_KipPnG1M2J(445)),op_rtRUSnrYdo(op_LYeZOJ0nQG(a),op_4n53wtyJvv(a)))

def op_count_GMFhbk3k8M(a):
    count = op_count_KipPnG1M2J(445)+op_count_6iOiAJX1F8(op_KipPnG1M2J(445))+op_count_LYeZOJ0nQG(a)+op_count_4n53wtyJvv(a)+op_count_rtRUSnrYdo(op_LYeZOJ0nQG(a),op_4n53wtyJvv(a))+op_count_vkpjKywKVM(op_6iOiAJX1F8(op_KipPnG1M2J(445)),op_rtRUSnrYdo(op_LYeZOJ0nQG(a),op_4n53wtyJvv(a)))
    return count


def op_XizqdzG9LG(a):
    return op_qxqspddX8k(op_opAxDRczMr(a),op_jBncVCNhdl(a,6))

def op_count_XizqdzG9LG(a):
    count = op_count_opAxDRczMr(a)+op_count_jBncVCNhdl(a,6)+op_count_qxqspddX8k(op_opAxDRczMr(a),op_jBncVCNhdl(a,6))
    return count


a⪞⇇b = { (((b⊉↱≁b)⇆⨓≜)↚≽⪤((a⇂≾⫗b)⇻⋧≁(a⩚⊴⇥a))) }

def op_VP5j3Cbanc(a, b):
    return op_UyATZg4EzG(op_KvvgdUaMHJ(op_w2P8NbNXyL(b,b)),op_jCPkEVoL5K(op_aBQ6xLxuTc(a,b),op_NTOWxs364D(a,a)))

def op_count_VP5j3Cbanc(a, b):
    count = op_count_w2P8NbNXyL(b,b)+op_count_KvvgdUaMHJ(op_w2P8NbNXyL(b,b))+op_count_aBQ6xLxuTc(a,b)+op_count_NTOWxs364D(a,a)+op_count_jCPkEVoL5K(op_aBQ6xLxuTc(a,b),op_NTOWxs364D(a,a))+op_count_UyATZg4EzG(op_KvvgdUaMHJ(op_w2P8NbNXyL(b,b)),op_jCPkEVoL5K(op_aBQ6xLxuTc(a,b),op_NTOWxs364D(a,a)))
    return count


def op_hJhozpRboY(a):
    return op_TpPTUOHfaN(a,a)

def op_count_hJhozpRboY(a):
    count = op_count_TpPTUOHfaN(a,a)
    return count


⪇a = { (a⫲≸⪮a) , if (⇍a)<0 ; (a⊍⩺⋍57) , else }

def op_yxiS2IFDsO(a):
    if op_H9jWZL1q0V(a) < 0:
        return op_P3lXMJvFrc(a,a)
    else:
        return op_OXDGMFPWZM(a,57)

def op_count_yxiS2IFDsO(a):
    if op_H9jWZL1q0V(a) < 0:
        count = op_count_P3lXMJvFrc(a,a)+op_count_H9jWZL1q0V(a)
    else:
        count = op_count_OXDGMFPWZM(a,57)
    return count


a⋀⊅⨬b = { (((b≒∊b)⇪⋭)⊱⫣((a⊴b)∕⩚3)) , if (a⨭⪣785)>16 ; (((b∲⫑a)⨒(a⫸⊐b))⩹((b⪿⇪⊩a)⨙⪞(a⨶))) , else }

def op_4VWYPRYUty(a, b):
    if op_kn8WO9XteQ(a,785) > 16:
        return op_lYYgj615o2(op_Z8Yg6dlDSp(op_5KTvxBwnZo(b,b)),op_z9ffQ9n5Zr(op_Nsiff2A1zJ(a,b),3))
    else:
        return op_2Wsdkap16l(op_y75s1iXyHd(op_NrdPCfJQiM(b,a),op_mqXw5SEYmG(a,b)),op_NIS2NZpoyR(op_OGWBzMv138(b,a),op_rFxw8gIMmB(a)))

def op_count_4VWYPRYUty(a, b):
    if op_kn8WO9XteQ(a,785) > 16:
        count = op_count_5KTvxBwnZo(b,b)+op_count_Z8Yg6dlDSp(op_5KTvxBwnZo(b,b))+op_count_Nsiff2A1zJ(a,b)+op_count_z9ffQ9n5Zr(op_Nsiff2A1zJ(a,b),3)+op_count_lYYgj615o2(op_Z8Yg6dlDSp(op_5KTvxBwnZo(b,b)),op_z9ffQ9n5Zr(op_Nsiff2A1zJ(a,b),3))+op_count_kn8WO9XteQ(a,785)
    else:
        count = op_count_NrdPCfJQiM(b,a)+op_count_mqXw5SEYmG(a,b)+op_count_y75s1iXyHd(op_NrdPCfJQiM(b,a),op_mqXw5SEYmG(a,b))+op_count_OGWBzMv138(b,a)+op_count_rFxw8gIMmB(a)+op_count_NIS2NZpoyR(op_OGWBzMv138(b,a),op_rFxw8gIMmB(a))+op_count_2Wsdkap16l(op_y75s1iXyHd(op_NrdPCfJQiM(b,a),op_mqXw5SEYmG(a,b)),op_NIS2NZpoyR(op_OGWBzMv138(b,a),op_rFxw8gIMmB(a)))
    return count


def op_vqMs4v2zd9(a, b):
    return op_Ph9nP6C5qx(op_inkyxCbjAn(a),op_NOyIGfOOXL(b,125))

def op_count_vqMs4v2zd9(a, b):
    count = op_count_inkyxCbjAn(a)+op_count_NOyIGfOOXL(b,125)+op_count_Ph9nP6C5qx(op_inkyxCbjAn(a),op_NOyIGfOOXL(b,125))
    return count


def op_GGuaFouzBB(a, b):
    return op_SUjycxNXIR(op_fLJG5zVr1z(b,a))

def op_count_GGuaFouzBB(a, b):
    count = op_count_fLJG5zVr1z(b,a)+op_count_SUjycxNXIR(op_fLJG5zVr1z(b,a))
    return count


a⊑∙b = { a , if (a≃⋄)!=66 ; (3≌b) , else }

def op_vomVLQX1UC(a, b):
    if op_aN9a90urxU(a) != 66:
        return a
    else:
        return op_lyWz822IDG(3,b)

def op_count_vomVLQX1UC(a, b):
    if op_aN9a90urxU(a) != 66:
        count = 1
    else:
        count = op_count_lyWz822IDG(3,b)
    return count


def op_V9cNOZsTu7(a, b):
    return op_OWnFPqjWlR(op_rxpJgHHUmx(b,a),a)

def op_count_V9cNOZsTu7(a, b):
    count = op_count_rxpJgHHUmx(b,a)+op_count_OWnFPqjWlR(op_rxpJgHHUmx(b,a),a)
    return count


a⇳≅ = { (a⫣⪄⊒a) , if a<526 ; (a≁51) , else }

def op_GAUYhZJcYo(a):
    if a < 526:
        return op_RabNbG55vr(a,a)
    else:
        return op_8N2wDY1A35(a,51)

def op_count_GAUYhZJcYo(a):
    if a < 526:
        count = op_count_RabNbG55vr(a,a)
    else:
        count = op_count_8N2wDY1A35(a,51)
    return count


a⊠⇯b = { (((107⨧↗⨷b)⋃∰(b⩘a))⪭((⪡⇡≛a)↭⋂(⇁⨣⪵a))) }

def op_3H1LgMeZyw(a, b):
    return op_j9kHMeSvPp(op_yqthOfQm3e(op_WSbXXWOizJ(107,b),op_cHh1gJQ2o6(b,a)),op_Acnz1HI8Ry(op_qL4PrbW1Dq(a),op_inkyxCbjAn(a)))

def op_count_3H1LgMeZyw(a, b):
    count = op_count_WSbXXWOizJ(107,b)+op_count_cHh1gJQ2o6(b,a)+op_count_yqthOfQm3e(op_WSbXXWOizJ(107,b),op_cHh1gJQ2o6(b,a))+op_count_qL4PrbW1Dq(a)+op_count_inkyxCbjAn(a)+op_count_Acnz1HI8Ry(op_qL4PrbW1Dq(a),op_inkyxCbjAn(a))+op_count_j9kHMeSvPp(op_yqthOfQm3e(op_WSbXXWOizJ(107,b),op_cHh1gJQ2o6(b,a)),op_Acnz1HI8Ry(op_qL4PrbW1Dq(a),op_inkyxCbjAn(a)))
    return count


⊳⩹a = { (((9⫘a)⋫)⊝∲⩰((⪵⩥∼a)⇙⊞(a⋹⋡⊁a))) , if ((⋼∭⪍a)<=197 and (a⫊⇚⊺424)>=636 and (⇙a)>=514) ; ((∨∊⋏(a⇫≋a))⇗⋫) , else }

def op_XvIobvOzEP(a):
    if (op_DbCuESL50I(a) <= 197 and op_Y5cEcQhyKu(a,424) >= 636 and op_hJ1EP0XKuB(a) >= 514):
        return op_UkFG6YBLyt(op_JL8yIekQnl(op_48vC8HMD2b(9,a)),op_zPaW4OAyCC(op_C8AGOwLzL7(a),op_As8RqfVLgs(a,a)))
    else:
        return op_hpqmaQFPrd(op_R5aXW34M0v(op_7mDgzgOxkj(a,a)))

def op_count_XvIobvOzEP(a):
    if (op_DbCuESL50I(a) <= 197 and op_Y5cEcQhyKu(a,424) >= 636 and op_hJ1EP0XKuB(a) >= 514):
        count = op_count_48vC8HMD2b(9,a)+op_count_JL8yIekQnl(op_48vC8HMD2b(9,a))+op_count_C8AGOwLzL7(a)+op_count_As8RqfVLgs(a,a)+op_count_zPaW4OAyCC(op_C8AGOwLzL7(a),op_As8RqfVLgs(a,a))+op_count_UkFG6YBLyt(op_JL8yIekQnl(op_48vC8HMD2b(9,a)),op_zPaW4OAyCC(op_C8AGOwLzL7(a),op_As8RqfVLgs(a,a)))+op_count_DbCuESL50I(a)+op_count_Y5cEcQhyKu(a,424)+op_count_hJ1EP0XKuB(a)
    else:
        count = op_count_7mDgzgOxkj(a,a)+op_count_R5aXW34M0v(op_7mDgzgOxkj(a,a))+op_count_hpqmaQFPrd(op_R5aXW34M0v(op_7mDgzgOxkj(a,a)))
    return count


def op_9oRFW4UxXC(a):
    return op_5uvYHDjeKN(a,89)

def op_count_9oRFW4UxXC(a):
    count = op_count_5uvYHDjeKN(a,89)
    return count


a⇸b = { (⊽a) , if (⊙↵-a)>82 ; (b≾b) , else }

def op_Kd4iD05TwA(a, b):
    if op_oWn0xqSxBt(a) > 82:
        return op_QxG7OkqoLX(a)
    else:
        return op_d5CHQX7ZoG(b,b)

def op_count_Kd4iD05TwA(a, b):
    if op_oWn0xqSxBt(a) > 82:
        count = op_count_QxG7OkqoLX(a)+op_count_oWn0xqSxBt(a)
    else:
        count = op_count_d5CHQX7ZoG(b,b)
    return count


def op_uhF6YzFI4G(a):
    return op_fjqJgF5yyp(op_JoLB3LXqXx(op_irKjLsMeKy(a,a),76))

def op_count_uhF6YzFI4G(a):
    count = op_count_irKjLsMeKy(a,a)+op_count_JoLB3LXqXx(op_irKjLsMeKy(a,a),76)+op_count_fjqJgF5yyp(op_JoLB3LXqXx(op_irKjLsMeKy(a,a),76))
    return count


def op_QrPBJNmqe2(a):
    return op_OWnFPqjWlR(op_BAIXFdYaz3(a,a),op_cwbF3JtlMN(a,a))

def op_count_QrPBJNmqe2(a):
    count = op_count_BAIXFdYaz3(a,a)+op_count_cwbF3JtlMN(a,a)+op_count_OWnFPqjWlR(op_BAIXFdYaz3(a,a),op_cwbF3JtlMN(a,a))
    return count


def op_q9P67AyrZV(a):
    return op_UpkSd4zESC(op_QMFrweE19q(a,126),a)

def op_count_q9P67AyrZV(a):
    count = op_count_QMFrweE19q(a,126)+op_count_UpkSd4zESC(op_QMFrweE19q(a,126),a)
    return count


def op_FAU4UUhKNM(a):
    return op_qxqspddX8k(op_ut0Nd8ObBp(258),op_JgXZM7XvWE(a,a))

def op_count_FAU4UUhKNM(a):
    count = op_count_ut0Nd8ObBp(258)+op_count_JgXZM7XvWE(a,a)+op_count_qxqspddX8k(op_ut0Nd8ObBp(258),op_JgXZM7XvWE(a,a))
    return count


def op_lGaBb3LNZq(a):
    return op_PaBHOjxk8c(op_Qaz2MhZaG5(a,593))

def op_count_lGaBb3LNZq(a):
    count = op_count_Qaz2MhZaG5(a,593)+op_count_PaBHOjxk8c(op_Qaz2MhZaG5(a,593))
    return count


def op_F7HNRAl3VQ(a):
    return op_7CBskBkoKY(op_hrf7POJlIJ(op_7PjNe5qSIJ(a,a),op_840vADziXz(a)))

def op_count_F7HNRAl3VQ(a):
    count = op_count_7PjNe5qSIJ(a,a)+op_count_840vADziXz(a)+op_count_hrf7POJlIJ(op_7PjNe5qSIJ(a,a),op_840vADziXz(a))+op_count_7CBskBkoKY(op_hrf7POJlIJ(op_7PjNe5qSIJ(a,a),op_840vADziXz(a)))
    return count


def op_zukycwwyTc(a):
    return op_IqGBaFP0uj(op_9Isq31Ruls(op_RPa3726CSl(649),op_2O29ZX4yK6(a)))

def op_count_zukycwwyTc(a):
    count = op_count_RPa3726CSl(649)+op_count_2O29ZX4yK6(a)+op_count_9Isq31Ruls(op_RPa3726CSl(649),op_2O29ZX4yK6(a))+op_count_IqGBaFP0uj(op_9Isq31Ruls(op_RPa3726CSl(649),op_2O29ZX4yK6(a)))
    return count


def op_StDAEzlBYm(a, b):
    return op_Siyfjn51pv(op_WSbXXWOizJ(b,a))

def op_count_StDAEzlBYm(a, b):
    count = op_count_WSbXXWOizJ(b,a)+op_count_Siyfjn51pv(op_WSbXXWOizJ(b,a))
    return count


def op_3iurnvestf(a, b):
    return op_sM9mzqIDB1(op_g7Hmc5v1ko(op_dAAkup5nzi(b,149),op_HrjLwUk87U(447,a)),op_GNmBfxrna9(op_7j4O788W3g(205,298)))

def op_count_3iurnvestf(a, b):
    count = op_count_dAAkup5nzi(b,149)+op_count_HrjLwUk87U(447,a)+op_count_g7Hmc5v1ko(op_dAAkup5nzi(b,149),op_HrjLwUk87U(447,a))+op_count_7j4O788W3g(205,298)+op_count_GNmBfxrna9(op_7j4O788W3g(205,298))+op_count_sM9mzqIDB1(op_g7Hmc5v1ko(op_dAAkup5nzi(b,149),op_HrjLwUk87U(447,a)),op_GNmBfxrna9(op_7j4O788W3g(205,298)))
    return count


def op_uTXOZ2BrWI(a, b):
    return op_DO4fhlbJSI(op_HrjLwUk87U(op_DX7B1fY6P6(a,b),op_OTRTVPweYV(b,a)))

def op_count_uTXOZ2BrWI(a, b):
    count = op_count_DX7B1fY6P6(a,b)+op_count_OTRTVPweYV(b,a)+op_count_HrjLwUk87U(op_DX7B1fY6P6(a,b),op_OTRTVPweYV(b,a))+op_count_DO4fhlbJSI(op_HrjLwUk87U(op_DX7B1fY6P6(a,b),op_OTRTVPweYV(b,a)))
    return count


def op_eevbwfw6pN(a):
    return op_cwbF3JtlMN(4,a)

def op_count_eevbwfw6pN(a):
    count = op_count_cwbF3JtlMN(4,a)
    return count


def op_pzIYUzZX5D(a, b):
    return op_kuIXHzHcAH(op_FB83X2dByY(a),op_W4YGzv6Whe(a,b))

def op_count_pzIYUzZX5D(a, b):
    count = op_count_FB83X2dByY(a)+op_count_W4YGzv6Whe(a,b)+op_count_kuIXHzHcAH(op_FB83X2dByY(a),op_W4YGzv6Whe(a,b))
    return count


a⊬⩼⊳b = { (((a≽⪈↿b)⊵↤)⪲⨢(⫇⪃↚(a∠↢743))) }

def op_4F7LFkBAZC(a, b):
    return op_6iafYuwGo8(op_7IPrd9c3lf(op_inCIaGQf8u(a,b)),op_Q9TX5pQS3Y(op_KbjG8mgYpV(a,743)))

def op_count_4F7LFkBAZC(a, b):
    count = op_count_inCIaGQf8u(a,b)+op_count_7IPrd9c3lf(op_inCIaGQf8u(a,b))+op_count_KbjG8mgYpV(a,743)+op_count_Q9TX5pQS3Y(op_KbjG8mgYpV(a,743))+op_count_6iafYuwGo8(op_7IPrd9c3lf(op_inCIaGQf8u(a,b)),op_Q9TX5pQS3Y(op_KbjG8mgYpV(a,743)))
    return count


def op_zWchu8lsBN(a):
    return op_ocnLzx9CaJ(a,a)

def op_count_zWchu8lsBN(a):
    count = op_count_ocnLzx9CaJ(a,a)
    return count


def op_fiy6xQ4H5B(a):
    return op_PPChnnnBFF(op_YbVcJGFEVW(op_PxiHyQbrIp(a),op_Ph9nP6C5qx(239,a)),op_jfYOP67v6Y(op_eewbuw0ToL(a,349)))

def op_count_fiy6xQ4H5B(a):
    count = op_count_PxiHyQbrIp(a)+op_count_Ph9nP6C5qx(239,a)+op_count_YbVcJGFEVW(op_PxiHyQbrIp(a),op_Ph9nP6C5qx(239,a))+op_count_eewbuw0ToL(a,349)+op_count_jfYOP67v6Y(op_eewbuw0ToL(a,349))+op_count_PPChnnnBFF(op_YbVcJGFEVW(op_PxiHyQbrIp(a),op_Ph9nP6C5qx(239,a)),op_jfYOP67v6Y(op_eewbuw0ToL(a,349)))
    return count


def op_PjIHNKxrlt(a, b):
    return op_cTDWOvIxvz(op_IwW236VD4Y(a,b),op_8n5YIzOsVS(a))

def op_count_PjIHNKxrlt(a, b):
    count = op_count_IwW236VD4Y(a,b)+op_count_8n5YIzOsVS(a)+op_count_cTDWOvIxvz(op_IwW236VD4Y(a,b),op_8n5YIzOsVS(a))
    return count


def op_rTUPPhO5VL(a, b):
    return op_UggxBX659n(op_UggxBX659n(a,b),op_Lhk0YGb717(b))

def op_count_rTUPPhO5VL(a, b):
    count = op_count_UggxBX659n(a,b)+op_count_Lhk0YGb717(b)+op_count_UggxBX659n(op_UggxBX659n(a,b),op_Lhk0YGb717(b))
    return count


def op_NT4oKKFh9T(a):
    return op_KPf6cnQVty(a,op_lAOUD4ZMWV(168))

def op_count_NT4oKKFh9T(a):
    count = op_count_lAOUD4ZMWV(168)+op_count_KPf6cnQVty(a,op_lAOUD4ZMWV(168))
    return count


def op_VA1QDPD51e(a):
    return op_Bmrmz2XGnR(op_Kn0TacbtGK(a),op_xRrnTEsQ6j(a,a))

def op_count_VA1QDPD51e(a):
    count = op_count_Kn0TacbtGK(a)+op_count_xRrnTEsQ6j(a,a)+op_count_Bmrmz2XGnR(op_Kn0TacbtGK(a),op_xRrnTEsQ6j(a,a))
    return count


∪⊸⩁a = { (((a⪇≇⋚a)⪖⪡(a⫚⫇))⩼⇪↪(⊀(∨74))) }

def op_ZDtbJ0pWwg(a):
    return op_ocnLzx9CaJ(op_7PjNe5qSIJ(op_3sJ7IOPOlU(a,a),op_SdCjLnB6rR(a)),op_oPMjh9089D(op_rIsGeVJWJF(74)))

def op_count_ZDtbJ0pWwg(a):
    count = op_count_3sJ7IOPOlU(a,a)+op_count_SdCjLnB6rR(a)+op_count_7PjNe5qSIJ(op_3sJ7IOPOlU(a,a),op_SdCjLnB6rR(a))+op_count_rIsGeVJWJF(74)+op_count_oPMjh9089D(op_rIsGeVJWJF(74))+op_count_ocnLzx9CaJ(op_7PjNe5qSIJ(op_3sJ7IOPOlU(a,a),op_SdCjLnB6rR(a)),op_oPMjh9089D(op_rIsGeVJWJF(74)))
    return count


def op_sQFXMycfVt(a, b):
    return op_2DDjHMKMc0(op_23Mk6UjR3U(op_2GS7woTJqF(a,a),op_cwbF3JtlMN(b,98)),op_2ufhKmSs5H(op_rysDP5nf3Z(b,78)))

def op_count_sQFXMycfVt(a, b):
    count = op_count_2GS7woTJqF(a,a)+op_count_cwbF3JtlMN(b,98)+op_count_23Mk6UjR3U(op_2GS7woTJqF(a,a),op_cwbF3JtlMN(b,98))+op_count_rysDP5nf3Z(b,78)+op_count_2ufhKmSs5H(op_rysDP5nf3Z(b,78))+op_count_2DDjHMKMc0(op_23Mk6UjR3U(op_2GS7woTJqF(a,a),op_cwbF3JtlMN(b,98)),op_2ufhKmSs5H(op_rysDP5nf3Z(b,78)))
    return count


def op_Osz0M3HhIq(a):
    return op_YjI8oCXuph(op_EWw2JM7wp4(a,a))

def op_count_Osz0M3HhIq(a):
    count = op_count_EWw2JM7wp4(a,a)+op_count_YjI8oCXuph(op_EWw2JM7wp4(a,a))
    return count


def op_bUjw4zxijs(a):
    return op_oH594TLvBK(op_DO4fhlbJSI(op_g7Hmc5v1ko(205,a)))

def op_count_bUjw4zxijs(a):
    count = op_count_g7Hmc5v1ko(205,a)+op_count_DO4fhlbJSI(op_g7Hmc5v1ko(205,a))+op_count_oH594TLvBK(op_DO4fhlbJSI(op_g7Hmc5v1ko(205,a)))
    return count


def op_TLBENEOdld(a):
    return op_DZ8iAZOCBD(op_nouZ5SZjt1(a),op_1aApVXNlOP(a,a))

def op_count_TLBENEOdld(a):
    count = op_count_nouZ5SZjt1(a)+op_count_1aApVXNlOP(a,a)+op_count_DZ8iAZOCBD(op_nouZ5SZjt1(a),op_1aApVXNlOP(a,a))
    return count


a⪋≥⨲b = { (((⨩∲⋌a)⋝⋈⪟(b⊵b))⇤((b⋝∏)⋘⨑⨽)) }

def op_EZf0a6At7B(a, b):
    return op_YSKBFp38Pu(op_2DDjHMKMc0(op_aSik1wnThz(a),op_eaFBhJ0Uku(b,b)),op_WmT3o8z6ya(op_69GgKhV9QQ(b)))

def op_count_EZf0a6At7B(a, b):
    count = op_count_aSik1wnThz(a)+op_count_eaFBhJ0Uku(b,b)+op_count_2DDjHMKMc0(op_aSik1wnThz(a),op_eaFBhJ0Uku(b,b))+op_count_69GgKhV9QQ(b)+op_count_WmT3o8z6ya(op_69GgKhV9QQ(b))+op_count_YSKBFp38Pu(op_2DDjHMKMc0(op_aSik1wnThz(a),op_eaFBhJ0Uku(b,b)),op_WmT3o8z6ya(op_69GgKhV9QQ(b)))
    return count


≧a = { (((a⨣∐↬a)⪚⨁⋖(21≝⊿a))∀⩎⋷((⇻⫵a)⇴(⫳⪺∰a))) }

def op_438NZEZFZN(a):
    return op_FPxP5Y1j0W(op_xSk1F0pZbF(op_UpkSd4zESC(a,a),op_OKKcZfAt5B(21,a)),op_4JB6nKBMSY(op_Wm7LHi3c8p(a),op_eftAHwPbeA(a)))

def op_count_438NZEZFZN(a):
    count = op_count_UpkSd4zESC(a,a)+op_count_OKKcZfAt5B(21,a)+op_count_xSk1F0pZbF(op_UpkSd4zESC(a,a),op_OKKcZfAt5B(21,a))+op_count_Wm7LHi3c8p(a)+op_count_eftAHwPbeA(a)+op_count_4JB6nKBMSY(op_Wm7LHi3c8p(a),op_eftAHwPbeA(a))+op_count_FPxP5Y1j0W(op_xSk1F0pZbF(op_UpkSd4zESC(a,a),op_OKKcZfAt5B(21,a)),op_4JB6nKBMSY(op_Wm7LHi3c8p(a),op_eftAHwPbeA(a)))
    return count


def op_4kjqOuz2u2(a):
    return op_3EYGwJThht(a,139)

def op_count_4kjqOuz2u2(a):
    count = op_count_3EYGwJThht(a,139)
    return count


def op_zBeky0p6hI(a):
    return op_840vADziXz(op_irKjLsMeKy(a,a))

def op_count_zBeky0p6hI(a):
    count = op_count_irKjLsMeKy(a,a)+op_count_840vADziXz(op_irKjLsMeKy(a,a))
    return count


def op_qh8pEW3YeR(a):
    return op_qy3n0tapmE(op_OWnFPqjWlR(op_rysDP5nf3Z(a,a),op_7qqUquhhSb(a)),op_YApyZlDuBr(op_2ufhKmSs5H(a)))

def op_count_qh8pEW3YeR(a):
    count = op_count_rysDP5nf3Z(a,a)+op_count_7qqUquhhSb(a)+op_count_OWnFPqjWlR(op_rysDP5nf3Z(a,a),op_7qqUquhhSb(a))+op_count_2ufhKmSs5H(a)+op_count_YApyZlDuBr(op_2ufhKmSs5H(a))+op_count_qy3n0tapmE(op_OWnFPqjWlR(op_rysDP5nf3Z(a,a),op_7qqUquhhSb(a)),op_YApyZlDuBr(op_2ufhKmSs5H(a)))
    return count


def op_BS5gxE7HeX(a):
    return op_Cr5xnr8B4B(a,a)

def op_count_BS5gxE7HeX(a):
    count = op_count_Cr5xnr8B4B(a,a)
    return count


def op_5mOiYMN9gN(a, b):
    return op_BX1lVwlMe0(op_6o9Blt3TJ6(a,b))

def op_count_5mOiYMN9gN(a, b):
    count = op_count_6o9Blt3TJ6(a,b)+op_count_BX1lVwlMe0(op_6o9Blt3TJ6(a,b))
    return count


def op_o00tbgMsv2(a):
    return op_S3tN1ZzpSt(op_uPb5QRN0te(op_bjFbhXSADs(a)),op_FyVja0WsTP(op_FonBHBYJbU(a),op_bQ67fsrMVf(a)))

def op_count_o00tbgMsv2(a):
    count = op_count_bjFbhXSADs(a)+op_count_uPb5QRN0te(op_bjFbhXSADs(a))+op_count_FonBHBYJbU(a)+op_count_bQ67fsrMVf(a)+op_count_FyVja0WsTP(op_FonBHBYJbU(a),op_bQ67fsrMVf(a))+op_count_S3tN1ZzpSt(op_uPb5QRN0te(op_bjFbhXSADs(a)),op_FyVja0WsTP(op_FonBHBYJbU(a),op_bQ67fsrMVf(a)))
    return count


def op_4KgMg3eWY3(a, b):
    return op_KipPnG1M2J(op_S5ZFQS4GK3(op_Wm7LHi3c8p(b),op_y4ImoPnbV5(b,a)))

def op_count_4KgMg3eWY3(a, b):
    count = op_count_Wm7LHi3c8p(b)+op_count_y4ImoPnbV5(b,a)+op_count_S5ZFQS4GK3(op_Wm7LHi3c8p(b),op_y4ImoPnbV5(b,a))+op_count_KipPnG1M2J(op_S5ZFQS4GK3(op_Wm7LHi3c8p(b),op_y4ImoPnbV5(b,a)))
    return count


def op_WRl4KaSwns(a, b):
    return op_2ufhKmSs5H(op_D3AQDKkPcf(op_BiWNJpBvwn(a,a),op_23Mk6UjR3U(a,b)))

def op_count_WRl4KaSwns(a, b):
    count = op_count_BiWNJpBvwn(a,a)+op_count_23Mk6UjR3U(a,b)+op_count_D3AQDKkPcf(op_BiWNJpBvwn(a,a),op_23Mk6UjR3U(a,b))+op_count_2ufhKmSs5H(op_D3AQDKkPcf(op_BiWNJpBvwn(a,a),op_23Mk6UjR3U(a,b)))
    return count


def op_aKouilhhtC(a):
    return op_Qaz2MhZaG5(a,286)

def op_count_aKouilhhtC(a):
    count = op_count_Qaz2MhZaG5(a,286)
    return count


def op_lu9boT7AJx(a):
    return op_2fAMLLeFHb(op_AdZkA7nFnk(op_CuHhPb8RwQ(a),op_wsXFuL0hC6(a,a)))

def op_count_lu9boT7AJx(a):
    count = op_count_CuHhPb8RwQ(a)+op_count_wsXFuL0hC6(a,a)+op_count_AdZkA7nFnk(op_CuHhPb8RwQ(a),op_wsXFuL0hC6(a,a))+op_count_2fAMLLeFHb(op_AdZkA7nFnk(op_CuHhPb8RwQ(a),op_wsXFuL0hC6(a,a)))
    return count


def op_lnBQX9AhHE(a):
    return op_XZxEnkN3N0(op_NTOWxs364D(a,216))

def op_count_lnBQX9AhHE(a):
    count = op_count_NTOWxs364D(a,216)+op_count_XZxEnkN3N0(op_NTOWxs364D(a,216))
    return count


def op_j98Uxmdk7c(a):
    return op_Ph9nP6C5qx(op_JFrVJKYFMX(a,op_GMyVS5K48T(a,a)),op_cTDWOvIxvz(op_0bdkhPtsnY(190),a))

def op_count_j98Uxmdk7c(a):
    count = op_count_GMyVS5K48T(a,a)+op_count_JFrVJKYFMX(a,op_GMyVS5K48T(a,a))+op_count_0bdkhPtsnY(190)+op_count_cTDWOvIxvz(op_0bdkhPtsnY(190),a)+op_count_Ph9nP6C5qx(op_JFrVJKYFMX(a,op_GMyVS5K48T(a,a)),op_cTDWOvIxvz(op_0bdkhPtsnY(190),a))
    return count


def op_VetzYauijD(a, b):
    return op_0kmYd0q39Y(op_Mp74FtG4yY(op_g55IO6H4Gj(311,a)),b)

def op_count_VetzYauijD(a, b):
    count = op_count_g55IO6H4Gj(311,a)+op_count_Mp74FtG4yY(op_g55IO6H4Gj(311,a))+op_count_0kmYd0q39Y(op_Mp74FtG4yY(op_g55IO6H4Gj(311,a)),b)
    return count


def op_fOntq46xV5(a):
    return op_jBC4ymW3D7(op_UggxBX659n(a,110),op_9bazX3JMtO(a,a))

def op_count_fOntq46xV5(a):
    count = op_count_UggxBX659n(a,110)+op_count_9bazX3JMtO(a,a)+op_count_jBC4ymW3D7(op_UggxBX659n(a,110),op_9bazX3JMtO(a,a))
    return count


def op_UcNtpYHH3F(a):
    return op_KbjG8mgYpV(op_SdCjLnB6rR(a),op_OGWBzMv138(322,a))

def op_count_UcNtpYHH3F(a):
    count = op_count_SdCjLnB6rR(a)+op_count_OGWBzMv138(322,a)+op_count_KbjG8mgYpV(op_SdCjLnB6rR(a),op_OGWBzMv138(322,a))
    return count


∥↛a = { (((a∿⫑≎0)⋳/(a⊨a))⨵⪆((a⨬⫳)⩽⩡(a⊲⩕⊾a))) }

def op_fIxhDubex3(a):
    return op_2DQ55sFlQl(op_m612RDITqL(op_ar1w6gUwHX(a,0),op_vg4gO5BX6G(a,a)),op_zFNL8mZEFB(op_kc7iqVBlRY(a),op_DmTXOeWf9t(a,a)))

def op_count_fIxhDubex3(a):
    count = op_count_ar1w6gUwHX(a,0)+op_count_vg4gO5BX6G(a,a)+op_count_m612RDITqL(op_ar1w6gUwHX(a,0),op_vg4gO5BX6G(a,a))+op_count_kc7iqVBlRY(a)+op_count_DmTXOeWf9t(a,a)+op_count_zFNL8mZEFB(op_kc7iqVBlRY(a),op_DmTXOeWf9t(a,a))+op_count_2DQ55sFlQl(op_m612RDITqL(op_ar1w6gUwHX(a,0),op_vg4gO5BX6G(a,a)),op_zFNL8mZEFB(op_kc7iqVBlRY(a),op_DmTXOeWf9t(a,a)))
    return count


def op_7IRjtmSsUO(a, b):
    return op_8cLx32lpNA(op_Sq3AGanRSD(op_Rw46J52cBJ(a,a),op_2fAMLLeFHb(150)),b)

def op_count_7IRjtmSsUO(a, b):
    count = op_count_Rw46J52cBJ(a,a)+op_count_2fAMLLeFHb(150)+op_count_Sq3AGanRSD(op_Rw46J52cBJ(a,a),op_2fAMLLeFHb(150))+op_count_8cLx32lpNA(op_Sq3AGanRSD(op_Rw46J52cBJ(a,a),op_2fAMLLeFHb(150)),b)
    return count


def op_JfoC2uBG3V(a):
    return op_2Wsdkap16l(op_V4yb4KDoeF(a,271),op_14qkJME0vr(99))

def op_count_JfoC2uBG3V(a):
    count = op_count_V4yb4KDoeF(a,271)+op_count_14qkJME0vr(99)+op_count_2Wsdkap16l(op_V4yb4KDoeF(a,271),op_14qkJME0vr(99))
    return count


def op_c3nqrh4v2z(a):
    return op_U6pG0PXrV3(op_VCG3UHNzLR(a,a))

def op_count_c3nqrh4v2z(a):
    count = op_count_VCG3UHNzLR(a,a)+op_count_U6pG0PXrV3(op_VCG3UHNzLR(a,a))
    return count


a⋌ = { (((a∣a)⪨≂(a⪔⊥a))⩼⇪↪(a⨑(a⨓↿∉a))) }

def op_VbgE6nPTyN(a):
    return op_ocnLzx9CaJ(op_sdazOOVcIp(op_PPChnnnBFF(a,a),op_HJ9erzHUuu(a,a)),op_IxJHfR5psi(a,op_OWnFPqjWlR(a,a)))

def op_count_VbgE6nPTyN(a):
    count = op_count_PPChnnnBFF(a,a)+op_count_HJ9erzHUuu(a,a)+op_count_sdazOOVcIp(op_PPChnnnBFF(a,a),op_HJ9erzHUuu(a,a))+op_count_OWnFPqjWlR(a,a)+op_count_IxJHfR5psi(a,op_OWnFPqjWlR(a,a))+op_count_ocnLzx9CaJ(op_sdazOOVcIp(op_PPChnnnBFF(a,a),op_HJ9erzHUuu(a,a)),op_IxJHfR5psi(a,op_OWnFPqjWlR(a,a)))
    return count


⫍⋽a = { (((a≟⫹a)⩚⊴⇥(⊲⪭a))≦↸((a+a)⊒(a∄a))) }

def op_Oz9I6mbsCN(a):
    return op_RygbFNSyEJ(op_NTOWxs364D(op_z2JHNkvbdm(a,a),op_k7HXdKtiEU(a)),op_rPNtK4BLRO(op_W4YGzv6Whe(a,a),op_tnyRA5sazQ(a,a)))

def op_count_Oz9I6mbsCN(a):
    count = op_count_z2JHNkvbdm(a,a)+op_count_k7HXdKtiEU(a)+op_count_NTOWxs364D(op_z2JHNkvbdm(a,a),op_k7HXdKtiEU(a))+op_count_W4YGzv6Whe(a,a)+op_count_tnyRA5sazQ(a,a)+op_count_rPNtK4BLRO(op_W4YGzv6Whe(a,a),op_tnyRA5sazQ(a,a))+op_count_RygbFNSyEJ(op_NTOWxs364D(op_z2JHNkvbdm(a,a),op_k7HXdKtiEU(a)),op_rPNtK4BLRO(op_W4YGzv6Whe(a,a),op_tnyRA5sazQ(a,a)))
    return count


def op_gWibIJBsW2(a, b):
    return op_inCIaGQf8u(op_KED7KUUlGq(b),op_64EQ39e0fC(a,148))

def op_count_gWibIJBsW2(a, b):
    count = op_count_KED7KUUlGq(b)+op_count_64EQ39e0fC(a,148)+op_count_inCIaGQf8u(op_KED7KUUlGq(b),op_64EQ39e0fC(a,148))
    return count


def op_QaS5iYTZMC(a):
    return op_eRqsBgTDFp(op_7PjNe5qSIJ(a,op_B3sABdIn96(622)),op_3mBM5G4a3l(op_KPf6cnQVty(a,a)))

def op_count_QaS5iYTZMC(a):
    count = op_count_B3sABdIn96(622)+op_count_7PjNe5qSIJ(a,op_B3sABdIn96(622))+op_count_KPf6cnQVty(a,a)+op_count_3mBM5G4a3l(op_KPf6cnQVty(a,a))+op_count_eRqsBgTDFp(op_7PjNe5qSIJ(a,op_B3sABdIn96(622)),op_3mBM5G4a3l(op_KPf6cnQVty(a,a)))
    return count


def op_8PqENNA1S7(a):
    return op_S3tN1ZzpSt(op_QMFrweE19q(a,a),op_oDvtRyfmAM(237))

def op_count_8PqENNA1S7(a):
    count = op_count_QMFrweE19q(a,a)+op_count_oDvtRyfmAM(237)+op_count_S3tN1ZzpSt(op_QMFrweE19q(a,a),op_oDvtRyfmAM(237))
    return count


def op_WzExxB0XCT(a, b):
    return op_UggxBX659n(op_Cr5xnr8B4B(op_13TjBizFrQ(a),op_OGWBzMv138(a,78)),op_ObEyaaML9x(op_Z5m6OM72h2(b,a),op_6l7ULzJsnZ(10)))

def op_count_WzExxB0XCT(a, b):
    count = op_count_13TjBizFrQ(a)+op_count_OGWBzMv138(a,78)+op_count_Cr5xnr8B4B(op_13TjBizFrQ(a),op_OGWBzMv138(a,78))+op_count_Z5m6OM72h2(b,a)+op_count_6l7ULzJsnZ(10)+op_count_ObEyaaML9x(op_Z5m6OM72h2(b,a),op_6l7ULzJsnZ(10))+op_count_UggxBX659n(op_Cr5xnr8B4B(op_13TjBizFrQ(a),op_OGWBzMv138(a,78)),op_ObEyaaML9x(op_Z5m6OM72h2(b,a),op_6l7ULzJsnZ(10)))
    return count


def op_AvmDa90cdR(a):
    return op_Mp74FtG4yY(op_k7HXdKtiEU(op_eaFBhJ0Uku(a,a)))

def op_count_AvmDa90cdR(a):
    count = op_count_eaFBhJ0Uku(a,a)+op_count_k7HXdKtiEU(op_eaFBhJ0Uku(a,a))+op_count_Mp74FtG4yY(op_k7HXdKtiEU(op_eaFBhJ0Uku(a,a)))
    return count


def op_pWHz7MDI4y(a):
    return op_eewbuw0ToL(op_ZNVVrZ94lY(99),op_IpgdDpBHsO(a))

def op_count_pWHz7MDI4y(a):
    count = op_count_ZNVVrZ94lY(99)+op_count_IpgdDpBHsO(a)+op_count_eewbuw0ToL(op_ZNVVrZ94lY(99),op_IpgdDpBHsO(a))
    return count


a⩪⊄b = { (((a↢b)⫇⋯(b⨵⪆a))⨓↿∉((b⪨≂b)⫼⨠(⊄a))) }

def op_bO0Zp5FHr0(a, b):
    return op_OWnFPqjWlR(op_xoJmIySC7h(op_WR6HLWljOP(a,b),op_2DQ55sFlQl(b,a)),op_KYL1uVeVpb(op_sdazOOVcIp(b,b),op_AnPstFaJd9(a)))

def op_count_bO0Zp5FHr0(a, b):
    count = op_count_WR6HLWljOP(a,b)+op_count_2DQ55sFlQl(b,a)+op_count_xoJmIySC7h(op_WR6HLWljOP(a,b),op_2DQ55sFlQl(b,a))+op_count_sdazOOVcIp(b,b)+op_count_AnPstFaJd9(a)+op_count_KYL1uVeVpb(op_sdazOOVcIp(b,b),op_AnPstFaJd9(a))+op_count_OWnFPqjWlR(op_xoJmIySC7h(op_WR6HLWljOP(a,b),op_2DQ55sFlQl(b,a)),op_KYL1uVeVpb(op_sdazOOVcIp(b,b),op_AnPstFaJd9(a)))
    return count


def op_bnaEnLVdkS(a, b):
    return op_mhIhit33mg(op_KFSx94NKJn(op_Pkwamo1tM2(a,b),op_HiPekx5b7W(a,415)))

def op_count_bnaEnLVdkS(a, b):
    count = op_count_Pkwamo1tM2(a,b)+op_count_HiPekx5b7W(a,415)+op_count_KFSx94NKJn(op_Pkwamo1tM2(a,b),op_HiPekx5b7W(a,415))+op_count_mhIhit33mg(op_KFSx94NKJn(op_Pkwamo1tM2(a,b),op_HiPekx5b7W(a,415)))
    return count


def op_1YYS3WO4Kq(a):
    return op_cFVlceoRkX(152,op_Sq3AGanRSD(290,a))

def op_count_1YYS3WO4Kq(a):
    count = op_count_Sq3AGanRSD(290,a)+op_count_cFVlceoRkX(152,op_Sq3AGanRSD(290,a))
    return count


def op_XMZvmSbbb8(a):
    return op_W4YGzv6Whe(op_12rbrZMWeM(a,a),op_2GS7woTJqF(276,353))

def op_count_XMZvmSbbb8(a):
    count = op_count_12rbrZMWeM(a,a)+op_count_2GS7woTJqF(276,353)+op_count_W4YGzv6Whe(op_12rbrZMWeM(a,a),op_2GS7woTJqF(276,353))
    return count


def op_kJbZGpdPi7(a):
    return op_umQnsF7QlU(a,op_m612RDITqL(op_SPuZE40Ntn(611,a),op_3EhVUz7Ug9(229)))

def op_count_kJbZGpdPi7(a):
    count = op_count_SPuZE40Ntn(611,a)+op_count_3EhVUz7Ug9(229)+op_count_m612RDITqL(op_SPuZE40Ntn(611,a),op_3EhVUz7Ug9(229))+op_count_umQnsF7QlU(a,op_m612RDITqL(op_SPuZE40Ntn(611,a),op_3EhVUz7Ug9(229)))
    return count


def op_n4DPn5x9ZW(a, b):
    return op_Zubgv0tBda(op_IwW236VD4Y(a,b))

def op_count_n4DPn5x9ZW(a, b):
    count = op_count_IwW236VD4Y(a,b)+op_count_Zubgv0tBda(op_IwW236VD4Y(a,b))
    return count


def op_yXc9kvzvgr(a):
    return op_EBcxylXtPf(op_hmlrMsD2PO(op_zFNL8mZEFB(6,a),op_4JGOJzXMq1(354,161)))

def op_count_yXc9kvzvgr(a):
    count = op_count_zFNL8mZEFB(6,a)+op_count_4JGOJzXMq1(354,161)+op_count_hmlrMsD2PO(op_zFNL8mZEFB(6,a),op_4JGOJzXMq1(354,161))+op_count_EBcxylXtPf(op_hmlrMsD2PO(op_zFNL8mZEFB(6,a),op_4JGOJzXMq1(354,161)))
    return count


def op_u7GmA9CWxF(a):
    return op_JclMnS0uGI(op_t0cKpDWDXO(op_Y7wcNGrDQJ(208,257)),op_ObEyaaML9x(a,1))

def op_count_u7GmA9CWxF(a):
    count = op_count_Y7wcNGrDQJ(208,257)+op_count_t0cKpDWDXO(op_Y7wcNGrDQJ(208,257))+op_count_ObEyaaML9x(a,1)+op_count_JclMnS0uGI(op_t0cKpDWDXO(op_Y7wcNGrDQJ(208,257)),op_ObEyaaML9x(a,1))
    return count


def op_casPA5FTUX(a):
    return op_UggxBX659n(a,a)

def op_count_casPA5FTUX(a):
    count = op_count_UggxBX659n(a,a)
    return count


def op_S2EdmdiVZh(a, b):
    return op_tmjFFOTKyA(op_nhYeJWJD5X(op_glklzrTFfD(b),op_qy3n0tapmE(a,b)))

def op_count_S2EdmdiVZh(a, b):
    count = op_count_glklzrTFfD(b)+op_count_qy3n0tapmE(a,b)+op_count_nhYeJWJD5X(op_glklzrTFfD(b),op_qy3n0tapmE(a,b))+op_count_tmjFFOTKyA(op_nhYeJWJD5X(op_glklzrTFfD(b),op_qy3n0tapmE(a,b)))
    return count


a↪≬⫙ = { (((a⫸⇳a)⊔(a⇑∁⪛))⊢((a⨜⨶a)⪎↠(≦a))) }

def op_gKpnf7Fn5k(a):
    return op_5twsqlHp2o(op_E4l6HwMY31(op_gx7XJ7hdpj(a,a),op_P75hhshrwX(a)),op_3tVxb0NHM4(op_HiPekx5b7W(a,a),op_RPa3726CSl(a)))

def op_count_gKpnf7Fn5k(a):
    count = op_count_gx7XJ7hdpj(a,a)+op_count_P75hhshrwX(a)+op_count_E4l6HwMY31(op_gx7XJ7hdpj(a,a),op_P75hhshrwX(a))+op_count_HiPekx5b7W(a,a)+op_count_RPa3726CSl(a)+op_count_3tVxb0NHM4(op_HiPekx5b7W(a,a),op_RPa3726CSl(a))+op_count_5twsqlHp2o(op_E4l6HwMY31(op_gx7XJ7hdpj(a,a),op_P75hhshrwX(a)),op_3tVxb0NHM4(op_HiPekx5b7W(a,a),op_RPa3726CSl(a)))
    return count


def op_Jd6bdEZZlR(a):
    return op_kbkesczE7y(35,op_8cLx32lpNA(op_6MpZysEj17(a),op_3sJ7IOPOlU(a,a)))

def op_count_Jd6bdEZZlR(a):
    count = op_count_6MpZysEj17(a)+op_count_3sJ7IOPOlU(a,a)+op_count_8cLx32lpNA(op_6MpZysEj17(a),op_3sJ7IOPOlU(a,a))+op_count_kbkesczE7y(35,op_8cLx32lpNA(op_6MpZysEj17(a),op_3sJ7IOPOlU(a,a)))
    return count


def op_qlIXcggVCe(a, b):
    return op_bjFbhXSADs(op_umQnsF7QlU(a,op_qxqspddX8k(b,220)))

def op_count_qlIXcggVCe(a, b):
    count = op_count_qxqspddX8k(b,220)+op_count_umQnsF7QlU(a,op_qxqspddX8k(b,220))+op_count_bjFbhXSADs(op_umQnsF7QlU(a,op_qxqspddX8k(b,220)))
    return count


def op_F4YWqIofbM(a, b):
    return op_nREPSIbpBE(op_nouZ5SZjt1(b),op_u7fv1HBiaC(a))

def op_count_F4YWqIofbM(a, b):
    count = op_count_nouZ5SZjt1(b)+op_count_u7fv1HBiaC(a)+op_count_nREPSIbpBE(op_nouZ5SZjt1(b),op_u7fv1HBiaC(a))
    return count


def op_TjiRhGzIti(a):
    return op_YbVcJGFEVW(op_qy3n0tapmE(op_XPYlsWDdGa(a),a),op_JDUIKTTSIa(op_e1ybzncUwg(a),op_2DDjHMKMc0(a,a)))

def op_count_TjiRhGzIti(a):
    count = op_count_XPYlsWDdGa(a)+op_count_qy3n0tapmE(op_XPYlsWDdGa(a),a)+op_count_e1ybzncUwg(a)+op_count_2DDjHMKMc0(a,a)+op_count_JDUIKTTSIa(op_e1ybzncUwg(a),op_2DDjHMKMc0(a,a))+op_count_YbVcJGFEVW(op_qy3n0tapmE(op_XPYlsWDdGa(a),a),op_JDUIKTTSIa(op_e1ybzncUwg(a),op_2DDjHMKMc0(a,a)))
    return count


def op_UU3qbpZxb0(a):
    return op_vRio1gEz1j(op_zR4jO40bMj(op_U9HvHqtOoq(a),op_inCIaGQf8u(a,a)))

def op_count_UU3qbpZxb0(a):
    count = op_count_U9HvHqtOoq(a)+op_count_inCIaGQf8u(a,a)+op_count_zR4jO40bMj(op_U9HvHqtOoq(a),op_inCIaGQf8u(a,a))+op_count_vRio1gEz1j(op_zR4jO40bMj(op_U9HvHqtOoq(a),op_inCIaGQf8u(a,a)))
    return count


def op_msRZmk5CCg(a, b):
    return op_9bazX3JMtO(op_Wm7LHi3c8p(a),op_Cr5xnr8B4B(b,424))

def op_count_msRZmk5CCg(a, b):
    count = op_count_Wm7LHi3c8p(a)+op_count_Cr5xnr8B4B(b,424)+op_count_9bazX3JMtO(op_Wm7LHi3c8p(a),op_Cr5xnr8B4B(b,424))
    return count


def op_KKYcEEj1Nw(a, b):
    return op_NdELin8EPX(op_KWeyIRWUIQ(b),op_keuJNkrrbj(a,b))

def op_count_KKYcEEj1Nw(a, b):
    count = op_count_KWeyIRWUIQ(b)+op_count_keuJNkrrbj(a,b)+op_count_NdELin8EPX(op_KWeyIRWUIQ(b),op_keuJNkrrbj(a,b))
    return count


def op_5gklcqtSna(a):
    return op_tIhPxZTbsh(op_SPuZE40Ntn(a,op_eaFBhJ0Uku(66,a)),op_tmjFFOTKyA(op_apS25hmuAe(a)))

def op_count_5gklcqtSna(a):
    count = op_count_eaFBhJ0Uku(66,a)+op_count_SPuZE40Ntn(a,op_eaFBhJ0Uku(66,a))+op_count_apS25hmuAe(a)+op_count_tmjFFOTKyA(op_apS25hmuAe(a))+op_count_tIhPxZTbsh(op_SPuZE40Ntn(a,op_eaFBhJ0Uku(66,a)),op_tmjFFOTKyA(op_apS25hmuAe(a)))
    return count


def op_KG0EK6K0uq(a, b):
    return op_kuIXHzHcAH(op_e1ybzncUwg(op_Z5m6OM72h2(b,a)),op_aSik1wnThz(op_xRrnTEsQ6j(327,a)))

def op_count_KG0EK6K0uq(a, b):
    count = op_count_Z5m6OM72h2(b,a)+op_count_e1ybzncUwg(op_Z5m6OM72h2(b,a))+op_count_xRrnTEsQ6j(327,a)+op_count_aSik1wnThz(op_xRrnTEsQ6j(327,a))+op_count_kuIXHzHcAH(op_e1ybzncUwg(op_Z5m6OM72h2(b,a)),op_aSik1wnThz(op_xRrnTEsQ6j(327,a)))
    return count


def op_uz3GelrGYC(a, b):
    return op_tnyRA5sazQ(op_ar1w6gUwHX(a,a),op_6LuFrogppQ(b))

def op_count_uz3GelrGYC(a, b):
    count = op_count_ar1w6gUwHX(a,a)+op_count_6LuFrogppQ(b)+op_count_tnyRA5sazQ(op_ar1w6gUwHX(a,a),op_6LuFrogppQ(b))
    return count


a⩃⫫⩌b = { (((a⊩≵⪔)⋝⋈⪟(b⊭b))≃((a-26)⪐-(b⊉↱≁a))) }

def op_ac6OB0jBIj(a, b):
    return op_YbVcJGFEVW(op_2DDjHMKMc0(op_aDRGw0okjd(a),op_4JGOJzXMq1(b,b)),op_d8xe6WWVfM(op_rysDP5nf3Z(a,26),op_w2P8NbNXyL(b,a)))

def op_count_ac6OB0jBIj(a, b):
    count = op_count_aDRGw0okjd(a)+op_count_4JGOJzXMq1(b,b)+op_count_2DDjHMKMc0(op_aDRGw0okjd(a),op_4JGOJzXMq1(b,b))+op_count_rysDP5nf3Z(a,26)+op_count_w2P8NbNXyL(b,a)+op_count_d8xe6WWVfM(op_rysDP5nf3Z(a,26),op_w2P8NbNXyL(b,a))+op_count_YbVcJGFEVW(op_2DDjHMKMc0(op_aDRGw0okjd(a),op_4JGOJzXMq1(b,b)),op_d8xe6WWVfM(op_rysDP5nf3Z(a,26),op_w2P8NbNXyL(b,a)))
    return count


def op_LpaIDEFahL(a):
    return op_3EYGwJThht(a,a)

def op_count_LpaIDEFahL(a):
    count = op_count_3EYGwJThht(a,a)
    return count


def op_VUHsuanwoc(a):
    return op_fOIeswaMU4(op_JoLB3LXqXx(op_uysxUYN2L2(a,a),a))

def op_count_VUHsuanwoc(a):
    count = op_count_uysxUYN2L2(a,a)+op_count_JoLB3LXqXx(op_uysxUYN2L2(a,a),a)+op_count_fOIeswaMU4(op_JoLB3LXqXx(op_uysxUYN2L2(a,a),a))
    return count


def op_Ok8cM8wE7W(a):
    return op_VwlE7vj6HS(op_SgAxmdLNEA(op_kuIXHzHcAH(a,a)))

def op_count_Ok8cM8wE7W(a):
    count = op_count_kuIXHzHcAH(a,a)+op_count_SgAxmdLNEA(op_kuIXHzHcAH(a,a))+op_count_VwlE7vj6HS(op_SgAxmdLNEA(op_kuIXHzHcAH(a,a)))
    return count


a⩹∮b = { ((a⇢(b⋢530))∲⫑((a⨧↗⨷a)≏⨯⊱(⪸b))) }

def op_HZGlijH19F(a, b):
    return op_NrdPCfJQiM(op_GMN7JP6WpN(a,op_NdELin8EPX(b,530)),op_UqUOXUQnbU(op_WSbXXWOizJ(a,a),op_86A5ENbKR9(b)))

def op_count_HZGlijH19F(a, b):
    count = op_count_NdELin8EPX(b,530)+op_count_GMN7JP6WpN(a,op_NdELin8EPX(b,530))+op_count_WSbXXWOizJ(a,a)+op_count_86A5ENbKR9(b)+op_count_UqUOXUQnbU(op_WSbXXWOizJ(a,a),op_86A5ENbKR9(b))+op_count_NrdPCfJQiM(op_GMN7JP6WpN(a,op_NdELin8EPX(b,530)),op_UqUOXUQnbU(op_WSbXXWOizJ(a,a),op_86A5ENbKR9(b)))
    return count


def op_DE3698vjwZ(a):
    return op_UpkSd4zESC(a,a)

def op_count_DE3698vjwZ(a):
    count = op_count_UpkSd4zESC(a,a)
    return count


def op_CZOjTOoLse(a):
    return op_nhYeJWJD5X(op_y4ImoPnbV5(op_XbEAUggs3J(a),a),a)

def op_count_CZOjTOoLse(a):
    count = op_count_XbEAUggs3J(a)+op_count_y4ImoPnbV5(op_XbEAUggs3J(a),a)+op_count_nhYeJWJD5X(op_y4ImoPnbV5(op_XbEAUggs3J(a),a),a)
    return count


def op_AeqtO6eaHQ(a):
    return op_SdCjLnB6rR(op_12rbrZMWeM(op_eLAdDNolq6(a),157))

def op_count_AeqtO6eaHQ(a):
    count = op_count_eLAdDNolq6(a)+op_count_12rbrZMWeM(op_eLAdDNolq6(a),157)+op_count_SdCjLnB6rR(op_12rbrZMWeM(op_eLAdDNolq6(a),157))
    return count


def op_FjmygMY46A(a, b):
    return op_g55IO6H4Gj(op_Bmrmz2XGnR(op_JLbD19bQDL(241),op_Q2SPaKwpPJ(a,a)),op_0JWJYFSzIQ(op_DpFCA1CohY(279),op_WObL9SsYVE(b,654)))

def op_count_FjmygMY46A(a, b):
    count = op_count_JLbD19bQDL(241)+op_count_Q2SPaKwpPJ(a,a)+op_count_Bmrmz2XGnR(op_JLbD19bQDL(241),op_Q2SPaKwpPJ(a,a))+op_count_DpFCA1CohY(279)+op_count_WObL9SsYVE(b,654)+op_count_0JWJYFSzIQ(op_DpFCA1CohY(279),op_WObL9SsYVE(b,654))+op_count_g55IO6H4Gj(op_Bmrmz2XGnR(op_JLbD19bQDL(241),op_Q2SPaKwpPJ(a,a)),op_0JWJYFSzIQ(op_DpFCA1CohY(279),op_WObL9SsYVE(b,654)))
    return count


def op_fqTpERtnV2(a):
    return op_uyq1hVkAcj(op_NrdPCfJQiM(op_umQnsF7QlU(29,a),a))

def op_count_fqTpERtnV2(a):
    count = op_count_umQnsF7QlU(29,a)+op_count_NrdPCfJQiM(op_umQnsF7QlU(29,a),a)+op_count_uyq1hVkAcj(op_NrdPCfJQiM(op_umQnsF7QlU(29,a),a))
    return count


def op_1cb0F6wNcf(a):
    return op_6LuFrogppQ(op_4JB6nKBMSY(a,a))

def op_count_1cb0F6wNcf(a):
    count = op_count_4JB6nKBMSY(a,a)+op_count_6LuFrogppQ(op_4JB6nKBMSY(a,a))
    return count


def op_aAVNawJ2Pg(a):
    return op_DmTXOeWf9t(op_YC3tgrnOyr(a,a),op_u7fv1HBiaC(8))

def op_count_aAVNawJ2Pg(a):
    count = op_count_YC3tgrnOyr(a,a)+op_count_u7fv1HBiaC(8)+op_count_DmTXOeWf9t(op_YC3tgrnOyr(a,a),op_u7fv1HBiaC(8))
    return count


def op_C6huvSECWb(a, b):
    return op_gx7XJ7hdpj(op_HrjLwUk87U(op_pRsWfj4Fpp(a),op_kz228nwi0J(b)),324)

def op_count_C6huvSECWb(a, b):
    count = op_count_pRsWfj4Fpp(a)+op_count_kz228nwi0J(b)+op_count_HrjLwUk87U(op_pRsWfj4Fpp(a),op_kz228nwi0J(b))+op_count_gx7XJ7hdpj(op_HrjLwUk87U(op_pRsWfj4Fpp(a),op_kz228nwi0J(b)),324)
    return count


def op_m1wQXNbXkg(a, b):
    return op_JFrVJKYFMX(op_5RY6W0glyJ(op_t0cKpDWDXO(a)),op_UggxBX659n(op_PxiHyQbrIp(a),op_d7ASUq0ydm(2,b)))

def op_count_m1wQXNbXkg(a, b):
    count = op_count_t0cKpDWDXO(a)+op_count_5RY6W0glyJ(op_t0cKpDWDXO(a))+op_count_PxiHyQbrIp(a)+op_count_d7ASUq0ydm(2,b)+op_count_UggxBX659n(op_PxiHyQbrIp(a),op_d7ASUq0ydm(2,b))+op_count_JFrVJKYFMX(op_5RY6W0glyJ(op_t0cKpDWDXO(a)),op_UggxBX659n(op_PxiHyQbrIp(a),op_d7ASUq0ydm(2,b)))
    return count


⨇⩑a = { (((a⪚⨁⋖372)⩇∃⫛(465∫⋜⩖a))⨧(a⊢≏≾(⋷⊟a))) }

def op_Qad0JqIAjf(a):
    return op_3YWlZA9bsa(op_1aApVXNlOP(op_xSk1F0pZbF(a,372),op_JgXZM7XvWE(465,a)),op_qxqspddX8k(a,op_2fAMLLeFHb(a)))

def op_count_Qad0JqIAjf(a):
    count = op_count_xSk1F0pZbF(a,372)+op_count_JgXZM7XvWE(465,a)+op_count_1aApVXNlOP(op_xSk1F0pZbF(a,372),op_JgXZM7XvWE(465,a))+op_count_2fAMLLeFHb(a)+op_count_qxqspddX8k(a,op_2fAMLLeFHb(a))+op_count_3YWlZA9bsa(op_1aApVXNlOP(op_xSk1F0pZbF(a,372),op_JgXZM7XvWE(465,a)),op_qxqspddX8k(a,op_2fAMLLeFHb(a)))
    return count


⊕a = { (((a⇌⫙⪟a)∝(117⩌⋺a))∼⇢(a⊉≛↸(↥≼⋛a))) }

def op_C2eOkFrmjf(a):
    return op_Cr5xnr8B4B(op_cTDWOvIxvz(op_AFVx7xoS7T(a,a),op_g7Hmc5v1ko(117,a)),op_DZ8iAZOCBD(a,op_x5lMkHmzsq(a)))

def op_count_C2eOkFrmjf(a):
    count = op_count_AFVx7xoS7T(a,a)+op_count_g7Hmc5v1ko(117,a)+op_count_cTDWOvIxvz(op_AFVx7xoS7T(a,a),op_g7Hmc5v1ko(117,a))+op_count_x5lMkHmzsq(a)+op_count_DZ8iAZOCBD(a,op_x5lMkHmzsq(a))+op_count_Cr5xnr8B4B(op_cTDWOvIxvz(op_AFVx7xoS7T(a,a),op_g7Hmc5v1ko(117,a)),op_DZ8iAZOCBD(a,op_x5lMkHmzsq(a)))
    return count


def op_aThlxnsVMp(a):
    return op_JclMnS0uGI(a,a)

def op_count_aThlxnsVMp(a):
    count = op_count_JclMnS0uGI(a,a)
    return count


def op_EJGWfkvLOs(a, b):
    return op_KFSx94NKJn(op_QvoQhV0rrE(47,b),op_g7Hmc5v1ko(a,a))

def op_count_EJGWfkvLOs(a, b):
    count = op_count_QvoQhV0rrE(47,b)+op_count_g7Hmc5v1ko(a,a)+op_count_KFSx94NKJn(op_QvoQhV0rrE(47,b),op_g7Hmc5v1ko(a,a))
    return count


def op_YFgJcOFAB6(a):
    return op_WR6HLWljOP(a,op_PxpmPgHHJV(op_HmxsFra2vL(27,a)))

def op_count_YFgJcOFAB6(a):
    count = op_count_HmxsFra2vL(27,a)+op_count_PxpmPgHHJV(op_HmxsFra2vL(27,a))+op_count_WR6HLWljOP(a,op_PxpmPgHHJV(op_HmxsFra2vL(27,a)))
    return count


a⪮b = { (((⨝⨆b)⩣⊵⩗(b⨜⇔a))↨⪍≴((∋∴b)↪∷(a≬⋮b))) }

def op_J8mwGSlA9d(a, b):
    return op_DX7B1fY6P6(op_wsXFuL0hC6(op_bQ67fsrMVf(b),op_Sq3AGanRSD(b,a)),op_Api82iH42a(op_nouZ5SZjt1(b),op_kbkesczE7y(a,b)))

def op_count_J8mwGSlA9d(a, b):
    count = op_count_bQ67fsrMVf(b)+op_count_Sq3AGanRSD(b,a)+op_count_wsXFuL0hC6(op_bQ67fsrMVf(b),op_Sq3AGanRSD(b,a))+op_count_nouZ5SZjt1(b)+op_count_kbkesczE7y(a,b)+op_count_Api82iH42a(op_nouZ5SZjt1(b),op_kbkesczE7y(a,b))+op_count_DX7B1fY6P6(op_wsXFuL0hC6(op_bQ67fsrMVf(b),op_Sq3AGanRSD(b,a)),op_Api82iH42a(op_nouZ5SZjt1(b),op_kbkesczE7y(a,b)))
    return count