a⨸⨾⇕b = { (((b∊⊞≈a)≶(b⪎↠172))⨸⪁((b⫶a)∵≐)) , if (b≧⊼674)==0 ; (b⋳/((b⨰↻⪇a)≦↸(b⨰a))) , else }

def op_cJjtybAweL(a, b):
    if op_JoLB3LXqXx(b,674) == 0:
        return op_g55IO6H4Gj(op_Q2SPaKwpPJ(op_keuJNkrrbj(b,a),op_3tVxb0NHM4(b,172)),op_59igzFyhWz(op_BAIXFdYaz3(b,a)))
    else:
        return op_m612RDITqL(b,op_RygbFNSyEJ(op_nbuSfrB4hB(b,a),op_eewbuw0ToL(b,a)))

def op_count_cJjtybAweL(a, b):
    if op_JoLB3LXqXx(b,674) == 0:
        count = op_count_keuJNkrrbj(b,a)+op_count_3tVxb0NHM4(b,172)+op_count_Q2SPaKwpPJ(op_keuJNkrrbj(b,a),op_3tVxb0NHM4(b,172))+op_count_BAIXFdYaz3(b,a)+op_count_59igzFyhWz(op_BAIXFdYaz3(b,a))+op_count_g55IO6H4Gj(op_Q2SPaKwpPJ(op_keuJNkrrbj(b,a),op_3tVxb0NHM4(b,172)),op_59igzFyhWz(op_BAIXFdYaz3(b,a)))+op_count_JoLB3LXqXx(b,674)
    else:
        count = op_count_nbuSfrB4hB(b,a)+op_count_eewbuw0ToL(b,a)+op_count_RygbFNSyEJ(op_nbuSfrB4hB(b,a),op_eewbuw0ToL(b,a))+op_count_m612RDITqL(b,op_RygbFNSyEJ(op_nbuSfrB4hB(b,a),op_eewbuw0ToL(b,a)))
    return count


⨖⊡a = { (a⊚⫡⫭) , if a>=7 ; (a∀⩎⋷a) , else }

def op_mbtFEgZLk9(a):
    if a >= 7:
        return op_SpZWOsLKZJ(a)
    else:
        return op_FPxP5Y1j0W(a,a)

def op_count_mbtFEgZLk9(a):
    if a >= 7:
        count = op_count_SpZWOsLKZJ(a)
    else:
        count = op_count_FPxP5Y1j0W(a,a)
    return count


def op_a3IilZSQIP(a):
    if a != 86:
        return op_j9kHMeSvPp(a,a)
    else:
        return op_hFnZRMLNSM(339)

def op_count_a3IilZSQIP(a):
    if a != 86:
        count = op_count_j9kHMeSvPp(a,a)
    else:
        count = op_count_hFnZRMLNSM(339)
    return count


⪯a = { (⪆((a∙∹∝a)≠≀(a↨⪍≴a))) , if (a⋾⨟)<=60 ; (((⇋↷a)⩽⩡(a⋎a))⩶) , else }

def op_U18dxhAIQK(a):
    if op_hYjFJ8q04Z(a) <= 60:
        return op_KWeyIRWUIQ(op_IwW236VD4Y(op_HmxsFra2vL(a,a),op_DX7B1fY6P6(a,a)))
    else:
        return op_yuvXk3Mco8(op_zFNL8mZEFB(op_SWo3A1KBJH(a),op_qy3n0tapmE(a,a)))

def op_count_U18dxhAIQK(a):
    if op_hYjFJ8q04Z(a) <= 60:
        count = op_count_HmxsFra2vL(a,a)+op_count_DX7B1fY6P6(a,a)+op_count_IwW236VD4Y(op_HmxsFra2vL(a,a),op_DX7B1fY6P6(a,a))+op_count_KWeyIRWUIQ(op_IwW236VD4Y(op_HmxsFra2vL(a,a),op_DX7B1fY6P6(a,a)))+op_count_hYjFJ8q04Z(a)
    else:
        count = op_count_SWo3A1KBJH(a)+op_count_qy3n0tapmE(a,a)+op_count_zFNL8mZEFB(op_SWo3A1KBJH(a),op_qy3n0tapmE(a,a))+op_count_yuvXk3Mco8(op_zFNL8mZEFB(op_SWo3A1KBJH(a),op_qy3n0tapmE(a,a)))
    return count


def op_IkBJshDHtt(a):
    if op_8cLx32lpNA(a,39) < 35:
        return 27
    else:
        return op_PxpmPgHHJV(op_0JWJYFSzIQ(op_y2kQTS4a70(a,150),op_W7eaUhjymW(a)))

def op_count_IkBJshDHtt(a):
    if op_8cLx32lpNA(a,39) < 35:
        count = op_count_8cLx32lpNA(a,39)
    else:
        count = op_count_y2kQTS4a70(a,150)+op_count_W7eaUhjymW(a)+op_count_0JWJYFSzIQ(op_y2kQTS4a70(a,150),op_W7eaUhjymW(a))+op_count_PxpmPgHHJV(op_0JWJYFSzIQ(op_y2kQTS4a70(a,150),op_W7eaUhjymW(a)))
    return count


a≒≍⨎ = { (((∓⪦725)⪁⨴⋨(a⫸a))≟⫹(↸⊣(a⫃⨇a))) , if (a⊨924)<=581 ; ((∦a)⋂⩴((a≧⊼a)∣(⨇⪄⫏a))) , else }

def op_NUy9YeVOA2(a):
    if op_vg4gO5BX6G(a,924) <= 581:
        return op_z2JHNkvbdm(op_y2kQTS4a70(op_D309nIvmXG(725),op_Qaz2MhZaG5(a,a)),op_wztAlM01eG(op_09Ly4LVMIf(a,a)))
    else:
        return op_hmlrMsD2PO(op_ew17WAA8t6(a),op_PPChnnnBFF(op_JoLB3LXqXx(a,a),op_B4c4JXCTtZ(a)))

def op_count_NUy9YeVOA2(a):
    if op_vg4gO5BX6G(a,924) <= 581:
        count = op_count_D309nIvmXG(725)+op_count_Qaz2MhZaG5(a,a)+op_count_y2kQTS4a70(op_D309nIvmXG(725),op_Qaz2MhZaG5(a,a))+op_count_09Ly4LVMIf(a,a)+op_count_wztAlM01eG(op_09Ly4LVMIf(a,a))+op_count_z2JHNkvbdm(op_y2kQTS4a70(op_D309nIvmXG(725),op_Qaz2MhZaG5(a,a)),op_wztAlM01eG(op_09Ly4LVMIf(a,a)))+op_count_vg4gO5BX6G(a,924)
    else:
        count = op_count_ew17WAA8t6(a)+op_count_JoLB3LXqXx(a,a)+op_count_B4c4JXCTtZ(a)+op_count_PPChnnnBFF(op_JoLB3LXqXx(a,a),op_B4c4JXCTtZ(a))+op_count_hmlrMsD2PO(op_ew17WAA8t6(a),op_PPChnnnBFF(op_JoLB3LXqXx(a,a),op_B4c4JXCTtZ(a)))
    return count


def op_yyGr8FKHqM(a, b):
    if op_SHWCOp9I4E(b) < 124:
        return op_NdELin8EPX(a,op_Bmrmz2XGnR(op_L05ObWFQCd(347,b),op_JFrVJKYFMX(49,b)))
    else:
        return op_ar1w6gUwHX(op_d7ASUq0ydm(op_GMN7JP6WpN(150,a),op_hrf7POJlIJ(b,a)),op_ZNVVrZ94lY(op_UoVew8f2p2(139,b)))

def op_count_yyGr8FKHqM(a, b):
    if op_SHWCOp9I4E(b) < 124:
        count = op_count_L05ObWFQCd(347,b)+op_count_JFrVJKYFMX(49,b)+op_count_Bmrmz2XGnR(op_L05ObWFQCd(347,b),op_JFrVJKYFMX(49,b))+op_count_NdELin8EPX(a,op_Bmrmz2XGnR(op_L05ObWFQCd(347,b),op_JFrVJKYFMX(49,b)))+op_count_SHWCOp9I4E(b)
    else:
        count = op_count_GMN7JP6WpN(150,a)+op_count_hrf7POJlIJ(b,a)+op_count_d7ASUq0ydm(op_GMN7JP6WpN(150,a),op_hrf7POJlIJ(b,a))+op_count_UoVew8f2p2(139,b)+op_count_ZNVVrZ94lY(op_UoVew8f2p2(139,b))+op_count_ar1w6gUwHX(op_d7ASUq0ydm(op_GMN7JP6WpN(150,a),op_hrf7POJlIJ(b,a)),op_ZNVVrZ94lY(op_UoVew8f2p2(139,b)))
    return count


a⋋b = { (((401⩍⋽⫝̸a)∄(b⪿⇪⊩a))⩣⊵⩗(∦(b⊦⊿))) , if (a⩟)<221 and a<=295 ; (((a⇖↽a)≠≀(b≠≀a))⫡⨏((b≣281)⪚⨁⋖(532⩧⪆b))) , else }

def op_zjtvyRDnKl(a, b):
    if op_fOIeswaMU4(a) < 221 and a <= 295:
        return op_wsXFuL0hC6(op_tnyRA5sazQ(op_BiWNJpBvwn(401,a),op_OGWBzMv138(b,a)),op_ew17WAA8t6(op_14qkJME0vr(b)))
    else:
        return op_QMFrweE19q(op_IwW236VD4Y(op_cwbF3JtlMN(a,a),op_IwW236VD4Y(b,a)),op_xSk1F0pZbF(op_ObEyaaML9x(b,281),op_Ikt5ks8PT7(532,b)))

def op_count_zjtvyRDnKl(a, b):
    if op_fOIeswaMU4(a) < 221 and a <= 295:
        count = op_count_BiWNJpBvwn(401,a)+op_count_OGWBzMv138(b,a)+op_count_tnyRA5sazQ(op_BiWNJpBvwn(401,a),op_OGWBzMv138(b,a))+op_count_14qkJME0vr(b)+op_count_ew17WAA8t6(op_14qkJME0vr(b))+op_count_wsXFuL0hC6(op_tnyRA5sazQ(op_BiWNJpBvwn(401,a),op_OGWBzMv138(b,a)),op_ew17WAA8t6(op_14qkJME0vr(b)))+op_count_fOIeswaMU4(a)
    else:
        count = op_count_cwbF3JtlMN(a,a)+op_count_IwW236VD4Y(b,a)+op_count_IwW236VD4Y(op_cwbF3JtlMN(a,a),op_IwW236VD4Y(b,a))+op_count_ObEyaaML9x(b,281)+op_count_Ikt5ks8PT7(532,b)+op_count_xSk1F0pZbF(op_ObEyaaML9x(b,281),op_Ikt5ks8PT7(532,b))+op_count_QMFrweE19q(op_IwW236VD4Y(op_cwbF3JtlMN(a,a),op_IwW236VD4Y(b,a)),op_xSk1F0pZbF(op_ObEyaaML9x(b,281),op_Ikt5ks8PT7(532,b)))
    return count


a⇨⇳⇴ = { ((a⫏↛⩏a)∀⩎⋷(⊄⩳↩a)) , if a!=9 ; ((a-a)⫚↹⊑(a⫸5)) , else }

def op_izXB28zTrC(a):
    if a != 9:
        return op_FPxP5Y1j0W(op_YC3tgrnOyr(a,a),op_8w2t5hMYqp(a))
    else:
        return op_dfKe02y8D2(op_rysDP5nf3Z(a,a),op_Qaz2MhZaG5(a,5))

def op_count_izXB28zTrC(a):
    if a != 9:
        count = op_count_YC3tgrnOyr(a,a)+op_count_8w2t5hMYqp(a)+op_count_FPxP5Y1j0W(op_YC3tgrnOyr(a,a),op_8w2t5hMYqp(a))
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_Qaz2MhZaG5(a,5)+op_count_dfKe02y8D2(op_rysDP5nf3Z(a,a),op_Qaz2MhZaG5(a,5))
    return count


a↺⋘b = { (⫌⊑↬(b⊒168)) , if (b⪠⩆⊳)>=621 ; ((↞≼a)∲⫓(b⩤∜↚b)) , else }

def op_jIjE9uTss5(a, b):
    if op_JLbD19bQDL(b) >= 621:
        return op_h57jOAbG9W(op_rPNtK4BLRO(b,168))
    else:
        return op_i8ToyICDmI(op_DE7zCoGJt9(a),op_KROiRRz3d6(b,b))

def op_count_jIjE9uTss5(a, b):
    if op_JLbD19bQDL(b) >= 621:
        count = op_count_rPNtK4BLRO(b,168)+op_count_h57jOAbG9W(op_rPNtK4BLRO(b,168))+op_count_JLbD19bQDL(b)
    else:
        count = op_count_DE7zCoGJt9(a)+op_count_KROiRRz3d6(b,b)+op_count_i8ToyICDmI(op_DE7zCoGJt9(a),op_KROiRRz3d6(b,b))
    return count


⫭≆a = { (a⨸⪁a) , if (a⇇)<=6 ; (⊡⇒⪪a) , else }

def op_jUSOKRaoYR(a):
    if op_ieTw63T1Vx(a) <= 6:
        return op_g55IO6H4Gj(a,a)
    else:
        return op_wisItNeSwq(a)

def op_count_jUSOKRaoYR(a):
    if op_ieTw63T1Vx(a) <= 6:
        count = op_count_g55IO6H4Gj(a,a)+op_count_ieTw63T1Vx(a)
    else:
        count = op_count_wisItNeSwq(a)
    return count


a⋾⨅⫦b = { (52⪎⨄⋝) , if (⋸⪍b)!=759 ; (a⋰⇉∕b) , else }

def op_66lcxNmSNf(a, b):
    if op_PrwIXj9ZQe(b) != 759:
        return op_kweVJGAjhl(52)
    else:
        return op_sM9mzqIDB1(a,b)

def op_count_66lcxNmSNf(a, b):
    if op_PrwIXj9ZQe(b) != 759:
        count = op_count_kweVJGAjhl(52)+op_count_PrwIXj9ZQe(b)
    else:
        count = op_count_sM9mzqIDB1(a,b)
    return count


a⩯≱⩰b = { ((⫌⊑↬(a≼b))⩧⪆b) , if (a⇩↽)>66 or b>=172 or b==6 ; (((⪸b)⋝⋈⪟(b⩦a))⋘((b⩦b)⨰(b⋥≓≎b))) , else }

def op_HDwVj9x3oe(a, b):
    if op_HjMFvreeUu(a) > 66 or b >= 172 or b == 6:
        return op_Ikt5ks8PT7(op_h57jOAbG9W(op_SPuZE40Ntn(a,b)),b)
    else:
        return op_2M7SKlOzyM(op_2DDjHMKMc0(op_86A5ENbKR9(b),op_0kmYd0q39Y(b,a)),op_eewbuw0ToL(op_0kmYd0q39Y(b,b),op_Qy55tPpLXF(b,b)))

def op_count_HDwVj9x3oe(a, b):
    if op_HjMFvreeUu(a) > 66 or b >= 172 or b == 6:
        count = op_count_SPuZE40Ntn(a,b)+op_count_h57jOAbG9W(op_SPuZE40Ntn(a,b))+op_count_Ikt5ks8PT7(op_h57jOAbG9W(op_SPuZE40Ntn(a,b)),b)+op_count_HjMFvreeUu(a)
    else:
        count = op_count_86A5ENbKR9(b)+op_count_0kmYd0q39Y(b,a)+op_count_2DDjHMKMc0(op_86A5ENbKR9(b),op_0kmYd0q39Y(b,a))+op_count_0kmYd0q39Y(b,b)+op_count_Qy55tPpLXF(b,b)+op_count_eewbuw0ToL(op_0kmYd0q39Y(b,b),op_Qy55tPpLXF(b,b))+op_count_2M7SKlOzyM(op_2DDjHMKMc0(op_86A5ENbKR9(b),op_0kmYd0q39Y(b,a)),op_eewbuw0ToL(op_0kmYd0q39Y(b,b),op_Qy55tPpLXF(b,b)))
    return count


def op_ZwyS8wrxVQ(a, b):
    if (op_IGFM8TAlm9(a) >= 90 or op_tHMVLcQ9bH(a) < 50):
        return op_S7Dkc5Re0B(b)
    else:
        return op_YApyZlDuBr(137)

def op_count_ZwyS8wrxVQ(a, b):
    if (op_IGFM8TAlm9(a) >= 90 or op_tHMVLcQ9bH(a) < 50):
        count = op_count_S7Dkc5Re0B(b)+op_count_IGFM8TAlm9(a)+op_count_tHMVLcQ9bH(a)
    else:
        count = op_count_YApyZlDuBr(137)
    return count


⋂⊲a = { (a⩾(a∙∹∝a)) , if (a>481 or a<=328) ; (∤(a⫠↝⫳)) , else }

def op_YHNvv2eCGw(a):
    if (a > 481 or a <= 328):
        return op_UggxBX659n(a,op_HmxsFra2vL(a,a))
    else:
        return op_k2HlF1dBQh(op_8n5YIzOsVS(a))

def op_count_YHNvv2eCGw(a):
    if (a > 481 or a <= 328):
        count = op_count_HmxsFra2vL(a,a)+op_count_UggxBX659n(a,op_HmxsFra2vL(a,a))
    else:
        count = op_count_8n5YIzOsVS(a)+op_count_k2HlF1dBQh(op_8n5YIzOsVS(a))
    return count


a⩛⊑⩁b = { (((a⪔⊥a)⪎↠(a↬⩅∪))≶(⊤(161≚⊃≕b))) , if (↸⊣b)<=803 ; (⊿(≉(85⫯⪬∳a))) , else }

def op_t7Ywswk0oK(a, b):
    if op_wztAlM01eG(b) <= 803:
        return op_Q2SPaKwpPJ(op_3tVxb0NHM4(op_HJ9erzHUuu(a,a),op_VJ330n2nnx(a)),op_oDvtRyfmAM(op_Bmrmz2XGnR(161,b)))
    else:
        return op_DO4fhlbJSI(op_e1ybzncUwg(op_d7ASUq0ydm(85,a)))

def op_count_t7Ywswk0oK(a, b):
    if op_wztAlM01eG(b) <= 803:
        count = op_count_HJ9erzHUuu(a,a)+op_count_VJ330n2nnx(a)+op_count_3tVxb0NHM4(op_HJ9erzHUuu(a,a),op_VJ330n2nnx(a))+op_count_Bmrmz2XGnR(161,b)+op_count_oDvtRyfmAM(op_Bmrmz2XGnR(161,b))+op_count_Q2SPaKwpPJ(op_3tVxb0NHM4(op_HJ9erzHUuu(a,a),op_VJ330n2nnx(a)),op_oDvtRyfmAM(op_Bmrmz2XGnR(161,b)))+op_count_wztAlM01eG(b)
    else:
        count = op_count_d7ASUq0ydm(85,a)+op_count_e1ybzncUwg(op_d7ASUq0ydm(85,a))+op_count_DO4fhlbJSI(op_e1ybzncUwg(op_d7ASUq0ydm(85,a)))
    return count


def op_seUDdcl26G(a):
    if a != 163:
        return op_e1ybzncUwg(a)
    else:
        return a

def op_count_seUDdcl26G(a):
    if a != 163:
        count = op_count_e1ybzncUwg(a)
    else:
        count = 1
    return count


a⋼⫬b = { (↞((b⪲⨢a)⩇∃⫛(b⪎↠b))) , if (a∺≝⩲508)>=206 ; (((⩷a)⊋≦⊧(b≬⋮a))⩽⩡(⪆(b≦↸a))) , else }

def op_Y4dFvpZTzx(a, b):
    if op_KPf6cnQVty(a,508) >= 206:
        return op_QKXs96F9fN(op_1aApVXNlOP(op_6iafYuwGo8(b,a),op_3tVxb0NHM4(b,b)))
    else:
        return op_zFNL8mZEFB(op_oRDoc9rAEX(op_1h0rLqGiFr(a),op_kbkesczE7y(b,a)),op_KWeyIRWUIQ(op_RygbFNSyEJ(b,a)))

def op_count_Y4dFvpZTzx(a, b):
    if op_KPf6cnQVty(a,508) >= 206:
        count = op_count_6iafYuwGo8(b,a)+op_count_3tVxb0NHM4(b,b)+op_count_1aApVXNlOP(op_6iafYuwGo8(b,a),op_3tVxb0NHM4(b,b))+op_count_QKXs96F9fN(op_1aApVXNlOP(op_6iafYuwGo8(b,a),op_3tVxb0NHM4(b,b)))+op_count_KPf6cnQVty(a,508)
    else:
        count = op_count_1h0rLqGiFr(a)+op_count_kbkesczE7y(b,a)+op_count_oRDoc9rAEX(op_1h0rLqGiFr(a),op_kbkesczE7y(b,a))+op_count_RygbFNSyEJ(b,a)+op_count_KWeyIRWUIQ(op_RygbFNSyEJ(b,a))+op_count_zFNL8mZEFB(op_oRDoc9rAEX(op_1h0rLqGiFr(a),op_kbkesczE7y(b,a)),op_KWeyIRWUIQ(op_RygbFNSyEJ(b,a)))
    return count


⇶⨇∠a = { ((a⫶a)⇌⫙⪟(a⩒⫫a)) , if (a∭)!=656 ; (⨾∊⩁(407⋢a)) , else }

