def op_SPnn9I1i98(a):
    return op_vaH8QgiDVg(op_kVSeQakJeK(31,a))

def op_count_SPnn9I1i98(a):
    count = op_count_kVSeQakJeK(31,a)+op_count_vaH8QgiDVg(op_kVSeQakJeK(31,a))
    return count


a≛⇨b = { ((b⋪⪸(⪕≙b))↞⊦⋕((b∎⫲⩖89)⩻⇘⩦(a⇐*∿b))) }

def op_Sg8ZVAXums(a, b):
    return op_jV8AwRZkI7(op_7DoUD1Rkxi(b,op_eWHr1gHY9C(b)),op_BrdKLlllJJ(op_D4e1cgsuJu(b,89),op_IjpNKm0C6p(a,b)))

def op_count_Sg8ZVAXums(a, b):
    count = op_count_eWHr1gHY9C(b)+op_count_7DoUD1Rkxi(b,op_eWHr1gHY9C(b))+op_count_D4e1cgsuJu(b,89)+op_count_IjpNKm0C6p(a,b)+op_count_BrdKLlllJJ(op_D4e1cgsuJu(b,89),op_IjpNKm0C6p(a,b))+op_count_jV8AwRZkI7(op_7DoUD1Rkxi(b,op_eWHr1gHY9C(b)),op_BrdKLlllJJ(op_D4e1cgsuJu(b,89),op_IjpNKm0C6p(a,b)))
    return count


def op_WGd7rOyKiB(a):
    return op_wvHyciQT5X(op_kT4MlvM4La(op_Dk5vyLCiGd(a),op_1v5pUZ2RLP(21,a)))

def op_count_WGd7rOyKiB(a):
    count = op_count_Dk5vyLCiGd(a)+op_count_1v5pUZ2RLP(21,a)+op_count_kT4MlvM4La(op_Dk5vyLCiGd(a),op_1v5pUZ2RLP(21,a))+op_count_wvHyciQT5X(op_kT4MlvM4La(op_Dk5vyLCiGd(a),op_1v5pUZ2RLP(21,a)))
    return count


def op_51mZ4XRfqV(a):
    return op_YEzomLoFTT(a,a)

def op_count_51mZ4XRfqV(a):
    count = op_count_YEzomLoFTT(a,a)
    return count


def op_SitrkTsx1P(a):
    return op_dKnrfkTA9N(op_Loh9y4A90B(a),op_F4yD0voBRQ(564,a))

def op_count_SitrkTsx1P(a):
    count = op_count_Loh9y4A90B(a)+op_count_F4yD0voBRQ(564,a)+op_count_dKnrfkTA9N(op_Loh9y4A90B(a),op_F4yD0voBRQ(564,a))
    return count


def op_TMIS6r1MbZ(a):
    return op_jCPkEVoL5K(a,a)

def op_count_TMIS6r1MbZ(a):
    count = op_count_jCPkEVoL5K(a,a)
    return count


def op_h5Zk5AXYd0(a):
    return op_oxSU0Fg4Pf(op_sHMtVDD4nv(a,837),op_jWTQ2TZYIH(a,a))

def op_count_h5Zk5AXYd0(a):
    count = op_count_sHMtVDD4nv(a,837)+op_count_jWTQ2TZYIH(a,a)+op_count_oxSU0Fg4Pf(op_sHMtVDD4nv(a,837),op_jWTQ2TZYIH(a,a))
    return count


def op_xtn48bosJ0(a):
    return op_XrsBijI8L6(op_Y51oDxb2WH(op_D69ahk0G0B(a,255),a),op_grHKJW0KEs(op_dfKe02y8D2(a,a)))

def op_count_xtn48bosJ0(a):
    count = op_count_D69ahk0G0B(a,255)+op_count_Y51oDxb2WH(op_D69ahk0G0B(a,255),a)+op_count_dfKe02y8D2(a,a)+op_count_grHKJW0KEs(op_dfKe02y8D2(a,a))+op_count_XrsBijI8L6(op_Y51oDxb2WH(op_D69ahk0G0B(a,255),a),op_grHKJW0KEs(op_dfKe02y8D2(a,a)))
    return count


a⫉⪀ = { (((⫦74)↝⋟⪌(a⩷∝⩞a))∷↰≆((87⫫⋫a)⩀)) }

def op_5bSRvJAzwm(a):
    return op_eFpA6433h8(op_F85fdRvr8l(op_bLzMhy7Rh9(74),op_5SK3UOPDfl(a,a)),op_FnVB2mpEQa(op_xtCeza3rDf(87,a)))

def op_count_5bSRvJAzwm(a):
    count = op_count_bLzMhy7Rh9(74)+op_count_5SK3UOPDfl(a,a)+op_count_F85fdRvr8l(op_bLzMhy7Rh9(74),op_5SK3UOPDfl(a,a))+op_count_xtCeza3rDf(87,a)+op_count_FnVB2mpEQa(op_xtCeza3rDf(87,a))+op_count_eFpA6433h8(op_F85fdRvr8l(op_bLzMhy7Rh9(74),op_5SK3UOPDfl(a,a)),op_FnVB2mpEQa(op_xtCeza3rDf(87,a)))
    return count


a≄≁b = { ((≺⨵(b⨢↰a))⪟⊪((31⫣⨩b)⫶⪥↳(b⪐-b))) }

def op_Rl2NcqNhI0(a, b):
    return op_iVzLhW7Qip(op_OfugFTrv6S(op_xTB5j2aZzK(b,a)),op_ymOBY7rw1m(op_4ZyE98Jico(31,b),op_d8xe6WWVfM(b,b)))

def op_count_Rl2NcqNhI0(a, b):
    count = op_count_xTB5j2aZzK(b,a)+op_count_OfugFTrv6S(op_xTB5j2aZzK(b,a))+op_count_4ZyE98Jico(31,b)+op_count_d8xe6WWVfM(b,b)+op_count_ymOBY7rw1m(op_4ZyE98Jico(31,b),op_d8xe6WWVfM(b,b))+op_count_iVzLhW7Qip(op_OfugFTrv6S(op_xTB5j2aZzK(b,a)),op_ymOBY7rw1m(op_4ZyE98Jico(31,b),op_d8xe6WWVfM(b,b)))
    return count


def op_c8LynfaAxk(a, b):
    return op_1wGGHZzAai(op_3ZAiUOk8Uv(op_FaF1PUcip1(b,398),op_cYEGcM02R4(b,a)))

def op_count_c8LynfaAxk(a, b):
    count = op_count_FaF1PUcip1(b,398)+op_count_cYEGcM02R4(b,a)+op_count_3ZAiUOk8Uv(op_FaF1PUcip1(b,398),op_cYEGcM02R4(b,a))+op_count_1wGGHZzAai(op_3ZAiUOk8Uv(op_FaF1PUcip1(b,398),op_cYEGcM02R4(b,a)))
    return count


def op_uJTXIQL7vF(a):
    return op_rJVOvQCfKK(a,op_XZQF252bpX(op_XRKDgMSJta(a,a),op_CcmqrEB6V7(a)))

def op_count_uJTXIQL7vF(a):
    count = op_count_XRKDgMSJta(a,a)+op_count_CcmqrEB6V7(a)+op_count_XZQF252bpX(op_XRKDgMSJta(a,a),op_CcmqrEB6V7(a))+op_count_rJVOvQCfKK(a,op_XZQF252bpX(op_XRKDgMSJta(a,a),op_CcmqrEB6V7(a)))
    return count


def op_404MvReicw(a, b):
    return op_IiHovbkX1w(op_RXUpafmlG7(b,a),op_S1JWpU3LTa(b,a))

def op_count_404MvReicw(a, b):
    count = op_count_RXUpafmlG7(b,a)+op_count_S1JWpU3LTa(b,a)+op_count_IiHovbkX1w(op_RXUpafmlG7(b,a),op_S1JWpU3LTa(b,a))
    return count


def op_QtlUjvb8AM(a):
    return op_0QEWQRhRpH(a,a)

def op_count_QtlUjvb8AM(a):
    count = op_count_0QEWQRhRpH(a,a)
    return count


⫈⫥a = { (((a⫾215)↵⨥(a⫧⋃≅311))⩷⩫⋙((a⫟⪀a)⋗∙⫊)) }

def op_C6vloEb4G6(a):
    return op_Ob6c77wMhA(op_6kFJ6zSZFv(op_7JbuLsbBtx(a,215),op_rJlMWXggw2(a,311)),op_SSlUNdlbpe(op_ZG1KnpkPxw(a,a)))

def op_count_C6vloEb4G6(a):
    count = op_count_7JbuLsbBtx(a,215)+op_count_rJlMWXggw2(a,311)+op_count_6kFJ6zSZFv(op_7JbuLsbBtx(a,215),op_rJlMWXggw2(a,311))+op_count_ZG1KnpkPxw(a,a)+op_count_SSlUNdlbpe(op_ZG1KnpkPxw(a,a))+op_count_Ob6c77wMhA(op_6kFJ6zSZFv(op_7JbuLsbBtx(a,215),op_rJlMWXggw2(a,311)),op_SSlUNdlbpe(op_ZG1KnpkPxw(a,a)))
    return count


⩿⪔⋿a = { (((⨞a)⨌⪒(a⨷∔))⪭((a⨌⫂a)↤(a⨝↳a))) }

def op_vgHTHDePSW(a):
    return op_j9kHMeSvPp(op_IhSYcQUtqA(op_grHKJW0KEs(a),op_a7KiVaM89s(a)),op_jtBAKJz2S7(op_WvhSX4Tttm(a,a),op_tqZXx6qj06(a,a)))

def op_count_vgHTHDePSW(a):
    count = op_count_grHKJW0KEs(a)+op_count_a7KiVaM89s(a)+op_count_IhSYcQUtqA(op_grHKJW0KEs(a),op_a7KiVaM89s(a))+op_count_WvhSX4Tttm(a,a)+op_count_tqZXx6qj06(a,a)+op_count_jtBAKJz2S7(op_WvhSX4Tttm(a,a),op_tqZXx6qj06(a,a))+op_count_j9kHMeSvPp(op_IhSYcQUtqA(op_grHKJW0KEs(a),op_a7KiVaM89s(a)),op_jtBAKJz2S7(op_WvhSX4Tttm(a,a),op_tqZXx6qj06(a,a)))
    return count


def op_hGWjAarRlq(a, b):
    return op_ZCundfY3Ma(op_wxb3vTeyAj(a),op_HCRZUvWJyW(b,a))

def op_count_hGWjAarRlq(a, b):
    count = op_count_wxb3vTeyAj(a)+op_count_HCRZUvWJyW(b,a)+op_count_ZCundfY3Ma(op_wxb3vTeyAj(a),op_HCRZUvWJyW(b,a))
    return count


a⪿∾⫩b = { (((198⨺⊨b)⨞≺(b≺⋏b))⇂≭((b⋓⪊⫫b)↳⨴⫋(a⫕a))) }

def op_6Pie0zKRyb(a, b):
    return op_ZilkyjA8lc(op_8uAz8JJKQ9(op_VXHFBbhtXV(198,b),op_exBNT1EbB9(b,b)),op_bars6Y1s1I(op_tIVorTW24W(b,b),op_6CTfL9kIPY(a,a)))

def op_count_6Pie0zKRyb(a, b):
    count = op_count_VXHFBbhtXV(198,b)+op_count_exBNT1EbB9(b,b)+op_count_8uAz8JJKQ9(op_VXHFBbhtXV(198,b),op_exBNT1EbB9(b,b))+op_count_tIVorTW24W(b,b)+op_count_6CTfL9kIPY(a,a)+op_count_bars6Y1s1I(op_tIVorTW24W(b,b),op_6CTfL9kIPY(a,a))+op_count_ZilkyjA8lc(op_8uAz8JJKQ9(op_VXHFBbhtXV(198,b),op_exBNT1EbB9(b,b)),op_bars6Y1s1I(op_tIVorTW24W(b,b),op_6CTfL9kIPY(a,a)))
    return count


def op_8LYAfUkFpU(a, b):
    return op_ts8K6hLPsW(op_1eCjFl0mb9(b,a),op_cUpKZOVm0l(a))

def op_count_8LYAfUkFpU(a, b):
    count = op_count_1eCjFl0mb9(b,a)+op_count_cUpKZOVm0l(a)+op_count_ts8K6hLPsW(op_1eCjFl0mb9(b,a),op_cUpKZOVm0l(a))
    return count


def op_1ujetw8VEO(a):
    return op_QNXKgMrj0w(a,op_N2CwLZHY2H(a,a))

def op_count_1ujetw8VEO(a):
    count = op_count_N2CwLZHY2H(a,a)+op_count_QNXKgMrj0w(a,op_N2CwLZHY2H(a,a))
    return count


def op_iPL6cQVrhP(a, b):
    return op_sQnEGnxm5s(op_W4tP9CfskL(op_JKhKCqropJ(b,b),op_z2JHNkvbdm(b,279)),op_f09raCEPXX(op_GJLngeV5jM(236,a),op_xapQr7rWwN(32)))

def op_count_iPL6cQVrhP(a, b):
    count = op_count_JKhKCqropJ(b,b)+op_count_z2JHNkvbdm(b,279)+op_count_W4tP9CfskL(op_JKhKCqropJ(b,b),op_z2JHNkvbdm(b,279))+op_count_GJLngeV5jM(236,a)+op_count_xapQr7rWwN(32)+op_count_f09raCEPXX(op_GJLngeV5jM(236,a),op_xapQr7rWwN(32))+op_count_sQnEGnxm5s(op_W4tP9CfskL(op_JKhKCqropJ(b,b),op_z2JHNkvbdm(b,279)),op_f09raCEPXX(op_GJLngeV5jM(236,a),op_xapQr7rWwN(32)))
    return count


def op_gfBLKDDRgZ(a, b):
    return op_uPjn7n5pli(op_22UCrTUJEh(90,b),op_YEzomLoFTT(b,a))

def op_count_gfBLKDDRgZ(a, b):
    count = op_count_22UCrTUJEh(90,b)+op_count_YEzomLoFTT(b,a)+op_count_uPjn7n5pli(op_22UCrTUJEh(90,b),op_YEzomLoFTT(b,a))
    return count


def op_yS1ZSNIEll(a, b):
    return op_ixc2Esl5RP(op_POp3h4pmYF(b,a))

def op_count_yS1ZSNIEll(a, b):
    count = op_count_POp3h4pmYF(b,a)+op_count_ixc2Esl5RP(op_POp3h4pmYF(b,a))
    return count


def op_3LhVKWHYPi(a):
    return op_anGRxg7xQn(op_zcaA4Z4NaO(a,a),op_XFw8Sin97h(a,a))

def op_count_3LhVKWHYPi(a):
    count = op_count_zcaA4Z4NaO(a,a)+op_count_XFw8Sin97h(a,a)+op_count_anGRxg7xQn(op_zcaA4Z4NaO(a,a),op_XFw8Sin97h(a,a))
    return count


def op_S4YxGYwohl(a):
    return op_HK0tfVPux8(a,81)

def op_count_S4YxGYwohl(a):
    count = op_count_HK0tfVPux8(a,81)
    return count


def op_pXBJp6lguA(a):
    return op_QKXs96F9fN(op_yWyjdngDvQ(op_oacrs7FA3X(a,a),307))

def op_count_pXBJp6lguA(a):
    count = op_count_oacrs7FA3X(a,a)+op_count_yWyjdngDvQ(op_oacrs7FA3X(a,a),307)+op_count_QKXs96F9fN(op_yWyjdngDvQ(op_oacrs7FA3X(a,a),307))
    return count


def op_XlGuy7hOXA(a):
    return op_BXZdiG1zfY(a,op_RXUpafmlG7(op_0l75R42zb7(a,a),op_fRgCzqsvkF(a,111)))

def op_count_XlGuy7hOXA(a):
    count = op_count_0l75R42zb7(a,a)+op_count_fRgCzqsvkF(a,111)+op_count_RXUpafmlG7(op_0l75R42zb7(a,a),op_fRgCzqsvkF(a,111))+op_count_BXZdiG1zfY(a,op_RXUpafmlG7(op_0l75R42zb7(a,a),op_fRgCzqsvkF(a,111)))
    return count


def op_WqJCMpgySM(a):
    return op_uWAJUKEvyW(op_9Nj8JWw93Z(op_hfHSvYrndO(347,a)),op_tUOKwCw09Q(op_ap3xiM279w(141,a),op_pCNCNETmIQ(a,a)))

def op_count_WqJCMpgySM(a):
    count = op_count_hfHSvYrndO(347,a)+op_count_9Nj8JWw93Z(op_hfHSvYrndO(347,a))+op_count_ap3xiM279w(141,a)+op_count_pCNCNETmIQ(a,a)+op_count_tUOKwCw09Q(op_ap3xiM279w(141,a),op_pCNCNETmIQ(a,a))+op_count_uWAJUKEvyW(op_9Nj8JWw93Z(op_hfHSvYrndO(347,a)),op_tUOKwCw09Q(op_ap3xiM279w(141,a),op_pCNCNETmIQ(a,a)))
    return count


def op_gNAKpNfdJi(a, b):
    return op_I3ZanAtbUM(op_svRCeDQHR0(a,b),op_tcjXMdvYtA(a))

def op_count_gNAKpNfdJi(a, b):
    count = op_count_svRCeDQHR0(a,b)+op_count_tcjXMdvYtA(a)+op_count_I3ZanAtbUM(op_svRCeDQHR0(a,b),op_tcjXMdvYtA(a))
    return count


def op_a8OUX58ZYt(a):
    return op_b3qeQyvZfP(a,a)

def op_count_a8OUX58ZYt(a):
    count = op_count_b3qeQyvZfP(a,a)
    return count


def op_c0N0xTZ2qi(a):
    return op_t0cKpDWDXO(op_mqXw5SEYmG(a,a))

def op_count_c0N0xTZ2qi(a):
    count = op_count_mqXw5SEYmG(a,a)+op_count_t0cKpDWDXO(op_mqXw5SEYmG(a,a))
    return count


def op_Xz5TYaP0s6(a):
    return op_uWAJUKEvyW(op_3U6LfyZyIC(173,a),op_uE2ouRUgIU(a,a))

def op_count_Xz5TYaP0s6(a):
    count = op_count_3U6LfyZyIC(173,a)+op_count_uE2ouRUgIU(a,a)+op_count_uWAJUKEvyW(op_3U6LfyZyIC(173,a),op_uE2ouRUgIU(a,a))
    return count


def op_NiUpd8fmgo(a):
    return op_G9tJMlZ94a(op_bJBsZG1ICn(op_xgB3tWPdtm(a,a)))

def op_count_NiUpd8fmgo(a):
    count = op_count_xgB3tWPdtm(a,a)+op_count_bJBsZG1ICn(op_xgB3tWPdtm(a,a))+op_count_G9tJMlZ94a(op_bJBsZG1ICn(op_xgB3tWPdtm(a,a)))
    return count


def op_QmG5eHHph4(a):
    return op_OhqpJ7Tl0K(op_QVLtFdL5M6(a),op_4JGOJzXMq1(a,op_Gl4WN4Uwdx(a,a)))

def op_count_QmG5eHHph4(a):
    count = op_count_QVLtFdL5M6(a)+op_count_Gl4WN4Uwdx(a,a)+op_count_4JGOJzXMq1(a,op_Gl4WN4Uwdx(a,a))+op_count_OhqpJ7Tl0K(op_QVLtFdL5M6(a),op_4JGOJzXMq1(a,op_Gl4WN4Uwdx(a,a)))
    return count


def op_qy9nPqyo0E(a):
    return op_XZQF252bpX(op_XGcMNugi78(a,a),op_YjcqlNuJ4W(a,a))

def op_count_qy9nPqyo0E(a):
    count = op_count_XGcMNugi78(a,a)+op_count_YjcqlNuJ4W(a,a)+op_count_XZQF252bpX(op_XGcMNugi78(a,a),op_YjcqlNuJ4W(a,a))
    return count


def op_dLCAdcn76Q(a, b):
    return op_Sdk5QcUYJw(op_WhqkvtTD3t(a,op_421RnaStf2(b,b)))

def op_count_dLCAdcn76Q(a, b):
    count = op_count_421RnaStf2(b,b)+op_count_WhqkvtTD3t(a,op_421RnaStf2(b,b))+op_count_Sdk5QcUYJw(op_WhqkvtTD3t(a,op_421RnaStf2(b,b)))
    return count


def op_t7XEfsFsRn(a, b):
    return op_oGcWmnzv9W(op_93apkkisdr(op_hyuBjUqXlG(a,b)))

def op_count_t7XEfsFsRn(a, b):
    count = op_count_hyuBjUqXlG(a,b)+op_count_93apkkisdr(op_hyuBjUqXlG(a,b))+op_count_oGcWmnzv9W(op_93apkkisdr(op_hyuBjUqXlG(a,b)))
    return count


def op_eUkRd7oV2n(a, b):
    return op_tW6TlDUxtJ(op_N4xFjQxcx5(a,a),op_uqvL9iKn97(b))

def op_count_eUkRd7oV2n(a, b):
    count = op_count_N4xFjQxcx5(a,a)+op_count_uqvL9iKn97(b)+op_count_tW6TlDUxtJ(op_N4xFjQxcx5(a,a),op_uqvL9iKn97(b))
    return count


⇂⪳⨗a = { (((a⊡⋶348)⫼⫗(⫂⪪a))↕∇⋍((a⊸⨥≭772)↣⩾⨿(a⩅⪻⪻))) }

def op_gYvnWNXnJJ(a):
    return op_XRjwFXip4B(op_c4Jgcjuupe(op_zXQIJkDMTk(a,348),op_Jpd0OHcjin(a)),op_Kgf5n7vQLW(op_Y51oDxb2WH(a,772),op_kHoXpA7yos(a)))

def op_count_gYvnWNXnJJ(a):
    count = op_count_zXQIJkDMTk(a,348)+op_count_Jpd0OHcjin(a)+op_count_c4Jgcjuupe(op_zXQIJkDMTk(a,348),op_Jpd0OHcjin(a))+op_count_Y51oDxb2WH(a,772)+op_count_kHoXpA7yos(a)+op_count_Kgf5n7vQLW(op_Y51oDxb2WH(a,772),op_kHoXpA7yos(a))+op_count_XRjwFXip4B(op_c4Jgcjuupe(op_zXQIJkDMTk(a,348),op_Jpd0OHcjin(a)),op_Kgf5n7vQLW(op_Y51oDxb2WH(a,772),op_kHoXpA7yos(a)))
    return count


