考虑大力容斥。
全集是： $ C_{nm}^3 $
需要减去三点共线的情况。
那么以原点为一个端点，$ n^2 $ 枚举另外一个端点(x,y)，得到一条线段，每条线段上有gcd(x,y)个点，那么这条的贡献就是gcd(x,y)-1（去除(x,y)）可以平移得到另外（n-x）*(m-y)条线段。
容斥出解。
考虑大力容斥。
全集是： $ C_{nm}^3 $
需要减去三点共线的情况。
那么以原点为一个端点，$ n^2 $ 枚举另外一个端点(x,y)，得到一条线段，每条线段上有gcd(x,y)个点，那么这条的贡献就是gcd(x,y)-1（去除(x,y)）可以平移得到另外（n-x）*(m-y)条线段。
容斥出解。