12738-가장_긴_증가하는_부분수열3.py

import sys
input = sys.stdin.readline

A = int(input().rstrip())
arr = list(map(int, input().split()))

def Binary_search(target):
    low = 0
    high = A-1

    while low < high:
        mid = (low + high) // 2

        if mid == target: