def op_YA9ZD7yxyr(a):
    return op_2GS7woTJqF(op_C6VvDP6HwP(a),op_FyVja0WsTP(265,a))

def op_count_YA9ZD7yxyr(a):
    count = op_count_C6VvDP6HwP(a)+op_count_FyVja0WsTP(265,a)+op_count_2GS7woTJqF(op_C6VvDP6HwP(a),op_FyVja0WsTP(265,a))
    return count


def op_fSK1Ij18jp(a):
    return op_cTDWOvIxvz(op_nbuSfrB4hB(op_Y5cEcQhyKu(a,343),op_eewbuw0ToL(a,a)),op_2O29ZX4yK6(op_KFSx94NKJn(597,a)))

def op_count_fSK1Ij18jp(a):
    count = op_count_Y5cEcQhyKu(a,343)+op_count_eewbuw0ToL(a,a)+op_count_nbuSfrB4hB(op_Y5cEcQhyKu(a,343),op_eewbuw0ToL(a,a))+op_count_KFSx94NKJn(597,a)+op_count_2O29ZX4yK6(op_KFSx94NKJn(597,a))+op_count_cTDWOvIxvz(op_nbuSfrB4hB(op_Y5cEcQhyKu(a,343),op_eewbuw0ToL(a,a)),op_2O29ZX4yK6(op_KFSx94NKJn(597,a)))
    return count


a⇦↡⇅b = { (((b≋⫹)⊝⪿⪼(21⩜⩌))⪨≂((b⋷b)⫯⪬∳(⊙⨙⩍a))) }

def op_Metdo7PNA5(a, b):
    return op_sdazOOVcIp(op_3Oe9XWJUTD(op_N41Kp7NANJ(b),op_2DRhT6gtPg(21)),op_d7ASUq0ydm(op_23Mk6UjR3U(b,b),op_ocpzidtxKt(a)))

def op_count_Metdo7PNA5(a, b):
    count = op_count_N41Kp7NANJ(b)+op_count_2DRhT6gtPg(21)+op_count_3Oe9XWJUTD(op_N41Kp7NANJ(b),op_2DRhT6gtPg(21))+op_count_23Mk6UjR3U(b,b)+op_count_ocpzidtxKt(a)+op_count_d7ASUq0ydm(op_23Mk6UjR3U(b,b),op_ocpzidtxKt(a))+op_count_sdazOOVcIp(op_3Oe9XWJUTD(op_N41Kp7NANJ(b),op_2DRhT6gtPg(21)),op_d7ASUq0ydm(op_23Mk6UjR3U(b,b),op_ocpzidtxKt(a)))
    return count


a≯⊼b = { (((∨⫘⊿b)⨜⨶(a⪨⊡857))∊⊞≈(⪷∈↠(b⋳⪒a))) }

def op_6LEqcG83L6(a, b):
    return op_keuJNkrrbj(op_HiPekx5b7W(op_qxp9F1VMeC(b),op_kuIXHzHcAH(a,857)),op_Kn0TacbtGK(op_12rbrZMWeM(b,a)))

def op_count_6LEqcG83L6(a, b):
    count = op_count_qxp9F1VMeC(b)+op_count_kuIXHzHcAH(a,857)+op_count_HiPekx5b7W(op_qxp9F1VMeC(b),op_kuIXHzHcAH(a,857))+op_count_12rbrZMWeM(b,a)+op_count_Kn0TacbtGK(op_12rbrZMWeM(b,a))+op_count_keuJNkrrbj(op_HiPekx5b7W(op_qxp9F1VMeC(b),op_kuIXHzHcAH(a,857)),op_Kn0TacbtGK(op_12rbrZMWeM(b,a)))
    return count


def op_Xz3f2isirc(a):
    return op_zFNL8mZEFB(a,op_4JGOJzXMq1(op_1h0rLqGiFr(a),op_eLAdDNolq6(a)))

def op_count_Xz3f2isirc(a):
    count = op_count_1h0rLqGiFr(a)+op_count_eLAdDNolq6(a)+op_count_4JGOJzXMq1(op_1h0rLqGiFr(a),op_eLAdDNolq6(a))+op_count_zFNL8mZEFB(a,op_4JGOJzXMq1(op_1h0rLqGiFr(a),op_eLAdDNolq6(a)))
    return count


def op_LhKFc5N9Ux(a):
    return op_keuJNkrrbj(op_s0IfDFCCuZ(a,a),op_j9kHMeSvPp(12,a))

def op_count_LhKFc5N9Ux(a):
    count = op_count_s0IfDFCCuZ(a,a)+op_count_j9kHMeSvPp(12,a)+op_count_keuJNkrrbj(op_s0IfDFCCuZ(a,a),op_j9kHMeSvPp(12,a))
    return count


def op_V6Jx2GZwDH(a, b):
    return op_neKQRQQIil(op_R3vAdrE3IH(b),op_zR4jO40bMj(83,a))

def op_count_V6Jx2GZwDH(a, b):
    count = op_count_R3vAdrE3IH(b)+op_count_zR4jO40bMj(83,a)+op_count_neKQRQQIil(op_R3vAdrE3IH(b),op_zR4jO40bMj(83,a))
    return count


def op_bgrn5wBzt5(a):
    return op_Lhk0YGb717(op_KYL1uVeVpb(31,a))

def op_count_bgrn5wBzt5(a):
    count = op_count_KYL1uVeVpb(31,a)+op_count_Lhk0YGb717(op_KYL1uVeVpb(31,a))
    return count


def op_grul1N2qWA(a, b):
    return op_6LuFrogppQ(op_g55IO6H4Gj(op_bPywburJMS(b,a),op_z2JHNkvbdm(a,17)))

def op_count_grul1N2qWA(a, b):
    count = op_count_bPywburJMS(b,a)+op_count_z2JHNkvbdm(a,17)+op_count_g55IO6H4Gj(op_bPywburJMS(b,a),op_z2JHNkvbdm(a,17))+op_count_6LuFrogppQ(op_g55IO6H4Gj(op_bPywburJMS(b,a),op_z2JHNkvbdm(a,17)))
    return count


def op_UVnQJJCKJU(a):
    return op_tifHPKVTfV(35,a)

def op_count_UVnQJJCKJU(a):
    count = op_count_tifHPKVTfV(35,a)
    return count


def op_PplyNE1LRy(a):
    return op_dAAkup5nzi(a,a)

def op_count_PplyNE1LRy(a):
    count = op_count_dAAkup5nzi(a,a)
    return count


def op_HLtJe7OQfK(a):
    return op_COABgblf1C(op_HiPekx5b7W(a,a),op_w2P8NbNXyL(a,a))

def op_count_HLtJe7OQfK(a):
    count = op_count_HiPekx5b7W(a,a)+op_count_w2P8NbNXyL(a,a)+op_count_COABgblf1C(op_HiPekx5b7W(a,a),op_w2P8NbNXyL(a,a))
    return count


def op_z8rWMcl4RZ(a):
    return op_xRrnTEsQ6j(op_8w2t5hMYqp(a),a)

def op_count_z8rWMcl4RZ(a):
    count = op_count_8w2t5hMYqp(a)+op_count_xRrnTEsQ6j(op_8w2t5hMYqp(a),a)
    return count


def op_3njL6DR0ZL(a):
    return op_gx7XJ7hdpj(op_irKjLsMeKy(op_oPMjh9089D(111),op_U6pG0PXrV3(a)),op_bl5wxAcryP(op_6o9Blt3TJ6(a,a)))

def op_count_3njL6DR0ZL(a):
    count = op_count_oPMjh9089D(111)+op_count_U6pG0PXrV3(a)+op_count_irKjLsMeKy(op_oPMjh9089D(111),op_U6pG0PXrV3(a))+op_count_6o9Blt3TJ6(a,a)+op_count_bl5wxAcryP(op_6o9Blt3TJ6(a,a))+op_count_gx7XJ7hdpj(op_irKjLsMeKy(op_oPMjh9089D(111),op_U6pG0PXrV3(a)),op_bl5wxAcryP(op_6o9Blt3TJ6(a,a)))
    return count


a*⊌↸ = { (((a⪍)⊒a)⪭((a⩤∜↚94)⩌(a⋰⇉∕a))) }

def op_yQ0cYmQ85n(a):
    return op_j9kHMeSvPp(op_rPNtK4BLRO(op_SHWCOp9I4E(a),a),op_UoVew8f2p2(op_KROiRRz3d6(a,94),op_sM9mzqIDB1(a,a)))

def op_count_yQ0cYmQ85n(a):
    count = op_count_SHWCOp9I4E(a)+op_count_rPNtK4BLRO(op_SHWCOp9I4E(a),a)+op_count_KROiRRz3d6(a,94)+op_count_sM9mzqIDB1(a,a)+op_count_UoVew8f2p2(op_KROiRRz3d6(a,94),op_sM9mzqIDB1(a,a))+op_count_j9kHMeSvPp(op_rPNtK4BLRO(op_SHWCOp9I4E(a),a),op_UoVew8f2p2(op_KROiRRz3d6(a,94),op_sM9mzqIDB1(a,a)))
    return count


a⪋↯b = { ((⋄(a⇴a))⋟⫀⨗((b∑b)∇⊂⋱(a-∠38))) }

def op_zDWB6XqCFD(a, b):
    return op_dAAkup5nzi(op_k2B77S3vSv(op_4JB6nKBMSY(a,a)),op_nhYeJWJD5X(op_JFrVJKYFMX(b,b),op_s0IfDFCCuZ(a,38)))

def op_count_zDWB6XqCFD(a, b):
    count = op_count_4JB6nKBMSY(a,a)+op_count_k2B77S3vSv(op_4JB6nKBMSY(a,a))+op_count_JFrVJKYFMX(b,b)+op_count_s0IfDFCCuZ(a,38)+op_count_nhYeJWJD5X(op_JFrVJKYFMX(b,b),op_s0IfDFCCuZ(a,38))+op_count_dAAkup5nzi(op_k2B77S3vSv(op_4JB6nKBMSY(a,a)),op_nhYeJWJD5X(op_JFrVJKYFMX(b,b),op_s0IfDFCCuZ(a,38)))
    return count


a⋰b = { (((a⫦∱⫙)⫶(a⇄a))⫸((b⇛a)≽⪈↿(a⋎a))) }

def op_lDgtejlvTV(a, b):
    return op_Qaz2MhZaG5(op_BAIXFdYaz3(op_tHMVLcQ9bH(a),op_3EYGwJThht(a,a)),op_inCIaGQf8u(op_S3tN1ZzpSt(b,a),op_qy3n0tapmE(a,a)))

def op_count_lDgtejlvTV(a, b):
    count = op_count_tHMVLcQ9bH(a)+op_count_3EYGwJThht(a,a)+op_count_BAIXFdYaz3(op_tHMVLcQ9bH(a),op_3EYGwJThht(a,a))+op_count_S3tN1ZzpSt(b,a)+op_count_qy3n0tapmE(a,a)+op_count_inCIaGQf8u(op_S3tN1ZzpSt(b,a),op_qy3n0tapmE(a,a))+op_count_Qaz2MhZaG5(op_BAIXFdYaz3(op_tHMVLcQ9bH(a),op_3EYGwJThht(a,a)),op_inCIaGQf8u(op_S3tN1ZzpSt(b,a),op_qy3n0tapmE(a,a)))
    return count


def op_tx9xvuZCgf(a):
    return op_1aApVXNlOP(a,a)

def op_count_tx9xvuZCgf(a):
    count = op_count_1aApVXNlOP(a,a)
    return count


a≱∛b = { (((b∘a)+(⫦≽⪐a))⪕(⨂⪏⇭(36⇌⫙⪟a))) }

def op_qFXstJKlZD(a, b):
    return op_umQnsF7QlU(op_W4YGzv6Whe(op_Z5m6OM72h2(b,a),op_fjqJgF5yyp(a)),op_AYdpE9sXAk(op_AFVx7xoS7T(36,a)))

def op_count_qFXstJKlZD(a, b):
    count = op_count_Z5m6OM72h2(b,a)+op_count_fjqJgF5yyp(a)+op_count_W4YGzv6Whe(op_Z5m6OM72h2(b,a),op_fjqJgF5yyp(a))+op_count_AFVx7xoS7T(36,a)+op_count_AYdpE9sXAk(op_AFVx7xoS7T(36,a))+op_count_umQnsF7QlU(op_W4YGzv6Whe(op_Z5m6OM72h2(b,a),op_fjqJgF5yyp(a)),op_AYdpE9sXAk(op_AFVx7xoS7T(36,a)))
    return count


def op_RBKPHo7Qd9(a, b):
    return op_qAljGMXEZr(op_GMyVS5K48T(b,a))

def op_count_RBKPHo7Qd9(a, b):
    count = op_count_GMyVS5K48T(b,a)+op_count_qAljGMXEZr(op_GMyVS5K48T(b,a))
    return count


⪻⇥a = { (((353∿⫑≎a)⊭(↸⊣a))⪚((a⊲⩕⊾a)↢(≈a))) }

def op_kaeRoPDD5o(a):
    return op_HrjLwUk87U(op_4JGOJzXMq1(op_ar1w6gUwHX(353,a),op_wztAlM01eG(a)),op_WR6HLWljOP(op_DmTXOeWf9t(a,a),op_EO7Xdgo9So(a)))

def op_count_kaeRoPDD5o(a):
    count = op_count_ar1w6gUwHX(353,a)+op_count_wztAlM01eG(a)+op_count_4JGOJzXMq1(op_ar1w6gUwHX(353,a),op_wztAlM01eG(a))+op_count_DmTXOeWf9t(a,a)+op_count_EO7Xdgo9So(a)+op_count_WR6HLWljOP(op_DmTXOeWf9t(a,a),op_EO7Xdgo9So(a))+op_count_HrjLwUk87U(op_4JGOJzXMq1(op_ar1w6gUwHX(353,a),op_wztAlM01eG(a)),op_WR6HLWljOP(op_DmTXOeWf9t(a,a),op_EO7Xdgo9So(a)))
    return count


a⋇⋤⩬b = { (((b⊱⇼⊻b)∲⫑(a⪨⊡a))⫃⨇((⩗⪄b)⊉↱≁b)) }

def op_XRKDgMSJta(a, b):
    return op_09Ly4LVMIf(op_NrdPCfJQiM(op_FyVja0WsTP(b,b),op_kuIXHzHcAH(a,a)),op_w2P8NbNXyL(op_Y9dhGmbGii(b),b))

def op_count_XRKDgMSJta(a, b):
    count = op_count_FyVja0WsTP(b,b)+op_count_kuIXHzHcAH(a,a)+op_count_NrdPCfJQiM(op_FyVja0WsTP(b,b),op_kuIXHzHcAH(a,a))+op_count_Y9dhGmbGii(b)+op_count_w2P8NbNXyL(op_Y9dhGmbGii(b),b)+op_count_09Ly4LVMIf(op_NrdPCfJQiM(op_FyVja0WsTP(b,b),op_kuIXHzHcAH(a,a)),op_w2P8NbNXyL(op_Y9dhGmbGii(b),b))
    return count


def op_IqadpPahGY(a):
    return op_4JGOJzXMq1(op_KaSTSbOewx(op_GMN7JP6WpN(a,a)),op_Api82iH42a(op_HrjLwUk87U(a,a),op_KED7KUUlGq(a)))

def op_count_IqadpPahGY(a):
    count = op_count_GMN7JP6WpN(a,a)+op_count_KaSTSbOewx(op_GMN7JP6WpN(a,a))+op_count_HrjLwUk87U(a,a)+op_count_KED7KUUlGq(a)+op_count_Api82iH42a(op_HrjLwUk87U(a,a),op_KED7KUUlGq(a))+op_count_4JGOJzXMq1(op_KaSTSbOewx(op_GMN7JP6WpN(a,a)),op_Api82iH42a(op_HrjLwUk87U(a,a),op_KED7KUUlGq(a)))
    return count


def op_mgxBsyfu3j(a, b):
    return op_g55IO6H4Gj(op_rysDP5nf3Z(op_AFVx7xoS7T(a,a),op_KPf6cnQVty(809,135)),b)

def op_count_mgxBsyfu3j(a, b):
    count = op_count_AFVx7xoS7T(a,a)+op_count_KPf6cnQVty(809,135)+op_count_rysDP5nf3Z(op_AFVx7xoS7T(a,a),op_KPf6cnQVty(809,135))+op_count_g55IO6H4Gj(op_rysDP5nf3Z(op_AFVx7xoS7T(a,a),op_KPf6cnQVty(809,135)),b)
    return count


def op_RQrPGIk0z5(a, b):
    return op_0kmYd0q39Y(op_4JB6nKBMSY(op_V4yb4KDoeF(772,b),op_pRsWfj4Fpp(64)),op_3EYGwJThht(op_ocnLzx9CaJ(b,a),op_HQuZ2f4It9(11)))

def op_count_RQrPGIk0z5(a, b):
    count = op_count_V4yb4KDoeF(772,b)+op_count_pRsWfj4Fpp(64)+op_count_4JB6nKBMSY(op_V4yb4KDoeF(772,b),op_pRsWfj4Fpp(64))+op_count_ocnLzx9CaJ(b,a)+op_count_HQuZ2f4It9(11)+op_count_3EYGwJThht(op_ocnLzx9CaJ(b,a),op_HQuZ2f4It9(11))+op_count_0kmYd0q39Y(op_4JB6nKBMSY(op_V4yb4KDoeF(772,b),op_pRsWfj4Fpp(64)),op_3EYGwJThht(op_ocnLzx9CaJ(b,a),op_HQuZ2f4It9(11)))
    return count


def op_Yokc098djA(a):
    return op_4JGOJzXMq1(a,op_pjdzZ5rP1Y(a))

def op_count_Yokc098djA(a):
    count = op_count_pjdzZ5rP1Y(a)+op_count_4JGOJzXMq1(a,op_pjdzZ5rP1Y(a))
    return count


def op_9xyjPV1ThU(a):
    return op_8w2t5hMYqp(op_u6S6b8DprG(op_tmjFFOTKyA(a)))

def op_count_9xyjPV1ThU(a):
    count = op_count_tmjFFOTKyA(a)+op_count_u6S6b8DprG(op_tmjFFOTKyA(a))+op_count_8w2t5hMYqp(op_u6S6b8DprG(op_tmjFFOTKyA(a)))
    return count


def op_DGaPNBDRHg(a):
    return op_tfWHHpNKUN(op_HiPekx5b7W(a,a))

def op_count_DGaPNBDRHg(a):
    count = op_count_HiPekx5b7W(a,a)+op_count_tfWHHpNKUN(op_HiPekx5b7W(a,a))
    return count


a⊠≚ = { (((⇝⋾⇵a)≼(a⇐≅))⊝⪿⪼((a∏⇴a)⪕(a⨸⪁57))) }

def op_qjgYn8mE1J(a):
    return op_3Oe9XWJUTD(op_SPuZE40Ntn(op_6l7ULzJsnZ(a),op_wEfv7U73WA(a)),op_umQnsF7QlU(op_Rw46J52cBJ(a,a),op_g55IO6H4Gj(a,57)))

def op_count_qjgYn8mE1J(a):
    count = op_count_6l7ULzJsnZ(a)+op_count_wEfv7U73WA(a)+op_count_SPuZE40Ntn(op_6l7ULzJsnZ(a),op_wEfv7U73WA(a))+op_count_Rw46J52cBJ(a,a)+op_count_g55IO6H4Gj(a,57)+op_count_umQnsF7QlU(op_Rw46J52cBJ(a,a),op_g55IO6H4Gj(a,57))+op_count_3Oe9XWJUTD(op_SPuZE40Ntn(op_6l7ULzJsnZ(a),op_wEfv7U73WA(a)),op_umQnsF7QlU(op_Rw46J52cBJ(a,a),op_g55IO6H4Gj(a,57)))
    return count


⊺⋁a = { (((17⪖⪡a)⨑⋨(∋∴a))⪍↜⋙((a⨽⪊≇)⊵(a⇼⇔∾a))) }

def op_KjNsPzIR1g(a):
    return op_L05ObWFQCd(op_tIhPxZTbsh(op_7PjNe5qSIJ(17,a),op_nouZ5SZjt1(a)),op_eaFBhJ0Uku(op_nlCqmYiOvY(a),op_tifHPKVTfV(a,a)))

def op_count_KjNsPzIR1g(a):
    count = op_count_7PjNe5qSIJ(17,a)+op_count_nouZ5SZjt1(a)+op_count_tIhPxZTbsh(op_7PjNe5qSIJ(17,a),op_nouZ5SZjt1(a))+op_count_nlCqmYiOvY(a)+op_count_tifHPKVTfV(a,a)+op_count_eaFBhJ0Uku(op_nlCqmYiOvY(a),op_tifHPKVTfV(a,a))+op_count_L05ObWFQCd(op_tIhPxZTbsh(op_7PjNe5qSIJ(17,a),op_nouZ5SZjt1(a)),op_eaFBhJ0Uku(op_nlCqmYiOvY(a),op_tifHPKVTfV(a,a)))
    return count


def op_PTnGWba0sW(a):
    return op_aSik1wnThz(op_64EQ39e0fC(a,a))

def op_count_PTnGWba0sW(a):
    count = op_count_64EQ39e0fC(a,a)+op_count_aSik1wnThz(op_64EQ39e0fC(a,a))
    return count


def op_00rZeUMtnD(a):
    return op_mhIhit33mg(op_tIhPxZTbsh(a,418))

def op_count_00rZeUMtnD(a):
    count = op_count_tIhPxZTbsh(a,418)+op_count_mhIhit33mg(op_tIhPxZTbsh(a,418))
    return count


def op_NPUvTuGeXI(a):
    return op_g55IO6H4Gj(op_zFNL8mZEFB(op_9bazX3JMtO(133,611),op_VwlE7vj6HS(a)),op_ObEyaaML9x(op_3A1e9zoj8h(a),op_Kn0TacbtGK(a)))

def op_count_NPUvTuGeXI(a):
    count = op_count_9bazX3JMtO(133,611)+op_count_VwlE7vj6HS(a)+op_count_zFNL8mZEFB(op_9bazX3JMtO(133,611),op_VwlE7vj6HS(a))+op_count_3A1e9zoj8h(a)+op_count_Kn0TacbtGK(a)+op_count_ObEyaaML9x(op_3A1e9zoj8h(a),op_Kn0TacbtGK(a))+op_count_g55IO6H4Gj(op_zFNL8mZEFB(op_9bazX3JMtO(133,611),op_VwlE7vj6HS(a)),op_ObEyaaML9x(op_3A1e9zoj8h(a),op_Kn0TacbtGK(a)))
    return count