def op_9eDjlWS7DX(a):
    if op_qLBMy5fcJr(a) != 656:
        return op_AFVx7xoS7T(op_BAIXFdYaz3(a,a),op_KFSx94NKJn(a,a))
    else:
        return op_QErWpSDGk0(op_NdELin8EPX(407,a))

def op_count_9eDjlWS7DX(a):
    if op_qLBMy5fcJr(a) != 656:
        count = op_count_BAIXFdYaz3(a,a)+op_count_KFSx94NKJn(a,a)+op_count_AFVx7xoS7T(op_BAIXFdYaz3(a,a),op_KFSx94NKJn(a,a))+op_count_qLBMy5fcJr(a)
    else:
        count = op_count_NdELin8EPX(407,a)+op_count_QErWpSDGk0(op_NdELin8EPX(407,a))
    return count


def op_fSc9RXyFW7(a, b):
    if b != 128:
        return op_hrf7POJlIJ(op_Cr5xnr8B4B(op_HmxsFra2vL(a,b),op_Noe24qw2ks(597,a)),op_KWeyIRWUIQ(op_GMyVS5K48T(b,a)))
    else:
        return op_YSKBFp38Pu(op_xoJmIySC7h(op_AdZkA7nFnk(b,a),op_Z5m6OM72h2(b,104)),445)

def op_count_fSc9RXyFW7(a, b):
    if b != 128:
        count = op_count_HmxsFra2vL(a,b)+op_count_Noe24qw2ks(597,a)+op_count_Cr5xnr8B4B(op_HmxsFra2vL(a,b),op_Noe24qw2ks(597,a))+op_count_GMyVS5K48T(b,a)+op_count_KWeyIRWUIQ(op_GMyVS5K48T(b,a))+op_count_hrf7POJlIJ(op_Cr5xnr8B4B(op_HmxsFra2vL(a,b),op_Noe24qw2ks(597,a)),op_KWeyIRWUIQ(op_GMyVS5K48T(b,a)))
    else:
        count = op_count_AdZkA7nFnk(b,a)+op_count_Z5m6OM72h2(b,104)+op_count_xoJmIySC7h(op_AdZkA7nFnk(b,a),op_Z5m6OM72h2(b,104))+op_count_YSKBFp38Pu(op_xoJmIySC7h(op_AdZkA7nFnk(b,a),op_Z5m6OM72h2(b,104)),445)
    return count


⫖a = { (⋂a) , if (↖∇⇑a)==278 ; (⩪∧⨌a) , else }

def op_9hl1k8hbNX(a):
    if op_th50nGnoUm(a) == 278:
        return op_BUOGQAYlQx(a)
    else:
        return op_6iOiAJX1F8(a)

def op_count_9hl1k8hbNX(a):
    if op_th50nGnoUm(a) == 278:
        count = op_count_BUOGQAYlQx(a)+op_count_th50nGnoUm(a)
    else:
        count = op_count_6iOiAJX1F8(a)
    return count


def op_KPNWZM5Xul(a, b):
    if op_VJ330n2nnx(b) < 272:
        return op_2GS7woTJqF(op_Bmrmz2XGnR(op_Wm7LHi3c8p(2),op_zFNL8mZEFB(b,b)),op_WR6HLWljOP(268,op_3sJ7IOPOlU(a,a)))
    else:
        return op_vRio1gEz1j(op_59igzFyhWz(op_zR4jO40bMj(204,525)))

def op_count_KPNWZM5Xul(a, b):
    if op_VJ330n2nnx(b) < 272:
        count = op_count_Wm7LHi3c8p(2)+op_count_zFNL8mZEFB(b,b)+op_count_Bmrmz2XGnR(op_Wm7LHi3c8p(2),op_zFNL8mZEFB(b,b))+op_count_3sJ7IOPOlU(a,a)+op_count_WR6HLWljOP(268,op_3sJ7IOPOlU(a,a))+op_count_2GS7woTJqF(op_Bmrmz2XGnR(op_Wm7LHi3c8p(2),op_zFNL8mZEFB(b,b)),op_WR6HLWljOP(268,op_3sJ7IOPOlU(a,a)))+op_count_VJ330n2nnx(b)
    else:
        count = op_count_zR4jO40bMj(204,525)+op_count_59igzFyhWz(op_zR4jO40bMj(204,525))+op_count_vRio1gEz1j(op_59igzFyhWz(op_zR4jO40bMj(204,525)))
    return count


a∢⇃⪵ = { (((a⩵∡a)⪖⪡(a⊭a))⪈⋁⩁(≀↧⇸(294⩒⫫12))) , if a!=162 ; (((⨩∲⋌a)⇿⊰(a⪨≂a))↼⊘⨖(∓(a⫚⫇))) , else }

def op_Rej73QEDUh(a):
    if a != 162:
        return op_GMyVS5K48T(op_7PjNe5qSIJ(op_Y7wcNGrDQJ(a,a),op_4JGOJzXMq1(a,a)),op_ljTHtUsqzn(op_KFSx94NKJn(294,12)))
    else:
        return op_bPywburJMS(op_ap3xiM279w(op_aSik1wnThz(a),op_sdazOOVcIp(a,a)),op_OwUj7dcsQK(op_SdCjLnB6rR(a)))

def op_count_Rej73QEDUh(a):
    if a != 162:
        count = op_count_Y7wcNGrDQJ(a,a)+op_count_4JGOJzXMq1(a,a)+op_count_7PjNe5qSIJ(op_Y7wcNGrDQJ(a,a),op_4JGOJzXMq1(a,a))+op_count_KFSx94NKJn(294,12)+op_count_ljTHtUsqzn(op_KFSx94NKJn(294,12))+op_count_GMyVS5K48T(op_7PjNe5qSIJ(op_Y7wcNGrDQJ(a,a),op_4JGOJzXMq1(a,a)),op_ljTHtUsqzn(op_KFSx94NKJn(294,12)))
    else:
        count = op_count_aSik1wnThz(a)+op_count_sdazOOVcIp(a,a)+op_count_ap3xiM279w(op_aSik1wnThz(a),op_sdazOOVcIp(a,a))+op_count_SdCjLnB6rR(a)+op_count_OwUj7dcsQK(op_SdCjLnB6rR(a))+op_count_bPywburJMS(op_ap3xiM279w(op_aSik1wnThz(a),op_sdazOOVcIp(a,a)),op_OwUj7dcsQK(op_SdCjLnB6rR(a)))
    return count


def op_vilDxIvKHQ(a):
    if op_RHru8klgy8(a) == 74 or op_yuvXk3Mco8(a) != 70:
        return op_dAAkup5nzi(op_th50nGnoUm(op_CuHhPb8RwQ(a)),op_5twsqlHp2o(op_3nqY3DE9mg(a),op_HiPekx5b7W(a,317)))
    else:
        return op_y2kQTS4a70(op_fG6uBQFnGz(op_MXaNJeIAZ3(a)),op_xoJmIySC7h(op_g55IO6H4Gj(a,a),op_tnyRA5sazQ(320,a)))

def op_count_vilDxIvKHQ(a):
    if op_RHru8klgy8(a) == 74 or op_yuvXk3Mco8(a) != 70:
        count = op_count_CuHhPb8RwQ(a)+op_count_th50nGnoUm(op_CuHhPb8RwQ(a))+op_count_3nqY3DE9mg(a)+op_count_HiPekx5b7W(a,317)+op_count_5twsqlHp2o(op_3nqY3DE9mg(a),op_HiPekx5b7W(a,317))+op_count_dAAkup5nzi(op_th50nGnoUm(op_CuHhPb8RwQ(a)),op_5twsqlHp2o(op_3nqY3DE9mg(a),op_HiPekx5b7W(a,317)))+op_count_RHru8klgy8(a)+op_count_yuvXk3Mco8(a)
    else:
        count = op_count_MXaNJeIAZ3(a)+op_count_fG6uBQFnGz(op_MXaNJeIAZ3(a))+op_count_g55IO6H4Gj(a,a)+op_count_tnyRA5sazQ(320,a)+op_count_xoJmIySC7h(op_g55IO6H4Gj(a,a),op_tnyRA5sazQ(320,a))+op_count_y2kQTS4a70(op_fG6uBQFnGz(op_MXaNJeIAZ3(a)),op_xoJmIySC7h(op_g55IO6H4Gj(a,a),op_tnyRA5sazQ(320,a)))
    return count


def op_nBHZox12dy(a, b):
    if op_o575Zjdmzy(b) != 170:
        return op_vRio1gEz1j(op_IxJHfR5psi(b,170))
    else:
        return op_U6pG0PXrV3(op_AdZkA7nFnk(b,a))

def op_count_nBHZox12dy(a, b):
    if op_o575Zjdmzy(b) != 170:
        count = op_count_IxJHfR5psi(b,170)+op_count_vRio1gEz1j(op_IxJHfR5psi(b,170))+op_count_o575Zjdmzy(b)
    else:
        count = op_count_AdZkA7nFnk(b,a)+op_count_U6pG0PXrV3(op_AdZkA7nFnk(b,a))
    return count


def op_7JbuLsbBtx(a, b):
    if (op_g7Hmc5v1ko(b,189) != 315 or op_IxJHfR5psi(b,168) != 171):
        return op_Ikt5ks8PT7(40,op_OWnFPqjWlR(577,422))
    else:
        return op_620seOwKww(op_COABgblf1C(b,a))

def op_count_7JbuLsbBtx(a, b):
    if (op_g7Hmc5v1ko(b,189) != 315 or op_IxJHfR5psi(b,168) != 171):
        count = op_count_OWnFPqjWlR(577,422)+op_count_Ikt5ks8PT7(40,op_OWnFPqjWlR(577,422))+op_count_g7Hmc5v1ko(b,189)+op_count_IxJHfR5psi(b,168)
    else:
        count = op_count_COABgblf1C(b,a)+op_count_620seOwKww(op_COABgblf1C(b,a))
    return count


a⪋ = { (((a⩌⋺a)⩚⊴⇥(≎↾a))⋟⫀⨗((a⫰⋱0)∌↝(948⇴a))) , if a<=210 ; (((⪞⋲≾a)⪚(a+0))↨⪍≴((⫭≬a)⊒(a⨚a))) , else }

def op_F0bFH7iBkH(a):
    if a <= 210:
        return op_dAAkup5nzi(op_NTOWxs364D(op_g7Hmc5v1ko(a,a),op_S56z7WVPBn(a)),op_9Isq31Ruls(op_6o9Blt3TJ6(a,0),op_4JB6nKBMSY(948,a)))
    else:
        return op_DX7B1fY6P6(op_HrjLwUk87U(op_kz228nwi0J(a),op_W4YGzv6Whe(a,0)),op_rPNtK4BLRO(op_S7Dkc5Re0B(a),op_nREPSIbpBE(a,a)))

def op_count_F0bFH7iBkH(a):
    if a <= 210:
        count = op_count_g7Hmc5v1ko(a,a)+op_count_S56z7WVPBn(a)+op_count_NTOWxs364D(op_g7Hmc5v1ko(a,a),op_S56z7WVPBn(a))+op_count_6o9Blt3TJ6(a,0)+op_count_4JB6nKBMSY(948,a)+op_count_9Isq31Ruls(op_6o9Blt3TJ6(a,0),op_4JB6nKBMSY(948,a))+op_count_dAAkup5nzi(op_NTOWxs364D(op_g7Hmc5v1ko(a,a),op_S56z7WVPBn(a)),op_9Isq31Ruls(op_6o9Blt3TJ6(a,0),op_4JB6nKBMSY(948,a)))
    else:
        count = op_count_kz228nwi0J(a)+op_count_W4YGzv6Whe(a,0)+op_count_HrjLwUk87U(op_kz228nwi0J(a),op_W4YGzv6Whe(a,0))+op_count_S7Dkc5Re0B(a)+op_count_nREPSIbpBE(a,a)+op_count_rPNtK4BLRO(op_S7Dkc5Re0B(a),op_nREPSIbpBE(a,a))+op_count_DX7B1fY6P6(op_HrjLwUk87U(op_kz228nwi0J(a),op_W4YGzv6Whe(a,0)),op_rPNtK4BLRO(op_S7Dkc5Re0B(a),op_nREPSIbpBE(a,a)))
    return count


def op_8GoaSTesSg(a, b):
    if b < 155:
        return op_86A5ENbKR9(op_HiPekx5b7W(op_GMyVS5K48T(172,a),op_E4l6HwMY31(b,a)))
    else:
        return op_KbjG8mgYpV(op_OTRTVPweYV(op_uysxUYN2L2(b,55),op_2M7SKlOzyM(a,543)),op_DZ8iAZOCBD(op_Ph9nP6C5qx(36,a),op_JLbD19bQDL(a)))

def op_count_8GoaSTesSg(a, b):
    if b < 155:
        count = op_count_GMyVS5K48T(172,a)+op_count_E4l6HwMY31(b,a)+op_count_HiPekx5b7W(op_GMyVS5K48T(172,a),op_E4l6HwMY31(b,a))+op_count_86A5ENbKR9(op_HiPekx5b7W(op_GMyVS5K48T(172,a),op_E4l6HwMY31(b,a)))
    else:
        count = op_count_uysxUYN2L2(b,55)+op_count_2M7SKlOzyM(a,543)+op_count_OTRTVPweYV(op_uysxUYN2L2(b,55),op_2M7SKlOzyM(a,543))+op_count_Ph9nP6C5qx(36,a)+op_count_JLbD19bQDL(a)+op_count_DZ8iAZOCBD(op_Ph9nP6C5qx(36,a),op_JLbD19bQDL(a))+op_count_KbjG8mgYpV(op_OTRTVPweYV(op_uysxUYN2L2(b,55),op_2M7SKlOzyM(a,543)),op_DZ8iAZOCBD(op_Ph9nP6C5qx(36,a),op_JLbD19bQDL(a)))
    return count


def op_vAmutI3AvZ(a):
    if a < 112:
        return op_bPywburJMS(479,337)
    else:
        return op_t8gj7n24qd(a)

def op_count_vAmutI3AvZ(a):
    if a < 112:
        count = op_count_bPywburJMS(479,337)
    else:
        count = op_count_t8gj7n24qd(a)
    return count


def op_6MREPLFO5z(a, b):
    if op_jdwGQqwJi5(b) != 301:
        return op_3A1e9zoj8h(a)
    else:
        return op_rPNtK4BLRO(a,72)

def op_count_6MREPLFO5z(a, b):
    if op_jdwGQqwJi5(b) != 301:
        count = op_count_3A1e9zoj8h(a)+op_count_jdwGQqwJi5(b)
    else:
        count = op_count_rPNtK4BLRO(a,72)
    return count


a⇊⋼⫧b = { ((⪁≄(a⪔⊥b))⨸⪁(b≝⊿(b⪉⨛a))) , if (a⫭)!=113 ; ((⊄(120⨧↗⨷b))⋳/(⨡↴(b⇅))) , else }

def op_tUOKwCw09Q(a, b):
    if op_t4WUHVGj7f(a) != 113:
        return op_g55IO6H4Gj(op_2O29ZX4yK6(op_HJ9erzHUuu(a,b)),op_OKKcZfAt5B(b,op_EWw2JM7wp4(b,a)))
    else:
        return op_m612RDITqL(op_AnPstFaJd9(op_WSbXXWOizJ(120,b)),op_liw5iZPkLH(op_oH594TLvBK(b)))

def op_count_tUOKwCw09Q(a, b):
    if op_t4WUHVGj7f(a) != 113:
        count = op_count_HJ9erzHUuu(a,b)+op_count_2O29ZX4yK6(op_HJ9erzHUuu(a,b))+op_count_EWw2JM7wp4(b,a)+op_count_OKKcZfAt5B(b,op_EWw2JM7wp4(b,a))+op_count_g55IO6H4Gj(op_2O29ZX4yK6(op_HJ9erzHUuu(a,b)),op_OKKcZfAt5B(b,op_EWw2JM7wp4(b,a)))+op_count_t4WUHVGj7f(a)
    else:
        count = op_count_WSbXXWOizJ(120,b)+op_count_AnPstFaJd9(op_WSbXXWOizJ(120,b))+op_count_oH594TLvBK(b)+op_count_liw5iZPkLH(op_oH594TLvBK(b))+op_count_m612RDITqL(op_AnPstFaJd9(op_WSbXXWOizJ(120,b)),op_liw5iZPkLH(op_oH594TLvBK(b)))
    return count


def op_e7fKtFYRQn(a):
    if a >= 910:
        return op_GMN7JP6WpN(18,a)
    else:
        return op_2DDjHMKMc0(a,763)

def op_count_e7fKtFYRQn(a):
    if a >= 910:
        count = op_count_GMN7JP6WpN(18,a)
    else:
        count = op_count_2DDjHMKMc0(a,763)
    return count


a≼⫒↬b = { b , if (∓⪦b)==32 ; ((⫡⇟⇯(a⫲))⋅⇍(b⋞(a⊬⨰195))) , else }

def op_qufViy4tU0(a, b):
    if op_D309nIvmXG(b) == 32:
        return b
    else:
        return op_AdZkA7nFnk(op_qWUSsah53b(op_9xnGDUPbC6(a)),op_V4yb4KDoeF(b,op_s3Fd5m9Dh2(a,195)))

def op_count_qufViy4tU0(a, b):
    if op_D309nIvmXG(b) == 32:
        count = 1
    else:
        count = op_count_9xnGDUPbC6(a)+op_count_qWUSsah53b(op_9xnGDUPbC6(a))+op_count_s3Fd5m9Dh2(a,195)+op_count_V4yb4KDoeF(b,op_s3Fd5m9Dh2(a,195))+op_count_AdZkA7nFnk(op_qWUSsah53b(op_9xnGDUPbC6(a)),op_V4yb4KDoeF(b,op_s3Fd5m9Dh2(a,195)))
    return count


a≜⊇b = { ((⫡⇟⇯a)∽(b⇴a)) , if b<94 ; ((b⨰↻⪇a)⊢) , else }

def op_oa1nrqFkD0(a, b):
    if b < 94:
        return op_y4ImoPnbV5(op_qWUSsah53b(a),op_4JB6nKBMSY(b,a))
    else:
        return op_40aOVDgCDB(op_nbuSfrB4hB(b,a))

def op_count_oa1nrqFkD0(a, b):
    if b < 94:
        count = op_count_qWUSsah53b(a)+op_count_4JB6nKBMSY(b,a)+op_count_y4ImoPnbV5(op_qWUSsah53b(a),op_4JB6nKBMSY(b,a))
    else:
        count = op_count_nbuSfrB4hB(b,a)+op_count_40aOVDgCDB(op_nbuSfrB4hB(b,a))
    return count


⨎⪎a = { (∨a) , if (a≋⫹)!=667 ; (a≠≀a) , else }

def op_1M6MJr8P6q(a):
    if op_N41Kp7NANJ(a) != 667:
        return op_rIsGeVJWJF(a)
    else:
        return op_IwW236VD4Y(a,a)

def op_count_1M6MJr8P6q(a):
    if op_N41Kp7NANJ(a) != 667:
        count = op_count_rIsGeVJWJF(a)+op_count_N41Kp7NANJ(a)
    else:
        count = op_count_IwW236VD4Y(a,a)
    return count


a⪟⫙b = { ((b⨜⨶(158⨓↿∉a))⩚) , if b!=17 ; (((⇻⨃⇄b)⨧(a⪎↠a))≚⊃≕((b≣b)⫊⇚⊺a)) , else }

def op_KsnKn8I4DZ(a, b):
    if b != 17:
        return op_i3MWstRFMQ(op_HiPekx5b7W(b,op_OWnFPqjWlR(158,a)))
    else:
        return op_Bmrmz2XGnR(op_3YWlZA9bsa(op_fLGIAiPz9h(b),op_3tVxb0NHM4(a,a)),op_Y5cEcQhyKu(op_ObEyaaML9x(b,b),a))

def op_count_KsnKn8I4DZ(a, b):
    if b != 17:
        count = op_count_OWnFPqjWlR(158,a)+op_count_HiPekx5b7W(b,op_OWnFPqjWlR(158,a))+op_count_i3MWstRFMQ(op_HiPekx5b7W(b,op_OWnFPqjWlR(158,a)))
    else:
        count = op_count_fLGIAiPz9h(b)+op_count_3tVxb0NHM4(a,a)+op_count_3YWlZA9bsa(op_fLGIAiPz9h(b),op_3tVxb0NHM4(a,a))+op_count_ObEyaaML9x(b,b)+op_count_Y5cEcQhyKu(op_ObEyaaML9x(b,b),a)+op_count_Bmrmz2XGnR(op_3YWlZA9bsa(op_fLGIAiPz9h(b),op_3tVxb0NHM4(a,a)),op_Y5cEcQhyKu(op_ObEyaaML9x(b,b),a))
    return count


a⩕≗b = { (⫦≽⪐((⩪∧⨌b)∫≲⋬)) , if a>=226 ; (((b⪐-a)⫗⊒⇾(b⩽⩡b))⋝⋈⪟b) , else }

def op_PULhhNGBKj(a, b):
    if a >= 226:
        return op_fjqJgF5yyp(op_DNmMwa48aR(op_6iOiAJX1F8(b)))
    else:
        return op_2DDjHMKMc0(op_hiBDRd40bf(op_d8xe6WWVfM(b,a),op_zFNL8mZEFB(b,b)),b)

