#include <stdio.h>
#include <stdlib.h>


int main(int argc, char **argv)
{
  int i;
  int n;

  if(argc == 1)
    n = 10;
  else
    n = atoi(argv[1]);

  printf("SELECT to_tsquery('simple', '");

  for(i=0;i < n; i++)
  {
	  printf("%d|(", i + 1);
  }
  printf("end");

  for(i=0;i < n; i++)
  {
	  printf(")");
  }
  printf("')\n");
}