def op_0hRg1XLrQC(a):
    return op_Qy55tPpLXF(op_hrf7POJlIJ(a,a),op_4JGOJzXMq1(a,a))

def op_count_0hRg1XLrQC(a):
    count = op_count_hrf7POJlIJ(a,a)+op_count_4JGOJzXMq1(a,a)+op_count_Qy55tPpLXF(op_hrf7POJlIJ(a,a),op_4JGOJzXMq1(a,a))
    return count


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

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


def op_VIMCZ0TE5t(a, b):
    return op_neKQRQQIil(op_UpkSd4zESC(149,b),op_Z5m6OM72h2(a,b))

def op_count_VIMCZ0TE5t(a, b):
    count = op_count_UpkSd4zESC(149,b)+op_count_Z5m6OM72h2(a,b)+op_count_neKQRQQIil(op_UpkSd4zESC(149,b),op_Z5m6OM72h2(a,b))
    return count


def op_yd3ne7Hlcq(a, b):
    return op_rysDP5nf3Z(op_cTDWOvIxvz(a,a),op_fjqJgF5yyp(b))

def op_count_yd3ne7Hlcq(a, b):
    count = op_count_cTDWOvIxvz(a,a)+op_count_fjqJgF5yyp(b)+op_count_rysDP5nf3Z(op_cTDWOvIxvz(a,a),op_fjqJgF5yyp(b))
    return count


⫳a = { (((a⪯⫾⋍271)⫚↹⊑(a⨓↿∉a))↹⊜(⊖(68⪇≇⋚a))) }

def op_A41kwsHSEW(a):
    return op_9bazX3JMtO(op_dfKe02y8D2(op_S5ZFQS4GK3(a,271),op_OWnFPqjWlR(a,a)),op_U6pG0PXrV3(op_3sJ7IOPOlU(68,a)))

def op_count_A41kwsHSEW(a):
    count = op_count_S5ZFQS4GK3(a,271)+op_count_OWnFPqjWlR(a,a)+op_count_dfKe02y8D2(op_S5ZFQS4GK3(a,271),op_OWnFPqjWlR(a,a))+op_count_3sJ7IOPOlU(68,a)+op_count_U6pG0PXrV3(op_3sJ7IOPOlU(68,a))+op_count_9bazX3JMtO(op_dfKe02y8D2(op_S5ZFQS4GK3(a,271),op_OWnFPqjWlR(a,a)),op_U6pG0PXrV3(op_3sJ7IOPOlU(68,a)))
    return count


def op_D304yV5BLW(a):
    return op_Sq3AGanRSD(op_Sq3AGanRSD(a,104),op_JFrVJKYFMX(a,a))

def op_count_D304yV5BLW(a):
    count = op_count_Sq3AGanRSD(a,104)+op_count_JFrVJKYFMX(a,a)+op_count_Sq3AGanRSD(op_Sq3AGanRSD(a,104),op_JFrVJKYFMX(a,a))
    return count


def op_rfCxBsGcPd(a, b):
    return op_D3AQDKkPcf(op_4JB6nKBMSY(b,a),op_i3MWstRFMQ(307))

def op_count_rfCxBsGcPd(a, b):
    count = op_count_4JB6nKBMSY(b,a)+op_count_i3MWstRFMQ(307)+op_count_D3AQDKkPcf(op_4JB6nKBMSY(b,a),op_i3MWstRFMQ(307))
    return count


def op_Oa3MEmA8k4(a):
    return op_DNmMwa48aR(op_AdZkA7nFnk(464,a))

def op_count_Oa3MEmA8k4(a):
    count = op_count_AdZkA7nFnk(464,a)+op_count_DNmMwa48aR(op_AdZkA7nFnk(464,a))
    return count


def op_G1IgnKcz2d(a, b):
    return op_JclMnS0uGI(op_cwbF3JtlMN(a,a),op_dAAkup5nzi(a,b))

def op_count_G1IgnKcz2d(a, b):
    count = op_count_cwbF3JtlMN(a,a)+op_count_dAAkup5nzi(a,b)+op_count_JclMnS0uGI(op_cwbF3JtlMN(a,a),op_dAAkup5nzi(a,b))
    return count


def op_9qYBGIiuHp(a):
    return op_BiWNJpBvwn(a,122)

def op_count_9qYBGIiuHp(a):
    count = op_count_BiWNJpBvwn(a,122)
    return count


a⇒⊮⨺ = { (((⊡⇒⪪a)≽⪈↿(a↯⫤))⊭↱((a⩷∴a)⨣∐↬(⇠a))) }

def op_aK5WCNA3f9(a):
    return op_COABgblf1C(op_inCIaGQf8u(op_wisItNeSwq(a),op_VwlE7vj6HS(a)),op_UpkSd4zESC(op_9FxExcQeMw(a,a),op_18saOjeKKm(a)))

def op_count_aK5WCNA3f9(a):
    count = op_count_wisItNeSwq(a)+op_count_VwlE7vj6HS(a)+op_count_inCIaGQf8u(op_wisItNeSwq(a),op_VwlE7vj6HS(a))+op_count_9FxExcQeMw(a,a)+op_count_18saOjeKKm(a)+op_count_UpkSd4zESC(op_9FxExcQeMw(a,a),op_18saOjeKKm(a))+op_count_COABgblf1C(op_inCIaGQf8u(op_wisItNeSwq(a),op_VwlE7vj6HS(a)),op_UpkSd4zESC(op_9FxExcQeMw(a,a),op_18saOjeKKm(a)))
    return count


def op_yW1pgUlhyC(a):
    return op_3FtlcrQcJU(op_z4E1FaHLuy(op_nCS4ZIUYfx(71,a)))

def op_count_yW1pgUlhyC(a):
    count = op_count_nCS4ZIUYfx(71,a)+op_count_z4E1FaHLuy(op_nCS4ZIUYfx(71,a))+op_count_3FtlcrQcJU(op_z4E1FaHLuy(op_nCS4ZIUYfx(71,a)))
    return count


def op_ewG1SKxtNn(a):
    return op_5RY6W0glyJ(op_0kmYd0q39Y(a,12))

def op_count_ewG1SKxtNn(a):
    count = op_count_0kmYd0q39Y(a,12)+op_count_5RY6W0glyJ(op_0kmYd0q39Y(a,12))
    return count


def op_qDGJMdN0kq(a):
    return op_S3tN1ZzpSt(a,a)

def op_count_qDGJMdN0kq(a):
    count = op_count_S3tN1ZzpSt(a,a)
    return count


def op_gRa8EaUiKd(a):
    return op_ancx8kZcWl(op_nCS4ZIUYfx(a,a))

def op_count_gRa8EaUiKd(a):
    count = op_count_nCS4ZIUYfx(a,a)+op_count_ancx8kZcWl(op_nCS4ZIUYfx(a,a))
    return count


def op_mLtj7USckU(a):
    return op_Noe24qw2ks(op_kuIXHzHcAH(a,a),op_XPYlsWDdGa(a))

def op_count_mLtj7USckU(a):
    count = op_count_kuIXHzHcAH(a,a)+op_count_XPYlsWDdGa(a)+op_count_Noe24qw2ks(op_kuIXHzHcAH(a,a),op_XPYlsWDdGa(a))
    return count


⇂a = { (((a⨔⊶↷a)+⪬∐(a⨣∐↬a))⨻⪊⨷((a⋞a)≃(a⪭484))) }

def op_0VM5IIwWHX(a):
    return op_Pkwamo1tM2(op_2GS7woTJqF(op_WObL9SsYVE(a,a),op_UpkSd4zESC(a,a)),op_YbVcJGFEVW(op_V4yb4KDoeF(a,a),op_j9kHMeSvPp(a,484)))

def op_count_0VM5IIwWHX(a):
    count = op_count_WObL9SsYVE(a,a)+op_count_UpkSd4zESC(a,a)+op_count_2GS7woTJqF(op_WObL9SsYVE(a,a),op_UpkSd4zESC(a,a))+op_count_V4yb4KDoeF(a,a)+op_count_j9kHMeSvPp(a,484)+op_count_YbVcJGFEVW(op_V4yb4KDoeF(a,a),op_j9kHMeSvPp(a,484))+op_count_Pkwamo1tM2(op_2GS7woTJqF(op_WObL9SsYVE(a,a),op_UpkSd4zESC(a,a)),op_YbVcJGFEVW(op_V4yb4KDoeF(a,a),op_j9kHMeSvPp(a,484)))
    return count


def op_iKXgM9nePW(a, b):
    return op_tifHPKVTfV(op_lAOUD4ZMWV(b),op_AdZkA7nFnk(a,b))

def op_count_iKXgM9nePW(a, b):
    count = op_count_lAOUD4ZMWV(b)+op_count_AdZkA7nFnk(a,b)+op_count_tifHPKVTfV(op_lAOUD4ZMWV(b),op_AdZkA7nFnk(a,b))
    return count


def op_vHaazYf2iE(a):
    return op_GMyVS5K48T(op_KfMCrRzQhT(op_KYL1uVeVpb(a,456)),op_W4YGzv6Whe(op_NdELin8EPX(a,a),op_tHMVLcQ9bH(111)))

def op_count_vHaazYf2iE(a):
    count = op_count_KYL1uVeVpb(a,456)+op_count_KfMCrRzQhT(op_KYL1uVeVpb(a,456))+op_count_NdELin8EPX(a,a)+op_count_tHMVLcQ9bH(111)+op_count_W4YGzv6Whe(op_NdELin8EPX(a,a),op_tHMVLcQ9bH(111))+op_count_GMyVS5K48T(op_KfMCrRzQhT(op_KYL1uVeVpb(a,456)),op_W4YGzv6Whe(op_NdELin8EPX(a,a),op_tHMVLcQ9bH(111)))
    return count


def op_GY4i1KjLZ1(a):
    return op_2GS7woTJqF(op_sM9mzqIDB1(a,a),op_tmjFFOTKyA(9))

def op_count_GY4i1KjLZ1(a):
    count = op_count_sM9mzqIDB1(a,a)+op_count_tmjFFOTKyA(9)+op_count_2GS7woTJqF(op_sM9mzqIDB1(a,a),op_tmjFFOTKyA(9))
    return count


def op_K576RbR1w3(a, b):
    return op_6iafYuwGo8(op_Bmrmz2XGnR(b,b),op_d7ASUq0ydm(a,b))

def op_count_K576RbR1w3(a, b):
    count = op_count_Bmrmz2XGnR(b,b)+op_count_d7ASUq0ydm(a,b)+op_count_6iafYuwGo8(op_Bmrmz2XGnR(b,b),op_d7ASUq0ydm(a,b))
    return count


a⨕⊄⇛b = { (((b∿⫑≎a)⋢(b≝⊿a))⫼⨠((∨b)+b)) }

def op_Sk2xeHjcVZ(a, b):
    return op_KYL1uVeVpb(op_NdELin8EPX(op_ar1w6gUwHX(b,a),op_OKKcZfAt5B(b,a)),op_W4YGzv6Whe(op_rIsGeVJWJF(b),b))

def op_count_Sk2xeHjcVZ(a, b):
    count = op_count_ar1w6gUwHX(b,a)+op_count_OKKcZfAt5B(b,a)+op_count_NdELin8EPX(op_ar1w6gUwHX(b,a),op_OKKcZfAt5B(b,a))+op_count_rIsGeVJWJF(b)+op_count_W4YGzv6Whe(op_rIsGeVJWJF(b),b)+op_count_KYL1uVeVpb(op_NdELin8EPX(op_ar1w6gUwHX(b,a),op_OKKcZfAt5B(b,a)),op_W4YGzv6Whe(op_rIsGeVJWJF(b),b))
    return count


a⫆ = { (((a↜⊷a)⋾⨟)⊉↱≁((a≻⇥≳a)⇖↽(427↯⫤))) }

def op_cGHQRUc1Fx(a):
    return op_w2P8NbNXyL(op_hYjFJ8q04Z(op_irKjLsMeKy(a,a)),op_cwbF3JtlMN(op_aiqF8n6J9c(a,a),op_VwlE7vj6HS(427)))

def op_count_cGHQRUc1Fx(a):
    count = op_count_irKjLsMeKy(a,a)+op_count_hYjFJ8q04Z(op_irKjLsMeKy(a,a))+op_count_aiqF8n6J9c(a,a)+op_count_VwlE7vj6HS(427)+op_count_cwbF3JtlMN(op_aiqF8n6J9c(a,a),op_VwlE7vj6HS(427))+op_count_w2P8NbNXyL(op_hYjFJ8q04Z(op_irKjLsMeKy(a,a)),op_cwbF3JtlMN(op_aiqF8n6J9c(a,a),op_VwlE7vj6HS(427)))
    return count


def op_vREf5JSI95(a):
    return op_QiR2Oyf5Xj(op_V4yb4KDoeF(a,a))

def op_count_vREf5JSI95(a):
    count = op_count_V4yb4KDoeF(a,a)+op_count_QiR2Oyf5Xj(op_V4yb4KDoeF(a,a))
    return count


⫍⩛a = { (((a↹⊜a)≽⇕)⩣⫁∢((a⨓↿∉a)⊢(323⩷∴a))) }

def op_zERmOPCQyP(a):
    return op_JDUIKTTSIa(op_SgAxmdLNEA(op_9bazX3JMtO(a,a)),op_5twsqlHp2o(op_OWnFPqjWlR(a,a),op_9FxExcQeMw(323,a)))

def op_count_zERmOPCQyP(a):
    count = op_count_9bazX3JMtO(a,a)+op_count_SgAxmdLNEA(op_9bazX3JMtO(a,a))+op_count_OWnFPqjWlR(a,a)+op_count_9FxExcQeMw(323,a)+op_count_5twsqlHp2o(op_OWnFPqjWlR(a,a),op_9FxExcQeMw(323,a))+op_count_JDUIKTTSIa(op_SgAxmdLNEA(op_9bazX3JMtO(a,a)),op_5twsqlHp2o(op_OWnFPqjWlR(a,a),op_9FxExcQeMw(323,a)))
    return count


def op_HmfEavv2wQ(a):
    return op_xRrnTEsQ6j(op_H0pizIJMoW(a),op_HrjLwUk87U(a,a))

def op_count_HmfEavv2wQ(a):
    count = op_count_H0pizIJMoW(a)+op_count_HrjLwUk87U(a,a)+op_count_xRrnTEsQ6j(op_H0pizIJMoW(a),op_HrjLwUk87U(a,a))
    return count


def op_fHJIi2E7aO(a):
    return op_DZ8iAZOCBD(a,a)

def op_count_fHJIi2E7aO(a):
    count = op_count_DZ8iAZOCBD(a,a)
    return count


a⊎⩰∤ = { (((⇺⪔⩬a)∽(a⪕a))⨚((a↙↠)⩾(a↺a))) }

def op_SGnE0BhdKZ(a):
    return op_nREPSIbpBE(op_y4ImoPnbV5(op_lAOUD4ZMWV(a),op_umQnsF7QlU(a,a)),op_UggxBX659n(op_texHS70gxN(a),op_7j4O788W3g(a,a)))

def op_count_SGnE0BhdKZ(a):
    count = op_count_lAOUD4ZMWV(a)+op_count_umQnsF7QlU(a,a)+op_count_y4ImoPnbV5(op_lAOUD4ZMWV(a),op_umQnsF7QlU(a,a))+op_count_texHS70gxN(a)+op_count_7j4O788W3g(a,a)+op_count_UggxBX659n(op_texHS70gxN(a),op_7j4O788W3g(a,a))+op_count_nREPSIbpBE(op_y4ImoPnbV5(op_lAOUD4ZMWV(a),op_umQnsF7QlU(a,a)),op_UggxBX659n(op_texHS70gxN(a),op_7j4O788W3g(a,a)))
    return count


def op_8VBTcuE82Z(a):
    return op_Z5m6OM72h2(op_AFVx7xoS7T(op_3A1e9zoj8h(a),op_9xnGDUPbC6(a)),op_qU6oQAhJaQ(a))

def op_count_8VBTcuE82Z(a):
    count = op_count_3A1e9zoj8h(a)+op_count_9xnGDUPbC6(a)+op_count_AFVx7xoS7T(op_3A1e9zoj8h(a),op_9xnGDUPbC6(a))+op_count_qU6oQAhJaQ(a)+op_count_Z5m6OM72h2(op_AFVx7xoS7T(op_3A1e9zoj8h(a),op_9xnGDUPbC6(a)),op_qU6oQAhJaQ(a))
    return count


def op_9dNSVF2AR3(a):
    return op_69GgKhV9QQ(op_Qy55tPpLXF(a,472))

def op_count_9dNSVF2AR3(a):
    count = op_count_Qy55tPpLXF(a,472)+op_count_69GgKhV9QQ(op_Qy55tPpLXF(a,472))
    return count


a⇂⩶⫼b = { (((a⫃⨇891)⨐(a⋎430))⊭↱(b⋰⇉∕(⩯≢≕b))) }

def op_57o73BEFtH(a, b):
    return op_COABgblf1C(op_Noe24qw2ks(op_09Ly4LVMIf(a,891),op_qy3n0tapmE(a,430)),op_sM9mzqIDB1(b,op_840vADziXz(b)))

def op_count_57o73BEFtH(a, b):
    count = op_count_09Ly4LVMIf(a,891)+op_count_qy3n0tapmE(a,430)+op_count_Noe24qw2ks(op_09Ly4LVMIf(a,891),op_qy3n0tapmE(a,430))+op_count_840vADziXz(b)+op_count_sM9mzqIDB1(b,op_840vADziXz(b))+op_count_COABgblf1C(op_Noe24qw2ks(op_09Ly4LVMIf(a,891),op_qy3n0tapmE(a,430)),op_sM9mzqIDB1(b,op_840vADziXz(b)))
    return count


def op_AZPIx1Ag6c(a):
    return op_cWQsF5MvuD(op_YC3tgrnOyr(op_Zubgv0tBda(a),op_VJ330n2nnx(a)))

def op_count_AZPIx1Ag6c(a):
    count = op_count_Zubgv0tBda(a)+op_count_VJ330n2nnx(a)+op_count_YC3tgrnOyr(op_Zubgv0tBda(a),op_VJ330n2nnx(a))+op_count_cWQsF5MvuD(op_YC3tgrnOyr(op_Zubgv0tBda(a),op_VJ330n2nnx(a)))
    return count


∌⇗a = { ((⩯≢≕(a⨧a))↼⊘⨖((a⫼⨠a)⫊⇚⊺(∷≠a))) }

def op_jOLWJh9ixj(a):
    return op_bPywburJMS(op_840vADziXz(op_3YWlZA9bsa(a,a)),op_Y5cEcQhyKu(op_KYL1uVeVpb(a,a),op_QiR2Oyf5Xj(a)))

def op_count_jOLWJh9ixj(a):
    count = op_count_3YWlZA9bsa(a,a)+op_count_840vADziXz(op_3YWlZA9bsa(a,a))+op_count_KYL1uVeVpb(a,a)+op_count_QiR2Oyf5Xj(a)+op_count_Y5cEcQhyKu(op_KYL1uVeVpb(a,a),op_QiR2Oyf5Xj(a))+op_count_bPywburJMS(op_840vADziXz(op_3YWlZA9bsa(a,a)),op_Y5cEcQhyKu(op_KYL1uVeVpb(a,a),op_QiR2Oyf5Xj(a)))
    return count


∲∋↜a = { ((332≏⨯⊱(349≏⨯⊱a))∠↢((a⋥≓≎a)≠≀(a⨰↻⪇a))) }

def op_in7QvNEnpg(a):
    return op_KbjG8mgYpV(op_UqUOXUQnbU(332,op_UqUOXUQnbU(349,a)),op_IwW236VD4Y(op_Qy55tPpLXF(a,a),op_nbuSfrB4hB(a,a)))

def op_count_in7QvNEnpg(a):
    count = op_count_UqUOXUQnbU(349,a)+op_count_UqUOXUQnbU(332,op_UqUOXUQnbU(349,a))+op_count_Qy55tPpLXF(a,a)+op_count_nbuSfrB4hB(a,a)+op_count_IwW236VD4Y(op_Qy55tPpLXF(a,a),op_nbuSfrB4hB(a,a))+op_count_KbjG8mgYpV(op_UqUOXUQnbU(332,op_UqUOXUQnbU(349,a)),op_IwW236VD4Y(op_Qy55tPpLXF(a,a),op_nbuSfrB4hB(a,a)))
    return count


def op_BmPgSYejpq(a):
    return op_9Isq31Ruls(a,op_k2B77S3vSv(a))

def op_count_BmPgSYejpq(a):
    count = op_count_k2B77S3vSv(a)+op_count_9Isq31Ruls(a,op_k2B77S3vSv(a))
    return count


def op_22PRtPrKbi(a):
    return op_S56z7WVPBn(op_86A5ENbKR9(a))

def op_count_22PRtPrKbi(a):
    count = op_count_86A5ENbKR9(a)+op_count_S56z7WVPBn(op_86A5ENbKR9(a))
    return count


def op_zIH5p6XAlz(a):
    return op_W7eaUhjymW(op_YbVcJGFEVW(op_8cLx32lpNA(a,a),op_FPxP5Y1j0W(a,5)))

def op_count_zIH5p6XAlz(a):
    count = op_count_8cLx32lpNA(a,a)+op_count_FPxP5Y1j0W(a,5)+op_count_YbVcJGFEVW(op_8cLx32lpNA(a,a),op_FPxP5Y1j0W(a,5))+op_count_W7eaUhjymW(op_YbVcJGFEVW(op_8cLx32lpNA(a,a),op_FPxP5Y1j0W(a,5)))
    return count


def op_kn2iEQ6jaA(a):
    return op_JLbD19bQDL(op_2Wsdkap16l(a,a))

def op_count_kn2iEQ6jaA(a):
    count = op_count_2Wsdkap16l(a,a)+op_count_JLbD19bQDL(op_2Wsdkap16l(a,a))
    return count


def op_GWfOyEdYSw(a):
    return op_wsXFuL0hC6(op_V4yb4KDoeF(a,a),op_D309nIvmXG(64))

