a⊶⫨b = { (((b∑a)⋰⇉∕(≤/b))⊲⩕⊾(⩦⩻⨪(69↪∷a))) }

def op_3AHgZhA1m2(a, b):
    return op_DmTXOeWf9t(op_sM9mzqIDB1(op_JFrVJKYFMX(b,a),op_eLAdDNolq6(b)),op_2td37pGCOC(op_Api82iH42a(69,a)))

def op_count_3AHgZhA1m2(a, b):
    count = op_count_JFrVJKYFMX(b,a)+op_count_eLAdDNolq6(b)+op_count_sM9mzqIDB1(op_JFrVJKYFMX(b,a),op_eLAdDNolq6(b))+op_count_Api82iH42a(69,a)+op_count_2td37pGCOC(op_Api82iH42a(69,a))+op_count_DmTXOeWf9t(op_sM9mzqIDB1(op_JFrVJKYFMX(b,a),op_eLAdDNolq6(b)),op_2td37pGCOC(op_Api82iH42a(69,a)))
    return count


def op_ij6XdPcCgN(a):
    return op_GNmBfxrna9(op_WR6HLWljOP(a,152))

def op_count_ij6XdPcCgN(a):
    count = op_count_WR6HLWljOP(a,152)+op_count_GNmBfxrna9(op_WR6HLWljOP(a,152))
    return count


def op_MiD56F0FLc(a, b):
    return op_DIvbN7qnHd(op_UggxBX659n(op_7PjNe5qSIJ(b,a),b))

def op_count_MiD56F0FLc(a, b):
    count = op_count_7PjNe5qSIJ(b,a)+op_count_UggxBX659n(op_7PjNe5qSIJ(b,a),b)+op_count_DIvbN7qnHd(op_UggxBX659n(op_7PjNe5qSIJ(b,a),b))
    return count


def op_MbELAX2vGJ(a):
    return op_rysDP5nf3Z(op_6l7ULzJsnZ(op_JDUIKTTSIa(a,a)),op_u6S6b8DprG(a))

def op_count_MbELAX2vGJ(a):
    count = op_count_JDUIKTTSIa(a,a)+op_count_6l7ULzJsnZ(op_JDUIKTTSIa(a,a))+op_count_u6S6b8DprG(a)+op_count_rysDP5nf3Z(op_6l7ULzJsnZ(op_JDUIKTTSIa(a,a)),op_u6S6b8DprG(a))
    return count


def op_fMgHvLXn17(a):
    return op_keuJNkrrbj(op_UpkSd4zESC(18,113),op_E4l6HwMY31(a,a))

def op_count_fMgHvLXn17(a):
    count = op_count_UpkSd4zESC(18,113)+op_count_E4l6HwMY31(a,a)+op_count_keuJNkrrbj(op_UpkSd4zESC(18,113),op_E4l6HwMY31(a,a))
    return count


def op_IEFjhcG7wC(a, b):
    return op_UeUK5QjOtW(op_sM9mzqIDB1(op_8TQKPGA8Ba(b),op_ocnLzx9CaJ(a,b)))

def op_count_IEFjhcG7wC(a, b):
    count = op_count_8TQKPGA8Ba(b)+op_count_ocnLzx9CaJ(a,b)+op_count_sM9mzqIDB1(op_8TQKPGA8Ba(b),op_ocnLzx9CaJ(a,b))+op_count_UeUK5QjOtW(op_sM9mzqIDB1(op_8TQKPGA8Ba(b),op_ocnLzx9CaJ(a,b)))
    return count


def op_7iT9y97eD8(a):
    return op_iz8sE888QL(op_IjUb3wyICU(op_Ph9nP6C5qx(a,a)))

def op_count_7iT9y97eD8(a):
    count = op_count_Ph9nP6C5qx(a,a)+op_count_IjUb3wyICU(op_Ph9nP6C5qx(a,a))+op_count_iz8sE888QL(op_IjUb3wyICU(op_Ph9nP6C5qx(a,a)))
    return count


def op_dREnsuNWoJ(a):
    return op_HrjLwUk87U(a,a)

def op_count_dREnsuNWoJ(a):
    count = op_count_HrjLwUk87U(a,a)
    return count


a⨾ = { (((⩦⊞a)→⨶⪴(a∠⫱a))≼((a⋅⇍a)⩹(71⫃⨇a))) }

def op_sbYsij7Tm7(a):
    return op_SPuZE40Ntn(op_bF6eod5Gvf(op_u7fv1HBiaC(a),op_QvoQhV0rrE(a,a)),op_2Wsdkap16l(op_AdZkA7nFnk(a,a),op_09Ly4LVMIf(71,a)))

def op_count_sbYsij7Tm7(a):
    count = op_count_u7fv1HBiaC(a)+op_count_QvoQhV0rrE(a,a)+op_count_bF6eod5Gvf(op_u7fv1HBiaC(a),op_QvoQhV0rrE(a,a))+op_count_AdZkA7nFnk(a,a)+op_count_09Ly4LVMIf(71,a)+op_count_2Wsdkap16l(op_AdZkA7nFnk(a,a),op_09Ly4LVMIf(71,a))+op_count_SPuZE40Ntn(op_bF6eod5Gvf(op_u7fv1HBiaC(a),op_QvoQhV0rrE(a,a)),op_2Wsdkap16l(op_AdZkA7nFnk(a,a),op_09Ly4LVMIf(71,a)))
    return count


a⊡b = { (((b⪦⩸a)⋟⫀⨗(10⊒a))⩍⋽⫝̸(↖∇⇑(a⇽⩪))) }

def op_ts8K6hLPsW(a, b):
    return op_BiWNJpBvwn(op_dAAkup5nzi(op_0JWJYFSzIQ(b,a),op_rPNtK4BLRO(10,a)),op_th50nGnoUm(op_FonBHBYJbU(a)))

def op_count_ts8K6hLPsW(a, b):
    count = op_count_0JWJYFSzIQ(b,a)+op_count_rPNtK4BLRO(10,a)+op_count_dAAkup5nzi(op_0JWJYFSzIQ(b,a),op_rPNtK4BLRO(10,a))+op_count_FonBHBYJbU(a)+op_count_th50nGnoUm(op_FonBHBYJbU(a))+op_count_BiWNJpBvwn(op_dAAkup5nzi(op_0JWJYFSzIQ(b,a),op_rPNtK4BLRO(10,a)),op_th50nGnoUm(op_FonBHBYJbU(a)))
    return count


def op_fvY4jMd0AS(a, b):
    return op_tnyRA5sazQ(op_Qaz2MhZaG5(op_GMyVS5K48T(a,a),op_WR6HLWljOP(108,b)),op_B3sABdIn96(op_2Wsdkap16l(a,b)))

def op_count_fvY4jMd0AS(a, b):
    count = op_count_GMyVS5K48T(a,a)+op_count_WR6HLWljOP(108,b)+op_count_Qaz2MhZaG5(op_GMyVS5K48T(a,a),op_WR6HLWljOP(108,b))+op_count_2Wsdkap16l(a,b)+op_count_B3sABdIn96(op_2Wsdkap16l(a,b))+op_count_tnyRA5sazQ(op_Qaz2MhZaG5(op_GMyVS5K48T(a,a),op_WR6HLWljOP(108,b)),op_B3sABdIn96(op_2Wsdkap16l(a,b)))
    return count


def op_RlYC4PyG6d(a):
    return op_wsXFuL0hC6(op_bQ67fsrMVf(op_DmTXOeWf9t(a,a)),op_eIba4BG3xN(op_XnXgA4xnOs(a,a)))

def op_count_RlYC4PyG6d(a):
    count = op_count_DmTXOeWf9t(a,a)+op_count_bQ67fsrMVf(op_DmTXOeWf9t(a,a))+op_count_XnXgA4xnOs(a,a)+op_count_eIba4BG3xN(op_XnXgA4xnOs(a,a))+op_count_wsXFuL0hC6(op_bQ67fsrMVf(op_DmTXOeWf9t(a,a)),op_eIba4BG3xN(op_XnXgA4xnOs(a,a)))
    return count


def op_IT3TbjFqSq(a, b):
    return op_ObEyaaML9x(op_3YWlZA9bsa(op_sM9mzqIDB1(201,b),op_Q2SPaKwpPJ(851,a)),op_hYjFJ8q04Z(op_7PjNe5qSIJ(a,b)))

def op_count_IT3TbjFqSq(a, b):
    count = op_count_sM9mzqIDB1(201,b)+op_count_Q2SPaKwpPJ(851,a)+op_count_3YWlZA9bsa(op_sM9mzqIDB1(201,b),op_Q2SPaKwpPJ(851,a))+op_count_7PjNe5qSIJ(a,b)+op_count_hYjFJ8q04Z(op_7PjNe5qSIJ(a,b))+op_count_ObEyaaML9x(op_3YWlZA9bsa(op_sM9mzqIDB1(201,b),op_Q2SPaKwpPJ(851,a)),op_hYjFJ8q04Z(op_7PjNe5qSIJ(a,b)))
    return count


def op_bR4XZN044m(a):
    return op_ocpzidtxKt(op_t0cKpDWDXO(a))

def op_count_bR4XZN044m(a):
    count = op_count_t0cKpDWDXO(a)+op_count_ocpzidtxKt(op_t0cKpDWDXO(a))
    return count


def op_MoI8GQPXxt(a):
    return op_9FxExcQeMw(op_neKQRQQIil(op_wztAlM01eG(143),op_ObEyaaML9x(a,547)),op_nREPSIbpBE(op_QDWDTvZtyM(a),op_neKQRQQIil(a,497)))

def op_count_MoI8GQPXxt(a):
    count = op_count_wztAlM01eG(143)+op_count_ObEyaaML9x(a,547)+op_count_neKQRQQIil(op_wztAlM01eG(143),op_ObEyaaML9x(a,547))+op_count_QDWDTvZtyM(a)+op_count_neKQRQQIil(a,497)+op_count_nREPSIbpBE(op_QDWDTvZtyM(a),op_neKQRQQIil(a,497))+op_count_9FxExcQeMw(op_neKQRQQIil(op_wztAlM01eG(143),op_ObEyaaML9x(a,547)),op_nREPSIbpBE(op_QDWDTvZtyM(a),op_neKQRQQIil(a,497)))
    return count


a∯⩀b = { (((a⊵a)⊭↱(a⊩≵⪔))⪨⊡((a∿⫑≎a)⊝⪿⪼(b⋢b))) }

def op_mB7zfwCp1n(a, b):
    return op_kuIXHzHcAH(op_COABgblf1C(op_eaFBhJ0Uku(a,a),op_aDRGw0okjd(a)),op_3Oe9XWJUTD(op_ar1w6gUwHX(a,a),op_NdELin8EPX(b,b)))

def op_count_mB7zfwCp1n(a, b):
    count = op_count_eaFBhJ0Uku(a,a)+op_count_aDRGw0okjd(a)+op_count_COABgblf1C(op_eaFBhJ0Uku(a,a),op_aDRGw0okjd(a))+op_count_ar1w6gUwHX(a,a)+op_count_NdELin8EPX(b,b)+op_count_3Oe9XWJUTD(op_ar1w6gUwHX(a,a),op_NdELin8EPX(b,b))+op_count_kuIXHzHcAH(op_COABgblf1C(op_eaFBhJ0Uku(a,a),op_aDRGw0okjd(a)),op_3Oe9XWJUTD(op_ar1w6gUwHX(a,a),op_NdELin8EPX(b,b)))
    return count


def op_cuBJ82CzGp(a, b):
    return op_YC3tgrnOyr(op_cwbF3JtlMN(op_D309nIvmXG(6),op_gSr4c7pPrV(b)),op_tnyRA5sazQ(op_UqUOXUQnbU(253,11),op_XIabStNQrY(a)))

def op_count_cuBJ82CzGp(a, b):
    count = op_count_D309nIvmXG(6)+op_count_gSr4c7pPrV(b)+op_count_cwbF3JtlMN(op_D309nIvmXG(6),op_gSr4c7pPrV(b))+op_count_UqUOXUQnbU(253,11)+op_count_XIabStNQrY(a)+op_count_tnyRA5sazQ(op_UqUOXUQnbU(253,11),op_XIabStNQrY(a))+op_count_YC3tgrnOyr(op_cwbF3JtlMN(op_D309nIvmXG(6),op_gSr4c7pPrV(b)),op_tnyRA5sazQ(op_UqUOXUQnbU(253,11),op_XIabStNQrY(a)))
    return count


def op_syzFGkhusE(a, b):
    return op_4JGOJzXMq1(op_2DQ55sFlQl(a,b),op_rv8OxMkTSD(b))

def op_count_syzFGkhusE(a, b):
    count = op_count_2DQ55sFlQl(a,b)+op_count_rv8OxMkTSD(b)+op_count_4JGOJzXMq1(op_2DQ55sFlQl(a,b),op_rv8OxMkTSD(b))
    return count


def op_nzqACYN83e(a):
    return op_PjbVkMzmXE(a,a)

def op_count_nzqACYN83e(a):
    count = op_count_PjbVkMzmXE(a,a)
    return count


def op_MzzvRbhZVg(a):
    return op_IwW236VD4Y(a,a)

def op_count_MzzvRbhZVg(a):
    count = op_count_IwW236VD4Y(a,a)
    return count


def op_E3Ox6p8mIt(a):
    return op_sdazOOVcIp(op_nCS4ZIUYfx(a,a),op_40aOVDgCDB(a))

def op_count_E3Ox6p8mIt(a):
    count = op_count_nCS4ZIUYfx(a,a)+op_count_40aOVDgCDB(a)+op_count_sdazOOVcIp(op_nCS4ZIUYfx(a,a),op_40aOVDgCDB(a))
    return count


def op_Xo6lwn2Ybu(a):
    return op_f6k1SAg4EE(383,a)

def op_count_Xo6lwn2Ybu(a):
    count = op_count_f6k1SAg4EE(383,a)
    return count


def op_TrDKUjqfgw(a, b):
    return op_KYL1uVeVpb(op_gx7XJ7hdpj(a,a),op_KPf6cnQVty(b,18))

def op_count_TrDKUjqfgw(a, b):
    count = op_count_gx7XJ7hdpj(a,a)+op_count_KPf6cnQVty(b,18)+op_count_KYL1uVeVpb(op_gx7XJ7hdpj(a,a),op_KPf6cnQVty(b,18))
    return count


def op_TH6by6n3DS(a):
    return op_3mBM5G4a3l(op_fOIeswaMU4(a))

def op_count_TH6by6n3DS(a):
    count = op_count_fOIeswaMU4(a)+op_count_3mBM5G4a3l(op_fOIeswaMU4(a))
    return count


def op_mb1liLwOKQ(a, b):
    return op_WObL9SsYVE(op_UIU2Eox550(op_RygbFNSyEJ(a,b)),op_jfYOP67v6Y(op_DX7B1fY6P6(a,b)))

def op_count_mb1liLwOKQ(a, b):
    count = op_count_RygbFNSyEJ(a,b)+op_count_UIU2Eox550(op_RygbFNSyEJ(a,b))+op_count_DX7B1fY6P6(a,b)+op_count_jfYOP67v6Y(op_DX7B1fY6P6(a,b))+op_count_WObL9SsYVE(op_UIU2Eox550(op_RygbFNSyEJ(a,b)),op_jfYOP67v6Y(op_DX7B1fY6P6(a,b)))
    return count


def op_xAdqek1hDd(a, b):
    return op_fjqJgF5yyp(op_KROiRRz3d6(b,a))

def op_count_xAdqek1hDd(a, b):
    count = op_count_KROiRRz3d6(b,a)+op_count_fjqJgF5yyp(op_KROiRRz3d6(b,a))
    return count


def op_3VKKtQjORe(a, b):
    return op_zFNL8mZEFB(op_dwb5p0fa6d(op_WR6HLWljOP(b,a)),b)

def op_count_3VKKtQjORe(a, b):
    count = op_count_WR6HLWljOP(b,a)+op_count_dwb5p0fa6d(op_WR6HLWljOP(b,a))+op_count_zFNL8mZEFB(op_dwb5p0fa6d(op_WR6HLWljOP(b,a)),b)
    return count


def op_CAXE9Cb1F1(a):
    return op_xoJmIySC7h(op_eLAdDNolq6(a),a)

def op_count_CAXE9Cb1F1(a):
    count = op_count_eLAdDNolq6(a)+op_count_xoJmIySC7h(op_eLAdDNolq6(a),a)
    return count


def op_hfHSvYrndO(a, b):
    return op_IGFM8TAlm9(op_1aApVXNlOP(op_tifHPKVTfV(a,b),a))

def op_count_hfHSvYrndO(a, b):
    count = op_count_tifHPKVTfV(a,b)+op_count_1aApVXNlOP(op_tifHPKVTfV(a,b),a)+op_count_IGFM8TAlm9(op_1aApVXNlOP(op_tifHPKVTfV(a,b),a))
    return count


a∖⪙b = { (((b⩣⊵⩗376)⋘(a⋾⨟))↪∷((a⊙)∌(b⊢a))) }

def op_wcnuipe1kD(a, b):
    return op_Api82iH42a(op_2M7SKlOzyM(op_wsXFuL0hC6(b,376),op_hYjFJ8q04Z(a)),op_8cLx32lpNA(op_pjdzZ5rP1Y(a),op_5twsqlHp2o(b,a)))

def op_count_wcnuipe1kD(a, b):
    count = op_count_wsXFuL0hC6(b,376)+op_count_hYjFJ8q04Z(a)+op_count_2M7SKlOzyM(op_wsXFuL0hC6(b,376),op_hYjFJ8q04Z(a))+op_count_pjdzZ5rP1Y(a)+op_count_5twsqlHp2o(b,a)+op_count_8cLx32lpNA(op_pjdzZ5rP1Y(a),op_5twsqlHp2o(b,a))+op_count_Api82iH42a(op_2M7SKlOzyM(op_wsXFuL0hC6(b,376),op_hYjFJ8q04Z(a)),op_8cLx32lpNA(op_pjdzZ5rP1Y(a),op_5twsqlHp2o(b,a)))
    return count


def op_4wdLeFtEcX(a):
    return op_hrf7POJlIJ(op_PxpmPgHHJV(a),op_64EQ39e0fC(a,a))

def op_count_4wdLeFtEcX(a):
    count = op_count_PxpmPgHHJV(a)+op_count_64EQ39e0fC(a,a)+op_count_hrf7POJlIJ(op_PxpmPgHHJV(a),op_64EQ39e0fC(a,a))
    return count


a⊠⋹b = { (((⩕↛a)⩧⪆(b⊵b))⪎↠((a∝a)≚⊃≕b)) }

def op_UgjAoJHWT6(a, b):
    return op_3tVxb0NHM4(op_Ikt5ks8PT7(op_3EhVUz7Ug9(a),op_eaFBhJ0Uku(b,b)),op_Bmrmz2XGnR(op_cTDWOvIxvz(a,a),b))

def op_count_UgjAoJHWT6(a, b):
    count = op_count_3EhVUz7Ug9(a)+op_count_eaFBhJ0Uku(b,b)+op_count_Ikt5ks8PT7(op_3EhVUz7Ug9(a),op_eaFBhJ0Uku(b,b))+op_count_cTDWOvIxvz(a,a)+op_count_Bmrmz2XGnR(op_cTDWOvIxvz(a,a),b)+op_count_3tVxb0NHM4(op_Ikt5ks8PT7(op_3EhVUz7Ug9(a),op_eaFBhJ0Uku(b,b)),op_Bmrmz2XGnR(op_cTDWOvIxvz(a,a),b))
    return count


def op_pvbE2flhr7(a, b):
    return op_s0IfDFCCuZ(a,op_eLAdDNolq6(op_OWnFPqjWlR(131,b)))

def op_count_pvbE2flhr7(a, b):
    count = op_count_OWnFPqjWlR(131,b)+op_count_eLAdDNolq6(op_OWnFPqjWlR(131,b))+op_count_s0IfDFCCuZ(a,op_eLAdDNolq6(op_OWnFPqjWlR(131,b)))
    return count


a/⪠≕b = { (((b⇖↽b)⪨⊡(⨩∲⋌b))⩣⊵⩗((⫇a)↨⪍≴(a⪨⊡b))) }

def op_JJul4MxJIR(a, b):
    return op_wsXFuL0hC6(op_kuIXHzHcAH(op_cwbF3JtlMN(b,b),op_aSik1wnThz(b)),op_DX7B1fY6P6(op_YjI8oCXuph(a),op_kuIXHzHcAH(a,b)))

def op_count_JJul4MxJIR(a, b):
    count = op_count_cwbF3JtlMN(b,b)+op_count_aSik1wnThz(b)+op_count_kuIXHzHcAH(op_cwbF3JtlMN(b,b),op_aSik1wnThz(b))+op_count_YjI8oCXuph(a)+op_count_kuIXHzHcAH(a,b)+op_count_DX7B1fY6P6(op_YjI8oCXuph(a),op_kuIXHzHcAH(a,b))+op_count_wsXFuL0hC6(op_kuIXHzHcAH(op_cwbF3JtlMN(b,b),op_aSik1wnThz(b)),op_DX7B1fY6P6(op_YjI8oCXuph(a),op_kuIXHzHcAH(a,b)))
    return count


def op_iSOvhdRDqJ(a):
    return op_Siyfjn51pv(op_SPuZE40Ntn(op_Api82iH42a(a,a),op_IwW236VD4Y(a,a)))

def op_count_iSOvhdRDqJ(a):
    count = op_count_Api82iH42a(a,a)+op_count_IwW236VD4Y(a,a)+op_count_SPuZE40Ntn(op_Api82iH42a(a,a),op_IwW236VD4Y(a,a))+op_count_Siyfjn51pv(op_SPuZE40Ntn(op_Api82iH42a(a,a),op_IwW236VD4Y(a,a)))
    return count


def op_PaXVPLjNaM(a):
    return op_18saOjeKKm(op_Sq3AGanRSD(a,a))

def op_count_PaXVPLjNaM(a):
    count = op_count_Sq3AGanRSD(a,a)+op_count_18saOjeKKm(op_Sq3AGanRSD(a,a))
    return count


def op_bVHWhkdu1k(a):
    return op_s0IfDFCCuZ(op_tnyRA5sazQ(a,a),op_UggxBX659n(620,a))

