首先发现gcd是单调递减的,那么这就是无解的。同时,我们发现如果前面的gcd为a[i-1]无论前面怎么变那么b[i]都是没有影响的。所以gcd(a[i-1],b[i])=a[i]。所以将是式子左右同除gcd(a[i-1]/a[i],b[i]/a[i])=1那么我们就需要求出在m/a[i]内与a[i-1]/a[i]互质的数的个数,直接容斥即可。