def op_count_GWfOyEdYSw(a):
    count = op_count_V4yb4KDoeF(a,a)+op_count_D309nIvmXG(64)+op_count_wsXFuL0hC6(op_V4yb4KDoeF(a,a),op_D309nIvmXG(64))
    return count


def op_uC1OCuP0T4(a, b):
    return op_cFVlceoRkX(op_eaFBhJ0Uku(299,b),op_tmjFFOTKyA(op_OwUj7dcsQK(a)))

def op_count_uC1OCuP0T4(a, b):
    count = op_count_eaFBhJ0Uku(299,b)+op_count_OwUj7dcsQK(a)+op_count_tmjFFOTKyA(op_OwUj7dcsQK(a))+op_count_cFVlceoRkX(op_eaFBhJ0Uku(299,b),op_tmjFFOTKyA(op_OwUj7dcsQK(a)))
    return count


def op_UbTsF4x1kp(a):
    return op_hrf7POJlIJ(a,op_LkLIoiE525(op_EWw2JM7wp4(a,a)))

def op_count_UbTsF4x1kp(a):
    count = op_count_EWw2JM7wp4(a,a)+op_count_LkLIoiE525(op_EWw2JM7wp4(a,a))+op_count_hrf7POJlIJ(a,op_LkLIoiE525(op_EWw2JM7wp4(a,a)))
    return count


def op_b4UHMzNVzm(a):
    return op_W4YGzv6Whe(op_kbkesczE7y(op_XZxEnkN3N0(a),a),a)

def op_count_b4UHMzNVzm(a):
    count = op_count_XZxEnkN3N0(a)+op_count_kbkesczE7y(op_XZxEnkN3N0(a),a)+op_count_W4YGzv6Whe(op_kbkesczE7y(op_XZxEnkN3N0(a),a),a)
    return count


def op_0AhqpcbaEt(a):
    return op_2O29ZX4yK6(op_YSKBFp38Pu(op_i8ToyICDmI(194,a),op_S3tN1ZzpSt(a,a)))

def op_count_0AhqpcbaEt(a):
    count = op_count_i8ToyICDmI(194,a)+op_count_S3tN1ZzpSt(a,a)+op_count_YSKBFp38Pu(op_i8ToyICDmI(194,a),op_S3tN1ZzpSt(a,a))+op_count_2O29ZX4yK6(op_YSKBFp38Pu(op_i8ToyICDmI(194,a),op_S3tN1ZzpSt(a,a)))
    return count


def op_5pJbtWZkvC(a):
    return op_kuIXHzHcAH(op_KfMCrRzQhT(op_2M7SKlOzyM(a,a)),op_Qy55tPpLXF(op_tifHPKVTfV(277,1),op_5twsqlHp2o(112,a)))

def op_count_5pJbtWZkvC(a):
    count = op_count_2M7SKlOzyM(a,a)+op_count_KfMCrRzQhT(op_2M7SKlOzyM(a,a))+op_count_tifHPKVTfV(277,1)+op_count_5twsqlHp2o(112,a)+op_count_Qy55tPpLXF(op_tifHPKVTfV(277,1),op_5twsqlHp2o(112,a))+op_count_kuIXHzHcAH(op_KfMCrRzQhT(op_2M7SKlOzyM(a,a)),op_Qy55tPpLXF(op_tifHPKVTfV(277,1),op_5twsqlHp2o(112,a)))
    return count


def op_CaMTA8SFOL(a):
    return op_09Ly4LVMIf(a,a)

def op_count_CaMTA8SFOL(a):
    count = op_count_09Ly4LVMIf(a,a)
    return count


def op_nJ1iAr59wM(a):
    return op_jBC4ymW3D7(op_ar1w6gUwHX(a,1),op_2z8nE7LpCu(274,a))

def op_count_nJ1iAr59wM(a):
    count = op_count_ar1w6gUwHX(a,1)+op_count_2z8nE7LpCu(274,a)+op_count_jBC4ymW3D7(op_ar1w6gUwHX(a,1),op_2z8nE7LpCu(274,a))
    return count


def op_xgYOZyJC4Q(a, b):
    return op_dfKe02y8D2(op_OTRTVPweYV(118,b),a)

def op_count_xgYOZyJC4Q(a, b):
    count = op_count_OTRTVPweYV(118,b)+op_count_dfKe02y8D2(op_OTRTVPweYV(118,b),a)
    return count


def op_kVSeQakJeK(a, b):
    return op_Qaz2MhZaG5(op_z4E1FaHLuy(a),op_KED7KUUlGq(b))

def op_count_kVSeQakJeK(a, b):
    count = op_count_z4E1FaHLuy(a)+op_count_KED7KUUlGq(b)+op_count_Qaz2MhZaG5(op_z4E1FaHLuy(a),op_KED7KUUlGq(b))
    return count


def op_OwEpXID1jm(a):
    return op_giaUb8UVhq(a,a)

def op_count_OwEpXID1jm(a):
    count = op_count_giaUb8UVhq(a,a)
    return count


def op_RpQvJizf4x(a, b):
    return op_RPa3726CSl(op_t4WUHVGj7f(op_Qy55tPpLXF(b,a)))

def op_count_RpQvJizf4x(a, b):
    count = op_count_Qy55tPpLXF(b,a)+op_count_t4WUHVGj7f(op_Qy55tPpLXF(b,a))+op_count_RPa3726CSl(op_t4WUHVGj7f(op_Qy55tPpLXF(b,a)))
    return count


def op_EEycz8o2AV(a):
    return op_kc7iqVBlRY(op_AdZkA7nFnk(op_z2JHNkvbdm(a,a),op_inCIaGQf8u(a,a)))

def op_count_EEycz8o2AV(a):
    count = op_count_z2JHNkvbdm(a,a)+op_count_inCIaGQf8u(a,a)+op_count_AdZkA7nFnk(op_z2JHNkvbdm(a,a),op_inCIaGQf8u(a,a))+op_count_kc7iqVBlRY(op_AdZkA7nFnk(op_z2JHNkvbdm(a,a),op_inCIaGQf8u(a,a)))
    return count


def op_YOY0pNRgya(a):
    return op_G8pG1QxO6Y(op_KbjG8mgYpV(a,a))

def op_count_YOY0pNRgya(a):
    count = op_count_KbjG8mgYpV(a,a)+op_count_G8pG1QxO6Y(op_KbjG8mgYpV(a,a))
    return count


def op_0Dmzfg7MHl(a):
    return op_3YWlZA9bsa(a,a)

def op_count_0Dmzfg7MHl(a):
    count = op_count_3YWlZA9bsa(a,a)
    return count


def op_rFiAhazZjy(a):
    return op_k2HlF1dBQh(op_kbkesczE7y(a,121))

def op_count_rFiAhazZjy(a):
    count = op_count_kbkesczE7y(a,121)+op_count_k2HlF1dBQh(op_kbkesczE7y(a,121))
    return count


def op_91PYVx90ZM(a):
    return op_8cLx32lpNA(a,a)

def op_count_91PYVx90ZM(a):
    count = op_count_8cLx32lpNA(a,a)
    return count


def op_e9vVQXp6da(a, b):
    return op_S7Dkc5Re0B(op_cFVlceoRkX(b,a))

def op_count_e9vVQXp6da(a, b):
    count = op_count_cFVlceoRkX(b,a)+op_count_S7Dkc5Re0B(op_cFVlceoRkX(b,a))
    return count


def op_AUSKDtpBIy(a):
    return op_B3sABdIn96(op_nbuSfrB4hB(op_inCIaGQf8u(a,a),op_23Mk6UjR3U(a,a)))

def op_count_AUSKDtpBIy(a):
    count = op_count_inCIaGQf8u(a,a)+op_count_23Mk6UjR3U(a,a)+op_count_nbuSfrB4hB(op_inCIaGQf8u(a,a),op_23Mk6UjR3U(a,a))+op_count_B3sABdIn96(op_nbuSfrB4hB(op_inCIaGQf8u(a,a),op_23Mk6UjR3U(a,a)))
    return count


def op_XqNoo3pneC(a):
    return op_DX7B1fY6P6(op_qxqspddX8k(a,a),op_fLfyAuxYJD(a))

def op_count_XqNoo3pneC(a):
    count = op_count_qxqspddX8k(a,a)+op_count_fLfyAuxYJD(a)+op_count_DX7B1fY6P6(op_qxqspddX8k(a,a),op_fLfyAuxYJD(a))
    return count


def op_fFHhq5AAin(a):
    return op_pRsWfj4Fpp(op_qWUSsah53b(op_18saOjeKKm(a)))

def op_count_fFHhq5AAin(a):
    count = op_count_18saOjeKKm(a)+op_count_qWUSsah53b(op_18saOjeKKm(a))+op_count_pRsWfj4Fpp(op_qWUSsah53b(op_18saOjeKKm(a)))
    return count


def op_RXTe6wbwcz(a, b):
    return op_AdZkA7nFnk(op_8HCJqvcFkE(a),op_JgXZM7XvWE(b,a))

def op_count_RXTe6wbwcz(a, b):
    count = op_count_8HCJqvcFkE(a)+op_count_JgXZM7XvWE(b,a)+op_count_AdZkA7nFnk(op_8HCJqvcFkE(a),op_JgXZM7XvWE(b,a))
    return count


def op_HqcLaSpb3E(a, b):
    return op_JFrVJKYFMX(op_uyq1hVkAcj(b),op_nhYeJWJD5X(a,b))

def op_count_HqcLaSpb3E(a, b):
    count = op_count_uyq1hVkAcj(b)+op_count_nhYeJWJD5X(a,b)+op_count_JFrVJKYFMX(op_uyq1hVkAcj(b),op_nhYeJWJD5X(a,b))
    return count


def op_Q3vj8AHqQl(a):
    return op_i3MWstRFMQ(op_JclMnS0uGI(op_uysxUYN2L2(a,a),op_HiPekx5b7W(a,a)))

def op_count_Q3vj8AHqQl(a):
    count = op_count_uysxUYN2L2(a,a)+op_count_HiPekx5b7W(a,a)+op_count_JclMnS0uGI(op_uysxUYN2L2(a,a),op_HiPekx5b7W(a,a))+op_count_i3MWstRFMQ(op_JclMnS0uGI(op_uysxUYN2L2(a,a),op_HiPekx5b7W(a,a)))
    return count


def op_gVe57Wp8lf(a, b):
    return op_eH2TOUuTDT(op_9Isq31Ruls(a,b))

def op_count_gVe57Wp8lf(a, b):
    count = op_count_9Isq31Ruls(a,b)+op_count_eH2TOUuTDT(op_9Isq31Ruls(a,b))
    return count


def op_ZEEEl4JCgL(a):
    return op_XIabStNQrY(op_xSk1F0pZbF(op_nhYeJWJD5X(a,a),op_m612RDITqL(a,a)))

def op_count_ZEEEl4JCgL(a):
    count = op_count_nhYeJWJD5X(a,a)+op_count_m612RDITqL(a,a)+op_count_xSk1F0pZbF(op_nhYeJWJD5X(a,a),op_m612RDITqL(a,a))+op_count_XIabStNQrY(op_xSk1F0pZbF(op_nhYeJWJD5X(a,a),op_m612RDITqL(a,a)))
    return count


def op_wGw9ME88oF(a):
    return op_dAAkup5nzi(op_uysxUYN2L2(op_NrdPCfJQiM(535,a),25),op_HjMFvreeUu(op_y4ImoPnbV5(128,a)))

def op_count_wGw9ME88oF(a):
    count = op_count_NrdPCfJQiM(535,a)+op_count_uysxUYN2L2(op_NrdPCfJQiM(535,a),25)+op_count_y4ImoPnbV5(128,a)+op_count_HjMFvreeUu(op_y4ImoPnbV5(128,a))+op_count_dAAkup5nzi(op_uysxUYN2L2(op_NrdPCfJQiM(535,a),25),op_HjMFvreeUu(op_y4ImoPnbV5(128,a)))
    return count


def op_uB3aWBBPu3(a):
    return op_3FtlcrQcJU(op_PjbVkMzmXE(a,a))

def op_count_uB3aWBBPu3(a):
    count = op_count_PjbVkMzmXE(a,a)+op_count_3FtlcrQcJU(op_PjbVkMzmXE(a,a))
    return count


a↫≑⊎ = { ((a↼⊘⨖(a⫏↛⩏a))⪖⪡(⪷∈↠(679⪍↜⋙a))) }

def op_WJz7FW155z(a):
    return op_7PjNe5qSIJ(op_bPywburJMS(a,op_YC3tgrnOyr(a,a)),op_Kn0TacbtGK(op_L05ObWFQCd(679,a)))

def op_count_WJz7FW155z(a):
    count = op_count_YC3tgrnOyr(a,a)+op_count_bPywburJMS(a,op_YC3tgrnOyr(a,a))+op_count_L05ObWFQCd(679,a)+op_count_Kn0TacbtGK(op_L05ObWFQCd(679,a))+op_count_7PjNe5qSIJ(op_bPywburJMS(a,op_YC3tgrnOyr(a,a)),op_Kn0TacbtGK(op_L05ObWFQCd(679,a)))
    return count


def op_rK7H9hZmfU(a, b):
    return op_ocnLzx9CaJ(op_NdELin8EPX(b,b),op_Qaz2MhZaG5(b,a))

def op_count_rK7H9hZmfU(a, b):
    count = op_count_NdELin8EPX(b,b)+op_count_Qaz2MhZaG5(b,a)+op_count_ocnLzx9CaJ(op_NdELin8EPX(b,b),op_Qaz2MhZaG5(b,a))
    return count


def op_f2PyOz23Sc(a):
    return op_Qy55tPpLXF(op_4JGOJzXMq1(a,a),op_OTRTVPweYV(a,a))

def op_count_f2PyOz23Sc(a):
    count = op_count_4JGOJzXMq1(a,a)+op_count_OTRTVPweYV(a,a)+op_count_Qy55tPpLXF(op_4JGOJzXMq1(a,a),op_OTRTVPweYV(a,a))
    return count


≄⫴a = { (((⋽⪳⨃a)∿⫑≎(a⇤a))⫇⋯((a⨰a)⊉↱≁a)) }

def op_AWqR6RccGN(a):
    return op_xoJmIySC7h(op_ar1w6gUwHX(op_qAljGMXEZr(a),op_YSKBFp38Pu(a,a)),op_w2P8NbNXyL(op_eewbuw0ToL(a,a),a))

def op_count_AWqR6RccGN(a):
    count = op_count_qAljGMXEZr(a)+op_count_YSKBFp38Pu(a,a)+op_count_ar1w6gUwHX(op_qAljGMXEZr(a),op_YSKBFp38Pu(a,a))+op_count_eewbuw0ToL(a,a)+op_count_w2P8NbNXyL(op_eewbuw0ToL(a,a),a)+op_count_xoJmIySC7h(op_ar1w6gUwHX(op_qAljGMXEZr(a),op_YSKBFp38Pu(a,a)),op_w2P8NbNXyL(op_eewbuw0ToL(a,a),a))
    return count


def op_U08m58jomp(a):
    return op_3tVxb0NHM4(a,a)

def op_count_U08m58jomp(a):
    count = op_count_3tVxb0NHM4(a,a)
    return count


def op_CHq61KbF2o(a):
    return op_Z5m6OM72h2(op_MXaNJeIAZ3(a),op_KYL1uVeVpb(534,a))

def op_count_CHq61KbF2o(a):
    count = op_count_MXaNJeIAZ3(a)+op_count_KYL1uVeVpb(534,a)+op_count_Z5m6OM72h2(op_MXaNJeIAZ3(a),op_KYL1uVeVpb(534,a))
    return count


def op_aPjlLpp23p(a):
    return op_YC3tgrnOyr(op_IjUb3wyICU(75),op_rXAclfmB4M(a))

def op_count_aPjlLpp23p(a):
    count = op_count_IjUb3wyICU(75)+op_count_rXAclfmB4M(a)+op_count_YC3tgrnOyr(op_IjUb3wyICU(75),op_rXAclfmB4M(a))
    return count


def op_oBqjyQFq4M(a):
    return op_L05ObWFQCd(op_NrdPCfJQiM(op_ancx8kZcWl(a),586),op_JoLB3LXqXx(op_6o9Blt3TJ6(a,a),a))

def op_count_oBqjyQFq4M(a):
    count = op_count_ancx8kZcWl(a)+op_count_NrdPCfJQiM(op_ancx8kZcWl(a),586)+op_count_6o9Blt3TJ6(a,a)+op_count_JoLB3LXqXx(op_6o9Blt3TJ6(a,a),a)+op_count_L05ObWFQCd(op_NrdPCfJQiM(op_ancx8kZcWl(a),586),op_JoLB3LXqXx(op_6o9Blt3TJ6(a,a),a))
    return count


def op_MajuE94pkX(a):
    return op_d8xe6WWVfM(230,a)

def op_count_MajuE94pkX(a):
    count = op_count_d8xe6WWVfM(230,a)
    return count


a⊴⪶⨢b = { (((a⩘⋿b)⪎⨄⋝)⨔⊶↷((a⫇⋯b)⩍⋽⫝̸(31⨣∐↬313))) }

def op_ijrBZcTHEz(a, b):
    return op_WObL9SsYVE(op_kweVJGAjhl(op_64EQ39e0fC(a,b)),op_BiWNJpBvwn(op_xoJmIySC7h(a,b),op_UpkSd4zESC(31,313)))

def op_count_ijrBZcTHEz(a, b):
    count = op_count_64EQ39e0fC(a,b)+op_count_kweVJGAjhl(op_64EQ39e0fC(a,b))+op_count_xoJmIySC7h(a,b)+op_count_UpkSd4zESC(31,313)+op_count_BiWNJpBvwn(op_xoJmIySC7h(a,b),op_UpkSd4zESC(31,313))+op_count_WObL9SsYVE(op_kweVJGAjhl(op_64EQ39e0fC(a,b)),op_BiWNJpBvwn(op_xoJmIySC7h(a,b),op_UpkSd4zESC(31,313)))
    return count


def op_DN0PLaXpeG(a, b):
    return op_hiBDRd40bf(op_3YWlZA9bsa(a,421),op_VJ330n2nnx(b))

def op_count_DN0PLaXpeG(a, b):
    count = op_count_3YWlZA9bsa(a,421)+op_count_VJ330n2nnx(b)+op_count_hiBDRd40bf(op_3YWlZA9bsa(a,421),op_VJ330n2nnx(b))
    return count


def op_Bh0c9BvTwN(a, b):
    return op_WSbXXWOizJ(op_qLBMy5fcJr(op_YbVcJGFEVW(b,a)),op_XnXgA4xnOs(op_y2kQTS4a70(b,a),b))

def op_count_Bh0c9BvTwN(a, b):
    count = op_count_YbVcJGFEVW(b,a)+op_count_qLBMy5fcJr(op_YbVcJGFEVW(b,a))+op_count_y2kQTS4a70(b,a)+op_count_XnXgA4xnOs(op_y2kQTS4a70(b,a),b)+op_count_WSbXXWOizJ(op_qLBMy5fcJr(op_YbVcJGFEVW(b,a)),op_XnXgA4xnOs(op_y2kQTS4a70(b,a),b))
    return count


def op_XrsBijI8L6(a, b):
    return op_m612RDITqL(a,op_6iafYuwGo8(op_Qy55tPpLXF(115,b),op_wEfv7U73WA(b)))

def op_count_XrsBijI8L6(a, b):
    count = op_count_Qy55tPpLXF(115,b)+op_count_wEfv7U73WA(b)+op_count_6iafYuwGo8(op_Qy55tPpLXF(115,b),op_wEfv7U73WA(b))+op_count_m612RDITqL(a,op_6iafYuwGo8(op_Qy55tPpLXF(115,b),op_wEfv7U73WA(b)))
    return count


def op_IDDgyz04Ei(a):
    return op_u7fv1HBiaC(op_DO4fhlbJSI(op_aOI3TlLUAE(a)))

def op_count_IDDgyz04Ei(a):
    count = op_count_aOI3TlLUAE(a)+op_count_DO4fhlbJSI(op_aOI3TlLUAE(a))+op_count_u7fv1HBiaC(op_DO4fhlbJSI(op_aOI3TlLUAE(a)))
    return count


def op_udE70qCqth(a):
    return op_DE7zCoGJt9(op_dAAkup5nzi(op_SWo3A1KBJH(a),op_3EhVUz7Ug9(a)))

def op_count_udE70qCqth(a):
    count = op_count_SWo3A1KBJH(a)+op_count_3EhVUz7Ug9(a)+op_count_dAAkup5nzi(op_SWo3A1KBJH(a),op_3EhVUz7Ug9(a))+op_count_DE7zCoGJt9(op_dAAkup5nzi(op_SWo3A1KBJH(a),op_3EhVUz7Ug9(a)))
    return count


def op_bSjOZQuQ6S(a):
    return op_Sq3AGanRSD(a,a)

def op_count_bSjOZQuQ6S(a):
    count = op_count_Sq3AGanRSD(a,a)
    return count


def op_pV5x9IfYtD(a):
    return op_UqUOXUQnbU(op_QMFrweE19q(a,a),op_Qy55tPpLXF(a,212))

def op_count_pV5x9IfYtD(a):
    count = op_count_QMFrweE19q(a,a)+op_count_Qy55tPpLXF(a,212)+op_count_UqUOXUQnbU(op_QMFrweE19q(a,a),op_Qy55tPpLXF(a,212))
    return count


def op_L5r9akbnFw(a):
    return op_7j4O788W3g(a,290)

def op_count_L5r9akbnFw(a):
    count = op_count_7j4O788W3g(a,290)
    return count


def op_5p7zLdBmiR(a):
    return op_3tVxb0NHM4(op_B3sABdIn96(a),op_L05ObWFQCd(a,a))

def op_count_5p7zLdBmiR(a):
    count = op_count_B3sABdIn96(a)+op_count_L05ObWFQCd(a,a)+op_count_3tVxb0NHM4(op_B3sABdIn96(a),op_L05ObWFQCd(a,a))
    return count


def op_L4guvKKy2T(a):
    return op_nbuSfrB4hB(op_zFNL8mZEFB(op_d8xe6WWVfM(a,362),a),op_HrjLwUk87U(op_y4ImoPnbV5(a,a),405))

