def op_IkX45PPFY8(a):
    return op_UIU2Eox550(op_7j4O788W3g(op_S7Dkc5Re0B(a),op_ljTHtUsqzn(a)))

def op_count_IkX45PPFY8(a):
    count = op_count_S7Dkc5Re0B(a)+op_count_ljTHtUsqzn(a)+op_count_7j4O788W3g(op_S7Dkc5Re0B(a),op_ljTHtUsqzn(a))+op_count_UIU2Eox550(op_7j4O788W3g(op_S7Dkc5Re0B(a),op_ljTHtUsqzn(a)))
    return count


def op_ffr2ZXDv3X(a):
    if a > 156:
        return op_JgXZM7XvWE(op_KipPnG1M2J(op_Sq3AGanRSD(129,306)),op_Z5m6OM72h2(op_DbCuESL50I(311),op_NdELin8EPX(74,a)))
    else:
        return op_cwbF3JtlMN(op_l1M9WJ3V7u(op_neKQRQQIil(560,a)),op_R3vAdrE3IH(op_DNmMwa48aR(a)))

def op_count_ffr2ZXDv3X(a):
    if a > 156:
        count = op_count_Sq3AGanRSD(129,306)+op_count_KipPnG1M2J(op_Sq3AGanRSD(129,306))+op_count_DbCuESL50I(311)+op_count_NdELin8EPX(74,a)+op_count_Z5m6OM72h2(op_DbCuESL50I(311),op_NdELin8EPX(74,a))+op_count_JgXZM7XvWE(op_KipPnG1M2J(op_Sq3AGanRSD(129,306)),op_Z5m6OM72h2(op_DbCuESL50I(311),op_NdELin8EPX(74,a)))
    else:
        count = op_count_neKQRQQIil(560,a)+op_count_l1M9WJ3V7u(op_neKQRQQIil(560,a))+op_count_DNmMwa48aR(a)+op_count_R3vAdrE3IH(op_DNmMwa48aR(a))+op_count_cwbF3JtlMN(op_l1M9WJ3V7u(op_neKQRQQIil(560,a)),op_R3vAdrE3IH(op_DNmMwa48aR(a)))
    return count


def op_fqlhcEIuY2(a, b):
    return op_GMN7JP6WpN(op_3tVxb0NHM4(b,b),op_hrf7POJlIJ(a,457))

def op_count_fqlhcEIuY2(a, b):
    count = op_count_3tVxb0NHM4(b,b)+op_count_hrf7POJlIJ(a,457)+op_count_GMN7JP6WpN(op_3tVxb0NHM4(b,b),op_hrf7POJlIJ(a,457))
    return count


def op_NkmDxhANyO(a, b):
    if b >= 68:
        return op_ZNVVrZ94lY(op_umQnsF7QlU(op_nhYeJWJD5X(372,a),op_qy3n0tapmE(4,b)))
    else:
        return op_XIabStNQrY(op_KROiRRz3d6(op_uTBsSls0VN(911,46),op_DZ8iAZOCBD(a,a)))

def op_count_NkmDxhANyO(a, b):
    if b >= 68:
        count = op_count_nhYeJWJD5X(372,a)+op_count_qy3n0tapmE(4,b)+op_count_umQnsF7QlU(op_nhYeJWJD5X(372,a),op_qy3n0tapmE(4,b))+op_count_ZNVVrZ94lY(op_umQnsF7QlU(op_nhYeJWJD5X(372,a),op_qy3n0tapmE(4,b)))
    else:
        count = op_count_uTBsSls0VN(911,46)+op_count_DZ8iAZOCBD(a,a)+op_count_KROiRRz3d6(op_uTBsSls0VN(911,46),op_DZ8iAZOCBD(a,a))+op_count_XIabStNQrY(op_KROiRRz3d6(op_uTBsSls0VN(911,46),op_DZ8iAZOCBD(a,a)))
    return count


a⨥⨝ = { ((⊡⇒⪪(a⪿⇪⊩a))⪎↠a) , if a<=133 ; (a↙↠) , else }

def op_kspwAgjjs7(a):
    if a <= 133:
        return op_3tVxb0NHM4(op_wisItNeSwq(op_OGWBzMv138(a,a)),a)
    else:
        return op_texHS70gxN(a)

def op_count_kspwAgjjs7(a):
    if a <= 133:
        count = op_count_OGWBzMv138(a,a)+op_count_wisItNeSwq(op_OGWBzMv138(a,a))+op_count_3tVxb0NHM4(op_wisItNeSwq(op_OGWBzMv138(a,a)),a)
    else:
        count = op_count_texHS70gxN(a)
    return count


def op_zXQIJkDMTk(a, b):
    if op_8cLx32lpNA(b,774) == 31:
        return op_3A1e9zoj8h(op_8cLx32lpNA(op_E4l6HwMY31(a,a),op_GMyVS5K48T(a,215)))
    else:
        return op_vg4gO5BX6G(op_OGWBzMv138(op_d8xe6WWVfM(b,b),op_S3tN1ZzpSt(169,b)),op_jBC4ymW3D7(op_YbVcJGFEVW(a,a),op_z4E1FaHLuy(b)))

def op_count_zXQIJkDMTk(a, b):
    if op_8cLx32lpNA(b,774) == 31:
        count = op_count_E4l6HwMY31(a,a)+op_count_GMyVS5K48T(a,215)+op_count_8cLx32lpNA(op_E4l6HwMY31(a,a),op_GMyVS5K48T(a,215))+op_count_3A1e9zoj8h(op_8cLx32lpNA(op_E4l6HwMY31(a,a),op_GMyVS5K48T(a,215)))+op_count_8cLx32lpNA(b,774)
    else:
        count = op_count_d8xe6WWVfM(b,b)+op_count_S3tN1ZzpSt(169,b)+op_count_OGWBzMv138(op_d8xe6WWVfM(b,b),op_S3tN1ZzpSt(169,b))+op_count_YbVcJGFEVW(a,a)+op_count_z4E1FaHLuy(b)+op_count_jBC4ymW3D7(op_YbVcJGFEVW(a,a),op_z4E1FaHLuy(b))+op_count_vg4gO5BX6G(op_OGWBzMv138(op_d8xe6WWVfM(b,b),op_S3tN1ZzpSt(169,b)),op_jBC4ymW3D7(op_YbVcJGFEVW(a,a),op_z4E1FaHLuy(b)))
    return count


a⨺→b = { (((b⨵⪆b)≧⫂∧(a⫏↛⩏b))⇤((a≧⊼658)⩘⋿(⋃a))) }

def op_Io6RfLUAY0(a, b):
    return op_YSKBFp38Pu(op_Ph9nP6C5qx(op_2DQ55sFlQl(b,b),op_YC3tgrnOyr(a,b)),op_64EQ39e0fC(op_JoLB3LXqXx(a,658),op_3mBM5G4a3l(a)))

def op_count_Io6RfLUAY0(a, b):
    count = op_count_2DQ55sFlQl(b,b)+op_count_YC3tgrnOyr(a,b)+op_count_Ph9nP6C5qx(op_2DQ55sFlQl(b,b),op_YC3tgrnOyr(a,b))+op_count_JoLB3LXqXx(a,658)+op_count_3mBM5G4a3l(a)+op_count_64EQ39e0fC(op_JoLB3LXqXx(a,658),op_3mBM5G4a3l(a))+op_count_YSKBFp38Pu(op_Ph9nP6C5qx(op_2DQ55sFlQl(b,b),op_YC3tgrnOyr(a,b)),op_64EQ39e0fC(op_JoLB3LXqXx(a,658),op_3mBM5G4a3l(a)))
    return count


def op_YoXIXuKAaa(a, b):
    if op_cTDWOvIxvz(b,539) >= 303:
        return op_S7Dkc5Re0B(op_i8ToyICDmI(a,a))
    else:
        return op_Rw46J52cBJ(op_XbEAUggs3J(b),op_XnXgA4xnOs(b,293))

def op_count_YoXIXuKAaa(a, b):
    if op_cTDWOvIxvz(b,539) >= 303:
        count = op_count_i8ToyICDmI(a,a)+op_count_S7Dkc5Re0B(op_i8ToyICDmI(a,a))+op_count_cTDWOvIxvz(b,539)
    else:
        count = op_count_XbEAUggs3J(b)+op_count_XnXgA4xnOs(b,293)+op_count_Rw46J52cBJ(op_XbEAUggs3J(b),op_XnXgA4xnOs(b,293))
    return count


def op_H6w7QEXP9L(a):
    return op_PjbVkMzmXE(op_rPNtK4BLRO(op_vg4gO5BX6G(a,a),a),op_KYL1uVeVpb(op_3FtlcrQcJU(a),op_QMFrweE19q(a,a)))

def op_count_H6w7QEXP9L(a):
    count = op_count_vg4gO5BX6G(a,a)+op_count_rPNtK4BLRO(op_vg4gO5BX6G(a,a),a)+op_count_3FtlcrQcJU(a)+op_count_QMFrweE19q(a,a)+op_count_KYL1uVeVpb(op_3FtlcrQcJU(a),op_QMFrweE19q(a,a))+op_count_PjbVkMzmXE(op_rPNtK4BLRO(op_vg4gO5BX6G(a,a),a),op_KYL1uVeVpb(op_3FtlcrQcJU(a),op_QMFrweE19q(a,a)))
    return count


def op_rGX0140XfS(a):
    return op_D3AQDKkPcf(a,a)

def op_count_rGX0140XfS(a):
    count = op_count_D3AQDKkPcf(a,a)
    return count


def op_jLVBUR7r3z(a):
    if op_B3sABdIn96(a) != 18:
        return op_kweVJGAjhl(op_WObL9SsYVE(a,a))
    else:
        return op_eaFBhJ0Uku(op_6iafYuwGo8(a,179),op_tnyRA5sazQ(a,152))

def op_count_jLVBUR7r3z(a):
    if op_B3sABdIn96(a) != 18:
        count = op_count_WObL9SsYVE(a,a)+op_count_kweVJGAjhl(op_WObL9SsYVE(a,a))+op_count_B3sABdIn96(a)
    else:
        count = op_count_6iafYuwGo8(a,179)+op_count_tnyRA5sazQ(a,152)+op_count_eaFBhJ0Uku(op_6iafYuwGo8(a,179),op_tnyRA5sazQ(a,152))
    return count


def op_dIdPJt0fmy(a):
    return op_kbkesczE7y(a,87)

def op_count_dIdPJt0fmy(a):
    count = op_count_kbkesczE7y(a,87)
    return count


def op_xrFH0ex9n9(a):
    if op_Lhk0YGb717(a) > 374:
        return op_BAIXFdYaz3(op_AdZkA7nFnk(op_aDRGw0okjd(41),op_xoJmIySC7h(a,a)),op_z2JHNkvbdm(a,a))
    else:
        return op_aSik1wnThz(op_YSKBFp38Pu(op_keuJNkrrbj(101,a),op_hFnZRMLNSM(573)))

def op_count_xrFH0ex9n9(a):
    if op_Lhk0YGb717(a) > 374:
        count = op_count_aDRGw0okjd(41)+op_count_xoJmIySC7h(a,a)+op_count_AdZkA7nFnk(op_aDRGw0okjd(41),op_xoJmIySC7h(a,a))+op_count_z2JHNkvbdm(a,a)+op_count_BAIXFdYaz3(op_AdZkA7nFnk(op_aDRGw0okjd(41),op_xoJmIySC7h(a,a)),op_z2JHNkvbdm(a,a))+op_count_Lhk0YGb717(a)
    else:
        count = op_count_keuJNkrrbj(101,a)+op_count_hFnZRMLNSM(573)+op_count_YSKBFp38Pu(op_keuJNkrrbj(101,a),op_hFnZRMLNSM(573))+op_count_aSik1wnThz(op_YSKBFp38Pu(op_keuJNkrrbj(101,a),op_hFnZRMLNSM(573)))
    return count


⩘⋧a = { (a⊭a) , if (a⫼⨠228)<66 ; (a⨻⪊⨷a) , else }

def op_S9mysg7M9M(a):
    if op_KYL1uVeVpb(a,228) < 66:
        return op_4JGOJzXMq1(a,a)
    else:
        return op_Pkwamo1tM2(a,a)

def op_count_S9mysg7M9M(a):
    if op_KYL1uVeVpb(a,228) < 66:
        count = op_count_4JGOJzXMq1(a,a)+op_count_KYL1uVeVpb(a,228)
    else:
        count = op_count_Pkwamo1tM2(a,a)
    return count


def op_vfQvGLtzjY(a):
    return op_nbuSfrB4hB(op_SgAxmdLNEA(a),op_f6k1SAg4EE(a,98))

def op_count_vfQvGLtzjY(a):
    count = op_count_SgAxmdLNEA(a)+op_count_f6k1SAg4EE(a,98)+op_count_nbuSfrB4hB(op_SgAxmdLNEA(a),op_f6k1SAg4EE(a,98))
    return count


def op_0TdPSO9GwD(a):
    if op_iz8sE888QL(a) != 22:
        return a
    else:
        return op_Wm7LHi3c8p(op_12rbrZMWeM(30,a))

def op_count_0TdPSO9GwD(a):
    if op_iz8sE888QL(a) != 22:
        count = 1
    else:
        count = op_count_12rbrZMWeM(30,a)+op_count_Wm7LHi3c8p(op_12rbrZMWeM(30,a))
    return count


def op_14J9tZDUQk(a):
    return op_S5ZFQS4GK3(14,op_DX7B1fY6P6(op_o575Zjdmzy(a),a))

def op_count_14J9tZDUQk(a):
    count = op_count_o575Zjdmzy(a)+op_count_DX7B1fY6P6(op_o575Zjdmzy(a),a)+op_count_S5ZFQS4GK3(14,op_DX7B1fY6P6(op_o575Zjdmzy(a),a))
    return count


a⋂⇧⇘b = { ((a⊉↱≁b)⫰⋱(b⋥≓≎a)) , if (a⨙)>284 and b<564 ; b , else }

def op_YjSJMwvp8X(a, b):
    if op_rlpcYeipVY(a) > 284 and b < 564:
        return op_6o9Blt3TJ6(op_w2P8NbNXyL(a,b),op_Qy55tPpLXF(b,a))
    else:
        return b

def op_count_YjSJMwvp8X(a, b):
    if op_rlpcYeipVY(a) > 284 and b < 564:
        count = op_count_w2P8NbNXyL(a,b)+op_count_Qy55tPpLXF(b,a)+op_count_6o9Blt3TJ6(op_w2P8NbNXyL(a,b),op_Qy55tPpLXF(b,a))+op_count_rlpcYeipVY(a)
    else:
        count = 1
    return count


def op_uEDuEPXtEi(a):
    return op_dfKe02y8D2(op_cFVlceoRkX(a,a),op_QMFrweE19q(a,a))

def op_count_uEDuEPXtEi(a):
    count = op_count_cFVlceoRkX(a,a)+op_count_QMFrweE19q(a,a)+op_count_dfKe02y8D2(op_cFVlceoRkX(a,a),op_QMFrweE19q(a,a))
    return count


def op_kK8UFeHRV2(a):
    return op_t8gj7n24qd(op_R3vAdrE3IH(op_d8xe6WWVfM(a,951)))

def op_count_kK8UFeHRV2(a):
    count = op_count_d8xe6WWVfM(a,951)+op_count_R3vAdrE3IH(op_d8xe6WWVfM(a,951))+op_count_t8gj7n24qd(op_R3vAdrE3IH(op_d8xe6WWVfM(a,951)))
    return count


a≼⇆b = { (((a⪎⨄⋝)≼(a⋷a))⪨⊡(⇉-⫰(a⨵⪆b))) }

def op_D4AlmasLin(a, b):
    return op_kuIXHzHcAH(op_SPuZE40Ntn(op_kweVJGAjhl(a),op_23Mk6UjR3U(a,a)),op_IGFM8TAlm9(op_2DQ55sFlQl(a,b)))

def op_count_D4AlmasLin(a, b):
    count = op_count_kweVJGAjhl(a)+op_count_23Mk6UjR3U(a,a)+op_count_SPuZE40Ntn(op_kweVJGAjhl(a),op_23Mk6UjR3U(a,a))+op_count_2DQ55sFlQl(a,b)+op_count_IGFM8TAlm9(op_2DQ55sFlQl(a,b))+op_count_kuIXHzHcAH(op_SPuZE40Ntn(op_kweVJGAjhl(a),op_23Mk6UjR3U(a,a)),op_IGFM8TAlm9(op_2DQ55sFlQl(a,b)))
    return count


a⨌⇙∓b = { (((↽≂a)⫃⨇(≤/b))⩧⪆((102⪇≇⋚a)⪒(b⇛b))) }

def op_1lLgTkXAUu(a, b):
    return op_Ikt5ks8PT7(op_09Ly4LVMIf(op_u6S6b8DprG(a),op_eLAdDNolq6(b)),op_f6k1SAg4EE(op_3sJ7IOPOlU(102,a),op_S3tN1ZzpSt(b,b)))

def op_count_1lLgTkXAUu(a, b):
    count = op_count_u6S6b8DprG(a)+op_count_eLAdDNolq6(b)+op_count_09Ly4LVMIf(op_u6S6b8DprG(a),op_eLAdDNolq6(b))+op_count_3sJ7IOPOlU(102,a)+op_count_S3tN1ZzpSt(b,b)+op_count_f6k1SAg4EE(op_3sJ7IOPOlU(102,a),op_S3tN1ZzpSt(b,b))+op_count_Ikt5ks8PT7(op_09Ly4LVMIf(op_u6S6b8DprG(a),op_eLAdDNolq6(b)),op_f6k1SAg4EE(op_3sJ7IOPOlU(102,a),op_S3tN1ZzpSt(b,b)))
    return count


def op_WuDju6Xg1a(a):
    return op_xRrnTEsQ6j(op_ljTHtUsqzn(a),op_Ph9nP6C5qx(163,a))

def op_count_WuDju6Xg1a(a):
    count = op_count_ljTHtUsqzn(a)+op_count_Ph9nP6C5qx(163,a)+op_count_xRrnTEsQ6j(op_ljTHtUsqzn(a),op_Ph9nP6C5qx(163,a))
    return count


def op_AxXlgV2eu3(a):
    return op_qy3n0tapmE(op_8n5YIzOsVS(a),op_inCIaGQf8u(a,587))

def op_count_AxXlgV2eu3(a):
    count = op_count_8n5YIzOsVS(a)+op_count_inCIaGQf8u(a,587)+op_count_qy3n0tapmE(op_8n5YIzOsVS(a),op_inCIaGQf8u(a,587))
    return count


a∰⋭b = { (((≛b)≚⊃≕(a≏⨯⊱b))⨧↗⨷((176⊬⨰b)↼⊘⨖(433⫸⇳b))) }

def op_qeG8mGoQOE(a, b):
    return op_WSbXXWOizJ(op_Bmrmz2XGnR(op_W7eaUhjymW(b),op_UqUOXUQnbU(a,b)),op_bPywburJMS(op_s3Fd5m9Dh2(176,b),op_gx7XJ7hdpj(433,b)))

def op_count_qeG8mGoQOE(a, b):
    count = op_count_W7eaUhjymW(b)+op_count_UqUOXUQnbU(a,b)+op_count_Bmrmz2XGnR(op_W7eaUhjymW(b),op_UqUOXUQnbU(a,b))+op_count_s3Fd5m9Dh2(176,b)+op_count_gx7XJ7hdpj(433,b)+op_count_bPywburJMS(op_s3Fd5m9Dh2(176,b),op_gx7XJ7hdpj(433,b))+op_count_WSbXXWOizJ(op_Bmrmz2XGnR(op_W7eaUhjymW(b),op_UqUOXUQnbU(a,b)),op_bPywburJMS(op_s3Fd5m9Dh2(176,b),op_gx7XJ7hdpj(433,b)))
    return count


a⩉⪲⨦b = { ((b∽b)⪲⨢(∂⩏⊆a)) , if (a⪠⩆⊳)==522 and a!=598 ; (⋼∭⪍(⩪⩔732)) , else }

def op_Is2W053hpV(a, b):
    if op_JLbD19bQDL(a) == 522 and a != 598:
        return op_6iafYuwGo8(op_y4ImoPnbV5(b,b),op_8WDwsbhb0R(a))
    else:
        return op_DbCuESL50I(op_Siyfjn51pv(732))

def op_count_Is2W053hpV(a, b):
    if op_JLbD19bQDL(a) == 522 and a != 598:
        count = op_count_y4ImoPnbV5(b,b)+op_count_8WDwsbhb0R(a)+op_count_6iafYuwGo8(op_y4ImoPnbV5(b,b),op_8WDwsbhb0R(a))+op_count_JLbD19bQDL(a)
    else:
        count = op_count_Siyfjn51pv(732)+op_count_DbCuESL50I(op_Siyfjn51pv(732))
    return count


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

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


def op_Hua5FZk7i7(a):
    return op_kbkesczE7y(a,a)

def op_count_Hua5FZk7i7(a):
    count = op_count_kbkesczE7y(a,a)
    return count


def op_OOXovtW7XD(a):
    if a <= 390:
        return op_PxpmPgHHJV(76)
    else:
        return op_23Mk6UjR3U(op_4kvgVkQeiQ(a),op_giaUb8UVhq(149,a))

def op_count_OOXovtW7XD(a):
    if a <= 390:
        count = op_count_PxpmPgHHJV(76)
    else:
        count = op_count_4kvgVkQeiQ(a)+op_count_giaUb8UVhq(149,a)+op_count_23Mk6UjR3U(op_4kvgVkQeiQ(a),op_giaUb8UVhq(149,a))
    return count


def op_emE5RBHgXD(a):
    if a == 54:
        return op_t8gj7n24qd(op_hiBDRd40bf(op_9bazX3JMtO(0,a),op_ljTHtUsqzn(352)))
    else:
        return op_KFSx94NKJn(op_HjMFvreeUu(op_nCS4ZIUYfx(a,a)),op_keuJNkrrbj(a,op_l1M9WJ3V7u(217)))

