def count(r)
	r2 = r*r ; ptsx = [] ; ptsy = []
	(0..r-1).each { |x| x2 = x*x
	    (0..r-1).each { |y| y2 = y*y
		if x2+y2 < r2
			ptsx << x ; ptsy << y
			if x != 0
				ptsx << -x ; ptsy << y
			end
			if y != 0
				ptsx << x ; ptsy << -y
				if x != 0
					ptsx << -x ; ptsy << -y
				end
			end
		end
	} }

	puts <<EOS
#include <stdio.h>

static const int ptslen=#{ptsx.length};
static const int ptsx[]={#{ptsx.join(', ')}};
static const int ptsy[]={#{ptsy.join(', ')}};
int main(void) {
	int i, j, k, xi, yi, xj, yj, xk, yk, tmp;
	unsigned long long cnt=0;

	for (i=0 ; i<ptslen ; i++) {
fprintf(stderr, "%d/%d    \\r", i, ptslen);
	 xi = ptsx[i]; yi = ptsy[i];
	 for (j=i+1 ; j<ptslen ; j++) {
	  xj = ptsx[j]; yj = ptsy[j];
	  tmp = xi*yj-yi*xj;
	  if (tmp > 0)
	   for (k=j ; k<ptslen ; k++) {
	    xk = ptsx[k]; yk = ptsy[k];
	    if (xj*yk>yj*xk && xk*yi>yk*xi)
		cnt++;
	   }
	  else if (tmp < 0)
	   for (k=j ; k<ptslen ; k++) {
	    xk = ptsx[k]; yk = ptsy[k];
	    if (xj*yk<yj*xk && xk*yi<yk*xi)
		cnt++;
	   }
	 }
	}
	printf("total: %lld\\n", cnt);
	return 0;
}
EOS
end

count(ARGV.shift.to_i)