def op_zoVUxTIMAa(a, b):
    return op_7j4O788W3g(op_uyq1hVkAcj(a),op_JFrVJKYFMX(op_Z5m6OM72h2(a,b),op_AYdpE9sXAk(b)))

def op_count_zoVUxTIMAa(a, b):
    count = op_count_uyq1hVkAcj(a)+op_count_Z5m6OM72h2(a,b)+op_count_AYdpE9sXAk(b)+op_count_JFrVJKYFMX(op_Z5m6OM72h2(a,b),op_AYdpE9sXAk(b))+op_count_7j4O788W3g(op_uyq1hVkAcj(a),op_JFrVJKYFMX(op_Z5m6OM72h2(a,b),op_AYdpE9sXAk(b)))
    return count


a⩻b = { (((⊲⪭a)⩤∜↚(a⊢≏≾b))∼⇢((⫎≠⋺a)⇴(b⫊⇚⊺b))) }

def op_dMSKA4bw4h(a, b):
    return op_Cr5xnr8B4B(op_KROiRRz3d6(op_k7HXdKtiEU(a),op_qxqspddX8k(a,b)),op_4JB6nKBMSY(op_LYeZOJ0nQG(a),op_Y5cEcQhyKu(b,b)))

def op_count_dMSKA4bw4h(a, b):
    count = op_count_k7HXdKtiEU(a)+op_count_qxqspddX8k(a,b)+op_count_KROiRRz3d6(op_k7HXdKtiEU(a),op_qxqspddX8k(a,b))+op_count_LYeZOJ0nQG(a)+op_count_Y5cEcQhyKu(b,b)+op_count_4JB6nKBMSY(op_LYeZOJ0nQG(a),op_Y5cEcQhyKu(b,b))+op_count_Cr5xnr8B4B(op_KROiRRz3d6(op_k7HXdKtiEU(a),op_qxqspddX8k(a,b)),op_4JB6nKBMSY(op_LYeZOJ0nQG(a),op_Y5cEcQhyKu(b,b)))
    return count


def op_bLzMhy7Rh9(a):
    return op_oH594TLvBK(op_Y5cEcQhyKu(46,a))

def op_count_bLzMhy7Rh9(a):
    count = op_count_Y5cEcQhyKu(46,a)+op_count_oH594TLvBK(op_Y5cEcQhyKu(46,a))
    return count


def op_aii10oKZ0R(a):
    return op_Y9dhGmbGii(op_kweVJGAjhl(a))

def op_count_aii10oKZ0R(a):
    count = op_count_kweVJGAjhl(a)+op_count_Y9dhGmbGii(op_kweVJGAjhl(a))
    return count


a⪒⫴≏b = { (((b∼⇢a)⊨b)⋳⪒((a∀⩎⋷b)↢(b⩌⋺326))) }

def op_wZ022U9HON(a, b):
    return op_12rbrZMWeM(op_vg4gO5BX6G(op_Cr5xnr8B4B(b,a),b),op_WR6HLWljOP(op_FPxP5Y1j0W(a,b),op_g7Hmc5v1ko(b,326)))

def op_count_wZ022U9HON(a, b):
    count = op_count_Cr5xnr8B4B(b,a)+op_count_vg4gO5BX6G(op_Cr5xnr8B4B(b,a),b)+op_count_FPxP5Y1j0W(a,b)+op_count_g7Hmc5v1ko(b,326)+op_count_WR6HLWljOP(op_FPxP5Y1j0W(a,b),op_g7Hmc5v1ko(b,326))+op_count_12rbrZMWeM(op_vg4gO5BX6G(op_Cr5xnr8B4B(b,a),b),op_WR6HLWljOP(op_FPxP5Y1j0W(a,b),op_g7Hmc5v1ko(b,326)))
    return count


def op_m76UznZOQ6(a):
    return op_2ufhKmSs5H(op_nhYeJWJD5X(a,607))

def op_count_m76UznZOQ6(a):
    count = op_count_nhYeJWJD5X(a,607)+op_count_2ufhKmSs5H(op_nhYeJWJD5X(a,607))
    return count


a⪉⩕↠b = { ((⇺⪔⩬(↩⪖a))⨧↗⨷((618⫗⊒⇾b)⊵(b≧⫂∧b))) }

def op_chJOjhVmaW(a, b):
    return op_WSbXXWOizJ(op_lAOUD4ZMWV(op_fG6uBQFnGz(a)),op_eaFBhJ0Uku(op_hiBDRd40bf(618,b),op_Ph9nP6C5qx(b,b)))

def op_count_chJOjhVmaW(a, b):
    count = op_count_fG6uBQFnGz(a)+op_count_lAOUD4ZMWV(op_fG6uBQFnGz(a))+op_count_hiBDRd40bf(618,b)+op_count_Ph9nP6C5qx(b,b)+op_count_eaFBhJ0Uku(op_hiBDRd40bf(618,b),op_Ph9nP6C5qx(b,b))+op_count_WSbXXWOizJ(op_lAOUD4ZMWV(op_fG6uBQFnGz(a)),op_eaFBhJ0Uku(op_hiBDRd40bf(618,b),op_Ph9nP6C5qx(b,b)))
    return count


def op_qi2PGaRFP5(a):
    return op_AFVx7xoS7T(op_dAAkup5nzi(op_9FxExcQeMw(a,a),op_LYeZOJ0nQG(a)),187)

def op_count_qi2PGaRFP5(a):
    count = op_count_9FxExcQeMw(a,a)+op_count_LYeZOJ0nQG(a)+op_count_dAAkup5nzi(op_9FxExcQeMw(a,a),op_LYeZOJ0nQG(a))+op_count_AFVx7xoS7T(op_dAAkup5nzi(op_9FxExcQeMw(a,a),op_LYeZOJ0nQG(a)),187)
    return count


a⋖⫂b = { (((∷≠b)∀⩎⋷(≅≯⇸b))⫏↛⩏((b⊔%a)⫸⇳(b↹⊜b))) }

def op_7gUth6Rgvl(a, b):
    return op_YC3tgrnOyr(op_FPxP5Y1j0W(op_QiR2Oyf5Xj(b),op_apS25hmuAe(b)),op_gx7XJ7hdpj(op_uysxUYN2L2(b,a),op_9bazX3JMtO(b,b)))

def op_count_7gUth6Rgvl(a, b):
    count = op_count_QiR2Oyf5Xj(b)+op_count_apS25hmuAe(b)+op_count_FPxP5Y1j0W(op_QiR2Oyf5Xj(b),op_apS25hmuAe(b))+op_count_uysxUYN2L2(b,a)+op_count_9bazX3JMtO(b,b)+op_count_gx7XJ7hdpj(op_uysxUYN2L2(b,a),op_9bazX3JMtO(b,b))+op_count_YC3tgrnOyr(op_FPxP5Y1j0W(op_QiR2Oyf5Xj(b),op_apS25hmuAe(b)),op_gx7XJ7hdpj(op_uysxUYN2L2(b,a),op_9bazX3JMtO(b,b)))
    return count


def op_SUBTtDBtzQ(a):
    return op_nhYeJWJD5X(a,op_5RY6W0glyJ(223))

def op_count_SUBTtDBtzQ(a):
    count = op_count_5RY6W0glyJ(223)+op_count_nhYeJWJD5X(a,op_5RY6W0glyJ(223))
    return count


def op_HPE80N5E2e(a, b):
    return op_0JWJYFSzIQ(op_Ikt5ks8PT7(b,a),op_dAAkup5nzi(94,b))

def op_count_HPE80N5E2e(a, b):
    count = op_count_Ikt5ks8PT7(b,a)+op_count_dAAkup5nzi(94,b)+op_count_0JWJYFSzIQ(op_Ikt5ks8PT7(b,a),op_dAAkup5nzi(94,b))
    return count


↢≼a = { (((83⇌⫙⪟a)⩧⪆(a≟⫹a))⩣⫁∢((↡a)⊬⨰(8⪒⊣⊆a))) }

def op_kZ7xiQQXYt(a):
    return op_JDUIKTTSIa(op_Ikt5ks8PT7(op_AFVx7xoS7T(83,a),op_z2JHNkvbdm(a,a)),op_s3Fd5m9Dh2(op_MXaNJeIAZ3(a),op_eRqsBgTDFp(8,a)))

def op_count_kZ7xiQQXYt(a):
    count = op_count_AFVx7xoS7T(83,a)+op_count_z2JHNkvbdm(a,a)+op_count_Ikt5ks8PT7(op_AFVx7xoS7T(83,a),op_z2JHNkvbdm(a,a))+op_count_MXaNJeIAZ3(a)+op_count_eRqsBgTDFp(8,a)+op_count_s3Fd5m9Dh2(op_MXaNJeIAZ3(a),op_eRqsBgTDFp(8,a))+op_count_JDUIKTTSIa(op_Ikt5ks8PT7(op_AFVx7xoS7T(83,a),op_z2JHNkvbdm(a,a)),op_s3Fd5m9Dh2(op_MXaNJeIAZ3(a),op_eRqsBgTDFp(8,a)))
    return count


a⨤≾⇞ = { (((a-∠a)⋘(a⫊⇚⊺a))↹⊜(⇉-⫰(⪁≄a))) }

def op_aNWAReb50r(a):
    return op_9bazX3JMtO(op_2M7SKlOzyM(op_s0IfDFCCuZ(a,a),op_Y5cEcQhyKu(a,a)),op_IGFM8TAlm9(op_2O29ZX4yK6(a)))

def op_count_aNWAReb50r(a):
    count = op_count_s0IfDFCCuZ(a,a)+op_count_Y5cEcQhyKu(a,a)+op_count_2M7SKlOzyM(op_s0IfDFCCuZ(a,a),op_Y5cEcQhyKu(a,a))+op_count_2O29ZX4yK6(a)+op_count_IGFM8TAlm9(op_2O29ZX4yK6(a))+op_count_9bazX3JMtO(op_2M7SKlOzyM(op_s0IfDFCCuZ(a,a),op_Y5cEcQhyKu(a,a)),op_IGFM8TAlm9(op_2O29ZX4yK6(a)))
    return count


a≬⇼↘b = { ((⨡↴(b≣b))≏⨯⊱((b⊬⨰b)⋳⪒(a⩒⫫b))) }

def op_b71WJCI7uC(a, b):
    return op_UqUOXUQnbU(op_liw5iZPkLH(op_ObEyaaML9x(b,b)),op_12rbrZMWeM(op_s3Fd5m9Dh2(b,b),op_KFSx94NKJn(a,b)))

def op_count_b71WJCI7uC(a, b):
    count = op_count_ObEyaaML9x(b,b)+op_count_liw5iZPkLH(op_ObEyaaML9x(b,b))+op_count_s3Fd5m9Dh2(b,b)+op_count_KFSx94NKJn(a,b)+op_count_12rbrZMWeM(op_s3Fd5m9Dh2(b,b),op_KFSx94NKJn(a,b))+op_count_UqUOXUQnbU(op_liw5iZPkLH(op_ObEyaaML9x(b,b)),op_12rbrZMWeM(op_s3Fd5m9Dh2(b,b),op_KFSx94NKJn(a,b)))
    return count


def op_DDyFJYJzaO(a):
    return op_Noe24qw2ks(op_rysDP5nf3Z(a,23),op_AnPstFaJd9(a))

def op_count_DDyFJYJzaO(a):
    count = op_count_rysDP5nf3Z(a,23)+op_count_AnPstFaJd9(a)+op_count_Noe24qw2ks(op_rysDP5nf3Z(a,23),op_AnPstFaJd9(a))
    return count


a⪌⊌⪟b = { (((378⩣⫁∢a)⩧⪆(b⊔a))⊭(⇋↷(8⪱⇝a))) }

def op_lr4bYNdzaZ(a, b):
    return op_4JGOJzXMq1(op_Ikt5ks8PT7(op_JDUIKTTSIa(378,a),op_E4l6HwMY31(b,a)),op_SWo3A1KBJH(op_OTRTVPweYV(8,a)))

def op_count_lr4bYNdzaZ(a, b):
    count = op_count_JDUIKTTSIa(378,a)+op_count_E4l6HwMY31(b,a)+op_count_Ikt5ks8PT7(op_JDUIKTTSIa(378,a),op_E4l6HwMY31(b,a))+op_count_OTRTVPweYV(8,a)+op_count_SWo3A1KBJH(op_OTRTVPweYV(8,a))+op_count_4JGOJzXMq1(op_Ikt5ks8PT7(op_JDUIKTTSIa(378,a),op_E4l6HwMY31(b,a)),op_SWo3A1KBJH(op_OTRTVPweYV(8,a)))
    return count


def op_X27H9WKVKQ(a):
    return op_2PILXiQIjy(op_9bazX3JMtO(op_giaUb8UVhq(a,a),op_dwb5p0fa6d(21)))

def op_count_X27H9WKVKQ(a):
    count = op_count_giaUb8UVhq(a,a)+op_count_dwb5p0fa6d(21)+op_count_9bazX3JMtO(op_giaUb8UVhq(a,a),op_dwb5p0fa6d(21))+op_count_2PILXiQIjy(op_9bazX3JMtO(op_giaUb8UVhq(a,a),op_dwb5p0fa6d(21)))
    return count


def op_YVgDu6A9Zc(a):
    return op_0JWJYFSzIQ(op_oDvtRyfmAM(69),a)

def op_count_YVgDu6A9Zc(a):
    count = op_count_oDvtRyfmAM(69)+op_count_0JWJYFSzIQ(op_oDvtRyfmAM(69),a)
    return count


def op_rHWsv9TdNf(a, b):
    return op_Cr5xnr8B4B(b,op_xRrnTEsQ6j(b,a))

def op_count_rHWsv9TdNf(a, b):
    count = op_count_xRrnTEsQ6j(b,a)+op_count_Cr5xnr8B4B(b,op_xRrnTEsQ6j(b,a))
    return count


def op_p2sJqMVm2t(a):
    return op_OGWBzMv138(a,a)

def op_count_p2sJqMVm2t(a):
    count = op_count_OGWBzMv138(a,a)
    return count


def op_Yan4YobxxY(a, b):
    return op_fG6uBQFnGz(op_dfKe02y8D2(a,b))

def op_count_Yan4YobxxY(a, b):
    count = op_count_dfKe02y8D2(a,b)+op_count_fG6uBQFnGz(op_dfKe02y8D2(a,b))
    return count


def op_n3Md7DSD5e(a):
    return op_aDRGw0okjd(op_Y7wcNGrDQJ(0,a))

def op_count_n3Md7DSD5e(a):
    count = op_count_Y7wcNGrDQJ(0,a)+op_count_aDRGw0okjd(op_Y7wcNGrDQJ(0,a))
    return count


def op_mO5CGOYEYM(a):
    return op_9Isq31Ruls(a,a)

def op_count_mO5CGOYEYM(a):
    count = op_count_9Isq31Ruls(a,a)
    return count


def op_exzyYvvvzF(a, b):
    return op_BAIXFdYaz3(op_Y5cEcQhyKu(a,b),op_yuvXk3Mco8(518))

def op_count_exzyYvvvzF(a, b):
    count = op_count_Y5cEcQhyKu(a,b)+op_count_yuvXk3Mco8(518)+op_count_BAIXFdYaz3(op_Y5cEcQhyKu(a,b),op_yuvXk3Mco8(518))
    return count


def op_2Yy7IiVHWW(a, b):
    return op_tHMVLcQ9bH(op_ztP7wcbY7m(op_9Isq31Ruls(a,b)))

def op_count_2Yy7IiVHWW(a, b):
    count = op_count_9Isq31Ruls(a,b)+op_count_ztP7wcbY7m(op_9Isq31Ruls(a,b))+op_count_tHMVLcQ9bH(op_ztP7wcbY7m(op_9Isq31Ruls(a,b)))
    return count


def op_9OBheeKous(a):
    return op_W4YGzv6Whe(op_aSik1wnThz(a),op_vRio1gEz1j(a))

def op_count_9OBheeKous(a):
    count = op_count_aSik1wnThz(a)+op_count_vRio1gEz1j(a)+op_count_W4YGzv6Whe(op_aSik1wnThz(a),op_vRio1gEz1j(a))
    return count


a≬⇺ = { (((a⨜⇔a)⩤∜↚(∨⫘⊿a))⫶((a⋟⫀⨗a)∷(⊄⩳↩a))) }

def op_OdOWVsbFc9(a):
    return op_BAIXFdYaz3(op_KROiRRz3d6(op_Sq3AGanRSD(a,a),op_qxp9F1VMeC(a)),op_D3AQDKkPcf(op_dAAkup5nzi(a,a),op_8w2t5hMYqp(a)))

def op_count_OdOWVsbFc9(a):
    count = op_count_Sq3AGanRSD(a,a)+op_count_qxp9F1VMeC(a)+op_count_KROiRRz3d6(op_Sq3AGanRSD(a,a),op_qxp9F1VMeC(a))+op_count_dAAkup5nzi(a,a)+op_count_8w2t5hMYqp(a)+op_count_D3AQDKkPcf(op_dAAkup5nzi(a,a),op_8w2t5hMYqp(a))+op_count_BAIXFdYaz3(op_KROiRRz3d6(op_Sq3AGanRSD(a,a),op_qxp9F1VMeC(a)),op_D3AQDKkPcf(op_dAAkup5nzi(a,a),op_8w2t5hMYqp(a)))
    return count


def op_xcoQzu4oYl(a, b):
    return op_umQnsF7QlU(op_SdCjLnB6rR(op_Qaz2MhZaG5(128,509)),op_cFVlceoRkX(op_YSKBFp38Pu(a,b),op_IxJHfR5psi(506,b)))

def op_count_xcoQzu4oYl(a, b):
    count = op_count_Qaz2MhZaG5(128,509)+op_count_SdCjLnB6rR(op_Qaz2MhZaG5(128,509))+op_count_YSKBFp38Pu(a,b)+op_count_IxJHfR5psi(506,b)+op_count_cFVlceoRkX(op_YSKBFp38Pu(a,b),op_IxJHfR5psi(506,b))+op_count_umQnsF7QlU(op_SdCjLnB6rR(op_Qaz2MhZaG5(128,509)),op_cFVlceoRkX(op_YSKBFp38Pu(a,b),op_IxJHfR5psi(506,b)))
    return count


def op_QEn8q3amHe(a):
    return op_dfKe02y8D2(op_JFrVJKYFMX(a,a),op_AdZkA7nFnk(a,a))

def op_count_QEn8q3amHe(a):
    count = op_count_JFrVJKYFMX(a,a)+op_count_AdZkA7nFnk(a,a)+op_count_dfKe02y8D2(op_JFrVJKYFMX(a,a),op_AdZkA7nFnk(a,a))
    return count


def op_YjTveF0rk5(a, b):
    return op_7Nd029Vx1U(op_64EQ39e0fC(op_2ufhKmSs5H(b),op_GMN7JP6WpN(b,a)))

def op_count_YjTveF0rk5(a, b):
    count = op_count_2ufhKmSs5H(b)+op_count_GMN7JP6WpN(b,a)+op_count_64EQ39e0fC(op_2ufhKmSs5H(b),op_GMN7JP6WpN(b,a))+op_count_7Nd029Vx1U(op_64EQ39e0fC(op_2ufhKmSs5H(b),op_GMN7JP6WpN(b,a)))
    return count


a⇌b = { (((a⨣∐↬b)⇿⊰(b⩦a))⋷((b⫶43)⋅∹⩇)) }

def op_ifvJ10rhcp(a, b):
    return op_23Mk6UjR3U(op_ap3xiM279w(op_UpkSd4zESC(a,b),op_0kmYd0q39Y(b,a)),op_Tmr9JGNMVH(op_BAIXFdYaz3(b,43)))

def op_count_ifvJ10rhcp(a, b):
    count = op_count_UpkSd4zESC(a,b)+op_count_0kmYd0q39Y(b,a)+op_count_ap3xiM279w(op_UpkSd4zESC(a,b),op_0kmYd0q39Y(b,a))+op_count_BAIXFdYaz3(b,43)+op_count_Tmr9JGNMVH(op_BAIXFdYaz3(b,43))+op_count_23Mk6UjR3U(op_ap3xiM279w(op_UpkSd4zESC(a,b),op_0kmYd0q39Y(b,a)),op_Tmr9JGNMVH(op_BAIXFdYaz3(b,43)))
    return count


def op_edUqJ6W6b3(a):
    return op_23Mk6UjR3U(op_YSKBFp38Pu(a,a),op_B3tNObfNaL(a))

def op_count_edUqJ6W6b3(a):
    count = op_count_YSKBFp38Pu(a,a)+op_count_B3tNObfNaL(a)+op_count_23Mk6UjR3U(op_YSKBFp38Pu(a,a),op_B3tNObfNaL(a))
    return count


def op_kNtlGfu7Pf(a):
    return op_IxJHfR5psi(387,op_Qy55tPpLXF(op_Ikt5ks8PT7(a,a),op_XnXgA4xnOs(a,a)))

def op_count_kNtlGfu7Pf(a):
    count = op_count_Ikt5ks8PT7(a,a)+op_count_XnXgA4xnOs(a,a)+op_count_Qy55tPpLXF(op_Ikt5ks8PT7(a,a),op_XnXgA4xnOs(a,a))+op_count_IxJHfR5psi(387,op_Qy55tPpLXF(op_Ikt5ks8PT7(a,a),op_XnXgA4xnOs(a,a)))
    return count


def op_xb2YpVd57y(a, b):
    return op_Z5m6OM72h2(op_840vADziXz(op_cwbF3JtlMN(92,12)),op_B3tNObfNaL(op_jBC4ymW3D7(a,b)))