def op_count_PULhhNGBKj(a, b):
    if a >= 226:
        count = op_count_6iOiAJX1F8(b)+op_count_DNmMwa48aR(op_6iOiAJX1F8(b))+op_count_fjqJgF5yyp(op_DNmMwa48aR(op_6iOiAJX1F8(b)))
    else:
        count = op_count_d8xe6WWVfM(b,a)+op_count_zFNL8mZEFB(b,b)+op_count_hiBDRd40bf(op_d8xe6WWVfM(b,a),op_zFNL8mZEFB(b,b))+op_count_2DDjHMKMc0(op_hiBDRd40bf(op_d8xe6WWVfM(b,a),op_zFNL8mZEFB(b,b)),b)
    return count


⨽∫⩛a = { ((⇗⪘∲a)≃(112⩤∜↚a)) , if a>=226 ; (a≽⪈↿(a≧⫂∧a)) , else }

def op_s8qX6NXliq(a):
    if a >= 226:
        return op_YbVcJGFEVW(op_j4geBLYVFK(a),op_KROiRRz3d6(112,a))
    else:
        return op_inCIaGQf8u(a,op_Ph9nP6C5qx(a,a))

def op_count_s8qX6NXliq(a):
    if a >= 226:
        count = op_count_j4geBLYVFK(a)+op_count_KROiRRz3d6(112,a)+op_count_YbVcJGFEVW(op_j4geBLYVFK(a),op_KROiRRz3d6(112,a))
    else:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_inCIaGQf8u(a,op_Ph9nP6C5qx(a,a))
    return count


def op_VVXmEcaNmn(a):
    if (a >= 106 and op_OGWBzMv138(a,949) == 47):
        return op_Y7wcNGrDQJ(op_ocpzidtxKt(a),op_giaUb8UVhq(a,a))
    else:
        return op_9Isq31Ruls(op_Y7wcNGrDQJ(173,a),op_kuIXHzHcAH(a,a))

def op_count_VVXmEcaNmn(a):
    if (a >= 106 and op_OGWBzMv138(a,949) == 47):
        count = op_count_ocpzidtxKt(a)+op_count_giaUb8UVhq(a,a)+op_count_Y7wcNGrDQJ(op_ocpzidtxKt(a),op_giaUb8UVhq(a,a))+op_count_OGWBzMv138(a,949)
    else:
        count = op_count_Y7wcNGrDQJ(173,a)+op_count_kuIXHzHcAH(a,a)+op_count_9Isq31Ruls(op_Y7wcNGrDQJ(173,a),op_kuIXHzHcAH(a,a))
    return count


def op_EiZwwOZ4nb(a, b):
    if op_2DRhT6gtPg(b) == 546:
        return op_XnXgA4xnOs(a,a)
    else:
        return op_Y9dhGmbGii(694)

def op_count_EiZwwOZ4nb(a, b):
    if op_2DRhT6gtPg(b) == 546:
        count = op_count_XnXgA4xnOs(a,a)+op_count_2DRhT6gtPg(b)
    else:
        count = op_count_Y9dhGmbGii(694)
    return count


a⊸⋪≐b = { (((b⨑≵⋬a)⪶≀⋏(⪆b))⩟) , if (a⪢⨴)==391 ; (((227≧⊼b)⪠⩆⊳)≧⫂∧(⨾∊⩁(a⨴b))) , else }

def op_9TWTp1rdMN(a, b):
    if op_UMMmb9LONo(a) == 391:
        return op_fOIeswaMU4(op_zR4jO40bMj(op_XnXgA4xnOs(b,a),op_KWeyIRWUIQ(b)))
    else:
        return op_Ph9nP6C5qx(op_JLbD19bQDL(op_JoLB3LXqXx(227,b)),op_QErWpSDGk0(op_jBC4ymW3D7(a,b)))

def op_count_9TWTp1rdMN(a, b):
    if op_UMMmb9LONo(a) == 391:
        count = op_count_XnXgA4xnOs(b,a)+op_count_KWeyIRWUIQ(b)+op_count_zR4jO40bMj(op_XnXgA4xnOs(b,a),op_KWeyIRWUIQ(b))+op_count_fOIeswaMU4(op_zR4jO40bMj(op_XnXgA4xnOs(b,a),op_KWeyIRWUIQ(b)))+op_count_UMMmb9LONo(a)
    else:
        count = op_count_JoLB3LXqXx(227,b)+op_count_JLbD19bQDL(op_JoLB3LXqXx(227,b))+op_count_jBC4ymW3D7(a,b)+op_count_QErWpSDGk0(op_jBC4ymW3D7(a,b))+op_count_Ph9nP6C5qx(op_JLbD19bQDL(op_JoLB3LXqXx(227,b)),op_QErWpSDGk0(op_jBC4ymW3D7(a,b)))
    return count


⪯⨇↪a = { (a⪦⩸a) , if a>=89 ; (a⇌↸) , else }

def op_Abh35Dc6p9(a):
    if a >= 89:
        return op_0JWJYFSzIQ(a,a)
    else:
        return op_2PILXiQIjy(a)

def op_count_Abh35Dc6p9(a):
    if a >= 89:
        count = op_count_0JWJYFSzIQ(a,a)
    else:
        count = op_count_2PILXiQIjy(a)
    return count


a⩎b = { (((a⨑≵⋬b)⇌↸)⋎((b⨻⪊⨷76)≽⪈↿(⊫∐⫩b))) , if b!=62 ; (((b∽b)∙∹∝(b⇿⊰b))⨧↗⨷((⇠a)⪒⊣⊆(a⫏↛⩏b))) , else }

def op_A1OgdcMHe9(a, b):
    if b != 62:
        return op_qy3n0tapmE(op_2PILXiQIjy(op_XnXgA4xnOs(a,b)),op_inCIaGQf8u(op_Pkwamo1tM2(b,76),op_gSr4c7pPrV(b)))
    else:
        return op_WSbXXWOizJ(op_HmxsFra2vL(op_y4ImoPnbV5(b,b),op_ap3xiM279w(b,b)),op_eRqsBgTDFp(op_18saOjeKKm(a),op_YC3tgrnOyr(a,b)))

def op_count_A1OgdcMHe9(a, b):
    if b != 62:
        count = op_count_XnXgA4xnOs(a,b)+op_count_2PILXiQIjy(op_XnXgA4xnOs(a,b))+op_count_Pkwamo1tM2(b,76)+op_count_gSr4c7pPrV(b)+op_count_inCIaGQf8u(op_Pkwamo1tM2(b,76),op_gSr4c7pPrV(b))+op_count_qy3n0tapmE(op_2PILXiQIjy(op_XnXgA4xnOs(a,b)),op_inCIaGQf8u(op_Pkwamo1tM2(b,76),op_gSr4c7pPrV(b)))
    else:
        count = op_count_y4ImoPnbV5(b,b)+op_count_ap3xiM279w(b,b)+op_count_HmxsFra2vL(op_y4ImoPnbV5(b,b),op_ap3xiM279w(b,b))+op_count_18saOjeKKm(a)+op_count_YC3tgrnOyr(a,b)+op_count_eRqsBgTDFp(op_18saOjeKKm(a),op_YC3tgrnOyr(a,b))+op_count_WSbXXWOizJ(op_HmxsFra2vL(op_y4ImoPnbV5(b,b),op_ap3xiM279w(b,b)),op_eRqsBgTDFp(op_18saOjeKKm(a),op_YC3tgrnOyr(a,b)))
    return count


def op_zTd4o4K50M(a):
    if a >= 268:
        return op_eewbuw0ToL(op_jfYOP67v6Y(op_sM9mzqIDB1(a,a)),op_zoVPnxeHJ3(op_keuJNkrrbj(a,a)))
    else:
        return op_9Isq31Ruls(op_6iafYuwGo8(op_kbkesczE7y(a,28),op_DmTXOeWf9t(302,a)),op_ObEyaaML9x(op_23Mk6UjR3U(358,53),op_nhYeJWJD5X(148,a)))

def op_count_zTd4o4K50M(a):
    if a >= 268:
        count = op_count_sM9mzqIDB1(a,a)+op_count_jfYOP67v6Y(op_sM9mzqIDB1(a,a))+op_count_keuJNkrrbj(a,a)+op_count_zoVPnxeHJ3(op_keuJNkrrbj(a,a))+op_count_eewbuw0ToL(op_jfYOP67v6Y(op_sM9mzqIDB1(a,a)),op_zoVPnxeHJ3(op_keuJNkrrbj(a,a)))
    else:
        count = op_count_kbkesczE7y(a,28)+op_count_DmTXOeWf9t(302,a)+op_count_6iafYuwGo8(op_kbkesczE7y(a,28),op_DmTXOeWf9t(302,a))+op_count_23Mk6UjR3U(358,53)+op_count_nhYeJWJD5X(148,a)+op_count_ObEyaaML9x(op_23Mk6UjR3U(358,53),op_nhYeJWJD5X(148,a))+op_count_9Isq31Ruls(op_6iafYuwGo8(op_kbkesczE7y(a,28),op_DmTXOeWf9t(302,a)),op_ObEyaaML9x(op_23Mk6UjR3U(358,53),op_nhYeJWJD5X(148,a)))
    return count


a≪⫇b = { ((a∙∹∝b)∀⩎⋷a) , if (⪞⋲≾a)==110 ; ((a⊬⫿⊭)⊱⇼⊻(⇺⪔⩬a)) , else }

def op_HJmRI3zxge(a, b):
    if op_kz228nwi0J(a) == 110:
        return op_FPxP5Y1j0W(op_HmxsFra2vL(a,b),a)
    else:
        return op_FyVja0WsTP(op_v0DYgG9ikt(a),op_lAOUD4ZMWV(a))

def op_count_HJmRI3zxge(a, b):
    if op_kz228nwi0J(a) == 110:
        count = op_count_HmxsFra2vL(a,b)+op_count_FPxP5Y1j0W(op_HmxsFra2vL(a,b),a)+op_count_kz228nwi0J(a)
    else:
        count = op_count_v0DYgG9ikt(a)+op_count_lAOUD4ZMWV(a)+op_count_FyVja0WsTP(op_v0DYgG9ikt(a),op_lAOUD4ZMWV(a))
    return count


def op_8N3ri3lVON(a):
    if a == 161:
        return op_o575Zjdmzy(178)
    else:
        return op_3EYGwJThht(a,a)

def op_count_8N3ri3lVON(a):
    if a == 161:
        count = op_count_o575Zjdmzy(178)
    else:
        count = op_count_3EYGwJThht(a,a)
    return count


a⊠⪡⨶b = { (⨇⪄⫏((↪⨀a)≚⊃≕(a∲⫑196))) , if b<=245 ; (((a⪿⇪⊩b)⪅)⪉⨛((b⨰b)⩾(a≼110))) , else }

def op_ntT9PAI6rF(a, b):
    if b <= 245:
        return op_B4c4JXCTtZ(op_Bmrmz2XGnR(op_t0cKpDWDXO(a),op_NrdPCfJQiM(a,196)))
    else:
        return op_EWw2JM7wp4(op_FB83X2dByY(op_OGWBzMv138(a,b)),op_UggxBX659n(op_eewbuw0ToL(b,b),op_SPuZE40Ntn(a,110)))

def op_count_ntT9PAI6rF(a, b):
    if b <= 245:
        count = op_count_t0cKpDWDXO(a)+op_count_NrdPCfJQiM(a,196)+op_count_Bmrmz2XGnR(op_t0cKpDWDXO(a),op_NrdPCfJQiM(a,196))+op_count_B4c4JXCTtZ(op_Bmrmz2XGnR(op_t0cKpDWDXO(a),op_NrdPCfJQiM(a,196)))
    else:
        count = op_count_OGWBzMv138(a,b)+op_count_FB83X2dByY(op_OGWBzMv138(a,b))+op_count_eewbuw0ToL(b,b)+op_count_SPuZE40Ntn(a,110)+op_count_UggxBX659n(op_eewbuw0ToL(b,b),op_SPuZE40Ntn(a,110))+op_count_EWw2JM7wp4(op_FB83X2dByY(op_OGWBzMv138(a,b)),op_UggxBX659n(op_eewbuw0ToL(b,b),op_SPuZE40Ntn(a,110)))
    return count


a⪰⪼ = { (a⪿⇪⊩a) , if (⋑a)<2 ; (a⪍) , else }

def op_MFIItsImIc(a):
    if op_iz8sE888QL(a) < 2:
        return op_OGWBzMv138(a,a)
    else:
        return op_SHWCOp9I4E(a)

def op_count_MFIItsImIc(a):
    if op_iz8sE888QL(a) < 2:
        count = op_count_OGWBzMv138(a,a)+op_count_iz8sE888QL(a)
    else:
        count = op_count_SHWCOp9I4E(a)
    return count


a⪏≵⨺ = { ((a⩷∴a)≧⫂∧(⪁⇼a)) , if a>241 ; (⨾∊⩁(a⫸a)) , else }

def op_iVaOqSXtyo(a):
    if a > 241:
        return op_Ph9nP6C5qx(op_9FxExcQeMw(a,a),op_ZNVVrZ94lY(a))
    else:
        return op_QErWpSDGk0(op_Qaz2MhZaG5(a,a))

def op_count_iVaOqSXtyo(a):
    if a > 241:
        count = op_count_9FxExcQeMw(a,a)+op_count_ZNVVrZ94lY(a)+op_count_Ph9nP6C5qx(op_9FxExcQeMw(a,a),op_ZNVVrZ94lY(a))
    else:
        count = op_count_Qaz2MhZaG5(a,a)+op_count_QErWpSDGk0(op_Qaz2MhZaG5(a,a))
    return count


a≏⪷⨊b = { (((b⨻⪊⨷a)⪨(⨇⪄⫏b))≬⋮((b∌a)+⪬∐a)) , if a!=261 ; (((b⊵a)⪱⇝(⫳⪺∰a))⫩⊇) , else }

def op_aP2QVQG16R(a, b):
    if a != 261:
        return op_kbkesczE7y(op_2z8nE7LpCu(op_Pkwamo1tM2(b,a),op_B4c4JXCTtZ(b)),op_2GS7woTJqF(op_8cLx32lpNA(b,a),a))
    else:
        return op_BjRHVeLaeN(op_OTRTVPweYV(op_eaFBhJ0Uku(b,a),op_eftAHwPbeA(a)))

def op_count_aP2QVQG16R(a, b):
    if a != 261:
        count = op_count_Pkwamo1tM2(b,a)+op_count_B4c4JXCTtZ(b)+op_count_2z8nE7LpCu(op_Pkwamo1tM2(b,a),op_B4c4JXCTtZ(b))+op_count_8cLx32lpNA(b,a)+op_count_2GS7woTJqF(op_8cLx32lpNA(b,a),a)+op_count_kbkesczE7y(op_2z8nE7LpCu(op_Pkwamo1tM2(b,a),op_B4c4JXCTtZ(b)),op_2GS7woTJqF(op_8cLx32lpNA(b,a),a))
    else:
        count = op_count_eaFBhJ0Uku(b,a)+op_count_eftAHwPbeA(a)+op_count_OTRTVPweYV(op_eaFBhJ0Uku(b,a),op_eftAHwPbeA(a))+op_count_BjRHVeLaeN(op_OTRTVPweYV(op_eaFBhJ0Uku(b,a),op_eftAHwPbeA(a)))
    return count


⊊⇑⋄a = { ((↥≼⋛(⫂a))⩍⋽⫝̸(a⪭a)) , if (a⪨642)==378 ; (((10⨰↻⪇a)∲⫓(a⊕⨔))⩆≶⊌) , else }

def op_oFFw5ibboO(a):
    if op_2z8nE7LpCu(a,642) == 378:
        return op_BiWNJpBvwn(op_x5lMkHmzsq(op_U9HvHqtOoq(a)),op_j9kHMeSvPp(a,a))
    else:
        return op_PZaICrJanm(op_i8ToyICDmI(op_nbuSfrB4hB(10,a),op_ut0Nd8ObBp(a)))

def op_count_oFFw5ibboO(a):
    if op_2z8nE7LpCu(a,642) == 378:
        count = op_count_U9HvHqtOoq(a)+op_count_x5lMkHmzsq(op_U9HvHqtOoq(a))+op_count_j9kHMeSvPp(a,a)+op_count_BiWNJpBvwn(op_x5lMkHmzsq(op_U9HvHqtOoq(a)),op_j9kHMeSvPp(a,a))+op_count_2z8nE7LpCu(a,642)
    else:
        count = op_count_nbuSfrB4hB(10,a)+op_count_ut0Nd8ObBp(a)+op_count_i8ToyICDmI(op_nbuSfrB4hB(10,a),op_ut0Nd8ObBp(a))+op_count_PZaICrJanm(op_i8ToyICDmI(op_nbuSfrB4hB(10,a),op_ut0Nd8ObBp(a)))
    return count


def op_f9yoPMFGE3(a):
    if (a != 340 or a <= 50):
        return op_g7Hmc5v1ko(a,a)
    else:
        return op_XPYlsWDdGa(a)

def op_count_f9yoPMFGE3(a):
    if (a != 340 or a <= 50):
        count = op_count_g7Hmc5v1ko(a,a)
    else:
        count = op_count_XPYlsWDdGa(a)
    return count


a⩮≏⫤b = { (b⩅⩡) , if b==363 ; (⫎≠⋺a) , else }

def op_fRd8cuFkMc(a, b):
    if b == 363:
        return op_0MNWfHKp6a(b)
    else:
        return op_LYeZOJ0nQG(a)

def op_count_fRd8cuFkMc(a, b):
    if b == 363:
        count = op_count_0MNWfHKp6a(b)
    else:
        count = op_count_LYeZOJ0nQG(a)
    return count


⨃⊵a = { (a⪨a) , if a!=100 ; (⫇⨷a) , else }

def op_JsPn0nWP7D(a):
    if a != 100:
        return op_2z8nE7LpCu(a,a)
    else:
        return op_ct1hK6qyRt(a)

def op_count_JsPn0nWP7D(a):
    if a != 100:
        count = op_count_2z8nE7LpCu(a,a)
    else:
        count = op_count_ct1hK6qyRt(a)
    return count


a∕⪘≈b = { (b⨔⊶↷b) , if a==59 ; (a+⪬∐b) , else }

def op_9gOQWDhglh(a, b):
    if a == 59:
        return op_WObL9SsYVE(b,b)
    else:
        return op_2GS7woTJqF(a,b)

def op_count_9gOQWDhglh(a, b):
    if a == 59:
        count = op_count_WObL9SsYVE(b,b)
    else:
        count = op_count_2GS7woTJqF(a,b)
    return count


a⨇⇪b = { (b∀⩎⋷a) , if b>=29 ; (8⊍) , else }

def op_6YFxES5t3G(a, b):
    if b >= 29:
        return op_FPxP5Y1j0W(b,a)
    else:
        return op_3nqY3DE9mg(8)

def op_count_6YFxES5t3G(a, b):
    if b >= 29:
        count = op_count_FPxP5Y1j0W(b,a)
    else:
        count = op_count_3nqY3DE9mg(8)
    return count


↛↥a = { ((602∝(⇙⪊a))⊝⪿⪼((a⨻⪊⨷a)⊝⪿⪼a)) , if (⊤⊝a)>=619 ; (a≭⫡((a⪿⇪⊩313)⊹≧⊝)) , else }

def op_R7GmZ833Q5(a):
    if op_rXAclfmB4M(a) >= 619:
        return op_3Oe9XWJUTD(op_cTDWOvIxvz(602,op_pB6Fcnrjim(a)),op_3Oe9XWJUTD(op_Pkwamo1tM2(a,a),a))
    else:
        return op_b1mGkbI4Oy(a,op_LxFB4K6j0n(op_OGWBzMv138(a,313)))

def op_count_R7GmZ833Q5(a):
    if op_rXAclfmB4M(a) >= 619:
        count = op_count_pB6Fcnrjim(a)+op_count_cTDWOvIxvz(602,op_pB6Fcnrjim(a))+op_count_Pkwamo1tM2(a,a)+op_count_3Oe9XWJUTD(op_Pkwamo1tM2(a,a),a)+op_count_3Oe9XWJUTD(op_cTDWOvIxvz(602,op_pB6Fcnrjim(a)),op_3Oe9XWJUTD(op_Pkwamo1tM2(a,a),a))+op_count_rXAclfmB4M(a)
    else:
        count = op_count_OGWBzMv138(a,313)+op_count_LxFB4K6j0n(op_OGWBzMv138(a,313))+op_count_b1mGkbI4Oy(a,op_LxFB4K6j0n(op_OGWBzMv138(a,313)))
    return count


def op_BJDLbvb5Z5(a, b):
    if op_4JGOJzXMq1(b,881) != 282:
        return op_Rw46J52cBJ(a,89)
    else:
        return op_OGWBzMv138(a,a)

def op_count_BJDLbvb5Z5(a, b):
    if op_4JGOJzXMq1(b,881) != 282:
        count = op_count_Rw46J52cBJ(a,89)+op_count_4JGOJzXMq1(b,881)
    else:
        count = op_count_OGWBzMv138(a,a)
    return count


⪻≌⊬a = { ((a∿⫑≎a)≚⊃≕((156⪱⇝a)∠↢(a⫏↛⩏14))) , if a>43 and (a∭)!=6 ; (((a∘a)∌(a⪉⨛a))⩚⊴⇥(⪸(a⨮⨆))) , else }

def op_ck8rYhF2fr(a):
    if a > 43 and op_qLBMy5fcJr(a) != 6:
        return op_Bmrmz2XGnR(op_ar1w6gUwHX(a,a),op_KbjG8mgYpV(op_OTRTVPweYV(156,a),op_YC3tgrnOyr(a,14)))
    else:
        return op_NTOWxs364D(op_8cLx32lpNA(op_Z5m6OM72h2(a,a),op_EWw2JM7wp4(a,a)),op_86A5ENbKR9(op_s0kPeV9Vm2(a)))