def op_count_bVHWhkdu1k(a):
    count = op_count_tnyRA5sazQ(a,a)+op_count_UggxBX659n(620,a)+op_count_s0IfDFCCuZ(op_tnyRA5sazQ(a,a),op_UggxBX659n(620,a))
    return count


def op_Qqj2GTyBuk(a, b):
    return op_UpkSd4zESC(op_tnyRA5sazQ(op_wsXFuL0hC6(510,b),op_BUOGQAYlQx(a)),op_oPMjh9089D(op_d8xe6WWVfM(a,82)))

def op_count_Qqj2GTyBuk(a, b):
    count = op_count_wsXFuL0hC6(510,b)+op_count_BUOGQAYlQx(a)+op_count_tnyRA5sazQ(op_wsXFuL0hC6(510,b),op_BUOGQAYlQx(a))+op_count_d8xe6WWVfM(a,82)+op_count_oPMjh9089D(op_d8xe6WWVfM(a,82))+op_count_UpkSd4zESC(op_tnyRA5sazQ(op_wsXFuL0hC6(510,b),op_BUOGQAYlQx(a)),op_oPMjh9089D(op_d8xe6WWVfM(a,82)))
    return count


def op_aZPywT6Nb7(a):
    return op_OWnFPqjWlR(a,op_H9jWZL1q0V(a))

def op_count_aZPywT6Nb7(a):
    count = op_count_H9jWZL1q0V(a)+op_count_OWnFPqjWlR(a,op_H9jWZL1q0V(a))
    return count


def op_ussIOAkYLj(a):
    return op_z4E1FaHLuy(op_8cLx32lpNA(op_xSk1F0pZbF(a,a),op_lAOUD4ZMWV(a)))

def op_count_ussIOAkYLj(a):
    count = op_count_xSk1F0pZbF(a,a)+op_count_lAOUD4ZMWV(a)+op_count_8cLx32lpNA(op_xSk1F0pZbF(a,a),op_lAOUD4ZMWV(a))+op_count_z4E1FaHLuy(op_8cLx32lpNA(op_xSk1F0pZbF(a,a),op_lAOUD4ZMWV(a)))
    return count


def op_3NA69MsM6K(a):
    return op_eaFBhJ0Uku(op_NrdPCfJQiM(op_0MNWfHKp6a(a),op_Bmrmz2XGnR(a,50)),op_PPChnnnBFF(op_tifHPKVTfV(a,208),op_S3tN1ZzpSt(a,68)))

def op_count_3NA69MsM6K(a):
    count = op_count_0MNWfHKp6a(a)+op_count_Bmrmz2XGnR(a,50)+op_count_NrdPCfJQiM(op_0MNWfHKp6a(a),op_Bmrmz2XGnR(a,50))+op_count_tifHPKVTfV(a,208)+op_count_S3tN1ZzpSt(a,68)+op_count_PPChnnnBFF(op_tifHPKVTfV(a,208),op_S3tN1ZzpSt(a,68))+op_count_eaFBhJ0Uku(op_NrdPCfJQiM(op_0MNWfHKp6a(a),op_Bmrmz2XGnR(a,50)),op_PPChnnnBFF(op_tifHPKVTfV(a,208),op_S3tN1ZzpSt(a,68)))
    return count


def op_2GJ0TIPA7a(a):
    return op_VJ330n2nnx(op_5JYyxRJd4f(op_WObL9SsYVE(a,a)))

def op_count_2GJ0TIPA7a(a):
    count = op_count_WObL9SsYVE(a,a)+op_count_5JYyxRJd4f(op_WObL9SsYVE(a,a))+op_count_VJ330n2nnx(op_5JYyxRJd4f(op_WObL9SsYVE(a,a)))
    return count


a⪸⇂ = { (((a⇴a)⩽⩡(a⪚⨁⋖a))↹⊜((⫂a)⇤(a⇛a))) }

def op_EstvqV7IEV(a):
    return op_9bazX3JMtO(op_zFNL8mZEFB(op_4JB6nKBMSY(a,a),op_xSk1F0pZbF(a,a)),op_YSKBFp38Pu(op_U9HvHqtOoq(a),op_S3tN1ZzpSt(a,a)))

def op_count_EstvqV7IEV(a):
    count = op_count_4JB6nKBMSY(a,a)+op_count_xSk1F0pZbF(a,a)+op_count_zFNL8mZEFB(op_4JB6nKBMSY(a,a),op_xSk1F0pZbF(a,a))+op_count_U9HvHqtOoq(a)+op_count_S3tN1ZzpSt(a,a)+op_count_YSKBFp38Pu(op_U9HvHqtOoq(a),op_S3tN1ZzpSt(a,a))+op_count_9bazX3JMtO(op_zFNL8mZEFB(op_4JB6nKBMSY(a,a),op_xSk1F0pZbF(a,a)),op_YSKBFp38Pu(op_U9HvHqtOoq(a),op_S3tN1ZzpSt(a,a)))
    return count


def op_h1pqhWq6T8(a):
    return op_gx7XJ7hdpj(a,a)

def op_count_h1pqhWq6T8(a):
    count = op_count_gx7XJ7hdpj(a,a)
    return count


def op_7iRqK53Syp(a):
    return op_RygbFNSyEJ(op_jfYOP67v6Y(a),op_qazvmhNBbN(a))

def op_count_7iRqK53Syp(a):
    count = op_count_jfYOP67v6Y(a)+op_count_qazvmhNBbN(a)+op_count_RygbFNSyEJ(op_jfYOP67v6Y(a),op_qazvmhNBbN(a))
    return count


def op_FSgM43rAbT(a):
    return op_jBC4ymW3D7(op_Api82iH42a(a,op_0MNWfHKp6a(a)),op_NdELin8EPX(op_KbjG8mgYpV(552,a),op_GMN7JP6WpN(a,a)))

def op_count_FSgM43rAbT(a):
    count = op_count_0MNWfHKp6a(a)+op_count_Api82iH42a(a,op_0MNWfHKp6a(a))+op_count_KbjG8mgYpV(552,a)+op_count_GMN7JP6WpN(a,a)+op_count_NdELin8EPX(op_KbjG8mgYpV(552,a),op_GMN7JP6WpN(a,a))+op_count_jBC4ymW3D7(op_Api82iH42a(a,op_0MNWfHKp6a(a)),op_NdELin8EPX(op_KbjG8mgYpV(552,a),op_GMN7JP6WpN(a,a)))
    return count


def op_TL4A4O6lY8(a):
    return op_keWfFq85dY(op_PxpmPgHHJV(op_W2rMsuCzF8(a)))

def op_count_TL4A4O6lY8(a):
    count = op_count_W2rMsuCzF8(a)+op_count_PxpmPgHHJV(op_W2rMsuCzF8(a))+op_count_keWfFq85dY(op_PxpmPgHHJV(op_W2rMsuCzF8(a)))
    return count


def op_geELyN4nDc(a):
    return op_irKjLsMeKy(a,a)

def op_count_geELyN4nDc(a):
    count = op_count_irKjLsMeKy(a,a)
    return count


def op_CMed2nD9yG(a, b):
    return op_4JGOJzXMq1(op_g55IO6H4Gj(b,a),op_g55IO6H4Gj(a,b))

def op_count_CMed2nD9yG(a, b):
    count = op_count_g55IO6H4Gj(b,a)+op_count_g55IO6H4Gj(a,b)+op_count_4JGOJzXMq1(op_g55IO6H4Gj(b,a),op_g55IO6H4Gj(a,b))
    return count


def op_SMtK2Ho1FK(a):
    return op_ljTHtUsqzn(op_YApyZlDuBr(a))

def op_count_SMtK2Ho1FK(a):
    count = op_count_YApyZlDuBr(a)+op_count_ljTHtUsqzn(op_YApyZlDuBr(a))
    return count


def op_bzTfts3R6K(a, b):
    return op_W4YGzv6Whe(op_NTOWxs364D(op_Q2SPaKwpPJ(278,308),op_PPChnnnBFF(a,a)),op_AdZkA7nFnk(op_pjdzZ5rP1Y(b),op_Ph9nP6C5qx(169,501)))

def op_count_bzTfts3R6K(a, b):
    count = op_count_Q2SPaKwpPJ(278,308)+op_count_PPChnnnBFF(a,a)+op_count_NTOWxs364D(op_Q2SPaKwpPJ(278,308),op_PPChnnnBFF(a,a))+op_count_pjdzZ5rP1Y(b)+op_count_Ph9nP6C5qx(169,501)+op_count_AdZkA7nFnk(op_pjdzZ5rP1Y(b),op_Ph9nP6C5qx(169,501))+op_count_W4YGzv6Whe(op_NTOWxs364D(op_Q2SPaKwpPJ(278,308),op_PPChnnnBFF(a,a)),op_AdZkA7nFnk(op_pjdzZ5rP1Y(b),op_Ph9nP6C5qx(169,501)))
    return count


def op_Xbtyq2jN9O(a, b):
    return op_WR6HLWljOP(op_uysxUYN2L2(a,b),op_Rw46J52cBJ(a,b))

def op_count_Xbtyq2jN9O(a, b):
    count = op_count_uysxUYN2L2(a,b)+op_count_Rw46J52cBJ(a,b)+op_count_WR6HLWljOP(op_uysxUYN2L2(a,b),op_Rw46J52cBJ(a,b))
    return count


def op_TyhCdZMmeC(a, b):
    return op_NTOWxs364D(op_sM9mzqIDB1(a,795),op_QvoQhV0rrE(22,b))

def op_count_TyhCdZMmeC(a, b):
    count = op_count_sM9mzqIDB1(a,795)+op_count_QvoQhV0rrE(22,b)+op_count_NTOWxs364D(op_sM9mzqIDB1(a,795),op_QvoQhV0rrE(22,b))
    return count


def op_dSkh3V1OUw(a):
    return op_aDRGw0okjd(op_OWnFPqjWlR(a,373))

def op_count_dSkh3V1OUw(a):
    count = op_count_OWnFPqjWlR(a,373)+op_count_aDRGw0okjd(op_OWnFPqjWlR(a,373))
    return count


def op_t8oZggvleL(a):
    return op_irKjLsMeKy(op_PPChnnnBFF(a,a),op_Zubgv0tBda(92))

def op_count_t8oZggvleL(a):
    count = op_count_PPChnnnBFF(a,a)+op_count_Zubgv0tBda(92)+op_count_irKjLsMeKy(op_PPChnnnBFF(a,a),op_Zubgv0tBda(92))
    return count


def op_PrqwulTU5K(a):
    return op_u7fv1HBiaC(op_hiBDRd40bf(op_S3tN1ZzpSt(a,a),op_6LuFrogppQ(a)))

def op_count_PrqwulTU5K(a):
    count = op_count_S3tN1ZzpSt(a,a)+op_count_6LuFrogppQ(a)+op_count_hiBDRd40bf(op_S3tN1ZzpSt(a,a),op_6LuFrogppQ(a))+op_count_u7fv1HBiaC(op_hiBDRd40bf(op_S3tN1ZzpSt(a,a),op_6LuFrogppQ(a)))
    return count


def op_D3f8g0qpyM(a):
    return op_3mBM5G4a3l(op_3tVxb0NHM4(a,a))

def op_count_D3f8g0qpyM(a):
    count = op_count_3tVxb0NHM4(a,a)+op_count_3mBM5G4a3l(op_3tVxb0NHM4(a,a))
    return count


def op_wew45YUA9f(a, b):
    return op_QMFrweE19q(op_Y7wcNGrDQJ(b,a),op_bQ67fsrMVf(b))

def op_count_wew45YUA9f(a, b):
    count = op_count_Y7wcNGrDQJ(b,a)+op_count_bQ67fsrMVf(b)+op_count_QMFrweE19q(op_Y7wcNGrDQJ(b,a),op_bQ67fsrMVf(b))
    return count


def op_RCyfEiCqYx(a, b):
    return op_WkeUrDK8WX(op_HiPekx5b7W(op_YjI8oCXuph(a),op_KFSx94NKJn(b,a)))

def op_count_RCyfEiCqYx(a, b):
    count = op_count_YjI8oCXuph(a)+op_count_KFSx94NKJn(b,a)+op_count_HiPekx5b7W(op_YjI8oCXuph(a),op_KFSx94NKJn(b,a))+op_count_WkeUrDK8WX(op_HiPekx5b7W(op_YjI8oCXuph(a),op_KFSx94NKJn(b,a)))
    return count


def op_kbXfJ1zvnP(a):
    return op_Qaz2MhZaG5(a,a)

def op_count_kbXfJ1zvnP(a):
    count = op_count_Qaz2MhZaG5(a,a)
    return count


def op_rpUyz6EwhL(a):
    return op_09Ly4LVMIf(op_3A1e9zoj8h(a),op_uTBsSls0VN(a,92))

def op_count_rpUyz6EwhL(a):
    count = op_count_3A1e9zoj8h(a)+op_count_uTBsSls0VN(a,92)+op_count_09Ly4LVMIf(op_3A1e9zoj8h(a),op_uTBsSls0VN(a,92))
    return count


def op_dB96tzh15C(a):
    return op_RygbFNSyEJ(op_9xnGDUPbC6(a),op_kuIXHzHcAH(a,a))

def op_count_dB96tzh15C(a):
    count = op_count_9xnGDUPbC6(a)+op_count_kuIXHzHcAH(a,a)+op_count_RygbFNSyEJ(op_9xnGDUPbC6(a),op_kuIXHzHcAH(a,a))
    return count


def op_z7gOP67ziU(a):
    return op_cFVlceoRkX(op_ljTHtUsqzn(a),op_vg4gO5BX6G(a,a))

def op_count_z7gOP67ziU(a):
    count = op_count_ljTHtUsqzn(a)+op_count_vg4gO5BX6G(a,a)+op_count_cFVlceoRkX(op_ljTHtUsqzn(a),op_vg4gO5BX6G(a,a))
    return count


⋥⩣⩌a = { (((a⇌⫙⪟102)⨜⇔(↡a))∙∹∝((a⋳⪒a)⊵(a⪦⩸510))) }

def op_PRgG163Dcu(a):
    return op_HmxsFra2vL(op_Sq3AGanRSD(op_AFVx7xoS7T(a,102),op_MXaNJeIAZ3(a)),op_eaFBhJ0Uku(op_12rbrZMWeM(a,a),op_0JWJYFSzIQ(a,510)))

def op_count_PRgG163Dcu(a):
    count = op_count_AFVx7xoS7T(a,102)+op_count_MXaNJeIAZ3(a)+op_count_Sq3AGanRSD(op_AFVx7xoS7T(a,102),op_MXaNJeIAZ3(a))+op_count_12rbrZMWeM(a,a)+op_count_0JWJYFSzIQ(a,510)+op_count_eaFBhJ0Uku(op_12rbrZMWeM(a,a),op_0JWJYFSzIQ(a,510))+op_count_HmxsFra2vL(op_Sq3AGanRSD(op_AFVx7xoS7T(a,102),op_MXaNJeIAZ3(a)),op_eaFBhJ0Uku(op_12rbrZMWeM(a,a),op_0JWJYFSzIQ(a,510)))
    return count


def op_w51yDgGhW9(a):
    return op_b1mGkbI4Oy(op_DZ8iAZOCBD(a,a),op_aDRGw0okjd(a))

def op_count_w51yDgGhW9(a):
    count = op_count_DZ8iAZOCBD(a,a)+op_count_aDRGw0okjd(a)+op_count_b1mGkbI4Oy(op_DZ8iAZOCBD(a,a),op_aDRGw0okjd(a))
    return count


def op_udD8TXgqfB(a):
    return op_Pkwamo1tM2(op_dAAkup5nzi(396,204),op_3EYGwJThht(a,a))

def op_count_udD8TXgqfB(a):
    count = op_count_dAAkup5nzi(396,204)+op_count_3EYGwJThht(a,a)+op_count_Pkwamo1tM2(op_dAAkup5nzi(396,204),op_3EYGwJThht(a,a))
    return count


def op_VdfggxAD5a(a):
    return op_HiPekx5b7W(op_d8xe6WWVfM(a,a),op_XnXgA4xnOs(a,a))

def op_count_VdfggxAD5a(a):
    count = op_count_d8xe6WWVfM(a,a)+op_count_XnXgA4xnOs(a,a)+op_count_HiPekx5b7W(op_d8xe6WWVfM(a,a),op_XnXgA4xnOs(a,a))
    return count


def op_sgAhpeloD6(a):
    return op_61wBmkZwlr(op_D309nIvmXG(a))

def op_count_sgAhpeloD6(a):
    count = op_count_D309nIvmXG(a)+op_count_61wBmkZwlr(op_D309nIvmXG(a))
    return count


≷⫦a = { (((a∀⩎⋷a)⪲⨢(a∘a))⩦((a⇛a)⨰↻⪇(⪷∈↠a))) }

def op_K7MnsOaMRl(a):
    return op_0kmYd0q39Y(op_6iafYuwGo8(op_FPxP5Y1j0W(a,a),op_Z5m6OM72h2(a,a)),op_nbuSfrB4hB(op_S3tN1ZzpSt(a,a),op_Kn0TacbtGK(a)))

def op_count_K7MnsOaMRl(a):
    count = op_count_FPxP5Y1j0W(a,a)+op_count_Z5m6OM72h2(a,a)+op_count_6iafYuwGo8(op_FPxP5Y1j0W(a,a),op_Z5m6OM72h2(a,a))+op_count_S3tN1ZzpSt(a,a)+op_count_Kn0TacbtGK(a)+op_count_nbuSfrB4hB(op_S3tN1ZzpSt(a,a),op_Kn0TacbtGK(a))+op_count_0kmYd0q39Y(op_6iafYuwGo8(op_FPxP5Y1j0W(a,a),op_Z5m6OM72h2(a,a)),op_nbuSfrB4hB(op_S3tN1ZzpSt(a,a),op_Kn0TacbtGK(a)))
    return count


def op_0EAum7Jupo(a):
    return op_840vADziXz(op_Qaz2MhZaG5(a,a))

def op_count_0EAum7Jupo(a):
    count = op_count_Qaz2MhZaG5(a,a)+op_count_840vADziXz(op_Qaz2MhZaG5(a,a))
    return count


def op_qRfCwGgRXA(a, b):
    return op_kbkesczE7y(op_2DQ55sFlQl(b,op_5twsqlHp2o(a,b)),op_j9kHMeSvPp(op_eLAdDNolq6(b),op_wztAlM01eG(190)))

def op_count_qRfCwGgRXA(a, b):
    count = op_count_5twsqlHp2o(a,b)+op_count_2DQ55sFlQl(b,op_5twsqlHp2o(a,b))+op_count_eLAdDNolq6(b)+op_count_wztAlM01eG(190)+op_count_j9kHMeSvPp(op_eLAdDNolq6(b),op_wztAlM01eG(190))+op_count_kbkesczE7y(op_2DQ55sFlQl(b,op_5twsqlHp2o(a,b)),op_j9kHMeSvPp(op_eLAdDNolq6(b),op_wztAlM01eG(190)))
    return count


def op_xonniTcBY0(a, b):
    return op_ocnLzx9CaJ(op_hmlrMsD2PO(a,113),op_d8xe6WWVfM(a,b))

def op_count_xonniTcBY0(a, b):
    count = op_count_hmlrMsD2PO(a,113)+op_count_d8xe6WWVfM(a,b)+op_count_ocnLzx9CaJ(op_hmlrMsD2PO(a,113),op_d8xe6WWVfM(a,b))
    return count


def op_e1wGt9VEHG(a, b):
    return op_oRDoc9rAEX(op_lAOUD4ZMWV(a),op_giaUb8UVhq(b,b))

def op_count_e1wGt9VEHG(a, b):
    count = op_count_lAOUD4ZMWV(a)+op_count_giaUb8UVhq(b,b)+op_count_oRDoc9rAEX(op_lAOUD4ZMWV(a),op_giaUb8UVhq(b,b))
    return count


def op_RnhhTa3jNf(a):
    return op_GNmBfxrna9(op_KaSTSbOewx(a))

def op_count_RnhhTa3jNf(a):
    count = op_count_KaSTSbOewx(a)+op_count_GNmBfxrna9(op_KaSTSbOewx(a))
    return count


def op_SMGDWUjTjA(a):
    return op_W4YGzv6Whe(op_y2kQTS4a70(a,214),op_x5lMkHmzsq(a))

def op_count_SMGDWUjTjA(a):
    count = op_count_y2kQTS4a70(a,214)+op_count_x5lMkHmzsq(a)+op_count_W4YGzv6Whe(op_y2kQTS4a70(a,214),op_x5lMkHmzsq(a))
    return count


def op_sCuAmwvnJW(a):
    return op_f6k1SAg4EE(a,a)

def op_count_sCuAmwvnJW(a):
    count = op_count_f6k1SAg4EE(a,a)
    return count


def op_8ue8uZX9oj(a):
    return op_6LuFrogppQ(op_KED7KUUlGq(op_bQ67fsrMVf(a)))

def op_count_8ue8uZX9oj(a):
    count = op_count_bQ67fsrMVf(a)+op_count_KED7KUUlGq(op_bQ67fsrMVf(a))+op_count_6LuFrogppQ(op_KED7KUUlGq(op_bQ67fsrMVf(a)))
    return count


def op_6rSpRzAj0K(a):
    return op_g7Hmc5v1ko(op_9bazX3JMtO(op_SPuZE40Ntn(a,472),op_NdELin8EPX(143,a)),op_Ph9nP6C5qx(op_2z8nE7LpCu(a,a),op_wztAlM01eG(a)))

def op_count_6rSpRzAj0K(a):
    count = op_count_SPuZE40Ntn(a,472)+op_count_NdELin8EPX(143,a)+op_count_9bazX3JMtO(op_SPuZE40Ntn(a,472),op_NdELin8EPX(143,a))+op_count_2z8nE7LpCu(a,a)+op_count_wztAlM01eG(a)+op_count_Ph9nP6C5qx(op_2z8nE7LpCu(a,a),op_wztAlM01eG(a))+op_count_g7Hmc5v1ko(op_9bazX3JMtO(op_SPuZE40Ntn(a,472),op_NdELin8EPX(143,a)),op_Ph9nP6C5qx(op_2z8nE7LpCu(a,a),op_wztAlM01eG(a)))
    return count