def op_count_xb2YpVd57y(a, b):
    count = op_count_cwbF3JtlMN(92,12)+op_count_840vADziXz(op_cwbF3JtlMN(92,12))+op_count_jBC4ymW3D7(a,b)+op_count_B3tNObfNaL(op_jBC4ymW3D7(a,b))+op_count_Z5m6OM72h2(op_840vADziXz(op_cwbF3JtlMN(92,12)),op_B3tNObfNaL(op_jBC4ymW3D7(a,b)))
    return count


def op_QLwpKAsHex(a):
    return op_hFnZRMLNSM(op_W4YGzv6Whe(a,52))

def op_count_QLwpKAsHex(a):
    count = op_count_W4YGzv6Whe(a,52)+op_count_hFnZRMLNSM(op_W4YGzv6Whe(a,52))
    return count


def op_5hNsobdibZ(a, b):
    return op_Bmrmz2XGnR(op_6o9Blt3TJ6(a,b),op_0kmYd0q39Y(b,12))

def op_count_5hNsobdibZ(a, b):
    count = op_count_6o9Blt3TJ6(a,b)+op_count_0kmYd0q39Y(b,12)+op_count_Bmrmz2XGnR(op_6o9Blt3TJ6(a,b),op_0kmYd0q39Y(b,12))
    return count


def op_griT9ijWOv(a, b):
    return op_Api82iH42a(op_csT5a4elgc(op_LmY23Q1aIi(a)),op_jBC4ymW3D7(op_d7ASUq0ydm(a,b),op_69GgKhV9QQ(b)))

def op_count_griT9ijWOv(a, b):
    count = op_count_LmY23Q1aIi(a)+op_count_csT5a4elgc(op_LmY23Q1aIi(a))+op_count_d7ASUq0ydm(a,b)+op_count_69GgKhV9QQ(b)+op_count_jBC4ymW3D7(op_d7ASUq0ydm(a,b),op_69GgKhV9QQ(b))+op_count_Api82iH42a(op_csT5a4elgc(op_LmY23Q1aIi(a)),op_jBC4ymW3D7(op_d7ASUq0ydm(a,b),op_69GgKhV9QQ(b)))
    return count


def op_y6OTf7Brud(a):
    return op_SgAxmdLNEA(op_eLAdDNolq6(a))

def op_count_y6OTf7Brud(a):
    count = op_count_eLAdDNolq6(a)+op_count_SgAxmdLNEA(op_eLAdDNolq6(a))
    return count


def op_xE2YBhU7Vf(a):
    return op_69GgKhV9QQ(op_OGWBzMv138(a,op_d7ASUq0ydm(a,a)))

def op_count_xE2YBhU7Vf(a):
    count = op_count_d7ASUq0ydm(a,a)+op_count_OGWBzMv138(a,op_d7ASUq0ydm(a,a))+op_count_69GgKhV9QQ(op_OGWBzMv138(a,op_d7ASUq0ydm(a,a)))
    return count


def op_r6dTyk8NtM(a):
    return op_tnyRA5sazQ(op_D309nIvmXG(a),op_tnyRA5sazQ(a,a))

def op_count_r6dTyk8NtM(a):
    count = op_count_D309nIvmXG(a)+op_count_tnyRA5sazQ(a,a)+op_count_tnyRA5sazQ(op_D309nIvmXG(a),op_tnyRA5sazQ(a,a))
    return count


def op_RafIHr9T3g(a):
    return op_Lhk0YGb717(op_EZ6cjipfBz(op_9Isq31Ruls(a,a)))

def op_count_RafIHr9T3g(a):
    count = op_count_9Isq31Ruls(a,a)+op_count_EZ6cjipfBz(op_9Isq31Ruls(a,a))+op_count_Lhk0YGb717(op_EZ6cjipfBz(op_9Isq31Ruls(a,a)))
    return count


def op_MGbPxTAMI3(a, b):
    return op_YC3tgrnOyr(op_B3tNObfNaL(a),op_3Oe9XWJUTD(b,b))

def op_count_MGbPxTAMI3(a, b):
    count = op_count_B3tNObfNaL(a)+op_count_3Oe9XWJUTD(b,b)+op_count_YC3tgrnOyr(op_B3tNObfNaL(a),op_3Oe9XWJUTD(b,b))
    return count


def op_0vlfU79Xq7(a, b):
    return op_7PjNe5qSIJ(op_tifHPKVTfV(b,a),op_z2JHNkvbdm(326,a))

def op_count_0vlfU79Xq7(a, b):
    count = op_count_tifHPKVTfV(b,a)+op_count_z2JHNkvbdm(326,a)+op_count_7PjNe5qSIJ(op_tifHPKVTfV(b,a),op_z2JHNkvbdm(326,a))
    return count


def op_i5hWbqkGkb(a, b):
    return op_nREPSIbpBE(op_kz228nwi0J(a),op_GMN7JP6WpN(315,b))

def op_count_i5hWbqkGkb(a, b):
    count = op_count_kz228nwi0J(a)+op_count_GMN7JP6WpN(315,b)+op_count_nREPSIbpBE(op_kz228nwi0J(a),op_GMN7JP6WpN(315,b))
    return count


def op_r45GFIZ6yb(a):
    return op_OTRTVPweYV(op_3FtlcrQcJU(op_KfMCrRzQhT(47)),op_KPf6cnQVty(op_qxqspddX8k(82,a),op_DZ8iAZOCBD(128,377)))

def op_count_r45GFIZ6yb(a):
    count = op_count_KfMCrRzQhT(47)+op_count_3FtlcrQcJU(op_KfMCrRzQhT(47))+op_count_qxqspddX8k(82,a)+op_count_DZ8iAZOCBD(128,377)+op_count_KPf6cnQVty(op_qxqspddX8k(82,a),op_DZ8iAZOCBD(128,377))+op_count_OTRTVPweYV(op_3FtlcrQcJU(op_KfMCrRzQhT(47)),op_KPf6cnQVty(op_qxqspddX8k(82,a),op_DZ8iAZOCBD(128,377)))
    return count


def op_Up1cwh7yZZ(a):
    return op_S56z7WVPBn(op_dAAkup5nzi(380,a))

def op_count_Up1cwh7yZZ(a):
    count = op_count_dAAkup5nzi(380,a)+op_count_S56z7WVPBn(op_dAAkup5nzi(380,a))
    return count


⨺⋰a = { (((⊤⊝a)⊓≱(a⋳⪒a))⇖↽((a⋐≟⩺a)⫯⪬∳(a⩣⫁∢a))) }

def op_3LnG6JgegN(a):
    return op_cwbF3JtlMN(op_VCG3UHNzLR(op_rXAclfmB4M(a),op_12rbrZMWeM(a,a)),op_d7ASUq0ydm(op_PjbVkMzmXE(a,a),op_JDUIKTTSIa(a,a)))

def op_count_3LnG6JgegN(a):
    count = op_count_rXAclfmB4M(a)+op_count_12rbrZMWeM(a,a)+op_count_VCG3UHNzLR(op_rXAclfmB4M(a),op_12rbrZMWeM(a,a))+op_count_PjbVkMzmXE(a,a)+op_count_JDUIKTTSIa(a,a)+op_count_d7ASUq0ydm(op_PjbVkMzmXE(a,a),op_JDUIKTTSIa(a,a))+op_count_cwbF3JtlMN(op_VCG3UHNzLR(op_rXAclfmB4M(a),op_12rbrZMWeM(a,a)),op_d7ASUq0ydm(op_PjbVkMzmXE(a,a),op_JDUIKTTSIa(a,a)))
    return count


a⨾⪹⩗b = { (((b≦↸a)⫊⇚⊺(a⊎←↗))⪲⨢(⩕↛(b∝b))) }

def op_EnxiqAYg5D(a, b):
    return op_6iafYuwGo8(op_Y5cEcQhyKu(op_RygbFNSyEJ(b,a),op_dwb5p0fa6d(a)),op_3EhVUz7Ug9(op_cTDWOvIxvz(b,b)))

def op_count_EnxiqAYg5D(a, b):
    count = op_count_RygbFNSyEJ(b,a)+op_count_dwb5p0fa6d(a)+op_count_Y5cEcQhyKu(op_RygbFNSyEJ(b,a),op_dwb5p0fa6d(a))+op_count_cTDWOvIxvz(b,b)+op_count_3EhVUz7Ug9(op_cTDWOvIxvz(b,b))+op_count_6iafYuwGo8(op_Y5cEcQhyKu(op_RygbFNSyEJ(b,a),op_dwb5p0fa6d(a)),op_3EhVUz7Ug9(op_cTDWOvIxvz(b,b)))
    return count


a≭∩b = { (((b⨜⨶378)⪱⇝(⩪⩔558))↹⊜((b⪇≇⋚b)⨔⇊(b∣a))) }

def op_q1J6mXxel7(a, b):
    return op_9bazX3JMtO(op_OTRTVPweYV(op_HiPekx5b7W(b,378),op_Siyfjn51pv(558)),op_JclMnS0uGI(op_3sJ7IOPOlU(b,b),op_PPChnnnBFF(b,a)))

def op_count_q1J6mXxel7(a, b):
    count = op_count_HiPekx5b7W(b,378)+op_count_Siyfjn51pv(558)+op_count_OTRTVPweYV(op_HiPekx5b7W(b,378),op_Siyfjn51pv(558))+op_count_3sJ7IOPOlU(b,b)+op_count_PPChnnnBFF(b,a)+op_count_JclMnS0uGI(op_3sJ7IOPOlU(b,b),op_PPChnnnBFF(b,a))+op_count_9bazX3JMtO(op_OTRTVPweYV(op_HiPekx5b7W(b,378),op_Siyfjn51pv(558)),op_JclMnS0uGI(op_3sJ7IOPOlU(b,b),op_PPChnnnBFF(b,a)))
    return count


def op_zOo9HPB5jT(a):
    return op_Qy55tPpLXF(op_8HCJqvcFkE(a),op_RygbFNSyEJ(191,463))

def op_count_zOo9HPB5jT(a):
    count = op_count_8HCJqvcFkE(a)+op_count_RygbFNSyEJ(191,463)+op_count_Qy55tPpLXF(op_8HCJqvcFkE(a),op_RygbFNSyEJ(191,463))
    return count


def op_ziENa4oeDe(a, b):
    return op_g55IO6H4Gj(op_DmTXOeWf9t(b,b),op_kbkesczE7y(a,b))

def op_count_ziENa4oeDe(a, b):
    count = op_count_DmTXOeWf9t(b,b)+op_count_kbkesczE7y(a,b)+op_count_g55IO6H4Gj(op_DmTXOeWf9t(b,b),op_kbkesczE7y(a,b))
    return count


def op_diFBhjFx7A(a, b):
    return op_HQuZ2f4It9(op_OTRTVPweYV(a,b))

def op_count_diFBhjFx7A(a, b):
    count = op_count_OTRTVPweYV(a,b)+op_count_HQuZ2f4It9(op_OTRTVPweYV(a,b))
    return count


a⇘⋴b = { (((b⨔⊶↷a)∿⫑≎(51⩷∴a))⨜⇔((b∫⋜⩖29)⋥≓≎(a≚⊃≕b))) }

def op_jGfH5UPFW6(a, b):
    return op_Sq3AGanRSD(op_ar1w6gUwHX(op_WObL9SsYVE(b,a),op_9FxExcQeMw(51,a)),op_Qy55tPpLXF(op_JgXZM7XvWE(b,29),op_Bmrmz2XGnR(a,b)))

def op_count_jGfH5UPFW6(a, b):
    count = op_count_WObL9SsYVE(b,a)+op_count_9FxExcQeMw(51,a)+op_count_ar1w6gUwHX(op_WObL9SsYVE(b,a),op_9FxExcQeMw(51,a))+op_count_JgXZM7XvWE(b,29)+op_count_Bmrmz2XGnR(a,b)+op_count_Qy55tPpLXF(op_JgXZM7XvWE(b,29),op_Bmrmz2XGnR(a,b))+op_count_Sq3AGanRSD(op_ar1w6gUwHX(op_WObL9SsYVE(b,a),op_9FxExcQeMw(51,a)),op_Qy55tPpLXF(op_JgXZM7XvWE(b,29),op_Bmrmz2XGnR(a,b)))
    return count


a⊿⊢b = { (((b⊭↱a)↺(376≋⫹))↪∷((a≧⊼b)⨮⨆)) }

def op_0P6jqB2nlY(a, b):
    return op_Api82iH42a(op_7j4O788W3g(op_COABgblf1C(b,a),op_N41Kp7NANJ(376)),op_s0kPeV9Vm2(op_JoLB3LXqXx(a,b)))

def op_count_0P6jqB2nlY(a, b):
    count = op_count_COABgblf1C(b,a)+op_count_N41Kp7NANJ(376)+op_count_7j4O788W3g(op_COABgblf1C(b,a),op_N41Kp7NANJ(376))+op_count_JoLB3LXqXx(a,b)+op_count_s0kPeV9Vm2(op_JoLB3LXqXx(a,b))+op_count_Api82iH42a(op_7j4O788W3g(op_COABgblf1C(b,a),op_N41Kp7NANJ(376)),op_s0kPeV9Vm2(op_JoLB3LXqXx(a,b)))
    return count


def op_DTcFPWsND3(a):
    return op_l1M9WJ3V7u(op_dfKe02y8D2(a,2))

def op_count_DTcFPWsND3(a):
    count = op_count_dfKe02y8D2(a,2)+op_count_l1M9WJ3V7u(op_dfKe02y8D2(a,2))
    return count


def op_3gQ6yMJtm3(a):
    return op_g55IO6H4Gj(op_OTRTVPweYV(a,op_s3Fd5m9Dh2(a,a)),op_BAIXFdYaz3(op_lAOUD4ZMWV(a),op_dwb5p0fa6d(a)))

def op_count_3gQ6yMJtm3(a):
    count = op_count_s3Fd5m9Dh2(a,a)+op_count_OTRTVPweYV(a,op_s3Fd5m9Dh2(a,a))+op_count_lAOUD4ZMWV(a)+op_count_dwb5p0fa6d(a)+op_count_BAIXFdYaz3(op_lAOUD4ZMWV(a),op_dwb5p0fa6d(a))+op_count_g55IO6H4Gj(op_OTRTVPweYV(a,op_s3Fd5m9Dh2(a,a)),op_BAIXFdYaz3(op_lAOUD4ZMWV(a),op_dwb5p0fa6d(a)))
    return count


a⩌⩃⨪ = { (((⨞⫢75)⋅⇍(≇⪴a))⋎((a⩚⊴⇥a)⫏↛⩏(a⪐-a))) }

def op_4gmLNk370v(a):
    return op_qy3n0tapmE(op_AdZkA7nFnk(op_HQuZ2f4It9(75),op_zoVPnxeHJ3(a)),op_YC3tgrnOyr(op_NTOWxs364D(a,a),op_d8xe6WWVfM(a,a)))

def op_count_4gmLNk370v(a):
    count = op_count_HQuZ2f4It9(75)+op_count_zoVPnxeHJ3(a)+op_count_AdZkA7nFnk(op_HQuZ2f4It9(75),op_zoVPnxeHJ3(a))+op_count_NTOWxs364D(a,a)+op_count_d8xe6WWVfM(a,a)+op_count_YC3tgrnOyr(op_NTOWxs364D(a,a),op_d8xe6WWVfM(a,a))+op_count_qy3n0tapmE(op_AdZkA7nFnk(op_HQuZ2f4It9(75),op_zoVPnxeHJ3(a)),op_YC3tgrnOyr(op_NTOWxs364D(a,a),op_d8xe6WWVfM(a,a)))
    return count


def op_6DIkXxLLjT(a, b):
    return op_2z8nE7LpCu(op_6LuFrogppQ(b),op_Rw46J52cBJ(b,a))

def op_count_6DIkXxLLjT(a, b):
    count = op_count_6LuFrogppQ(b)+op_count_Rw46J52cBJ(b,a)+op_count_2z8nE7LpCu(op_6LuFrogppQ(b),op_Rw46J52cBJ(b,a))
    return count


def op_F9pSHpyQ3k(a, b):
    return op_irKjLsMeKy(op_YSKBFp38Pu(op_2Wsdkap16l(a,b),op_IpgdDpBHsO(b)),op_2td37pGCOC(op_pRsWfj4Fpp(a)))

def op_count_F9pSHpyQ3k(a, b):
    count = op_count_2Wsdkap16l(a,b)+op_count_IpgdDpBHsO(b)+op_count_YSKBFp38Pu(op_2Wsdkap16l(a,b),op_IpgdDpBHsO(b))+op_count_pRsWfj4Fpp(a)+op_count_2td37pGCOC(op_pRsWfj4Fpp(a))+op_count_irKjLsMeKy(op_YSKBFp38Pu(op_2Wsdkap16l(a,b),op_IpgdDpBHsO(b)),op_2td37pGCOC(op_pRsWfj4Fpp(a)))
    return count


a∠⨼≺b = { (((a∝448)↼⊘⨖(769⪊≅))∙∹∝(b⨧(⫦≽⪐b))) }

def op_zF2h9d8EEQ(a, b):
    return op_HmxsFra2vL(op_bPywburJMS(op_cTDWOvIxvz(a,448),op_bjFbhXSADs(769)),op_3YWlZA9bsa(b,op_fjqJgF5yyp(b)))

def op_count_zF2h9d8EEQ(a, b):
    count = op_count_cTDWOvIxvz(a,448)+op_count_bjFbhXSADs(769)+op_count_bPywburJMS(op_cTDWOvIxvz(a,448),op_bjFbhXSADs(769))+op_count_fjqJgF5yyp(b)+op_count_3YWlZA9bsa(b,op_fjqJgF5yyp(b))+op_count_HmxsFra2vL(op_bPywburJMS(op_cTDWOvIxvz(a,448),op_bjFbhXSADs(769)),op_3YWlZA9bsa(b,op_fjqJgF5yyp(b)))
    return count


def op_Dxm0Pjg1g3(a):
    return op_nREPSIbpBE(401,a)

def op_count_Dxm0Pjg1g3(a):
    count = op_count_nREPSIbpBE(401,a)
    return count


def op_QVLtFdL5M6(a):
    return op_ocnLzx9CaJ(a,66)

def op_count_QVLtFdL5M6(a):
    count = op_count_ocnLzx9CaJ(a,66)
    return count


def op_0Z2NUNwNEr(a):
    return op_E4l6HwMY31(a,a)

def op_count_0Z2NUNwNEr(a):
    count = op_count_E4l6HwMY31(a,a)
    return count


def op_bAt5z2ML1n(a, b):
    return op_Bmrmz2XGnR(op_VCG3UHNzLR(op_qazvmhNBbN(a),op_tnyRA5sazQ(a,b)),b)

def op_count_bAt5z2ML1n(a, b):
    count = op_count_qazvmhNBbN(a)+op_count_tnyRA5sazQ(a,b)+op_count_VCG3UHNzLR(op_qazvmhNBbN(a),op_tnyRA5sazQ(a,b))+op_count_Bmrmz2XGnR(op_VCG3UHNzLR(op_qazvmhNBbN(a),op_tnyRA5sazQ(a,b)),b)
    return count


def op_jK7syLhY7M(a):
    return op_9Isq31Ruls(op_PaBHOjxk8c(op_BAIXFdYaz3(a,a)),166)

def op_count_jK7syLhY7M(a):
    count = op_count_BAIXFdYaz3(a,a)+op_count_PaBHOjxk8c(op_BAIXFdYaz3(a,a))+op_count_9Isq31Ruls(op_PaBHOjxk8c(op_BAIXFdYaz3(a,a)),166)
    return count


def op_KRkRyTki02(a):
    return op_ebeGRCukrZ(op_th50nGnoUm(op_jBC4ymW3D7(a,a)))

def op_count_KRkRyTki02(a):
    count = op_count_jBC4ymW3D7(a,a)+op_count_th50nGnoUm(op_jBC4ymW3D7(a,a))+op_count_ebeGRCukrZ(op_th50nGnoUm(op_jBC4ymW3D7(a,a)))
    return count


def op_8m1wXWE6kN(a, b):
    return op_YSKBFp38Pu(op_kz228nwi0J(b),op_ocnLzx9CaJ(a,b))

def op_count_8m1wXWE6kN(a, b):
    count = op_count_kz228nwi0J(b)+op_count_ocnLzx9CaJ(a,b)+op_count_YSKBFp38Pu(op_kz228nwi0J(b),op_ocnLzx9CaJ(a,b))
    return count


def op_4zhs1Pu9yK(a, b):
    return op_jBC4ymW3D7(op_Noe24qw2ks(b,a),op_Qaz2MhZaG5(58,b))

def op_count_4zhs1Pu9yK(a, b):
    count = op_count_Noe24qw2ks(b,a)+op_count_Qaz2MhZaG5(58,b)+op_count_jBC4ymW3D7(op_Noe24qw2ks(b,a),op_Qaz2MhZaG5(58,b))
    return count


def op_SsakzAmEMB(a):
    return op_qy3n0tapmE(a,a)

def op_count_SsakzAmEMB(a):
    count = op_count_qy3n0tapmE(a,a)
    return count


def op_UWQE0dMu0F(a):
    return op_WmT3o8z6ya(op_umQnsF7QlU(op_eaFBhJ0Uku(a,a),op_SgAxmdLNEA(a)))

def op_count_UWQE0dMu0F(a):
    count = op_count_eaFBhJ0Uku(a,a)+op_count_SgAxmdLNEA(a)+op_count_umQnsF7QlU(op_eaFBhJ0Uku(a,a),op_SgAxmdLNEA(a))+op_count_WmT3o8z6ya(op_umQnsF7QlU(op_eaFBhJ0Uku(a,a),op_SgAxmdLNEA(a)))
    return count


a↝⊨b = { (((b⨔⇊a)⪅)⊬⨰((⫂b)⫏↛⩏(≎↾225))) }