def op_count_ck8rYhF2fr(a):
    if a > 43 and op_qLBMy5fcJr(a) != 6:
        count = op_count_ar1w6gUwHX(a,a)+op_count_OTRTVPweYV(156,a)+op_count_YC3tgrnOyr(a,14)+op_count_KbjG8mgYpV(op_OTRTVPweYV(156,a),op_YC3tgrnOyr(a,14))+op_count_Bmrmz2XGnR(op_ar1w6gUwHX(a,a),op_KbjG8mgYpV(op_OTRTVPweYV(156,a),op_YC3tgrnOyr(a,14)))+op_count_qLBMy5fcJr(a)
    else:
        count = op_count_Z5m6OM72h2(a,a)+op_count_EWw2JM7wp4(a,a)+op_count_8cLx32lpNA(op_Z5m6OM72h2(a,a),op_EWw2JM7wp4(a,a))+op_count_s0kPeV9Vm2(a)+op_count_86A5ENbKR9(op_s0kPeV9Vm2(a))+op_count_NTOWxs364D(op_8cLx32lpNA(op_Z5m6OM72h2(a,a),op_EWw2JM7wp4(a,a)),op_86A5ENbKR9(op_s0kPeV9Vm2(a)))
    return count


def op_5VqMCcXhPM(a):
    if a == 358:
        return op_DbCuESL50I(op_f6k1SAg4EE(a,a))
    else:
        return op_HiPekx5b7W(op_Y5cEcQhyKu(223,a),op_AdZkA7nFnk(273,150))

def op_count_5VqMCcXhPM(a):
    if a == 358:
        count = op_count_f6k1SAg4EE(a,a)+op_count_DbCuESL50I(op_f6k1SAg4EE(a,a))
    else:
        count = op_count_Y5cEcQhyKu(223,a)+op_count_AdZkA7nFnk(273,150)+op_count_HiPekx5b7W(op_Y5cEcQhyKu(223,a),op_AdZkA7nFnk(273,150))
    return count


a⩐b = { (∛⊵a) , if (a⊙)==271 ; ((b≧⊼b)⫏↛⩏(b⋅⇍a)) , else }

def op_bMfZrpXtSe(a, b):
    if op_pjdzZ5rP1Y(a) == 271:
        return op_jfYOP67v6Y(a)
    else:
        return op_YC3tgrnOyr(op_JoLB3LXqXx(b,b),op_AdZkA7nFnk(b,a))

def op_count_bMfZrpXtSe(a, b):
    if op_pjdzZ5rP1Y(a) == 271:
        count = op_count_jfYOP67v6Y(a)+op_count_pjdzZ5rP1Y(a)
    else:
        count = op_count_JoLB3LXqXx(b,b)+op_count_AdZkA7nFnk(b,a)+op_count_YC3tgrnOyr(op_JoLB3LXqXx(b,b),op_AdZkA7nFnk(b,a))
    return count


a∻⇻⩪b = { (((a⩵∡b)⨣∐↬(b⇽⩪))⩣⫁∢((a⩹a)⨐(b⪨a))) , if (b⊢≏≾723)>180 and (b↮⪈⫰)<=186 and (b⋷98)==708 ; (((b⨻⪊⨷120)⇄(a+⪬∐a))⫗⊒⇾((b⨱∎)⩘⋿(b⨜⇔b))) , else }

def op_VzPwlY6vDh(a, b):
    if op_qxqspddX8k(b,723) > 180 and op_MKpoIoBJCf(b) <= 186 and op_23Mk6UjR3U(b,98) == 708:
        return op_JDUIKTTSIa(op_UpkSd4zESC(op_Y7wcNGrDQJ(a,b),op_FonBHBYJbU(b)),op_Noe24qw2ks(op_2Wsdkap16l(a,a),op_2z8nE7LpCu(b,a)))
    else:
        return op_hiBDRd40bf(op_3EYGwJThht(op_Pkwamo1tM2(b,120),op_2GS7woTJqF(a,a)),op_64EQ39e0fC(op_MmTdOpaElr(b),op_Sq3AGanRSD(b,b)))

def op_count_VzPwlY6vDh(a, b):
    if op_qxqspddX8k(b,723) > 180 and op_MKpoIoBJCf(b) <= 186 and op_23Mk6UjR3U(b,98) == 708:
        count = op_count_Y7wcNGrDQJ(a,b)+op_count_FonBHBYJbU(b)+op_count_UpkSd4zESC(op_Y7wcNGrDQJ(a,b),op_FonBHBYJbU(b))+op_count_2Wsdkap16l(a,a)+op_count_2z8nE7LpCu(b,a)+op_count_Noe24qw2ks(op_2Wsdkap16l(a,a),op_2z8nE7LpCu(b,a))+op_count_JDUIKTTSIa(op_UpkSd4zESC(op_Y7wcNGrDQJ(a,b),op_FonBHBYJbU(b)),op_Noe24qw2ks(op_2Wsdkap16l(a,a),op_2z8nE7LpCu(b,a)))+op_count_qxqspddX8k(b,723)+op_count_MKpoIoBJCf(b)+op_count_23Mk6UjR3U(b,98)
    else:
        count = op_count_Pkwamo1tM2(b,120)+op_count_2GS7woTJqF(a,a)+op_count_3EYGwJThht(op_Pkwamo1tM2(b,120),op_2GS7woTJqF(a,a))+op_count_MmTdOpaElr(b)+op_count_Sq3AGanRSD(b,b)+op_count_64EQ39e0fC(op_MmTdOpaElr(b),op_Sq3AGanRSD(b,b))+op_count_hiBDRd40bf(op_3EYGwJThht(op_Pkwamo1tM2(b,120),op_2GS7woTJqF(a,a)),op_64EQ39e0fC(op_MmTdOpaElr(b),op_Sq3AGanRSD(b,b)))
    return count


↣⇾a = { (≦((a⫦∱⫙)⫚↹⊑(a⪯⫾⋍a))) , if (⫳⪺∰a)<=387 ; (↖∇⇑(⨍⩸↶(a≟⫹a))) , else }

def op_4g2cURG3Mw(a):
    if op_eftAHwPbeA(a) <= 387:
        return op_RPa3726CSl(op_dfKe02y8D2(op_tHMVLcQ9bH(a),op_S5ZFQS4GK3(a,a)))
    else:
        return op_th50nGnoUm(op_2jG7DiviLq(op_z2JHNkvbdm(a,a)))

def op_count_4g2cURG3Mw(a):
    if op_eftAHwPbeA(a) <= 387:
        count = op_count_tHMVLcQ9bH(a)+op_count_S5ZFQS4GK3(a,a)+op_count_dfKe02y8D2(op_tHMVLcQ9bH(a),op_S5ZFQS4GK3(a,a))+op_count_RPa3726CSl(op_dfKe02y8D2(op_tHMVLcQ9bH(a),op_S5ZFQS4GK3(a,a)))+op_count_eftAHwPbeA(a)
    else:
        count = op_count_z2JHNkvbdm(a,a)+op_count_2jG7DiviLq(op_z2JHNkvbdm(a,a))+op_count_th50nGnoUm(op_2jG7DiviLq(op_z2JHNkvbdm(a,a)))
    return count


⪊a = { ((a∷a)⇄(⨡↴a)) , if a==562 ; (a⋟⫀⨗(a∿⫑≎a)) , else }

def op_lknk80lCW5(a):
    if a == 562:
        return op_3EYGwJThht(op_D3AQDKkPcf(a,a),op_liw5iZPkLH(a))
    else:
        return op_dAAkup5nzi(a,op_ar1w6gUwHX(a,a))

def op_count_lknk80lCW5(a):
    if a == 562:
        count = op_count_D3AQDKkPcf(a,a)+op_count_liw5iZPkLH(a)+op_count_3EYGwJThht(op_D3AQDKkPcf(a,a),op_liw5iZPkLH(a))
    else:
        count = op_count_ar1w6gUwHX(a,a)+op_count_dAAkup5nzi(a,op_ar1w6gUwHX(a,a))
    return count


a⩭⇀b = { (361⋝⋈⪟b) , if (⪁⫅≨a)==747 ; (b⋾⨟) , else }

def op_7VUZJnlIDY(a, b):
    if op_YApyZlDuBr(a) == 747:
        return op_2DDjHMKMc0(361,b)
    else:
        return op_hYjFJ8q04Z(b)

def op_count_7VUZJnlIDY(a, b):
    if op_YApyZlDuBr(a) == 747:
        count = op_count_2DDjHMKMc0(361,b)+op_count_YApyZlDuBr(a)
    else:
        count = op_count_hYjFJ8q04Z(b)
    return count


def op_8npM8OufGg(a, b):
    if a >= 45:
        return op_6o9Blt3TJ6(op_qLBMy5fcJr(b),op_Q2SPaKwpPJ(b,a))
    else:
        return op_PPChnnnBFF(op_S5ZFQS4GK3(b,363),op_dfKe02y8D2(a,384))

def op_count_8npM8OufGg(a, b):
    if a >= 45:
        count = op_count_qLBMy5fcJr(b)+op_count_Q2SPaKwpPJ(b,a)+op_count_6o9Blt3TJ6(op_qLBMy5fcJr(b),op_Q2SPaKwpPJ(b,a))
    else:
        count = op_count_S5ZFQS4GK3(b,363)+op_count_dfKe02y8D2(a,384)+op_count_PPChnnnBFF(op_S5ZFQS4GK3(b,363),op_dfKe02y8D2(a,384))
    return count


def op_b3QkRJRxib(a, b):
    if op_jdwGQqwJi5(b) > 665:
        return op_YApyZlDuBr(op_BUOGQAYlQx(op_E4l6HwMY31(153,122)))
    else:
        return op_IwW236VD4Y(op_cFVlceoRkX(op_Ph9nP6C5qx(b,a),356),op_ObEyaaML9x(op_eH2TOUuTDT(147),op_w2P8NbNXyL(a,b)))

def op_count_b3QkRJRxib(a, b):
    if op_jdwGQqwJi5(b) > 665:
        count = op_count_E4l6HwMY31(153,122)+op_count_BUOGQAYlQx(op_E4l6HwMY31(153,122))+op_count_YApyZlDuBr(op_BUOGQAYlQx(op_E4l6HwMY31(153,122)))+op_count_jdwGQqwJi5(b)
    else:
        count = op_count_Ph9nP6C5qx(b,a)+op_count_cFVlceoRkX(op_Ph9nP6C5qx(b,a),356)+op_count_eH2TOUuTDT(147)+op_count_w2P8NbNXyL(a,b)+op_count_ObEyaaML9x(op_eH2TOUuTDT(147),op_w2P8NbNXyL(a,b))+op_count_IwW236VD4Y(op_cFVlceoRkX(op_Ph9nP6C5qx(b,a),356),op_ObEyaaML9x(op_eH2TOUuTDT(147),op_w2P8NbNXyL(a,b)))
    return count


⇲−a = { a , if a!=285 ; ((⨾∊⩁a)⨓↿∉(a⩚⊴⇥a)) , else }

def op_oV2q84C1Rz(a):
    if a != 285:
        return a
    else:
        return op_OWnFPqjWlR(op_QErWpSDGk0(a),op_NTOWxs364D(a,a))

def op_count_oV2q84C1Rz(a):
    if a != 285:
        count = 1
    else:
        count = op_count_QErWpSDGk0(a)+op_count_NTOWxs364D(a,a)+op_count_OWnFPqjWlR(op_QErWpSDGk0(a),op_NTOWxs364D(a,a))
    return count


a⇁↻b = { (((b⋂⩴a)⪖⪡(⩕↛403))⊭↱((⨩∲⋌b)⫯⪬∳b)) , if b>697 ; (a⩌⋺(b⊉↱≁(a⋅⇍b))) , else }

def op_axqnU7qwpD(a, b):
    if b > 697:
        return op_COABgblf1C(op_7PjNe5qSIJ(op_hmlrMsD2PO(b,a),op_3EhVUz7Ug9(403)),op_d7ASUq0ydm(op_aSik1wnThz(b),b))
    else:
        return op_g7Hmc5v1ko(a,op_w2P8NbNXyL(b,op_AdZkA7nFnk(a,b)))

def op_count_axqnU7qwpD(a, b):
    if b > 697:
        count = op_count_hmlrMsD2PO(b,a)+op_count_3EhVUz7Ug9(403)+op_count_7PjNe5qSIJ(op_hmlrMsD2PO(b,a),op_3EhVUz7Ug9(403))+op_count_aSik1wnThz(b)+op_count_d7ASUq0ydm(op_aSik1wnThz(b),b)+op_count_COABgblf1C(op_7PjNe5qSIJ(op_hmlrMsD2PO(b,a),op_3EhVUz7Ug9(403)),op_d7ASUq0ydm(op_aSik1wnThz(b),b))
    else:
        count = op_count_AdZkA7nFnk(a,b)+op_count_w2P8NbNXyL(b,op_AdZkA7nFnk(a,b))+op_count_g7Hmc5v1ko(a,op_w2P8NbNXyL(b,op_AdZkA7nFnk(a,b)))
    return count


def op_BC6gHeSr3C(a):
    if a != 320:
        return op_6LuFrogppQ(op_uTBsSls0VN(429,a))
    else:
        return op_nREPSIbpBE(op_BUOGQAYlQx(a),op_7PjNe5qSIJ(a,a))

def op_count_BC6gHeSr3C(a):
    if a != 320:
        count = op_count_uTBsSls0VN(429,a)+op_count_6LuFrogppQ(op_uTBsSls0VN(429,a))
    else:
        count = op_count_BUOGQAYlQx(a)+op_count_7PjNe5qSIJ(a,a)+op_count_nREPSIbpBE(op_BUOGQAYlQx(a),op_7PjNe5qSIJ(a,a))
    return count


⩟⋲∼a = { (a⇐≅) , if (a⊬⫿⊭)<=780 ; ((∨⫘⊿a)⊭(≉a)) , else }

def op_FYDBne3c8m(a):
    if op_v0DYgG9ikt(a) <= 780:
        return op_wEfv7U73WA(a)
    else:
        return op_4JGOJzXMq1(op_qxp9F1VMeC(a),op_e1ybzncUwg(a))

def op_count_FYDBne3c8m(a):
    if op_v0DYgG9ikt(a) <= 780:
        count = op_count_wEfv7U73WA(a)+op_count_v0DYgG9ikt(a)
    else:
        count = op_count_qxp9F1VMeC(a)+op_count_e1ybzncUwg(a)+op_count_4JGOJzXMq1(op_qxp9F1VMeC(a),op_e1ybzncUwg(a))
    return count


⇿≗⇩a = { (((⫟a)⪎⨄⋝)⪉⨛((a⨚a)-(2⨑a))) , if a>670 ; (∂⩏⊆(∷≠(∤a))) , else }

def op_FdnA9mdgAX(a):
    if a > 670:
        return op_EWw2JM7wp4(op_kweVJGAjhl(op_z4E1FaHLuy(a)),op_rysDP5nf3Z(op_nREPSIbpBE(a,a),op_IxJHfR5psi(2,a)))
    else:
        return op_8WDwsbhb0R(op_QiR2Oyf5Xj(op_k2HlF1dBQh(a)))

def op_count_FdnA9mdgAX(a):
    if a > 670:
        count = op_count_z4E1FaHLuy(a)+op_count_kweVJGAjhl(op_z4E1FaHLuy(a))+op_count_nREPSIbpBE(a,a)+op_count_IxJHfR5psi(2,a)+op_count_rysDP5nf3Z(op_nREPSIbpBE(a,a),op_IxJHfR5psi(2,a))+op_count_EWw2JM7wp4(op_kweVJGAjhl(op_z4E1FaHLuy(a)),op_rysDP5nf3Z(op_nREPSIbpBE(a,a),op_IxJHfR5psi(2,a)))
    else:
        count = op_count_k2HlF1dBQh(a)+op_count_QiR2Oyf5Xj(op_k2HlF1dBQh(a))+op_count_8WDwsbhb0R(op_QiR2Oyf5Xj(op_k2HlF1dBQh(a)))
    return count


a⊚⨬ = { ((a⨔⇊a)⩤∜↚(6≼a)) , if a!=155 and a<733 and (⨝⨆a)==378 ; ((a∠↢a)⋙) , else }

def op_FKhs930IBc(a):
    if a != 155 and a < 733 and op_bQ67fsrMVf(a) == 378:
        return op_KROiRRz3d6(op_JclMnS0uGI(a,a),op_SPuZE40Ntn(6,a))
    else:
        return op_XZxEnkN3N0(op_KbjG8mgYpV(a,a))

def op_count_FKhs930IBc(a):
    if a != 155 and a < 733 and op_bQ67fsrMVf(a) == 378:
        count = op_count_JclMnS0uGI(a,a)+op_count_SPuZE40Ntn(6,a)+op_count_KROiRRz3d6(op_JclMnS0uGI(a,a),op_SPuZE40Ntn(6,a))+op_count_bQ67fsrMVf(a)
    else:
        count = op_count_KbjG8mgYpV(a,a)+op_count_XZxEnkN3N0(op_KbjG8mgYpV(a,a))
    return count


a⨯b = { ((a⪍↜⋙b)∅(b⊇≀≁)) , if (b↹⊜567)<=2 ; ((⇙⪊250)⨜⨶(b≼a)) , else }

def op_qYpz2WEVq4(a, b):
    if op_9bazX3JMtO(b,567) <= 2:
        return op_giaUb8UVhq(op_L05ObWFQCd(a,b),op_AfoL3wC8aT(b))
    else:
        return op_HiPekx5b7W(op_pB6Fcnrjim(250),op_SPuZE40Ntn(b,a))

def op_count_qYpz2WEVq4(a, b):
    if op_9bazX3JMtO(b,567) <= 2:
        count = op_count_L05ObWFQCd(a,b)+op_count_AfoL3wC8aT(b)+op_count_giaUb8UVhq(op_L05ObWFQCd(a,b),op_AfoL3wC8aT(b))+op_count_9bazX3JMtO(b,567)
    else:
        count = op_count_pB6Fcnrjim(250)+op_count_SPuZE40Ntn(b,a)+op_count_HiPekx5b7W(op_pB6Fcnrjim(250),op_SPuZE40Ntn(b,a))
    return count


a⊡⫷⨳b = { (a⨜⨶b) , if (a⋛∩⫮)>=819 ; (b≦≮≮) , else }

def op_dcf6jBEETk(a, b):
    if op_QDWDTvZtyM(a) >= 819:
        return op_HiPekx5b7W(a,b)
    else:
        return op_D4vGDi5EA2(b)

def op_count_dcf6jBEETk(a, b):
    if op_QDWDTvZtyM(a) >= 819:
        count = op_count_HiPekx5b7W(a,b)+op_count_QDWDTvZtyM(a)
    else:
        count = op_count_D4vGDi5EA2(b)
    return count


def op_O46HUMlYez(a):
    if op_620seOwKww(a) >= 105:
        return op_umQnsF7QlU(op_nbuSfrB4hB(263,a),op_XIabStNQrY(a))
    else:
        return a

def op_count_O46HUMlYez(a):
    if op_620seOwKww(a) >= 105:
        count = op_count_nbuSfrB4hB(263,a)+op_count_XIabStNQrY(a)+op_count_umQnsF7QlU(op_nbuSfrB4hB(263,a),op_XIabStNQrY(a))+op_count_620seOwKww(a)
    else:
        count = 1
    return count


a≲⨯⨴ = { (a⫡⨏a) , if (a⋴⋺)>4 ; (⩕↛a) , else }

def op_ibzreiWn1D(a):
    if op_0bdkhPtsnY(a) > 4:
        return op_QMFrweE19q(a,a)
    else:
        return op_3EhVUz7Ug9(a)

def op_count_ibzreiWn1D(a):
    if op_0bdkhPtsnY(a) > 4:
        count = op_count_QMFrweE19q(a,a)+op_count_0bdkhPtsnY(a)
    else:
        count = op_count_3EhVUz7Ug9(a)
    return count


def op_SmMLjHq2eu(a):
    if op_Eev2Q7dYIw(a) == 553:
        return op_nFAOW8KTqp(op_JFrVJKYFMX(op_Z5m6OM72h2(a,a),op_cwbF3JtlMN(a,a)))
    else:
        return op_neKQRQQIil(op_2DQ55sFlQl(op_EWw2JM7wp4(a,143),op_dfKe02y8D2(11,a)),op_i8ToyICDmI(op_qLBMy5fcJr(2),op_UpkSd4zESC(a,a)))

def op_count_SmMLjHq2eu(a):
    if op_Eev2Q7dYIw(a) == 553:
        count = op_count_Z5m6OM72h2(a,a)+op_count_cwbF3JtlMN(a,a)+op_count_JFrVJKYFMX(op_Z5m6OM72h2(a,a),op_cwbF3JtlMN(a,a))+op_count_nFAOW8KTqp(op_JFrVJKYFMX(op_Z5m6OM72h2(a,a),op_cwbF3JtlMN(a,a)))+op_count_Eev2Q7dYIw(a)
    else:
        count = op_count_EWw2JM7wp4(a,143)+op_count_dfKe02y8D2(11,a)+op_count_2DQ55sFlQl(op_EWw2JM7wp4(a,143),op_dfKe02y8D2(11,a))+op_count_qLBMy5fcJr(2)+op_count_UpkSd4zESC(a,a)+op_count_i8ToyICDmI(op_qLBMy5fcJr(2),op_UpkSd4zESC(a,a))+op_count_neKQRQQIil(op_2DQ55sFlQl(op_EWw2JM7wp4(a,143),op_dfKe02y8D2(11,a)),op_i8ToyICDmI(op_qLBMy5fcJr(2),op_UpkSd4zESC(a,a)))
    return count


