a⊗⇩⩘b = { b , if (a>446 and (⫇⨷b)<555 and b<412) ; ((b⇼⇔∾a)⨔⊶↷(∥⊫b)) , else }

def op_TLcR4sSQDd(a, b):
    if (a > 446 and op_ct1hK6qyRt(b) < 555 and b < 412):
        return b
    else:
        return op_WObL9SsYVE(op_tifHPKVTfV(b,a),op_P8v4zCKN1o(b))

def op_count_TLcR4sSQDd(a, b):
    if (a > 446 and op_ct1hK6qyRt(b) < 555 and b < 412):
        count = 1
    else:
        count = op_count_tifHPKVTfV(b,a)+op_count_P8v4zCKN1o(b)+op_count_WObL9SsYVE(op_tifHPKVTfV(b,a),op_P8v4zCKN1o(b))
    return count


a⋜⋳⪐b = { (b⊭↱3) , if (a↮⪈⫰)<=251 ; (a⫚⫇) , else }

def op_1br6wbZ6yJ(a, b):
    if op_MKpoIoBJCf(a) <= 251:
        return op_COABgblf1C(b,3)
    else:
        return op_SdCjLnB6rR(a)

def op_count_1br6wbZ6yJ(a, b):
    if op_MKpoIoBJCf(a) <= 251:
        count = op_count_COABgblf1C(b,3)+op_count_MKpoIoBJCf(a)
    else:
        count = op_count_SdCjLnB6rR(a)
    return count


a⊚⫒b = { (a⩽⩡a) , if (⩦⊞b)<=369 ; (b⋝∏) , else }

def op_a2IQm5WUqZ(a, b):
    if op_u7fv1HBiaC(b) <= 369:
        return op_zFNL8mZEFB(a,a)
    else:
        return op_69GgKhV9QQ(b)

def op_count_a2IQm5WUqZ(a, b):
    if op_u7fv1HBiaC(b) <= 369:
        count = op_count_zFNL8mZEFB(a,a)+op_count_u7fv1HBiaC(b)
    else:
        count = op_count_69GgKhV9QQ(b)
    return count


def op_M0mAKAgWvJ(a, b):
    if op_3A1e9zoj8h(a) <= 154:
        return op_Ikt5ks8PT7(op_2DRhT6gtPg(op_fLGIAiPz9h(209)),op_Api82iH42a(op_UggxBX659n(a,b),op_cTDWOvIxvz(b,15)))
    else:
        return b

def op_count_M0mAKAgWvJ(a, b):
    if op_3A1e9zoj8h(a) <= 154:
        count = op_count_fLGIAiPz9h(209)+op_count_2DRhT6gtPg(op_fLGIAiPz9h(209))+op_count_UggxBX659n(a,b)+op_count_cTDWOvIxvz(b,15)+op_count_Api82iH42a(op_UggxBX659n(a,b),op_cTDWOvIxvz(b,15))+op_count_Ikt5ks8PT7(op_2DRhT6gtPg(op_fLGIAiPz9h(209)),op_Api82iH42a(op_UggxBX659n(a,b),op_cTDWOvIxvz(b,15)))+op_count_3A1e9zoj8h(a)
    else:
        count = 1
    return count


⫨≗a = { (((a⩧⪆a)⪉⨛(a⊚⫡⫭))⨔⇊((a⇼⇔∾a)⊉↱≁(a∄244))) }

def op_xpUrh0Nm9d(a):
    return op_JclMnS0uGI(op_EWw2JM7wp4(op_Ikt5ks8PT7(a,a),op_SpZWOsLKZJ(a)),op_w2P8NbNXyL(op_tifHPKVTfV(a,a),op_tnyRA5sazQ(a,244)))

def op_count_xpUrh0Nm9d(a):
    count = op_count_Ikt5ks8PT7(a,a)+op_count_SpZWOsLKZJ(a)+op_count_EWw2JM7wp4(op_Ikt5ks8PT7(a,a),op_SpZWOsLKZJ(a))+op_count_tifHPKVTfV(a,a)+op_count_tnyRA5sazQ(a,244)+op_count_w2P8NbNXyL(op_tifHPKVTfV(a,a),op_tnyRA5sazQ(a,244))+op_count_JclMnS0uGI(op_EWw2JM7wp4(op_Ikt5ks8PT7(a,a),op_SpZWOsLKZJ(a)),op_w2P8NbNXyL(op_tifHPKVTfV(a,a),op_tnyRA5sazQ(a,244)))
    return count


↸⪅⇔a = { (⊀⇵((a⊵↤)⩆≶⊌)) , if a>195 ; (((⫄⋦≢a)↨⪍≴(230⩤∜↚a))⪎⨄⋝) , else }

def op_i8VfeBP6dW(a):
    if a > 195:
        return op_B3tNObfNaL(op_PZaICrJanm(op_7IPrd9c3lf(a)))
    else:
        return op_kweVJGAjhl(op_DX7B1fY6P6(op_4kvgVkQeiQ(a),op_KROiRRz3d6(230,a)))

def op_count_i8VfeBP6dW(a):
    if a > 195:
        count = op_count_7IPrd9c3lf(a)+op_count_PZaICrJanm(op_7IPrd9c3lf(a))+op_count_B3tNObfNaL(op_PZaICrJanm(op_7IPrd9c3lf(a)))
    else:
        count = op_count_4kvgVkQeiQ(a)+op_count_KROiRRz3d6(230,a)+op_count_DX7B1fY6P6(op_4kvgVkQeiQ(a),op_KROiRRz3d6(230,a))+op_count_kweVJGAjhl(op_DX7B1fY6P6(op_4kvgVkQeiQ(a),op_KROiRRz3d6(230,a)))
    return count


a⫏⋦b = { a , if (b⩂⊭⨚)<=127 ; (((a⋳/a)≠≀a)⨊⨠) , else }

def op_Y8C8ozzXLe(a, b):
    if op_PaBHOjxk8c(b) <= 127:
        return a
    else:
        return op_qU6oQAhJaQ(op_IwW236VD4Y(op_m612RDITqL(a,a),a))

def op_count_Y8C8ozzXLe(a, b):
    if op_PaBHOjxk8c(b) <= 127:
        count = 1
    else:
        count = op_count_m612RDITqL(a,a)+op_count_IwW236VD4Y(op_m612RDITqL(a,a),a)+op_count_qU6oQAhJaQ(op_IwW236VD4Y(op_m612RDITqL(a,a),a))
    return count


a∢≙b = { (((a+b)↜⊷161)⨑≵⋬((b⫲)⨴(b∀⩎⋷b))) }

def op_BXZdiG1zfY(a, b):
    return op_XnXgA4xnOs(op_irKjLsMeKy(op_W4YGzv6Whe(a,b),161),op_jBC4ymW3D7(op_9xnGDUPbC6(b),op_FPxP5Y1j0W(b,b)))

def op_count_BXZdiG1zfY(a, b):
    count = op_count_W4YGzv6Whe(a,b)+op_count_irKjLsMeKy(op_W4YGzv6Whe(a,b),161)+op_count_9xnGDUPbC6(b)+op_count_FPxP5Y1j0W(b,b)+op_count_jBC4ymW3D7(op_9xnGDUPbC6(b),op_FPxP5Y1j0W(b,b))+op_count_XnXgA4xnOs(op_irKjLsMeKy(op_W4YGzv6Whe(a,b),161),op_jBC4ymW3D7(op_9xnGDUPbC6(b),op_FPxP5Y1j0W(b,b)))
    return count


a∛⋻↤b = { (((b∄a)⪖⪡(⨑⩽⪐a))∅((37↪∷b)≦↸(241⋥≓≎a))) }

def op_k3GVCLYZsC(a, b):
    return op_giaUb8UVhq(op_7PjNe5qSIJ(op_tnyRA5sazQ(b,a),op_AF7qkfDlqP(a)),op_RygbFNSyEJ(op_Api82iH42a(37,b),op_Qy55tPpLXF(241,a)))

def op_count_k3GVCLYZsC(a, b):
    count = op_count_tnyRA5sazQ(b,a)+op_count_AF7qkfDlqP(a)+op_count_7PjNe5qSIJ(op_tnyRA5sazQ(b,a),op_AF7qkfDlqP(a))+op_count_Api82iH42a(37,b)+op_count_Qy55tPpLXF(241,a)+op_count_RygbFNSyEJ(op_Api82iH42a(37,b),op_Qy55tPpLXF(241,a))+op_count_giaUb8UVhq(op_7PjNe5qSIJ(op_tnyRA5sazQ(b,a),op_AF7qkfDlqP(a)),op_RygbFNSyEJ(op_Api82iH42a(37,b),op_Qy55tPpLXF(241,a)))
    return count


def op_BM37NSA12W(a):
    return op_d8xe6WWVfM(op_PrwIXj9ZQe(op_apS25hmuAe(a)),op_apS25hmuAe(op_eLAdDNolq6(a)))

def op_count_BM37NSA12W(a):
    count = op_count_apS25hmuAe(a)+op_count_PrwIXj9ZQe(op_apS25hmuAe(a))+op_count_eLAdDNolq6(a)+op_count_apS25hmuAe(op_eLAdDNolq6(a))+op_count_d8xe6WWVfM(op_PrwIXj9ZQe(op_apS25hmuAe(a)),op_apS25hmuAe(op_eLAdDNolq6(a)))
    return count


def op_YMV0rvXXSg(a, b):
    return op_ap3xiM279w(op_cFVlceoRkX(b,a),op_BUOGQAYlQx(79))

def op_count_YMV0rvXXSg(a, b):
    count = op_count_cFVlceoRkX(b,a)+op_count_BUOGQAYlQx(79)+op_count_ap3xiM279w(op_cFVlceoRkX(b,a),op_BUOGQAYlQx(79))
    return count


def op_LC3l6UcXNH(a):
    return op_JgXZM7XvWE(op_AfoL3wC8aT(a),op_aHKFHkCgn9(a))

def op_count_LC3l6UcXNH(a):
    count = op_count_AfoL3wC8aT(a)+op_count_aHKFHkCgn9(a)+op_count_JgXZM7XvWE(op_AfoL3wC8aT(a),op_aHKFHkCgn9(a))
    return count


def op_q89cdGefnU(a):
    return op_QvoQhV0rrE(op_4CyGpkTkEk(a),op_nbuSfrB4hB(op_D4vGDi5EA2(46),a))

def op_count_q89cdGefnU(a):
    count = op_count_4CyGpkTkEk(a)+op_count_D4vGDi5EA2(46)+op_count_nbuSfrB4hB(op_D4vGDi5EA2(46),a)+op_count_QvoQhV0rrE(op_4CyGpkTkEk(a),op_nbuSfrB4hB(op_D4vGDi5EA2(46),a))
    return count


a⊫b = { ((b⩹(b⊚⫡⫭))⨜⨶((236⨓↿∉b)⊹≧⊝)) , if (b⊚⫡⫭)<=322 ; ((↓⇌a)⊬⨰((⪁≄440)⪨⊡(a⨐b))) , else }

def op_kOoQ1erSk8(a, b):
    if op_SpZWOsLKZJ(b) <= 322:
        return op_HiPekx5b7W(op_2Wsdkap16l(b,op_SpZWOsLKZJ(b)),op_LxFB4K6j0n(op_OWnFPqjWlR(236,b)))
    else:
        return op_s3Fd5m9Dh2(op_PxpmPgHHJV(a),op_kuIXHzHcAH(op_2O29ZX4yK6(440),op_Noe24qw2ks(a,b)))

def op_count_kOoQ1erSk8(a, b):
    if op_SpZWOsLKZJ(b) <= 322:
        count = op_count_SpZWOsLKZJ(b)+op_count_2Wsdkap16l(b,op_SpZWOsLKZJ(b))+op_count_OWnFPqjWlR(236,b)+op_count_LxFB4K6j0n(op_OWnFPqjWlR(236,b))+op_count_HiPekx5b7W(op_2Wsdkap16l(b,op_SpZWOsLKZJ(b)),op_LxFB4K6j0n(op_OWnFPqjWlR(236,b)))+op_count_SpZWOsLKZJ(b)
    else:
        count = op_count_PxpmPgHHJV(a)+op_count_2O29ZX4yK6(440)+op_count_Noe24qw2ks(a,b)+op_count_kuIXHzHcAH(op_2O29ZX4yK6(440),op_Noe24qw2ks(a,b))+op_count_s3Fd5m9Dh2(op_PxpmPgHHJV(a),op_kuIXHzHcAH(op_2O29ZX4yK6(440),op_Noe24qw2ks(a,b)))
    return count


a⫾⊽b = { (b↫) , if a>448 ; (a↨⪍≴b) , else }

def op_QunAGeO7fw(a, b):
    if a > 448:
        return op_uPb5QRN0te(b)
    else:
        return op_DX7B1fY6P6(a,b)

def op_count_QunAGeO7fw(a, b):
    if a > 448:
        count = op_count_uPb5QRN0te(b)
    else:
        count = op_count_DX7B1fY6P6(a,b)
    return count


def op_kmEBKJDBFW(a):
    return op_Y7wcNGrDQJ(op_DmTXOeWf9t(a,a),op_W4YGzv6Whe(a,a))

def op_count_kmEBKJDBFW(a):
    count = op_count_DmTXOeWf9t(a,a)+op_count_W4YGzv6Whe(a,a)+op_count_Y7wcNGrDQJ(op_DmTXOeWf9t(a,a),op_W4YGzv6Whe(a,a))
    return count


a⩺b = { (((b⇊⊒⫧)⨱∎)⋝⋈⪟((⊡⇒⪪a)⪲⨢(a⩹2))) }

def op_8rgMBn28gJ(a, b):
    return op_2DDjHMKMc0(op_MmTdOpaElr(op_eIba4BG3xN(b)),op_6iafYuwGo8(op_wisItNeSwq(a),op_2Wsdkap16l(a,2)))

def op_count_8rgMBn28gJ(a, b):
    count = op_count_eIba4BG3xN(b)+op_count_MmTdOpaElr(op_eIba4BG3xN(b))+op_count_wisItNeSwq(a)+op_count_2Wsdkap16l(a,2)+op_count_6iafYuwGo8(op_wisItNeSwq(a),op_2Wsdkap16l(a,2))+op_count_2DDjHMKMc0(op_MmTdOpaElr(op_eIba4BG3xN(b)),op_6iafYuwGo8(op_wisItNeSwq(a),op_2Wsdkap16l(a,2)))
    return count


def op_v6n82cqzWM(a):
    return op_aHKFHkCgn9(op_Z5m6OM72h2(a,a))

def op_count_v6n82cqzWM(a):
    count = op_count_Z5m6OM72h2(a,a)+op_count_aHKFHkCgn9(op_Z5m6OM72h2(a,a))
    return count


def op_3f4ssNaqOA(a):
    if op_D3AQDKkPcf(a,917) > 477:
        return op_bPywburJMS(a,a)
    else:
        return op_zR4jO40bMj(a,332)

def op_count_3f4ssNaqOA(a):
    if op_D3AQDKkPcf(a,917) > 477:
        count = op_count_bPywburJMS(a,a)+op_count_D3AQDKkPcf(a,917)
    else:
        count = op_count_zR4jO40bMj(a,332)
    return count


a⇧⊐⇼ = { (((a∿⫑≎a)∷(a⊵a))⫋) , if a>=6 ; a , else }

def op_uK8RLulKz6(a):
    if a >= 6:
        return op_mhIhit33mg(op_D3AQDKkPcf(op_ar1w6gUwHX(a,a),op_eaFBhJ0Uku(a,a)))
    else:
        return a

def op_count_uK8RLulKz6(a):
    if a >= 6:
        count = op_count_ar1w6gUwHX(a,a)+op_count_eaFBhJ0Uku(a,a)+op_count_D3AQDKkPcf(op_ar1w6gUwHX(a,a),op_eaFBhJ0Uku(a,a))+op_count_mhIhit33mg(op_D3AQDKkPcf(op_ar1w6gUwHX(a,a),op_eaFBhJ0Uku(a,a)))
    else:
        count = 1
    return count


def op_B1Sd1P2naD(a):
    return op_KROiRRz3d6(a,a)

def op_count_B1Sd1P2naD(a):
    count = op_count_KROiRRz3d6(a,a)
    return count


a⪶↡b = { (⩒∊((b⨁⊸⫻)⇪⋱)) , if (a≻⇥≳984)!=24 and (⫌⊑↬b)!=30 ; b , else }

def op_YnqEOO27KC(a, b):
    if op_aiqF8n6J9c(a,984) != 24 and op_h57jOAbG9W(b) != 30:
        return op_qazvmhNBbN(op_MKzNxCV7Yo(op_glklzrTFfD(b)))
    else:
        return b

def op_count_YnqEOO27KC(a, b):
    if op_aiqF8n6J9c(a,984) != 24 and op_h57jOAbG9W(b) != 30:
        count = op_count_glklzrTFfD(b)+op_count_MKzNxCV7Yo(op_glklzrTFfD(b))+op_count_qazvmhNBbN(op_MKzNxCV7Yo(op_glklzrTFfD(b)))+op_count_aiqF8n6J9c(a,984)+op_count_h57jOAbG9W(b)
    else:
        count = 1
    return count


a⊯⪆b = { (((190⫭)⫭)⩽⩡((b⨰b)⇌⫙⪟(11⨐b))) , if b==80 ; (((b⋝⋈⪟112)↾⩰)⩇∃⫛((a∌a)⊝⪿⪼(a∇⊂⋱b))) , else }

def op_8u3ZXjUZq9(a, b):
    if b == 80:
        return op_zFNL8mZEFB(op_t4WUHVGj7f(op_t4WUHVGj7f(190)),op_AFVx7xoS7T(op_eewbuw0ToL(b,b),op_Noe24qw2ks(11,b)))
    else:
        return op_1aApVXNlOP(op_GNmBfxrna9(op_2DDjHMKMc0(b,112)),op_3Oe9XWJUTD(op_8cLx32lpNA(a,a),op_nhYeJWJD5X(a,b)))

def op_count_8u3ZXjUZq9(a, b):
    if b == 80:
        count = op_count_t4WUHVGj7f(190)+op_count_t4WUHVGj7f(op_t4WUHVGj7f(190))+op_count_eewbuw0ToL(b,b)+op_count_Noe24qw2ks(11,b)+op_count_AFVx7xoS7T(op_eewbuw0ToL(b,b),op_Noe24qw2ks(11,b))+op_count_zFNL8mZEFB(op_t4WUHVGj7f(op_t4WUHVGj7f(190)),op_AFVx7xoS7T(op_eewbuw0ToL(b,b),op_Noe24qw2ks(11,b)))
    else:
        count = op_count_2DDjHMKMc0(b,112)+op_count_GNmBfxrna9(op_2DDjHMKMc0(b,112))+op_count_8cLx32lpNA(a,a)+op_count_nhYeJWJD5X(a,b)+op_count_3Oe9XWJUTD(op_8cLx32lpNA(a,a),op_nhYeJWJD5X(a,b))+op_count_1aApVXNlOP(op_GNmBfxrna9(op_2DDjHMKMc0(b,112)),op_3Oe9XWJUTD(op_8cLx32lpNA(a,a),op_nhYeJWJD5X(a,b)))
    return count


a⇼ = { (((a⪭a)≏⨯⊱(⊈a))⨔⇊((a⨑⋨43)∲⫓(a⩽⩡a))) }

def op_zDnGpti63o(a):
    return op_JclMnS0uGI(op_UqUOXUQnbU(op_j9kHMeSvPp(a,a),op_RHru8klgy8(a)),op_i8ToyICDmI(op_tIhPxZTbsh(a,43),op_zFNL8mZEFB(a,a)))

def op_count_zDnGpti63o(a):
    count = op_count_j9kHMeSvPp(a,a)+op_count_RHru8klgy8(a)+op_count_UqUOXUQnbU(op_j9kHMeSvPp(a,a),op_RHru8klgy8(a))+op_count_tIhPxZTbsh(a,43)+op_count_zFNL8mZEFB(a,a)+op_count_i8ToyICDmI(op_tIhPxZTbsh(a,43),op_zFNL8mZEFB(a,a))+op_count_JclMnS0uGI(op_UqUOXUQnbU(op_j9kHMeSvPp(a,a),op_RHru8klgy8(a)),op_i8ToyICDmI(op_tIhPxZTbsh(a,43),op_zFNL8mZEFB(a,a)))
    return count


def op_uSSw4yOGsY(a):
    if a == 2:
        return op_oPMjh9089D(op_QKXs96F9fN(op_s3Fd5m9Dh2(a,a)))
    else:
        return op_B3sABdIn96(op_f6k1SAg4EE(op_BX1lVwlMe0(a),op_EWw2JM7wp4(a,407)))

def op_count_uSSw4yOGsY(a):
    if a == 2:
        count = op_count_s3Fd5m9Dh2(a,a)+op_count_QKXs96F9fN(op_s3Fd5m9Dh2(a,a))+op_count_oPMjh9089D(op_QKXs96F9fN(op_s3Fd5m9Dh2(a,a)))
    else:
        count = op_count_BX1lVwlMe0(a)+op_count_EWw2JM7wp4(a,407)+op_count_f6k1SAg4EE(op_BX1lVwlMe0(a),op_EWw2JM7wp4(a,407))+op_count_B3sABdIn96(op_f6k1SAg4EE(op_BX1lVwlMe0(a),op_EWw2JM7wp4(a,407)))
    return count