def op_count_emE5RBHgXD(a):
    if a == 54:
        count = op_count_9bazX3JMtO(0,a)+op_count_ljTHtUsqzn(352)+op_count_hiBDRd40bf(op_9bazX3JMtO(0,a),op_ljTHtUsqzn(352))+op_count_t8gj7n24qd(op_hiBDRd40bf(op_9bazX3JMtO(0,a),op_ljTHtUsqzn(352)))
    else:
        count = op_count_nCS4ZIUYfx(a,a)+op_count_HjMFvreeUu(op_nCS4ZIUYfx(a,a))+op_count_l1M9WJ3V7u(217)+op_count_keuJNkrrbj(a,op_l1M9WJ3V7u(217))+op_count_KFSx94NKJn(op_HjMFvreeUu(op_nCS4ZIUYfx(a,a)),op_keuJNkrrbj(a,op_l1M9WJ3V7u(217)))
    return count


def op_t3zCv2dJ9y(a, b):
    return op_COABgblf1C(op_jvbZP6NeOL(b),op_fOIeswaMU4(a))

def op_count_t3zCv2dJ9y(a, b):
    count = op_count_jvbZP6NeOL(b)+op_count_fOIeswaMU4(a)+op_count_COABgblf1C(op_jvbZP6NeOL(b),op_fOIeswaMU4(a))
    return count


def op_aos9xEMCa3(a):
    return op_QDWDTvZtyM(op_FyVja0WsTP(a,a))

def op_count_aos9xEMCa3(a):
    count = op_count_FyVja0WsTP(a,a)+op_count_QDWDTvZtyM(op_FyVja0WsTP(a,a))
    return count


def op_jKh9xaBIQ5(a, b):
    return op_nCS4ZIUYfx(op_fG6uBQFnGz(op_nREPSIbpBE(b,a)),op_XnXgA4xnOs(op_HjMFvreeUu(70),a))

def op_count_jKh9xaBIQ5(a, b):
    count = op_count_nREPSIbpBE(b,a)+op_count_fG6uBQFnGz(op_nREPSIbpBE(b,a))+op_count_HjMFvreeUu(70)+op_count_XnXgA4xnOs(op_HjMFvreeUu(70),a)+op_count_nCS4ZIUYfx(op_fG6uBQFnGz(op_nREPSIbpBE(b,a)),op_XnXgA4xnOs(op_HjMFvreeUu(70),a))
    return count


⊟≔a = { ((a⪲⨢166)⊱⇼⊻(a⨑⋨a)) , if a<=0 ; ((a-a)∲⫓(⋽⪳⨃a)) , else }

def op_KF104xOwWn(a):
    if a <= 0:
        return op_FyVja0WsTP(op_6iafYuwGo8(a,166),op_tIhPxZTbsh(a,a))
    else:
        return op_i8ToyICDmI(op_rysDP5nf3Z(a,a),op_qAljGMXEZr(a))

def op_count_KF104xOwWn(a):
    if a <= 0:
        count = op_count_6iafYuwGo8(a,166)+op_count_tIhPxZTbsh(a,a)+op_count_FyVja0WsTP(op_6iafYuwGo8(a,166),op_tIhPxZTbsh(a,a))
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_qAljGMXEZr(a)+op_count_i8ToyICDmI(op_rysDP5nf3Z(a,a),op_qAljGMXEZr(a))
    return count


a∖⇀⩒b = { ((b⩢≭)⊕⨔) , if b>14 ; (↩⪖(b⨑≵⋬a)) , else }

def op_o5ySIend9F(a, b):
    if b > 14:
        return op_ut0Nd8ObBp(op_rv8OxMkTSD(b))
    else:
        return op_fG6uBQFnGz(op_XnXgA4xnOs(b,a))

def op_count_o5ySIend9F(a, b):
    if b > 14:
        count = op_count_rv8OxMkTSD(b)+op_count_ut0Nd8ObBp(op_rv8OxMkTSD(b))
    else:
        count = op_count_XnXgA4xnOs(b,a)+op_count_fG6uBQFnGz(op_XnXgA4xnOs(b,a))
    return count


a⨙⩎b = { (a⊉≛↸((a⨑≵⋬b)⫸⇳(b⊔%a))) , if (↓⇌b)<148 ; (((b⩂⊭⨚)⇴(b⫏↛⩏261))⨴((b↹⊜79)∌(a⊚⨔))) , else }

def op_iQ0mCYozLK(a, b):
    if op_PxpmPgHHJV(b) < 148:
        return op_DZ8iAZOCBD(a,op_gx7XJ7hdpj(op_XnXgA4xnOs(a,b),op_uysxUYN2L2(b,a)))
    else:
        return op_jBC4ymW3D7(op_4JB6nKBMSY(op_PaBHOjxk8c(b),op_YC3tgrnOyr(b,261)),op_8cLx32lpNA(op_9bazX3JMtO(b,79),op_XbEAUggs3J(a)))

def op_count_iQ0mCYozLK(a, b):
    if op_PxpmPgHHJV(b) < 148:
        count = op_count_XnXgA4xnOs(a,b)+op_count_uysxUYN2L2(b,a)+op_count_gx7XJ7hdpj(op_XnXgA4xnOs(a,b),op_uysxUYN2L2(b,a))+op_count_DZ8iAZOCBD(a,op_gx7XJ7hdpj(op_XnXgA4xnOs(a,b),op_uysxUYN2L2(b,a)))+op_count_PxpmPgHHJV(b)
    else:
        count = op_count_PaBHOjxk8c(b)+op_count_YC3tgrnOyr(b,261)+op_count_4JB6nKBMSY(op_PaBHOjxk8c(b),op_YC3tgrnOyr(b,261))+op_count_9bazX3JMtO(b,79)+op_count_XbEAUggs3J(a)+op_count_8cLx32lpNA(op_9bazX3JMtO(b,79),op_XbEAUggs3J(a))+op_count_jBC4ymW3D7(op_4JB6nKBMSY(op_PaBHOjxk8c(b),op_YC3tgrnOyr(b,261)),op_8cLx32lpNA(op_9bazX3JMtO(b,79),op_XbEAUggs3J(a)))
    return count


def op_AndBsovwpD(a):
    return op_WSbXXWOizJ(op_nouZ5SZjt1(a),op_NrdPCfJQiM(467,a))

def op_count_AndBsovwpD(a):
    count = op_count_nouZ5SZjt1(a)+op_count_NrdPCfJQiM(467,a)+op_count_WSbXXWOizJ(op_nouZ5SZjt1(a),op_NrdPCfJQiM(467,a))
    return count


def op_npqluZklCA(a):
    return op_bF6eod5Gvf(op_YApyZlDuBr(a),op_2GS7woTJqF(a,a))

def op_count_npqluZklCA(a):
    count = op_count_YApyZlDuBr(a)+op_count_2GS7woTJqF(a,a)+op_count_bF6eod5Gvf(op_YApyZlDuBr(a),op_2GS7woTJqF(a,a))
    return count


def op_dHMqadk3l7(a):
    return op_bPywburJMS(a,a)

def op_count_dHMqadk3l7(a):
    count = op_count_bPywburJMS(a,a)
    return count


a↞≒↤b = { (((a⩢≭)↜⊷(b⩘⋿b))+⪬∐((b⊜)↯⫤)) }

def op_VxkNjAGpeT(a, b):
    return op_2GS7woTJqF(op_irKjLsMeKy(op_rv8OxMkTSD(a),op_64EQ39e0fC(b,b)),op_VwlE7vj6HS(op_Eev2Q7dYIw(b)))

def op_count_VxkNjAGpeT(a, b):
    count = op_count_rv8OxMkTSD(a)+op_count_64EQ39e0fC(b,b)+op_count_irKjLsMeKy(op_rv8OxMkTSD(a),op_64EQ39e0fC(b,b))+op_count_Eev2Q7dYIw(b)+op_count_VwlE7vj6HS(op_Eev2Q7dYIw(b))+op_count_2GS7woTJqF(op_irKjLsMeKy(op_rv8OxMkTSD(a),op_64EQ39e0fC(b,b)),op_VwlE7vj6HS(op_Eev2Q7dYIw(b)))
    return count


a≵⩾⇗b = { (((a≧⊼b)∠⫱b)⪇≇⋚(⪚⨷(b⊚⫡⫭))) , if a==13 ; (((a⇌⫙⪟317)⪉⨛(a⫶a))⩍⋽⫝̸((23⊀⪪⫸)⫗⊒⇾(397⫍⨯↯))) , else }

def op_GyJNigkHRe(a, b):
    if a == 13:
        return op_3sJ7IOPOlU(op_QvoQhV0rrE(op_JoLB3LXqXx(a,b),b),op_6LuFrogppQ(op_SpZWOsLKZJ(b)))
    else:
        return op_BiWNJpBvwn(op_EWw2JM7wp4(op_AFVx7xoS7T(a,317),op_BAIXFdYaz3(a,a)),op_hiBDRd40bf(op_UIU2Eox550(23),op_ZcwmYACASQ(397)))

def op_count_GyJNigkHRe(a, b):
    if a == 13:
        count = op_count_JoLB3LXqXx(a,b)+op_count_QvoQhV0rrE(op_JoLB3LXqXx(a,b),b)+op_count_SpZWOsLKZJ(b)+op_count_6LuFrogppQ(op_SpZWOsLKZJ(b))+op_count_3sJ7IOPOlU(op_QvoQhV0rrE(op_JoLB3LXqXx(a,b),b),op_6LuFrogppQ(op_SpZWOsLKZJ(b)))
    else:
        count = op_count_AFVx7xoS7T(a,317)+op_count_BAIXFdYaz3(a,a)+op_count_EWw2JM7wp4(op_AFVx7xoS7T(a,317),op_BAIXFdYaz3(a,a))+op_count_UIU2Eox550(23)+op_count_ZcwmYACASQ(397)+op_count_hiBDRd40bf(op_UIU2Eox550(23),op_ZcwmYACASQ(397))+op_count_BiWNJpBvwn(op_EWw2JM7wp4(op_AFVx7xoS7T(a,317),op_BAIXFdYaz3(a,a)),op_hiBDRd40bf(op_UIU2Eox550(23),op_ZcwmYACASQ(397)))
    return count


a⨈⋀ = { ((a∩⋅)⨧↗⨷((a≏⨯⊱a)⪯⫾⋍(a∊⊞≈355))) }

def op_wzBiNQHWU1(a):
    return op_WSbXXWOizJ(op_2MzE1hQ0cz(a),op_S5ZFQS4GK3(op_UqUOXUQnbU(a,a),op_keuJNkrrbj(a,355)))

def op_count_wzBiNQHWU1(a):
    count = op_count_2MzE1hQ0cz(a)+op_count_UqUOXUQnbU(a,a)+op_count_keuJNkrrbj(a,355)+op_count_S5ZFQS4GK3(op_UqUOXUQnbU(a,a),op_keuJNkrrbj(a,355))+op_count_WSbXXWOizJ(op_2MzE1hQ0cz(a),op_S5ZFQS4GK3(op_UqUOXUQnbU(a,a),op_keuJNkrrbj(a,355)))
    return count


def op_EBzn0Xj5t9(a):
    return op_BiWNJpBvwn(499,op_OKKcZfAt5B(op_2GS7woTJqF(a,a),a))

def op_count_EBzn0Xj5t9(a):
    count = op_count_2GS7woTJqF(a,a)+op_count_OKKcZfAt5B(op_2GS7woTJqF(a,a),a)+op_count_BiWNJpBvwn(499,op_OKKcZfAt5B(op_2GS7woTJqF(a,a),a))
    return count


a⨒↵b = { (((a⋥≓≎a)≚⊃≕(a⪉⨛b))⩧⪆(∑⇻≧(⩪∧⨌a))) }

def op_4F2d8NdGA5(a, b):
    return op_Ikt5ks8PT7(op_Bmrmz2XGnR(op_Qy55tPpLXF(a,a),op_EWw2JM7wp4(a,b)),op_l1M9WJ3V7u(op_6iOiAJX1F8(a)))

def op_count_4F2d8NdGA5(a, b):
    count = op_count_Qy55tPpLXF(a,a)+op_count_EWw2JM7wp4(a,b)+op_count_Bmrmz2XGnR(op_Qy55tPpLXF(a,a),op_EWw2JM7wp4(a,b))+op_count_6iOiAJX1F8(a)+op_count_l1M9WJ3V7u(op_6iOiAJX1F8(a))+op_count_Ikt5ks8PT7(op_Bmrmz2XGnR(op_Qy55tPpLXF(a,a),op_EWw2JM7wp4(a,b)),op_l1M9WJ3V7u(op_6iOiAJX1F8(a)))
    return count


⩖⪀⩺a = { (⩰a) , if (a⨝⩣∺)!=70 ; (a⨐a) , else }

def op_oKjQ9gxkKw(a):
    if op_ancx8kZcWl(a) != 70:
        return op_WkeUrDK8WX(a)
    else:
        return op_Noe24qw2ks(a,a)

def op_count_oKjQ9gxkKw(a):
    if op_ancx8kZcWl(a) != 70:
        count = op_count_WkeUrDK8WX(a)+op_count_ancx8kZcWl(a)
    else:
        count = op_count_Noe24qw2ks(a,a)
    return count


def op_xtPphx4CWz(a):
    return op_zFNL8mZEFB(124,a)

def op_count_xtPphx4CWz(a):
    count = op_count_zFNL8mZEFB(124,a)
    return count


≱a = { ((a≽⊫)∠⫱(⪷∈↠438)) , if (≦a)<503 ; ((⪚⨷a)⪚⨁⋖(⊲⪭a)) , else }

def op_Z6xt9iJndF(a):
    if op_RPa3726CSl(a) < 503:
        return op_QvoQhV0rrE(op_H0pizIJMoW(a),op_Kn0TacbtGK(438))
    else:
        return op_xSk1F0pZbF(op_6LuFrogppQ(a),op_k7HXdKtiEU(a))

def op_count_Z6xt9iJndF(a):
    if op_RPa3726CSl(a) < 503:
        count = op_count_H0pizIJMoW(a)+op_count_Kn0TacbtGK(438)+op_count_QvoQhV0rrE(op_H0pizIJMoW(a),op_Kn0TacbtGK(438))+op_count_RPa3726CSl(a)
    else:
        count = op_count_6LuFrogppQ(a)+op_count_k7HXdKtiEU(a)+op_count_xSk1F0pZbF(op_6LuFrogppQ(a),op_k7HXdKtiEU(a))
    return count


⪻⩪a = { ((⪁≄a)⫡⨏(a⩵∡a)) , if (a⪿⇪⊩238)<11 ; ((a⪎↠a)∇⊂⋱(a∏⇴a)) , else }

def op_e2wQGxxxH2(a):
    if op_OGWBzMv138(a,238) < 11:
        return op_QMFrweE19q(op_2O29ZX4yK6(a),op_Y7wcNGrDQJ(a,a))
    else:
        return op_nhYeJWJD5X(op_3tVxb0NHM4(a,a),op_Rw46J52cBJ(a,a))

def op_count_e2wQGxxxH2(a):
    if op_OGWBzMv138(a,238) < 11:
        count = op_count_2O29ZX4yK6(a)+op_count_Y7wcNGrDQJ(a,a)+op_count_QMFrweE19q(op_2O29ZX4yK6(a),op_Y7wcNGrDQJ(a,a))+op_count_OGWBzMv138(a,238)
    else:
        count = op_count_3tVxb0NHM4(a,a)+op_count_Rw46J52cBJ(a,a)+op_count_nhYeJWJD5X(op_3tVxb0NHM4(a,a),op_Rw46J52cBJ(a,a))
    return count


def op_Jy9gJ1pnyD(a):
    if a <= 394:
        return a
    else:
        return op_1tCtMSPkGf(a)

def op_count_Jy9gJ1pnyD(a):
    if a <= 394:
        count = 1
    else:
        count = op_count_1tCtMSPkGf(a)
    return count


a≧b = { (((⪲⇎a)↹⊜(a∼⇢a))⨸⪁((b↢513)⪲⨢(a⋐≟⩺a))) }

def op_MSsKXfycuQ(a, b):
    return op_g55IO6H4Gj(op_9bazX3JMtO(op_XPYlsWDdGa(a),op_Cr5xnr8B4B(a,a)),op_6iafYuwGo8(op_WR6HLWljOP(b,513),op_PjbVkMzmXE(a,a)))

def op_count_MSsKXfycuQ(a, b):
    count = op_count_XPYlsWDdGa(a)+op_count_Cr5xnr8B4B(a,a)+op_count_9bazX3JMtO(op_XPYlsWDdGa(a),op_Cr5xnr8B4B(a,a))+op_count_WR6HLWljOP(b,513)+op_count_PjbVkMzmXE(a,a)+op_count_6iafYuwGo8(op_WR6HLWljOP(b,513),op_PjbVkMzmXE(a,a))+op_count_g55IO6H4Gj(op_9bazX3JMtO(op_XPYlsWDdGa(a),op_Cr5xnr8B4B(a,a)),op_6iafYuwGo8(op_WR6HLWljOP(b,513),op_PjbVkMzmXE(a,a)))
    return count


def op_Qtw1Wu4TZm(a):
    return op_qAljGMXEZr(op_NTOWxs364D(op_YbVcJGFEVW(a,a),op_hiBDRd40bf(102,405)))

def op_count_Qtw1Wu4TZm(a):
    count = op_count_YbVcJGFEVW(a,a)+op_count_hiBDRd40bf(102,405)+op_count_NTOWxs364D(op_YbVcJGFEVW(a,a),op_hiBDRd40bf(102,405))+op_count_qAljGMXEZr(op_NTOWxs364D(op_YbVcJGFEVW(a,a),op_hiBDRd40bf(102,405)))
    return count


def op_67pLdqUuiR(a, b):
    if (op_oj4YnGA3cE(a) >= 441 or op_RygbFNSyEJ(b,681) > 95):
        return op_Q2SPaKwpPJ(op_HJ9erzHUuu(op_9Isq31Ruls(a,b),op_2MzE1hQ0cz(b)),op_7j4O788W3g(op_DpFCA1CohY(a),op_JgXZM7XvWE(b,a)))
    else:
        return op_PPChnnnBFF(op_ut0Nd8ObBp(op_hrf7POJlIJ(37,b)),op_Y7wcNGrDQJ(op_0kmYd0q39Y(427,b),b))

def op_count_67pLdqUuiR(a, b):
    if (op_oj4YnGA3cE(a) >= 441 or op_RygbFNSyEJ(b,681) > 95):
        count = op_count_9Isq31Ruls(a,b)+op_count_2MzE1hQ0cz(b)+op_count_HJ9erzHUuu(op_9Isq31Ruls(a,b),op_2MzE1hQ0cz(b))+op_count_DpFCA1CohY(a)+op_count_JgXZM7XvWE(b,a)+op_count_7j4O788W3g(op_DpFCA1CohY(a),op_JgXZM7XvWE(b,a))+op_count_Q2SPaKwpPJ(op_HJ9erzHUuu(op_9Isq31Ruls(a,b),op_2MzE1hQ0cz(b)),op_7j4O788W3g(op_DpFCA1CohY(a),op_JgXZM7XvWE(b,a)))+op_count_oj4YnGA3cE(a)+op_count_RygbFNSyEJ(b,681)
    else:
        count = op_count_hrf7POJlIJ(37,b)+op_count_ut0Nd8ObBp(op_hrf7POJlIJ(37,b))+op_count_0kmYd0q39Y(427,b)+op_count_Y7wcNGrDQJ(op_0kmYd0q39Y(427,b),b)+op_count_PPChnnnBFF(op_ut0Nd8ObBp(op_hrf7POJlIJ(37,b)),op_Y7wcNGrDQJ(op_0kmYd0q39Y(427,b),b))
    return count


a⨯≫⊾b = { (⇒⊙∲a) , if (∑⇻≧b)==502 ; (a⇄b) , else }

def op_3Nwa8gVjpX(a, b):
    if op_l1M9WJ3V7u(b) == 502:
        return op_8HCJqvcFkE(a)
    else:
        return op_3EYGwJThht(a,b)

def op_count_3Nwa8gVjpX(a, b):
    if op_l1M9WJ3V7u(b) == 502:
        count = op_count_8HCJqvcFkE(a)+op_count_l1M9WJ3V7u(b)
    else:
        count = op_count_3EYGwJThht(a,b)
    return count


def op_BV4vVKNs1e(a):
    return op_tHMVLcQ9bH(op_QErWpSDGk0(op_Y5cEcQhyKu(a,8)))

def op_count_BV4vVKNs1e(a):
    count = op_count_Y5cEcQhyKu(a,8)+op_count_QErWpSDGk0(op_Y5cEcQhyKu(a,8))+op_count_tHMVLcQ9bH(op_QErWpSDGk0(op_Y5cEcQhyKu(a,8)))
    return count


def op_S1JWpU3LTa(a, b):
    if a >= 281:
        return b
    else:
        return op_rysDP5nf3Z(op_Sq3AGanRSD(op_OGWBzMv138(b,b),op_g7Hmc5v1ko(b,b)),op_18saOjeKKm(223))

def op_count_S1JWpU3LTa(a, b):
    if a >= 281:
        count = 1
    else:
        count = op_count_OGWBzMv138(b,b)+op_count_g7Hmc5v1ko(b,b)+op_count_Sq3AGanRSD(op_OGWBzMv138(b,b),op_g7Hmc5v1ko(b,b))+op_count_18saOjeKKm(223)+op_count_rysDP5nf3Z(op_Sq3AGanRSD(op_OGWBzMv138(b,b),op_g7Hmc5v1ko(b,b)),op_18saOjeKKm(223))
    return count


