#include <stdio.h>

int main (void)
{
  int k, K;
  int i, m, n, mm;
  int h, w, d, W;
  int r[10001];

  FILE *in = fopen ("civil.in", "r");
  fscanf (in, "%d\n", &K);
  for (k = 1; k <= K; k ++)
    {
      fscanf (in, "%d %d\n", &m, &n);
      for (i = 1; i <= m; i ++)
	fscanf (in, "%d\n", &r[i]);
      W = 0.0;
      for (i = 0; i < n; i ++)
	{
	  fscanf (in, "%d %d %d %d\n", &h, &w, &d, &mm);
	  W += h*w*d*r[mm];
	}
      printf ("Data Set %d:\n", k);
      printf ("%.2d\n", W);
    }
  fclose (in);
  return 0;
}