def op_p85VdiyFRf(a):
    if (op_RygbFNSyEJ(a,133) > 812 and a < 8 and op_KYL1uVeVpb(a,941) != 168):
        return op_PjbVkMzmXE(a,184)
    else:
        return a

def op_count_p85VdiyFRf(a):
    if (op_RygbFNSyEJ(a,133) > 812 and a < 8 and op_KYL1uVeVpb(a,941) != 168):
        count = op_count_PjbVkMzmXE(a,184)+op_count_RygbFNSyEJ(a,133)+op_count_KYL1uVeVpb(a,941)
    else:
        count = 1
    return count


a⨇b = { ((a⪍↜⋙b)∄(41⨽⪊≇)) , if a!=258 ; ((a⫼⨠b)≃(b∀⩎⋷b)) , else }

def op_sgd3VpchmQ(a, b):
    if a != 258:
        return op_tnyRA5sazQ(op_L05ObWFQCd(a,b),op_nlCqmYiOvY(41))
    else:
        return op_YbVcJGFEVW(op_KYL1uVeVpb(a,b),op_FPxP5Y1j0W(b,b))

def op_count_sgd3VpchmQ(a, b):
    if a != 258:
        count = op_count_L05ObWFQCd(a,b)+op_count_nlCqmYiOvY(41)+op_count_tnyRA5sazQ(op_L05ObWFQCd(a,b),op_nlCqmYiOvY(41))
    else:
        count = op_count_KYL1uVeVpb(a,b)+op_count_FPxP5Y1j0W(b,b)+op_count_YbVcJGFEVW(op_KYL1uVeVpb(a,b),op_FPxP5Y1j0W(b,b))
    return count


def op_11z6DTm2Dp(a):
    return op_Api82iH42a(op_7j4O788W3g(op_2td37pGCOC(a),op_HJ9erzHUuu(a,a)),op_840vADziXz(op_NdELin8EPX(a,a)))

def op_count_11z6DTm2Dp(a):
    count = op_count_2td37pGCOC(a)+op_count_HJ9erzHUuu(a,a)+op_count_7j4O788W3g(op_2td37pGCOC(a),op_HJ9erzHUuu(a,a))+op_count_NdELin8EPX(a,a)+op_count_840vADziXz(op_NdELin8EPX(a,a))+op_count_Api82iH42a(op_7j4O788W3g(op_2td37pGCOC(a),op_HJ9erzHUuu(a,a)),op_840vADziXz(op_NdELin8EPX(a,a)))
    return count


⫰↦↲a = { ((∓⪦(a⨔⊶↷a))⋟⫀⨗((a⇇)⋟⫀⨗(a⨔⊶↷a))) }

def op_3x5wtHepBr(a):
    return op_dAAkup5nzi(op_D309nIvmXG(op_WObL9SsYVE(a,a)),op_dAAkup5nzi(op_ieTw63T1Vx(a),op_WObL9SsYVE(a,a)))

def op_count_3x5wtHepBr(a):
    count = op_count_WObL9SsYVE(a,a)+op_count_D309nIvmXG(op_WObL9SsYVE(a,a))+op_count_ieTw63T1Vx(a)+op_count_WObL9SsYVE(a,a)+op_count_dAAkup5nzi(op_ieTw63T1Vx(a),op_WObL9SsYVE(a,a))+op_count_dAAkup5nzi(op_D309nIvmXG(op_WObL9SsYVE(a,a)),op_dAAkup5nzi(op_ieTw63T1Vx(a),op_WObL9SsYVE(a,a)))
    return count


def op_B1Lk3S4aEx(a):
    return op_m612RDITqL(a,op_sdazOOVcIp(op_k7HXdKtiEU(a),op_JDUIKTTSIa(a,a)))

def op_count_B1Lk3S4aEx(a):
    count = op_count_k7HXdKtiEU(a)+op_count_JDUIKTTSIa(a,a)+op_count_sdazOOVcIp(op_k7HXdKtiEU(a),op_JDUIKTTSIa(a,a))+op_count_m612RDITqL(a,op_sdazOOVcIp(op_k7HXdKtiEU(a),op_JDUIKTTSIa(a,a)))
    return count


a+↷ = { (a⪒⊣⊆a) , if (a⇑∁⪛)>590 ; (⨾∊⩁a) , else }

def op_vY7SLnyZNm(a):
    if op_P75hhshrwX(a) > 590:
        return op_eRqsBgTDFp(a,a)
    else:
        return op_QErWpSDGk0(a)

def op_count_vY7SLnyZNm(a):
    if op_P75hhshrwX(a) > 590:
        count = op_count_eRqsBgTDFp(a,a)+op_count_P75hhshrwX(a)
    else:
        count = op_count_QErWpSDGk0(a)
    return count


def op_7pRB1R4QmJ(a):
    if op_pjdzZ5rP1Y(a) <= 204:
        return op_OwUj7dcsQK(op_tnyRA5sazQ(a,a))
    else:
        return op_6o9Blt3TJ6(op_hiBDRd40bf(a,a),op_u7fv1HBiaC(392))

def op_count_7pRB1R4QmJ(a):
    if op_pjdzZ5rP1Y(a) <= 204:
        count = op_count_tnyRA5sazQ(a,a)+op_count_OwUj7dcsQK(op_tnyRA5sazQ(a,a))+op_count_pjdzZ5rP1Y(a)
    else:
        count = op_count_hiBDRd40bf(a,a)+op_count_u7fv1HBiaC(392)+op_count_6o9Blt3TJ6(op_hiBDRd40bf(a,a),op_u7fv1HBiaC(392))
    return count


a⪠⇑≑b = { (a∙∹∝b) , if b==52 ; (a≃b) , else }

def op_9WIAdFgsXU(a, b):
    if b == 52:
        return op_HmxsFra2vL(a,b)
    else:
        return op_YbVcJGFEVW(a,b)

def op_count_9WIAdFgsXU(a, b):
    if b == 52:
        count = op_count_HmxsFra2vL(a,b)
    else:
        count = op_count_YbVcJGFEVW(a,b)
    return count


def op_XFtV96IEKB(a, b):
    if a <= 622:
        return op_Qaz2MhZaG5(114,a)
    else:
        return op_IGFM8TAlm9(b)

def op_count_XFtV96IEKB(a, b):
    if a <= 622:
        count = op_count_Qaz2MhZaG5(114,a)
    else:
        count = op_count_IGFM8TAlm9(b)
    return count


def op_Vzd1Za95Jr(a, b):
    return op_UpkSd4zESC(op_HrjLwUk87U(b,a),op_rFxw8gIMmB(b))

def op_count_Vzd1Za95Jr(a, b):
    count = op_count_HrjLwUk87U(b,a)+op_count_rFxw8gIMmB(b)+op_count_UpkSd4zESC(op_HrjLwUk87U(b,a),op_rFxw8gIMmB(b))
    return count


def op_z17wd8OCOv(a):
    return op_2Wsdkap16l(a,a)

def op_count_z17wd8OCOv(a):
    count = op_count_2Wsdkap16l(a,a)
    return count


def op_AoPU032JrE(a):
    if a < 313:
        return a
    else:
        return op_JFrVJKYFMX(a,a)

def op_count_AoPU032JrE(a):
    if a < 313:
        count = 1
    else:
        count = op_count_JFrVJKYFMX(a,a)
    return count


def op_C4PqR2W9Pw(a, b):
    return op_3EYGwJThht(op_B3sABdIn96(b),op_Y5cEcQhyKu(a,a))

def op_count_C4PqR2W9Pw(a, b):
    count = op_count_B3sABdIn96(b)+op_count_Y5cEcQhyKu(a,a)+op_count_3EYGwJThht(op_B3sABdIn96(b),op_Y5cEcQhyKu(a,a))
    return count


def op_6tQRFKEWKL(a, b):
    return op_7j4O788W3g(op_uOZ1tnYMDE(a),op_j9kHMeSvPp(b,b))

def op_count_6tQRFKEWKL(a, b):
    count = op_count_uOZ1tnYMDE(a)+op_count_j9kHMeSvPp(b,b)+op_count_7j4O788W3g(op_uOZ1tnYMDE(a),op_j9kHMeSvPp(b,b))
    return count


def op_zM038sETkn(a):
    return op_oH594TLvBK(op_EBcxylXtPf(op_cwbF3JtlMN(a,a)))

def op_count_zM038sETkn(a):
    count = op_count_cwbF3JtlMN(a,a)+op_count_EBcxylXtPf(op_cwbF3JtlMN(a,a))+op_count_oH594TLvBK(op_EBcxylXtPf(op_cwbF3JtlMN(a,a)))
    return count


def op_xNgZz6XNYQ(a, b):
    return op_KYL1uVeVpb(op_iz8sE888QL(a),op_2PILXiQIjy(b))

def op_count_xNgZz6XNYQ(a, b):
    count = op_count_iz8sE888QL(a)+op_count_2PILXiQIjy(b)+op_count_KYL1uVeVpb(op_iz8sE888QL(a),op_2PILXiQIjy(b))
    return count


def op_eZ4iHVWETC(a, b):
    return op_uysxUYN2L2(op_qy3n0tapmE(b,72),op_2td37pGCOC(a))

def op_count_eZ4iHVWETC(a, b):
    count = op_count_qy3n0tapmE(b,72)+op_count_2td37pGCOC(a)+op_count_uysxUYN2L2(op_qy3n0tapmE(b,72),op_2td37pGCOC(a))
    return count


def op_2IFpBACqy9(a):
    return op_RHru8klgy8(op_GMN7JP6WpN(op_t8gj7n24qd(268),op_OWnFPqjWlR(a,a)))

def op_count_2IFpBACqy9(a):
    count = op_count_t8gj7n24qd(268)+op_count_OWnFPqjWlR(a,a)+op_count_GMN7JP6WpN(op_t8gj7n24qd(268),op_OWnFPqjWlR(a,a))+op_count_RHru8klgy8(op_GMN7JP6WpN(op_t8gj7n24qd(268),op_OWnFPqjWlR(a,a)))
    return count


a⊌⋑b = { ((9⩍⋽⫝̸b)⩼⇪↪(↪⨀b)) , if (a∴≳≥)==11 ; (⋷⊟(a⨧↗⨷b)) , else }

def op_SVgvZsl5LA(a, b):
    if op_a3N2hFLK0J(a) == 11:
        return op_ocnLzx9CaJ(op_BiWNJpBvwn(9,b),op_t0cKpDWDXO(b))
    else:
        return op_2fAMLLeFHb(op_WSbXXWOizJ(a,b))

def op_count_SVgvZsl5LA(a, b):
    if op_a3N2hFLK0J(a) == 11:
        count = op_count_BiWNJpBvwn(9,b)+op_count_t0cKpDWDXO(b)+op_count_ocnLzx9CaJ(op_BiWNJpBvwn(9,b),op_t0cKpDWDXO(b))+op_count_a3N2hFLK0J(a)
    else:
        count = op_count_WSbXXWOizJ(a,b)+op_count_2fAMLLeFHb(op_WSbXXWOizJ(a,b))
    return count


def op_8k0Jcmxl0I(a):
    return op_D3AQDKkPcf(op_DIvbN7qnHd(op_oRDoc9rAEX(a,a)),op_IxJHfR5psi(op_Siyfjn51pv(a),op_qy3n0tapmE(a,a)))

def op_count_8k0Jcmxl0I(a):
    count = op_count_oRDoc9rAEX(a,a)+op_count_DIvbN7qnHd(op_oRDoc9rAEX(a,a))+op_count_Siyfjn51pv(a)+op_count_qy3n0tapmE(a,a)+op_count_IxJHfR5psi(op_Siyfjn51pv(a),op_qy3n0tapmE(a,a))+op_count_D3AQDKkPcf(op_DIvbN7qnHd(op_oRDoc9rAEX(a,a)),op_IxJHfR5psi(op_Siyfjn51pv(a),op_qy3n0tapmE(a,a)))
    return count


def op_kpJjjkyHOS(a):
    return op_Qaz2MhZaG5(a,a)

def op_count_kpJjjkyHOS(a):
    count = op_count_Qaz2MhZaG5(a,a)
    return count


def op_qmoX8GR648(a, b):
    return op_FPxP5Y1j0W(op_VwlE7vj6HS(b),op_rysDP5nf3Z(a,b))

def op_count_qmoX8GR648(a, b):
    count = op_count_VwlE7vj6HS(b)+op_count_rysDP5nf3Z(a,b)+op_count_FPxP5Y1j0W(op_VwlE7vj6HS(b),op_rysDP5nf3Z(a,b))
    return count


def op_f9INzmL60q(a):
    return op_2GS7woTJqF(a,a)

def op_count_f9INzmL60q(a):
    count = op_count_2GS7woTJqF(a,a)
    return count


def op_a8UndMcqKF(a):
    if op_9FxExcQeMw(a,198) != 48:
        return op_tmjFFOTKyA(op_iz8sE888QL(208))
    else:
        return op_Sq3AGanRSD(op_GMyVS5K48T(a,a),op_2DQ55sFlQl(a,108))

def op_count_a8UndMcqKF(a):
    if op_9FxExcQeMw(a,198) != 48:
        count = op_count_iz8sE888QL(208)+op_count_tmjFFOTKyA(op_iz8sE888QL(208))+op_count_9FxExcQeMw(a,198)
    else:
        count = op_count_GMyVS5K48T(a,a)+op_count_2DQ55sFlQl(a,108)+op_count_Sq3AGanRSD(op_GMyVS5K48T(a,a),op_2DQ55sFlQl(a,108))
    return count


def op_gQr4EOEJy3(a):
    if a <= 132:
        return op_23Mk6UjR3U(a,a)
    else:
        return op_Ikt5ks8PT7(31,314)

def op_count_gQr4EOEJy3(a):
    if a <= 132:
        count = op_count_23Mk6UjR3U(a,a)
    else:
        count = op_count_Ikt5ks8PT7(31,314)
    return count


a⋷⫭ = { (a⪶≀⋏56) , if (a⊙)>34 ; (⊿a) , else }

def op_EldckLUJRt(a):
    if op_pjdzZ5rP1Y(a) > 34:
        return op_zR4jO40bMj(a,56)
    else:
        return op_DO4fhlbJSI(a)

def op_count_EldckLUJRt(a):
    if op_pjdzZ5rP1Y(a) > 34:
        count = op_count_zR4jO40bMj(a,56)+op_count_pjdzZ5rP1Y(a)
    else:
        count = op_count_DO4fhlbJSI(a)
    return count


def op_haMO48sRbC(a):
    if a <= 129:
        return op_oPMjh9089D(a)
    else:
        return op_bF6eod5Gvf(220,a)

def op_count_haMO48sRbC(a):
    if a <= 129:
        count = op_count_oPMjh9089D(a)
    else:
        count = op_count_bF6eod5Gvf(220,a)
    return count


a⫼⨣ = { (∓(a⫸a)) , if (⊙⨙⩍a)<=307 ; ((a⪱⇝a)∀⋜↑) , else }

def op_c9UHqdLiX1(a):
    if op_ocpzidtxKt(a) <= 307:
        return op_OwUj7dcsQK(op_Qaz2MhZaG5(a,a))
    else:
        return op_KipPnG1M2J(op_OTRTVPweYV(a,a))

def op_count_c9UHqdLiX1(a):
    if op_ocpzidtxKt(a) <= 307:
        count = op_count_Qaz2MhZaG5(a,a)+op_count_OwUj7dcsQK(op_Qaz2MhZaG5(a,a))+op_count_ocpzidtxKt(a)
    else:
        count = op_count_OTRTVPweYV(a,a)+op_count_KipPnG1M2J(op_OTRTVPweYV(a,a))
    return count


def op_zzjJUkkopk(a):
    if op_KbjG8mgYpV(a,267) != 123:
        return op_S5ZFQS4GK3(op_j9kHMeSvPp(a,a),op_1tCtMSPkGf(a))
    else:
        return op_S5ZFQS4GK3(op_aOI3TlLUAE(312),op_0kmYd0q39Y(41,a))

def op_count_zzjJUkkopk(a):
    if op_KbjG8mgYpV(a,267) != 123:
        count = op_count_j9kHMeSvPp(a,a)+op_count_1tCtMSPkGf(a)+op_count_S5ZFQS4GK3(op_j9kHMeSvPp(a,a),op_1tCtMSPkGf(a))+op_count_KbjG8mgYpV(a,267)
    else:
        count = op_count_aOI3TlLUAE(312)+op_count_0kmYd0q39Y(41,a)+op_count_S5ZFQS4GK3(op_aOI3TlLUAE(312),op_0kmYd0q39Y(41,a))
    return count


def op_w6sNGVJMvN(a):
    if op_P8v4zCKN1o(a) <= 236:
        return op_fG6uBQFnGz(a)
    else:
        return op_uysxUYN2L2(288,a)

def op_count_w6sNGVJMvN(a):
    if op_P8v4zCKN1o(a) <= 236:
        count = op_count_fG6uBQFnGz(a)+op_count_P8v4zCKN1o(a)
    else:
        count = op_count_uysxUYN2L2(288,a)
    return count


def op_BpbpqQnb2W(a, b):
    if (b != 520 or op_bx9Z9DAK5y(b) >= 36 or op_NTOWxs364D(b,977) == 3):
        return op_d8xe6WWVfM(b,a)
    else:
        return op_GNmBfxrna9(b)

def op_count_BpbpqQnb2W(a, b):
    if (b != 520 or op_bx9Z9DAK5y(b) >= 36 or op_NTOWxs364D(b,977) == 3):
        count = op_count_d8xe6WWVfM(b,a)+op_count_bx9Z9DAK5y(b)+op_count_NTOWxs364D(b,977)
    else:
        count = op_count_GNmBfxrna9(b)
    return count


def op_5wgIzpHald(a):
    return op_i8ToyICDmI(op_WR6HLWljOP(op_Wm7LHi3c8p(a),op_eewbuw0ToL(a,197)),op_SPuZE40Ntn(op_5JYyxRJd4f(110),op_cTDWOvIxvz(a,71)))

def op_count_5wgIzpHald(a):
    count = op_count_Wm7LHi3c8p(a)+op_count_eewbuw0ToL(a,197)+op_count_WR6HLWljOP(op_Wm7LHi3c8p(a),op_eewbuw0ToL(a,197))+op_count_5JYyxRJd4f(110)+op_count_cTDWOvIxvz(a,71)+op_count_SPuZE40Ntn(op_5JYyxRJd4f(110),op_cTDWOvIxvz(a,71))+op_count_i8ToyICDmI(op_WR6HLWljOP(op_Wm7LHi3c8p(a),op_eewbuw0ToL(a,197)),op_SPuZE40Ntn(op_5JYyxRJd4f(110),op_cTDWOvIxvz(a,71)))
    return count


def op_dcmKFAhQiN(a, b):
    return op_LmY23Q1aIi(op_eRqsBgTDFp(b,a))

def op_count_dcmKFAhQiN(a, b):
    count = op_count_eRqsBgTDFp(b,a)+op_count_LmY23Q1aIi(op_eRqsBgTDFp(b,a))
    return count


def op_EvI7ZBNDvA(a):
    if op_giaUb8UVhq(a,245) <= 458:
        return op_wsXFuL0hC6(op_2fAMLLeFHb(a),op_PPChnnnBFF(op_rysDP5nf3Z(a,a),op_3EhVUz7Ug9(a)))
    else:
        return a

def op_count_EvI7ZBNDvA(a):
    if op_giaUb8UVhq(a,245) <= 458:
        count = op_count_2fAMLLeFHb(a)+op_count_rysDP5nf3Z(a,a)+op_count_3EhVUz7Ug9(a)+op_count_PPChnnnBFF(op_rysDP5nf3Z(a,a),op_3EhVUz7Ug9(a))+op_count_wsXFuL0hC6(op_2fAMLLeFHb(a),op_PPChnnnBFF(op_rysDP5nf3Z(a,a),op_3EhVUz7Ug9(a)))+op_count_giaUb8UVhq(a,245)
    else:
        count = 1
    return count


a⊾⇫b = { (b⨴b) , if b!=74 ; (a⩒⫫a) , else }

def op_EaccxuysW0(a, b):
    if b != 74:
        return op_jBC4ymW3D7(b,b)
    else:
        return op_KFSx94NKJn(a,a)

def op_count_EaccxuysW0(a, b):
    if b != 74:
        count = op_count_jBC4ymW3D7(b,b)
    else:
        count = op_count_KFSx94NKJn(a,a)
    return count


def op_pPTxWWVODo(a, b):
    return op_JFrVJKYFMX(op_DZ8iAZOCBD(a,b),op_cwbF3JtlMN(a,a))

def op_count_pPTxWWVODo(a, b):
    count = op_count_DZ8iAZOCBD(a,b)+op_count_cwbF3JtlMN(a,a)+op_count_JFrVJKYFMX(op_DZ8iAZOCBD(a,b),op_cwbF3JtlMN(a,a))
    return count


def op_NkElgCjZ6e(a):
    return op_qy3n0tapmE(op_KPf6cnQVty(a,a),op_hiBDRd40bf(a,38))

def op_count_NkElgCjZ6e(a):
    count = op_count_KPf6cnQVty(a,a)+op_count_hiBDRd40bf(a,38)+op_count_qy3n0tapmE(op_KPf6cnQVty(a,a),op_hiBDRd40bf(a,38))
    return count


def op_YZ4iizfuOA(a, b):
    return op_3YWlZA9bsa(op_Tmr9JGNMVH(a),op_Y5cEcQhyKu(b,162))

