#!/usr/local/bin/gawk -f

BEGIN {
  for (i = 0; i < 100; i++) {
    for (j = 0; j < 6; j++)
      input[j] = int(rand() * 2);
    for (j = 0; j < 3; j++) {
      printf("I: (task) %d %d %d (input) %d %d %d %d %d %d\n",
	     (j == 0) ? 1 : 0, (j == 1) ? 1 : 0, (j == 2) ? 1 : 0,
	     input[0], input[1], input[2], input[3], input[4], input[5]);
      printf("T: %d %d;\n", input[j * 2], input[j * 2 + 1]);
    }
  }
}