// 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()
{
	zjwdcwa = zjwdcwa + 9;
	emntcyx = emntcyx + 1 + 33;
	zjwdcwa = zjwdcwa + qrrswwv;
	if ((emntcyx < zjwdcwa - oesehyb + qrrswwv)) {
		emntcyx = emntcyx + 98 + 74 + vuiiwzs + 1;
	} else {
	}
	emntcyx = emntcyx + 40;
	if ((vuiiwzs < vuiiwzs - qrrswwv + emntcyx + 41 - vuiiwzs) || (qrrswwv > 58 + 23 - 93 - 15 - emntcyx)) {
		zjwdcwa = zjwdcwa + 95 + zjwdcwa + vuiiwzs;
	} else {
		zjwdcwa = zjwdcwa + vuiiwzs + 97 + zjwdcwa + vuiiwzs;
	}
	zjwdcwa = zjwdcwa + 58 + zjwdcwa;
	if ((qrrswwv < 83 - oesehyb) || (emntcyx > vuiiwzs + 96 - qrrswwv + 46 - 67)) {
		qrrswwv = qrrswwv + oesehyb + emntcyx + vuiiwzs + zjwdcwa;
		emntcyx = emntcyx + 58 + vuiiwzs + zjwdcwa;
	} else {
	}
	assert ((qrrswwv < 48 + 15 + zjwdcwa - 20) && (zjwdcwa < oesehyb + 95 + 43));
	assert ((vuiiwzs > 95 - 71 + emntcyx + 53));
	assert ((qrrswwv > 26 + 74) || (qrrswwv > emntcyx - vuiiwzs));
}