def op_BTJnxt4pK9(a, b):
    return op_s3Fd5m9Dh2(op_FB83X2dByY(op_JclMnS0uGI(b,a)),op_YC3tgrnOyr(op_U9HvHqtOoq(b),op_S56z7WVPBn(225)))

def op_count_BTJnxt4pK9(a, b):
    count = op_count_JclMnS0uGI(b,a)+op_count_FB83X2dByY(op_JclMnS0uGI(b,a))+op_count_U9HvHqtOoq(b)+op_count_S56z7WVPBn(225)+op_count_YC3tgrnOyr(op_U9HvHqtOoq(b),op_S56z7WVPBn(225))+op_count_s3Fd5m9Dh2(op_FB83X2dByY(op_JclMnS0uGI(b,a)),op_YC3tgrnOyr(op_U9HvHqtOoq(b),op_S56z7WVPBn(225)))
    return count


def op_PmR7WuS4AT(a, b):
    return op_keuJNkrrbj(op_qxqspddX8k(b,a),op_YApyZlDuBr(389))

def op_count_PmR7WuS4AT(a, b):
    count = op_count_qxqspddX8k(b,a)+op_count_YApyZlDuBr(389)+op_count_keuJNkrrbj(op_qxqspddX8k(b,a),op_YApyZlDuBr(389))
    return count


def op_QIRSbgWmJm(a):
    return op_hiBDRd40bf(op_nhYeJWJD5X(a,op_0JWJYFSzIQ(a,202)),op_QErWpSDGk0(op_3EhVUz7Ug9(a)))

def op_count_QIRSbgWmJm(a):
    count = op_count_0JWJYFSzIQ(a,202)+op_count_nhYeJWJD5X(a,op_0JWJYFSzIQ(a,202))+op_count_3EhVUz7Ug9(a)+op_count_QErWpSDGk0(op_3EhVUz7Ug9(a))+op_count_hiBDRd40bf(op_nhYeJWJD5X(a,op_0JWJYFSzIQ(a,202)),op_QErWpSDGk0(op_3EhVUz7Ug9(a)))
    return count


def op_Lk9bOOPVfB(a):
    if op_qy3n0tapmE(a,87) != 258:
        return op_JgXZM7XvWE(op_V4yb4KDoeF(a,137),op_qxp9F1VMeC(a))
    else:
        return op_eewbuw0ToL(op_inCIaGQf8u(a,a),op_61wBmkZwlr(a))

def op_count_Lk9bOOPVfB(a):
    if op_qy3n0tapmE(a,87) != 258:
        count = op_count_V4yb4KDoeF(a,137)+op_count_qxp9F1VMeC(a)+op_count_JgXZM7XvWE(op_V4yb4KDoeF(a,137),op_qxp9F1VMeC(a))+op_count_qy3n0tapmE(a,87)
    else:
        count = op_count_inCIaGQf8u(a,a)+op_count_61wBmkZwlr(a)+op_count_eewbuw0ToL(op_inCIaGQf8u(a,a),op_61wBmkZwlr(a))
    return count


a⫖b = { ((∨⫘⊿b)⩂⊭⨚) , if (a⫀)<87 ; (⪁≄(a⋰⇉∕b)) , else }

def op_aEfDsFgi2n(a, b):
    if op_hFnZRMLNSM(a) < 87:
        return op_PaBHOjxk8c(op_qxp9F1VMeC(b))
    else:
        return op_2O29ZX4yK6(op_sM9mzqIDB1(a,b))

def op_count_aEfDsFgi2n(a, b):
    if op_hFnZRMLNSM(a) < 87:
        count = op_count_qxp9F1VMeC(b)+op_count_PaBHOjxk8c(op_qxp9F1VMeC(b))+op_count_hFnZRMLNSM(a)
    else:
        count = op_count_sM9mzqIDB1(a,b)+op_count_2O29ZX4yK6(op_sM9mzqIDB1(a,b))
    return count


a⫑⨱b = { (↥≼⋛a) , if a<42 ; (∂⩏⊆((a⋎b)∙∹∝a)) , else }

def op_ckHj138N5r(a, b):
    if a < 42:
        return op_x5lMkHmzsq(a)
    else:
        return op_8WDwsbhb0R(op_HmxsFra2vL(op_qy3n0tapmE(a,b),a))

def op_count_ckHj138N5r(a, b):
    if a < 42:
        count = op_count_x5lMkHmzsq(a)
    else:
        count = op_count_qy3n0tapmE(a,b)+op_count_HmxsFra2vL(op_qy3n0tapmE(a,b),a)+op_count_8WDwsbhb0R(op_HmxsFra2vL(op_qy3n0tapmE(a,b),a))
    return count


a↵⨥b = { ((⫌⊑↬505)≣(a∫⋜⩖a)) , if (↞≼b)!=202 ; a , else }

def op_6kFJ6zSZFv(a, b):
    if op_DE7zCoGJt9(b) != 202:
        return op_ObEyaaML9x(op_h57jOAbG9W(505),op_JgXZM7XvWE(a,a))
    else:
        return a

def op_count_6kFJ6zSZFv(a, b):
    if op_DE7zCoGJt9(b) != 202:
        count = op_count_h57jOAbG9W(505)+op_count_JgXZM7XvWE(a,a)+op_count_ObEyaaML9x(op_h57jOAbG9W(505),op_JgXZM7XvWE(a,a))+op_count_DE7zCoGJt9(b)
    else:
        count = 1
    return count


a∌↸↾b = { (a∽b) , if a>291 ; (≤/b) , else }

def op_q2tj3gAE7H(a, b):
    if a > 291:
        return op_y4ImoPnbV5(a,b)
    else:
        return op_eLAdDNolq6(b)

def op_count_q2tj3gAE7H(a, b):
    if a > 291:
        count = op_count_y4ImoPnbV5(a,b)
    else:
        count = op_count_eLAdDNolq6(b)
    return count


↾⨾⫰a = { ((∨⫘⊿(a↺37))∲⫓(a∀⩎⋷(a≽↲≰a))) , if (a⩘⋿6)>9 ; (((a↜⊷a)⊢≏≾(a≏⨯⊱a))⊭↱(⊲⪭(a⨧↗⨷11))) , else }

def op_gda0p5fJgT(a):
    if op_64EQ39e0fC(a,6) > 9:
        return op_i8ToyICDmI(op_qxp9F1VMeC(op_7j4O788W3g(a,37)),op_FPxP5Y1j0W(a,op_cFVlceoRkX(a,a)))
    else:
        return op_COABgblf1C(op_qxqspddX8k(op_irKjLsMeKy(a,a),op_UqUOXUQnbU(a,a)),op_k7HXdKtiEU(op_WSbXXWOizJ(a,11)))

def op_count_gda0p5fJgT(a):
    if op_64EQ39e0fC(a,6) > 9:
        count = op_count_7j4O788W3g(a,37)+op_count_qxp9F1VMeC(op_7j4O788W3g(a,37))+op_count_cFVlceoRkX(a,a)+op_count_FPxP5Y1j0W(a,op_cFVlceoRkX(a,a))+op_count_i8ToyICDmI(op_qxp9F1VMeC(op_7j4O788W3g(a,37)),op_FPxP5Y1j0W(a,op_cFVlceoRkX(a,a)))+op_count_64EQ39e0fC(a,6)
    else:
        count = op_count_irKjLsMeKy(a,a)+op_count_UqUOXUQnbU(a,a)+op_count_qxqspddX8k(op_irKjLsMeKy(a,a),op_UqUOXUQnbU(a,a))+op_count_WSbXXWOizJ(a,11)+op_count_k7HXdKtiEU(op_WSbXXWOizJ(a,11))+op_count_COABgblf1C(op_qxqspddX8k(op_irKjLsMeKy(a,a),op_UqUOXUQnbU(a,a)),op_k7HXdKtiEU(op_WSbXXWOizJ(a,11)))
    return count


a⋍⋺b = { ((⩕↛b)⫁⪎(a⫶b)) , if a==466 ; (≋(42∠⫱a)) , else }

def op_rW0uBYiax0(a, b):
    if a == 466:
        return op_xRrnTEsQ6j(op_3EhVUz7Ug9(b),op_BAIXFdYaz3(a,b))
    else:
        return op_61wBmkZwlr(op_QvoQhV0rrE(42,a))

def op_count_rW0uBYiax0(a, b):
    if a == 466:
        count = op_count_3EhVUz7Ug9(b)+op_count_BAIXFdYaz3(a,b)+op_count_xRrnTEsQ6j(op_3EhVUz7Ug9(b),op_BAIXFdYaz3(a,b))
    else:
        count = op_count_QvoQhV0rrE(42,a)+op_count_61wBmkZwlr(op_QvoQhV0rrE(42,a))
    return count


a∧⨑⩤b = { ((a⫡⨏b)≃(∡a)) , if b<=153 ; ((⩗⪄b)⩾(a⨲⇖⇮)) , else }

def op_refo8yt166(a, b):
    if b <= 153:
        return op_YbVcJGFEVW(op_QMFrweE19q(a,b),op_pRsWfj4Fpp(a))
    else:
        return op_UggxBX659n(op_Y9dhGmbGii(b),op_oj4YnGA3cE(a))

def op_count_refo8yt166(a, b):
    if b <= 153:
        count = op_count_QMFrweE19q(a,b)+op_count_pRsWfj4Fpp(a)+op_count_YbVcJGFEVW(op_QMFrweE19q(a,b),op_pRsWfj4Fpp(a))
    else:
        count = op_count_Y9dhGmbGii(b)+op_count_oj4YnGA3cE(a)+op_count_UggxBX659n(op_Y9dhGmbGii(b),op_oj4YnGA3cE(a))
    return count


≰⪎a = { (((a⩼⇪↪a)⨰(716⊹≧⊝))≧⊼((a⋥≓≎a)⋥≓≎(a⪐-a))) , if a<227 ; (∋∴((a⨙)⇪⋱)) , else }

def op_gC4f1fifnE(a):
    if a < 227:
        return op_JoLB3LXqXx(op_eewbuw0ToL(op_ocnLzx9CaJ(a,a),op_LxFB4K6j0n(716)),op_Qy55tPpLXF(op_Qy55tPpLXF(a,a),op_d8xe6WWVfM(a,a)))
    else:
        return op_nouZ5SZjt1(op_MKzNxCV7Yo(op_rlpcYeipVY(a)))

def op_count_gC4f1fifnE(a):
    if a < 227:
        count = op_count_ocnLzx9CaJ(a,a)+op_count_LxFB4K6j0n(716)+op_count_eewbuw0ToL(op_ocnLzx9CaJ(a,a),op_LxFB4K6j0n(716))+op_count_Qy55tPpLXF(a,a)+op_count_d8xe6WWVfM(a,a)+op_count_Qy55tPpLXF(op_Qy55tPpLXF(a,a),op_d8xe6WWVfM(a,a))+op_count_JoLB3LXqXx(op_eewbuw0ToL(op_ocnLzx9CaJ(a,a),op_LxFB4K6j0n(716)),op_Qy55tPpLXF(op_Qy55tPpLXF(a,a),op_d8xe6WWVfM(a,a)))
    else:
        count = op_count_rlpcYeipVY(a)+op_count_MKzNxCV7Yo(op_rlpcYeipVY(a))+op_count_nouZ5SZjt1(op_MKzNxCV7Yo(op_rlpcYeipVY(a)))
    return count


≕⨴a = { (5⋢a) , if a<270 ; (a⪚⊾⩭) , else }

def op_3Avg2TFJLH(a):
    if a < 270:
        return op_NdELin8EPX(5,a)
    else:
        return op_ebeGRCukrZ(a)

def op_count_3Avg2TFJLH(a):
    if a < 270:
        count = op_count_NdELin8EPX(5,a)
    else:
        count = op_count_ebeGRCukrZ(a)
    return count


a↳⊌⋀ = { ((⋾a)⪚(a↺a)) , if a!=108 ; (⇺⪔⩬(a∣a)) , else }

def op_Bi41EdtgH6(a):
    if a != 108:
        return op_HrjLwUk87U(op_8TQKPGA8Ba(a),op_7j4O788W3g(a,a))
    else:
        return op_lAOUD4ZMWV(op_PPChnnnBFF(a,a))

def op_count_Bi41EdtgH6(a):
    if a != 108:
        count = op_count_8TQKPGA8Ba(a)+op_count_7j4O788W3g(a,a)+op_count_HrjLwUk87U(op_8TQKPGA8Ba(a),op_7j4O788W3g(a,a))
    else:
        count = op_count_PPChnnnBFF(a,a)+op_count_lAOUD4ZMWV(op_PPChnnnBFF(a,a))
    return count


def op_jZxlE52caK(a):
    return op_y2kQTS4a70(op_WkeUrDK8WX(a),op_SPuZE40Ntn(a,a))

def op_count_jZxlE52caK(a):
    count = op_count_WkeUrDK8WX(a)+op_count_SPuZE40Ntn(a,a)+op_count_y2kQTS4a70(op_WkeUrDK8WX(a),op_SPuZE40Ntn(a,a))
    return count


def op_qNiKvbJcWr(a):
    if op_qU6oQAhJaQ(a) != 176:
        return op_KFSx94NKJn(131,246)
    else:
        return op_Noe24qw2ks(op_eRqsBgTDFp(a,op_dAAkup5nzi(a,a)),op_Ikt5ks8PT7(op_4JB6nKBMSY(a,a),op_S3tN1ZzpSt(a,a)))

def op_count_qNiKvbJcWr(a):
    if op_qU6oQAhJaQ(a) != 176:
        count = op_count_KFSx94NKJn(131,246)+op_count_qU6oQAhJaQ(a)
    else:
        count = op_count_dAAkup5nzi(a,a)+op_count_eRqsBgTDFp(a,op_dAAkup5nzi(a,a))+op_count_4JB6nKBMSY(a,a)+op_count_S3tN1ZzpSt(a,a)+op_count_Ikt5ks8PT7(op_4JB6nKBMSY(a,a),op_S3tN1ZzpSt(a,a))+op_count_Noe24qw2ks(op_eRqsBgTDFp(a,op_dAAkup5nzi(a,a)),op_Ikt5ks8PT7(op_4JB6nKBMSY(a,a),op_S3tN1ZzpSt(a,a)))
    return count


a⇹ = { (((a↰)⩽⩡(138⪒a))⊱⇼⊻((a≶a)⫊⇚⊺(a∫≲⋬))) }

def op_spaYrSPxk6(a):
    return op_FyVja0WsTP(op_zFNL8mZEFB(op_bl5wxAcryP(a),op_f6k1SAg4EE(138,a)),op_Y5cEcQhyKu(op_Q2SPaKwpPJ(a,a),op_DNmMwa48aR(a)))

def op_count_spaYrSPxk6(a):
    count = op_count_bl5wxAcryP(a)+op_count_f6k1SAg4EE(138,a)+op_count_zFNL8mZEFB(op_bl5wxAcryP(a),op_f6k1SAg4EE(138,a))+op_count_Q2SPaKwpPJ(a,a)+op_count_DNmMwa48aR(a)+op_count_Y5cEcQhyKu(op_Q2SPaKwpPJ(a,a),op_DNmMwa48aR(a))+op_count_FyVja0WsTP(op_zFNL8mZEFB(op_bl5wxAcryP(a),op_f6k1SAg4EE(138,a)),op_Y5cEcQhyKu(op_Q2SPaKwpPJ(a,a),op_DNmMwa48aR(a)))
    return count


a⇐↙b = { ((⨍⩸↶b)≟⫹(a⪖⪡b)) , if (≎↾a)>282 ; ((⪆b)⪖⪡b) , else }

def op_nFUV6O7puR(a, b):
    if op_S56z7WVPBn(a) > 282:
        return op_z2JHNkvbdm(op_2jG7DiviLq(b),op_7PjNe5qSIJ(a,b))
    else:
        return op_7PjNe5qSIJ(op_KWeyIRWUIQ(b),b)

def op_count_nFUV6O7puR(a, b):
    if op_S56z7WVPBn(a) > 282:
        count = op_count_2jG7DiviLq(b)+op_count_7PjNe5qSIJ(a,b)+op_count_z2JHNkvbdm(op_2jG7DiviLq(b),op_7PjNe5qSIJ(a,b))+op_count_S56z7WVPBn(a)
    else:
        count = op_count_KWeyIRWUIQ(b)+op_count_7PjNe5qSIJ(op_KWeyIRWUIQ(b),b)
    return count


⨞⇦⫇a = { ((⊲⪭a)⋅∹⩇) , if a==2 ; (a⊝⪿⪼(a≭⫡a)) , else }

def op_6oyBtDllil(a):
    if a == 2:
        return op_Tmr9JGNMVH(op_k7HXdKtiEU(a))
    else:
        return op_3Oe9XWJUTD(a,op_b1mGkbI4Oy(a,a))

def op_count_6oyBtDllil(a):
    if a == 2:
        count = op_count_k7HXdKtiEU(a)+op_count_Tmr9JGNMVH(op_k7HXdKtiEU(a))
    else:
        count = op_count_b1mGkbI4Oy(a,a)+op_count_3Oe9XWJUTD(a,op_b1mGkbI4Oy(a,a))
    return count


a⩸⋪b = { a , if b<61 ; ((b⫭)⪦⩸(⇖a)) , else }

def op_avxXIHzjv1(a, b):
    if b < 61:
        return a
    else:
        return op_0JWJYFSzIQ(op_t4WUHVGj7f(b),op_tfWHHpNKUN(a))

def op_count_avxXIHzjv1(a, b):
    if b < 61:
        count = 1
    else:
        count = op_count_t4WUHVGj7f(b)+op_count_tfWHHpNKUN(a)+op_count_0JWJYFSzIQ(op_t4WUHVGj7f(b),op_tfWHHpNKUN(a))
    return count


def op_RJY7ANLMmn(a):
    if op_m612RDITqL(a,979) < 324:
        return op_yuvXk3Mco8(a)
    else:
        return op_bF6eod5Gvf(a,a)

def op_count_RJY7ANLMmn(a):
    if op_m612RDITqL(a,979) < 324:
        count = op_count_yuvXk3Mco8(a)+op_count_m612RDITqL(a,979)
    else:
        count = op_count_bF6eod5Gvf(a,a)
    return count


↡⇒⇬a = { (a⪈⋁⩁(a∝a)) , if (a⊦⊿)!=44 ; ((a⩘⋿35)⨜⨶(a⨚0)) , else }

def op_ADB44xMpO0(a):
    if op_14qkJME0vr(a) != 44:
        return op_GMyVS5K48T(a,op_cTDWOvIxvz(a,a))
    else:
        return op_HiPekx5b7W(op_64EQ39e0fC(a,35),op_nREPSIbpBE(a,0))

def op_count_ADB44xMpO0(a):
    if op_14qkJME0vr(a) != 44:
        count = op_count_cTDWOvIxvz(a,a)+op_count_GMyVS5K48T(a,op_cTDWOvIxvz(a,a))+op_count_14qkJME0vr(a)
    else:
        count = op_count_64EQ39e0fC(a,35)+op_count_nREPSIbpBE(a,0)+op_count_HiPekx5b7W(op_64EQ39e0fC(a,35),op_nREPSIbpBE(a,0))
    return count


def op_dHAONFAwon(a, b):
    if op_2Wsdkap16l(b,705) < 451 or a != 179:
        return op_DX7B1fY6P6(op_xSk1F0pZbF(439,b),op_hrf7POJlIJ(a,b))
    else:
        return op_eRqsBgTDFp(op_rysDP5nf3Z(a,b),op_OWnFPqjWlR(a,b))

def op_count_dHAONFAwon(a, b):
    if op_2Wsdkap16l(b,705) < 451 or a != 179:
        count = op_count_xSk1F0pZbF(439,b)+op_count_hrf7POJlIJ(a,b)+op_count_DX7B1fY6P6(op_xSk1F0pZbF(439,b),op_hrf7POJlIJ(a,b))+op_count_2Wsdkap16l(b,705)
    else:
        count = op_count_rysDP5nf3Z(a,b)+op_count_OWnFPqjWlR(a,b)+op_count_eRqsBgTDFp(op_rysDP5nf3Z(a,b),op_OWnFPqjWlR(a,b))
    return count


a⩄⫨↭ = { (186⨔⇊a) , if a>99 ; (a∫⋜⩖a) , else }

def op_D65HAgEJFo(a):
    if a > 99:
        return op_JclMnS0uGI(186,a)
    else:
        return op_JgXZM7XvWE(a,a)

def op_count_D65HAgEJFo(a):
    if a > 99:
        count = op_count_JclMnS0uGI(186,a)
    else:
        count = op_count_JgXZM7XvWE(a,a)
    return count


def op_Bv9scDTvcV(a):
    if op_eaFBhJ0Uku(a,783) < 35:
        return op_kuIXHzHcAH(op_eaFBhJ0Uku(a,a),op_vg4gO5BX6G(a,442))
    else:
        return op_hrf7POJlIJ(op_GNmBfxrna9(416),op_qxqspddX8k(a,261))

def op_count_Bv9scDTvcV(a):
    if op_eaFBhJ0Uku(a,783) < 35:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_vg4gO5BX6G(a,442)+op_count_kuIXHzHcAH(op_eaFBhJ0Uku(a,a),op_vg4gO5BX6G(a,442))+op_count_eaFBhJ0Uku(a,783)
    else:
        count = op_count_GNmBfxrna9(416)+op_count_qxqspddX8k(a,261)+op_count_hrf7POJlIJ(op_GNmBfxrna9(416),op_qxqspddX8k(a,261))
    return count


a⩙∖⇲b = { ((512≝⊿b)↱⊪⇍) , if a==229 ; b , else }

def op_Dr4yJ0dQtH(a, b):
    if a == 229:
        return op_Zubgv0tBda(op_OKKcZfAt5B(512,b))
    else:
        return b

