第3题有大佬AC么？是不是可以用容斥来做啊？
a,b,c=list(map(int,input().strip().split(' ')))
res=0
mod=10**9+7
for i in range(1,a+1):
mi,ma=max(1,i-c+1), min(i,b)
res+=(mi+ma)*(ma-mi+1)//2
res%=mod
for i in range(1,b+1):
mi,ma=max(1,i-c+1), min(i,a)
res+=(mi+ma)*(ma-mi+1)//2
res%=mod
for i in range(1,c+1):
mi,ma=max(1,i-a+1), min(i,b)
res+=(mi+ma)*(ma-mi+1)//2
res%=mod
for i in range(1,1+min(a,b)):
res-=min(2*i-1,c)
res%=mod
for i in range(1,1+min(a,c)):
res-=min(2*i-1,b)
res%=mod
for i in range(1,1+min(b,c)):
res-=min(2*i-1,a)
res%=mod
res+=min([a,b,c])
res%=mod
print(res)