∺⫀a = { ((a∴≳≥)⫊⇚⊺(⩣⪁a)) , if (a⊔%977)==19 ; ((a⊭↱a)⪖⪡(a⇔⨋)) , else }

def op_K46Icz8A72(a):
    if op_uysxUYN2L2(a,977) == 19:
        return op_Y5cEcQhyKu(op_a3N2hFLK0J(a),op_W2rMsuCzF8(a))
    else:
        return op_7PjNe5qSIJ(op_COABgblf1C(a,a),op_uBihLCJcMX(a))

def op_count_K46Icz8A72(a):
    if op_uysxUYN2L2(a,977) == 19:
        count = op_count_a3N2hFLK0J(a)+op_count_W2rMsuCzF8(a)+op_count_Y5cEcQhyKu(op_a3N2hFLK0J(a),op_W2rMsuCzF8(a))+op_count_uysxUYN2L2(a,977)
    else:
        count = op_count_COABgblf1C(a,a)+op_count_uBihLCJcMX(a)+op_count_7PjNe5qSIJ(op_COABgblf1C(a,a),op_uBihLCJcMX(a))
    return count


a⨽⇀b = { b , if a>9 ; ((b⩚⊴⇥a)≼(a⫠↝⫳)) , else }

def op_h1U3ZT2Qlc(a, b):
    if a > 9:
        return b
    else:
        return op_SPuZE40Ntn(op_NTOWxs364D(b,a),op_8n5YIzOsVS(a))

def op_count_h1U3ZT2Qlc(a, b):
    if a > 9:
        count = 1
    else:
        count = op_count_NTOWxs364D(b,a)+op_count_8n5YIzOsVS(a)+op_count_SPuZE40Ntn(op_NTOWxs364D(b,a),op_8n5YIzOsVS(a))
    return count


a⫒≵ = { (⇝⋾⇵(a≟⫹(a∙∹∝a))) , if (a⫸137)!=218 ; (a≾⋳) , else }

def op_GgGZ8wTyrz(a):
    if op_Qaz2MhZaG5(a,137) != 218:
        return op_6l7ULzJsnZ(op_z2JHNkvbdm(a,op_HmxsFra2vL(a,a)))
    else:
        return op_1tCtMSPkGf(a)

def op_count_GgGZ8wTyrz(a):
    if op_Qaz2MhZaG5(a,137) != 218:
        count = op_count_HmxsFra2vL(a,a)+op_count_z2JHNkvbdm(a,op_HmxsFra2vL(a,a))+op_count_6l7ULzJsnZ(op_z2JHNkvbdm(a,op_HmxsFra2vL(a,a)))+op_count_Qaz2MhZaG5(a,137)
    else:
        count = op_count_1tCtMSPkGf(a)
    return count


def op_FG4jWDXkwW(a, b):
    if op_BiWNJpBvwn(a,283) != 175:
        return op_YjI8oCXuph(b)
    else:
        return op_S3tN1ZzpSt(83,a)

def op_count_FG4jWDXkwW(a, b):
    if op_BiWNJpBvwn(a,283) != 175:
        count = op_count_YjI8oCXuph(b)+op_count_BiWNJpBvwn(a,283)
    else:
        count = op_count_S3tN1ZzpSt(83,a)
    return count


def op_Bl54AILvL7(a, b):
    return op_4JB6nKBMSY(op_wsXFuL0hC6(b,a),op_tnyRA5sazQ(a,b))

def op_count_Bl54AILvL7(a, b):
    count = op_count_wsXFuL0hC6(b,a)+op_count_tnyRA5sazQ(a,b)+op_count_4JB6nKBMSY(op_wsXFuL0hC6(b,a),op_tnyRA5sazQ(a,b))
    return count


def op_bkvWZQZAQa(a):
    return op_COABgblf1C(op_2DQ55sFlQl(0,a),op_U9HvHqtOoq(a))

def op_count_bkvWZQZAQa(a):
    count = op_count_2DQ55sFlQl(0,a)+op_count_U9HvHqtOoq(a)+op_count_COABgblf1C(op_2DQ55sFlQl(0,a),op_U9HvHqtOoq(a))
    return count


a⇝⋩⪿b = { ((a⪕a)⨣∐↬(a⋅⇍474)) , if a>=335 ; (⩏⊷≩(b⋾⨟)) , else }

def op_5tUnBSHxYC(a, b):
    if a >= 335:
        return op_UpkSd4zESC(op_umQnsF7QlU(a,a),op_AdZkA7nFnk(a,474))
    else:
        return op_uOZ1tnYMDE(op_hYjFJ8q04Z(b))

def op_count_5tUnBSHxYC(a, b):
    if a >= 335:
        count = op_count_umQnsF7QlU(a,a)+op_count_AdZkA7nFnk(a,474)+op_count_UpkSd4zESC(op_umQnsF7QlU(a,a),op_AdZkA7nFnk(a,474))
    else:
        count = op_count_hYjFJ8q04Z(b)+op_count_uOZ1tnYMDE(op_hYjFJ8q04Z(b))
    return count


a⇻⊹b = { (((b≽⪈↿a)≎⋽⪿)≏⨯⊱((610∆⨵⋿)⩂⊭⨚)) }

def op_gQpPSlYAud(a, b):
    return op_UqUOXUQnbU(op_Mp74FtG4yY(op_inCIaGQf8u(b,a)),op_PaBHOjxk8c(op_7CBskBkoKY(610)))

def op_count_gQpPSlYAud(a, b):
    count = op_count_inCIaGQf8u(b,a)+op_count_Mp74FtG4yY(op_inCIaGQf8u(b,a))+op_count_7CBskBkoKY(610)+op_count_PaBHOjxk8c(op_7CBskBkoKY(610))+op_count_UqUOXUQnbU(op_Mp74FtG4yY(op_inCIaGQf8u(b,a)),op_PaBHOjxk8c(op_7CBskBkoKY(610)))
    return count


a⩸⨹⇝ = { (265⫗⊒⇾a) , if (⫌⊑↬a)!=576 and a>=326 and (a∫≲⋬)==308 ; (a⊚⫡⫭) , else }

def op_Tx2vH9Gc0M(a):
    if op_h57jOAbG9W(a) != 576 and a >= 326 and op_DNmMwa48aR(a) == 308:
        return op_hiBDRd40bf(265,a)
    else:
        return op_SpZWOsLKZJ(a)

def op_count_Tx2vH9Gc0M(a):
    if op_h57jOAbG9W(a) != 576 and a >= 326 and op_DNmMwa48aR(a) == 308:
        count = op_count_hiBDRd40bf(265,a)+op_count_h57jOAbG9W(a)+op_count_DNmMwa48aR(a)
    else:
        count = op_count_SpZWOsLKZJ(a)
    return count


a⊣⨺b = { (a⇩) , if a>378 or a<=81 ; (⫡⇟⇯b) , else }

def op_8yGz9s51pC(a, b):
    if a > 378 or a <= 81:
        return op_vRio1gEz1j(a)
    else:
        return op_qWUSsah53b(b)

def op_count_8yGz9s51pC(a, b):
    if a > 378 or a <= 81:
        count = op_count_vRio1gEz1j(a)
    else:
        count = op_count_qWUSsah53b(b)
    return count


a≳b = { (((∂⩏⊆b)⪿⇪⊩(b⪨a))≻⇥≳((a⨻⪊⨷b)⨸⪁237)) }

def op_HOs11gFUaq(a, b):
    return op_aiqF8n6J9c(op_OGWBzMv138(op_8WDwsbhb0R(b),op_2z8nE7LpCu(b,a)),op_g55IO6H4Gj(op_Pkwamo1tM2(a,b),237))

def op_count_HOs11gFUaq(a, b):
    count = op_count_8WDwsbhb0R(b)+op_count_2z8nE7LpCu(b,a)+op_count_OGWBzMv138(op_8WDwsbhb0R(b),op_2z8nE7LpCu(b,a))+op_count_Pkwamo1tM2(a,b)+op_count_g55IO6H4Gj(op_Pkwamo1tM2(a,b),237)+op_count_aiqF8n6J9c(op_OGWBzMv138(op_8WDwsbhb0R(b),op_2z8nE7LpCu(b,a)),op_g55IO6H4Gj(op_Pkwamo1tM2(a,b),237))
    return count


def op_K8zGsxkxB9(a):
    return op_uTBsSls0VN(op_gx7XJ7hdpj(op_3nqY3DE9mg(a),op_Y5cEcQhyKu(0,a)),op_Ikt5ks8PT7(op_1h0rLqGiFr(17),op_iuk5sVOGFA(137)))

def op_count_K8zGsxkxB9(a):
    count = op_count_3nqY3DE9mg(a)+op_count_Y5cEcQhyKu(0,a)+op_count_gx7XJ7hdpj(op_3nqY3DE9mg(a),op_Y5cEcQhyKu(0,a))+op_count_1h0rLqGiFr(17)+op_count_iuk5sVOGFA(137)+op_count_Ikt5ks8PT7(op_1h0rLqGiFr(17),op_iuk5sVOGFA(137))+op_count_uTBsSls0VN(op_gx7XJ7hdpj(op_3nqY3DE9mg(a),op_Y5cEcQhyKu(0,a)),op_Ikt5ks8PT7(op_1h0rLqGiFr(17),op_iuk5sVOGFA(137)))
    return count


a⇙⫺ = { (≛(a⫚↹⊑a)) , if a>93 ; ((∛⊵354)⊠≄⫣) , else }

def op_URnuOZ7F7y(a):
    if a > 93:
        return op_W7eaUhjymW(op_dfKe02y8D2(a,a))
    else:
        return op_DIvbN7qnHd(op_jfYOP67v6Y(354))

def op_count_URnuOZ7F7y(a):
    if a > 93:
        count = op_count_dfKe02y8D2(a,a)+op_count_W7eaUhjymW(op_dfKe02y8D2(a,a))
    else:
        count = op_count_jfYOP67v6Y(354)+op_count_DIvbN7qnHd(op_jfYOP67v6Y(354))
    return count


a⪷∳b = { (b≟⫹b) , if (⫟a)==296 ; (a≎⋽⪿) , else }

def op_BPVSQbVZqK(a, b):
    if op_z4E1FaHLuy(a) == 296:
        return op_z2JHNkvbdm(b,b)
    else:
        return op_Mp74FtG4yY(a)

def op_count_BPVSQbVZqK(a, b):
    if op_z4E1FaHLuy(a) == 296:
        count = op_count_z2JHNkvbdm(b,b)+op_count_z4E1FaHLuy(a)
    else:
        count = op_count_Mp74FtG4yY(a)
    return count


a⫉∰b = { ((b⨜⇔b)⩘⋿(∷≠45)) , if (⊁⨺a)==404 ; a , else }

def op_HyMMGPmzsk(a, b):
    if op_PxiHyQbrIp(a) == 404:
        return op_64EQ39e0fC(op_Sq3AGanRSD(b,b),op_QiR2Oyf5Xj(45))
    else:
        return a

def op_count_HyMMGPmzsk(a, b):
    if op_PxiHyQbrIp(a) == 404:
        count = op_count_Sq3AGanRSD(b,b)+op_count_QiR2Oyf5Xj(45)+op_count_64EQ39e0fC(op_Sq3AGanRSD(b,b),op_QiR2Oyf5Xj(45))+op_count_PxiHyQbrIp(a)
    else:
        count = 1
    return count


def op_7TGVge7HG5(a, b):
    if op_eLAdDNolq6(a) == 66:
        return op_JoLB3LXqXx(op_2z8nE7LpCu(op_s0IfDFCCuZ(b,213),op_6iafYuwGo8(b,b)),op_VCG3UHNzLR(op_RygbFNSyEJ(315,a),op_g7Hmc5v1ko(360,599)))
    else:
        return op_P8v4zCKN1o(op_QKXs96F9fN(op_IxJHfR5psi(215,289)))

def op_count_7TGVge7HG5(a, b):
    if op_eLAdDNolq6(a) == 66:
        count = op_count_s0IfDFCCuZ(b,213)+op_count_6iafYuwGo8(b,b)+op_count_2z8nE7LpCu(op_s0IfDFCCuZ(b,213),op_6iafYuwGo8(b,b))+op_count_RygbFNSyEJ(315,a)+op_count_g7Hmc5v1ko(360,599)+op_count_VCG3UHNzLR(op_RygbFNSyEJ(315,a),op_g7Hmc5v1ko(360,599))+op_count_JoLB3LXqXx(op_2z8nE7LpCu(op_s0IfDFCCuZ(b,213),op_6iafYuwGo8(b,b)),op_VCG3UHNzLR(op_RygbFNSyEJ(315,a),op_g7Hmc5v1ko(360,599)))+op_count_eLAdDNolq6(a)
    else:
        count = op_count_IxJHfR5psi(215,289)+op_count_QKXs96F9fN(op_IxJHfR5psi(215,289))+op_count_P8v4zCKN1o(op_QKXs96F9fN(op_IxJHfR5psi(215,289)))
    return count


a↻↤b = { (b≏⨯⊱a) , if b==314 ; (a⇌⫙⪟b) , else }

def op_KCEnvkkZbe(a, b):
    if b == 314:
        return op_UqUOXUQnbU(b,a)
    else:
        return op_AFVx7xoS7T(a,b)

def op_count_KCEnvkkZbe(a, b):
    if b == 314:
        count = op_count_UqUOXUQnbU(b,a)
    else:
        count = op_count_AFVx7xoS7T(a,b)
    return count


def op_eZJ1CbPeTb(a):
    return op_w2P8NbNXyL(op_40aOVDgCDB(a),op_liw5iZPkLH(op_7Nd029Vx1U(a)))

def op_count_eZJ1CbPeTb(a):
    count = op_count_40aOVDgCDB(a)+op_count_7Nd029Vx1U(a)+op_count_liw5iZPkLH(op_7Nd029Vx1U(a))+op_count_w2P8NbNXyL(op_40aOVDgCDB(a),op_liw5iZPkLH(op_7Nd029Vx1U(a)))
    return count


a⩛b = { (a∣b) , if b<280 ; (a⊝⨜≵) , else }

def op_1Ozlt4kVTJ(a, b):
    if b < 280:
        return op_PPChnnnBFF(a,b)
    else:
        return op_CuHhPb8RwQ(a)

def op_count_1Ozlt4kVTJ(a, b):
    if b < 280:
        count = op_count_PPChnnnBFF(a,b)
    else:
        count = op_count_CuHhPb8RwQ(a)
    return count


def op_lYcSkUzuAi(a):
    if (op_AdZkA7nFnk(a,42) > 13 or op_wztAlM01eG(a) >= 116):
        return a
    else:
        return op_09Ly4LVMIf(op_xRrnTEsQ6j(a,a),op_iz8sE888QL(118))

def op_count_lYcSkUzuAi(a):
    if (op_AdZkA7nFnk(a,42) > 13 or op_wztAlM01eG(a) >= 116):
        count = 1
    else:
        count = op_count_xRrnTEsQ6j(a,a)+op_count_iz8sE888QL(118)+op_count_09Ly4LVMIf(op_xRrnTEsQ6j(a,a),op_iz8sE888QL(118))
    return count


def op_4ymqnhyEjQ(a):
    return op_Qaz2MhZaG5(op_w2P8NbNXyL(a,a),op_H0pizIJMoW(136))

def op_count_4ymqnhyEjQ(a):
    count = op_count_w2P8NbNXyL(a,a)+op_count_H0pizIJMoW(136)+op_count_Qaz2MhZaG5(op_w2P8NbNXyL(a,a),op_H0pizIJMoW(136))
    return count


def op_lCIClzkQ2R(a):
    return op_BiWNJpBvwn(op_86A5ENbKR9(op_aiqF8n6J9c(a,a)),op_UggxBX659n(op_t4WUHVGj7f(a),op_aDRGw0okjd(a)))

def op_count_lCIClzkQ2R(a):
    count = op_count_aiqF8n6J9c(a,a)+op_count_86A5ENbKR9(op_aiqF8n6J9c(a,a))+op_count_t4WUHVGj7f(a)+op_count_aDRGw0okjd(a)+op_count_UggxBX659n(op_t4WUHVGj7f(a),op_aDRGw0okjd(a))+op_count_BiWNJpBvwn(op_86A5ENbKR9(op_aiqF8n6J9c(a,a)),op_UggxBX659n(op_t4WUHVGj7f(a),op_aDRGw0okjd(a)))
    return count


def op_Wks9BZTnMU(a):
    return op_ar1w6gUwHX(op_CuHhPb8RwQ(374),op_5twsqlHp2o(a,a))

def op_count_Wks9BZTnMU(a):
    count = op_count_CuHhPb8RwQ(374)+op_count_5twsqlHp2o(a,a)+op_count_ar1w6gUwHX(op_CuHhPb8RwQ(374),op_5twsqlHp2o(a,a))
    return count


a*⇘b = { (⪀≱a) , if a==488 ; (b⊨a) , else }

def op_5JlONKxcBp(a, b):
    if a == 488:
        return op_tDVI6bDdAd(a)
    else:
        return op_vg4gO5BX6G(b,a)

def op_count_5JlONKxcBp(a, b):
    if a == 488:
        count = op_count_tDVI6bDdAd(a)
    else:
        count = op_count_vg4gO5BX6G(b,a)
    return count


def op_OpIL6DGFIM(a, b):
    if op_oH594TLvBK(a) >= 37:
        return op_Qy55tPpLXF(op_hYjFJ8q04Z(op_nREPSIbpBE(a,a)),op_YSKBFp38Pu(op_d7ASUq0ydm(222,b),op_y4ImoPnbV5(a,b)))
    else:
        return op_qazvmhNBbN(op_bF6eod5Gvf(b,op_nREPSIbpBE(256,27)))

def op_count_OpIL6DGFIM(a, b):
    if op_oH594TLvBK(a) >= 37:
        count = op_count_nREPSIbpBE(a,a)+op_count_hYjFJ8q04Z(op_nREPSIbpBE(a,a))+op_count_d7ASUq0ydm(222,b)+op_count_y4ImoPnbV5(a,b)+op_count_YSKBFp38Pu(op_d7ASUq0ydm(222,b),op_y4ImoPnbV5(a,b))+op_count_Qy55tPpLXF(op_hYjFJ8q04Z(op_nREPSIbpBE(a,a)),op_YSKBFp38Pu(op_d7ASUq0ydm(222,b),op_y4ImoPnbV5(a,b)))+op_count_oH594TLvBK(a)
    else:
        count = op_count_nREPSIbpBE(256,27)+op_count_bF6eod5Gvf(b,op_nREPSIbpBE(256,27))+op_count_qazvmhNBbN(op_bF6eod5Gvf(b,op_nREPSIbpBE(256,27)))
    return count


def op_SXU37uY0z3(a):
    return op_2z8nE7LpCu(op_v0DYgG9ikt(189),op_inCIaGQf8u(a,65))

def op_count_SXU37uY0z3(a):
    count = op_count_v0DYgG9ikt(189)+op_count_inCIaGQf8u(a,65)+op_count_2z8nE7LpCu(op_v0DYgG9ikt(189),op_inCIaGQf8u(a,65))
    return count


def op_mjfNiYKyI7(a):
    if op_H0pizIJMoW(a) < 81:
        return op_FB83X2dByY(op_gx7XJ7hdpj(a,786))
    else:
        return op_Z5m6OM72h2(op_j9kHMeSvPp(378,a),op_WObL9SsYVE(18,a))

def op_count_mjfNiYKyI7(a):
    if op_H0pizIJMoW(a) < 81:
        count = op_count_gx7XJ7hdpj(a,786)+op_count_FB83X2dByY(op_gx7XJ7hdpj(a,786))+op_count_H0pizIJMoW(a)
    else:
        count = op_count_j9kHMeSvPp(378,a)+op_count_WObL9SsYVE(18,a)+op_count_Z5m6OM72h2(op_j9kHMeSvPp(378,a),op_WObL9SsYVE(18,a))
    return count


def op_x9eSC9dsh8(a):
    if (op_IjUb3wyICU(a) <= 31 and a < 200):
        return op_MXaNJeIAZ3(a)
    else:
        return op_2GS7woTJqF(a,99)

def op_count_x9eSC9dsh8(a):
    if (op_IjUb3wyICU(a) <= 31 and a < 200):
        count = op_count_MXaNJeIAZ3(a)+op_count_IjUb3wyICU(a)
    else:
        count = op_count_2GS7woTJqF(a,99)
    return count


def op_ehBHL9glaM(a):
    return op_UoVew8f2p2(32,a)

def op_count_ehBHL9glaM(a):
    count = op_count_UoVew8f2p2(32,a)
    return count


a∫⨆⊨b = { (((a∼⇢a)⇼⇔∾a)⋢((b⩌a)∿⫑≎(b⊨b))) , if (a↯⫤)!=56 ; (⨢⋑⪾b) , else }

def op_IDcHNuZ7N0(a, b):
    if op_VwlE7vj6HS(a) != 56:
        return op_NdELin8EPX(op_tifHPKVTfV(op_Cr5xnr8B4B(a,a),a),op_ar1w6gUwHX(op_UoVew8f2p2(b,a),op_vg4gO5BX6G(b,b)))
    else:
        return op_tmjFFOTKyA(b)

def op_count_IDcHNuZ7N0(a, b):
    if op_VwlE7vj6HS(a) != 56:
        count = op_count_Cr5xnr8B4B(a,a)+op_count_tifHPKVTfV(op_Cr5xnr8B4B(a,a),a)+op_count_UoVew8f2p2(b,a)+op_count_vg4gO5BX6G(b,b)+op_count_ar1w6gUwHX(op_UoVew8f2p2(b,a),op_vg4gO5BX6G(b,b))+op_count_NdELin8EPX(op_tifHPKVTfV(op_Cr5xnr8B4B(a,a),a),op_ar1w6gUwHX(op_UoVew8f2p2(b,a),op_vg4gO5BX6G(b,b)))+op_count_VwlE7vj6HS(a)
    else:
        count = op_count_tmjFFOTKyA(b)
    return count


