↗⫟↹a = { (a∝a) , if (≦a)==543 ; (71⇼⇔∾a) , else }

def op_0Ubpz6TKRn(a):
    if op_RPa3726CSl(a) == 543:
        return op_cTDWOvIxvz(a,a)
    else:
        return op_tifHPKVTfV(71,a)

def op_count_0Ubpz6TKRn(a):
    if op_RPa3726CSl(a) == 543:
        count = op_count_cTDWOvIxvz(a,a)+op_count_RPa3726CSl(a)
    else:
        count = op_count_tifHPKVTfV(71,a)
    return count


def op_757zn0zn6y(a):
    return op_inCIaGQf8u(op_P8v4zCKN1o(op_s0kPeV9Vm2(a)),op_pRsWfj4Fpp(op_N41Kp7NANJ(a)))

def op_count_757zn0zn6y(a):
    count = op_count_s0kPeV9Vm2(a)+op_count_P8v4zCKN1o(op_s0kPeV9Vm2(a))+op_count_N41Kp7NANJ(a)+op_count_pRsWfj4Fpp(op_N41Kp7NANJ(a))+op_count_inCIaGQf8u(op_P8v4zCKN1o(op_s0kPeV9Vm2(a)),op_pRsWfj4Fpp(op_N41Kp7NANJ(a)))
    return count


def op_QyvSKE2hBf(a):
    return op_Sq3AGanRSD(op_dfKe02y8D2(op_dfKe02y8D2(a,a),op_jvbZP6NeOL(a)),op_pRsWfj4Fpp(op_th50nGnoUm(a)))

def op_count_QyvSKE2hBf(a):
    count = op_count_dfKe02y8D2(a,a)+op_count_jvbZP6NeOL(a)+op_count_dfKe02y8D2(op_dfKe02y8D2(a,a),op_jvbZP6NeOL(a))+op_count_th50nGnoUm(a)+op_count_pRsWfj4Fpp(op_th50nGnoUm(a))+op_count_Sq3AGanRSD(op_dfKe02y8D2(op_dfKe02y8D2(a,a),op_jvbZP6NeOL(a)),op_pRsWfj4Fpp(op_th50nGnoUm(a)))
    return count


def op_XKLyAmQZcp(a):
    return op_keuJNkrrbj(43,a)

def op_count_XKLyAmQZcp(a):
    count = op_count_keuJNkrrbj(43,a)
    return count


def op_w30Z8TZG8s(a, b):
    return op_0kmYd0q39Y(op_t0cKpDWDXO(op_Z5m6OM72h2(a,b)),op_tifHPKVTfV(op_qy3n0tapmE(b,b),op_cWQsF5MvuD(86)))

def op_count_w30Z8TZG8s(a, b):
    count = op_count_Z5m6OM72h2(a,b)+op_count_t0cKpDWDXO(op_Z5m6OM72h2(a,b))+op_count_qy3n0tapmE(b,b)+op_count_cWQsF5MvuD(86)+op_count_tifHPKVTfV(op_qy3n0tapmE(b,b),op_cWQsF5MvuD(86))+op_count_0kmYd0q39Y(op_t0cKpDWDXO(op_Z5m6OM72h2(a,b)),op_tifHPKVTfV(op_qy3n0tapmE(b,b),op_cWQsF5MvuD(86)))
    return count


def op_rg8zEDJi9b(a):
    return op_g7Hmc5v1ko(297,a)

def op_count_rg8zEDJi9b(a):
    count = op_count_g7Hmc5v1ko(297,a)
    return count


def op_N2dd4xFYSL(a, b):
    return op_12rbrZMWeM(op_BUOGQAYlQx(b),op_6iafYuwGo8(b,a))

def op_count_N2dd4xFYSL(a, b):
    count = op_count_BUOGQAYlQx(b)+op_count_6iafYuwGo8(b,a)+op_count_12rbrZMWeM(op_BUOGQAYlQx(b),op_6iafYuwGo8(b,a))
    return count


a⪽⨻⫻b = { (((b∿⫑≎a)⇅)∝((a⨩≤⫤b)∘(a⨵⪆a))) }

def op_khThqOaB7M(a, b):
    return op_cTDWOvIxvz(op_oH594TLvBK(op_ar1w6gUwHX(b,a)),op_Z5m6OM72h2(op_neKQRQQIil(a,b),op_2DQ55sFlQl(a,a)))

def op_count_khThqOaB7M(a, b):
    count = op_count_ar1w6gUwHX(b,a)+op_count_oH594TLvBK(op_ar1w6gUwHX(b,a))+op_count_neKQRQQIil(a,b)+op_count_2DQ55sFlQl(a,a)+op_count_Z5m6OM72h2(op_neKQRQQIil(a,b),op_2DQ55sFlQl(a,a))+op_count_cTDWOvIxvz(op_oH594TLvBK(op_ar1w6gUwHX(b,a)),op_Z5m6OM72h2(op_neKQRQQIil(a,b),op_2DQ55sFlQl(a,a)))
    return count


def op_6RHhwxMoH8(a):
    if op_LmY23Q1aIi(a) != 506:
        return op_y4ImoPnbV5(op_XnXgA4xnOs(op_2jG7DiviLq(491),op_kweVJGAjhl(a)),op_OWnFPqjWlR(op_uOZ1tnYMDE(153),op_Noe24qw2ks(192,a)))
    else:
        return a

def op_count_6RHhwxMoH8(a):
    if op_LmY23Q1aIi(a) != 506:
        count = op_count_2jG7DiviLq(491)+op_count_kweVJGAjhl(a)+op_count_XnXgA4xnOs(op_2jG7DiviLq(491),op_kweVJGAjhl(a))+op_count_uOZ1tnYMDE(153)+op_count_Noe24qw2ks(192,a)+op_count_OWnFPqjWlR(op_uOZ1tnYMDE(153),op_Noe24qw2ks(192,a))+op_count_y4ImoPnbV5(op_XnXgA4xnOs(op_2jG7DiviLq(491),op_kweVJGAjhl(a)),op_OWnFPqjWlR(op_uOZ1tnYMDE(153),op_Noe24qw2ks(192,a)))+op_count_LmY23Q1aIi(a)
    else:
        count = 1
    return count


def op_lWNx0gx4UD(a, b):
    return op_Siyfjn51pv(op_sM9mzqIDB1(b,a))

def op_count_lWNx0gx4UD(a, b):
    count = op_count_sM9mzqIDB1(b,a)+op_count_Siyfjn51pv(op_sM9mzqIDB1(b,a))
    return count


def op_P2ujY7PT9s(a):
    return op_wisItNeSwq(op_H0pizIJMoW(op_S3tN1ZzpSt(a,a)))

def op_count_P2ujY7PT9s(a):
    count = op_count_S3tN1ZzpSt(a,a)+op_count_H0pizIJMoW(op_S3tN1ZzpSt(a,a))+op_count_wisItNeSwq(op_H0pizIJMoW(op_S3tN1ZzpSt(a,a)))
    return count


def op_AU7eUHalbZ(a, b):
    if (a <= 435 and b > 94):
        return op_kbkesczE7y(op_12rbrZMWeM(op_y2kQTS4a70(a,b),op_GMyVS5K48T(a,260)),op_3YWlZA9bsa(op_Rw46J52cBJ(a,a),op_w2P8NbNXyL(24,339)))
    else:
        return op_eaFBhJ0Uku(b,op_1tCtMSPkGf(op_qy3n0tapmE(b,b)))

def op_count_AU7eUHalbZ(a, b):
    if (a <= 435 and b > 94):
        count = op_count_y2kQTS4a70(a,b)+op_count_GMyVS5K48T(a,260)+op_count_12rbrZMWeM(op_y2kQTS4a70(a,b),op_GMyVS5K48T(a,260))+op_count_Rw46J52cBJ(a,a)+op_count_w2P8NbNXyL(24,339)+op_count_3YWlZA9bsa(op_Rw46J52cBJ(a,a),op_w2P8NbNXyL(24,339))+op_count_kbkesczE7y(op_12rbrZMWeM(op_y2kQTS4a70(a,b),op_GMyVS5K48T(a,260)),op_3YWlZA9bsa(op_Rw46J52cBJ(a,a),op_w2P8NbNXyL(24,339)))
    else:
        count = op_count_qy3n0tapmE(b,b)+op_count_1tCtMSPkGf(op_qy3n0tapmE(b,b))+op_count_eaFBhJ0Uku(b,op_1tCtMSPkGf(op_qy3n0tapmE(b,b)))
    return count


def op_7uHeZHp005(a):
    return op_iz8sE888QL(op_y4ImoPnbV5(a,a))

def op_count_7uHeZHp005(a):
    count = op_count_y4ImoPnbV5(a,a)+op_count_iz8sE888QL(op_y4ImoPnbV5(a,a))
    return count


⪨⇶⩻a = { (a⪉⨛a) , if (a⨻⪊⨷761)!=138 ; (⊲⪭a) , else }

def op_RfmSMOQ2FJ(a):
    if op_Pkwamo1tM2(a,761) != 138:
        return op_EWw2JM7wp4(a,a)
    else:
        return op_k7HXdKtiEU(a)

def op_count_RfmSMOQ2FJ(a):
    if op_Pkwamo1tM2(a,761) != 138:
        count = op_count_EWw2JM7wp4(a,a)+op_count_Pkwamo1tM2(a,761)
    else:
        count = op_count_k7HXdKtiEU(a)
    return count


⋶⩦⇊a = { (a⪈⋁⩁a) , if a<756 ; (≉98) , else }

def op_OF9A0jlboB(a):
    if a < 756:
        return op_GMyVS5K48T(a,a)
    else:
        return op_e1ybzncUwg(98)

def op_count_OF9A0jlboB(a):
    if a < 756:
        count = op_count_GMyVS5K48T(a,a)
    else:
        count = op_count_e1ybzncUwg(98)
    return count


def op_K58FMgbIrd(a, b):
    return op_nCS4ZIUYfx(op_840vADziXz(391),op_9Isq31Ruls(b,a))

def op_count_K58FMgbIrd(a, b):
    count = op_count_840vADziXz(391)+op_count_9Isq31Ruls(b,a)+op_count_nCS4ZIUYfx(op_840vADziXz(391),op_9Isq31Ruls(b,a))
    return count


a⨱↷⋐b = { (b⪚b) , if (a⊝⨜≵)>=0 ; (⫂2) , else }

def op_N4xFjQxcx5(a, b):
    if op_CuHhPb8RwQ(a) >= 0:
        return op_HrjLwUk87U(b,b)
    else:
        return op_U9HvHqtOoq(2)

def op_count_N4xFjQxcx5(a, b):
    if op_CuHhPb8RwQ(a) >= 0:
        count = op_count_HrjLwUk87U(b,b)+op_count_CuHhPb8RwQ(a)
    else:
        count = op_count_U9HvHqtOoq(2)
    return count


a⫫≝⪄b = { ((216⋐≟⩺487)↾⩰) , if (⩆⇋b)>=83 or (a∩⋅)!=93 ; ((b≼a)↜⊷(a⩤∜↚a)) , else }

def op_CfshEWpL66(a, b):
    if op_IjUb3wyICU(b) >= 83 or op_2MzE1hQ0cz(a) != 93:
        return op_GNmBfxrna9(op_PjbVkMzmXE(216,487))
    else:
        return op_irKjLsMeKy(op_SPuZE40Ntn(b,a),op_KROiRRz3d6(a,a))

def op_count_CfshEWpL66(a, b):
    if op_IjUb3wyICU(b) >= 83 or op_2MzE1hQ0cz(a) != 93:
        count = op_count_PjbVkMzmXE(216,487)+op_count_GNmBfxrna9(op_PjbVkMzmXE(216,487))+op_count_IjUb3wyICU(b)+op_count_2MzE1hQ0cz(a)
    else:
        count = op_count_SPuZE40Ntn(b,a)+op_count_KROiRRz3d6(a,a)+op_count_irKjLsMeKy(op_SPuZE40Ntn(b,a),op_KROiRRz3d6(a,a))
    return count


def op_3YPvtDmsNp(a):
    return op_tifHPKVTfV(op_EWw2JM7wp4(879,op_PrwIXj9ZQe(437)),op_DbCuESL50I(a))

def op_count_3YPvtDmsNp(a):
    count = op_count_PrwIXj9ZQe(437)+op_count_EWw2JM7wp4(879,op_PrwIXj9ZQe(437))+op_count_DbCuESL50I(a)+op_count_tifHPKVTfV(op_EWw2JM7wp4(879,op_PrwIXj9ZQe(437)),op_DbCuESL50I(a))
    return count


def op_u76zy1DpyB(a):
    return op_OwUj7dcsQK(op_09Ly4LVMIf(258,a))

def op_count_u76zy1DpyB(a):
    count = op_count_09Ly4LVMIf(258,a)+op_count_OwUj7dcsQK(op_09Ly4LVMIf(258,a))
    return count


def op_ubAxYR8Owx(a):
    return op_620seOwKww(op_d7ASUq0ydm(a,a))

def op_count_ubAxYR8Owx(a):
    count = op_count_d7ASUq0ydm(a,a)+op_count_620seOwKww(op_d7ASUq0ydm(a,a))
    return count


def op_sSgasXigbP(a, b):
    if op_rysDP5nf3Z(b,516) > 64:
        return op_ztP7wcbY7m(321)
    else:
        return op_V4yb4KDoeF(a,a)

def op_count_sSgasXigbP(a, b):
    if op_rysDP5nf3Z(b,516) > 64:
        count = op_count_ztP7wcbY7m(321)+op_count_rysDP5nf3Z(b,516)
    else:
        count = op_count_V4yb4KDoeF(a,a)
    return count


a⩋≜ = { (a⩤∜↚(a≟⫹a)) , if (⊖a)!=105 ; ((a⫏↛⩏a)⨚(a⩼⇪↪a)) , else }

def op_dWKOYqD1ba(a):
    if op_U6pG0PXrV3(a) != 105:
        return op_KROiRRz3d6(a,op_z2JHNkvbdm(a,a))
    else:
        return op_nREPSIbpBE(op_YC3tgrnOyr(a,a),op_ocnLzx9CaJ(a,a))

def op_count_dWKOYqD1ba(a):
    if op_U6pG0PXrV3(a) != 105:
        count = op_count_z2JHNkvbdm(a,a)+op_count_KROiRRz3d6(a,op_z2JHNkvbdm(a,a))+op_count_U6pG0PXrV3(a)
    else:
        count = op_count_YC3tgrnOyr(a,a)+op_count_ocnLzx9CaJ(a,a)+op_count_nREPSIbpBE(op_YC3tgrnOyr(a,a),op_ocnLzx9CaJ(a,a))
    return count


a⪱⊆⨫ = { (↖∇⇑a) , if ((a⨻⪊⨷540)<635 and a!=535) ; (a⊬⨰a) , else }

def op_3h5GKXUu7E(a):
    if (op_Pkwamo1tM2(a,540) < 635 and a != 535):
        return op_th50nGnoUm(a)
    else:
        return op_s3Fd5m9Dh2(a,a)

def op_count_3h5GKXUu7E(a):
    if (op_Pkwamo1tM2(a,540) < 635 and a != 535):
        count = op_count_th50nGnoUm(a)+op_count_Pkwamo1tM2(a,540)
    else:
        count = op_count_s3Fd5m9Dh2(a,a)
    return count


def op_Mk4ylCeGwW(a):
    if (a != 200 and a != 50):
        return op_R3vAdrE3IH(op_Bmrmz2XGnR(a,45))
    else:
        return op_y4ImoPnbV5(op_w2P8NbNXyL(660,502),op_S56z7WVPBn(a))

def op_count_Mk4ylCeGwW(a):
    if (a != 200 and a != 50):
        count = op_count_Bmrmz2XGnR(a,45)+op_count_R3vAdrE3IH(op_Bmrmz2XGnR(a,45))
    else:
        count = op_count_w2P8NbNXyL(660,502)+op_count_S56z7WVPBn(a)+op_count_y4ImoPnbV5(op_w2P8NbNXyL(660,502),op_S56z7WVPBn(a))
    return count


def op_WmIJXyFdIY(a):
    return op_7Nd029Vx1U(op_zR4jO40bMj(op_umQnsF7QlU(a,647),op_AF7qkfDlqP(a)))

def op_count_WmIJXyFdIY(a):
    count = op_count_umQnsF7QlU(a,647)+op_count_AF7qkfDlqP(a)+op_count_zR4jO40bMj(op_umQnsF7QlU(a,647),op_AF7qkfDlqP(a))+op_count_7Nd029Vx1U(op_zR4jO40bMj(op_umQnsF7QlU(a,647),op_AF7qkfDlqP(a)))
    return count


a≏⩫ = { a , if a!=187 ; (a⋥≓≎a) , else }

def op_Dcl7zTRuRg(a):
    if a != 187:
        return a
    else:
        return op_Qy55tPpLXF(a,a)

def op_count_Dcl7zTRuRg(a):
    if a != 187:
        count = 1
    else:
        count = op_count_Qy55tPpLXF(a,a)
    return count


def op_ix7EXTlSvf(a):
    return op_Rw46J52cBJ(op_8TQKPGA8Ba(263),op_neKQRQQIil(a,a))

def op_count_ix7EXTlSvf(a):
    count = op_count_8TQKPGA8Ba(263)+op_count_neKQRQQIil(a,a)+op_count_Rw46J52cBJ(op_8TQKPGA8Ba(263),op_neKQRQQIil(a,a))
    return count


a⪷⫽ = { a , if (⇾⩊⇾a)<90 ; ((⋾a)∿⫑≎(a⋳⪒222)) , else }

def op_t3nvZrvJJj(a):
    if op_bx9Z9DAK5y(a) < 90:
        return a
    else:
        return op_ar1w6gUwHX(op_8TQKPGA8Ba(a),op_12rbrZMWeM(a,222))

def op_count_t3nvZrvJJj(a):
    if op_bx9Z9DAK5y(a) < 90:
        count = 1
    else:
        count = op_count_8TQKPGA8Ba(a)+op_count_12rbrZMWeM(a,222)+op_count_ar1w6gUwHX(op_8TQKPGA8Ba(a),op_12rbrZMWeM(a,222))
    return count


a⫍⨐⪠ = { ((a⨮⨆)⩹a) , if a==2 ; ((⇻⫵a)⊉≛↸(a⇌⫙⪟350)) , else }

def op_rtKDK8dqzp(a):
    if a == 2:
        return op_2Wsdkap16l(op_s0kPeV9Vm2(a),a)
    else:
        return op_DZ8iAZOCBD(op_Wm7LHi3c8p(a),op_AFVx7xoS7T(a,350))

def op_count_rtKDK8dqzp(a):
    if a == 2:
        count = op_count_s0kPeV9Vm2(a)+op_count_2Wsdkap16l(op_s0kPeV9Vm2(a),a)
    else:
        count = op_count_Wm7LHi3c8p(a)+op_count_AFVx7xoS7T(a,350)+op_count_DZ8iAZOCBD(op_Wm7LHi3c8p(a),op_AFVx7xoS7T(a,350))
    return count


a⨖⋀⪧ = { ((263⨣∐↬(a∝a))≠≀((⫹a)∠↢(a⪯⫾⋍a))) }

def op_Yd9a1pGZCe(a):
    return op_IwW236VD4Y(op_UpkSd4zESC(263,op_cTDWOvIxvz(a,a)),op_KbjG8mgYpV(op_LmY23Q1aIi(a),op_S5ZFQS4GK3(a,a)))

def op_count_Yd9a1pGZCe(a):
    count = op_count_cTDWOvIxvz(a,a)+op_count_UpkSd4zESC(263,op_cTDWOvIxvz(a,a))+op_count_LmY23Q1aIi(a)+op_count_S5ZFQS4GK3(a,a)+op_count_KbjG8mgYpV(op_LmY23Q1aIi(a),op_S5ZFQS4GK3(a,a))+op_count_IwW236VD4Y(op_UpkSd4zESC(263,op_cTDWOvIxvz(a,a)),op_KbjG8mgYpV(op_LmY23Q1aIi(a),op_S5ZFQS4GK3(a,a)))
    return count


a⋏⨬⋖b = { (((9⨑≵⋬a)≚⊃≕(92⊉≛↸b))⪁⨴⋨((128↼⊘⨖b)∶)) , if a!=712 ; (((a⊉↱≁a)⨔⊶↷(b⨬⫳))≽↲≰(∛⊵(a⊇≀≁))) , else }

def op_bDMTzmQgzE(a, b):
    if a != 712:
        return op_y2kQTS4a70(op_Bmrmz2XGnR(op_XnXgA4xnOs(9,a),op_DZ8iAZOCBD(92,b)),op_7FnCP1ejHT(op_bPywburJMS(128,b)))
    else:
        return op_cFVlceoRkX(op_WObL9SsYVE(op_w2P8NbNXyL(a,a),op_kc7iqVBlRY(b)),op_jfYOP67v6Y(op_AfoL3wC8aT(a)))

def op_count_bDMTzmQgzE(a, b):
    if a != 712:
        count = op_count_XnXgA4xnOs(9,a)+op_count_DZ8iAZOCBD(92,b)+op_count_Bmrmz2XGnR(op_XnXgA4xnOs(9,a),op_DZ8iAZOCBD(92,b))+op_count_bPywburJMS(128,b)+op_count_7FnCP1ejHT(op_bPywburJMS(128,b))+op_count_y2kQTS4a70(op_Bmrmz2XGnR(op_XnXgA4xnOs(9,a),op_DZ8iAZOCBD(92,b)),op_7FnCP1ejHT(op_bPywburJMS(128,b)))
    else:
        count = op_count_w2P8NbNXyL(a,a)+op_count_kc7iqVBlRY(b)+op_count_WObL9SsYVE(op_w2P8NbNXyL(a,a),op_kc7iqVBlRY(b))+op_count_AfoL3wC8aT(a)+op_count_jfYOP67v6Y(op_AfoL3wC8aT(a))+op_count_cFVlceoRkX(op_WObL9SsYVE(op_w2P8NbNXyL(a,a),op_kc7iqVBlRY(b)),op_jfYOP67v6Y(op_AfoL3wC8aT(a)))
    return count