def op_nIYkNgNdHw(a):
    return op_5QP2owkj2F(op_XGcMNugi78(a,143))

def op_count_nIYkNgNdHw(a):
    count = op_count_XGcMNugi78(a,143)+op_count_5QP2owkj2F(op_XGcMNugi78(a,143))
    return count


def op_BdR7xPHmXT(a, b):
    return op_Hn4VRZUxzV(op_36TGfoTytI(op_jfAgQ2OQeM(b),op_VwBdEydXvH(b,a)),b)

def op_count_BdR7xPHmXT(a, b):
    count = op_count_jfAgQ2OQeM(b)+op_count_VwBdEydXvH(b,a)+op_count_36TGfoTytI(op_jfAgQ2OQeM(b),op_VwBdEydXvH(b,a))+op_count_Hn4VRZUxzV(op_36TGfoTytI(op_jfAgQ2OQeM(b),op_VwBdEydXvH(b,a)),b)
    return count


a⇟⨌⪲b = { (((a⇌14)∲⇳⪦)∝≗((⪾⪫399)⋧⋛↙b)) }

def op_knvpjL2tUS(a, b):
    return op_bQy7iKdSPD(op_CXVugmvpsF(op_ifvJ10rhcp(a,14)),op_IMmH2efQS3(op_vFgX83MrL4(399),b))

def op_count_knvpjL2tUS(a, b):
    count = op_count_ifvJ10rhcp(a,14)+op_count_CXVugmvpsF(op_ifvJ10rhcp(a,14))+op_count_vFgX83MrL4(399)+op_count_IMmH2efQS3(op_vFgX83MrL4(399),b)+op_count_bQy7iKdSPD(op_CXVugmvpsF(op_ifvJ10rhcp(a,14)),op_IMmH2efQS3(op_vFgX83MrL4(399),b))
    return count


a⊇⪃⋕ = { (((a⨇≷∥a)⇿⋘⫿(a⫶⪥↳363))⪩≅((a⨦⨚∂239)⊹∫⫚(a⪣⋝⋒a))) }

def op_9ACAjKT0GU(a):
    return op_TFdbvXreUq(op_3pxRWyOFEM(op_ER3VUc6CxE(a,a),op_ymOBY7rw1m(a,363)),op_uWAJUKEvyW(op_RpQvJizf4x(a,239),op_TbULwM3gdg(a,a)))

def op_count_9ACAjKT0GU(a):
    count = op_count_ER3VUc6CxE(a,a)+op_count_ymOBY7rw1m(a,363)+op_count_3pxRWyOFEM(op_ER3VUc6CxE(a,a),op_ymOBY7rw1m(a,363))+op_count_RpQvJizf4x(a,239)+op_count_TbULwM3gdg(a,a)+op_count_uWAJUKEvyW(op_RpQvJizf4x(a,239),op_TbULwM3gdg(a,a))+op_count_TFdbvXreUq(op_3pxRWyOFEM(op_ER3VUc6CxE(a,a),op_ymOBY7rw1m(a,363)),op_uWAJUKEvyW(op_RpQvJizf4x(a,239),op_TbULwM3gdg(a,a)))
    return count


⊹⨾a = { (((⫇⇓⪣a)⫍⫂(a⨢↰a))⋾⨃∁(↖∇⇑(a⨩⊗a))) }

def op_smCWIKM4Nr(a):
    return op_212REbPD9h(op_XZQF252bpX(op_vREf5JSI95(a),op_xTB5j2aZzK(a,a)),op_th50nGnoUm(op_Bw0fzZ75Yl(a,a)))

def op_count_smCWIKM4Nr(a):
    count = op_count_vREf5JSI95(a)+op_count_xTB5j2aZzK(a,a)+op_count_XZQF252bpX(op_vREf5JSI95(a),op_xTB5j2aZzK(a,a))+op_count_Bw0fzZ75Yl(a,a)+op_count_th50nGnoUm(op_Bw0fzZ75Yl(a,a))+op_count_212REbPD9h(op_XZQF252bpX(op_vREf5JSI95(a),op_xTB5j2aZzK(a,a)),op_th50nGnoUm(op_Bw0fzZ75Yl(a,a)))
    return count


def op_g150Kczgu5(a, b):
    return op_xgB3tWPdtm(a,op_36V2MidH9c(op_jrW1E7Ncie(b),op_B1w2DhXrIu(18)))

def op_count_g150Kczgu5(a, b):
    count = op_count_jrW1E7Ncie(b)+op_count_B1w2DhXrIu(18)+op_count_36V2MidH9c(op_jrW1E7Ncie(b),op_B1w2DhXrIu(18))+op_count_xgB3tWPdtm(a,op_36V2MidH9c(op_jrW1E7Ncie(b),op_B1w2DhXrIu(18)))
    return count


def op_90p4Yo1NOE(a, b):
    return op_MtU63d9ZNI(op_zcaA4Z4NaO(b,op_KRecZEGPb8(a,a)))

def op_count_90p4Yo1NOE(a, b):
    count = op_count_KRecZEGPb8(a,a)+op_count_zcaA4Z4NaO(b,op_KRecZEGPb8(a,a))+op_count_MtU63d9ZNI(op_zcaA4Z4NaO(b,op_KRecZEGPb8(a,a)))
    return count


a⊰⋡b = { ((⋎⪔(532≣⇔∕a))↳((b⩁)⫁⊥(b⪤a))) }

def op_vjFqOupvX0(a, b):
    return op_K1uHWJv1IW(op_siwqT4HIjO(op_05K4kaXxgg(532,a)),op_8npM8OufGg(op_5GqDbVmqXU(b),op_JKhKCqropJ(b,a)))

def op_count_vjFqOupvX0(a, b):
    count = op_count_05K4kaXxgg(532,a)+op_count_siwqT4HIjO(op_05K4kaXxgg(532,a))+op_count_5GqDbVmqXU(b)+op_count_JKhKCqropJ(b,a)+op_count_8npM8OufGg(op_5GqDbVmqXU(b),op_JKhKCqropJ(b,a))+op_count_K1uHWJv1IW(op_siwqT4HIjO(op_05K4kaXxgg(532,a)),op_8npM8OufGg(op_5GqDbVmqXU(b),op_JKhKCqropJ(b,a)))
    return count


a⫅⇎⫶b = { (((a⫨⊽99)≂⊘(⊵⊁b))⇻⫪⇃((a⇤b)∄(a⇥⫝a))) }

def op_cdNjF6SLXv(a, b):
    return op_NvXf9kO3wV(op_0vlfU79Xq7(op_73uHauwuWW(a,99),op_AvED76WdY7(b)),op_tnyRA5sazQ(op_YSKBFp38Pu(a,b),op_26qwp6pCTI(a,a)))

def op_count_cdNjF6SLXv(a, b):
    count = op_count_73uHauwuWW(a,99)+op_count_AvED76WdY7(b)+op_count_0vlfU79Xq7(op_73uHauwuWW(a,99),op_AvED76WdY7(b))+op_count_YSKBFp38Pu(a,b)+op_count_26qwp6pCTI(a,a)+op_count_tnyRA5sazQ(op_YSKBFp38Pu(a,b),op_26qwp6pCTI(a,a))+op_count_NvXf9kO3wV(op_0vlfU79Xq7(op_73uHauwuWW(a,99),op_AvED76WdY7(b)),op_tnyRA5sazQ(op_YSKBFp38Pu(a,b),op_26qwp6pCTI(a,a)))
    return count


a∂↨b = { ((⨻⊉⨹(b⋴⋼a))⋬≗≢((b⋛b)−⩠⩊(⪯⨇↪a))) }

def op_sCPPNA3LWS(a, b):
    return op_xcoQzu4oYl(op_ZC1CbmVjOG(op_Ub5LgP3zz0(b,a)),op_xAdqek1hDd(op_YbUVn0Rbpy(b,b),op_Abh35Dc6p9(a)))

def op_count_sCPPNA3LWS(a, b):
    count = op_count_Ub5LgP3zz0(b,a)+op_count_ZC1CbmVjOG(op_Ub5LgP3zz0(b,a))+op_count_YbUVn0Rbpy(b,b)+op_count_Abh35Dc6p9(a)+op_count_xAdqek1hDd(op_YbUVn0Rbpy(b,b),op_Abh35Dc6p9(a))+op_count_xcoQzu4oYl(op_ZC1CbmVjOG(op_Ub5LgP3zz0(b,a)),op_xAdqek1hDd(op_YbUVn0Rbpy(b,b),op_Abh35Dc6p9(a)))
    return count


def op_KtU8iTlaLi(a):
    return op_fICjaz8Yf3(op_fH9r9EEtKB(a),op_tGSeddj7UK(a))

def op_count_KtU8iTlaLi(a):
    count = op_count_fH9r9EEtKB(a)+op_count_tGSeddj7UK(a)+op_count_fICjaz8Yf3(op_fH9r9EEtKB(a),op_tGSeddj7UK(a))
    return count


def op_2r0jC1lZao(a, b):
    return op_h1U3ZT2Qlc(op_MEqPUhr43n(a,b),op_SL6IHkK8vl(335))

def op_count_2r0jC1lZao(a, b):
    count = op_count_MEqPUhr43n(a,b)+op_count_SL6IHkK8vl(335)+op_count_h1U3ZT2Qlc(op_MEqPUhr43n(a,b),op_SL6IHkK8vl(335))
    return count


def op_SgFlsC9nXp(a):
    return op_XwDhCwWbUn(op_8Im2A1wcJk(a,a))

def op_count_SgFlsC9nXp(a):
    count = op_count_8Im2A1wcJk(a,a)+op_count_XwDhCwWbUn(op_8Im2A1wcJk(a,a))
    return count


def op_JbBTMDmgJL(a):
    return op_0pE9j4xUU7(a,a)

def op_count_JbBTMDmgJL(a):
    count = op_count_0pE9j4xUU7(a,a)
    return count


a⊳⫕≐b = { (((b⫱⨶a)↜⊷(b∄b))↜↔⇀((730≲⪆⩈b)⇷⪔⩠)) }

def op_c0xLRV89Nr(a, b):
    return op_RXUpafmlG7(op_irKjLsMeKy(op_XrsBijI8L6(b,a),op_tnyRA5sazQ(b,b)),op_FqT00WZBiN(op_BM16iZzMx8(730,b)))

def op_count_c0xLRV89Nr(a, b):
    count = op_count_XrsBijI8L6(b,a)+op_count_tnyRA5sazQ(b,b)+op_count_irKjLsMeKy(op_XrsBijI8L6(b,a),op_tnyRA5sazQ(b,b))+op_count_BM16iZzMx8(730,b)+op_count_FqT00WZBiN(op_BM16iZzMx8(730,b))+op_count_RXUpafmlG7(op_irKjLsMeKy(op_XrsBijI8L6(b,a),op_tnyRA5sazQ(b,b)),op_FqT00WZBiN(op_BM16iZzMx8(730,b)))
    return count


def op_J3cdvSRrwI(a):
    return op_0Vcvu1QG1k(op_7p6YLioM7f(a),op_uqRLbkwYuT(a))

def op_count_J3cdvSRrwI(a):
    count = op_count_7p6YLioM7f(a)+op_count_uqRLbkwYuT(a)+op_count_0Vcvu1QG1k(op_7p6YLioM7f(a),op_uqRLbkwYuT(a))
    return count


a≻⫁⇭ = { ((a↙⇰(30⪂⩍↥a))⋟⨸⨢((a⫊41)⪝⨱⫷)) }

def op_gwsgbCbNkP(a):
    return op_fhjnU2VWuG(op_14HHJbxGxH(a,op_S3pNg7gwuQ(30,a)),op_UgJUmNBkC4(op_uPjn7n5pli(a,41)))

def op_count_gwsgbCbNkP(a):
    count = op_count_S3pNg7gwuQ(30,a)+op_count_14HHJbxGxH(a,op_S3pNg7gwuQ(30,a))+op_count_uPjn7n5pli(a,41)+op_count_UgJUmNBkC4(op_uPjn7n5pli(a,41))+op_count_fhjnU2VWuG(op_14HHJbxGxH(a,op_S3pNg7gwuQ(30,a)),op_UgJUmNBkC4(op_uPjn7n5pli(a,41)))
    return count


def op_OzrWeOxQoy(a):
    return op_WRl4KaSwns(op_gQpPSlYAud(a,a),op_0QEWQRhRpH(a,a))

def op_count_OzrWeOxQoy(a):
    count = op_count_gQpPSlYAud(a,a)+op_count_0QEWQRhRpH(a,a)+op_count_WRl4KaSwns(op_gQpPSlYAud(a,a),op_0QEWQRhRpH(a,a))
    return count


def op_Myl0MYZ3R6(a, b):
    return op_LMA9dqLka3(op_l5sQfSgPL9(a),op_FZXVY8MgqP(b))

def op_count_Myl0MYZ3R6(a, b):
    count = op_count_l5sQfSgPL9(a)+op_count_FZXVY8MgqP(b)+op_count_LMA9dqLka3(op_l5sQfSgPL9(a),op_FZXVY8MgqP(b))
    return count


def op_6wsEJg4lyh(a):
    return op_lYDgrU5fjD(op_ruOEQAzv1W(a))

def op_count_6wsEJg4lyh(a):
    count = op_count_ruOEQAzv1W(a)+op_count_lYDgrU5fjD(op_ruOEQAzv1W(a))
    return count


a⨯∁⨏b = { (((a⊪⨰⋆b)⫌⇛(b∴a))⨺⪴(a⋆⊨(≪221))) }

def op_0wRoqxy0RT(a, b):
    return op_v9KVZbcFsa(op_i8i4Li6g16(op_gVe57Wp8lf(a,b),op_hrf7POJlIJ(b,a)),op_uTBsSls0VN(a,op_Qtd6bqUJcN(221)))

def op_count_0wRoqxy0RT(a, b):
    count = op_count_gVe57Wp8lf(a,b)+op_count_hrf7POJlIJ(b,a)+op_count_i8i4Li6g16(op_gVe57Wp8lf(a,b),op_hrf7POJlIJ(b,a))+op_count_Qtd6bqUJcN(221)+op_count_uTBsSls0VN(a,op_Qtd6bqUJcN(221))+op_count_v9KVZbcFsa(op_i8i4Li6g16(op_gVe57Wp8lf(a,b),op_hrf7POJlIJ(b,a)),op_uTBsSls0VN(a,op_Qtd6bqUJcN(221)))
    return count


def op_MJaSV7D2ka(a):
    return op_kvIXUmKfYG(op_3ldUWfsXlD(op_3s7bcXIOLx(a,a),a))

def op_count_MJaSV7D2ka(a):
    count = op_count_3s7bcXIOLx(a,a)+op_count_3ldUWfsXlD(op_3s7bcXIOLx(a,a),a)+op_count_kvIXUmKfYG(op_3ldUWfsXlD(op_3s7bcXIOLx(a,a),a))
    return count


def op_225ocKfeRs(a):
    return op_W23Bqxq5lg(op_A70lgPgx8E(op_mTpCXz1iPs(a)),op_pm9cx6Eqcm(op_FI4i5otY41(539,a),op_qYpz2WEVq4(106,a)))

def op_count_225ocKfeRs(a):
    count = op_count_mTpCXz1iPs(a)+op_count_A70lgPgx8E(op_mTpCXz1iPs(a))+op_count_FI4i5otY41(539,a)+op_count_qYpz2WEVq4(106,a)+op_count_pm9cx6Eqcm(op_FI4i5otY41(539,a),op_qYpz2WEVq4(106,a))+op_count_W23Bqxq5lg(op_A70lgPgx8E(op_mTpCXz1iPs(a)),op_pm9cx6Eqcm(op_FI4i5otY41(539,a),op_qYpz2WEVq4(106,a)))
    return count


def op_QTzpnREx4U(a, b):
    return op_8FLs4eVsLt(op_F3ZYW0Xs6y(b,a))

def op_count_QTzpnREx4U(a, b):
    count = op_count_F3ZYW0Xs6y(b,a)+op_count_8FLs4eVsLt(op_F3ZYW0Xs6y(b,a))
    return count


def op_rwFLrzFFpG(a, b):
    return op_otBzi3yDII(op_nMAdxk2waN(op_FAUHmXADzM(a),op_JoVwyMeNnt(b,b)))

def op_count_rwFLrzFFpG(a, b):
    count = op_count_FAUHmXADzM(a)+op_count_JoVwyMeNnt(b,b)+op_count_nMAdxk2waN(op_FAUHmXADzM(a),op_JoVwyMeNnt(b,b))+op_count_otBzi3yDII(op_nMAdxk2waN(op_FAUHmXADzM(a),op_JoVwyMeNnt(b,b)))
    return count


a≙≱⋁b = { ((⨚∍⪓(a↞⊦⋕b))⨎((b⩙⪻395)⫥⩇⪟b)) }

def op_u6sos62MTc(a, b):
    return op_rJVOvQCfKK(op_A70lgPgx8E(op_jV8AwRZkI7(a,b)),op_l1hjfgHDwy(op_Y0zpOQG4YL(b,395),b))

def op_count_u6sos62MTc(a, b):
    count = op_count_jV8AwRZkI7(a,b)+op_count_A70lgPgx8E(op_jV8AwRZkI7(a,b))+op_count_Y0zpOQG4YL(b,395)+op_count_l1hjfgHDwy(op_Y0zpOQG4YL(b,395),b)+op_count_rJVOvQCfKK(op_A70lgPgx8E(op_jV8AwRZkI7(a,b)),op_l1hjfgHDwy(op_Y0zpOQG4YL(b,395),b))
    return count


def op_8SXKmQGVdF(a):
    return op_4mnGiJ3ceb(op_wcnuipe1kD(op_ccHmK6PBIn(a),op_2DDjHMKMc0(632,396)),op_Dh8yhYQk7S(op_NvEvKO2R8S(a,229),op_XCNViHof92(a)))

def op_count_8SXKmQGVdF(a):
    count = op_count_ccHmK6PBIn(a)+op_count_2DDjHMKMc0(632,396)+op_count_wcnuipe1kD(op_ccHmK6PBIn(a),op_2DDjHMKMc0(632,396))+op_count_NvEvKO2R8S(a,229)+op_count_XCNViHof92(a)+op_count_Dh8yhYQk7S(op_NvEvKO2R8S(a,229),op_XCNViHof92(a))+op_count_4mnGiJ3ceb(op_wcnuipe1kD(op_ccHmK6PBIn(a),op_2DDjHMKMc0(632,396)),op_Dh8yhYQk7S(op_NvEvKO2R8S(a,229),op_XCNViHof92(a)))
    return count


∖⫦⊀a = { (((a↜⊷a)⨻(⨵a))⋩⪊⫪((⨵a)≜⊇(⋮a))) }

def op_062Vd6lJgw(a):
    return op_jgzsi2wuu5(op_joCbSVezTg(op_irKjLsMeKy(a,a),op_Tl3Y52tvF8(a)),op_oa1nrqFkD0(op_Tl3Y52tvF8(a),op_l6yaTd3a70(a)))

def op_count_062Vd6lJgw(a):
    count = op_count_irKjLsMeKy(a,a)+op_count_Tl3Y52tvF8(a)+op_count_joCbSVezTg(op_irKjLsMeKy(a,a),op_Tl3Y52tvF8(a))+op_count_Tl3Y52tvF8(a)+op_count_l6yaTd3a70(a)+op_count_oa1nrqFkD0(op_Tl3Y52tvF8(a),op_l6yaTd3a70(a))+op_count_jgzsi2wuu5(op_joCbSVezTg(op_irKjLsMeKy(a,a),op_Tl3Y52tvF8(a)),op_oa1nrqFkD0(op_Tl3Y52tvF8(a),op_l6yaTd3a70(a)))
    return count


def op_4bCQTR7McV(a, b):
    return op_U5ZKo8DQUb(872,op_tcjXMdvYtA(op_J65EmZhDzK(a,b)))

def op_count_4bCQTR7McV(a, b):
    count = op_count_J65EmZhDzK(a,b)+op_count_tcjXMdvYtA(op_J65EmZhDzK(a,b))+op_count_U5ZKo8DQUb(872,op_tcjXMdvYtA(op_J65EmZhDzK(a,b)))
    return count


def op_tDKkEnCLLR(a, b):
    return op_9Isq31Ruls(op_A1OgdcMHe9(op_eOf03JbCpp(b),op_73CxnrUli8(a,b)),op_w30Z8TZG8s(807,op_G4EbQfwSm2(b,b)))

def op_count_tDKkEnCLLR(a, b):
    count = op_count_eOf03JbCpp(b)+op_count_73CxnrUli8(a,b)+op_count_A1OgdcMHe9(op_eOf03JbCpp(b),op_73CxnrUli8(a,b))+op_count_G4EbQfwSm2(b,b)+op_count_w30Z8TZG8s(807,op_G4EbQfwSm2(b,b))+op_count_9Isq31Ruls(op_A1OgdcMHe9(op_eOf03JbCpp(b),op_73CxnrUli8(a,b)),op_w30Z8TZG8s(807,op_G4EbQfwSm2(b,b)))
    return count


def op_IlBaPZfJxA(a, b):
    return op_opc8BSlPgk(op_hrf7POJlIJ(op_QstX2XvNns(a,b),op_3ZAiUOk8Uv(36,408)),op_F85fdRvr8l(op_s1XTVnmDOJ(644,b),op_El3zeUDNld(b,727)))

def op_count_IlBaPZfJxA(a, b):
    count = op_count_QstX2XvNns(a,b)+op_count_3ZAiUOk8Uv(36,408)+op_count_hrf7POJlIJ(op_QstX2XvNns(a,b),op_3ZAiUOk8Uv(36,408))+op_count_s1XTVnmDOJ(644,b)+op_count_El3zeUDNld(b,727)+op_count_F85fdRvr8l(op_s1XTVnmDOJ(644,b),op_El3zeUDNld(b,727))+op_count_opc8BSlPgk(op_hrf7POJlIJ(op_QstX2XvNns(a,b),op_3ZAiUOk8Uv(36,408)),op_F85fdRvr8l(op_s1XTVnmDOJ(644,b),op_El3zeUDNld(b,727)))
    return count


a⊝⋁ = { (((400≫⋭*a)⨒⪀(a⨬a))≶⇧⫄((⪝⪂⫅a)↲≘(a⊲≆56))) }

def op_RENOe0fZe0(a):
    return op_r8SlbsZKtG(op_6UwzacJ3Gx(op_dYBoAWDpSk(400,a),op_NsGlVlbNoR(a,a)),op_De5KeVc9mK(op_XTarYq4gQB(a),op_L0XVkq44a1(a,56)))

