// Generated random file with w 4 and h 3 and bs 1
#include <assert.h>

int qrrswwv ;
int zjwdcwa ;
int vuiiwzs ;
int emntcyx ;
int oesehyb ;

void test_main()
{
	vuiiwzs = vuiiwzs + emntcyx;
	if ((vuiiwzs < 0 + 30)) {
	} else {
	}
	if ((zjwdcwa < zjwdcwa - 72 + 29 - 15)) {
		if ((zjwdcwa > 0 - zjwdcwa - emntcyx + 4) || (qrrswwv > zjwdcwa - oesehyb + zjwdcwa - oesehyb + oesehyb)) {
		} else {
			zjwdcwa = zjwdcwa + oesehyb + zjwdcwa + 65;
		}
		if ((vuiiwzs < 38 + emntcyx - vuiiwzs - qrrswwv - zjwdcwa) && (qrrswwv < 30 + oesehyb + 95 + vuiiwzs - emntcyx)) {
		} else {
		}
	} else {
		zjwdcwa = zjwdcwa + 75 + qrrswwv + oesehyb + 64;
	}
	if ((vuiiwzs < zjwdcwa - 37)) {
	} else {
		vuiiwzs = vuiiwzs + vuiiwzs + 90 + emntcyx + 93;
		if ((zjwdcwa > oesehyb + qrrswwv)) {
			vuiiwzs = vuiiwzs + oesehyb;
		} else {
			qrrswwv = qrrswwv + zjwdcwa + 37;
		}
	}
	while ((emntcyx < emntcyx + 45 + 100) && (vuiiwzs > emntcyx - 4 - 23 + 44)) {
		zjwdcwa = 55 - vuiiwzs + vuiiwzs + oesehyb - emntcyx;
		while ((qrrswwv > vuiiwzs + zjwdcwa + oesehyb + 73)) {
		}
	}
	if ((vuiiwzs > 32 + 19)) {
		if ((zjwdcwa > emntcyx + vuiiwzs)) {
			vuiiwzs = vuiiwzs + qrrswwv;
		} else {
		}
		while ((zjwdcwa < 17 + 32 + 22 + 16 + 91 + 100)) {
		}
	} else {
		while ((qrrswwv < 41 + 23 + 100)) {
			emntcyx = 75 + 98;
		}
		while ((qrrswwv < 88 + emntcyx + 95 + 100)) {
		}
	}
	assert ((qrrswwv > oesehyb + zjwdcwa - emntcyx - emntcyx - 8) && (qrrswwv > 52 + emntcyx - zjwdcwa - 25 - 12));
	assert ((vuiiwzs > 17 - zjwdcwa + 14) && (emntcyx > vuiiwzs - 94 + 27 - emntcyx));
	assert ((emntcyx > emntcyx - 79 + 97));
}