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

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

void test_main()
{
	qrrswwv = qrrswwv + zjwdcwa + vuiiwzs;
	if ((qrrswwv > qrrswwv + zjwdcwa - emntcyx) && (vuiiwzs > oesehyb - oesehyb + 97 - vuiiwzs)) {
	} else {
		zjwdcwa = zjwdcwa + zjwdcwa + emntcyx + emntcyx + 77;
	}
	qrrswwv = qrrswwv + 61 + oesehyb + qrrswwv + qrrswwv;
	if ((qrrswwv > vuiiwzs - 51 + 7 + oesehyb + 67) && (qrrswwv > 54 + 39 + emntcyx - vuiiwzs + 24)) {
		qrrswwv = qrrswwv + 28 + zjwdcwa + 96;
	} else {
	}
	vuiiwzs = vuiiwzs + vuiiwzs;
	while ((vuiiwzs < 37 + 76 + 100) || (qrrswwv < 85 - 49 - qrrswwv - zjwdcwa - oesehyb)) {
		zjwdcwa = oesehyb + oesehyb + 87 + vuiiwzs;
	}
	while ((emntcyx < zjwdcwa + 69 + emntcyx + emntcyx + vuiiwzs + 100)) {
		emntcyx = 67 - oesehyb - oesehyb;
	}
	if ((vuiiwzs > 94 + vuiiwzs + zjwdcwa - 9) && (zjwdcwa < emntcyx + vuiiwzs + zjwdcwa)) {
		qrrswwv = qrrswwv + 13 + qrrswwv;
	} else {
		qrrswwv = qrrswwv + qrrswwv + 17 + emntcyx;
	}
	while ((vuiiwzs < 87 + 50 + 100)) {
	}
	while ((zjwdcwa < 27 + 62 + qrrswwv + 63 + 100) && (emntcyx > 27 - 67 - 62 + oesehyb - 86)) {
		emntcyx = 94 + 19;
	}
	emntcyx = emntcyx + qrrswwv + 28;
	while ((emntcyx < 85 + 95 + emntcyx + emntcyx + 100)) {
	}
	qrrswwv = qrrswwv + qrrswwv;
	if ((vuiiwzs < qrrswwv - 6) || (emntcyx < oesehyb - vuiiwzs)) {
	} else {
	}
	assert ((vuiiwzs > 38 - zjwdcwa));
	assert ((emntcyx < 79 - 6));
	assert ((zjwdcwa < 23 - 12 + oesehyb - 46 - 66));
}