#include <stdio.h>
void aho(int *a)
{
int x1, x2, x3, x4, x5, x6, x7;
for (x1 = 0; x1 < 5; x1++)
for (x2 = 0; x2 < 5; x2++)
for (x3 = 0; x3 < 5; x3++)
for (x4 = 0; x4 < 5; x4++)
for (x5 = 0; x5 < 5; x5++)
for (x6 = 0; x6 < 5; x6++)
for (x7 = 0; x7 < 5; x7++)
a[(x1+x2+x3+x4+x5+x6+x7) % 7] += 1;
}
int main(int ac, char **av)
{
int a[7] = {0}, i;
aho(a);
for (i = 0; i < 7; i++)
printf("%d: %d\n", i, a[i]);
return 0;
}