def op_W4YGzv6Whe(a, b):
    sum_ab = a + b
    if sum_ab > thres:
        return float("inf")
    elif sum_ab < -thres:
        return float("-inf")
    return sum_ab

def op_count_W4YGzv6Whe(a, b):
    return 1


def op_rysDP5nf3Z(a, b):
    diff_ab = a - b
    if diff_ab > thres:
        return float("inf")
    elif diff_ab < -thres:
        return float("-inf")
    return diff_ab

def op_count_rysDP5nf3Z(a, b):
    return 1


def op_t8gj7n24qd(a):
    neg_a = -a
    if neg_a > thres:
        return float("inf")
    elif neg_a < -thres:
        return float("-inf")
    return neg_a

def op_count_t8gj7n24qd(a):
    return 1


def op_9HNa5Wba9A(a, b):
    prod_ab = a * b
    if prod_ab > thres:
        return float("inf")
    elif prod_ab < -thres:
        return float("-inf")
    return prod_ab

def op_count_9HNa5Wba9A(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (b != b) or a in special_values or b in special_values:
        return 1
    count = min(abs(a), abs(b))
    return count if count > 0 else 1


def op_XhwjNDsVaA(a, b):
    if b == 0:
        return float("nan")
    if b == float('inf') or b == float('-inf'):
        if a != float('inf') and a != float('-inf') and a == a:
            return 0
    return a // b

def op_count_XhwjNDsVaA(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (b != b) or a in special_values or b in special_values:
        return 1
    if b == 0:
        return 1
    count = abs(a) // abs(b)
    return count if count > 0 else 1


def op_k8jYdgA6NY(a, b):
    if b == 0:
        return float("nan")
    return a % b

def op_count_k8jYdgA6NY(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (b != b) or a in special_values or b in special_values:
        return 1
    if b == 0:
        return 1
    count = abs(a) // abs(b)
    return count if count > 0 else 1


def op_eLAdDNolq6(a):
    return op_rysDP5nf3Z(484,a)

def op_count_eLAdDNolq6(a):
    count = op_count_rysDP5nf3Z(484,a)
    return count


def op_DIvbN7qnHd(a):
    return op_rysDP5nf3Z(op_t8gj7n24qd(a),op_t8gj7n24qd(a))

def op_count_DIvbN7qnHd(a):
    count = op_count_t8gj7n24qd(a)+op_count_t8gj7n24qd(a)+op_count_rysDP5nf3Z(op_t8gj7n24qd(a),op_t8gj7n24qd(a))
    return count


def op_2td37pGCOC(a):
    return op_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_t8gj7n24qd(a))

def op_count_2td37pGCOC(a):
    count = op_count_rysDP5nf3Z(a,a)+op_count_t8gj7n24qd(a)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_t8gj7n24qd(a))
    return count


def op_tifHPKVTfV(a, b):
    return op_t8gj7n24qd(op_rysDP5nf3Z(a,b))

def op_count_tifHPKVTfV(a, b):
    count = op_count_rysDP5nf3Z(a,b)+op_count_t8gj7n24qd(op_rysDP5nf3Z(a,b))
    return count


def op_glklzrTFfD(a):
    if a <= 24:
        return op_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_W4YGzv6Whe(a,a))
    else:
        return a

def op_count_glklzrTFfD(a):
    if a <= 24:
        count = op_count_rysDP5nf3Z(a,a)+op_count_W4YGzv6Whe(a,a)+op_count_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_W4YGzv6Whe(a,a))
    else:
        count = 1
    return count


def op_23Mk6UjR3U(a, b):
    if a > 575:
        return op_W4YGzv6Whe(op_t8gj7n24qd(a),op_W4YGzv6Whe(b,b))
    else:
        return op_t8gj7n24qd(op_W4YGzv6Whe(a,a))

def op_count_23Mk6UjR3U(a, b):
    if a > 575:
        count = op_count_t8gj7n24qd(a)+op_count_W4YGzv6Whe(b,b)+op_count_W4YGzv6Whe(op_t8gj7n24qd(a),op_W4YGzv6Whe(b,b))
    else:
        count = op_count_W4YGzv6Whe(a,a)+op_count_t8gj7n24qd(op_W4YGzv6Whe(a,a))
    return count


def op_12rbrZMWeM(a, b):
    return op_rysDP5nf3Z(op_rysDP5nf3Z(op_rysDP5nf3Z(a,b),op_rysDP5nf3Z(a,a)),op_rysDP5nf3Z(op_rysDP5nf3Z(24,a),op_t8gj7n24qd(263)))

def op_count_12rbrZMWeM(a, b):
    count = op_count_rysDP5nf3Z(a,b)+op_count_rysDP5nf3Z(a,a)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(a,b),op_rysDP5nf3Z(a,a))+op_count_rysDP5nf3Z(24,a)+op_count_t8gj7n24qd(263)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(24,a),op_t8gj7n24qd(263))+op_count_rysDP5nf3Z(op_rysDP5nf3Z(op_rysDP5nf3Z(a,b),op_rysDP5nf3Z(a,a)),op_rysDP5nf3Z(op_rysDP5nf3Z(24,a),op_t8gj7n24qd(263)))
    return count


def op_JLbD19bQDL(a):
    if (op_t8gj7n24qd(a) != 71 or a <= 364):
        return op_rysDP5nf3Z(op_W4YGzv6Whe(a,a),op_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_W4YGzv6Whe(a,a)))
    else:
        return op_t8gj7n24qd(op_W4YGzv6Whe(op_W4YGzv6Whe(a,a),op_rysDP5nf3Z(a,a)))

def op_count_JLbD19bQDL(a):
    if (op_t8gj7n24qd(a) != 71 or a <= 364):
        count = op_count_W4YGzv6Whe(a,a)+op_count_rysDP5nf3Z(a,a)+op_count_W4YGzv6Whe(a,a)+op_count_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_W4YGzv6Whe(a,a))+op_count_rysDP5nf3Z(op_W4YGzv6Whe(a,a),op_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_W4YGzv6Whe(a,a)))+op_count_t8gj7n24qd(a)
    else:
        count = op_count_W4YGzv6Whe(a,a)+op_count_rysDP5nf3Z(a,a)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(a,a),op_rysDP5nf3Z(a,a))+op_count_t8gj7n24qd(op_W4YGzv6Whe(op_W4YGzv6Whe(a,a),op_rysDP5nf3Z(a,a)))
    return count


def op_f6k1SAg4EE(a, b):
    return op_W4YGzv6Whe(op_t8gj7n24qd(a),op_t8gj7n24qd(b))

def op_count_f6k1SAg4EE(a, b):
    count = op_count_t8gj7n24qd(a)+op_count_t8gj7n24qd(b)+op_count_W4YGzv6Whe(op_t8gj7n24qd(a),op_t8gj7n24qd(b))
    return count


def op_14qkJME0vr(a):
    return op_rysDP5nf3Z(op_t8gj7n24qd(op_W4YGzv6Whe(a,a)),op_rysDP5nf3Z(op_W4YGzv6Whe(a,79),op_rysDP5nf3Z(a,a)))

def op_count_14qkJME0vr(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_t8gj7n24qd(op_W4YGzv6Whe(a,a))+op_count_W4YGzv6Whe(a,79)+op_count_rysDP5nf3Z(a,a)+op_count_rysDP5nf3Z(op_W4YGzv6Whe(a,79),op_rysDP5nf3Z(a,a))+op_count_rysDP5nf3Z(op_t8gj7n24qd(op_W4YGzv6Whe(a,a)),op_rysDP5nf3Z(op_W4YGzv6Whe(a,79),op_rysDP5nf3Z(a,a)))
    return count


def op_eH2TOUuTDT(a):
    if op_t8gj7n24qd(a) != 532 or a < 368:
        return op_W4YGzv6Whe(a,a)
    else:
        return op_t8gj7n24qd(a)

def op_count_eH2TOUuTDT(a):
    if op_t8gj7n24qd(a) != 532 or a < 368:
        count = op_count_W4YGzv6Whe(a,a)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_t8gj7n24qd(a)
    return count


def op_i8ToyICDmI(a, b):
    if b <= 622:
        return a
    else:
        return op_W4YGzv6Whe(op_t8gj7n24qd(b),b)

def op_count_i8ToyICDmI(a, b):
    if b <= 622:
        count = 1
    else:
        count = op_count_t8gj7n24qd(b)+op_count_W4YGzv6Whe(op_t8gj7n24qd(b),b)
    return count


def op_7j4O788W3g(a, b):
    if (op_t8gj7n24qd(a) <= 494 and op_t8gj7n24qd(a) >= 758):
        return op_rysDP5nf3Z(op_rysDP5nf3Z(b,a),op_rysDP5nf3Z(146,b))
    else:
        return op_t8gj7n24qd(op_t8gj7n24qd(b))

def op_count_7j4O788W3g(a, b):
    if (op_t8gj7n24qd(a) <= 494 and op_t8gj7n24qd(a) >= 758):
        count = op_count_rysDP5nf3Z(b,a)+op_count_rysDP5nf3Z(146,b)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(b,a),op_rysDP5nf3Z(146,b))+op_count_t8gj7n24qd(a)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_t8gj7n24qd(b)+op_count_t8gj7n24qd(op_t8gj7n24qd(b))
    return count


def op_sdazOOVcIp(a, b):
    if op_t8gj7n24qd(b) == 187:
        return op_rysDP5nf3Z(op_rysDP5nf3Z(op_rysDP5nf3Z(a,117),b),op_rysDP5nf3Z(op_rysDP5nf3Z(145,b),op_rysDP5nf3Z(a,a)))
    else:
        return op_rysDP5nf3Z(op_t8gj7n24qd(op_rysDP5nf3Z(b,102)),op_rysDP5nf3Z(op_rysDP5nf3Z(b,a),a))

def op_count_sdazOOVcIp(a, b):
    if op_t8gj7n24qd(b) == 187:
        count = op_count_rysDP5nf3Z(a,117)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(a,117),b)+op_count_rysDP5nf3Z(145,b)+op_count_rysDP5nf3Z(a,a)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(145,b),op_rysDP5nf3Z(a,a))+op_count_rysDP5nf3Z(op_rysDP5nf3Z(op_rysDP5nf3Z(a,117),b),op_rysDP5nf3Z(op_rysDP5nf3Z(145,b),op_rysDP5nf3Z(a,a)))+op_count_t8gj7n24qd(b)
    else:
        count = op_count_rysDP5nf3Z(b,102)+op_count_t8gj7n24qd(op_rysDP5nf3Z(b,102))+op_count_rysDP5nf3Z(b,a)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(b,a),a)+op_count_rysDP5nf3Z(op_t8gj7n24qd(op_rysDP5nf3Z(b,102)),op_rysDP5nf3Z(op_rysDP5nf3Z(b,a),a))
    return count


def op_XIabStNQrY(a):
    return op_rysDP5nf3Z(op_rysDP5nf3Z(a,98),op_t8gj7n24qd(a))

def op_count_XIabStNQrY(a):
    count = op_count_rysDP5nf3Z(a,98)+op_count_t8gj7n24qd(a)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(a,98),op_t8gj7n24qd(a))
    return count


def op_u6S6b8DprG(a):
    if a <= 64 or op_t8gj7n24qd(a) > 182 or a != 568:
        return op_t8gj7n24qd(op_W4YGzv6Whe(a,a))
    else:
        return op_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_rysDP5nf3Z(a,a))

def op_count_u6S6b8DprG(a):
    if a <= 64 or op_t8gj7n24qd(a) > 182 or a != 568:
        count = op_count_W4YGzv6Whe(a,a)+op_count_t8gj7n24qd(op_W4YGzv6Whe(a,a))+op_count_t8gj7n24qd(a)
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_rysDP5nf3Z(a,a)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_rysDP5nf3Z(a,a))
    return count


def op_xUOZtlo3hN(a):
    return op_t8gj7n24qd(op_W4YGzv6Whe(a,174))

def op_count_xUOZtlo3hN(a):
    count = op_count_W4YGzv6Whe(a,174)+op_count_t8gj7n24qd(op_W4YGzv6Whe(a,174))
    return count


def op_Ph9nP6C5qx(a, b):
    if op_t8gj7n24qd(b) > 136:
        return op_rysDP5nf3Z(a,b)
    else:
        return op_rysDP5nf3Z(b,473)

def op_count_Ph9nP6C5qx(a, b):
    if op_t8gj7n24qd(b) > 136:
        count = op_count_rysDP5nf3Z(a,b)+op_count_t8gj7n24qd(b)
    else:
        count = op_count_rysDP5nf3Z(b,473)
    return count


def op_P8v4zCKN1o(a):
    if op_t8gj7n24qd(a) < 497:
        return op_t8gj7n24qd(op_t8gj7n24qd(op_W4YGzv6Whe(868,a)))
    else:
        return op_W4YGzv6Whe(op_t8gj7n24qd(op_W4YGzv6Whe(a,55)),a)

def op_count_P8v4zCKN1o(a):
    if op_t8gj7n24qd(a) < 497:
        count = op_count_W4YGzv6Whe(868,a)+op_count_t8gj7n24qd(op_W4YGzv6Whe(868,a))+op_count_t8gj7n24qd(op_t8gj7n24qd(op_W4YGzv6Whe(868,a)))+op_count_t8gj7n24qd(a)
    else:
        count = op_count_W4YGzv6Whe(a,55)+op_count_t8gj7n24qd(op_W4YGzv6Whe(a,55))+op_count_W4YGzv6Whe(op_t8gj7n24qd(op_W4YGzv6Whe(a,55)),a)
    return count


def op_Z2TMIBDE3Q(a):
    if op_t8gj7n24qd(a) == 434:
        return op_rysDP5nf3Z(a,a)
    else:
        return op_t8gj7n24qd(a)

def op_count_Z2TMIBDE3Q(a):
    if op_t8gj7n24qd(a) == 434:
        count = op_count_rysDP5nf3Z(a,a)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_t8gj7n24qd(a)
    return count


def op_EBcxylXtPf(a):
    return op_W4YGzv6Whe(op_W4YGzv6Whe(op_W4YGzv6Whe(80,a),op_rysDP5nf3Z(750,a)),op_W4YGzv6Whe(op_W4YGzv6Whe(149,422),op_W4YGzv6Whe(a,a)))

def op_count_EBcxylXtPf(a):
    count = op_count_W4YGzv6Whe(80,a)+op_count_rysDP5nf3Z(750,a)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(80,a),op_rysDP5nf3Z(750,a))+op_count_W4YGzv6Whe(149,422)+op_count_W4YGzv6Whe(a,a)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(149,422),op_W4YGzv6Whe(a,a))+op_count_W4YGzv6Whe(op_W4YGzv6Whe(op_W4YGzv6Whe(80,a),op_rysDP5nf3Z(750,a)),op_W4YGzv6Whe(op_W4YGzv6Whe(149,422),op_W4YGzv6Whe(a,a)))
    return count


def op_BjRHVeLaeN(a):
    return op_t8gj7n24qd(op_rysDP5nf3Z(a,42))

def op_count_BjRHVeLaeN(a):
    count = op_count_rysDP5nf3Z(a,42)+op_count_t8gj7n24qd(op_rysDP5nf3Z(a,42))
    return count


def op_COABgblf1C(a, b):
    return op_W4YGzv6Whe(op_W4YGzv6Whe(op_W4YGzv6Whe(b,b),op_t8gj7n24qd(a)),op_W4YGzv6Whe(op_t8gj7n24qd(a),5))

def op_count_COABgblf1C(a, b):
    count = op_count_W4YGzv6Whe(b,b)+op_count_t8gj7n24qd(a)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(b,b),op_t8gj7n24qd(a))+op_count_t8gj7n24qd(a)+op_count_W4YGzv6Whe(op_t8gj7n24qd(a),5)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(op_W4YGzv6Whe(b,b),op_t8gj7n24qd(a)),op_W4YGzv6Whe(op_t8gj7n24qd(a),5))
    return count


def op_DpFCA1CohY(a):
    if (a <= 390 and op_t8gj7n24qd(a) == 853 and op_t8gj7n24qd(a) < 3):
        return op_t8gj7n24qd(op_t8gj7n24qd(a))
    else:
        return op_rysDP5nf3Z(op_t8gj7n24qd(a),op_W4YGzv6Whe(a,a))

def op_count_DpFCA1CohY(a):
    if (a <= 390 and op_t8gj7n24qd(a) == 853 and op_t8gj7n24qd(a) < 3):
        count = op_count_t8gj7n24qd(a)+op_count_t8gj7n24qd(op_t8gj7n24qd(a))+op_count_t8gj7n24qd(a)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_t8gj7n24qd(a)+op_count_W4YGzv6Whe(a,a)+op_count_rysDP5nf3Z(op_t8gj7n24qd(a),op_W4YGzv6Whe(a,a))
    return count


def op_DZ8iAZOCBD(a, b):
    if op_t8gj7n24qd(a) >= 60:
        return op_W4YGzv6Whe(op_t8gj7n24qd(a),op_rysDP5nf3Z(a,b))
    else:
        return op_rysDP5nf3Z(a,op_t8gj7n24qd(a))

def op_count_DZ8iAZOCBD(a, b):
    if op_t8gj7n24qd(a) >= 60:
        count = op_count_t8gj7n24qd(a)+op_count_rysDP5nf3Z(a,b)+op_count_W4YGzv6Whe(op_t8gj7n24qd(a),op_rysDP5nf3Z(a,b))+op_count_t8gj7n24qd(a)
    else:
        count = op_count_t8gj7n24qd(a)+op_count_rysDP5nf3Z(a,op_t8gj7n24qd(a))
    return count


def op_D4vGDi5EA2(a):
    return op_t8gj7n24qd(op_W4YGzv6Whe(a,op_W4YGzv6Whe(a,a)))

def op_count_D4vGDi5EA2(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_W4YGzv6Whe(a,op_W4YGzv6Whe(a,a))+op_count_t8gj7n24qd(op_W4YGzv6Whe(a,op_W4YGzv6Whe(a,a)))
    return count


def op_QMFrweE19q(a, b):
    if op_t8gj7n24qd(b) == 408 and op_t8gj7n24qd(a) >= 56:
        return 497
    else:
        return op_W4YGzv6Whe(op_W4YGzv6Whe(op_W4YGzv6Whe(a,783),op_W4YGzv6Whe(a,a)),op_W4YGzv6Whe(op_W4YGzv6Whe(b,a),op_W4YGzv6Whe(a,b)))

def op_count_QMFrweE19q(a, b):
    if op_t8gj7n24qd(b) == 408 and op_t8gj7n24qd(a) >= 56:
        count = op_count_t8gj7n24qd(b)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_W4YGzv6Whe(a,783)+op_count_W4YGzv6Whe(a,a)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(a,783),op_W4YGzv6Whe(a,a))+op_count_W4YGzv6Whe(b,a)+op_count_W4YGzv6Whe(a,b)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(b,a),op_W4YGzv6Whe(a,b))+op_count_W4YGzv6Whe(op_W4YGzv6Whe(op_W4YGzv6Whe(a,783),op_W4YGzv6Whe(a,a)),op_W4YGzv6Whe(op_W4YGzv6Whe(b,a),op_W4YGzv6Whe(a,b)))
    return count


def op_2DQ55sFlQl(a, b):
    if b != 134:
        return op_rysDP5nf3Z(402,242)
    else:
        return op_t8gj7n24qd(a)

def op_count_2DQ55sFlQl(a, b):
    if b != 134:
        count = op_count_rysDP5nf3Z(402,242)
    else:
        count = op_count_t8gj7n24qd(a)
    return count


def op_eewbuw0ToL(a, b):
    return op_rysDP5nf3Z(op_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_W4YGzv6Whe(a,10)),op_t8gj7n24qd(op_t8gj7n24qd(b)))