def op_count_RENOe0fZe0(a):
    count = op_count_dYBoAWDpSk(400,a)+op_count_NsGlVlbNoR(a,a)+op_count_6UwzacJ3Gx(op_dYBoAWDpSk(400,a),op_NsGlVlbNoR(a,a))+op_count_XTarYq4gQB(a)+op_count_L0XVkq44a1(a,56)+op_count_De5KeVc9mK(op_XTarYq4gQB(a),op_L0XVkq44a1(a,56))+op_count_r8SlbsZKtG(op_6UwzacJ3Gx(op_dYBoAWDpSk(400,a),op_NsGlVlbNoR(a,a)),op_De5KeVc9mK(op_XTarYq4gQB(a),op_L0XVkq44a1(a,56)))
    return count


def op_85n7MgzmWW(a):
    return op_l6yaTd3a70(op_2DlMacCsIx(a,a))

def op_count_85n7MgzmWW(a):
    count = op_count_2DlMacCsIx(a,a)+op_count_l6yaTd3a70(op_2DlMacCsIx(a,a))
    return count


def op_NFZUlXRknZ(a):
    return op_QLJ9aFu80N(op_Do2fuqKQ4Q(58),op_23Mk6UjR3U(a,a))

def op_count_NFZUlXRknZ(a):
    count = op_count_Do2fuqKQ4Q(58)+op_count_23Mk6UjR3U(a,a)+op_count_QLJ9aFu80N(op_Do2fuqKQ4Q(58),op_23Mk6UjR3U(a,a))
    return count


def op_CPI3lJJG7m(a):
    return op_FlXk3pOYe8(op_9uqIsVI5ug(a,a))

def op_count_CPI3lJJG7m(a):
    count = op_count_9uqIsVI5ug(a,a)+op_count_FlXk3pOYe8(op_9uqIsVI5ug(a,a))
    return count


a⊈⊞≡ = { (((a⩰⩴a)⫄⋒↱(⋍≭≼a))∠(39⋕(⨶⫂⊶a))) }

def op_jRi6nUyMlg(a):
    return op_jZOzHi7EqF(op_crtJ4cV1Co(op_DaGtvK0FhA(a,a),op_Osz0M3HhIq(a)),op_ODihFFDUGL(39,op_jXDDweKMrz(a)))

def op_count_jRi6nUyMlg(a):
    count = op_count_DaGtvK0FhA(a,a)+op_count_Osz0M3HhIq(a)+op_count_crtJ4cV1Co(op_DaGtvK0FhA(a,a),op_Osz0M3HhIq(a))+op_count_jXDDweKMrz(a)+op_count_ODihFFDUGL(39,op_jXDDweKMrz(a))+op_count_jZOzHi7EqF(op_crtJ4cV1Co(op_DaGtvK0FhA(a,a),op_Osz0M3HhIq(a)),op_ODihFFDUGL(39,op_jXDDweKMrz(a)))
    return count


a⩏≛↟b = { (((b⨎a)⨓⨕≠(a≩⫆b))⊣⊑(⊱∞(a⊞≃⪲a))) }

def op_Tk0QX8wo8A(a, b):
    return op_bsbByZDrTG(op_wwMOHVJtzA(op_rJVOvQCfKK(b,a),op_8Im2A1wcJk(a,b)),op_4r9bMLtmr2(op_jKh9xaBIQ5(a,a)))

def op_count_Tk0QX8wo8A(a, b):
    count = op_count_rJVOvQCfKK(b,a)+op_count_8Im2A1wcJk(a,b)+op_count_wwMOHVJtzA(op_rJVOvQCfKK(b,a),op_8Im2A1wcJk(a,b))+op_count_jKh9xaBIQ5(a,a)+op_count_4r9bMLtmr2(op_jKh9xaBIQ5(a,a))+op_count_bsbByZDrTG(op_wwMOHVJtzA(op_rJVOvQCfKK(b,a),op_8Im2A1wcJk(a,b)),op_4r9bMLtmr2(op_jKh9xaBIQ5(a,a)))
    return count


def op_6bKDLRc7iz(a):
    return op_IU5bnLfiEv(op_LznzX3UncI(a))

def op_count_6bKDLRc7iz(a):
    count = op_count_LznzX3UncI(a)+op_count_IU5bnLfiEv(op_LznzX3UncI(a))
    return count


def op_akBoO4bc47(a):
    return op_7t3wd0Fuz7(op_lGaBDnHbCC(a,a),op_IxJHfR5psi(a,324))

def op_count_akBoO4bc47(a):
    count = op_count_lGaBDnHbCC(a,a)+op_count_IxJHfR5psi(a,324)+op_count_7t3wd0Fuz7(op_lGaBDnHbCC(a,a),op_IxJHfR5psi(a,324))
    return count


def op_663uZ2xxRP(a):
    return op_W4tP9CfskL(op_D3AQDKkPcf(op_K576RbR1w3(839,a),a),op_tjIEHLTALG(op_XIK4G3vWTl(226,353)))

def op_count_663uZ2xxRP(a):
    count = op_count_K576RbR1w3(839,a)+op_count_D3AQDKkPcf(op_K576RbR1w3(839,a),a)+op_count_XIK4G3vWTl(226,353)+op_count_tjIEHLTALG(op_XIK4G3vWTl(226,353))+op_count_W4tP9CfskL(op_D3AQDKkPcf(op_K576RbR1w3(839,a),a),op_tjIEHLTALG(op_XIK4G3vWTl(226,353)))
    return count


a↺⫍/ = { (((a⋓⋃a)⫉⋃a)≀⇓∃((a∶∥⊗138)⨺⪴(a⊇⫍⪏a))) }

def op_tDo89tM7Mc(a):
    return op_kXpzAH9jno(op_YEzomLoFTT(op_vQUWrCPLqI(a,a),a),op_v9KVZbcFsa(op_JpB1LdahAH(a,138),op_WyeQdY98By(a,a)))

def op_count_tDo89tM7Mc(a):
    count = op_count_vQUWrCPLqI(a,a)+op_count_YEzomLoFTT(op_vQUWrCPLqI(a,a),a)+op_count_JpB1LdahAH(a,138)+op_count_WyeQdY98By(a,a)+op_count_v9KVZbcFsa(op_JpB1LdahAH(a,138),op_WyeQdY98By(a,a))+op_count_kXpzAH9jno(op_YEzomLoFTT(op_vQUWrCPLqI(a,a),a),op_v9KVZbcFsa(op_JpB1LdahAH(a,138),op_WyeQdY98By(a,a)))
    return count


def op_Lhp4c9Iy31(a):
    return op_F4yD0voBRQ(op_CcmqrEB6V7(op_K4mq4RyTKW(a,a)),op_WSbXXWOizJ(op_eWHr1gHY9C(a),a))

def op_count_Lhp4c9Iy31(a):
    count = op_count_K4mq4RyTKW(a,a)+op_count_CcmqrEB6V7(op_K4mq4RyTKW(a,a))+op_count_eWHr1gHY9C(a)+op_count_WSbXXWOizJ(op_eWHr1gHY9C(a),a)+op_count_F4yD0voBRQ(op_CcmqrEB6V7(op_K4mq4RyTKW(a,a)),op_WSbXXWOizJ(op_eWHr1gHY9C(a),a))
    return count


def op_Ex6nAywNVB(a, b):
    return op_pziE1BpiHF(op_2Yy7IiVHWW(op_frUONFVpe5(492,b),a),op_jfAgQ2OQeM(34))

def op_count_Ex6nAywNVB(a, b):
    count = op_count_frUONFVpe5(492,b)+op_count_2Yy7IiVHWW(op_frUONFVpe5(492,b),a)+op_count_jfAgQ2OQeM(34)+op_count_pziE1BpiHF(op_2Yy7IiVHWW(op_frUONFVpe5(492,b),a),op_jfAgQ2OQeM(34))
    return count


def op_JvSxMoGXql(a):
    return op_ZvLB05nZmT(op_B3tNObfNaL(op_8CI59HBmeC(602,a)),op_IWmyXbctLI(op_XCNViHof92(a),op_4F2d8NdGA5(a,a)))

def op_count_JvSxMoGXql(a):
    count = op_count_8CI59HBmeC(602,a)+op_count_B3tNObfNaL(op_8CI59HBmeC(602,a))+op_count_XCNViHof92(a)+op_count_4F2d8NdGA5(a,a)+op_count_IWmyXbctLI(op_XCNViHof92(a),op_4F2d8NdGA5(a,a))+op_count_ZvLB05nZmT(op_B3tNObfNaL(op_8CI59HBmeC(602,a)),op_IWmyXbctLI(op_XCNViHof92(a),op_4F2d8NdGA5(a,a)))
    return count


def op_LgLdMxVTQi(a):
    return op_en8SqOBqg4(op_wvHyciQT5X(op_LruclEJH8T(a,a)),op_i5RbA8eqaO(op_e3Vku0ulLb(a,a),op_tnyRA5sazQ(a,4)))

def op_count_LgLdMxVTQi(a):
    count = op_count_LruclEJH8T(a,a)+op_count_wvHyciQT5X(op_LruclEJH8T(a,a))+op_count_e3Vku0ulLb(a,a)+op_count_tnyRA5sazQ(a,4)+op_count_i5RbA8eqaO(op_e3Vku0ulLb(a,a),op_tnyRA5sazQ(a,4))+op_count_en8SqOBqg4(op_wvHyciQT5X(op_LruclEJH8T(a,a)),op_i5RbA8eqaO(op_e3Vku0ulLb(a,a),op_tnyRA5sazQ(a,4)))
    return count


def op_VgEraHP0z3(a):
    return op_SLtCypM0tD(op_7t3wd0Fuz7(a,a))

def op_count_VgEraHP0z3(a):
    count = op_count_7t3wd0Fuz7(a,a)+op_count_SLtCypM0tD(op_7t3wd0Fuz7(a,a))
    return count


def op_pb0Byv8I5J(a):
    return op_F5el3aEdEY(op_NT4oKKFh9T(op_fdQiiaMU1g(a)))

def op_count_pb0Byv8I5J(a):
    count = op_count_fdQiiaMU1g(a)+op_count_NT4oKKFh9T(op_fdQiiaMU1g(a))+op_count_F5el3aEdEY(op_NT4oKKFh9T(op_fdQiiaMU1g(a)))
    return count


def op_XARkhMSjgT(a, b):
    return op_Dr4yJ0dQtH(op_ua2fiIHkOT(op_Q0oC3jZnDG(b)),op_EMR9JvRK8T(op_joCbSVezTg(b,531),op_j9kHMeSvPp(842,a)))

def op_count_XARkhMSjgT(a, b):
    count = op_count_Q0oC3jZnDG(b)+op_count_ua2fiIHkOT(op_Q0oC3jZnDG(b))+op_count_joCbSVezTg(b,531)+op_count_j9kHMeSvPp(842,a)+op_count_EMR9JvRK8T(op_joCbSVezTg(b,531),op_j9kHMeSvPp(842,a))+op_count_Dr4yJ0dQtH(op_ua2fiIHkOT(op_Q0oC3jZnDG(b)),op_EMR9JvRK8T(op_joCbSVezTg(b,531),op_j9kHMeSvPp(842,a)))
    return count


∅∴∏a = { (((a⫹⪎≄57)⪑(a⨆⋰⊆a))⪎⪖((≧⊳a)≐⇃⇈a)) }

def op_IysziUkewr(a):
    return op_CLzOjURgVu(op_8CI59HBmeC(op_K576RbR1w3(a,57),op_B7fx9NtlGq(a,a)),op_TBD2yOIirL(op_GMrB5OisJT(a),a))

def op_count_IysziUkewr(a):
    count = op_count_K576RbR1w3(a,57)+op_count_B7fx9NtlGq(a,a)+op_count_8CI59HBmeC(op_K576RbR1w3(a,57),op_B7fx9NtlGq(a,a))+op_count_GMrB5OisJT(a)+op_count_TBD2yOIirL(op_GMrB5OisJT(a),a)+op_count_CLzOjURgVu(op_8CI59HBmeC(op_K576RbR1w3(a,57),op_B7fx9NtlGq(a,a)),op_TBD2yOIirL(op_GMrB5OisJT(a),a))
    return count


def op_jb5QPTkwwK(a):
    return op_tAFJbl8FKS(op_HJ9erzHUuu(op_5HFUViGXfi(900,358),op_oacrs7FA3X(a,a)))

def op_count_jb5QPTkwwK(a):
    count = op_count_5HFUViGXfi(900,358)+op_count_oacrs7FA3X(a,a)+op_count_HJ9erzHUuu(op_5HFUViGXfi(900,358),op_oacrs7FA3X(a,a))+op_count_tAFJbl8FKS(op_HJ9erzHUuu(op_5HFUViGXfi(900,358),op_oacrs7FA3X(a,a)))
    return count


def op_aWSozNqJXe(a):
    return op_z6LnFrNh4i(a,a)

def op_count_aWSozNqJXe(a):
    count = op_count_z6LnFrNh4i(a,a)
    return count


def op_aL9MTwpInd(a, b):
    return op_5eM6Qp6mRY(op_diu054m9en(482,a),op_StDAEzlBYm(624,b))

def op_count_aL9MTwpInd(a, b):
    count = op_count_diu054m9en(482,a)+op_count_StDAEzlBYm(624,b)+op_count_5eM6Qp6mRY(op_diu054m9en(482,a),op_StDAEzlBYm(624,b))
    return count


def op_vg7yw4NKn8(a, b):
    return op_NRyasOrsb7(op_m612RDITqL(op_xeKVJklxVA(b,b),op_YLJhMbTGGW(b,a)),op_A8NUZmVepG(op_eH2TOUuTDT(a)))

def op_count_vg7yw4NKn8(a, b):
    count = op_count_xeKVJklxVA(b,b)+op_count_YLJhMbTGGW(b,a)+op_count_m612RDITqL(op_xeKVJklxVA(b,b),op_YLJhMbTGGW(b,a))+op_count_eH2TOUuTDT(a)+op_count_A8NUZmVepG(op_eH2TOUuTDT(a))+op_count_NRyasOrsb7(op_m612RDITqL(op_xeKVJklxVA(b,b),op_YLJhMbTGGW(b,a)),op_A8NUZmVepG(op_eH2TOUuTDT(a)))
    return count


def op_bgeRGYmSXt(a):
    return op_u533dnqgjT(op_zoVUxTIMAa(op_h1pqhWq6T8(a),op_GMrB5OisJT(461)))

def op_count_bgeRGYmSXt(a):
    count = op_count_h1pqhWq6T8(a)+op_count_GMrB5OisJT(461)+op_count_zoVUxTIMAa(op_h1pqhWq6T8(a),op_GMrB5OisJT(461))+op_count_u533dnqgjT(op_zoVUxTIMAa(op_h1pqhWq6T8(a),op_GMrB5OisJT(461)))
    return count


a⊘⨵⨺b = { (((a⨢≆a)⊧(34∏⫣⩆a))⨆⋰⊆((281≴⪞⇿b)⊝⩱b)) }

def op_OGOm2ef6IL(a, b):
    return op_B7fx9NtlGq(op_3VKKtQjORe(op_qQVdHIwY0K(a,a),op_UuoVKWBu8y(34,a)),op_0jCm5pNiJO(op_lvlrscuwVU(281,b),b))

def op_count_OGOm2ef6IL(a, b):
    count = op_count_qQVdHIwY0K(a,a)+op_count_UuoVKWBu8y(34,a)+op_count_3VKKtQjORe(op_qQVdHIwY0K(a,a),op_UuoVKWBu8y(34,a))+op_count_lvlrscuwVU(281,b)+op_count_0jCm5pNiJO(op_lvlrscuwVU(281,b),b)+op_count_B7fx9NtlGq(op_3VKKtQjORe(op_qQVdHIwY0K(a,a),op_UuoVKWBu8y(34,a)),op_0jCm5pNiJO(op_lvlrscuwVU(281,b),b))
    return count


def op_vdIy956WRd(a, b):
    return op_K6E8QFs5tY(op_UkFG6YBLyt(b,b),op_3k0ZDrhDBi(a))

def op_count_vdIy956WRd(a, b):
    count = op_count_UkFG6YBLyt(b,b)+op_count_3k0ZDrhDBi(a)+op_count_K6E8QFs5tY(op_UkFG6YBLyt(b,b),op_3k0ZDrhDBi(a))
    return count


a⫰⋯b = { (((⋮a)⊝∲⩰(a⫭↝b))⊡⫷⨳((b∽⨚⊏a)⇘⨗(a⩭⇀b))) }

def op_pC7K6Z3Dn0(a, b):
    return op_dcf6jBEETk(op_UkFG6YBLyt(op_l6yaTd3a70(a),op_n4DPn5x9ZW(a,b)),op_w4eTsxfO5i(op_OuNwQ8h2ZL(b,a),op_7VUZJnlIDY(a,b)))

def op_count_pC7K6Z3Dn0(a, b):
    count = op_count_l6yaTd3a70(a)+op_count_n4DPn5x9ZW(a,b)+op_count_UkFG6YBLyt(op_l6yaTd3a70(a),op_n4DPn5x9ZW(a,b))+op_count_OuNwQ8h2ZL(b,a)+op_count_7VUZJnlIDY(a,b)+op_count_w4eTsxfO5i(op_OuNwQ8h2ZL(b,a),op_7VUZJnlIDY(a,b))+op_count_dcf6jBEETk(op_UkFG6YBLyt(op_l6yaTd3a70(a),op_n4DPn5x9ZW(a,b)),op_w4eTsxfO5i(op_OuNwQ8h2ZL(b,a),op_7VUZJnlIDY(a,b)))
    return count


def op_0bdl7L5uK3(a):
    return op_Cip0snuw7U(op_kmKscYjcaU(op_ukq6epAj5P(24,a)),op_4q4Wt1yQrE(op_0dkrCdGzGT(337,a)))

def op_count_0bdl7L5uK3(a):
    count = op_count_ukq6epAj5P(24,a)+op_count_kmKscYjcaU(op_ukq6epAj5P(24,a))+op_count_0dkrCdGzGT(337,a)+op_count_4q4Wt1yQrE(op_0dkrCdGzGT(337,a))+op_count_Cip0snuw7U(op_kmKscYjcaU(op_ukq6epAj5P(24,a)),op_4q4Wt1yQrE(op_0dkrCdGzGT(337,a)))
    return count


def op_fan636slrU(a):
    return op_uw1KoZSwz0(op_jmRbPV3Y6D(a,a),op_5GqDbVmqXU(a))

def op_count_fan636slrU(a):
    count = op_count_jmRbPV3Y6D(a,a)+op_count_5GqDbVmqXU(a)+op_count_uw1KoZSwz0(op_jmRbPV3Y6D(a,a),op_5GqDbVmqXU(a))
    return count


a⩕⇃∙ = { (((∧⊯⊑a)≤⋮(a⪧⊞↡a))⪜(a∺↝↿(a⇦⋔⨵))) }

def op_bQG9Ud0UO2(a):
    return op_EMR9JvRK8T(op_gaaDP0UKzK(op_p3tkozcGQn(a),op_ZBnQveJz4n(a,a)),op_nz5y26sRSo(a,op_u3XxlibK4s(a)))

def op_count_bQG9Ud0UO2(a):
    count = op_count_p3tkozcGQn(a)+op_count_ZBnQveJz4n(a,a)+op_count_gaaDP0UKzK(op_p3tkozcGQn(a),op_ZBnQveJz4n(a,a))+op_count_u3XxlibK4s(a)+op_count_nz5y26sRSo(a,op_u3XxlibK4s(a))+op_count_EMR9JvRK8T(op_gaaDP0UKzK(op_p3tkozcGQn(a),op_ZBnQveJz4n(a,a)),op_nz5y26sRSo(a,op_u3XxlibK4s(a)))
    return count


a⇴↭ = { (((a⊤≄a)⊯⪆(a⊸⋪≐a))⪒⊣⊆((a*⇥≲)⨭⪣(273⪃⩐⨑3))) }

def op_bpNkppTed7(a):
    return op_eRqsBgTDFp(op_8u3ZXjUZq9(op_El3zeUDNld(a,a),op_9TWTp1rdMN(a,a)),op_kn8WO9XteQ(op_DEqk5vDXLq(a),op_7OL7g5oVtb(273,3)))

def op_count_bpNkppTed7(a):
    count = op_count_El3zeUDNld(a,a)+op_count_9TWTp1rdMN(a,a)+op_count_8u3ZXjUZq9(op_El3zeUDNld(a,a),op_9TWTp1rdMN(a,a))+op_count_DEqk5vDXLq(a)+op_count_7OL7g5oVtb(273,3)+op_count_kn8WO9XteQ(op_DEqk5vDXLq(a),op_7OL7g5oVtb(273,3))+op_count_eRqsBgTDFp(op_8u3ZXjUZq9(op_El3zeUDNld(a,a),op_9TWTp1rdMN(a,a)),op_kn8WO9XteQ(op_DEqk5vDXLq(a),op_7OL7g5oVtb(273,3)))
    return count


a⊸⇡↑ = { (((44⋃⇽)⪶≀⋏(a⫹⋆a))⫹⩪(≭⫘(a⩱⇜⪦a))) }

def op_xNhlH0gjtb(a):
    return op_yWyjdngDvQ(op_zR4jO40bMj(op_ToDhk4Lo3q(44),op_mvkfbmF2ZK(a,a)),op_jEAzKzhh6P(op_TPY4Vhd24N(a,a)))

def op_count_xNhlH0gjtb(a):
    count = op_count_ToDhk4Lo3q(44)+op_count_mvkfbmF2ZK(a,a)+op_count_zR4jO40bMj(op_ToDhk4Lo3q(44),op_mvkfbmF2ZK(a,a))+op_count_TPY4Vhd24N(a,a)+op_count_jEAzKzhh6P(op_TPY4Vhd24N(a,a))+op_count_yWyjdngDvQ(op_zR4jO40bMj(op_ToDhk4Lo3q(44),op_mvkfbmF2ZK(a,a)),op_jEAzKzhh6P(op_TPY4Vhd24N(a,a)))
    return count


def op_owCSkFYFye(a, b):
    return op_fOUzq6FFBl(op_2cbslIIPJD(op_RJKDfKcFKp(a,b),op_G1Qmf3Dwhp(a)),a)

