a⋖↱b = { (((b⇄b)⫯⊺⨯)⇨%⪃((a⫳⩫⫘b)⪃⩐⨑(⨜↚⪖214))) }

def op_HMFVGXHpcg(a, b):
    return op_IC8pW5Tu9f(op_lECMGPioUL(op_3EYGwJThht(b,b)),op_7OL7g5oVtb(op_qmIDKKAtKh(a,b),op_TMIS6r1MbZ(214)))

def op_count_HMFVGXHpcg(a, b):
    count = op_count_3EYGwJThht(b,b)+op_count_lECMGPioUL(op_3EYGwJThht(b,b))+op_count_qmIDKKAtKh(a,b)+op_count_TMIS6r1MbZ(214)+op_count_7OL7g5oVtb(op_qmIDKKAtKh(a,b),op_TMIS6r1MbZ(214))+op_count_IC8pW5Tu9f(op_lECMGPioUL(op_3EYGwJThht(b,b)),op_7OL7g5oVtb(op_qmIDKKAtKh(a,b),op_TMIS6r1MbZ(214)))
    return count


a⋱↤⋚b = { ((⫖(⩿⨑a))↟⪦((⪓⩚a)↧⩳⩭(a∙⊟b))) , if ((b≯∀⋝)>66 or (⩒∿∠a)!=72) ; b , else }

def op_2YrJABJnGd(a, b):
    if (op_CId4SrfWPi(b) > 66 or op_rhd368kmur(a) != 72):
        return op_m3Wy7lzjrX(op_9hl1k8hbNX(op_6p8uLNHqK6(a)),op_KfoJTsIyUZ(op_u0R0Locfp2(a),op_SxTAKzQCrw(a,b)))
    else:
        return b

def op_count_2YrJABJnGd(a, b):
    if (op_CId4SrfWPi(b) > 66 or op_rhd368kmur(a) != 72):
        count = op_count_6p8uLNHqK6(a)+op_count_9hl1k8hbNX(op_6p8uLNHqK6(a))+op_count_u0R0Locfp2(a)+op_count_SxTAKzQCrw(a,b)+op_count_KfoJTsIyUZ(op_u0R0Locfp2(a),op_SxTAKzQCrw(a,b))+op_count_m3Wy7lzjrX(op_9hl1k8hbNX(op_6p8uLNHqK6(a)),op_KfoJTsIyUZ(op_u0R0Locfp2(a),op_SxTAKzQCrw(a,b)))+op_count_CId4SrfWPi(b)+op_count_rhd368kmur(a)
    else:
        count = 1
    return count


def op_DuRlnp9jiU(a, b):
    return op_VX9aY244yz(op_QZ0DWncqlE(180,a),op_WwRa9GTyuv(a,b))

def op_count_DuRlnp9jiU(a, b):
    count = op_count_QZ0DWncqlE(180,a)+op_count_WwRa9GTyuv(a,b)+op_count_VX9aY244yz(op_QZ0DWncqlE(180,a),op_WwRa9GTyuv(a,b))
    return count


a⊡⇸⨱b = { (b⩲(↓⊻⪕(↴⪽⋼b))) , if (a⩙⇄∡)>353 or (⫯b)<=131 ; (((b∕⪘≈b)⪧⨲(b∪⫲≙a))∫⩸(a≅⩀(96⨘⇗⫦))) , else }

def op_aXrETpFXun(a, b):
    if op_kmUSY1RLnD(a) > 353 or op_H6BK1Evt7c(b) <= 131:
        return op_UvedHhwKRj(b,op_OOXovtW7XD(op_5TUYCnJO6w(b)))
    else:
        return op_OpIL6DGFIM(op_ViqgXgeRy8(op_9gOQWDhglh(b,b),op_TWtPLDAloG(b,a)),op_STXubeXA6y(a,op_wJXJNSoS23(96)))

def op_count_aXrETpFXun(a, b):
    if op_kmUSY1RLnD(a) > 353 or op_H6BK1Evt7c(b) <= 131:
        count = op_count_5TUYCnJO6w(b)+op_count_OOXovtW7XD(op_5TUYCnJO6w(b))+op_count_UvedHhwKRj(b,op_OOXovtW7XD(op_5TUYCnJO6w(b)))+op_count_kmUSY1RLnD(a)+op_count_H6BK1Evt7c(b)
    else:
        count = op_count_9gOQWDhglh(b,b)+op_count_TWtPLDAloG(b,a)+op_count_ViqgXgeRy8(op_9gOQWDhglh(b,b),op_TWtPLDAloG(b,a))+op_count_wJXJNSoS23(96)+op_count_STXubeXA6y(a,op_wJXJNSoS23(96))+op_count_OpIL6DGFIM(op_ViqgXgeRy8(op_9gOQWDhglh(b,b),op_TWtPLDAloG(b,a)),op_STXubeXA6y(a,op_wJXJNSoS23(96)))
    return count


a⊸↨b = { (⊟≔(⪦≍∕(b⨠∀⫧a))) , if (b<405 or (a∏)>=75 or (b⩕≗457)<493) ; (((b⫢⩮↷)⫿⨖⫓(b⩷∴a))⫉⫷((b⩉→⋫a)⋡∥(17∻⊟))) , else }

def op_wn2p5E80x1(a, b):
    if (b < 405 or op_UO1RhPgbnL(a) >= 75 or op_PULhhNGBKj(b,457) < 493):
        return op_KF104xOwWn(op_ROa4QIZKM1(op_griT9ijWOv(b,a)))
    else:
        return op_0m85q53N9z(op_pwrY02nFTx(op_BLLGLRFJVt(b),op_9FxExcQeMw(b,a)),op_zNFFvkV5QZ(op_OHdKWLbo3y(b,a),op_kARpMGKQIr(17)))

def op_count_wn2p5E80x1(a, b):
    if (b < 405 or op_UO1RhPgbnL(a) >= 75 or op_PULhhNGBKj(b,457) < 493):
        count = op_count_griT9ijWOv(b,a)+op_count_ROa4QIZKM1(op_griT9ijWOv(b,a))+op_count_KF104xOwWn(op_ROa4QIZKM1(op_griT9ijWOv(b,a)))+op_count_UO1RhPgbnL(a)+op_count_PULhhNGBKj(b,457)
    else:
        count = op_count_BLLGLRFJVt(b)+op_count_9FxExcQeMw(b,a)+op_count_pwrY02nFTx(op_BLLGLRFJVt(b),op_9FxExcQeMw(b,a))+op_count_OHdKWLbo3y(b,a)+op_count_kARpMGKQIr(17)+op_count_zNFFvkV5QZ(op_OHdKWLbo3y(b,a),op_kARpMGKQIr(17))+op_count_0m85q53N9z(op_pwrY02nFTx(op_BLLGLRFJVt(b),op_9FxExcQeMw(b,a)),op_zNFFvkV5QZ(op_OHdKWLbo3y(b,a),op_kARpMGKQIr(17)))
    return count


def op_LuvX38AGzC(a):
    return op_JO14dcB34N(a,op_6jL92VAzQT(op_D4e1cgsuJu(a,103),op_vEGLkm4Z2k(a)))

def op_count_LuvX38AGzC(a):
    count = op_count_D4e1cgsuJu(a,103)+op_count_vEGLkm4Z2k(a)+op_count_6jL92VAzQT(op_D4e1cgsuJu(a,103),op_vEGLkm4Z2k(a))+op_count_JO14dcB34N(a,op_6jL92VAzQT(op_D4e1cgsuJu(a,103),op_vEGLkm4Z2k(a)))
    return count


a⇵⪤⫑b = { (88≯⨴⫤b) , if (a⩚⊥⨞)>72 ; (⋉∇b) , else }

def op_8IMc3tXeXz(a, b):
    if op_4zmgO5IZPg(a) > 72:
        return op_OEiktesKRI(88,b)
    else:
        return op_AVIuaxj4s4(b)

def op_count_8IMc3tXeXz(a, b):
    if op_4zmgO5IZPg(a) > 72:
        count = op_count_OEiktesKRI(88,b)+op_count_4zmgO5IZPg(a)
    else:
        count = op_count_AVIuaxj4s4(b)
    return count


def op_jQqxkjRPoK(a):
    if a >= 213:
        return op_w2537kitQq(op_VwYTWe2QPM(a),op_RHudOG0WXe(183))
    else:
        return op_xtn48bosJ0(op_mOUIj6rraD(a,a))

def op_count_jQqxkjRPoK(a):
    if a >= 213:
        count = op_count_VwYTWe2QPM(a)+op_count_RHudOG0WXe(183)+op_count_w2537kitQq(op_VwYTWe2QPM(a),op_RHudOG0WXe(183))
    else:
        count = op_count_mOUIj6rraD(a,a)+op_count_xtn48bosJ0(op_mOUIj6rraD(a,a))
    return count


def op_fX6s9onSnr(a, b):
    if (op_5P7CA6B56K(a,205) == 206 or a > 398):
        return op_BRZFass3Bp(op_hrXGNBIrMT(op_AkfP8Zv6DW(a,371)),op_6pONsy2XwS(op_3Mo73BEME2(355),op_TyhCdZMmeC(a,907)))
    else:
        return op_78bqUfsprq(op_B4yDMOFpHS(op_05BAUYx2wZ(48,b),b),op_Gdaqu1gMph(op_tmNq1QR2aX(323,b),op_odjyBYi3Hg(a,b)))

def op_count_fX6s9onSnr(a, b):
    if (op_5P7CA6B56K(a,205) == 206 or a > 398):
        count = op_count_AkfP8Zv6DW(a,371)+op_count_hrXGNBIrMT(op_AkfP8Zv6DW(a,371))+op_count_3Mo73BEME2(355)+op_count_TyhCdZMmeC(a,907)+op_count_6pONsy2XwS(op_3Mo73BEME2(355),op_TyhCdZMmeC(a,907))+op_count_BRZFass3Bp(op_hrXGNBIrMT(op_AkfP8Zv6DW(a,371)),op_6pONsy2XwS(op_3Mo73BEME2(355),op_TyhCdZMmeC(a,907)))+op_count_5P7CA6B56K(a,205)
    else:
        count = op_count_05BAUYx2wZ(48,b)+op_count_B4yDMOFpHS(op_05BAUYx2wZ(48,b),b)+op_count_tmNq1QR2aX(323,b)+op_count_odjyBYi3Hg(a,b)+op_count_Gdaqu1gMph(op_tmNq1QR2aX(323,b),op_odjyBYi3Hg(a,b))+op_count_78bqUfsprq(op_B4yDMOFpHS(op_05BAUYx2wZ(48,b),b),op_Gdaqu1gMph(op_tmNq1QR2aX(323,b),op_odjyBYi3Hg(a,b)))
    return count


def op_pFY2lFxBg3(a):
    if op_fHJIi2E7aO(a) <= 0:
        return op_nxEb2W9nnd(op_RLh2CaJNDO(op_IfcolxJeE5(a)))
    else:
        return op_P3lXMJvFrc(op_X37qppV6M2(129),op_S6anzDtGf9(op_vJL9zW01lR(79,a),op_2Ds6SU9A9X(398)))

def op_count_pFY2lFxBg3(a):
    if op_fHJIi2E7aO(a) <= 0:
        count = op_count_IfcolxJeE5(a)+op_count_RLh2CaJNDO(op_IfcolxJeE5(a))+op_count_nxEb2W9nnd(op_RLh2CaJNDO(op_IfcolxJeE5(a)))+op_count_fHJIi2E7aO(a)
    else:
        count = op_count_X37qppV6M2(129)+op_count_vJL9zW01lR(79,a)+op_count_2Ds6SU9A9X(398)+op_count_S6anzDtGf9(op_vJL9zW01lR(79,a),op_2Ds6SU9A9X(398))+op_count_P3lXMJvFrc(op_X37qppV6M2(129),op_S6anzDtGf9(op_vJL9zW01lR(79,a),op_2Ds6SU9A9X(398)))
    return count


def op_qQ6w0OSeOl(a, b):
    return op_VX9aY244yz(op_vTkXlpIQgh(op_PJn8kYvayX(b),op_YjWMGCMWCv(a)),op_WmIJXyFdIY(op_SNWesf9iCk(a)))

def op_count_qQ6w0OSeOl(a, b):
    count = op_count_PJn8kYvayX(b)+op_count_YjWMGCMWCv(a)+op_count_vTkXlpIQgh(op_PJn8kYvayX(b),op_YjWMGCMWCv(a))+op_count_SNWesf9iCk(a)+op_count_WmIJXyFdIY(op_SNWesf9iCk(a))+op_count_VX9aY244yz(op_vTkXlpIQgh(op_PJn8kYvayX(b),op_YjWMGCMWCv(a)),op_WmIJXyFdIY(op_SNWesf9iCk(a)))
    return count


⨤↚a = { (⫖→((a⋘⋱a)⊻↞≧(a⫷⇣a))) , if (⪠⫰a)>=410 ; (⪯⋭(a⩽⩡(a⩱∐⨋248))) , else }

def op_LUN6AP1lnU(a):
    if op_Q0oC3jZnDG(a) >= 410:
        return op_U4ylXWHChL(op_NZ4M85zvpZ(op_70gRa6EccN(a,a),op_yyGr8FKHqM(a,a)))
    else:
        return op_l034Y9yrOR(op_zFNL8mZEFB(a,op_Popjir4Ocp(a,248)))

def op_count_LUN6AP1lnU(a):
    if op_Q0oC3jZnDG(a) >= 410:
        count = op_count_70gRa6EccN(a,a)+op_count_yyGr8FKHqM(a,a)+op_count_NZ4M85zvpZ(op_70gRa6EccN(a,a),op_yyGr8FKHqM(a,a))+op_count_U4ylXWHChL(op_NZ4M85zvpZ(op_70gRa6EccN(a,a),op_yyGr8FKHqM(a,a)))+op_count_Q0oC3jZnDG(a)
    else:
        count = op_count_Popjir4Ocp(a,248)+op_count_zFNL8mZEFB(a,op_Popjir4Ocp(a,248))+op_count_l034Y9yrOR(op_zFNL8mZEFB(a,op_Popjir4Ocp(a,248)))
    return count


def op_TVRGtGRjL6(a):
    return op_24nwyATvD7(op_MzzvRbhZVg(a),op_XZQF252bpX(a,649))

def op_count_TVRGtGRjL6(a):
    count = op_count_MzzvRbhZVg(a)+op_count_XZQF252bpX(a,649)+op_count_24nwyATvD7(op_MzzvRbhZVg(a),op_XZQF252bpX(a,649))
    return count


⪻⪚a = { (⨠⊄⩡a) , if a<=4 ; (428⊭⫢) , else }

def op_3jSLs7RJSv(a):
    if a <= 4:
        return op_XUNI3At14j(a)
    else:
        return op_xiKbUzfUz0(428)

def op_count_3jSLs7RJSv(a):
    if a <= 4:
        count = op_count_XUNI3At14j(a)
    else:
        count = op_count_xiKbUzfUz0(428)
    return count


def op_1roSrQb8YU(a, b):
    if op_tfWHHpNKUN(b) <= 934:
        return op_rsaZ3WVEY2(a)
    else:
        return op_kT4MlvM4La(b,a)

def op_count_1roSrQb8YU(a, b):
    if op_tfWHHpNKUN(b) <= 934:
        count = op_count_rsaZ3WVEY2(a)+op_count_tfWHHpNKUN(b)
    else:
        count = op_count_kT4MlvM4La(b,a)
    return count


def op_lcAwcdSHxU(a, b):
    return op_3ViojmjbAp(op_XFtV96IEKB(a,b),b)

def op_count_lcAwcdSHxU(a, b):
    count = op_count_XFtV96IEKB(a,b)+op_count_3ViojmjbAp(op_XFtV96IEKB(a,b),b)
    return count


def op_gucnoSSekU(a):
    if a < 809 or op_HxDSz5st7J(a) <= 282:
        return op_ncHt1X6cMc(a,a)
    else:
        return op_dma8RTlAAq(112)

def op_count_gucnoSSekU(a):
    if a < 809 or op_HxDSz5st7J(a) <= 282:
        count = op_count_ncHt1X6cMc(a,a)+op_count_HxDSz5st7J(a)
    else:
        count = op_count_dma8RTlAAq(112)
    return count


def op_jBZhQZEOSG(a):
    return op_HWsfkPJiI1(op_PQ5jInepzR(a,a))

def op_count_jBZhQZEOSG(a):
    count = op_count_PQ5jInepzR(a,a)+op_count_HWsfkPJiI1(op_PQ5jInepzR(a,a))
    return count


def op_Ttv3SwQElz(a):
    return op_G046GaHObK(op_vWY2KLG4AQ(op_GRrQNMyeGD(a,a)))

def op_count_Ttv3SwQElz(a):
    count = op_count_GRrQNMyeGD(a,a)+op_count_vWY2KLG4AQ(op_GRrQNMyeGD(a,a))+op_count_G046GaHObK(op_vWY2KLG4AQ(op_GRrQNMyeGD(a,a)))
    return count


⩝⪖≯a = { a , if (a↳)>782 ; ((a≒∊a)⫥⪥(a⪁⊺⨩)) , else }

def op_r10F0OJvFG(a):
    if op_EAoIFGtZkS(a) > 782:
        return a
    else:
        return op_H86EN3O05e(op_5KTvxBwnZo(a,a),op_zw8pvIViHv(a))

def op_count_r10F0OJvFG(a):
    if op_EAoIFGtZkS(a) > 782:
        count = 1
    else:
        count = op_count_5KTvxBwnZo(a,a)+op_count_zw8pvIViHv(a)+op_count_H86EN3O05e(op_5KTvxBwnZo(a,a),op_zw8pvIViHv(a))
    return count


a⪀↓b = { (a⪹⫧⇽) , if (⪟⊰⊳a)==290 ; (134⪘⫌b) , else }

def op_Ss6GwJf70J(a, b):
    if op_mfGmyP772u(a) == 290:
        return op_RUvFhAOGfE(a)
    else:
        return op_sySRPoZ5fv(134,b)

def op_count_Ss6GwJf70J(a, b):
    if op_mfGmyP772u(a) == 290:
        count = op_count_RUvFhAOGfE(a)+op_count_mfGmyP772u(a)
    else:
        count = op_count_sySRPoZ5fv(134,b)
    return count


def op_kSC8k6UQxo(a):
    return op_T2fj7uvVaJ(op_fcYd9Sln05(op_QbcaP1vvRM(180,a)),op_wObHbfC1Ju(op_omagaNwqKv(a)))

def op_count_kSC8k6UQxo(a):
    count = op_count_QbcaP1vvRM(180,a)+op_count_fcYd9Sln05(op_QbcaP1vvRM(180,a))+op_count_omagaNwqKv(a)+op_count_wObHbfC1Ju(op_omagaNwqKv(a))+op_count_T2fj7uvVaJ(op_fcYd9Sln05(op_QbcaP1vvRM(180,a)),op_wObHbfC1Ju(op_omagaNwqKv(a)))
    return count


def op_YTcz3yK2IN(a):
    if (op_LMYUNEKMsx(a) != 203 or op_lDgtejlvTV(a,94) != 48):
        return op_0N1BchnEuL(op_Af076pWI7l(a,131),op_8iaSloTsD3(a,346))
    else:
        return op_dj54johvPQ(op_EWoN9ihKS0(16),op_Hi7QvixoQr(a))

def op_count_YTcz3yK2IN(a):
    if (op_LMYUNEKMsx(a) != 203 or op_lDgtejlvTV(a,94) != 48):
        count = op_count_Af076pWI7l(a,131)+op_count_8iaSloTsD3(a,346)+op_count_0N1BchnEuL(op_Af076pWI7l(a,131),op_8iaSloTsD3(a,346))+op_count_LMYUNEKMsx(a)+op_count_lDgtejlvTV(a,94)
    else:
        count = op_count_EWoN9ihKS0(16)+op_count_Hi7QvixoQr(a)+op_count_dj54johvPQ(op_EWoN9ihKS0(16),op_Hi7QvixoQr(a))
    return count


⊁⇶a = { (((a≍⇚a)⫯⪅↕)⩈⪻((a⪛⫼53)⪘⪠(67↡∰⨪a))) , if a>=485 ; (((a≿↹a)≚⋢)⩵↝⋽((a⨗⫾a)≙≀≩(a⫘⋹⇱a))) , else }

def op_GjtUgtKA4y(a):
    if a >= 485:
        return op_Yan4YobxxY(op_kdV7rk3jKp(op_22Ei3FpL2i(a,a)),op_ogFgcaYPum(op_hyuBjUqXlG(a,53),op_TFC8BisZgT(67,a)))
    else:
        return op_Sz2rUO9lfJ(op_MahUMFw56D(op_VionArRWsA(a,a)),op_2dZEkcUgpG(op_ascLZ9HdLA(a,a),op_Ysezvhzhur(a,a)))

def op_count_GjtUgtKA4y(a):
    if a >= 485:
        count = op_count_22Ei3FpL2i(a,a)+op_count_kdV7rk3jKp(op_22Ei3FpL2i(a,a))+op_count_hyuBjUqXlG(a,53)+op_count_TFC8BisZgT(67,a)+op_count_ogFgcaYPum(op_hyuBjUqXlG(a,53),op_TFC8BisZgT(67,a))+op_count_Yan4YobxxY(op_kdV7rk3jKp(op_22Ei3FpL2i(a,a)),op_ogFgcaYPum(op_hyuBjUqXlG(a,53),op_TFC8BisZgT(67,a)))
    else:
        count = op_count_VionArRWsA(a,a)+op_count_MahUMFw56D(op_VionArRWsA(a,a))+op_count_ascLZ9HdLA(a,a)+op_count_Ysezvhzhur(a,a)+op_count_2dZEkcUgpG(op_ascLZ9HdLA(a,a),op_Ysezvhzhur(a,a))+op_count_Sz2rUO9lfJ(op_MahUMFw56D(op_VionArRWsA(a,a)),op_2dZEkcUgpG(op_ascLZ9HdLA(a,a),op_Ysezvhzhur(a,a)))
    return count


