tokiomarine2020 F（匹克定理）

F Triangles
匹克定理：
若多边形顶点坐标都为整点，令其面积为$S$，其内部整点数为$ne$，其边界上的整点数为$wa$，则有$S=ne+wa/2-1$
设三个点为$(a,0),(0,b),(w,c)$，其中$c>=b$，对与$c<b$由对称性可得。对于选其它不同边上的点可转换为同样的情况。

根据匹克定理，有$2\ast ne=2\ast S-wa+2<=2\ast k$
其中$2\ast S=a\ast (c-b)+b\ast w$（根据多边形面积公式可得）。
$wa=(w-a,c)+(a,b)+(c-b,w)$。$(a,b)$表示$gcd(a,b)$。

枚举$a$和$c-b$。
则有：
$a\ast (c-b)+w\ast b-(w-a,c)-(a,b)-(c-b,w)+2<=2\ast k$
==>$w\ast b-(w-a,c)-(a,b)<=2\ast k-a\ast (c-b)+(c-b,w)-2$

令右式为$R$，左式为$L$，由于$(w-a,c)+(a,b)<=w$，
故$w\ast (b-1)<=L<=w\ast b$。
当$b<=R/w$，有$L<=b\ast w<=R$，不等式恒成立。
当$b>R/w+1$，有$L>=(b-1)\ast w>R$，不等式恒不成立。
当$R/w<b<=R/w+1$，将所有值代入不等式判断即可。

又$R>=w\ast (b-1)且b>=1$，故$R>=0$
则有$2\ast k-a\ast (c-b)+(c-b,w)-2>=0$，需要枚举的$a$和$c-b$的对数为$Mlog(M)$对$(M=1e5)$。

总时间复杂度为$Mlog(M)log(M)$。

#include<bits/stdc++.h>
using namespace std;
const int N=1e5+5;
typedef long long ll;
int h,w,k;
ll solve(int w,int h)
{
    ll ans=0;
    for(int a=1;a<w;a++)
        for(int c_b=0;c_b<h;c_b++)
    {
        int R=2*k-a*c_b+__gcd(c_b,w)-2;
        if(R<0) break;
        int low=min(h-1-c_b,R/w);
        ans+=c_b==0?low:low*2;
        low++;
        if(low+c_b<h&&w*low-__gcd(w-a,low+c_b)-__gcd(a,low)<=R)
            ans+=c_b==0?1:2;
    }
    return ans*2;
}
int main()
{
    scanf("%d%d%d",&w,&h,&k);
    printf("%lld\n",solve(w,h)+solve(h,w));
}