Why did you checked for *t2 > *t1 at line 35? Won't *t2 always be greater than *t1?

n, nx, ny = map(int, raw_input().split())
s = []
e = []
for i in range(n):
    s1, e1 = map(int, raw_input().split())
    s.append(s1)
    e.append(e1)
x = map(int, raw_input().split())
y = map(int, raw_input().split())
x.sort()
y.sort()
 
def binary_search(arr, x):
    l = 0
    r = len(arr) - 1
    while (l <= r):
        mid = (l + r) / 2
        if arr[mid] == x:
            return mid
        if x > arr[mid]:
            l = mid + 1
        elif x < arr[mid]:
            r = mid - 1
    return r