a⋮⩧b = { (b⨀⨰⊫((b⪬⪬⋰b)∍(b⫝̸⋷b))) , if b<428 ; ((393⨾⪹⩗(↬↨b))−⩎√((a⇀a)⫰⋱(a⫏⋦67))) , else }

def op_NLCHkQBSOJ(a, b):
    if b < 428:
        return op_Gl4WN4Uwdx(b,op_9rNHCbYvka(op_dKnrfkTA9N(b,b),op_olRPQDKeNJ(b,b)))
    else:
        return op_tW6TlDUxtJ(op_EnxiqAYg5D(393,op_zPwbmAUgue(b)),op_6o9Blt3TJ6(op_4mnGiJ3ceb(a,a),op_Y8C8ozzXLe(a,67)))

def op_count_NLCHkQBSOJ(a, b):
    if b < 428:
        count = op_count_dKnrfkTA9N(b,b)+op_count_olRPQDKeNJ(b,b)+op_count_9rNHCbYvka(op_dKnrfkTA9N(b,b),op_olRPQDKeNJ(b,b))+op_count_Gl4WN4Uwdx(b,op_9rNHCbYvka(op_dKnrfkTA9N(b,b),op_olRPQDKeNJ(b,b)))
    else:
        count = op_count_zPwbmAUgue(b)+op_count_EnxiqAYg5D(393,op_zPwbmAUgue(b))+op_count_4mnGiJ3ceb(a,a)+op_count_Y8C8ozzXLe(a,67)+op_count_6o9Blt3TJ6(op_4mnGiJ3ceb(a,a),op_Y8C8ozzXLe(a,67))+op_count_tW6TlDUxtJ(op_EnxiqAYg5D(393,op_zPwbmAUgue(b)),op_6o9Blt3TJ6(op_4mnGiJ3ceb(a,a),op_Y8C8ozzXLe(a,67)))
    return count


a⫫⇊b = { (((b⋱b)⫡⨏(b⫉⫷30))⪼⪨((701←⨾⪫b)⇳(a⊳⫕≐a))) , if (⪻⇥b)<70 ; (((b⊿≫≷a)≸⊯∐(⨩⫔⫶b))≫⩥) , else }

def op_ACbyQ4RlKv(a, b):
    if op_kaeRoPDD5o(b) < 70:
        return op_hx5c7FTGAw(op_QMFrweE19q(op_rK7H9hZmfU(b,b),op_0m85q53N9z(b,30)),op_ekA2oeJZMY(op_0NqWd9MObm(701,b),op_c0xLRV89Nr(a,a)))
    else:
        return op_ted83A08Om(op_m1G8yfFYkK(op_16INH09eNu(b,a),op_6jnLtSreEI(b)))

def op_count_ACbyQ4RlKv(a, b):
    if op_kaeRoPDD5o(b) < 70:
        count = op_count_rK7H9hZmfU(b,b)+op_count_0m85q53N9z(b,30)+op_count_QMFrweE19q(op_rK7H9hZmfU(b,b),op_0m85q53N9z(b,30))+op_count_0NqWd9MObm(701,b)+op_count_c0xLRV89Nr(a,a)+op_count_ekA2oeJZMY(op_0NqWd9MObm(701,b),op_c0xLRV89Nr(a,a))+op_count_hx5c7FTGAw(op_QMFrweE19q(op_rK7H9hZmfU(b,b),op_0m85q53N9z(b,30)),op_ekA2oeJZMY(op_0NqWd9MObm(701,b),op_c0xLRV89Nr(a,a)))+op_count_kaeRoPDD5o(b)
    else:
        count = op_count_16INH09eNu(b,a)+op_count_6jnLtSreEI(b)+op_count_m1G8yfFYkK(op_16INH09eNu(b,a),op_6jnLtSreEI(b))+op_count_ted83A08Om(op_m1G8yfFYkK(op_16INH09eNu(b,a),op_6jnLtSreEI(b)))
    return count


def op_rzvZhbcSiR(a):
    return op_z9ffQ9n5Zr(a,a)

def op_count_rzvZhbcSiR(a):
    count = op_count_z9ffQ9n5Zr(a,a)
    return count


def op_LPzfRnzVbl(a):
    return op_zukycwwyTc(op_1dP9oEiBvS(op_tmPS8pqC7x(a,a),op_AVIuaxj4s4(a)))

def op_count_LPzfRnzVbl(a):
    count = op_count_tmPS8pqC7x(a,a)+op_count_AVIuaxj4s4(a)+op_count_1dP9oEiBvS(op_tmPS8pqC7x(a,a),op_AVIuaxj4s4(a))+op_count_zukycwwyTc(op_1dP9oEiBvS(op_tmPS8pqC7x(a,a),op_AVIuaxj4s4(a)))
    return count


def op_0NssNBarYT(a):
    return op_ZAXeO6SPf6(op_kxjOcGAF4x(a,175),op_CJ87Qfugo0(a))

def op_count_0NssNBarYT(a):
    count = op_count_kxjOcGAF4x(a,175)+op_count_CJ87Qfugo0(a)+op_count_ZAXeO6SPf6(op_kxjOcGAF4x(a,175),op_CJ87Qfugo0(a))
    return count


def op_7Oxa8giutY(a):
    return op_dJgnthfFiT(op_9BIxZYmKZo(op_dWAJyo7jo9(a,a)))

def op_count_7Oxa8giutY(a):
    count = op_count_dWAJyo7jo9(a,a)+op_count_9BIxZYmKZo(op_dWAJyo7jo9(a,a))+op_count_dJgnthfFiT(op_9BIxZYmKZo(op_dWAJyo7jo9(a,a)))
    return count


a⊑↘b = { (≩⫔⨷(a∝∎a)) , if (⇟⊙≦a)==123 ; ((b⩧⪆b)⫌⋶) , else }

def op_K61QsNYwml(a, b):
    if op_kbXfJ1zvnP(a) == 123:
        return op_LVTXjn9PlI(op_qLiEs2rVxT(a,a))
    else:
        return op_dLRinWoT03(op_Ikt5ks8PT7(b,b))

def op_count_K61QsNYwml(a, b):
    if op_kbXfJ1zvnP(a) == 123:
        count = op_count_qLiEs2rVxT(a,a)+op_count_LVTXjn9PlI(op_qLiEs2rVxT(a,a))+op_count_kbXfJ1zvnP(a)
    else:
        count = op_count_Ikt5ks8PT7(b,b)+op_count_dLRinWoT03(op_Ikt5ks8PT7(b,b))
    return count


⋄∡⇠a = { (a⩾⨝a) , if (a∈⨪⇽126)>=561 and (a≖⫲)<593 ; (a⇪↧a) , else }

def op_A9k806v0qL(a):
    if op_OkeBNI2wuD(a,126) >= 561 and op_L4guvKKy2T(a) < 593:
        return op_o0ENHGX9XF(a,a)
    else:
        return op_yRqWCfy5LI(a,a)

def op_count_A9k806v0qL(a):
    if op_OkeBNI2wuD(a,126) >= 561 and op_L4guvKKy2T(a) < 593:
        count = op_count_o0ENHGX9XF(a,a)+op_count_OkeBNI2wuD(a,126)+op_count_L4guvKKy2T(a)
    else:
        count = op_count_yRqWCfy5LI(a,a)
    return count


a⪉⪌ = { (33⩾⨝0) , if ((⇻⨃⇄a)<80 and (⪄⊏a)<226) ; (a≅⊩⫟a) , else }

def op_kd43u38FRG(a):
    if (op_fLGIAiPz9h(a) < 80 and op_i5NNtHWeao(a) < 226):
        return op_o0ENHGX9XF(33,0)
    else:
        return op_KpA1OOWoyj(a,a)

def op_count_kd43u38FRG(a):
    if (op_fLGIAiPz9h(a) < 80 and op_i5NNtHWeao(a) < 226):
        count = op_count_o0ENHGX9XF(33,0)+op_count_fLGIAiPz9h(a)+op_count_i5NNtHWeao(a)
    else:
        count = op_count_KpA1OOWoyj(a,a)
    return count


def op_Vf9NwM3fOJ(a, b):
    if op_AWU58WIKBx(b) != 7 or op_uYjuO7ZED2(b) <= 167:
        return op_gfvVrh7EOO(280)
    else:
        return op_kBclOZdV5K(230,a)

def op_count_Vf9NwM3fOJ(a, b):
    if op_AWU58WIKBx(b) != 7 or op_uYjuO7ZED2(b) <= 167:
        count = op_count_gfvVrh7EOO(280)+op_count_AWU58WIKBx(b)+op_count_uYjuO7ZED2(b)
    else:
        count = op_count_kBclOZdV5K(230,a)
    return count


def op_5VvkOHeiPJ(a):
    if op_Y6MI8lE4nL(a,710) < 666 and op_EB85YeEtfS(a,417) > 153:
        return op_7VUZJnlIDY(a,a)
    else:
        return op_BLLGLRFJVt(a)

def op_count_5VvkOHeiPJ(a):
    if op_Y6MI8lE4nL(a,710) < 666 and op_EB85YeEtfS(a,417) > 153:
        count = op_count_7VUZJnlIDY(a,a)+op_count_Y6MI8lE4nL(a,710)+op_count_EB85YeEtfS(a,417)
    else:
        count = op_count_BLLGLRFJVt(a)
    return count


def op_B6lopOPVwh(a, b):
    return op_j7AgEMrvc9(op_uxpXySbnZx(op_S2ubVDYUV4(b,67),op_gda0p5fJgT(a)))

def op_count_B6lopOPVwh(a, b):
    count = op_count_S2ubVDYUV4(b,67)+op_count_gda0p5fJgT(a)+op_count_uxpXySbnZx(op_S2ubVDYUV4(b,67),op_gda0p5fJgT(a))+op_count_j7AgEMrvc9(op_uxpXySbnZx(op_S2ubVDYUV4(b,67),op_gda0p5fJgT(a)))
    return count


a⩺⨂∙ = { (((a⩗⩤a)⨪↰⇹(≬↨⇞a))∽⫫⊬a) , if a!=182 ; (⫔⊀⊉((a⫱⪖)⩫(a⋼a))) , else }

def op_FX0e5W6JLr(a):
    if a != 182:
        return op_NPE338n0HM(op_tmPS8pqC7x(op_iQVWWJ5UFC(a,a),op_rVbGrKipL7(a)),a)
    else:
        return op_WaxZjr2aDl(op_8zNRrli7uG(op_Un2skETla9(a),op_pvbE2flhr7(a,a)))

def op_count_FX0e5W6JLr(a):
    if a != 182:
        count = op_count_iQVWWJ5UFC(a,a)+op_count_rVbGrKipL7(a)+op_count_tmPS8pqC7x(op_iQVWWJ5UFC(a,a),op_rVbGrKipL7(a))+op_count_NPE338n0HM(op_tmPS8pqC7x(op_iQVWWJ5UFC(a,a),op_rVbGrKipL7(a)),a)
    else:
        count = op_count_Un2skETla9(a)+op_count_pvbE2flhr7(a,a)+op_count_8zNRrli7uG(op_Un2skETla9(a),op_pvbE2flhr7(a,a))+op_count_WaxZjr2aDl(op_8zNRrli7uG(op_Un2skETla9(a),op_pvbE2flhr7(a,a)))
    return count


a⨊⋽⫟ = { (a⋗⨥⇺(a≚⋢)) , if (a⋔⋓)>11 ; ((a⫅⩹a)⫉⨲⊜(a⊰⩉∩22)) , else }

def op_VTZvPh32nM(a):
    if op_AH8QAgoliW(a) > 11:
        return op_dLCAdcn76Q(a,op_MahUMFw56D(a))
    else:
        return op_WhqkvtTD3t(op_CdWimuzQB6(a,a),op_qRfCwGgRXA(a,22))

def op_count_VTZvPh32nM(a):
    if op_AH8QAgoliW(a) > 11:
        count = op_count_MahUMFw56D(a)+op_count_dLCAdcn76Q(a,op_MahUMFw56D(a))+op_count_AH8QAgoliW(a)
    else:
        count = op_count_CdWimuzQB6(a,a)+op_count_qRfCwGgRXA(a,22)+op_count_WhqkvtTD3t(op_CdWimuzQB6(a,a),op_qRfCwGgRXA(a,22))
    return count


def op_teTgvmBqi7(a, b):
    if op_YvRQj5obxP(a) <= 226:
        return op_NsGlVlbNoR(op_aibkDESqBN(b),op_LkE86Ro6Gh(23,a))
    else:
        return op_VCG3UHNzLR(168,op_YjSJMwvp8X(83,a))

def op_count_teTgvmBqi7(a, b):
    if op_YvRQj5obxP(a) <= 226:
        count = op_count_aibkDESqBN(b)+op_count_LkE86Ro6Gh(23,a)+op_count_NsGlVlbNoR(op_aibkDESqBN(b),op_LkE86Ro6Gh(23,a))+op_count_YvRQj5obxP(a)
    else:
        count = op_count_YjSJMwvp8X(83,a)+op_count_VCG3UHNzLR(168,op_YjSJMwvp8X(83,a))
    return count


def op_jjinYn4SO4(a, b):
    return op_qIDt5vVHD5(op_ZWmKTO1x1a(b,b),op_LBdsKIvxzf(a))

def op_count_jjinYn4SO4(a, b):
    count = op_count_ZWmKTO1x1a(b,b)+op_count_LBdsKIvxzf(a)+op_count_qIDt5vVHD5(op_ZWmKTO1x1a(b,b),op_LBdsKIvxzf(a))
    return count


a≯⨷ = { (⋉∇a) , if a<148 or (a⫌⋶⪩)==285 ; (a⩲a) , else }

def op_OJmMGHmWSY(a):
    if a < 148 or op_iUr3zBwW6M(a) == 285:
        return op_AVIuaxj4s4(a)
    else:
        return op_UvedHhwKRj(a,a)

def op_count_OJmMGHmWSY(a):
    if a < 148 or op_iUr3zBwW6M(a) == 285:
        count = op_count_AVIuaxj4s4(a)+op_count_iUr3zBwW6M(a)
    else:
        count = op_count_UvedHhwKRj(a,a)
    return count


def op_NtaZqwOi4C(a):
    return op_UnCoSGIALn(op_c8LynfaAxk(op_WMWMpF7FtW(a),op_A28Sj7Ib8S(a,a)))

def op_count_NtaZqwOi4C(a):
    count = op_count_WMWMpF7FtW(a)+op_count_A28Sj7Ib8S(a,a)+op_count_c8LynfaAxk(op_WMWMpF7FtW(a),op_A28Sj7Ib8S(a,a))+op_count_UnCoSGIALn(op_c8LynfaAxk(op_WMWMpF7FtW(a),op_A28Sj7Ib8S(a,a)))
    return count


a⩽≼b = { (⩤⊕∪b) , if (a⨒⪏)==851 ; b , else }

def op_Rxcclz8gqV(a, b):
    if op_iyPDMiS9rP(a) == 851:
        return op_gfvVrh7EOO(b)
    else:
        return b

def op_count_Rxcclz8gqV(a, b):
    if op_iyPDMiS9rP(a) == 851:
        count = op_count_gfvVrh7EOO(b)+op_count_iyPDMiS9rP(a)
    else:
        count = 1
    return count


⇘∁↔a = { ((⇤∩a)⨨⩇⫼(a⫱≫⪥a)) , if (⩦⊞a)==467 ; (≭⫘(a⋫)) , else }

def op_VwcZr7TOSK(a):
    if op_u7fv1HBiaC(a) == 467:
        return op_UreC4MxV1l(op_BxNL6VpnAK(a),op_J65EmZhDzK(a,a))
    else:
        return op_jEAzKzhh6P(op_JL8yIekQnl(a))

def op_count_VwcZr7TOSK(a):
    if op_u7fv1HBiaC(a) == 467:
        count = op_count_BxNL6VpnAK(a)+op_count_J65EmZhDzK(a,a)+op_count_UreC4MxV1l(op_BxNL6VpnAK(a),op_J65EmZhDzK(a,a))+op_count_u7fv1HBiaC(a)
    else:
        count = op_count_JL8yIekQnl(a)+op_count_jEAzKzhh6P(op_JL8yIekQnl(a))
    return count


def op_6fPYHgDDYH(a, b):
    return op_LXu4eIoRGd(a,op_0P6jqB2nlY(b,a))

def op_count_6fPYHgDDYH(a, b):
    count = op_count_0P6jqB2nlY(b,a)+op_count_LXu4eIoRGd(a,op_0P6jqB2nlY(b,a))
    return count


⇎⋽a = { (((⨰⪧⋫a)⪢(⫒a))↓⋫(219⋉⩷(a↦⫔≇))) }

def op_2CAK2EomDo(a):
    return op_gpjLwCVqUY(op_dWAJyo7jo9(op_4O6J1gTF1j(a),op_leNEk7drxJ(a)),op_3IOjIrkHfL(219,op_fK5yvnCGQ2(a)))

def op_count_2CAK2EomDo(a):
    count = op_count_4O6J1gTF1j(a)+op_count_leNEk7drxJ(a)+op_count_dWAJyo7jo9(op_4O6J1gTF1j(a),op_leNEk7drxJ(a))+op_count_fK5yvnCGQ2(a)+op_count_3IOjIrkHfL(219,op_fK5yvnCGQ2(a))+op_count_gpjLwCVqUY(op_dWAJyo7jo9(op_4O6J1gTF1j(a),op_leNEk7drxJ(a)),op_3IOjIrkHfL(219,op_fK5yvnCGQ2(a)))
    return count


a↷⇠⇻b = { ((⫝̸a)⇻⊹(a∲⫓b)) , if (a⨇⨈138)!=547 ; ((a∨↝⇂b)≚⋢) , else }

def op_YSHgF8Sl0M(a, b):
    if op_mMFf7LlMzv(a,138) != 547:
        return op_gQpPSlYAud(op_zBeky0p6hI(a),op_i8ToyICDmI(a,b))
    else:
        return op_MahUMFw56D(op_xqJTEXASMa(a,b))

def op_count_YSHgF8Sl0M(a, b):
    if op_mMFf7LlMzv(a,138) != 547:
        count = op_count_zBeky0p6hI(a)+op_count_i8ToyICDmI(a,b)+op_count_gQpPSlYAud(op_zBeky0p6hI(a),op_i8ToyICDmI(a,b))+op_count_mMFf7LlMzv(a,138)
    else:
        count = op_count_xqJTEXASMa(a,b)+op_count_MahUMFw56D(op_xqJTEXASMa(a,b))
    return count


def op_jXurZARjrp(a, b):
    return op_SWo3A1KBJH(op_7IRjtmSsUO(op_oDCm7WA9JY(a,251),op_ewqpnQ7xpk(b,177)))

def op_count_jXurZARjrp(a, b):
    count = op_count_oDCm7WA9JY(a,251)+op_count_ewqpnQ7xpk(b,177)+op_count_7IRjtmSsUO(op_oDCm7WA9JY(a,251),op_ewqpnQ7xpk(b,177))+op_count_SWo3A1KBJH(op_7IRjtmSsUO(op_oDCm7WA9JY(a,251),op_ewqpnQ7xpk(b,177)))
    return count


a⪙⪋≵b = { (((b⇗⨧100)⪞⫆(a↳))⩾⊒((a⨚⇆176)⪵⋛(a≣∓b))) }

def op_Y4P2H7a92Q(a, b):
    return op_2rNkuxh6vz(op_mdTgU5jPNV(op_6VMWzqt8x7(b,100),op_EAoIFGtZkS(a)),op_wUMGGCA6kW(op_lwHaAYXP2r(a,176),op_t7XEfsFsRn(a,b)))

def op_count_Y4P2H7a92Q(a, b):
    count = op_count_6VMWzqt8x7(b,100)+op_count_EAoIFGtZkS(a)+op_count_mdTgU5jPNV(op_6VMWzqt8x7(b,100),op_EAoIFGtZkS(a))+op_count_lwHaAYXP2r(a,176)+op_count_t7XEfsFsRn(a,b)+op_count_wUMGGCA6kW(op_lwHaAYXP2r(a,176),op_t7XEfsFsRn(a,b))+op_count_2rNkuxh6vz(op_mdTgU5jPNV(op_6VMWzqt8x7(b,100),op_EAoIFGtZkS(a)),op_wUMGGCA6kW(op_lwHaAYXP2r(a,176),op_t7XEfsFsRn(a,b)))
    return count


⩏⇻⫲a = { (∟⨄((a⊮⩠a)⫕(a≡a))) , if a<=36 ; a , else }

def op_S5jp8fx3wg(a):
    if a <= 36:
        return op_Bdqd193sIk(op_6CTfL9kIPY(op_VIybuTSL33(a,a),op_oW1cUEY5Sq(a,a)))
    else:
        return a

def op_count_S5jp8fx3wg(a):
    if a <= 36:
        count = op_count_VIybuTSL33(a,a)+op_count_oW1cUEY5Sq(a,a)+op_count_6CTfL9kIPY(op_VIybuTSL33(a,a),op_oW1cUEY5Sq(a,a))+op_count_Bdqd193sIk(op_6CTfL9kIPY(op_VIybuTSL33(a,a),op_oW1cUEY5Sq(a,a)))
    else:
        count = 1
    return count


a∀↜↬b = { ((a⇊⩃⋴a)⊼(b↞⊦⋕b)) , if (b⫡⩫⨩)>=16 ; ((⋖b)∄⩵(496⊨⫯↵b)) , else }

def op_AU0wYOqMdg(a, b):
    if op_VxsFyqworP(b) >= 16:
        return op_Qglmzouulk(op_uA3r3M5hqH(a,a),op_jV8AwRZkI7(b,b))
    else:
        return op_AsCFVB39Ml(op_dYTqEtTc30(b),op_5UdJKhy29U(496,b))