def op_M1m2Rkq50C(a):
    return op_2GS7woTJqF(op_3EhVUz7Ug9(a),op_cFVlceoRkX(a,296))

def op_count_M1m2Rkq50C(a):
    count = op_count_3EhVUz7Ug9(a)+op_count_cFVlceoRkX(a,296)+op_count_2GS7woTJqF(op_3EhVUz7Ug9(a),op_cFVlceoRkX(a,296))
    return count


def op_WwRa9GTyuv(a, b):
    return op_Q2SPaKwpPJ(op_SpZWOsLKZJ(op_uOZ1tnYMDE(b)),op_B3sABdIn96(op_k7HXdKtiEU(a)))

def op_count_WwRa9GTyuv(a, b):
    count = op_count_uOZ1tnYMDE(b)+op_count_SpZWOsLKZJ(op_uOZ1tnYMDE(b))+op_count_k7HXdKtiEU(a)+op_count_B3sABdIn96(op_k7HXdKtiEU(a))+op_count_Q2SPaKwpPJ(op_SpZWOsLKZJ(op_uOZ1tnYMDE(b)),op_B3sABdIn96(op_k7HXdKtiEU(a)))
    return count


def op_uPjn7n5pli(a, b):
    return op_xSk1F0pZbF(op_rPNtK4BLRO(a,867),op_tnyRA5sazQ(b,b))

def op_count_uPjn7n5pli(a, b):
    count = op_count_rPNtK4BLRO(a,867)+op_count_tnyRA5sazQ(b,b)+op_count_xSk1F0pZbF(op_rPNtK4BLRO(a,867),op_tnyRA5sazQ(b,b))
    return count


def op_tJtBLRaXS9(a, b):
    return op_BAIXFdYaz3(op_k7HXdKtiEU(a),op_Qaz2MhZaG5(b,b))

def op_count_tJtBLRaXS9(a, b):
    count = op_count_k7HXdKtiEU(a)+op_count_Qaz2MhZaG5(b,b)+op_count_BAIXFdYaz3(op_k7HXdKtiEU(a),op_Qaz2MhZaG5(b,b))
    return count


def op_9yWvQzZuYL(a):
    return op_mhIhit33mg(op_SPuZE40Ntn(166,a))

def op_count_9yWvQzZuYL(a):
    count = op_count_SPuZE40Ntn(166,a)+op_count_mhIhit33mg(op_SPuZE40Ntn(166,a))
    return count


def op_6CFj31KG7v(a):
    return op_w2P8NbNXyL(op_qAljGMXEZr(a),op_UoVew8f2p2(op_3Oe9XWJUTD(a,a),op_jBC4ymW3D7(a,8)))

def op_count_6CFj31KG7v(a):
    count = op_count_qAljGMXEZr(a)+op_count_3Oe9XWJUTD(a,a)+op_count_jBC4ymW3D7(a,8)+op_count_UoVew8f2p2(op_3Oe9XWJUTD(a,a),op_jBC4ymW3D7(a,8))+op_count_w2P8NbNXyL(op_qAljGMXEZr(a),op_UoVew8f2p2(op_3Oe9XWJUTD(a,a),op_jBC4ymW3D7(a,8)))
    return count


def op_nTnZaKopOY(a):
    return op_vg4gO5BX6G(op_23Mk6UjR3U(103,a),op_kweVJGAjhl(a))

def op_count_nTnZaKopOY(a):
    count = op_count_23Mk6UjR3U(103,a)+op_count_kweVJGAjhl(a)+op_count_vg4gO5BX6G(op_23Mk6UjR3U(103,a),op_kweVJGAjhl(a))
    return count


⇹a = { (((a∌a)⪇≇⋚(a∠⫱a))⩤∜↚((a⋐≟⩺433)∴≳≥)) }

def op_dOQKZuJSrO(a):
    return op_KROiRRz3d6(op_3sJ7IOPOlU(op_8cLx32lpNA(a,a),op_QvoQhV0rrE(a,a)),op_a3N2hFLK0J(op_PjbVkMzmXE(a,433)))

def op_count_dOQKZuJSrO(a):
    count = op_count_8cLx32lpNA(a,a)+op_count_QvoQhV0rrE(a,a)+op_count_3sJ7IOPOlU(op_8cLx32lpNA(a,a),op_QvoQhV0rrE(a,a))+op_count_PjbVkMzmXE(a,433)+op_count_a3N2hFLK0J(op_PjbVkMzmXE(a,433))+op_count_KROiRRz3d6(op_3sJ7IOPOlU(op_8cLx32lpNA(a,a),op_QvoQhV0rrE(a,a)),op_a3N2hFLK0J(op_PjbVkMzmXE(a,433)))
    return count


def op_yiOwzGmnRd(a):
    return op_7IPrd9c3lf(op_tmjFFOTKyA(op_V4yb4KDoeF(a,533)))

def op_count_yiOwzGmnRd(a):
    count = op_count_V4yb4KDoeF(a,533)+op_count_tmjFFOTKyA(op_V4yb4KDoeF(a,533))+op_count_7IPrd9c3lf(op_tmjFFOTKyA(op_V4yb4KDoeF(a,533)))
    return count


def op_7aWw7RtOlB(a):
    return op_SWo3A1KBJH(op_6o9Blt3TJ6(a,226))

def op_count_7aWw7RtOlB(a):
    count = op_count_6o9Blt3TJ6(a,226)+op_count_SWo3A1KBJH(op_6o9Blt3TJ6(a,226))
    return count


def op_UK7Ch8M0uo(a):
    return op_fOIeswaMU4(op_aHKFHkCgn9(op_8WDwsbhb0R(a)))

def op_count_UK7Ch8M0uo(a):
    count = op_count_8WDwsbhb0R(a)+op_count_aHKFHkCgn9(op_8WDwsbhb0R(a))+op_count_fOIeswaMU4(op_aHKFHkCgn9(op_8WDwsbhb0R(a)))
    return count


def op_miu0bRYLYP(a, b):
    return op_D3AQDKkPcf(op_8n5YIzOsVS(op_f6k1SAg4EE(511,a)),op_z2JHNkvbdm(op_2Wsdkap16l(b,b),op_uysxUYN2L2(a,a)))

def op_count_miu0bRYLYP(a, b):
    count = op_count_f6k1SAg4EE(511,a)+op_count_8n5YIzOsVS(op_f6k1SAg4EE(511,a))+op_count_2Wsdkap16l(b,b)+op_count_uysxUYN2L2(a,a)+op_count_z2JHNkvbdm(op_2Wsdkap16l(b,b),op_uysxUYN2L2(a,a))+op_count_D3AQDKkPcf(op_8n5YIzOsVS(op_f6k1SAg4EE(511,a)),op_z2JHNkvbdm(op_2Wsdkap16l(b,b),op_uysxUYN2L2(a,a)))
    return count


def op_xAslvJsXQM(a):
    return op_rIsGeVJWJF(op_eRqsBgTDFp(a,383))

def op_count_xAslvJsXQM(a):
    count = op_count_eRqsBgTDFp(a,383)+op_count_rIsGeVJWJF(op_eRqsBgTDFp(a,383))
    return count


def op_mP5rAkfkAq(a):
    return op_S5ZFQS4GK3(op_840vADziXz(op_OTRTVPweYV(42,a)),op_UqUOXUQnbU(op_FB83X2dByY(23),op_YSKBFp38Pu(a,340)))

def op_count_mP5rAkfkAq(a):
    count = op_count_OTRTVPweYV(42,a)+op_count_840vADziXz(op_OTRTVPweYV(42,a))+op_count_FB83X2dByY(23)+op_count_YSKBFp38Pu(a,340)+op_count_UqUOXUQnbU(op_FB83X2dByY(23),op_YSKBFp38Pu(a,340))+op_count_S5ZFQS4GK3(op_840vADziXz(op_OTRTVPweYV(42,a)),op_UqUOXUQnbU(op_FB83X2dByY(23),op_YSKBFp38Pu(a,340)))
    return count


def op_VSHtt0ev1p(a):
    return op_xUOZtlo3hN(op_KPf6cnQVty(op_5RY6W0glyJ(83),op_W4YGzv6Whe(a,a)))

def op_count_VSHtt0ev1p(a):
    count = op_count_5RY6W0glyJ(83)+op_count_W4YGzv6Whe(a,a)+op_count_KPf6cnQVty(op_5RY6W0glyJ(83),op_W4YGzv6Whe(a,a))+op_count_xUOZtlo3hN(op_KPf6cnQVty(op_5RY6W0glyJ(83),op_W4YGzv6Whe(a,a)))
    return count


a⫲≐b = { (((410⋆⊨b)⋰⇉∕b)⫚↹⊑((b⫯⪬∳a)⨐(b∫≲⋬))) }

def op_sDUFqk2NSv(a, b):
    return op_dfKe02y8D2(op_sM9mzqIDB1(op_uTBsSls0VN(410,b),b),op_Noe24qw2ks(op_d7ASUq0ydm(b,a),op_DNmMwa48aR(b)))

def op_count_sDUFqk2NSv(a, b):
    count = op_count_uTBsSls0VN(410,b)+op_count_sM9mzqIDB1(op_uTBsSls0VN(410,b),b)+op_count_d7ASUq0ydm(b,a)+op_count_DNmMwa48aR(b)+op_count_Noe24qw2ks(op_d7ASUq0ydm(b,a),op_DNmMwa48aR(b))+op_count_dfKe02y8D2(op_sM9mzqIDB1(op_uTBsSls0VN(410,b),b),op_Noe24qw2ks(op_d7ASUq0ydm(b,a),op_DNmMwa48aR(b)))
    return count


def op_zhcyjIpuZs(a):
    return op_Z5m6OM72h2(op_2M7SKlOzyM(97,op_12rbrZMWeM(a,a)),op_6o9Blt3TJ6(a,op_FyVja0WsTP(a,a)))

def op_count_zhcyjIpuZs(a):
    count = op_count_12rbrZMWeM(a,a)+op_count_2M7SKlOzyM(97,op_12rbrZMWeM(a,a))+op_count_FyVja0WsTP(a,a)+op_count_6o9Blt3TJ6(a,op_FyVja0WsTP(a,a))+op_count_Z5m6OM72h2(op_2M7SKlOzyM(97,op_12rbrZMWeM(a,a)),op_6o9Blt3TJ6(a,op_FyVja0WsTP(a,a)))
    return count


def op_TJRgAX2Xy2(a):
    return op_nREPSIbpBE(a,a)

def op_count_TJRgAX2Xy2(a):
    count = op_count_nREPSIbpBE(a,a)
    return count


def op_odJCG207LD(a, b):
    return op_PPChnnnBFF(op_rv8OxMkTSD(op_YbVcJGFEVW(b,b)),op_ObEyaaML9x(op_jfYOP67v6Y(665),op_uTBsSls0VN(b,a)))

def op_count_odJCG207LD(a, b):
    count = op_count_YbVcJGFEVW(b,b)+op_count_rv8OxMkTSD(op_YbVcJGFEVW(b,b))+op_count_jfYOP67v6Y(665)+op_count_uTBsSls0VN(b,a)+op_count_ObEyaaML9x(op_jfYOP67v6Y(665),op_uTBsSls0VN(b,a))+op_count_PPChnnnBFF(op_rv8OxMkTSD(op_YbVcJGFEVW(b,b)),op_ObEyaaML9x(op_jfYOP67v6Y(665),op_uTBsSls0VN(b,a)))
    return count


def op_mM1ZLUZGNx(a):
    return op_eRqsBgTDFp(op_7Nd029Vx1U(op_WSbXXWOizJ(a,a)),op_8cLx32lpNA(op_HJ9erzHUuu(a,a),op_R3vAdrE3IH(a)))

def op_count_mM1ZLUZGNx(a):
    count = op_count_WSbXXWOizJ(a,a)+op_count_7Nd029Vx1U(op_WSbXXWOizJ(a,a))+op_count_HJ9erzHUuu(a,a)+op_count_R3vAdrE3IH(a)+op_count_8cLx32lpNA(op_HJ9erzHUuu(a,a),op_R3vAdrE3IH(a))+op_count_eRqsBgTDFp(op_7Nd029Vx1U(op_WSbXXWOizJ(a,a)),op_8cLx32lpNA(op_HJ9erzHUuu(a,a),op_R3vAdrE3IH(a)))
    return count


def op_QyZZQSRW2G(a):
    return op_64EQ39e0fC(op_qWUSsah53b(198),op_xoJmIySC7h(a,a))

def op_count_QyZZQSRW2G(a):
    count = op_count_qWUSsah53b(198)+op_count_xoJmIySC7h(a,a)+op_count_64EQ39e0fC(op_qWUSsah53b(198),op_xoJmIySC7h(a,a))
    return count


def op_ryce98zMeW(a):
    return op_Siyfjn51pv(op_s3Fd5m9Dh2(a,a))

def op_count_ryce98zMeW(a):
    count = op_count_s3Fd5m9Dh2(a,a)+op_count_Siyfjn51pv(op_s3Fd5m9Dh2(a,a))
    return count


def op_afEXiduIZz(a):
    return op_8TQKPGA8Ba(op_V4yb4KDoeF(op_eRqsBgTDFp(a,a),a))

def op_count_afEXiduIZz(a):
    count = op_count_eRqsBgTDFp(a,a)+op_count_V4yb4KDoeF(op_eRqsBgTDFp(a,a),a)+op_count_8TQKPGA8Ba(op_V4yb4KDoeF(op_eRqsBgTDFp(a,a),a))
    return count


a⪘⇬∩b = { ((⨾∊⩁(b⫟≀⫫))∣((39≽↲≰b)↢(⩆⇋a))) }

def op_Bg9zIMXgOw(a, b):
    return op_PPChnnnBFF(op_QErWpSDGk0(op_KfMCrRzQhT(b)),op_WR6HLWljOP(op_cFVlceoRkX(39,b),op_IjUb3wyICU(a)))

def op_count_Bg9zIMXgOw(a, b):
    count = op_count_KfMCrRzQhT(b)+op_count_QErWpSDGk0(op_KfMCrRzQhT(b))+op_count_cFVlceoRkX(39,b)+op_count_IjUb3wyICU(a)+op_count_WR6HLWljOP(op_cFVlceoRkX(39,b),op_IjUb3wyICU(a))+op_count_PPChnnnBFF(op_QErWpSDGk0(op_KfMCrRzQhT(b)),op_WR6HLWljOP(op_cFVlceoRkX(39,b),op_IjUb3wyICU(a)))
    return count


def op_sAr9zEqUJ3(a):
    return op_t4WUHVGj7f(op_dfKe02y8D2(a,a))

def op_count_sAr9zEqUJ3(a):
    count = op_count_dfKe02y8D2(a,a)+op_count_t4WUHVGj7f(op_dfKe02y8D2(a,a))
    return count


def op_1xITj0Yuqn(a):
    return op_giaUb8UVhq(op_b1mGkbI4Oy(op_fLfyAuxYJD(a),op_nbuSfrB4hB(a,a)),op_NrdPCfJQiM(op_2GS7woTJqF(39,a),op_tnyRA5sazQ(611,a)))

def op_count_1xITj0Yuqn(a):
    count = op_count_fLfyAuxYJD(a)+op_count_nbuSfrB4hB(a,a)+op_count_b1mGkbI4Oy(op_fLfyAuxYJD(a),op_nbuSfrB4hB(a,a))+op_count_2GS7woTJqF(39,a)+op_count_tnyRA5sazQ(611,a)+op_count_NrdPCfJQiM(op_2GS7woTJqF(39,a),op_tnyRA5sazQ(611,a))+op_count_giaUb8UVhq(op_b1mGkbI4Oy(op_fLfyAuxYJD(a),op_nbuSfrB4hB(a,a)),op_NrdPCfJQiM(op_2GS7woTJqF(39,a),op_tnyRA5sazQ(611,a)))
    return count


def op_M1AAiXtbt9(a, b):
    return op_4JGOJzXMq1(op_Y7wcNGrDQJ(op_7j4O788W3g(b,527),op_qxqspddX8k(a,b)),op_Z2TMIBDE3Q(op_WSbXXWOizJ(492,b)))

def op_count_M1AAiXtbt9(a, b):
    count = op_count_7j4O788W3g(b,527)+op_count_qxqspddX8k(a,b)+op_count_Y7wcNGrDQJ(op_7j4O788W3g(b,527),op_qxqspddX8k(a,b))+op_count_WSbXXWOizJ(492,b)+op_count_Z2TMIBDE3Q(op_WSbXXWOizJ(492,b))+op_count_4JGOJzXMq1(op_Y7wcNGrDQJ(op_7j4O788W3g(b,527),op_qxqspddX8k(a,b)),op_Z2TMIBDE3Q(op_WSbXXWOizJ(492,b)))
    return count


def op_gBAN53NepD(a):
    return op_59igzFyhWz(op_bF6eod5Gvf(a,a))

def op_count_gBAN53NepD(a):
    count = op_count_bF6eod5Gvf(a,a)+op_count_59igzFyhWz(op_bF6eod5Gvf(a,a))
    return count


def op_ftvcUWxNvV(a, b):
    return op_S5ZFQS4GK3(op_cwbF3JtlMN(op_cwbF3JtlMN(a,b),b),op_59igzFyhWz(op_WSbXXWOizJ(27,a)))

def op_count_ftvcUWxNvV(a, b):
    count = op_count_cwbF3JtlMN(a,b)+op_count_cwbF3JtlMN(op_cwbF3JtlMN(a,b),b)+op_count_WSbXXWOizJ(27,a)+op_count_59igzFyhWz(op_WSbXXWOizJ(27,a))+op_count_S5ZFQS4GK3(op_cwbF3JtlMN(op_cwbF3JtlMN(a,b),b),op_59igzFyhWz(op_WSbXXWOizJ(27,a)))
    return count


a⩈b = { (((⊖b)≚⊃≕(a⫗⊒⇾a))⫚↹⊑((⋂a)≠≀(b⨜⇔a))) }

def op_XHowTFVwyi(a, b):
    return op_dfKe02y8D2(op_Bmrmz2XGnR(op_U6pG0PXrV3(b),op_hiBDRd40bf(a,a)),op_IwW236VD4Y(op_BUOGQAYlQx(a),op_Sq3AGanRSD(b,a)))

def op_count_XHowTFVwyi(a, b):
    count = op_count_U6pG0PXrV3(b)+op_count_hiBDRd40bf(a,a)+op_count_Bmrmz2XGnR(op_U6pG0PXrV3(b),op_hiBDRd40bf(a,a))+op_count_BUOGQAYlQx(a)+op_count_Sq3AGanRSD(b,a)+op_count_IwW236VD4Y(op_BUOGQAYlQx(a),op_Sq3AGanRSD(b,a))+op_count_dfKe02y8D2(op_Bmrmz2XGnR(op_U6pG0PXrV3(b),op_hiBDRd40bf(a,a)),op_IwW236VD4Y(op_BUOGQAYlQx(a),op_Sq3AGanRSD(b,a)))
    return count


def op_2PWIQslbBr(a):
    return op_ObEyaaML9x(a,a)

def op_count_2PWIQslbBr(a):
    count = op_count_ObEyaaML9x(a,a)
    return count


def op_AXnUrY2GHj(a):
    return op_qy3n0tapmE(op_KFSx94NKJn(109,a),op_t0cKpDWDXO(a))

def op_count_AXnUrY2GHj(a):
    count = op_count_KFSx94NKJn(109,a)+op_count_t0cKpDWDXO(a)+op_count_qy3n0tapmE(op_KFSx94NKJn(109,a),op_t0cKpDWDXO(a))
    return count


def op_ChQtgs73SM(a):
    return op_wsXFuL0hC6(op_XIabStNQrY(a),op_Tmr9JGNMVH(a))

def op_count_ChQtgs73SM(a):
    count = op_count_XIabStNQrY(a)+op_count_Tmr9JGNMVH(a)+op_count_wsXFuL0hC6(op_XIabStNQrY(a),op_Tmr9JGNMVH(a))
    return count


def op_3FGESL1lF8(a):
    return op_8n5YIzOsVS(op_JFrVJKYFMX(a,a))

def op_count_3FGESL1lF8(a):
    count = op_count_JFrVJKYFMX(a,a)+op_count_8n5YIzOsVS(op_JFrVJKYFMX(a,a))
    return count


def op_TLv57rOmDJ(a):
    return op_f6k1SAg4EE(a,op_HjMFvreeUu(a))

def op_count_TLv57rOmDJ(a):
    count = op_count_HjMFvreeUu(a)+op_count_f6k1SAg4EE(a,op_HjMFvreeUu(a))
    return count


def op_sWtEKAL0PQ(a):
    return op_8HCJqvcFkE(op_QvoQhV0rrE(a,a))

def op_count_sWtEKAL0PQ(a):
    count = op_count_QvoQhV0rrE(a,a)+op_count_8HCJqvcFkE(op_QvoQhV0rrE(a,a))
    return count


def op_8UWfUf6RpI(a):
    return op_WR6HLWljOP(op_DpFCA1CohY(op_9bazX3JMtO(a,a)),op_u7fv1HBiaC(op_uyq1hVkAcj(a)))

def op_count_8UWfUf6RpI(a):
    count = op_count_9bazX3JMtO(a,a)+op_count_DpFCA1CohY(op_9bazX3JMtO(a,a))+op_count_uyq1hVkAcj(a)+op_count_u7fv1HBiaC(op_uyq1hVkAcj(a))+op_count_WR6HLWljOP(op_DpFCA1CohY(op_9bazX3JMtO(a,a)),op_u7fv1HBiaC(op_uyq1hVkAcj(a)))
    return count


def op_G5Gd0cNPOS(a):
    return op_18saOjeKKm(op_2td37pGCOC(op_Noe24qw2ks(a,445)))

def op_count_G5Gd0cNPOS(a):
    count = op_count_Noe24qw2ks(a,445)+op_count_2td37pGCOC(op_Noe24qw2ks(a,445))+op_count_18saOjeKKm(op_2td37pGCOC(op_Noe24qw2ks(a,445)))
    return count


def op_2FialGP0jN(a):
    return op_k2B77S3vSv(op_aiqF8n6J9c(a,257))

