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

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

void test_main()
{
	if ((qrrswwv > 95 + vuiiwzs + zjwdcwa + qrrswwv - emntcyx) || (zjwdcwa < oesehyb + 96)) {
		zjwdcwa = zjwdcwa + zjwdcwa;
	} else {
	}
	emntcyx = emntcyx + 37 + qrrswwv + 3 + emntcyx;
	while ((qrrswwv < 7 + oesehyb + emntcyx + 87 + 100) && (qrrswwv > qrrswwv - 60 - 28)) {
		vuiiwzs = 49 + 71 + 76;
		qrrswwv = emntcyx + 87;
	}
	if ((emntcyx > zjwdcwa - 9 - vuiiwzs) || (zjwdcwa > oesehyb - oesehyb)) {
		emntcyx = emntcyx + 27;
		vuiiwzs = vuiiwzs + oesehyb + zjwdcwa;
	} else {
		vuiiwzs = vuiiwzs + 85 + emntcyx;
		qrrswwv = qrrswwv + 65 + vuiiwzs;
	}
	while ((emntcyx < 57 + 28 + 100)) {
		vuiiwzs = emntcyx + emntcyx;
	}
	if ((emntcyx > qrrswwv + emntcyx - oesehyb - 22) && (qrrswwv < 63 - qrrswwv - 63 + 95 + 46)) {
		emntcyx = emntcyx + qrrswwv + oesehyb + qrrswwv + vuiiwzs;
	} else {
		emntcyx = emntcyx + vuiiwzs + 53;
		emntcyx = emntcyx + qrrswwv;
	}
	if ((vuiiwzs < 10 + qrrswwv - 88 + vuiiwzs) || (qrrswwv < 22 + 78 + 93 + 56 - zjwdcwa)) {
		vuiiwzs = vuiiwzs + 30 + 81;
	} else {
	}
	while ((zjwdcwa < 67 + 99 + qrrswwv + qrrswwv + 24 + 100) && (zjwdcwa < 48 - 12 + qrrswwv - qrrswwv)) {
	}
	if ((vuiiwzs > 59 + 58 - 87 + 71 - oesehyb)) {
	} else {
		vuiiwzs = vuiiwzs + 34;
		vuiiwzs = vuiiwzs + 21 + 36 + 98 + 47;
	}
	vuiiwzs = vuiiwzs + zjwdcwa + 32;
	vuiiwzs = vuiiwzs + oesehyb + oesehyb + 20 + 90;
	if ((vuiiwzs > 3 - zjwdcwa - oesehyb - 10) && (zjwdcwa < 0 + zjwdcwa + 45 - 73)) {
		qrrswwv = qrrswwv + emntcyx;
	} else {
		emntcyx = emntcyx + qrrswwv + oesehyb + zjwdcwa;
	}
	while ((qrrswwv < 5 + 1 + emntcyx + zjwdcwa + 67 + 100)) {
	}
	qrrswwv = qrrswwv + 43 + 62 + 80 + 74;
	zjwdcwa = zjwdcwa + vuiiwzs + zjwdcwa;
	while ((zjwdcwa < emntcyx + emntcyx + 100) && (vuiiwzs > qrrswwv + 39 - oesehyb)) {
		vuiiwzs = oesehyb + 65 + emntcyx;
	}
	if ((qrrswwv > 73 + 38 - oesehyb + 32) && (vuiiwzs > zjwdcwa + 85 - 52 - emntcyx)) {
		vuiiwzs = vuiiwzs + 13 + qrrswwv + 32 + zjwdcwa;
	} else {
		emntcyx = emntcyx + zjwdcwa + 97 + qrrswwv;
		qrrswwv = qrrswwv + zjwdcwa;
	}
	if ((qrrswwv > zjwdcwa - 41 - 92 + 77) || (qrrswwv > 33 - 7 - vuiiwzs - 99 - 12)) {
		vuiiwzs = vuiiwzs + 40 + 96 + zjwdcwa;
		vuiiwzs = vuiiwzs + qrrswwv + 32 + qrrswwv + 85;
		emntcyx = emntcyx + 63 + 47 + emntcyx + zjwdcwa;
	} else {
	}
	qrrswwv = qrrswwv + 9 + zjwdcwa;
	if ((emntcyx > 91 - oesehyb + 62 - 30 + 94)) {
		zjwdcwa = zjwdcwa + vuiiwzs + 79 + 80 + vuiiwzs;
		zjwdcwa = zjwdcwa + 83 + 32;
	} else {
		emntcyx = emntcyx + qrrswwv;
		vuiiwzs = vuiiwzs + 63 + 65;
	}
	qrrswwv = qrrswwv + 77 + 47 + vuiiwzs;
	qrrswwv = qrrswwv + 72;
	qrrswwv = qrrswwv + vuiiwzs + zjwdcwa;
	while ((zjwdcwa < 40 + 44 + 100)) {
	}
	while ((zjwdcwa < 91 + 12 + 53 + 100) || (emntcyx > zjwdcwa - 53 - 97)) {
		emntcyx = 5 + qrrswwv - oesehyb;
	}
	vuiiwzs = vuiiwzs + vuiiwzs + 68 + 52 + 83;
	zjwdcwa = zjwdcwa + 5 + emntcyx;
	if ((emntcyx < qrrswwv + qrrswwv + 28 - 58) && (emntcyx < qrrswwv + zjwdcwa)) {
	} else {
	}
	if ((qrrswwv < 42 - zjwdcwa + 88 - 47) || (vuiiwzs < zjwdcwa + 19)) {
	} else {
		emntcyx = emntcyx + oesehyb + zjwdcwa + emntcyx;
		zjwdcwa = zjwdcwa + qrrswwv + emntcyx + qrrswwv + 27;
	}
	if ((zjwdcwa < 47 - zjwdcwa - 91 + qrrswwv - emntcyx) && (vuiiwzs > qrrswwv - emntcyx)) {
		vuiiwzs = vuiiwzs + oesehyb + vuiiwzs + emntcyx + emntcyx;
	} else {
	}
	zjwdcwa = zjwdcwa + oesehyb + oesehyb + 84 + 0;
	if ((zjwdcwa < emntcyx + 10) || (zjwdcwa > 20 - qrrswwv - zjwdcwa - qrrswwv - 11)) {
		zjwdcwa = zjwdcwa + 48 + 50;
	} else {
		emntcyx = emntcyx + zjwdcwa;
		zjwdcwa = zjwdcwa + qrrswwv;
	}
	assert ((qrrswwv > oesehyb - 16 + 67 + 76) && (zjwdcwa > zjwdcwa - qrrswwv));
	assert ((qrrswwv > 11 + 77 + zjwdcwa - qrrswwv + 14) || (zjwdcwa < vuiiwzs + emntcyx - 30 + vuiiwzs - oesehyb));
	assert ((emntcyx < 0 - 64));
}