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

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

void test_main()
{
	zjwdcwa = zjwdcwa + 95 + 13 + zjwdcwa + 26;
	emntcyx = emntcyx + vuiiwzs + oesehyb + zjwdcwa;
	if ((qrrswwv > emntcyx - 76) || (qrrswwv < 68 + 23 + qrrswwv - 60 + 88)) {
		emntcyx = emntcyx + 77 + emntcyx + qrrswwv;
	} else {
		if ((emntcyx > qrrswwv + vuiiwzs - vuiiwzs - qrrswwv - 70) || (qrrswwv > 37 - 99 + vuiiwzs)) {
			qrrswwv = qrrswwv + zjwdcwa;
		} else {
			qrrswwv = qrrswwv + oesehyb + zjwdcwa + emntcyx + 62;
		}
		if ((zjwdcwa > 69 - 14 + 43 - 77 + 80)) {
			vuiiwzs = vuiiwzs + 66 + 96 + qrrswwv + qrrswwv;
		} else {
			zjwdcwa = zjwdcwa + 97 + 21;
		}
	}
	if ((emntcyx > 1 + 52 + 30)) {
		emntcyx = emntcyx + qrrswwv;
	} else {
		while ((vuiiwzs < vuiiwzs + zjwdcwa + 100)) {
		}
		if ((qrrswwv > 85 + 54 + 29 + 49 - zjwdcwa) && (vuiiwzs > 59 - zjwdcwa + qrrswwv + oesehyb)) {
		} else {
		}
	}
	zjwdcwa = zjwdcwa + 66 + qrrswwv + 13 + 27;
	if ((qrrswwv < 92 + 43 - qrrswwv + oesehyb - 17)) {
		emntcyx = emntcyx + 52 + 83 + 69;
		if ((zjwdcwa < 66 + oesehyb - 17 - 9 + qrrswwv)) {
		} else {
		}
	} else {
		zjwdcwa = zjwdcwa + 79;
		while ((zjwdcwa < zjwdcwa + emntcyx + emntcyx + 100)) {
			zjwdcwa = 58 - 25 - 72 - 97 - vuiiwzs;
		}
		while ((qrrswwv < oesehyb + 91 + oesehyb + qrrswwv + 22 + 100) || (zjwdcwa < 0 - qrrswwv + 15 - 4 + 97)) {
			vuiiwzs = qrrswwv + vuiiwzs - qrrswwv - vuiiwzs - emntcyx;
		}
	}
	qrrswwv = qrrswwv + oesehyb + 78 + emntcyx + oesehyb;
	qrrswwv = qrrswwv + 10 + vuiiwzs + oesehyb + 57;
	if ((zjwdcwa > 30 + 67 - zjwdcwa + qrrswwv)) {
		while ((emntcyx < oesehyb + 70 + 39 + 100) && (qrrswwv < 48 - qrrswwv + emntcyx)) {
		}
		zjwdcwa = zjwdcwa + qrrswwv + oesehyb;
		while ((qrrswwv < 78 + emntcyx + 6 + 100) && (zjwdcwa > qrrswwv + 32)) {
		}
	} else {
		if ((vuiiwzs > 43 - 20 + zjwdcwa - 16)) {
		} else {
			vuiiwzs = vuiiwzs + 38 + vuiiwzs + zjwdcwa + 89;
		}
		while ((zjwdcwa < zjwdcwa + emntcyx + emntcyx + 100) || (zjwdcwa < vuiiwzs - oesehyb - qrrswwv - zjwdcwa - oesehyb)) {
		}
	}
	emntcyx = emntcyx + zjwdcwa + emntcyx + qrrswwv;
	if ((vuiiwzs > 3 + 69 + vuiiwzs)) {
		while ((qrrswwv < emntcyx + qrrswwv + 32 + 21 + 100) || (emntcyx > 35 - 76 - zjwdcwa)) {
		}
		if ((zjwdcwa < vuiiwzs - 85 - 21) || (vuiiwzs > 82 - vuiiwzs - oesehyb - qrrswwv - 67)) {
		} else {
		}
		if ((vuiiwzs < emntcyx - emntcyx + 12)) {
			qrrswwv = qrrswwv + vuiiwzs + 11 + 32;
		} else {
			qrrswwv = qrrswwv + 11 + 9 + 43 + 22;
		}
	} else {
	}
	while ((vuiiwzs < 3 + 25 + vuiiwzs + oesehyb + 100)) {
		zjwdcwa = 64 - 7 - qrrswwv + oesehyb + oesehyb;
		emntcyx = 62 + 76 + emntcyx + 61;
		if ((zjwdcwa > 66 + zjwdcwa - vuiiwzs)) {
			zjwdcwa = 23 - vuiiwzs - 75 - 1;
		} else {
			emntcyx = qrrswwv - 93 - 85 + qrrswwv;
		}
	}
	assert ((zjwdcwa > zjwdcwa + emntcyx - 54 + 98 - oesehyb) || (qrrswwv > 83 - 89 + emntcyx + oesehyb - vuiiwzs));
	assert ((vuiiwzs < oesehyb - 93 + 83 - oesehyb));
	assert ((qrrswwv > vuiiwzs - 1 + 65 + emntcyx) && (zjwdcwa < 26 + 29));
}