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

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

void test_main()
{
	while ((emntcyx < 18 + oesehyb + oesehyb + emntcyx + 100)) {
	}
	qrrswwv = qrrswwv + qrrswwv;
	if ((emntcyx > zjwdcwa + zjwdcwa) || (emntcyx < 52 + 47 - vuiiwzs - qrrswwv)) {
		qrrswwv = qrrswwv + oesehyb + 64 + zjwdcwa + 21;
	} else {
	}
	vuiiwzs = vuiiwzs + 29 + 39 + 66;
	qrrswwv = qrrswwv + 48 + oesehyb;
	while ((vuiiwzs < qrrswwv + 78 + 91 + 100) || (zjwdcwa < oesehyb - 15 - 91 - qrrswwv)) {
		emntcyx = 72 - oesehyb + 82;
	}
	while ((zjwdcwa < 7 + oesehyb + 89 + 46 + qrrswwv + 100) || (qrrswwv < zjwdcwa + oesehyb - 57)) {
		zjwdcwa = 52 - oesehyb - 32 - 43 - 17;
		zjwdcwa = zjwdcwa + 53;
	}
	while ((qrrswwv < zjwdcwa + 62 + 91 + oesehyb + emntcyx + 100)) {
	}
	if ((emntcyx > 15 + emntcyx - 18) && (emntcyx > 95 + qrrswwv - vuiiwzs)) {
		zjwdcwa = zjwdcwa + 50;
	} else {
		zjwdcwa = zjwdcwa + vuiiwzs + vuiiwzs;
	}
	emntcyx = emntcyx + 87;
	if ((zjwdcwa < 49 + 98 - 48 - oesehyb) || (emntcyx > emntcyx - 99)) {
	} else {
		qrrswwv = qrrswwv + zjwdcwa;
		zjwdcwa = zjwdcwa + zjwdcwa + 72 + 44 + 12;
	}
	if ((vuiiwzs < qrrswwv - 39) && (qrrswwv > 93 - zjwdcwa - vuiiwzs + emntcyx - vuiiwzs)) {
		qrrswwv = qrrswwv + 16 + 60 + qrrswwv;
	} else {
		vuiiwzs = vuiiwzs + 30 + zjwdcwa + 0 + 72;
	}
	assert ((qrrswwv < 67 - vuiiwzs + 47) && (emntcyx > 38 + 84));
	assert ((vuiiwzs > emntcyx + 40));
	assert ((emntcyx > 94 - 10));
}