def op_HtfiQVUMWI(a, b):
    if (op_d7ASUq0ydm(a,650) >= 60 and op_KvubFp3XhO(b) <= 636 and op_KROiRRz3d6(b,442) < 565):
        return op_tifHPKVTfV(a,op_840vADziXz(op_a3N2hFLK0J(b)))
    else:
        return op_UoVew8f2p2(op_6iafYuwGo8(op_j9kHMeSvPp(b,b),op_IpgdDpBHsO(19)),a)

def op_count_HtfiQVUMWI(a, b):
    if (op_d7ASUq0ydm(a,650) >= 60 and op_KvubFp3XhO(b) <= 636 and op_KROiRRz3d6(b,442) < 565):
        count = op_count_a3N2hFLK0J(b)+op_count_840vADziXz(op_a3N2hFLK0J(b))+op_count_tifHPKVTfV(a,op_840vADziXz(op_a3N2hFLK0J(b)))+op_count_d7ASUq0ydm(a,650)+op_count_KvubFp3XhO(b)+op_count_KROiRRz3d6(b,442)
    else:
        count = op_count_j9kHMeSvPp(b,b)+op_count_IpgdDpBHsO(19)+op_count_6iafYuwGo8(op_j9kHMeSvPp(b,b),op_IpgdDpBHsO(19))+op_count_UoVew8f2p2(op_6iafYuwGo8(op_j9kHMeSvPp(b,b),op_IpgdDpBHsO(19)),a)
    return count


def op_265LmWy1dS(a, b):
    if op_HjMFvreeUu(b) <= 488 or a >= 511:
        return op_IjUb3wyICU(op_ljTHtUsqzn(a))
    else:
        return op_64EQ39e0fC(op_B3tNObfNaL(152),op_KROiRRz3d6(a,647))

def op_count_265LmWy1dS(a, b):
    if op_HjMFvreeUu(b) <= 488 or a >= 511:
        count = op_count_ljTHtUsqzn(a)+op_count_IjUb3wyICU(op_ljTHtUsqzn(a))+op_count_HjMFvreeUu(b)
    else:
        count = op_count_B3tNObfNaL(152)+op_count_KROiRRz3d6(a,647)+op_count_64EQ39e0fC(op_B3tNObfNaL(152),op_KROiRRz3d6(a,647))
    return count


a∴⋮↜b = { (((a↹⊜294)↨⪍≴(a↪∷73))∝((⋼∭⪍b)⇊⊒⫧)) }

def op_LFP2zRhVLi(a, b):
    return op_cTDWOvIxvz(op_DX7B1fY6P6(op_9bazX3JMtO(a,294),op_Api82iH42a(a,73)),op_eIba4BG3xN(op_DbCuESL50I(b)))

def op_count_LFP2zRhVLi(a, b):
    count = op_count_9bazX3JMtO(a,294)+op_count_Api82iH42a(a,73)+op_count_DX7B1fY6P6(op_9bazX3JMtO(a,294),op_Api82iH42a(a,73))+op_count_DbCuESL50I(b)+op_count_eIba4BG3xN(op_DbCuESL50I(b))+op_count_cTDWOvIxvz(op_DX7B1fY6P6(op_9bazX3JMtO(a,294),op_Api82iH42a(a,73)),op_eIba4BG3xN(op_DbCuESL50I(b)))
    return count


def op_8lBC7wqBde(a, b):
    if op_3EhVUz7Ug9(b) > 707:
        return op_vRio1gEz1j(op_HJ9erzHUuu(op_xoJmIySC7h(b,416),a))
    else:
        return op_2O29ZX4yK6(op_z2JHNkvbdm(op_UggxBX659n(a,a),op_NrdPCfJQiM(a,426)))

def op_count_8lBC7wqBde(a, b):
    if op_3EhVUz7Ug9(b) > 707:
        count = op_count_xoJmIySC7h(b,416)+op_count_HJ9erzHUuu(op_xoJmIySC7h(b,416),a)+op_count_vRio1gEz1j(op_HJ9erzHUuu(op_xoJmIySC7h(b,416),a))+op_count_3EhVUz7Ug9(b)
    else:
        count = op_count_UggxBX659n(a,a)+op_count_NrdPCfJQiM(a,426)+op_count_z2JHNkvbdm(op_UggxBX659n(a,a),op_NrdPCfJQiM(a,426))+op_count_2O29ZX4yK6(op_z2JHNkvbdm(op_UggxBX659n(a,a),op_NrdPCfJQiM(a,426)))
    return count


def op_DdGfRTBqou(a, b):
    if (a < 41 and op_fG6uBQFnGz(a) <= 329 and a <= 184):
        return op_UpkSd4zESC(op_mhIhit33mg(op_y4ImoPnbV5(b,a)),b)
    else:
        return op_KPf6cnQVty(op_2Wsdkap16l(op_B3tNObfNaL(380),op_U6pG0PXrV3(617)),op_7PjNe5qSIJ(op_keuJNkrrbj(b,b),op_IGFM8TAlm9(408)))

def op_count_DdGfRTBqou(a, b):
    if (a < 41 and op_fG6uBQFnGz(a) <= 329 and a <= 184):
        count = op_count_y4ImoPnbV5(b,a)+op_count_mhIhit33mg(op_y4ImoPnbV5(b,a))+op_count_UpkSd4zESC(op_mhIhit33mg(op_y4ImoPnbV5(b,a)),b)+op_count_fG6uBQFnGz(a)
    else:
        count = op_count_B3tNObfNaL(380)+op_count_U6pG0PXrV3(617)+op_count_2Wsdkap16l(op_B3tNObfNaL(380),op_U6pG0PXrV3(617))+op_count_keuJNkrrbj(b,b)+op_count_IGFM8TAlm9(408)+op_count_7PjNe5qSIJ(op_keuJNkrrbj(b,b),op_IGFM8TAlm9(408))+op_count_KPf6cnQVty(op_2Wsdkap16l(op_B3tNObfNaL(380),op_U6pG0PXrV3(617)),op_7PjNe5qSIJ(op_keuJNkrrbj(b,b),op_IGFM8TAlm9(408)))
    return count


def op_nh3x8a6Puv(a):
    return op_ar1w6gUwHX(111,a)

def op_count_nh3x8a6Puv(a):
    count = op_count_ar1w6gUwHX(111,a)
    return count


def op_aTY1AQKFzf(a):
    return op_vg4gO5BX6G(a,op_qazvmhNBbN(op_3tVxb0NHM4(a,5)))

def op_count_aTY1AQKFzf(a):
    count = op_count_3tVxb0NHM4(a,5)+op_count_qazvmhNBbN(op_3tVxb0NHM4(a,5))+op_count_vg4gO5BX6G(a,op_qazvmhNBbN(op_3tVxb0NHM4(a,5)))
    return count


def op_HAXB6eNxZN(a):
    if op_2DQ55sFlQl(a,530) > 2:
        return op_Api82iH42a(op_IGFM8TAlm9(op_k2B77S3vSv(a)),op_2DDjHMKMc0(op_m612RDITqL(a,a),op_2Wsdkap16l(438,a)))
    else:
        return op_3tVxb0NHM4(op_qy3n0tapmE(op_PjbVkMzmXE(a,a),op_WR6HLWljOP(a,a)),op_a3N2hFLK0J(op_Noe24qw2ks(419,a)))

def op_count_HAXB6eNxZN(a):
    if op_2DQ55sFlQl(a,530) > 2:
        count = op_count_k2B77S3vSv(a)+op_count_IGFM8TAlm9(op_k2B77S3vSv(a))+op_count_m612RDITqL(a,a)+op_count_2Wsdkap16l(438,a)+op_count_2DDjHMKMc0(op_m612RDITqL(a,a),op_2Wsdkap16l(438,a))+op_count_Api82iH42a(op_IGFM8TAlm9(op_k2B77S3vSv(a)),op_2DDjHMKMc0(op_m612RDITqL(a,a),op_2Wsdkap16l(438,a)))+op_count_2DQ55sFlQl(a,530)
    else:
        count = op_count_PjbVkMzmXE(a,a)+op_count_WR6HLWljOP(a,a)+op_count_qy3n0tapmE(op_PjbVkMzmXE(a,a),op_WR6HLWljOP(a,a))+op_count_Noe24qw2ks(419,a)+op_count_a3N2hFLK0J(op_Noe24qw2ks(419,a))+op_count_3tVxb0NHM4(op_qy3n0tapmE(op_PjbVkMzmXE(a,a),op_WR6HLWljOP(a,a)),op_a3N2hFLK0J(op_Noe24qw2ks(419,a)))
    return count


def op_3FVW14tz3K(a):
    if a >= 324:
        return op_S5ZFQS4GK3(a,a)
    else:
        return op_nFAOW8KTqp(392)

def op_count_3FVW14tz3K(a):
    if a >= 324:
        count = op_count_S5ZFQS4GK3(a,a)
    else:
        count = op_count_nFAOW8KTqp(392)
    return count


def op_Efya3fWOHL(a):
    return op_IwW236VD4Y(op_23Mk6UjR3U(op_Sq3AGanRSD(a,a),op_nCS4ZIUYfx(a,a)),op_apS25hmuAe(a))

def op_count_Efya3fWOHL(a):
    count = op_count_Sq3AGanRSD(a,a)+op_count_nCS4ZIUYfx(a,a)+op_count_23Mk6UjR3U(op_Sq3AGanRSD(a,a),op_nCS4ZIUYfx(a,a))+op_count_apS25hmuAe(a)+op_count_IwW236VD4Y(op_23Mk6UjR3U(op_Sq3AGanRSD(a,a),op_nCS4ZIUYfx(a,a)),op_apS25hmuAe(a))
    return count


def op_EFztOthsbg(a):
    return op_b1mGkbI4Oy(op_PjbVkMzmXE(479,a),a)

def op_count_EFztOthsbg(a):
    count = op_count_PjbVkMzmXE(479,a)+op_count_b1mGkbI4Oy(op_PjbVkMzmXE(479,a),a)
    return count


def op_tmxLEAV0sY(a, b):
    if (op_xoJmIySC7h(b,978) < 282 or a > 609 or op_ZcwmYACASQ(b) <= 800):
        return op_NrdPCfJQiM(b,213)
    else:
        return op_fG6uBQFnGz(b)

def op_count_tmxLEAV0sY(a, b):
    if (op_xoJmIySC7h(b,978) < 282 or a > 609 or op_ZcwmYACASQ(b) <= 800):
        count = op_count_NrdPCfJQiM(b,213)+op_count_xoJmIySC7h(b,978)+op_count_ZcwmYACASQ(b)
    else:
        count = op_count_fG6uBQFnGz(b)
    return count


def op_ybwXbqd0P4(a):
    if op_IxJHfR5psi(a,881) >= 156:
        return op_Siyfjn51pv(a)
    else:
        return op_eewbuw0ToL(a,a)

def op_count_ybwXbqd0P4(a):
    if op_IxJHfR5psi(a,881) >= 156:
        count = op_count_Siyfjn51pv(a)+op_count_IxJHfR5psi(a,881)
    else:
        count = op_count_eewbuw0ToL(a,a)
    return count


def op_6AGQDYyq8g(a):
    return op_B3tNObfNaL(op_JgXZM7XvWE(403,a))

def op_count_6AGQDYyq8g(a):
    count = op_count_JgXZM7XvWE(403,a)+op_count_B3tNObfNaL(op_JgXZM7XvWE(403,a))
    return count


a⪟⇇b = { ((b⫼⨠b)⨣∐↬a) , if a>102 ; ((b⩚⊴⇥a)⪔⊥(a⩢≭)) , else }

def op_n4a7NEQ25Y(a, b):
    if a > 102:
        return op_UpkSd4zESC(op_KYL1uVeVpb(b,b),a)
    else:
        return op_HJ9erzHUuu(op_NTOWxs364D(b,a),op_rv8OxMkTSD(a))

def op_count_n4a7NEQ25Y(a, b):
    if a > 102:
        count = op_count_KYL1uVeVpb(b,b)+op_count_UpkSd4zESC(op_KYL1uVeVpb(b,b),a)
    else:
        count = op_count_NTOWxs364D(b,a)+op_count_rv8OxMkTSD(a)+op_count_HJ9erzHUuu(op_NTOWxs364D(b,a),op_rv8OxMkTSD(a))
    return count


def op_GPz4iu2eFk(a, b):
    if a >= 1:
        return op_OKKcZfAt5B(op_7j4O788W3g(op_tnyRA5sazQ(b,b),op_aiqF8n6J9c(a,a)),op_S3tN1ZzpSt(op_sM9mzqIDB1(a,39),op_JclMnS0uGI(670,443)))
    else:
        return op_d7ASUq0ydm(op_QMFrweE19q(op_d7ASUq0ydm(476,327),op_pRsWfj4Fpp(a)),op_AdZkA7nFnk(op_inCIaGQf8u(b,17),op_JgXZM7XvWE(a,a)))

def op_count_GPz4iu2eFk(a, b):
    if a >= 1:
        count = op_count_tnyRA5sazQ(b,b)+op_count_aiqF8n6J9c(a,a)+op_count_7j4O788W3g(op_tnyRA5sazQ(b,b),op_aiqF8n6J9c(a,a))+op_count_sM9mzqIDB1(a,39)+op_count_JclMnS0uGI(670,443)+op_count_S3tN1ZzpSt(op_sM9mzqIDB1(a,39),op_JclMnS0uGI(670,443))+op_count_OKKcZfAt5B(op_7j4O788W3g(op_tnyRA5sazQ(b,b),op_aiqF8n6J9c(a,a)),op_S3tN1ZzpSt(op_sM9mzqIDB1(a,39),op_JclMnS0uGI(670,443)))
    else:
        count = op_count_d7ASUq0ydm(476,327)+op_count_pRsWfj4Fpp(a)+op_count_QMFrweE19q(op_d7ASUq0ydm(476,327),op_pRsWfj4Fpp(a))+op_count_inCIaGQf8u(b,17)+op_count_JgXZM7XvWE(a,a)+op_count_AdZkA7nFnk(op_inCIaGQf8u(b,17),op_JgXZM7XvWE(a,a))+op_count_d7ASUq0ydm(op_QMFrweE19q(op_d7ASUq0ydm(476,327),op_pRsWfj4Fpp(a)),op_AdZkA7nFnk(op_inCIaGQf8u(b,17),op_JgXZM7XvWE(a,a)))
    return count


def op_89BvdqUkvM(a):
    return op_PPChnnnBFF(4,op_W2rMsuCzF8(op_64EQ39e0fC(a,a)))

def op_count_89BvdqUkvM(a):
    count = op_count_64EQ39e0fC(a,a)+op_count_W2rMsuCzF8(op_64EQ39e0fC(a,a))+op_count_PPChnnnBFF(4,op_W2rMsuCzF8(op_64EQ39e0fC(a,a)))
    return count


a⫞≮⩟b = { ((⫇(⨩∲⋌b))≧⊼((a∊⊞≈b)⇤(a⇌↸))) }

def op_Hn4VRZUxzV(a, b):
    return op_JoLB3LXqXx(op_YjI8oCXuph(op_aSik1wnThz(b)),op_YSKBFp38Pu(op_keuJNkrrbj(a,b),op_2PILXiQIjy(a)))

def op_count_Hn4VRZUxzV(a, b):
    count = op_count_aSik1wnThz(b)+op_count_YjI8oCXuph(op_aSik1wnThz(b))+op_count_keuJNkrrbj(a,b)+op_count_2PILXiQIjy(a)+op_count_YSKBFp38Pu(op_keuJNkrrbj(a,b),op_2PILXiQIjy(a))+op_count_JoLB3LXqXx(op_YjI8oCXuph(op_aSik1wnThz(b)),op_YSKBFp38Pu(op_keuJNkrrbj(a,b),op_2PILXiQIjy(a)))
    return count


a⇪↧b = { (⨑⩽⪐67) , if b<257 ; (a⫏↛⩏a) , else }

def op_yRqWCfy5LI(a, b):
    if b < 257:
        return op_AF7qkfDlqP(67)
    else:
        return op_YC3tgrnOyr(a,a)

def op_count_yRqWCfy5LI(a, b):
    if b < 257:
        count = op_count_AF7qkfDlqP(67)
    else:
        count = op_count_YC3tgrnOyr(a,a)
    return count


a⫹⨊∠ = { (((a⨐a)⫃⨇(⊠a))∝(⊢≑≆(321⨐a))) , if a==4 ; (((a⪶≀⋏a)≽↲≰(a⫸⇳a))∌↝(⊠(a⪇≇⋚a))) , else }

def op_OF5nCrhil7(a):
    if a == 4:
        return op_cTDWOvIxvz(op_09Ly4LVMIf(op_Noe24qw2ks(a,a),op_R3vAdrE3IH(a)),op_27wFxooxGf(op_Noe24qw2ks(321,a)))
    else:
        return op_9Isq31Ruls(op_cFVlceoRkX(op_zR4jO40bMj(a,a),op_gx7XJ7hdpj(a,a)),op_R3vAdrE3IH(op_3sJ7IOPOlU(a,a)))

def op_count_OF5nCrhil7(a):
    if a == 4:
        count = op_count_Noe24qw2ks(a,a)+op_count_R3vAdrE3IH(a)+op_count_09Ly4LVMIf(op_Noe24qw2ks(a,a),op_R3vAdrE3IH(a))+op_count_Noe24qw2ks(321,a)+op_count_27wFxooxGf(op_Noe24qw2ks(321,a))+op_count_cTDWOvIxvz(op_09Ly4LVMIf(op_Noe24qw2ks(a,a),op_R3vAdrE3IH(a)),op_27wFxooxGf(op_Noe24qw2ks(321,a)))
    else:
        count = op_count_zR4jO40bMj(a,a)+op_count_gx7XJ7hdpj(a,a)+op_count_cFVlceoRkX(op_zR4jO40bMj(a,a),op_gx7XJ7hdpj(a,a))+op_count_3sJ7IOPOlU(a,a)+op_count_R3vAdrE3IH(op_3sJ7IOPOlU(a,a))+op_count_9Isq31Ruls(op_cFVlceoRkX(op_zR4jO40bMj(a,a),op_gx7XJ7hdpj(a,a)),op_R3vAdrE3IH(op_3sJ7IOPOlU(a,a)))
    return count


a⊥⋀b = { (a⪦⩸b) , if b<430 ; (⨞⊢b) , else }

def op_2HYkBhA3K5(a, b):
    if b < 430:
        return op_0JWJYFSzIQ(a,b)
    else:
        return op_xUOZtlo3hN(b)

def op_count_2HYkBhA3K5(a, b):
    if b < 430:
        count = op_count_0JWJYFSzIQ(a,b)
    else:
        count = op_count_xUOZtlo3hN(b)
    return count


def op_eTAniYArFr(a):
    if (op_XbEAUggs3J(a) == 445 and op_Sq3AGanRSD(a,783) <= 419):
        return op_GMyVS5K48T(op_rIsGeVJWJF(a),op_ljTHtUsqzn(52))
    else:
        return op_0kmYd0q39Y(op_YC3tgrnOyr(a,a),op_x5lMkHmzsq(229))

def op_count_eTAniYArFr(a):
    if (op_XbEAUggs3J(a) == 445 and op_Sq3AGanRSD(a,783) <= 419):
        count = op_count_rIsGeVJWJF(a)+op_count_ljTHtUsqzn(52)+op_count_GMyVS5K48T(op_rIsGeVJWJF(a),op_ljTHtUsqzn(52))+op_count_XbEAUggs3J(a)+op_count_Sq3AGanRSD(a,783)
    else:
        count = op_count_YC3tgrnOyr(a,a)+op_count_x5lMkHmzsq(229)+op_count_0kmYd0q39Y(op_YC3tgrnOyr(a,a),op_x5lMkHmzsq(229))
    return count


a↢≸b = { (b≖−≲) , if a!=385 ; (a≚⊃≕b) , else }

def op_sMWVT9hqlZ(a, b):
    if a != 385:
        return op_IpgdDpBHsO(b)
    else:
        return op_Bmrmz2XGnR(a,b)

def op_count_sMWVT9hqlZ(a, b):
    if a != 385:
        count = op_count_IpgdDpBHsO(b)
    else:
        count = op_count_Bmrmz2XGnR(a,b)
    return count


def op_tUf8PANZgi(a, b):
    if b != 365:
        return op_3Oe9XWJUTD(op_s3Fd5m9Dh2(op_KPf6cnQVty(b,68),op_zFNL8mZEFB(b,b)),op_glklzrTFfD(op_IxJHfR5psi(81,255)))
    else:
        return op_tIhPxZTbsh(op_pjdzZ5rP1Y(a),op_irKjLsMeKy(op_qxqspddX8k(160,b),op_qxqspddX8k(b,24)))

def op_count_tUf8PANZgi(a, b):
    if b != 365:
        count = op_count_KPf6cnQVty(b,68)+op_count_zFNL8mZEFB(b,b)+op_count_s3Fd5m9Dh2(op_KPf6cnQVty(b,68),op_zFNL8mZEFB(b,b))+op_count_IxJHfR5psi(81,255)+op_count_glklzrTFfD(op_IxJHfR5psi(81,255))+op_count_3Oe9XWJUTD(op_s3Fd5m9Dh2(op_KPf6cnQVty(b,68),op_zFNL8mZEFB(b,b)),op_glklzrTFfD(op_IxJHfR5psi(81,255)))
    else:
        count = op_count_pjdzZ5rP1Y(a)+op_count_qxqspddX8k(160,b)+op_count_qxqspddX8k(b,24)+op_count_irKjLsMeKy(op_qxqspddX8k(160,b),op_qxqspddX8k(b,24))+op_count_tIhPxZTbsh(op_pjdzZ5rP1Y(a),op_irKjLsMeKy(op_qxqspddX8k(160,b),op_qxqspddX8k(b,24)))
    return count


a⫊⊙⇠b = { (((252≧⊼32)⊝⨜≵)↹⊜((b⩾a)∄(a⇛91))) , if (a⪍↜⋙333)<35 ; (((⇾⩊⇾a)⊨b)⊉↱≁((a⪍↜⋙b)⨧↗⨷(b⇖↽197))) , else }

