>>564
あ、見落としてた!
それを数えると条件は
左上頂点 (Lz,Rz), 右上頂点 (Lr,Rr), 左下頂点 (Lz,Rb), 右下頂点 (Lb,Rr) に対して
0≦Lz≦n, 0≦Rz<Rb≦n, 0≦Lr<Lb≦n, 0≦Rr≦n, Lr−Rr<Lz−Rz, Lb−Rr<Lz−Rb
Hz=Lz+Rz=Lr+Rr<Hb=Lz+Rb=Lb+Rr≦n
だから
2≦Hz≦n−1, Hz+1≦Hb≦n, Hb≦2Hz−1, Lz≦Hz, 0≦Lr≦Hz+Lz−Hb−1
これを和で書くと
3Σ[Hz=2,n−1]Σ[Hb=Hz+1,min(n,2Hz−1)]Σ[Lz=Hb−Hz+1,Hz]Σ[Lr=0,Hz+Lz−Hb−1]
=3Σ[Hz=2,n−1]Σ[Hb=Hz+1,min(n,2Hz−1)]Σ[Lz=Hb−Hz+1,Hz] (Hz+Lz−Hb)
  n=3 なら
3Σ[Hz=2,2]Σ[Hb=Hz+1,min(3,2Hz−1)]Σ[Lz=Hb−Hz+1,Hz] (Hz+Lz−Hb)=3