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

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

void test_main()
{
	if ((emntcyx > vuiiwzs + oesehyb + 12) || (emntcyx > 18 - 84 - zjwdcwa - 9 - qrrswwv)) {
		zjwdcwa = zjwdcwa + 4 + qrrswwv + 62 + vuiiwzs;
	} else {
	}
	while ((qrrswwv < 12 + 95 + 100) && (qrrswwv < 68 - 71 + vuiiwzs)) {
	}
	if ((vuiiwzs > zjwdcwa - vuiiwzs - 34) || (vuiiwzs < qrrswwv + 7)) {
		emntcyx = emntcyx + 17 + vuiiwzs + emntcyx + 72;
	} else {
		zjwdcwa = zjwdcwa + 58 + 28 + qrrswwv;
	}
	while ((vuiiwzs < qrrswwv + zjwdcwa + 54 + 100)) {
		emntcyx = 99 - 1;
	}
	if ((zjwdcwa < qrrswwv + 43 - vuiiwzs - emntcyx + oesehyb)) {
	} else {
	}
	while ((vuiiwzs < 95 + emntcyx + 21 + 100) || (vuiiwzs > oesehyb + 63 - vuiiwzs)) {
		emntcyx = oesehyb + zjwdcwa + oesehyb + oesehyb;
	}
	assert ((vuiiwzs < zjwdcwa - emntcyx - 11) || (vuiiwzs > 89 + emntcyx + emntcyx + vuiiwzs));
	assert ((qrrswwv > 20 - vuiiwzs - 87 + emntcyx + vuiiwzs) && (qrrswwv < 74 + 40 + oesehyb - emntcyx));
	assert ((zjwdcwa > qrrswwv - zjwdcwa - zjwdcwa));
}