def op_5D2yBlDA8a(a):
    return op_7PjNe5qSIJ(a,a)

def op_count_5D2yBlDA8a(a):
    count = op_count_7PjNe5qSIJ(a,a)
    return count


def op_7f5Pc1i0J5(a):
    return op_irKjLsMeKy(op_6LuFrogppQ(a),op_CuHhPb8RwQ(a))

def op_count_7f5Pc1i0J5(a):
    count = op_count_6LuFrogppQ(a)+op_count_CuHhPb8RwQ(a)+op_count_irKjLsMeKy(op_6LuFrogppQ(a),op_CuHhPb8RwQ(a))
    return count


def op_mtYELhq5uV(a):
    return op_f6k1SAg4EE(a,op_RygbFNSyEJ(op_9Isq31Ruls(a,a),op_JoLB3LXqXx(a,a)))

def op_count_mtYELhq5uV(a):
    count = op_count_9Isq31Ruls(a,a)+op_count_JoLB3LXqXx(a,a)+op_count_RygbFNSyEJ(op_9Isq31Ruls(a,a),op_JoLB3LXqXx(a,a))+op_count_f6k1SAg4EE(a,op_RygbFNSyEJ(op_9Isq31Ruls(a,a),op_JoLB3LXqXx(a,a)))
    return count


⩔↳a = { (⊄(⫊≏⨉36)) , if (⫳⪺∰a)>163 ; (⋗⩬⋾(a⋞a)) , else }

def op_JvH2m5hQ94(a):
    if op_eftAHwPbeA(a) > 163:
        return op_AnPstFaJd9(op_KED7KUUlGq(36))
    else:
        return op_DpFCA1CohY(op_V4yb4KDoeF(a,a))

def op_count_JvH2m5hQ94(a):
    if op_eftAHwPbeA(a) > 163:
        count = op_count_KED7KUUlGq(36)+op_count_AnPstFaJd9(op_KED7KUUlGq(36))+op_count_eftAHwPbeA(a)
    else:
        count = op_count_V4yb4KDoeF(a,a)+op_count_DpFCA1CohY(op_V4yb4KDoeF(a,a))
    return count


a⪤ = { ((⋄(a≼49))⪇≇⋚((a⨵⪆a)⩉⊫⨁)) , if (⫳⪺∰a)<283 or (a⊲⩕⊾338)<8 ; a , else }

def op_6wMB6h6wkN(a):
    if op_eftAHwPbeA(a) < 283 or op_DmTXOeWf9t(a,338) < 8:
        return op_3sJ7IOPOlU(op_k2B77S3vSv(op_SPuZE40Ntn(a,49)),op_7qqUquhhSb(op_2DQ55sFlQl(a,a)))
    else:
        return a

def op_count_6wMB6h6wkN(a):
    if op_eftAHwPbeA(a) < 283 or op_DmTXOeWf9t(a,338) < 8:
        count = op_count_SPuZE40Ntn(a,49)+op_count_k2B77S3vSv(op_SPuZE40Ntn(a,49))+op_count_2DQ55sFlQl(a,a)+op_count_7qqUquhhSb(op_2DQ55sFlQl(a,a))+op_count_3sJ7IOPOlU(op_k2B77S3vSv(op_SPuZE40Ntn(a,49)),op_7qqUquhhSb(op_2DQ55sFlQl(a,a)))+op_count_eftAHwPbeA(a)+op_count_DmTXOeWf9t(a,338)
    else:
        count = 1
    return count


⋞⨂⫏a = { ((a⇼⇔∾a)⨸⪁a) , if a==882 ; ((a∝183)∺≝⩲(a⫏↛⩏a)) , else }

def op_yEnfEu97Sw(a):
    if a == 882:
        return op_g55IO6H4Gj(op_tifHPKVTfV(a,a),a)
    else:
        return op_KPf6cnQVty(op_cTDWOvIxvz(a,183),op_YC3tgrnOyr(a,a))

def op_count_yEnfEu97Sw(a):
    if a == 882:
        count = op_count_tifHPKVTfV(a,a)+op_count_g55IO6H4Gj(op_tifHPKVTfV(a,a),a)
    else:
        count = op_count_cTDWOvIxvz(a,183)+op_count_YC3tgrnOyr(a,a)+op_count_KPf6cnQVty(op_cTDWOvIxvz(a,183),op_YC3tgrnOyr(a,a))
    return count


def op_wDT4Ugyy1U(a):
    if op_kuIXHzHcAH(a,6) <= 286:
        return op_XnXgA4xnOs(op_hmlrMsD2PO(op_y2kQTS4a70(0,a),op_R3vAdrE3IH(a)),op_DIvbN7qnHd(op_uPb5QRN0te(a)))
    else:
        return op_rIsGeVJWJF(op_SHWCOp9I4E(263))

def op_count_wDT4Ugyy1U(a):
    if op_kuIXHzHcAH(a,6) <= 286:
        count = op_count_y2kQTS4a70(0,a)+op_count_R3vAdrE3IH(a)+op_count_hmlrMsD2PO(op_y2kQTS4a70(0,a),op_R3vAdrE3IH(a))+op_count_uPb5QRN0te(a)+op_count_DIvbN7qnHd(op_uPb5QRN0te(a))+op_count_XnXgA4xnOs(op_hmlrMsD2PO(op_y2kQTS4a70(0,a),op_R3vAdrE3IH(a)),op_DIvbN7qnHd(op_uPb5QRN0te(a)))+op_count_kuIXHzHcAH(a,6)
    else:
        count = op_count_SHWCOp9I4E(263)+op_count_rIsGeVJWJF(op_SHWCOp9I4E(263))
    return count


def op_EHTPhddjmx(a):
    return op_2DQ55sFlQl(op_9bazX3JMtO(a,211),op_oPMjh9089D(a))

def op_count_EHTPhddjmx(a):
    count = op_count_9bazX3JMtO(a,211)+op_count_oPMjh9089D(a)+op_count_2DQ55sFlQl(op_9bazX3JMtO(a,211),op_oPMjh9089D(a))
    return count


def op_bC7qXxvICT(a):
    if op_AYdpE9sXAk(a) < 372:
        return op_uysxUYN2L2(op_vRio1gEz1j(a),op_IxJHfR5psi(a,a))
    else:
        return op_2DQ55sFlQl(op_2fAMLLeFHb(231),op_qxqspddX8k(a,a))

def op_count_bC7qXxvICT(a):
    if op_AYdpE9sXAk(a) < 372:
        count = op_count_vRio1gEz1j(a)+op_count_IxJHfR5psi(a,a)+op_count_uysxUYN2L2(op_vRio1gEz1j(a),op_IxJHfR5psi(a,a))+op_count_AYdpE9sXAk(a)
    else:
        count = op_count_2fAMLLeFHb(231)+op_count_qxqspddX8k(a,a)+op_count_2DQ55sFlQl(op_2fAMLLeFHb(231),op_qxqspddX8k(a,a))
    return count


def op_AY7WLukOfR(a):
    return op_LmY23Q1aIi(op_9FxExcQeMw(op_18saOjeKKm(a),op_Pkwamo1tM2(a,a)))

def op_count_AY7WLukOfR(a):
    count = op_count_18saOjeKKm(a)+op_count_Pkwamo1tM2(a,a)+op_count_9FxExcQeMw(op_18saOjeKKm(a),op_Pkwamo1tM2(a,a))+op_count_LmY23Q1aIi(op_9FxExcQeMw(op_18saOjeKKm(a),op_Pkwamo1tM2(a,a)))
    return count


def op_YYmmGX8gEu(a, b):
    if op_Noe24qw2ks(b,812) >= 80:
        return op_0MNWfHKp6a(b)
    else:
        return op_rysDP5nf3Z(b,a)

def op_count_YYmmGX8gEu(a, b):
    if op_Noe24qw2ks(b,812) >= 80:
        count = op_count_0MNWfHKp6a(b)+op_count_Noe24qw2ks(b,812)
    else:
        count = op_count_rysDP5nf3Z(b,a)
    return count


def op_hcGPmUmAHA(a):
    return op_E4l6HwMY31(a,a)

def op_count_hcGPmUmAHA(a):
    count = op_count_E4l6HwMY31(a,a)
    return count


def op_cCidRm28DL(a):
    if op_MmTdOpaElr(a) <= 226:
        return op_OGWBzMv138(859,a)
    else:
        return op_Eev2Q7dYIw(33)

def op_count_cCidRm28DL(a):
    if op_MmTdOpaElr(a) <= 226:
        count = op_count_OGWBzMv138(859,a)+op_count_MmTdOpaElr(a)
    else:
        count = op_count_Eev2Q7dYIw(33)
    return count


def op_9EYvfR4k4G(a):
    return op_inCIaGQf8u(op_620seOwKww(a),op_UeUK5QjOtW(a))

def op_count_9EYvfR4k4G(a):
    count = op_count_620seOwKww(a)+op_count_UeUK5QjOtW(a)+op_count_inCIaGQf8u(op_620seOwKww(a),op_UeUK5QjOtW(a))
    return count


a⫻⋰ = { (⊀((⊡⇒⪪a)≠≀(a⊓≱a))) , if (a⊢≏≾753)<106 ; ((⫊≏⨉(a≶a))⋅∹⩇) , else }

def op_IXQUgpeKaw(a):
    if op_qxqspddX8k(a,753) < 106:
        return op_oPMjh9089D(op_IwW236VD4Y(op_wisItNeSwq(a),op_VCG3UHNzLR(a,a)))
    else:
        return op_Tmr9JGNMVH(op_KED7KUUlGq(op_Q2SPaKwpPJ(a,a)))

def op_count_IXQUgpeKaw(a):
    if op_qxqspddX8k(a,753) < 106:
        count = op_count_wisItNeSwq(a)+op_count_VCG3UHNzLR(a,a)+op_count_IwW236VD4Y(op_wisItNeSwq(a),op_VCG3UHNzLR(a,a))+op_count_oPMjh9089D(op_IwW236VD4Y(op_wisItNeSwq(a),op_VCG3UHNzLR(a,a)))+op_count_qxqspddX8k(a,753)
    else:
        count = op_count_Q2SPaKwpPJ(a,a)+op_count_KED7KUUlGq(op_Q2SPaKwpPJ(a,a))+op_count_Tmr9JGNMVH(op_KED7KUUlGq(op_Q2SPaKwpPJ(a,a)))
    return count


def op_IrYVcuUed0(a):
    if a >= 167:
        return op_bPywburJMS(op_XbEAUggs3J(81),op_B4c4JXCTtZ(a))
    else:
        return op_qLBMy5fcJr(op_3YWlZA9bsa(a,582))

def op_count_IrYVcuUed0(a):
    if a >= 167:
        count = op_count_XbEAUggs3J(81)+op_count_B4c4JXCTtZ(a)+op_count_bPywburJMS(op_XbEAUggs3J(81),op_B4c4JXCTtZ(a))
    else:
        count = op_count_3YWlZA9bsa(a,582)+op_count_qLBMy5fcJr(op_3YWlZA9bsa(a,582))
    return count


a⊛∫b = { ((↞≼b)∅((⨍⩸↶b)⪚⨁⋖(642≐→⇾))) , if a!=5 ; a , else }

def op_VITHB2EcLN(a, b):
    if a != 5:
        return op_giaUb8UVhq(op_DE7zCoGJt9(b),op_xSk1F0pZbF(op_2jG7DiviLq(b),op_zV3pqYiQ5E(642)))
    else:
        return a

def op_count_VITHB2EcLN(a, b):
    if a != 5:
        count = op_count_DE7zCoGJt9(b)+op_count_2jG7DiviLq(b)+op_count_zV3pqYiQ5E(642)+op_count_xSk1F0pZbF(op_2jG7DiviLq(b),op_zV3pqYiQ5E(642))+op_count_giaUb8UVhq(op_DE7zCoGJt9(b),op_xSk1F0pZbF(op_2jG7DiviLq(b),op_zV3pqYiQ5E(642)))
    else:
        count = 1
    return count


def op_uGu51GOFDC(a):
    return op_QMFrweE19q(a,a)

def op_count_uGu51GOFDC(a):
    count = op_count_QMFrweE19q(a,a)
    return count


def op_36TGfoTytI(a, b):
    return op_rlpcYeipVY(op_ut0Nd8ObBp(op_b1mGkbI4Oy(a,b)))

def op_count_36TGfoTytI(a, b):
    count = op_count_b1mGkbI4Oy(a,b)+op_count_ut0Nd8ObBp(op_b1mGkbI4Oy(a,b))+op_count_rlpcYeipVY(op_ut0Nd8ObBp(op_b1mGkbI4Oy(a,b)))
    return count


def op_bsbByZDrTG(a, b):
    return op_3Oe9XWJUTD(op_2DRhT6gtPg(op_dfKe02y8D2(a,b)),b)

def op_count_bsbByZDrTG(a, b):
    count = op_count_dfKe02y8D2(a,b)+op_count_2DRhT6gtPg(op_dfKe02y8D2(a,b))+op_count_3Oe9XWJUTD(op_2DRhT6gtPg(op_dfKe02y8D2(a,b)),b)
    return count


a⋭⨀/b = { (b⨐b) , if a<=108 ; (b⇪⋱) , else }

def op_6Chw2r1Icb(a, b):
    if a <= 108:
        return op_Noe24qw2ks(b,b)
    else:
        return op_MKzNxCV7Yo(b)

def op_count_6Chw2r1Icb(a, b):
    if a <= 108:
        count = op_count_Noe24qw2ks(b,b)
    else:
        count = op_count_MKzNxCV7Yo(b)
    return count


a≡⨛⨀b = { (((⇙⪊a)⩌(a⩧⪆a))↜⊷b) , if (a⩜⩌)<=262 and (⩒∊a)>400 ; (((a-b)∘(b⫊⇚⊺a))⨣∐↬((98⇄a)⨑⋨180)) , else }

def op_9RfjkpV379(a, b):
    if op_2DRhT6gtPg(a) <= 262 and op_qazvmhNBbN(a) > 400:
        return op_irKjLsMeKy(op_UoVew8f2p2(op_pB6Fcnrjim(a),op_Ikt5ks8PT7(a,a)),b)
    else:
        return op_UpkSd4zESC(op_Z5m6OM72h2(op_rysDP5nf3Z(a,b),op_Y5cEcQhyKu(b,a)),op_tIhPxZTbsh(op_3EYGwJThht(98,a),180))

def op_count_9RfjkpV379(a, b):
    if op_2DRhT6gtPg(a) <= 262 and op_qazvmhNBbN(a) > 400:
        count = op_count_pB6Fcnrjim(a)+op_count_Ikt5ks8PT7(a,a)+op_count_UoVew8f2p2(op_pB6Fcnrjim(a),op_Ikt5ks8PT7(a,a))+op_count_irKjLsMeKy(op_UoVew8f2p2(op_pB6Fcnrjim(a),op_Ikt5ks8PT7(a,a)),b)+op_count_2DRhT6gtPg(a)+op_count_qazvmhNBbN(a)
    else:
        count = op_count_rysDP5nf3Z(a,b)+op_count_Y5cEcQhyKu(b,a)+op_count_Z5m6OM72h2(op_rysDP5nf3Z(a,b),op_Y5cEcQhyKu(b,a))+op_count_3EYGwJThht(98,a)+op_count_tIhPxZTbsh(op_3EYGwJThht(98,a),180)+op_count_UpkSd4zESC(op_Z5m6OM72h2(op_rysDP5nf3Z(a,b),op_Y5cEcQhyKu(b,a)),op_tIhPxZTbsh(op_3EYGwJThht(98,a),180))
    return count


def op_HNxyAwp1jS(a):
    return op_3nqY3DE9mg(op_2M7SKlOzyM(a,a))

def op_count_HNxyAwp1jS(a):
    count = op_count_2M7SKlOzyM(a,a)+op_count_3nqY3DE9mg(op_2M7SKlOzyM(a,a))
    return count


def op_meIKchaImn(a, b):
    if op_Siyfjn51pv(a) < 741:
        return op_U6pG0PXrV3(op_WObL9SsYVE(a,op_V4yb4KDoeF(601,476)))
    else:
        return op_nhYeJWJD5X(op_R3vAdrE3IH(op_LYeZOJ0nQG(b)),op_2GS7woTJqF(op_qAljGMXEZr(a),op_BAIXFdYaz3(b,255)))

def op_count_meIKchaImn(a, b):
    if op_Siyfjn51pv(a) < 741:
        count = op_count_V4yb4KDoeF(601,476)+op_count_WObL9SsYVE(a,op_V4yb4KDoeF(601,476))+op_count_U6pG0PXrV3(op_WObL9SsYVE(a,op_V4yb4KDoeF(601,476)))+op_count_Siyfjn51pv(a)
    else:
        count = op_count_LYeZOJ0nQG(b)+op_count_R3vAdrE3IH(op_LYeZOJ0nQG(b))+op_count_qAljGMXEZr(a)+op_count_BAIXFdYaz3(b,255)+op_count_2GS7woTJqF(op_qAljGMXEZr(a),op_BAIXFdYaz3(b,255))+op_count_nhYeJWJD5X(op_R3vAdrE3IH(op_LYeZOJ0nQG(b)),op_2GS7woTJqF(op_qAljGMXEZr(a),op_BAIXFdYaz3(b,255)))
    return count


⇳⪻⋅a = { (((a⊋≦⊧a)↢(a⪎↠a))⊉≛↸((a⨵⪆a)≶(⊖a))) , if (≀↧⇸a)>671 ; (((a⪒614)⩆≶⊌)∲⫓((a≚⊃≕a)⪎↠a)) , else }

def op_KjrLlKX7GV(a):
    if op_ljTHtUsqzn(a) > 671:
        return op_DZ8iAZOCBD(op_WR6HLWljOP(op_oRDoc9rAEX(a,a),op_3tVxb0NHM4(a,a)),op_Q2SPaKwpPJ(op_2DQ55sFlQl(a,a),op_U6pG0PXrV3(a)))
    else:
        return op_i8ToyICDmI(op_PZaICrJanm(op_f6k1SAg4EE(a,614)),op_3tVxb0NHM4(op_Bmrmz2XGnR(a,a),a))

def op_count_KjrLlKX7GV(a):
    if op_ljTHtUsqzn(a) > 671:
        count = op_count_oRDoc9rAEX(a,a)+op_count_3tVxb0NHM4(a,a)+op_count_WR6HLWljOP(op_oRDoc9rAEX(a,a),op_3tVxb0NHM4(a,a))+op_count_2DQ55sFlQl(a,a)+op_count_U6pG0PXrV3(a)+op_count_Q2SPaKwpPJ(op_2DQ55sFlQl(a,a),op_U6pG0PXrV3(a))+op_count_DZ8iAZOCBD(op_WR6HLWljOP(op_oRDoc9rAEX(a,a),op_3tVxb0NHM4(a,a)),op_Q2SPaKwpPJ(op_2DQ55sFlQl(a,a),op_U6pG0PXrV3(a)))+op_count_ljTHtUsqzn(a)
    else:
        count = op_count_f6k1SAg4EE(a,614)+op_count_PZaICrJanm(op_f6k1SAg4EE(a,614))+op_count_Bmrmz2XGnR(a,a)+op_count_3tVxb0NHM4(op_Bmrmz2XGnR(a,a),a)+op_count_i8ToyICDmI(op_PZaICrJanm(op_f6k1SAg4EE(a,614)),op_3tVxb0NHM4(op_Bmrmz2XGnR(a,a),a))
    return count


def op_UHDfkjONwK(a):
    return op_JFrVJKYFMX(op_EBcxylXtPf(a),op_4JB6nKBMSY(a,a))

def op_count_UHDfkjONwK(a):
    count = op_count_EBcxylXtPf(a)+op_count_4JB6nKBMSY(a,a)+op_count_JFrVJKYFMX(op_EBcxylXtPf(a),op_4JB6nKBMSY(a,a))
    return count


⩦↛a = { (((a⨩≤⫤a)⨙)⩘⋿((23⪢⋭)⋎(⩪⩔a))) , if a==45 ; (((a⪶≀⋏a)⇄(a∊⊞≈a))⩇) , else }

def op_2NmYtNrH7E(a):
    if a == 45:
        return op_64EQ39e0fC(op_rlpcYeipVY(op_neKQRQQIil(a,a)),op_qy3n0tapmE(op_csT5a4elgc(23),op_Siyfjn51pv(a)))
    else:
        return op_wmlQD0656L(op_3EYGwJThht(op_zR4jO40bMj(a,a),op_keuJNkrrbj(a,a)))

def op_count_2NmYtNrH7E(a):
    if a == 45:
        count = op_count_neKQRQQIil(a,a)+op_count_rlpcYeipVY(op_neKQRQQIil(a,a))+op_count_csT5a4elgc(23)+op_count_Siyfjn51pv(a)+op_count_qy3n0tapmE(op_csT5a4elgc(23),op_Siyfjn51pv(a))+op_count_64EQ39e0fC(op_rlpcYeipVY(op_neKQRQQIil(a,a)),op_qy3n0tapmE(op_csT5a4elgc(23),op_Siyfjn51pv(a)))
    else:
        count = op_count_zR4jO40bMj(a,a)+op_count_keuJNkrrbj(a,a)+op_count_3EYGwJThht(op_zR4jO40bMj(a,a),op_keuJNkrrbj(a,a))+op_count_wmlQD0656L(op_3EYGwJThht(op_zR4jO40bMj(a,a),op_keuJNkrrbj(a,a)))
    return count


