void printit() {
  int i;
  printf(buf,"%d ",perm);
  for(i = 0; i < talks; i++)
    printf("%d ",res_a[i]);
  printf("\n");
}