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

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

void test_main()
{
	qrrswwv = qrrswwv + qrrswwv + oesehyb + 0 + 39;
	if ((vuiiwzs > emntcyx - 78 + 95) && (vuiiwzs < 80 + 91 + 19 + 18 - 35)) {
		emntcyx = emntcyx + 2 + zjwdcwa + 97 + emntcyx;
	} else {
		vuiiwzs = vuiiwzs + zjwdcwa + vuiiwzs + 22 + oesehyb;
	}
	if ((zjwdcwa > 91 + 7) && (qrrswwv > emntcyx - 69 + emntcyx - 52 + 26)) {
	} else {
	}
	if ((qrrswwv > 62 + 53 + 70 - 56 + qrrswwv) && (zjwdcwa < zjwdcwa + qrrswwv - 20)) {
	} else {
		emntcyx = emntcyx + qrrswwv;
	}
	qrrswwv = qrrswwv + zjwdcwa + 14;
	if ((emntcyx < zjwdcwa + 82 - 4) && (vuiiwzs > vuiiwzs - emntcyx + emntcyx + zjwdcwa + oesehyb)) {
	} else {
		zjwdcwa = zjwdcwa + 90 + zjwdcwa + 36;
	}
	if ((qrrswwv < 63 - emntcyx + 0 + oesehyb) && (emntcyx > qrrswwv - emntcyx - zjwdcwa)) {
	} else {
	}
	while ((zjwdcwa < 87 + 42 + oesehyb + 86 + 100) || (zjwdcwa < 12 + 44)) {
	}
	zjwdcwa = zjwdcwa + 1;
	if ((qrrswwv < 18 + 41 - qrrswwv - zjwdcwa + zjwdcwa)) {
		qrrswwv = qrrswwv + 73;
	} else {
	}
	emntcyx = emntcyx + qrrswwv + 0;
	while ((emntcyx < emntcyx + oesehyb + qrrswwv + 100)) {
		qrrswwv = 12 - 48 + 2;
	}
	while ((zjwdcwa < qrrswwv + qrrswwv + 100)) {
		emntcyx = zjwdcwa - 22 - emntcyx - emntcyx + 93;
	}
	while ((emntcyx < emntcyx + 93 + 100)) {
		qrrswwv = oesehyb + 25 + 14 - 85;
	}
	vuiiwzs = vuiiwzs + 39 + zjwdcwa;
	while ((vuiiwzs < 11 + vuiiwzs + emntcyx + emntcyx + 100) && (vuiiwzs > 33 + 73 + 33 + emntcyx + vuiiwzs)) {
		vuiiwzs = emntcyx + 94 + emntcyx - oesehyb;
	}
	vuiiwzs = vuiiwzs + emntcyx + 98;
	if ((zjwdcwa < 40 - qrrswwv - 92 - 38) && (zjwdcwa > 62 - 82)) {
		qrrswwv = qrrswwv + emntcyx + oesehyb + 0 + 21;
	} else {
		zjwdcwa = zjwdcwa + qrrswwv + 21 + zjwdcwa + qrrswwv;
	}
	assert ((qrrswwv < 18 + 55));
	assert ((zjwdcwa > oesehyb + oesehyb - 70) && (vuiiwzs < 73 + qrrswwv + qrrswwv - 13));
	assert ((emntcyx < oesehyb + emntcyx) || (qrrswwv > 35 - vuiiwzs - zjwdcwa));
}