def op_QwEjHC7A8R(a, b):
    if op_L05ObWFQCd(a,333) < 35:
        return op_9bazX3JMtO(op_CuHhPb8RwQ(op_JoLB3LXqXx(252,32)),op_tnyRA5sazQ(op_UggxBX659n(b,a),op_S3tN1ZzpSt(a,91)))
    else:
        return op_w2P8NbNXyL(op_vg4gO5BX6G(op_bx9Z9DAK5y(a),b),op_WSbXXWOizJ(op_L05ObWFQCd(a,b),op_cwbF3JtlMN(b,197)))

def op_count_QwEjHC7A8R(a, b):
    if op_L05ObWFQCd(a,333) < 35:
        count = op_count_JoLB3LXqXx(252,32)+op_count_CuHhPb8RwQ(op_JoLB3LXqXx(252,32))+op_count_UggxBX659n(b,a)+op_count_S3tN1ZzpSt(a,91)+op_count_tnyRA5sazQ(op_UggxBX659n(b,a),op_S3tN1ZzpSt(a,91))+op_count_9bazX3JMtO(op_CuHhPb8RwQ(op_JoLB3LXqXx(252,32)),op_tnyRA5sazQ(op_UggxBX659n(b,a),op_S3tN1ZzpSt(a,91)))+op_count_L05ObWFQCd(a,333)
    else:
        count = op_count_bx9Z9DAK5y(a)+op_count_vg4gO5BX6G(op_bx9Z9DAK5y(a),b)+op_count_L05ObWFQCd(a,b)+op_count_cwbF3JtlMN(b,197)+op_count_WSbXXWOizJ(op_L05ObWFQCd(a,b),op_cwbF3JtlMN(b,197))+op_count_w2P8NbNXyL(op_vg4gO5BX6G(op_bx9Z9DAK5y(a),b),op_WSbXXWOizJ(op_L05ObWFQCd(a,b),op_cwbF3JtlMN(b,197)))
    return count


a↑↬∭ = { (a⩇∃⫛a) , if a==24 ; (a∙∹∝a) , else }

def op_LewKz9oNef(a):
    if a == 24:
        return op_1aApVXNlOP(a,a)
    else:
        return op_HmxsFra2vL(a,a)

def op_count_LewKz9oNef(a):
    if a == 24:
        count = op_count_1aApVXNlOP(a,a)
    else:
        count = op_count_HmxsFra2vL(a,a)
    return count


≨∯a = { ((a≏⨯⊱a)∷(a⩦a)) , if (a∈)>=422 ; ((a≧⫂∧a)⇖↽(⪷∈↠a)) , else }

def op_ilw4q3lFWn(a):
    if op_ztP7wcbY7m(a) >= 422:
        return op_D3AQDKkPcf(op_UqUOXUQnbU(a,a),op_0kmYd0q39Y(a,a))
    else:
        return op_cwbF3JtlMN(op_Ph9nP6C5qx(a,a),op_Kn0TacbtGK(a))

def op_count_ilw4q3lFWn(a):
    if op_ztP7wcbY7m(a) >= 422:
        count = op_count_UqUOXUQnbU(a,a)+op_count_0kmYd0q39Y(a,a)+op_count_D3AQDKkPcf(op_UqUOXUQnbU(a,a),op_0kmYd0q39Y(a,a))+op_count_ztP7wcbY7m(a)
    else:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_Kn0TacbtGK(a)+op_count_cwbF3JtlMN(op_Ph9nP6C5qx(a,a),op_Kn0TacbtGK(a))
    return count


a⋨≇ = { (⋸⪍a) , if a<78 ; (a≧⊼a) , else }

def op_U1gM3zMnFZ(a):
    if a < 78:
        return op_PrwIXj9ZQe(a)
    else:
        return op_JoLB3LXqXx(a,a)

def op_count_U1gM3zMnFZ(a):
    if a < 78:
        count = op_count_PrwIXj9ZQe(a)
    else:
        count = op_count_JoLB3LXqXx(a,a)
    return count


def op_PC1SQNpQaf(a):
    if op_QMFrweE19q(a,550) == 187:
        return op_dwb5p0fa6d(op_UpkSd4zESC(a,56))
    else:
        return op_Z2TMIBDE3Q(a)

def op_count_PC1SQNpQaf(a):
    if op_QMFrweE19q(a,550) == 187:
        count = op_count_UpkSd4zESC(a,56)+op_count_dwb5p0fa6d(op_UpkSd4zESC(a,56))+op_count_QMFrweE19q(a,550)
    else:
        count = op_count_Z2TMIBDE3Q(a)
    return count


a↝⩬⪆ = { (a⩟) , if (a↮⪈⫰)<=69 or a!=310 ; (a⪢⋭) , else }

def op_mQgKmFa3kQ(a):
    if op_MKpoIoBJCf(a) <= 69 or a != 310:
        return op_fOIeswaMU4(a)
    else:
        return op_csT5a4elgc(a)

def op_count_mQgKmFa3kQ(a):
    if op_MKpoIoBJCf(a) <= 69 or a != 310:
        count = op_count_fOIeswaMU4(a)+op_count_MKpoIoBJCf(a)
    else:
        count = op_count_csT5a4elgc(a)
    return count


def op_7RpQvro3M9(a):
    return op_9bazX3JMtO(op_KROiRRz3d6(a,a),op_t4WUHVGj7f(a))

def op_count_7RpQvro3M9(a):
    count = op_count_KROiRRz3d6(a,a)+op_count_t4WUHVGj7f(a)+op_count_9bazX3JMtO(op_KROiRRz3d6(a,a),op_t4WUHVGj7f(a))
    return count


def op_3UBWuKoTzU(a):
    if op_keuJNkrrbj(a,641) != 573:
        return op_JoLB3LXqXx(op_DO4fhlbJSI(op_Bmrmz2XGnR(a,228)),op_EWw2JM7wp4(op_UpkSd4zESC(203,a),op_m612RDITqL(a,a)))
    else:
        return op_S3tN1ZzpSt(op_ljTHtUsqzn(op_PjbVkMzmXE(78,a)),op_JFrVJKYFMX(op_YSKBFp38Pu(a,a),op_6l7ULzJsnZ(818)))

def op_count_3UBWuKoTzU(a):
    if op_keuJNkrrbj(a,641) != 573:
        count = op_count_Bmrmz2XGnR(a,228)+op_count_DO4fhlbJSI(op_Bmrmz2XGnR(a,228))+op_count_UpkSd4zESC(203,a)+op_count_m612RDITqL(a,a)+op_count_EWw2JM7wp4(op_UpkSd4zESC(203,a),op_m612RDITqL(a,a))+op_count_JoLB3LXqXx(op_DO4fhlbJSI(op_Bmrmz2XGnR(a,228)),op_EWw2JM7wp4(op_UpkSd4zESC(203,a),op_m612RDITqL(a,a)))+op_count_keuJNkrrbj(a,641)
    else:
        count = op_count_PjbVkMzmXE(78,a)+op_count_ljTHtUsqzn(op_PjbVkMzmXE(78,a))+op_count_YSKBFp38Pu(a,a)+op_count_6l7ULzJsnZ(818)+op_count_JFrVJKYFMX(op_YSKBFp38Pu(a,a),op_6l7ULzJsnZ(818))+op_count_S3tN1ZzpSt(op_ljTHtUsqzn(op_PjbVkMzmXE(78,a)),op_JFrVJKYFMX(op_YSKBFp38Pu(a,a),op_6l7ULzJsnZ(818)))
    return count


a⫼⪦↓b = { (≀↧⇸((-a)⊲⩕⊾(b⫡⨏a))) , if (a<=517 and (⇠a)==36) ; ((⇻⨃⇄(b⇄a))⨧(⩗⪄(a⫼⨠b))) , else }

def op_vooVlyHbFY(a, b):
    if (a <= 517 and op_18saOjeKKm(a) == 36):
        return op_ljTHtUsqzn(op_DmTXOeWf9t(op_t8gj7n24qd(a),op_QMFrweE19q(b,a)))
    else:
        return op_3YWlZA9bsa(op_fLGIAiPz9h(op_3EYGwJThht(b,a)),op_Y9dhGmbGii(op_KYL1uVeVpb(a,b)))

def op_count_vooVlyHbFY(a, b):
    if (a <= 517 and op_18saOjeKKm(a) == 36):
        count = op_count_t8gj7n24qd(a)+op_count_QMFrweE19q(b,a)+op_count_DmTXOeWf9t(op_t8gj7n24qd(a),op_QMFrweE19q(b,a))+op_count_ljTHtUsqzn(op_DmTXOeWf9t(op_t8gj7n24qd(a),op_QMFrweE19q(b,a)))+op_count_18saOjeKKm(a)
    else:
        count = op_count_3EYGwJThht(b,a)+op_count_fLGIAiPz9h(op_3EYGwJThht(b,a))+op_count_KYL1uVeVpb(a,b)+op_count_Y9dhGmbGii(op_KYL1uVeVpb(a,b))+op_count_3YWlZA9bsa(op_fLGIAiPz9h(op_3EYGwJThht(b,a)),op_Y9dhGmbGii(op_KYL1uVeVpb(a,b)))
    return count


def op_UO7sojQx20(a, b):
    if (b != 127 or op_vg4gO5BX6G(b,943) >= 279 or op_xUOZtlo3hN(a) > 21):
        return b
    else:
        return op_fjqJgF5yyp(op_ew17WAA8t6(op_eaFBhJ0Uku(a,a)))

def op_count_UO7sojQx20(a, b):
    if (b != 127 or op_vg4gO5BX6G(b,943) >= 279 or op_xUOZtlo3hN(a) > 21):
        count = 1
    else:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_ew17WAA8t6(op_eaFBhJ0Uku(a,a))+op_count_fjqJgF5yyp(op_ew17WAA8t6(op_eaFBhJ0Uku(a,a)))
    return count


def op_srhPeXBSZS(a, b):
    if b != 14:
        return op_x5lMkHmzsq(371)
    else:
        return op_9FxExcQeMw(478,a)

def op_count_srhPeXBSZS(a, b):
    if b != 14:
        count = op_count_x5lMkHmzsq(371)
    else:
        count = op_count_9FxExcQeMw(478,a)
    return count


a⩮⊟⫑b = { ((a⨣∐↬37)⋘(b⩤∜↚b)) , if (a↭↢≔)<=9 ; ((b∲⫑b)⫯⪬∳(⇍a)) , else }

def op_xm2CaS4xAe(a, b):
    if op_Q6LsZf8ZYd(a) <= 9:
        return op_2M7SKlOzyM(op_UpkSd4zESC(a,37),op_KROiRRz3d6(b,b))
    else:
        return op_d7ASUq0ydm(op_NrdPCfJQiM(b,b),op_H9jWZL1q0V(a))

def op_count_xm2CaS4xAe(a, b):
    if op_Q6LsZf8ZYd(a) <= 9:
        count = op_count_UpkSd4zESC(a,37)+op_count_KROiRRz3d6(b,b)+op_count_2M7SKlOzyM(op_UpkSd4zESC(a,37),op_KROiRRz3d6(b,b))+op_count_Q6LsZf8ZYd(a)
    else:
        count = op_count_NrdPCfJQiM(b,b)+op_count_H9jWZL1q0V(a)+op_count_d7ASUq0ydm(op_NrdPCfJQiM(b,b),op_H9jWZL1q0V(a))
    return count


a∍↴b = { (58⨁⊸⫻) , if b!=47 ; (a⫯⪬∳a) , else }

def op_Esodbl1gVe(a, b):
    if b != 47:
        return op_glklzrTFfD(58)
    else:
        return op_d7ASUq0ydm(a,a)

def op_count_Esodbl1gVe(a, b):
    if b != 47:
        count = op_count_glklzrTFfD(58)
    else:
        count = op_count_d7ASUq0ydm(a,a)
    return count


a↦⋨b = { (((a⇤a)∌(a⨻⪊⨷a))⫁⪎(⋑(339↨⪍≴b))) }

def op_HWPVJOF0FO(a, b):
    return op_xRrnTEsQ6j(op_8cLx32lpNA(op_YSKBFp38Pu(a,a),op_Pkwamo1tM2(a,a)),op_iz8sE888QL(op_DX7B1fY6P6(339,b)))

def op_count_HWPVJOF0FO(a, b):
    count = op_count_YSKBFp38Pu(a,a)+op_count_Pkwamo1tM2(a,a)+op_count_8cLx32lpNA(op_YSKBFp38Pu(a,a),op_Pkwamo1tM2(a,a))+op_count_DX7B1fY6P6(339,b)+op_count_iz8sE888QL(op_DX7B1fY6P6(339,b))+op_count_xRrnTEsQ6j(op_8cLx32lpNA(op_YSKBFp38Pu(a,a),op_Pkwamo1tM2(a,a)),op_iz8sE888QL(op_DX7B1fY6P6(339,b)))
    return count


a∌⋢∥ = { ((⋽⪳⨃(⋽⪳⨃a))⨣∐↬((a⋆⋳)∀⋜↑)) , if (a⫌⩹⨱)<=159 ; (((⪁≄a)⋰⇉∕(a⋥≓≎398))↨⪍≴((a⊉↱≁a)⊉↱≁(a⩚⊴⇥a))) , else }

def op_5UiNl87mkg(a):
    if op_EBcxylXtPf(a) <= 159:
        return op_UpkSd4zESC(op_qAljGMXEZr(op_qAljGMXEZr(a)),op_KipPnG1M2J(op_6MpZysEj17(a)))
    else:
        return op_DX7B1fY6P6(op_sM9mzqIDB1(op_2O29ZX4yK6(a),op_Qy55tPpLXF(a,398)),op_w2P8NbNXyL(op_w2P8NbNXyL(a,a),op_NTOWxs364D(a,a)))

def op_count_5UiNl87mkg(a):
    if op_EBcxylXtPf(a) <= 159:
        count = op_count_qAljGMXEZr(a)+op_count_qAljGMXEZr(op_qAljGMXEZr(a))+op_count_6MpZysEj17(a)+op_count_KipPnG1M2J(op_6MpZysEj17(a))+op_count_UpkSd4zESC(op_qAljGMXEZr(op_qAljGMXEZr(a)),op_KipPnG1M2J(op_6MpZysEj17(a)))+op_count_EBcxylXtPf(a)
    else:
        count = op_count_2O29ZX4yK6(a)+op_count_Qy55tPpLXF(a,398)+op_count_sM9mzqIDB1(op_2O29ZX4yK6(a),op_Qy55tPpLXF(a,398))+op_count_w2P8NbNXyL(a,a)+op_count_NTOWxs364D(a,a)+op_count_w2P8NbNXyL(op_w2P8NbNXyL(a,a),op_NTOWxs364D(a,a))+op_count_DX7B1fY6P6(op_sM9mzqIDB1(op_2O29ZX4yK6(a),op_Qy55tPpLXF(a,398)),op_w2P8NbNXyL(op_w2P8NbNXyL(a,a),op_NTOWxs364D(a,a)))
    return count


def op_v7yRR9JtDU(a):
    if op_NrdPCfJQiM(a,99) == 129:
        return a
    else:
        return op_09Ly4LVMIf(op_HmxsFra2vL(op_RygbFNSyEJ(144,14),op_d7ASUq0ydm(a,a)),op_Ikt5ks8PT7(op_D4vGDi5EA2(a),op_FyVja0WsTP(a,257)))

def op_count_v7yRR9JtDU(a):
    if op_NrdPCfJQiM(a,99) == 129:
        count = 1
    else:
        count = op_count_RygbFNSyEJ(144,14)+op_count_d7ASUq0ydm(a,a)+op_count_HmxsFra2vL(op_RygbFNSyEJ(144,14),op_d7ASUq0ydm(a,a))+op_count_D4vGDi5EA2(a)+op_count_FyVja0WsTP(a,257)+op_count_Ikt5ks8PT7(op_D4vGDi5EA2(a),op_FyVja0WsTP(a,257))+op_count_09Ly4LVMIf(op_HmxsFra2vL(op_RygbFNSyEJ(144,14),op_d7ASUq0ydm(a,a)),op_Ikt5ks8PT7(op_D4vGDi5EA2(a),op_FyVja0WsTP(a,257)))
    return count


a⩁≑⩠b = { (∯b) , if (⊿a)<849 ; (b∘a) , else }

def op_J6uwgn6DsM(a, b):
    if op_DO4fhlbJSI(a) < 849:
        return op_13TjBizFrQ(b)
    else:
        return op_Z5m6OM72h2(b,a)

def op_count_J6uwgn6DsM(a, b):
    if op_DO4fhlbJSI(a) < 849:
        count = op_count_13TjBizFrQ(b)+op_count_DO4fhlbJSI(a)
    else:
        count = op_count_Z5m6OM72h2(b,a)
    return count


def op_FwFFz0Y7Zf(a):
    return op_OTRTVPweYV(op_COABgblf1C(70,a),op_eH2TOUuTDT(4))

def op_count_FwFFz0Y7Zf(a):
    count = op_count_COABgblf1C(70,a)+op_count_eH2TOUuTDT(4)+op_count_OTRTVPweYV(op_COABgblf1C(70,a),op_eH2TOUuTDT(4))
    return count


def op_tqZXx6qj06(a, b):
    return op_OWnFPqjWlR(op_zV3pqYiQ5E(op_nbuSfrB4hB(b,a)),op_EWw2JM7wp4(op_vRio1gEz1j(a),b))

def op_count_tqZXx6qj06(a, b):
    count = op_count_nbuSfrB4hB(b,a)+op_count_zV3pqYiQ5E(op_nbuSfrB4hB(b,a))+op_count_vRio1gEz1j(a)+op_count_EWw2JM7wp4(op_vRio1gEz1j(a),b)+op_count_OWnFPqjWlR(op_zV3pqYiQ5E(op_nbuSfrB4hB(b,a)),op_EWw2JM7wp4(op_vRio1gEz1j(a),b))
    return count


def op_cHlYcnNa7k(a):
    if a == 73:
        return op_MmTdOpaElr(op_DO4fhlbJSI(op_RygbFNSyEJ(a,a)))
    else:
        return op_WSbXXWOizJ(op_OWnFPqjWlR(op_YbVcJGFEVW(a,299),op_NrdPCfJQiM(209,142)),op_Ph9nP6C5qx(op_kuIXHzHcAH(a,a),op_ZNVVrZ94lY(396)))

def op_count_cHlYcnNa7k(a):
    if a == 73:
        count = op_count_RygbFNSyEJ(a,a)+op_count_DO4fhlbJSI(op_RygbFNSyEJ(a,a))+op_count_MmTdOpaElr(op_DO4fhlbJSI(op_RygbFNSyEJ(a,a)))
    else:
        count = op_count_YbVcJGFEVW(a,299)+op_count_NrdPCfJQiM(209,142)+op_count_OWnFPqjWlR(op_YbVcJGFEVW(a,299),op_NrdPCfJQiM(209,142))+op_count_kuIXHzHcAH(a,a)+op_count_ZNVVrZ94lY(396)+op_count_Ph9nP6C5qx(op_kuIXHzHcAH(a,a),op_ZNVVrZ94lY(396))+op_count_WSbXXWOizJ(op_OWnFPqjWlR(op_YbVcJGFEVW(a,299),op_NrdPCfJQiM(209,142)),op_Ph9nP6C5qx(op_kuIXHzHcAH(a,a),op_ZNVVrZ94lY(396)))
    return count

DO4fhlbJSI Ph9nP6C5qx WSbXXWOizJ ZNVVrZ94lY RygbFNSyEJ NrdPCfJQiM YbVcJGFEVW OWnFPqjWlR kuIXHzHcAH MmTdOpaElr


a↮↗b = { (b⫡⨏2) , if a<=272 ; (a⫍⨯↯) , else }

def op_JI6Y01kM0I(a, b):
    if a <= 272:
        return op_QMFrweE19q(b,2)
    else:
        return op_ZcwmYACASQ(a)

def op_count_JI6Y01kM0I(a, b):
    if a <= 272:
        count = op_count_QMFrweE19q(b,2)
    else:
        count = op_count_ZcwmYACASQ(a)
    return count


def op_Bg4ILJ8bWx(a, b):
    return op_3nqY3DE9mg(op_jBC4ymW3D7(318,op_IwW236VD4Y(a,b)))

def op_count_Bg4ILJ8bWx(a, b):
    count = op_count_IwW236VD4Y(a,b)+op_count_jBC4ymW3D7(318,op_IwW236VD4Y(a,b))+op_count_3nqY3DE9mg(op_jBC4ymW3D7(318,op_IwW236VD4Y(a,b)))
    return count


def op_sMYUOxfc2s(a):
    return op_3Oe9XWJUTD(op_PaBHOjxk8c(a),op_g55IO6H4Gj(216,a))

def op_count_sMYUOxfc2s(a):
    count = op_count_PaBHOjxk8c(a)+op_count_g55IO6H4Gj(216,a)+op_count_3Oe9XWJUTD(op_PaBHOjxk8c(a),op_g55IO6H4Gj(216,a))
    return count


a≍↿≦b = { (⇗⪘∲a) , if b>=1 ; (b∏⇴b) , else }

def op_TSUy8hrQkO(a, b):
    if b >= 1:
        return op_j4geBLYVFK(a)
    else:
        return op_Rw46J52cBJ(b,b)

def op_count_TSUy8hrQkO(a, b):
    if b >= 1:
        count = op_count_j4geBLYVFK(a)
    else:
        count = op_count_Rw46J52cBJ(b,b)
    return count


a⩑≃≶b = { (((a≽↲≰a)⊚⨔)⪒((a⨩≤⫤b)⨻⪊⨷(⫎≠⋺283))) }

def op_4JQ65aDwPJ(a, b):
    return op_f6k1SAg4EE(op_XbEAUggs3J(op_cFVlceoRkX(a,a)),op_Pkwamo1tM2(op_neKQRQQIil(a,b),op_LYeZOJ0nQG(283)))

def op_count_4JQ65aDwPJ(a, b):
    count = op_count_cFVlceoRkX(a,a)+op_count_XbEAUggs3J(op_cFVlceoRkX(a,a))+op_count_neKQRQQIil(a,b)+op_count_LYeZOJ0nQG(283)+op_count_Pkwamo1tM2(op_neKQRQQIil(a,b),op_LYeZOJ0nQG(283))+op_count_f6k1SAg4EE(op_XbEAUggs3J(op_cFVlceoRkX(a,a)),op_Pkwamo1tM2(op_neKQRQQIil(a,b),op_LYeZOJ0nQG(283)))
    return count


