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

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

void test_main()
{
	emntcyx = emntcyx + emntcyx + emntcyx + 33;
	if ((qrrswwv < 94 + 40 + 66 - vuiiwzs)) {
	} else {
		emntcyx = emntcyx + emntcyx + 56 + 78 + 80;
		emntcyx = emntcyx + emntcyx + vuiiwzs + qrrswwv + 80;
	}
	qrrswwv = qrrswwv + vuiiwzs;
	if ((zjwdcwa < vuiiwzs - emntcyx - emntcyx - 16) && (zjwdcwa > 43 - zjwdcwa)) {
		vuiiwzs = vuiiwzs + emntcyx;
	} else {
		zjwdcwa = zjwdcwa + oesehyb + oesehyb + 43 + vuiiwzs;
	}
	zjwdcwa = zjwdcwa + 87;
	while ((zjwdcwa < vuiiwzs + qrrswwv + emntcyx + 80 + 57 + 100) && (qrrswwv < 2 - 73)) {
	}
	if ((vuiiwzs > 60 + 35 - 74 + vuiiwzs)) {
		vuiiwzs = vuiiwzs + 20 + 97 + 45;
	} else {
		zjwdcwa = zjwdcwa + 73 + zjwdcwa + 30 + 2;
		zjwdcwa = zjwdcwa + oesehyb + qrrswwv;
	}
	while ((vuiiwzs < 88 + 22 + vuiiwzs + 100) && (zjwdcwa < 41 + 75 + zjwdcwa + 20)) {
		emntcyx = qrrswwv - 39 - qrrswwv - emntcyx - oesehyb;
	}
	vuiiwzs = vuiiwzs + vuiiwzs + qrrswwv + zjwdcwa;
	if ((emntcyx < emntcyx + emntcyx + 21 - emntcyx) && (qrrswwv > oesehyb + 79)) {
		emntcyx = emntcyx + qrrswwv;
	} else {
		emntcyx = emntcyx + qrrswwv + oesehyb + 68;
	}
	while ((vuiiwzs < 55 + 80 + vuiiwzs + 76 + 15 + 100) && (qrrswwv > qrrswwv + 22 - 58)) {
	}
	while ((emntcyx < 1 + qrrswwv + oesehyb + 28 + 100) || (qrrswwv > oesehyb + 98)) {
		emntcyx = 30 - qrrswwv - zjwdcwa + qrrswwv - oesehyb;
	}
	if ((vuiiwzs > 87 + 45 + emntcyx + qrrswwv - 80)) {
		qrrswwv = qrrswwv + 76;
	} else {
		vuiiwzs = vuiiwzs + 3;
	}
	if ((emntcyx > 57 + emntcyx) || (vuiiwzs < vuiiwzs + emntcyx)) {
	} else {
	}
	qrrswwv = qrrswwv + 4 + vuiiwzs + 20 + 11;
	while ((emntcyx < 45 + oesehyb + 84 + emntcyx + 100)) {
	}
	if ((vuiiwzs < 35 - 35) && (emntcyx < vuiiwzs - vuiiwzs + 96 - vuiiwzs - zjwdcwa)) {
		emntcyx = emntcyx + 48;
	} else {
	}
	while ((qrrswwv < emntcyx + qrrswwv + 64 + vuiiwzs + 100) && (zjwdcwa < 44 - vuiiwzs + 4 - 1)) {
		qrrswwv = emntcyx + 33 - emntcyx;
	}
	while ((emntcyx < emntcyx + qrrswwv + 58 + 100)) {
		emntcyx = vuiiwzs - 76 - oesehyb + 91;
		emntcyx = 56 - 1 + emntcyx + 51 + vuiiwzs;
	}
	if ((vuiiwzs < oesehyb + emntcyx - 48 - 47 - 96) && (zjwdcwa > qrrswwv - 59 - oesehyb)) {
		qrrswwv = qrrswwv + 18 + 3;
	} else {
	}
	assert ((vuiiwzs < 71 - 72 - emntcyx) || (emntcyx < oesehyb + 27 + 69 - 83));
	assert ((emntcyx > vuiiwzs - 6 + 50 + vuiiwzs - 86) || (vuiiwzs > zjwdcwa + zjwdcwa + 56));
	assert ((vuiiwzs < zjwdcwa - 99 + emntcyx) || (zjwdcwa > 86 - 25 + oesehyb + zjwdcwa));
}