def op_count_L4guvKKy2T(a):
    count = op_count_d8xe6WWVfM(a,362)+op_count_zFNL8mZEFB(op_d8xe6WWVfM(a,362),a)+op_count_y4ImoPnbV5(a,a)+op_count_HrjLwUk87U(op_y4ImoPnbV5(a,a),405)+op_count_nbuSfrB4hB(op_zFNL8mZEFB(op_d8xe6WWVfM(a,362),a),op_HrjLwUk87U(op_y4ImoPnbV5(a,a),405))
    return count


def op_9mgsQxGIRr(a):
    return op_umQnsF7QlU(op_gSr4c7pPrV(a),op_HiPekx5b7W(a,485))

def op_count_9mgsQxGIRr(a):
    count = op_count_gSr4c7pPrV(a)+op_count_HiPekx5b7W(a,485)+op_count_umQnsF7QlU(op_gSr4c7pPrV(a),op_HiPekx5b7W(a,485))
    return count


def op_ii6Blt532R(a):
    return op_IjUb3wyICU(op_neKQRQQIil(op_YC3tgrnOyr(a,a),op_umQnsF7QlU(a,a)))

def op_count_ii6Blt532R(a):
    count = op_count_YC3tgrnOyr(a,a)+op_count_umQnsF7QlU(a,a)+op_count_neKQRQQIil(op_YC3tgrnOyr(a,a),op_umQnsF7QlU(a,a))+op_count_IjUb3wyICU(op_neKQRQQIil(op_YC3tgrnOyr(a,a),op_umQnsF7QlU(a,a)))
    return count


⩝a = { (((a⊋≦⊧a)∠↢(a⊒423))≭⫡(⊄⩳↩(a⩍⋽⫝̸a))) }

def op_AqJQW3khbP(a):
    return op_b1mGkbI4Oy(op_KbjG8mgYpV(op_oRDoc9rAEX(a,a),op_rPNtK4BLRO(a,423)),op_8w2t5hMYqp(op_BiWNJpBvwn(a,a)))

def op_count_AqJQW3khbP(a):
    count = op_count_oRDoc9rAEX(a,a)+op_count_rPNtK4BLRO(a,423)+op_count_KbjG8mgYpV(op_oRDoc9rAEX(a,a),op_rPNtK4BLRO(a,423))+op_count_BiWNJpBvwn(a,a)+op_count_8w2t5hMYqp(op_BiWNJpBvwn(a,a))+op_count_b1mGkbI4Oy(op_KbjG8mgYpV(op_oRDoc9rAEX(a,a),op_rPNtK4BLRO(a,423)),op_8w2t5hMYqp(op_BiWNJpBvwn(a,a)))
    return count


def op_dYTqEtTc30(a):
    return op_y4ImoPnbV5(op_JDUIKTTSIa(a,a),op_9Isq31Ruls(4,a))

def op_count_dYTqEtTc30(a):
    count = op_count_JDUIKTTSIa(a,a)+op_count_9Isq31Ruls(4,a)+op_count_y4ImoPnbV5(op_JDUIKTTSIa(a,a),op_9Isq31Ruls(4,a))
    return count


def op_7KrIVfnUen(a):
    return op_nCS4ZIUYfx(op_rXAclfmB4M(a),op_B3tNObfNaL(407))

def op_count_7KrIVfnUen(a):
    count = op_count_rXAclfmB4M(a)+op_count_B3tNObfNaL(407)+op_count_nCS4ZIUYfx(op_rXAclfmB4M(a),op_B3tNObfNaL(407))
    return count


a≲b = { ((≋(∋∴a))⨧↗⨷((b⪁⨴⋨b)∌(a⋐≟⩺a))) }

def op_C6qVvj5REB(a, b):
    return op_WSbXXWOizJ(op_61wBmkZwlr(op_nouZ5SZjt1(a)),op_8cLx32lpNA(op_y2kQTS4a70(b,b),op_PjbVkMzmXE(a,a)))

def op_count_C6qVvj5REB(a, b):
    count = op_count_nouZ5SZjt1(a)+op_count_61wBmkZwlr(op_nouZ5SZjt1(a))+op_count_y2kQTS4a70(b,b)+op_count_PjbVkMzmXE(a,a)+op_count_8cLx32lpNA(op_y2kQTS4a70(b,b),op_PjbVkMzmXE(a,a))+op_count_WSbXXWOizJ(op_61wBmkZwlr(op_nouZ5SZjt1(a)),op_8cLx32lpNA(op_y2kQTS4a70(b,b),op_PjbVkMzmXE(a,a)))
    return count


≹⨨a = { (((a⋐≟⩺a)⊝⪿⪼(a⨶))⩒⫫((≀↧⇸a)⪶≀⋏38)) }

def op_X6BafHHPZ5(a):
    return op_KFSx94NKJn(op_3Oe9XWJUTD(op_PjbVkMzmXE(a,a),op_rFxw8gIMmB(a)),op_zR4jO40bMj(op_ljTHtUsqzn(a),38))

def op_count_X6BafHHPZ5(a):
    count = op_count_PjbVkMzmXE(a,a)+op_count_rFxw8gIMmB(a)+op_count_3Oe9XWJUTD(op_PjbVkMzmXE(a,a),op_rFxw8gIMmB(a))+op_count_ljTHtUsqzn(a)+op_count_zR4jO40bMj(op_ljTHtUsqzn(a),38)+op_count_KFSx94NKJn(op_3Oe9XWJUTD(op_PjbVkMzmXE(a,a),op_rFxw8gIMmB(a)),op_zR4jO40bMj(op_ljTHtUsqzn(a),38))
    return count


def op_mox3eEFvMs(a):
    return op_W4YGzv6Whe(op_Y7wcNGrDQJ(op_eLAdDNolq6(53),op_UqUOXUQnbU(a,a)),op_Eev2Q7dYIw(op_hrf7POJlIJ(a,457)))

def op_count_mox3eEFvMs(a):
    count = op_count_eLAdDNolq6(53)+op_count_UqUOXUQnbU(a,a)+op_count_Y7wcNGrDQJ(op_eLAdDNolq6(53),op_UqUOXUQnbU(a,a))+op_count_hrf7POJlIJ(a,457)+op_count_Eev2Q7dYIw(op_hrf7POJlIJ(a,457))+op_count_W4YGzv6Whe(op_Y7wcNGrDQJ(op_eLAdDNolq6(53),op_UqUOXUQnbU(a,a)),op_Eev2Q7dYIw(op_hrf7POJlIJ(a,457)))
    return count


def op_EGkyMtMXk9(a):
    return op_09Ly4LVMIf(op_2fAMLLeFHb(a),op_FPxP5Y1j0W(41,a))

def op_count_EGkyMtMXk9(a):
    count = op_count_2fAMLLeFHb(a)+op_count_FPxP5Y1j0W(41,a)+op_count_09Ly4LVMIf(op_2fAMLLeFHb(a),op_FPxP5Y1j0W(41,a))
    return count


def op_Vi115CZOaf(a):
    return op_bx9Z9DAK5y(op_7j4O788W3g(a,260))

def op_count_Vi115CZOaf(a):
    count = op_count_7j4O788W3g(a,260)+op_count_bx9Z9DAK5y(op_7j4O788W3g(a,260))
    return count


def op_04VeLvqvuj(a):
    return op_hiBDRd40bf(98,a)

def op_count_04VeLvqvuj(a):
    count = op_count_hiBDRd40bf(98,a)
    return count


a≏⩑b = { (((⊡⇒⪪b)⪨⊡(a⪐-b))⊢((b≧⊼b)⫸(b⨻⪊⨷b))) }

def op_LMA9dqLka3(a, b):
    return op_5twsqlHp2o(op_kuIXHzHcAH(op_wisItNeSwq(b),op_d8xe6WWVfM(a,b)),op_Qaz2MhZaG5(op_JoLB3LXqXx(b,b),op_Pkwamo1tM2(b,b)))

def op_count_LMA9dqLka3(a, b):
    count = op_count_wisItNeSwq(b)+op_count_d8xe6WWVfM(a,b)+op_count_kuIXHzHcAH(op_wisItNeSwq(b),op_d8xe6WWVfM(a,b))+op_count_JoLB3LXqXx(b,b)+op_count_Pkwamo1tM2(b,b)+op_count_Qaz2MhZaG5(op_JoLB3LXqXx(b,b),op_Pkwamo1tM2(b,b))+op_count_5twsqlHp2o(op_kuIXHzHcAH(op_wisItNeSwq(b),op_d8xe6WWVfM(a,b)),op_Qaz2MhZaG5(op_JoLB3LXqXx(b,b),op_Pkwamo1tM2(b,b)))
    return count


def op_wBDv8JQURK(a):
    return op_2Wsdkap16l(op_Siyfjn51pv(op_W4YGzv6Whe(a,a)),op_uTBsSls0VN(op_jdwGQqwJi5(a),op_Bmrmz2XGnR(a,a)))