def op_Tqzu5lEutZ(a):
    return op_fG6uBQFnGz(op_7PjNe5qSIJ(a,a))

def op_count_Tqzu5lEutZ(a):
    count = op_count_7PjNe5qSIJ(a,a)+op_count_fG6uBQFnGz(op_7PjNe5qSIJ(a,a))
    return count


def op_whJdrJ3PBx(a):
    return op_64EQ39e0fC(op_eIba4BG3xN(65),op_bPywburJMS(a,a))

def op_count_whJdrJ3PBx(a):
    count = op_count_eIba4BG3xN(65)+op_count_bPywburJMS(a,a)+op_count_64EQ39e0fC(op_eIba4BG3xN(65),op_bPywburJMS(a,a))
    return count


def op_LlCD65txTz(a):
    return op_UggxBX659n(op_WObL9SsYVE(219,a),op_fOIeswaMU4(a))

def op_count_LlCD65txTz(a):
    count = op_count_WObL9SsYVE(219,a)+op_count_fOIeswaMU4(a)+op_count_UggxBX659n(op_WObL9SsYVE(219,a),op_fOIeswaMU4(a))
    return count


def op_J3paS0Hf4p(a):
    return op_ar1w6gUwHX(op_SWo3A1KBJH(op_uysxUYN2L2(a,a)),a)

def op_count_J3paS0Hf4p(a):
    count = op_count_uysxUYN2L2(a,a)+op_count_SWo3A1KBJH(op_uysxUYN2L2(a,a))+op_count_ar1w6gUwHX(op_SWo3A1KBJH(op_uysxUYN2L2(a,a)),a)
    return count


def op_7Z9orq1BI6(a, b):
    return op_xSk1F0pZbF(op_3A1e9zoj8h(op_3sJ7IOPOlU(a,b)),op_DX7B1fY6P6(op_vRio1gEz1j(b),b))

def op_count_7Z9orq1BI6(a, b):
    count = op_count_3sJ7IOPOlU(a,b)+op_count_3A1e9zoj8h(op_3sJ7IOPOlU(a,b))+op_count_vRio1gEz1j(b)+op_count_DX7B1fY6P6(op_vRio1gEz1j(b),b)+op_count_xSk1F0pZbF(op_3A1e9zoj8h(op_3sJ7IOPOlU(a,b)),op_DX7B1fY6P6(op_vRio1gEz1j(b),b))
    return count


def op_4PRWQFqlah(a):
    return op_IwW236VD4Y(op_H9jWZL1q0V(a),op_Qy55tPpLXF(a,a))

def op_count_4PRWQFqlah(a):
    count = op_count_H9jWZL1q0V(a)+op_count_Qy55tPpLXF(a,a)+op_count_IwW236VD4Y(op_H9jWZL1q0V(a),op_Qy55tPpLXF(a,a))
    return count


def op_pm30mmWdP5(a):
    return op_0MNWfHKp6a(op_8cLx32lpNA(op_sdazOOVcIp(a,a),op_eRqsBgTDFp(a,a)))

def op_count_pm30mmWdP5(a):
    count = op_count_sdazOOVcIp(a,a)+op_count_eRqsBgTDFp(a,a)+op_count_8cLx32lpNA(op_sdazOOVcIp(a,a),op_eRqsBgTDFp(a,a))+op_count_0MNWfHKp6a(op_8cLx32lpNA(op_sdazOOVcIp(a,a),op_eRqsBgTDFp(a,a)))
    return count


a⋑↺⫍b = { ((b⨣∐↬b)↭↢≔) , if (⋂b)>341 ; ((a∝b)⩦(a⨰↻⪇a)) , else }

def op_bgTCUQNVoy(a, b):
    if op_BUOGQAYlQx(b) > 341:
        return op_Q6LsZf8ZYd(op_UpkSd4zESC(b,b))
    else:
        return op_0kmYd0q39Y(op_cTDWOvIxvz(a,b),op_nbuSfrB4hB(a,a))

def op_count_bgTCUQNVoy(a, b):
    if op_BUOGQAYlQx(b) > 341:
        count = op_count_UpkSd4zESC(b,b)+op_count_Q6LsZf8ZYd(op_UpkSd4zESC(b,b))+op_count_BUOGQAYlQx(b)
    else:
        count = op_count_cTDWOvIxvz(a,b)+op_count_nbuSfrB4hB(a,a)+op_count_0kmYd0q39Y(op_cTDWOvIxvz(a,b),op_nbuSfrB4hB(a,a))
    return count


a⫸⋤b = { (⋽⪳⨃a) , if (a≽⇕)!=40 ; (b⊙) , else }

def op_Oa5J2a4EfC(a, b):
    if op_SgAxmdLNEA(a) != 40:
        return op_qAljGMXEZr(a)
    else:
        return op_pjdzZ5rP1Y(b)

def op_count_Oa5J2a4EfC(a, b):
    if op_SgAxmdLNEA(a) != 40:
        count = op_count_qAljGMXEZr(a)+op_count_SgAxmdLNEA(a)
    else:
        count = op_count_pjdzZ5rP1Y(b)
    return count


def op_kNGXl2gHEH(a):
    return op_u7fv1HBiaC(op_9bazX3JMtO(a,a))

def op_count_kNGXl2gHEH(a):
    count = op_count_9bazX3JMtO(a,a)+op_count_u7fv1HBiaC(op_9bazX3JMtO(a,a))
    return count


a⨥⪇b = { (((a+b)⋆⊨(∑⇻≧a))⫃⨇((⊙⨙⩍a)⪨(∯a))) }

def op_txWPmmIwCC(a, b):
    return op_09Ly4LVMIf(op_uTBsSls0VN(op_W4YGzv6Whe(a,b),op_l1M9WJ3V7u(a)),op_2z8nE7LpCu(op_ocpzidtxKt(a),op_13TjBizFrQ(a)))

def op_count_txWPmmIwCC(a, b):
    count = op_count_W4YGzv6Whe(a,b)+op_count_l1M9WJ3V7u(a)+op_count_uTBsSls0VN(op_W4YGzv6Whe(a,b),op_l1M9WJ3V7u(a))+op_count_ocpzidtxKt(a)+op_count_13TjBizFrQ(a)+op_count_2z8nE7LpCu(op_ocpzidtxKt(a),op_13TjBizFrQ(a))+op_count_09Ly4LVMIf(op_uTBsSls0VN(op_W4YGzv6Whe(a,b),op_l1M9WJ3V7u(a)),op_2z8nE7LpCu(op_ocpzidtxKt(a),op_13TjBizFrQ(a)))
    return count


a⩁∘ = { (((a⊉↱≁a)⊭↱(a⋾⨟))↹⊜((a≾⋳)⇴(a⫋))) }

def op_rnDbWPrPAX(a):
    return op_9bazX3JMtO(op_COABgblf1C(op_w2P8NbNXyL(a,a),op_hYjFJ8q04Z(a)),op_4JB6nKBMSY(op_1tCtMSPkGf(a),op_mhIhit33mg(a)))

def op_count_rnDbWPrPAX(a):
    count = op_count_w2P8NbNXyL(a,a)+op_count_hYjFJ8q04Z(a)+op_count_COABgblf1C(op_w2P8NbNXyL(a,a),op_hYjFJ8q04Z(a))+op_count_1tCtMSPkGf(a)+op_count_mhIhit33mg(a)+op_count_4JB6nKBMSY(op_1tCtMSPkGf(a),op_mhIhit33mg(a))+op_count_9bazX3JMtO(op_COABgblf1C(op_w2P8NbNXyL(a,a),op_hYjFJ8q04Z(a)),op_4JB6nKBMSY(op_1tCtMSPkGf(a),op_mhIhit33mg(a)))
    return count


def op_D87xkQAVpP(a, b):
    return op_WSbXXWOizJ(op_2jG7DiviLq(a),op_PxiHyQbrIp(b))

def op_count_D87xkQAVpP(a, b):
    count = op_count_2jG7DiviLq(a)+op_count_PxiHyQbrIp(b)+op_count_WSbXXWOizJ(op_2jG7DiviLq(a),op_PxiHyQbrIp(b))
    return count


def op_ifb2XhFGzt(a):
    return op_7PjNe5qSIJ(op_7PjNe5qSIJ(a,a),op_1h0rLqGiFr(a))

def op_count_ifb2XhFGzt(a):
    count = op_count_7PjNe5qSIJ(a,a)+op_count_1h0rLqGiFr(a)+op_count_7PjNe5qSIJ(op_7PjNe5qSIJ(a,a),op_1h0rLqGiFr(a))
    return count


a⩌≪⫐b = { a , if (b⩍⋽⫝̸16)==34 ; ((224⫶b)∄(b⫰⋱a)) , else }

def op_B7h40RZuRL(a, b):
    if op_BiWNJpBvwn(b,16) == 34:
        return a
    else:
        return op_tnyRA5sazQ(op_BAIXFdYaz3(224,b),op_6o9Blt3TJ6(b,a))

def op_count_B7h40RZuRL(a, b):
    if op_BiWNJpBvwn(b,16) == 34:
        count = 1
    else:
        count = op_count_BAIXFdYaz3(224,b)+op_count_6o9Blt3TJ6(b,a)+op_count_tnyRA5sazQ(op_BAIXFdYaz3(224,b),op_6o9Blt3TJ6(b,a))
    return count


a⊕b = { (⪀≱b) , if b<191 ; (b∄a) , else }

def op_jln2xDVLTl(a, b):
    if b < 191:
        return op_tDVI6bDdAd(b)
    else:
        return op_tnyRA5sazQ(b,a)

def op_count_jln2xDVLTl(a, b):
    if b < 191:
        count = op_count_tDVI6bDdAd(b)
    else:
        count = op_count_tnyRA5sazQ(b,a)
    return count


a⨉⨢⇞b = { (((b⋞b)⇿⊰(a⨵⪆a))⪚⨁⋖(≎↾(a∑a))) , if (⩕↛a)>=151 and (⋑b)>5 ; (⪀≱(a⩤)) , else }

def op_GpLCU43mni(a, b):
    if op_3EhVUz7Ug9(a) >= 151 and op_iz8sE888QL(b) > 5:
        return op_xSk1F0pZbF(op_ap3xiM279w(op_V4yb4KDoeF(b,b),op_2DQ55sFlQl(a,a)),op_S56z7WVPBn(op_JFrVJKYFMX(a,a)))
    else:
        return op_tDVI6bDdAd(op_Z2TMIBDE3Q(a))

def op_count_GpLCU43mni(a, b):
    if op_3EhVUz7Ug9(a) >= 151 and op_iz8sE888QL(b) > 5:
        count = op_count_V4yb4KDoeF(b,b)+op_count_2DQ55sFlQl(a,a)+op_count_ap3xiM279w(op_V4yb4KDoeF(b,b),op_2DQ55sFlQl(a,a))+op_count_JFrVJKYFMX(a,a)+op_count_S56z7WVPBn(op_JFrVJKYFMX(a,a))+op_count_xSk1F0pZbF(op_ap3xiM279w(op_V4yb4KDoeF(b,b),op_2DQ55sFlQl(a,a)),op_S56z7WVPBn(op_JFrVJKYFMX(a,a)))+op_count_3EhVUz7Ug9(a)+op_count_iz8sE888QL(b)
    else:
        count = op_count_Z2TMIBDE3Q(a)+op_count_tDVI6bDdAd(op_Z2TMIBDE3Q(a))
    return count


def op_WIqUFij8FB(a):
    return op_t0cKpDWDXO(op_9bazX3JMtO(a,a))

def op_count_WIqUFij8FB(a):
    count = op_count_9bazX3JMtO(a,a)+op_count_t0cKpDWDXO(op_9bazX3JMtO(a,a))
    return count


def op_56UrOIOIHL(a):
    return op_DZ8iAZOCBD(op_qLBMy5fcJr(a),op_Ph9nP6C5qx(a,a))

def op_count_56UrOIOIHL(a):
    count = op_count_qLBMy5fcJr(a)+op_count_Ph9nP6C5qx(a,a)+op_count_DZ8iAZOCBD(op_qLBMy5fcJr(a),op_Ph9nP6C5qx(a,a))
    return count


a↗b = { (∨⫘⊿a) , if (a⫻⋑⊟)<14 or a>119 ; (b≃b) , else }

def op_ODFdAPCKMa(a, b):
    if op_o575Zjdmzy(a) < 14 or a > 119:
        return op_qxp9F1VMeC(a)
    else:
        return op_YbVcJGFEVW(b,b)

def op_count_ODFdAPCKMa(a, b):
    if op_o575Zjdmzy(a) < 14 or a > 119:
        count = op_count_qxp9F1VMeC(a)+op_count_o575Zjdmzy(a)
    else:
        count = op_count_YbVcJGFEVW(b,b)
    return count


a⊶b = { ((⨾∊⩁(b⪨239))⋥≓≎((≤/a)⩘⋿(⫭≬a))) , if b>=352 ; (((⪁≄a)⩒⫫(368⩚⊴⇥b))⩧⪆((a⩤∜↚a)⫡⨏b)) , else }

def op_KeUK10xk8S(a, b):
    if b >= 352:
        return op_Qy55tPpLXF(op_QErWpSDGk0(op_2z8nE7LpCu(b,239)),op_64EQ39e0fC(op_eLAdDNolq6(a),op_S7Dkc5Re0B(a)))
    else:
        return op_Ikt5ks8PT7(op_KFSx94NKJn(op_2O29ZX4yK6(a),op_NTOWxs364D(368,b)),op_QMFrweE19q(op_KROiRRz3d6(a,a),b))

def op_count_KeUK10xk8S(a, b):
    if b >= 352:
        count = op_count_2z8nE7LpCu(b,239)+op_count_QErWpSDGk0(op_2z8nE7LpCu(b,239))+op_count_eLAdDNolq6(a)+op_count_S7Dkc5Re0B(a)+op_count_64EQ39e0fC(op_eLAdDNolq6(a),op_S7Dkc5Re0B(a))+op_count_Qy55tPpLXF(op_QErWpSDGk0(op_2z8nE7LpCu(b,239)),op_64EQ39e0fC(op_eLAdDNolq6(a),op_S7Dkc5Re0B(a)))
    else:
        count = op_count_2O29ZX4yK6(a)+op_count_NTOWxs364D(368,b)+op_count_KFSx94NKJn(op_2O29ZX4yK6(a),op_NTOWxs364D(368,b))+op_count_KROiRRz3d6(a,a)+op_count_QMFrweE19q(op_KROiRRz3d6(a,a),b)+op_count_Ikt5ks8PT7(op_KFSx94NKJn(op_2O29ZX4yK6(a),op_NTOWxs364D(368,b)),op_QMFrweE19q(op_KROiRRz3d6(a,a),b))
    return count


a⫖⪺b = { (((⩪⩔a)⨔⇊(b⋎b))⊋≦⊧((b↨⪍≴29)⫗⊒⇾(b↪∷b))) , if (a⨸⪁659)<=48 ; (((b∠↢a)⪐)⨲⇖⇮) , else }

def op_z7tUVKHqty(a, b):
    if op_g55IO6H4Gj(a,659) <= 48:
        return op_oRDoc9rAEX(op_JclMnS0uGI(op_Siyfjn51pv(a),op_qy3n0tapmE(b,b)),op_hiBDRd40bf(op_DX7B1fY6P6(b,29),op_Api82iH42a(b,b)))
    else:
        return op_oj4YnGA3cE(op_eH2TOUuTDT(op_KbjG8mgYpV(b,a)))

def op_count_z7tUVKHqty(a, b):
    if op_g55IO6H4Gj(a,659) <= 48:
        count = op_count_Siyfjn51pv(a)+op_count_qy3n0tapmE(b,b)+op_count_JclMnS0uGI(op_Siyfjn51pv(a),op_qy3n0tapmE(b,b))+op_count_DX7B1fY6P6(b,29)+op_count_Api82iH42a(b,b)+op_count_hiBDRd40bf(op_DX7B1fY6P6(b,29),op_Api82iH42a(b,b))+op_count_oRDoc9rAEX(op_JclMnS0uGI(op_Siyfjn51pv(a),op_qy3n0tapmE(b,b)),op_hiBDRd40bf(op_DX7B1fY6P6(b,29),op_Api82iH42a(b,b)))+op_count_g55IO6H4Gj(a,659)
    else:
        count = op_count_KbjG8mgYpV(b,a)+op_count_eH2TOUuTDT(op_KbjG8mgYpV(b,a))+op_count_oj4YnGA3cE(op_eH2TOUuTDT(op_KbjG8mgYpV(b,a)))
    return count


a⪏⇁⨻b = { (((b⨜⇔a)⪭↷⊩)⊭↱((a⇼⇔∾333)⇛(b⊒b))) , if (b⩦1000)>397 ; (((a≽↲≰b)⪍↜⋙(⫹332))⋝⋈⪟((a⪊≅)⩤∜↚(b⊹≧⊝))) , else }

def op_Bw1fwYnFxE(a, b):
    if op_0kmYd0q39Y(b,1000) > 397:
        return op_COABgblf1C(op_Oe8teynzfS(op_Sq3AGanRSD(b,a)),op_S3tN1ZzpSt(op_tifHPKVTfV(a,333),op_rPNtK4BLRO(b,b)))
    else:
        return op_2DDjHMKMc0(op_L05ObWFQCd(op_cFVlceoRkX(a,b),op_LmY23Q1aIi(332)),op_KROiRRz3d6(op_bjFbhXSADs(a),op_LxFB4K6j0n(b)))

def op_count_Bw1fwYnFxE(a, b):
    if op_0kmYd0q39Y(b,1000) > 397:
        count = op_count_Sq3AGanRSD(b,a)+op_count_Oe8teynzfS(op_Sq3AGanRSD(b,a))+op_count_tifHPKVTfV(a,333)+op_count_rPNtK4BLRO(b,b)+op_count_S3tN1ZzpSt(op_tifHPKVTfV(a,333),op_rPNtK4BLRO(b,b))+op_count_COABgblf1C(op_Oe8teynzfS(op_Sq3AGanRSD(b,a)),op_S3tN1ZzpSt(op_tifHPKVTfV(a,333),op_rPNtK4BLRO(b,b)))+op_count_0kmYd0q39Y(b,1000)
    else:
        count = op_count_cFVlceoRkX(a,b)+op_count_LmY23Q1aIi(332)+op_count_L05ObWFQCd(op_cFVlceoRkX(a,b),op_LmY23Q1aIi(332))+op_count_bjFbhXSADs(a)+op_count_LxFB4K6j0n(b)+op_count_KROiRRz3d6(op_bjFbhXSADs(a),op_LxFB4K6j0n(b))+op_count_2DDjHMKMc0(op_L05ObWFQCd(op_cFVlceoRkX(a,b),op_LmY23Q1aIi(332)),op_KROiRRz3d6(op_bjFbhXSADs(a),op_LxFB4K6j0n(b)))
    return count


⋧↸∁a = { ((a⊬⨰(a⫍⨯↯))⨬⫳) , if (a⨻⪊⨷285)<56 or (⪷∈↠a)<=32 ; (∷≠((a∠⫱a)≧⊼(a≽⪈↿a))) , else }

def op_x4bEAYz2pY(a):
    if op_Pkwamo1tM2(a,285) < 56 or op_Kn0TacbtGK(a) <= 32:
        return op_kc7iqVBlRY(op_s3Fd5m9Dh2(a,op_ZcwmYACASQ(a)))
    else:
        return op_QiR2Oyf5Xj(op_JoLB3LXqXx(op_QvoQhV0rrE(a,a),op_inCIaGQf8u(a,a)))

def op_count_x4bEAYz2pY(a):
    if op_Pkwamo1tM2(a,285) < 56 or op_Kn0TacbtGK(a) <= 32:
        count = op_count_ZcwmYACASQ(a)+op_count_s3Fd5m9Dh2(a,op_ZcwmYACASQ(a))+op_count_kc7iqVBlRY(op_s3Fd5m9Dh2(a,op_ZcwmYACASQ(a)))+op_count_Pkwamo1tM2(a,285)+op_count_Kn0TacbtGK(a)
    else:
        count = op_count_QvoQhV0rrE(a,a)+op_count_inCIaGQf8u(a,a)+op_count_JoLB3LXqXx(op_QvoQhV0rrE(a,a),op_inCIaGQf8u(a,a))+op_count_QiR2Oyf5Xj(op_JoLB3LXqXx(op_QvoQhV0rrE(a,a),op_inCIaGQf8u(a,a)))
    return count


def op_3gs6BXcuMR(a):
    if op_8cLx32lpNA(a,982) < 246:
        return op_2PILXiQIjy(144)
    else:
        return op_inCIaGQf8u(78,a)

def op_count_3gs6BXcuMR(a):
    if op_8cLx32lpNA(a,982) < 246:
        count = op_count_2PILXiQIjy(144)+op_count_8cLx32lpNA(a,982)
    else:
        count = op_count_inCIaGQf8u(78,a)
    return count


def op_PqOvTqC3CJ(a):
    return op_sM9mzqIDB1(op_dAAkup5nzi(op_S5ZFQS4GK3(a,a),op_jfYOP67v6Y(a)),op_DbCuESL50I(a))

def op_count_PqOvTqC3CJ(a):
    count = op_count_S5ZFQS4GK3(a,a)+op_count_jfYOP67v6Y(a)+op_count_dAAkup5nzi(op_S5ZFQS4GK3(a,a),op_jfYOP67v6Y(a))+op_count_DbCuESL50I(a)+op_count_sM9mzqIDB1(op_dAAkup5nzi(op_S5ZFQS4GK3(a,a),op_jfYOP67v6Y(a)),op_DbCuESL50I(a))
    return count