def op_count_eewbuw0ToL(a, b):
    count = op_count_rysDP5nf3Z(a,a)+op_count_W4YGzv6Whe(a,10)+op_count_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_W4YGzv6Whe(a,10))+op_count_t8gj7n24qd(b)+op_count_t8gj7n24qd(op_t8gj7n24qd(b))+op_count_rysDP5nf3Z(op_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_W4YGzv6Whe(a,10)),op_t8gj7n24qd(op_t8gj7n24qd(b)))
    return count


def op_XPYlsWDdGa(a):
    if op_t8gj7n24qd(a) != 821:
        return op_W4YGzv6Whe(a,a)
    else:
        return op_rysDP5nf3Z(a,a)

def op_count_XPYlsWDdGa(a):
    if op_t8gj7n24qd(a) != 821:
        count = op_count_W4YGzv6Whe(a,a)+op_count_t8gj7n24qd(a)
    else:
        count = op_count_rysDP5nf3Z(a,a)
    return count


def op_g55IO6H4Gj(a, b):
    return op_W4YGzv6Whe(op_W4YGzv6Whe(a,b),op_W4YGzv6Whe(b,a))

def op_count_g55IO6H4Gj(a, b):
    count = op_count_W4YGzv6Whe(a,b)+op_count_W4YGzv6Whe(b,a)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(a,b),op_W4YGzv6Whe(b,a))
    return count


def op_N41Kp7NANJ(a):
    return op_W4YGzv6Whe(op_t8gj7n24qd(a),op_t8gj7n24qd(a))

def op_count_N41Kp7NANJ(a):
    count = op_count_t8gj7n24qd(a)+op_count_t8gj7n24qd(a)+op_count_W4YGzv6Whe(op_t8gj7n24qd(a),op_t8gj7n24qd(a))
    return count


def op_e1ybzncUwg(a):
    if op_t8gj7n24qd(a) <= 225:
        return op_W4YGzv6Whe(a,531)
    else:
        return a

def op_count_e1ybzncUwg(a):
    if op_t8gj7n24qd(a) <= 225:
        count = op_count_W4YGzv6Whe(a,531)+op_count_t8gj7n24qd(a)
    else:
        count = 1
    return count


def op_2DDjHMKMc0(a, b):
    return op_W4YGzv6Whe(op_W4YGzv6Whe(b,a),op_t8gj7n24qd(b))

def op_count_2DDjHMKMc0(a, b):
    count = op_count_W4YGzv6Whe(b,a)+op_count_t8gj7n24qd(b)+op_count_W4YGzv6Whe(op_W4YGzv6Whe(b,a),op_t8gj7n24qd(b))
    return count


def op_9FxExcQeMw(a, b):
    return op_rysDP5nf3Z(op_rysDP5nf3Z(op_rysDP5nf3Z(a,b),32),op_rysDP5nf3Z(op_rysDP5nf3Z(b,a),op_rysDP5nf3Z(a,a)))

def op_count_9FxExcQeMw(a, b):
    count = op_count_rysDP5nf3Z(a,b)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(a,b),32)+op_count_rysDP5nf3Z(b,a)+op_count_rysDP5nf3Z(a,a)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(b,a),op_rysDP5nf3Z(a,a))+op_count_rysDP5nf3Z(op_rysDP5nf3Z(op_rysDP5nf3Z(a,b),32),op_rysDP5nf3Z(op_rysDP5nf3Z(b,a),op_rysDP5nf3Z(a,a)))
    return count


def op_8w2t5hMYqp(a):
    return op_rysDP5nf3Z(op_t8gj7n24qd(a),op_W4YGzv6Whe(a,a))

def op_count_8w2t5hMYqp(a):
    count = op_count_t8gj7n24qd(a)+op_count_W4YGzv6Whe(a,a)+op_count_rysDP5nf3Z(op_t8gj7n24qd(a),op_W4YGzv6Whe(a,a))
    return count


def op_AF7qkfDlqP(a):
    if a > 30:
        return op_t8gj7n24qd(op_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_rysDP5nf3Z(273,a)))
    else:
        return op_W4YGzv6Whe(op_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_rysDP5nf3Z(a,789)),op_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_t8gj7n24qd(a)))

def op_count_AF7qkfDlqP(a):
    if a > 30:
        count = op_count_rysDP5nf3Z(a,a)+op_count_rysDP5nf3Z(273,a)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_rysDP5nf3Z(273,a))+op_count_t8gj7n24qd(op_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_rysDP5nf3Z(273,a)))
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_rysDP5nf3Z(a,789)+op_count_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_rysDP5nf3Z(a,789))+op_count_rysDP5nf3Z(a,a)+op_count_t8gj7n24qd(a)+op_count_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_t8gj7n24qd(a))+op_count_W4YGzv6Whe(op_rysDP5nf3Z(op_rysDP5nf3Z(a,a),op_rysDP5nf3Z(a,789)),op_W4YGzv6Whe(op_rysDP5nf3Z(a,a),op_t8gj7n24qd(a)))
    return count


def op_Qy55tPpLXF(a, b):
    if op_W4YGzv6Whe(a,463) >= 40:
        return op_rysDP5nf3Z(op_W4YGzv6Whe(b,b),op_rysDP5nf3Z(a,33))
    else:
        return op_t8gj7n24qd(op_t8gj7n24qd(67))

def op_count_Qy55tPpLXF(a, b):
    if op_W4YGzv6Whe(a,463) >= 40:
        count = op_count_W4YGzv6Whe(b,b)+op_count_rysDP5nf3Z(a,33)+op_count_rysDP5nf3Z(op_W4YGzv6Whe(b,b),op_rysDP5nf3Z(a,33))+op_count_W4YGzv6Whe(a,463)
    else:
        count = op_count_t8gj7n24qd(67)+op_count_t8gj7n24qd(op_t8gj7n24qd(67))
    return count


def op_NTOWxs364D(a, b):
    return op_rysDP5nf3Z(op_t8gj7n24qd(b),op_W4YGzv6Whe(121,a))

def op_count_NTOWxs364D(a, b):
    count = op_count_t8gj7n24qd(b)+op_count_W4YGzv6Whe(121,a)+op_count_rysDP5nf3Z(op_t8gj7n24qd(b),op_W4YGzv6Whe(121,a))
    return count


def op_nCS4ZIUYfx(a, b):
    return op_rysDP5nf3Z(op_W4YGzv6Whe(b,a),op_W4YGzv6Whe(a,a))

def op_count_nCS4ZIUYfx(a, b):
    count = op_count_W4YGzv6Whe(b,a)+op_count_W4YGzv6Whe(a,a)+op_count_rysDP5nf3Z(op_W4YGzv6Whe(b,a),op_W4YGzv6Whe(a,a))
    return count


def op_A8NUZmVepG(a):
    return op_k8jYdgA6NY(a,51)

def op_count_A8NUZmVepG(a):
    count = op_count_k8jYdgA6NY(a,51)
    return count


a⩨b = { a , if (a⪠⩆⊳)>43 ; ((b/a)≦≮≮) , else }

def op_2DlMacCsIx(a, b):
    if op_JLbD19bQDL(a) > 43:
        return a
    else:
        return op_D4vGDi5EA2(op_XhwjNDsVaA(b,a))

def op_count_2DlMacCsIx(a, b):
    if op_JLbD19bQDL(a) > 43:
        count = 1
    else:
        count = op_count_XhwjNDsVaA(b,a)+op_count_D4vGDi5EA2(op_XhwjNDsVaA(b,a))
    return count


⨵≀≌a = { (a*a) , if (a⨁⊸⫻)!=892 and (⪲⇎a)<454 ; (⋗⩬⋾a) , else }

def op_srAu1WTS94(a):
    if op_glklzrTFfD(a) != 892 and op_XPYlsWDdGa(a) < 454:
        return op_9HNa5Wba9A(a,a)
    else:
        return op_DpFCA1CohY(a)

def op_count_srAu1WTS94(a):
    if op_glklzrTFfD(a) != 892 and op_XPYlsWDdGa(a) < 454:
        count = op_count_9HNa5Wba9A(a,a)+op_count_glklzrTFfD(a)+op_count_XPYlsWDdGa(a)
    else:
        count = op_count_DpFCA1CohY(a)
    return count


def op_X99M06cbEe(a):
    if op_D4vGDi5EA2(a) >= 13 and op_2td37pGCOC(a) != 26 and a >= 80:
        return op_9HNa5Wba9A(a,315)
    else:
        return op_EBcxylXtPf(a)

def op_count_X99M06cbEe(a):
    if op_D4vGDi5EA2(a) >= 13 and op_2td37pGCOC(a) != 26 and a >= 80:
        count = op_count_9HNa5Wba9A(a,315)+op_count_D4vGDi5EA2(a)+op_count_2td37pGCOC(a)
    else:
        count = op_count_EBcxylXtPf(a)
    return count


def op_XTarYq4gQB(a):
    return op_9HNa5Wba9A(op_8w2t5hMYqp(49),a)

def op_count_XTarYq4gQB(a):
    count = op_count_8w2t5hMYqp(49)+op_count_9HNa5Wba9A(op_8w2t5hMYqp(49),a)
    return count


def op_sJAwomhLZr(a):
    return op_i8ToyICDmI(op_COABgblf1C(op_W4YGzv6Whe(a,a),op_sdazOOVcIp(a,a)),op_k8jYdgA6NY(op_Z2TMIBDE3Q(a),op_eH2TOUuTDT(a)))

def op_count_sJAwomhLZr(a):
    count = op_count_W4YGzv6Whe(a,a)+op_count_sdazOOVcIp(a,a)+op_count_COABgblf1C(op_W4YGzv6Whe(a,a),op_sdazOOVcIp(a,a))+op_count_Z2TMIBDE3Q(a)+op_count_eH2TOUuTDT(a)+op_count_k8jYdgA6NY(op_Z2TMIBDE3Q(a),op_eH2TOUuTDT(a))+op_count_i8ToyICDmI(op_COABgblf1C(op_W4YGzv6Whe(a,a),op_sdazOOVcIp(a,a)),op_k8jYdgA6NY(op_Z2TMIBDE3Q(a),op_eH2TOUuTDT(a)))
    return count


def op_SUmda5xLS4(a, b):
    if op_P8v4zCKN1o(b) != 717:
        return op_COABgblf1C(op_glklzrTFfD(op_8w2t5hMYqp(320)),op_Qy55tPpLXF(op_9HNa5Wba9A(a,72),op_f6k1SAg4EE(b,a)))
    else:
        return b

def op_count_SUmda5xLS4(a, b):
    if op_P8v4zCKN1o(b) != 717:
        count = op_count_8w2t5hMYqp(320)+op_count_glklzrTFfD(op_8w2t5hMYqp(320))+op_count_9HNa5Wba9A(a,72)+op_count_f6k1SAg4EE(b,a)+op_count_Qy55tPpLXF(op_9HNa5Wba9A(a,72),op_f6k1SAg4EE(b,a))+op_count_COABgblf1C(op_glklzrTFfD(op_8w2t5hMYqp(320)),op_Qy55tPpLXF(op_9HNa5Wba9A(a,72),op_f6k1SAg4EE(b,a)))+op_count_P8v4zCKN1o(b)
    else:
        count = 1
    return count


def op_oacrs7FA3X(a, b):
    if (op_i8ToyICDmI(b,242) >= 654 and op_P8v4zCKN1o(a) > 649):
        return op_sdazOOVcIp(op_2DQ55sFlQl(a,345),op_AF7qkfDlqP(a))
    else:
        return op_XhwjNDsVaA(op_2DQ55sFlQl(b,b),op_QMFrweE19q(a,b))

def op_count_oacrs7FA3X(a, b):
    if (op_i8ToyICDmI(b,242) >= 654 and op_P8v4zCKN1o(a) > 649):
        count = op_count_2DQ55sFlQl(a,345)+op_count_AF7qkfDlqP(a)+op_count_sdazOOVcIp(op_2DQ55sFlQl(a,345),op_AF7qkfDlqP(a))+op_count_i8ToyICDmI(b,242)+op_count_P8v4zCKN1o(a)
    else:
        count = op_count_2DQ55sFlQl(b,b)+op_count_QMFrweE19q(a,b)+op_count_XhwjNDsVaA(op_2DQ55sFlQl(b,b),op_QMFrweE19q(a,b))
    return count


a≎⊠⪸b = { ((b⊠≄⫣)≧⫂∧(259*a)) , if (b⫌⩹⨱)>=594 ; ((⩦⩻⨪b)⋥≓≎(a⩷∴b)) , else }

def op_bJkvcejdHO(a, b):
    if op_EBcxylXtPf(b) >= 594:
        return op_Ph9nP6C5qx(op_DIvbN7qnHd(b),op_9HNa5Wba9A(259,a))
    else:
        return op_Qy55tPpLXF(op_2td37pGCOC(b),op_9FxExcQeMw(a,b))

def op_count_bJkvcejdHO(a, b):
    if op_EBcxylXtPf(b) >= 594:
        count = op_count_DIvbN7qnHd(b)+op_count_9HNa5Wba9A(259,a)+op_count_Ph9nP6C5qx(op_DIvbN7qnHd(b),op_9HNa5Wba9A(259,a))+op_count_EBcxylXtPf(b)
    else:
        count = op_count_2td37pGCOC(b)+op_count_9FxExcQeMw(a,b)+op_count_Qy55tPpLXF(op_2td37pGCOC(b),op_9FxExcQeMw(a,b))
    return count


def op_8HhzD0ZcuI(a, b):
    return op_DpFCA1CohY(op_nCS4ZIUYfx(op_nCS4ZIUYfx(b,438),op_9HNa5Wba9A(a,a)))

def op_count_8HhzD0ZcuI(a, b):
    count = op_count_nCS4ZIUYfx(b,438)+op_count_9HNa5Wba9A(a,a)+op_count_nCS4ZIUYfx(op_nCS4ZIUYfx(b,438),op_9HNa5Wba9A(a,a))+op_count_DpFCA1CohY(op_nCS4ZIUYfx(op_nCS4ZIUYfx(b,438),op_9HNa5Wba9A(a,a)))
    return count


def op_8jW3W4yZS5(a):
    if op_P8v4zCKN1o(a) < 382 and op_XPYlsWDdGa(a) != 21:
        return op_eLAdDNolq6(op_EBcxylXtPf(a))
    else:
        return op_k8jYdgA6NY(op_8w2t5hMYqp(988),op_Z2TMIBDE3Q(109))

def op_count_8jW3W4yZS5(a):
    if op_P8v4zCKN1o(a) < 382 and op_XPYlsWDdGa(a) != 21:
        count = op_count_EBcxylXtPf(a)+op_count_eLAdDNolq6(op_EBcxylXtPf(a))+op_count_P8v4zCKN1o(a)+op_count_XPYlsWDdGa(a)
    else:
        count = op_count_8w2t5hMYqp(988)+op_count_Z2TMIBDE3Q(109)+op_count_k8jYdgA6NY(op_8w2t5hMYqp(988),op_Z2TMIBDE3Q(109))
    return count


def op_9ICcGScMcE(a):
    if (op_AF7qkfDlqP(a) >= 427 or op_eH2TOUuTDT(a) <= 558):
        return op_Qy55tPpLXF(op_COABgblf1C(op_XhwjNDsVaA(a,301),op_g55IO6H4Gj(a,a)),op_xUOZtlo3hN(op_DZ8iAZOCBD(a,a)))
    else:
        return a

def op_count_9ICcGScMcE(a):
    if (op_AF7qkfDlqP(a) >= 427 or op_eH2TOUuTDT(a) <= 558):
        count = op_count_XhwjNDsVaA(a,301)+op_count_g55IO6H4Gj(a,a)+op_count_COABgblf1C(op_XhwjNDsVaA(a,301),op_g55IO6H4Gj(a,a))+op_count_DZ8iAZOCBD(a,a)+op_count_xUOZtlo3hN(op_DZ8iAZOCBD(a,a))+op_count_Qy55tPpLXF(op_COABgblf1C(op_XhwjNDsVaA(a,301),op_g55IO6H4Gj(a,a)),op_xUOZtlo3hN(op_DZ8iAZOCBD(a,a)))+op_count_AF7qkfDlqP(a)+op_count_eH2TOUuTDT(a)
    else:
        count = 1
    return count


def op_gu96TGCTMs(a):
    if op_AF7qkfDlqP(a) != 520 or op_Ph9nP6C5qx(a,486) > 62 or op_8w2t5hMYqp(a) >= 602:
        return op_XhwjNDsVaA(op_eewbuw0ToL(a,a),op_P8v4zCKN1o(a))
    else:
        return op_NTOWxs364D(op_t8gj7n24qd(240),a)

def op_count_gu96TGCTMs(a):
    if op_AF7qkfDlqP(a) != 520 or op_Ph9nP6C5qx(a,486) > 62 or op_8w2t5hMYqp(a) >= 602:
        count = op_count_eewbuw0ToL(a,a)+op_count_P8v4zCKN1o(a)+op_count_XhwjNDsVaA(op_eewbuw0ToL(a,a),op_P8v4zCKN1o(a))+op_count_AF7qkfDlqP(a)+op_count_Ph9nP6C5qx(a,486)+op_count_8w2t5hMYqp(a)
    else:
        count = op_count_t8gj7n24qd(240)+op_count_NTOWxs364D(op_t8gj7n24qd(240),a)
    return count


def op_jLgFTUHLKL(a):
    if (op_eLAdDNolq6(a) >= 675 or op_BjRHVeLaeN(a) != 134):
        return op_N41Kp7NANJ(op_sdazOOVcIp(op_Ph9nP6C5qx(83,a),op_AF7qkfDlqP(a)))
    else:
        return op_xUOZtlo3hN(op_NTOWxs364D(op_k8jYdgA6NY(a,a),op_t8gj7n24qd(a)))

def op_count_jLgFTUHLKL(a):
    if (op_eLAdDNolq6(a) >= 675 or op_BjRHVeLaeN(a) != 134):
        count = op_count_Ph9nP6C5qx(83,a)+op_count_AF7qkfDlqP(a)+op_count_sdazOOVcIp(op_Ph9nP6C5qx(83,a),op_AF7qkfDlqP(a))+op_count_N41Kp7NANJ(op_sdazOOVcIp(op_Ph9nP6C5qx(83,a),op_AF7qkfDlqP(a)))+op_count_eLAdDNolq6(a)+op_count_BjRHVeLaeN(a)
    else:
        count = op_count_k8jYdgA6NY(a,a)+op_count_t8gj7n24qd(a)+op_count_NTOWxs364D(op_k8jYdgA6NY(a,a),op_t8gj7n24qd(a))+op_count_xUOZtlo3hN(op_NTOWxs364D(op_k8jYdgA6NY(a,a),op_t8gj7n24qd(a)))
    return count


def op_eLxqMNBOBk(a):
    return op_9HNa5Wba9A(a,a)

def op_count_eLxqMNBOBk(a):
    count = op_count_9HNa5Wba9A(a,a)
    return count


def op_uFcxV4UQCh(a, b):
    if op_u6S6b8DprG(b) != 229:
        return op_k8jYdgA6NY(a,b)
    else:
        return op_9HNa5Wba9A(a,b)

def op_count_uFcxV4UQCh(a, b):
    if op_u6S6b8DprG(b) != 229:
        count = op_count_k8jYdgA6NY(a,b)+op_count_u6S6b8DprG(b)
    else:
        count = op_count_9HNa5Wba9A(a,b)
    return count


def op_IWmyXbctLI(a, b):
    return op_9FxExcQeMw(op_k8jYdgA6NY(b,b),op_xUOZtlo3hN(a))

def op_count_IWmyXbctLI(a, b):
    count = op_count_k8jYdgA6NY(b,b)+op_count_xUOZtlo3hN(a)+op_count_9FxExcQeMw(op_k8jYdgA6NY(b,b),op_xUOZtlo3hN(a))
    return count


a⊭∹↮ = { a , if (a⊭↱319)>=17 ; ((⪲⇎a)⋝⋈⪟(a%a)) , else }

