a⋭⫎⪟ = { (∋∴((a⋳/a)⫶(a⪇≇⋚713))) , if (a<=8 and (⪸a)>=16) ; (⨩∲⋌((a⨜⨶a)⇛(a⊵a))) , else }

def op_nw0VKSfdAL(a):
    if (a <= 8 and op_86A5ENbKR9(a) >= 16):
        return op_nouZ5SZjt1(op_BAIXFdYaz3(op_m612RDITqL(a,a),op_3sJ7IOPOlU(a,713)))
    else:
        return op_aSik1wnThz(op_S3tN1ZzpSt(op_HiPekx5b7W(a,a),op_eaFBhJ0Uku(a,a)))

def op_count_nw0VKSfdAL(a):
    if (a <= 8 and op_86A5ENbKR9(a) >= 16):
        count = op_count_m612RDITqL(a,a)+op_count_3sJ7IOPOlU(a,713)+op_count_BAIXFdYaz3(op_m612RDITqL(a,a),op_3sJ7IOPOlU(a,713))+op_count_nouZ5SZjt1(op_BAIXFdYaz3(op_m612RDITqL(a,a),op_3sJ7IOPOlU(a,713)))+op_count_86A5ENbKR9(a)
    else:
        count = op_count_HiPekx5b7W(a,a)+op_count_eaFBhJ0Uku(a,a)+op_count_S3tN1ZzpSt(op_HiPekx5b7W(a,a),op_eaFBhJ0Uku(a,a))+op_count_aSik1wnThz(op_S3tN1ZzpSt(op_HiPekx5b7W(a,a),op_eaFBhJ0Uku(a,a)))
    return count


def op_Z6qvuIbiDz(a, b):
    if (a != 14 and op_zFNL8mZEFB(a,509) <= 120):
        return op_z2JHNkvbdm(b,op_sdazOOVcIp(a,b))
    else:
        return op_qxqspddX8k(op_UMMmb9LONo(b),op_1h0rLqGiFr(19))

def op_count_Z6qvuIbiDz(a, b):
    if (a != 14 and op_zFNL8mZEFB(a,509) <= 120):
        count = op_count_sdazOOVcIp(a,b)+op_count_z2JHNkvbdm(b,op_sdazOOVcIp(a,b))+op_count_zFNL8mZEFB(a,509)
    else:
        count = op_count_UMMmb9LONo(b)+op_count_1h0rLqGiFr(19)+op_count_qxqspddX8k(op_UMMmb9LONo(b),op_1h0rLqGiFr(19))
    return count


def op_3ngf5It8Ig(a, b):
    if (op_i3MWstRFMQ(a) <= 5 or op_zoVPnxeHJ3(a) == 737):
        return op_WObL9SsYVE(op_eewbuw0ToL(b,b),op_W4YGzv6Whe(op_W4YGzv6Whe(b,a),op_eIba4BG3xN(a)))
    else:
        return op_jBC4ymW3D7(op_eewbuw0ToL(op_PrwIXj9ZQe(397),171),op_Wm7LHi3c8p(op_ieTw63T1Vx(a)))

def op_count_3ngf5It8Ig(a, b):
    if (op_i3MWstRFMQ(a) <= 5 or op_zoVPnxeHJ3(a) == 737):
        count = op_count_eewbuw0ToL(b,b)+op_count_W4YGzv6Whe(b,a)+op_count_eIba4BG3xN(a)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(b,a),op_eIba4BG3xN(a))+op_count_WObL9SsYVE(op_eewbuw0ToL(b,b),op_W4YGzv6Whe(op_W4YGzv6Whe(b,a),op_eIba4BG3xN(a)))+op_count_i3MWstRFMQ(a)+op_count_zoVPnxeHJ3(a)
    else:
        count = op_count_PrwIXj9ZQe(397)+op_count_eewbuw0ToL(op_PrwIXj9ZQe(397),171)+op_count_ieTw63T1Vx(a)+op_count_Wm7LHi3c8p(op_ieTw63T1Vx(a))+op_count_jBC4ymW3D7(op_eewbuw0ToL(op_PrwIXj9ZQe(397),171),op_Wm7LHi3c8p(op_ieTw63T1Vx(a)))
    return count


a⩯b = { ((a⨔⇊b)∑(b⋘⨑⨽)) , if b!=9 ; ((b⋝⋈⪟a)∷(a⪭↷⊩)) , else }

def op_2Pss3UZ1M3(a, b):
    if b != 9:
        return op_JFrVJKYFMX(op_JclMnS0uGI(a,b),op_WmT3o8z6ya(b))
    else:
        return op_D3AQDKkPcf(op_2DDjHMKMc0(b,a),op_Oe8teynzfS(a))

def op_count_2Pss3UZ1M3(a, b):
    if b != 9:
        count = op_count_JclMnS0uGI(a,b)+op_count_WmT3o8z6ya(b)+op_count_JFrVJKYFMX(op_JclMnS0uGI(a,b),op_WmT3o8z6ya(b))
    else:
        count = op_count_2DDjHMKMc0(b,a)+op_count_Oe8teynzfS(a)+op_count_D3AQDKkPcf(op_2DDjHMKMc0(b,a),op_Oe8teynzfS(a))
    return count


def op_8cNrNy0nrI(a, b):
    if a > 440:
        return op_3tVxb0NHM4(500,b)
    else:
        return op_B3sABdIn96(b)

def op_count_8cNrNy0nrI(a, b):
    if a > 440:
        count = op_count_3tVxb0NHM4(500,b)
    else:
        count = op_count_B3sABdIn96(b)
    return count


def op_RlyZ5BtrCK(a, b):
    if op_S56z7WVPBn(a) >= 786:
        return op_s3Fd5m9Dh2(a,op_2z8nE7LpCu(b,op_cwbF3JtlMN(33,131)))
    else:
        return op_DbCuESL50I(op_9FxExcQeMw(op_12rbrZMWeM(b,641),op_VJ330n2nnx(a)))

def op_count_RlyZ5BtrCK(a, b):
    if op_S56z7WVPBn(a) >= 786:
        count = op_count_cwbF3JtlMN(33,131)+op_count_2z8nE7LpCu(b,op_cwbF3JtlMN(33,131))+op_count_s3Fd5m9Dh2(a,op_2z8nE7LpCu(b,op_cwbF3JtlMN(33,131)))+op_count_S56z7WVPBn(a)
    else:
        count = op_count_12rbrZMWeM(b,641)+op_count_VJ330n2nnx(a)+op_count_9FxExcQeMw(op_12rbrZMWeM(b,641),op_VJ330n2nnx(a))+op_count_DbCuESL50I(op_9FxExcQeMw(op_12rbrZMWeM(b,641),op_VJ330n2nnx(a)))
    return count


def op_p3tkozcGQn(a):
    if a >= 157:
        return a
    else:
        return op_rIsGeVJWJF(a)

def op_count_p3tkozcGQn(a):
    if a >= 157:
        count = 1
    else:
        count = op_count_rIsGeVJWJF(a)
    return count


def op_fdQiiaMU1g(a):
    if a <= 590:
        return op_tfWHHpNKUN(971)
    else:
        return op_jBC4ymW3D7(123,a)

def op_count_fdQiiaMU1g(a):
    if a <= 590:
        count = op_count_tfWHHpNKUN(971)
    else:
        count = op_count_jBC4ymW3D7(123,a)
    return count


a⨸∤⊸b = { ((a⪇≇⋚8)⩘⋿(a⫏↛⩏b)) , if (a↾⩰)<0 ; ((⋃b)≼(a⩌⋺a)) , else }

def op_GXvETGfcjc(a, b):
    if op_GNmBfxrna9(a) < 0:
        return op_64EQ39e0fC(op_3sJ7IOPOlU(a,8),op_YC3tgrnOyr(a,b))
    else:
        return op_SPuZE40Ntn(op_3mBM5G4a3l(b),op_g7Hmc5v1ko(a,a))

def op_count_GXvETGfcjc(a, b):
    if op_GNmBfxrna9(a) < 0:
        count = op_count_3sJ7IOPOlU(a,8)+op_count_YC3tgrnOyr(a,b)+op_count_64EQ39e0fC(op_3sJ7IOPOlU(a,8),op_YC3tgrnOyr(a,b))+op_count_GNmBfxrna9(a)
    else:
        count = op_count_3mBM5G4a3l(b)+op_count_g7Hmc5v1ko(a,a)+op_count_SPuZE40Ntn(op_3mBM5G4a3l(b),op_g7Hmc5v1ko(a,a))
    return count


def op_7Xkn05QJzG(a):
    if op_eaFBhJ0Uku(a,397) == 60:
        return op_840vADziXz(op_jBC4ymW3D7(op_FB83X2dByY(16),op_SWo3A1KBJH(92)))
    else:
        return op_7j4O788W3g(op_UqUOXUQnbU(op_Pkwamo1tM2(a,a),op_Qaz2MhZaG5(55,a)),op_DbCuESL50I(op_BiWNJpBvwn(a,a)))

def op_count_7Xkn05QJzG(a):
    if op_eaFBhJ0Uku(a,397) == 60:
        count = op_count_FB83X2dByY(16)+op_count_SWo3A1KBJH(92)+op_count_jBC4ymW3D7(op_FB83X2dByY(16),op_SWo3A1KBJH(92))+op_count_840vADziXz(op_jBC4ymW3D7(op_FB83X2dByY(16),op_SWo3A1KBJH(92)))+op_count_eaFBhJ0Uku(a,397)
    else:
        count = op_count_Pkwamo1tM2(a,a)+op_count_Qaz2MhZaG5(55,a)+op_count_UqUOXUQnbU(op_Pkwamo1tM2(a,a),op_Qaz2MhZaG5(55,a))+op_count_BiWNJpBvwn(a,a)+op_count_DbCuESL50I(op_BiWNJpBvwn(a,a))+op_count_7j4O788W3g(op_UqUOXUQnbU(op_Pkwamo1tM2(a,a),op_Qaz2MhZaG5(55,a)),op_DbCuESL50I(op_BiWNJpBvwn(a,a)))
    return count


a⋛⩽ = { (((a≚⊃≕a)⫶(a⫇⋯a))⨳⩥⨓((⪁⇼a)⩚⊴⇥(⪀≱a))) , if (⨍⩸↶a)>324 ; (((a⊬⨰30)⨧(a⩹159))⨔⇊((a⇤a)⋎(a⊲⩕⊾a))) , else }

def op_jmCra7qUaq(a):
    if op_2jG7DiviLq(a) > 324:
        return op_nCS4ZIUYfx(op_BAIXFdYaz3(op_Bmrmz2XGnR(a,a),op_xoJmIySC7h(a,a)),op_NTOWxs364D(op_ZNVVrZ94lY(a),op_tDVI6bDdAd(a)))
    else:
        return op_JclMnS0uGI(op_3YWlZA9bsa(op_s3Fd5m9Dh2(a,30),op_2Wsdkap16l(a,159)),op_qy3n0tapmE(op_YSKBFp38Pu(a,a),op_DmTXOeWf9t(a,a)))

def op_count_jmCra7qUaq(a):
    if op_2jG7DiviLq(a) > 324:
        count = op_count_Bmrmz2XGnR(a,a)+op_count_xoJmIySC7h(a,a)+op_count_BAIXFdYaz3(op_Bmrmz2XGnR(a,a),op_xoJmIySC7h(a,a))+op_count_ZNVVrZ94lY(a)+op_count_tDVI6bDdAd(a)+op_count_NTOWxs364D(op_ZNVVrZ94lY(a),op_tDVI6bDdAd(a))+op_count_nCS4ZIUYfx(op_BAIXFdYaz3(op_Bmrmz2XGnR(a,a),op_xoJmIySC7h(a,a)),op_NTOWxs364D(op_ZNVVrZ94lY(a),op_tDVI6bDdAd(a)))+op_count_2jG7DiviLq(a)
    else:
        count = op_count_s3Fd5m9Dh2(a,30)+op_count_2Wsdkap16l(a,159)+op_count_3YWlZA9bsa(op_s3Fd5m9Dh2(a,30),op_2Wsdkap16l(a,159))+op_count_YSKBFp38Pu(a,a)+op_count_DmTXOeWf9t(a,a)+op_count_qy3n0tapmE(op_YSKBFp38Pu(a,a),op_DmTXOeWf9t(a,a))+op_count_JclMnS0uGI(op_3YWlZA9bsa(op_s3Fd5m9Dh2(a,30),op_2Wsdkap16l(a,159)),op_qy3n0tapmE(op_YSKBFp38Pu(a,a),op_DmTXOeWf9t(a,a)))
    return count


def op_yBHxIlLhSA(a, b):
    if op_pjdzZ5rP1Y(b) != 227:
        return op_zR4jO40bMj(204,a)
    else:
        return op_bjFbhXSADs(a)

def op_count_yBHxIlLhSA(a, b):
    if op_pjdzZ5rP1Y(b) != 227:
        count = op_count_zR4jO40bMj(204,a)+op_count_pjdzZ5rP1Y(b)
    else:
        count = op_count_bjFbhXSADs(a)
    return count


def op_ZyRooXrppx(a):
    if op_rysDP5nf3Z(a,695) > 73 or op_rlpcYeipVY(a) != 526:
        return op_FB83X2dByY(op_WmT3o8z6ya(a))
    else:
        return op_2Wsdkap16l(op_D3AQDKkPcf(a,a),op_AYdpE9sXAk(a))

def op_count_ZyRooXrppx(a):
    if op_rysDP5nf3Z(a,695) > 73 or op_rlpcYeipVY(a) != 526:
        count = op_count_WmT3o8z6ya(a)+op_count_FB83X2dByY(op_WmT3o8z6ya(a))+op_count_rysDP5nf3Z(a,695)+op_count_rlpcYeipVY(a)
    else:
        count = op_count_D3AQDKkPcf(a,a)+op_count_AYdpE9sXAk(a)+op_count_2Wsdkap16l(op_D3AQDKkPcf(a,a),op_AYdpE9sXAk(a))
    return count


a⪟⊪b = { (⊡⇒⪪(8⊹⊞⫔)) , if (b⊚⫡⫭)>=378 ; ((a⫯⪬∳648)⨐a) , else }

def op_iVzLhW7Qip(a, b):
    if op_SpZWOsLKZJ(b) >= 378:
        return op_wisItNeSwq(op_eVHdItn4YL(8))
    else:
        return op_Noe24qw2ks(op_d7ASUq0ydm(a,648),a)

def op_count_iVzLhW7Qip(a, b):
    if op_SpZWOsLKZJ(b) >= 378:
        count = op_count_eVHdItn4YL(8)+op_count_wisItNeSwq(op_eVHdItn4YL(8))+op_count_SpZWOsLKZJ(b)
    else:
        count = op_count_d7ASUq0ydm(a,648)+op_count_Noe24qw2ks(op_d7ASUq0ydm(a,648),a)
    return count


a⩚⇏ = { (a⪨⊡a) , if (a⊛⫍⩜)==945 ; (⪷∈↠a) , else }

def op_8VOMfS9Ted(a):
    if op_KaSTSbOewx(a) == 945:
        return op_kuIXHzHcAH(a,a)
    else:
        return op_Kn0TacbtGK(a)

def op_count_8VOMfS9Ted(a):
    if op_KaSTSbOewx(a) == 945:
        count = op_count_kuIXHzHcAH(a,a)+op_count_KaSTSbOewx(a)
    else:
        count = op_count_Kn0TacbtGK(a)
    return count


a⩑⋮⋾ = { (a⩌⋺(a∠↢a)) , if (a⨬⫳)>=849 ; ((a↢a)⊔(a⋐≟⩺a)) , else }

def op_JiteNRY3yT(a):
    if op_kc7iqVBlRY(a) >= 849:
        return op_g7Hmc5v1ko(a,op_KbjG8mgYpV(a,a))
    else:
        return op_E4l6HwMY31(op_WR6HLWljOP(a,a),op_PjbVkMzmXE(a,a))

def op_count_JiteNRY3yT(a):
    if op_kc7iqVBlRY(a) >= 849:
        count = op_count_KbjG8mgYpV(a,a)+op_count_g7Hmc5v1ko(a,op_KbjG8mgYpV(a,a))+op_count_kc7iqVBlRY(a)
    else:
        count = op_count_WR6HLWljOP(a,a)+op_count_PjbVkMzmXE(a,a)+op_count_E4l6HwMY31(op_WR6HLWljOP(a,a),op_PjbVkMzmXE(a,a))
    return count


def op_AzDRt8aN5T(a):
    if a >= 124:
        return op_3YWlZA9bsa(56,a)
    else:
        return op_8TQKPGA8Ba(a)

def op_count_AzDRt8aN5T(a):
    if a >= 124:
        count = op_count_3YWlZA9bsa(56,a)
    else:
        count = op_count_8TQKPGA8Ba(a)
    return count


a⊾⫆∬b = { (b↯⫤) , if a>123 ; (88⪨(a-∠b)) , else }

def op_0FYYz8fFRr(a, b):
    if a > 123:
        return op_VwlE7vj6HS(b)
    else:
        return op_2z8nE7LpCu(88,op_s0IfDFCCuZ(a,b))

def op_count_0FYYz8fFRr(a, b):
    if a > 123:
        count = op_count_VwlE7vj6HS(b)
    else:
        count = op_count_s0IfDFCCuZ(a,b)+op_count_2z8nE7LpCu(88,op_s0IfDFCCuZ(a,b))
    return count


a↖⪢⋶ = { (a⩌((a∄a)⋞(a≎⋽⪿))) , if a>114 ; (↸⊣((a+a)∼⇢(⊿a))) , else }

def op_PFXS2rZOZy(a):
    if a > 114:
        return op_UoVew8f2p2(a,op_V4yb4KDoeF(op_tnyRA5sazQ(a,a),op_Mp74FtG4yY(a)))
    else:
        return op_wztAlM01eG(op_Cr5xnr8B4B(op_W4YGzv6Whe(a,a),op_DO4fhlbJSI(a)))

def op_count_PFXS2rZOZy(a):
    if a > 114:
        count = op_count_tnyRA5sazQ(a,a)+op_count_Mp74FtG4yY(a)+op_count_V4yb4KDoeF(op_tnyRA5sazQ(a,a),op_Mp74FtG4yY(a))+op_count_UoVew8f2p2(a,op_V4yb4KDoeF(op_tnyRA5sazQ(a,a),op_Mp74FtG4yY(a)))
    else:
        count = op_count_W4YGzv6Whe(a,a)+op_count_DO4fhlbJSI(a)+op_count_Cr5xnr8B4B(op_W4YGzv6Whe(a,a),op_DO4fhlbJSI(a))+op_count_wztAlM01eG(op_Cr5xnr8B4B(op_W4YGzv6Whe(a,a),op_DO4fhlbJSI(a)))
    return count


def op_LhvNDUsqGs(a):
    if op_61wBmkZwlr(a) <= 661 and a >= 145 and a <= 7:
        return op_GMN7JP6WpN(op_2jG7DiviLq(op_wsXFuL0hC6(a,226)),op_Zubgv0tBda(op_OWnFPqjWlR(a,a)))
    else:
        return op_gx7XJ7hdpj(op_tnyRA5sazQ(op_DE7zCoGJt9(a),op_S5ZFQS4GK3(224,204)),op_cTDWOvIxvz(op_Q6LsZf8ZYd(a),op_C6VvDP6HwP(224)))

def op_count_LhvNDUsqGs(a):
    if op_61wBmkZwlr(a) <= 661 and a >= 145 and a <= 7:
        count = op_count_wsXFuL0hC6(a,226)+op_count_2jG7DiviLq(op_wsXFuL0hC6(a,226))+op_count_OWnFPqjWlR(a,a)+op_count_Zubgv0tBda(op_OWnFPqjWlR(a,a))+op_count_GMN7JP6WpN(op_2jG7DiviLq(op_wsXFuL0hC6(a,226)),op_Zubgv0tBda(op_OWnFPqjWlR(a,a)))+op_count_61wBmkZwlr(a)
    else:
        count = op_count_DE7zCoGJt9(a)+op_count_S5ZFQS4GK3(224,204)+op_count_tnyRA5sazQ(op_DE7zCoGJt9(a),op_S5ZFQS4GK3(224,204))+op_count_Q6LsZf8ZYd(a)+op_count_C6VvDP6HwP(224)+op_count_cTDWOvIxvz(op_Q6LsZf8ZYd(a),op_C6VvDP6HwP(224))+op_count_gx7XJ7hdpj(op_tnyRA5sazQ(op_DE7zCoGJt9(a),op_S5ZFQS4GK3(224,204)),op_cTDWOvIxvz(op_Q6LsZf8ZYd(a),op_C6VvDP6HwP(224)))
    return count


≒⨯a = { (⋸⪍(a⩘⋿a)) , if a!=889 ; ((a⪈⋁⩁a)⫃⨇(a∿⫑≎a)) , else }

def op_qG9ZqFzE8s(a):
    if a != 889:
        return op_PrwIXj9ZQe(op_64EQ39e0fC(a,a))
    else:
        return op_09Ly4LVMIf(op_GMyVS5K48T(a,a),op_ar1w6gUwHX(a,a))

def op_count_qG9ZqFzE8s(a):
    if a != 889:
        count = op_count_64EQ39e0fC(a,a)+op_count_PrwIXj9ZQe(op_64EQ39e0fC(a,a))
    else:
        count = op_count_GMyVS5K48T(a,a)+op_count_ar1w6gUwHX(a,a)+op_count_09Ly4LVMIf(op_GMyVS5K48T(a,a),op_ar1w6gUwHX(a,a))
    return count


