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

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

void test_main()
{
	emntcyx = emntcyx + 8 + 39 + vuiiwzs;
	zjwdcwa = zjwdcwa + oesehyb + qrrswwv + zjwdcwa;
	if ((emntcyx > emntcyx + 75)) {
		zjwdcwa = zjwdcwa + qrrswwv + 47;
	} else {
		emntcyx = emntcyx + 52 + vuiiwzs;
		vuiiwzs = vuiiwzs + 28 + 33 + 57 + emntcyx;
		emntcyx = emntcyx + 46 + 60;
	}
	if ((vuiiwzs > oesehyb - 93 - 39) || (qrrswwv < 4 + zjwdcwa)) {
	} else {
	}
	emntcyx = emntcyx + emntcyx + qrrswwv + 13 + 7;
	if ((zjwdcwa > zjwdcwa + qrrswwv) && (emntcyx > 50 + 43 + 70)) {
	} else {
		qrrswwv = qrrswwv + zjwdcwa + 24 + 87 + 36;
	}
	vuiiwzs = vuiiwzs + emntcyx + oesehyb;
	while ((zjwdcwa < 4 + oesehyb + 100) && (zjwdcwa > emntcyx + 85 + zjwdcwa)) {
		vuiiwzs = 82 + emntcyx + 8;
	}
	assert ((zjwdcwa < 81 - vuiiwzs));
	assert ((zjwdcwa > 6 - zjwdcwa + qrrswwv));
	assert ((qrrswwv > 61 - 4 - 60 + qrrswwv));
}