a∂⨖↿ = { ((112⊭↱a)⋆⋳) , if (a⨵⪆693)>=7 ; ((a≦↸a)≭⫡(↖∇⇑a)) , else }

def op_3X8gJAGhtD(a):
    if op_2DQ55sFlQl(a,693) >= 7:
        return op_6MpZysEj17(op_COABgblf1C(112,a))
    else:
        return op_b1mGkbI4Oy(op_RygbFNSyEJ(a,a),op_th50nGnoUm(a))

def op_count_3X8gJAGhtD(a):
    if op_2DQ55sFlQl(a,693) >= 7:
        count = op_count_COABgblf1C(112,a)+op_count_6MpZysEj17(op_COABgblf1C(112,a))+op_count_2DQ55sFlQl(a,693)
    else:
        count = op_count_RygbFNSyEJ(a,a)+op_count_th50nGnoUm(a)+op_count_b1mGkbI4Oy(op_RygbFNSyEJ(a,a),op_th50nGnoUm(a))
    return count


⪕∮a = { (a∷) , if a!=11 ; (⩦⊞a) , else }

def op_3i9jIp2RQP(a):
    if a != 11:
        return op_nFAOW8KTqp(a)
    else:
        return op_u7fv1HBiaC(a)

def op_count_3i9jIp2RQP(a):
    if a != 11:
        count = op_count_nFAOW8KTqp(a)
    else:
        count = op_count_u7fv1HBiaC(a)
    return count


def op_4gnGFkB3mg(a):
    return op_zFNL8mZEFB(op_WSbXXWOizJ(op_RHru8klgy8(a),op_g55IO6H4Gj(a,a)),op_KWeyIRWUIQ(op_4JB6nKBMSY(a,64)))

def op_count_4gnGFkB3mg(a):
    count = op_count_RHru8klgy8(a)+op_count_g55IO6H4Gj(a,a)+op_count_WSbXXWOizJ(op_RHru8klgy8(a),op_g55IO6H4Gj(a,a))+op_count_4JB6nKBMSY(a,64)+op_count_KWeyIRWUIQ(op_4JB6nKBMSY(a,64))+op_count_zFNL8mZEFB(op_WSbXXWOizJ(op_RHru8klgy8(a),op_g55IO6H4Gj(a,a)),op_KWeyIRWUIQ(op_4JB6nKBMSY(a,64)))
    return count


a⩉⋚ = { ((≈(a⊝⪿⪼a))⩇∃⫛((a∇⊂⋱a)⩵∡(a⨓↿∉312))) }

def op_W3ZzOvFNrK(a):
    return op_1aApVXNlOP(op_EO7Xdgo9So(op_3Oe9XWJUTD(a,a)),op_Y7wcNGrDQJ(op_nhYeJWJD5X(a,a),op_OWnFPqjWlR(a,312)))

def op_count_W3ZzOvFNrK(a):
    count = op_count_3Oe9XWJUTD(a,a)+op_count_EO7Xdgo9So(op_3Oe9XWJUTD(a,a))+op_count_nhYeJWJD5X(a,a)+op_count_OWnFPqjWlR(a,312)+op_count_Y7wcNGrDQJ(op_nhYeJWJD5X(a,a),op_OWnFPqjWlR(a,312))+op_count_1aApVXNlOP(op_EO7Xdgo9So(op_3Oe9XWJUTD(a,a)),op_Y7wcNGrDQJ(op_nhYeJWJD5X(a,a),op_OWnFPqjWlR(a,312)))
    return count


def op_anGRxg7xQn(a, b):
    return op_23Mk6UjR3U(op_3EYGwJThht(a,op_AFVx7xoS7T(b,b)),op_nFAOW8KTqp(a))

def op_count_anGRxg7xQn(a, b):
    count = op_count_AFVx7xoS7T(b,b)+op_count_3EYGwJThht(a,op_AFVx7xoS7T(b,b))+op_count_nFAOW8KTqp(a)+op_count_23Mk6UjR3U(op_3EYGwJThht(a,op_AFVx7xoS7T(b,b)),op_nFAOW8KTqp(a))
    return count


def op_lBZCiJp9SE(a):
    return op_nhYeJWJD5X(op_w2P8NbNXyL(a,a),op_HJ9erzHUuu(a,a))

def op_count_lBZCiJp9SE(a):
    count = op_count_w2P8NbNXyL(a,a)+op_count_HJ9erzHUuu(a,a)+op_count_nhYeJWJD5X(op_w2P8NbNXyL(a,a),op_HJ9erzHUuu(a,a))
    return count


def op_fisgo7y6Pu(a, b):
    if b == 374:
        return op_UqUOXUQnbU(b,48)
    else:
        return op_HJ9erzHUuu(a,131)

def op_count_fisgo7y6Pu(a, b):
    if b == 374:
        count = op_count_UqUOXUQnbU(b,48)
    else:
        count = op_count_HJ9erzHUuu(a,131)
    return count


def op_dOpcb7sOVh(a):
    return op_xoJmIySC7h(a,a)

def op_count_dOpcb7sOVh(a):
    count = op_count_xoJmIySC7h(a,a)
    return count


def op_ZHL0hPEFlA(a, b):
    return op_HmxsFra2vL(op_hrf7POJlIJ(a,156),op_eRqsBgTDFp(b,843))

def op_count_ZHL0hPEFlA(a, b):
    count = op_count_hrf7POJlIJ(a,156)+op_count_eRqsBgTDFp(b,843)+op_count_HmxsFra2vL(op_hrf7POJlIJ(a,156),op_eRqsBgTDFp(b,843))
    return count


def op_fPD08FPaQJ(a, b):
    if b != 319:
        return op_2M7SKlOzyM(op_ew17WAA8t6(op_g7Hmc5v1ko(a,b)),op_2z8nE7LpCu(op_EWw2JM7wp4(b,218),op_uPb5QRN0te(a)))
    else:
        return op_s3Fd5m9Dh2(op_wisItNeSwq(op_tnyRA5sazQ(b,133)),op_QMFrweE19q(op_27wFxooxGf(a),op_UIU2Eox550(b)))

def op_count_fPD08FPaQJ(a, b):
    if b != 319:
        count = op_count_g7Hmc5v1ko(a,b)+op_count_ew17WAA8t6(op_g7Hmc5v1ko(a,b))+op_count_EWw2JM7wp4(b,218)+op_count_uPb5QRN0te(a)+op_count_2z8nE7LpCu(op_EWw2JM7wp4(b,218),op_uPb5QRN0te(a))+op_count_2M7SKlOzyM(op_ew17WAA8t6(op_g7Hmc5v1ko(a,b)),op_2z8nE7LpCu(op_EWw2JM7wp4(b,218),op_uPb5QRN0te(a)))
    else:
        count = op_count_tnyRA5sazQ(b,133)+op_count_wisItNeSwq(op_tnyRA5sazQ(b,133))+op_count_27wFxooxGf(a)+op_count_UIU2Eox550(b)+op_count_QMFrweE19q(op_27wFxooxGf(a),op_UIU2Eox550(b))+op_count_s3Fd5m9Dh2(op_wisItNeSwq(op_tnyRA5sazQ(b,133)),op_QMFrweE19q(op_27wFxooxGf(a),op_UIU2Eox550(b)))
    return count


a⋐⩹≹b = { b , if (b≽⪈↿184)<187 ; ((b⪖⪡a)⨔⊶↷(⊀⇵166)) , else }

def op_ERCh0iueHk(a, b):
    if op_inCIaGQf8u(b,184) < 187:
        return b
    else:
        return op_WObL9SsYVE(op_7PjNe5qSIJ(b,a),op_B3tNObfNaL(166))

def op_count_ERCh0iueHk(a, b):
    if op_inCIaGQf8u(b,184) < 187:
        count = 1
    else:
        count = op_count_7PjNe5qSIJ(b,a)+op_count_B3tNObfNaL(166)+op_count_WObL9SsYVE(op_7PjNe5qSIJ(b,a),op_B3tNObfNaL(166))
    return count


⇷⪱a = { ((⇋↷a)⫰⋱(a⪚⨁⋖422)) , if (a⩘⋿111)>=83 and a!=266 ; ((⪁⇼a)⪒⊣⊆(a⫡⨏a)) , else }

def op_UzCMWKpHtT(a):
    if op_64EQ39e0fC(a,111) >= 83 and a != 266:
        return op_6o9Blt3TJ6(op_SWo3A1KBJH(a),op_xSk1F0pZbF(a,422))
    else:
        return op_eRqsBgTDFp(op_ZNVVrZ94lY(a),op_QMFrweE19q(a,a))

def op_count_UzCMWKpHtT(a):
    if op_64EQ39e0fC(a,111) >= 83 and a != 266:
        count = op_count_SWo3A1KBJH(a)+op_count_xSk1F0pZbF(a,422)+op_count_6o9Blt3TJ6(op_SWo3A1KBJH(a),op_xSk1F0pZbF(a,422))+op_count_64EQ39e0fC(a,111)
    else:
        count = op_count_ZNVVrZ94lY(a)+op_count_QMFrweE19q(a,a)+op_count_eRqsBgTDFp(op_ZNVVrZ94lY(a),op_QMFrweE19q(a,a))
    return count


a⪿⪠≾b = { (⨡↴(⪁⇼b)) , if (⇋↷a)>=588 ; ((350⇼⇔∾b)⩇∃⫛(a+b)) , else }

def op_SGDLQMSxql(a, b):
    if op_SWo3A1KBJH(a) >= 588:
        return op_liw5iZPkLH(op_ZNVVrZ94lY(b))
    else:
        return op_1aApVXNlOP(op_tifHPKVTfV(350,b),op_W4YGzv6Whe(a,b))

def op_count_SGDLQMSxql(a, b):
    if op_SWo3A1KBJH(a) >= 588:
        count = op_count_ZNVVrZ94lY(b)+op_count_liw5iZPkLH(op_ZNVVrZ94lY(b))+op_count_SWo3A1KBJH(a)
    else:
        count = op_count_tifHPKVTfV(350,b)+op_count_W4YGzv6Whe(a,b)+op_count_1aApVXNlOP(op_tifHPKVTfV(350,b),op_W4YGzv6Whe(a,b))
    return count


def op_W8KLlsgXDM(a):
    return op_iuk5sVOGFA(op_IwW236VD4Y(a,a))

def op_count_W8KLlsgXDM(a):
    count = op_count_IwW236VD4Y(a,a)+op_count_iuk5sVOGFA(op_IwW236VD4Y(a,a))
    return count


a∓⇿⇟b = { ((b⩷∴307)⨓↿∉b) , if (a⩤)<225 ; ((a≃b)∌↝(b→⨶⪴77)) , else }

def op_gXIGmlOAB4(a, b):
    if op_Z2TMIBDE3Q(a) < 225:
        return op_OWnFPqjWlR(op_9FxExcQeMw(b,307),b)
    else:
        return op_9Isq31Ruls(op_YbVcJGFEVW(a,b),op_bF6eod5Gvf(b,77))

def op_count_gXIGmlOAB4(a, b):
    if op_Z2TMIBDE3Q(a) < 225:
        count = op_count_9FxExcQeMw(b,307)+op_count_OWnFPqjWlR(op_9FxExcQeMw(b,307),b)+op_count_Z2TMIBDE3Q(a)
    else:
        count = op_count_YbVcJGFEVW(a,b)+op_count_bF6eod5Gvf(b,77)+op_count_9Isq31Ruls(op_YbVcJGFEVW(a,b),op_bF6eod5Gvf(b,77))
    return count


def op_aRDoG3ghaN(a):
    return op_qy3n0tapmE(op_AnPstFaJd9(a),a)

def op_count_aRDoG3ghaN(a):
    count = op_count_AnPstFaJd9(a)+op_count_qy3n0tapmE(op_AnPstFaJd9(a),a)
    return count


⋝⫝⇞a = { ((⨡↴9)≧⫂∧(∨369)) , if (⫳⪺∰a)==331 ; ((a≏⨯⊱a)⪨a) , else }

def op_plD4nFIz3E(a):
    if op_eftAHwPbeA(a) == 331:
        return op_Ph9nP6C5qx(op_liw5iZPkLH(9),op_rIsGeVJWJF(369))
    else:
        return op_2z8nE7LpCu(op_UqUOXUQnbU(a,a),a)

def op_count_plD4nFIz3E(a):
    if op_eftAHwPbeA(a) == 331:
        count = op_count_liw5iZPkLH(9)+op_count_rIsGeVJWJF(369)+op_count_Ph9nP6C5qx(op_liw5iZPkLH(9),op_rIsGeVJWJF(369))+op_count_eftAHwPbeA(a)
    else:
        count = op_count_UqUOXUQnbU(a,a)+op_count_2z8nE7LpCu(op_UqUOXUQnbU(a,a),a)
    return count


def op_JkIVKoZPN2(a, b):
    if op_8n5YIzOsVS(b) == 132:
        return op_f6k1SAg4EE(op_Sq3AGanRSD(149,a),op_B3sABdIn96(25))
    else:
        return op_bPywburJMS(op_2O29ZX4yK6(444),op_i3MWstRFMQ(a))

def op_count_JkIVKoZPN2(a, b):
    if op_8n5YIzOsVS(b) == 132:
        count = op_count_Sq3AGanRSD(149,a)+op_count_B3sABdIn96(25)+op_count_f6k1SAg4EE(op_Sq3AGanRSD(149,a),op_B3sABdIn96(25))+op_count_8n5YIzOsVS(b)
    else:
        count = op_count_2O29ZX4yK6(444)+op_count_i3MWstRFMQ(a)+op_count_bPywburJMS(op_2O29ZX4yK6(444),op_i3MWstRFMQ(a))
    return count


def op_MKZVdHhC8c(a):
    return op_Qaz2MhZaG5(op_oPMjh9089D(op_0JWJYFSzIQ(a,a)),op_s3Fd5m9Dh2(op_Qy55tPpLXF(a,a),op_QiR2Oyf5Xj(a)))

def op_count_MKZVdHhC8c(a):
    count = op_count_0JWJYFSzIQ(a,a)+op_count_oPMjh9089D(op_0JWJYFSzIQ(a,a))+op_count_Qy55tPpLXF(a,a)+op_count_QiR2Oyf5Xj(a)+op_count_s3Fd5m9Dh2(op_Qy55tPpLXF(a,a),op_QiR2Oyf5Xj(a))+op_count_Qaz2MhZaG5(op_oPMjh9089D(op_0JWJYFSzIQ(a,a)),op_s3Fd5m9Dh2(op_Qy55tPpLXF(a,a),op_QiR2Oyf5Xj(a)))
    return count


def op_oXIV76xpwU(a):
    return op_y4ImoPnbV5(op_kbkesczE7y(a,a),op_wEfv7U73WA(a))

def op_count_oXIV76xpwU(a):
    count = op_count_kbkesczE7y(a,a)+op_count_wEfv7U73WA(a)+op_count_y4ImoPnbV5(op_kbkesczE7y(a,a),op_wEfv7U73WA(a))
    return count


a≼∉ = { (((a↹⊜a)∠↢(a⩦a))⋰⇉∕((a≦↸300)⋳⪒(a∣2))) , if a>235 ; (((a≚⊃≕a)≣(a⫟≀⫫))⊝⨜≵) , else }

def op_lin3q9QJS5(a):
    if a > 235:
        return op_sM9mzqIDB1(op_KbjG8mgYpV(op_9bazX3JMtO(a,a),op_0kmYd0q39Y(a,a)),op_12rbrZMWeM(op_RygbFNSyEJ(a,300),op_PPChnnnBFF(a,2)))
    else:
        return op_CuHhPb8RwQ(op_ObEyaaML9x(op_Bmrmz2XGnR(a,a),op_KfMCrRzQhT(a)))

def op_count_lin3q9QJS5(a):
    if a > 235:
        count = op_count_9bazX3JMtO(a,a)+op_count_0kmYd0q39Y(a,a)+op_count_KbjG8mgYpV(op_9bazX3JMtO(a,a),op_0kmYd0q39Y(a,a))+op_count_RygbFNSyEJ(a,300)+op_count_PPChnnnBFF(a,2)+op_count_12rbrZMWeM(op_RygbFNSyEJ(a,300),op_PPChnnnBFF(a,2))+op_count_sM9mzqIDB1(op_KbjG8mgYpV(op_9bazX3JMtO(a,a),op_0kmYd0q39Y(a,a)),op_12rbrZMWeM(op_RygbFNSyEJ(a,300),op_PPChnnnBFF(a,2)))
    else:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_KfMCrRzQhT(a)+op_count_ObEyaaML9x(op_Bmrmz2XGnR(a,a),op_KfMCrRzQhT(a))+op_count_CuHhPb8RwQ(op_ObEyaaML9x(op_Bmrmz2XGnR(a,a),op_KfMCrRzQhT(a)))
    return count


a⨓⨕≠b = { (((a⫏↛⩏a)⇢(b⇽⩪))⩾(⊫∐⫩(b⪈⋁⩁456))) }

def op_wwMOHVJtzA(a, b):
    return op_UggxBX659n(op_GMN7JP6WpN(op_YC3tgrnOyr(a,a),op_FonBHBYJbU(b)),op_gSr4c7pPrV(op_GMyVS5K48T(b,456)))

def op_count_wwMOHVJtzA(a, b):
    count = op_count_YC3tgrnOyr(a,a)+op_count_FonBHBYJbU(b)+op_count_GMN7JP6WpN(op_YC3tgrnOyr(a,a),op_FonBHBYJbU(b))+op_count_GMyVS5K48T(b,456)+op_count_gSr4c7pPrV(op_GMyVS5K48T(b,456))+op_count_UggxBX659n(op_GMN7JP6WpN(op_YC3tgrnOyr(a,a),op_FonBHBYJbU(b)),op_gSr4c7pPrV(op_GMyVS5K48T(b,456)))
    return count


a↜⇎⇭b = { (((b⇛a)≚⊃≕(a↹⊜a))⋘((514⋞b)≽⊫)) }

def op_HZSpWngSsm(a, b):
    return op_2M7SKlOzyM(op_Bmrmz2XGnR(op_S3tN1ZzpSt(b,a),op_9bazX3JMtO(a,a)),op_H0pizIJMoW(op_V4yb4KDoeF(514,b)))

def op_count_HZSpWngSsm(a, b):
    count = op_count_S3tN1ZzpSt(b,a)+op_count_9bazX3JMtO(a,a)+op_count_Bmrmz2XGnR(op_S3tN1ZzpSt(b,a),op_9bazX3JMtO(a,a))+op_count_V4yb4KDoeF(514,b)+op_count_H0pizIJMoW(op_V4yb4KDoeF(514,b))+op_count_2M7SKlOzyM(op_Bmrmz2XGnR(op_S3tN1ZzpSt(b,a),op_9bazX3JMtO(a,a)),op_H0pizIJMoW(op_V4yb4KDoeF(514,b)))
    return count


a⇮b = { (((b⪎⩰)∅(⊈a))↪∷((b≣a)∄(b⊉≛↸a))) , if (⨩∲⋌a)>=163 ; (((b⨊⨠)⩚⊴⇥(↡52))⪖⪡((∋∴b)∘⨩)) , else }

def op_oqoWAMqwIq(a, b):
    if op_aSik1wnThz(a) >= 163:
        return op_Api82iH42a(op_giaUb8UVhq(op_2ufhKmSs5H(b),op_RHru8klgy8(a)),op_tnyRA5sazQ(op_ObEyaaML9x(b,a),op_DZ8iAZOCBD(b,a)))
    else:
        return op_7PjNe5qSIJ(op_NTOWxs364D(op_qU6oQAhJaQ(b),op_MXaNJeIAZ3(52)),op_aHKFHkCgn9(op_nouZ5SZjt1(b)))

def op_count_oqoWAMqwIq(a, b):
    if op_aSik1wnThz(a) >= 163:
        count = op_count_2ufhKmSs5H(b)+op_count_RHru8klgy8(a)+op_count_giaUb8UVhq(op_2ufhKmSs5H(b),op_RHru8klgy8(a))+op_count_ObEyaaML9x(b,a)+op_count_DZ8iAZOCBD(b,a)+op_count_tnyRA5sazQ(op_ObEyaaML9x(b,a),op_DZ8iAZOCBD(b,a))+op_count_Api82iH42a(op_giaUb8UVhq(op_2ufhKmSs5H(b),op_RHru8klgy8(a)),op_tnyRA5sazQ(op_ObEyaaML9x(b,a),op_DZ8iAZOCBD(b,a)))+op_count_aSik1wnThz(a)
    else:
        count = op_count_qU6oQAhJaQ(b)+op_count_MXaNJeIAZ3(52)+op_count_NTOWxs364D(op_qU6oQAhJaQ(b),op_MXaNJeIAZ3(52))+op_count_nouZ5SZjt1(b)+op_count_aHKFHkCgn9(op_nouZ5SZjt1(b))+op_count_7PjNe5qSIJ(op_NTOWxs364D(op_qU6oQAhJaQ(b),op_MXaNJeIAZ3(52)),op_aHKFHkCgn9(op_nouZ5SZjt1(b)))
    return count


a⫵⊚ = { (⫟a) , if (⋷⊟a)<79 ; (a≠≀a) , else }

def op_HtJmKDF7Sw(a):
    if op_2fAMLLeFHb(a) < 79:
        return op_z4E1FaHLuy(a)
    else:
        return op_IwW236VD4Y(a,a)

def op_count_HtJmKDF7Sw(a):
    if op_2fAMLLeFHb(a) < 79:
        count = op_count_z4E1FaHLuy(a)+op_count_2fAMLLeFHb(a)
    else:
        count = op_count_IwW236VD4Y(a,a)
    return count


a⋨⪐b = { ((b⫩⊇)⫃⨇(∛⊵a)) , if b<585 ; ((b⊭6)⨜⨶(a⩘⋿a)) , else }

def op_LfXWo2mNZ0(a, b):
    if b < 585:
        return op_09Ly4LVMIf(op_BjRHVeLaeN(b),op_jfYOP67v6Y(a))
    else:
        return op_HiPekx5b7W(op_4JGOJzXMq1(b,6),op_64EQ39e0fC(a,a))