a⇩⇣b = { (b≶a) , if a==106 ; (b⇽⩪) , else }

def op_UscWZcTkUL(a, b):
    if a == 106:
        return op_Q2SPaKwpPJ(b,a)
    else:
        return op_FonBHBYJbU(b)

def op_count_UscWZcTkUL(a, b):
    if a == 106:
        count = op_count_Q2SPaKwpPJ(b,a)
    else:
        count = op_count_FonBHBYJbU(b)
    return count


⩼⇨⇄a = { (((a⪁⨴⋨a)⋂⩴(108⇼⇔∾a))∴((59∮⨁)⋂⩴(a⊋≦⊧a))) , if a>=360 ; a , else }

def op_aK1dng0i0Q(a):
    if a >= 360:
        return op_hrf7POJlIJ(op_hmlrMsD2PO(op_y2kQTS4a70(a,a),op_tifHPKVTfV(108,a)),op_hmlrMsD2PO(op_TytFGXR7Zf(59),op_oRDoc9rAEX(a,a)))
    else:
        return a

def op_count_aK1dng0i0Q(a):
    if a >= 360:
        count = op_count_y2kQTS4a70(a,a)+op_count_tifHPKVTfV(108,a)+op_count_hmlrMsD2PO(op_y2kQTS4a70(a,a),op_tifHPKVTfV(108,a))+op_count_TytFGXR7Zf(59)+op_count_oRDoc9rAEX(a,a)+op_count_hmlrMsD2PO(op_TytFGXR7Zf(59),op_oRDoc9rAEX(a,a))+op_count_hrf7POJlIJ(op_hmlrMsD2PO(op_y2kQTS4a70(a,a),op_tifHPKVTfV(108,a)),op_hmlrMsD2PO(op_TytFGXR7Zf(59),op_oRDoc9rAEX(a,a)))
    else:
        count = 1
    return count


⩳⪶a = { (a⨸⪁a) , if (⇻⨃⇄a)>647 ; (a⩉⊫⨁) , else }

def op_p1omWoN61t(a):
    if op_fLGIAiPz9h(a) > 647:
        return op_g55IO6H4Gj(a,a)
    else:
        return op_7qqUquhhSb(a)

def op_count_p1omWoN61t(a):
    if op_fLGIAiPz9h(a) > 647:
        count = op_count_g55IO6H4Gj(a,a)+op_count_fLGIAiPz9h(a)
    else:
        count = op_count_7qqUquhhSb(a)
    return count


a⫵⋭ = { (a⊔%a) , if (⊀⇵a)==638 ; (a⨌↪) , else }

def op_sJl07De2kP(a):
    if op_B3tNObfNaL(a) == 638:
        return op_uysxUYN2L2(a,a)
    else:
        return op_cWQsF5MvuD(a)

def op_count_sJl07De2kP(a):
    if op_B3tNObfNaL(a) == 638:
        count = op_count_uysxUYN2L2(a,a)+op_count_B3tNObfNaL(a)
    else:
        count = op_count_cWQsF5MvuD(a)
    return count


a⊻↞≧b = { ((⊈b)⪒⊣⊆(a⨑a)) , if (b⩾815)<=429 ; ((219∿⫑≎a)⩣⊵⩗(b⪒a)) , else }

def op_NZ4M85zvpZ(a, b):
    if op_UggxBX659n(b,815) <= 429:
        return op_eRqsBgTDFp(op_RHru8klgy8(b),op_IxJHfR5psi(a,a))
    else:
        return op_wsXFuL0hC6(op_ar1w6gUwHX(219,a),op_f6k1SAg4EE(b,a))

def op_count_NZ4M85zvpZ(a, b):
    if op_UggxBX659n(b,815) <= 429:
        count = op_count_RHru8klgy8(b)+op_count_IxJHfR5psi(a,a)+op_count_eRqsBgTDFp(op_RHru8klgy8(b),op_IxJHfR5psi(a,a))+op_count_UggxBX659n(b,815)
    else:
        count = op_count_ar1w6gUwHX(219,a)+op_count_f6k1SAg4EE(b,a)+op_count_wsXFuL0hC6(op_ar1w6gUwHX(219,a),op_f6k1SAg4EE(b,a))
    return count


⫟⇪⇾a = { (a⩣⫁∢((a≝⊿a)⫡⨏(a⇌⫙⪟a))) , if a>=387 ; (⊲⪭((⇻⫵a)⫸a)) , else }

def op_WnEoYGZB9p(a):
    if a >= 387:
        return op_JDUIKTTSIa(a,op_QMFrweE19q(op_OKKcZfAt5B(a,a),op_AFVx7xoS7T(a,a)))
    else:
        return op_k7HXdKtiEU(op_Qaz2MhZaG5(op_Wm7LHi3c8p(a),a))

def op_count_WnEoYGZB9p(a):
    if a >= 387:
        count = op_count_OKKcZfAt5B(a,a)+op_count_AFVx7xoS7T(a,a)+op_count_QMFrweE19q(op_OKKcZfAt5B(a,a),op_AFVx7xoS7T(a,a))+op_count_JDUIKTTSIa(a,op_QMFrweE19q(op_OKKcZfAt5B(a,a),op_AFVx7xoS7T(a,a)))
    else:
        count = op_count_Wm7LHi3c8p(a)+op_count_Qaz2MhZaG5(op_Wm7LHi3c8p(a),a)+op_count_k7HXdKtiEU(op_Qaz2MhZaG5(op_Wm7LHi3c8p(a),a))
    return count


a⪐≯↠ = { (((a⩧⪆386)⫦∱⫙)⩍⋽⫝̸((a⨴a)⪁⨴⋨(a⊒a))) , if a==426 ; (≦(a≶(a≃a))) , else }

def op_vjMnig3QBF(a):
    if a == 426:
        return op_BiWNJpBvwn(op_tHMVLcQ9bH(op_Ikt5ks8PT7(a,386)),op_y2kQTS4a70(op_jBC4ymW3D7(a,a),op_rPNtK4BLRO(a,a)))
    else:
        return op_RPa3726CSl(op_Q2SPaKwpPJ(a,op_YbVcJGFEVW(a,a)))

def op_count_vjMnig3QBF(a):
    if a == 426:
        count = op_count_Ikt5ks8PT7(a,386)+op_count_tHMVLcQ9bH(op_Ikt5ks8PT7(a,386))+op_count_jBC4ymW3D7(a,a)+op_count_rPNtK4BLRO(a,a)+op_count_y2kQTS4a70(op_jBC4ymW3D7(a,a),op_rPNtK4BLRO(a,a))+op_count_BiWNJpBvwn(op_tHMVLcQ9bH(op_Ikt5ks8PT7(a,386)),op_y2kQTS4a70(op_jBC4ymW3D7(a,a),op_rPNtK4BLRO(a,a)))
    else:
        count = op_count_YbVcJGFEVW(a,a)+op_count_Q2SPaKwpPJ(a,op_YbVcJGFEVW(a,a))+op_count_RPa3726CSl(op_Q2SPaKwpPJ(a,op_YbVcJGFEVW(a,a)))
    return count


a↮b = { (⊫∐⫩(a≬⋮b)) , if a>537 ; (↥≼⋛(a⪭a)) , else }

def op_ugTrrffvJh(a, b):
    if a > 537:
        return op_gSr4c7pPrV(op_kbkesczE7y(a,b))
    else:
        return op_x5lMkHmzsq(op_j9kHMeSvPp(a,a))

def op_count_ugTrrffvJh(a, b):
    if a > 537:
        count = op_count_kbkesczE7y(a,b)+op_count_gSr4c7pPrV(op_kbkesczE7y(a,b))
    else:
        count = op_count_j9kHMeSvPp(a,a)+op_count_x5lMkHmzsq(op_j9kHMeSvPp(a,a))
    return count


def op_Ye9Neqwqbv(a):
    if (op_hmlrMsD2PO(a,724) > 799 or a == 151 or op_SWo3A1KBJH(a) < 344):
        return op_OGWBzMv138(op_JDUIKTTSIa(op_jvbZP6NeOL(a),op_IGFM8TAlm9(a)),op_Ikt5ks8PT7(op_keuJNkrrbj(a,a),op_ieTw63T1Vx(a)))
    else:
        return op_BjRHVeLaeN(op_DIvbN7qnHd(op_5RY6W0glyJ(a)))

def op_count_Ye9Neqwqbv(a):
    if (op_hmlrMsD2PO(a,724) > 799 or a == 151 or op_SWo3A1KBJH(a) < 344):
        count = op_count_jvbZP6NeOL(a)+op_count_IGFM8TAlm9(a)+op_count_JDUIKTTSIa(op_jvbZP6NeOL(a),op_IGFM8TAlm9(a))+op_count_keuJNkrrbj(a,a)+op_count_ieTw63T1Vx(a)+op_count_Ikt5ks8PT7(op_keuJNkrrbj(a,a),op_ieTw63T1Vx(a))+op_count_OGWBzMv138(op_JDUIKTTSIa(op_jvbZP6NeOL(a),op_IGFM8TAlm9(a)),op_Ikt5ks8PT7(op_keuJNkrrbj(a,a),op_ieTw63T1Vx(a)))+op_count_hmlrMsD2PO(a,724)+op_count_SWo3A1KBJH(a)
    else:
        count = op_count_5RY6W0glyJ(a)+op_count_DIvbN7qnHd(op_5RY6W0glyJ(a))+op_count_BjRHVeLaeN(op_DIvbN7qnHd(op_5RY6W0glyJ(a)))
    return count


def op_V35NDd4Suc(a):
    if a >= 927:
        return op_zR4jO40bMj(op_g7Hmc5v1ko(a,a),op_giaUb8UVhq(a,435))
    else:
        return op_hFnZRMLNSM(op_cFVlceoRkX(177,a))

def op_count_V35NDd4Suc(a):
    if a >= 927:
        count = op_count_g7Hmc5v1ko(a,a)+op_count_giaUb8UVhq(a,435)+op_count_zR4jO40bMj(op_g7Hmc5v1ko(a,a),op_giaUb8UVhq(a,435))
    else:
        count = op_count_cFVlceoRkX(177,a)+op_count_hFnZRMLNSM(op_cFVlceoRkX(177,a))
    return count


a⫺⊿↻b = { ((↞b)⨻⪊⨷((a⫋)⋅⇍(⫟a))) , if (∡b)>19 ; (((a∿⫑≎197)⋰⇉∕(b⪚a))⩾(⋷⊟(⨾∊⩁286))) , else }

def op_02xnuIEL7W(a, b):
    if op_pRsWfj4Fpp(b) > 19:
        return op_Pkwamo1tM2(op_QKXs96F9fN(b),op_AdZkA7nFnk(op_mhIhit33mg(a),op_z4E1FaHLuy(a)))
    else:
        return op_UggxBX659n(op_sM9mzqIDB1(op_ar1w6gUwHX(a,197),op_HrjLwUk87U(b,a)),op_2fAMLLeFHb(op_QErWpSDGk0(286)))

def op_count_02xnuIEL7W(a, b):
    if op_pRsWfj4Fpp(b) > 19:
        count = op_count_QKXs96F9fN(b)+op_count_mhIhit33mg(a)+op_count_z4E1FaHLuy(a)+op_count_AdZkA7nFnk(op_mhIhit33mg(a),op_z4E1FaHLuy(a))+op_count_Pkwamo1tM2(op_QKXs96F9fN(b),op_AdZkA7nFnk(op_mhIhit33mg(a),op_z4E1FaHLuy(a)))+op_count_pRsWfj4Fpp(b)
    else:
        count = op_count_ar1w6gUwHX(a,197)+op_count_HrjLwUk87U(b,a)+op_count_sM9mzqIDB1(op_ar1w6gUwHX(a,197),op_HrjLwUk87U(b,a))+op_count_QErWpSDGk0(286)+op_count_2fAMLLeFHb(op_QErWpSDGk0(286))+op_count_UggxBX659n(op_sM9mzqIDB1(op_ar1w6gUwHX(a,197),op_HrjLwUk87U(b,a)),op_2fAMLLeFHb(op_QErWpSDGk0(286)))
    return count


a⩉⨿ = { a , if a>307 ; (((a⩦a)↾⩰)⨧↗⨷a) , else }

def op_0XrHeV7DGo(a):
    if a > 307:
        return a
    else:
        return op_WSbXXWOizJ(op_GNmBfxrna9(op_0kmYd0q39Y(a,a)),a)

def op_count_0XrHeV7DGo(a):
    if a > 307:
        count = 1
    else:
        count = op_count_0kmYd0q39Y(a,a)+op_count_GNmBfxrna9(op_0kmYd0q39Y(a,a))+op_count_WSbXXWOizJ(op_GNmBfxrna9(op_0kmYd0q39Y(a,a)),a)
    return count


def op_hv7txCVeHj(a, b):
    if (op_Kn0TacbtGK(a) >= 245 and op_XZxEnkN3N0(a) == 74):
        return op_4JGOJzXMq1(op_eewbuw0ToL(op_EO7Xdgo9So(b),op_B3sABdIn96(a)),op_YbVcJGFEVW(op_HrjLwUk87U(b,a),op_6iOiAJX1F8(b)))
    else:
        return b

def op_count_hv7txCVeHj(a, b):
    if (op_Kn0TacbtGK(a) >= 245 and op_XZxEnkN3N0(a) == 74):
        count = op_count_EO7Xdgo9So(b)+op_count_B3sABdIn96(a)+op_count_eewbuw0ToL(op_EO7Xdgo9So(b),op_B3sABdIn96(a))+op_count_HrjLwUk87U(b,a)+op_count_6iOiAJX1F8(b)+op_count_YbVcJGFEVW(op_HrjLwUk87U(b,a),op_6iOiAJX1F8(b))+op_count_4JGOJzXMq1(op_eewbuw0ToL(op_EO7Xdgo9So(b),op_B3sABdIn96(a)),op_YbVcJGFEVW(op_HrjLwUk87U(b,a),op_6iOiAJX1F8(b)))+op_count_Kn0TacbtGK(a)+op_count_XZxEnkN3N0(a)
    else:
        count = 1
    return count


def op_fctvr1MjnF(a):
    if op_ar1w6gUwHX(a,801) > 108:
        return op_s0IfDFCCuZ(59,a)
    else:
        return op_d8xe6WWVfM(a,a)

def op_count_fctvr1MjnF(a):
    if op_ar1w6gUwHX(a,801) > 108:
        count = op_count_s0IfDFCCuZ(59,a)+op_count_ar1w6gUwHX(a,801)
    else:
        count = op_count_d8xe6WWVfM(a,a)
    return count


⪳≺⋚a = { (a⩦a) , if a>=613 ; (199⋰⇉∕a) , else }

def op_I3byGEDeqT(a):
    if a >= 613:
        return op_0kmYd0q39Y(a,a)
    else:
        return op_sM9mzqIDB1(199,a)

def op_count_I3byGEDeqT(a):
    if a >= 613:
        count = op_count_0kmYd0q39Y(a,a)
    else:
        count = op_count_sM9mzqIDB1(199,a)
    return count


def op_E1o5MFdtNP(a, b):
    if op_9Isq31Ruls(b,677) < 109:
        return op_oDvtRyfmAM(op_jBC4ymW3D7(b,a))
    else:
        return op_6LuFrogppQ(op_Pkwamo1tM2(b,364))

def op_count_E1o5MFdtNP(a, b):
    if op_9Isq31Ruls(b,677) < 109:
        count = op_count_jBC4ymW3D7(b,a)+op_count_oDvtRyfmAM(op_jBC4ymW3D7(b,a))+op_count_9Isq31Ruls(b,677)
    else:
        count = op_count_Pkwamo1tM2(b,364)+op_count_6LuFrogppQ(op_Pkwamo1tM2(b,364))
    return count


a≤⋮b = { ((b⨐a)⩇∃⫛(b≾⋳)) , if (a⋾⨟)>615 ; ((222⋳/b)⇯⋐) , else }

def op_gaaDP0UKzK(a, b):
    if op_hYjFJ8q04Z(a) > 615:
        return op_1aApVXNlOP(op_Noe24qw2ks(b,a),op_1tCtMSPkGf(b))
    else:
        return op_LkLIoiE525(op_m612RDITqL(222,b))

def op_count_gaaDP0UKzK(a, b):
    if op_hYjFJ8q04Z(a) > 615:
        count = op_count_Noe24qw2ks(b,a)+op_count_1tCtMSPkGf(b)+op_count_1aApVXNlOP(op_Noe24qw2ks(b,a),op_1tCtMSPkGf(b))+op_count_hYjFJ8q04Z(a)
    else:
        count = op_count_m612RDITqL(222,b)+op_count_LkLIoiE525(op_m612RDITqL(222,b))
    return count


↷⨈a = { (((a≧⊼a)⫸⇳(a⨰a))⫼⨠((a≝⊿a)⇥↓)) , if (≯a)!=614 or (a⫌⩹⨱)<=96 ; (a⊱⇼⊻((⊲⪭28)↨⪍≴(a⊔%a))) , else }

def op_4Ue6uVqe4h(a):
    if op_keWfFq85dY(a) != 614 or op_EBcxylXtPf(a) <= 96:
        return op_KYL1uVeVpb(op_gx7XJ7hdpj(op_JoLB3LXqXx(a,a),op_eewbuw0ToL(a,a)),op_KvubFp3XhO(op_OKKcZfAt5B(a,a)))
    else:
        return op_FyVja0WsTP(a,op_DX7B1fY6P6(op_k7HXdKtiEU(28),op_uysxUYN2L2(a,a)))

def op_count_4Ue6uVqe4h(a):
    if op_keWfFq85dY(a) != 614 or op_EBcxylXtPf(a) <= 96:
        count = op_count_JoLB3LXqXx(a,a)+op_count_eewbuw0ToL(a,a)+op_count_gx7XJ7hdpj(op_JoLB3LXqXx(a,a),op_eewbuw0ToL(a,a))+op_count_OKKcZfAt5B(a,a)+op_count_KvubFp3XhO(op_OKKcZfAt5B(a,a))+op_count_KYL1uVeVpb(op_gx7XJ7hdpj(op_JoLB3LXqXx(a,a),op_eewbuw0ToL(a,a)),op_KvubFp3XhO(op_OKKcZfAt5B(a,a)))+op_count_keWfFq85dY(a)+op_count_EBcxylXtPf(a)
    else:
        count = op_count_k7HXdKtiEU(28)+op_count_uysxUYN2L2(a,a)+op_count_DX7B1fY6P6(op_k7HXdKtiEU(28),op_uysxUYN2L2(a,a))+op_count_FyVja0WsTP(a,op_DX7B1fY6P6(op_k7HXdKtiEU(28),op_uysxUYN2L2(a,a)))
    return count


≣⇁a = { (a⪎↠a) , if a>59 ; (a≼a) , else }

def op_8POb3bc2fl(a):
    if a > 59:
        return op_3tVxb0NHM4(a,a)
    else:
        return op_SPuZE40Ntn(a,a)

def op_count_8POb3bc2fl(a):
    if a > 59:
        count = op_count_3tVxb0NHM4(a,a)
    else:
        count = op_count_SPuZE40Ntn(a,a)
    return count


def op_i1ENulFIPA(a):
    if a < 164:
        return op_XbEAUggs3J(a)
    else:
        return a

def op_count_i1ENulFIPA(a):
    if a < 164:
        count = op_count_XbEAUggs3J(a)
    else:
        count = 1
    return count


a⋓⪊⫫b = { ((b⊱⇼⊻a)∲⫓(b⫇⋯b)) , if (b⊱⇼⊻121)<=171 ; ((a⋝⋈⪟b)≾⋳) , else }

def op_tIVorTW24W(a, b):
    if op_FyVja0WsTP(b,121) <= 171:
        return op_i8ToyICDmI(op_FyVja0WsTP(b,a),op_xoJmIySC7h(b,b))
    else:
        return op_1tCtMSPkGf(op_2DDjHMKMc0(a,b))

def op_count_tIVorTW24W(a, b):
    if op_FyVja0WsTP(b,121) <= 171:
        count = op_count_FyVja0WsTP(b,a)+op_count_xoJmIySC7h(b,b)+op_count_i8ToyICDmI(op_FyVja0WsTP(b,a),op_xoJmIySC7h(b,b))+op_count_FyVja0WsTP(b,121)
    else:
        count = op_count_2DDjHMKMc0(a,b)+op_count_1tCtMSPkGf(op_2DDjHMKMc0(a,b))
    return count


a↑⪫≶b = { (b≟⫹a) , if (b⊚⨔)==31 ; (↸⊣b) , else }

def op_yHqH2lrrnJ(a, b):
    if op_XbEAUggs3J(b) == 31:
        return op_z2JHNkvbdm(b,a)
    else:
        return op_wztAlM01eG(b)

def op_count_yHqH2lrrnJ(a, b):
    if op_XbEAUggs3J(b) == 31:
        count = op_count_z2JHNkvbdm(b,a)+op_count_XbEAUggs3J(b)
    else:
        count = op_count_wztAlM01eG(b)
    return count


a⊼∥b = { (⇒⊙∲b) , if a==183 ; (a∌a) , else }

def op_Mf99ccDLYx(a, b):
    if a == 183:
        return op_8HCJqvcFkE(b)
    else:
        return op_8cLx32lpNA(a,a)

def op_count_Mf99ccDLYx(a, b):
    if a == 183:
        count = op_count_8HCJqvcFkE(b)
    else:
        count = op_count_8cLx32lpNA(a,a)
    return count