def op_count_owCSkFYFye(a, b):
    count = op_count_RJKDfKcFKp(a,b)+op_count_G1Qmf3Dwhp(a)+op_count_2cbslIIPJD(op_RJKDfKcFKp(a,b),op_G1Qmf3Dwhp(a))+op_count_fOUzq6FFBl(op_2cbslIIPJD(op_RJKDfKcFKp(a,b),op_G1Qmf3Dwhp(a)),a)
    return count


def op_Y6NpPLRYrx(a):
    return op_rMifWJgd3t(op_YaB1w09lmH(a,a),op_uoTFhueqY9(44,a))

def op_count_Y6NpPLRYrx(a):
    count = op_count_YaB1w09lmH(a,a)+op_count_uoTFhueqY9(44,a)+op_count_rMifWJgd3t(op_YaB1w09lmH(a,a),op_uoTFhueqY9(44,a))
    return count


def op_A28Sj7Ib8S(a, b):
    return op_wcUnr516Gq(op_mp94q5OcYM(b),op_aXwoIQj555(a,a))

def op_count_A28Sj7Ib8S(a, b):
    count = op_count_mp94q5OcYM(b)+op_count_aXwoIQj555(a,a)+op_count_wcUnr516Gq(op_mp94q5OcYM(b),op_aXwoIQj555(a,a))
    return count


def op_g1LlCmLwuz(a):
    return op_HbkKo2jppZ(op_GMrB5OisJT(a))

def op_count_g1LlCmLwuz(a):
    count = op_count_GMrB5OisJT(a)+op_count_HbkKo2jppZ(op_GMrB5OisJT(a))
    return count


⫋⪡⊍a = { (((a⊷⪵)/≡⊾(a⇩))⫉⨲⊜(≍(a⊺⪚↾a))) }

def op_NhQbZeefT9(a):
    return op_WhqkvtTD3t(op_cuBJ82CzGp(op_lSgQqoZ1E5(a),op_vRio1gEz1j(a)),op_qDGJMdN0kq(op_wFGzIcZ3iX(a,a)))

def op_count_NhQbZeefT9(a):
    count = op_count_lSgQqoZ1E5(a)+op_count_vRio1gEz1j(a)+op_count_cuBJ82CzGp(op_lSgQqoZ1E5(a),op_vRio1gEz1j(a))+op_count_wFGzIcZ3iX(a,a)+op_count_qDGJMdN0kq(op_wFGzIcZ3iX(a,a))+op_count_WhqkvtTD3t(op_cuBJ82CzGp(op_lSgQqoZ1E5(a),op_vRio1gEz1j(a)),op_qDGJMdN0kq(op_wFGzIcZ3iX(a,a)))
    return count


⫩⫝̸⫡a = { (((a∐≞∍159)⋍⋺(a⩖∀a))%((a⩋⩃-a)⪘⨀)) }

def op_8n7qv6wC3h(a):
    return op_k8jYdgA6NY(op_rW0uBYiax0(op_tSHYsjpuUI(a,159),op_vb6BVWtSHd(a,a)),op_aA7tF3KVD3(op_PQ5jInepzR(a,a)))

def op_count_8n7qv6wC3h(a):
    count = op_count_tSHYsjpuUI(a,159)+op_count_vb6BVWtSHd(a,a)+op_count_rW0uBYiax0(op_tSHYsjpuUI(a,159),op_vb6BVWtSHd(a,a))+op_count_PQ5jInepzR(a,a)+op_count_aA7tF3KVD3(op_PQ5jInepzR(a,a))+op_count_k8jYdgA6NY(op_rW0uBYiax0(op_tSHYsjpuUI(a,159),op_vb6BVWtSHd(a,a)),op_aA7tF3KVD3(op_PQ5jInepzR(a,a)))
    return count


def op_bbIC7QzYTl(a):
    return op_0pE9j4xUU7(143,a)

def op_count_bbIC7QzYTl(a):
    count = op_count_0pE9j4xUU7(143,a)
    return count


⊖⊸a = { (((a⪑⋱⊙a)⨒(a⪤↿242))→⊣⋬((⨚∍⪓a)⫦⫋(a⨨⪘⨔a))) }

def op_XqFDMJBrt3(a):
    return op_51hOuhRTcR(op_y75s1iXyHd(op_KfUWWnJWrf(a,a),op_AabjzCHElt(a,242)),op_2SUl30BnjX(op_A70lgPgx8E(a),op_MZbvLECGjt(a,a)))

def op_count_XqFDMJBrt3(a):
    count = op_count_KfUWWnJWrf(a,a)+op_count_AabjzCHElt(a,242)+op_count_y75s1iXyHd(op_KfUWWnJWrf(a,a),op_AabjzCHElt(a,242))+op_count_A70lgPgx8E(a)+op_count_MZbvLECGjt(a,a)+op_count_2SUl30BnjX(op_A70lgPgx8E(a),op_MZbvLECGjt(a,a))+op_count_51hOuhRTcR(op_y75s1iXyHd(op_KfUWWnJWrf(a,a),op_AabjzCHElt(a,242)),op_2SUl30BnjX(op_A70lgPgx8E(a),op_MZbvLECGjt(a,a)))
    return count


def op_XK63EIK1US(a):
    return op_Y5cEcQhyKu(op_8FLs4eVsLt(a),op_nFUV6O7puR(op_FTL9XYvdA1(536,a),171))

def op_count_XK63EIK1US(a):
    count = op_count_8FLs4eVsLt(a)+op_count_FTL9XYvdA1(536,a)+op_count_nFUV6O7puR(op_FTL9XYvdA1(536,a),171)+op_count_Y5cEcQhyKu(op_8FLs4eVsLt(a),op_nFUV6O7puR(op_FTL9XYvdA1(536,a),171))
    return count


def op_tRaSz2BvdX(a):
    return op_fvY4jMd0AS(op_6Ac6Foig3G(a),a)

def op_count_tRaSz2BvdX(a):
    count = op_count_6Ac6Foig3G(a)+op_count_fvY4jMd0AS(op_6Ac6Foig3G(a),a)
    return count


a↵≅∝b = { (((216⨔≚≋a)⇱∅⫼(b⨶⇴b))⫛≵→(a≖⋷⨓(⋣a))) }

def op_p3t60N3cEu(a, b):
    return op_bvqU1ecX5M(op_jmRbPV3Y6D(op_Z57zeUYC9z(216,a),op_iO9AwRVKvo(b,b)),op_3ZAiUOk8Uv(a,op_zQWRhDnn8F(a)))

def op_count_p3t60N3cEu(a, b):
    count = op_count_Z57zeUYC9z(216,a)+op_count_iO9AwRVKvo(b,b)+op_count_jmRbPV3Y6D(op_Z57zeUYC9z(216,a),op_iO9AwRVKvo(b,b))+op_count_zQWRhDnn8F(a)+op_count_3ZAiUOk8Uv(a,op_zQWRhDnn8F(a))+op_count_bvqU1ecX5M(op_jmRbPV3Y6D(op_Z57zeUYC9z(216,a),op_iO9AwRVKvo(b,b)),op_3ZAiUOk8Uv(a,op_zQWRhDnn8F(a)))
    return count


def op_4hWCy7L5gw(a):
    return op_A0R0hrgyGo(op_sTpW6rPgxn(a),op_mp94q5OcYM(a))

def op_count_4hWCy7L5gw(a):
    count = op_count_sTpW6rPgxn(a)+op_count_mp94q5OcYM(a)+op_count_A0R0hrgyGo(op_sTpW6rPgxn(a),op_mp94q5OcYM(a))
    return count


def op_hy02SBIzwW(a):
    return op_3CMemG6NAA(op_1iZxVsDXN9(a,a))

def op_count_hy02SBIzwW(a):
    count = op_count_1iZxVsDXN9(a,a)+op_count_3CMemG6NAA(op_1iZxVsDXN9(a,a))
    return count


a⩕⋠ = { (((a⊟⇱)⩰⫔(a-⫺a))⪃⩐⨑(⋵⩲⊾(a⨝√a))) }

def op_zYQrSvma7p(a):
    return op_7OL7g5oVtb(op_x5p3WF8YzS(op_03sUfWo75k(a),op_nBHZox12dy(a,a)),op_wfLX6JC9Km(op_9m2uP4QEko(a,a)))

def op_count_zYQrSvma7p(a):
    count = op_count_03sUfWo75k(a)+op_count_nBHZox12dy(a,a)+op_count_x5p3WF8YzS(op_03sUfWo75k(a),op_nBHZox12dy(a,a))+op_count_9m2uP4QEko(a,a)+op_count_wfLX6JC9Km(op_9m2uP4QEko(a,a))+op_count_7OL7g5oVtb(op_x5p3WF8YzS(op_03sUfWo75k(a),op_nBHZox12dy(a,a)),op_wfLX6JC9Km(op_9m2uP4QEko(a,a)))
    return count


def op_F8LHpdcuFf(a):
    return op_b3qeQyvZfP(a,a)

def op_count_F8LHpdcuFf(a):
    count = op_count_b3qeQyvZfP(a,a)
    return count


def op_PplDJ2TuQZ(a):
    return op_ZyEASfasF5(op_rMifWJgd3t(a,a),op_8uAz8JJKQ9(72,a))

def op_count_PplDJ2TuQZ(a):
    count = op_count_rMifWJgd3t(a,a)+op_count_8uAz8JJKQ9(72,a)+op_count_ZyEASfasF5(op_rMifWJgd3t(a,a),op_8uAz8JJKQ9(72,a))
    return count


a⩱⇋⊁b = { (((a⫡a)%(b⫠⨡⊣a))⊆⇧⪚((a≵b)⇈⩻b)) }

def op_ovIDOSqP2K(a, b):
    return op_zma7vR3L5W(op_k8jYdgA6NY(op_r42jg1nETI(a,a),op_ezv41XLVK4(b,a)),op_If09U4imfG(op_nV04iLk7Bg(a,b),b))

def op_count_ovIDOSqP2K(a, b):
    count = op_count_r42jg1nETI(a,a)+op_count_ezv41XLVK4(b,a)+op_count_k8jYdgA6NY(op_r42jg1nETI(a,a),op_ezv41XLVK4(b,a))+op_count_nV04iLk7Bg(a,b)+op_count_If09U4imfG(op_nV04iLk7Bg(a,b),b)+op_count_zma7vR3L5W(op_k8jYdgA6NY(op_r42jg1nETI(a,a),op_ezv41XLVK4(b,a)),op_If09U4imfG(op_nV04iLk7Bg(a,b),b))
    return count


def op_loXBSJr7HD(a):
    return op_AZPIx1Ag6c(op_cHh1gJQ2o6(a,a))

def op_count_loXBSJr7HD(a):
    count = op_count_cHh1gJQ2o6(a,a)+op_count_AZPIx1Ag6c(op_cHh1gJQ2o6(a,a))
    return count


def op_GigY1hfIYu(a, b):
    return op_KbjG8mgYpV(op_Yrb6ZMzTIl(b),op_5ESOiVPbEV(b,a))

def op_count_GigY1hfIYu(a, b):
    count = op_count_Yrb6ZMzTIl(b)+op_count_5ESOiVPbEV(b,a)+op_count_KbjG8mgYpV(op_Yrb6ZMzTIl(b),op_5ESOiVPbEV(b,a))
    return count


def op_85RiJAE5nc(a):
    return op_3ldUWfsXlD(op_62W5FwqBqz(a),op_NOyIGfOOXL(a,a))

def op_count_85RiJAE5nc(a):
    count = op_count_62W5FwqBqz(a)+op_count_NOyIGfOOXL(a,a)+op_count_3ldUWfsXlD(op_62W5FwqBqz(a),op_NOyIGfOOXL(a,a))
    return count


⫯⫲⨺a = { (((≾⩙⪻a)↔≼∕(37≌⊪⫪a))≌⊪⫪((a⪨⨌⩅)⊍∤⊀)) }

def op_hU9ozigHGX(a):
    return op_htsSHb9NOj(op_hL8JPCYIkc(op_Lkz5QGQDKX(a),op_htsSHb9NOj(37,a)),op_0EAum7Jupo(op_eupb9vlVPb(a)))

def op_count_hU9ozigHGX(a):
    count = op_count_Lkz5QGQDKX(a)+op_count_htsSHb9NOj(37,a)+op_count_hL8JPCYIkc(op_Lkz5QGQDKX(a),op_htsSHb9NOj(37,a))+op_count_eupb9vlVPb(a)+op_count_0EAum7Jupo(op_eupb9vlVPb(a))+op_count_htsSHb9NOj(op_hL8JPCYIkc(op_Lkz5QGQDKX(a),op_htsSHb9NOj(37,a)),op_0EAum7Jupo(op_eupb9vlVPb(a)))
    return count


def op_MWoH0YoNSF(a, b):
    return op_TBD2yOIirL(op_FG45JEQvIn(b,a),op_eupb9vlVPb(280))

def op_count_MWoH0YoNSF(a, b):
    count = op_count_FG45JEQvIn(b,a)+op_count_eupb9vlVPb(280)+op_count_TBD2yOIirL(op_FG45JEQvIn(b,a),op_eupb9vlVPb(280))
    return count


def op_GlN8GmRPAR(a):
    return op_PoHhknlbAi(op_KsnKn8I4DZ(a,174),op_WQ4V1AEB0R(a))

def op_count_GlN8GmRPAR(a):
    count = op_count_KsnKn8I4DZ(a,174)+op_count_WQ4V1AEB0R(a)+op_count_PoHhknlbAi(op_KsnKn8I4DZ(a,174),op_WQ4V1AEB0R(a))
    return count


def op_iEgYlOkcUc(a, b):
    return op_vu59hxsJ1z(op_XhwjNDsVaA(a,b),op_aLNRF0Pt4F(93,a))

def op_count_iEgYlOkcUc(a, b):
    count = op_count_XhwjNDsVaA(a,b)+op_count_aLNRF0Pt4F(93,a)+op_count_vu59hxsJ1z(op_XhwjNDsVaA(a,b),op_aLNRF0Pt4F(93,a))
    return count


def op_ekiV5KEQgK(a, b):
    return op_D3AQDKkPcf(op_ziBb4sC0ZT(op_NvvUe35Zgj(159,a)),op_HCRZUvWJyW(op_ac6OB0jBIj(a,87),op_Acnz1HI8Ry(b,401)))

def op_count_ekiV5KEQgK(a, b):
    count = op_count_NvvUe35Zgj(159,a)+op_count_ziBb4sC0ZT(op_NvvUe35Zgj(159,a))+op_count_ac6OB0jBIj(a,87)+op_count_Acnz1HI8Ry(b,401)+op_count_HCRZUvWJyW(op_ac6OB0jBIj(a,87),op_Acnz1HI8Ry(b,401))+op_count_D3AQDKkPcf(op_ziBb4sC0ZT(op_NvvUe35Zgj(159,a)),op_HCRZUvWJyW(op_ac6OB0jBIj(a,87),op_Acnz1HI8Ry(b,401)))
    return count


def op_htakMgk7TD(a, b):
    return op_a4wu6RrqAP(b,op_8ZudynJV7e(op_ovZcSHEfmM(a,a)))

def op_count_htakMgk7TD(a, b):
    count = op_count_ovZcSHEfmM(a,a)+op_count_8ZudynJV7e(op_ovZcSHEfmM(a,a))+op_count_a4wu6RrqAP(b,op_8ZudynJV7e(op_ovZcSHEfmM(a,a)))
    return count


def op_InfL0ipZ4x(a):
    return op_jfAgQ2OQeM(op_Z5CJsN7DuW(a))

def op_count_InfL0ipZ4x(a):
    count = op_count_Z5CJsN7DuW(a)+op_count_jfAgQ2OQeM(op_Z5CJsN7DuW(a))
    return count


def op_np3dKlJAHQ(a):
    return op_dUpriDnGP5(a,376)

def op_count_np3dKlJAHQ(a):
    count = op_count_dUpriDnGP5(a,376)
    return count


def op_LDYsZkKpXC(a, b):
    return op_v4XgWNYiM8(op_Z57zeUYC9z(a,b))

def op_count_LDYsZkKpXC(a, b):
    count = op_count_Z57zeUYC9z(a,b)+op_count_v4XgWNYiM8(op_Z57zeUYC9z(a,b))
    return count


def op_w0DNA4Gsel(a):
    return op_VzqicqNqgJ(op_Gl4WN4Uwdx(a,a))

def op_count_w0DNA4Gsel(a):
    count = op_count_Gl4WN4Uwdx(a,a)+op_count_VzqicqNqgJ(op_Gl4WN4Uwdx(a,a))
    return count


def op_kYTzVM0dNf(a, b):
    return op_0bdkhPtsnY(op_PoHhknlbAi(b,a))

def op_count_kYTzVM0dNf(a, b):
    count = op_count_PoHhknlbAi(b,a)+op_count_0bdkhPtsnY(op_PoHhknlbAi(b,a))
    return count


def op_B8fOXEboqQ(a, b):
    return op_bsbByZDrTG(op_UNJVspG3Sj(op_5LE63mxGOF(b,112),a),op_grXIztHqDa(op_qYpz2WEVq4(b,a)))

def op_count_B8fOXEboqQ(a, b):
    count = op_count_5LE63mxGOF(b,112)+op_count_UNJVspG3Sj(op_5LE63mxGOF(b,112),a)+op_count_qYpz2WEVq4(b,a)+op_count_grXIztHqDa(op_qYpz2WEVq4(b,a))+op_count_bsbByZDrTG(op_UNJVspG3Sj(op_5LE63mxGOF(b,112),a),op_grXIztHqDa(op_qYpz2WEVq4(b,a)))
    return count


def op_tBGIMk9cIe(a):
    return op_GODebY97qR(a,549)

def op_count_tBGIMk9cIe(a):
    count = op_count_GODebY97qR(a,549)
    return count


def op_mGPEwLVy8s(a):
    return op_7t3wd0Fuz7(750,a)

def op_count_mGPEwLVy8s(a):
    count = op_count_7t3wd0Fuz7(750,a)
    return count


def op_azXW8BQraX(a):
    return op_QbnwKVWMIQ(op_MVP4l6Shxk(235),op_mOUIj6rraD(a,a))

def op_count_azXW8BQraX(a):
    count = op_count_MVP4l6Shxk(235)+op_count_mOUIj6rraD(a,a)+op_count_QbnwKVWMIQ(op_MVP4l6Shxk(235),op_mOUIj6rraD(a,a))
    return count


≨⇖a = { (((⫯⩆a)⨘↽(⋗⩬⋾a))⨤((3⨃⇵⋔a)∸⋅(a∇a))) }

def op_RDhvo9XtvN(a):
    return op_6Dk38mmJ69(op_DHxEmMn2cg(op_eevbwfw6pN(a),op_DpFCA1CohY(a)),op_dqXKirNDVF(op_Bdiofinswe(3,a),op_fICjaz8Yf3(a,a)))

def op_count_RDhvo9XtvN(a):
    count = op_count_eevbwfw6pN(a)+op_count_DpFCA1CohY(a)+op_count_DHxEmMn2cg(op_eevbwfw6pN(a),op_DpFCA1CohY(a))+op_count_Bdiofinswe(3,a)+op_count_fICjaz8Yf3(a,a)+op_count_dqXKirNDVF(op_Bdiofinswe(3,a),op_fICjaz8Yf3(a,a))+op_count_6Dk38mmJ69(op_DHxEmMn2cg(op_eevbwfw6pN(a),op_DpFCA1CohY(a)),op_dqXKirNDVF(op_Bdiofinswe(3,a),op_fICjaz8Yf3(a,a)))
    return count


≍⨪≢a = { (((a∲a)⊳⇆(a⨩))≺⋏((a⨄⊾⩮)⊯⪆(a∀↭⫰a))) }

def op_ylAeJOtWIu(a):
    return op_exBNT1EbB9(op_Lsyp3t0mLH(op_K8Gs4pJAFP(a,a),op_weFp838rcz(a)),op_8u3ZXjUZq9(op_GfE2GQMWLl(a),op_2muwgCqbmH(a,a)))

def op_count_ylAeJOtWIu(a):
    count = op_count_K8Gs4pJAFP(a,a)+op_count_weFp838rcz(a)+op_count_Lsyp3t0mLH(op_K8Gs4pJAFP(a,a),op_weFp838rcz(a))+op_count_GfE2GQMWLl(a)+op_count_2muwgCqbmH(a,a)+op_count_8u3ZXjUZq9(op_GfE2GQMWLl(a),op_2muwgCqbmH(a,a))+op_count_exBNT1EbB9(op_Lsyp3t0mLH(op_K8Gs4pJAFP(a,a),op_weFp838rcz(a)),op_8u3ZXjUZq9(op_GfE2GQMWLl(a),op_2muwgCqbmH(a,a)))
    return count


a⋁∮ = { (((420∐⪡a)⇸⨏(a⫲⨊))⇞⊉↿((a∮∟)⪕(a⇛⋲a))) }

def op_DzQ6xCa9qR(a):
    return op_bG3SoPrX0m(op_oUXishvm7t(op_F5wFo2T9P3(420,a),op_CArV6hThFE(a)),op_umQnsF7QlU(op_Qtw1Wu4TZm(a),op_bT2YGab5tl(a,a)))

def op_count_DzQ6xCa9qR(a):
    count = op_count_F5wFo2T9P3(420,a)+op_count_CArV6hThFE(a)+op_count_oUXishvm7t(op_F5wFo2T9P3(420,a),op_CArV6hThFE(a))+op_count_Qtw1Wu4TZm(a)+op_count_bT2YGab5tl(a,a)+op_count_umQnsF7QlU(op_Qtw1Wu4TZm(a),op_bT2YGab5tl(a,a))+op_count_bG3SoPrX0m(op_oUXishvm7t(op_F5wFo2T9P3(420,a),op_CArV6hThFE(a)),op_umQnsF7QlU(op_Qtw1Wu4TZm(a),op_bT2YGab5tl(a,a)))
    return count


def op_VSA5YM0EK9(a):
    return op_i43TpB2HrT(a,55)

def op_count_VSA5YM0EK9(a):
    count = op_count_i43TpB2HrT(a,55)
    return count


def op_OlS1syIyuj(a, b):
    return op_jkca4M7ITL(op_y16C4hJIbn(a,b),op_uqvL9iKn97(b))

def op_count_OlS1syIyuj(a, b):
    count = op_count_y16C4hJIbn(a,b)+op_count_uqvL9iKn97(b)+op_count_jkca4M7ITL(op_y16C4hJIbn(a,b),op_uqvL9iKn97(b))
    return count


def op_x86dxb2H6m(a):
    return op_OhqpJ7Tl0K(a,a)