a∏ = { (((a∣a)⫏↛⩏(a⫡⨏a))∌(a⪈⋁⩁(a∌↝89))) , if a<=244 ; (≯(⊀a)) , else }

def op_UO1RhPgbnL(a):
    if a <= 244:
        return op_8cLx32lpNA(op_YC3tgrnOyr(op_PPChnnnBFF(a,a),op_QMFrweE19q(a,a)),op_GMyVS5K48T(a,op_9Isq31Ruls(a,89)))
    else:
        return op_keWfFq85dY(op_oPMjh9089D(a))

def op_count_UO1RhPgbnL(a):
    if a <= 244:
        count = op_count_PPChnnnBFF(a,a)+op_count_QMFrweE19q(a,a)+op_count_YC3tgrnOyr(op_PPChnnnBFF(a,a),op_QMFrweE19q(a,a))+op_count_9Isq31Ruls(a,89)+op_count_GMyVS5K48T(a,op_9Isq31Ruls(a,89))+op_count_8cLx32lpNA(op_YC3tgrnOyr(op_PPChnnnBFF(a,a),op_QMFrweE19q(a,a)),op_GMyVS5K48T(a,op_9Isq31Ruls(a,89)))
    else:
        count = op_count_oPMjh9089D(a)+op_count_keWfFq85dY(op_oPMjh9089D(a))
    return count


a⋩⇎ = { ((a⫏↛⩏134)⪦⩸(∨⫘⊿a)) , if (a⩉⊫⨁)<42 ; ((a⩚⊴⇥a)∄a) , else }

def op_84TDxkSNK1(a):
    if op_7qqUquhhSb(a) < 42:
        return op_0JWJYFSzIQ(op_YC3tgrnOyr(a,134),op_qxp9F1VMeC(a))
    else:
        return op_tnyRA5sazQ(op_NTOWxs364D(a,a),a)

def op_count_84TDxkSNK1(a):
    if op_7qqUquhhSb(a) < 42:
        count = op_count_YC3tgrnOyr(a,134)+op_count_qxp9F1VMeC(a)+op_count_0JWJYFSzIQ(op_YC3tgrnOyr(a,134),op_qxp9F1VMeC(a))+op_count_7qqUquhhSb(a)
    else:
        count = op_count_NTOWxs364D(a,a)+op_count_tnyRA5sazQ(op_NTOWxs364D(a,a),a)
    return count


a+⪌b = { (((a∷)⪲⨢(b⪔⊥28))⪔⊥((a⩵∡b)⊩≵⪔)) , if (b⋝∏)<146 ; (a⩌((a⫍⨯↯)⫃⨇(↞≼a))) , else }

def op_ehqVwXWd4k(a, b):
    if op_69GgKhV9QQ(b) < 146:
        return op_HJ9erzHUuu(op_6iafYuwGo8(op_nFAOW8KTqp(a),op_HJ9erzHUuu(b,28)),op_aDRGw0okjd(op_Y7wcNGrDQJ(a,b)))
    else:
        return op_UoVew8f2p2(a,op_09Ly4LVMIf(op_ZcwmYACASQ(a),op_DE7zCoGJt9(a)))

def op_count_ehqVwXWd4k(a, b):
    if op_69GgKhV9QQ(b) < 146:
        count = op_count_nFAOW8KTqp(a)+op_count_HJ9erzHUuu(b,28)+op_count_6iafYuwGo8(op_nFAOW8KTqp(a),op_HJ9erzHUuu(b,28))+op_count_Y7wcNGrDQJ(a,b)+op_count_aDRGw0okjd(op_Y7wcNGrDQJ(a,b))+op_count_HJ9erzHUuu(op_6iafYuwGo8(op_nFAOW8KTqp(a),op_HJ9erzHUuu(b,28)),op_aDRGw0okjd(op_Y7wcNGrDQJ(a,b)))+op_count_69GgKhV9QQ(b)
    else:
        count = op_count_ZcwmYACASQ(a)+op_count_DE7zCoGJt9(a)+op_count_09Ly4LVMIf(op_ZcwmYACASQ(a),op_DE7zCoGJt9(a))+op_count_UoVew8f2p2(a,op_09Ly4LVMIf(op_ZcwmYACASQ(a),op_DE7zCoGJt9(a)))
    return count


a⫚⨳≇ = { (((a⪐-a)⨰↻⪇(⪆a))⩽⩡a) , if (a⨴999)==453 ; (((a∇⊂⋱4)↼⊘⨖(⊄a))⊋≦⊧((16⫰⋱a)≠≀(⪆a))) , else }

def op_a1DjWagoqd(a):
    if op_jBC4ymW3D7(a,999) == 453:
        return op_zFNL8mZEFB(op_nbuSfrB4hB(op_d8xe6WWVfM(a,a),op_KWeyIRWUIQ(a)),a)
    else:
        return op_oRDoc9rAEX(op_bPywburJMS(op_nhYeJWJD5X(a,4),op_AnPstFaJd9(a)),op_IwW236VD4Y(op_6o9Blt3TJ6(16,a),op_KWeyIRWUIQ(a)))

def op_count_a1DjWagoqd(a):
    if op_jBC4ymW3D7(a,999) == 453:
        count = op_count_d8xe6WWVfM(a,a)+op_count_KWeyIRWUIQ(a)+op_count_nbuSfrB4hB(op_d8xe6WWVfM(a,a),op_KWeyIRWUIQ(a))+op_count_zFNL8mZEFB(op_nbuSfrB4hB(op_d8xe6WWVfM(a,a),op_KWeyIRWUIQ(a)),a)+op_count_jBC4ymW3D7(a,999)
    else:
        count = op_count_nhYeJWJD5X(a,4)+op_count_AnPstFaJd9(a)+op_count_bPywburJMS(op_nhYeJWJD5X(a,4),op_AnPstFaJd9(a))+op_count_6o9Blt3TJ6(16,a)+op_count_KWeyIRWUIQ(a)+op_count_IwW236VD4Y(op_6o9Blt3TJ6(16,a),op_KWeyIRWUIQ(a))+op_count_oRDoc9rAEX(op_bPywburJMS(op_nhYeJWJD5X(a,4),op_AnPstFaJd9(a)),op_IwW236VD4Y(op_6o9Blt3TJ6(16,a),op_KWeyIRWUIQ(a)))
    return count


a∪⊒b = { (((a∅b)∄(a≟⫹a))⋆⊨((⊄⩳↩b)⩼⇪↪(a≚⊃≕a))) , if b<323 ; b , else }

def op_wd3DeAcC9f(a, b):
    if b < 323:
        return op_uTBsSls0VN(op_tnyRA5sazQ(op_giaUb8UVhq(a,b),op_z2JHNkvbdm(a,a)),op_ocnLzx9CaJ(op_8w2t5hMYqp(b),op_Bmrmz2XGnR(a,a)))
    else:
        return b

def op_count_wd3DeAcC9f(a, b):
    if b < 323:
        count = op_count_giaUb8UVhq(a,b)+op_count_z2JHNkvbdm(a,a)+op_count_tnyRA5sazQ(op_giaUb8UVhq(a,b),op_z2JHNkvbdm(a,a))+op_count_8w2t5hMYqp(b)+op_count_Bmrmz2XGnR(a,a)+op_count_ocnLzx9CaJ(op_8w2t5hMYqp(b),op_Bmrmz2XGnR(a,a))+op_count_uTBsSls0VN(op_tnyRA5sazQ(op_giaUb8UVhq(a,b),op_z2JHNkvbdm(a,a)),op_ocnLzx9CaJ(op_8w2t5hMYqp(b),op_Bmrmz2XGnR(a,a)))
    else:
        count = 1
    return count


def op_MfPSOyZItI(a, b):
    if b < 326 and op_61wBmkZwlr(a) != 130:
        return op_69GgKhV9QQ(b)
    else:
        return op_B3sABdIn96(24)

def op_count_MfPSOyZItI(a, b):
    if b < 326 and op_61wBmkZwlr(a) != 130:
        count = op_count_69GgKhV9QQ(b)+op_count_61wBmkZwlr(a)
    else:
        count = op_count_B3sABdIn96(24)
    return count


def op_FUK0wQm8QP(a):
    if (op_jdwGQqwJi5(a) == 274 and op_aSik1wnThz(a) != 187):
        return op_3EhVUz7Ug9(op_DZ8iAZOCBD(a,a))
    else:
        return op_Rw46J52cBJ(a,op_IjUb3wyICU(210))

def op_count_FUK0wQm8QP(a):
    if (op_jdwGQqwJi5(a) == 274 and op_aSik1wnThz(a) != 187):
        count = op_count_DZ8iAZOCBD(a,a)+op_count_3EhVUz7Ug9(op_DZ8iAZOCBD(a,a))+op_count_jdwGQqwJi5(a)+op_count_aSik1wnThz(a)
    else:
        count = op_count_IjUb3wyICU(210)+op_count_Rw46J52cBJ(a,op_IjUb3wyICU(210))
    return count


a⪇⇪⫳b = { (b≽↲≰47) , if (⨞⊢a)!=395 ; (a⪍↜⋙b) , else }

def op_zLfG7Ay1vB(a, b):
    if op_xUOZtlo3hN(a) != 395:
        return op_cFVlceoRkX(b,47)
    else:
        return op_L05ObWFQCd(a,b)

def op_count_zLfG7Ay1vB(a, b):
    if op_xUOZtlo3hN(a) != 395:
        count = op_count_cFVlceoRkX(b,47)+op_count_xUOZtlo3hN(a)
    else:
        count = op_count_L05ObWFQCd(a,b)
    return count


def op_Ob6c77wMhA(a, b):
    if op_vg4gO5BX6G(a,55) != 50:
        return op_Q6LsZf8ZYd(b)
    else:
        return op_rysDP5nf3Z(op_MKpoIoBJCf(op_f6k1SAg4EE(101,b)),op_Sq3AGanRSD(op_rysDP5nf3Z(b,b),op_4JGOJzXMq1(a,a)))

def op_count_Ob6c77wMhA(a, b):
    if op_vg4gO5BX6G(a,55) != 50:
        count = op_count_Q6LsZf8ZYd(b)+op_count_vg4gO5BX6G(a,55)
    else:
        count = op_count_f6k1SAg4EE(101,b)+op_count_MKpoIoBJCf(op_f6k1SAg4EE(101,b))+op_count_rysDP5nf3Z(b,b)+op_count_4JGOJzXMq1(a,a)+op_count_Sq3AGanRSD(op_rysDP5nf3Z(b,b),op_4JGOJzXMq1(a,a))+op_count_rysDP5nf3Z(op_MKpoIoBJCf(op_f6k1SAg4EE(101,b)),op_Sq3AGanRSD(op_rysDP5nf3Z(b,b),op_4JGOJzXMq1(a,a)))
    return count


def op_CNfQ49fDk5(a):
    if op_sM9mzqIDB1(a,649) < 437 or op_rlpcYeipVY(a) != 39 or op_vRio1gEz1j(a) > 314:
        return op_NdELin8EPX(op_EO7Xdgo9So(op_WR6HLWljOP(a,a)),op_U6pG0PXrV3(op_eewbuw0ToL(a,a)))
    else:
        return op_HiPekx5b7W(op_rFxw8gIMmB(op_2DDjHMKMc0(a,a)),a)

def op_count_CNfQ49fDk5(a):
    if op_sM9mzqIDB1(a,649) < 437 or op_rlpcYeipVY(a) != 39 or op_vRio1gEz1j(a) > 314:
        count = op_count_WR6HLWljOP(a,a)+op_count_EO7Xdgo9So(op_WR6HLWljOP(a,a))+op_count_eewbuw0ToL(a,a)+op_count_U6pG0PXrV3(op_eewbuw0ToL(a,a))+op_count_NdELin8EPX(op_EO7Xdgo9So(op_WR6HLWljOP(a,a)),op_U6pG0PXrV3(op_eewbuw0ToL(a,a)))+op_count_sM9mzqIDB1(a,649)+op_count_rlpcYeipVY(a)+op_count_vRio1gEz1j(a)
    else:
        count = op_count_2DDjHMKMc0(a,a)+op_count_rFxw8gIMmB(op_2DDjHMKMc0(a,a))+op_count_HiPekx5b7W(op_rFxw8gIMmB(op_2DDjHMKMc0(a,a)),a)
    return count


a⫓ = { (a≻⇥≳a) , if a>=528 ; (a⫚↹⊑a) , else }

def op_mLFH2NRKNI(a):
    if a >= 528:
        return op_aiqF8n6J9c(a,a)
    else:
        return op_dfKe02y8D2(a,a)

def op_count_mLFH2NRKNI(a):
    if a >= 528:
        count = op_count_aiqF8n6J9c(a,a)
    else:
        count = op_count_dfKe02y8D2(a,a)
    return count


a⨍⪒↱ = { (((⨇⪄⫏a)∼⇢(a⨻⪊⨷460))⊭↱(⩰(a⩾a))) , if a>265 ; (((a⋎a)⩣⊵⩗(a≽↲≰a))⩚⊴⇥(⨞⫢(a⪭a))) , else }

def op_pI9YMM1ZOi(a):
    if a > 265:
        return op_COABgblf1C(op_Cr5xnr8B4B(op_B4c4JXCTtZ(a),op_Pkwamo1tM2(a,460)),op_WkeUrDK8WX(op_UggxBX659n(a,a)))
    else:
        return op_NTOWxs364D(op_wsXFuL0hC6(op_qy3n0tapmE(a,a),op_cFVlceoRkX(a,a)),op_HQuZ2f4It9(op_j9kHMeSvPp(a,a)))

def op_count_pI9YMM1ZOi(a):
    if a > 265:
        count = op_count_B4c4JXCTtZ(a)+op_count_Pkwamo1tM2(a,460)+op_count_Cr5xnr8B4B(op_B4c4JXCTtZ(a),op_Pkwamo1tM2(a,460))+op_count_UggxBX659n(a,a)+op_count_WkeUrDK8WX(op_UggxBX659n(a,a))+op_count_COABgblf1C(op_Cr5xnr8B4B(op_B4c4JXCTtZ(a),op_Pkwamo1tM2(a,460)),op_WkeUrDK8WX(op_UggxBX659n(a,a)))
    else:
        count = op_count_qy3n0tapmE(a,a)+op_count_cFVlceoRkX(a,a)+op_count_wsXFuL0hC6(op_qy3n0tapmE(a,a),op_cFVlceoRkX(a,a))+op_count_j9kHMeSvPp(a,a)+op_count_HQuZ2f4It9(op_j9kHMeSvPp(a,a))+op_count_NTOWxs364D(op_wsXFuL0hC6(op_qy3n0tapmE(a,a),op_cFVlceoRkX(a,a)),op_HQuZ2f4It9(op_j9kHMeSvPp(a,a)))
    return count


def op_7LDZuUjSGl(a, b):
    if (op_8TQKPGA8Ba(a) != 96 or op_xRrnTEsQ6j(b,377) < 3 or a == 132):
        return op_VJ330n2nnx(b)
    else:
        return op_i8ToyICDmI(op_xRrnTEsQ6j(a,360),op_t8gj7n24qd(98))

def op_count_7LDZuUjSGl(a, b):
    if (op_8TQKPGA8Ba(a) != 96 or op_xRrnTEsQ6j(b,377) < 3 or a == 132):
        count = op_count_VJ330n2nnx(b)+op_count_8TQKPGA8Ba(a)+op_count_xRrnTEsQ6j(b,377)
    else:
        count = op_count_xRrnTEsQ6j(a,360)+op_count_t8gj7n24qd(98)+op_count_i8ToyICDmI(op_xRrnTEsQ6j(a,360),op_t8gj7n24qd(98))
    return count


def op_dnsoz1tpAU(a, b):
    if a > 391:
        return op_S56z7WVPBn(op_eaFBhJ0Uku(op_JclMnS0uGI(111,18),op_WkeUrDK8WX(a)))
    else:
        return op_cFVlceoRkX(op_OWnFPqjWlR(op_tnyRA5sazQ(128,b),op_z2JHNkvbdm(a,b)),op_KWeyIRWUIQ(op_AnPstFaJd9(a)))

def op_count_dnsoz1tpAU(a, b):
    if a > 391:
        count = op_count_JclMnS0uGI(111,18)+op_count_WkeUrDK8WX(a)+op_count_eaFBhJ0Uku(op_JclMnS0uGI(111,18),op_WkeUrDK8WX(a))+op_count_S56z7WVPBn(op_eaFBhJ0Uku(op_JclMnS0uGI(111,18),op_WkeUrDK8WX(a)))
    else:
        count = op_count_tnyRA5sazQ(128,b)+op_count_z2JHNkvbdm(a,b)+op_count_OWnFPqjWlR(op_tnyRA5sazQ(128,b),op_z2JHNkvbdm(a,b))+op_count_AnPstFaJd9(a)+op_count_KWeyIRWUIQ(op_AnPstFaJd9(a))+op_count_cFVlceoRkX(op_OWnFPqjWlR(op_tnyRA5sazQ(128,b),op_z2JHNkvbdm(a,b)),op_KWeyIRWUIQ(op_AnPstFaJd9(a)))
    return count


a⪜↾b = { a , if (⨾∊⩁a)>774 ; ((502⇿⊰b)⪒(b∌↝a)) , else }

def op_j0T3bE6LZn(a, b):
    if op_QErWpSDGk0(a) > 774:
        return a
    else:
        return op_f6k1SAg4EE(op_ap3xiM279w(502,b),op_9Isq31Ruls(b,a))

def op_count_j0T3bE6LZn(a, b):
    if op_QErWpSDGk0(a) > 774:
        count = 1
    else:
        count = op_count_ap3xiM279w(502,b)+op_count_9Isq31Ruls(b,a)+op_count_f6k1SAg4EE(op_ap3xiM279w(502,b),op_9Isq31Ruls(b,a))
    return count


a⩂⋒ = { ((543⪦⩸a)⩢≭) , if a>=401 ; ((⋼∭⪍a)≚⊃≕(a∲⫓a)) , else }

def op_41vn2ZCtkK(a):
    if a >= 401:
        return op_rv8OxMkTSD(op_0JWJYFSzIQ(543,a))
    else:
        return op_Bmrmz2XGnR(op_DbCuESL50I(a),op_i8ToyICDmI(a,a))

def op_count_41vn2ZCtkK(a):
    if a >= 401:
        count = op_count_0JWJYFSzIQ(543,a)+op_count_rv8OxMkTSD(op_0JWJYFSzIQ(543,a))
    else:
        count = op_count_DbCuESL50I(a)+op_count_i8ToyICDmI(a,a)+op_count_Bmrmz2XGnR(op_DbCuESL50I(a),op_i8ToyICDmI(a,a))
    return count


def op_uCkolecQAK(a):
    if a == 368:
        return op_U6pG0PXrV3(a)
    else:
        return op_KWeyIRWUIQ(615)

def op_count_uCkolecQAK(a):
    if a == 368:
        count = op_count_U6pG0PXrV3(a)
    else:
        count = op_count_KWeyIRWUIQ(615)
    return count


def op_meOipXXSDp(a, b):
    if op_9Isq31Ruls(a,316) != 72:
        return op_HrjLwUk87U(op_0kmYd0q39Y(b,op_xoJmIySC7h(b,a)),op_IwW236VD4Y(op_cTDWOvIxvz(507,a),op_QvoQhV0rrE(b,b)))
    else:
        return op_2DQ55sFlQl(161,op_bx9Z9DAK5y(op_Y7wcNGrDQJ(b,b)))

def op_count_meOipXXSDp(a, b):
    if op_9Isq31Ruls(a,316) != 72:
        count = op_count_xoJmIySC7h(b,a)+op_count_0kmYd0q39Y(b,op_xoJmIySC7h(b,a))+op_count_cTDWOvIxvz(507,a)+op_count_QvoQhV0rrE(b,b)+op_count_IwW236VD4Y(op_cTDWOvIxvz(507,a),op_QvoQhV0rrE(b,b))+op_count_HrjLwUk87U(op_0kmYd0q39Y(b,op_xoJmIySC7h(b,a)),op_IwW236VD4Y(op_cTDWOvIxvz(507,a),op_QvoQhV0rrE(b,b)))+op_count_9Isq31Ruls(a,316)
    else:
        count = op_count_Y7wcNGrDQJ(b,b)+op_count_bx9Z9DAK5y(op_Y7wcNGrDQJ(b,b))+op_count_2DQ55sFlQl(161,op_bx9Z9DAK5y(op_Y7wcNGrDQJ(b,b)))
    return count


a⇻↜⇹b = { ((b⋐≟⩺b)⊢(≯a)) , if b>=20 ; ((a⨸⪁a)∌(331⋘b)) , else }

def op_N6aCA1AhH1(a, b):
    if b >= 20:
        return op_5twsqlHp2o(op_PjbVkMzmXE(b,b),op_keWfFq85dY(a))
    else:
        return op_8cLx32lpNA(op_g55IO6H4Gj(a,a),op_2M7SKlOzyM(331,b))

def op_count_N6aCA1AhH1(a, b):
    if b >= 20:
        count = op_count_PjbVkMzmXE(b,b)+op_count_keWfFq85dY(a)+op_count_5twsqlHp2o(op_PjbVkMzmXE(b,b),op_keWfFq85dY(a))
    else:
        count = op_count_g55IO6H4Gj(a,a)+op_count_2M7SKlOzyM(331,b)+op_count_8cLx32lpNA(op_g55IO6H4Gj(a,a),op_2M7SKlOzyM(331,b))
    return count