def op_P0o8L8MpVP(a, b):
    if op_uPb5QRN0te(b) <= 615:
        return op_4JGOJzXMq1(op_YC3tgrnOyr(249,a),op_FyVja0WsTP(b,69))
    else:
        return op_XbEAUggs3J(op_JgXZM7XvWE(a,b))

def op_count_P0o8L8MpVP(a, b):
    if op_uPb5QRN0te(b) <= 615:
        count = op_count_YC3tgrnOyr(249,a)+op_count_FyVja0WsTP(b,69)+op_count_4JGOJzXMq1(op_YC3tgrnOyr(249,a),op_FyVja0WsTP(b,69))+op_count_uPb5QRN0te(b)
    else:
        count = op_count_JgXZM7XvWE(a,b)+op_count_XbEAUggs3J(op_JgXZM7XvWE(a,b))
    return count


def op_HsTbSIxlT7(a):
    if op_HiPekx5b7W(a,225) <= 745:
        return op_DO4fhlbJSI(a)
    else:
        return op_OKKcZfAt5B(a,a)

def op_count_HsTbSIxlT7(a):
    if op_HiPekx5b7W(a,225) <= 745:
        count = op_count_DO4fhlbJSI(a)+op_count_HiPekx5b7W(a,225)
    else:
        count = op_count_OKKcZfAt5B(a,a)
    return count


a⫞⋣∟ = { ((a∠⫱a)≝⊿(⇻⨃⇄a)) , if (↖∇⇑a)<=669 ; ((a⫚↹⊑a)⊬⫿⊭) , else }

def op_zxz32dLxDF(a):
    if op_th50nGnoUm(a) <= 669:
        return op_OKKcZfAt5B(op_QvoQhV0rrE(a,a),op_fLGIAiPz9h(a))
    else:
        return op_v0DYgG9ikt(op_dfKe02y8D2(a,a))

def op_count_zxz32dLxDF(a):
    if op_th50nGnoUm(a) <= 669:
        count = op_count_QvoQhV0rrE(a,a)+op_count_fLGIAiPz9h(a)+op_count_OKKcZfAt5B(op_QvoQhV0rrE(a,a),op_fLGIAiPz9h(a))+op_count_th50nGnoUm(a)
    else:
        count = op_count_dfKe02y8D2(a,a)+op_count_v0DYgG9ikt(op_dfKe02y8D2(a,a))
    return count


⫴a = { (⪁⇼(⇻⫵(a⊢≏≾a))) , if (⫇⪃↚a)<=123 ; ((≋(113⪒⊣⊆a))⇄(⫇(a⩵∡a))) , else }

def op_wHwdFGb2cR(a):
    if op_Q9TX5pQS3Y(a) <= 123:
        return op_ZNVVrZ94lY(op_Wm7LHi3c8p(op_qxqspddX8k(a,a)))
    else:
        return op_3EYGwJThht(op_61wBmkZwlr(op_eRqsBgTDFp(113,a)),op_YjI8oCXuph(op_Y7wcNGrDQJ(a,a)))

def op_count_wHwdFGb2cR(a):
    if op_Q9TX5pQS3Y(a) <= 123:
        count = op_count_qxqspddX8k(a,a)+op_count_Wm7LHi3c8p(op_qxqspddX8k(a,a))+op_count_ZNVVrZ94lY(op_Wm7LHi3c8p(op_qxqspddX8k(a,a)))+op_count_Q9TX5pQS3Y(a)
    else:
        count = op_count_eRqsBgTDFp(113,a)+op_count_61wBmkZwlr(op_eRqsBgTDFp(113,a))+op_count_Y7wcNGrDQJ(a,a)+op_count_YjI8oCXuph(op_Y7wcNGrDQJ(a,a))+op_count_3EYGwJThht(op_61wBmkZwlr(op_eRqsBgTDFp(113,a)),op_YjI8oCXuph(op_Y7wcNGrDQJ(a,a)))
    return count


a⊍⫚≏ = { (183⪚⨁⋖(⨩∲⋌a)) , if a>=306 ; ((a⇌↸)⫟≀⫫) , else }

def op_SXBvgjrwlg(a):
    if a >= 306:
        return op_xSk1F0pZbF(183,op_aSik1wnThz(a))
    else:
        return op_KfMCrRzQhT(op_2PILXiQIjy(a))

def op_count_SXBvgjrwlg(a):
    if a >= 306:
        count = op_count_aSik1wnThz(a)+op_count_xSk1F0pZbF(183,op_aSik1wnThz(a))
    else:
        count = op_count_2PILXiQIjy(a)+op_count_KfMCrRzQhT(op_2PILXiQIjy(a))
    return count


a⨍⪺b = { ((⪀≱(a⨰a))∮⨁) , if (⪁⇼b)!=358 ; ((b∏⇴(b⊲⩕⊾51))∊⊞≈((a⫁⪎b)⋞(a⋂⩴b))) , else }

def op_IEH3kw0xIp(a, b):
    if op_ZNVVrZ94lY(b) != 358:
        return op_TytFGXR7Zf(op_tDVI6bDdAd(op_eewbuw0ToL(a,a)))
    else:
        return op_keuJNkrrbj(op_Rw46J52cBJ(b,op_DmTXOeWf9t(b,51)),op_V4yb4KDoeF(op_xRrnTEsQ6j(a,b),op_hmlrMsD2PO(a,b)))

def op_count_IEH3kw0xIp(a, b):
    if op_ZNVVrZ94lY(b) != 358:
        count = op_count_eewbuw0ToL(a,a)+op_count_tDVI6bDdAd(op_eewbuw0ToL(a,a))+op_count_TytFGXR7Zf(op_tDVI6bDdAd(op_eewbuw0ToL(a,a)))+op_count_ZNVVrZ94lY(b)
    else:
        count = op_count_DmTXOeWf9t(b,51)+op_count_Rw46J52cBJ(b,op_DmTXOeWf9t(b,51))+op_count_xRrnTEsQ6j(a,b)+op_count_hmlrMsD2PO(a,b)+op_count_V4yb4KDoeF(op_xRrnTEsQ6j(a,b),op_hmlrMsD2PO(a,b))+op_count_keuJNkrrbj(op_Rw46J52cBJ(b,op_DmTXOeWf9t(b,51)),op_V4yb4KDoeF(op_xRrnTEsQ6j(a,b),op_hmlrMsD2PO(a,b)))
    return count


def op_BcLuo0RKdZ(a):
    if op_2fAMLLeFHb(a) <= 239:
        return op_umQnsF7QlU(op_6MpZysEj17(op_GMN7JP6WpN(a,181)),op_hrf7POJlIJ(op_uysxUYN2L2(a,a),op_Y7wcNGrDQJ(336,a)))
    else:
        return op_pRsWfj4Fpp(op_KaSTSbOewx(op_2ufhKmSs5H(58)))

def op_count_BcLuo0RKdZ(a):
    if op_2fAMLLeFHb(a) <= 239:
        count = op_count_GMN7JP6WpN(a,181)+op_count_6MpZysEj17(op_GMN7JP6WpN(a,181))+op_count_uysxUYN2L2(a,a)+op_count_Y7wcNGrDQJ(336,a)+op_count_hrf7POJlIJ(op_uysxUYN2L2(a,a),op_Y7wcNGrDQJ(336,a))+op_count_umQnsF7QlU(op_6MpZysEj17(op_GMN7JP6WpN(a,181)),op_hrf7POJlIJ(op_uysxUYN2L2(a,a),op_Y7wcNGrDQJ(336,a)))+op_count_2fAMLLeFHb(a)
    else:
        count = op_count_2ufhKmSs5H(58)+op_count_KaSTSbOewx(op_2ufhKmSs5H(58))+op_count_pRsWfj4Fpp(op_KaSTSbOewx(op_2ufhKmSs5H(58)))
    return count


a∏⊵⇆b = { ((⊄⩳↩a)⪦⩸(b⊲⩕⊾b)) , if (b⩣⫁∢772)>316 ; b , else }

def op_ANJ5yRPvn6(a, b):
    if op_JDUIKTTSIa(b,772) > 316:
        return op_0JWJYFSzIQ(op_8w2t5hMYqp(a),op_DmTXOeWf9t(b,b))
    else:
        return b

def op_count_ANJ5yRPvn6(a, b):
    if op_JDUIKTTSIa(b,772) > 316:
        count = op_count_8w2t5hMYqp(a)+op_count_DmTXOeWf9t(b,b)+op_count_0JWJYFSzIQ(op_8w2t5hMYqp(a),op_DmTXOeWf9t(b,b))+op_count_JDUIKTTSIa(b,772)
    else:
        count = 1
    return count


a⇪⩏↕ = { (((a⪁⨴⋨a)+⪬∐(a⊉↱≁a))⫗⊒⇾((a↙↠)≟⫹(a⇖↽a))) , if a<=8 or a<=203 ; ((⩪⩔(a∷313))⊜) , else }

def op_4ujhriKCpU(a):
    if a <= 8 or a <= 203:
        return op_hiBDRd40bf(op_2GS7woTJqF(op_y2kQTS4a70(a,a),op_w2P8NbNXyL(a,a)),op_z2JHNkvbdm(op_texHS70gxN(a),op_cwbF3JtlMN(a,a)))
    else:
        return op_Eev2Q7dYIw(op_Siyfjn51pv(op_D3AQDKkPcf(a,313)))

def op_count_4ujhriKCpU(a):
    if a <= 8 or a <= 203:
        count = op_count_y2kQTS4a70(a,a)+op_count_w2P8NbNXyL(a,a)+op_count_2GS7woTJqF(op_y2kQTS4a70(a,a),op_w2P8NbNXyL(a,a))+op_count_texHS70gxN(a)+op_count_cwbF3JtlMN(a,a)+op_count_z2JHNkvbdm(op_texHS70gxN(a),op_cwbF3JtlMN(a,a))+op_count_hiBDRd40bf(op_2GS7woTJqF(op_y2kQTS4a70(a,a),op_w2P8NbNXyL(a,a)),op_z2JHNkvbdm(op_texHS70gxN(a),op_cwbF3JtlMN(a,a)))
    else:
        count = op_count_D3AQDKkPcf(a,313)+op_count_Siyfjn51pv(op_D3AQDKkPcf(a,313))+op_count_Eev2Q7dYIw(op_Siyfjn51pv(op_D3AQDKkPcf(a,313)))
    return count


def op_pf0uqpgSkL(a):
    if a != 145:
        return op_sdazOOVcIp(op_4kvgVkQeiQ(op_kz228nwi0J(a)),op_v0DYgG9ikt(op_b1mGkbI4Oy(61,a)))
    else:
        return op_d7ASUq0ydm(op_KbjG8mgYpV(op_D3AQDKkPcf(a,71),op_ar1w6gUwHX(86,354)),op_N41Kp7NANJ(a))

def op_count_pf0uqpgSkL(a):
    if a != 145:
        count = op_count_kz228nwi0J(a)+op_count_4kvgVkQeiQ(op_kz228nwi0J(a))+op_count_b1mGkbI4Oy(61,a)+op_count_v0DYgG9ikt(op_b1mGkbI4Oy(61,a))+op_count_sdazOOVcIp(op_4kvgVkQeiQ(op_kz228nwi0J(a)),op_v0DYgG9ikt(op_b1mGkbI4Oy(61,a)))
    else:
        count = op_count_D3AQDKkPcf(a,71)+op_count_ar1w6gUwHX(86,354)+op_count_KbjG8mgYpV(op_D3AQDKkPcf(a,71),op_ar1w6gUwHX(86,354))+op_count_N41Kp7NANJ(a)+op_count_d7ASUq0ydm(op_KbjG8mgYpV(op_D3AQDKkPcf(a,71),op_ar1w6gUwHX(86,354)),op_N41Kp7NANJ(a))
    return count


def op_PogVMsAOp4(a, b):
    if b > 122:
        return op_UggxBX659n(445,a)
    else:
        return a

def op_count_PogVMsAOp4(a, b):
    if b > 122:
        count = op_count_UggxBX659n(445,a)
    else:
        count = 1
    return count


a⩾⊒b = { (((370⊢≏≾a)⪁⨴⋨(⊫∐⫩33))⩅⩡) , if (a≋⊢≽)>2 ; (⨍⩸↶((b⪢⋭)⪍↜⋙(b⊢≏≾a))) , else }

def op_2rNkuxh6vz(a, b):
    if op_Lhk0YGb717(a) > 2:
        return op_0MNWfHKp6a(op_y2kQTS4a70(op_qxqspddX8k(370,a),op_gSr4c7pPrV(33)))
    else:
        return op_2jG7DiviLq(op_L05ObWFQCd(op_csT5a4elgc(b),op_qxqspddX8k(b,a)))

def op_count_2rNkuxh6vz(a, b):
    if op_Lhk0YGb717(a) > 2:
        count = op_count_qxqspddX8k(370,a)+op_count_gSr4c7pPrV(33)+op_count_y2kQTS4a70(op_qxqspddX8k(370,a),op_gSr4c7pPrV(33))+op_count_0MNWfHKp6a(op_y2kQTS4a70(op_qxqspddX8k(370,a),op_gSr4c7pPrV(33)))+op_count_Lhk0YGb717(a)
    else:
        count = op_count_csT5a4elgc(b)+op_count_qxqspddX8k(b,a)+op_count_L05ObWFQCd(op_csT5a4elgc(b),op_qxqspddX8k(b,a))+op_count_2jG7DiviLq(op_L05ObWFQCd(op_csT5a4elgc(b),op_qxqspddX8k(b,a)))
    return count


def op_joCbSVezTg(a, b):
    if b > 133:
        return a
    else:
        return op_z2JHNkvbdm(443,a)

def op_count_joCbSVezTg(a, b):
    if b > 133:
        count = 1
    else:
        count = op_count_z2JHNkvbdm(443,a)
    return count


def op_QRiKE94HQh(a):
    if a < 22:
        return op_8cLx32lpNA(a,a)
    else:
        return op_xUOZtlo3hN(661)

def op_count_QRiKE94HQh(a):
    if a < 22:
        count = op_count_8cLx32lpNA(a,a)
    else:
        count = op_count_xUOZtlo3hN(661)
    return count


def op_FSasnAb2iR(a, b):
    if op_QErWpSDGk0(b) < 16:
        return op_YbVcJGFEVW(431,3)
    else:
        return op_hrf7POJlIJ(a,21)

def op_count_FSasnAb2iR(a, b):
    if op_QErWpSDGk0(b) < 16:
        count = op_count_YbVcJGFEVW(431,3)+op_count_QErWpSDGk0(b)
    else:
        count = op_count_hrf7POJlIJ(a,21)
    return count


a∦⨀b = { ((b⩷∴b)⩧⪆(211⊢85)) , if b>25 ; ((a⪒⊣⊆a)⪦⩸(∤b)) , else }

def op_59i70fHhft(a, b):
    if b > 25:
        return op_Ikt5ks8PT7(op_9FxExcQeMw(b,b),op_5twsqlHp2o(211,85))
    else:
        return op_0JWJYFSzIQ(op_eRqsBgTDFp(a,a),op_k2HlF1dBQh(b))

def op_count_59i70fHhft(a, b):
    if b > 25:
        count = op_count_9FxExcQeMw(b,b)+op_count_5twsqlHp2o(211,85)+op_count_Ikt5ks8PT7(op_9FxExcQeMw(b,b),op_5twsqlHp2o(211,85))
    else:
        count = op_count_eRqsBgTDFp(a,a)+op_count_k2HlF1dBQh(b)+op_count_0JWJYFSzIQ(op_eRqsBgTDFp(a,a),op_k2HlF1dBQh(b))
    return count


def op_vdUb8d6THO(a):
    if a == 99:
        return op_P75hhshrwX(a)
    else:
        return op_2M7SKlOzyM(op_2DQ55sFlQl(100,a),op_3tVxb0NHM4(5,a))

def op_count_vdUb8d6THO(a):
    if a == 99:
        count = op_count_P75hhshrwX(a)
    else:
        count = op_count_2DQ55sFlQl(100,a)+op_count_3tVxb0NHM4(5,a)+op_count_2M7SKlOzyM(op_2DQ55sFlQl(100,a),op_3tVxb0NHM4(5,a))
    return count


↫⫦a = { (a⨜⇔(⩗⪄(a∊⊞≈a))) , if (a≽⪈↿492)<32 ; (((a⨚a)∀⩎⋷(a↱⊪⇍))-∠((⇻⫵58)⨔⊶↷(a⪈⋁⩁63))) , else }

def op_FbfjV67I2U(a):
    if op_inCIaGQf8u(a,492) < 32:
        return op_Sq3AGanRSD(a,op_Y9dhGmbGii(op_keuJNkrrbj(a,a)))
    else:
        return op_s0IfDFCCuZ(op_FPxP5Y1j0W(op_nREPSIbpBE(a,a),op_Zubgv0tBda(a)),op_WObL9SsYVE(op_Wm7LHi3c8p(58),op_GMyVS5K48T(a,63)))

def op_count_FbfjV67I2U(a):
    if op_inCIaGQf8u(a,492) < 32:
        count = op_count_keuJNkrrbj(a,a)+op_count_Y9dhGmbGii(op_keuJNkrrbj(a,a))+op_count_Sq3AGanRSD(a,op_Y9dhGmbGii(op_keuJNkrrbj(a,a)))+op_count_inCIaGQf8u(a,492)
    else:
        count = op_count_nREPSIbpBE(a,a)+op_count_Zubgv0tBda(a)+op_count_FPxP5Y1j0W(op_nREPSIbpBE(a,a),op_Zubgv0tBda(a))+op_count_Wm7LHi3c8p(58)+op_count_GMyVS5K48T(a,63)+op_count_WObL9SsYVE(op_Wm7LHi3c8p(58),op_GMyVS5K48T(a,63))+op_count_s0IfDFCCuZ(op_FPxP5Y1j0W(op_nREPSIbpBE(a,a),op_Zubgv0tBda(a)),op_WObL9SsYVE(op_Wm7LHi3c8p(58),op_GMyVS5K48T(a,63)))
    return count


a⩄≙ = { ((a⫯⪬∳a)∺≝⩲(≯a)) , if a!=352 ; ((a⪈⋁⩁a)⪣⫩) , else }

def op_ta2wJDj4gw(a):
    if a != 352:
        return op_KPf6cnQVty(op_d7ASUq0ydm(a,a),op_keWfFq85dY(a))
    else:
        return op_iuk5sVOGFA(op_GMyVS5K48T(a,a))

def op_count_ta2wJDj4gw(a):
    if a != 352:
        count = op_count_d7ASUq0ydm(a,a)+op_count_keWfFq85dY(a)+op_count_KPf6cnQVty(op_d7ASUq0ydm(a,a),op_keWfFq85dY(a))
    else:
        count = op_count_GMyVS5K48T(a,a)+op_count_iuk5sVOGFA(op_GMyVS5K48T(a,a))
    return count


a⊾≹ = { (a⫶a) , if (⫇⪃↚a)<=396 ; (⋑a) , else }

def op_CUSUrOk5k6(a):
    if op_Q9TX5pQS3Y(a) <= 396:
        return op_BAIXFdYaz3(a,a)
    else:
        return op_iz8sE888QL(a)

def op_count_CUSUrOk5k6(a):
    if op_Q9TX5pQS3Y(a) <= 396:
        count = op_count_BAIXFdYaz3(a,a)+op_count_Q9TX5pQS3Y(a)
    else:
        count = op_count_iz8sE888QL(a)
    return count


a⪿b = { ((a⋳/b)⪿⇪⊩(a⪎↠b)) , if b>31 ; ((⇺⪔⩬a)⋙) , else }

def op_lLg6KFppdz(a, b):
    if b > 31:
        return op_OGWBzMv138(op_m612RDITqL(a,b),op_3tVxb0NHM4(a,b))
    else:
        return op_XZxEnkN3N0(op_lAOUD4ZMWV(a))

def op_count_lLg6KFppdz(a, b):
    if b > 31:
        count = op_count_m612RDITqL(a,b)+op_count_3tVxb0NHM4(a,b)+op_count_OGWBzMv138(op_m612RDITqL(a,b),op_3tVxb0NHM4(a,b))
    else:
        count = op_count_lAOUD4ZMWV(a)+op_count_XZxEnkN3N0(op_lAOUD4ZMWV(a))
    return count


def op_7GgezYTPa9(a, b):
    if (op_4JGOJzXMq1(b,635) != 547 and op_MKpoIoBJCf(b) > 308):
        return op_bF6eod5Gvf(a,b)
    else:
        return op_R3vAdrE3IH(b)

def op_count_7GgezYTPa9(a, b):
    if (op_4JGOJzXMq1(b,635) != 547 and op_MKpoIoBJCf(b) > 308):
        count = op_count_bF6eod5Gvf(a,b)+op_count_4JGOJzXMq1(b,635)+op_count_MKpoIoBJCf(b)
    else:
        count = op_count_R3vAdrE3IH(b)
    return count


a⪞b = { ((b⇄(a⋳⪒a))+(≎↾(a∴≳≥))) , if b<=63 ; (⇉-⫰((∛⊵b)⇖↽(⊡⇒⪪b))) , else }

def op_gs832QT2eo(a, b):
    if b <= 63:
        return op_W4YGzv6Whe(op_3EYGwJThht(b,op_12rbrZMWeM(a,a)),op_S56z7WVPBn(op_a3N2hFLK0J(a)))
    else:
        return op_IGFM8TAlm9(op_cwbF3JtlMN(op_jfYOP67v6Y(b),op_wisItNeSwq(b)))