def op_VAzvGNulUU(a):
    return op_texHS70gxN(op_HJ9erzHUuu(a,226))

def op_count_VAzvGNulUU(a):
    count = op_count_HJ9erzHUuu(a,226)+op_count_texHS70gxN(op_HJ9erzHUuu(a,226))
    return count


def op_gM4NtNjHq6(a):
    if op_GMN7JP6WpN(a,388) <= 146:
        return op_umQnsF7QlU(op_IxJHfR5psi(a,a),op_HmxsFra2vL(186,a))
    else:
        return op_gx7XJ7hdpj(op_Y5cEcQhyKu(187,a),op_oRDoc9rAEX(a,a))

def op_count_gM4NtNjHq6(a):
    if op_GMN7JP6WpN(a,388) <= 146:
        count = op_count_IxJHfR5psi(a,a)+op_count_HmxsFra2vL(186,a)+op_count_umQnsF7QlU(op_IxJHfR5psi(a,a),op_HmxsFra2vL(186,a))+op_count_GMN7JP6WpN(a,388)
    else:
        count = op_count_Y5cEcQhyKu(187,a)+op_count_oRDoc9rAEX(a,a)+op_count_gx7XJ7hdpj(op_Y5cEcQhyKu(187,a),op_oRDoc9rAEX(a,a))
    return count


def op_eSKbQgeMY7(a, b):
    return op_y4ImoPnbV5(op_RHru8klgy8(b),op_V4yb4KDoeF(op_Y9dhGmbGii(a),op_xRrnTEsQ6j(215,a)))

def op_count_eSKbQgeMY7(a, b):
    count = op_count_RHru8klgy8(b)+op_count_Y9dhGmbGii(a)+op_count_xRrnTEsQ6j(215,a)+op_count_V4yb4KDoeF(op_Y9dhGmbGii(a),op_xRrnTEsQ6j(215,a))+op_count_y4ImoPnbV5(op_RHru8klgy8(b),op_V4yb4KDoeF(op_Y9dhGmbGii(a),op_xRrnTEsQ6j(215,a)))
    return count


def op_UHlgM6WGLb(a):
    return op_PxpmPgHHJV(op_qAljGMXEZr(op_H9jWZL1q0V(a)))

def op_count_UHlgM6WGLb(a):
    count = op_count_H9jWZL1q0V(a)+op_count_qAljGMXEZr(op_H9jWZL1q0V(a))+op_count_PxpmPgHHJV(op_qAljGMXEZr(op_H9jWZL1q0V(a)))
    return count


def op_mZdcPChyON(a):
    return op_JDUIKTTSIa(a,op_4kvgVkQeiQ(363))

def op_count_mZdcPChyON(a):
    count = op_count_4kvgVkQeiQ(363)+op_count_JDUIKTTSIa(a,op_4kvgVkQeiQ(363))
    return count


a≕⇆b = { (((b⩒⫫b)↪∷(a⪔⊥a))⨧↗⨷((41≝⊿46)⨣∐↬(a⋳⪒54))) , if (a⪢⋭)!=645 ; (((b⋙)⇿⊰(a≦↸b))≧⊼((⨩∲⋌a)⩵∡(b⊲⩕⊾b))) , else }

def op_4bQfsS4Ggx(a, b):
    if op_csT5a4elgc(a) != 645:
        return op_WSbXXWOizJ(op_Api82iH42a(op_KFSx94NKJn(b,b),op_HJ9erzHUuu(a,a)),op_UpkSd4zESC(op_OKKcZfAt5B(41,46),op_12rbrZMWeM(a,54)))
    else:
        return op_JoLB3LXqXx(op_ap3xiM279w(op_XZxEnkN3N0(b),op_RygbFNSyEJ(a,b)),op_Y7wcNGrDQJ(op_aSik1wnThz(a),op_DmTXOeWf9t(b,b)))

def op_count_4bQfsS4Ggx(a, b):
    if op_csT5a4elgc(a) != 645:
        count = op_count_KFSx94NKJn(b,b)+op_count_HJ9erzHUuu(a,a)+op_count_Api82iH42a(op_KFSx94NKJn(b,b),op_HJ9erzHUuu(a,a))+op_count_OKKcZfAt5B(41,46)+op_count_12rbrZMWeM(a,54)+op_count_UpkSd4zESC(op_OKKcZfAt5B(41,46),op_12rbrZMWeM(a,54))+op_count_WSbXXWOizJ(op_Api82iH42a(op_KFSx94NKJn(b,b),op_HJ9erzHUuu(a,a)),op_UpkSd4zESC(op_OKKcZfAt5B(41,46),op_12rbrZMWeM(a,54)))+op_count_csT5a4elgc(a)
    else:
        count = op_count_XZxEnkN3N0(b)+op_count_RygbFNSyEJ(a,b)+op_count_ap3xiM279w(op_XZxEnkN3N0(b),op_RygbFNSyEJ(a,b))+op_count_aSik1wnThz(a)+op_count_DmTXOeWf9t(b,b)+op_count_Y7wcNGrDQJ(op_aSik1wnThz(a),op_DmTXOeWf9t(b,b))+op_count_JoLB3LXqXx(op_ap3xiM279w(op_XZxEnkN3N0(b),op_RygbFNSyEJ(a,b)),op_Y7wcNGrDQJ(op_aSik1wnThz(a),op_DmTXOeWf9t(b,b)))
    return count


a≩⪝⨂ = { (a≭⫡a) , if a>=626 ; (a≽⊫) , else }

def op_B1UMlRz2Uk(a):
    if a >= 626:
        return op_b1mGkbI4Oy(a,a)
    else:
        return op_H0pizIJMoW(a)

def op_count_B1UMlRz2Uk(a):
    if a >= 626:
        count = op_count_b1mGkbI4Oy(a,a)
    else:
        count = op_count_H0pizIJMoW(a)
    return count


a⩉⇙b = { ((a∈)⨩≤⫤(86⨔⊶↷b)) , if (∛⊵a)<=11 ; ((a⪉⨛a)⊵(a⪉⨛569)) , else }

def op_Bi6gyirjvn(a, b):
    if op_jfYOP67v6Y(a) <= 11:
        return op_neKQRQQIil(op_ztP7wcbY7m(a),op_WObL9SsYVE(86,b))
    else:
        return op_eaFBhJ0Uku(op_EWw2JM7wp4(a,a),op_EWw2JM7wp4(a,569))

def op_count_Bi6gyirjvn(a, b):
    if op_jfYOP67v6Y(a) <= 11:
        count = op_count_ztP7wcbY7m(a)+op_count_WObL9SsYVE(86,b)+op_count_neKQRQQIil(op_ztP7wcbY7m(a),op_WObL9SsYVE(86,b))+op_count_jfYOP67v6Y(a)
    else:
        count = op_count_EWw2JM7wp4(a,a)+op_count_EWw2JM7wp4(a,569)+op_count_eaFBhJ0Uku(op_EWw2JM7wp4(a,a),op_EWw2JM7wp4(a,569))
    return count


a≏⇫∆b = { (b⩅⩡) , if ((⫦≽⪐b)!=90 or a!=248 or (b⩤)>338) ; (b⩽⩡b) , else }

def op_WxMdBijbcV(a, b):
    if (op_fjqJgF5yyp(b) != 90 or a != 248 or op_Z2TMIBDE3Q(b) > 338):
        return op_0MNWfHKp6a(b)
    else:
        return op_zFNL8mZEFB(b,b)

def op_count_WxMdBijbcV(a, b):
    if (op_fjqJgF5yyp(b) != 90 or a != 248 or op_Z2TMIBDE3Q(b) > 338):
        count = op_count_0MNWfHKp6a(b)+op_count_fjqJgF5yyp(b)+op_count_Z2TMIBDE3Q(b)
    else:
        count = op_count_zFNL8mZEFB(b,b)
    return count


def op_lyvGaJdF94(a):
    return op_3tVxb0NHM4(a,645)

def op_count_lyvGaJdF94(a):
    count = op_count_3tVxb0NHM4(a,645)
    return count


def op_c82wVMKAF7(a, b):
    return op_Mp74FtG4yY(op_2Wsdkap16l(b,a))

def op_count_c82wVMKAF7(a, b):
    count = op_count_2Wsdkap16l(b,a)+op_count_Mp74FtG4yY(op_2Wsdkap16l(b,a))
    return count


a⫏⋑b = { (((a⫁⪎a)⋳⪒(b⨵⪆a))⋝⋈⪟((b↾⩰)∴(b∌13))) }

def op_YJnbaRgmQd(a, b):
    return op_2DDjHMKMc0(op_12rbrZMWeM(op_xRrnTEsQ6j(a,a),op_2DQ55sFlQl(b,a)),op_hrf7POJlIJ(op_GNmBfxrna9(b),op_8cLx32lpNA(b,13)))

def op_count_YJnbaRgmQd(a, b):
    count = op_count_xRrnTEsQ6j(a,a)+op_count_2DQ55sFlQl(b,a)+op_count_12rbrZMWeM(op_xRrnTEsQ6j(a,a),op_2DQ55sFlQl(b,a))+op_count_GNmBfxrna9(b)+op_count_8cLx32lpNA(b,13)+op_count_hrf7POJlIJ(op_GNmBfxrna9(b),op_8cLx32lpNA(b,13))+op_count_2DDjHMKMc0(op_12rbrZMWeM(op_xRrnTEsQ6j(a,a),op_2DQ55sFlQl(b,a)),op_hrf7POJlIJ(op_GNmBfxrna9(b),op_8cLx32lpNA(b,13)))
    return count


⇅⫹a = { (a⨑⋨a) , if a<=519 ; (≎↾a) , else }

def op_JtoaZ7Wsrk(a):
    if a <= 519:
        return op_tIhPxZTbsh(a,a)
    else:
        return op_S56z7WVPBn(a)

def op_count_JtoaZ7Wsrk(a):
    if a <= 519:
        count = op_count_tIhPxZTbsh(a,a)
    else:
        count = op_count_S56z7WVPBn(a)
    return count


a⩯↚b = { (⪷∈↠((b⊋≦⊧a)∠⫱(258∼⇢a))) , if b==15 ; a , else }

def op_EwuI1FZGOD(a, b):
    if b == 15:
        return op_Kn0TacbtGK(op_QvoQhV0rrE(op_oRDoc9rAEX(b,a),op_Cr5xnr8B4B(258,a)))
    else:
        return a

def op_count_EwuI1FZGOD(a, b):
    if b == 15:
        count = op_count_oRDoc9rAEX(b,a)+op_count_Cr5xnr8B4B(258,a)+op_count_QvoQhV0rrE(op_oRDoc9rAEX(b,a),op_Cr5xnr8B4B(258,a))+op_count_Kn0TacbtGK(op_QvoQhV0rrE(op_oRDoc9rAEX(b,a),op_Cr5xnr8B4B(258,a)))
    else:
        count = 1
    return count


def op_HJDcuLMPgt(a, b):
    if a > 114 and b > 20 and a > 742:
        return op_zR4jO40bMj(op_w2P8NbNXyL(op_ieTw63T1Vx(b),op_KYL1uVeVpb(501,b)),12)
    else:
        return op_Oe8teynzfS(op_cTDWOvIxvz(op_d7ASUq0ydm(a,b),op_Ikt5ks8PT7(362,465)))

def op_count_HJDcuLMPgt(a, b):
    if a > 114 and b > 20 and a > 742:
        count = op_count_ieTw63T1Vx(b)+op_count_KYL1uVeVpb(501,b)+op_count_w2P8NbNXyL(op_ieTw63T1Vx(b),op_KYL1uVeVpb(501,b))+op_count_zR4jO40bMj(op_w2P8NbNXyL(op_ieTw63T1Vx(b),op_KYL1uVeVpb(501,b)),12)
    else:
        count = op_count_d7ASUq0ydm(a,b)+op_count_Ikt5ks8PT7(362,465)+op_count_cTDWOvIxvz(op_d7ASUq0ydm(a,b),op_Ikt5ks8PT7(362,465))+op_count_Oe8teynzfS(op_cTDWOvIxvz(op_d7ASUq0ydm(a,b),op_Ikt5ks8PT7(362,465)))
    return count


def op_NuEuZRcdmn(a):
    return op_6o9Blt3TJ6(op_wztAlM01eG(a),op_HiPekx5b7W(a,281))

def op_count_NuEuZRcdmn(a):
    count = op_count_wztAlM01eG(a)+op_count_HiPekx5b7W(a,281)+op_count_6o9Blt3TJ6(op_wztAlM01eG(a),op_HiPekx5b7W(a,281))
    return count


a≦↬b = { 348 , if (⪞⋲≾a)<=123 ; ((a≭⫡a)⇴(⨝⨆b)) , else }

def op_z4Ajd36hBy(a, b):
    if op_kz228nwi0J(a) <= 123:
        return 348
    else:
        return op_4JB6nKBMSY(op_b1mGkbI4Oy(a,a),op_bQ67fsrMVf(b))

def op_count_z4Ajd36hBy(a, b):
    if op_kz228nwi0J(a) <= 123:
        count = op_count_kz228nwi0J(a)
    else:
        count = op_count_b1mGkbI4Oy(a,a)+op_count_bQ67fsrMVf(b)+op_count_4JB6nKBMSY(op_b1mGkbI4Oy(a,a),op_bQ67fsrMVf(b))
    return count


def op_ln8odt1XeD(a, b):
    return op_Bmrmz2XGnR(op_f6k1SAg4EE(a,b),op_620seOwKww(a))

def op_count_ln8odt1XeD(a, b):
    count = op_count_f6k1SAg4EE(a,b)+op_count_620seOwKww(a)+op_count_Bmrmz2XGnR(op_f6k1SAg4EE(a,b),op_620seOwKww(a))
    return count


⩽⊹a = { ((a⩌⋺71)-a) , if a<=415 ; ((a⨰↻⪇a)⨻⪊⨷(a≦↸a)) , else }

def op_mTfXJjhLvf(a):
    if a <= 415:
        return op_rysDP5nf3Z(op_g7Hmc5v1ko(a,71),a)
    else:
        return op_Pkwamo1tM2(op_nbuSfrB4hB(a,a),op_RygbFNSyEJ(a,a))

def op_count_mTfXJjhLvf(a):
    if a <= 415:
        count = op_count_g7Hmc5v1ko(a,71)+op_count_rysDP5nf3Z(op_g7Hmc5v1ko(a,71),a)
    else:
        count = op_count_nbuSfrB4hB(a,a)+op_count_RygbFNSyEJ(a,a)+op_count_Pkwamo1tM2(op_nbuSfrB4hB(a,a),op_RygbFNSyEJ(a,a))
    return count


def op_tSHYsjpuUI(a, b):
    return op_fOIeswaMU4(op_18saOjeKKm(op_WObL9SsYVE(a,b)))

def op_count_tSHYsjpuUI(a, b):
    count = op_count_WObL9SsYVE(a,b)+op_count_18saOjeKKm(op_WObL9SsYVE(a,b))+op_count_fOIeswaMU4(op_18saOjeKKm(op_WObL9SsYVE(a,b)))
    return count


def op_FsYuSiSECr(a):
    return op_0JWJYFSzIQ(a,57)

def op_count_FsYuSiSECr(a):
    count = op_count_0JWJYFSzIQ(a,57)
    return count


def op_MduqJzDb6X(a, b):
    return op_fjqJgF5yyp(op_d7ASUq0ydm(op_3EYGwJThht(a,a),op_dAAkup5nzi(597,b)))

def op_count_MduqJzDb6X(a, b):
    count = op_count_3EYGwJThht(a,a)+op_count_dAAkup5nzi(597,b)+op_count_d7ASUq0ydm(op_3EYGwJThht(a,a),op_dAAkup5nzi(597,b))+op_count_fjqJgF5yyp(op_d7ASUq0ydm(op_3EYGwJThht(a,a),op_dAAkup5nzi(597,b)))
    return count


a⨈⋕⇀b = { ((a⩣⊵⩗b)⩢≭) , if (a⊇≀≁)<=924 and b<=394 ; ((470⨮⨆)-(b⇌⫙⪟a)) , else }

def op_WO7tPoNP4x(a, b):
    if op_AfoL3wC8aT(a) <= 924 and b <= 394:
        return op_rv8OxMkTSD(op_wsXFuL0hC6(a,b))
    else:
        return op_rysDP5nf3Z(op_s0kPeV9Vm2(470),op_AFVx7xoS7T(b,a))

def op_count_WO7tPoNP4x(a, b):
    if op_AfoL3wC8aT(a) <= 924 and b <= 394:
        count = op_count_wsXFuL0hC6(a,b)+op_count_rv8OxMkTSD(op_wsXFuL0hC6(a,b))+op_count_AfoL3wC8aT(a)
    else:
        count = op_count_s0kPeV9Vm2(470)+op_count_AFVx7xoS7T(b,a)+op_count_rysDP5nf3Z(op_s0kPeV9Vm2(470),op_AFVx7xoS7T(b,a))
    return count


def op_JuQNioWekr(a, b):
    if op_tIhPxZTbsh(a,358) != 210:
        return op_3tVxb0NHM4(b,282)
    else:
        return op_ocpzidtxKt(a)

def op_count_JuQNioWekr(a, b):
    if op_tIhPxZTbsh(a,358) != 210:
        count = op_count_3tVxb0NHM4(b,282)+op_count_tIhPxZTbsh(a,358)
    else:
        count = op_count_ocpzidtxKt(a)
    return count


a⋷⨍b = { ((↞≼b)⇌↸) , if a<4 ; ((205⪹)⨰(a⫸⇳b)) , else }

def op_43pnEt37KX(a, b):
    if a < 4:
        return op_2PILXiQIjy(op_DE7zCoGJt9(b))
    else:
        return op_eewbuw0ToL(op_B3sABdIn96(205),op_gx7XJ7hdpj(a,b))

def op_count_43pnEt37KX(a, b):
    if a < 4:
        count = op_count_DE7zCoGJt9(b)+op_count_2PILXiQIjy(op_DE7zCoGJt9(b))
    else:
        count = op_count_B3sABdIn96(205)+op_count_gx7XJ7hdpj(a,b)+op_count_eewbuw0ToL(op_B3sABdIn96(205),op_gx7XJ7hdpj(a,b))
    return count


def op_05K4kaXxgg(a, b):
    return op_2Wsdkap16l(op_tDVI6bDdAd(op_HmxsFra2vL(a,162)),op_YApyZlDuBr(op_BAIXFdYaz3(a,b)))

def op_count_05K4kaXxgg(a, b):
    count = op_count_HmxsFra2vL(a,162)+op_count_tDVI6bDdAd(op_HmxsFra2vL(a,162))+op_count_BAIXFdYaz3(a,b)+op_count_YApyZlDuBr(op_BAIXFdYaz3(a,b))+op_count_2Wsdkap16l(op_tDVI6bDdAd(op_HmxsFra2vL(a,162)),op_YApyZlDuBr(op_BAIXFdYaz3(a,b)))
    return count


a⊬⇼⇛ = { (((a⫸a)⪍↜⋙(a⇤a))⩵∡(⊡⇒⪪(≀↧⇸a))) }

def op_3ItdBm7YsJ(a):
    return op_Y7wcNGrDQJ(op_L05ObWFQCd(op_Qaz2MhZaG5(a,a),op_YSKBFp38Pu(a,a)),op_wisItNeSwq(op_ljTHtUsqzn(a)))

def op_count_3ItdBm7YsJ(a):
    count = op_count_Qaz2MhZaG5(a,a)+op_count_YSKBFp38Pu(a,a)+op_count_L05ObWFQCd(op_Qaz2MhZaG5(a,a),op_YSKBFp38Pu(a,a))+op_count_ljTHtUsqzn(a)+op_count_wisItNeSwq(op_ljTHtUsqzn(a))+op_count_Y7wcNGrDQJ(op_L05ObWFQCd(op_Qaz2MhZaG5(a,a),op_YSKBFp38Pu(a,a)),op_wisItNeSwq(op_ljTHtUsqzn(a)))
    return count


a⋡∥b = { a , if (⫎≠⋺a)>=88 ; (⩪⩔b) , else }

def op_zNFFvkV5QZ(a, b):
    if op_LYeZOJ0nQG(a) >= 88:
        return a
    else:
        return op_Siyfjn51pv(b)

def op_count_zNFFvkV5QZ(a, b):
    if op_LYeZOJ0nQG(a) >= 88:
        count = 1
    else:
        count = op_count_Siyfjn51pv(b)
    return count


a⋗∙⫊ = { (((a⋝∏)≽↲≰(a⩌a))∑((a⋳/a)⨱∎)) , if a<37 ; (((⩯≢≕169)⫰⋱(778⩢≭))⫏↛⩏((a⇼⇔∾a)⊵a)) , else }

def op_SSlUNdlbpe(a):
    if a < 37:
        return op_JFrVJKYFMX(op_cFVlceoRkX(op_69GgKhV9QQ(a),op_UoVew8f2p2(a,a)),op_MmTdOpaElr(op_m612RDITqL(a,a)))
    else:
        return op_YC3tgrnOyr(op_6o9Blt3TJ6(op_840vADziXz(169),op_rv8OxMkTSD(778)),op_eaFBhJ0Uku(op_tifHPKVTfV(a,a),a))

