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

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

void test_main()
{
	if ((emntcyx < qrrswwv - 42 - 84)) {
		while ((vuiiwzs < 92 + zjwdcwa + 61 + emntcyx + 100) || (vuiiwzs > qrrswwv - 57 - vuiiwzs + emntcyx)) {
		}
		emntcyx = emntcyx + 33 + 70 + emntcyx + oesehyb;
		if ((emntcyx > 23 + qrrswwv + vuiiwzs) || (emntcyx < emntcyx + qrrswwv + 93 + zjwdcwa)) {
			zjwdcwa = zjwdcwa + oesehyb + emntcyx + oesehyb + emntcyx;
		} else {
			qrrswwv = qrrswwv + zjwdcwa + oesehyb + oesehyb;
		}
	} else {
		qrrswwv = qrrswwv + 32 + emntcyx;
		vuiiwzs = vuiiwzs + zjwdcwa + 77 + 60 + 88;
		if ((vuiiwzs < emntcyx + emntcyx - 42 + 33 - zjwdcwa) && (emntcyx < 65 - 48)) {
		} else {
		}
	}
	vuiiwzs = vuiiwzs + 9 + vuiiwzs + 17 + 43;
	if ((emntcyx < 90 + 33 - qrrswwv - 66) || (zjwdcwa > 93 - oesehyb + 10)) {
		emntcyx = emntcyx + vuiiwzs + 7;
	} else {
		emntcyx = emntcyx + 12 + zjwdcwa + 91;
		while ((qrrswwv < 34 + qrrswwv + oesehyb + 39 + 43 + 100) || (zjwdcwa < 49 - 20)) {
		}
		if ((qrrswwv < 18 + 30 + qrrswwv) || (emntcyx > qrrswwv + 21 - vuiiwzs)) {
			qrrswwv = qrrswwv + qrrswwv + 5 + 10;
			zjwdcwa = zjwdcwa + vuiiwzs + oesehyb + zjwdcwa;
		} else {
		}
	}
	if ((vuiiwzs > 19 + oesehyb - 26 + 91 - 11) && (emntcyx < zjwdcwa - 67 + 81 + zjwdcwa + 82)) {
		while ((zjwdcwa < emntcyx + zjwdcwa + 13 + 100)) {
			emntcyx = emntcyx + 34 + qrrswwv;
		}
		emntcyx = emntcyx + 90 + 49 + 76 + 28;
		while ((qrrswwv < 37 + 8 + qrrswwv + zjwdcwa + 56 + 100)) {
		}
	} else {
	}
	if ((vuiiwzs < 43 - 84 + vuiiwzs - zjwdcwa)) {
		emntcyx = emntcyx + 53;
		while ((emntcyx < 99 + zjwdcwa + 99 + oesehyb + 100) || (vuiiwzs < vuiiwzs - 49)) {
		}
	} else {
	}
	if ((zjwdcwa < emntcyx + zjwdcwa + 14 - oesehyb + vuiiwzs)) {
		vuiiwzs = vuiiwzs + 41 + qrrswwv;
	} else {
	}
	qrrswwv = qrrswwv + 89;
	if ((zjwdcwa < vuiiwzs - 49 - qrrswwv) || (qrrswwv < 16 + 59 - emntcyx + 56 + qrrswwv)) {
		emntcyx = emntcyx + qrrswwv + vuiiwzs + zjwdcwa + 26;
		while ((zjwdcwa < 11 + vuiiwzs + oesehyb + 100) || (qrrswwv < 20 + zjwdcwa - 87)) {
		}
	} else {
		zjwdcwa = zjwdcwa + 0 + qrrswwv + 32 + 64;
	}
	if ((emntcyx > qrrswwv - 49)) {
		while ((vuiiwzs < oesehyb + zjwdcwa + 100)) {
			emntcyx = 1 + 9 + 21 + 75 + zjwdcwa;
		}
		if ((qrrswwv < 15 - 68 + oesehyb) || (emntcyx > 39 + 85 + vuiiwzs + 26)) {
			vuiiwzs = vuiiwzs + vuiiwzs + 43 + qrrswwv;
		} else {
			emntcyx = emntcyx + vuiiwzs + vuiiwzs + 0 + qrrswwv;
		}
	} else {
	}
	qrrswwv = qrrswwv + qrrswwv;
	zjwdcwa = zjwdcwa + oesehyb;
	if ((zjwdcwa < 34 - qrrswwv)) {
		while ((qrrswwv < 86 + 55 + 100)) {
			vuiiwzs = emntcyx + qrrswwv;
		}
		while ((qrrswwv < emntcyx + zjwdcwa + 100) || (qrrswwv < zjwdcwa - emntcyx + 25)) {
		}
	} else {
		qrrswwv = qrrswwv + 77;
	}
	while ((qrrswwv < 35 + vuiiwzs + 100) || (qrrswwv > 90 + 99)) {
		while ((qrrswwv > 51 + 84 + 54 + 52 + 94)) {
		}
		if ((qrrswwv < zjwdcwa - vuiiwzs) && (emntcyx > 12 - zjwdcwa - 10 - vuiiwzs - qrrswwv)) {
			emntcyx = 52 + 36 - 88 - oesehyb;
		} else {
			emntcyx = 21 + oesehyb - 4 - emntcyx - emntcyx;
		}
	}
	emntcyx = emntcyx + 21 + vuiiwzs + qrrswwv;
	while ((qrrswwv < 9 + qrrswwv + qrrswwv + 100) || (emntcyx > 65 + 9 - oesehyb)) {
		while ((zjwdcwa > 84 + vuiiwzs - 49)) {
			vuiiwzs = 84 - oesehyb - 93;
			emntcyx = 34 + 31 + zjwdcwa;
		}
		if ((vuiiwzs > qrrswwv + vuiiwzs - vuiiwzs - qrrswwv + 17) && (zjwdcwa > emntcyx + 70)) {
			qrrswwv = emntcyx - emntcyx - qrrswwv + zjwdcwa - oesehyb;
		} else {
		}
		if ((zjwdcwa > zjwdcwa - zjwdcwa) && (vuiiwzs > oesehyb + 77 + 99 + emntcyx)) {
			vuiiwzs = 43 - zjwdcwa;
		} else {
		}
	}
	emntcyx = emntcyx + oesehyb + qrrswwv + qrrswwv + oesehyb;
	while ((qrrswwv < qrrswwv + zjwdcwa + 6 + 35 + 100)) {
		qrrswwv = 78 + 16 - 46;
		if ((emntcyx < oesehyb + 51 - zjwdcwa + oesehyb)) {
		} else {
		}
	}
	while ((vuiiwzs < 16 + zjwdcwa + 59 + 17 + 63 + 100)) {
		emntcyx = 86 + zjwdcwa;
		qrrswwv = 47 + 27 + 10 - vuiiwzs + 67;
		if ((emntcyx > 32 + zjwdcwa)) {
			vuiiwzs = zjwdcwa + qrrswwv + oesehyb - vuiiwzs;
		} else {
		}
	}
	assert ((zjwdcwa > 1 - oesehyb - emntcyx) && (emntcyx > emntcyx - 80));
	assert ((vuiiwzs < zjwdcwa + qrrswwv) || (qrrswwv > oesehyb + 76 - qrrswwv + 22));
	assert ((vuiiwzs > qrrswwv - 26 - zjwdcwa - 58) && (vuiiwzs < 25 - 36 - 70 - 20 - 55));
}