def op_count_YZ4iizfuOA(a, b):
    count = op_count_Tmr9JGNMVH(a)+op_count_Y5cEcQhyKu(b,162)+op_count_3YWlZA9bsa(op_Tmr9JGNMVH(a),op_Y5cEcQhyKu(b,162))
    return count


⋮∠a = { ((a⪁⨴⋨a)⩍⋽⫝̸(a⨳⩥⨓468)) , if (↞≼a)<54 ; (⊖(a⪚a)) , else }

def op_qc7n42dByr(a):
    if op_DE7zCoGJt9(a) < 54:
        return op_BiWNJpBvwn(op_y2kQTS4a70(a,a),op_nCS4ZIUYfx(a,468))
    else:
        return op_U6pG0PXrV3(op_HrjLwUk87U(a,a))

def op_count_qc7n42dByr(a):
    if op_DE7zCoGJt9(a) < 54:
        count = op_count_y2kQTS4a70(a,a)+op_count_nCS4ZIUYfx(a,468)+op_count_BiWNJpBvwn(op_y2kQTS4a70(a,a),op_nCS4ZIUYfx(a,468))+op_count_DE7zCoGJt9(a)
    else:
        count = op_count_HrjLwUk87U(a,a)+op_count_U6pG0PXrV3(op_HrjLwUk87U(a,a))
    return count


def op_Q1zyOcezdx(a, b):
    return op_ap3xiM279w(op_QKXs96F9fN(a),b)

def op_count_Q1zyOcezdx(a, b):
    count = op_count_QKXs96F9fN(a)+op_count_ap3xiM279w(op_QKXs96F9fN(a),b)
    return count


⋶⇓⊆a = { (((⫟a)⫰⋱(a⩣⊵⩗a))⋟⫀⨗((a⫸⇳a)⊀⪪⫸)) }

def op_qjjQIhOD5T(a):
    return op_dAAkup5nzi(op_6o9Blt3TJ6(op_z4E1FaHLuy(a),op_wsXFuL0hC6(a,a)),op_UIU2Eox550(op_gx7XJ7hdpj(a,a)))

def op_count_qjjQIhOD5T(a):
    count = op_count_z4E1FaHLuy(a)+op_count_wsXFuL0hC6(a,a)+op_count_6o9Blt3TJ6(op_z4E1FaHLuy(a),op_wsXFuL0hC6(a,a))+op_count_gx7XJ7hdpj(a,a)+op_count_UIU2Eox550(op_gx7XJ7hdpj(a,a))+op_count_dAAkup5nzi(op_6o9Blt3TJ6(op_z4E1FaHLuy(a),op_wsXFuL0hC6(a,a)),op_UIU2Eox550(op_gx7XJ7hdpj(a,a)))
    return count


def op_tDasX7t0Bh(a):
    return op_BiWNJpBvwn(937,op_pB6Fcnrjim(op_GMyVS5K48T(a,a)))

def op_count_tDasX7t0Bh(a):
    count = op_count_GMyVS5K48T(a,a)+op_count_pB6Fcnrjim(op_GMyVS5K48T(a,a))+op_count_BiWNJpBvwn(937,op_pB6Fcnrjim(op_GMyVS5K48T(a,a)))
    return count


def op_S5nS5IR4MP(a, b):
    return op_ztP7wcbY7m(op_4JB6nKBMSY(b,a))

def op_count_S5nS5IR4MP(a, b):
    count = op_count_4JB6nKBMSY(b,a)+op_count_ztP7wcbY7m(op_4JB6nKBMSY(b,a))
    return count


def op_OvpvhtAkoY(a):
    return op_EBcxylXtPf(op_keuJNkrrbj(a,75))

def op_count_OvpvhtAkoY(a):
    count = op_count_keuJNkrrbj(a,75)+op_count_EBcxylXtPf(op_keuJNkrrbj(a,75))
    return count


⇫a = { (a∇⊂⋱a) , if (∋∴a)==34 ; (∓a) , else }

def op_k7dXhNl1V5(a):
    if op_nouZ5SZjt1(a) == 34:
        return op_nhYeJWJD5X(a,a)
    else:
        return op_OwUj7dcsQK(a)

def op_count_k7dXhNl1V5(a):
    if op_nouZ5SZjt1(a) == 34:
        count = op_count_nhYeJWJD5X(a,a)+op_count_nouZ5SZjt1(a)
    else:
        count = op_count_OwUj7dcsQK(a)
    return count


def op_x5p3WF8YzS(a, b):
    return op_kuIXHzHcAH(op_2O29ZX4yK6(b),op_g55IO6H4Gj(a,b))

def op_count_x5p3WF8YzS(a, b):
    count = op_count_2O29ZX4yK6(b)+op_count_g55IO6H4Gj(a,b)+op_count_kuIXHzHcAH(op_2O29ZX4yK6(b),op_g55IO6H4Gj(a,b))
    return count


def op_9Mv3TGYLiV(a):
    return op_lAOUD4ZMWV(op_IxJHfR5psi(op_hFnZRMLNSM(a),op_Lhk0YGb717(a)))

def op_count_9Mv3TGYLiV(a):
    count = op_count_hFnZRMLNSM(a)+op_count_Lhk0YGb717(a)+op_count_IxJHfR5psi(op_hFnZRMLNSM(a),op_Lhk0YGb717(a))+op_count_lAOUD4ZMWV(op_IxJHfR5psi(op_hFnZRMLNSM(a),op_Lhk0YGb717(a)))
    return count


def op_sgEubufFhX(a):
    if op_FyVja0WsTP(a,929) >= 593:
        return op_hmlrMsD2PO(394,a)
    else:
        return op_uOZ1tnYMDE(a)

def op_count_sgEubufFhX(a):
    if op_FyVja0WsTP(a,929) >= 593:
        count = op_count_hmlrMsD2PO(394,a)+op_count_FyVja0WsTP(a,929)
    else:
        count = op_count_uOZ1tnYMDE(a)
    return count


def op_s4gCNs8pnH(a, b):
    if b > 41:
        return op_umQnsF7QlU(331,a)
    else:
        return op_dfKe02y8D2(357,b)

def op_count_s4gCNs8pnH(a, b):
    if b > 41:
        count = op_count_umQnsF7QlU(331,a)
    else:
        count = op_count_dfKe02y8D2(357,b)
    return count


a∣⪚ = { (a∀⩎⋷a) , if a!=65 or (⨇⪄⫏a)>=563 ; (⩷a) , else }

def op_07rLKvPpUj(a):
    if a != 65 or op_B4c4JXCTtZ(a) >= 563:
        return op_FPxP5Y1j0W(a,a)
    else:
        return op_1h0rLqGiFr(a)

def op_count_07rLKvPpUj(a):
    if a != 65 or op_B4c4JXCTtZ(a) >= 563:
        count = op_count_FPxP5Y1j0W(a,a)+op_count_B4c4JXCTtZ(a)
    else:
        count = op_count_1h0rLqGiFr(a)
    return count


a⫚⨥ = { (((↡a)⪈⋁⩁(a⫁⪎a))⊉≛↸((a↾⩰)⨐(∤a))) , if (⪀≱a)>=131 ; a , else }

def op_5htHiqXdCj(a):
    if op_tDVI6bDdAd(a) >= 131:
        return op_DZ8iAZOCBD(op_GMyVS5K48T(op_MXaNJeIAZ3(a),op_xRrnTEsQ6j(a,a)),op_Noe24qw2ks(op_GNmBfxrna9(a),op_k2HlF1dBQh(a)))
    else:
        return a

def op_count_5htHiqXdCj(a):
    if op_tDVI6bDdAd(a) >= 131:
        count = op_count_MXaNJeIAZ3(a)+op_count_xRrnTEsQ6j(a,a)+op_count_GMyVS5K48T(op_MXaNJeIAZ3(a),op_xRrnTEsQ6j(a,a))+op_count_GNmBfxrna9(a)+op_count_k2HlF1dBQh(a)+op_count_Noe24qw2ks(op_GNmBfxrna9(a),op_k2HlF1dBQh(a))+op_count_DZ8iAZOCBD(op_GMyVS5K48T(op_MXaNJeIAZ3(a),op_xRrnTEsQ6j(a,a)),op_Noe24qw2ks(op_GNmBfxrna9(a),op_k2HlF1dBQh(a)))+op_count_tDVI6bDdAd(a)
    else:
        count = 1
    return count


a∴⪏b = { (((a⊲⩕⊾b)⨲⇖⇮)⋅⇍((a↮⪈⫰)⩷∴(b⊵18))) , if a==170 ; ((b∈)∝((251↜⊷b)⩽⩡(b⊝⪿⪼106))) , else }

def op_4XKlyKzzXk(a, b):
    if a == 170:
        return op_AdZkA7nFnk(op_oj4YnGA3cE(op_DmTXOeWf9t(a,b)),op_9FxExcQeMw(op_MKpoIoBJCf(a),op_eaFBhJ0Uku(b,18)))
    else:
        return op_cTDWOvIxvz(op_ztP7wcbY7m(b),op_zFNL8mZEFB(op_irKjLsMeKy(251,b),op_3Oe9XWJUTD(b,106)))

def op_count_4XKlyKzzXk(a, b):
    if a == 170:
        count = op_count_DmTXOeWf9t(a,b)+op_count_oj4YnGA3cE(op_DmTXOeWf9t(a,b))+op_count_MKpoIoBJCf(a)+op_count_eaFBhJ0Uku(b,18)+op_count_9FxExcQeMw(op_MKpoIoBJCf(a),op_eaFBhJ0Uku(b,18))+op_count_AdZkA7nFnk(op_oj4YnGA3cE(op_DmTXOeWf9t(a,b)),op_9FxExcQeMw(op_MKpoIoBJCf(a),op_eaFBhJ0Uku(b,18)))
    else:
        count = op_count_ztP7wcbY7m(b)+op_count_irKjLsMeKy(251,b)+op_count_3Oe9XWJUTD(b,106)+op_count_zFNL8mZEFB(op_irKjLsMeKy(251,b),op_3Oe9XWJUTD(b,106))+op_count_cTDWOvIxvz(op_ztP7wcbY7m(b),op_zFNL8mZEFB(op_irKjLsMeKy(251,b),op_3Oe9XWJUTD(b,106)))
    return count


a≽b = { (((⇺⪔⩬b)∫⋜⩖(⨍⩸↶554))≦↸(↰⫏(249⨑⋨a))) , if (b⋰⇉∕491)!=111 ; (((⩯≢≕a)⩷∴(b⨔⇊a))⪭((b⋆⊨a)⩌(a≚⊃≕b))) , else }

def op_bs7D9C0JKx(a, b):
    if op_sM9mzqIDB1(b,491) != 111:
        return op_RygbFNSyEJ(op_JgXZM7XvWE(op_lAOUD4ZMWV(b),op_2jG7DiviLq(554)),op_UeUK5QjOtW(op_tIhPxZTbsh(249,a)))
    else:
        return op_j9kHMeSvPp(op_9FxExcQeMw(op_840vADziXz(a),op_JclMnS0uGI(b,a)),op_UoVew8f2p2(op_uTBsSls0VN(b,a),op_Bmrmz2XGnR(a,b)))

def op_count_bs7D9C0JKx(a, b):
    if op_sM9mzqIDB1(b,491) != 111:
        count = op_count_lAOUD4ZMWV(b)+op_count_2jG7DiviLq(554)+op_count_JgXZM7XvWE(op_lAOUD4ZMWV(b),op_2jG7DiviLq(554))+op_count_tIhPxZTbsh(249,a)+op_count_UeUK5QjOtW(op_tIhPxZTbsh(249,a))+op_count_RygbFNSyEJ(op_JgXZM7XvWE(op_lAOUD4ZMWV(b),op_2jG7DiviLq(554)),op_UeUK5QjOtW(op_tIhPxZTbsh(249,a)))+op_count_sM9mzqIDB1(b,491)
    else:
        count = op_count_840vADziXz(a)+op_count_JclMnS0uGI(b,a)+op_count_9FxExcQeMw(op_840vADziXz(a),op_JclMnS0uGI(b,a))+op_count_uTBsSls0VN(b,a)+op_count_Bmrmz2XGnR(a,b)+op_count_UoVew8f2p2(op_uTBsSls0VN(b,a),op_Bmrmz2XGnR(a,b))+op_count_j9kHMeSvPp(op_9FxExcQeMw(op_840vADziXz(a),op_JclMnS0uGI(b,a)),op_UoVew8f2p2(op_uTBsSls0VN(b,a),op_Bmrmz2XGnR(a,b)))
    return count


def op_K4mq4RyTKW(a, b):
    return op_JoLB3LXqXx(op_QMFrweE19q(a,b),op_rv8OxMkTSD(a))

def op_count_K4mq4RyTKW(a, b):
    count = op_count_QMFrweE19q(a,b)+op_count_rv8OxMkTSD(a)+op_count_JoLB3LXqXx(op_QMFrweE19q(a,b),op_rv8OxMkTSD(a))
    return count


def op_0MhWYBQRkt(a, b):
    return op_KPf6cnQVty(op_dfKe02y8D2(b,a),op_9FxExcQeMw(b,b))

def op_count_0MhWYBQRkt(a, b):
    count = op_count_dfKe02y8D2(b,a)+op_count_9FxExcQeMw(b,b)+op_count_KPf6cnQVty(op_dfKe02y8D2(b,a),op_9FxExcQeMw(b,b))
    return count


a⫩⇖⊚ = { ((⋾a)⇪⋱) , if a==316 ; a , else }

def op_QNPXGx1oVE(a):
    if a == 316:
        return op_MKzNxCV7Yo(op_8TQKPGA8Ba(a))
    else:
        return a

def op_count_QNPXGx1oVE(a):
    if a == 316:
        count = op_count_8TQKPGA8Ba(a)+op_count_MKzNxCV7Yo(op_8TQKPGA8Ba(a))
    else:
        count = 1
    return count


a⪇⋗ = { ((a⩉⊫⨁)⋘(a≚⊃≕a)) , if (a∏⇴30)>449 ; a , else }

def op_7jqYwnJmZf(a):
    if op_Rw46J52cBJ(a,30) > 449:
        return op_2M7SKlOzyM(op_7qqUquhhSb(a),op_Bmrmz2XGnR(a,a))
    else:
        return a

def op_count_7jqYwnJmZf(a):
    if op_Rw46J52cBJ(a,30) > 449:
        count = op_count_7qqUquhhSb(a)+op_count_Bmrmz2XGnR(a,a)+op_count_2M7SKlOzyM(op_7qqUquhhSb(a),op_Bmrmz2XGnR(a,a))+op_count_Rw46J52cBJ(a,30)
    else:
        count = 1
    return count


a⫿⪟≴ = { ((a↼⊘⨖a)⋷(a≧⊼a)) , if (a⩆≶⊌)==130 and a<=159 ; (∛⊵(a⪍↜⋙225)) , else }

def op_TXMyTytpMx(a):
    if op_PZaICrJanm(a) == 130 and a <= 159:
        return op_23Mk6UjR3U(op_bPywburJMS(a,a),op_JoLB3LXqXx(a,a))
    else:
        return op_jfYOP67v6Y(op_L05ObWFQCd(a,225))

def op_count_TXMyTytpMx(a):
    if op_PZaICrJanm(a) == 130 and a <= 159:
        count = op_count_bPywburJMS(a,a)+op_count_JoLB3LXqXx(a,a)+op_count_23Mk6UjR3U(op_bPywburJMS(a,a),op_JoLB3LXqXx(a,a))+op_count_PZaICrJanm(a)
    else:
        count = op_count_L05ObWFQCd(a,225)+op_count_jfYOP67v6Y(op_L05ObWFQCd(a,225))
    return count


a↕≻b = { (((a⇼⇔∾a)≃(b⊓≱a))≽⪈↿(⊢≑≆(a⫗⊒⇾b))) }

def op_ccAshUO0WJ(a, b):
    return op_inCIaGQf8u(op_YbVcJGFEVW(op_tifHPKVTfV(a,a),op_VCG3UHNzLR(b,a)),op_27wFxooxGf(op_hiBDRd40bf(a,b)))

def op_count_ccAshUO0WJ(a, b):
    count = op_count_tifHPKVTfV(a,a)+op_count_VCG3UHNzLR(b,a)+op_count_YbVcJGFEVW(op_tifHPKVTfV(a,a),op_VCG3UHNzLR(b,a))+op_count_hiBDRd40bf(a,b)+op_count_27wFxooxGf(op_hiBDRd40bf(a,b))+op_count_inCIaGQf8u(op_YbVcJGFEVW(op_tifHPKVTfV(a,a),op_VCG3UHNzLR(b,a)),op_27wFxooxGf(op_hiBDRd40bf(a,b)))
    return count


a⫐⫝̸b = { ((357⊢(a⊭a))⋥≓≎((⋂b)⇤(a⊋≦⊧a))) }

def op_pw9FOgV8Xd(a, b):
    return op_Qy55tPpLXF(op_5twsqlHp2o(357,op_4JGOJzXMq1(a,a)),op_YSKBFp38Pu(op_BUOGQAYlQx(b),op_oRDoc9rAEX(a,a)))

def op_count_pw9FOgV8Xd(a, b):
    count = op_count_4JGOJzXMq1(a,a)+op_count_5twsqlHp2o(357,op_4JGOJzXMq1(a,a))+op_count_BUOGQAYlQx(b)+op_count_oRDoc9rAEX(a,a)+op_count_YSKBFp38Pu(op_BUOGQAYlQx(b),op_oRDoc9rAEX(a,a))+op_count_Qy55tPpLXF(op_5twsqlHp2o(357,op_4JGOJzXMq1(a,a)),op_YSKBFp38Pu(op_BUOGQAYlQx(b),op_oRDoc9rAEX(a,a)))
    return count


def op_hy5IL4GG6G(a, b):
    if op_ar1w6gUwHX(a,651) < 17:
        return op_DO4fhlbJSI(op_09Ly4LVMIf(op_B3sABdIn96(a),op_QMFrweE19q(14,b)))
    else:
        return op_3tVxb0NHM4(op_tnyRA5sazQ(op_rPNtK4BLRO(20,b),op_IjUb3wyICU(b)),op_tnyRA5sazQ(op_y2kQTS4a70(b,a),op_KbjG8mgYpV(474,b)))

def op_count_hy5IL4GG6G(a, b):
    if op_ar1w6gUwHX(a,651) < 17:
        count = op_count_B3sABdIn96(a)+op_count_QMFrweE19q(14,b)+op_count_09Ly4LVMIf(op_B3sABdIn96(a),op_QMFrweE19q(14,b))+op_count_DO4fhlbJSI(op_09Ly4LVMIf(op_B3sABdIn96(a),op_QMFrweE19q(14,b)))+op_count_ar1w6gUwHX(a,651)
    else:
        count = op_count_rPNtK4BLRO(20,b)+op_count_IjUb3wyICU(b)+op_count_tnyRA5sazQ(op_rPNtK4BLRO(20,b),op_IjUb3wyICU(b))+op_count_y2kQTS4a70(b,a)+op_count_KbjG8mgYpV(474,b)+op_count_tnyRA5sazQ(op_y2kQTS4a70(b,a),op_KbjG8mgYpV(474,b))+op_count_3tVxb0NHM4(op_tnyRA5sazQ(op_rPNtK4BLRO(20,b),op_IjUb3wyICU(b)),op_tnyRA5sazQ(op_y2kQTS4a70(b,a),op_KbjG8mgYpV(474,b)))
    return count


def op_UbRQl8i18B(a):
    return op_OwUj7dcsQK(op_tnyRA5sazQ(875,a))

def op_count_UbRQl8i18B(a):
    count = op_count_tnyRA5sazQ(875,a)+op_count_OwUj7dcsQK(op_tnyRA5sazQ(875,a))
    return count


def op_DaGtvK0FhA(a, b):
    if op_BAIXFdYaz3(b,803) < 330:
        return op_uPb5QRN0te(op_2GS7woTJqF(op_texHS70gxN(a),op_aSik1wnThz(190)))
    else:
        return op_RPa3726CSl(op_JgXZM7XvWE(op_2z8nE7LpCu(b,b),op_Qy55tPpLXF(a,a)))

def op_count_DaGtvK0FhA(a, b):
    if op_BAIXFdYaz3(b,803) < 330:
        count = op_count_texHS70gxN(a)+op_count_aSik1wnThz(190)+op_count_2GS7woTJqF(op_texHS70gxN(a),op_aSik1wnThz(190))+op_count_uPb5QRN0te(op_2GS7woTJqF(op_texHS70gxN(a),op_aSik1wnThz(190)))+op_count_BAIXFdYaz3(b,803)
    else:
        count = op_count_2z8nE7LpCu(b,b)+op_count_Qy55tPpLXF(a,a)+op_count_JgXZM7XvWE(op_2z8nE7LpCu(b,b),op_Qy55tPpLXF(a,a))+op_count_RPa3726CSl(op_JgXZM7XvWE(op_2z8nE7LpCu(b,b),op_Qy55tPpLXF(a,a)))
    return count


def op_wLFAaebWLN(a, b):
    return op_KYL1uVeVpb(a,op_Kn0TacbtGK(op_3YWlZA9bsa(b,a)))

def op_count_wLFAaebWLN(a, b):
    count = op_count_3YWlZA9bsa(b,a)+op_count_Kn0TacbtGK(op_3YWlZA9bsa(b,a))+op_count_KYL1uVeVpb(a,op_Kn0TacbtGK(op_3YWlZA9bsa(b,a)))
    return count


def op_oTllPdSnNW(a):
    return op_2DDjHMKMc0(a,op_ZNVVrZ94lY(a))

