a∴≳≥ = { (⨞⊢a) , if (⋗⩬⋾a)==641 ; (a⨸⪁a) , else }

def op_a3N2hFLK0J(a):
    if op_DpFCA1CohY(a) == 641:
        return op_xUOZtlo3hN(a)
    else:
        return op_g55IO6H4Gj(a,a)

def op_count_a3N2hFLK0J(a):
    if op_DpFCA1CohY(a) == 641:
        count = op_count_xUOZtlo3hN(a)+op_count_DpFCA1CohY(a)
    else:
        count = op_count_g55IO6H4Gj(a,a)
    return count


def op_MmTdOpaElr(a):
    return op_tifHPKVTfV(a,a)

def op_count_MmTdOpaElr(a):
    count = op_count_tifHPKVTfV(a,a)
    return count


def op_hrf7POJlIJ(a, b):
    return op_g55IO6H4Gj(op_P8v4zCKN1o(op_23Mk6UjR3U(22,b)),a)

def op_count_hrf7POJlIJ(a, b):
    count = op_count_23Mk6UjR3U(22,b)+op_count_P8v4zCKN1o(op_23Mk6UjR3U(22,b))+op_count_g55IO6H4Gj(op_P8v4zCKN1o(op_23Mk6UjR3U(22,b)),a)
    return count


def op_liw5iZPkLH(a):
    return op_P8v4zCKN1o(op_W4YGzv6Whe(a,181))

def op_count_liw5iZPkLH(a):
    count = op_count_W4YGzv6Whe(a,181)+op_count_P8v4zCKN1o(op_W4YGzv6Whe(a,181))
    return count


a⊋≦⊧b = { (((24⊉≛↸a)⊉≛↸(⩦⩻⨪b))⊉≛↸((a⊠≄⫣)⪨≂(b⇼⇔∾a))) , if a<=128 ; (((a⇼⇔∾b)⨁⊸⫻)⇼⇔∾((22⋳⪒a)⨰(a≧⫂∧a))) , else }

def op_oRDoc9rAEX(a, b):
    if a <= 128:
        return op_DZ8iAZOCBD(op_DZ8iAZOCBD(op_DZ8iAZOCBD(24,a),op_2td37pGCOC(b)),op_sdazOOVcIp(op_DIvbN7qnHd(a),op_tifHPKVTfV(b,a)))
    else:
        return op_tifHPKVTfV(op_glklzrTFfD(op_tifHPKVTfV(a,b)),op_eewbuw0ToL(op_12rbrZMWeM(22,a),op_Ph9nP6C5qx(a,a)))

def op_count_oRDoc9rAEX(a, b):
    if a <= 128:
        count = op_count_DZ8iAZOCBD(24,a)+op_count_2td37pGCOC(b)+op_count_DZ8iAZOCBD(op_DZ8iAZOCBD(24,a),op_2td37pGCOC(b))+op_count_DIvbN7qnHd(a)+op_count_tifHPKVTfV(b,a)+op_count_sdazOOVcIp(op_DIvbN7qnHd(a),op_tifHPKVTfV(b,a))+op_count_DZ8iAZOCBD(op_DZ8iAZOCBD(op_DZ8iAZOCBD(24,a),op_2td37pGCOC(b)),op_sdazOOVcIp(op_DIvbN7qnHd(a),op_tifHPKVTfV(b,a)))
    else:
        count = op_count_tifHPKVTfV(a,b)+op_count_glklzrTFfD(op_tifHPKVTfV(a,b))+op_count_12rbrZMWeM(22,a)+op_count_Ph9nP6C5qx(a,a)+op_count_eewbuw0ToL(op_12rbrZMWeM(22,a),op_Ph9nP6C5qx(a,a))+op_count_tifHPKVTfV(op_glklzrTFfD(op_tifHPKVTfV(a,b)),op_eewbuw0ToL(op_12rbrZMWeM(22,a),op_Ph9nP6C5qx(a,a)))
    return count


def op_bx9Z9DAK5y(a):
    return op_8w2t5hMYqp(op_QMFrweE19q(op_W4YGzv6Whe(a,259),op_BjRHVeLaeN(a)))

def op_count_bx9Z9DAK5y(a):
    count = op_count_W4YGzv6Whe(a,259)+op_count_BjRHVeLaeN(a)+op_count_QMFrweE19q(op_W4YGzv6Whe(a,259),op_BjRHVeLaeN(a))+op_count_8w2t5hMYqp(op_QMFrweE19q(op_W4YGzv6Whe(a,259),op_BjRHVeLaeN(a)))
    return count


a⩒⫫b = { (((195⪨≂263)⪨≂(b⇋≉))⨵⪆((82⫩⊇)⨁⊸⫻)) , if (a⫌⩹⨱)<47 ; (((b⇼⇔∾a)-(a⪨≂a))⩚⊴⇥((⨑⩽⪐a)⨰(b⨳⩥⨓a))) , else }

def op_KFSx94NKJn(a, b):
    if op_EBcxylXtPf(a) < 47:
        return op_2DQ55sFlQl(op_sdazOOVcIp(op_sdazOOVcIp(195,263),op_XIabStNQrY(b)),op_glklzrTFfD(op_BjRHVeLaeN(82)))
    else:
        return op_NTOWxs364D(op_rysDP5nf3Z(op_tifHPKVTfV(b,a),op_sdazOOVcIp(a,a)),op_eewbuw0ToL(op_AF7qkfDlqP(a),op_nCS4ZIUYfx(b,a)))

def op_count_KFSx94NKJn(a, b):
    if op_EBcxylXtPf(a) < 47:
        count = op_count_sdazOOVcIp(195,263)+op_count_XIabStNQrY(b)+op_count_sdazOOVcIp(op_sdazOOVcIp(195,263),op_XIabStNQrY(b))+op_count_BjRHVeLaeN(82)+op_count_glklzrTFfD(op_BjRHVeLaeN(82))+op_count_2DQ55sFlQl(op_sdazOOVcIp(op_sdazOOVcIp(195,263),op_XIabStNQrY(b)),op_glklzrTFfD(op_BjRHVeLaeN(82)))+op_count_EBcxylXtPf(a)
    else:
        count = op_count_tifHPKVTfV(b,a)+op_count_sdazOOVcIp(a,a)+op_count_rysDP5nf3Z(op_tifHPKVTfV(b,a),op_sdazOOVcIp(a,a))+op_count_AF7qkfDlqP(a)+op_count_nCS4ZIUYfx(b,a)+op_count_eewbuw0ToL(op_AF7qkfDlqP(a),op_nCS4ZIUYfx(b,a))+op_count_NTOWxs364D(op_rysDP5nf3Z(op_tifHPKVTfV(b,a),op_sdazOOVcIp(a,a)),op_eewbuw0ToL(op_AF7qkfDlqP(a),op_nCS4ZIUYfx(b,a)))
    return count


def op_uOZ1tnYMDE(a):
    return op_23Mk6UjR3U(op_12rbrZMWeM(a,20),op_12rbrZMWeM(a,17))

def op_count_uOZ1tnYMDE(a):
    count = op_count_12rbrZMWeM(a,20)+op_count_12rbrZMWeM(a,17)+op_count_23Mk6UjR3U(op_12rbrZMWeM(a,20),op_12rbrZMWeM(a,17))
    return count


def op_ljTHtUsqzn(a):
    return op_XPYlsWDdGa(op_23Mk6UjR3U(a,a))

def op_count_ljTHtUsqzn(a):
    count = op_count_23Mk6UjR3U(a,a)+op_count_XPYlsWDdGa(op_23Mk6UjR3U(a,a))
    return count


⊁⨺a = { (((⨞⊢a)⋷(3↺a))⨵⪆((⪲⇎a)-(≉a))) , if a>5 ; (((a↺a)⨳⩥⨓(⩦⩻⨪a))⨳⩥⨓((a∲⫓a)⫡⨏(≉a))) , else }

def op_PxiHyQbrIp(a):
    if a > 5:
        return op_2DQ55sFlQl(op_23Mk6UjR3U(op_xUOZtlo3hN(a),op_7j4O788W3g(3,a)),op_rysDP5nf3Z(op_XPYlsWDdGa(a),op_e1ybzncUwg(a)))
    else:
        return op_nCS4ZIUYfx(op_nCS4ZIUYfx(op_7j4O788W3g(a,a),op_2td37pGCOC(a)),op_QMFrweE19q(op_i8ToyICDmI(a,a),op_e1ybzncUwg(a)))

def op_count_PxiHyQbrIp(a):
    if a > 5:
        count = op_count_xUOZtlo3hN(a)+op_count_7j4O788W3g(3,a)+op_count_23Mk6UjR3U(op_xUOZtlo3hN(a),op_7j4O788W3g(3,a))+op_count_XPYlsWDdGa(a)+op_count_e1ybzncUwg(a)+op_count_rysDP5nf3Z(op_XPYlsWDdGa(a),op_e1ybzncUwg(a))+op_count_2DQ55sFlQl(op_23Mk6UjR3U(op_xUOZtlo3hN(a),op_7j4O788W3g(3,a)),op_rysDP5nf3Z(op_XPYlsWDdGa(a),op_e1ybzncUwg(a)))
    else:
        count = op_count_7j4O788W3g(a,a)+op_count_2td37pGCOC(a)+op_count_nCS4ZIUYfx(op_7j4O788W3g(a,a),op_2td37pGCOC(a))+op_count_i8ToyICDmI(a,a)+op_count_e1ybzncUwg(a)+op_count_QMFrweE19q(op_i8ToyICDmI(a,a),op_e1ybzncUwg(a))+op_count_nCS4ZIUYfx(op_nCS4ZIUYfx(op_7j4O788W3g(a,a),op_2td37pGCOC(a)),op_QMFrweE19q(op_i8ToyICDmI(a,a),op_e1ybzncUwg(a)))
    return count


a⊝⪿⪼b = { ((⊄⩳↩(480⩚⊴⇥a))⫡⨏((a⨰b)⋥≓≎(-b))) }

def op_3Oe9XWJUTD(a, b):
    return op_QMFrweE19q(op_8w2t5hMYqp(op_NTOWxs364D(480,a)),op_Qy55tPpLXF(op_eewbuw0ToL(a,b),op_t8gj7n24qd(b)))

def op_count_3Oe9XWJUTD(a, b):
    count = op_count_NTOWxs364D(480,a)+op_count_8w2t5hMYqp(op_NTOWxs364D(480,a))+op_count_eewbuw0ToL(a,b)+op_count_t8gj7n24qd(b)+op_count_Qy55tPpLXF(op_eewbuw0ToL(a,b),op_t8gj7n24qd(b))+op_count_QMFrweE19q(op_8w2t5hMYqp(op_NTOWxs364D(480,a)),op_Qy55tPpLXF(op_eewbuw0ToL(a,b),op_t8gj7n24qd(b)))
    return count


a≚⊃≕b = { (-((⊄⩳↩b)⪨≂(a⩷∴b))) , if ((b⫡⨏524)<690 or (⨞⊢a)>=395) ; ((⊄⩳↩(b⋥≓≎a))⋥≓≎((a↺a)⪨≂(479⨸⪁a))) , else }

def op_Bmrmz2XGnR(a, b):
    if (op_QMFrweE19q(b,524) < 690 or op_xUOZtlo3hN(a) >= 395):
        return op_t8gj7n24qd(op_sdazOOVcIp(op_8w2t5hMYqp(b),op_9FxExcQeMw(a,b)))
    else:
        return op_Qy55tPpLXF(op_8w2t5hMYqp(op_Qy55tPpLXF(b,a)),op_sdazOOVcIp(op_7j4O788W3g(a,a),op_g55IO6H4Gj(479,a)))

def op_count_Bmrmz2XGnR(a, b):
    if (op_QMFrweE19q(b,524) < 690 or op_xUOZtlo3hN(a) >= 395):
        count = op_count_8w2t5hMYqp(b)+op_count_9FxExcQeMw(a,b)+op_count_sdazOOVcIp(op_8w2t5hMYqp(b),op_9FxExcQeMw(a,b))+op_count_t8gj7n24qd(op_sdazOOVcIp(op_8w2t5hMYqp(b),op_9FxExcQeMw(a,b)))+op_count_QMFrweE19q(b,524)+op_count_xUOZtlo3hN(a)
    else:
        count = op_count_Qy55tPpLXF(b,a)+op_count_8w2t5hMYqp(op_Qy55tPpLXF(b,a))+op_count_7j4O788W3g(a,a)+op_count_g55IO6H4Gj(479,a)+op_count_sdazOOVcIp(op_7j4O788W3g(a,a),op_g55IO6H4Gj(479,a))+op_count_Qy55tPpLXF(op_8w2t5hMYqp(op_Qy55tPpLXF(b,a)),op_sdazOOVcIp(op_7j4O788W3g(a,a),op_g55IO6H4Gj(479,a)))
    return count


def op_bQ67fsrMVf(a):
    return op_tifHPKVTfV(209,a)

def op_count_bQ67fsrMVf(a):
    count = op_count_tifHPKVTfV(209,a)
    return count


a⊲⩕⊾b = { (((a⊉≛↸b)⊭↱(⨑⩽⪐b))⫡⨏((a⫩⊇)⋷(a⊉≛↸b))) }

def op_DmTXOeWf9t(a, b):
    return op_QMFrweE19q(op_COABgblf1C(op_DZ8iAZOCBD(a,b),op_AF7qkfDlqP(b)),op_23Mk6UjR3U(op_BjRHVeLaeN(a),op_DZ8iAZOCBD(a,b)))

def op_count_DmTXOeWf9t(a, b):
    count = op_count_DZ8iAZOCBD(a,b)+op_count_AF7qkfDlqP(b)+op_count_COABgblf1C(op_DZ8iAZOCBD(a,b),op_AF7qkfDlqP(b))+op_count_BjRHVeLaeN(a)+op_count_DZ8iAZOCBD(a,b)+op_count_23Mk6UjR3U(op_BjRHVeLaeN(a),op_DZ8iAZOCBD(a,b))+op_count_QMFrweE19q(op_COABgblf1C(op_DZ8iAZOCBD(a,b),op_AF7qkfDlqP(b)),op_23Mk6UjR3U(op_BjRHVeLaeN(a),op_DZ8iAZOCBD(a,b)))
    return count


def op_dwb5p0fa6d(a):
    if op_sdazOOVcIp(a,940) != 203:
        return op_COABgblf1C(a,340)
    else:
        return op_COABgblf1C(a,a)

def op_count_dwb5p0fa6d(a):
    if op_sdazOOVcIp(a,940) != 203:
        count = op_count_COABgblf1C(a,340)+op_count_sdazOOVcIp(a,940)
    else:
        count = op_count_COABgblf1C(a,a)
    return count


def op_6o9Blt3TJ6(a, b):
    return op_nCS4ZIUYfx(op_W4YGzv6Whe(a,b),op_Qy55tPpLXF(b,b))

def op_count_6o9Blt3TJ6(a, b):
    count = op_count_W4YGzv6Whe(a,b)+op_count_Qy55tPpLXF(b,b)+op_count_nCS4ZIUYfx(op_W4YGzv6Whe(a,b),op_Qy55tPpLXF(b,b))
    return count


def op_Y7wcNGrDQJ(a, b):
    return op_NTOWxs364D(op_tifHPKVTfV(b,a),op_glklzrTFfD(a))

def op_count_Y7wcNGrDQJ(a, b):
    count = op_count_tifHPKVTfV(b,a)+op_count_glklzrTFfD(a)+op_count_NTOWxs364D(op_tifHPKVTfV(b,a),op_glklzrTFfD(a))
    return count


def op_U6pG0PXrV3(a):
    return op_i8ToyICDmI(op_nCS4ZIUYfx(op_tifHPKVTfV(a,a),op_D4vGDi5EA2(a)),a)

def op_count_U6pG0PXrV3(a):
    count = op_count_tifHPKVTfV(a,a)+op_count_D4vGDi5EA2(a)+op_count_nCS4ZIUYfx(op_tifHPKVTfV(a,a),op_D4vGDi5EA2(a))+op_count_i8ToyICDmI(op_nCS4ZIUYfx(op_tifHPKVTfV(a,a),op_D4vGDi5EA2(a)),a)
    return count


def op_ZNVVrZ94lY(a):
    return op_sdazOOVcIp(op_2DQ55sFlQl(a,a),op_tifHPKVTfV(a,a))

def op_count_ZNVVrZ94lY(a):
    count = op_count_2DQ55sFlQl(a,a)+op_count_tifHPKVTfV(a,a)+op_count_sdazOOVcIp(op_2DQ55sFlQl(a,a),op_tifHPKVTfV(a,a))
    return count


a⩇∃⫛b = { (((b⊉≛↸a)⩤)⨰((362⩷∴b)⋥≓≎(↽≂a))) , if (a⊦⊿)>7 and b<=506 and (-a)==737 ; (((b⩤)⪒(b≧⫂∧a))⋝⋈⪟((a⨵⪆a)-(≉a))) , else }

def op_1aApVXNlOP(a, b):
    if op_14qkJME0vr(a) > 7 and b <= 506 and op_t8gj7n24qd(a) == 737:
        return op_eewbuw0ToL(op_Z2TMIBDE3Q(op_DZ8iAZOCBD(b,a)),op_Qy55tPpLXF(op_9FxExcQeMw(362,b),op_u6S6b8DprG(a)))
    else:
        return op_2DDjHMKMc0(op_f6k1SAg4EE(op_Z2TMIBDE3Q(b),op_Ph9nP6C5qx(b,a)),op_rysDP5nf3Z(op_2DQ55sFlQl(a,a),op_e1ybzncUwg(a)))

def op_count_1aApVXNlOP(a, b):
    if op_14qkJME0vr(a) > 7 and b <= 506 and op_t8gj7n24qd(a) == 737:
        count = op_count_DZ8iAZOCBD(b,a)+op_count_Z2TMIBDE3Q(op_DZ8iAZOCBD(b,a))+op_count_9FxExcQeMw(362,b)+op_count_u6S6b8DprG(a)+op_count_Qy55tPpLXF(op_9FxExcQeMw(362,b),op_u6S6b8DprG(a))+op_count_eewbuw0ToL(op_Z2TMIBDE3Q(op_DZ8iAZOCBD(b,a)),op_Qy55tPpLXF(op_9FxExcQeMw(362,b),op_u6S6b8DprG(a)))+op_count_14qkJME0vr(a)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_Z2TMIBDE3Q(b)+op_count_Ph9nP6C5qx(b,a)+op_count_f6k1SAg4EE(op_Z2TMIBDE3Q(b),op_Ph9nP6C5qx(b,a))+op_count_2DQ55sFlQl(a,a)+op_count_e1ybzncUwg(a)+op_count_rysDP5nf3Z(op_2DQ55sFlQl(a,a),op_e1ybzncUwg(a))+op_count_2DDjHMKMc0(op_f6k1SAg4EE(op_Z2TMIBDE3Q(b),op_Ph9nP6C5qx(b,a)),op_rysDP5nf3Z(op_2DQ55sFlQl(a,a),op_e1ybzncUwg(a)))
    return count


a⊨b = { (⨞⊢(b⪠⩆⊳)) , if a<=416 ; (⨑⩽⪐(a⩚⊴⇥a)) , else }

def op_vg4gO5BX6G(a, b):
    if a <= 416:
        return op_xUOZtlo3hN(op_JLbD19bQDL(b))
    else:
        return op_AF7qkfDlqP(op_NTOWxs364D(a,a))

def op_count_vg4gO5BX6G(a, b):
    if a <= 416:
        count = op_count_JLbD19bQDL(b)+op_count_xUOZtlo3hN(op_JLbD19bQDL(b))
    else:
        count = op_count_NTOWxs364D(a,a)+op_count_AF7qkfDlqP(op_NTOWxs364D(a,a))
    return count


def op_t4WUHVGj7f(a):
    return op_xUOZtlo3hN(op_NTOWxs364D(op_g55IO6H4Gj(a,147),op_2DDjHMKMc0(a,a)))

def op_count_t4WUHVGj7f(a):
    count = op_count_g55IO6H4Gj(a,147)+op_count_2DDjHMKMc0(a,a)+op_count_NTOWxs364D(op_g55IO6H4Gj(a,147),op_2DDjHMKMc0(a,a))+op_count_xUOZtlo3hN(op_NTOWxs364D(op_g55IO6H4Gj(a,147),op_2DDjHMKMc0(a,a)))
    return count


def op_MXaNJeIAZ3(a):
    return op_7j4O788W3g(op_sdazOOVcIp(op_nCS4ZIUYfx(772,159),op_23Mk6UjR3U(a,a)),op_8w2t5hMYqp(op_DpFCA1CohY(a)))

def op_count_MXaNJeIAZ3(a):
    count = op_count_nCS4ZIUYfx(772,159)+op_count_23Mk6UjR3U(a,a)+op_count_sdazOOVcIp(op_nCS4ZIUYfx(772,159),op_23Mk6UjR3U(a,a))+op_count_DpFCA1CohY(a)+op_count_8w2t5hMYqp(op_DpFCA1CohY(a))+op_count_7j4O788W3g(op_sdazOOVcIp(op_nCS4ZIUYfx(772,159),op_23Mk6UjR3U(a,a)),op_8w2t5hMYqp(op_DpFCA1CohY(a)))
    return count


def op_86A5ENbKR9(a):
    return op_23Mk6UjR3U(op_tifHPKVTfV(op_sdazOOVcIp(220,51),op_QMFrweE19q(a,303)),op_Qy55tPpLXF(op_g55IO6H4Gj(a,a),op_AF7qkfDlqP(a)))

