算法题 表达整数的奇怪方式（Python）

题目

给定 2n 个整数a1,a2,…,an和m1,m2,…,mn求一个最小的非负整数 x，满足∀i∈[1,n],x≡mi(mod ai)

输入格式

第1 行包含整数 n。

第 2..n+1行：每 i+1 行包含两个整数ai和mi,数之间用空格隔开。

输出格式

输出最小非负整数 x，如果 x 不存在，则输出 −1。
如果存在 x，则数据保证 x 一定在64位整数范围内。

数据范围

1≤ai≤2^31
0≤mi<ai0
1≤n≤25

输入样例：

2
8 7
11 9

输出样例：

代码 

n = int(input())

x, y = 1, 0
def exgcd(a, b):
    global x, y
    if b == 0:
        x, y = 1, 0
        return a
    d = exgcd(b, a%b)
    x, y = y, x
    y -= (a//b)*x
    return d

a1, m1 = map(int, input().split())

flag = True
for _ in range(n-1):
    a2, m2 = map(int, input().split())
    
    d = exgcd(a1, a2)
    if (m2 - m1) % d != 0: 
        flag = False
        print(-1)
        break
    k1 = (x * ((m2- m1)//d)) % (a2 // d)
    m1 = a1 * k1 + m1
    a1 = abs(a1*a2//d)

if flag: print(m1%a1)