def op_xNBdhnnwKq(a):
    if op_COABgblf1C(a,319) >= 17:
        return a
    else:
        return op_2DDjHMKMc0(op_XPYlsWDdGa(a),op_k8jYdgA6NY(a,a))

def op_count_xNBdhnnwKq(a):
    if op_COABgblf1C(a,319) >= 17:
        count = 1
    else:
        count = op_count_XPYlsWDdGa(a)+op_count_k8jYdgA6NY(a,a)+op_count_2DDjHMKMc0(op_XPYlsWDdGa(a),op_k8jYdgA6NY(a,a))
    return count


def op_mqXw5SEYmG(a, b):
    if op_QMFrweE19q(a,274) > 318 and op_AF7qkfDlqP(a) < 45:
        return op_COABgblf1C(op_Qy55tPpLXF(b,16),op_2DDjHMKMc0(b,43))
    else:
        return op_k8jYdgA6NY(op_XPYlsWDdGa(a),op_eLAdDNolq6(a))

def op_count_mqXw5SEYmG(a, b):
    if op_QMFrweE19q(a,274) > 318 and op_AF7qkfDlqP(a) < 45:
        count = op_count_Qy55tPpLXF(b,16)+op_count_2DDjHMKMc0(b,43)+op_count_COABgblf1C(op_Qy55tPpLXF(b,16),op_2DDjHMKMc0(b,43))+op_count_QMFrweE19q(a,274)+op_count_AF7qkfDlqP(a)
    else:
        count = op_count_XPYlsWDdGa(a)+op_count_eLAdDNolq6(a)+op_count_k8jYdgA6NY(op_XPYlsWDdGa(a),op_eLAdDNolq6(a))
    return count


def op_zVYPLywUTj(a):
    if op_e1ybzncUwg(a) < 304 or op_BjRHVeLaeN(a) == 292:
        return op_sdazOOVcIp(op_W4YGzv6Whe(op_9HNa5Wba9A(a,a),op_2DQ55sFlQl(18,91)),op_9HNa5Wba9A(op_Qy55tPpLXF(62,a),op_f6k1SAg4EE(a,a)))
    else:
        return op_9HNa5Wba9A(op_8w2t5hMYqp(op_JLbD19bQDL(a)),op_Ph9nP6C5qx(op_XhwjNDsVaA(a,a),op_9HNa5Wba9A(21,a)))

def op_count_zVYPLywUTj(a):
    if op_e1ybzncUwg(a) < 304 or op_BjRHVeLaeN(a) == 292:
        count = op_count_9HNa5Wba9A(a,a)+op_count_2DQ55sFlQl(18,91)+op_count_W4YGzv6Whe(op_9HNa5Wba9A(a,a),op_2DQ55sFlQl(18,91))+op_count_Qy55tPpLXF(62,a)+op_count_f6k1SAg4EE(a,a)+op_count_9HNa5Wba9A(op_Qy55tPpLXF(62,a),op_f6k1SAg4EE(a,a))+op_count_sdazOOVcIp(op_W4YGzv6Whe(op_9HNa5Wba9A(a,a),op_2DQ55sFlQl(18,91)),op_9HNa5Wba9A(op_Qy55tPpLXF(62,a),op_f6k1SAg4EE(a,a)))+op_count_e1ybzncUwg(a)+op_count_BjRHVeLaeN(a)
    else:
        count = op_count_JLbD19bQDL(a)+op_count_8w2t5hMYqp(op_JLbD19bQDL(a))+op_count_XhwjNDsVaA(a,a)+op_count_9HNa5Wba9A(21,a)+op_count_Ph9nP6C5qx(op_XhwjNDsVaA(a,a),op_9HNa5Wba9A(21,a))+op_count_9HNa5Wba9A(op_8w2t5hMYqp(op_JLbD19bQDL(a)),op_Ph9nP6C5qx(op_XhwjNDsVaA(a,a),op_9HNa5Wba9A(21,a)))
    return count


↔a = { (⨑⩽⪐a) , if (a≦≮≮)<69 ; (((a⋳⪒a)⋥≓≎(a/a))⋷(⊄⩳↩(a⫌⩹⨱))) , else }

def op_ruOEQAzv1W(a):
    if op_D4vGDi5EA2(a) < 69:
        return op_AF7qkfDlqP(a)
    else:
        return op_23Mk6UjR3U(op_Qy55tPpLXF(op_12rbrZMWeM(a,a),op_XhwjNDsVaA(a,a)),op_8w2t5hMYqp(op_EBcxylXtPf(a)))

def op_count_ruOEQAzv1W(a):
    if op_D4vGDi5EA2(a) < 69:
        count = op_count_AF7qkfDlqP(a)+op_count_D4vGDi5EA2(a)
    else:
        count = op_count_12rbrZMWeM(a,a)+op_count_XhwjNDsVaA(a,a)+op_count_Qy55tPpLXF(op_12rbrZMWeM(a,a),op_XhwjNDsVaA(a,a))+op_count_EBcxylXtPf(a)+op_count_8w2t5hMYqp(op_EBcxylXtPf(a))+op_count_23Mk6UjR3U(op_Qy55tPpLXF(op_12rbrZMWeM(a,a),op_XhwjNDsVaA(a,a)),op_8w2t5hMYqp(op_EBcxylXtPf(a)))
    return count


def op_l07mrZUIn9(a):
    return op_9HNa5Wba9A(op_2DDjHMKMc0(103,a),op_9HNa5Wba9A(594,a))

def op_count_l07mrZUIn9(a):
    count = op_count_2DDjHMKMc0(103,a)+op_count_9HNa5Wba9A(594,a)+op_count_9HNa5Wba9A(op_2DDjHMKMc0(103,a),op_9HNa5Wba9A(594,a))
    return count


def op_rJVOvQCfKK(a, b):
    if op_t8gj7n24qd(a) != 278 and a > 350 and op_Qy55tPpLXF(b,155) == 21:
        return op_t8gj7n24qd(op_XhwjNDsVaA(b,b))
    else:
        return b

def op_count_rJVOvQCfKK(a, b):
    if op_t8gj7n24qd(a) != 278 and a > 350 and op_Qy55tPpLXF(b,155) == 21:
        count = op_count_XhwjNDsVaA(b,b)+op_count_t8gj7n24qd(op_XhwjNDsVaA(b,b))+op_count_t8gj7n24qd(a)+op_count_Qy55tPpLXF(b,155)
    else:
        count = 1
    return count


a∀⇚≩b = {b, if a == 0; ((a-1)∀⇚≩b)≫≃, if a > 0 and abs(a) < 1000000; -((a+1)∀⇚≩b)≫≃, if a < 0 and abs(a) < 1000000; NaN, else}