def op_count_Dr4yJ0dQtH(a, b):
    if a == 229:
        count = op_count_OKKcZfAt5B(512,b)+op_count_Zubgv0tBda(op_OKKcZfAt5B(512,b))
    else:
        count = 1
    return count


↫≴⇊a = { (⋄a) , if (a≽⇕)<=367 ; (a∝a) , else }

def op_FmRHj4r86U(a):
    if op_SgAxmdLNEA(a) <= 367:
        return op_k2B77S3vSv(a)
    else:
        return op_cTDWOvIxvz(a,a)

def op_count_FmRHj4r86U(a):
    if op_SgAxmdLNEA(a) <= 367:
        count = op_count_k2B77S3vSv(a)+op_count_SgAxmdLNEA(a)
    else:
        count = op_count_cTDWOvIxvz(a,a)
    return count


def op_hJGmHHLvkm(a):
    return op_sdazOOVcIp(op_DbCuESL50I(a),op_2z8nE7LpCu(op_Qy55tPpLXF(a,a),op_KbjG8mgYpV(a,a)))

def op_count_hJGmHHLvkm(a):
    count = op_count_DbCuESL50I(a)+op_count_Qy55tPpLXF(a,a)+op_count_KbjG8mgYpV(a,a)+op_count_2z8nE7LpCu(op_Qy55tPpLXF(a,a),op_KbjG8mgYpV(a,a))+op_count_sdazOOVcIp(op_DbCuESL50I(a),op_2z8nE7LpCu(op_Qy55tPpLXF(a,a),op_KbjG8mgYpV(a,a)))
    return count


a⩛⫝b = { ((a⪦⩸a)+(a⊙)) , if (⪀≱a)!=139 or (⨑⩽⪐b)==277 ; ((b⨧↗⨷a)⩂⊭⨚) , else }

def op_otmuWEGPTu(a, b):
    if op_tDVI6bDdAd(a) != 139 or op_AF7qkfDlqP(b) == 277:
        return op_W4YGzv6Whe(op_0JWJYFSzIQ(a,a),op_pjdzZ5rP1Y(a))
    else:
        return op_PaBHOjxk8c(op_WSbXXWOizJ(b,a))

def op_count_otmuWEGPTu(a, b):
    if op_tDVI6bDdAd(a) != 139 or op_AF7qkfDlqP(b) == 277:
        count = op_count_0JWJYFSzIQ(a,a)+op_count_pjdzZ5rP1Y(a)+op_count_W4YGzv6Whe(op_0JWJYFSzIQ(a,a),op_pjdzZ5rP1Y(a))+op_count_tDVI6bDdAd(a)+op_count_AF7qkfDlqP(b)
    else:
        count = op_count_WSbXXWOizJ(b,a)+op_count_PaBHOjxk8c(op_WSbXXWOizJ(b,a))
    return count


≰⫪⇪a = { (∂⩏⊆(310∄a)) , if a==50 ; ((a⩽⩡a)∲⫓a) , else }

def op_YZPGigeTkX(a):
    if a == 50:
        return op_8WDwsbhb0R(op_tnyRA5sazQ(310,a))
    else:
        return op_i8ToyICDmI(op_zFNL8mZEFB(a,a),a)

def op_count_YZPGigeTkX(a):
    if a == 50:
        count = op_count_tnyRA5sazQ(310,a)+op_count_8WDwsbhb0R(op_tnyRA5sazQ(310,a))
    else:
        count = op_count_zFNL8mZEFB(a,a)+op_count_i8ToyICDmI(op_zFNL8mZEFB(a,a),a)
    return count


def op_Bj2VpOWG8x(a):
    if op_U9HvHqtOoq(a) == 436:
        return op_w2P8NbNXyL(a,5)
    else:
        return op_oDvtRyfmAM(295)

def op_count_Bj2VpOWG8x(a):
    if op_U9HvHqtOoq(a) == 436:
        count = op_count_w2P8NbNXyL(a,5)+op_count_U9HvHqtOoq(a)
    else:
        count = op_count_oDvtRyfmAM(295)
    return count


def op_ubtJ3OYPeS(a):
    if (op_2PILXiQIjy(a) >= 37 and op_EWw2JM7wp4(a,340) > 30):
        return a
    else:
        return op_y4ImoPnbV5(op_kbkesczE7y(op_e1ybzncUwg(a),op_s0IfDFCCuZ(a,a)),op_wztAlM01eG(op_apS25hmuAe(a)))

def op_count_ubtJ3OYPeS(a):
    if (op_2PILXiQIjy(a) >= 37 and op_EWw2JM7wp4(a,340) > 30):
        count = 1
    else:
        count = op_count_e1ybzncUwg(a)+op_count_s0IfDFCCuZ(a,a)+op_count_kbkesczE7y(op_e1ybzncUwg(a),op_s0IfDFCCuZ(a,a))+op_count_apS25hmuAe(a)+op_count_wztAlM01eG(op_apS25hmuAe(a))+op_count_y4ImoPnbV5(op_kbkesczE7y(op_e1ybzncUwg(a),op_s0IfDFCCuZ(a,a)),op_wztAlM01eG(op_apS25hmuAe(a)))
    return count


a⪐⪢⇻ = { ((a⫼⨠a)⨧↗⨷(⨞⫢a)) , if (a⫃⨇630)<=652 ; ((a⩍⋽⫝̸a)⋢(a⩷∴a)) , else }

def op_Ip9utVbZ2p(a):
    if op_09Ly4LVMIf(a,630) <= 652:
        return op_WSbXXWOizJ(op_KYL1uVeVpb(a,a),op_HQuZ2f4It9(a))
    else:
        return op_NdELin8EPX(op_BiWNJpBvwn(a,a),op_9FxExcQeMw(a,a))

def op_count_Ip9utVbZ2p(a):
    if op_09Ly4LVMIf(a,630) <= 652:
        count = op_count_KYL1uVeVpb(a,a)+op_count_HQuZ2f4It9(a)+op_count_WSbXXWOizJ(op_KYL1uVeVpb(a,a),op_HQuZ2f4It9(a))+op_count_09Ly4LVMIf(a,630)
    else:
        count = op_count_BiWNJpBvwn(a,a)+op_count_9FxExcQeMw(a,a)+op_count_NdELin8EPX(op_BiWNJpBvwn(a,a),op_9FxExcQeMw(a,a))
    return count


a⨟b = { (⪲⇎((≈b)⩘⋿(⩻⪛a))) , if a<462 ; (a⨰(⨾∊⩁(⨂⪏⇭199))) , else }

def op_AU7BrOWeXc(a, b):
    if a < 462:
        return op_XPYlsWDdGa(op_64EQ39e0fC(op_EO7Xdgo9So(b),op_5RY6W0glyJ(a)))
    else:
        return op_eewbuw0ToL(a,op_QErWpSDGk0(op_AYdpE9sXAk(199)))

def op_count_AU7BrOWeXc(a, b):
    if a < 462:
        count = op_count_EO7Xdgo9So(b)+op_count_5RY6W0glyJ(a)+op_count_64EQ39e0fC(op_EO7Xdgo9So(b),op_5RY6W0glyJ(a))+op_count_XPYlsWDdGa(op_64EQ39e0fC(op_EO7Xdgo9So(b),op_5RY6W0glyJ(a)))
    else:
        count = op_count_AYdpE9sXAk(199)+op_count_QErWpSDGk0(op_AYdpE9sXAk(199))+op_count_eewbuw0ToL(a,op_QErWpSDGk0(op_AYdpE9sXAk(199)))
    return count


def op_nLhlVZSGl1(a, b):
    if op_wztAlM01eG(b) < 586:
        return op_IGFM8TAlm9(op_W7eaUhjymW(85))
    else:
        return op_rPNtK4BLRO(op_3EhVUz7Ug9(b),op_t0cKpDWDXO(a))

def op_count_nLhlVZSGl1(a, b):
    if op_wztAlM01eG(b) < 586:
        count = op_count_W7eaUhjymW(85)+op_count_IGFM8TAlm9(op_W7eaUhjymW(85))+op_count_wztAlM01eG(b)
    else:
        count = op_count_3EhVUz7Ug9(b)+op_count_t0cKpDWDXO(a)+op_count_rPNtK4BLRO(op_3EhVUz7Ug9(b),op_t0cKpDWDXO(a))
    return count


def op_x6jq9dVbvD(a, b):
    if b == 307:
        return op_tifHPKVTfV(b,546)
    else:
        return op_Y7wcNGrDQJ(a,392)

def op_count_x6jq9dVbvD(a, b):
    if b == 307:
        count = op_count_tifHPKVTfV(b,546)
    else:
        count = op_count_Y7wcNGrDQJ(a,392)
    return count


a≡b = { (((b⨴a)⨑⋨(a⊇≀≁))⫇⋯a) , if (⊙⨙⩍b)<=46 or b<335 ; (↞≼((⫌⊑↬b)⪁⨴⋨a)) , else }

def op_oW1cUEY5Sq(a, b):
    if op_ocpzidtxKt(b) <= 46 or b < 335:
        return op_xoJmIySC7h(op_tIhPxZTbsh(op_jBC4ymW3D7(b,a),op_AfoL3wC8aT(a)),a)
    else:
        return op_DE7zCoGJt9(op_y2kQTS4a70(op_h57jOAbG9W(b),a))

def op_count_oW1cUEY5Sq(a, b):
    if op_ocpzidtxKt(b) <= 46 or b < 335:
        count = op_count_jBC4ymW3D7(b,a)+op_count_AfoL3wC8aT(a)+op_count_tIhPxZTbsh(op_jBC4ymW3D7(b,a),op_AfoL3wC8aT(a))+op_count_xoJmIySC7h(op_tIhPxZTbsh(op_jBC4ymW3D7(b,a),op_AfoL3wC8aT(a)),a)+op_count_ocpzidtxKt(b)
    else:
        count = op_count_h57jOAbG9W(b)+op_count_y2kQTS4a70(op_h57jOAbG9W(b),a)+op_count_DE7zCoGJt9(op_y2kQTS4a70(op_h57jOAbG9W(b),a))
    return count


≷∋a = { (⊀(a⋅)) , if (a⪎⨄⋝)<84 ; (⩕↛(a≏⨯⊱261)) , else }

def op_kbaSw8JX5v(a):
    if op_kweVJGAjhl(a) < 84:
        return op_oPMjh9089D(op_620seOwKww(a))
    else:
        return op_3EhVUz7Ug9(op_UqUOXUQnbU(a,261))

def op_count_kbaSw8JX5v(a):
    if op_kweVJGAjhl(a) < 84:
        count = op_count_620seOwKww(a)+op_count_oPMjh9089D(op_620seOwKww(a))+op_count_kweVJGAjhl(a)
    else:
        count = op_count_UqUOXUQnbU(a,261)+op_count_3EhVUz7Ug9(op_UqUOXUQnbU(a,261))
    return count


≟⩪a = { (((a∌↝a)⇛a)⫊⇚⊺((a⊦⊿)⫸(a⪨≂a))) , if a<107 ; (((a-∠a)⫸⇳(a⊢≏≾73))⋰⇉∕((a∅a)⋷(⫳⪺∰a))) , else }

def op_jwjjhQ9jPo(a):
    if a < 107:
        return op_Y5cEcQhyKu(op_S3tN1ZzpSt(op_9Isq31Ruls(a,a),a),op_Qaz2MhZaG5(op_14qkJME0vr(a),op_sdazOOVcIp(a,a)))
    else:
        return op_sM9mzqIDB1(op_gx7XJ7hdpj(op_s0IfDFCCuZ(a,a),op_qxqspddX8k(a,73)),op_23Mk6UjR3U(op_giaUb8UVhq(a,a),op_eftAHwPbeA(a)))

def op_count_jwjjhQ9jPo(a):
    if a < 107:
        count = op_count_9Isq31Ruls(a,a)+op_count_S3tN1ZzpSt(op_9Isq31Ruls(a,a),a)+op_count_14qkJME0vr(a)+op_count_sdazOOVcIp(a,a)+op_count_Qaz2MhZaG5(op_14qkJME0vr(a),op_sdazOOVcIp(a,a))+op_count_Y5cEcQhyKu(op_S3tN1ZzpSt(op_9Isq31Ruls(a,a),a),op_Qaz2MhZaG5(op_14qkJME0vr(a),op_sdazOOVcIp(a,a)))
    else:
        count = op_count_s0IfDFCCuZ(a,a)+op_count_qxqspddX8k(a,73)+op_count_gx7XJ7hdpj(op_s0IfDFCCuZ(a,a),op_qxqspddX8k(a,73))+op_count_giaUb8UVhq(a,a)+op_count_eftAHwPbeA(a)+op_count_23Mk6UjR3U(op_giaUb8UVhq(a,a),op_eftAHwPbeA(a))+op_count_sM9mzqIDB1(op_gx7XJ7hdpj(op_s0IfDFCCuZ(a,a),op_qxqspddX8k(a,73)),op_23Mk6UjR3U(op_giaUb8UVhq(a,a),op_eftAHwPbeA(a)))
    return count


def op_3vsYb8CDSQ(a, b):
    if op_V4yb4KDoeF(a,179) < 330:
        return op_XnXgA4xnOs(op_KYL1uVeVpb(417,b),op_YbVcJGFEVW(a,116))
    else:
        return op_qLBMy5fcJr(op_b1mGkbI4Oy(671,a))

def op_count_3vsYb8CDSQ(a, b):
    if op_V4yb4KDoeF(a,179) < 330:
        count = op_count_KYL1uVeVpb(417,b)+op_count_YbVcJGFEVW(a,116)+op_count_XnXgA4xnOs(op_KYL1uVeVpb(417,b),op_YbVcJGFEVW(a,116))+op_count_V4yb4KDoeF(a,179)
    else:
        count = op_count_b1mGkbI4Oy(671,a)+op_count_qLBMy5fcJr(op_b1mGkbI4Oy(671,a))
    return count


def op_WPpSFgQF8M(a):
    if (op_Z2TMIBDE3Q(a) >= 738 and op_8HCJqvcFkE(a) != 746):
        return op_gx7XJ7hdpj(op_3EYGwJThht(a,399),op_6iOiAJX1F8(a))
    else:
        return op_XIabStNQrY(op_rlpcYeipVY(a))

def op_count_WPpSFgQF8M(a):
    if (op_Z2TMIBDE3Q(a) >= 738 and op_8HCJqvcFkE(a) != 746):
        count = op_count_3EYGwJThht(a,399)+op_count_6iOiAJX1F8(a)+op_count_gx7XJ7hdpj(op_3EYGwJThht(a,399),op_6iOiAJX1F8(a))+op_count_Z2TMIBDE3Q(a)+op_count_8HCJqvcFkE(a)
    else:
        count = op_count_rlpcYeipVY(a)+op_count_XIabStNQrY(op_rlpcYeipVY(a))
    return count


def op_QT3sqWOBfx(a, b):
    if (op_4CyGpkTkEk(a) <= 139 or op_y2kQTS4a70(a,434) <= 195 or a <= 942):
        return op_WR6HLWljOP(op_QvoQhV0rrE(328,a),op_fG6uBQFnGz(a))
    else:
        return op_b1mGkbI4Oy(op_Y9dhGmbGii(a),op_8cLx32lpNA(b,b))

def op_count_QT3sqWOBfx(a, b):
    if (op_4CyGpkTkEk(a) <= 139 or op_y2kQTS4a70(a,434) <= 195 or a <= 942):
        count = op_count_QvoQhV0rrE(328,a)+op_count_fG6uBQFnGz(a)+op_count_WR6HLWljOP(op_QvoQhV0rrE(328,a),op_fG6uBQFnGz(a))+op_count_4CyGpkTkEk(a)+op_count_y2kQTS4a70(a,434)
    else:
        count = op_count_Y9dhGmbGii(a)+op_count_8cLx32lpNA(b,b)+op_count_b1mGkbI4Oy(op_Y9dhGmbGii(a),op_8cLx32lpNA(b,b))
    return count


a↯⊜b = { (⪁⫅≨a) , if (≛b)>624 ; (∂⩏⊆802) , else }

def op_54UxIFHdAV(a, b):
    if op_W7eaUhjymW(b) > 624:
        return op_YApyZlDuBr(a)
    else:
        return op_8WDwsbhb0R(802)

def op_count_54UxIFHdAV(a, b):
    if op_W7eaUhjymW(b) > 624:
        count = op_count_YApyZlDuBr(a)+op_count_W7eaUhjymW(b)
    else:
        count = op_count_8WDwsbhb0R(802)
    return count


def op_fv7bIrfzMN(a, b):
    if op_y4ImoPnbV5(b,98) < 214:
        return op_KYL1uVeVpb(op_zR4jO40bMj(op_kbkesczE7y(a,b),op_2GS7woTJqF(b,a)),op_wmlQD0656L(op_W4YGzv6Whe(205,b)))
    else:
        return op_0bdkhPtsnY(op_CuHhPb8RwQ(op_JLbD19bQDL(142)))

def op_count_fv7bIrfzMN(a, b):
    if op_y4ImoPnbV5(b,98) < 214:
        count = op_count_kbkesczE7y(a,b)+op_count_2GS7woTJqF(b,a)+op_count_zR4jO40bMj(op_kbkesczE7y(a,b),op_2GS7woTJqF(b,a))+op_count_W4YGzv6Whe(205,b)+op_count_wmlQD0656L(op_W4YGzv6Whe(205,b))+op_count_KYL1uVeVpb(op_zR4jO40bMj(op_kbkesczE7y(a,b),op_2GS7woTJqF(b,a)),op_wmlQD0656L(op_W4YGzv6Whe(205,b)))+op_count_y4ImoPnbV5(b,98)
    else:
        count = op_count_JLbD19bQDL(142)+op_count_CuHhPb8RwQ(op_JLbD19bQDL(142))+op_count_0bdkhPtsnY(op_CuHhPb8RwQ(op_JLbD19bQDL(142)))
    return count


a⋔⫻b = { (((⩗⪄a)⨝⩣∺)⨴((b∽a)∷(a⫸⇳b))) , if (b∶)!=804 ; (((b⋷a)↨⪍≴(a⊝⪿⪼a))∆⨵⋿) , else }

def op_tcrxUegxCv(a, b):
    if op_7FnCP1ejHT(b) != 804:
        return op_jBC4ymW3D7(op_ancx8kZcWl(op_Y9dhGmbGii(a)),op_D3AQDKkPcf(op_y4ImoPnbV5(b,a),op_gx7XJ7hdpj(a,b)))
    else:
        return op_7CBskBkoKY(op_DX7B1fY6P6(op_23Mk6UjR3U(b,a),op_3Oe9XWJUTD(a,a)))

def op_count_tcrxUegxCv(a, b):
    if op_7FnCP1ejHT(b) != 804:
        count = op_count_Y9dhGmbGii(a)+op_count_ancx8kZcWl(op_Y9dhGmbGii(a))+op_count_y4ImoPnbV5(b,a)+op_count_gx7XJ7hdpj(a,b)+op_count_D3AQDKkPcf(op_y4ImoPnbV5(b,a),op_gx7XJ7hdpj(a,b))+op_count_jBC4ymW3D7(op_ancx8kZcWl(op_Y9dhGmbGii(a)),op_D3AQDKkPcf(op_y4ImoPnbV5(b,a),op_gx7XJ7hdpj(a,b)))+op_count_7FnCP1ejHT(b)
    else:
        count = op_count_23Mk6UjR3U(b,a)+op_count_3Oe9XWJUTD(a,a)+op_count_DX7B1fY6P6(op_23Mk6UjR3U(b,a),op_3Oe9XWJUTD(a,a))+op_count_7CBskBkoKY(op_DX7B1fY6P6(op_23Mk6UjR3U(b,a),op_3Oe9XWJUTD(a,a)))
    return count


a⋶⩰∐ = { ((a⊝⪿⪼a)⋟⫀⨗(485≧⫂∧a)) , if a<672 ; ((a⩉⊫⨁)⊲⩕⊾(a⩼⇪↪a)) , else }

def op_xg6GfjwrXH(a):
    if a < 672:
        return op_dAAkup5nzi(op_3Oe9XWJUTD(a,a),op_Ph9nP6C5qx(485,a))
    else:
        return op_DmTXOeWf9t(op_7qqUquhhSb(a),op_ocnLzx9CaJ(a,a))

def op_count_xg6GfjwrXH(a):
    if a < 672:
        count = op_count_3Oe9XWJUTD(a,a)+op_count_Ph9nP6C5qx(485,a)+op_count_dAAkup5nzi(op_3Oe9XWJUTD(a,a),op_Ph9nP6C5qx(485,a))
    else:
        count = op_count_7qqUquhhSb(a)+op_count_ocnLzx9CaJ(a,a)+op_count_DmTXOeWf9t(op_7qqUquhhSb(a),op_ocnLzx9CaJ(a,a))
    return count


a∸⇺⨩b = { (↡b) , if a==265 ; (a⇼⇔∾147) , else }

def op_BM5aFeEVeK(a, b):
    if a == 265:
        return op_MXaNJeIAZ3(b)
    else:
        return op_tifHPKVTfV(a,147)

def op_count_BM5aFeEVeK(a, b):
    if a == 265:
        count = op_count_MXaNJeIAZ3(b)
    else:
        count = op_count_tifHPKVTfV(a,147)
    return count


a⊬⪖ = { (((751⊔a)⩦(a⨵⪆a))⫼⨠((a≽⪈↿a)≝⊿(330∺≝⩲a))) , if (⇗⪘∲a)!=335 ; (⊙⨙⩍(↓⇌(a→⨶⪴92))) , else }