def op_9S2ZsDhJ9F(a):
    if op_9FxExcQeMw(a,79) == 111:
        return op_UqUOXUQnbU(125,a)
    else:
        return op_z4E1FaHLuy(a)

def op_count_9S2ZsDhJ9F(a):
    if op_9FxExcQeMw(a,79) == 111:
        count = op_count_UqUOXUQnbU(125,a)+op_count_9FxExcQeMw(a,79)
    else:
        count = op_count_z4E1FaHLuy(a)
    return count


≜⪍a = { (a⋷a) , if (a<131 and (⪭≋⋼a)>=251) ; (a→⨶⪴a) , else }

def op_3yxomnqmFK(a):
    if (a < 131 and op_EZ6cjipfBz(a) >= 251):
        return op_23Mk6UjR3U(a,a)
    else:
        return op_bF6eod5Gvf(a,a)

def op_count_3yxomnqmFK(a):
    if (a < 131 and op_EZ6cjipfBz(a) >= 251):
        count = op_count_23Mk6UjR3U(a,a)+op_count_EZ6cjipfBz(a)
    else:
        count = op_count_bF6eod5Gvf(a,a)
    return count


↪↝a = { ((⋂a)⋆⋳) , if a<0 ; ((a⫃⨇27)↭↢≔) , else }

def op_fapF41XmAQ(a):
    if a < 0:
        return op_6MpZysEj17(op_BUOGQAYlQx(a))
    else:
        return op_Q6LsZf8ZYd(op_09Ly4LVMIf(a,27))

def op_count_fapF41XmAQ(a):
    if a < 0:
        count = op_count_BUOGQAYlQx(a)+op_count_6MpZysEj17(op_BUOGQAYlQx(a))
    else:
        count = op_count_09Ly4LVMIf(a,27)+op_count_Q6LsZf8ZYd(op_09Ly4LVMIf(a,27))
    return count


def op_fkni9G48hz(a):
    if op_sM9mzqIDB1(a,969) <= 12 or op_U9HvHqtOoq(a) < 800:
        return op_9xnGDUPbC6(op_i8ToyICDmI(a,op_m612RDITqL(a,a)))
    else:
        return op_0JWJYFSzIQ(op_Y5cEcQhyKu(op_Qaz2MhZaG5(a,a),op_DpFCA1CohY(a)),op_6iafYuwGo8(op_RHru8klgy8(a),op_bPywburJMS(a,221)))

def op_count_fkni9G48hz(a):
    if op_sM9mzqIDB1(a,969) <= 12 or op_U9HvHqtOoq(a) < 800:
        count = op_count_m612RDITqL(a,a)+op_count_i8ToyICDmI(a,op_m612RDITqL(a,a))+op_count_9xnGDUPbC6(op_i8ToyICDmI(a,op_m612RDITqL(a,a)))+op_count_sM9mzqIDB1(a,969)+op_count_U9HvHqtOoq(a)
    else:
        count = op_count_Qaz2MhZaG5(a,a)+op_count_DpFCA1CohY(a)+op_count_Y5cEcQhyKu(op_Qaz2MhZaG5(a,a),op_DpFCA1CohY(a))+op_count_RHru8klgy8(a)+op_count_bPywburJMS(a,221)+op_count_6iafYuwGo8(op_RHru8klgy8(a),op_bPywburJMS(a,221))+op_count_0JWJYFSzIQ(op_Y5cEcQhyKu(op_Qaz2MhZaG5(a,a),op_DpFCA1CohY(a)),op_6iafYuwGo8(op_RHru8klgy8(a),op_bPywburJMS(a,221)))
    return count


a⊳⪫⪖b = { (((a⩣⊵⩗b)⩰⨪↦)⩽⩡((b⪎↠a)⨣∐↬(a⊓≱b))) , if (⨍⩸↶a)==6 ; (⨑⩽⪐((b⪕276)∌(b≬⋮b))) , else }

def op_bqn6BngAyz(a, b):
    if op_2jG7DiviLq(a) == 6:
        return op_zFNL8mZEFB(op_fLfyAuxYJD(op_wsXFuL0hC6(a,b)),op_UpkSd4zESC(op_3tVxb0NHM4(b,a),op_VCG3UHNzLR(a,b)))
    else:
        return op_AF7qkfDlqP(op_8cLx32lpNA(op_umQnsF7QlU(b,276),op_kbkesczE7y(b,b)))

def op_count_bqn6BngAyz(a, b):
    if op_2jG7DiviLq(a) == 6:
        count = op_count_wsXFuL0hC6(a,b)+op_count_fLfyAuxYJD(op_wsXFuL0hC6(a,b))+op_count_3tVxb0NHM4(b,a)+op_count_VCG3UHNzLR(a,b)+op_count_UpkSd4zESC(op_3tVxb0NHM4(b,a),op_VCG3UHNzLR(a,b))+op_count_zFNL8mZEFB(op_fLfyAuxYJD(op_wsXFuL0hC6(a,b)),op_UpkSd4zESC(op_3tVxb0NHM4(b,a),op_VCG3UHNzLR(a,b)))+op_count_2jG7DiviLq(a)
    else:
        count = op_count_umQnsF7QlU(b,276)+op_count_kbkesczE7y(b,b)+op_count_8cLx32lpNA(op_umQnsF7QlU(b,276),op_kbkesczE7y(b,b))+op_count_AF7qkfDlqP(op_8cLx32lpNA(op_umQnsF7QlU(b,276),op_kbkesczE7y(b,b)))
    return count


a⪎⋯≎b = { (a⩷∴a) , if a<=244 ; (a≧⊼b) , else }

def op_InYySgip2F(a, b):
    if a <= 244:
        return op_9FxExcQeMw(a,a)
    else:
        return op_JoLB3LXqXx(a,b)

def op_count_InYySgip2F(a, b):
    if a <= 244:
        count = op_count_9FxExcQeMw(a,a)
    else:
        count = op_count_JoLB3LXqXx(a,b)
    return count


def op_IhSYcQUtqA(a, b):
    if op_OwUj7dcsQK(b) >= 147:
        return b
    else:
        return op_z2JHNkvbdm(op_YjI8oCXuph(150),op_Ph9nP6C5qx(b,a))

def op_count_IhSYcQUtqA(a, b):
    if op_OwUj7dcsQK(b) >= 147:
        count = 1
    else:
        count = op_count_YjI8oCXuph(150)+op_count_Ph9nP6C5qx(b,a)+op_count_z2JHNkvbdm(op_YjI8oCXuph(150),op_Ph9nP6C5qx(b,a))
    return count


⋞∞a = { (a⩼⇪↪(⊫∐⫩a)) , if (a⪚801)<=454 ; ((8⋅⇍a)≎⋽⪿) , else }

def op_ouMpCUGN3j(a):
    if op_HrjLwUk87U(a,801) <= 454:
        return op_ocnLzx9CaJ(a,op_gSr4c7pPrV(a))
    else:
        return op_Mp74FtG4yY(op_AdZkA7nFnk(8,a))

def op_count_ouMpCUGN3j(a):
    if op_HrjLwUk87U(a,801) <= 454:
        count = op_count_gSr4c7pPrV(a)+op_count_ocnLzx9CaJ(a,op_gSr4c7pPrV(a))+op_count_HrjLwUk87U(a,801)
    else:
        count = op_count_AdZkA7nFnk(8,a)+op_count_Mp74FtG4yY(op_AdZkA7nFnk(8,a))
    return count


a⋬⨭⫇ = { ((↞≼(a≻⇥≳a))≦≮≮) , if ((a⫸⇳346)<=284 or (a⫠↝⫳)>72 or a<1) ; a , else }

def op_AdLoyGUaoD(a):
    if (op_gx7XJ7hdpj(a,346) <= 284 or op_8n5YIzOsVS(a) > 72 or a < 1):
        return op_D4vGDi5EA2(op_DE7zCoGJt9(op_aiqF8n6J9c(a,a)))
    else:
        return a

def op_count_AdLoyGUaoD(a):
    if (op_gx7XJ7hdpj(a,346) <= 284 or op_8n5YIzOsVS(a) > 72 or a < 1):
        count = op_count_aiqF8n6J9c(a,a)+op_count_DE7zCoGJt9(op_aiqF8n6J9c(a,a))+op_count_D4vGDi5EA2(op_DE7zCoGJt9(op_aiqF8n6J9c(a,a)))+op_count_gx7XJ7hdpj(a,346)+op_count_8n5YIzOsVS(a)
    else:
        count = 1
    return count


def op_cwtOBccfmB(a):
    if op_eftAHwPbeA(a) >= 209:
        return op_jBC4ymW3D7(op_DbCuESL50I(op_8cLx32lpNA(a,a)),op_a3N2hFLK0J(op_Sq3AGanRSD(314,22)))
    else:
        return op_2M7SKlOzyM(op_1aApVXNlOP(op_W4YGzv6Whe(a,a),op_tifHPKVTfV(a,a)),op_7j4O788W3g(op_PjbVkMzmXE(277,79),op_FPxP5Y1j0W(a,756)))

def op_count_cwtOBccfmB(a):
    if op_eftAHwPbeA(a) >= 209:
        count = op_count_8cLx32lpNA(a,a)+op_count_DbCuESL50I(op_8cLx32lpNA(a,a))+op_count_Sq3AGanRSD(314,22)+op_count_a3N2hFLK0J(op_Sq3AGanRSD(314,22))+op_count_jBC4ymW3D7(op_DbCuESL50I(op_8cLx32lpNA(a,a)),op_a3N2hFLK0J(op_Sq3AGanRSD(314,22)))+op_count_eftAHwPbeA(a)
    else:
        count = op_count_W4YGzv6Whe(a,a)+op_count_tifHPKVTfV(a,a)+op_count_1aApVXNlOP(op_W4YGzv6Whe(a,a),op_tifHPKVTfV(a,a))+op_count_PjbVkMzmXE(277,79)+op_count_FPxP5Y1j0W(a,756)+op_count_7j4O788W3g(op_PjbVkMzmXE(277,79),op_FPxP5Y1j0W(a,756))+op_count_2M7SKlOzyM(op_1aApVXNlOP(op_W4YGzv6Whe(a,a),op_tifHPKVTfV(a,a)),op_7j4O788W3g(op_PjbVkMzmXE(277,79),op_FPxP5Y1j0W(a,756)))
    return count


def op_7ZiIqrHWXK(a, b):
    if op_7CBskBkoKY(b) <= 17:
        return op_Cr5xnr8B4B(op_rysDP5nf3Z(b,250),b)
    else:
        return op_Rw46J52cBJ(op_2PILXiQIjy(a),op_irKjLsMeKy(a,115))

def op_count_7ZiIqrHWXK(a, b):
    if op_7CBskBkoKY(b) <= 17:
        count = op_count_rysDP5nf3Z(b,250)+op_count_Cr5xnr8B4B(op_rysDP5nf3Z(b,250),b)+op_count_7CBskBkoKY(b)
    else:
        count = op_count_2PILXiQIjy(a)+op_count_irKjLsMeKy(a,115)+op_count_Rw46J52cBJ(op_2PILXiQIjy(a),op_irKjLsMeKy(a,115))
    return count


a⇰⋂↨b = { (29≭⫡a) , if (⊡⇒⪪b)<32 ; (b⩜⩌) , else }

def op_8eNi29xLc8(a, b):
    if op_wisItNeSwq(b) < 32:
        return op_b1mGkbI4Oy(29,a)
    else:
        return op_2DRhT6gtPg(b)

def op_count_8eNi29xLc8(a, b):
    if op_wisItNeSwq(b) < 32:
        count = op_count_b1mGkbI4Oy(29,a)+op_count_wisItNeSwq(b)
    else:
        count = op_count_2DRhT6gtPg(b)
    return count


a⨶⇴b = { ((b⨰a)⪎⩰) , if a<457 ; (26∫⋜⩖(⩏⊷≩a)) , else }

def op_iO9AwRVKvo(a, b):
    if a < 457:
        return op_2ufhKmSs5H(op_eewbuw0ToL(b,a))
    else:
        return op_JgXZM7XvWE(26,op_uOZ1tnYMDE(a))

def op_count_iO9AwRVKvo(a, b):
    if a < 457:
        count = op_count_eewbuw0ToL(b,a)+op_count_2ufhKmSs5H(op_eewbuw0ToL(b,a))
    else:
        count = op_count_uOZ1tnYMDE(a)+op_count_JgXZM7XvWE(26,op_uOZ1tnYMDE(a))
    return count


a⋬b = { (⇋↷((a∠⫱a)⊓≱(≉b))) , if (⊁⨺b)<=27 ; (((205⨧↗⨷b)⪨⊡(a⩆≶⊌))∅((b⫸⇳b)⩤∜↚b)) , else }

def op_T9SPe3fQV2(a, b):
    if op_PxiHyQbrIp(b) <= 27:
        return op_SWo3A1KBJH(op_VCG3UHNzLR(op_QvoQhV0rrE(a,a),op_e1ybzncUwg(b)))
    else:
        return op_giaUb8UVhq(op_kuIXHzHcAH(op_WSbXXWOizJ(205,b),op_PZaICrJanm(a)),op_KROiRRz3d6(op_gx7XJ7hdpj(b,b),b))

def op_count_T9SPe3fQV2(a, b):
    if op_PxiHyQbrIp(b) <= 27:
        count = op_count_QvoQhV0rrE(a,a)+op_count_e1ybzncUwg(b)+op_count_VCG3UHNzLR(op_QvoQhV0rrE(a,a),op_e1ybzncUwg(b))+op_count_SWo3A1KBJH(op_VCG3UHNzLR(op_QvoQhV0rrE(a,a),op_e1ybzncUwg(b)))+op_count_PxiHyQbrIp(b)
    else:
        count = op_count_WSbXXWOizJ(205,b)+op_count_PZaICrJanm(a)+op_count_kuIXHzHcAH(op_WSbXXWOizJ(205,b),op_PZaICrJanm(a))+op_count_gx7XJ7hdpj(b,b)+op_count_KROiRRz3d6(op_gx7XJ7hdpj(b,b),b)+op_count_giaUb8UVhq(op_kuIXHzHcAH(op_WSbXXWOizJ(205,b),op_PZaICrJanm(a)),op_KROiRRz3d6(op_gx7XJ7hdpj(b,b),b))
    return count


def op_yqSj5wcZ64(a):
    if op_hiBDRd40bf(a,236) == 360:
        return op_sdazOOVcIp(op_IpgdDpBHsO(280),op_z2JHNkvbdm(a,a))
    else:
        return a

def op_count_yqSj5wcZ64(a):
    if op_hiBDRd40bf(a,236) == 360:
        count = op_count_IpgdDpBHsO(280)+op_count_z2JHNkvbdm(a,a)+op_count_sdazOOVcIp(op_IpgdDpBHsO(280),op_z2JHNkvbdm(a,a))+op_count_hiBDRd40bf(a,236)
    else:
        count = 1
    return count


a⨦⇂⋫b = { (a⫃⨇b) , if (b⪭↷⊩)<=371 or a!=158 or b==363 ; (a∭) , else }

def op_kr7qJdbOdS(a, b):
    if op_Oe8teynzfS(b) <= 371 or a != 158 or b == 363:
        return op_09Ly4LVMIf(a,b)
    else:
        return op_qLBMy5fcJr(a)

def op_count_kr7qJdbOdS(a, b):
    if op_Oe8teynzfS(b) <= 371 or a != 158 or b == 363:
        count = op_count_09Ly4LVMIf(a,b)+op_count_Oe8teynzfS(b)
    else:
        count = op_count_qLBMy5fcJr(a)
    return count


def op_MKCxaPE9tg(a, b):
    if a > 600:
        return op_vRio1gEz1j(op_WSbXXWOizJ(op_WR6HLWljOP(109,139),op_kbkesczE7y(a,b)))
    else:
        return op_Z5m6OM72h2(op_UggxBX659n(op_vg4gO5BX6G(a,b),op_uTBsSls0VN(a,a)),op_Y7wcNGrDQJ(op_WR6HLWljOP(b,b),op_wisItNeSwq(a)))

def op_count_MKCxaPE9tg(a, b):
    if a > 600:
        count = op_count_WR6HLWljOP(109,139)+op_count_kbkesczE7y(a,b)+op_count_WSbXXWOizJ(op_WR6HLWljOP(109,139),op_kbkesczE7y(a,b))+op_count_vRio1gEz1j(op_WSbXXWOizJ(op_WR6HLWljOP(109,139),op_kbkesczE7y(a,b)))
    else:
        count = op_count_vg4gO5BX6G(a,b)+op_count_uTBsSls0VN(a,a)+op_count_UggxBX659n(op_vg4gO5BX6G(a,b),op_uTBsSls0VN(a,a))+op_count_WR6HLWljOP(b,b)+op_count_wisItNeSwq(a)+op_count_Y7wcNGrDQJ(op_WR6HLWljOP(b,b),op_wisItNeSwq(a))+op_count_Z5m6OM72h2(op_UggxBX659n(op_vg4gO5BX6G(a,b),op_uTBsSls0VN(a,a)),op_Y7wcNGrDQJ(op_WR6HLWljOP(b,b),op_wisItNeSwq(a)))
    return count


a⨭⫎b = { (⪁⫅≨a) , if (∨a)>=344 ; b , else }

def op_OVAuBYEMFc(a, b):
    if op_rIsGeVJWJF(a) >= 344:
        return op_YApyZlDuBr(a)
    else:
        return b

def op_count_OVAuBYEMFc(a, b):
    if op_rIsGeVJWJF(a) >= 344:
        count = op_count_YApyZlDuBr(a)+op_count_rIsGeVJWJF(a)
    else:
        count = 1
    return count


def op_izrQJRSfVS(a, b):
    if b < 385:
        return op_k2HlF1dBQh(a)
    else:
        return b

def op_count_izrQJRSfVS(a, b):
    if b < 385:
        count = op_count_k2HlF1dBQh(a)
    else:
        count = 1
    return count


a⫼⨐⪵b = { (((b⊨b)⪠⩆⊳)⨔⇊(⊿454)) , if (≀↧⇸a)<19 ; (((b⫗⊒⇾b)⩚⊴⇥(41⫃⨇b))⋘⨑⨽) , else }

def op_NtExgOpNfN(a, b):
    if op_ljTHtUsqzn(a) < 19:
        return op_JclMnS0uGI(op_JLbD19bQDL(op_vg4gO5BX6G(b,b)),op_DO4fhlbJSI(454))
    else:
        return op_WmT3o8z6ya(op_NTOWxs364D(op_hiBDRd40bf(b,b),op_09Ly4LVMIf(41,b)))

def op_count_NtExgOpNfN(a, b):
    if op_ljTHtUsqzn(a) < 19:
        count = op_count_vg4gO5BX6G(b,b)+op_count_JLbD19bQDL(op_vg4gO5BX6G(b,b))+op_count_DO4fhlbJSI(454)+op_count_JclMnS0uGI(op_JLbD19bQDL(op_vg4gO5BX6G(b,b)),op_DO4fhlbJSI(454))+op_count_ljTHtUsqzn(a)
    else:
        count = op_count_hiBDRd40bf(b,b)+op_count_09Ly4LVMIf(41,b)+op_count_NTOWxs364D(op_hiBDRd40bf(b,b),op_09Ly4LVMIf(41,b))+op_count_WmT3o8z6ya(op_NTOWxs364D(op_hiBDRd40bf(b,b),op_09Ly4LVMIf(41,b)))
    return count


a⫊⨤↻ = { (⊀⇵((a⋝⋈⪟a)⫸(54∲⫑a))) , if (⊿a)>=0 ; (⊫∐⫩(⋃a)) , else }

def op_h80m7rOHTQ(a):
    if op_DO4fhlbJSI(a) >= 0:
        return op_B3tNObfNaL(op_Qaz2MhZaG5(op_2DDjHMKMc0(a,a),op_NrdPCfJQiM(54,a)))
    else:
        return op_gSr4c7pPrV(op_3mBM5G4a3l(a))

def op_count_h80m7rOHTQ(a):
    if op_DO4fhlbJSI(a) >= 0:
        count = op_count_2DDjHMKMc0(a,a)+op_count_NrdPCfJQiM(54,a)+op_count_Qaz2MhZaG5(op_2DDjHMKMc0(a,a),op_NrdPCfJQiM(54,a))+op_count_B3tNObfNaL(op_Qaz2MhZaG5(op_2DDjHMKMc0(a,a),op_NrdPCfJQiM(54,a)))+op_count_DO4fhlbJSI(a)
    else:
        count = op_count_3mBM5G4a3l(a)+op_count_gSr4c7pPrV(op_3mBM5G4a3l(a))
    return count


a⫌⋠⫢b = { (((a⪭↷⊩)⇽⩪)⪭((430∘690)⩌⋺(b⩍⋽⫝̸a))) , if (a≋⊢≽)==59 ; (((b⊓≱a)≽⪈↿(295∠⫱b))⫏↛⩏(↡(⊫∐⫩b))) , else }

def op_mf9eRyN6Nh(a, b):
    if op_Lhk0YGb717(a) == 59:
        return op_j9kHMeSvPp(op_FonBHBYJbU(op_Oe8teynzfS(a)),op_g7Hmc5v1ko(op_Z5m6OM72h2(430,690),op_BiWNJpBvwn(b,a)))
    else:
        return op_YC3tgrnOyr(op_inCIaGQf8u(op_VCG3UHNzLR(b,a),op_QvoQhV0rrE(295,b)),op_MXaNJeIAZ3(op_gSr4c7pPrV(b)))