def op_count_SSlUNdlbpe(a):
    if a < 37:
        count = op_count_69GgKhV9QQ(a)+op_count_UoVew8f2p2(a,a)+op_count_cFVlceoRkX(op_69GgKhV9QQ(a),op_UoVew8f2p2(a,a))+op_count_m612RDITqL(a,a)+op_count_MmTdOpaElr(op_m612RDITqL(a,a))+op_count_JFrVJKYFMX(op_cFVlceoRkX(op_69GgKhV9QQ(a),op_UoVew8f2p2(a,a)),op_MmTdOpaElr(op_m612RDITqL(a,a)))
    else:
        count = op_count_840vADziXz(169)+op_count_rv8OxMkTSD(778)+op_count_6o9Blt3TJ6(op_840vADziXz(169),op_rv8OxMkTSD(778))+op_count_tifHPKVTfV(a,a)+op_count_eaFBhJ0Uku(op_tifHPKVTfV(a,a),a)+op_count_YC3tgrnOyr(op_6o9Blt3TJ6(op_840vADziXz(169),op_rv8OxMkTSD(778)),op_eaFBhJ0Uku(op_tifHPKVTfV(a,a),a))
    return count


a⇔⩳ = { (⩒∊(a⊓⋫)) , if (a↯⫤)!=28 ; (⇻⨃⇄(a∊⊞≈a)) , else }

def op_FBLLQBTQYa(a):
    if op_VwlE7vj6HS(a) != 28:
        return op_qazvmhNBbN(op_IqGBaFP0uj(a))
    else:
        return op_fLGIAiPz9h(op_keuJNkrrbj(a,a))

def op_count_FBLLQBTQYa(a):
    if op_VwlE7vj6HS(a) != 28:
        count = op_count_IqGBaFP0uj(a)+op_count_qazvmhNBbN(op_IqGBaFP0uj(a))+op_count_VwlE7vj6HS(a)
    else:
        count = op_count_keuJNkrrbj(a,a)+op_count_fLGIAiPz9h(op_keuJNkrrbj(a,a))
    return count


def op_f09raCEPXX(a, b):
    if b >= 44:
        return op_6o9Blt3TJ6(op_2Wsdkap16l(a,206),op_JclMnS0uGI(657,832))
    else:
        return op_NTOWxs364D(op_09Ly4LVMIf(a,a),op_QMFrweE19q(b,a))

def op_count_f09raCEPXX(a, b):
    if b >= 44:
        count = op_count_2Wsdkap16l(a,206)+op_count_JclMnS0uGI(657,832)+op_count_6o9Blt3TJ6(op_2Wsdkap16l(a,206),op_JclMnS0uGI(657,832))
    else:
        count = op_count_09Ly4LVMIf(a,a)+op_count_QMFrweE19q(b,a)+op_count_NTOWxs364D(op_09Ly4LVMIf(a,a),op_QMFrweE19q(b,a))
    return count


def op_6KydlnE2RL(a):
    return op_eaFBhJ0Uku(op_Sq3AGanRSD(op_d7ASUq0ydm(717,541),a),op_HiPekx5b7W(a,op_fLGIAiPz9h(a)))

def op_count_6KydlnE2RL(a):
    count = op_count_d7ASUq0ydm(717,541)+op_count_Sq3AGanRSD(op_d7ASUq0ydm(717,541),a)+op_count_fLGIAiPz9h(a)+op_count_HiPekx5b7W(a,op_fLGIAiPz9h(a))+op_count_eaFBhJ0Uku(op_Sq3AGanRSD(op_d7ASUq0ydm(717,541),a),op_HiPekx5b7W(a,op_fLGIAiPz9h(a)))
    return count


a⨒⩼≤b = { ((a⊝⪿⪼a)⋥≓≎(150≋⊢≽)) , if (↩⪖b)<132 ; ((48↜⊷a)↜⊷(b∝392)) , else }

def op_yN3UmbE8dS(a, b):
    if op_fG6uBQFnGz(b) < 132:
        return op_Qy55tPpLXF(op_3Oe9XWJUTD(a,a),op_Lhk0YGb717(150))
    else:
        return op_irKjLsMeKy(op_irKjLsMeKy(48,a),op_cTDWOvIxvz(b,392))

def op_count_yN3UmbE8dS(a, b):
    if op_fG6uBQFnGz(b) < 132:
        count = op_count_3Oe9XWJUTD(a,a)+op_count_Lhk0YGb717(150)+op_count_Qy55tPpLXF(op_3Oe9XWJUTD(a,a),op_Lhk0YGb717(150))+op_count_fG6uBQFnGz(b)
    else:
        count = op_count_irKjLsMeKy(48,a)+op_count_cTDWOvIxvz(b,392)+op_count_irKjLsMeKy(op_irKjLsMeKy(48,a),op_cTDWOvIxvz(b,392))
    return count


def op_NvvUe35Zgj(a, b):
    return op_tnyRA5sazQ(op_KYL1uVeVpb(a,b),op_S3tN1ZzpSt(b,b))

def op_count_NvvUe35Zgj(a, b):
    count = op_count_KYL1uVeVpb(a,b)+op_count_S3tN1ZzpSt(b,b)+op_count_tnyRA5sazQ(op_KYL1uVeVpb(a,b),op_S3tN1ZzpSt(b,b))
    return count


def op_BBiaZi4lXp(a):
    return op_0MNWfHKp6a(op_f6k1SAg4EE(a,a))

def op_count_BBiaZi4lXp(a):
    count = op_count_f6k1SAg4EE(a,a)+op_count_0MNWfHKp6a(op_f6k1SAg4EE(a,a))
    return count


def op_yZQ9bFX2OK(a):
    return op_PxpmPgHHJV(op_vg4gO5BX6G(a,a))

def op_count_yZQ9bFX2OK(a):
    count = op_count_vg4gO5BX6G(a,a)+op_count_PxpmPgHHJV(op_vg4gO5BX6G(a,a))
    return count


def op_CLDTXkWWkP(a):
    if (a > 301 or a <= 71 or op_qLBMy5fcJr(a) < 63):
        return op_4JB6nKBMSY(a,a)
    else:
        return a

def op_count_CLDTXkWWkP(a):
    if (a > 301 or a <= 71 or op_qLBMy5fcJr(a) < 63):
        count = op_count_4JB6nKBMSY(a,a)+op_count_qLBMy5fcJr(a)
    else:
        count = 1
    return count


def op_jzbmFgM6Om(a):
    if a >= 299:
        return op_JoLB3LXqXx(op_k7HXdKtiEU(141),op_PjbVkMzmXE(a,a))
    else:
        return op_zoVPnxeHJ3(op_DX7B1fY6P6(3,a))

def op_count_jzbmFgM6Om(a):
    if a >= 299:
        count = op_count_k7HXdKtiEU(141)+op_count_PjbVkMzmXE(a,a)+op_count_JoLB3LXqXx(op_k7HXdKtiEU(141),op_PjbVkMzmXE(a,a))
    else:
        count = op_count_DX7B1fY6P6(3,a)+op_count_zoVPnxeHJ3(op_DX7B1fY6P6(3,a))
    return count


def op_n1xa2Ukpg1(a):
    return op_dwb5p0fa6d(op_L05ObWFQCd(op_ObEyaaML9x(479,30),op_64EQ39e0fC(a,260)))

def op_count_n1xa2Ukpg1(a):
    count = op_count_ObEyaaML9x(479,30)+op_count_64EQ39e0fC(a,260)+op_count_L05ObWFQCd(op_ObEyaaML9x(479,30),op_64EQ39e0fC(a,260))+op_count_dwb5p0fa6d(op_L05ObWFQCd(op_ObEyaaML9x(479,30),op_64EQ39e0fC(a,260)))
    return count


def op_lt4sx8AjMW(a):
    return op_JclMnS0uGI(op_VCG3UHNzLR(a,5),op_AfoL3wC8aT(a))

def op_count_lt4sx8AjMW(a):
    count = op_count_VCG3UHNzLR(a,5)+op_count_AfoL3wC8aT(a)+op_count_JclMnS0uGI(op_VCG3UHNzLR(a,5),op_AfoL3wC8aT(a))
    return count


def op_mnN7nFxdPT(a):
    return op_KYL1uVeVpb(op_pjdzZ5rP1Y(249),op_COABgblf1C(a,a))

def op_count_mnN7nFxdPT(a):
    count = op_count_pjdzZ5rP1Y(249)+op_count_COABgblf1C(a,a)+op_count_KYL1uVeVpb(op_pjdzZ5rP1Y(249),op_COABgblf1C(a,a))
    return count


def op_weFp838rcz(a):
    return op_SWo3A1KBJH(op_HrjLwUk87U(a,a))

def op_count_weFp838rcz(a):
    count = op_count_HrjLwUk87U(a,a)+op_count_SWo3A1KBJH(op_HrjLwUk87U(a,a))
    return count


def op_jTdOnfAMn3(a):
    return op_LmY23Q1aIi(op_ocnLzx9CaJ(op_S56z7WVPBn(a),op_j9kHMeSvPp(a,a)))

def op_count_jTdOnfAMn3(a):
    count = op_count_S56z7WVPBn(a)+op_count_j9kHMeSvPp(a,a)+op_count_ocnLzx9CaJ(op_S56z7WVPBn(a),op_j9kHMeSvPp(a,a))+op_count_LmY23Q1aIi(op_ocnLzx9CaJ(op_S56z7WVPBn(a),op_j9kHMeSvPp(a,a)))
    return count


def op_65VkjSWn6s(a, b):
    return op_3A1e9zoj8h(op_NrdPCfJQiM(a,b))

def op_count_65VkjSWn6s(a, b):
    count = op_count_NrdPCfJQiM(a,b)+op_count_3A1e9zoj8h(op_NrdPCfJQiM(a,b))
    return count


def op_ripkVfTXh6(a):
    return op_bQ67fsrMVf(op_IxJHfR5psi(a,a))

def op_count_ripkVfTXh6(a):
    count = op_count_IxJHfR5psi(a,a)+op_count_bQ67fsrMVf(op_IxJHfR5psi(a,a))
    return count


⊱⨡a = { ((⫎≠⋺a)⇴(a↯⫤)) , if (∷≠a)<30 ; ((≤/a)⨧(a⩘⋿a)) , else }

def op_GV9HJgDX6K(a):
    if op_QiR2Oyf5Xj(a) < 30:
        return op_4JB6nKBMSY(op_LYeZOJ0nQG(a),op_VwlE7vj6HS(a))
    else:
        return op_3YWlZA9bsa(op_eLAdDNolq6(a),op_64EQ39e0fC(a,a))

def op_count_GV9HJgDX6K(a):
    if op_QiR2Oyf5Xj(a) < 30:
        count = op_count_LYeZOJ0nQG(a)+op_count_VwlE7vj6HS(a)+op_count_4JB6nKBMSY(op_LYeZOJ0nQG(a),op_VwlE7vj6HS(a))+op_count_QiR2Oyf5Xj(a)
    else:
        count = op_count_eLAdDNolq6(a)+op_count_64EQ39e0fC(a,a)+op_count_3YWlZA9bsa(op_eLAdDNolq6(a),op_64EQ39e0fC(a,a))
    return count


a↝⩙b = { (b⫃⨇a) , if b<6 ; (a⫠↝⫳) , else }

def op_e3mPa9iSev(a, b):
    if b < 6:
        return op_09Ly4LVMIf(b,a)
    else:
        return op_8n5YIzOsVS(a)

def op_count_e3mPa9iSev(a, b):
    if b < 6:
        count = op_count_09Ly4LVMIf(b,a)
    else:
        count = op_count_8n5YIzOsVS(a)
    return count


def op_OMlED4Os5J(a, b):
    if (op_Noe24qw2ks(b,790) != 10 and op_eH2TOUuTDT(b) >= 466):
        return op_GMyVS5K48T(b,b)
    else:
        return op_ap3xiM279w(a,a)

def op_count_OMlED4Os5J(a, b):
    if (op_Noe24qw2ks(b,790) != 10 and op_eH2TOUuTDT(b) >= 466):
        count = op_count_GMyVS5K48T(b,b)+op_count_Noe24qw2ks(b,790)+op_count_eH2TOUuTDT(b)
    else:
        count = op_count_ap3xiM279w(a,a)
    return count


def op_f62L7mkOeG(a):
    return op_ocnLzx9CaJ(355,a)

def op_count_f62L7mkOeG(a):
    count = op_count_ocnLzx9CaJ(355,a)
    return count


a⪡⇊⇼b = { (((a⫰⋱a)∴(a⨜⨶b))⋘((b∲⫑b)⊉↱≁(b⊔%b))) , if (b∁)>=10 ; a , else }

def op_h9LDQjFYy5(a, b):
    if op_jdwGQqwJi5(b) >= 10:
        return op_2M7SKlOzyM(op_hrf7POJlIJ(op_6o9Blt3TJ6(a,a),op_HiPekx5b7W(a,b)),op_w2P8NbNXyL(op_NrdPCfJQiM(b,b),op_uysxUYN2L2(b,b)))
    else:
        return a

def op_count_h9LDQjFYy5(a, b):
    if op_jdwGQqwJi5(b) >= 10:
        count = op_count_6o9Blt3TJ6(a,a)+op_count_HiPekx5b7W(a,b)+op_count_hrf7POJlIJ(op_6o9Blt3TJ6(a,a),op_HiPekx5b7W(a,b))+op_count_NrdPCfJQiM(b,b)+op_count_uysxUYN2L2(b,b)+op_count_w2P8NbNXyL(op_NrdPCfJQiM(b,b),op_uysxUYN2L2(b,b))+op_count_2M7SKlOzyM(op_hrf7POJlIJ(op_6o9Blt3TJ6(a,a),op_HiPekx5b7W(a,b)),op_w2P8NbNXyL(op_NrdPCfJQiM(b,b),op_uysxUYN2L2(b,b)))+op_count_jdwGQqwJi5(b)
    else:
        count = 1
    return count


a⊭⊣⪮b = { a , if (b⩶)>240 ; ((a∀⩎⋷b)↬⩅∪) , else }

def op_lPGVyYSv1k(a, b):
    if op_yuvXk3Mco8(b) > 240:
        return a
    else:
        return op_VJ330n2nnx(op_FPxP5Y1j0W(a,b))

def op_count_lPGVyYSv1k(a, b):
    if op_yuvXk3Mco8(b) > 240:
        count = 1
    else:
        count = op_count_FPxP5Y1j0W(a,b)+op_count_VJ330n2nnx(op_FPxP5Y1j0W(a,b))
    return count


def op_LfgoBczKoK(a, b):
    return op_s0IfDFCCuZ(op_UMMmb9LONo(b),op_cwbF3JtlMN(44,a))

def op_count_LfgoBczKoK(a, b):
    count = op_count_UMMmb9LONo(b)+op_count_cwbF3JtlMN(44,a)+op_count_s0IfDFCCuZ(op_UMMmb9LONo(b),op_cwbF3JtlMN(44,a))
    return count


a⇜⩵ = { (((a≃a)⩘⋿(a∆⨵⋿))⪦⩸((a≶a)⪉⨛(a≖−≲))) , if a>=22 ; a , else }

def op_KJDazdD96w(a):
    if a >= 22:
        return op_0JWJYFSzIQ(op_64EQ39e0fC(op_YbVcJGFEVW(a,a),op_7CBskBkoKY(a)),op_EWw2JM7wp4(op_Q2SPaKwpPJ(a,a),op_IpgdDpBHsO(a)))
    else:
        return a

def op_count_KJDazdD96w(a):
    if a >= 22:
        count = op_count_YbVcJGFEVW(a,a)+op_count_7CBskBkoKY(a)+op_count_64EQ39e0fC(op_YbVcJGFEVW(a,a),op_7CBskBkoKY(a))+op_count_Q2SPaKwpPJ(a,a)+op_count_IpgdDpBHsO(a)+op_count_EWw2JM7wp4(op_Q2SPaKwpPJ(a,a),op_IpgdDpBHsO(a))+op_count_0JWJYFSzIQ(op_64EQ39e0fC(op_YbVcJGFEVW(a,a),op_7CBskBkoKY(a)),op_EWw2JM7wp4(op_Q2SPaKwpPJ(a,a),op_IpgdDpBHsO(a)))
    else:
        count = 1
    return count


a⇨⊤b = { ((a↼⊘⨖b)↨⪍≴(143≶a)) , if (⩻⪛a)>280 and (b⨬⫳)==204 ; ((a⇋∊)⋥≓≎(a∄a)) , else }

def op_zqsNBkd1kC(a, b):
    if op_5RY6W0glyJ(a) > 280 and op_kc7iqVBlRY(b) == 204:
        return op_DX7B1fY6P6(op_bPywburJMS(a,b),op_Q2SPaKwpPJ(143,a))
    else:
        return op_Qy55tPpLXF(op_3FtlcrQcJU(a),op_tnyRA5sazQ(a,a))

def op_count_zqsNBkd1kC(a, b):
    if op_5RY6W0glyJ(a) > 280 and op_kc7iqVBlRY(b) == 204:
        count = op_count_bPywburJMS(a,b)+op_count_Q2SPaKwpPJ(143,a)+op_count_DX7B1fY6P6(op_bPywburJMS(a,b),op_Q2SPaKwpPJ(143,a))+op_count_5RY6W0glyJ(a)+op_count_kc7iqVBlRY(b)
    else:
        count = op_count_3FtlcrQcJU(a)+op_count_tnyRA5sazQ(a,a)+op_count_Qy55tPpLXF(op_3FtlcrQcJU(a),op_tnyRA5sazQ(a,a))
    return count


def op_UFzLZpQu9F(a, b):
    return op_FyVja0WsTP(op_61wBmkZwlr(op_e1ybzncUwg(13)),op_eewbuw0ToL(op_3YWlZA9bsa(a,b),op_12rbrZMWeM(b,268)))

def op_count_UFzLZpQu9F(a, b):
    count = op_count_e1ybzncUwg(13)+op_count_61wBmkZwlr(op_e1ybzncUwg(13))+op_count_3YWlZA9bsa(a,b)+op_count_12rbrZMWeM(b,268)+op_count_eewbuw0ToL(op_3YWlZA9bsa(a,b),op_12rbrZMWeM(b,268))+op_count_FyVja0WsTP(op_61wBmkZwlr(op_e1ybzncUwg(13)),op_eewbuw0ToL(op_3YWlZA9bsa(a,b),op_12rbrZMWeM(b,268)))
    return count


a⋹⨛⇥b = { (b⪐-b) , if b==0 ; (a⋎a) , else }

def op_EV9swbq3TP(a, b):
    if b == 0:
        return op_d8xe6WWVfM(b,b)
    else:
        return op_qy3n0tapmE(a,a)

def op_count_EV9swbq3TP(a, b):
    if b == 0:
        count = op_count_d8xe6WWVfM(b,b)
    else:
        count = op_count_qy3n0tapmE(a,a)
    return count


def op_hfzAcxY1HE(a):
    if a <= 151:
        return op_YjI8oCXuph(378)
    else:
        return op_6LuFrogppQ(309)

def op_count_hfzAcxY1HE(a):
    if a <= 151:
        count = op_count_YjI8oCXuph(378)
    else:
        count = op_count_6LuFrogppQ(309)
    return count


def op_t7BgFzR4Wt(a):
    return op_qxqspddX8k(a,374)

def op_count_t7BgFzR4Wt(a):
    count = op_count_qxqspddX8k(a,374)
    return count


def op_jGhS0WdGCr(a):
    return op_0kmYd0q39Y(op_BiWNJpBvwn(a,673),op_2O29ZX4yK6(a))

def op_count_jGhS0WdGCr(a):
    count = op_count_BiWNJpBvwn(a,673)+op_count_2O29ZX4yK6(a)+op_count_0kmYd0q39Y(op_BiWNJpBvwn(a,673),op_2O29ZX4yK6(a))
    return count


def op_B7FQcQLYg3(a, b):
    if b <= 407:
        return op_FPxP5Y1j0W(op_5JYyxRJd4f(op_g55IO6H4Gj(104,b)),45)
    else:
        return op_z2JHNkvbdm(b,a)

def op_count_B7FQcQLYg3(a, b):
    if b <= 407:
        count = op_count_g55IO6H4Gj(104,b)+op_count_5JYyxRJd4f(op_g55IO6H4Gj(104,b))+op_count_FPxP5Y1j0W(op_5JYyxRJd4f(op_g55IO6H4Gj(104,b)),45)
    else:
        count = op_count_z2JHNkvbdm(b,a)
    return count


a⩛⩅⨕ = { a , if a>263 ; (((⋾a)⩤∜↚(44⋅⇍a))↮⪈⫰) , else }

def op_PkRzuP91Of(a):
    if a > 263:
        return a
    else:
        return op_MKpoIoBJCf(op_KROiRRz3d6(op_8TQKPGA8Ba(a),op_AdZkA7nFnk(44,a)))

def op_count_PkRzuP91Of(a):
    if a > 263:
        count = 1
    else:
        count = op_count_8TQKPGA8Ba(a)+op_count_AdZkA7nFnk(44,a)+op_count_KROiRRz3d6(op_8TQKPGA8Ba(a),op_AdZkA7nFnk(44,a))+op_count_MKpoIoBJCf(op_KROiRRz3d6(op_8TQKPGA8Ba(a),op_AdZkA7nFnk(44,a)))
    return count


def op_OPyu84fMjk(a):
    return op_2z8nE7LpCu(op_2z8nE7LpCu(a,a),op_Cr5xnr8B4B(149,103))

def op_count_OPyu84fMjk(a):
    count = op_count_2z8nE7LpCu(a,a)+op_count_Cr5xnr8B4B(149,103)+op_count_2z8nE7LpCu(op_2z8nE7LpCu(a,a),op_Cr5xnr8B4B(149,103))
    return count


a⪟⨻≽b = { (((⫡⇟⇯b)⩼⇪↪(⇖52))⇿⊰((≯b)⋘(a⫚↹⊑a))) , if (b⫍⨯↯)==267 ; ((⩕↛(a∅a))∽((b⊲⩕⊾a)⋳/(b⋞a))) , else }