def op_LRNGc0VcxI(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (a in special_values) or (abs(a) > 1000000):
        return float('nan')
    result = b
    for _ in range(abs(a)):
        temp_result = op_X99M06cbEe(result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if a > 0 else -temp_result
    return result

def op_count_LRNGc0VcxI(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (a in special_values) or (abs(a) > 1000000):
        return 1
    result = b
    count = 0
    for _ in range(abs(a)):
        temp_result = op_X99M06cbEe(result)
        count += op_count_X99M06cbEe(result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if a > 0 else -temp_result
    return count if count > 0 else 1


def op_tmPS8pqC7x(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (a in special_values) or (abs(a) > 1000000):
        return float('nan')
    result = a
    for _ in range(abs(a)):
        temp_result = op_rJVOvQCfKK(b, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if a > 0 else -temp_result
    return result

def op_count_tmPS8pqC7x(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (a in special_values) or (abs(a) > 1000000):
        return 1
    result = a
    count = 0
    for _ in range(abs(a)):
        temp_result = op_rJVOvQCfKK(b, result)
        count += op_count_rJVOvQCfKK(b, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if a > 0 else -temp_result
    return count if count > 0 else 1


def op_dWAJyo7jo9(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 1000000):
        return float('nan')
    result = b
    for _ in range(abs(b)):
        temp_result = op_k8jYdgA6NY(a, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return result

def op_count_dWAJyo7jo9(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 1000000):
        return 1
    result = b
    count = 0
    for _ in range(abs(b)):
        temp_result = op_k8jYdgA6NY(a, result)
        count += op_count_k8jYdgA6NY(a, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return count if count > 0 else 1


def op_o20kRiQErp(a):
    return op_tmPS8pqC7x(177,a)

def op_count_o20kRiQErp(a):
    count = op_count_tmPS8pqC7x(177,a)
    return count


def op_3ViojmjbAp(a, b):
    return op_tifHPKVTfV(op_tmPS8pqC7x(b,a),op_2DlMacCsIx(b,b))

def op_count_3ViojmjbAp(a, b):
    count = op_count_tmPS8pqC7x(b,a)+op_count_2DlMacCsIx(b,b)+op_count_tifHPKVTfV(op_tmPS8pqC7x(b,a),op_2DlMacCsIx(b,b))
    return count


def op_mp7IySMOzn(a, b):
    return op_DZ8iAZOCBD(b,op_LRNGc0VcxI(op_W4YGzv6Whe(a,a),op_DpFCA1CohY(a)))

def op_count_mp7IySMOzn(a, b):
    count = op_count_W4YGzv6Whe(a,a)+op_count_DpFCA1CohY(a)+op_count_LRNGc0VcxI(op_W4YGzv6Whe(a,a),op_DpFCA1CohY(a))+op_count_DZ8iAZOCBD(b,op_LRNGc0VcxI(op_W4YGzv6Whe(a,a),op_DpFCA1CohY(a)))
    return count


def op_Tcnh7f0tEr(a):
    if op_dWAJyo7jo9(a,148) < 38:
        return op_Qy55tPpLXF(op_XhwjNDsVaA(a,a),op_tmPS8pqC7x(a,248))
    else:
        return op_DIvbN7qnHd(op_9HNa5Wba9A(511,a))

def op_count_Tcnh7f0tEr(a):
    if op_dWAJyo7jo9(a,148) < 38:
        count = op_count_XhwjNDsVaA(a,a)+op_count_tmPS8pqC7x(a,248)+op_count_Qy55tPpLXF(op_XhwjNDsVaA(a,a),op_tmPS8pqC7x(a,248))+op_count_dWAJyo7jo9(a,148)
    else:
        count = op_count_9HNa5Wba9A(511,a)+op_count_DIvbN7qnHd(op_9HNa5Wba9A(511,a))
    return count


def op_T2fj7uvVaJ(a, b):
    if (b >= 803 and b <= 372 and b < 242):
        return op_k8jYdgA6NY(op_xNBdhnnwKq(op_f6k1SAg4EE(60,b)),op_oacrs7FA3X(op_oacrs7FA3X(a,68),op_srAu1WTS94(a)))
    else:
        return op_dWAJyo7jo9(16,op_23Mk6UjR3U(op_DIvbN7qnHd(b),op_EBcxylXtPf(a)))

def op_count_T2fj7uvVaJ(a, b):
    if (b >= 803 and b <= 372 and b < 242):
        count = op_count_f6k1SAg4EE(60,b)+op_count_xNBdhnnwKq(op_f6k1SAg4EE(60,b))+op_count_oacrs7FA3X(a,68)+op_count_srAu1WTS94(a)+op_count_oacrs7FA3X(op_oacrs7FA3X(a,68),op_srAu1WTS94(a))+op_count_k8jYdgA6NY(op_xNBdhnnwKq(op_f6k1SAg4EE(60,b)),op_oacrs7FA3X(op_oacrs7FA3X(a,68),op_srAu1WTS94(a)))
    else:
        count = op_count_DIvbN7qnHd(b)+op_count_EBcxylXtPf(a)+op_count_23Mk6UjR3U(op_DIvbN7qnHd(b),op_EBcxylXtPf(a))+op_count_dWAJyo7jo9(16,op_23Mk6UjR3U(op_DIvbN7qnHd(b),op_EBcxylXtPf(a)))
    return count


def op_DhbWaqg5eL(a):
    if op_mqXw5SEYmG(a,100) != 276 or op_9FxExcQeMw(a,98) > 390:
        return op_glklzrTFfD(op_XPYlsWDdGa(op_AF7qkfDlqP(14)))
    else:
        return op_W4YGzv6Whe(op_dWAJyo7jo9(op_eH2TOUuTDT(a),op_mqXw5SEYmG(a,221)),op_oacrs7FA3X(op_2DlMacCsIx(a,a),op_t8gj7n24qd(370)))

def op_count_DhbWaqg5eL(a):
    if op_mqXw5SEYmG(a,100) != 276 or op_9FxExcQeMw(a,98) > 390:
        count = op_count_AF7qkfDlqP(14)+op_count_XPYlsWDdGa(op_AF7qkfDlqP(14))+op_count_glklzrTFfD(op_XPYlsWDdGa(op_AF7qkfDlqP(14)))+op_count_mqXw5SEYmG(a,100)+op_count_9FxExcQeMw(a,98)
    else:
        count = op_count_eH2TOUuTDT(a)+op_count_mqXw5SEYmG(a,221)+op_count_dWAJyo7jo9(op_eH2TOUuTDT(a),op_mqXw5SEYmG(a,221))+op_count_2DlMacCsIx(a,a)+op_count_t8gj7n24qd(370)+op_count_oacrs7FA3X(op_2DlMacCsIx(a,a),op_t8gj7n24qd(370))+op_count_W4YGzv6Whe(op_dWAJyo7jo9(op_eH2TOUuTDT(a),op_mqXw5SEYmG(a,221)),op_oacrs7FA3X(op_2DlMacCsIx(a,a),op_t8gj7n24qd(370)))
    return count


a↛⩡⫤ = { (((a⨪↰⇹a)⨪↰⇹(a⨰a))%((a⨪↰⇹a)⪄(a⨎a))) , if (↯⪼a)!=406 ; ((∥⊫(a⪘⫢44))⩨a) , else }

def op_FU0Cs4j7VP(a):
    if op_8jW3W4yZS5(a) != 406:
        return op_k8jYdgA6NY(op_tmPS8pqC7x(op_tmPS8pqC7x(a,a),op_eewbuw0ToL(a,a)),op_SUmda5xLS4(op_tmPS8pqC7x(a,a),op_rJVOvQCfKK(a,a)))
    else:
        return op_2DlMacCsIx(op_P8v4zCKN1o(op_oacrs7FA3X(a,44)),a)

def op_count_FU0Cs4j7VP(a):
    if op_8jW3W4yZS5(a) != 406:
        count = op_count_tmPS8pqC7x(a,a)+op_count_eewbuw0ToL(a,a)+op_count_tmPS8pqC7x(op_tmPS8pqC7x(a,a),op_eewbuw0ToL(a,a))+op_count_tmPS8pqC7x(a,a)+op_count_rJVOvQCfKK(a,a)+op_count_SUmda5xLS4(op_tmPS8pqC7x(a,a),op_rJVOvQCfKK(a,a))+op_count_k8jYdgA6NY(op_tmPS8pqC7x(op_tmPS8pqC7x(a,a),op_eewbuw0ToL(a,a)),op_SUmda5xLS4(op_tmPS8pqC7x(a,a),op_rJVOvQCfKK(a,a)))+op_count_8jW3W4yZS5(a)
    else:
        count = op_count_oacrs7FA3X(a,44)+op_count_P8v4zCKN1o(op_oacrs7FA3X(a,44))+op_count_2DlMacCsIx(op_P8v4zCKN1o(op_oacrs7FA3X(a,44)),a)
    return count


def op_JL8yIekQnl(a):
    return op_tmPS8pqC7x(a,a)

def op_count_JL8yIekQnl(a):
    count = op_count_tmPS8pqC7x(a,a)
    return count


a↙b = { (⋗⩬⋾(b⨪↰⇹a)) , if a>=87 ; a , else }

def op_yyfyN0ffXY(a, b):
    if a >= 87:
        return op_DpFCA1CohY(op_tmPS8pqC7x(b,a))
    else:
        return a

def op_count_yyfyN0ffXY(a, b):
    if a >= 87:
        count = op_count_tmPS8pqC7x(b,a)+op_count_DpFCA1CohY(op_tmPS8pqC7x(b,a))
    else:
        count = 1
    return count


def op_Nsiff2A1zJ(a, b):
    return op_14qkJME0vr(op_dWAJyo7jo9(a,b))

def op_count_Nsiff2A1zJ(a, b):
    count = op_count_dWAJyo7jo9(a,b)+op_count_14qkJME0vr(op_dWAJyo7jo9(a,b))
    return count


def op_Tw270M8GLb(a):
    return op_sdazOOVcIp(op_nCS4ZIUYfx(op_dWAJyo7jo9(13,a),op_dWAJyo7jo9(a,a)),op_8HhzD0ZcuI(op_9FxExcQeMw(a,417),op_f6k1SAg4EE(758,a)))

def op_count_Tw270M8GLb(a):
    count = op_count_dWAJyo7jo9(13,a)+op_count_dWAJyo7jo9(a,a)+op_count_nCS4ZIUYfx(op_dWAJyo7jo9(13,a),op_dWAJyo7jo9(a,a))+op_count_9FxExcQeMw(a,417)+op_count_f6k1SAg4EE(758,a)+op_count_8HhzD0ZcuI(op_9FxExcQeMw(a,417),op_f6k1SAg4EE(758,a))+op_count_sdazOOVcIp(op_nCS4ZIUYfx(op_dWAJyo7jo9(13,a),op_dWAJyo7jo9(a,a)),op_8HhzD0ZcuI(op_9FxExcQeMw(a,417),op_f6k1SAg4EE(758,a)))
    return count


⊙↵-a = { (((a⋳⪒a)⨵⪆(a⪢a))⪘⫢((a⫸⊐a)↺(↽≂a))) }

def op_oWn0xqSxBt(a):
    return op_oacrs7FA3X(op_2DQ55sFlQl(op_12rbrZMWeM(a,a),op_dWAJyo7jo9(a,a)),op_7j4O788W3g(op_mqXw5SEYmG(a,a),op_u6S6b8DprG(a)))

def op_count_oWn0xqSxBt(a):
    count = op_count_12rbrZMWeM(a,a)+op_count_dWAJyo7jo9(a,a)+op_count_2DQ55sFlQl(op_12rbrZMWeM(a,a),op_dWAJyo7jo9(a,a))+op_count_mqXw5SEYmG(a,a)+op_count_u6S6b8DprG(a)+op_count_7j4O788W3g(op_mqXw5SEYmG(a,a),op_u6S6b8DprG(a))+op_count_oacrs7FA3X(op_2DQ55sFlQl(op_12rbrZMWeM(a,a),op_dWAJyo7jo9(a,a)),op_7j4O788W3g(op_mqXw5SEYmG(a,a),op_u6S6b8DprG(a)))
    return count


a≹⇙⪍b = {a, if b == 0; (a≹⇙⪍(b-1))⪢(b), if b > 0 and abs(b) < 1000; -(a≹⇙⪍(b+1))⪢(b), if b < 0 and abs(b) < 1000; NaN, else}

def op_AHs5Up7iyr(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 1000):
        return float('nan')
    result = a
    for _ in range(abs(b)):
        temp_result = op_dWAJyo7jo9(result, b)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return result

def op_count_AHs5Up7iyr(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 1000):
        return 1
    result = a
    count = 0
    for _ in range(abs(b)):
        temp_result = op_dWAJyo7jo9(result, b)
        count += op_count_dWAJyo7jo9(result, b)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return count if count > 0 else 1


a⨟⋌⩍b = {a, if b == 0; (a⨟⋌⩍(b-1))≣⋋, if b > 0 and abs(b) < 1000; -(a⨟⋌⩍(b+1))≣⋋, if b < 0 and abs(b) < 1000; NaN, else}

def op_rGHVDoGpnC(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 1000):
        return float('nan')
    result = a
    for _ in range(abs(b)):
        temp_result = op_Tcnh7f0tEr(result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return result

def op_count_rGHVDoGpnC(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 1000):
        return 1
    result = a
    count = 0
    for _ in range(abs(b)):
        temp_result = op_Tcnh7f0tEr(result)
        count += op_count_Tcnh7f0tEr(result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return count if count > 0 else 1


a⨐⩸⫘b = {a, if b == 0; (a⨐⩸⫘(b-1))⨓(b), if b > 0 and abs(b) < 1000; -(a⨐⩸⫘(b+1))⨓(b), if b < 0 and abs(b) < 1000; NaN, else}

def op_fu6greOZ01(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 1000):
        return float('nan')
    result = a
    for _ in range(abs(b)):
        temp_result = op_3ViojmjbAp(result, b)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return result

def op_count_fu6greOZ01(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 1000):
        return 1
    result = a
    count = 0
    for _ in range(abs(b)):
        temp_result = op_3ViojmjbAp(result, b)
        count += op_count_3ViojmjbAp(result, b)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return count if count > 0 else 1


def op_Q3PJZHRvZv(a):
    return op_fu6greOZ01(a,a)

def op_count_Q3PJZHRvZv(a):
    count = op_count_fu6greOZ01(a,a)
    return count


def op_DlLNRPXxWL(a):
    return op_rGHVDoGpnC(a,228)

def op_count_DlLNRPXxWL(a):
    count = op_count_rGHVDoGpnC(a,228)
    return count


a∑⇟⊟b = { (⨵≀≌b) , if (a⋳⪒898)==671 ; (a≹⇙⪍b) , else }

def op_U7g4x0WXJJ(a, b):
    if op_12rbrZMWeM(a,898) == 671:
        return op_srAu1WTS94(b)
    else:
        return op_AHs5Up7iyr(a,b)

def op_count_U7g4x0WXJJ(a, b):
    if op_12rbrZMWeM(a,898) == 671:
        count = op_count_srAu1WTS94(b)+op_count_12rbrZMWeM(a,898)
    else:
        count = op_count_AHs5Up7iyr(a,b)
    return count


def op_KYD54nUTWz(a, b):
    return op_rGHVDoGpnC(b,op_8HhzD0ZcuI(144,a))

def op_count_KYD54nUTWz(a, b):
    count = op_count_8HhzD0ZcuI(144,a)+op_count_rGHVDoGpnC(b,op_8HhzD0ZcuI(144,a))
    return count


a∼b = { ((a≹⇙⪍b)⋷(a⨪↰⇹a)) , if (a∸)<63 ; ((20⨟⋌⩍b)⨪↰⇹(↥a)) , else }

def op_DyGG3AbaNP(a, b):
    if op_o20kRiQErp(a) < 63:
        return op_23Mk6UjR3U(op_AHs5Up7iyr(a,b),op_tmPS8pqC7x(a,a))
    else:
        return op_tmPS8pqC7x(op_rGHVDoGpnC(20,b),op_A8NUZmVepG(a))

def op_count_DyGG3AbaNP(a, b):
    if op_o20kRiQErp(a) < 63:
        count = op_count_AHs5Up7iyr(a,b)+op_count_tmPS8pqC7x(a,a)+op_count_23Mk6UjR3U(op_AHs5Up7iyr(a,b),op_tmPS8pqC7x(a,a))+op_count_o20kRiQErp(a)
    else:
        count = op_count_rGHVDoGpnC(20,b)+op_count_A8NUZmVepG(a)+op_count_tmPS8pqC7x(op_rGHVDoGpnC(20,b),op_A8NUZmVepG(a))
    return count


def op_Asc51vEJeQ(a):
    return op_AHs5Up7iyr(op_XhwjNDsVaA(a,a),op_AHs5Up7iyr(a,a))

def op_count_Asc51vEJeQ(a):
    count = op_count_XhwjNDsVaA(a,a)+op_count_AHs5Up7iyr(a,a)+op_count_AHs5Up7iyr(op_XhwjNDsVaA(a,a),op_AHs5Up7iyr(a,a))
    return count


def op_B5M0gjZbta(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (a in special_values) or (abs(a) > 100):
        return float('nan')
    result = b
    for _ in range(abs(a)):
        temp_result = op_rGHVDoGpnC(result, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if a > 0 else -temp_result
    return result

def op_count_B5M0gjZbta(a, b):
    special_values = [float('inf'), float('-inf')]
    if (a != a) or (a in special_values) or (abs(a) > 100):
        return 1
    result = b
    count = 0
    for _ in range(abs(a)):
        temp_result = op_rGHVDoGpnC(result, result)
        count += op_count_rGHVDoGpnC(result, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if a > 0 else -temp_result
    return count if count > 0 else 1


def op_rxpJgHHUmx(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 100):
        return float('nan')
    result = -22
    for _ in range(abs(b)):
        temp_result = op_AHs5Up7iyr(a, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return result

def op_count_rxpJgHHUmx(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 100):
        return 1
    result = -22
    count = 0
    for _ in range(abs(b)):
        temp_result = op_AHs5Up7iyr(a, result)
        count += op_count_AHs5Up7iyr(a, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return count if count > 0 else 1


a+⇶⊼b = {b, if b == 0; (a)≹⇙⪍(a+⇶⊼(b-1)), if b > 0 and abs(b) < 100; -(a)≹⇙⪍(a+⇶⊼(b+1)), if b < 0 and abs(b) < 100; NaN, else}

def op_TpPTUOHfaN(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 100):
        return float('nan')
    result = b
    for _ in range(abs(b)):
        temp_result = op_AHs5Up7iyr(a, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return result

def op_count_TpPTUOHfaN(a, b):
    special_values = [float('inf'), float('-inf')]
    if (b != b) or (b in special_values) or (abs(b) > 100):
        return 1
    result = b
    count = 0
    for _ in range(abs(b)):
        temp_result = op_AHs5Up7iyr(a, result)
        count += op_count_AHs5Up7iyr(a, result)
        if abs(temp_result) > thres:
            temp_result = float("inf")
        result = temp_result if b > 0 else -temp_result
    return count if count > 0 else 1


def op_inkyxCbjAn(a):
    return op_B5M0gjZbta(a,a)

def op_count_inkyxCbjAn(a):
    count = op_count_B5M0gjZbta(a,a)
    return count


def op_Uaa54Peajs(a):
    if (op_3ViojmjbAp(a,405) < 13 and a <= 191 and op_g55IO6H4Gj(a,774) != 889):
        return op_f6k1SAg4EE(a,264)
    else:
        return op_B5M0gjZbta(a,a)

def op_count_Uaa54Peajs(a):
    if (op_3ViojmjbAp(a,405) < 13 and a <= 191 and op_g55IO6H4Gj(a,774) != 889):
        count = op_count_f6k1SAg4EE(a,264)+op_count_3ViojmjbAp(a,405)+op_count_g55IO6H4Gj(a,774)
    else:
        count = op_count_B5M0gjZbta(a,a)
    return count


a∧ = { ((a⋷a)≹⇙⪍(a↬a)) , if (-a)<=39 ; ((a%a)⋝⋈⪟(a⫸⊐a)) , else }

def op_z63VuFQld9(a):
    if op_t8gj7n24qd(a) <= 39:
        return op_AHs5Up7iyr(op_23Mk6UjR3U(a,a),op_B5M0gjZbta(a,a))
    else:
        return op_2DDjHMKMc0(op_k8jYdgA6NY(a,a),op_mqXw5SEYmG(a,a))

def op_count_z63VuFQld9(a):
    if op_t8gj7n24qd(a) <= 39:
        count = op_count_23Mk6UjR3U(a,a)+op_count_B5M0gjZbta(a,a)+op_count_AHs5Up7iyr(op_23Mk6UjR3U(a,a),op_B5M0gjZbta(a,a))+op_count_t8gj7n24qd(a)
    else:
        count = op_count_k8jYdgA6NY(a,a)+op_count_mqXw5SEYmG(a,a)+op_count_2DDjHMKMc0(op_k8jYdgA6NY(a,a),op_mqXw5SEYmG(a,a))
    return count


def op_megm06wKyl(a):
    if op_Z2TMIBDE3Q(a) != 46 and a == 442 and op_DhbWaqg5eL(a) != 531:
        return op_TpPTUOHfaN(op_14qkJME0vr(op_W4YGzv6Whe(a,a)),123)
    else:
        return op_8jW3W4yZS5(op_Q3PJZHRvZv(op_glklzrTFfD(8)))

def op_count_megm06wKyl(a):
    if op_Z2TMIBDE3Q(a) != 46 and a == 442 and op_DhbWaqg5eL(a) != 531:
        count = op_count_W4YGzv6Whe(a,a)+op_count_14qkJME0vr(op_W4YGzv6Whe(a,a))+op_count_TpPTUOHfaN(op_14qkJME0vr(op_W4YGzv6Whe(a,a)),123)+op_count_Z2TMIBDE3Q(a)+op_count_DhbWaqg5eL(a)
    else:
        count = op_count_glklzrTFfD(8)+op_count_Q3PJZHRvZv(op_glklzrTFfD(8))+op_count_8jW3W4yZS5(op_Q3PJZHRvZv(op_glklzrTFfD(8)))
    return count


def op_qazvmhNBbN(a):
    return op_f6k1SAg4EE(op_eLAdDNolq6(a),op_AF7qkfDlqP(a))

def op_count_qazvmhNBbN(a):
    count = op_count_eLAdDNolq6(a)+op_count_AF7qkfDlqP(a)+op_count_f6k1SAg4EE(op_eLAdDNolq6(a),op_AF7qkfDlqP(a))
    return count


def op_cTDWOvIxvz(a, b):
    return op_W4YGzv6Whe(op_7j4O788W3g(b,a),op_COABgblf1C(b,b))

def op_count_cTDWOvIxvz(a, b):
    count = op_count_7j4O788W3g(b,a)+op_count_COABgblf1C(b,b)+op_count_W4YGzv6Whe(op_7j4O788W3g(b,a),op_COABgblf1C(b,b))
    return count


def op_3EYGwJThht(a, b):
    return op_i8ToyICDmI(op_eLAdDNolq6(b),op_DZ8iAZOCBD(a,b))

def op_count_3EYGwJThht(a, b):
    count = op_count_eLAdDNolq6(b)+op_count_DZ8iAZOCBD(a,b)+op_count_i8ToyICDmI(op_eLAdDNolq6(b),op_DZ8iAZOCBD(a,b))
    return count


def op_wEfv7U73WA(a):
    return op_Ph9nP6C5qx(op_9FxExcQeMw(a,op_i8ToyICDmI(a,a)),op_t8gj7n24qd(a))

def op_count_wEfv7U73WA(a):
    count = op_count_i8ToyICDmI(a,a)+op_count_9FxExcQeMw(a,op_i8ToyICDmI(a,a))+op_count_t8gj7n24qd(a)+op_count_Ph9nP6C5qx(op_9FxExcQeMw(a,op_i8ToyICDmI(a,a)),op_t8gj7n24qd(a))
    return count


def op_3sJ7IOPOlU(a, b):
    return op_JLbD19bQDL(op_xUOZtlo3hN(op_DZ8iAZOCBD(a,b)))

def op_count_3sJ7IOPOlU(a, b):
    count = op_count_DZ8iAZOCBD(a,b)+op_count_xUOZtlo3hN(op_DZ8iAZOCBD(a,b))+op_count_JLbD19bQDL(op_xUOZtlo3hN(op_DZ8iAZOCBD(a,b)))
    return count


a⊔b = { (((a≧⫂∧b)∲⫓(⋗⩬⋾b))⫡⨏((b⪒a)≧⫂∧(a+64))) }

def op_E4l6HwMY31(a, b):
    return op_QMFrweE19q(op_i8ToyICDmI(op_Ph9nP6C5qx(a,b),op_DpFCA1CohY(b)),op_Ph9nP6C5qx(op_f6k1SAg4EE(b,a),op_W4YGzv6Whe(a,64)))

def op_count_E4l6HwMY31(a, b):
    count = op_count_Ph9nP6C5qx(a,b)+op_count_DpFCA1CohY(b)+op_count_i8ToyICDmI(op_Ph9nP6C5qx(a,b),op_DpFCA1CohY(b))+op_count_f6k1SAg4EE(b,a)+op_count_W4YGzv6Whe(a,64)+op_count_Ph9nP6C5qx(op_f6k1SAg4EE(b,a),op_W4YGzv6Whe(a,64))+op_count_QMFrweE19q(op_i8ToyICDmI(op_Ph9nP6C5qx(a,b),op_DpFCA1CohY(b)),op_Ph9nP6C5qx(op_f6k1SAg4EE(b,a),op_W4YGzv6Whe(a,64)))
    return count


def op_BiWNJpBvwn(a, b):
    return op_Ph9nP6C5qx(op_xUOZtlo3hN(508),op_Ph9nP6C5qx(a,b))

def op_count_BiWNJpBvwn(a, b):
    count = op_count_xUOZtlo3hN(508)+op_count_Ph9nP6C5qx(a,b)+op_count_Ph9nP6C5qx(op_xUOZtlo3hN(508),op_Ph9nP6C5qx(a,b))
    return count


def op_4CyGpkTkEk(a):
    return op_e1ybzncUwg(op_XPYlsWDdGa(op_eewbuw0ToL(a,a)))

def op_count_4CyGpkTkEk(a):
    count = op_count_eewbuw0ToL(a,a)+op_count_XPYlsWDdGa(op_eewbuw0ToL(a,a))+op_count_e1ybzncUwg(op_XPYlsWDdGa(op_eewbuw0ToL(a,a)))
    return count


def op_09Ly4LVMIf(a, b):
    return op_9FxExcQeMw(op_u6S6b8DprG(b),op_DIvbN7qnHd(a))

def op_count_09Ly4LVMIf(a, b):
    count = op_count_u6S6b8DprG(b)+op_count_DIvbN7qnHd(a)+op_count_9FxExcQeMw(op_u6S6b8DprG(b),op_DIvbN7qnHd(a))
    return count


def op_y4ImoPnbV5(a, b):
    return op_QMFrweE19q(op_NTOWxs364D(a,b),b)

def op_count_y4ImoPnbV5(a, b):
    count = op_count_NTOWxs364D(a,b)+op_count_QMFrweE19q(op_NTOWxs364D(a,b),b)
    return count


def op_JDUIKTTSIa(a, b):
    return op_AF7qkfDlqP(op_eewbuw0ToL(op_sdazOOVcIp(a,b),op_u6S6b8DprG(b)))

def op_count_JDUIKTTSIa(a, b):
    count = op_count_sdazOOVcIp(a,b)+op_count_u6S6b8DprG(b)+op_count_eewbuw0ToL(op_sdazOOVcIp(a,b),op_u6S6b8DprG(b))+op_count_AF7qkfDlqP(op_eewbuw0ToL(op_sdazOOVcIp(a,b),op_u6S6b8DprG(b)))
    return count


def op_nREPSIbpBE(a, b):
    return op_BjRHVeLaeN(op_12rbrZMWeM(op_12rbrZMWeM(b,a),31))

def op_count_nREPSIbpBE(a, b):
    count = op_count_12rbrZMWeM(b,a)+op_count_12rbrZMWeM(op_12rbrZMWeM(b,a),31)+op_count_BjRHVeLaeN(op_12rbrZMWeM(op_12rbrZMWeM(b,a),31))
    return count


a⩱ = { ((⋗⩬⋾(a⊭↱a))↺((a⨸⪁a)⪒(a⨸⪁125))) }

def op_uyq1hVkAcj(a):
    return op_7j4O788W3g(op_DpFCA1CohY(op_COABgblf1C(a,a)),op_f6k1SAg4EE(op_g55IO6H4Gj(a,a),op_g55IO6H4Gj(a,125)))

def op_count_uyq1hVkAcj(a):
    count = op_count_COABgblf1C(a,a)+op_count_DpFCA1CohY(op_COABgblf1C(a,a))+op_count_g55IO6H4Gj(a,a)+op_count_g55IO6H4Gj(a,125)+op_count_f6k1SAg4EE(op_g55IO6H4Gj(a,a),op_g55IO6H4Gj(a,125))+op_count_7j4O788W3g(op_DpFCA1CohY(op_COABgblf1C(a,a)),op_f6k1SAg4EE(op_g55IO6H4Gj(a,a),op_g55IO6H4Gj(a,125)))
    return count


def op_XnXgA4xnOs(a, b):
    return op_QMFrweE19q(op_eewbuw0ToL(a,b),op_AF7qkfDlqP(b))

def op_count_XnXgA4xnOs(a, b):
    count = op_count_eewbuw0ToL(a,b)+op_count_AF7qkfDlqP(b)+op_count_QMFrweE19q(op_eewbuw0ToL(a,b),op_AF7qkfDlqP(b))
    return count


def op_IGFM8TAlm9(a):
    return op_eH2TOUuTDT(op_eewbuw0ToL(a,a))

def op_count_IGFM8TAlm9(a):
    count = op_count_eewbuw0ToL(a,a)+op_count_eH2TOUuTDT(op_eewbuw0ToL(a,a))
    return count


def op_KipPnG1M2J(a):
    return op_f6k1SAg4EE(op_eLAdDNolq6(a),op_23Mk6UjR3U(a,a))

def op_count_KipPnG1M2J(a):
    count = op_count_eLAdDNolq6(a)+op_count_23Mk6UjR3U(a,a)+op_count_f6k1SAg4EE(op_eLAdDNolq6(a),op_23Mk6UjR3U(a,a))
    return count


def op_k2HlF1dBQh(a):
    return op_rysDP5nf3Z(op_W4YGzv6Whe(op_tifHPKVTfV(a,a),op_rysDP5nf3Z(a,a)),op_8w2t5hMYqp(3))

def op_count_k2HlF1dBQh(a):
    count = op_count_tifHPKVTfV(a,a)+op_count_rysDP5nf3Z(a,a)+op_count_W4YGzv6Whe(op_tifHPKVTfV(a,a),op_rysDP5nf3Z(a,a))+op_count_8w2t5hMYqp(3)+op_count_rysDP5nf3Z(op_W4YGzv6Whe(op_tifHPKVTfV(a,a),op_rysDP5nf3Z(a,a)),op_8w2t5hMYqp(3))
    return count


def op_ancx8kZcWl(a):
    return op_t8gj7n24qd(op_DZ8iAZOCBD(a,a))

def op_count_ancx8kZcWl(a):
    count = op_count_DZ8iAZOCBD(a,a)+op_count_t8gj7n24qd(op_DZ8iAZOCBD(a,a))
    return count


def op_jdwGQqwJi5(a):
    return op_2DDjHMKMc0(a,a)

def op_count_jdwGQqwJi5(a):
    count = op_count_2DDjHMKMc0(a,a)
    return count


a⪉⨛b = { (((82⇼⇔∾a)⩚⊴⇥a)⩚⊴⇥((b∲⫓a)⋳⪒(a⨰b))) }

def op_EWw2JM7wp4(a, b):
    return op_NTOWxs364D(op_NTOWxs364D(op_tifHPKVTfV(82,a),a),op_12rbrZMWeM(op_i8ToyICDmI(b,a),op_eewbuw0ToL(a,b)))

def op_count_EWw2JM7wp4(a, b):
    count = op_count_tifHPKVTfV(82,a)+op_count_NTOWxs364D(op_tifHPKVTfV(82,a),a)+op_count_i8ToyICDmI(b,a)+op_count_eewbuw0ToL(a,b)+op_count_12rbrZMWeM(op_i8ToyICDmI(b,a),op_eewbuw0ToL(a,b))+op_count_NTOWxs364D(op_NTOWxs364D(op_tifHPKVTfV(82,a),a),op_12rbrZMWeM(op_i8ToyICDmI(b,a),op_eewbuw0ToL(a,b)))
    return count


def op_3mBM5G4a3l(a):
    return op_g55IO6H4Gj(51,a)

def op_count_3mBM5G4a3l(a):
    count = op_count_g55IO6H4Gj(51,a)
    return count


def op_18saOjeKKm(a):
    return op_i8ToyICDmI(op_nCS4ZIUYfx(a,242),op_sdazOOVcIp(229,a))

def op_count_18saOjeKKm(a):
    count = op_count_nCS4ZIUYfx(a,242)+op_count_sdazOOVcIp(229,a)+op_count_i8ToyICDmI(op_nCS4ZIUYfx(a,242),op_sdazOOVcIp(229,a))
    return count


def op_keWfFq85dY(a):
    return op_JLbD19bQDL(op_g55IO6H4Gj(a,a))

def op_count_keWfFq85dY(a):
    count = op_count_g55IO6H4Gj(a,a)+op_count_JLbD19bQDL(op_g55IO6H4Gj(a,a))
    return count


∓⪦a = { (((a≧⫂∧a)⨰(a⨰a))⨰(∥⊫(343⪨≂a))) }

def op_D309nIvmXG(a):
    return op_eewbuw0ToL(op_eewbuw0ToL(op_Ph9nP6C5qx(a,a),op_eewbuw0ToL(a,a)),op_P8v4zCKN1o(op_sdazOOVcIp(343,a)))

def op_count_D309nIvmXG(a):
    count = op_count_Ph9nP6C5qx(a,a)+op_count_eewbuw0ToL(a,a)+op_count_eewbuw0ToL(op_Ph9nP6C5qx(a,a),op_eewbuw0ToL(a,a))+op_count_sdazOOVcIp(343,a)+op_count_P8v4zCKN1o(op_sdazOOVcIp(343,a))+op_count_eewbuw0ToL(op_eewbuw0ToL(op_Ph9nP6C5qx(a,a),op_eewbuw0ToL(a,a)),op_P8v4zCKN1o(op_sdazOOVcIp(343,a)))
    return count


def op_w2P8NbNXyL(a, b):
    return op_sdazOOVcIp(op_e1ybzncUwg(op_eewbuw0ToL(a,b)),op_sdazOOVcIp(op_9FxExcQeMw(145,a),op_t8gj7n24qd(b)))

def op_count_w2P8NbNXyL(a, b):
    count = op_count_eewbuw0ToL(a,b)+op_count_e1ybzncUwg(op_eewbuw0ToL(a,b))+op_count_9FxExcQeMw(145,a)+op_count_t8gj7n24qd(b)+op_count_sdazOOVcIp(op_9FxExcQeMw(145,a),op_t8gj7n24qd(b))+op_count_sdazOOVcIp(op_e1ybzncUwg(op_eewbuw0ToL(a,b)),op_sdazOOVcIp(op_9FxExcQeMw(145,a),op_t8gj7n24qd(b)))
    return count


a⫻⋑⊟ = { ((a⨸⪁(⨞⊢a))⪨≂((a∲⫓a)⋳⪒(265-a))) }

def op_o575Zjdmzy(a):
    return op_sdazOOVcIp(op_g55IO6H4Gj(a,op_xUOZtlo3hN(a)),op_12rbrZMWeM(op_i8ToyICDmI(a,a),op_rysDP5nf3Z(265,a)))

def op_count_o575Zjdmzy(a):
    count = op_count_xUOZtlo3hN(a)+op_count_g55IO6H4Gj(a,op_xUOZtlo3hN(a))+op_count_i8ToyICDmI(a,a)+op_count_rysDP5nf3Z(265,a)+op_count_12rbrZMWeM(op_i8ToyICDmI(a,a),op_rysDP5nf3Z(265,a))+op_count_sdazOOVcIp(op_g55IO6H4Gj(a,op_xUOZtlo3hN(a)),op_12rbrZMWeM(op_i8ToyICDmI(a,a),op_rysDP5nf3Z(265,a)))
    return count


def op_Eev2Q7dYIw(a):
    return op_g55IO6H4Gj(op_D4vGDi5EA2(a),op_P8v4zCKN1o(a))

def op_count_Eev2Q7dYIw(a):
    count = op_count_D4vGDi5EA2(a)+op_count_P8v4zCKN1o(a)+op_count_g55IO6H4Gj(op_D4vGDi5EA2(a),op_P8v4zCKN1o(a))
    return count


def op_bl5wxAcryP(a):
    return op_Z2TMIBDE3Q(op_nCS4ZIUYfx(a,101))

def op_count_bl5wxAcryP(a):
    count = op_count_nCS4ZIUYfx(a,101)+op_count_Z2TMIBDE3Q(op_nCS4ZIUYfx(a,101))
    return count


def op_qWUSsah53b(a):
    return op_P8v4zCKN1o(op_DZ8iAZOCBD(a,a))

def op_count_qWUSsah53b(a):
    count = op_count_DZ8iAZOCBD(a,a)+op_count_P8v4zCKN1o(op_DZ8iAZOCBD(a,a))
    return count


def op_OwUj7dcsQK(a):
    return op_DpFCA1CohY(op_nCS4ZIUYfx(op_12rbrZMWeM(a,554),op_QMFrweE19q(a,a)))

def op_count_OwUj7dcsQK(a):
    count = op_count_12rbrZMWeM(a,554)+op_count_QMFrweE19q(a,a)+op_count_nCS4ZIUYfx(op_12rbrZMWeM(a,554),op_QMFrweE19q(a,a))+op_count_DpFCA1CohY(op_nCS4ZIUYfx(op_12rbrZMWeM(a,554),op_QMFrweE19q(a,a)))
    return count


def op_SWo3A1KBJH(a):
    return op_XPYlsWDdGa(op_23Mk6UjR3U(op_u6S6b8DprG(a),op_2DQ55sFlQl(a,a)))

def op_count_SWo3A1KBJH(a):
    count = op_count_u6S6b8DprG(a)+op_count_2DQ55sFlQl(a,a)+op_count_23Mk6UjR3U(op_u6S6b8DprG(a),op_2DQ55sFlQl(a,a))+op_count_XPYlsWDdGa(op_23Mk6UjR3U(op_u6S6b8DprG(a),op_2DQ55sFlQl(a,a)))
    return count


def op_DO4fhlbJSI(a):
    return op_9FxExcQeMw(op_XPYlsWDdGa(op_2DQ55sFlQl(a,a)),op_12rbrZMWeM(op_e1ybzncUwg(a),op_sdazOOVcIp(a,a)))

def op_count_DO4fhlbJSI(a):
    count = op_count_2DQ55sFlQl(a,a)+op_count_XPYlsWDdGa(op_2DQ55sFlQl(a,a))+op_count_e1ybzncUwg(a)+op_count_sdazOOVcIp(a,a)+op_count_12rbrZMWeM(op_e1ybzncUwg(a),op_sdazOOVcIp(a,a))+op_count_9FxExcQeMw(op_XPYlsWDdGa(op_2DQ55sFlQl(a,a)),op_12rbrZMWeM(op_e1ybzncUwg(a),op_sdazOOVcIp(a,a)))
    return count


∂⩏⊆a = { (≤/a) , if a<=92 ; (a⊦⊿) , else }

def op_8WDwsbhb0R(a):
    if a <= 92:
        return op_eLAdDNolq6(a)
    else:
        return op_14qkJME0vr(a)

def op_count_8WDwsbhb0R(a):
    if a <= 92:
        count = op_count_eLAdDNolq6(a)
    else:
        count = op_count_14qkJME0vr(a)
    return count


def op_dfKe02y8D2(a, b):
    return op_12rbrZMWeM(op_DIvbN7qnHd(126),op_2DQ55sFlQl(op_t8gj7n24qd(b),op_g55IO6H4Gj(a,b)))

def op_count_dfKe02y8D2(a, b):
    count = op_count_DIvbN7qnHd(126)+op_count_t8gj7n24qd(b)+op_count_g55IO6H4Gj(a,b)+op_count_2DQ55sFlQl(op_t8gj7n24qd(b),op_g55IO6H4Gj(a,b))+op_count_12rbrZMWeM(op_DIvbN7qnHd(126),op_2DQ55sFlQl(op_t8gj7n24qd(b),op_g55IO6H4Gj(a,b)))
    return count


⊀a = { (((⩦⩻⨪67)⪨≂(a⋥≓≎63))⇋≉) , if (a⇼⇔∾9)<290 ; (((⊄⩳↩a)⨁⊸⫻)⫡⨏((a≧⫂∧a)⨸⪁(a≧⫂∧a))) , else }

def op_oPMjh9089D(a):
    if op_tifHPKVTfV(a,9) < 290:
        return op_XIabStNQrY(op_sdazOOVcIp(op_2td37pGCOC(67),op_Qy55tPpLXF(a,63)))
    else:
        return op_QMFrweE19q(op_glklzrTFfD(op_8w2t5hMYqp(a)),op_g55IO6H4Gj(op_Ph9nP6C5qx(a,a),op_Ph9nP6C5qx(a,a)))

def op_count_oPMjh9089D(a):
    if op_tifHPKVTfV(a,9) < 290:
        count = op_count_2td37pGCOC(67)+op_count_Qy55tPpLXF(a,63)+op_count_sdazOOVcIp(op_2td37pGCOC(67),op_Qy55tPpLXF(a,63))+op_count_XIabStNQrY(op_sdazOOVcIp(op_2td37pGCOC(67),op_Qy55tPpLXF(a,63)))+op_count_tifHPKVTfV(a,9)
    else:
        count = op_count_8w2t5hMYqp(a)+op_count_glklzrTFfD(op_8w2t5hMYqp(a))+op_count_Ph9nP6C5qx(a,a)+op_count_Ph9nP6C5qx(a,a)+op_count_g55IO6H4Gj(op_Ph9nP6C5qx(a,a),op_Ph9nP6C5qx(a,a))+op_count_QMFrweE19q(op_glklzrTFfD(op_8w2t5hMYqp(a)),op_g55IO6H4Gj(op_Ph9nP6C5qx(a,a),op_Ph9nP6C5qx(a,a)))
    return count


def op_1h0rLqGiFr(a):
    return op_14qkJME0vr(op_7j4O788W3g(op_14qkJME0vr(a),op_g55IO6H4Gj(a,a)))

def op_count_1h0rLqGiFr(a):
    count = op_count_14qkJME0vr(a)+op_count_g55IO6H4Gj(a,a)+op_count_7j4O788W3g(op_14qkJME0vr(a),op_g55IO6H4Gj(a,a))+op_count_14qkJME0vr(op_7j4O788W3g(op_14qkJME0vr(a),op_g55IO6H4Gj(a,a)))
    return count


a∣b = { (≤/((a⪐)≧⫂∧(a∲⫓b))) , if (b⪐)<590 ; a , else }

def op_PPChnnnBFF(a, b):
    if op_eH2TOUuTDT(b) < 590:
        return op_eLAdDNolq6(op_Ph9nP6C5qx(op_eH2TOUuTDT(a),op_i8ToyICDmI(a,b)))
    else:
        return a

def op_count_PPChnnnBFF(a, b):
    if op_eH2TOUuTDT(b) < 590:
        count = op_count_eH2TOUuTDT(a)+op_count_i8ToyICDmI(a,b)+op_count_Ph9nP6C5qx(op_eH2TOUuTDT(a),op_i8ToyICDmI(a,b))+op_count_eLAdDNolq6(op_Ph9nP6C5qx(op_eH2TOUuTDT(a),op_i8ToyICDmI(a,b)))+op_count_eH2TOUuTDT(b)
    else:
        count = 1
    return count


a⫯⪬∳b = { ((b⋥≓≎a)≧⫂∧(⊄⩳↩a)) , if (a≦≮≮)!=65 ; ((b⫩⊇)⋥≓≎(a⨰b)) , else }

def op_d7ASUq0ydm(a, b):
    if op_D4vGDi5EA2(a) != 65:
        return op_Ph9nP6C5qx(op_Qy55tPpLXF(b,a),op_8w2t5hMYqp(a))
    else:
        return op_Qy55tPpLXF(op_BjRHVeLaeN(b),op_eewbuw0ToL(a,b))

def op_count_d7ASUq0ydm(a, b):
    if op_D4vGDi5EA2(a) != 65:
        count = op_count_Qy55tPpLXF(b,a)+op_count_8w2t5hMYqp(a)+op_count_Ph9nP6C5qx(op_Qy55tPpLXF(b,a),op_8w2t5hMYqp(a))+op_count_D4vGDi5EA2(a)
    else:
        count = op_count_BjRHVeLaeN(b)+op_count_eewbuw0ToL(a,b)+op_count_Qy55tPpLXF(op_BjRHVeLaeN(b),op_eewbuw0ToL(a,b))
    return count


a≠≀b = { (⩦⩻⨪(a⩚⊴⇥b)) , if (≤/b)>10 ; ((a⪨≂a)⪨≂(a⋝⋈⪟356)) , else }

def op_IwW236VD4Y(a, b):
    if op_eLAdDNolq6(b) > 10:
        return op_2td37pGCOC(op_NTOWxs364D(a,b))
    else:
        return op_sdazOOVcIp(op_sdazOOVcIp(a,a),op_2DDjHMKMc0(a,356))

def op_count_IwW236VD4Y(a, b):
    if op_eLAdDNolq6(b) > 10:
        count = op_count_NTOWxs364D(a,b)+op_count_2td37pGCOC(op_NTOWxs364D(a,b))+op_count_eLAdDNolq6(b)
    else:
        count = op_count_sdazOOVcIp(a,a)+op_count_2DDjHMKMc0(a,356)+op_count_sdazOOVcIp(op_sdazOOVcIp(a,a),op_2DDjHMKMc0(a,356))
    return count


def op_LYeZOJ0nQG(a):
    if op_9FxExcQeMw(a,509) >= 9:
        return op_i8ToyICDmI(op_NTOWxs364D(655,a),op_P8v4zCKN1o(86))
    else:
        return op_tifHPKVTfV(op_COABgblf1C(1,337),op_9FxExcQeMw(a,a))

def op_count_LYeZOJ0nQG(a):
    if op_9FxExcQeMw(a,509) >= 9:
        count = op_count_NTOWxs364D(655,a)+op_count_P8v4zCKN1o(86)+op_count_i8ToyICDmI(op_NTOWxs364D(655,a),op_P8v4zCKN1o(86))+op_count_9FxExcQeMw(a,509)
    else:
        count = op_count_COABgblf1C(1,337)+op_count_9FxExcQeMw(a,a)+op_count_tifHPKVTfV(op_COABgblf1C(1,337),op_9FxExcQeMw(a,a))
    return count


a⊬⫿⊭ = { ((⨑⩽⪐(≤/a))↺((⨞⊢a)⨰(↽≂188))) , if a<119 ; (((∥⊫a)⨳⩥⨓(a⨵⪆a))↺(⊄⩳↩(a⋝⋈⪟a))) , else }

def op_v0DYgG9ikt(a):
    if a < 119:
        return op_7j4O788W3g(op_AF7qkfDlqP(op_eLAdDNolq6(a)),op_eewbuw0ToL(op_xUOZtlo3hN(a),op_u6S6b8DprG(188)))
    else:
        return op_7j4O788W3g(op_nCS4ZIUYfx(op_P8v4zCKN1o(a),op_2DQ55sFlQl(a,a)),op_8w2t5hMYqp(op_2DDjHMKMc0(a,a)))

def op_count_v0DYgG9ikt(a):
    if a < 119:
        count = op_count_eLAdDNolq6(a)+op_count_AF7qkfDlqP(op_eLAdDNolq6(a))+op_count_xUOZtlo3hN(a)+op_count_u6S6b8DprG(188)+op_count_eewbuw0ToL(op_xUOZtlo3hN(a),op_u6S6b8DprG(188))+op_count_7j4O788W3g(op_AF7qkfDlqP(op_eLAdDNolq6(a)),op_eewbuw0ToL(op_xUOZtlo3hN(a),op_u6S6b8DprG(188)))
    else:
        count = op_count_P8v4zCKN1o(a)+op_count_2DQ55sFlQl(a,a)+op_count_nCS4ZIUYfx(op_P8v4zCKN1o(a),op_2DQ55sFlQl(a,a))+op_count_2DDjHMKMc0(a,a)+op_count_8w2t5hMYqp(op_2DDjHMKMc0(a,a))+op_count_7j4O788W3g(op_nCS4ZIUYfx(op_P8v4zCKN1o(a),op_2DQ55sFlQl(a,a)),op_8w2t5hMYqp(op_2DDjHMKMc0(a,a)))
    return count


a⫁⪎b = { ((b⋝⋈⪟a)⇼⇔∾a) , if (∥⊫b)!=57 ; ((191∲⫓a)⋥≓≎(a⪨≂368)) , else }

def op_xRrnTEsQ6j(a, b):
    if op_P8v4zCKN1o(b) != 57:
        return op_tifHPKVTfV(op_2DDjHMKMc0(b,a),a)
    else:
        return op_Qy55tPpLXF(op_i8ToyICDmI(191,a),op_sdazOOVcIp(a,368))

def op_count_xRrnTEsQ6j(a, b):
    if op_P8v4zCKN1o(b) != 57:
        count = op_count_2DDjHMKMc0(b,a)+op_count_tifHPKVTfV(op_2DDjHMKMc0(b,a),a)+op_count_P8v4zCKN1o(b)
    else:
        count = op_count_i8ToyICDmI(191,a)+op_count_sdazOOVcIp(a,368)+op_count_Qy55tPpLXF(op_i8ToyICDmI(191,a),op_sdazOOVcIp(a,368))
    return count


def op_HmxsFra2vL(a, b):
    if op_BjRHVeLaeN(a) == 144:
        return op_i8ToyICDmI(op_f6k1SAg4EE(a,408),op_Z2TMIBDE3Q(b))
    else:
        return op_JLbD19bQDL(op_Z2TMIBDE3Q(a))

def op_count_HmxsFra2vL(a, b):
    if op_BjRHVeLaeN(a) == 144:
        count = op_count_f6k1SAg4EE(a,408)+op_count_Z2TMIBDE3Q(b)+op_count_i8ToyICDmI(op_f6k1SAg4EE(a,408),op_Z2TMIBDE3Q(b))+op_count_BjRHVeLaeN(a)
    else:
        count = op_count_Z2TMIBDE3Q(a)+op_count_JLbD19bQDL(op_Z2TMIBDE3Q(a))
    return count


a⪶≀⋏b = { (((b⨸⪁b)⨸⪁(a-a))⋝⋈⪟(b⋝⋈⪟(b+b))) , if a<244 ; (((b⩚⊴⇥a)⨁⊸⫻)⨰a) , else }

def op_zR4jO40bMj(a, b):
    if a < 244:
        return op_2DDjHMKMc0(op_g55IO6H4Gj(op_g55IO6H4Gj(b,b),op_rysDP5nf3Z(a,a)),op_2DDjHMKMc0(b,op_W4YGzv6Whe(b,b)))
    else:
        return op_eewbuw0ToL(op_glklzrTFfD(op_NTOWxs364D(b,a)),a)

def op_count_zR4jO40bMj(a, b):
    if a < 244:
        count = op_count_g55IO6H4Gj(b,b)+op_count_rysDP5nf3Z(a,a)+op_count_g55IO6H4Gj(op_g55IO6H4Gj(b,b),op_rysDP5nf3Z(a,a))+op_count_W4YGzv6Whe(b,b)+op_count_2DDjHMKMc0(b,op_W4YGzv6Whe(b,b))+op_count_2DDjHMKMc0(op_g55IO6H4Gj(op_g55IO6H4Gj(b,b),op_rysDP5nf3Z(a,a)),op_2DDjHMKMc0(b,op_W4YGzv6Whe(b,b)))
    else:
        count = op_count_NTOWxs364D(b,a)+op_count_glklzrTFfD(op_NTOWxs364D(b,a))+op_count_eewbuw0ToL(op_glklzrTFfD(op_NTOWxs364D(b,a)),a)
    return count


a⇌⫙⪟b = { (⨞⊢(a⇼⇔∾(a⋳⪒a))) , if (⨞⊢b)<133 ; ((a⋳⪒(b⨰261))⇼⇔∾((⋗⩬⋾b)⊉≛↸(a⨵⪆75))) , else }

def op_AFVx7xoS7T(a, b):
    if op_xUOZtlo3hN(b) < 133:
        return op_xUOZtlo3hN(op_tifHPKVTfV(a,op_12rbrZMWeM(a,a)))
    else:
        return op_tifHPKVTfV(op_12rbrZMWeM(a,op_eewbuw0ToL(b,261)),op_DZ8iAZOCBD(op_DpFCA1CohY(b),op_2DQ55sFlQl(a,75)))

def op_count_AFVx7xoS7T(a, b):
    if op_xUOZtlo3hN(b) < 133:
        count = op_count_12rbrZMWeM(a,a)+op_count_tifHPKVTfV(a,op_12rbrZMWeM(a,a))+op_count_xUOZtlo3hN(op_tifHPKVTfV(a,op_12rbrZMWeM(a,a)))+op_count_xUOZtlo3hN(b)
    else:
        count = op_count_eewbuw0ToL(b,261)+op_count_12rbrZMWeM(a,op_eewbuw0ToL(b,261))+op_count_DpFCA1CohY(b)+op_count_2DQ55sFlQl(a,75)+op_count_DZ8iAZOCBD(op_DpFCA1CohY(b),op_2DQ55sFlQl(a,75))+op_count_tifHPKVTfV(op_12rbrZMWeM(a,op_eewbuw0ToL(b,261)),op_DZ8iAZOCBD(op_DpFCA1CohY(b),op_2DQ55sFlQl(a,75)))
    return count


def op_bjFbhXSADs(a):
    if op_COABgblf1C(a,876) >= 867:
        return op_JLbD19bQDL(377)
    else:
        return op_nCS4ZIUYfx(a,a)

def op_count_bjFbhXSADs(a):
    if op_COABgblf1C(a,876) >= 867:
        count = op_count_JLbD19bQDL(377)+op_count_COABgblf1C(a,876)
    else:
        count = op_count_nCS4ZIUYfx(a,a)
    return count


def op_WR6HLWljOP(a, b):
    if op_COABgblf1C(a,114) <= 535:
        return op_f6k1SAg4EE(op_i8ToyICDmI(a,a),op_eLAdDNolq6(a))
    else:
        return op_7j4O788W3g(op_12rbrZMWeM(a,749),op_g55IO6H4Gj(b,a))

def op_count_WR6HLWljOP(a, b):
    if op_COABgblf1C(a,114) <= 535:
        count = op_count_i8ToyICDmI(a,a)+op_count_eLAdDNolq6(a)+op_count_f6k1SAg4EE(op_i8ToyICDmI(a,a),op_eLAdDNolq6(a))+op_count_COABgblf1C(a,114)
    else:
        count = op_count_12rbrZMWeM(a,749)+op_count_g55IO6H4Gj(b,a)+op_count_7j4O788W3g(op_12rbrZMWeM(a,749),op_g55IO6H4Gj(b,a))
    return count


a+⪬∐b = { (a≦≮≮) , if b!=63 ; (b⨸⪁575) , else }

def op_2GS7woTJqF(a, b):
    if b != 63:
        return op_D4vGDi5EA2(a)
    else:
        return op_g55IO6H4Gj(b,575)

def op_count_2GS7woTJqF(a, b):
    if b != 63:
        count = op_count_D4vGDi5EA2(a)
    else:
        count = op_count_g55IO6H4Gj(b,575)
    return count


a⇔⨋ = { (((a⨁⊸⫻)⋳⪒a)⪒((a≦≮≮)⨁⊸⫻)) , if a<217 ; (((a≋⫹)⨳⩥⨓(a↺a))⋳⪒((a⨳⩥⨓a)⫡⨏(a⇼⇔∾a))) , else }

def op_uBihLCJcMX(a):
    if a < 217:
        return op_f6k1SAg4EE(op_12rbrZMWeM(op_glklzrTFfD(a),a),op_glklzrTFfD(op_D4vGDi5EA2(a)))
    else:
        return op_12rbrZMWeM(op_nCS4ZIUYfx(op_N41Kp7NANJ(a),op_7j4O788W3g(a,a)),op_QMFrweE19q(op_nCS4ZIUYfx(a,a),op_tifHPKVTfV(a,a)))

def op_count_uBihLCJcMX(a):
    if a < 217:
        count = op_count_glklzrTFfD(a)+op_count_12rbrZMWeM(op_glklzrTFfD(a),a)+op_count_D4vGDi5EA2(a)+op_count_glklzrTFfD(op_D4vGDi5EA2(a))+op_count_f6k1SAg4EE(op_12rbrZMWeM(op_glklzrTFfD(a),a),op_glklzrTFfD(op_D4vGDi5EA2(a)))
    else:
        count = op_count_N41Kp7NANJ(a)+op_count_7j4O788W3g(a,a)+op_count_nCS4ZIUYfx(op_N41Kp7NANJ(a),op_7j4O788W3g(a,a))+op_count_nCS4ZIUYfx(a,a)+op_count_tifHPKVTfV(a,a)+op_count_QMFrweE19q(op_nCS4ZIUYfx(a,a),op_tifHPKVTfV(a,a))+op_count_12rbrZMWeM(op_nCS4ZIUYfx(op_N41Kp7NANJ(a),op_7j4O788W3g(a,a)),op_QMFrweE19q(op_nCS4ZIUYfx(a,a),op_tifHPKVTfV(a,a)))
    return count


def op_3tVxb0NHM4(a, b):
    if a > 621:
        return op_2DQ55sFlQl(op_12rbrZMWeM(77,665),op_7j4O788W3g(662,b))
    else:
        return op_P8v4zCKN1o(op_7j4O788W3g(a,a))

def op_count_3tVxb0NHM4(a, b):
    if a > 621:
        count = op_count_12rbrZMWeM(77,665)+op_count_7j4O788W3g(662,b)+op_count_2DQ55sFlQl(op_12rbrZMWeM(77,665),op_7j4O788W3g(662,b))
    else:
        count = op_count_7j4O788W3g(a,a)+op_count_P8v4zCKN1o(op_7j4O788W3g(a,a))
    return count


↩⪖a = { (((a-a)⨵⪆(a⪐))⫡⨏(a⩤)) , if (a⇋≉)==322 ; (((≉487)⨳⩥⨓(⋗⩬⋾a))⨸⪁((a⊦⊿)≧⫂∧(a∲⫓a))) , else }

def op_fG6uBQFnGz(a):
    if op_XIabStNQrY(a) == 322:
        return op_QMFrweE19q(op_2DQ55sFlQl(op_rysDP5nf3Z(a,a),op_eH2TOUuTDT(a)),op_Z2TMIBDE3Q(a))
    else:
        return op_g55IO6H4Gj(op_nCS4ZIUYfx(op_e1ybzncUwg(487),op_DpFCA1CohY(a)),op_Ph9nP6C5qx(op_14qkJME0vr(a),op_i8ToyICDmI(a,a)))

def op_count_fG6uBQFnGz(a):
    if op_XIabStNQrY(a) == 322:
        count = op_count_rysDP5nf3Z(a,a)+op_count_eH2TOUuTDT(a)+op_count_2DQ55sFlQl(op_rysDP5nf3Z(a,a),op_eH2TOUuTDT(a))+op_count_Z2TMIBDE3Q(a)+op_count_QMFrweE19q(op_2DQ55sFlQl(op_rysDP5nf3Z(a,a),op_eH2TOUuTDT(a)),op_Z2TMIBDE3Q(a))+op_count_XIabStNQrY(a)
    else:
        count = op_count_e1ybzncUwg(487)+op_count_DpFCA1CohY(a)+op_count_nCS4ZIUYfx(op_e1ybzncUwg(487),op_DpFCA1CohY(a))+op_count_14qkJME0vr(a)+op_count_i8ToyICDmI(a,a)+op_count_Ph9nP6C5qx(op_14qkJME0vr(a),op_i8ToyICDmI(a,a))+op_count_g55IO6H4Gj(op_nCS4ZIUYfx(op_e1ybzncUwg(487),op_DpFCA1CohY(a)),op_Ph9nP6C5qx(op_14qkJME0vr(a),op_i8ToyICDmI(a,a)))
    return count


∑⇻≧a = { (⨞⊢a) , if (a⫌⩹⨱)<644 ; (426⋷a) , else }

def op_l1M9WJ3V7u(a):
    if op_EBcxylXtPf(a) < 644:
        return op_xUOZtlo3hN(a)
    else:
        return op_23Mk6UjR3U(426,a)

def op_count_l1M9WJ3V7u(a):
    if op_EBcxylXtPf(a) < 644:
        count = op_count_xUOZtlo3hN(a)+op_count_EBcxylXtPf(a)
    else:
        count = op_count_23Mk6UjR3U(426,a)
    return count


a⪍↜⋙b = { ((a-b)⊉≛↸(a⫡⨏b)) , if (a⫌⩹⨱)!=88 ; ((a⫡⨏b)⇼⇔∾(a⫌⩹⨱)) , else }

def op_L05ObWFQCd(a, b):
    if op_EBcxylXtPf(a) != 88:
        return op_DZ8iAZOCBD(op_rysDP5nf3Z(a,b),op_QMFrweE19q(a,b))
    else:
        return op_tifHPKVTfV(op_QMFrweE19q(a,b),op_EBcxylXtPf(a))

def op_count_L05ObWFQCd(a, b):
    if op_EBcxylXtPf(a) != 88:
        count = op_count_rysDP5nf3Z(a,b)+op_count_QMFrweE19q(a,b)+op_count_DZ8iAZOCBD(op_rysDP5nf3Z(a,b),op_QMFrweE19q(a,b))+op_count_EBcxylXtPf(a)
    else:
        count = op_count_QMFrweE19q(a,b)+op_count_EBcxylXtPf(a)+op_count_tifHPKVTfV(op_QMFrweE19q(a,b),op_EBcxylXtPf(a))
    return count


def op_x5lMkHmzsq(a):
    if a < 111:
        return op_Qy55tPpLXF(op_Z2TMIBDE3Q(a),op_nCS4ZIUYfx(a,a))
    else:
        return op_7j4O788W3g(op_9FxExcQeMw(a,285),op_eLAdDNolq6(597))

def op_count_x5lMkHmzsq(a):
    if a < 111:
        count = op_count_Z2TMIBDE3Q(a)+op_count_nCS4ZIUYfx(a,a)+op_count_Qy55tPpLXF(op_Z2TMIBDE3Q(a),op_nCS4ZIUYfx(a,a))
    else:
        count = op_count_9FxExcQeMw(a,285)+op_count_eLAdDNolq6(597)+op_count_7j4O788W3g(op_9FxExcQeMw(a,285),op_eLAdDNolq6(597))
    return count


≇⪴a = { ((a⪒a)↺(a⨸⪁a)) , if (a⊭↱741)>=792 ; ((a≧⫂∧a)⊦⊿) , else }

def op_zoVPnxeHJ3(a):
    if op_COABgblf1C(a,741) >= 792:
        return op_7j4O788W3g(op_f6k1SAg4EE(a,a),op_g55IO6H4Gj(a,a))
    else:
        return op_14qkJME0vr(op_Ph9nP6C5qx(a,a))

def op_count_zoVPnxeHJ3(a):
    if op_COABgblf1C(a,741) >= 792:
        count = op_count_f6k1SAg4EE(a,a)+op_count_g55IO6H4Gj(a,a)+op_count_7j4O788W3g(op_f6k1SAg4EE(a,a),op_g55IO6H4Gj(a,a))+op_count_COABgblf1C(a,741)
    else:
        count = op_count_Ph9nP6C5qx(a,a)+op_count_14qkJME0vr(op_Ph9nP6C5qx(a,a))
    return count


def op_9Isq31Ruls(a, b):
    if op_EBcxylXtPf(b) >= 130:
        return op_i8ToyICDmI(op_DpFCA1CohY(b),op_xUOZtlo3hN(op_NTOWxs364D(a,145)))
    else:
        return op_23Mk6UjR3U(op_t8gj7n24qd(a),op_2DDjHMKMc0(op_Ph9nP6C5qx(a,a),op_Qy55tPpLXF(50,196)))

def op_count_9Isq31Ruls(a, b):
    if op_EBcxylXtPf(b) >= 130:
        count = op_count_DpFCA1CohY(b)+op_count_NTOWxs364D(a,145)+op_count_xUOZtlo3hN(op_NTOWxs364D(a,145))+op_count_i8ToyICDmI(op_DpFCA1CohY(b),op_xUOZtlo3hN(op_NTOWxs364D(a,145)))+op_count_EBcxylXtPf(b)
    else:
        count = op_count_t8gj7n24qd(a)+op_count_Ph9nP6C5qx(a,a)+op_count_Qy55tPpLXF(50,196)+op_count_2DDjHMKMc0(op_Ph9nP6C5qx(a,a),op_Qy55tPpLXF(50,196))+op_count_23Mk6UjR3U(op_t8gj7n24qd(a),op_2DDjHMKMc0(op_Ph9nP6C5qx(a,a),op_Qy55tPpLXF(50,196)))
    return count


a⊵↤ = { (((a⪒a)+a)⇼⇔∾((a⫡⨏a)⩤)) , if (a!=425 and (≤/a)>523) ; (((a⫩⊇)⨰(a⋥≓≎a))⋥≓≎((a⩷∴a)⋝⋈⪟(a⩷∴a))) , else }

def op_7IPrd9c3lf(a):
    if (a != 425 and op_eLAdDNolq6(a) > 523):
        return op_tifHPKVTfV(op_W4YGzv6Whe(op_f6k1SAg4EE(a,a),a),op_Z2TMIBDE3Q(op_QMFrweE19q(a,a)))
    else:
        return op_Qy55tPpLXF(op_eewbuw0ToL(op_BjRHVeLaeN(a),op_Qy55tPpLXF(a,a)),op_2DDjHMKMc0(op_9FxExcQeMw(a,a),op_9FxExcQeMw(a,a)))

def op_count_7IPrd9c3lf(a):
    if (a != 425 and op_eLAdDNolq6(a) > 523):
        count = op_count_f6k1SAg4EE(a,a)+op_count_W4YGzv6Whe(op_f6k1SAg4EE(a,a),a)+op_count_QMFrweE19q(a,a)+op_count_Z2TMIBDE3Q(op_QMFrweE19q(a,a))+op_count_tifHPKVTfV(op_W4YGzv6Whe(op_f6k1SAg4EE(a,a),a),op_Z2TMIBDE3Q(op_QMFrweE19q(a,a)))+op_count_eLAdDNolq6(a)
    else:
        count = op_count_BjRHVeLaeN(a)+op_count_Qy55tPpLXF(a,a)+op_count_eewbuw0ToL(op_BjRHVeLaeN(a),op_Qy55tPpLXF(a,a))+op_count_9FxExcQeMw(a,a)+op_count_9FxExcQeMw(a,a)+op_count_2DDjHMKMc0(op_9FxExcQeMw(a,a),op_9FxExcQeMw(a,a))+op_count_Qy55tPpLXF(op_eewbuw0ToL(op_BjRHVeLaeN(a),op_Qy55tPpLXF(a,a)),op_2DDjHMKMc0(op_9FxExcQeMw(a,a),op_9FxExcQeMw(a,a)))
    return count


def op_PxpmPgHHJV(a):
    if a >= 68 and op_Z2TMIBDE3Q(a) >= 87:
        return op_23Mk6UjR3U(a,507)
    else:
        return op_glklzrTFfD(a)

def op_count_PxpmPgHHJV(a):
    if a >= 68 and op_Z2TMIBDE3Q(a) >= 87:
        count = op_count_23Mk6UjR3U(a,507)+op_count_Z2TMIBDE3Q(a)
    else:
        count = op_count_glklzrTFfD(a)
    return count


⋂a = { a , if (⪲⇎a)==26 ; ((a⩚⊴⇥a)⫡⨏(a⊭↱102)) , else }

def op_BUOGQAYlQx(a):
    if op_XPYlsWDdGa(a) == 26:
        return a
    else:
        return op_QMFrweE19q(op_NTOWxs364D(a,a),op_COABgblf1C(a,102))

def op_count_BUOGQAYlQx(a):
    if op_XPYlsWDdGa(a) == 26:
        count = 1
    else:
        count = op_count_NTOWxs364D(a,a)+op_count_COABgblf1C(a,102)+op_count_QMFrweE19q(op_NTOWxs364D(a,a),op_COABgblf1C(a,102))
    return count


≛a = { (((a+a)⊉≛↸(a⪠⩆⊳))⊭↱((a⪒a)⩚⊴⇥(a⋝⋈⪟a))) , if (a⫩⊇)>7 or a==273 ; (((a-a)⪒(a⪨≂a))⊉≛↸((a⨰a)⋝⋈⪟(a+a))) , else }

def op_W7eaUhjymW(a):
    if op_BjRHVeLaeN(a) > 7 or a == 273:
        return op_COABgblf1C(op_DZ8iAZOCBD(op_W4YGzv6Whe(a,a),op_JLbD19bQDL(a)),op_NTOWxs364D(op_f6k1SAg4EE(a,a),op_2DDjHMKMc0(a,a)))
    else:
        return op_DZ8iAZOCBD(op_f6k1SAg4EE(op_rysDP5nf3Z(a,a),op_sdazOOVcIp(a,a)),op_2DDjHMKMc0(op_eewbuw0ToL(a,a),op_W4YGzv6Whe(a,a)))

def op_count_W7eaUhjymW(a):
    if op_BjRHVeLaeN(a) > 7 or a == 273:
        count = op_count_W4YGzv6Whe(a,a)+op_count_JLbD19bQDL(a)+op_count_DZ8iAZOCBD(op_W4YGzv6Whe(a,a),op_JLbD19bQDL(a))+op_count_f6k1SAg4EE(a,a)+op_count_2DDjHMKMc0(a,a)+op_count_NTOWxs364D(op_f6k1SAg4EE(a,a),op_2DDjHMKMc0(a,a))+op_count_COABgblf1C(op_DZ8iAZOCBD(op_W4YGzv6Whe(a,a),op_JLbD19bQDL(a)),op_NTOWxs364D(op_f6k1SAg4EE(a,a),op_2DDjHMKMc0(a,a)))+op_count_BjRHVeLaeN(a)
    else:
        count = op_count_rysDP5nf3Z(a,a)+op_count_sdazOOVcIp(a,a)+op_count_f6k1SAg4EE(op_rysDP5nf3Z(a,a),op_sdazOOVcIp(a,a))+op_count_eewbuw0ToL(a,a)+op_count_W4YGzv6Whe(a,a)+op_count_2DDjHMKMc0(op_eewbuw0ToL(a,a),op_W4YGzv6Whe(a,a))+op_count_DZ8iAZOCBD(op_f6k1SAg4EE(op_rysDP5nf3Z(a,a),op_sdazOOVcIp(a,a)),op_2DDjHMKMc0(op_eewbuw0ToL(a,a),op_W4YGzv6Whe(a,a)))
    return count


def op_27wFxooxGf(a):
    if op_eLAdDNolq6(a) == 126 and a < 49:
        return a
    else:
        return op_Ph9nP6C5qx(op_g55IO6H4Gj(559,a),op_9FxExcQeMw(349,a))

def op_count_27wFxooxGf(a):
    if op_eLAdDNolq6(a) == 126 and a < 49:
        count = 1
    else:
        count = op_count_g55IO6H4Gj(559,a)+op_count_9FxExcQeMw(349,a)+op_count_Ph9nP6C5qx(op_g55IO6H4Gj(559,a),op_9FxExcQeMw(349,a))
    return count


def op_Z5m6OM72h2(a, b):
    if b <= 483:
        return op_rysDP5nf3Z(380,a)
    else:
        return op_eH2TOUuTDT(a)

def op_count_Z5m6OM72h2(a, b):
    if b <= 483:
        count = op_count_rysDP5nf3Z(380,a)
    else:
        count = op_count_eH2TOUuTDT(a)
    return count


def op_DE7zCoGJt9(a):
    if op_g55IO6H4Gj(a,373) != 224:
        return op_u6S6b8DprG(op_eewbuw0ToL(197,op_g55IO6H4Gj(a,a)))
    else:
        return op_g55IO6H4Gj(op_Ph9nP6C5qx(op_23Mk6UjR3U(591,a),op_W4YGzv6Whe(a,a)),op_D4vGDi5EA2(op_BjRHVeLaeN(a)))

def op_count_DE7zCoGJt9(a):
    if op_g55IO6H4Gj(a,373) != 224:
        count = op_count_g55IO6H4Gj(a,a)+op_count_eewbuw0ToL(197,op_g55IO6H4Gj(a,a))+op_count_u6S6b8DprG(op_eewbuw0ToL(197,op_g55IO6H4Gj(a,a)))+op_count_g55IO6H4Gj(a,373)
    else:
        count = op_count_23Mk6UjR3U(591,a)+op_count_W4YGzv6Whe(a,a)+op_count_Ph9nP6C5qx(op_23Mk6UjR3U(591,a),op_W4YGzv6Whe(a,a))+op_count_BjRHVeLaeN(a)+op_count_D4vGDi5EA2(op_BjRHVeLaeN(a))+op_count_g55IO6H4Gj(op_Ph9nP6C5qx(op_23Mk6UjR3U(591,a),op_W4YGzv6Whe(a,a)),op_D4vGDi5EA2(op_BjRHVeLaeN(a)))
    return count


def op_WmT3o8z6ya(a):
    if op_8w2t5hMYqp(a) != 44:
        return op_W4YGzv6Whe(op_QMFrweE19q(a,a),op_N41Kp7NANJ(a))
    else:
        return op_DpFCA1CohY(op_W4YGzv6Whe(394,a))

def op_count_WmT3o8z6ya(a):
    if op_8w2t5hMYqp(a) != 44:
        count = op_count_QMFrweE19q(a,a)+op_count_N41Kp7NANJ(a)+op_count_W4YGzv6Whe(op_QMFrweE19q(a,a),op_N41Kp7NANJ(a))+op_count_8w2t5hMYqp(a)
    else:
        count = op_count_W4YGzv6Whe(394,a)+op_count_DpFCA1CohY(op_W4YGzv6Whe(394,a))
    return count


def op_AdZkA7nFnk(a, b):
    if op_g55IO6H4Gj(b,793) > 81:
        return op_eLAdDNolq6(506)
    else:
        return op_NTOWxs364D(a,452)

def op_count_AdZkA7nFnk(a, b):
    if op_g55IO6H4Gj(b,793) > 81:
        count = op_count_eLAdDNolq6(506)+op_count_g55IO6H4Gj(b,793)
    else:
        count = op_count_NTOWxs364D(a,452)
    return count


a⪔⊥b = { (⩦⩻⨪(≤/(315⇼⇔∾a))) , if b<175 ; ((⊄⩳↩(b-b))⇼⇔∾((b⪨≂a)⊭↱(a↺b))) , else }

def op_HJ9erzHUuu(a, b):
    if b < 175:
        return op_2td37pGCOC(op_eLAdDNolq6(op_tifHPKVTfV(315,a)))
    else:
        return op_tifHPKVTfV(op_8w2t5hMYqp(op_rysDP5nf3Z(b,b)),op_COABgblf1C(op_sdazOOVcIp(b,a),op_7j4O788W3g(a,b)))

def op_count_HJ9erzHUuu(a, b):
    if b < 175:
        count = op_count_tifHPKVTfV(315,a)+op_count_eLAdDNolq6(op_tifHPKVTfV(315,a))+op_count_2td37pGCOC(op_eLAdDNolq6(op_tifHPKVTfV(315,a)))
    else:
        count = op_count_rysDP5nf3Z(b,b)+op_count_8w2t5hMYqp(op_rysDP5nf3Z(b,b))+op_count_sdazOOVcIp(b,a)+op_count_7j4O788W3g(a,b)+op_count_COABgblf1C(op_sdazOOVcIp(b,a),op_7j4O788W3g(a,b))+op_count_tifHPKVTfV(op_8w2t5hMYqp(op_rysDP5nf3Z(b,b)),op_COABgblf1C(op_sdazOOVcIp(b,a),op_7j4O788W3g(a,b)))
    return count


def op_vRio1gEz1j(a):
    return op_W4YGzv6Whe(a,93)

def op_count_vRio1gEz1j(a):
    count = op_count_W4YGzv6Whe(a,93)
    return count


def op_HrjLwUk87U(a, b):
    return op_DZ8iAZOCBD(op_2DDjHMKMc0(op_NTOWxs364D(317,a),op_rysDP5nf3Z(518,95)),op_9FxExcQeMw(op_eH2TOUuTDT(97),op_tifHPKVTfV(b,a)))

def op_count_HrjLwUk87U(a, b):
    count = op_count_NTOWxs364D(317,a)+op_count_rysDP5nf3Z(518,95)+op_count_2DDjHMKMc0(op_NTOWxs364D(317,a),op_rysDP5nf3Z(518,95))+op_count_eH2TOUuTDT(97)+op_count_tifHPKVTfV(b,a)+op_count_9FxExcQeMw(op_eH2TOUuTDT(97),op_tifHPKVTfV(b,a))+op_count_DZ8iAZOCBD(op_2DDjHMKMc0(op_NTOWxs364D(317,a),op_rysDP5nf3Z(518,95)),op_9FxExcQeMw(op_eH2TOUuTDT(97),op_tifHPKVTfV(b,a)))
    return count


def op_Ikt5ks8PT7(a, b):
    if a == 228:
        return op_eewbuw0ToL(a,b)
    else:
        return op_t8gj7n24qd(b)

def op_count_Ikt5ks8PT7(a, b):
    if a == 228:
        count = op_count_eewbuw0ToL(a,b)
    else:
        count = op_count_t8gj7n24qd(b)
    return count


def op_SdCjLnB6rR(a):
    return op_g55IO6H4Gj(op_xUOZtlo3hN(87),op_Ph9nP6C5qx(op_2td37pGCOC(a),a))

def op_count_SdCjLnB6rR(a):
    count = op_count_xUOZtlo3hN(87)+op_count_2td37pGCOC(a)+op_count_Ph9nP6C5qx(op_2td37pGCOC(a),a)+op_count_g55IO6H4Gj(op_xUOZtlo3hN(87),op_Ph9nP6C5qx(op_2td37pGCOC(a),a))
    return count


def op_umQnsF7QlU(a, b):
    return op_2td37pGCOC(op_P8v4zCKN1o(op_Qy55tPpLXF(b,a)))

def op_count_umQnsF7QlU(a, b):
    count = op_count_Qy55tPpLXF(b,a)+op_count_P8v4zCKN1o(op_Qy55tPpLXF(b,a))+op_count_2td37pGCOC(op_P8v4zCKN1o(op_Qy55tPpLXF(b,a)))
    return count


def op_IqGBaFP0uj(a):
    return op_f6k1SAg4EE(op_nCS4ZIUYfx(op_sdazOOVcIp(a,a),op_2td37pGCOC(230)),op_2DDjHMKMc0(a,op_QMFrweE19q(542,384)))

def op_count_IqGBaFP0uj(a):
    count = op_count_sdazOOVcIp(a,a)+op_count_2td37pGCOC(230)+op_count_nCS4ZIUYfx(op_sdazOOVcIp(a,a),op_2td37pGCOC(230))+op_count_QMFrweE19q(542,384)+op_count_2DDjHMKMc0(a,op_QMFrweE19q(542,384))+op_count_f6k1SAg4EE(op_nCS4ZIUYfx(op_sdazOOVcIp(a,a),op_2td37pGCOC(230)),op_2DDjHMKMc0(a,op_QMFrweE19q(542,384)))
    return count


def op_apS25hmuAe(a):
    return op_EBcxylXtPf(op_QMFrweE19q(471,a))

def op_count_apS25hmuAe(a):
    count = op_count_QMFrweE19q(471,a)+op_count_EBcxylXtPf(op_QMFrweE19q(471,a))
    return count


def op_SpZWOsLKZJ(a):
    return op_sdazOOVcIp(op_Ph9nP6C5qx(op_P8v4zCKN1o(a),op_e1ybzncUwg(a)),op_N41Kp7NANJ(op_rysDP5nf3Z(177,a)))

def op_count_SpZWOsLKZJ(a):
    count = op_count_P8v4zCKN1o(a)+op_count_e1ybzncUwg(a)+op_count_Ph9nP6C5qx(op_P8v4zCKN1o(a),op_e1ybzncUwg(a))+op_count_rysDP5nf3Z(177,a)+op_count_N41Kp7NANJ(op_rysDP5nf3Z(177,a))+op_count_sdazOOVcIp(op_Ph9nP6C5qx(op_P8v4zCKN1o(a),op_e1ybzncUwg(a)),op_N41Kp7NANJ(op_rysDP5nf3Z(177,a)))
    return count


def op_FyVja0WsTP(a, b):
    if b < 551:
        return op_eH2TOUuTDT(op_EBcxylXtPf(a))
    else:
        return op_23Mk6UjR3U(op_Qy55tPpLXF(135,a),op_W4YGzv6Whe(166,a))

def op_count_FyVja0WsTP(a, b):
    if b < 551:
        count = op_count_EBcxylXtPf(a)+op_count_eH2TOUuTDT(op_EBcxylXtPf(a))
    else:
        count = op_count_Qy55tPpLXF(135,a)+op_count_W4YGzv6Whe(166,a)+op_count_23Mk6UjR3U(op_Qy55tPpLXF(135,a),op_W4YGzv6Whe(166,a))
    return count


def op_nFAOW8KTqp(a):
    return op_D4vGDi5EA2(op_t8gj7n24qd(op_2DDjHMKMc0(a,a)))

def op_count_nFAOW8KTqp(a):
    count = op_count_2DDjHMKMc0(a,a)+op_count_t8gj7n24qd(op_2DDjHMKMc0(a,a))+op_count_D4vGDi5EA2(op_t8gj7n24qd(op_2DDjHMKMc0(a,a)))
    return count


def op_6iOiAJX1F8(a):
    if (op_23Mk6UjR3U(a,517) == 285 and op_f6k1SAg4EE(a,780) <= 108):
        return op_P8v4zCKN1o(a)
    else:
        return op_g55IO6H4Gj(op_7j4O788W3g(a,a),op_g55IO6H4Gj(a,a))

def op_count_6iOiAJX1F8(a):
    if (op_23Mk6UjR3U(a,517) == 285 and op_f6k1SAg4EE(a,780) <= 108):
        count = op_count_P8v4zCKN1o(a)+op_count_23Mk6UjR3U(a,517)+op_count_f6k1SAg4EE(a,780)
    else:
        count = op_count_7j4O788W3g(a,a)+op_count_g55IO6H4Gj(a,a)+op_count_g55IO6H4Gj(op_7j4O788W3g(a,a),op_g55IO6H4Gj(a,a))
    return count


a↹⊜b = { (((a⊠≄⫣)⩷∴(b-a))⩷∴((a⋷b)⇼⇔∾(b⪐))) }

def op_9bazX3JMtO(a, b):
    return op_9FxExcQeMw(op_9FxExcQeMw(op_DIvbN7qnHd(a),op_rysDP5nf3Z(b,a)),op_tifHPKVTfV(op_23Mk6UjR3U(a,b),op_eH2TOUuTDT(b)))

def op_count_9bazX3JMtO(a, b):
    count = op_count_DIvbN7qnHd(a)+op_count_rysDP5nf3Z(b,a)+op_count_9FxExcQeMw(op_DIvbN7qnHd(a),op_rysDP5nf3Z(b,a))+op_count_23Mk6UjR3U(a,b)+op_count_eH2TOUuTDT(b)+op_count_tifHPKVTfV(op_23Mk6UjR3U(a,b),op_eH2TOUuTDT(b))+op_count_9FxExcQeMw(op_9FxExcQeMw(op_DIvbN7qnHd(a),op_rysDP5nf3Z(b,a)),op_tifHPKVTfV(op_23Mk6UjR3U(a,b),op_eH2TOUuTDT(b)))
    return count


def op_B3sABdIn96(a):
    return op_9FxExcQeMw(op_QMFrweE19q(402,a),op_e1ybzncUwg(a))

def op_count_B3sABdIn96(a):
    count = op_count_QMFrweE19q(402,a)+op_count_e1ybzncUwg(a)+op_count_9FxExcQeMw(op_QMFrweE19q(402,a),op_e1ybzncUwg(a))
    return count


def op_C6VvDP6HwP(a):
    if op_eewbuw0ToL(a,851) >= 379:
        return op_tifHPKVTfV(op_NTOWxs364D(op_QMFrweE19q(a,a),op_sdazOOVcIp(477,185)),op_2td37pGCOC(op_i8ToyICDmI(a,a)))
    else:
        return op_eewbuw0ToL(op_Z2TMIBDE3Q(op_9FxExcQeMw(a,a)),a)

def op_count_C6VvDP6HwP(a):
    if op_eewbuw0ToL(a,851) >= 379:
        count = op_count_QMFrweE19q(a,a)+op_count_sdazOOVcIp(477,185)+op_count_NTOWxs364D(op_QMFrweE19q(a,a),op_sdazOOVcIp(477,185))+op_count_i8ToyICDmI(a,a)+op_count_2td37pGCOC(op_i8ToyICDmI(a,a))+op_count_tifHPKVTfV(op_NTOWxs364D(op_QMFrweE19q(a,a),op_sdazOOVcIp(477,185)),op_2td37pGCOC(op_i8ToyICDmI(a,a)))+op_count_eewbuw0ToL(a,851)
    else:
        count = op_count_9FxExcQeMw(a,a)+op_count_Z2TMIBDE3Q(op_9FxExcQeMw(a,a))+op_count_eewbuw0ToL(op_Z2TMIBDE3Q(op_9FxExcQeMw(a,a)),a)
    return count


def op_ZcwmYACASQ(a):
    return op_23Mk6UjR3U(op_Qy55tPpLXF(a,a),op_2DDjHMKMc0(a,337))

def op_count_ZcwmYACASQ(a):
    count = op_count_Qy55tPpLXF(a,a)+op_count_2DDjHMKMc0(a,337)+op_count_23Mk6UjR3U(op_Qy55tPpLXF(a,a),op_2DDjHMKMc0(a,337))
    return count


def op_2ufhKmSs5H(a):
    if a >= 326 and a != 597:
        return op_N41Kp7NANJ(17)
    else:
        return op_COABgblf1C(op_EBcxylXtPf(op_f6k1SAg4EE(a,a)),op_DpFCA1CohY(op_sdazOOVcIp(756,a)))

def op_count_2ufhKmSs5H(a):
    if a >= 326 and a != 597:
        count = op_count_N41Kp7NANJ(17)
    else:
        count = op_count_f6k1SAg4EE(a,a)+op_count_EBcxylXtPf(op_f6k1SAg4EE(a,a))+op_count_sdazOOVcIp(756,a)+op_count_DpFCA1CohY(op_sdazOOVcIp(756,a))+op_count_COABgblf1C(op_EBcxylXtPf(op_f6k1SAg4EE(a,a)),op_DpFCA1CohY(op_sdazOOVcIp(756,a)))
    return count


a∇⊂⋱b = { (b⪒b) , if a<143 ; ((⨑⩽⪐a)⋷(∥⊫(a⨳⩥⨓a))) , else }

def op_nhYeJWJD5X(a, b):
    if a < 143:
        return op_f6k1SAg4EE(b,b)
    else:
        return op_23Mk6UjR3U(op_AF7qkfDlqP(a),op_P8v4zCKN1o(op_nCS4ZIUYfx(a,a)))

def op_count_nhYeJWJD5X(a, b):
    if a < 143:
        count = op_count_f6k1SAg4EE(b,b)
    else:
        count = op_count_AF7qkfDlqP(a)+op_count_nCS4ZIUYfx(a,a)+op_count_P8v4zCKN1o(op_nCS4ZIUYfx(a,a))+op_count_23Mk6UjR3U(op_AF7qkfDlqP(a),op_P8v4zCKN1o(op_nCS4ZIUYfx(a,a)))
    return count


def op_g7Hmc5v1ko(a, b):
    if op_QMFrweE19q(b,102) > 364 and op_t8gj7n24qd(b) == 524:
        return op_i8ToyICDmI(op_xUOZtlo3hN(op_2DQ55sFlQl(b,b)),op_sdazOOVcIp(op_sdazOOVcIp(a,b),op_9FxExcQeMw(b,919)))
    else:
        return op_tifHPKVTfV(b,op_NTOWxs364D(op_W4YGzv6Whe(a,a),op_t8gj7n24qd(a)))

def op_count_g7Hmc5v1ko(a, b):
    if op_QMFrweE19q(b,102) > 364 and op_t8gj7n24qd(b) == 524:
        count = op_count_2DQ55sFlQl(b,b)+op_count_xUOZtlo3hN(op_2DQ55sFlQl(b,b))+op_count_sdazOOVcIp(a,b)+op_count_9FxExcQeMw(b,919)+op_count_sdazOOVcIp(op_sdazOOVcIp(a,b),op_9FxExcQeMw(b,919))+op_count_i8ToyICDmI(op_xUOZtlo3hN(op_2DQ55sFlQl(b,b)),op_sdazOOVcIp(op_sdazOOVcIp(a,b),op_9FxExcQeMw(b,919)))+op_count_QMFrweE19q(b,102)+op_count_t8gj7n24qd(b)
    else:
        count = op_count_W4YGzv6Whe(a,a)+op_count_t8gj7n24qd(a)+op_count_NTOWxs364D(op_W4YGzv6Whe(a,a),op_t8gj7n24qd(a))+op_count_tifHPKVTfV(b,op_NTOWxs364D(op_W4YGzv6Whe(a,a),op_t8gj7n24qd(a)))
    return count


a⪨⊡b = { (⨑⩽⪐(b⨁⊸⫻)) , if (⨑⩽⪐b)>42 ; ((a⨰b)⪠⩆⊳) , else }

def op_kuIXHzHcAH(a, b):
    if op_AF7qkfDlqP(b) > 42:
        return op_AF7qkfDlqP(op_glklzrTFfD(b))
    else:
        return op_JLbD19bQDL(op_eewbuw0ToL(a,b))

def op_count_kuIXHzHcAH(a, b):
    if op_AF7qkfDlqP(b) > 42:
        count = op_count_glklzrTFfD(b)+op_count_AF7qkfDlqP(op_glklzrTFfD(b))+op_count_AF7qkfDlqP(b)
    else:
        count = op_count_eewbuw0ToL(a,b)+op_count_JLbD19bQDL(op_eewbuw0ToL(a,b))
    return count


def op_KPf6cnQVty(a, b):
    return op_2DQ55sFlQl(op_glklzrTFfD(op_sdazOOVcIp(b,b)),op_BjRHVeLaeN(a))

def op_count_KPf6cnQVty(a, b):
    count = op_count_sdazOOVcIp(b,b)+op_count_glklzrTFfD(op_sdazOOVcIp(b,b))+op_count_BjRHVeLaeN(a)+op_count_2DQ55sFlQl(op_glklzrTFfD(op_sdazOOVcIp(b,b)),op_BjRHVeLaeN(a))
    return count

BjRHVeLaeN glklzrTFfD sdazOOVcIp 2DQ55sFlQl


a⊹≧⊝ = { (((∥⊫a)⊭↱(a⩚⊴⇥a))⊉≛↸(⪲⇎(⪲⇎a))) , if a!=566 ; (-((a∲⫓a)⨸⪁(a⨰a))) , else }

def op_LxFB4K6j0n(a):
    if a != 566:
        return op_DZ8iAZOCBD(op_COABgblf1C(op_P8v4zCKN1o(a),op_NTOWxs364D(a,a)),op_XPYlsWDdGa(op_XPYlsWDdGa(a)))
    else:
        return op_t8gj7n24qd(op_g55IO6H4Gj(op_i8ToyICDmI(a,a),op_eewbuw0ToL(a,a)))

def op_count_LxFB4K6j0n(a):
    if a != 566:
        count = op_count_P8v4zCKN1o(a)+op_count_NTOWxs364D(a,a)+op_count_COABgblf1C(op_P8v4zCKN1o(a),op_NTOWxs364D(a,a))+op_count_XPYlsWDdGa(a)+op_count_XPYlsWDdGa(op_XPYlsWDdGa(a))+op_count_DZ8iAZOCBD(op_COABgblf1C(op_P8v4zCKN1o(a),op_NTOWxs364D(a,a)),op_XPYlsWDdGa(op_XPYlsWDdGa(a)))
    else:
        count = op_count_i8ToyICDmI(a,a)+op_count_eewbuw0ToL(a,a)+op_count_g55IO6H4Gj(op_i8ToyICDmI(a,a),op_eewbuw0ToL(a,a))+op_count_t8gj7n24qd(op_g55IO6H4Gj(op_i8ToyICDmI(a,a),op_eewbuw0ToL(a,a)))
    return count


def op_YbVcJGFEVW(a, b):
    if (op_glklzrTFfD(b) >= 162 or op_JLbD19bQDL(b) <= 569):
        return op_glklzrTFfD(op_23Mk6UjR3U(op_Qy55tPpLXF(13,b),op_tifHPKVTfV(a,b)))
    else:
        return op_7j4O788W3g(op_t8gj7n24qd(op_23Mk6UjR3U(17,a)),op_COABgblf1C(op_9FxExcQeMw(a,a),op_i8ToyICDmI(b,a)))

def op_count_YbVcJGFEVW(a, b):
    if (op_glklzrTFfD(b) >= 162 or op_JLbD19bQDL(b) <= 569):
        count = op_count_Qy55tPpLXF(13,b)+op_count_tifHPKVTfV(a,b)+op_count_23Mk6UjR3U(op_Qy55tPpLXF(13,b),op_tifHPKVTfV(a,b))+op_count_glklzrTFfD(op_23Mk6UjR3U(op_Qy55tPpLXF(13,b),op_tifHPKVTfV(a,b)))+op_count_glklzrTFfD(b)+op_count_JLbD19bQDL(b)
    else:
        count = op_count_23Mk6UjR3U(17,a)+op_count_t8gj7n24qd(op_23Mk6UjR3U(17,a))+op_count_9FxExcQeMw(a,a)+op_count_i8ToyICDmI(b,a)+op_count_COABgblf1C(op_9FxExcQeMw(a,a),op_i8ToyICDmI(b,a))+op_count_7j4O788W3g(op_t8gj7n24qd(op_23Mk6UjR3U(17,a)),op_COABgblf1C(op_9FxExcQeMw(a,a),op_i8ToyICDmI(b,a)))
    return count


def op_FonBHBYJbU(a):
    return op_g55IO6H4Gj(op_eewbuw0ToL(op_e1ybzncUwg(88),op_AF7qkfDlqP(a)),op_tifHPKVTfV(op_W4YGzv6Whe(a,95),op_23Mk6UjR3U(a,a)))

def op_count_FonBHBYJbU(a):
    count = op_count_e1ybzncUwg(88)+op_count_AF7qkfDlqP(a)+op_count_eewbuw0ToL(op_e1ybzncUwg(88),op_AF7qkfDlqP(a))+op_count_W4YGzv6Whe(a,95)+op_count_23Mk6UjR3U(a,a)+op_count_tifHPKVTfV(op_W4YGzv6Whe(a,95),op_23Mk6UjR3U(a,a))+op_count_g55IO6H4Gj(op_eewbuw0ToL(op_e1ybzncUwg(88),op_AF7qkfDlqP(a)),op_tifHPKVTfV(op_W4YGzv6Whe(a,95),op_23Mk6UjR3U(a,a)))
    return count


def op_8n5YIzOsVS(a):
    return op_QMFrweE19q(op_9FxExcQeMw(op_g55IO6H4Gj(a,a),op_2td37pGCOC(a)),a)

def op_count_8n5YIzOsVS(a):
    count = op_count_g55IO6H4Gj(a,a)+op_count_2td37pGCOC(a)+op_count_9FxExcQeMw(op_g55IO6H4Gj(a,a),op_2td37pGCOC(a))+op_count_QMFrweE19q(op_9FxExcQeMw(op_g55IO6H4Gj(a,a),op_2td37pGCOC(a)),a)
    return count


a⫲ = { ((272⩚⊴⇥36)⊉≛↸(⨑⩽⪐a)) , if (⊄⩳↩a)<13 ; ((a⩚⊴⇥a)⋝⋈⪟(533⋥≓≎a)) , else }

def op_9xnGDUPbC6(a):
    if op_8w2t5hMYqp(a) < 13:
        return op_DZ8iAZOCBD(op_NTOWxs364D(272,36),op_AF7qkfDlqP(a))
    else:
        return op_2DDjHMKMc0(op_NTOWxs364D(a,a),op_Qy55tPpLXF(533,a))

def op_count_9xnGDUPbC6(a):
    if op_8w2t5hMYqp(a) < 13:
        count = op_count_NTOWxs364D(272,36)+op_count_AF7qkfDlqP(a)+op_count_DZ8iAZOCBD(op_NTOWxs364D(272,36),op_AF7qkfDlqP(a))+op_count_8w2t5hMYqp(a)
    else:
        count = op_count_NTOWxs364D(a,a)+op_count_Qy55tPpLXF(533,a)+op_count_2DDjHMKMc0(op_NTOWxs364D(a,a),op_Qy55tPpLXF(533,a))
    return count


def op_2MzE1hQ0cz(a):
    return op_Qy55tPpLXF(a,44)

def op_count_2MzE1hQ0cz(a):
    count = op_count_Qy55tPpLXF(a,44)
    return count


a⪒⊣⊆b = { (b⪨≂a) , if a<=17 ; (a+a) , else }

def op_eRqsBgTDFp(a, b):
    if a <= 17:
        return op_sdazOOVcIp(b,a)
    else:
        return op_W4YGzv6Whe(a,a)

def op_count_eRqsBgTDFp(a, b):
    if a <= 17:
        count = op_count_sdazOOVcIp(b,a)
    else:
        count = op_count_W4YGzv6Whe(a,a)
    return count


def op_u7fv1HBiaC(a):
    if a >= 405:
        return op_AF7qkfDlqP(a)
    else:
        return op_Qy55tPpLXF(op_eLAdDNolq6(395),op_7j4O788W3g(a,a))

def op_count_u7fv1HBiaC(a):
    if a >= 405:
        count = op_count_AF7qkfDlqP(a)
    else:
        count = op_count_eLAdDNolq6(395)+op_count_7j4O788W3g(a,a)+op_count_Qy55tPpLXF(op_eLAdDNolq6(395),op_7j4O788W3g(a,a))
    return count


a⫸⇳b = { (((494⋳⪒b)⇼⇔∾(⋗⩬⋾a))↺((b⊦⊿)⨸⪁(b⨵⪆b))) , if a==116 ; (-((a⨰a)⊠≄⫣)) , else }

def op_gx7XJ7hdpj(a, b):
    if a == 116:
        return op_7j4O788W3g(op_tifHPKVTfV(op_12rbrZMWeM(494,b),op_DpFCA1CohY(a)),op_g55IO6H4Gj(op_14qkJME0vr(b),op_2DQ55sFlQl(b,b)))
    else:
        return op_t8gj7n24qd(op_DIvbN7qnHd(op_eewbuw0ToL(a,a)))

def op_count_gx7XJ7hdpj(a, b):
    if a == 116:
        count = op_count_12rbrZMWeM(494,b)+op_count_DpFCA1CohY(a)+op_count_tifHPKVTfV(op_12rbrZMWeM(494,b),op_DpFCA1CohY(a))+op_count_14qkJME0vr(b)+op_count_2DQ55sFlQl(b,b)+op_count_g55IO6H4Gj(op_14qkJME0vr(b),op_2DQ55sFlQl(b,b))+op_count_7j4O788W3g(op_tifHPKVTfV(op_12rbrZMWeM(494,b),op_DpFCA1CohY(a)),op_g55IO6H4Gj(op_14qkJME0vr(b),op_2DQ55sFlQl(b,b)))
    else:
        count = op_count_eewbuw0ToL(a,a)+op_count_DIvbN7qnHd(op_eewbuw0ToL(a,a))+op_count_t8gj7n24qd(op_DIvbN7qnHd(op_eewbuw0ToL(a,a)))
    return count


def op_AYdpE9sXAk(a):
    return op_eewbuw0ToL(a,op_EBcxylXtPf(op_NTOWxs364D(85,a)))

def op_count_AYdpE9sXAk(a):
    count = op_count_NTOWxs364D(85,a)+op_count_EBcxylXtPf(op_NTOWxs364D(85,a))+op_count_eewbuw0ToL(a,op_EBcxylXtPf(op_NTOWxs364D(85,a)))
    return count


def op_6MpZysEj17(a):
    return op_9FxExcQeMw(op_DIvbN7qnHd(a),op_7j4O788W3g(a,a))

def op_count_6MpZysEj17(a):
    count = op_count_DIvbN7qnHd(a)+op_count_7j4O788W3g(a,a)+op_count_9FxExcQeMw(op_DIvbN7qnHd(a),op_7j4O788W3g(a,a))
    return count


a⨔⇊b = { (((a⊦⊿)⩷∴(b⊉≛↸b))⋥≓≎(b⪒(51∲⫓b))) , if (b≋⫹)>106 ; b , else }

def op_JclMnS0uGI(a, b):
    if op_N41Kp7NANJ(b) > 106:
        return op_Qy55tPpLXF(op_9FxExcQeMw(op_14qkJME0vr(a),op_DZ8iAZOCBD(b,b)),op_f6k1SAg4EE(b,op_i8ToyICDmI(51,b)))
    else:
        return b

def op_count_JclMnS0uGI(a, b):
    if op_N41Kp7NANJ(b) > 106:
        count = op_count_14qkJME0vr(a)+op_count_DZ8iAZOCBD(b,b)+op_count_9FxExcQeMw(op_14qkJME0vr(a),op_DZ8iAZOCBD(b,b))+op_count_i8ToyICDmI(51,b)+op_count_f6k1SAg4EE(b,op_i8ToyICDmI(51,b))+op_count_Qy55tPpLXF(op_9FxExcQeMw(op_14qkJME0vr(a),op_DZ8iAZOCBD(b,b)),op_f6k1SAg4EE(b,op_i8ToyICDmI(51,b)))+op_count_N41Kp7NANJ(b)
    else:
        count = 1
    return count


a⨜⨶b = { (((107⋳⪒a)⨳⩥⨓(b⋳⪒a))⫩⊇) , if (b>512 or (b⊦⊿)==395) ; (((b⨳⩥⨓b)⇼⇔∾(a⨸⪁b))⫡⨏((b∲⫓b)≋⫹)) , else }

def op_HiPekx5b7W(a, b):
    if (b > 512 or op_14qkJME0vr(b) == 395):
        return op_BjRHVeLaeN(op_nCS4ZIUYfx(op_12rbrZMWeM(107,a),op_12rbrZMWeM(b,a)))
    else:
        return op_QMFrweE19q(op_tifHPKVTfV(op_nCS4ZIUYfx(b,b),op_g55IO6H4Gj(a,b)),op_N41Kp7NANJ(op_i8ToyICDmI(b,b)))

def op_count_HiPekx5b7W(a, b):
    if (b > 512 or op_14qkJME0vr(b) == 395):
        count = op_count_12rbrZMWeM(107,a)+op_count_12rbrZMWeM(b,a)+op_count_nCS4ZIUYfx(op_12rbrZMWeM(107,a),op_12rbrZMWeM(b,a))+op_count_BjRHVeLaeN(op_nCS4ZIUYfx(op_12rbrZMWeM(107,a),op_12rbrZMWeM(b,a)))+op_count_14qkJME0vr(b)
    else:
        count = op_count_nCS4ZIUYfx(b,b)+op_count_g55IO6H4Gj(a,b)+op_count_tifHPKVTfV(op_nCS4ZIUYfx(b,b),op_g55IO6H4Gj(a,b))+op_count_i8ToyICDmI(b,b)+op_count_N41Kp7NANJ(op_i8ToyICDmI(b,b))+op_count_QMFrweE19q(op_tifHPKVTfV(op_nCS4ZIUYfx(b,b),op_g55IO6H4Gj(a,b)),op_N41Kp7NANJ(op_i8ToyICDmI(b,b)))
    return count


⫟a = { (((-a)⪨≂(a⨸⪁a))≧⫂∧((a⩷∴a)⨰(a⫡⨏a))) , if (a⫌⩹⨱)>=11 ; (((a+263)⋝⋈⪟(a⨳⩥⨓a))⪒((a⋥≓≎a)⫩⊇)) , else }

def op_z4E1FaHLuy(a):
    if op_EBcxylXtPf(a) >= 11:
        return op_Ph9nP6C5qx(op_sdazOOVcIp(op_t8gj7n24qd(a),op_g55IO6H4Gj(a,a)),op_eewbuw0ToL(op_9FxExcQeMw(a,a),op_QMFrweE19q(a,a)))
    else:
        return op_f6k1SAg4EE(op_2DDjHMKMc0(op_W4YGzv6Whe(a,263),op_nCS4ZIUYfx(a,a)),op_BjRHVeLaeN(op_Qy55tPpLXF(a,a)))

def op_count_z4E1FaHLuy(a):
    if op_EBcxylXtPf(a) >= 11:
        count = op_count_t8gj7n24qd(a)+op_count_g55IO6H4Gj(a,a)+op_count_sdazOOVcIp(op_t8gj7n24qd(a),op_g55IO6H4Gj(a,a))+op_count_9FxExcQeMw(a,a)+op_count_QMFrweE19q(a,a)+op_count_eewbuw0ToL(op_9FxExcQeMw(a,a),op_QMFrweE19q(a,a))+op_count_Ph9nP6C5qx(op_sdazOOVcIp(op_t8gj7n24qd(a),op_g55IO6H4Gj(a,a)),op_eewbuw0ToL(op_9FxExcQeMw(a,a),op_QMFrweE19q(a,a)))+op_count_EBcxylXtPf(a)
    else:
        count = op_count_W4YGzv6Whe(a,263)+op_count_nCS4ZIUYfx(a,a)+op_count_2DDjHMKMc0(op_W4YGzv6Whe(a,263),op_nCS4ZIUYfx(a,a))+op_count_Qy55tPpLXF(a,a)+op_count_BjRHVeLaeN(op_Qy55tPpLXF(a,a))+op_count_f6k1SAg4EE(op_2DDjHMKMc0(op_W4YGzv6Whe(a,263),op_nCS4ZIUYfx(a,a)),op_BjRHVeLaeN(op_Qy55tPpLXF(a,a)))
    return count


def op_nlCqmYiOvY(a):
    return op_sdazOOVcIp(op_XIabStNQrY(a),op_W4YGzv6Whe(a,216))

def op_count_nlCqmYiOvY(a):
    count = op_count_XIabStNQrY(a)+op_count_W4YGzv6Whe(a,216)+op_count_sdazOOVcIp(op_XIabStNQrY(a),op_W4YGzv6Whe(a,216))
    return count


def op_5twsqlHp2o(a, b):
    if op_D4vGDi5EA2(a) == 364:
        return op_2DQ55sFlQl(op_DZ8iAZOCBD(op_BjRHVeLaeN(225),op_P8v4zCKN1o(a)),op_DZ8iAZOCBD(25,op_Qy55tPpLXF(b,47)))
    else:
        return op_7j4O788W3g(op_sdazOOVcIp(op_14qkJME0vr(b),op_2td37pGCOC(b)),op_sdazOOVcIp(op_xUOZtlo3hN(a),op_t8gj7n24qd(1)))

def op_count_5twsqlHp2o(a, b):
    if op_D4vGDi5EA2(a) == 364:
        count = op_count_BjRHVeLaeN(225)+op_count_P8v4zCKN1o(a)+op_count_DZ8iAZOCBD(op_BjRHVeLaeN(225),op_P8v4zCKN1o(a))+op_count_Qy55tPpLXF(b,47)+op_count_DZ8iAZOCBD(25,op_Qy55tPpLXF(b,47))+op_count_2DQ55sFlQl(op_DZ8iAZOCBD(op_BjRHVeLaeN(225),op_P8v4zCKN1o(a)),op_DZ8iAZOCBD(25,op_Qy55tPpLXF(b,47)))+op_count_D4vGDi5EA2(a)
    else:
        count = op_count_14qkJME0vr(b)+op_count_2td37pGCOC(b)+op_count_sdazOOVcIp(op_14qkJME0vr(b),op_2td37pGCOC(b))+op_count_xUOZtlo3hN(a)+op_count_t8gj7n24qd(1)+op_count_sdazOOVcIp(op_xUOZtlo3hN(a),op_t8gj7n24qd(1))+op_count_7j4O788W3g(op_sdazOOVcIp(op_14qkJME0vr(b),op_2td37pGCOC(b)),op_sdazOOVcIp(op_xUOZtlo3hN(a),op_t8gj7n24qd(1)))
    return count


def op_rFxw8gIMmB(a):
    return op_f6k1SAg4EE(op_Qy55tPpLXF(a,303),op_Qy55tPpLXF(a,537))

def op_count_rFxw8gIMmB(a):
    count = op_count_Qy55tPpLXF(a,303)+op_count_Qy55tPpLXF(a,537)+op_count_f6k1SAg4EE(op_Qy55tPpLXF(a,303),op_Qy55tPpLXF(a,537))
    return count


def op_BX1lVwlMe0(a):
    return op_xUOZtlo3hN(op_2DDjHMKMc0(a,a))

def op_count_BX1lVwlMe0(a):
    count = op_count_2DDjHMKMc0(a,a)+op_count_xUOZtlo3hN(op_2DDjHMKMc0(a,a))
    return count


def op_kbkesczE7y(a, b):
    return op_7j4O788W3g(op_i8ToyICDmI(op_t8gj7n24qd(a),op_XIabStNQrY(b)),op_P8v4zCKN1o(op_rysDP5nf3Z(b,b)))

def op_count_kbkesczE7y(a, b):
    count = op_count_t8gj7n24qd(a)+op_count_XIabStNQrY(b)+op_count_i8ToyICDmI(op_t8gj7n24qd(a),op_XIabStNQrY(b))+op_count_rysDP5nf3Z(b,b)+op_count_P8v4zCKN1o(op_rysDP5nf3Z(b,b))+op_count_7j4O788W3g(op_i8ToyICDmI(op_t8gj7n24qd(a),op_XIabStNQrY(b)),op_P8v4zCKN1o(op_rysDP5nf3Z(b,b)))
    return count


def op_aSik1wnThz(a):
    return op_Z2TMIBDE3Q(op_Ph9nP6C5qx(759,op_rysDP5nf3Z(236,a)))

def op_count_aSik1wnThz(a):
    count = op_count_rysDP5nf3Z(236,a)+op_count_Ph9nP6C5qx(759,op_rysDP5nf3Z(236,a))+op_count_Z2TMIBDE3Q(op_Ph9nP6C5qx(759,op_rysDP5nf3Z(236,a)))
    return count


def op_pRsWfj4Fpp(a):
    return op_DZ8iAZOCBD(op_D4vGDi5EA2(a),op_2DDjHMKMc0(a,a))

def op_count_pRsWfj4Fpp(a):
    count = op_count_D4vGDi5EA2(a)+op_count_2DDjHMKMc0(a,a)+op_count_DZ8iAZOCBD(op_D4vGDi5EA2(a),op_2DDjHMKMc0(a,a))
    return count