def op_2gsjGEPgKp(a):
    if op_j4geBLYVFK(a) != 335:
        return op_KYL1uVeVpb(op_0kmYd0q39Y(op_E4l6HwMY31(751,a),op_2DQ55sFlQl(a,a)),op_OKKcZfAt5B(op_inCIaGQf8u(a,a),op_KPf6cnQVty(330,a)))
    else:
        return op_ocpzidtxKt(op_PxpmPgHHJV(op_bF6eod5Gvf(a,92)))

def op_count_2gsjGEPgKp(a):
    if op_j4geBLYVFK(a) != 335:
        count = op_count_E4l6HwMY31(751,a)+op_count_2DQ55sFlQl(a,a)+op_count_0kmYd0q39Y(op_E4l6HwMY31(751,a),op_2DQ55sFlQl(a,a))+op_count_inCIaGQf8u(a,a)+op_count_KPf6cnQVty(330,a)+op_count_OKKcZfAt5B(op_inCIaGQf8u(a,a),op_KPf6cnQVty(330,a))+op_count_KYL1uVeVpb(op_0kmYd0q39Y(op_E4l6HwMY31(751,a),op_2DQ55sFlQl(a,a)),op_OKKcZfAt5B(op_inCIaGQf8u(a,a),op_KPf6cnQVty(330,a)))+op_count_j4geBLYVFK(a)
    else:
        count = op_count_bF6eod5Gvf(a,92)+op_count_PxpmPgHHJV(op_bF6eod5Gvf(a,92))+op_count_ocpzidtxKt(op_PxpmPgHHJV(op_bF6eod5Gvf(a,92)))
    return count


def op_TqTf0WBeGT(a):
    if op_tIhPxZTbsh(a,639) >= 230:
        return op_0JWJYFSzIQ(op_vg4gO5BX6G(a,a),op_ct1hK6qyRt(a))
    else:
        return op_MXaNJeIAZ3(op_JgXZM7XvWE(a,a))

def op_count_TqTf0WBeGT(a):
    if op_tIhPxZTbsh(a,639) >= 230:
        count = op_count_vg4gO5BX6G(a,a)+op_count_ct1hK6qyRt(a)+op_count_0JWJYFSzIQ(op_vg4gO5BX6G(a,a),op_ct1hK6qyRt(a))+op_count_tIhPxZTbsh(a,639)
    else:
        count = op_count_JgXZM7XvWE(a,a)+op_count_MXaNJeIAZ3(op_JgXZM7XvWE(a,a))
    return count


∠⨬a = { (a⫗⊒⇾((a↨⪍≴a)⪿⇪⊩a)) , if ((a∼⇢343)!=498 and a<=427) ; (a⊱⇼⊻(∷≠(a↜⊷a))) , else }

def op_Mu2j9cYKsd(a):
    if (op_Cr5xnr8B4B(a,343) != 498 and a <= 427):
        return op_hiBDRd40bf(a,op_OGWBzMv138(op_DX7B1fY6P6(a,a),a))
    else:
        return op_FyVja0WsTP(a,op_QiR2Oyf5Xj(op_irKjLsMeKy(a,a)))

def op_count_Mu2j9cYKsd(a):
    if (op_Cr5xnr8B4B(a,343) != 498 and a <= 427):
        count = op_count_DX7B1fY6P6(a,a)+op_count_OGWBzMv138(op_DX7B1fY6P6(a,a),a)+op_count_hiBDRd40bf(a,op_OGWBzMv138(op_DX7B1fY6P6(a,a),a))+op_count_Cr5xnr8B4B(a,343)
    else:
        count = op_count_irKjLsMeKy(a,a)+op_count_QiR2Oyf5Xj(op_irKjLsMeKy(a,a))+op_count_FyVja0WsTP(a,op_QiR2Oyf5Xj(op_irKjLsMeKy(a,a)))
    return count


a⊜⫔⨅b = { (⨍⩸↶(⩏⊷≩b)) , if b>=97 ; ((≅≯⇸a)∿⫑≎(b⋷57)) , else }

def op_2Bhe5MV7ya(a, b):
    if b >= 97:
        return op_2jG7DiviLq(op_uOZ1tnYMDE(b))
    else:
        return op_ar1w6gUwHX(op_apS25hmuAe(a),op_23Mk6UjR3U(b,57))

def op_count_2Bhe5MV7ya(a, b):
    if b >= 97:
        count = op_count_uOZ1tnYMDE(b)+op_count_2jG7DiviLq(op_uOZ1tnYMDE(b))
    else:
        count = op_count_apS25hmuAe(a)+op_count_23Mk6UjR3U(b,57)+op_count_ar1w6gUwHX(op_apS25hmuAe(a),op_23Mk6UjR3U(b,57))
    return count


a≞∰⩧b = { ((⫦≽⪐b)⋐≟⩺(36⫩⊇)) , if a>=183 ; ((b≽⇕)∈) , else }

def op_j7UVJQGE8k(a, b):
    if a >= 183:
        return op_PjbVkMzmXE(op_fjqJgF5yyp(b),op_BjRHVeLaeN(36))
    else:
        return op_ztP7wcbY7m(op_SgAxmdLNEA(b))

def op_count_j7UVJQGE8k(a, b):
    if a >= 183:
        count = op_count_fjqJgF5yyp(b)+op_count_BjRHVeLaeN(36)+op_count_PjbVkMzmXE(op_fjqJgF5yyp(b),op_BjRHVeLaeN(36))
    else:
        count = op_count_SgAxmdLNEA(b)+op_count_ztP7wcbY7m(op_SgAxmdLNEA(b))
    return count


def op_jZOzHi7EqF(a, b):
    if b != 431:
        return op_YSKBFp38Pu(op_QDWDTvZtyM(62),op_giaUb8UVhq(b,a))
    else:
        return op_8w2t5hMYqp(op_JoLB3LXqXx(1,a))

def op_count_jZOzHi7EqF(a, b):
    if b != 431:
        count = op_count_QDWDTvZtyM(62)+op_count_giaUb8UVhq(b,a)+op_count_YSKBFp38Pu(op_QDWDTvZtyM(62),op_giaUb8UVhq(b,a))
    else:
        count = op_count_JoLB3LXqXx(1,a)+op_count_8w2t5hMYqp(op_JoLB3LXqXx(1,a))
    return count


a⩓b = { (⩦⩻⨪((a⩧⪆b)⇴(a⨔⊶↷b))) , if (b⋝⋈⪟243)>=153 ; (((a⨜⇔a)⇪⋱)⋰⇉∕((a∽b)⫼⨠(243∲⫑b))) , else }

def op_ZkTErvSsVl(a, b):
    if op_2DDjHMKMc0(b,243) >= 153:
        return op_2td37pGCOC(op_4JB6nKBMSY(op_Ikt5ks8PT7(a,b),op_WObL9SsYVE(a,b)))
    else:
        return op_sM9mzqIDB1(op_MKzNxCV7Yo(op_Sq3AGanRSD(a,a)),op_KYL1uVeVpb(op_y4ImoPnbV5(a,b),op_NrdPCfJQiM(243,b)))

def op_count_ZkTErvSsVl(a, b):
    if op_2DDjHMKMc0(b,243) >= 153:
        count = op_count_Ikt5ks8PT7(a,b)+op_count_WObL9SsYVE(a,b)+op_count_4JB6nKBMSY(op_Ikt5ks8PT7(a,b),op_WObL9SsYVE(a,b))+op_count_2td37pGCOC(op_4JB6nKBMSY(op_Ikt5ks8PT7(a,b),op_WObL9SsYVE(a,b)))+op_count_2DDjHMKMc0(b,243)
    else:
        count = op_count_Sq3AGanRSD(a,a)+op_count_MKzNxCV7Yo(op_Sq3AGanRSD(a,a))+op_count_y4ImoPnbV5(a,b)+op_count_NrdPCfJQiM(243,b)+op_count_KYL1uVeVpb(op_y4ImoPnbV5(a,b),op_NrdPCfJQiM(243,b))+op_count_sM9mzqIDB1(op_MKzNxCV7Yo(op_Sq3AGanRSD(a,a)),op_KYL1uVeVpb(op_y4ImoPnbV5(a,b),op_NrdPCfJQiM(243,b)))
    return count


def op_62BMGlFDoP(a):
    if op_WmT3o8z6ya(a) >= 290:
        return op_qy3n0tapmE(op_CuHhPb8RwQ(627),op_V4yb4KDoeF(op_6o9Blt3TJ6(125,a),op_OTRTVPweYV(a,651)))
    else:
        return op_3EYGwJThht(op_GMyVS5K48T(504,op_k2B77S3vSv(a)),op_4kvgVkQeiQ(op_EZ6cjipfBz(a)))

def op_count_62BMGlFDoP(a):
    if op_WmT3o8z6ya(a) >= 290:
        count = op_count_CuHhPb8RwQ(627)+op_count_6o9Blt3TJ6(125,a)+op_count_OTRTVPweYV(a,651)+op_count_V4yb4KDoeF(op_6o9Blt3TJ6(125,a),op_OTRTVPweYV(a,651))+op_count_qy3n0tapmE(op_CuHhPb8RwQ(627),op_V4yb4KDoeF(op_6o9Blt3TJ6(125,a),op_OTRTVPweYV(a,651)))+op_count_WmT3o8z6ya(a)
    else:
        count = op_count_k2B77S3vSv(a)+op_count_GMyVS5K48T(504,op_k2B77S3vSv(a))+op_count_EZ6cjipfBz(a)+op_count_4kvgVkQeiQ(op_EZ6cjipfBz(a))+op_count_3EYGwJThht(op_GMyVS5K48T(504,op_k2B77S3vSv(a)),op_4kvgVkQeiQ(op_EZ6cjipfBz(a)))
    return count


a⊙⨺⨬b = { (≉(b∠↢b)) , if (a⪖⪡827)==18 ; (⇗⪘∲(a⩇∃⫛a)) , else }

def op_xrB6SlzufE(a, b):
    if op_7PjNe5qSIJ(a,827) == 18:
        return op_e1ybzncUwg(op_KbjG8mgYpV(b,b))
    else:
        return op_j4geBLYVFK(op_1aApVXNlOP(a,a))

def op_count_xrB6SlzufE(a, b):
    if op_7PjNe5qSIJ(a,827) == 18:
        count = op_count_KbjG8mgYpV(b,b)+op_count_e1ybzncUwg(op_KbjG8mgYpV(b,b))+op_count_7PjNe5qSIJ(a,827)
    else:
        count = op_count_1aApVXNlOP(a,a)+op_count_j4geBLYVFK(op_1aApVXNlOP(a,a))
    return count


⫢a = { (((⫟a)⋅⇍(a⋅⇍a))⩣⫁∢149) , if ((⨑⩽⪐a)==5 or a>390) ; (((a∀⩎⋷a)⊔(a↜⊷a))∽((⇺⪔⩬a)⋢(a⪹))) , else }

def op_zEQJXW68R2(a):
    if (op_AF7qkfDlqP(a) == 5 or a > 390):
        return op_JDUIKTTSIa(op_AdZkA7nFnk(op_z4E1FaHLuy(a),op_AdZkA7nFnk(a,a)),149)
    else:
        return op_y4ImoPnbV5(op_E4l6HwMY31(op_FPxP5Y1j0W(a,a),op_irKjLsMeKy(a,a)),op_NdELin8EPX(op_lAOUD4ZMWV(a),op_B3sABdIn96(a)))

def op_count_zEQJXW68R2(a):
    if (op_AF7qkfDlqP(a) == 5 or a > 390):
        count = op_count_z4E1FaHLuy(a)+op_count_AdZkA7nFnk(a,a)+op_count_AdZkA7nFnk(op_z4E1FaHLuy(a),op_AdZkA7nFnk(a,a))+op_count_JDUIKTTSIa(op_AdZkA7nFnk(op_z4E1FaHLuy(a),op_AdZkA7nFnk(a,a)),149)+op_count_AF7qkfDlqP(a)
    else:
        count = op_count_FPxP5Y1j0W(a,a)+op_count_irKjLsMeKy(a,a)+op_count_E4l6HwMY31(op_FPxP5Y1j0W(a,a),op_irKjLsMeKy(a,a))+op_count_lAOUD4ZMWV(a)+op_count_B3sABdIn96(a)+op_count_NdELin8EPX(op_lAOUD4ZMWV(a),op_B3sABdIn96(a))+op_count_y4ImoPnbV5(op_E4l6HwMY31(op_FPxP5Y1j0W(a,a),op_irKjLsMeKy(a,a)),op_NdELin8EPX(op_lAOUD4ZMWV(a),op_B3sABdIn96(a)))
    return count


a⇸∖⋇ = { (a⊭↱a) , if (a⨁⊸⫻)!=84 ; (⩦⩻⨪a) , else }

def op_3HGl1MDrAU(a):
    if op_glklzrTFfD(a) != 84:
        return op_COABgblf1C(a,a)
    else:
        return op_2td37pGCOC(a)

def op_count_3HGl1MDrAU(a):
    if op_glklzrTFfD(a) != 84:
        count = op_count_COABgblf1C(a,a)+op_count_glklzrTFfD(a)
    else:
        count = op_count_2td37pGCOC(a)
    return count


def op_ZyJsu8Rp87(a):
    if a >= 232:
        return op_IjUb3wyICU(op_uyq1hVkAcj(op_glklzrTFfD(164)))
    else:
        return op_ocnLzx9CaJ(a,op_COABgblf1C(op_C6VvDP6HwP(a),op_eLAdDNolq6(a)))

def op_count_ZyJsu8Rp87(a):
    if a >= 232:
        count = op_count_glklzrTFfD(164)+op_count_uyq1hVkAcj(op_glklzrTFfD(164))+op_count_IjUb3wyICU(op_uyq1hVkAcj(op_glklzrTFfD(164)))
    else:
        count = op_count_C6VvDP6HwP(a)+op_count_eLAdDNolq6(a)+op_count_COABgblf1C(op_C6VvDP6HwP(a),op_eLAdDNolq6(a))+op_count_ocnLzx9CaJ(a,op_COABgblf1C(op_C6VvDP6HwP(a),op_eLAdDNolq6(a)))
    return count


a⩨⇖b = { (((601⫲)⋝⋈⪟(⋃a))⫇⋯((a⋘b)⊝⪿⪼(a∼⇢b))) , if (a⪲⨢167)<181 ; (((a≚⊃≕a)⊔(b⩼⇪↪a))⇴((b≟⫹a)⊔(b∼⇢173))) , else }

def op_AU0rGnNQho(a, b):
    if op_6iafYuwGo8(a,167) < 181:
        return op_xoJmIySC7h(op_2DDjHMKMc0(op_9xnGDUPbC6(601),op_3mBM5G4a3l(a)),op_3Oe9XWJUTD(op_2M7SKlOzyM(a,b),op_Cr5xnr8B4B(a,b)))
    else:
        return op_4JB6nKBMSY(op_E4l6HwMY31(op_Bmrmz2XGnR(a,a),op_ocnLzx9CaJ(b,a)),op_E4l6HwMY31(op_z2JHNkvbdm(b,a),op_Cr5xnr8B4B(b,173)))

def op_count_AU0rGnNQho(a, b):
    if op_6iafYuwGo8(a,167) < 181:
        count = op_count_9xnGDUPbC6(601)+op_count_3mBM5G4a3l(a)+op_count_2DDjHMKMc0(op_9xnGDUPbC6(601),op_3mBM5G4a3l(a))+op_count_2M7SKlOzyM(a,b)+op_count_Cr5xnr8B4B(a,b)+op_count_3Oe9XWJUTD(op_2M7SKlOzyM(a,b),op_Cr5xnr8B4B(a,b))+op_count_xoJmIySC7h(op_2DDjHMKMc0(op_9xnGDUPbC6(601),op_3mBM5G4a3l(a)),op_3Oe9XWJUTD(op_2M7SKlOzyM(a,b),op_Cr5xnr8B4B(a,b)))+op_count_6iafYuwGo8(a,167)
    else:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_ocnLzx9CaJ(b,a)+op_count_E4l6HwMY31(op_Bmrmz2XGnR(a,a),op_ocnLzx9CaJ(b,a))+op_count_z2JHNkvbdm(b,a)+op_count_Cr5xnr8B4B(b,173)+op_count_E4l6HwMY31(op_z2JHNkvbdm(b,a),op_Cr5xnr8B4B(b,173))+op_count_4JB6nKBMSY(op_E4l6HwMY31(op_Bmrmz2XGnR(a,a),op_ocnLzx9CaJ(b,a)),op_E4l6HwMY31(op_z2JHNkvbdm(b,a),op_Cr5xnr8B4B(b,173)))
    return count


def op_YCh8vcyvjX(a):
    if a < 165:
        return op_keuJNkrrbj(214,40)
    else:
        return op_KROiRRz3d6(31,a)

def op_count_YCh8vcyvjX(a):
    if a < 165:
        count = op_count_keuJNkrrbj(214,40)
    else:
        count = op_count_KROiRRz3d6(31,a)
    return count


a⪋⫼⪧b = { (⨍⩸↶b) , if a<130 ; (a⫊⇚⊺b) , else }

def op_KLMV3Z6VVJ(a, b):
    if a < 130:
        return op_2jG7DiviLq(b)
    else:
        return op_Y5cEcQhyKu(a,b)

def op_count_KLMV3Z6VVJ(a, b):
    if a < 130:
        count = op_count_2jG7DiviLq(b)
    else:
        count = op_count_Y5cEcQhyKu(a,b)
    return count


a↹↛∊ = { ((∓⪦a)≋⫹) , if (a≋⫹)>6 ; (∦(a≠≀a)) , else }

def op_yPSXLkIJBk(a):
    if op_N41Kp7NANJ(a) > 6:
        return op_N41Kp7NANJ(op_D309nIvmXG(a))
    else:
        return op_ew17WAA8t6(op_IwW236VD4Y(a,a))

def op_count_yPSXLkIJBk(a):
    if op_N41Kp7NANJ(a) > 6:
        count = op_count_D309nIvmXG(a)+op_count_N41Kp7NANJ(op_D309nIvmXG(a))+op_count_N41Kp7NANJ(a)
    else:
        count = op_count_IwW236VD4Y(a,a)+op_count_ew17WAA8t6(op_IwW236VD4Y(a,a))
    return count


def op_fYduVokqvF(a, b):
    if op_kz228nwi0J(b) < 96:
        return op_XZxEnkN3N0(a)
    else:
        return op_s0IfDFCCuZ(b,94)

def op_count_fYduVokqvF(a, b):
    if op_kz228nwi0J(b) < 96:
        count = op_count_XZxEnkN3N0(a)+op_count_kz228nwi0J(b)
    else:
        count = op_count_s0IfDFCCuZ(b,94)
    return count


def op_DfCADQreyR(a):
    if (op_umQnsF7QlU(a,476) == 496 and op_jBC4ymW3D7(a,142) != 187 and a > 36):
        return op_d8xe6WWVfM(257,a)
    else:
        return op_tDVI6bDdAd(a)

def op_count_DfCADQreyR(a):
    if (op_umQnsF7QlU(a,476) == 496 and op_jBC4ymW3D7(a,142) != 187 and a > 36):
        count = op_count_d8xe6WWVfM(257,a)+op_count_umQnsF7QlU(a,476)+op_count_jBC4ymW3D7(a,142)
    else:
        count = op_count_tDVI6bDdAd(a)
    return count


a⇯b = { (b⨽⪊≇) , if a>=589 ; (59⪦⩸b) , else }

def op_xtBOMFLMmK(a, b):
    if a >= 589:
        return op_nlCqmYiOvY(b)
    else:
        return op_0JWJYFSzIQ(59,b)

def op_count_xtBOMFLMmK(a, b):
    if a >= 589:
        count = op_count_nlCqmYiOvY(b)
    else:
        count = op_count_0JWJYFSzIQ(59,b)
    return count


a↾⪧⫖b = { (((a⇴b)⊎←↗)∝(↓⇌(a⨧↗⨷a))) , if a==261 ; (((a⨑⋨b)∊⊞≈(a⊹≧⊝))⫶((⩏⊷≩129)⩚⊴⇥(b⩌181))) , else }

def op_gcnKSmWBRw(a, b):
    if a == 261:
        return op_cTDWOvIxvz(op_dwb5p0fa6d(op_4JB6nKBMSY(a,b)),op_PxpmPgHHJV(op_WSbXXWOizJ(a,a)))
    else:
        return op_BAIXFdYaz3(op_keuJNkrrbj(op_tIhPxZTbsh(a,b),op_LxFB4K6j0n(a)),op_NTOWxs364D(op_uOZ1tnYMDE(129),op_UoVew8f2p2(b,181)))

def op_count_gcnKSmWBRw(a, b):
    if a == 261:
        count = op_count_4JB6nKBMSY(a,b)+op_count_dwb5p0fa6d(op_4JB6nKBMSY(a,b))+op_count_WSbXXWOizJ(a,a)+op_count_PxpmPgHHJV(op_WSbXXWOizJ(a,a))+op_count_cTDWOvIxvz(op_dwb5p0fa6d(op_4JB6nKBMSY(a,b)),op_PxpmPgHHJV(op_WSbXXWOizJ(a,a)))
    else:
        count = op_count_tIhPxZTbsh(a,b)+op_count_LxFB4K6j0n(a)+op_count_keuJNkrrbj(op_tIhPxZTbsh(a,b),op_LxFB4K6j0n(a))+op_count_uOZ1tnYMDE(129)+op_count_UoVew8f2p2(b,181)+op_count_NTOWxs364D(op_uOZ1tnYMDE(129),op_UoVew8f2p2(b,181))+op_count_BAIXFdYaz3(op_keuJNkrrbj(op_tIhPxZTbsh(a,b),op_LxFB4K6j0n(a)),op_NTOWxs364D(op_uOZ1tnYMDE(129),op_UoVew8f2p2(b,181)))
    return count


