#include <stdio.h>
static short a[4096];
int main(){for(int j=0; j<4096; ++j) a[j] = j;
  double t = 0; for(int n = 0; n<409600; ++n)
    {float s = 0; for(int j=0; j<4096; ++j) s += a[j]; t += s;}
  printf("%e\n", t);
  return 0;}