def op_count_2FialGP0jN(a):
    count = op_count_aiqF8n6J9c(a,257)+op_count_k2B77S3vSv(op_aiqF8n6J9c(a,257))
    return count


def op_a0FLuQwI5A(a):
    return op_MXaNJeIAZ3(op_wztAlM01eG(op_j9kHMeSvPp(a,a)))

def op_count_a0FLuQwI5A(a):
    count = op_count_j9kHMeSvPp(a,a)+op_count_wztAlM01eG(op_j9kHMeSvPp(a,a))+op_count_MXaNJeIAZ3(op_wztAlM01eG(op_j9kHMeSvPp(a,a)))
    return count


def op_qPbESVb90t(a, b):
    return op_AfoL3wC8aT(op_tnyRA5sazQ(a,op_9bazX3JMtO(a,b)))

def op_count_qPbESVb90t(a, b):
    count = op_count_9bazX3JMtO(a,b)+op_count_tnyRA5sazQ(a,op_9bazX3JMtO(a,b))+op_count_AfoL3wC8aT(op_tnyRA5sazQ(a,op_9bazX3JMtO(a,b)))
    return count


def op_UXm6u3EINg(a):
    return op_SpZWOsLKZJ(op_JoLB3LXqXx(408,op_2z8nE7LpCu(a,a)))

def op_count_UXm6u3EINg(a):
    count = op_count_2z8nE7LpCu(a,a)+op_count_JoLB3LXqXx(408,op_2z8nE7LpCu(a,a))+op_count_SpZWOsLKZJ(op_JoLB3LXqXx(408,op_2z8nE7LpCu(a,a)))
    return count


def op_cAXFRI0VtD(a):
    return op_2DQ55sFlQl(a,a)

def op_count_cAXFRI0VtD(a):
    count = op_count_2DQ55sFlQl(a,a)
    return count


def op_c8UfXfh2Tt(a):
    return op_Api82iH42a(op_DX7B1fY6P6(276,a),op_6l7ULzJsnZ(a))

def op_count_c8UfXfh2Tt(a):
    count = op_count_DX7B1fY6P6(276,a)+op_count_6l7ULzJsnZ(a)+op_count_Api82iH42a(op_DX7B1fY6P6(276,a),op_6l7ULzJsnZ(a))
    return count


def op_kfDndAEh36(a):
    return op_V4yb4KDoeF(op_6LuFrogppQ(op_i8ToyICDmI(a,754)),op_9Isq31Ruls(op_2ufhKmSs5H(a),a))

def op_count_kfDndAEh36(a):
    count = op_count_i8ToyICDmI(a,754)+op_count_6LuFrogppQ(op_i8ToyICDmI(a,754))+op_count_2ufhKmSs5H(a)+op_count_9Isq31Ruls(op_2ufhKmSs5H(a),a)+op_count_V4yb4KDoeF(op_6LuFrogppQ(op_i8ToyICDmI(a,754)),op_9Isq31Ruls(op_2ufhKmSs5H(a),a))
    return count


def op_YF5BSoti8F(a):
    return op_FPxP5Y1j0W(op_6o9Blt3TJ6(op_XnXgA4xnOs(a,a),op_H9jWZL1q0V(a)),op_E4l6HwMY31(op_Y7wcNGrDQJ(a,58),op_b1mGkbI4Oy(387,a)))

def op_count_YF5BSoti8F(a):
    count = op_count_XnXgA4xnOs(a,a)+op_count_H9jWZL1q0V(a)+op_count_6o9Blt3TJ6(op_XnXgA4xnOs(a,a),op_H9jWZL1q0V(a))+op_count_Y7wcNGrDQJ(a,58)+op_count_b1mGkbI4Oy(387,a)+op_count_E4l6HwMY31(op_Y7wcNGrDQJ(a,58),op_b1mGkbI4Oy(387,a))+op_count_FPxP5Y1j0W(op_6o9Blt3TJ6(op_XnXgA4xnOs(a,a),op_H9jWZL1q0V(a)),op_E4l6HwMY31(op_Y7wcNGrDQJ(a,58),op_b1mGkbI4Oy(387,a)))
    return count


def op_93h268WzTW(a):
    return op_V4yb4KDoeF(op_cFVlceoRkX(a,390),op_TytFGXR7Zf(618))

def op_count_93h268WzTW(a):
    count = op_count_cFVlceoRkX(a,390)+op_count_TytFGXR7Zf(618)+op_count_V4yb4KDoeF(op_cFVlceoRkX(a,390),op_TytFGXR7Zf(618))
    return count


a⩜⩆b = { (((⇖10)⇴(a↙↠))⨜⨶((⊙⨙⩍a)≬⋮(b↾⩰))) }

def op_gBZ5YI4mOE(a, b):
    return op_HiPekx5b7W(op_4JB6nKBMSY(op_tfWHHpNKUN(10),op_texHS70gxN(a)),op_kbkesczE7y(op_ocpzidtxKt(a),op_GNmBfxrna9(b)))

def op_count_gBZ5YI4mOE(a, b):
    count = op_count_tfWHHpNKUN(10)+op_count_texHS70gxN(a)+op_count_4JB6nKBMSY(op_tfWHHpNKUN(10),op_texHS70gxN(a))+op_count_ocpzidtxKt(a)+op_count_GNmBfxrna9(b)+op_count_kbkesczE7y(op_ocpzidtxKt(a),op_GNmBfxrna9(b))+op_count_HiPekx5b7W(op_4JB6nKBMSY(op_tfWHHpNKUN(10),op_texHS70gxN(a)),op_kbkesczE7y(op_ocpzidtxKt(a),op_GNmBfxrna9(b)))
    return count


def op_ekA2oeJZMY(a, b):
    return op_Z5m6OM72h2(op_5JYyxRJd4f(39),op_1aApVXNlOP(a,b))

def op_count_ekA2oeJZMY(a, b):
    count = op_count_5JYyxRJd4f(39)+op_count_1aApVXNlOP(a,b)+op_count_Z5m6OM72h2(op_5JYyxRJd4f(39),op_1aApVXNlOP(a,b))
    return count


def op_A1Uma3KAhE(a):
    return op_cTDWOvIxvz(op_6l7ULzJsnZ(a),op_GMyVS5K48T(a,a))

def op_count_A1Uma3KAhE(a):
    count = op_count_6l7ULzJsnZ(a)+op_count_GMyVS5K48T(a,a)+op_count_cTDWOvIxvz(op_6l7ULzJsnZ(a),op_GMyVS5K48T(a,a))
    return count


a⋋⫠⫥ = { (((a∀⩎⋷a)≧⊼(a⫁⪎176))⫁⪎((a≬⋮a)⨧↗⨷(⩗⪄a))) }

def op_NTLdrygXQH(a):
    return op_xRrnTEsQ6j(op_JoLB3LXqXx(op_FPxP5Y1j0W(a,a),op_xRrnTEsQ6j(a,176)),op_WSbXXWOizJ(op_kbkesczE7y(a,a),op_Y9dhGmbGii(a)))

def op_count_NTLdrygXQH(a):
    count = op_count_FPxP5Y1j0W(a,a)+op_count_xRrnTEsQ6j(a,176)+op_count_JoLB3LXqXx(op_FPxP5Y1j0W(a,a),op_xRrnTEsQ6j(a,176))+op_count_kbkesczE7y(a,a)+op_count_Y9dhGmbGii(a)+op_count_WSbXXWOizJ(op_kbkesczE7y(a,a),op_Y9dhGmbGii(a))+op_count_xRrnTEsQ6j(op_JoLB3LXqXx(op_FPxP5Y1j0W(a,a),op_xRrnTEsQ6j(a,176)),op_WSbXXWOizJ(op_kbkesczE7y(a,a),op_Y9dhGmbGii(a)))
    return count


⪂∦a = { (((a≶a)∑(444⨻⪊⨷a))⋳⪒((⋃a)⩍⋽⫝̸(a⊍))) }

def op_d5EHc49d3N(a):
    return op_12rbrZMWeM(op_JFrVJKYFMX(op_Q2SPaKwpPJ(a,a),op_Pkwamo1tM2(444,a)),op_BiWNJpBvwn(op_3mBM5G4a3l(a),op_3nqY3DE9mg(a)))

def op_count_d5EHc49d3N(a):
    count = op_count_Q2SPaKwpPJ(a,a)+op_count_Pkwamo1tM2(444,a)+op_count_JFrVJKYFMX(op_Q2SPaKwpPJ(a,a),op_Pkwamo1tM2(444,a))+op_count_3mBM5G4a3l(a)+op_count_3nqY3DE9mg(a)+op_count_BiWNJpBvwn(op_3mBM5G4a3l(a),op_3nqY3DE9mg(a))+op_count_12rbrZMWeM(op_JFrVJKYFMX(op_Q2SPaKwpPJ(a,a),op_Pkwamo1tM2(444,a)),op_BiWNJpBvwn(op_3mBM5G4a3l(a),op_3nqY3DE9mg(a)))
    return count


↶⇭≑a = { (((⋄a)⪉⨛(a≻⇥≳a))⊉≛↸((a⫼⨠a)⩽⩡(343⩒⫫a))) }

def op_Am7a1SffsG(a):
    return op_DZ8iAZOCBD(op_EWw2JM7wp4(op_k2B77S3vSv(a),op_aiqF8n6J9c(a,a)),op_zFNL8mZEFB(op_KYL1uVeVpb(a,a),op_KFSx94NKJn(343,a)))

def op_count_Am7a1SffsG(a):
    count = op_count_k2B77S3vSv(a)+op_count_aiqF8n6J9c(a,a)+op_count_EWw2JM7wp4(op_k2B77S3vSv(a),op_aiqF8n6J9c(a,a))+op_count_KYL1uVeVpb(a,a)+op_count_KFSx94NKJn(343,a)+op_count_zFNL8mZEFB(op_KYL1uVeVpb(a,a),op_KFSx94NKJn(343,a))+op_count_DZ8iAZOCBD(op_EWw2JM7wp4(op_k2B77S3vSv(a),op_aiqF8n6J9c(a,a)),op_zFNL8mZEFB(op_KYL1uVeVpb(a,a),op_KFSx94NKJn(343,a)))
    return count


def op_FLuSo40evO(a):
    return op_vg4gO5BX6G(a,a)

def op_count_FLuSo40evO(a):
    count = op_count_vg4gO5BX6G(a,a)
    return count


def op_OzkgYwrgK1(a):
    return op_ljTHtUsqzn(op_OKKcZfAt5B(op_qy3n0tapmE(a,a),op_m612RDITqL(a,a)))

def op_count_OzkgYwrgK1(a):
    count = op_count_qy3n0tapmE(a,a)+op_count_m612RDITqL(a,a)+op_count_OKKcZfAt5B(op_qy3n0tapmE(a,a),op_m612RDITqL(a,a))+op_count_ljTHtUsqzn(op_OKKcZfAt5B(op_qy3n0tapmE(a,a),op_m612RDITqL(a,a)))
    return count


def op_pziE1BpiHF(a, b):
    return op_i8ToyICDmI(op_inCIaGQf8u(a,a),op_hrf7POJlIJ(b,b))

def op_count_pziE1BpiHF(a, b):
    count = op_count_inCIaGQf8u(a,a)+op_count_hrf7POJlIJ(b,b)+op_count_i8ToyICDmI(op_inCIaGQf8u(a,a),op_hrf7POJlIJ(b,b))
    return count


def op_R0IH6tFGJf(a):
    return op_KbjG8mgYpV(a,a)

def op_count_R0IH6tFGJf(a):
    count = op_count_KbjG8mgYpV(a,a)
    return count


def op_siXBX5KuZL(a, b):
    return op_ar1w6gUwHX(op_9xnGDUPbC6(b),op_YSKBFp38Pu(b,a))

def op_count_siXBX5KuZL(a, b):
    count = op_count_9xnGDUPbC6(b)+op_count_YSKBFp38Pu(b,a)+op_count_ar1w6gUwHX(op_9xnGDUPbC6(b),op_YSKBFp38Pu(b,a))
    return count


⫌a = { ((a⪱⇝(⨾∊⩁a))⋝⋈⪟((a⪍)∇⊂⋱(⇗⪘∲a))) }

def op_WFoUMfrXh9(a):
    return op_2DDjHMKMc0(op_OTRTVPweYV(a,op_QErWpSDGk0(a)),op_nhYeJWJD5X(op_SHWCOp9I4E(a),op_j4geBLYVFK(a)))

def op_count_WFoUMfrXh9(a):
    count = op_count_QErWpSDGk0(a)+op_count_OTRTVPweYV(a,op_QErWpSDGk0(a))+op_count_SHWCOp9I4E(a)+op_count_j4geBLYVFK(a)+op_count_nhYeJWJD5X(op_SHWCOp9I4E(a),op_j4geBLYVFK(a))+op_count_2DDjHMKMc0(op_OTRTVPweYV(a,op_QErWpSDGk0(a)),op_nhYeJWJD5X(op_SHWCOp9I4E(a),op_j4geBLYVFK(a)))
    return count


def op_iKsoMkOqp0(a):
    return op_WObL9SsYVE(op_840vADziXz(294),op_OKKcZfAt5B(661,a))

def op_count_iKsoMkOqp0(a):
    count = op_count_840vADziXz(294)+op_count_OKKcZfAt5B(661,a)+op_count_WObL9SsYVE(op_840vADziXz(294),op_OKKcZfAt5B(661,a))
    return count


def op_SVbYQ5zZTr(a, b):
    return op_3YWlZA9bsa(op_B3tNObfNaL(b),op_WR6HLWljOP(a,a))

def op_count_SVbYQ5zZTr(a, b):
    count = op_count_B3tNObfNaL(b)+op_count_WR6HLWljOP(a,a)+op_count_3YWlZA9bsa(op_B3tNObfNaL(b),op_WR6HLWljOP(a,a))
    return count


def op_0rRutzN8mZ(a, b):
    return op_hrf7POJlIJ(op_kuIXHzHcAH(b,a),op_B3sABdIn96(490))

def op_count_0rRutzN8mZ(a, b):
    count = op_count_kuIXHzHcAH(b,a)+op_count_B3sABdIn96(490)+op_count_hrf7POJlIJ(op_kuIXHzHcAH(b,a),op_B3sABdIn96(490))
    return count


def op_fGKC3BaeBC(a):
    return op_2DDjHMKMc0(op_3sJ7IOPOlU(9,a),op_bPywburJMS(a,a))

def op_count_fGKC3BaeBC(a):
    count = op_count_3sJ7IOPOlU(9,a)+op_count_bPywburJMS(a,a)+op_count_2DDjHMKMc0(op_3sJ7IOPOlU(9,a),op_bPywburJMS(a,a))
    return count


def op_TN95HPKuwU(a):
    return op_2M7SKlOzyM(a,680)

def op_count_TN95HPKuwU(a):
    count = op_count_2M7SKlOzyM(a,680)
    return count


def op_uqRLbkwYuT(a):
    return op_rysDP5nf3Z(op_W4YGzv6Whe(a,a),op_JDUIKTTSIa(a,a))

