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

int w, h;
uint32_t *p;

int err_scanf(void) {
	if (ferror(stdin))
		perror(NULL);
	else
		fprintf(stderr, "expected an PAM on stdin with DEPTH 4 MAXVAL 255 TUPLTYPE RGB_ALPHA");
	return 1;
}

int err_fread(void) {
	if (ferror(stdin))
		perror(NULL);
	else if (feof(stdin))
		fprintf(stderr, "input is too short\n");
	else
		fprintf(stderr, "unexpected error from fread\n");
	return 1;
}

int err_too_long(void) {
	fprintf(stderr, "input is too long\n");
	return 1;
}

int count[0x1000000];

void count_pixel_values(void) {
	uint32_t *i = p;
	
	for (int y=0; y<h; ++y) {
		for (int x=0; x<w; ++x) {
			uint32_t v = *i & 0xFFFFFF;
			count[v]++;
			++i;
		}
	}
}

struct rv_check {
	int unique;
	int all;
};

struct rv_check check(void) {
	uint32_t *end = p + 0x1000000;
	int unique = 1;
	int all = 1;
	for (uint32_t *i = p; i!=end; ++i) {
		int c = *i;
		unique = unique & (c < 2);
		all = all & (c != 0);
	}
	return (struct rv_check){ unique, all };
}

int main()
{
	int n, count;
	long len;
	n = scanf("P7 WIDTH %d HEIGHT %d DEPTH 4 MAXVAL 255 TUPLTYPE RGB_ALPHA ENDHDR", &w, &h);
	if (n != 2 || getchar() != '\n')
		return err_scanf();
	fprintf(stderr, "width %d height %d\n", w, h);
	len = 4 * w * h;
	p = malloc(len);
	if (!p) {
		perror(NULL);
	}
	count = fread(p, len, 1, stdin);
	if (count != 1)
		return err_fread();
	if (getchar() != EOF)
		return err_too_long();

	count_pixel_values();

	struct rv_check r = check();
	if (!r.unique)
		fprintf(stderr, "not ");
	fprintf(stderr, "unique\n");
	if (!r.all)
		fprintf(stderr, "not ");
	fprintf(stderr, "all\n");
	if (!(r.unique && r.all))
		return 1;
	return 0;
}