def op_count_LfXWo2mNZ0(a, b):
    if b < 585:
        count = op_count_BjRHVeLaeN(b)+op_count_jfYOP67v6Y(a)+op_count_09Ly4LVMIf(op_BjRHVeLaeN(b),op_jfYOP67v6Y(a))
    else:
        count = op_count_4JGOJzXMq1(b,6)+op_count_64EQ39e0fC(a,a)+op_count_HiPekx5b7W(op_4JGOJzXMq1(b,6),op_64EQ39e0fC(a,a))
    return count


def op_LJUzuYQJSf(a, b):
    return op_JgXZM7XvWE(op_18saOjeKKm(289),op_IxJHfR5psi(b,a))

def op_count_LJUzuYQJSf(a, b):
    count = op_count_18saOjeKKm(289)+op_count_IxJHfR5psi(b,a)+op_count_JgXZM7XvWE(op_18saOjeKKm(289),op_IxJHfR5psi(b,a))
    return count


a⩴⨨⊦ = { (a⩆≶⊌) , if (a⊇≀≁)==459 and a<318 ; (a≦↸29) , else }

def op_flgV2EoW83(a):
    if op_AfoL3wC8aT(a) == 459 and a < 318:
        return op_PZaICrJanm(a)
    else:
        return op_RygbFNSyEJ(a,29)

def op_count_flgV2EoW83(a):
    if op_AfoL3wC8aT(a) == 459 and a < 318:
        count = op_count_PZaICrJanm(a)+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_RygbFNSyEJ(a,29)
    return count


def op_s0xSQ81QCO(a):
    return op_L05ObWFQCd(op_Qaz2MhZaG5(op_Q2SPaKwpPJ(515,a),141),op_MKzNxCV7Yo(op_GMyVS5K48T(192,a)))

def op_count_s0xSQ81QCO(a):
    count = op_count_Q2SPaKwpPJ(515,a)+op_count_Qaz2MhZaG5(op_Q2SPaKwpPJ(515,a),141)+op_count_GMyVS5K48T(192,a)+op_count_MKzNxCV7Yo(op_GMyVS5K48T(192,a))+op_count_L05ObWFQCd(op_Qaz2MhZaG5(op_Q2SPaKwpPJ(515,a),141),op_MKzNxCV7Yo(op_GMyVS5K48T(192,a)))
    return count


def op_PSIoKPypbr(a):
    return op_0bdkhPtsnY(op_z2JHNkvbdm(a,a))

def op_count_PSIoKPypbr(a):
    count = op_count_z2JHNkvbdm(a,a)+op_count_0bdkhPtsnY(op_z2JHNkvbdm(a,a))
    return count


def op_rBWSZ6pYZD(a, b):
    if op_12rbrZMWeM(b,956) >= 264:
        return op_Ph9nP6C5qx(b,64)
    else:
        return op_7PjNe5qSIJ(op_9FxExcQeMw(op_SHWCOp9I4E(a),op_23Mk6UjR3U(a,325)),op_UpkSd4zESC(op_bPywburJMS(a,146),op_UpkSd4zESC(b,a)))

def op_count_rBWSZ6pYZD(a, b):
    if op_12rbrZMWeM(b,956) >= 264:
        count = op_count_Ph9nP6C5qx(b,64)+op_count_12rbrZMWeM(b,956)
    else:
        count = op_count_SHWCOp9I4E(a)+op_count_23Mk6UjR3U(a,325)+op_count_9FxExcQeMw(op_SHWCOp9I4E(a),op_23Mk6UjR3U(a,325))+op_count_bPywburJMS(a,146)+op_count_UpkSd4zESC(b,a)+op_count_UpkSd4zESC(op_bPywburJMS(a,146),op_UpkSd4zESC(b,a))+op_count_7PjNe5qSIJ(op_9FxExcQeMw(op_SHWCOp9I4E(a),op_23Mk6UjR3U(a,325)),op_UpkSd4zESC(op_bPywburJMS(a,146),op_UpkSd4zESC(b,a)))
    return count


a⫗↹ = { (((a⋅⇍78)⋥≓≎(a⫼⨠a))+⪬∐((a≚⊃≕a)⩣⊵⩗(a⊒a))) , if (a⇐≅)>=836 ; a , else }

def op_03qrXkZ0z6(a):
    if op_wEfv7U73WA(a) >= 836:
        return op_2GS7woTJqF(op_Qy55tPpLXF(op_AdZkA7nFnk(a,78),op_KYL1uVeVpb(a,a)),op_wsXFuL0hC6(op_Bmrmz2XGnR(a,a),op_rPNtK4BLRO(a,a)))
    else:
        return a

def op_count_03qrXkZ0z6(a):
    if op_wEfv7U73WA(a) >= 836:
        count = op_count_AdZkA7nFnk(a,78)+op_count_KYL1uVeVpb(a,a)+op_count_Qy55tPpLXF(op_AdZkA7nFnk(a,78),op_KYL1uVeVpb(a,a))+op_count_Bmrmz2XGnR(a,a)+op_count_rPNtK4BLRO(a,a)+op_count_wsXFuL0hC6(op_Bmrmz2XGnR(a,a),op_rPNtK4BLRO(a,a))+op_count_2GS7woTJqF(op_Qy55tPpLXF(op_AdZkA7nFnk(a,78),op_KYL1uVeVpb(a,a)),op_wsXFuL0hC6(op_Bmrmz2XGnR(a,a),op_rPNtK4BLRO(a,a)))+op_count_wEfv7U73WA(a)
    else:
        count = 1
    return count


a⩞⩉≳b = { (⇍a) , if (b⊎←↗)>136 ; (b⪐-64) , else }

def op_yHt80FcK1y(a, b):
    if op_dwb5p0fa6d(b) > 136:
        return op_H9jWZL1q0V(a)
    else:
        return op_d8xe6WWVfM(b,64)

def op_count_yHt80FcK1y(a, b):
    if op_dwb5p0fa6d(b) > 136:
        count = op_count_H9jWZL1q0V(a)+op_count_dwb5p0fa6d(b)
    else:
        count = op_count_d8xe6WWVfM(b,64)
    return count


def op_Gv4EIGo3ux(a):
    return op_1aApVXNlOP(op_nREPSIbpBE(a,a),op_5JYyxRJd4f(a))

def op_count_Gv4EIGo3ux(a):
    count = op_count_nREPSIbpBE(a,a)+op_count_5JYyxRJd4f(a)+op_count_1aApVXNlOP(op_nREPSIbpBE(a,a),op_5JYyxRJd4f(a))
    return count


a⫇⩮∙ = { (((a⋳/a)∽(⋗⩬⋾a))⫶(a⨐(625∲⫓a))) , if (↥≼⋛a)<323 ; (((∦a)⨔⇊(⊲⪭a))⪭a) , else }

def op_FusMwf9CEL(a):
    if op_x5lMkHmzsq(a) < 323:
        return op_BAIXFdYaz3(op_y4ImoPnbV5(op_m612RDITqL(a,a),op_DpFCA1CohY(a)),op_Noe24qw2ks(a,op_i8ToyICDmI(625,a)))
    else:
        return op_j9kHMeSvPp(op_JclMnS0uGI(op_ew17WAA8t6(a),op_k7HXdKtiEU(a)),a)

def op_count_FusMwf9CEL(a):
    if op_x5lMkHmzsq(a) < 323:
        count = op_count_m612RDITqL(a,a)+op_count_DpFCA1CohY(a)+op_count_y4ImoPnbV5(op_m612RDITqL(a,a),op_DpFCA1CohY(a))+op_count_i8ToyICDmI(625,a)+op_count_Noe24qw2ks(a,op_i8ToyICDmI(625,a))+op_count_BAIXFdYaz3(op_y4ImoPnbV5(op_m612RDITqL(a,a),op_DpFCA1CohY(a)),op_Noe24qw2ks(a,op_i8ToyICDmI(625,a)))+op_count_x5lMkHmzsq(a)
    else:
        count = op_count_ew17WAA8t6(a)+op_count_k7HXdKtiEU(a)+op_count_JclMnS0uGI(op_ew17WAA8t6(a),op_k7HXdKtiEU(a))+op_count_j9kHMeSvPp(op_JclMnS0uGI(op_ew17WAA8t6(a),op_k7HXdKtiEU(a)),a)
    return count


a⪳∱⋚ = { ((⫹(a⊝⪿⪼a))⊨((a⨻⪊⨷a)⩚⊴⇥(a⊵a))) }

def op_Utzb0HjIke(a):
    return op_vg4gO5BX6G(op_LmY23Q1aIi(op_3Oe9XWJUTD(a,a)),op_NTOWxs364D(op_Pkwamo1tM2(a,a),op_eaFBhJ0Uku(a,a)))

def op_count_Utzb0HjIke(a):
    count = op_count_3Oe9XWJUTD(a,a)+op_count_LmY23Q1aIi(op_3Oe9XWJUTD(a,a))+op_count_Pkwamo1tM2(a,a)+op_count_eaFBhJ0Uku(a,a)+op_count_NTOWxs364D(op_Pkwamo1tM2(a,a),op_eaFBhJ0Uku(a,a))+op_count_vg4gO5BX6G(op_LmY23Q1aIi(op_3Oe9XWJUTD(a,a)),op_NTOWxs364D(op_Pkwamo1tM2(a,a),op_eaFBhJ0Uku(a,a)))
    return count


a⊶⊞b = { ((⪷∈↠(a∊⊞≈a))⪚⨁⋖((b⨜⨶675)↼⊘⨖(↸⊣b))) , if (a⪊≅)<219 ; (((b+a)⫸⇳(b⩉⊫⨁))⊔((202-∠b)⪱⇝(b⇼⇔∾a))) , else }

def op_vqL3z2Fhus(a, b):
    if op_bjFbhXSADs(a) < 219:
        return op_xSk1F0pZbF(op_Kn0TacbtGK(op_keuJNkrrbj(a,a)),op_bPywburJMS(op_HiPekx5b7W(b,675),op_wztAlM01eG(b)))
    else:
        return op_E4l6HwMY31(op_gx7XJ7hdpj(op_W4YGzv6Whe(b,a),op_7qqUquhhSb(b)),op_OTRTVPweYV(op_s0IfDFCCuZ(202,b),op_tifHPKVTfV(b,a)))

def op_count_vqL3z2Fhus(a, b):
    if op_bjFbhXSADs(a) < 219:
        count = op_count_keuJNkrrbj(a,a)+op_count_Kn0TacbtGK(op_keuJNkrrbj(a,a))+op_count_HiPekx5b7W(b,675)+op_count_wztAlM01eG(b)+op_count_bPywburJMS(op_HiPekx5b7W(b,675),op_wztAlM01eG(b))+op_count_xSk1F0pZbF(op_Kn0TacbtGK(op_keuJNkrrbj(a,a)),op_bPywburJMS(op_HiPekx5b7W(b,675),op_wztAlM01eG(b)))+op_count_bjFbhXSADs(a)
    else:
        count = op_count_W4YGzv6Whe(b,a)+op_count_7qqUquhhSb(b)+op_count_gx7XJ7hdpj(op_W4YGzv6Whe(b,a),op_7qqUquhhSb(b))+op_count_s0IfDFCCuZ(202,b)+op_count_tifHPKVTfV(b,a)+op_count_OTRTVPweYV(op_s0IfDFCCuZ(202,b),op_tifHPKVTfV(b,a))+op_count_E4l6HwMY31(op_gx7XJ7hdpj(op_W4YGzv6Whe(b,a),op_7qqUquhhSb(b)),op_OTRTVPweYV(op_s0IfDFCCuZ(202,b),op_tifHPKVTfV(b,a)))
    return count


⫃≈a = { ((a∠⫱a)→⨶⪴(⊫∐⫩a)) , if a<=467 ; ((a≶a)⫚↹⊑(a⪭a)) , else }

def op_fGDu59EtI5(a):
    if a <= 467:
        return op_bF6eod5Gvf(op_QvoQhV0rrE(a,a),op_gSr4c7pPrV(a))
    else:
        return op_dfKe02y8D2(op_Q2SPaKwpPJ(a,a),op_j9kHMeSvPp(a,a))

def op_count_fGDu59EtI5(a):
    if a <= 467:
        count = op_count_QvoQhV0rrE(a,a)+op_count_gSr4c7pPrV(a)+op_count_bF6eod5Gvf(op_QvoQhV0rrE(a,a),op_gSr4c7pPrV(a))
    else:
        count = op_count_Q2SPaKwpPJ(a,a)+op_count_j9kHMeSvPp(a,a)+op_count_dfKe02y8D2(op_Q2SPaKwpPJ(a,a),op_j9kHMeSvPp(a,a))
    return count


a∰⫋↗ = { (a⊉≛↸((a⫸⇳a)⩌(a⨰↻⪇a))) , if a<6 ; ((⩕↛(a↹⊜a))⇟⨁⪰) , else }

def op_rOM0xNeW5h(a):
    if a < 6:
        return op_DZ8iAZOCBD(a,op_UoVew8f2p2(op_gx7XJ7hdpj(a,a),op_nbuSfrB4hB(a,a)))
    else:
        return op_BX1lVwlMe0(op_3EhVUz7Ug9(op_9bazX3JMtO(a,a)))

def op_count_rOM0xNeW5h(a):
    if a < 6:
        count = op_count_gx7XJ7hdpj(a,a)+op_count_nbuSfrB4hB(a,a)+op_count_UoVew8f2p2(op_gx7XJ7hdpj(a,a),op_nbuSfrB4hB(a,a))+op_count_DZ8iAZOCBD(a,op_UoVew8f2p2(op_gx7XJ7hdpj(a,a),op_nbuSfrB4hB(a,a)))
    else:
        count = op_count_9bazX3JMtO(a,a)+op_count_3EhVUz7Ug9(op_9bazX3JMtO(a,a))+op_count_BX1lVwlMe0(op_3EhVUz7Ug9(op_9bazX3JMtO(a,a)))
    return count


def op_2Nzg4qngIR(a):
    return op_OhqpJ7Tl0K(a,70)

def op_count_2Nzg4qngIR(a):
    count = op_count_OhqpJ7Tl0K(a,70)
    return count


def op_W8RpN6zaa9(a):
    return op_1eCjFl0mb9(a,a)

def op_count_W8RpN6zaa9(a):
    count = op_count_1eCjFl0mb9(a,a)
    return count


def op_mw2Z75faEJ(a):
    return op_lP51NIPzK8(op_rwMffNUYCm(a,a))

def op_count_mw2Z75faEJ(a):
    count = op_count_rwMffNUYCm(a,a)+op_count_lP51NIPzK8(op_rwMffNUYCm(a,a))
    return count


def op_zOGJqHAwtZ(a):
    return op_IwW236VD4Y(op_h1U3ZT2Qlc(op_Loh9y4A90B(353),op_10Y1YzcX1i(177,a)),op_aULemKRNJ1(16,op_2DhqeOovny(a,a)))

def op_count_zOGJqHAwtZ(a):
    count = op_count_Loh9y4A90B(353)+op_count_10Y1YzcX1i(177,a)+op_count_h1U3ZT2Qlc(op_Loh9y4A90B(353),op_10Y1YzcX1i(177,a))+op_count_2DhqeOovny(a,a)+op_count_aULemKRNJ1(16,op_2DhqeOovny(a,a))+op_count_IwW236VD4Y(op_h1U3ZT2Qlc(op_Loh9y4A90B(353),op_10Y1YzcX1i(177,a)),op_aULemKRNJ1(16,op_2DhqeOovny(a,a)))
    return count


def op_69UCVIrDyk(a):
    return op_ua2fiIHkOT(op_Bmrmz2XGnR(a,272))

def op_count_69UCVIrDyk(a):
    count = op_count_Bmrmz2XGnR(a,272)+op_count_ua2fiIHkOT(op_Bmrmz2XGnR(a,272))
    return count


def op_KjJU3JnblM(a):
    return op_h92wMvzauj(435,a)

def op_count_KjJU3JnblM(a):
    count = op_count_h92wMvzauj(435,a)
    return count


def op_MjAvgD1kgE(a):
    return op_q2tj3gAE7H(op_PoHhknlbAi(4,a),op_d5CHQX7ZoG(a,a))

def op_count_MjAvgD1kgE(a):
    count = op_count_PoHhknlbAi(4,a)+op_count_d5CHQX7ZoG(a,a)+op_count_q2tj3gAE7H(op_PoHhknlbAi(4,a),op_d5CHQX7ZoG(a,a))
    return count


def op_IhxHnaDIDi(a):
    return op_n178FrgV5J(op_NvEvKO2R8S(425,a),op_Z5CJsN7DuW(a))

def op_count_IhxHnaDIDi(a):
    count = op_count_NvEvKO2R8S(425,a)+op_count_Z5CJsN7DuW(a)+op_count_n178FrgV5J(op_NvEvKO2R8S(425,a),op_Z5CJsN7DuW(a))
    return count


def op_Z8kU1u1TkF(a, b):
    return op_uWAJUKEvyW(op_oW1cUEY5Sq(a,b),op_sQ9a9XOMpm(b,a))

def op_count_Z8kU1u1TkF(a, b):
    count = op_count_oW1cUEY5Sq(a,b)+op_count_sQ9a9XOMpm(b,a)+op_count_uWAJUKEvyW(op_oW1cUEY5Sq(a,b),op_sQ9a9XOMpm(b,a))
    return count


def op_BFrWmtEzk6(a, b):
    return op_tUOKwCw09Q(op_aN9a90urxU(a),op_2pBQXqWGeP(b,b))

def op_count_BFrWmtEzk6(a, b):
    count = op_count_aN9a90urxU(a)+op_count_2pBQXqWGeP(b,b)+op_count_tUOKwCw09Q(op_aN9a90urxU(a),op_2pBQXqWGeP(b,b))
    return count


def op_MD3e9dKaU1(a):
    return op_0pE9j4xUU7(op_w51yDgGhW9(a),op_uU3XJfDBdq(a,a))

def op_count_MD3e9dKaU1(a):
    count = op_count_w51yDgGhW9(a)+op_count_uU3XJfDBdq(a,a)+op_count_0pE9j4xUU7(op_w51yDgGhW9(a),op_uU3XJfDBdq(a,a))
    return count


def op_FmWDvLa1PP(a):
    return op_j0T3bE6LZn(op_03sUfWo75k(a),op_1m18G2N8t2(a,a))

def op_count_FmWDvLa1PP(a):
    count = op_count_03sUfWo75k(a)+op_count_1m18G2N8t2(a,a)+op_count_j0T3bE6LZn(op_03sUfWo75k(a),op_1m18G2N8t2(a,a))
    return count


def op_3RepPf7rcT(a, b):
    return op_j0FS1QXHo5(op_rTUPPhO5VL(b,b),op_FAUHmXADzM(a))

def op_count_3RepPf7rcT(a, b):
    count = op_count_rTUPPhO5VL(b,b)+op_count_FAUHmXADzM(a)+op_count_j0FS1QXHo5(op_rTUPPhO5VL(b,b),op_FAUHmXADzM(a))
    return count


a↦⪠b = { (((b∺⊴⊌b)↚⋳⨕(b*⇥≲))⇙⫲((39⇵b)⋗(a⇉⫅⇙518))) }

def op_gAjHR4d6u7(a, b):
    return op_gTCkXbls8X(op_7Z9orq1BI6(op_AxBbORVHmI(b,b),op_DEqk5vDXLq(b)),op_hy5IL4GG6G(op_kVSeQakJeK(39,b),op_SGfBAFE26B(a,518)))

def op_count_gAjHR4d6u7(a, b):
    count = op_count_AxBbORVHmI(b,b)+op_count_DEqk5vDXLq(b)+op_count_7Z9orq1BI6(op_AxBbORVHmI(b,b),op_DEqk5vDXLq(b))+op_count_kVSeQakJeK(39,b)+op_count_SGfBAFE26B(a,518)+op_count_hy5IL4GG6G(op_kVSeQakJeK(39,b),op_SGfBAFE26B(a,518))+op_count_gTCkXbls8X(op_7Z9orq1BI6(op_AxBbORVHmI(b,b),op_DEqk5vDXLq(b)),op_hy5IL4GG6G(op_kVSeQakJeK(39,b),op_SGfBAFE26B(a,518)))
    return count


def op_CODSA30q8k(a, b):
    return op_Toewqs8END(op_bR7FmX73P0(a,b),op_zVYPLywUTj(a))

def op_count_CODSA30q8k(a, b):
    count = op_count_bR7FmX73P0(a,b)+op_count_zVYPLywUTj(a)+op_count_Toewqs8END(op_bR7FmX73P0(a,b),op_zVYPLywUTj(a))
    return count


a⇕≗∫ = { (((a⋯↤a)⫗⊒⇾(a⫰⋱a))⫢(⇣(a⇒⊞⨞a))) }

def op_2HjVX75Eds(a):
    return op_Rc7o8AHK9u(op_hiBDRd40bf(op_AqWwJ29PGN(a,a),op_6o9Blt3TJ6(a,a)),op_jrW1E7Ncie(op_3TQ6NmgUL8(a,a)))

def op_count_2HjVX75Eds(a):
    count = op_count_AqWwJ29PGN(a,a)+op_count_6o9Blt3TJ6(a,a)+op_count_hiBDRd40bf(op_AqWwJ29PGN(a,a),op_6o9Blt3TJ6(a,a))+op_count_3TQ6NmgUL8(a,a)+op_count_jrW1E7Ncie(op_3TQ6NmgUL8(a,a))+op_count_Rc7o8AHK9u(op_hiBDRd40bf(op_AqWwJ29PGN(a,a),op_6o9Blt3TJ6(a,a)),op_jrW1E7Ncie(op_3TQ6NmgUL8(a,a)))
    return count


def op_Smufmxn2v0(a):
    return op_B7FQcQLYg3(op_ydyDtesUNX(a),op_e3R0INlQmt(a,663))

def op_count_Smufmxn2v0(a):
    count = op_count_ydyDtesUNX(a)+op_count_e3R0INlQmt(a,663)+op_count_B7FQcQLYg3(op_ydyDtesUNX(a),op_e3R0INlQmt(a,663))
    return count