def op_count_AU0wYOqMdg(a, b):
    if op_VxsFyqworP(b) >= 16:
        count = op_count_uA3r3M5hqH(a,a)+op_count_jV8AwRZkI7(b,b)+op_count_Qglmzouulk(op_uA3r3M5hqH(a,a),op_jV8AwRZkI7(b,b))+op_count_VxsFyqworP(b)
    else:
        count = op_count_dYTqEtTc30(b)+op_count_5UdJKhy29U(496,b)+op_count_AsCFVB39Ml(op_dYTqEtTc30(b),op_5UdJKhy29U(496,b))
    return count


def op_PDLwjO9ulS(a, b):
    return op_Ag0vDIXuSH(op_P78JJ8jX64(b),op_OMlED4Os5J(a,170))

def op_count_PDLwjO9ulS(a, b):
    count = op_count_P78JJ8jX64(b)+op_count_OMlED4Os5J(a,170)+op_count_Ag0vDIXuSH(op_P78JJ8jX64(b),op_OMlED4Os5J(a,170))
    return count


def op_uQsO4UtjI0(a, b):
    return op_hRVy312e02(op_uU3XJfDBdq(b,op_ieV67lfL4Y(245)),op_NYIHRc2x51(op_Mgrz23wGJT(a),b))

def op_count_uQsO4UtjI0(a, b):
    count = op_count_ieV67lfL4Y(245)+op_count_uU3XJfDBdq(b,op_ieV67lfL4Y(245))+op_count_Mgrz23wGJT(a)+op_count_NYIHRc2x51(op_Mgrz23wGJT(a),b)+op_count_hRVy312e02(op_uU3XJfDBdq(b,op_ieV67lfL4Y(245)),op_NYIHRc2x51(op_Mgrz23wGJT(a),b))
    return count


def op_a8xWV6irn1(a):
    return op_GRrQNMyeGD(a,a)

def op_count_a8xWV6irn1(a):
    count = op_count_GRrQNMyeGD(a,a)
    return count


def op_s889w1ipev(a):
    if a != 114:
        return op_svYG05ELwl(op_jbrVa8FwMb(a,a),op_hJGmHHLvkm(492))
    else:
        return op_VsxaxIN4o0(op_Qglmzouulk(a,561),op_kFrcMyQrlQ(a))

def op_count_s889w1ipev(a):
    if a != 114:
        count = op_count_jbrVa8FwMb(a,a)+op_count_hJGmHHLvkm(492)+op_count_svYG05ELwl(op_jbrVa8FwMb(a,a),op_hJGmHHLvkm(492))
    else:
        count = op_count_Qglmzouulk(a,561)+op_count_kFrcMyQrlQ(a)+op_count_VsxaxIN4o0(op_Qglmzouulk(a,561),op_kFrcMyQrlQ(a))
    return count


def op_0T54AEwcXX(a):
    return op_AsCFVB39Ml(op_sHikgItnFT(op_1Ozlt4kVTJ(a,a)),op_rN9dtwqe3n(op_OLuofHlRCj(a),a))

def op_count_0T54AEwcXX(a):
    count = op_count_1Ozlt4kVTJ(a,a)+op_count_sHikgItnFT(op_1Ozlt4kVTJ(a,a))+op_count_OLuofHlRCj(a)+op_count_rN9dtwqe3n(op_OLuofHlRCj(a),a)+op_count_AsCFVB39Ml(op_sHikgItnFT(op_1Ozlt4kVTJ(a,a)),op_rN9dtwqe3n(op_OLuofHlRCj(a),a))
    return count


⇈⫿a = { (((a⫥⪥a)⫖⩪⇇(a⫭⨰))⨖⊟↼) , if (⨠↠≐a)<=204 or a<=58 ; ((⨴⇴⨔(a⩳↗a))⇝↵((a⫲≸⪮a)∰(91⨮⪎⇱408))) , else }

def op_VdpGCou5Oi(a):
    if op_aBc3pQJR8T(a) <= 204 or a <= 58:
        return op_mcRzvJ6mSO(op_R2DcrPcCoF(op_H86EN3O05e(a,a),op_MKKqPSfQPd(a)))
    else:
        return op_S02ZffNhFe(op_ubAxYR8Owx(op_crEXoaJzxs(a,a)),op_PmR7WuS4AT(op_P3lXMJvFrc(a,a),op_QyJFccSbaX(91,408)))

def op_count_VdpGCou5Oi(a):
    if op_aBc3pQJR8T(a) <= 204 or a <= 58:
        count = op_count_H86EN3O05e(a,a)+op_count_MKKqPSfQPd(a)+op_count_R2DcrPcCoF(op_H86EN3O05e(a,a),op_MKKqPSfQPd(a))+op_count_mcRzvJ6mSO(op_R2DcrPcCoF(op_H86EN3O05e(a,a),op_MKKqPSfQPd(a)))+op_count_aBc3pQJR8T(a)
    else:
        count = op_count_crEXoaJzxs(a,a)+op_count_ubAxYR8Owx(op_crEXoaJzxs(a,a))+op_count_P3lXMJvFrc(a,a)+op_count_QyJFccSbaX(91,408)+op_count_PmR7WuS4AT(op_P3lXMJvFrc(a,a),op_QyJFccSbaX(91,408))+op_count_S02ZffNhFe(op_ubAxYR8Owx(op_crEXoaJzxs(a,a)),op_PmR7WuS4AT(op_P3lXMJvFrc(a,a),op_QyJFccSbaX(91,408)))
    return count


def op_AfWb9viIgv(a):
    return op_lYYgj615o2(a,op_LcLDYWYtOH(op_xcM15npT0G(a,a)))

def op_count_AfWb9viIgv(a):
    count = op_count_xcM15npT0G(a,a)+op_count_LcLDYWYtOH(op_xcM15npT0G(a,a))+op_count_lYYgj615o2(a,op_LcLDYWYtOH(op_xcM15npT0G(a,a)))
    return count


def op_X0mktiqhyx(a):
    if op_YaB1w09lmH(a,991) > 140:
        return op_KCEnvkkZbe(134,a)
    else:
        return op_24nwyATvD7(a,a)

def op_count_X0mktiqhyx(a):
    if op_YaB1w09lmH(a,991) > 140:
        count = op_count_KCEnvkkZbe(134,a)+op_count_YaB1w09lmH(a,991)
    else:
        count = op_count_24nwyATvD7(a,a)
    return count


def op_FJxQl1z8fE(a):
    if op_dbaoL9ubd4(a,37) < 359:
        return op_CqXKPLVYql(76)
    else:
        return op_RUvFhAOGfE(a)

def op_count_FJxQl1z8fE(a):
    if op_dbaoL9ubd4(a,37) < 359:
        count = op_count_CqXKPLVYql(76)+op_count_dbaoL9ubd4(a,37)
    else:
        count = op_count_RUvFhAOGfE(a)
    return count


def op_2Rh8CLvBI7(a):
    return op_ubStOKblsQ(op_o8Pngz0Tml(a),op_cjZ6PVuxTA(124))

def op_count_2Rh8CLvBI7(a):
    count = op_count_o8Pngz0Tml(a)+op_count_cjZ6PVuxTA(124)+op_count_ubStOKblsQ(op_o8Pngz0Tml(a),op_cjZ6PVuxTA(124))
    return count


a⨪⨏⊑b = { ((b≩⪙(a⫇⩸⨢100))⇩⇈⩍((a⫳≱↱b)∳(164⊔≉⫖b))) }

def op_CUtd6jDzVB(a, b):
    return op_oIwnecHcIl(op_InRsNkjnGi(b,op_diu054m9en(a,100)),op_XCY0eMNfgm(op_ZvLB05nZmT(a,b),op_U6FdYdKaSc(164,b)))

def op_count_CUtd6jDzVB(a, b):
    count = op_count_diu054m9en(a,100)+op_count_InRsNkjnGi(b,op_diu054m9en(a,100))+op_count_ZvLB05nZmT(a,b)+op_count_U6FdYdKaSc(164,b)+op_count_XCY0eMNfgm(op_ZvLB05nZmT(a,b),op_U6FdYdKaSc(164,b))+op_count_oIwnecHcIl(op_InRsNkjnGi(b,op_diu054m9en(a,100)),op_XCY0eMNfgm(op_ZvLB05nZmT(a,b),op_U6FdYdKaSc(164,b)))
    return count


def op_D0Y0t4GGs7(a, b):
    if op_Mcn3daWqHc(b,80) <= 58:
        return a
    else:
        return op_kOoQ1erSk8(op_b3QkRJRxib(op_30yr7HMjFu(552,b),op_fkZUW4eOKP(b)),op_j7AgEMrvc9(op_vtudXryacx(241,a)))

def op_count_D0Y0t4GGs7(a, b):
    if op_Mcn3daWqHc(b,80) <= 58:
        count = 1
    else:
        count = op_count_30yr7HMjFu(552,b)+op_count_fkZUW4eOKP(b)+op_count_b3QkRJRxib(op_30yr7HMjFu(552,b),op_fkZUW4eOKP(b))+op_count_vtudXryacx(241,a)+op_count_j7AgEMrvc9(op_vtudXryacx(241,a))+op_count_kOoQ1erSk8(op_b3QkRJRxib(op_30yr7HMjFu(552,b),op_fkZUW4eOKP(b)),op_j7AgEMrvc9(op_vtudXryacx(241,a)))
    return count


a↮∁⩟b = { (((b⪤⋵⇕a)⩏⇖(a⊳b))⫐) , if ((a⋞⪆⩬)>=20 and a>730) ; ((b⪫↪(484⊝⋁))⩊⨖) , else }

def op_B9Gkqmw0g5(a, b):
    if (op_bfmSvDrgUq(a) >= 20 and a > 730):
        return op_8UWfUf6RpI(op_WzExxB0XCT(op_XSHbJDpXHf(b,a),op_hmRjlYdCYn(a,b)))
    else:
        return op_VNFuwohCu5(op_SR7DhePr6g(b,op_RENOe0fZe0(484)))

def op_count_B9Gkqmw0g5(a, b):
    if (op_bfmSvDrgUq(a) >= 20 and a > 730):
        count = op_count_XSHbJDpXHf(b,a)+op_count_hmRjlYdCYn(a,b)+op_count_WzExxB0XCT(op_XSHbJDpXHf(b,a),op_hmRjlYdCYn(a,b))+op_count_8UWfUf6RpI(op_WzExxB0XCT(op_XSHbJDpXHf(b,a),op_hmRjlYdCYn(a,b)))+op_count_bfmSvDrgUq(a)
    else:
        count = op_count_RENOe0fZe0(484)+op_count_SR7DhePr6g(b,op_RENOe0fZe0(484))+op_count_VNFuwohCu5(op_SR7DhePr6g(b,op_RENOe0fZe0(484)))
    return count


a⩰⪭⩳ = { (∐((a≅↺)⇃⩛⇬(⊋↪a))) , if ((a⩱⨟⋋)<=114 and (a∅⋊510)<=476) ; ((a⫔⫘⫄)∶⋾⫅((a⫒⋂)⩍↢(a⊾⫳a))) , else }

def op_ijuFujS4Xx(a):
    if (op_OaPFTkT3rt(a) <= 114 and op_KLpiBu3M34(a,510) <= 476):
        return op_YUaZ0ptK8E(op_ZyEASfasF5(op_xwrwLf9c24(a),op_I7EtXjyZpr(a)))
    else:
        return op_CElUNYQIpN(op_GpLJ0gTWjy(a),op_aqU8F3SgaS(op_FWqtsPQLqi(a),op_1uctxu2Xjm(a,a)))

def op_count_ijuFujS4Xx(a):
    if (op_OaPFTkT3rt(a) <= 114 and op_KLpiBu3M34(a,510) <= 476):
        count = op_count_xwrwLf9c24(a)+op_count_I7EtXjyZpr(a)+op_count_ZyEASfasF5(op_xwrwLf9c24(a),op_I7EtXjyZpr(a))+op_count_YUaZ0ptK8E(op_ZyEASfasF5(op_xwrwLf9c24(a),op_I7EtXjyZpr(a)))+op_count_OaPFTkT3rt(a)+op_count_KLpiBu3M34(a,510)
    else:
        count = op_count_GpLJ0gTWjy(a)+op_count_FWqtsPQLqi(a)+op_count_1uctxu2Xjm(a,a)+op_count_aqU8F3SgaS(op_FWqtsPQLqi(a),op_1uctxu2Xjm(a,a))+op_count_CElUNYQIpN(op_GpLJ0gTWjy(a),op_aqU8F3SgaS(op_FWqtsPQLqi(a),op_1uctxu2Xjm(a,a)))
    return count


⫢⨛a = { ((a⋛⇤a)⊇⫘⪍(a⪻⪾)) , if (⫶⊿a)<322 ; ((208-∠a)≫(⇥⩃a)) , else }

def op_4Dyllu4mHO(a):
    if op_KsrZRliHjM(a) < 322:
        return op_dUpriDnGP5(op_rG3WRp3Ucw(a,a),op_tNJmPebg1k(a))
    else:
        return op_fjIpuvyOFL(op_s0IfDFCCuZ(208,a),op_BN95awToQz(a))

def op_count_4Dyllu4mHO(a):
    if op_KsrZRliHjM(a) < 322:
        count = op_count_rG3WRp3Ucw(a,a)+op_count_tNJmPebg1k(a)+op_count_dUpriDnGP5(op_rG3WRp3Ucw(a,a),op_tNJmPebg1k(a))+op_count_KsrZRliHjM(a)
    else:
        count = op_count_s0IfDFCCuZ(208,a)+op_count_BN95awToQz(a)+op_count_fjIpuvyOFL(op_s0IfDFCCuZ(208,a),op_BN95awToQz(a))
    return count


a⊒⪢ = { ((a⫽a)⫺(a⋦⊭5)) , if (a⇯∥⫨)<=36 and (a⊍∤⊀)==11 ; (≑⋘a) , else }

def op_eW8dGlLOGp(a):
    if op_9mgsQxGIRr(a) <= 36 and op_0EAum7Jupo(a) == 11:
        return op_P0o8L8MpVP(op_uU3XJfDBdq(a,a),op_hGWjAarRlq(a,5))
    else:
        return op_ancsfN6GXi(a)

def op_count_eW8dGlLOGp(a):
    if op_9mgsQxGIRr(a) <= 36 and op_0EAum7Jupo(a) == 11:
        count = op_count_uU3XJfDBdq(a,a)+op_count_hGWjAarRlq(a,5)+op_count_P0o8L8MpVP(op_uU3XJfDBdq(a,a),op_hGWjAarRlq(a,5))+op_count_9mgsQxGIRr(a)+op_count_0EAum7Jupo(a)
    else:
        count = op_count_ancsfN6GXi(a)
    return count


def op_2tqsHhKS4y(a):
    return op_qLiEs2rVxT(a,a)

def op_count_2tqsHhKS4y(a):
    count = op_count_qLiEs2rVxT(a,a)
    return count


def op_4G2FkiQYkP(a):
    return op_Af076pWI7l(a,a)

def op_count_4G2FkiQYkP(a):
    count = op_count_Af076pWI7l(a,a)
    return count


def op_4XcS8GkQlK(a, b):
    return op_FivK695Inb(op_ZyRooXrppx(op_YVgDu6A9Zc(96)),op_n4QHv9njPx(op_5WBlwMsBj2(a,b)))

def op_count_4XcS8GkQlK(a, b):
    count = op_count_YVgDu6A9Zc(96)+op_count_ZyRooXrppx(op_YVgDu6A9Zc(96))+op_count_5WBlwMsBj2(a,b)+op_count_n4QHv9njPx(op_5WBlwMsBj2(a,b))+op_count_FivK695Inb(op_ZyRooXrppx(op_YVgDu6A9Zc(96)),op_n4QHv9njPx(op_5WBlwMsBj2(a,b)))
    return count


≠⪄a = { (((a⨉⊹⋈a)⪂∄(⨶⩒a))⫩) , if ((a∷202)<105 and (a↤⋝⩱)<247 and (⪟⩽a)<118) ; (((a⨓∶⪱a)⨩⊗a)⊔∻⩳((a⨰⋧∫a)⊾⪯⋞(a≥≧↭1))) , else }

def op_lz1zbEGI4r(a):
    if (op_D3AQDKkPcf(a,202) < 105 and op_7dilKmGYx8(a) < 247 and op_lu9boT7AJx(a) < 118):
        return op_6aG7x05OhS(op_LruclEJH8T(op_jPYZHDFkUI(a,a),op_iKsoMkOqp0(a)))
    else:
        return op_JhYyHjCUKx(op_Bw0fzZ75Yl(op_uyjXSLgOOM(a,a),a),op_HK0tfVPux8(op_GZNMAtHQ0A(a,a),op_9uqIsVI5ug(a,1)))

def op_count_lz1zbEGI4r(a):
    if (op_D3AQDKkPcf(a,202) < 105 and op_7dilKmGYx8(a) < 247 and op_lu9boT7AJx(a) < 118):
        count = op_count_jPYZHDFkUI(a,a)+op_count_iKsoMkOqp0(a)+op_count_LruclEJH8T(op_jPYZHDFkUI(a,a),op_iKsoMkOqp0(a))+op_count_6aG7x05OhS(op_LruclEJH8T(op_jPYZHDFkUI(a,a),op_iKsoMkOqp0(a)))+op_count_D3AQDKkPcf(a,202)+op_count_7dilKmGYx8(a)+op_count_lu9boT7AJx(a)
    else:
        count = op_count_uyjXSLgOOM(a,a)+op_count_Bw0fzZ75Yl(op_uyjXSLgOOM(a,a),a)+op_count_GZNMAtHQ0A(a,a)+op_count_9uqIsVI5ug(a,1)+op_count_HK0tfVPux8(op_GZNMAtHQ0A(a,a),op_9uqIsVI5ug(a,1))+op_count_JhYyHjCUKx(op_Bw0fzZ75Yl(op_uyjXSLgOOM(a,a),a),op_HK0tfVPux8(op_GZNMAtHQ0A(a,a),op_9uqIsVI5ug(a,1)))
    return count


def op_cyw5GQ0VWC(a):
    return op_FJ3oXK3UQ0(141,a)

def op_count_cyw5GQ0VWC(a):
    count = op_count_FJ3oXK3UQ0(141,a)
    return count


a∲⋩b = { ((∉⫁⪘(b⪂↸a))⨪↰⇹(a∌⇬⊃(a↕⋲b))) , if (⇅⫹a)==165 ; (((398↽⊪823)⫒⇰(a⋒⩸↨b))⨢↟((b∛⋻↤b)⩥)) , else }

def op_cSS1dVYpOh(a, b):
    if op_JtoaZ7Wsrk(a) == 165:
        return op_tmPS8pqC7x(op_eDOVKHKPQq(op_ZIgapHiLMw(b,a)),op_dzg9arMPh9(a,op_4fBBH5YYk9(a,b)))
    else:
        return op_Z7B3c4tHRK(op_Z8kU1u1TkF(op_tYr37UhHCW(398,823),op_pWgqwKmGtT(a,b)),op_jS8qnsL3aY(op_k3GVCLYZsC(b,b)))

def op_count_cSS1dVYpOh(a, b):
    if op_JtoaZ7Wsrk(a) == 165:
        count = op_count_ZIgapHiLMw(b,a)+op_count_eDOVKHKPQq(op_ZIgapHiLMw(b,a))+op_count_4fBBH5YYk9(a,b)+op_count_dzg9arMPh9(a,op_4fBBH5YYk9(a,b))+op_count_tmPS8pqC7x(op_eDOVKHKPQq(op_ZIgapHiLMw(b,a)),op_dzg9arMPh9(a,op_4fBBH5YYk9(a,b)))+op_count_JtoaZ7Wsrk(a)
    else:
        count = op_count_tYr37UhHCW(398,823)+op_count_pWgqwKmGtT(a,b)+op_count_Z8kU1u1TkF(op_tYr37UhHCW(398,823),op_pWgqwKmGtT(a,b))+op_count_k3GVCLYZsC(b,b)+op_count_jS8qnsL3aY(op_k3GVCLYZsC(b,b))+op_count_Z7B3c4tHRK(op_Z8kU1u1TkF(op_tYr37UhHCW(398,823),op_pWgqwKmGtT(a,b)),op_jS8qnsL3aY(op_k3GVCLYZsC(b,b)))
    return count


def op_Z8aJoTJGq6(a):
    return op_BsKymRuLqz(op_lUbvlUQjLd(a,39),op_UhM7GxoAxS(a))

def op_count_Z8aJoTJGq6(a):
    count = op_count_lUbvlUQjLd(a,39)+op_count_UhM7GxoAxS(a)+op_count_BsKymRuLqz(op_lUbvlUQjLd(a,39),op_UhM7GxoAxS(a))
    return count


def op_CR1kRiSFw6(a, b):
    return op_tI4UEUW1z2(op_HWsfkPJiI1(a),op_pvbE2flhr7(b,b))

def op_count_CR1kRiSFw6(a, b):
    count = op_count_HWsfkPJiI1(a)+op_count_pvbE2flhr7(b,b)+op_count_tI4UEUW1z2(op_HWsfkPJiI1(a),op_pvbE2flhr7(b,b))
    return count


def op_Kkl4oVZIlo(a):
    if (op_l1muhaaOLA(a) == 89 and a < 1):
        return op_cTDWOvIxvz(op_qRfCwGgRXA(op_otBzi3yDII(a),op_aOI3TlLUAE(242)),op_JwQjowjNRb(106))
    else:
        return op_I7sXao9hZE(op_ySZRlUEdJc(op_uTXOZ2BrWI(a,a)),op_IC8pW5Tu9f(op_Mgrz23wGJT(a),op_STXubeXA6y(a,a)))