def op_count_gs832QT2eo(a, b):
    if b <= 63:
        count = op_count_12rbrZMWeM(a,a)+op_count_3EYGwJThht(b,op_12rbrZMWeM(a,a))+op_count_a3N2hFLK0J(a)+op_count_S56z7WVPBn(op_a3N2hFLK0J(a))+op_count_W4YGzv6Whe(op_3EYGwJThht(b,op_12rbrZMWeM(a,a)),op_S56z7WVPBn(op_a3N2hFLK0J(a)))
    else:
        count = op_count_jfYOP67v6Y(b)+op_count_wisItNeSwq(b)+op_count_cwbF3JtlMN(op_jfYOP67v6Y(b),op_wisItNeSwq(b))+op_count_IGFM8TAlm9(op_cwbF3JtlMN(op_jfYOP67v6Y(b),op_wisItNeSwq(b)))
    return count


def op_5oJb94XrKZ(a):
    if a > 105:
        return op_12rbrZMWeM(op_WR6HLWljOP(op_Cr5xnr8B4B(a,a),op_YSKBFp38Pu(a,a)),a)
    else:
        return op_59igzFyhWz(op_kuIXHzHcAH(op_6o9Blt3TJ6(235,a),op_YSKBFp38Pu(511,a)))

def op_count_5oJb94XrKZ(a):
    if a > 105:
        count = op_count_Cr5xnr8B4B(a,a)+op_count_YSKBFp38Pu(a,a)+op_count_WR6HLWljOP(op_Cr5xnr8B4B(a,a),op_YSKBFp38Pu(a,a))+op_count_12rbrZMWeM(op_WR6HLWljOP(op_Cr5xnr8B4B(a,a),op_YSKBFp38Pu(a,a)),a)
    else:
        count = op_count_6o9Blt3TJ6(235,a)+op_count_YSKBFp38Pu(511,a)+op_count_kuIXHzHcAH(op_6o9Blt3TJ6(235,a),op_YSKBFp38Pu(511,a))+op_count_59igzFyhWz(op_kuIXHzHcAH(op_6o9Blt3TJ6(235,a),op_YSKBFp38Pu(511,a)))
    return count


a⇽⨅b = { (((b⫡⨏a)↜⊷(a≠≀a))∫⋜⩖((a⩌⋺69)⪁⨴⋨(a⨧b))) , if (a⨱∎)>373 ; (⊀⇵(⩻⪛(a⊔63))) , else }

def op_PyySExtkRS(a, b):
    if op_MmTdOpaElr(a) > 373:
        return op_JgXZM7XvWE(op_irKjLsMeKy(op_QMFrweE19q(b,a),op_IwW236VD4Y(a,a)),op_y2kQTS4a70(op_g7Hmc5v1ko(a,69),op_3YWlZA9bsa(a,b)))
    else:
        return op_B3tNObfNaL(op_5RY6W0glyJ(op_E4l6HwMY31(a,63)))

def op_count_PyySExtkRS(a, b):
    if op_MmTdOpaElr(a) > 373:
        count = op_count_QMFrweE19q(b,a)+op_count_IwW236VD4Y(a,a)+op_count_irKjLsMeKy(op_QMFrweE19q(b,a),op_IwW236VD4Y(a,a))+op_count_g7Hmc5v1ko(a,69)+op_count_3YWlZA9bsa(a,b)+op_count_y2kQTS4a70(op_g7Hmc5v1ko(a,69),op_3YWlZA9bsa(a,b))+op_count_JgXZM7XvWE(op_irKjLsMeKy(op_QMFrweE19q(b,a),op_IwW236VD4Y(a,a)),op_y2kQTS4a70(op_g7Hmc5v1ko(a,69),op_3YWlZA9bsa(a,b)))+op_count_MmTdOpaElr(a)
    else:
        count = op_count_E4l6HwMY31(a,63)+op_count_5RY6W0glyJ(op_E4l6HwMY31(a,63))+op_count_B3tNObfNaL(op_5RY6W0glyJ(op_E4l6HwMY31(a,63)))
    return count


a↙⨫⫶b = { (a≽↲≰b) , if (⇙⪊a)<13 ; (⋂b) , else }

def op_LwmwRo8pon(a, b):
    if op_pB6Fcnrjim(a) < 13:
        return op_cFVlceoRkX(a,b)
    else:
        return op_BUOGQAYlQx(b)

def op_count_LwmwRo8pon(a, b):
    if op_pB6Fcnrjim(a) < 13:
        count = op_count_cFVlceoRkX(a,b)+op_count_pB6Fcnrjim(a)
    else:
        count = op_count_BUOGQAYlQx(b)
    return count


a⪋b = { (a∏⇴0) , if (b≋⫹)>191 ; (⩆⇋a) , else }

def op_nMAdxk2waN(a, b):
    if op_N41Kp7NANJ(b) > 191:
        return op_Rw46J52cBJ(a,0)
    else:
        return op_IjUb3wyICU(a)

def op_count_nMAdxk2waN(a, b):
    if op_N41Kp7NANJ(b) > 191:
        count = op_count_Rw46J52cBJ(a,0)+op_count_N41Kp7NANJ(b)
    else:
        count = op_count_IjUb3wyICU(a)
    return count


def op_T80hGywmoI(a):
    if a == 236:
        return a
    else:
        return op_xRrnTEsQ6j(a,688)

def op_count_T80hGywmoI(a):
    if a == 236:
        count = 1
    else:
        count = op_count_xRrnTEsQ6j(a,688)
    return count


a⇖∑b = { ((b⊵a)⪎↠(a∫≲⋬)) , if (b⇅)<81 ; b , else }

def op_pZPdeA5MNz(a, b):
    if op_oH594TLvBK(b) < 81:
        return op_3tVxb0NHM4(op_eaFBhJ0Uku(b,a),op_DNmMwa48aR(a))
    else:
        return b

def op_count_pZPdeA5MNz(a, b):
    if op_oH594TLvBK(b) < 81:
        count = op_count_eaFBhJ0Uku(b,a)+op_count_DNmMwa48aR(a)+op_count_3tVxb0NHM4(op_eaFBhJ0Uku(b,a),op_DNmMwa48aR(a))+op_count_oH594TLvBK(b)
    else:
        count = 1
    return count


a⇜⇢ = { ((a⊨a)⋝∏) , if a<=143 ; ((∥⊫a)∅(⫊≏⨉a)) , else }

def op_aoQ1BGI1TP(a):
    if a <= 143:
        return op_69GgKhV9QQ(op_vg4gO5BX6G(a,a))
    else:
        return op_giaUb8UVhq(op_P8v4zCKN1o(a),op_KED7KUUlGq(a))

def op_count_aoQ1BGI1TP(a):
    if a <= 143:
        count = op_count_vg4gO5BX6G(a,a)+op_count_69GgKhV9QQ(op_vg4gO5BX6G(a,a))
    else:
        count = op_count_P8v4zCKN1o(a)+op_count_KED7KUUlGq(a)+op_count_giaUb8UVhq(op_P8v4zCKN1o(a),op_KED7KUUlGq(a))
    return count


⩞⊦a = { (((63⪶≀⋏a)⨰↻⪇(a⨧a))↨⪍≴((a⊋≦⊧a)⇥↓)) , if (a⋴⋺)<=298 ; (((a⫇⋯a)∠↢(a≧⫂∧a))⋐≟⩺((a⋢a)∄(a↢143))) , else }

def op_mIp9d1kogY(a):
    if op_0bdkhPtsnY(a) <= 298:
        return op_DX7B1fY6P6(op_nbuSfrB4hB(op_zR4jO40bMj(63,a),op_3YWlZA9bsa(a,a)),op_KvubFp3XhO(op_oRDoc9rAEX(a,a)))
    else:
        return op_PjbVkMzmXE(op_KbjG8mgYpV(op_xoJmIySC7h(a,a),op_Ph9nP6C5qx(a,a)),op_tnyRA5sazQ(op_NdELin8EPX(a,a),op_WR6HLWljOP(a,143)))

def op_count_mIp9d1kogY(a):
    if op_0bdkhPtsnY(a) <= 298:
        count = op_count_zR4jO40bMj(63,a)+op_count_3YWlZA9bsa(a,a)+op_count_nbuSfrB4hB(op_zR4jO40bMj(63,a),op_3YWlZA9bsa(a,a))+op_count_oRDoc9rAEX(a,a)+op_count_KvubFp3XhO(op_oRDoc9rAEX(a,a))+op_count_DX7B1fY6P6(op_nbuSfrB4hB(op_zR4jO40bMj(63,a),op_3YWlZA9bsa(a,a)),op_KvubFp3XhO(op_oRDoc9rAEX(a,a)))+op_count_0bdkhPtsnY(a)
    else:
        count = op_count_xoJmIySC7h(a,a)+op_count_Ph9nP6C5qx(a,a)+op_count_KbjG8mgYpV(op_xoJmIySC7h(a,a),op_Ph9nP6C5qx(a,a))+op_count_NdELin8EPX(a,a)+op_count_WR6HLWljOP(a,143)+op_count_tnyRA5sazQ(op_NdELin8EPX(a,a),op_WR6HLWljOP(a,143))+op_count_PjbVkMzmXE(op_KbjG8mgYpV(op_xoJmIySC7h(a,a),op_Ph9nP6C5qx(a,a)),op_tnyRA5sazQ(op_NdELin8EPX(a,a),op_WR6HLWljOP(a,143)))
    return count


a⋉b = { (⋗⩬⋾(⪷∈↠(⫭≬a))) , if (a⨵⪆629)!=54 ; ((⊤(a⨻⪊⨷b))≼(⊤⊝(b⨊⨠))) , else }

def op_Lctt7tVaRL(a, b):
    if op_2DQ55sFlQl(a,629) != 54:
        return op_DpFCA1CohY(op_Kn0TacbtGK(op_S7Dkc5Re0B(a)))
    else:
        return op_SPuZE40Ntn(op_oDvtRyfmAM(op_Pkwamo1tM2(a,b)),op_rXAclfmB4M(op_qU6oQAhJaQ(b)))

def op_count_Lctt7tVaRL(a, b):
    if op_2DQ55sFlQl(a,629) != 54:
        count = op_count_S7Dkc5Re0B(a)+op_count_Kn0TacbtGK(op_S7Dkc5Re0B(a))+op_count_DpFCA1CohY(op_Kn0TacbtGK(op_S7Dkc5Re0B(a)))+op_count_2DQ55sFlQl(a,629)
    else:
        count = op_count_Pkwamo1tM2(a,b)+op_count_oDvtRyfmAM(op_Pkwamo1tM2(a,b))+op_count_qU6oQAhJaQ(b)+op_count_rXAclfmB4M(op_qU6oQAhJaQ(b))+op_count_SPuZE40Ntn(op_oDvtRyfmAM(op_Pkwamo1tM2(a,b)),op_rXAclfmB4M(op_qU6oQAhJaQ(b)))
    return count


⇸⩣⩂a = { (a⊇≀≁) , if a<=16 ; (a∄a) , else }

def op_QkhyUd66fj(a):
    if a <= 16:
        return op_AfoL3wC8aT(a)
    else:
        return op_tnyRA5sazQ(a,a)

def op_count_QkhyUd66fj(a):
    if a <= 16:
        count = op_count_AfoL3wC8aT(a)
    else:
        count = op_count_tnyRA5sazQ(a,a)
    return count


def op_tqmm8txHHJ(a, b):
    if op_RHru8klgy8(b) <= 77:
        return 11
    else:
        return op_hiBDRd40bf(op_kc7iqVBlRY(op_NdELin8EPX(a,a)),op_rysDP5nf3Z(op_IqGBaFP0uj(a),op_g7Hmc5v1ko(113,b)))

def op_count_tqmm8txHHJ(a, b):
    if op_RHru8klgy8(b) <= 77:
        count = op_count_RHru8klgy8(b)
    else:
        count = op_count_NdELin8EPX(a,a)+op_count_kc7iqVBlRY(op_NdELin8EPX(a,a))+op_count_IqGBaFP0uj(a)+op_count_g7Hmc5v1ko(113,b)+op_count_rysDP5nf3Z(op_IqGBaFP0uj(a),op_g7Hmc5v1ko(113,b))+op_count_hiBDRd40bf(op_kc7iqVBlRY(op_NdELin8EPX(a,a)),op_rysDP5nf3Z(op_IqGBaFP0uj(a),op_g7Hmc5v1ko(113,b)))
    return count


a⇊b = { ((↡(a⊨b))⫦∱⫙) , if (a⋅∹⩇)<=41 ; (⪷∈↠((a↪∷b)⪇≇⋚(176↱⊪⇍))) , else }

def op_8h2Ofp3S4L(a, b):
    if op_Tmr9JGNMVH(a) <= 41:
        return op_tHMVLcQ9bH(op_MXaNJeIAZ3(op_vg4gO5BX6G(a,b)))
    else:
        return op_Kn0TacbtGK(op_3sJ7IOPOlU(op_Api82iH42a(a,b),op_Zubgv0tBda(176)))

def op_count_8h2Ofp3S4L(a, b):
    if op_Tmr9JGNMVH(a) <= 41:
        count = op_count_vg4gO5BX6G(a,b)+op_count_MXaNJeIAZ3(op_vg4gO5BX6G(a,b))+op_count_tHMVLcQ9bH(op_MXaNJeIAZ3(op_vg4gO5BX6G(a,b)))+op_count_Tmr9JGNMVH(a)
    else:
        count = op_count_Api82iH42a(a,b)+op_count_Zubgv0tBda(176)+op_count_3sJ7IOPOlU(op_Api82iH42a(a,b),op_Zubgv0tBda(176))+op_count_Kn0TacbtGK(op_3sJ7IOPOlU(op_Api82iH42a(a,b),op_Zubgv0tBda(176)))
    return count


a⇚↩⩸b = { a , if (⫄⋦≢a)>458 and (≇⪴a)<=152 and (b⇟⨁⪰)<148 ; ((≋(211≦↸b))⨩≤⫤b) , else }

def op_FiUSHIPi3B(a, b):
    if op_4kvgVkQeiQ(a) > 458 and op_zoVPnxeHJ3(a) <= 152 and op_BX1lVwlMe0(b) < 148:
        return a
    else:
        return op_neKQRQQIil(op_61wBmkZwlr(op_RygbFNSyEJ(211,b)),b)

def op_count_FiUSHIPi3B(a, b):
    if op_4kvgVkQeiQ(a) > 458 and op_zoVPnxeHJ3(a) <= 152 and op_BX1lVwlMe0(b) < 148:
        count = 1
    else:
        count = op_count_RygbFNSyEJ(211,b)+op_count_61wBmkZwlr(op_RygbFNSyEJ(211,b))+op_count_neKQRQQIil(op_61wBmkZwlr(op_RygbFNSyEJ(211,b)),b)
    return count


def op_3XOHfUkwXZ(a):
    if (op_620seOwKww(a) >= 23 or op_i3MWstRFMQ(a) >= 171 or a == 67):
        return op_xSk1F0pZbF(12,a)
    else:
        return op_GMyVS5K48T(a,a)

def op_count_3XOHfUkwXZ(a):
    if (op_620seOwKww(a) >= 23 or op_i3MWstRFMQ(a) >= 171 or a == 67):
        count = op_count_xSk1F0pZbF(12,a)+op_count_620seOwKww(a)+op_count_i3MWstRFMQ(a)
    else:
        count = op_count_GMyVS5K48T(a,a)
    return count


def op_8K9QSAs3hD(a):
    if (op_tfWHHpNKUN(a) >= 138 and op_5JYyxRJd4f(a) == 637):
        return a
    else:
        return op_3Oe9XWJUTD(a,op_kuIXHzHcAH(a,a))

def op_count_8K9QSAs3hD(a):
    if (op_tfWHHpNKUN(a) >= 138 and op_5JYyxRJd4f(a) == 637):
        count = 1
    else:
        count = op_count_kuIXHzHcAH(a,a)+op_count_3Oe9XWJUTD(a,op_kuIXHzHcAH(a,a))
    return count


a⨥⫶b = { (b⋂⩴((b⩤)≃(a≽↲≰a))) , if b!=163 ; (a⪚⨁⋖((a≧⫂∧a)∲⫑(a↺b))) , else }

def op_kT4MlvM4La(a, b):
    if b != 163:
        return op_hmlrMsD2PO(b,op_YbVcJGFEVW(op_Z2TMIBDE3Q(b),op_cFVlceoRkX(a,a)))
    else:
        return op_xSk1F0pZbF(a,op_NrdPCfJQiM(op_Ph9nP6C5qx(a,a),op_7j4O788W3g(a,b)))

def op_count_kT4MlvM4La(a, b):
    if b != 163:
        count = op_count_Z2TMIBDE3Q(b)+op_count_cFVlceoRkX(a,a)+op_count_YbVcJGFEVW(op_Z2TMIBDE3Q(b),op_cFVlceoRkX(a,a))+op_count_hmlrMsD2PO(b,op_YbVcJGFEVW(op_Z2TMIBDE3Q(b),op_cFVlceoRkX(a,a)))
    else:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_7j4O788W3g(a,b)+op_count_NrdPCfJQiM(op_Ph9nP6C5qx(a,a),op_7j4O788W3g(a,b))+op_count_xSk1F0pZbF(a,op_NrdPCfJQiM(op_Ph9nP6C5qx(a,a),op_7j4O788W3g(a,b)))
    return count


a⋣⩘⋸b = { (((b⫁⪎b)∵≐)→⨶⪴361) , if (a⫚⫇)!=14 ; a , else }

def op_DvuSqA3vLS(a, b):
    if op_SdCjLnB6rR(a) != 14:
        return op_bF6eod5Gvf(op_59igzFyhWz(op_xRrnTEsQ6j(b,b)),361)
    else:
        return a

def op_count_DvuSqA3vLS(a, b):
    if op_SdCjLnB6rR(a) != 14:
        count = op_count_xRrnTEsQ6j(b,b)+op_count_59igzFyhWz(op_xRrnTEsQ6j(b,b))+op_count_bF6eod5Gvf(op_59igzFyhWz(op_xRrnTEsQ6j(b,b)),361)+op_count_SdCjLnB6rR(a)
    else:
        count = 1
    return count


a≴⫴ = { ((a⋷a)≼(a≃a)) , if (a⩢≭)<=488 ; a , else }

def op_zEte6BlRDT(a):
    if op_rv8OxMkTSD(a) <= 488:
        return op_SPuZE40Ntn(op_23Mk6UjR3U(a,a),op_YbVcJGFEVW(a,a))
    else:
        return a

def op_count_zEte6BlRDT(a):
    if op_rv8OxMkTSD(a) <= 488:
        count = op_count_23Mk6UjR3U(a,a)+op_count_YbVcJGFEVW(a,a)+op_count_SPuZE40Ntn(op_23Mk6UjR3U(a,a),op_YbVcJGFEVW(a,a))+op_count_rv8OxMkTSD(a)
    else:
        count = 1
    return count


a≯≲⫧b = { (⪀≱a) , if (b⊢)>=435 ; (b⩌b) , else }

def op_qhwfmwp1fI(a, b):
    if op_40aOVDgCDB(b) >= 435:
        return op_tDVI6bDdAd(a)
    else:
        return op_UoVew8f2p2(b,b)

def op_count_qhwfmwp1fI(a, b):
    if op_40aOVDgCDB(b) >= 435:
        count = op_count_tDVI6bDdAd(a)+op_count_40aOVDgCDB(b)
    else:
        count = op_count_UoVew8f2p2(b,b)
    return count


a⊵↦b = { ((⋽⪳⨃(⊤a))⇄((a⇖↽a)≃(a⫸a))) , if (b⨝⩣∺)!=365 ; (((a∙∹∝a)⇼⇔∾(a⩷∴a))⫼⨠(≈(⪁≄b))) , else }

def op_wleh0mrux3(a, b):
    if op_ancx8kZcWl(b) != 365:
        return op_3EYGwJThht(op_qAljGMXEZr(op_oDvtRyfmAM(a)),op_YbVcJGFEVW(op_cwbF3JtlMN(a,a),op_Qaz2MhZaG5(a,a)))
    else:
        return op_KYL1uVeVpb(op_tifHPKVTfV(op_HmxsFra2vL(a,a),op_9FxExcQeMw(a,a)),op_EO7Xdgo9So(op_2O29ZX4yK6(b)))

def op_count_wleh0mrux3(a, b):
    if op_ancx8kZcWl(b) != 365:
        count = op_count_oDvtRyfmAM(a)+op_count_qAljGMXEZr(op_oDvtRyfmAM(a))+op_count_cwbF3JtlMN(a,a)+op_count_Qaz2MhZaG5(a,a)+op_count_YbVcJGFEVW(op_cwbF3JtlMN(a,a),op_Qaz2MhZaG5(a,a))+op_count_3EYGwJThht(op_qAljGMXEZr(op_oDvtRyfmAM(a)),op_YbVcJGFEVW(op_cwbF3JtlMN(a,a),op_Qaz2MhZaG5(a,a)))+op_count_ancx8kZcWl(b)
    else:
        count = op_count_HmxsFra2vL(a,a)+op_count_9FxExcQeMw(a,a)+op_count_tifHPKVTfV(op_HmxsFra2vL(a,a),op_9FxExcQeMw(a,a))+op_count_2O29ZX4yK6(b)+op_count_EO7Xdgo9So(op_2O29ZX4yK6(b))+op_count_KYL1uVeVpb(op_tifHPKVTfV(op_HmxsFra2vL(a,a),op_9FxExcQeMw(a,a)),op_EO7Xdgo9So(op_2O29ZX4yK6(b)))
    return count