def op_count_x86dxb2H6m(a):
    count = op_count_OhqpJ7Tl0K(a,a)
    return count


def op_ARPqjJ5jgq(a):
    return op_gub5Cegaqo(op_lnBQX9AhHE(a),op_wL68723Mti(a,a))

def op_count_ARPqjJ5jgq(a):
    count = op_count_lnBQX9AhHE(a)+op_count_wL68723Mti(a,a)+op_count_gub5Cegaqo(op_lnBQX9AhHE(a),op_wL68723Mti(a,a))
    return count


def op_ieZ4TEQJVa(a):
    return op_yXekIHxTD4(a,329)

def op_count_ieZ4TEQJVa(a):
    count = op_count_yXekIHxTD4(a,329)
    return count


def op_omOgCPqb2l(a, b):
    return op_TSjMxbSiHV(op_XMCkeYNRmt(b),op_R6sRhpmvlr(a))

def op_count_omOgCPqb2l(a, b):
    count = op_count_XMCkeYNRmt(b)+op_count_R6sRhpmvlr(a)+op_count_TSjMxbSiHV(op_XMCkeYNRmt(b),op_R6sRhpmvlr(a))
    return count


def op_TojcFMtHSf(a):
    return op_poiSo6Xg3g(op_GXvETGfcjc(a,a),op_UHDfkjONwK(a))

def op_count_TojcFMtHSf(a):
    count = op_count_GXvETGfcjc(a,a)+op_count_UHDfkjONwK(a)+op_count_poiSo6Xg3g(op_GXvETGfcjc(a,a),op_UHDfkjONwK(a))
    return count


a⫞⫗≖b = { (((b∲⫓210)∊⫈(a⩳b))⇻↜⇹(⪴⋃(a⩨b))) }

def op_OV481x3Hpp(a, b):
    return op_N6aCA1AhH1(op_u0dhG1s4E2(op_i8ToyICDmI(b,210),op_yC1eAvCdMl(a,b)),op_Ikma4L65yo(op_2DlMacCsIx(a,b)))

def op_count_OV481x3Hpp(a, b):
    count = op_count_i8ToyICDmI(b,210)+op_count_yC1eAvCdMl(a,b)+op_count_u0dhG1s4E2(op_i8ToyICDmI(b,210),op_yC1eAvCdMl(a,b))+op_count_2DlMacCsIx(a,b)+op_count_Ikma4L65yo(op_2DlMacCsIx(a,b))+op_count_N6aCA1AhH1(op_u0dhG1s4E2(op_i8ToyICDmI(b,210),op_yC1eAvCdMl(a,b)),op_Ikma4L65yo(op_2DlMacCsIx(a,b)))
    return count


def op_NeKDeD15BZ(a, b):
    return op_THQMdUzaDA(op_AU7BrOWeXc(b,517),op_H6BK1Evt7c(a))

def op_count_NeKDeD15BZ(a, b):
    count = op_count_AU7BrOWeXc(b,517)+op_count_H6BK1Evt7c(a)+op_count_THQMdUzaDA(op_AU7BrOWeXc(b,517),op_H6BK1Evt7c(a))
    return count


def op_55mBqzxS3b(a, b):
    return op_LXhwmt4mBO(b,op_XFunts32PM(a,a))

def op_count_55mBqzxS3b(a, b):
    count = op_count_XFunts32PM(a,a)+op_count_LXhwmt4mBO(b,op_XFunts32PM(a,a))
    return count


def op_RcfQkcDvZ9(a):
    return op_rJlMWXggw2(a,a)

def op_count_RcfQkcDvZ9(a):
    count = op_count_rJlMWXggw2(a,a)
    return count


def op_rTDBYUiuuN(a):
    return op_poiSo6Xg3g(619,a)

def op_count_rTDBYUiuuN(a):
    count = op_count_poiSo6Xg3g(619,a)
    return count


def op_QY0RZ2ConY(a, b):
    return op_57o73BEFtH(op_WBz61sV7d5(a,a),op_A8NUZmVepG(b))

def op_count_QY0RZ2ConY(a, b):
    count = op_count_WBz61sV7d5(a,a)+op_count_A8NUZmVepG(b)+op_count_57o73BEFtH(op_WBz61sV7d5(a,a),op_A8NUZmVepG(b))
    return count


def op_rkvCqAjc6D(a):
    return op_RXUpafmlG7(a,a)

def op_count_rkvCqAjc6D(a):
    count = op_count_RXUpafmlG7(a,a)
    return count


def op_43qyRbuflC(a):
    return op_f8TJb0vaMc(a,a)

def op_count_43qyRbuflC(a):
    count = op_count_f8TJb0vaMc(a,a)
    return count


def op_vZKBjji7IT(a):
    return op_iuUhER8Vt9(op_QrPBJNmqe2(a))

def op_count_vZKBjji7IT(a):
    count = op_count_QrPBJNmqe2(a)+op_count_iuUhER8Vt9(op_QrPBJNmqe2(a))
    return count


def op_ulvKIgN5u2(a):
    return op_XnXgA4xnOs(op_ExT1EayJM6(op_zVbKEeMoGt(75),op_X2bul7T2BP(a,a)),op_F3U2LKoYzR(op_diu054m9en(a,a)))

def op_count_ulvKIgN5u2(a):
    count = op_count_zVbKEeMoGt(75)+op_count_X2bul7T2BP(a,a)+op_count_ExT1EayJM6(op_zVbKEeMoGt(75),op_X2bul7T2BP(a,a))+op_count_diu054m9en(a,a)+op_count_F3U2LKoYzR(op_diu054m9en(a,a))+op_count_XnXgA4xnOs(op_ExT1EayJM6(op_zVbKEeMoGt(75),op_X2bul7T2BP(a,a)),op_F3U2LKoYzR(op_diu054m9en(a,a)))
    return count


def op_9MFhuZajkF(a, b):
    return op_3KAnUrVtkf(op_GIBeQO4UOL(op_fICjaz8Yf3(a,a)),op_uD5Hz2BlZx(op_xtBOMFLMmK(b,b)))

def op_count_9MFhuZajkF(a, b):
    count = op_count_fICjaz8Yf3(a,a)+op_count_GIBeQO4UOL(op_fICjaz8Yf3(a,a))+op_count_xtBOMFLMmK(b,b)+op_count_uD5Hz2BlZx(op_xtBOMFLMmK(b,b))+op_count_3KAnUrVtkf(op_GIBeQO4UOL(op_fICjaz8Yf3(a,a)),op_uD5Hz2BlZx(op_xtBOMFLMmK(b,b)))
    return count


def op_CT5lT3N5Bi(a, b):
    return op_GHfes0uiuE(op_d5CHQX7ZoG(op_inCIaGQf8u(a,b),op_qeG8mGoQOE(a,b)))

def op_count_CT5lT3N5Bi(a, b):
    count = op_count_inCIaGQf8u(a,b)+op_count_qeG8mGoQOE(a,b)+op_count_d5CHQX7ZoG(op_inCIaGQf8u(a,b),op_qeG8mGoQOE(a,b))+op_count_GHfes0uiuE(op_d5CHQX7ZoG(op_inCIaGQf8u(a,b),op_qeG8mGoQOE(a,b)))
    return count


def op_fbPX9VtAPY(a):
    return op_eupb9vlVPb(op_1Scw8a5e7g(op_Lif1LrMNxJ(a,a),op_qO3m3EJotg(a,a)))

def op_count_fbPX9VtAPY(a):
    count = op_count_Lif1LrMNxJ(a,a)+op_count_qO3m3EJotg(a,a)+op_count_1Scw8a5e7g(op_Lif1LrMNxJ(a,a),op_qO3m3EJotg(a,a))+op_count_eupb9vlVPb(op_1Scw8a5e7g(op_Lif1LrMNxJ(a,a),op_qO3m3EJotg(a,a)))
    return count


def op_ltLMORAyGj(a):
    return op_S2EdmdiVZh(op_j6NVkjMzuk(194),op_eevbwfw6pN(a))

def op_count_ltLMORAyGj(a):
    count = op_count_j6NVkjMzuk(194)+op_count_eevbwfw6pN(a)+op_count_S2EdmdiVZh(op_j6NVkjMzuk(194),op_eevbwfw6pN(a))
    return count


def op_Eshg0vLipp(a):
    return op_xtCeza3rDf(a,a)

def op_count_Eshg0vLipp(a):
    count = op_count_xtCeza3rDf(a,a)
    return count


def op_E7w2cPZO8a(a, b):
    return op_HPslF4Wa5g(op_rMifWJgd3t(b,a))

def op_count_E7w2cPZO8a(a, b):
    count = op_count_rMifWJgd3t(b,a)+op_count_HPslF4Wa5g(op_rMifWJgd3t(b,a))
    return count


def op_matowZxHVj(a):
    return op_TRBbsPMh7I(op_sVMiUtOpJT(a,a),op_JGUZimA2Hi(a))

def op_count_matowZxHVj(a):
    count = op_count_sVMiUtOpJT(a,a)+op_count_JGUZimA2Hi(a)+op_count_TRBbsPMh7I(op_sVMiUtOpJT(a,a),op_JGUZimA2Hi(a))
    return count


def op_5qoWEvA4lN(a):
    return op_meOipXXSDp(op_nREPSIbpBE(op_Dh8yhYQk7S(a,178),op_zTd4o4K50M(a)),op_xtCeza3rDf(op_Zubgv0tBda(475),op_9yWvQzZuYL(a)))

def op_count_5qoWEvA4lN(a):
    count = op_count_Dh8yhYQk7S(a,178)+op_count_zTd4o4K50M(a)+op_count_nREPSIbpBE(op_Dh8yhYQk7S(a,178),op_zTd4o4K50M(a))+op_count_Zubgv0tBda(475)+op_count_9yWvQzZuYL(a)+op_count_xtCeza3rDf(op_Zubgv0tBda(475),op_9yWvQzZuYL(a))+op_count_meOipXXSDp(op_nREPSIbpBE(op_Dh8yhYQk7S(a,178),op_zTd4o4K50M(a)),op_xtCeza3rDf(op_Zubgv0tBda(475),op_9yWvQzZuYL(a)))
    return count


def op_NwTClTmkMo(a, b):
    return op_7ownb8jkdv(op_KDDfsCJhw5(op_7VUZJnlIDY(b,a),op_6Zjw4YHEYi(326)))

def op_count_NwTClTmkMo(a, b):
    count = op_count_7VUZJnlIDY(b,a)+op_count_6Zjw4YHEYi(326)+op_count_KDDfsCJhw5(op_7VUZJnlIDY(b,a),op_6Zjw4YHEYi(326))+op_count_7ownb8jkdv(op_KDDfsCJhw5(op_7VUZJnlIDY(b,a),op_6Zjw4YHEYi(326)))
    return count


def op_k7WnL3vkFG(a):
    return op_NnryeZgiwo(a,op_9tKT6PmtkH(a))

def op_count_k7WnL3vkFG(a):
    count = op_count_9tKT6PmtkH(a)+op_count_NnryeZgiwo(a,op_9tKT6PmtkH(a))
    return count


def op_ZpvQY3KZmN(a, b):
    return op_Bi6gyirjvn(op_fHEWrCoiIm(op_a3IilZSQIP(9),op_UNcwWhIvyc(384,13)),op_zqpnzlcbs4(op_cHh1gJQ2o6(631,a),op_GQS1ilwEGl(b,a)))

def op_count_ZpvQY3KZmN(a, b):
    count = op_count_a3IilZSQIP(9)+op_count_UNcwWhIvyc(384,13)+op_count_fHEWrCoiIm(op_a3IilZSQIP(9),op_UNcwWhIvyc(384,13))+op_count_cHh1gJQ2o6(631,a)+op_count_GQS1ilwEGl(b,a)+op_count_zqpnzlcbs4(op_cHh1gJQ2o6(631,a),op_GQS1ilwEGl(b,a))+op_count_Bi6gyirjvn(op_fHEWrCoiIm(op_a3IilZSQIP(9),op_UNcwWhIvyc(384,13)),op_zqpnzlcbs4(op_cHh1gJQ2o6(631,a),op_GQS1ilwEGl(b,a)))
    return count


a∳≚↬ = { ((425↽⋘⇦(a⋗a))∶⋾⫅((a⊢⨅≐a)↵⋵⇹(a⪘))) }

def op_vIGRLYeHRt(a):
    return op_CElUNYQIpN(op_SEtte5H3sk(425,op_hy5IL4GG6G(a,a)),op_dUtXqx2Zuq(op_ieEneBRTef(a,a),op_otBzi3yDII(a)))

def op_count_vIGRLYeHRt(a):
    count = op_count_hy5IL4GG6G(a,a)+op_count_SEtte5H3sk(425,op_hy5IL4GG6G(a,a))+op_count_ieEneBRTef(a,a)+op_count_otBzi3yDII(a)+op_count_dUtXqx2Zuq(op_ieEneBRTef(a,a),op_otBzi3yDII(a))+op_count_CElUNYQIpN(op_SEtte5H3sk(425,op_hy5IL4GG6G(a,a)),op_dUtXqx2Zuq(op_ieEneBRTef(a,a),op_otBzi3yDII(a)))
    return count


def op_CgMtesZvCQ(a, b):
    return op_SUmda5xLS4(op_qQVdHIwY0K(a,103),op_reVGrTqfuh(a,b))

def op_count_CgMtesZvCQ(a, b):
    count = op_count_qQVdHIwY0K(a,103)+op_count_reVGrTqfuh(a,b)+op_count_SUmda5xLS4(op_qQVdHIwY0K(a,103),op_reVGrTqfuh(a,b))
    return count


def op_vJqWy5dkUW(a):
    return op_gZrEJN9j6U(op_wvHyciQT5X(op_VjnqvBkomr(a)))

def op_count_vJqWy5dkUW(a):
    count = op_count_VjnqvBkomr(a)+op_count_wvHyciQT5X(op_VjnqvBkomr(a))+op_count_gZrEJN9j6U(op_wvHyciQT5X(op_VjnqvBkomr(a)))
    return count


def op_gxiHOcD4DJ(a, b):
    return op_YaB1w09lmH(op_hyuBjUqXlG(b,b),op_YANvL1cq0Q(a,a))

def op_count_gxiHOcD4DJ(a, b):
    count = op_count_hyuBjUqXlG(b,b)+op_count_YANvL1cq0Q(a,a)+op_count_YaB1w09lmH(op_hyuBjUqXlG(b,b),op_YANvL1cq0Q(a,a))
    return count


def op_LWrjkhwLhY(a):
    return op_lin3q9QJS5(op_B7jD7820sf(a,a))

def op_count_LWrjkhwLhY(a):
    count = op_count_B7jD7820sf(a,a)+op_count_lin3q9QJS5(op_B7jD7820sf(a,a))
    return count


⫑⨩⫂a = { (((⩠↾⋷a)⫻(a⫴a))≽⪈↿(∶∢∐(⋍≭≼112))) }

def op_n4X2i6wiGH(a):
    return op_inCIaGQf8u(op_6R1J4BifJJ(op_ukSLkBfL7r(a),op_0N1BchnEuL(a,a)),op_owrP24woSl(op_Osz0M3HhIq(112)))

def op_count_n4X2i6wiGH(a):
    count = op_count_ukSLkBfL7r(a)+op_count_0N1BchnEuL(a,a)+op_count_6R1J4BifJJ(op_ukSLkBfL7r(a),op_0N1BchnEuL(a,a))+op_count_Osz0M3HhIq(112)+op_count_owrP24woSl(op_Osz0M3HhIq(112))+op_count_inCIaGQf8u(op_6R1J4BifJJ(op_ukSLkBfL7r(a),op_0N1BchnEuL(a,a)),op_owrP24woSl(op_Osz0M3HhIq(112)))
    return count


def op_ad4JNLnqE5(a, b):
    return op_H6BK1Evt7c(op_lKdxb91DUa(op_glenQ1xDvR(b,a)))

def op_count_ad4JNLnqE5(a, b):
    count = op_count_glenQ1xDvR(b,a)+op_count_lKdxb91DUa(op_glenQ1xDvR(b,a))+op_count_H6BK1Evt7c(op_lKdxb91DUa(op_glenQ1xDvR(b,a)))
    return count


def op_1tOBPiOaCx(a, b):
    return op_TPY4Vhd24N(op_DDyFJYJzaO(b),op_8POb3bc2fl(op_d7bqhxVNrw(a)))

def op_count_1tOBPiOaCx(a, b):
    count = op_count_DDyFJYJzaO(b)+op_count_d7bqhxVNrw(a)+op_count_8POb3bc2fl(op_d7bqhxVNrw(a))+op_count_TPY4Vhd24N(op_DDyFJYJzaO(b),op_8POb3bc2fl(op_d7bqhxVNrw(a)))
    return count


def op_JJqjdL2EOb(a, b):
    return op_EKiFHuOFxO(op_fRd8cuFkMc(op_mgxBsyfu3j(b,a),op_BuSO44A1JA(b)))

def op_count_JJqjdL2EOb(a, b):
    count = op_count_mgxBsyfu3j(b,a)+op_count_BuSO44A1JA(b)+op_count_fRd8cuFkMc(op_mgxBsyfu3j(b,a),op_BuSO44A1JA(b))+op_count_EKiFHuOFxO(op_fRd8cuFkMc(op_mgxBsyfu3j(b,a),op_BuSO44A1JA(b)))
    return count


def op_lFdsUIK82P(a):
    return op_17vTJqz9Ht(op_MbELAX2vGJ(a))

def op_count_lFdsUIK82P(a):
    count = op_count_MbELAX2vGJ(a)+op_count_17vTJqz9Ht(op_MbELAX2vGJ(a))
    return count


def op_5TMUGFeU0s(a):
    return op_Gbv0iUO2Lv(op_OhqpJ7Tl0K(a,a),a)

def op_count_5TMUGFeU0s(a):
    count = op_count_OhqpJ7Tl0K(a,a)+op_count_Gbv0iUO2Lv(op_OhqpJ7Tl0K(a,a),a)
    return count


def op_L6sXmTMo2E(a, b):
    return op_7GgezYTPa9(op_Dh8yhYQk7S(op_ukSLkBfL7r(4),op_z2JHNkvbdm(b,a)),op_YUaZ0ptK8E(a))

def op_count_L6sXmTMo2E(a, b):
    count = op_count_ukSLkBfL7r(4)+op_count_z2JHNkvbdm(b,a)+op_count_Dh8yhYQk7S(op_ukSLkBfL7r(4),op_z2JHNkvbdm(b,a))+op_count_YUaZ0ptK8E(a)+op_count_7GgezYTPa9(op_Dh8yhYQk7S(op_ukSLkBfL7r(4),op_z2JHNkvbdm(b,a)),op_YUaZ0ptK8E(a))
    return count


def op_Mt3PEpRrfk(a):
    return op_hFvFHqVvZy(op_a4wu6RrqAP(206,a))

def op_count_Mt3PEpRrfk(a):
    count = op_count_a4wu6RrqAP(206,a)+op_count_hFvFHqVvZy(op_a4wu6RrqAP(206,a))
    return count


def op_cGjsL7NCy6(a):
    return op_qAij2BThqh(op_kn8WO9XteQ(a,a))

def op_count_cGjsL7NCy6(a):
    count = op_count_kn8WO9XteQ(a,a)+op_count_qAij2BThqh(op_kn8WO9XteQ(a,a))
    return count


def op_Lwf23eqYfW(a):
    return op_kMX5G63lLu(op_3x5wtHepBr(6),op_ydJmeWyvU7(op_YocpLSRo8j(a),op_enyv3EGcQ1(a,20)))

def op_count_Lwf23eqYfW(a):
    count = op_count_3x5wtHepBr(6)+op_count_YocpLSRo8j(a)+op_count_enyv3EGcQ1(a,20)+op_count_ydJmeWyvU7(op_YocpLSRo8j(a),op_enyv3EGcQ1(a,20))+op_count_kMX5G63lLu(op_3x5wtHepBr(6),op_ydJmeWyvU7(op_YocpLSRo8j(a),op_enyv3EGcQ1(a,20)))
    return count


a⇩≲b = { (((63⫰⋊⋯a)≰⇯⫕(b⪿⇪⊩b))⋢⋴((b⇊b)⋕⪉⪜(b⫿∴b))) }

def op_x80b6tayha(a, b):
    return op_FjmygMY46A(op_JuQNioWekr(op_9tbqhEjA70(63,a),op_OGWBzMv138(b,b)),op_z6LnFrNh4i(op_8h2Ofp3S4L(b,b),op_8ZeUWtbGhp(b,b)))

def op_count_x80b6tayha(a, b):
    count = op_count_9tbqhEjA70(63,a)+op_count_OGWBzMv138(b,b)+op_count_JuQNioWekr(op_9tbqhEjA70(63,a),op_OGWBzMv138(b,b))+op_count_8h2Ofp3S4L(b,b)+op_count_8ZeUWtbGhp(b,b)+op_count_z6LnFrNh4i(op_8h2Ofp3S4L(b,b),op_8ZeUWtbGhp(b,b))+op_count_FjmygMY46A(op_JuQNioWekr(op_9tbqhEjA70(63,a),op_OGWBzMv138(b,b)),op_z6LnFrNh4i(op_8h2Ofp3S4L(b,b),op_8ZeUWtbGhp(b,b)))
    return count


a⊹⨛b = { (((246∤≷⨡)⩵∷⩪(b⩚⫳b))⩴((b↴⋟a)⋡a)) }

def op_9Skavuvm7c(a, b):
    return op_8YdTO89gQD(op_X7PctZJgeL(op_PIKqUwW8wB(246),op_meOipXXSDp(b,b)),op_aZYNwA0vxh(op_yo23qO3U4o(b,a),a))

def op_count_9Skavuvm7c(a, b):
    count = op_count_PIKqUwW8wB(246)+op_count_meOipXXSDp(b,b)+op_count_X7PctZJgeL(op_PIKqUwW8wB(246),op_meOipXXSDp(b,b))+op_count_yo23qO3U4o(b,a)+op_count_aZYNwA0vxh(op_yo23qO3U4o(b,a),a)+op_count_8YdTO89gQD(op_X7PctZJgeL(op_PIKqUwW8wB(246),op_meOipXXSDp(b,b)),op_aZYNwA0vxh(op_yo23qO3U4o(b,a),a))
    return count


a⋷∪⊙b = { (((⫡⪳⋧b)⨩⊗b)⇪↧((620⨜⨶b)⇮(b≓∲a))) }

