#include<civlc.cvh>

$input int n;

void main() {
  int i,j, k;
  
  k = 0;
  for (i=0, j=1; i<=n; i++,j++) {
    k += i*j;
  }
  $assert((k == n*(n+1)*(n+2)/3));
}