a⫣≾⊺b = { ((a⫰⋱a)∊⊞≈(3⋘a)) , if b<=799 ; b , else }

def op_LXAvwK8YDe(a, b):
    if b <= 799:
        return op_keuJNkrrbj(op_6o9Blt3TJ6(a,a),op_2M7SKlOzyM(3,a))
    else:
        return b

def op_count_LXAvwK8YDe(a, b):
    if b <= 799:
        count = op_count_6o9Blt3TJ6(a,a)+op_count_2M7SKlOzyM(3,a)+op_count_keuJNkrrbj(op_6o9Blt3TJ6(a,a),op_2M7SKlOzyM(3,a))
    else:
        count = 1
    return count


a⪧⊞↡b = { (⋾b) , if (⩰a)>=63 ; (⇺⪔⩬22) , else }

def op_ZBnQveJz4n(a, b):
    if op_WkeUrDK8WX(a) >= 63:
        return op_8TQKPGA8Ba(b)
    else:
        return op_lAOUD4ZMWV(22)

def op_count_ZBnQveJz4n(a, b):
    if op_WkeUrDK8WX(a) >= 63:
        count = op_count_8TQKPGA8Ba(b)+op_count_WkeUrDK8WX(a)
    else:
        count = op_count_lAOUD4ZMWV(22)
    return count


def op_lqOLaD3VEa(a):
    if op_rPNtK4BLRO(a,185) > 376:
        return op_RygbFNSyEJ(op_ar1w6gUwHX(a,a),op_JDUIKTTSIa(424,a))
    else:
        return op_LkLIoiE525(op_hiBDRd40bf(a,312))

def op_count_lqOLaD3VEa(a):
    if op_rPNtK4BLRO(a,185) > 376:
        count = op_count_ar1w6gUwHX(a,a)+op_count_JDUIKTTSIa(424,a)+op_count_RygbFNSyEJ(op_ar1w6gUwHX(a,a),op_JDUIKTTSIa(424,a))+op_count_rPNtK4BLRO(a,185)
    else:
        count = op_count_hiBDRd40bf(a,312)+op_count_LkLIoiE525(op_hiBDRd40bf(a,312))
    return count


⋫≀⫽a = { ((a⊔%a)≦↸(a⨴a)) , if (⫦≽⪐a)<78 and a>224 ; ((a∏⇴a)∺≝⩲(a⪚a)) , else }

def op_V0aaSnRubj(a):
    if op_fjqJgF5yyp(a) < 78 and a > 224:
        return op_RygbFNSyEJ(op_uysxUYN2L2(a,a),op_jBC4ymW3D7(a,a))
    else:
        return op_KPf6cnQVty(op_Rw46J52cBJ(a,a),op_HrjLwUk87U(a,a))

def op_count_V0aaSnRubj(a):
    if op_fjqJgF5yyp(a) < 78 and a > 224:
        count = op_count_uysxUYN2L2(a,a)+op_count_jBC4ymW3D7(a,a)+op_count_RygbFNSyEJ(op_uysxUYN2L2(a,a),op_jBC4ymW3D7(a,a))+op_count_fjqJgF5yyp(a)
    else:
        count = op_count_Rw46J52cBJ(a,a)+op_count_HrjLwUk87U(a,a)+op_count_KPf6cnQVty(op_Rw46J52cBJ(a,a),op_HrjLwUk87U(a,a))
    return count


a⩹≮b = { (⫇⨷a) , if (b⫭)<=41 ; (b⋅⇍a) , else }

def op_xeKVJklxVA(a, b):
    if op_t4WUHVGj7f(b) <= 41:
        return op_ct1hK6qyRt(a)
    else:
        return op_AdZkA7nFnk(b,a)

def op_count_xeKVJklxVA(a, b):
    if op_t4WUHVGj7f(b) <= 41:
        count = op_count_ct1hK6qyRt(a)+op_count_t4WUHVGj7f(b)
    else:
        count = op_count_AdZkA7nFnk(b,a)
    return count


def op_FaF1PUcip1(a, b):
    if op_KFSx94NKJn(a,456) == 638:
        return op_12rbrZMWeM(a,145)
    else:
        return op_2DDjHMKMc0(a,b)

def op_count_FaF1PUcip1(a, b):
    if op_KFSx94NKJn(a,456) == 638:
        count = op_count_12rbrZMWeM(a,145)+op_count_KFSx94NKJn(a,456)
    else:
        count = op_count_2DDjHMKMc0(a,b)
    return count


a↹ = { (⇍((a⪿⇪⊩a)⫰⋱(a⨽⪊≇))) , if a==36 ; (⋷⊟((a⪯⫾⋍a)≠≀(⫌⊑↬110))) , else }

def op_czsasVwKyq(a):
    if a == 36:
        return op_H9jWZL1q0V(op_6o9Blt3TJ6(op_OGWBzMv138(a,a),op_nlCqmYiOvY(a)))
    else:
        return op_2fAMLLeFHb(op_IwW236VD4Y(op_S5ZFQS4GK3(a,a),op_h57jOAbG9W(110)))

def op_count_czsasVwKyq(a):
    if a == 36:
        count = op_count_OGWBzMv138(a,a)+op_count_nlCqmYiOvY(a)+op_count_6o9Blt3TJ6(op_OGWBzMv138(a,a),op_nlCqmYiOvY(a))+op_count_H9jWZL1q0V(op_6o9Blt3TJ6(op_OGWBzMv138(a,a),op_nlCqmYiOvY(a)))
    else:
        count = op_count_S5ZFQS4GK3(a,a)+op_count_h57jOAbG9W(110)+op_count_IwW236VD4Y(op_S5ZFQS4GK3(a,a),op_h57jOAbG9W(110))+op_count_2fAMLLeFHb(op_IwW236VD4Y(op_S5ZFQS4GK3(a,a),op_h57jOAbG9W(110)))
    return count


a⫳⫚⇈b = { ((⪞⋲≾71)⪶≀⋏(b∿⫑≎a)) , if (b⊚⨔)<=296 ; ((a⨰b)⊢(⪭≋⋼b)) , else }

def op_InHNDff3xD(a, b):
    if op_XbEAUggs3J(b) <= 296:
        return op_zR4jO40bMj(op_kz228nwi0J(71),op_ar1w6gUwHX(b,a))
    else:
        return op_5twsqlHp2o(op_eewbuw0ToL(a,b),op_EZ6cjipfBz(b))

def op_count_InHNDff3xD(a, b):
    if op_XbEAUggs3J(b) <= 296:
        count = op_count_kz228nwi0J(71)+op_count_ar1w6gUwHX(b,a)+op_count_zR4jO40bMj(op_kz228nwi0J(71),op_ar1w6gUwHX(b,a))+op_count_XbEAUggs3J(b)
    else:
        count = op_count_eewbuw0ToL(a,b)+op_count_EZ6cjipfBz(b)+op_count_5twsqlHp2o(op_eewbuw0ToL(a,b),op_EZ6cjipfBz(b))
    return count


def op_tBMeWbfN5B(a):
    if a < 509:
        return op_PxpmPgHHJV(a)
    else:
        return op_eLAdDNolq6(a)

def op_count_tBMeWbfN5B(a):
    if a < 509:
        count = op_count_PxpmPgHHJV(a)
    else:
        count = op_count_eLAdDNolq6(a)
    return count


a⩇⨗↯ = { (⪭≋⋼a) , if (a⩧⪆47)>=83 ; (a⩤∜↚a) , else }

def op_d8mU7ptUzn(a):
    if op_Ikt5ks8PT7(a,47) >= 83:
        return op_EZ6cjipfBz(a)
    else:
        return op_KROiRRz3d6(a,a)

def op_count_d8mU7ptUzn(a):
    if op_Ikt5ks8PT7(a,47) >= 83:
        count = op_count_EZ6cjipfBz(a)+op_count_Ikt5ks8PT7(a,47)
    else:
        count = op_count_KROiRRz3d6(a,a)
    return count


⫅⩤a = { (∦a) , if (a⫟≀⫫)<634 ; (123⋰⇉∕a) , else }

def op_mXREAjXmot(a):
    if op_KfMCrRzQhT(a) < 634:
        return op_ew17WAA8t6(a)
    else:
        return op_sM9mzqIDB1(123,a)

def op_count_mXREAjXmot(a):
    if op_KfMCrRzQhT(a) < 634:
        count = op_count_ew17WAA8t6(a)+op_count_KfMCrRzQhT(a)
    else:
        count = op_count_sM9mzqIDB1(123,a)
    return count


a↯⩨b = { ((a⊒b)⪎↠(b⊭↱b)) , if b>=351 ; ((a∐⫣)≠≀b) , else }

def op_tAdjUBznzo(a, b):
    if b >= 351:
        return op_3tVxb0NHM4(op_rPNtK4BLRO(a,b),op_COABgblf1C(b,b))
    else:
        return op_IwW236VD4Y(op_4CyGpkTkEk(a),b)

def op_count_tAdjUBznzo(a, b):
    if b >= 351:
        count = op_count_rPNtK4BLRO(a,b)+op_count_COABgblf1C(b,b)+op_count_3tVxb0NHM4(op_rPNtK4BLRO(a,b),op_COABgblf1C(b,b))
    else:
        count = op_count_4CyGpkTkEk(a)+op_count_IwW236VD4Y(op_4CyGpkTkEk(a),b)
    return count


def op_YBMuzGt8zL(a, b):
    if a != 514:
        return op_OTRTVPweYV(417,b)
    else:
        return op_BjRHVeLaeN(1)

def op_count_YBMuzGt8zL(a, b):
    if a != 514:
        count = op_count_OTRTVPweYV(417,b)
    else:
        count = op_count_BjRHVeLaeN(1)
    return count


def op_NkqkRm27mM(a):
    if a > 243:
        return a
    else:
        return op_fLGIAiPz9h(a)

def op_count_NkqkRm27mM(a):
    if a > 243:
        count = 1
    else:
        count = op_count_fLGIAiPz9h(a)
    return count


a⫚ = { ((a⋂⩴a)⪲⨢(a⩅⩡)) , if (⩒∊a)!=547 ; ((a⇼⇔∾658)∀⩎⋷(a⩣⫁∢a)) , else }

def op_Rfnrj8mxUA(a):
    if op_qazvmhNBbN(a) != 547:
        return op_6iafYuwGo8(op_hmlrMsD2PO(a,a),op_0MNWfHKp6a(a))
    else:
        return op_FPxP5Y1j0W(op_tifHPKVTfV(a,658),op_JDUIKTTSIa(a,a))

def op_count_Rfnrj8mxUA(a):
    if op_qazvmhNBbN(a) != 547:
        count = op_count_hmlrMsD2PO(a,a)+op_count_0MNWfHKp6a(a)+op_count_6iafYuwGo8(op_hmlrMsD2PO(a,a),op_0MNWfHKp6a(a))+op_count_qazvmhNBbN(a)
    else:
        count = op_count_tifHPKVTfV(a,658)+op_count_JDUIKTTSIa(a,a)+op_count_FPxP5Y1j0W(op_tifHPKVTfV(a,658),op_JDUIKTTSIa(a,a))
    return count


def op_z8CdqFHfs2(a):
    if a <= 94:
        return op_2DQ55sFlQl(op_XPYlsWDdGa(op_f6k1SAg4EE(a,a)),op_Qy55tPpLXF(op_FPxP5Y1j0W(a,178),60))
    else:
        return op_qy3n0tapmE(op_2td37pGCOC(op_BiWNJpBvwn(a,a)),343)

def op_count_z8CdqFHfs2(a):
    if a <= 94:
        count = op_count_f6k1SAg4EE(a,a)+op_count_XPYlsWDdGa(op_f6k1SAg4EE(a,a))+op_count_FPxP5Y1j0W(a,178)+op_count_Qy55tPpLXF(op_FPxP5Y1j0W(a,178),60)+op_count_2DQ55sFlQl(op_XPYlsWDdGa(op_f6k1SAg4EE(a,a)),op_Qy55tPpLXF(op_FPxP5Y1j0W(a,178),60))
    else:
        count = op_count_BiWNJpBvwn(a,a)+op_count_2td37pGCOC(op_BiWNJpBvwn(a,a))+op_count_qy3n0tapmE(op_2td37pGCOC(op_BiWNJpBvwn(a,a)),343)
    return count


def op_nNS1tBjeO4(a):
    if (a > 596 and a > 455):
        return a
    else:
        return op_2td37pGCOC(683)

def op_count_nNS1tBjeO4(a):
    if (a > 596 and a > 455):
        count = 1
    else:
        count = op_count_2td37pGCOC(683)
    return count


def op_nKs2QGBSig(a):
    if op_KfMCrRzQhT(a) < 505:
        return op_FyVja0WsTP(224,142)
    else:
        return op_gx7XJ7hdpj(op_pjdzZ5rP1Y(a),op_ebeGRCukrZ(a))

def op_count_nKs2QGBSig(a):
    if op_KfMCrRzQhT(a) < 505:
        count = op_count_FyVja0WsTP(224,142)+op_count_KfMCrRzQhT(a)
    else:
        count = op_count_pjdzZ5rP1Y(a)+op_count_ebeGRCukrZ(a)+op_count_gx7XJ7hdpj(op_pjdzZ5rP1Y(a),op_ebeGRCukrZ(a))
    return count


def op_GDq8SIrlUA(a):
    if (a > 17 or a < 395):
        return op_UqUOXUQnbU(op_13TjBizFrQ(op_QDWDTvZtyM(a)),op_hmlrMsD2PO(op_YSKBFp38Pu(a,a),op_JoLB3LXqXx(120,308)))
    else:
        return op_sM9mzqIDB1(op_Bmrmz2XGnR(op_eftAHwPbeA(a),op_b1mGkbI4Oy(88,a)),op_j9kHMeSvPp(op_pjdzZ5rP1Y(a),op_t8gj7n24qd(a)))

def op_count_GDq8SIrlUA(a):
    if (a > 17 or a < 395):
        count = op_count_QDWDTvZtyM(a)+op_count_13TjBizFrQ(op_QDWDTvZtyM(a))+op_count_YSKBFp38Pu(a,a)+op_count_JoLB3LXqXx(120,308)+op_count_hmlrMsD2PO(op_YSKBFp38Pu(a,a),op_JoLB3LXqXx(120,308))+op_count_UqUOXUQnbU(op_13TjBizFrQ(op_QDWDTvZtyM(a)),op_hmlrMsD2PO(op_YSKBFp38Pu(a,a),op_JoLB3LXqXx(120,308)))
    else:
        count = op_count_eftAHwPbeA(a)+op_count_b1mGkbI4Oy(88,a)+op_count_Bmrmz2XGnR(op_eftAHwPbeA(a),op_b1mGkbI4Oy(88,a))+op_count_pjdzZ5rP1Y(a)+op_count_t8gj7n24qd(a)+op_count_j9kHMeSvPp(op_pjdzZ5rP1Y(a),op_t8gj7n24qd(a))+op_count_sM9mzqIDB1(op_Bmrmz2XGnR(op_eftAHwPbeA(a),op_b1mGkbI4Oy(88,a)),op_j9kHMeSvPp(op_pjdzZ5rP1Y(a),op_t8gj7n24qd(a)))
    return count


def op_VWdWub1Bzg(a, b):
    if op_ObEyaaML9x(b,155) == 128:
        return op_sdazOOVcIp(a,744)
    else:
        return op_AfoL3wC8aT(a)

def op_count_VWdWub1Bzg(a, b):
    if op_ObEyaaML9x(b,155) == 128:
        count = op_count_sdazOOVcIp(a,744)+op_count_ObEyaaML9x(b,155)
    else:
        count = op_count_AfoL3wC8aT(a)
    return count


⨺⊔⫅a = { a , if a>17 ; ((⨍⩸↶5)⪿⇪⊩(⪚⨷41)) , else }

def op_cNUxxKNcaG(a):
    if a > 17:
        return a
    else:
        return op_OGWBzMv138(op_2jG7DiviLq(5),op_6LuFrogppQ(41))

def op_count_cNUxxKNcaG(a):
    if a > 17:
        count = 1
    else:
        count = op_count_2jG7DiviLq(5)+op_count_6LuFrogppQ(41)+op_count_OGWBzMv138(op_2jG7DiviLq(5),op_6LuFrogppQ(41))
    return count


a⇛≢∆b = { ((↩⪖(a⨴a))⪎⩰) , if (b⊬⫿⊭)!=29 ; (((a⨑b)⫡⨏(b⪈⋁⩁41))⩹((a+⪬∐b)⩤∜↚(b⪉⨛b))) , else }

def op_BRZFass3Bp(a, b):
    if op_v0DYgG9ikt(b) != 29:
        return op_2ufhKmSs5H(op_fG6uBQFnGz(op_jBC4ymW3D7(a,a)))
    else:
        return op_2Wsdkap16l(op_QMFrweE19q(op_IxJHfR5psi(a,b),op_GMyVS5K48T(b,41)),op_KROiRRz3d6(op_2GS7woTJqF(a,b),op_EWw2JM7wp4(b,b)))

def op_count_BRZFass3Bp(a, b):
    if op_v0DYgG9ikt(b) != 29:
        count = op_count_jBC4ymW3D7(a,a)+op_count_fG6uBQFnGz(op_jBC4ymW3D7(a,a))+op_count_2ufhKmSs5H(op_fG6uBQFnGz(op_jBC4ymW3D7(a,a)))+op_count_v0DYgG9ikt(b)
    else:
        count = op_count_IxJHfR5psi(a,b)+op_count_GMyVS5K48T(b,41)+op_count_QMFrweE19q(op_IxJHfR5psi(a,b),op_GMyVS5K48T(b,41))+op_count_2GS7woTJqF(a,b)+op_count_EWw2JM7wp4(b,b)+op_count_KROiRRz3d6(op_2GS7woTJqF(a,b),op_EWw2JM7wp4(b,b))+op_count_2Wsdkap16l(op_QMFrweE19q(op_IxJHfR5psi(a,b),op_GMyVS5K48T(b,41)),op_KROiRRz3d6(op_2GS7woTJqF(a,b),op_EWw2JM7wp4(b,b)))
    return count


a⩟≠⊑b = { ((b∶)⋢(25∽a)) , if (b⋆⋳)>166 ; ((a∠↢b)⩦b) , else }

def op_1wjmvXM3JT(a, b):
    if op_6MpZysEj17(b) > 166:
        return op_NdELin8EPX(op_7FnCP1ejHT(b),op_y4ImoPnbV5(25,a))
    else:
        return op_0kmYd0q39Y(op_KbjG8mgYpV(a,b),b)

def op_count_1wjmvXM3JT(a, b):
    if op_6MpZysEj17(b) > 166:
        count = op_count_7FnCP1ejHT(b)+op_count_y4ImoPnbV5(25,a)+op_count_NdELin8EPX(op_7FnCP1ejHT(b),op_y4ImoPnbV5(25,a))+op_count_6MpZysEj17(b)
    else:
        count = op_count_KbjG8mgYpV(a,b)+op_count_0kmYd0q39Y(op_KbjG8mgYpV(a,b),b)
    return count


a⇻⫪⇃b = { (((a⋰⇉∕b)⩹(⇺⪔⩬a))∝(⇾⩊⇾(a≽↲≰a))) , if a==71 ; (∦(a⊭(⇾⩊⇾a))) , else }

def op_NvXf9kO3wV(a, b):
    if a == 71:
        return op_cTDWOvIxvz(op_2Wsdkap16l(op_sM9mzqIDB1(a,b),op_lAOUD4ZMWV(a)),op_bx9Z9DAK5y(op_cFVlceoRkX(a,a)))
    else:
        return op_ew17WAA8t6(op_4JGOJzXMq1(a,op_bx9Z9DAK5y(a)))

def op_count_NvXf9kO3wV(a, b):
    if a == 71:
        count = op_count_sM9mzqIDB1(a,b)+op_count_lAOUD4ZMWV(a)+op_count_2Wsdkap16l(op_sM9mzqIDB1(a,b),op_lAOUD4ZMWV(a))+op_count_cFVlceoRkX(a,a)+op_count_bx9Z9DAK5y(op_cFVlceoRkX(a,a))+op_count_cTDWOvIxvz(op_2Wsdkap16l(op_sM9mzqIDB1(a,b),op_lAOUD4ZMWV(a)),op_bx9Z9DAK5y(op_cFVlceoRkX(a,a)))
    else:
        count = op_count_bx9Z9DAK5y(a)+op_count_4JGOJzXMq1(a,op_bx9Z9DAK5y(a))+op_count_ew17WAA8t6(op_4JGOJzXMq1(a,op_bx9Z9DAK5y(a)))
    return count


a⩱≖⋓ = { (⩰(⩰(⨢⋑⪾a))) , if a>161 ; (((a∠↢a)⫗⊒⇾(a≠≀a))⩤∜↚a) , else }

def op_AFaabFf8op(a):
    if a > 161:
        return op_WkeUrDK8WX(op_WkeUrDK8WX(op_tmjFFOTKyA(a)))
    else:
        return op_KROiRRz3d6(op_hiBDRd40bf(op_KbjG8mgYpV(a,a),op_IwW236VD4Y(a,a)),a)