def op_count_uqRLbkwYuT(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_JDUIKTTSIa(a,a)+op_count_rysDP5nf3Z(op_W4YGzv6Whe(a,a),op_JDUIKTTSIa(a,a))
    return count


def op_kE9YHawE8s(a, b):
    return op_DmTXOeWf9t(op_j9kHMeSvPp(op_vg4gO5BX6G(a,b),op_cWQsF5MvuD(b)),op_5JYyxRJd4f(op_dfKe02y8D2(a,a)))

def op_count_kE9YHawE8s(a, b):
    count = op_count_vg4gO5BX6G(a,b)+op_count_cWQsF5MvuD(b)+op_count_j9kHMeSvPp(op_vg4gO5BX6G(a,b),op_cWQsF5MvuD(b))+op_count_dfKe02y8D2(a,a)+op_count_5JYyxRJd4f(op_dfKe02y8D2(a,a))+op_count_DmTXOeWf9t(op_j9kHMeSvPp(op_vg4gO5BX6G(a,b),op_cWQsF5MvuD(b)),op_5JYyxRJd4f(op_dfKe02y8D2(a,a)))
    return count


a⫟↡b = { (((⩣⪁b)⊓≱(a⋷a))∺≝⩲((a→⨶⪴b)↨⪍≴(b∫⋜⩖a))) }

def op_Vb2KBMmg4y(a, b):
    return op_KPf6cnQVty(op_VCG3UHNzLR(op_W2rMsuCzF8(b),op_23Mk6UjR3U(a,a)),op_DX7B1fY6P6(op_bF6eod5Gvf(a,b),op_JgXZM7XvWE(b,a)))

def op_count_Vb2KBMmg4y(a, b):
    count = op_count_W2rMsuCzF8(b)+op_count_23Mk6UjR3U(a,a)+op_count_VCG3UHNzLR(op_W2rMsuCzF8(b),op_23Mk6UjR3U(a,a))+op_count_bF6eod5Gvf(a,b)+op_count_JgXZM7XvWE(b,a)+op_count_DX7B1fY6P6(op_bF6eod5Gvf(a,b),op_JgXZM7XvWE(b,a))+op_count_KPf6cnQVty(op_VCG3UHNzLR(op_W2rMsuCzF8(b),op_23Mk6UjR3U(a,a)),op_DX7B1fY6P6(op_bF6eod5Gvf(a,b),op_JgXZM7XvWE(b,a)))
    return count


a⫿⊹≯b = { (((a≽⪈↿b)⇌⫙⪟(⪁⇼319))⨑((b⨣∐↬a)≏⨯⊱(⨂⪏⇭a))) }

def op_WHt3Xt46DB(a, b):
    return op_IxJHfR5psi(op_AFVx7xoS7T(op_inCIaGQf8u(a,b),op_ZNVVrZ94lY(319)),op_UqUOXUQnbU(op_UpkSd4zESC(b,a),op_AYdpE9sXAk(a)))

def op_count_WHt3Xt46DB(a, b):
    count = op_count_inCIaGQf8u(a,b)+op_count_ZNVVrZ94lY(319)+op_count_AFVx7xoS7T(op_inCIaGQf8u(a,b),op_ZNVVrZ94lY(319))+op_count_UpkSd4zESC(b,a)+op_count_AYdpE9sXAk(a)+op_count_UqUOXUQnbU(op_UpkSd4zESC(b,a),op_AYdpE9sXAk(a))+op_count_IxJHfR5psi(op_AFVx7xoS7T(op_inCIaGQf8u(a,b),op_ZNVVrZ94lY(319)),op_UqUOXUQnbU(op_UpkSd4zESC(b,a),op_AYdpE9sXAk(a)))
    return count


def op_BuSO44A1JA(a):
    return op_y2kQTS4a70(a,op_V4yb4KDoeF(a,a))

def op_count_BuSO44A1JA(a):
    count = op_count_V4yb4KDoeF(a,a)+op_count_y2kQTS4a70(a,op_V4yb4KDoeF(a,a))
    return count


a⪓↹⇾b = { (((a∆⨵⋿)∁)⪚((b⪇≇⋚b)⨑≵⋬(101∄b))) }

def op_vs8iUQwOA7(a, b):
    return op_HrjLwUk87U(op_jdwGQqwJi5(op_7CBskBkoKY(a)),op_XnXgA4xnOs(op_3sJ7IOPOlU(b,b),op_tnyRA5sazQ(101,b)))

def op_count_vs8iUQwOA7(a, b):
    count = op_count_7CBskBkoKY(a)+op_count_jdwGQqwJi5(op_7CBskBkoKY(a))+op_count_3sJ7IOPOlU(b,b)+op_count_tnyRA5sazQ(101,b)+op_count_XnXgA4xnOs(op_3sJ7IOPOlU(b,b),op_tnyRA5sazQ(101,b))+op_count_HrjLwUk87U(op_jdwGQqwJi5(op_7CBskBkoKY(a)),op_XnXgA4xnOs(op_3sJ7IOPOlU(b,b),op_tnyRA5sazQ(101,b)))
    return count


def op_2KNBRhPqiH(a, b):
    return op_9bazX3JMtO(op_eaFBhJ0Uku(op_zR4jO40bMj(344,129),op_7PjNe5qSIJ(a,b)),op_m612RDITqL(op_COABgblf1C(a,b),op_AdZkA7nFnk(b,b)))

def op_count_2KNBRhPqiH(a, b):
    count = op_count_zR4jO40bMj(344,129)+op_count_7PjNe5qSIJ(a,b)+op_count_eaFBhJ0Uku(op_zR4jO40bMj(344,129),op_7PjNe5qSIJ(a,b))+op_count_COABgblf1C(a,b)+op_count_AdZkA7nFnk(b,b)+op_count_m612RDITqL(op_COABgblf1C(a,b),op_AdZkA7nFnk(b,b))+op_count_9bazX3JMtO(op_eaFBhJ0Uku(op_zR4jO40bMj(344,129),op_7PjNe5qSIJ(a,b)),op_m612RDITqL(op_COABgblf1C(a,b),op_AdZkA7nFnk(b,b)))
    return count


↠∋a = { (((203⩌a)≬⋮(a⊉↱≁a))⫚↹⊑((a⊋≦⊧a)⪇≇⋚(a∵≐))) }

def op_KHAvRn04uW(a):
    return op_dfKe02y8D2(op_kbkesczE7y(op_UoVew8f2p2(203,a),op_w2P8NbNXyL(a,a)),op_3sJ7IOPOlU(op_oRDoc9rAEX(a,a),op_59igzFyhWz(a)))

def op_count_KHAvRn04uW(a):
    count = op_count_UoVew8f2p2(203,a)+op_count_w2P8NbNXyL(a,a)+op_count_kbkesczE7y(op_UoVew8f2p2(203,a),op_w2P8NbNXyL(a,a))+op_count_oRDoc9rAEX(a,a)+op_count_59igzFyhWz(a)+op_count_3sJ7IOPOlU(op_oRDoc9rAEX(a,a),op_59igzFyhWz(a))+op_count_dfKe02y8D2(op_kbkesczE7y(op_UoVew8f2p2(203,a),op_w2P8NbNXyL(a,a)),op_3sJ7IOPOlU(op_oRDoc9rAEX(a,a),op_59igzFyhWz(a)))
    return count


def op_VXHFBbhtXV(a, b):
    return op_vg4gO5BX6G(op_texHS70gxN(a),op_uysxUYN2L2(b,b))

def op_count_VXHFBbhtXV(a, b):
    count = op_count_texHS70gxN(a)+op_count_uysxUYN2L2(b,b)+op_count_vg4gO5BX6G(op_texHS70gxN(a),op_uysxUYN2L2(b,b))
    return count


def op_g3XCkDyza1(a, b):
    return op_IwW236VD4Y(op_Lhk0YGb717(op_1aApVXNlOP(b,b)),op_j9kHMeSvPp(op_xRrnTEsQ6j(a,a),b))

def op_count_g3XCkDyza1(a, b):
    count = op_count_1aApVXNlOP(b,b)+op_count_Lhk0YGb717(op_1aApVXNlOP(b,b))+op_count_xRrnTEsQ6j(a,a)+op_count_j9kHMeSvPp(op_xRrnTEsQ6j(a,a),b)+op_count_IwW236VD4Y(op_Lhk0YGb717(op_1aApVXNlOP(b,b)),op_j9kHMeSvPp(op_xRrnTEsQ6j(a,a),b))
    return count


def op_gjxVurfuqZ(a):
    return op_zFNL8mZEFB(op_UoVew8f2p2(a,a),op_EZ6cjipfBz(60))

def op_count_gjxVurfuqZ(a):
    count = op_count_UoVew8f2p2(a,a)+op_count_EZ6cjipfBz(60)+op_count_zFNL8mZEFB(op_UoVew8f2p2(a,a),op_EZ6cjipfBz(60))
    return count


a⩌⨭≭b = { (((b⊠≄⫣)↺(a⋝⋈⪟a))⇢((b∲⫓a)∘a)) }

def op_4KnvnEaVgu(a, b):
    return op_GMN7JP6WpN(op_7j4O788W3g(op_DIvbN7qnHd(b),op_2DDjHMKMc0(a,a)),op_Z5m6OM72h2(op_i8ToyICDmI(b,a),a))

def op_count_4KnvnEaVgu(a, b):
    count = op_count_DIvbN7qnHd(b)+op_count_2DDjHMKMc0(a,a)+op_count_7j4O788W3g(op_DIvbN7qnHd(b),op_2DDjHMKMc0(a,a))+op_count_i8ToyICDmI(b,a)+op_count_Z5m6OM72h2(op_i8ToyICDmI(b,a),a)+op_count_GMN7JP6WpN(op_7j4O788W3g(op_DIvbN7qnHd(b),op_2DDjHMKMc0(a,a)),op_Z5m6OM72h2(op_i8ToyICDmI(b,a),a))
    return count


def op_Wj60HvphQp(a):
    return op_ut0Nd8ObBp(op_HrjLwUk87U(op_Noe24qw2ks(a,521),407))

def op_count_Wj60HvphQp(a):
    count = op_count_Noe24qw2ks(a,521)+op_count_HrjLwUk87U(op_Noe24qw2ks(a,521),407)+op_count_ut0Nd8ObBp(op_HrjLwUk87U(op_Noe24qw2ks(a,521),407))
    return count


def op_K6FahzXawg(a):
    return op_dAAkup5nzi(op_irKjLsMeKy(op_S5ZFQS4GK3(a,6),op_B3sABdIn96(0)),a)

def op_count_K6FahzXawg(a):
    count = op_count_S5ZFQS4GK3(a,6)+op_count_B3sABdIn96(0)+op_count_irKjLsMeKy(op_S5ZFQS4GK3(a,6),op_B3sABdIn96(0))+op_count_dAAkup5nzi(op_irKjLsMeKy(op_S5ZFQS4GK3(a,6),op_B3sABdIn96(0)),a)
    return count


def op_zXFJn6gPTe(a, b):
    return op_840vADziXz(op_7j4O788W3g(op_5twsqlHp2o(a,a),op_AfoL3wC8aT(b)))

def op_count_zXFJn6gPTe(a, b):
    count = op_count_5twsqlHp2o(a,a)+op_count_AfoL3wC8aT(b)+op_count_7j4O788W3g(op_5twsqlHp2o(a,a),op_AfoL3wC8aT(b))+op_count_840vADziXz(op_7j4O788W3g(op_5twsqlHp2o(a,a),op_AfoL3wC8aT(b)))
    return count


def op_zPWNPtZ3KV(a, b):
    return op_pjdzZ5rP1Y(op_COABgblf1C(op_KbjG8mgYpV(b,a),op_2Wsdkap16l(b,b)))

def op_count_zPWNPtZ3KV(a, b):
    count = op_count_KbjG8mgYpV(b,a)+op_count_2Wsdkap16l(b,b)+op_count_COABgblf1C(op_KbjG8mgYpV(b,a),op_2Wsdkap16l(b,b))+op_count_pjdzZ5rP1Y(op_COABgblf1C(op_KbjG8mgYpV(b,a),op_2Wsdkap16l(b,b)))
    return count


def op_NyW8NWEJiF(a):
    return op_Z5m6OM72h2(op_B3sABdIn96(456),op_nCS4ZIUYfx(a,a))

def op_count_NyW8NWEJiF(a):
    count = op_count_B3sABdIn96(456)+op_count_nCS4ZIUYfx(a,a)+op_count_Z5m6OM72h2(op_B3sABdIn96(456),op_nCS4ZIUYfx(a,a))
    return count


def op_leNEk7drxJ(a):
    return op_u6S6b8DprG(op_86A5ENbKR9(op_DIvbN7qnHd(a)))

def op_count_leNEk7drxJ(a):
    count = op_count_DIvbN7qnHd(a)+op_count_86A5ENbKR9(op_DIvbN7qnHd(a))+op_count_u6S6b8DprG(op_86A5ENbKR9(op_DIvbN7qnHd(a)))
    return count


def op_CBVyztIHgB(a):
    return op_ljTHtUsqzn(op_XIabStNQrY(a))

def op_count_CBVyztIHgB(a):
    count = op_count_XIabStNQrY(a)+op_count_ljTHtUsqzn(op_XIabStNQrY(a))
    return count


⋋a = { (((296⊋≦⊧a)⊬⨰(a⨰a))⨓↿∉(↞(a⇟⨁⪰))) }

def op_HEPS4dT3gs(a):
    return op_OWnFPqjWlR(op_s3Fd5m9Dh2(op_oRDoc9rAEX(296,a),op_eewbuw0ToL(a,a)),op_QKXs96F9fN(op_BX1lVwlMe0(a)))

def op_count_HEPS4dT3gs(a):
    count = op_count_oRDoc9rAEX(296,a)+op_count_eewbuw0ToL(a,a)+op_count_s3Fd5m9Dh2(op_oRDoc9rAEX(296,a),op_eewbuw0ToL(a,a))+op_count_BX1lVwlMe0(a)+op_count_QKXs96F9fN(op_BX1lVwlMe0(a))+op_count_OWnFPqjWlR(op_s3Fd5m9Dh2(op_oRDoc9rAEX(296,a),op_eewbuw0ToL(a,a)),op_QKXs96F9fN(op_BX1lVwlMe0(a)))
    return count


def op_p5qYALri8P(a):
    return op_BAIXFdYaz3(op_AYdpE9sXAk(op_giaUb8UVhq(a,635)),op_Y5cEcQhyKu(op_eewbuw0ToL(a,a),32))

def op_count_p5qYALri8P(a):
    count = op_count_giaUb8UVhq(a,635)+op_count_AYdpE9sXAk(op_giaUb8UVhq(a,635))+op_count_eewbuw0ToL(a,a)+op_count_Y5cEcQhyKu(op_eewbuw0ToL(a,a),32)+op_count_BAIXFdYaz3(op_AYdpE9sXAk(op_giaUb8UVhq(a,635)),op_Y5cEcQhyKu(op_eewbuw0ToL(a,a),32))
    return count


⫝⫍⪕a = { (((a⇔⨋)⪒⊣⊆(a⨰a))⇢((a⩜⩌)⊢(208⊵a))) }

def op_zyyyEbyS6z(a):
    return op_GMN7JP6WpN(op_eRqsBgTDFp(op_uBihLCJcMX(a),op_eewbuw0ToL(a,a)),op_5twsqlHp2o(op_2DRhT6gtPg(a),op_eaFBhJ0Uku(208,a)))

def op_count_zyyyEbyS6z(a):
    count = op_count_uBihLCJcMX(a)+op_count_eewbuw0ToL(a,a)+op_count_eRqsBgTDFp(op_uBihLCJcMX(a),op_eewbuw0ToL(a,a))+op_count_2DRhT6gtPg(a)+op_count_eaFBhJ0Uku(208,a)+op_count_5twsqlHp2o(op_2DRhT6gtPg(a),op_eaFBhJ0Uku(208,a))+op_count_GMN7JP6WpN(op_eRqsBgTDFp(op_uBihLCJcMX(a),op_eewbuw0ToL(a,a)),op_5twsqlHp2o(op_2DRhT6gtPg(a),op_eaFBhJ0Uku(208,a)))
    return count


def op_9C14WDc2HD(a, b):
    return op_umQnsF7QlU(op_eftAHwPbeA(op_KFSx94NKJn(b,a)),op_s0kPeV9Vm2(op_wsXFuL0hC6(b,a)))

def op_count_9C14WDc2HD(a, b):
    count = op_count_KFSx94NKJn(b,a)+op_count_eftAHwPbeA(op_KFSx94NKJn(b,a))+op_count_wsXFuL0hC6(b,a)+op_count_s0kPeV9Vm2(op_wsXFuL0hC6(b,a))+op_count_umQnsF7QlU(op_eftAHwPbeA(op_KFSx94NKJn(b,a)),op_s0kPeV9Vm2(op_wsXFuL0hC6(b,a)))
    return count


⋴a = { (((a⨸⪁a)⪐)∌↝((a→⨶⪴a)+⪬∐(a≬⋮a))) }

def op_6m6eYvIglw(a):
    return op_9Isq31Ruls(op_eH2TOUuTDT(op_g55IO6H4Gj(a,a)),op_2GS7woTJqF(op_bF6eod5Gvf(a,a),op_kbkesczE7y(a,a)))

def op_count_6m6eYvIglw(a):
    count = op_count_g55IO6H4Gj(a,a)+op_count_eH2TOUuTDT(op_g55IO6H4Gj(a,a))+op_count_bF6eod5Gvf(a,a)+op_count_kbkesczE7y(a,a)+op_count_2GS7woTJqF(op_bF6eod5Gvf(a,a),op_kbkesczE7y(a,a))+op_count_9Isq31Ruls(op_eH2TOUuTDT(op_g55IO6H4Gj(a,a)),op_2GS7woTJqF(op_bF6eod5Gvf(a,a),op_kbkesczE7y(a,a)))
    return count


def op_7tsVghrNr2(a, b):
    return op_BjRHVeLaeN(op_sM9mzqIDB1(a,b))

def op_count_7tsVghrNr2(a, b):
    count = op_count_sM9mzqIDB1(a,b)+op_count_BjRHVeLaeN(op_sM9mzqIDB1(a,b))
    return count


def op_yJC0uiLgXl(a, b):
    return op_KbjG8mgYpV(op_zFNL8mZEFB(op_oRDoc9rAEX(160,b),op_oRDoc9rAEX(417,333)),op_RPa3726CSl(op_AdZkA7nFnk(5,a)))

def op_count_yJC0uiLgXl(a, b):
    count = op_count_oRDoc9rAEX(160,b)+op_count_oRDoc9rAEX(417,333)+op_count_zFNL8mZEFB(op_oRDoc9rAEX(160,b),op_oRDoc9rAEX(417,333))+op_count_AdZkA7nFnk(5,a)+op_count_RPa3726CSl(op_AdZkA7nFnk(5,a))+op_count_KbjG8mgYpV(op_zFNL8mZEFB(op_oRDoc9rAEX(160,b),op_oRDoc9rAEX(417,333)),op_RPa3726CSl(op_AdZkA7nFnk(5,a)))
    return count


def op_DolxePZw3A(a):
    return op_E4l6HwMY31(a,op_Pkwamo1tM2(op_8n5YIzOsVS(538),op_Y7wcNGrDQJ(a,a)))

def op_count_DolxePZw3A(a):
    count = op_count_8n5YIzOsVS(538)+op_count_Y7wcNGrDQJ(a,a)+op_count_Pkwamo1tM2(op_8n5YIzOsVS(538),op_Y7wcNGrDQJ(a,a))+op_count_E4l6HwMY31(a,op_Pkwamo1tM2(op_8n5YIzOsVS(538),op_Y7wcNGrDQJ(a,a)))
    return count


def op_vOEbQuTTbH(a):
    return op_Cr5xnr8B4B(op_sM9mzqIDB1(411,a),op_jfYOP67v6Y(143))

def op_count_vOEbQuTTbH(a):
    count = op_count_sM9mzqIDB1(411,a)+op_count_jfYOP67v6Y(143)+op_count_Cr5xnr8B4B(op_sM9mzqIDB1(411,a),op_jfYOP67v6Y(143))
    return count


def op_rQTtyvEHdZ(a, b):
    return op_9Isq31Ruls(op_Ikt5ks8PT7(a,op_UggxBX659n(b,a)),a)

def op_count_rQTtyvEHdZ(a, b):
    count = op_count_UggxBX659n(b,a)+op_count_Ikt5ks8PT7(a,op_UggxBX659n(b,a))+op_count_9Isq31Ruls(op_Ikt5ks8PT7(a,op_UggxBX659n(b,a)),a)
    return count


def op_5ZOZ9aqYwt(a):
    return op_Zubgv0tBda(op_COABgblf1C(op_8cLx32lpNA(a,a),op_D3AQDKkPcf(a,a)))

def op_count_5ZOZ9aqYwt(a):
    count = op_count_8cLx32lpNA(a,a)+op_count_D3AQDKkPcf(a,a)+op_count_COABgblf1C(op_8cLx32lpNA(a,a),op_D3AQDKkPcf(a,a))+op_count_Zubgv0tBda(op_COABgblf1C(op_8cLx32lpNA(a,a),op_D3AQDKkPcf(a,a)))
    return count


def op_MVP4l6Shxk(a):
    return op_0MNWfHKp6a(op_lAOUD4ZMWV(op_UggxBX659n(a,a)))

def op_count_MVP4l6Shxk(a):
    count = op_count_UggxBX659n(a,a)+op_count_lAOUD4ZMWV(op_UggxBX659n(a,a))+op_count_0MNWfHKp6a(op_lAOUD4ZMWV(op_UggxBX659n(a,a)))
    return count


def op_1FNdsR4kI8(a):
    return op_aiqF8n6J9c(a,297)

def op_count_1FNdsR4kI8(a):
    count = op_count_aiqF8n6J9c(a,297)
    return count


def op_Gul2kBmyZM(a, b):
    return op_qxqspddX8k(op_18saOjeKKm(b),op_3EYGwJThht(a,b))

def op_count_Gul2kBmyZM(a, b):
    count = op_count_18saOjeKKm(b)+op_count_3EYGwJThht(a,b)+op_count_qxqspddX8k(op_18saOjeKKm(b),op_3EYGwJThht(a,b))
    return count


def op_h2AnrTQJpk(a):
    return op_SWo3A1KBJH(op_JclMnS0uGI(op_3tVxb0NHM4(393,a),op_l1M9WJ3V7u(349)))

def op_count_h2AnrTQJpk(a):
    count = op_count_3tVxb0NHM4(393,a)+op_count_l1M9WJ3V7u(349)+op_count_JclMnS0uGI(op_3tVxb0NHM4(393,a),op_l1M9WJ3V7u(349))+op_count_SWo3A1KBJH(op_JclMnS0uGI(op_3tVxb0NHM4(393,a),op_l1M9WJ3V7u(349)))
    return count


a⨯⫼b = { (((∑⇻≧b)⇼⇔∾(b⨑b))⇤((a⪕a)∽(b↼⊘⨖653))) }

def op_FTL9XYvdA1(a, b):
    return op_YSKBFp38Pu(op_tifHPKVTfV(op_l1M9WJ3V7u(b),op_IxJHfR5psi(b,b)),op_y4ImoPnbV5(op_umQnsF7QlU(a,a),op_bPywburJMS(b,653)))

def op_count_FTL9XYvdA1(a, b):
    count = op_count_l1M9WJ3V7u(b)+op_count_IxJHfR5psi(b,b)+op_count_tifHPKVTfV(op_l1M9WJ3V7u(b),op_IxJHfR5psi(b,b))+op_count_umQnsF7QlU(a,a)+op_count_bPywburJMS(b,653)+op_count_y4ImoPnbV5(op_umQnsF7QlU(a,a),op_bPywburJMS(b,653))+op_count_YSKBFp38Pu(op_tifHPKVTfV(op_l1M9WJ3V7u(b),op_IxJHfR5psi(b,b)),op_y4ImoPnbV5(op_umQnsF7QlU(a,a),op_bPywburJMS(b,653)))
    return count


def op_Xn8VX980RZ(a):
    return op_XnXgA4xnOs(a,a)

def op_count_Xn8VX980RZ(a):
    count = op_count_XnXgA4xnOs(a,a)
    return count


⫈⋼a = { (((⋽⪳⨃a)≭⫡(⊈a))⫸((a⫀)∇⊂⋱(a⪢⋭))) }

def op_Y2yESqJJHz(a):
    return op_Qaz2MhZaG5(op_b1mGkbI4Oy(op_qAljGMXEZr(a),op_RHru8klgy8(a)),op_nhYeJWJD5X(op_hFnZRMLNSM(a),op_csT5a4elgc(a)))

def op_count_Y2yESqJJHz(a):
    count = op_count_qAljGMXEZr(a)+op_count_RHru8klgy8(a)+op_count_b1mGkbI4Oy(op_qAljGMXEZr(a),op_RHru8klgy8(a))+op_count_hFnZRMLNSM(a)+op_count_csT5a4elgc(a)+op_count_nhYeJWJD5X(op_hFnZRMLNSM(a),op_csT5a4elgc(a))+op_count_Qaz2MhZaG5(op_b1mGkbI4Oy(op_qAljGMXEZr(a),op_RHru8klgy8(a)),op_nhYeJWJD5X(op_hFnZRMLNSM(a),op_csT5a4elgc(a)))
    return count


def op_5hXIoSHgw9(a, b):
    return op_ObEyaaML9x(op_zR4jO40bMj(op_XPYlsWDdGa(a),op_KROiRRz3d6(b,a)),op_z2JHNkvbdm(op_uyq1hVkAcj(a),a))

def op_count_5hXIoSHgw9(a, b):
    count = op_count_XPYlsWDdGa(a)+op_count_KROiRRz3d6(b,a)+op_count_zR4jO40bMj(op_XPYlsWDdGa(a),op_KROiRRz3d6(b,a))+op_count_uyq1hVkAcj(a)+op_count_z2JHNkvbdm(op_uyq1hVkAcj(a),a)+op_count_ObEyaaML9x(op_zR4jO40bMj(op_XPYlsWDdGa(a),op_KROiRRz3d6(b,a)),op_z2JHNkvbdm(op_uyq1hVkAcj(a),a))
    return count


def op_e8vy2cuFa5(a):
    return op_12rbrZMWeM(op_eVHdItn4YL(a),op_zV3pqYiQ5E(a))

def op_count_e8vy2cuFa5(a):
    count = op_count_eVHdItn4YL(a)+op_count_zV3pqYiQ5E(a)+op_count_12rbrZMWeM(op_eVHdItn4YL(a),op_zV3pqYiQ5E(a))
    return count


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

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


def op_VIBw2zwtKb(a, b):
    return op_uPb5QRN0te(op_keuJNkrrbj(b,a))

def op_count_VIBw2zwtKb(a, b):
    count = op_count_keuJNkrrbj(b,a)+op_count_uPb5QRN0te(op_keuJNkrrbj(b,a))
    return count


def op_0D7yuLhasi(a):
    return op_dfKe02y8D2(op_4JB6nKBMSY(op_nREPSIbpBE(a,9),op_i3MWstRFMQ(a)),op_6o9Blt3TJ6(op_XPYlsWDdGa(a),op_vRio1gEz1j(a)))

def op_count_0D7yuLhasi(a):
    count = op_count_nREPSIbpBE(a,9)+op_count_i3MWstRFMQ(a)+op_count_4JB6nKBMSY(op_nREPSIbpBE(a,9),op_i3MWstRFMQ(a))+op_count_XPYlsWDdGa(a)+op_count_vRio1gEz1j(a)+op_count_6o9Blt3TJ6(op_XPYlsWDdGa(a),op_vRio1gEz1j(a))+op_count_dfKe02y8D2(op_4JB6nKBMSY(op_nREPSIbpBE(a,9),op_i3MWstRFMQ(a)),op_6o9Blt3TJ6(op_XPYlsWDdGa(a),op_vRio1gEz1j(a)))
    return count


def op_TcWRjSoWrE(a):
    return op_PjbVkMzmXE(op_SgAxmdLNEA(a),a)

def op_count_TcWRjSoWrE(a):
    count = op_count_SgAxmdLNEA(a)+op_count_PjbVkMzmXE(op_SgAxmdLNEA(a),a)
    return count


def op_SLd90eE9Gm(a):
    return op_2DQ55sFlQl(op_TytFGXR7Zf(op_neKQRQQIil(a,a)),op_PPChnnnBFF(op_GMN7JP6WpN(19,3),a))

def op_count_SLd90eE9Gm(a):
    count = op_count_neKQRQQIil(a,a)+op_count_TytFGXR7Zf(op_neKQRQQIil(a,a))+op_count_GMN7JP6WpN(19,3)+op_count_PPChnnnBFF(op_GMN7JP6WpN(19,3),a)+op_count_2DQ55sFlQl(op_TytFGXR7Zf(op_neKQRQQIil(a,a)),op_PPChnnnBFF(op_GMN7JP6WpN(19,3),a))
    return count


def op_EAoIFGtZkS(a):
    return op_u6S6b8DprG(op_AdZkA7nFnk(716,a))

def op_count_EAoIFGtZkS(a):
    count = op_count_AdZkA7nFnk(716,a)+op_count_u6S6b8DprG(op_AdZkA7nFnk(716,a))
    return count


≚a = { (((a⨓↿∉a)⨴(a↼⊘⨖a))⊲⩕⊾((a⩵∡a)⋘(⩷191))) }

def op_uewDYDcSPn(a):
    return op_DmTXOeWf9t(op_jBC4ymW3D7(op_OWnFPqjWlR(a,a),op_bPywburJMS(a,a)),op_2M7SKlOzyM(op_Y7wcNGrDQJ(a,a),op_1h0rLqGiFr(191)))

def op_count_uewDYDcSPn(a):
    count = op_count_OWnFPqjWlR(a,a)+op_count_bPywburJMS(a,a)+op_count_jBC4ymW3D7(op_OWnFPqjWlR(a,a),op_bPywburJMS(a,a))+op_count_Y7wcNGrDQJ(a,a)+op_count_1h0rLqGiFr(191)+op_count_2M7SKlOzyM(op_Y7wcNGrDQJ(a,a),op_1h0rLqGiFr(191))+op_count_DmTXOeWf9t(op_jBC4ymW3D7(op_OWnFPqjWlR(a,a),op_bPywburJMS(a,a)),op_2M7SKlOzyM(op_Y7wcNGrDQJ(a,a),op_1h0rLqGiFr(191)))
    return count


def op_4VGUKENmH0(a):
    return op_YbVcJGFEVW(op_lAOUD4ZMWV(a),op_qWUSsah53b(a))

def op_count_4VGUKENmH0(a):
    count = op_count_lAOUD4ZMWV(a)+op_count_qWUSsah53b(a)+op_count_YbVcJGFEVW(op_lAOUD4ZMWV(a),op_qWUSsah53b(a))
    return count


def op_K6AsHvFZGJ(a, b):
    return op_JFrVJKYFMX(op_840vADziXz(b),op_s3Fd5m9Dh2(a,810))

def op_count_K6AsHvFZGJ(a, b):
    count = op_count_840vADziXz(b)+op_count_s3Fd5m9Dh2(a,810)+op_count_JFrVJKYFMX(op_840vADziXz(b),op_s3Fd5m9Dh2(a,810))
    return count


def op_IwrbJi78Mr(a):
    return op_HJ9erzHUuu(op_5twsqlHp2o(op_D3AQDKkPcf(a,a),op_oRDoc9rAEX(271,a)),op_GMyVS5K48T(op_hmlrMsD2PO(343,144),op_s3Fd5m9Dh2(a,a)))

def op_count_IwrbJi78Mr(a):
    count = op_count_D3AQDKkPcf(a,a)+op_count_oRDoc9rAEX(271,a)+op_count_5twsqlHp2o(op_D3AQDKkPcf(a,a),op_oRDoc9rAEX(271,a))+op_count_hmlrMsD2PO(343,144)+op_count_s3Fd5m9Dh2(a,a)+op_count_GMyVS5K48T(op_hmlrMsD2PO(343,144),op_s3Fd5m9Dh2(a,a))+op_count_HJ9erzHUuu(op_5twsqlHp2o(op_D3AQDKkPcf(a,a),op_oRDoc9rAEX(271,a)),op_GMyVS5K48T(op_hmlrMsD2PO(343,144),op_s3Fd5m9Dh2(a,a)))
    return count


def op_QeMqMgpMCq(a):
    return op_nhYeJWJD5X(131,a)

def op_count_QeMqMgpMCq(a):
    count = op_count_nhYeJWJD5X(131,a)
    return count


def op_RUiJZCGom6(a):
    return op_2M7SKlOzyM(op_BAIXFdYaz3(a,a),op_giaUb8UVhq(a,393))

def op_count_RUiJZCGom6(a):
    count = op_count_BAIXFdYaz3(a,a)+op_count_giaUb8UVhq(a,393)+op_count_2M7SKlOzyM(op_BAIXFdYaz3(a,a),op_giaUb8UVhq(a,393))
    return count


def op_iYXK16QgvJ(a):
    return op_S5ZFQS4GK3(a,a)

def op_count_iYXK16QgvJ(a):
    count = op_count_S5ZFQS4GK3(a,a)
    return count


def op_EcikR1MxSZ(a, b):
    return op_eaFBhJ0Uku(op_m612RDITqL(a,a),op_nREPSIbpBE(a,b))

def op_count_EcikR1MxSZ(a, b):
    count = op_count_m612RDITqL(a,a)+op_count_nREPSIbpBE(a,b)+op_count_eaFBhJ0Uku(op_m612RDITqL(a,a),op_nREPSIbpBE(a,b))
    return count


def op_x7GavNW4Kv(a):
    return op_bPywburJMS(op_Wm7LHi3c8p(op_OTRTVPweYV(a,a)),a)

def op_count_x7GavNW4Kv(a):
    count = op_count_OTRTVPweYV(a,a)+op_count_Wm7LHi3c8p(op_OTRTVPweYV(a,a))+op_count_bPywburJMS(op_Wm7LHi3c8p(op_OTRTVPweYV(a,a)),a)
    return count


def op_HX99UMoF54(a, b):
    return op_4JGOJzXMq1(op_2DDjHMKMc0(op_f6k1SAg4EE(b,a),op_zoVPnxeHJ3(b)),668)

def op_count_HX99UMoF54(a, b):
    count = op_count_f6k1SAg4EE(b,a)+op_count_zoVPnxeHJ3(b)+op_count_2DDjHMKMc0(op_f6k1SAg4EE(b,a),op_zoVPnxeHJ3(b))+op_count_4JGOJzXMq1(op_2DDjHMKMc0(op_f6k1SAg4EE(b,a),op_zoVPnxeHJ3(b)),668)
    return count


a⊟⩓⊧b = { (((b⩍⋽⫝̸a)⨑b)↪∷((a⩵∡b)∺≝⩲210)) }

def op_ZWmKTO1x1a(a, b):
    return op_Api82iH42a(op_IxJHfR5psi(op_BiWNJpBvwn(b,a),b),op_KPf6cnQVty(op_Y7wcNGrDQJ(a,b),210))

def op_count_ZWmKTO1x1a(a, b):
    count = op_count_BiWNJpBvwn(b,a)+op_count_IxJHfR5psi(op_BiWNJpBvwn(b,a),b)+op_count_Y7wcNGrDQJ(a,b)+op_count_KPf6cnQVty(op_Y7wcNGrDQJ(a,b),210)+op_count_Api82iH42a(op_IxJHfR5psi(op_BiWNJpBvwn(b,a),b),op_KPf6cnQVty(op_Y7wcNGrDQJ(a,b),210))
    return count


def op_vvWkAKV61U(a, b):
    return op_d8xe6WWVfM(op_TytFGXR7Zf(op_bF6eod5Gvf(418,b)),op_wmlQD0656L(op_4JB6nKBMSY(b,a)))

def op_count_vvWkAKV61U(a, b):
    count = op_count_bF6eod5Gvf(418,b)+op_count_TytFGXR7Zf(op_bF6eod5Gvf(418,b))+op_count_4JB6nKBMSY(b,a)+op_count_wmlQD0656L(op_4JB6nKBMSY(b,a))+op_count_d8xe6WWVfM(op_TytFGXR7Zf(op_bF6eod5Gvf(418,b)),op_wmlQD0656L(op_4JB6nKBMSY(b,a)))
    return count


def op_glFeB2EvNP(a):
    return op_kuIXHzHcAH(op_9xnGDUPbC6(a),op_Ikt5ks8PT7(a,a))

def op_count_glFeB2EvNP(a):
    count = op_count_9xnGDUPbC6(a)+op_count_Ikt5ks8PT7(a,a)+op_count_kuIXHzHcAH(op_9xnGDUPbC6(a),op_Ikt5ks8PT7(a,a))
    return count


def op_dOLntULu1F(a):
    return op_jBC4ymW3D7(op_620seOwKww(a),op_COABgblf1C(267,185))

def op_count_dOLntULu1F(a):
    count = op_count_620seOwKww(a)+op_count_COABgblf1C(267,185)+op_count_jBC4ymW3D7(op_620seOwKww(a),op_COABgblf1C(267,185))
    return count


def op_8q3nCQXJ2k(a):
    return op_Bmrmz2XGnR(a,a)

def op_count_8q3nCQXJ2k(a):
    count = op_count_Bmrmz2XGnR(a,a)
    return count


a∨⋤⇐b = { (((↖∇⇑789)⪯⫾⋍(a⩦a))⫃⨇((109⪔⊥a)⨜⇔(⇻⫵b))) }

def op_XAozx2NkZN(a, b):
    return op_09Ly4LVMIf(op_S5ZFQS4GK3(op_th50nGnoUm(789),op_0kmYd0q39Y(a,a)),op_Sq3AGanRSD(op_HJ9erzHUuu(109,a),op_Wm7LHi3c8p(b)))

def op_count_XAozx2NkZN(a, b):
    count = op_count_th50nGnoUm(789)+op_count_0kmYd0q39Y(a,a)+op_count_S5ZFQS4GK3(op_th50nGnoUm(789),op_0kmYd0q39Y(a,a))+op_count_HJ9erzHUuu(109,a)+op_count_Wm7LHi3c8p(b)+op_count_Sq3AGanRSD(op_HJ9erzHUuu(109,a),op_Wm7LHi3c8p(b))+op_count_09Ly4LVMIf(op_S5ZFQS4GK3(op_th50nGnoUm(789),op_0kmYd0q39Y(a,a)),op_Sq3AGanRSD(op_HJ9erzHUuu(109,a),op_Wm7LHi3c8p(b)))
    return count


a⫨↝b = { (((a⋥≓≎b)↪∷(b⇿⊰a))⊉↱≁(508⩽⩡(⫇⪃↚a))) }

def op_LvaFuPukL6(a, b):
    return op_w2P8NbNXyL(op_Api82iH42a(op_Qy55tPpLXF(a,b),op_ap3xiM279w(b,a)),op_zFNL8mZEFB(508,op_Q9TX5pQS3Y(a)))

def op_count_LvaFuPukL6(a, b):
    count = op_count_Qy55tPpLXF(a,b)+op_count_ap3xiM279w(b,a)+op_count_Api82iH42a(op_Qy55tPpLXF(a,b),op_ap3xiM279w(b,a))+op_count_Q9TX5pQS3Y(a)+op_count_zFNL8mZEFB(508,op_Q9TX5pQS3Y(a))+op_count_w2P8NbNXyL(op_Api82iH42a(op_Qy55tPpLXF(a,b),op_ap3xiM279w(b,a)),op_zFNL8mZEFB(508,op_Q9TX5pQS3Y(a)))
    return count


def op_qR0a6FVQRO(a):
    return op_D3AQDKkPcf(op_FB83X2dByY(a),op_tmjFFOTKyA(a))

def op_count_qR0a6FVQRO(a):
    count = op_count_FB83X2dByY(a)+op_count_tmjFFOTKyA(a)+op_count_D3AQDKkPcf(op_FB83X2dByY(a),op_tmjFFOTKyA(a))
    return count


def op_dJiJYRflmL(a):
    return op_umQnsF7QlU(a,a)

def op_count_dJiJYRflmL(a):
    count = op_count_umQnsF7QlU(a,a)
    return count


def op_dfTirE4uw8(a, b):
    return op_DmTXOeWf9t(op_EWw2JM7wp4(b,b),op_uyq1hVkAcj(a))

def op_count_dfTirE4uw8(a, b):
    count = op_count_EWw2JM7wp4(b,b)+op_count_uyq1hVkAcj(a)+op_count_DmTXOeWf9t(op_EWw2JM7wp4(b,b),op_uyq1hVkAcj(a))
    return count


def op_PblpGk9Zbg(a, b):
    return op_HJ9erzHUuu(op_d8xe6WWVfM(a,b),op_Oe8teynzfS(593))

def op_count_PblpGk9Zbg(a, b):
    count = op_count_d8xe6WWVfM(a,b)+op_count_Oe8teynzfS(593)+op_count_HJ9erzHUuu(op_d8xe6WWVfM(a,b),op_Oe8teynzfS(593))
    return count


a⪉≟b = { (((↩⪖573)⋟⫀⨗(⋷⊟b))∠⫱((a∄199)⩵∡(a⪈⋁⩁a))) }

def op_SMFAWc6Akq(a, b):
    return op_QvoQhV0rrE(op_dAAkup5nzi(op_fG6uBQFnGz(573),op_2fAMLLeFHb(b)),op_Y7wcNGrDQJ(op_tnyRA5sazQ(a,199),op_GMyVS5K48T(a,a)))

def op_count_SMFAWc6Akq(a, b):
    count = op_count_fG6uBQFnGz(573)+op_count_2fAMLLeFHb(b)+op_count_dAAkup5nzi(op_fG6uBQFnGz(573),op_2fAMLLeFHb(b))+op_count_tnyRA5sazQ(a,199)+op_count_GMyVS5K48T(a,a)+op_count_Y7wcNGrDQJ(op_tnyRA5sazQ(a,199),op_GMyVS5K48T(a,a))+op_count_QvoQhV0rrE(op_dAAkup5nzi(op_fG6uBQFnGz(573),op_2fAMLLeFHb(b)),op_Y7wcNGrDQJ(op_tnyRA5sazQ(a,199),op_GMyVS5K48T(a,a)))
    return count


a⇼−⩝b = { (((b∫≲⋬)⪿⇪⊩(b∀⋜↑))⪇≇⋚((57⪒⊣⊆232)⋘(a⫶a))) }

def op_EB85YeEtfS(a, b):
    return op_3sJ7IOPOlU(op_OGWBzMv138(op_DNmMwa48aR(b),op_KipPnG1M2J(b)),op_2M7SKlOzyM(op_eRqsBgTDFp(57,232),op_BAIXFdYaz3(a,a)))

def op_count_EB85YeEtfS(a, b):
    count = op_count_DNmMwa48aR(b)+op_count_KipPnG1M2J(b)+op_count_OGWBzMv138(op_DNmMwa48aR(b),op_KipPnG1M2J(b))+op_count_eRqsBgTDFp(57,232)+op_count_BAIXFdYaz3(a,a)+op_count_2M7SKlOzyM(op_eRqsBgTDFp(57,232),op_BAIXFdYaz3(a,a))+op_count_3sJ7IOPOlU(op_OGWBzMv138(op_DNmMwa48aR(b),op_KipPnG1M2J(b)),op_2M7SKlOzyM(op_eRqsBgTDFp(57,232),op_BAIXFdYaz3(a,a)))
    return count


a⩥⪽ = { (((↞a)⪎⨄⋝)⪈⋁⩁((a⊋≦⊧a)⨴(28+⪬∐a))) }

def op_3nmA2mtsbg(a):
    return op_GMyVS5K48T(op_kweVJGAjhl(op_QKXs96F9fN(a)),op_jBC4ymW3D7(op_oRDoc9rAEX(a,a),op_2GS7woTJqF(28,a)))

def op_count_3nmA2mtsbg(a):
    count = op_count_QKXs96F9fN(a)+op_count_kweVJGAjhl(op_QKXs96F9fN(a))+op_count_oRDoc9rAEX(a,a)+op_count_2GS7woTJqF(28,a)+op_count_jBC4ymW3D7(op_oRDoc9rAEX(a,a),op_2GS7woTJqF(28,a))+op_count_GMyVS5K48T(op_kweVJGAjhl(op_QKXs96F9fN(a)),op_jBC4ymW3D7(op_oRDoc9rAEX(a,a),op_2GS7woTJqF(28,a)))
    return count


a⪙⪚⫻ = { (((a⫰⋱9)≧⊼(a⇋≉))⪔⊥((⫳⪺∰a)⊱⇼⊻a)) }

def op_BQe1WYTjzh(a):
    return op_HJ9erzHUuu(op_JoLB3LXqXx(op_6o9Blt3TJ6(a,9),op_XIabStNQrY(a)),op_FyVja0WsTP(op_eftAHwPbeA(a),a))

def op_count_BQe1WYTjzh(a):
    count = op_count_6o9Blt3TJ6(a,9)+op_count_XIabStNQrY(a)+op_count_JoLB3LXqXx(op_6o9Blt3TJ6(a,9),op_XIabStNQrY(a))+op_count_eftAHwPbeA(a)+op_count_FyVja0WsTP(op_eftAHwPbeA(a),a)+op_count_HJ9erzHUuu(op_JoLB3LXqXx(op_6o9Blt3TJ6(a,9),op_XIabStNQrY(a)),op_FyVja0WsTP(op_eftAHwPbeA(a),a))
    return count


def op_BEVrL8Aknx(a):
    return op_HQuZ2f4It9(op_kuIXHzHcAH(op_Rw46J52cBJ(a,75),op_irKjLsMeKy(a,a)))

def op_count_BEVrL8Aknx(a):
    count = op_count_Rw46J52cBJ(a,75)+op_count_irKjLsMeKy(a,a)+op_count_kuIXHzHcAH(op_Rw46J52cBJ(a,75),op_irKjLsMeKy(a,a))+op_count_HQuZ2f4It9(op_kuIXHzHcAH(op_Rw46J52cBJ(a,75),op_irKjLsMeKy(a,a)))
    return count


def op_H7BGMwr14A(a):
    return op_irKjLsMeKy(a,a)

def op_count_H7BGMwr14A(a):
    count = op_count_irKjLsMeKy(a,a)
    return count


a⪬⪬⋰b = { ((422≣(b∲⫑a))≠≀((≦a)⇛(a⊭a))) }

def op_dKnrfkTA9N(a, b):
    return op_IwW236VD4Y(op_ObEyaaML9x(422,op_NrdPCfJQiM(b,a)),op_S3tN1ZzpSt(op_RPa3726CSl(a),op_4JGOJzXMq1(a,a)))

def op_count_dKnrfkTA9N(a, b):
    count = op_count_NrdPCfJQiM(b,a)+op_count_ObEyaaML9x(422,op_NrdPCfJQiM(b,a))+op_count_RPa3726CSl(a)+op_count_4JGOJzXMq1(a,a)+op_count_S3tN1ZzpSt(op_RPa3726CSl(a),op_4JGOJzXMq1(a,a))+op_count_IwW236VD4Y(op_ObEyaaML9x(422,op_NrdPCfJQiM(b,a)),op_S3tN1ZzpSt(op_RPa3726CSl(a),op_4JGOJzXMq1(a,a)))
    return count


def op_7xJB7onPAH(a):
    return op_PaBHOjxk8c(op_Y5cEcQhyKu(a,a))

def op_count_7xJB7onPAH(a):
    count = op_count_Y5cEcQhyKu(a,a)+op_count_PaBHOjxk8c(op_Y5cEcQhyKu(a,a))
    return count


a⋒⫆⊙b = { ((≇⪴(b⊱⇼⊻a))⊔%((⋷⊟a)⫊⇚⊺(b∽a))) }

def op_i6kyr1sQ78(a, b):
    return op_uysxUYN2L2(op_zoVPnxeHJ3(op_FyVja0WsTP(b,a)),op_Y5cEcQhyKu(op_2fAMLLeFHb(a),op_y4ImoPnbV5(b,a)))

def op_count_i6kyr1sQ78(a, b):
    count = op_count_FyVja0WsTP(b,a)+op_count_zoVPnxeHJ3(op_FyVja0WsTP(b,a))+op_count_2fAMLLeFHb(a)+op_count_y4ImoPnbV5(b,a)+op_count_Y5cEcQhyKu(op_2fAMLLeFHb(a),op_y4ImoPnbV5(b,a))+op_count_uysxUYN2L2(op_zoVPnxeHJ3(op_FyVja0WsTP(b,a)),op_Y5cEcQhyKu(op_2fAMLLeFHb(a),op_y4ImoPnbV5(b,a)))
    return count


def op_jxm14LOQHd(a):
    return op_bPywburJMS(op_1aApVXNlOP(op_6iafYuwGo8(a,a),op_YbVcJGFEVW(a,a)),op_gSr4c7pPrV(a))

def op_count_jxm14LOQHd(a):
    count = op_count_6iafYuwGo8(a,a)+op_count_YbVcJGFEVW(a,a)+op_count_1aApVXNlOP(op_6iafYuwGo8(a,a),op_YbVcJGFEVW(a,a))+op_count_gSr4c7pPrV(a)+op_count_bPywburJMS(op_1aApVXNlOP(op_6iafYuwGo8(a,a),op_YbVcJGFEVW(a,a)),op_gSr4c7pPrV(a))
    return count


def op_0l75R42zb7(a, b):
    return op_giaUb8UVhq(op_V4yb4KDoeF(op_zR4jO40bMj(b,b),op_sdazOOVcIp(a,b)),op_U6pG0PXrV3(b))

def op_count_0l75R42zb7(a, b):
    count = op_count_zR4jO40bMj(b,b)+op_count_sdazOOVcIp(a,b)+op_count_V4yb4KDoeF(op_zR4jO40bMj(b,b),op_sdazOOVcIp(a,b))+op_count_U6pG0PXrV3(b)+op_count_giaUb8UVhq(op_V4yb4KDoeF(op_zR4jO40bMj(b,b),op_sdazOOVcIp(a,b)),op_U6pG0PXrV3(b))
    return count


def op_rZ5uLcCplo(a):
    return op_w2P8NbNXyL(op_SPuZE40Ntn(a,a),op_rysDP5nf3Z(a,a))

def op_count_rZ5uLcCplo(a):
    count = op_count_SPuZE40Ntn(a,a)+op_count_rysDP5nf3Z(a,a)+op_count_w2P8NbNXyL(op_SPuZE40Ntn(a,a),op_rysDP5nf3Z(a,a))
    return count


def op_8YdTO89gQD(a, b):
    return op_b1mGkbI4Oy(op_61wBmkZwlr(op_Ikt5ks8PT7(332,b)),op_oRDoc9rAEX(op_KbjG8mgYpV(120,a),op_S5ZFQS4GK3(b,b)))

def op_count_8YdTO89gQD(a, b):
    count = op_count_Ikt5ks8PT7(332,b)+op_count_61wBmkZwlr(op_Ikt5ks8PT7(332,b))+op_count_KbjG8mgYpV(120,a)+op_count_S5ZFQS4GK3(b,b)+op_count_oRDoc9rAEX(op_KbjG8mgYpV(120,a),op_S5ZFQS4GK3(b,b))+op_count_b1mGkbI4Oy(op_61wBmkZwlr(op_Ikt5ks8PT7(332,b)),op_oRDoc9rAEX(op_KbjG8mgYpV(120,a),op_S5ZFQS4GK3(b,b)))
    return count


def op_CfxG4j8dfZ(a, b):
    return op_uyq1hVkAcj(op_b1mGkbI4Oy(b,a))

def op_count_CfxG4j8dfZ(a, b):
    count = op_count_b1mGkbI4Oy(b,a)+op_count_uyq1hVkAcj(op_b1mGkbI4Oy(b,a))
    return count


def op_KYIJhKMuxi(a):
    return op_7j4O788W3g(op_EO7Xdgo9So(op_cTDWOvIxvz(63,a)),op_DZ8iAZOCBD(op_g55IO6H4Gj(a,650),op_XPYlsWDdGa(a)))

def op_count_KYIJhKMuxi(a):
    count = op_count_cTDWOvIxvz(63,a)+op_count_EO7Xdgo9So(op_cTDWOvIxvz(63,a))+op_count_g55IO6H4Gj(a,650)+op_count_XPYlsWDdGa(a)+op_count_DZ8iAZOCBD(op_g55IO6H4Gj(a,650),op_XPYlsWDdGa(a))+op_count_7j4O788W3g(op_EO7Xdgo9So(op_cTDWOvIxvz(63,a)),op_DZ8iAZOCBD(op_g55IO6H4Gj(a,650),op_XPYlsWDdGa(a)))
    return count


def op_dSjykO3Vy1(a):
    return op_cWQsF5MvuD(op_7FnCP1ejHT(op_JDUIKTTSIa(a,a)))

def op_count_dSjykO3Vy1(a):
    count = op_count_JDUIKTTSIa(a,a)+op_count_7FnCP1ejHT(op_JDUIKTTSIa(a,a))+op_count_cWQsF5MvuD(op_7FnCP1ejHT(op_JDUIKTTSIa(a,a)))
    return count


a⫙⨛∌b = { ((∋∴(b⊢≏≾a))⊔((b⨜⇔b)⫶(≤/36))) }

def op_try26Xv2zA(a, b):
    return op_E4l6HwMY31(op_nouZ5SZjt1(op_qxqspddX8k(b,a)),op_BAIXFdYaz3(op_Sq3AGanRSD(b,b),op_eLAdDNolq6(36)))

def op_count_try26Xv2zA(a, b):
    count = op_count_qxqspddX8k(b,a)+op_count_nouZ5SZjt1(op_qxqspddX8k(b,a))+op_count_Sq3AGanRSD(b,b)+op_count_eLAdDNolq6(36)+op_count_BAIXFdYaz3(op_Sq3AGanRSD(b,b),op_eLAdDNolq6(36))+op_count_E4l6HwMY31(op_nouZ5SZjt1(op_qxqspddX8k(b,a)),op_BAIXFdYaz3(op_Sq3AGanRSD(b,b),op_eLAdDNolq6(36)))
    return count


def op_7xY59dLUJT(a):
    return op_G8pG1QxO6Y(op_WSbXXWOizJ(a,a))

def op_count_7xY59dLUJT(a):
    count = op_count_WSbXXWOizJ(a,a)+op_count_G8pG1QxO6Y(op_WSbXXWOizJ(a,a))
    return count


def op_fkEnnR20LD(a):
    return op_neKQRQQIil(op_Y9dhGmbGii(a),op_u7fv1HBiaC(a))

def op_count_fkEnnR20LD(a):
    count = op_count_Y9dhGmbGii(a)+op_count_u7fv1HBiaC(a)+op_count_neKQRQQIil(op_Y9dhGmbGii(a),op_u7fv1HBiaC(a))
    return count


def op_tlyMzCI9Xq(a):
    return op_jdwGQqwJi5(op_OGWBzMv138(op_5RY6W0glyJ(117),op_Rw46J52cBJ(a,a)))

def op_count_tlyMzCI9Xq(a):
    count = op_count_5RY6W0glyJ(117)+op_count_Rw46J52cBJ(a,a)+op_count_OGWBzMv138(op_5RY6W0glyJ(117),op_Rw46J52cBJ(a,a))+op_count_jdwGQqwJi5(op_OGWBzMv138(op_5RY6W0glyJ(117),op_Rw46J52cBJ(a,a)))
    return count


def op_RsDTwSBZBI(a):
    return op_4JB6nKBMSY(op_PrwIXj9ZQe(a),op_BAIXFdYaz3(534,a))

def op_count_RsDTwSBZBI(a):
    count = op_count_PrwIXj9ZQe(a)+op_count_BAIXFdYaz3(534,a)+op_count_4JB6nKBMSY(op_PrwIXj9ZQe(a),op_BAIXFdYaz3(534,a))
    return count


def op_IVVGj2B19U(a):
    return op_HiPekx5b7W(op_nREPSIbpBE(175,a),op_kz228nwi0J(411))

def op_count_IVVGj2B19U(a):
    count = op_count_nREPSIbpBE(175,a)+op_count_kz228nwi0J(411)+op_count_HiPekx5b7W(op_nREPSIbpBE(175,a),op_kz228nwi0J(411))
    return count


def op_NfX6E9stcz(a):
    return op_RygbFNSyEJ(479,a)

def op_count_NfX6E9stcz(a):
    count = op_count_RygbFNSyEJ(479,a)
    return count


a∣⊇⇦ = { (((a⋳/a)⩉⊫⨁)⋅⇍((a⊔a)⫚↹⊑(↞a))) }

def op_UADKszfWxA(a):
    return op_AdZkA7nFnk(op_7qqUquhhSb(op_m612RDITqL(a,a)),op_dfKe02y8D2(op_E4l6HwMY31(a,a),op_QKXs96F9fN(a)))

def op_count_UADKszfWxA(a):
    count = op_count_m612RDITqL(a,a)+op_count_7qqUquhhSb(op_m612RDITqL(a,a))+op_count_E4l6HwMY31(a,a)+op_count_QKXs96F9fN(a)+op_count_dfKe02y8D2(op_E4l6HwMY31(a,a),op_QKXs96F9fN(a))+op_count_AdZkA7nFnk(op_7qqUquhhSb(op_m612RDITqL(a,a)),op_dfKe02y8D2(op_E4l6HwMY31(a,a),op_QKXs96F9fN(a)))
    return count


def op_BXv5oJaUqd(a):
    return op_UMMmb9LONo(op_3mBM5G4a3l(op_L05ObWFQCd(a,a)))

def op_count_BXv5oJaUqd(a):
    count = op_count_L05ObWFQCd(a,a)+op_count_3mBM5G4a3l(op_L05ObWFQCd(a,a))+op_count_UMMmb9LONo(op_3mBM5G4a3l(op_L05ObWFQCd(a,a)))
    return count


def op_1vIQx1Qjvl(a, b):
    return op_VCG3UHNzLR(op_5twsqlHp2o(op_TytFGXR7Zf(b),op_4JGOJzXMq1(61,b)),op_UoVew8f2p2(op_12rbrZMWeM(529,b),op_GMN7JP6WpN(b,a)))

def op_count_1vIQx1Qjvl(a, b):
    count = op_count_TytFGXR7Zf(b)+op_count_4JGOJzXMq1(61,b)+op_count_5twsqlHp2o(op_TytFGXR7Zf(b),op_4JGOJzXMq1(61,b))+op_count_12rbrZMWeM(529,b)+op_count_GMN7JP6WpN(b,a)+op_count_UoVew8f2p2(op_12rbrZMWeM(529,b),op_GMN7JP6WpN(b,a))+op_count_VCG3UHNzLR(op_5twsqlHp2o(op_TytFGXR7Zf(b),op_4JGOJzXMq1(61,b)),op_UoVew8f2p2(op_12rbrZMWeM(529,b),op_GMN7JP6WpN(b,a)))
    return count


⋡⩃a = { (((a⊹⊞⫔)⨜⇔(a↼⊘⨖52))≦↸((∨a)↢(⨾∊⩁a))) }

def op_cB5aNBh3WF(a):
    return op_RygbFNSyEJ(op_Sq3AGanRSD(op_eVHdItn4YL(a),op_bPywburJMS(a,52)),op_WR6HLWljOP(op_rIsGeVJWJF(a),op_QErWpSDGk0(a)))

def op_count_cB5aNBh3WF(a):
    count = op_count_eVHdItn4YL(a)+op_count_bPywburJMS(a,52)+op_count_Sq3AGanRSD(op_eVHdItn4YL(a),op_bPywburJMS(a,52))+op_count_rIsGeVJWJF(a)+op_count_QErWpSDGk0(a)+op_count_WR6HLWljOP(op_rIsGeVJWJF(a),op_QErWpSDGk0(a))+op_count_RygbFNSyEJ(op_Sq3AGanRSD(op_eVHdItn4YL(a),op_bPywburJMS(a,52)),op_WR6HLWljOP(op_rIsGeVJWJF(a),op_QErWpSDGk0(a)))
    return count


def op_YihBXhoEus(a):
    return op_cTDWOvIxvz(op_QvoQhV0rrE(a,a),op_FB83X2dByY(a))

def op_count_YihBXhoEus(a):
    count = op_count_QvoQhV0rrE(a,a)+op_count_FB83X2dByY(a)+op_count_cTDWOvIxvz(op_QvoQhV0rrE(a,a),op_FB83X2dByY(a))
    return count


def op_duO1ngoDTu(a, b):
    return op_2DDjHMKMc0(op_DE7zCoGJt9(a),op_g55IO6H4Gj(b,b))

def op_count_duO1ngoDTu(a, b):
    count = op_count_DE7zCoGJt9(a)+op_count_g55IO6H4Gj(b,b)+op_count_2DDjHMKMc0(op_DE7zCoGJt9(a),op_g55IO6H4Gj(b,b))
    return count


def op_8IBHxuH8oO(a, b):
    return op_cWQsF5MvuD(op_SPuZE40Ntn(op_z2JHNkvbdm(a,a),b))

def op_count_8IBHxuH8oO(a, b):
    count = op_count_z2JHNkvbdm(a,a)+op_count_SPuZE40Ntn(op_z2JHNkvbdm(a,a),b)+op_count_cWQsF5MvuD(op_SPuZE40Ntn(op_z2JHNkvbdm(a,a),b))
    return count


def op_Utw2DgmeAM(a):
    return op_4JGOJzXMq1(op_jfYOP67v6Y(op_Ph9nP6C5qx(a,a)),op_UoVew8f2p2(a,op_zFNL8mZEFB(a,a)))

def op_count_Utw2DgmeAM(a):
    count = op_count_Ph9nP6C5qx(a,a)+op_count_jfYOP67v6Y(op_Ph9nP6C5qx(a,a))+op_count_zFNL8mZEFB(a,a)+op_count_UoVew8f2p2(a,op_zFNL8mZEFB(a,a))+op_count_4JGOJzXMq1(op_jfYOP67v6Y(op_Ph9nP6C5qx(a,a)),op_UoVew8f2p2(a,op_zFNL8mZEFB(a,a)))
    return count


def op_MEqPUhr43n(a, b):
    return op_9Isq31Ruls(232,op_qxqspddX8k(op_dfKe02y8D2(b,b),op_8WDwsbhb0R(a)))

def op_count_MEqPUhr43n(a, b):
    count = op_count_dfKe02y8D2(b,b)+op_count_8WDwsbhb0R(a)+op_count_qxqspddX8k(op_dfKe02y8D2(b,b),op_8WDwsbhb0R(a))+op_count_9Isq31Ruls(232,op_qxqspddX8k(op_dfKe02y8D2(b,b),op_8WDwsbhb0R(a)))
    return count


def op_cm2wdgkaZt(a):
    return op_7j4O788W3g(op_HJ9erzHUuu(77,a),op_Y9dhGmbGii(a))

def op_count_cm2wdgkaZt(a):
    count = op_count_HJ9erzHUuu(77,a)+op_count_Y9dhGmbGii(a)+op_count_7j4O788W3g(op_HJ9erzHUuu(77,a),op_Y9dhGmbGii(a))
    return count


def op_n4Bqk4TqRK(a):
    return op_nREPSIbpBE(op_VJ330n2nnx(a),op_pB6Fcnrjim(275))

def op_count_n4Bqk4TqRK(a):
    count = op_count_VJ330n2nnx(a)+op_count_pB6Fcnrjim(275)+op_count_nREPSIbpBE(op_VJ330n2nnx(a),op_pB6Fcnrjim(275))
    return count


def op_lEJwZ8Bbna(a):
    return op_AdZkA7nFnk(a,a)

def op_count_lEJwZ8Bbna(a):
    count = op_count_AdZkA7nFnk(a,a)
    return count


def op_tzokWjBnUu(a, b):
    return op_2DQ55sFlQl(op_E4l6HwMY31(b,a),op_eLAdDNolq6(a))

def op_count_tzokWjBnUu(a, b):
    count = op_count_E4l6HwMY31(b,a)+op_count_eLAdDNolq6(a)+op_count_2DQ55sFlQl(op_E4l6HwMY31(b,a),op_eLAdDNolq6(a))
    return count


def op_P3e4aKGkjw(a):
    return op_TytFGXR7Zf(op_eRqsBgTDFp(21,a))

def op_count_P3e4aKGkjw(a):
    count = op_count_eRqsBgTDFp(21,a)+op_count_TytFGXR7Zf(op_eRqsBgTDFp(21,a))
    return count


def op_AhDKBC5IVD(a, b):
    return op_ew17WAA8t6(op_zR4jO40bMj(op_WObL9SsYVE(b,115),op_YbVcJGFEVW(a,a)))

def op_count_AhDKBC5IVD(a, b):
    count = op_count_WObL9SsYVE(b,115)+op_count_YbVcJGFEVW(a,a)+op_count_zR4jO40bMj(op_WObL9SsYVE(b,115),op_YbVcJGFEVW(a,a))+op_count_ew17WAA8t6(op_zR4jO40bMj(op_WObL9SsYVE(b,115),op_YbVcJGFEVW(a,a)))
    return count


a∹⋿⫙ = { ((≋(a⪇≇⋚a))↹⊜((a∄a)⫚↹⊑(a⋎a))) }

def op_9Cu3UApIng(a):
    return op_9bazX3JMtO(op_61wBmkZwlr(op_3sJ7IOPOlU(a,a)),op_dfKe02y8D2(op_tnyRA5sazQ(a,a),op_qy3n0tapmE(a,a)))

def op_count_9Cu3UApIng(a):
    count = op_count_3sJ7IOPOlU(a,a)+op_count_61wBmkZwlr(op_3sJ7IOPOlU(a,a))+op_count_tnyRA5sazQ(a,a)+op_count_qy3n0tapmE(a,a)+op_count_dfKe02y8D2(op_tnyRA5sazQ(a,a),op_qy3n0tapmE(a,a))+op_count_9bazX3JMtO(op_61wBmkZwlr(op_3sJ7IOPOlU(a,a)),op_dfKe02y8D2(op_tnyRA5sazQ(a,a),op_qy3n0tapmE(a,a)))
    return count


def op_j8wzaSQQPZ(a):
    return op_eRqsBgTDFp(op_wmlQD0656L(a),op_YjI8oCXuph(105))

def op_count_j8wzaSQQPZ(a):
    count = op_count_wmlQD0656L(a)+op_count_YjI8oCXuph(105)+op_count_eRqsBgTDFp(op_wmlQD0656L(a),op_YjI8oCXuph(105))
    return count


def op_eg06pZzFKE(a):
    return op_7j4O788W3g(231,a)

def op_count_eg06pZzFKE(a):
    count = op_count_7j4O788W3g(231,a)
    return count


def op_b7SseGJRgG(a):
    return op_OKKcZfAt5B(op_KFSx94NKJn(a,a),op_s3Fd5m9Dh2(744,a))

def op_count_b7SseGJRgG(a):
    count = op_count_KFSx94NKJn(a,a)+op_count_s3Fd5m9Dh2(744,a)+op_count_OKKcZfAt5B(op_KFSx94NKJn(a,a),op_s3Fd5m9Dh2(744,a))
    return count


def op_ZlduNN376N(a, b):
    return op_D3AQDKkPcf(op_rysDP5nf3Z(op_j9kHMeSvPp(a,a),op_L05ObWFQCd(54,b)),op_b1mGkbI4Oy(op_7j4O788W3g(167,333),op_keuJNkrrbj(a,b)))

def op_count_ZlduNN376N(a, b):
    count = op_count_j9kHMeSvPp(a,a)+op_count_L05ObWFQCd(54,b)+op_count_rysDP5nf3Z(op_j9kHMeSvPp(a,a),op_L05ObWFQCd(54,b))+op_count_7j4O788W3g(167,333)+op_count_keuJNkrrbj(a,b)+op_count_b1mGkbI4Oy(op_7j4O788W3g(167,333),op_keuJNkrrbj(a,b))+op_count_D3AQDKkPcf(op_rysDP5nf3Z(op_j9kHMeSvPp(a,a),op_L05ObWFQCd(54,b)),op_b1mGkbI4Oy(op_7j4O788W3g(167,333),op_keuJNkrrbj(a,b)))
    return count


def op_8ZeUWtbGhp(a, b):
    return op_neKQRQQIil(op_rv8OxMkTSD(544),op_JDUIKTTSIa(b,a))

def op_count_8ZeUWtbGhp(a, b):
    count = op_count_rv8OxMkTSD(544)+op_count_JDUIKTTSIa(b,a)+op_count_neKQRQQIil(op_rv8OxMkTSD(544),op_JDUIKTTSIa(b,a))
    return count


def op_rWHQfPzizK(a, b):
    return op_uBihLCJcMX(op_sdazOOVcIp(a,b))

def op_count_rWHQfPzizK(a, b):
    count = op_count_sdazOOVcIp(a,b)+op_count_uBihLCJcMX(op_sdazOOVcIp(a,b))
    return count


def op_2LnrNSPGHw(a):
    return op_3EYGwJThht(op_2Wsdkap16l(a,a),op_fLGIAiPz9h(a))

def op_count_2LnrNSPGHw(a):
    count = op_count_2Wsdkap16l(a,a)+op_count_fLGIAiPz9h(a)+op_count_3EYGwJThht(op_2Wsdkap16l(a,a),op_fLGIAiPz9h(a))
    return count


def op_ToXGGHTZgx(a, b):
    return op_6iOiAJX1F8(op_GMyVS5K48T(op_OGWBzMv138(b,50),op_y4ImoPnbV5(a,82)))

def op_count_ToXGGHTZgx(a, b):
    count = op_count_OGWBzMv138(b,50)+op_count_y4ImoPnbV5(a,82)+op_count_GMyVS5K48T(op_OGWBzMv138(b,50),op_y4ImoPnbV5(a,82))+op_count_6iOiAJX1F8(op_GMyVS5K48T(op_OGWBzMv138(b,50),op_y4ImoPnbV5(a,82)))
    return count


def op_NsRBSK00Sa(a):
    return op_GMN7JP6WpN(op_EO7Xdgo9So(op_rPNtK4BLRO(a,a)),op_qAljGMXEZr(op_3sJ7IOPOlU(a,123)))

def op_count_NsRBSK00Sa(a):
    count = op_count_rPNtK4BLRO(a,a)+op_count_EO7Xdgo9So(op_rPNtK4BLRO(a,a))+op_count_3sJ7IOPOlU(a,123)+op_count_qAljGMXEZr(op_3sJ7IOPOlU(a,123))+op_count_GMN7JP6WpN(op_EO7Xdgo9So(op_rPNtK4BLRO(a,a)),op_qAljGMXEZr(op_3sJ7IOPOlU(a,123)))
    return count


def op_KiBGhu83fR(a, b):
    return op_d7ASUq0ydm(op_irKjLsMeKy(a,a),op_WObL9SsYVE(b,a))

def op_count_KiBGhu83fR(a, b):
    count = op_count_irKjLsMeKy(a,a)+op_count_WObL9SsYVE(b,a)+op_count_d7ASUq0ydm(op_irKjLsMeKy(a,a),op_WObL9SsYVE(b,a))
    return count


def op_8CI59HBmeC(a, b):
    return op_3sJ7IOPOlU(op_4kvgVkQeiQ(595),op_WSbXXWOizJ(a,b))

def op_count_8CI59HBmeC(a, b):
    count = op_count_4kvgVkQeiQ(595)+op_count_WSbXXWOizJ(a,b)+op_count_3sJ7IOPOlU(op_4kvgVkQeiQ(595),op_WSbXXWOizJ(a,b))
    return count


def op_1guADMLg5x(a, b):
    return op_H0pizIJMoW(op_UggxBX659n(b,a))

def op_count_1guADMLg5x(a, b):
    count = op_count_UggxBX659n(b,a)+op_count_H0pizIJMoW(op_UggxBX659n(b,a))
    return count


def op_eDRI3Ofhqt(a):
    return op_OGWBzMv138(op_eewbuw0ToL(940,405),op_KFSx94NKJn(283,a))

def op_count_eDRI3Ofhqt(a):
    count = op_count_eewbuw0ToL(940,405)+op_count_KFSx94NKJn(283,a)+op_count_OGWBzMv138(op_eewbuw0ToL(940,405),op_KFSx94NKJn(283,a))
    return count


def op_h7E1ODFfHI(a):
    return op_SWo3A1KBJH(op_59igzFyhWz(a))

def op_count_h7E1ODFfHI(a):
    count = op_count_59igzFyhWz(a)+op_count_SWo3A1KBJH(op_59igzFyhWz(a))
    return count


def op_HnjATx4Fp2(a):
    return op_MmTdOpaElr(op_09Ly4LVMIf(a,70))

def op_count_HnjATx4Fp2(a):
    count = op_count_09Ly4LVMIf(a,70)+op_count_MmTdOpaElr(op_09Ly4LVMIf(a,70))
    return count


def op_tYn1ngw0gr(a, b):
    return op_NTOWxs364D(op_ar1w6gUwHX(op_BUOGQAYlQx(b),op_S7Dkc5Re0B(a)),op_14qkJME0vr(op_rPNtK4BLRO(b,b)))

def op_count_tYn1ngw0gr(a, b):
    count = op_count_BUOGQAYlQx(b)+op_count_S7Dkc5Re0B(a)+op_count_ar1w6gUwHX(op_BUOGQAYlQx(b),op_S7Dkc5Re0B(a))+op_count_rPNtK4BLRO(b,b)+op_count_14qkJME0vr(op_rPNtK4BLRO(b,b))+op_count_NTOWxs364D(op_ar1w6gUwHX(op_BUOGQAYlQx(b),op_S7Dkc5Re0B(a)),op_14qkJME0vr(op_rPNtK4BLRO(b,b)))
    return count


def op_yMixD7ucMB(a, b):
    return op_zFNL8mZEFB(op_YC3tgrnOyr(a,a),op_BiWNJpBvwn(a,b))

def op_count_yMixD7ucMB(a, b):
    count = op_count_YC3tgrnOyr(a,a)+op_count_BiWNJpBvwn(a,b)+op_count_zFNL8mZEFB(op_YC3tgrnOyr(a,a),op_BiWNJpBvwn(a,b))
    return count


def op_X8DMfAISiV(a):
    return op_5twsqlHp2o(a,op_S7Dkc5Re0B(a))

def op_count_X8DMfAISiV(a):
    count = op_count_S7Dkc5Re0B(a)+op_count_5twsqlHp2o(a,op_S7Dkc5Re0B(a))
    return count


def op_kFrcMyQrlQ(a):
    return op_s3Fd5m9Dh2(a,a)

def op_count_kFrcMyQrlQ(a):
    count = op_count_s3Fd5m9Dh2(a,a)
    return count


def op_S8OTv5lHfG(a, b):
    return op_DZ8iAZOCBD(op_tIhPxZTbsh(op_kbkesczE7y(b,b),op_bF6eod5Gvf(b,110)),op_86A5ENbKR9(op_EWw2JM7wp4(713,a)))

def op_count_S8OTv5lHfG(a, b):
    count = op_count_kbkesczE7y(b,b)+op_count_bF6eod5Gvf(b,110)+op_count_tIhPxZTbsh(op_kbkesczE7y(b,b),op_bF6eod5Gvf(b,110))+op_count_EWw2JM7wp4(713,a)+op_count_86A5ENbKR9(op_EWw2JM7wp4(713,a))+op_count_DZ8iAZOCBD(op_tIhPxZTbsh(op_kbkesczE7y(b,b),op_bF6eod5Gvf(b,110)),op_86A5ENbKR9(op_EWw2JM7wp4(713,a)))
    return count


def op_AVambHWzse(a):
    return op_xSk1F0pZbF(op_MXaNJeIAZ3(a),op_61wBmkZwlr(a))

def op_count_AVambHWzse(a):
    count = op_count_MXaNJeIAZ3(a)+op_count_61wBmkZwlr(a)+op_count_xSk1F0pZbF(op_MXaNJeIAZ3(a),op_61wBmkZwlr(a))
    return count


def op_L7PEQm7qWG(a):
    return op_z2JHNkvbdm(op_G8pG1QxO6Y(op_0JWJYFSzIQ(372,183)),op_Rw46J52cBJ(op_2M7SKlOzyM(a,a),op_SPuZE40Ntn(205,a)))

def op_count_L7PEQm7qWG(a):
    count = op_count_0JWJYFSzIQ(372,183)+op_count_G8pG1QxO6Y(op_0JWJYFSzIQ(372,183))+op_count_2M7SKlOzyM(a,a)+op_count_SPuZE40Ntn(205,a)+op_count_Rw46J52cBJ(op_2M7SKlOzyM(a,a),op_SPuZE40Ntn(205,a))+op_count_z2JHNkvbdm(op_G8pG1QxO6Y(op_0JWJYFSzIQ(372,183)),op_Rw46J52cBJ(op_2M7SKlOzyM(a,a),op_SPuZE40Ntn(205,a)))
    return count


def op_XJ6pMXGZE1(a):
    return op_IxJHfR5psi(a,op_y4ImoPnbV5(a,a))

def op_count_XJ6pMXGZE1(a):
    count = op_count_y4ImoPnbV5(a,a)+op_count_IxJHfR5psi(a,op_y4ImoPnbV5(a,a))
    return count


def op_bZvdkBTgtx(a):
    return op_qy3n0tapmE(op_YbVcJGFEVW(a,165),op_Ph9nP6C5qx(a,a))

def op_count_bZvdkBTgtx(a):
    count = op_count_YbVcJGFEVW(a,165)+op_count_Ph9nP6C5qx(a,a)+op_count_qy3n0tapmE(op_YbVcJGFEVW(a,165),op_Ph9nP6C5qx(a,a))
    return count


def op_b5lLA4rNPo(a):
    return op_TytFGXR7Zf(op_Sq3AGanRSD(a,a))

def op_count_b5lLA4rNPo(a):
    count = op_count_Sq3AGanRSD(a,a)+op_count_TytFGXR7Zf(op_Sq3AGanRSD(a,a))
    return count


def op_20hTnS7co9(a):
    return op_Sq3AGanRSD(op_CuHhPb8RwQ(a),op_Siyfjn51pv(192))

def op_count_20hTnS7co9(a):
    count = op_count_CuHhPb8RwQ(a)+op_count_Siyfjn51pv(192)+op_count_Sq3AGanRSD(op_CuHhPb8RwQ(a),op_Siyfjn51pv(192))
    return count


def op_9DVcvBHIeV(a):
    return op_aSik1wnThz(op_JFrVJKYFMX(a,a))

def op_count_9DVcvBHIeV(a):
    count = op_count_JFrVJKYFMX(a,a)+op_count_aSik1wnThz(op_JFrVJKYFMX(a,a))
    return count


def op_4jrEcmnPCt(a):
    return op_Siyfjn51pv(op_xRrnTEsQ6j(op_3EYGwJThht(1,a),op_Qy55tPpLXF(a,122)))

def op_count_4jrEcmnPCt(a):
    count = op_count_3EYGwJThht(1,a)+op_count_Qy55tPpLXF(a,122)+op_count_xRrnTEsQ6j(op_3EYGwJThht(1,a),op_Qy55tPpLXF(a,122))+op_count_Siyfjn51pv(op_xRrnTEsQ6j(op_3EYGwJThht(1,a),op_Qy55tPpLXF(a,122)))
    return count


def op_16INH09eNu(a, b):
    return op_Bmrmz2XGnR(op_s3Fd5m9Dh2(b,a),op_OWnFPqjWlR(b,b))

def op_count_16INH09eNu(a, b):
    count = op_count_s3Fd5m9Dh2(b,a)+op_count_OWnFPqjWlR(b,b)+op_count_Bmrmz2XGnR(op_s3Fd5m9Dh2(b,a),op_OWnFPqjWlR(b,b))
    return count


⪳⫿a = { (((a⪠⩆⊳)⨔⇊(91⨑51))⩍⋽⫝̸((519≽↲≰a)⩍⋽⫝̸(a∲⫓a))) }

def op_2mWyOD2ke3(a):
    return op_BiWNJpBvwn(op_JclMnS0uGI(op_JLbD19bQDL(a),op_IxJHfR5psi(91,51)),op_BiWNJpBvwn(op_cFVlceoRkX(519,a),op_i8ToyICDmI(a,a)))

def op_count_2mWyOD2ke3(a):
    count = op_count_JLbD19bQDL(a)+op_count_IxJHfR5psi(91,51)+op_count_JclMnS0uGI(op_JLbD19bQDL(a),op_IxJHfR5psi(91,51))+op_count_cFVlceoRkX(519,a)+op_count_i8ToyICDmI(a,a)+op_count_BiWNJpBvwn(op_cFVlceoRkX(519,a),op_i8ToyICDmI(a,a))+op_count_BiWNJpBvwn(op_JclMnS0uGI(op_JLbD19bQDL(a),op_IxJHfR5psi(91,51)),op_BiWNJpBvwn(op_cFVlceoRkX(519,a),op_i8ToyICDmI(a,a)))
    return count


def op_0hc2DDWEUD(a):
    return op_Wm7LHi3c8p(op_EWw2JM7wp4(op_FPxP5Y1j0W(a,a),op_zFNL8mZEFB(341,9)))

def op_count_0hc2DDWEUD(a):
    count = op_count_FPxP5Y1j0W(a,a)+op_count_zFNL8mZEFB(341,9)+op_count_EWw2JM7wp4(op_FPxP5Y1j0W(a,a),op_zFNL8mZEFB(341,9))+op_count_Wm7LHi3c8p(op_EWw2JM7wp4(op_FPxP5Y1j0W(a,a),op_zFNL8mZEFB(341,9)))
    return count


def op_ttQlxC7UXc(a):
    return op_oRDoc9rAEX(a,a)

def op_count_ttQlxC7UXc(a):
    count = op_count_oRDoc9rAEX(a,a)
    return count


def op_MZbvLECGjt(a, b):
    return op_BAIXFdYaz3(op_DmTXOeWf9t(op_AnPstFaJd9(181),op_nhYeJWJD5X(47,a)),op_b1mGkbI4Oy(a,op_23Mk6UjR3U(b,211)))

def op_count_MZbvLECGjt(a, b):
    count = op_count_AnPstFaJd9(181)+op_count_nhYeJWJD5X(47,a)+op_count_DmTXOeWf9t(op_AnPstFaJd9(181),op_nhYeJWJD5X(47,a))+op_count_23Mk6UjR3U(b,211)+op_count_b1mGkbI4Oy(a,op_23Mk6UjR3U(b,211))+op_count_BAIXFdYaz3(op_DmTXOeWf9t(op_AnPstFaJd9(181),op_nhYeJWJD5X(47,a)),op_b1mGkbI4Oy(a,op_23Mk6UjR3U(b,211)))
    return count


def op_pwrY02nFTx(a, b):
    return op_QiR2Oyf5Xj(op_xSk1F0pZbF(op_Cr5xnr8B4B(a,b),op_OTRTVPweYV(b,b)))

def op_count_pwrY02nFTx(a, b):
    count = op_count_Cr5xnr8B4B(a,b)+op_count_OTRTVPweYV(b,b)+op_count_xSk1F0pZbF(op_Cr5xnr8B4B(a,b),op_OTRTVPweYV(b,b))+op_count_QiR2Oyf5Xj(op_xSk1F0pZbF(op_Cr5xnr8B4B(a,b),op_OTRTVPweYV(b,b)))
    return count


def op_tawivNIhYz(a, b):
    return op_E4l6HwMY31(op_nhYeJWJD5X(op_Cr5xnr8B4B(a,a),a),op_kuIXHzHcAH(a,op_E4l6HwMY31(b,b)))

def op_count_tawivNIhYz(a, b):
    count = op_count_Cr5xnr8B4B(a,a)+op_count_nhYeJWJD5X(op_Cr5xnr8B4B(a,a),a)+op_count_E4l6HwMY31(b,b)+op_count_kuIXHzHcAH(a,op_E4l6HwMY31(b,b))+op_count_E4l6HwMY31(op_nhYeJWJD5X(op_Cr5xnr8B4B(a,a),a),op_kuIXHzHcAH(a,op_E4l6HwMY31(b,b)))
    return count


def op_5EPoWE8Hz6(a, b):
    return op_7PjNe5qSIJ(op_sM9mzqIDB1(b,b),op_Siyfjn51pv(a))

def op_count_5EPoWE8Hz6(a, b):
    count = op_count_sM9mzqIDB1(b,b)+op_count_Siyfjn51pv(a)+op_count_7PjNe5qSIJ(op_sM9mzqIDB1(b,b),op_Siyfjn51pv(a))
    return count


def op_Avomd8T28K(a):
    return op_Z5m6OM72h2(a,51)

def op_count_Avomd8T28K(a):
    count = op_count_Z5m6OM72h2(a,51)
    return count


def op_DN39D8SUEw(a):
    return op_JclMnS0uGI(op_aHKFHkCgn9(a),op_FyVja0WsTP(a,a))

def op_count_DN39D8SUEw(a):
    count = op_count_aHKFHkCgn9(a)+op_count_FyVja0WsTP(a,a)+op_count_JclMnS0uGI(op_aHKFHkCgn9(a),op_FyVja0WsTP(a,a))
    return count


def op_Jf2MRgTP95(a, b):
    return op_QvoQhV0rrE(op_TytFGXR7Zf(op_FonBHBYJbU(b)),op_UoVew8f2p2(op_irKjLsMeKy(a,a),op_Cr5xnr8B4B(a,a)))

def op_count_Jf2MRgTP95(a, b):
    count = op_count_FonBHBYJbU(b)+op_count_TytFGXR7Zf(op_FonBHBYJbU(b))+op_count_irKjLsMeKy(a,a)+op_count_Cr5xnr8B4B(a,a)+op_count_UoVew8f2p2(op_irKjLsMeKy(a,a),op_Cr5xnr8B4B(a,a))+op_count_QvoQhV0rrE(op_TytFGXR7Zf(op_FonBHBYJbU(b)),op_UoVew8f2p2(op_irKjLsMeKy(a,a),op_Cr5xnr8B4B(a,a)))
    return count


def op_F9h1TXRPf3(a):
    return op_N41Kp7NANJ(op_RygbFNSyEJ(134,a))

def op_count_F9h1TXRPf3(a):
    count = op_count_RygbFNSyEJ(134,a)+op_count_N41Kp7NANJ(op_RygbFNSyEJ(134,a))
    return count


def op_tDdVcTxk2D(a):
    return op_6iafYuwGo8(a,64)

def op_count_tDdVcTxk2D(a):
    count = op_count_6iafYuwGo8(a,64)
    return count


⇐⪰a = { (((a⪒⊣⊆a)⫁⪎(a⋳⪒a))⋂⩴((a⇊⊒⫧)⩒⫫(a⪎⨄⋝))) }

def op_qD92y9n62Z(a):
    return op_hmlrMsD2PO(op_xRrnTEsQ6j(op_eRqsBgTDFp(a,a),op_12rbrZMWeM(a,a)),op_KFSx94NKJn(op_eIba4BG3xN(a),op_kweVJGAjhl(a)))

def op_count_qD92y9n62Z(a):
    count = op_count_eRqsBgTDFp(a,a)+op_count_12rbrZMWeM(a,a)+op_count_xRrnTEsQ6j(op_eRqsBgTDFp(a,a),op_12rbrZMWeM(a,a))+op_count_eIba4BG3xN(a)+op_count_kweVJGAjhl(a)+op_count_KFSx94NKJn(op_eIba4BG3xN(a),op_kweVJGAjhl(a))+op_count_hmlrMsD2PO(op_xRrnTEsQ6j(op_eRqsBgTDFp(a,a),op_12rbrZMWeM(a,a)),op_KFSx94NKJn(op_eIba4BG3xN(a),op_kweVJGAjhl(a)))
    return count


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

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


a⇢⊏∞b = { (((17⋢a)⩧⪆(b⪹))⨑((b∠⫱b)⇖↽(b∺≝⩲b))) }

def op_W8uEiCP10Z(a, b):
    return op_IxJHfR5psi(op_Ikt5ks8PT7(op_NdELin8EPX(17,a),op_B3sABdIn96(b)),op_cwbF3JtlMN(op_QvoQhV0rrE(b,b),op_KPf6cnQVty(b,b)))

def op_count_W8uEiCP10Z(a, b):
    count = op_count_NdELin8EPX(17,a)+op_count_B3sABdIn96(b)+op_count_Ikt5ks8PT7(op_NdELin8EPX(17,a),op_B3sABdIn96(b))+op_count_QvoQhV0rrE(b,b)+op_count_KPf6cnQVty(b,b)+op_count_cwbF3JtlMN(op_QvoQhV0rrE(b,b),op_KPf6cnQVty(b,b))+op_count_IxJHfR5psi(op_Ikt5ks8PT7(op_NdELin8EPX(17,a),op_B3sABdIn96(b)),op_cwbF3JtlMN(op_QvoQhV0rrE(b,b),op_KPf6cnQVty(b,b)))
    return count


def op_8zNRrli7uG(a, b):
    return op_0JWJYFSzIQ(op_Cr5xnr8B4B(a,402),op_y4ImoPnbV5(b,44))

def op_count_8zNRrli7uG(a, b):
    count = op_count_Cr5xnr8B4B(a,402)+op_count_y4ImoPnbV5(b,44)+op_count_0JWJYFSzIQ(op_Cr5xnr8B4B(a,402),op_y4ImoPnbV5(b,44))
    return count


def op_uD5Hz2BlZx(a):
    return op_aHKFHkCgn9(op_6l7ULzJsnZ(a))

def op_count_uD5Hz2BlZx(a):
    count = op_count_6l7ULzJsnZ(a)+op_count_aHKFHkCgn9(op_6l7ULzJsnZ(a))
    return count


def op_KlZ9JYY8wh(a):
    return op_bF6eod5Gvf(859,op_ZNVVrZ94lY(a))

def op_count_KlZ9JYY8wh(a):
    count = op_count_ZNVVrZ94lY(a)+op_count_bF6eod5Gvf(859,op_ZNVVrZ94lY(a))
    return count


def op_ztbpxZ3MBw(a):
    return op_rPNtK4BLRO(op_0JWJYFSzIQ(21,a),op_DpFCA1CohY(a))

def op_count_ztbpxZ3MBw(a):
    count = op_count_0JWJYFSzIQ(21,a)+op_count_DpFCA1CohY(a)+op_count_rPNtK4BLRO(op_0JWJYFSzIQ(21,a),op_DpFCA1CohY(a))
    return count


def op_MDyZu6bdtR(a):
    return op_m612RDITqL(op_Noe24qw2ks(op_Tmr9JGNMVH(a),op_IjUb3wyICU(a)),op_0bdkhPtsnY(op_E4l6HwMY31(a,241)))

def op_count_MDyZu6bdtR(a):
    count = op_count_Tmr9JGNMVH(a)+op_count_IjUb3wyICU(a)+op_count_Noe24qw2ks(op_Tmr9JGNMVH(a),op_IjUb3wyICU(a))+op_count_E4l6HwMY31(a,241)+op_count_0bdkhPtsnY(op_E4l6HwMY31(a,241))+op_count_m612RDITqL(op_Noe24qw2ks(op_Tmr9JGNMVH(a),op_IjUb3wyICU(a)),op_0bdkhPtsnY(op_E4l6HwMY31(a,241)))
    return count


def op_dOIe7CYppI(a):
    return op_S56z7WVPBn(op_6o9Blt3TJ6(op_WmT3o8z6ya(a),a))

def op_count_dOIe7CYppI(a):
    count = op_count_WmT3o8z6ya(a)+op_count_6o9Blt3TJ6(op_WmT3o8z6ya(a),a)+op_count_S56z7WVPBn(op_6o9Blt3TJ6(op_WmT3o8z6ya(a),a))
    return count


def op_m5lJmxjxvL(a):
    return op_kuIXHzHcAH(op_gx7XJ7hdpj(a,a),op_qxp9F1VMeC(12))

def op_count_m5lJmxjxvL(a):
    count = op_count_gx7XJ7hdpj(a,a)+op_count_qxp9F1VMeC(12)+op_count_kuIXHzHcAH(op_gx7XJ7hdpj(a,a),op_qxp9F1VMeC(12))
    return count


def op_e1hLqZQXWX(a, b):
    return op_DZ8iAZOCBD(op_pRsWfj4Fpp(a),op_EWw2JM7wp4(b,b))

def op_count_e1hLqZQXWX(a, b):
    count = op_count_pRsWfj4Fpp(a)+op_count_EWw2JM7wp4(b,b)+op_count_DZ8iAZOCBD(op_pRsWfj4Fpp(a),op_EWw2JM7wp4(b,b))
    return count


def op_dtBtmTqwHZ(a):
    return op_8cLx32lpNA(a,443)

def op_count_dtBtmTqwHZ(a):
    count = op_count_8cLx32lpNA(a,443)
    return count


def op_0jym0dg8K8(a, b):
    return op_aOI3TlLUAE(op_2Wsdkap16l(b,a))

def op_count_0jym0dg8K8(a, b):
    count = op_count_2Wsdkap16l(b,a)+op_count_aOI3TlLUAE(op_2Wsdkap16l(b,a))
    return count


a⪏b = { (((a⪍↜⋙a)⪦⩸(a⇢a))⫯⪬∳((a⫸⇳a)⨸⪁(b⊭⇢↿))) }

def op_ReAzrgtvfu(a, b):
    return op_d7ASUq0ydm(op_0JWJYFSzIQ(op_L05ObWFQCd(a,a),op_GMN7JP6WpN(a,a)),op_g55IO6H4Gj(op_gx7XJ7hdpj(a,a),op_G8pG1QxO6Y(b)))

def op_count_ReAzrgtvfu(a, b):
    count = op_count_L05ObWFQCd(a,a)+op_count_GMN7JP6WpN(a,a)+op_count_0JWJYFSzIQ(op_L05ObWFQCd(a,a),op_GMN7JP6WpN(a,a))+op_count_gx7XJ7hdpj(a,a)+op_count_G8pG1QxO6Y(b)+op_count_g55IO6H4Gj(op_gx7XJ7hdpj(a,a),op_G8pG1QxO6Y(b))+op_count_d7ASUq0ydm(op_0JWJYFSzIQ(op_L05ObWFQCd(a,a),op_GMN7JP6WpN(a,a)),op_g55IO6H4Gj(op_gx7XJ7hdpj(a,a),op_G8pG1QxO6Y(b)))
    return count


def op_2SuunQtscG(a):
    return op_HiPekx5b7W(op_hmlrMsD2PO(a,a),a)

def op_count_2SuunQtscG(a):
    count = op_count_hmlrMsD2PO(a,a)+op_count_HiPekx5b7W(op_hmlrMsD2PO(a,a),a)
    return count


def op_t8v8wpZpfx(a):
    return op_JDUIKTTSIa(op_umQnsF7QlU(42,a),op_KROiRRz3d6(a,a))

def op_count_t8v8wpZpfx(a):
    count = op_count_umQnsF7QlU(42,a)+op_count_KROiRRz3d6(a,a)+op_count_JDUIKTTSIa(op_umQnsF7QlU(42,a),op_KROiRRz3d6(a,a))
    return count


def op_EfmNmIJYrc(a):
    return op_9Isq31Ruls(op_3A1e9zoj8h(a),op_umQnsF7QlU(59,a))

def op_count_EfmNmIJYrc(a):
    count = op_count_3A1e9zoj8h(a)+op_count_umQnsF7QlU(59,a)+op_count_9Isq31Ruls(op_3A1e9zoj8h(a),op_umQnsF7QlU(59,a))
    return count