def op_count_86A5ENbKR9(a):
    count = op_count_sdazOOVcIp(220,51)+op_count_QMFrweE19q(a,303)+op_count_tifHPKVTfV(op_sdazOOVcIp(220,51),op_QMFrweE19q(a,303))+op_count_g55IO6H4Gj(a,a)+op_count_AF7qkfDlqP(a)+op_count_Qy55tPpLXF(op_g55IO6H4Gj(a,a),op_AF7qkfDlqP(a))+op_count_23Mk6UjR3U(op_tifHPKVTfV(op_sdazOOVcIp(220,51),op_QMFrweE19q(a,303)),op_Qy55tPpLXF(op_g55IO6H4Gj(a,a),op_AF7qkfDlqP(a)))
    return count


def op_VwlE7vj6HS(a):
    if op_23Mk6UjR3U(a,221) != 277:
        return op_g55IO6H4Gj(op_2DDjHMKMc0(op_t8gj7n24qd(a),op_nCS4ZIUYfx(a,a)),op_tifHPKVTfV(op_glklzrTFfD(a),op_W4YGzv6Whe(a,a)))
    else:
        return op_tifHPKVTfV(op_glklzrTFfD(op_eH2TOUuTDT(300)),op_Ph9nP6C5qx(a,op_Ph9nP6C5qx(26,87)))

def op_count_VwlE7vj6HS(a):
    if op_23Mk6UjR3U(a,221) != 277:
        count = op_count_t8gj7n24qd(a)+op_count_nCS4ZIUYfx(a,a)+op_count_2DDjHMKMc0(op_t8gj7n24qd(a),op_nCS4ZIUYfx(a,a))+op_count_glklzrTFfD(a)+op_count_W4YGzv6Whe(a,a)+op_count_tifHPKVTfV(op_glklzrTFfD(a),op_W4YGzv6Whe(a,a))+op_count_g55IO6H4Gj(op_2DDjHMKMc0(op_t8gj7n24qd(a),op_nCS4ZIUYfx(a,a)),op_tifHPKVTfV(op_glklzrTFfD(a),op_W4YGzv6Whe(a,a)))+op_count_23Mk6UjR3U(a,221)
    else:
        count = op_count_eH2TOUuTDT(300)+op_count_glklzrTFfD(op_eH2TOUuTDT(300))+op_count_Ph9nP6C5qx(26,87)+op_count_Ph9nP6C5qx(a,op_Ph9nP6C5qx(26,87))+op_count_tifHPKVTfV(op_glklzrTFfD(op_eH2TOUuTDT(300)),op_Ph9nP6C5qx(a,op_Ph9nP6C5qx(26,87)))
    return count


↸⊣a = { ((⊄⩳↩a)↺(a≋⫹)) , if (⪲⇎a)<33 ; ((a⪒a)⊉≛↸(a⋳⪒a)) , else }

def op_wztAlM01eG(a):
    if op_XPYlsWDdGa(a) < 33:
        return op_7j4O788W3g(op_8w2t5hMYqp(a),op_N41Kp7NANJ(a))
    else:
        return op_DZ8iAZOCBD(op_f6k1SAg4EE(a,a),op_12rbrZMWeM(a,a))

def op_count_wztAlM01eG(a):
    if op_XPYlsWDdGa(a) < 33:
        count = op_count_8w2t5hMYqp(a)+op_count_N41Kp7NANJ(a)+op_count_7j4O788W3g(op_8w2t5hMYqp(a),op_N41Kp7NANJ(a))+op_count_XPYlsWDdGa(a)
    else:
        count = op_count_f6k1SAg4EE(a,a)+op_count_12rbrZMWeM(a,a)+op_count_DZ8iAZOCBD(op_f6k1SAg4EE(a,a),op_12rbrZMWeM(a,a))
    return count


def op_8cLx32lpNA(a, b):
    if op_N41Kp7NANJ(a) >= 60:
        return op_7j4O788W3g(248,a)
    else:
        return op_t8gj7n24qd(b)

def op_count_8cLx32lpNA(a, b):
    if op_N41Kp7NANJ(a) >= 60:
        count = op_count_7j4O788W3g(248,a)+op_count_N41Kp7NANJ(a)
    else:
        count = op_count_t8gj7n24qd(b)
    return count


a⪭b = { (⨞⊢a) , if a<649 ; (b⊭↱b) , else }

def op_j9kHMeSvPp(a, b):
    if a < 649:
        return op_xUOZtlo3hN(a)
    else:
        return op_COABgblf1C(b,b)

def op_count_j9kHMeSvPp(a, b):
    if a < 649:
        count = op_count_xUOZtlo3hN(a)
    else:
        count = op_count_COABgblf1C(b,b)
    return count


def op_rXAclfmB4M(a):
    return op_sdazOOVcIp(a,700)

def op_count_rXAclfmB4M(a):
    count = op_count_sdazOOVcIp(a,700)
    return count


a→⨶⪴b = { (a⩷∴b) , if b<109 ; (⊄⩳↩b) , else }

def op_bF6eod5Gvf(a, b):
    if b < 109:
        return op_9FxExcQeMw(a,b)
    else:
        return op_8w2t5hMYqp(b)

def op_count_bF6eod5Gvf(a, b):
    if b < 109:
        count = op_count_9FxExcQeMw(a,b)
    else:
        count = op_count_8w2t5hMYqp(b)
    return count


def op_s3Fd5m9Dh2(a, b):
    return op_nCS4ZIUYfx(op_23Mk6UjR3U(a,528),op_g55IO6H4Gj(b,b))

def op_count_s3Fd5m9Dh2(a, b):
    count = op_count_23Mk6UjR3U(a,528)+op_count_g55IO6H4Gj(b,b)+op_count_nCS4ZIUYfx(op_23Mk6UjR3U(a,528),op_g55IO6H4Gj(b,b))
    return count


def op_YSKBFp38Pu(a, b):
    return op_QMFrweE19q(op_tifHPKVTfV(op_rysDP5nf3Z(b,523),op_xUOZtlo3hN(a)),op_2DQ55sFlQl(op_XPYlsWDdGa(a),op_2DDjHMKMc0(336,a)))

def op_count_YSKBFp38Pu(a, b):
    count = op_count_rysDP5nf3Z(b,523)+op_count_xUOZtlo3hN(a)+op_count_tifHPKVTfV(op_rysDP5nf3Z(b,523),op_xUOZtlo3hN(a))+op_count_XPYlsWDdGa(a)+op_count_2DDjHMKMc0(336,a)+op_count_2DQ55sFlQl(op_XPYlsWDdGa(a),op_2DDjHMKMc0(336,a))+op_count_QMFrweE19q(op_tifHPKVTfV(op_rysDP5nf3Z(b,523),op_xUOZtlo3hN(a)),op_2DQ55sFlQl(op_XPYlsWDdGa(a),op_2DDjHMKMc0(336,a)))
    return count


a⇯⋐ = { (((a↺a)⊉≛↸(∥⊫a))⨰((17⫡⨏a)⇼⇔∾a)) }

def op_LkLIoiE525(a):
    return op_eewbuw0ToL(op_DZ8iAZOCBD(op_7j4O788W3g(a,a),op_P8v4zCKN1o(a)),op_tifHPKVTfV(op_QMFrweE19q(17,a),a))

def op_count_LkLIoiE525(a):
    count = op_count_7j4O788W3g(a,a)+op_count_P8v4zCKN1o(a)+op_count_DZ8iAZOCBD(op_7j4O788W3g(a,a),op_P8v4zCKN1o(a))+op_count_QMFrweE19q(17,a)+op_count_tifHPKVTfV(op_QMFrweE19q(17,a),a)+op_count_eewbuw0ToL(op_DZ8iAZOCBD(op_7j4O788W3g(a,a),op_P8v4zCKN1o(a)),op_tifHPKVTfV(op_QMFrweE19q(17,a),a))
    return count


def op_OKKcZfAt5B(a, b):
    return op_12rbrZMWeM(op_12rbrZMWeM(82,b),a)

def op_count_OKKcZfAt5B(a, b):
    count = op_count_12rbrZMWeM(82,b)+op_count_12rbrZMWeM(op_12rbrZMWeM(82,b),a)
    return count


def op_USyYr0JgAa(a):
    return op_tifHPKVTfV(a,180)

def op_count_USyYr0JgAa(a):
    count = op_count_tifHPKVTfV(a,180)
    return count


a∠⫱b = { ((⨑⩽⪐a)↺(617⊉≛↸a)) , if (≤/b)<=3 ; (b⇼⇔∾a) , else }

def op_QvoQhV0rrE(a, b):
    if op_eLAdDNolq6(b) <= 3:
        return op_7j4O788W3g(op_AF7qkfDlqP(a),op_DZ8iAZOCBD(617,a))
    else:
        return op_tifHPKVTfV(b,a)

def op_count_QvoQhV0rrE(a, b):
    if op_eLAdDNolq6(b) <= 3:
        count = op_count_AF7qkfDlqP(a)+op_count_DZ8iAZOCBD(617,a)+op_count_7j4O788W3g(op_AF7qkfDlqP(a),op_DZ8iAZOCBD(617,a))+op_count_eLAdDNolq6(b)
    else:
        count = op_count_tifHPKVTfV(b,a)
    return count


def op_ztP7wcbY7m(a):
    if (op_XPYlsWDdGa(a) > 320 or op_f6k1SAg4EE(a,777) > 25 or a != 39):
        return op_rysDP5nf3Z(op_8w2t5hMYqp(250),op_14qkJME0vr(a))
    else:
        return a

def op_count_ztP7wcbY7m(a):
    if (op_XPYlsWDdGa(a) > 320 or op_f6k1SAg4EE(a,777) > 25 or a != 39):
        count = op_count_8w2t5hMYqp(250)+op_count_14qkJME0vr(a)+op_count_rysDP5nf3Z(op_8w2t5hMYqp(250),op_14qkJME0vr(a))+op_count_XPYlsWDdGa(a)+op_count_f6k1SAg4EE(a,777)
    else:
        count = 1
    return count


a⩼⇪↪b = { ((a⪐)-(b⫡⨏b)) , if (a⫩⊇)!=96 ; (148⨵⪆(a⩷∴b)) , else }

def op_ocnLzx9CaJ(a, b):
    if op_BjRHVeLaeN(a) != 96:
        return op_rysDP5nf3Z(op_eH2TOUuTDT(a),op_QMFrweE19q(b,b))
    else:
        return op_2DQ55sFlQl(148,op_9FxExcQeMw(a,b))

def op_count_ocnLzx9CaJ(a, b):
    if op_BjRHVeLaeN(a) != 96:
        count = op_count_eH2TOUuTDT(a)+op_count_QMFrweE19q(b,b)+op_count_rysDP5nf3Z(op_eH2TOUuTDT(a),op_QMFrweE19q(b,b))+op_count_BjRHVeLaeN(a)
    else:
        count = op_count_9FxExcQeMw(a,b)+op_count_2DQ55sFlQl(148,op_9FxExcQeMw(a,b))
    return count


def op_7qqUquhhSb(a):
    return op_7j4O788W3g(331,a)

def op_count_7qqUquhhSb(a):
    count = op_count_7j4O788W3g(331,a)
    return count


def op_D3AQDKkPcf(a, b):
    if op_9FxExcQeMw(b,24) <= 112:
        return op_NTOWxs364D(a,673)
    else:
        return op_7j4O788W3g(a,b)

def op_count_D3AQDKkPcf(a, b):
    if op_9FxExcQeMw(b,24) <= 112:
        count = op_count_NTOWxs364D(a,673)+op_count_9FxExcQeMw(b,24)
    else:
        count = op_count_7j4O788W3g(a,b)
    return count


def op_3nqY3DE9mg(a):
    return op_8w2t5hMYqp(op_AF7qkfDlqP(op_12rbrZMWeM(a,a)))

def op_count_3nqY3DE9mg(a):
    count = op_count_12rbrZMWeM(a,a)+op_count_AF7qkfDlqP(op_12rbrZMWeM(a,a))+op_count_8w2t5hMYqp(op_AF7qkfDlqP(op_12rbrZMWeM(a,a)))
    return count


def op_4JB6nKBMSY(a, b):
    return op_sdazOOVcIp(op_COABgblf1C(185,a),op_NTOWxs364D(b,a))

def op_count_4JB6nKBMSY(a, b):
    count = op_count_COABgblf1C(185,a)+op_count_NTOWxs364D(b,a)+op_count_sdazOOVcIp(op_COABgblf1C(185,a),op_NTOWxs364D(b,a))
    return count


def op_cWQsF5MvuD(a):
    return op_8w2t5hMYqp(op_2DQ55sFlQl(op_i8ToyICDmI(a,a),op_QMFrweE19q(a,a)))

def op_count_cWQsF5MvuD(a):
    count = op_count_i8ToyICDmI(a,a)+op_count_QMFrweE19q(a,a)+op_count_2DQ55sFlQl(op_i8ToyICDmI(a,a),op_QMFrweE19q(a,a))+op_count_8w2t5hMYqp(op_2DQ55sFlQl(op_i8ToyICDmI(a,a),op_QMFrweE19q(a,a)))
    return count


def op_KbjG8mgYpV(a, b):
    if (b == 488 or op_xUOZtlo3hN(a) == 254):
        return op_COABgblf1C(a,op_rysDP5nf3Z(op_nCS4ZIUYfx(159,16),op_g55IO6H4Gj(b,a)))
    else:
        return op_XPYlsWDdGa(op_QMFrweE19q(op_t8gj7n24qd(b),op_NTOWxs364D(b,a)))

def op_count_KbjG8mgYpV(a, b):
    if (b == 488 or op_xUOZtlo3hN(a) == 254):
        count = op_count_nCS4ZIUYfx(159,16)+op_count_g55IO6H4Gj(b,a)+op_count_rysDP5nf3Z(op_nCS4ZIUYfx(159,16),op_g55IO6H4Gj(b,a))+op_count_COABgblf1C(a,op_rysDP5nf3Z(op_nCS4ZIUYfx(159,16),op_g55IO6H4Gj(b,a)))+op_count_xUOZtlo3hN(a)
    else:
        count = op_count_t8gj7n24qd(b)+op_count_NTOWxs364D(b,a)+op_count_QMFrweE19q(op_t8gj7n24qd(b),op_NTOWxs364D(b,a))+op_count_XPYlsWDdGa(op_QMFrweE19q(op_t8gj7n24qd(b),op_NTOWxs364D(b,a)))
    return count


a∵≐ = { ((a⊉≛↸31)⋳⪒(101+a)) , if a<=828 ; ((⊄⩳↩a)≧⫂∧(a≧⫂∧a)) , else }

def op_59igzFyhWz(a):
    if a <= 828:
        return op_12rbrZMWeM(op_DZ8iAZOCBD(a,31),op_W4YGzv6Whe(101,a))
    else:
        return op_Ph9nP6C5qx(op_8w2t5hMYqp(a),op_Ph9nP6C5qx(a,a))

def op_count_59igzFyhWz(a):
    if a <= 828:
        count = op_count_DZ8iAZOCBD(a,31)+op_count_W4YGzv6Whe(101,a)+op_count_12rbrZMWeM(op_DZ8iAZOCBD(a,31),op_W4YGzv6Whe(101,a))
    else:
        count = op_count_8w2t5hMYqp(a)+op_count_Ph9nP6C5qx(a,a)+op_count_Ph9nP6C5qx(op_8w2t5hMYqp(a),op_Ph9nP6C5qx(a,a))
    return count


def op_fv3ZujxkQL(a):
    return op_NTOWxs364D(a,a)

def op_count_fv3ZujxkQL(a):
    count = op_count_NTOWxs364D(a,a)
    return count


def op_fOIeswaMU4(a):
    return op_8w2t5hMYqp(op_W4YGzv6Whe(op_12rbrZMWeM(a,a),op_Qy55tPpLXF(155,a)))

def op_count_fOIeswaMU4(a):
    count = op_count_12rbrZMWeM(a,a)+op_count_Qy55tPpLXF(155,a)+op_count_W4YGzv6Whe(op_12rbrZMWeM(a,a),op_Qy55tPpLXF(155,a))+op_count_8w2t5hMYqp(op_W4YGzv6Whe(op_12rbrZMWeM(a,a),op_Qy55tPpLXF(155,a)))
    return count


⋼∭⪍a = { (≉((a∲⫓a)⪨≂(a⪒a))) , if (↽≂a)>481 ; (↽≂((↽≂435)≧⫂∧(↽≂a))) , else }

def op_DbCuESL50I(a):
    if op_u6S6b8DprG(a) > 481:
        return op_e1ybzncUwg(op_sdazOOVcIp(op_i8ToyICDmI(a,a),op_f6k1SAg4EE(a,a)))
    else:
        return op_u6S6b8DprG(op_Ph9nP6C5qx(op_u6S6b8DprG(435),op_u6S6b8DprG(a)))

def op_count_DbCuESL50I(a):
    if op_u6S6b8DprG(a) > 481:
        count = op_count_i8ToyICDmI(a,a)+op_count_f6k1SAg4EE(a,a)+op_count_sdazOOVcIp(op_i8ToyICDmI(a,a),op_f6k1SAg4EE(a,a))+op_count_e1ybzncUwg(op_sdazOOVcIp(op_i8ToyICDmI(a,a),op_f6k1SAg4EE(a,a)))+op_count_u6S6b8DprG(a)
    else:
        count = op_count_u6S6b8DprG(435)+op_count_u6S6b8DprG(a)+op_count_Ph9nP6C5qx(op_u6S6b8DprG(435),op_u6S6b8DprG(a))+op_count_u6S6b8DprG(op_Ph9nP6C5qx(op_u6S6b8DprG(435),op_u6S6b8DprG(a)))
    return count


def op_pB6Fcnrjim(a):
    if op_2td37pGCOC(a) > 538:
        return op_DIvbN7qnHd(633)
    else:
        return op_rysDP5nf3Z(a,a)

def op_count_pB6Fcnrjim(a):
    if op_2td37pGCOC(a) > 538:
        count = op_count_DIvbN7qnHd(633)+op_count_2td37pGCOC(a)
    else:
        count = op_count_rysDP5nf3Z(a,a)
    return count


def op_bPywburJMS(a, b):
    if op_P8v4zCKN1o(b) == 149:
        return op_t8gj7n24qd(a)
    else:
        return op_9FxExcQeMw(b,95)

def op_count_bPywburJMS(a, b):
    if op_P8v4zCKN1o(b) == 149:
        count = op_count_t8gj7n24qd(a)+op_count_P8v4zCKN1o(b)
    else:
        count = op_count_9FxExcQeMw(b,95)
    return count


a⨐b = { (↽≂a) , if (a⨵⪆301)>43 ; (b⫡⨏a) , else }

def op_Noe24qw2ks(a, b):
    if op_2DQ55sFlQl(a,301) > 43:
        return op_u6S6b8DprG(a)
    else:
        return op_QMFrweE19q(b,a)

def op_count_Noe24qw2ks(a, b):
    if op_2DQ55sFlQl(a,301) > 43:
        count = op_count_u6S6b8DprG(a)+op_count_2DQ55sFlQl(a,301)
    else:
        count = op_count_QMFrweE19q(b,a)
    return count


def op_0kmYd0q39Y(a, b):
    return op_DZ8iAZOCBD(a,op_QMFrweE19q(op_N41Kp7NANJ(a),op_g55IO6H4Gj(b,45)))

def op_count_0kmYd0q39Y(a, b):
    count = op_count_N41Kp7NANJ(a)+op_count_g55IO6H4Gj(b,45)+op_count_QMFrweE19q(op_N41Kp7NANJ(a),op_g55IO6H4Gj(b,45))+op_count_DZ8iAZOCBD(a,op_QMFrweE19q(op_N41Kp7NANJ(a),op_g55IO6H4Gj(b,45)))
    return count


def op_k7HXdKtiEU(a):
    return op_xUOZtlo3hN(op_i8ToyICDmI(a,0))

def op_count_k7HXdKtiEU(a):
    count = op_count_i8ToyICDmI(a,0)+op_count_xUOZtlo3hN(op_i8ToyICDmI(a,0))
    return count


⊈a = { (a⋳⪒a) , if a==61 ; (⨞⊢a) , else }

def op_RHru8klgy8(a):
    if a == 61:
        return op_12rbrZMWeM(a,a)
    else:
        return op_xUOZtlo3hN(a)

def op_count_RHru8klgy8(a):
    if a == 61:
        count = op_count_12rbrZMWeM(a,a)
    else:
        count = op_count_xUOZtlo3hN(a)
    return count


def op_tfWHHpNKUN(a):
    return op_2DQ55sFlQl(221,a)

def op_count_tfWHHpNKUN(a):
    count = op_count_2DQ55sFlQl(221,a)
    return count


def op_YjI8oCXuph(a):
    if a > 62:
        return op_N41Kp7NANJ(op_23Mk6UjR3U(op_Qy55tPpLXF(a,a),op_12rbrZMWeM(a,a)))
    else:
        return op_rysDP5nf3Z(a,op_f6k1SAg4EE(op_2DQ55sFlQl(a,101),op_i8ToyICDmI(786,a)))

def op_count_YjI8oCXuph(a):
    if a > 62:
        count = op_count_Qy55tPpLXF(a,a)+op_count_12rbrZMWeM(a,a)+op_count_23Mk6UjR3U(op_Qy55tPpLXF(a,a),op_12rbrZMWeM(a,a))+op_count_N41Kp7NANJ(op_23Mk6UjR3U(op_Qy55tPpLXF(a,a),op_12rbrZMWeM(a,a)))
    else:
        count = op_count_2DQ55sFlQl(a,101)+op_count_i8ToyICDmI(786,a)+op_count_f6k1SAg4EE(op_2DQ55sFlQl(a,101),op_i8ToyICDmI(786,a))+op_count_rysDP5nf3Z(a,op_f6k1SAg4EE(op_2DQ55sFlQl(a,101),op_i8ToyICDmI(786,a)))
    return count