def op_count_AFaabFf8op(a):
    if a > 161:
        count = op_count_tmjFFOTKyA(a)+op_count_WkeUrDK8WX(op_tmjFFOTKyA(a))+op_count_WkeUrDK8WX(op_WkeUrDK8WX(op_tmjFFOTKyA(a)))
    else:
        count = op_count_KbjG8mgYpV(a,a)+op_count_IwW236VD4Y(a,a)+op_count_hiBDRd40bf(op_KbjG8mgYpV(a,a),op_IwW236VD4Y(a,a))+op_count_KROiRRz3d6(op_hiBDRd40bf(op_KbjG8mgYpV(a,a),op_IwW236VD4Y(a,a)),a)
    return count


def op_eoYqM80cVs(a):
    if a != 601:
        return op_9FxExcQeMw(op_2Wsdkap16l(a,284),op_qAljGMXEZr(a))
    else:
        return op_dfKe02y8D2(op_D309nIvmXG(295),op_H0pizIJMoW(a))

def op_count_eoYqM80cVs(a):
    if a != 601:
        count = op_count_2Wsdkap16l(a,284)+op_count_qAljGMXEZr(a)+op_count_9FxExcQeMw(op_2Wsdkap16l(a,284),op_qAljGMXEZr(a))
    else:
        count = op_count_D309nIvmXG(295)+op_count_H0pizIJMoW(a)+op_count_dfKe02y8D2(op_D309nIvmXG(295),op_H0pizIJMoW(a))
    return count


a⊹b = { ((b⫸⇳b)∮⨁) , if (a⩅⩡)>160 ; ((a⫗⊒⇾b)⩍⋽⫝̸(b⩼⇪↪b)) , else }

def op_9kyI0w1glK(a, b):
    if op_0MNWfHKp6a(a) > 160:
        return op_TytFGXR7Zf(op_gx7XJ7hdpj(b,b))
    else:
        return op_BiWNJpBvwn(op_hiBDRd40bf(a,b),op_ocnLzx9CaJ(b,b))

def op_count_9kyI0w1glK(a, b):
    if op_0MNWfHKp6a(a) > 160:
        count = op_count_gx7XJ7hdpj(b,b)+op_count_TytFGXR7Zf(op_gx7XJ7hdpj(b,b))+op_count_0MNWfHKp6a(a)
    else:
        count = op_count_hiBDRd40bf(a,b)+op_count_ocnLzx9CaJ(b,b)+op_count_BiWNJpBvwn(op_hiBDRd40bf(a,b),op_ocnLzx9CaJ(b,b))
    return count


def op_7DMB7V6SJk(a):
    if op_AFVx7xoS7T(a,28) > 26:
        return op_KWeyIRWUIQ(op_PxpmPgHHJV(167))
    else:
        return op_KbjG8mgYpV(op_VCG3UHNzLR(a,207),op_s3Fd5m9Dh2(a,166))

def op_count_7DMB7V6SJk(a):
    if op_AFVx7xoS7T(a,28) > 26:
        count = op_count_PxpmPgHHJV(167)+op_count_KWeyIRWUIQ(op_PxpmPgHHJV(167))+op_count_AFVx7xoS7T(a,28)
    else:
        count = op_count_VCG3UHNzLR(a,207)+op_count_s3Fd5m9Dh2(a,166)+op_count_KbjG8mgYpV(op_VCG3UHNzLR(a,207),op_s3Fd5m9Dh2(a,166))
    return count


a⋸⩠⩉b = { (((704⊉↱≁a)≽⪈↿(a⋢b))≃((b⪔⊥b)⇴(⊢≑≆b))) , if b>517 ; (((a⩒⫫b)∫≲⋬)↬⩅∪) , else }

def op_dRadXbEFuP(a, b):
    if b > 517:
        return op_YbVcJGFEVW(op_inCIaGQf8u(op_w2P8NbNXyL(704,a),op_NdELin8EPX(a,b)),op_4JB6nKBMSY(op_HJ9erzHUuu(b,b),op_27wFxooxGf(b)))
    else:
        return op_VJ330n2nnx(op_DNmMwa48aR(op_KFSx94NKJn(a,b)))

def op_count_dRadXbEFuP(a, b):
    if b > 517:
        count = op_count_w2P8NbNXyL(704,a)+op_count_NdELin8EPX(a,b)+op_count_inCIaGQf8u(op_w2P8NbNXyL(704,a),op_NdELin8EPX(a,b))+op_count_HJ9erzHUuu(b,b)+op_count_27wFxooxGf(b)+op_count_4JB6nKBMSY(op_HJ9erzHUuu(b,b),op_27wFxooxGf(b))+op_count_YbVcJGFEVW(op_inCIaGQf8u(op_w2P8NbNXyL(704,a),op_NdELin8EPX(a,b)),op_4JB6nKBMSY(op_HJ9erzHUuu(b,b),op_27wFxooxGf(b)))
    else:
        count = op_count_KFSx94NKJn(a,b)+op_count_DNmMwa48aR(op_KFSx94NKJn(a,b))+op_count_VJ330n2nnx(op_DNmMwa48aR(op_KFSx94NKJn(a,b)))
    return count


def op_vfo9xvTTbt(a, b):
    if (op_DO4fhlbJSI(a) == 128 and a <= 127):
        return op_z2JHNkvbdm(op_3YWlZA9bsa(op_KFSx94NKJn(a,703),op_JclMnS0uGI(3,b)),op_gSr4c7pPrV(op_m612RDITqL(310,b)))
    else:
        return op_eewbuw0ToL(op_JclMnS0uGI(op_1h0rLqGiFr(b),op_14qkJME0vr(b)),op_z2JHNkvbdm(op_HmxsFra2vL(b,b),op_aiqF8n6J9c(a,a)))

def op_count_vfo9xvTTbt(a, b):
    if (op_DO4fhlbJSI(a) == 128 and a <= 127):
        count = op_count_KFSx94NKJn(a,703)+op_count_JclMnS0uGI(3,b)+op_count_3YWlZA9bsa(op_KFSx94NKJn(a,703),op_JclMnS0uGI(3,b))+op_count_m612RDITqL(310,b)+op_count_gSr4c7pPrV(op_m612RDITqL(310,b))+op_count_z2JHNkvbdm(op_3YWlZA9bsa(op_KFSx94NKJn(a,703),op_JclMnS0uGI(3,b)),op_gSr4c7pPrV(op_m612RDITqL(310,b)))+op_count_DO4fhlbJSI(a)
    else:
        count = op_count_1h0rLqGiFr(b)+op_count_14qkJME0vr(b)+op_count_JclMnS0uGI(op_1h0rLqGiFr(b),op_14qkJME0vr(b))+op_count_HmxsFra2vL(b,b)+op_count_aiqF8n6J9c(a,a)+op_count_z2JHNkvbdm(op_HmxsFra2vL(b,b),op_aiqF8n6J9c(a,a))+op_count_eewbuw0ToL(op_JclMnS0uGI(op_1h0rLqGiFr(b),op_14qkJME0vr(b)),op_z2JHNkvbdm(op_HmxsFra2vL(b,b),op_aiqF8n6J9c(a,a)))
    return count


∰⪳∞a = { (((a⫡⨏a)⨓↿∉(a⫏↛⩏a))⊭(⋼∭⪍(a⇅))) , if (a⋝⋈⪟712)!=6 ; ((171⋂⩴(a⪨≂a))≽⪈↿((a∴259)⪣⫩)) , else }

def op_m9PlZLh76G(a):
    if op_2DDjHMKMc0(a,712) != 6:
        return op_4JGOJzXMq1(op_OWnFPqjWlR(op_QMFrweE19q(a,a),op_YC3tgrnOyr(a,a)),op_DbCuESL50I(op_oH594TLvBK(a)))
    else:
        return op_inCIaGQf8u(op_hmlrMsD2PO(171,op_sdazOOVcIp(a,a)),op_iuk5sVOGFA(op_hrf7POJlIJ(a,259)))

def op_count_m9PlZLh76G(a):
    if op_2DDjHMKMc0(a,712) != 6:
        count = op_count_QMFrweE19q(a,a)+op_count_YC3tgrnOyr(a,a)+op_count_OWnFPqjWlR(op_QMFrweE19q(a,a),op_YC3tgrnOyr(a,a))+op_count_oH594TLvBK(a)+op_count_DbCuESL50I(op_oH594TLvBK(a))+op_count_4JGOJzXMq1(op_OWnFPqjWlR(op_QMFrweE19q(a,a),op_YC3tgrnOyr(a,a)),op_DbCuESL50I(op_oH594TLvBK(a)))+op_count_2DDjHMKMc0(a,712)
    else:
        count = op_count_sdazOOVcIp(a,a)+op_count_hmlrMsD2PO(171,op_sdazOOVcIp(a,a))+op_count_hrf7POJlIJ(a,259)+op_count_iuk5sVOGFA(op_hrf7POJlIJ(a,259))+op_count_inCIaGQf8u(op_hmlrMsD2PO(171,op_sdazOOVcIp(a,a)),op_iuk5sVOGFA(op_hrf7POJlIJ(a,259)))
    return count


a↹⇡ = { (628⩷∴a) , if a<136 ; (a⫻⋑⊟) , else }

def op_l9k287WniR(a):
    if a < 136:
        return op_9FxExcQeMw(628,a)
    else:
        return op_o575Zjdmzy(a)

def op_count_l9k287WniR(a):
    if a < 136:
        count = op_count_9FxExcQeMw(628,a)
    else:
        count = op_count_o575Zjdmzy(a)
    return count


a∇⫙b = { ((∨a)⨧(a⊋≦⊧a)) , if b!=302 ; ((b⩷∴a)⇟⨁⪰) , else }

def op_L1HhCB6FLx(a, b):
    if b != 302:
        return op_3YWlZA9bsa(op_rIsGeVJWJF(a),op_oRDoc9rAEX(a,a))
    else:
        return op_BX1lVwlMe0(op_9FxExcQeMw(b,a))

def op_count_L1HhCB6FLx(a, b):
    if b != 302:
        count = op_count_rIsGeVJWJF(a)+op_count_oRDoc9rAEX(a,a)+op_count_3YWlZA9bsa(op_rIsGeVJWJF(a),op_oRDoc9rAEX(a,a))
    else:
        count = op_count_9FxExcQeMw(b,a)+op_count_BX1lVwlMe0(op_9FxExcQeMw(b,a))
    return count


def op_UvGf2i8V7N(a):
    if op_oPMjh9089D(a) == 754:
        return op_ieTw63T1Vx(a)
    else:
        return op_1h0rLqGiFr(op_3Oe9XWJUTD(a,op_ObEyaaML9x(a,a)))

def op_count_UvGf2i8V7N(a):
    if op_oPMjh9089D(a) == 754:
        count = op_count_ieTw63T1Vx(a)+op_count_oPMjh9089D(a)
    else:
        count = op_count_ObEyaaML9x(a,a)+op_count_3Oe9XWJUTD(a,op_ObEyaaML9x(a,a))+op_count_1h0rLqGiFr(op_3Oe9XWJUTD(a,op_ObEyaaML9x(a,a)))
    return count


a≜⩼b = { (b⊢b) , if (↞≼b)>261 ; (a⨌↪) , else }

def op_44bIv9JyVY(a, b):
    if op_DE7zCoGJt9(b) > 261:
        return op_5twsqlHp2o(b,b)
    else:
        return op_cWQsF5MvuD(a)

def op_count_44bIv9JyVY(a, b):
    if op_DE7zCoGJt9(b) > 261:
        count = op_count_5twsqlHp2o(b,b)+op_count_DE7zCoGJt9(b)
    else:
        count = op_count_cWQsF5MvuD(a)
    return count


⪊⪨⫵a = { (⪆(a∅a)) , if (≯a)<=202 ; ((⨞⊢a)⩣⫁∢(a⊢a)) , else }

def op_iADfkv7JoX(a):
    if op_keWfFq85dY(a) <= 202:
        return op_KWeyIRWUIQ(op_giaUb8UVhq(a,a))
    else:
        return op_JDUIKTTSIa(op_xUOZtlo3hN(a),op_5twsqlHp2o(a,a))

def op_count_iADfkv7JoX(a):
    if op_keWfFq85dY(a) <= 202:
        count = op_count_giaUb8UVhq(a,a)+op_count_KWeyIRWUIQ(op_giaUb8UVhq(a,a))+op_count_keWfFq85dY(a)
    else:
        count = op_count_xUOZtlo3hN(a)+op_count_5twsqlHp2o(a,a)+op_count_JDUIKTTSIa(op_xUOZtlo3hN(a),op_5twsqlHp2o(a,a))
    return count


a≋⫊ = { ((⨑⩽⪐(a⫰⋱a))⫃⨇((⇙⪊a)⪲⨢(a⪭a))) , if (a↫)==49 ; (∓⪦((⇻⫵a)⨵⪆(a⋷927))) , else }

def op_LShOFZHVeX(a):
    if op_uPb5QRN0te(a) == 49:
        return op_09Ly4LVMIf(op_AF7qkfDlqP(op_6o9Blt3TJ6(a,a)),op_6iafYuwGo8(op_pB6Fcnrjim(a),op_j9kHMeSvPp(a,a)))
    else:
        return op_D309nIvmXG(op_2DQ55sFlQl(op_Wm7LHi3c8p(a),op_23Mk6UjR3U(a,927)))

def op_count_LShOFZHVeX(a):
    if op_uPb5QRN0te(a) == 49:
        count = op_count_6o9Blt3TJ6(a,a)+op_count_AF7qkfDlqP(op_6o9Blt3TJ6(a,a))+op_count_pB6Fcnrjim(a)+op_count_j9kHMeSvPp(a,a)+op_count_6iafYuwGo8(op_pB6Fcnrjim(a),op_j9kHMeSvPp(a,a))+op_count_09Ly4LVMIf(op_AF7qkfDlqP(op_6o9Blt3TJ6(a,a)),op_6iafYuwGo8(op_pB6Fcnrjim(a),op_j9kHMeSvPp(a,a)))+op_count_uPb5QRN0te(a)
    else:
        count = op_count_Wm7LHi3c8p(a)+op_count_23Mk6UjR3U(a,927)+op_count_2DQ55sFlQl(op_Wm7LHi3c8p(a),op_23Mk6UjR3U(a,927))+op_count_D309nIvmXG(op_2DQ55sFlQl(op_Wm7LHi3c8p(a),op_23Mk6UjR3U(a,927)))
    return count


a⪉b = { (((a⩌b)⩍⋽⫝̸(a⪖⪡b))≭⫡((⩆⇋b)⪱⇝(a⪨≂b))) , if (∷≠b)>=657 ; (((b≃a)⊔(b≟⫹b))∼⇢(∯b)) , else }

def op_P4ywzuOpaq(a, b):
    if op_QiR2Oyf5Xj(b) >= 657:
        return op_b1mGkbI4Oy(op_BiWNJpBvwn(op_UoVew8f2p2(a,b),op_7PjNe5qSIJ(a,b)),op_OTRTVPweYV(op_IjUb3wyICU(b),op_sdazOOVcIp(a,b)))
    else:
        return op_Cr5xnr8B4B(op_E4l6HwMY31(op_YbVcJGFEVW(b,a),op_z2JHNkvbdm(b,b)),op_13TjBizFrQ(b))

def op_count_P4ywzuOpaq(a, b):
    if op_QiR2Oyf5Xj(b) >= 657:
        count = op_count_UoVew8f2p2(a,b)+op_count_7PjNe5qSIJ(a,b)+op_count_BiWNJpBvwn(op_UoVew8f2p2(a,b),op_7PjNe5qSIJ(a,b))+op_count_IjUb3wyICU(b)+op_count_sdazOOVcIp(a,b)+op_count_OTRTVPweYV(op_IjUb3wyICU(b),op_sdazOOVcIp(a,b))+op_count_b1mGkbI4Oy(op_BiWNJpBvwn(op_UoVew8f2p2(a,b),op_7PjNe5qSIJ(a,b)),op_OTRTVPweYV(op_IjUb3wyICU(b),op_sdazOOVcIp(a,b)))+op_count_QiR2Oyf5Xj(b)
    else:
        count = op_count_YbVcJGFEVW(b,a)+op_count_z2JHNkvbdm(b,b)+op_count_E4l6HwMY31(op_YbVcJGFEVW(b,a),op_z2JHNkvbdm(b,b))+op_count_13TjBizFrQ(b)+op_count_Cr5xnr8B4B(op_E4l6HwMY31(op_YbVcJGFEVW(b,a),op_z2JHNkvbdm(b,b)),op_13TjBizFrQ(b))
    return count


a⫹⋆b = { ((a↜⊷a)⇼⇔∾(b⊒a)) , if ((b-809)>=81 and a>20) ; ((a⨓↿∉b)∀⩎⋷(⇻⫵b)) , else }

def op_mvkfbmF2ZK(a, b):
    if (op_rysDP5nf3Z(b,809) >= 81 and a > 20):
        return op_tifHPKVTfV(op_irKjLsMeKy(a,a),op_rPNtK4BLRO(b,a))
    else:
        return op_FPxP5Y1j0W(op_OWnFPqjWlR(a,b),op_Wm7LHi3c8p(b))

def op_count_mvkfbmF2ZK(a, b):
    if (op_rysDP5nf3Z(b,809) >= 81 and a > 20):
        count = op_count_irKjLsMeKy(a,a)+op_count_rPNtK4BLRO(b,a)+op_count_tifHPKVTfV(op_irKjLsMeKy(a,a),op_rPNtK4BLRO(b,a))+op_count_rysDP5nf3Z(b,809)
    else:
        count = op_count_OWnFPqjWlR(a,b)+op_count_Wm7LHi3c8p(b)+op_count_FPxP5Y1j0W(op_OWnFPqjWlR(a,b),op_Wm7LHi3c8p(b))
    return count


a∱⨑b = { (⇒⊙∲48) , if (a∩⋅)>=364 ; (a⪭b) , else }

def op_GHTZleiggj(a, b):
    if op_2MzE1hQ0cz(a) >= 364:
        return op_8HCJqvcFkE(48)
    else:
        return op_j9kHMeSvPp(a,b)

def op_count_GHTZleiggj(a, b):
    if op_2MzE1hQ0cz(a) >= 364:
        count = op_count_8HCJqvcFkE(48)+op_count_2MzE1hQ0cz(a)
    else:
        count = op_count_j9kHMeSvPp(a,b)
    return count


a⇋⇻b = { (((b⊱⇼⊻b)⇿⊰(a⨚b))⇌⫙⪟((b⋥≓≎b)⨑≵⋬(b⩵∡b))) , if (⇠a)<=107 ; (((a⋟⫀⨗a)⨧(596⨊⨠))⫃⨇((⩆⇋a)≦↸(a⇛651))) , else }

def op_lIWCnfEXsl(a, b):
    if op_18saOjeKKm(a) <= 107:
        return op_AFVx7xoS7T(op_ap3xiM279w(op_FyVja0WsTP(b,b),op_nREPSIbpBE(a,b)),op_XnXgA4xnOs(op_Qy55tPpLXF(b,b),op_Y7wcNGrDQJ(b,b)))
    else:
        return op_09Ly4LVMIf(op_3YWlZA9bsa(op_dAAkup5nzi(a,a),op_qU6oQAhJaQ(596)),op_RygbFNSyEJ(op_IjUb3wyICU(a),op_S3tN1ZzpSt(a,651)))

def op_count_lIWCnfEXsl(a, b):
    if op_18saOjeKKm(a) <= 107:
        count = op_count_FyVja0WsTP(b,b)+op_count_nREPSIbpBE(a,b)+op_count_ap3xiM279w(op_FyVja0WsTP(b,b),op_nREPSIbpBE(a,b))+op_count_Qy55tPpLXF(b,b)+op_count_Y7wcNGrDQJ(b,b)+op_count_XnXgA4xnOs(op_Qy55tPpLXF(b,b),op_Y7wcNGrDQJ(b,b))+op_count_AFVx7xoS7T(op_ap3xiM279w(op_FyVja0WsTP(b,b),op_nREPSIbpBE(a,b)),op_XnXgA4xnOs(op_Qy55tPpLXF(b,b),op_Y7wcNGrDQJ(b,b)))+op_count_18saOjeKKm(a)
    else:
        count = op_count_dAAkup5nzi(a,a)+op_count_qU6oQAhJaQ(596)+op_count_3YWlZA9bsa(op_dAAkup5nzi(a,a),op_qU6oQAhJaQ(596))+op_count_IjUb3wyICU(a)+op_count_S3tN1ZzpSt(a,651)+op_count_RygbFNSyEJ(op_IjUb3wyICU(a),op_S3tN1ZzpSt(a,651))+op_count_09Ly4LVMIf(op_3YWlZA9bsa(op_dAAkup5nzi(a,a),op_qU6oQAhJaQ(596)),op_RygbFNSyEJ(op_IjUb3wyICU(a),op_S3tN1ZzpSt(a,651)))
    return count


def op_zd2IIeNu9V(a):
    if a < 488:
        return op_IxJHfR5psi(79,802)
    else:
        return a

def op_count_zd2IIeNu9V(a):
    if a < 488:
        count = op_count_IxJHfR5psi(79,802)
    else:
        count = 1
    return count


a⋆⋬b = { (b⇴b) , if (b<98 and b<=23 and (⊁⨺b)>=41) ; (b+a) , else }

def op_7YiCYgpUY4(a, b):
    if (b < 98 and b <= 23 and op_PxiHyQbrIp(b) >= 41):
        return op_4JB6nKBMSY(b,b)
    else:
        return op_W4YGzv6Whe(b,a)