a∁⫥⋩ = { (((a≬⇓46)⨔(⩱⇧≜a))⇂≾⫗((a⨤a)⇉(a⇇⨋⩦a))) }

def op_QpVg8eKHkF(a):
    return op_aBQ6xLxuTc(op_TlYxY93Pfd(op_jWTQ2TZYIH(a,46),op_EzIxTvi3nW(a)),op_lJ0NnniDH7(op_6Dk38mmJ69(a,a),op_7LDZuUjSGl(a,a)))

def op_count_QpVg8eKHkF(a):
    count = op_count_jWTQ2TZYIH(a,46)+op_count_EzIxTvi3nW(a)+op_count_TlYxY93Pfd(op_jWTQ2TZYIH(a,46),op_EzIxTvi3nW(a))+op_count_6Dk38mmJ69(a,a)+op_count_7LDZuUjSGl(a,a)+op_count_lJ0NnniDH7(op_6Dk38mmJ69(a,a),op_7LDZuUjSGl(a,a))+op_count_aBQ6xLxuTc(op_TlYxY93Pfd(op_jWTQ2TZYIH(a,46),op_EzIxTvi3nW(a)),op_lJ0NnniDH7(op_6Dk38mmJ69(a,a),op_7LDZuUjSGl(a,a)))
    return count


def op_6RHt3CCRg6(a, b):
    return op_XVG3v5SdcH(op_5GqDbVmqXU(a),op_F5wFo2T9P3(b,b))

def op_count_6RHt3CCRg6(a, b):
    count = op_count_5GqDbVmqXU(a)+op_count_F5wFo2T9P3(b,b)+op_count_XVG3v5SdcH(op_5GqDbVmqXU(a),op_F5wFo2T9P3(b,b))
    return count


def op_W08v99PH6M(a):
    return op_2u38eHdNB5(op_ybwXbqd0P4(a),op_uMTzgDCyJv(a))

def op_count_W08v99PH6M(a):
    count = op_count_ybwXbqd0P4(a)+op_count_uMTzgDCyJv(a)+op_count_2u38eHdNB5(op_ybwXbqd0P4(a),op_uMTzgDCyJv(a))
    return count


def op_Rj9i6ilAQV(a, b):
    return op_c9UHqdLiX1(op_TyhCdZMmeC(op_Lctt7tVaRL(a,a),op_Gl4WN4Uwdx(b,26)))

def op_count_Rj9i6ilAQV(a, b):
    count = op_count_Lctt7tVaRL(a,a)+op_count_Gl4WN4Uwdx(b,26)+op_count_TyhCdZMmeC(op_Lctt7tVaRL(a,a),op_Gl4WN4Uwdx(b,26))+op_count_c9UHqdLiX1(op_TyhCdZMmeC(op_Lctt7tVaRL(a,a),op_Gl4WN4Uwdx(b,26)))
    return count


def op_f0EEqlM9KS(a, b):
    return op_LsSU5mH3bX(op_Y5cEcQhyKu(a,b),op_lP51NIPzK8(435))

def op_count_f0EEqlM9KS(a, b):
    count = op_count_Y5cEcQhyKu(a,b)+op_count_lP51NIPzK8(435)+op_count_LsSU5mH3bX(op_Y5cEcQhyKu(a,b),op_lP51NIPzK8(435))
    return count


a⪑⫞↭b = { ((b⨱↷⋐(a↾⪧⫖b))⨝↳((b⨮)⋕⪉⪜(a≰⪫⇖))) }

def op_VsxaxIN4o0(a, b):
    return op_tqZXx6qj06(op_N4xFjQxcx5(b,op_gcnKSmWBRw(a,b)),op_z6LnFrNh4i(op_jPzvRlArHT(b),op_ZhlsJiXY6w(a)))

def op_count_VsxaxIN4o0(a, b):
    count = op_count_gcnKSmWBRw(a,b)+op_count_N4xFjQxcx5(b,op_gcnKSmWBRw(a,b))+op_count_jPzvRlArHT(b)+op_count_ZhlsJiXY6w(a)+op_count_z6LnFrNh4i(op_jPzvRlArHT(b),op_ZhlsJiXY6w(a))+op_count_tqZXx6qj06(op_N4xFjQxcx5(b,op_gcnKSmWBRw(a,b)),op_z6LnFrNh4i(op_jPzvRlArHT(b),op_ZhlsJiXY6w(a)))
    return count


def op_0m7WmqJHie(a, b):
    return op_sI3WE0f3wC(op_GfE2GQMWLl(104),op_BUZMbiqx9t(b,a))

def op_count_0m7WmqJHie(a, b):
    count = op_count_GfE2GQMWLl(104)+op_count_BUZMbiqx9t(b,a)+op_count_sI3WE0f3wC(op_GfE2GQMWLl(104),op_BUZMbiqx9t(b,a))
    return count


def op_e3TqvkjN32(a, b):
    return op_fnDOYsdde8(op_ReAzrgtvfu(op_UkFG6YBLyt(b,a),op_t0cKpDWDXO(a)))

def op_count_e3TqvkjN32(a, b):
    count = op_count_UkFG6YBLyt(b,a)+op_count_t0cKpDWDXO(a)+op_count_ReAzrgtvfu(op_UkFG6YBLyt(b,a),op_t0cKpDWDXO(a))+op_count_fnDOYsdde8(op_ReAzrgtvfu(op_UkFG6YBLyt(b,a),op_t0cKpDWDXO(a)))
    return count


def op_ZIgapHiLMw(a, b):
    return op_cqNFWGnuZT(op_xf6eqZIrT0(op_leNEk7drxJ(a),op_B0ezUFU1kP(b)))

def op_count_ZIgapHiLMw(a, b):
    count = op_count_leNEk7drxJ(a)+op_count_B0ezUFU1kP(b)+op_count_xf6eqZIrT0(op_leNEk7drxJ(a),op_B0ezUFU1kP(b))+op_count_cqNFWGnuZT(op_xf6eqZIrT0(op_leNEk7drxJ(a),op_B0ezUFU1kP(b)))
    return count


a⫚⪎⋟ = { (((⊤⊝a)⨇⩊↔(↥a))⪄(⪕≙(a⫌⋠⫢221))) }

def op_1CSirAG2uR(a):
    return op_SUmda5xLS4(op_RR9T5AuQ1T(op_rXAclfmB4M(a),op_A8NUZmVepG(a)),op_eWHr1gHY9C(op_mf9eRyN6Nh(a,221)))

def op_count_1CSirAG2uR(a):
    count = op_count_rXAclfmB4M(a)+op_count_A8NUZmVepG(a)+op_count_RR9T5AuQ1T(op_rXAclfmB4M(a),op_A8NUZmVepG(a))+op_count_mf9eRyN6Nh(a,221)+op_count_eWHr1gHY9C(op_mf9eRyN6Nh(a,221))+op_count_SUmda5xLS4(op_RR9T5AuQ1T(op_rXAclfmB4M(a),op_A8NUZmVepG(a)),op_eWHr1gHY9C(op_mf9eRyN6Nh(a,221)))
    return count


def op_MjUa6RGavL(a):
    return op_iJDhyCwqus(op_t8gj7n24qd(op_HK0tfVPux8(105,a)),op_Yan4YobxxY(op_KbjG8mgYpV(a,a),op_IHiuu7CTbC(a)))

def op_count_MjUa6RGavL(a):
    count = op_count_HK0tfVPux8(105,a)+op_count_t8gj7n24qd(op_HK0tfVPux8(105,a))+op_count_KbjG8mgYpV(a,a)+op_count_IHiuu7CTbC(a)+op_count_Yan4YobxxY(op_KbjG8mgYpV(a,a),op_IHiuu7CTbC(a))+op_count_iJDhyCwqus(op_t8gj7n24qd(op_HK0tfVPux8(105,a)),op_Yan4YobxxY(op_KbjG8mgYpV(a,a),op_IHiuu7CTbC(a)))
    return count


def op_cA8pkMYiOz(a, b):
    return op_o5ySIend9F(op_17vTJqz9Ht(b),op_h9SYvkAopU(a,a))

def op_count_cA8pkMYiOz(a, b):
    count = op_count_17vTJqz9Ht(b)+op_count_h9SYvkAopU(a,a)+op_count_o5ySIend9F(op_17vTJqz9Ht(b),op_h9SYvkAopU(a,a))
    return count


def op_R3msyelDgE(a):
    return op_IU5bnLfiEv(op_9HGD9fv1Jr(a,a))

def op_count_R3msyelDgE(a):
    count = op_count_9HGD9fv1Jr(a,a)+op_count_IU5bnLfiEv(op_9HGD9fv1Jr(a,a))
    return count


def op_3BAGOm9Pcn(a):
    return op_E4l6HwMY31(op_R3vAdrE3IH(op_eLxqMNBOBk(a)),op_e1ybzncUwg(op_s0IfDFCCuZ(a,a)))

def op_count_3BAGOm9Pcn(a):
    count = op_count_eLxqMNBOBk(a)+op_count_R3vAdrE3IH(op_eLxqMNBOBk(a))+op_count_s0IfDFCCuZ(a,a)+op_count_e1ybzncUwg(op_s0IfDFCCuZ(a,a))+op_count_E4l6HwMY31(op_R3vAdrE3IH(op_eLxqMNBOBk(a)),op_e1ybzncUwg(op_s0IfDFCCuZ(a,a)))
    return count


def op_0jXmjt3f4a(a):
    return op_OkftowgG4v(op_GMN7JP6WpN(op_9QNY6wq3gX(a),op_xtBOMFLMmK(a,a)),op_jXDDweKMrz(op_U1gM3zMnFZ(a)))

def op_count_0jXmjt3f4a(a):
    count = op_count_9QNY6wq3gX(a)+op_count_xtBOMFLMmK(a,a)+op_count_GMN7JP6WpN(op_9QNY6wq3gX(a),op_xtBOMFLMmK(a,a))+op_count_U1gM3zMnFZ(a)+op_count_jXDDweKMrz(op_U1gM3zMnFZ(a))+op_count_OkftowgG4v(op_GMN7JP6WpN(op_9QNY6wq3gX(a),op_xtBOMFLMmK(a,a)),op_jXDDweKMrz(op_U1gM3zMnFZ(a)))
    return count


def op_xqTOrnYshQ(a):
    return op_zVbKEeMoGt(op_PQWaCfYBWv(a,a))

def op_count_xqTOrnYshQ(a):
    count = op_count_PQWaCfYBWv(a,a)+op_count_zVbKEeMoGt(op_PQWaCfYBWv(a,a))
    return count


def op_2YN3RQf1Sk(a, b):
    return op_owIDl29zEl(op_BXZdiG1zfY(op_W7L2oCKInH(266,15),op_mSR6zonr31(449)),op_MDOrnnnMYl(op_WSRWkT62m6(b,b),op_rJlMWXggw2(334,a)))

def op_count_2YN3RQf1Sk(a, b):
    count = op_count_W7L2oCKInH(266,15)+op_count_mSR6zonr31(449)+op_count_BXZdiG1zfY(op_W7L2oCKInH(266,15),op_mSR6zonr31(449))+op_count_WSRWkT62m6(b,b)+op_count_rJlMWXggw2(334,a)+op_count_MDOrnnnMYl(op_WSRWkT62m6(b,b),op_rJlMWXggw2(334,a))+op_count_owIDl29zEl(op_BXZdiG1zfY(op_W7L2oCKInH(266,15),op_mSR6zonr31(449)),op_MDOrnnnMYl(op_WSRWkT62m6(b,b),op_rJlMWXggw2(334,a)))
    return count


a≲⋵≐b = { (((⊕b)∐⪡(↨⩢⫨a))⊕((a⋒⫆⊙a)⇢∌(79←⩟b))) }

def op_MtQfxjaHiP(a, b):
    return op_jln2xDVLTl(op_F5wFo2T9P3(op_C2eOkFrmjf(b),op_Z5CJsN7DuW(a)),op_10Y1YzcX1i(op_i6kyr1sQ78(a,a),op_Tcl1okrsLo(79,b)))

def op_count_MtQfxjaHiP(a, b):
    count = op_count_C2eOkFrmjf(b)+op_count_Z5CJsN7DuW(a)+op_count_F5wFo2T9P3(op_C2eOkFrmjf(b),op_Z5CJsN7DuW(a))+op_count_i6kyr1sQ78(a,a)+op_count_Tcl1okrsLo(79,b)+op_count_10Y1YzcX1i(op_i6kyr1sQ78(a,a),op_Tcl1okrsLo(79,b))+op_count_jln2xDVLTl(op_F5wFo2T9P3(op_C2eOkFrmjf(b),op_Z5CJsN7DuW(a)),op_10Y1YzcX1i(op_i6kyr1sQ78(a,a),op_Tcl1okrsLo(79,b)))
    return count


def op_yrOfBIrwdE(a):
    return op_ccHmK6PBIn(op_b5mRhv1JNt(op_aN41RXSydB(a,a),op_xRrnTEsQ6j(216,a)))

def op_count_yrOfBIrwdE(a):
    count = op_count_aN41RXSydB(a,a)+op_count_xRrnTEsQ6j(216,a)+op_count_b5mRhv1JNt(op_aN41RXSydB(a,a),op_xRrnTEsQ6j(216,a))+op_count_ccHmK6PBIn(op_b5mRhv1JNt(op_aN41RXSydB(a,a),op_xRrnTEsQ6j(216,a)))
    return count


def op_nxEb2W9nnd(a):
    return op_eWtgzN4EAB(op_0QEWQRhRpH(a,a),op_Kgf5n7vQLW(a,a))

def op_count_nxEb2W9nnd(a):
    count = op_count_0QEWQRhRpH(a,a)+op_count_Kgf5n7vQLW(a,a)+op_count_eWtgzN4EAB(op_0QEWQRhRpH(a,a),op_Kgf5n7vQLW(a,a))
    return count


def op_dJgnthfFiT(a):
    return op_cB5aNBh3WF(op_exzyYvvvzF(op_RJKDfKcFKp(a,a),op_YVB80mNAyD(a,a)))

def op_count_dJgnthfFiT(a):
    count = op_count_RJKDfKcFKp(a,a)+op_count_YVB80mNAyD(a,a)+op_count_exzyYvvvzF(op_RJKDfKcFKp(a,a),op_YVB80mNAyD(a,a))+op_count_cB5aNBh3WF(op_exzyYvvvzF(op_RJKDfKcFKp(a,a),op_YVB80mNAyD(a,a)))
    return count


def op_8Ju4LnUxUv(a):
    return op_diu054m9en(op_DD02tHBmow(op_Un5MXTlDFV(a),a),op_9Y9dmhHwkI(op_58oXLXXGsH(a)))

def op_count_8Ju4LnUxUv(a):
    count = op_count_Un5MXTlDFV(a)+op_count_DD02tHBmow(op_Un5MXTlDFV(a),a)+op_count_58oXLXXGsH(a)+op_count_9Y9dmhHwkI(op_58oXLXXGsH(a))+op_count_diu054m9en(op_DD02tHBmow(op_Un5MXTlDFV(a),a),op_9Y9dmhHwkI(op_58oXLXXGsH(a)))
    return count


def op_fK5yvnCGQ2(a):
    return op_vkpjKywKVM(139,a)

def op_count_fK5yvnCGQ2(a):
    count = op_count_vkpjKywKVM(139,a)
    return count


def op_GpLJ0gTWjy(a):
    return op_X99M06cbEe(op_KoHHRSveB1(a,a))

def op_count_GpLJ0gTWjy(a):
    count = op_count_KoHHRSveB1(a,a)+op_count_X99M06cbEe(op_KoHHRSveB1(a,a))
    return count


def op_FANGsEJwOi(a, b):
    return op_4zmgO5IZPg(op_EiZwwOZ4nb(a,b))

def op_count_FANGsEJwOi(a, b):
    count = op_count_EiZwwOZ4nb(a,b)+op_count_4zmgO5IZPg(op_EiZwwOZ4nb(a,b))
    return count


def op_w1vxEyvOam(a):
    return op_0De0cgdyF4(op_jCPkEVoL5K(425,a))

def op_count_w1vxEyvOam(a):
    count = op_count_jCPkEVoL5K(425,a)+op_count_0De0cgdyF4(op_jCPkEVoL5K(425,a))
    return count


a%⨜⩩b = { (((b⫔⩔⨨127)⪩⊫)⊲((b⪐⪢⇻)⇆(a≞→a))) }

def op_1RHGetuw8g(a, b):
    return op_yMixD7ucMB(op_0cGMrPTqT1(op_pzIYUzZX5D(b,127)),op_S5nS5IR4MP(op_Ip9utVbZ2p(b),op_F5sOeBPF7d(a,a)))

def op_count_1RHGetuw8g(a, b):
    count = op_count_pzIYUzZX5D(b,127)+op_count_0cGMrPTqT1(op_pzIYUzZX5D(b,127))+op_count_Ip9utVbZ2p(b)+op_count_F5sOeBPF7d(a,a)+op_count_S5nS5IR4MP(op_Ip9utVbZ2p(b),op_F5sOeBPF7d(a,a))+op_count_yMixD7ucMB(op_0cGMrPTqT1(op_pzIYUzZX5D(b,127)),op_S5nS5IR4MP(op_Ip9utVbZ2p(b),op_F5sOeBPF7d(a,a)))
    return count


def op_6ILkmSAb4z(a):
    return op_jrW1E7Ncie(op_AF7qkfDlqP(op_V1brnGXOUL(a,a)))

def op_count_6ILkmSAb4z(a):
    count = op_count_V1brnGXOUL(a,a)+op_count_AF7qkfDlqP(op_V1brnGXOUL(a,a))+op_count_jrW1E7Ncie(op_AF7qkfDlqP(op_V1brnGXOUL(a,a)))
    return count


def op_sDoe2e33o4(a):
    return op_x6jq9dVbvD(op_irKjLsMeKy(a,a),op_nEsXyWgiOK(a,a))

def op_count_sDoe2e33o4(a):
    count = op_count_irKjLsMeKy(a,a)+op_count_nEsXyWgiOK(a,a)+op_count_x6jq9dVbvD(op_irKjLsMeKy(a,a),op_nEsXyWgiOK(a,a))
    return count


def op_QzuynGCx6W(a, b):
    return op_pPTxWWVODo(op_d5CHQX7ZoG(a,op_IxJHfR5psi(b,b)),op_cZPC5xccNd(op_AvED76WdY7(a),op_pvbE2flhr7(b,b)))

def op_count_QzuynGCx6W(a, b):
    count = op_count_IxJHfR5psi(b,b)+op_count_d5CHQX7ZoG(a,op_IxJHfR5psi(b,b))+op_count_AvED76WdY7(a)+op_count_pvbE2flhr7(b,b)+op_count_cZPC5xccNd(op_AvED76WdY7(a),op_pvbE2flhr7(b,b))+op_count_pPTxWWVODo(op_d5CHQX7ZoG(a,op_IxJHfR5psi(b,b)),op_cZPC5xccNd(op_AvED76WdY7(a),op_pvbE2flhr7(b,b)))
    return count


def op_TwbHQVTwB2(a):
    return op_J9p31WXma4(op_3FKzo546dw(op_8GoaSTesSg(a,680),op_0NqWd9MObm(355,a)),op_vaH8QgiDVg(a))

def op_count_TwbHQVTwB2(a):
    count = op_count_8GoaSTesSg(a,680)+op_count_0NqWd9MObm(355,a)+op_count_3FKzo546dw(op_8GoaSTesSg(a,680),op_0NqWd9MObm(355,a))+op_count_vaH8QgiDVg(a)+op_count_J9p31WXma4(op_3FKzo546dw(op_8GoaSTesSg(a,680),op_0NqWd9MObm(355,a)),op_vaH8QgiDVg(a))
    return count


def op_aZuMSAMASb(a, b):
    return op_OKKcZfAt5B(op_M2pIAIy88N(b),op_StDAEzlBYm(a,a))

def op_count_aZuMSAMASb(a, b):
    count = op_count_M2pIAIy88N(b)+op_count_StDAEzlBYm(a,a)+op_count_OKKcZfAt5B(op_M2pIAIy88N(b),op_StDAEzlBYm(a,a))
    return count


def op_FfDWFnkQRw(a, b):
    return op_bvqU1ecX5M(op_1v5pUZ2RLP(b,a),op_9xnGDUPbC6(a))

def op_count_FfDWFnkQRw(a, b):
    count = op_count_1v5pUZ2RLP(b,a)+op_count_9xnGDUPbC6(a)+op_count_bvqU1ecX5M(op_1v5pUZ2RLP(b,a),op_9xnGDUPbC6(a))
    return count


def op_XOq3HbtsQF(a):
    return op_L95AwlJzhO(op_zjtvyRDnKl(30,a))

def op_count_XOq3HbtsQF(a):
    count = op_count_zjtvyRDnKl(30,a)+op_count_L95AwlJzhO(op_zjtvyRDnKl(30,a))
    return count


def op_RDh7d16TfR(a, b):
    return op_YEzomLoFTT(b,op_PrqwulTU5K(op_xkySVgzY16(a)))

def op_count_RDh7d16TfR(a, b):
    count = op_count_xkySVgzY16(a)+op_count_PrqwulTU5K(op_xkySVgzY16(a))+op_count_YEzomLoFTT(b,op_PrqwulTU5K(op_xkySVgzY16(a)))
    return count


def op_M2PuSxpPY8(a):
    return op_jBncVCNhdl(op_cHh1gJQ2o6(a,a),op_WnEoYGZB9p(a))

def op_count_M2PuSxpPY8(a):
    count = op_count_cHh1gJQ2o6(a,a)+op_count_WnEoYGZB9p(a)+op_count_jBncVCNhdl(op_cHh1gJQ2o6(a,a),op_WnEoYGZB9p(a))
    return count


def op_oEhejt2brB(a):
    return op_FWWC6DdxcU(op_k4iM1060OG(op_Yan4YobxxY(a,a)),op_9tKT6PmtkH(op_JfoC2uBG3V(a)))