def op_QiR2Oyf5Xj(a):
    return op_7j4O788W3g(71,a)

def op_count_QiR2Oyf5Xj(a):
    count = op_count_7j4O788W3g(71,a)
    return count


a⇞ = { (a≧⫂∧((a⩷∴a)⨸⪁(a-a))) , if a<7 ; ((⨞⊢(a∲⫓a))⫡⨏(a⊉≛↸(a⇼⇔∾a))) , else }

def op_5JYyxRJd4f(a):
    if a < 7:
        return op_Ph9nP6C5qx(a,op_g55IO6H4Gj(op_9FxExcQeMw(a,a),op_rysDP5nf3Z(a,a)))
    else:
        return op_QMFrweE19q(op_xUOZtlo3hN(op_i8ToyICDmI(a,a)),op_DZ8iAZOCBD(a,op_tifHPKVTfV(a,a)))

def op_count_5JYyxRJd4f(a):
    if a < 7:
        count = op_count_9FxExcQeMw(a,a)+op_count_rysDP5nf3Z(a,a)+op_count_g55IO6H4Gj(op_9FxExcQeMw(a,a),op_rysDP5nf3Z(a,a))+op_count_Ph9nP6C5qx(a,op_g55IO6H4Gj(op_9FxExcQeMw(a,a),op_rysDP5nf3Z(a,a)))
    else:
        count = op_count_i8ToyICDmI(a,a)+op_count_xUOZtlo3hN(op_i8ToyICDmI(a,a))+op_count_tifHPKVTfV(a,a)+op_count_DZ8iAZOCBD(a,op_tifHPKVTfV(a,a))+op_count_QMFrweE19q(op_xUOZtlo3hN(op_i8ToyICDmI(a,a)),op_DZ8iAZOCBD(a,op_tifHPKVTfV(a,a)))
    return count


def op_61wBmkZwlr(a):
    return op_7j4O788W3g(a,a)

def op_count_61wBmkZwlr(a):
    count = op_count_7j4O788W3g(a,a)
    return count


a⪣⫩ = { ((a⋥≓≎a)⋷(a+a)) , if a>=275 ; ((a∲⫓a)≧⫂∧(⪲⇎693)) , else }

def op_iuk5sVOGFA(a):
    if a >= 275:
        return op_23Mk6UjR3U(op_Qy55tPpLXF(a,a),op_W4YGzv6Whe(a,a))
    else:
        return op_Ph9nP6C5qx(op_i8ToyICDmI(a,a),op_XPYlsWDdGa(693))

def op_count_iuk5sVOGFA(a):
    if a >= 275:
        count = op_count_Qy55tPpLXF(a,a)+op_count_W4YGzv6Whe(a,a)+op_count_23Mk6UjR3U(op_Qy55tPpLXF(a,a),op_W4YGzv6Whe(a,a))
    else:
        count = op_count_i8ToyICDmI(a,a)+op_count_XPYlsWDdGa(693)+op_count_Ph9nP6C5qx(op_i8ToyICDmI(a,a),op_XPYlsWDdGa(693))
    return count


a⩹b = { (b-((b⨳⩥⨓b)⨸⪁(1⋝⋈⪟b))) , if (b⇋≉)!=246 ; (((a⇋≉)⨰(a⋷a))⋳⪒((a⩚⊴⇥a)⨳⩥⨓(a≧⫂∧a))) , else }

def op_2Wsdkap16l(a, b):
    if op_XIabStNQrY(b) != 246:
        return op_rysDP5nf3Z(b,op_g55IO6H4Gj(op_nCS4ZIUYfx(b,b),op_2DDjHMKMc0(1,b)))
    else:
        return op_12rbrZMWeM(op_eewbuw0ToL(op_XIabStNQrY(a),op_23Mk6UjR3U(a,a)),op_nCS4ZIUYfx(op_NTOWxs364D(a,a),op_Ph9nP6C5qx(a,a)))

def op_count_2Wsdkap16l(a, b):
    if op_XIabStNQrY(b) != 246:
        count = op_count_nCS4ZIUYfx(b,b)+op_count_2DDjHMKMc0(1,b)+op_count_g55IO6H4Gj(op_nCS4ZIUYfx(b,b),op_2DDjHMKMc0(1,b))+op_count_rysDP5nf3Z(b,op_g55IO6H4Gj(op_nCS4ZIUYfx(b,b),op_2DDjHMKMc0(1,b)))+op_count_XIabStNQrY(b)
    else:
        count = op_count_XIabStNQrY(a)+op_count_23Mk6UjR3U(a,a)+op_count_eewbuw0ToL(op_XIabStNQrY(a),op_23Mk6UjR3U(a,a))+op_count_NTOWxs364D(a,a)+op_count_Ph9nP6C5qx(a,a)+op_count_nCS4ZIUYfx(op_NTOWxs364D(a,a),op_Ph9nP6C5qx(a,a))+op_count_12rbrZMWeM(op_eewbuw0ToL(op_XIabStNQrY(a),op_23Mk6UjR3U(a,a)),op_nCS4ZIUYfx(op_NTOWxs364D(a,a),op_Ph9nP6C5qx(a,a)))
    return count


def op_40aOVDgCDB(a):
    if a <= 675:
        return a
    else:
        return op_NTOWxs364D(a,126)

def op_count_40aOVDgCDB(a):
    if a <= 675:
        count = 1
    else:
        count = op_count_NTOWxs364D(a,126)
    return count


a≦↸b = { (((≤/a)⋳⪒(b⊉≛↸a))⋝⋈⪟((a⇋≉)⨸⪁(≉a))) }

def op_RygbFNSyEJ(a, b):
    return op_2DDjHMKMc0(op_12rbrZMWeM(op_eLAdDNolq6(a),op_DZ8iAZOCBD(b,a)),op_g55IO6H4Gj(op_XIabStNQrY(a),op_e1ybzncUwg(a)))

def op_count_RygbFNSyEJ(a, b):
    count = op_count_eLAdDNolq6(a)+op_count_DZ8iAZOCBD(b,a)+op_count_12rbrZMWeM(op_eLAdDNolq6(a),op_DZ8iAZOCBD(b,a))+op_count_XIabStNQrY(a)+op_count_e1ybzncUwg(a)+op_count_g55IO6H4Gj(op_XIabStNQrY(a),op_e1ybzncUwg(a))+op_count_2DDjHMKMc0(op_12rbrZMWeM(op_eLAdDNolq6(a),op_DZ8iAZOCBD(b,a)),op_g55IO6H4Gj(op_XIabStNQrY(a),op_e1ybzncUwg(a)))
    return count


def op_uPb5QRN0te(a):
    if op_t8gj7n24qd(a) >= 333:
        return op_i8ToyICDmI(a,a)
    else:
        return op_2DQ55sFlQl(a,a)

def op_count_uPb5QRN0te(a):
    if op_t8gj7n24qd(a) >= 333:
        count = op_count_i8ToyICDmI(a,a)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_2DQ55sFlQl(a,a)
    return count


def op_VJ330n2nnx(a):
    if op_u6S6b8DprG(a) != 185 or a >= 376 or a <= 585:
        return op_D4vGDi5EA2(a)
    else:
        return op_23Mk6UjR3U(a,a)

def op_count_VJ330n2nnx(a):
    if op_u6S6b8DprG(a) != 185 or a >= 376 or a <= 585:
        count = op_count_D4vGDi5EA2(a)+op_count_u6S6b8DprG(a)
    else:
        count = op_count_23Mk6UjR3U(a,a)
    return count


def op_WkeUrDK8WX(a):
    return op_W4YGzv6Whe(op_Z2TMIBDE3Q(op_g55IO6H4Gj(a,500)),op_i8ToyICDmI(a,op_xUOZtlo3hN(a)))

def op_count_WkeUrDK8WX(a):
    count = op_count_g55IO6H4Gj(a,500)+op_count_Z2TMIBDE3Q(op_g55IO6H4Gj(a,500))+op_count_xUOZtlo3hN(a)+op_count_i8ToyICDmI(a,op_xUOZtlo3hN(a))+op_count_W4YGzv6Whe(op_Z2TMIBDE3Q(op_g55IO6H4Gj(a,500)),op_i8ToyICDmI(a,op_xUOZtlo3hN(a)))
    return count


def op_hTbEZDJLEm(a):
    return op_AFVx7xoS7T(op_KPf6cnQVty(58,a),op_zVYPLywUTj(a))

def op_count_hTbEZDJLEm(a):
    count = op_count_KPf6cnQVty(58,a)+op_count_zVYPLywUTj(a)+op_count_AFVx7xoS7T(op_KPf6cnQVty(58,a),op_zVYPLywUTj(a))
    return count


def op_RZ5CV9rWsJ(a, b):
    return op_IWmyXbctLI(op_HJ9erzHUuu(b,a),op_8cLx32lpNA(a,125))

def op_count_RZ5CV9rWsJ(a, b):
    count = op_count_HJ9erzHUuu(b,a)+op_count_8cLx32lpNA(a,125)+op_count_IWmyXbctLI(op_HJ9erzHUuu(b,a),op_8cLx32lpNA(a,125))
    return count


def op_3DZMoQKiUl(a):
    return op_AFVx7xoS7T(op_xNBdhnnwKq(op_12rbrZMWeM(a,a)),a)

def op_count_3DZMoQKiUl(a):
    count = op_count_12rbrZMWeM(a,a)+op_count_xNBdhnnwKq(op_12rbrZMWeM(a,a))+op_count_AFVx7xoS7T(op_xNBdhnnwKq(op_12rbrZMWeM(a,a)),a)
    return count


a⨽∌b = { ((≦∁(b⪮%⊝b))⪇≇⋚((b⇤a)≧⫂∧(⫇a))) }

def op_9samAPKr6k(a, b):
    return op_3sJ7IOPOlU(op_9ICcGScMcE(op_IWmyXbctLI(b,b)),op_Ph9nP6C5qx(op_YSKBFp38Pu(b,a),op_YjI8oCXuph(a)))

def op_count_9samAPKr6k(a, b):
    count = op_count_IWmyXbctLI(b,b)+op_count_9ICcGScMcE(op_IWmyXbctLI(b,b))+op_count_YSKBFp38Pu(b,a)+op_count_YjI8oCXuph(a)+op_count_Ph9nP6C5qx(op_YSKBFp38Pu(b,a),op_YjI8oCXuph(a))+op_count_3sJ7IOPOlU(op_9ICcGScMcE(op_IWmyXbctLI(b,b)),op_Ph9nP6C5qx(op_YSKBFp38Pu(b,a),op_YjI8oCXuph(a)))
    return count


def op_5GqDbVmqXU(a):
    return op_8cLx32lpNA(op_jLgFTUHLKL(a),op_7j4O788W3g(a,a))

def op_count_5GqDbVmqXU(a):
    count = op_count_jLgFTUHLKL(a)+op_count_7j4O788W3g(a,a)+op_count_8cLx32lpNA(op_jLgFTUHLKL(a),op_7j4O788W3g(a,a))
    return count


def op_wxb3vTeyAj(a):
    return op_eLAdDNolq6(op_3nqY3DE9mg(op_8HhzD0ZcuI(a,a)))

def op_count_wxb3vTeyAj(a):
    count = op_count_8HhzD0ZcuI(a,a)+op_count_3nqY3DE9mg(op_8HhzD0ZcuI(a,a))+op_count_eLAdDNolq6(op_3nqY3DE9mg(op_8HhzD0ZcuI(a,a)))
    return count


a⇣⩺⋵b = { (((a⩨565)∺≝⩲(5⨸⪁a))⩚⊴⇥(↯⪼(a⋳⪒b))) }

def op_F4yD0voBRQ(a, b):
    return op_NTOWxs364D(op_KPf6cnQVty(op_2DlMacCsIx(a,565),op_g55IO6H4Gj(5,a)),op_8jW3W4yZS5(op_12rbrZMWeM(a,b)))

def op_count_F4yD0voBRQ(a, b):
    count = op_count_2DlMacCsIx(a,565)+op_count_g55IO6H4Gj(5,a)+op_count_KPf6cnQVty(op_2DlMacCsIx(a,565),op_g55IO6H4Gj(5,a))+op_count_12rbrZMWeM(a,b)+op_count_8jW3W4yZS5(op_12rbrZMWeM(a,b))+op_count_NTOWxs364D(op_KPf6cnQVty(op_2DlMacCsIx(a,565),op_g55IO6H4Gj(5,a)),op_8jW3W4yZS5(op_12rbrZMWeM(a,b)))
    return count


def op_vkpjKywKVM(a, b):
    return op_bJkvcejdHO(op_40aOVDgCDB(op_U6pG0PXrV3(b)),op_tifHPKVTfV(op_YbVcJGFEVW(a,b),op_nhYeJWJD5X(47,106)))

def op_count_vkpjKywKVM(a, b):
    count = op_count_U6pG0PXrV3(b)+op_count_40aOVDgCDB(op_U6pG0PXrV3(b))+op_count_YbVcJGFEVW(a,b)+op_count_nhYeJWJD5X(47,106)+op_count_tifHPKVTfV(op_YbVcJGFEVW(a,b),op_nhYeJWJD5X(47,106))+op_count_bJkvcejdHO(op_40aOVDgCDB(op_U6pG0PXrV3(b)),op_tifHPKVTfV(op_YbVcJGFEVW(a,b),op_nhYeJWJD5X(47,106)))
    return count


def op_ukq6epAj5P(a, b):
    return op_KbjG8mgYpV(op_61wBmkZwlr(a),op_SUmda5xLS4(b,a))

def op_count_ukq6epAj5P(a, b):
    count = op_count_61wBmkZwlr(a)+op_count_SUmda5xLS4(b,a)+op_count_KbjG8mgYpV(op_61wBmkZwlr(a),op_SUmda5xLS4(b,a))
    return count


a⩘b = { (((b⋷b)↼⊘⨖(a⊢6))∺≝⩲((a⪒⊣⊆619)≃(a⊪))) }

def op_cHh1gJQ2o6(a, b):
    return op_KPf6cnQVty(op_bPywburJMS(op_23Mk6UjR3U(b,b),op_5twsqlHp2o(a,6)),op_YbVcJGFEVW(op_eRqsBgTDFp(a,619),op_zVYPLywUTj(a)))

def op_count_cHh1gJQ2o6(a, b):
    count = op_count_23Mk6UjR3U(b,b)+op_count_5twsqlHp2o(a,6)+op_count_bPywburJMS(op_23Mk6UjR3U(b,b),op_5twsqlHp2o(a,6))+op_count_eRqsBgTDFp(a,619)+op_count_zVYPLywUTj(a)+op_count_YbVcJGFEVW(op_eRqsBgTDFp(a,619),op_zVYPLywUTj(a))+op_count_KPf6cnQVty(op_bPywburJMS(op_23Mk6UjR3U(b,b),op_5twsqlHp2o(a,6)),op_YbVcJGFEVW(op_eRqsBgTDFp(a,619),op_zVYPLywUTj(a)))
    return count


def op_grXIztHqDa(a):
    return op_IwW236VD4Y(op_bF6eod5Gvf(a,a),op_l07mrZUIn9(a))

def op_count_grXIztHqDa(a):
    count = op_count_bF6eod5Gvf(a,a)+op_count_l07mrZUIn9(a)+op_count_IwW236VD4Y(op_bF6eod5Gvf(a,a),op_l07mrZUIn9(a))
    return count


def op_Z5CJsN7DuW(a):
    return op_gu96TGCTMs(op_AFVx7xoS7T(op_Noe24qw2ks(211,a),op_8jW3W4yZS5(a)))

def op_count_Z5CJsN7DuW(a):
    count = op_count_Noe24qw2ks(211,a)+op_count_8jW3W4yZS5(a)+op_count_AFVx7xoS7T(op_Noe24qw2ks(211,a),op_8jW3W4yZS5(a))+op_count_gu96TGCTMs(op_AFVx7xoS7T(op_Noe24qw2ks(211,a),op_8jW3W4yZS5(a)))
    return count


def op_03sUfWo75k(a):
    return op_IWmyXbctLI(a,a)

def op_count_03sUfWo75k(a):
    count = op_count_IWmyXbctLI(a,a)
    return count


def op_BThhyOhh10(a):
    return op_3EYGwJThht(op_i8ToyICDmI(a,a),op_xNBdhnnwKq(262))

def op_count_BThhyOhh10(a):
    count = op_count_i8ToyICDmI(a,a)+op_count_xNBdhnnwKq(262)+op_count_3EYGwJThht(op_i8ToyICDmI(a,a),op_xNBdhnnwKq(262))
    return count


def op_wvHyciQT5X(a):
    return op_9ICcGScMcE(op_dfKe02y8D2(a,129))

def op_count_wvHyciQT5X(a):
    count = op_count_dfKe02y8D2(a,129)+op_count_9ICcGScMcE(op_dfKe02y8D2(a,129))
    return count


def op_Loh9y4A90B(a):
    return op_9HNa5Wba9A(op_Z5m6OM72h2(a,op_ztP7wcbY7m(a)),a)

def op_count_Loh9y4A90B(a):
    count = op_count_ztP7wcbY7m(a)+op_count_Z5m6OM72h2(a,op_ztP7wcbY7m(a))+op_count_9HNa5Wba9A(op_Z5m6OM72h2(a,op_ztP7wcbY7m(a)),a)
    return count


def op_k4iM1060OG(a):
    return op_XhwjNDsVaA(op_QvoQhV0rrE(a,a),op_3Oe9XWJUTD(a,a))

def op_count_k4iM1060OG(a):
    count = op_count_QvoQhV0rrE(a,a)+op_count_3Oe9XWJUTD(a,a)+op_count_XhwjNDsVaA(op_QvoQhV0rrE(a,a),op_3Oe9XWJUTD(a,a))
    return count


⪛⨧a = { (a+a) , if (a⪠⩆⊳)>=98 ; (a≫≃) , else }

def op_6NJAcO2OWT(a):
    if op_JLbD19bQDL(a) >= 98:
        return op_W4YGzv6Whe(a,a)
    else:
        return op_X99M06cbEe(a)

def op_count_6NJAcO2OWT(a):
    if op_JLbD19bQDL(a) >= 98:
        count = op_count_W4YGzv6Whe(a,a)+op_count_JLbD19bQDL(a)
    else:
        count = op_count_X99M06cbEe(a)
    return count


def op_7YooWSwCyH(a, b):
    return op_rJVOvQCfKK(op_2DDjHMKMc0(a,b),a)

def op_count_7YooWSwCyH(a, b):
    count = op_count_2DDjHMKMc0(a,b)+op_count_rJVOvQCfKK(op_2DDjHMKMc0(a,b),a)
    return count


def op_s1XTVnmDOJ(a, b):
    if (op_3mBM5G4a3l(b) > 775 or op_5twsqlHp2o(a,476) > 56):
        return op_9ICcGScMcE(op_HiPekx5b7W(a,op_nCS4ZIUYfx(a,a)))
    else:
        return op_rysDP5nf3Z(op_YSKBFp38Pu(op_HiPekx5b7W(a,b),op_XhwjNDsVaA(77,135)),a)

def op_count_s1XTVnmDOJ(a, b):
    if (op_3mBM5G4a3l(b) > 775 or op_5twsqlHp2o(a,476) > 56):
        count = op_count_nCS4ZIUYfx(a,a)+op_count_HiPekx5b7W(a,op_nCS4ZIUYfx(a,a))+op_count_9ICcGScMcE(op_HiPekx5b7W(a,op_nCS4ZIUYfx(a,a)))+op_count_3mBM5G4a3l(b)+op_count_5twsqlHp2o(a,476)
    else:
        count = op_count_HiPekx5b7W(a,b)+op_count_XhwjNDsVaA(77,135)+op_count_YSKBFp38Pu(op_HiPekx5b7W(a,b),op_XhwjNDsVaA(77,135))+op_count_rysDP5nf3Z(op_YSKBFp38Pu(op_HiPekx5b7W(a,b),op_XhwjNDsVaA(77,135)),a)
    return count


def op_XwDhCwWbUn(a):
    if (op_4CyGpkTkEk(a) > 271 and op_hrf7POJlIJ(a,779) <= 132):
        return op_jLgFTUHLKL(op_D309nIvmXG(op_YbVcJGFEVW(a,a)))
    else:
        return op_DmTXOeWf9t(op_WR6HLWljOP(a,op_JclMnS0uGI(a,a)),op_w2P8NbNXyL(op_cTDWOvIxvz(a,a),op_COABgblf1C(a,19)))

def op_count_XwDhCwWbUn(a):
    if (op_4CyGpkTkEk(a) > 271 and op_hrf7POJlIJ(a,779) <= 132):
        count = op_count_YbVcJGFEVW(a,a)+op_count_D309nIvmXG(op_YbVcJGFEVW(a,a))+op_count_jLgFTUHLKL(op_D309nIvmXG(op_YbVcJGFEVW(a,a)))+op_count_4CyGpkTkEk(a)+op_count_hrf7POJlIJ(a,779)
    else:
        count = op_count_JclMnS0uGI(a,a)+op_count_WR6HLWljOP(a,op_JclMnS0uGI(a,a))+op_count_cTDWOvIxvz(a,a)+op_count_COABgblf1C(a,19)+op_count_w2P8NbNXyL(op_cTDWOvIxvz(a,a),op_COABgblf1C(a,19))+op_count_DmTXOeWf9t(op_WR6HLWljOP(a,op_JclMnS0uGI(a,a)),op_w2P8NbNXyL(op_cTDWOvIxvz(a,a),op_COABgblf1C(a,19)))
    return count