def op_count_7YiCYgpUY4(a, b):
    if (b < 98 and b <= 23 and op_PxiHyQbrIp(b) >= 41):
        count = op_count_4JB6nKBMSY(b,b)+op_count_PxiHyQbrIp(b)
    else:
        count = op_count_W4YGzv6Whe(b,a)
    return count


a⨙⫵⋕ = { a , if (a⩆≶⊌)<72 ; (∋∴a) , else }

def op_YlMk1RTeAK(a):
    if op_PZaICrJanm(a) < 72:
        return a
    else:
        return op_nouZ5SZjt1(a)

def op_count_YlMk1RTeAK(a):
    if op_PZaICrJanm(a) < 72:
        count = 1
    else:
        count = op_count_nouZ5SZjt1(a)
    return count


def op_ImiHdnrUCe(a):
    if (a != 221 or op_UoVew8f2p2(a,103) < 6):
        return op_tIhPxZTbsh(op_xSk1F0pZbF(op_vRio1gEz1j(a),op_P8v4zCKN1o(7)),op_ocnLzx9CaJ(a,op_j9kHMeSvPp(a,a)))
    else:
        return op_umQnsF7QlU(op_0JWJYFSzIQ(op_09Ly4LVMIf(a,247),op_9bazX3JMtO(82,90)),op_wztAlM01eG(op_9xnGDUPbC6(a)))

def op_count_ImiHdnrUCe(a):
    if (a != 221 or op_UoVew8f2p2(a,103) < 6):
        count = op_count_vRio1gEz1j(a)+op_count_P8v4zCKN1o(7)+op_count_xSk1F0pZbF(op_vRio1gEz1j(a),op_P8v4zCKN1o(7))+op_count_j9kHMeSvPp(a,a)+op_count_ocnLzx9CaJ(a,op_j9kHMeSvPp(a,a))+op_count_tIhPxZTbsh(op_xSk1F0pZbF(op_vRio1gEz1j(a),op_P8v4zCKN1o(7)),op_ocnLzx9CaJ(a,op_j9kHMeSvPp(a,a)))+op_count_UoVew8f2p2(a,103)
    else:
        count = op_count_09Ly4LVMIf(a,247)+op_count_9bazX3JMtO(82,90)+op_count_0JWJYFSzIQ(op_09Ly4LVMIf(a,247),op_9bazX3JMtO(82,90))+op_count_9xnGDUPbC6(a)+op_count_wztAlM01eG(op_9xnGDUPbC6(a))+op_count_umQnsF7QlU(op_0JWJYFSzIQ(op_09Ly4LVMIf(a,247),op_9bazX3JMtO(82,90)),op_wztAlM01eG(op_9xnGDUPbC6(a)))
    return count


a↝⩡b = { (((a⋷a)⇿⊰(a⊒b))⇖↽(≦(b⋥≓≎a))) , if (a∷)==240 ; (((a∫⋜⩖b)∙∹∝(a≏⨯⊱b))⊦⊿) , else }

def op_JjBRwFuOb8(a, b):
    if op_nFAOW8KTqp(a) == 240:
        return op_cwbF3JtlMN(op_ap3xiM279w(op_23Mk6UjR3U(a,a),op_rPNtK4BLRO(a,b)),op_RPa3726CSl(op_Qy55tPpLXF(b,a)))
    else:
        return op_14qkJME0vr(op_HmxsFra2vL(op_JgXZM7XvWE(a,b),op_UqUOXUQnbU(a,b)))

def op_count_JjBRwFuOb8(a, b):
    if op_nFAOW8KTqp(a) == 240:
        count = op_count_23Mk6UjR3U(a,a)+op_count_rPNtK4BLRO(a,b)+op_count_ap3xiM279w(op_23Mk6UjR3U(a,a),op_rPNtK4BLRO(a,b))+op_count_Qy55tPpLXF(b,a)+op_count_RPa3726CSl(op_Qy55tPpLXF(b,a))+op_count_cwbF3JtlMN(op_ap3xiM279w(op_23Mk6UjR3U(a,a),op_rPNtK4BLRO(a,b)),op_RPa3726CSl(op_Qy55tPpLXF(b,a)))+op_count_nFAOW8KTqp(a)
    else:
        count = op_count_JgXZM7XvWE(a,b)+op_count_UqUOXUQnbU(a,b)+op_count_HmxsFra2vL(op_JgXZM7XvWE(a,b),op_UqUOXUQnbU(a,b))+op_count_14qkJME0vr(op_HmxsFra2vL(op_JgXZM7XvWE(a,b),op_UqUOXUQnbU(a,b)))
    return count


def op_p0sq3d5a1o(a):
    if op_5twsqlHp2o(a,230) >= 0:
        return op_W4YGzv6Whe(op_Noe24qw2ks(op_x5lMkHmzsq(a),op_w2P8NbNXyL(a,1)),op_Ph9nP6C5qx(op_neKQRQQIil(131,756),op_SPuZE40Ntn(a,a)))
    else:
        return op_NTOWxs364D(op_l1M9WJ3V7u(op_HiPekx5b7W(a,a)),op_eewbuw0ToL(op_d7ASUq0ydm(a,a),op_YC3tgrnOyr(11,653)))

def op_count_p0sq3d5a1o(a):
    if op_5twsqlHp2o(a,230) >= 0:
        count = op_count_x5lMkHmzsq(a)+op_count_w2P8NbNXyL(a,1)+op_count_Noe24qw2ks(op_x5lMkHmzsq(a),op_w2P8NbNXyL(a,1))+op_count_neKQRQQIil(131,756)+op_count_SPuZE40Ntn(a,a)+op_count_Ph9nP6C5qx(op_neKQRQQIil(131,756),op_SPuZE40Ntn(a,a))+op_count_W4YGzv6Whe(op_Noe24qw2ks(op_x5lMkHmzsq(a),op_w2P8NbNXyL(a,1)),op_Ph9nP6C5qx(op_neKQRQQIil(131,756),op_SPuZE40Ntn(a,a)))+op_count_5twsqlHp2o(a,230)
    else:
        count = op_count_HiPekx5b7W(a,a)+op_count_l1M9WJ3V7u(op_HiPekx5b7W(a,a))+op_count_d7ASUq0ydm(a,a)+op_count_YC3tgrnOyr(11,653)+op_count_eewbuw0ToL(op_d7ASUq0ydm(a,a),op_YC3tgrnOyr(11,653))+op_count_NTOWxs364D(op_l1M9WJ3V7u(op_HiPekx5b7W(a,a)),op_eewbuw0ToL(op_d7ASUq0ydm(a,a),op_YC3tgrnOyr(11,653)))
    return count


a⩤⇕↭ = { ((162⩟)⋰⇉∕(a∫⋜⩖a)) , if a<28 ; ((a≬⋮a)⊬⨰(⇻⫵a)) , else }

def op_sayj7rmJXN(a):
    if a < 28:
        return op_sM9mzqIDB1(op_fOIeswaMU4(162),op_JgXZM7XvWE(a,a))
    else:
        return op_s3Fd5m9Dh2(op_kbkesczE7y(a,a),op_Wm7LHi3c8p(a))

def op_count_sayj7rmJXN(a):
    if a < 28:
        count = op_count_fOIeswaMU4(162)+op_count_JgXZM7XvWE(a,a)+op_count_sM9mzqIDB1(op_fOIeswaMU4(162),op_JgXZM7XvWE(a,a))
    else:
        count = op_count_kbkesczE7y(a,a)+op_count_Wm7LHi3c8p(a)+op_count_s3Fd5m9Dh2(op_kbkesczE7y(a,a),op_Wm7LHi3c8p(a))
    return count


def op_pqh8fhqG2f(a):
    if op_R3vAdrE3IH(a) < 383:
        return op_t0cKpDWDXO(a)
    else:
        return op_nREPSIbpBE(a,213)

def op_count_pqh8fhqG2f(a):
    if op_R3vAdrE3IH(a) < 383:
        count = op_count_t0cKpDWDXO(a)+op_count_R3vAdrE3IH(a)
    else:
        count = op_count_nREPSIbpBE(a,213)
    return count


a⪀b = { ((b⫗⊒⇾a)⋐≟⩺(a⫸⇳a)) , if a>52 ; ((a⪅)⊨(∛⊵675)) , else }

def op_Lnros4fou8(a, b):
    if a > 52:
        return op_PjbVkMzmXE(op_hiBDRd40bf(b,a),op_gx7XJ7hdpj(a,a))
    else:
        return op_vg4gO5BX6G(op_FB83X2dByY(a),op_jfYOP67v6Y(675))

def op_count_Lnros4fou8(a, b):
    if a > 52:
        count = op_count_hiBDRd40bf(b,a)+op_count_gx7XJ7hdpj(a,a)+op_count_PjbVkMzmXE(op_hiBDRd40bf(b,a),op_gx7XJ7hdpj(a,a))
    else:
        count = op_count_FB83X2dByY(a)+op_count_jfYOP67v6Y(675)+op_count_vg4gO5BX6G(op_FB83X2dByY(a),op_jfYOP67v6Y(675))
    return count


def op_YVB80mNAyD(a, b):
    if b == 136:
        return op_d8xe6WWVfM(a,4)
    else:
        return op_zV3pqYiQ5E(478)

def op_count_YVB80mNAyD(a, b):
    if b == 136:
        count = op_count_d8xe6WWVfM(a,4)
    else:
        count = op_count_zV3pqYiQ5E(478)
    return count


⋣↭a = { (a↼⊘⨖((a⇊⊒⫧)≽⪈↿(a⇿⊰a))) , if a>=28 ; (((80∠↢a)⨬⫳)⪁⨴⋨((a≦≮≮)⪖⪡a)) , else }

def op_ojLG4DMMOC(a):
    if a >= 28:
        return op_bPywburJMS(a,op_inCIaGQf8u(op_eIba4BG3xN(a),op_ap3xiM279w(a,a)))
    else:
        return op_y2kQTS4a70(op_kc7iqVBlRY(op_KbjG8mgYpV(80,a)),op_7PjNe5qSIJ(op_D4vGDi5EA2(a),a))

def op_count_ojLG4DMMOC(a):
    if a >= 28:
        count = op_count_eIba4BG3xN(a)+op_count_ap3xiM279w(a,a)+op_count_inCIaGQf8u(op_eIba4BG3xN(a),op_ap3xiM279w(a,a))+op_count_bPywburJMS(a,op_inCIaGQf8u(op_eIba4BG3xN(a),op_ap3xiM279w(a,a)))
    else:
        count = op_count_KbjG8mgYpV(80,a)+op_count_kc7iqVBlRY(op_KbjG8mgYpV(80,a))+op_count_D4vGDi5EA2(a)+op_count_7PjNe5qSIJ(op_D4vGDi5EA2(a),a)+op_count_y2kQTS4a70(op_kc7iqVBlRY(op_KbjG8mgYpV(80,a)),op_7PjNe5qSIJ(op_D4vGDi5EA2(a),a))
    return count


def op_UAPdV6bvc3(a):
    if op_AdZkA7nFnk(a,735) >= 7:
        return op_ct1hK6qyRt(355)
    else:
        return op_JgXZM7XvWE(a,a)

def op_count_UAPdV6bvc3(a):
    if op_AdZkA7nFnk(a,735) >= 7:
        count = op_count_ct1hK6qyRt(355)+op_count_AdZkA7nFnk(a,735)
    else:
        count = op_count_JgXZM7XvWE(a,a)
    return count


∳*≳a = { (a⫀) , if a<90 ; (a⊔((a⇿⊰a)⨑≵⋬(a⊔a))) , else }

def op_G68iXt2SEN(a):
    if a < 90:
        return op_hFnZRMLNSM(a)
    else:
        return op_E4l6HwMY31(a,op_XnXgA4xnOs(op_ap3xiM279w(a,a),op_E4l6HwMY31(a,a)))

def op_count_G68iXt2SEN(a):
    if a < 90:
        count = op_count_hFnZRMLNSM(a)
    else:
        count = op_count_ap3xiM279w(a,a)+op_count_E4l6HwMY31(a,a)+op_count_XnXgA4xnOs(op_ap3xiM279w(a,a),op_E4l6HwMY31(a,a))+op_count_E4l6HwMY31(a,op_XnXgA4xnOs(op_ap3xiM279w(a,a),op_E4l6HwMY31(a,a)))
    return count


def op_0rzHZG8MuI(a):
    if op_ztP7wcbY7m(a) >= 255:
        return op_pB6Fcnrjim(op_kweVJGAjhl(a))
    else:
        return op_HrjLwUk87U(a,op_S3tN1ZzpSt(634,a))

def op_count_0rzHZG8MuI(a):
    if op_ztP7wcbY7m(a) >= 255:
        count = op_count_kweVJGAjhl(a)+op_count_pB6Fcnrjim(op_kweVJGAjhl(a))+op_count_ztP7wcbY7m(a)
    else:
        count = op_count_S3tN1ZzpSt(634,a)+op_count_HrjLwUk87U(a,op_S3tN1ZzpSt(634,a))
    return count


a⨨⪣⩋b = { ((b⇅)↼⊘⨖(b≶b)) , if a<=400 ; ((⩰a)≣(a⊹⊞⫔)) , else }

def op_tmNq1QR2aX(a, b):
    if a <= 400:
        return op_bPywburJMS(op_oH594TLvBK(b),op_Q2SPaKwpPJ(b,b))
    else:
        return op_ObEyaaML9x(op_WkeUrDK8WX(a),op_eVHdItn4YL(a))

def op_count_tmNq1QR2aX(a, b):
    if a <= 400:
        count = op_count_oH594TLvBK(b)+op_count_Q2SPaKwpPJ(b,b)+op_count_bPywburJMS(op_oH594TLvBK(b),op_Q2SPaKwpPJ(b,b))
    else:
        count = op_count_WkeUrDK8WX(a)+op_count_eVHdItn4YL(a)+op_count_ObEyaaML9x(op_WkeUrDK8WX(a),op_eVHdItn4YL(a))
    return count


a⊢⇽b = { ((⨞⫢(a⩱))⪈⋁⩁((↓⇌a)⫚↹⊑223)) , if (a∷)==415 ; ((≤/(a⪖⪡b))⫰⋱b) , else }

def op_fGTNyEZ31R(a, b):
    if op_nFAOW8KTqp(a) == 415:
        return op_GMyVS5K48T(op_HQuZ2f4It9(op_uyq1hVkAcj(a)),op_dfKe02y8D2(op_PxpmPgHHJV(a),223))
    else:
        return op_6o9Blt3TJ6(op_eLAdDNolq6(op_7PjNe5qSIJ(a,b)),b)

def op_count_fGTNyEZ31R(a, b):
    if op_nFAOW8KTqp(a) == 415:
        count = op_count_uyq1hVkAcj(a)+op_count_HQuZ2f4It9(op_uyq1hVkAcj(a))+op_count_PxpmPgHHJV(a)+op_count_dfKe02y8D2(op_PxpmPgHHJV(a),223)+op_count_GMyVS5K48T(op_HQuZ2f4It9(op_uyq1hVkAcj(a)),op_dfKe02y8D2(op_PxpmPgHHJV(a),223))+op_count_nFAOW8KTqp(a)
    else:
        count = op_count_7PjNe5qSIJ(a,b)+op_count_eLAdDNolq6(op_7PjNe5qSIJ(a,b))+op_count_6o9Blt3TJ6(op_eLAdDNolq6(op_7PjNe5qSIJ(a,b)),b)
    return count


∁⪩↝a = { ((≀↧⇸(a∑a))∫⋜⩖((⩆⇋a)⪿⇪⊩(a⩾a))) , if (⩕↛a)==76 ; (↖∇⇑((a⊭a)⪱⇝a)) , else }

def op_H9pKK0i7DW(a):
    if op_3EhVUz7Ug9(a) == 76:
        return op_JgXZM7XvWE(op_ljTHtUsqzn(op_JFrVJKYFMX(a,a)),op_OGWBzMv138(op_IjUb3wyICU(a),op_UggxBX659n(a,a)))
    else:
        return op_th50nGnoUm(op_OTRTVPweYV(op_4JGOJzXMq1(a,a),a))

def op_count_H9pKK0i7DW(a):
    if op_3EhVUz7Ug9(a) == 76:
        count = op_count_JFrVJKYFMX(a,a)+op_count_ljTHtUsqzn(op_JFrVJKYFMX(a,a))+op_count_IjUb3wyICU(a)+op_count_UggxBX659n(a,a)+op_count_OGWBzMv138(op_IjUb3wyICU(a),op_UggxBX659n(a,a))+op_count_JgXZM7XvWE(op_ljTHtUsqzn(op_JFrVJKYFMX(a,a)),op_OGWBzMv138(op_IjUb3wyICU(a),op_UggxBX659n(a,a)))+op_count_3EhVUz7Ug9(a)
    else:
        count = op_count_4JGOJzXMq1(a,a)+op_count_OTRTVPweYV(op_4JGOJzXMq1(a,a),a)+op_count_th50nGnoUm(op_OTRTVPweYV(op_4JGOJzXMq1(a,a),a))
    return count


a∫b = { (((83⩚⊴⇥a)⇩)⩌⋺(↥≼⋛(b⊵a))) , if (⪀≱a)<=454 or b==189 ; (((a⇼⇔∾a)⪒⊣⊆(a⪭31))⊨((b⊱⇼⊻a)⩚⊴⇥(a↼⊘⨖607))) , else }

def op_bX58bBWVyZ(a, b):
    if op_tDVI6bDdAd(a) <= 454 or b == 189:
        return op_g7Hmc5v1ko(op_vRio1gEz1j(op_NTOWxs364D(83,a)),op_x5lMkHmzsq(op_eaFBhJ0Uku(b,a)))
    else:
        return op_vg4gO5BX6G(op_eRqsBgTDFp(op_tifHPKVTfV(a,a),op_j9kHMeSvPp(a,31)),op_NTOWxs364D(op_FyVja0WsTP(b,a),op_bPywburJMS(a,607)))

def op_count_bX58bBWVyZ(a, b):
    if op_tDVI6bDdAd(a) <= 454 or b == 189:
        count = op_count_NTOWxs364D(83,a)+op_count_vRio1gEz1j(op_NTOWxs364D(83,a))+op_count_eaFBhJ0Uku(b,a)+op_count_x5lMkHmzsq(op_eaFBhJ0Uku(b,a))+op_count_g7Hmc5v1ko(op_vRio1gEz1j(op_NTOWxs364D(83,a)),op_x5lMkHmzsq(op_eaFBhJ0Uku(b,a)))+op_count_tDVI6bDdAd(a)
    else:
        count = op_count_tifHPKVTfV(a,a)+op_count_j9kHMeSvPp(a,31)+op_count_eRqsBgTDFp(op_tifHPKVTfV(a,a),op_j9kHMeSvPp(a,31))+op_count_FyVja0WsTP(b,a)+op_count_bPywburJMS(a,607)+op_count_NTOWxs364D(op_FyVja0WsTP(b,a),op_bPywburJMS(a,607))+op_count_vg4gO5BX6G(op_eRqsBgTDFp(op_tifHPKVTfV(a,a),op_j9kHMeSvPp(a,31)),op_NTOWxs364D(op_FyVja0WsTP(b,a),op_bPywburJMS(a,607)))
    return count


a⫯⪅↕ = { (⩪∧⨌(138⨸⪁a)) , if a<107 ; ((a⩣⫁∢a)⪎↠(a⊚⨔)) , else }

def op_kdV7rk3jKp(a):
    if a < 107:
        return op_6iOiAJX1F8(op_g55IO6H4Gj(138,a))
    else:
        return op_3tVxb0NHM4(op_JDUIKTTSIa(a,a),op_XbEAUggs3J(a))

def op_count_kdV7rk3jKp(a):
    if a < 107:
        count = op_count_g55IO6H4Gj(138,a)+op_count_6iOiAJX1F8(op_g55IO6H4Gj(138,a))
    else:
        count = op_count_JDUIKTTSIa(a,a)+op_count_XbEAUggs3J(a)+op_count_3tVxb0NHM4(op_JDUIKTTSIa(a,a),op_XbEAUggs3J(a))
    return count


∶⪇⫑a = { (60⇼⇔∾a) , if (a∘⨩)>286 ; (a⫚↹⊑85) , else }

def op_HeOqytLSPV(a):
    if op_aHKFHkCgn9(a) > 286:
        return op_tifHPKVTfV(60,a)
    else:
        return op_dfKe02y8D2(a,85)

def op_count_HeOqytLSPV(a):
    if op_aHKFHkCgn9(a) > 286:
        count = op_count_tifHPKVTfV(60,a)+op_count_aHKFHkCgn9(a)
    else:
        count = op_count_dfKe02y8D2(a,85)
    return count


def op_S4hJxLSKWV(a):
    if a != 132:
        return op_sM9mzqIDB1(op_apS25hmuAe(op_JclMnS0uGI(36,242)),op_wztAlM01eG(op_m612RDITqL(125,a)))
    else:
        return op_L05ObWFQCd(op_cTDWOvIxvz(op_DmTXOeWf9t(a,a),op_EO7Xdgo9So(a)),op_9FxExcQeMw(op_u6S6b8DprG(745),op_9bazX3JMtO(239,a)))

