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

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

void test_main()
{
	zjwdcwa = zjwdcwa + vuiiwzs + 59 + 78 + emntcyx;
	while ((vuiiwzs < 28 + 97 + 47 + 32 + emntcyx + 100) || (emntcyx > 5 - qrrswwv + 51)) {
		emntcyx = 56 + 50 + qrrswwv;
	}
	emntcyx = emntcyx + 98;
	while ((zjwdcwa < 71 + emntcyx + qrrswwv + 93 + 100) && (zjwdcwa < 46 - vuiiwzs + 50)) {
	}
	if ((qrrswwv > emntcyx + emntcyx - 47 + emntcyx) && (zjwdcwa > vuiiwzs + vuiiwzs)) {
		vuiiwzs = vuiiwzs + 61 + zjwdcwa + vuiiwzs + vuiiwzs;
	} else {
	}
	while ((zjwdcwa < qrrswwv + 24 + 100)) {
		emntcyx = qrrswwv - 13 + 2 + emntcyx + qrrswwv;
	}
	emntcyx = emntcyx + 89 + 60;
	while ((vuiiwzs < 77 + qrrswwv + 100) || (zjwdcwa < 61 - emntcyx + oesehyb)) {
		qrrswwv = qrrswwv + 24 - emntcyx - emntcyx;
	}
	zjwdcwa = zjwdcwa + 81 + emntcyx + 93 + 81;
	if ((emntcyx > oesehyb + zjwdcwa - 53 - 82 - 33)) {
	} else {
	}
	if ((vuiiwzs > zjwdcwa + emntcyx) && (emntcyx < 64 - qrrswwv + zjwdcwa - 9)) {
		qrrswwv = qrrswwv + 90 + 89;
	} else {
		qrrswwv = qrrswwv + zjwdcwa + vuiiwzs + qrrswwv;
	}
	while ((vuiiwzs < vuiiwzs + vuiiwzs + 100)) {
	}
	emntcyx = emntcyx + 95;
	if ((zjwdcwa < oesehyb + 53 + 36 - qrrswwv + 70) || (emntcyx > qrrswwv - zjwdcwa)) {
	} else {
		emntcyx = emntcyx + zjwdcwa + 50 + qrrswwv;
	}
	qrrswwv = qrrswwv + emntcyx + emntcyx + qrrswwv + emntcyx;
	if ((zjwdcwa < 78 - 18 - zjwdcwa + 64)) {
	} else {
		emntcyx = emntcyx + qrrswwv;
	}
	vuiiwzs = vuiiwzs + vuiiwzs;
	if ((vuiiwzs > zjwdcwa + 58 - 24 + qrrswwv + 31) && (zjwdcwa > 92 - qrrswwv)) {
		emntcyx = emntcyx + vuiiwzs;
	} else {
	}
	vuiiwzs = vuiiwzs + 27 + 21 + 94 + zjwdcwa;
	while ((zjwdcwa < 16 + emntcyx + qrrswwv + 100) || (emntcyx < 13 + 8 + oesehyb - qrrswwv + zjwdcwa)) {
	}
	assert ((vuiiwzs > zjwdcwa - zjwdcwa));
	assert ((vuiiwzs < 49 + oesehyb + oesehyb));
	assert ((zjwdcwa > 66 + 78 + qrrswwv));
}