#include <iostream>
#include <cstdio>
using namespace std;

int main() {
  for(int i = 1; ;i++) {
    printf("%d:\n", i);
    system("./generator > in");
    system("./cf_423_cetvrti < in > out1");
    system("./brut < in > out2");
    if(system("diff -b out1 out2")) break;
  }
  return 0;
}