def op_count_Kkl4oVZIlo(a):
    if (op_l1muhaaOLA(a) == 89 and a < 1):
        count = op_count_otBzi3yDII(a)+op_count_aOI3TlLUAE(242)+op_count_qRfCwGgRXA(op_otBzi3yDII(a),op_aOI3TlLUAE(242))+op_count_JwQjowjNRb(106)+op_count_cTDWOvIxvz(op_qRfCwGgRXA(op_otBzi3yDII(a),op_aOI3TlLUAE(242)),op_JwQjowjNRb(106))+op_count_l1muhaaOLA(a)
    else:
        count = op_count_uTXOZ2BrWI(a,a)+op_count_ySZRlUEdJc(op_uTXOZ2BrWI(a,a))+op_count_Mgrz23wGJT(a)+op_count_STXubeXA6y(a,a)+op_count_IC8pW5Tu9f(op_Mgrz23wGJT(a),op_STXubeXA6y(a,a))+op_count_I7sXao9hZE(op_ySZRlUEdJc(op_uTXOZ2BrWI(a,a)),op_IC8pW5Tu9f(op_Mgrz23wGJT(a),op_STXubeXA6y(a,a)))
    return count


def op_NSPg7SWEKF(a, b):
    return op_cUXFxtvyhI(op_aMUSaJuDRU(b),op_0UZhvIxcOb(a,b))

def op_count_NSPg7SWEKF(a, b):
    count = op_count_aMUSaJuDRU(b)+op_count_0UZhvIxcOb(a,b)+op_count_cUXFxtvyhI(op_aMUSaJuDRU(b),op_0UZhvIxcOb(a,b))
    return count


⩆↵⪲a = { (a⇻↜⇹a) , if (⨣⨃⇪a)<=148 ; (a≩⪙a) , else }

def op_kf5OJLtiRM(a):
    if op_AcOhelriW5(a) <= 148:
        return op_N6aCA1AhH1(a,a)
    else:
        return op_InRsNkjnGi(a,a)

def op_count_kf5OJLtiRM(a):
    if op_AcOhelriW5(a) <= 148:
        count = op_count_N6aCA1AhH1(a,a)+op_count_AcOhelriW5(a)
    else:
        count = op_count_InRsNkjnGi(a,a)
    return count


def op_fl1sgkYxeY(a):
    return op_uvdQJvN4PV(op_DcJ7QUUf6x(op_tifHPKVTfV(a,114),op_5e3ejKfaG8(a,104)),op_cwbF3JtlMN(op_0SB1kdz72a(a),op_aMUSaJuDRU(116)))

def op_count_fl1sgkYxeY(a):
    count = op_count_tifHPKVTfV(a,114)+op_count_5e3ejKfaG8(a,104)+op_count_DcJ7QUUf6x(op_tifHPKVTfV(a,114),op_5e3ejKfaG8(a,104))+op_count_0SB1kdz72a(a)+op_count_aMUSaJuDRU(116)+op_count_cwbF3JtlMN(op_0SB1kdz72a(a),op_aMUSaJuDRU(116))+op_count_uvdQJvN4PV(op_DcJ7QUUf6x(op_tifHPKVTfV(a,114),op_5e3ejKfaG8(a,104)),op_cwbF3JtlMN(op_0SB1kdz72a(a),op_aMUSaJuDRU(116)))
    return count


def op_nfAaLf7qXP(a):
    if op_zXQIJkDMTk(a,958) <= 627:
        return a
    else:
        return op_dcX9veljT5(op_xD69zh8xqp(799,a))

def op_count_nfAaLf7qXP(a):
    if op_zXQIJkDMTk(a,958) <= 627:
        count = 1
    else:
        count = op_count_xD69zh8xqp(799,a)+op_count_dcX9veljT5(op_xD69zh8xqp(799,a))
    return count


def op_GsrZz9200i(a):
    if op_P3e4aKGkjw(a) > 318:
        return op_xLdhTMZuGi(op_3f4ssNaqOA(98))
    else:
        return op_LCrUByRFnp(op_hmRjlYdCYn(a,81))

def op_count_GsrZz9200i(a):
    if op_P3e4aKGkjw(a) > 318:
        count = op_count_3f4ssNaqOA(98)+op_count_xLdhTMZuGi(op_3f4ssNaqOA(98))+op_count_P3e4aKGkjw(a)
    else:
        count = op_count_hmRjlYdCYn(a,81)+op_count_LCrUByRFnp(op_hmRjlYdCYn(a,81))
    return count


def op_plJuxQVeFk(a):
    return op_zoVUxTIMAa(op_QrPBJNmqe2(a),op_mGnSCrte3L(189))

def op_count_plJuxQVeFk(a):
    count = op_count_QrPBJNmqe2(a)+op_count_mGnSCrte3L(189)+op_count_zoVUxTIMAa(op_QrPBJNmqe2(a),op_mGnSCrte3L(189))
    return count


a≨⩦⩮ = { (a⩔↕≎) , if (a⪇⇪⫳79)<=0 ; (a∩(⫖→a)) , else }

def op_Asm7Thzx94(a):
    if op_zLfG7Ay1vB(a,79) <= 0:
        return op_NlrO9HiUSC(a)
    else:
        return op_F9Zfm1dsok(a,op_U4ylXWHChL(a))

def op_count_Asm7Thzx94(a):
    if op_zLfG7Ay1vB(a,79) <= 0:
        count = op_count_NlrO9HiUSC(a)+op_count_zLfG7Ay1vB(a,79)
    else:
        count = op_count_U4ylXWHChL(a)+op_count_F9Zfm1dsok(a,op_U4ylXWHChL(a))
    return count


def op_HnxEyeSpBf(a):
    if op_7l9ndgg2I8(a) >= 210:
        return op_sVi2Mjel97(op_dS7emaQrdo(op_OstGYNawjH(a,750),op_jFFapEqhGL(a,3)))
    else:
        return op_uvdQJvN4PV(op_hqmS1nAjdO(op_yp9CRaSDpl(606),op_0m85q53N9z(a,a)),op_PqPBtz8Fo4(op_IysziUkewr(17)))

def op_count_HnxEyeSpBf(a):
    if op_7l9ndgg2I8(a) >= 210:
        count = op_count_OstGYNawjH(a,750)+op_count_jFFapEqhGL(a,3)+op_count_dS7emaQrdo(op_OstGYNawjH(a,750),op_jFFapEqhGL(a,3))+op_count_sVi2Mjel97(op_dS7emaQrdo(op_OstGYNawjH(a,750),op_jFFapEqhGL(a,3)))+op_count_7l9ndgg2I8(a)
    else:
        count = op_count_yp9CRaSDpl(606)+op_count_0m85q53N9z(a,a)+op_count_hqmS1nAjdO(op_yp9CRaSDpl(606),op_0m85q53N9z(a,a))+op_count_IysziUkewr(17)+op_count_PqPBtz8Fo4(op_IysziUkewr(17))+op_count_uvdQJvN4PV(op_hqmS1nAjdO(op_yp9CRaSDpl(606),op_0m85q53N9z(a,a)),op_PqPBtz8Fo4(op_IysziUkewr(17)))
    return count


def op_qmuX8y4bs6(a, b):
    if op_nBgmWpGUqG(b,690) >= 435:
        return op_QILz4EHje6(b)
    else:
        return op_15x3VrOvJJ(460,a)

def op_count_qmuX8y4bs6(a, b):
    if op_nBgmWpGUqG(b,690) >= 435:
        count = op_count_QILz4EHje6(b)+op_count_nBgmWpGUqG(b,690)
    else:
        count = op_count_15x3VrOvJJ(460,a)
    return count


def op_qnvlpYvhGj(a):
    if (a > 467 or op_0JWJYFSzIQ(a,837) < 175):
        return op_m76UznZOQ6(op_ehqVwXWd4k(303,a))
    else:
        return op_w2537kitQq(op_x86dxb2H6m(a),op_RCyfEiCqYx(a,a))

def op_count_qnvlpYvhGj(a):
    if (a > 467 or op_0JWJYFSzIQ(a,837) < 175):
        count = op_count_ehqVwXWd4k(303,a)+op_count_m76UznZOQ6(op_ehqVwXWd4k(303,a))+op_count_0JWJYFSzIQ(a,837)
    else:
        count = op_count_x86dxb2H6m(a)+op_count_RCyfEiCqYx(a,a)+op_count_w2537kitQq(op_x86dxb2H6m(a),op_RCyfEiCqYx(a,a))
    return count


def op_PvhUzMmph5(a):
    return op_LXu4eIoRGd(op_yiOwzGmnRd(45),op_IhSYcQUtqA(a,a))

def op_count_PvhUzMmph5(a):
    count = op_count_yiOwzGmnRd(45)+op_count_IhSYcQUtqA(a,a)+op_count_LXu4eIoRGd(op_yiOwzGmnRd(45),op_IhSYcQUtqA(a,a))
    return count


def op_tQw1O4DHpO(a):
    return op_ljcfZBUpm8(op_j7AgEMrvc9(a))

def op_count_tQw1O4DHpO(a):
    count = op_count_j7AgEMrvc9(a)+op_count_ljcfZBUpm8(op_j7AgEMrvc9(a))
    return count


a⋉⊛b = { (((b⇀⪽b)⋣↚⨌(b⋇⋤⩬b))⋂⩴((b⊫a)∘⋙(≑350))) , if ((⪆b)==525 and (∱⇉⩥b)>=67 and a>646) ; b , else }

def op_Dpe03YneAS(a, b):
    if (op_KWeyIRWUIQ(b) == 525 and op_QONoKQfH5J(b) >= 67 and a > 646):
        return op_hmlrMsD2PO(op_iEYVdzZsUa(op_2u38eHdNB5(b,b),op_XRKDgMSJta(b,b)),op_tLbWsX1p1l(op_kOoQ1erSk8(b,a),op_OLuofHlRCj(350)))
    else:
        return b

def op_count_Dpe03YneAS(a, b):
    if (op_KWeyIRWUIQ(b) == 525 and op_QONoKQfH5J(b) >= 67 and a > 646):
        count = op_count_2u38eHdNB5(b,b)+op_count_XRKDgMSJta(b,b)+op_count_iEYVdzZsUa(op_2u38eHdNB5(b,b),op_XRKDgMSJta(b,b))+op_count_kOoQ1erSk8(b,a)+op_count_OLuofHlRCj(350)+op_count_tLbWsX1p1l(op_kOoQ1erSk8(b,a),op_OLuofHlRCj(350))+op_count_hmlrMsD2PO(op_iEYVdzZsUa(op_2u38eHdNB5(b,b),op_XRKDgMSJta(b,b)),op_tLbWsX1p1l(op_kOoQ1erSk8(b,a),op_OLuofHlRCj(350)))+op_count_KWeyIRWUIQ(b)+op_count_QONoKQfH5J(b)
    else:
        count = 1
    return count


a⫝̸⊩b = { (b≕⋧) , if (a⫝̸⨥721)!=3 and (a⩽⊱⇚)<=38 ; (a⩢≌) , else }

def op_CfUTIUnwHF(a, b):
    if op_B8fOXEboqQ(a,721) != 3 and op_vCDJkcMmnD(a) <= 38:
        return op_DTcFPWsND3(b)
    else:
        return op_D617RFjZIq(a)

def op_count_CfUTIUnwHF(a, b):
    if op_B8fOXEboqQ(a,721) != 3 and op_vCDJkcMmnD(a) <= 38:
        count = op_count_DTcFPWsND3(b)+op_count_B8fOXEboqQ(a,721)+op_count_vCDJkcMmnD(a)
    else:
        count = op_count_D617RFjZIq(a)
    return count


↻⫆a = { ((⩎(a∐≈∃497))⪷≤) , if a==263 ; (((⋦↙⩸129)⊵↦(a⊻⫕⩗a))⇡⇥↴((a⩌≪⫐6)↤(⫋⊢a))) , else }

def op_mVrMeiLxpi(a):
    if a == 263:
        return op_dGRJHjnrv2(op_3TAF4R0zOB(op_gNAKpNfdJi(a,497)))
    else:
        return op_oMp4GvGM9e(op_wleh0mrux3(op_P78JJ8jX64(129),op_f09raCEPXX(a,a)),op_jtBAKJz2S7(op_B7h40RZuRL(a,6),op_6qR1IGAwob(a)))

def op_count_mVrMeiLxpi(a):
    if a == 263:
        count = op_count_gNAKpNfdJi(a,497)+op_count_3TAF4R0zOB(op_gNAKpNfdJi(a,497))+op_count_dGRJHjnrv2(op_3TAF4R0zOB(op_gNAKpNfdJi(a,497)))
    else:
        count = op_count_P78JJ8jX64(129)+op_count_f09raCEPXX(a,a)+op_count_wleh0mrux3(op_P78JJ8jX64(129),op_f09raCEPXX(a,a))+op_count_B7h40RZuRL(a,6)+op_count_6qR1IGAwob(a)+op_count_jtBAKJz2S7(op_B7h40RZuRL(a,6),op_6qR1IGAwob(a))+op_count_oMp4GvGM9e(op_wleh0mrux3(op_P78JJ8jX64(129),op_f09raCEPXX(a,a)),op_jtBAKJz2S7(op_B7h40RZuRL(a,6),op_6qR1IGAwob(a)))
    return count


def op_KRoCINCnY0(a, b):
    return op_Nsiff2A1zJ(op_rysDP5nf3Z(a,b),op_C7DFujtSMd(a,a))

def op_count_KRoCINCnY0(a, b):
    count = op_count_rysDP5nf3Z(a,b)+op_count_C7DFujtSMd(a,a)+op_count_Nsiff2A1zJ(op_rysDP5nf3Z(a,b),op_C7DFujtSMd(a,a))
    return count


def op_jNabHRqSXv(a):
    return op_kf2MGdd7i0(a,op_jIlvZZ4qlV(op_RBKPHo7Qd9(a,a)))

def op_count_jNabHRqSXv(a):
    count = op_count_RBKPHo7Qd9(a,a)+op_count_jIlvZZ4qlV(op_RBKPHo7Qd9(a,a))+op_count_kf2MGdd7i0(a,op_jIlvZZ4qlV(op_RBKPHo7Qd9(a,a)))
    return count


a⩘⫪⫚ = { (⋡⨘≙a) , if (a⨯∮653)!=161 ; (a⇄⊇⨂a) , else }

def op_2tIpuwCADi(a):
    if op_vvWkAKV61U(a,653) != 161:
        return op_tHss8q0tGc(a)
    else:
        return op_diFBhjFx7A(a,a)

def op_count_2tIpuwCADi(a):
    if op_vvWkAKV61U(a,653) != 161:
        count = op_count_tHss8q0tGc(a)+op_count_vvWkAKV61U(a,653)
    else:
        count = op_count_diFBhjFx7A(a,a)
    return count


def op_GikdJjhjiN(a):
    return op_9cloC0Ngie(op_mMFf7LlMzv(a,a),op_3FoScNMFmy(744,a))

def op_count_GikdJjhjiN(a):
    count = op_count_mMFf7LlMzv(a,a)+op_count_3FoScNMFmy(744,a)+op_count_9cloC0Ngie(op_mMFf7LlMzv(a,a),op_3FoScNMFmy(744,a))
    return count


def op_Ay19GLnUVt(a):
    return op_RTaRm1inG1(op_P3lXMJvFrc(op_rwRyCV9eVz(a),op_f23dvC8TXu(a)),op_G9tJMlZ94a(op_GXGFZIUk1n(a)))

def op_count_Ay19GLnUVt(a):
    count = op_count_rwRyCV9eVz(a)+op_count_f23dvC8TXu(a)+op_count_P3lXMJvFrc(op_rwRyCV9eVz(a),op_f23dvC8TXu(a))+op_count_GXGFZIUk1n(a)+op_count_G9tJMlZ94a(op_GXGFZIUk1n(a))+op_count_RTaRm1inG1(op_P3lXMJvFrc(op_rwRyCV9eVz(a),op_f23dvC8TXu(a)),op_G9tJMlZ94a(op_GXGFZIUk1n(a)))
    return count


a≞⩌ = { (((a⨯a)⊛⨛↦(a⋮⫆240))⨒⇂⨽((≉⩂⇺a)∵⊛≕(a⨊↕a))) }

def op_hBcUiZkpcB(a):
    return op_Q8Thw7a1vL(op_6RHt3CCRg6(op_qYpz2WEVq4(a,a),op_H0fWaTn7v4(a,240)),op_421RnaStf2(op_Ky07d51fS4(a),op_sDckQzKUSc(a,a)))

def op_count_hBcUiZkpcB(a):
    count = op_count_qYpz2WEVq4(a,a)+op_count_H0fWaTn7v4(a,240)+op_count_6RHt3CCRg6(op_qYpz2WEVq4(a,a),op_H0fWaTn7v4(a,240))+op_count_Ky07d51fS4(a)+op_count_sDckQzKUSc(a,a)+op_count_421RnaStf2(op_Ky07d51fS4(a),op_sDckQzKUSc(a,a))+op_count_Q8Thw7a1vL(op_6RHt3CCRg6(op_qYpz2WEVq4(a,a),op_H0fWaTn7v4(a,240)),op_421RnaStf2(op_Ky07d51fS4(a),op_sDckQzKUSc(a,a)))
    return count


def op_VSucKG8bi6(a):
    return op_DolxePZw3A(op_GJLngeV5jM(op_bv5TH0yHlB(749,a),op_O9U3z1385E(a)))

def op_count_VSucKG8bi6(a):
    count = op_count_bv5TH0yHlB(749,a)+op_count_O9U3z1385E(a)+op_count_GJLngeV5jM(op_bv5TH0yHlB(749,a),op_O9U3z1385E(a))+op_count_DolxePZw3A(op_GJLngeV5jM(op_bv5TH0yHlB(749,a),op_O9U3z1385E(a)))
    return count


def op_App7BzSQRy(a):
    return op_SR5kFfdi6N(op_p1y54au9R0(a),op_sFYBUaN5Wh(436))

def op_count_App7BzSQRy(a):
    count = op_count_p1y54au9R0(a)+op_count_sFYBUaN5Wh(436)+op_count_SR5kFfdi6N(op_p1y54au9R0(a),op_sFYBUaN5Wh(436))
    return count


def op_56TWdFJrf1(a):
    return op_gNhqVVHJgV(op_aibkDESqBN(a),op_4J8E7DyAzc(a,a))

def op_count_56TWdFJrf1(a):
    count = op_count_aibkDESqBN(a)+op_count_4J8E7DyAzc(a,a)+op_count_gNhqVVHJgV(op_aibkDESqBN(a),op_4J8E7DyAzc(a,a))
    return count


a∾⨓∱b = { (b≰≳) , if (∨a)<=372 ; (a↠) , else }

def op_MS8KyFsSBL(a, b):
    if op_rIsGeVJWJF(a) <= 372:
        return op_KdUgOy5FMX(b)
    else:
        return op_LBdsKIvxzf(a)

def op_count_MS8KyFsSBL(a, b):
    if op_rIsGeVJWJF(a) <= 372:
        count = op_count_KdUgOy5FMX(b)+op_count_rIsGeVJWJF(a)
    else:
        count = op_count_LBdsKIvxzf(a)
    return count


def op_UaMZCSCRMM(a):
    return op_FJ3oXK3UQ0(a,77)

def op_count_UaMZCSCRMM(a):
    count = op_count_FJ3oXK3UQ0(a,77)
    return count


a⨬↺ = { (a∛≔) , if (a⩉→⋫982)==179 ; (a⨴⩻a) , else }

def op_LO18zz44I9(a):
    if op_OHdKWLbo3y(a,982) == 179:
        return op_mGnSCrte3L(a)
    else:
        return op_xhdooDG6Rx(a,a)

def op_count_LO18zz44I9(a):
    if op_OHdKWLbo3y(a,982) == 179:
        count = op_count_mGnSCrte3L(a)+op_count_OHdKWLbo3y(a,982)
    else:
        count = op_count_xhdooDG6Rx(a,a)
    return count


≎⪠∀a = { ((≑⋹a)⊤⪙⪛((a∎∨⩜a)⫖(a∞⩭∨a))) , if a>=50 and a>352 ; (((a⪲⨢313)⫌⨢≮(76⋕⪉⪜43))−⩙((a⋟∂a)⋿⩮(a⊒≛a))) , else }

def op_Tl6CqFoGyV(a):
    if a >= 50 and a > 352:
        return op_A28Sj7Ib8S(op_6B9nyZLogK(a),op_aEfDsFgi2n(op_68TVwzvrOR(a,a),op_yPRFSXaFQ1(a,a)))
    else:
        return op_LCIWZYeeIg(op_KIaJ2lWcks(op_6iafYuwGo8(a,313),op_z6LnFrNh4i(76,43)),op_fisgo7y6Pu(op_iPzKFVPbR0(a,a),op_MQjB2XFIYX(a,a)))

def op_count_Tl6CqFoGyV(a):
    if a >= 50 and a > 352:
        count = op_count_6B9nyZLogK(a)+op_count_68TVwzvrOR(a,a)+op_count_yPRFSXaFQ1(a,a)+op_count_aEfDsFgi2n(op_68TVwzvrOR(a,a),op_yPRFSXaFQ1(a,a))+op_count_A28Sj7Ib8S(op_6B9nyZLogK(a),op_aEfDsFgi2n(op_68TVwzvrOR(a,a),op_yPRFSXaFQ1(a,a)))
    else:
        count = op_count_6iafYuwGo8(a,313)+op_count_z6LnFrNh4i(76,43)+op_count_KIaJ2lWcks(op_6iafYuwGo8(a,313),op_z6LnFrNh4i(76,43))+op_count_iPzKFVPbR0(a,a)+op_count_MQjB2XFIYX(a,a)+op_count_fisgo7y6Pu(op_iPzKFVPbR0(a,a),op_MQjB2XFIYX(a,a))+op_count_LCIWZYeeIg(op_KIaJ2lWcks(op_6iafYuwGo8(a,313),op_z6LnFrNh4i(76,43)),op_fisgo7y6Pu(op_iPzKFVPbR0(a,a),op_MQjB2XFIYX(a,a)))
    return count