def op_LMYUNEKMsx(a):
    if op_S5ZFQS4GK3(a,144) < 191:
        return op_Noe24qw2ks(a,265)
    else:
        return op_hmlrMsD2PO(a,326)

def op_count_LMYUNEKMsx(a):
    if op_S5ZFQS4GK3(a,144) < 191:
        count = op_count_Noe24qw2ks(a,265)+op_count_S5ZFQS4GK3(a,144)
    else:
        count = op_count_hmlrMsD2PO(a,326)
    return count


a∠⊨≪b = { (b⪹) , if b<367 ; (b∷a) , else }

def op_Y6u3OyaTgl(a, b):
    if b < 367:
        return op_B3sABdIn96(b)
    else:
        return op_D3AQDKkPcf(b,a)

def op_count_Y6u3OyaTgl(a, b):
    if b < 367:
        count = op_count_B3sABdIn96(b)
    else:
        count = op_count_D3AQDKkPcf(b,a)
    return count


a⫕∜b = { (((⋸⪍a)⪯⫾⋍(a⨸⪁b))⪐) , if b==277 ; ((⊙⨙⩍(a⫭))⊭↱(⋑(b≬⋮a))) , else }

def op_LFtbApO071(a, b):
    if b == 277:
        return op_eH2TOUuTDT(op_S5ZFQS4GK3(op_PrwIXj9ZQe(a),op_g55IO6H4Gj(a,b)))
    else:
        return op_COABgblf1C(op_ocpzidtxKt(op_t4WUHVGj7f(a)),op_iz8sE888QL(op_kbkesczE7y(b,a)))

def op_count_LFtbApO071(a, b):
    if b == 277:
        count = op_count_PrwIXj9ZQe(a)+op_count_g55IO6H4Gj(a,b)+op_count_S5ZFQS4GK3(op_PrwIXj9ZQe(a),op_g55IO6H4Gj(a,b))+op_count_eH2TOUuTDT(op_S5ZFQS4GK3(op_PrwIXj9ZQe(a),op_g55IO6H4Gj(a,b)))
    else:
        count = op_count_t4WUHVGj7f(a)+op_count_ocpzidtxKt(op_t4WUHVGj7f(a))+op_count_kbkesczE7y(b,a)+op_count_iz8sE888QL(op_kbkesczE7y(b,a))+op_count_COABgblf1C(op_ocpzidtxKt(op_t4WUHVGj7f(a)),op_iz8sE888QL(op_kbkesczE7y(b,a)))
    return count


a⪩≅b = { (a⋥≓≎b) , if a!=129 and (b∭)!=312 ; (b∊⊞≈57) , else }

def op_TFdbvXreUq(a, b):
    if a != 129 and op_qLBMy5fcJr(b) != 312:
        return op_Qy55tPpLXF(a,b)
    else:
        return op_keuJNkrrbj(b,57)

def op_count_TFdbvXreUq(a, b):
    if a != 129 and op_qLBMy5fcJr(b) != 312:
        count = op_count_Qy55tPpLXF(a,b)+op_count_qLBMy5fcJr(b)
    else:
        count = op_count_keuJNkrrbj(b,57)
    return count


def op_lSgQqoZ1E5(a):
    if a < 458 and op_AfoL3wC8aT(a) != 220 and a < 44:
        return op_k7HXdKtiEU(op_KPf6cnQVty(12,12))
    else:
        return a

def op_count_lSgQqoZ1E5(a):
    if a < 458 and op_AfoL3wC8aT(a) != 220 and a < 44:
        count = op_count_KPf6cnQVty(12,12)+op_count_k7HXdKtiEU(op_KPf6cnQVty(12,12))+op_count_AfoL3wC8aT(a)
    else:
        count = 1
    return count


def op_vzIhVlHn4a(a, b):
    if a == 493:
        return op_NTOWxs364D(op_23Mk6UjR3U(op_sdazOOVcIp(a,a),op_j9kHMeSvPp(b,b)),op_3A1e9zoj8h(op_keWfFq85dY(377)))
    else:
        return op_23Mk6UjR3U(op_2GS7woTJqF(op_CuHhPb8RwQ(b),op_u6S6b8DprG(b)),op_NTOWxs364D(op_e1ybzncUwg(b),op_kbkesczE7y(b,104)))

def op_count_vzIhVlHn4a(a, b):
    if a == 493:
        count = op_count_sdazOOVcIp(a,a)+op_count_j9kHMeSvPp(b,b)+op_count_23Mk6UjR3U(op_sdazOOVcIp(a,a),op_j9kHMeSvPp(b,b))+op_count_keWfFq85dY(377)+op_count_3A1e9zoj8h(op_keWfFq85dY(377))+op_count_NTOWxs364D(op_23Mk6UjR3U(op_sdazOOVcIp(a,a),op_j9kHMeSvPp(b,b)),op_3A1e9zoj8h(op_keWfFq85dY(377)))
    else:
        count = op_count_CuHhPb8RwQ(b)+op_count_u6S6b8DprG(b)+op_count_2GS7woTJqF(op_CuHhPb8RwQ(b),op_u6S6b8DprG(b))+op_count_e1ybzncUwg(b)+op_count_kbkesczE7y(b,104)+op_count_NTOWxs364D(op_e1ybzncUwg(b),op_kbkesczE7y(b,104))+op_count_23Mk6UjR3U(op_2GS7woTJqF(op_CuHhPb8RwQ(b),op_u6S6b8DprG(b)),op_NTOWxs364D(op_e1ybzncUwg(b),op_kbkesczE7y(b,104)))
    return count


⩳⪓⋆a = { (∓⪦((⫳⪺∰a)⩆≶⊌)) , if a<142 ; (⨢⋑⪾(⇾⩊⇾(⪁⫅≨231))) , else }

def op_hPFeJH6INu(a):
    if a < 142:
        return op_D309nIvmXG(op_PZaICrJanm(op_eftAHwPbeA(a)))
    else:
        return op_tmjFFOTKyA(op_bx9Z9DAK5y(op_YApyZlDuBr(231)))

def op_count_hPFeJH6INu(a):
    if a < 142:
        count = op_count_eftAHwPbeA(a)+op_count_PZaICrJanm(op_eftAHwPbeA(a))+op_count_D309nIvmXG(op_PZaICrJanm(op_eftAHwPbeA(a)))
    else:
        count = op_count_YApyZlDuBr(231)+op_count_bx9Z9DAK5y(op_YApyZlDuBr(231))+op_count_tmjFFOTKyA(op_bx9Z9DAK5y(op_YApyZlDuBr(231)))
    return count

tmjFFOTKyA eftAHwPbeA bx9Z9DAK5y YApyZlDuBr PZaICrJanm D309nIvmXG


a⩜ = { (a∺≝⩲a) , if (a⨲⇖⇮)!=379 ; (⪲⇎a) , else }

def op_m9KnjnodY9(a):
    if op_oj4YnGA3cE(a) != 379:
        return op_KPf6cnQVty(a,a)
    else:
        return op_XPYlsWDdGa(a)

def op_count_m9KnjnodY9(a):
    if op_oj4YnGA3cE(a) != 379:
        count = op_count_KPf6cnQVty(a,a)+op_count_oj4YnGA3cE(a)
    else:
        count = op_count_XPYlsWDdGa(a)
    return count


def op_O6oPZIQyvW(a, b):
    if b > 1:
        return op_9Isq31Ruls(op_lAOUD4ZMWV(op_QMFrweE19q(120,b)),op_E4l6HwMY31(op_eRqsBgTDFp(a,a),op_HiPekx5b7W(339,b)))
    else:
        return op_MXaNJeIAZ3(op_tnyRA5sazQ(op_KYL1uVeVpb(115,a),op_KPf6cnQVty(a,223)))

def op_count_O6oPZIQyvW(a, b):
    if b > 1:
        count = op_count_QMFrweE19q(120,b)+op_count_lAOUD4ZMWV(op_QMFrweE19q(120,b))+op_count_eRqsBgTDFp(a,a)+op_count_HiPekx5b7W(339,b)+op_count_E4l6HwMY31(op_eRqsBgTDFp(a,a),op_HiPekx5b7W(339,b))+op_count_9Isq31Ruls(op_lAOUD4ZMWV(op_QMFrweE19q(120,b)),op_E4l6HwMY31(op_eRqsBgTDFp(a,a),op_HiPekx5b7W(339,b)))
    else:
        count = op_count_KYL1uVeVpb(115,a)+op_count_KPf6cnQVty(a,223)+op_count_tnyRA5sazQ(op_KYL1uVeVpb(115,a),op_KPf6cnQVty(a,223))+op_count_MXaNJeIAZ3(op_tnyRA5sazQ(op_KYL1uVeVpb(115,a),op_KPf6cnQVty(a,223)))
    return count


a⇣⫒ = { (a⨜⨶a) , if a!=229 ; (a⊉≛↸a) , else }

def op_e2DRTp73Vx(a):
    if a != 229:
        return op_HiPekx5b7W(a,a)
    else:
        return op_DZ8iAZOCBD(a,a)

def op_count_e2DRTp73Vx(a):
    if a != 229:
        count = op_count_HiPekx5b7W(a,a)
    else:
        count = op_count_DZ8iAZOCBD(a,a)
    return count


def op_Go7jpMCFiM(a):
    if op_0kmYd0q39Y(a,414) != 20:
        return op_Ph9nP6C5qx(op_nREPSIbpBE(a,a),op_8TQKPGA8Ba(a))
    else:
        return op_tfWHHpNKUN(op_Z2TMIBDE3Q(625))

def op_count_Go7jpMCFiM(a):
    if op_0kmYd0q39Y(a,414) != 20:
        count = op_count_nREPSIbpBE(a,a)+op_count_8TQKPGA8Ba(a)+op_count_Ph9nP6C5qx(op_nREPSIbpBE(a,a),op_8TQKPGA8Ba(a))+op_count_0kmYd0q39Y(a,414)
    else:
        count = op_count_Z2TMIBDE3Q(625)+op_count_tfWHHpNKUN(op_Z2TMIBDE3Q(625))
    return count


a⇭⫖⊱b = { (b∽b) , if (b>=19 or (a⊵↤)<603) ; (((b≠≀a)⫶(b⊬⨰b))⨔⇊(b∁)) , else }

def op_Wt6GesNbUs(a, b):
    if (b >= 19 or op_7IPrd9c3lf(a) < 603):
        return op_y4ImoPnbV5(b,b)
    else:
        return op_JclMnS0uGI(op_BAIXFdYaz3(op_IwW236VD4Y(b,a),op_s3Fd5m9Dh2(b,b)),op_jdwGQqwJi5(b))

def op_count_Wt6GesNbUs(a, b):
    if (b >= 19 or op_7IPrd9c3lf(a) < 603):
        count = op_count_y4ImoPnbV5(b,b)+op_count_7IPrd9c3lf(a)
    else:
        count = op_count_IwW236VD4Y(b,a)+op_count_s3Fd5m9Dh2(b,b)+op_count_BAIXFdYaz3(op_IwW236VD4Y(b,a),op_s3Fd5m9Dh2(b,b))+op_count_jdwGQqwJi5(b)+op_count_JclMnS0uGI(op_BAIXFdYaz3(op_IwW236VD4Y(b,a),op_s3Fd5m9Dh2(b,b)),op_jdwGQqwJi5(b))
    return count


a↭⩾b = { ((a⋎b)≟⫹(b∲⫑86)) , if (⋼∭⪍b)>=641 ; ((526⩤∜↚b)↼⊘⨖(≿⇫a)) , else }

def op_ePdweL0MCl(a, b):
    if op_DbCuESL50I(b) >= 641:
        return op_z2JHNkvbdm(op_qy3n0tapmE(a,b),op_NrdPCfJQiM(b,86))
    else:
        return op_bPywburJMS(op_KROiRRz3d6(526,b),op_3A1e9zoj8h(a))

def op_count_ePdweL0MCl(a, b):
    if op_DbCuESL50I(b) >= 641:
        count = op_count_qy3n0tapmE(a,b)+op_count_NrdPCfJQiM(b,86)+op_count_z2JHNkvbdm(op_qy3n0tapmE(a,b),op_NrdPCfJQiM(b,86))+op_count_DbCuESL50I(b)
    else:
        count = op_count_KROiRRz3d6(526,b)+op_count_3A1e9zoj8h(a)+op_count_bPywburJMS(op_KROiRRz3d6(526,b),op_3A1e9zoj8h(a))
    return count


a⩿≚b = { a , if a==200 ; (501⨻⪊⨷((b⊢≏≾b)⩉⊫⨁)) , else }

def op_1iZxVsDXN9(a, b):
    if a == 200:
        return a
    else:
        return op_Pkwamo1tM2(501,op_7qqUquhhSb(op_qxqspddX8k(b,b)))

def op_count_1iZxVsDXN9(a, b):
    if a == 200:
        count = 1
    else:
        count = op_count_qxqspddX8k(b,b)+op_count_7qqUquhhSb(op_qxqspddX8k(b,b))+op_count_Pkwamo1tM2(501,op_7qqUquhhSb(op_qxqspddX8k(b,b)))
    return count


a≬b = { (a∁) , if b!=52 ; (a⇤b) , else }

def op_bKyEIKEOvT(a, b):
    if b != 52:
        return op_jdwGQqwJi5(a)
    else:
        return op_YSKBFp38Pu(a,b)

def op_count_bKyEIKEOvT(a, b):
    if b != 52:
        count = op_count_jdwGQqwJi5(a)
    else:
        count = op_count_YSKBFp38Pu(a,b)
    return count


def op_lgKb5x9Kjz(a):
    if a >= 648:
        return op_gSr4c7pPrV(op_UqUOXUQnbU(24,195))
    else:
        return op_FPxP5Y1j0W(op_UggxBX659n(a,a),a)

def op_count_lgKb5x9Kjz(a):
    if a >= 648:
        count = op_count_UqUOXUQnbU(24,195)+op_count_gSr4c7pPrV(op_UqUOXUQnbU(24,195))
    else:
        count = op_count_UggxBX659n(a,a)+op_count_FPxP5Y1j0W(op_UggxBX659n(a,a),a)
    return count


a⨠b = { (⫌⊑↬((a∲⫓a)⩆≶⊌)) , if ((⨍⩸↶b)<=573 and (a⇞)>359) ; (a⊋≦⊧b) , else }

def op_R3R4sbjZye(a, b):
    if (op_2jG7DiviLq(b) <= 573 and op_5JYyxRJd4f(a) > 359):
        return op_h57jOAbG9W(op_PZaICrJanm(op_i8ToyICDmI(a,a)))
    else:
        return op_oRDoc9rAEX(a,b)

def op_count_R3R4sbjZye(a, b):
    if (op_2jG7DiviLq(b) <= 573 and op_5JYyxRJd4f(a) > 359):
        count = op_count_i8ToyICDmI(a,a)+op_count_PZaICrJanm(op_i8ToyICDmI(a,a))+op_count_h57jOAbG9W(op_PZaICrJanm(op_i8ToyICDmI(a,a)))+op_count_2jG7DiviLq(b)+op_count_5JYyxRJd4f(a)
    else:
        count = op_count_oRDoc9rAEX(a,b)
    return count


a⨮ = { ((a⪖⪡9)≽↲≰(a⊭a)) , if a!=329 ; ((⨡↴a)⪿⇪⊩(a⨧↗⨷a)) , else }

def op_jPzvRlArHT(a):
    if a != 329:
        return op_cFVlceoRkX(op_7PjNe5qSIJ(a,9),op_4JGOJzXMq1(a,a))
    else:
        return op_OGWBzMv138(op_liw5iZPkLH(a),op_WSbXXWOizJ(a,a))

def op_count_jPzvRlArHT(a):
    if a != 329:
        count = op_count_7PjNe5qSIJ(a,9)+op_count_4JGOJzXMq1(a,a)+op_count_cFVlceoRkX(op_7PjNe5qSIJ(a,9),op_4JGOJzXMq1(a,a))
    else:
        count = op_count_liw5iZPkLH(a)+op_count_WSbXXWOizJ(a,a)+op_count_OGWBzMv138(op_liw5iZPkLH(a),op_WSbXXWOizJ(a,a))
    return count


a⋚⫹ = { (∑⇻≧((a⊀⪪⫸)⨊⨠)) , if (a⪎⨄⋝)<638 ; ((432⪯⫾⋍(a⨑≵⋬a))⨑⋨a) , else }

def op_42BppLRjHS(a):
    if op_kweVJGAjhl(a) < 638:
        return op_l1M9WJ3V7u(op_qU6oQAhJaQ(op_UIU2Eox550(a)))
    else:
        return op_tIhPxZTbsh(op_S5ZFQS4GK3(432,op_XnXgA4xnOs(a,a)),a)

def op_count_42BppLRjHS(a):
    if op_kweVJGAjhl(a) < 638:
        count = op_count_UIU2Eox550(a)+op_count_qU6oQAhJaQ(op_UIU2Eox550(a))+op_count_l1M9WJ3V7u(op_qU6oQAhJaQ(op_UIU2Eox550(a)))+op_count_kweVJGAjhl(a)
    else:
        count = op_count_XnXgA4xnOs(a,a)+op_count_S5ZFQS4GK3(432,op_XnXgA4xnOs(a,a))+op_count_tIhPxZTbsh(op_S5ZFQS4GK3(432,op_XnXgA4xnOs(a,a)),a)
    return count


a⪣⋝⋒b = { ((364⨣∐↬(a→⨶⪴a))≽↲≰(⨡↴(b⨧a))) , if a!=116 ; (((171≻⇥≳b)≶(a⫚↹⊑a))⨰((a⫚↹⊑a)∆⨵⋿)) , else }

def op_TbULwM3gdg(a, b):
    if a != 116:
        return op_cFVlceoRkX(op_UpkSd4zESC(364,op_bF6eod5Gvf(a,a)),op_liw5iZPkLH(op_3YWlZA9bsa(b,a)))
    else:
        return op_eewbuw0ToL(op_Q2SPaKwpPJ(op_aiqF8n6J9c(171,b),op_dfKe02y8D2(a,a)),op_7CBskBkoKY(op_dfKe02y8D2(a,a)))

def op_count_TbULwM3gdg(a, b):
    if a != 116:
        count = op_count_bF6eod5Gvf(a,a)+op_count_UpkSd4zESC(364,op_bF6eod5Gvf(a,a))+op_count_3YWlZA9bsa(b,a)+op_count_liw5iZPkLH(op_3YWlZA9bsa(b,a))+op_count_cFVlceoRkX(op_UpkSd4zESC(364,op_bF6eod5Gvf(a,a)),op_liw5iZPkLH(op_3YWlZA9bsa(b,a)))
    else:
        count = op_count_aiqF8n6J9c(171,b)+op_count_dfKe02y8D2(a,a)+op_count_Q2SPaKwpPJ(op_aiqF8n6J9c(171,b),op_dfKe02y8D2(a,a))+op_count_dfKe02y8D2(a,a)+op_count_7CBskBkoKY(op_dfKe02y8D2(a,a))+op_count_eewbuw0ToL(op_Q2SPaKwpPJ(op_aiqF8n6J9c(171,b),op_dfKe02y8D2(a,a)),op_7CBskBkoKY(op_dfKe02y8D2(a,a)))
    return count


a∞b = { (b↨⪍≴a) , if (⪞⋲≾a)>=226 and a>180 ; (b⊓≱b) , else }

def op_MdtlklhKSi(a, b):
    if op_kz228nwi0J(a) >= 226 and a > 180:
        return op_DX7B1fY6P6(b,a)
    else:
        return op_VCG3UHNzLR(b,b)

def op_count_MdtlklhKSi(a, b):
    if op_kz228nwi0J(a) >= 226 and a > 180:
        count = op_count_DX7B1fY6P6(b,a)+op_count_kz228nwi0J(a)
    else:
        count = op_count_VCG3UHNzLR(b,b)
    return count


def op_QQjdLDgHOE(a, b):
    if op_DZ8iAZOCBD(b,381) >= 378 or op_y2kQTS4a70(a,483) <= 329:
        return op_Ph9nP6C5qx(op_B3sABdIn96(op_d7ASUq0ydm(39,b)),op_BUOGQAYlQx(op_g7Hmc5v1ko(b,a)))
    else:
        return op_23Mk6UjR3U(op_rysDP5nf3Z(op_rysDP5nf3Z(53,a),op_MmTdOpaElr(182)),op_12rbrZMWeM(op_W4YGzv6Whe(b,a),op_irKjLsMeKy(a,b)))

def op_count_QQjdLDgHOE(a, b):
    if op_DZ8iAZOCBD(b,381) >= 378 or op_y2kQTS4a70(a,483) <= 329:
        count = op_count_d7ASUq0ydm(39,b)+op_count_B3sABdIn96(op_d7ASUq0ydm(39,b))+op_count_g7Hmc5v1ko(b,a)+op_count_BUOGQAYlQx(op_g7Hmc5v1ko(b,a))+op_count_Ph9nP6C5qx(op_B3sABdIn96(op_d7ASUq0ydm(39,b)),op_BUOGQAYlQx(op_g7Hmc5v1ko(b,a)))+op_count_DZ8iAZOCBD(b,381)+op_count_y2kQTS4a70(a,483)
    else:
        count = op_count_rysDP5nf3Z(53,a)+op_count_MmTdOpaElr(182)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(53,a),op_MmTdOpaElr(182))+op_count_W4YGzv6Whe(b,a)+op_count_irKjLsMeKy(a,b)+op_count_12rbrZMWeM(op_W4YGzv6Whe(b,a),op_irKjLsMeKy(a,b))+op_count_23Mk6UjR3U(op_rysDP5nf3Z(op_rysDP5nf3Z(53,a),op_MmTdOpaElr(182)),op_12rbrZMWeM(op_W4YGzv6Whe(b,a),op_irKjLsMeKy(a,b)))
    return count