def op_count_wBDv8JQURK(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_Siyfjn51pv(op_W4YGzv6Whe(a,a))+op_count_jdwGQqwJi5(a)+op_count_Bmrmz2XGnR(a,a)+op_count_uTBsSls0VN(op_jdwGQqwJi5(a),op_Bmrmz2XGnR(a,a))+op_count_2Wsdkap16l(op_Siyfjn51pv(op_W4YGzv6Whe(a,a)),op_uTBsSls0VN(op_jdwGQqwJi5(a),op_Bmrmz2XGnR(a,a)))
    return count


def op_XCY0eMNfgm(a, b):
    return op_UMMmb9LONo(op_Y5cEcQhyKu(op_HmxsFra2vL(a,a),op_gSr4c7pPrV(b)))

def op_count_XCY0eMNfgm(a, b):
    count = op_count_HmxsFra2vL(a,a)+op_count_gSr4c7pPrV(b)+op_count_Y5cEcQhyKu(op_HmxsFra2vL(a,a),op_gSr4c7pPrV(b))+op_count_UMMmb9LONo(op_Y5cEcQhyKu(op_HmxsFra2vL(a,a),op_gSr4c7pPrV(b)))
    return count


def op_JR4KUEwyBT(a):
    return op_4JGOJzXMq1(op_CuHhPb8RwQ(a),op_PjbVkMzmXE(a,50))

def op_count_JR4KUEwyBT(a):
    count = op_count_CuHhPb8RwQ(a)+op_count_PjbVkMzmXE(a,50)+op_count_4JGOJzXMq1(op_CuHhPb8RwQ(a),op_PjbVkMzmXE(a,50))
    return count


a≢⨮⊬b = { (((⫇⨷60)↙↠)⋢((b⇢a)↨⪍≴(a-∠b))) }

def op_bZVfxpBV3i(a, b):
    return op_NdELin8EPX(op_texHS70gxN(op_ct1hK6qyRt(60)),op_DX7B1fY6P6(op_GMN7JP6WpN(b,a),op_s0IfDFCCuZ(a,b)))

def op_count_bZVfxpBV3i(a, b):
    count = op_count_ct1hK6qyRt(60)+op_count_texHS70gxN(op_ct1hK6qyRt(60))+op_count_GMN7JP6WpN(b,a)+op_count_s0IfDFCCuZ(a,b)+op_count_DX7B1fY6P6(op_GMN7JP6WpN(b,a),op_s0IfDFCCuZ(a,b))+op_count_NdELin8EPX(op_texHS70gxN(op_ct1hK6qyRt(60)),op_DX7B1fY6P6(op_GMN7JP6WpN(b,a),op_s0IfDFCCuZ(a,b)))
    return count


def op_1twl7c1emG(a):
    return op_fG6uBQFnGz(op_s0IfDFCCuZ(op_irKjLsMeKy(a,248),a))

def op_count_1twl7c1emG(a):
    count = op_count_irKjLsMeKy(a,248)+op_count_s0IfDFCCuZ(op_irKjLsMeKy(a,248),a)+op_count_fG6uBQFnGz(op_s0IfDFCCuZ(op_irKjLsMeKy(a,248),a))
    return count


def op_AxBbORVHmI(a, b):
    return op_86A5ENbKR9(op_9FxExcQeMw(op_DIvbN7qnHd(a),op_3sJ7IOPOlU(b,a)))

def op_count_AxBbORVHmI(a, b):
    count = op_count_DIvbN7qnHd(a)+op_count_3sJ7IOPOlU(b,a)+op_count_9FxExcQeMw(op_DIvbN7qnHd(a),op_3sJ7IOPOlU(b,a))+op_count_86A5ENbKR9(op_9FxExcQeMw(op_DIvbN7qnHd(a),op_3sJ7IOPOlU(b,a)))
    return count


def op_ROa4QIZKM1(a):
    return op_QvoQhV0rrE(op_d8xe6WWVfM(op_OKKcZfAt5B(a,a),op_eVHdItn4YL(a)),op_rlpcYeipVY(op_eaFBhJ0Uku(142,a)))

def op_count_ROa4QIZKM1(a):
    count = op_count_OKKcZfAt5B(a,a)+op_count_eVHdItn4YL(a)+op_count_d8xe6WWVfM(op_OKKcZfAt5B(a,a),op_eVHdItn4YL(a))+op_count_eaFBhJ0Uku(142,a)+op_count_rlpcYeipVY(op_eaFBhJ0Uku(142,a))+op_count_QvoQhV0rrE(op_d8xe6WWVfM(op_OKKcZfAt5B(a,a),op_eVHdItn4YL(a)),op_rlpcYeipVY(op_eaFBhJ0Uku(142,a)))
    return count


def op_CXVugmvpsF(a):
    return op_jdwGQqwJi5(op_YSKBFp38Pu(a,a))

def op_count_CXVugmvpsF(a):
    count = op_count_YSKBFp38Pu(a,a)+op_count_jdwGQqwJi5(op_YSKBFp38Pu(a,a))
    return count


def op_HSKAMekx8r(a):
    return op_UMMmb9LONo(op_YC3tgrnOyr(a,op_OWnFPqjWlR(a,a)))

def op_count_HSKAMekx8r(a):
    count = op_count_OWnFPqjWlR(a,a)+op_count_YC3tgrnOyr(a,op_OWnFPqjWlR(a,a))+op_count_UMMmb9LONo(op_YC3tgrnOyr(a,op_OWnFPqjWlR(a,a)))
    return count


def op_a4wu6RrqAP(a, b):
    return op_QDWDTvZtyM(op_PPChnnnBFF(op_dfKe02y8D2(b,173),op_IjUb3wyICU(a)))

def op_count_a4wu6RrqAP(a, b):
    count = op_count_dfKe02y8D2(b,173)+op_count_IjUb3wyICU(a)+op_count_PPChnnnBFF(op_dfKe02y8D2(b,173),op_IjUb3wyICU(a))+op_count_QDWDTvZtyM(op_PPChnnnBFF(op_dfKe02y8D2(b,173),op_IjUb3wyICU(a)))
    return count


def op_frUONFVpe5(a, b):
    return op_GMN7JP6WpN(op_4JB6nKBMSY(op_FPxP5Y1j0W(452,b),op_QKXs96F9fN(62)),op_jvbZP6NeOL(op_KfMCrRzQhT(a)))

def op_count_frUONFVpe5(a, b):
    count = op_count_FPxP5Y1j0W(452,b)+op_count_QKXs96F9fN(62)+op_count_4JB6nKBMSY(op_FPxP5Y1j0W(452,b),op_QKXs96F9fN(62))+op_count_KfMCrRzQhT(a)+op_count_jvbZP6NeOL(op_KfMCrRzQhT(a))+op_count_GMN7JP6WpN(op_4JB6nKBMSY(op_FPxP5Y1j0W(452,b),op_QKXs96F9fN(62)),op_jvbZP6NeOL(op_KfMCrRzQhT(a)))
    return count


def op_NtNF0fXNRD(a, b):
    return op_2GS7woTJqF(op_40aOVDgCDB(op_NdELin8EPX(a,66)),op_neKQRQQIil(op_qLBMy5fcJr(171),op_5RY6W0glyJ(b)))

def op_count_NtNF0fXNRD(a, b):
    count = op_count_NdELin8EPX(a,66)+op_count_40aOVDgCDB(op_NdELin8EPX(a,66))+op_count_qLBMy5fcJr(171)+op_count_5RY6W0glyJ(b)+op_count_neKQRQQIil(op_qLBMy5fcJr(171),op_5RY6W0glyJ(b))+op_count_2GS7woTJqF(op_40aOVDgCDB(op_NdELin8EPX(a,66)),op_neKQRQQIil(op_qLBMy5fcJr(171),op_5RY6W0glyJ(b)))
    return count


a⪂∄b = { ((⋑(b⩽⩡b))⋎((a∫⋜⩖b)⨰(≀↧⇸140))) }

def op_LruclEJH8T(a, b):
    return op_qy3n0tapmE(op_iz8sE888QL(op_zFNL8mZEFB(b,b)),op_eewbuw0ToL(op_JgXZM7XvWE(a,b),op_ljTHtUsqzn(140)))

def op_count_LruclEJH8T(a, b):
    count = op_count_zFNL8mZEFB(b,b)+op_count_iz8sE888QL(op_zFNL8mZEFB(b,b))+op_count_JgXZM7XvWE(a,b)+op_count_ljTHtUsqzn(140)+op_count_eewbuw0ToL(op_JgXZM7XvWE(a,b),op_ljTHtUsqzn(140))+op_count_qy3n0tapmE(op_iz8sE888QL(op_zFNL8mZEFB(b,b)),op_eewbuw0ToL(op_JgXZM7XvWE(a,b),op_ljTHtUsqzn(140)))
    return count


def op_HHzAglSfHQ(a):
    return op_SPuZE40Ntn(op_D4vGDi5EA2(op_HrjLwUk87U(187,a)),op_j9kHMeSvPp(op_WObL9SsYVE(a,67),op_i8ToyICDmI(a,a)))

def op_count_HHzAglSfHQ(a):
    count = op_count_HrjLwUk87U(187,a)+op_count_D4vGDi5EA2(op_HrjLwUk87U(187,a))+op_count_WObL9SsYVE(a,67)+op_count_i8ToyICDmI(a,a)+op_count_j9kHMeSvPp(op_WObL9SsYVE(a,67),op_i8ToyICDmI(a,a))+op_count_SPuZE40Ntn(op_D4vGDi5EA2(op_HrjLwUk87U(187,a)),op_j9kHMeSvPp(op_WObL9SsYVE(a,67),op_i8ToyICDmI(a,a)))
    return count


def op_5QP2owkj2F(a):
    return op_XnXgA4xnOs(a,367)

def op_count_5QP2owkj2F(a):
    count = op_count_XnXgA4xnOs(a,367)
    return count


def op_2pVi7WdxN8(a):
    return op_y4ImoPnbV5(a,op_VJ330n2nnx(a))

def op_count_2pVi7WdxN8(a):
    count = op_count_VJ330n2nnx(a)+op_count_y4ImoPnbV5(a,op_VJ330n2nnx(a))
    return count


⪴⇀a = { (((a⊋≦⊧a)⫗⊒⇾(182⩷∴a))⪁⨴⋨(⪚⨷a)) }

def op_2TGWtfCSF0(a):
    return op_y2kQTS4a70(op_hiBDRd40bf(op_oRDoc9rAEX(a,a),op_9FxExcQeMw(182,a)),op_6LuFrogppQ(a))

def op_count_2TGWtfCSF0(a):
    count = op_count_oRDoc9rAEX(a,a)+op_count_9FxExcQeMw(182,a)+op_count_hiBDRd40bf(op_oRDoc9rAEX(a,a),op_9FxExcQeMw(182,a))+op_count_6LuFrogppQ(a)+op_count_y2kQTS4a70(op_hiBDRd40bf(op_oRDoc9rAEX(a,a),op_9FxExcQeMw(182,a)),op_6LuFrogppQ(a))
    return count


def op_RhL9C1fmD6(a):
    return op_Noe24qw2ks(op_fLGIAiPz9h(op_JgXZM7XvWE(a,a)),op_g55IO6H4Gj(op_IxJHfR5psi(143,441),op_9FxExcQeMw(a,a)))

def op_count_RhL9C1fmD6(a):
    count = op_count_JgXZM7XvWE(a,a)+op_count_fLGIAiPz9h(op_JgXZM7XvWE(a,a))+op_count_IxJHfR5psi(143,441)+op_count_9FxExcQeMw(a,a)+op_count_g55IO6H4Gj(op_IxJHfR5psi(143,441),op_9FxExcQeMw(a,a))+op_count_Noe24qw2ks(op_fLGIAiPz9h(op_JgXZM7XvWE(a,a)),op_g55IO6H4Gj(op_IxJHfR5psi(143,441),op_9FxExcQeMw(a,a)))
    return count


def op_PgomNjGXmI(a, b):
    return op_uOZ1tnYMDE(op_Bmrmz2XGnR(a,b))

def op_count_PgomNjGXmI(a, b):
    count = op_count_Bmrmz2XGnR(a,b)+op_count_uOZ1tnYMDE(op_Bmrmz2XGnR(a,b))
    return count


def op_cbP1oMpIU3(a):
    return op_hiBDRd40bf(a,108)

def op_count_cbP1oMpIU3(a):
    count = op_count_hiBDRd40bf(a,108)
    return count


def op_45CgEd1X7v(a):
    return op_g55IO6H4Gj(op_keuJNkrrbj(a,a),op_wsXFuL0hC6(a,49))

def op_count_45CgEd1X7v(a):
    count = op_count_keuJNkrrbj(a,a)+op_count_wsXFuL0hC6(a,49)+op_count_g55IO6H4Gj(op_keuJNkrrbj(a,a),op_wsXFuL0hC6(a,49))
    return count


def op_Jpd0OHcjin(a):
    return op_b1mGkbI4Oy(a,a)

def op_count_Jpd0OHcjin(a):
    count = op_count_b1mGkbI4Oy(a,a)
    return count


def op_xoxUyiTt6N(a):
    return op_QErWpSDGk0(op_l1M9WJ3V7u(op_V4yb4KDoeF(a,a)))

def op_count_xoxUyiTt6N(a):
    count = op_count_V4yb4KDoeF(a,a)+op_count_l1M9WJ3V7u(op_V4yb4KDoeF(a,a))+op_count_QErWpSDGk0(op_l1M9WJ3V7u(op_V4yb4KDoeF(a,a)))
    return count


def op_nVqYpETDvr(a):
    return op_YApyZlDuBr(op_NrdPCfJQiM(op_3Oe9XWJUTD(216,89),op_g55IO6H4Gj(a,a)))

def op_count_nVqYpETDvr(a):
    count = op_count_3Oe9XWJUTD(216,89)+op_count_g55IO6H4Gj(a,a)+op_count_NrdPCfJQiM(op_3Oe9XWJUTD(216,89),op_g55IO6H4Gj(a,a))+op_count_YApyZlDuBr(op_NrdPCfJQiM(op_3Oe9XWJUTD(216,89),op_g55IO6H4Gj(a,a)))
    return count


def op_9j6tb9hFUI(a):
    return op_2Wsdkap16l(245,op_hrf7POJlIJ(op_3tVxb0NHM4(a,a),op_eftAHwPbeA(a)))

def op_count_9j6tb9hFUI(a):
    count = op_count_3tVxb0NHM4(a,a)+op_count_eftAHwPbeA(a)+op_count_hrf7POJlIJ(op_3tVxb0NHM4(a,a),op_eftAHwPbeA(a))+op_count_2Wsdkap16l(245,op_hrf7POJlIJ(op_3tVxb0NHM4(a,a),op_eftAHwPbeA(a)))
    return count


def op_mnxeNVfHTl(a):
    return op_6iafYuwGo8(op_sdazOOVcIp(op_tnyRA5sazQ(27,a),op_yuvXk3Mco8(a)),op_vg4gO5BX6G(op_uyq1hVkAcj(a),op_xoJmIySC7h(a,a)))

def op_count_mnxeNVfHTl(a):
    count = op_count_tnyRA5sazQ(27,a)+op_count_yuvXk3Mco8(a)+op_count_sdazOOVcIp(op_tnyRA5sazQ(27,a),op_yuvXk3Mco8(a))+op_count_uyq1hVkAcj(a)+op_count_xoJmIySC7h(a,a)+op_count_vg4gO5BX6G(op_uyq1hVkAcj(a),op_xoJmIySC7h(a,a))+op_count_6iafYuwGo8(op_sdazOOVcIp(op_tnyRA5sazQ(27,a),op_yuvXk3Mco8(a)),op_vg4gO5BX6G(op_uyq1hVkAcj(a),op_xoJmIySC7h(a,a)))
    return count


def op_6lVHKL0wOJ(a):
    return op_y4ImoPnbV5(op_bx9Z9DAK5y(op_jBC4ymW3D7(a,a)),op_7j4O788W3g(op_Q6LsZf8ZYd(a),op_09Ly4LVMIf(a,a)))

def op_count_6lVHKL0wOJ(a):
    count = op_count_jBC4ymW3D7(a,a)+op_count_bx9Z9DAK5y(op_jBC4ymW3D7(a,a))+op_count_Q6LsZf8ZYd(a)+op_count_09Ly4LVMIf(a,a)+op_count_7j4O788W3g(op_Q6LsZf8ZYd(a),op_09Ly4LVMIf(a,a))+op_count_y4ImoPnbV5(op_bx9Z9DAK5y(op_jBC4ymW3D7(a,a)),op_7j4O788W3g(op_Q6LsZf8ZYd(a),op_09Ly4LVMIf(a,a)))
    return count


def op_l6yaTd3a70(a):
    return op_ancx8kZcWl(op_vRio1gEz1j(op_hiBDRd40bf(a,a)))

def op_count_l6yaTd3a70(a):
    count = op_count_hiBDRd40bf(a,a)+op_count_vRio1gEz1j(op_hiBDRd40bf(a,a))+op_count_ancx8kZcWl(op_vRio1gEz1j(op_hiBDRd40bf(a,a)))
    return count


def op_svRCeDQHR0(a, b):
    return op_sdazOOVcIp(a,op_JgXZM7XvWE(32,b))

def op_count_svRCeDQHR0(a, b):
    count = op_count_JgXZM7XvWE(32,b)+op_count_sdazOOVcIp(a,op_JgXZM7XvWE(32,b))
    return count


def op_iKh8wCAbb7(a):
    return op_j4geBLYVFK(op_uTBsSls0VN(a,a))

def op_count_iKh8wCAbb7(a):
    count = op_count_uTBsSls0VN(a,a)+op_count_j4geBLYVFK(op_uTBsSls0VN(a,a))
    return count


def op_C4vwzYFrXv(a):
    return op_z2JHNkvbdm(op_3sJ7IOPOlU(op_1aApVXNlOP(a,a),a),op_2fAMLLeFHb(op_qAljGMXEZr(a)))

def op_count_C4vwzYFrXv(a):
    count = op_count_1aApVXNlOP(a,a)+op_count_3sJ7IOPOlU(op_1aApVXNlOP(a,a),a)+op_count_qAljGMXEZr(a)+op_count_2fAMLLeFHb(op_qAljGMXEZr(a))+op_count_z2JHNkvbdm(op_3sJ7IOPOlU(op_1aApVXNlOP(a,a),a),op_2fAMLLeFHb(op_qAljGMXEZr(a)))
    return count


def op_vgQrgVQVNk(a, b):
    return op_FyVja0WsTP(op_wEfv7U73WA(b),op_giaUb8UVhq(49,a))

def op_count_vgQrgVQVNk(a, b):
    count = op_count_wEfv7U73WA(b)+op_count_giaUb8UVhq(49,a)+op_count_FyVja0WsTP(op_wEfv7U73WA(b),op_giaUb8UVhq(49,a))
    return count


def op_pCNCNETmIQ(a, b):
    return op_eRqsBgTDFp(159,op_Y7wcNGrDQJ(b,a))

def op_count_pCNCNETmIQ(a, b):
    count = op_count_Y7wcNGrDQJ(b,a)+op_count_eRqsBgTDFp(159,op_Y7wcNGrDQJ(b,a))
    return count


def op_6qYTBZBkyR(a):
    return op_ieTw63T1Vx(op_JoLB3LXqXx(op_U6pG0PXrV3(a),op_7qqUquhhSb(a)))

def op_count_6qYTBZBkyR(a):
    count = op_count_U6pG0PXrV3(a)+op_count_7qqUquhhSb(a)+op_count_JoLB3LXqXx(op_U6pG0PXrV3(a),op_7qqUquhhSb(a))+op_count_ieTw63T1Vx(op_JoLB3LXqXx(op_U6pG0PXrV3(a),op_7qqUquhhSb(a)))
    return count


def op_Itv93Yo1MF(a):
    return op_HQuZ2f4It9(op_PjbVkMzmXE(op_PjbVkMzmXE(a,a),op_Qaz2MhZaG5(a,a)))

def op_count_Itv93Yo1MF(a):
    count = op_count_PjbVkMzmXE(a,a)+op_count_Qaz2MhZaG5(a,a)+op_count_PjbVkMzmXE(op_PjbVkMzmXE(a,a),op_Qaz2MhZaG5(a,a))+op_count_HQuZ2f4It9(op_PjbVkMzmXE(op_PjbVkMzmXE(a,a),op_Qaz2MhZaG5(a,a)))
    return count


def op_gZrEJN9j6U(a):
    return op_KipPnG1M2J(op_j9kHMeSvPp(61,a))

def op_count_gZrEJN9j6U(a):
    count = op_count_j9kHMeSvPp(61,a)+op_count_KipPnG1M2J(op_j9kHMeSvPp(61,a))
    return count


def op_xgB3tWPdtm(a, b):
    return op_fOIeswaMU4(op_9bazX3JMtO(op_KbjG8mgYpV(b,b),op_HrjLwUk87U(a,a)))

def op_count_xgB3tWPdtm(a, b):
    count = op_count_KbjG8mgYpV(b,b)+op_count_HrjLwUk87U(a,a)+op_count_9bazX3JMtO(op_KbjG8mgYpV(b,b),op_HrjLwUk87U(a,a))+op_count_fOIeswaMU4(op_9bazX3JMtO(op_KbjG8mgYpV(b,b),op_HrjLwUk87U(a,a)))
    return count


def op_ERYOjm1MXQ(a):
    return op_E4l6HwMY31(a,op_QErWpSDGk0(a))

def op_count_ERYOjm1MXQ(a):
    count = op_count_QErWpSDGk0(a)+op_count_E4l6HwMY31(a,op_QErWpSDGk0(a))
    return count


a⫠→⩳ = { ((⫳⪺∰(131⊔%a))⩵∡((a⋥≓≎a)⨰↻⪇(a⩾a))) }

def op_2mhqNW5Qok(a):
    return op_Y7wcNGrDQJ(op_eftAHwPbeA(op_uysxUYN2L2(131,a)),op_nbuSfrB4hB(op_Qy55tPpLXF(a,a),op_UggxBX659n(a,a)))

def op_count_2mhqNW5Qok(a):
    count = op_count_uysxUYN2L2(131,a)+op_count_eftAHwPbeA(op_uysxUYN2L2(131,a))+op_count_Qy55tPpLXF(a,a)+op_count_UggxBX659n(a,a)+op_count_nbuSfrB4hB(op_Qy55tPpLXF(a,a),op_UggxBX659n(a,a))+op_count_Y7wcNGrDQJ(op_eftAHwPbeA(op_uysxUYN2L2(131,a)),op_nbuSfrB4hB(op_Qy55tPpLXF(a,a),op_UggxBX659n(a,a)))
    return count


def op_RFEUBJbRkQ(a):
    return op_uyq1hVkAcj(op_RygbFNSyEJ(op_2z8nE7LpCu(a,a),op_EO7Xdgo9So(665)))

def op_count_RFEUBJbRkQ(a):
    count = op_count_2z8nE7LpCu(a,a)+op_count_EO7Xdgo9So(665)+op_count_RygbFNSyEJ(op_2z8nE7LpCu(a,a),op_EO7Xdgo9So(665))+op_count_uyq1hVkAcj(op_RygbFNSyEJ(op_2z8nE7LpCu(a,a),op_EO7Xdgo9So(665)))
    return count


def op_2v2enMDULb(a):
    return op_th50nGnoUm(op_NTOWxs364D(op_jBC4ymW3D7(a,a),op_nouZ5SZjt1(a)))

def op_count_2v2enMDULb(a):
    count = op_count_jBC4ymW3D7(a,a)+op_count_nouZ5SZjt1(a)+op_count_NTOWxs364D(op_jBC4ymW3D7(a,a),op_nouZ5SZjt1(a))+op_count_th50nGnoUm(op_NTOWxs364D(op_jBC4ymW3D7(a,a),op_nouZ5SZjt1(a)))
    return count


def op_Un5MXTlDFV(a):
    return op_tifHPKVTfV(op_aHKFHkCgn9(op_hrf7POJlIJ(a,a)),op_6o9Blt3TJ6(op_d8xe6WWVfM(a,630),op_Z5m6OM72h2(a,a)))

def op_count_Un5MXTlDFV(a):
    count = op_count_hrf7POJlIJ(a,a)+op_count_aHKFHkCgn9(op_hrf7POJlIJ(a,a))+op_count_d8xe6WWVfM(a,630)+op_count_Z5m6OM72h2(a,a)+op_count_6o9Blt3TJ6(op_d8xe6WWVfM(a,630),op_Z5m6OM72h2(a,a))+op_count_tifHPKVTfV(op_aHKFHkCgn9(op_hrf7POJlIJ(a,a)),op_6o9Blt3TJ6(op_d8xe6WWVfM(a,630),op_Z5m6OM72h2(a,a)))
    return count


def op_HknQgamFGR(a):
    return op_dfKe02y8D2(a,op_ut0Nd8ObBp(54))

def op_count_HknQgamFGR(a):
    count = op_count_ut0Nd8ObBp(54)+op_count_dfKe02y8D2(a,op_ut0Nd8ObBp(54))
    return count


def op_owIDl29zEl(a, b):
    return op_AnPstFaJd9(op_S5ZFQS4GK3(b,a))

def op_count_owIDl29zEl(a, b):
    count = op_count_S5ZFQS4GK3(b,a)+op_count_AnPstFaJd9(op_S5ZFQS4GK3(b,a))
    return count


def op_wsz63JP8Z9(a):
    return op_y4ImoPnbV5(op_oPMjh9089D(a),op_COABgblf1C(a,a))

def op_count_wsz63JP8Z9(a):
    count = op_count_oPMjh9089D(a)+op_count_COABgblf1C(a,a)+op_count_y4ImoPnbV5(op_oPMjh9089D(a),op_COABgblf1C(a,a))
    return count


def op_p86lzYUsDd(a):
    return op_JDUIKTTSIa(412,a)

def op_count_p86lzYUsDd(a):
    count = op_count_JDUIKTTSIa(412,a)
    return count


def op_BNPVmLPG9V(a):
    return op_GMyVS5K48T(op_eftAHwPbeA(a),op_Bmrmz2XGnR(a,a))

def op_count_BNPVmLPG9V(a):
    count = op_count_eftAHwPbeA(a)+op_count_Bmrmz2XGnR(a,a)+op_count_GMyVS5K48T(op_eftAHwPbeA(a),op_Bmrmz2XGnR(a,a))
    return count


def op_hFzQJzHjcL(a):
    return op_l1M9WJ3V7u(op_2M7SKlOzyM(a,a))

def op_count_hFzQJzHjcL(a):
    count = op_count_2M7SKlOzyM(a,a)+op_count_l1M9WJ3V7u(op_2M7SKlOzyM(a,a))
    return count


def op_MzRW7k9OSH(a, b):
    return op_qxqspddX8k(op_HrjLwUk87U(417,b),op_G8pG1QxO6Y(a))

def op_count_MzRW7k9OSH(a, b):
    count = op_count_HrjLwUk87U(417,b)+op_count_G8pG1QxO6Y(a)+op_count_qxqspddX8k(op_HrjLwUk87U(417,b),op_G8pG1QxO6Y(a))
    return count


def op_SLhMx8tn5D(a):
    return op_d7ASUq0ydm(a,a)

def op_count_SLhMx8tn5D(a):
    count = op_count_d7ASUq0ydm(a,a)
    return count


def op_b6ngcG4bdA(a):
    return op_GMN7JP6WpN(op_umQnsF7QlU(a,a),op_R3vAdrE3IH(a))

def op_count_b6ngcG4bdA(a):
    count = op_count_umQnsF7QlU(a,a)+op_count_R3vAdrE3IH(a)+op_count_GMN7JP6WpN(op_umQnsF7QlU(a,a),op_R3vAdrE3IH(a))
    return count


def op_tTOv6jcZDA(a):
    return op_7j4O788W3g(op_2ufhKmSs5H(a),op_L05ObWFQCd(a,a))

def op_count_tTOv6jcZDA(a):
    count = op_count_2ufhKmSs5H(a)+op_count_L05ObWFQCd(a,a)+op_count_7j4O788W3g(op_2ufhKmSs5H(a),op_L05ObWFQCd(a,a))
    return count


def op_nYDe5xJhnr(a):
    return op_wmlQD0656L(op_j4geBLYVFK(op_COABgblf1C(263,a)))

def op_count_nYDe5xJhnr(a):
    count = op_count_COABgblf1C(263,a)+op_count_j4geBLYVFK(op_COABgblf1C(263,a))+op_count_wmlQD0656L(op_j4geBLYVFK(op_COABgblf1C(263,a)))
    return count


∠a = { (((5⪔⊥a)⨻⪊⨷(a⪇≇⋚a))⋰⇉∕(↸⊣(a⪇≇⋚a))) }

def op_uEzDtkuuWN(a):
    return op_sM9mzqIDB1(op_Pkwamo1tM2(op_HJ9erzHUuu(5,a),op_3sJ7IOPOlU(a,a)),op_wztAlM01eG(op_3sJ7IOPOlU(a,a)))

def op_count_uEzDtkuuWN(a):
    count = op_count_HJ9erzHUuu(5,a)+op_count_3sJ7IOPOlU(a,a)+op_count_Pkwamo1tM2(op_HJ9erzHUuu(5,a),op_3sJ7IOPOlU(a,a))+op_count_3sJ7IOPOlU(a,a)+op_count_wztAlM01eG(op_3sJ7IOPOlU(a,a))+op_count_sM9mzqIDB1(op_Pkwamo1tM2(op_HJ9erzHUuu(5,a),op_3sJ7IOPOlU(a,a)),op_wztAlM01eG(op_3sJ7IOPOlU(a,a)))
    return count


def op_k5AdHc7A76(a, b):
    return op_VCG3UHNzLR(op_i8ToyICDmI(627,b),op_liw5iZPkLH(a))

def op_count_k5AdHc7A76(a, b):
    count = op_count_i8ToyICDmI(627,b)+op_count_liw5iZPkLH(a)+op_count_VCG3UHNzLR(op_i8ToyICDmI(627,b),op_liw5iZPkLH(a))
    return count


def op_hrziixWsQn(a):
    return op_OWnFPqjWlR(op_hYjFJ8q04Z(op_64EQ39e0fC(a,a)),op_fLGIAiPz9h(op_d8xe6WWVfM(a,a)))

def op_count_hrziixWsQn(a):
    count = op_count_64EQ39e0fC(a,a)+op_count_hYjFJ8q04Z(op_64EQ39e0fC(a,a))+op_count_d8xe6WWVfM(a,a)+op_count_fLGIAiPz9h(op_d8xe6WWVfM(a,a))+op_count_OWnFPqjWlR(op_hYjFJ8q04Z(op_64EQ39e0fC(a,a)),op_fLGIAiPz9h(op_d8xe6WWVfM(a,a)))
    return count


def op_sCmkhm4nGY(a):
    return op_keWfFq85dY(op_6iafYuwGo8(a,a))

def op_count_sCmkhm4nGY(a):
    count = op_count_6iafYuwGo8(a,a)+op_count_keWfFq85dY(op_6iafYuwGo8(a,a))
    return count


a⩎⫍⋯ = { (((515∊⊞≈a)∼⇢(a→⨶⪴a))⪍↜⋙((a≾⋳)⋷(a⊠≄⫣))) }

def op_Uvzk2f6EIK(a):
    return op_L05ObWFQCd(op_Cr5xnr8B4B(op_keuJNkrrbj(515,a),op_bF6eod5Gvf(a,a)),op_23Mk6UjR3U(op_1tCtMSPkGf(a),op_DIvbN7qnHd(a)))

def op_count_Uvzk2f6EIK(a):
    count = op_count_keuJNkrrbj(515,a)+op_count_bF6eod5Gvf(a,a)+op_count_Cr5xnr8B4B(op_keuJNkrrbj(515,a),op_bF6eod5Gvf(a,a))+op_count_1tCtMSPkGf(a)+op_count_DIvbN7qnHd(a)+op_count_23Mk6UjR3U(op_1tCtMSPkGf(a),op_DIvbN7qnHd(a))+op_count_L05ObWFQCd(op_Cr5xnr8B4B(op_keuJNkrrbj(515,a),op_bF6eod5Gvf(a,a)),op_23Mk6UjR3U(op_1tCtMSPkGf(a),op_DIvbN7qnHd(a)))
    return count


def op_TFC8BisZgT(a, b):
    return op_GMN7JP6WpN(op_2Wsdkap16l(1,a),op_k7HXdKtiEU(b))

def op_count_TFC8BisZgT(a, b):
    count = op_count_2Wsdkap16l(1,a)+op_count_k7HXdKtiEU(b)+op_count_GMN7JP6WpN(op_2Wsdkap16l(1,a),op_k7HXdKtiEU(b))
    return count


def op_sTpW6rPgxn(a):
    return op_KipPnG1M2J(op_DmTXOeWf9t(a,a))

def op_count_sTpW6rPgxn(a):
    count = op_count_DmTXOeWf9t(a,a)+op_count_KipPnG1M2J(op_DmTXOeWf9t(a,a))
    return count


def op_9raouWxsgn(a):
    return op_NdELin8EPX(a,op_IjUb3wyICU(op_KROiRRz3d6(a,a)))

def op_count_9raouWxsgn(a):
    count = op_count_KROiRRz3d6(a,a)+op_count_IjUb3wyICU(op_KROiRRz3d6(a,a))+op_count_NdELin8EPX(a,op_IjUb3wyICU(op_KROiRRz3d6(a,a)))
    return count


a⊎⇁⫏b = { ((⨾∊⩁(b≽⪈↿a))⫰⋱((257≖−≲)⊒(a∷b))) }

def op_oj0wKxwag9(a, b):
    return op_6o9Blt3TJ6(op_QErWpSDGk0(op_inCIaGQf8u(b,a)),op_rPNtK4BLRO(op_IpgdDpBHsO(257),op_D3AQDKkPcf(a,b)))

def op_count_oj0wKxwag9(a, b):
    count = op_count_inCIaGQf8u(b,a)+op_count_QErWpSDGk0(op_inCIaGQf8u(b,a))+op_count_IpgdDpBHsO(257)+op_count_D3AQDKkPcf(a,b)+op_count_rPNtK4BLRO(op_IpgdDpBHsO(257),op_D3AQDKkPcf(a,b))+op_count_6o9Blt3TJ6(op_QErWpSDGk0(op_inCIaGQf8u(b,a)),op_rPNtK4BLRO(op_IpgdDpBHsO(257),op_D3AQDKkPcf(a,b)))
    return count


def op_BBvI4SRxrt(a):
    return op_2td37pGCOC(op_HrjLwUk87U(op_rIsGeVJWJF(a),op_JclMnS0uGI(a,a)))

def op_count_BBvI4SRxrt(a):
    count = op_count_rIsGeVJWJF(a)+op_count_JclMnS0uGI(a,a)+op_count_HrjLwUk87U(op_rIsGeVJWJF(a),op_JclMnS0uGI(a,a))+op_count_2td37pGCOC(op_HrjLwUk87U(op_rIsGeVJWJF(a),op_JclMnS0uGI(a,a)))
    return count


def op_gImejOImwh(a):
    return op_pRsWfj4Fpp(op_nCS4ZIUYfx(op_JoLB3LXqXx(a,a),a))

def op_count_gImejOImwh(a):
    count = op_count_JoLB3LXqXx(a,a)+op_count_nCS4ZIUYfx(op_JoLB3LXqXx(a,a),a)+op_count_pRsWfj4Fpp(op_nCS4ZIUYfx(op_JoLB3LXqXx(a,a),a))
    return count


def op_cgVMmUnmyy(a):
    return op_23Mk6UjR3U(op_kc7iqVBlRY(op_RygbFNSyEJ(a,239)),op_Y7wcNGrDQJ(op_j9kHMeSvPp(a,a),op_Y7wcNGrDQJ(a,a)))

def op_count_cgVMmUnmyy(a):
    count = op_count_RygbFNSyEJ(a,239)+op_count_kc7iqVBlRY(op_RygbFNSyEJ(a,239))+op_count_j9kHMeSvPp(a,a)+op_count_Y7wcNGrDQJ(a,a)+op_count_Y7wcNGrDQJ(op_j9kHMeSvPp(a,a),op_Y7wcNGrDQJ(a,a))+op_count_23Mk6UjR3U(op_kc7iqVBlRY(op_RygbFNSyEJ(a,239)),op_Y7wcNGrDQJ(op_j9kHMeSvPp(a,a),op_Y7wcNGrDQJ(a,a)))
    return count


≟⪴a = { ((⫳⪺∰(a≜))⨩≤⫤((⊈112)⇿⊰(a∠⫱a))) }

def op_rxhJEvh336(a):
    return op_neKQRQQIil(op_eftAHwPbeA(op_jvbZP6NeOL(a)),op_ap3xiM279w(op_RHru8klgy8(112),op_QvoQhV0rrE(a,a)))

def op_count_rxhJEvh336(a):
    count = op_count_jvbZP6NeOL(a)+op_count_eftAHwPbeA(op_jvbZP6NeOL(a))+op_count_RHru8klgy8(112)+op_count_QvoQhV0rrE(a,a)+op_count_ap3xiM279w(op_RHru8klgy8(112),op_QvoQhV0rrE(a,a))+op_count_neKQRQQIil(op_eftAHwPbeA(op_jvbZP6NeOL(a)),op_ap3xiM279w(op_RHru8klgy8(112),op_QvoQhV0rrE(a,a)))
    return count


def op_HYQYetZkj2(a, b):
    return op_FB83X2dByY(op_3EYGwJThht(op_64EQ39e0fC(90,b),op_mhIhit33mg(a)))

def op_count_HYQYetZkj2(a, b):
    count = op_count_64EQ39e0fC(90,b)+op_count_mhIhit33mg(a)+op_count_3EYGwJThht(op_64EQ39e0fC(90,b),op_mhIhit33mg(a))+op_count_FB83X2dByY(op_3EYGwJThht(op_64EQ39e0fC(90,b),op_mhIhit33mg(a)))
    return count


a⇐*∿b = { (((a⨜⨶b)⪁⨴⋨(b≖−≲))⪁⨴⋨((a⫍⨯↯)⩢≭)) }

def op_IjpNKm0C6p(a, b):
    return op_y2kQTS4a70(op_y2kQTS4a70(op_HiPekx5b7W(a,b),op_IpgdDpBHsO(b)),op_rv8OxMkTSD(op_ZcwmYACASQ(a)))

def op_count_IjpNKm0C6p(a, b):
    count = op_count_HiPekx5b7W(a,b)+op_count_IpgdDpBHsO(b)+op_count_y2kQTS4a70(op_HiPekx5b7W(a,b),op_IpgdDpBHsO(b))+op_count_ZcwmYACASQ(a)+op_count_rv8OxMkTSD(op_ZcwmYACASQ(a))+op_count_y2kQTS4a70(op_y2kQTS4a70(op_HiPekx5b7W(a,b),op_IpgdDpBHsO(b)),op_rv8OxMkTSD(op_ZcwmYACASQ(a)))
    return count


def op_0jCm5pNiJO(a, b):
    return op_dfKe02y8D2(op_D3AQDKkPcf(b,a),a)

def op_count_0jCm5pNiJO(a, b):
    count = op_count_D3AQDKkPcf(b,a)+op_count_dfKe02y8D2(op_D3AQDKkPcf(b,a),a)
    return count


def op_srBb5Ry0l3(a):
    return op_DbCuESL50I(op_cwbF3JtlMN(a,a))

def op_count_srBb5Ry0l3(a):
    count = op_count_cwbF3JtlMN(a,a)+op_count_DbCuESL50I(op_cwbF3JtlMN(a,a))
    return count


a∃b = { (((b≟⫹a)⫇⋯(b⋢a))⩷∴((a≚⊃≕b)⫍⨯↯)) }

def op_3H5Xx7QWkg(a, b):
    return op_9FxExcQeMw(op_xoJmIySC7h(op_z2JHNkvbdm(b,a),op_NdELin8EPX(b,a)),op_ZcwmYACASQ(op_Bmrmz2XGnR(a,b)))

def op_count_3H5Xx7QWkg(a, b):
    count = op_count_z2JHNkvbdm(b,a)+op_count_NdELin8EPX(b,a)+op_count_xoJmIySC7h(op_z2JHNkvbdm(b,a),op_NdELin8EPX(b,a))+op_count_Bmrmz2XGnR(a,b)+op_count_ZcwmYACASQ(op_Bmrmz2XGnR(a,b))+op_count_9FxExcQeMw(op_xoJmIySC7h(op_z2JHNkvbdm(b,a),op_NdELin8EPX(b,a)),op_ZcwmYACASQ(op_Bmrmz2XGnR(a,b)))
    return count


def op_KGvK55y89q(a):
    return op_kuIXHzHcAH(a,a)

def op_count_KGvK55y89q(a):
    count = op_count_kuIXHzHcAH(a,a)
    return count


def op_0De0cgdyF4(a):
    return op_ar1w6gUwHX(a,a)

def op_count_0De0cgdyF4(a):
    count = op_count_ar1w6gUwHX(a,a)
    return count


def op_CJQMSuANdj(a, b):
    return op_Y9dhGmbGii(op_KPf6cnQVty(op_OWnFPqjWlR(210,a),op_OTRTVPweYV(b,2)))

def op_count_CJQMSuANdj(a, b):
    count = op_count_OWnFPqjWlR(210,a)+op_count_OTRTVPweYV(b,2)+op_count_KPf6cnQVty(op_OWnFPqjWlR(210,a),op_OTRTVPweYV(b,2))+op_count_Y9dhGmbGii(op_KPf6cnQVty(op_OWnFPqjWlR(210,a),op_OTRTVPweYV(b,2)))
    return count


def op_xMlr59cfq7(a):
    return op_WmT3o8z6ya(op_6iafYuwGo8(op_Bmrmz2XGnR(a,a),op_DZ8iAZOCBD(a,a)))

def op_count_xMlr59cfq7(a):
    count = op_count_Bmrmz2XGnR(a,a)+op_count_DZ8iAZOCBD(a,a)+op_count_6iafYuwGo8(op_Bmrmz2XGnR(a,a),op_DZ8iAZOCBD(a,a))+op_count_WmT3o8z6ya(op_6iafYuwGo8(op_Bmrmz2XGnR(a,a),op_DZ8iAZOCBD(a,a)))
    return count


def op_yXb8vAEUka(a):
    return op_JoLB3LXqXx(a,a)

def op_count_yXb8vAEUka(a):
    count = op_count_JoLB3LXqXx(a,a)
    return count


def op_8i5ue7LxuV(a):
    return op_cwbF3JtlMN(op_ocpzidtxKt(op_KWeyIRWUIQ(a)),a)

def op_count_8i5ue7LxuV(a):
    count = op_count_KWeyIRWUIQ(a)+op_count_ocpzidtxKt(op_KWeyIRWUIQ(a))+op_count_cwbF3JtlMN(op_ocpzidtxKt(op_KWeyIRWUIQ(a)),a)
    return count


def op_qhm8Q3fl1j(a):
    return op_2DDjHMKMc0(a,op_hYjFJ8q04Z(a))

def op_count_qhm8Q3fl1j(a):
    count = op_count_hYjFJ8q04Z(a)+op_count_2DDjHMKMc0(a,op_hYjFJ8q04Z(a))
    return count


a≝ = { ((⇉-⫰(a⫡⨏a))⨔⊶↷((a⫏↛⩏a)⊭↱(↸⊣46))) }

def op_qediHccxJ2(a):
    return op_WObL9SsYVE(op_IGFM8TAlm9(op_QMFrweE19q(a,a)),op_COABgblf1C(op_YC3tgrnOyr(a,a),op_wztAlM01eG(46)))

def op_count_qediHccxJ2(a):
    count = op_count_QMFrweE19q(a,a)+op_count_IGFM8TAlm9(op_QMFrweE19q(a,a))+op_count_YC3tgrnOyr(a,a)+op_count_wztAlM01eG(46)+op_count_COABgblf1C(op_YC3tgrnOyr(a,a),op_wztAlM01eG(46))+op_count_WObL9SsYVE(op_IGFM8TAlm9(op_QMFrweE19q(a,a)),op_COABgblf1C(op_YC3tgrnOyr(a,a),op_wztAlM01eG(46)))
    return count


def op_eN03chWq6S(a):
    return op_z4E1FaHLuy(op_W2rMsuCzF8(a))

def op_count_eN03chWq6S(a):
    count = op_count_W2rMsuCzF8(a)+op_count_z4E1FaHLuy(op_W2rMsuCzF8(a))
    return count


def op_WIeCRpJbtd(a):
    return op_b1mGkbI4Oy(op_XbEAUggs3J(op_vRio1gEz1j(a)),233)

def op_count_WIeCRpJbtd(a):
    count = op_count_vRio1gEz1j(a)+op_count_XbEAUggs3J(op_vRio1gEz1j(a))+op_count_b1mGkbI4Oy(op_XbEAUggs3J(op_vRio1gEz1j(a)),233)
    return count


def op_Gz5gWR6o3m(a):
    return op_KPf6cnQVty(op_W4YGzv6Whe(a,a),op_bQ67fsrMVf(a))

def op_count_Gz5gWR6o3m(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_bQ67fsrMVf(a)+op_count_KPf6cnQVty(op_W4YGzv6Whe(a,a),op_bQ67fsrMVf(a))
    return count


def op_61C3GuCVLx(a):
    return op_ZcwmYACASQ(op_NTOWxs364D(a,a))

def op_count_61C3GuCVLx(a):
    count = op_count_NTOWxs364D(a,a)+op_count_ZcwmYACASQ(op_NTOWxs364D(a,a))
    return count


def op_5J5f66qPvN(a):
    return op_W2rMsuCzF8(op_R3vAdrE3IH(op_2DDjHMKMc0(a,a)))

def op_count_5J5f66qPvN(a):
    count = op_count_2DDjHMKMc0(a,a)+op_count_R3vAdrE3IH(op_2DDjHMKMc0(a,a))+op_count_W2rMsuCzF8(op_R3vAdrE3IH(op_2DDjHMKMc0(a,a)))
    return count


a⩜⪗≁ = { (((a⋆⋳)⪖⪡(a⪎↠a))∊⊞≈((⩒∊a)⨓↿∉(a∽a))) }

def op_8PVKkaeSLf(a):
    return op_keuJNkrrbj(op_7PjNe5qSIJ(op_6MpZysEj17(a),op_3tVxb0NHM4(a,a)),op_OWnFPqjWlR(op_qazvmhNBbN(a),op_y4ImoPnbV5(a,a)))

def op_count_8PVKkaeSLf(a):
    count = op_count_6MpZysEj17(a)+op_count_3tVxb0NHM4(a,a)+op_count_7PjNe5qSIJ(op_6MpZysEj17(a),op_3tVxb0NHM4(a,a))+op_count_qazvmhNBbN(a)+op_count_y4ImoPnbV5(a,a)+op_count_OWnFPqjWlR(op_qazvmhNBbN(a),op_y4ImoPnbV5(a,a))+op_count_keuJNkrrbj(op_7PjNe5qSIJ(op_6MpZysEj17(a),op_3tVxb0NHM4(a,a)),op_OWnFPqjWlR(op_qazvmhNBbN(a),op_y4ImoPnbV5(a,a)))
    return count


def op_qA6dhkfGJ8(a):
    return op_oj4YnGA3cE(op_rPNtK4BLRO(op_wztAlM01eG(a),op_ocnLzx9CaJ(a,a)))

def op_count_qA6dhkfGJ8(a):
    count = op_count_wztAlM01eG(a)+op_count_ocnLzx9CaJ(a,a)+op_count_rPNtK4BLRO(op_wztAlM01eG(a),op_ocnLzx9CaJ(a,a))+op_count_oj4YnGA3cE(op_rPNtK4BLRO(op_wztAlM01eG(a),op_ocnLzx9CaJ(a,a)))
    return count


def op_qg6AVprVkX(a):
    return op_y2kQTS4a70(op_FPxP5Y1j0W(139,a),op_MmTdOpaElr(a))

def op_count_qg6AVprVkX(a):
    count = op_count_FPxP5Y1j0W(139,a)+op_count_MmTdOpaElr(a)+op_count_y2kQTS4a70(op_FPxP5Y1j0W(139,a),op_MmTdOpaElr(a))
    return count


def op_5IbpXbaXDC(a):
    return op_E4l6HwMY31(5,a)

def op_count_5IbpXbaXDC(a):
    count = op_count_E4l6HwMY31(5,a)
    return count


def op_MLcC8hLVgw(a, b):
    return op_2z8nE7LpCu(op_3Oe9XWJUTD(b,a),op_D4vGDi5EA2(3))

def op_count_MLcC8hLVgw(a, b):
    count = op_count_3Oe9XWJUTD(b,a)+op_count_D4vGDi5EA2(3)+op_count_2z8nE7LpCu(op_3Oe9XWJUTD(b,a),op_D4vGDi5EA2(3))
    return count


def op_X7Ai75l9Fg(a):
    return op_SPuZE40Ntn(op_12rbrZMWeM(op_ap3xiM279w(a,a),op_4JB6nKBMSY(a,a)),op_SpZWOsLKZJ(op_Rw46J52cBJ(a,a)))

def op_count_X7Ai75l9Fg(a):
    count = op_count_ap3xiM279w(a,a)+op_count_4JB6nKBMSY(a,a)+op_count_12rbrZMWeM(op_ap3xiM279w(a,a),op_4JB6nKBMSY(a,a))+op_count_Rw46J52cBJ(a,a)+op_count_SpZWOsLKZJ(op_Rw46J52cBJ(a,a))+op_count_SPuZE40Ntn(op_12rbrZMWeM(op_ap3xiM279w(a,a),op_4JB6nKBMSY(a,a)),op_SpZWOsLKZJ(op_Rw46J52cBJ(a,a)))
    return count


⫛≇≢a = { (((a⩱)⊝⪿⪼(a⇛a))↹⊜(⩕↛(⨢⋑⪾186))) }

def op_ZUqWrWYwGf(a):
    return op_9bazX3JMtO(op_3Oe9XWJUTD(op_uyq1hVkAcj(a),op_S3tN1ZzpSt(a,a)),op_3EhVUz7Ug9(op_tmjFFOTKyA(186)))

def op_count_ZUqWrWYwGf(a):
    count = op_count_uyq1hVkAcj(a)+op_count_S3tN1ZzpSt(a,a)+op_count_3Oe9XWJUTD(op_uyq1hVkAcj(a),op_S3tN1ZzpSt(a,a))+op_count_tmjFFOTKyA(186)+op_count_3EhVUz7Ug9(op_tmjFFOTKyA(186))+op_count_9bazX3JMtO(op_3Oe9XWJUTD(op_uyq1hVkAcj(a),op_S3tN1ZzpSt(a,a)),op_3EhVUz7Ug9(op_tmjFFOTKyA(186)))
    return count


def op_M3eNBtCyWN(a):
    return op_6iafYuwGo8(a,a)

def op_count_M3eNBtCyWN(a):
    count = op_count_6iafYuwGo8(a,a)
    return count


def op_xaRIqAkB3v(a, b):
    return op_sdazOOVcIp(op_9Isq31Ruls(a,669),op_XnXgA4xnOs(b,b))

def op_count_xaRIqAkB3v(a, b):
    count = op_count_9Isq31Ruls(a,669)+op_count_XnXgA4xnOs(b,b)+op_count_sdazOOVcIp(op_9Isq31Ruls(a,669),op_XnXgA4xnOs(b,b))
    return count


⪅⇄a = { (((a⪔⊥a)⪈⋁⩁(a⩷∴a))≽⪈↿((a⋞a)⪠⩆⊳)) }

def op_xMR2S8fb9y(a):
    return op_inCIaGQf8u(op_GMyVS5K48T(op_HJ9erzHUuu(a,a),op_9FxExcQeMw(a,a)),op_JLbD19bQDL(op_V4yb4KDoeF(a,a)))

def op_count_xMR2S8fb9y(a):
    count = op_count_HJ9erzHUuu(a,a)+op_count_9FxExcQeMw(a,a)+op_count_GMyVS5K48T(op_HJ9erzHUuu(a,a),op_9FxExcQeMw(a,a))+op_count_V4yb4KDoeF(a,a)+op_count_JLbD19bQDL(op_V4yb4KDoeF(a,a))+op_count_inCIaGQf8u(op_GMyVS5K48T(op_HJ9erzHUuu(a,a),op_9FxExcQeMw(a,a)),op_JLbD19bQDL(op_V4yb4KDoeF(a,a)))
    return count


def op_kPwFPZlApY(a, b):
    return op_D3AQDKkPcf(op_DE7zCoGJt9(op_OTRTVPweYV(a,a)),op_eewbuw0ToL(b,op_Qaz2MhZaG5(26,a)))

def op_count_kPwFPZlApY(a, b):
    count = op_count_OTRTVPweYV(a,a)+op_count_DE7zCoGJt9(op_OTRTVPweYV(a,a))+op_count_Qaz2MhZaG5(26,a)+op_count_eewbuw0ToL(b,op_Qaz2MhZaG5(26,a))+op_count_D3AQDKkPcf(op_DE7zCoGJt9(op_OTRTVPweYV(a,a)),op_eewbuw0ToL(b,op_Qaz2MhZaG5(26,a)))
    return count


a⇎⋱b = { (((≈b)∘(a⨔⊶↷184))∺≝⩲(⨾∊⩁(⩆⇋b))) }

def op_bIDw1T0Uny(a, b):
    return op_KPf6cnQVty(op_Z5m6OM72h2(op_EO7Xdgo9So(b),op_WObL9SsYVE(a,184)),op_QErWpSDGk0(op_IjUb3wyICU(b)))

def op_count_bIDw1T0Uny(a, b):
    count = op_count_EO7Xdgo9So(b)+op_count_WObL9SsYVE(a,184)+op_count_Z5m6OM72h2(op_EO7Xdgo9So(b),op_WObL9SsYVE(a,184))+op_count_IjUb3wyICU(b)+op_count_QErWpSDGk0(op_IjUb3wyICU(b))+op_count_KPf6cnQVty(op_Z5m6OM72h2(op_EO7Xdgo9So(b),op_WObL9SsYVE(a,184)),op_QErWpSDGk0(op_IjUb3wyICU(b)))
    return count


a⨈⊍⊬ = { (((86⇼⇔∾a)⪖⪡(a⩒⫫a))⩌((180⨸⪁a)⨱∎)) }

def op_EWoN9ihKS0(a):
    return op_UoVew8f2p2(op_7PjNe5qSIJ(op_tifHPKVTfV(86,a),op_KFSx94NKJn(a,a)),op_MmTdOpaElr(op_g55IO6H4Gj(180,a)))

def op_count_EWoN9ihKS0(a):
    count = op_count_tifHPKVTfV(86,a)+op_count_KFSx94NKJn(a,a)+op_count_7PjNe5qSIJ(op_tifHPKVTfV(86,a),op_KFSx94NKJn(a,a))+op_count_g55IO6H4Gj(180,a)+op_count_MmTdOpaElr(op_g55IO6H4Gj(180,a))+op_count_UoVew8f2p2(op_7PjNe5qSIJ(op_tifHPKVTfV(86,a),op_KFSx94NKJn(a,a)),op_MmTdOpaElr(op_g55IO6H4Gj(180,a)))
    return count


def op_koGF2CwRKp(a):
    return op_cFVlceoRkX(op_Q9TX5pQS3Y(a),op_3YWlZA9bsa(a,a))

def op_count_koGF2CwRKp(a):
    count = op_count_Q9TX5pQS3Y(a)+op_count_3YWlZA9bsa(a,a)+op_count_cFVlceoRkX(op_Q9TX5pQS3Y(a),op_3YWlZA9bsa(a,a))
    return count


a⪰⋎⋣b = { (((b-∠a)⫏↛⩏(b⋢b))⪨⊡((⊤b)⩹(a⇪⋱))) }

def op_v7AuZyLTHx(a, b):
    return op_kuIXHzHcAH(op_YC3tgrnOyr(op_s0IfDFCCuZ(b,a),op_NdELin8EPX(b,b)),op_2Wsdkap16l(op_oDvtRyfmAM(b),op_MKzNxCV7Yo(a)))

def op_count_v7AuZyLTHx(a, b):
    count = op_count_s0IfDFCCuZ(b,a)+op_count_NdELin8EPX(b,b)+op_count_YC3tgrnOyr(op_s0IfDFCCuZ(b,a),op_NdELin8EPX(b,b))+op_count_oDvtRyfmAM(b)+op_count_MKzNxCV7Yo(a)+op_count_2Wsdkap16l(op_oDvtRyfmAM(b),op_MKzNxCV7Yo(a))+op_count_kuIXHzHcAH(op_YC3tgrnOyr(op_s0IfDFCCuZ(b,a),op_NdELin8EPX(b,b)),op_2Wsdkap16l(op_oDvtRyfmAM(b),op_MKzNxCV7Yo(a)))
    return count


def op_m8h42HkABM(a):
    return op_rlpcYeipVY(op_V4yb4KDoeF(op_oDvtRyfmAM(a),op_LmY23Q1aIi(a)))

def op_count_m8h42HkABM(a):
    count = op_count_oDvtRyfmAM(a)+op_count_LmY23Q1aIi(a)+op_count_V4yb4KDoeF(op_oDvtRyfmAM(a),op_LmY23Q1aIi(a))+op_count_rlpcYeipVY(op_V4yb4KDoeF(op_oDvtRyfmAM(a),op_LmY23Q1aIi(a)))
    return count


a⊛⋬⪇ = { (((a⋥≓≎a)⩽⩡(a⪨⊡a))⊱⇼⊻((∂⩏⊆a)⨴(a⫚↹⊑a))) }

def op_UVV4cui74P(a):
    return op_FyVja0WsTP(op_zFNL8mZEFB(op_Qy55tPpLXF(a,a),op_kuIXHzHcAH(a,a)),op_jBC4ymW3D7(op_8WDwsbhb0R(a),op_dfKe02y8D2(a,a)))

def op_count_UVV4cui74P(a):
    count = op_count_Qy55tPpLXF(a,a)+op_count_kuIXHzHcAH(a,a)+op_count_zFNL8mZEFB(op_Qy55tPpLXF(a,a),op_kuIXHzHcAH(a,a))+op_count_8WDwsbhb0R(a)+op_count_dfKe02y8D2(a,a)+op_count_jBC4ymW3D7(op_8WDwsbhb0R(a),op_dfKe02y8D2(a,a))+op_count_FyVja0WsTP(op_zFNL8mZEFB(op_Qy55tPpLXF(a,a),op_kuIXHzHcAH(a,a)),op_jBC4ymW3D7(op_8WDwsbhb0R(a),op_dfKe02y8D2(a,a)))
    return count


a⪙∝ = { ((⊲⪭(a∊⊞≈a))⨑⋨((382⩉⊫⨁)⊭↱(a⪐))) }

def op_HdZMHzTtCW(a):
    return op_tIhPxZTbsh(op_k7HXdKtiEU(op_keuJNkrrbj(a,a)),op_COABgblf1C(op_7qqUquhhSb(382),op_eH2TOUuTDT(a)))

def op_count_HdZMHzTtCW(a):
    count = op_count_keuJNkrrbj(a,a)+op_count_k7HXdKtiEU(op_keuJNkrrbj(a,a))+op_count_7qqUquhhSb(382)+op_count_eH2TOUuTDT(a)+op_count_COABgblf1C(op_7qqUquhhSb(382),op_eH2TOUuTDT(a))+op_count_tIhPxZTbsh(op_k7HXdKtiEU(op_keuJNkrrbj(a,a)),op_COABgblf1C(op_7qqUquhhSb(382),op_eH2TOUuTDT(a)))
    return count


def op_DrczTq5oRw(a, b):
    return op_JgXZM7XvWE(op_tifHPKVTfV(b,b),op_eRqsBgTDFp(351,a))

def op_count_DrczTq5oRw(a, b):
    count = op_count_tifHPKVTfV(b,b)+op_count_eRqsBgTDFp(351,a)+op_count_JgXZM7XvWE(op_tifHPKVTfV(b,b),op_eRqsBgTDFp(351,a))
    return count


def op_iLDmr1kYEU(a):
    return op_NrdPCfJQiM(a,a)

def op_count_iLDmr1kYEU(a):
    count = op_count_NrdPCfJQiM(a,a)
    return count


def op_qmQdYVJtpo(a, b):
    return op_Y5cEcQhyKu(op_8WDwsbhb0R(op_dwb5p0fa6d(294)),op_ZNVVrZ94lY(op_2Wsdkap16l(a,b)))

def op_count_qmQdYVJtpo(a, b):
    count = op_count_dwb5p0fa6d(294)+op_count_8WDwsbhb0R(op_dwb5p0fa6d(294))+op_count_2Wsdkap16l(a,b)+op_count_ZNVVrZ94lY(op_2Wsdkap16l(a,b))+op_count_Y5cEcQhyKu(op_8WDwsbhb0R(op_dwb5p0fa6d(294)),op_ZNVVrZ94lY(op_2Wsdkap16l(a,b)))
    return count


a≕≪∎b = { (((b⪐)⩧⪆(a∠⫱142))⨰(⪁≄(a≭⫡b))) }

def op_cO8NHD8auo(a, b):
    return op_eewbuw0ToL(op_Ikt5ks8PT7(op_eH2TOUuTDT(b),op_QvoQhV0rrE(a,142)),op_2O29ZX4yK6(op_b1mGkbI4Oy(a,b)))

def op_count_cO8NHD8auo(a, b):
    count = op_count_eH2TOUuTDT(b)+op_count_QvoQhV0rrE(a,142)+op_count_Ikt5ks8PT7(op_eH2TOUuTDT(b),op_QvoQhV0rrE(a,142))+op_count_b1mGkbI4Oy(a,b)+op_count_2O29ZX4yK6(op_b1mGkbI4Oy(a,b))+op_count_eewbuw0ToL(op_Ikt5ks8PT7(op_eH2TOUuTDT(b),op_QvoQhV0rrE(a,142)),op_2O29ZX4yK6(op_b1mGkbI4Oy(a,b)))
    return count


def op_OKbrAQToy4(a):
    return op_vg4gO5BX6G(op_V4yb4KDoeF(op_XPYlsWDdGa(a),op_7CBskBkoKY(a)),op_j4geBLYVFK(216))

def op_count_OKbrAQToy4(a):
    count = op_count_XPYlsWDdGa(a)+op_count_7CBskBkoKY(a)+op_count_V4yb4KDoeF(op_XPYlsWDdGa(a),op_7CBskBkoKY(a))+op_count_j4geBLYVFK(216)+op_count_vg4gO5BX6G(op_V4yb4KDoeF(op_XPYlsWDdGa(a),op_7CBskBkoKY(a)),op_j4geBLYVFK(216))
    return count


def op_mpWyaCWRV0(a):
    return op_YjI8oCXuph(op_xSk1F0pZbF(op_qxp9F1VMeC(a),op_HQuZ2f4It9(a)))

def op_count_mpWyaCWRV0(a):
    count = op_count_qxp9F1VMeC(a)+op_count_HQuZ2f4It9(a)+op_count_xSk1F0pZbF(op_qxp9F1VMeC(a),op_HQuZ2f4It9(a))+op_count_YjI8oCXuph(op_xSk1F0pZbF(op_qxp9F1VMeC(a),op_HQuZ2f4It9(a)))
    return count


def op_ngz0Dpm65C(a):
    return op_3A1e9zoj8h(op_KPf6cnQVty(52,a))

def op_count_ngz0Dpm65C(a):
    count = op_count_KPf6cnQVty(52,a)+op_count_3A1e9zoj8h(op_KPf6cnQVty(52,a))
    return count


def op_aNUt8ajhS1(a):
    return op_BUOGQAYlQx(op_wztAlM01eG(op_ocnLzx9CaJ(a,a)))

def op_count_aNUt8ajhS1(a):
    count = op_count_ocnLzx9CaJ(a,a)+op_count_wztAlM01eG(op_ocnLzx9CaJ(a,a))+op_count_BUOGQAYlQx(op_wztAlM01eG(op_ocnLzx9CaJ(a,a)))
    return count


def op_tKiiq4oRTN(a):
    return op_nouZ5SZjt1(op_2fAMLLeFHb(op_3tVxb0NHM4(a,a)))

def op_count_tKiiq4oRTN(a):
    count = op_count_3tVxb0NHM4(a,a)+op_count_2fAMLLeFHb(op_3tVxb0NHM4(a,a))+op_count_nouZ5SZjt1(op_2fAMLLeFHb(op_3tVxb0NHM4(a,a)))
    return count


def op_P4bnPttiyT(a):
    return op_AdZkA7nFnk(op_PjbVkMzmXE(op_4JB6nKBMSY(a,a),op_umQnsF7QlU(a,a)),op_Y7wcNGrDQJ(a,op_t8gj7n24qd(a)))

def op_count_P4bnPttiyT(a):
    count = op_count_4JB6nKBMSY(a,a)+op_count_umQnsF7QlU(a,a)+op_count_PjbVkMzmXE(op_4JB6nKBMSY(a,a),op_umQnsF7QlU(a,a))+op_count_t8gj7n24qd(a)+op_count_Y7wcNGrDQJ(a,op_t8gj7n24qd(a))+op_count_AdZkA7nFnk(op_PjbVkMzmXE(op_4JB6nKBMSY(a,a),op_umQnsF7QlU(a,a)),op_Y7wcNGrDQJ(a,op_t8gj7n24qd(a)))
    return count


def op_ms6ehJAQNZ(a):
    return op_5RY6W0glyJ(op_QMFrweE19q(a,op_EO7Xdgo9So(a)))

def op_count_ms6ehJAQNZ(a):
    count = op_count_EO7Xdgo9So(a)+op_count_QMFrweE19q(a,op_EO7Xdgo9So(a))+op_count_5RY6W0glyJ(op_QMFrweE19q(a,op_EO7Xdgo9So(a)))
    return count


def op_IOQom0VbAc(a, b):
    return op_3EhVUz7Ug9(op_QvoQhV0rrE(op_9Isq31Ruls(a,b),a))

def op_count_IOQom0VbAc(a, b):
    count = op_count_9Isq31Ruls(a,b)+op_count_QvoQhV0rrE(op_9Isq31Ruls(a,b),a)+op_count_3EhVUz7Ug9(op_QvoQhV0rrE(op_9Isq31Ruls(a,b),a))
    return count


def op_IJwdZJHflL(a):
    return op_csT5a4elgc(op_GMyVS5K48T(op_23Mk6UjR3U(a,a),a))

def op_count_IJwdZJHflL(a):
    count = op_count_23Mk6UjR3U(a,a)+op_count_GMyVS5K48T(op_23Mk6UjR3U(a,a),a)+op_count_csT5a4elgc(op_GMyVS5K48T(op_23Mk6UjR3U(a,a),a))
    return count


def op_1AeZV2KPFC(a):
    return op_xRrnTEsQ6j(op_qAljGMXEZr(op_DmTXOeWf9t(a,412)),op_7Nd029Vx1U(op_y2kQTS4a70(a,146)))

def op_count_1AeZV2KPFC(a):
    count = op_count_DmTXOeWf9t(a,412)+op_count_qAljGMXEZr(op_DmTXOeWf9t(a,412))+op_count_y2kQTS4a70(a,146)+op_count_7Nd029Vx1U(op_y2kQTS4a70(a,146))+op_count_xRrnTEsQ6j(op_qAljGMXEZr(op_DmTXOeWf9t(a,412)),op_7Nd029Vx1U(op_y2kQTS4a70(a,146)))
    return count


def op_4J8E7DyAzc(a, b):
    return op_YApyZlDuBr(op_g7Hmc5v1ko(b,op_DpFCA1CohY(a)))

def op_count_4J8E7DyAzc(a, b):
    count = op_count_DpFCA1CohY(a)+op_count_g7Hmc5v1ko(b,op_DpFCA1CohY(a))+op_count_YApyZlDuBr(op_g7Hmc5v1ko(b,op_DpFCA1CohY(a)))
    return count


def op_8AKr1ZaVfa(a):
    return op_uOZ1tnYMDE(op_4JB6nKBMSY(a,a))

def op_count_8AKr1ZaVfa(a):
    count = op_count_4JB6nKBMSY(a,a)+op_count_uOZ1tnYMDE(op_4JB6nKBMSY(a,a))
    return count


a∻b = { (((a⫚↹⊑a)⨑⋨(⋽⪳⨃b))≟⫹(↽≂(b⪒⊣⊆b))) }

def op_0Vcvu1QG1k(a, b):
    return op_z2JHNkvbdm(op_tIhPxZTbsh(op_dfKe02y8D2(a,a),op_qAljGMXEZr(b)),op_u6S6b8DprG(op_eRqsBgTDFp(b,b)))

def op_count_0Vcvu1QG1k(a, b):
    count = op_count_dfKe02y8D2(a,a)+op_count_qAljGMXEZr(b)+op_count_tIhPxZTbsh(op_dfKe02y8D2(a,a),op_qAljGMXEZr(b))+op_count_eRqsBgTDFp(b,b)+op_count_u6S6b8DprG(op_eRqsBgTDFp(b,b))+op_count_z2JHNkvbdm(op_tIhPxZTbsh(op_dfKe02y8D2(a,a),op_qAljGMXEZr(b)),op_u6S6b8DprG(op_eRqsBgTDFp(b,b)))
    return count


a⩏⨀≉ = { (((a↨⪍≴a)⨜⇔(a∠↢90))⪇≇⋚((a↮⪈⫰)⫇⋯(a↭↢≔))) }

def op_yOl4Zzdu5C(a):
    return op_3sJ7IOPOlU(op_Sq3AGanRSD(op_DX7B1fY6P6(a,a),op_KbjG8mgYpV(a,90)),op_xoJmIySC7h(op_MKpoIoBJCf(a),op_Q6LsZf8ZYd(a)))

def op_count_yOl4Zzdu5C(a):
    count = op_count_DX7B1fY6P6(a,a)+op_count_KbjG8mgYpV(a,90)+op_count_Sq3AGanRSD(op_DX7B1fY6P6(a,a),op_KbjG8mgYpV(a,90))+op_count_MKpoIoBJCf(a)+op_count_Q6LsZf8ZYd(a)+op_count_xoJmIySC7h(op_MKpoIoBJCf(a),op_Q6LsZf8ZYd(a))+op_count_3sJ7IOPOlU(op_Sq3AGanRSD(op_DX7B1fY6P6(a,a),op_KbjG8mgYpV(a,90)),op_xoJmIySC7h(op_MKpoIoBJCf(a),op_Q6LsZf8ZYd(a)))
    return count


def op_NCFrRDpG8J(a, b):
    return op_DNmMwa48aR(op_Wm7LHi3c8p(op_bPywburJMS(b,a)))

def op_count_NCFrRDpG8J(a, b):
    count = op_count_bPywburJMS(b,a)+op_count_Wm7LHi3c8p(op_bPywburJMS(b,a))+op_count_DNmMwa48aR(op_Wm7LHi3c8p(op_bPywburJMS(b,a)))
    return count


def op_I1Xh3UBsHV(a):
    return op_gx7XJ7hdpj(op_Zubgv0tBda(a),op_2GS7woTJqF(a,a))

def op_count_I1Xh3UBsHV(a):
    count = op_count_Zubgv0tBda(a)+op_count_2GS7woTJqF(a,a)+op_count_gx7XJ7hdpj(op_Zubgv0tBda(a),op_2GS7woTJqF(a,a))
    return count


def op_Q0oC3jZnDG(a):
    return op_eaFBhJ0Uku(op_ZcwmYACASQ(26),op_s3Fd5m9Dh2(a,a))

def op_count_Q0oC3jZnDG(a):
    count = op_count_ZcwmYACASQ(26)+op_count_s3Fd5m9Dh2(a,a)+op_count_eaFBhJ0Uku(op_ZcwmYACASQ(26),op_s3Fd5m9Dh2(a,a))
    return count


def op_5zd35EN7X2(a):
    return op_LYeZOJ0nQG(op_COABgblf1C(0,a))

def op_count_5zd35EN7X2(a):
    count = op_count_COABgblf1C(0,a)+op_count_LYeZOJ0nQG(op_COABgblf1C(0,a))
    return count


a∖⊚b = { ((⊄⩳↩(a⊭a))⨻⪊⨷((b∺≝⩲b)⊬⨰(⋼∭⪍b))) }

def op_KXDdaHDbNw(a, b):
    return op_Pkwamo1tM2(op_8w2t5hMYqp(op_4JGOJzXMq1(a,a)),op_s3Fd5m9Dh2(op_KPf6cnQVty(b,b),op_DbCuESL50I(b)))

def op_count_KXDdaHDbNw(a, b):
    count = op_count_4JGOJzXMq1(a,a)+op_count_8w2t5hMYqp(op_4JGOJzXMq1(a,a))+op_count_KPf6cnQVty(b,b)+op_count_DbCuESL50I(b)+op_count_s3Fd5m9Dh2(op_KPf6cnQVty(b,b),op_DbCuESL50I(b))+op_count_Pkwamo1tM2(op_8w2t5hMYqp(op_4JGOJzXMq1(a,a)),op_s3Fd5m9Dh2(op_KPf6cnQVty(b,b),op_DbCuESL50I(b)))
    return count


def op_OEnvRqCCi3(a, b):
    return op_XIabStNQrY(op_kuIXHzHcAH(op_JFrVJKYFMX(b,b),op_Noe24qw2ks(b,a)))

def op_count_OEnvRqCCi3(a, b):
    count = op_count_JFrVJKYFMX(b,b)+op_count_Noe24qw2ks(b,a)+op_count_kuIXHzHcAH(op_JFrVJKYFMX(b,b),op_Noe24qw2ks(b,a))+op_count_XIabStNQrY(op_kuIXHzHcAH(op_JFrVJKYFMX(b,b),op_Noe24qw2ks(b,a)))
    return count

JFrVJKYFMX Noe24qw2ks kuIXHzHcAH XIabStNQrY


def op_msdupkhzuU(a):
    return op_cTDWOvIxvz(a,a)

def op_count_msdupkhzuU(a):
    count = op_count_cTDWOvIxvz(a,a)
    return count


def op_zqg0bjjuED(a):
    return op_WObL9SsYVE(op_pRsWfj4Fpp(a),op_sdazOOVcIp(a,a))

def op_count_zqg0bjjuED(a):
    count = op_count_pRsWfj4Fpp(a)+op_count_sdazOOVcIp(a,a)+op_count_WObL9SsYVE(op_pRsWfj4Fpp(a),op_sdazOOVcIp(a,a))
    return count


def op_e3Vku0ulLb(a, b):
    return op_s0kPeV9Vm2(op_EWw2JM7wp4(op_DE7zCoGJt9(b),op_dAAkup5nzi(b,a)))

def op_count_e3Vku0ulLb(a, b):
    count = op_count_DE7zCoGJt9(b)+op_count_dAAkup5nzi(b,a)+op_count_EWw2JM7wp4(op_DE7zCoGJt9(b),op_dAAkup5nzi(b,a))+op_count_s0kPeV9Vm2(op_EWw2JM7wp4(op_DE7zCoGJt9(b),op_dAAkup5nzi(b,a)))
    return count


def op_DlKt5E9iEj(a):
    return op_W4YGzv6Whe(op_JLbD19bQDL(op_2DQ55sFlQl(a,a)),a)

def op_count_DlKt5E9iEj(a):
    count = op_count_2DQ55sFlQl(a,a)+op_count_JLbD19bQDL(op_2DQ55sFlQl(a,a))+op_count_W4YGzv6Whe(op_JLbD19bQDL(op_2DQ55sFlQl(a,a)),a)
    return count


def op_WscUkPRWwf(a, b):
    return op_y4ImoPnbV5(op_S7Dkc5Re0B(b),op_YC3tgrnOyr(op_HmxsFra2vL(a,b),op_XZxEnkN3N0(b)))

def op_count_WscUkPRWwf(a, b):
    count = op_count_S7Dkc5Re0B(b)+op_count_HmxsFra2vL(a,b)+op_count_XZxEnkN3N0(b)+op_count_YC3tgrnOyr(op_HmxsFra2vL(a,b),op_XZxEnkN3N0(b))+op_count_y4ImoPnbV5(op_S7Dkc5Re0B(b),op_YC3tgrnOyr(op_HmxsFra2vL(a,b),op_XZxEnkN3N0(b)))
    return count


a⇅⇟⨿ = { (((a⋞a)⊇≀≁)⫗⊒⇾((a⩚⊴⇥0)⨚(a⊚⨔))) }

def op_F5mtphABo5(a):
    return op_hiBDRd40bf(op_AfoL3wC8aT(op_V4yb4KDoeF(a,a)),op_nREPSIbpBE(op_NTOWxs364D(a,0),op_XbEAUggs3J(a)))

def op_count_F5mtphABo5(a):
    count = op_count_V4yb4KDoeF(a,a)+op_count_AfoL3wC8aT(op_V4yb4KDoeF(a,a))+op_count_NTOWxs364D(a,0)+op_count_XbEAUggs3J(a)+op_count_nREPSIbpBE(op_NTOWxs364D(a,0),op_XbEAUggs3J(a))+op_count_hiBDRd40bf(op_AfoL3wC8aT(op_V4yb4KDoeF(a,a)),op_nREPSIbpBE(op_NTOWxs364D(a,0),op_XbEAUggs3J(a)))
    return count


def op_HPslF4Wa5g(a):
    return op_ancx8kZcWl(op_JgXZM7XvWE(a,a))

def op_count_HPslF4Wa5g(a):
    count = op_count_JgXZM7XvWE(a,a)+op_count_ancx8kZcWl(op_JgXZM7XvWE(a,a))
    return count


a⫹⩪b = { (((a∌a)⪍↜⋙(b∽b))⋝⋈⪟((a≬⋮b)∙∹∝(⨡↴a))) }

def op_yWyjdngDvQ(a, b):
    return op_2DDjHMKMc0(op_L05ObWFQCd(op_8cLx32lpNA(a,a),op_y4ImoPnbV5(b,b)),op_HmxsFra2vL(op_kbkesczE7y(a,b),op_liw5iZPkLH(a)))

def op_count_yWyjdngDvQ(a, b):
    count = op_count_8cLx32lpNA(a,a)+op_count_y4ImoPnbV5(b,b)+op_count_L05ObWFQCd(op_8cLx32lpNA(a,a),op_y4ImoPnbV5(b,b))+op_count_kbkesczE7y(a,b)+op_count_liw5iZPkLH(a)+op_count_HmxsFra2vL(op_kbkesczE7y(a,b),op_liw5iZPkLH(a))+op_count_2DDjHMKMc0(op_L05ObWFQCd(op_8cLx32lpNA(a,a),op_y4ImoPnbV5(b,b)),op_HmxsFra2vL(op_kbkesczE7y(a,b),op_liw5iZPkLH(a)))
    return count


def op_MljilmBCxr(a):
    return op_DmTXOeWf9t(a,102)

def op_count_MljilmBCxr(a):
    count = op_count_DmTXOeWf9t(a,102)
    return count


def op_4uEYZgDuWU(a):
    return op_i8ToyICDmI(a,a)

def op_count_4uEYZgDuWU(a):
    count = op_count_i8ToyICDmI(a,a)
    return count


def op_97rocKiZDM(a, b):
    return op_SPuZE40Ntn(op_UqUOXUQnbU(op_eewbuw0ToL(b,b),op_QvoQhV0rrE(55,12)),op_y4ImoPnbV5(op_Q2SPaKwpPJ(a,491),op_YSKBFp38Pu(b,387)))

def op_count_97rocKiZDM(a, b):
    count = op_count_eewbuw0ToL(b,b)+op_count_QvoQhV0rrE(55,12)+op_count_UqUOXUQnbU(op_eewbuw0ToL(b,b),op_QvoQhV0rrE(55,12))+op_count_Q2SPaKwpPJ(a,491)+op_count_YSKBFp38Pu(b,387)+op_count_y4ImoPnbV5(op_Q2SPaKwpPJ(a,491),op_YSKBFp38Pu(b,387))+op_count_SPuZE40Ntn(op_UqUOXUQnbU(op_eewbuw0ToL(b,b),op_QvoQhV0rrE(55,12)),op_y4ImoPnbV5(op_Q2SPaKwpPJ(a,491),op_YSKBFp38Pu(b,387)))
    return count


def op_FtCfX2urXE(a):
    return op_SPuZE40Ntn(a,667)

def op_count_FtCfX2urXE(a):
    count = op_count_SPuZE40Ntn(a,667)
    return count


a-↻b = { (((b∙∹∝b)⫚↹⊑(a⨴a))∌↝(b⪖⪡(a⩘⋿a))) }

def op_yIzoUJazZW(a, b):
    return op_9Isq31Ruls(op_dfKe02y8D2(op_HmxsFra2vL(b,b),op_jBC4ymW3D7(a,a)),op_7PjNe5qSIJ(b,op_64EQ39e0fC(a,a)))

def op_count_yIzoUJazZW(a, b):
    count = op_count_HmxsFra2vL(b,b)+op_count_jBC4ymW3D7(a,a)+op_count_dfKe02y8D2(op_HmxsFra2vL(b,b),op_jBC4ymW3D7(a,a))+op_count_64EQ39e0fC(a,a)+op_count_7PjNe5qSIJ(b,op_64EQ39e0fC(a,a))+op_count_9Isq31Ruls(op_dfKe02y8D2(op_HmxsFra2vL(b,b),op_jBC4ymW3D7(a,a)),op_7PjNe5qSIJ(b,op_64EQ39e0fC(a,a)))
    return count


def op_W7wPE4xLSW(a):
    return op_cWQsF5MvuD(op_P8v4zCKN1o(a))

def op_count_W7wPE4xLSW(a):
    count = op_count_P8v4zCKN1o(a)+op_count_cWQsF5MvuD(op_P8v4zCKN1o(a))
    return count


def op_7h947DXYV5(a):
    return op_L05ObWFQCd(op_8n5YIzOsVS(a),op_OTRTVPweYV(a,a))

def op_count_7h947DXYV5(a):
    count = op_count_8n5YIzOsVS(a)+op_count_OTRTVPweYV(a,a)+op_count_L05ObWFQCd(op_8n5YIzOsVS(a),op_OTRTVPweYV(a,a))
    return count


def op_NlrO9HiUSC(a):
    return op_6MpZysEj17(op_2GS7woTJqF(op_GMN7JP6WpN(a,a),op_FyVja0WsTP(209,a)))

def op_count_NlrO9HiUSC(a):
    count = op_count_GMN7JP6WpN(a,a)+op_count_FyVja0WsTP(209,a)+op_count_2GS7woTJqF(op_GMN7JP6WpN(a,a),op_FyVja0WsTP(209,a))+op_count_6MpZysEj17(op_2GS7woTJqF(op_GMN7JP6WpN(a,a),op_FyVja0WsTP(209,a)))
    return count


def op_rh14SKPVeV(a, b):
    return op_z4E1FaHLuy(op_g55IO6H4Gj(op_DX7B1fY6P6(b,b),op_4JGOJzXMq1(369,a)))

def op_count_rh14SKPVeV(a, b):
    count = op_count_DX7B1fY6P6(b,b)+op_count_4JGOJzXMq1(369,a)+op_count_g55IO6H4Gj(op_DX7B1fY6P6(b,b),op_4JGOJzXMq1(369,a))+op_count_z4E1FaHLuy(op_g55IO6H4Gj(op_DX7B1fY6P6(b,b),op_4JGOJzXMq1(369,a)))
    return count


def op_rTlkf7a45x(a):
    return op_Rw46J52cBJ(22,a)

def op_count_rTlkf7a45x(a):
    count = op_count_Rw46J52cBJ(22,a)
    return count


def op_izD018cS1t(a):
    return op_WObL9SsYVE(op_k7HXdKtiEU(op_Zubgv0tBda(a)),op_ocpzidtxKt(op_WSbXXWOizJ(a,a)))

def op_count_izD018cS1t(a):
    count = op_count_Zubgv0tBda(a)+op_count_k7HXdKtiEU(op_Zubgv0tBda(a))+op_count_WSbXXWOizJ(a,a)+op_count_ocpzidtxKt(op_WSbXXWOizJ(a,a))+op_count_WObL9SsYVE(op_k7HXdKtiEU(op_Zubgv0tBda(a)),op_ocpzidtxKt(op_WSbXXWOizJ(a,a)))
    return count


def op_NkHGXixdNJ(a, b):
    return op_DE7zCoGJt9(op_1aApVXNlOP(op_hrf7POJlIJ(b,b),op_s0IfDFCCuZ(b,a)))

def op_count_NkHGXixdNJ(a, b):
    count = op_count_hrf7POJlIJ(b,b)+op_count_s0IfDFCCuZ(b,a)+op_count_1aApVXNlOP(op_hrf7POJlIJ(b,b),op_s0IfDFCCuZ(b,a))+op_count_DE7zCoGJt9(op_1aApVXNlOP(op_hrf7POJlIJ(b,b),op_s0IfDFCCuZ(b,a)))
    return count


a⫽b = { (((a⊬⨰b)⫭)∫⋜⩖((b⩷∴b)⋥≓≎(a⩾b))) }

def op_uU3XJfDBdq(a, b):
    return op_JgXZM7XvWE(op_t4WUHVGj7f(op_s3Fd5m9Dh2(a,b)),op_Qy55tPpLXF(op_9FxExcQeMw(b,b),op_UggxBX659n(a,b)))

def op_count_uU3XJfDBdq(a, b):
    count = op_count_s3Fd5m9Dh2(a,b)+op_count_t4WUHVGj7f(op_s3Fd5m9Dh2(a,b))+op_count_9FxExcQeMw(b,b)+op_count_UggxBX659n(a,b)+op_count_Qy55tPpLXF(op_9FxExcQeMw(b,b),op_UggxBX659n(a,b))+op_count_JgXZM7XvWE(op_t4WUHVGj7f(op_s3Fd5m9Dh2(a,b)),op_Qy55tPpLXF(op_9FxExcQeMw(b,b),op_UggxBX659n(a,b)))
    return count


def op_2hIaDBSv9V(a, b):
    return op_d7ASUq0ydm(op_S56z7WVPBn(b),op_ocnLzx9CaJ(b,a))

def op_count_2hIaDBSv9V(a, b):
    count = op_count_S56z7WVPBn(b)+op_count_ocnLzx9CaJ(b,a)+op_count_d7ASUq0ydm(op_S56z7WVPBn(b),op_ocnLzx9CaJ(b,a))
    return count


def op_Wybb8daXue(a):
    return op_Qy55tPpLXF(a,241)

def op_count_Wybb8daXue(a):
    count = op_count_Qy55tPpLXF(a,241)
    return count


def op_WA4yiEtoyW(a, b):
    return op_U6pG0PXrV3(op_4kvgVkQeiQ(op_cTDWOvIxvz(b,a)))

def op_count_WA4yiEtoyW(a, b):
    count = op_count_cTDWOvIxvz(b,a)+op_count_4kvgVkQeiQ(op_cTDWOvIxvz(b,a))+op_count_U6pG0PXrV3(op_4kvgVkQeiQ(op_cTDWOvIxvz(b,a)))
    return count


a%⫢∉b = { (((a⩣⫁∢a)⇢(∨a))⩣⫁∢((⩕↛a)⨴(⊤⊝b))) }

def op_Xn8gXqwJxF(a, b):
    return op_JDUIKTTSIa(op_GMN7JP6WpN(op_JDUIKTTSIa(a,a),op_rIsGeVJWJF(a)),op_jBC4ymW3D7(op_3EhVUz7Ug9(a),op_rXAclfmB4M(b)))

def op_count_Xn8gXqwJxF(a, b):
    count = op_count_JDUIKTTSIa(a,a)+op_count_rIsGeVJWJF(a)+op_count_GMN7JP6WpN(op_JDUIKTTSIa(a,a),op_rIsGeVJWJF(a))+op_count_3EhVUz7Ug9(a)+op_count_rXAclfmB4M(b)+op_count_jBC4ymW3D7(op_3EhVUz7Ug9(a),op_rXAclfmB4M(b))+op_count_JDUIKTTSIa(op_GMN7JP6WpN(op_JDUIKTTSIa(a,a),op_rIsGeVJWJF(a)),op_jBC4ymW3D7(op_3EhVUz7Ug9(a),op_rXAclfmB4M(b)))
    return count


def op_3FfuuMEB8X(a, b):
    return op_sdazOOVcIp(op_Q2SPaKwpPJ(a,b),op_jvbZP6NeOL(b))

def op_count_3FfuuMEB8X(a, b):
    count = op_count_Q2SPaKwpPJ(a,b)+op_count_jvbZP6NeOL(b)+op_count_sdazOOVcIp(op_Q2SPaKwpPJ(a,b),op_jvbZP6NeOL(b))
    return count


def op_UJ6vhVwsxM(a):
    return op_6o9Blt3TJ6(op_6MpZysEj17(op_UoVew8f2p2(a,a)),op_jBC4ymW3D7(op_uysxUYN2L2(a,a),op_6iafYuwGo8(232,a)))

def op_count_UJ6vhVwsxM(a):
    count = op_count_UoVew8f2p2(a,a)+op_count_6MpZysEj17(op_UoVew8f2p2(a,a))+op_count_uysxUYN2L2(a,a)+op_count_6iafYuwGo8(232,a)+op_count_jBC4ymW3D7(op_uysxUYN2L2(a,a),op_6iafYuwGo8(232,a))+op_count_6o9Blt3TJ6(op_6MpZysEj17(op_UoVew8f2p2(a,a)),op_jBC4ymW3D7(op_uysxUYN2L2(a,a),op_6iafYuwGo8(232,a)))
    return count


def op_tFaxd5lqwP(a):
    return op_nCS4ZIUYfx(op_qLBMy5fcJr(a),op_4JGOJzXMq1(a,a))

def op_count_tFaxd5lqwP(a):
    count = op_count_qLBMy5fcJr(a)+op_count_4JGOJzXMq1(a,a)+op_count_nCS4ZIUYfx(op_qLBMy5fcJr(a),op_4JGOJzXMq1(a,a))
    return count


def op_TicOtjMu6G(a):
    return op_YSKBFp38Pu(op_KFSx94NKJn(a,a),op_MmTdOpaElr(a))

def op_count_TicOtjMu6G(a):
    count = op_count_KFSx94NKJn(a,a)+op_count_MmTdOpaElr(a)+op_count_YSKBFp38Pu(op_KFSx94NKJn(a,a),op_MmTdOpaElr(a))
    return count


a⪴↡⫭ = { (((a⊵a)⇼⇔∾(≦a))≽↲≰((a⊋≦⊧a)⫇⋯(⇝⋾⇵a))) }

def op_3fZABaN03m(a):
    return op_cFVlceoRkX(op_tifHPKVTfV(op_eaFBhJ0Uku(a,a),op_RPa3726CSl(a)),op_xoJmIySC7h(op_oRDoc9rAEX(a,a),op_6l7ULzJsnZ(a)))

def op_count_3fZABaN03m(a):
    count = op_count_eaFBhJ0Uku(a,a)+op_count_RPa3726CSl(a)+op_count_tifHPKVTfV(op_eaFBhJ0Uku(a,a),op_RPa3726CSl(a))+op_count_oRDoc9rAEX(a,a)+op_count_6l7ULzJsnZ(a)+op_count_xoJmIySC7h(op_oRDoc9rAEX(a,a),op_6l7ULzJsnZ(a))+op_count_cFVlceoRkX(op_tifHPKVTfV(op_eaFBhJ0Uku(a,a),op_RPa3726CSl(a)),op_xoJmIySC7h(op_oRDoc9rAEX(a,a),op_6l7ULzJsnZ(a)))
    return count


def op_21pyUcYko7(a):
    return op_3YWlZA9bsa(a,a)

def op_count_21pyUcYko7(a):
    count = op_count_3YWlZA9bsa(a,a)
    return count


def op_dtGtXqBr8s(a):
    return op_OWnFPqjWlR(a,op_H0pizIJMoW(a))

def op_count_dtGtXqBr8s(a):
    count = op_count_H0pizIJMoW(a)+op_count_OWnFPqjWlR(a,op_H0pizIJMoW(a))
    return count


a⩅b = { (((∂⩏⊆b)⊓≱(a∘b))⊔%((b⪚⨁⋖b)⩤∜↚(b⩼⇪↪a))) }

def op_WHvsDZpt7Z(a, b):
    return op_uysxUYN2L2(op_VCG3UHNzLR(op_8WDwsbhb0R(b),op_Z5m6OM72h2(a,b)),op_KROiRRz3d6(op_xSk1F0pZbF(b,b),op_ocnLzx9CaJ(b,a)))

def op_count_WHvsDZpt7Z(a, b):
    count = op_count_8WDwsbhb0R(b)+op_count_Z5m6OM72h2(a,b)+op_count_VCG3UHNzLR(op_8WDwsbhb0R(b),op_Z5m6OM72h2(a,b))+op_count_xSk1F0pZbF(b,b)+op_count_ocnLzx9CaJ(b,a)+op_count_KROiRRz3d6(op_xSk1F0pZbF(b,b),op_ocnLzx9CaJ(b,a))+op_count_uysxUYN2L2(op_VCG3UHNzLR(op_8WDwsbhb0R(b),op_Z5m6OM72h2(a,b)),op_KROiRRz3d6(op_xSk1F0pZbF(b,b),op_ocnLzx9CaJ(b,a)))
    return count


def op_1Scw8a5e7g(a, b):
    return op_Siyfjn51pv(op_JgXZM7XvWE(op_aOI3TlLUAE(b),op_aiqF8n6J9c(b,a)))

def op_count_1Scw8a5e7g(a, b):
    count = op_count_aOI3TlLUAE(b)+op_count_aiqF8n6J9c(b,a)+op_count_JgXZM7XvWE(op_aOI3TlLUAE(b),op_aiqF8n6J9c(b,a))+op_count_Siyfjn51pv(op_JgXZM7XvWE(op_aOI3TlLUAE(b),op_aiqF8n6J9c(b,a)))
    return count


def op_uVPGyV8wIZ(a):
    return op_U9HvHqtOoq(op_oPMjh9089D(a))

def op_count_uVPGyV8wIZ(a):
    count = op_count_oPMjh9089D(a)+op_count_U9HvHqtOoq(op_oPMjh9089D(a))
    return count


def op_CElUNYQIpN(a, b):
    return op_tfWHHpNKUN(op_HrjLwUk87U(op_OGWBzMv138(a,a),op_6l7ULzJsnZ(b)))

def op_count_CElUNYQIpN(a, b):
    count = op_count_OGWBzMv138(a,a)+op_count_6l7ULzJsnZ(b)+op_count_HrjLwUk87U(op_OGWBzMv138(a,a),op_6l7ULzJsnZ(b))+op_count_tfWHHpNKUN(op_HrjLwUk87U(op_OGWBzMv138(a,a),op_6l7ULzJsnZ(b)))
    return count


def op_OTnzgDXvIu(a, b):
    return op_qxp9F1VMeC(op_XZxEnkN3N0(op_tIhPxZTbsh(b,a)))

def op_count_OTnzgDXvIu(a, b):
    count = op_count_tIhPxZTbsh(b,a)+op_count_XZxEnkN3N0(op_tIhPxZTbsh(b,a))+op_count_qxp9F1VMeC(op_XZxEnkN3N0(op_tIhPxZTbsh(b,a)))
    return count


a⩂↠⊈ = { (((a⪇≇⋚a)⪶≀⋏(a⩼⇪↪a))⩣⊵⩗((a⋘⨑⨽)↺(a⩼⇪↪a))) }

def op_amUYklY4X0(a):
    return op_wsXFuL0hC6(op_zR4jO40bMj(op_3sJ7IOPOlU(a,a),op_ocnLzx9CaJ(a,a)),op_7j4O788W3g(op_WmT3o8z6ya(a),op_ocnLzx9CaJ(a,a)))

def op_count_amUYklY4X0(a):
    count = op_count_3sJ7IOPOlU(a,a)+op_count_ocnLzx9CaJ(a,a)+op_count_zR4jO40bMj(op_3sJ7IOPOlU(a,a),op_ocnLzx9CaJ(a,a))+op_count_WmT3o8z6ya(a)+op_count_ocnLzx9CaJ(a,a)+op_count_7j4O788W3g(op_WmT3o8z6ya(a),op_ocnLzx9CaJ(a,a))+op_count_wsXFuL0hC6(op_zR4jO40bMj(op_3sJ7IOPOlU(a,a),op_ocnLzx9CaJ(a,a)),op_7j4O788W3g(op_WmT3o8z6ya(a),op_ocnLzx9CaJ(a,a)))
    return count


⋙⫃⫩a = { ((⊠(a∷a))⊉↱≁((a≬⋮a)⪉⨛(a⪉⨛a))) }

def op_23RZ8Drpas(a):
    return op_w2P8NbNXyL(op_R3vAdrE3IH(op_D3AQDKkPcf(a,a)),op_EWw2JM7wp4(op_kbkesczE7y(a,a),op_EWw2JM7wp4(a,a)))

def op_count_23RZ8Drpas(a):
    count = op_count_D3AQDKkPcf(a,a)+op_count_R3vAdrE3IH(op_D3AQDKkPcf(a,a))+op_count_kbkesczE7y(a,a)+op_count_EWw2JM7wp4(a,a)+op_count_EWw2JM7wp4(op_kbkesczE7y(a,a),op_EWw2JM7wp4(a,a))+op_count_w2P8NbNXyL(op_R3vAdrE3IH(op_D3AQDKkPcf(a,a)),op_EWw2JM7wp4(op_kbkesczE7y(a,a),op_EWw2JM7wp4(a,a)))
    return count


def op_vEtY77xraV(a, b):
    return op_ebeGRCukrZ(op_2Wsdkap16l(op_Qaz2MhZaG5(a,b),op_Bmrmz2XGnR(b,b)))

def op_count_vEtY77xraV(a, b):
    count = op_count_Qaz2MhZaG5(a,b)+op_count_Bmrmz2XGnR(b,b)+op_count_2Wsdkap16l(op_Qaz2MhZaG5(a,b),op_Bmrmz2XGnR(b,b))+op_count_ebeGRCukrZ(op_2Wsdkap16l(op_Qaz2MhZaG5(a,b),op_Bmrmz2XGnR(b,b)))
    return count


def op_0N1BchnEuL(a, b):
    return op_1aApVXNlOP(op_4kvgVkQeiQ(118),op_2Wsdkap16l(b,a))

def op_count_0N1BchnEuL(a, b):
    count = op_count_4kvgVkQeiQ(118)+op_count_2Wsdkap16l(b,a)+op_count_1aApVXNlOP(op_4kvgVkQeiQ(118),op_2Wsdkap16l(b,a))
    return count


def op_SWbPh9106B(a, b):
    return op_PPChnnnBFF(op_tIhPxZTbsh(a,b),op_Y5cEcQhyKu(750,b))

def op_count_SWbPh9106B(a, b):
    count = op_count_tIhPxZTbsh(a,b)+op_count_Y5cEcQhyKu(750,b)+op_count_PPChnnnBFF(op_tIhPxZTbsh(a,b),op_Y5cEcQhyKu(750,b))
    return count


def op_I0baQEctSg(a):
    return op_nhYeJWJD5X(op_W4YGzv6Whe(op_eewbuw0ToL(a,406),op_Ph9nP6C5qx(430,a)),op_hmlrMsD2PO(op_ieTw63T1Vx(a),op_rPNtK4BLRO(77,a)))

def op_count_I0baQEctSg(a):
    count = op_count_eewbuw0ToL(a,406)+op_count_Ph9nP6C5qx(430,a)+op_count_W4YGzv6Whe(op_eewbuw0ToL(a,406),op_Ph9nP6C5qx(430,a))+op_count_ieTw63T1Vx(a)+op_count_rPNtK4BLRO(77,a)+op_count_hmlrMsD2PO(op_ieTw63T1Vx(a),op_rPNtK4BLRO(77,a))+op_count_nhYeJWJD5X(op_W4YGzv6Whe(op_eewbuw0ToL(a,406),op_Ph9nP6C5qx(430,a)),op_hmlrMsD2PO(op_ieTw63T1Vx(a),op_rPNtK4BLRO(77,a)))
    return count


def op_BpmiFmwMvZ(a):
    return op_sM9mzqIDB1(op_H9jWZL1q0V(a),op_1h0rLqGiFr(a))

def op_count_BpmiFmwMvZ(a):
    count = op_count_H9jWZL1q0V(a)+op_count_1h0rLqGiFr(a)+op_count_sM9mzqIDB1(op_H9jWZL1q0V(a),op_1h0rLqGiFr(a))
    return count


def op_5bjJf2Re4f(a, b):
    return op_BiWNJpBvwn(op_BAIXFdYaz3(a,a),op_d8xe6WWVfM(op_1h0rLqGiFr(b),op_dfKe02y8D2(b,a)))

def op_count_5bjJf2Re4f(a, b):
    count = op_count_BAIXFdYaz3(a,a)+op_count_1h0rLqGiFr(b)+op_count_dfKe02y8D2(b,a)+op_count_d8xe6WWVfM(op_1h0rLqGiFr(b),op_dfKe02y8D2(b,a))+op_count_BiWNJpBvwn(op_BAIXFdYaz3(a,a),op_d8xe6WWVfM(op_1h0rLqGiFr(b),op_dfKe02y8D2(b,a)))
    return count


def op_FreGwbQ5tl(a, b):
    return op_AF7qkfDlqP(op_zFNL8mZEFB(op_2PILXiQIjy(b),op_OKKcZfAt5B(a,a)))

def op_count_FreGwbQ5tl(a, b):
    count = op_count_2PILXiQIjy(b)+op_count_OKKcZfAt5B(a,a)+op_count_zFNL8mZEFB(op_2PILXiQIjy(b),op_OKKcZfAt5B(a,a))+op_count_AF7qkfDlqP(op_zFNL8mZEFB(op_2PILXiQIjy(b),op_OKKcZfAt5B(a,a)))
    return count


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

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


def op_zcfNHCZcQb(a, b):
    return op_QvoQhV0rrE(op_6o9Blt3TJ6(op_DZ8iAZOCBD(b,b),op_kc7iqVBlRY(a)),a)

def op_count_zcfNHCZcQb(a, b):
    count = op_count_DZ8iAZOCBD(b,b)+op_count_kc7iqVBlRY(a)+op_count_6o9Blt3TJ6(op_DZ8iAZOCBD(b,b),op_kc7iqVBlRY(a))+op_count_QvoQhV0rrE(op_6o9Blt3TJ6(op_DZ8iAZOCBD(b,b),op_kc7iqVBlRY(a)),a)
    return count