def op_Qtd6bqUJcN(a):
    if op_3nqY3DE9mg(a) != 211 or op_wEfv7U73WA(a) == 294:
        return op_iuk5sVOGFA(op_09Ly4LVMIf(431,a))
    else:
        return op_ruOEQAzv1W(op_tifHPKVTfV(a,a))

def op_count_Qtd6bqUJcN(a):
    if op_3nqY3DE9mg(a) != 211 or op_wEfv7U73WA(a) == 294:
        count = op_count_09Ly4LVMIf(431,a)+op_count_iuk5sVOGFA(op_09Ly4LVMIf(431,a))+op_count_3nqY3DE9mg(a)+op_count_wEfv7U73WA(a)
    else:
        count = op_count_tifHPKVTfV(a,a)+op_count_ruOEQAzv1W(op_tifHPKVTfV(a,a))
    return count


def op_diKm42VcIt(a):
    if op_iuk5sVOGFA(a) != 30:
        return op_86A5ENbKR9(op_xUOZtlo3hN(op_RygbFNSyEJ(a,a)))
    else:
        return op_k8jYdgA6NY(a,op_XPYlsWDdGa(op_AFVx7xoS7T(a,156)))

def op_count_diKm42VcIt(a):
    if op_iuk5sVOGFA(a) != 30:
        count = op_count_RygbFNSyEJ(a,a)+op_count_xUOZtlo3hN(op_RygbFNSyEJ(a,a))+op_count_86A5ENbKR9(op_xUOZtlo3hN(op_RygbFNSyEJ(a,a)))+op_count_iuk5sVOGFA(a)
    else:
        count = op_count_AFVx7xoS7T(a,156)+op_count_XPYlsWDdGa(op_AFVx7xoS7T(a,156))+op_count_k8jYdgA6NY(a,op_XPYlsWDdGa(op_AFVx7xoS7T(a,156)))
    return count


def op_hyuBjUqXlG(a, b):
    if op_BX1lVwlMe0(a) != 192:
        return op_mqXw5SEYmG(op_QMFrweE19q(op_wztAlM01eG(b),op_DO4fhlbJSI(b)),op_9ICcGScMcE(op_A8NUZmVepG(a)))
    else:
        return op_Noe24qw2ks(op_uFcxV4UQCh(op_vg4gO5BX6G(b,a),b),op_hrf7POJlIJ(op_HJ9erzHUuu(37,b),op_dfKe02y8D2(11,395)))

def op_count_hyuBjUqXlG(a, b):
    if op_BX1lVwlMe0(a) != 192:
        count = op_count_wztAlM01eG(b)+op_count_DO4fhlbJSI(b)+op_count_QMFrweE19q(op_wztAlM01eG(b),op_DO4fhlbJSI(b))+op_count_A8NUZmVepG(a)+op_count_9ICcGScMcE(op_A8NUZmVepG(a))+op_count_mqXw5SEYmG(op_QMFrweE19q(op_wztAlM01eG(b),op_DO4fhlbJSI(b)),op_9ICcGScMcE(op_A8NUZmVepG(a)))+op_count_BX1lVwlMe0(a)
    else:
        count = op_count_vg4gO5BX6G(b,a)+op_count_uFcxV4UQCh(op_vg4gO5BX6G(b,a),b)+op_count_HJ9erzHUuu(37,b)+op_count_dfKe02y8D2(11,395)+op_count_hrf7POJlIJ(op_HJ9erzHUuu(37,b),op_dfKe02y8D2(11,395))+op_count_Noe24qw2ks(op_uFcxV4UQCh(op_vg4gO5BX6G(b,a),b),op_hrf7POJlIJ(op_HJ9erzHUuu(37,b),op_dfKe02y8D2(11,395)))
    return count


def op_wscyQdcy20(a, b):
    if op_D3AQDKkPcf(a,677) >= 23:
        return op_B3sABdIn96(op_g7Hmc5v1ko(a,206))
    else:
        return op_9HNa5Wba9A(op_W4YGzv6Whe(b,a),op_nREPSIbpBE(b,b))

def op_count_wscyQdcy20(a, b):
    if op_D3AQDKkPcf(a,677) >= 23:
        count = op_count_g7Hmc5v1ko(a,206)+op_count_B3sABdIn96(op_g7Hmc5v1ko(a,206))+op_count_D3AQDKkPcf(a,677)
    else:
        count = op_count_W4YGzv6Whe(b,a)+op_count_nREPSIbpBE(b,b)+op_count_9HNa5Wba9A(op_W4YGzv6Whe(b,a),op_nREPSIbpBE(b,b))
    return count


def op_7p6YLioM7f(a):
    return op_vg4gO5BX6G(op_SUmda5xLS4(a,a),op_HrjLwUk87U(517,a))

def op_count_7p6YLioM7f(a):
    count = op_count_SUmda5xLS4(a,a)+op_count_HrjLwUk87U(517,a)+op_count_vg4gO5BX6G(op_SUmda5xLS4(a,a),op_HrjLwUk87U(517,a))
    return count


a⨀⨒ = { ((a⪘⫢a)⊔(a⪘⫢a)) , if a!=184 ; ((a⩧⪆a)∙∹∝a) , else }

def op_j6NVkjMzuk(a):
    if a != 184:
        return op_E4l6HwMY31(op_oacrs7FA3X(a,a),op_oacrs7FA3X(a,a))
    else:
        return op_HmxsFra2vL(op_Ikt5ks8PT7(a,a),a)

def op_count_j6NVkjMzuk(a):
    if a != 184:
        count = op_count_oacrs7FA3X(a,a)+op_count_oacrs7FA3X(a,a)+op_count_E4l6HwMY31(op_oacrs7FA3X(a,a),op_oacrs7FA3X(a,a))
    else:
        count = op_count_Ikt5ks8PT7(a,a)+op_count_HmxsFra2vL(op_Ikt5ks8PT7(a,a),a)
    return count


a⨑⩅≇b = { (((a⪇≇⋚b)⊬⨰(b⨽582))∌↝a) , if (↽≂a)<10 or (b⊭∹↮)==22 ; ((a⊲⩕⊾(↩a))⪕((a⨚243)⇌⫙⪟(b⪘⫢b))) , else }

def op_h92wMvzauj(a, b):
    if op_u6S6b8DprG(a) < 10 or op_xNBdhnnwKq(b) == 22:
        return op_9Isq31Ruls(op_s3Fd5m9Dh2(op_3sJ7IOPOlU(a,b),op_8HhzD0ZcuI(b,582)),a)
    else:
        return op_umQnsF7QlU(op_DmTXOeWf9t(a,op_jLgFTUHLKL(a)),op_AFVx7xoS7T(op_nREPSIbpBE(a,243),op_oacrs7FA3X(b,b)))

def op_count_h92wMvzauj(a, b):
    if op_u6S6b8DprG(a) < 10 or op_xNBdhnnwKq(b) == 22:
        count = op_count_3sJ7IOPOlU(a,b)+op_count_8HhzD0ZcuI(b,582)+op_count_s3Fd5m9Dh2(op_3sJ7IOPOlU(a,b),op_8HhzD0ZcuI(b,582))+op_count_9Isq31Ruls(op_s3Fd5m9Dh2(op_3sJ7IOPOlU(a,b),op_8HhzD0ZcuI(b,582)),a)+op_count_u6S6b8DprG(a)+op_count_xNBdhnnwKq(b)
    else:
        count = op_count_jLgFTUHLKL(a)+op_count_DmTXOeWf9t(a,op_jLgFTUHLKL(a))+op_count_nREPSIbpBE(a,243)+op_count_oacrs7FA3X(b,b)+op_count_AFVx7xoS7T(op_nREPSIbpBE(a,243),op_oacrs7FA3X(b,b))+op_count_umQnsF7QlU(op_DmTXOeWf9t(a,op_jLgFTUHLKL(a)),op_AFVx7xoS7T(op_nREPSIbpBE(a,243),op_oacrs7FA3X(b,b)))
    return count


def op_L95AwlJzhO(a):
    if op_i8ToyICDmI(a,500) > 7:
        return op_3nqY3DE9mg(op_XTarYq4gQB(431))
    else:
        return op_gx7XJ7hdpj(op_y4ImoPnbV5(a,304),op_xNBdhnnwKq(a))

def op_count_L95AwlJzhO(a):
    if op_i8ToyICDmI(a,500) > 7:
        count = op_count_XTarYq4gQB(431)+op_count_3nqY3DE9mg(op_XTarYq4gQB(431))+op_count_i8ToyICDmI(a,500)
    else:
        count = op_count_y4ImoPnbV5(a,304)+op_count_xNBdhnnwKq(a)+op_count_gx7XJ7hdpj(op_y4ImoPnbV5(a,304),op_xNBdhnnwKq(a))
    return count


a⊾⪯⋞b = { ((121⊭∹↮)⊬⨰(a⨑≵⋬b)) , if (a⩟)==395 or (a⨱∎)>94 ; ((b⪘⫢b)⩒⫫(a⇤b)) , else }

def op_HK0tfVPux8(a, b):
    if op_fOIeswaMU4(a) == 395 or op_MmTdOpaElr(a) > 94:
        return op_s3Fd5m9Dh2(op_xNBdhnnwKq(121),op_XnXgA4xnOs(a,b))
    else:
        return op_KFSx94NKJn(op_oacrs7FA3X(b,b),op_YSKBFp38Pu(a,b))

def op_count_HK0tfVPux8(a, b):
    if op_fOIeswaMU4(a) == 395 or op_MmTdOpaElr(a) > 94:
        count = op_count_xNBdhnnwKq(121)+op_count_XnXgA4xnOs(a,b)+op_count_s3Fd5m9Dh2(op_xNBdhnnwKq(121),op_XnXgA4xnOs(a,b))+op_count_fOIeswaMU4(a)+op_count_MmTdOpaElr(a)
    else:
        count = op_count_oacrs7FA3X(b,b)+op_count_YSKBFp38Pu(a,b)+op_count_KFSx94NKJn(op_oacrs7FA3X(b,b),op_YSKBFp38Pu(a,b))
    return count


⨮↦↱a = { ((⇾⩊⇾a)⪕(a≝⊿a)) , if (↸⊣a)>398 ; ((a↢a)⨽(⋂a)) , else }

def op_sYcpBQ0cFf(a):
    if op_wztAlM01eG(a) > 398:
        return op_umQnsF7QlU(op_bx9Z9DAK5y(a),op_OKKcZfAt5B(a,a))
    else:
        return op_8HhzD0ZcuI(op_WR6HLWljOP(a,a),op_BUOGQAYlQx(a))

def op_count_sYcpBQ0cFf(a):
    if op_wztAlM01eG(a) > 398:
        count = op_count_bx9Z9DAK5y(a)+op_count_OKKcZfAt5B(a,a)+op_count_umQnsF7QlU(op_bx9Z9DAK5y(a),op_OKKcZfAt5B(a,a))+op_count_wztAlM01eG(a)
    else:
        count = op_count_WR6HLWljOP(a,a)+op_count_BUOGQAYlQx(a)+op_count_8HhzD0ZcuI(op_WR6HLWljOP(a,a),op_BUOGQAYlQx(a))
    return count


a≬⇓b = { (a⊪) , if a<=154 or (⪝⪂⫅a)>=41 ; (a⋅⇍b) , else }

def op_jWTQ2TZYIH(a, b):
    if a <= 154 or op_XTarYq4gQB(a) >= 41:
        return op_zVYPLywUTj(a)
    else:
        return op_AdZkA7nFnk(a,b)

def op_count_jWTQ2TZYIH(a, b):
    if a <= 154 or op_XTarYq4gQB(a) >= 41:
        count = op_count_zVYPLywUTj(a)+op_count_XTarYq4gQB(a)
    else:
        count = op_count_AdZkA7nFnk(a,b)
    return count


def op_CArV6hThFE(a):
    if a == 35:
        return op_B3sABdIn96(op_X99M06cbEe(332))
    else:
        return op_2DDjHMKMc0(op_WmT3o8z6ya(a),op_uFcxV4UQCh(a,290))

def op_count_CArV6hThFE(a):
    if a == 35:
        count = op_count_X99M06cbEe(332)+op_count_B3sABdIn96(op_X99M06cbEe(332))
    else:
        count = op_count_WmT3o8z6ya(a)+op_count_uFcxV4UQCh(a,290)+op_count_2DDjHMKMc0(op_WmT3o8z6ya(a),op_uFcxV4UQCh(a,290))
    return count


def op_XGcMNugi78(a, b):
    if (op_SWo3A1KBJH(b) > 164 and op_VJ330n2nnx(a) <= 12 and op_JclMnS0uGI(b,430) != 387):
        return op_rJVOvQCfKK(a,b)
    else:
        return a

def op_count_XGcMNugi78(a, b):
    if (op_SWo3A1KBJH(b) > 164 and op_VJ330n2nnx(a) <= 12 and op_JclMnS0uGI(b,430) != 387):
        count = op_count_rJVOvQCfKK(a,b)+op_count_SWo3A1KBJH(b)+op_count_VJ330n2nnx(a)+op_count_JclMnS0uGI(b,430)
    else:
        count = 1
    return count


⫯a = { ((a⩠)∠↢(⨂⪏⇭a)) , if (a≧⫂∧919)>20 ; ((a⩹a)≫≃) , else }

def op_H6BK1Evt7c(a):
    if op_Ph9nP6C5qx(a,919) > 20:
        return op_KbjG8mgYpV(op_sJAwomhLZr(a),op_AYdpE9sXAk(a))
    else:
        return op_X99M06cbEe(op_2Wsdkap16l(a,a))

def op_count_H6BK1Evt7c(a):
    if op_Ph9nP6C5qx(a,919) > 20:
        count = op_count_sJAwomhLZr(a)+op_count_AYdpE9sXAk(a)+op_count_KbjG8mgYpV(op_sJAwomhLZr(a),op_AYdpE9sXAk(a))+op_count_Ph9nP6C5qx(a,919)
    else:
        count = op_count_2Wsdkap16l(a,a)+op_count_X99M06cbEe(op_2Wsdkap16l(a,a))
    return count


a≑≱⪘ = { ((⊄⩳↩(6≧⫂∧a))⩍⋽⫝̸((a⊲⩕⊾a)≦↸(a⋆⋳))) , if (a↹⊜255)>=30 or (a↯⫤)>122 ; ((a⩷∴(a⪒⊣⊆a))⨽(a⊬⫿⊭)) , else }

def op_tGSeddj7UK(a):
    if op_9bazX3JMtO(a,255) >= 30 or op_VwlE7vj6HS(a) > 122:
        return op_BiWNJpBvwn(op_8w2t5hMYqp(op_Ph9nP6C5qx(6,a)),op_RygbFNSyEJ(op_DmTXOeWf9t(a,a),op_6MpZysEj17(a)))
    else:
        return op_8HhzD0ZcuI(op_9FxExcQeMw(a,op_eRqsBgTDFp(a,a)),op_v0DYgG9ikt(a))

def op_count_tGSeddj7UK(a):
    if op_9bazX3JMtO(a,255) >= 30 or op_VwlE7vj6HS(a) > 122:
        count = op_count_Ph9nP6C5qx(6,a)+op_count_8w2t5hMYqp(op_Ph9nP6C5qx(6,a))+op_count_DmTXOeWf9t(a,a)+op_count_6MpZysEj17(a)+op_count_RygbFNSyEJ(op_DmTXOeWf9t(a,a),op_6MpZysEj17(a))+op_count_BiWNJpBvwn(op_8w2t5hMYqp(op_Ph9nP6C5qx(6,a)),op_RygbFNSyEJ(op_DmTXOeWf9t(a,a),op_6MpZysEj17(a)))+op_count_9bazX3JMtO(a,255)+op_count_VwlE7vj6HS(a)
    else:
        count = op_count_eRqsBgTDFp(a,a)+op_count_9FxExcQeMw(a,op_eRqsBgTDFp(a,a))+op_count_v0DYgG9ikt(a)+op_count_8HhzD0ZcuI(op_9FxExcQeMw(a,op_eRqsBgTDFp(a,a)),op_v0DYgG9ikt(a))
    return count


def op_aBQ6xLxuTc(a, b):
    return op_HrjLwUk87U(op_2DlMacCsIx(op_g7Hmc5v1ko(b,a),op_ruOEQAzv1W(b)),op_KPf6cnQVty(op_vg4gO5BX6G(a,b),b))

def op_count_aBQ6xLxuTc(a, b):
    count = op_count_g7Hmc5v1ko(b,a)+op_count_ruOEQAzv1W(b)+op_count_2DlMacCsIx(op_g7Hmc5v1ko(b,a),op_ruOEQAzv1W(b))+op_count_vg4gO5BX6G(a,b)+op_count_KPf6cnQVty(op_vg4gO5BX6G(a,b),b)+op_count_HrjLwUk87U(op_2DlMacCsIx(op_g7Hmc5v1ko(b,a),op_ruOEQAzv1W(b)),op_KPf6cnQVty(op_vg4gO5BX6G(a,b),b))
    return count


def op_YbUVn0Rbpy(a, b):
    if op_LkLIoiE525(b) > 355:
        return op_8HhzD0ZcuI(op_8cLx32lpNA(293,op_tifHPKVTfV(291,496)),op_k8jYdgA6NY(op_FyVja0WsTP(52,262),op_OKKcZfAt5B(a,a)))
    else:
        return op_k8jYdgA6NY(op_bF6eod5Gvf(op_sdazOOVcIp(b,b),op_zVYPLywUTj(71)),op_Ikt5ks8PT7(op_D3AQDKkPcf(197,178),op_d7ASUq0ydm(b,256)))

def op_count_YbUVn0Rbpy(a, b):
    if op_LkLIoiE525(b) > 355:
        count = op_count_tifHPKVTfV(291,496)+op_count_8cLx32lpNA(293,op_tifHPKVTfV(291,496))+op_count_FyVja0WsTP(52,262)+op_count_OKKcZfAt5B(a,a)+op_count_k8jYdgA6NY(op_FyVja0WsTP(52,262),op_OKKcZfAt5B(a,a))+op_count_8HhzD0ZcuI(op_8cLx32lpNA(293,op_tifHPKVTfV(291,496)),op_k8jYdgA6NY(op_FyVja0WsTP(52,262),op_OKKcZfAt5B(a,a)))+op_count_LkLIoiE525(b)
    else:
        count = op_count_sdazOOVcIp(b,b)+op_count_zVYPLywUTj(71)+op_count_bF6eod5Gvf(op_sdazOOVcIp(b,b),op_zVYPLywUTj(71))+op_count_D3AQDKkPcf(197,178)+op_count_d7ASUq0ydm(b,256)+op_count_Ikt5ks8PT7(op_D3AQDKkPcf(197,178),op_d7ASUq0ydm(b,256))+op_count_k8jYdgA6NY(op_bF6eod5Gvf(op_sdazOOVcIp(b,b),op_zVYPLywUTj(71)),op_Ikt5ks8PT7(op_D3AQDKkPcf(197,178),op_d7ASUq0ydm(b,256)))
    return count


⊆⋠a = { ((a⊨a)↯⫤) , if (≉a)>=63 ; ((⫇a)⪄(a∀⋜↑)) , else }

def op_EBhcHTkKd8(a):
    if op_e1ybzncUwg(a) >= 63:
        return op_VwlE7vj6HS(op_vg4gO5BX6G(a,a))
    else:
        return op_SUmda5xLS4(op_YjI8oCXuph(a),op_KipPnG1M2J(a))

def op_count_EBhcHTkKd8(a):
    if op_e1ybzncUwg(a) >= 63:
        count = op_count_vg4gO5BX6G(a,a)+op_count_VwlE7vj6HS(op_vg4gO5BX6G(a,a))+op_count_e1ybzncUwg(a)
    else:
        count = op_count_YjI8oCXuph(a)+op_count_KipPnG1M2J(a)+op_count_SUmda5xLS4(op_YjI8oCXuph(a),op_KipPnG1M2J(a))
    return count


def op_zQWRhDnn8F(a):
    if op_vRio1gEz1j(a) == 859:
        return op_3EYGwJThht(op_DbCuESL50I(203),op_keWfFq85dY(op_8HhzD0ZcuI(a,a)))
    else:
        return op_x5lMkHmzsq(op_sdazOOVcIp(op_XTarYq4gQB(a),op_IGFM8TAlm9(26)))

def op_count_zQWRhDnn8F(a):
    if op_vRio1gEz1j(a) == 859:
        count = op_count_DbCuESL50I(203)+op_count_8HhzD0ZcuI(a,a)+op_count_keWfFq85dY(op_8HhzD0ZcuI(a,a))+op_count_3EYGwJThht(op_DbCuESL50I(203),op_keWfFq85dY(op_8HhzD0ZcuI(a,a)))+op_count_vRio1gEz1j(a)
    else:
        count = op_count_XTarYq4gQB(a)+op_count_IGFM8TAlm9(26)+op_count_sdazOOVcIp(op_XTarYq4gQB(a),op_IGFM8TAlm9(26))+op_count_x5lMkHmzsq(op_sdazOOVcIp(op_XTarYq4gQB(a),op_IGFM8TAlm9(26)))
    return count


def op_UqFzSgLMvQ(a):
    return op_YSKBFp38Pu(op_3sJ7IOPOlU(op_4JB6nKBMSY(a,a),op_k2HlF1dBQh(27)),op_sJAwomhLZr(op_BiWNJpBvwn(a,27)))