def op_vGFYg3DLww(a):
    if op_Gl4WN4Uwdx(a,485) <= 324 and op_o0ENHGX9XF(a,326) < 608 and a >= 325:
        return op_SxTAKzQCrw(534,565)
    else:
        return op_EuzVB58bWJ(a)

def op_count_vGFYg3DLww(a):
    if op_Gl4WN4Uwdx(a,485) <= 324 and op_o0ENHGX9XF(a,326) < 608 and a >= 325:
        count = op_count_SxTAKzQCrw(534,565)+op_count_Gl4WN4Uwdx(a,485)+op_count_o0ENHGX9XF(a,326)
    else:
        count = op_count_EuzVB58bWJ(a)
    return count


a↼⪯⊋b = { (⪓⩚a) , if (b≘⨶)!=14 and (b⇠⩴)<=59 and b!=12 ; (a⋷⫙∸b) , else }

def op_unbemOi2Lp(a, b):
    if op_aOI3TlLUAE(b) != 14 and op_o0fB5CF1Cw(b) <= 59 and b != 12:
        return op_u0R0Locfp2(a)
    else:
        return op_8oxTided8f(a,b)

def op_count_unbemOi2Lp(a, b):
    if op_aOI3TlLUAE(b) != 14 and op_o0fB5CF1Cw(b) <= 59 and b != 12:
        count = op_count_u0R0Locfp2(a)+op_count_aOI3TlLUAE(b)+op_count_o0fB5CF1Cw(b)
    else:
        count = op_count_8oxTided8f(a,b)
    return count


def op_IgWadas3E5(a):
    return op_yS9ePUuUdn(op_xTB5j2aZzK(a,a))

def op_count_IgWadas3E5(a):
    count = op_count_xTB5j2aZzK(a,a)+op_count_yS9ePUuUdn(op_xTB5j2aZzK(a,a))
    return count


def op_zSPlslSATK(a, b):
    return op_cZPC5xccNd(op_8lBC7wqBde(op_vEtY77xraV(149,a),op_LBdsKIvxzf(b)),op_EYVwtEtosv(696,op_eGV7a2KN6g(a,126)))

def op_count_zSPlslSATK(a, b):
    count = op_count_vEtY77xraV(149,a)+op_count_LBdsKIvxzf(b)+op_count_8lBC7wqBde(op_vEtY77xraV(149,a),op_LBdsKIvxzf(b))+op_count_eGV7a2KN6g(a,126)+op_count_EYVwtEtosv(696,op_eGV7a2KN6g(a,126))+op_count_cZPC5xccNd(op_8lBC7wqBde(op_vEtY77xraV(149,a),op_LBdsKIvxzf(b)),op_EYVwtEtosv(696,op_eGV7a2KN6g(a,126)))
    return count


def op_lGtIVZByFm(a):
    return op_BwsDR6Hawb(op_o20kRiQErp(a),op_qediHccxJ2(a))

def op_count_lGtIVZByFm(a):
    count = op_count_o20kRiQErp(a)+op_count_qediHccxJ2(a)+op_count_BwsDR6Hawb(op_o20kRiQErp(a),op_qediHccxJ2(a))
    return count


def op_IlOR2RFf0j(a):
    return op_jRpQuODQ3E(op_Qglmzouulk(a,981))

def op_count_IlOR2RFf0j(a):
    count = op_count_Qglmzouulk(a,981)+op_count_jRpQuODQ3E(op_Qglmzouulk(a,981))
    return count


def op_tMTVwzQ879(a):
    return op_I7sXao9hZE(a,a)

def op_count_tMTVwzQ879(a):
    count = op_count_I7sXao9hZE(a,a)
    return count


def op_f4qx5ZNkPA(a):
    return op_dWAJyo7jo9(op_U4ylXWHChL(a),op_AfP0hfvy3k(278,a))

def op_count_f4qx5ZNkPA(a):
    count = op_count_U4ylXWHChL(a)+op_count_AfP0hfvy3k(278,a)+op_count_dWAJyo7jo9(op_U4ylXWHChL(a),op_AfP0hfvy3k(278,a))
    return count


def op_ndNRGEC1vi(a, b):
    return op_8h2Ofp3S4L(op_QZUd2qjpcJ(op_tJkeIIum6v(a,56),op_0jym0dg8K8(375,b)),op_Sz2rUO9lfJ(b,op_rlgYWsFeVn(57)))

def op_count_ndNRGEC1vi(a, b):
    count = op_count_tJkeIIum6v(a,56)+op_count_0jym0dg8K8(375,b)+op_count_QZUd2qjpcJ(op_tJkeIIum6v(a,56),op_0jym0dg8K8(375,b))+op_count_rlgYWsFeVn(57)+op_count_Sz2rUO9lfJ(b,op_rlgYWsFeVn(57))+op_count_8h2Ofp3S4L(op_QZUd2qjpcJ(op_tJkeIIum6v(a,56),op_0jym0dg8K8(375,b)),op_Sz2rUO9lfJ(b,op_rlgYWsFeVn(57)))
    return count


a⪕⋦⫉b = { ((b⩀a)⇼⇔∾(a≗⪓∷)) , if (b⩥)<=511 ; ((∉735)⨉⪘⪊(b⨥⫶a)) , else }

def op_NOz3LZtCDv(a, b):
    if op_jS8qnsL3aY(b) <= 511:
        return op_tifHPKVTfV(op_M1AAiXtbt9(b,a),op_xWKacU4PIG(a))
    else:
        return op_wxno1H4PnZ(op_dma8RTlAAq(735),op_kT4MlvM4La(b,a))

def op_count_NOz3LZtCDv(a, b):
    if op_jS8qnsL3aY(b) <= 511:
        count = op_count_M1AAiXtbt9(b,a)+op_count_xWKacU4PIG(a)+op_count_tifHPKVTfV(op_M1AAiXtbt9(b,a),op_xWKacU4PIG(a))+op_count_jS8qnsL3aY(b)
    else:
        count = op_count_dma8RTlAAq(735)+op_count_kT4MlvM4La(b,a)+op_count_wxno1H4PnZ(op_dma8RTlAAq(735),op_kT4MlvM4La(b,a))
    return count


∘⪌a = { ((a⇨⇁(48≐↽a))↶↽a) , if (a⋑⩐⪄433)==123 ; (((97≚⊃≕a)⊪⫢⨬(a⊮⩠a))∕⩚((a⩯≱⩰a)≧⨣(a⪖⪡a))) , else }

def op_XDy6vCYe84(a):
    if op_mCA1Lu4fO6(a,433) == 123:
        return op_8damnDlvQO(op_0JEjmizNXg(a,op_leeyKC4ZFN(48,a)),a)
    else:
        return op_z9ffQ9n5Zr(op_Es8UyEPW03(op_Bmrmz2XGnR(97,a),op_VIybuTSL33(a,a)),op_Z36JYzhjcK(op_HDwVj9x3oe(a,a),op_7PjNe5qSIJ(a,a)))

def op_count_XDy6vCYe84(a):
    if op_mCA1Lu4fO6(a,433) == 123:
        count = op_count_leeyKC4ZFN(48,a)+op_count_0JEjmizNXg(a,op_leeyKC4ZFN(48,a))+op_count_8damnDlvQO(op_0JEjmizNXg(a,op_leeyKC4ZFN(48,a)),a)+op_count_mCA1Lu4fO6(a,433)
    else:
        count = op_count_Bmrmz2XGnR(97,a)+op_count_VIybuTSL33(a,a)+op_count_Es8UyEPW03(op_Bmrmz2XGnR(97,a),op_VIybuTSL33(a,a))+op_count_HDwVj9x3oe(a,a)+op_count_7PjNe5qSIJ(a,a)+op_count_Z36JYzhjcK(op_HDwVj9x3oe(a,a),op_7PjNe5qSIJ(a,a))+op_count_z9ffQ9n5Zr(op_Es8UyEPW03(op_Bmrmz2XGnR(97,a),op_VIybuTSL33(a,a)),op_Z36JYzhjcK(op_HDwVj9x3oe(a,a),op_7PjNe5qSIJ(a,a)))
    return count


⪮⋖a = { ((↻(4∉⊞⊌a))⪌⨺↜((274⩌⨨⨫a)⫍⊽⨕(⪜⫊⩿a))) , if (a⨊⊣)!=56 ; (((a⫘a)⪇⪤⩦(⇴⋐∈a))⊾⪍⇠a) , else }

def op_ed4ziCo8XW(a):
    if op_zE39I6mTOd(a) != 56:
        return op_YZ4iizfuOA(op_F9h1TXRPf3(op_22UCrTUJEh(4,a)),op_ZwyS8wrxVQ(op_3QUG3jHDXB(274,a),op_2dvK3HezHB(a)))
    else:
        return op_ZRQRDfrpkZ(op_0DhpTGsvK0(op_48vC8HMD2b(a,a),op_DiYxel8mnz(a)),a)

def op_count_ed4ziCo8XW(a):
    if op_zE39I6mTOd(a) != 56:
        count = op_count_22UCrTUJEh(4,a)+op_count_F9h1TXRPf3(op_22UCrTUJEh(4,a))+op_count_3QUG3jHDXB(274,a)+op_count_2dvK3HezHB(a)+op_count_ZwyS8wrxVQ(op_3QUG3jHDXB(274,a),op_2dvK3HezHB(a))+op_count_YZ4iizfuOA(op_F9h1TXRPf3(op_22UCrTUJEh(4,a)),op_ZwyS8wrxVQ(op_3QUG3jHDXB(274,a),op_2dvK3HezHB(a)))+op_count_zE39I6mTOd(a)
    else:
        count = op_count_48vC8HMD2b(a,a)+op_count_DiYxel8mnz(a)+op_count_0DhpTGsvK0(op_48vC8HMD2b(a,a),op_DiYxel8mnz(a))+op_count_ZRQRDfrpkZ(op_0DhpTGsvK0(op_48vC8HMD2b(a,a),op_DiYxel8mnz(a)),a)
    return count


a⊐∶⨯b = { (⩖≀((⇰⨵b)⪔(b⫝̸⋷b))) , if (⊽⫁⫾a)>116 ; (⫄⇌((b↥⩋⫫b)⊢⨂(b⋒⩸↨a))) , else }

def op_MA7fUbEC3W(a, b):
    if op_WCUQA2F43R(a) > 116:
        return op_IgJGjqfDMb(op_GjBEYRfMaF(op_E4WEglQwU2(b),op_olRPQDKeNJ(b,b)))
    else:
        return op_bZvdkBTgtx(op_iIjyEn7CwK(op_xFsO8pdFKG(b,b),op_pWgqwKmGtT(b,a)))

def op_count_MA7fUbEC3W(a, b):
    if op_WCUQA2F43R(a) > 116:
        count = op_count_E4WEglQwU2(b)+op_count_olRPQDKeNJ(b,b)+op_count_GjBEYRfMaF(op_E4WEglQwU2(b),op_olRPQDKeNJ(b,b))+op_count_IgJGjqfDMb(op_GjBEYRfMaF(op_E4WEglQwU2(b),op_olRPQDKeNJ(b,b)))+op_count_WCUQA2F43R(a)
    else:
        count = op_count_xFsO8pdFKG(b,b)+op_count_pWgqwKmGtT(b,a)+op_count_iIjyEn7CwK(op_xFsO8pdFKG(b,b),op_pWgqwKmGtT(b,a))+op_count_bZvdkBTgtx(op_iIjyEn7CwK(op_xFsO8pdFKG(b,b),op_pWgqwKmGtT(b,a)))
    return count


def op_Jd3LPC9xvu(a, b):
    return op_3tj9sqzovi(op_9cloC0Ngie(op_xm2CaS4xAe(a,b),op_NP9YRXuJAy(a,a)))

def op_count_Jd3LPC9xvu(a, b):
    count = op_count_xm2CaS4xAe(a,b)+op_count_NP9YRXuJAy(a,a)+op_count_9cloC0Ngie(op_xm2CaS4xAe(a,b),op_NP9YRXuJAy(a,a))+op_count_3tj9sqzovi(op_9cloC0Ngie(op_xm2CaS4xAe(a,b),op_NP9YRXuJAy(a,a)))
    return count


def op_uyJxqxx1bA(a, b):
    if op_4X4GscPmMf(a) != 469:
        return op_ZkTErvSsVl(op_GlSFjmIWmY(op_Ts0S8GkAKQ(b,b),op_ohIwRG4GTH(322)),op_o0ENHGX9XF(op_KpA1OOWoyj(a,b),op_Qaz2MhZaG5(a,247)))
    else:
        return op_3tj9sqzovi(op_ymOBY7rw1m(op_vQUWrCPLqI(b,39),op_jiwY1kzaLi(647,b)))

def op_count_uyJxqxx1bA(a, b):
    if op_4X4GscPmMf(a) != 469:
        count = op_count_Ts0S8GkAKQ(b,b)+op_count_ohIwRG4GTH(322)+op_count_GlSFjmIWmY(op_Ts0S8GkAKQ(b,b),op_ohIwRG4GTH(322))+op_count_KpA1OOWoyj(a,b)+op_count_Qaz2MhZaG5(a,247)+op_count_o0ENHGX9XF(op_KpA1OOWoyj(a,b),op_Qaz2MhZaG5(a,247))+op_count_ZkTErvSsVl(op_GlSFjmIWmY(op_Ts0S8GkAKQ(b,b),op_ohIwRG4GTH(322)),op_o0ENHGX9XF(op_KpA1OOWoyj(a,b),op_Qaz2MhZaG5(a,247)))+op_count_4X4GscPmMf(a)
    else:
        count = op_count_vQUWrCPLqI(b,39)+op_count_jiwY1kzaLi(647,b)+op_count_ymOBY7rw1m(op_vQUWrCPLqI(b,39),op_jiwY1kzaLi(647,b))+op_count_3tj9sqzovi(op_ymOBY7rw1m(op_vQUWrCPLqI(b,39),op_jiwY1kzaLi(647,b)))
    return count


a⪁⫙b = { (((⊬↢a)⨳(34⋐⫨a))⨦⨚∂((a⇒⊶b)⩉∽⪣(b⨭⫎278))) }

def op_3vSzULByEU(a, b):
    return op_RpQvJizf4x(op_YaB1w09lmH(op_WPoGxAaPR1(a),op_tegVxjLGUd(34,a)),op_3U6LfyZyIC(op_J4RdkEvY2C(a,b),op_OVAuBYEMFc(b,278)))

def op_count_3vSzULByEU(a, b):
    count = op_count_WPoGxAaPR1(a)+op_count_tegVxjLGUd(34,a)+op_count_YaB1w09lmH(op_WPoGxAaPR1(a),op_tegVxjLGUd(34,a))+op_count_J4RdkEvY2C(a,b)+op_count_OVAuBYEMFc(b,278)+op_count_3U6LfyZyIC(op_J4RdkEvY2C(a,b),op_OVAuBYEMFc(b,278))+op_count_RpQvJizf4x(op_YaB1w09lmH(op_WPoGxAaPR1(a),op_tegVxjLGUd(34,a)),op_3U6LfyZyIC(op_J4RdkEvY2C(a,b),op_OVAuBYEMFc(b,278)))
    return count


a⊉⋥b = { (a⫁∆⨗151) , if b!=766 ; (b⋹⨛⇥a) , else }

def op_zSGZJdW1n7(a, b):
    if b != 766:
        return op_JAobebJkKA(a,151)
    else:
        return op_EV9swbq3TP(b,a)

def op_count_zSGZJdW1n7(a, b):
    if b != 766:
        count = op_count_JAobebJkKA(a,151)
    else:
        count = op_count_EV9swbq3TP(b,a)
    return count


a⋜⫾⨫b = { ((a⨆⋰⊆a)≩⪙(b⊓≸b)) , if b<123 ; (a≛∴⩓(≃⋐⪬b)) , else }

def op_I4Z2h7Ev6U(a, b):
    if b < 123:
        return op_InRsNkjnGi(op_B7fx9NtlGq(a,a),op_W9l7OelwO5(b,b))
    else:
        return op_p97BeOkDlu(a,op_gae4JlXwSi(b))

def op_count_I4Z2h7Ev6U(a, b):
    if b < 123:
        count = op_count_B7fx9NtlGq(a,a)+op_count_W9l7OelwO5(b,b)+op_count_InRsNkjnGi(op_B7fx9NtlGq(a,a),op_W9l7OelwO5(b,b))
    else:
        count = op_count_gae4JlXwSi(b)+op_count_p97BeOkDlu(a,op_gae4JlXwSi(b))
    return count


a⊴⩃b = { b , if (⋞≒a)<384 and b>=306 ; (⩐((b∫⨆⊨a)⊗∃⇥(b∩⨠⇪b))) , else }

def op_tzNj1T9tzn(a, b):
    if op_yoQGOmd14C(a) < 384 and b >= 306:
        return b
    else:
        return op_zukycwwyTc(op_ZAXeO6SPf6(op_IDcHNuZ7N0(b,a),op_1dP9oEiBvS(b,b)))

def op_count_tzNj1T9tzn(a, b):
    if op_yoQGOmd14C(a) < 384 and b >= 306:
        count = 1
    else:
        count = op_count_IDcHNuZ7N0(b,a)+op_count_1dP9oEiBvS(b,b)+op_count_ZAXeO6SPf6(op_IDcHNuZ7N0(b,a),op_1dP9oEiBvS(b,b))+op_count_zukycwwyTc(op_ZAXeO6SPf6(op_IDcHNuZ7N0(b,a),op_1dP9oEiBvS(b,b)))
    return count


def op_v6rWLIZvPm(a):
    if (op_exzyYvvvzF(a,201) < 398 or op_GaQb60eDBT(a,766) != 68):
        return op_ULuo49FML3(op_HZSpWngSsm(a,a),op_f6k1SAg4EE(a,796))
    else:
        return op_yS9ePUuUdn(op_AfP0hfvy3k(a,a))

def op_count_v6rWLIZvPm(a):
    if (op_exzyYvvvzF(a,201) < 398 or op_GaQb60eDBT(a,766) != 68):
        count = op_count_HZSpWngSsm(a,a)+op_count_f6k1SAg4EE(a,796)+op_count_ULuo49FML3(op_HZSpWngSsm(a,a),op_f6k1SAg4EE(a,796))+op_count_exzyYvvvzF(a,201)+op_count_GaQb60eDBT(a,766)
    else:
        count = op_count_AfP0hfvy3k(a,a)+op_count_yS9ePUuUdn(op_AfP0hfvy3k(a,a))
    return count


def op_IlBnPjNY0J(a):
    return op_UiMSn6PRcz(op_H0fWaTn7v4(a,a))

def op_count_IlBnPjNY0J(a):
    count = op_count_H0fWaTn7v4(a,a)+op_count_UiMSn6PRcz(op_H0fWaTn7v4(a,a))
    return count


def op_mdsGOQ2UPd(a):
    if op_0VM5IIwWHX(a) > 249 and op_bl5wxAcryP(a) == 226 and op_jS8qnsL3aY(a) == 456:
        return op_4fBBH5YYk9(a,a)
    else:
        return op_hL8JPCYIkc(a,14)

def op_count_mdsGOQ2UPd(a):
    if op_0VM5IIwWHX(a) > 249 and op_bl5wxAcryP(a) == 226 and op_jS8qnsL3aY(a) == 456:
        count = op_count_4fBBH5YYk9(a,a)+op_count_0VM5IIwWHX(a)+op_count_bl5wxAcryP(a)+op_count_jS8qnsL3aY(a)
    else:
        count = op_count_hL8JPCYIkc(a,14)
    return count


a⩍↘b = { (a⪄a) , if (⩍⨿b)>=448 and b==471 and (a⩺)<359 ; ((a≗⪓∷)↩∔⇶(a⋅∕⪽a)) , else }

def op_mkdbhKckMx(a, b):
    if op_nxEb2W9nnd(b) >= 448 and b == 471 and op_YFgJcOFAB6(a) < 359:
        return op_SUmda5xLS4(a,a)
    else:
        return op_ZM199RjHSm(op_xWKacU4PIG(a),op_xapeEN5k6N(a,a))

def op_count_mkdbhKckMx(a, b):
    if op_nxEb2W9nnd(b) >= 448 and b == 471 and op_YFgJcOFAB6(a) < 359:
        count = op_count_SUmda5xLS4(a,a)+op_count_nxEb2W9nnd(b)+op_count_YFgJcOFAB6(a)
    else:
        count = op_count_xWKacU4PIG(a)+op_count_xapeEN5k6N(a,a)+op_count_ZM199RjHSm(op_xWKacU4PIG(a),op_xapeEN5k6N(a,a))
    return count


def op_3g9sxFYwMA(a):
    return op_4fBBH5YYk9(a,a)

def op_count_3g9sxFYwMA(a):
    count = op_count_4fBBH5YYk9(a,a)
    return count


def op_lzvTli0tiJ(a):
    return op_qLiEs2rVxT(op_XOq3HbtsQF(op_xUOZtlo3hN(a)),op_FAU4UUhKNM(op_EstvqV7IEV(a)))

def op_count_lzvTli0tiJ(a):
    count = op_count_xUOZtlo3hN(a)+op_count_XOq3HbtsQF(op_xUOZtlo3hN(a))+op_count_EstvqV7IEV(a)+op_count_FAU4UUhKNM(op_EstvqV7IEV(a))+op_count_qLiEs2rVxT(op_XOq3HbtsQF(op_xUOZtlo3hN(a)),op_FAU4UUhKNM(op_EstvqV7IEV(a)))
    return count


a⨷≏⋞b = { ((a≄a)⇣⊱b) , if (∛≨a)>=11 ; ((⩐⪗b)⫣⪰(276⪀⫝)) , else }

def op_SNt2CLTGFl(a, b):
    if op_Qh0O3qRqMr(a) >= 11:
        return op_nhiPEUZSI1(op_fLJG5zVr1z(a,a),b)
    else:
        return op_K1I1yfA9nN(op_L0qFQ15L8m(b),op_XJI43DGxFi(276))

