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

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

void test_main()
{
	qrrswwv = qrrswwv + 45;
	while ((qrrswwv < 22 + emntcyx + qrrswwv + qrrswwv + 20 + 100) && (qrrswwv > 68 + 50 + qrrswwv - 18)) {
		zjwdcwa = 14 + 89 - qrrswwv;
	}
	while ((emntcyx < zjwdcwa + 63 + 100)) {
	}
	while ((qrrswwv < vuiiwzs + oesehyb + vuiiwzs + zjwdcwa + 100) && (qrrswwv < 0 - 44 - 1 - 11)) {
		emntcyx = 76 + 44 + zjwdcwa - 92 + 2;
	}
	if ((qrrswwv < 83 + 97 + 89 - 67 + 82)) {
		emntcyx = emntcyx + 51 + 99 + 48;
	} else {
	}
	while ((zjwdcwa < vuiiwzs + 50 + 87 + zjwdcwa + 100) || (vuiiwzs > vuiiwzs + vuiiwzs + 59 + 13)) {
	}
	qrrswwv = qrrswwv + emntcyx + 18;
	if ((qrrswwv < 79 - oesehyb + emntcyx + oesehyb) && (qrrswwv > emntcyx - 60 + 40 - 57 - 34)) {
		zjwdcwa = zjwdcwa + 63;
	} else {
	}
	while ((zjwdcwa < 6 + oesehyb + 100)) {
	}
	if ((qrrswwv > 13 - qrrswwv - emntcyx + qrrswwv - 41)) {
	} else {
		emntcyx = emntcyx + zjwdcwa + qrrswwv;
	}
	assert ((zjwdcwa > 68 - vuiiwzs));
	assert ((qrrswwv < 63 + 91 + 77 - qrrswwv + 27));
	assert ((emntcyx > qrrswwv + zjwdcwa + 84 - vuiiwzs) || (vuiiwzs < 32 + 32 + 26 + qrrswwv));
}