def op_count_mf9eRyN6Nh(a, b):
    if op_Lhk0YGb717(a) == 59:
        count = op_count_Oe8teynzfS(a)+op_count_FonBHBYJbU(op_Oe8teynzfS(a))+op_count_Z5m6OM72h2(430,690)+op_count_BiWNJpBvwn(b,a)+op_count_g7Hmc5v1ko(op_Z5m6OM72h2(430,690),op_BiWNJpBvwn(b,a))+op_count_j9kHMeSvPp(op_FonBHBYJbU(op_Oe8teynzfS(a)),op_g7Hmc5v1ko(op_Z5m6OM72h2(430,690),op_BiWNJpBvwn(b,a)))+op_count_Lhk0YGb717(a)
    else:
        count = op_count_VCG3UHNzLR(b,a)+op_count_QvoQhV0rrE(295,b)+op_count_inCIaGQf8u(op_VCG3UHNzLR(b,a),op_QvoQhV0rrE(295,b))+op_count_gSr4c7pPrV(b)+op_count_MXaNJeIAZ3(op_gSr4c7pPrV(b))+op_count_YC3tgrnOyr(op_inCIaGQf8u(op_VCG3UHNzLR(b,a),op_QvoQhV0rrE(295,b)),op_MXaNJeIAZ3(op_gSr4c7pPrV(b)))
    return count


def op_YkXXfHVFPI(a):
    if op_3sJ7IOPOlU(a,663) <= 92:
        return op_zR4jO40bMj(op_LmY23Q1aIi(op_Y7wcNGrDQJ(a,a)),op_18saOjeKKm(op_PxiHyQbrIp(131)))
    else:
        return op_QMFrweE19q(op_Cr5xnr8B4B(a,op_SPuZE40Ntn(a,287)),op_VCG3UHNzLR(op_L05ObWFQCd(70,434),op_uTBsSls0VN(a,a)))

def op_count_YkXXfHVFPI(a):
    if op_3sJ7IOPOlU(a,663) <= 92:
        count = op_count_Y7wcNGrDQJ(a,a)+op_count_LmY23Q1aIi(op_Y7wcNGrDQJ(a,a))+op_count_PxiHyQbrIp(131)+op_count_18saOjeKKm(op_PxiHyQbrIp(131))+op_count_zR4jO40bMj(op_LmY23Q1aIi(op_Y7wcNGrDQJ(a,a)),op_18saOjeKKm(op_PxiHyQbrIp(131)))+op_count_3sJ7IOPOlU(a,663)
    else:
        count = op_count_SPuZE40Ntn(a,287)+op_count_Cr5xnr8B4B(a,op_SPuZE40Ntn(a,287))+op_count_L05ObWFQCd(70,434)+op_count_uTBsSls0VN(a,a)+op_count_VCG3UHNzLR(op_L05ObWFQCd(70,434),op_uTBsSls0VN(a,a))+op_count_QMFrweE19q(op_Cr5xnr8B4B(a,op_SPuZE40Ntn(a,287)),op_VCG3UHNzLR(op_L05ObWFQCd(70,434),op_uTBsSls0VN(a,a)))
    return count


def op_nyiVdSq3X4(a):
    if op_FB83X2dByY(a) >= 143:
        return op_vRio1gEz1j(op_EO7Xdgo9So(op_kbkesczE7y(a,a)))
    else:
        return op_giaUb8UVhq(op_wmlQD0656L(op_jBC4ymW3D7(a,a)),a)

def op_count_nyiVdSq3X4(a):
    if op_FB83X2dByY(a) >= 143:
        count = op_count_kbkesczE7y(a,a)+op_count_EO7Xdgo9So(op_kbkesczE7y(a,a))+op_count_vRio1gEz1j(op_EO7Xdgo9So(op_kbkesczE7y(a,a)))+op_count_FB83X2dByY(a)
    else:
        count = op_count_jBC4ymW3D7(a,a)+op_count_wmlQD0656L(op_jBC4ymW3D7(a,a))+op_count_giaUb8UVhq(op_wmlQD0656L(op_jBC4ymW3D7(a,a)),a)
    return count


⪚⨹a = { (((⫄⋦≢a)⇥↓)≻⇥≳((a⨩≤⫤a)⋅⇍(a⇼⇔∾a))) , if (∓a)>289 ; (a⩣⊵⩗((a⩾a)⨶)) , else }

def op_v4XgWNYiM8(a):
    if op_OwUj7dcsQK(a) > 289:
        return op_aiqF8n6J9c(op_KvubFp3XhO(op_4kvgVkQeiQ(a)),op_AdZkA7nFnk(op_neKQRQQIil(a,a),op_tifHPKVTfV(a,a)))
    else:
        return op_wsXFuL0hC6(a,op_rFxw8gIMmB(op_UggxBX659n(a,a)))

def op_count_v4XgWNYiM8(a):
    if op_OwUj7dcsQK(a) > 289:
        count = op_count_4kvgVkQeiQ(a)+op_count_KvubFp3XhO(op_4kvgVkQeiQ(a))+op_count_neKQRQQIil(a,a)+op_count_tifHPKVTfV(a,a)+op_count_AdZkA7nFnk(op_neKQRQQIil(a,a),op_tifHPKVTfV(a,a))+op_count_aiqF8n6J9c(op_KvubFp3XhO(op_4kvgVkQeiQ(a)),op_AdZkA7nFnk(op_neKQRQQIil(a,a),op_tifHPKVTfV(a,a)))+op_count_OwUj7dcsQK(a)
    else:
        count = op_count_UggxBX659n(a,a)+op_count_rFxw8gIMmB(op_UggxBX659n(a,a))+op_count_wsXFuL0hC6(a,op_rFxw8gIMmB(op_UggxBX659n(a,a)))
    return count


⪩a = { (⩪∧⨌a) , if a==240 ; (a↪∷a) , else }

def op_XHDQpnH8LH(a):
    if a == 240:
        return op_6iOiAJX1F8(a)
    else:
        return op_Api82iH42a(a,a)

def op_count_XHDQpnH8LH(a):
    if a == 240:
        count = op_count_6iOiAJX1F8(a)
    else:
        count = op_count_Api82iH42a(a,a)
    return count


a⋞⫮b = { ((b⫁⪎b)⩌(b⫶11)) , if (b∀⋜↑)>=105 ; (a⇌↸) , else }

def op_2am7j97jvV(a, b):
    if op_KipPnG1M2J(b) >= 105:
        return op_UoVew8f2p2(op_xRrnTEsQ6j(b,b),op_BAIXFdYaz3(b,11))
    else:
        return op_2PILXiQIjy(a)

def op_count_2am7j97jvV(a, b):
    if op_KipPnG1M2J(b) >= 105:
        count = op_count_xRrnTEsQ6j(b,b)+op_count_BAIXFdYaz3(b,11)+op_count_UoVew8f2p2(op_xRrnTEsQ6j(b,b),op_BAIXFdYaz3(b,11))+op_count_KipPnG1M2J(b)
    else:
        count = op_count_2PILXiQIjy(a)
    return count


def op_WPnesc9Qo9(a):
    if op_LxFB4K6j0n(a) <= 529 or op_yuvXk3Mco8(a) < 273 or op_Y9dhGmbGii(a) == 349:
        return op_Ph9nP6C5qx(op_SWo3A1KBJH(145),a)
    else:
        return op_KbjG8mgYpV(op_PrwIXj9ZQe(a),op_NdELin8EPX(a,a))

def op_count_WPnesc9Qo9(a):
    if op_LxFB4K6j0n(a) <= 529 or op_yuvXk3Mco8(a) < 273 or op_Y9dhGmbGii(a) == 349:
        count = op_count_SWo3A1KBJH(145)+op_count_Ph9nP6C5qx(op_SWo3A1KBJH(145),a)+op_count_LxFB4K6j0n(a)+op_count_yuvXk3Mco8(a)+op_count_Y9dhGmbGii(a)
    else:
        count = op_count_PrwIXj9ZQe(a)+op_count_NdELin8EPX(a,a)+op_count_KbjG8mgYpV(op_PrwIXj9ZQe(a),op_NdELin8EPX(a,a))
    return count


≂a = { ((a⪔⊥a)∑(a⊒a)) , if (a⪇≇⋚599)!=198 ; ((⪆a)≧⫂∧(a⫃⨇a)) , else }

def op_dCycFYvitt(a):
    if op_3sJ7IOPOlU(a,599) != 198:
        return op_JFrVJKYFMX(op_HJ9erzHUuu(a,a),op_rPNtK4BLRO(a,a))
    else:
        return op_Ph9nP6C5qx(op_KWeyIRWUIQ(a),op_09Ly4LVMIf(a,a))

def op_count_dCycFYvitt(a):
    if op_3sJ7IOPOlU(a,599) != 198:
        count = op_count_HJ9erzHUuu(a,a)+op_count_rPNtK4BLRO(a,a)+op_count_JFrVJKYFMX(op_HJ9erzHUuu(a,a),op_rPNtK4BLRO(a,a))+op_count_3sJ7IOPOlU(a,599)
    else:
        count = op_count_KWeyIRWUIQ(a)+op_count_09Ly4LVMIf(a,a)+op_count_Ph9nP6C5qx(op_KWeyIRWUIQ(a),op_09Ly4LVMIf(a,a))
    return count


a⩧⩣ = { (((a⨴a)⫭)∊⊞≈((a⇛a)⊉≛↸(a⩦a))) , if a<354 ; (((a⋰⇉∕a)⫯⪬∳(a⪈⋁⩁a))∏⇴(89⇌⫙⪟(a≚⊃≕a))) , else }

def op_bKDbozsdlc(a):
    if a < 354:
        return op_keuJNkrrbj(op_t4WUHVGj7f(op_jBC4ymW3D7(a,a)),op_DZ8iAZOCBD(op_S3tN1ZzpSt(a,a),op_0kmYd0q39Y(a,a)))
    else:
        return op_Rw46J52cBJ(op_d7ASUq0ydm(op_sM9mzqIDB1(a,a),op_GMyVS5K48T(a,a)),op_AFVx7xoS7T(89,op_Bmrmz2XGnR(a,a)))

def op_count_bKDbozsdlc(a):
    if a < 354:
        count = op_count_jBC4ymW3D7(a,a)+op_count_t4WUHVGj7f(op_jBC4ymW3D7(a,a))+op_count_S3tN1ZzpSt(a,a)+op_count_0kmYd0q39Y(a,a)+op_count_DZ8iAZOCBD(op_S3tN1ZzpSt(a,a),op_0kmYd0q39Y(a,a))+op_count_keuJNkrrbj(op_t4WUHVGj7f(op_jBC4ymW3D7(a,a)),op_DZ8iAZOCBD(op_S3tN1ZzpSt(a,a),op_0kmYd0q39Y(a,a)))
    else:
        count = op_count_sM9mzqIDB1(a,a)+op_count_GMyVS5K48T(a,a)+op_count_d7ASUq0ydm(op_sM9mzqIDB1(a,a),op_GMyVS5K48T(a,a))+op_count_Bmrmz2XGnR(a,a)+op_count_AFVx7xoS7T(89,op_Bmrmz2XGnR(a,a))+op_count_Rw46J52cBJ(op_d7ASUq0ydm(op_sM9mzqIDB1(a,a),op_GMyVS5K48T(a,a)),op_AFVx7xoS7T(89,op_Bmrmz2XGnR(a,a)))
    return count


a⇨⇁b = { ((a⊇≀≁)⩚⊴⇥(a⪱⇝b)) , if a<253 ; ((b⊛⫍⩜)⋝⋈⪟b) , else }

def op_0JEjmizNXg(a, b):
    if a < 253:
        return op_NTOWxs364D(op_AfoL3wC8aT(a),op_OTRTVPweYV(a,b))
    else:
        return op_2DDjHMKMc0(op_KaSTSbOewx(b),b)

def op_count_0JEjmizNXg(a, b):
    if a < 253:
        count = op_count_AfoL3wC8aT(a)+op_count_OTRTVPweYV(a,b)+op_count_NTOWxs364D(op_AfoL3wC8aT(a),op_OTRTVPweYV(a,b))
    else:
        count = op_count_KaSTSbOewx(b)+op_count_2DDjHMKMc0(op_KaSTSbOewx(b),b)
    return count


def op_DEx41W0Tf0(a):
    if op_PaBHOjxk8c(a) != 218:
        return op_2M7SKlOzyM(163,a)
    else:
        return op_aSik1wnThz(a)

def op_count_DEx41W0Tf0(a):
    if op_PaBHOjxk8c(a) != 218:
        count = op_count_2M7SKlOzyM(163,a)+op_count_PaBHOjxk8c(a)
    else:
        count = op_count_aSik1wnThz(a)
    return count


⇅⊳a = { (a≧⊼a) , if a<=253 ; (a↰) , else }

def op_TdUTTVKLPU(a):
    if a <= 253:
        return op_JoLB3LXqXx(a,a)
    else:
        return op_bl5wxAcryP(a)

def op_count_TdUTTVKLPU(a):
    if a <= 253:
        count = op_count_JoLB3LXqXx(a,a)
    else:
        count = op_count_bl5wxAcryP(a)
    return count


a⇆⩒b = { ((a↨⪍≴b)∄(a⊉≛↸918)) , if b>=583 ; ((a↭↢≔)⩟) , else }

def op_jQIFa7kB8p(a, b):
    if b >= 583:
        return op_tnyRA5sazQ(op_DX7B1fY6P6(a,b),op_DZ8iAZOCBD(a,918))
    else:
        return op_fOIeswaMU4(op_Q6LsZf8ZYd(a))

def op_count_jQIFa7kB8p(a, b):
    if b >= 583:
        count = op_count_DX7B1fY6P6(a,b)+op_count_DZ8iAZOCBD(a,918)+op_count_tnyRA5sazQ(op_DX7B1fY6P6(a,b),op_DZ8iAZOCBD(a,918))
    else:
        count = op_count_Q6LsZf8ZYd(a)+op_count_fOIeswaMU4(op_Q6LsZf8ZYd(a))
    return count


def op_BCU6VgEl6D(a, b):
    if op_W4YGzv6Whe(b,780) != 6:
        return op_mhIhit33mg(op_wztAlM01eG(a))
    else:
        return op_qAljGMXEZr(op_3Oe9XWJUTD(347,a))

def op_count_BCU6VgEl6D(a, b):
    if op_W4YGzv6Whe(b,780) != 6:
        count = op_count_wztAlM01eG(a)+op_count_mhIhit33mg(op_wztAlM01eG(a))+op_count_W4YGzv6Whe(b,780)
    else:
        count = op_count_3Oe9XWJUTD(347,a)+op_count_qAljGMXEZr(op_3Oe9XWJUTD(347,a))
    return count


def op_EMR9JvRK8T(a, b):
    if a >= 168:
        return op_0kmYd0q39Y(op_VCG3UHNzLR(op_OGWBzMv138(a,22),op_GMN7JP6WpN(b,a)),op_j9kHMeSvPp(op_rIsGeVJWJF(203),op_3YWlZA9bsa(a,a)))
    else:
        return op_6l7ULzJsnZ(op_09Ly4LVMIf(op_cTDWOvIxvz(b,b),op_QvoQhV0rrE(255,b)))

def op_count_EMR9JvRK8T(a, b):
    if a >= 168:
        count = op_count_OGWBzMv138(a,22)+op_count_GMN7JP6WpN(b,a)+op_count_VCG3UHNzLR(op_OGWBzMv138(a,22),op_GMN7JP6WpN(b,a))+op_count_rIsGeVJWJF(203)+op_count_3YWlZA9bsa(a,a)+op_count_j9kHMeSvPp(op_rIsGeVJWJF(203),op_3YWlZA9bsa(a,a))+op_count_0kmYd0q39Y(op_VCG3UHNzLR(op_OGWBzMv138(a,22),op_GMN7JP6WpN(b,a)),op_j9kHMeSvPp(op_rIsGeVJWJF(203),op_3YWlZA9bsa(a,a)))
    else:
        count = op_count_cTDWOvIxvz(b,b)+op_count_QvoQhV0rrE(255,b)+op_count_09Ly4LVMIf(op_cTDWOvIxvz(b,b),op_QvoQhV0rrE(255,b))+op_count_6l7ULzJsnZ(op_09Ly4LVMIf(op_cTDWOvIxvz(b,b),op_QvoQhV0rrE(255,b)))
    return count


def op_6W74g7QTY6(a):
    if (a <= 89 and op_7IPrd9c3lf(a) != 283 and op_BiWNJpBvwn(a,942) <= 172):
        return op_Cr5xnr8B4B(op_RygbFNSyEJ(a,a),op_6iafYuwGo8(a,a))
    else:
        return op_YSKBFp38Pu(a,op_2O29ZX4yK6(a))

def op_count_6W74g7QTY6(a):
    if (a <= 89 and op_7IPrd9c3lf(a) != 283 and op_BiWNJpBvwn(a,942) <= 172):
        count = op_count_RygbFNSyEJ(a,a)+op_count_6iafYuwGo8(a,a)+op_count_Cr5xnr8B4B(op_RygbFNSyEJ(a,a),op_6iafYuwGo8(a,a))+op_count_7IPrd9c3lf(a)+op_count_BiWNJpBvwn(a,942)
    else:
        count = op_count_2O29ZX4yK6(a)+op_count_YSKBFp38Pu(a,op_2O29ZX4yK6(a))
    return count


def op_AWSeafXRiV(a):
    if op_BUOGQAYlQx(a) <= 668:
        return op_W4YGzv6Whe(op_JclMnS0uGI(a,132),op_KfMCrRzQhT(117))
    else:
        return op_jdwGQqwJi5(op_aSik1wnThz(a))

def op_count_AWSeafXRiV(a):
    if op_BUOGQAYlQx(a) <= 668:
        count = op_count_JclMnS0uGI(a,132)+op_count_KfMCrRzQhT(117)+op_count_W4YGzv6Whe(op_JclMnS0uGI(a,132),op_KfMCrRzQhT(117))+op_count_BUOGQAYlQx(a)
    else:
        count = op_count_aSik1wnThz(a)+op_count_jdwGQqwJi5(op_aSik1wnThz(a))
    return count


a⪆⫵ = { ((a∫⋜⩖a)⫶(a⨲⇖⇮)) , if a<=79 ; ((a≃a)≽↲≰(⊖a)) , else }

def op_rrtb4JrnCR(a):
    if a <= 79:
        return op_BAIXFdYaz3(op_JgXZM7XvWE(a,a),op_oj4YnGA3cE(a))
    else:
        return op_cFVlceoRkX(op_YbVcJGFEVW(a,a),op_U6pG0PXrV3(a))

def op_count_rrtb4JrnCR(a):
    if a <= 79:
        count = op_count_JgXZM7XvWE(a,a)+op_count_oj4YnGA3cE(a)+op_count_BAIXFdYaz3(op_JgXZM7XvWE(a,a),op_oj4YnGA3cE(a))
    else:
        count = op_count_YbVcJGFEVW(a,a)+op_count_U6pG0PXrV3(a)+op_count_cFVlceoRkX(op_YbVcJGFEVW(a,a),op_U6pG0PXrV3(a))
    return count


⫫⫆a = { (a≣((⊲⪭a)∄a)) , if a>39 or (⋽⪳⨃a)<431 ; ((∥⊫(a⇼⇔∾a))⊛⫍⩜) , else }

def op_PFGBjZbDyF(a):
    if a > 39 or op_qAljGMXEZr(a) < 431:
        return op_ObEyaaML9x(a,op_tnyRA5sazQ(op_k7HXdKtiEU(a),a))
    else:
        return op_KaSTSbOewx(op_P8v4zCKN1o(op_tifHPKVTfV(a,a)))

def op_count_PFGBjZbDyF(a):
    if a > 39 or op_qAljGMXEZr(a) < 431:
        count = op_count_k7HXdKtiEU(a)+op_count_tnyRA5sazQ(op_k7HXdKtiEU(a),a)+op_count_ObEyaaML9x(a,op_tnyRA5sazQ(op_k7HXdKtiEU(a),a))+op_count_qAljGMXEZr(a)
    else:
        count = op_count_tifHPKVTfV(a,a)+op_count_P8v4zCKN1o(op_tifHPKVTfV(a,a))+op_count_KaSTSbOewx(op_P8v4zCKN1o(op_tifHPKVTfV(a,a)))
    return count


a⩼≋∦ = { (((a∇⊂⋱a)⊛⫍⩜)⫶(⇍(⊲⪭a))) , if (a⪍)<133 ; (⋼∭⪍((a⊛⫍⩜)⋅⇍(a-∠114))) , else }

def op_kWS2N16A4V(a):
    if op_SHWCOp9I4E(a) < 133:
        return op_BAIXFdYaz3(op_KaSTSbOewx(op_nhYeJWJD5X(a,a)),op_H9jWZL1q0V(op_k7HXdKtiEU(a)))
    else:
        return op_DbCuESL50I(op_AdZkA7nFnk(op_KaSTSbOewx(a),op_s0IfDFCCuZ(a,114)))