def op_count_UqFzSgLMvQ(a):
    count = op_count_4JB6nKBMSY(a,a)+op_count_k2HlF1dBQh(27)+op_count_3sJ7IOPOlU(op_4JB6nKBMSY(a,a),op_k2HlF1dBQh(27))+op_count_BiWNJpBvwn(a,27)+op_count_sJAwomhLZr(op_BiWNJpBvwn(a,27))+op_count_YSKBFp38Pu(op_3sJ7IOPOlU(op_4JB6nKBMSY(a,a),op_k2HlF1dBQh(27)),op_sJAwomhLZr(op_BiWNJpBvwn(a,27)))
    return count


def op_z6LnFrNh4i(a, b):
    return op_FyVja0WsTP(op_sJAwomhLZr(648),op_rysDP5nf3Z(b,a))

def op_count_z6LnFrNh4i(a, b):
    count = op_count_sJAwomhLZr(648)+op_count_rysDP5nf3Z(b,a)+op_count_FyVja0WsTP(op_sJAwomhLZr(648),op_rysDP5nf3Z(b,a))
    return count


a⫣⪄⊒b = { ((a⪮%⊝(153⪭a))%(⋼∭⪍(b⩚⊴⇥34))) , if b>769 ; ((∂⩏⊆(b⩟))∺≝⩲((b∝a)⋝⋈⪟(a⩌⋺b))) , else }

def op_RabNbG55vr(a, b):
    if b > 769:
        return op_k8jYdgA6NY(op_IWmyXbctLI(a,op_j9kHMeSvPp(153,a)),op_DbCuESL50I(op_NTOWxs364D(b,34)))
    else:
        return op_KPf6cnQVty(op_8WDwsbhb0R(op_fOIeswaMU4(b)),op_2DDjHMKMc0(op_cTDWOvIxvz(b,a),op_g7Hmc5v1ko(a,b)))

def op_count_RabNbG55vr(a, b):
    if b > 769:
        count = op_count_j9kHMeSvPp(153,a)+op_count_IWmyXbctLI(a,op_j9kHMeSvPp(153,a))+op_count_NTOWxs364D(b,34)+op_count_DbCuESL50I(op_NTOWxs364D(b,34))+op_count_k8jYdgA6NY(op_IWmyXbctLI(a,op_j9kHMeSvPp(153,a)),op_DbCuESL50I(op_NTOWxs364D(b,34)))
    else:
        count = op_count_fOIeswaMU4(b)+op_count_8WDwsbhb0R(op_fOIeswaMU4(b))+op_count_cTDWOvIxvz(b,a)+op_count_g7Hmc5v1ko(a,b)+op_count_2DDjHMKMc0(op_cTDWOvIxvz(b,a),op_g7Hmc5v1ko(a,b))+op_count_KPf6cnQVty(op_8WDwsbhb0R(op_fOIeswaMU4(b)),op_2DDjHMKMc0(op_cTDWOvIxvz(b,a),op_g7Hmc5v1ko(a,b)))
    return count


def op_3UMq87Qwqg(a):
    if (op_s3Fd5m9Dh2(a,244) <= 56 or op_YjI8oCXuph(a) > 308 or op_Noe24qw2ks(a,673) <= 60):
        return a
    else:
        return op_7j4O788W3g(op_ocnLzx9CaJ(op_fG6uBQFnGz(a),op_cTDWOvIxvz(57,206)),op_jLgFTUHLKL(op_k7HXdKtiEU(a)))

def op_count_3UMq87Qwqg(a):
    if (op_s3Fd5m9Dh2(a,244) <= 56 or op_YjI8oCXuph(a) > 308 or op_Noe24qw2ks(a,673) <= 60):
        count = 1
    else:
        count = op_count_fG6uBQFnGz(a)+op_count_cTDWOvIxvz(57,206)+op_count_ocnLzx9CaJ(op_fG6uBQFnGz(a),op_cTDWOvIxvz(57,206))+op_count_k7HXdKtiEU(a)+op_count_jLgFTUHLKL(op_k7HXdKtiEU(a))+op_count_7j4O788W3g(op_ocnLzx9CaJ(op_fG6uBQFnGz(a),op_cTDWOvIxvz(57,206)),op_jLgFTUHLKL(op_k7HXdKtiEU(a)))
    return count


⊖∈a = { a , if (a⨝⩣∺)>=369 ; ((a⊪)⪨≂(a⇤a)) , else }

def op_YFxL8Sc2Zy(a):
    if op_ancx8kZcWl(a) >= 369:
        return a
    else:
        return op_sdazOOVcIp(op_zVYPLywUTj(a),op_YSKBFp38Pu(a,a))

def op_count_YFxL8Sc2Zy(a):
    if op_ancx8kZcWl(a) >= 369:
        count = 1
    else:
        count = op_count_zVYPLywUTj(a)+op_count_YSKBFp38Pu(a,a)+op_count_sdazOOVcIp(op_zVYPLywUTj(a),op_YSKBFp38Pu(a,a))
    return count


def op_MRPaB8lBjK(a):
    return op_uFcxV4UQCh(op_EWw2JM7wp4(op_XhwjNDsVaA(a,a),op_keWfFq85dY(757)),op_QiR2Oyf5Xj(op_t8gj7n24qd(a)))

def op_count_MRPaB8lBjK(a):
    count = op_count_XhwjNDsVaA(a,a)+op_count_keWfFq85dY(757)+op_count_EWw2JM7wp4(op_XhwjNDsVaA(a,a),op_keWfFq85dY(757))+op_count_t8gj7n24qd(a)+op_count_QiR2Oyf5Xj(op_t8gj7n24qd(a))+op_count_uFcxV4UQCh(op_EWw2JM7wp4(op_XhwjNDsVaA(a,a),op_keWfFq85dY(757)),op_QiR2Oyf5Xj(op_t8gj7n24qd(a)))
    return count


def op_oraRL2iQuh(a, b):
    if a >= 49:
        return op_k8jYdgA6NY(107,op_2Wsdkap16l(a,b))
    else:
        return op_ljTHtUsqzn(op_8WDwsbhb0R(a))

def op_count_oraRL2iQuh(a, b):
    if a >= 49:
        count = op_count_2Wsdkap16l(a,b)+op_count_k8jYdgA6NY(107,op_2Wsdkap16l(a,b))
    else:
        count = op_count_8WDwsbhb0R(a)+op_count_ljTHtUsqzn(op_8WDwsbhb0R(a))
    return count


a⋩≍≻ = { (∥⊫(a⊭↱21)) , if a>=390 ; ((a⨐a)⫸⊐(a⪮%⊝a)) , else }

def op_WYd1w68Nbz(a):
    if a >= 390:
        return op_P8v4zCKN1o(op_COABgblf1C(a,21))
    else:
        return op_mqXw5SEYmG(op_Noe24qw2ks(a,a),op_IWmyXbctLI(a,a))

def op_count_WYd1w68Nbz(a):
    if a >= 390:
        count = op_count_COABgblf1C(a,21)+op_count_P8v4zCKN1o(op_COABgblf1C(a,21))
    else:
        count = op_count_Noe24qw2ks(a,a)+op_count_IWmyXbctLI(a,a)+op_count_mqXw5SEYmG(op_Noe24qw2ks(a,a),op_IWmyXbctLI(a,a))
    return count


def op_CgIo77xlM2(a):
    if op_mqXw5SEYmG(a,7) < 631:
        return op_SUmda5xLS4(op_ocnLzx9CaJ(op_DZ8iAZOCBD(a,377),op_Z5m6OM72h2(a,a)),op_zR4jO40bMj(841,a))
    else:
        return op_cWQsF5MvuD(op_PxpmPgHHJV(op_8cLx32lpNA(a,a)))

def op_count_CgIo77xlM2(a):
    if op_mqXw5SEYmG(a,7) < 631:
        count = op_count_DZ8iAZOCBD(a,377)+op_count_Z5m6OM72h2(a,a)+op_count_ocnLzx9CaJ(op_DZ8iAZOCBD(a,377),op_Z5m6OM72h2(a,a))+op_count_zR4jO40bMj(841,a)+op_count_SUmda5xLS4(op_ocnLzx9CaJ(op_DZ8iAZOCBD(a,377),op_Z5m6OM72h2(a,a)),op_zR4jO40bMj(841,a))+op_count_mqXw5SEYmG(a,7)
    else:
        count = op_count_8cLx32lpNA(a,a)+op_count_PxpmPgHHJV(op_8cLx32lpNA(a,a))+op_count_cWQsF5MvuD(op_PxpmPgHHJV(op_8cLx32lpNA(a,a)))
    return count


def op_PoHhknlbAi(a, b):
    return op_2MzE1hQ0cz(op_mqXw5SEYmG(op_DZ8iAZOCBD(a,a),op_DbCuESL50I(b)))

def op_count_PoHhknlbAi(a, b):
    count = op_count_DZ8iAZOCBD(a,a)+op_count_DbCuESL50I(b)+op_count_mqXw5SEYmG(op_DZ8iAZOCBD(a,a),op_DbCuESL50I(b))+op_count_2MzE1hQ0cz(op_mqXw5SEYmG(op_DZ8iAZOCBD(a,a),op_DbCuESL50I(b)))
    return count


def op_FlXk3pOYe8(a):
    if op_1aApVXNlOP(a,268) <= 24 or a == 244 or op_fG6uBQFnGz(a) >= 4:
        return op_hrf7POJlIJ(op_i8ToyICDmI(op_XhwjNDsVaA(a,a),op_W7eaUhjymW(a)),op_nCS4ZIUYfx(op_2DlMacCsIx(a,a),op_8w2t5hMYqp(a)))
    else:
        return op_Bmrmz2XGnR(op_KbjG8mgYpV(op_JclMnS0uGI(a,a),op_wztAlM01eG(a)),op_Noe24qw2ks(op_9ICcGScMcE(a),461))

def op_count_FlXk3pOYe8(a):
    if op_1aApVXNlOP(a,268) <= 24 or a == 244 or op_fG6uBQFnGz(a) >= 4:
        count = op_count_XhwjNDsVaA(a,a)+op_count_W7eaUhjymW(a)+op_count_i8ToyICDmI(op_XhwjNDsVaA(a,a),op_W7eaUhjymW(a))+op_count_2DlMacCsIx(a,a)+op_count_8w2t5hMYqp(a)+op_count_nCS4ZIUYfx(op_2DlMacCsIx(a,a),op_8w2t5hMYqp(a))+op_count_hrf7POJlIJ(op_i8ToyICDmI(op_XhwjNDsVaA(a,a),op_W7eaUhjymW(a)),op_nCS4ZIUYfx(op_2DlMacCsIx(a,a),op_8w2t5hMYqp(a)))+op_count_1aApVXNlOP(a,268)+op_count_fG6uBQFnGz(a)
    else:
        count = op_count_JclMnS0uGI(a,a)+op_count_wztAlM01eG(a)+op_count_KbjG8mgYpV(op_JclMnS0uGI(a,a),op_wztAlM01eG(a))+op_count_9ICcGScMcE(a)+op_count_Noe24qw2ks(op_9ICcGScMcE(a),461)+op_count_Bmrmz2XGnR(op_KbjG8mgYpV(op_JclMnS0uGI(a,a),op_wztAlM01eG(a)),op_Noe24qw2ks(op_9ICcGScMcE(a),461))
    return count


a⫉⨲⊜b = { (b⨰120) , if b<=7 ; (a⊪) , else }

def op_WhqkvtTD3t(a, b):
    if b <= 7:
        return op_eewbuw0ToL(b,120)
    else:
        return op_zVYPLywUTj(a)

def op_count_WhqkvtTD3t(a, b):
    if b <= 7:
        count = op_count_eewbuw0ToL(b,120)
    else:
        count = op_count_zVYPLywUTj(a)
    return count


def op_7t3wd0Fuz7(a, b):
    return op_AFVx7xoS7T(op_2td37pGCOC(a),op_IWmyXbctLI(b,b))

def op_count_7t3wd0Fuz7(a, b):
    count = op_count_2td37pGCOC(a)+op_count_IWmyXbctLI(b,b)+op_count_AFVx7xoS7T(op_2td37pGCOC(a),op_IWmyXbctLI(b,b))
    return count


def op_nmZMaaE0Q9(a):
    return op_k8jYdgA6NY(op_23Mk6UjR3U(op_SWo3A1KBJH(a),op_ocnLzx9CaJ(a,a)),op_u6S6b8DprG(op_nREPSIbpBE(a,a)))

def op_count_nmZMaaE0Q9(a):
    count = op_count_SWo3A1KBJH(a)+op_count_ocnLzx9CaJ(a,a)+op_count_23Mk6UjR3U(op_SWo3A1KBJH(a),op_ocnLzx9CaJ(a,a))+op_count_nREPSIbpBE(a,a)+op_count_u6S6b8DprG(op_nREPSIbpBE(a,a))+op_count_k8jYdgA6NY(op_23Mk6UjR3U(op_SWo3A1KBJH(a),op_ocnLzx9CaJ(a,a)),op_u6S6b8DprG(op_nREPSIbpBE(a,a)))
    return count


a⫿ = { (≦∁a) , if (⋗⩬⋾a)<1 ; (a⪒a) , else }

def op_9tKT6PmtkH(a):
    if op_DpFCA1CohY(a) < 1:
        return op_9ICcGScMcE(a)
    else:
        return op_f6k1SAg4EE(a,a)

def op_count_9tKT6PmtkH(a):
    if op_DpFCA1CohY(a) < 1:
        count = op_count_9ICcGScMcE(a)+op_count_DpFCA1CohY(a)
    else:
        count = op_count_f6k1SAg4EE(a,a)
    return count


def op_Tl3Y52tvF8(a):
    return op_Y7wcNGrDQJ(op_09Ly4LVMIf(op_i8ToyICDmI(a,10),op_oRDoc9rAEX(384,a)),op_srAu1WTS94(op_gx7XJ7hdpj(a,714)))

def op_count_Tl3Y52tvF8(a):
    count = op_count_i8ToyICDmI(a,10)+op_count_oRDoc9rAEX(384,a)+op_count_09Ly4LVMIf(op_i8ToyICDmI(a,10),op_oRDoc9rAEX(384,a))+op_count_gx7XJ7hdpj(a,714)+op_count_srAu1WTS94(op_gx7XJ7hdpj(a,714))+op_count_Y7wcNGrDQJ(op_09Ly4LVMIf(op_i8ToyICDmI(a,10),op_oRDoc9rAEX(384,a)),op_srAu1WTS94(op_gx7XJ7hdpj(a,714)))
    return count


def op_aN9a90urxU(a):
    return op_jLgFTUHLKL(op_uFcxV4UQCh(252,a))

def op_count_aN9a90urxU(a):
    count = op_count_uFcxV4UQCh(252,a)+op_count_jLgFTUHLKL(op_uFcxV4UQCh(252,a))
    return count


def op_uWAJUKEvyW(a, b):
    if op_2td37pGCOC(a) == 479 or op_w2P8NbNXyL(b,467) == 779:
        return op_jLgFTUHLKL(op_vg4gO5BX6G(a,b))
    else:
        return op_k8jYdgA6NY(op_g55IO6H4Gj(b,b),op_BiWNJpBvwn(b,187))

def op_count_uWAJUKEvyW(a, b):
    if op_2td37pGCOC(a) == 479 or op_w2P8NbNXyL(b,467) == 779:
        count = op_count_vg4gO5BX6G(a,b)+op_count_jLgFTUHLKL(op_vg4gO5BX6G(a,b))+op_count_2td37pGCOC(a)+op_count_w2P8NbNXyL(b,467)
    else:
        count = op_count_g55IO6H4Gj(b,b)+op_count_BiWNJpBvwn(b,187)+op_count_k8jYdgA6NY(op_g55IO6H4Gj(b,b),op_BiWNJpBvwn(b,187))
    return count


def op_xlXykHWxX1(a, b):
    return op_KFSx94NKJn(op_zR4jO40bMj(op_2DlMacCsIx(b,a),op_g7Hmc5v1ko(a,b)),op_k2HlF1dBQh(op_e1ybzncUwg(a)))

def op_count_xlXykHWxX1(a, b):
    count = op_count_2DlMacCsIx(b,a)+op_count_g7Hmc5v1ko(a,b)+op_count_zR4jO40bMj(op_2DlMacCsIx(b,a),op_g7Hmc5v1ko(a,b))+op_count_e1ybzncUwg(a)+op_count_k2HlF1dBQh(op_e1ybzncUwg(a))+op_count_KFSx94NKJn(op_zR4jO40bMj(op_2DlMacCsIx(b,a),op_g7Hmc5v1ko(a,b)),op_k2HlF1dBQh(op_e1ybzncUwg(a)))
    return count


def op_NNaDxxp6OQ(a):
    return op_IWmyXbctLI(op_AdZkA7nFnk(113,170),op_KbjG8mgYpV(a,a))

def op_count_NNaDxxp6OQ(a):
    count = op_count_AdZkA7nFnk(113,170)+op_count_KbjG8mgYpV(a,a)+op_count_IWmyXbctLI(op_AdZkA7nFnk(113,170),op_KbjG8mgYpV(a,a))
    return count


def op_8FLs4eVsLt(a):
    if op_AYdpE9sXAk(a) <= 427 or op_uPb5QRN0te(a) >= 16:
        return op_3mBM5G4a3l(op_BUOGQAYlQx(a))
    else:
        return op_VwlE7vj6HS(op_8HhzD0ZcuI(a,194))

def op_count_8FLs4eVsLt(a):
    if op_AYdpE9sXAk(a) <= 427 or op_uPb5QRN0te(a) >= 16:
        count = op_count_BUOGQAYlQx(a)+op_count_3mBM5G4a3l(op_BUOGQAYlQx(a))+op_count_AYdpE9sXAk(a)+op_count_uPb5QRN0te(a)
    else:
        count = op_count_8HhzD0ZcuI(a,194)+op_count_VwlE7vj6HS(op_8HhzD0ZcuI(a,194))
    return count


def op_jfAgQ2OQeM(a):
    return op_nCS4ZIUYfx(a,op_FyVja0WsTP(op_NTOWxs364D(a,238),op_zVYPLywUTj(a)))

def op_count_jfAgQ2OQeM(a):
    count = op_count_NTOWxs364D(a,238)+op_count_zVYPLywUTj(a)+op_count_FyVja0WsTP(op_NTOWxs364D(a,238),op_zVYPLywUTj(a))+op_count_nCS4ZIUYfx(a,op_FyVja0WsTP(op_NTOWxs364D(a,238),op_zVYPLywUTj(a)))
    return count


a⨻⩈⩔b = { ((∓⪦(a⨚721))⊨((b⊨b)⫸⊐(a⫸⊐a))) }

def op_nEsXyWgiOK(a, b):
    return op_vg4gO5BX6G(op_D309nIvmXG(op_nREPSIbpBE(a,721)),op_mqXw5SEYmG(op_vg4gO5BX6G(b,b),op_mqXw5SEYmG(a,a)))

def op_count_nEsXyWgiOK(a, b):
    count = op_count_nREPSIbpBE(a,721)+op_count_D309nIvmXG(op_nREPSIbpBE(a,721))+op_count_vg4gO5BX6G(b,b)+op_count_mqXw5SEYmG(a,a)+op_count_mqXw5SEYmG(op_vg4gO5BX6G(b,b),op_mqXw5SEYmG(a,a))+op_count_vg4gO5BX6G(op_D309nIvmXG(op_nREPSIbpBE(a,721)),op_mqXw5SEYmG(op_vg4gO5BX6G(b,b),op_mqXw5SEYmG(a,a)))
    return count


def op_tR7O2zTn5j(a):
    return op_oRDoc9rAEX(op_2DlMacCsIx(a,a),op_RygbFNSyEJ(a,a))

def op_count_tR7O2zTn5j(a):
    count = op_count_2DlMacCsIx(a,a)+op_count_RygbFNSyEJ(a,a)+op_count_oRDoc9rAEX(op_2DlMacCsIx(a,a),op_RygbFNSyEJ(a,a))
    return count


def op_Z57zeUYC9z(a, b):
    return op_zR4jO40bMj(op_RHru8klgy8(op_3tVxb0NHM4(b,b)),op_QvoQhV0rrE(op_f6k1SAg4EE(29,b),op_IWmyXbctLI(a,521)))

def op_count_Z57zeUYC9z(a, b):
    count = op_count_3tVxb0NHM4(b,b)+op_count_RHru8klgy8(op_3tVxb0NHM4(b,b))+op_count_f6k1SAg4EE(29,b)+op_count_IWmyXbctLI(a,521)+op_count_QvoQhV0rrE(op_f6k1SAg4EE(29,b),op_IWmyXbctLI(a,521))+op_count_zR4jO40bMj(op_RHru8klgy8(op_3tVxb0NHM4(b,b)),op_QvoQhV0rrE(op_f6k1SAg4EE(29,b),op_IWmyXbctLI(a,521)))
    return count


≸a = { (29∘((630⊋≦⊧a)⩚⊴⇥(a≦↸a))) , if (a⋘⨑⨽)>2 ; (((a⪮%⊝a)⇼⇔∾(a↪⪝))⫸⊐((a⪮%⊝a)≠≀(3⩇∃⫛a))) , else }

def op_eOf03JbCpp(a):
    if op_WmT3o8z6ya(a) > 2:
        return op_Z5m6OM72h2(29,op_NTOWxs364D(op_oRDoc9rAEX(630,a),op_RygbFNSyEJ(a,a)))
    else:
        return op_mqXw5SEYmG(op_tifHPKVTfV(op_IWmyXbctLI(a,a),op_l07mrZUIn9(a)),op_IwW236VD4Y(op_IWmyXbctLI(a,a),op_1aApVXNlOP(3,a)))

