#include
int main()
{
long int a;
for (a = 1001; a <= 3000; a += 2)
{
printf("%ld:", a);
printf("(%ld*%ld - 1) / 8", a, a);
printf(" = %ld", (a*a - 1) / 8);
printf(" + %ld\n", (a*a - 1) % 8);
}
return 0;
}