#include <inttypes.h>

void sequence(uint64_t *);

void sequence(uint64_t *s)
{
	uint64_t old = 1, new = 1;

	for (int i = 0; i < 7; i++) {
		old *= new;
		s[i] = new = old + 1;
	}
}