def op_CzReKdJ050(a, b):
    return op_yRqWCfy5LI(op_Bw0fzZ75Yl(op_wxnXcgpbVF(b),b),op_oqoWAMqwIq(op_HiPekx5b7W(620,b),op_s1XTVnmDOJ(b,a)))

def op_count_CzReKdJ050(a, b):
    count = op_count_wxnXcgpbVF(b)+op_count_Bw0fzZ75Yl(op_wxnXcgpbVF(b),b)+op_count_HiPekx5b7W(620,b)+op_count_s1XTVnmDOJ(b,a)+op_count_oqoWAMqwIq(op_HiPekx5b7W(620,b),op_s1XTVnmDOJ(b,a))+op_count_yRqWCfy5LI(op_Bw0fzZ75Yl(op_wxnXcgpbVF(b),b),op_oqoWAMqwIq(op_HiPekx5b7W(620,b),op_s1XTVnmDOJ(b,a)))
    return count


def op_MhFal2wsdN(a):
    return op_03sUfWo75k(op_NsGlVlbNoR(op_3TJII8pRfQ(a,a),op_laDV8SAqpw(a,a)))

def op_count_MhFal2wsdN(a):
    count = op_count_3TJII8pRfQ(a,a)+op_count_laDV8SAqpw(a,a)+op_count_NsGlVlbNoR(op_3TJII8pRfQ(a,a),op_laDV8SAqpw(a,a))+op_count_03sUfWo75k(op_NsGlVlbNoR(op_3TJII8pRfQ(a,a),op_laDV8SAqpw(a,a)))
    return count


def op_DF3VBmRtJs(a, b):
    return op_xrB6SlzufE(op_PoHhknlbAi(b,a),op_tqmm8txHHJ(b,b))

def op_count_DF3VBmRtJs(a, b):
    count = op_count_PoHhknlbAi(b,a)+op_count_tqmm8txHHJ(b,b)+op_count_xrB6SlzufE(op_PoHhknlbAi(b,a),op_tqmm8txHHJ(b,b))
    return count


def op_2qgx6fYUqD(a, b):
    return op_421RnaStf2(op_MRPaB8lBjK(b),op_W5FaPSP1ue(b,a))

def op_count_2qgx6fYUqD(a, b):
    count = op_count_MRPaB8lBjK(b)+op_count_W5FaPSP1ue(b,a)+op_count_421RnaStf2(op_MRPaB8lBjK(b),op_W5FaPSP1ue(b,a))
    return count


def op_54VVz5kVPR(a):
    return op_PoHhknlbAi(a,a)

def op_count_54VVz5kVPR(a):
    count = op_count_PoHhknlbAi(a,a)
    return count


def op_IfcolxJeE5(a):
    return op_hTbEZDJLEm(op_LruclEJH8T(a,a))

def op_count_IfcolxJeE5(a):
    count = op_count_LruclEJH8T(a,a)+op_count_hTbEZDJLEm(op_LruclEJH8T(a,a))
    return count


def op_IC8pW5Tu9f(a, b):
    return op_VITHB2EcLN(op_uBbSXYMpE2(op_5LE63mxGOF(b,99),a),op_ZpNKXFjcIY(op_z6LnFrNh4i(379,816),op_H7f1qksvrC(a)))

def op_count_IC8pW5Tu9f(a, b):
    count = op_count_5LE63mxGOF(b,99)+op_count_uBbSXYMpE2(op_5LE63mxGOF(b,99),a)+op_count_z6LnFrNh4i(379,816)+op_count_H7f1qksvrC(a)+op_count_ZpNKXFjcIY(op_z6LnFrNh4i(379,816),op_H7f1qksvrC(a))+op_count_VITHB2EcLN(op_uBbSXYMpE2(op_5LE63mxGOF(b,99),a),op_ZpNKXFjcIY(op_z6LnFrNh4i(379,816),op_H7f1qksvrC(a)))
    return count


def op_SluXztOHTZ(a, b):
    return op_vg4gO5BX6G(b,op_vkpjKywKVM(a,b))

def op_count_SluXztOHTZ(a, b):
    count = op_count_vkpjKywKVM(a,b)+op_count_vg4gO5BX6G(b,op_vkpjKywKVM(a,b))
    return count


def op_1UXN57ddfi(a):
    return op_cGHQRUc1Fx(op_JclMnS0uGI(op_Bi9z9uYZqW(a),a))

def op_count_1UXN57ddfi(a):
    count = op_count_Bi9z9uYZqW(a)+op_count_JclMnS0uGI(op_Bi9z9uYZqW(a),a)+op_count_cGHQRUc1Fx(op_JclMnS0uGI(op_Bi9z9uYZqW(a),a))
    return count


def op_dcpgubgqzi(a):
    return op_EKiFHuOFxO(op_ceao54Vsbj(op_bgrn5wBzt5(a)))

def op_count_dcpgubgqzi(a):
    count = op_count_bgrn5wBzt5(a)+op_count_ceao54Vsbj(op_bgrn5wBzt5(a))+op_count_EKiFHuOFxO(op_ceao54Vsbj(op_bgrn5wBzt5(a)))
    return count


def op_sNfcXrh4Im(a):
    return op_BThhyOhh10(op_zPaCbzxRhG(a))

def op_count_sNfcXrh4Im(a):
    count = op_count_zPaCbzxRhG(a)+op_count_BThhyOhh10(op_zPaCbzxRhG(a))
    return count


def op_O6lPxnguXq(a):
    return op_sMyAjHvMXx(op_22UCrTUJEh(468,a))

def op_count_O6lPxnguXq(a):
    count = op_count_22UCrTUJEh(468,a)+op_count_sMyAjHvMXx(op_22UCrTUJEh(468,a))
    return count


def op_uUzwcyyGYg(a, b):
    return op_jWTQ2TZYIH(op_kn2iEQ6jaA(443),op_7KGj3ybMWB(a,b))

def op_count_uUzwcyyGYg(a, b):
    count = op_count_kn2iEQ6jaA(443)+op_count_7KGj3ybMWB(a,b)+op_count_jWTQ2TZYIH(op_kn2iEQ6jaA(443),op_7KGj3ybMWB(a,b))
    return count


def op_dyzj7yJeTe(a):
    return op_6CTfL9kIPY(a,1)

def op_count_dyzj7yJeTe(a):
    count = op_count_6CTfL9kIPY(a,1)
    return count


def op_sSUKkK7m4u(a):
    return op_C4PqR2W9Pw(op_GyZKrXyLmB(16),op_yUc8DJLAu4(a,208))

def op_count_sSUKkK7m4u(a):
    count = op_count_GyZKrXyLmB(16)+op_count_yUc8DJLAu4(a,208)+op_count_C4PqR2W9Pw(op_GyZKrXyLmB(16),op_yUc8DJLAu4(a,208))
    return count


def op_paTxs4UybP(a):
    return op_8IBHxuH8oO(op_JFrVJKYFMX(op_ew17WAA8t6(370),op_srAu1WTS94(a)),op_G4EbQfwSm2(op_8HhzD0ZcuI(462,a),op_hjy4huFOSK(a)))

def op_count_paTxs4UybP(a):
    count = op_count_ew17WAA8t6(370)+op_count_srAu1WTS94(a)+op_count_JFrVJKYFMX(op_ew17WAA8t6(370),op_srAu1WTS94(a))+op_count_8HhzD0ZcuI(462,a)+op_count_hjy4huFOSK(a)+op_count_G4EbQfwSm2(op_8HhzD0ZcuI(462,a),op_hjy4huFOSK(a))+op_count_8IBHxuH8oO(op_JFrVJKYFMX(op_ew17WAA8t6(370),op_srAu1WTS94(a)),op_G4EbQfwSm2(op_8HhzD0ZcuI(462,a),op_hjy4huFOSK(a)))
    return count


def op_VGTZPjlT06(a, b):
    return op_K1uHWJv1IW(op_iIks2zNL3V(op_7YooWSwCyH(a,a)),op_3J4g3cQCoj(op_gWibIJBsW2(b,b)))

def op_count_VGTZPjlT06(a, b):
    count = op_count_7YooWSwCyH(a,a)+op_count_iIks2zNL3V(op_7YooWSwCyH(a,a))+op_count_gWibIJBsW2(b,b)+op_count_3J4g3cQCoj(op_gWibIJBsW2(b,b))+op_count_K1uHWJv1IW(op_iIks2zNL3V(op_7YooWSwCyH(a,a)),op_3J4g3cQCoj(op_gWibIJBsW2(b,b)))
    return count


def op_NoLzwdmtVz(a):
    return op_212REbPD9h(54,a)

def op_count_NoLzwdmtVz(a):
    count = op_count_212REbPD9h(54,a)
    return count


def op_Z0IxhOLayQ(a):
    return op_CowNEiWUa3(op_22UCrTUJEh(a,a))

def op_count_Z0IxhOLayQ(a):
    count = op_count_22UCrTUJEh(a,a)+op_count_CowNEiWUa3(op_22UCrTUJEh(a,a))
    return count


↼≈a = { (((a⇌a)⊸⫹(a⪧⩚↞))⇖⪆((a⪧⩚↞)⫑⋡(176⇨⇁a))) }

def op_vFKv4EBBN7(a):
    return op_pPTxWWVODo(op_xTDqZxPsQw(op_ifvJ10rhcp(a,a),op_iCFmNpcOux(a)),op_fBv0GnY1At(op_iCFmNpcOux(a),op_0JEjmizNXg(176,a)))

def op_count_vFKv4EBBN7(a):
    count = op_count_ifvJ10rhcp(a,a)+op_count_iCFmNpcOux(a)+op_count_xTDqZxPsQw(op_ifvJ10rhcp(a,a),op_iCFmNpcOux(a))+op_count_iCFmNpcOux(a)+op_count_0JEjmizNXg(176,a)+op_count_fBv0GnY1At(op_iCFmNpcOux(a),op_0JEjmizNXg(176,a))+op_count_pPTxWWVODo(op_xTDqZxPsQw(op_ifvJ10rhcp(a,a),op_iCFmNpcOux(a)),op_fBv0GnY1At(op_iCFmNpcOux(a),op_0JEjmizNXg(176,a)))
    return count


def op_vfP4mNYgYw(a):
    return op_n7NTx37v7F(op_Qtd6bqUJcN(123),op_yBHxIlLhSA(a,a))

def op_count_vfP4mNYgYw(a):
    count = op_count_Qtd6bqUJcN(123)+op_count_yBHxIlLhSA(a,a)+op_count_n7NTx37v7F(op_Qtd6bqUJcN(123),op_yBHxIlLhSA(a,a))
    return count


def op_FapX7bjesn(a):
    return op_B0ezUFU1kP(op_rK7H9hZmfU(a,a))

def op_count_FapX7bjesn(a):
    count = op_count_rK7H9hZmfU(a,a)+op_count_B0ezUFU1kP(op_rK7H9hZmfU(a,a))
    return count


a⪕≯⪊b = { (((⨃b)≣↻(b↨⪍≴b))⨊((b⇚⪠)⇧⫩a)) }

def op_NZlze526t4(a, b):
    return op_lGaBDnHbCC(op_KDDfsCJhw5(op_HmfEavv2wQ(b),op_DX7B1fY6P6(b,b)),op_IEFjhcG7wC(op_Loh9y4A90B(b),a))

def op_count_NZlze526t4(a, b):
    count = op_count_HmfEavv2wQ(b)+op_count_DX7B1fY6P6(b,b)+op_count_KDDfsCJhw5(op_HmfEavv2wQ(b),op_DX7B1fY6P6(b,b))+op_count_Loh9y4A90B(b)+op_count_IEFjhcG7wC(op_Loh9y4A90B(b),a)+op_count_lGaBDnHbCC(op_KDDfsCJhw5(op_HmfEavv2wQ(b),op_DX7B1fY6P6(b,b)),op_IEFjhcG7wC(op_Loh9y4A90B(b),a))
    return count


def op_h8IYq48x0s(a):
    return op_tx9xvuZCgf(op_1v5pUZ2RLP(a,a))

def op_count_h8IYq48x0s(a):
    count = op_count_1v5pUZ2RLP(a,a)+op_count_tx9xvuZCgf(op_1v5pUZ2RLP(a,a))
    return count


def op_Gh96TW4s3j(a):
    return op_BxNL6VpnAK(op_aCwnCp9fG4(op_LXhwmt4mBO(a,22),a))

def op_count_Gh96TW4s3j(a):
    count = op_count_LXhwmt4mBO(a,22)+op_count_aCwnCp9fG4(op_LXhwmt4mBO(a,22),a)+op_count_BxNL6VpnAK(op_aCwnCp9fG4(op_LXhwmt4mBO(a,22),a))
    return count


def op_IsqJBRMFtt(a):
    return op_7mDgzgOxkj(3,a)

def op_count_IsqJBRMFtt(a):
    count = op_count_7mDgzgOxkj(3,a)
    return count


def op_HUtdSlaloT(a, b):
    return op_lGaBDnHbCC(op_78QBpbqeKK(a,229),op_DEqk5vDXLq(b))

def op_count_HUtdSlaloT(a, b):
    count = op_count_78QBpbqeKK(a,229)+op_count_DEqk5vDXLq(b)+op_count_lGaBDnHbCC(op_78QBpbqeKK(a,229),op_DEqk5vDXLq(b))
    return count


def op_0hEPAaAg8C(a, b):
    return op_AsCFVB39Ml(op_M0mAKAgWvJ(a,b),op_ziBb4sC0ZT(a))

def op_count_0hEPAaAg8C(a, b):
    count = op_count_M0mAKAgWvJ(a,b)+op_count_ziBb4sC0ZT(a)+op_count_AsCFVB39Ml(op_M0mAKAgWvJ(a,b),op_ziBb4sC0ZT(a))
    return count


def op_Z36JYzhjcK(a, b):
    return op_SMyk87KdZU(op_HK0tfVPux8(op_JGUZimA2Hi(b),op_8i5ue7LxuV(a)))

def op_count_Z36JYzhjcK(a, b):
    count = op_count_JGUZimA2Hi(b)+op_count_8i5ue7LxuV(a)+op_count_HK0tfVPux8(op_JGUZimA2Hi(b),op_8i5ue7LxuV(a))+op_count_SMyk87KdZU(op_HK0tfVPux8(op_JGUZimA2Hi(b),op_8i5ue7LxuV(a)))
    return count


def op_MvaMMKintO(a, b):
    return op_ZlduNN376N(op_ODihFFDUGL(op_Ytqyqjc8hL(a,234),op_JVQ1BRQdPQ(549)),op_QmMs3tyaZP(op_AWSeafXRiV(b),op_M2pIAIy88N(b)))

def op_count_MvaMMKintO(a, b):
    count = op_count_Ytqyqjc8hL(a,234)+op_count_JVQ1BRQdPQ(549)+op_count_ODihFFDUGL(op_Ytqyqjc8hL(a,234),op_JVQ1BRQdPQ(549))+op_count_AWSeafXRiV(b)+op_count_M2pIAIy88N(b)+op_count_QmMs3tyaZP(op_AWSeafXRiV(b),op_M2pIAIy88N(b))+op_count_ZlduNN376N(op_ODihFFDUGL(op_Ytqyqjc8hL(a,234),op_JVQ1BRQdPQ(549)),op_QmMs3tyaZP(op_AWSeafXRiV(b),op_M2pIAIy88N(b)))
    return count


def op_nu4nYAbAgb(a):
    return op_UgJUmNBkC4(op_OSE2w6XS66(op_ZU9O8ewN1P(a),op_IIvul3xxOn(a,a)))

def op_count_nu4nYAbAgb(a):
    count = op_count_ZU9O8ewN1P(a)+op_count_IIvul3xxOn(a,a)+op_count_OSE2w6XS66(op_ZU9O8ewN1P(a),op_IIvul3xxOn(a,a))+op_count_UgJUmNBkC4(op_OSE2w6XS66(op_ZU9O8ewN1P(a),op_IIvul3xxOn(a,a)))
    return count


def op_19xM9lTKYo(a, b):
    return op_XIK4G3vWTl(op_9ICcGScMcE(a),op_OKKcZfAt5B(125,b))

def op_count_19xM9lTKYo(a, b):
    count = op_count_9ICcGScMcE(a)+op_count_OKKcZfAt5B(125,b)+op_count_XIK4G3vWTl(op_9ICcGScMcE(a),op_OKKcZfAt5B(125,b))
    return count


def op_iSZkFnaD2D(a):
    return op_1kYTnwEcNo(op_vkpjKywKVM(a,49))

def op_count_iSZkFnaD2D(a):
    count = op_count_vkpjKywKVM(a,49)+op_count_1kYTnwEcNo(op_vkpjKywKVM(a,49))
    return count


def op_2eU2VkipYL(a, b):
    return op_m3Wy7lzjrX(op_Dk6V8i6EvU(a,b),op_xNBdhnnwKq(b))

def op_count_2eU2VkipYL(a, b):
    count = op_count_Dk6V8i6EvU(a,b)+op_count_xNBdhnnwKq(b)+op_count_m3Wy7lzjrX(op_Dk6V8i6EvU(a,b),op_xNBdhnnwKq(b))
    return count


def op_KLpiBu3M34(a, b):
    return op_4BgDUfrXIE(op_e1hLqZQXWX(b,b),op_PoHhknlbAi(a,b))

def op_count_KLpiBu3M34(a, b):
    count = op_count_e1hLqZQXWX(b,b)+op_count_PoHhknlbAi(a,b)+op_count_4BgDUfrXIE(op_e1hLqZQXWX(b,b),op_PoHhknlbAi(a,b))
    return count


a⋬≹b = { (((540≞⊜⊃b)⇮⨌⨎(b⨍⪒↱))⪿⪠≾((b↭⋂a)∵⊛≕(b⫯⊮⩀))) }

def op_XhYZ2gVPdD(a, b):
    return op_SGDLQMSxql(op_sI3WE0f3wC(op_0rRutzN8mZ(540,b),op_pI9YMM1ZOi(b)),op_421RnaStf2(op_Acnz1HI8Ry(b,a),op_kn2iEQ6jaA(b)))

def op_count_XhYZ2gVPdD(a, b):
    count = op_count_0rRutzN8mZ(540,b)+op_count_pI9YMM1ZOi(b)+op_count_sI3WE0f3wC(op_0rRutzN8mZ(540,b),op_pI9YMM1ZOi(b))+op_count_Acnz1HI8Ry(b,a)+op_count_kn2iEQ6jaA(b)+op_count_421RnaStf2(op_Acnz1HI8Ry(b,a),op_kn2iEQ6jaA(b))+op_count_SGDLQMSxql(op_sI3WE0f3wC(op_0rRutzN8mZ(540,b),op_pI9YMM1ZOi(b)),op_421RnaStf2(op_Acnz1HI8Ry(b,a),op_kn2iEQ6jaA(b)))
    return count


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

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


def op_6edfhCO2EE(a):
    return op_Lhk0YGb717(op_ZG1KnpkPxw(a,a))

def op_count_6edfhCO2EE(a):
    count = op_count_ZG1KnpkPxw(a,a)+op_count_Lhk0YGb717(op_ZG1KnpkPxw(a,a))
    return count


def op_EYCq4kZIGp(a, b):
    return op_wicAB68Tmb(op_nEsXyWgiOK(b,a),op_UscWZcTkUL(a,b))

def op_count_EYCq4kZIGp(a, b):
    count = op_count_nEsXyWgiOK(b,a)+op_count_UscWZcTkUL(a,b)+op_count_wicAB68Tmb(op_nEsXyWgiOK(b,a),op_UscWZcTkUL(a,b))
    return count


def op_T7VIbm5pD2(a):
    return op_poiSo6Xg3g(a,a)

def op_count_T7VIbm5pD2(a):
    count = op_count_poiSo6Xg3g(a,a)
    return count


def op_IXfVZXPdaC(a):
    return op_KDDfsCJhw5(op_GfE2GQMWLl(513),op_ztbpxZ3MBw(a))

def op_count_IXfVZXPdaC(a):
    count = op_count_GfE2GQMWLl(513)+op_count_ztbpxZ3MBw(a)+op_count_KDDfsCJhw5(op_GfE2GQMWLl(513),op_ztbpxZ3MBw(a))
    return count


a⫂↤⪪ = { (((a⩏⇖a)⨎⋸⪻)⫶((a⇩⇣a)⨝(a⊻⨌⫵a))) }

def op_VMPTHtahnB(a):
    return op_BAIXFdYaz3(op_Dk5vyLCiGd(op_WzExxB0XCT(a,a)),op_fo48eGTxLC(op_UscWZcTkUL(a,a),op_NOyIGfOOXL(a,a)))

def op_count_VMPTHtahnB(a):
    count = op_count_WzExxB0XCT(a,a)+op_count_Dk5vyLCiGd(op_WzExxB0XCT(a,a))+op_count_UscWZcTkUL(a,a)+op_count_NOyIGfOOXL(a,a)+op_count_fo48eGTxLC(op_UscWZcTkUL(a,a),op_NOyIGfOOXL(a,a))+op_count_BAIXFdYaz3(op_Dk5vyLCiGd(op_WzExxB0XCT(a,a)),op_fo48eGTxLC(op_UscWZcTkUL(a,a),op_NOyIGfOOXL(a,a)))
    return count


a⨍↱⋑ = { (((a⫬↰a)⋟⨱(a⪫↪957))⊓≱((⊶a)⫾a)) }

def op_bDovvIE8aA(a):
    return op_VCG3UHNzLR(op_lN5Hu1ptA5(op_f8TJb0vaMc(a,a),op_SR7DhePr6g(a,957)),op_7JbuLsbBtx(op_iLDmr1kYEU(a),a))

def op_count_bDovvIE8aA(a):
    count = op_count_f8TJb0vaMc(a,a)+op_count_SR7DhePr6g(a,957)+op_count_lN5Hu1ptA5(op_f8TJb0vaMc(a,a),op_SR7DhePr6g(a,957))+op_count_iLDmr1kYEU(a)+op_count_7JbuLsbBtx(op_iLDmr1kYEU(a),a)+op_count_VCG3UHNzLR(op_lN5Hu1ptA5(op_f8TJb0vaMc(a,a),op_SR7DhePr6g(a,957)),op_7JbuLsbBtx(op_iLDmr1kYEU(a),a))
    return count


def op_eKVLGLHtfu(a):
    return op_LBL36x6Kn9(op_TL4A4O6lY8(op_YbUVn0Rbpy(115,a)))