a⫨∿⫔ = { (((a⫩⊇)⇛(401⩣⊵⩗a))⪚(≀↧⇸(a≠≀a))) }

def op_OeHW3Asv3N(a):
    return op_HrjLwUk87U(op_S3tN1ZzpSt(op_BjRHVeLaeN(a),op_wsXFuL0hC6(401,a)),op_ljTHtUsqzn(op_IwW236VD4Y(a,a)))

def op_count_OeHW3Asv3N(a):
    count = op_count_BjRHVeLaeN(a)+op_count_wsXFuL0hC6(401,a)+op_count_S3tN1ZzpSt(op_BjRHVeLaeN(a),op_wsXFuL0hC6(401,a))+op_count_IwW236VD4Y(a,a)+op_count_ljTHtUsqzn(op_IwW236VD4Y(a,a))+op_count_HrjLwUk87U(op_S3tN1ZzpSt(op_BjRHVeLaeN(a),op_wsXFuL0hC6(401,a)),op_ljTHtUsqzn(op_IwW236VD4Y(a,a)))
    return count


a≜⩢⊷b = { (a⇩) , if (a⩱)!=123 ; (⫳⪺∰b) , else }

def op_k9T6mMvXeX(a, b):
    if op_uyq1hVkAcj(a) != 123:
        return op_vRio1gEz1j(a)
    else:
        return op_eftAHwPbeA(b)

def op_count_k9T6mMvXeX(a, b):
    if op_uyq1hVkAcj(a) != 123:
        count = op_count_vRio1gEz1j(a)+op_count_uyq1hVkAcj(a)
    else:
        count = op_count_eftAHwPbeA(b)
    return count


a⫥b = { (((a∀⩎⋷115)≃(a⨓↿∉b))∑(⫇⪃↚(a⫌⩹⨱))) }

def op_hF9cg5J1Xb(a, b):
    return op_JFrVJKYFMX(op_YbVcJGFEVW(op_FPxP5Y1j0W(a,115),op_OWnFPqjWlR(a,b)),op_Q9TX5pQS3Y(op_EBcxylXtPf(a)))

def op_count_hF9cg5J1Xb(a, b):
    count = op_count_FPxP5Y1j0W(a,115)+op_count_OWnFPqjWlR(a,b)+op_count_YbVcJGFEVW(op_FPxP5Y1j0W(a,115),op_OWnFPqjWlR(a,b))+op_count_EBcxylXtPf(a)+op_count_Q9TX5pQS3Y(op_EBcxylXtPf(a))+op_count_JFrVJKYFMX(op_YbVcJGFEVW(op_FPxP5Y1j0W(a,115),op_OWnFPqjWlR(a,b)),op_Q9TX5pQS3Y(op_EBcxylXtPf(a)))
    return count

Q9TX5pQS3Y FPxP5Y1j0W YbVcJGFEVW JFrVJKYFMX OWnFPqjWlR EBcxylXtPf


def op_r1zS8MN8oc(a):
    return op_COABgblf1C(op_uPb5QRN0te(a),op_JclMnS0uGI(a,a))

def op_count_r1zS8MN8oc(a):
    count = op_count_uPb5QRN0te(a)+op_count_JclMnS0uGI(a,a)+op_count_COABgblf1C(op_uPb5QRN0te(a),op_JclMnS0uGI(a,a))
    return count


⇤⨣⫹a = { (((564⪉⨛a)⩇∃⫛(a⪱⇝a))⊵((⩻⪛3)⊓≱a)) , if (∛⊵a)<121 ; (((a⨽⪊≇)⫼⨠(a∁))⊬⨰((⫂a)⋞(a⩾a))) , else }

def op_23ZIczioFV(a):
    if op_jfYOP67v6Y(a) < 121:
        return op_eaFBhJ0Uku(op_1aApVXNlOP(op_EWw2JM7wp4(564,a),op_OTRTVPweYV(a,a)),op_VCG3UHNzLR(op_5RY6W0glyJ(3),a))
    else:
        return op_s3Fd5m9Dh2(op_KYL1uVeVpb(op_nlCqmYiOvY(a),op_jdwGQqwJi5(a)),op_V4yb4KDoeF(op_U9HvHqtOoq(a),op_UggxBX659n(a,a)))

def op_count_23ZIczioFV(a):
    if op_jfYOP67v6Y(a) < 121:
        count = op_count_EWw2JM7wp4(564,a)+op_count_OTRTVPweYV(a,a)+op_count_1aApVXNlOP(op_EWw2JM7wp4(564,a),op_OTRTVPweYV(a,a))+op_count_5RY6W0glyJ(3)+op_count_VCG3UHNzLR(op_5RY6W0glyJ(3),a)+op_count_eaFBhJ0Uku(op_1aApVXNlOP(op_EWw2JM7wp4(564,a),op_OTRTVPweYV(a,a)),op_VCG3UHNzLR(op_5RY6W0glyJ(3),a))+op_count_jfYOP67v6Y(a)
    else:
        count = op_count_nlCqmYiOvY(a)+op_count_jdwGQqwJi5(a)+op_count_KYL1uVeVpb(op_nlCqmYiOvY(a),op_jdwGQqwJi5(a))+op_count_U9HvHqtOoq(a)+op_count_UggxBX659n(a,a)+op_count_V4yb4KDoeF(op_U9HvHqtOoq(a),op_UggxBX659n(a,a))+op_count_s3Fd5m9Dh2(op_KYL1uVeVpb(op_nlCqmYiOvY(a),op_jdwGQqwJi5(a)),op_V4yb4KDoeF(op_U9HvHqtOoq(a),op_UggxBX659n(a,a)))
    return count


def op_eDOVKHKPQq(a):
    if (a != 9 and op_VwlE7vj6HS(a) == 122):
        return op_oDvtRyfmAM(a)
    else:
        return op_0JWJYFSzIQ(108,a)

def op_count_eDOVKHKPQq(a):
    if (a != 9 and op_VwlE7vj6HS(a) == 122):
        count = op_count_oDvtRyfmAM(a)+op_count_VwlE7vj6HS(a)
    else:
        count = op_count_0JWJYFSzIQ(108,a)
    return count


def op_i9SI52B0oy(a):
    if op_t0cKpDWDXO(a) >= 792:
        return op_NdELin8EPX(401,a)
    else:
        return op_WmT3o8z6ya(a)

def op_count_i9SI52B0oy(a):
    if op_t0cKpDWDXO(a) >= 792:
        count = op_count_NdELin8EPX(401,a)+op_count_t0cKpDWDXO(a)
    else:
        count = op_count_WmT3o8z6ya(a)
    return count


def op_bHMTMoSyEe(a):
    if a <= 296:
        return op_irKjLsMeKy(a,a)
    else:
        return op_W7eaUhjymW(277)

def op_count_bHMTMoSyEe(a):
    if a <= 296:
        count = op_count_irKjLsMeKy(a,a)
    else:
        count = op_count_W7eaUhjymW(277)
    return count


a⪶↣b = { ((⫇(b⊢b))⫯⪬∳(∓⪦(a≾⋳))) , if (a⊹≧⊝)!=652 ; a , else }

def op_QstX2XvNns(a, b):
    if op_LxFB4K6j0n(a) != 652:
        return op_d7ASUq0ydm(op_YjI8oCXuph(op_5twsqlHp2o(b,b)),op_D309nIvmXG(op_1tCtMSPkGf(a)))
    else:
        return a

def op_count_QstX2XvNns(a, b):
    if op_LxFB4K6j0n(a) != 652:
        count = op_count_5twsqlHp2o(b,b)+op_count_YjI8oCXuph(op_5twsqlHp2o(b,b))+op_count_1tCtMSPkGf(a)+op_count_D309nIvmXG(op_1tCtMSPkGf(a))+op_count_d7ASUq0ydm(op_YjI8oCXuph(op_5twsqlHp2o(b,b)),op_D309nIvmXG(op_1tCtMSPkGf(a)))+op_count_LxFB4K6j0n(a)
    else:
        count = 1
    return count


def op_4oiuhcUfb7(a):
    return op_WObL9SsYVE(op_6iafYuwGo8(a,a),op_DbCuESL50I(301))

def op_count_4oiuhcUfb7(a):
    count = op_count_6iafYuwGo8(a,a)+op_count_DbCuESL50I(301)+op_count_WObL9SsYVE(op_6iafYuwGo8(a,a),op_DbCuESL50I(301))
    return count


def op_6ly5vmONV8(a, b):
    if op_2ufhKmSs5H(a) <= 173 and op_OKKcZfAt5B(a,71) >= 183:
        return op_W7eaUhjymW(b)
    else:
        return op_UeUK5QjOtW(a)

def op_count_6ly5vmONV8(a, b):
    if op_2ufhKmSs5H(a) <= 173 and op_OKKcZfAt5B(a,71) >= 183:
        count = op_count_W7eaUhjymW(b)+op_count_2ufhKmSs5H(a)+op_count_OKKcZfAt5B(a,71)
    else:
        count = op_count_UeUK5QjOtW(a)
    return count


def op_HRCQ8rqs77(a):
    return op_KYL1uVeVpb(op_bPywburJMS(a,a),op_vRio1gEz1j(a))

def op_count_HRCQ8rqs77(a):
    count = op_count_bPywburJMS(a,a)+op_count_vRio1gEz1j(a)+op_count_KYL1uVeVpb(op_bPywburJMS(a,a),op_vRio1gEz1j(a))
    return count


a≃⇜↓b = { (b⩣⊵⩗(a⩾a)) , if (b∈)!=654 ; ((a⫰⋱b)⨶) , else }

def op_zjpztV9BY4(a, b):
    if op_ztP7wcbY7m(b) != 654:
        return op_wsXFuL0hC6(b,op_UggxBX659n(a,a))
    else:
        return op_rFxw8gIMmB(op_6o9Blt3TJ6(a,b))

def op_count_zjpztV9BY4(a, b):
    if op_ztP7wcbY7m(b) != 654:
        count = op_count_UggxBX659n(a,a)+op_count_wsXFuL0hC6(b,op_UggxBX659n(a,a))+op_count_ztP7wcbY7m(b)
    else:
        count = op_count_6o9Blt3TJ6(a,b)+op_count_rFxw8gIMmB(op_6o9Blt3TJ6(a,b))
    return count


a⩣⪛b = { (⫡⇟⇯(a⋎14)) , if (⋽⪳⨃a)!=842 ; ((b⩷∴a)⪨≂(b↪∷99)) , else }

def op_NINxns2OXj(a, b):
    if op_qAljGMXEZr(a) != 842:
        return op_qWUSsah53b(op_qy3n0tapmE(a,14))
    else:
        return op_sdazOOVcIp(op_9FxExcQeMw(b,a),op_Api82iH42a(b,99))

def op_count_NINxns2OXj(a, b):
    if op_qAljGMXEZr(a) != 842:
        count = op_count_qy3n0tapmE(a,14)+op_count_qWUSsah53b(op_qy3n0tapmE(a,14))+op_count_qAljGMXEZr(a)
    else:
        count = op_count_9FxExcQeMw(b,a)+op_count_Api82iH42a(b,99)+op_count_sdazOOVcIp(op_9FxExcQeMw(b,a),op_Api82iH42a(b,99))
    return count


⊿⫐⩢a = { ((a⊔a)≦↸(a∵≐)) , if (∥⊫a)!=72 ; ((a⫶a)∴(a⋎a)) , else }

def op_ncxV4Xuvl3(a):
    if op_P8v4zCKN1o(a) != 72:
        return op_RygbFNSyEJ(op_E4l6HwMY31(a,a),op_59igzFyhWz(a))
    else:
        return op_hrf7POJlIJ(op_BAIXFdYaz3(a,a),op_qy3n0tapmE(a,a))

def op_count_ncxV4Xuvl3(a):
    if op_P8v4zCKN1o(a) != 72:
        count = op_count_E4l6HwMY31(a,a)+op_count_59igzFyhWz(a)+op_count_RygbFNSyEJ(op_E4l6HwMY31(a,a),op_59igzFyhWz(a))+op_count_P8v4zCKN1o(a)
    else:
        count = op_count_BAIXFdYaz3(a,a)+op_count_qy3n0tapmE(a,a)+op_count_hrf7POJlIJ(op_BAIXFdYaz3(a,a),op_qy3n0tapmE(a,a))
    return count


a∟⋥b = { (((⇾⩊⇾a)∽(a→⨶⪴a))∑((b⨳⩥⨓a)⇌⫙⪟(a⩧⪆b))) }

def op_qwmYL29xHo(a, b):
    return op_JFrVJKYFMX(op_y4ImoPnbV5(op_bx9Z9DAK5y(a),op_bF6eod5Gvf(a,a)),op_AFVx7xoS7T(op_nCS4ZIUYfx(b,a),op_Ikt5ks8PT7(a,b)))

def op_count_qwmYL29xHo(a, b):
    count = op_count_bx9Z9DAK5y(a)+op_count_bF6eod5Gvf(a,a)+op_count_y4ImoPnbV5(op_bx9Z9DAK5y(a),op_bF6eod5Gvf(a,a))+op_count_nCS4ZIUYfx(b,a)+op_count_Ikt5ks8PT7(a,b)+op_count_AFVx7xoS7T(op_nCS4ZIUYfx(b,a),op_Ikt5ks8PT7(a,b))+op_count_JFrVJKYFMX(op_y4ImoPnbV5(op_bx9Z9DAK5y(a),op_bF6eod5Gvf(a,a)),op_AFVx7xoS7T(op_nCS4ZIUYfx(b,a),op_Ikt5ks8PT7(a,b)))
    return count


def op_WdvBu47IBD(a):
    return op_PaBHOjxk8c(op_t8gj7n24qd(op_g55IO6H4Gj(a,a)))

def op_count_WdvBu47IBD(a):
    count = op_count_g55IO6H4Gj(a,a)+op_count_t8gj7n24qd(op_g55IO6H4Gj(a,a))+op_count_PaBHOjxk8c(op_t8gj7n24qd(op_g55IO6H4Gj(a,a)))
    return count


def op_DgwxfM3CDW(a, b):
    return op_Siyfjn51pv(op_Y5cEcQhyKu(op_UoVew8f2p2(20,b),op_2MzE1hQ0cz(a)))

def op_count_DgwxfM3CDW(a, b):
    count = op_count_UoVew8f2p2(20,b)+op_count_2MzE1hQ0cz(a)+op_count_Y5cEcQhyKu(op_UoVew8f2p2(20,b),op_2MzE1hQ0cz(a))+op_count_Siyfjn51pv(op_Y5cEcQhyKu(op_UoVew8f2p2(20,b),op_2MzE1hQ0cz(a)))
    return count


def op_FqT00WZBiN(a):
    if a <= 250:
        return op_NdELin8EPX(op_umQnsF7QlU(a,396),op_COABgblf1C(474,a))
    else:
        return op_2DQ55sFlQl(op_2ufhKmSs5H(a),op_Qaz2MhZaG5(a,a))

def op_count_FqT00WZBiN(a):
    if a <= 250:
        count = op_count_umQnsF7QlU(a,396)+op_count_COABgblf1C(474,a)+op_count_NdELin8EPX(op_umQnsF7QlU(a,396),op_COABgblf1C(474,a))
    else:
        count = op_count_2ufhKmSs5H(a)+op_count_Qaz2MhZaG5(a,a)+op_count_2DQ55sFlQl(op_2ufhKmSs5H(a),op_Qaz2MhZaG5(a,a))
    return count


def op_UWGAvKki9m(a):
    return op_UggxBX659n(op_hiBDRd40bf(op_UMMmb9LONo(a),op_V4yb4KDoeF(a,a)),op_m612RDITqL(op_b1mGkbI4Oy(a,a),op_uysxUYN2L2(134,a)))

def op_count_UWGAvKki9m(a):
    count = op_count_UMMmb9LONo(a)+op_count_V4yb4KDoeF(a,a)+op_count_hiBDRd40bf(op_UMMmb9LONo(a),op_V4yb4KDoeF(a,a))+op_count_b1mGkbI4Oy(a,a)+op_count_uysxUYN2L2(134,a)+op_count_m612RDITqL(op_b1mGkbI4Oy(a,a),op_uysxUYN2L2(134,a))+op_count_UggxBX659n(op_hiBDRd40bf(op_UMMmb9LONo(a),op_V4yb4KDoeF(a,a)),op_m612RDITqL(op_b1mGkbI4Oy(a,a),op_uysxUYN2L2(134,a)))
    return count


⨚⪲≒a = { ((a≧⫂∧a)⇑∁⪛) , if (a⊠≄⫣)<=595 ; ((82∠↢a)⪇≇⋚(a⊉↱≁a)) , else }

def op_x442d74neU(a):
    if op_DIvbN7qnHd(a) <= 595:
        return op_P75hhshrwX(op_Ph9nP6C5qx(a,a))
    else:
        return op_3sJ7IOPOlU(op_KbjG8mgYpV(82,a),op_w2P8NbNXyL(a,a))

def op_count_x442d74neU(a):
    if op_DIvbN7qnHd(a) <= 595:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_P75hhshrwX(op_Ph9nP6C5qx(a,a))+op_count_DIvbN7qnHd(a)
    else:
        count = op_count_KbjG8mgYpV(82,a)+op_count_w2P8NbNXyL(a,a)+op_count_3sJ7IOPOlU(op_KbjG8mgYpV(82,a),op_w2P8NbNXyL(a,a))
    return count


def op_agMLJ0wU9U(a):
    return op_aHKFHkCgn9(op_3sJ7IOPOlU(op_6o9Blt3TJ6(a,a),op_V4yb4KDoeF(a,a)))

def op_count_agMLJ0wU9U(a):
    count = op_count_6o9Blt3TJ6(a,a)+op_count_V4yb4KDoeF(a,a)+op_count_3sJ7IOPOlU(op_6o9Blt3TJ6(a,a),op_V4yb4KDoeF(a,a))+op_count_aHKFHkCgn9(op_3sJ7IOPOlU(op_6o9Blt3TJ6(a,a),op_V4yb4KDoeF(a,a)))
    return count


def op_bBEzQ2IhFN(a, b):
    return op_ZNVVrZ94lY(op_TytFGXR7Zf(op_cTDWOvIxvz(b,a)))

def op_count_bBEzQ2IhFN(a, b):
    count = op_count_cTDWOvIxvz(b,a)+op_count_TytFGXR7Zf(op_cTDWOvIxvz(b,a))+op_count_ZNVVrZ94lY(op_TytFGXR7Zf(op_cTDWOvIxvz(b,a)))
    return count


def op_dUVc8B1hJO(a):
    return op_3EYGwJThht(op_OKKcZfAt5B(op_3FtlcrQcJU(a),op_COABgblf1C(a,55)),a)

def op_count_dUVc8B1hJO(a):
    count = op_count_3FtlcrQcJU(a)+op_count_COABgblf1C(a,55)+op_count_OKKcZfAt5B(op_3FtlcrQcJU(a),op_COABgblf1C(a,55))+op_count_3EYGwJThht(op_OKKcZfAt5B(op_3FtlcrQcJU(a),op_COABgblf1C(a,55)),a)
    return count


a∑⊏b = { (((a⨻⪊⨷a)⫁⪎(a⊲⩕⊾a))⫇⋯(a⋂⩴(⊲⪭b))) , if (a⋰⇉∕231)==327 ; (((b∫≲⋬)⇅)⪭((⩪⩔a)⨑(a∌a))) , else }

def op_6dpzsyEjuz(a, b):
    if op_sM9mzqIDB1(a,231) == 327:
        return op_xoJmIySC7h(op_xRrnTEsQ6j(op_Pkwamo1tM2(a,a),op_DmTXOeWf9t(a,a)),op_hmlrMsD2PO(a,op_k7HXdKtiEU(b)))
    else:
        return op_j9kHMeSvPp(op_oH594TLvBK(op_DNmMwa48aR(b)),op_IxJHfR5psi(op_Siyfjn51pv(a),op_8cLx32lpNA(a,a)))

def op_count_6dpzsyEjuz(a, b):
    if op_sM9mzqIDB1(a,231) == 327:
        count = op_count_Pkwamo1tM2(a,a)+op_count_DmTXOeWf9t(a,a)+op_count_xRrnTEsQ6j(op_Pkwamo1tM2(a,a),op_DmTXOeWf9t(a,a))+op_count_k7HXdKtiEU(b)+op_count_hmlrMsD2PO(a,op_k7HXdKtiEU(b))+op_count_xoJmIySC7h(op_xRrnTEsQ6j(op_Pkwamo1tM2(a,a),op_DmTXOeWf9t(a,a)),op_hmlrMsD2PO(a,op_k7HXdKtiEU(b)))+op_count_sM9mzqIDB1(a,231)
    else:
        count = op_count_DNmMwa48aR(b)+op_count_oH594TLvBK(op_DNmMwa48aR(b))+op_count_Siyfjn51pv(a)+op_count_8cLx32lpNA(a,a)+op_count_IxJHfR5psi(op_Siyfjn51pv(a),op_8cLx32lpNA(a,a))+op_count_j9kHMeSvPp(op_oH594TLvBK(op_DNmMwa48aR(b)),op_IxJHfR5psi(op_Siyfjn51pv(a),op_8cLx32lpNA(a,a)))
    return count


def op_3RibMIlgaV(a):
    if a == 260:
        return op_wsXFuL0hC6(op_DX7B1fY6P6(op_hmlrMsD2PO(a,a),a),op_UqUOXUQnbU(op_2PILXiQIjy(a),op_tIhPxZTbsh(10,a)))
    else:
        return op_hmlrMsD2PO(op_Y9dhGmbGii(op_7j4O788W3g(465,a)),op_nCS4ZIUYfx(op_FPxP5Y1j0W(736,a),op_KYL1uVeVpb(355,4)))