def op_count_oEhejt2brB(a):
    count = op_count_Yan4YobxxY(a,a)+op_count_k4iM1060OG(op_Yan4YobxxY(a,a))+op_count_JfoC2uBG3V(a)+op_count_9tKT6PmtkH(op_JfoC2uBG3V(a))+op_count_FWWC6DdxcU(op_k4iM1060OG(op_Yan4YobxxY(a,a)),op_9tKT6PmtkH(op_JfoC2uBG3V(a)))
    return count


def op_7gIDnqgXHq(a):
    return op_h1pqhWq6T8(op_8FLs4eVsLt(a))

def op_count_7gIDnqgXHq(a):
    count = op_count_8FLs4eVsLt(a)+op_count_h1pqhWq6T8(op_8FLs4eVsLt(a))
    return count


def op_UiMSn6PRcz(a):
    return op_uWAJUKEvyW(a,a)

def op_count_UiMSn6PRcz(a):
    count = op_count_uWAJUKEvyW(a,a)
    return count


a⊻⋺b = { (((b⫥a)⫰⋱(⪨↰b))⫶⩦⫌((b−b)↲⇰(b⊸∇b))) }

def op_YIewCr4DHQ(a, b):
    return op_JhaTKDJgG8(op_6o9Blt3TJ6(op_hF9cg5J1Xb(b,a),op_blQ9vzDKd0(b)),op_PfBB7jGsSd(op_z2z0nki1m2(b,b),op_wpd8nos5YA(b,b)))

def op_count_YIewCr4DHQ(a, b):
    count = op_count_hF9cg5J1Xb(b,a)+op_count_blQ9vzDKd0(b)+op_count_6o9Blt3TJ6(op_hF9cg5J1Xb(b,a),op_blQ9vzDKd0(b))+op_count_z2z0nki1m2(b,b)+op_count_wpd8nos5YA(b,b)+op_count_PfBB7jGsSd(op_z2z0nki1m2(b,b),op_wpd8nos5YA(b,b))+op_count_JhaTKDJgG8(op_6o9Blt3TJ6(op_hF9cg5J1Xb(b,a),op_blQ9vzDKd0(b)),op_PfBB7jGsSd(op_z2z0nki1m2(b,b),op_wpd8nos5YA(b,b)))
    return count


def op_B1iudNz5rI(a):
    return op_K7MnsOaMRl(op_Loh9y4A90B(op_LpaIDEFahL(a)))

def op_count_B1iudNz5rI(a):
    count = op_count_LpaIDEFahL(a)+op_count_Loh9y4A90B(op_LpaIDEFahL(a))+op_count_K7MnsOaMRl(op_Loh9y4A90B(op_LpaIDEFahL(a)))
    return count


a⩡⇣⪫b = { (((b∱⨑b)⇁≍↕(⫶⊄≣b))⋈((⨙⫴⫎a)⫽∀⋝b)) }

def op_F4hYhBNyxh(a, b):
    return op_nDybdB13Ph(op_qmQdYVJtpo(op_GHTZleiggj(b,b),op_wxb3vTeyAj(b)),op_DN0PLaXpeG(op_KRkRyTki02(a),b))

def op_count_F4hYhBNyxh(a, b):
    count = op_count_GHTZleiggj(b,b)+op_count_wxb3vTeyAj(b)+op_count_qmQdYVJtpo(op_GHTZleiggj(b,b),op_wxb3vTeyAj(b))+op_count_KRkRyTki02(a)+op_count_DN0PLaXpeG(op_KRkRyTki02(a),b)+op_count_nDybdB13Ph(op_qmQdYVJtpo(op_GHTZleiggj(b,b),op_wxb3vTeyAj(b)),op_DN0PLaXpeG(op_KRkRyTki02(a),b))
    return count


def op_nBgmWpGUqG(a, b):
    return op_Loh9y4A90B(op_3sJ7IOPOlU(a,b))

def op_count_nBgmWpGUqG(a, b):
    count = op_count_3sJ7IOPOlU(a,b)+op_count_Loh9y4A90B(op_3sJ7IOPOlU(a,b))
    return count


def op_XsP9zM2YWI(a):
    return op_xtCeza3rDf(op_OeanynyRyO(a,a),op_Ln1IrprsTU(a,a))

def op_count_XsP9zM2YWI(a):
    count = op_count_OeanynyRyO(a,a)+op_count_Ln1IrprsTU(a,a)+op_count_xtCeza3rDf(op_OeanynyRyO(a,a),op_Ln1IrprsTU(a,a))
    return count


def op_zCxnRxPC5M(a):
    return op_jGcHlHjguj(op_QDVgd2eftb(op_BAYcl7KEcJ(a,a),op_JkIVKoZPN2(a,387)))

def op_count_zCxnRxPC5M(a):
    count = op_count_BAYcl7KEcJ(a,a)+op_count_JkIVKoZPN2(a,387)+op_count_QDVgd2eftb(op_BAYcl7KEcJ(a,a),op_JkIVKoZPN2(a,387))+op_count_jGcHlHjguj(op_QDVgd2eftb(op_BAYcl7KEcJ(a,a),op_JkIVKoZPN2(a,387)))
    return count


def op_bvbbpKhc8C(a, b):
    return op_PoHhknlbAi(op_V1brnGXOUL(18,a),op_NrWB21ZewL(b,a))

def op_count_bvbbpKhc8C(a, b):
    count = op_count_V1brnGXOUL(18,a)+op_count_NrWB21ZewL(b,a)+op_count_PoHhknlbAi(op_V1brnGXOUL(18,a),op_NrWB21ZewL(b,a))
    return count


a⫛∐⩼b = { (((a⫹⋆55)≃⨎(a⪶⇭⨩a))⨏⋷⊗(⪵⩥∼(b⋊679))) }

def op_uQU0baUFSi(a, b):
    return op_qFQkR9UZt5(op_lQ3fYqgTA2(op_mvkfbmF2ZK(a,55),op_MDOrnnnMYl(a,a)),op_C8AGOwLzL7(op_Dk6V8i6EvU(b,679)))

def op_count_uQU0baUFSi(a, b):
    count = op_count_mvkfbmF2ZK(a,55)+op_count_MDOrnnnMYl(a,a)+op_count_lQ3fYqgTA2(op_mvkfbmF2ZK(a,55),op_MDOrnnnMYl(a,a))+op_count_Dk6V8i6EvU(b,679)+op_count_C8AGOwLzL7(op_Dk6V8i6EvU(b,679))+op_count_qFQkR9UZt5(op_lQ3fYqgTA2(op_mvkfbmF2ZK(a,55),op_MDOrnnnMYl(a,a)),op_C8AGOwLzL7(op_Dk6V8i6EvU(b,679)))
    return count


def op_OWt3uj0ipL(a, b):
    return op_LCjPM0UdxD(a,op_1eCjFl0mb9(a,b))

def op_count_OWt3uj0ipL(a, b):
    count = op_count_1eCjFl0mb9(a,b)+op_count_LCjPM0UdxD(a,op_1eCjFl0mb9(a,b))
    return count


def op_cK5aFthJLQ(a, b):
    return op_GyZKrXyLmB(op_tJkeIIum6v(op_3ayH0UyYyX(a,a),op_FYxAUuNJ3U(b,b)))

def op_count_cK5aFthJLQ(a, b):
    count = op_count_3ayH0UyYyX(a,a)+op_count_FYxAUuNJ3U(b,b)+op_count_tJkeIIum6v(op_3ayH0UyYyX(a,a),op_FYxAUuNJ3U(b,b))+op_count_GyZKrXyLmB(op_tJkeIIum6v(op_3ayH0UyYyX(a,a),op_FYxAUuNJ3U(b,b)))
    return count


def op_4OmwL35pJX(a, b):
    return op_IyXueN9Vxj(op_UlQ84THUy4(b,a))

def op_count_4OmwL35pJX(a, b):
    count = op_count_UlQ84THUy4(b,a)+op_count_IyXueN9Vxj(op_UlQ84THUy4(b,a))
    return count


def op_tTxESys1Qr(a):
    return op_b1N51d35SA(op_kvIXUmKfYG(44),op_Mp74FtG4yY(a))

def op_count_tTxESys1Qr(a):
    count = op_count_kvIXUmKfYG(44)+op_count_Mp74FtG4yY(a)+op_count_b1N51d35SA(op_kvIXUmKfYG(44),op_Mp74FtG4yY(a))
    return count


a≢⩘ = { (((710⩉≙⋏a)⋴⫬⫍(a⩎⨬a))∇∹(≦∁(⊄⩳↩a))) }

def op_irVDxfaeRm(a):
    return op_NQx0zRYggH(op_lrLQygo13m(op_K6E8QFs5tY(710,a),op_dR2gYrpTIj(a,a)),op_9ICcGScMcE(op_8w2t5hMYqp(a)))

def op_count_irVDxfaeRm(a):
    count = op_count_K6E8QFs5tY(710,a)+op_count_dR2gYrpTIj(a,a)+op_count_lrLQygo13m(op_K6E8QFs5tY(710,a),op_dR2gYrpTIj(a,a))+op_count_8w2t5hMYqp(a)+op_count_9ICcGScMcE(op_8w2t5hMYqp(a))+op_count_NQx0zRYggH(op_lrLQygo13m(op_K6E8QFs5tY(710,a),op_dR2gYrpTIj(a,a)),op_9ICcGScMcE(op_8w2t5hMYqp(a)))
    return count


def op_0cMD0v59Nz(a):
    return op_GMrB5OisJT(op_GMN7JP6WpN(a,a))

def op_count_0cMD0v59Nz(a):
    count = op_count_GMN7JP6WpN(a,a)+op_count_GMrB5OisJT(op_GMN7JP6WpN(a,a))
    return count


a∀⨘ = { (((⩦⩻⨪a)⊭∹↮)⨍⪺((a≲131)⨭⫎(a*⫵⪉))) }

def op_uqwT4DZAyA(a):
    return op_IEH3kw0xIp(op_xNBdhnnwKq(op_2td37pGCOC(a)),op_OVAuBYEMFc(op_C6qVvj5REB(a,131),op_6Zjw4YHEYi(a)))

def op_count_uqwT4DZAyA(a):
    count = op_count_2td37pGCOC(a)+op_count_xNBdhnnwKq(op_2td37pGCOC(a))+op_count_C6qVvj5REB(a,131)+op_count_6Zjw4YHEYi(a)+op_count_OVAuBYEMFc(op_C6qVvj5REB(a,131),op_6Zjw4YHEYi(a))+op_count_IEH3kw0xIp(op_xNBdhnnwKq(op_2td37pGCOC(a)),op_OVAuBYEMFc(op_C6qVvj5REB(a,131),op_6Zjw4YHEYi(a)))
    return count


def op_VpFlG6hbse(a):
    return op_HK0tfVPux8(a,a)

def op_count_VpFlG6hbse(a):
    count = op_count_HK0tfVPux8(a,a)
    return count


def op_2XnCokAFCw(a):
    return op_TcUor9fpwD(op_GH46DaXZxO(a,43))

def op_count_2XnCokAFCw(a):
    count = op_count_GH46DaXZxO(a,43)+op_count_TcUor9fpwD(op_GH46DaXZxO(a,43))
    return count


def op_xa9DXL7vS4(a):
    return op_L0XVkq44a1(op_iCFmNpcOux(a),op_S2EdmdiVZh(a,a))

def op_count_xa9DXL7vS4(a):
    count = op_count_iCFmNpcOux(a)+op_count_S2EdmdiVZh(a,a)+op_count_L0XVkq44a1(op_iCFmNpcOux(a),op_S2EdmdiVZh(a,a))
    return count


def op_tYXmmrGzSP(a):
    return op_mk4FjxrA5V(op_WN7bYeQ5jG(a,a))

def op_count_tYXmmrGzSP(a):
    count = op_count_WN7bYeQ5jG(a,a)+op_count_mk4FjxrA5V(op_WN7bYeQ5jG(a,a))
    return count


def op_l1vNuOfFQe(a):
    return op_uH7zUBpMm0(op_YbUVn0Rbpy(op_t8L2dp1cPE(a),op_C4PqR2W9Pw(a,a)))

def op_count_l1vNuOfFQe(a):
    count = op_count_t8L2dp1cPE(a)+op_count_C4PqR2W9Pw(a,a)+op_count_YbUVn0Rbpy(op_t8L2dp1cPE(a),op_C4PqR2W9Pw(a,a))+op_count_uH7zUBpMm0(op_YbUVn0Rbpy(op_t8L2dp1cPE(a),op_C4PqR2W9Pw(a,a)))
    return count


def op_tNxQSkcPgJ(a):
    return op_jdrn0ppNe9(op_R3R4sbjZye(op_jPYZHDFkUI(a,310),op_ixc2Esl5RP(a)),0)

def op_count_tNxQSkcPgJ(a):
    count = op_count_jPYZHDFkUI(a,310)+op_count_ixc2Esl5RP(a)+op_count_R3R4sbjZye(op_jPYZHDFkUI(a,310),op_ixc2Esl5RP(a))+op_count_jdrn0ppNe9(op_R3R4sbjZye(op_jPYZHDFkUI(a,310),op_ixc2Esl5RP(a)),0)
    return count


def op_p6m9eN6eAN(a):
    return op_UqFzSgLMvQ(op_Bw1fwYnFxE(a,a))

def op_count_p6m9eN6eAN(a):
    count = op_count_Bw1fwYnFxE(a,a)+op_count_UqFzSgLMvQ(op_Bw1fwYnFxE(a,a))
    return count


def op_HISHiMqIg5(a):
    return op_3ayH0UyYyX(a,244)

def op_count_HISHiMqIg5(a):
    count = op_count_3ayH0UyYyX(a,244)
    return count


def op_1IeVngORTT(a):
    return op_BS5gxE7HeX(op_Xbtyq2jN9O(op_p1y54au9R0(9),op_tcrxUegxCv(a,a)))

def op_count_1IeVngORTT(a):
    count = op_count_p1y54au9R0(9)+op_count_tcrxUegxCv(a,a)+op_count_Xbtyq2jN9O(op_p1y54au9R0(9),op_tcrxUegxCv(a,a))+op_count_BS5gxE7HeX(op_Xbtyq2jN9O(op_p1y54au9R0(9),op_tcrxUegxCv(a,a)))
    return count


a⫱⪖ = { (((⋑←a)⊅∈∁(a⋭⨀/a))⩵∷⩪((a⨖≹a)⫞⩸⩒(a⨇⩊↔a))) }

def op_Un2skETla9(a):
    return op_X7PctZJgeL(op_1Btw2138KI(op_B0ezUFU1kP(a),op_6Chw2r1Icb(a,a)),op_XGcMNugi78(op_x56Q1NfF72(a,a),op_RR9T5AuQ1T(a,a)))

def op_count_Un2skETla9(a):
    count = op_count_B0ezUFU1kP(a)+op_count_6Chw2r1Icb(a,a)+op_count_1Btw2138KI(op_B0ezUFU1kP(a),op_6Chw2r1Icb(a,a))+op_count_x56Q1NfF72(a,a)+op_count_RR9T5AuQ1T(a,a)+op_count_XGcMNugi78(op_x56Q1NfF72(a,a),op_RR9T5AuQ1T(a,a))+op_count_X7PctZJgeL(op_1Btw2138KI(op_B0ezUFU1kP(a),op_6Chw2r1Icb(a,a)),op_XGcMNugi78(op_x56Q1NfF72(a,a),op_RR9T5AuQ1T(a,a)))
    return count


def op_LEx69w4iTZ(a):
    return op_5c10mcanly(op_rMifWJgd3t(op_jyxETRFrfc(813,56),op_9Z0HYftGYc(a,a)))

def op_count_LEx69w4iTZ(a):
    count = op_count_jyxETRFrfc(813,56)+op_count_9Z0HYftGYc(a,a)+op_count_rMifWJgd3t(op_jyxETRFrfc(813,56),op_9Z0HYftGYc(a,a))+op_count_5c10mcanly(op_rMifWJgd3t(op_jyxETRFrfc(813,56),op_9Z0HYftGYc(a,a)))
    return count


a⊍⪇b = { (((a∈⋭↰b)⨇(a∗⩻))⨯≫⊾(b⫣⪄⊒(b⋐⩹≹a))) }

def op_1KIUooOuPe(a, b):
    return op_3Nwa8gVjpX(op_sgd3VpchmQ(op_30yr7HMjFu(a,b),op_ccHmK6PBIn(a)),op_RabNbG55vr(b,op_ERCh0iueHk(b,a)))

def op_count_1KIUooOuPe(a, b):
    count = op_count_30yr7HMjFu(a,b)+op_count_ccHmK6PBIn(a)+op_count_sgd3VpchmQ(op_30yr7HMjFu(a,b),op_ccHmK6PBIn(a))+op_count_ERCh0iueHk(b,a)+op_count_RabNbG55vr(b,op_ERCh0iueHk(b,a))+op_count_3Nwa8gVjpX(op_sgd3VpchmQ(op_30yr7HMjFu(a,b),op_ccHmK6PBIn(a)),op_RabNbG55vr(b,op_ERCh0iueHk(b,a)))
    return count


def op_LGEPit6dCp(a):
    return op_5SK3UOPDfl(op_ziBb4sC0ZT(op_0D7yuLhasi(a)),op_E331xP7I43(op_BM5aFeEVeK(a,a),op_8HhzD0ZcuI(a,a)))

def op_count_LGEPit6dCp(a):
    count = op_count_0D7yuLhasi(a)+op_count_ziBb4sC0ZT(op_0D7yuLhasi(a))+op_count_BM5aFeEVeK(a,a)+op_count_8HhzD0ZcuI(a,a)+op_count_E331xP7I43(op_BM5aFeEVeK(a,a),op_8HhzD0ZcuI(a,a))+op_count_5SK3UOPDfl(op_ziBb4sC0ZT(op_0D7yuLhasi(a)),op_E331xP7I43(op_BM5aFeEVeK(a,a),op_8HhzD0ZcuI(a,a)))
    return count


def op_ZqWZ7aSIYL(a, b):
    return op_sYcpBQ0cFf(op_Y6MI8lE4nL(op_SWbPh9106B(b,b),op_nz5y26sRSo(b,a)))

def op_count_ZqWZ7aSIYL(a, b):
    count = op_count_SWbPh9106B(b,b)+op_count_nz5y26sRSo(b,a)+op_count_Y6MI8lE4nL(op_SWbPh9106B(b,b),op_nz5y26sRSo(b,a))+op_count_sYcpBQ0cFf(op_Y6MI8lE4nL(op_SWbPh9106B(b,b),op_nz5y26sRSo(b,a)))
    return count


def op_WZX1KRTFlP(a, b):
    return op_YbVcJGFEVW(op_LXhwmt4mBO(op_IwrbJi78Mr(a),op_rrwC2wGnut(156)),op_l07mrZUIn9(op_kOoQ1erSk8(b,540)))

def op_count_WZX1KRTFlP(a, b):
    count = op_count_IwrbJi78Mr(a)+op_count_rrwC2wGnut(156)+op_count_LXhwmt4mBO(op_IwrbJi78Mr(a),op_rrwC2wGnut(156))+op_count_kOoQ1erSk8(b,540)+op_count_l07mrZUIn9(op_kOoQ1erSk8(b,540))+op_count_YbVcJGFEVW(op_LXhwmt4mBO(op_IwrbJi78Mr(a),op_rrwC2wGnut(156)),op_l07mrZUIn9(op_kOoQ1erSk8(b,540)))
    return count


def op_txN7l1yMpT(a):
    return op_KRecZEGPb8(op_jLgFTUHLKL(a),op_Rw46J52cBJ(a,a))

def op_count_txN7l1yMpT(a):
    count = op_count_jLgFTUHLKL(a)+op_count_Rw46J52cBJ(a,a)+op_count_KRecZEGPb8(op_jLgFTUHLKL(a),op_Rw46J52cBJ(a,a))
    return count


def op_UKDZbeY9Ek(a):
    return op_BAYcl7KEcJ(op_EKiFHuOFxO(a),op_H86EN3O05e(a,a))

def op_count_UKDZbeY9Ek(a):
    count = op_count_EKiFHuOFxO(a)+op_count_H86EN3O05e(a,a)+op_count_BAYcl7KEcJ(op_EKiFHuOFxO(a),op_H86EN3O05e(a,a))
    return count


def op_2HqRUqheSM(a, b):
    return op_N2CwLZHY2H(op_QwQ0bohp01(a),op_S8OTv5lHfG(b,a))

def op_count_2HqRUqheSM(a, b):
    count = op_count_QwQ0bohp01(a)+op_count_S8OTv5lHfG(b,a)+op_count_N2CwLZHY2H(op_QwQ0bohp01(a),op_S8OTv5lHfG(b,a))
    return count


def op_frKJlQghcg(a, b):
    return op_Ux7iK00Jvb(op_keMeIxFVQ3(b,a))

def op_count_frKJlQghcg(a, b):
    count = op_count_keMeIxFVQ3(b,a)+op_count_Ux7iK00Jvb(op_keMeIxFVQ3(b,a))
    return count


def op_tRkKljGDEM(a):
    return op_36TGfoTytI(op_RrCWIpBJZe(318,a),op_STs8eSTo28(a))

def op_count_tRkKljGDEM(a):
    count = op_count_RrCWIpBJZe(318,a)+op_count_STs8eSTo28(a)+op_count_36TGfoTytI(op_RrCWIpBJZe(318,a),op_STs8eSTo28(a))
    return count


def op_o0fB5CF1Cw(a):
    return op_JKhKCqropJ(96,op_iCFmNpcOux(a))

def op_count_o0fB5CF1Cw(a):
    count = op_count_iCFmNpcOux(a)+op_count_JKhKCqropJ(96,op_iCFmNpcOux(a))
    return count


def op_xLFIbYxpIl(a):
    return op_36V2MidH9c(a,106)

def op_count_xLFIbYxpIl(a):
    count = op_count_36V2MidH9c(a,106)
    return count


a↥⪳ = { (((a⋝≺⋾)∯⩀(a⇻a))⩀((a⩏⪇a)⩸⋪(a⊘⫨⊘a))) }

def op_5QLLaiylsb(a):
    return op_M1AAiXtbt9(op_mB7zfwCp1n(op_mcQVDGUp7Y(a),op_vLzRcUDluw(a,a)),op_avxXIHzjv1(op_ThCBRY6y6l(a,a),op_YMV0rvXXSg(a,a)))