def op_count_kWS2N16A4V(a):
    if op_SHWCOp9I4E(a) < 133:
        count = op_count_nhYeJWJD5X(a,a)+op_count_KaSTSbOewx(op_nhYeJWJD5X(a,a))+op_count_k7HXdKtiEU(a)+op_count_H9jWZL1q0V(op_k7HXdKtiEU(a))+op_count_BAIXFdYaz3(op_KaSTSbOewx(op_nhYeJWJD5X(a,a)),op_H9jWZL1q0V(op_k7HXdKtiEU(a)))+op_count_SHWCOp9I4E(a)
    else:
        count = op_count_KaSTSbOewx(a)+op_count_s0IfDFCCuZ(a,114)+op_count_AdZkA7nFnk(op_KaSTSbOewx(a),op_s0IfDFCCuZ(a,114))+op_count_DbCuESL50I(op_AdZkA7nFnk(op_KaSTSbOewx(a),op_s0IfDFCCuZ(a,114)))
    return count


def op_VTIu7k39a1(a):
    if op_LmY23Q1aIi(a) < 131:
        return op_KPf6cnQVty(op_GMN7JP6WpN(a,197),op_hiBDRd40bf(a,a))
    else:
        return op_EWw2JM7wp4(op_2GS7woTJqF(a,350),op_MXaNJeIAZ3(a))

def op_count_VTIu7k39a1(a):
    if op_LmY23Q1aIi(a) < 131:
        count = op_count_GMN7JP6WpN(a,197)+op_count_hiBDRd40bf(a,a)+op_count_KPf6cnQVty(op_GMN7JP6WpN(a,197),op_hiBDRd40bf(a,a))+op_count_LmY23Q1aIi(a)
    else:
        count = op_count_2GS7woTJqF(a,350)+op_count_MXaNJeIAZ3(a)+op_count_EWw2JM7wp4(op_2GS7woTJqF(a,350),op_MXaNJeIAZ3(a))
    return count


def op_e3uIs4Enfs(a):
    if a < 265:
        return op_vRio1gEz1j(684)
    else:
        return op_s3Fd5m9Dh2(a,a)

def op_count_e3uIs4Enfs(a):
    if a < 265:
        count = op_count_vRio1gEz1j(684)
    else:
        count = op_count_s3Fd5m9Dh2(a,a)
    return count


def op_eE08yGSBQ5(a):
    if op_eaFBhJ0Uku(a,749) < 564:
        return op_E4l6HwMY31(a,a)
    else:
        return op_oH594TLvBK(a)

def op_count_eE08yGSBQ5(a):
    if op_eaFBhJ0Uku(a,749) < 564:
        count = op_count_E4l6HwMY31(a,a)+op_count_eaFBhJ0Uku(a,749)
    else:
        count = op_count_oH594TLvBK(a)
    return count


def op_IC7K075aVB(a):
    if a < 384:
        return op_Z5m6OM72h2(a,a)
    else:
        return op_uBihLCJcMX(224)

def op_count_IC7K075aVB(a):
    if a < 384:
        count = op_count_Z5m6OM72h2(a,a)
    else:
        count = op_count_uBihLCJcMX(224)
    return count


a⊲⊺b = { ((a⪱⇝a)⫡⨏(⨾∊⩁a)) , if (a↾⩰)>=270 ; ((b∀⋜↑)∘(⨡↴b)) , else }

def op_XFw8Sin97h(a, b):
    if op_GNmBfxrna9(a) >= 270:
        return op_QMFrweE19q(op_OTRTVPweYV(a,a),op_QErWpSDGk0(a))
    else:
        return op_Z5m6OM72h2(op_KipPnG1M2J(b),op_liw5iZPkLH(b))

def op_count_XFw8Sin97h(a, b):
    if op_GNmBfxrna9(a) >= 270:
        count = op_count_OTRTVPweYV(a,a)+op_count_QErWpSDGk0(a)+op_count_QMFrweE19q(op_OTRTVPweYV(a,a),op_QErWpSDGk0(a))+op_count_GNmBfxrna9(a)
    else:
        count = op_count_KipPnG1M2J(b)+op_count_liw5iZPkLH(b)+op_count_Z5m6OM72h2(op_KipPnG1M2J(b),op_liw5iZPkLH(b))
    return count


a⪿∤b = { a , if (∓b)==684 ; (a⊢) , else }

def op_pDi3HXNjDB(a, b):
    if op_OwUj7dcsQK(b) == 684:
        return a
    else:
        return op_40aOVDgCDB(a)

def op_count_pDi3HXNjDB(a, b):
    if op_OwUj7dcsQK(b) == 684:
        count = 1
    else:
        count = op_count_40aOVDgCDB(a)
    return count


a⨋≰b = { ((b⪿⇪⊩18)⪒⊣⊆(b⩦424)) , if (a⪑⩈)>828 ; (a⪑⩈) , else }

def op_uw1KoZSwz0(a, b):
    if op_C6VvDP6HwP(a) > 828:
        return op_eRqsBgTDFp(op_OGWBzMv138(b,18),op_0kmYd0q39Y(b,424))
    else:
        return op_C6VvDP6HwP(a)

def op_count_uw1KoZSwz0(a, b):
    if op_C6VvDP6HwP(a) > 828:
        count = op_count_OGWBzMv138(b,18)+op_count_0kmYd0q39Y(b,424)+op_count_eRqsBgTDFp(op_OGWBzMv138(b,18),op_0kmYd0q39Y(b,424))+op_count_C6VvDP6HwP(a)
    else:
        count = op_count_C6VvDP6HwP(a)
    return count


⫫↸a = { (((a⋟⫀⨗a)∅(a≏⨯⊱59))⨰↻⪇(a⩒⫫a)) , if (⇾⩊⇾a)==151 ; (⋸⪍((⩏⊷≩a)⩵∡(∑⇻≧a))) , else }

def op_BZ7YUn5i1B(a):
    if op_bx9Z9DAK5y(a) == 151:
        return op_nbuSfrB4hB(op_giaUb8UVhq(op_dAAkup5nzi(a,a),op_UqUOXUQnbU(a,59)),op_KFSx94NKJn(a,a))
    else:
        return op_PrwIXj9ZQe(op_Y7wcNGrDQJ(op_uOZ1tnYMDE(a),op_l1M9WJ3V7u(a)))

def op_count_BZ7YUn5i1B(a):
    if op_bx9Z9DAK5y(a) == 151:
        count = op_count_dAAkup5nzi(a,a)+op_count_UqUOXUQnbU(a,59)+op_count_giaUb8UVhq(op_dAAkup5nzi(a,a),op_UqUOXUQnbU(a,59))+op_count_KFSx94NKJn(a,a)+op_count_nbuSfrB4hB(op_giaUb8UVhq(op_dAAkup5nzi(a,a),op_UqUOXUQnbU(a,59)),op_KFSx94NKJn(a,a))+op_count_bx9Z9DAK5y(a)
    else:
        count = op_count_uOZ1tnYMDE(a)+op_count_l1M9WJ3V7u(a)+op_count_Y7wcNGrDQJ(op_uOZ1tnYMDE(a),op_l1M9WJ3V7u(a))+op_count_PrwIXj9ZQe(op_Y7wcNGrDQJ(op_uOZ1tnYMDE(a),op_l1M9WJ3V7u(a)))
    return count


def op_Q9gYCtkcsQ(a, b):
    if op_BUOGQAYlQx(a) > 2 or op_tDVI6bDdAd(a) == 112 or op_vRio1gEz1j(a) == 143:
        return a
    else:
        return op_PjbVkMzmXE(op_G8pG1QxO6Y(op_hiBDRd40bf(a,b)),op_KPf6cnQVty(op_HJ9erzHUuu(83,a),op_12rbrZMWeM(38,158)))

def op_count_Q9gYCtkcsQ(a, b):
    if op_BUOGQAYlQx(a) > 2 or op_tDVI6bDdAd(a) == 112 or op_vRio1gEz1j(a) == 143:
        count = 1
    else:
        count = op_count_hiBDRd40bf(a,b)+op_count_G8pG1QxO6Y(op_hiBDRd40bf(a,b))+op_count_HJ9erzHUuu(83,a)+op_count_12rbrZMWeM(38,158)+op_count_KPf6cnQVty(op_HJ9erzHUuu(83,a),op_12rbrZMWeM(38,158))+op_count_PjbVkMzmXE(op_G8pG1QxO6Y(op_hiBDRd40bf(a,b)),op_KPf6cnQVty(op_HJ9erzHUuu(83,a),op_12rbrZMWeM(38,158)))
    return count


a⊅∈∁b = { (⪷∈↠a) , if (b⇿⊰725)>=154 ; (⋽⪳⨃a) , else }

def op_1Btw2138KI(a, b):
    if op_ap3xiM279w(b,725) >= 154:
        return op_Kn0TacbtGK(a)
    else:
        return op_qAljGMXEZr(a)

def op_count_1Btw2138KI(a, b):
    if op_ap3xiM279w(b,725) >= 154:
        count = op_count_Kn0TacbtGK(a)+op_count_ap3xiM279w(b,725)
    else:
        count = op_count_qAljGMXEZr(a)
    return count


def op_UgHg3ocI1C(a, b):
    if op_YSKBFp38Pu(b,203) > 555:
        return op_aiqF8n6J9c(a,54)
    else:
        return op_eewbuw0ToL(b,b)

def op_count_UgHg3ocI1C(a, b):
    if op_YSKBFp38Pu(b,203) > 555:
        count = op_count_aiqF8n6J9c(a,54)+op_count_YSKBFp38Pu(b,203)
    else:
        count = op_count_eewbuw0ToL(b,b)
    return count


def op_Oda0vSKASk(a):
    if op_nFAOW8KTqp(a) > 281:
        return op_aiqF8n6J9c(a,354)
    else:
        return op_6o9Blt3TJ6(530,a)

def op_count_Oda0vSKASk(a):
    if op_nFAOW8KTqp(a) > 281:
        count = op_count_aiqF8n6J9c(a,354)+op_count_nFAOW8KTqp(a)
    else:
        count = op_count_6o9Blt3TJ6(530,a)
    return count


⩂≻a = { (↓⇌a) , if a<80 ; (a⪔⊥225) , else }

def op_MoZz3Hqfy5(a):
    if a < 80:
        return op_PxpmPgHHJV(a)
    else:
        return op_HJ9erzHUuu(a,225)

def op_count_MoZz3Hqfy5(a):
    if a < 80:
        count = op_count_PxpmPgHHJV(a)
    else:
        count = op_count_HJ9erzHUuu(a,225)
    return count


⫠⊶≧a = { ((a⇤(a⨣∐↬a))⩷∴((55⋟⫀⨗a)⇌⫙⪟(↥≼⋛394))) , if (a⋘⨑⨽)==348 ; (((a∶)⨔⇊(a⨜⇔a))⨰((a⊱⇼⊻a)⇋∊)) , else }

def op_OimsOu7twr(a):
    if op_WmT3o8z6ya(a) == 348:
        return op_9FxExcQeMw(op_YSKBFp38Pu(a,op_UpkSd4zESC(a,a)),op_AFVx7xoS7T(op_dAAkup5nzi(55,a),op_x5lMkHmzsq(394)))
    else:
        return op_eewbuw0ToL(op_JclMnS0uGI(op_7FnCP1ejHT(a),op_Sq3AGanRSD(a,a)),op_3FtlcrQcJU(op_FyVja0WsTP(a,a)))

def op_count_OimsOu7twr(a):
    if op_WmT3o8z6ya(a) == 348:
        count = op_count_UpkSd4zESC(a,a)+op_count_YSKBFp38Pu(a,op_UpkSd4zESC(a,a))+op_count_dAAkup5nzi(55,a)+op_count_x5lMkHmzsq(394)+op_count_AFVx7xoS7T(op_dAAkup5nzi(55,a),op_x5lMkHmzsq(394))+op_count_9FxExcQeMw(op_YSKBFp38Pu(a,op_UpkSd4zESC(a,a)),op_AFVx7xoS7T(op_dAAkup5nzi(55,a),op_x5lMkHmzsq(394)))+op_count_WmT3o8z6ya(a)
    else:
        count = op_count_7FnCP1ejHT(a)+op_count_Sq3AGanRSD(a,a)+op_count_JclMnS0uGI(op_7FnCP1ejHT(a),op_Sq3AGanRSD(a,a))+op_count_FyVja0WsTP(a,a)+op_count_3FtlcrQcJU(op_FyVja0WsTP(a,a))+op_count_eewbuw0ToL(op_JclMnS0uGI(op_7FnCP1ejHT(a),op_Sq3AGanRSD(a,a)),op_3FtlcrQcJU(op_FyVja0WsTP(a,a)))
    return count


a⇎⇨ = { (((∥⊫a)⫗⊒⇾(238∊⊞≈a))∣((a⇌⫙⪟a)⊢≏≾(a⪎↠54))) , if (⫇a)>390 ; (((a⩤∜↚a)⋅)⩚⊴⇥(a⩼⇪↪(a∲⫑a))) , else }

def op_5hFSwWPuqw(a):
    if op_YjI8oCXuph(a) > 390:
        return op_PPChnnnBFF(op_hiBDRd40bf(op_P8v4zCKN1o(a),op_keuJNkrrbj(238,a)),op_qxqspddX8k(op_AFVx7xoS7T(a,a),op_3tVxb0NHM4(a,54)))
    else:
        return op_NTOWxs364D(op_620seOwKww(op_KROiRRz3d6(a,a)),op_ocnLzx9CaJ(a,op_NrdPCfJQiM(a,a)))

def op_count_5hFSwWPuqw(a):
    if op_YjI8oCXuph(a) > 390:
        count = op_count_P8v4zCKN1o(a)+op_count_keuJNkrrbj(238,a)+op_count_hiBDRd40bf(op_P8v4zCKN1o(a),op_keuJNkrrbj(238,a))+op_count_AFVx7xoS7T(a,a)+op_count_3tVxb0NHM4(a,54)+op_count_qxqspddX8k(op_AFVx7xoS7T(a,a),op_3tVxb0NHM4(a,54))+op_count_PPChnnnBFF(op_hiBDRd40bf(op_P8v4zCKN1o(a),op_keuJNkrrbj(238,a)),op_qxqspddX8k(op_AFVx7xoS7T(a,a),op_3tVxb0NHM4(a,54)))+op_count_YjI8oCXuph(a)
    else:
        count = op_count_KROiRRz3d6(a,a)+op_count_620seOwKww(op_KROiRRz3d6(a,a))+op_count_NrdPCfJQiM(a,a)+op_count_ocnLzx9CaJ(a,op_NrdPCfJQiM(a,a))+op_count_NTOWxs364D(op_620seOwKww(op_KROiRRz3d6(a,a)),op_ocnLzx9CaJ(a,op_NrdPCfJQiM(a,a)))
    return count


a⊀⨢b = { (b↹⊜b) , if ((a⋅∹⩇)<=413 or a<=143) ; (a∐⫣) , else }

def op_qabBOWcXus(a, b):
    if (op_Tmr9JGNMVH(a) <= 413 or a <= 143):
        return op_9bazX3JMtO(b,b)
    else:
        return op_4CyGpkTkEk(a)

def op_count_qabBOWcXus(a, b):
    if (op_Tmr9JGNMVH(a) <= 413 or a <= 143):
        count = op_count_9bazX3JMtO(b,b)+op_count_Tmr9JGNMVH(a)
    else:
        count = op_count_4CyGpkTkEk(a)
    return count


def op_unlf9fLdE7(a):
    if op_tnyRA5sazQ(a,501) < 771:
        return a
    else:
        return op_d8xe6WWVfM(op_WObL9SsYVE(op_PPChnnnBFF(a,a),op_YbVcJGFEVW(24,a)),op_zFNL8mZEFB(a,op_9bazX3JMtO(a,a)))

def op_count_unlf9fLdE7(a):
    if op_tnyRA5sazQ(a,501) < 771:
        count = 1
    else:
        count = op_count_PPChnnnBFF(a,a)+op_count_YbVcJGFEVW(24,a)+op_count_WObL9SsYVE(op_PPChnnnBFF(a,a),op_YbVcJGFEVW(24,a))+op_count_9bazX3JMtO(a,a)+op_count_zFNL8mZEFB(a,op_9bazX3JMtO(a,a))+op_count_d8xe6WWVfM(op_WObL9SsYVE(op_PPChnnnBFF(a,a),op_YbVcJGFEVW(24,a)),op_zFNL8mZEFB(a,op_9bazX3JMtO(a,a)))
    return count


a⨲⫽≐ = { (⊈(a⊢a)) , if (a⊇≀≁)<427 ; (a⫯⪬∳(⫇a)) , else }

def op_jVOFQrKAvS(a):
    if op_AfoL3wC8aT(a) < 427:
        return op_RHru8klgy8(op_5twsqlHp2o(a,a))
    else:
        return op_d7ASUq0ydm(a,op_YjI8oCXuph(a))

def op_count_jVOFQrKAvS(a):
    if op_AfoL3wC8aT(a) < 427:
        count = op_count_5twsqlHp2o(a,a)+op_count_RHru8klgy8(op_5twsqlHp2o(a,a))+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_YjI8oCXuph(a)+op_count_d7ASUq0ydm(a,op_YjI8oCXuph(a))
    return count


def op_6oBLqlZVSO(a, b):
    if op_P75hhshrwX(b) > 7 and op_2GS7woTJqF(b,768) < 204 and op_GMN7JP6WpN(b,820) < 159:
        return op_g55IO6H4Gj(b,b)
    else:
        return op_D3AQDKkPcf(a,a)

def op_count_6oBLqlZVSO(a, b):
    if op_P75hhshrwX(b) > 7 and op_2GS7woTJqF(b,768) < 204 and op_GMN7JP6WpN(b,820) < 159:
        count = op_count_g55IO6H4Gj(b,b)+op_count_P75hhshrwX(b)+op_count_2GS7woTJqF(b,768)+op_count_GMN7JP6WpN(b,820)
    else:
        count = op_count_D3AQDKkPcf(a,a)
    return count


a⩁⩅b = { (a⨊⨠) , if b==369 ; (b⪲⨢b) , else }

def op_Y08Ytjn9yX(a, b):
    if b == 369:
        return op_qU6oQAhJaQ(a)
    else:
        return op_6iafYuwGo8(b,b)

def op_count_Y08Ytjn9yX(a, b):
    if b == 369:
        count = op_count_qU6oQAhJaQ(a)
    else:
        count = op_count_6iafYuwGo8(b,b)
    return count


a⨣b = { ((a∫⋜⩖b)∊⊞≈(⊁⨺a)) , if a>628 ; (a⋳⪒(a+⪬∐b)) , else }

def op_5ClX4R8SjJ(a, b):
    if a > 628:
        return op_keuJNkrrbj(op_JgXZM7XvWE(a,b),op_PxiHyQbrIp(a))
    else:
        return op_12rbrZMWeM(a,op_2GS7woTJqF(a,b))

def op_count_5ClX4R8SjJ(a, b):
    if a > 628:
        count = op_count_JgXZM7XvWE(a,b)+op_count_PxiHyQbrIp(a)+op_count_keuJNkrrbj(op_JgXZM7XvWE(a,b),op_PxiHyQbrIp(a))
    else:
        count = op_count_2GS7woTJqF(a,b)+op_count_12rbrZMWeM(a,op_2GS7woTJqF(a,b))
    return count


def op_MzISTVg6W9(a):
    if op_D4vGDi5EA2(a) >= 220:
        return op_13TjBizFrQ(op_4JGOJzXMq1(155,665))
    else:
        return op_rIsGeVJWJF(op_620seOwKww(159))

def op_count_MzISTVg6W9(a):
    if op_D4vGDi5EA2(a) >= 220:
        count = op_count_4JGOJzXMq1(155,665)+op_count_13TjBizFrQ(op_4JGOJzXMq1(155,665))+op_count_D4vGDi5EA2(a)
    else:
        count = op_count_620seOwKww(159)+op_count_rIsGeVJWJF(op_620seOwKww(159))
    return count


a⊸⫹b = { (b⋷a) , if a<=298 ; (a≚⊃≕747) , else }

def op_xTDqZxPsQw(a, b):
    if a <= 298:
        return op_23Mk6UjR3U(b,a)
    else:
        return op_Bmrmz2XGnR(a,747)

def op_count_xTDqZxPsQw(a, b):
    if a <= 298:
        count = op_count_23Mk6UjR3U(b,a)
    else:
        count = op_count_Bmrmz2XGnR(a,747)
    return count


a≂⊟⊞b = { (a⫩⊇) , if (b↯⫤)>112 ; (b∺≝⩲17) , else }

def op_0KgWqnVqNo(a, b):
    if op_VwlE7vj6HS(b) > 112:
        return op_BjRHVeLaeN(a)
    else:
        return op_KPf6cnQVty(b,17)

def op_count_0KgWqnVqNo(a, b):
    if op_VwlE7vj6HS(b) > 112:
        count = op_count_BjRHVeLaeN(a)+op_count_VwlE7vj6HS(b)
    else:
        count = op_count_KPf6cnQVty(b,17)
    return count


a⪘⋉⇭b = { ((⫌⊑↬91)≦≮≮) , if b<317 ; ((95⊭⇢↿)⪎↠a) , else }

def op_2TXroppNd4(a, b):
    if b < 317:
        return op_D4vGDi5EA2(op_h57jOAbG9W(91))
    else:
        return op_3tVxb0NHM4(op_G8pG1QxO6Y(95),a)

def op_count_2TXroppNd4(a, b):
    if b < 317:
        count = op_count_h57jOAbG9W(91)+op_count_D4vGDi5EA2(op_h57jOAbG9W(91))
    else:
        count = op_count_G8pG1QxO6Y(95)+op_count_3tVxb0NHM4(op_G8pG1QxO6Y(95),a)
    return count