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

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

void test_main()
{
	zjwdcwa = zjwdcwa + vuiiwzs;
	while ((vuiiwzs < qrrswwv + vuiiwzs + oesehyb + 100) || (qrrswwv > qrrswwv - 91 - 76)) {
		while ((zjwdcwa < vuiiwzs + vuiiwzs + zjwdcwa + emntcyx - emntcyx)) {
		}
		if ((emntcyx < vuiiwzs - 71 - 97 - 82 - 8)) {
		} else {
		}
	}
	vuiiwzs = vuiiwzs + 31 + 55;
	while ((emntcyx < oesehyb + zjwdcwa + qrrswwv + oesehyb + 57 + 100) && (qrrswwv > vuiiwzs + vuiiwzs - emntcyx - vuiiwzs - 8)) {
		while ((emntcyx > 87 + 74 + 21 + 43 + 66)) {
		}
		while ((qrrswwv < 85 - zjwdcwa)) {
			qrrswwv = 57 - 83 + 56;
		}
	}
	zjwdcwa = zjwdcwa + vuiiwzs + 75;
	while ((emntcyx < 9 + qrrswwv + 32 + qrrswwv + 68 + 100)) {
		if ((vuiiwzs < emntcyx - 48 - 36 - emntcyx - 46) && (vuiiwzs < 5 - emntcyx + 42 - zjwdcwa)) {
			qrrswwv = 22 + emntcyx - qrrswwv + 88 + 23;
		} else {
			zjwdcwa = 88 + 12 + 77 + 59 - 63;
		}
		while ((qrrswwv < 39 - 19 + 65 - 10) || (emntcyx > 92 - 25 + qrrswwv)) {
			emntcyx = qrrswwv + qrrswwv - emntcyx + zjwdcwa;
		}
	}
	emntcyx = emntcyx + oesehyb;
	while ((vuiiwzs < zjwdcwa + emntcyx + vuiiwzs + 100) && (qrrswwv > oesehyb - 18 + emntcyx + 94)) {
		while ((emntcyx > 44 - 42 - oesehyb - zjwdcwa + emntcyx) || (qrrswwv < 57 + 78)) {
		}
		if ((qrrswwv < oesehyb - zjwdcwa + 13 - 58) && (zjwdcwa > 17 + zjwdcwa - 40 - 60)) {
		} else {
		}
	}
	while ((zjwdcwa < 94 + 42 + 100) && (zjwdcwa > vuiiwzs + 20)) {
		while ((zjwdcwa < 27 - 69 + emntcyx - 13 - 85)) {
		}
		if ((zjwdcwa > emntcyx - vuiiwzs - 95 + 40) || (zjwdcwa < 63 - emntcyx - qrrswwv + qrrswwv)) {
		} else {
		}
	}
	while ((qrrswwv < vuiiwzs + oesehyb + qrrswwv + 92 + oesehyb + 100)) {
		if ((vuiiwzs > 72 + 8 - 86 - oesehyb + oesehyb)) {
			qrrswwv = qrrswwv - vuiiwzs;
		} else {
		}
		if ((emntcyx > emntcyx + emntcyx - 68) || (qrrswwv < vuiiwzs - 29 - qrrswwv - oesehyb - 51)) {
			qrrswwv = emntcyx + vuiiwzs;
		} else {
		}
	}
	emntcyx = emntcyx + 54 + emntcyx + 6 + qrrswwv;
	while ((zjwdcwa < vuiiwzs + 55 + 79 + 18 + 100) && (emntcyx < 82 - emntcyx + 85)) {
		emntcyx = 14 + zjwdcwa - vuiiwzs + qrrswwv - 52;
		if ((vuiiwzs < 76 - zjwdcwa + 89 + 35) && (zjwdcwa < oesehyb - 65 - 15)) {
			vuiiwzs = emntcyx + vuiiwzs;
		} else {
			qrrswwv = oesehyb + 78 - emntcyx;
		}
	}
	qrrswwv = qrrswwv + 43 + 60 + emntcyx + zjwdcwa;
	if ((zjwdcwa > oesehyb + oesehyb - 37 - vuiiwzs + 68) || (vuiiwzs < oesehyb - 38)) {
	} else {
		zjwdcwa = zjwdcwa + vuiiwzs + zjwdcwa;
	}
	assert ((vuiiwzs < emntcyx + vuiiwzs - 25) || (zjwdcwa < emntcyx - 93 - zjwdcwa - qrrswwv - zjwdcwa));
	assert ((zjwdcwa > zjwdcwa - vuiiwzs + qrrswwv) && (qrrswwv > 87 - 97 - qrrswwv + qrrswwv + oesehyb));
	assert ((vuiiwzs < emntcyx - 29 + oesehyb + 44 + 56) && (zjwdcwa < 66 + emntcyx + 28));
}