def op_count_3RibMIlgaV(a):
    if a == 260:
        count = op_count_hmlrMsD2PO(a,a)+op_count_DX7B1fY6P6(op_hmlrMsD2PO(a,a),a)+op_count_2PILXiQIjy(a)+op_count_tIhPxZTbsh(10,a)+op_count_UqUOXUQnbU(op_2PILXiQIjy(a),op_tIhPxZTbsh(10,a))+op_count_wsXFuL0hC6(op_DX7B1fY6P6(op_hmlrMsD2PO(a,a),a),op_UqUOXUQnbU(op_2PILXiQIjy(a),op_tIhPxZTbsh(10,a)))
    else:
        count = op_count_7j4O788W3g(465,a)+op_count_Y9dhGmbGii(op_7j4O788W3g(465,a))+op_count_FPxP5Y1j0W(736,a)+op_count_KYL1uVeVpb(355,4)+op_count_nCS4ZIUYfx(op_FPxP5Y1j0W(736,a),op_KYL1uVeVpb(355,4))+op_count_hmlrMsD2PO(op_Y9dhGmbGii(op_7j4O788W3g(465,a)),op_nCS4ZIUYfx(op_FPxP5Y1j0W(736,a),op_KYL1uVeVpb(355,4)))
    return count


def op_Xp5ON8hGWA(a):
    if op_pRsWfj4Fpp(a) <= 24:
        return op_YApyZlDuBr(a)
    else:
        return op_5twsqlHp2o(446,a)

def op_count_Xp5ON8hGWA(a):
    if op_pRsWfj4Fpp(a) <= 24:
        count = op_count_YApyZlDuBr(a)+op_count_pRsWfj4Fpp(a)
    else:
        count = op_count_5twsqlHp2o(446,a)
    return count


a⋧⋛↙b = { (((327≶b)⫏↛⩏(a↹⊜a))⫰⋱((b⫚⫇)⪐)) }

def op_IMmH2efQS3(a, b):
    return op_6o9Blt3TJ6(op_YC3tgrnOyr(op_Q2SPaKwpPJ(327,b),op_9bazX3JMtO(a,a)),op_eH2TOUuTDT(op_SdCjLnB6rR(b)))

def op_count_IMmH2efQS3(a, b):
    count = op_count_Q2SPaKwpPJ(327,b)+op_count_9bazX3JMtO(a,a)+op_count_YC3tgrnOyr(op_Q2SPaKwpPJ(327,b),op_9bazX3JMtO(a,a))+op_count_SdCjLnB6rR(b)+op_count_eH2TOUuTDT(op_SdCjLnB6rR(b))+op_count_6o9Blt3TJ6(op_YC3tgrnOyr(op_Q2SPaKwpPJ(327,b),op_9bazX3JMtO(a,a)),op_eH2TOUuTDT(op_SdCjLnB6rR(b)))
    return count


a⇣⋁⨬ = { ((a≼a)≝⊿a) , if (⊤⊝a)<=141 ; ((∷≠a)⪈⋁⩁(140⋅⇍a)) , else }

def op_VaOgXTC9yU(a):
    if op_rXAclfmB4M(a) <= 141:
        return op_OKKcZfAt5B(op_SPuZE40Ntn(a,a),a)
    else:
        return op_GMyVS5K48T(op_QiR2Oyf5Xj(a),op_AdZkA7nFnk(140,a))

def op_count_VaOgXTC9yU(a):
    if op_rXAclfmB4M(a) <= 141:
        count = op_count_SPuZE40Ntn(a,a)+op_count_OKKcZfAt5B(op_SPuZE40Ntn(a,a),a)+op_count_rXAclfmB4M(a)
    else:
        count = op_count_QiR2Oyf5Xj(a)+op_count_AdZkA7nFnk(140,a)+op_count_GMyVS5K48T(op_QiR2Oyf5Xj(a),op_AdZkA7nFnk(140,a))
    return count


a⊋⨆⪺ = { (((a≃a)∊⊞≈(a⫊⇚⊺a))⩦((8⊓≱a)∌(⊤⊝a))) }

def op_n9aplPH8B5(a):
    return op_0kmYd0q39Y(op_keuJNkrrbj(op_YbVcJGFEVW(a,a),op_Y5cEcQhyKu(a,a)),op_8cLx32lpNA(op_VCG3UHNzLR(8,a),op_rXAclfmB4M(a)))

def op_count_n9aplPH8B5(a):
    count = op_count_YbVcJGFEVW(a,a)+op_count_Y5cEcQhyKu(a,a)+op_count_keuJNkrrbj(op_YbVcJGFEVW(a,a),op_Y5cEcQhyKu(a,a))+op_count_VCG3UHNzLR(8,a)+op_count_rXAclfmB4M(a)+op_count_8cLx32lpNA(op_VCG3UHNzLR(8,a),op_rXAclfmB4M(a))+op_count_0kmYd0q39Y(op_keuJNkrrbj(op_YbVcJGFEVW(a,a),op_Y5cEcQhyKu(a,a)),op_8cLx32lpNA(op_VCG3UHNzLR(8,a),op_rXAclfmB4M(a)))
    return count


def op_GQS1ilwEGl(a, b):
    if op_HiPekx5b7W(a,967) == 199:
        return op_Sq3AGanRSD(op_MmTdOpaElr(a),op_Ph9nP6C5qx(a,181))
    else:
        return op_d8xe6WWVfM(op_UggxBX659n(110,b),op_tnyRA5sazQ(a,b))

def op_count_GQS1ilwEGl(a, b):
    if op_HiPekx5b7W(a,967) == 199:
        count = op_count_MmTdOpaElr(a)+op_count_Ph9nP6C5qx(a,181)+op_count_Sq3AGanRSD(op_MmTdOpaElr(a),op_Ph9nP6C5qx(a,181))+op_count_HiPekx5b7W(a,967)
    else:
        count = op_count_UggxBX659n(110,b)+op_count_tnyRA5sazQ(a,b)+op_count_d8xe6WWVfM(op_UggxBX659n(110,b),op_tnyRA5sazQ(a,b))
    return count


def op_jeXgggKxup(a):
    return op_KED7KUUlGq(op_Noe24qw2ks(op_HQuZ2f4It9(a),op_wisItNeSwq(a)))

def op_count_jeXgggKxup(a):
    count = op_count_HQuZ2f4It9(a)+op_count_wisItNeSwq(a)+op_count_Noe24qw2ks(op_HQuZ2f4It9(a),op_wisItNeSwq(a))+op_count_KED7KUUlGq(op_Noe24qw2ks(op_HQuZ2f4It9(a),op_wisItNeSwq(a)))
    return count


a⊻⋔ = { (((a↨⪍≴a)⨰↻⪇(a∣a))⫚↹⊑((a+⪬∐a)⨰(a⩍⋽⫝̸a))) , if (∂⩏⊆a)!=161 ; (↖∇⇑((a⨜⇔a)⨸⪁(a⪐-a))) , else }

def op_59td6bVjnr(a):
    if op_8WDwsbhb0R(a) != 161:
        return op_dfKe02y8D2(op_nbuSfrB4hB(op_DX7B1fY6P6(a,a),op_PPChnnnBFF(a,a)),op_eewbuw0ToL(op_2GS7woTJqF(a,a),op_BiWNJpBvwn(a,a)))
    else:
        return op_th50nGnoUm(op_g55IO6H4Gj(op_Sq3AGanRSD(a,a),op_d8xe6WWVfM(a,a)))

def op_count_59td6bVjnr(a):
    if op_8WDwsbhb0R(a) != 161:
        count = op_count_DX7B1fY6P6(a,a)+op_count_PPChnnnBFF(a,a)+op_count_nbuSfrB4hB(op_DX7B1fY6P6(a,a),op_PPChnnnBFF(a,a))+op_count_2GS7woTJqF(a,a)+op_count_BiWNJpBvwn(a,a)+op_count_eewbuw0ToL(op_2GS7woTJqF(a,a),op_BiWNJpBvwn(a,a))+op_count_dfKe02y8D2(op_nbuSfrB4hB(op_DX7B1fY6P6(a,a),op_PPChnnnBFF(a,a)),op_eewbuw0ToL(op_2GS7woTJqF(a,a),op_BiWNJpBvwn(a,a)))+op_count_8WDwsbhb0R(a)
    else:
        count = op_count_Sq3AGanRSD(a,a)+op_count_d8xe6WWVfM(a,a)+op_count_g55IO6H4Gj(op_Sq3AGanRSD(a,a),op_d8xe6WWVfM(a,a))+op_count_th50nGnoUm(op_g55IO6H4Gj(op_Sq3AGanRSD(a,a),op_d8xe6WWVfM(a,a)))
    return count


⇴⩭a = { (((a⪒⊣⊆540)⫇⋯(a≶a))⋝⋈⪟((a⫠↝⫳)≃(a⊭↱a))) }

def op_cKMGO6HN71(a):
    return op_2DDjHMKMc0(op_xoJmIySC7h(op_eRqsBgTDFp(a,540),op_Q2SPaKwpPJ(a,a)),op_YbVcJGFEVW(op_8n5YIzOsVS(a),op_COABgblf1C(a,a)))

def op_count_cKMGO6HN71(a):
    count = op_count_eRqsBgTDFp(a,540)+op_count_Q2SPaKwpPJ(a,a)+op_count_xoJmIySC7h(op_eRqsBgTDFp(a,540),op_Q2SPaKwpPJ(a,a))+op_count_8n5YIzOsVS(a)+op_count_COABgblf1C(a,a)+op_count_YbVcJGFEVW(op_8n5YIzOsVS(a),op_COABgblf1C(a,a))+op_count_2DDjHMKMc0(op_xoJmIySC7h(op_eRqsBgTDFp(a,540),op_Q2SPaKwpPJ(a,a)),op_YbVcJGFEVW(op_8n5YIzOsVS(a),op_COABgblf1C(a,a)))
    return count


def op_OuTNrnoNOz(a):
    return op_6o9Blt3TJ6(op_tmjFFOTKyA(a),op_tnyRA5sazQ(a,a))

def op_count_OuTNrnoNOz(a):
    count = op_count_tmjFFOTKyA(a)+op_count_tnyRA5sazQ(a,a)+op_count_6o9Blt3TJ6(op_tmjFFOTKyA(a),op_tnyRA5sazQ(a,a))
    return count


a⨽⫍b = { (b⨝⩣∺) , if a>=302 ; (85⩌⋺b) , else }

def op_ZMV0W12WVe(a, b):
    if a >= 302:
        return op_ancx8kZcWl(b)
    else:
        return op_g7Hmc5v1ko(85,b)

def op_count_ZMV0W12WVe(a, b):
    if a >= 302:
        count = op_count_ancx8kZcWl(b)
    else:
        count = op_count_g7Hmc5v1ko(85,b)
    return count


a⋔⪦≖ = { (((a∙∹∝a)⨸⪁(a⪈⋁⩁a))⫚↹⊑((a⊬⫿⊭)⪍↜⋙(a⨚a))) }

def op_qqCp8wnvK0(a):
    return op_dfKe02y8D2(op_g55IO6H4Gj(op_HmxsFra2vL(a,a),op_GMyVS5K48T(a,a)),op_L05ObWFQCd(op_v0DYgG9ikt(a),op_nREPSIbpBE(a,a)))

def op_count_qqCp8wnvK0(a):
    count = op_count_HmxsFra2vL(a,a)+op_count_GMyVS5K48T(a,a)+op_count_g55IO6H4Gj(op_HmxsFra2vL(a,a),op_GMyVS5K48T(a,a))+op_count_v0DYgG9ikt(a)+op_count_nREPSIbpBE(a,a)+op_count_L05ObWFQCd(op_v0DYgG9ikt(a),op_nREPSIbpBE(a,a))+op_count_dfKe02y8D2(op_g55IO6H4Gj(op_HmxsFra2vL(a,a),op_GMyVS5K48T(a,a)),op_L05ObWFQCd(op_v0DYgG9ikt(a),op_nREPSIbpBE(a,a)))
    return count


def op_EcsX2XvOJs(a):
    return op_hmlrMsD2PO(op_B3tNObfNaL(op_rXAclfmB4M(710)),op_Y9dhGmbGii(op_nCS4ZIUYfx(389,a)))

def op_count_EcsX2XvOJs(a):
    count = op_count_rXAclfmB4M(710)+op_count_B3tNObfNaL(op_rXAclfmB4M(710))+op_count_nCS4ZIUYfx(389,a)+op_count_Y9dhGmbGii(op_nCS4ZIUYfx(389,a))+op_count_hmlrMsD2PO(op_B3tNObfNaL(op_rXAclfmB4M(710)),op_Y9dhGmbGii(op_nCS4ZIUYfx(389,a)))
    return count


def op_DB9nkKv9Ue(a, b):
    if a == 246:
        return op_s3Fd5m9Dh2(op_VJ330n2nnx(op_xRrnTEsQ6j(a,354)),op_DNmMwa48aR(op_bx9Z9DAK5y(310)))
    else:
        return op_hrf7POJlIJ(op_xoJmIySC7h(op_09Ly4LVMIf(378,a),op_cFVlceoRkX(a,a)),op_Kn0TacbtGK(op_B3sABdIn96(b)))

def op_count_DB9nkKv9Ue(a, b):
    if a == 246:
        count = op_count_xRrnTEsQ6j(a,354)+op_count_VJ330n2nnx(op_xRrnTEsQ6j(a,354))+op_count_bx9Z9DAK5y(310)+op_count_DNmMwa48aR(op_bx9Z9DAK5y(310))+op_count_s3Fd5m9Dh2(op_VJ330n2nnx(op_xRrnTEsQ6j(a,354)),op_DNmMwa48aR(op_bx9Z9DAK5y(310)))
    else:
        count = op_count_09Ly4LVMIf(378,a)+op_count_cFVlceoRkX(a,a)+op_count_xoJmIySC7h(op_09Ly4LVMIf(378,a),op_cFVlceoRkX(a,a))+op_count_B3sABdIn96(b)+op_count_Kn0TacbtGK(op_B3sABdIn96(b))+op_count_hrf7POJlIJ(op_xoJmIySC7h(op_09Ly4LVMIf(378,a),op_cFVlceoRkX(a,a)),op_Kn0TacbtGK(op_B3sABdIn96(b)))
    return count


a⫯∀b = { (((∛⊵b)⨰↻⪇(a⩘⋿516))⪖⪡((a⊲⩕⊾b)⫡⨏(a⪚a))) }

def op_Vom2vRC85V(a, b):
    return op_7PjNe5qSIJ(op_nbuSfrB4hB(op_jfYOP67v6Y(b),op_64EQ39e0fC(a,516)),op_QMFrweE19q(op_DmTXOeWf9t(a,b),op_HrjLwUk87U(a,a)))

def op_count_Vom2vRC85V(a, b):
    count = op_count_jfYOP67v6Y(b)+op_count_64EQ39e0fC(a,516)+op_count_nbuSfrB4hB(op_jfYOP67v6Y(b),op_64EQ39e0fC(a,516))+op_count_DmTXOeWf9t(a,b)+op_count_HrjLwUk87U(a,a)+op_count_QMFrweE19q(op_DmTXOeWf9t(a,b),op_HrjLwUk87U(a,a))+op_count_7PjNe5qSIJ(op_nbuSfrB4hB(op_jfYOP67v6Y(b),op_64EQ39e0fC(a,516)),op_QMFrweE19q(op_DmTXOeWf9t(a,b),op_HrjLwUk87U(a,a)))
    return count


def op_58jQiGc2oP(a):
    return op_RygbFNSyEJ(op_KvubFp3XhO(op_RHru8klgy8(a)),op_Y7wcNGrDQJ(op_QMFrweE19q(306,a),op_DX7B1fY6P6(38,a)))

def op_count_58jQiGc2oP(a):
    count = op_count_RHru8klgy8(a)+op_count_KvubFp3XhO(op_RHru8klgy8(a))+op_count_QMFrweE19q(306,a)+op_count_DX7B1fY6P6(38,a)+op_count_Y7wcNGrDQJ(op_QMFrweE19q(306,a),op_DX7B1fY6P6(38,a))+op_count_RygbFNSyEJ(op_KvubFp3XhO(op_RHru8klgy8(a)),op_Y7wcNGrDQJ(op_QMFrweE19q(306,a),op_DX7B1fY6P6(38,a)))
    return count


def op_NrWB21ZewL(a, b):
    return op_e1ybzncUwg(op_5RY6W0glyJ(op_HJ9erzHUuu(a,b)))

def op_count_NrWB21ZewL(a, b):
    count = op_count_HJ9erzHUuu(a,b)+op_count_5RY6W0glyJ(op_HJ9erzHUuu(a,b))+op_count_e1ybzncUwg(op_5RY6W0glyJ(op_HJ9erzHUuu(a,b)))
    return count


a⊬b = { (((a∽b)⇴(b⩰⨪↦))⪉⨛(⊈(⩒∊a))) , if b<60 ; (b⪯⫾⋍(⨢⋑⪾(a⫶b))) , else }

def op_0B27zlnmPH(a, b):
    if b < 60:
        return op_EWw2JM7wp4(op_4JB6nKBMSY(op_y4ImoPnbV5(a,b),op_fLfyAuxYJD(b)),op_RHru8klgy8(op_qazvmhNBbN(a)))
    else:
        return op_S5ZFQS4GK3(b,op_tmjFFOTKyA(op_BAIXFdYaz3(a,b)))

def op_count_0B27zlnmPH(a, b):
    if b < 60:
        count = op_count_y4ImoPnbV5(a,b)+op_count_fLfyAuxYJD(b)+op_count_4JB6nKBMSY(op_y4ImoPnbV5(a,b),op_fLfyAuxYJD(b))+op_count_qazvmhNBbN(a)+op_count_RHru8klgy8(op_qazvmhNBbN(a))+op_count_EWw2JM7wp4(op_4JB6nKBMSY(op_y4ImoPnbV5(a,b),op_fLfyAuxYJD(b)),op_RHru8klgy8(op_qazvmhNBbN(a)))
    else:
        count = op_count_BAIXFdYaz3(a,b)+op_count_tmjFFOTKyA(op_BAIXFdYaz3(a,b))+op_count_S5ZFQS4GK3(b,op_tmjFFOTKyA(op_BAIXFdYaz3(a,b)))
    return count


def op_xRBuNLHaeO(a, b):
    if op_HJ9erzHUuu(b,500) >= 451:
        return op_GMN7JP6WpN(op_KbjG8mgYpV(56,b),op_liw5iZPkLH(b))
    else:
        return op_xSk1F0pZbF(op_UoVew8f2p2(142,20),op_OTRTVPweYV(a,b))

def op_count_xRBuNLHaeO(a, b):
    if op_HJ9erzHUuu(b,500) >= 451:
        count = op_count_KbjG8mgYpV(56,b)+op_count_liw5iZPkLH(b)+op_count_GMN7JP6WpN(op_KbjG8mgYpV(56,b),op_liw5iZPkLH(b))+op_count_HJ9erzHUuu(b,500)
    else:
        count = op_count_UoVew8f2p2(142,20)+op_count_OTRTVPweYV(a,b)+op_count_xSk1F0pZbF(op_UoVew8f2p2(142,20),op_OTRTVPweYV(a,b))
    return count


def op_bPXhXQRmGX(a):
    return op_cFVlceoRkX(op_7j4O788W3g(a,a),op_iuk5sVOGFA(a))

def op_count_bPXhXQRmGX(a):
    count = op_count_7j4O788W3g(a,a)+op_count_iuk5sVOGFA(a)+op_count_cFVlceoRkX(op_7j4O788W3g(a,a),op_iuk5sVOGFA(a))
    return count


def op_DHxEmMn2cg(a, b):
    return op_YC3tgrnOyr(op_KWeyIRWUIQ(b),a)

def op_count_DHxEmMn2cg(a, b):
    count = op_count_KWeyIRWUIQ(b)+op_count_YC3tgrnOyr(op_KWeyIRWUIQ(b),a)
    return count


a↬⨮⇲b = { ((b⫊⇚⊺(b⩣⫁∢a))⋷((b⫠↝⫳)⊉≛↸(a⫭))) , if a==35 ; (((a+b)⋳/(a∠↢a))⩾((a⊇≀≁)⋞(a∘b))) , else }

def op_8TJv5LDobx(a, b):
    if a == 35:
        return op_23Mk6UjR3U(op_Y5cEcQhyKu(b,op_JDUIKTTSIa(b,a)),op_DZ8iAZOCBD(op_8n5YIzOsVS(b),op_t4WUHVGj7f(a)))
    else:
        return op_UggxBX659n(op_m612RDITqL(op_W4YGzv6Whe(a,b),op_KbjG8mgYpV(a,a)),op_V4yb4KDoeF(op_AfoL3wC8aT(a),op_Z5m6OM72h2(a,b)))

def op_count_8TJv5LDobx(a, b):
    if a == 35:
        count = op_count_JDUIKTTSIa(b,a)+op_count_Y5cEcQhyKu(b,op_JDUIKTTSIa(b,a))+op_count_8n5YIzOsVS(b)+op_count_t4WUHVGj7f(a)+op_count_DZ8iAZOCBD(op_8n5YIzOsVS(b),op_t4WUHVGj7f(a))+op_count_23Mk6UjR3U(op_Y5cEcQhyKu(b,op_JDUIKTTSIa(b,a)),op_DZ8iAZOCBD(op_8n5YIzOsVS(b),op_t4WUHVGj7f(a)))
    else:
        count = op_count_W4YGzv6Whe(a,b)+op_count_KbjG8mgYpV(a,a)+op_count_m612RDITqL(op_W4YGzv6Whe(a,b),op_KbjG8mgYpV(a,a))+op_count_AfoL3wC8aT(a)+op_count_Z5m6OM72h2(a,b)+op_count_V4yb4KDoeF(op_AfoL3wC8aT(a),op_Z5m6OM72h2(a,b))+op_count_UggxBX659n(op_m612RDITqL(op_W4YGzv6Whe(a,b),op_KbjG8mgYpV(a,a)),op_V4yb4KDoeF(op_AfoL3wC8aT(a),op_Z5m6OM72h2(a,b)))
    return count