def op_count_eOf03JbCpp(a):
    if op_WmT3o8z6ya(a) > 2:
        count = op_count_oRDoc9rAEX(630,a)+op_count_RygbFNSyEJ(a,a)+op_count_NTOWxs364D(op_oRDoc9rAEX(630,a),op_RygbFNSyEJ(a,a))+op_count_Z5m6OM72h2(29,op_NTOWxs364D(op_oRDoc9rAEX(630,a),op_RygbFNSyEJ(a,a)))+op_count_WmT3o8z6ya(a)
    else:
        count = op_count_IWmyXbctLI(a,a)+op_count_l07mrZUIn9(a)+op_count_tifHPKVTfV(op_IWmyXbctLI(a,a),op_l07mrZUIn9(a))+op_count_IWmyXbctLI(a,a)+op_count_1aApVXNlOP(3,a)+op_count_IwW236VD4Y(op_IWmyXbctLI(a,a),op_1aApVXNlOP(3,a))+op_count_mqXw5SEYmG(op_tifHPKVTfV(op_IWmyXbctLI(a,a),op_l07mrZUIn9(a)),op_IwW236VD4Y(op_IWmyXbctLI(a,a),op_1aApVXNlOP(3,a)))
    return count


a⨥⫆b = { (b⨝⩣∺) , if (a⪒⊣⊆344)<109 ; (b⪘⫢a) , else }

def op_yXekIHxTD4(a, b):
    if op_eRqsBgTDFp(a,344) < 109:
        return op_ancx8kZcWl(b)
    else:
        return op_oacrs7FA3X(b,a)

def op_count_yXekIHxTD4(a, b):
    if op_eRqsBgTDFp(a,344) < 109:
        count = op_count_ancx8kZcWl(b)+op_count_eRqsBgTDFp(a,344)
    else:
        count = op_count_oacrs7FA3X(b,a)
    return count


def op_ZJpFhNJr3x(a):
    return op_Qy55tPpLXF(op_4CyGpkTkEk(a),op_X99M06cbEe(a))

def op_count_ZJpFhNJr3x(a):
    count = op_count_4CyGpkTkEk(a)+op_count_X99M06cbEe(a)+op_count_Qy55tPpLXF(op_4CyGpkTkEk(a),op_X99M06cbEe(a))
    return count


a∊∟⩊b = { b , if (b∵≐)>=166 or (a⪇≇⋚4)==505 ; (↥a) , else }

def op_ddLRYrp01A(a, b):
    if op_59igzFyhWz(b) >= 166 or op_3sJ7IOPOlU(a,4) == 505:
        return b
    else:
        return op_A8NUZmVepG(a)

def op_count_ddLRYrp01A(a, b):
    if op_59igzFyhWz(b) >= 166 or op_3sJ7IOPOlU(a,4) == 505:
        count = 1
    else:
        count = op_count_A8NUZmVepG(a)
    return count


def op_jBncVCNhdl(a, b):
    if op_mqXw5SEYmG(b,434) <= 441 and op_gx7XJ7hdpj(a,180) >= 132:
        return op_COABgblf1C(op_RygbFNSyEJ(156,a),op_9ICcGScMcE(b))
    else:
        return op_7IPrd9c3lf(op_C6VvDP6HwP(a))

def op_count_jBncVCNhdl(a, b):
    if op_mqXw5SEYmG(b,434) <= 441 and op_gx7XJ7hdpj(a,180) >= 132:
        count = op_count_RygbFNSyEJ(156,a)+op_count_9ICcGScMcE(b)+op_count_COABgblf1C(op_RygbFNSyEJ(156,a),op_9ICcGScMcE(b))+op_count_mqXw5SEYmG(b,434)+op_count_gx7XJ7hdpj(a,180)
    else:
        count = op_count_C6VvDP6HwP(a)+op_count_7IPrd9c3lf(op_C6VvDP6HwP(a))
    return count


a⪟⇏b = { ((b⨑≵⋬b)⫸⇳(440⪒a)) , if (b⇐≅)<189 ; ((219⨑≵⋬a)⪘⫢(b⨵⪆b)) , else }

def op_GODebY97qR(a, b):
    if op_wEfv7U73WA(b) < 189:
        return op_gx7XJ7hdpj(op_XnXgA4xnOs(b,b),op_f6k1SAg4EE(440,a))
    else:
        return op_oacrs7FA3X(op_XnXgA4xnOs(219,a),op_2DQ55sFlQl(b,b))

def op_count_GODebY97qR(a, b):
    if op_wEfv7U73WA(b) < 189:
        count = op_count_XnXgA4xnOs(b,b)+op_count_f6k1SAg4EE(440,a)+op_count_gx7XJ7hdpj(op_XnXgA4xnOs(b,b),op_f6k1SAg4EE(440,a))+op_count_wEfv7U73WA(b)
    else:
        count = op_count_XnXgA4xnOs(219,a)+op_count_2DQ55sFlQl(b,b)+op_count_oacrs7FA3X(op_XnXgA4xnOs(219,a),op_2DQ55sFlQl(b,b))
    return count


def op_MGuIdZPyUC(a):
    if op_eLxqMNBOBk(a) > 35:
        return op_86A5ENbKR9(op_bF6eod5Gvf(op_eLxqMNBOBk(a),op_oacrs7FA3X(a,a)))
    else:
        return op_E4l6HwMY31(op_40aOVDgCDB(op_9HNa5Wba9A(a,a)),op_AFVx7xoS7T(op_5twsqlHp2o(a,a),op_f6k1SAg4EE(193,a)))

def op_count_MGuIdZPyUC(a):
    if op_eLxqMNBOBk(a) > 35:
        count = op_count_eLxqMNBOBk(a)+op_count_oacrs7FA3X(a,a)+op_count_bF6eod5Gvf(op_eLxqMNBOBk(a),op_oacrs7FA3X(a,a))+op_count_86A5ENbKR9(op_bF6eod5Gvf(op_eLxqMNBOBk(a),op_oacrs7FA3X(a,a)))+op_count_eLxqMNBOBk(a)
    else:
        count = op_count_9HNa5Wba9A(a,a)+op_count_40aOVDgCDB(op_9HNa5Wba9A(a,a))+op_count_5twsqlHp2o(a,a)+op_count_f6k1SAg4EE(193,a)+op_count_AFVx7xoS7T(op_5twsqlHp2o(a,a),op_f6k1SAg4EE(193,a))+op_count_E4l6HwMY31(op_40aOVDgCDB(op_9HNa5Wba9A(a,a)),op_AFVx7xoS7T(op_5twsqlHp2o(a,a),op_f6k1SAg4EE(193,a)))
    return count


∨∊⋏a = { (((101⋝⋈⪟206)⪍↜⋙(≦∁a))⩼⇪↪((a⩌⋺a)∴(⫇a))) }

def op_R5aXW34M0v(a):
    return op_ocnLzx9CaJ(op_L05ObWFQCd(op_2DDjHMKMc0(101,206),op_9ICcGScMcE(a)),op_hrf7POJlIJ(op_g7Hmc5v1ko(a,a),op_YjI8oCXuph(a)))

def op_count_R5aXW34M0v(a):
    count = op_count_2DDjHMKMc0(101,206)+op_count_9ICcGScMcE(a)+op_count_L05ObWFQCd(op_2DDjHMKMc0(101,206),op_9ICcGScMcE(a))+op_count_g7Hmc5v1ko(a,a)+op_count_YjI8oCXuph(a)+op_count_hrf7POJlIJ(op_g7Hmc5v1ko(a,a),op_YjI8oCXuph(a))+op_count_ocnLzx9CaJ(op_L05ObWFQCd(op_2DDjHMKMc0(101,206),op_9ICcGScMcE(a)),op_hrf7POJlIJ(op_g7Hmc5v1ko(a,a),op_YjI8oCXuph(a)))
    return count


def op_mp94q5OcYM(a):
    return op_kbkesczE7y(op_09Ly4LVMIf(op_YjI8oCXuph(a),op_IWmyXbctLI(89,a)),op_i8ToyICDmI(op_Bmrmz2XGnR(a,a),op_IWmyXbctLI(a,117)))

def op_count_mp94q5OcYM(a):
    count = op_count_YjI8oCXuph(a)+op_count_IWmyXbctLI(89,a)+op_count_09Ly4LVMIf(op_YjI8oCXuph(a),op_IWmyXbctLI(89,a))+op_count_Bmrmz2XGnR(a,a)+op_count_IWmyXbctLI(a,117)+op_count_i8ToyICDmI(op_Bmrmz2XGnR(a,a),op_IWmyXbctLI(a,117))+op_count_kbkesczE7y(op_09Ly4LVMIf(op_YjI8oCXuph(a),op_IWmyXbctLI(89,a)),op_i8ToyICDmI(op_Bmrmz2XGnR(a,a),op_IWmyXbctLI(a,117)))
    return count


def op_QDVgd2eftb(a, b):
    if a != 19:
        return op_kuIXHzHcAH(op_WkeUrDK8WX(267),op_3Oe9XWJUTD(b,a))
    else:
        return op_XhwjNDsVaA(op_rJVOvQCfKK(b,372),op_C6VvDP6HwP(b))

def op_count_QDVgd2eftb(a, b):
    if a != 19:
        count = op_count_WkeUrDK8WX(267)+op_count_3Oe9XWJUTD(b,a)+op_count_kuIXHzHcAH(op_WkeUrDK8WX(267),op_3Oe9XWJUTD(b,a))
    else:
        count = op_count_rJVOvQCfKK(b,372)+op_count_C6VvDP6HwP(b)+op_count_XhwjNDsVaA(op_rJVOvQCfKK(b,372),op_C6VvDP6HwP(b))
    return count


def op_W4tP9CfskL(a, b):
    if (op_7IPrd9c3lf(a) <= 50 or b <= 499 or op_2GS7woTJqF(b,218) == 39):
        return op_18saOjeKKm(op_0kmYd0q39Y(op_YSKBFp38Pu(b,b),op_Ph9nP6C5qx(b,a)))
    else:
        return op_9HNa5Wba9A(op_XIabStNQrY(op_eewbuw0ToL(b,a)),op_XPYlsWDdGa(op_JDUIKTTSIa(b,b)))

def op_count_W4tP9CfskL(a, b):
    if (op_7IPrd9c3lf(a) <= 50 or b <= 499 or op_2GS7woTJqF(b,218) == 39):
        count = op_count_YSKBFp38Pu(b,b)+op_count_Ph9nP6C5qx(b,a)+op_count_0kmYd0q39Y(op_YSKBFp38Pu(b,b),op_Ph9nP6C5qx(b,a))+op_count_18saOjeKKm(op_0kmYd0q39Y(op_YSKBFp38Pu(b,b),op_Ph9nP6C5qx(b,a)))+op_count_7IPrd9c3lf(a)+op_count_2GS7woTJqF(b,218)
    else:
        count = op_count_eewbuw0ToL(b,a)+op_count_XIabStNQrY(op_eewbuw0ToL(b,a))+op_count_JDUIKTTSIa(b,b)+op_count_XPYlsWDdGa(op_JDUIKTTSIa(b,b))+op_count_9HNa5Wba9A(op_XIabStNQrY(op_eewbuw0ToL(b,a)),op_XPYlsWDdGa(op_JDUIKTTSIa(b,b)))
    return count


def op_212REbPD9h(a, b):
    if op_f6k1SAg4EE(a,898) >= 359:
        return op_2DQ55sFlQl(op_w2P8NbNXyL(430,b),b)
    else:
        return op_w2P8NbNXyL(op_eLxqMNBOBk(b),op_Qy55tPpLXF(26,b))

def op_count_212REbPD9h(a, b):
    if op_f6k1SAg4EE(a,898) >= 359:
        count = op_count_w2P8NbNXyL(430,b)+op_count_2DQ55sFlQl(op_w2P8NbNXyL(430,b),b)+op_count_f6k1SAg4EE(a,898)
    else:
        count = op_count_eLxqMNBOBk(b)+op_count_Qy55tPpLXF(26,b)+op_count_w2P8NbNXyL(op_eLxqMNBOBk(b),op_Qy55tPpLXF(26,b))
    return count


def op_kHoXpA7yos(a):
    return op_SUmda5xLS4(a,op_8HhzD0ZcuI(op_9Isq31Ruls(a,a),op_KPf6cnQVty(a,a)))

def op_count_kHoXpA7yos(a):
    count = op_count_9Isq31Ruls(a,a)+op_count_KPf6cnQVty(a,a)+op_count_8HhzD0ZcuI(op_9Isq31Ruls(a,a),op_KPf6cnQVty(a,a))+op_count_SUmda5xLS4(a,op_8HhzD0ZcuI(op_9Isq31Ruls(a,a),op_KPf6cnQVty(a,a)))
    return count


def op_y75s1iXyHd(a, b):
    return op_7qqUquhhSb(op_srAu1WTS94(op_oacrs7FA3X(a,b)))

def op_count_y75s1iXyHd(a, b):
    count = op_count_oacrs7FA3X(a,b)+op_count_srAu1WTS94(op_oacrs7FA3X(a,b))+op_count_7qqUquhhSb(op_srAu1WTS94(op_oacrs7FA3X(a,b)))
    return count


def op_CqXKPLVYql(a):
    if (a <= 186 and a < 741 and op_MmTdOpaElr(a) < 232):
        return op_eewbuw0ToL(op_2Wsdkap16l(a,a),op_eLxqMNBOBk(488))
    else:
        return op_JclMnS0uGI(op_bJkvcejdHO(a,a),op_KbjG8mgYpV(973,a))

def op_count_CqXKPLVYql(a):
    if (a <= 186 and a < 741 and op_MmTdOpaElr(a) < 232):
        count = op_count_2Wsdkap16l(a,a)+op_count_eLxqMNBOBk(488)+op_count_eewbuw0ToL(op_2Wsdkap16l(a,a),op_eLxqMNBOBk(488))+op_count_MmTdOpaElr(a)
    else:
        count = op_count_bJkvcejdHO(a,a)+op_count_KbjG8mgYpV(973,a)+op_count_JclMnS0uGI(op_bJkvcejdHO(a,a),op_KbjG8mgYpV(973,a))
    return count


def op_kn8WO9XteQ(a, b):
    if op_LkLIoiE525(b) > 445 or op_61wBmkZwlr(b) > 319 or b <= 69:
        return op_Y7wcNGrDQJ(op_vRio1gEz1j(486),op_PPChnnnBFF(a,a))
    else:
        return op_8jW3W4yZS5(op_SWo3A1KBJH(b))

def op_count_kn8WO9XteQ(a, b):
    if op_LkLIoiE525(b) > 445 or op_61wBmkZwlr(b) > 319 or b <= 69:
        count = op_count_vRio1gEz1j(486)+op_count_PPChnnnBFF(a,a)+op_count_Y7wcNGrDQJ(op_vRio1gEz1j(486),op_PPChnnnBFF(a,a))+op_count_LkLIoiE525(b)+op_count_61wBmkZwlr(b)
    else:
        count = op_count_SWo3A1KBJH(b)+op_count_8jW3W4yZS5(op_SWo3A1KBJH(b))
    return count


def op_wicAB68Tmb(a, b):
    return op_aSik1wnThz(op_oacrs7FA3X(op_L05ObWFQCd(a,b),op_eLxqMNBOBk(385)))

def op_count_wicAB68Tmb(a, b):
    count = op_count_L05ObWFQCd(a,b)+op_count_eLxqMNBOBk(385)+op_count_oacrs7FA3X(op_L05ObWFQCd(a,b),op_eLxqMNBOBk(385))+op_count_aSik1wnThz(op_oacrs7FA3X(op_L05ObWFQCd(a,b),op_eLxqMNBOBk(385)))
    return count


def op_4X4GscPmMf(a):
    if op_cTDWOvIxvz(a,72) != 68:
        return op_w2P8NbNXyL(op_DbCuESL50I(op_hrf7POJlIJ(a,a)),op_BUOGQAYlQx(op_9bazX3JMtO(a,60)))
    else:
        return op_uFcxV4UQCh(op_3EYGwJThht(op_bJkvcejdHO(a,503),op_nhYeJWJD5X(a,a)),a)

def op_count_4X4GscPmMf(a):
    if op_cTDWOvIxvz(a,72) != 68:
        count = op_count_hrf7POJlIJ(a,a)+op_count_DbCuESL50I(op_hrf7POJlIJ(a,a))+op_count_9bazX3JMtO(a,60)+op_count_BUOGQAYlQx(op_9bazX3JMtO(a,60))+op_count_w2P8NbNXyL(op_DbCuESL50I(op_hrf7POJlIJ(a,a)),op_BUOGQAYlQx(op_9bazX3JMtO(a,60)))+op_count_cTDWOvIxvz(a,72)
    else:
        count = op_count_bJkvcejdHO(a,503)+op_count_nhYeJWJD5X(a,a)+op_count_3EYGwJThht(op_bJkvcejdHO(a,503),op_nhYeJWJD5X(a,a))+op_count_uFcxV4UQCh(op_3EYGwJThht(op_bJkvcejdHO(a,503),op_nhYeJWJD5X(a,a)),a)
    return count


def op_Dk5vyLCiGd(a):
    return op_IWmyXbctLI(a,26)

def op_count_Dk5vyLCiGd(a):
    count = op_count_IWmyXbctLI(a,26)
    return count


def op_8INZBEW696(a, b):
    if op_KPf6cnQVty(a,555) < 251:
        return op_2DlMacCsIx(a,b)
    else:
        return op_l07mrZUIn9(306)

def op_count_8INZBEW696(a, b):
    if op_KPf6cnQVty(a,555) < 251:
        count = op_count_2DlMacCsIx(a,b)+op_count_KPf6cnQVty(a,555)
    else:
        count = op_count_l07mrZUIn9(306)
    return count


def op_LXhwmt4mBO(a, b):
    return op_d7ASUq0ydm(op_DZ8iAZOCBD(9,b),op_rJVOvQCfKK(a,a))

def op_count_LXhwmt4mBO(a, b):
    count = op_count_DZ8iAZOCBD(9,b)+op_count_rJVOvQCfKK(a,a)+op_count_d7ASUq0ydm(op_DZ8iAZOCBD(9,b),op_rJVOvQCfKK(a,a))
    return count


⋎⨆a = { (a⪇≇⋚a) , if (⊁⨺a)>31 and (⨡↴a)>=90 ; (136↪⪝) , else }

def op_E64sFOc4tB(a):
    if op_PxiHyQbrIp(a) > 31 and op_liw5iZPkLH(a) >= 90:
        return op_3sJ7IOPOlU(a,a)
    else:
        return op_l07mrZUIn9(136)

def op_count_E64sFOc4tB(a):
    if op_PxiHyQbrIp(a) > 31 and op_liw5iZPkLH(a) >= 90:
        count = op_count_3sJ7IOPOlU(a,a)+op_count_PxiHyQbrIp(a)+op_count_liw5iZPkLH(a)
    else:
        count = op_count_l07mrZUIn9(136)
    return count


def op_qL4PrbW1Dq(a):
    if op_oacrs7FA3X(a,111) >= 396 or op_apS25hmuAe(a) != 229 or op_iuk5sVOGFA(a) < 228:
        return op_8cLx32lpNA(a,a)
    else:
        return op_X99M06cbEe(a)

def op_count_qL4PrbW1Dq(a):
    if op_oacrs7FA3X(a,111) >= 396 or op_apS25hmuAe(a) != 229 or op_iuk5sVOGFA(a) < 228:
        count = op_count_8cLx32lpNA(a,a)+op_count_oacrs7FA3X(a,111)+op_count_apS25hmuAe(a)+op_count_iuk5sVOGFA(a)
    else:
        count = op_count_X99M06cbEe(a)
    return count


a⇻⋧≁b = { ((⫓⪴a)⫚↹⊑(54≫≃)) , if (a∵≐)<=35 or a>411 ; ((⪝⪂⫅b)⇄(290⨑≵⋬a)) , else }

def op_jCPkEVoL5K(a, b):
    if op_59igzFyhWz(a) <= 35 or a > 411:
        return op_dfKe02y8D2(op_eLxqMNBOBk(a),op_X99M06cbEe(54))
    else:
        return op_3EYGwJThht(op_XTarYq4gQB(b),op_XnXgA4xnOs(290,a))

def op_count_jCPkEVoL5K(a, b):
    if op_59igzFyhWz(a) <= 35 or a > 411:
        count = op_count_eLxqMNBOBk(a)+op_count_X99M06cbEe(54)+op_count_dfKe02y8D2(op_eLxqMNBOBk(a),op_X99M06cbEe(54))+op_count_59igzFyhWz(a)
    else:
        count = op_count_XTarYq4gQB(b)+op_count_XnXgA4xnOs(290,a)+op_count_3EYGwJThht(op_XTarYq4gQB(b),op_XnXgA4xnOs(290,a))
    return count


a⫳≱↱b = { (((a⩹b)⇐≅)∌((a∙∹∝345)⊱⇼⊻(b≎⊠⪸a))) }

def op_ZvLB05nZmT(a, b):
    return op_8cLx32lpNA(op_wEfv7U73WA(op_2Wsdkap16l(a,b)),op_FyVja0WsTP(op_HmxsFra2vL(a,345),op_bJkvcejdHO(b,a)))

def op_count_ZvLB05nZmT(a, b):
    count = op_count_2Wsdkap16l(a,b)+op_count_wEfv7U73WA(op_2Wsdkap16l(a,b))+op_count_HmxsFra2vL(a,345)+op_count_bJkvcejdHO(b,a)+op_count_FyVja0WsTP(op_HmxsFra2vL(a,345),op_bJkvcejdHO(b,a))+op_count_8cLx32lpNA(op_wEfv7U73WA(op_2Wsdkap16l(a,b)),op_FyVja0WsTP(op_HmxsFra2vL(a,345),op_bJkvcejdHO(b,a)))
    return count