def op_Pzx8DdqabO(a, b):
    if op_ZcwmYACASQ(b) == 267:
        return op_ap3xiM279w(op_ocnLzx9CaJ(op_qWUSsah53b(b),op_tfWHHpNKUN(52)),op_2M7SKlOzyM(op_keWfFq85dY(b),op_dfKe02y8D2(a,a)))
    else:
        return op_y4ImoPnbV5(op_3EhVUz7Ug9(op_giaUb8UVhq(a,a)),op_m612RDITqL(op_DmTXOeWf9t(b,a),op_V4yb4KDoeF(b,a)))

def op_count_Pzx8DdqabO(a, b):
    if op_ZcwmYACASQ(b) == 267:
        count = op_count_qWUSsah53b(b)+op_count_tfWHHpNKUN(52)+op_count_ocnLzx9CaJ(op_qWUSsah53b(b),op_tfWHHpNKUN(52))+op_count_keWfFq85dY(b)+op_count_dfKe02y8D2(a,a)+op_count_2M7SKlOzyM(op_keWfFq85dY(b),op_dfKe02y8D2(a,a))+op_count_ap3xiM279w(op_ocnLzx9CaJ(op_qWUSsah53b(b),op_tfWHHpNKUN(52)),op_2M7SKlOzyM(op_keWfFq85dY(b),op_dfKe02y8D2(a,a)))+op_count_ZcwmYACASQ(b)
    else:
        count = op_count_giaUb8UVhq(a,a)+op_count_3EhVUz7Ug9(op_giaUb8UVhq(a,a))+op_count_DmTXOeWf9t(b,a)+op_count_V4yb4KDoeF(b,a)+op_count_m612RDITqL(op_DmTXOeWf9t(b,a),op_V4yb4KDoeF(b,a))+op_count_y4ImoPnbV5(op_3EhVUz7Ug9(op_giaUb8UVhq(a,a)),op_m612RDITqL(op_DmTXOeWf9t(b,a),op_V4yb4KDoeF(b,a)))
    return count


a⋋∟⊰b = { ((b∩⋅)⨻⪊⨷(a⨣∐↬a)) , if (∡b)!=166 and a!=69 and b<152 ; (7⨜⨶(a⨵⪆142)) , else }

def op_mrNpOysvNy(a, b):
    if op_pRsWfj4Fpp(b) != 166 and a != 69 and b < 152:
        return op_Pkwamo1tM2(op_2MzE1hQ0cz(b),op_UpkSd4zESC(a,a))
    else:
        return op_HiPekx5b7W(7,op_2DQ55sFlQl(a,142))

def op_count_mrNpOysvNy(a, b):
    if op_pRsWfj4Fpp(b) != 166 and a != 69 and b < 152:
        count = op_count_2MzE1hQ0cz(b)+op_count_UpkSd4zESC(a,a)+op_count_Pkwamo1tM2(op_2MzE1hQ0cz(b),op_UpkSd4zESC(a,a))+op_count_pRsWfj4Fpp(b)
    else:
        count = op_count_2DQ55sFlQl(a,142)+op_count_HiPekx5b7W(7,op_2DQ55sFlQl(a,142))
    return count


⊟↸*a = { (a⇊⊒⫧) , if a!=224 ; (a⨵⪆a) , else }

def op_vpQFaicGMM(a):
    if a != 224:
        return op_eIba4BG3xN(a)
    else:
        return op_2DQ55sFlQl(a,a)

def op_count_vpQFaicGMM(a):
    if a != 224:
        count = op_count_eIba4BG3xN(a)
    else:
        count = op_count_2DQ55sFlQl(a,a)
    return count


def op_5UorIKpPro(a):
    return op_xoJmIySC7h(a,op_vg4gO5BX6G(a,106))

def op_count_5UorIKpPro(a):
    count = op_count_vg4gO5BX6G(a,106)+op_count_xoJmIySC7h(a,op_vg4gO5BX6G(a,106))
    return count


def op_1m18G2N8t2(a, b):
    if op_HjMFvreeUu(a) != 457 and op_XIabStNQrY(a) <= 229 and op_rysDP5nf3Z(b,595) >= 9:
        return op_KFSx94NKJn(a,b)
    else:
        return op_TytFGXR7Zf(278)

def op_count_1m18G2N8t2(a, b):
    if op_HjMFvreeUu(a) != 457 and op_XIabStNQrY(a) <= 229 and op_rysDP5nf3Z(b,595) >= 9:
        count = op_count_KFSx94NKJn(a,b)+op_count_HjMFvreeUu(a)+op_count_XIabStNQrY(a)+op_count_rysDP5nf3Z(b,595)
    else:
        count = op_count_TytFGXR7Zf(278)
    return count


def op_Bdiofinswe(a, b):
    return op_XbEAUggs3J(op_oRDoc9rAEX(b,a))

def op_count_Bdiofinswe(a, b):
    count = op_count_oRDoc9rAEX(b,a)+op_count_XbEAUggs3J(op_oRDoc9rAEX(b,a))
    return count


⋋⊲a = { (a∠↢(274∼⇢(a∊⊞≈a))) , if a<249 ; (((a⫸a)⫠↝⫳)↼⊘⨖(⇺⪔⩬(a⊉↱≁a))) , else }

def op_RpARD7IbKd(a):
    if a < 249:
        return op_KbjG8mgYpV(a,op_Cr5xnr8B4B(274,op_keuJNkrrbj(a,a)))
    else:
        return op_bPywburJMS(op_8n5YIzOsVS(op_Qaz2MhZaG5(a,a)),op_lAOUD4ZMWV(op_w2P8NbNXyL(a,a)))

def op_count_RpARD7IbKd(a):
    if a < 249:
        count = op_count_keuJNkrrbj(a,a)+op_count_Cr5xnr8B4B(274,op_keuJNkrrbj(a,a))+op_count_KbjG8mgYpV(a,op_Cr5xnr8B4B(274,op_keuJNkrrbj(a,a)))
    else:
        count = op_count_Qaz2MhZaG5(a,a)+op_count_8n5YIzOsVS(op_Qaz2MhZaG5(a,a))+op_count_w2P8NbNXyL(a,a)+op_count_lAOUD4ZMWV(op_w2P8NbNXyL(a,a))+op_count_bPywburJMS(op_8n5YIzOsVS(op_Qaz2MhZaG5(a,a)),op_lAOUD4ZMWV(op_w2P8NbNXyL(a,a)))
    return count


a∰⊸⨳b = { ((b∄408)⩒⫫(b⪯⫾⋍b)) , if a>=698 ; ((a⊵↤)⋂⩴(b≧⊼a)) , else }

def op_jyxETRFrfc(a, b):
    if a >= 698:
        return op_KFSx94NKJn(op_tnyRA5sazQ(b,408),op_S5ZFQS4GK3(b,b))
    else:
        return op_hmlrMsD2PO(op_7IPrd9c3lf(a),op_JoLB3LXqXx(b,a))

def op_count_jyxETRFrfc(a, b):
    if a >= 698:
        count = op_count_tnyRA5sazQ(b,408)+op_count_S5ZFQS4GK3(b,b)+op_count_KFSx94NKJn(op_tnyRA5sazQ(b,408),op_S5ZFQS4GK3(b,b))
    else:
        count = op_count_7IPrd9c3lf(a)+op_count_JoLB3LXqXx(b,a)+op_count_hmlrMsD2PO(op_7IPrd9c3lf(a),op_JoLB3LXqXx(b,a))
    return count


a⨳⋭⩊b = { (((a≶b)⪁⨴⋨(⨍⩸↶b))≟⫹((a≻⇥≳a)∠↢(b-a))) , if a>592 or (a⇋≉)!=108 ; (((a⪖⪡a)⋅⇍(b+105))⊓≱((⊤a)⪁⨴⋨(a⨜⇔a))) , else }

def op_hI7k9NMHqW(a, b):
    if a > 592 or op_XIabStNQrY(a) != 108:
        return op_z2JHNkvbdm(op_y2kQTS4a70(op_Q2SPaKwpPJ(a,b),op_2jG7DiviLq(b)),op_KbjG8mgYpV(op_aiqF8n6J9c(a,a),op_rysDP5nf3Z(b,a)))
    else:
        return op_VCG3UHNzLR(op_AdZkA7nFnk(op_7PjNe5qSIJ(a,a),op_W4YGzv6Whe(b,105)),op_y2kQTS4a70(op_oDvtRyfmAM(a),op_Sq3AGanRSD(a,a)))

def op_count_hI7k9NMHqW(a, b):
    if a > 592 or op_XIabStNQrY(a) != 108:
        count = op_count_Q2SPaKwpPJ(a,b)+op_count_2jG7DiviLq(b)+op_count_y2kQTS4a70(op_Q2SPaKwpPJ(a,b),op_2jG7DiviLq(b))+op_count_aiqF8n6J9c(a,a)+op_count_rysDP5nf3Z(b,a)+op_count_KbjG8mgYpV(op_aiqF8n6J9c(a,a),op_rysDP5nf3Z(b,a))+op_count_z2JHNkvbdm(op_y2kQTS4a70(op_Q2SPaKwpPJ(a,b),op_2jG7DiviLq(b)),op_KbjG8mgYpV(op_aiqF8n6J9c(a,a),op_rysDP5nf3Z(b,a)))+op_count_XIabStNQrY(a)
    else:
        count = op_count_7PjNe5qSIJ(a,a)+op_count_W4YGzv6Whe(b,105)+op_count_AdZkA7nFnk(op_7PjNe5qSIJ(a,a),op_W4YGzv6Whe(b,105))+op_count_oDvtRyfmAM(a)+op_count_Sq3AGanRSD(a,a)+op_count_y2kQTS4a70(op_oDvtRyfmAM(a),op_Sq3AGanRSD(a,a))+op_count_VCG3UHNzLR(op_AdZkA7nFnk(op_7PjNe5qSIJ(a,a),op_W4YGzv6Whe(b,105)),op_y2kQTS4a70(op_oDvtRyfmAM(a),op_Sq3AGanRSD(a,a)))
    return count


≶⨎a = { (a⫡⨏a) , if a==89 ; (a∄a) , else }

def op_HBYkj1MDxA(a):
    if a == 89:
        return op_QMFrweE19q(a,a)
    else:
        return op_tnyRA5sazQ(a,a)

def op_count_HBYkj1MDxA(a):
    if a == 89:
        count = op_count_QMFrweE19q(a,a)
    else:
        count = op_count_tnyRA5sazQ(a,a)
    return count


def op_5RN9lSLLKh(a):
    return op_FyVja0WsTP(op_IxJHfR5psi(op_3sJ7IOPOlU(a,a),a),op_UoVew8f2p2(a,op_3Oe9XWJUTD(a,a)))

def op_count_5RN9lSLLKh(a):
    count = op_count_3sJ7IOPOlU(a,a)+op_count_IxJHfR5psi(op_3sJ7IOPOlU(a,a),a)+op_count_3Oe9XWJUTD(a,a)+op_count_UoVew8f2p2(a,op_3Oe9XWJUTD(a,a))+op_count_FyVja0WsTP(op_IxJHfR5psi(op_3sJ7IOPOlU(a,a),a),op_UoVew8f2p2(a,op_3Oe9XWJUTD(a,a)))
    return count


a*⨺⊵b = { (⨝⨆(b+a)) , if (⫭≬a)!=633 ; ((a∝a)⊉≛↸(b⨜⨶a)) , else }

def op_NnryeZgiwo(a, b):
    if op_S7Dkc5Re0B(a) != 633:
        return op_bQ67fsrMVf(op_W4YGzv6Whe(b,a))
    else:
        return op_DZ8iAZOCBD(op_cTDWOvIxvz(a,a),op_HiPekx5b7W(b,a))

def op_count_NnryeZgiwo(a, b):
    if op_S7Dkc5Re0B(a) != 633:
        count = op_count_W4YGzv6Whe(b,a)+op_count_bQ67fsrMVf(op_W4YGzv6Whe(b,a))+op_count_S7Dkc5Re0B(a)
    else:
        count = op_count_cTDWOvIxvz(a,a)+op_count_HiPekx5b7W(b,a)+op_count_DZ8iAZOCBD(op_cTDWOvIxvz(a,a),op_HiPekx5b7W(b,a))
    return count


def op_RsIz0jMEOs(a, b):
    return op_YC3tgrnOyr(op_Q2SPaKwpPJ(a,b),op_WkeUrDK8WX(815))

def op_count_RsIz0jMEOs(a, b):
    count = op_count_Q2SPaKwpPJ(a,b)+op_count_WkeUrDK8WX(815)+op_count_YC3tgrnOyr(op_Q2SPaKwpPJ(a,b),op_WkeUrDK8WX(815))
    return count


def op_FwjpH4CO5L(a):
    return op_keuJNkrrbj(op_umQnsF7QlU(op_B3sABdIn96(a),op_5JYyxRJd4f(a)),op_Q2SPaKwpPJ(op_FPxP5Y1j0W(a,60),op_Ikt5ks8PT7(a,13)))

def op_count_FwjpH4CO5L(a):
    count = op_count_B3sABdIn96(a)+op_count_5JYyxRJd4f(a)+op_count_umQnsF7QlU(op_B3sABdIn96(a),op_5JYyxRJd4f(a))+op_count_FPxP5Y1j0W(a,60)+op_count_Ikt5ks8PT7(a,13)+op_count_Q2SPaKwpPJ(op_FPxP5Y1j0W(a,60),op_Ikt5ks8PT7(a,13))+op_count_keuJNkrrbj(op_umQnsF7QlU(op_B3sABdIn96(a),op_5JYyxRJd4f(a)),op_Q2SPaKwpPJ(op_FPxP5Y1j0W(a,60),op_Ikt5ks8PT7(a,13)))
    return count


def op_3On8Mq6EYF(a, b):
    if b <= 133:
        return op_12rbrZMWeM(op_5twsqlHp2o(436,a),op_uysxUYN2L2(b,b))
    else:
        return op_9xnGDUPbC6(op_OWnFPqjWlR(a,a))

def op_count_3On8Mq6EYF(a, b):
    if b <= 133:
        count = op_count_5twsqlHp2o(436,a)+op_count_uysxUYN2L2(b,b)+op_count_12rbrZMWeM(op_5twsqlHp2o(436,a),op_uysxUYN2L2(b,b))
    else:
        count = op_count_OWnFPqjWlR(a,a)+op_count_9xnGDUPbC6(op_OWnFPqjWlR(a,a))
    return count


def op_6lEGX12sqf(a, b):
    return op_RygbFNSyEJ(op_KFSx94NKJn(op_uTBsSls0VN(b,a),op_Tmr9JGNMVH(a)),op_gx7XJ7hdpj(op_H9jWZL1q0V(67),op_qy3n0tapmE(a,168)))

def op_count_6lEGX12sqf(a, b):
    count = op_count_uTBsSls0VN(b,a)+op_count_Tmr9JGNMVH(a)+op_count_KFSx94NKJn(op_uTBsSls0VN(b,a),op_Tmr9JGNMVH(a))+op_count_H9jWZL1q0V(67)+op_count_qy3n0tapmE(a,168)+op_count_gx7XJ7hdpj(op_H9jWZL1q0V(67),op_qy3n0tapmE(a,168))+op_count_RygbFNSyEJ(op_KFSx94NKJn(op_uTBsSls0VN(b,a),op_Tmr9JGNMVH(a)),op_gx7XJ7hdpj(op_H9jWZL1q0V(67),op_qy3n0tapmE(a,168)))
    return count


def op_8kC3VQV3Yq(a, b):
    if b < 5:
        return op_m612RDITqL(op_jBC4ymW3D7(op_ljTHtUsqzn(a),op_RygbFNSyEJ(a,a)),op_FyVja0WsTP(op_IxJHfR5psi(265,b),op_E4l6HwMY31(148,b)))
    else:
        return op_wmlQD0656L(op_tIhPxZTbsh(op_xoJmIySC7h(b,a),op_64EQ39e0fC(10,a)))

def op_count_8kC3VQV3Yq(a, b):
    if b < 5:
        count = op_count_ljTHtUsqzn(a)+op_count_RygbFNSyEJ(a,a)+op_count_jBC4ymW3D7(op_ljTHtUsqzn(a),op_RygbFNSyEJ(a,a))+op_count_IxJHfR5psi(265,b)+op_count_E4l6HwMY31(148,b)+op_count_FyVja0WsTP(op_IxJHfR5psi(265,b),op_E4l6HwMY31(148,b))+op_count_m612RDITqL(op_jBC4ymW3D7(op_ljTHtUsqzn(a),op_RygbFNSyEJ(a,a)),op_FyVja0WsTP(op_IxJHfR5psi(265,b),op_E4l6HwMY31(148,b)))
    else:
        count = op_count_xoJmIySC7h(b,a)+op_count_64EQ39e0fC(10,a)+op_count_tIhPxZTbsh(op_xoJmIySC7h(b,a),op_64EQ39e0fC(10,a))+op_count_wmlQD0656L(op_tIhPxZTbsh(op_xoJmIySC7h(b,a),op_64EQ39e0fC(10,a)))
    return count


def op_fy8jUyMw6M(a):
    return op_HjMFvreeUu(op_sM9mzqIDB1(a,a))

def op_count_fy8jUyMw6M(a):
    count = op_count_sM9mzqIDB1(a,a)+op_count_HjMFvreeUu(op_sM9mzqIDB1(a,a))
    return count


def op_F3ZYW0Xs6y(a, b):
    if b > 308:
        return op_B3tNObfNaL(op_s0IfDFCCuZ(a,a))
    else:
        return op_ocnLzx9CaJ(op_Api82iH42a(246,86),op_UMMmb9LONo(421))

def op_count_F3ZYW0Xs6y(a, b):
    if b > 308:
        count = op_count_s0IfDFCCuZ(a,a)+op_count_B3tNObfNaL(op_s0IfDFCCuZ(a,a))
    else:
        count = op_count_Api82iH42a(246,86)+op_count_UMMmb9LONo(421)+op_count_ocnLzx9CaJ(op_Api82iH42a(246,86),op_UMMmb9LONo(421))
    return count


a⨊ = { ((a⊵a)≏⨯⊱(579⋥≓≎a)) , if (a∮⨁)>104 ; (⩪⩔(0⨳⩥⨓a)) , else }

def op_Yx2SW1no1q(a):
    if op_TytFGXR7Zf(a) > 104:
        return op_UqUOXUQnbU(op_eaFBhJ0Uku(a,a),op_Qy55tPpLXF(579,a))
    else:
        return op_Siyfjn51pv(op_nCS4ZIUYfx(0,a))

def op_count_Yx2SW1no1q(a):
    if op_TytFGXR7Zf(a) > 104:
        count = op_count_eaFBhJ0Uku(a,a)+op_count_Qy55tPpLXF(579,a)+op_count_UqUOXUQnbU(op_eaFBhJ0Uku(a,a),op_Qy55tPpLXF(579,a))+op_count_TytFGXR7Zf(a)
    else:
        count = op_count_nCS4ZIUYfx(0,a)+op_count_Siyfjn51pv(op_nCS4ZIUYfx(0,a))
    return count


a⫿⩙⫶ = { (a≠≀a) , if (a⪑⩈)<477 ; (a⪠⩆⊳) , else }

def op_HghB9Wb87q(a):
    if op_C6VvDP6HwP(a) < 477:
        return op_IwW236VD4Y(a,a)
    else:
        return op_JLbD19bQDL(a)

def op_count_HghB9Wb87q(a):
    if op_C6VvDP6HwP(a) < 477:
        count = op_count_IwW236VD4Y(a,a)+op_count_C6VvDP6HwP(a)
    else:
        count = op_count_JLbD19bQDL(a)
    return count


a⫤≉ = { (((a⪊≅)⊉≛↸(a⫇⋯a))⨽⪊≇) , if (a∁)==277 or (⋽⪳⨃a)!=291 or a>474 ; (((⊁⨺a)≽⪈↿(a⫃⨇a))∣(∂⩏⊆(a⪁⨴⋨a))) , else }

def op_EEwWxUWaEX(a):
    if op_jdwGQqwJi5(a) == 277 or op_qAljGMXEZr(a) != 291 or a > 474:
        return op_nlCqmYiOvY(op_DZ8iAZOCBD(op_bjFbhXSADs(a),op_xoJmIySC7h(a,a)))
    else:
        return op_PPChnnnBFF(op_inCIaGQf8u(op_PxiHyQbrIp(a),op_09Ly4LVMIf(a,a)),op_8WDwsbhb0R(op_y2kQTS4a70(a,a)))

def op_count_EEwWxUWaEX(a):
    if op_jdwGQqwJi5(a) == 277 or op_qAljGMXEZr(a) != 291 or a > 474:
        count = op_count_bjFbhXSADs(a)+op_count_xoJmIySC7h(a,a)+op_count_DZ8iAZOCBD(op_bjFbhXSADs(a),op_xoJmIySC7h(a,a))+op_count_nlCqmYiOvY(op_DZ8iAZOCBD(op_bjFbhXSADs(a),op_xoJmIySC7h(a,a)))+op_count_jdwGQqwJi5(a)+op_count_qAljGMXEZr(a)
    else:
        count = op_count_PxiHyQbrIp(a)+op_count_09Ly4LVMIf(a,a)+op_count_inCIaGQf8u(op_PxiHyQbrIp(a),op_09Ly4LVMIf(a,a))+op_count_y2kQTS4a70(a,a)+op_count_8WDwsbhb0R(op_y2kQTS4a70(a,a))+op_count_PPChnnnBFF(op_inCIaGQf8u(op_PxiHyQbrIp(a),op_09Ly4LVMIf(a,a)),op_8WDwsbhb0R(op_y2kQTS4a70(a,a)))
    return count