def op_count_S4hJxLSKWV(a):
    if a != 132:
        count = op_count_JclMnS0uGI(36,242)+op_count_apS25hmuAe(op_JclMnS0uGI(36,242))+op_count_m612RDITqL(125,a)+op_count_wztAlM01eG(op_m612RDITqL(125,a))+op_count_sM9mzqIDB1(op_apS25hmuAe(op_JclMnS0uGI(36,242)),op_wztAlM01eG(op_m612RDITqL(125,a)))
    else:
        count = op_count_DmTXOeWf9t(a,a)+op_count_EO7Xdgo9So(a)+op_count_cTDWOvIxvz(op_DmTXOeWf9t(a,a),op_EO7Xdgo9So(a))+op_count_u6S6b8DprG(745)+op_count_9bazX3JMtO(239,a)+op_count_9FxExcQeMw(op_u6S6b8DprG(745),op_9bazX3JMtO(239,a))+op_count_L05ObWFQCd(op_cTDWOvIxvz(op_DmTXOeWf9t(a,a),op_EO7Xdgo9So(a)),op_9FxExcQeMw(op_u6S6b8DprG(745),op_9bazX3JMtO(239,a)))
    return count


def op_ZMAn7luuSb(a):
    if op_hrf7POJlIJ(a,226) <= 324:
        return op_oPMjh9089D(op_uysxUYN2L2(op_kweVJGAjhl(a),op_cwbF3JtlMN(a,421)))
    else:
        return op_AdZkA7nFnk(op_8HCJqvcFkE(op_w2P8NbNXyL(372,a)),op_2DQ55sFlQl(op_4JB6nKBMSY(a,a),a))

def op_count_ZMAn7luuSb(a):
    if op_hrf7POJlIJ(a,226) <= 324:
        count = op_count_kweVJGAjhl(a)+op_count_cwbF3JtlMN(a,421)+op_count_uysxUYN2L2(op_kweVJGAjhl(a),op_cwbF3JtlMN(a,421))+op_count_oPMjh9089D(op_uysxUYN2L2(op_kweVJGAjhl(a),op_cwbF3JtlMN(a,421)))+op_count_hrf7POJlIJ(a,226)
    else:
        count = op_count_w2P8NbNXyL(372,a)+op_count_8HCJqvcFkE(op_w2P8NbNXyL(372,a))+op_count_4JB6nKBMSY(a,a)+op_count_2DQ55sFlQl(op_4JB6nKBMSY(a,a),a)+op_count_AdZkA7nFnk(op_8HCJqvcFkE(op_w2P8NbNXyL(372,a)),op_2DQ55sFlQl(op_4JB6nKBMSY(a,a),a))
    return count


def op_CHhZl5C0UC(a, b):
    if op_ap3xiM279w(a,697) > 59:
        return op_1aApVXNlOP(op_IxJHfR5psi(op_WR6HLWljOP(b,172),op_jBC4ymW3D7(b,a)),op_18saOjeKKm(op_DX7B1fY6P6(359,b)))
    else:
        return op_apS25hmuAe(op_uyq1hVkAcj(op_U6pG0PXrV3(b)))

def op_count_CHhZl5C0UC(a, b):
    if op_ap3xiM279w(a,697) > 59:
        count = op_count_WR6HLWljOP(b,172)+op_count_jBC4ymW3D7(b,a)+op_count_IxJHfR5psi(op_WR6HLWljOP(b,172),op_jBC4ymW3D7(b,a))+op_count_DX7B1fY6P6(359,b)+op_count_18saOjeKKm(op_DX7B1fY6P6(359,b))+op_count_1aApVXNlOP(op_IxJHfR5psi(op_WR6HLWljOP(b,172),op_jBC4ymW3D7(b,a)),op_18saOjeKKm(op_DX7B1fY6P6(359,b)))+op_count_ap3xiM279w(a,697)
    else:
        count = op_count_U6pG0PXrV3(b)+op_count_uyq1hVkAcj(op_U6pG0PXrV3(b))+op_count_apS25hmuAe(op_uyq1hVkAcj(op_U6pG0PXrV3(b)))
    return count


def op_SJue8jHfl2(a):
    if op_eaFBhJ0Uku(a,45) <= 241:
        return op_Y7wcNGrDQJ(op_09Ly4LVMIf(59,a),op_ocnLzx9CaJ(a,27))
    else:
        return op_d7ASUq0ydm(op_1aApVXNlOP(a,3),op_iz8sE888QL(a))

def op_count_SJue8jHfl2(a):
    if op_eaFBhJ0Uku(a,45) <= 241:
        count = op_count_09Ly4LVMIf(59,a)+op_count_ocnLzx9CaJ(a,27)+op_count_Y7wcNGrDQJ(op_09Ly4LVMIf(59,a),op_ocnLzx9CaJ(a,27))+op_count_eaFBhJ0Uku(a,45)
    else:
        count = op_count_1aApVXNlOP(a,3)+op_count_iz8sE888QL(a)+op_count_d7ASUq0ydm(op_1aApVXNlOP(a,3),op_iz8sE888QL(a))
    return count


def op_dfh7ENhFrR(a, b):
    if b >= 127:
        return op_dAAkup5nzi(op_3Oe9XWJUTD(op_OTRTVPweYV(b,712),op_IjUb3wyICU(b)),op_H0pizIJMoW(b))
    else:
        return op_BiWNJpBvwn(op_VCG3UHNzLR(op_rPNtK4BLRO(326,b),op_s0IfDFCCuZ(136,189)),op_aOI3TlLUAE(op_cTDWOvIxvz(b,a)))

def op_count_dfh7ENhFrR(a, b):
    if b >= 127:
        count = op_count_OTRTVPweYV(b,712)+op_count_IjUb3wyICU(b)+op_count_3Oe9XWJUTD(op_OTRTVPweYV(b,712),op_IjUb3wyICU(b))+op_count_H0pizIJMoW(b)+op_count_dAAkup5nzi(op_3Oe9XWJUTD(op_OTRTVPweYV(b,712),op_IjUb3wyICU(b)),op_H0pizIJMoW(b))
    else:
        count = op_count_rPNtK4BLRO(326,b)+op_count_s0IfDFCCuZ(136,189)+op_count_VCG3UHNzLR(op_rPNtK4BLRO(326,b),op_s0IfDFCCuZ(136,189))+op_count_cTDWOvIxvz(b,a)+op_count_aOI3TlLUAE(op_cTDWOvIxvz(b,a))+op_count_BiWNJpBvwn(op_VCG3UHNzLR(op_rPNtK4BLRO(326,b),op_s0IfDFCCuZ(136,189)),op_aOI3TlLUAE(op_cTDWOvIxvz(b,a)))
    return count


⪶a = { (a⩘⋿a) , if (a⇔⨋)==710 ; (⊫∐⫩a) , else }

def op_zBtHAxlVCP(a):
    if op_uBihLCJcMX(a) == 710:
        return op_64EQ39e0fC(a,a)
    else:
        return op_gSr4c7pPrV(a)

def op_count_zBtHAxlVCP(a):
    if op_uBihLCJcMX(a) == 710:
        count = op_count_64EQ39e0fC(a,a)+op_count_uBihLCJcMX(a)
    else:
        count = op_count_gSr4c7pPrV(a)
    return count


def op_Oop2uYv01n(a):
    if op_rPNtK4BLRO(a,395) == 85:
        return op_S5ZFQS4GK3(177,a)
    else:
        return op_Cr5xnr8B4B(316,a)

def op_count_Oop2uYv01n(a):
    if op_rPNtK4BLRO(a,395) == 85:
        count = op_count_S5ZFQS4GK3(177,a)+op_count_rPNtK4BLRO(a,395)
    else:
        count = op_count_Cr5xnr8B4B(316,a)
    return count


a⇆⪛≍b = { (a⨓↿∉a) , if (b∷805)>=12 ; (≯b) , else }

def op_15fnz2YIbx(a, b):
    if op_D3AQDKkPcf(b,805) >= 12:
        return op_OWnFPqjWlR(a,a)
    else:
        return op_keWfFq85dY(b)

def op_count_15fnz2YIbx(a, b):
    if op_D3AQDKkPcf(b,805) >= 12:
        count = op_count_OWnFPqjWlR(a,a)+op_count_D3AQDKkPcf(b,805)
    else:
        count = op_count_keWfFq85dY(b)
    return count


⩕a = { (a⪭↷⊩) , if a>150 ; (⩗⪄a) , else }

def op_fsZdz99Zac(a):
    if a > 150:
        return op_Oe8teynzfS(a)
    else:
        return op_Y9dhGmbGii(a)

def op_count_fsZdz99Zac(a):
    if a > 150:
        count = op_count_Oe8teynzfS(a)
    else:
        count = op_count_Y9dhGmbGii(a)
    return count


a⋡≤⩀b = { (b⩌⋺b) , if b<122 ; (↥≼⋛a) , else }

def op_Mth4PhTnAe(a, b):
    if b < 122:
        return op_g7Hmc5v1ko(b,b)
    else:
        return op_x5lMkHmzsq(a)

def op_count_Mth4PhTnAe(a, b):
    if b < 122:
        count = op_count_g7Hmc5v1ko(b,b)
    else:
        count = op_count_x5lMkHmzsq(a)
    return count


a↝⋫b = { (⋑a) , if (⊁⨺a)<228 ; (b⫏↛⩏a) , else }

def op_EGhGGaRcC7(a, b):
    if op_PxiHyQbrIp(a) < 228:
        return op_iz8sE888QL(a)
    else:
        return op_YC3tgrnOyr(b,a)

def op_count_EGhGGaRcC7(a, b):
    if op_PxiHyQbrIp(a) < 228:
        count = op_count_iz8sE888QL(a)+op_count_PxiHyQbrIp(a)
    else:
        count = op_count_YC3tgrnOyr(b,a)
    return count


a⨿↛b = { ((a→⨶⪴a)∿⫑≎(a↺b)) , if (b⋰⇉∕869)>=205 ; ((≤/a)⨳⩥⨓(∓a)) , else }

def op_SlXQBQlOF8(a, b):
    if op_sM9mzqIDB1(b,869) >= 205:
        return op_ar1w6gUwHX(op_bF6eod5Gvf(a,a),op_7j4O788W3g(a,b))
    else:
        return op_nCS4ZIUYfx(op_eLAdDNolq6(a),op_OwUj7dcsQK(a))

def op_count_SlXQBQlOF8(a, b):
    if op_sM9mzqIDB1(b,869) >= 205:
        count = op_count_bF6eod5Gvf(a,a)+op_count_7j4O788W3g(a,b)+op_count_ar1w6gUwHX(op_bF6eod5Gvf(a,a),op_7j4O788W3g(a,b))+op_count_sM9mzqIDB1(b,869)
    else:
        count = op_count_eLAdDNolq6(a)+op_count_OwUj7dcsQK(a)+op_count_nCS4ZIUYfx(op_eLAdDNolq6(a),op_OwUj7dcsQK(a))
    return count


def op_Lkz5QGQDKX(a):
    if a <= 167:
        return op_IxJHfR5psi(a,op_B3sABdIn96(op_eaFBhJ0Uku(a,21)))
    else:
        return op_eewbuw0ToL(op_eewbuw0ToL(op_aiqF8n6J9c(a,a),op_OGWBzMv138(127,a)),op_QKXs96F9fN(op_S56z7WVPBn(a)))

def op_count_Lkz5QGQDKX(a):
    if a <= 167:
        count = op_count_eaFBhJ0Uku(a,21)+op_count_B3sABdIn96(op_eaFBhJ0Uku(a,21))+op_count_IxJHfR5psi(a,op_B3sABdIn96(op_eaFBhJ0Uku(a,21)))
    else:
        count = op_count_aiqF8n6J9c(a,a)+op_count_OGWBzMv138(127,a)+op_count_eewbuw0ToL(op_aiqF8n6J9c(a,a),op_OGWBzMv138(127,a))+op_count_S56z7WVPBn(a)+op_count_QKXs96F9fN(op_S56z7WVPBn(a))+op_count_eewbuw0ToL(op_eewbuw0ToL(op_aiqF8n6J9c(a,a),op_OGWBzMv138(127,a)),op_QKXs96F9fN(op_S56z7WVPBn(a)))
    return count


a⩌⪤ = { (⇉-⫰a) , if (a⇇)<=100 ; (a⫏↛⩏a) , else }

def op_yTHSiPy4RE(a):
    if op_ieTw63T1Vx(a) <= 100:
        return op_IGFM8TAlm9(a)
    else:
        return op_YC3tgrnOyr(a,a)

def op_count_yTHSiPy4RE(a):
    if op_ieTw63T1Vx(a) <= 100:
        count = op_count_IGFM8TAlm9(a)+op_count_ieTw63T1Vx(a)
    else:
        count = op_count_YC3tgrnOyr(a,a)
    return count


def op_12NXCxMFkf(a, b):
    if op_5twsqlHp2o(a,328) >= 540:
        return op_y4ImoPnbV5(b,b)
    else:
        return op_vRio1gEz1j(a)

def op_count_12NXCxMFkf(a, b):
    if op_5twsqlHp2o(a,328) >= 540:
        count = op_count_y4ImoPnbV5(b,b)+op_count_5twsqlHp2o(a,328)
    else:
        count = op_count_vRio1gEz1j(a)
    return count


a∽⫫⊬b = { ((54⨧↗⨷a)⫃⨇(-a)) , if (≯b)!=14 ; ((b≗⫍)⩍⋽⫝̸b) , else }

def op_NPE338n0HM(a, b):
    if op_keWfFq85dY(b) != 14:
        return op_09Ly4LVMIf(op_WSbXXWOizJ(54,a),op_t8gj7n24qd(a))
    else:
        return op_BiWNJpBvwn(op_7Nd029Vx1U(b),b)

def op_count_NPE338n0HM(a, b):
    if op_keWfFq85dY(b) != 14:
        count = op_count_WSbXXWOizJ(54,a)+op_count_t8gj7n24qd(a)+op_count_09Ly4LVMIf(op_WSbXXWOizJ(54,a),op_t8gj7n24qd(a))+op_count_keWfFq85dY(b)
    else:
        count = op_count_7Nd029Vx1U(b)+op_count_BiWNJpBvwn(op_7Nd029Vx1U(b),b)
    return count


⋎⪔a = { (a⨵⪆a) , if (⪀≱a)>514 ; (a⨁⊸⫻) , else }

def op_siwqT4HIjO(a):
    if op_tDVI6bDdAd(a) > 514:
        return op_2DQ55sFlQl(a,a)
    else:
        return op_glklzrTFfD(a)

def op_count_siwqT4HIjO(a):
    if op_tDVI6bDdAd(a) > 514:
        count = op_count_2DQ55sFlQl(a,a)+op_count_tDVI6bDdAd(a)
    else:
        count = op_count_glklzrTFfD(a)
    return count


⊱⋫a = { ((a⩷∴a)∌↝(a↱⊪⇍)) , if (∨a)>22 ; ((⇗⪘∲a)⊬⨰(a⨴a)) , else }

def op_JNAMZpJNVJ(a):
    if op_rIsGeVJWJF(a) > 22:
        return op_9Isq31Ruls(op_9FxExcQeMw(a,a),op_Zubgv0tBda(a))
    else:
        return op_s3Fd5m9Dh2(op_j4geBLYVFK(a),op_jBC4ymW3D7(a,a))

def op_count_JNAMZpJNVJ(a):
    if op_rIsGeVJWJF(a) > 22:
        count = op_count_9FxExcQeMw(a,a)+op_count_Zubgv0tBda(a)+op_count_9Isq31Ruls(op_9FxExcQeMw(a,a),op_Zubgv0tBda(a))+op_count_rIsGeVJWJF(a)
    else:
        count = op_count_j4geBLYVFK(a)+op_count_jBC4ymW3D7(a,a)+op_count_s3Fd5m9Dh2(op_j4geBLYVFK(a),op_jBC4ymW3D7(a,a))
    return count


def op_jGcHlHjguj(a):
    if op_4JB6nKBMSY(a,557) <= 105:
        return a
    else:
        return op_yuvXk3Mco8(op_IxJHfR5psi(a,a))

def op_count_jGcHlHjguj(a):
    if op_4JB6nKBMSY(a,557) <= 105:
        count = 1
    else:
        count = op_count_IxJHfR5psi(a,a)+op_count_yuvXk3Mco8(op_IxJHfR5psi(a,a))
    return count


a↵⋵⇹b = { b , if a>420 or (a⇤318)!=443 ; (((b⋅∹⩇)⊭a)∑(⊫∐⫩(b≏⨯⊱a))) , else }

def op_dUtXqx2Zuq(a, b):
    if a > 420 or op_YSKBFp38Pu(a,318) != 443:
        return b
    else:
        return op_JFrVJKYFMX(op_4JGOJzXMq1(op_Tmr9JGNMVH(b),a),op_gSr4c7pPrV(op_UqUOXUQnbU(b,a)))

def op_count_dUtXqx2Zuq(a, b):
    if a > 420 or op_YSKBFp38Pu(a,318) != 443:
        count = 1
    else:
        count = op_count_Tmr9JGNMVH(b)+op_count_4JGOJzXMq1(op_Tmr9JGNMVH(b),a)+op_count_UqUOXUQnbU(b,a)+op_count_gSr4c7pPrV(op_UqUOXUQnbU(b,a))+op_count_JFrVJKYFMX(op_4JGOJzXMq1(op_Tmr9JGNMVH(b),a),op_gSr4c7pPrV(op_UqUOXUQnbU(b,a)))
    return count


def op_MUn7bnNSdz(a):
    if op_tHMVLcQ9bH(a) <= 9:
        return op_3nqY3DE9mg(op_Ph9nP6C5qx(716,a))
    else:
        return op_apS25hmuAe(op_nREPSIbpBE(a,103))

def op_count_MUn7bnNSdz(a):
    if op_tHMVLcQ9bH(a) <= 9:
        count = op_count_Ph9nP6C5qx(716,a)+op_count_3nqY3DE9mg(op_Ph9nP6C5qx(716,a))+op_count_tHMVLcQ9bH(a)
    else:
        count = op_count_nREPSIbpBE(a,103)+op_count_apS25hmuAe(op_nREPSIbpBE(a,103))
    return count


a⋠∦⩽ = { ((a⋳/(a⨰↻⪇a))∴≳≥) , if (a⪠⩆⊳)<400 ; (a≽↲≰(a∌(a⫰⋱7))) , else }

def op_XGAeROdoYZ(a):
    if op_JLbD19bQDL(a) < 400:
        return op_a3N2hFLK0J(op_m612RDITqL(a,op_nbuSfrB4hB(a,a)))
    else:
        return op_cFVlceoRkX(a,op_8cLx32lpNA(a,op_6o9Blt3TJ6(a,7)))

def op_count_XGAeROdoYZ(a):
    if op_JLbD19bQDL(a) < 400:
        count = op_count_nbuSfrB4hB(a,a)+op_count_m612RDITqL(a,op_nbuSfrB4hB(a,a))+op_count_a3N2hFLK0J(op_m612RDITqL(a,op_nbuSfrB4hB(a,a)))+op_count_JLbD19bQDL(a)
    else:
        count = op_count_6o9Blt3TJ6(a,7)+op_count_8cLx32lpNA(a,op_6o9Blt3TJ6(a,7))+op_count_cFVlceoRkX(a,op_8cLx32lpNA(a,op_6o9Blt3TJ6(a,7)))
    return count


⊦⊋⋾a = { (a⨩≤⫤(↽≂a)) , if a==25 ; a , else }

def op_y8cOOkYZzJ(a):
    if a == 25:
        return op_neKQRQQIil(a,op_u6S6b8DprG(a))
    else:
        return a

def op_count_y8cOOkYZzJ(a):
    if a == 25:
        count = op_count_u6S6b8DprG(a)+op_count_neKQRQQIil(a,op_u6S6b8DprG(a))
    else:
        count = 1
    return count


a∟≧b = { (⋂(a↹⊜a)) , if (b⇑∁⪛)<=75 ; a , else }

def op_YANvL1cq0Q(a, b):
    if op_P75hhshrwX(b) <= 75:
        return op_BUOGQAYlQx(op_9bazX3JMtO(a,a))
    else:
        return a

def op_count_YANvL1cq0Q(a, b):
    if op_P75hhshrwX(b) <= 75:
        count = op_count_9bazX3JMtO(a,a)+op_count_BUOGQAYlQx(op_9bazX3JMtO(a,a))+op_count_P75hhshrwX(b)
    else:
        count = 1
    return count


def op_z8Vpgc5KJS(a, b):
    if op_3EYGwJThht(b,818) <= 233:
        return op_2M7SKlOzyM(292,op_nhYeJWJD5X(a,a))
    else:
        return op_2jG7DiviLq(op_ar1w6gUwHX(43,a))

def op_count_z8Vpgc5KJS(a, b):
    if op_3EYGwJThht(b,818) <= 233:
        count = op_count_nhYeJWJD5X(a,a)+op_count_2M7SKlOzyM(292,op_nhYeJWJD5X(a,a))+op_count_3EYGwJThht(b,818)
    else:
        count = op_count_ar1w6gUwHX(43,a)+op_count_2jG7DiviLq(op_ar1w6gUwHX(43,a))
    return count


def op_dcX9veljT5(a):
    if a >= 71 or op_RygbFNSyEJ(a,491) > 215:
        return op_eRqsBgTDFp(a,a)
    else:
        return op_kc7iqVBlRY(40)

def op_count_dcX9veljT5(a):
    if a >= 71 or op_RygbFNSyEJ(a,491) > 215:
        count = op_count_eRqsBgTDFp(a,a)+op_count_RygbFNSyEJ(a,491)
    else:
        count = op_count_kc7iqVBlRY(40)
    return count