// 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()
{
	vuiiwzs = vuiiwzs + 47 + oesehyb + 68;
	if ((vuiiwzs > zjwdcwa + 92 + oesehyb - 94)) {
	} else {
	}
	zjwdcwa = zjwdcwa + zjwdcwa + vuiiwzs + 25 + vuiiwzs;
	if ((emntcyx < 0 - 5 + zjwdcwa) && (qrrswwv > 41 + vuiiwzs + vuiiwzs)) {
	} else {
	}
	emntcyx = emntcyx + qrrswwv + 67 + 7 + qrrswwv;
	if ((emntcyx > 64 + vuiiwzs + emntcyx) && (zjwdcwa > 50 - vuiiwzs + 0)) {
	} else {
	}
	while ((emntcyx < zjwdcwa + vuiiwzs + 100) && (emntcyx > 67 - vuiiwzs - 37 - zjwdcwa)) {
		zjwdcwa = zjwdcwa + oesehyb - vuiiwzs;
	}
	while ((vuiiwzs < 34 + qrrswwv + 100) || (emntcyx < 46 - 36 - 20)) {
	}
	if ((emntcyx > zjwdcwa - 15 + 31 + 67)) {
	} else {
	}
	while ((vuiiwzs < 43 + 85 + 61 + 100) || (zjwdcwa < 5 - oesehyb + 96 + 95)) {
		emntcyx = vuiiwzs - 6 - 70 + emntcyx;
	}
	vuiiwzs = vuiiwzs + oesehyb + 51;
	if ((vuiiwzs > 29 - emntcyx - 0 + 35 - 35) || (zjwdcwa > 95 + vuiiwzs + qrrswwv + 22)) {
		zjwdcwa = zjwdcwa + oesehyb + 4;
	} else {
	}
	if ((vuiiwzs > 80 + 4 - vuiiwzs - oesehyb + zjwdcwa) || (zjwdcwa < emntcyx - oesehyb + oesehyb)) {
	} else {
	}
	while ((zjwdcwa < vuiiwzs + 18 + 91 + 100)) {
	}
	while ((qrrswwv < 87 + oesehyb + 100) && (vuiiwzs < qrrswwv + qrrswwv - 51)) {
		qrrswwv = 25 - zjwdcwa - vuiiwzs - qrrswwv + emntcyx;
	}
	while ((qrrswwv < 98 + oesehyb + vuiiwzs + 85 + 100) || (emntcyx < qrrswwv + zjwdcwa + zjwdcwa)) {
	}
	qrrswwv = qrrswwv + zjwdcwa + qrrswwv + oesehyb;
	if ((emntcyx > 21 - 73 + 51)) {
	} else {
		zjwdcwa = zjwdcwa + 28;
	}
	assert ((vuiiwzs > 78 + 52) || (emntcyx < emntcyx + 63 + emntcyx));
	assert ((zjwdcwa > 55 - qrrswwv + qrrswwv - 18 + oesehyb) || (vuiiwzs > 46 - emntcyx + qrrswwv));
	assert ((emntcyx < 17 + 2 + zjwdcwa));
}