def op_rIhv4QYABv(a, b):
    return op_2td37pGCOC(op_JoLB3LXqXx(op_xSk1F0pZbF(a,a),op_y4ImoPnbV5(a,b)))

def op_count_rIhv4QYABv(a, b):
    count = op_count_xSk1F0pZbF(a,a)+op_count_y4ImoPnbV5(a,b)+op_count_JoLB3LXqXx(op_xSk1F0pZbF(a,a),op_y4ImoPnbV5(a,b))+op_count_2td37pGCOC(op_JoLB3LXqXx(op_xSk1F0pZbF(a,a),op_y4ImoPnbV5(a,b)))
    return count


⨶⫂⊶a = { ((⩯≢≕(a∲⫓a))⊲⩕⊾(↸⊣(464⪚⨁⋖a))) }

def op_jXDDweKMrz(a):
    return op_DmTXOeWf9t(op_840vADziXz(op_i8ToyICDmI(a,a)),op_wztAlM01eG(op_xSk1F0pZbF(464,a)))

def op_count_jXDDweKMrz(a):
    count = op_count_i8ToyICDmI(a,a)+op_count_840vADziXz(op_i8ToyICDmI(a,a))+op_count_xSk1F0pZbF(464,a)+op_count_wztAlM01eG(op_xSk1F0pZbF(464,a))+op_count_DmTXOeWf9t(op_840vADziXz(op_i8ToyICDmI(a,a)),op_wztAlM01eG(op_xSk1F0pZbF(464,a)))
    return count


def op_X2bul7T2BP(a, b):
    if (b == 468 and b > 296 and op_6l7ULzJsnZ(a) == 216):
        return a
    else:
        return op_MKzNxCV7Yo(op_IxJHfR5psi(b,39))

def op_count_X2bul7T2BP(a, b):
    if (b == 468 and b > 296 and op_6l7ULzJsnZ(a) == 216):
        count = 1
    else:
        count = op_count_IxJHfR5psi(b,39)+op_count_MKzNxCV7Yo(op_IxJHfR5psi(b,39))
    return count


a∉⩋ = { (((a⪔⊥a)≬⋮(a⊲⩕⊾a))↼⊘⨖((3↢99)⪑⩈)) }

def op_daCe9wWAQV(a):
    return op_bPywburJMS(op_kbkesczE7y(op_HJ9erzHUuu(a,a),op_DmTXOeWf9t(a,a)),op_C6VvDP6HwP(op_WR6HLWljOP(3,99)))

def op_count_daCe9wWAQV(a):
    count = op_count_HJ9erzHUuu(a,a)+op_count_DmTXOeWf9t(a,a)+op_count_kbkesczE7y(op_HJ9erzHUuu(a,a),op_DmTXOeWf9t(a,a))+op_count_WR6HLWljOP(3,99)+op_count_C6VvDP6HwP(op_WR6HLWljOP(3,99))+op_count_bPywburJMS(op_kbkesczE7y(op_HJ9erzHUuu(a,a),op_DmTXOeWf9t(a,a)),op_C6VvDP6HwP(op_WR6HLWljOP(3,99)))
    return count


def op_hOjh2aJdmN(a):
    return op_KYL1uVeVpb(a,a)

def op_count_hOjh2aJdmN(a):
    count = op_count_KYL1uVeVpb(a,a)
    return count


def op_b2oWuhbyt6(a):
    return op_ap3xiM279w(a,a)

def op_count_b2oWuhbyt6(a):
    count = op_count_ap3xiM279w(a,a)
    return count


def op_W72pam0a82(a):
    return op_HiPekx5b7W(op_D3AQDKkPcf(a,op_Q2SPaKwpPJ(386,a)),op_12rbrZMWeM(op_nREPSIbpBE(a,24),op_0bdkhPtsnY(460)))

def op_count_W72pam0a82(a):
    count = op_count_Q2SPaKwpPJ(386,a)+op_count_D3AQDKkPcf(a,op_Q2SPaKwpPJ(386,a))+op_count_nREPSIbpBE(a,24)+op_count_0bdkhPtsnY(460)+op_count_12rbrZMWeM(op_nREPSIbpBE(a,24),op_0bdkhPtsnY(460))+op_count_HiPekx5b7W(op_D3AQDKkPcf(a,op_Q2SPaKwpPJ(386,a)),op_12rbrZMWeM(op_nREPSIbpBE(a,24),op_0bdkhPtsnY(460)))
    return count


a⫶⩦⫌b = { (182≏⨯⊱b) , if a==41 ; (b⨔⇊a) , else }

def op_JhaTKDJgG8(a, b):
    if a == 41:
        return op_UqUOXUQnbU(182,b)
    else:
        return op_JclMnS0uGI(b,a)

def op_count_JhaTKDJgG8(a, b):
    if a == 41:
        count = op_count_UqUOXUQnbU(182,b)
    else:
        count = op_count_JclMnS0uGI(b,a)
    return count


def op_5LC1Gi4bcV(a):
    return op_bF6eod5Gvf(op_Pkwamo1tM2(a,a),op_IjUb3wyICU(a))

def op_count_5LC1Gi4bcV(a):
    count = op_count_Pkwamo1tM2(a,a)+op_count_IjUb3wyICU(a)+op_count_bF6eod5Gvf(op_Pkwamo1tM2(a,a),op_IjUb3wyICU(a))
    return count


a⪡⪫ = { ((⇙⪊(a⨝⩣∺))≽⪈↿((a⨚a)⊱⇼⊻(a→⨶⪴562))) }

def op_O9ITgcsgp9(a):
    return op_inCIaGQf8u(op_pB6Fcnrjim(op_ancx8kZcWl(a)),op_FyVja0WsTP(op_nREPSIbpBE(a,a),op_bF6eod5Gvf(a,562)))

def op_count_O9ITgcsgp9(a):
    count = op_count_ancx8kZcWl(a)+op_count_pB6Fcnrjim(op_ancx8kZcWl(a))+op_count_nREPSIbpBE(a,a)+op_count_bF6eod5Gvf(a,562)+op_count_FyVja0WsTP(op_nREPSIbpBE(a,a),op_bF6eod5Gvf(a,562))+op_count_inCIaGQf8u(op_pB6Fcnrjim(op_ancx8kZcWl(a)),op_FyVja0WsTP(op_nREPSIbpBE(a,a),op_bF6eod5Gvf(a,562)))
    return count


a⊣≗⋬ = { ((⋷⊟a)+(a∷a)) , if ((a≖−≲)==149 and a==26) ; ((⩆⇋a)⨜⨶(a⋂⩴a)) , else }

def op_56z7SUCW4w(a):
    if (op_IpgdDpBHsO(a) == 149 and a == 26):
        return op_W4YGzv6Whe(op_2fAMLLeFHb(a),op_D3AQDKkPcf(a,a))
    else:
        return op_HiPekx5b7W(op_IjUb3wyICU(a),op_hmlrMsD2PO(a,a))

def op_count_56z7SUCW4w(a):
    if (op_IpgdDpBHsO(a) == 149 and a == 26):
        count = op_count_2fAMLLeFHb(a)+op_count_D3AQDKkPcf(a,a)+op_count_W4YGzv6Whe(op_2fAMLLeFHb(a),op_D3AQDKkPcf(a,a))+op_count_IpgdDpBHsO(a)
    else:
        count = op_count_IjUb3wyICU(a)+op_count_hmlrMsD2PO(a,a)+op_count_HiPekx5b7W(op_IjUb3wyICU(a),op_hmlrMsD2PO(a,a))
    return count


a≈⊹ = { (((a∌↝a)⨱∎)∼⇢((a⋰⇉∕a)≶(a⪯⫾⋍a))) }

def op_wuSlRNeT6Q(a):
    return op_Cr5xnr8B4B(op_MmTdOpaElr(op_9Isq31Ruls(a,a)),op_Q2SPaKwpPJ(op_sM9mzqIDB1(a,a),op_S5ZFQS4GK3(a,a)))

def op_count_wuSlRNeT6Q(a):
    count = op_count_9Isq31Ruls(a,a)+op_count_MmTdOpaElr(op_9Isq31Ruls(a,a))+op_count_sM9mzqIDB1(a,a)+op_count_S5ZFQS4GK3(a,a)+op_count_Q2SPaKwpPJ(op_sM9mzqIDB1(a,a),op_S5ZFQS4GK3(a,a))+op_count_Cr5xnr8B4B(op_MmTdOpaElr(op_9Isq31Ruls(a,a)),op_Q2SPaKwpPJ(op_sM9mzqIDB1(a,a),op_S5ZFQS4GK3(a,a)))
    return count


def op_Ux7iK00Jvb(a):
    if op_3tVxb0NHM4(a,33) == 627:
        return op_4JGOJzXMq1(op_WSbXXWOizJ(a,a),op_s0IfDFCCuZ(a,a))
    else:
        return op_PPChnnnBFF(op_ZcwmYACASQ(a),op_hrf7POJlIJ(13,a))

def op_count_Ux7iK00Jvb(a):
    if op_3tVxb0NHM4(a,33) == 627:
        count = op_count_WSbXXWOizJ(a,a)+op_count_s0IfDFCCuZ(a,a)+op_count_4JGOJzXMq1(op_WSbXXWOizJ(a,a),op_s0IfDFCCuZ(a,a))+op_count_3tVxb0NHM4(a,33)
    else:
        count = op_count_ZcwmYACASQ(a)+op_count_hrf7POJlIJ(13,a)+op_count_PPChnnnBFF(op_ZcwmYACASQ(a),op_hrf7POJlIJ(13,a))
    return count


≔⇕a = { a , if (⩦⩻⨪a)!=13 ; (a⪎⨄⋝) , else }

def op_mpaJkGaFro(a):
    if op_2td37pGCOC(a) != 13:
        return a
    else:
        return op_kweVJGAjhl(a)

def op_count_mpaJkGaFro(a):
    if op_2td37pGCOC(a) != 13:
        count = 1
    else:
        count = op_count_kweVJGAjhl(a)
    return count


⨚≀a = { (a⋟⫀⨗a) , if (a∭)<122 ; (a⪚⨁⋖a) , else }

def op_nshroTv9ag(a):
    if op_qLBMy5fcJr(a) < 122:
        return op_dAAkup5nzi(a,a)
    else:
        return op_xSk1F0pZbF(a,a)

def op_count_nshroTv9ag(a):
    if op_qLBMy5fcJr(a) < 122:
        count = op_count_dAAkup5nzi(a,a)+op_count_qLBMy5fcJr(a)
    else:
        count = op_count_xSk1F0pZbF(a,a)
    return count


def op_KJeEe0Px2T(a):
    return op_1aApVXNlOP(a,op_XnXgA4xnOs(a,op_j4geBLYVFK(46)))

def op_count_KJeEe0Px2T(a):
    count = op_count_j4geBLYVFK(46)+op_count_XnXgA4xnOs(a,op_j4geBLYVFK(46))+op_count_1aApVXNlOP(a,op_XnXgA4xnOs(a,op_j4geBLYVFK(46)))
    return count


√a = { 2 , if (a⊚⫡⫭)>=57 and (⋑a)==20 ; ((a≐→⇾)≣(a⊋≦⊧a)) , else }

def op_9Nj8JWw93Z(a):
    if op_SpZWOsLKZJ(a) >= 57 and op_iz8sE888QL(a) == 20:
        return 2
    else:
        return op_ObEyaaML9x(op_zV3pqYiQ5E(a),op_oRDoc9rAEX(a,a))

def op_count_9Nj8JWw93Z(a):
    if op_SpZWOsLKZJ(a) >= 57 and op_iz8sE888QL(a) == 20:
        count = op_count_SpZWOsLKZJ(a)+op_count_iz8sE888QL(a)
    else:
        count = op_count_zV3pqYiQ5E(a)+op_count_oRDoc9rAEX(a,a)+op_count_ObEyaaML9x(op_zV3pqYiQ5E(a),op_oRDoc9rAEX(a,a))
    return count


def op_xU4apvO7X0(a, b):
    if a <= 402:
        return op_AdZkA7nFnk(op_7j4O788W3g(5,op_U9HvHqtOoq(a)),op_Api82iH42a(op_oH594TLvBK(b),op_neKQRQQIil(a,240)))
    else:
        return op_oRDoc9rAEX(op_tIhPxZTbsh(op_ar1w6gUwHX(131,b),op_uysxUYN2L2(b,b)),op_Sq3AGanRSD(op_KYL1uVeVpb(b,781),op_j9kHMeSvPp(764,b)))

def op_count_xU4apvO7X0(a, b):
    if a <= 402:
        count = op_count_U9HvHqtOoq(a)+op_count_7j4O788W3g(5,op_U9HvHqtOoq(a))+op_count_oH594TLvBK(b)+op_count_neKQRQQIil(a,240)+op_count_Api82iH42a(op_oH594TLvBK(b),op_neKQRQQIil(a,240))+op_count_AdZkA7nFnk(op_7j4O788W3g(5,op_U9HvHqtOoq(a)),op_Api82iH42a(op_oH594TLvBK(b),op_neKQRQQIil(a,240)))
    else:
        count = op_count_ar1w6gUwHX(131,b)+op_count_uysxUYN2L2(b,b)+op_count_tIhPxZTbsh(op_ar1w6gUwHX(131,b),op_uysxUYN2L2(b,b))+op_count_KYL1uVeVpb(b,781)+op_count_j9kHMeSvPp(764,b)+op_count_Sq3AGanRSD(op_KYL1uVeVpb(b,781),op_j9kHMeSvPp(764,b))+op_count_oRDoc9rAEX(op_tIhPxZTbsh(op_ar1w6gUwHX(131,b),op_uysxUYN2L2(b,b)),op_Sq3AGanRSD(op_KYL1uVeVpb(b,781),op_j9kHMeSvPp(764,b)))
    return count


a⋌≃b = { (((223⪚⊾⩭)∲⫑b)≽↲≰((a⩒⫫b)⇖↽(⪁⇼b))) }

def op_ZuWTEsGw6f(a, b):
    return op_cFVlceoRkX(op_NrdPCfJQiM(op_ebeGRCukrZ(223),b),op_cwbF3JtlMN(op_KFSx94NKJn(a,b),op_ZNVVrZ94lY(b)))

def op_count_ZuWTEsGw6f(a, b):
    count = op_count_ebeGRCukrZ(223)+op_count_NrdPCfJQiM(op_ebeGRCukrZ(223),b)+op_count_KFSx94NKJn(a,b)+op_count_ZNVVrZ94lY(b)+op_count_cwbF3JtlMN(op_KFSx94NKJn(a,b),op_ZNVVrZ94lY(b))+op_count_cFVlceoRkX(op_NrdPCfJQiM(op_ebeGRCukrZ(223),b),op_cwbF3JtlMN(op_KFSx94NKJn(a,b),op_ZNVVrZ94lY(b)))
    return count


a⪴⪢⩗b = { ((⋗⩬⋾(a⊢≏≾b))⊬⨰((∑⇻≧b)⪕(a⪉⨛b))) }

def op_cNSflPr971(a, b):
    return op_s3Fd5m9Dh2(op_DpFCA1CohY(op_qxqspddX8k(a,b)),op_umQnsF7QlU(op_l1M9WJ3V7u(b),op_EWw2JM7wp4(a,b)))

def op_count_cNSflPr971(a, b):
    count = op_count_qxqspddX8k(a,b)+op_count_DpFCA1CohY(op_qxqspddX8k(a,b))+op_count_l1M9WJ3V7u(b)+op_count_EWw2JM7wp4(a,b)+op_count_umQnsF7QlU(op_l1M9WJ3V7u(b),op_EWw2JM7wp4(a,b))+op_count_s3Fd5m9Dh2(op_DpFCA1CohY(op_qxqspddX8k(a,b)),op_umQnsF7QlU(op_l1M9WJ3V7u(b),op_EWw2JM7wp4(a,b)))
    return count


def op_VDo68Vv9Oy(a):
    if (op_gx7XJ7hdpj(a,338) >= 156 and op_BjRHVeLaeN(a) <= 17):
        return op_Mp74FtG4yY(op_DX7B1fY6P6(a,121))
    else:
        return op_3A1e9zoj8h(op_d8xe6WWVfM(a,a))

def op_count_VDo68Vv9Oy(a):
    if (op_gx7XJ7hdpj(a,338) >= 156 and op_BjRHVeLaeN(a) <= 17):
        count = op_count_DX7B1fY6P6(a,121)+op_count_Mp74FtG4yY(op_DX7B1fY6P6(a,121))+op_count_gx7XJ7hdpj(a,338)+op_count_BjRHVeLaeN(a)
    else:
        count = op_count_d8xe6WWVfM(a,a)+op_count_3A1e9zoj8h(op_d8xe6WWVfM(a,a))
    return count


⫿⨺a = { (a∠↢a) , if a>=14 ; (a⪨a) , else }

def op_mmv5UHiqV1(a):
    if a >= 14:
        return op_KbjG8mgYpV(a,a)
    else:
        return op_2z8nE7LpCu(a,a)

def op_count_mmv5UHiqV1(a):
    if a >= 14:
        count = op_count_KbjG8mgYpV(a,a)
    else:
        count = op_count_2z8nE7LpCu(a,a)
    return count


def op_EjjZdWuWOr(a, b):
    return op_xSk1F0pZbF(op_neKQRQQIil(a,b),op_P75hhshrwX(b))

def op_count_EjjZdWuWOr(a, b):
    count = op_count_neKQRQQIil(a,b)+op_count_P75hhshrwX(b)+op_count_xSk1F0pZbF(op_neKQRQQIil(a,b),op_P75hhshrwX(b))
    return count


a≣↻b = { (⩪⩔((b⫁⪎a)⨸⪁(⇗⪘∲a))) , if (a∀⋜↑)>=353 ; (((b∼⇢b)⋳/a)⋷((≋389)⋙)) , else }

def op_KDDfsCJhw5(a, b):
    if op_KipPnG1M2J(a) >= 353:
        return op_Siyfjn51pv(op_g55IO6H4Gj(op_xRrnTEsQ6j(b,a),op_j4geBLYVFK(a)))
    else:
        return op_23Mk6UjR3U(op_m612RDITqL(op_Cr5xnr8B4B(b,b),a),op_XZxEnkN3N0(op_61wBmkZwlr(389)))

def op_count_KDDfsCJhw5(a, b):
    if op_KipPnG1M2J(a) >= 353:
        count = op_count_xRrnTEsQ6j(b,a)+op_count_j4geBLYVFK(a)+op_count_g55IO6H4Gj(op_xRrnTEsQ6j(b,a),op_j4geBLYVFK(a))+op_count_Siyfjn51pv(op_g55IO6H4Gj(op_xRrnTEsQ6j(b,a),op_j4geBLYVFK(a)))+op_count_KipPnG1M2J(a)
    else:
        count = op_count_Cr5xnr8B4B(b,b)+op_count_m612RDITqL(op_Cr5xnr8B4B(b,b),a)+op_count_61wBmkZwlr(389)+op_count_XZxEnkN3N0(op_61wBmkZwlr(389))+op_count_23Mk6UjR3U(op_m612RDITqL(op_Cr5xnr8B4B(b,b),a),op_XZxEnkN3N0(op_61wBmkZwlr(389)))
    return count


def op_EPQYTAAjDN(a):
    return op_B3sABdIn96(op_g55IO6H4Gj(a,196))

def op_count_EPQYTAAjDN(a):
    count = op_count_g55IO6H4Gj(a,196)+op_count_B3sABdIn96(op_g55IO6H4Gj(a,196))
    return count


def op_n5wvQJ84nZ(a, b):
    return op_3A1e9zoj8h(op_BAIXFdYaz3(b,a))

def op_count_n5wvQJ84nZ(a, b):
    count = op_count_BAIXFdYaz3(b,a)+op_count_3A1e9zoj8h(op_BAIXFdYaz3(b,a))
    return count


def op_f19HVpwUtN(a):
    return op_E4l6HwMY31(op_yuvXk3Mco8(402),op_EWw2JM7wp4(a,a))

def op_count_f19HVpwUtN(a):
    count = op_count_yuvXk3Mco8(402)+op_count_EWw2JM7wp4(a,a)+op_count_E4l6HwMY31(op_yuvXk3Mco8(402),op_EWw2JM7wp4(a,a))
    return count


def op_FwXU2ccSS8(a):
    return op_d7ASUq0ydm(op_PrwIXj9ZQe(op_bjFbhXSADs(a)),op_eftAHwPbeA(op_W4YGzv6Whe(a,a)))

def op_count_FwXU2ccSS8(a):
    count = op_count_bjFbhXSADs(a)+op_count_PrwIXj9ZQe(op_bjFbhXSADs(a))+op_count_W4YGzv6Whe(a,a)+op_count_eftAHwPbeA(op_W4YGzv6Whe(a,a))+op_count_d7ASUq0ydm(op_PrwIXj9ZQe(op_bjFbhXSADs(a)),op_eftAHwPbeA(op_W4YGzv6Whe(a,a)))
    return count


def op_azvffE8HSm(a):
    return op_bF6eod5Gvf(a,op_Bmrmz2XGnR(a,a))

def op_count_azvffE8HSm(a):
    count = op_count_Bmrmz2XGnR(a,a)+op_count_bF6eod5Gvf(a,op_Bmrmz2XGnR(a,a))
    return count


a⨱⊌ = { a , if a<=711 ; (⊿(a⨔⊶↷a)) , else }

def op_NS9BolIB1B(a):
    if a <= 711:
        return a
    else:
        return op_DO4fhlbJSI(op_WObL9SsYVE(a,a))