def op_count_oTllPdSnNW(a):
    count = op_count_ZNVVrZ94lY(a)+op_count_2DDjHMKMc0(a,op_ZNVVrZ94lY(a))
    return count


def op_GVKbpSTzYu(a):
    return op_ObEyaaML9x(op_27wFxooxGf(a),op_uysxUYN2L2(a,a))

def op_count_GVKbpSTzYu(a):
    count = op_count_27wFxooxGf(a)+op_count_uysxUYN2L2(a,a)+op_count_ObEyaaML9x(op_27wFxooxGf(a),op_uysxUYN2L2(a,a))
    return count


a⫣≠⨄b = { (a≠≀a) , if (b⇩↽)!=22 ; (15∩⋅) , else }

def op_wcFAN6sfEp(a, b):
    if op_HjMFvreeUu(b) != 22:
        return op_IwW236VD4Y(a,a)
    else:
        return op_2MzE1hQ0cz(15)

def op_count_wcFAN6sfEp(a, b):
    if op_HjMFvreeUu(b) != 22:
        count = op_count_IwW236VD4Y(a,a)+op_count_HjMFvreeUu(b)
    else:
        count = op_count_2MzE1hQ0cz(15)
    return count


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

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


def op_Ikma4L65yo(a):
    return op_KYL1uVeVpb(96,op_g55IO6H4Gj(a,120))

def op_count_Ikma4L65yo(a):
    count = op_count_g55IO6H4Gj(a,120)+op_count_KYL1uVeVpb(96,op_g55IO6H4Gj(a,120))
    return count


⪔⋀a = { ((a⊕⨔)≚⊃≕(19⋞57)) , if (⩷a)<381 ; ((a⪶≀⋏a)⨑⋨(a⪯⫾⋍a)) , else }

def op_rvHLgphfVP(a):
    if op_1h0rLqGiFr(a) < 381:
        return op_Bmrmz2XGnR(op_ut0Nd8ObBp(a),op_V4yb4KDoeF(19,57))
    else:
        return op_tIhPxZTbsh(op_zR4jO40bMj(a,a),op_S5ZFQS4GK3(a,a))

def op_count_rvHLgphfVP(a):
    if op_1h0rLqGiFr(a) < 381:
        count = op_count_ut0Nd8ObBp(a)+op_count_V4yb4KDoeF(19,57)+op_count_Bmrmz2XGnR(op_ut0Nd8ObBp(a),op_V4yb4KDoeF(19,57))+op_count_1h0rLqGiFr(a)
    else:
        count = op_count_zR4jO40bMj(a,a)+op_count_S5ZFQS4GK3(a,a)+op_count_tIhPxZTbsh(op_zR4jO40bMj(a,a),op_S5ZFQS4GK3(a,a))
    return count


def op_ARQIcvwdiZ(a):
    return op_UIU2Eox550(op_jvbZP6NeOL(a))

def op_count_ARQIcvwdiZ(a):
    count = op_count_jvbZP6NeOL(a)+op_count_UIU2Eox550(op_jvbZP6NeOL(a))
    return count


def op_vwui270AnO(a):
    return op_Q2SPaKwpPJ(op_irKjLsMeKy(a,op_Sq3AGanRSD(a,a)),op_4CyGpkTkEk(op_HmxsFra2vL(a,a)))

def op_count_vwui270AnO(a):
    count = op_count_Sq3AGanRSD(a,a)+op_count_irKjLsMeKy(a,op_Sq3AGanRSD(a,a))+op_count_HmxsFra2vL(a,a)+op_count_4CyGpkTkEk(op_HmxsFra2vL(a,a))+op_count_Q2SPaKwpPJ(op_irKjLsMeKy(a,op_Sq3AGanRSD(a,a)),op_4CyGpkTkEk(op_HmxsFra2vL(a,a)))
    return count


def op_I2IqpfOY7h(a):
    if (op_NrdPCfJQiM(a,270) > 150 or a == 57):
        return op_csT5a4elgc(a)
    else:
        return op_cFVlceoRkX(op_jfYOP67v6Y(op_cTDWOvIxvz(152,a)),op_csT5a4elgc(op_z4E1FaHLuy(a)))

def op_count_I2IqpfOY7h(a):
    if (op_NrdPCfJQiM(a,270) > 150 or a == 57):
        count = op_count_csT5a4elgc(a)+op_count_NrdPCfJQiM(a,270)
    else:
        count = op_count_cTDWOvIxvz(152,a)+op_count_jfYOP67v6Y(op_cTDWOvIxvz(152,a))+op_count_z4E1FaHLuy(a)+op_count_csT5a4elgc(op_z4E1FaHLuy(a))+op_count_cFVlceoRkX(op_jfYOP67v6Y(op_cTDWOvIxvz(152,a)),op_csT5a4elgc(op_z4E1FaHLuy(a)))
    return count


a⩉∽⪣b = { (b≭⫡b) , if (a⊚⨔)!=859 or (a⊎←↗)>=296 or (b⋙)==823 ; (⩪⩔b) , else }

def op_3U6LfyZyIC(a, b):
    if op_XbEAUggs3J(a) != 859 or op_dwb5p0fa6d(a) >= 296 or op_XZxEnkN3N0(b) == 823:
        return op_b1mGkbI4Oy(b,b)
    else:
        return op_Siyfjn51pv(b)

def op_count_3U6LfyZyIC(a, b):
    if op_XbEAUggs3J(a) != 859 or op_dwb5p0fa6d(a) >= 296 or op_XZxEnkN3N0(b) == 823:
        count = op_count_b1mGkbI4Oy(b,b)+op_count_XbEAUggs3J(a)+op_count_dwb5p0fa6d(a)+op_count_XZxEnkN3N0(b)
    else:
        count = op_count_Siyfjn51pv(b)
    return count


a≎↺ = { (⪁≄a) , if a>=689 ; (a∺≝⩲a) , else }

def op_vEwpjWHKgf(a):
    if a >= 689:
        return op_2O29ZX4yK6(a)
    else:
        return op_KPf6cnQVty(a,a)

def op_count_vEwpjWHKgf(a):
    if a >= 689:
        count = op_count_2O29ZX4yK6(a)
    else:
        count = op_count_KPf6cnQVty(a,a)
    return count


a⩚∋b = { ((⇋↷a)⇢(⊫∐⫩b)) , if (b∮⨁)!=191 ; (a⨁⊸⫻) , else }

def op_b5mRhv1JNt(a, b):
    if op_TytFGXR7Zf(b) != 191:
        return op_GMN7JP6WpN(op_SWo3A1KBJH(a),op_gSr4c7pPrV(b))
    else:
        return op_glklzrTFfD(a)

def op_count_b5mRhv1JNt(a, b):
    if op_TytFGXR7Zf(b) != 191:
        count = op_count_SWo3A1KBJH(a)+op_count_gSr4c7pPrV(b)+op_count_GMN7JP6WpN(op_SWo3A1KBJH(a),op_gSr4c7pPrV(b))+op_count_TytFGXR7Zf(b)
    else:
        count = op_count_glklzrTFfD(a)
    return count


a↟⇝b = { (((b≶b)⨑(b⇟⨁⪰))⩼⇪↪((28⊒b)-(a⨳⩥⨓b))) }

def op_YdxZk85PfS(a, b):
    return op_ocnLzx9CaJ(op_IxJHfR5psi(op_Q2SPaKwpPJ(b,b),op_BX1lVwlMe0(b)),op_rysDP5nf3Z(op_rPNtK4BLRO(28,b),op_nCS4ZIUYfx(a,b)))

def op_count_YdxZk85PfS(a, b):
    count = op_count_Q2SPaKwpPJ(b,b)+op_count_BX1lVwlMe0(b)+op_count_IxJHfR5psi(op_Q2SPaKwpPJ(b,b),op_BX1lVwlMe0(b))+op_count_rPNtK4BLRO(28,b)+op_count_nCS4ZIUYfx(a,b)+op_count_rysDP5nf3Z(op_rPNtK4BLRO(28,b),op_nCS4ZIUYfx(a,b))+op_count_ocnLzx9CaJ(op_IxJHfR5psi(op_Q2SPaKwpPJ(b,b),op_BX1lVwlMe0(b)),op_rysDP5nf3Z(op_rPNtK4BLRO(28,b),op_nCS4ZIUYfx(a,b)))
    return count


def op_dtPJiPwKOd(a):
    return op_7j4O788W3g(op_JFrVJKYFMX(a,a),op_DpFCA1CohY(691))

def op_count_dtPJiPwKOd(a):
    count = op_count_JFrVJKYFMX(a,a)+op_count_DpFCA1CohY(691)+op_count_7j4O788W3g(op_JFrVJKYFMX(a,a),op_DpFCA1CohY(691))
    return count


def op_4K99692Zgi(a):
    return op_qy3n0tapmE(op_4JGOJzXMq1(op_w2P8NbNXyL(a,a),op_l1M9WJ3V7u(462)),op_2Wsdkap16l(op_Ph9nP6C5qx(776,a),op_B3tNObfNaL(a)))

def op_count_4K99692Zgi(a):
    count = op_count_w2P8NbNXyL(a,a)+op_count_l1M9WJ3V7u(462)+op_count_4JGOJzXMq1(op_w2P8NbNXyL(a,a),op_l1M9WJ3V7u(462))+op_count_Ph9nP6C5qx(776,a)+op_count_B3tNObfNaL(a)+op_count_2Wsdkap16l(op_Ph9nP6C5qx(776,a),op_B3tNObfNaL(a))+op_count_qy3n0tapmE(op_4JGOJzXMq1(op_w2P8NbNXyL(a,a),op_l1M9WJ3V7u(462)),op_2Wsdkap16l(op_Ph9nP6C5qx(776,a),op_B3tNObfNaL(a)))
    return count


def op_I77jZxbMqF(a, b):
    return op_AYdpE9sXAk(op_tnyRA5sazQ(b,op_uTBsSls0VN(a,a)))

def op_count_I77jZxbMqF(a, b):
    count = op_count_uTBsSls0VN(a,a)+op_count_tnyRA5sazQ(b,op_uTBsSls0VN(a,a))+op_count_AYdpE9sXAk(op_tnyRA5sazQ(b,op_uTBsSls0VN(a,a)))
    return count


def op_hL8JPCYIkc(a, b):
    if op_rXAclfmB4M(b) <= 128 and op_2z8nE7LpCu(a,793) == 323:
        return a
    else:
        return op_HrjLwUk87U(op_nhYeJWJD5X(op_6l7ULzJsnZ(522),op_jBC4ymW3D7(a,233)),op_nCS4ZIUYfx(op_rXAclfmB4M(a),op_xoJmIySC7h(a,a)))

def op_count_hL8JPCYIkc(a, b):
    if op_rXAclfmB4M(b) <= 128 and op_2z8nE7LpCu(a,793) == 323:
        count = 1
    else:
        count = op_count_6l7ULzJsnZ(522)+op_count_jBC4ymW3D7(a,233)+op_count_nhYeJWJD5X(op_6l7ULzJsnZ(522),op_jBC4ymW3D7(a,233))+op_count_rXAclfmB4M(a)+op_count_xoJmIySC7h(a,a)+op_count_nCS4ZIUYfx(op_rXAclfmB4M(a),op_xoJmIySC7h(a,a))+op_count_HrjLwUk87U(op_nhYeJWJD5X(op_6l7ULzJsnZ(522),op_jBC4ymW3D7(a,233)),op_nCS4ZIUYfx(op_rXAclfmB4M(a),op_xoJmIySC7h(a,a)))
    return count


def op_LHjswSuruo(a, b):
    return op_HiPekx5b7W(a,op_FyVja0WsTP(op_B4c4JXCTtZ(b),op_hrf7POJlIJ(b,a)))

def op_count_LHjswSuruo(a, b):
    count = op_count_B4c4JXCTtZ(b)+op_count_hrf7POJlIJ(b,a)+op_count_FyVja0WsTP(op_B4c4JXCTtZ(b),op_hrf7POJlIJ(b,a))+op_count_HiPekx5b7W(a,op_FyVja0WsTP(op_B4c4JXCTtZ(b),op_hrf7POJlIJ(b,a)))
    return count


a↴↤b = { (((b↰)∣a)∅((a∅a)≚⊃≕(a∲⫑a))) , if b>473 ; (((a∠↢a)≽↲≰(b⩦a))⪭((⇺⪔⩬611)⊀⪪⫸)) , else }

def op_HdNtoxZyhx(a, b):
    if b > 473:
        return op_giaUb8UVhq(op_PPChnnnBFF(op_bl5wxAcryP(b),a),op_Bmrmz2XGnR(op_giaUb8UVhq(a,a),op_NrdPCfJQiM(a,a)))
    else:
        return op_j9kHMeSvPp(op_cFVlceoRkX(op_KbjG8mgYpV(a,a),op_0kmYd0q39Y(b,a)),op_UIU2Eox550(op_lAOUD4ZMWV(611)))

def op_count_HdNtoxZyhx(a, b):
    if b > 473:
        count = op_count_bl5wxAcryP(b)+op_count_PPChnnnBFF(op_bl5wxAcryP(b),a)+op_count_giaUb8UVhq(a,a)+op_count_NrdPCfJQiM(a,a)+op_count_Bmrmz2XGnR(op_giaUb8UVhq(a,a),op_NrdPCfJQiM(a,a))+op_count_giaUb8UVhq(op_PPChnnnBFF(op_bl5wxAcryP(b),a),op_Bmrmz2XGnR(op_giaUb8UVhq(a,a),op_NrdPCfJQiM(a,a)))
    else:
        count = op_count_KbjG8mgYpV(a,a)+op_count_0kmYd0q39Y(b,a)+op_count_cFVlceoRkX(op_KbjG8mgYpV(a,a),op_0kmYd0q39Y(b,a))+op_count_lAOUD4ZMWV(611)+op_count_UIU2Eox550(op_lAOUD4ZMWV(611))+op_count_j9kHMeSvPp(op_cFVlceoRkX(op_KbjG8mgYpV(a,a),op_0kmYd0q39Y(b,a)),op_UIU2Eox550(op_lAOUD4ZMWV(611)))
    return count


def op_GZNMAtHQ0A(a, b):
    return op_8cLx32lpNA(op_inCIaGQf8u(b,a),op_cFVlceoRkX(a,b))

def op_count_GZNMAtHQ0A(a, b):
    count = op_count_inCIaGQf8u(b,a)+op_count_cFVlceoRkX(a,b)+op_count_8cLx32lpNA(op_inCIaGQf8u(b,a),op_cFVlceoRkX(a,b))
    return count


⫶⊿a = { ((⫇⨷a)⊉≛↸(a⊱⇼⊻a)) , if a!=67 ; a , else }

def op_KsrZRliHjM(a):
    if a != 67:
        return op_DZ8iAZOCBD(op_ct1hK6qyRt(a),op_FyVja0WsTP(a,a))
    else:
        return a

def op_count_KsrZRliHjM(a):
    if a != 67:
        count = op_count_ct1hK6qyRt(a)+op_count_FyVja0WsTP(a,a)+op_count_DZ8iAZOCBD(op_ct1hK6qyRt(a),op_FyVja0WsTP(a,a))
    else:
        count = 1
    return count


def op_HtQuFPdTwO(a):
    return op_irKjLsMeKy(op_OWnFPqjWlR(86,377),op_fLGIAiPz9h(a))

def op_count_HtQuFPdTwO(a):
    count = op_count_OWnFPqjWlR(86,377)+op_count_fLGIAiPz9h(a)+op_count_irKjLsMeKy(op_OWnFPqjWlR(86,377),op_fLGIAiPz9h(a))
    return count


def op_HI6EKyYwLR(a):
    if a == 211:
        return op_13TjBizFrQ(a)
    else:
        return op_8w2t5hMYqp(op_Cr5xnr8B4B(a,74))

def op_count_HI6EKyYwLR(a):
    if a == 211:
        count = op_count_13TjBizFrQ(a)
    else:
        count = op_count_Cr5xnr8B4B(a,74)+op_count_8w2t5hMYqp(op_Cr5xnr8B4B(a,74))
    return count


a⫌⇛b = { (((a⋎108)⨐(b≐→⇾))⪇≇⋚(⇝⋾⇵(⇠b))) }

def op_i8i4Li6g16(a, b):
    return op_3sJ7IOPOlU(op_Noe24qw2ks(op_qy3n0tapmE(a,108),op_zV3pqYiQ5E(b)),op_6l7ULzJsnZ(op_18saOjeKKm(b)))

def op_count_i8i4Li6g16(a, b):
    count = op_count_qy3n0tapmE(a,108)+op_count_zV3pqYiQ5E(b)+op_count_Noe24qw2ks(op_qy3n0tapmE(a,108),op_zV3pqYiQ5E(b))+op_count_18saOjeKKm(b)+op_count_6l7ULzJsnZ(op_18saOjeKKm(b))+op_count_3sJ7IOPOlU(op_Noe24qw2ks(op_qy3n0tapmE(a,108),op_zV3pqYiQ5E(b)),op_6l7ULzJsnZ(op_18saOjeKKm(b)))
    return count


⋃∊∑a = { (a⩚⊴⇥(a↜⊷a)) , if a==168 ; ((a⇌⫙⪟a)∌(a≻⇥≳16)) , else }

def op_ESGVt5Nk82(a):
    if a == 168:
        return op_NTOWxs364D(a,op_irKjLsMeKy(a,a))
    else:
        return op_8cLx32lpNA(op_AFVx7xoS7T(a,a),op_aiqF8n6J9c(a,16))

def op_count_ESGVt5Nk82(a):
    if a == 168:
        count = op_count_irKjLsMeKy(a,a)+op_count_NTOWxs364D(a,op_irKjLsMeKy(a,a))
    else:
        count = op_count_AFVx7xoS7T(a,a)+op_count_aiqF8n6J9c(a,16)+op_count_8cLx32lpNA(op_AFVx7xoS7T(a,a),op_aiqF8n6J9c(a,16))
    return count


a∮⫯⩲ = { (a⋅⇍a) , if (a>18 or (a⇇)<=489) ; (a⊬⫿⊭) , else }

def op_BwE1KQbirR(a):
    if (a > 18 or op_ieTw63T1Vx(a) <= 489):
        return op_AdZkA7nFnk(a,a)
    else:
        return op_v0DYgG9ikt(a)

def op_count_BwE1KQbirR(a):
    if (a > 18 or op_ieTw63T1Vx(a) <= 489):
        count = op_count_AdZkA7nFnk(a,a)+op_count_ieTw63T1Vx(a)
    else:
        count = op_count_v0DYgG9ikt(a)
    return count


def op_nPLRAeyZGm(a):
    if a > 210:
        return a
    else:
        return op_W7eaUhjymW(a)

def op_count_nPLRAeyZGm(a):
    if a > 210:
        count = 1
    else:
        count = op_count_W7eaUhjymW(a)
    return count


def op_PSfJVl3MUC(a):
    return op_keWfFq85dY(op_WObL9SsYVE(a,a))

def op_count_PSfJVl3MUC(a):
    count = op_count_WObL9SsYVE(a,a)+op_count_keWfFq85dY(op_WObL9SsYVE(a,a))
    return count


∺⊁⊺a = { ((⨡↴(121⪱⇝a))⇄((a∲⫓a)⋞(a⫇⋯a))) }

def op_j6xpuCeBbW(a):
    return op_3EYGwJThht(op_liw5iZPkLH(op_OTRTVPweYV(121,a)),op_V4yb4KDoeF(op_i8ToyICDmI(a,a),op_xoJmIySC7h(a,a)))

def op_count_j6xpuCeBbW(a):
    count = op_count_OTRTVPweYV(121,a)+op_count_liw5iZPkLH(op_OTRTVPweYV(121,a))+op_count_i8ToyICDmI(a,a)+op_count_xoJmIySC7h(a,a)+op_count_V4yb4KDoeF(op_i8ToyICDmI(a,a),op_xoJmIySC7h(a,a))+op_count_3EYGwJThht(op_liw5iZPkLH(op_OTRTVPweYV(121,a)),op_V4yb4KDoeF(op_i8ToyICDmI(a,a),op_xoJmIySC7h(a,a)))
    return count


⋁⨛a = { (((a⊔137)≭⫡(a⫸a))⇴((a⋳⪒7)⊝⨜≵)) , if (⨢⋑⪾a)<11 ; (a∏⇴(⇗⪘∲(a⩧⪆a))) , else }

def op_SSgfzlOy5C(a):
    if op_tmjFFOTKyA(a) < 11:
        return op_4JB6nKBMSY(op_b1mGkbI4Oy(op_E4l6HwMY31(a,137),op_Qaz2MhZaG5(a,a)),op_CuHhPb8RwQ(op_12rbrZMWeM(a,7)))
    else:
        return op_Rw46J52cBJ(a,op_j4geBLYVFK(op_Ikt5ks8PT7(a,a)))

def op_count_SSgfzlOy5C(a):
    if op_tmjFFOTKyA(a) < 11:
        count = op_count_E4l6HwMY31(a,137)+op_count_Qaz2MhZaG5(a,a)+op_count_b1mGkbI4Oy(op_E4l6HwMY31(a,137),op_Qaz2MhZaG5(a,a))+op_count_12rbrZMWeM(a,7)+op_count_CuHhPb8RwQ(op_12rbrZMWeM(a,7))+op_count_4JB6nKBMSY(op_b1mGkbI4Oy(op_E4l6HwMY31(a,137),op_Qaz2MhZaG5(a,a)),op_CuHhPb8RwQ(op_12rbrZMWeM(a,7)))+op_count_tmjFFOTKyA(a)
    else:
        count = op_count_Ikt5ks8PT7(a,a)+op_count_j4geBLYVFK(op_Ikt5ks8PT7(a,a))+op_count_Rw46J52cBJ(a,op_j4geBLYVFK(op_Ikt5ks8PT7(a,a)))
    return count


