static char rcsid[] = "$Id: driver.c,v 1.3 2003/08/29 16:51:07 ecen2120 Exp $";

#include <stdio.h>
#include <time.h>
#include "ran.h"
#include "gcd.h"

int
main()
{ int i;
  int Count[9];
  time_t start, finish;
  
  for (i = 0; i < 9; i++) Count[i] = 0;

  start = time(0);
  for (i = 0; i < 3000; i++) {
    int x, y, d;

    do x = ran(); while (x == 0);
    do y = ran(); while (y == 0);
    d = gcd(x, y);
    if (d < 10) Count[d - 1]++;
  }
  (void)printf("Elapsed time = %lf\n", difftime(time(0), start));

  for (i = 0; i < 9; i++)
    (void)printf("Count[%d] = %d\n", i + 1, Count[i]);

  return 0;
}