def op_count_5QLLaiylsb(a):
    count = op_count_mcQVDGUp7Y(a)+op_count_vLzRcUDluw(a,a)+op_count_mB7zfwCp1n(op_mcQVDGUp7Y(a),op_vLzRcUDluw(a,a))+op_count_ThCBRY6y6l(a,a)+op_count_YMV0rvXXSg(a,a)+op_count_avxXIHzjv1(op_ThCBRY6y6l(a,a),op_YMV0rvXXSg(a,a))+op_count_M1AAiXtbt9(op_mB7zfwCp1n(op_mcQVDGUp7Y(a),op_vLzRcUDluw(a,a)),op_avxXIHzjv1(op_ThCBRY6y6l(a,a),op_YMV0rvXXSg(a,a)))
    return count


def op_cqZq8M6Jmk(a, b):
    return op_crtJ4cV1Co(a,op_iVzLhW7Qip(op_qQVdHIwY0K(a,b),b))

def op_count_cqZq8M6Jmk(a, b):
    count = op_count_qQVdHIwY0K(a,b)+op_count_iVzLhW7Qip(op_qQVdHIwY0K(a,b),b)+op_count_crtJ4cV1Co(a,op_iVzLhW7Qip(op_qQVdHIwY0K(a,b),b))
    return count


def op_XPcxYZKR8q(a):
    return op_S5ZFQS4GK3(op_7GgezYTPa9(op_EGkyMtMXk9(a),op_Gl4WN4Uwdx(a,a)),op_qediHccxJ2(op_aaQ3WJhk6P(876)))

def op_count_XPcxYZKR8q(a):
    count = op_count_EGkyMtMXk9(a)+op_count_Gl4WN4Uwdx(a,a)+op_count_7GgezYTPa9(op_EGkyMtMXk9(a),op_Gl4WN4Uwdx(a,a))+op_count_aaQ3WJhk6P(876)+op_count_qediHccxJ2(op_aaQ3WJhk6P(876))+op_count_S5ZFQS4GK3(op_7GgezYTPa9(op_EGkyMtMXk9(a),op_Gl4WN4Uwdx(a,a)),op_qediHccxJ2(op_aaQ3WJhk6P(876)))
    return count


def op_OH3l0Vrv7d(a, b):
    return op_lJ0NnniDH7(op_4Zbi407kdO(op_EWw2JM7wp4(b,a)),op_IEmZsJIFSp(op_IU5bnLfiEv(a)))

def op_count_OH3l0Vrv7d(a, b):
    count = op_count_EWw2JM7wp4(b,a)+op_count_4Zbi407kdO(op_EWw2JM7wp4(b,a))+op_count_IU5bnLfiEv(a)+op_count_IEmZsJIFSp(op_IU5bnLfiEv(a))+op_count_lJ0NnniDH7(op_4Zbi407kdO(op_EWw2JM7wp4(b,a)),op_IEmZsJIFSp(op_IU5bnLfiEv(a)))
    return count


def op_vaFB2mr5Ba(a):
    return op_12rbrZMWeM(op_Y8C8ozzXLe(a,a),op_EKiFHuOFxO(a))

def op_count_vaFB2mr5Ba(a):
    count = op_count_Y8C8ozzXLe(a,a)+op_count_EKiFHuOFxO(a)+op_count_12rbrZMWeM(op_Y8C8ozzXLe(a,a),op_EKiFHuOFxO(a))
    return count


def op_pdY53YHVxZ(a):
    return op_v9KVZbcFsa(op_aedcdP7WUt(a,a),op_WYd1w68Nbz(a))

def op_count_pdY53YHVxZ(a):
    count = op_count_aedcdP7WUt(a,a)+op_count_WYd1w68Nbz(a)+op_count_v9KVZbcFsa(op_aedcdP7WUt(a,a),op_WYd1w68Nbz(a))
    return count


def op_z45lsKaRRs(a):
    return op_KwZuVxMAXT(op_8INZBEW696(a,a),op_EvTGYzlQPx(a))

def op_count_z45lsKaRRs(a):
    count = op_count_8INZBEW696(a,a)+op_count_EvTGYzlQPx(a)+op_count_KwZuVxMAXT(op_8INZBEW696(a,a),op_EvTGYzlQPx(a))
    return count


def op_BmTToIJHiL(a, b):
    return op_zxvitxjGGl(op_N2CwLZHY2H(op_UscWZcTkUL(a,b),op_hWheh3WaNG(b,b)))

def op_count_BmTToIJHiL(a, b):
    count = op_count_UscWZcTkUL(a,b)+op_count_hWheh3WaNG(b,b)+op_count_N2CwLZHY2H(op_UscWZcTkUL(a,b),op_hWheh3WaNG(b,b))+op_count_zxvitxjGGl(op_N2CwLZHY2H(op_UscWZcTkUL(a,b),op_hWheh3WaNG(b,b)))
    return count


a⇖⨙b = { (((a⩏*)⫨⨌∐(b⫫⋫a))⋋⇅⊁(⨈−*(⊮⪲⇫b))) }

def op_EokiGtKvm3(a, b):
    return op_uRdpOuG0pt(op_Ln1IrprsTU(op_NDAD7yaulu(a),op_xtCeza3rDf(b,a)),op_ybwXbqd0P4(op_93h268WzTW(b)))

def op_count_EokiGtKvm3(a, b):
    count = op_count_NDAD7yaulu(a)+op_count_xtCeza3rDf(b,a)+op_count_Ln1IrprsTU(op_NDAD7yaulu(a),op_xtCeza3rDf(b,a))+op_count_93h268WzTW(b)+op_count_ybwXbqd0P4(op_93h268WzTW(b))+op_count_uRdpOuG0pt(op_Ln1IrprsTU(op_NDAD7yaulu(a),op_xtCeza3rDf(b,a)),op_ybwXbqd0P4(op_93h268WzTW(b)))
    return count


def op_Ms2IgbMJu8(a):
    return op_rMifWJgd3t(op_3FKzo546dw(192,498),op_6y5rNZ8Vuy(a,682))

def op_count_Ms2IgbMJu8(a):
    count = op_count_3FKzo546dw(192,498)+op_count_6y5rNZ8Vuy(a,682)+op_count_rMifWJgd3t(op_3FKzo546dw(192,498),op_6y5rNZ8Vuy(a,682))
    return count


def op_JsyojuCCcz(a, b):
    return op_h92wMvzauj(b,op_Dwi3vkQv6Q(op_z4Ajd36hBy(a,b),op_F4yD0voBRQ(b,a)))

def op_count_JsyojuCCcz(a, b):
    count = op_count_z4Ajd36hBy(a,b)+op_count_F4yD0voBRQ(b,a)+op_count_Dwi3vkQv6Q(op_z4Ajd36hBy(a,b),op_F4yD0voBRQ(b,a))+op_count_h92wMvzauj(b,op_Dwi3vkQv6Q(op_z4Ajd36hBy(a,b),op_F4yD0voBRQ(b,a)))
    return count


def op_bvS7w3g9FW(a):
    return op_F5el3aEdEY(op_ITUoubXGQQ(op_BYlXFd1hNb(a),op_Mx9bI9akoD(a,a)))

def op_count_bvS7w3g9FW(a):
    count = op_count_BYlXFd1hNb(a)+op_count_Mx9bI9akoD(a,a)+op_count_ITUoubXGQQ(op_BYlXFd1hNb(a),op_Mx9bI9akoD(a,a))+op_count_F5el3aEdEY(op_ITUoubXGQQ(op_BYlXFd1hNb(a),op_Mx9bI9akoD(a,a)))
    return count


def op_33Ug0vB88I(a, b):
    return op_jfAgQ2OQeM(op_CElUNYQIpN(a,b))

def op_count_33Ug0vB88I(a, b):
    count = op_count_CElUNYQIpN(a,b)+op_count_jfAgQ2OQeM(op_CElUNYQIpN(a,b))
    return count


def op_1NEUe3Qa2W(a, b):
    return op_P4ywzuOpaq(op_CfxG4j8dfZ(481,b),op_mMNOlYfzJE(a))

def op_count_1NEUe3Qa2W(a, b):
    count = op_count_CfxG4j8dfZ(481,b)+op_count_mMNOlYfzJE(a)+op_count_P4ywzuOpaq(op_CfxG4j8dfZ(481,b),op_mMNOlYfzJE(a))
    return count


def op_7lWACXvToW(a):
    return op_kn8WO9XteQ(op_WQ4V1AEB0R(op_NkmDxhANyO(894,290)),op_NsGlVlbNoR(op_b1mGkbI4Oy(a,a),op_hrf7POJlIJ(a,91)))

def op_count_7lWACXvToW(a):
    count = op_count_NkmDxhANyO(894,290)+op_count_WQ4V1AEB0R(op_NkmDxhANyO(894,290))+op_count_b1mGkbI4Oy(a,a)+op_count_hrf7POJlIJ(a,91)+op_count_NsGlVlbNoR(op_b1mGkbI4Oy(a,a),op_hrf7POJlIJ(a,91))+op_count_kn8WO9XteQ(op_WQ4V1AEB0R(op_NkmDxhANyO(894,290)),op_NsGlVlbNoR(op_b1mGkbI4Oy(a,a),op_hrf7POJlIJ(a,91)))
    return count


def op_RxlSm6Ygzh(a):
    return op_dvgeamS7g2(op_uw1KoZSwz0(a,a),op_ziBb4sC0ZT(a))

def op_count_RxlSm6Ygzh(a):
    count = op_count_uw1KoZSwz0(a,a)+op_count_ziBb4sC0ZT(a)+op_count_dvgeamS7g2(op_uw1KoZSwz0(a,a),op_ziBb4sC0ZT(a))
    return count


def op_LcYGXG2KuG(a, b):
    return op_VbgE6nPTyN(op_CgIo77xlM2(op_nhYeJWJD5X(a,b)))

def op_count_LcYGXG2KuG(a, b):
    count = op_count_nhYeJWJD5X(a,b)+op_count_CgIo77xlM2(op_nhYeJWJD5X(a,b))+op_count_VbgE6nPTyN(op_CgIo77xlM2(op_nhYeJWJD5X(a,b)))
    return count


a⩷⪩⊖b = { ((a∳(b⊦⊆a))⫈((≿⪣⩢161)⨆⩍(⫓⪴b))) }

def op_eGV7a2KN6g(a, b):
    return op_e1wGt9VEHG(op_XCY0eMNfgm(a,op_ziENa4oeDe(b,a)),op_vzIhVlHn4a(op_2rKnP1Q4SV(161),op_eLxqMNBOBk(b)))

def op_count_eGV7a2KN6g(a, b):
    count = op_count_ziENa4oeDe(b,a)+op_count_XCY0eMNfgm(a,op_ziENa4oeDe(b,a))+op_count_2rKnP1Q4SV(161)+op_count_eLxqMNBOBk(b)+op_count_vzIhVlHn4a(op_2rKnP1Q4SV(161),op_eLxqMNBOBk(b))+op_count_e1wGt9VEHG(op_XCY0eMNfgm(a,op_ziENa4oeDe(b,a)),op_vzIhVlHn4a(op_2rKnP1Q4SV(161),op_eLxqMNBOBk(b)))
    return count


a⊸⫯⇥b = { ((a⪿⫂⇿(b⪃))⨳⩥⨓((90⊩a)⪱(a⩐b))) }

def op_gl20KYyMkJ(a, b):
    return op_nCS4ZIUYfx(op_bZEx4MGJjc(a,op_YocpLSRo8j(b)),op_Fw9FUhpJpC(op_aCwnCp9fG4(90,a),op_bMfZrpXtSe(a,b)))

def op_count_gl20KYyMkJ(a, b):
    count = op_count_YocpLSRo8j(b)+op_count_bZEx4MGJjc(a,op_YocpLSRo8j(b))+op_count_aCwnCp9fG4(90,a)+op_count_bMfZrpXtSe(a,b)+op_count_Fw9FUhpJpC(op_aCwnCp9fG4(90,a),op_bMfZrpXtSe(a,b))+op_count_nCS4ZIUYfx(op_bZEx4MGJjc(a,op_YocpLSRo8j(b)),op_Fw9FUhpJpC(op_aCwnCp9fG4(90,a),op_bMfZrpXtSe(a,b)))
    return count


def op_VFLMF64FeK(a):
    return op_B7jD7820sf(op_H0pizIJMoW(a),op_Utzb0HjIke(a))

def op_count_VFLMF64FeK(a):
    count = op_count_H0pizIJMoW(a)+op_count_Utzb0HjIke(a)+op_count_B7jD7820sf(op_H0pizIJMoW(a),op_Utzb0HjIke(a))
    return count


def op_R2DcrPcCoF(a, b):
    return op_XrsBijI8L6(op_RXUpafmlG7(op_B3tNObfNaL(b),a),op_43pnEt37KX(a,op_AWSeafXRiV(b)))

def op_count_R2DcrPcCoF(a, b):
    count = op_count_B3tNObfNaL(b)+op_count_RXUpafmlG7(op_B3tNObfNaL(b),a)+op_count_AWSeafXRiV(b)+op_count_43pnEt37KX(a,op_AWSeafXRiV(b))+op_count_XrsBijI8L6(op_RXUpafmlG7(op_B3tNObfNaL(b),a),op_43pnEt37KX(a,op_AWSeafXRiV(b)))
    return count


⨂↺⨱a = { (((a⩙⪻a)∽⪏≡)⫉⋃((a≑⋀a)⩉⇙(215≞∰⩧a))) }

def op_OZ4izqyzVL(a):
    return op_YEzomLoFTT(op_QeMqMgpMCq(op_Y0zpOQG4YL(a,a)),op_Bi6gyirjvn(op_Y4lAmUR5B7(a,a),op_j7UVJQGE8k(215,a)))

def op_count_OZ4izqyzVL(a):
    count = op_count_Y0zpOQG4YL(a,a)+op_count_QeMqMgpMCq(op_Y0zpOQG4YL(a,a))+op_count_Y4lAmUR5B7(a,a)+op_count_j7UVJQGE8k(215,a)+op_count_Bi6gyirjvn(op_Y4lAmUR5B7(a,a),op_j7UVJQGE8k(215,a))+op_count_YEzomLoFTT(op_QeMqMgpMCq(op_Y0zpOQG4YL(a,a)),op_Bi6gyirjvn(op_Y4lAmUR5B7(a,a),op_j7UVJQGE8k(215,a)))
    return count


def op_U5V2FkWGQv(a):
    return op_0De0cgdyF4(op_8INZBEW696(a,1))

def op_count_U5V2FkWGQv(a):
    count = op_count_8INZBEW696(a,1)+op_count_0De0cgdyF4(op_8INZBEW696(a,1))
    return count


def op_wqGBJPO4pJ(a):
    return op_l6yaTd3a70(op_B7jD7820sf(a,a))

def op_count_wqGBJPO4pJ(a):
    count = op_count_B7jD7820sf(a,a)+op_count_l6yaTd3a70(op_B7jD7820sf(a,a))
    return count


def op_qZv5O6Y3cg(a):
    return op_mp94q5OcYM(op_RyrdAX1Ftm(op_yHt80FcK1y(a,a)))

def op_count_qZv5O6Y3cg(a):
    count = op_count_yHt80FcK1y(a,a)+op_count_RyrdAX1Ftm(op_yHt80FcK1y(a,a))+op_count_mp94q5OcYM(op_RyrdAX1Ftm(op_yHt80FcK1y(a,a)))
    return count


def op_SvQeu911jP(a):
    return op_FZXVY8MgqP(op_Hn4VRZUxzV(a,208))

def op_count_SvQeu911jP(a):
    count = op_count_Hn4VRZUxzV(a,208)+op_count_FZXVY8MgqP(op_Hn4VRZUxzV(a,208))
    return count


def op_KLt3PCx4b4(a):
    return op_blQ9vzDKd0(op_4BgDUfrXIE(a,a))

def op_count_KLt3PCx4b4(a):
    count = op_count_4BgDUfrXIE(a,a)+op_count_blQ9vzDKd0(op_4BgDUfrXIE(a,a))
    return count


def op_1JnGo53Eix(a):
    return op_KLMV3Z6VVJ(a,op_7t3wd0Fuz7(28,21))

def op_count_1JnGo53Eix(a):
    count = op_count_7t3wd0Fuz7(28,21)+op_count_KLMV3Z6VVJ(a,op_7t3wd0Fuz7(28,21))
    return count


def op_jaeilbl5Cl(a):
    return op_RFg3ArkQ7E(op_Qsw9fW7fQc(op_oacrs7FA3X(a,a),op_ovZcSHEfmM(a,a)))

def op_count_jaeilbl5Cl(a):
    count = op_count_oacrs7FA3X(a,a)+op_count_ovZcSHEfmM(a,a)+op_count_Qsw9fW7fQc(op_oacrs7FA3X(a,a),op_ovZcSHEfmM(a,a))+op_count_RFg3ArkQ7E(op_Qsw9fW7fQc(op_oacrs7FA3X(a,a),op_ovZcSHEfmM(a,a)))
    return count


def op_yyWjrqbZev(a):
    return op_0QEWQRhRpH(671,a)

def op_count_yyWjrqbZev(a):
    count = op_count_0QEWQRhRpH(671,a)
    return count


def op_nPSRN7YiGQ(a):
    return op_hyuBjUqXlG(op_dOyh8NTXcy(op_TQtCT2lTQ7(a,a)),op_cGHQRUc1Fx(op_IGFM8TAlm9(a)))

def op_count_nPSRN7YiGQ(a):
    count = op_count_TQtCT2lTQ7(a,a)+op_count_dOyh8NTXcy(op_TQtCT2lTQ7(a,a))+op_count_IGFM8TAlm9(a)+op_count_cGHQRUc1Fx(op_IGFM8TAlm9(a))+op_count_hyuBjUqXlG(op_dOyh8NTXcy(op_TQtCT2lTQ7(a,a)),op_cGHQRUc1Fx(op_IGFM8TAlm9(a)))
    return count


def op_crQBqo0G4b(a):
    return op_SXU37uY0z3(op_xtCeza3rDf(a,a))

def op_count_crQBqo0G4b(a):
    count = op_count_xtCeza3rDf(a,a)+op_count_SXU37uY0z3(op_xtCeza3rDf(a,a))
    return count


def op_TE9MRjNUgG(a, b):
    return op_3UMq87Qwqg(op_WCUQA2F43R(op_b1mGkbI4Oy(a,b)))

def op_count_TE9MRjNUgG(a, b):
    count = op_count_b1mGkbI4Oy(a,b)+op_count_WCUQA2F43R(op_b1mGkbI4Oy(a,b))+op_count_3UMq87Qwqg(op_WCUQA2F43R(op_b1mGkbI4Oy(a,b)))
    return count


def op_1Z2TuRweQs(a):
    return op_CBVyztIHgB(op_1nNvNtr5EF(op_p5sVf13ywX(a,a),op_FI4i5otY41(a,a)))

def op_count_1Z2TuRweQs(a):
    count = op_count_p5sVf13ywX(a,a)+op_count_FI4i5otY41(a,a)+op_count_1nNvNtr5EF(op_p5sVf13ywX(a,a),op_FI4i5otY41(a,a))+op_count_CBVyztIHgB(op_1nNvNtr5EF(op_p5sVf13ywX(a,a),op_FI4i5otY41(a,a)))
    return count


def op_23Tkgu9UsN(a):
    return op_AvED76WdY7(op_RZ5CV9rWsJ(op_TLcR4sSQDd(a,a),op_rBWSZ6pYZD(a,a)))

def op_count_23Tkgu9UsN(a):
    count = op_count_TLcR4sSQDd(a,a)+op_count_rBWSZ6pYZD(a,a)+op_count_RZ5CV9rWsJ(op_TLcR4sSQDd(a,a),op_rBWSZ6pYZD(a,a))+op_count_AvED76WdY7(op_RZ5CV9rWsJ(op_TLcR4sSQDd(a,a),op_rBWSZ6pYZD(a,a)))
    return count


def op_mfLRytBdgR(a):
    return op_WtSaZj39hj(a,op_Rej73QEDUh(op_0cGMrPTqT1(a)))

def op_count_mfLRytBdgR(a):
    count = op_count_0cGMrPTqT1(a)+op_count_Rej73QEDUh(op_0cGMrPTqT1(a))+op_count_WtSaZj39hj(a,op_Rej73QEDUh(op_0cGMrPTqT1(a)))
    return count


def op_4BTor2UcD7(a):
    return op_s3Fd5m9Dh2(op_YocpLSRo8j(a),op_bG3SoPrX0m(552,486))

def op_count_4BTor2UcD7(a):
    count = op_count_YocpLSRo8j(a)+op_count_bG3SoPrX0m(552,486)+op_count_s3Fd5m9Dh2(op_YocpLSRo8j(a),op_bG3SoPrX0m(552,486))
    return count


a⫾≤b = { (((b≼⇆a)↫⇬(⇹593))⨦∄⇯((⪡⇡≛b)⋏⩄⨂(b⫭⨏a))) }

def op_6LdHjL8Q3j(a, b):
    return op_aULemKRNJ1(op_PHNdOSUEPW(op_D4AlmasLin(b,a),op_dOQKZuJSrO(593)),op_D69ahk0G0B(op_qL4PrbW1Dq(b),op_4j7MdOEvYM(b,a)))

def op_count_6LdHjL8Q3j(a, b):
    count = op_count_D4AlmasLin(b,a)+op_count_dOQKZuJSrO(593)+op_count_PHNdOSUEPW(op_D4AlmasLin(b,a),op_dOQKZuJSrO(593))+op_count_qL4PrbW1Dq(b)+op_count_4j7MdOEvYM(b,a)+op_count_D69ahk0G0B(op_qL4PrbW1Dq(b),op_4j7MdOEvYM(b,a))+op_count_aULemKRNJ1(op_PHNdOSUEPW(op_D4AlmasLin(b,a),op_dOQKZuJSrO(593)),op_D69ahk0G0B(op_qL4PrbW1Dq(b),op_4j7MdOEvYM(b,a)))
    return count


def op_FeiScOSjIT(a):
    return op_MKCxaPE9tg(op_mMNOlYfzJE(a),op_MdtlklhKSi(a,a))