def op_aA7tF3KVD3(a):
    return op_L05ObWFQCd(op_XhwjNDsVaA(104,a),op_bl5wxAcryP(a))

def op_count_aA7tF3KVD3(a):
    count = op_count_XhwjNDsVaA(104,a)+op_count_bl5wxAcryP(a)+op_count_L05ObWFQCd(op_XhwjNDsVaA(104,a),op_bl5wxAcryP(a))
    return count


def op_Bi9z9uYZqW(a):
    return op_SWo3A1KBJH(op_bx9Z9DAK5y(op_SUmda5xLS4(a,a)))

def op_count_Bi9z9uYZqW(a):
    count = op_count_SUmda5xLS4(a,a)+op_count_bx9Z9DAK5y(op_SUmda5xLS4(a,a))+op_count_SWo3A1KBJH(op_bx9Z9DAK5y(op_SUmda5xLS4(a,a)))
    return count


def op_QbnwKVWMIQ(a, b):
    if op_WR6HLWljOP(b,721) < 125:
        return op_nhYeJWJD5X(b,op_PPChnnnBFF(58,a))
    else:
        return op_jLgFTUHLKL(op_f6k1SAg4EE(508,a))

def op_count_QbnwKVWMIQ(a, b):
    if op_WR6HLWljOP(b,721) < 125:
        count = op_count_PPChnnnBFF(58,a)+op_count_nhYeJWJD5X(b,op_PPChnnnBFF(58,a))+op_count_WR6HLWljOP(b,721)
    else:
        count = op_count_f6k1SAg4EE(508,a)+op_count_jLgFTUHLKL(op_f6k1SAg4EE(508,a))
    return count


def op_RhiyfpczSx(a):
    if op_HrjLwUk87U(a,13) >= 164:
        return op_nhYeJWJD5X(64,a)
    else:
        return op_Z5m6OM72h2(a,op_sJAwomhLZr(a))

def op_count_RhiyfpczSx(a):
    if op_HrjLwUk87U(a,13) >= 164:
        count = op_count_nhYeJWJD5X(64,a)+op_count_HrjLwUk87U(a,13)
    else:
        count = op_count_sJAwomhLZr(a)+op_count_Z5m6OM72h2(a,op_sJAwomhLZr(a))
    return count


def op_tcjXMdvYtA(a):
    return op_xRrnTEsQ6j(op_oPMjh9089D(op_XTarYq4gQB(a)),op_oacrs7FA3X(a,op_BUOGQAYlQx(a)))

def op_count_tcjXMdvYtA(a):
    count = op_count_XTarYq4gQB(a)+op_count_oPMjh9089D(op_XTarYq4gQB(a))+op_count_BUOGQAYlQx(a)+op_count_oacrs7FA3X(a,op_BUOGQAYlQx(a))+op_count_xRrnTEsQ6j(op_oPMjh9089D(op_XTarYq4gQB(a)),op_oacrs7FA3X(a,op_BUOGQAYlQx(a)))
    return count


def op_G9tJMlZ94a(a):
    return op_k8jYdgA6NY(a,a)

def op_count_G9tJMlZ94a(a):
    count = op_count_k8jYdgA6NY(a,a)
    return count


⊵⊁a = { (a⇔⨋) , if a>58 ; (a%a) , else }

def op_AvED76WdY7(a):
    if a > 58:
        return op_uBihLCJcMX(a)
    else:
        return op_k8jYdgA6NY(a,a)

def op_count_AvED76WdY7(a):
    if a > 58:
        count = op_count_uBihLCJcMX(a)
    else:
        count = op_count_k8jYdgA6NY(a,a)
    return count


def op_gub5Cegaqo(a, b):
    return op_IWmyXbctLI(op_IWmyXbctLI(b,b),op_DpFCA1CohY(a))

def op_count_gub5Cegaqo(a, b):
    count = op_count_IWmyXbctLI(b,b)+op_count_DpFCA1CohY(a)+op_count_IWmyXbctLI(op_IWmyXbctLI(b,b),op_DpFCA1CohY(a))
    return count


def op_LdNpr8hQHL(a):
    return op_uFcxV4UQCh(a,392)

def op_count_LdNpr8hQHL(a):
    count = op_count_uFcxV4UQCh(a,392)
    return count


∐⩳⋚a = { (⊲⪭((⇠a)⪶≀⋏(a⪒a))) , if (⫟a)==290 ; ((⪝⪂⫅(105⫁⪎a))⊬⨰(a≧⫂∧(a∷a))) , else }

def op_SL6IHkK8vl(a):
    if op_z4E1FaHLuy(a) == 290:
        return op_k7HXdKtiEU(op_zR4jO40bMj(op_18saOjeKKm(a),op_f6k1SAg4EE(a,a)))
    else:
        return op_s3Fd5m9Dh2(op_XTarYq4gQB(op_xRrnTEsQ6j(105,a)),op_Ph9nP6C5qx(a,op_D3AQDKkPcf(a,a)))

def op_count_SL6IHkK8vl(a):
    if op_z4E1FaHLuy(a) == 290:
        count = op_count_18saOjeKKm(a)+op_count_f6k1SAg4EE(a,a)+op_count_zR4jO40bMj(op_18saOjeKKm(a),op_f6k1SAg4EE(a,a))+op_count_k7HXdKtiEU(op_zR4jO40bMj(op_18saOjeKKm(a),op_f6k1SAg4EE(a,a)))+op_count_z4E1FaHLuy(a)
    else:
        count = op_count_xRrnTEsQ6j(105,a)+op_count_XTarYq4gQB(op_xRrnTEsQ6j(105,a))+op_count_D3AQDKkPcf(a,a)+op_count_Ph9nP6C5qx(a,op_D3AQDKkPcf(a,a))+op_count_s3Fd5m9Dh2(op_XTarYq4gQB(op_xRrnTEsQ6j(105,a)),op_Ph9nP6C5qx(a,op_D3AQDKkPcf(a,a)))
    return count


⩷⨜⫀a = { (a∇⊂⋱383) , if a<1 ; (↔a) , else }

def op_CDi0ktkjQ4(a):
    if a < 1:
        return op_nhYeJWJD5X(a,383)
    else:
        return op_ruOEQAzv1W(a)

def op_count_CDi0ktkjQ4(a):
    if a < 1:
        count = op_count_nhYeJWJD5X(a,383)
    else:
        count = op_count_ruOEQAzv1W(a)
    return count


def op_EKiFHuOFxO(a):
    return op_5twsqlHp2o(op_8HhzD0ZcuI(a,a),op_dfKe02y8D2(a,79))

def op_count_EKiFHuOFxO(a):
    count = op_count_8HhzD0ZcuI(a,a)+op_count_dfKe02y8D2(a,79)+op_count_5twsqlHp2o(op_8HhzD0ZcuI(a,a),op_dfKe02y8D2(a,79))
    return count


def op_1eCjFl0mb9(a, b):
    return op_rJVOvQCfKK(op_9HNa5Wba9A(b,a),op_61wBmkZwlr(a))

def op_count_1eCjFl0mb9(a, b):
    count = op_count_9HNa5Wba9A(b,a)+op_count_61wBmkZwlr(a)+op_count_rJVOvQCfKK(op_9HNa5Wba9A(b,a),op_61wBmkZwlr(a))
    return count


a≴⪞⇿b = { ((⋗⩬⋾(b≚⊃≕166))⋥≓≎(⨵≀≌(⨑⩽⪐a))) }

def op_lvlrscuwVU(a, b):
    return op_Qy55tPpLXF(op_DpFCA1CohY(op_Bmrmz2XGnR(b,166)),op_srAu1WTS94(op_AF7qkfDlqP(a)))

def op_count_lvlrscuwVU(a, b):
    count = op_count_Bmrmz2XGnR(b,166)+op_count_DpFCA1CohY(op_Bmrmz2XGnR(b,166))+op_count_AF7qkfDlqP(a)+op_count_srAu1WTS94(op_AF7qkfDlqP(a))+op_count_Qy55tPpLXF(op_DpFCA1CohY(op_Bmrmz2XGnR(b,166)),op_srAu1WTS94(op_AF7qkfDlqP(a)))
    return count


def op_KmoU8R5UQR(a, b):
    return op_eRqsBgTDFp(op_JL8yIekQnl(a),op_ukq6epAj5P(b,158))

def op_count_KmoU8R5UQR(a, b):
    count = op_count_JL8yIekQnl(a)+op_count_ukq6epAj5P(b,158)+op_count_eRqsBgTDFp(op_JL8yIekQnl(a),op_ukq6epAj5P(b,158))
    return count


def op_AcOhelriW5(a):
    return op_liw5iZPkLH(op_s3Fd5m9Dh2(172,op_yyfyN0ffXY(3,a)))

def op_count_AcOhelriW5(a):
    count = op_count_yyfyN0ffXY(3,a)+op_count_s3Fd5m9Dh2(172,op_yyfyN0ffXY(3,a))+op_count_liw5iZPkLH(op_s3Fd5m9Dh2(172,op_yyfyN0ffXY(3,a)))
    return count


def op_waWucp1uQ4(a):
    return op_mp7IySMOzn(a,a)

def op_count_waWucp1uQ4(a):
    count = op_count_mp7IySMOzn(a,a)
    return count


def op_6aG7x05OhS(a):
    return op_dWAJyo7jo9(a,a)

def op_count_6aG7x05OhS(a):
    count = op_count_dWAJyo7jo9(a,a)
    return count


def op_U4ylXWHChL(a):
    return op_o20kRiQErp(op_AFVx7xoS7T(op_tmPS8pqC7x(a,a),op_Ikt5ks8PT7(a,a)))

def op_count_U4ylXWHChL(a):
    count = op_count_tmPS8pqC7x(a,a)+op_count_Ikt5ks8PT7(a,a)+op_count_AFVx7xoS7T(op_tmPS8pqC7x(a,a),op_Ikt5ks8PT7(a,a))+op_count_o20kRiQErp(op_AFVx7xoS7T(op_tmPS8pqC7x(a,a),op_Ikt5ks8PT7(a,a)))
    return count


def op_uvdQJvN4PV(a, b):
    return op_RZ5CV9rWsJ(op_FyVja0WsTP(op_rysDP5nf3Z(b,a),op_HrjLwUk87U(a,23)),op_Tcnh7f0tEr(op_WYd1w68Nbz(612)))

def op_count_uvdQJvN4PV(a, b):
    count = op_count_rysDP5nf3Z(b,a)+op_count_HrjLwUk87U(a,23)+op_count_FyVja0WsTP(op_rysDP5nf3Z(b,a),op_HrjLwUk87U(a,23))+op_count_WYd1w68Nbz(612)+op_count_Tcnh7f0tEr(op_WYd1w68Nbz(612))+op_count_RZ5CV9rWsJ(op_FyVja0WsTP(op_rysDP5nf3Z(b,a),op_HrjLwUk87U(a,23)),op_Tcnh7f0tEr(op_WYd1w68Nbz(612)))
    return count


def op_VEQNXA0ZBg(a):
    return op_dWAJyo7jo9(a,a)

def op_count_VEQNXA0ZBg(a):
    count = op_count_dWAJyo7jo9(a,a)
    return count


a∛≔ = { (((⊙↵-a)⋾⨃∁(a⨻⩈⩔a))≝⊿(a⫸⇳(a⫯⪬∳a))) }

def op_mGnSCrte3L(a):
    return op_OKKcZfAt5B(op_212REbPD9h(op_oWn0xqSxBt(a),op_nEsXyWgiOK(a,a)),op_gx7XJ7hdpj(a,op_d7ASUq0ydm(a,a)))

def op_count_mGnSCrte3L(a):
    count = op_count_oWn0xqSxBt(a)+op_count_nEsXyWgiOK(a,a)+op_count_212REbPD9h(op_oWn0xqSxBt(a),op_nEsXyWgiOK(a,a))+op_count_d7ASUq0ydm(a,a)+op_count_gx7XJ7hdpj(a,op_d7ASUq0ydm(a,a))+op_count_OKKcZfAt5B(op_212REbPD9h(op_oWn0xqSxBt(a),op_nEsXyWgiOK(a,a)),op_gx7XJ7hdpj(a,op_d7ASUq0ydm(a,a)))
    return count


a≁↽≥b = { (a⊝⪿⪼b) , if b>=116 ; (⊙↵-b) , else }

def op_ncHt1X6cMc(a, b):
    if b >= 116:
        return op_3Oe9XWJUTD(a,b)
    else:
        return op_oWn0xqSxBt(b)

def op_count_ncHt1X6cMc(a, b):
    if b >= 116:
        count = op_count_3Oe9XWJUTD(a,b)
    else:
        count = op_count_oWn0xqSxBt(b)
    return count


def op_gJLn6v0xnP(a, b):
    if op_aA7tF3KVD3(b) > 356:
        return op_mp7IySMOzn(b,a)
    else:
        return op_QvoQhV0rrE(702,488)

def op_count_gJLn6v0xnP(a, b):
    if op_aA7tF3KVD3(b) > 356:
        count = op_count_mp7IySMOzn(b,a)+op_count_aA7tF3KVD3(b)
    else:
        count = op_count_QvoQhV0rrE(702,488)
    return count


a↓⨍⋜ = { (((a≝⊿a)⪶≀⋏(a∸))⨑≵⋬((a⋥⋵⩄a)∘(a⪶≀⋏a))) }

def op_3DVzLFNsE9(a):
    return op_XnXgA4xnOs(op_zR4jO40bMj(op_OKKcZfAt5B(a,a),op_o20kRiQErp(a)),op_Z5m6OM72h2(op_7t3wd0Fuz7(a,a),op_zR4jO40bMj(a,a)))

def op_count_3DVzLFNsE9(a):
    count = op_count_OKKcZfAt5B(a,a)+op_count_o20kRiQErp(a)+op_count_zR4jO40bMj(op_OKKcZfAt5B(a,a),op_o20kRiQErp(a))+op_count_7t3wd0Fuz7(a,a)+op_count_zR4jO40bMj(a,a)+op_count_Z5m6OM72h2(op_7t3wd0Fuz7(a,a),op_zR4jO40bMj(a,a))+op_count_XnXgA4xnOs(op_zR4jO40bMj(op_OKKcZfAt5B(a,a),op_o20kRiQErp(a)),op_Z5m6OM72h2(op_7t3wd0Fuz7(a,a),op_zR4jO40bMj(a,a)))
    return count


⇈a = { (((⨰⫟⨤60)⋥≓≎(a⫍⨯↯))⇻⋧≁((a⇼⇔∾a)⨽(323⊉≛↸a))) }

def op_SLLxy00UIr(a):
    return op_jCPkEVoL5K(op_Qy55tPpLXF(op_Tw270M8GLb(60),op_ZcwmYACASQ(a)),op_8HhzD0ZcuI(op_tifHPKVTfV(a,a),op_DZ8iAZOCBD(323,a)))

def op_count_SLLxy00UIr(a):
    count = op_count_Tw270M8GLb(60)+op_count_ZcwmYACASQ(a)+op_count_Qy55tPpLXF(op_Tw270M8GLb(60),op_ZcwmYACASQ(a))+op_count_tifHPKVTfV(a,a)+op_count_DZ8iAZOCBD(323,a)+op_count_8HhzD0ZcuI(op_tifHPKVTfV(a,a),op_DZ8iAZOCBD(323,a))+op_count_jCPkEVoL5K(op_Qy55tPpLXF(op_Tw270M8GLb(60),op_ZcwmYACASQ(a)),op_8HhzD0ZcuI(op_tifHPKVTfV(a,a),op_DZ8iAZOCBD(323,a)))
    return count


a≀⫉b = { (((55≣⋋)∝(a⩷∴a))⊱⇼⊻((a⪉⨛b)⩧⪆(b⋭≵475))) }

def op_oZj3VtZNQx(a, b):
    return op_FyVja0WsTP(op_cTDWOvIxvz(op_Tcnh7f0tEr(55),op_9FxExcQeMw(a,a)),op_Ikt5ks8PT7(op_EWw2JM7wp4(a,b),op_jBncVCNhdl(b,475)))

def op_count_oZj3VtZNQx(a, b):
    count = op_count_Tcnh7f0tEr(55)+op_count_9FxExcQeMw(a,a)+op_count_cTDWOvIxvz(op_Tcnh7f0tEr(55),op_9FxExcQeMw(a,a))+op_count_EWw2JM7wp4(a,b)+op_count_jBncVCNhdl(b,475)+op_count_Ikt5ks8PT7(op_EWw2JM7wp4(a,b),op_jBncVCNhdl(b,475))+op_count_FyVja0WsTP(op_cTDWOvIxvz(op_Tcnh7f0tEr(55),op_9FxExcQeMw(a,a)),op_Ikt5ks8PT7(op_EWw2JM7wp4(a,b),op_jBncVCNhdl(b,475)))
    return count


⪫⨮⊛a = { a , if (a⨭⪣527)<=182 ; ((⨰⫟⨤(a⪄a))⩖⊿((a⊬⨰a)∟)) , else }

def op_w5FWba1tyO(a):
    if op_kn8WO9XteQ(a,527) <= 182:
        return a
    else:
        return op_RZ5CV9rWsJ(op_Tw270M8GLb(op_SUmda5xLS4(a,a)),op_hTbEZDJLEm(op_s3Fd5m9Dh2(a,a)))

def op_count_w5FWba1tyO(a):
    if op_kn8WO9XteQ(a,527) <= 182:
        count = 1
    else:
        count = op_count_SUmda5xLS4(a,a)+op_count_Tw270M8GLb(op_SUmda5xLS4(a,a))+op_count_s3Fd5m9Dh2(a,a)+op_count_hTbEZDJLEm(op_s3Fd5m9Dh2(a,a))+op_count_RZ5CV9rWsJ(op_Tw270M8GLb(op_SUmda5xLS4(a,a)),op_hTbEZDJLEm(op_s3Fd5m9Dh2(a,a)))
    return count


≑⋹a = { (((a⨓a)⫣⪄⊒(148∸))⇴(⩦⩻⨪(a⇂≾⫗a))) , if a<188 ; (⩎⋉((a⩼⇪↪a)⊭↱(a⪶≀⋏172))) , else }

def op_6B9nyZLogK(a):
    if a < 188:
        return op_4JB6nKBMSY(op_RabNbG55vr(op_3ViojmjbAp(a,a),op_o20kRiQErp(148)),op_2td37pGCOC(op_aBQ6xLxuTc(a,a)))
    else:
        return op_FlXk3pOYe8(op_COABgblf1C(op_ocnLzx9CaJ(a,a),op_zR4jO40bMj(a,172)))

def op_count_6B9nyZLogK(a):
    if a < 188:
        count = op_count_3ViojmjbAp(a,a)+op_count_o20kRiQErp(148)+op_count_RabNbG55vr(op_3ViojmjbAp(a,a),op_o20kRiQErp(148))+op_count_aBQ6xLxuTc(a,a)+op_count_2td37pGCOC(op_aBQ6xLxuTc(a,a))+op_count_4JB6nKBMSY(op_RabNbG55vr(op_3ViojmjbAp(a,a),op_o20kRiQErp(148)),op_2td37pGCOC(op_aBQ6xLxuTc(a,a)))
    else:
        count = op_count_ocnLzx9CaJ(a,a)+op_count_zR4jO40bMj(a,172)+op_count_COABgblf1C(op_ocnLzx9CaJ(a,a),op_zR4jO40bMj(a,172))+op_count_FlXk3pOYe8(op_COABgblf1C(op_ocnLzx9CaJ(a,a),op_zR4jO40bMj(a,172)))
    return count


def op_VCtxkLNOzz(a, b):
    if (op_xRrnTEsQ6j(b,966) != 450 or a != 328 or a == 643):
        return op_mp7IySMOzn(b,b)
    else:
        return op_Ph9nP6C5qx(b,a)

def op_count_VCtxkLNOzz(a, b):
    if (op_xRrnTEsQ6j(b,966) != 450 or a != 328 or a == 643):
        count = op_count_mp7IySMOzn(b,b)+op_count_xRrnTEsQ6j(b,966)
    else:
        count = op_count_Ph9nP6C5qx(b,a)
    return count


a⊕∕b = { ((b⪝9)↙(⨮↦↱b)) , if (b≣⋋)>174 ; a , else }

def op_9cloC0Ngie(a, b):
    if op_Tcnh7f0tEr(b) > 174:
        return op_yyfyN0ffXY(op_wicAB68Tmb(b,9),op_sYcpBQ0cFf(b))
    else:
        return a

def op_count_9cloC0Ngie(a, b):
    if op_Tcnh7f0tEr(b) > 174:
        count = op_count_wicAB68Tmb(b,9)+op_count_sYcpBQ0cFf(b)+op_count_yyfyN0ffXY(op_wicAB68Tmb(b,9),op_sYcpBQ0cFf(b))+op_count_Tcnh7f0tEr(b)
    else:
        count = 1
    return count


def op_z9ffQ9n5Zr(a, b):
    if op_nlCqmYiOvY(b) >= 161:
        return op_3ViojmjbAp(b,a)
    else:
        return op_1h0rLqGiFr(34)

def op_count_z9ffQ9n5Zr(a, b):
    if op_nlCqmYiOvY(b) >= 161:
        count = op_count_3ViojmjbAp(b,a)+op_count_nlCqmYiOvY(b)
    else:
        count = op_count_1h0rLqGiFr(34)
    return count


⫵↿a = { ((a⫃⨇256)∽(a∀⇚≩66)) , if (⇨a)>=1 ; (↯⪼(a⨫⇇↔a)) , else }

def op_ivGwdmUAux(a):
    if op_G9tJMlZ94a(a) >= 1:
        return op_y4ImoPnbV5(op_09Ly4LVMIf(a,256),op_LRNGc0VcxI(a,66))
    else:
        return op_8jW3W4yZS5(op_LXhwmt4mBO(a,a))