def op_count_SNt2CLTGFl(a, b):
    if op_Qh0O3qRqMr(a) >= 11:
        count = op_count_fLJG5zVr1z(a,a)+op_count_nhiPEUZSI1(op_fLJG5zVr1z(a,a),b)+op_count_Qh0O3qRqMr(a)
    else:
        count = op_count_L0qFQ15L8m(b)+op_count_XJI43DGxFi(276)+op_count_K1I1yfA9nN(op_L0qFQ15L8m(b),op_XJI43DGxFi(276))
    return count


def op_roejz2H2dp(a, b):
    return op_Ez1Nq5fNfI(85,op_Ysezvhzhur(b,a))

def op_count_roejz2H2dp(a, b):
    count = op_count_Ysezvhzhur(b,a)+op_count_Ez1Nq5fNfI(85,op_Ysezvhzhur(b,a))
    return count


∾≶↮a = { ((a⩁⪨a)⨴⇡≱(a⊦⊆29)) , if (a⋪⪸802)<=296 ; ((a⋾∩a)⊴(a↻↤a)) , else }

def op_M5POpV9Lds(a):
    if op_7DoUD1Rkxi(a,802) <= 296:
        return op_hOoiUWkgqb(op_NkmDxhANyO(a,a),op_ziENa4oeDe(a,29))
    else:
        return op_Nsiff2A1zJ(op_2KNBRhPqiH(a,a),op_KCEnvkkZbe(a,a))

def op_count_M5POpV9Lds(a):
    if op_7DoUD1Rkxi(a,802) <= 296:
        count = op_count_NkmDxhANyO(a,a)+op_count_ziENa4oeDe(a,29)+op_count_hOoiUWkgqb(op_NkmDxhANyO(a,a),op_ziENa4oeDe(a,29))+op_count_7DoUD1Rkxi(a,802)
    else:
        count = op_count_2KNBRhPqiH(a,a)+op_count_KCEnvkkZbe(a,a)+op_count_Nsiff2A1zJ(op_2KNBRhPqiH(a,a),op_KCEnvkkZbe(a,a))
    return count


a⩼⪝⩄ = { (((a⊅↽⋺)⨆⋰⊆(a∫⩸a))⫽⨪⋛((a⨸422)⪧⨹)) }

def op_20uAy2JiGL(a):
    return op_dzSbfUHVt4(op_B7fx9NtlGq(op_b4UHMzNVzm(a),op_OpIL6DGFIM(a,a)),op_62W5FwqBqz(op_KmoU8R5UQR(a,422)))

def op_count_20uAy2JiGL(a):
    count = op_count_b4UHMzNVzm(a)+op_count_OpIL6DGFIM(a,a)+op_count_B7fx9NtlGq(op_b4UHMzNVzm(a),op_OpIL6DGFIM(a,a))+op_count_KmoU8R5UQR(a,422)+op_count_62W5FwqBqz(op_KmoU8R5UQR(a,422))+op_count_dzSbfUHVt4(op_B7fx9NtlGq(op_b4UHMzNVzm(a),op_OpIL6DGFIM(a,a)),op_62W5FwqBqz(op_KmoU8R5UQR(a,422)))
    return count


def op_iAtjGBADWH(a, b):
    if b < 76 and op_5hXH7YEb70(a) < 486 and op_UuQ5TkIIzY(a,713) == 330:
        return op_FqT00WZBiN(901)
    else:
        return op_OKKcZfAt5B(242,op_01leFtwrgg(op_oDCm7WA9JY(496,b),op_6wBhCzx1ue(b,a)))

def op_count_iAtjGBADWH(a, b):
    if b < 76 and op_5hXH7YEb70(a) < 486 and op_UuQ5TkIIzY(a,713) == 330:
        count = op_count_FqT00WZBiN(901)+op_count_5hXH7YEb70(a)+op_count_UuQ5TkIIzY(a,713)
    else:
        count = op_count_oDCm7WA9JY(496,b)+op_count_6wBhCzx1ue(b,a)+op_count_01leFtwrgg(op_oDCm7WA9JY(496,b),op_6wBhCzx1ue(b,a))+op_count_OKKcZfAt5B(242,op_01leFtwrgg(op_oDCm7WA9JY(496,b),op_6wBhCzx1ue(b,a)))
    return count


a≱⪂⨡b = { b , if (⊠b)!=476 ; (a⋫) , else }

def op_re7ZhIADeV(a, b):
    if op_R3vAdrE3IH(b) != 476:
        return b
    else:
        return op_JL8yIekQnl(a)

def op_count_re7ZhIADeV(a, b):
    if op_R3vAdrE3IH(b) != 476:
        count = 1
    else:
        count = op_count_JL8yIekQnl(a)
    return count


a⋐⫣⇉b = { (((107⩱∐⨋b)⩞⩉≳(⊉↲a))⩋⨙((a⊧⫬∧259)⇥⫝(35⋈b))) }

def op_58DSY4Oe75(a, b):
    return op_UFzLZpQu9F(op_yHt80FcK1y(op_Popjir4Ocp(107,b),op_fkZUW4eOKP(a)),op_26qwp6pCTI(op_J0w9Gs8s4Y(a,259),op_nDybdB13Ph(35,b)))

def op_count_58DSY4Oe75(a, b):
    count = op_count_Popjir4Ocp(107,b)+op_count_fkZUW4eOKP(a)+op_count_yHt80FcK1y(op_Popjir4Ocp(107,b),op_fkZUW4eOKP(a))+op_count_J0w9Gs8s4Y(a,259)+op_count_nDybdB13Ph(35,b)+op_count_26qwp6pCTI(op_J0w9Gs8s4Y(a,259),op_nDybdB13Ph(35,b))+op_count_UFzLZpQu9F(op_yHt80FcK1y(op_Popjir4Ocp(107,b),op_fkZUW4eOKP(a)),op_26qwp6pCTI(op_J0w9Gs8s4Y(a,259),op_nDybdB13Ph(35,b)))
    return count


def op_OfyHn656xP(a):
    return op_pPTxWWVODo(op_eEYTvGKSWy(op_OpIL6DGFIM(a,a)),op_LBdsKIvxzf(op_n178FrgV5J(264,4)))

def op_count_OfyHn656xP(a):
    count = op_count_OpIL6DGFIM(a,a)+op_count_eEYTvGKSWy(op_OpIL6DGFIM(a,a))+op_count_n178FrgV5J(264,4)+op_count_LBdsKIvxzf(op_n178FrgV5J(264,4))+op_count_pPTxWWVODo(op_eEYTvGKSWy(op_OpIL6DGFIM(a,a)),op_LBdsKIvxzf(op_n178FrgV5J(264,4)))
    return count


def op_95w3rD6PBL(a):
    return op_bvEbpGYZ1Q(op_FeiScOSjIT(a),op_Q6Sj1WS8if(84,a))

def op_count_95w3rD6PBL(a):
    count = op_count_FeiScOSjIT(a)+op_count_Q6Sj1WS8if(84,a)+op_count_bvEbpGYZ1Q(op_FeiScOSjIT(a),op_Q6Sj1WS8if(84,a))
    return count


↞∮⋹a = { (a⋃∰a) , if ((a⩔↨≨)<=10 and (∟⋨a)>212 and (a∃⇔⊪404)<168) ; a , else }

def op_0gUDpDRaqs(a):
    if (op_2WBYDl2qbe(a) <= 10 and op_ctOc4cKSDt(a) > 212 and op_WFJVtqsjOa(a,404) < 168):
        return op_yqthOfQm3e(a,a)
    else:
        return a

def op_count_0gUDpDRaqs(a):
    if (op_2WBYDl2qbe(a) <= 10 and op_ctOc4cKSDt(a) > 212 and op_WFJVtqsjOa(a,404) < 168):
        count = op_count_yqthOfQm3e(a,a)+op_count_2WBYDl2qbe(a)+op_count_ctOc4cKSDt(a)+op_count_WFJVtqsjOa(a,404)
    else:
        count = 1
    return count


a∉∋ = { (a⩺⪪a) , if (a<=116 and (⨘∔⩗a)<171) ; (⋻⨟⇮a) , else }

def op_ZFviRl8shK(a):
    if (a <= 116 and op_e3JyuAUsAU(a) < 171):
        return op_uvdQJvN4PV(a,a)
    else:
        return op_X37qppV6M2(a)

def op_count_ZFviRl8shK(a):
    if (a <= 116 and op_e3JyuAUsAU(a) < 171):
        count = op_count_uvdQJvN4PV(a,a)+op_count_e3JyuAUsAU(a)
    else:
        count = op_count_X37qppV6M2(a)
    return count


a↴≢b = { (((a⨦b)⨩≤⫤(b⇆⊲⇢b))⨆⩍((778⇩⫻⋿78)⨗⊀≚(b⊧⫬∧b))) , if a<=674 or b>230 ; (((⪓⩚865)⫖(a∔⊅284))⪴⨽((b⪫↪a)⨓↿∉(b⪢⨴))) , else }

def op_9YwblYdrD7(a, b):
    if a <= 674 or b > 230:
        return op_vzIhVlHn4a(op_neKQRQQIil(op_z4gvzBU7aQ(a,b),op_eit6DlVSbc(b,b)),op_mvNXXmRTq7(op_RN6w9XgKVm(778,78),op_J0w9Gs8s4Y(b,b)))
    else:
        return op_WOQIWRggyx(op_aEfDsFgi2n(op_u0R0Locfp2(865),op_20at030mKx(a,284)),op_OWnFPqjWlR(op_SR7DhePr6g(b,a),op_UMMmb9LONo(b)))

def op_count_9YwblYdrD7(a, b):
    if a <= 674 or b > 230:
        count = op_count_z4gvzBU7aQ(a,b)+op_count_eit6DlVSbc(b,b)+op_count_neKQRQQIil(op_z4gvzBU7aQ(a,b),op_eit6DlVSbc(b,b))+op_count_RN6w9XgKVm(778,78)+op_count_J0w9Gs8s4Y(b,b)+op_count_mvNXXmRTq7(op_RN6w9XgKVm(778,78),op_J0w9Gs8s4Y(b,b))+op_count_vzIhVlHn4a(op_neKQRQQIil(op_z4gvzBU7aQ(a,b),op_eit6DlVSbc(b,b)),op_mvNXXmRTq7(op_RN6w9XgKVm(778,78),op_J0w9Gs8s4Y(b,b)))
    else:
        count = op_count_u0R0Locfp2(865)+op_count_20at030mKx(a,284)+op_count_aEfDsFgi2n(op_u0R0Locfp2(865),op_20at030mKx(a,284))+op_count_SR7DhePr6g(b,a)+op_count_UMMmb9LONo(b)+op_count_OWnFPqjWlR(op_SR7DhePr6g(b,a),op_UMMmb9LONo(b))+op_count_WOQIWRggyx(op_aEfDsFgi2n(op_u0R0Locfp2(865),op_20at030mKx(a,284)),op_OWnFPqjWlR(op_SR7DhePr6g(b,a),op_UMMmb9LONo(b)))
    return count


a⩒⇌⇣ = { (((a⨏a)⩡(237∎⊌a))↯↼≑((a⋟⫀⨗a)⩤⪞(⇋⊎⋝a))) }

def op_NKSdxeLkCB(a):
    return op_VMFyCNSIHR(op_G4EbQfwSm2(op_AJW4C0rBPs(a,a),op_QlDtpsi6BD(237,a)),op_dVH6fed4yM(op_dAAkup5nzi(a,a),op_CzM2PEoXns(a)))

def op_count_NKSdxeLkCB(a):
    count = op_count_AJW4C0rBPs(a,a)+op_count_QlDtpsi6BD(237,a)+op_count_G4EbQfwSm2(op_AJW4C0rBPs(a,a),op_QlDtpsi6BD(237,a))+op_count_dAAkup5nzi(a,a)+op_count_CzM2PEoXns(a)+op_count_dVH6fed4yM(op_dAAkup5nzi(a,a),op_CzM2PEoXns(a))+op_count_VMFyCNSIHR(op_G4EbQfwSm2(op_AJW4C0rBPs(a,a),op_QlDtpsi6BD(237,a)),op_dVH6fed4yM(op_dAAkup5nzi(a,a),op_CzM2PEoXns(a)))
    return count


↻⊙⋋a = { ((∜⩟(a⋙⪠a))⪵⋛((⪪⊺⋉55)⩃⫏(a∫⩜⪳a))) , if (a⨿⫔⇻900)>=764 ; (((a⋬⨭⫇)⨓(a⫈⩚253))⇓↭((a⫃↼a)⇐*∿(a⩺a))) , else }

def op_76pXnVBv81(a):
    if op_ybzGjeuHHu(a,900) >= 764:
        return op_wUMGGCA6kW(op_3z281OYBYs(op_vPmKJA6wUP(a,a)),op_96sgIAAApN(op_wOkvhh7ogV(55),op_HYQYetZkj2(a,a)))
    else:
        return op_LcSyNDswmv(op_3ViojmjbAp(op_AdLoyGUaoD(a),op_s4gCNs8pnH(a,253)),op_IjpNKm0C6p(op_o6mhrXo99Y(a,a),op_8rgMBn28gJ(a,a)))

def op_count_76pXnVBv81(a):
    if op_ybzGjeuHHu(a,900) >= 764:
        count = op_count_vPmKJA6wUP(a,a)+op_count_3z281OYBYs(op_vPmKJA6wUP(a,a))+op_count_wOkvhh7ogV(55)+op_count_HYQYetZkj2(a,a)+op_count_96sgIAAApN(op_wOkvhh7ogV(55),op_HYQYetZkj2(a,a))+op_count_wUMGGCA6kW(op_3z281OYBYs(op_vPmKJA6wUP(a,a)),op_96sgIAAApN(op_wOkvhh7ogV(55),op_HYQYetZkj2(a,a)))+op_count_ybzGjeuHHu(a,900)
    else:
        count = op_count_AdLoyGUaoD(a)+op_count_s4gCNs8pnH(a,253)+op_count_3ViojmjbAp(op_AdLoyGUaoD(a),op_s4gCNs8pnH(a,253))+op_count_o6mhrXo99Y(a,a)+op_count_8rgMBn28gJ(a,a)+op_count_IjpNKm0C6p(op_o6mhrXo99Y(a,a),op_8rgMBn28gJ(a,a))+op_count_LcSyNDswmv(op_3ViojmjbAp(op_AdLoyGUaoD(a),op_s4gCNs8pnH(a,253)),op_IjpNKm0C6p(op_o6mhrXo99Y(a,a),op_8rgMBn28gJ(a,a)))
    return count


def op_0mgxEnfEP0(a):
    if op_0JWJYFSzIQ(a,920) <= 337:
        return op_vEGLkm4Z2k(op_Em9NHB5wTK(op_rwMffNUYCm(a,a),op_sQnEGnxm5s(92,156)))
    else:
        return op_Bh0c9BvTwN(op_yMixD7ucMB(op_BpMHJNSmWr(a,21),op_LCjPM0UdxD(a,a)),op_CirPpQMJg3(op_m7zcvuzcjJ(a)))

def op_count_0mgxEnfEP0(a):
    if op_0JWJYFSzIQ(a,920) <= 337:
        count = op_count_rwMffNUYCm(a,a)+op_count_sQnEGnxm5s(92,156)+op_count_Em9NHB5wTK(op_rwMffNUYCm(a,a),op_sQnEGnxm5s(92,156))+op_count_vEGLkm4Z2k(op_Em9NHB5wTK(op_rwMffNUYCm(a,a),op_sQnEGnxm5s(92,156)))+op_count_0JWJYFSzIQ(a,920)
    else:
        count = op_count_BpMHJNSmWr(a,21)+op_count_LCjPM0UdxD(a,a)+op_count_yMixD7ucMB(op_BpMHJNSmWr(a,21),op_LCjPM0UdxD(a,a))+op_count_m7zcvuzcjJ(a)+op_count_CirPpQMJg3(op_m7zcvuzcjJ(a))+op_count_Bh0c9BvTwN(op_yMixD7ucMB(op_BpMHJNSmWr(a,21),op_LCjPM0UdxD(a,a)),op_CirPpQMJg3(op_m7zcvuzcjJ(a)))
    return count


a⩆⩹b = { ((⋑⇁⪎(a⪝⋓a))⋻⩜⩜((b↷⋇⫼)←⪓⪉(a⩞⊺↘b))) }

def op_oLKbrS1eiC(a, b):
    return op_oDCm7WA9JY(op_JF5TV4k63Z(op_2hIaDBSv9V(a,a)),op_DaYs1xmi21(op_h2AnrTQJpk(b),op_VgEnHjmnKG(a,b)))

def op_count_oLKbrS1eiC(a, b):
    count = op_count_2hIaDBSv9V(a,a)+op_count_JF5TV4k63Z(op_2hIaDBSv9V(a,a))+op_count_h2AnrTQJpk(b)+op_count_VgEnHjmnKG(a,b)+op_count_DaYs1xmi21(op_h2AnrTQJpk(b),op_VgEnHjmnKG(a,b))+op_count_oDCm7WA9JY(op_JF5TV4k63Z(op_2hIaDBSv9V(a,a)),op_DaYs1xmi21(op_h2AnrTQJpk(b),op_VgEnHjmnKG(a,b)))
    return count


def op_O5lrycwQCz(a, b):
    if op_vhomQbQnbp(b,460) != 11:
        return op_Y0zpOQG4YL(a,696)
    else:
        return op_H0fWaTn7v4(4,61)

def op_count_O5lrycwQCz(a, b):
    if op_vhomQbQnbp(b,460) != 11:
        count = op_count_Y0zpOQG4YL(a,696)+op_count_vhomQbQnbp(b,460)
    else:
        count = op_count_H0fWaTn7v4(4,61)
    return count


a⊡⩼⩻b = { (((a∗a)⪶⇭⨩(340⪷))⋯⋟((a∨⋤⇐a)⪫∵⨮(b⪌⊌⪟b))) , if (a⋐⇩⊬)!=473 and (b⇱)!=32 and (a∝⫕∽566)!=360 ; (↫⊢((a⇩≲a)⨿↛(b↱⪃↡404))) , else }

def op_FmA5WqHrBh(a, b):
    if op_JuuLT1NoCs(a) != 473 and op_S0xevmWjPz(b) != 32 and op_O6oPZIQyvW(a,566) != 360:
        return op_q9XL0dzTix(op_MDOrnnnMYl(op_9aXLFNf8dt(a,a),op_Qctrpi3WzA(340)),op_sIyajdlsvz(op_XAozx2NkZN(a,a),op_lr4bYNdzaZ(b,b)))
    else:
        return op_T1BnIDZEwD(op_SlXQBQlOF8(op_x80b6tayha(a,a),op_0MhWYBQRkt(b,404)))

def op_count_FmA5WqHrBh(a, b):
    if op_JuuLT1NoCs(a) != 473 and op_S0xevmWjPz(b) != 32 and op_O6oPZIQyvW(a,566) != 360:
        count = op_count_9aXLFNf8dt(a,a)+op_count_Qctrpi3WzA(340)+op_count_MDOrnnnMYl(op_9aXLFNf8dt(a,a),op_Qctrpi3WzA(340))+op_count_XAozx2NkZN(a,a)+op_count_lr4bYNdzaZ(b,b)+op_count_sIyajdlsvz(op_XAozx2NkZN(a,a),op_lr4bYNdzaZ(b,b))+op_count_q9XL0dzTix(op_MDOrnnnMYl(op_9aXLFNf8dt(a,a),op_Qctrpi3WzA(340)),op_sIyajdlsvz(op_XAozx2NkZN(a,a),op_lr4bYNdzaZ(b,b)))+op_count_JuuLT1NoCs(a)+op_count_S0xevmWjPz(b)+op_count_O6oPZIQyvW(a,566)
    else:
        count = op_count_x80b6tayha(a,a)+op_count_0MhWYBQRkt(b,404)+op_count_SlXQBQlOF8(op_x80b6tayha(a,a),op_0MhWYBQRkt(b,404))+op_count_T1BnIDZEwD(op_SlXQBQlOF8(op_x80b6tayha(a,a),op_0MhWYBQRkt(b,404)))
    return count


def op_wh2DdkqdKV(a):
    return op_lLg6KFppdz(op_0KMCeP1Jsh(a,a),op_bPRg614uub(310))

def op_count_wh2DdkqdKV(a):
    count = op_count_0KMCeP1Jsh(a,a)+op_count_bPRg614uub(310)+op_count_lLg6KFppdz(op_0KMCeP1Jsh(a,a),op_bPRg614uub(310))
    return count


def op_exkRjjoJat(a):
    return op_FJ3oXK3UQ0(a,a)

def op_count_exkRjjoJat(a):
    count = op_count_FJ3oXK3UQ0(a,a)
    return count


⪬⪡≷a = { (((a≏⨯⊱a)⋅⇍(a∳a))≨((a⨶⋡a)↖⪸⫱(⨖⋏⩰a))) , if a>=621 or (a⊤⨋≘613)<=152 ; ((⊳⊪(⩪∧⨌a))⩏) , else }

def op_hn0CQGOdYJ(a):
    if a >= 621 or op_KiBGhu83fR(a,613) <= 152:
        return op_0KMCeP1Jsh(op_AdZkA7nFnk(op_UqUOXUQnbU(a,a),op_XCY0eMNfgm(a,a)),op_KCGfcBnbwZ(op_5UB82qwFL7(a,a),op_zzjJUkkopk(a)))
    else:
        return op_iA2gmKZ3Wj(op_4hWCy7L5gw(op_6iOiAJX1F8(a)))

