z^2 - 1 = x^2 + y^2 and x <= y <= z and x+y+z<=n and x>0 and n >= 100