def op_count_NS9BolIB1B(a):
    if a <= 711:
        count = 1
    else:
        count = op_count_WObL9SsYVE(a,a)+op_count_DO4fhlbJSI(op_WObL9SsYVE(a,a))
    return count


def op_kHCzNB6UHl(a):
    return op_GMN7JP6WpN(579,op_rPNtK4BLRO(op_E4l6HwMY31(342,479),op_5twsqlHp2o(a,a)))

def op_count_kHCzNB6UHl(a):
    count = op_count_E4l6HwMY31(342,479)+op_count_5twsqlHp2o(a,a)+op_count_rPNtK4BLRO(op_E4l6HwMY31(342,479),op_5twsqlHp2o(a,a))+op_count_GMN7JP6WpN(579,op_rPNtK4BLRO(op_E4l6HwMY31(342,479),op_5twsqlHp2o(a,a)))
    return count


def op_Abe2YLZvdJ(a):
    return op_y2kQTS4a70(op_hmlrMsD2PO(op_4JB6nKBMSY(a,a),op_B3sABdIn96(a)),op_Cr5xnr8B4B(op_YC3tgrnOyr(a,20),op_9FxExcQeMw(245,a)))

def op_count_Abe2YLZvdJ(a):
    count = op_count_4JB6nKBMSY(a,a)+op_count_B3sABdIn96(a)+op_count_hmlrMsD2PO(op_4JB6nKBMSY(a,a),op_B3sABdIn96(a))+op_count_YC3tgrnOyr(a,20)+op_count_9FxExcQeMw(245,a)+op_count_Cr5xnr8B4B(op_YC3tgrnOyr(a,20),op_9FxExcQeMw(245,a))+op_count_y2kQTS4a70(op_hmlrMsD2PO(op_4JB6nKBMSY(a,a),op_B3sABdIn96(a)),op_Cr5xnr8B4B(op_YC3tgrnOyr(a,20),op_9FxExcQeMw(245,a)))
    return count


def op_KwZuVxMAXT(a, b):
    return op_COABgblf1C(b,op_9xnGDUPbC6(a))

def op_count_KwZuVxMAXT(a, b):
    count = op_count_9xnGDUPbC6(a)+op_count_COABgblf1C(b,op_9xnGDUPbC6(a))
    return count


def op_FIL56wXOuD(a):
    if op_YbVcJGFEVW(a,623) > 281:
        return 45
    else:
        return op_8TQKPGA8Ba(op_bF6eod5Gvf(op_hmlrMsD2PO(a,172),op_JgXZM7XvWE(a,a)))

def op_count_FIL56wXOuD(a):
    if op_YbVcJGFEVW(a,623) > 281:
        count = op_count_YbVcJGFEVW(a,623)
    else:
        count = op_count_hmlrMsD2PO(a,172)+op_count_JgXZM7XvWE(a,a)+op_count_bF6eod5Gvf(op_hmlrMsD2PO(a,172),op_JgXZM7XvWE(a,a))+op_count_8TQKPGA8Ba(op_bF6eod5Gvf(op_hmlrMsD2PO(a,172),op_JgXZM7XvWE(a,a)))
    return count


def op_gUzxrvt71p(a):
    return op_SPuZE40Ntn(op_rPNtK4BLRO(op_23Mk6UjR3U(a,a),op_MKzNxCV7Yo(a)),op_C6VvDP6HwP(op_JDUIKTTSIa(124,222)))

def op_count_gUzxrvt71p(a):
    count = op_count_23Mk6UjR3U(a,a)+op_count_MKzNxCV7Yo(a)+op_count_rPNtK4BLRO(op_23Mk6UjR3U(a,a),op_MKzNxCV7Yo(a))+op_count_JDUIKTTSIa(124,222)+op_count_C6VvDP6HwP(op_JDUIKTTSIa(124,222))+op_count_SPuZE40Ntn(op_rPNtK4BLRO(op_23Mk6UjR3U(a,a),op_MKzNxCV7Yo(a)),op_C6VvDP6HwP(op_JDUIKTTSIa(124,222)))
    return count


def op_erUMkNxUTh(a):
    return op_4JGOJzXMq1(op_KPf6cnQVty(138,a),op_cwbF3JtlMN(505,a))

def op_count_erUMkNxUTh(a):
    count = op_count_KPf6cnQVty(138,a)+op_count_cwbF3JtlMN(505,a)+op_count_4JGOJzXMq1(op_KPf6cnQVty(138,a),op_cwbF3JtlMN(505,a))
    return count


def op_dS3vmXYzMr(a, b):
    return op_g55IO6H4Gj(op_DX7B1fY6P6(op_g55IO6H4Gj(a,a),op_12rbrZMWeM(a,a)),op_U6pG0PXrV3(op_3mBM5G4a3l(b)))

def op_count_dS3vmXYzMr(a, b):
    count = op_count_g55IO6H4Gj(a,a)+op_count_12rbrZMWeM(a,a)+op_count_DX7B1fY6P6(op_g55IO6H4Gj(a,a),op_12rbrZMWeM(a,a))+op_count_3mBM5G4a3l(b)+op_count_U6pG0PXrV3(op_3mBM5G4a3l(b))+op_count_g55IO6H4Gj(op_DX7B1fY6P6(op_g55IO6H4Gj(a,a),op_12rbrZMWeM(a,a)),op_U6pG0PXrV3(op_3mBM5G4a3l(b)))
    return count


def op_g1t39T4CNw(a):
    return op_aiqF8n6J9c(a,261)

def op_count_g1t39T4CNw(a):
    count = op_count_aiqF8n6J9c(a,261)
    return count


a↧↺⊃ = { (((a⫸a)∲⫑(944⋞a))↺((a⊓≱a)≼(a⪨≂a))) , if (⫊≏⨉a)==112 ; (((a⫍⨯↯)⩹(a⪨⊡609))⪍↜⋙((a⫊⇚⊺a)⫁⪎(a⪖⪡a))) , else }

def op_WigUGApcQ3(a):
    if op_KED7KUUlGq(a) == 112:
        return op_7j4O788W3g(op_NrdPCfJQiM(op_Qaz2MhZaG5(a,a),op_V4yb4KDoeF(944,a)),op_SPuZE40Ntn(op_VCG3UHNzLR(a,a),op_sdazOOVcIp(a,a)))
    else:
        return op_L05ObWFQCd(op_2Wsdkap16l(op_ZcwmYACASQ(a),op_kuIXHzHcAH(a,609)),op_xRrnTEsQ6j(op_Y5cEcQhyKu(a,a),op_7PjNe5qSIJ(a,a)))

def op_count_WigUGApcQ3(a):
    if op_KED7KUUlGq(a) == 112:
        count = op_count_Qaz2MhZaG5(a,a)+op_count_V4yb4KDoeF(944,a)+op_count_NrdPCfJQiM(op_Qaz2MhZaG5(a,a),op_V4yb4KDoeF(944,a))+op_count_VCG3UHNzLR(a,a)+op_count_sdazOOVcIp(a,a)+op_count_SPuZE40Ntn(op_VCG3UHNzLR(a,a),op_sdazOOVcIp(a,a))+op_count_7j4O788W3g(op_NrdPCfJQiM(op_Qaz2MhZaG5(a,a),op_V4yb4KDoeF(944,a)),op_SPuZE40Ntn(op_VCG3UHNzLR(a,a),op_sdazOOVcIp(a,a)))+op_count_KED7KUUlGq(a)
    else:
        count = op_count_ZcwmYACASQ(a)+op_count_kuIXHzHcAH(a,609)+op_count_2Wsdkap16l(op_ZcwmYACASQ(a),op_kuIXHzHcAH(a,609))+op_count_Y5cEcQhyKu(a,a)+op_count_7PjNe5qSIJ(a,a)+op_count_xRrnTEsQ6j(op_Y5cEcQhyKu(a,a),op_7PjNe5qSIJ(a,a))+op_count_L05ObWFQCd(op_2Wsdkap16l(op_ZcwmYACASQ(a),op_kuIXHzHcAH(a,609)),op_xRrnTEsQ6j(op_Y5cEcQhyKu(a,a),op_7PjNe5qSIJ(a,a)))
    return count


def op_QmNHwIPJpO(a, b):
    if (b < 613 or a >= 119 or b < 309):
        return op_Pkwamo1tM2(op_s0IfDFCCuZ(op_V4yb4KDoeF(a,a),op_Rw46J52cBJ(55,391)),op_s3Fd5m9Dh2(a,op_IjUb3wyICU(a)))
    else:
        return op_wmlQD0656L(op_0JWJYFSzIQ(op_sdazOOVcIp(a,a),op_SPuZE40Ntn(b,a)))

def op_count_QmNHwIPJpO(a, b):
    if (b < 613 or a >= 119 or b < 309):
        count = op_count_V4yb4KDoeF(a,a)+op_count_Rw46J52cBJ(55,391)+op_count_s0IfDFCCuZ(op_V4yb4KDoeF(a,a),op_Rw46J52cBJ(55,391))+op_count_IjUb3wyICU(a)+op_count_s3Fd5m9Dh2(a,op_IjUb3wyICU(a))+op_count_Pkwamo1tM2(op_s0IfDFCCuZ(op_V4yb4KDoeF(a,a),op_Rw46J52cBJ(55,391)),op_s3Fd5m9Dh2(a,op_IjUb3wyICU(a)))
    else:
        count = op_count_sdazOOVcIp(a,a)+op_count_SPuZE40Ntn(b,a)+op_count_0JWJYFSzIQ(op_sdazOOVcIp(a,a),op_SPuZE40Ntn(b,a))+op_count_wmlQD0656L(op_0JWJYFSzIQ(op_sdazOOVcIp(a,a),op_SPuZE40Ntn(b,a)))
    return count


def op_yt7EJTOlxD(a, b):
    if a != 405:
        return op_rysDP5nf3Z(b,18)
    else:
        return op_h57jOAbG9W(a)

def op_count_yt7EJTOlxD(a, b):
    if a != 405:
        count = op_count_rysDP5nf3Z(b,18)
    else:
        count = op_count_h57jOAbG9W(a)
    return count


a⋐ = { (a≻⇥≳a) , if a>152 ; (a∷a) , else }

def op_CLbhVNbaU3(a):
    if a > 152:
        return op_aiqF8n6J9c(a,a)
    else:
        return op_D3AQDKkPcf(a,a)

def op_count_CLbhVNbaU3(a):
    if a > 152:
        count = op_count_aiqF8n6J9c(a,a)
    else:
        count = op_count_D3AQDKkPcf(a,a)
    return count


⨉≦↼a = { (((a⪒a)⨰(205∿⫑≎a))⫠↝⫳) , if a<=156 ; (∂⩏⊆(⫄⋦≢(a⪢⋭))) , else }

def op_rUzI4jKNPn(a):
    if a <= 156:
        return op_8n5YIzOsVS(op_eewbuw0ToL(op_f6k1SAg4EE(a,a),op_ar1w6gUwHX(205,a)))
    else:
        return op_8WDwsbhb0R(op_4kvgVkQeiQ(op_csT5a4elgc(a)))

def op_count_rUzI4jKNPn(a):
    if a <= 156:
        count = op_count_f6k1SAg4EE(a,a)+op_count_ar1w6gUwHX(205,a)+op_count_eewbuw0ToL(op_f6k1SAg4EE(a,a),op_ar1w6gUwHX(205,a))+op_count_8n5YIzOsVS(op_eewbuw0ToL(op_f6k1SAg4EE(a,a),op_ar1w6gUwHX(205,a)))
    else:
        count = op_count_csT5a4elgc(a)+op_count_4kvgVkQeiQ(op_csT5a4elgc(a))+op_count_8WDwsbhb0R(op_4kvgVkQeiQ(op_csT5a4elgc(a)))
    return count


def op_Oz60OTg7Kb(a):
    return op_xUOZtlo3hN(op_QKXs96F9fN(op_zR4jO40bMj(a,a)))

def op_count_Oz60OTg7Kb(a):
    count = op_count_zR4jO40bMj(a,a)+op_count_QKXs96F9fN(op_zR4jO40bMj(a,a))+op_count_xUOZtlo3hN(op_QKXs96F9fN(op_zR4jO40bMj(a,a)))
    return count


def op_sBYFXexRzT(a):
    return op_Ikt5ks8PT7(op_dAAkup5nzi(a,a),op_ztP7wcbY7m(a))

def op_count_sBYFXexRzT(a):
    count = op_count_dAAkup5nzi(a,a)+op_count_ztP7wcbY7m(a)+op_count_Ikt5ks8PT7(op_dAAkup5nzi(a,a),op_ztP7wcbY7m(a))
    return count


def op_HM9ofUKDT9(a):
    return op_KPf6cnQVty(101,op_YApyZlDuBr(op_3sJ7IOPOlU(a,a)))

def op_count_HM9ofUKDT9(a):
    count = op_count_3sJ7IOPOlU(a,a)+op_count_YApyZlDuBr(op_3sJ7IOPOlU(a,a))+op_count_KPf6cnQVty(101,op_YApyZlDuBr(op_3sJ7IOPOlU(a,a)))
    return count


a⋹≄ = { (((21⪚a)∠⫱(a⫸a))⪱⇝((a⫍⨯↯)⪨⊡(a∠⫱a))) }

def op_o6KJ48R9Bf(a):
    return op_OTRTVPweYV(op_QvoQhV0rrE(op_HrjLwUk87U(21,a),op_Qaz2MhZaG5(a,a)),op_kuIXHzHcAH(op_ZcwmYACASQ(a),op_QvoQhV0rrE(a,a)))

def op_count_o6KJ48R9Bf(a):
    count = op_count_HrjLwUk87U(21,a)+op_count_Qaz2MhZaG5(a,a)+op_count_QvoQhV0rrE(op_HrjLwUk87U(21,a),op_Qaz2MhZaG5(a,a))+op_count_ZcwmYACASQ(a)+op_count_QvoQhV0rrE(a,a)+op_count_kuIXHzHcAH(op_ZcwmYACASQ(a),op_QvoQhV0rrE(a,a))+op_count_OTRTVPweYV(op_QvoQhV0rrE(op_HrjLwUk87U(21,a),op_Qaz2MhZaG5(a,a)),op_kuIXHzHcAH(op_ZcwmYACASQ(a),op_QvoQhV0rrE(a,a)))
    return count


def op_nCSYG0sci4(a):
    return op_kbkesczE7y(op_JclMnS0uGI(a,a),op_8w2t5hMYqp(a))

def op_count_nCSYG0sci4(a):
    count = op_count_JclMnS0uGI(a,a)+op_count_8w2t5hMYqp(a)+op_count_kbkesczE7y(op_JclMnS0uGI(a,a),op_8w2t5hMYqp(a))
    return count


a⇢⨀b = { ((b⋳/a)⨩≤⫤(b⪚⨁⋖b)) , if (⫄⋦≢b)<=2 ; ((a⩾b)≽↲≰(≯b)) , else }

def op_fjtdNEKGtt(a, b):
    if op_4kvgVkQeiQ(b) <= 2:
        return op_neKQRQQIil(op_m612RDITqL(b,a),op_xSk1F0pZbF(b,b))
    else:
        return op_cFVlceoRkX(op_UggxBX659n(a,b),op_keWfFq85dY(b))

def op_count_fjtdNEKGtt(a, b):
    if op_4kvgVkQeiQ(b) <= 2:
        count = op_count_m612RDITqL(b,a)+op_count_xSk1F0pZbF(b,b)+op_count_neKQRQQIil(op_m612RDITqL(b,a),op_xSk1F0pZbF(b,b))+op_count_4kvgVkQeiQ(b)
    else:
        count = op_count_UggxBX659n(a,b)+op_count_keWfFq85dY(b)+op_count_cFVlceoRkX(op_UggxBX659n(a,b),op_keWfFq85dY(b))
    return count


a⨣⋿⫁ = { (((14⪍↜⋙a)⨳⩥⨓(a⪶≀⋏a))⋎(⫂(250∄a))) , if (⋽⪳⨃a)<706 ; (((20⪇≇⋚a)⇤(a∏⇴a))↪∷((a⪯⫾⋍20)⨜⨶(a⪒a))) , else }

def op_XbS5ZYc6Zn(a):
    if op_qAljGMXEZr(a) < 706:
        return op_qy3n0tapmE(op_nCS4ZIUYfx(op_L05ObWFQCd(14,a),op_zR4jO40bMj(a,a)),op_U9HvHqtOoq(op_tnyRA5sazQ(250,a)))
    else:
        return op_Api82iH42a(op_YSKBFp38Pu(op_3sJ7IOPOlU(20,a),op_Rw46J52cBJ(a,a)),op_HiPekx5b7W(op_S5ZFQS4GK3(a,20),op_f6k1SAg4EE(a,a)))

def op_count_XbS5ZYc6Zn(a):
    if op_qAljGMXEZr(a) < 706:
        count = op_count_L05ObWFQCd(14,a)+op_count_zR4jO40bMj(a,a)+op_count_nCS4ZIUYfx(op_L05ObWFQCd(14,a),op_zR4jO40bMj(a,a))+op_count_tnyRA5sazQ(250,a)+op_count_U9HvHqtOoq(op_tnyRA5sazQ(250,a))+op_count_qy3n0tapmE(op_nCS4ZIUYfx(op_L05ObWFQCd(14,a),op_zR4jO40bMj(a,a)),op_U9HvHqtOoq(op_tnyRA5sazQ(250,a)))+op_count_qAljGMXEZr(a)
    else:
        count = op_count_3sJ7IOPOlU(20,a)+op_count_Rw46J52cBJ(a,a)+op_count_YSKBFp38Pu(op_3sJ7IOPOlU(20,a),op_Rw46J52cBJ(a,a))+op_count_S5ZFQS4GK3(a,20)+op_count_f6k1SAg4EE(a,a)+op_count_HiPekx5b7W(op_S5ZFQS4GK3(a,20),op_f6k1SAg4EE(a,a))+op_count_Api82iH42a(op_YSKBFp38Pu(op_3sJ7IOPOlU(20,a),op_Rw46J52cBJ(a,a)),op_HiPekx5b7W(op_S5ZFQS4GK3(a,20),op_f6k1SAg4EE(a,a)))
    return count


def op_0lx8o2g7ur(a):
    return op_DpFCA1CohY(op_W4YGzv6Whe(349,a))

def op_count_0lx8o2g7ur(a):
    count = op_count_W4YGzv6Whe(349,a)+op_count_DpFCA1CohY(op_W4YGzv6Whe(349,a))
    return count


def op_m7zcvuzcjJ(a):
    return op_6iafYuwGo8(a,op_u7fv1HBiaC(31))

def op_count_m7zcvuzcjJ(a):
    count = op_count_u7fv1HBiaC(31)+op_count_6iafYuwGo8(a,op_u7fv1HBiaC(31))
    return count


a∋∓⫟b = { (∓⪦(b↮⪈⫰)) , if (≈a)>=411 ; (((⫇b)≽⇕)⇢((b⩵∡b)⫸(⇙⪊a))) , else }

def op_xTgA75nXjt(a, b):
    if op_EO7Xdgo9So(a) >= 411:
        return op_D309nIvmXG(op_MKpoIoBJCf(b))
    else:
        return op_GMN7JP6WpN(op_SgAxmdLNEA(op_YjI8oCXuph(b)),op_Qaz2MhZaG5(op_Y7wcNGrDQJ(b,b),op_pB6Fcnrjim(a)))

def op_count_xTgA75nXjt(a, b):
    if op_EO7Xdgo9So(a) >= 411:
        count = op_count_MKpoIoBJCf(b)+op_count_D309nIvmXG(op_MKpoIoBJCf(b))+op_count_EO7Xdgo9So(a)
    else:
        count = op_count_YjI8oCXuph(b)+op_count_SgAxmdLNEA(op_YjI8oCXuph(b))+op_count_Y7wcNGrDQJ(b,b)+op_count_pB6Fcnrjim(a)+op_count_Qaz2MhZaG5(op_Y7wcNGrDQJ(b,b),op_pB6Fcnrjim(a))+op_count_GMN7JP6WpN(op_SgAxmdLNEA(op_YjI8oCXuph(b)),op_Qaz2MhZaG5(op_Y7wcNGrDQJ(b,b),op_pB6Fcnrjim(a)))
    return count


def op_ylEaL3cJ9O(a):
    if (op_8TQKPGA8Ba(a) < 391 or op_KfMCrRzQhT(a) <= 93):
        return op_S7Dkc5Re0B(532)
    else:
        return a

def op_count_ylEaL3cJ9O(a):
    if (op_8TQKPGA8Ba(a) < 391 or op_KfMCrRzQhT(a) <= 93):
        count = op_count_S7Dkc5Re0B(532)+op_count_8TQKPGA8Ba(a)+op_count_KfMCrRzQhT(a)
    else:
        count = 1
    return count


def op_1qOVrkUUAy(a):
    return op_5RY6W0glyJ(op_ap3xiM279w(a,a))

def op_count_1qOVrkUUAy(a):
    count = op_count_ap3xiM279w(a,a)+op_count_5RY6W0glyJ(op_ap3xiM279w(a,a))
    return count


a⫚⊁b = { (⫎≠⋺((a⊝⪿⪼b)⨰(a⋅⇍a))) , if (a∅617)<=94 ; (((b⩒⫫b)⨓↿∉b)∅50) , else }

def op_jCit4cQ0Np(a, b):
    if op_giaUb8UVhq(a,617) <= 94:
        return op_LYeZOJ0nQG(op_eewbuw0ToL(op_3Oe9XWJUTD(a,b),op_AdZkA7nFnk(a,a)))
    else:
        return op_giaUb8UVhq(op_OWnFPqjWlR(op_KFSx94NKJn(b,b),b),50)