a↞⊦⋕b = { b , if (a⫩⊇)>219 ; (b⪐-b) , else }

def op_jV8AwRZkI7(a, b):
    if op_BjRHVeLaeN(a) > 219:
        return b
    else:
        return op_d8xe6WWVfM(b,b)

def op_count_jV8AwRZkI7(a, b):
    if op_BjRHVeLaeN(a) > 219:
        count = 1
    else:
        count = op_count_d8xe6WWVfM(b,b)
    return count


a⫐≩b = { (⪷∈↠(b⨓↿∉a)) , if b<402 ; ((a⋆⊨a)∇⊂⋱(a⫩⊇)) , else }

def op_RDbMZWh2v2(a, b):
    if b < 402:
        return op_Kn0TacbtGK(op_OWnFPqjWlR(b,a))
    else:
        return op_nhYeJWJD5X(op_uTBsSls0VN(a,a),op_BjRHVeLaeN(a))

def op_count_RDbMZWh2v2(a, b):
    if b < 402:
        count = op_count_OWnFPqjWlR(b,a)+op_count_Kn0TacbtGK(op_OWnFPqjWlR(b,a))
    else:
        count = op_count_uTBsSls0VN(a,a)+op_count_BjRHVeLaeN(a)+op_count_nhYeJWJD5X(op_uTBsSls0VN(a,a),op_BjRHVeLaeN(a))
    return count


def op_8ldKKjU4wV(a):
    return op_BiWNJpBvwn(op_s0kPeV9Vm2(a),op_sM9mzqIDB1(a,a))

def op_count_8ldKKjU4wV(a):
    count = op_count_s0kPeV9Vm2(a)+op_count_sM9mzqIDB1(a,a)+op_count_BiWNJpBvwn(op_s0kPeV9Vm2(a),op_sM9mzqIDB1(a,a))
    return count


def op_wFGzIcZ3iX(a, b):
    if b <= 237:
        return op_tifHPKVTfV(op_UeUK5QjOtW(op_09Ly4LVMIf(171,116)),op_BiWNJpBvwn(op_eewbuw0ToL(248,149),op_3EYGwJThht(a,a)))
    else:
        return op_7j4O788W3g(129,op_AFVx7xoS7T(op_KPf6cnQVty(462,b),op_KvubFp3XhO(133)))

def op_count_wFGzIcZ3iX(a, b):
    if b <= 237:
        count = op_count_09Ly4LVMIf(171,116)+op_count_UeUK5QjOtW(op_09Ly4LVMIf(171,116))+op_count_eewbuw0ToL(248,149)+op_count_3EYGwJThht(a,a)+op_count_BiWNJpBvwn(op_eewbuw0ToL(248,149),op_3EYGwJThht(a,a))+op_count_tifHPKVTfV(op_UeUK5QjOtW(op_09Ly4LVMIf(171,116)),op_BiWNJpBvwn(op_eewbuw0ToL(248,149),op_3EYGwJThht(a,a)))
    else:
        count = op_count_KPf6cnQVty(462,b)+op_count_KvubFp3XhO(133)+op_count_AFVx7xoS7T(op_KPf6cnQVty(462,b),op_KvubFp3XhO(133))+op_count_7j4O788W3g(129,op_AFVx7xoS7T(op_KPf6cnQVty(462,b),op_KvubFp3XhO(133)))
    return count


def op_Xl9shMzOPN(a, b):
    return op_9FxExcQeMw(op_uOZ1tnYMDE(op_Q9TX5pQS3Y(b)),op_Api82iH42a(op_LmY23Q1aIi(a),op_ancx8kZcWl(b)))

def op_count_Xl9shMzOPN(a, b):
    count = op_count_Q9TX5pQS3Y(b)+op_count_uOZ1tnYMDE(op_Q9TX5pQS3Y(b))+op_count_LmY23Q1aIi(a)+op_count_ancx8kZcWl(b)+op_count_Api82iH42a(op_LmY23Q1aIi(a),op_ancx8kZcWl(b))+op_count_9FxExcQeMw(op_uOZ1tnYMDE(op_Q9TX5pQS3Y(b)),op_Api82iH42a(op_LmY23Q1aIi(a),op_ancx8kZcWl(b)))
    return count


def op_B1QnekXghJ(a):
    return op_7PjNe5qSIJ(op_4CyGpkTkEk(op_SPuZE40Ntn(a,a)),op_WSbXXWOizJ(op_0JWJYFSzIQ(a,a),op_xUOZtlo3hN(a)))

def op_count_B1QnekXghJ(a):
    count = op_count_SPuZE40Ntn(a,a)+op_count_4CyGpkTkEk(op_SPuZE40Ntn(a,a))+op_count_0JWJYFSzIQ(a,a)+op_count_xUOZtlo3hN(a)+op_count_WSbXXWOizJ(op_0JWJYFSzIQ(a,a),op_xUOZtlo3hN(a))+op_count_7PjNe5qSIJ(op_4CyGpkTkEk(op_SPuZE40Ntn(a,a)),op_WSbXXWOizJ(op_0JWJYFSzIQ(a,a),op_xUOZtlo3hN(a)))
    return count


def op_qouGaO49oz(a):
    return op_g7Hmc5v1ko(715,a)

def op_count_qouGaO49oz(a):
    count = op_count_g7Hmc5v1ko(715,a)
    return count


def op_X37qppV6M2(a):
    return op_ocpzidtxKt(op_S3tN1ZzpSt(op_Siyfjn51pv(a),op_4kvgVkQeiQ(a)))

def op_count_X37qppV6M2(a):
    count = op_count_Siyfjn51pv(a)+op_count_4kvgVkQeiQ(a)+op_count_S3tN1ZzpSt(op_Siyfjn51pv(a),op_4kvgVkQeiQ(a))+op_count_ocpzidtxKt(op_S3tN1ZzpSt(op_Siyfjn51pv(a),op_4kvgVkQeiQ(a)))
    return count


def op_IYjkFnrPhj(a):
    return op_EWw2JM7wp4(op_N41Kp7NANJ(63),a)

def op_count_IYjkFnrPhj(a):
    count = op_count_N41Kp7NANJ(63)+op_count_EWw2JM7wp4(op_N41Kp7NANJ(63),a)
    return count


def op_r42jg1nETI(a, b):
    return op_KYL1uVeVpb(op_tifHPKVTfV(a,a),op_kweVJGAjhl(b))

def op_count_r42jg1nETI(a, b):
    count = op_count_tifHPKVTfV(a,a)+op_count_kweVJGAjhl(b)+op_count_KYL1uVeVpb(op_tifHPKVTfV(a,a),op_kweVJGAjhl(b))
    return count


def op_ue7CN0OZRe(a):
    return op_RPa3726CSl(op_Api82iH42a(a,a))

def op_count_ue7CN0OZRe(a):
    count = op_count_Api82iH42a(a,a)+op_count_RPa3726CSl(op_Api82iH42a(a,a))
    return count


def op_7BdAnqVCpm(a):
    return op_tnyRA5sazQ(op_fjqJgF5yyp(389),op_GMyVS5K48T(a,a))

def op_count_7BdAnqVCpm(a):
    count = op_count_fjqJgF5yyp(389)+op_count_GMyVS5K48T(a,a)+op_count_tnyRA5sazQ(op_fjqJgF5yyp(389),op_GMyVS5K48T(a,a))
    return count


a⩱⨟⋋ = { (((a⇤34)⪨≂(a⩒⫫a))⇼⇔∾((⩻⪛a)⨔⇊(a≘⨶))) , if a<405 ; (⨾∊⩁((a⋳⪒a)⪅)) , else }

def op_OaPFTkT3rt(a):
    if a < 405:
        return op_tifHPKVTfV(op_sdazOOVcIp(op_YSKBFp38Pu(a,34),op_KFSx94NKJn(a,a)),op_JclMnS0uGI(op_5RY6W0glyJ(a),op_aOI3TlLUAE(a)))
    else:
        return op_QErWpSDGk0(op_FB83X2dByY(op_12rbrZMWeM(a,a)))

def op_count_OaPFTkT3rt(a):
    if a < 405:
        count = op_count_YSKBFp38Pu(a,34)+op_count_KFSx94NKJn(a,a)+op_count_sdazOOVcIp(op_YSKBFp38Pu(a,34),op_KFSx94NKJn(a,a))+op_count_5RY6W0glyJ(a)+op_count_aOI3TlLUAE(a)+op_count_JclMnS0uGI(op_5RY6W0glyJ(a),op_aOI3TlLUAE(a))+op_count_tifHPKVTfV(op_sdazOOVcIp(op_YSKBFp38Pu(a,34),op_KFSx94NKJn(a,a)),op_JclMnS0uGI(op_5RY6W0glyJ(a),op_aOI3TlLUAE(a)))
    else:
        count = op_count_12rbrZMWeM(a,a)+op_count_FB83X2dByY(op_12rbrZMWeM(a,a))+op_count_QErWpSDGk0(op_FB83X2dByY(op_12rbrZMWeM(a,a)))
    return count


a⫲≮b = { (((b∫≲⋬)⨔⊶↷(b+b))⊨((b⩚⊴⇥b)⪍↜⋙(b⪖⪡a))) }

def op_3FKzo546dw(a, b):
    return op_vg4gO5BX6G(op_WObL9SsYVE(op_DNmMwa48aR(b),op_W4YGzv6Whe(b,b)),op_L05ObWFQCd(op_NTOWxs364D(b,b),op_7PjNe5qSIJ(b,a)))

def op_count_3FKzo546dw(a, b):
    count = op_count_DNmMwa48aR(b)+op_count_W4YGzv6Whe(b,b)+op_count_WObL9SsYVE(op_DNmMwa48aR(b),op_W4YGzv6Whe(b,b))+op_count_NTOWxs364D(b,b)+op_count_7PjNe5qSIJ(b,a)+op_count_L05ObWFQCd(op_NTOWxs364D(b,b),op_7PjNe5qSIJ(b,a))+op_count_vg4gO5BX6G(op_WObL9SsYVE(op_DNmMwa48aR(b),op_W4YGzv6Whe(b,b)),op_L05ObWFQCd(op_NTOWxs364D(b,b),op_7PjNe5qSIJ(b,a)))
    return count


def op_RdfFZieUng(a, b):
    return op_2MzE1hQ0cz(op_sdazOOVcIp(op_GMyVS5K48T(a,b),b))

def op_count_RdfFZieUng(a, b):
    count = op_count_GMyVS5K48T(a,b)+op_count_sdazOOVcIp(op_GMyVS5K48T(a,b),b)+op_count_2MzE1hQ0cz(op_sdazOOVcIp(op_GMyVS5K48T(a,b),b))
    return count


def op_od8mRrw25e(a):
    return op_t4WUHVGj7f(op_OKKcZfAt5B(op_eaFBhJ0Uku(a,a),op_L05ObWFQCd(a,a)))

def op_count_od8mRrw25e(a):
    count = op_count_eaFBhJ0Uku(a,a)+op_count_L05ObWFQCd(a,a)+op_count_OKKcZfAt5B(op_eaFBhJ0Uku(a,a),op_L05ObWFQCd(a,a))+op_count_t4WUHVGj7f(op_OKKcZfAt5B(op_eaFBhJ0Uku(a,a),op_L05ObWFQCd(a,a)))
    return count


a↳⨴⫋b = { ((↓⇌(b↪∷b))⪚((b⊚⨔)≚⊃≕(a≃588))) }

def op_bars6Y1s1I(a, b):
    return op_HrjLwUk87U(op_PxpmPgHHJV(op_Api82iH42a(b,b)),op_Bmrmz2XGnR(op_XbEAUggs3J(b),op_YbVcJGFEVW(a,588)))

def op_count_bars6Y1s1I(a, b):
    count = op_count_Api82iH42a(b,b)+op_count_PxpmPgHHJV(op_Api82iH42a(b,b))+op_count_XbEAUggs3J(b)+op_count_YbVcJGFEVW(a,588)+op_count_Bmrmz2XGnR(op_XbEAUggs3J(b),op_YbVcJGFEVW(a,588))+op_count_HrjLwUk87U(op_PxpmPgHHJV(op_Api82iH42a(b,b)),op_Bmrmz2XGnR(op_XbEAUggs3J(b),op_YbVcJGFEVW(a,588)))
    return count


def op_PTF4bShdoM(a):
    return op_glklzrTFfD(op_jfYOP67v6Y(op_3tVxb0NHM4(a,a)))

def op_count_PTF4bShdoM(a):
    count = op_count_3tVxb0NHM4(a,a)+op_count_jfYOP67v6Y(op_3tVxb0NHM4(a,a))+op_count_glklzrTFfD(op_jfYOP67v6Y(op_3tVxb0NHM4(a,a)))
    return count


def op_vhdvHNYmJ0(a):
    return op_64EQ39e0fC(op_pjdzZ5rP1Y(a),op_Y5cEcQhyKu(a,a))

def op_count_vhdvHNYmJ0(a):
    count = op_count_pjdzZ5rP1Y(a)+op_count_Y5cEcQhyKu(a,a)+op_count_64EQ39e0fC(op_pjdzZ5rP1Y(a),op_Y5cEcQhyKu(a,a))
    return count


def op_r4uCHgZyzG(a):
    return op_bPywburJMS(op_liw5iZPkLH(555),op_HJ9erzHUuu(a,a))

def op_count_r4uCHgZyzG(a):
    count = op_count_liw5iZPkLH(555)+op_count_HJ9erzHUuu(a,a)+op_count_bPywburJMS(op_liw5iZPkLH(555),op_HJ9erzHUuu(a,a))
    return count


a⩩∂ = { ((a∅a)⋢(a-∠a)) , if (⊡⇒⪪a)!=1 or (a⫼⨠887)==525 ; ((a⫸⇳a)⋐≟⩺(⊢≑≆a)) , else }

def op_w67tFxpMRK(a):
    if op_wisItNeSwq(a) != 1 or op_KYL1uVeVpb(a,887) == 525:
        return op_NdELin8EPX(op_giaUb8UVhq(a,a),op_s0IfDFCCuZ(a,a))
    else:
        return op_PjbVkMzmXE(op_gx7XJ7hdpj(a,a),op_27wFxooxGf(a))

def op_count_w67tFxpMRK(a):
    if op_wisItNeSwq(a) != 1 or op_KYL1uVeVpb(a,887) == 525:
        count = op_count_giaUb8UVhq(a,a)+op_count_s0IfDFCCuZ(a,a)+op_count_NdELin8EPX(op_giaUb8UVhq(a,a),op_s0IfDFCCuZ(a,a))+op_count_wisItNeSwq(a)+op_count_KYL1uVeVpb(a,887)
    else:
        count = op_count_gx7XJ7hdpj(a,a)+op_count_27wFxooxGf(a)+op_count_PjbVkMzmXE(op_gx7XJ7hdpj(a,a),op_27wFxooxGf(a))
    return count


def op_aFcW0vbqtX(a):
    if a != 174:
        return op_eaFBhJ0Uku(op_rXAclfmB4M(a),op_AnPstFaJd9(131))
    else:
        return op_1h0rLqGiFr(op_UoVew8f2p2(533,a))

def op_count_aFcW0vbqtX(a):
    if a != 174:
        count = op_count_rXAclfmB4M(a)+op_count_AnPstFaJd9(131)+op_count_eaFBhJ0Uku(op_rXAclfmB4M(a),op_AnPstFaJd9(131))
    else:
        count = op_count_UoVew8f2p2(533,a)+op_count_1h0rLqGiFr(op_UoVew8f2p2(533,a))
    return count


def op_lhrve3vigU(a):
    return op_w2P8NbNXyL(a,a)

def op_count_lhrve3vigU(a):
    count = op_count_w2P8NbNXyL(a,a)
    return count


def op_XLFSxamNWY(a):
    return op_RygbFNSyEJ(op_BUOGQAYlQx(op_5twsqlHp2o(284,186)),op_8cLx32lpNA(op_uOZ1tnYMDE(243),op_ZNVVrZ94lY(a)))

def op_count_XLFSxamNWY(a):
    count = op_count_5twsqlHp2o(284,186)+op_count_BUOGQAYlQx(op_5twsqlHp2o(284,186))+op_count_uOZ1tnYMDE(243)+op_count_ZNVVrZ94lY(a)+op_count_8cLx32lpNA(op_uOZ1tnYMDE(243),op_ZNVVrZ94lY(a))+op_count_RygbFNSyEJ(op_BUOGQAYlQx(op_5twsqlHp2o(284,186)),op_8cLx32lpNA(op_uOZ1tnYMDE(243),op_ZNVVrZ94lY(a)))
    return count


a⊴⩆⊰b = { (((b⫶b)⨚(99⇋∊))∅((a-b)⫗⊒⇾(a⊲⩕⊾b))) }

def op_hkd0AjIQJB(a, b):
    return op_giaUb8UVhq(op_nREPSIbpBE(op_BAIXFdYaz3(b,b),op_3FtlcrQcJU(99)),op_hiBDRd40bf(op_rysDP5nf3Z(a,b),op_DmTXOeWf9t(a,b)))

def op_count_hkd0AjIQJB(a, b):
    count = op_count_BAIXFdYaz3(b,b)+op_count_3FtlcrQcJU(99)+op_count_nREPSIbpBE(op_BAIXFdYaz3(b,b),op_3FtlcrQcJU(99))+op_count_rysDP5nf3Z(a,b)+op_count_DmTXOeWf9t(a,b)+op_count_hiBDRd40bf(op_rysDP5nf3Z(a,b),op_DmTXOeWf9t(a,b))+op_count_giaUb8UVhq(op_nREPSIbpBE(op_BAIXFdYaz3(b,b),op_3FtlcrQcJU(99)),op_hiBDRd40bf(op_rysDP5nf3Z(a,b),op_DmTXOeWf9t(a,b)))
    return count


def op_ToDhk4Lo3q(a):
    if op_sM9mzqIDB1(a,266) <= 119:
        return a
    else:
        return op_PZaICrJanm(267)

def op_count_ToDhk4Lo3q(a):
    if op_sM9mzqIDB1(a,266) <= 119:
        count = 1
    else:
        count = op_count_PZaICrJanm(267)
    return count


a⋘≐⇭b = { (≀↧⇸a) , if a>=166 ; (b⫸⇳b) , else }

def op_Am2kwplcWj(a, b):
    if a >= 166:
        return op_ljTHtUsqzn(a)
    else:
        return op_gx7XJ7hdpj(b,b)

def op_count_Am2kwplcWj(a, b):
    if a >= 166:
        count = op_count_ljTHtUsqzn(a)
    else:
        count = op_count_gx7XJ7hdpj(b,b)
    return count


↮a = { (a⨧↗⨷a) , if a>466 ; (⊙⨙⩍a) , else }

def op_ASIue62dCT(a):
    if a > 466:
        return op_WSbXXWOizJ(a,a)
    else:
        return op_ocpzidtxKt(a)

def op_count_ASIue62dCT(a):
    if a > 466:
        count = op_count_WSbXXWOizJ(a,a)
    else:
        count = op_count_ocpzidtxKt(a)
    return count


a⇌≑ = { (⨇⪄⫏a) , if a<252 ; ((a⫶a)+(a⇿⊰a)) , else }

def op_189xYf1rc3(a):
    if a < 252:
        return op_B4c4JXCTtZ(a)
    else:
        return op_W4YGzv6Whe(op_BAIXFdYaz3(a,a),op_ap3xiM279w(a,a))

def op_count_189xYf1rc3(a):
    if a < 252:
        count = op_count_B4c4JXCTtZ(a)
    else:
        count = op_count_BAIXFdYaz3(a,a)+op_count_ap3xiM279w(a,a)+op_count_W4YGzv6Whe(op_BAIXFdYaz3(a,a),op_ap3xiM279w(a,a))
    return count


a⊸↶ = { ((a⪇≇⋚a)∅(a⨓↿∉a)) , if a>=704 ; ((⫭≬a)⋆⊨(a⨊⨠)) , else }

def op_hPV4WEkKAR(a):
    if a >= 704:
        return op_giaUb8UVhq(op_3sJ7IOPOlU(a,a),op_OWnFPqjWlR(a,a))
    else:
        return op_uTBsSls0VN(op_S7Dkc5Re0B(a),op_qU6oQAhJaQ(a))

def op_count_hPV4WEkKAR(a):
    if a >= 704:
        count = op_count_3sJ7IOPOlU(a,a)+op_count_OWnFPqjWlR(a,a)+op_count_giaUb8UVhq(op_3sJ7IOPOlU(a,a),op_OWnFPqjWlR(a,a))
    else:
        count = op_count_S7Dkc5Re0B(a)+op_count_qU6oQAhJaQ(a)+op_count_uTBsSls0VN(op_S7Dkc5Re0B(a),op_qU6oQAhJaQ(a))
    return count


def op_Ycm9kuyCpn(a):
    return op_RygbFNSyEJ(op_iuk5sVOGFA(a),op_WSbXXWOizJ(a,a))

def op_count_Ycm9kuyCpn(a):
    count = op_count_iuk5sVOGFA(a)+op_count_WSbXXWOizJ(a,a)+op_count_RygbFNSyEJ(op_iuk5sVOGFA(a),op_WSbXXWOizJ(a,a))
    return count