a⫓⫕b = { ((390⇔⨋)⪉⨛(a⫸a)) , if b>197 ; ((a≽↲≰b)⫏↛⩏(a↜⊷a)) , else }

def op_XsvFqRKgU7(a, b):
    if b > 197:
        return op_EWw2JM7wp4(op_uBihLCJcMX(390),op_Qaz2MhZaG5(a,a))
    else:
        return op_YC3tgrnOyr(op_cFVlceoRkX(a,b),op_irKjLsMeKy(a,a))

def op_count_XsvFqRKgU7(a, b):
    if b > 197:
        count = op_count_uBihLCJcMX(390)+op_count_Qaz2MhZaG5(a,a)+op_count_EWw2JM7wp4(op_uBihLCJcMX(390),op_Qaz2MhZaG5(a,a))
    else:
        count = op_count_cFVlceoRkX(a,b)+op_count_irKjLsMeKy(a,a)+op_count_YC3tgrnOyr(op_cFVlceoRkX(a,b),op_irKjLsMeKy(a,a))
    return count


a∝≶b = { (((b≾⋳)-(b∺≝⩲a))∌(⊤(≿⇫b))) , if b<32 ; (((b⪇≇⋚b)∀⩎⋷(b⪒b))⋢((a⋟⫀⨗b)≦↸(⪭≋⋼b))) , else }

def op_e0UC6DYTvX(a, b):
    if b < 32:
        return op_8cLx32lpNA(op_rysDP5nf3Z(op_1tCtMSPkGf(b),op_KPf6cnQVty(b,a)),op_oDvtRyfmAM(op_3A1e9zoj8h(b)))
    else:
        return op_NdELin8EPX(op_FPxP5Y1j0W(op_3sJ7IOPOlU(b,b),op_f6k1SAg4EE(b,b)),op_RygbFNSyEJ(op_dAAkup5nzi(a,b),op_EZ6cjipfBz(b)))

def op_count_e0UC6DYTvX(a, b):
    if b < 32:
        count = op_count_1tCtMSPkGf(b)+op_count_KPf6cnQVty(b,a)+op_count_rysDP5nf3Z(op_1tCtMSPkGf(b),op_KPf6cnQVty(b,a))+op_count_3A1e9zoj8h(b)+op_count_oDvtRyfmAM(op_3A1e9zoj8h(b))+op_count_8cLx32lpNA(op_rysDP5nf3Z(op_1tCtMSPkGf(b),op_KPf6cnQVty(b,a)),op_oDvtRyfmAM(op_3A1e9zoj8h(b)))
    else:
        count = op_count_3sJ7IOPOlU(b,b)+op_count_f6k1SAg4EE(b,b)+op_count_FPxP5Y1j0W(op_3sJ7IOPOlU(b,b),op_f6k1SAg4EE(b,b))+op_count_dAAkup5nzi(a,b)+op_count_EZ6cjipfBz(b)+op_count_RygbFNSyEJ(op_dAAkup5nzi(a,b),op_EZ6cjipfBz(b))+op_count_NdELin8EPX(op_FPxP5Y1j0W(op_3sJ7IOPOlU(b,b),op_f6k1SAg4EE(b,b)),op_RygbFNSyEJ(op_dAAkup5nzi(a,b),op_EZ6cjipfBz(b)))
    return count


a↡⫩⩏ = { (((a⪢⋭)⊔(544⩣⫁∢a))⊝⪿⪼((a⩇∃⫛213)⪔⊥(a⊵a))) , if ((a⫠↝⫳)<=416 and (a⫭)!=73) ; (≈((a⪖⪡a)≽↲≰(a⫸a))) , else }

def op_4Zbi407kdO(a):
    if (op_8n5YIzOsVS(a) <= 416 and op_t4WUHVGj7f(a) != 73):
        return op_3Oe9XWJUTD(op_E4l6HwMY31(op_csT5a4elgc(a),op_JDUIKTTSIa(544,a)),op_HJ9erzHUuu(op_1aApVXNlOP(a,213),op_eaFBhJ0Uku(a,a)))
    else:
        return op_EO7Xdgo9So(op_cFVlceoRkX(op_7PjNe5qSIJ(a,a),op_Qaz2MhZaG5(a,a)))

def op_count_4Zbi407kdO(a):
    if (op_8n5YIzOsVS(a) <= 416 and op_t4WUHVGj7f(a) != 73):
        count = op_count_csT5a4elgc(a)+op_count_JDUIKTTSIa(544,a)+op_count_E4l6HwMY31(op_csT5a4elgc(a),op_JDUIKTTSIa(544,a))+op_count_1aApVXNlOP(a,213)+op_count_eaFBhJ0Uku(a,a)+op_count_HJ9erzHUuu(op_1aApVXNlOP(a,213),op_eaFBhJ0Uku(a,a))+op_count_3Oe9XWJUTD(op_E4l6HwMY31(op_csT5a4elgc(a),op_JDUIKTTSIa(544,a)),op_HJ9erzHUuu(op_1aApVXNlOP(a,213),op_eaFBhJ0Uku(a,a)))+op_count_8n5YIzOsVS(a)+op_count_t4WUHVGj7f(a)
    else:
        count = op_count_7PjNe5qSIJ(a,a)+op_count_Qaz2MhZaG5(a,a)+op_count_cFVlceoRkX(op_7PjNe5qSIJ(a,a),op_Qaz2MhZaG5(a,a))+op_count_EO7Xdgo9So(op_cFVlceoRkX(op_7PjNe5qSIJ(a,a),op_Qaz2MhZaG5(a,a)))
    return count


def op_R5BlhskJds(a, b):
    if (a >= 682 and op_rPNtK4BLRO(a,944) > 9 and a > 232):
        return op_UqUOXUQnbU(a,b)
    else:
        return op_9bazX3JMtO(71,a)

def op_count_R5BlhskJds(a, b):
    if (a >= 682 and op_rPNtK4BLRO(a,944) > 9 and a > 232):
        count = op_count_UqUOXUQnbU(a,b)+op_count_rPNtK4BLRO(a,944)
    else:
        count = op_count_9bazX3JMtO(71,a)
    return count


def op_MfwsnD69XH(a):
    if (op_LYeZOJ0nQG(a) == 159 or op_8TQKPGA8Ba(a) != 319):
        return a
    else:
        return op_u6S6b8DprG(op_9bazX3JMtO(212,296))

def op_count_MfwsnD69XH(a):
    if (op_LYeZOJ0nQG(a) == 159 or op_8TQKPGA8Ba(a) != 319):
        count = 1
    else:
        count = op_count_9bazX3JMtO(212,296)+op_count_u6S6b8DprG(op_9bazX3JMtO(212,296))
    return count


def op_Q4ioLBsx6T(a):
    if op_hrf7POJlIJ(a,621) != 146 and op_SpZWOsLKZJ(a) <= 544:
        return op_ocnLzx9CaJ(op_YbVcJGFEVW(a,op_DZ8iAZOCBD(a,a)),op_nouZ5SZjt1(op_Bmrmz2XGnR(a,133)))
    else:
        return op_HiPekx5b7W(op_ap3xiM279w(op_PPChnnnBFF(156,a),op_ap3xiM279w(a,439)),op_DX7B1fY6P6(op_w2P8NbNXyL(196,a),op_8cLx32lpNA(a,a)))

def op_count_Q4ioLBsx6T(a):
    if op_hrf7POJlIJ(a,621) != 146 and op_SpZWOsLKZJ(a) <= 544:
        count = op_count_DZ8iAZOCBD(a,a)+op_count_YbVcJGFEVW(a,op_DZ8iAZOCBD(a,a))+op_count_Bmrmz2XGnR(a,133)+op_count_nouZ5SZjt1(op_Bmrmz2XGnR(a,133))+op_count_ocnLzx9CaJ(op_YbVcJGFEVW(a,op_DZ8iAZOCBD(a,a)),op_nouZ5SZjt1(op_Bmrmz2XGnR(a,133)))+op_count_hrf7POJlIJ(a,621)+op_count_SpZWOsLKZJ(a)
    else:
        count = op_count_PPChnnnBFF(156,a)+op_count_ap3xiM279w(a,439)+op_count_ap3xiM279w(op_PPChnnnBFF(156,a),op_ap3xiM279w(a,439))+op_count_w2P8NbNXyL(196,a)+op_count_8cLx32lpNA(a,a)+op_count_DX7B1fY6P6(op_w2P8NbNXyL(196,a),op_8cLx32lpNA(a,a))+op_count_HiPekx5b7W(op_ap3xiM279w(op_PPChnnnBFF(156,a),op_ap3xiM279w(a,439)),op_DX7B1fY6P6(op_w2P8NbNXyL(196,a),op_8cLx32lpNA(a,a)))
    return count


def op_Z3BTqAxb9Q(a):
    if op_8w2t5hMYqp(a) == 186:
        return op_uOZ1tnYMDE(op_HJ9erzHUuu(345,a))
    else:
        return op_j9kHMeSvPp(a,op_aSik1wnThz(382))

def op_count_Z3BTqAxb9Q(a):
    if op_8w2t5hMYqp(a) == 186:
        count = op_count_HJ9erzHUuu(345,a)+op_count_uOZ1tnYMDE(op_HJ9erzHUuu(345,a))+op_count_8w2t5hMYqp(a)
    else:
        count = op_count_aSik1wnThz(382)+op_count_j9kHMeSvPp(a,op_aSik1wnThz(382))
    return count


def op_tOisafnce1(a):
    if (op_SgAxmdLNEA(a) <= 110 or op_IwW236VD4Y(a,843) >= 365):
        return op_HrjLwUk87U(a,a)
    else:
        return op_g55IO6H4Gj(a,a)

def op_count_tOisafnce1(a):
    if (op_SgAxmdLNEA(a) <= 110 or op_IwW236VD4Y(a,843) >= 365):
        count = op_count_HrjLwUk87U(a,a)+op_count_SgAxmdLNEA(a)+op_count_IwW236VD4Y(a,843)
    else:
        count = op_count_g55IO6H4Gj(a,a)
    return count


a⨒⪷ = { (a⩤) , if a!=114 ; (a∲⫑a) , else }

def op_KyVz9wbwCq(a):
    if a != 114:
        return op_Z2TMIBDE3Q(a)
    else:
        return op_NrdPCfJQiM(a,a)

def op_count_KyVz9wbwCq(a):
    if a != 114:
        count = op_count_Z2TMIBDE3Q(a)
    else:
        count = op_count_NrdPCfJQiM(a,a)
    return count


a≃∵∷ = { (((↩⪖a)≚⊃≕(∑⇻≧a))⩤∜↚((199⨑⋨a)⨐(a⨰↻⪇a))) , if a==273 ; ((∑⇻≧(⊈a))⫊⇚⊺(⫳⪺∰(a⇌⫙⪟a))) , else }

def op_VLryhnOmfw(a):
    if a == 273:
        return op_KROiRRz3d6(op_Bmrmz2XGnR(op_fG6uBQFnGz(a),op_l1M9WJ3V7u(a)),op_Noe24qw2ks(op_tIhPxZTbsh(199,a),op_nbuSfrB4hB(a,a)))
    else:
        return op_Y5cEcQhyKu(op_l1M9WJ3V7u(op_RHru8klgy8(a)),op_eftAHwPbeA(op_AFVx7xoS7T(a,a)))

def op_count_VLryhnOmfw(a):
    if a == 273:
        count = op_count_fG6uBQFnGz(a)+op_count_l1M9WJ3V7u(a)+op_count_Bmrmz2XGnR(op_fG6uBQFnGz(a),op_l1M9WJ3V7u(a))+op_count_tIhPxZTbsh(199,a)+op_count_nbuSfrB4hB(a,a)+op_count_Noe24qw2ks(op_tIhPxZTbsh(199,a),op_nbuSfrB4hB(a,a))+op_count_KROiRRz3d6(op_Bmrmz2XGnR(op_fG6uBQFnGz(a),op_l1M9WJ3V7u(a)),op_Noe24qw2ks(op_tIhPxZTbsh(199,a),op_nbuSfrB4hB(a,a)))
    else:
        count = op_count_RHru8klgy8(a)+op_count_l1M9WJ3V7u(op_RHru8klgy8(a))+op_count_AFVx7xoS7T(a,a)+op_count_eftAHwPbeA(op_AFVx7xoS7T(a,a))+op_count_Y5cEcQhyKu(op_l1M9WJ3V7u(op_RHru8klgy8(a)),op_eftAHwPbeA(op_AFVx7xoS7T(a,a)))
    return count


def op_OyrH4sjXAg(a, b):
    if b <= 572:
        return op_lAOUD4ZMWV(op_v0DYgG9ikt(op_g55IO6H4Gj(a,b)))
    else:
        return op_JgXZM7XvWE(op_6LuFrogppQ(op_ljTHtUsqzn(138)),op_kbkesczE7y(op_1aApVXNlOP(b,a),op_jBC4ymW3D7(417,494)))

def op_count_OyrH4sjXAg(a, b):
    if b <= 572:
        count = op_count_g55IO6H4Gj(a,b)+op_count_v0DYgG9ikt(op_g55IO6H4Gj(a,b))+op_count_lAOUD4ZMWV(op_v0DYgG9ikt(op_g55IO6H4Gj(a,b)))
    else:
        count = op_count_ljTHtUsqzn(138)+op_count_6LuFrogppQ(op_ljTHtUsqzn(138))+op_count_1aApVXNlOP(b,a)+op_count_jBC4ymW3D7(417,494)+op_count_kbkesczE7y(op_1aApVXNlOP(b,a),op_jBC4ymW3D7(417,494))+op_count_JgXZM7XvWE(op_6LuFrogppQ(op_ljTHtUsqzn(138)),op_kbkesczE7y(op_1aApVXNlOP(b,a),op_jBC4ymW3D7(417,494)))
    return count


def op_7uNwVuK1U2(a):
    if a >= 123:
        return op_L05ObWFQCd(op_UIU2Eox550(a),op_uPb5QRN0te(a))
    else:
        return op_ap3xiM279w(120,op_gx7XJ7hdpj(a,40))

def op_count_7uNwVuK1U2(a):
    if a >= 123:
        count = op_count_UIU2Eox550(a)+op_count_uPb5QRN0te(a)+op_count_L05ObWFQCd(op_UIU2Eox550(a),op_uPb5QRN0te(a))
    else:
        count = op_count_gx7XJ7hdpj(a,40)+op_count_ap3xiM279w(120,op_gx7XJ7hdpj(a,40))
    return count


a⊫⩢b = { (((a⨚550)⪎↠(b⩜⩌))⊱⇼⊻((a⊵↤)⇌⫙⪟(b-∠a))) , if (b∘⨩)<101 ; a , else }

def op_KcPBP832pE(a, b):
    if op_aHKFHkCgn9(b) < 101:
        return op_FyVja0WsTP(op_3tVxb0NHM4(op_nREPSIbpBE(a,550),op_2DRhT6gtPg(b)),op_AFVx7xoS7T(op_7IPrd9c3lf(a),op_s0IfDFCCuZ(b,a)))
    else:
        return a

def op_count_KcPBP832pE(a, b):
    if op_aHKFHkCgn9(b) < 101:
        count = op_count_nREPSIbpBE(a,550)+op_count_2DRhT6gtPg(b)+op_count_3tVxb0NHM4(op_nREPSIbpBE(a,550),op_2DRhT6gtPg(b))+op_count_7IPrd9c3lf(a)+op_count_s0IfDFCCuZ(b,a)+op_count_AFVx7xoS7T(op_7IPrd9c3lf(a),op_s0IfDFCCuZ(b,a))+op_count_FyVja0WsTP(op_3tVxb0NHM4(op_nREPSIbpBE(a,550),op_2DRhT6gtPg(b)),op_AFVx7xoS7T(op_7IPrd9c3lf(a),op_s0IfDFCCuZ(b,a)))+op_count_aHKFHkCgn9(b)
    else:
        count = 1
    return count


a⊓⊗⊰b = { (∓(b⋎(a↨⪍≴11))) , if (b↼⊘⨖554)>196 ; (⋽⪳⨃b) , else }

def op_2w35hwqTBJ(a, b):
    if op_bPywburJMS(b,554) > 196:
        return op_OwUj7dcsQK(op_qy3n0tapmE(b,op_DX7B1fY6P6(a,11)))
    else:
        return op_qAljGMXEZr(b)

def op_count_2w35hwqTBJ(a, b):
    if op_bPywburJMS(b,554) > 196:
        count = op_count_DX7B1fY6P6(a,11)+op_count_qy3n0tapmE(b,op_DX7B1fY6P6(a,11))+op_count_OwUj7dcsQK(op_qy3n0tapmE(b,op_DX7B1fY6P6(a,11)))+op_count_bPywburJMS(b,554)
    else:
        count = op_count_qAljGMXEZr(b)
    return count


a∿∖b = { (⊄⩳↩(264⊵b)) , if (⩦⊞a)>=68 ; ((b∠↢a)↢a) , else }

def op_j9qIIAB78T(a, b):
    if op_u7fv1HBiaC(a) >= 68:
        return op_8w2t5hMYqp(op_eaFBhJ0Uku(264,b))
    else:
        return op_WR6HLWljOP(op_KbjG8mgYpV(b,a),a)

def op_count_j9qIIAB78T(a, b):
    if op_u7fv1HBiaC(a) >= 68:
        count = op_count_eaFBhJ0Uku(264,b)+op_count_8w2t5hMYqp(op_eaFBhJ0Uku(264,b))+op_count_u7fv1HBiaC(a)
    else:
        count = op_count_KbjG8mgYpV(b,a)+op_count_WR6HLWljOP(op_KbjG8mgYpV(b,a),a)
    return count


a⫻-⫄b = { ((⊀a)∿⫑≎b) , if a>214 ; (⩰(b⫶b)) , else }

def op_qO3m3EJotg(a, b):
    if a > 214:
        return op_ar1w6gUwHX(op_oPMjh9089D(a),b)
    else:
        return op_WkeUrDK8WX(op_BAIXFdYaz3(b,b))

def op_count_qO3m3EJotg(a, b):
    if a > 214:
        count = op_count_oPMjh9089D(a)+op_count_ar1w6gUwHX(op_oPMjh9089D(a),b)
    else:
        count = op_count_BAIXFdYaz3(b,b)+op_count_WkeUrDK8WX(op_BAIXFdYaz3(b,b))
    return count


a⋭⪻ = { (((a⨣∐↬127)∴≳≥)∇⊂⋱((7↼⊘⨖623)⩽⩡(a⫚↹⊑35))) , if (a⊢≏≾178)>=631 ; ((⩏⊷≩(a⪚⨁⋖a))⩾((a⩷∴a)⊉↱≁(a≣a))) , else }

def op_MCGqqsDoDu(a):
    if op_qxqspddX8k(a,178) >= 631:
        return op_nhYeJWJD5X(op_a3N2hFLK0J(op_UpkSd4zESC(a,127)),op_zFNL8mZEFB(op_bPywburJMS(7,623),op_dfKe02y8D2(a,35)))
    else:
        return op_UggxBX659n(op_uOZ1tnYMDE(op_xSk1F0pZbF(a,a)),op_w2P8NbNXyL(op_9FxExcQeMw(a,a),op_ObEyaaML9x(a,a)))

def op_count_MCGqqsDoDu(a):
    if op_qxqspddX8k(a,178) >= 631:
        count = op_count_UpkSd4zESC(a,127)+op_count_a3N2hFLK0J(op_UpkSd4zESC(a,127))+op_count_bPywburJMS(7,623)+op_count_dfKe02y8D2(a,35)+op_count_zFNL8mZEFB(op_bPywburJMS(7,623),op_dfKe02y8D2(a,35))+op_count_nhYeJWJD5X(op_a3N2hFLK0J(op_UpkSd4zESC(a,127)),op_zFNL8mZEFB(op_bPywburJMS(7,623),op_dfKe02y8D2(a,35)))+op_count_qxqspddX8k(a,178)
    else:
        count = op_count_xSk1F0pZbF(a,a)+op_count_uOZ1tnYMDE(op_xSk1F0pZbF(a,a))+op_count_9FxExcQeMw(a,a)+op_count_ObEyaaML9x(a,a)+op_count_w2P8NbNXyL(op_9FxExcQeMw(a,a),op_ObEyaaML9x(a,a))+op_count_UggxBX659n(op_uOZ1tnYMDE(op_xSk1F0pZbF(a,a)),op_w2P8NbNXyL(op_9FxExcQeMw(a,a),op_ObEyaaML9x(a,a)))
    return count


a∬⋴∣ = { a , if (a⫇⋯745)==26 ; (↰⫏a) , else }

def op_5Zy4XL978q(a):
    if op_xoJmIySC7h(a,745) == 26:
        return a
    else:
        return op_UeUK5QjOtW(a)

def op_count_5Zy4XL978q(a):
    if op_xoJmIySC7h(a,745) == 26:
        count = 1
    else:
        count = op_count_UeUK5QjOtW(a)
    return count


a⨩⊗b = { (a⪹) , if b==79 ; (b⪍↜⋙a) , else }

def op_Bw0fzZ75Yl(a, b):
    if b == 79:
        return op_B3sABdIn96(a)
    else:
        return op_L05ObWFQCd(b,a)

def op_count_Bw0fzZ75Yl(a, b):
    if b == 79:
        count = op_count_B3sABdIn96(a)
    else:
        count = op_count_L05ObWFQCd(b,a)
    return count


a⩔⩸⫂ = { (a⪨⊡a) , if (⋗⩬⋾a)<434 ; (a⊝⨜≵) , else }

def op_Ph6Bxs9HtG(a):
    if op_DpFCA1CohY(a) < 434:
        return op_kuIXHzHcAH(a,a)
    else:
        return op_CuHhPb8RwQ(a)