def op_count_hn0CQGOdYJ(a):
    if a >= 621 or op_KiBGhu83fR(a,613) <= 152:
        count = op_count_UqUOXUQnbU(a,a)+op_count_XCY0eMNfgm(a,a)+op_count_AdZkA7nFnk(op_UqUOXUQnbU(a,a),op_XCY0eMNfgm(a,a))+op_count_5UB82qwFL7(a,a)+op_count_zzjJUkkopk(a)+op_count_KCGfcBnbwZ(op_5UB82qwFL7(a,a),op_zzjJUkkopk(a))+op_count_0KMCeP1Jsh(op_AdZkA7nFnk(op_UqUOXUQnbU(a,a),op_XCY0eMNfgm(a,a)),op_KCGfcBnbwZ(op_5UB82qwFL7(a,a),op_zzjJUkkopk(a)))+op_count_KiBGhu83fR(a,613)
    else:
        count = op_count_6iOiAJX1F8(a)+op_count_4hWCy7L5gw(op_6iOiAJX1F8(a))+op_count_iA2gmKZ3Wj(op_4hWCy7L5gw(op_6iOiAJX1F8(a)))
    return count


def op_ruSIQfV8F1(a):
    return op_xWKacU4PIG(op_Bg9zIMXgOw(op_enoNeSxeZq(a,a),op_HJmRI3zxge(a,a)))

def op_count_ruSIQfV8F1(a):
    count = op_count_enoNeSxeZq(a,a)+op_count_HJmRI3zxge(a,a)+op_count_Bg9zIMXgOw(op_enoNeSxeZq(a,a),op_HJmRI3zxge(a,a))+op_count_xWKacU4PIG(op_Bg9zIMXgOw(op_enoNeSxeZq(a,a),op_HJmRI3zxge(a,a)))
    return count


def op_yi18SDnFAi(a):
    return op_ZM199RjHSm(a,a)

def op_count_yi18SDnFAi(a):
    count = op_count_ZM199RjHSm(a,a)
    return count


a⩟⨤⇞b = { (((a⇞⊉↿b)⊪⇡(403⫯⊺⨯))∑((a∫123)≰⨦⩤(⨫↠a))) }

def op_ebriStd5ZX(a, b):
    return op_JFrVJKYFMX(op_yBHxIlLhSA(op_bG3SoPrX0m(a,b),op_lECMGPioUL(403)),op_uM9y8FJ4Pt(op_bX58bBWVyZ(a,123),op_3LhVKWHYPi(a)))

def op_count_ebriStd5ZX(a, b):
    count = op_count_bG3SoPrX0m(a,b)+op_count_lECMGPioUL(403)+op_count_yBHxIlLhSA(op_bG3SoPrX0m(a,b),op_lECMGPioUL(403))+op_count_bX58bBWVyZ(a,123)+op_count_3LhVKWHYPi(a)+op_count_uM9y8FJ4Pt(op_bX58bBWVyZ(a,123),op_3LhVKWHYPi(a))+op_count_JFrVJKYFMX(op_yBHxIlLhSA(op_bG3SoPrX0m(a,b),op_lECMGPioUL(403)),op_uM9y8FJ4Pt(op_bX58bBWVyZ(a,123),op_3LhVKWHYPi(a)))
    return count


def op_VJtxjq0ydk(a):
    if op_osk2rLiRrX(a) < 620:
        return op_9m16WUFJ5C(45,a)
    else:
        return op_zPwbmAUgue(53)

def op_count_VJtxjq0ydk(a):
    if op_osk2rLiRrX(a) < 620:
        count = op_count_9m16WUFJ5C(45,a)+op_count_osk2rLiRrX(a)
    else:
        count = op_count_zPwbmAUgue(53)
    return count


a⇌⋚⋨b = { (((b⪑⫝)⩞⩉≳68)⨿⫔⇻((a⊴b)⋓(175⋖⫂a))) , if b!=648 ; (((b⫁≗a)⩝∍∂(b⇊⋎⊡369))⋨⪫⨘) , else }

def op_pnTMXmORKi(a, b):
    if b != 648:
        return op_ybzGjeuHHu(op_yHt80FcK1y(op_jxm14LOQHd(b),68),op_T2fj7uvVaJ(op_Nsiff2A1zJ(a,b),op_7gUth6Rgvl(175,a)))
    else:
        return op_jeYH4Q5Sae(op_6wBhCzx1ue(op_htakMgk7TD(b,a),op_svRCeDQHR0(b,369)))

def op_count_pnTMXmORKi(a, b):
    if b != 648:
        count = op_count_jxm14LOQHd(b)+op_count_yHt80FcK1y(op_jxm14LOQHd(b),68)+op_count_Nsiff2A1zJ(a,b)+op_count_7gUth6Rgvl(175,a)+op_count_T2fj7uvVaJ(op_Nsiff2A1zJ(a,b),op_7gUth6Rgvl(175,a))+op_count_ybzGjeuHHu(op_yHt80FcK1y(op_jxm14LOQHd(b),68),op_T2fj7uvVaJ(op_Nsiff2A1zJ(a,b),op_7gUth6Rgvl(175,a)))
    else:
        count = op_count_htakMgk7TD(b,a)+op_count_svRCeDQHR0(b,369)+op_count_6wBhCzx1ue(op_htakMgk7TD(b,a),op_svRCeDQHR0(b,369))+op_count_jeYH4Q5Sae(op_6wBhCzx1ue(op_htakMgk7TD(b,a),op_svRCeDQHR0(b,369)))
    return count


def op_zIz5oJk5dJ(a, b):
    return op_ULuo49FML3(op_dj54johvPQ(b,a),op_MahUMFw56D(a))

def op_count_zIz5oJk5dJ(a, b):
    count = op_count_dj54johvPQ(b,a)+op_count_MahUMFw56D(a)+op_count_ULuo49FML3(op_dj54johvPQ(b,a),op_MahUMFw56D(a))
    return count


def op_C9jeYOTkWS(a):
    return op_S4hJxLSKWV(op_Bdqd193sIk(a))

def op_count_C9jeYOTkWS(a):
    count = op_count_Bdqd193sIk(a)+op_count_S4hJxLSKWV(op_Bdqd193sIk(a))
    return count


a≟≻ = { (a≀⫉a) , if (a↜↸⩯311)<10 ; (⊶a) , else }

def op_gT7HtlhrJh(a):
    if op_Kf1zqKnZRg(a,311) < 10:
        return op_oZj3VtZNQx(a,a)
    else:
        return op_iLDmr1kYEU(a)

def op_count_gT7HtlhrJh(a):
    if op_Kf1zqKnZRg(a,311) < 10:
        count = op_count_oZj3VtZNQx(a,a)+op_count_Kf1zqKnZRg(a,311)
    else:
        count = op_count_iLDmr1kYEU(a)
    return count


def op_K9LbYLNG0B(a):
    return op_ZVuupJtoea(op_ad4JNLnqE5(op_ejsynaZir6(a,4),op_6LEqcG83L6(a,a)),op_BCU6VgEl6D(op_7IRjtmSsUO(587,408),op_DmTXOeWf9t(43,a)))

def op_count_K9LbYLNG0B(a):
    count = op_count_ejsynaZir6(a,4)+op_count_6LEqcG83L6(a,a)+op_count_ad4JNLnqE5(op_ejsynaZir6(a,4),op_6LEqcG83L6(a,a))+op_count_7IRjtmSsUO(587,408)+op_count_DmTXOeWf9t(43,a)+op_count_BCU6VgEl6D(op_7IRjtmSsUO(587,408),op_DmTXOeWf9t(43,a))+op_count_ZVuupJtoea(op_ad4JNLnqE5(op_ejsynaZir6(a,4),op_6LEqcG83L6(a,a)),op_BCU6VgEl6D(op_7IRjtmSsUO(587,408),op_DmTXOeWf9t(43,a)))
    return count


a↓∂b = { (((261⩷∴a)≅⪺↕(b↕b))⇃⪼(↺⪉⨢(b⨒⪭⩋))) , if b<111 ; (a⊞≃⪲((0⋬∙⫻b)⊠⋹(168⪬62))) , else }

def op_s4gJtvMZbE(a, b):
    if b < 111:
        return op_KfHK9LWpY5(op_dBWtppcwHd(op_9FxExcQeMw(261,a),op_LenFzV9tw1(b,b)),op_zFY2A2ppo2(op_Oa3MEmA8k4(b)))
    else:
        return op_jKh9xaBIQ5(a,op_UgjAoJHWT6(op_a4wu6RrqAP(0,b),op_Ez1Nq5fNfI(168,62)))

def op_count_s4gJtvMZbE(a, b):
    if b < 111:
        count = op_count_9FxExcQeMw(261,a)+op_count_LenFzV9tw1(b,b)+op_count_dBWtppcwHd(op_9FxExcQeMw(261,a),op_LenFzV9tw1(b,b))+op_count_Oa3MEmA8k4(b)+op_count_zFY2A2ppo2(op_Oa3MEmA8k4(b))+op_count_KfHK9LWpY5(op_dBWtppcwHd(op_9FxExcQeMw(261,a),op_LenFzV9tw1(b,b)),op_zFY2A2ppo2(op_Oa3MEmA8k4(b)))
    else:
        count = op_count_a4wu6RrqAP(0,b)+op_count_Ez1Nq5fNfI(168,62)+op_count_UgjAoJHWT6(op_a4wu6RrqAP(0,b),op_Ez1Nq5fNfI(168,62))+op_count_jKh9xaBIQ5(a,op_UgjAoJHWT6(op_a4wu6RrqAP(0,b),op_Ez1Nq5fNfI(168,62)))
    return count


def op_gj2K54ysNi(a, b):
    if op_36TGfoTytI(a,923) >= 739:
        return op_YUijxPlj15(b,b)
    else:
        return op_w2537kitQq(682,a)

def op_count_gj2K54ysNi(a, b):
    if op_36TGfoTytI(a,923) >= 739:
        count = op_count_YUijxPlj15(b,b)+op_count_36TGfoTytI(a,923)
    else:
        count = op_count_w2537kitQq(682,a)
    return count


def op_3ibiEWbXwv(a):
    return op_JwTKLfZU96(op_NDAD7yaulu(a),op_JpNCwVdTNT(a,a))

def op_count_3ibiEWbXwv(a):
    count = op_count_NDAD7yaulu(a)+op_count_JpNCwVdTNT(a,a)+op_count_JwTKLfZU96(op_NDAD7yaulu(a),op_JpNCwVdTNT(a,a))
    return count


def op_jwp7q48hqb(a):
    if a < 38:
        return op_U4ylXWHChL(a)
    else:
        return a

def op_count_jwp7q48hqb(a):
    if a < 38:
        count = op_count_U4ylXWHChL(a)
    else:
        count = 1
    return count


a⪍⋼ = { (((a⇂⇶a)↷≇(a⪄⪘⪾a))≟⇃((≷a)∲⨂(691∃a))) }

def op_hSdYAx1ghz(a):
    return op_8hQlX1bI6f(op_KoHHRSveB1(op_JfzpTFL5J5(a,a),op_zO06vmwOEI(a,a)),op_lN3c4ByBHx(op_tQq6REDPEr(a),op_3H5Xx7QWkg(691,a)))

def op_count_hSdYAx1ghz(a):
    count = op_count_JfzpTFL5J5(a,a)+op_count_zO06vmwOEI(a,a)+op_count_KoHHRSveB1(op_JfzpTFL5J5(a,a),op_zO06vmwOEI(a,a))+op_count_tQq6REDPEr(a)+op_count_3H5Xx7QWkg(691,a)+op_count_lN3c4ByBHx(op_tQq6REDPEr(a),op_3H5Xx7QWkg(691,a))+op_count_8hQlX1bI6f(op_KoHHRSveB1(op_JfzpTFL5J5(a,a),op_zO06vmwOEI(a,a)),op_lN3c4ByBHx(op_tQq6REDPEr(a),op_3H5Xx7QWkg(691,a)))
    return count


a⫯⫫⩾b = { (((b⨤659)↕⋲(⪣⊞⨾a))⊇⇶⫝̸((b⫾≤a)⩓↱⫎(⩂↘⋹b))) , if (a⋦⊭656)==149 ; (((601⊢⨂a)⩳↗(b≗⪓∷))⨧((a⪑⋇44)⩪⩥⨗(∍⋘⋤b))) , else }

def op_PjX0nsy6Is(a, b):
    if op_hGWjAarRlq(a,656) == 149:
        return op_CTQAACDJUC(op_4fBBH5YYk9(op_6Dk38mmJ69(b,659),op_NuEuZRcdmn(a)),op_vSg3Rn1iwJ(op_6LdHjL8Q3j(b,a),op_GWLlYEOmyj(b)))
    else:
        return op_3YWlZA9bsa(op_crEXoaJzxs(op_iIjyEn7CwK(601,a),op_xWKacU4PIG(b)),op_fvEtbjeQjb(op_8yyM0tXOmz(a,44),op_5pJbtWZkvC(b)))

def op_count_PjX0nsy6Is(a, b):
    if op_hGWjAarRlq(a,656) == 149:
        count = op_count_6Dk38mmJ69(b,659)+op_count_NuEuZRcdmn(a)+op_count_4fBBH5YYk9(op_6Dk38mmJ69(b,659),op_NuEuZRcdmn(a))+op_count_6LdHjL8Q3j(b,a)+op_count_GWLlYEOmyj(b)+op_count_vSg3Rn1iwJ(op_6LdHjL8Q3j(b,a),op_GWLlYEOmyj(b))+op_count_CTQAACDJUC(op_4fBBH5YYk9(op_6Dk38mmJ69(b,659),op_NuEuZRcdmn(a)),op_vSg3Rn1iwJ(op_6LdHjL8Q3j(b,a),op_GWLlYEOmyj(b)))+op_count_hGWjAarRlq(a,656)
    else:
        count = op_count_iIjyEn7CwK(601,a)+op_count_xWKacU4PIG(b)+op_count_crEXoaJzxs(op_iIjyEn7CwK(601,a),op_xWKacU4PIG(b))+op_count_8yyM0tXOmz(a,44)+op_count_5pJbtWZkvC(b)+op_count_fvEtbjeQjb(op_8yyM0tXOmz(a,44),op_5pJbtWZkvC(b))+op_count_3YWlZA9bsa(op_crEXoaJzxs(op_iIjyEn7CwK(601,a),op_xWKacU4PIG(b)),op_fvEtbjeQjb(op_8yyM0tXOmz(a,44),op_5pJbtWZkvC(b)))
    return count


def op_PLUqXS1bgv(a):
    return op_Y827t4Oxkq(61,a)

def op_count_PLUqXS1bgv(a):
    count = op_count_Y827t4Oxkq(61,a)
    return count


a⪥∱≎b = { (((a⩂⇜⋀)⪪(b/≡⊾a))⫳⫚⇈((4⨥⫶a)⨯∁⨏(a⨚⊲⫴))) }

def op_mV4AiYyFkN(a, b):
    return op_InHNDff3xD(op_xD69zh8xqp(op_o75NORkZ6O(a),op_cuBJ82CzGp(b,a)),op_0wRoqxy0RT(op_kT4MlvM4La(4,a),op_onUXBXXiSg(a)))

def op_count_mV4AiYyFkN(a, b):
    count = op_count_o75NORkZ6O(a)+op_count_cuBJ82CzGp(b,a)+op_count_xD69zh8xqp(op_o75NORkZ6O(a),op_cuBJ82CzGp(b,a))+op_count_kT4MlvM4La(4,a)+op_count_onUXBXXiSg(a)+op_count_0wRoqxy0RT(op_kT4MlvM4La(4,a),op_onUXBXXiSg(a))+op_count_InHNDff3xD(op_xD69zh8xqp(op_o75NORkZ6O(a),op_cuBJ82CzGp(b,a)),op_0wRoqxy0RT(op_kT4MlvM4La(4,a),op_onUXBXXiSg(a)))
    return count


def op_rNyIQxvodb(a, b):
    return op_GUNDlfLmMO(op_BLLGLRFJVt(op_6lEGX12sqf(121,685)),op_OeanynyRyO(op_J8mwGSlA9d(b,a),op_s3Fd5m9Dh2(77,b)))

def op_count_rNyIQxvodb(a, b):
    count = op_count_6lEGX12sqf(121,685)+op_count_BLLGLRFJVt(op_6lEGX12sqf(121,685))+op_count_J8mwGSlA9d(b,a)+op_count_s3Fd5m9Dh2(77,b)+op_count_OeanynyRyO(op_J8mwGSlA9d(b,a),op_s3Fd5m9Dh2(77,b))+op_count_GUNDlfLmMO(op_BLLGLRFJVt(op_6lEGX12sqf(121,685)),op_OeanynyRyO(op_J8mwGSlA9d(b,a),op_s3Fd5m9Dh2(77,b)))
    return count


a⋱⩸⇆ = { (⇩⫆∈3) , if (a≙∌)>=637 ; (a⫏⊷) , else }

def op_DnVTJlHhYl(a):
    if op_XSaewJ7xd0(a) >= 637:
        return op_P3e4aKGkjw(3)
    else:
        return op_dcShxvzhyw(a)

def op_count_DnVTJlHhYl(a):
    if op_XSaewJ7xd0(a) >= 637:
        count = op_count_P3e4aKGkjw(3)+op_count_XSaewJ7xd0(a)
    else:
        count = op_count_dcShxvzhyw(a)
    return count


a∯⩥⪙b = { a , if (b⫇⩮∙)<=406 ; (∪↾⨜((⇺⊢a)⪶(298⨚⇆b))) , else }

def op_lq4leFCqdl(a, b):
    if op_FusMwf9CEL(b) <= 406:
        return a
    else:
        return op_Aldd1zCI1E(op_NvEvKO2R8S(op_nmsOY208YL(a),op_lwHaAYXP2r(298,b)))

def op_count_lq4leFCqdl(a, b):
    if op_FusMwf9CEL(b) <= 406:
        count = 1
    else:
        count = op_count_nmsOY208YL(a)+op_count_lwHaAYXP2r(298,b)+op_count_NvEvKO2R8S(op_nmsOY208YL(a),op_lwHaAYXP2r(298,b))+op_count_Aldd1zCI1E(op_NvEvKO2R8S(op_nmsOY208YL(a),op_lwHaAYXP2r(298,b)))
    return count


a⫭∲≁b = { (⋼⊨(a∰⫀⋄(177⪞⫆b))) , if b<31 ; (≲((39⋻⩜⩜b)≲⪆⩈(a⇳↘⇃a))) , else }

def op_OeDBQhFEfB(a, b):
    if b < 31:
        return op_wObHbfC1Ju(op_Cwt3GTOVka(a,op_mdTgU5jPNV(177,b)))
    else:
        return op_wsWwCLcwiy(op_BM16iZzMx8(op_oDCm7WA9JY(39,b),op_uG1NkbAHL9(a,a)))

def op_count_OeDBQhFEfB(a, b):
    if b < 31:
        count = op_count_mdTgU5jPNV(177,b)+op_count_Cwt3GTOVka(a,op_mdTgU5jPNV(177,b))+op_count_wObHbfC1Ju(op_Cwt3GTOVka(a,op_mdTgU5jPNV(177,b)))
    else:
        count = op_count_oDCm7WA9JY(39,b)+op_count_uG1NkbAHL9(a,a)+op_count_BM16iZzMx8(op_oDCm7WA9JY(39,b),op_uG1NkbAHL9(a,a))+op_count_wsWwCLcwiy(op_BM16iZzMx8(op_oDCm7WA9JY(39,b),op_uG1NkbAHL9(a,a)))
    return count


def op_s5E3qFixue(a):
    return op_xD69zh8xqp(a,a)

def op_count_s5E3qFixue(a):
    count = op_count_xD69zh8xqp(a,a)
    return count


a⩺⨖ = { ((⪺⊴⫡(a⨔⊥⊮214))⪜⋗⇢((a⨒397)≉⇁⇑(a⨆⫳⊗a))) }

def op_matT8ZyHgW(a):
    return op_MkFge0F0HF(op_UBVjgJrFBH(op_UKXeKwF0uS(a,214)),op_PMnSbSZIXz(op_y75s1iXyHd(a,397),op_lKgWx0LCvK(a,a)))

def op_count_matT8ZyHgW(a):
    count = op_count_UKXeKwF0uS(a,214)+op_count_UBVjgJrFBH(op_UKXeKwF0uS(a,214))+op_count_y75s1iXyHd(a,397)+op_count_lKgWx0LCvK(a,a)+op_count_PMnSbSZIXz(op_y75s1iXyHd(a,397),op_lKgWx0LCvK(a,a))+op_count_MkFge0F0HF(op_UBVjgJrFBH(op_UKXeKwF0uS(a,214)),op_PMnSbSZIXz(op_y75s1iXyHd(a,397),op_lKgWx0LCvK(a,a)))
    return count


def op_WS7kB1PPtB(a):
    return op_48vC8HMD2b(a,682)

def op_count_WS7kB1PPtB(a):
    count = op_count_48vC8HMD2b(a,682)
    return count


a⋏≴⇯ = { (((a⩺⋐⫨)⨾⊞(103↜⩯⩶a))⨤((a⋯⋟0)⪽⊸(a⨁⇐a))) , if a<36 ; (((30∸≉⇢a)⇖⨙(a⨺⪞⪏a))⋈(≈(a⩈⪻a))) , else }

def op_TrXdYDuuXu(a):
    if a < 36:
        return op_6Dk38mmJ69(op_Fue4ErCFXP(op_yS9ePUuUdn(a),op_BUZMbiqx9t(103,a)),op_Ag0vDIXuSH(op_q9XL0dzTix(a,0),op_aMe6cZlg17(a,a)))
    else:
        return op_nDybdB13Ph(op_EokiGtKvm3(op_CYKpEp7EJh(30,a),op_tNf708WLYo(a,a)),op_EO7Xdgo9So(op_Yan4YobxxY(a,a)))