a⪠⫢⪧b = { (((b⩣⫁∢b)⨸⪁(↞≼a))⪁⨴⋨((∯497)⨐(a⪎⩰))) }

def op_fC5nSkFZ11(a, b):
    return op_y2kQTS4a70(op_g55IO6H4Gj(op_JDUIKTTSIa(b,b),op_DE7zCoGJt9(a)),op_Noe24qw2ks(op_13TjBizFrQ(497),op_2ufhKmSs5H(a)))

def op_count_fC5nSkFZ11(a, b):
    count = op_count_JDUIKTTSIa(b,b)+op_count_DE7zCoGJt9(a)+op_count_g55IO6H4Gj(op_JDUIKTTSIa(b,b),op_DE7zCoGJt9(a))+op_count_13TjBizFrQ(497)+op_count_2ufhKmSs5H(a)+op_count_Noe24qw2ks(op_13TjBizFrQ(497),op_2ufhKmSs5H(a))+op_count_y2kQTS4a70(op_g55IO6H4Gj(op_JDUIKTTSIa(b,b),op_DE7zCoGJt9(a)),op_Noe24qw2ks(op_13TjBizFrQ(497),op_2ufhKmSs5H(a)))
    return count


a⪐≢↶b = { ((⫇(b⋘b))≟⫹((a⨴b)⊲⩕⊾(a⪍↜⋙b))) , if (b<=232 and b<704) ; (((⇻⫵a)⇖↽(a⊉≛↸404))∙∹∝((b⋳/b)⪐)) , else }

def op_GaQb60eDBT(a, b):
    if (b <= 232 and b < 704):
        return op_z2JHNkvbdm(op_YjI8oCXuph(op_2M7SKlOzyM(b,b)),op_DmTXOeWf9t(op_jBC4ymW3D7(a,b),op_L05ObWFQCd(a,b)))
    else:
        return op_HmxsFra2vL(op_cwbF3JtlMN(op_Wm7LHi3c8p(a),op_DZ8iAZOCBD(a,404)),op_eH2TOUuTDT(op_m612RDITqL(b,b)))

def op_count_GaQb60eDBT(a, b):
    if (b <= 232 and b < 704):
        count = op_count_2M7SKlOzyM(b,b)+op_count_YjI8oCXuph(op_2M7SKlOzyM(b,b))+op_count_jBC4ymW3D7(a,b)+op_count_L05ObWFQCd(a,b)+op_count_DmTXOeWf9t(op_jBC4ymW3D7(a,b),op_L05ObWFQCd(a,b))+op_count_z2JHNkvbdm(op_YjI8oCXuph(op_2M7SKlOzyM(b,b)),op_DmTXOeWf9t(op_jBC4ymW3D7(a,b),op_L05ObWFQCd(a,b)))
    else:
        count = op_count_Wm7LHi3c8p(a)+op_count_DZ8iAZOCBD(a,404)+op_count_cwbF3JtlMN(op_Wm7LHi3c8p(a),op_DZ8iAZOCBD(a,404))+op_count_m612RDITqL(b,b)+op_count_eH2TOUuTDT(op_m612RDITqL(b,b))+op_count_HmxsFra2vL(op_cwbF3JtlMN(op_Wm7LHi3c8p(a),op_DZ8iAZOCBD(a,404)),op_eH2TOUuTDT(op_m612RDITqL(b,b)))
    return count


def op_KYh8HrRqh8(a, b):
    return op_3Oe9XWJUTD(op_KFSx94NKJn(a,b),op_PZaICrJanm(463))

def op_count_KYh8HrRqh8(a, b):
    count = op_count_KFSx94NKJn(a,b)+op_count_PZaICrJanm(463)+op_count_3Oe9XWJUTD(op_KFSx94NKJn(a,b),op_PZaICrJanm(463))
    return count


def op_R4ApGcsSTJ(a):
    return op_9FxExcQeMw(a,a)

def op_count_R4ApGcsSTJ(a):
    count = op_count_9FxExcQeMw(a,a)
    return count


a≅b = { (⫇⨷a) , if a!=412 ; (b≧⫂∧b) , else }

def op_aFodGWjv1K(a, b):
    if a != 412:
        return op_ct1hK6qyRt(a)
    else:
        return op_Ph9nP6C5qx(b,b)

def op_count_aFodGWjv1K(a, b):
    if a != 412:
        count = op_count_ct1hK6qyRt(a)
    else:
        count = op_count_Ph9nP6C5qx(b,b)
    return count


def op_2zXQDmeQ0t(a):
    if op_aiqF8n6J9c(a,666) >= 143:
        return op_2DRhT6gtPg(a)
    else:
        return op_UqUOXUQnbU(25,67)

def op_count_2zXQDmeQ0t(a):
    if op_aiqF8n6J9c(a,666) >= 143:
        count = op_count_2DRhT6gtPg(a)+op_count_aiqF8n6J9c(a,666)
    else:
        count = op_count_UqUOXUQnbU(25,67)
    return count


≤⫮⪸a = { ((a⇼⇔∾a)⫍⨯↯) , if (a⇩)<=494 ; ((59∝a)-∠(a⇛a)) , else }

def op_SuX9iVx3F2(a):
    if op_vRio1gEz1j(a) <= 494:
        return op_ZcwmYACASQ(op_tifHPKVTfV(a,a))
    else:
        return op_s0IfDFCCuZ(op_cTDWOvIxvz(59,a),op_S3tN1ZzpSt(a,a))

def op_count_SuX9iVx3F2(a):
    if op_vRio1gEz1j(a) <= 494:
        count = op_count_tifHPKVTfV(a,a)+op_count_ZcwmYACASQ(op_tifHPKVTfV(a,a))+op_count_vRio1gEz1j(a)
    else:
        count = op_count_cTDWOvIxvz(59,a)+op_count_S3tN1ZzpSt(a,a)+op_count_s0IfDFCCuZ(op_cTDWOvIxvz(59,a),op_S3tN1ZzpSt(a,a))
    return count


def op_0VqPffoxSr(a):
    return op_XnXgA4xnOs(op_z4E1FaHLuy(a),op_ut0Nd8ObBp(a))

def op_count_0VqPffoxSr(a):
    count = op_count_z4E1FaHLuy(a)+op_count_ut0Nd8ObBp(a)+op_count_XnXgA4xnOs(op_z4E1FaHLuy(a),op_ut0Nd8ObBp(a))
    return count


a⨛⩜ = { ((a∙∹∝(a⨐a))∌((a⪨⊡a)≠≀(a⪔⊥135))) , if a==0 ; a , else }

def op_DfWjXTeOlO(a):
    if a == 0:
        return op_8cLx32lpNA(op_HmxsFra2vL(a,op_Noe24qw2ks(a,a)),op_IwW236VD4Y(op_kuIXHzHcAH(a,a),op_HJ9erzHUuu(a,135)))
    else:
        return a

def op_count_DfWjXTeOlO(a):
    if a == 0:
        count = op_count_Noe24qw2ks(a,a)+op_count_HmxsFra2vL(a,op_Noe24qw2ks(a,a))+op_count_kuIXHzHcAH(a,a)+op_count_HJ9erzHUuu(a,135)+op_count_IwW236VD4Y(op_kuIXHzHcAH(a,a),op_HJ9erzHUuu(a,135))+op_count_8cLx32lpNA(op_HmxsFra2vL(a,op_Noe24qw2ks(a,a)),op_IwW236VD4Y(op_kuIXHzHcAH(a,a),op_HJ9erzHUuu(a,135)))
    else:
        count = 1
    return count


def op_EzIxTvi3nW(a):
    return op_keWfFq85dY(op_tnyRA5sazQ(a,510))

def op_count_EzIxTvi3nW(a):
    count = op_count_tnyRA5sazQ(a,510)+op_count_keWfFq85dY(op_tnyRA5sazQ(a,510))
    return count


a↹⨦b = { (⋸⪍((a⪨b)∙∹∝(b⊔23))) , if (b⩇)<647 ; (((b⫻⋑⊟)∅(a⩌b))⫯⪬∳(↪⨀(a⋎a))) , else }

def op_CE93BnRTrY(a, b):
    if op_wmlQD0656L(b) < 647:
        return op_PrwIXj9ZQe(op_HmxsFra2vL(op_2z8nE7LpCu(a,b),op_E4l6HwMY31(b,23)))
    else:
        return op_d7ASUq0ydm(op_giaUb8UVhq(op_o575Zjdmzy(b),op_UoVew8f2p2(a,b)),op_t0cKpDWDXO(op_qy3n0tapmE(a,a)))

def op_count_CE93BnRTrY(a, b):
    if op_wmlQD0656L(b) < 647:
        count = op_count_2z8nE7LpCu(a,b)+op_count_E4l6HwMY31(b,23)+op_count_HmxsFra2vL(op_2z8nE7LpCu(a,b),op_E4l6HwMY31(b,23))+op_count_PrwIXj9ZQe(op_HmxsFra2vL(op_2z8nE7LpCu(a,b),op_E4l6HwMY31(b,23)))+op_count_wmlQD0656L(b)
    else:
        count = op_count_o575Zjdmzy(b)+op_count_UoVew8f2p2(a,b)+op_count_giaUb8UVhq(op_o575Zjdmzy(b),op_UoVew8f2p2(a,b))+op_count_qy3n0tapmE(a,a)+op_count_t0cKpDWDXO(op_qy3n0tapmE(a,a))+op_count_d7ASUq0ydm(op_giaUb8UVhq(op_o575Zjdmzy(b),op_UoVew8f2p2(a,b)),op_t0cKpDWDXO(op_qy3n0tapmE(a,a)))
    return count


a⨇⋜∯ = { (346⪒a) , if (a⪿⇪⊩39)<46 ; (a⨻⪊⨷a) , else }

def op_OwkrOogzQj(a):
    if op_OGWBzMv138(a,39) < 46:
        return op_f6k1SAg4EE(346,a)
    else:
        return op_Pkwamo1tM2(a,a)

def op_count_OwkrOogzQj(a):
    if op_OGWBzMv138(a,39) < 46:
        count = op_count_f6k1SAg4EE(346,a)+op_count_OGWBzMv138(a,39)
    else:
        count = op_count_Pkwamo1tM2(a,a)
    return count


def op_E2L6ILuIWZ(a):
    return op_Rw46J52cBJ(op_RygbFNSyEJ(a,a),op_RPa3726CSl(a))

def op_count_E2L6ILuIWZ(a):
    count = op_count_RygbFNSyEJ(a,a)+op_count_RPa3726CSl(a)+op_count_Rw46J52cBJ(op_RygbFNSyEJ(a,a),op_RPa3726CSl(a))
    return count


def op_sQqERRYnsS(a):
    return op_DX7B1fY6P6(op_Bmrmz2XGnR(a,141),op_VCG3UHNzLR(a,a))

def op_count_sQqERRYnsS(a):
    count = op_count_Bmrmz2XGnR(a,141)+op_count_VCG3UHNzLR(a,a)+op_count_DX7B1fY6P6(op_Bmrmz2XGnR(a,141),op_VCG3UHNzLR(a,a))
    return count


def op_JzgZF0Pirc(a):
    return op_hiBDRd40bf(a,a)

def op_count_JzgZF0Pirc(a):
    count = op_count_hiBDRd40bf(a,a)
    return count


a⪖⩦ = { (((a⫸⇳a)⪎↠(a⋢a))∺≝⩲(⫟(a⊭↱127))) }

def op_Me1eJNWXbi(a):
    return op_KPf6cnQVty(op_3tVxb0NHM4(op_gx7XJ7hdpj(a,a),op_NdELin8EPX(a,a)),op_z4E1FaHLuy(op_COABgblf1C(a,127)))

def op_count_Me1eJNWXbi(a):
    count = op_count_gx7XJ7hdpj(a,a)+op_count_NdELin8EPX(a,a)+op_count_3tVxb0NHM4(op_gx7XJ7hdpj(a,a),op_NdELin8EPX(a,a))+op_count_COABgblf1C(a,127)+op_count_z4E1FaHLuy(op_COABgblf1C(a,127))+op_count_KPf6cnQVty(op_3tVxb0NHM4(op_gx7XJ7hdpj(a,a),op_NdELin8EPX(a,a)),op_z4E1FaHLuy(op_COABgblf1C(a,127)))
    return count


a≥ = { ((a⩹a)⫻⋑⊟) , if (a≟⫹396)<2 ; a , else }

def op_7GV7HCnIcS(a):
    if op_z2JHNkvbdm(a,396) < 2:
        return op_o575Zjdmzy(op_2Wsdkap16l(a,a))
    else:
        return a

def op_count_7GV7HCnIcS(a):
    if op_z2JHNkvbdm(a,396) < 2:
        count = op_count_2Wsdkap16l(a,a)+op_count_o575Zjdmzy(op_2Wsdkap16l(a,a))+op_count_z2JHNkvbdm(a,396)
    else:
        count = 1
    return count


a⊮ = { ((a⩾a)⩚⊴⇥(a↼⊘⨖a)) , if (a∩⋅)==11 ; ((a⨓↿∉a)∀⩎⋷(70⫋)) , else }

def op_R5Ca5aM7sG(a):
    if op_2MzE1hQ0cz(a) == 11:
        return op_NTOWxs364D(op_UggxBX659n(a,a),op_bPywburJMS(a,a))
    else:
        return op_FPxP5Y1j0W(op_OWnFPqjWlR(a,a),op_mhIhit33mg(70))

def op_count_R5Ca5aM7sG(a):
    if op_2MzE1hQ0cz(a) == 11:
        count = op_count_UggxBX659n(a,a)+op_count_bPywburJMS(a,a)+op_count_NTOWxs364D(op_UggxBX659n(a,a),op_bPywburJMS(a,a))+op_count_2MzE1hQ0cz(a)
    else:
        count = op_count_OWnFPqjWlR(a,a)+op_count_mhIhit33mg(70)+op_count_FPxP5Y1j0W(op_OWnFPqjWlR(a,a),op_mhIhit33mg(70))
    return count


a⋆⨑ = { ((a⋐≟⩺a)⋝⋈⪟(⫇⨷a)) , if (a⨁⊸⫻)!=81 ; (⨞⫢(213⪎↠a)) , else }

def op_2NslUQYkCX(a):
    if op_glklzrTFfD(a) != 81:
        return op_2DDjHMKMc0(op_PjbVkMzmXE(a,a),op_ct1hK6qyRt(a))
    else:
        return op_HQuZ2f4It9(op_3tVxb0NHM4(213,a))

def op_count_2NslUQYkCX(a):
    if op_glklzrTFfD(a) != 81:
        count = op_count_PjbVkMzmXE(a,a)+op_count_ct1hK6qyRt(a)+op_count_2DDjHMKMc0(op_PjbVkMzmXE(a,a),op_ct1hK6qyRt(a))+op_count_glklzrTFfD(a)
    else:
        count = op_count_3tVxb0NHM4(213,a)+op_count_HQuZ2f4It9(op_3tVxb0NHM4(213,a))
    return count


⪾⇩a = { (⇉-⫰(a⋰⇉∕a)) , if a==4 ; ((⩣⪁a)⋞(≛54)) , else }

def op_4iqD9NiPpb(a):
    if a == 4:
        return op_IGFM8TAlm9(op_sM9mzqIDB1(a,a))
    else:
        return op_V4yb4KDoeF(op_W2rMsuCzF8(a),op_W7eaUhjymW(54))

def op_count_4iqD9NiPpb(a):
    if a == 4:
        count = op_count_sM9mzqIDB1(a,a)+op_count_IGFM8TAlm9(op_sM9mzqIDB1(a,a))
    else:
        count = op_count_W2rMsuCzF8(a)+op_count_W7eaUhjymW(54)+op_count_V4yb4KDoeF(op_W2rMsuCzF8(a),op_W7eaUhjymW(54))
    return count


⫣↼a = { ((368⪦⩸a)⊝⪿⪼(a⫸a)) , if a<=569 ; ((a⇴a)≾⋳) , else }

def op_tSW8rgFwH6(a):
    if a <= 569:
        return op_3Oe9XWJUTD(op_0JWJYFSzIQ(368,a),op_Qaz2MhZaG5(a,a))
    else:
        return op_1tCtMSPkGf(op_4JB6nKBMSY(a,a))

def op_count_tSW8rgFwH6(a):
    if a <= 569:
        count = op_count_0JWJYFSzIQ(368,a)+op_count_Qaz2MhZaG5(a,a)+op_count_3Oe9XWJUTD(op_0JWJYFSzIQ(368,a),op_Qaz2MhZaG5(a,a))
    else:
        count = op_count_4JB6nKBMSY(a,a)+op_count_1tCtMSPkGf(op_4JB6nKBMSY(a,a))
    return count


def op_vrFL4jikg3(a):
    return op_GMyVS5K48T(op_KWeyIRWUIQ(287),a)

def op_count_vrFL4jikg3(a):
    count = op_count_KWeyIRWUIQ(287)+op_count_GMyVS5K48T(op_KWeyIRWUIQ(287),a)
    return count


≯∣⫮a = { (((a≗⫍)⊱⇼⊻a)⇖↽((a⩣⊵⩗478)⩍⋽⫝̸(a⋆⊨a))) }

def op_ctswzS5Znb(a):
    return op_cwbF3JtlMN(op_FyVja0WsTP(op_7Nd029Vx1U(a),a),op_BiWNJpBvwn(op_wsXFuL0hC6(a,478),op_uTBsSls0VN(a,a)))

def op_count_ctswzS5Znb(a):
    count = op_count_7Nd029Vx1U(a)+op_count_FyVja0WsTP(op_7Nd029Vx1U(a),a)+op_count_wsXFuL0hC6(a,478)+op_count_uTBsSls0VN(a,a)+op_count_BiWNJpBvwn(op_wsXFuL0hC6(a,478),op_uTBsSls0VN(a,a))+op_count_cwbF3JtlMN(op_FyVja0WsTP(op_7Nd029Vx1U(a),a),op_BiWNJpBvwn(op_wsXFuL0hC6(a,478),op_uTBsSls0VN(a,a)))
    return count


def op_mhiGTHl996(a):
    return op_JgXZM7XvWE(op_PPChnnnBFF(a,a),op_OKKcZfAt5B(a,218))

def op_count_mhiGTHl996(a):
    count = op_count_PPChnnnBFF(a,a)+op_count_OKKcZfAt5B(a,218)+op_count_JgXZM7XvWE(op_PPChnnnBFF(a,a),op_OKKcZfAt5B(a,218))
    return count


def op_efdU1tSChD(a):
    return op_2DDjHMKMc0(op_G8pG1QxO6Y(a),a)

def op_count_efdU1tSChD(a):
    count = op_count_G8pG1QxO6Y(a)+op_count_2DDjHMKMc0(op_G8pG1QxO6Y(a),a)
    return count


def op_GV9te2d4UM(a):
    if a <= 215:
        return op_Siyfjn51pv(op_2DDjHMKMc0(a,a))
    else:
        return op_xSk1F0pZbF(op_jBC4ymW3D7(139,a),op_V4yb4KDoeF(166,a))

def op_count_GV9te2d4UM(a):
    if a <= 215:
        count = op_count_2DDjHMKMc0(a,a)+op_count_Siyfjn51pv(op_2DDjHMKMc0(a,a))
    else:
        count = op_count_jBC4ymW3D7(139,a)+op_count_V4yb4KDoeF(166,a)+op_count_xSk1F0pZbF(op_jBC4ymW3D7(139,a),op_V4yb4KDoeF(166,a))
    return count


a⋪∉∙b = { ((b≦↸86)⪨⊡(197⊲⩕⊾b)) , if a>=285 ; ((a→⨶⪴b)⊨(a+⪬∐b)) , else }

def op_ZudQkqJPAX(a, b):
    if a >= 285:
        return op_kuIXHzHcAH(op_RygbFNSyEJ(b,86),op_DmTXOeWf9t(197,b))
    else:
        return op_vg4gO5BX6G(op_bF6eod5Gvf(a,b),op_2GS7woTJqF(a,b))

def op_count_ZudQkqJPAX(a, b):
    if a >= 285:
        count = op_count_RygbFNSyEJ(b,86)+op_count_DmTXOeWf9t(197,b)+op_count_kuIXHzHcAH(op_RygbFNSyEJ(b,86),op_DmTXOeWf9t(197,b))
    else:
        count = op_count_bF6eod5Gvf(a,b)+op_count_2GS7woTJqF(a,b)+op_count_vg4gO5BX6G(op_bF6eod5Gvf(a,b),op_2GS7woTJqF(a,b))
    return count


a⊿≒b = { (((≉a)⪍↜⋙(a≽⪈↿b))⨐((a⩤∜↚b)⪲⨢(381⨻⪊⨷b))) , if (b⋴⋺)<242 ; (((b∲⫓668)⋐≟⩺(a⨓↿∉b))⋟⫀⨗((b⨧a)⨔⊶↷(a⨓↿∉a))) , else }

def op_f1BIQY0rGc(a, b):
    if op_0bdkhPtsnY(b) < 242:
        return op_Noe24qw2ks(op_L05ObWFQCd(op_e1ybzncUwg(a),op_inCIaGQf8u(a,b)),op_6iafYuwGo8(op_KROiRRz3d6(a,b),op_Pkwamo1tM2(381,b)))
    else:
        return op_dAAkup5nzi(op_PjbVkMzmXE(op_i8ToyICDmI(b,668),op_OWnFPqjWlR(a,b)),op_WObL9SsYVE(op_3YWlZA9bsa(b,a),op_OWnFPqjWlR(a,a)))