def op_l7434f8Lhu(a):
    return op_86A5ENbKR9(op_Ikt5ks8PT7(345,a))

def op_count_l7434f8Lhu(a):
    count = op_count_Ikt5ks8PT7(345,a)+op_count_86A5ENbKR9(op_Ikt5ks8PT7(345,a))
    return count


def op_DK0EyP8F00(a):
    return op_6o9Blt3TJ6(op_LYeZOJ0nQG(a),op_nbuSfrB4hB(a,a))

def op_count_DK0EyP8F00(a):
    count = op_count_LYeZOJ0nQG(a)+op_count_nbuSfrB4hB(a,a)+op_count_6o9Blt3TJ6(op_LYeZOJ0nQG(a),op_nbuSfrB4hB(a,a))
    return count


a⩐⨲ = { (((a⨽⪊≇)≋⊢≽)≟⫹(⫊≏⨉(a⋳/a))) , if a>294 ; ((a⊚⨔)≣418) , else }

def op_BnI9faCZO4(a):
    if a > 294:
        return op_z2JHNkvbdm(op_Lhk0YGb717(op_nlCqmYiOvY(a)),op_KED7KUUlGq(op_m612RDITqL(a,a)))
    else:
        return op_ObEyaaML9x(op_XbEAUggs3J(a),418)

def op_count_BnI9faCZO4(a):
    if a > 294:
        count = op_count_nlCqmYiOvY(a)+op_count_Lhk0YGb717(op_nlCqmYiOvY(a))+op_count_m612RDITqL(a,a)+op_count_KED7KUUlGq(op_m612RDITqL(a,a))+op_count_z2JHNkvbdm(op_Lhk0YGb717(op_nlCqmYiOvY(a)),op_KED7KUUlGq(op_m612RDITqL(a,a)))
    else:
        count = op_count_XbEAUggs3J(a)+op_count_ObEyaaML9x(op_XbEAUggs3J(a),418)
    return count


⨾⩌⪕a = { (((a⊢≏≾a)⪁⨴⋨(a⪁⨴⋨66))⪨≂((a⩣⫁∢a)⫚↹⊑(a⫡⨏a))) }

def op_uRbtvZtfgl(a):
    return op_sdazOOVcIp(op_y2kQTS4a70(op_qxqspddX8k(a,a),op_y2kQTS4a70(a,66)),op_dfKe02y8D2(op_JDUIKTTSIa(a,a),op_QMFrweE19q(a,a)))

def op_count_uRbtvZtfgl(a):
    count = op_count_qxqspddX8k(a,a)+op_count_y2kQTS4a70(a,66)+op_count_y2kQTS4a70(op_qxqspddX8k(a,a),op_y2kQTS4a70(a,66))+op_count_JDUIKTTSIa(a,a)+op_count_QMFrweE19q(a,a)+op_count_dfKe02y8D2(op_JDUIKTTSIa(a,a),op_QMFrweE19q(a,a))+op_count_sdazOOVcIp(op_y2kQTS4a70(op_qxqspddX8k(a,a),op_y2kQTS4a70(a,66)),op_dfKe02y8D2(op_JDUIKTTSIa(a,a),op_QMFrweE19q(a,a)))
    return count


def op_RZHIcB1ksw(a):
    return op_7PjNe5qSIJ(op_zoVPnxeHJ3(a),op_UoVew8f2p2(a,606))

def op_count_RZHIcB1ksw(a):
    count = op_count_zoVPnxeHJ3(a)+op_count_UoVew8f2p2(a,606)+op_count_7PjNe5qSIJ(op_zoVPnxeHJ3(a),op_UoVew8f2p2(a,606))
    return count


def op_nn12MmQnlr(a):
    return op_KFSx94NKJn(op_EBcxylXtPf(240),op_qAljGMXEZr(a))

def op_count_nn12MmQnlr(a):
    count = op_count_EBcxylXtPf(240)+op_count_qAljGMXEZr(a)+op_count_KFSx94NKJn(op_EBcxylXtPf(240),op_qAljGMXEZr(a))
    return count


def op_J8XgpbiY9M(a, b):
    return op_YjI8oCXuph(op_B4c4JXCTtZ(op_s0IfDFCCuZ(b,a)))

def op_count_J8XgpbiY9M(a, b):
    count = op_count_s0IfDFCCuZ(b,a)+op_count_B4c4JXCTtZ(op_s0IfDFCCuZ(b,a))+op_count_YjI8oCXuph(op_B4c4JXCTtZ(op_s0IfDFCCuZ(b,a)))
    return count


a⫥ = { ((a∴≳≥)⩵∡(a⩤)) , if (a≜)>207 ; a , else }

def op_8nyEdyiRPu(a):
    if op_jvbZP6NeOL(a) > 207:
        return op_Y7wcNGrDQJ(op_a3N2hFLK0J(a),op_Z2TMIBDE3Q(a))
    else:
        return a

def op_count_8nyEdyiRPu(a):
    if op_jvbZP6NeOL(a) > 207:
        count = op_count_a3N2hFLK0J(a)+op_count_Z2TMIBDE3Q(a)+op_count_Y7wcNGrDQJ(op_a3N2hFLK0J(a),op_Z2TMIBDE3Q(a))+op_count_jvbZP6NeOL(a)
    else:
        count = 1
    return count


def op_NzkNgIFiP9(a, b):
    return op_nhYeJWJD5X(op_vg4gO5BX6G(b,a),op_SgAxmdLNEA(109))

def op_count_NzkNgIFiP9(a, b):
    count = op_count_vg4gO5BX6G(b,a)+op_count_SgAxmdLNEA(109)+op_count_nhYeJWJD5X(op_vg4gO5BX6G(b,a),op_SgAxmdLNEA(109))
    return count


def op_COG5Mc4tQn(a):
    if a >= 485 or op_rXAclfmB4M(a) < 109:
        return op_kbkesczE7y(op_OwUj7dcsQK(op_BUOGQAYlQx(a)),op_3Oe9XWJUTD(496,op_BiWNJpBvwn(a,a)))
    else:
        return op_aHKFHkCgn9(a)

def op_count_COG5Mc4tQn(a):
    if a >= 485 or op_rXAclfmB4M(a) < 109:
        count = op_count_BUOGQAYlQx(a)+op_count_OwUj7dcsQK(op_BUOGQAYlQx(a))+op_count_BiWNJpBvwn(a,a)+op_count_3Oe9XWJUTD(496,op_BiWNJpBvwn(a,a))+op_count_kbkesczE7y(op_OwUj7dcsQK(op_BUOGQAYlQx(a)),op_3Oe9XWJUTD(496,op_BiWNJpBvwn(a,a)))+op_count_rXAclfmB4M(a)
    else:
        count = op_count_aHKFHkCgn9(a)
    return count


def op_9Z0HYftGYc(a, b):
    return op_NdELin8EPX(op_KROiRRz3d6(op_YC3tgrnOyr(a,a),op_rFxw8gIMmB(405)),op_VCG3UHNzLR(op_JDUIKTTSIa(137,a),op_Ikt5ks8PT7(b,120)))

def op_count_9Z0HYftGYc(a, b):
    count = op_count_YC3tgrnOyr(a,a)+op_count_rFxw8gIMmB(405)+op_count_KROiRRz3d6(op_YC3tgrnOyr(a,a),op_rFxw8gIMmB(405))+op_count_JDUIKTTSIa(137,a)+op_count_Ikt5ks8PT7(b,120)+op_count_VCG3UHNzLR(op_JDUIKTTSIa(137,a),op_Ikt5ks8PT7(b,120))+op_count_NdELin8EPX(op_KROiRRz3d6(op_YC3tgrnOyr(a,a),op_rFxw8gIMmB(405)),op_VCG3UHNzLR(op_JDUIKTTSIa(137,a),op_Ikt5ks8PT7(b,120)))
    return count


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

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


def op_7ownb8jkdv(a):
    if (op_TytFGXR7Zf(a) > 489 or op_3FtlcrQcJU(a) != 320):
        return op_UqUOXUQnbU(480,a)
    else:
        return op_i3MWstRFMQ(a)

def op_count_7ownb8jkdv(a):
    if (op_TytFGXR7Zf(a) > 489 or op_3FtlcrQcJU(a) != 320):
        count = op_count_UqUOXUQnbU(480,a)+op_count_TytFGXR7Zf(a)+op_count_3FtlcrQcJU(a)
    else:
        count = op_count_i3MWstRFMQ(a)
    return count


a⨐≃ = { (((a⨓↿∉17)-∠(a⩍⋽⫝̸a))⨔⊶↷((a⨰↻⪇a)⪭(⫄⋦≢191))) }

def op_OWvyBxdDim(a):
    return op_WObL9SsYVE(op_s0IfDFCCuZ(op_OWnFPqjWlR(a,17),op_BiWNJpBvwn(a,a)),op_j9kHMeSvPp(op_nbuSfrB4hB(a,a),op_4kvgVkQeiQ(191)))

def op_count_OWvyBxdDim(a):
    count = op_count_OWnFPqjWlR(a,17)+op_count_BiWNJpBvwn(a,a)+op_count_s0IfDFCCuZ(op_OWnFPqjWlR(a,17),op_BiWNJpBvwn(a,a))+op_count_nbuSfrB4hB(a,a)+op_count_4kvgVkQeiQ(191)+op_count_j9kHMeSvPp(op_nbuSfrB4hB(a,a),op_4kvgVkQeiQ(191))+op_count_WObL9SsYVE(op_s0IfDFCCuZ(op_OWnFPqjWlR(a,17),op_BiWNJpBvwn(a,a)),op_j9kHMeSvPp(op_nbuSfrB4hB(a,a),op_4kvgVkQeiQ(191)))
    return count


a⩵∷⩪b = { b , if b>714 ; ((a∫≲⋬)⪖⪡(b⇼⇔∾b)) , else }

def op_X7PctZJgeL(a, b):
    if b > 714:
        return b
    else:
        return op_7PjNe5qSIJ(op_DNmMwa48aR(a),op_tifHPKVTfV(b,b))

def op_count_X7PctZJgeL(a, b):
    if b > 714:
        count = 1
    else:
        count = op_count_DNmMwa48aR(a)+op_count_tifHPKVTfV(b,b)+op_count_7PjNe5qSIJ(op_DNmMwa48aR(a),op_tifHPKVTfV(b,b))
    return count


def op_LenFzV9tw1(a, b):
    return op_tifHPKVTfV(op_V4yb4KDoeF(496,a),op_irKjLsMeKy(b,b))

def op_count_LenFzV9tw1(a, b):
    count = op_count_V4yb4KDoeF(496,a)+op_count_irKjLsMeKy(b,b)+op_count_tifHPKVTfV(op_V4yb4KDoeF(496,a),op_irKjLsMeKy(b,b))
    return count


def op_BD43NodvV7(a):
    return op_WSbXXWOizJ(op_kuIXHzHcAH(23,748),op_cFVlceoRkX(a,a))

def op_count_BD43NodvV7(a):
    count = op_count_kuIXHzHcAH(23,748)+op_count_cFVlceoRkX(a,a)+op_count_WSbXXWOizJ(op_kuIXHzHcAH(23,748),op_cFVlceoRkX(a,a))
    return count


a⇯⋡b = { (⩷a) , if a>602 ; (b⊢≏≾a) , else }

def op_iQT509CoFi(a, b):
    if a > 602:
        return op_1h0rLqGiFr(a)
    else:
        return op_qxqspddX8k(b,a)

def op_count_iQT509CoFi(a, b):
    if a > 602:
        count = op_count_1h0rLqGiFr(a)
    else:
        count = op_count_qxqspddX8k(b,a)
    return count


a↿⪖⨀b = { (b⫚↹⊑a) , if b>72 ; (a∘b) , else }

def op_D2jTeYMLoz(a, b):
    if b > 72:
        return op_dfKe02y8D2(b,a)
    else:
        return op_Z5m6OM72h2(a,b)

def op_count_D2jTeYMLoz(a, b):
    if b > 72:
        count = op_count_dfKe02y8D2(b,a)
    else:
        count = op_count_Z5m6OM72h2(a,b)
    return count


a↠⋘b = { (a∠⫱((b⨳⩥⨓a)≾⋳)) , if (b⊋≦⊧355)<313 ; (((a⨰a)∇⊂⋱(a⩚⊴⇥b))⨑⋨((a⪇≇⋚b)∣(⊲⪭b))) , else }

def op_2ofZy00xdW(a, b):
    if op_oRDoc9rAEX(b,355) < 313:
        return op_QvoQhV0rrE(a,op_1tCtMSPkGf(op_nCS4ZIUYfx(b,a)))
    else:
        return op_tIhPxZTbsh(op_nhYeJWJD5X(op_eewbuw0ToL(a,a),op_NTOWxs364D(a,b)),op_PPChnnnBFF(op_3sJ7IOPOlU(a,b),op_k7HXdKtiEU(b)))

def op_count_2ofZy00xdW(a, b):
    if op_oRDoc9rAEX(b,355) < 313:
        count = op_count_nCS4ZIUYfx(b,a)+op_count_1tCtMSPkGf(op_nCS4ZIUYfx(b,a))+op_count_QvoQhV0rrE(a,op_1tCtMSPkGf(op_nCS4ZIUYfx(b,a)))+op_count_oRDoc9rAEX(b,355)
    else:
        count = op_count_eewbuw0ToL(a,a)+op_count_NTOWxs364D(a,b)+op_count_nhYeJWJD5X(op_eewbuw0ToL(a,a),op_NTOWxs364D(a,b))+op_count_3sJ7IOPOlU(a,b)+op_count_k7HXdKtiEU(b)+op_count_PPChnnnBFF(op_3sJ7IOPOlU(a,b),op_k7HXdKtiEU(b))+op_count_tIhPxZTbsh(op_nhYeJWJD5X(op_eewbuw0ToL(a,a),op_NTOWxs364D(a,b)),op_PPChnnnBFF(op_3sJ7IOPOlU(a,b),op_k7HXdKtiEU(b)))
    return count


⨜⪨⇑a = { (a⨑≵⋬a) , if (a⨸⪁621)==19 ; (a⫠↝⫳) , else }

def op_lRCHOliuGD(a):
    if op_g55IO6H4Gj(a,621) == 19:
        return op_XnXgA4xnOs(a,a)
    else:
        return op_8n5YIzOsVS(a)

def op_count_lRCHOliuGD(a):
    if op_g55IO6H4Gj(a,621) == 19:
        count = op_count_XnXgA4xnOs(a,a)+op_count_g55IO6H4Gj(a,621)
    else:
        count = op_count_8n5YIzOsVS(a)
    return count


a⨅b = { (b⩾(b⇇)) , if (a∷613)>=4 ; ((b⩼⇪↪a)⪨≂(b⊠≄⫣)) , else }

def op_MscnI5MLJ2(a, b):
    if op_D3AQDKkPcf(a,613) >= 4:
        return op_UggxBX659n(b,op_ieTw63T1Vx(b))
    else:
        return op_sdazOOVcIp(op_ocnLzx9CaJ(b,a),op_DIvbN7qnHd(b))

def op_count_MscnI5MLJ2(a, b):
    if op_D3AQDKkPcf(a,613) >= 4:
        count = op_count_ieTw63T1Vx(b)+op_count_UggxBX659n(b,op_ieTw63T1Vx(b))+op_count_D3AQDKkPcf(a,613)
    else:
        count = op_count_ocnLzx9CaJ(b,a)+op_count_DIvbN7qnHd(b)+op_count_sdazOOVcIp(op_ocnLzx9CaJ(b,a),op_DIvbN7qnHd(b))
    return count


def op_EdFULhntj6(a):
    return op_Rw46J52cBJ(a,355)

def op_count_EdFULhntj6(a):
    count = op_count_Rw46J52cBJ(a,355)
    return count


def op_O7TnP5W6K9(a):
    if op_yuvXk3Mco8(a) != 131:
        return op_YjI8oCXuph(a)
    else:
        return op_tifHPKVTfV(216,a)

def op_count_O7TnP5W6K9(a):
    if op_yuvXk3Mco8(a) != 131:
        count = op_count_YjI8oCXuph(a)+op_count_yuvXk3Mco8(a)
    else:
        count = op_count_tifHPKVTfV(216,a)
    return count


def op_bq0uxnJnnH(a, b):
    if op_qLBMy5fcJr(a) == 111:
        return op_uPb5QRN0te(op_HrjLwUk87U(b,868))
    else:
        return op_hrf7POJlIJ(op_ap3xiM279w(b,b),op_2z8nE7LpCu(b,a))

def op_count_bq0uxnJnnH(a, b):
    if op_qLBMy5fcJr(a) == 111:
        count = op_count_HrjLwUk87U(b,868)+op_count_uPb5QRN0te(op_HrjLwUk87U(b,868))+op_count_qLBMy5fcJr(a)
    else:
        count = op_count_ap3xiM279w(b,b)+op_count_2z8nE7LpCu(b,a)+op_count_hrf7POJlIJ(op_ap3xiM279w(b,b),op_2z8nE7LpCu(b,a))
    return count


def op_ZU9O8ewN1P(a):
    return op_S7Dkc5Re0B(op_64EQ39e0fC(op_eRqsBgTDFp(a,a),op_jBC4ymW3D7(a,a)))

def op_count_ZU9O8ewN1P(a):
    count = op_count_eRqsBgTDFp(a,a)+op_count_jBC4ymW3D7(a,a)+op_count_64EQ39e0fC(op_eRqsBgTDFp(a,a),op_jBC4ymW3D7(a,a))+op_count_S7Dkc5Re0B(op_64EQ39e0fC(op_eRqsBgTDFp(a,a),op_jBC4ymW3D7(a,a)))
    return count


a⩫∠b = { (((b⫶a)⋐≟⩺(⇋↷a))⪕(≋(a⊓≱248))) }

def op_61SMRth1bf(a, b):
    return op_umQnsF7QlU(op_PjbVkMzmXE(op_BAIXFdYaz3(b,a),op_SWo3A1KBJH(a)),op_61wBmkZwlr(op_VCG3UHNzLR(a,248)))

def op_count_61SMRth1bf(a, b):
    count = op_count_BAIXFdYaz3(b,a)+op_count_SWo3A1KBJH(a)+op_count_PjbVkMzmXE(op_BAIXFdYaz3(b,a),op_SWo3A1KBJH(a))+op_count_VCG3UHNzLR(a,248)+op_count_61wBmkZwlr(op_VCG3UHNzLR(a,248))+op_count_umQnsF7QlU(op_PjbVkMzmXE(op_BAIXFdYaz3(b,a),op_SWo3A1KBJH(a)),op_61wBmkZwlr(op_VCG3UHNzLR(a,248)))
    return count


def op_MDOrnnnMYl(a, b):
    return op_g55IO6H4Gj(op_GNmBfxrna9(a),op_PaBHOjxk8c(b))

def op_count_MDOrnnnMYl(a, b):
    count = op_count_GNmBfxrna9(a)+op_count_PaBHOjxk8c(b)+op_count_g55IO6H4Gj(op_GNmBfxrna9(a),op_PaBHOjxk8c(b))
    return count


def op_mTpCXz1iPs(a):
    if a < 149:
        return op_w2P8NbNXyL(op_u6S6b8DprG(op_bl5wxAcryP(378)),op_tifHPKVTfV(op_Q2SPaKwpPJ(a,a),op_0kmYd0q39Y(a,a)))
    else:
        return op_FPxP5Y1j0W(op_WR6HLWljOP(op_8TQKPGA8Ba(a),a),op_PxiHyQbrIp(689))

def op_count_mTpCXz1iPs(a):
    if a < 149:
        count = op_count_bl5wxAcryP(378)+op_count_u6S6b8DprG(op_bl5wxAcryP(378))+op_count_Q2SPaKwpPJ(a,a)+op_count_0kmYd0q39Y(a,a)+op_count_tifHPKVTfV(op_Q2SPaKwpPJ(a,a),op_0kmYd0q39Y(a,a))+op_count_w2P8NbNXyL(op_u6S6b8DprG(op_bl5wxAcryP(378)),op_tifHPKVTfV(op_Q2SPaKwpPJ(a,a),op_0kmYd0q39Y(a,a)))
    else:
        count = op_count_8TQKPGA8Ba(a)+op_count_WR6HLWljOP(op_8TQKPGA8Ba(a),a)+op_count_PxiHyQbrIp(689)+op_count_FPxP5Y1j0W(op_WR6HLWljOP(op_8TQKPGA8Ba(a),a),op_PxiHyQbrIp(689))
    return count


a⫪b = { (8∇⊂⋱73) , if b>51 ; (a⨊⨠) , else }

def op_A1MyF5Zm7l(a, b):
    if b > 51:
        return op_nhYeJWJD5X(8,73)
    else:
        return op_qU6oQAhJaQ(a)

def op_count_A1MyF5Zm7l(a, b):
    if b > 51:
        count = op_count_nhYeJWJD5X(8,73)
    else:
        count = op_count_qU6oQAhJaQ(a)
    return count


a⋻⋥b = { (⊈a) , if (a⋂⩴42)<=55 ; (((b⨔⊶↷b)⊓≱(a≽⊫))⊲⩕⊾(∛⊵(b⩂⊭⨚))) , else }

def op_mR0p8TbMGG(a, b):
    if op_hmlrMsD2PO(a,42) <= 55:
        return op_RHru8klgy8(a)
    else:
        return op_DmTXOeWf9t(op_VCG3UHNzLR(op_WObL9SsYVE(b,b),op_H0pizIJMoW(a)),op_jfYOP67v6Y(op_PaBHOjxk8c(b)))