def op_count_TrXdYDuuXu(a):
    if a < 36:
        count = op_count_yS9ePUuUdn(a)+op_count_BUZMbiqx9t(103,a)+op_count_Fue4ErCFXP(op_yS9ePUuUdn(a),op_BUZMbiqx9t(103,a))+op_count_q9XL0dzTix(a,0)+op_count_aMe6cZlg17(a,a)+op_count_Ag0vDIXuSH(op_q9XL0dzTix(a,0),op_aMe6cZlg17(a,a))+op_count_6Dk38mmJ69(op_Fue4ErCFXP(op_yS9ePUuUdn(a),op_BUZMbiqx9t(103,a)),op_Ag0vDIXuSH(op_q9XL0dzTix(a,0),op_aMe6cZlg17(a,a)))
    else:
        count = op_count_CYKpEp7EJh(30,a)+op_count_tNf708WLYo(a,a)+op_count_EokiGtKvm3(op_CYKpEp7EJh(30,a),op_tNf708WLYo(a,a))+op_count_Yan4YobxxY(a,a)+op_count_EO7Xdgo9So(op_Yan4YobxxY(a,a))+op_count_nDybdB13Ph(op_EokiGtKvm3(op_CYKpEp7EJh(30,a),op_tNf708WLYo(a,a)),op_EO7Xdgo9So(op_Yan4YobxxY(a,a)))
    return count


def op_yDrALfoX9E(a, b):
    return op_6P75XYiP07(op_B7jD7820sf(op_HWsfkPJiI1(b),op_vEGLkm4Z2k(a)),b)

def op_count_yDrALfoX9E(a, b):
    count = op_count_HWsfkPJiI1(b)+op_count_vEGLkm4Z2k(a)+op_count_B7jD7820sf(op_HWsfkPJiI1(b),op_vEGLkm4Z2k(a))+op_count_6P75XYiP07(op_B7jD7820sf(op_HWsfkPJiI1(b),op_vEGLkm4Z2k(a)),b)
    return count


def op_Qu6ioGSXEi(a):
    return op_1m18G2N8t2(op_ZM199RjHSm(a,a),op_loXBSJr7HD(a))

def op_count_Qu6ioGSXEi(a):
    count = op_count_ZM199RjHSm(a,a)+op_count_loXBSJr7HD(a)+op_count_1m18G2N8t2(op_ZM199RjHSm(a,a),op_loXBSJr7HD(a))
    return count


a≈⫨⊴b = { ((143↣⪱a)⊉(∞b)) , if a>31 ; ((a⊆⇕b)⊵⇹⇚(b−⇷≺)) , else }

def op_l6wLDxJviZ(a, b):
    if a > 31:
        return op_DB9nkKv9Ue(op_qhklwjTpUT(143,a),op_Fic7usBSnH(b))
    else:
        return op_FG4jWDXkwW(op_LXu4eIoRGd(a,b),op_Gv4EIGo3ux(b))

def op_count_l6wLDxJviZ(a, b):
    if a > 31:
        count = op_count_qhklwjTpUT(143,a)+op_count_Fic7usBSnH(b)+op_count_DB9nkKv9Ue(op_qhklwjTpUT(143,a),op_Fic7usBSnH(b))
    else:
        count = op_count_LXu4eIoRGd(a,b)+op_count_Gv4EIGo3ux(b)+op_count_FG4jWDXkwW(op_LXu4eIoRGd(a,b),op_Gv4EIGo3ux(b))
    return count


def op_VwPOd7wTgu(a):
    return op_ZDtbJ0pWwg(op_48vC8HMD2b(op_rGX0140XfS(a),a))

def op_count_VwPOd7wTgu(a):
    count = op_count_rGX0140XfS(a)+op_count_48vC8HMD2b(op_rGX0140XfS(a),a)+op_count_ZDtbJ0pWwg(op_48vC8HMD2b(op_rGX0140XfS(a),a))
    return count


def op_ubid7NfitL(a):
    return op_fGTNyEZ31R(308,op_D617RFjZIq(a))

def op_count_ubid7NfitL(a):
    count = op_count_D617RFjZIq(a)+op_count_fGTNyEZ31R(308,op_D617RFjZIq(a))
    return count


a⨎⇑≑b = { (b⫘a) , if (⩝b)>=316 ; a , else }

def op_4uc1mekkPG(a, b):
    if op_AqJQW3khbP(b) >= 316:
        return op_48vC8HMD2b(b,a)
    else:
        return a

def op_count_4uc1mekkPG(a, b):
    if op_AqJQW3khbP(b) >= 316:
        count = op_count_48vC8HMD2b(b,a)+op_count_AqJQW3khbP(b)
    else:
        count = 1
    return count


a⨊≾↗b = { (((a↯⊜a)⊭⫢)⊻∕⩌((a↓⫟a)⇪↠⋁a)) , if (a≻≌⋽481)!=122 ; ((b↨⩆(b∥⋽a))⩉⇙a) , else }

def op_S1Ke524eAA(a, b):
    if op_wHIWe8QR1k(a,481) != 122:
        return op_Ex6nAywNVB(op_xiKbUzfUz0(op_54UxIFHdAV(a,a)),op_Mb1WsTvFll(op_VOsMRMKId5(a,a),a))
    else:
        return op_Bi6gyirjvn(op_CFYtLYPBqA(b,op_bHT9wUTdfV(b,a)),a)

def op_count_S1Ke524eAA(a, b):
    if op_wHIWe8QR1k(a,481) != 122:
        count = op_count_54UxIFHdAV(a,a)+op_count_xiKbUzfUz0(op_54UxIFHdAV(a,a))+op_count_VOsMRMKId5(a,a)+op_count_Mb1WsTvFll(op_VOsMRMKId5(a,a),a)+op_count_Ex6nAywNVB(op_xiKbUzfUz0(op_54UxIFHdAV(a,a)),op_Mb1WsTvFll(op_VOsMRMKId5(a,a),a))+op_count_wHIWe8QR1k(a,481)
    else:
        count = op_count_bHT9wUTdfV(b,a)+op_count_CFYtLYPBqA(b,op_bHT9wUTdfV(b,a))+op_count_Bi6gyirjvn(op_CFYtLYPBqA(b,op_bHT9wUTdfV(b,a)),a)
    return count


def op_kyZlAcnBhD(a):
    return op_fLJG5zVr1z(op_svMjjxhh0f(a),op_eDOVKHKPQq(a))

def op_count_kyZlAcnBhD(a):
    count = op_count_svMjjxhh0f(a)+op_count_eDOVKHKPQq(a)+op_count_fLJG5zVr1z(op_svMjjxhh0f(a),op_eDOVKHKPQq(a))
    return count


a→⫟b = { a , if (b≒⩊⋷)<270 ; (b⪹⫧⇽) , else }

def op_hUy8stm4fT(a, b):
    if op_B8KvBcUGrH(b) < 270:
        return a
    else:
        return op_RUvFhAOGfE(b)

def op_count_hUy8stm4fT(a, b):
    if op_B8KvBcUGrH(b) < 270:
        count = 1
    else:
        count = op_count_RUvFhAOGfE(b)
    return count


a∸≡⇏ = { (((a⪈⋁⩁a)≲⋳)⫕∜((a⨨⪣⩋a)⨸⫱(a⇻⫪⇃a))) }

def op_HxcaeqaXdM(a):
    return op_LFtbApO071(op_JAsMQSYFYM(op_GMyVS5K48T(a,a)),op_JpNCwVdTNT(op_tmNq1QR2aX(a,a),op_NvXf9kO3wV(a,a)))

def op_count_HxcaeqaXdM(a):
    count = op_count_GMyVS5K48T(a,a)+op_count_JAsMQSYFYM(op_GMyVS5K48T(a,a))+op_count_tmNq1QR2aX(a,a)+op_count_NvXf9kO3wV(a,a)+op_count_JpNCwVdTNT(op_tmNq1QR2aX(a,a),op_NvXf9kO3wV(a,a))+op_count_LFtbApO071(op_JAsMQSYFYM(op_GMyVS5K48T(a,a)),op_JpNCwVdTNT(op_tmNq1QR2aX(a,a),op_NvXf9kO3wV(a,a)))
    return count


a≈⨠⩂b = { ((⇈(⪱⪆∷a))↠≿⨡((b≴∏⪏a)⩚∋a)) , if (b⇸⋑≛797)==132 and (b⪤≓⨓96)>=193 and (a⪨256)<=158 ; (((a⇙⋪a)⋘⪾(a⨃∂≰83))∛⋻↤((a⊲b)≂⊟⊞(a∇⇳⫎a))) , else }

def op_ERGuGz6niO(a, b):
    if op_JhscMtXp41(b,797) == 132 and op_CgMtesZvCQ(b,96) >= 193 and op_2z8nE7LpCu(a,256) <= 158:
        return op_N4i4E2JzEW(op_SLLxy00UIr(op_WLkJ5f8gy9(a)),op_b5mRhv1JNt(op_HSrfgE6sGr(b,a),a))
    else:
        return op_k3GVCLYZsC(op_QzuynGCx6W(op_jGx1aaGeDB(a,a),op_wcdrXsDMxZ(a,83)),op_0KgWqnVqNo(op_yMixD7ucMB(a,b),op_F1vicInhg4(a,a)))

def op_count_ERGuGz6niO(a, b):
    if op_JhscMtXp41(b,797) == 132 and op_CgMtesZvCQ(b,96) >= 193 and op_2z8nE7LpCu(a,256) <= 158:
        count = op_count_WLkJ5f8gy9(a)+op_count_SLLxy00UIr(op_WLkJ5f8gy9(a))+op_count_HSrfgE6sGr(b,a)+op_count_b5mRhv1JNt(op_HSrfgE6sGr(b,a),a)+op_count_N4i4E2JzEW(op_SLLxy00UIr(op_WLkJ5f8gy9(a)),op_b5mRhv1JNt(op_HSrfgE6sGr(b,a),a))+op_count_JhscMtXp41(b,797)+op_count_CgMtesZvCQ(b,96)+op_count_2z8nE7LpCu(a,256)
    else:
        count = op_count_jGx1aaGeDB(a,a)+op_count_wcdrXsDMxZ(a,83)+op_count_QzuynGCx6W(op_jGx1aaGeDB(a,a),op_wcdrXsDMxZ(a,83))+op_count_yMixD7ucMB(a,b)+op_count_F1vicInhg4(a,a)+op_count_0KgWqnVqNo(op_yMixD7ucMB(a,b),op_F1vicInhg4(a,a))+op_count_k3GVCLYZsC(op_QzuynGCx6W(op_jGx1aaGeDB(a,a),op_wcdrXsDMxZ(a,83)),op_0KgWqnVqNo(op_yMixD7ucMB(a,b),op_F1vicInhg4(a,a)))
    return count


a⋌≴⊻ = { (((a≲≓⪌)≶(⨺⫸≝164))∹≔((≠a)⫭⇒a)) , if a>37 ; ((⇬⊨⫣(297↓∂⫆a))⨣((a⇷⨲a)⨤(a⩄⊊a))) , else }

def op_LH9rCEFYmJ(a):
    if a > 37:
        return op_mA6yuBE6QF(op_Q2SPaKwpPJ(op_dcX9veljT5(a),op_NnTbxo2Idi(164)),op_CzSLD2SD8j(op_hKrHXgDiso(a),a))
    else:
        return op_5ClX4R8SjJ(op_AndBsovwpD(op_UO7sojQx20(297,a)),op_6Dk38mmJ69(op_6StxWVwnvA(a,a),op_ckxBfo3j3z(a,a)))

def op_count_LH9rCEFYmJ(a):
    if a > 37:
        count = op_count_dcX9veljT5(a)+op_count_NnTbxo2Idi(164)+op_count_Q2SPaKwpPJ(op_dcX9veljT5(a),op_NnTbxo2Idi(164))+op_count_hKrHXgDiso(a)+op_count_CzSLD2SD8j(op_hKrHXgDiso(a),a)+op_count_mA6yuBE6QF(op_Q2SPaKwpPJ(op_dcX9veljT5(a),op_NnTbxo2Idi(164)),op_CzSLD2SD8j(op_hKrHXgDiso(a),a))
    else:
        count = op_count_UO7sojQx20(297,a)+op_count_AndBsovwpD(op_UO7sojQx20(297,a))+op_count_6StxWVwnvA(a,a)+op_count_ckxBfo3j3z(a,a)+op_count_6Dk38mmJ69(op_6StxWVwnvA(a,a),op_ckxBfo3j3z(a,a))+op_count_5ClX4R8SjJ(op_AndBsovwpD(op_UO7sojQx20(297,a)),op_6Dk38mmJ69(op_6StxWVwnvA(a,a),op_ckxBfo3j3z(a,a)))
    return count


a⪗⪯b = { (((a∨⨤∫a)⇻≛83)⫙⪯((304⫳∂172)⫢⩮↷)) , if (a∄⨬)<392 ; (((⫗⇐a)⨊(⇇∑⩻83))⫇⊯((a⩄⊊b)⪽⊸(b⫨⊽b))) , else }

def op_shbpov9XXO(a, b):
    if op_riWVmlCsxw(a) < 392:
        return op_RlyZ5BtrCK(op_qpRO7jokVD(op_Q6CfCNJhPO(a,a),83),op_BLLGLRFJVt(op_jJYLip4aMc(304,172)))
    else:
        return op_pxtEXgrBIH(op_lGaBDnHbCC(op_cfwXpge22Q(a),op_w51yDgGhW9(83)),op_Ag0vDIXuSH(op_ckxBfo3j3z(a,b),op_73uHauwuWW(b,b)))

def op_count_shbpov9XXO(a, b):
    if op_riWVmlCsxw(a) < 392:
        count = op_count_Q6CfCNJhPO(a,a)+op_count_qpRO7jokVD(op_Q6CfCNJhPO(a,a),83)+op_count_jJYLip4aMc(304,172)+op_count_BLLGLRFJVt(op_jJYLip4aMc(304,172))+op_count_RlyZ5BtrCK(op_qpRO7jokVD(op_Q6CfCNJhPO(a,a),83),op_BLLGLRFJVt(op_jJYLip4aMc(304,172)))+op_count_riWVmlCsxw(a)
    else:
        count = op_count_cfwXpge22Q(a)+op_count_w51yDgGhW9(83)+op_count_lGaBDnHbCC(op_cfwXpge22Q(a),op_w51yDgGhW9(83))+op_count_ckxBfo3j3z(a,b)+op_count_73uHauwuWW(b,b)+op_count_Ag0vDIXuSH(op_ckxBfo3j3z(a,b),op_73uHauwuWW(b,b))+op_count_pxtEXgrBIH(op_lGaBDnHbCC(op_cfwXpge22Q(a),op_w51yDgGhW9(83)),op_Ag0vDIXuSH(op_ckxBfo3j3z(a,b),op_73uHauwuWW(b,b)))
    return count


def op_m9ouE0gswO(a):
    if op_RB4xwD08Yy(a) >= 38:
        return op_aGhYYhn7J7(328,a)
    else:
        return op_ivGwdmUAux(264)

def op_count_m9ouE0gswO(a):
    if op_RB4xwD08Yy(a) >= 38:
        count = op_count_aGhYYhn7J7(328,a)+op_count_RB4xwD08Yy(a)
    else:
        count = op_count_ivGwdmUAux(264)
    return count


a⪼↸b = { (((487∃⋂a)≣∓(a∆⇆↿b))⩍⋔∮(⪛⨡(a⩚⩷⇎b))) , if (a⫚⫇)<=137 ; ((⫳⊑↿(b⩁⊞3))↹⨦(⇊⋕↭a)) , else }

def op_EGl705yzWM(a, b):
    if op_SdCjLnB6rR(a) <= 137:
        return op_sm9LEE0iOp(op_t7XEfsFsRn(op_fEFexwlJgE(487,a),op_XO3djLyJMK(a,b)),op_50JfepwJON(op_NYIHRc2x51(a,b)))
    else:
        return op_CE93BnRTrY(op_1O0FHXADw1(op_LS1NtLbZzy(b,3)),op_9ICB09zv9L(a))

def op_count_EGl705yzWM(a, b):
    if op_SdCjLnB6rR(a) <= 137:
        count = op_count_fEFexwlJgE(487,a)+op_count_XO3djLyJMK(a,b)+op_count_t7XEfsFsRn(op_fEFexwlJgE(487,a),op_XO3djLyJMK(a,b))+op_count_NYIHRc2x51(a,b)+op_count_50JfepwJON(op_NYIHRc2x51(a,b))+op_count_sm9LEE0iOp(op_t7XEfsFsRn(op_fEFexwlJgE(487,a),op_XO3djLyJMK(a,b)),op_50JfepwJON(op_NYIHRc2x51(a,b)))+op_count_SdCjLnB6rR(a)
    else:
        count = op_count_LS1NtLbZzy(b,3)+op_count_1O0FHXADw1(op_LS1NtLbZzy(b,3))+op_count_9ICB09zv9L(a)+op_count_CE93BnRTrY(op_1O0FHXADw1(op_LS1NtLbZzy(b,3)),op_9ICB09zv9L(a))
    return count


def op_4KzVfmSehs(a, b):
    if a <= 320:
        return op_YbUVn0Rbpy(523,a)
    else:
        return op_I7EtXjyZpr(b)

def op_count_4KzVfmSehs(a, b):
    if a <= 320:
        count = op_count_YbUVn0Rbpy(523,a)
    else:
        count = op_count_I7EtXjyZpr(b)
    return count


a≥⊷b = { (((a↸a)⩱⨟⋋)⩷⊢((⩤⩕⨵a)⪌⊌⪟(b⊳125))) }

def op_ksinh3oGcn(a, b):
    return op_CNVW3SqGit(op_OaPFTkT3rt(op_1eCjFl0mb9(a,a)),op_lr4bYNdzaZ(op_txN7l1yMpT(a),op_hmRjlYdCYn(b,125)))

def op_count_ksinh3oGcn(a, b):
    count = op_count_1eCjFl0mb9(a,a)+op_count_OaPFTkT3rt(op_1eCjFl0mb9(a,a))+op_count_txN7l1yMpT(a)+op_count_hmRjlYdCYn(b,125)+op_count_lr4bYNdzaZ(op_txN7l1yMpT(a),op_hmRjlYdCYn(b,125))+op_count_CNVW3SqGit(op_OaPFTkT3rt(op_1eCjFl0mb9(a,a)),op_lr4bYNdzaZ(op_txN7l1yMpT(a),op_hmRjlYdCYn(b,125)))
    return count


def op_YBie6z2piR(a):
    return op_SR5kFfdi6N(a,25)

def op_count_YBie6z2piR(a):
    count = op_count_SR5kFfdi6N(a,25)
    return count


def op_48q1vUfRwK(a):
    return op_I7EtXjyZpr(op_HX99UMoF54(op_TcEiwuCUEB(a),op_KCEnvkkZbe(a,a)))

def op_count_48q1vUfRwK(a):
    count = op_count_TcEiwuCUEB(a)+op_count_KCEnvkkZbe(a,a)+op_count_HX99UMoF54(op_TcEiwuCUEB(a),op_KCEnvkkZbe(a,a))+op_count_I7EtXjyZpr(op_HX99UMoF54(op_TcEiwuCUEB(a),op_KCEnvkkZbe(a,a)))
    return count


a−⨔⨩b = { (b⨓↿∉a) , if a!=201 ; (334⪬∳) , else }

def op_edZptTUWki(a, b):
    if a != 201:
        return op_OWnFPqjWlR(b,a)
    else:
        return op_O9U3z1385E(334)

def op_count_edZptTUWki(a, b):
    if a != 201:
        count = op_count_OWnFPqjWlR(b,a)
    else:
        count = op_count_O9U3z1385E(334)
    return count


a⩩∝b = { (∔((⩌⇑⇏b)⋆⊨(b↩∔⇶b))) , if (b∗⫦⨲100)>78 ; (((b∖⊫a)⊺)⊁⊹⇚((a⊴⩛b)⫕∜(88↵a))) , else }

def op_1JGD46l1GR(a, b):
    if op_4zhs1Pu9yK(b,100) > 78:
        return op_mM1ZLUZGNx(op_uTBsSls0VN(op_9jHS2qrjEm(b),op_ZM199RjHSm(b,b)))
    else:
        return op_dfh7ENhFrR(op_wff9HZunSZ(op_xNgZz6XNYQ(b,a)),op_LFtbApO071(op_wL68723Mti(a,b),op_8cNrNy0nrI(88,a)))

def op_count_1JGD46l1GR(a, b):
    if op_4zhs1Pu9yK(b,100) > 78:
        count = op_count_9jHS2qrjEm(b)+op_count_ZM199RjHSm(b,b)+op_count_uTBsSls0VN(op_9jHS2qrjEm(b),op_ZM199RjHSm(b,b))+op_count_mM1ZLUZGNx(op_uTBsSls0VN(op_9jHS2qrjEm(b),op_ZM199RjHSm(b,b)))+op_count_4zhs1Pu9yK(b,100)
    else:
        count = op_count_xNgZz6XNYQ(b,a)+op_count_wff9HZunSZ(op_xNgZz6XNYQ(b,a))+op_count_wL68723Mti(a,b)+op_count_8cNrNy0nrI(88,a)+op_count_LFtbApO071(op_wL68723Mti(a,b),op_8cNrNy0nrI(88,a))+op_count_dfh7ENhFrR(op_wff9HZunSZ(op_xNgZz6XNYQ(b,a)),op_LFtbApO071(op_wL68723Mti(a,b),op_8cNrNy0nrI(88,a)))
    return count


def op_9boeLj5Zd3(a, b):
    return op_LFP2zRhVLi(op_X7PctZJgeL(op_K6AsHvFZGJ(100,a),op_w0DNondLnN(278,b)),op_5TUYCnJO6w(op_DowK1ZCM6i(a,119)))

def op_count_9boeLj5Zd3(a, b):
    count = op_count_K6AsHvFZGJ(100,a)+op_count_w0DNondLnN(278,b)+op_count_X7PctZJgeL(op_K6AsHvFZGJ(100,a),op_w0DNondLnN(278,b))+op_count_DowK1ZCM6i(a,119)+op_count_5TUYCnJO6w(op_DowK1ZCM6i(a,119))+op_count_LFP2zRhVLi(op_X7PctZJgeL(op_K6AsHvFZGJ(100,a),op_w0DNondLnN(278,b)),op_5TUYCnJO6w(op_DowK1ZCM6i(a,119)))
    return count