def op_count_f1BIQY0rGc(a, b):
    if op_0bdkhPtsnY(b) < 242:
        count = op_count_e1ybzncUwg(a)+op_count_inCIaGQf8u(a,b)+op_count_L05ObWFQCd(op_e1ybzncUwg(a),op_inCIaGQf8u(a,b))+op_count_KROiRRz3d6(a,b)+op_count_Pkwamo1tM2(381,b)+op_count_6iafYuwGo8(op_KROiRRz3d6(a,b),op_Pkwamo1tM2(381,b))+op_count_Noe24qw2ks(op_L05ObWFQCd(op_e1ybzncUwg(a),op_inCIaGQf8u(a,b)),op_6iafYuwGo8(op_KROiRRz3d6(a,b),op_Pkwamo1tM2(381,b)))+op_count_0bdkhPtsnY(b)
    else:
        count = op_count_i8ToyICDmI(b,668)+op_count_OWnFPqjWlR(a,b)+op_count_PjbVkMzmXE(op_i8ToyICDmI(b,668),op_OWnFPqjWlR(a,b))+op_count_3YWlZA9bsa(b,a)+op_count_OWnFPqjWlR(a,a)+op_count_WObL9SsYVE(op_3YWlZA9bsa(b,a),op_OWnFPqjWlR(a,a))+op_count_dAAkup5nzi(op_PjbVkMzmXE(op_i8ToyICDmI(b,668),op_OWnFPqjWlR(a,b)),op_WObL9SsYVE(op_3YWlZA9bsa(b,a),op_OWnFPqjWlR(a,a)))
    return count


def op_cTD4NrwkZ5(a):
    return op_FyVja0WsTP(op_W4YGzv6Whe(a,a),op_yuvXk3Mco8(a))

def op_count_cTD4NrwkZ5(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_yuvXk3Mco8(a)+op_count_FyVja0WsTP(op_W4YGzv6Whe(a,a),op_yuvXk3Mco8(a))
    return count


def op_Qhrmy2cZ4F(a, b):
    return op_P75hhshrwX(op_PPChnnnBFF(a,b))

def op_count_Qhrmy2cZ4F(a, b):
    count = op_count_PPChnnnBFF(a,b)+op_count_P75hhshrwX(op_PPChnnnBFF(a,b))
    return count


def op_Wo0bHzzxyF(a):
    return op_QDWDTvZtyM(op_SWo3A1KBJH(op_tIhPxZTbsh(a,a)))

def op_count_Wo0bHzzxyF(a):
    count = op_count_tIhPxZTbsh(a,a)+op_count_SWo3A1KBJH(op_tIhPxZTbsh(a,a))+op_count_QDWDTvZtyM(op_SWo3A1KBJH(op_tIhPxZTbsh(a,a)))
    return count


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

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


def op_0XeqBYtk8Z(a, b):
    return op_WR6HLWljOP(op_IxJHfR5psi(op_8WDwsbhb0R(195),op_s3Fd5m9Dh2(a,b)),op_JDUIKTTSIa(op_m612RDITqL(372,b),b))

def op_count_0XeqBYtk8Z(a, b):
    count = op_count_8WDwsbhb0R(195)+op_count_s3Fd5m9Dh2(a,b)+op_count_IxJHfR5psi(op_8WDwsbhb0R(195),op_s3Fd5m9Dh2(a,b))+op_count_m612RDITqL(372,b)+op_count_JDUIKTTSIa(op_m612RDITqL(372,b),b)+op_count_WR6HLWljOP(op_IxJHfR5psi(op_8WDwsbhb0R(195),op_s3Fd5m9Dh2(a,b)),op_JDUIKTTSIa(op_m612RDITqL(372,b),b))
    return count


def op_KnBc1o4CIZ(a):
    return op_UqUOXUQnbU(op_3A1e9zoj8h(a),op_umQnsF7QlU(a,a))

def op_count_KnBc1o4CIZ(a):
    count = op_count_3A1e9zoj8h(a)+op_count_umQnsF7QlU(a,a)+op_count_UqUOXUQnbU(op_3A1e9zoj8h(a),op_umQnsF7QlU(a,a))
    return count


a⇔⇠∵b = { (∨⫘⊿b) , if a==117 ; (a∘b) , else }

def op_0wziYLqNx9(a, b):
    if a == 117:
        return op_qxp9F1VMeC(b)
    else:
        return op_Z5m6OM72h2(a,b)

def op_count_0wziYLqNx9(a, b):
    if a == 117:
        count = op_count_qxp9F1VMeC(b)
    else:
        count = op_count_Z5m6OM72h2(a,b)
    return count


a⇰ = { (((a∙∹∝a)⨰(⇉-⫰a))⪭a) , if a==43 ; a , else }

def op_PSntGRdGWo(a):
    if a == 43:
        return op_j9kHMeSvPp(op_eewbuw0ToL(op_HmxsFra2vL(a,a),op_IGFM8TAlm9(a)),a)
    else:
        return a

def op_count_PSntGRdGWo(a):
    if a == 43:
        count = op_count_HmxsFra2vL(a,a)+op_count_IGFM8TAlm9(a)+op_count_eewbuw0ToL(op_HmxsFra2vL(a,a),op_IGFM8TAlm9(a))+op_count_j9kHMeSvPp(op_eewbuw0ToL(op_HmxsFra2vL(a,a),op_IGFM8TAlm9(a)),a)
    else:
        count = 1
    return count


a∬⊓b = { (((a⫸⇳a)≦≮≮)∷((b≃a)⪦⩸(b⨻⪊⨷a))) }

def op_y0qJaDkwff(a, b):
    return op_D3AQDKkPcf(op_D4vGDi5EA2(op_gx7XJ7hdpj(a,a)),op_0JWJYFSzIQ(op_YbVcJGFEVW(b,a),op_Pkwamo1tM2(b,a)))

def op_count_y0qJaDkwff(a, b):
    count = op_count_gx7XJ7hdpj(a,a)+op_count_D4vGDi5EA2(op_gx7XJ7hdpj(a,a))+op_count_YbVcJGFEVW(b,a)+op_count_Pkwamo1tM2(b,a)+op_count_0JWJYFSzIQ(op_YbVcJGFEVW(b,a),op_Pkwamo1tM2(b,a))+op_count_D3AQDKkPcf(op_D4vGDi5EA2(op_gx7XJ7hdpj(a,a)),op_0JWJYFSzIQ(op_YbVcJGFEVW(b,a),op_Pkwamo1tM2(b,a)))
    return count


def op_WxjQizov8v(a, b):
    return op_Qy55tPpLXF(op_ap3xiM279w(op_N41Kp7NANJ(474),b),op_j9kHMeSvPp(op_Pkwamo1tM2(a,a),b))

def op_count_WxjQizov8v(a, b):
    count = op_count_N41Kp7NANJ(474)+op_count_ap3xiM279w(op_N41Kp7NANJ(474),b)+op_count_Pkwamo1tM2(a,a)+op_count_j9kHMeSvPp(op_Pkwamo1tM2(a,a),b)+op_count_Qy55tPpLXF(op_ap3xiM279w(op_N41Kp7NANJ(474),b),op_j9kHMeSvPp(op_Pkwamo1tM2(a,a),b))
    return count


def op_9Q5hJbNi17(a, b):
    return op_HiPekx5b7W(op_BiWNJpBvwn(a,b),op_EWw2JM7wp4(13,b))

def op_count_9Q5hJbNi17(a, b):
    count = op_count_BiWNJpBvwn(a,b)+op_count_EWw2JM7wp4(13,b)+op_count_HiPekx5b7W(op_BiWNJpBvwn(a,b),op_EWw2JM7wp4(13,b))
    return count


a⇟⋮⇰ = { (((18≃a)⩇∃⫛(a⫯⪬∳a))⩷∴((a⊢≏≾a)-(↰⫏a))) }

def op_BinZfi5Vql(a):
    return op_9FxExcQeMw(op_1aApVXNlOP(op_YbVcJGFEVW(18,a),op_d7ASUq0ydm(a,a)),op_rysDP5nf3Z(op_qxqspddX8k(a,a),op_UeUK5QjOtW(a)))

def op_count_BinZfi5Vql(a):
    count = op_count_YbVcJGFEVW(18,a)+op_count_d7ASUq0ydm(a,a)+op_count_1aApVXNlOP(op_YbVcJGFEVW(18,a),op_d7ASUq0ydm(a,a))+op_count_qxqspddX8k(a,a)+op_count_UeUK5QjOtW(a)+op_count_rysDP5nf3Z(op_qxqspddX8k(a,a),op_UeUK5QjOtW(a))+op_count_9FxExcQeMw(op_1aApVXNlOP(op_YbVcJGFEVW(18,a),op_d7ASUq0ydm(a,a)),op_rysDP5nf3Z(op_qxqspddX8k(a,a),op_UeUK5QjOtW(a)))
    return count


def op_4VgzueLoPD(a, b):
    if op_Cr5xnr8B4B(a,962) < 112 or op_6MpZysEj17(b) < 603 or op_giaUb8UVhq(b,202) <= 2:
        return op_2z8nE7LpCu(a,580)
    else:
        return op_W4YGzv6Whe(b,a)

def op_count_4VgzueLoPD(a, b):
    if op_Cr5xnr8B4B(a,962) < 112 or op_6MpZysEj17(b) < 603 or op_giaUb8UVhq(b,202) <= 2:
        count = op_count_2z8nE7LpCu(a,580)+op_count_Cr5xnr8B4B(a,962)+op_count_6MpZysEj17(b)+op_count_giaUb8UVhq(b,202)
    else:
        count = op_count_W4YGzv6Whe(b,a)
    return count


def op_DiYxel8mnz(a):
    if a <= 65:
        return op_Y7wcNGrDQJ(op_ieTw63T1Vx(36),op_ap3xiM279w(a,a))
    else:
        return op_ocnLzx9CaJ(op_64EQ39e0fC(a,54),op_1aApVXNlOP(a,296))

def op_count_DiYxel8mnz(a):
    if a <= 65:
        count = op_count_ieTw63T1Vx(36)+op_count_ap3xiM279w(a,a)+op_count_Y7wcNGrDQJ(op_ieTw63T1Vx(36),op_ap3xiM279w(a,a))
    else:
        count = op_count_64EQ39e0fC(a,54)+op_count_1aApVXNlOP(a,296)+op_count_ocnLzx9CaJ(op_64EQ39e0fC(a,54),op_1aApVXNlOP(a,296))
    return count


⇂⊀⊇a = { (a⨮⨆) , if a<28 ; ((a⊜)∝(361⋥≓≎a)) , else }

def op_GmudKkMXyQ(a):
    if a < 28:
        return op_s0kPeV9Vm2(a)
    else:
        return op_cTDWOvIxvz(op_Eev2Q7dYIw(a),op_Qy55tPpLXF(361,a))

def op_count_GmudKkMXyQ(a):
    if a < 28:
        count = op_count_s0kPeV9Vm2(a)
    else:
        count = op_count_Eev2Q7dYIw(a)+op_count_Qy55tPpLXF(361,a)+op_count_cTDWOvIxvz(op_Eev2Q7dYIw(a),op_Qy55tPpLXF(361,a))
    return count


def op_aTFyE0D4wL(a):
    if a > 178:
        return op_LYeZOJ0nQG(a)
    else:
        return a

def op_count_aTFyE0D4wL(a):
    if a > 178:
        count = op_count_LYeZOJ0nQG(a)
    else:
        count = 1
    return count


a⋲⇥ = { (a⪲⨢(a⋷a)) , if (a⊭⇢↿)>=353 ; ((a↪∷a)⪕(↪⨀a)) , else }

def op_N9Hg1LnPl8(a):
    if op_G8pG1QxO6Y(a) >= 353:
        return op_6iafYuwGo8(a,op_23Mk6UjR3U(a,a))
    else:
        return op_umQnsF7QlU(op_Api82iH42a(a,a),op_t0cKpDWDXO(a))

def op_count_N9Hg1LnPl8(a):
    if op_G8pG1QxO6Y(a) >= 353:
        count = op_count_23Mk6UjR3U(a,a)+op_count_6iafYuwGo8(a,op_23Mk6UjR3U(a,a))+op_count_G8pG1QxO6Y(a)
    else:
        count = op_count_Api82iH42a(a,a)+op_count_t0cKpDWDXO(a)+op_count_umQnsF7QlU(op_Api82iH42a(a,a),op_t0cKpDWDXO(a))
    return count


a⩩⪨⩧ = { (((a⫲)∙∹∝(a∁))⊢≏≾((a⨧a)⫰⋱(a≣a))) , if (a↨⪍≴53)<=76 ; (⊿(⩕↛(72⋝⋈⪟a))) , else }

def op_LCw8TijYQy(a):
    if op_DX7B1fY6P6(a,53) <= 76:
        return op_qxqspddX8k(op_HmxsFra2vL(op_9xnGDUPbC6(a),op_jdwGQqwJi5(a)),op_6o9Blt3TJ6(op_3YWlZA9bsa(a,a),op_ObEyaaML9x(a,a)))
    else:
        return op_DO4fhlbJSI(op_3EhVUz7Ug9(op_2DDjHMKMc0(72,a)))

def op_count_LCw8TijYQy(a):
    if op_DX7B1fY6P6(a,53) <= 76:
        count = op_count_9xnGDUPbC6(a)+op_count_jdwGQqwJi5(a)+op_count_HmxsFra2vL(op_9xnGDUPbC6(a),op_jdwGQqwJi5(a))+op_count_3YWlZA9bsa(a,a)+op_count_ObEyaaML9x(a,a)+op_count_6o9Blt3TJ6(op_3YWlZA9bsa(a,a),op_ObEyaaML9x(a,a))+op_count_qxqspddX8k(op_HmxsFra2vL(op_9xnGDUPbC6(a),op_jdwGQqwJi5(a)),op_6o9Blt3TJ6(op_3YWlZA9bsa(a,a),op_ObEyaaML9x(a,a)))+op_count_DX7B1fY6P6(a,53)
    else:
        count = op_count_2DDjHMKMc0(72,a)+op_count_3EhVUz7Ug9(op_2DDjHMKMc0(72,a))+op_count_DO4fhlbJSI(op_3EhVUz7Ug9(op_2DDjHMKMc0(72,a)))
    return count


a≒b = { (⨢⋑⪾(b⊢a)) , if (a⪊≅)==67 ; ((b⊝⪿⪼a)⩇∃⫛(⊿66)) , else }

def op_AYjbRmBFQ3(a, b):
    if op_bjFbhXSADs(a) == 67:
        return op_tmjFFOTKyA(op_5twsqlHp2o(b,a))
    else:
        return op_1aApVXNlOP(op_3Oe9XWJUTD(b,a),op_DO4fhlbJSI(66))

def op_count_AYjbRmBFQ3(a, b):
    if op_bjFbhXSADs(a) == 67:
        count = op_count_5twsqlHp2o(b,a)+op_count_tmjFFOTKyA(op_5twsqlHp2o(b,a))+op_count_bjFbhXSADs(a)
    else:
        count = op_count_3Oe9XWJUTD(b,a)+op_count_DO4fhlbJSI(66)+op_count_1aApVXNlOP(op_3Oe9XWJUTD(b,a),op_DO4fhlbJSI(66))
    return count


def op_pvGdjFPSv2(a):
    return op_86A5ENbKR9(op_xoJmIySC7h(op_d8xe6WWVfM(111,a),op_2M7SKlOzyM(a,a)))

def op_count_pvGdjFPSv2(a):
    count = op_count_d8xe6WWVfM(111,a)+op_count_2M7SKlOzyM(a,a)+op_count_xoJmIySC7h(op_d8xe6WWVfM(111,a),op_2M7SKlOzyM(a,a))+op_count_86A5ENbKR9(op_xoJmIySC7h(op_d8xe6WWVfM(111,a),op_2M7SKlOzyM(a,a)))
    return count


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

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


def op_B1w2DhXrIu(a):
    return op_tnyRA5sazQ(op_QiR2Oyf5Xj(260),op_tnyRA5sazQ(a,a))

def op_count_B1w2DhXrIu(a):
    count = op_count_QiR2Oyf5Xj(260)+op_count_tnyRA5sazQ(a,a)+op_count_tnyRA5sazQ(op_QiR2Oyf5Xj(260),op_tnyRA5sazQ(a,a))
    return count


a⩀⩸⨦ = { ((a⩚⊴⇥a)⩚⊴⇥a) , if a<=291 ; (⋾(⇝⋾⇵a)) , else }

def op_fvqsyRpAQk(a):
    if a <= 291:
        return op_NTOWxs364D(op_NTOWxs364D(a,a),a)
    else:
        return op_8TQKPGA8Ba(op_6l7ULzJsnZ(a))

def op_count_fvqsyRpAQk(a):
    if a <= 291:
        count = op_count_NTOWxs364D(a,a)+op_count_NTOWxs364D(op_NTOWxs364D(a,a),a)
    else:
        count = op_count_6l7ULzJsnZ(a)+op_count_8TQKPGA8Ba(op_6l7ULzJsnZ(a))
    return count


def op_5FZKbkky4F(a):
    return op_HJ9erzHUuu(op_VCG3UHNzLR(a,a),op_Api82iH42a(a,356))

def op_count_5FZKbkky4F(a):
    count = op_count_VCG3UHNzLR(a,a)+op_count_Api82iH42a(a,356)+op_count_HJ9erzHUuu(op_VCG3UHNzLR(a,a),op_Api82iH42a(a,356))
    return count


def op_NLWUahlHYy(a, b):
    return op_GMN7JP6WpN(op_cwbF3JtlMN(op_3Oe9XWJUTD(b,156),op_5twsqlHp2o(463,a)),op_cwbF3JtlMN(op_OGWBzMv138(390,b),op_cwbF3JtlMN(a,b)))

def op_count_NLWUahlHYy(a, b):
    count = op_count_3Oe9XWJUTD(b,156)+op_count_5twsqlHp2o(463,a)+op_count_cwbF3JtlMN(op_3Oe9XWJUTD(b,156),op_5twsqlHp2o(463,a))+op_count_OGWBzMv138(390,b)+op_count_cwbF3JtlMN(a,b)+op_count_cwbF3JtlMN(op_OGWBzMv138(390,b),op_cwbF3JtlMN(a,b))+op_count_GMN7JP6WpN(op_cwbF3JtlMN(op_3Oe9XWJUTD(b,156),op_5twsqlHp2o(463,a)),op_cwbF3JtlMN(op_OGWBzMv138(390,b),op_cwbF3JtlMN(a,b)))
    return count


a⇘≿b = { ((403≝⊿b)↢(b⪚a)) , if b>=188 ; ((b⪿⇪⊩a)⊭⇢↿) , else }

def op_8EAfVIn5ao(a, b):
    if b >= 188:
        return op_WR6HLWljOP(op_OKKcZfAt5B(403,b),op_HrjLwUk87U(b,a))
    else:
        return op_G8pG1QxO6Y(op_OGWBzMv138(b,a))

def op_count_8EAfVIn5ao(a, b):
    if b >= 188:
        count = op_count_OKKcZfAt5B(403,b)+op_count_HrjLwUk87U(b,a)+op_count_WR6HLWljOP(op_OKKcZfAt5B(403,b),op_HrjLwUk87U(b,a))
    else:
        count = op_count_OGWBzMv138(b,a)+op_count_G8pG1QxO6Y(op_OGWBzMv138(b,a))
    return count


def op_3dhzKXxroQ(a, b):
    if a <= 568:
        return op_tnyRA5sazQ(op_Sq3AGanRSD(b,a),op_MXaNJeIAZ3(a))
    else:
        return op_6iafYuwGo8(op_sdazOOVcIp(20,b),op_40aOVDgCDB(b))

def op_count_3dhzKXxroQ(a, b):
    if a <= 568:
        count = op_count_Sq3AGanRSD(b,a)+op_count_MXaNJeIAZ3(a)+op_count_tnyRA5sazQ(op_Sq3AGanRSD(b,a),op_MXaNJeIAZ3(a))
    else:
        count = op_count_sdazOOVcIp(20,b)+op_count_40aOVDgCDB(b)+op_count_6iafYuwGo8(op_sdazOOVcIp(20,b),op_40aOVDgCDB(b))
    return count


def op_DG2cS3PCn6(a):
    return op_WObL9SsYVE(op_23Mk6UjR3U(op_3EhVUz7Ug9(a),op_86A5ENbKR9(121)),op_i8ToyICDmI(op_keuJNkrrbj(86,a),op_uOZ1tnYMDE(a)))

def op_count_DG2cS3PCn6(a):
    count = op_count_3EhVUz7Ug9(a)+op_count_86A5ENbKR9(121)+op_count_23Mk6UjR3U(op_3EhVUz7Ug9(a),op_86A5ENbKR9(121))+op_count_keuJNkrrbj(86,a)+op_count_uOZ1tnYMDE(a)+op_count_i8ToyICDmI(op_keuJNkrrbj(86,a),op_uOZ1tnYMDE(a))+op_count_WObL9SsYVE(op_23Mk6UjR3U(op_3EhVUz7Ug9(a),op_86A5ENbKR9(121)),op_i8ToyICDmI(op_keuJNkrrbj(86,a),op_uOZ1tnYMDE(a)))
    return count


def op_i0u17fuaUw(a):
    if op_d8xe6WWVfM(a,266) < 342:
        return op_WObL9SsYVE(op_Y9dhGmbGii(a),a)
    else:
        return op_2DQ55sFlQl(op_12rbrZMWeM(a,143),op_KWeyIRWUIQ(a))

def op_count_i0u17fuaUw(a):
    if op_d8xe6WWVfM(a,266) < 342:
        count = op_count_Y9dhGmbGii(a)+op_count_WObL9SsYVE(op_Y9dhGmbGii(a),a)+op_count_d8xe6WWVfM(a,266)
    else:
        count = op_count_12rbrZMWeM(a,143)+op_count_KWeyIRWUIQ(a)+op_count_2DQ55sFlQl(op_12rbrZMWeM(a,143),op_KWeyIRWUIQ(a))
    return count