def op_count_mR0p8TbMGG(a, b):
    if op_hmlrMsD2PO(a,42) <= 55:
        count = op_count_RHru8klgy8(a)+op_count_hmlrMsD2PO(a,42)
    else:
        count = op_count_WObL9SsYVE(b,b)+op_count_H0pizIJMoW(a)+op_count_VCG3UHNzLR(op_WObL9SsYVE(b,b),op_H0pizIJMoW(a))+op_count_PaBHOjxk8c(b)+op_count_jfYOP67v6Y(op_PaBHOjxk8c(b))+op_count_DmTXOeWf9t(op_VCG3UHNzLR(op_WObL9SsYVE(b,b),op_H0pizIJMoW(a)),op_jfYOP67v6Y(op_PaBHOjxk8c(b)))
    return count


def op_dQYby3Z2bC(a):
    if a <= 108:
        return op_D3AQDKkPcf(a,a)
    else:
        return op_LkLIoiE525(183)

def op_count_dQYby3Z2bC(a):
    if a <= 108:
        count = op_count_D3AQDKkPcf(a,a)
    else:
        count = op_count_LkLIoiE525(183)
    return count


a∫∐∢b = { (↥≼⋛(b∽b)) , if ((a≎⋽⪿)==143 or (a⫦∱⫙)<490) ; b , else }

def op_US97TQlt8r(a, b):
    if (op_Mp74FtG4yY(a) == 143 or op_tHMVLcQ9bH(a) < 490):
        return op_x5lMkHmzsq(op_y4ImoPnbV5(b,b))
    else:
        return b

def op_count_US97TQlt8r(a, b):
    if (op_Mp74FtG4yY(a) == 143 or op_tHMVLcQ9bH(a) < 490):
        count = op_count_y4ImoPnbV5(b,b)+op_count_x5lMkHmzsq(op_y4ImoPnbV5(b,b))+op_count_Mp74FtG4yY(a)+op_count_tHMVLcQ9bH(a)
    else:
        count = 1
    return count


def op_ajXNDuf2dy(a):
    if op_KPf6cnQVty(a,523) == 76:
        return op_8cLx32lpNA(op_zoVPnxeHJ3(op_MXaNJeIAZ3(a)),op_GMN7JP6WpN(op_AdZkA7nFnk(31,a),op_vg4gO5BX6G(a,a)))
    else:
        return a

def op_count_ajXNDuf2dy(a):
    if op_KPf6cnQVty(a,523) == 76:
        count = op_count_MXaNJeIAZ3(a)+op_count_zoVPnxeHJ3(op_MXaNJeIAZ3(a))+op_count_AdZkA7nFnk(31,a)+op_count_vg4gO5BX6G(a,a)+op_count_GMN7JP6WpN(op_AdZkA7nFnk(31,a),op_vg4gO5BX6G(a,a))+op_count_8cLx32lpNA(op_zoVPnxeHJ3(op_MXaNJeIAZ3(a)),op_GMN7JP6WpN(op_AdZkA7nFnk(31,a),op_vg4gO5BX6G(a,a)))+op_count_KPf6cnQVty(a,523)
    else:
        count = 1
    return count


a⨛⇹⫊b = { ((⋂(b⪿⇪⊩b))≟⫹((b⪎⨄⋝)⨳⩥⨓(a⫼⨠a))) , if (⋸⪍b)>=502 ; (↞((b⩌a)∑(38⨐a))) , else }

def op_GJLngeV5jM(a, b):
    if op_PrwIXj9ZQe(b) >= 502:
        return op_z2JHNkvbdm(op_BUOGQAYlQx(op_OGWBzMv138(b,b)),op_nCS4ZIUYfx(op_kweVJGAjhl(b),op_KYL1uVeVpb(a,a)))
    else:
        return op_QKXs96F9fN(op_JFrVJKYFMX(op_UoVew8f2p2(b,a),op_Noe24qw2ks(38,a)))

def op_count_GJLngeV5jM(a, b):
    if op_PrwIXj9ZQe(b) >= 502:
        count = op_count_OGWBzMv138(b,b)+op_count_BUOGQAYlQx(op_OGWBzMv138(b,b))+op_count_kweVJGAjhl(b)+op_count_KYL1uVeVpb(a,a)+op_count_nCS4ZIUYfx(op_kweVJGAjhl(b),op_KYL1uVeVpb(a,a))+op_count_z2JHNkvbdm(op_BUOGQAYlQx(op_OGWBzMv138(b,b)),op_nCS4ZIUYfx(op_kweVJGAjhl(b),op_KYL1uVeVpb(a,a)))+op_count_PrwIXj9ZQe(b)
    else:
        count = op_count_UoVew8f2p2(b,a)+op_count_Noe24qw2ks(38,a)+op_count_JFrVJKYFMX(op_UoVew8f2p2(b,a),op_Noe24qw2ks(38,a))+op_count_QKXs96F9fN(op_JFrVJKYFMX(op_UoVew8f2p2(b,a),op_Noe24qw2ks(38,a)))
    return count


a⫰⇤ = { (((⊁⨺a)⫊⇚⊺a)∺≝⩲((677↪∷2)⪦⩸(a⨴a))) , if a>461 ; (≛((⩦⩻⨪a)⇿⊰(a≗⫍))) , else }

def op_HKBRh2t2ub(a):
    if a > 461:
        return op_KPf6cnQVty(op_Y5cEcQhyKu(op_PxiHyQbrIp(a),a),op_0JWJYFSzIQ(op_Api82iH42a(677,2),op_jBC4ymW3D7(a,a)))
    else:
        return op_W7eaUhjymW(op_ap3xiM279w(op_2td37pGCOC(a),op_7Nd029Vx1U(a)))

def op_count_HKBRh2t2ub(a):
    if a > 461:
        count = op_count_PxiHyQbrIp(a)+op_count_Y5cEcQhyKu(op_PxiHyQbrIp(a),a)+op_count_Api82iH42a(677,2)+op_count_jBC4ymW3D7(a,a)+op_count_0JWJYFSzIQ(op_Api82iH42a(677,2),op_jBC4ymW3D7(a,a))+op_count_KPf6cnQVty(op_Y5cEcQhyKu(op_PxiHyQbrIp(a),a),op_0JWJYFSzIQ(op_Api82iH42a(677,2),op_jBC4ymW3D7(a,a)))
    else:
        count = op_count_2td37pGCOC(a)+op_count_7Nd029Vx1U(a)+op_count_ap3xiM279w(op_2td37pGCOC(a),op_7Nd029Vx1U(a))+op_count_W7eaUhjymW(op_ap3xiM279w(op_2td37pGCOC(a),op_7Nd029Vx1U(a)))
    return count


def op_5XZti1rSw1(a):
    return op_KROiRRz3d6(op_mhIhit33mg(a),a)

def op_count_5XZti1rSw1(a):
    count = op_count_mhIhit33mg(a)+op_count_KROiRRz3d6(op_mhIhit33mg(a),a)
    return count


def op_MbQEnx6naJ(a):
    return op_vRio1gEz1j(op_FPxP5Y1j0W(a,754))

def op_count_MbQEnx6naJ(a):
    count = op_count_FPxP5Y1j0W(a,754)+op_count_vRio1gEz1j(op_FPxP5Y1j0W(a,754))
    return count


def op_7a9ZMWMOb3(a):
    return op_UpkSd4zESC(op_mhIhit33mg(a),op_KFSx94NKJn(a,a))

def op_count_7a9ZMWMOb3(a):
    count = op_count_mhIhit33mg(a)+op_count_KFSx94NKJn(a,a)+op_count_UpkSd4zESC(op_mhIhit33mg(a),op_KFSx94NKJn(a,a))
    return count


a⫰⩫⊇b = { ((⊤⊝a)⨔⊶↷(356≬⋮a)) , if (a⪚⊾⩭)!=531 ; ((≤/b)∀⩎⋷(b⨣∐↬a)) , else }

def op_tjsbveHN2c(a, b):
    if op_ebeGRCukrZ(a) != 531:
        return op_WObL9SsYVE(op_rXAclfmB4M(a),op_kbkesczE7y(356,a))
    else:
        return op_FPxP5Y1j0W(op_eLAdDNolq6(b),op_UpkSd4zESC(b,a))

def op_count_tjsbveHN2c(a, b):
    if op_ebeGRCukrZ(a) != 531:
        count = op_count_rXAclfmB4M(a)+op_count_kbkesczE7y(356,a)+op_count_WObL9SsYVE(op_rXAclfmB4M(a),op_kbkesczE7y(356,a))+op_count_ebeGRCukrZ(a)
    else:
        count = op_count_eLAdDNolq6(b)+op_count_UpkSd4zESC(b,a)+op_count_FPxP5Y1j0W(op_eLAdDNolq6(b),op_UpkSd4zESC(b,a))
    return count


⫉⫠a = { ((a⋅⇍a)⋂⩴(a⪚⊾⩭)) , if a!=699 ; (a⩌(a⋐≟⩺a)) , else }

def op_2h70HhlMnL(a):
    if a != 699:
        return op_hmlrMsD2PO(op_AdZkA7nFnk(a,a),op_ebeGRCukrZ(a))
    else:
        return op_UoVew8f2p2(a,op_PjbVkMzmXE(a,a))

def op_count_2h70HhlMnL(a):
    if a != 699:
        count = op_count_AdZkA7nFnk(a,a)+op_count_ebeGRCukrZ(a)+op_count_hmlrMsD2PO(op_AdZkA7nFnk(a,a),op_ebeGRCukrZ(a))
    else:
        count = op_count_PjbVkMzmXE(a,a)+op_count_UoVew8f2p2(a,op_PjbVkMzmXE(a,a))
    return count


a⪱b = { (((a⇛a)⨔⇊(a⊜))∲⫑((a∠↢a)⨧(⫇⪃↚a))) , if (b⊭↱687)==347 and (∯a)<33 and (b⫏↛⩏58)<448 ; (((b⨐a)∙∹∝(b⋟⫀⨗b))⪖⪡((b⩼⇪↪b)⪭(∑⇻≧a))) , else }

def op_Fw9FUhpJpC(a, b):
    if op_COABgblf1C(b,687) == 347 and op_13TjBizFrQ(a) < 33 and op_YC3tgrnOyr(b,58) < 448:
        return op_NrdPCfJQiM(op_JclMnS0uGI(op_S3tN1ZzpSt(a,a),op_Eev2Q7dYIw(a)),op_3YWlZA9bsa(op_KbjG8mgYpV(a,a),op_Q9TX5pQS3Y(a)))
    else:
        return op_7PjNe5qSIJ(op_HmxsFra2vL(op_Noe24qw2ks(b,a),op_dAAkup5nzi(b,b)),op_j9kHMeSvPp(op_ocnLzx9CaJ(b,b),op_l1M9WJ3V7u(a)))

def op_count_Fw9FUhpJpC(a, b):
    if op_COABgblf1C(b,687) == 347 and op_13TjBizFrQ(a) < 33 and op_YC3tgrnOyr(b,58) < 448:
        count = op_count_S3tN1ZzpSt(a,a)+op_count_Eev2Q7dYIw(a)+op_count_JclMnS0uGI(op_S3tN1ZzpSt(a,a),op_Eev2Q7dYIw(a))+op_count_KbjG8mgYpV(a,a)+op_count_Q9TX5pQS3Y(a)+op_count_3YWlZA9bsa(op_KbjG8mgYpV(a,a),op_Q9TX5pQS3Y(a))+op_count_NrdPCfJQiM(op_JclMnS0uGI(op_S3tN1ZzpSt(a,a),op_Eev2Q7dYIw(a)),op_3YWlZA9bsa(op_KbjG8mgYpV(a,a),op_Q9TX5pQS3Y(a)))+op_count_COABgblf1C(b,687)+op_count_13TjBizFrQ(a)+op_count_YC3tgrnOyr(b,58)
    else:
        count = op_count_Noe24qw2ks(b,a)+op_count_dAAkup5nzi(b,b)+op_count_HmxsFra2vL(op_Noe24qw2ks(b,a),op_dAAkup5nzi(b,b))+op_count_ocnLzx9CaJ(b,b)+op_count_l1M9WJ3V7u(a)+op_count_j9kHMeSvPp(op_ocnLzx9CaJ(b,b),op_l1M9WJ3V7u(a))+op_count_7PjNe5qSIJ(op_HmxsFra2vL(op_Noe24qw2ks(b,a),op_dAAkup5nzi(b,b)),op_j9kHMeSvPp(op_ocnLzx9CaJ(b,b),op_l1M9WJ3V7u(a)))
    return count


∔⫍a = { a , if a>82 ; (((a⨳⩥⨓a)-∠(≎↾294))⊹≧⊝) , else }

def op_K0MBgY5f4d(a):
    if a > 82:
        return a
    else:
        return op_LxFB4K6j0n(op_s0IfDFCCuZ(op_nCS4ZIUYfx(a,a),op_S56z7WVPBn(294)))

def op_count_K0MBgY5f4d(a):
    if a > 82:
        count = 1
    else:
        count = op_count_nCS4ZIUYfx(a,a)+op_count_S56z7WVPBn(294)+op_count_s0IfDFCCuZ(op_nCS4ZIUYfx(a,a),op_S56z7WVPBn(294))+op_count_LxFB4K6j0n(op_s0IfDFCCuZ(op_nCS4ZIUYfx(a,a),op_S56z7WVPBn(294)))
    return count


a⫢√⪁b = { ((⫭≬(b⪚⨁⋖a))⇿⊰((b⨸⪁a)⨰↻⪇(354≐→⇾))) }

def op_Ldwfc8y82N(a, b):
    return op_ap3xiM279w(op_S7Dkc5Re0B(op_xSk1F0pZbF(b,a)),op_nbuSfrB4hB(op_g55IO6H4Gj(b,a),op_zV3pqYiQ5E(354)))

def op_count_Ldwfc8y82N(a, b):
    count = op_count_xSk1F0pZbF(b,a)+op_count_S7Dkc5Re0B(op_xSk1F0pZbF(b,a))+op_count_g55IO6H4Gj(b,a)+op_count_zV3pqYiQ5E(354)+op_count_nbuSfrB4hB(op_g55IO6H4Gj(b,a),op_zV3pqYiQ5E(354))+op_count_ap3xiM279w(op_S7Dkc5Re0B(op_xSk1F0pZbF(b,a)),op_nbuSfrB4hB(op_g55IO6H4Gj(b,a),op_zV3pqYiQ5E(354)))
    return count


a⫼⫗b = { (((a⨳⩥⨓a)⫏↛⩏(b≦↸a))⋟⫀⨗((b≃0)⪖⪡(b⋎a))) , if b==50 ; (((b⪱⇝a)⊔%(↞b))⊉≛↸((b∝a)⪚(a⨸⪁b))) , else }

def op_c4Jgcjuupe(a, b):
    if b == 50:
        return op_dAAkup5nzi(op_YC3tgrnOyr(op_nCS4ZIUYfx(a,a),op_RygbFNSyEJ(b,a)),op_7PjNe5qSIJ(op_YbVcJGFEVW(b,0),op_qy3n0tapmE(b,a)))
    else:
        return op_DZ8iAZOCBD(op_uysxUYN2L2(op_OTRTVPweYV(b,a),op_QKXs96F9fN(b)),op_HrjLwUk87U(op_cTDWOvIxvz(b,a),op_g55IO6H4Gj(a,b)))

def op_count_c4Jgcjuupe(a, b):
    if b == 50:
        count = op_count_nCS4ZIUYfx(a,a)+op_count_RygbFNSyEJ(b,a)+op_count_YC3tgrnOyr(op_nCS4ZIUYfx(a,a),op_RygbFNSyEJ(b,a))+op_count_YbVcJGFEVW(b,0)+op_count_qy3n0tapmE(b,a)+op_count_7PjNe5qSIJ(op_YbVcJGFEVW(b,0),op_qy3n0tapmE(b,a))+op_count_dAAkup5nzi(op_YC3tgrnOyr(op_nCS4ZIUYfx(a,a),op_RygbFNSyEJ(b,a)),op_7PjNe5qSIJ(op_YbVcJGFEVW(b,0),op_qy3n0tapmE(b,a)))
    else:
        count = op_count_OTRTVPweYV(b,a)+op_count_QKXs96F9fN(b)+op_count_uysxUYN2L2(op_OTRTVPweYV(b,a),op_QKXs96F9fN(b))+op_count_cTDWOvIxvz(b,a)+op_count_g55IO6H4Gj(a,b)+op_count_HrjLwUk87U(op_cTDWOvIxvz(b,a),op_g55IO6H4Gj(a,b))+op_count_DZ8iAZOCBD(op_uysxUYN2L2(op_OTRTVPweYV(b,a),op_QKXs96F9fN(b)),op_HrjLwUk87U(op_cTDWOvIxvz(b,a),op_g55IO6H4Gj(a,b)))
    return count


def op_xurU1DR7qN(a):
    return op_eRqsBgTDFp(a,212)

def op_count_xurU1DR7qN(a):
    count = op_count_eRqsBgTDFp(a,212)
    return count


⋟↴⩑a = { (((a⋎264)⋳⪒(⫇⪃↚a))⫚↹⊑((126⪍↜⋙a)⇖↽(a⊉≛↸a))) , if (a∫≲⋬)>385 ; ((a∑(433⋰⇉∕a))⪇≇⋚(∓(a⨔⊶↷a))) , else }

def op_eo60u8kDZm(a):
    if op_DNmMwa48aR(a) > 385:
        return op_dfKe02y8D2(op_12rbrZMWeM(op_qy3n0tapmE(a,264),op_Q9TX5pQS3Y(a)),op_cwbF3JtlMN(op_L05ObWFQCd(126,a),op_DZ8iAZOCBD(a,a)))
    else:
        return op_3sJ7IOPOlU(op_JFrVJKYFMX(a,op_sM9mzqIDB1(433,a)),op_OwUj7dcsQK(op_WObL9SsYVE(a,a)))

def op_count_eo60u8kDZm(a):
    if op_DNmMwa48aR(a) > 385:
        count = op_count_qy3n0tapmE(a,264)+op_count_Q9TX5pQS3Y(a)+op_count_12rbrZMWeM(op_qy3n0tapmE(a,264),op_Q9TX5pQS3Y(a))+op_count_L05ObWFQCd(126,a)+op_count_DZ8iAZOCBD(a,a)+op_count_cwbF3JtlMN(op_L05ObWFQCd(126,a),op_DZ8iAZOCBD(a,a))+op_count_dfKe02y8D2(op_12rbrZMWeM(op_qy3n0tapmE(a,264),op_Q9TX5pQS3Y(a)),op_cwbF3JtlMN(op_L05ObWFQCd(126,a),op_DZ8iAZOCBD(a,a)))+op_count_DNmMwa48aR(a)
    else:
        count = op_count_sM9mzqIDB1(433,a)+op_count_JFrVJKYFMX(a,op_sM9mzqIDB1(433,a))+op_count_WObL9SsYVE(a,a)+op_count_OwUj7dcsQK(op_WObL9SsYVE(a,a))+op_count_3sJ7IOPOlU(op_JFrVJKYFMX(a,op_sM9mzqIDB1(433,a)),op_OwUj7dcsQK(op_WObL9SsYVE(a,a)))
    return count


def op_8eJzcuuhli(a):
    return op_2jG7DiviLq(op_DO4fhlbJSI(op_2PILXiQIjy(a)))

def op_count_8eJzcuuhli(a):
    count = op_count_2PILXiQIjy(a)+op_count_DO4fhlbJSI(op_2PILXiQIjy(a))+op_count_2jG7DiviLq(op_DO4fhlbJSI(op_2PILXiQIjy(a)))
    return count


def op_zesaeZuPKO(a):
    return op_rPNtK4BLRO(op_2DDjHMKMc0(a,33),op_6LuFrogppQ(34))

def op_count_zesaeZuPKO(a):
    count = op_count_2DDjHMKMc0(a,33)+op_count_6LuFrogppQ(34)+op_count_rPNtK4BLRO(op_2DDjHMKMc0(a,33),op_6LuFrogppQ(34))
    return count


def op_EKO8KMgjXs(a):
    return op_QMFrweE19q(110,a)

def op_count_EKO8KMgjXs(a):
    count = op_count_QMFrweE19q(110,a)
    return count


def op_D69ahk0G0B(a, b):
    return op_L05ObWFQCd(op_DIvbN7qnHd(a),b)

def op_count_D69ahk0G0B(a, b):
    count = op_count_DIvbN7qnHd(a)+op_count_L05ObWFQCd(op_DIvbN7qnHd(a),b)
    return count


def op_aQOF7STvow(a):
    return op_csT5a4elgc(op_WR6HLWljOP(a,a))

def op_count_aQOF7STvow(a):
    count = op_count_WR6HLWljOP(a,a)+op_count_csT5a4elgc(op_WR6HLWljOP(a,a))
    return count


def op_PkBIFB6s3n(a):
    if a != 404:
        return op_rFxw8gIMmB(a)
    else:
        return a

def op_count_PkBIFB6s3n(a):
    if a != 404:
        count = op_count_rFxw8gIMmB(a)
    else:
        count = 1
    return count


