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

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

void test_main()
{
	if ((vuiiwzs > vuiiwzs - 42 - 9)) {
	} else {
	}
	while ((vuiiwzs < 46 + zjwdcwa + 60 + vuiiwzs + 50 + 100)) {
		emntcyx = vuiiwzs + 6 - qrrswwv + 75;
	}
	if ((zjwdcwa < oesehyb + qrrswwv)) {
		zjwdcwa = zjwdcwa + zjwdcwa + 34 + 61 + zjwdcwa;
	} else {
		vuiiwzs = vuiiwzs + qrrswwv;
	}
	zjwdcwa = zjwdcwa + 78 + emntcyx + vuiiwzs + 95;
	zjwdcwa = zjwdcwa + vuiiwzs;
	while ((vuiiwzs < vuiiwzs + zjwdcwa + 100)) {
	}
	qrrswwv = qrrswwv + 33 + qrrswwv + 24 + zjwdcwa;
	if ((zjwdcwa > qrrswwv - 26)) {
		vuiiwzs = vuiiwzs + zjwdcwa + 26;
	} else {
	}
	while ((vuiiwzs < zjwdcwa + qrrswwv + 100)) {
	}
	while ((zjwdcwa < zjwdcwa + qrrswwv + emntcyx + 100)) {
	}
	if ((emntcyx < 25 + 14 - 68 + zjwdcwa) && (vuiiwzs < 69 + 11 - 98 - 60 + 11)) {
		qrrswwv = qrrswwv + 43 + 9 + oesehyb + qrrswwv;
	} else {
	}
	if ((zjwdcwa > 28 + oesehyb + zjwdcwa + zjwdcwa) && (vuiiwzs > 46 - 65 + qrrswwv - zjwdcwa - emntcyx)) {
		zjwdcwa = zjwdcwa + 99 + vuiiwzs;
	} else {
		vuiiwzs = vuiiwzs + 98;
	}
	emntcyx = emntcyx + 41;
	if ((vuiiwzs < zjwdcwa - 83 + emntcyx + 0 - emntcyx)) {
		zjwdcwa = zjwdcwa + 96 + 18 + 89;
	} else {
	}
	if ((zjwdcwa > 28 - 42 + vuiiwzs + oesehyb + 53) || (zjwdcwa > 79 - vuiiwzs + 15 + 49 - oesehyb)) {
		zjwdcwa = zjwdcwa + 41 + zjwdcwa + oesehyb;
	} else {
		qrrswwv = qrrswwv + 2 + 58 + 11;
	}
	assert ((vuiiwzs > oesehyb - 46 + 10 - 22 - zjwdcwa));
	assert ((zjwdcwa < 0 + 81 - vuiiwzs + emntcyx) || (zjwdcwa < emntcyx + 16 + oesehyb + vuiiwzs));
	assert ((vuiiwzs > 42 + qrrswwv - vuiiwzs + 36 - vuiiwzs));
}