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

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

void test_main()
{
	emntcyx = emntcyx + 43 + 80 + emntcyx;
	if ((zjwdcwa > qrrswwv + 18 + qrrswwv) || (vuiiwzs < 44 - vuiiwzs - 1)) {
		vuiiwzs = vuiiwzs + 90 + vuiiwzs + oesehyb;
	} else {
		vuiiwzs = vuiiwzs + qrrswwv + qrrswwv + 33;
		vuiiwzs = vuiiwzs + emntcyx + 90;
		zjwdcwa = zjwdcwa + 0 + emntcyx + emntcyx;
	}
	emntcyx = emntcyx + 57 + 56 + qrrswwv;
	if ((zjwdcwa > 20 + 86) || (emntcyx < emntcyx - 39 - qrrswwv - 60)) {
		vuiiwzs = vuiiwzs + qrrswwv + vuiiwzs;
		emntcyx = emntcyx + 69;
		emntcyx = emntcyx + 50 + 34 + vuiiwzs;
	} else {
		qrrswwv = qrrswwv + 98 + vuiiwzs + 38;
	}
	emntcyx = emntcyx + vuiiwzs + qrrswwv + 74;
	zjwdcwa = zjwdcwa + 95 + 62 + oesehyb;
	vuiiwzs = vuiiwzs + 67;
	while ((qrrswwv < 71 + 53 + 1 + qrrswwv + 100)) {
	}
	qrrswwv = qrrswwv + 12 + 22;
	vuiiwzs = vuiiwzs + 89 + 84 + 77 + oesehyb;
	if ((emntcyx > 45 - zjwdcwa - oesehyb - 72 + vuiiwzs)) {
		zjwdcwa = zjwdcwa + 87;
		emntcyx = emntcyx + 57 + 31 + zjwdcwa;
	} else {
	}
	if ((vuiiwzs < 46 - 7)) {
		emntcyx = emntcyx + qrrswwv + emntcyx;
		emntcyx = emntcyx + qrrswwv + qrrswwv + emntcyx + oesehyb;
	} else {
		qrrswwv = qrrswwv + 38 + oesehyb;
	}
	assert ((zjwdcwa < 25 + 54));
	assert ((qrrswwv < 55 - emntcyx - 19 + vuiiwzs));
	assert ((qrrswwv > zjwdcwa + 59 - 37 + 42 - vuiiwzs) || (emntcyx > 76 + emntcyx + emntcyx - 83 - qrrswwv));
}