def op_VIrrXtd8hW(a):
    if op_OwUj7dcsQK(a) > 147:
        return op_UpkSd4zESC(op_d8xe6WWVfM(op_ObEyaaML9x(a,a),a),op_FB83X2dByY(op_WSbXXWOizJ(753,a)))
    else:
        return op_nbuSfrB4hB(op_COABgblf1C(op_oDvtRyfmAM(a),op_OGWBzMv138(a,164)),op_tnyRA5sazQ(op_VCG3UHNzLR(a,359),op_neKQRQQIil(222,a)))

def op_count_VIrrXtd8hW(a):
    if op_OwUj7dcsQK(a) > 147:
        count = op_count_ObEyaaML9x(a,a)+op_count_d8xe6WWVfM(op_ObEyaaML9x(a,a),a)+op_count_WSbXXWOizJ(753,a)+op_count_FB83X2dByY(op_WSbXXWOizJ(753,a))+op_count_UpkSd4zESC(op_d8xe6WWVfM(op_ObEyaaML9x(a,a),a),op_FB83X2dByY(op_WSbXXWOizJ(753,a)))+op_count_OwUj7dcsQK(a)
    else:
        count = op_count_oDvtRyfmAM(a)+op_count_OGWBzMv138(a,164)+op_count_COABgblf1C(op_oDvtRyfmAM(a),op_OGWBzMv138(a,164))+op_count_VCG3UHNzLR(a,359)+op_count_neKQRQQIil(222,a)+op_count_tnyRA5sazQ(op_VCG3UHNzLR(a,359),op_neKQRQQIil(222,a))+op_count_nbuSfrB4hB(op_COABgblf1C(op_oDvtRyfmAM(a),op_OGWBzMv138(a,164)),op_tnyRA5sazQ(op_VCG3UHNzLR(a,359),op_neKQRQQIil(222,a)))
    return count


def op_OuyRiW4ymM(a):
    return op_YSKBFp38Pu(op_U6pG0PXrV3(10),op_eIba4BG3xN(a))

def op_count_OuyRiW4ymM(a):
    count = op_count_U6pG0PXrV3(10)+op_count_eIba4BG3xN(a)+op_count_YSKBFp38Pu(op_U6pG0PXrV3(10),op_eIba4BG3xN(a))
    return count


⫔≈a = { (a⪐-a) , if a>69 ; (a⨐a) , else }

def op_eclEAv0D6v(a):
    if a > 69:
        return op_d8xe6WWVfM(a,a)
    else:
        return op_Noe24qw2ks(a,a)

def op_count_eclEAv0D6v(a):
    if a > 69:
        count = op_count_d8xe6WWVfM(a,a)
    else:
        count = op_count_Noe24qw2ks(a,a)
    return count


a≵⨆⇆b = { (a⫋) , if (a∠↢937)>=14 ; (⇖((b⨧b)∇⊂⋱(a⫸⇳b))) , else }

def op_1AsK3CXuA2(a, b):
    if op_KbjG8mgYpV(a,937) >= 14:
        return op_mhIhit33mg(a)
    else:
        return op_tfWHHpNKUN(op_nhYeJWJD5X(op_3YWlZA9bsa(b,b),op_gx7XJ7hdpj(a,b)))

def op_count_1AsK3CXuA2(a, b):
    if op_KbjG8mgYpV(a,937) >= 14:
        count = op_count_mhIhit33mg(a)+op_count_KbjG8mgYpV(a,937)
    else:
        count = op_count_3YWlZA9bsa(b,b)+op_count_gx7XJ7hdpj(a,b)+op_count_nhYeJWJD5X(op_3YWlZA9bsa(b,b),op_gx7XJ7hdpj(a,b))+op_count_tfWHHpNKUN(op_nhYeJWJD5X(op_3YWlZA9bsa(b,b),op_gx7XJ7hdpj(a,b)))
    return count


⫀⪎∻a = { (((a∌↝a)∷(a⪦⩸102))⪖⪡(⇍(⇻⫵a))) }

def op_EUSk7IrTeN(a):
    return op_7PjNe5qSIJ(op_D3AQDKkPcf(op_9Isq31Ruls(a,a),op_0JWJYFSzIQ(a,102)),op_H9jWZL1q0V(op_Wm7LHi3c8p(a)))

def op_count_EUSk7IrTeN(a):
    count = op_count_9Isq31Ruls(a,a)+op_count_0JWJYFSzIQ(a,102)+op_count_D3AQDKkPcf(op_9Isq31Ruls(a,a),op_0JWJYFSzIQ(a,102))+op_count_Wm7LHi3c8p(a)+op_count_H9jWZL1q0V(op_Wm7LHi3c8p(a))+op_count_7PjNe5qSIJ(op_D3AQDKkPcf(op_9Isq31Ruls(a,a),op_0JWJYFSzIQ(a,102)),op_H9jWZL1q0V(op_Wm7LHi3c8p(a)))
    return count


a∵⩆⫂b = { a , if (a↯⫤)<=124 ; (((a∴b)⫊⇚⊺(190⩹a))⨵⪆((b⨧a)↫)) , else }

def op_n178FrgV5J(a, b):
    if op_VwlE7vj6HS(a) <= 124:
        return a
    else:
        return op_2DQ55sFlQl(op_Y5cEcQhyKu(op_hrf7POJlIJ(a,b),op_2Wsdkap16l(190,a)),op_uPb5QRN0te(op_3YWlZA9bsa(b,a)))

def op_count_n178FrgV5J(a, b):
    if op_VwlE7vj6HS(a) <= 124:
        count = 1
    else:
        count = op_count_hrf7POJlIJ(a,b)+op_count_2Wsdkap16l(190,a)+op_count_Y5cEcQhyKu(op_hrf7POJlIJ(a,b),op_2Wsdkap16l(190,a))+op_count_3YWlZA9bsa(b,a)+op_count_uPb5QRN0te(op_3YWlZA9bsa(b,a))+op_count_2DQ55sFlQl(op_Y5cEcQhyKu(op_hrf7POJlIJ(a,b),op_2Wsdkap16l(190,a)),op_uPb5QRN0te(op_3YWlZA9bsa(b,a)))
    return count


a⪓⇍b = { (14⪹) , if a>353 ; (b∊⊞≈a) , else }

def op_wxIwlBkOAg(a, b):
    if a > 353:
        return op_B3sABdIn96(14)
    else:
        return op_keuJNkrrbj(b,a)

def op_count_wxIwlBkOAg(a, b):
    if a > 353:
        count = op_count_B3sABdIn96(14)
    else:
        count = op_count_keuJNkrrbj(b,a)
    return count


⩗*≡a = { (((a≭⫡a)⫚↹⊑(a⪠⩆⊳))⨜⨶((a≏⨯⊱a)↺(a⨱∎))) }

def op_lvsn8tIMDl(a):
    return op_HiPekx5b7W(op_dfKe02y8D2(op_b1mGkbI4Oy(a,a),op_JLbD19bQDL(a)),op_7j4O788W3g(op_UqUOXUQnbU(a,a),op_MmTdOpaElr(a)))

def op_count_lvsn8tIMDl(a):
    count = op_count_b1mGkbI4Oy(a,a)+op_count_JLbD19bQDL(a)+op_count_dfKe02y8D2(op_b1mGkbI4Oy(a,a),op_JLbD19bQDL(a))+op_count_UqUOXUQnbU(a,a)+op_count_MmTdOpaElr(a)+op_count_7j4O788W3g(op_UqUOXUQnbU(a,a),op_MmTdOpaElr(a))+op_count_HiPekx5b7W(op_dfKe02y8D2(op_b1mGkbI4Oy(a,a),op_JLbD19bQDL(a)),op_7j4O788W3g(op_UqUOXUQnbU(a,a),op_MmTdOpaElr(a)))
    return count


def op_xHjv7SX1fV(a):
    return op_rysDP5nf3Z(op_KFSx94NKJn(a,op_UeUK5QjOtW(a)),op_eaFBhJ0Uku(28,op_9FxExcQeMw(a,a)))

def op_count_xHjv7SX1fV(a):
    count = op_count_UeUK5QjOtW(a)+op_count_KFSx94NKJn(a,op_UeUK5QjOtW(a))+op_count_9FxExcQeMw(a,a)+op_count_eaFBhJ0Uku(28,op_9FxExcQeMw(a,a))+op_count_rysDP5nf3Z(op_KFSx94NKJn(a,op_UeUK5QjOtW(a)),op_eaFBhJ0Uku(28,op_9FxExcQeMw(a,a)))
    return count


a⫌⩚≗b = { (((⇙⪊a)⊬⫿⊭)⫸⇳(⇠(b⇖↽b))) , if b<511 ; (((a∀⩎⋷521)⊉≛↸(⩣⪁b))∫⋜⩖((a⋢61)⋳/(a≦↸b))) , else }

def op_LSWoSiU6Mt(a, b):
    if b < 511:
        return op_gx7XJ7hdpj(op_v0DYgG9ikt(op_pB6Fcnrjim(a)),op_18saOjeKKm(op_cwbF3JtlMN(b,b)))
    else:
        return op_JgXZM7XvWE(op_DZ8iAZOCBD(op_FPxP5Y1j0W(a,521),op_W2rMsuCzF8(b)),op_m612RDITqL(op_NdELin8EPX(a,61),op_RygbFNSyEJ(a,b)))

def op_count_LSWoSiU6Mt(a, b):
    if b < 511:
        count = op_count_pB6Fcnrjim(a)+op_count_v0DYgG9ikt(op_pB6Fcnrjim(a))+op_count_cwbF3JtlMN(b,b)+op_count_18saOjeKKm(op_cwbF3JtlMN(b,b))+op_count_gx7XJ7hdpj(op_v0DYgG9ikt(op_pB6Fcnrjim(a)),op_18saOjeKKm(op_cwbF3JtlMN(b,b)))
    else:
        count = op_count_FPxP5Y1j0W(a,521)+op_count_W2rMsuCzF8(b)+op_count_DZ8iAZOCBD(op_FPxP5Y1j0W(a,521),op_W2rMsuCzF8(b))+op_count_NdELin8EPX(a,61)+op_count_RygbFNSyEJ(a,b)+op_count_m612RDITqL(op_NdELin8EPX(a,61),op_RygbFNSyEJ(a,b))+op_count_JgXZM7XvWE(op_DZ8iAZOCBD(op_FPxP5Y1j0W(a,521),op_W2rMsuCzF8(b)),op_m612RDITqL(op_NdELin8EPX(a,61),op_RygbFNSyEJ(a,b)))
    return count


def op_wL68723Mti(a, b):
    return op_k7HXdKtiEU(op_JFrVJKYFMX(b,a))

def op_count_wL68723Mti(a, b):
    count = op_count_JFrVJKYFMX(b,a)+op_count_k7HXdKtiEU(op_JFrVJKYFMX(b,a))
    return count


def op_XVG3v5SdcH(a, b):
    return op_14qkJME0vr(op_sdazOOVcIp(a,b))

def op_count_XVG3v5SdcH(a, b):
    count = op_count_sdazOOVcIp(a,b)+op_count_14qkJME0vr(op_sdazOOVcIp(a,b))
    return count


def op_oTRQUtkgEY(a):
    return op_Qy55tPpLXF(op_csT5a4elgc(71),op_s3Fd5m9Dh2(a,a))

def op_count_oTRQUtkgEY(a):
    count = op_count_csT5a4elgc(71)+op_count_s3Fd5m9Dh2(a,a)+op_count_Qy55tPpLXF(op_csT5a4elgc(71),op_s3Fd5m9Dh2(a,a))
    return count


def op_oHB2VnGEBJ(a):
    return op_fLGIAiPz9h(op_2M7SKlOzyM(a,a))

def op_count_oHB2VnGEBJ(a):
    count = op_count_2M7SKlOzyM(a,a)+op_count_fLGIAiPz9h(op_2M7SKlOzyM(a,a))
    return count


def op_rSF6PK3BIo(a, b):
    return op_1aApVXNlOP(op_i8ToyICDmI(b,a),op_ar1w6gUwHX(b,505))

def op_count_rSF6PK3BIo(a, b):
    count = op_count_i8ToyICDmI(b,a)+op_count_ar1w6gUwHX(b,505)+op_count_1aApVXNlOP(op_i8ToyICDmI(b,a),op_ar1w6gUwHX(b,505))
    return count


def op_zxvitxjGGl(a):
    if a <= 512 and op_FPxP5Y1j0W(a,778) >= 354:
        return op_JclMnS0uGI(210,a)
    else:
        return op_H0pizIJMoW(a)

def op_count_zxvitxjGGl(a):
    if a <= 512 and op_FPxP5Y1j0W(a,778) >= 354:
        count = op_count_JclMnS0uGI(210,a)+op_count_FPxP5Y1j0W(a,778)
    else:
        count = op_count_H0pizIJMoW(a)
    return count


↳≽a = { ((a⊩≵⪔)⇞) , if a!=54 ; (≈(a⊭a)) , else }

def op_2RiCcpYWz7(a):
    if a != 54:
        return op_5JYyxRJd4f(op_aDRGw0okjd(a))
    else:
        return op_EO7Xdgo9So(op_4JGOJzXMq1(a,a))

def op_count_2RiCcpYWz7(a):
    if a != 54:
        count = op_count_aDRGw0okjd(a)+op_count_5JYyxRJd4f(op_aDRGw0okjd(a))
    else:
        count = op_count_4JGOJzXMq1(a,a)+op_count_EO7Xdgo9So(op_4JGOJzXMq1(a,a))
    return count


a⩘⨹⊿b = { (((188∏⇴b)⪹)≶(⋗⩬⋾(b⊒a))) , if b==78 ; (((a↜⊷a)↺(a⋆⊨a))⋢((a⋷a)⊢)) , else }

def op_3ldUWfsXlD(a, b):
    if b == 78:
        return op_Q2SPaKwpPJ(op_B3sABdIn96(op_Rw46J52cBJ(188,b)),op_DpFCA1CohY(op_rPNtK4BLRO(b,a)))
    else:
        return op_NdELin8EPX(op_7j4O788W3g(op_irKjLsMeKy(a,a),op_uTBsSls0VN(a,a)),op_40aOVDgCDB(op_23Mk6UjR3U(a,a)))

def op_count_3ldUWfsXlD(a, b):
    if b == 78:
        count = op_count_Rw46J52cBJ(188,b)+op_count_B3sABdIn96(op_Rw46J52cBJ(188,b))+op_count_rPNtK4BLRO(b,a)+op_count_DpFCA1CohY(op_rPNtK4BLRO(b,a))+op_count_Q2SPaKwpPJ(op_B3sABdIn96(op_Rw46J52cBJ(188,b)),op_DpFCA1CohY(op_rPNtK4BLRO(b,a)))
    else:
        count = op_count_irKjLsMeKy(a,a)+op_count_uTBsSls0VN(a,a)+op_count_7j4O788W3g(op_irKjLsMeKy(a,a),op_uTBsSls0VN(a,a))+op_count_23Mk6UjR3U(a,a)+op_count_40aOVDgCDB(op_23Mk6UjR3U(a,a))+op_count_NdELin8EPX(op_7j4O788W3g(op_irKjLsMeKy(a,a),op_uTBsSls0VN(a,a)),op_40aOVDgCDB(op_23Mk6UjR3U(a,a)))
    return count


def op_ShBvFzxPDQ(a):
    return op_AdZkA7nFnk(op_DE7zCoGJt9(15),op_BAIXFdYaz3(a,a))

def op_count_ShBvFzxPDQ(a):
    count = op_count_DE7zCoGJt9(15)+op_count_BAIXFdYaz3(a,a)+op_count_AdZkA7nFnk(op_DE7zCoGJt9(15),op_BAIXFdYaz3(a,a))
    return count


def op_pqQc2C4t9h(a):
    if a < 392:
        return op_P8v4zCKN1o(a)
    else:
        return op_zR4jO40bMj(463,a)

def op_count_pqQc2C4t9h(a):
    if a < 392:
        count = op_count_P8v4zCKN1o(a)
    else:
        count = op_count_zR4jO40bMj(463,a)
    return count


∽≹a = { ((136≠≀a)↯⫤) , if (⩒∊a)<=226 ; ((a⫼⨠a)⨻⪊⨷(a⋝∏)) , else }

def op_t1gIPYuk3R(a):
    if op_qazvmhNBbN(a) <= 226:
        return op_VwlE7vj6HS(op_IwW236VD4Y(136,a))
    else:
        return op_Pkwamo1tM2(op_KYL1uVeVpb(a,a),op_69GgKhV9QQ(a))

def op_count_t1gIPYuk3R(a):
    if op_qazvmhNBbN(a) <= 226:
        count = op_count_IwW236VD4Y(136,a)+op_count_VwlE7vj6HS(op_IwW236VD4Y(136,a))+op_count_qazvmhNBbN(a)
    else:
        count = op_count_KYL1uVeVpb(a,a)+op_count_69GgKhV9QQ(a)+op_count_Pkwamo1tM2(op_KYL1uVeVpb(a,a),op_69GgKhV9QQ(a))
    return count


def op_nlu69d3kd1(a):
    return op_KROiRRz3d6(a,a)

def op_count_nlu69d3kd1(a):
    count = op_count_KROiRRz3d6(a,a)
    return count


a⇗≫b = { ((1∌a)⊓⋫) , if (⫡⇟⇯b)>770 ; ((b⇢a)⊋≦⊧(⋗⩬⋾a)) , else }

def op_S4LUIutb1e(a, b):
    if op_qWUSsah53b(b) > 770:
        return op_IqGBaFP0uj(op_8cLx32lpNA(1,a))
    else:
        return op_oRDoc9rAEX(op_GMN7JP6WpN(b,a),op_DpFCA1CohY(a))

def op_count_S4LUIutb1e(a, b):
    if op_qWUSsah53b(b) > 770:
        count = op_count_8cLx32lpNA(1,a)+op_count_IqGBaFP0uj(op_8cLx32lpNA(1,a))+op_count_qWUSsah53b(b)
    else:
        count = op_count_GMN7JP6WpN(b,a)+op_count_DpFCA1CohY(a)+op_count_oRDoc9rAEX(op_GMN7JP6WpN(b,a),op_DpFCA1CohY(a))
    return count


def op_sylijClI4e(a):
    return op_FyVja0WsTP(op_bl5wxAcryP(a),a)

def op_count_sylijClI4e(a):
    count = op_count_bl5wxAcryP(a)+op_count_FyVja0WsTP(op_bl5wxAcryP(a),a)
    return count


def op_7112RHhyte(a):
    if op_d7ASUq0ydm(a,998) != 708:
        return op_Siyfjn51pv(678)
    else:
        return op_gx7XJ7hdpj(a,a)

def op_count_7112RHhyte(a):
    if op_d7ASUq0ydm(a,998) != 708:
        count = op_count_Siyfjn51pv(678)+op_count_d7ASUq0ydm(a,998)
    else:
        count = op_count_gx7XJ7hdpj(a,a)
    return count


def op_0lzmP687b2(a):
    return op_cwbF3JtlMN(a,a)

def op_count_0lzmP687b2(a):
    count = op_count_cwbF3JtlMN(a,a)
    return count


def op_ivu8hUXlKq(a, b):
    if b == 16:
        return op_eewbuw0ToL(op_DmTXOeWf9t(a,29),op_CuHhPb8RwQ(a))
    else:
        return op_2DQ55sFlQl(op_1h0rLqGiFr(a),op_z4E1FaHLuy(256))

def op_count_ivu8hUXlKq(a, b):
    if b == 16:
        count = op_count_DmTXOeWf9t(a,29)+op_count_CuHhPb8RwQ(a)+op_count_eewbuw0ToL(op_DmTXOeWf9t(a,29),op_CuHhPb8RwQ(a))
    else:
        count = op_count_1h0rLqGiFr(a)+op_count_z4E1FaHLuy(256)+op_count_2DQ55sFlQl(op_1h0rLqGiFr(a),op_z4E1FaHLuy(256))
    return count


def op_ZAxGPUPiFl(a):
    if (a != 691 or op_bQ67fsrMVf(a) > 454 or a == 114):
        return op_JLbD19bQDL(394)
    else:
        return op_Bmrmz2XGnR(a,a)

def op_count_ZAxGPUPiFl(a):
    if (a != 691 or op_bQ67fsrMVf(a) > 454 or a == 114):
        count = op_count_JLbD19bQDL(394)+op_count_bQ67fsrMVf(a)
    else:
        count = op_count_Bmrmz2XGnR(a,a)
    return count


def op_usgnsOtpbm(a):
    return op_4JB6nKBMSY(a,op_XbEAUggs3J(op_6iafYuwGo8(17,a)))

def op_count_usgnsOtpbm(a):
    count = op_count_6iafYuwGo8(17,a)+op_count_XbEAUggs3J(op_6iafYuwGo8(17,a))+op_count_4JB6nKBMSY(a,op_XbEAUggs3J(op_6iafYuwGo8(17,a)))
    return count


↙⨧a = { (a↼⊘⨖a) , if (↪⨀a)<=157 and (a∺≝⩲520)>=247 ; (a⊝⨜≵) , else }

def op_pTU0JXsWv4(a):
    if op_t0cKpDWDXO(a) <= 157 and op_KPf6cnQVty(a,520) >= 247:
        return op_bPywburJMS(a,a)
    else:
        return op_CuHhPb8RwQ(a)

def op_count_pTU0JXsWv4(a):
    if op_t0cKpDWDXO(a) <= 157 and op_KPf6cnQVty(a,520) >= 247:
        count = op_count_bPywburJMS(a,a)+op_count_t0cKpDWDXO(a)+op_count_KPf6cnQVty(a,520)
    else:
        count = op_count_CuHhPb8RwQ(a)
    return count