#include <stdio.h>
#include <stdlib.h>

int main(int argc, char *argv[])
{
  int i, j, k, n = atoi(argv[1]), t = 0;

  for (i = 0; i < n; i++)
    for (j = 0; j < i; j++)
      for (k = 0; k < j; k++)
	t++;
  printf("%d: %d\n", n, t);

  return 0;
}