def op_count_FeiScOSjIT(a):
    count = op_count_mMNOlYfzJE(a)+op_count_MdtlklhKSi(a,a)+op_count_MKCxaPE9tg(op_mMNOlYfzJE(a),op_MdtlklhKSi(a,a))
    return count


def op_M9mCbAHE87(a, b):
    return op_IjGhTk7PpW(op_ByhTHGuwmm(b),op_6h8r4YZk7l(b,a))

def op_count_M9mCbAHE87(a, b):
    count = op_count_ByhTHGuwmm(b)+op_count_6h8r4YZk7l(b,a)+op_count_IjGhTk7PpW(op_ByhTHGuwmm(b),op_6h8r4YZk7l(b,a))
    return count


def op_mdTgU5jPNV(a, b):
    return op_9ICcGScMcE(op_L1HhCB6FLx(a,b))

def op_count_mdTgU5jPNV(a, b):
    count = op_count_L1HhCB6FLx(a,b)+op_count_9ICcGScMcE(op_L1HhCB6FLx(a,b))
    return count


⪅⪢⇛a = { (((⋖a)⩣⫁∢(a⫼⇷a))↙⨬⋜((a↨⩘)⇽⪾⨎(a⊕⫺24))) }

def op_WMWMpF7FtW(a):
    return op_UlBlWmOBXm(op_JDUIKTTSIa(op_dYTqEtTc30(a),op_W5FaPSP1ue(a,a)),op_lzCx6JGp55(op_1pJ76SN1ns(a),op_H6S8IR817C(a,24)))

def op_count_WMWMpF7FtW(a):
    count = op_count_dYTqEtTc30(a)+op_count_W5FaPSP1ue(a,a)+op_count_JDUIKTTSIa(op_dYTqEtTc30(a),op_W5FaPSP1ue(a,a))+op_count_1pJ76SN1ns(a)+op_count_H6S8IR817C(a,24)+op_count_lzCx6JGp55(op_1pJ76SN1ns(a),op_H6S8IR817C(a,24))+op_count_UlBlWmOBXm(op_JDUIKTTSIa(op_dYTqEtTc30(a),op_W5FaPSP1ue(a,a)),op_lzCx6JGp55(op_1pJ76SN1ns(a),op_H6S8IR817C(a,24)))
    return count


def op_emTSK01Iw7(a):
    return op_ET0KLvfdmE(a,a)

def op_count_emTSK01Iw7(a):
    count = op_count_ET0KLvfdmE(a,a)
    return count


def op_znIeHMBhkf(a):
    return op_diu054m9en(a,op_zDnGpti63o(op_OkeBNI2wuD(a,244)))

def op_count_znIeHMBhkf(a):
    count = op_count_OkeBNI2wuD(a,244)+op_count_zDnGpti63o(op_OkeBNI2wuD(a,244))+op_count_diu054m9en(a,op_zDnGpti63o(op_OkeBNI2wuD(a,244)))
    return count


def op_dm7TFAx3aQ(a, b):
    return op_9rNHCbYvka(op_kvyeM8WEH2(a,219),op_gTCkXbls8X(354,b))

def op_count_dm7TFAx3aQ(a, b):
    count = op_count_kvyeM8WEH2(a,219)+op_count_gTCkXbls8X(354,b)+op_count_9rNHCbYvka(op_kvyeM8WEH2(a,219),op_gTCkXbls8X(354,b))
    return count


def op_obpI3BDn1W(a):
    return op_BC6gHeSr3C(op_RFg3ArkQ7E(a))

def op_count_obpI3BDn1W(a):
    count = op_count_RFg3ArkQ7E(a)+op_count_BC6gHeSr3C(op_RFg3ArkQ7E(a))
    return count


def op_5E98EovdLU(a):
    return op_wicAB68Tmb(a,op_0P6jqB2nlY(a,a))

def op_count_5E98EovdLU(a):
    count = op_count_0P6jqB2nlY(a,a)+op_count_wicAB68Tmb(a,op_0P6jqB2nlY(a,a))
    return count


def op_mNv3h3qoQh(a, b):
    return op_bX58bBWVyZ(op_k4iM1060OG(a),b)

def op_count_mNv3h3qoQh(a, b):
    count = op_count_k4iM1060OG(a)+op_count_bX58bBWVyZ(op_k4iM1060OG(a),b)
    return count


def op_BMloVcCAD5(a):
    return op_lDgtejlvTV(op_b3qeQyvZfP(op_qDGJMdN0kq(a),op_ceRqZ68cFu(6,a)),op_zcaA4Z4NaO(op_YdxZk85PfS(172,a),op_Lkz5QGQDKX(a)))

def op_count_BMloVcCAD5(a):
    count = op_count_qDGJMdN0kq(a)+op_count_ceRqZ68cFu(6,a)+op_count_b3qeQyvZfP(op_qDGJMdN0kq(a),op_ceRqZ68cFu(6,a))+op_count_YdxZk85PfS(172,a)+op_count_Lkz5QGQDKX(a)+op_count_zcaA4Z4NaO(op_YdxZk85PfS(172,a),op_Lkz5QGQDKX(a))+op_count_lDgtejlvTV(op_b3qeQyvZfP(op_qDGJMdN0kq(a),op_ceRqZ68cFu(6,a)),op_zcaA4Z4NaO(op_YdxZk85PfS(172,a),op_Lkz5QGQDKX(a)))
    return count


def op_Sc6eIP4YWz(a):
    return op_gub5Cegaqo(op_DolxePZw3A(op_O9zW7v9TAZ(a)),op_Wzsy2r6X7v(op_nhYeJWJD5X(a,a)))

def op_count_Sc6eIP4YWz(a):
    count = op_count_O9zW7v9TAZ(a)+op_count_DolxePZw3A(op_O9zW7v9TAZ(a))+op_count_nhYeJWJD5X(a,a)+op_count_Wzsy2r6X7v(op_nhYeJWJD5X(a,a))+op_count_gub5Cegaqo(op_DolxePZw3A(op_O9zW7v9TAZ(a)),op_Wzsy2r6X7v(op_nhYeJWJD5X(a,a)))
    return count


def op_Hi7QvixoQr(a):
    return op_2DlMacCsIx(a,a)

def op_count_Hi7QvixoQr(a):
    count = op_count_2DlMacCsIx(a,a)
    return count


def op_bQgVqQlgRF(a, b):
    return op_2DhqeOovny(op_yHZBwDW2Tk(b,a),op_RJKDfKcFKp(b,a))

def op_count_bQgVqQlgRF(a, b):
    count = op_count_yHZBwDW2Tk(b,a)+op_count_RJKDfKcFKp(b,a)+op_count_2DhqeOovny(op_yHZBwDW2Tk(b,a),op_RJKDfKcFKp(b,a))
    return count


a⩜∬ = { (((a⇊a)⪒⩉(a≤⨝))⇹⋂⨚((a≬⇓a)⫼⫗(a≭⫡a))) }

def op_9FQrFiz7QF(a):
    return op_wGJ01FE41T(op_JZ6LT1lUci(op_8h2Ofp3S4L(a,a),op_itkOnPxCeF(a)),op_c4Jgcjuupe(op_jWTQ2TZYIH(a,a),op_b1mGkbI4Oy(a,a)))

def op_count_9FQrFiz7QF(a):
    count = op_count_8h2Ofp3S4L(a,a)+op_count_itkOnPxCeF(a)+op_count_JZ6LT1lUci(op_8h2Ofp3S4L(a,a),op_itkOnPxCeF(a))+op_count_jWTQ2TZYIH(a,a)+op_count_b1mGkbI4Oy(a,a)+op_count_c4Jgcjuupe(op_jWTQ2TZYIH(a,a),op_b1mGkbI4Oy(a,a))+op_count_wGJ01FE41T(op_JZ6LT1lUci(op_8h2Ofp3S4L(a,a),op_itkOnPxCeF(a)),op_c4Jgcjuupe(op_jWTQ2TZYIH(a,a),op_b1mGkbI4Oy(a,a)))
    return count


a⫴⨛⇪ = { ((↨⩢⫨(⪫⇼653))⫫∤⪊((a↗59)≯⊼(a⪘⋉⇭a))) }

def op_FqFveK8S9Y(a):
    return op_meIKchaImn(op_Z5CJsN7DuW(op_8p2uRDTgwB(653)),op_6LEqcG83L6(op_ODFdAPCKMa(a,59),op_2TXroppNd4(a,a)))

def op_count_FqFveK8S9Y(a):
    count = op_count_8p2uRDTgwB(653)+op_count_Z5CJsN7DuW(op_8p2uRDTgwB(653))+op_count_ODFdAPCKMa(a,59)+op_count_2TXroppNd4(a,a)+op_count_6LEqcG83L6(op_ODFdAPCKMa(a,59),op_2TXroppNd4(a,a))+op_count_meIKchaImn(op_Z5CJsN7DuW(op_8p2uRDTgwB(653)),op_6LEqcG83L6(op_ODFdAPCKMa(a,59),op_2TXroppNd4(a,a)))
    return count


def op_Y3wE7m9rYT(a):
    return op_jrW1E7Ncie(op_WSRWkT62m6(a,259))

def op_count_Y3wE7m9rYT(a):
    count = op_count_WSRWkT62m6(a,259)+op_count_jrW1E7Ncie(op_WSRWkT62m6(a,259))
    return count


def op_dq7nuksIu3(a):
    return op_UvedHhwKRj(op_jrW1E7Ncie(a),op_hPFeJH6INu(a))

def op_count_dq7nuksIu3(a):
    count = op_count_jrW1E7Ncie(a)+op_count_hPFeJH6INu(a)+op_count_UvedHhwKRj(op_jrW1E7Ncie(a),op_hPFeJH6INu(a))
    return count


a⇸⋑≛b = { (((⩲⨓⪠a)↹(b⋪⪈a))≻≌⋽((161⩚⊥⨞)⋉(b⫰⋱b))) }

def op_JhscMtXp41(a, b):
    return op_wHIWe8QR1k(op_Cu8F6Sd0bU(op_etBYAzj5y8(a),op_VIItbDWeFv(b,a)),op_Lctt7tVaRL(op_4zmgO5IZPg(161),op_6o9Blt3TJ6(b,b)))

def op_count_JhscMtXp41(a, b):
    count = op_count_etBYAzj5y8(a)+op_count_VIItbDWeFv(b,a)+op_count_Cu8F6Sd0bU(op_etBYAzj5y8(a),op_VIItbDWeFv(b,a))+op_count_4zmgO5IZPg(161)+op_count_6o9Blt3TJ6(b,b)+op_count_Lctt7tVaRL(op_4zmgO5IZPg(161),op_6o9Blt3TJ6(b,b))+op_count_wHIWe8QR1k(op_Cu8F6Sd0bU(op_etBYAzj5y8(a),op_VIItbDWeFv(b,a)),op_Lctt7tVaRL(op_4zmgO5IZPg(161),op_6o9Blt3TJ6(b,b)))
    return count


def op_CFh2zoe2kn(a):
    return op_1ceZExPqB0(op_diKm42VcIt(op_b1N51d35SA(187,a)),op_EqdHc83poM(op_qCCe0Qx1RA(46,a),op_JjBRwFuOb8(a,a)))

def op_count_CFh2zoe2kn(a):
    count = op_count_b1N51d35SA(187,a)+op_count_diKm42VcIt(op_b1N51d35SA(187,a))+op_count_qCCe0Qx1RA(46,a)+op_count_JjBRwFuOb8(a,a)+op_count_EqdHc83poM(op_qCCe0Qx1RA(46,a),op_JjBRwFuOb8(a,a))+op_count_1ceZExPqB0(op_diKm42VcIt(op_b1N51d35SA(187,a)),op_EqdHc83poM(op_qCCe0Qx1RA(46,a),op_JjBRwFuOb8(a,a)))
    return count


⊓∉a = { (((a↯⊜27)↜⇎⇭(a⪙⇔729))⨆⫳⊗((a⩢⇢a)⫾≽(a⊁))) }

def op_rqxXRC7gEZ(a):
    return op_lKgWx0LCvK(op_HZSpWngSsm(op_54UxIFHdAV(a,27),op_HtfiQVUMWI(a,729)),op_OKGz76xQTU(op_C4PqR2W9Pw(a,a),op_IU5bnLfiEv(a)))

def op_count_rqxXRC7gEZ(a):
    count = op_count_54UxIFHdAV(a,27)+op_count_HtfiQVUMWI(a,729)+op_count_HZSpWngSsm(op_54UxIFHdAV(a,27),op_HtfiQVUMWI(a,729))+op_count_C4PqR2W9Pw(a,a)+op_count_IU5bnLfiEv(a)+op_count_OKGz76xQTU(op_C4PqR2W9Pw(a,a),op_IU5bnLfiEv(a))+op_count_lKgWx0LCvK(op_HZSpWngSsm(op_54UxIFHdAV(a,27),op_HtfiQVUMWI(a,729)),op_OKGz76xQTU(op_C4PqR2W9Pw(a,a),op_IU5bnLfiEv(a)))
    return count


def op_tQKnISv1k6(a):
    return op_NOyIGfOOXL(op_devHHn6C3c(op_FWWC6DdxcU(a,30)),op_Yslh20Vpco(op_6VowpqB2XT(83,32),op_J8mwGSlA9d(a,a)))

def op_count_tQKnISv1k6(a):
    count = op_count_FWWC6DdxcU(a,30)+op_count_devHHn6C3c(op_FWWC6DdxcU(a,30))+op_count_6VowpqB2XT(83,32)+op_count_J8mwGSlA9d(a,a)+op_count_Yslh20Vpco(op_6VowpqB2XT(83,32),op_J8mwGSlA9d(a,a))+op_count_NOyIGfOOXL(op_devHHn6C3c(op_FWWC6DdxcU(a,30)),op_Yslh20Vpco(op_6VowpqB2XT(83,32),op_J8mwGSlA9d(a,a)))
    return count


a⇇⊟∂ = { ((⋂⊲(a⊹))⫉⨲⊜((a⇣⫑118)≵⩾⇗(a⪩∱a))) }

def op_cMU0zZ4sy1(a):
    return op_WhqkvtTD3t(op_YHNvv2eCGw(op_AxXlgV2eu3(a)),op_GyJNigkHRe(op_srhPeXBSZS(a,118),op_MLuVrXzyTy(a,a)))

def op_count_cMU0zZ4sy1(a):
    count = op_count_AxXlgV2eu3(a)+op_count_YHNvv2eCGw(op_AxXlgV2eu3(a))+op_count_srhPeXBSZS(a,118)+op_count_MLuVrXzyTy(a,a)+op_count_GyJNigkHRe(op_srhPeXBSZS(a,118),op_MLuVrXzyTy(a,a))+op_count_WhqkvtTD3t(op_YHNvv2eCGw(op_AxXlgV2eu3(a)),op_GyJNigkHRe(op_srhPeXBSZS(a,118),op_MLuVrXzyTy(a,a)))
    return count


⋵⇜a = { (((a⨌↪)≐(30≎))↧⪱((a⫍⫂a)↖≺⇫(a⨇∑⇷a))) }

def op_uHAujLx7jl(a):
    return op_NzkNgIFiP9(op_IdGCdXTLRX(op_cWQsF5MvuD(a),op_ziBb4sC0ZT(30)),op_rh14SKPVeV(op_XZQF252bpX(a,a),op_LCjPM0UdxD(a,a)))

def op_count_uHAujLx7jl(a):
    count = op_count_cWQsF5MvuD(a)+op_count_ziBb4sC0ZT(30)+op_count_IdGCdXTLRX(op_cWQsF5MvuD(a),op_ziBb4sC0ZT(30))+op_count_XZQF252bpX(a,a)+op_count_LCjPM0UdxD(a,a)+op_count_rh14SKPVeV(op_XZQF252bpX(a,a),op_LCjPM0UdxD(a,a))+op_count_NzkNgIFiP9(op_IdGCdXTLRX(op_cWQsF5MvuD(a),op_ziBb4sC0ZT(30)),op_rh14SKPVeV(op_XZQF252bpX(a,a),op_LCjPM0UdxD(a,a)))
    return count


def op_FAWQhvo210(a):
    return op_212REbPD9h(a,430)

def op_count_FAWQhvo210(a):
    count = op_count_212REbPD9h(a,430)
    return count


a⩍⩠⊜ = { (((⩔↳70)⋯↤(⇏⫅a))⪣⋝⋒((a⫣⨩137)↖≺⇫(a⨑a))) }

def op_p3n13hw615(a):
    return op_TbULwM3gdg(op_AqWwJ29PGN(op_JvH2m5hQ94(70),op_p1y54au9R0(a)),op_rh14SKPVeV(op_4ZyE98Jico(a,137),op_IxJHfR5psi(a,a)))

def op_count_p3n13hw615(a):
    count = op_count_JvH2m5hQ94(70)+op_count_p1y54au9R0(a)+op_count_AqWwJ29PGN(op_JvH2m5hQ94(70),op_p1y54au9R0(a))+op_count_4ZyE98Jico(a,137)+op_count_IxJHfR5psi(a,a)+op_count_rh14SKPVeV(op_4ZyE98Jico(a,137),op_IxJHfR5psi(a,a))+op_count_TbULwM3gdg(op_AqWwJ29PGN(op_JvH2m5hQ94(70),op_p1y54au9R0(a)),op_rh14SKPVeV(op_4ZyE98Jico(a,137),op_IxJHfR5psi(a,a)))
    return count


def op_kYEX8TTQiv(a, b):
    return op_8AQFS2Ajjd(op_rJVOvQCfKK(a,b))

def op_count_kYEX8TTQiv(a, b):
    count = op_count_rJVOvQCfKK(a,b)+op_count_8AQFS2Ajjd(op_rJVOvQCfKK(a,b))
    return count


def op_ddRwwn6plX(a):
    return op_vhtqQa4va1(a,219)

def op_count_ddRwwn6plX(a):
    count = op_count_vhtqQa4va1(a,219)
    return count


⩌⇑⇏a = { (((a⪲⨢a)∰(⩝a))∝⫕∽((a⇦⋔⨵)∷↰≆(a←⩶a))) }

def op_9jHS2qrjEm(a):
    return op_O6oPZIQyvW(op_PmR7WuS4AT(op_6iafYuwGo8(a,a),op_AqJQW3khbP(a)),op_eFpA6433h8(op_u3XxlibK4s(a),op_qsAu3zulMu(a,a)))

def op_count_9jHS2qrjEm(a):
    count = op_count_6iafYuwGo8(a,a)+op_count_AqJQW3khbP(a)+op_count_PmR7WuS4AT(op_6iafYuwGo8(a,a),op_AqJQW3khbP(a))+op_count_u3XxlibK4s(a)+op_count_qsAu3zulMu(a,a)+op_count_eFpA6433h8(op_u3XxlibK4s(a),op_qsAu3zulMu(a,a))+op_count_O6oPZIQyvW(op_PmR7WuS4AT(op_6iafYuwGo8(a,a),op_AqJQW3khbP(a)),op_eFpA6433h8(op_u3XxlibK4s(a),op_qsAu3zulMu(a,a)))
    return count


def op_qmGB6Z5qAk(a):
    return op_aA7tF3KVD3(op_y2kQTS4a70(a,a))

def op_count_qmGB6Z5qAk(a):
    count = op_count_y2kQTS4a70(a,a)+op_count_aA7tF3KVD3(op_y2kQTS4a70(a,a))
    return count


def op_J0UE6i7VTg(a):
    return op_LnO038Eblv(op_CjIShBDbjh(op_STs8eSTo28(a)),a)

def op_count_J0UE6i7VTg(a):
    count = op_count_STs8eSTo28(a)+op_count_CjIShBDbjh(op_STs8eSTo28(a))+op_count_LnO038Eblv(op_CjIShBDbjh(op_STs8eSTo28(a)),a)
    return count


a≜⋭b = { (((b⩌⫰⩃a)⊸⨥≭(a⊪⨰⋆b))⊪⨰⋆(⨌⪏(388⫏165))) }

def op_XzRlZGVJ3s(a, b):
    return op_gVe57Wp8lf(op_Y51oDxb2WH(op_Qkdmijf3a6(b,a),op_gVe57Wp8lf(a,b)),op_aKouilhhtC(op_uQ5MaQD2YO(388,165)))

def op_count_XzRlZGVJ3s(a, b):
    count = op_count_Qkdmijf3a6(b,a)+op_count_gVe57Wp8lf(a,b)+op_count_Y51oDxb2WH(op_Qkdmijf3a6(b,a),op_gVe57Wp8lf(a,b))+op_count_uQ5MaQD2YO(388,165)+op_count_aKouilhhtC(op_uQ5MaQD2YO(388,165))+op_count_gVe57Wp8lf(op_Y51oDxb2WH(op_Qkdmijf3a6(b,a),op_gVe57Wp8lf(a,b)),op_aKouilhhtC(op_uQ5MaQD2YO(388,165)))
    return count


def op_n4rX4TPmCH(a):
    return op_Yd9a1pGZCe(op_GODebY97qR(a,a))

def op_count_n4rX4TPmCH(a):
    count = op_count_GODebY97qR(a,a)+op_count_Yd9a1pGZCe(op_GODebY97qR(a,a))
    return count


def op_8KD5g6pgvO(a):
    return op_crtJ4cV1Co(op_Z6qvuIbiDz(op_kn8WO9XteQ(395,a),op_H6BK1Evt7c(a)),op_ReAzrgtvfu(op_NsGlVlbNoR(a,a),op_EZf0a6At7B(a,8)))

def op_count_8KD5g6pgvO(a):
    count = op_count_kn8WO9XteQ(395,a)+op_count_H6BK1Evt7c(a)+op_count_Z6qvuIbiDz(op_kn8WO9XteQ(395,a),op_H6BK1Evt7c(a))+op_count_NsGlVlbNoR(a,a)+op_count_EZf0a6At7B(a,8)+op_count_ReAzrgtvfu(op_NsGlVlbNoR(a,a),op_EZf0a6At7B(a,8))+op_count_crtJ4cV1Co(op_Z6qvuIbiDz(op_kn8WO9XteQ(395,a),op_H6BK1Evt7c(a)),op_ReAzrgtvfu(op_NsGlVlbNoR(a,a),op_EZf0a6At7B(a,8)))
    return count