def op_count_ivGwdmUAux(a):
    if op_G9tJMlZ94a(a) >= 1:
        count = op_count_09Ly4LVMIf(a,256)+op_count_LRNGc0VcxI(a,66)+op_count_y4ImoPnbV5(op_09Ly4LVMIf(a,256),op_LRNGc0VcxI(a,66))+op_count_G9tJMlZ94a(a)
    else:
        count = op_count_LXhwmt4mBO(a,a)+op_count_8jW3W4yZS5(op_LXhwmt4mBO(a,a))
    return count


a⪔b = { (((⫇a)∓⋝(61⪢b))⪮%⊝((b⋝⋈⪟b)⨚(a≀⩗∶a))) }

def op_GjBEYRfMaF(a, b):
    return op_IWmyXbctLI(op_PoHhknlbAi(op_YjI8oCXuph(a),op_dWAJyo7jo9(61,b)),op_nREPSIbpBE(op_2DDjHMKMc0(b,b),op_8INZBEW696(a,a)))

def op_count_GjBEYRfMaF(a, b):
    count = op_count_YjI8oCXuph(a)+op_count_dWAJyo7jo9(61,b)+op_count_PoHhknlbAi(op_YjI8oCXuph(a),op_dWAJyo7jo9(61,b))+op_count_2DDjHMKMc0(b,b)+op_count_8INZBEW696(a,a)+op_count_nREPSIbpBE(op_2DDjHMKMc0(b,b),op_8INZBEW696(a,a))+op_count_IWmyXbctLI(op_PoHhknlbAi(op_YjI8oCXuph(a),op_dWAJyo7jo9(61,b)),op_nREPSIbpBE(op_2DDjHMKMc0(b,b),op_8INZBEW696(a,a)))
    return count


a⨚⇆b = { (a∀⇚≩(b⊲⩕⊾a)) , if (⇙⪊b)<61 ; ((36∓⋝b)∀⇚≩(a⫸⇳b)) , else }

def op_lwHaAYXP2r(a, b):
    if op_pB6Fcnrjim(b) < 61:
        return op_LRNGc0VcxI(a,op_DmTXOeWf9t(b,a))
    else:
        return op_LRNGc0VcxI(op_PoHhknlbAi(36,b),op_gx7XJ7hdpj(a,b))

def op_count_lwHaAYXP2r(a, b):
    if op_pB6Fcnrjim(b) < 61:
        count = op_count_DmTXOeWf9t(b,a)+op_count_LRNGc0VcxI(a,op_DmTXOeWf9t(b,a))+op_count_pB6Fcnrjim(b)
    else:
        count = op_count_PoHhknlbAi(36,b)+op_count_gx7XJ7hdpj(a,b)+op_count_LRNGc0VcxI(op_PoHhknlbAi(36,b),op_gx7XJ7hdpj(a,b))
    return count


def op_Qctrpi3WzA(a):
    return op_Nsiff2A1zJ(a,a)

def op_count_Qctrpi3WzA(a):
    count = op_count_Nsiff2A1zJ(a,a)
    return count


a⋐⇩⊬ = { (a⨔⇊a) , if (a∊∟⩊189)<=582 ; (a⇷a) , else }

def op_JuuLT1NoCs(a):
    if op_ddLRYrp01A(a,189) <= 582:
        return op_JclMnS0uGI(a,a)
    else:
        return op_mp7IySMOzn(a,a)

def op_count_JuuLT1NoCs(a):
    if op_ddLRYrp01A(a,189) <= 582:
        count = op_count_JclMnS0uGI(a,a)+op_count_ddLRYrp01A(a,189)
    else:
        count = op_count_mp7IySMOzn(a,a)
    return count


≸≮a = { (a⊴((a⨔≚≋a)⫰⋱(∤↝a))) , if (a>367 and (a≬⋮702)!=1) ; (⊀((∷≠a)⩉⊫⨁)) , else }

def op_AljMvE3RRm(a):
    if (a > 367 and op_kbkesczE7y(a,702) != 1):
        return op_Nsiff2A1zJ(a,op_6o9Blt3TJ6(op_Z57zeUYC9z(a,a),op_3UMq87Qwqg(a)))
    else:
        return op_oPMjh9089D(op_7qqUquhhSb(op_QiR2Oyf5Xj(a)))

def op_count_AljMvE3RRm(a):
    if (a > 367 and op_kbkesczE7y(a,702) != 1):
        count = op_count_Z57zeUYC9z(a,a)+op_count_3UMq87Qwqg(a)+op_count_6o9Blt3TJ6(op_Z57zeUYC9z(a,a),op_3UMq87Qwqg(a))+op_count_Nsiff2A1zJ(a,op_6o9Blt3TJ6(op_Z57zeUYC9z(a,a),op_3UMq87Qwqg(a)))+op_count_kbkesczE7y(a,702)
    else:
        count = op_count_QiR2Oyf5Xj(a)+op_count_7qqUquhhSb(op_QiR2Oyf5Xj(a))+op_count_oPMjh9089D(op_7qqUquhhSb(op_QiR2Oyf5Xj(a)))
    return count


def op_O9U3z1385E(a):
    if (op_kuIXHzHcAH(a,684) != 357 and op_tcjXMdvYtA(a) < 480 and op_k7HXdKtiEU(a) >= 673):
        return op_zVYPLywUTj(op_ukq6epAj5P(a,a))
    else:
        return op_LYeZOJ0nQG(op_FU0Cs4j7VP(a))

def op_count_O9U3z1385E(a):
    if (op_kuIXHzHcAH(a,684) != 357 and op_tcjXMdvYtA(a) < 480 and op_k7HXdKtiEU(a) >= 673):
        count = op_count_ukq6epAj5P(a,a)+op_count_zVYPLywUTj(op_ukq6epAj5P(a,a))+op_count_kuIXHzHcAH(a,684)+op_count_tcjXMdvYtA(a)+op_count_k7HXdKtiEU(a)
    else:
        count = op_count_FU0Cs4j7VP(a)+op_count_LYeZOJ0nQG(op_FU0Cs4j7VP(a))
    return count


def op_I7sXao9hZE(a, b):
    return op_dWAJyo7jo9(op_nlCqmYiOvY(op_wxb3vTeyAj(b)),a)

def op_count_I7sXao9hZE(a, b):
    count = op_count_wxb3vTeyAj(b)+op_count_nlCqmYiOvY(op_wxb3vTeyAj(b))+op_count_dWAJyo7jo9(op_nlCqmYiOvY(op_wxb3vTeyAj(b)),a)
    return count


def op_cRahaglYVE(a):
    if op_D4vGDi5EA2(a) > 473:
        return op_zR4jO40bMj(op_dWAJyo7jo9(a,op_mp7IySMOzn(a,a)),op_A8NUZmVepG(op_XGcMNugi78(30,376)))
    else:
        return op_g55IO6H4Gj(121,op_bJkvcejdHO(op_DmTXOeWf9t(a,a),op_grXIztHqDa(28)))

def op_count_cRahaglYVE(a):
    if op_D4vGDi5EA2(a) > 473:
        count = op_count_mp7IySMOzn(a,a)+op_count_dWAJyo7jo9(a,op_mp7IySMOzn(a,a))+op_count_XGcMNugi78(30,376)+op_count_A8NUZmVepG(op_XGcMNugi78(30,376))+op_count_zR4jO40bMj(op_dWAJyo7jo9(a,op_mp7IySMOzn(a,a)),op_A8NUZmVepG(op_XGcMNugi78(30,376)))+op_count_D4vGDi5EA2(a)
    else:
        count = op_count_DmTXOeWf9t(a,a)+op_count_grXIztHqDa(28)+op_count_bJkvcejdHO(op_DmTXOeWf9t(a,a),op_grXIztHqDa(28))+op_count_g55IO6H4Gj(121,op_bJkvcejdHO(op_DmTXOeWf9t(a,a),op_grXIztHqDa(28)))
    return count


def op_LBdsKIvxzf(a):
    if op_xRrnTEsQ6j(a,18) <= 15:
        return op_Noe24qw2ks(op_Tw270M8GLb(603),op_d7ASUq0ydm(a,a))
    else:
        return op_dfKe02y8D2(167,op_rysDP5nf3Z(a,a))

def op_count_LBdsKIvxzf(a):
    if op_xRrnTEsQ6j(a,18) <= 15:
        count = op_count_Tw270M8GLb(603)+op_count_d7ASUq0ydm(a,a)+op_count_Noe24qw2ks(op_Tw270M8GLb(603),op_d7ASUq0ydm(a,a))+op_count_xRrnTEsQ6j(a,18)
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_dfKe02y8D2(167,op_rysDP5nf3Z(a,a))
    return count


def op_u0R0Locfp2(a):
    if op_Nsiff2A1zJ(a,910) > 461:
        return op_6o9Blt3TJ6(a,a)
    else:
        return op_mp7IySMOzn(240,213)

def op_count_u0R0Locfp2(a):
    if op_Nsiff2A1zJ(a,910) > 461:
        count = op_count_6o9Blt3TJ6(a,a)+op_count_Nsiff2A1zJ(a,910)
    else:
        count = op_count_mp7IySMOzn(240,213)
    return count


a⫲≸⪮b = { (⋼∭⪍a) , if (⊙↵-b)>333 ; (a⨪↰⇹b) , else }

def op_P3lXMJvFrc(a, b):
    if op_oWn0xqSxBt(b) > 333:
        return op_DbCuESL50I(a)
    else:
        return op_tmPS8pqC7x(a,b)

def op_count_P3lXMJvFrc(a, b):
    if op_oWn0xqSxBt(b) > 333:
        count = op_count_DbCuESL50I(a)+op_count_oWn0xqSxBt(b)
    else:
        count = op_count_tmPS8pqC7x(a,b)
    return count


def op_CzM2PEoXns(a):
    return op_dWAJyo7jo9(a,a)

def op_count_CzM2PEoXns(a):
    count = op_count_dWAJyo7jo9(a,a)
    return count


def op_5obUd6DV38(a):
    return op_nlCqmYiOvY(op_T2fj7uvVaJ(a,a))

def op_count_5obUd6DV38(a):
    count = op_count_T2fj7uvVaJ(a,a)+op_count_nlCqmYiOvY(op_T2fj7uvVaJ(a,a))
    return count


def op_6SnOT2rOjz(a):
    return op_tmPS8pqC7x(op_mp7IySMOzn(a,0),op_Bmrmz2XGnR(a,a))

def op_count_6SnOT2rOjz(a):
    count = op_count_mp7IySMOzn(a,0)+op_count_Bmrmz2XGnR(a,a)+op_count_tmPS8pqC7x(op_mp7IySMOzn(a,0),op_Bmrmz2XGnR(a,a))
    return count


def op_UnCoSGIALn(a):
    return op_mp7IySMOzn(229,a)

def op_count_UnCoSGIALn(a):
    count = op_count_mp7IySMOzn(229,a)
    return count


def op_5TUYCnJO6w(a):
    if (op_pRsWfj4Fpp(a) < 5 or op_MGuIdZPyUC(a) >= 19 or op_k7HXdKtiEU(a) == 199):
        return a
    else:
        return op_diKm42VcIt(op_UqFzSgLMvQ(op_yyfyN0ffXY(a,a)))

def op_count_5TUYCnJO6w(a):
    if (op_pRsWfj4Fpp(a) < 5 or op_MGuIdZPyUC(a) >= 19 or op_k7HXdKtiEU(a) == 199):
        count = 1
    else:
        count = op_count_yyfyN0ffXY(a,a)+op_count_UqFzSgLMvQ(op_yyfyN0ffXY(a,a))+op_count_diKm42VcIt(op_UqFzSgLMvQ(op_yyfyN0ffXY(a,a)))
    return count


a⋻⩜⩜b = { (495⨚a) , if (a⨕⋳)!=7 and b>=394 and a<693 ; (b⇷a) , else }

def op_oDCm7WA9JY(a, b):
    if op_4X4GscPmMf(a) != 7 and b >= 394 and a < 693:
        return op_nREPSIbpBE(495,a)
    else:
        return op_mp7IySMOzn(b,a)

def op_count_oDCm7WA9JY(a, b):
    if op_4X4GscPmMf(a) != 7 and b >= 394 and a < 693:
        count = op_count_nREPSIbpBE(495,a)+op_count_4X4GscPmMf(a)
    else:
        count = op_count_mp7IySMOzn(b,a)
    return count


def op_iA2gmKZ3Wj(a):
    return op_Tcnh7f0tEr(op_z6LnFrNh4i(a,272))

def op_count_iA2gmKZ3Wj(a):
    count = op_count_z6LnFrNh4i(a,272)+op_count_Tcnh7f0tEr(op_z6LnFrNh4i(a,272))
    return count


def op_JwTKLfZU96(a, b):
    return op_T2fj7uvVaJ(op_WR6HLWljOP(op_7YooWSwCyH(a,104),op_XhwjNDsVaA(147,b)),op_B3sABdIn96(op_DhbWaqg5eL(b)))

def op_count_JwTKLfZU96(a, b):
    count = op_count_7YooWSwCyH(a,104)+op_count_XhwjNDsVaA(147,b)+op_count_WR6HLWljOP(op_7YooWSwCyH(a,104),op_XhwjNDsVaA(147,b))+op_count_DhbWaqg5eL(b)+op_count_B3sABdIn96(op_DhbWaqg5eL(b))+op_count_T2fj7uvVaJ(op_WR6HLWljOP(op_7YooWSwCyH(a,104),op_XhwjNDsVaA(147,b)),op_B3sABdIn96(op_DhbWaqg5eL(b)))
    return count


def op_dcShxvzhyw(a):
    return op_HK0tfVPux8(op_7YooWSwCyH(224,a),op_FU0Cs4j7VP(a))

def op_count_dcShxvzhyw(a):
    count = op_count_7YooWSwCyH(224,a)+op_count_FU0Cs4j7VP(a)+op_count_HK0tfVPux8(op_7YooWSwCyH(224,a),op_FU0Cs4j7VP(a))
    return count


a↓b = { (((b⇷b)∓⋝b)⨐((462≴⪞⇿a)∇⊂⋱(a⋓a))) }

def op_Af076pWI7l(a, b):
    return op_Noe24qw2ks(op_PoHhknlbAi(op_mp7IySMOzn(b,b),b),op_nhYeJWJD5X(op_lvlrscuwVU(462,a),op_T2fj7uvVaJ(a,a)))

def op_count_Af076pWI7l(a, b):
    count = op_count_mp7IySMOzn(b,b)+op_count_PoHhknlbAi(op_mp7IySMOzn(b,b),b)+op_count_lvlrscuwVU(462,a)+op_count_T2fj7uvVaJ(a,a)+op_count_nhYeJWJD5X(op_lvlrscuwVU(462,a),op_T2fj7uvVaJ(a,a))+op_count_Noe24qw2ks(op_PoHhknlbAi(op_mp7IySMOzn(b,b),b),op_nhYeJWJD5X(op_lvlrscuwVU(462,a),op_T2fj7uvVaJ(a,a)))
    return count


def op_vEGLkm4Z2k(a):
    return op_tmPS8pqC7x(op_D3AQDKkPcf(op_oacrs7FA3X(a,a),op_kbkesczE7y(a,a)),op_cTDWOvIxvz(a,op_2MzE1hQ0cz(a)))

def op_count_vEGLkm4Z2k(a):
    count = op_count_oacrs7FA3X(a,a)+op_count_kbkesczE7y(a,a)+op_count_D3AQDKkPcf(op_oacrs7FA3X(a,a),op_kbkesczE7y(a,a))+op_count_2MzE1hQ0cz(a)+op_count_cTDWOvIxvz(a,op_2MzE1hQ0cz(a))+op_count_tmPS8pqC7x(op_D3AQDKkPcf(op_oacrs7FA3X(a,a),op_kbkesczE7y(a,a)),op_cTDWOvIxvz(a,op_2MzE1hQ0cz(a)))
    return count


a∳⫺b = { (a≣⋋) , if (b⫳≱↱947)==166 ; (a⇣⩺⋵b) , else }

def op_AzXXKTstlj(a, b):
    if op_ZvLB05nZmT(b,947) == 166:
        return op_Tcnh7f0tEr(a)
    else:
        return op_F4yD0voBRQ(a,b)

def op_count_AzXXKTstlj(a, b):
    if op_ZvLB05nZmT(b,947) == 166:
        count = op_count_Tcnh7f0tEr(a)+op_count_ZvLB05nZmT(b,947)
    else:
        count = op_count_F4yD0voBRQ(a,b)
    return count


def op_48vC8HMD2b(a, b):
    if (op_tfWHHpNKUN(a) != 319 or op_7j4O788W3g(a,926) < 190):
        return op_X99M06cbEe(op_tcjXMdvYtA(op_3ViojmjbAp(b,a)))
    else:
        return op_dfKe02y8D2(op_OwUj7dcsQK(a),op_86A5ENbKR9(op_D4vGDi5EA2(a)))

def op_count_48vC8HMD2b(a, b):
    if (op_tfWHHpNKUN(a) != 319 or op_7j4O788W3g(a,926) < 190):
        count = op_count_3ViojmjbAp(b,a)+op_count_tcjXMdvYtA(op_3ViojmjbAp(b,a))+op_count_X99M06cbEe(op_tcjXMdvYtA(op_3ViojmjbAp(b,a)))+op_count_tfWHHpNKUN(a)+op_count_7j4O788W3g(a,926)
    else:
        count = op_count_OwUj7dcsQK(a)+op_count_D4vGDi5EA2(a)+op_count_86A5ENbKR9(op_D4vGDi5EA2(a))+op_count_dfKe02y8D2(op_OwUj7dcsQK(a),op_86A5ENbKR9(op_D4vGDi5EA2(a)))
    return count


a↳∿⪆b = { ((⨰⫟⨤(↔15))⨻⩈⩔((b⪛⫼133)⫡⨏(b→⨶⪴a))) }

def op_Cw4SuJJGHO(a, b):
    return op_nEsXyWgiOK(op_Tw270M8GLb(op_ruOEQAzv1W(15)),op_QMFrweE19q(op_hyuBjUqXlG(b,133),op_bF6eod5Gvf(b,a)))

def op_count_Cw4SuJJGHO(a, b):
    count = op_count_ruOEQAzv1W(15)+op_count_Tw270M8GLb(op_ruOEQAzv1W(15))+op_count_hyuBjUqXlG(b,133)+op_count_bF6eod5Gvf(b,a)+op_count_QMFrweE19q(op_hyuBjUqXlG(b,133),op_bF6eod5Gvf(b,a))+op_count_nEsXyWgiOK(op_Tw270M8GLb(op_ruOEQAzv1W(15)),op_QMFrweE19q(op_hyuBjUqXlG(b,133),op_bF6eod5Gvf(b,a)))
    return count


def op_SR5kFfdi6N(a, b):
    if (a == 35 or op_k4iM1060OG(b) > 46):
        return op_Nsiff2A1zJ(op_eOf03JbCpp(a),op_Noe24qw2ks(op_ddLRYrp01A(b,b),op_2GS7woTJqF(a,830)))
    else:
        return op_bF6eod5Gvf(op_apS25hmuAe(b),op_j9kHMeSvPp(op_pRsWfj4Fpp(b),op_XnXgA4xnOs(b,499)))

def op_count_SR5kFfdi6N(a, b):
    if (a == 35 or op_k4iM1060OG(b) > 46):
        count = op_count_eOf03JbCpp(a)+op_count_ddLRYrp01A(b,b)+op_count_2GS7woTJqF(a,830)+op_count_Noe24qw2ks(op_ddLRYrp01A(b,b),op_2GS7woTJqF(a,830))+op_count_Nsiff2A1zJ(op_eOf03JbCpp(a),op_Noe24qw2ks(op_ddLRYrp01A(b,b),op_2GS7woTJqF(a,830)))+op_count_k4iM1060OG(b)
    else:
        count = op_count_apS25hmuAe(b)+op_count_pRsWfj4Fpp(b)+op_count_XnXgA4xnOs(b,499)+op_count_j9kHMeSvPp(op_pRsWfj4Fpp(b),op_XnXgA4xnOs(b,499))+op_count_bF6eod5Gvf(op_apS25hmuAe(b),op_j9kHMeSvPp(op_pRsWfj4Fpp(b),op_XnXgA4xnOs(b,499)))
    return count


def op_D617RFjZIq(a):
    return op_hTbEZDJLEm(op_o20kRiQErp(a))

def op_count_D617RFjZIq(a):
    count = op_count_o20kRiQErp(a)+op_count_hTbEZDJLEm(op_o20kRiQErp(a))
    return count


def op_aMUSaJuDRU(a):
    return op_g55IO6H4Gj(op_qWUSsah53b(148),op_tmPS8pqC7x(a,a))

def op_count_aMUSaJuDRU(a):
    count = op_count_qWUSsah53b(148)+op_count_tmPS8pqC7x(a,a)+op_count_g55IO6H4Gj(op_qWUSsah53b(148),op_tmPS8pqC7x(a,a))
    return count


def op_0KMCeP1Jsh(a, b):
    return op_jfAgQ2OQeM(op_bPywburJMS(op_T2fj7uvVaJ(b,a),op_2td37pGCOC(a)))

def op_count_0KMCeP1Jsh(a, b):
    count = op_count_T2fj7uvVaJ(b,a)+op_count_2td37pGCOC(a)+op_count_bPywburJMS(op_T2fj7uvVaJ(b,a),op_2td37pGCOC(a))+op_count_jfAgQ2OQeM(op_bPywburJMS(op_T2fj7uvVaJ(b,a),op_2td37pGCOC(a)))
    return count