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

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

void test_main()
{
	if ((zjwdcwa > 49 + zjwdcwa)) {
		qrrswwv = qrrswwv + 83 + vuiiwzs + 15 + 65;
	} else {
		if ((vuiiwzs < 79 - vuiiwzs + 95 + 54 - emntcyx) || (emntcyx < vuiiwzs - 81 - emntcyx)) {
			emntcyx = emntcyx + 43;
		} else {
		}
		while ((emntcyx < emntcyx + emntcyx + 25 + qrrswwv + qrrswwv + 100)) {
			zjwdcwa = 18 + 78 - zjwdcwa - 41;
		}
		if ((emntcyx < 58 + zjwdcwa - oesehyb)) {
			emntcyx = emntcyx + emntcyx + 6;
		} else {
			qrrswwv = qrrswwv + vuiiwzs + vuiiwzs;
		}
	}
	emntcyx = emntcyx + qrrswwv + 1 + 9 + 3;
	while ((qrrswwv < vuiiwzs + qrrswwv + 13 + 86 + vuiiwzs + 100)) {
		emntcyx = 11 - 71;
		qrrswwv = 30 - vuiiwzs;
		while ((zjwdcwa > 70 - oesehyb + vuiiwzs - oesehyb + 44) && (vuiiwzs > 59 + vuiiwzs + qrrswwv + 97)) {
			emntcyx = 17 + 30 - zjwdcwa - zjwdcwa - 39;
		}
		if ((vuiiwzs < 93 - 49) || (qrrswwv < 75 + 38 + emntcyx + emntcyx)) {
			qrrswwv = emntcyx - zjwdcwa + 84;
			qrrswwv = oesehyb + 87 + 13;
		} else {
			emntcyx = 26 + 3 + 28 + 14;
		}
	}
	while ((zjwdcwa < 99 + qrrswwv + 100) || (emntcyx > oesehyb + oesehyb)) {
		qrrswwv = 40 - 40 - 86;
		qrrswwv = 16 - emntcyx;
		while ((qrrswwv > oesehyb - 52 + 38) || (emntcyx > 59 - emntcyx + emntcyx - 86 + oesehyb)) {
		}
	}
	if ((emntcyx < 82 - qrrswwv + 47 - 22) && (emntcyx > 22 - oesehyb - 94 + 39)) {
		emntcyx = emntcyx + 87;
		emntcyx = emntcyx + 35 + oesehyb;
		while ((vuiiwzs < emntcyx + oesehyb + 100) || (qrrswwv > qrrswwv + oesehyb - emntcyx - 43 + 70)) {
		}
		if ((zjwdcwa < 91 + 2 + emntcyx)) {
		} else {
			vuiiwzs = vuiiwzs + 72;
			emntcyx = emntcyx + zjwdcwa + 92 + 47;
		}
	} else {
		while ((qrrswwv < 18 + zjwdcwa + emntcyx + qrrswwv + 100) && (vuiiwzs > 62 - 9 - oesehyb + 61)) {
			zjwdcwa = vuiiwzs + oesehyb + 23;
		}
		while ((qrrswwv < 36 + 69 + oesehyb + 100) || (zjwdcwa > 70 + emntcyx - zjwdcwa - qrrswwv)) {
			zjwdcwa = qrrswwv - oesehyb - zjwdcwa;
		}
		if ((vuiiwzs < zjwdcwa - 1 - 7 - 33 + vuiiwzs) || (qrrswwv < 42 - 49)) {
			qrrswwv = qrrswwv + emntcyx + qrrswwv;
		} else {
			qrrswwv = qrrswwv + zjwdcwa + 64;
		}
	}
	if ((qrrswwv < qrrswwv + vuiiwzs - vuiiwzs + 96) || (zjwdcwa < 73 - vuiiwzs + oesehyb)) {
		qrrswwv = qrrswwv + 7 + emntcyx + oesehyb;
		emntcyx = emntcyx + 86;
		if ((qrrswwv > 8 + 58 + zjwdcwa - oesehyb + 49) && (vuiiwzs > 5 - qrrswwv)) {
		} else {
		}
	} else {
		if ((zjwdcwa > oesehyb + 97)) {
		} else {
			qrrswwv = qrrswwv + 12;
			qrrswwv = qrrswwv + 27;
		}
		if ((vuiiwzs > 57 + oesehyb)) {
			vuiiwzs = vuiiwzs + emntcyx + 30;
			zjwdcwa = zjwdcwa + oesehyb + 65 + 72;
		} else {
			qrrswwv = qrrswwv + oesehyb + 35 + 55;
		}
		emntcyx = emntcyx + 18 + vuiiwzs + 66;
		while ((vuiiwzs < zjwdcwa + emntcyx + emntcyx + 50 + 100)) {
			zjwdcwa = 23 - zjwdcwa - oesehyb;
		}
	}
	zjwdcwa = zjwdcwa + 67;
	while ((emntcyx < 20 + emntcyx + 11 + zjwdcwa + 31 + 100) || (zjwdcwa < 8 - 56 + 69 + oesehyb)) {
		zjwdcwa = 73 - qrrswwv;
		if ((zjwdcwa > oesehyb + 52 - 8)) {
			emntcyx = 53 + 45 - qrrswwv - zjwdcwa;
			emntcyx = 71 - vuiiwzs;
		} else {
			vuiiwzs = oesehyb + zjwdcwa - zjwdcwa + vuiiwzs;
			qrrswwv = oesehyb + 20 - 14;
		}
		while ((emntcyx > qrrswwv - 76 - 13 - 60 - 66) || (zjwdcwa > 37 - 69 + 59 - vuiiwzs)) {
			vuiiwzs = 7 + 48 + 36 - emntcyx - 41;
		}
		while ((vuiiwzs > oesehyb - qrrswwv - 65 + 82 - 20)) {
		}
	}
	assert ((qrrswwv < 0 + qrrswwv + qrrswwv + 62 + 31));
	assert ((vuiiwzs > zjwdcwa + 14));
	assert ((qrrswwv > zjwdcwa + 15 - 44) || (qrrswwv > 39 - 45 - vuiiwzs));
}