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

char *serial = "\x31\x3e\x3d\x26\x31";

int check(char *ptr)
{
  int i = 0;

  while (i < 5){
    if (((ptr[i] - 1) ^ 0x55) != serial[i])
      return 1;
    i++;
  }
  return 0;
}

int main(int ac, char **av)
{
  int ret;

  if (ac != 2)
    return -1;

  ret = check(av[1]);
  if (ret == 0)
    printf("Win\n");
  else
    printf("fail\n");

  return 0;
}