def op_count_eKVLGLHtfu(a):
    count = op_count_YbUVn0Rbpy(115,a)+op_count_TL4A4O6lY8(op_YbUVn0Rbpy(115,a))+op_count_LBL36x6Kn9(op_TL4A4O6lY8(op_YbUVn0Rbpy(115,a)))
    return count


def op_v0keQ2Mslu(a):
    return op_UqFzSgLMvQ(op_x91QhENKPJ(a,a))

def op_count_v0keQ2Mslu(a):
    count = op_count_x91QhENKPJ(a,a)+op_count_UqFzSgLMvQ(op_x91QhENKPJ(a,a))
    return count


def op_V5nEiEXJ2m(a):
    return op_V1brnGXOUL(op_PrqwulTU5K(op_CqXKPLVYql(a)),op_j4geBLYVFK(op_hh4S7I0a8e(285,a)))

def op_count_V5nEiEXJ2m(a):
    count = op_count_CqXKPLVYql(a)+op_count_PrqwulTU5K(op_CqXKPLVYql(a))+op_count_hh4S7I0a8e(285,a)+op_count_j4geBLYVFK(op_hh4S7I0a8e(285,a))+op_count_V1brnGXOUL(op_PrqwulTU5K(op_CqXKPLVYql(a)),op_j4geBLYVFK(op_hh4S7I0a8e(285,a)))
    return count


def op_ted83A08Om(a):
    return op_eLxqMNBOBk(op_x5p3WF8YzS(a,a))

def op_count_ted83A08Om(a):
    count = op_count_x5p3WF8YzS(a,a)+op_count_eLxqMNBOBk(op_x5p3WF8YzS(a,a))
    return count


def op_f881mwBPz8(a):
    return op_PIKqUwW8wB(op_uoTFhueqY9(a,189))

def op_count_f881mwBPz8(a):
    count = op_count_uoTFhueqY9(a,189)+op_count_PIKqUwW8wB(op_uoTFhueqY9(a,189))
    return count


def op_iPZjPw8UvA(a):
    return op_jQIFa7kB8p(op_QDVgd2eftb(a,a),op_8ZudynJV7e(a))

def op_count_iPZjPw8UvA(a):
    count = op_count_QDVgd2eftb(a,a)+op_count_8ZudynJV7e(a)+op_count_jQIFa7kB8p(op_QDVgd2eftb(a,a),op_8ZudynJV7e(a))
    return count


def op_J0w9Gs8s4Y(a, b):
    return op_Qtd6bqUJcN(op_LsSU5mH3bX(a,b))

def op_count_J0w9Gs8s4Y(a, b):
    count = op_count_LsSU5mH3bX(a,b)+op_count_Qtd6bqUJcN(op_LsSU5mH3bX(a,b))
    return count


def op_KKKQDg6gKh(a, b):
    return op_pTwwK1ckmi(op_gub5Cegaqo(op_8CI59HBmeC(b,b),op_p8rocv1ccI(b,a)))

def op_count_KKKQDg6gKh(a, b):
    count = op_count_8CI59HBmeC(b,b)+op_count_p8rocv1ccI(b,a)+op_count_gub5Cegaqo(op_8CI59HBmeC(b,b),op_p8rocv1ccI(b,a))+op_count_pTwwK1ckmi(op_gub5Cegaqo(op_8CI59HBmeC(b,b),op_p8rocv1ccI(b,a)))
    return count


def op_Fwl24cKk9t(a):
    return op_y0qJaDkwff(op_UAZAhLH3kE(op_bars6Y1s1I(10,a),op_6Ac6Foig3G(603)),op_lYYgj615o2(op_dYBoAWDpSk(a,a),op_oxSU0Fg4Pf(a,607)))

def op_count_Fwl24cKk9t(a):
    count = op_count_bars6Y1s1I(10,a)+op_count_6Ac6Foig3G(603)+op_count_UAZAhLH3kE(op_bars6Y1s1I(10,a),op_6Ac6Foig3G(603))+op_count_dYBoAWDpSk(a,a)+op_count_oxSU0Fg4Pf(a,607)+op_count_lYYgj615o2(op_dYBoAWDpSk(a,a),op_oxSU0Fg4Pf(a,607))+op_count_y0qJaDkwff(op_UAZAhLH3kE(op_bars6Y1s1I(10,a),op_6Ac6Foig3G(603)),op_lYYgj615o2(op_dYBoAWDpSk(a,a),op_oxSU0Fg4Pf(a,607)))
    return count


def op_h37vUuUG8p(a):
    return op_bBWLhCymi1(op_0QEWQRhRpH(op_wdE3qrtzME(273),op_aLNRF0Pt4F(a,a)))

def op_count_h37vUuUG8p(a):
    count = op_count_wdE3qrtzME(273)+op_count_aLNRF0Pt4F(a,a)+op_count_0QEWQRhRpH(op_wdE3qrtzME(273),op_aLNRF0Pt4F(a,a))+op_count_bBWLhCymi1(op_0QEWQRhRpH(op_wdE3qrtzME(273),op_aLNRF0Pt4F(a,a)))
    return count


def op_N5n1JPscym(a):
    return op_2DlMacCsIx(503,a)

def op_count_N5n1JPscym(a):
    count = op_count_2DlMacCsIx(503,a)
    return count


def op_ZtycWGPq7F(a):
    return op_0JEjmizNXg(op_nDybdB13Ph(a,op_4KnvnEaVgu(a,a)),op_L95AwlJzhO(op_4ZyE98Jico(a,a)))

def op_count_ZtycWGPq7F(a):
    count = op_count_4KnvnEaVgu(a,a)+op_count_nDybdB13Ph(a,op_4KnvnEaVgu(a,a))+op_count_4ZyE98Jico(a,a)+op_count_L95AwlJzhO(op_4ZyE98Jico(a,a))+op_count_0JEjmizNXg(op_nDybdB13Ph(a,op_4KnvnEaVgu(a,a)),op_L95AwlJzhO(op_4ZyE98Jico(a,a)))
    return count


⨋↘a = { (((a⋪⪸a)⊰(a⩅⊤))⩼⫦⨐((a⊸⨥≭a)-∠(a∟))) }

def op_eoKQZE5iLa(a):
    return op_i5RbA8eqaO(op_S6anzDtGf9(op_7DoUD1Rkxi(a,a),op_RFEUBJbRkQ(a)),op_s0IfDFCCuZ(op_Y51oDxb2WH(a,a),op_hTbEZDJLEm(a)))

def op_count_eoKQZE5iLa(a):
    count = op_count_7DoUD1Rkxi(a,a)+op_count_RFEUBJbRkQ(a)+op_count_S6anzDtGf9(op_7DoUD1Rkxi(a,a),op_RFEUBJbRkQ(a))+op_count_Y51oDxb2WH(a,a)+op_count_hTbEZDJLEm(a)+op_count_s0IfDFCCuZ(op_Y51oDxb2WH(a,a),op_hTbEZDJLEm(a))+op_count_i5RbA8eqaO(op_S6anzDtGf9(op_7DoUD1Rkxi(a,a),op_RFEUBJbRkQ(a)),op_s0IfDFCCuZ(op_Y51oDxb2WH(a,a),op_hTbEZDJLEm(a)))
    return count


def op_JKUDcJ19AH(a, b):
    return op_ET0KLvfdmE(op_B7jD7820sf(b,a),op_NvEvKO2R8S(b,b))

def op_count_JKUDcJ19AH(a, b):
    count = op_count_B7jD7820sf(b,a)+op_count_NvEvKO2R8S(b,b)+op_count_ET0KLvfdmE(op_B7jD7820sf(b,a),op_NvEvKO2R8S(b,b))
    return count


def op_M0aAS45rfR(a, b):
    return op_lvlrscuwVU(op_eupb9vlVPb(b),op_UlBlWmOBXm(a,b))

def op_count_M0aAS45rfR(a, b):
    count = op_count_eupb9vlVPb(b)+op_count_UlBlWmOBXm(a,b)+op_count_lvlrscuwVU(op_eupb9vlVPb(b),op_UlBlWmOBXm(a,b))
    return count


def op_QZUd2qjpcJ(a, b):
    return op_JtoaZ7Wsrk(op_kvyeM8WEH2(b,a))

def op_count_QZUd2qjpcJ(a, b):
    count = op_count_kvyeM8WEH2(b,a)+op_count_JtoaZ7Wsrk(op_kvyeM8WEH2(b,a))
    return count


def op_yBIyVna2gu(a):
    return op_RXTe6wbwcz(op_4mnGiJ3ceb(a,a),op_eOf03JbCpp(247))

def op_count_yBIyVna2gu(a):
    count = op_count_4mnGiJ3ceb(a,a)+op_count_eOf03JbCpp(247)+op_count_RXTe6wbwcz(op_4mnGiJ3ceb(a,a),op_eOf03JbCpp(247))
    return count


⪍*∢a = { (((a⫏⋑a)↲√(a⩮≏⫤a))/∪((a⫽∀⋝a)⊌⋑(a⊱⫣a))) }

def op_TxTAKuYfb8(a):
    return op_7tsVghrNr2(op_g2BVzdiSOk(op_YJnbaRgmQd(a,a),op_fRd8cuFkMc(a,a)),op_SVgvZsl5LA(op_DN0PLaXpeG(a,a),op_lYYgj615o2(a,a)))

def op_count_TxTAKuYfb8(a):
    count = op_count_YJnbaRgmQd(a,a)+op_count_fRd8cuFkMc(a,a)+op_count_g2BVzdiSOk(op_YJnbaRgmQd(a,a),op_fRd8cuFkMc(a,a))+op_count_DN0PLaXpeG(a,a)+op_count_lYYgj615o2(a,a)+op_count_SVgvZsl5LA(op_DN0PLaXpeG(a,a),op_lYYgj615o2(a,a))+op_count_7tsVghrNr2(op_g2BVzdiSOk(op_YJnbaRgmQd(a,a),op_fRd8cuFkMc(a,a)),op_SVgvZsl5LA(op_DN0PLaXpeG(a,a),op_lYYgj615o2(a,a)))
    return count


def op_QHkoncfE54(a, b):
    return op_xlXykHWxX1(op_sBVsl3mEd7(op_Y8C8ozzXLe(b,265),op_ofsUmZRSmp(426,552)),op_XAozx2NkZN(op_8POb3bc2fl(b),op_Ph9nP6C5qx(a,366)))

def op_count_QHkoncfE54(a, b):
    count = op_count_Y8C8ozzXLe(b,265)+op_count_ofsUmZRSmp(426,552)+op_count_sBVsl3mEd7(op_Y8C8ozzXLe(b,265),op_ofsUmZRSmp(426,552))+op_count_8POb3bc2fl(b)+op_count_Ph9nP6C5qx(a,366)+op_count_XAozx2NkZN(op_8POb3bc2fl(b),op_Ph9nP6C5qx(a,366))+op_count_xlXykHWxX1(op_sBVsl3mEd7(op_Y8C8ozzXLe(b,265),op_ofsUmZRSmp(426,552)),op_XAozx2NkZN(op_8POb3bc2fl(b),op_Ph9nP6C5qx(a,366)))
    return count


a⋘⊽⋨b = { (((⊱∞118)⩼⫦⨐(a↼⇙⨌a))⨽⫍((∴∂∝746)≐⇃⇈(b⫳b))) }

def op_vHw4Ts2jdd(a, b):
    return op_ZMV0W12WVe(op_i5RbA8eqaO(op_4r9bMLtmr2(118),op_rMifWJgd3t(a,a)),op_TBD2yOIirL(op_EKO8KMgjXs(746),op_PVw4wBg8va(b,b)))

def op_count_vHw4Ts2jdd(a, b):
    count = op_count_4r9bMLtmr2(118)+op_count_rMifWJgd3t(a,a)+op_count_i5RbA8eqaO(op_4r9bMLtmr2(118),op_rMifWJgd3t(a,a))+op_count_EKO8KMgjXs(746)+op_count_PVw4wBg8va(b,b)+op_count_TBD2yOIirL(op_EKO8KMgjXs(746),op_PVw4wBg8va(b,b))+op_count_ZMV0W12WVe(op_i5RbA8eqaO(op_4r9bMLtmr2(118),op_rMifWJgd3t(a,a)),op_TBD2yOIirL(op_EKO8KMgjXs(746),op_PVw4wBg8va(b,b)))
    return count


def op_qUo4zOcGDe(a):
    return op_PIKqUwW8wB(op_PgomNjGXmI(op_HiPekx5b7W(a,a),op_z2JHNkvbdm(a,31)))

def op_count_qUo4zOcGDe(a):
    count = op_count_HiPekx5b7W(a,a)+op_count_z2JHNkvbdm(a,31)+op_count_PgomNjGXmI(op_HiPekx5b7W(a,a),op_z2JHNkvbdm(a,31))+op_count_PIKqUwW8wB(op_PgomNjGXmI(op_HiPekx5b7W(a,a),op_z2JHNkvbdm(a,31)))
    return count


def op_7QJ18pq9jF(a, b):
    return op_en8SqOBqg4(op_hTbEZDJLEm(b),a)

def op_count_7QJ18pq9jF(a, b):
    count = op_count_hTbEZDJLEm(b)+op_count_en8SqOBqg4(op_hTbEZDJLEm(b),a)
    return count


def op_rSsFt6Z740(a, b):
    return op_Noe24qw2ks(b,op_1NCu7utSrV(191,a))

def op_count_rSsFt6Z740(a, b):
    count = op_count_1NCu7utSrV(191,a)+op_count_Noe24qw2ks(b,op_1NCu7utSrV(191,a))
    return count


def op_qgQM5iRYIu(a):
    return op_ddLRYrp01A(584,a)

def op_count_qgQM5iRYIu(a):
    count = op_count_ddLRYrp01A(584,a)
    return count


def op_ukh9136rcV(a):
    return op_7VUZJnlIDY(op_bR7FmX73P0(595,a),op_QrPBJNmqe2(a))

def op_count_ukh9136rcV(a):
    count = op_count_bR7FmX73P0(595,a)+op_count_QrPBJNmqe2(a)+op_count_7VUZJnlIDY(op_bR7FmX73P0(595,a),op_QrPBJNmqe2(a))
    return count


def op_wPxcRGKgDw(a):
    return op_uFcxV4UQCh(a,145)

def op_count_wPxcRGKgDw(a):
    count = op_count_uFcxV4UQCh(a,145)
    return count


def op_H7HLHGjZ0C(a):
    return op_dUpriDnGP5(a,735)

def op_count_H7HLHGjZ0C(a):
    count = op_count_dUpriDnGP5(a,735)
    return count


def op_sRxm3lG5kW(a):
    return op_Ph9nP6C5qx(op_aBQ6xLxuTc(op_2pVi7WdxN8(a),op_Q2SPaKwpPJ(a,169)),op_C2eOkFrmjf(op_eWtgzN4EAB(474,889)))

def op_count_sRxm3lG5kW(a):
    count = op_count_2pVi7WdxN8(a)+op_count_Q2SPaKwpPJ(a,169)+op_count_aBQ6xLxuTc(op_2pVi7WdxN8(a),op_Q2SPaKwpPJ(a,169))+op_count_eWtgzN4EAB(474,889)+op_count_C2eOkFrmjf(op_eWtgzN4EAB(474,889))+op_count_Ph9nP6C5qx(op_aBQ6xLxuTc(op_2pVi7WdxN8(a),op_Q2SPaKwpPJ(a,169)),op_C2eOkFrmjf(op_eWtgzN4EAB(474,889)))
    return count


def op_q4xkxdBt2f(a, b):
    return op_0B27zlnmPH(op_BThhyOhh10(op_nDybdB13Ph(251,b)),a)

def op_count_q4xkxdBt2f(a, b):
    count = op_count_nDybdB13Ph(251,b)+op_count_BThhyOhh10(op_nDybdB13Ph(251,b))+op_count_0B27zlnmPH(op_BThhyOhh10(op_nDybdB13Ph(251,b)),a)
    return count


a⨬⫝̸⋏b = { ((⨃⫴(a⪄a))⫄⋒↱((1⫞⫛⩱b)⊻(b≦↬164))) }

def op_BXhbPCvB7N(a, b):
    return op_crtJ4cV1Co(op_XeoxXfbtOj(op_SUmda5xLS4(a,a)),op_exzyYvvvzF(op_zq8axvgV1G(1,b),op_z4Ajd36hBy(b,164)))

def op_count_BXhbPCvB7N(a, b):
    count = op_count_SUmda5xLS4(a,a)+op_count_XeoxXfbtOj(op_SUmda5xLS4(a,a))+op_count_zq8axvgV1G(1,b)+op_count_z4Ajd36hBy(b,164)+op_count_exzyYvvvzF(op_zq8axvgV1G(1,b),op_z4Ajd36hBy(b,164))+op_count_crtJ4cV1Co(op_XeoxXfbtOj(op_SUmda5xLS4(a,a)),op_exzyYvvvzF(op_zq8axvgV1G(1,b),op_z4Ajd36hBy(b,164)))
    return count


a⋕⫓⨞b = { (((a⋏⪄⋛a)⊾⪯⋞(a↪⪝))⫦⫋(⩎≅⪂(b↙⋥344))) }

def op_HTQeboLAuK(a, b):
    return op_2SUl30BnjX(op_HK0tfVPux8(op_VCoQhphGv5(a,a),op_l07mrZUIn9(a)),op_sMYUOxfc2s(op_k5AdHc7A76(b,344)))

def op_count_HTQeboLAuK(a, b):
    count = op_count_VCoQhphGv5(a,a)+op_count_l07mrZUIn9(a)+op_count_HK0tfVPux8(op_VCoQhphGv5(a,a),op_l07mrZUIn9(a))+op_count_k5AdHc7A76(b,344)+op_count_sMYUOxfc2s(op_k5AdHc7A76(b,344))+op_count_2SUl30BnjX(op_HK0tfVPux8(op_VCoQhphGv5(a,a),op_l07mrZUIn9(a)),op_sMYUOxfc2s(op_k5AdHc7A76(b,344)))
    return count


def op_bbX4jIjPYj(a):
    return op_nshroTv9ag(op_tGSeddj7UK(op_5p7zLdBmiR(a)))

def op_count_bbX4jIjPYj(a):
    count = op_count_5p7zLdBmiR(a)+op_count_tGSeddj7UK(op_5p7zLdBmiR(a))+op_count_nshroTv9ag(op_tGSeddj7UK(op_5p7zLdBmiR(a)))
    return count


def op_JZriJc1721(a):
    return op_lP51NIPzK8(op_xRrnTEsQ6j(a,a))

def op_count_JZriJc1721(a):
    count = op_count_xRrnTEsQ6j(a,a)+op_count_lP51NIPzK8(op_xRrnTEsQ6j(a,a))
    return count


def op_WVnl3WbuBY(a):
    return op_YEzomLoFTT(a,a)

def op_count_WVnl3WbuBY(a):
    count = op_count_YEzomLoFTT(a,a)
    return count


def op_sQCuBzcf58(a):
    return op_xlXykHWxX1(a,a)

def op_count_sQCuBzcf58(a):
    count = op_count_xlXykHWxX1(a,a)
    return count


def op_qPR9CLBYLk(a):
    return op_b71WJCI7uC(op_L05ObWFQCd(a,a),op_H7f1qksvrC(a))

def op_count_qPR9CLBYLk(a):
    count = op_count_L05ObWFQCd(a,a)+op_count_H7f1qksvrC(a)+op_count_b71WJCI7uC(op_L05ObWFQCd(a,a),op_H7f1qksvrC(a))
    return count


def op_sJTBqRh1mM(a):
    return op_jfAgQ2OQeM(op_P0o8L8MpVP(op_aBc3pQJR8T(a),op_PgomNjGXmI(a,a)))

def op_count_sJTBqRh1mM(a):
    count = op_count_aBc3pQJR8T(a)+op_count_PgomNjGXmI(a,a)+op_count_P0o8L8MpVP(op_aBc3pQJR8T(a),op_PgomNjGXmI(a,a))+op_count_jfAgQ2OQeM(op_P0o8L8MpVP(op_aBc3pQJR8T(a),op_PgomNjGXmI(a,a)))
    return count


def op_yBMPQYVuUQ(a):
    return op_aBQ6xLxuTc(a,a)

def op_count_yBMPQYVuUQ(a):
    count = op_count_aBQ6xLxuTc(a,a)
    return count


a⊂⇲b = { (((⨵a)⪘⊱⫆(a⇯⇋b))∝⋌⇬((a⇴≮⊋5)⇀⪽(b∠⨼≺171))) }

def op_QBXDJ7vvjN(a, b):
    return op_25jDJzUX4z(op_YjcqlNuJ4W(op_Tl3Y52tvF8(a),op_VwBdEydXvH(a,b)),op_2u38eHdNB5(op_1guADMLg5x(a,5),op_zF2h9d8EEQ(b,171)))

def op_count_QBXDJ7vvjN(a, b):
    count = op_count_Tl3Y52tvF8(a)+op_count_VwBdEydXvH(a,b)+op_count_YjcqlNuJ4W(op_Tl3Y52tvF8(a),op_VwBdEydXvH(a,b))+op_count_1guADMLg5x(a,5)+op_count_zF2h9d8EEQ(b,171)+op_count_2u38eHdNB5(op_1guADMLg5x(a,5),op_zF2h9d8EEQ(b,171))+op_count_25jDJzUX4z(op_YjcqlNuJ4W(op_Tl3Y52tvF8(a),op_VwBdEydXvH(a,b)),op_2u38eHdNB5(op_1guADMLg5x(a,5),op_zF2h9d8EEQ(b,171)))
    return count


↤⊃a = { (((a⫸⊐56)⩷∝⩞(a∲⫓a))≆⋉⩆((a∍)⋙≃≡(a⋥⊋))) }

def op_mYJ03cd9aS(a):
    return op_sHMtVDD4nv(op_5SK3UOPDfl(op_mqXw5SEYmG(a,56),op_i8ToyICDmI(a,a)),op_JkIVKoZPN2(op_n7wzm5Y2lV(a),op_GXGFZIUk1n(a)))

def op_count_mYJ03cd9aS(a):
    count = op_count_mqXw5SEYmG(a,56)+op_count_i8ToyICDmI(a,a)+op_count_5SK3UOPDfl(op_mqXw5SEYmG(a,56),op_i8ToyICDmI(a,a))+op_count_n7wzm5Y2lV(a)+op_count_GXGFZIUk1n(a)+op_count_JkIVKoZPN2(op_n7wzm5Y2lV(a),op_GXGFZIUk1n(a))+op_count_sHMtVDD4nv(op_5SK3UOPDfl(op_mqXw5SEYmG(a,56),op_i8ToyICDmI(a,a)),op_JkIVKoZPN2(op_n7wzm5Y2lV(a),op_GXGFZIUk1n(a)))
    return count