def op_count_Ph6Bxs9HtG(a):
    if op_DpFCA1CohY(a) < 434:
        count = op_count_kuIXHzHcAH(a,a)+op_count_DpFCA1CohY(a)
    else:
        count = op_count_CuHhPb8RwQ(a)
    return count


def op_L5OADnjQfs(a):
    if op_R3vAdrE3IH(a) >= 241:
        return op_rysDP5nf3Z(op_Y7wcNGrDQJ(78,237),op_1aApVXNlOP(a,a))
    else:
        return op_C6VvDP6HwP(op_gx7XJ7hdpj(a,172))

def op_count_L5OADnjQfs(a):
    if op_R3vAdrE3IH(a) >= 241:
        count = op_count_Y7wcNGrDQJ(78,237)+op_count_1aApVXNlOP(a,a)+op_count_rysDP5nf3Z(op_Y7wcNGrDQJ(78,237),op_1aApVXNlOP(a,a))+op_count_R3vAdrE3IH(a)
    else:
        count = op_count_gx7XJ7hdpj(a,172)+op_count_C6VvDP6HwP(op_gx7XJ7hdpj(a,172))
    return count


def op_pTwwK1ckmi(a):
    if a < 144:
        return op_BiWNJpBvwn(op_8TQKPGA8Ba(op_Z5m6OM72h2(a,a)),op_xRrnTEsQ6j(op_YSKBFp38Pu(174,66),op_w2P8NbNXyL(a,136)))
    else:
        return op_bl5wxAcryP(op_UoVew8f2p2(op_t0cKpDWDXO(a),567))

def op_count_pTwwK1ckmi(a):
    if a < 144:
        count = op_count_Z5m6OM72h2(a,a)+op_count_8TQKPGA8Ba(op_Z5m6OM72h2(a,a))+op_count_YSKBFp38Pu(174,66)+op_count_w2P8NbNXyL(a,136)+op_count_xRrnTEsQ6j(op_YSKBFp38Pu(174,66),op_w2P8NbNXyL(a,136))+op_count_BiWNJpBvwn(op_8TQKPGA8Ba(op_Z5m6OM72h2(a,a)),op_xRrnTEsQ6j(op_YSKBFp38Pu(174,66),op_w2P8NbNXyL(a,136)))
    else:
        count = op_count_t0cKpDWDXO(a)+op_count_UoVew8f2p2(op_t0cKpDWDXO(a),567)+op_count_bl5wxAcryP(op_UoVew8f2p2(op_t0cKpDWDXO(a),567))
    return count


def op_iGBilXZWAT(a):
    if (op_wmlQD0656L(a) != 77 or a > 330 or op_LxFB4K6j0n(a) < 311):
        return op_iz8sE888QL(op_ew17WAA8t6(op_b1mGkbI4Oy(a,a)))
    else:
        return op_qxqspddX8k(op_5RY6W0glyJ(op_7qqUquhhSb(128)),op_DbCuESL50I(op_cwbF3JtlMN(a,a)))

def op_count_iGBilXZWAT(a):
    if (op_wmlQD0656L(a) != 77 or a > 330 or op_LxFB4K6j0n(a) < 311):
        count = op_count_b1mGkbI4Oy(a,a)+op_count_ew17WAA8t6(op_b1mGkbI4Oy(a,a))+op_count_iz8sE888QL(op_ew17WAA8t6(op_b1mGkbI4Oy(a,a)))+op_count_wmlQD0656L(a)+op_count_LxFB4K6j0n(a)
    else:
        count = op_count_7qqUquhhSb(128)+op_count_5RY6W0glyJ(op_7qqUquhhSb(128))+op_count_cwbF3JtlMN(a,a)+op_count_DbCuESL50I(op_cwbF3JtlMN(a,a))+op_count_qxqspddX8k(op_5RY6W0glyJ(op_7qqUquhhSb(128)),op_DbCuESL50I(op_cwbF3JtlMN(a,a)))
    return count


def op_uEiDLHpX5n(a, b):
    if (b == 33 and op_COABgblf1C(a,950) == 846):
        return op_2jG7DiviLq(op_rysDP5nf3Z(op_gx7XJ7hdpj(a,b),op_oPMjh9089D(a)))
    else:
        return op_KYL1uVeVpb(op_kz228nwi0J(op_nREPSIbpBE(a,a)),op_aiqF8n6J9c(op_OTRTVPweYV(23,176),op_BUOGQAYlQx(b)))

def op_count_uEiDLHpX5n(a, b):
    if (b == 33 and op_COABgblf1C(a,950) == 846):
        count = op_count_gx7XJ7hdpj(a,b)+op_count_oPMjh9089D(a)+op_count_rysDP5nf3Z(op_gx7XJ7hdpj(a,b),op_oPMjh9089D(a))+op_count_2jG7DiviLq(op_rysDP5nf3Z(op_gx7XJ7hdpj(a,b),op_oPMjh9089D(a)))+op_count_COABgblf1C(a,950)
    else:
        count = op_count_nREPSIbpBE(a,a)+op_count_kz228nwi0J(op_nREPSIbpBE(a,a))+op_count_OTRTVPweYV(23,176)+op_count_BUOGQAYlQx(b)+op_count_aiqF8n6J9c(op_OTRTVPweYV(23,176),op_BUOGQAYlQx(b))+op_count_KYL1uVeVpb(op_kz228nwi0J(op_nREPSIbpBE(a,a)),op_aiqF8n6J9c(op_OTRTVPweYV(23,176),op_BUOGQAYlQx(b)))
    return count


a∘≹⊼b = { a , if b==239 or (b∠⫱810)>=632 ; (((b⫶a)⨜⇔(b↾⩰))⨜⇔(a⨌↪)) , else }

def op_TSjMxbSiHV(a, b):
    if b == 239 or op_QvoQhV0rrE(b,810) >= 632:
        return a
    else:
        return op_Sq3AGanRSD(op_Sq3AGanRSD(op_BAIXFdYaz3(b,a),op_GNmBfxrna9(b)),op_cWQsF5MvuD(a))

def op_count_TSjMxbSiHV(a, b):
    if b == 239 or op_QvoQhV0rrE(b,810) >= 632:
        count = 1
    else:
        count = op_count_BAIXFdYaz3(b,a)+op_count_GNmBfxrna9(b)+op_count_Sq3AGanRSD(op_BAIXFdYaz3(b,a),op_GNmBfxrna9(b))+op_count_cWQsF5MvuD(a)+op_count_Sq3AGanRSD(op_Sq3AGanRSD(op_BAIXFdYaz3(b,a),op_GNmBfxrna9(b)),op_cWQsF5MvuD(a))
    return count


def op_VdmiI1y7EZ(a):
    if op_B3sABdIn96(a) <= 113:
        return op_40aOVDgCDB(a)
    else:
        return op_S7Dkc5Re0B(a)

def op_count_VdmiI1y7EZ(a):
    if op_B3sABdIn96(a) <= 113:
        count = op_count_40aOVDgCDB(a)+op_count_B3sABdIn96(a)
    else:
        count = op_count_S7Dkc5Re0B(a)
    return count


a⨵⊯↼ = { (((a⋂⩴a)⨔⇊(a∘⨩))⋳/((↓⇌a)≻⇥≳(a⫸a))) , if a>=18 ; (((a⨙)∲⫓a)⋷(⩦⩻⨪(a↙↠))) , else }

def op_SwUWC1zNOk(a):
    if a >= 18:
        return op_m612RDITqL(op_JclMnS0uGI(op_hmlrMsD2PO(a,a),op_aHKFHkCgn9(a)),op_aiqF8n6J9c(op_PxpmPgHHJV(a),op_Qaz2MhZaG5(a,a)))
    else:
        return op_23Mk6UjR3U(op_i8ToyICDmI(op_rlpcYeipVY(a),a),op_2td37pGCOC(op_texHS70gxN(a)))

def op_count_SwUWC1zNOk(a):
    if a >= 18:
        count = op_count_hmlrMsD2PO(a,a)+op_count_aHKFHkCgn9(a)+op_count_JclMnS0uGI(op_hmlrMsD2PO(a,a),op_aHKFHkCgn9(a))+op_count_PxpmPgHHJV(a)+op_count_Qaz2MhZaG5(a,a)+op_count_aiqF8n6J9c(op_PxpmPgHHJV(a),op_Qaz2MhZaG5(a,a))+op_count_m612RDITqL(op_JclMnS0uGI(op_hmlrMsD2PO(a,a),op_aHKFHkCgn9(a)),op_aiqF8n6J9c(op_PxpmPgHHJV(a),op_Qaz2MhZaG5(a,a)))
    else:
        count = op_count_rlpcYeipVY(a)+op_count_i8ToyICDmI(op_rlpcYeipVY(a),a)+op_count_texHS70gxN(a)+op_count_2td37pGCOC(op_texHS70gxN(a))+op_count_23Mk6UjR3U(op_i8ToyICDmI(op_rlpcYeipVY(a),a),op_2td37pGCOC(op_texHS70gxN(a)))
    return count


a↳b = { (((a∀⩎⋷5)⋂⩴(b∅b))⨜⇔((a⇿⊰a)≣(b⨰↻⪇b))) , if b<=698 ; (⊀⇵((266⊩≵⪔)≖−≲)) , else }

def op_K1uHWJv1IW(a, b):
    if b <= 698:
        return op_Sq3AGanRSD(op_hmlrMsD2PO(op_FPxP5Y1j0W(a,5),op_giaUb8UVhq(b,b)),op_ObEyaaML9x(op_ap3xiM279w(a,a),op_nbuSfrB4hB(b,b)))
    else:
        return op_B3tNObfNaL(op_IpgdDpBHsO(op_aDRGw0okjd(266)))

def op_count_K1uHWJv1IW(a, b):
    if b <= 698:
        count = op_count_FPxP5Y1j0W(a,5)+op_count_giaUb8UVhq(b,b)+op_count_hmlrMsD2PO(op_FPxP5Y1j0W(a,5),op_giaUb8UVhq(b,b))+op_count_ap3xiM279w(a,a)+op_count_nbuSfrB4hB(b,b)+op_count_ObEyaaML9x(op_ap3xiM279w(a,a),op_nbuSfrB4hB(b,b))+op_count_Sq3AGanRSD(op_hmlrMsD2PO(op_FPxP5Y1j0W(a,5),op_giaUb8UVhq(b,b)),op_ObEyaaML9x(op_ap3xiM279w(a,a),op_nbuSfrB4hB(b,b)))
    else:
        count = op_count_aDRGw0okjd(266)+op_count_IpgdDpBHsO(op_aDRGw0okjd(266))+op_count_B3tNObfNaL(op_IpgdDpBHsO(op_aDRGw0okjd(266)))
    return count


≪⩌a = { (a⨳⩥⨓a) , if a>=1 ; (a⊋≦⊧a) , else }

def op_h1GNKBeiQI(a):
    if a >= 1:
        return op_nCS4ZIUYfx(a,a)
    else:
        return op_oRDoc9rAEX(a,a)

def op_count_h1GNKBeiQI(a):
    if a >= 1:
        count = op_count_nCS4ZIUYfx(a,a)
    else:
        count = op_count_oRDoc9rAEX(a,a)
    return count


def op_wSoGPMhNND(a):
    if a > 14:
        return op_dfKe02y8D2(197,248)
    else:
        return op_86A5ENbKR9(24)

def op_count_wSoGPMhNND(a):
    if a > 14:
        count = op_count_dfKe02y8D2(197,248)
    else:
        count = op_count_86A5ENbKR9(24)
    return count


⇊⋕↭a = { (a≝⊿0) , if a==290 ; (⩰a) , else }

def op_9ICB09zv9L(a):
    if a == 290:
        return op_OKKcZfAt5B(a,0)
    else:
        return op_WkeUrDK8WX(a)

def op_count_9ICB09zv9L(a):
    if a == 290:
        count = op_count_OKKcZfAt5B(a,0)
    else:
        count = op_count_WkeUrDK8WX(a)
    return count


∾∥a = { (a⊙) , if a==54 ; (a⨩≤⫤a) , else }

def op_bT4aPWTCol(a):
    if a == 54:
        return op_pjdzZ5rP1Y(a)
    else:
        return op_neKQRQQIil(a,a)

def op_count_bT4aPWTCol(a):
    if a == 54:
        count = op_count_pjdzZ5rP1Y(a)
    else:
        count = op_count_neKQRQQIil(a,a)
    return count


def op_AkfP8Zv6DW(a, b):
    if op_4JGOJzXMq1(a,658) != 311:
        return op_S7Dkc5Re0B(op_gSr4c7pPrV(a))
    else:
        return op_oH594TLvBK(op_ocnLzx9CaJ(op_4JB6nKBMSY(b,a),op_IwW236VD4Y(b,343)))

def op_count_AkfP8Zv6DW(a, b):
    if op_4JGOJzXMq1(a,658) != 311:
        count = op_count_gSr4c7pPrV(a)+op_count_S7Dkc5Re0B(op_gSr4c7pPrV(a))+op_count_4JGOJzXMq1(a,658)
    else:
        count = op_count_4JB6nKBMSY(b,a)+op_count_IwW236VD4Y(b,343)+op_count_ocnLzx9CaJ(op_4JB6nKBMSY(b,a),op_IwW236VD4Y(b,343))+op_count_oH594TLvBK(op_ocnLzx9CaJ(op_4JB6nKBMSY(b,a),op_IwW236VD4Y(b,343)))
    return count


a↹⫥b = { ((⋸⪍(b⊨a))⊙) , if b<32 ; (((585↨⪍≴a)∙∹∝(⇙⪊b))⊉≛↸((b⨑b)⊉≛↸(b⫶b))) , else }

def op_OSE2w6XS66(a, b):
    if b < 32:
        return op_pjdzZ5rP1Y(op_PrwIXj9ZQe(op_vg4gO5BX6G(b,a)))
    else:
        return op_DZ8iAZOCBD(op_HmxsFra2vL(op_DX7B1fY6P6(585,a),op_pB6Fcnrjim(b)),op_DZ8iAZOCBD(op_IxJHfR5psi(b,b),op_BAIXFdYaz3(b,b)))

def op_count_OSE2w6XS66(a, b):
    if b < 32:
        count = op_count_vg4gO5BX6G(b,a)+op_count_PrwIXj9ZQe(op_vg4gO5BX6G(b,a))+op_count_pjdzZ5rP1Y(op_PrwIXj9ZQe(op_vg4gO5BX6G(b,a)))
    else:
        count = op_count_DX7B1fY6P6(585,a)+op_count_pB6Fcnrjim(b)+op_count_HmxsFra2vL(op_DX7B1fY6P6(585,a),op_pB6Fcnrjim(b))+op_count_IxJHfR5psi(b,b)+op_count_BAIXFdYaz3(b,b)+op_count_DZ8iAZOCBD(op_IxJHfR5psi(b,b),op_BAIXFdYaz3(b,b))+op_count_DZ8iAZOCBD(op_HmxsFra2vL(op_DX7B1fY6P6(585,a),op_pB6Fcnrjim(b)),op_DZ8iAZOCBD(op_IxJHfR5psi(b,b),op_BAIXFdYaz3(b,b)))
    return count


a↻b = { (((a≦↸a)⪉⨛(a⩵∡97))⪖⪡((96∌↝a)⨰↻⪇(a≏⨯⊱158))) , if (b∐⫣)>245 ; (b⇄((⋄a)∲⫑(b⊬⨰a))) , else }

def op_XFunts32PM(a, b):
    if op_4CyGpkTkEk(b) > 245:
        return op_7PjNe5qSIJ(op_EWw2JM7wp4(op_RygbFNSyEJ(a,a),op_Y7wcNGrDQJ(a,97)),op_nbuSfrB4hB(op_9Isq31Ruls(96,a),op_UqUOXUQnbU(a,158)))
    else:
        return op_3EYGwJThht(b,op_NrdPCfJQiM(op_k2B77S3vSv(a),op_s3Fd5m9Dh2(b,a)))

def op_count_XFunts32PM(a, b):
    if op_4CyGpkTkEk(b) > 245:
        count = op_count_RygbFNSyEJ(a,a)+op_count_Y7wcNGrDQJ(a,97)+op_count_EWw2JM7wp4(op_RygbFNSyEJ(a,a),op_Y7wcNGrDQJ(a,97))+op_count_9Isq31Ruls(96,a)+op_count_UqUOXUQnbU(a,158)+op_count_nbuSfrB4hB(op_9Isq31Ruls(96,a),op_UqUOXUQnbU(a,158))+op_count_7PjNe5qSIJ(op_EWw2JM7wp4(op_RygbFNSyEJ(a,a),op_Y7wcNGrDQJ(a,97)),op_nbuSfrB4hB(op_9Isq31Ruls(96,a),op_UqUOXUQnbU(a,158)))+op_count_4CyGpkTkEk(b)
    else:
        count = op_count_k2B77S3vSv(a)+op_count_s3Fd5m9Dh2(b,a)+op_count_NrdPCfJQiM(op_k2B77S3vSv(a),op_s3Fd5m9Dh2(b,a))+op_count_3EYGwJThht(b,op_NrdPCfJQiM(op_k2B77S3vSv(a),op_s3Fd5m9Dh2(b,a)))
    return count


a⫝√b = { (⊲⪭((a⋘⨑⨽)⪯⫾⋍(a⨻⪊⨷b))) , if (b>257 or (b↜⊷981)<=778) ; (a≽↲≰(⊤⊝(b⨬⫳))) , else }

def op_h9SYvkAopU(a, b):
    if (b > 257 or op_irKjLsMeKy(b,981) <= 778):
        return op_k7HXdKtiEU(op_S5ZFQS4GK3(op_WmT3o8z6ya(a),op_Pkwamo1tM2(a,b)))
    else:
        return op_cFVlceoRkX(a,op_rXAclfmB4M(op_kc7iqVBlRY(b)))

def op_count_h9SYvkAopU(a, b):
    if (b > 257 or op_irKjLsMeKy(b,981) <= 778):
        count = op_count_WmT3o8z6ya(a)+op_count_Pkwamo1tM2(a,b)+op_count_S5ZFQS4GK3(op_WmT3o8z6ya(a),op_Pkwamo1tM2(a,b))+op_count_k7HXdKtiEU(op_S5ZFQS4GK3(op_WmT3o8z6ya(a),op_Pkwamo1tM2(a,b)))+op_count_irKjLsMeKy(b,981)
    else:
        count = op_count_kc7iqVBlRY(b)+op_count_rXAclfmB4M(op_kc7iqVBlRY(b))+op_count_cFVlceoRkX(a,op_rXAclfmB4M(op_kc7iqVBlRY(b)))
    return count


a⨐⪤b = { (((658∅a)↼⊘⨖(⨢⋑⪾b))⪭((a≝⊿b)⩘⋿(b↾⩰))) , if (b⩜⩌)<81 ; (((a∌↝b)⨴(a⩷∴783))⪇≇⋚((b⨑≵⋬a)⫁⪎(a∀⩎⋷a))) , else }

def op_4yVIdyRSpi(a, b):
    if op_2DRhT6gtPg(b) < 81:
        return op_j9kHMeSvPp(op_bPywburJMS(op_giaUb8UVhq(658,a),op_tmjFFOTKyA(b)),op_64EQ39e0fC(op_OKKcZfAt5B(a,b),op_GNmBfxrna9(b)))
    else:
        return op_3sJ7IOPOlU(op_jBC4ymW3D7(op_9Isq31Ruls(a,b),op_9FxExcQeMw(a,783)),op_xRrnTEsQ6j(op_XnXgA4xnOs(b,a),op_FPxP5Y1j0W(a,a)))

def op_count_4yVIdyRSpi(a, b):
    if op_2DRhT6gtPg(b) < 81:
        count = op_count_giaUb8UVhq(658,a)+op_count_tmjFFOTKyA(b)+op_count_bPywburJMS(op_giaUb8UVhq(658,a),op_tmjFFOTKyA(b))+op_count_OKKcZfAt5B(a,b)+op_count_GNmBfxrna9(b)+op_count_64EQ39e0fC(op_OKKcZfAt5B(a,b),op_GNmBfxrna9(b))+op_count_j9kHMeSvPp(op_bPywburJMS(op_giaUb8UVhq(658,a),op_tmjFFOTKyA(b)),op_64EQ39e0fC(op_OKKcZfAt5B(a,b),op_GNmBfxrna9(b)))+op_count_2DRhT6gtPg(b)
    else:
        count = op_count_9Isq31Ruls(a,b)+op_count_9FxExcQeMw(a,783)+op_count_jBC4ymW3D7(op_9Isq31Ruls(a,b),op_9FxExcQeMw(a,783))+op_count_XnXgA4xnOs(b,a)+op_count_FPxP5Y1j0W(a,a)+op_count_xRrnTEsQ6j(op_XnXgA4xnOs(b,a),op_FPxP5Y1j0W(a,a))+op_count_3sJ7IOPOlU(op_jBC4ymW3D7(op_9Isq31Ruls(a,b),op_9FxExcQeMw(a,783)),op_xRrnTEsQ6j(op_XnXgA4xnOs(b,a),op_FPxP5Y1j0W(a,a)))
    return count


def op_GAVB7XhWSO(a):
    if a != 615:
        return op_3tVxb0NHM4(op_Z5m6OM72h2(410,94),op_HmxsFra2vL(a,233))
    else:
        return op_R3vAdrE3IH(op_QvoQhV0rrE(234,a))

def op_count_GAVB7XhWSO(a):
    if a != 615:
        count = op_count_Z5m6OM72h2(410,94)+op_count_HmxsFra2vL(a,233)+op_count_3tVxb0NHM4(op_Z5m6OM72h2(410,94),op_HmxsFra2vL(a,233))
    else:
        count = op_count_QvoQhV0rrE(234,a)+op_count_R3vAdrE3IH(op_QvoQhV0rrE(234,a))
    return count