def op_count_jCit4cQ0Np(a, b):
    if op_giaUb8UVhq(a,617) <= 94:
        count = op_count_3Oe9XWJUTD(a,b)+op_count_AdZkA7nFnk(a,a)+op_count_eewbuw0ToL(op_3Oe9XWJUTD(a,b),op_AdZkA7nFnk(a,a))+op_count_LYeZOJ0nQG(op_eewbuw0ToL(op_3Oe9XWJUTD(a,b),op_AdZkA7nFnk(a,a)))+op_count_giaUb8UVhq(a,617)
    else:
        count = op_count_KFSx94NKJn(b,b)+op_count_OWnFPqjWlR(op_KFSx94NKJn(b,b),b)+op_count_giaUb8UVhq(op_OWnFPqjWlR(op_KFSx94NKJn(b,b),b),50)
    return count


≣∔a = { (⋗⩬⋾(a⪨≂a)) , if (a≽↲≰570)>321 ; ((a⫃⨇a)⨰↻⪇(a≽↲≰a)) , else }

def op_5nPQLPO2y6(a):
    if op_cFVlceoRkX(a,570) > 321:
        return op_DpFCA1CohY(op_sdazOOVcIp(a,a))
    else:
        return op_nbuSfrB4hB(op_09Ly4LVMIf(a,a),op_cFVlceoRkX(a,a))

def op_count_5nPQLPO2y6(a):
    if op_cFVlceoRkX(a,570) > 321:
        count = op_count_sdazOOVcIp(a,a)+op_count_DpFCA1CohY(op_sdazOOVcIp(a,a))+op_count_cFVlceoRkX(a,570)
    else:
        count = op_count_09Ly4LVMIf(a,a)+op_count_cFVlceoRkX(a,a)+op_count_nbuSfrB4hB(op_09Ly4LVMIf(a,a),op_cFVlceoRkX(a,a))
    return count


def op_tZ6GdtsAZE(a):
    return op_AnPstFaJd9(op_9FxExcQeMw(a,201))

def op_count_tZ6GdtsAZE(a):
    count = op_count_9FxExcQeMw(a,201)+op_count_AnPstFaJd9(op_9FxExcQeMw(a,201))
    return count


def op_2muwgCqbmH(a, b):
    return op_eaFBhJ0Uku(op_PaBHOjxk8c(a),op_Pkwamo1tM2(a,b))

def op_count_2muwgCqbmH(a, b):
    count = op_count_PaBHOjxk8c(a)+op_count_Pkwamo1tM2(a,b)+op_count_eaFBhJ0Uku(op_PaBHOjxk8c(a),op_Pkwamo1tM2(a,b))
    return count


def op_MUihtlkRf5(a):
    return op_HmxsFra2vL(op_Noe24qw2ks(a,a),op_3EYGwJThht(a,a))

def op_count_MUihtlkRf5(a):
    count = op_count_Noe24qw2ks(a,a)+op_count_3EYGwJThht(a,a)+op_count_HmxsFra2vL(op_Noe24qw2ks(a,a),op_3EYGwJThht(a,a))
    return count


⫧∆a = { (((⩪∧⨌a)⋟⫀⨗(a⇴a))⨰(⋸⪍(464⩾a))) }

def op_gI0RtkeHQs(a):
    return op_eewbuw0ToL(op_dAAkup5nzi(op_6iOiAJX1F8(a),op_4JB6nKBMSY(a,a)),op_PrwIXj9ZQe(op_UggxBX659n(464,a)))

def op_count_gI0RtkeHQs(a):
    count = op_count_6iOiAJX1F8(a)+op_count_4JB6nKBMSY(a,a)+op_count_dAAkup5nzi(op_6iOiAJX1F8(a),op_4JB6nKBMSY(a,a))+op_count_UggxBX659n(464,a)+op_count_PrwIXj9ZQe(op_UggxBX659n(464,a))+op_count_eewbuw0ToL(op_dAAkup5nzi(op_6iOiAJX1F8(a),op_4JB6nKBMSY(a,a)),op_PrwIXj9ZQe(op_UggxBX659n(464,a)))
    return count


def op_LqpMZypdHX(a):
    return op_rPNtK4BLRO(op_y2kQTS4a70(op_u7fv1HBiaC(a),op_x5lMkHmzsq(a)),a)

def op_count_LqpMZypdHX(a):
    count = op_count_u7fv1HBiaC(a)+op_count_x5lMkHmzsq(a)+op_count_y2kQTS4a70(op_u7fv1HBiaC(a),op_x5lMkHmzsq(a))+op_count_rPNtK4BLRO(op_y2kQTS4a70(op_u7fv1HBiaC(a),op_x5lMkHmzsq(a)),a)
    return count


a⨍b = { (∨⫘⊿b) , if (⫦≽⪐b)>=0 ; (b⩍⋽⫝̸a) , else }

def op_ceRqZ68cFu(a, b):
    if op_fjqJgF5yyp(b) >= 0:
        return op_qxp9F1VMeC(b)
    else:
        return op_BiWNJpBvwn(b,a)

def op_count_ceRqZ68cFu(a, b):
    if op_fjqJgF5yyp(b) >= 0:
        count = op_count_qxp9F1VMeC(b)+op_count_fjqJgF5yyp(b)
    else:
        count = op_count_BiWNJpBvwn(b,a)
    return count


↵⋑a = { (a≝⊿a) , if (a⋆⋳)!=217 ; (∯a) , else }

def op_ygcs8hyBwA(a):
    if op_6MpZysEj17(a) != 217:
        return op_OKKcZfAt5B(a,a)
    else:
        return op_13TjBizFrQ(a)

def op_count_ygcs8hyBwA(a):
    if op_6MpZysEj17(a) != 217:
        count = op_count_OKKcZfAt5B(a,a)+op_count_6MpZysEj17(a)
    else:
        count = op_count_13TjBizFrQ(a)
    return count


def op_uTaYsVpvMK(a):
    return op_KPf6cnQVty(643,a)

def op_count_uTaYsVpvMK(a):
    count = op_count_KPf6cnQVty(643,a)
    return count


a⪧⨲b = { ((b⪭a)⊩≵⪔) , if a<6 ; ((80≃a)≭⫡(b⫚↹⊑340)) , else }

def op_ViqgXgeRy8(a, b):
    if a < 6:
        return op_aDRGw0okjd(op_j9kHMeSvPp(b,a))
    else:
        return op_b1mGkbI4Oy(op_YbVcJGFEVW(80,a),op_dfKe02y8D2(b,340))

def op_count_ViqgXgeRy8(a, b):
    if a < 6:
        count = op_count_j9kHMeSvPp(b,a)+op_count_aDRGw0okjd(op_j9kHMeSvPp(b,a))
    else:
        count = op_count_YbVcJGFEVW(80,a)+op_count_dfKe02y8D2(b,340)+op_count_b1mGkbI4Oy(op_YbVcJGFEVW(80,a),op_dfKe02y8D2(b,340))
    return count


def op_VhU4QPhxGi(a):
    return op_umQnsF7QlU(op_DmTXOeWf9t(op_09Ly4LVMIf(a,178),op_eRqsBgTDFp(a,a)),op_k2B77S3vSv(a))

def op_count_VhU4QPhxGi(a):
    count = op_count_09Ly4LVMIf(a,178)+op_count_eRqsBgTDFp(a,a)+op_count_DmTXOeWf9t(op_09Ly4LVMIf(a,178),op_eRqsBgTDFp(a,a))+op_count_k2B77S3vSv(a)+op_count_umQnsF7QlU(op_DmTXOeWf9t(op_09Ly4LVMIf(a,178),op_eRqsBgTDFp(a,a)),op_k2B77S3vSv(a))
    return count


def op_5eM6Qp6mRY(a, b):
    if op_C6VvDP6HwP(a) >= 554:
        return op_ObEyaaML9x(op_40aOVDgCDB(522),op_0bdkhPtsnY(a))
    else:
        return op_TytFGXR7Zf(op_SPuZE40Ntn(a,b))

def op_count_5eM6Qp6mRY(a, b):
    if op_C6VvDP6HwP(a) >= 554:
        count = op_count_40aOVDgCDB(522)+op_count_0bdkhPtsnY(a)+op_count_ObEyaaML9x(op_40aOVDgCDB(522),op_0bdkhPtsnY(a))+op_count_C6VvDP6HwP(a)
    else:
        count = op_count_SPuZE40Ntn(a,b)+op_count_TytFGXR7Zf(op_SPuZE40Ntn(a,b))
    return count


def op_HCryaqxLi3(a, b):
    if op_2fAMLLeFHb(b) != 589:
        return op_dAAkup5nzi(351,op_KbjG8mgYpV(op_oRDoc9rAEX(455,a),op_d7ASUq0ydm(a,a)))
    else:
        return op_ar1w6gUwHX(op_GMN7JP6WpN(op_qWUSsah53b(258),op_d7ASUq0ydm(221,a)),op_oRDoc9rAEX(op_S5ZFQS4GK3(a,b),op_Qaz2MhZaG5(b,309)))

def op_count_HCryaqxLi3(a, b):
    if op_2fAMLLeFHb(b) != 589:
        count = op_count_oRDoc9rAEX(455,a)+op_count_d7ASUq0ydm(a,a)+op_count_KbjG8mgYpV(op_oRDoc9rAEX(455,a),op_d7ASUq0ydm(a,a))+op_count_dAAkup5nzi(351,op_KbjG8mgYpV(op_oRDoc9rAEX(455,a),op_d7ASUq0ydm(a,a)))+op_count_2fAMLLeFHb(b)
    else:
        count = op_count_qWUSsah53b(258)+op_count_d7ASUq0ydm(221,a)+op_count_GMN7JP6WpN(op_qWUSsah53b(258),op_d7ASUq0ydm(221,a))+op_count_S5ZFQS4GK3(a,b)+op_count_Qaz2MhZaG5(b,309)+op_count_oRDoc9rAEX(op_S5ZFQS4GK3(a,b),op_Qaz2MhZaG5(b,309))+op_count_ar1w6gUwHX(op_GMN7JP6WpN(op_qWUSsah53b(258),op_d7ASUq0ydm(221,a)),op_oRDoc9rAEX(op_S5ZFQS4GK3(a,b),op_Qaz2MhZaG5(b,309)))
    return count


a⩝≶b = { (((b≝⊿a)⫁⪎(b⪱⇝a))⇋≉) , if (b∣107)>=144 ; (a⪢⋭) , else }

def op_q6iAK3IPqK(a, b):
    if op_PPChnnnBFF(b,107) >= 144:
        return op_XIabStNQrY(op_xRrnTEsQ6j(op_OKKcZfAt5B(b,a),op_OTRTVPweYV(b,a)))
    else:
        return op_csT5a4elgc(a)

def op_count_q6iAK3IPqK(a, b):
    if op_PPChnnnBFF(b,107) >= 144:
        count = op_count_OKKcZfAt5B(b,a)+op_count_OTRTVPweYV(b,a)+op_count_xRrnTEsQ6j(op_OKKcZfAt5B(b,a),op_OTRTVPweYV(b,a))+op_count_XIabStNQrY(op_xRrnTEsQ6j(op_OKKcZfAt5B(b,a),op_OTRTVPweYV(b,a)))+op_count_PPChnnnBFF(b,107)
    else:
        count = op_count_csT5a4elgc(a)
    return count


a⩃∿b = { ((a∀⩎⋷b)⩹(a≼322)) , if b!=268 ; ((a≶a)∑(b⩾b)) , else }

def op_pq3pqYEpp4(a, b):
    if b != 268:
        return op_2Wsdkap16l(op_FPxP5Y1j0W(a,b),op_SPuZE40Ntn(a,322))
    else:
        return op_JFrVJKYFMX(op_Q2SPaKwpPJ(a,a),op_UggxBX659n(b,b))

def op_count_pq3pqYEpp4(a, b):
    if b != 268:
        count = op_count_FPxP5Y1j0W(a,b)+op_count_SPuZE40Ntn(a,322)+op_count_2Wsdkap16l(op_FPxP5Y1j0W(a,b),op_SPuZE40Ntn(a,322))
    else:
        count = op_count_Q2SPaKwpPJ(a,a)+op_count_UggxBX659n(b,b)+op_count_JFrVJKYFMX(op_Q2SPaKwpPJ(a,a),op_UggxBX659n(b,b))
    return count


a≐⩧b = { ((b⊭⇢↿)↜⊷(⇗⪘∲b)) , if a<271 ; ((b≽⇕)⫸⇳(b⩇∃⫛a)) , else }

def op_T49sLqm3Na(a, b):
    if a < 271:
        return op_irKjLsMeKy(op_G8pG1QxO6Y(b),op_j4geBLYVFK(b))
    else:
        return op_gx7XJ7hdpj(op_SgAxmdLNEA(b),op_1aApVXNlOP(b,a))

def op_count_T49sLqm3Na(a, b):
    if a < 271:
        count = op_count_G8pG1QxO6Y(b)+op_count_j4geBLYVFK(b)+op_count_irKjLsMeKy(op_G8pG1QxO6Y(b),op_j4geBLYVFK(b))
    else:
        count = op_count_SgAxmdLNEA(b)+op_count_1aApVXNlOP(b,a)+op_count_gx7XJ7hdpj(op_SgAxmdLNEA(b),op_1aApVXNlOP(b,a))
    return count


a≿↹b = { (((a⪍↜⋙b)∀⩎⋷(b⇴a))⋰⇉∕((a⊢≏≾b)⪨(a⋢b))) , if (b⫠↝⫳)<415 ; (⩦⩻⨪((⇋↷a)⊵(104⨔⇊a))) , else }

def op_VionArRWsA(a, b):
    if op_8n5YIzOsVS(b) < 415:
        return op_sM9mzqIDB1(op_FPxP5Y1j0W(op_L05ObWFQCd(a,b),op_4JB6nKBMSY(b,a)),op_2z8nE7LpCu(op_qxqspddX8k(a,b),op_NdELin8EPX(a,b)))
    else:
        return op_2td37pGCOC(op_eaFBhJ0Uku(op_SWo3A1KBJH(a),op_JclMnS0uGI(104,a)))

def op_count_VionArRWsA(a, b):
    if op_8n5YIzOsVS(b) < 415:
        count = op_count_L05ObWFQCd(a,b)+op_count_4JB6nKBMSY(b,a)+op_count_FPxP5Y1j0W(op_L05ObWFQCd(a,b),op_4JB6nKBMSY(b,a))+op_count_qxqspddX8k(a,b)+op_count_NdELin8EPX(a,b)+op_count_2z8nE7LpCu(op_qxqspddX8k(a,b),op_NdELin8EPX(a,b))+op_count_sM9mzqIDB1(op_FPxP5Y1j0W(op_L05ObWFQCd(a,b),op_4JB6nKBMSY(b,a)),op_2z8nE7LpCu(op_qxqspddX8k(a,b),op_NdELin8EPX(a,b)))+op_count_8n5YIzOsVS(b)
    else:
        count = op_count_SWo3A1KBJH(a)+op_count_JclMnS0uGI(104,a)+op_count_eaFBhJ0Uku(op_SWo3A1KBJH(a),op_JclMnS0uGI(104,a))+op_count_2td37pGCOC(op_eaFBhJ0Uku(op_SWo3A1KBJH(a),op_JclMnS0uGI(104,a)))
    return count


a≘⨍⩢b = { ((a⇛(⪷∈↠4))⪨((∷≠a)⊝⪿⪼(174⩒⫫a))) , if (⊢≑≆a)<42 and (b⋐≟⩺669)>13 and b<=62 ; (((a⊉≛↸b)⫼⨠(⪁≄b))⪁⨴⋨((b⋝∏)⨑(b≽⪈↿a))) , else }

def op_y1Bs0Kwqk0(a, b):
    if op_27wFxooxGf(a) < 42 and op_PjbVkMzmXE(b,669) > 13 and b <= 62:
        return op_2z8nE7LpCu(op_S3tN1ZzpSt(a,op_Kn0TacbtGK(4)),op_3Oe9XWJUTD(op_QiR2Oyf5Xj(a),op_KFSx94NKJn(174,a)))
    else:
        return op_y2kQTS4a70(op_KYL1uVeVpb(op_DZ8iAZOCBD(a,b),op_2O29ZX4yK6(b)),op_IxJHfR5psi(op_69GgKhV9QQ(b),op_inCIaGQf8u(b,a)))

def op_count_y1Bs0Kwqk0(a, b):
    if op_27wFxooxGf(a) < 42 and op_PjbVkMzmXE(b,669) > 13 and b <= 62:
        count = op_count_Kn0TacbtGK(4)+op_count_S3tN1ZzpSt(a,op_Kn0TacbtGK(4))+op_count_QiR2Oyf5Xj(a)+op_count_KFSx94NKJn(174,a)+op_count_3Oe9XWJUTD(op_QiR2Oyf5Xj(a),op_KFSx94NKJn(174,a))+op_count_2z8nE7LpCu(op_S3tN1ZzpSt(a,op_Kn0TacbtGK(4)),op_3Oe9XWJUTD(op_QiR2Oyf5Xj(a),op_KFSx94NKJn(174,a)))+op_count_27wFxooxGf(a)+op_count_PjbVkMzmXE(b,669)
    else:
        count = op_count_DZ8iAZOCBD(a,b)+op_count_2O29ZX4yK6(b)+op_count_KYL1uVeVpb(op_DZ8iAZOCBD(a,b),op_2O29ZX4yK6(b))+op_count_69GgKhV9QQ(b)+op_count_inCIaGQf8u(b,a)+op_count_IxJHfR5psi(op_69GgKhV9QQ(b),op_inCIaGQf8u(b,a))+op_count_y2kQTS4a70(op_KYL1uVeVpb(op_DZ8iAZOCBD(a,b),op_2O29ZX4yK6(b)),op_IxJHfR5psi(op_69GgKhV9QQ(b),op_inCIaGQf8u(b,a)))
    return count


def op_ZHciLFz6Pj(a):
    return op_ocnLzx9CaJ(op_wisItNeSwq(op_MKpoIoBJCf(a)),op_kbkesczE7y(a,op_DZ8iAZOCBD(a,a)))

def op_count_ZHciLFz6Pj(a):
    count = op_count_MKpoIoBJCf(a)+op_count_wisItNeSwq(op_MKpoIoBJCf(a))+op_count_DZ8iAZOCBD(a,a)+op_count_kbkesczE7y(a,op_DZ8iAZOCBD(a,a))+op_count_ocnLzx9CaJ(op_wisItNeSwq(op_MKpoIoBJCf(a)),op_kbkesczE7y(a,op_DZ8iAZOCBD(a,a)))
    return count


def op_XfMOxBn7HF(a, b):
    return op_7Nd029Vx1U(op_QMFrweE19q(a,b))

def op_count_XfMOxBn7HF(a, b):
    count = op_count_QMFrweE19q(a,b)+op_count_7Nd029Vx1U(op_QMFrweE19q(a,b))
    return count


a↚⊠⫝ = { ((a≝⊿a)≟⫹(a⊱⇼⊻a)) , if (a⋙)<811 ; (⇖(75⨰a)) , else }

def op_hufSi7BX0u(a):
    if op_XZxEnkN3N0(a) < 811:
        return op_z2JHNkvbdm(op_OKKcZfAt5B(a,a),op_FyVja0WsTP(a,a))
    else:
        return op_tfWHHpNKUN(op_eewbuw0ToL(75,a))

def op_count_hufSi7BX0u(a):
    if op_XZxEnkN3N0(a) < 811:
        count = op_count_OKKcZfAt5B(a,a)+op_count_FyVja0WsTP(a,a)+op_count_z2JHNkvbdm(op_OKKcZfAt5B(a,a),op_FyVja0WsTP(a,a))+op_count_XZxEnkN3N0(a)
    else:
        count = op_count_eewbuw0ToL(75,a)+op_count_tfWHHpNKUN(op_eewbuw0ToL(75,a))
    return count


def op_Vrrz5W3ctx(a):
    return op_RPa3726CSl(op_QMFrweE19q(306,a))

def op_count_Vrrz5W3ctx(a):
    count = op_count_QMFrweE19q(306,a)+op_count_RPa3726CSl(op_QMFrweE19q(306,a))
    return count


def op_DiM3nNl5rR(a):
    return op_qU6oQAhJaQ(op_NTOWxs364D(op_R3vAdrE3IH(a),op_t8gj7n24qd(a)))

def op_count_DiM3nNl5rR(a):
    count = op_count_R3vAdrE3IH(a)+op_count_t8gj7n24qd(a)+op_count_NTOWxs364D(op_R3vAdrE3IH(a),op_t8gj7n24qd(a))+op_count_qU6oQAhJaQ(op_NTOWxs364D(op_R3vAdrE3IH(a),op_t8gj7n24qd(a)))
    return count


a⩥⊱b = { ((b⫩⊇)⫯⪬∳a) , if (b∊⊞≈800)!=477 ; ((b⪿⇪⊩a)⪐-(a⇼⇔∾b)) , else }

def op_TtKiRfWgLg(a, b):
    if op_keuJNkrrbj(b,800) != 477:
        return op_d7ASUq0ydm(op_BjRHVeLaeN(b),a)
    else:
        return op_d8xe6WWVfM(op_OGWBzMv138(b,a),op_tifHPKVTfV(a,b))

def op_count_TtKiRfWgLg(a, b):
    if op_keuJNkrrbj(b,800) != 477:
        count = op_count_BjRHVeLaeN(b)+op_count_d7ASUq0ydm(op_BjRHVeLaeN(b),a)+op_count_keuJNkrrbj(b,800)
    else:
        count = op_count_OGWBzMv138(b,a)+op_count_tifHPKVTfV(a,b)+op_count_d8xe6WWVfM(op_OGWBzMv138(b,a),op_tifHPKVTfV(a,b))
    return count