def op_WNQsNB10vU(a):
    return op_xrB6SlzufE(op_LMA9dqLka3(op_y75s1iXyHd(a,133),op_jLgFTUHLKL(a)),op_cqNFWGnuZT(op_jbrVa8FwMb(a,a)))

def op_count_WNQsNB10vU(a):
    count = op_count_y75s1iXyHd(a,133)+op_count_jLgFTUHLKL(a)+op_count_LMA9dqLka3(op_y75s1iXyHd(a,133),op_jLgFTUHLKL(a))+op_count_jbrVa8FwMb(a,a)+op_count_cqNFWGnuZT(op_jbrVa8FwMb(a,a))+op_count_xrB6SlzufE(op_LMA9dqLka3(op_y75s1iXyHd(a,133),op_jLgFTUHLKL(a)),op_cqNFWGnuZT(op_jbrVa8FwMb(a,a)))
    return count


a∏⨠ = { (((a⫨⩸⩜a)⫌⋠⫢(a⋟⨱a))⨮⊪⩳(≿⇫(a↤))) }

def op_RCaVxOOjgb(a):
    return op_xgYOZyJC4Q(op_mf9eRyN6Nh(op_IjGhTk7PpW(a,a),op_lN5Hu1ptA5(a,a)),op_3A1e9zoj8h(op_e8vy2cuFa5(a)))

def op_count_RCaVxOOjgb(a):
    count = op_count_IjGhTk7PpW(a,a)+op_count_lN5Hu1ptA5(a,a)+op_count_mf9eRyN6Nh(op_IjGhTk7PpW(a,a),op_lN5Hu1ptA5(a,a))+op_count_e8vy2cuFa5(a)+op_count_3A1e9zoj8h(op_e8vy2cuFa5(a))+op_count_xgYOZyJC4Q(op_mf9eRyN6Nh(op_IjGhTk7PpW(a,a),op_lN5Hu1ptA5(a,a)),op_3A1e9zoj8h(op_e8vy2cuFa5(a)))
    return count


a↣⫆ = { (((3⇸⨏a)⪦⨣⨀)↳((⇜≂≑a)⩻⇘⩦(237∌⋯a))) }

def op_ngj5U6CiL8(a):
    return op_K1uHWJv1IW(op_akRVkprNIi(op_oUXishvm7t(3,a)),op_BrdKLlllJJ(op_RFg3ArkQ7E(a),op_8lBC7wqBde(237,a)))

def op_count_ngj5U6CiL8(a):
    count = op_count_oUXishvm7t(3,a)+op_count_akRVkprNIi(op_oUXishvm7t(3,a))+op_count_RFg3ArkQ7E(a)+op_count_8lBC7wqBde(237,a)+op_count_BrdKLlllJJ(op_RFg3ArkQ7E(a),op_8lBC7wqBde(237,a))+op_count_K1uHWJv1IW(op_akRVkprNIi(op_oUXishvm7t(3,a)),op_BrdKLlllJJ(op_RFg3ArkQ7E(a),op_8lBC7wqBde(237,a)))
    return count


def op_ygCb31sq1A(a, b):
    return op_RZ5CV9rWsJ(op_4q4Wt1yQrE(a),op_j9qIIAB78T(b,a))

def op_count_ygCb31sq1A(a, b):
    count = op_count_4q4Wt1yQrE(a)+op_count_j9qIIAB78T(b,a)+op_count_RZ5CV9rWsJ(op_4q4Wt1yQrE(a),op_j9qIIAB78T(b,a))
    return count


def op_yrbAJIkRlL(a):
    return op_2u38eHdNB5(op_D2jTeYMLoz(a,a),op_GgGZ8wTyrz(a))

def op_count_yrbAJIkRlL(a):
    count = op_count_D2jTeYMLoz(a,a)+op_count_GgGZ8wTyrz(a)+op_count_2u38eHdNB5(op_D2jTeYMLoz(a,a),op_GgGZ8wTyrz(a))
    return count


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

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


def op_Fuz0oX5uPW(a, b):
    return op_Mok0FjNIvH(op_Bi9z9uYZqW(op_62W5FwqBqz(b)),op_gClX4CNEER(op_RBKPHo7Qd9(402,a),op_NvVuMKZTfI(525)))

def op_count_Fuz0oX5uPW(a, b):
    count = op_count_62W5FwqBqz(b)+op_count_Bi9z9uYZqW(op_62W5FwqBqz(b))+op_count_RBKPHo7Qd9(402,a)+op_count_NvVuMKZTfI(525)+op_count_gClX4CNEER(op_RBKPHo7Qd9(402,a),op_NvVuMKZTfI(525))+op_count_Mok0FjNIvH(op_Bi9z9uYZqW(op_62W5FwqBqz(b)),op_gClX4CNEER(op_RBKPHo7Qd9(402,a),op_NvVuMKZTfI(525)))
    return count


a⨀⩆ = { (((a⫒↣⫴a)⇊≒(a≓∲a))⪋⪉(⊬⇐(242⩕⩚⪺621))) }

def op_UtfA1HHN3b(a):
    return op_SWbPh9106B(op_eZ4iHVWETC(op_QNXKgMrj0w(a,a),op_s1XTVnmDOJ(a,a)),op_aRomWCf35x(op_6P75XYiP07(242,621)))

def op_count_UtfA1HHN3b(a):
    count = op_count_QNXKgMrj0w(a,a)+op_count_s1XTVnmDOJ(a,a)+op_count_eZ4iHVWETC(op_QNXKgMrj0w(a,a),op_s1XTVnmDOJ(a,a))+op_count_6P75XYiP07(242,621)+op_count_aRomWCf35x(op_6P75XYiP07(242,621))+op_count_SWbPh9106B(op_eZ4iHVWETC(op_QNXKgMrj0w(a,a),op_s1XTVnmDOJ(a,a)),op_aRomWCf35x(op_6P75XYiP07(242,621)))
    return count


def op_CSdivAzRnu(a):
    return op_YbUVn0Rbpy(op_5mOiYMN9gN(a,a),a)

def op_count_CSdivAzRnu(a):
    count = op_count_5mOiYMN9gN(a,a)+op_count_YbUVn0Rbpy(op_5mOiYMN9gN(a,a),a)
    return count


def op_eJKS3MyvMA(a):
    return op_dOyh8NTXcy(op_y1eBRRC36c(a,a))

def op_count_eJKS3MyvMA(a):
    count = op_count_y1eBRRC36c(a,a)+op_count_dOyh8NTXcy(op_y1eBRRC36c(a,a))
    return count


def op_09uKSMyqd9(a):
    return op_maNSbC2RxN(op_aCwnCp9fG4(op_bPRg614uub(158),op_3UMq87Qwqg(a)),op_I77jZxbMqF(op_oraRL2iQuh(a,a),op_FreGwbQ5tl(a,123)))

def op_count_09uKSMyqd9(a):
    count = op_count_bPRg614uub(158)+op_count_3UMq87Qwqg(a)+op_count_aCwnCp9fG4(op_bPRg614uub(158),op_3UMq87Qwqg(a))+op_count_oraRL2iQuh(a,a)+op_count_FreGwbQ5tl(a,123)+op_count_I77jZxbMqF(op_oraRL2iQuh(a,a),op_FreGwbQ5tl(a,123))+op_count_maNSbC2RxN(op_aCwnCp9fG4(op_bPRg614uub(158),op_3UMq87Qwqg(a)),op_I77jZxbMqF(op_oraRL2iQuh(a,a),op_FreGwbQ5tl(a,123)))
    return count


def op_agxF4Cl01F(a):
    return op_S6anzDtGf9(op_3DZMoQKiUl(op_P0o8L8MpVP(a,a)),op_jln2xDVLTl(op_avxXIHzjv1(a,a),a))

def op_count_agxF4Cl01F(a):
    count = op_count_P0o8L8MpVP(a,a)+op_count_3DZMoQKiUl(op_P0o8L8MpVP(a,a))+op_count_avxXIHzjv1(a,a)+op_count_jln2xDVLTl(op_avxXIHzjv1(a,a),a)+op_count_S6anzDtGf9(op_3DZMoQKiUl(op_P0o8L8MpVP(a,a)),op_jln2xDVLTl(op_avxXIHzjv1(a,a),a))
    return count


def op_iZ8bQENK8d(a):
    return op_2M7SKlOzyM(op_r42jg1nETI(op_Lif1LrMNxJ(a,41),op_WYdstNaOZK(a,a)),op_H0pizIJMoW(op_9tKT6PmtkH(a)))

def op_count_iZ8bQENK8d(a):
    count = op_count_Lif1LrMNxJ(a,41)+op_count_WYdstNaOZK(a,a)+op_count_r42jg1nETI(op_Lif1LrMNxJ(a,41),op_WYdstNaOZK(a,a))+op_count_9tKT6PmtkH(a)+op_count_H0pizIJMoW(op_9tKT6PmtkH(a))+op_count_2M7SKlOzyM(op_r42jg1nETI(op_Lif1LrMNxJ(a,41),op_WYdstNaOZK(a,a)),op_H0pizIJMoW(op_9tKT6PmtkH(a)))
    return count


def op_kR5rHuKjR1(a):
    return op_HsTbSIxlT7(op_ZG1KnpkPxw(a,a))

def op_count_kR5rHuKjR1(a):
    count = op_count_ZG1KnpkPxw(a,a)+op_count_HsTbSIxlT7(op_ZG1KnpkPxw(a,a))
    return count


def op_sm8iIlF2Az(a):
    return op_Dr4yJ0dQtH(op_mgxBsyfu3j(op_JuYqkVW9UL(a,a),a),op_VionArRWsA(a,op_sJAwomhLZr(a)))

def op_count_sm8iIlF2Az(a):
    count = op_count_JuYqkVW9UL(a,a)+op_count_mgxBsyfu3j(op_JuYqkVW9UL(a,a),a)+op_count_sJAwomhLZr(a)+op_count_VionArRWsA(a,op_sJAwomhLZr(a))+op_count_Dr4yJ0dQtH(op_mgxBsyfu3j(op_JuYqkVW9UL(a,a),a),op_VionArRWsA(a,op_sJAwomhLZr(a)))
    return count


def op_ap0aNJFa73(a):
    return op_YbUVn0Rbpy(285,a)

def op_count_ap0aNJFa73(a):
    count = op_count_YbUVn0Rbpy(285,a)
    return count


def op_hdxRyJ0QXN(a):
    return op_8YdTO89gQD(op_nbuSfrB4hB(a,op_E64sFOc4tB(7)),op_bT2YGab5tl(a,540))

def op_count_hdxRyJ0QXN(a):
    count = op_count_E64sFOc4tB(7)+op_count_nbuSfrB4hB(a,op_E64sFOc4tB(7))+op_count_bT2YGab5tl(a,540)+op_count_8YdTO89gQD(op_nbuSfrB4hB(a,op_E64sFOc4tB(7)),op_bT2YGab5tl(a,540))
    return count


def op_GnsM4LGUJk(a, b):
    return op_zoVUxTIMAa(op_qO3m3EJotg(op_i8i4Li6g16(b,a),op_OeanynyRyO(b,101)),op_nEsXyWgiOK(op_NsRBSK00Sa(b),op_54UxIFHdAV(a,163)))

def op_count_GnsM4LGUJk(a, b):
    count = op_count_i8i4Li6g16(b,a)+op_count_OeanynyRyO(b,101)+op_count_qO3m3EJotg(op_i8i4Li6g16(b,a),op_OeanynyRyO(b,101))+op_count_NsRBSK00Sa(b)+op_count_54UxIFHdAV(a,163)+op_count_nEsXyWgiOK(op_NsRBSK00Sa(b),op_54UxIFHdAV(a,163))+op_count_zoVUxTIMAa(op_qO3m3EJotg(op_i8i4Li6g16(b,a),op_OeanynyRyO(b,101)),op_nEsXyWgiOK(op_NsRBSK00Sa(b),op_54UxIFHdAV(a,163)))
    return count


a⊅⩭↦b = { (((a↑∊∴a)/(a⋇⋤⩬b))∏⇴((b↜⊷b)↹⫥(∴≂⋕b))) }

def op_OivqHXtoNJ(a, b):
    return op_Rw46J52cBJ(op_XhwjNDsVaA(op_pWXflaUkg0(a,a),op_XRKDgMSJta(a,b)),op_OSE2w6XS66(op_irKjLsMeKy(b,b),op_osk2rLiRrX(b)))

def op_count_OivqHXtoNJ(a, b):
    count = op_count_pWXflaUkg0(a,a)+op_count_XRKDgMSJta(a,b)+op_count_XhwjNDsVaA(op_pWXflaUkg0(a,a),op_XRKDgMSJta(a,b))+op_count_irKjLsMeKy(b,b)+op_count_osk2rLiRrX(b)+op_count_OSE2w6XS66(op_irKjLsMeKy(b,b),op_osk2rLiRrX(b))+op_count_Rw46J52cBJ(op_XhwjNDsVaA(op_pWXflaUkg0(a,a),op_XRKDgMSJta(a,b)),op_OSE2w6XS66(op_irKjLsMeKy(b,b),op_osk2rLiRrX(b)))
    return count


def op_B8KvBcUGrH(a):
    return op_QwQ0bohp01(op_Gl4WN4Uwdx(a,a))

def op_count_B8KvBcUGrH(a):
    count = op_count_Gl4WN4Uwdx(a,a)+op_count_QwQ0bohp01(op_Gl4WN4Uwdx(a,a))
    return count


def op_0HAz9oAufV(a):
    return op_ZvLB05nZmT(op_k2B77S3vSv(op_8CI59HBmeC(a,890)),op_d3r8Dqe6Dv(op_i8ToyICDmI(a,a)))

def op_count_0HAz9oAufV(a):
    count = op_count_8CI59HBmeC(a,890)+op_count_k2B77S3vSv(op_8CI59HBmeC(a,890))+op_count_i8ToyICDmI(a,a)+op_count_d3r8Dqe6Dv(op_i8ToyICDmI(a,a))+op_count_ZvLB05nZmT(op_k2B77S3vSv(op_8CI59HBmeC(a,890)),op_d3r8Dqe6Dv(op_i8ToyICDmI(a,a)))
    return count


def op_2GDOgFGy2a(a):
    return op_jtBAKJz2S7(op_YfD4cHFEui(a),op_kVSeQakJeK(op_XFw8Sin97h(a,a),op_kn8WO9XteQ(a,a)))

def op_count_2GDOgFGy2a(a):
    count = op_count_YfD4cHFEui(a)+op_count_XFw8Sin97h(a,a)+op_count_kn8WO9XteQ(a,a)+op_count_kVSeQakJeK(op_XFw8Sin97h(a,a),op_kn8WO9XteQ(a,a))+op_count_jtBAKJz2S7(op_YfD4cHFEui(a),op_kVSeQakJeK(op_XFw8Sin97h(a,a),op_kn8WO9XteQ(a,a)))
    return count


def op_5FjIgZbP1r(a):
    return op_UkFG6YBLyt(op_Bi9z9uYZqW(a),a)

def op_count_5FjIgZbP1r(a):
    count = op_count_Bi9z9uYZqW(a)+op_count_UkFG6YBLyt(op_Bi9z9uYZqW(a),a)
    return count


def op_y3iNXVbAWc(a):
    return op_lhONkfYInr(op_ODFdAPCKMa(a,a),op_rJVOvQCfKK(a,a))

def op_count_y3iNXVbAWc(a):
    count = op_count_ODFdAPCKMa(a,a)+op_count_rJVOvQCfKK(a,a)+op_count_lhONkfYInr(op_ODFdAPCKMa(a,a),op_rJVOvQCfKK(a,a))
    return count


def op_MYq3vsLisk(a):
    return op_S0xevmWjPz(op_xlXykHWxX1(op_lPY5QE4vSP(a,a),op_kzp3oYQzRT(a,a)))

def op_count_MYq3vsLisk(a):
    count = op_count_lPY5QE4vSP(a,a)+op_count_kzp3oYQzRT(a,a)+op_count_xlXykHWxX1(op_lPY5QE4vSP(a,a),op_kzp3oYQzRT(a,a))+op_count_S0xevmWjPz(op_xlXykHWxX1(op_lPY5QE4vSP(a,a),op_kzp3oYQzRT(a,a)))
    return count


def op_sjDgUkA1xV(a):
    return op_jWTQ2TZYIH(a,a)

def op_count_sjDgUkA1xV(a):
    count = op_count_jWTQ2TZYIH(a,a)
    return count


a⊆⨟b = { (((a⊖⊬∳a)⪙⇔(⪝⪂⫅b))⩋⩃-((⫊≒≼326)⋯↤(b⋟⫀⨗a))) }

def op_oXiaJt2W9u(a, b):
    return op_PQ5jInepzR(op_HtfiQVUMWI(op_xonniTcBY0(a,a),op_XTarYq4gQB(b)),op_AqWwJ29PGN(op_8Rbqmg3L2h(326),op_dAAkup5nzi(b,a)))

def op_count_oXiaJt2W9u(a, b):
    count = op_count_xonniTcBY0(a,a)+op_count_XTarYq4gQB(b)+op_count_HtfiQVUMWI(op_xonniTcBY0(a,a),op_XTarYq4gQB(b))+op_count_8Rbqmg3L2h(326)+op_count_dAAkup5nzi(b,a)+op_count_AqWwJ29PGN(op_8Rbqmg3L2h(326),op_dAAkup5nzi(b,a))+op_count_PQ5jInepzR(op_HtfiQVUMWI(op_xonniTcBY0(a,a),op_XTarYq4gQB(b)),op_AqWwJ29PGN(op_8Rbqmg3L2h(326),op_dAAkup5nzi(b,a)))
    return count


def op_jiGrIxHIww(a):
    return op_jyxETRFrfc(op_VDo68Vv9Oy(op_GMrB5OisJT(a)),op_PQ5jInepzR(a,op_1v5pUZ2RLP(a,a)))

def op_count_jiGrIxHIww(a):
    count = op_count_GMrB5OisJT(a)+op_count_VDo68Vv9Oy(op_GMrB5OisJT(a))+op_count_1v5pUZ2RLP(a,a)+op_count_PQ5jInepzR(a,op_1v5pUZ2RLP(a,a))+op_count_jyxETRFrfc(op_VDo68Vv9Oy(op_GMrB5OisJT(a)),op_PQ5jInepzR(a,op_1v5pUZ2RLP(a,a)))
    return count


a⪶≂⩒b = { (((⪾⪫a)⊰(b∋≞a))↔⫤⩊((⩂∖⫠b)⪘⫢651)) }

def op_rPxV9L2jhK(a, b):
    return op_bBEzQ2IhFN(op_S6anzDtGf9(op_vFgX83MrL4(a),op_F3ZYW0Xs6y(b,a)),op_oacrs7FA3X(op_Utw2DgmeAM(b),651))

def op_count_rPxV9L2jhK(a, b):
    count = op_count_vFgX83MrL4(a)+op_count_F3ZYW0Xs6y(b,a)+op_count_S6anzDtGf9(op_vFgX83MrL4(a),op_F3ZYW0Xs6y(b,a))+op_count_Utw2DgmeAM(b)+op_count_oacrs7FA3X(op_Utw2DgmeAM(b),651)+op_count_bBEzQ2IhFN(op_S6anzDtGf9(op_vFgX83MrL4(a),op_F3ZYW0Xs6y(b,a)),op_oacrs7FA3X(op_Utw2DgmeAM(b),651))
    return count


a⋷⪹ = { (((a⊎←↗)⨒(⇂⊀⊇a))/∪((a⫾142)∰⋭(⫡⪳⋧a))) }

def op_jZ0UX275M9(a):
    return op_7tsVghrNr2(op_y75s1iXyHd(op_dwb5p0fa6d(a),op_GmudKkMXyQ(a)),op_qeG8mGoQOE(op_7JbuLsbBtx(a,142),op_wxnXcgpbVF(a)))

def op_count_jZ0UX275M9(a):
    count = op_count_dwb5p0fa6d(a)+op_count_GmudKkMXyQ(a)+op_count_y75s1iXyHd(op_dwb5p0fa6d(a),op_GmudKkMXyQ(a))+op_count_7JbuLsbBtx(a,142)+op_count_wxnXcgpbVF(a)+op_count_qeG8mGoQOE(op_7JbuLsbBtx(a,142),op_wxnXcgpbVF(a))+op_count_7tsVghrNr2(op_y75s1iXyHd(op_dwb5p0fa6d(a),op_GmudKkMXyQ(a)),op_qeG8mGoQOE(op_7JbuLsbBtx(a,142),op_wxnXcgpbVF(a)))
    return count


⨟⇸a = { (((a⩿⩜a)⨺⇙(a⊭a))⫕((a⊤⨋≘a)≫(⨎⪎a))) }

def op_1hwl9Xb5U6(a):
    return op_6CTfL9kIPY(op_cYEGcM02R4(op_jeyBgv6tGe(a,a),op_4JGOJzXMq1(a,a)),op_fjIpuvyOFL(op_KiBGhu83fR(a,a),op_1M6MJr8P6q(a)))

def op_count_1hwl9Xb5U6(a):
    count = op_count_jeyBgv6tGe(a,a)+op_count_4JGOJzXMq1(a,a)+op_count_cYEGcM02R4(op_jeyBgv6tGe(a,a),op_4JGOJzXMq1(a,a))+op_count_KiBGhu83fR(a,a)+op_count_1M6MJr8P6q(a)+op_count_fjIpuvyOFL(op_KiBGhu83fR(a,a),op_1M6MJr8P6q(a))+op_count_6CTfL9kIPY(op_cYEGcM02R4(op_jeyBgv6tGe(a,a),op_4JGOJzXMq1(a,a)),op_fjIpuvyOFL(op_KiBGhu83fR(a,a),op_1M6MJr8P6q(a)))
    return count


def op_wMUvlF4yLL(a):
    return op_OkeBNI2wuD(a,op_7LD8LOvptt(op_QrPBJNmqe2(a),op_E64sFOc4tB(a)))

def op_count_wMUvlF4yLL(a):
    count = op_count_QrPBJNmqe2(a)+op_count_E64sFOc4tB(a)+op_count_7LD8LOvptt(op_QrPBJNmqe2(a),op_E64sFOc4tB(a))+op_count_OkeBNI2wuD(a,op_7LD8LOvptt(op_QrPBJNmqe2(a),op_E64sFOc4tB(a)))
    return count